@midnames/sdk 1.0.1 → 1.0.4

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

@@ -0,0 +1,1456 @@
+{
+  "version": { "major": 2, "minor": 0 },
+  "do_communications_commitment": true,
+  "num_inputs": 7,
+  "instructions": [
+    { "op": "constrain_bits", "var": 0, "bits": 8 },
+    { "op": "constrain_bits", "var": 1, "bits": 248 },
+    { "op": "constrain_bits", "var": 2, "bits": 8 },
+    { "op": "constrain_bits", "var": 3, "bits": 248 },
+    { "op": "constrain_bits", "var": 4, "bits": 32 },
+    { "op": "constrain_bits", "var": 5, "bits": 8 },
+    { "op": "constrain_bits", "var": 6, "bits": 248 },
+    { "op": "load_imm", "imm": "20" },
+    { "op": "less_than", "a": 7, "b": 4, "bits": 32 },
+    { "op": "load_imm", "imm": "00" },
+    { "op": "load_imm", "imm": "01" },
+    { "op": "cond_select", "bit": 8, "a": 9, "b": 10 },
+    { "op": "assert", "cond": 11 },
+    { "op": "less_than", "a": 4, "b": 10, "bits": 32 },
+    { "op": "cond_select", "bit": 12, "a": 9, "b": 10 },
+    { "op": "assert", "cond": 13 },
+    { "op": "div_mod_power_of_two", "var": 3, "bits": 0 },
+    { "op": "div_mod_power_of_two", "var": 14, "bits": 8 },
+    { "op": "less_than", "a": 9, "b": 4, "bits": 32 },
+    { "op": "load_imm", "imm": "FF" },
+    { "op": "test_eq", "a": 17, "b": 19 },
+    { "op": "cond_select", "bit": 18, "a": 10, "b": 20 },
+    { "op": "div_mod_power_of_two", "var": 3, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 22, "bits": 8 },
+    { "op": "less_than", "a": 10, "b": 4, "bits": 32 },
+    { "op": "test_eq", "a": 25, "b": 19 },
+    { "op": "cond_select", "bit": 26, "a": 10, "b": 27 },
+    { "op": "cond_select", "bit": 21, "a": 28, "b": 9 },
+    { "op": "div_mod_power_of_two", "var": 3, "bits": 16 },
+    { "op": "div_mod_power_of_two", "var": 30, "bits": 8 },
+    { "op": "load_imm", "imm": "02" },
+    { "op": "less_than", "a": 34, "b": 4, "bits": 32 },
+    { "op": "test_eq", "a": 33, "b": 19 },
+    { "op": "cond_select", "bit": 35, "a": 10, "b": 36 },
+    { "op": "cond_select", "bit": 29, "a": 37, "b": 9 },
+    { "op": "div_mod_power_of_two", "var": 3, "bits": 24 },
+    { "op": "div_mod_power_of_two", "var": 39, "bits": 8 },
+    { "op": "load_imm", "imm": "03" },
+    { "op": "less_than", "a": 43, "b": 4, "bits": 32 },
+    { "op": "test_eq", "a": 42, "b": 19 },
+    { "op": "cond_select", "bit": 44, "a": 10, "b": 45 },
+    { "op": "cond_select", "bit": 38, "a": 46, "b": 9 },
+    { "op": "div_mod_power_of_two", "var": 3, "bits": 32 },
+    { "op": "div_mod_power_of_two", "var": 48, "bits": 8 },
+    { "op": "load_imm", "imm": "04" },
+    { "op": "less_than", "a": 52, "b": 4, "bits": 32 },
+    { "op": "test_eq", "a": 51, "b": 19 },
+    { "op": "cond_select", "bit": 53, "a": 10, "b": 54 },
+    { "op": "cond_select", "bit": 47, "a": 55, "b": 9 },
+    { "op": "div_mod_power_of_two", "var": 3, "bits": 40 },
+    { "op": "div_mod_power_of_two", "var": 57, "bits": 8 },
+    { "op": "load_imm", "imm": "05" },
+    { "op": "less_than", "a": 61, "b": 4, "bits": 32 },
+    { "op": "test_eq", "a": 60, "b": 19 },
+    { "op": "cond_select", "bit": 62, "a": 10, "b": 63 },
+    { "op": "cond_select", "bit": 56, "a": 64, "b": 9 },
+    { "op": "div_mod_power_of_two", "var": 3, "bits": 48 },
+    { "op": "div_mod_power_of_two", "var": 66, "bits": 8 },
+    { "op": "load_imm", "imm": "06" },
+    { "op": "less_than", "a": 70, "b": 4, "bits": 32 },
+    { "op": "test_eq", "a": 69, "b": 19 },
+    { "op": "cond_select", "bit": 71, "a": 10, "b": 72 },
+    { "op": "cond_select", "bit": 65, "a": 73, "b": 9 },
+    { "op": "div_mod_power_of_two", "var": 3, "bits": 56 },
+    { "op": "div_mod_power_of_two", "var": 75, "bits": 8 },
+    { "op": "load_imm", "imm": "07" },
+    { "op": "less_than", "a": 79, "b": 4, "bits": 32 },
+    { "op": "test_eq", "a": 78, "b": 19 },
+    { "op": "cond_select", "bit": 80, "a": 10, "b": 81 },
+    { "op": "cond_select", "bit": 74, "a": 82, "b": 9 },
+    { "op": "div_mod_power_of_two", "var": 3, "bits": 64 },
+    { "op": "div_mod_power_of_two", "var": 84, "bits": 8 },
+    { "op": "load_imm", "imm": "08" },
+    { "op": "less_than", "a": 88, "b": 4, "bits": 32 },
+    { "op": "test_eq", "a": 87, "b": 19 },
+    { "op": "cond_select", "bit": 89, "a": 10, "b": 90 },
+    { "op": "cond_select", "bit": 83, "a": 91, "b": 9 },
+    { "op": "div_mod_power_of_two", "var": 3, "bits": 72 },
+    { "op": "div_mod_power_of_two", "var": 93, "bits": 8 },
+    { "op": "load_imm", "imm": "09" },
+    { "op": "less_than", "a": 97, "b": 4, "bits": 32 },
+    { "op": "test_eq", "a": 96, "b": 19 },
+    { "op": "cond_select", "bit": 98, "a": 10, "b": 99 },
+    { "op": "cond_select", "bit": 92, "a": 100, "b": 9 },
+    { "op": "div_mod_power_of_two", "var": 3, "bits": 80 },
+    { "op": "div_mod_power_of_two", "var": 102, "bits": 8 },
+    { "op": "load_imm", "imm": "0A" },
+    { "op": "less_than", "a": 106, "b": 4, "bits": 32 },
+    { "op": "test_eq", "a": 105, "b": 19 },
+    { "op": "cond_select", "bit": 107, "a": 10, "b": 108 },
+    { "op": "cond_select", "bit": 101, "a": 109, "b": 9 },
+    { "op": "div_mod_power_of_two", "var": 3, "bits": 88 },
+    { "op": "div_mod_power_of_two", "var": 111, "bits": 8 },
+    { "op": "load_imm", "imm": "0B" },
+    { "op": "less_than", "a": 115, "b": 4, "bits": 32 },
+    { "op": "test_eq", "a": 114, "b": 19 },
+    { "op": "cond_select", "bit": 116, "a": 10, "b": 117 },
+    { "op": "cond_select", "bit": 110, "a": 118, "b": 9 },
+    { "op": "div_mod_power_of_two", "var": 3, "bits": 96 },
+    { "op": "div_mod_power_of_two", "var": 120, "bits": 8 },
+    { "op": "load_imm", "imm": "0C" },
+    { "op": "less_than", "a": 124, "b": 4, "bits": 32 },
+    { "op": "test_eq", "a": 123, "b": 19 },
+    { "op": "cond_select", "bit": 125, "a": 10, "b": 126 },
+    { "op": "cond_select", "bit": 119, "a": 127, "b": 9 },
+    { "op": "div_mod_power_of_two", "var": 3, "bits": 104 },
+    { "op": "div_mod_power_of_two", "var": 129, "bits": 8 },
+    { "op": "load_imm", "imm": "0D" },
+    { "op": "less_than", "a": 133, "b": 4, "bits": 32 },
+    { "op": "test_eq", "a": 132, "b": 19 },
+    { "op": "cond_select", "bit": 134, "a": 10, "b": 135 },
+    { "op": "cond_select", "bit": 128, "a": 136, "b": 9 },
+    { "op": "div_mod_power_of_two", "var": 3, "bits": 112 },
+    { "op": "div_mod_power_of_two", "var": 138, "bits": 8 },
+    { "op": "load_imm", "imm": "0E" },
+    { "op": "less_than", "a": 142, "b": 4, "bits": 32 },
+    { "op": "test_eq", "a": 141, "b": 19 },
+    { "op": "cond_select", "bit": 143, "a": 10, "b": 144 },
+    { "op": "cond_select", "bit": 137, "a": 145, "b": 9 },
+    { "op": "div_mod_power_of_two", "var": 3, "bits": 120 },
+    { "op": "div_mod_power_of_two", "var": 147, "bits": 8 },
+    { "op": "load_imm", "imm": "0F" },
+    { "op": "less_than", "a": 151, "b": 4, "bits": 32 },
+    { "op": "test_eq", "a": 150, "b": 19 },
+    { "op": "cond_select", "bit": 152, "a": 10, "b": 153 },
+    { "op": "cond_select", "bit": 146, "a": 154, "b": 9 },
+    { "op": "div_mod_power_of_two", "var": 3, "bits": 128 },
+    { "op": "div_mod_power_of_two", "var": 156, "bits": 8 },
+    { "op": "load_imm", "imm": "10" },
+    { "op": "less_than", "a": 160, "b": 4, "bits": 32 },
+    { "op": "test_eq", "a": 159, "b": 19 },
+    { "op": "cond_select", "bit": 161, "a": 10, "b": 162 },
+    { "op": "cond_select", "bit": 155, "a": 163, "b": 9 },
+    { "op": "div_mod_power_of_two", "var": 3, "bits": 136 },
+    { "op": "div_mod_power_of_two", "var": 165, "bits": 8 },
+    { "op": "load_imm", "imm": "11" },
+    { "op": "less_than", "a": 169, "b": 4, "bits": 32 },
+    { "op": "test_eq", "a": 168, "b": 19 },
+    { "op": "cond_select", "bit": 170, "a": 10, "b": 171 },
+    { "op": "cond_select", "bit": 164, "a": 172, "b": 9 },
+    { "op": "div_mod_power_of_two", "var": 3, "bits": 144 },
+    { "op": "div_mod_power_of_two", "var": 174, "bits": 8 },
+    { "op": "load_imm", "imm": "12" },
+    { "op": "less_than", "a": 178, "b": 4, "bits": 32 },
+    { "op": "test_eq", "a": 177, "b": 19 },
+    { "op": "cond_select", "bit": 179, "a": 10, "b": 180 },
+    { "op": "cond_select", "bit": 173, "a": 181, "b": 9 },
+    { "op": "div_mod_power_of_two", "var": 3, "bits": 152 },
+    { "op": "div_mod_power_of_two", "var": 183, "bits": 8 },
+    { "op": "load_imm", "imm": "13" },
+    { "op": "less_than", "a": 187, "b": 4, "bits": 32 },
+    { "op": "test_eq", "a": 186, "b": 19 },
+    { "op": "cond_select", "bit": 188, "a": 10, "b": 189 },
+    { "op": "cond_select", "bit": 182, "a": 190, "b": 9 },
+    { "op": "div_mod_power_of_two", "var": 3, "bits": 160 },
+    { "op": "div_mod_power_of_two", "var": 192, "bits": 8 },
+    { "op": "load_imm", "imm": "14" },
+    { "op": "less_than", "a": 196, "b": 4, "bits": 32 },
+    { "op": "test_eq", "a": 195, "b": 19 },
+    { "op": "cond_select", "bit": 197, "a": 10, "b": 198 },
+    { "op": "cond_select", "bit": 191, "a": 199, "b": 9 },
+    { "op": "div_mod_power_of_two", "var": 3, "bits": 168 },
+    { "op": "div_mod_power_of_two", "var": 201, "bits": 8 },
+    { "op": "load_imm", "imm": "15" },
+    { "op": "less_than", "a": 205, "b": 4, "bits": 32 },
+    { "op": "test_eq", "a": 204, "b": 19 },
+    { "op": "cond_select", "bit": 206, "a": 10, "b": 207 },
+    { "op": "cond_select", "bit": 200, "a": 208, "b": 9 },
+    { "op": "div_mod_power_of_two", "var": 3, "bits": 176 },
+    { "op": "div_mod_power_of_two", "var": 210, "bits": 8 },
+    { "op": "load_imm", "imm": "16" },
+    { "op": "less_than", "a": 214, "b": 4, "bits": 32 },
+    { "op": "test_eq", "a": 213, "b": 19 },
+    { "op": "cond_select", "bit": 215, "a": 10, "b": 216 },
+    { "op": "cond_select", "bit": 209, "a": 217, "b": 9 },
+    { "op": "div_mod_power_of_two", "var": 3, "bits": 184 },
+    { "op": "div_mod_power_of_two", "var": 219, "bits": 8 },
+    { "op": "load_imm", "imm": "17" },
+    { "op": "less_than", "a": 223, "b": 4, "bits": 32 },
+    { "op": "test_eq", "a": 222, "b": 19 },
+    { "op": "cond_select", "bit": 224, "a": 10, "b": 225 },
+    { "op": "cond_select", "bit": 218, "a": 226, "b": 9 },
+    { "op": "div_mod_power_of_two", "var": 3, "bits": 192 },
+    { "op": "div_mod_power_of_two", "var": 228, "bits": 8 },
+    { "op": "load_imm", "imm": "18" },
+    { "op": "less_than", "a": 232, "b": 4, "bits": 32 },
+    { "op": "test_eq", "a": 231, "b": 19 },
+    { "op": "cond_select", "bit": 233, "a": 10, "b": 234 },
+    { "op": "cond_select", "bit": 227, "a": 235, "b": 9 },
+    { "op": "div_mod_power_of_two", "var": 3, "bits": 200 },
+    { "op": "div_mod_power_of_two", "var": 237, "bits": 8 },
+    { "op": "load_imm", "imm": "19" },
+    { "op": "less_than", "a": 241, "b": 4, "bits": 32 },
+    { "op": "test_eq", "a": 240, "b": 19 },
+    { "op": "cond_select", "bit": 242, "a": 10, "b": 243 },
+    { "op": "cond_select", "bit": 236, "a": 244, "b": 9 },
+    { "op": "div_mod_power_of_two", "var": 3, "bits": 208 },
+    { "op": "div_mod_power_of_two", "var": 246, "bits": 8 },
+    { "op": "load_imm", "imm": "1A" },
+    { "op": "less_than", "a": 250, "b": 4, "bits": 32 },
+    { "op": "test_eq", "a": 249, "b": 19 },
+    { "op": "cond_select", "bit": 251, "a": 10, "b": 252 },
+    { "op": "cond_select", "bit": 245, "a": 253, "b": 9 },
+    { "op": "div_mod_power_of_two", "var": 3, "bits": 216 },
+    { "op": "div_mod_power_of_two", "var": 255, "bits": 8 },
+    { "op": "load_imm", "imm": "1B" },
+    { "op": "less_than", "a": 259, "b": 4, "bits": 32 },
+    { "op": "test_eq", "a": 258, "b": 19 },
+    { "op": "cond_select", "bit": 260, "a": 10, "b": 261 },
+    { "op": "cond_select", "bit": 254, "a": 262, "b": 9 },
+    { "op": "div_mod_power_of_two", "var": 3, "bits": 224 },
+    { "op": "div_mod_power_of_two", "var": 264, "bits": 8 },
+    { "op": "load_imm", "imm": "1C" },
+    { "op": "less_than", "a": 268, "b": 4, "bits": 32 },
+    { "op": "test_eq", "a": 267, "b": 19 },
+    { "op": "cond_select", "bit": 269, "a": 10, "b": 270 },
+    { "op": "cond_select", "bit": 263, "a": 271, "b": 9 },
+    { "op": "div_mod_power_of_two", "var": 3, "bits": 232 },
+    { "op": "div_mod_power_of_two", "var": 273, "bits": 8 },
+    { "op": "load_imm", "imm": "1D" },
+    { "op": "less_than", "a": 277, "b": 4, "bits": 32 },
+    { "op": "test_eq", "a": 276, "b": 19 },
+    { "op": "cond_select", "bit": 278, "a": 10, "b": 279 },
+    { "op": "cond_select", "bit": 272, "a": 280, "b": 9 },
+    { "op": "div_mod_power_of_two", "var": 3, "bits": 240 },
+    { "op": "div_mod_power_of_two", "var": 282, "bits": 8 },
+    { "op": "load_imm", "imm": "1E" },
+    { "op": "less_than", "a": 286, "b": 4, "bits": 32 },
+    { "op": "test_eq", "a": 285, "b": 19 },
+    { "op": "cond_select", "bit": 287, "a": 10, "b": 288 },
+    { "op": "cond_select", "bit": 281, "a": 289, "b": 9 },
+    { "op": "div_mod_power_of_two", "var": 2, "bits": 0 },
+    { "op": "div_mod_power_of_two", "var": 291, "bits": 8 },
+    { "op": "load_imm", "imm": "1F" },
+    { "op": "less_than", "a": 295, "b": 4, "bits": 32 },
+    { "op": "test_eq", "a": 294, "b": 19 },
+    { "op": "cond_select", "bit": 296, "a": 10, "b": 297 },
+    { "op": "cond_select", "bit": 290, "a": 298, "b": 9 },
+    { "op": "assert", "cond": 299 },
+    { "op": "load_imm", "imm": "30" },
+    { "op": "declare_pub_input", "var": 300 },
+    { "op": "pi_skip", "guard": 10, "count": 1 },
+    { "op": "load_imm", "imm": "50" },
+    { "op": "declare_pub_input", "var": 301 },
+    { "op": "declare_pub_input", "var": 10 },
+    { "op": "declare_pub_input", "var": 10 },
+    { "op": "declare_pub_input", "var": 61 },
+    { "op": "pi_skip", "guard": 10, "count": 4 },
+    { "op": "declare_pub_input", "var": 160 },
+    { "op": "declare_pub_input", "var": 10 },
+    { "op": "declare_pub_input", "var": 10 },
+    { "op": "declare_pub_input", "var": 7 },
+    { "op": "declare_pub_input", "var": 2 },
+    { "op": "declare_pub_input", "var": 3 },
+    { "op": "pi_skip", "guard": 10, "count": 6 },
+    { "op": "declare_pub_input", "var": 232 },
+    { "op": "pi_skip", "guard": 10, "count": 1 },
+    { "op": "public_input", "guard": null },
+    { "op": "declare_pub_input", "var": 133 },
+    { "op": "declare_pub_input", "var": 10 },
+    { "op": "declare_pub_input", "var": 10 },
+    { "op": "declare_pub_input", "var": 302 },
+    { "op": "pi_skip", "guard": 10, "count": 4 },
+    { "op": "cond_select", "bit": 302, "a": 9, "b": 10 },
+    { "op": "assert", "cond": 303 },
+    { "op": "cond_select", "bit": 44, "a": 9, "b": 10 },
+    { "op": "cond_select", "bit": 304, "a": 300, "b": 9 },
+    { "op": "declare_pub_input", "var": 305 },
+    { "op": "pi_skip", "guard": 304, "count": 1 },
+    { "op": "cond_select", "bit": 304, "a": 301, "b": 9 },
+    { "op": "declare_pub_input", "var": 306 },
+    { "op": "declare_pub_input", "var": 304 },
+    { "op": "declare_pub_input", "var": 304 },
+    { "op": "cond_select", "bit": 304, "a": 88, "b": 9 },
+    { "op": "declare_pub_input", "var": 307 },
+    { "op": "pi_skip", "guard": 304, "count": 4 },
+    { "op": "public_input", "guard": 304 },
+    { "op": "public_input", "guard": 304 },
+    { "op": "cond_select", "bit": 304, "a": 124, "b": 9 },
+    { "op": "declare_pub_input", "var": 310 },
+    { "op": "declare_pub_input", "var": 304 },
+    { "op": "cond_select", "bit": 304, "a": 7, "b": 9 },
+    { "op": "declare_pub_input", "var": 311 },
+    { "op": "cond_select", "bit": 304, "a": 308, "b": 9 },
+    { "op": "declare_pub_input", "var": 312 },
+    { "op": "cond_select", "bit": 304, "a": 309, "b": 9 },
+    { "op": "declare_pub_input", "var": 313 },
+    { "op": "pi_skip", "guard": 304, "count": 5 },
+    { "op": "cond_select", "bit": 304, "a": 300, "b": 9 },
+    { "op": "declare_pub_input", "var": 314 },
+    { "op": "pi_skip", "guard": 304, "count": 1 },
+    { "op": "cond_select", "bit": 304, "a": 301, "b": 9 },
+    { "op": "declare_pub_input", "var": 315 },
+    { "op": "declare_pub_input", "var": 304 },
+    { "op": "declare_pub_input", "var": 304 },
+    { "op": "cond_select", "bit": 304, "a": 97, "b": 9 },
+    { "op": "declare_pub_input", "var": 316 },
+    { "op": "pi_skip", "guard": 304, "count": 4 },
+    { "op": "public_input", "guard": 304 },
+    { "op": "cond_select", "bit": 304, "a": 124, "b": 9 },
+    { "op": "declare_pub_input", "var": 318 },
+    { "op": "declare_pub_input", "var": 304 },
+    { "op": "cond_select", "bit": 304, "a": 160, "b": 9 },
+    { "op": "declare_pub_input", "var": 319 },
+    { "op": "cond_select", "bit": 304, "a": 317, "b": 9 },
+    { "op": "declare_pub_input", "var": 320 },
+    { "op": "pi_skip", "guard": 304, "count": 4 },
+    { "op": "load_imm", "imm": "40" },
+    { "op": "cond_select", "bit": 304, "a": 321, "b": 9 },
+    { "op": "declare_pub_input", "var": 322 },
+    { "op": "pi_skip", "guard": 304, "count": 1 },
+    { "op": "load_imm", "imm": "80" },
+    { "op": "cond_select", "bit": 304, "a": 323, "b": 9 },
+    { "op": "declare_pub_input", "var": 324 },
+    { "op": "declare_pub_input", "var": 304 },
+    { "op": "declare_pub_input", "var": 304 },
+    { "op": "cond_select", "bit": 304, "a": 70, "b": 9 },
+    { "op": "declare_pub_input", "var": 325 },
+    { "op": "pi_skip", "guard": 304, "count": 4 },
+    { "op": "cond_select", "bit": 304, "a": 160, "b": 9 },
+    { "op": "declare_pub_input", "var": 326 },
+    { "op": "declare_pub_input", "var": 304 },
+    { "op": "cond_select", "bit": 304, "a": 43, "b": 9 },
+    { "op": "declare_pub_input", "var": 327 },
+    { "op": "declare_pub_input", "var": 304 },
+    { "op": "cond_select", "bit": 304, "a": 7, "b": 9 },
+    { "op": "declare_pub_input", "var": 328 },
+    { "op": "cond_select", "bit": 304, "a": 7, "b": 9 },
+    { "op": "declare_pub_input", "var": 329 },
+    { "op": "declare_pub_input", "var": 304 },
+    { "op": "cond_select", "bit": 304, "a": 308, "b": 9 },
+    { "op": "declare_pub_input", "var": 330 },
+    { "op": "cond_select", "bit": 304, "a": 309, "b": 9 },
+    { "op": "declare_pub_input", "var": 331 },
+    { "op": "cond_select", "bit": 304, "a": 9, "b": 9 },
+    { "op": "declare_pub_input", "var": 332 },
+    { "op": "cond_select", "bit": 304, "a": 9, "b": 9 },
+    { "op": "declare_pub_input", "var": 333 },
+    { "op": "pi_skip", "guard": 304, "count": 11 },
+    { "op": "load_imm", "imm": "31" },
+    { "op": "cond_select", "bit": 304, "a": 334, "b": 9 },
+    { "op": "declare_pub_input", "var": 335 },
+    { "op": "pi_skip", "guard": 304, "count": 1 },
+    { "op": "cond_select", "bit": 304, "a": 334, "b": 9 },
+    { "op": "declare_pub_input", "var": 336 },
+    { "op": "pi_skip", "guard": 304, "count": 1 },
+    { "op": "cond_select", "bit": 304, "a": 232, "b": 9 },
+    { "op": "declare_pub_input", "var": 337 },
+    { "op": "pi_skip", "guard": 304, "count": 1 },
+    { "op": "cond_select", "bit": 304, "a": 160, "b": 9 },
+    { "op": "declare_pub_input", "var": 338 },
+    { "op": "declare_pub_input", "var": 304 },
+    { "op": "declare_pub_input", "var": 304 },
+    { "op": "cond_select", "bit": 304, "a": 160, "b": 9 },
+    { "op": "declare_pub_input", "var": 339 },
+    { "op": "cond_select", "bit": 304, "a": 317, "b": 9 },
+    { "op": "declare_pub_input", "var": 340 },
+    { "op": "pi_skip", "guard": 304, "count": 5 },
+    { "op": "cond_select", "bit": 304, "a": 321, "b": 9 },
+    { "op": "declare_pub_input", "var": 341 },
+    { "op": "pi_skip", "guard": 304, "count": 1 },
+    { "op": "cond_select", "bit": 304, "a": 88, "b": 9 },
+    { "op": "declare_pub_input", "var": 342 },
+    { "op": "pi_skip", "guard": 304, "count": 1 },
+    { "op": "cond_select", "bit": 304, "a": 178, "b": 9 },
+    { "op": "declare_pub_input", "var": 343 },
+    { "op": "cond_select", "bit": 304, "a": 52, "b": 9 },
+    { "op": "declare_pub_input", "var": 344 },
+    { "op": "pi_skip", "guard": 304, "count": 2 },
+    { "op": "load_imm", "imm": "32" },
+    { "op": "cond_select", "bit": 304, "a": 345, "b": 9 },
+    { "op": "declare_pub_input", "var": 346 },
+    { "op": "pi_skip", "guard": 304, "count": 1 },
+    { "op": "cond_select", "bit": 304, "a": 345, "b": 9 },
+    { "op": "declare_pub_input", "var": 347 },
+    { "op": "pi_skip", "guard": 304, "count": 1 },
+    { "op": "load_imm", "imm": "60" },
+    { "op": "load_imm", "imm": "-01" },
+    { "op": "cond_select", "bit": 304, "a": 348, "b": 9 },
+    { "op": "declare_pub_input", "var": 350 },
+    { "op": "cond_select", "bit": 304, "a": 349, "b": 9 },
+    { "op": "declare_pub_input", "var": 351 },
+    { "op": "pi_skip", "guard": 304, "count": 2 },
+    { "op": "cond_select", "bit": 304, "a": 196, "b": 9 },
+    { "op": "declare_pub_input", "var": 352 },
+    { "op": "pi_skip", "guard": 304, "count": 1 },
+    { "op": "load_imm", "imm": "A2" },
+    { "op": "cond_select", "bit": 304, "a": 353, "b": 9 },
+    { "op": "declare_pub_input", "var": 354 },
+    { "op": "pi_skip", "guard": 304, "count": 1 },
+    { "op": "cond_select", "bit": 304, "a": 321, "b": 9 },
+    { "op": "declare_pub_input", "var": 355 },
+    { "op": "pi_skip", "guard": 304, "count": 1 },
+    { "op": "cond_select", "bit": 304, "a": 300, "b": 9 },
+    { "op": "declare_pub_input", "var": 356 },
+    { "op": "pi_skip", "guard": 304, "count": 1 },
+    { "op": "cond_select", "bit": 304, "a": 301, "b": 9 },
+    { "op": "declare_pub_input", "var": 357 },
+    { "op": "declare_pub_input", "var": 304 },
+    { "op": "declare_pub_input", "var": 304 },
+    { "op": "cond_select", "bit": 304, "a": 88, "b": 9 },
+    { "op": "declare_pub_input", "var": 358 },
+    { "op": "pi_skip", "guard": 304, "count": 4 },
+    { "op": "public_input", "guard": 304 },
+    { "op": "public_input", "guard": 304 },
+    { "op": "cond_select", "bit": 304, "a": 124, "b": 9 },
+    { "op": "declare_pub_input", "var": 361 },
+    { "op": "declare_pub_input", "var": 304 },
+    { "op": "cond_select", "bit": 304, "a": 7, "b": 9 },
+    { "op": "declare_pub_input", "var": 362 },
+    { "op": "cond_select", "bit": 304, "a": 359, "b": 9 },
+    { "op": "declare_pub_input", "var": 363 },
+    { "op": "cond_select", "bit": 304, "a": 360, "b": 9 },
+    { "op": "declare_pub_input", "var": 364 },
+    { "op": "pi_skip", "guard": 304, "count": 5 },
+    { "op": "cond_select", "bit": 304, "a": 300, "b": 9 },
+    { "op": "declare_pub_input", "var": 365 },
+    { "op": "pi_skip", "guard": 304, "count": 1 },
+    { "op": "cond_select", "bit": 304, "a": 301, "b": 9 },
+    { "op": "declare_pub_input", "var": 366 },
+    { "op": "declare_pub_input", "var": 304 },
+    { "op": "declare_pub_input", "var": 304 },
+    { "op": "cond_select", "bit": 304, "a": 97, "b": 9 },
+    { "op": "declare_pub_input", "var": 367 },
+    { "op": "pi_skip", "guard": 304, "count": 4 },
+    { "op": "public_input", "guard": 304 },
+    { "op": "cond_select", "bit": 304, "a": 124, "b": 9 },
+    { "op": "declare_pub_input", "var": 369 },
+    { "op": "declare_pub_input", "var": 304 },
+    { "op": "cond_select", "bit": 304, "a": 160, "b": 9 },
+    { "op": "declare_pub_input", "var": 370 },
+    { "op": "cond_select", "bit": 304, "a": 368, "b": 9 },
+    { "op": "declare_pub_input", "var": 371 },
+    { "op": "pi_skip", "guard": 304, "count": 4 },
+    { "op": "cond_select", "bit": 304, "a": 300, "b": 9 },
+    { "op": "declare_pub_input", "var": 372 },
+    { "op": "pi_skip", "guard": 304, "count": 1 },
+    { "op": "cond_select", "bit": 304, "a": 301, "b": 9 },
+    { "op": "declare_pub_input", "var": 373 },
+    { "op": "declare_pub_input", "var": 304 },
+    { "op": "declare_pub_input", "var": 304 },
+    { "op": "cond_select", "bit": 304, "a": 43, "b": 9 },
+    { "op": "declare_pub_input", "var": 374 },
+    { "op": "pi_skip", "guard": 304, "count": 4 },
+    { "op": "public_input", "guard": 304 },
+    { "op": "public_input", "guard": 304 },
+    { "op": "cond_select", "bit": 304, "a": 124, "b": 9 },
+    { "op": "declare_pub_input", "var": 377 },
+    { "op": "declare_pub_input", "var": 304 },
+    { "op": "cond_select", "bit": 304, "a": 7, "b": 9 },
+    { "op": "declare_pub_input", "var": 378 },
+    { "op": "cond_select", "bit": 304, "a": 375, "b": 9 },
+    { "op": "declare_pub_input", "var": 379 },
+    { "op": "cond_select", "bit": 304, "a": 376, "b": 9 },
+    { "op": "declare_pub_input", "var": 380 },
+    { "op": "pi_skip", "guard": 304, "count": 5 },
+    { "op": "cond_select", "bit": 304, "a": 321, "b": 9 },
+    { "op": "declare_pub_input", "var": 381 },
+    { "op": "pi_skip", "guard": 304, "count": 1 },
+    { "op": "cond_select", "bit": 304, "a": 323, "b": 9 },
+    { "op": "declare_pub_input", "var": 382 },
+    { "op": "declare_pub_input", "var": 304 },
+    { "op": "declare_pub_input", "var": 304 },
+    { "op": "cond_select", "bit": 304, "a": 79, "b": 9 },
+    { "op": "declare_pub_input", "var": 383 },
+    { "op": "pi_skip", "guard": 304, "count": 4 },
+    { "op": "cond_select", "bit": 304, "a": 160, "b": 9 },
+    { "op": "declare_pub_input", "var": 384 },
+    { "op": "declare_pub_input", "var": 304 },
+    { "op": "cond_select", "bit": 304, "a": 43, "b": 9 },
+    { "op": "declare_pub_input", "var": 385 },
+    { "op": "declare_pub_input", "var": 304 },
+    { "op": "cond_select", "bit": 304, "a": 7, "b": 9 },
+    { "op": "declare_pub_input", "var": 386 },
+    { "op": "cond_select", "bit": 304, "a": 7, "b": 9 },
+    { "op": "declare_pub_input", "var": 387 },
+    { "op": "declare_pub_input", "var": 304 },
+    { "op": "cond_select", "bit": 304, "a": 359, "b": 9 },
+    { "op": "declare_pub_input", "var": 388 },
+    { "op": "cond_select", "bit": 304, "a": 360, "b": 9 },
+    { "op": "declare_pub_input", "var": 389 },
+    { "op": "cond_select", "bit": 304, "a": 9, "b": 9 },
+    { "op": "declare_pub_input", "var": 390 },
+    { "op": "cond_select", "bit": 304, "a": 9, "b": 9 },
+    { "op": "declare_pub_input", "var": 391 },
+    { "op": "pi_skip", "guard": 304, "count": 11 },
+    { "op": "cond_select", "bit": 304, "a": 334, "b": 9 },
+    { "op": "declare_pub_input", "var": 392 },
+    { "op": "pi_skip", "guard": 304, "count": 1 },
+    { "op": "cond_select", "bit": 304, "a": 334, "b": 9 },
+    { "op": "declare_pub_input", "var": 393 },
+    { "op": "pi_skip", "guard": 304, "count": 1 },
+    { "op": "cond_select", "bit": 304, "a": 232, "b": 9 },
+    { "op": "declare_pub_input", "var": 394 },
+    { "op": "pi_skip", "guard": 304, "count": 1 },
+    { "op": "cond_select", "bit": 304, "a": 160, "b": 9 },
+    { "op": "declare_pub_input", "var": 395 },
+    { "op": "declare_pub_input", "var": 304 },
+    { "op": "declare_pub_input", "var": 304 },
+    { "op": "cond_select", "bit": 304, "a": 160, "b": 9 },
+    { "op": "declare_pub_input", "var": 396 },
+    { "op": "cond_select", "bit": 304, "a": 368, "b": 9 },
+    { "op": "declare_pub_input", "var": 397 },
+    { "op": "pi_skip", "guard": 304, "count": 5 },
+    { "op": "cond_select", "bit": 304, "a": 321, "b": 9 },
+    { "op": "declare_pub_input", "var": 398 },
+    { "op": "pi_skip", "guard": 304, "count": 1 },
+    { "op": "cond_select", "bit": 304, "a": 88, "b": 9 },
+    { "op": "declare_pub_input", "var": 399 },
+    { "op": "pi_skip", "guard": 304, "count": 1 },
+    { "op": "cond_select", "bit": 304, "a": 178, "b": 9 },
+    { "op": "declare_pub_input", "var": 400 },
+    { "op": "cond_select", "bit": 304, "a": 52, "b": 9 },
+    { "op": "declare_pub_input", "var": 401 },
+    { "op": "pi_skip", "guard": 304, "count": 2 },
+    { "op": "cond_select", "bit": 304, "a": 345, "b": 9 },
+    { "op": "declare_pub_input", "var": 402 },
+    { "op": "pi_skip", "guard": 304, "count": 1 },
+    { "op": "cond_select", "bit": 304, "a": 345, "b": 9 },
+    { "op": "declare_pub_input", "var": 403 },
+    { "op": "pi_skip", "guard": 304, "count": 1 },
+    { "op": "cond_select", "bit": 304, "a": 348, "b": 9 },
+    { "op": "declare_pub_input", "var": 404 },
+    { "op": "cond_select", "bit": 304, "a": 349, "b": 9 },
+    { "op": "declare_pub_input", "var": 405 },
+    { "op": "pi_skip", "guard": 304, "count": 2 },
+    { "op": "cond_select", "bit": 304, "a": 196, "b": 9 },
+    { "op": "declare_pub_input", "var": 406 },
+    { "op": "pi_skip", "guard": 304, "count": 1 },
+    { "op": "cond_select", "bit": 304, "a": 353, "b": 9 },
+    { "op": "declare_pub_input", "var": 407 },
+    { "op": "pi_skip", "guard": 304, "count": 1 },
+    { "op": "cond_select", "bit": 304, "a": 321, "b": 9 },
+    { "op": "declare_pub_input", "var": 408 },
+    { "op": "pi_skip", "guard": 304, "count": 1 },
+    { "op": "cond_select", "bit": 304, "a": 321, "b": 9 },
+    { "op": "declare_pub_input", "var": 409 },
+    { "op": "pi_skip", "guard": 304, "count": 1 },
+    { "op": "cond_select", "bit": 304, "a": 323, "b": 9 },
+    { "op": "declare_pub_input", "var": 410 },
+    { "op": "declare_pub_input", "var": 304 },
+    { "op": "declare_pub_input", "var": 304 },
+    { "op": "cond_select", "bit": 304, "a": 88, "b": 9 },
+    { "op": "declare_pub_input", "var": 411 },
+    { "op": "pi_skip", "guard": 304, "count": 4 },
+    { "op": "cond_select", "bit": 304, "a": 160, "b": 9 },
+    { "op": "declare_pub_input", "var": 412 },
+    { "op": "declare_pub_input", "var": 304 },
+    { "op": "cond_select", "bit": 304, "a": 70, "b": 9 },
+    { "op": "declare_pub_input", "var": 413 },
+    { "op": "declare_pub_input", "var": 304 },
+    { "op": "cond_select", "bit": 304, "a": 7, "b": 9 },
+    { "op": "declare_pub_input", "var": 414 },
+    { "op": "cond_select", "bit": 304, "a": 7, "b": 9 },
+    { "op": "declare_pub_input", "var": 415 },
+    { "op": "declare_pub_input", "var": 304 },
+    { "op": "cond_select", "bit": 304, "a": 7, "b": 9 },
+    { "op": "declare_pub_input", "var": 416 },
+    { "op": "cond_select", "bit": 304, "a": 7, "b": 9 },
+    { "op": "declare_pub_input", "var": 417 },
+    { "op": "declare_pub_input", "var": 304 },
+    { "op": "cond_select", "bit": 304, "a": 359, "b": 9 },
+    { "op": "declare_pub_input", "var": 418 },
+    { "op": "cond_select", "bit": 304, "a": 360, "b": 9 },
+    { "op": "declare_pub_input", "var": 419 },
+    { "op": "cond_select", "bit": 304, "a": 9, "b": 9 },
+    { "op": "declare_pub_input", "var": 420 },
+    { "op": "cond_select", "bit": 304, "a": 9, "b": 9 },
+    { "op": "declare_pub_input", "var": 421 },
+    { "op": "cond_select", "bit": 304, "a": 9, "b": 9 },
+    { "op": "declare_pub_input", "var": 422 },
+    { "op": "cond_select", "bit": 304, "a": 9, "b": 9 },
+    { "op": "declare_pub_input", "var": 423 },
+    { "op": "cond_select", "bit": 304, "a": 9, "b": 9 },
+    { "op": "declare_pub_input", "var": 424 },
+    { "op": "cond_select", "bit": 304, "a": 375, "b": 9 },
+    { "op": "declare_pub_input", "var": 425 },
+    { "op": "cond_select", "bit": 304, "a": 376, "b": 9 },
+    { "op": "declare_pub_input", "var": 426 },
+    { "op": "pi_skip", "guard": 304, "count": 19 },
+    { "op": "cond_select", "bit": 304, "a": 334, "b": 9 },
+    { "op": "declare_pub_input", "var": 427 },
+    { "op": "pi_skip", "guard": 304, "count": 1 },
+    { "op": "cond_select", "bit": 304, "a": 334, "b": 9 },
+    { "op": "declare_pub_input", "var": 428 },
+    { "op": "pi_skip", "guard": 304, "count": 1 },
+    { "op": "cond_select", "bit": 304, "a": 232, "b": 9 },
+    { "op": "declare_pub_input", "var": 429 },
+    { "op": "pi_skip", "guard": 304, "count": 1 },
+    { "op": "cond_select", "bit": 304, "a": 160, "b": 9 },
+    { "op": "declare_pub_input", "var": 430 },
+    { "op": "declare_pub_input", "var": 304 },
+    { "op": "declare_pub_input", "var": 304 },
+    { "op": "cond_select", "bit": 304, "a": 160, "b": 9 },
+    { "op": "declare_pub_input", "var": 431 },
+    { "op": "cond_select", "bit": 304, "a": 368, "b": 9 },
+    { "op": "declare_pub_input", "var": 432 },
+    { "op": "pi_skip", "guard": 304, "count": 5 },
+    { "op": "cond_select", "bit": 304, "a": 321, "b": 9 },
+    { "op": "declare_pub_input", "var": 433 },
+    { "op": "pi_skip", "guard": 304, "count": 1 },
+    { "op": "cond_select", "bit": 304, "a": 88, "b": 9 },
+    { "op": "declare_pub_input", "var": 434 },
+    { "op": "pi_skip", "guard": 304, "count": 1 },
+    { "op": "cond_select", "bit": 304, "a": 178, "b": 9 },
+    { "op": "declare_pub_input", "var": 435 },
+    { "op": "cond_select", "bit": 304, "a": 52, "b": 9 },
+    { "op": "declare_pub_input", "var": 436 },
+    { "op": "pi_skip", "guard": 304, "count": 2 },
+    { "op": "cond_select", "bit": 304, "a": 345, "b": 9 },
+    { "op": "declare_pub_input", "var": 437 },
+    { "op": "pi_skip", "guard": 304, "count": 1 },
+    { "op": "cond_select", "bit": 304, "a": 345, "b": 9 },
+    { "op": "declare_pub_input", "var": 438 },
+    { "op": "pi_skip", "guard": 304, "count": 1 },
+    { "op": "cond_select", "bit": 304, "a": 348, "b": 9 },
+    { "op": "declare_pub_input", "var": 439 },
+    { "op": "cond_select", "bit": 304, "a": 349, "b": 9 },
+    { "op": "declare_pub_input", "var": 440 },
+    { "op": "pi_skip", "guard": 304, "count": 2 },
+    { "op": "cond_select", "bit": 304, "a": 196, "b": 9 },
+    { "op": "declare_pub_input", "var": 441 },
+    { "op": "pi_skip", "guard": 304, "count": 1 },
+    { "op": "cond_select", "bit": 304, "a": 353, "b": 9 },
+    { "op": "declare_pub_input", "var": 442 },
+    { "op": "pi_skip", "guard": 304, "count": 1 },
+    { "op": "cond_select", "bit": 304, "a": 321, "b": 9 },
+    { "op": "declare_pub_input", "var": 443 },
+    { "op": "pi_skip", "guard": 304, "count": 1 },
+    { "op": "test_eq", "a": 4, "b": 52 },
+    { "op": "cond_select", "bit": 444, "a": 44, "b": 9 },
+    { "op": "cond_select", "bit": 444, "a": 9, "b": 44 },
+    { "op": "cond_select", "bit": 445, "a": 300, "b": 9 },
+    { "op": "declare_pub_input", "var": 447 },
+    { "op": "pi_skip", "guard": 445, "count": 1 },
+    { "op": "cond_select", "bit": 445, "a": 301, "b": 9 },
+    { "op": "declare_pub_input", "var": 448 },
+    { "op": "declare_pub_input", "var": 445 },
+    { "op": "declare_pub_input", "var": 445 },
+    { "op": "cond_select", "bit": 445, "a": 88, "b": 9 },
+    { "op": "declare_pub_input", "var": 449 },
+    { "op": "pi_skip", "guard": 445, "count": 4 },
+    { "op": "public_input", "guard": 445 },
+    { "op": "public_input", "guard": 445 },
+    { "op": "cond_select", "bit": 445, "a": 124, "b": 9 },
+    { "op": "declare_pub_input", "var": 452 },
+    { "op": "declare_pub_input", "var": 445 },
+    { "op": "cond_select", "bit": 445, "a": 7, "b": 9 },
+    { "op": "declare_pub_input", "var": 453 },
+    { "op": "cond_select", "bit": 445, "a": 450, "b": 9 },
+    { "op": "declare_pub_input", "var": 454 },
+    { "op": "cond_select", "bit": 445, "a": 451, "b": 9 },
+    { "op": "declare_pub_input", "var": 455 },
+    { "op": "pi_skip", "guard": 445, "count": 5 },
+    { "op": "cond_select", "bit": 445, "a": 300, "b": 9 },
+    { "op": "declare_pub_input", "var": 456 },
+    { "op": "pi_skip", "guard": 445, "count": 1 },
+    { "op": "cond_select", "bit": 445, "a": 301, "b": 9 },
+    { "op": "declare_pub_input", "var": 457 },
+    { "op": "declare_pub_input", "var": 445 },
+    { "op": "declare_pub_input", "var": 445 },
+    { "op": "cond_select", "bit": 445, "a": 106, "b": 9 },
+    { "op": "declare_pub_input", "var": 458 },
+    { "op": "pi_skip", "guard": 445, "count": 4 },
+    { "op": "public_input", "guard": 445 },
+    { "op": "cond_select", "bit": 445, "a": 124, "b": 9 },
+    { "op": "declare_pub_input", "var": 460 },
+    { "op": "declare_pub_input", "var": 445 },
+    { "op": "cond_select", "bit": 445, "a": 160, "b": 9 },
+    { "op": "declare_pub_input", "var": 461 },
+    { "op": "cond_select", "bit": 445, "a": 459, "b": 9 },
+    { "op": "declare_pub_input", "var": 462 },
+    { "op": "pi_skip", "guard": 445, "count": 4 },
+    { "op": "cond_select", "bit": 445, "a": 321, "b": 9 },
+    { "op": "declare_pub_input", "var": 463 },
+    { "op": "pi_skip", "guard": 445, "count": 1 },
+    { "op": "cond_select", "bit": 445, "a": 323, "b": 9 },
+    { "op": "declare_pub_input", "var": 464 },
+    { "op": "declare_pub_input", "var": 445 },
+    { "op": "declare_pub_input", "var": 445 },
+    { "op": "cond_select", "bit": 445, "a": 70, "b": 9 },
+    { "op": "declare_pub_input", "var": 465 },
+    { "op": "pi_skip", "guard": 445, "count": 4 },
+    { "op": "cond_select", "bit": 445, "a": 160, "b": 9 },
+    { "op": "declare_pub_input", "var": 466 },
+    { "op": "declare_pub_input", "var": 445 },
+    { "op": "cond_select", "bit": 445, "a": 43, "b": 9 },
+    { "op": "declare_pub_input", "var": 467 },
+    { "op": "declare_pub_input", "var": 445 },
+    { "op": "cond_select", "bit": 445, "a": 7, "b": 9 },
+    { "op": "declare_pub_input", "var": 468 },
+    { "op": "cond_select", "bit": 445, "a": 7, "b": 9 },
+    { "op": "declare_pub_input", "var": 469 },
+    { "op": "declare_pub_input", "var": 445 },
+    { "op": "cond_select", "bit": 445, "a": 450, "b": 9 },
+    { "op": "declare_pub_input", "var": 470 },
+    { "op": "cond_select", "bit": 445, "a": 451, "b": 9 },
+    { "op": "declare_pub_input", "var": 471 },
+    { "op": "cond_select", "bit": 445, "a": 9, "b": 9 },
+    { "op": "declare_pub_input", "var": 472 },
+    { "op": "cond_select", "bit": 445, "a": 9, "b": 9 },
+    { "op": "declare_pub_input", "var": 473 },
+    { "op": "pi_skip", "guard": 445, "count": 11 },
+    { "op": "cond_select", "bit": 445, "a": 334, "b": 9 },
+    { "op": "declare_pub_input", "var": 474 },
+    { "op": "pi_skip", "guard": 445, "count": 1 },
+    { "op": "cond_select", "bit": 445, "a": 334, "b": 9 },
+    { "op": "declare_pub_input", "var": 475 },
+    { "op": "pi_skip", "guard": 445, "count": 1 },
+    { "op": "cond_select", "bit": 445, "a": 232, "b": 9 },
+    { "op": "declare_pub_input", "var": 476 },
+    { "op": "pi_skip", "guard": 445, "count": 1 },
+    { "op": "cond_select", "bit": 445, "a": 160, "b": 9 },
+    { "op": "declare_pub_input", "var": 477 },
+    { "op": "declare_pub_input", "var": 445 },
+    { "op": "declare_pub_input", "var": 445 },
+    { "op": "cond_select", "bit": 445, "a": 160, "b": 9 },
+    { "op": "declare_pub_input", "var": 478 },
+    { "op": "cond_select", "bit": 445, "a": 459, "b": 9 },
+    { "op": "declare_pub_input", "var": 479 },
+    { "op": "pi_skip", "guard": 445, "count": 5 },
+    { "op": "cond_select", "bit": 445, "a": 321, "b": 9 },
+    { "op": "declare_pub_input", "var": 480 },
+    { "op": "pi_skip", "guard": 445, "count": 1 },
+    { "op": "cond_select", "bit": 445, "a": 88, "b": 9 },
+    { "op": "declare_pub_input", "var": 481 },
+    { "op": "pi_skip", "guard": 445, "count": 1 },
+    { "op": "cond_select", "bit": 445, "a": 178, "b": 9 },
+    { "op": "declare_pub_input", "var": 482 },
+    { "op": "cond_select", "bit": 445, "a": 52, "b": 9 },
+    { "op": "declare_pub_input", "var": 483 },
+    { "op": "pi_skip", "guard": 445, "count": 2 },
+    { "op": "cond_select", "bit": 445, "a": 345, "b": 9 },
+    { "op": "declare_pub_input", "var": 484 },
+    { "op": "pi_skip", "guard": 445, "count": 1 },
+    { "op": "cond_select", "bit": 445, "a": 345, "b": 9 },
+    { "op": "declare_pub_input", "var": 485 },
+    { "op": "pi_skip", "guard": 445, "count": 1 },
+    { "op": "cond_select", "bit": 445, "a": 348, "b": 9 },
+    { "op": "declare_pub_input", "var": 486 },
+    { "op": "cond_select", "bit": 445, "a": 349, "b": 9 },
+    { "op": "declare_pub_input", "var": 487 },
+    { "op": "pi_skip", "guard": 445, "count": 2 },
+    { "op": "cond_select", "bit": 445, "a": 196, "b": 9 },
+    { "op": "declare_pub_input", "var": 488 },
+    { "op": "pi_skip", "guard": 445, "count": 1 },
+    { "op": "cond_select", "bit": 445, "a": 353, "b": 9 },
+    { "op": "declare_pub_input", "var": 489 },
+    { "op": "pi_skip", "guard": 445, "count": 1 },
+    { "op": "cond_select", "bit": 445, "a": 321, "b": 9 },
+    { "op": "declare_pub_input", "var": 490 },
+    { "op": "pi_skip", "guard": 445, "count": 1 },
+    { "op": "cond_select", "bit": 445, "a": 300, "b": 9 },
+    { "op": "declare_pub_input", "var": 491 },
+    { "op": "pi_skip", "guard": 445, "count": 1 },
+    { "op": "cond_select", "bit": 445, "a": 301, "b": 9 },
+    { "op": "declare_pub_input", "var": 492 },
+    { "op": "declare_pub_input", "var": 445 },
+    { "op": "declare_pub_input", "var": 445 },
+    { "op": "cond_select", "bit": 445, "a": 88, "b": 9 },
+    { "op": "declare_pub_input", "var": 493 },
+    { "op": "pi_skip", "guard": 445, "count": 4 },
+    { "op": "public_input", "guard": 445 },
+    { "op": "public_input", "guard": 445 },
+    { "op": "cond_select", "bit": 445, "a": 124, "b": 9 },
+    { "op": "declare_pub_input", "var": 496 },
+    { "op": "declare_pub_input", "var": 445 },
+    { "op": "cond_select", "bit": 445, "a": 7, "b": 9 },
+    { "op": "declare_pub_input", "var": 497 },
+    { "op": "cond_select", "bit": 445, "a": 494, "b": 9 },
+    { "op": "declare_pub_input", "var": 498 },
+    { "op": "cond_select", "bit": 445, "a": 495, "b": 9 },
+    { "op": "declare_pub_input", "var": 499 },
+    { "op": "pi_skip", "guard": 445, "count": 5 },
+    { "op": "cond_select", "bit": 445, "a": 300, "b": 9 },
+    { "op": "declare_pub_input", "var": 500 },
+    { "op": "pi_skip", "guard": 445, "count": 1 },
+    { "op": "cond_select", "bit": 445, "a": 301, "b": 9 },
+    { "op": "declare_pub_input", "var": 501 },
+    { "op": "declare_pub_input", "var": 445 },
+    { "op": "declare_pub_input", "var": 445 },
+    { "op": "cond_select", "bit": 445, "a": 106, "b": 9 },
+    { "op": "declare_pub_input", "var": 502 },
+    { "op": "pi_skip", "guard": 445, "count": 4 },
+    { "op": "public_input", "guard": 445 },
+    { "op": "cond_select", "bit": 445, "a": 124, "b": 9 },
+    { "op": "declare_pub_input", "var": 504 },
+    { "op": "declare_pub_input", "var": 445 },
+    { "op": "cond_select", "bit": 445, "a": 160, "b": 9 },
+    { "op": "declare_pub_input", "var": 505 },
+    { "op": "cond_select", "bit": 445, "a": 503, "b": 9 },
+    { "op": "declare_pub_input", "var": 506 },
+    { "op": "pi_skip", "guard": 445, "count": 4 },
+    { "op": "cond_select", "bit": 445, "a": 300, "b": 9 },
+    { "op": "declare_pub_input", "var": 507 },
+    { "op": "pi_skip", "guard": 445, "count": 1 },
+    { "op": "cond_select", "bit": 445, "a": 301, "b": 9 },
+    { "op": "declare_pub_input", "var": 508 },
+    { "op": "declare_pub_input", "var": 445 },
+    { "op": "declare_pub_input", "var": 445 },
+    { "op": "cond_select", "bit": 445, "a": 43, "b": 9 },
+    { "op": "declare_pub_input", "var": 509 },
+    { "op": "pi_skip", "guard": 445, "count": 4 },
+    { "op": "public_input", "guard": 445 },
+    { "op": "public_input", "guard": 445 },
+    { "op": "cond_select", "bit": 445, "a": 124, "b": 9 },
+    { "op": "declare_pub_input", "var": 512 },
+    { "op": "declare_pub_input", "var": 445 },
+    { "op": "cond_select", "bit": 445, "a": 7, "b": 9 },
+    { "op": "declare_pub_input", "var": 513 },
+    { "op": "cond_select", "bit": 445, "a": 510, "b": 9 },
+    { "op": "declare_pub_input", "var": 514 },
+    { "op": "cond_select", "bit": 445, "a": 511, "b": 9 },
+    { "op": "declare_pub_input", "var": 515 },
+    { "op": "pi_skip", "guard": 445, "count": 5 },
+    { "op": "cond_select", "bit": 445, "a": 321, "b": 9 },
+    { "op": "declare_pub_input", "var": 516 },
+    { "op": "pi_skip", "guard": 445, "count": 1 },
+    { "op": "cond_select", "bit": 445, "a": 323, "b": 9 },
+    { "op": "declare_pub_input", "var": 517 },
+    { "op": "declare_pub_input", "var": 445 },
+    { "op": "declare_pub_input", "var": 445 },
+    { "op": "cond_select", "bit": 445, "a": 79, "b": 9 },
+    { "op": "declare_pub_input", "var": 518 },
+    { "op": "pi_skip", "guard": 445, "count": 4 },
+    { "op": "cond_select", "bit": 445, "a": 160, "b": 9 },
+    { "op": "declare_pub_input", "var": 519 },
+    { "op": "declare_pub_input", "var": 445 },
+    { "op": "cond_select", "bit": 445, "a": 43, "b": 9 },
+    { "op": "declare_pub_input", "var": 520 },
+    { "op": "declare_pub_input", "var": 445 },
+    { "op": "cond_select", "bit": 445, "a": 7, "b": 9 },
+    { "op": "declare_pub_input", "var": 521 },
+    { "op": "cond_select", "bit": 445, "a": 7, "b": 9 },
+    { "op": "declare_pub_input", "var": 522 },
+    { "op": "declare_pub_input", "var": 445 },
+    { "op": "cond_select", "bit": 445, "a": 494, "b": 9 },
+    { "op": "declare_pub_input", "var": 523 },
+    { "op": "cond_select", "bit": 445, "a": 495, "b": 9 },
+    { "op": "declare_pub_input", "var": 524 },
+    { "op": "cond_select", "bit": 445, "a": 9, "b": 9 },
+    { "op": "declare_pub_input", "var": 525 },
+    { "op": "cond_select", "bit": 445, "a": 9, "b": 9 },
+    { "op": "declare_pub_input", "var": 526 },
+    { "op": "pi_skip", "guard": 445, "count": 11 },
+    { "op": "cond_select", "bit": 445, "a": 334, "b": 9 },
+    { "op": "declare_pub_input", "var": 527 },
+    { "op": "pi_skip", "guard": 445, "count": 1 },
+    { "op": "cond_select", "bit": 445, "a": 334, "b": 9 },
+    { "op": "declare_pub_input", "var": 528 },
+    { "op": "pi_skip", "guard": 445, "count": 1 },
+    { "op": "cond_select", "bit": 445, "a": 232, "b": 9 },
+    { "op": "declare_pub_input", "var": 529 },
+    { "op": "pi_skip", "guard": 445, "count": 1 },
+    { "op": "cond_select", "bit": 445, "a": 160, "b": 9 },
+    { "op": "declare_pub_input", "var": 530 },
+    { "op": "declare_pub_input", "var": 445 },
+    { "op": "declare_pub_input", "var": 445 },
+    { "op": "cond_select", "bit": 445, "a": 160, "b": 9 },
+    { "op": "declare_pub_input", "var": 531 },
+    { "op": "cond_select", "bit": 445, "a": 503, "b": 9 },
+    { "op": "declare_pub_input", "var": 532 },
+    { "op": "pi_skip", "guard": 445, "count": 5 },
+    { "op": "cond_select", "bit": 445, "a": 321, "b": 9 },
+    { "op": "declare_pub_input", "var": 533 },
+    { "op": "pi_skip", "guard": 445, "count": 1 },
+    { "op": "cond_select", "bit": 445, "a": 88, "b": 9 },
+    { "op": "declare_pub_input", "var": 534 },
+    { "op": "pi_skip", "guard": 445, "count": 1 },
+    { "op": "cond_select", "bit": 445, "a": 178, "b": 9 },
+    { "op": "declare_pub_input", "var": 535 },
+    { "op": "cond_select", "bit": 445, "a": 52, "b": 9 },
+    { "op": "declare_pub_input", "var": 536 },
+    { "op": "pi_skip", "guard": 445, "count": 2 },
+    { "op": "cond_select", "bit": 445, "a": 345, "b": 9 },
+    { "op": "declare_pub_input", "var": 537 },
+    { "op": "pi_skip", "guard": 445, "count": 1 },
+    { "op": "cond_select", "bit": 445, "a": 345, "b": 9 },
+    { "op": "declare_pub_input", "var": 538 },
+    { "op": "pi_skip", "guard": 445, "count": 1 },
+    { "op": "cond_select", "bit": 445, "a": 348, "b": 9 },
+    { "op": "declare_pub_input", "var": 539 },
+    { "op": "cond_select", "bit": 445, "a": 349, "b": 9 },
+    { "op": "declare_pub_input", "var": 540 },
+    { "op": "pi_skip", "guard": 445, "count": 2 },
+    { "op": "cond_select", "bit": 445, "a": 196, "b": 9 },
+    { "op": "declare_pub_input", "var": 541 },
+    { "op": "pi_skip", "guard": 445, "count": 1 },
+    { "op": "cond_select", "bit": 445, "a": 353, "b": 9 },
+    { "op": "declare_pub_input", "var": 542 },
+    { "op": "pi_skip", "guard": 445, "count": 1 },
+    { "op": "cond_select", "bit": 445, "a": 321, "b": 9 },
+    { "op": "declare_pub_input", "var": 543 },
+    { "op": "pi_skip", "guard": 445, "count": 1 },
+    { "op": "cond_select", "bit": 445, "a": 321, "b": 9 },
+    { "op": "declare_pub_input", "var": 544 },
+    { "op": "pi_skip", "guard": 445, "count": 1 },
+    { "op": "cond_select", "bit": 445, "a": 323, "b": 9 },
+    { "op": "declare_pub_input", "var": 545 },
+    { "op": "declare_pub_input", "var": 445 },
+    { "op": "declare_pub_input", "var": 445 },
+    { "op": "cond_select", "bit": 445, "a": 88, "b": 9 },
+    { "op": "declare_pub_input", "var": 546 },
+    { "op": "pi_skip", "guard": 445, "count": 4 },
+    { "op": "cond_select", "bit": 445, "a": 160, "b": 9 },
+    { "op": "declare_pub_input", "var": 547 },
+    { "op": "declare_pub_input", "var": 445 },
+    { "op": "cond_select", "bit": 445, "a": 70, "b": 9 },
+    { "op": "declare_pub_input", "var": 548 },
+    { "op": "declare_pub_input", "var": 445 },
+    { "op": "cond_select", "bit": 445, "a": 7, "b": 9 },
+    { "op": "declare_pub_input", "var": 549 },
+    { "op": "cond_select", "bit": 445, "a": 7, "b": 9 },
+    { "op": "declare_pub_input", "var": 550 },
+    { "op": "declare_pub_input", "var": 445 },
+    { "op": "cond_select", "bit": 445, "a": 7, "b": 9 },
+    { "op": "declare_pub_input", "var": 551 },
+    { "op": "cond_select", "bit": 445, "a": 7, "b": 9 },
+    { "op": "declare_pub_input", "var": 552 },
+    { "op": "declare_pub_input", "var": 445 },
+    { "op": "cond_select", "bit": 445, "a": 494, "b": 9 },
+    { "op": "declare_pub_input", "var": 553 },
+    { "op": "cond_select", "bit": 445, "a": 495, "b": 9 },
+    { "op": "declare_pub_input", "var": 554 },
+    { "op": "cond_select", "bit": 445, "a": 9, "b": 9 },
+    { "op": "declare_pub_input", "var": 555 },
+    { "op": "cond_select", "bit": 445, "a": 9, "b": 9 },
+    { "op": "declare_pub_input", "var": 556 },
+    { "op": "cond_select", "bit": 445, "a": 9, "b": 9 },
+    { "op": "declare_pub_input", "var": 557 },
+    { "op": "cond_select", "bit": 445, "a": 9, "b": 9 },
+    { "op": "declare_pub_input", "var": 558 },
+    { "op": "cond_select", "bit": 445, "a": 9, "b": 9 },
+    { "op": "declare_pub_input", "var": 559 },
+    { "op": "cond_select", "bit": 445, "a": 510, "b": 9 },
+    { "op": "declare_pub_input", "var": 560 },
+    { "op": "cond_select", "bit": 445, "a": 511, "b": 9 },
+    { "op": "declare_pub_input", "var": 561 },
+    { "op": "pi_skip", "guard": 445, "count": 19 },
+    { "op": "cond_select", "bit": 445, "a": 334, "b": 9 },
+    { "op": "declare_pub_input", "var": 562 },
+    { "op": "pi_skip", "guard": 445, "count": 1 },
+    { "op": "cond_select", "bit": 445, "a": 334, "b": 9 },
+    { "op": "declare_pub_input", "var": 563 },
+    { "op": "pi_skip", "guard": 445, "count": 1 },
+    { "op": "cond_select", "bit": 445, "a": 232, "b": 9 },
+    { "op": "declare_pub_input", "var": 564 },
+    { "op": "pi_skip", "guard": 445, "count": 1 },
+    { "op": "cond_select", "bit": 445, "a": 160, "b": 9 },
+    { "op": "declare_pub_input", "var": 565 },
+    { "op": "declare_pub_input", "var": 445 },
+    { "op": "declare_pub_input", "var": 445 },
+    { "op": "cond_select", "bit": 445, "a": 160, "b": 9 },
+    { "op": "declare_pub_input", "var": 566 },
+    { "op": "cond_select", "bit": 445, "a": 503, "b": 9 },
+    { "op": "declare_pub_input", "var": 567 },
+    { "op": "pi_skip", "guard": 445, "count": 5 },
+    { "op": "cond_select", "bit": 445, "a": 321, "b": 9 },
+    { "op": "declare_pub_input", "var": 568 },
+    { "op": "pi_skip", "guard": 445, "count": 1 },
+    { "op": "cond_select", "bit": 445, "a": 88, "b": 9 },
+    { "op": "declare_pub_input", "var": 569 },
+    { "op": "pi_skip", "guard": 445, "count": 1 },
+    { "op": "cond_select", "bit": 445, "a": 178, "b": 9 },
+    { "op": "declare_pub_input", "var": 570 },
+    { "op": "cond_select", "bit": 445, "a": 52, "b": 9 },
+    { "op": "declare_pub_input", "var": 571 },
+    { "op": "pi_skip", "guard": 445, "count": 2 },
+    { "op": "cond_select", "bit": 445, "a": 345, "b": 9 },
+    { "op": "declare_pub_input", "var": 572 },
+    { "op": "pi_skip", "guard": 445, "count": 1 },
+    { "op": "cond_select", "bit": 445, "a": 345, "b": 9 },
+    { "op": "declare_pub_input", "var": 573 },
+    { "op": "pi_skip", "guard": 445, "count": 1 },
+    { "op": "cond_select", "bit": 445, "a": 348, "b": 9 },
+    { "op": "declare_pub_input", "var": 574 },
+    { "op": "cond_select", "bit": 445, "a": 349, "b": 9 },
+    { "op": "declare_pub_input", "var": 575 },
+    { "op": "pi_skip", "guard": 445, "count": 2 },
+    { "op": "cond_select", "bit": 445, "a": 196, "b": 9 },
+    { "op": "declare_pub_input", "var": 576 },
+    { "op": "pi_skip", "guard": 445, "count": 1 },
+    { "op": "cond_select", "bit": 445, "a": 353, "b": 9 },
+    { "op": "declare_pub_input", "var": 577 },
+    { "op": "pi_skip", "guard": 445, "count": 1 },
+    { "op": "cond_select", "bit": 445, "a": 321, "b": 9 },
+    { "op": "declare_pub_input", "var": 578 },
+    { "op": "pi_skip", "guard": 445, "count": 1 },
+    { "op": "cond_select", "bit": 446, "a": 300, "b": 9 },
+    { "op": "declare_pub_input", "var": 579 },
+    { "op": "pi_skip", "guard": 446, "count": 1 },
+    { "op": "cond_select", "bit": 446, "a": 301, "b": 9 },
+    { "op": "declare_pub_input", "var": 580 },
+    { "op": "declare_pub_input", "var": 446 },
+    { "op": "declare_pub_input", "var": 446 },
+    { "op": "cond_select", "bit": 446, "a": 88, "b": 9 },
+    { "op": "declare_pub_input", "var": 581 },
+    { "op": "pi_skip", "guard": 446, "count": 4 },
+    { "op": "public_input", "guard": 446 },
+    { "op": "public_input", "guard": 446 },
+    { "op": "cond_select", "bit": 446, "a": 124, "b": 9 },
+    { "op": "declare_pub_input", "var": 584 },
+    { "op": "declare_pub_input", "var": 446 },
+    { "op": "cond_select", "bit": 446, "a": 7, "b": 9 },
+    { "op": "declare_pub_input", "var": 585 },
+    { "op": "cond_select", "bit": 446, "a": 582, "b": 9 },
+    { "op": "declare_pub_input", "var": 586 },
+    { "op": "cond_select", "bit": 446, "a": 583, "b": 9 },
+    { "op": "declare_pub_input", "var": 587 },
+    { "op": "pi_skip", "guard": 446, "count": 5 },
+    { "op": "cond_select", "bit": 446, "a": 300, "b": 9 },
+    { "op": "declare_pub_input", "var": 588 },
+    { "op": "pi_skip", "guard": 446, "count": 1 },
+    { "op": "cond_select", "bit": 446, "a": 301, "b": 9 },
+    { "op": "declare_pub_input", "var": 589 },
+    { "op": "declare_pub_input", "var": 446 },
+    { "op": "declare_pub_input", "var": 446 },
+    { "op": "cond_select", "bit": 446, "a": 115, "b": 9 },
+    { "op": "declare_pub_input", "var": 590 },
+    { "op": "pi_skip", "guard": 446, "count": 4 },
+    { "op": "public_input", "guard": 446 },
+    { "op": "cond_select", "bit": 446, "a": 124, "b": 9 },
+    { "op": "declare_pub_input", "var": 592 },
+    { "op": "declare_pub_input", "var": 446 },
+    { "op": "cond_select", "bit": 446, "a": 160, "b": 9 },
+    { "op": "declare_pub_input", "var": 593 },
+    { "op": "cond_select", "bit": 446, "a": 591, "b": 9 },
+    { "op": "declare_pub_input", "var": 594 },
+    { "op": "pi_skip", "guard": 446, "count": 4 },
+    { "op": "cond_select", "bit": 446, "a": 321, "b": 9 },
+    { "op": "declare_pub_input", "var": 595 },
+    { "op": "pi_skip", "guard": 446, "count": 1 },
+    { "op": "cond_select", "bit": 446, "a": 323, "b": 9 },
+    { "op": "declare_pub_input", "var": 596 },
+    { "op": "declare_pub_input", "var": 446 },
+    { "op": "declare_pub_input", "var": 446 },
+    { "op": "cond_select", "bit": 446, "a": 70, "b": 9 },
+    { "op": "declare_pub_input", "var": 597 },
+    { "op": "pi_skip", "guard": 446, "count": 4 },
+    { "op": "cond_select", "bit": 446, "a": 160, "b": 9 },
+    { "op": "declare_pub_input", "var": 598 },
+    { "op": "declare_pub_input", "var": 446 },
+    { "op": "cond_select", "bit": 446, "a": 43, "b": 9 },
+    { "op": "declare_pub_input", "var": 599 },
+    { "op": "declare_pub_input", "var": 446 },
+    { "op": "cond_select", "bit": 446, "a": 7, "b": 9 },
+    { "op": "declare_pub_input", "var": 600 },
+    { "op": "cond_select", "bit": 446, "a": 7, "b": 9 },
+    { "op": "declare_pub_input", "var": 601 },
+    { "op": "declare_pub_input", "var": 446 },
+    { "op": "cond_select", "bit": 446, "a": 582, "b": 9 },
+    { "op": "declare_pub_input", "var": 602 },
+    { "op": "cond_select", "bit": 446, "a": 583, "b": 9 },
+    { "op": "declare_pub_input", "var": 603 },
+    { "op": "cond_select", "bit": 446, "a": 9, "b": 9 },
+    { "op": "declare_pub_input", "var": 604 },
+    { "op": "cond_select", "bit": 446, "a": 9, "b": 9 },
+    { "op": "declare_pub_input", "var": 605 },
+    { "op": "pi_skip", "guard": 446, "count": 11 },
+    { "op": "cond_select", "bit": 446, "a": 334, "b": 9 },
+    { "op": "declare_pub_input", "var": 606 },
+    { "op": "pi_skip", "guard": 446, "count": 1 },
+    { "op": "cond_select", "bit": 446, "a": 334, "b": 9 },
+    { "op": "declare_pub_input", "var": 607 },
+    { "op": "pi_skip", "guard": 446, "count": 1 },
+    { "op": "cond_select", "bit": 446, "a": 232, "b": 9 },
+    { "op": "declare_pub_input", "var": 608 },
+    { "op": "pi_skip", "guard": 446, "count": 1 },
+    { "op": "cond_select", "bit": 446, "a": 160, "b": 9 },
+    { "op": "declare_pub_input", "var": 609 },
+    { "op": "declare_pub_input", "var": 446 },
+    { "op": "declare_pub_input", "var": 446 },
+    { "op": "cond_select", "bit": 446, "a": 160, "b": 9 },
+    { "op": "declare_pub_input", "var": 610 },
+    { "op": "cond_select", "bit": 446, "a": 591, "b": 9 },
+    { "op": "declare_pub_input", "var": 611 },
+    { "op": "pi_skip", "guard": 446, "count": 5 },
+    { "op": "cond_select", "bit": 446, "a": 321, "b": 9 },
+    { "op": "declare_pub_input", "var": 612 },
+    { "op": "pi_skip", "guard": 446, "count": 1 },
+    { "op": "cond_select", "bit": 446, "a": 88, "b": 9 },
+    { "op": "declare_pub_input", "var": 613 },
+    { "op": "pi_skip", "guard": 446, "count": 1 },
+    { "op": "cond_select", "bit": 446, "a": 178, "b": 9 },
+    { "op": "declare_pub_input", "var": 614 },
+    { "op": "cond_select", "bit": 446, "a": 52, "b": 9 },
+    { "op": "declare_pub_input", "var": 615 },
+    { "op": "pi_skip", "guard": 446, "count": 2 },
+    { "op": "cond_select", "bit": 446, "a": 345, "b": 9 },
+    { "op": "declare_pub_input", "var": 616 },
+    { "op": "pi_skip", "guard": 446, "count": 1 },
+    { "op": "cond_select", "bit": 446, "a": 345, "b": 9 },
+    { "op": "declare_pub_input", "var": 617 },
+    { "op": "pi_skip", "guard": 446, "count": 1 },
+    { "op": "cond_select", "bit": 446, "a": 348, "b": 9 },
+    { "op": "declare_pub_input", "var": 618 },
+    { "op": "cond_select", "bit": 446, "a": 349, "b": 9 },
+    { "op": "declare_pub_input", "var": 619 },
+    { "op": "pi_skip", "guard": 446, "count": 2 },
+    { "op": "cond_select", "bit": 446, "a": 196, "b": 9 },
+    { "op": "declare_pub_input", "var": 620 },
+    { "op": "pi_skip", "guard": 446, "count": 1 },
+    { "op": "cond_select", "bit": 446, "a": 353, "b": 9 },
+    { "op": "declare_pub_input", "var": 621 },
+    { "op": "pi_skip", "guard": 446, "count": 1 },
+    { "op": "cond_select", "bit": 446, "a": 321, "b": 9 },
+    { "op": "declare_pub_input", "var": 622 },
+    { "op": "pi_skip", "guard": 446, "count": 1 },
+    { "op": "cond_select", "bit": 446, "a": 300, "b": 9 },
+    { "op": "declare_pub_input", "var": 623 },
+    { "op": "pi_skip", "guard": 446, "count": 1 },
+    { "op": "cond_select", "bit": 446, "a": 301, "b": 9 },
+    { "op": "declare_pub_input", "var": 624 },
+    { "op": "declare_pub_input", "var": 446 },
+    { "op": "declare_pub_input", "var": 446 },
+    { "op": "cond_select", "bit": 446, "a": 88, "b": 9 },
+    { "op": "declare_pub_input", "var": 625 },
+    { "op": "pi_skip", "guard": 446, "count": 4 },
+    { "op": "public_input", "guard": 446 },
+    { "op": "public_input", "guard": 446 },
+    { "op": "cond_select", "bit": 446, "a": 124, "b": 9 },
+    { "op": "declare_pub_input", "var": 628 },
+    { "op": "declare_pub_input", "var": 446 },
+    { "op": "cond_select", "bit": 446, "a": 7, "b": 9 },
+    { "op": "declare_pub_input", "var": 629 },
+    { "op": "cond_select", "bit": 446, "a": 626, "b": 9 },
+    { "op": "declare_pub_input", "var": 630 },
+    { "op": "cond_select", "bit": 446, "a": 627, "b": 9 },
+    { "op": "declare_pub_input", "var": 631 },
+    { "op": "pi_skip", "guard": 446, "count": 5 },
+    { "op": "cond_select", "bit": 446, "a": 300, "b": 9 },
+    { "op": "declare_pub_input", "var": 632 },
+    { "op": "pi_skip", "guard": 446, "count": 1 },
+    { "op": "cond_select", "bit": 446, "a": 301, "b": 9 },
+    { "op": "declare_pub_input", "var": 633 },
+    { "op": "declare_pub_input", "var": 446 },
+    { "op": "declare_pub_input", "var": 446 },
+    { "op": "cond_select", "bit": 446, "a": 115, "b": 9 },
+    { "op": "declare_pub_input", "var": 634 },
+    { "op": "pi_skip", "guard": 446, "count": 4 },
+    { "op": "public_input", "guard": 446 },
+    { "op": "cond_select", "bit": 446, "a": 124, "b": 9 },
+    { "op": "declare_pub_input", "var": 636 },
+    { "op": "declare_pub_input", "var": 446 },
+    { "op": "cond_select", "bit": 446, "a": 160, "b": 9 },
+    { "op": "declare_pub_input", "var": 637 },
+    { "op": "cond_select", "bit": 446, "a": 635, "b": 9 },
+    { "op": "declare_pub_input", "var": 638 },
+    { "op": "pi_skip", "guard": 446, "count": 4 },
+    { "op": "cond_select", "bit": 446, "a": 300, "b": 9 },
+    { "op": "declare_pub_input", "var": 639 },
+    { "op": "pi_skip", "guard": 446, "count": 1 },
+    { "op": "cond_select", "bit": 446, "a": 301, "b": 9 },
+    { "op": "declare_pub_input", "var": 640 },
+    { "op": "declare_pub_input", "var": 446 },
+    { "op": "declare_pub_input", "var": 446 },
+    { "op": "cond_select", "bit": 446, "a": 43, "b": 9 },
+    { "op": "declare_pub_input", "var": 641 },
+    { "op": "pi_skip", "guard": 446, "count": 4 },
+    { "op": "public_input", "guard": 446 },
+    { "op": "public_input", "guard": 446 },
+    { "op": "cond_select", "bit": 446, "a": 124, "b": 9 },
+    { "op": "declare_pub_input", "var": 644 },
+    { "op": "declare_pub_input", "var": 446 },
+    { "op": "cond_select", "bit": 446, "a": 7, "b": 9 },
+    { "op": "declare_pub_input", "var": 645 },
+    { "op": "cond_select", "bit": 446, "a": 642, "b": 9 },
+    { "op": "declare_pub_input", "var": 646 },
+    { "op": "cond_select", "bit": 446, "a": 643, "b": 9 },
+    { "op": "declare_pub_input", "var": 647 },
+    { "op": "pi_skip", "guard": 446, "count": 5 },
+    { "op": "cond_select", "bit": 446, "a": 321, "b": 9 },
+    { "op": "declare_pub_input", "var": 648 },
+    { "op": "pi_skip", "guard": 446, "count": 1 },
+    { "op": "cond_select", "bit": 446, "a": 323, "b": 9 },
+    { "op": "declare_pub_input", "var": 649 },
+    { "op": "declare_pub_input", "var": 446 },
+    { "op": "declare_pub_input", "var": 446 },
+    { "op": "cond_select", "bit": 446, "a": 79, "b": 9 },
+    { "op": "declare_pub_input", "var": 650 },
+    { "op": "pi_skip", "guard": 446, "count": 4 },
+    { "op": "cond_select", "bit": 446, "a": 160, "b": 9 },
+    { "op": "declare_pub_input", "var": 651 },
+    { "op": "declare_pub_input", "var": 446 },
+    { "op": "cond_select", "bit": 446, "a": 43, "b": 9 },
+    { "op": "declare_pub_input", "var": 652 },
+    { "op": "declare_pub_input", "var": 446 },
+    { "op": "cond_select", "bit": 446, "a": 7, "b": 9 },
+    { "op": "declare_pub_input", "var": 653 },
+    { "op": "cond_select", "bit": 446, "a": 7, "b": 9 },
+    { "op": "declare_pub_input", "var": 654 },
+    { "op": "declare_pub_input", "var": 446 },
+    { "op": "cond_select", "bit": 446, "a": 626, "b": 9 },
+    { "op": "declare_pub_input", "var": 655 },
+    { "op": "cond_select", "bit": 446, "a": 627, "b": 9 },
+    { "op": "declare_pub_input", "var": 656 },
+    { "op": "cond_select", "bit": 446, "a": 9, "b": 9 },
+    { "op": "declare_pub_input", "var": 657 },
+    { "op": "cond_select", "bit": 446, "a": 9, "b": 9 },
+    { "op": "declare_pub_input", "var": 658 },
+    { "op": "pi_skip", "guard": 446, "count": 11 },
+    { "op": "cond_select", "bit": 446, "a": 334, "b": 9 },
+    { "op": "declare_pub_input", "var": 659 },
+    { "op": "pi_skip", "guard": 446, "count": 1 },
+    { "op": "cond_select", "bit": 446, "a": 334, "b": 9 },
+    { "op": "declare_pub_input", "var": 660 },
+    { "op": "pi_skip", "guard": 446, "count": 1 },
+    { "op": "cond_select", "bit": 446, "a": 232, "b": 9 },
+    { "op": "declare_pub_input", "var": 661 },
+    { "op": "pi_skip", "guard": 446, "count": 1 },
+    { "op": "cond_select", "bit": 446, "a": 160, "b": 9 },
+    { "op": "declare_pub_input", "var": 662 },
+    { "op": "declare_pub_input", "var": 446 },
+    { "op": "declare_pub_input", "var": 446 },
+    { "op": "cond_select", "bit": 446, "a": 160, "b": 9 },
+    { "op": "declare_pub_input", "var": 663 },
+    { "op": "cond_select", "bit": 446, "a": 635, "b": 9 },
+    { "op": "declare_pub_input", "var": 664 },
+    { "op": "pi_skip", "guard": 446, "count": 5 },
+    { "op": "cond_select", "bit": 446, "a": 321, "b": 9 },
+    { "op": "declare_pub_input", "var": 665 },
+    { "op": "pi_skip", "guard": 446, "count": 1 },
+    { "op": "cond_select", "bit": 446, "a": 88, "b": 9 },
+    { "op": "declare_pub_input", "var": 666 },
+    { "op": "pi_skip", "guard": 446, "count": 1 },
+    { "op": "cond_select", "bit": 446, "a": 178, "b": 9 },
+    { "op": "declare_pub_input", "var": 667 },
+    { "op": "cond_select", "bit": 446, "a": 52, "b": 9 },
+    { "op": "declare_pub_input", "var": 668 },
+    { "op": "pi_skip", "guard": 446, "count": 2 },
+    { "op": "cond_select", "bit": 446, "a": 345, "b": 9 },
+    { "op": "declare_pub_input", "var": 669 },
+    { "op": "pi_skip", "guard": 446, "count": 1 },
+    { "op": "cond_select", "bit": 446, "a": 345, "b": 9 },
+    { "op": "declare_pub_input", "var": 670 },
+    { "op": "pi_skip", "guard": 446, "count": 1 },
+    { "op": "cond_select", "bit": 446, "a": 348, "b": 9 },
+    { "op": "declare_pub_input", "var": 671 },
+    { "op": "cond_select", "bit": 446, "a": 349, "b": 9 },
+    { "op": "declare_pub_input", "var": 672 },
+    { "op": "pi_skip", "guard": 446, "count": 2 },
+    { "op": "cond_select", "bit": 446, "a": 196, "b": 9 },
+    { "op": "declare_pub_input", "var": 673 },
+    { "op": "pi_skip", "guard": 446, "count": 1 },
+    { "op": "cond_select", "bit": 446, "a": 353, "b": 9 },
+    { "op": "declare_pub_input", "var": 674 },
+    { "op": "pi_skip", "guard": 446, "count": 1 },
+    { "op": "cond_select", "bit": 446, "a": 321, "b": 9 },
+    { "op": "declare_pub_input", "var": 675 },
+    { "op": "pi_skip", "guard": 446, "count": 1 },
+    { "op": "cond_select", "bit": 446, "a": 321, "b": 9 },
+    { "op": "declare_pub_input", "var": 676 },
+    { "op": "pi_skip", "guard": 446, "count": 1 },
+    { "op": "cond_select", "bit": 446, "a": 323, "b": 9 },
+    { "op": "declare_pub_input", "var": 677 },
+    { "op": "declare_pub_input", "var": 446 },
+    { "op": "declare_pub_input", "var": 446 },
+    { "op": "cond_select", "bit": 446, "a": 88, "b": 9 },
+    { "op": "declare_pub_input", "var": 678 },
+    { "op": "pi_skip", "guard": 446, "count": 4 },
+    { "op": "cond_select", "bit": 446, "a": 160, "b": 9 },
+    { "op": "declare_pub_input", "var": 679 },
+    { "op": "declare_pub_input", "var": 446 },
+    { "op": "cond_select", "bit": 446, "a": 70, "b": 9 },
+    { "op": "declare_pub_input", "var": 680 },
+    { "op": "declare_pub_input", "var": 446 },
+    { "op": "cond_select", "bit": 446, "a": 7, "b": 9 },
+    { "op": "declare_pub_input", "var": 681 },
+    { "op": "cond_select", "bit": 446, "a": 7, "b": 9 },
+    { "op": "declare_pub_input", "var": 682 },
+    { "op": "declare_pub_input", "var": 446 },
+    { "op": "cond_select", "bit": 446, "a": 7, "b": 9 },
+    { "op": "declare_pub_input", "var": 683 },
+    { "op": "cond_select", "bit": 446, "a": 7, "b": 9 },
+    { "op": "declare_pub_input", "var": 684 },
+    { "op": "declare_pub_input", "var": 446 },
+    { "op": "cond_select", "bit": 446, "a": 626, "b": 9 },
+    { "op": "declare_pub_input", "var": 685 },
+    { "op": "cond_select", "bit": 446, "a": 627, "b": 9 },
+    { "op": "declare_pub_input", "var": 686 },
+    { "op": "cond_select", "bit": 446, "a": 9, "b": 9 },
+    { "op": "declare_pub_input", "var": 687 },
+    { "op": "cond_select", "bit": 446, "a": 9, "b": 9 },
+    { "op": "declare_pub_input", "var": 688 },
+    { "op": "cond_select", "bit": 446, "a": 9, "b": 9 },
+    { "op": "declare_pub_input", "var": 689 },
+    { "op": "cond_select", "bit": 446, "a": 9, "b": 9 },
+    { "op": "declare_pub_input", "var": 690 },
+    { "op": "cond_select", "bit": 446, "a": 9, "b": 9 },
+    { "op": "declare_pub_input", "var": 691 },
+    { "op": "cond_select", "bit": 446, "a": 642, "b": 9 },
+    { "op": "declare_pub_input", "var": 692 },
+    { "op": "cond_select", "bit": 446, "a": 643, "b": 9 },
+    { "op": "declare_pub_input", "var": 693 },
+    { "op": "pi_skip", "guard": 446, "count": 19 },
+    { "op": "cond_select", "bit": 446, "a": 334, "b": 9 },
+    { "op": "declare_pub_input", "var": 694 },
+    { "op": "pi_skip", "guard": 446, "count": 1 },
+    { "op": "cond_select", "bit": 446, "a": 334, "b": 9 },
+    { "op": "declare_pub_input", "var": 695 },
+    { "op": "pi_skip", "guard": 446, "count": 1 },
+    { "op": "cond_select", "bit": 446, "a": 232, "b": 9 },
+    { "op": "declare_pub_input", "var": 696 },
+    { "op": "pi_skip", "guard": 446, "count": 1 },
+    { "op": "cond_select", "bit": 446, "a": 160, "b": 9 },
+    { "op": "declare_pub_input", "var": 697 },
+    { "op": "declare_pub_input", "var": 446 },
+    { "op": "declare_pub_input", "var": 446 },
+    { "op": "cond_select", "bit": 446, "a": 160, "b": 9 },
+    { "op": "declare_pub_input", "var": 698 },
+    { "op": "cond_select", "bit": 446, "a": 635, "b": 9 },
+    { "op": "declare_pub_input", "var": 699 },
+    { "op": "pi_skip", "guard": 446, "count": 5 },
+    { "op": "cond_select", "bit": 446, "a": 321, "b": 9 },
+    { "op": "declare_pub_input", "var": 700 },
+    { "op": "pi_skip", "guard": 446, "count": 1 },
+    { "op": "cond_select", "bit": 446, "a": 88, "b": 9 },
+    { "op": "declare_pub_input", "var": 701 },
+    { "op": "pi_skip", "guard": 446, "count": 1 },
+    { "op": "cond_select", "bit": 446, "a": 178, "b": 9 },
+    { "op": "declare_pub_input", "var": 702 },
+    { "op": "cond_select", "bit": 446, "a": 52, "b": 9 },
+    { "op": "declare_pub_input", "var": 703 },
+    { "op": "pi_skip", "guard": 446, "count": 2 },
+    { "op": "cond_select", "bit": 446, "a": 345, "b": 9 },
+    { "op": "declare_pub_input", "var": 704 },
+    { "op": "pi_skip", "guard": 446, "count": 1 },
+    { "op": "cond_select", "bit": 446, "a": 345, "b": 9 },
+    { "op": "declare_pub_input", "var": 705 },
+    { "op": "pi_skip", "guard": 446, "count": 1 },
+    { "op": "cond_select", "bit": 446, "a": 348, "b": 9 },
+    { "op": "declare_pub_input", "var": 706 },
+    { "op": "cond_select", "bit": 446, "a": 349, "b": 9 },
+    { "op": "declare_pub_input", "var": 707 },
+    { "op": "pi_skip", "guard": 446, "count": 2 },
+    { "op": "cond_select", "bit": 446, "a": 196, "b": 9 },
+    { "op": "declare_pub_input", "var": 708 },
+    { "op": "pi_skip", "guard": 446, "count": 1 },
+    { "op": "cond_select", "bit": 446, "a": 353, "b": 9 },
+    { "op": "declare_pub_input", "var": 709 },
+    { "op": "pi_skip", "guard": 446, "count": 1 },
+    { "op": "cond_select", "bit": 446, "a": 321, "b": 9 },
+    { "op": "declare_pub_input", "var": 710 },
+    { "op": "pi_skip", "guard": 446, "count": 1 },
+    { "op": "load_imm", "imm": "70" },
+    { "op": "declare_pub_input", "var": 711 },
+    { "op": "declare_pub_input", "var": 10 },
+    { "op": "declare_pub_input", "var": 10 },
+    { "op": "declare_pub_input", "var": 61 },
+    { "op": "pi_skip", "guard": 10, "count": 4 },
+    { "op": "declare_pub_input", "var": 160 },
+    { "op": "declare_pub_input", "var": 10 },
+    { "op": "declare_pub_input", "var": 10 },
+    { "op": "declare_pub_input", "var": 7 },
+    { "op": "declare_pub_input", "var": 2 },
+    { "op": "declare_pub_input", "var": 3 },
+    { "op": "pi_skip", "guard": 10, "count": 6 },
+    { "op": "declare_pub_input", "var": 169 },
+    { "op": "declare_pub_input", "var": 10 },
+    { "op": "declare_pub_input", "var": 34 },
+    { "op": "declare_pub_input", "var": 7 },
+    { "op": "declare_pub_input", "var": 7 },
+    { "op": "declare_pub_input", "var": 0 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "declare_pub_input", "var": 5 },
+    { "op": "declare_pub_input", "var": 6 },
+    { "op": "pi_skip", "guard": 10, "count": 9 },
+    { "op": "load_imm", "imm": "91" },
+    { "op": "declare_pub_input", "var": 712 },
+    { "op": "pi_skip", "guard": 10, "count": 1 },
+    { "op": "load_imm", "imm": "A1" },
+    { "op": "declare_pub_input", "var": 713 },
+    { "op": "pi_skip", "guard": 10, "count": 1 },
+    { "op": "declare_pub_input", "var": 300 },
+    { "op": "pi_skip", "guard": 10, "count": 1 },
+    { "op": "declare_pub_input", "var": 301 },
+    { "op": "declare_pub_input", "var": 10 },
+    { "op": "declare_pub_input", "var": 10 },
+    { "op": "declare_pub_input", "var": 70 },
+    { "op": "pi_skip", "guard": 10, "count": 4 },
+    { "op": "declare_pub_input", "var": 160 },
+    { "op": "declare_pub_input", "var": 10 },
+    { "op": "declare_pub_input", "var": 10 },
+    { "op": "declare_pub_input", "var": 7 },
+    { "op": "declare_pub_input", "var": 0 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "pi_skip", "guard": 10, "count": 6 },
+    { "op": "declare_pub_input", "var": 232 },
+    { "op": "pi_skip", "guard": 10, "count": 1 },
+    { "op": "public_input", "guard": null },
+    { "op": "declare_pub_input", "var": 133 },
+    { "op": "declare_pub_input", "var": 10 },
+    { "op": "declare_pub_input", "var": 10 },
+    { "op": "declare_pub_input", "var": 714 },
+    { "op": "pi_skip", "guard": 10, "count": 4 },
+    { "op": "cond_select", "bit": 714, "a": 9, "b": 10 },
+    { "op": "cond_select", "bit": 715, "a": 711, "b": 9 },
+    { "op": "declare_pub_input", "var": 716 },
+    { "op": "declare_pub_input", "var": 715 },
+    { "op": "declare_pub_input", "var": 715 },
+    { "op": "cond_select", "bit": 715, "a": 70, "b": 9 },
+    { "op": "declare_pub_input", "var": 717 },
+    { "op": "pi_skip", "guard": 715, "count": 4 },
+    { "op": "cond_select", "bit": 715, "a": 160, "b": 9 },
+    { "op": "declare_pub_input", "var": 718 },
+    { "op": "declare_pub_input", "var": 715 },
+    { "op": "declare_pub_input", "var": 715 },
+    { "op": "cond_select", "bit": 715, "a": 7, "b": 9 },
+    { "op": "declare_pub_input", "var": 719 },
+    { "op": "cond_select", "bit": 715, "a": 0, "b": 9 },
+    { "op": "declare_pub_input", "var": 720 },
+    { "op": "cond_select", "bit": 715, "a": 1, "b": 9 },
+    { "op": "declare_pub_input", "var": 721 },
+    { "op": "pi_skip", "guard": 715, "count": 6 },
+    { "op": "cond_select", "bit": 715, "a": 169, "b": 9 },
+    { "op": "declare_pub_input", "var": 722 },
+    { "op": "cond_select", "bit": 715, "a": 34, "b": 9 },
+    { "op": "declare_pub_input", "var": 723 },
+    { "op": "pi_skip", "guard": 715, "count": 2 },
+    { "op": "cond_select", "bit": 715, "a": 712, "b": 9 },
+    { "op": "declare_pub_input", "var": 724 },
+    { "op": "pi_skip", "guard": 715, "count": 1 },
+    { "op": "cond_select", "bit": 715, "a": 713, "b": 9 },
+    { "op": "declare_pub_input", "var": 725 },
+    { "op": "pi_skip", "guard": 715, "count": 1 },
+    { "op": "load_imm", "imm": "71" },
+    { "op": "declare_pub_input", "var": 726 },
+    { "op": "declare_pub_input", "var": 10 },
+    { "op": "declare_pub_input", "var": 10 },
+    { "op": "declare_pub_input", "var": 70 },
+    { "op": "declare_pub_input", "var": 10 },
+    { "op": "declare_pub_input", "var": 7 },
+    { "op": "declare_pub_input", "var": 0 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "pi_skip", "guard": 10, "count": 8 },
+    { "op": "declare_pub_input", "var": 160 },
+    { "op": "declare_pub_input", "var": 10 },
+    { "op": "declare_pub_input", "var": 10 },
+    { "op": "declare_pub_input", "var": 7 },
+    { "op": "declare_pub_input", "var": 2 },
+    { "op": "declare_pub_input", "var": 3 },
+    { "op": "pi_skip", "guard": 10, "count": 6 },
+    { "op": "declare_pub_input", "var": 169 },
+    { "op": "declare_pub_input", "var": 9 },
+    { "op": "pi_skip", "guard": 10, "count": 2 },
+    { "op": "declare_pub_input", "var": 712 },
+    { "op": "pi_skip", "guard": 10, "count": 1 },
+    { "op": "declare_pub_input", "var": 353 },
+    { "op": "pi_skip", "guard": 10, "count": 1 }
+  ]
+}