1include "../../circuits/mux2.circom";
 2include "../../circuits/bitify.circom";
 3
 4
 5template Constants() {
 6    var i;
 7    signal output out[4];
 8
 9    out[0] <== 37;
10    out[1] <== 47;
11    out[2] <== 53;
12    out[3] <== 71;
13}
14
15template Main() {
16    var i;
17    signal private input selector;
18    signal output out;
19
20    component mux = Mux2();
21    component n2b = Num2Bits(2);
22    component cst = Constants();
23
24    selector ==> n2b.in;
25    for (i=0; i<2; i++) {
26        n2b.out[i] ==> mux.s[i];
27    }
28    for (i=0; i<4; i++) {
29        cst.out[i] ==> mux.c[i];
30    }
31
32    mux.out ==> out;
33}
34
35component main = Main();