@sig-net/midnight-contract 0.0.1

package/dist/managed/zkir/postRespondBidirectional.zkir

@@ -0,0 +1,666 @@
+{
+  "version": { "major": 2, "minor": 0 },
+  "do_communications_commitment": true,
+  "num_inputs": 13,
+  "instructions": [
+    { "op": "constrain_bits", "var": 0, "bits": 8 },
+    { "op": "constrain_bits", "var": 1, "bits": 248 },
+    { "op": "constrain_bits", "var": 2, "bits": 32 },
+    { "op": "constrain_bits", "var": 3, "bits": 248 },
+    { "op": "constrain_bits", "var": 4, "bits": 248 },
+    { "op": "constrain_bits", "var": 5, "bits": 248 },
+    { "op": "constrain_bits", "var": 6, "bits": 248 },
+    { "op": "constrain_bits", "var": 7, "bits": 8 },
+    { "op": "load_imm", "imm": "01" },
+    { "op": "persistent_hash", "alignment": [{ "tag": "atom", "value": { "tag": "field" } }, { "tag": "atom", "value": { "tag": "field" } }], "inputs": [8, 9] },
+    { "op": "load_imm", "imm": "30" },
+    { "op": "declare_pub_input", "var": 16 },
+    { "op": "pi_skip", "guard": 13, "count": 1 },
+    { "op": "load_imm", "imm": "50" },
+    { "op": "load_imm", "imm": "03" },
+    { "op": "declare_pub_input", "var": 17 },
+    { "op": "declare_pub_input", "var": 13 },
+    { "op": "declare_pub_input", "var": 13 },
+    { "op": "declare_pub_input", "var": 18 },
+    { "op": "pi_skip", "guard": 13, "count": 4 },
+    { "op": "public_input", "guard": null },
+    { "op": "public_input", "guard": null },
+    { "op": "load_imm", "imm": "20" },
+    { "op": "load_imm", "imm": "0C" },
+    { "op": "declare_pub_input", "var": 22 },
+    { "op": "declare_pub_input", "var": 13 },
+    { "op": "declare_pub_input", "var": 21 },
+    { "op": "declare_pub_input", "var": 19 },
+    { "op": "declare_pub_input", "var": 20 },
+    { "op": "pi_skip", "guard": 13, "count": 5 },
+    { "op": "test_eq", "a": 14, "b": 19 },
+    { "op": "test_eq", "a": 15, "b": 20 },
+    { "op": "load_imm", "imm": "00" },
+    { "op": "cond_select", "bit": 23, "a": 24, "b": 25 },
+    { "op": "assert", "cond": 26 },
+    { "op": "persistent_hash", "alignment": [{ "tag": "atom", "value": { "length": 128, "tag": "bytes" } }], "inputs": [2, 3, 4, 5, 6] },
+    { "op": "div_mod_power_of_two", "var": 7, "bits": 248 },
+    { "op": "persistent_hash", "alignment": [{ "tag": "atom", "value": { "length": 32, "tag": "bytes" } }, { "tag": "atom", "value": { "length": 32, "tag": "bytes" } }], "inputs": [27, 28, 29, 30] },
+    { "op": "div_mod_power_of_two", "var": 1, "bits": 0 },
+    { "op": "div_mod_power_of_two", "var": 33, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 1, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 37, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 1, "bits": 16 },
+    { "op": "div_mod_power_of_two", "var": 41, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 1, "bits": 24 },
+    { "op": "div_mod_power_of_two", "var": 45, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 1, "bits": 32 },
+    { "op": "div_mod_power_of_two", "var": 49, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 1, "bits": 40 },
+    { "op": "div_mod_power_of_two", "var": 53, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 1, "bits": 48 },
+    { "op": "div_mod_power_of_two", "var": 57, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 1, "bits": 56 },
+    { "op": "div_mod_power_of_two", "var": 61, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 1, "bits": 64 },
+    { "op": "div_mod_power_of_two", "var": 65, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 1, "bits": 72 },
+    { "op": "div_mod_power_of_two", "var": 69, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 1, "bits": 80 },
+    { "op": "div_mod_power_of_two", "var": 73, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 1, "bits": 88 },
+    { "op": "div_mod_power_of_two", "var": 77, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 1, "bits": 96 },
+    { "op": "div_mod_power_of_two", "var": 81, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 1, "bits": 104 },
+    { "op": "div_mod_power_of_two", "var": 85, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 1, "bits": 112 },
+    { "op": "div_mod_power_of_two", "var": 89, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 1, "bits": 120 },
+    { "op": "div_mod_power_of_two", "var": 93, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 96, "modulus": 92, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 97, "modulus": 88, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 98, "modulus": 84, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 99, "modulus": 80, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 100, "modulus": 76, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 101, "modulus": 72, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 102, "modulus": 68, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 103, "modulus": 64, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 104, "modulus": 60, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 105, "modulus": 56, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 106, "modulus": 52, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 107, "modulus": 48, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 108, "modulus": 44, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 109, "modulus": 40, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 110, "modulus": 36, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 1, "bits": 128 },
+    { "op": "div_mod_power_of_two", "var": 112, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 1, "bits": 136 },
+    { "op": "div_mod_power_of_two", "var": 116, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 1, "bits": 144 },
+    { "op": "div_mod_power_of_two", "var": 120, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 1, "bits": 152 },
+    { "op": "div_mod_power_of_two", "var": 124, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 1, "bits": 160 },
+    { "op": "div_mod_power_of_two", "var": 128, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 1, "bits": 168 },
+    { "op": "div_mod_power_of_two", "var": 132, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 1, "bits": 176 },
+    { "op": "div_mod_power_of_two", "var": 136, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 1, "bits": 184 },
+    { "op": "div_mod_power_of_two", "var": 140, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 1, "bits": 192 },
+    { "op": "div_mod_power_of_two", "var": 144, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 1, "bits": 200 },
+    { "op": "div_mod_power_of_two", "var": 148, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 1, "bits": 208 },
+    { "op": "div_mod_power_of_two", "var": 152, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 1, "bits": 216 },
+    { "op": "div_mod_power_of_two", "var": 156, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 1, "bits": 224 },
+    { "op": "div_mod_power_of_two", "var": 160, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 1, "bits": 232 },
+    { "op": "div_mod_power_of_two", "var": 164, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 1, "bits": 240 },
+    { "op": "div_mod_power_of_two", "var": 168, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 0, "bits": 0 },
+    { "op": "div_mod_power_of_two", "var": 172, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 175, "modulus": 171, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 176, "modulus": 167, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 177, "modulus": 163, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 178, "modulus": 159, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 179, "modulus": 155, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 180, "modulus": 151, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 181, "modulus": 147, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 182, "modulus": 143, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 183, "modulus": 139, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 184, "modulus": 135, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 185, "modulus": 131, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 186, "modulus": 127, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 187, "modulus": 123, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 188, "modulus": 119, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 189, "modulus": 115, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 32, "bits": 0 },
+    { "op": "div_mod_power_of_two", "var": 191, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 32, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 195, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 32, "bits": 16 },
+    { "op": "div_mod_power_of_two", "var": 199, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 32, "bits": 24 },
+    { "op": "div_mod_power_of_two", "var": 203, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 32, "bits": 32 },
+    { "op": "div_mod_power_of_two", "var": 207, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 32, "bits": 40 },
+    { "op": "div_mod_power_of_two", "var": 211, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 32, "bits": 48 },
+    { "op": "div_mod_power_of_two", "var": 215, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 32, "bits": 56 },
+    { "op": "div_mod_power_of_two", "var": 219, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 32, "bits": 64 },
+    { "op": "div_mod_power_of_two", "var": 223, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 32, "bits": 72 },
+    { "op": "div_mod_power_of_two", "var": 227, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 32, "bits": 80 },
+    { "op": "div_mod_power_of_two", "var": 231, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 32, "bits": 88 },
+    { "op": "div_mod_power_of_two", "var": 235, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 32, "bits": 96 },
+    { "op": "div_mod_power_of_two", "var": 239, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 32, "bits": 104 },
+    { "op": "div_mod_power_of_two", "var": 243, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 32, "bits": 112 },
+    { "op": "div_mod_power_of_two", "var": 247, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 32, "bits": 120 },
+    { "op": "div_mod_power_of_two", "var": 251, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 254, "modulus": 250, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 255, "modulus": 246, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 256, "modulus": 242, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 257, "modulus": 238, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 258, "modulus": 234, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 259, "modulus": 230, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 260, "modulus": 226, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 261, "modulus": 222, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 262, "modulus": 218, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 263, "modulus": 214, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 264, "modulus": 210, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 265, "modulus": 206, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 266, "modulus": 202, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 267, "modulus": 198, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 268, "modulus": 194, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 32, "bits": 128 },
+    { "op": "div_mod_power_of_two", "var": 270, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 32, "bits": 136 },
+    { "op": "div_mod_power_of_two", "var": 274, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 32, "bits": 144 },
+    { "op": "div_mod_power_of_two", "var": 278, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 32, "bits": 152 },
+    { "op": "div_mod_power_of_two", "var": 282, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 32, "bits": 160 },
+    { "op": "div_mod_power_of_two", "var": 286, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 32, "bits": 168 },
+    { "op": "div_mod_power_of_two", "var": 290, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 32, "bits": 176 },
+    { "op": "div_mod_power_of_two", "var": 294, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 32, "bits": 184 },
+    { "op": "div_mod_power_of_two", "var": 298, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 32, "bits": 192 },
+    { "op": "div_mod_power_of_two", "var": 302, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 32, "bits": 200 },
+    { "op": "div_mod_power_of_two", "var": 306, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 32, "bits": 208 },
+    { "op": "div_mod_power_of_two", "var": 310, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 32, "bits": 216 },
+    { "op": "div_mod_power_of_two", "var": 314, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 32, "bits": 224 },
+    { "op": "div_mod_power_of_two", "var": 318, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 32, "bits": 232 },
+    { "op": "div_mod_power_of_two", "var": 322, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 32, "bits": 240 },
+    { "op": "div_mod_power_of_two", "var": 326, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 31, "bits": 0 },
+    { "op": "div_mod_power_of_two", "var": 330, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 333, "modulus": 329, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 334, "modulus": 325, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 335, "modulus": 321, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 336, "modulus": 317, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 337, "modulus": 313, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 338, "modulus": 309, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 339, "modulus": 305, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 340, "modulus": 301, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 341, "modulus": 297, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 342, "modulus": 293, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 343, "modulus": 289, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 344, "modulus": 285, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 345, "modulus": 281, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 346, "modulus": 277, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 347, "modulus": 273, "bits": 8 },
+    { "op": "transient_hash", "inputs": [10, 11, 8, 9, 111, 190, 269, 348] },
+    { "op": "copy", "var": 349 },
+    { "op": "copy", "var": 12 },
+    { "op": "ec_mul_generator", "scalar": 351 },
+    { "op": "ec_mul", "a_x": 8, "a_y": 9, "scalar": 350 },
+    { "op": "ec_add", "a_x": 10, "a_y": 11, "b_x": 354, "b_y": 355 },
+    { "op": "test_eq", "a": 352, "b": 356 },
+    { "op": "test_eq", "a": 353, "b": 357 },
+    { "op": "cond_select", "bit": 358, "a": 359, "b": 25 },
+    { "op": "assert", "cond": 360 },
+    { "op": "declare_pub_input", "var": 16 },
+    { "op": "pi_skip", "guard": 13, "count": 1 },
+    { "op": "load_imm", "imm": "02" },
+    { "op": "declare_pub_input", "var": 17 },
+    { "op": "declare_pub_input", "var": 13 },
+    { "op": "declare_pub_input", "var": 13 },
+    { "op": "declare_pub_input", "var": 361 },
+    { "op": "pi_skip", "guard": 13, "count": 4 },
+    { "op": "load_imm", "imm": "10" },
+    { "op": "declare_pub_input", "var": 362 },
+    { "op": "declare_pub_input", "var": 13 },
+    { "op": "declare_pub_input", "var": 13 },
+    { "op": "declare_pub_input", "var": 21 },
+    { "op": "declare_pub_input", "var": 0 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "pi_skip", "guard": 13, "count": 6 },
+    { "op": "load_imm", "imm": "18" },
+    { "op": "declare_pub_input", "var": 363 },
+    { "op": "pi_skip", "guard": 13, "count": 1 },
+    { "op": "public_input", "guard": null },
+    { "op": "load_imm", "imm": "0D" },
+    { "op": "declare_pub_input", "var": 365 },
+    { "op": "declare_pub_input", "var": 13 },
+    { "op": "declare_pub_input", "var": 13 },
+    { "op": "declare_pub_input", "var": 364 },
+    { "op": "pi_skip", "guard": 13, "count": 4 },
+    { "op": "cond_select", "bit": 364, "a": 25, "b": 13 },
+    { "op": "load_imm", "imm": "70" },
+    { "op": "cond_select", "bit": 366, "a": 367, "b": 25 },
+    { "op": "declare_pub_input", "var": 368 },
+    { "op": "declare_pub_input", "var": 366 },
+    { "op": "declare_pub_input", "var": 366 },
+    { "op": "cond_select", "bit": 366, "a": 361, "b": 25 },
+    { "op": "declare_pub_input", "var": 369 },
+    { "op": "pi_skip", "guard": 366, "count": 4 },
+    { "op": "cond_select", "bit": 366, "a": 362, "b": 25 },
+    { "op": "declare_pub_input", "var": 370 },
+    { "op": "declare_pub_input", "var": 366 },
+    { "op": "declare_pub_input", "var": 366 },
+    { "op": "cond_select", "bit": 366, "a": 21, "b": 25 },
+    { "op": "declare_pub_input", "var": 371 },
+    { "op": "cond_select", "bit": 366, "a": 0, "b": 25 },
+    { "op": "declare_pub_input", "var": 372 },
+    { "op": "cond_select", "bit": 366, "a": 1, "b": 25 },
+    { "op": "declare_pub_input", "var": 373 },
+    { "op": "pi_skip", "guard": 366, "count": 6 },
+    { "op": "load_imm", "imm": "11" },
+    { "op": "load_imm", "imm": "07" },
+    { "op": "load_imm", "imm": "80" },
+    { "op": "load_imm", "imm": "-02" },
+    { "op": "cond_select", "bit": 366, "a": 374, "b": 25 },
+    { "op": "declare_pub_input", "var": 378 },
+    { "op": "declare_pub_input", "var": 366 },
+    { "op": "cond_select", "bit": 366, "a": 375, "b": 25 },
+    { "op": "declare_pub_input", "var": 379 },
+    { "op": "cond_select", "bit": 366, "a": 376, "b": 25 },
+    { "op": "declare_pub_input", "var": 380 },
+    { "op": "declare_pub_input", "var": 366 },
+    { "op": "cond_select", "bit": 366, "a": 377, "b": 25 },
+    { "op": "declare_pub_input", "var": 381 },
+    { "op": "cond_select", "bit": 366, "a": 377, "b": 25 },
+    { "op": "declare_pub_input", "var": 382 },
+    { "op": "cond_select", "bit": 366, "a": 377, "b": 25 },
+    { "op": "declare_pub_input", "var": 383 },
+    { "op": "cond_select", "bit": 366, "a": 377, "b": 25 },
+    { "op": "declare_pub_input", "var": 384 },
+    { "op": "cond_select", "bit": 366, "a": 377, "b": 25 },
+    { "op": "declare_pub_input", "var": 385 },
+    { "op": "cond_select", "bit": 366, "a": 2, "b": 25 },
+    { "op": "declare_pub_input", "var": 386 },
+    { "op": "cond_select", "bit": 366, "a": 3, "b": 25 },
+    { "op": "declare_pub_input", "var": 387 },
+    { "op": "cond_select", "bit": 366, "a": 4, "b": 25 },
+    { "op": "declare_pub_input", "var": 388 },
+    { "op": "cond_select", "bit": 366, "a": 5, "b": 25 },
+    { "op": "declare_pub_input", "var": 389 },
+    { "op": "cond_select", "bit": 366, "a": 6, "b": 25 },
+    { "op": "declare_pub_input", "var": 390 },
+    { "op": "cond_select", "bit": 366, "a": 7, "b": 25 },
+    { "op": "declare_pub_input", "var": 391 },
+    { "op": "cond_select", "bit": 366, "a": 8, "b": 25 },
+    { "op": "declare_pub_input", "var": 392 },
+    { "op": "cond_select", "bit": 366, "a": 9, "b": 25 },
+    { "op": "declare_pub_input", "var": 393 },
+    { "op": "cond_select", "bit": 366, "a": 10, "b": 25 },
+    { "op": "declare_pub_input", "var": 394 },
+    { "op": "cond_select", "bit": 366, "a": 11, "b": 25 },
+    { "op": "declare_pub_input", "var": 395 },
+    { "op": "cond_select", "bit": 366, "a": 12, "b": 25 },
+    { "op": "declare_pub_input", "var": 396 },
+    { "op": "pi_skip", "guard": 366, "count": 21 },
+    { "op": "load_imm", "imm": "91" },
+    { "op": "cond_select", "bit": 366, "a": 397, "b": 25 },
+    { "op": "declare_pub_input", "var": 398 },
+    { "op": "pi_skip", "guard": 366, "count": 1 },
+    { "op": "load_imm", "imm": "A1" },
+    { "op": "cond_select", "bit": 366, "a": 399, "b": 25 },
+    { "op": "declare_pub_input", "var": 400 },
+    { "op": "pi_skip", "guard": 366, "count": 1 },
+    { "op": "div_mod_power_of_two", "var": 1, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 401, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 403, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 405, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 407, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 409, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 411, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 413, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 415, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 417, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 419, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 421, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 423, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 425, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 427, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 429, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 431, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 433, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 435, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 437, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 439, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 441, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 443, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 445, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 447, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 449, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 451, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 453, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 455, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 457, "bits": 8 },
+    { "op": "cond_select", "bit": 364, "a": 25, "b": 0 },
+    { "op": "copy", "var": 461 },
+    { "op": "cond_select", "bit": 364, "a": 25, "b": 402 },
+    { "op": "cond_select", "bit": 364, "a": 25, "b": 404 },
+    { "op": "cond_select", "bit": 364, "a": 25, "b": 406 },
+    { "op": "cond_select", "bit": 364, "a": 25, "b": 408 },
+    { "op": "cond_select", "bit": 364, "a": 25, "b": 410 },
+    { "op": "cond_select", "bit": 364, "a": 25, "b": 412 },
+    { "op": "cond_select", "bit": 364, "a": 25, "b": 414 },
+    { "op": "cond_select", "bit": 364, "a": 25, "b": 416 },
+    { "op": "cond_select", "bit": 364, "a": 25, "b": 418 },
+    { "op": "cond_select", "bit": 364, "a": 25, "b": 420 },
+    { "op": "cond_select", "bit": 364, "a": 25, "b": 422 },
+    { "op": "cond_select", "bit": 364, "a": 25, "b": 424 },
+    { "op": "cond_select", "bit": 364, "a": 25, "b": 426 },
+    { "op": "cond_select", "bit": 364, "a": 25, "b": 428 },
+    { "op": "cond_select", "bit": 364, "a": 25, "b": 430 },
+    { "op": "cond_select", "bit": 364, "a": 25, "b": 432 },
+    { "op": "cond_select", "bit": 364, "a": 25, "b": 434 },
+    { "op": "cond_select", "bit": 364, "a": 25, "b": 436 },
+    { "op": "cond_select", "bit": 364, "a": 25, "b": 438 },
+    { "op": "cond_select", "bit": 364, "a": 25, "b": 440 },
+    { "op": "cond_select", "bit": 364, "a": 25, "b": 442 },
+    { "op": "cond_select", "bit": 364, "a": 25, "b": 444 },
+    { "op": "cond_select", "bit": 364, "a": 25, "b": 446 },
+    { "op": "cond_select", "bit": 364, "a": 25, "b": 448 },
+    { "op": "cond_select", "bit": 364, "a": 25, "b": 450 },
+    { "op": "cond_select", "bit": 364, "a": 25, "b": 452 },
+    { "op": "cond_select", "bit": 364, "a": 25, "b": 454 },
+    { "op": "cond_select", "bit": 364, "a": 25, "b": 456 },
+    { "op": "cond_select", "bit": 364, "a": 25, "b": 458 },
+    { "op": "cond_select", "bit": 364, "a": 25, "b": 460 },
+    { "op": "cond_select", "bit": 364, "a": 25, "b": 459 },
+    { "op": "reconstitute_field", "divisor": 493, "modulus": 492, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 494, "modulus": 491, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 495, "modulus": 490, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 496, "modulus": 489, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 497, "modulus": 488, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 498, "modulus": 487, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 499, "modulus": 486, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 500, "modulus": 485, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 501, "modulus": 484, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 502, "modulus": 483, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 503, "modulus": 482, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 504, "modulus": 481, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 505, "modulus": 480, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 506, "modulus": 479, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 507, "modulus": 478, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 508, "modulus": 477, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 509, "modulus": 476, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 510, "modulus": 475, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 511, "modulus": 474, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 512, "modulus": 473, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 513, "modulus": 472, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 514, "modulus": 471, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 515, "modulus": 470, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 516, "modulus": 469, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 517, "modulus": 468, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 518, "modulus": 467, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 519, "modulus": 466, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 520, "modulus": 465, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 521, "modulus": 464, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 522, "modulus": 463, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 462, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 524, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 526, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 528, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 530, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 532, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 534, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 536, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 538, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 540, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 542, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 544, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 546, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 548, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 550, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 552, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 554, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 556, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 558, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 560, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 562, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 564, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 566, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 568, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 570, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 572, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 574, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 576, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 578, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 580, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 523, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 584, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 586, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 588, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 590, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 592, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 594, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 596, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 598, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 600, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 602, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 604, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 606, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 608, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 610, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 612, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 614, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 616, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 618, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 620, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 622, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 624, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 626, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 628, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 630, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 632, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 634, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 636, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 638, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 640, "bits": 8 },
+    { "op": "cond_select", "bit": 364, "a": 25, "b": 582 },
+    { "op": "copy", "var": 644 },
+    { "op": "cond_select", "bit": 364, "a": 25, "b": 642 },
+    { "op": "cond_select", "bit": 364, "a": 25, "b": 525 },
+    { "op": "cond_select", "bit": 364, "a": 25, "b": 527 },
+    { "op": "cond_select", "bit": 364, "a": 25, "b": 529 },
+    { "op": "cond_select", "bit": 364, "a": 25, "b": 531 },
+    { "op": "cond_select", "bit": 364, "a": 25, "b": 533 },
+    { "op": "cond_select", "bit": 364, "a": 25, "b": 535 },
+    { "op": "cond_select", "bit": 364, "a": 25, "b": 537 },
+    { "op": "cond_select", "bit": 364, "a": 25, "b": 539 },
+    { "op": "cond_select", "bit": 364, "a": 25, "b": 541 },
+    { "op": "cond_select", "bit": 364, "a": 25, "b": 543 },
+    { "op": "cond_select", "bit": 364, "a": 25, "b": 545 },
+    { "op": "cond_select", "bit": 364, "a": 25, "b": 547 },
+    { "op": "cond_select", "bit": 364, "a": 25, "b": 549 },
+    { "op": "cond_select", "bit": 364, "a": 25, "b": 551 },
+    { "op": "cond_select", "bit": 364, "a": 25, "b": 553 },
+    { "op": "cond_select", "bit": 364, "a": 25, "b": 555 },
+    { "op": "cond_select", "bit": 364, "a": 25, "b": 557 },
+    { "op": "cond_select", "bit": 364, "a": 25, "b": 559 },
+    { "op": "cond_select", "bit": 364, "a": 25, "b": 561 },
+    { "op": "cond_select", "bit": 364, "a": 25, "b": 563 },
+    { "op": "cond_select", "bit": 364, "a": 25, "b": 565 },
+    { "op": "cond_select", "bit": 364, "a": 25, "b": 567 },
+    { "op": "cond_select", "bit": 364, "a": 25, "b": 569 },
+    { "op": "cond_select", "bit": 364, "a": 25, "b": 571 },
+    { "op": "cond_select", "bit": 364, "a": 25, "b": 573 },
+    { "op": "cond_select", "bit": 364, "a": 25, "b": 575 },
+    { "op": "cond_select", "bit": 364, "a": 25, "b": 577 },
+    { "op": "cond_select", "bit": 364, "a": 25, "b": 579 },
+    { "op": "cond_select", "bit": 364, "a": 25, "b": 581 },
+    { "op": "cond_select", "bit": 364, "a": 25, "b": 583 },
+    { "op": "reconstitute_field", "divisor": 676, "modulus": 675, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 677, "modulus": 674, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 678, "modulus": 673, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 679, "modulus": 672, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 680, "modulus": 671, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 681, "modulus": 670, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 682, "modulus": 669, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 683, "modulus": 668, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 684, "modulus": 667, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 685, "modulus": 666, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 686, "modulus": 665, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 687, "modulus": 664, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 688, "modulus": 663, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 689, "modulus": 662, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 690, "modulus": 661, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 691, "modulus": 660, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 692, "modulus": 659, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 693, "modulus": 658, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 694, "modulus": 657, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 695, "modulus": 656, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 696, "modulus": 655, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 697, "modulus": 654, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 698, "modulus": 653, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 699, "modulus": 652, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 700, "modulus": 651, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 701, "modulus": 650, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 702, "modulus": 649, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 703, "modulus": 648, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 704, "modulus": 647, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 705, "modulus": 646, "bits": 8 },
+    { "op": "cond_select", "bit": 364, "a": 25, "b": 585 },
+    { "op": "cond_select", "bit": 364, "a": 25, "b": 587 },
+    { "op": "cond_select", "bit": 364, "a": 25, "b": 589 },
+    { "op": "cond_select", "bit": 364, "a": 25, "b": 591 },
+    { "op": "cond_select", "bit": 364, "a": 25, "b": 593 },
+    { "op": "cond_select", "bit": 364, "a": 25, "b": 595 },
+    { "op": "cond_select", "bit": 364, "a": 25, "b": 597 },
+    { "op": "cond_select", "bit": 364, "a": 25, "b": 599 },
+    { "op": "cond_select", "bit": 364, "a": 25, "b": 601 },
+    { "op": "cond_select", "bit": 364, "a": 25, "b": 603 },
+    { "op": "cond_select", "bit": 364, "a": 25, "b": 605 },
+    { "op": "cond_select", "bit": 364, "a": 25, "b": 607 },
+    { "op": "cond_select", "bit": 364, "a": 25, "b": 609 },
+    { "op": "cond_select", "bit": 364, "a": 25, "b": 611 },
+    { "op": "cond_select", "bit": 364, "a": 25, "b": 613 },
+    { "op": "cond_select", "bit": 364, "a": 25, "b": 615 },
+    { "op": "cond_select", "bit": 364, "a": 25, "b": 617 },
+    { "op": "cond_select", "bit": 364, "a": 25, "b": 619 },
+    { "op": "cond_select", "bit": 364, "a": 25, "b": 621 },
+    { "op": "cond_select", "bit": 364, "a": 25, "b": 623 },
+    { "op": "cond_select", "bit": 364, "a": 25, "b": 625 },
+    { "op": "cond_select", "bit": 364, "a": 25, "b": 627 },
+    { "op": "cond_select", "bit": 364, "a": 25, "b": 629 },
+    { "op": "cond_select", "bit": 364, "a": 25, "b": 631 },
+    { "op": "cond_select", "bit": 364, "a": 25, "b": 633 },
+    { "op": "cond_select", "bit": 364, "a": 25, "b": 635 },
+    { "op": "cond_select", "bit": 364, "a": 25, "b": 637 },
+    { "op": "cond_select", "bit": 364, "a": 25, "b": 639 },
+    { "op": "cond_select", "bit": 364, "a": 25, "b": 641 },
+    { "op": "cond_select", "bit": 364, "a": 25, "b": 643 },
+    { "op": "reconstitute_field", "divisor": 736, "modulus": 735, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 737, "modulus": 734, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 738, "modulus": 733, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 739, "modulus": 732, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 740, "modulus": 731, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 741, "modulus": 730, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 742, "modulus": 729, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 743, "modulus": 728, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 744, "modulus": 727, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 745, "modulus": 726, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 746, "modulus": 725, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 747, "modulus": 724, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 748, "modulus": 723, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 749, "modulus": 722, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 750, "modulus": 721, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 751, "modulus": 720, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 752, "modulus": 719, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 753, "modulus": 718, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 754, "modulus": 717, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 755, "modulus": 716, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 756, "modulus": 715, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 757, "modulus": 714, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 758, "modulus": 713, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 759, "modulus": 712, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 760, "modulus": 711, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 761, "modulus": 710, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 762, "modulus": 709, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 763, "modulus": 708, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 764, "modulus": 707, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 765, "modulus": 25, "bits": 8 },
+    { "op": "load_imm", "imm": "526573706F6E644269646972656374696F6E616C4576656E74" },
+    { "op": "load_imm", "imm": "33" },
+    { "op": "load_imm", "imm": "04" },
+    { "op": "load_imm", "imm": "0A" },
+    { "op": "load_imm", "imm": "2001" },
+    { "op": "cond_select", "bit": 366, "a": 362, "b": 25 },
+    { "op": "declare_pub_input", "var": 772 },
+    { "op": "cond_select", "bit": 366, "a": 768, "b": 25 },
+    { "op": "declare_pub_input", "var": 773 },
+    { "op": "declare_pub_input", "var": 366 },
+    { "op": "declare_pub_input", "var": 366 },
+    { "op": "cond_select", "bit": 366, "a": 769, "b": 25 },
+    { "op": "declare_pub_input", "var": 774 },
+    { "op": "declare_pub_input", "var": 366 },
+    { "op": "declare_pub_input", "var": 366 },
+    { "op": "declare_pub_input", "var": 366 },
+    { "op": "declare_pub_input", "var": 366 },
+    { "op": "cond_select", "bit": 366, "a": 770, "b": 25 },
+    { "op": "declare_pub_input", "var": 775 },
+    { "op": "declare_pub_input", "var": 366 },
+    { "op": "declare_pub_input", "var": 366 },
+    { "op": "cond_select", "bit": 366, "a": 771, "b": 25 },
+    { "op": "declare_pub_input", "var": 776 },
+    { "op": "cond_select", "bit": 366, "a": 25, "b": 25 },
+    { "op": "declare_pub_input", "var": 777 },
+    { "op": "cond_select", "bit": 366, "a": 25, "b": 25 },
+    { "op": "declare_pub_input", "var": 778 },
+    { "op": "cond_select", "bit": 366, "a": 25, "b": 25 },
+    { "op": "declare_pub_input", "var": 779 },
+    { "op": "cond_select", "bit": 366, "a": 25, "b": 25 },
+    { "op": "declare_pub_input", "var": 780 },
+    { "op": "cond_select", "bit": 366, "a": 25, "b": 25 },
+    { "op": "declare_pub_input", "var": 781 },
+    { "op": "cond_select", "bit": 366, "a": 25, "b": 25 },
+    { "op": "declare_pub_input", "var": 782 },
+    { "op": "cond_select", "bit": 366, "a": 645, "b": 25 },
+    { "op": "declare_pub_input", "var": 783 },
+    { "op": "cond_select", "bit": 366, "a": 706, "b": 25 },
+    { "op": "declare_pub_input", "var": 784 },
+    { "op": "cond_select", "bit": 366, "a": 766, "b": 25 },
+    { "op": "declare_pub_input", "var": 785 },
+    { "op": "cond_select", "bit": 366, "a": 767, "b": 25 },
+    { "op": "declare_pub_input", "var": 786 },
+    { "op": "pi_skip", "guard": 366, "count": 23 },
+    { "op": "load_imm", "imm": "09" },
+    { "op": "cond_select", "bit": 366, "a": 787, "b": 25 },
+    { "op": "declare_pub_input", "var": 788 },
+    { "op": "pi_skip", "guard": 366, "count": 1 }
+  ]
+}