#ifndef _R1CS_ABC_H__
#define _R1CS_ABC_H__

#include <stdint.h>

extern uint64_t r1cs_128_A[28992];
extern uint64_t r1cs_128_B[34368];
extern uint64_t r1cs_128_C[5568];
extern uint64_t r1cs_192_A[63792];
extern uint64_t r1cs_192_B[71328];
extern uint64_t r1cs_192_C[11424];
extern uint64_t r1cs_256_A[75084];
extern uint64_t r1cs_256_B[85752];
extern uint64_t r1cs_256_C[13752];

#endif
