#ifndef isd1_h
#define isd1_h

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

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

#endif