#ifndef isd2_h
#define isd2_h

#include <vector>
#include "bigint.h"
#include "bit.h"

std::vector<bit> isd2(
  const std::vector<bit> &,
  const std::vector<bigint> &,
  const std::vector<bigint> &
);

#endif