@midnight-ntwrk/midnight-did-contract 0.5.0-rc1

package/dist/managed/did/zkir/setVerificationMethodRelation.zkir

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