@midnames/sdk 1.0.3 → 1.0.5

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

@@ -1,1456 +0,0 @@
-{
-  "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 }
-  ]
-}