@midnames/sdk 1.0.1 → 1.0.4

package/node_modules/@midnames/ns/dist/managed/leaf/zkir/add_multiple_fields.zkir

@@ -0,0 +1,424 @@
+{
+  "version": { "major": 2, "minor": 0 },
+  "do_communications_commitment": true,
+  "num_inputs": 30,
+  "instructions": [
+    { "op": "constrain_to_boolean", "var": 0 },
+    { "op": "constrain_to_boolean", "var": 3 },
+    { "op": "constrain_to_boolean", "var": 6 },
+    { "op": "constrain_to_boolean", "var": 9 },
+    { "op": "constrain_to_boolean", "var": 12 },
+    { "op": "constrain_to_boolean", "var": 15 },
+    { "op": "constrain_to_boolean", "var": 18 },
+    { "op": "constrain_to_boolean", "var": 21 },
+    { "op": "constrain_to_boolean", "var": 24 },
+    { "op": "constrain_to_boolean", "var": 27 },
+    { "op": "load_imm", "imm": "01" },
+    { "op": "load_imm", "imm": "30" },
+    { "op": "declare_pub_input", "var": 31 },
+    { "op": "pi_skip", "guard": 30, "count": 1 },
+    { "op": "load_imm", "imm": "50" },
+    { "op": "load_imm", "imm": "03" },
+    { "op": "declare_pub_input", "var": 32 },
+    { "op": "declare_pub_input", "var": 30 },
+    { "op": "declare_pub_input", "var": 30 },
+    { "op": "declare_pub_input", "var": 33 },
+    { "op": "pi_skip", "guard": 30, "count": 4 },
+    { "op": "public_input", "guard": null },
+    { "op": "public_input", "guard": null },
+    { "op": "load_imm", "imm": "20" },
+    { "op": "load_imm", "imm": "0C" },
+    { "op": "declare_pub_input", "var": 37 },
+    { "op": "declare_pub_input", "var": 30 },
+    { "op": "declare_pub_input", "var": 36 },
+    { "op": "declare_pub_input", "var": 34 },
+    { "op": "declare_pub_input", "var": 35 },
+    { "op": "pi_skip", "guard": 30, "count": 5 },
+    { "op": "private_input", "guard": null },
+    { "op": "constrain_bits", "var": 38, "bits": 8 },
+    { "op": "private_input", "guard": null },
+    { "op": "constrain_bits", "var": 39, "bits": 248 },
+    { "op": "test_eq", "a": 34, "b": 38 },
+    { "op": "test_eq", "a": 35, "b": 39 },
+    { "op": "load_imm", "imm": "00" },
+    { "op": "cond_select", "bit": 40, "a": 41, "b": 42 },
+    { "op": "assert", "cond": 43 },
+    { "op": "test_eq", "a": 0, "b": 42 },
+    { "op": "test_eq", "a": 1, "b": 42 },
+    { "op": "cond_select", "bit": 44, "a": 45, "b": 42 },
+    { "op": "test_eq", "a": 2, "b": 42 },
+    { "op": "cond_select", "bit": 46, "a": 47, "b": 42 },
+    { "op": "cond_select", "bit": 48, "a": 42, "b": 30 },
+    { "op": "load_imm", "imm": "70" },
+    { "op": "load_imm", "imm": "07" },
+    { "op": "cond_select", "bit": 49, "a": 50, "b": 42 },
+    { "op": "declare_pub_input", "var": 52 },
+    { "op": "declare_pub_input", "var": 49 },
+    { "op": "declare_pub_input", "var": 49 },
+    { "op": "cond_select", "bit": 49, "a": 51, "b": 42 },
+    { "op": "declare_pub_input", "var": 53 },
+    { "op": "pi_skip", "guard": 49, "count": 4 },
+    { "op": "load_imm", "imm": "10" },
+    { "op": "load_imm", "imm": "-01" },
+    { "op": "cond_select", "bit": 49, "a": 54, "b": 42 },
+    { "op": "declare_pub_input", "var": 56 },
+    { "op": "declare_pub_input", "var": 49 },
+    { "op": "declare_pub_input", "var": 49 },
+    { "op": "cond_select", "bit": 49, "a": 55, "b": 42 },
+    { "op": "declare_pub_input", "var": 57 },
+    { "op": "cond_select", "bit": 49, "a": 1, "b": 42 },
+    { "op": "declare_pub_input", "var": 58 },
+    { "op": "pi_skip", "guard": 49, "count": 5 },
+    { "op": "load_imm", "imm": "11" },
+    { "op": "cond_select", "bit": 49, "a": 59, "b": 42 },
+    { "op": "declare_pub_input", "var": 60 },
+    { "op": "declare_pub_input", "var": 49 },
+    { "op": "declare_pub_input", "var": 49 },
+    { "op": "cond_select", "bit": 49, "a": 55, "b": 42 },
+    { "op": "declare_pub_input", "var": 61 },
+    { "op": "cond_select", "bit": 49, "a": 2, "b": 42 },
+    { "op": "declare_pub_input", "var": 62 },
+    { "op": "pi_skip", "guard": 49, "count": 5 },
+    { "op": "load_imm", "imm": "91" },
+    { "op": "cond_select", "bit": 49, "a": 63, "b": 42 },
+    { "op": "declare_pub_input", "var": 64 },
+    { "op": "pi_skip", "guard": 49, "count": 1 },
+    { "op": "load_imm", "imm": "A1" },
+    { "op": "cond_select", "bit": 49, "a": 65, "b": 42 },
+    { "op": "declare_pub_input", "var": 66 },
+    { "op": "pi_skip", "guard": 49, "count": 1 },
+    { "op": "test_eq", "a": 3, "b": 42 },
+    { "op": "test_eq", "a": 4, "b": 42 },
+    { "op": "cond_select", "bit": 67, "a": 68, "b": 42 },
+    { "op": "test_eq", "a": 5, "b": 42 },
+    { "op": "cond_select", "bit": 69, "a": 70, "b": 42 },
+    { "op": "cond_select", "bit": 71, "a": 42, "b": 30 },
+    { "op": "cond_select", "bit": 72, "a": 50, "b": 42 },
+    { "op": "declare_pub_input", "var": 73 },
+    { "op": "declare_pub_input", "var": 72 },
+    { "op": "declare_pub_input", "var": 72 },
+    { "op": "cond_select", "bit": 72, "a": 51, "b": 42 },
+    { "op": "declare_pub_input", "var": 74 },
+    { "op": "pi_skip", "guard": 72, "count": 4 },
+    { "op": "cond_select", "bit": 72, "a": 54, "b": 42 },
+    { "op": "declare_pub_input", "var": 75 },
+    { "op": "declare_pub_input", "var": 72 },
+    { "op": "declare_pub_input", "var": 72 },
+    { "op": "cond_select", "bit": 72, "a": 55, "b": 42 },
+    { "op": "declare_pub_input", "var": 76 },
+    { "op": "cond_select", "bit": 72, "a": 4, "b": 42 },
+    { "op": "declare_pub_input", "var": 77 },
+    { "op": "pi_skip", "guard": 72, "count": 5 },
+    { "op": "cond_select", "bit": 72, "a": 59, "b": 42 },
+    { "op": "declare_pub_input", "var": 78 },
+    { "op": "declare_pub_input", "var": 72 },
+    { "op": "declare_pub_input", "var": 72 },
+    { "op": "cond_select", "bit": 72, "a": 55, "b": 42 },
+    { "op": "declare_pub_input", "var": 79 },
+    { "op": "cond_select", "bit": 72, "a": 5, "b": 42 },
+    { "op": "declare_pub_input", "var": 80 },
+    { "op": "pi_skip", "guard": 72, "count": 5 },
+    { "op": "cond_select", "bit": 72, "a": 63, "b": 42 },
+    { "op": "declare_pub_input", "var": 81 },
+    { "op": "pi_skip", "guard": 72, "count": 1 },
+    { "op": "cond_select", "bit": 72, "a": 65, "b": 42 },
+    { "op": "declare_pub_input", "var": 82 },
+    { "op": "pi_skip", "guard": 72, "count": 1 },
+    { "op": "test_eq", "a": 6, "b": 42 },
+    { "op": "test_eq", "a": 7, "b": 42 },
+    { "op": "cond_select", "bit": 83, "a": 84, "b": 42 },
+    { "op": "test_eq", "a": 8, "b": 42 },
+    { "op": "cond_select", "bit": 85, "a": 86, "b": 42 },
+    { "op": "cond_select", "bit": 87, "a": 42, "b": 30 },
+    { "op": "cond_select", "bit": 88, "a": 50, "b": 42 },
+    { "op": "declare_pub_input", "var": 89 },
+    { "op": "declare_pub_input", "var": 88 },
+    { "op": "declare_pub_input", "var": 88 },
+    { "op": "cond_select", "bit": 88, "a": 51, "b": 42 },
+    { "op": "declare_pub_input", "var": 90 },
+    { "op": "pi_skip", "guard": 88, "count": 4 },
+    { "op": "cond_select", "bit": 88, "a": 54, "b": 42 },
+    { "op": "declare_pub_input", "var": 91 },
+    { "op": "declare_pub_input", "var": 88 },
+    { "op": "declare_pub_input", "var": 88 },
+    { "op": "cond_select", "bit": 88, "a": 55, "b": 42 },
+    { "op": "declare_pub_input", "var": 92 },
+    { "op": "cond_select", "bit": 88, "a": 7, "b": 42 },
+    { "op": "declare_pub_input", "var": 93 },
+    { "op": "pi_skip", "guard": 88, "count": 5 },
+    { "op": "cond_select", "bit": 88, "a": 59, "b": 42 },
+    { "op": "declare_pub_input", "var": 94 },
+    { "op": "declare_pub_input", "var": 88 },
+    { "op": "declare_pub_input", "var": 88 },
+    { "op": "cond_select", "bit": 88, "a": 55, "b": 42 },
+    { "op": "declare_pub_input", "var": 95 },
+    { "op": "cond_select", "bit": 88, "a": 8, "b": 42 },
+    { "op": "declare_pub_input", "var": 96 },
+    { "op": "pi_skip", "guard": 88, "count": 5 },
+    { "op": "cond_select", "bit": 88, "a": 63, "b": 42 },
+    { "op": "declare_pub_input", "var": 97 },
+    { "op": "pi_skip", "guard": 88, "count": 1 },
+    { "op": "cond_select", "bit": 88, "a": 65, "b": 42 },
+    { "op": "declare_pub_input", "var": 98 },
+    { "op": "pi_skip", "guard": 88, "count": 1 },
+    { "op": "test_eq", "a": 9, "b": 42 },
+    { "op": "test_eq", "a": 10, "b": 42 },
+    { "op": "cond_select", "bit": 99, "a": 100, "b": 42 },
+    { "op": "test_eq", "a": 11, "b": 42 },
+    { "op": "cond_select", "bit": 101, "a": 102, "b": 42 },
+    { "op": "cond_select", "bit": 103, "a": 42, "b": 30 },
+    { "op": "cond_select", "bit": 104, "a": 50, "b": 42 },
+    { "op": "declare_pub_input", "var": 105 },
+    { "op": "declare_pub_input", "var": 104 },
+    { "op": "declare_pub_input", "var": 104 },
+    { "op": "cond_select", "bit": 104, "a": 51, "b": 42 },
+    { "op": "declare_pub_input", "var": 106 },
+    { "op": "pi_skip", "guard": 104, "count": 4 },
+    { "op": "cond_select", "bit": 104, "a": 54, "b": 42 },
+    { "op": "declare_pub_input", "var": 107 },
+    { "op": "declare_pub_input", "var": 104 },
+    { "op": "declare_pub_input", "var": 104 },
+    { "op": "cond_select", "bit": 104, "a": 55, "b": 42 },
+    { "op": "declare_pub_input", "var": 108 },
+    { "op": "cond_select", "bit": 104, "a": 10, "b": 42 },
+    { "op": "declare_pub_input", "var": 109 },
+    { "op": "pi_skip", "guard": 104, "count": 5 },
+    { "op": "cond_select", "bit": 104, "a": 59, "b": 42 },
+    { "op": "declare_pub_input", "var": 110 },
+    { "op": "declare_pub_input", "var": 104 },
+    { "op": "declare_pub_input", "var": 104 },
+    { "op": "cond_select", "bit": 104, "a": 55, "b": 42 },
+    { "op": "declare_pub_input", "var": 111 },
+    { "op": "cond_select", "bit": 104, "a": 11, "b": 42 },
+    { "op": "declare_pub_input", "var": 112 },
+    { "op": "pi_skip", "guard": 104, "count": 5 },
+    { "op": "cond_select", "bit": 104, "a": 63, "b": 42 },
+    { "op": "declare_pub_input", "var": 113 },
+    { "op": "pi_skip", "guard": 104, "count": 1 },
+    { "op": "cond_select", "bit": 104, "a": 65, "b": 42 },
+    { "op": "declare_pub_input", "var": 114 },
+    { "op": "pi_skip", "guard": 104, "count": 1 },
+    { "op": "test_eq", "a": 12, "b": 42 },
+    { "op": "test_eq", "a": 13, "b": 42 },
+    { "op": "cond_select", "bit": 115, "a": 116, "b": 42 },
+    { "op": "test_eq", "a": 14, "b": 42 },
+    { "op": "cond_select", "bit": 117, "a": 118, "b": 42 },
+    { "op": "cond_select", "bit": 119, "a": 42, "b": 30 },
+    { "op": "cond_select", "bit": 120, "a": 50, "b": 42 },
+    { "op": "declare_pub_input", "var": 121 },
+    { "op": "declare_pub_input", "var": 120 },
+    { "op": "declare_pub_input", "var": 120 },
+    { "op": "cond_select", "bit": 120, "a": 51, "b": 42 },
+    { "op": "declare_pub_input", "var": 122 },
+    { "op": "pi_skip", "guard": 120, "count": 4 },
+    { "op": "cond_select", "bit": 120, "a": 54, "b": 42 },
+    { "op": "declare_pub_input", "var": 123 },
+    { "op": "declare_pub_input", "var": 120 },
+    { "op": "declare_pub_input", "var": 120 },
+    { "op": "cond_select", "bit": 120, "a": 55, "b": 42 },
+    { "op": "declare_pub_input", "var": 124 },
+    { "op": "cond_select", "bit": 120, "a": 13, "b": 42 },
+    { "op": "declare_pub_input", "var": 125 },
+    { "op": "pi_skip", "guard": 120, "count": 5 },
+    { "op": "cond_select", "bit": 120, "a": 59, "b": 42 },
+    { "op": "declare_pub_input", "var": 126 },
+    { "op": "declare_pub_input", "var": 120 },
+    { "op": "declare_pub_input", "var": 120 },
+    { "op": "cond_select", "bit": 120, "a": 55, "b": 42 },
+    { "op": "declare_pub_input", "var": 127 },
+    { "op": "cond_select", "bit": 120, "a": 14, "b": 42 },
+    { "op": "declare_pub_input", "var": 128 },
+    { "op": "pi_skip", "guard": 120, "count": 5 },
+    { "op": "cond_select", "bit": 120, "a": 63, "b": 42 },
+    { "op": "declare_pub_input", "var": 129 },
+    { "op": "pi_skip", "guard": 120, "count": 1 },
+    { "op": "cond_select", "bit": 120, "a": 65, "b": 42 },
+    { "op": "declare_pub_input", "var": 130 },
+    { "op": "pi_skip", "guard": 120, "count": 1 },
+    { "op": "test_eq", "a": 15, "b": 42 },
+    { "op": "test_eq", "a": 16, "b": 42 },
+    { "op": "cond_select", "bit": 131, "a": 132, "b": 42 },
+    { "op": "test_eq", "a": 17, "b": 42 },
+    { "op": "cond_select", "bit": 133, "a": 134, "b": 42 },
+    { "op": "cond_select", "bit": 135, "a": 42, "b": 30 },
+    { "op": "cond_select", "bit": 136, "a": 50, "b": 42 },
+    { "op": "declare_pub_input", "var": 137 },
+    { "op": "declare_pub_input", "var": 136 },
+    { "op": "declare_pub_input", "var": 136 },
+    { "op": "cond_select", "bit": 136, "a": 51, "b": 42 },
+    { "op": "declare_pub_input", "var": 138 },
+    { "op": "pi_skip", "guard": 136, "count": 4 },
+    { "op": "cond_select", "bit": 136, "a": 54, "b": 42 },
+    { "op": "declare_pub_input", "var": 139 },
+    { "op": "declare_pub_input", "var": 136 },
+    { "op": "declare_pub_input", "var": 136 },
+    { "op": "cond_select", "bit": 136, "a": 55, "b": 42 },
+    { "op": "declare_pub_input", "var": 140 },
+    { "op": "cond_select", "bit": 136, "a": 16, "b": 42 },
+    { "op": "declare_pub_input", "var": 141 },
+    { "op": "pi_skip", "guard": 136, "count": 5 },
+    { "op": "cond_select", "bit": 136, "a": 59, "b": 42 },
+    { "op": "declare_pub_input", "var": 142 },
+    { "op": "declare_pub_input", "var": 136 },
+    { "op": "declare_pub_input", "var": 136 },
+    { "op": "cond_select", "bit": 136, "a": 55, "b": 42 },
+    { "op": "declare_pub_input", "var": 143 },
+    { "op": "cond_select", "bit": 136, "a": 17, "b": 42 },
+    { "op": "declare_pub_input", "var": 144 },
+    { "op": "pi_skip", "guard": 136, "count": 5 },
+    { "op": "cond_select", "bit": 136, "a": 63, "b": 42 },
+    { "op": "declare_pub_input", "var": 145 },
+    { "op": "pi_skip", "guard": 136, "count": 1 },
+    { "op": "cond_select", "bit": 136, "a": 65, "b": 42 },
+    { "op": "declare_pub_input", "var": 146 },
+    { "op": "pi_skip", "guard": 136, "count": 1 },
+    { "op": "test_eq", "a": 18, "b": 42 },
+    { "op": "test_eq", "a": 19, "b": 42 },
+    { "op": "cond_select", "bit": 147, "a": 148, "b": 42 },
+    { "op": "test_eq", "a": 20, "b": 42 },
+    { "op": "cond_select", "bit": 149, "a": 150, "b": 42 },
+    { "op": "cond_select", "bit": 151, "a": 42, "b": 30 },
+    { "op": "cond_select", "bit": 152, "a": 50, "b": 42 },
+    { "op": "declare_pub_input", "var": 153 },
+    { "op": "declare_pub_input", "var": 152 },
+    { "op": "declare_pub_input", "var": 152 },
+    { "op": "cond_select", "bit": 152, "a": 51, "b": 42 },
+    { "op": "declare_pub_input", "var": 154 },
+    { "op": "pi_skip", "guard": 152, "count": 4 },
+    { "op": "cond_select", "bit": 152, "a": 54, "b": 42 },
+    { "op": "declare_pub_input", "var": 155 },
+    { "op": "declare_pub_input", "var": 152 },
+    { "op": "declare_pub_input", "var": 152 },
+    { "op": "cond_select", "bit": 152, "a": 55, "b": 42 },
+    { "op": "declare_pub_input", "var": 156 },
+    { "op": "cond_select", "bit": 152, "a": 19, "b": 42 },
+    { "op": "declare_pub_input", "var": 157 },
+    { "op": "pi_skip", "guard": 152, "count": 5 },
+    { "op": "cond_select", "bit": 152, "a": 59, "b": 42 },
+    { "op": "declare_pub_input", "var": 158 },
+    { "op": "declare_pub_input", "var": 152 },
+    { "op": "declare_pub_input", "var": 152 },
+    { "op": "cond_select", "bit": 152, "a": 55, "b": 42 },
+    { "op": "declare_pub_input", "var": 159 },
+    { "op": "cond_select", "bit": 152, "a": 20, "b": 42 },
+    { "op": "declare_pub_input", "var": 160 },
+    { "op": "pi_skip", "guard": 152, "count": 5 },
+    { "op": "cond_select", "bit": 152, "a": 63, "b": 42 },
+    { "op": "declare_pub_input", "var": 161 },
+    { "op": "pi_skip", "guard": 152, "count": 1 },
+    { "op": "cond_select", "bit": 152, "a": 65, "b": 42 },
+    { "op": "declare_pub_input", "var": 162 },
+    { "op": "pi_skip", "guard": 152, "count": 1 },
+    { "op": "test_eq", "a": 21, "b": 42 },
+    { "op": "test_eq", "a": 22, "b": 42 },
+    { "op": "cond_select", "bit": 163, "a": 164, "b": 42 },
+    { "op": "test_eq", "a": 23, "b": 42 },
+    { "op": "cond_select", "bit": 165, "a": 166, "b": 42 },
+    { "op": "cond_select", "bit": 167, "a": 42, "b": 30 },
+    { "op": "cond_select", "bit": 168, "a": 50, "b": 42 },
+    { "op": "declare_pub_input", "var": 169 },
+    { "op": "declare_pub_input", "var": 168 },
+    { "op": "declare_pub_input", "var": 168 },
+    { "op": "cond_select", "bit": 168, "a": 51, "b": 42 },
+    { "op": "declare_pub_input", "var": 170 },
+    { "op": "pi_skip", "guard": 168, "count": 4 },
+    { "op": "cond_select", "bit": 168, "a": 54, "b": 42 },
+    { "op": "declare_pub_input", "var": 171 },
+    { "op": "declare_pub_input", "var": 168 },
+    { "op": "declare_pub_input", "var": 168 },
+    { "op": "cond_select", "bit": 168, "a": 55, "b": 42 },
+    { "op": "declare_pub_input", "var": 172 },
+    { "op": "cond_select", "bit": 168, "a": 22, "b": 42 },
+    { "op": "declare_pub_input", "var": 173 },
+    { "op": "pi_skip", "guard": 168, "count": 5 },
+    { "op": "cond_select", "bit": 168, "a": 59, "b": 42 },
+    { "op": "declare_pub_input", "var": 174 },
+    { "op": "declare_pub_input", "var": 168 },
+    { "op": "declare_pub_input", "var": 168 },
+    { "op": "cond_select", "bit": 168, "a": 55, "b": 42 },
+    { "op": "declare_pub_input", "var": 175 },
+    { "op": "cond_select", "bit": 168, "a": 23, "b": 42 },
+    { "op": "declare_pub_input", "var": 176 },
+    { "op": "pi_skip", "guard": 168, "count": 5 },
+    { "op": "cond_select", "bit": 168, "a": 63, "b": 42 },
+    { "op": "declare_pub_input", "var": 177 },
+    { "op": "pi_skip", "guard": 168, "count": 1 },
+    { "op": "cond_select", "bit": 168, "a": 65, "b": 42 },
+    { "op": "declare_pub_input", "var": 178 },
+    { "op": "pi_skip", "guard": 168, "count": 1 },
+    { "op": "test_eq", "a": 24, "b": 42 },
+    { "op": "test_eq", "a": 25, "b": 42 },
+    { "op": "cond_select", "bit": 179, "a": 180, "b": 42 },
+    { "op": "test_eq", "a": 26, "b": 42 },
+    { "op": "cond_select", "bit": 181, "a": 182, "b": 42 },
+    { "op": "cond_select", "bit": 183, "a": 42, "b": 30 },
+    { "op": "cond_select", "bit": 184, "a": 50, "b": 42 },
+    { "op": "declare_pub_input", "var": 185 },
+    { "op": "declare_pub_input", "var": 184 },
+    { "op": "declare_pub_input", "var": 184 },
+    { "op": "cond_select", "bit": 184, "a": 51, "b": 42 },
+    { "op": "declare_pub_input", "var": 186 },
+    { "op": "pi_skip", "guard": 184, "count": 4 },
+    { "op": "cond_select", "bit": 184, "a": 54, "b": 42 },
+    { "op": "declare_pub_input", "var": 187 },
+    { "op": "declare_pub_input", "var": 184 },
+    { "op": "declare_pub_input", "var": 184 },
+    { "op": "cond_select", "bit": 184, "a": 55, "b": 42 },
+    { "op": "declare_pub_input", "var": 188 },
+    { "op": "cond_select", "bit": 184, "a": 25, "b": 42 },
+    { "op": "declare_pub_input", "var": 189 },
+    { "op": "pi_skip", "guard": 184, "count": 5 },
+    { "op": "cond_select", "bit": 184, "a": 59, "b": 42 },
+    { "op": "declare_pub_input", "var": 190 },
+    { "op": "declare_pub_input", "var": 184 },
+    { "op": "declare_pub_input", "var": 184 },
+    { "op": "cond_select", "bit": 184, "a": 55, "b": 42 },
+    { "op": "declare_pub_input", "var": 191 },
+    { "op": "cond_select", "bit": 184, "a": 26, "b": 42 },
+    { "op": "declare_pub_input", "var": 192 },
+    { "op": "pi_skip", "guard": 184, "count": 5 },
+    { "op": "cond_select", "bit": 184, "a": 63, "b": 42 },
+    { "op": "declare_pub_input", "var": 193 },
+    { "op": "pi_skip", "guard": 184, "count": 1 },
+    { "op": "cond_select", "bit": 184, "a": 65, "b": 42 },
+    { "op": "declare_pub_input", "var": 194 },
+    { "op": "pi_skip", "guard": 184, "count": 1 },
+    { "op": "test_eq", "a": 27, "b": 42 },
+    { "op": "test_eq", "a": 28, "b": 42 },
+    { "op": "cond_select", "bit": 195, "a": 196, "b": 42 },
+    { "op": "test_eq", "a": 29, "b": 42 },
+    { "op": "cond_select", "bit": 197, "a": 198, "b": 42 },
+    { "op": "cond_select", "bit": 199, "a": 42, "b": 30 },
+    { "op": "cond_select", "bit": 200, "a": 50, "b": 42 },
+    { "op": "declare_pub_input", "var": 201 },
+    { "op": "declare_pub_input", "var": 200 },
+    { "op": "declare_pub_input", "var": 200 },
+    { "op": "cond_select", "bit": 200, "a": 51, "b": 42 },
+    { "op": "declare_pub_input", "var": 202 },
+    { "op": "pi_skip", "guard": 200, "count": 4 },
+    { "op": "cond_select", "bit": 200, "a": 54, "b": 42 },
+    { "op": "declare_pub_input", "var": 203 },
+    { "op": "declare_pub_input", "var": 200 },
+    { "op": "declare_pub_input", "var": 200 },
+    { "op": "cond_select", "bit": 200, "a": 55, "b": 42 },
+    { "op": "declare_pub_input", "var": 204 },
+    { "op": "cond_select", "bit": 200, "a": 28, "b": 42 },
+    { "op": "declare_pub_input", "var": 205 },
+    { "op": "pi_skip", "guard": 200, "count": 5 },
+    { "op": "cond_select", "bit": 200, "a": 59, "b": 42 },
+    { "op": "declare_pub_input", "var": 206 },
+    { "op": "declare_pub_input", "var": 200 },
+    { "op": "declare_pub_input", "var": 200 },
+    { "op": "cond_select", "bit": 200, "a": 55, "b": 42 },
+    { "op": "declare_pub_input", "var": 207 },
+    { "op": "cond_select", "bit": 200, "a": 29, "b": 42 },
+    { "op": "declare_pub_input", "var": 208 },
+    { "op": "pi_skip", "guard": 200, "count": 5 },
+    { "op": "cond_select", "bit": 200, "a": 63, "b": 42 },
+    { "op": "declare_pub_input", "var": 209 },
+    { "op": "pi_skip", "guard": 200, "count": 1 },
+    { "op": "cond_select", "bit": 200, "a": 65, "b": 42 },
+    { "op": "declare_pub_input", "var": 210 },
+    { "op": "pi_skip", "guard": 200, "count": 1 }
+  ]
+}