@sig-net/midnight-contract 0.0.1 → 0.0.2

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (22) hide show
  1. package/dist/managed/compiler/contract-info.json +49 -4
  2. package/dist/managed/compiler/contract-manifest.json +33 -33
  3. package/dist/managed/contract/index.d.ts +22 -12
  4. package/dist/managed/contract/index.js +423 -399
  5. package/dist/managed/contract/index.js.map +1 -1
  6. package/dist/managed/keys/notifyBidirectionalSignatureRequest.prover +0 -0
  7. package/dist/managed/keys/notifyBidirectionalSignatureRequest.verifier +0 -0
  8. package/dist/managed/keys/postRespondBidirectional.prover +0 -0
  9. package/dist/managed/keys/postRespondBidirectional.verifier +0 -0
  10. package/dist/managed/keys/postSignatureResponse.prover +0 -0
  11. package/dist/managed/keys/postSignatureResponse.verifier +0 -0
  12. package/dist/managed/zkir/notifyBidirectionalSignatureRequest.bzkir +0 -0
  13. package/dist/managed/zkir/notifyBidirectionalSignatureRequest.zkir +49 -0
  14. package/dist/managed/zkir/postRespondBidirectional.bzkir +0 -0
  15. package/dist/managed/zkir/postRespondBidirectional.zkir +0 -324
  16. package/dist/managed/zkir/postSignatureResponse.bzkir +0 -0
  17. package/dist/managed/zkir/postSignatureResponse.zkir +0 -228
  18. package/package.json +3 -3
  19. package/src/signet-contract.compact +34 -41
  20. package/dist/managed/keys/emitSignBidirectionalEvent.verifier +0 -0
  21. package/dist/managed/zkir/emitSignBidirectionalEvent.bzkir +0 -0
  22. package/dist/managed/zkir/emitSignBidirectionalEvent.zkir +0 -965
package/dist/managed/zkir/emitSignBidirectionalEvent.zkir DELETED
@@ -1,965 +0,0 @@
1
- {
2
- "version": { "major": 2, "minor": 0 },
3
- "do_communications_commitment": true,
4
- "num_inputs": 9,
5
- "instructions": [
6
- { "op": "constrain_bits", "var": 0, "bits": 8 },
7
- { "op": "constrain_bits", "var": 1, "bits": 56 },
8
- { "op": "constrain_bits", "var": 2, "bits": 248 },
9
- { "op": "constrain_bits", "var": 3, "bits": 248 },
10
- { "op": "constrain_bits", "var": 4, "bits": 248 },
11
- { "op": "constrain_bits", "var": 5, "bits": 248 },
12
- { "op": "constrain_bits", "var": 6, "bits": 248 },
13
- { "op": "constrain_bits", "var": 7, "bits": 248 },
14
- { "op": "constrain_bits", "var": 8, "bits": 248 },
15
- { "op": "load_imm", "imm": "01" },
16
- { "op": "div_mod_power_of_two", "var": 1, "bits": 8 },
17
- { "op": "div_mod_power_of_two", "var": 10, "bits": 8 },
18
- { "op": "div_mod_power_of_two", "var": 12, "bits": 8 },
19
- { "op": "div_mod_power_of_two", "var": 14, "bits": 8 },
20
- { "op": "div_mod_power_of_two", "var": 16, "bits": 8 },
21
- { "op": "div_mod_power_of_two", "var": 18, "bits": 8 },
22
- { "op": "div_mod_power_of_two", "var": 2, "bits": 8 },
23
- { "op": "div_mod_power_of_two", "var": 22, "bits": 8 },
24
- { "op": "div_mod_power_of_two", "var": 24, "bits": 8 },
25
- { "op": "div_mod_power_of_two", "var": 26, "bits": 8 },
26
- { "op": "div_mod_power_of_two", "var": 28, "bits": 8 },
27
- { "op": "div_mod_power_of_two", "var": 30, "bits": 8 },
28
- { "op": "div_mod_power_of_two", "var": 32, "bits": 8 },
29
- { "op": "div_mod_power_of_two", "var": 34, "bits": 8 },
30
- { "op": "div_mod_power_of_two", "var": 36, "bits": 8 },
31
- { "op": "div_mod_power_of_two", "var": 38, "bits": 8 },
32
- { "op": "div_mod_power_of_two", "var": 40, "bits": 8 },
33
- { "op": "div_mod_power_of_two", "var": 42, "bits": 8 },
34
- { "op": "div_mod_power_of_two", "var": 44, "bits": 8 },
35
- { "op": "div_mod_power_of_two", "var": 46, "bits": 8 },
36
- { "op": "div_mod_power_of_two", "var": 48, "bits": 8 },
37
- { "op": "div_mod_power_of_two", "var": 50, "bits": 8 },
38
- { "op": "div_mod_power_of_two", "var": 52, "bits": 8 },
39
- { "op": "div_mod_power_of_two", "var": 54, "bits": 8 },
40
- { "op": "div_mod_power_of_two", "var": 56, "bits": 8 },
41
- { "op": "div_mod_power_of_two", "var": 58, "bits": 8 },
42
- { "op": "div_mod_power_of_two", "var": 60, "bits": 8 },
43
- { "op": "div_mod_power_of_two", "var": 62, "bits": 8 },
44
- { "op": "div_mod_power_of_two", "var": 64, "bits": 8 },
45
- { "op": "div_mod_power_of_two", "var": 66, "bits": 8 },
46
- { "op": "div_mod_power_of_two", "var": 68, "bits": 8 },
47
- { "op": "div_mod_power_of_two", "var": 70, "bits": 8 },
48
- { "op": "div_mod_power_of_two", "var": 72, "bits": 8 },
49
- { "op": "div_mod_power_of_two", "var": 74, "bits": 8 },
50
- { "op": "div_mod_power_of_two", "var": 76, "bits": 8 },
51
- { "op": "div_mod_power_of_two", "var": 78, "bits": 8 },
52
- { "op": "div_mod_power_of_two", "var": 3, "bits": 8 },
53
- { "op": "div_mod_power_of_two", "var": 82, "bits": 8 },
54
- { "op": "div_mod_power_of_two", "var": 84, "bits": 8 },
55
- { "op": "div_mod_power_of_two", "var": 86, "bits": 8 },
56
- { "op": "div_mod_power_of_two", "var": 88, "bits": 8 },
57
- { "op": "div_mod_power_of_two", "var": 90, "bits": 8 },
58
- { "op": "div_mod_power_of_two", "var": 92, "bits": 8 },
59
- { "op": "div_mod_power_of_two", "var": 94, "bits": 8 },
60
- { "op": "div_mod_power_of_two", "var": 96, "bits": 8 },
61
- { "op": "div_mod_power_of_two", "var": 98, "bits": 8 },
62
- { "op": "div_mod_power_of_two", "var": 100, "bits": 8 },
63
- { "op": "div_mod_power_of_two", "var": 102, "bits": 8 },
64
- { "op": "div_mod_power_of_two", "var": 104, "bits": 8 },
65
- { "op": "div_mod_power_of_two", "var": 106, "bits": 8 },
66
- { "op": "div_mod_power_of_two", "var": 108, "bits": 8 },
67
- { "op": "div_mod_power_of_two", "var": 110, "bits": 8 },
68
- { "op": "div_mod_power_of_two", "var": 112, "bits": 8 },
69
- { "op": "div_mod_power_of_two", "var": 114, "bits": 8 },
70
- { "op": "div_mod_power_of_two", "var": 116, "bits": 8 },
71
- { "op": "div_mod_power_of_two", "var": 118, "bits": 8 },
72
- { "op": "div_mod_power_of_two", "var": 120, "bits": 8 },
73
- { "op": "div_mod_power_of_two", "var": 122, "bits": 8 },
74
- { "op": "div_mod_power_of_two", "var": 124, "bits": 8 },
75
- { "op": "div_mod_power_of_two", "var": 126, "bits": 8 },
76
- { "op": "div_mod_power_of_two", "var": 128, "bits": 8 },
77
- { "op": "div_mod_power_of_two", "var": 130, "bits": 8 },
78
- { "op": "div_mod_power_of_two", "var": 132, "bits": 8 },
79
- { "op": "div_mod_power_of_two", "var": 134, "bits": 8 },
80
- { "op": "div_mod_power_of_two", "var": 136, "bits": 8 },
81
- { "op": "div_mod_power_of_two", "var": 138, "bits": 8 },
82
- { "op": "div_mod_power_of_two", "var": 4, "bits": 8 },
83
- { "op": "div_mod_power_of_two", "var": 142, "bits": 8 },
84
- { "op": "div_mod_power_of_two", "var": 144, "bits": 8 },
85
- { "op": "div_mod_power_of_two", "var": 146, "bits": 8 },
86
- { "op": "div_mod_power_of_two", "var": 148, "bits": 8 },
87
- { "op": "div_mod_power_of_two", "var": 150, "bits": 8 },
88
- { "op": "div_mod_power_of_two", "var": 152, "bits": 8 },
89
- { "op": "div_mod_power_of_two", "var": 154, "bits": 8 },
90
- { "op": "div_mod_power_of_two", "var": 156, "bits": 8 },
91
- { "op": "div_mod_power_of_two", "var": 158, "bits": 8 },
92
- { "op": "div_mod_power_of_two", "var": 160, "bits": 8 },
93
- { "op": "div_mod_power_of_two", "var": 162, "bits": 8 },
94
- { "op": "div_mod_power_of_two", "var": 164, "bits": 8 },
95
- { "op": "div_mod_power_of_two", "var": 166, "bits": 8 },
96
- { "op": "div_mod_power_of_two", "var": 168, "bits": 8 },
97
- { "op": "div_mod_power_of_two", "var": 170, "bits": 8 },
98
- { "op": "div_mod_power_of_two", "var": 172, "bits": 8 },
99
- { "op": "div_mod_power_of_two", "var": 174, "bits": 8 },
100
- { "op": "div_mod_power_of_two", "var": 176, "bits": 8 },
101
- { "op": "div_mod_power_of_two", "var": 178, "bits": 8 },
102
- { "op": "div_mod_power_of_two", "var": 180, "bits": 8 },
103
- { "op": "div_mod_power_of_two", "var": 182, "bits": 8 },
104
- { "op": "div_mod_power_of_two", "var": 184, "bits": 8 },
105
- { "op": "div_mod_power_of_two", "var": 186, "bits": 8 },
106
- { "op": "div_mod_power_of_two", "var": 188, "bits": 8 },
107
- { "op": "div_mod_power_of_two", "var": 190, "bits": 8 },
108
- { "op": "div_mod_power_of_two", "var": 192, "bits": 8 },
109
- { "op": "div_mod_power_of_two", "var": 194, "bits": 8 },
110
- { "op": "div_mod_power_of_two", "var": 196, "bits": 8 },
111
- { "op": "div_mod_power_of_two", "var": 198, "bits": 8 },
112
- { "op": "div_mod_power_of_two", "var": 5, "bits": 8 },
113
- { "op": "div_mod_power_of_two", "var": 202, "bits": 8 },
114
- { "op": "div_mod_power_of_two", "var": 204, "bits": 8 },
115
- { "op": "div_mod_power_of_two", "var": 206, "bits": 8 },
116
- { "op": "div_mod_power_of_two", "var": 208, "bits": 8 },
117
- { "op": "div_mod_power_of_two", "var": 210, "bits": 8 },
118
- { "op": "div_mod_power_of_two", "var": 212, "bits": 8 },
119
- { "op": "div_mod_power_of_two", "var": 214, "bits": 8 },
120
- { "op": "div_mod_power_of_two", "var": 216, "bits": 8 },
121
- { "op": "div_mod_power_of_two", "var": 218, "bits": 8 },
122
- { "op": "div_mod_power_of_two", "var": 220, "bits": 8 },
123
- { "op": "div_mod_power_of_two", "var": 222, "bits": 8 },
124
- { "op": "div_mod_power_of_two", "var": 224, "bits": 8 },
125
- { "op": "div_mod_power_of_two", "var": 226, "bits": 8 },
126
- { "op": "div_mod_power_of_two", "var": 228, "bits": 8 },
127
- { "op": "div_mod_power_of_two", "var": 230, "bits": 8 },
128
- { "op": "div_mod_power_of_two", "var": 232, "bits": 8 },
129
- { "op": "div_mod_power_of_two", "var": 234, "bits": 8 },
130
- { "op": "div_mod_power_of_two", "var": 236, "bits": 8 },
131
- { "op": "div_mod_power_of_two", "var": 238, "bits": 8 },
132
- { "op": "div_mod_power_of_two", "var": 240, "bits": 8 },
133
- { "op": "div_mod_power_of_two", "var": 242, "bits": 8 },
134
- { "op": "div_mod_power_of_two", "var": 244, "bits": 8 },
135
- { "op": "div_mod_power_of_two", "var": 246, "bits": 8 },
136
- { "op": "div_mod_power_of_two", "var": 248, "bits": 8 },
137
- { "op": "div_mod_power_of_two", "var": 250, "bits": 8 },
138
- { "op": "div_mod_power_of_two", "var": 252, "bits": 8 },
139
- { "op": "div_mod_power_of_two", "var": 254, "bits": 8 },
140
- { "op": "div_mod_power_of_two", "var": 256, "bits": 8 },
141
- { "op": "div_mod_power_of_two", "var": 258, "bits": 8 },
142
- { "op": "div_mod_power_of_two", "var": 6, "bits": 8 },
143
- { "op": "div_mod_power_of_two", "var": 262, "bits": 8 },
144
- { "op": "div_mod_power_of_two", "var": 264, "bits": 8 },
145
- { "op": "div_mod_power_of_two", "var": 266, "bits": 8 },
146
- { "op": "div_mod_power_of_two", "var": 268, "bits": 8 },
147
- { "op": "div_mod_power_of_two", "var": 270, "bits": 8 },
148
- { "op": "div_mod_power_of_two", "var": 272, "bits": 8 },
149
- { "op": "div_mod_power_of_two", "var": 274, "bits": 8 },
150
- { "op": "div_mod_power_of_two", "var": 276, "bits": 8 },
151
- { "op": "div_mod_power_of_two", "var": 278, "bits": 8 },
152
- { "op": "div_mod_power_of_two", "var": 280, "bits": 8 },
153
- { "op": "div_mod_power_of_two", "var": 282, "bits": 8 },
154
- { "op": "div_mod_power_of_two", "var": 284, "bits": 8 },
155
- { "op": "div_mod_power_of_two", "var": 286, "bits": 8 },
156
- { "op": "div_mod_power_of_two", "var": 288, "bits": 8 },
157
- { "op": "div_mod_power_of_two", "var": 290, "bits": 8 },
158
- { "op": "div_mod_power_of_two", "var": 292, "bits": 8 },
159
- { "op": "div_mod_power_of_two", "var": 294, "bits": 8 },
160
- { "op": "div_mod_power_of_two", "var": 296, "bits": 8 },
161
- { "op": "div_mod_power_of_two", "var": 298, "bits": 8 },
162
- { "op": "div_mod_power_of_two", "var": 300, "bits": 8 },
163
- { "op": "div_mod_power_of_two", "var": 302, "bits": 8 },
164
- { "op": "div_mod_power_of_two", "var": 304, "bits": 8 },
165
- { "op": "div_mod_power_of_two", "var": 306, "bits": 8 },
166
- { "op": "div_mod_power_of_two", "var": 308, "bits": 8 },
167
- { "op": "div_mod_power_of_two", "var": 310, "bits": 8 },
168
- { "op": "div_mod_power_of_two", "var": 312, "bits": 8 },
169
- { "op": "div_mod_power_of_two", "var": 314, "bits": 8 },
170
- { "op": "div_mod_power_of_two", "var": 316, "bits": 8 },
171
- { "op": "div_mod_power_of_two", "var": 318, "bits": 8 },
172
- { "op": "div_mod_power_of_two", "var": 7, "bits": 8 },
173
- { "op": "div_mod_power_of_two", "var": 322, "bits": 8 },
174
- { "op": "div_mod_power_of_two", "var": 324, "bits": 8 },
175
- { "op": "div_mod_power_of_two", "var": 326, "bits": 8 },
176
- { "op": "div_mod_power_of_two", "var": 328, "bits": 8 },
177
- { "op": "div_mod_power_of_two", "var": 330, "bits": 8 },
178
- { "op": "div_mod_power_of_two", "var": 332, "bits": 8 },
179
- { "op": "div_mod_power_of_two", "var": 334, "bits": 8 },
180
- { "op": "div_mod_power_of_two", "var": 336, "bits": 8 },
181
- { "op": "div_mod_power_of_two", "var": 338, "bits": 8 },
182
- { "op": "div_mod_power_of_two", "var": 340, "bits": 8 },
183
- { "op": "div_mod_power_of_two", "var": 342, "bits": 8 },
184
- { "op": "div_mod_power_of_two", "var": 344, "bits": 8 },
185
- { "op": "div_mod_power_of_two", "var": 346, "bits": 8 },
186
- { "op": "div_mod_power_of_two", "var": 348, "bits": 8 },
187
- { "op": "div_mod_power_of_two", "var": 350, "bits": 8 },
188
- { "op": "div_mod_power_of_two", "var": 352, "bits": 8 },
189
- { "op": "div_mod_power_of_two", "var": 354, "bits": 8 },
190
- { "op": "div_mod_power_of_two", "var": 356, "bits": 8 },
191
- { "op": "div_mod_power_of_two", "var": 358, "bits": 8 },
192
- { "op": "div_mod_power_of_two", "var": 360, "bits": 8 },
193
- { "op": "div_mod_power_of_two", "var": 362, "bits": 8 },
194
- { "op": "div_mod_power_of_two", "var": 364, "bits": 8 },
195
- { "op": "div_mod_power_of_two", "var": 366, "bits": 8 },
196
- { "op": "div_mod_power_of_two", "var": 368, "bits": 8 },
197
- { "op": "div_mod_power_of_two", "var": 370, "bits": 8 },
198
- { "op": "div_mod_power_of_two", "var": 372, "bits": 8 },
199
- { "op": "div_mod_power_of_two", "var": 374, "bits": 8 },
200
- { "op": "div_mod_power_of_two", "var": 376, "bits": 8 },
201
- { "op": "div_mod_power_of_two", "var": 378, "bits": 8 },
202
- { "op": "div_mod_power_of_two", "var": 8, "bits": 8 },
203
- { "op": "div_mod_power_of_two", "var": 382, "bits": 8 },
204
- { "op": "div_mod_power_of_two", "var": 384, "bits": 8 },
205
- { "op": "div_mod_power_of_two", "var": 386, "bits": 8 },
206
- { "op": "div_mod_power_of_two", "var": 388, "bits": 8 },
207
- { "op": "div_mod_power_of_two", "var": 390, "bits": 8 },
208
- { "op": "div_mod_power_of_two", "var": 392, "bits": 8 },
209
- { "op": "div_mod_power_of_two", "var": 394, "bits": 8 },
210
- { "op": "div_mod_power_of_two", "var": 396, "bits": 8 },
211
- { "op": "div_mod_power_of_two", "var": 398, "bits": 8 },
212
- { "op": "div_mod_power_of_two", "var": 400, "bits": 8 },
213
- { "op": "div_mod_power_of_two", "var": 402, "bits": 8 },
214
- { "op": "div_mod_power_of_two", "var": 404, "bits": 8 },
215
- { "op": "div_mod_power_of_two", "var": 406, "bits": 8 },
216
- { "op": "div_mod_power_of_two", "var": 408, "bits": 8 },
217
- { "op": "div_mod_power_of_two", "var": 410, "bits": 8 },
218
- { "op": "div_mod_power_of_two", "var": 412, "bits": 8 },
219
- { "op": "div_mod_power_of_two", "var": 414, "bits": 8 },
220
- { "op": "div_mod_power_of_two", "var": 416, "bits": 8 },
221
- { "op": "div_mod_power_of_two", "var": 418, "bits": 8 },
222
- { "op": "div_mod_power_of_two", "var": 420, "bits": 8 },
223
- { "op": "div_mod_power_of_two", "var": 422, "bits": 8 },
224
- { "op": "div_mod_power_of_two", "var": 424, "bits": 8 },
225
- { "op": "div_mod_power_of_two", "var": 426, "bits": 8 },
226
- { "op": "div_mod_power_of_two", "var": 428, "bits": 8 },
227
- { "op": "div_mod_power_of_two", "var": 430, "bits": 8 },
228
- { "op": "div_mod_power_of_two", "var": 432, "bits": 8 },
229
- { "op": "div_mod_power_of_two", "var": 434, "bits": 8 },
230
- { "op": "div_mod_power_of_two", "var": 436, "bits": 8 },
231
- { "op": "div_mod_power_of_two", "var": 438, "bits": 8 },
232
- { "op": "reconstitute_field", "divisor": 20, "modulus": 21, "bits": 8 },
233
- { "op": "reconstitute_field", "divisor": 442, "modulus": 19, "bits": 8 },
234
- { "op": "reconstitute_field", "divisor": 443, "modulus": 17, "bits": 8 },
235
- { "op": "reconstitute_field", "divisor": 444, "modulus": 15, "bits": 8 },
236
- { "op": "reconstitute_field", "divisor": 445, "modulus": 13, "bits": 8 },
237
- { "op": "reconstitute_field", "divisor": 446, "modulus": 11, "bits": 8 },
238
- { "op": "reconstitute_field", "divisor": 447, "modulus": 80, "bits": 8 },
239
- { "op": "reconstitute_field", "divisor": 81, "modulus": 79, "bits": 8 },
240
- { "op": "reconstitute_field", "divisor": 449, "modulus": 77, "bits": 8 },
241
- { "op": "reconstitute_field", "divisor": 450, "modulus": 75, "bits": 8 },
242
- { "op": "reconstitute_field", "divisor": 451, "modulus": 73, "bits": 8 },
243
- { "op": "reconstitute_field", "divisor": 452, "modulus": 71, "bits": 8 },
244
- { "op": "reconstitute_field", "divisor": 453, "modulus": 69, "bits": 8 },
245
- { "op": "reconstitute_field", "divisor": 454, "modulus": 67, "bits": 8 },
246
- { "op": "reconstitute_field", "divisor": 455, "modulus": 65, "bits": 8 },
247
- { "op": "reconstitute_field", "divisor": 456, "modulus": 63, "bits": 8 },
248
- { "op": "reconstitute_field", "divisor": 457, "modulus": 61, "bits": 8 },
249
- { "op": "reconstitute_field", "divisor": 458, "modulus": 59, "bits": 8 },
250
- { "op": "reconstitute_field", "divisor": 459, "modulus": 57, "bits": 8 },
251
- { "op": "reconstitute_field", "divisor": 460, "modulus": 55, "bits": 8 },
252
- { "op": "reconstitute_field", "divisor": 461, "modulus": 53, "bits": 8 },
253
- { "op": "reconstitute_field", "divisor": 462, "modulus": 51, "bits": 8 },
254
- { "op": "reconstitute_field", "divisor": 463, "modulus": 49, "bits": 8 },
255
- { "op": "reconstitute_field", "divisor": 464, "modulus": 47, "bits": 8 },
256
- { "op": "reconstitute_field", "divisor": 465, "modulus": 45, "bits": 8 },
257
- { "op": "reconstitute_field", "divisor": 466, "modulus": 43, "bits": 8 },
258
- { "op": "reconstitute_field", "divisor": 467, "modulus": 41, "bits": 8 },
259
- { "op": "reconstitute_field", "divisor": 468, "modulus": 39, "bits": 8 },
260
- { "op": "reconstitute_field", "divisor": 469, "modulus": 37, "bits": 8 },
261
- { "op": "reconstitute_field", "divisor": 470, "modulus": 35, "bits": 8 },
262
- { "op": "reconstitute_field", "divisor": 471, "modulus": 33, "bits": 8 },
263
- { "op": "reconstitute_field", "divisor": 472, "modulus": 31, "bits": 8 },
264
- { "op": "reconstitute_field", "divisor": 473, "modulus": 29, "bits": 8 },
265
- { "op": "reconstitute_field", "divisor": 474, "modulus": 27, "bits": 8 },
266
- { "op": "reconstitute_field", "divisor": 475, "modulus": 25, "bits": 8 },
267
- { "op": "reconstitute_field", "divisor": 476, "modulus": 23, "bits": 8 },
268
- { "op": "reconstitute_field", "divisor": 477, "modulus": 140, "bits": 8 },
269
- { "op": "reconstitute_field", "divisor": 141, "modulus": 139, "bits": 8 },
270
- { "op": "reconstitute_field", "divisor": 479, "modulus": 137, "bits": 8 },
271
- { "op": "reconstitute_field", "divisor": 480, "modulus": 135, "bits": 8 },
272
- { "op": "reconstitute_field", "divisor": 481, "modulus": 133, "bits": 8 },
273
- { "op": "reconstitute_field", "divisor": 482, "modulus": 131, "bits": 8 },
274
- { "op": "reconstitute_field", "divisor": 483, "modulus": 129, "bits": 8 },
275
- { "op": "reconstitute_field", "divisor": 484, "modulus": 127, "bits": 8 },
276
- { "op": "reconstitute_field", "divisor": 485, "modulus": 125, "bits": 8 },
277
- { "op": "reconstitute_field", "divisor": 486, "modulus": 123, "bits": 8 },
278
- { "op": "reconstitute_field", "divisor": 487, "modulus": 121, "bits": 8 },
279
- { "op": "reconstitute_field", "divisor": 488, "modulus": 119, "bits": 8 },
280
- { "op": "reconstitute_field", "divisor": 489, "modulus": 117, "bits": 8 },
281
- { "op": "reconstitute_field", "divisor": 490, "modulus": 115, "bits": 8 },
282
- { "op": "reconstitute_field", "divisor": 491, "modulus": 113, "bits": 8 },
283
- { "op": "reconstitute_field", "divisor": 492, "modulus": 111, "bits": 8 },
284
- { "op": "reconstitute_field", "divisor": 493, "modulus": 109, "bits": 8 },
285
- { "op": "reconstitute_field", "divisor": 494, "modulus": 107, "bits": 8 },
286
- { "op": "reconstitute_field", "divisor": 495, "modulus": 105, "bits": 8 },
287
- { "op": "reconstitute_field", "divisor": 496, "modulus": 103, "bits": 8 },
288
- { "op": "reconstitute_field", "divisor": 497, "modulus": 101, "bits": 8 },
289
- { "op": "reconstitute_field", "divisor": 498, "modulus": 99, "bits": 8 },
290
- { "op": "reconstitute_field", "divisor": 499, "modulus": 97, "bits": 8 },
291
- { "op": "reconstitute_field", "divisor": 500, "modulus": 95, "bits": 8 },
292
- { "op": "reconstitute_field", "divisor": 501, "modulus": 93, "bits": 8 },
293
- { "op": "reconstitute_field", "divisor": 502, "modulus": 91, "bits": 8 },
294
- { "op": "reconstitute_field", "divisor": 503, "modulus": 89, "bits": 8 },
295
- { "op": "reconstitute_field", "divisor": 504, "modulus": 87, "bits": 8 },
296
- { "op": "reconstitute_field", "divisor": 505, "modulus": 85, "bits": 8 },
297
- { "op": "reconstitute_field", "divisor": 506, "modulus": 83, "bits": 8 },
298
- { "op": "reconstitute_field", "divisor": 507, "modulus": 200, "bits": 8 },
299
- { "op": "reconstitute_field", "divisor": 201, "modulus": 199, "bits": 8 },
300
- { "op": "reconstitute_field", "divisor": 509, "modulus": 197, "bits": 8 },
301
- { "op": "reconstitute_field", "divisor": 510, "modulus": 195, "bits": 8 },
302
- { "op": "reconstitute_field", "divisor": 511, "modulus": 193, "bits": 8 },
303
- { "op": "reconstitute_field", "divisor": 512, "modulus": 191, "bits": 8 },
304
- { "op": "reconstitute_field", "divisor": 513, "modulus": 189, "bits": 8 },
305
- { "op": "reconstitute_field", "divisor": 514, "modulus": 187, "bits": 8 },
306
- { "op": "reconstitute_field", "divisor": 515, "modulus": 185, "bits": 8 },
307
- { "op": "reconstitute_field", "divisor": 516, "modulus": 183, "bits": 8 },
308
- { "op": "reconstitute_field", "divisor": 517, "modulus": 181, "bits": 8 },
309
- { "op": "reconstitute_field", "divisor": 518, "modulus": 179, "bits": 8 },
310
- { "op": "reconstitute_field", "divisor": 519, "modulus": 177, "bits": 8 },
311
- { "op": "reconstitute_field", "divisor": 520, "modulus": 175, "bits": 8 },
312
- { "op": "reconstitute_field", "divisor": 521, "modulus": 173, "bits": 8 },
313
- { "op": "reconstitute_field", "divisor": 522, "modulus": 171, "bits": 8 },
314
- { "op": "reconstitute_field", "divisor": 523, "modulus": 169, "bits": 8 },
315
- { "op": "reconstitute_field", "divisor": 524, "modulus": 167, "bits": 8 },
316
- { "op": "reconstitute_field", "divisor": 525, "modulus": 165, "bits": 8 },
317
- { "op": "reconstitute_field", "divisor": 526, "modulus": 163, "bits": 8 },
318
- { "op": "reconstitute_field", "divisor": 527, "modulus": 161, "bits": 8 },
319
- { "op": "reconstitute_field", "divisor": 528, "modulus": 159, "bits": 8 },
320
- { "op": "reconstitute_field", "divisor": 529, "modulus": 157, "bits": 8 },
321
- { "op": "reconstitute_field", "divisor": 530, "modulus": 155, "bits": 8 },
322
- { "op": "reconstitute_field", "divisor": 531, "modulus": 153, "bits": 8 },
323
- { "op": "reconstitute_field", "divisor": 532, "modulus": 151, "bits": 8 },
324
- { "op": "reconstitute_field", "divisor": 533, "modulus": 149, "bits": 8 },
325
- { "op": "reconstitute_field", "divisor": 534, "modulus": 147, "bits": 8 },
326
- { "op": "reconstitute_field", "divisor": 535, "modulus": 145, "bits": 8 },
327
- { "op": "reconstitute_field", "divisor": 536, "modulus": 143, "bits": 8 },
328
- { "op": "reconstitute_field", "divisor": 537, "modulus": 260, "bits": 8 },
329
- { "op": "reconstitute_field", "divisor": 261, "modulus": 259, "bits": 8 },
330
- { "op": "reconstitute_field", "divisor": 539, "modulus": 257, "bits": 8 },
331
- { "op": "reconstitute_field", "divisor": 540, "modulus": 255, "bits": 8 },
332
- { "op": "reconstitute_field", "divisor": 541, "modulus": 253, "bits": 8 },
333
- { "op": "reconstitute_field", "divisor": 542, "modulus": 251, "bits": 8 },
334
- { "op": "reconstitute_field", "divisor": 543, "modulus": 249, "bits": 8 },
335
- { "op": "reconstitute_field", "divisor": 544, "modulus": 247, "bits": 8 },
336
- { "op": "reconstitute_field", "divisor": 545, "modulus": 245, "bits": 8 },
337
- { "op": "reconstitute_field", "divisor": 546, "modulus": 243, "bits": 8 },
338
- { "op": "reconstitute_field", "divisor": 547, "modulus": 241, "bits": 8 },
339
- { "op": "reconstitute_field", "divisor": 548, "modulus": 239, "bits": 8 },
340
- { "op": "reconstitute_field", "divisor": 549, "modulus": 237, "bits": 8 },
341
- { "op": "reconstitute_field", "divisor": 550, "modulus": 235, "bits": 8 },
342
- { "op": "reconstitute_field", "divisor": 551, "modulus": 233, "bits": 8 },
343
- { "op": "reconstitute_field", "divisor": 552, "modulus": 231, "bits": 8 },
344
- { "op": "reconstitute_field", "divisor": 553, "modulus": 229, "bits": 8 },
345
- { "op": "reconstitute_field", "divisor": 554, "modulus": 227, "bits": 8 },
346
- { "op": "reconstitute_field", "divisor": 555, "modulus": 225, "bits": 8 },
347
- { "op": "reconstitute_field", "divisor": 556, "modulus": 223, "bits": 8 },
348
- { "op": "reconstitute_field", "divisor": 557, "modulus": 221, "bits": 8 },
349
- { "op": "reconstitute_field", "divisor": 558, "modulus": 219, "bits": 8 },
350
- { "op": "reconstitute_field", "divisor": 559, "modulus": 217, "bits": 8 },
351
- { "op": "reconstitute_field", "divisor": 560, "modulus": 215, "bits": 8 },
352
- { "op": "reconstitute_field", "divisor": 561, "modulus": 213, "bits": 8 },
353
- { "op": "reconstitute_field", "divisor": 562, "modulus": 211, "bits": 8 },
354
- { "op": "reconstitute_field", "divisor": 563, "modulus": 209, "bits": 8 },
355
- { "op": "reconstitute_field", "divisor": 564, "modulus": 207, "bits": 8 },
356
- { "op": "reconstitute_field", "divisor": 565, "modulus": 205, "bits": 8 },
357
- { "op": "reconstitute_field", "divisor": 566, "modulus": 203, "bits": 8 },
358
- { "op": "reconstitute_field", "divisor": 567, "modulus": 320, "bits": 8 },
359
- { "op": "reconstitute_field", "divisor": 321, "modulus": 319, "bits": 8 },
360
- { "op": "reconstitute_field", "divisor": 569, "modulus": 317, "bits": 8 },
361
- { "op": "reconstitute_field", "divisor": 570, "modulus": 315, "bits": 8 },
362
- { "op": "reconstitute_field", "divisor": 571, "modulus": 313, "bits": 8 },
363
- { "op": "reconstitute_field", "divisor": 572, "modulus": 311, "bits": 8 },
364
- { "op": "reconstitute_field", "divisor": 573, "modulus": 309, "bits": 8 },
365
- { "op": "reconstitute_field", "divisor": 574, "modulus": 307, "bits": 8 },
366
- { "op": "reconstitute_field", "divisor": 575, "modulus": 305, "bits": 8 },
367
- { "op": "reconstitute_field", "divisor": 576, "modulus": 303, "bits": 8 },
368
- { "op": "reconstitute_field", "divisor": 577, "modulus": 301, "bits": 8 },
369
- { "op": "reconstitute_field", "divisor": 578, "modulus": 299, "bits": 8 },
370
- { "op": "reconstitute_field", "divisor": 579, "modulus": 297, "bits": 8 },
371
- { "op": "reconstitute_field", "divisor": 580, "modulus": 295, "bits": 8 },
372
- { "op": "reconstitute_field", "divisor": 581, "modulus": 293, "bits": 8 },
373
- { "op": "reconstitute_field", "divisor": 582, "modulus": 291, "bits": 8 },
374
- { "op": "reconstitute_field", "divisor": 583, "modulus": 289, "bits": 8 },
375
- { "op": "reconstitute_field", "divisor": 584, "modulus": 287, "bits": 8 },
376
- { "op": "reconstitute_field", "divisor": 585, "modulus": 285, "bits": 8 },
377
- { "op": "reconstitute_field", "divisor": 586, "modulus": 283, "bits": 8 },
378
- { "op": "reconstitute_field", "divisor": 587, "modulus": 281, "bits": 8 },
379
- { "op": "reconstitute_field", "divisor": 588, "modulus": 279, "bits": 8 },
380
- { "op": "reconstitute_field", "divisor": 589, "modulus": 277, "bits": 8 },
381
- { "op": "reconstitute_field", "divisor": 590, "modulus": 275, "bits": 8 },
382
- { "op": "reconstitute_field", "divisor": 591, "modulus": 273, "bits": 8 },
383
- { "op": "reconstitute_field", "divisor": 592, "modulus": 271, "bits": 8 },
384
- { "op": "reconstitute_field", "divisor": 593, "modulus": 269, "bits": 8 },
385
- { "op": "reconstitute_field", "divisor": 594, "modulus": 267, "bits": 8 },
386
- { "op": "reconstitute_field", "divisor": 595, "modulus": 265, "bits": 8 },
387
- { "op": "reconstitute_field", "divisor": 596, "modulus": 263, "bits": 8 },
388
- { "op": "reconstitute_field", "divisor": 597, "modulus": 380, "bits": 8 },
389
- { "op": "reconstitute_field", "divisor": 381, "modulus": 379, "bits": 8 },
390
- { "op": "reconstitute_field", "divisor": 599, "modulus": 377, "bits": 8 },
391
- { "op": "reconstitute_field", "divisor": 600, "modulus": 375, "bits": 8 },
392
- { "op": "reconstitute_field", "divisor": 601, "modulus": 373, "bits": 8 },
393
- { "op": "reconstitute_field", "divisor": 602, "modulus": 371, "bits": 8 },
394
- { "op": "reconstitute_field", "divisor": 603, "modulus": 369, "bits": 8 },
395
- { "op": "reconstitute_field", "divisor": 604, "modulus": 367, "bits": 8 },
396
- { "op": "reconstitute_field", "divisor": 605, "modulus": 365, "bits": 8 },
397
- { "op": "reconstitute_field", "divisor": 606, "modulus": 363, "bits": 8 },
398
- { "op": "reconstitute_field", "divisor": 607, "modulus": 361, "bits": 8 },
399
- { "op": "reconstitute_field", "divisor": 608, "modulus": 359, "bits": 8 },
400
- { "op": "reconstitute_field", "divisor": 609, "modulus": 357, "bits": 8 },
401
- { "op": "reconstitute_field", "divisor": 610, "modulus": 355, "bits": 8 },
402
- { "op": "reconstitute_field", "divisor": 611, "modulus": 353, "bits": 8 },
403
- { "op": "reconstitute_field", "divisor": 612, "modulus": 351, "bits": 8 },
404
- { "op": "reconstitute_field", "divisor": 613, "modulus": 349, "bits": 8 },
405
- { "op": "reconstitute_field", "divisor": 614, "modulus": 347, "bits": 8 },
406
- { "op": "reconstitute_field", "divisor": 615, "modulus": 345, "bits": 8 },
407
- { "op": "reconstitute_field", "divisor": 616, "modulus": 343, "bits": 8 },
408
- { "op": "reconstitute_field", "divisor": 617, "modulus": 341, "bits": 8 },
409
- { "op": "reconstitute_field", "divisor": 618, "modulus": 339, "bits": 8 },
410
- { "op": "reconstitute_field", "divisor": 619, "modulus": 337, "bits": 8 },
411
- { "op": "reconstitute_field", "divisor": 620, "modulus": 335, "bits": 8 },
412
- { "op": "reconstitute_field", "divisor": 621, "modulus": 333, "bits": 8 },
413
- { "op": "reconstitute_field", "divisor": 622, "modulus": 331, "bits": 8 },
414
- { "op": "reconstitute_field", "divisor": 623, "modulus": 329, "bits": 8 },
415
- { "op": "reconstitute_field", "divisor": 624, "modulus": 327, "bits": 8 },
416
- { "op": "reconstitute_field", "divisor": 625, "modulus": 325, "bits": 8 },
417
- { "op": "reconstitute_field", "divisor": 626, "modulus": 323, "bits": 8 },
418
- { "op": "reconstitute_field", "divisor": 627, "modulus": 440, "bits": 8 },
419
- { "op": "reconstitute_field", "divisor": 441, "modulus": 439, "bits": 8 },
420
- { "op": "reconstitute_field", "divisor": 629, "modulus": 437, "bits": 8 },
421
- { "op": "reconstitute_field", "divisor": 630, "modulus": 435, "bits": 8 },
422
- { "op": "reconstitute_field", "divisor": 631, "modulus": 433, "bits": 8 },
423
- { "op": "reconstitute_field", "divisor": 632, "modulus": 431, "bits": 8 },
424
- { "op": "reconstitute_field", "divisor": 633, "modulus": 429, "bits": 8 },
425
- { "op": "reconstitute_field", "divisor": 634, "modulus": 427, "bits": 8 },
426
- { "op": "reconstitute_field", "divisor": 635, "modulus": 425, "bits": 8 },
427
- { "op": "reconstitute_field", "divisor": 636, "modulus": 423, "bits": 8 },
428
- { "op": "reconstitute_field", "divisor": 637, "modulus": 421, "bits": 8 },
429
- { "op": "reconstitute_field", "divisor": 638, "modulus": 419, "bits": 8 },
430
- { "op": "reconstitute_field", "divisor": 639, "modulus": 417, "bits": 8 },
431
- { "op": "reconstitute_field", "divisor": 640, "modulus": 415, "bits": 8 },
432
- { "op": "reconstitute_field", "divisor": 641, "modulus": 413, "bits": 8 },
433
- { "op": "reconstitute_field", "divisor": 642, "modulus": 411, "bits": 8 },
434
- { "op": "reconstitute_field", "divisor": 643, "modulus": 409, "bits": 8 },
435
- { "op": "reconstitute_field", "divisor": 644, "modulus": 407, "bits": 8 },
436
- { "op": "reconstitute_field", "divisor": 645, "modulus": 405, "bits": 8 },
437
- { "op": "reconstitute_field", "divisor": 646, "modulus": 403, "bits": 8 },
438
- { "op": "reconstitute_field", "divisor": 647, "modulus": 401, "bits": 8 },
439
- { "op": "reconstitute_field", "divisor": 648, "modulus": 399, "bits": 8 },
440
- { "op": "reconstitute_field", "divisor": 649, "modulus": 397, "bits": 8 },
441
- { "op": "reconstitute_field", "divisor": 650, "modulus": 395, "bits": 8 },
442
- { "op": "reconstitute_field", "divisor": 651, "modulus": 393, "bits": 8 },
443
- { "op": "reconstitute_field", "divisor": 652, "modulus": 391, "bits": 8 },
444
- { "op": "reconstitute_field", "divisor": 653, "modulus": 389, "bits": 8 },
445
- { "op": "reconstitute_field", "divisor": 654, "modulus": 387, "bits": 8 },
446
- { "op": "reconstitute_field", "divisor": 655, "modulus": 385, "bits": 8 },
447
- { "op": "reconstitute_field", "divisor": 656, "modulus": 383, "bits": 8 },
448
- { "op": "reconstitute_field", "divisor": 657, "modulus": 0, "bits": 8 },
449
- { "op": "div_mod_power_of_two", "var": 448, "bits": 8 },
450
- { "op": "div_mod_power_of_two", "var": 659, "bits": 8 },
451
- { "op": "div_mod_power_of_two", "var": 661, "bits": 8 },
452
- { "op": "div_mod_power_of_two", "var": 663, "bits": 8 },
453
- { "op": "div_mod_power_of_two", "var": 665, "bits": 8 },
454
- { "op": "div_mod_power_of_two", "var": 667, "bits": 8 },
455
- { "op": "div_mod_power_of_two", "var": 669, "bits": 8 },
456
- { "op": "div_mod_power_of_two", "var": 671, "bits": 8 },
457
- { "op": "div_mod_power_of_two", "var": 673, "bits": 8 },
458
- { "op": "div_mod_power_of_two", "var": 675, "bits": 8 },
459
- { "op": "div_mod_power_of_two", "var": 677, "bits": 8 },
460
- { "op": "div_mod_power_of_two", "var": 679, "bits": 8 },
461
- { "op": "div_mod_power_of_two", "var": 681, "bits": 8 },
462
- { "op": "div_mod_power_of_two", "var": 683, "bits": 8 },
463
- { "op": "div_mod_power_of_two", "var": 685, "bits": 8 },
464
- { "op": "div_mod_power_of_two", "var": 687, "bits": 8 },
465
- { "op": "div_mod_power_of_two", "var": 689, "bits": 8 },
466
- { "op": "div_mod_power_of_two", "var": 691, "bits": 8 },
467
- { "op": "div_mod_power_of_two", "var": 693, "bits": 8 },
468
- { "op": "div_mod_power_of_two", "var": 695, "bits": 8 },
469
- { "op": "div_mod_power_of_two", "var": 697, "bits": 8 },
470
- { "op": "div_mod_power_of_two", "var": 699, "bits": 8 },
471
- { "op": "div_mod_power_of_two", "var": 701, "bits": 8 },
472
- { "op": "div_mod_power_of_two", "var": 703, "bits": 8 },
473
- { "op": "div_mod_power_of_two", "var": 705, "bits": 8 },
474
- { "op": "div_mod_power_of_two", "var": 707, "bits": 8 },
475
- { "op": "div_mod_power_of_two", "var": 709, "bits": 8 },
476
- { "op": "div_mod_power_of_two", "var": 711, "bits": 8 },
477
- { "op": "div_mod_power_of_two", "var": 713, "bits": 8 },
478
- { "op": "div_mod_power_of_two", "var": 715, "bits": 8 },
479
- { "op": "div_mod_power_of_two", "var": 478, "bits": 8 },
480
- { "op": "div_mod_power_of_two", "var": 719, "bits": 8 },
481
- { "op": "div_mod_power_of_two", "var": 721, "bits": 8 },
482
- { "op": "div_mod_power_of_two", "var": 723, "bits": 8 },
483
- { "op": "div_mod_power_of_two", "var": 725, "bits": 8 },
484
- { "op": "div_mod_power_of_two", "var": 727, "bits": 8 },
485
- { "op": "div_mod_power_of_two", "var": 729, "bits": 8 },
486
- { "op": "div_mod_power_of_two", "var": 731, "bits": 8 },
487
- { "op": "div_mod_power_of_two", "var": 733, "bits": 8 },
488
- { "op": "div_mod_power_of_two", "var": 735, "bits": 8 },
489
- { "op": "div_mod_power_of_two", "var": 737, "bits": 8 },
490
- { "op": "div_mod_power_of_two", "var": 739, "bits": 8 },
491
- { "op": "div_mod_power_of_two", "var": 741, "bits": 8 },
492
- { "op": "div_mod_power_of_two", "var": 743, "bits": 8 },
493
- { "op": "div_mod_power_of_two", "var": 745, "bits": 8 },
494
- { "op": "div_mod_power_of_two", "var": 747, "bits": 8 },
495
- { "op": "div_mod_power_of_two", "var": 749, "bits": 8 },
496
- { "op": "div_mod_power_of_two", "var": 751, "bits": 8 },
497
- { "op": "div_mod_power_of_two", "var": 753, "bits": 8 },
498
- { "op": "div_mod_power_of_two", "var": 755, "bits": 8 },
499
- { "op": "div_mod_power_of_two", "var": 757, "bits": 8 },
500
- { "op": "div_mod_power_of_two", "var": 759, "bits": 8 },
501
- { "op": "div_mod_power_of_two", "var": 761, "bits": 8 },
502
- { "op": "div_mod_power_of_two", "var": 763, "bits": 8 },
503
- { "op": "div_mod_power_of_two", "var": 765, "bits": 8 },
504
- { "op": "div_mod_power_of_two", "var": 767, "bits": 8 },
505
- { "op": "div_mod_power_of_two", "var": 769, "bits": 8 },
506
- { "op": "div_mod_power_of_two", "var": 771, "bits": 8 },
507
- { "op": "div_mod_power_of_two", "var": 773, "bits": 8 },
508
- { "op": "div_mod_power_of_two", "var": 775, "bits": 8 },
509
- { "op": "div_mod_power_of_two", "var": 508, "bits": 8 },
510
- { "op": "div_mod_power_of_two", "var": 779, "bits": 8 },
511
- { "op": "div_mod_power_of_two", "var": 781, "bits": 8 },
512
- { "op": "div_mod_power_of_two", "var": 783, "bits": 8 },
513
- { "op": "div_mod_power_of_two", "var": 785, "bits": 8 },
514
- { "op": "div_mod_power_of_two", "var": 787, "bits": 8 },
515
- { "op": "div_mod_power_of_two", "var": 789, "bits": 8 },
516
- { "op": "div_mod_power_of_two", "var": 791, "bits": 8 },
517
- { "op": "div_mod_power_of_two", "var": 793, "bits": 8 },
518
- { "op": "div_mod_power_of_two", "var": 795, "bits": 8 },
519
- { "op": "div_mod_power_of_two", "var": 797, "bits": 8 },
520
- { "op": "div_mod_power_of_two", "var": 799, "bits": 8 },
521
- { "op": "div_mod_power_of_two", "var": 801, "bits": 8 },
522
- { "op": "div_mod_power_of_two", "var": 803, "bits": 8 },
523
- { "op": "div_mod_power_of_two", "var": 805, "bits": 8 },
524
- { "op": "div_mod_power_of_two", "var": 807, "bits": 8 },
525
- { "op": "div_mod_power_of_two", "var": 809, "bits": 8 },
526
- { "op": "div_mod_power_of_two", "var": 811, "bits": 8 },
527
- { "op": "div_mod_power_of_two", "var": 813, "bits": 8 },
528
- { "op": "div_mod_power_of_two", "var": 815, "bits": 8 },
529
- { "op": "div_mod_power_of_two", "var": 817, "bits": 8 },
530
- { "op": "div_mod_power_of_two", "var": 819, "bits": 8 },
531
- { "op": "div_mod_power_of_two", "var": 821, "bits": 8 },
532
- { "op": "div_mod_power_of_two", "var": 823, "bits": 8 },
533
- { "op": "div_mod_power_of_two", "var": 825, "bits": 8 },
534
- { "op": "div_mod_power_of_two", "var": 827, "bits": 8 },
535
- { "op": "div_mod_power_of_two", "var": 829, "bits": 8 },
536
- { "op": "div_mod_power_of_two", "var": 831, "bits": 8 },
537
- { "op": "div_mod_power_of_two", "var": 833, "bits": 8 },
538
- { "op": "div_mod_power_of_two", "var": 835, "bits": 8 },
539
- { "op": "div_mod_power_of_two", "var": 538, "bits": 8 },
540
- { "op": "div_mod_power_of_two", "var": 839, "bits": 8 },
541
- { "op": "div_mod_power_of_two", "var": 841, "bits": 8 },
542
- { "op": "div_mod_power_of_two", "var": 843, "bits": 8 },
543
- { "op": "div_mod_power_of_two", "var": 845, "bits": 8 },
544
- { "op": "div_mod_power_of_two", "var": 847, "bits": 8 },
545
- { "op": "div_mod_power_of_two", "var": 849, "bits": 8 },
546
- { "op": "div_mod_power_of_two", "var": 851, "bits": 8 },
547
- { "op": "div_mod_power_of_two", "var": 853, "bits": 8 },
548
- { "op": "div_mod_power_of_two", "var": 855, "bits": 8 },
549
- { "op": "div_mod_power_of_two", "var": 857, "bits": 8 },
550
- { "op": "div_mod_power_of_two", "var": 859, "bits": 8 },
551
- { "op": "div_mod_power_of_two", "var": 861, "bits": 8 },
552
- { "op": "div_mod_power_of_two", "var": 863, "bits": 8 },
553
- { "op": "div_mod_power_of_two", "var": 865, "bits": 8 },
554
- { "op": "div_mod_power_of_two", "var": 867, "bits": 8 },
555
- { "op": "div_mod_power_of_two", "var": 869, "bits": 8 },
556
- { "op": "div_mod_power_of_two", "var": 871, "bits": 8 },
557
- { "op": "div_mod_power_of_two", "var": 873, "bits": 8 },
558
- { "op": "div_mod_power_of_two", "var": 875, "bits": 8 },
559
- { "op": "div_mod_power_of_two", "var": 877, "bits": 8 },
560
- { "op": "div_mod_power_of_two", "var": 879, "bits": 8 },
561
- { "op": "div_mod_power_of_two", "var": 881, "bits": 8 },
562
- { "op": "div_mod_power_of_two", "var": 883, "bits": 8 },
563
- { "op": "div_mod_power_of_two", "var": 885, "bits": 8 },
564
- { "op": "div_mod_power_of_two", "var": 887, "bits": 8 },
565
- { "op": "div_mod_power_of_two", "var": 889, "bits": 8 },
566
- { "op": "div_mod_power_of_two", "var": 891, "bits": 8 },
567
- { "op": "div_mod_power_of_two", "var": 893, "bits": 8 },
568
- { "op": "div_mod_power_of_two", "var": 895, "bits": 8 },
569
- { "op": "div_mod_power_of_two", "var": 568, "bits": 8 },
570
- { "op": "div_mod_power_of_two", "var": 899, "bits": 8 },
571
- { "op": "div_mod_power_of_two", "var": 901, "bits": 8 },
572
- { "op": "div_mod_power_of_two", "var": 903, "bits": 8 },
573
- { "op": "div_mod_power_of_two", "var": 905, "bits": 8 },
574
- { "op": "div_mod_power_of_two", "var": 907, "bits": 8 },
575
- { "op": "div_mod_power_of_two", "var": 909, "bits": 8 },
576
- { "op": "div_mod_power_of_two", "var": 911, "bits": 8 },
577
- { "op": "div_mod_power_of_two", "var": 913, "bits": 8 },
578
- { "op": "div_mod_power_of_two", "var": 915, "bits": 8 },
579
- { "op": "div_mod_power_of_two", "var": 917, "bits": 8 },
580
- { "op": "div_mod_power_of_two", "var": 919, "bits": 8 },
581
- { "op": "div_mod_power_of_two", "var": 921, "bits": 8 },
582
- { "op": "div_mod_power_of_two", "var": 923, "bits": 8 },
583
- { "op": "div_mod_power_of_two", "var": 925, "bits": 8 },
584
- { "op": "div_mod_power_of_two", "var": 927, "bits": 8 },
585
- { "op": "div_mod_power_of_two", "var": 929, "bits": 8 },
586
- { "op": "div_mod_power_of_two", "var": 931, "bits": 8 },
587
- { "op": "div_mod_power_of_two", "var": 933, "bits": 8 },
588
- { "op": "div_mod_power_of_two", "var": 935, "bits": 8 },
589
- { "op": "div_mod_power_of_two", "var": 937, "bits": 8 },
590
- { "op": "div_mod_power_of_two", "var": 939, "bits": 8 },
591
- { "op": "div_mod_power_of_two", "var": 941, "bits": 8 },
592
- { "op": "div_mod_power_of_two", "var": 943, "bits": 8 },
593
- { "op": "div_mod_power_of_two", "var": 945, "bits": 8 },
594
- { "op": "div_mod_power_of_two", "var": 947, "bits": 8 },
595
- { "op": "div_mod_power_of_two", "var": 949, "bits": 8 },
596
- { "op": "div_mod_power_of_two", "var": 951, "bits": 8 },
597
- { "op": "div_mod_power_of_two", "var": 953, "bits": 8 },
598
- { "op": "div_mod_power_of_two", "var": 955, "bits": 8 },
599
- { "op": "div_mod_power_of_two", "var": 598, "bits": 8 },
600
- { "op": "div_mod_power_of_two", "var": 959, "bits": 8 },
601
- { "op": "div_mod_power_of_two", "var": 961, "bits": 8 },
602
- { "op": "div_mod_power_of_two", "var": 963, "bits": 8 },
603
- { "op": "div_mod_power_of_two", "var": 965, "bits": 8 },
604
- { "op": "div_mod_power_of_two", "var": 967, "bits": 8 },
605
- { "op": "div_mod_power_of_two", "var": 969, "bits": 8 },
606
- { "op": "div_mod_power_of_two", "var": 971, "bits": 8 },
607
- { "op": "div_mod_power_of_two", "var": 973, "bits": 8 },
608
- { "op": "div_mod_power_of_two", "var": 975, "bits": 8 },
609
- { "op": "div_mod_power_of_two", "var": 977, "bits": 8 },
610
- { "op": "div_mod_power_of_two", "var": 979, "bits": 8 },
611
- { "op": "div_mod_power_of_two", "var": 981, "bits": 8 },
612
- { "op": "div_mod_power_of_two", "var": 983, "bits": 8 },
613
- { "op": "div_mod_power_of_two", "var": 985, "bits": 8 },
614
- { "op": "div_mod_power_of_two", "var": 987, "bits": 8 },
615
- { "op": "div_mod_power_of_two", "var": 989, "bits": 8 },
616
- { "op": "div_mod_power_of_two", "var": 991, "bits": 8 },
617
- { "op": "div_mod_power_of_two", "var": 993, "bits": 8 },
618
- { "op": "div_mod_power_of_two", "var": 995, "bits": 8 },
619
- { "op": "div_mod_power_of_two", "var": 997, "bits": 8 },
620
- { "op": "div_mod_power_of_two", "var": 999, "bits": 8 },
621
- { "op": "div_mod_power_of_two", "var": 1001, "bits": 8 },
622
- { "op": "div_mod_power_of_two", "var": 1003, "bits": 8 },
623
- { "op": "div_mod_power_of_two", "var": 1005, "bits": 8 },
624
- { "op": "div_mod_power_of_two", "var": 1007, "bits": 8 },
625
- { "op": "div_mod_power_of_two", "var": 1009, "bits": 8 },
626
- { "op": "div_mod_power_of_two", "var": 1011, "bits": 8 },
627
- { "op": "div_mod_power_of_two", "var": 1013, "bits": 8 },
628
- { "op": "div_mod_power_of_two", "var": 1015, "bits": 8 },
629
- { "op": "div_mod_power_of_two", "var": 628, "bits": 8 },
630
- { "op": "div_mod_power_of_two", "var": 1019, "bits": 8 },
631
- { "op": "div_mod_power_of_two", "var": 1021, "bits": 8 },
632
- { "op": "div_mod_power_of_two", "var": 1023, "bits": 8 },
633
- { "op": "div_mod_power_of_two", "var": 1025, "bits": 8 },
634
- { "op": "div_mod_power_of_two", "var": 1027, "bits": 8 },
635
- { "op": "div_mod_power_of_two", "var": 1029, "bits": 8 },
636
- { "op": "div_mod_power_of_two", "var": 1031, "bits": 8 },
637
- { "op": "div_mod_power_of_two", "var": 1033, "bits": 8 },
638
- { "op": "div_mod_power_of_two", "var": 1035, "bits": 8 },
639
- { "op": "div_mod_power_of_two", "var": 1037, "bits": 8 },
640
- { "op": "div_mod_power_of_two", "var": 1039, "bits": 8 },
641
- { "op": "div_mod_power_of_two", "var": 1041, "bits": 8 },
642
- { "op": "div_mod_power_of_two", "var": 1043, "bits": 8 },
643
- { "op": "div_mod_power_of_two", "var": 1045, "bits": 8 },
644
- { "op": "div_mod_power_of_two", "var": 1047, "bits": 8 },
645
- { "op": "div_mod_power_of_two", "var": 1049, "bits": 8 },
646
- { "op": "div_mod_power_of_two", "var": 1051, "bits": 8 },
647
- { "op": "div_mod_power_of_two", "var": 1053, "bits": 8 },
648
- { "op": "div_mod_power_of_two", "var": 1055, "bits": 8 },
649
- { "op": "div_mod_power_of_two", "var": 1057, "bits": 8 },
650
- { "op": "div_mod_power_of_two", "var": 1059, "bits": 8 },
651
- { "op": "div_mod_power_of_two", "var": 1061, "bits": 8 },
652
- { "op": "div_mod_power_of_two", "var": 1063, "bits": 8 },
653
- { "op": "div_mod_power_of_two", "var": 1065, "bits": 8 },
654
- { "op": "div_mod_power_of_two", "var": 1067, "bits": 8 },
655
- { "op": "div_mod_power_of_two", "var": 1069, "bits": 8 },
656
- { "op": "div_mod_power_of_two", "var": 1071, "bits": 8 },
657
- { "op": "div_mod_power_of_two", "var": 1073, "bits": 8 },
658
- { "op": "div_mod_power_of_two", "var": 1075, "bits": 8 },
659
- { "op": "div_mod_power_of_two", "var": 658, "bits": 8 },
660
- { "op": "div_mod_power_of_two", "var": 1079, "bits": 8 },
661
- { "op": "div_mod_power_of_two", "var": 1081, "bits": 8 },
662
- { "op": "div_mod_power_of_two", "var": 1083, "bits": 8 },
663
- { "op": "div_mod_power_of_two", "var": 1085, "bits": 8 },
664
- { "op": "div_mod_power_of_two", "var": 1087, "bits": 8 },
665
- { "op": "div_mod_power_of_two", "var": 1089, "bits": 8 },
666
- { "op": "div_mod_power_of_two", "var": 1091, "bits": 8 },
667
- { "op": "div_mod_power_of_two", "var": 1093, "bits": 8 },
668
- { "op": "div_mod_power_of_two", "var": 1095, "bits": 8 },
669
- { "op": "div_mod_power_of_two", "var": 1097, "bits": 8 },
670
- { "op": "div_mod_power_of_two", "var": 1099, "bits": 8 },
671
- { "op": "div_mod_power_of_two", "var": 1101, "bits": 8 },
672
- { "op": "div_mod_power_of_two", "var": 1103, "bits": 8 },
673
- { "op": "div_mod_power_of_two", "var": 1105, "bits": 8 },
674
- { "op": "div_mod_power_of_two", "var": 1107, "bits": 8 },
675
- { "op": "div_mod_power_of_two", "var": 1109, "bits": 8 },
676
- { "op": "div_mod_power_of_two", "var": 1111, "bits": 8 },
677
- { "op": "div_mod_power_of_two", "var": 1113, "bits": 8 },
678
- { "op": "div_mod_power_of_two", "var": 1115, "bits": 8 },
679
- { "op": "div_mod_power_of_two", "var": 1117, "bits": 8 },
680
- { "op": "div_mod_power_of_two", "var": 1119, "bits": 8 },
681
- { "op": "div_mod_power_of_two", "var": 1121, "bits": 8 },
682
- { "op": "div_mod_power_of_two", "var": 1123, "bits": 8 },
683
- { "op": "div_mod_power_of_two", "var": 1125, "bits": 8 },
684
- { "op": "div_mod_power_of_two", "var": 1127, "bits": 8 },
685
- { "op": "div_mod_power_of_two", "var": 1129, "bits": 8 },
686
- { "op": "div_mod_power_of_two", "var": 1131, "bits": 8 },
687
- { "op": "div_mod_power_of_two", "var": 1133, "bits": 8 },
688
- { "op": "div_mod_power_of_two", "var": 1135, "bits": 8 },
689
- { "op": "copy", "var": 717 },
690
- { "op": "reconstitute_field", "divisor": 718, "modulus": 716, "bits": 8 },
691
- { "op": "reconstitute_field", "divisor": 1140, "modulus": 714, "bits": 8 },
692
- { "op": "reconstitute_field", "divisor": 1141, "modulus": 712, "bits": 8 },
693
- { "op": "reconstitute_field", "divisor": 1142, "modulus": 710, "bits": 8 },
694
- { "op": "reconstitute_field", "divisor": 1143, "modulus": 708, "bits": 8 },
695
- { "op": "reconstitute_field", "divisor": 1144, "modulus": 706, "bits": 8 },
696
- { "op": "reconstitute_field", "divisor": 1145, "modulus": 704, "bits": 8 },
697
- { "op": "reconstitute_field", "divisor": 1146, "modulus": 702, "bits": 8 },
698
- { "op": "reconstitute_field", "divisor": 1147, "modulus": 700, "bits": 8 },
699
- { "op": "reconstitute_field", "divisor": 1148, "modulus": 698, "bits": 8 },
700
- { "op": "reconstitute_field", "divisor": 1149, "modulus": 696, "bits": 8 },
701
- { "op": "reconstitute_field", "divisor": 1150, "modulus": 694, "bits": 8 },
702
- { "op": "reconstitute_field", "divisor": 1151, "modulus": 692, "bits": 8 },
703
- { "op": "reconstitute_field", "divisor": 1152, "modulus": 690, "bits": 8 },
704
- { "op": "reconstitute_field", "divisor": 1153, "modulus": 688, "bits": 8 },
705
- { "op": "reconstitute_field", "divisor": 1154, "modulus": 686, "bits": 8 },
706
- { "op": "reconstitute_field", "divisor": 1155, "modulus": 684, "bits": 8 },
707
- { "op": "reconstitute_field", "divisor": 1156, "modulus": 682, "bits": 8 },
708
- { "op": "reconstitute_field", "divisor": 1157, "modulus": 680, "bits": 8 },
709
- { "op": "reconstitute_field", "divisor": 1158, "modulus": 678, "bits": 8 },
710
- { "op": "reconstitute_field", "divisor": 1159, "modulus": 676, "bits": 8 },
711
- { "op": "reconstitute_field", "divisor": 1160, "modulus": 674, "bits": 8 },
712
- { "op": "reconstitute_field", "divisor": 1161, "modulus": 672, "bits": 8 },
713
- { "op": "reconstitute_field", "divisor": 1162, "modulus": 670, "bits": 8 },
714
- { "op": "reconstitute_field", "divisor": 1163, "modulus": 668, "bits": 8 },
715
- { "op": "reconstitute_field", "divisor": 1164, "modulus": 666, "bits": 8 },
716
- { "op": "reconstitute_field", "divisor": 1165, "modulus": 664, "bits": 8 },
717
- { "op": "reconstitute_field", "divisor": 1166, "modulus": 662, "bits": 8 },
718
- { "op": "reconstitute_field", "divisor": 1167, "modulus": 660, "bits": 8 },
719
- { "op": "reconstitute_field", "divisor": 1168, "modulus": 777, "bits": 8 },
720
- { "op": "reconstitute_field", "divisor": 778, "modulus": 776, "bits": 8 },
721
- { "op": "reconstitute_field", "divisor": 1170, "modulus": 774, "bits": 8 },
722
- { "op": "reconstitute_field", "divisor": 1171, "modulus": 772, "bits": 8 },
723
- { "op": "reconstitute_field", "divisor": 1172, "modulus": 770, "bits": 8 },
724
- { "op": "reconstitute_field", "divisor": 1173, "modulus": 768, "bits": 8 },
725
- { "op": "reconstitute_field", "divisor": 1174, "modulus": 766, "bits": 8 },
726
- { "op": "reconstitute_field", "divisor": 1175, "modulus": 764, "bits": 8 },
727
- { "op": "reconstitute_field", "divisor": 1176, "modulus": 762, "bits": 8 },
728
- { "op": "reconstitute_field", "divisor": 1177, "modulus": 760, "bits": 8 },
729
- { "op": "reconstitute_field", "divisor": 1178, "modulus": 758, "bits": 8 },
730
- { "op": "reconstitute_field", "divisor": 1179, "modulus": 756, "bits": 8 },
731
- { "op": "reconstitute_field", "divisor": 1180, "modulus": 754, "bits": 8 },
732
- { "op": "reconstitute_field", "divisor": 1181, "modulus": 752, "bits": 8 },
733
- { "op": "reconstitute_field", "divisor": 1182, "modulus": 750, "bits": 8 },
734
- { "op": "reconstitute_field", "divisor": 1183, "modulus": 748, "bits": 8 },
735
- { "op": "reconstitute_field", "divisor": 1184, "modulus": 746, "bits": 8 },
736
- { "op": "reconstitute_field", "divisor": 1185, "modulus": 744, "bits": 8 },
737
- { "op": "reconstitute_field", "divisor": 1186, "modulus": 742, "bits": 8 },
738
- { "op": "reconstitute_field", "divisor": 1187, "modulus": 740, "bits": 8 },
739
- { "op": "reconstitute_field", "divisor": 1188, "modulus": 738, "bits": 8 },
740
- { "op": "reconstitute_field", "divisor": 1189, "modulus": 736, "bits": 8 },
741
- { "op": "reconstitute_field", "divisor": 1190, "modulus": 734, "bits": 8 },
742
- { "op": "reconstitute_field", "divisor": 1191, "modulus": 732, "bits": 8 },
743
- { "op": "reconstitute_field", "divisor": 1192, "modulus": 730, "bits": 8 },
744
- { "op": "reconstitute_field", "divisor": 1193, "modulus": 728, "bits": 8 },
745
- { "op": "reconstitute_field", "divisor": 1194, "modulus": 726, "bits": 8 },
746
- { "op": "reconstitute_field", "divisor": 1195, "modulus": 724, "bits": 8 },
747
- { "op": "reconstitute_field", "divisor": 1196, "modulus": 722, "bits": 8 },
748
- { "op": "reconstitute_field", "divisor": 1197, "modulus": 720, "bits": 8 },
749
- { "op": "reconstitute_field", "divisor": 1198, "modulus": 837, "bits": 8 },
750
- { "op": "reconstitute_field", "divisor": 838, "modulus": 836, "bits": 8 },
751
- { "op": "reconstitute_field", "divisor": 1200, "modulus": 834, "bits": 8 },
752
- { "op": "reconstitute_field", "divisor": 1201, "modulus": 832, "bits": 8 },
753
- { "op": "reconstitute_field", "divisor": 1202, "modulus": 830, "bits": 8 },
754
- { "op": "reconstitute_field", "divisor": 1203, "modulus": 828, "bits": 8 },
755
- { "op": "reconstitute_field", "divisor": 1204, "modulus": 826, "bits": 8 },
756
- { "op": "reconstitute_field", "divisor": 1205, "modulus": 824, "bits": 8 },
757
- { "op": "reconstitute_field", "divisor": 1206, "modulus": 822, "bits": 8 },
758
- { "op": "reconstitute_field", "divisor": 1207, "modulus": 820, "bits": 8 },
759
- { "op": "reconstitute_field", "divisor": 1208, "modulus": 818, "bits": 8 },
760
- { "op": "reconstitute_field", "divisor": 1209, "modulus": 816, "bits": 8 },
761
- { "op": "reconstitute_field", "divisor": 1210, "modulus": 814, "bits": 8 },
762
- { "op": "reconstitute_field", "divisor": 1211, "modulus": 812, "bits": 8 },
763
- { "op": "reconstitute_field", "divisor": 1212, "modulus": 810, "bits": 8 },
764
- { "op": "reconstitute_field", "divisor": 1213, "modulus": 808, "bits": 8 },
765
- { "op": "reconstitute_field", "divisor": 1214, "modulus": 806, "bits": 8 },
766
- { "op": "reconstitute_field", "divisor": 1215, "modulus": 804, "bits": 8 },
767
- { "op": "reconstitute_field", "divisor": 1216, "modulus": 802, "bits": 8 },
768
- { "op": "reconstitute_field", "divisor": 1217, "modulus": 800, "bits": 8 },
769
- { "op": "reconstitute_field", "divisor": 1218, "modulus": 798, "bits": 8 },
770
- { "op": "reconstitute_field", "divisor": 1219, "modulus": 796, "bits": 8 },
771
- { "op": "reconstitute_field", "divisor": 1220, "modulus": 794, "bits": 8 },
772
- { "op": "reconstitute_field", "divisor": 1221, "modulus": 792, "bits": 8 },
773
- { "op": "reconstitute_field", "divisor": 1222, "modulus": 790, "bits": 8 },
774
- { "op": "reconstitute_field", "divisor": 1223, "modulus": 788, "bits": 8 },
775
- { "op": "reconstitute_field", "divisor": 1224, "modulus": 786, "bits": 8 },
776
- { "op": "reconstitute_field", "divisor": 1225, "modulus": 784, "bits": 8 },
777
- { "op": "reconstitute_field", "divisor": 1226, "modulus": 782, "bits": 8 },
778
- { "op": "reconstitute_field", "divisor": 1227, "modulus": 780, "bits": 8 },
779
- { "op": "reconstitute_field", "divisor": 1228, "modulus": 897, "bits": 8 },
780
- { "op": "reconstitute_field", "divisor": 898, "modulus": 896, "bits": 8 },
781
- { "op": "reconstitute_field", "divisor": 1230, "modulus": 894, "bits": 8 },
782
- { "op": "reconstitute_field", "divisor": 1231, "modulus": 892, "bits": 8 },
783
- { "op": "reconstitute_field", "divisor": 1232, "modulus": 890, "bits": 8 },
784
- { "op": "reconstitute_field", "divisor": 1233, "modulus": 888, "bits": 8 },
785
- { "op": "reconstitute_field", "divisor": 1234, "modulus": 886, "bits": 8 },
786
- { "op": "reconstitute_field", "divisor": 1235, "modulus": 884, "bits": 8 },
787
- { "op": "reconstitute_field", "divisor": 1236, "modulus": 882, "bits": 8 },
788
- { "op": "reconstitute_field", "divisor": 1237, "modulus": 880, "bits": 8 },
789
- { "op": "reconstitute_field", "divisor": 1238, "modulus": 878, "bits": 8 },
790
- { "op": "reconstitute_field", "divisor": 1239, "modulus": 876, "bits": 8 },
791
- { "op": "reconstitute_field", "divisor": 1240, "modulus": 874, "bits": 8 },
792
- { "op": "reconstitute_field", "divisor": 1241, "modulus": 872, "bits": 8 },
793
- { "op": "reconstitute_field", "divisor": 1242, "modulus": 870, "bits": 8 },
794
- { "op": "reconstitute_field", "divisor": 1243, "modulus": 868, "bits": 8 },
795
- { "op": "reconstitute_field", "divisor": 1244, "modulus": 866, "bits": 8 },
796
- { "op": "reconstitute_field", "divisor": 1245, "modulus": 864, "bits": 8 },
797
- { "op": "reconstitute_field", "divisor": 1246, "modulus": 862, "bits": 8 },
798
- { "op": "reconstitute_field", "divisor": 1247, "modulus": 860, "bits": 8 },
799
- { "op": "reconstitute_field", "divisor": 1248, "modulus": 858, "bits": 8 },
800
- { "op": "reconstitute_field", "divisor": 1249, "modulus": 856, "bits": 8 },
801
- { "op": "reconstitute_field", "divisor": 1250, "modulus": 854, "bits": 8 },
802
- { "op": "reconstitute_field", "divisor": 1251, "modulus": 852, "bits": 8 },
803
- { "op": "reconstitute_field", "divisor": 1252, "modulus": 850, "bits": 8 },
804
- { "op": "reconstitute_field", "divisor": 1253, "modulus": 848, "bits": 8 },
805
- { "op": "reconstitute_field", "divisor": 1254, "modulus": 846, "bits": 8 },
806
- { "op": "reconstitute_field", "divisor": 1255, "modulus": 844, "bits": 8 },
807
- { "op": "reconstitute_field", "divisor": 1256, "modulus": 842, "bits": 8 },
808
- { "op": "reconstitute_field", "divisor": 1257, "modulus": 840, "bits": 8 },
809
- { "op": "reconstitute_field", "divisor": 1258, "modulus": 957, "bits": 8 },
810
- { "op": "reconstitute_field", "divisor": 958, "modulus": 956, "bits": 8 },
811
- { "op": "reconstitute_field", "divisor": 1260, "modulus": 954, "bits": 8 },
812
- { "op": "reconstitute_field", "divisor": 1261, "modulus": 952, "bits": 8 },
813
- { "op": "reconstitute_field", "divisor": 1262, "modulus": 950, "bits": 8 },
814
- { "op": "reconstitute_field", "divisor": 1263, "modulus": 948, "bits": 8 },
815
- { "op": "reconstitute_field", "divisor": 1264, "modulus": 946, "bits": 8 },
816
- { "op": "reconstitute_field", "divisor": 1265, "modulus": 944, "bits": 8 },
817
- { "op": "reconstitute_field", "divisor": 1266, "modulus": 942, "bits": 8 },
818
- { "op": "reconstitute_field", "divisor": 1267, "modulus": 940, "bits": 8 },
819
- { "op": "reconstitute_field", "divisor": 1268, "modulus": 938, "bits": 8 },
820
- { "op": "reconstitute_field", "divisor": 1269, "modulus": 936, "bits": 8 },
821
- { "op": "reconstitute_field", "divisor": 1270, "modulus": 934, "bits": 8 },
822
- { "op": "reconstitute_field", "divisor": 1271, "modulus": 932, "bits": 8 },
823
- { "op": "reconstitute_field", "divisor": 1272, "modulus": 930, "bits": 8 },
824
- { "op": "reconstitute_field", "divisor": 1273, "modulus": 928, "bits": 8 },
825
- { "op": "reconstitute_field", "divisor": 1274, "modulus": 926, "bits": 8 },
826
- { "op": "reconstitute_field", "divisor": 1275, "modulus": 924, "bits": 8 },
827
- { "op": "reconstitute_field", "divisor": 1276, "modulus": 922, "bits": 8 },
828
- { "op": "reconstitute_field", "divisor": 1277, "modulus": 920, "bits": 8 },
829
- { "op": "reconstitute_field", "divisor": 1278, "modulus": 918, "bits": 8 },
830
- { "op": "reconstitute_field", "divisor": 1279, "modulus": 916, "bits": 8 },
831
- { "op": "reconstitute_field", "divisor": 1280, "modulus": 914, "bits": 8 },
832
- { "op": "reconstitute_field", "divisor": 1281, "modulus": 912, "bits": 8 },
833
- { "op": "reconstitute_field", "divisor": 1282, "modulus": 910, "bits": 8 },
834
- { "op": "reconstitute_field", "divisor": 1283, "modulus": 908, "bits": 8 },
835
- { "op": "reconstitute_field", "divisor": 1284, "modulus": 906, "bits": 8 },
836
- { "op": "reconstitute_field", "divisor": 1285, "modulus": 904, "bits": 8 },
837
- { "op": "reconstitute_field", "divisor": 1286, "modulus": 902, "bits": 8 },
838
- { "op": "reconstitute_field", "divisor": 1287, "modulus": 900, "bits": 8 },
839
- { "op": "reconstitute_field", "divisor": 1288, "modulus": 1017, "bits": 8 },
840
- { "op": "reconstitute_field", "divisor": 1018, "modulus": 1016, "bits": 8 },
841
- { "op": "reconstitute_field", "divisor": 1290, "modulus": 1014, "bits": 8 },
842
- { "op": "reconstitute_field", "divisor": 1291, "modulus": 1012, "bits": 8 },
843
- { "op": "reconstitute_field", "divisor": 1292, "modulus": 1010, "bits": 8 },
844
- { "op": "reconstitute_field", "divisor": 1293, "modulus": 1008, "bits": 8 },
845
- { "op": "reconstitute_field", "divisor": 1294, "modulus": 1006, "bits": 8 },
846
- { "op": "reconstitute_field", "divisor": 1295, "modulus": 1004, "bits": 8 },
847
- { "op": "reconstitute_field", "divisor": 1296, "modulus": 1002, "bits": 8 },
848
- { "op": "reconstitute_field", "divisor": 1297, "modulus": 1000, "bits": 8 },
849
- { "op": "reconstitute_field", "divisor": 1298, "modulus": 998, "bits": 8 },
850
- { "op": "reconstitute_field", "divisor": 1299, "modulus": 996, "bits": 8 },
851
- { "op": "reconstitute_field", "divisor": 1300, "modulus": 994, "bits": 8 },
852
- { "op": "reconstitute_field", "divisor": 1301, "modulus": 992, "bits": 8 },
853
- { "op": "reconstitute_field", "divisor": 1302, "modulus": 990, "bits": 8 },
854
- { "op": "reconstitute_field", "divisor": 1303, "modulus": 988, "bits": 8 },
855
- { "op": "reconstitute_field", "divisor": 1304, "modulus": 986, "bits": 8 },
856
- { "op": "reconstitute_field", "divisor": 1305, "modulus": 984, "bits": 8 },
857
- { "op": "reconstitute_field", "divisor": 1306, "modulus": 982, "bits": 8 },
858
- { "op": "reconstitute_field", "divisor": 1307, "modulus": 980, "bits": 8 },
859
- { "op": "reconstitute_field", "divisor": 1308, "modulus": 978, "bits": 8 },
860
- { "op": "reconstitute_field", "divisor": 1309, "modulus": 976, "bits": 8 },
861
- { "op": "reconstitute_field", "divisor": 1310, "modulus": 974, "bits": 8 },
862
- { "op": "reconstitute_field", "divisor": 1311, "modulus": 972, "bits": 8 },
863
- { "op": "reconstitute_field", "divisor": 1312, "modulus": 970, "bits": 8 },
864
- { "op": "reconstitute_field", "divisor": 1313, "modulus": 968, "bits": 8 },
865
- { "op": "reconstitute_field", "divisor": 1314, "modulus": 966, "bits": 8 },
866
- { "op": "reconstitute_field", "divisor": 1315, "modulus": 964, "bits": 8 },
867
- { "op": "reconstitute_field", "divisor": 1316, "modulus": 962, "bits": 8 },
868
- { "op": "reconstitute_field", "divisor": 1317, "modulus": 960, "bits": 8 },
869
- { "op": "reconstitute_field", "divisor": 1318, "modulus": 1077, "bits": 8 },
870
- { "op": "reconstitute_field", "divisor": 1078, "modulus": 1076, "bits": 8 },
871
- { "op": "reconstitute_field", "divisor": 1320, "modulus": 1074, "bits": 8 },
872
- { "op": "reconstitute_field", "divisor": 1321, "modulus": 1072, "bits": 8 },
873
- { "op": "reconstitute_field", "divisor": 1322, "modulus": 1070, "bits": 8 },
874
- { "op": "reconstitute_field", "divisor": 1323, "modulus": 1068, "bits": 8 },
875
- { "op": "reconstitute_field", "divisor": 1324, "modulus": 1066, "bits": 8 },
876
- { "op": "reconstitute_field", "divisor": 1325, "modulus": 1064, "bits": 8 },
877
- { "op": "reconstitute_field", "divisor": 1326, "modulus": 1062, "bits": 8 },
878
- { "op": "reconstitute_field", "divisor": 1327, "modulus": 1060, "bits": 8 },
879
- { "op": "reconstitute_field", "divisor": 1328, "modulus": 1058, "bits": 8 },
880
- { "op": "reconstitute_field", "divisor": 1329, "modulus": 1056, "bits": 8 },
881
- { "op": "reconstitute_field", "divisor": 1330, "modulus": 1054, "bits": 8 },
882
- { "op": "reconstitute_field", "divisor": 1331, "modulus": 1052, "bits": 8 },
883
- { "op": "reconstitute_field", "divisor": 1332, "modulus": 1050, "bits": 8 },
884
- { "op": "reconstitute_field", "divisor": 1333, "modulus": 1048, "bits": 8 },
885
- { "op": "reconstitute_field", "divisor": 1334, "modulus": 1046, "bits": 8 },
886
- { "op": "reconstitute_field", "divisor": 1335, "modulus": 1044, "bits": 8 },
887
- { "op": "reconstitute_field", "divisor": 1336, "modulus": 1042, "bits": 8 },
888
- { "op": "reconstitute_field", "divisor": 1337, "modulus": 1040, "bits": 8 },
889
- { "op": "reconstitute_field", "divisor": 1338, "modulus": 1038, "bits": 8 },
890
- { "op": "reconstitute_field", "divisor": 1339, "modulus": 1036, "bits": 8 },
891
- { "op": "reconstitute_field", "divisor": 1340, "modulus": 1034, "bits": 8 },
892
- { "op": "reconstitute_field", "divisor": 1341, "modulus": 1032, "bits": 8 },
893
- { "op": "reconstitute_field", "divisor": 1342, "modulus": 1030, "bits": 8 },
894
- { "op": "reconstitute_field", "divisor": 1343, "modulus": 1028, "bits": 8 },
895
- { "op": "reconstitute_field", "divisor": 1344, "modulus": 1026, "bits": 8 },
896
- { "op": "reconstitute_field", "divisor": 1345, "modulus": 1024, "bits": 8 },
897
- { "op": "reconstitute_field", "divisor": 1346, "modulus": 1022, "bits": 8 },
898
- { "op": "reconstitute_field", "divisor": 1347, "modulus": 1020, "bits": 8 },
899
- { "op": "reconstitute_field", "divisor": 1348, "modulus": 1137, "bits": 8 },
900
- { "op": "load_imm", "imm": "00" },
901
- { "op": "reconstitute_field", "divisor": 1138, "modulus": 1136, "bits": 8 },
902
- { "op": "reconstitute_field", "divisor": 1351, "modulus": 1134, "bits": 8 },
903
- { "op": "reconstitute_field", "divisor": 1352, "modulus": 1132, "bits": 8 },
904
- { "op": "reconstitute_field", "divisor": 1353, "modulus": 1130, "bits": 8 },
905
- { "op": "reconstitute_field", "divisor": 1354, "modulus": 1128, "bits": 8 },
906
- { "op": "reconstitute_field", "divisor": 1355, "modulus": 1126, "bits": 8 },
907
- { "op": "reconstitute_field", "divisor": 1356, "modulus": 1124, "bits": 8 },
908
- { "op": "reconstitute_field", "divisor": 1357, "modulus": 1122, "bits": 8 },
909
- { "op": "reconstitute_field", "divisor": 1358, "modulus": 1120, "bits": 8 },
910
- { "op": "reconstitute_field", "divisor": 1359, "modulus": 1118, "bits": 8 },
911
- { "op": "reconstitute_field", "divisor": 1360, "modulus": 1116, "bits": 8 },
912
- { "op": "reconstitute_field", "divisor": 1361, "modulus": 1114, "bits": 8 },
913
- { "op": "reconstitute_field", "divisor": 1362, "modulus": 1112, "bits": 8 },
914
- { "op": "reconstitute_field", "divisor": 1363, "modulus": 1110, "bits": 8 },
915
- { "op": "reconstitute_field", "divisor": 1364, "modulus": 1108, "bits": 8 },
916
- { "op": "reconstitute_field", "divisor": 1365, "modulus": 1106, "bits": 8 },
917
- { "op": "reconstitute_field", "divisor": 1366, "modulus": 1104, "bits": 8 },
918
- { "op": "reconstitute_field", "divisor": 1367, "modulus": 1102, "bits": 8 },
919
- { "op": "reconstitute_field", "divisor": 1368, "modulus": 1100, "bits": 8 },
920
- { "op": "reconstitute_field", "divisor": 1369, "modulus": 1098, "bits": 8 },
921
- { "op": "reconstitute_field", "divisor": 1370, "modulus": 1096, "bits": 8 },
922
- { "op": "reconstitute_field", "divisor": 1371, "modulus": 1094, "bits": 8 },
923
- { "op": "reconstitute_field", "divisor": 1372, "modulus": 1092, "bits": 8 },
924
- { "op": "reconstitute_field", "divisor": 1373, "modulus": 1090, "bits": 8 },
925
- { "op": "reconstitute_field", "divisor": 1374, "modulus": 1088, "bits": 8 },
926
- { "op": "reconstitute_field", "divisor": 1375, "modulus": 1086, "bits": 8 },
927
- { "op": "reconstitute_field", "divisor": 1376, "modulus": 1084, "bits": 8 },
928
- { "op": "reconstitute_field", "divisor": 1377, "modulus": 1082, "bits": 8 },
929
- { "op": "reconstitute_field", "divisor": 1378, "modulus": 1080, "bits": 8 },
930
- { "op": "reconstitute_field", "divisor": 1379, "modulus": 1350, "bits": 8 },
931
- { "op": "load_imm", "imm": "5369676E4269646972656374696F6E616C4576656E74" },
932
- { "op": "load_imm", "imm": "10" },
933
- { "op": "load_imm", "imm": "33" },
934
- { "op": "load_imm", "imm": "04" },
935
- { "op": "load_imm", "imm": "0A" },
936
- { "op": "load_imm", "imm": "2001" },
937
- { "op": "declare_pub_input", "var": 1382 },
938
- { "op": "declare_pub_input", "var": 1383 },
939
- { "op": "declare_pub_input", "var": 9 },
940
- { "op": "declare_pub_input", "var": 9 },
941
- { "op": "declare_pub_input", "var": 1384 },
942
- { "op": "declare_pub_input", "var": 9 },
943
- { "op": "declare_pub_input", "var": 9 },
944
- { "op": "declare_pub_input", "var": 9 },
945
- { "op": "declare_pub_input", "var": 9 },
946
- { "op": "declare_pub_input", "var": 1385 },
947
- { "op": "declare_pub_input", "var": 9 },
948
- { "op": "declare_pub_input", "var": 9 },
949
- { "op": "declare_pub_input", "var": 1386 },
950
- { "op": "declare_pub_input", "var": 1139 },
951
- { "op": "declare_pub_input", "var": 1169 },
952
- { "op": "declare_pub_input", "var": 1199 },
953
- { "op": "declare_pub_input", "var": 1229 },
954
- { "op": "declare_pub_input", "var": 1259 },
955
- { "op": "declare_pub_input", "var": 1289 },
956
- { "op": "declare_pub_input", "var": 1319 },
957
- { "op": "declare_pub_input", "var": 1349 },
958
- { "op": "declare_pub_input", "var": 1380 },
959
- { "op": "declare_pub_input", "var": 1381 },
960
- { "op": "pi_skip", "guard": 9, "count": 23 },
961
- { "op": "load_imm", "imm": "09" },
962
- { "op": "declare_pub_input", "var": 1387 },
963
- { "op": "pi_skip", "guard": 9, "count": 1 }
964
- ]
965
- }