pragma options "--bnd-inline-amnt 5 --bnd-inbits 2 --bnd-cbits 3 "; int BASE = 4; int[2*N] mult(int N, int[N] x, int[N] y){ int[2*N] out = 0; for(int i=0; i= s){ out[i] = in[i-s]; } } return out; } int[N] minus(int N, int[N] t){ int[N] out = 0; for(int i=0; i= 0 ? 1 : -1; } int[N] normalize(int N, int[N] in){ int end = N-1; int[N] out = in; int s = 0; bit found = 0; for(int i = 0; i