#ifndef isd0_h
#define isd0_h

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

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

#endif