aesthetic.computer
Monorepo for Aesthetic.Computer
aesthetic.computer
1[
2 {
3 "prim": "storage",
4 "args": [
5 {
6 "prim": "pair",
7 "args": [
8 { "prim": "address", "annots": [ "%administrator" ] },
9 {
10 "prim": "pair",
11 "args": [
12 { "prim": "big_map", "args": [ { "prim": "bytes" }, { "prim": "nat" } ], "annots": [ "%content_hashes" ] },
13 {
14 "prim": "pair",
15 "args": [
16 { "prim": "bool", "annots": [ "%contract_metadata_locked" ] },
17 {
18 "prim": "pair",
19 "args": [
20 { "prim": "nat", "annots": [ "%default_royalty_bps" ] },
21 {
22 "prim": "pair",
23 "args": [
24 { "prim": "mutez", "annots": [ "%keep_fee" ] },
25 {
26 "prim": "pair",
27 "args": [
28 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ], "annots": [ "%ledger" ] },
29 {
30 "prim": "pair",
31 "args": [
32 { "prim": "big_map", "args": [ { "prim": "string" }, { "prim": "bytes" } ], "annots": [ "%metadata" ] },
33 {
34 "prim": "pair",
35 "args": [
36 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "bool" } ], "annots": [ "%metadata_locked" ] },
37 {
38 "prim": "pair",
39 "args": [
40 { "prim": "nat", "annots": [ "%next_token_id" ] },
41 {
42 "prim": "pair",
43 "args": [
44 {
45 "prim": "big_map",
46 "args": [
47 {
48 "prim": "pair",
49 "args": [
50 { "prim": "address", "annots": [ "%owner" ] },
51 {
52 "prim": "pair",
53 "args": [ { "prim": "address", "annots": [ "%operator" ] }, { "prim": "nat", "annots": [ "%token_id" ] } ]
54 }
55 ]
56 },
57 { "prim": "unit" }
58 ],
59 "annots": [ "%operators" ]
60 },
61 {
62 "prim": "pair",
63 "args": [
64 { "prim": "bool", "annots": [ "%paused" ] },
65 {
66 "prim": "pair",
67 "args": [
68 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ], "annots": [ "%token_creators" ] },
69 {
70 "prim": "big_map",
71 "args": [
72 { "prim": "nat" },
73 {
74 "prim": "pair",
75 "args": [
76 { "prim": "nat", "annots": [ "%token_id" ] },
77 { "prim": "map", "args": [ { "prim": "string" }, { "prim": "bytes" } ], "annots": [ "%token_info" ] }
78 ]
79 }
80 ],
81 "annots": [ "%token_metadata" ]
82 }
83 ]
84 }
85 ]
86 }
87 ]
88 }
89 ]
90 }
91 ]
92 }
93 ]
94 }
95 ]
96 }
97 ]
98 }
99 ]
100 }
101 ]
102 }
103 ]
104 }
105 ]
106 }
107 ]
108 },
109 {
110 "prim": "parameter",
111 "args": [
112 {
113 "prim": "or",
114 "args": [
115 {
116 "prim": "or",
117 "args": [
118 {
119 "prim": "or",
120 "args": [
121 {
122 "prim": "or",
123 "args": [
124 {
125 "prim": "pair",
126 "args": [
127 { "prim": "address", "annots": [ "%from_" ] },
128 { "prim": "pair", "args": [ { "prim": "address", "annots": [ "%to_" ] }, { "prim": "nat", "annots": [ "%token_id" ] } ] }
129 ],
130 "annots": [ "%admin_transfer" ]
131 },
132 {
133 "prim": "pair",
134 "args": [
135 {
136 "prim": "list",
137 "args": [ { "prim": "pair", "args": [ { "prim": "address", "annots": [ "%owner" ] }, { "prim": "nat", "annots": [ "%token_id" ] } ] } ],
138 "annots": [ "%requests" ]
139 },
140 {
141 "prim": "contract",
142 "args": [
143 {
144 "prim": "list",
145 "args": [
146 {
147 "prim": "pair",
148 "args": [
149 {
150 "prim": "pair",
151 "args": [ { "prim": "address", "annots": [ "%owner" ] }, { "prim": "nat", "annots": [ "%token_id" ] } ],
152 "annots": [ "%request" ]
153 },
154 { "prim": "nat", "annots": [ "%balance" ] }
155 ]
156 }
157 ]
158 }
159 ],
160 "annots": [ "%callback" ]
161 }
162 ],
163 "annots": [ "%balance_of" ]
164 }
165 ]
166 },
167 {
168 "prim": "or",
169 "args": [
170 {
171 "prim": "list",
172 "args": [
173 {
174 "prim": "pair",
175 "args": [
176 { "prim": "address", "annots": [ "%from_" ] },
177 { "prim": "pair", "args": [ { "prim": "nat", "annots": [ "%token_id" ] }, { "prim": "nat", "annots": [ "%amount" ] } ] }
178 ]
179 }
180 ],
181 "annots": [ "%burn" ]
182 },
183 { "prim": "nat", "annots": [ "%burn_keep" ] }
184 ]
185 }
186 ]
187 },
188 {
189 "prim": "or",
190 "args": [
191 {
192 "prim": "or",
193 "args": [
194 {
195 "prim": "pair",
196 "args": [
197 { "prim": "nat", "annots": [ "%token_id" ] }, { "prim": "map", "args": [ { "prim": "string" }, { "prim": "bytes" } ], "annots": [ "%token_info" ] }
198 ],
199 "annots": [ "%edit_metadata" ]
200 },
201 {
202 "prim": "pair",
203 "args": [
204 { "prim": "bytes", "annots": [ "%artifactUri" ] },
205 {
206 "prim": "pair",
207 "args": [
208 { "prim": "bytes", "annots": [ "%content_hash" ] },
209 {
210 "prim": "pair",
211 "args": [
212 { "prim": "bytes", "annots": [ "%creators" ] },
213 {
214 "prim": "pair",
215 "args": [
216 { "prim": "bytes", "annots": [ "%decimals" ] },
217 {
218 "prim": "pair",
219 "args": [
220 { "prim": "bytes", "annots": [ "%description" ] },
221 {
222 "prim": "pair",
223 "args": [
224 { "prim": "bytes", "annots": [ "%displayUri" ] },
225 {
226 "prim": "pair",
227 "args": [
228 { "prim": "bytes", "annots": [ "%metadata_uri" ] },
229 {
230 "prim": "pair",
231 "args": [
232 { "prim": "bytes", "annots": [ "%name" ] },
233 {
234 "prim": "pair",
235 "args": [
236 { "prim": "address", "annots": [ "%owner" ] },
237 {
238 "prim": "pair",
239 "args": [
240 { "prim": "bytes", "annots": [ "%royalties" ] },
241 {
242 "prim": "pair",
243 "args": [ { "prim": "bytes", "annots": [ "%symbol" ] }, { "prim": "bytes", "annots": [ "%thumbnailUri" ] } ]
244 }
245 ]
246 }
247 ]
248 }
249 ]
250 }
251 ]
252 }
253 ]
254 }
255 ]
256 }
257 ]
258 }
259 ]
260 }
261 ]
262 }
263 ],
264 "annots": [ "%keep" ]
265 }
266 ]
267 },
268 {
269 "prim": "or",
270 "args": [
271 { "prim": "unit", "annots": [ "%lock_contract_metadata" ] },
272 {
273 "prim": "or",
274 "args": [
275 { "prim": "nat", "annots": [ "%lock_metadata" ] },
276 {
277 "prim": "list",
278 "args": [
279 {
280 "prim": "pair",
281 "args": [
282 { "prim": "address", "annots": [ "%to_" ] }, { "prim": "map", "args": [ { "prim": "string" }, { "prim": "bytes" } ], "annots": [ "%metadata" ] }
283 ]
284 }
285 ],
286 "annots": [ "%mint" ]
287 }
288 ]
289 }
290 ]
291 }
292 ]
293 }
294 ]
295 },
296 {
297 "prim": "or",
298 "args": [
299 {
300 "prim": "or",
301 "args": [
302 { "prim": "or", "args": [ { "prim": "unit", "annots": [ "%pause" ] }, { "prim": "address", "annots": [ "%set_administrator" ] } ] },
303 {
304 "prim": "or",
305 "args": [
306 {
307 "prim": "list",
308 "args": [ { "prim": "pair", "args": [ { "prim": "string", "annots": [ "%key" ] }, { "prim": "bytes", "annots": [ "%value" ] } ] } ],
309 "annots": [ "%set_contract_metadata" ]
310 },
311 { "prim": "nat", "annots": [ "%set_default_royalty" ] }
312 ]
313 }
314 ]
315 },
316 {
317 "prim": "or",
318 "args": [
319 {
320 "prim": "or",
321 "args": [
322 { "prim": "mutez", "annots": [ "%set_keep_fee" ] },
323 {
324 "prim": "list",
325 "args": [
326 {
327 "prim": "pair",
328 "args": [
329 { "prim": "address", "annots": [ "%from_" ] },
330 {
331 "prim": "list",
332 "args": [
333 {
334 "prim": "pair",
335 "args": [
336 { "prim": "address", "annots": [ "%to_" ] },
337 { "prim": "pair", "args": [ { "prim": "nat", "annots": [ "%token_id" ] }, { "prim": "nat", "annots": [ "%amount" ] } ] }
338 ]
339 }
340 ],
341 "annots": [ "%txs" ]
342 }
343 ]
344 }
345 ],
346 "annots": [ "%transfer" ]
347 }
348 ]
349 },
350 {
351 "prim": "or",
352 "args": [
353 { "prim": "unit", "annots": [ "%unpause" ] },
354 {
355 "prim": "or",
356 "args": [
357 {
358 "prim": "list",
359 "args": [
360 {
361 "prim": "or",
362 "args": [
363 {
364 "prim": "pair",
365 "args": [
366 { "prim": "address", "annots": [ "%owner" ] },
367 { "prim": "pair", "args": [ { "prim": "address", "annots": [ "%operator" ] }, { "prim": "nat", "annots": [ "%token_id" ] } ] }
368 ],
369 "annots": [ "%add_operator" ]
370 },
371 {
372 "prim": "pair",
373 "args": [
374 { "prim": "address", "annots": [ "%owner" ] },
375 { "prim": "pair", "args": [ { "prim": "address", "annots": [ "%operator" ] }, { "prim": "nat", "annots": [ "%token_id" ] } ] }
376 ],
377 "annots": [ "%remove_operator" ]
378 }
379 ]
380 }
381 ],
382 "annots": [ "%update_operators" ]
383 },
384 { "prim": "address", "annots": [ "%withdraw_fees" ] }
385 ]
386 }
387 ]
388 }
389 ]
390 }
391 ]
392 }
393 ]
394 }
395 ]
396 },
397 {
398 "prim": "code",
399 "args": [
400 [
401 {
402 "prim": "LAMBDA",
403 "args": [
404 {
405 "prim": "pair",
406 "args": [
407 {
408 "prim": "pair",
409 "args": [
410 {
411 "prim": "lambda",
412 "args": [
413 {
414 "prim": "pair",
415 "args": [
416 { "prim": "nat" },
417 {
418 "prim": "pair",
419 "args": [
420 { "prim": "address" },
421 {
422 "prim": "pair",
423 "args": [
424 { "prim": "big_map", "args": [ { "prim": "bytes" }, { "prim": "nat" } ] },
425 {
426 "prim": "pair",
427 "args": [
428 { "prim": "bool" },
429 {
430 "prim": "pair",
431 "args": [
432 { "prim": "nat" },
433 {
434 "prim": "pair",
435 "args": [
436 { "prim": "mutez" },
437 {
438 "prim": "pair",
439 "args": [
440 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
441 {
442 "prim": "pair",
443 "args": [
444 { "prim": "big_map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] },
445 {
446 "prim": "pair",
447 "args": [
448 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "bool" } ] },
449 {
450 "prim": "pair",
451 "args": [
452 { "prim": "nat" },
453 {
454 "prim": "pair",
455 "args": [
456 {
457 "prim": "big_map",
458 "args": [
459 {
460 "prim": "pair",
461 "args": [
462 { "prim": "address" }, { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] }
463 ]
464 },
465 { "prim": "unit" }
466 ]
467 },
468 {
469 "prim": "pair",
470 "args": [
471 { "prim": "bool" },
472 {
473 "prim": "pair",
474 "args": [
475 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
476 {
477 "prim": "big_map",
478 "args": [
479 { "prim": "nat" },
480 {
481 "prim": "pair",
482 "args": [
483 { "prim": "nat" }, { "prim": "map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] }
484 ]
485 }
486 ]
487 }
488 ]
489 }
490 ]
491 }
492 ]
493 }
494 ]
495 }
496 ]
497 }
498 ]
499 }
500 ]
501 }
502 ]
503 }
504 ]
505 }
506 ]
507 }
508 ]
509 }
510 ]
511 }
512 ]
513 },
514 {
515 "prim": "pair",
516 "args": [
517 { "prim": "bool" },
518 {
519 "prim": "pair",
520 "args": [
521 { "prim": "address" },
522 {
523 "prim": "pair",
524 "args": [
525 { "prim": "big_map", "args": [ { "prim": "bytes" }, { "prim": "nat" } ] },
526 {
527 "prim": "pair",
528 "args": [
529 { "prim": "bool" },
530 {
531 "prim": "pair",
532 "args": [
533 { "prim": "nat" },
534 {
535 "prim": "pair",
536 "args": [
537 { "prim": "mutez" },
538 {
539 "prim": "pair",
540 "args": [
541 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
542 {
543 "prim": "pair",
544 "args": [
545 { "prim": "big_map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] },
546 {
547 "prim": "pair",
548 "args": [
549 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "bool" } ] },
550 {
551 "prim": "pair",
552 "args": [
553 { "prim": "nat" },
554 {
555 "prim": "pair",
556 "args": [
557 {
558 "prim": "big_map",
559 "args": [
560 {
561 "prim": "pair",
562 "args": [
563 { "prim": "address" }, { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] }
564 ]
565 },
566 { "prim": "unit" }
567 ]
568 },
569 {
570 "prim": "pair",
571 "args": [
572 { "prim": "bool" },
573 {
574 "prim": "pair",
575 "args": [
576 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
577 {
578 "prim": "big_map",
579 "args": [
580 { "prim": "nat" },
581 {
582 "prim": "pair",
583 "args": [
584 { "prim": "nat" }, { "prim": "map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] }
585 ]
586 }
587 ]
588 }
589 ]
590 }
591 ]
592 }
593 ]
594 }
595 ]
596 }
597 ]
598 }
599 ]
600 }
601 ]
602 }
603 ]
604 }
605 ]
606 }
607 ]
608 }
609 ]
610 }
611 ]
612 }
613 ]
614 }
615 ]
616 },
617 { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] }
618 ]
619 },
620 {
621 "prim": "pair",
622 "args": [
623 { "prim": "address" },
624 {
625 "prim": "pair",
626 "args": [
627 { "prim": "big_map", "args": [ { "prim": "bytes" }, { "prim": "nat" } ] },
628 {
629 "prim": "pair",
630 "args": [
631 { "prim": "bool" },
632 {
633 "prim": "pair",
634 "args": [
635 { "prim": "nat" },
636 {
637 "prim": "pair",
638 "args": [
639 { "prim": "mutez" },
640 {
641 "prim": "pair",
642 "args": [
643 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
644 {
645 "prim": "pair",
646 "args": [
647 { "prim": "big_map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] },
648 {
649 "prim": "pair",
650 "args": [
651 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "bool" } ] },
652 {
653 "prim": "pair",
654 "args": [
655 { "prim": "nat" },
656 {
657 "prim": "pair",
658 "args": [
659 {
660 "prim": "big_map",
661 "args": [
662 {
663 "prim": "pair",
664 "args": [ { "prim": "address" }, { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] } ]
665 },
666 { "prim": "unit" }
667 ]
668 },
669 {
670 "prim": "pair",
671 "args": [
672 { "prim": "bool" },
673 {
674 "prim": "pair",
675 "args": [
676 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
677 {
678 "prim": "big_map",
679 "args": [
680 { "prim": "nat" },
681 {
682 "prim": "pair",
683 "args": [ { "prim": "nat" }, { "prim": "map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] } ]
684 }
685 ]
686 }
687 ]
688 }
689 ]
690 }
691 ]
692 }
693 ]
694 }
695 ]
696 }
697 ]
698 }
699 ]
700 }
701 ]
702 }
703 ]
704 }
705 ]
706 }
707 ]
708 }
709 ]
710 }
711 ]
712 },
713 {
714 "prim": "pair",
715 "args": [
716 { "prim": "nat" },
717 {
718 "prim": "pair",
719 "args": [
720 { "prim": "address" },
721 {
722 "prim": "pair",
723 "args": [
724 { "prim": "big_map", "args": [ { "prim": "bytes" }, { "prim": "nat" } ] },
725 {
726 "prim": "pair",
727 "args": [
728 { "prim": "bool" },
729 {
730 "prim": "pair",
731 "args": [
732 { "prim": "nat" },
733 {
734 "prim": "pair",
735 "args": [
736 { "prim": "mutez" },
737 {
738 "prim": "pair",
739 "args": [
740 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
741 {
742 "prim": "pair",
743 "args": [
744 { "prim": "big_map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] },
745 {
746 "prim": "pair",
747 "args": [
748 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "bool" } ] },
749 {
750 "prim": "pair",
751 "args": [
752 { "prim": "nat" },
753 {
754 "prim": "pair",
755 "args": [
756 {
757 "prim": "big_map",
758 "args": [
759 {
760 "prim": "pair",
761 "args": [ { "prim": "address" }, { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] } ]
762 },
763 { "prim": "unit" }
764 ]
765 },
766 {
767 "prim": "pair",
768 "args": [
769 { "prim": "bool" },
770 {
771 "prim": "pair",
772 "args": [
773 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
774 {
775 "prim": "big_map",
776 "args": [
777 { "prim": "nat" },
778 {
779 "prim": "pair",
780 "args": [ { "prim": "nat" }, { "prim": "map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] } ]
781 }
782 ]
783 }
784 ]
785 }
786 ]
787 }
788 ]
789 }
790 ]
791 }
792 ]
793 }
794 ]
795 }
796 ]
797 }
798 ]
799 }
800 ]
801 }
802 ]
803 }
804 ]
805 }
806 ]
807 }
808 ]
809 },
810 [
811 { "prim": "UNPAIR" },
812 { "prim": "UNPAIR" },
813 { "prim": "SWAP" },
814 { "prim": "DUP" },
815 { "prim": "CDR" },
816 { "prim": "DIG", "args": [ { "int": "2" } ] },
817 { "prim": "DIG", "args": [ { "int": "3" } ] },
818 { "prim": "DIG", "args": [ { "int": "2" } ] },
819 { "prim": "PAIR" },
820 { "prim": "EXEC" },
821 { "prim": "UNPAIR" },
822 { "prim": "SWAP" },
823 { "prim": "DUG", "args": [ { "int": "2" } ] },
824 { "prim": "IF", "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "FA2_TOKEN_UNDEFINED" } ] }, { "prim": "FAILWITH" } ] ] },
825 { "prim": "DUP" },
826 { "prim": "CAR" },
827 { "prim": "DUP", "args": [ { "int": "3" } ] },
828 { "prim": "GET", "args": [ { "int": "11" } ] },
829 { "prim": "DIG", "args": [ { "int": "2" } ] },
830 { "prim": "CDR" },
831 { "prim": "GET" },
832 { "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "372" } ] }, { "prim": "FAILWITH" } ], [] ] },
833 { "prim": "COMPARE" },
834 { "prim": "EQ" },
835 {
836 "prim": "IF",
837 "args": [ [ { "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "1" } ] } ], [ { "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] } ] ]
838 },
839 { "prim": "PAIR" }
840 ]
841 ]
842 },
843 { "prim": "SWAP" },
844 {
845 "prim": "LAMBDA",
846 "args": [
847 { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] } ] },
848 { "prim": "unit" },
849 [
850 { "prim": "CAR" },
851 { "prim": "SENDER" },
852 { "prim": "COMPARE" },
853 { "prim": "EQ" },
854 { "prim": "IF", "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "FA2_NOT_OWNER" } ] }, { "prim": "FAILWITH" } ] ] },
855 { "prim": "UNIT" }
856 ]
857 ]
858 },
859 { "prim": "SWAP" },
860 {
861 "prim": "LAMBDA",
862 "args": [
863 {
864 "prim": "pair",
865 "args": [
866 { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] } ] },
867 {
868 "prim": "pair",
869 "args": [
870 { "prim": "address" },
871 {
872 "prim": "pair",
873 "args": [
874 { "prim": "big_map", "args": [ { "prim": "bytes" }, { "prim": "nat" } ] },
875 {
876 "prim": "pair",
877 "args": [
878 { "prim": "bool" },
879 {
880 "prim": "pair",
881 "args": [
882 { "prim": "nat" },
883 {
884 "prim": "pair",
885 "args": [
886 { "prim": "mutez" },
887 {
888 "prim": "pair",
889 "args": [
890 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
891 {
892 "prim": "pair",
893 "args": [
894 { "prim": "big_map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] },
895 {
896 "prim": "pair",
897 "args": [
898 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "bool" } ] },
899 {
900 "prim": "pair",
901 "args": [
902 { "prim": "nat" },
903 {
904 "prim": "pair",
905 "args": [
906 {
907 "prim": "big_map",
908 "args": [
909 {
910 "prim": "pair",
911 "args": [ { "prim": "address" }, { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] } ]
912 },
913 { "prim": "unit" }
914 ]
915 },
916 {
917 "prim": "pair",
918 "args": [
919 { "prim": "bool" },
920 {
921 "prim": "pair",
922 "args": [
923 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
924 {
925 "prim": "big_map",
926 "args": [
927 { "prim": "nat" },
928 {
929 "prim": "pair",
930 "args": [ { "prim": "nat" }, { "prim": "map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] } ]
931 }
932 ]
933 }
934 ]
935 }
936 ]
937 }
938 ]
939 }
940 ]
941 }
942 ]
943 }
944 ]
945 }
946 ]
947 }
948 ]
949 }
950 ]
951 }
952 ]
953 }
954 ]
955 }
956 ]
957 }
958 ]
959 },
960 {
961 "prim": "pair",
962 "args": [
963 { "prim": "unit" },
964 {
965 "prim": "pair",
966 "args": [
967 { "prim": "address" },
968 {
969 "prim": "pair",
970 "args": [
971 { "prim": "big_map", "args": [ { "prim": "bytes" }, { "prim": "nat" } ] },
972 {
973 "prim": "pair",
974 "args": [
975 { "prim": "bool" },
976 {
977 "prim": "pair",
978 "args": [
979 { "prim": "nat" },
980 {
981 "prim": "pair",
982 "args": [
983 { "prim": "mutez" },
984 {
985 "prim": "pair",
986 "args": [
987 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
988 {
989 "prim": "pair",
990 "args": [
991 { "prim": "big_map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] },
992 {
993 "prim": "pair",
994 "args": [
995 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "bool" } ] },
996 {
997 "prim": "pair",
998 "args": [
999 { "prim": "nat" },
1000 {
1001 "prim": "pair",
1002 "args": [
1003 {
1004 "prim": "big_map",
1005 "args": [
1006 {
1007 "prim": "pair",
1008 "args": [ { "prim": "address" }, { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] } ]
1009 },
1010 { "prim": "unit" }
1011 ]
1012 },
1013 {
1014 "prim": "pair",
1015 "args": [
1016 { "prim": "bool" },
1017 {
1018 "prim": "pair",
1019 "args": [
1020 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
1021 {
1022 "prim": "big_map",
1023 "args": [
1024 { "prim": "nat" },
1025 {
1026 "prim": "pair",
1027 "args": [ { "prim": "nat" }, { "prim": "map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] } ]
1028 }
1029 ]
1030 }
1031 ]
1032 }
1033 ]
1034 }
1035 ]
1036 }
1037 ]
1038 }
1039 ]
1040 }
1041 ]
1042 }
1043 ]
1044 }
1045 ]
1046 }
1047 ]
1048 }
1049 ]
1050 }
1051 ]
1052 }
1053 ]
1054 }
1055 ]
1056 },
1057 [
1058 { "prim": "UNPAIR" },
1059 { "prim": "DUP" },
1060 { "prim": "CAR" },
1061 { "prim": "SENDER" },
1062 { "prim": "COMPARE" },
1063 { "prim": "EQ" },
1064 {
1065 "prim": "IF",
1066 "args": [
1067 [ { "prim": "DROP" }, { "prim": "PUSH", "args": [ { "prim": "bool" }, { "prim": "True" } ] } ],
1068 [
1069 { "prim": "DUP", "args": [ { "int": "2" } ] },
1070 { "prim": "GET", "args": [ { "int": "19" } ] },
1071 { "prim": "DUP", "args": [ { "int": "2" } ] },
1072 { "prim": "GET", "args": [ { "int": "4" } ] },
1073 { "prim": "SENDER" },
1074 { "prim": "DIG", "args": [ { "int": "3" } ] },
1075 { "prim": "CAR" },
1076 { "prim": "PAIR", "args": [ { "int": "3" } ] },
1077 { "prim": "MEM" }
1078 ]
1079 ]
1080 },
1081 { "prim": "IF", "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "FA2_NOT_OPERATOR" } ] }, { "prim": "FAILWITH" } ] ] },
1082 { "prim": "UNIT" },
1083 { "prim": "PAIR" }
1084 ]
1085 ]
1086 },
1087 { "prim": "SWAP" },
1088 {
1089 "prim": "LAMBDA",
1090 "args": [
1091 {
1092 "prim": "pair",
1093 "args": [
1094 { "prim": "unit" },
1095 {
1096 "prim": "pair",
1097 "args": [
1098 { "prim": "address" },
1099 {
1100 "prim": "pair",
1101 "args": [
1102 { "prim": "big_map", "args": [ { "prim": "bytes" }, { "prim": "nat" } ] },
1103 {
1104 "prim": "pair",
1105 "args": [
1106 { "prim": "bool" },
1107 {
1108 "prim": "pair",
1109 "args": [
1110 { "prim": "nat" },
1111 {
1112 "prim": "pair",
1113 "args": [
1114 { "prim": "mutez" },
1115 {
1116 "prim": "pair",
1117 "args": [
1118 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
1119 {
1120 "prim": "pair",
1121 "args": [
1122 { "prim": "big_map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] },
1123 {
1124 "prim": "pair",
1125 "args": [
1126 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "bool" } ] },
1127 {
1128 "prim": "pair",
1129 "args": [
1130 { "prim": "nat" },
1131 {
1132 "prim": "pair",
1133 "args": [
1134 {
1135 "prim": "big_map",
1136 "args": [
1137 {
1138 "prim": "pair",
1139 "args": [ { "prim": "address" }, { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] } ]
1140 },
1141 { "prim": "unit" }
1142 ]
1143 },
1144 {
1145 "prim": "pair",
1146 "args": [
1147 { "prim": "bool" },
1148 {
1149 "prim": "pair",
1150 "args": [
1151 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
1152 {
1153 "prim": "big_map",
1154 "args": [
1155 { "prim": "nat" },
1156 {
1157 "prim": "pair",
1158 "args": [ { "prim": "nat" }, { "prim": "map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] } ]
1159 }
1160 ]
1161 }
1162 ]
1163 }
1164 ]
1165 }
1166 ]
1167 }
1168 ]
1169 }
1170 ]
1171 }
1172 ]
1173 }
1174 ]
1175 }
1176 ]
1177 }
1178 ]
1179 }
1180 ]
1181 }
1182 ]
1183 }
1184 ]
1185 }
1186 ]
1187 },
1188 {
1189 "prim": "pair",
1190 "args": [
1191 { "prim": "bool" },
1192 {
1193 "prim": "pair",
1194 "args": [
1195 { "prim": "address" },
1196 {
1197 "prim": "pair",
1198 "args": [
1199 { "prim": "big_map", "args": [ { "prim": "bytes" }, { "prim": "nat" } ] },
1200 {
1201 "prim": "pair",
1202 "args": [
1203 { "prim": "bool" },
1204 {
1205 "prim": "pair",
1206 "args": [
1207 { "prim": "nat" },
1208 {
1209 "prim": "pair",
1210 "args": [
1211 { "prim": "mutez" },
1212 {
1213 "prim": "pair",
1214 "args": [
1215 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
1216 {
1217 "prim": "pair",
1218 "args": [
1219 { "prim": "big_map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] },
1220 {
1221 "prim": "pair",
1222 "args": [
1223 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "bool" } ] },
1224 {
1225 "prim": "pair",
1226 "args": [
1227 { "prim": "nat" },
1228 {
1229 "prim": "pair",
1230 "args": [
1231 {
1232 "prim": "big_map",
1233 "args": [
1234 {
1235 "prim": "pair",
1236 "args": [ { "prim": "address" }, { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] } ]
1237 },
1238 { "prim": "unit" }
1239 ]
1240 },
1241 {
1242 "prim": "pair",
1243 "args": [
1244 { "prim": "bool" },
1245 {
1246 "prim": "pair",
1247 "args": [
1248 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
1249 {
1250 "prim": "big_map",
1251 "args": [
1252 { "prim": "nat" },
1253 {
1254 "prim": "pair",
1255 "args": [ { "prim": "nat" }, { "prim": "map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] } ]
1256 }
1257 ]
1258 }
1259 ]
1260 }
1261 ]
1262 }
1263 ]
1264 }
1265 ]
1266 }
1267 ]
1268 }
1269 ]
1270 }
1271 ]
1272 }
1273 ]
1274 }
1275 ]
1276 }
1277 ]
1278 }
1279 ]
1280 }
1281 ]
1282 }
1283 ]
1284 },
1285 [ { "prim": "CDR" }, { "prim": "DUP" }, { "prim": "CAR" }, { "prim": "SENDER" }, { "prim": "COMPARE" }, { "prim": "EQ" }, { "prim": "PAIR" } ]
1286 ]
1287 },
1288 { "prim": "SWAP" },
1289 {
1290 "prim": "LAMBDA",
1291 "args": [
1292 {
1293 "prim": "pair",
1294 "args": [
1295 { "prim": "nat" },
1296 {
1297 "prim": "pair",
1298 "args": [
1299 { "prim": "address" },
1300 {
1301 "prim": "pair",
1302 "args": [
1303 { "prim": "big_map", "args": [ { "prim": "bytes" }, { "prim": "nat" } ] },
1304 {
1305 "prim": "pair",
1306 "args": [
1307 { "prim": "bool" },
1308 {
1309 "prim": "pair",
1310 "args": [
1311 { "prim": "nat" },
1312 {
1313 "prim": "pair",
1314 "args": [
1315 { "prim": "mutez" },
1316 {
1317 "prim": "pair",
1318 "args": [
1319 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
1320 {
1321 "prim": "pair",
1322 "args": [
1323 { "prim": "big_map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] },
1324 {
1325 "prim": "pair",
1326 "args": [
1327 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "bool" } ] },
1328 {
1329 "prim": "pair",
1330 "args": [
1331 { "prim": "nat" },
1332 {
1333 "prim": "pair",
1334 "args": [
1335 {
1336 "prim": "big_map",
1337 "args": [
1338 {
1339 "prim": "pair",
1340 "args": [ { "prim": "address" }, { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] } ]
1341 },
1342 { "prim": "unit" }
1343 ]
1344 },
1345 {
1346 "prim": "pair",
1347 "args": [
1348 { "prim": "bool" },
1349 {
1350 "prim": "pair",
1351 "args": [
1352 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
1353 {
1354 "prim": "big_map",
1355 "args": [
1356 { "prim": "nat" },
1357 {
1358 "prim": "pair",
1359 "args": [ { "prim": "nat" }, { "prim": "map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] } ]
1360 }
1361 ]
1362 }
1363 ]
1364 }
1365 ]
1366 }
1367 ]
1368 }
1369 ]
1370 }
1371 ]
1372 }
1373 ]
1374 }
1375 ]
1376 }
1377 ]
1378 }
1379 ]
1380 }
1381 ]
1382 }
1383 ]
1384 }
1385 ]
1386 }
1387 ]
1388 },
1389 {
1390 "prim": "pair",
1391 "args": [
1392 { "prim": "bool" },
1393 {
1394 "prim": "pair",
1395 "args": [
1396 { "prim": "address" },
1397 {
1398 "prim": "pair",
1399 "args": [
1400 { "prim": "big_map", "args": [ { "prim": "bytes" }, { "prim": "nat" } ] },
1401 {
1402 "prim": "pair",
1403 "args": [
1404 { "prim": "bool" },
1405 {
1406 "prim": "pair",
1407 "args": [
1408 { "prim": "nat" },
1409 {
1410 "prim": "pair",
1411 "args": [
1412 { "prim": "mutez" },
1413 {
1414 "prim": "pair",
1415 "args": [
1416 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
1417 {
1418 "prim": "pair",
1419 "args": [
1420 { "prim": "big_map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] },
1421 {
1422 "prim": "pair",
1423 "args": [
1424 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "bool" } ] },
1425 {
1426 "prim": "pair",
1427 "args": [
1428 { "prim": "nat" },
1429 {
1430 "prim": "pair",
1431 "args": [
1432 {
1433 "prim": "big_map",
1434 "args": [
1435 {
1436 "prim": "pair",
1437 "args": [ { "prim": "address" }, { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] } ]
1438 },
1439 { "prim": "unit" }
1440 ]
1441 },
1442 {
1443 "prim": "pair",
1444 "args": [
1445 { "prim": "bool" },
1446 {
1447 "prim": "pair",
1448 "args": [
1449 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
1450 {
1451 "prim": "big_map",
1452 "args": [
1453 { "prim": "nat" },
1454 {
1455 "prim": "pair",
1456 "args": [ { "prim": "nat" }, { "prim": "map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] } ]
1457 }
1458 ]
1459 }
1460 ]
1461 }
1462 ]
1463 }
1464 ]
1465 }
1466 ]
1467 }
1468 ]
1469 }
1470 ]
1471 }
1472 ]
1473 }
1474 ]
1475 }
1476 ]
1477 }
1478 ]
1479 }
1480 ]
1481 }
1482 ]
1483 }
1484 ]
1485 },
1486 [
1487 { "prim": "UNPAIR" },
1488 { "prim": "SWAP" },
1489 { "prim": "DUP" },
1490 { "prim": "GET", "args": [ { "int": "24" } ] },
1491 { "prim": "DIG", "args": [ { "int": "2" } ] },
1492 { "prim": "MEM" },
1493 { "prim": "PAIR" }
1494 ]
1495 ]
1496 },
1497 { "prim": "SWAP" },
1498 {
1499 "prim": "LAMBDA",
1500 "args": [
1501 {
1502 "prim": "pair",
1503 "args": [
1504 { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] } ] },
1505 {
1506 "prim": "pair",
1507 "args": [
1508 { "prim": "address" },
1509 {
1510 "prim": "pair",
1511 "args": [
1512 { "prim": "big_map", "args": [ { "prim": "bytes" }, { "prim": "nat" } ] },
1513 {
1514 "prim": "pair",
1515 "args": [
1516 { "prim": "bool" },
1517 {
1518 "prim": "pair",
1519 "args": [
1520 { "prim": "nat" },
1521 {
1522 "prim": "pair",
1523 "args": [
1524 { "prim": "mutez" },
1525 {
1526 "prim": "pair",
1527 "args": [
1528 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
1529 {
1530 "prim": "pair",
1531 "args": [
1532 { "prim": "big_map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] },
1533 {
1534 "prim": "pair",
1535 "args": [
1536 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "bool" } ] },
1537 {
1538 "prim": "pair",
1539 "args": [
1540 { "prim": "nat" },
1541 {
1542 "prim": "pair",
1543 "args": [
1544 {
1545 "prim": "big_map",
1546 "args": [
1547 {
1548 "prim": "pair",
1549 "args": [ { "prim": "address" }, { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] } ]
1550 },
1551 { "prim": "unit" }
1552 ]
1553 },
1554 {
1555 "prim": "pair",
1556 "args": [
1557 { "prim": "bool" },
1558 {
1559 "prim": "pair",
1560 "args": [
1561 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
1562 {
1563 "prim": "big_map",
1564 "args": [
1565 { "prim": "nat" },
1566 {
1567 "prim": "pair",
1568 "args": [ { "prim": "nat" }, { "prim": "map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] } ]
1569 }
1570 ]
1571 }
1572 ]
1573 }
1574 ]
1575 }
1576 ]
1577 }
1578 ]
1579 }
1580 ]
1581 }
1582 ]
1583 }
1584 ]
1585 }
1586 ]
1587 }
1588 ]
1589 }
1590 ]
1591 }
1592 ]
1593 }
1594 ]
1595 }
1596 ]
1597 },
1598 {
1599 "prim": "pair",
1600 "args": [
1601 { "prim": "bool" },
1602 {
1603 "prim": "pair",
1604 "args": [
1605 { "prim": "address" },
1606 {
1607 "prim": "pair",
1608 "args": [
1609 { "prim": "big_map", "args": [ { "prim": "bytes" }, { "prim": "nat" } ] },
1610 {
1611 "prim": "pair",
1612 "args": [
1613 { "prim": "bool" },
1614 {
1615 "prim": "pair",
1616 "args": [
1617 { "prim": "nat" },
1618 {
1619 "prim": "pair",
1620 "args": [
1621 { "prim": "mutez" },
1622 {
1623 "prim": "pair",
1624 "args": [
1625 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
1626 {
1627 "prim": "pair",
1628 "args": [
1629 { "prim": "big_map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] },
1630 {
1631 "prim": "pair",
1632 "args": [
1633 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "bool" } ] },
1634 {
1635 "prim": "pair",
1636 "args": [
1637 { "prim": "nat" },
1638 {
1639 "prim": "pair",
1640 "args": [
1641 {
1642 "prim": "big_map",
1643 "args": [
1644 {
1645 "prim": "pair",
1646 "args": [ { "prim": "address" }, { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] } ]
1647 },
1648 { "prim": "unit" }
1649 ]
1650 },
1651 {
1652 "prim": "pair",
1653 "args": [
1654 { "prim": "bool" },
1655 {
1656 "prim": "pair",
1657 "args": [
1658 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
1659 {
1660 "prim": "big_map",
1661 "args": [
1662 { "prim": "nat" },
1663 {
1664 "prim": "pair",
1665 "args": [ { "prim": "nat" }, { "prim": "map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] } ]
1666 }
1667 ]
1668 }
1669 ]
1670 }
1671 ]
1672 }
1673 ]
1674 }
1675 ]
1676 }
1677 ]
1678 }
1679 ]
1680 }
1681 ]
1682 }
1683 ]
1684 }
1685 ]
1686 }
1687 ]
1688 }
1689 ]
1690 }
1691 ]
1692 }
1693 ]
1694 },
1695 [
1696 { "prim": "UNPAIR" },
1697 { "prim": "SWAP" },
1698 { "prim": "DUP" },
1699 { "prim": "GET", "args": [ { "int": "19" } ] },
1700 { "prim": "DIG", "args": [ { "int": "2" } ] },
1701 { "prim": "MEM" },
1702 { "prim": "PAIR" }
1703 ]
1704 ]
1705 },
1706 { "prim": "SWAP" },
1707 {
1708 "prim": "LAMBDA",
1709 "args": [
1710 {
1711 "prim": "pair",
1712 "args": [
1713 {
1714 "prim": "pair",
1715 "args": [
1716 {
1717 "prim": "lambda",
1718 "args": [
1719 {
1720 "prim": "pair",
1721 "args": [
1722 { "prim": "nat" },
1723 {
1724 "prim": "pair",
1725 "args": [
1726 { "prim": "address" },
1727 {
1728 "prim": "pair",
1729 "args": [
1730 { "prim": "big_map", "args": [ { "prim": "bytes" }, { "prim": "nat" } ] },
1731 {
1732 "prim": "pair",
1733 "args": [
1734 { "prim": "bool" },
1735 {
1736 "prim": "pair",
1737 "args": [
1738 { "prim": "nat" },
1739 {
1740 "prim": "pair",
1741 "args": [
1742 { "prim": "mutez" },
1743 {
1744 "prim": "pair",
1745 "args": [
1746 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
1747 {
1748 "prim": "pair",
1749 "args": [
1750 { "prim": "big_map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] },
1751 {
1752 "prim": "pair",
1753 "args": [
1754 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "bool" } ] },
1755 {
1756 "prim": "pair",
1757 "args": [
1758 { "prim": "nat" },
1759 {
1760 "prim": "pair",
1761 "args": [
1762 {
1763 "prim": "big_map",
1764 "args": [
1765 {
1766 "prim": "pair",
1767 "args": [
1768 { "prim": "address" }, { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] }
1769 ]
1770 },
1771 { "prim": "unit" }
1772 ]
1773 },
1774 {
1775 "prim": "pair",
1776 "args": [
1777 { "prim": "bool" },
1778 {
1779 "prim": "pair",
1780 "args": [
1781 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
1782 {
1783 "prim": "big_map",
1784 "args": [
1785 { "prim": "nat" },
1786 {
1787 "prim": "pair",
1788 "args": [
1789 { "prim": "nat" }, { "prim": "map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] }
1790 ]
1791 }
1792 ]
1793 }
1794 ]
1795 }
1796 ]
1797 }
1798 ]
1799 }
1800 ]
1801 }
1802 ]
1803 }
1804 ]
1805 }
1806 ]
1807 }
1808 ]
1809 }
1810 ]
1811 }
1812 ]
1813 }
1814 ]
1815 }
1816 ]
1817 }
1818 ]
1819 },
1820 {
1821 "prim": "pair",
1822 "args": [
1823 { "prim": "bool" },
1824 {
1825 "prim": "pair",
1826 "args": [
1827 { "prim": "address" },
1828 {
1829 "prim": "pair",
1830 "args": [
1831 { "prim": "big_map", "args": [ { "prim": "bytes" }, { "prim": "nat" } ] },
1832 {
1833 "prim": "pair",
1834 "args": [
1835 { "prim": "bool" },
1836 {
1837 "prim": "pair",
1838 "args": [
1839 { "prim": "nat" },
1840 {
1841 "prim": "pair",
1842 "args": [
1843 { "prim": "mutez" },
1844 {
1845 "prim": "pair",
1846 "args": [
1847 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
1848 {
1849 "prim": "pair",
1850 "args": [
1851 { "prim": "big_map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] },
1852 {
1853 "prim": "pair",
1854 "args": [
1855 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "bool" } ] },
1856 {
1857 "prim": "pair",
1858 "args": [
1859 { "prim": "nat" },
1860 {
1861 "prim": "pair",
1862 "args": [
1863 {
1864 "prim": "big_map",
1865 "args": [
1866 {
1867 "prim": "pair",
1868 "args": [
1869 { "prim": "address" }, { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] }
1870 ]
1871 },
1872 { "prim": "unit" }
1873 ]
1874 },
1875 {
1876 "prim": "pair",
1877 "args": [
1878 { "prim": "bool" },
1879 {
1880 "prim": "pair",
1881 "args": [
1882 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
1883 {
1884 "prim": "big_map",
1885 "args": [
1886 { "prim": "nat" },
1887 {
1888 "prim": "pair",
1889 "args": [
1890 { "prim": "nat" }, { "prim": "map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] }
1891 ]
1892 }
1893 ]
1894 }
1895 ]
1896 }
1897 ]
1898 }
1899 ]
1900 }
1901 ]
1902 }
1903 ]
1904 }
1905 ]
1906 }
1907 ]
1908 }
1909 ]
1910 }
1911 ]
1912 }
1913 ]
1914 }
1915 ]
1916 }
1917 ]
1918 }
1919 ]
1920 }
1921 ]
1922 },
1923 { "prim": "nat" }
1924 ]
1925 },
1926 {
1927 "prim": "pair",
1928 "args": [
1929 { "prim": "address" },
1930 {
1931 "prim": "pair",
1932 "args": [
1933 { "prim": "big_map", "args": [ { "prim": "bytes" }, { "prim": "nat" } ] },
1934 {
1935 "prim": "pair",
1936 "args": [
1937 { "prim": "bool" },
1938 {
1939 "prim": "pair",
1940 "args": [
1941 { "prim": "nat" },
1942 {
1943 "prim": "pair",
1944 "args": [
1945 { "prim": "mutez" },
1946 {
1947 "prim": "pair",
1948 "args": [
1949 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
1950 {
1951 "prim": "pair",
1952 "args": [
1953 { "prim": "big_map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] },
1954 {
1955 "prim": "pair",
1956 "args": [
1957 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "bool" } ] },
1958 {
1959 "prim": "pair",
1960 "args": [
1961 { "prim": "nat" },
1962 {
1963 "prim": "pair",
1964 "args": [
1965 {
1966 "prim": "big_map",
1967 "args": [
1968 {
1969 "prim": "pair",
1970 "args": [ { "prim": "address" }, { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] } ]
1971 },
1972 { "prim": "unit" }
1973 ]
1974 },
1975 {
1976 "prim": "pair",
1977 "args": [
1978 { "prim": "bool" },
1979 {
1980 "prim": "pair",
1981 "args": [
1982 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
1983 {
1984 "prim": "big_map",
1985 "args": [
1986 { "prim": "nat" },
1987 {
1988 "prim": "pair",
1989 "args": [ { "prim": "nat" }, { "prim": "map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] } ]
1990 }
1991 ]
1992 }
1993 ]
1994 }
1995 ]
1996 }
1997 ]
1998 }
1999 ]
2000 }
2001 ]
2002 }
2003 ]
2004 }
2005 ]
2006 }
2007 ]
2008 }
2009 ]
2010 }
2011 ]
2012 }
2013 ]
2014 }
2015 ]
2016 }
2017 ]
2018 },
2019 {
2020 "prim": "pair",
2021 "args": [
2022 { "prim": "nat" },
2023 {
2024 "prim": "pair",
2025 "args": [
2026 { "prim": "address" },
2027 {
2028 "prim": "pair",
2029 "args": [
2030 { "prim": "big_map", "args": [ { "prim": "bytes" }, { "prim": "nat" } ] },
2031 {
2032 "prim": "pair",
2033 "args": [
2034 { "prim": "bool" },
2035 {
2036 "prim": "pair",
2037 "args": [
2038 { "prim": "nat" },
2039 {
2040 "prim": "pair",
2041 "args": [
2042 { "prim": "mutez" },
2043 {
2044 "prim": "pair",
2045 "args": [
2046 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
2047 {
2048 "prim": "pair",
2049 "args": [
2050 { "prim": "big_map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] },
2051 {
2052 "prim": "pair",
2053 "args": [
2054 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "bool" } ] },
2055 {
2056 "prim": "pair",
2057 "args": [
2058 { "prim": "nat" },
2059 {
2060 "prim": "pair",
2061 "args": [
2062 {
2063 "prim": "big_map",
2064 "args": [
2065 {
2066 "prim": "pair",
2067 "args": [ { "prim": "address" }, { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] } ]
2068 },
2069 { "prim": "unit" }
2070 ]
2071 },
2072 {
2073 "prim": "pair",
2074 "args": [
2075 { "prim": "bool" },
2076 {
2077 "prim": "pair",
2078 "args": [
2079 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
2080 {
2081 "prim": "big_map",
2082 "args": [
2083 { "prim": "nat" },
2084 {
2085 "prim": "pair",
2086 "args": [ { "prim": "nat" }, { "prim": "map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] } ]
2087 }
2088 ]
2089 }
2090 ]
2091 }
2092 ]
2093 }
2094 ]
2095 }
2096 ]
2097 }
2098 ]
2099 }
2100 ]
2101 }
2102 ]
2103 }
2104 ]
2105 }
2106 ]
2107 }
2108 ]
2109 }
2110 ]
2111 }
2112 ]
2113 }
2114 ]
2115 },
2116 [
2117 { "prim": "UNPAIR" },
2118 { "prim": "UNPAIR" },
2119 { "prim": "DUG", "args": [ { "int": "2" } ] },
2120 { "prim": "PAIR" },
2121 { "prim": "EXEC" },
2122 { "prim": "UNPAIR" },
2123 { "prim": "IF", "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "FA2_TOKEN_UNDEFINED" } ] }, { "prim": "FAILWITH" } ] ] },
2124 { "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "1" } ] },
2125 { "prim": "PAIR" }
2126 ]
2127 ]
2128 },
2129 { "prim": "SWAP" },
2130 {
2131 "prim": "LAMBDA",
2132 "args": [
2133 {
2134 "prim": "pair",
2135 "args": [
2136 {
2137 "prim": "pair",
2138 "args": [ { "prim": "address" }, { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "nat" } ] } ] } ]
2139 },
2140 {
2141 "prim": "pair",
2142 "args": [
2143 { "prim": "address" },
2144 {
2145 "prim": "pair",
2146 "args": [
2147 { "prim": "big_map", "args": [ { "prim": "bytes" }, { "prim": "nat" } ] },
2148 {
2149 "prim": "pair",
2150 "args": [
2151 { "prim": "bool" },
2152 {
2153 "prim": "pair",
2154 "args": [
2155 { "prim": "nat" },
2156 {
2157 "prim": "pair",
2158 "args": [
2159 { "prim": "mutez" },
2160 {
2161 "prim": "pair",
2162 "args": [
2163 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
2164 {
2165 "prim": "pair",
2166 "args": [
2167 { "prim": "big_map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] },
2168 {
2169 "prim": "pair",
2170 "args": [
2171 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "bool" } ] },
2172 {
2173 "prim": "pair",
2174 "args": [
2175 { "prim": "nat" },
2176 {
2177 "prim": "pair",
2178 "args": [
2179 {
2180 "prim": "big_map",
2181 "args": [
2182 {
2183 "prim": "pair",
2184 "args": [ { "prim": "address" }, { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] } ]
2185 },
2186 { "prim": "unit" }
2187 ]
2188 },
2189 {
2190 "prim": "pair",
2191 "args": [
2192 { "prim": "bool" },
2193 {
2194 "prim": "pair",
2195 "args": [
2196 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
2197 {
2198 "prim": "big_map",
2199 "args": [
2200 { "prim": "nat" },
2201 {
2202 "prim": "pair",
2203 "args": [ { "prim": "nat" }, { "prim": "map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] } ]
2204 }
2205 ]
2206 }
2207 ]
2208 }
2209 ]
2210 }
2211 ]
2212 }
2213 ]
2214 }
2215 ]
2216 }
2217 ]
2218 }
2219 ]
2220 }
2221 ]
2222 }
2223 ]
2224 }
2225 ]
2226 }
2227 ]
2228 }
2229 ]
2230 }
2231 ]
2232 },
2233 {
2234 "prim": "pair",
2235 "args": [
2236 { "prim": "unit" },
2237 {
2238 "prim": "pair",
2239 "args": [
2240 { "prim": "address" },
2241 {
2242 "prim": "pair",
2243 "args": [
2244 { "prim": "big_map", "args": [ { "prim": "bytes" }, { "prim": "nat" } ] },
2245 {
2246 "prim": "pair",
2247 "args": [
2248 { "prim": "bool" },
2249 {
2250 "prim": "pair",
2251 "args": [
2252 { "prim": "nat" },
2253 {
2254 "prim": "pair",
2255 "args": [
2256 { "prim": "mutez" },
2257 {
2258 "prim": "pair",
2259 "args": [
2260 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
2261 {
2262 "prim": "pair",
2263 "args": [
2264 { "prim": "big_map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] },
2265 {
2266 "prim": "pair",
2267 "args": [
2268 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "bool" } ] },
2269 {
2270 "prim": "pair",
2271 "args": [
2272 { "prim": "nat" },
2273 {
2274 "prim": "pair",
2275 "args": [
2276 {
2277 "prim": "big_map",
2278 "args": [
2279 {
2280 "prim": "pair",
2281 "args": [ { "prim": "address" }, { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] } ]
2282 },
2283 { "prim": "unit" }
2284 ]
2285 },
2286 {
2287 "prim": "pair",
2288 "args": [
2289 { "prim": "bool" },
2290 {
2291 "prim": "pair",
2292 "args": [
2293 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
2294 {
2295 "prim": "big_map",
2296 "args": [
2297 { "prim": "nat" },
2298 {
2299 "prim": "pair",
2300 "args": [ { "prim": "nat" }, { "prim": "map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] } ]
2301 }
2302 ]
2303 }
2304 ]
2305 }
2306 ]
2307 }
2308 ]
2309 }
2310 ]
2311 }
2312 ]
2313 }
2314 ]
2315 }
2316 ]
2317 }
2318 ]
2319 }
2320 ]
2321 }
2322 ]
2323 }
2324 ]
2325 }
2326 ]
2327 }
2328 ]
2329 },
2330 [
2331 { "prim": "UNPAIR" },
2332 { "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "1" } ] },
2333 { "prim": "DUP", "args": [ { "int": "2" } ] },
2334 { "prim": "GET", "args": [ { "int": "6" } ] },
2335 { "prim": "COMPARE" },
2336 { "prim": "EQ" },
2337 {
2338 "prim": "IF",
2339 "args": [
2340 [
2341 { "prim": "DUP" },
2342 { "prim": "CAR" },
2343 { "prim": "DUP", "args": [ { "int": "3" } ] },
2344 { "prim": "GET", "args": [ { "int": "11" } ] },
2345 { "prim": "DUP", "args": [ { "int": "3" } ] },
2346 { "prim": "GET", "args": [ { "int": "5" } ] },
2347 { "prim": "GET" },
2348 { "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "380" } ] }, { "prim": "FAILWITH" } ], [] ] },
2349 { "prim": "COMPARE" },
2350 { "prim": "EQ" }
2351 ],
2352 [ { "prim": "PUSH", "args": [ { "prim": "bool" }, { "prim": "False" } ] } ]
2353 ]
2354 },
2355 { "prim": "IF", "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "FA2_INSUFFICIENT_BALANCE" } ] }, { "prim": "FAILWITH" } ] ] },
2356 { "prim": "SWAP" },
2357 { "prim": "DUP" },
2358 { "prim": "GET", "args": [ { "int": "11" } ] },
2359 { "prim": "DUP", "args": [ { "int": "3" } ] },
2360 { "prim": "GET", "args": [ { "int": "3" } ] },
2361 { "prim": "SOME" },
2362 { "prim": "DIG", "args": [ { "int": "3" } ] },
2363 { "prim": "GET", "args": [ { "int": "5" } ] },
2364 { "prim": "UPDATE" },
2365 { "prim": "UPDATE", "args": [ { "int": "11" } ] },
2366 { "prim": "UNIT" },
2367 { "prim": "PAIR" }
2368 ]
2369 ]
2370 },
2371 { "prim": "SWAP" },
2372 {
2373 "prim": "PUSH",
2374 "args": [
2375 {
2376 "prim": "pair",
2377 "args": [
2378 { "prim": "string", "annots": [ "%ledger_type" ] },
2379 {
2380 "prim": "pair",
2381 "args": [
2382 { "prim": "string", "annots": [ "%name" ] },
2383 { "prim": "pair", "args": [ { "prim": "bool", "annots": [ "%supports_operator" ] }, { "prim": "bool", "annots": [ "%supports_transfer" ] } ] }
2384 ],
2385 "annots": [ "%policy" ]
2386 }
2387 ]
2388 },
2389 {
2390 "prim": "Pair",
2391 "args": [
2392 { "string": "NFT" },
2393 { "prim": "Pair", "args": [ { "string": "owner-or-operator-transfer" }, { "prim": "Pair", "args": [ { "prim": "True" }, { "prim": "True" } ] } ] }
2394 ]
2395 }
2396 ]
2397 },
2398 { "prim": "SWAP" },
2399 { "prim": "UNPAIR" },
2400 {
2401 "prim": "IF_LEFT",
2402 "args": [
2403 [
2404 {
2405 "prim": "IF_LEFT",
2406 "args": [
2407 [
2408 {
2409 "prim": "IF_LEFT",
2410 "args": [
2411 [
2412 {
2413 "prim": "IF_LEFT",
2414 "args": [
2415 [
2416 { "prim": "DIG", "args": [ { "int": "2" } ] },
2417 { "prim": "DROP" },
2418 { "prim": "DIG", "args": [ { "int": "2" } ] },
2419 { "prim": "DROP" },
2420 { "prim": "DIG", "args": [ { "int": "2" } ] },
2421 { "prim": "DROP" },
2422 { "prim": "DIG", "args": [ { "int": "2" } ] },
2423 { "prim": "DROP" },
2424 { "prim": "DIG", "args": [ { "int": "2" } ] },
2425 { "prim": "DROP" },
2426 { "prim": "DIG", "args": [ { "int": "3" } ] },
2427 { "prim": "DROP" },
2428 { "prim": "DIG", "args": [ { "int": "3" } ] },
2429 { "prim": "DROP" },
2430 { "prim": "DIG", "args": [ { "int": "3" } ] },
2431 { "prim": "DROP" },
2432 { "prim": "DIG", "args": [ { "int": "2" } ] },
2433 { "prim": "UNIT" },
2434 { "prim": "SWAP" },
2435 { "prim": "DIG", "args": [ { "int": "3" } ] },
2436 { "prim": "DIG", "args": [ { "int": "2" } ] },
2437 { "prim": "PAIR" },
2438 { "prim": "EXEC" },
2439 { "prim": "UNPAIR" },
2440 { "prim": "SWAP" },
2441 { "prim": "DUG", "args": [ { "int": "2" } ] },
2442 { "prim": "IF", "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "FA2_NOT_ADMIN" } ] }, { "prim": "FAILWITH" } ] ] },
2443 { "prim": "DUP", "args": [ { "int": "2" } ] },
2444 { "prim": "GET", "args": [ { "int": "24" } ] },
2445 { "prim": "DUP", "args": [ { "int": "2" } ] },
2446 { "prim": "GET", "args": [ { "int": "4" } ] },
2447 { "prim": "MEM" },
2448 {
2449 "prim": "IF",
2450 "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "FA2_TOKEN_UNDEFINED" } ] }, { "prim": "FAILWITH" } ] ]
2451 },
2452 { "prim": "DUP", "args": [ { "int": "2" } ] },
2453 { "prim": "GET", "args": [ { "int": "11" } ] },
2454 { "prim": "DUP", "args": [ { "int": "2" } ] },
2455 { "prim": "GET", "args": [ { "int": "4" } ] },
2456 { "prim": "GET" },
2457 {
2458 "prim": "IF_NONE",
2459 "args": [ [ { "prim": "PUSH", "args": [ { "prim": "address" }, { "string": "tz1burnburnburnburnburnburnburjAYjjX" } ] } ], [] ]
2460 },
2461 { "prim": "DUP", "args": [ { "int": "2" } ] },
2462 { "prim": "CAR" },
2463 { "prim": "COMPARE" },
2464 { "prim": "EQ" },
2465 {
2466 "prim": "IF",
2467 "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "INVALID_CURRENT_OWNER" } ] }, { "prim": "FAILWITH" } ] ]
2468 },
2469 { "prim": "SWAP" },
2470 { "prim": "DUP" },
2471 { "prim": "GET", "args": [ { "int": "11" } ] },
2472 { "prim": "DUP", "args": [ { "int": "3" } ] },
2473 { "prim": "GET", "args": [ { "int": "3" } ] },
2474 { "prim": "SOME" },
2475 { "prim": "DIG", "args": [ { "int": "3" } ] },
2476 { "prim": "GET", "args": [ { "int": "4" } ] },
2477 { "prim": "UPDATE" },
2478 { "prim": "UPDATE", "args": [ { "int": "11" } ] },
2479 { "prim": "NIL", "args": [ { "prim": "operation" } ] }
2480 ],
2481 [
2482 {
2483 "prim": "LAMBDA",
2484 "args": [
2485 {
2486 "prim": "pair",
2487 "args": [
2488 {
2489 "prim": "pair",
2490 "args": [
2491 { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] },
2492 {
2493 "prim": "pair",
2494 "args": [
2495 {
2496 "prim": "lambda",
2497 "args": [
2498 {
2499 "prim": "pair",
2500 "args": [
2501 { "prim": "nat" },
2502 {
2503 "prim": "pair",
2504 "args": [
2505 { "prim": "address" },
2506 {
2507 "prim": "pair",
2508 "args": [
2509 { "prim": "big_map", "args": [ { "prim": "bytes" }, { "prim": "nat" } ] },
2510 {
2511 "prim": "pair",
2512 "args": [
2513 { "prim": "bool" },
2514 {
2515 "prim": "pair",
2516 "args": [
2517 { "prim": "nat" },
2518 {
2519 "prim": "pair",
2520 "args": [
2521 { "prim": "mutez" },
2522 {
2523 "prim": "pair",
2524 "args": [
2525 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
2526 {
2527 "prim": "pair",
2528 "args": [
2529 { "prim": "big_map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] },
2530 {
2531 "prim": "pair",
2532 "args": [
2533 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "bool" } ] },
2534 {
2535 "prim": "pair",
2536 "args": [
2537 { "prim": "nat" },
2538 {
2539 "prim": "pair",
2540 "args": [
2541 {
2542 "prim": "big_map",
2543 "args": [
2544 {
2545 "prim": "pair",
2546 "args": [
2547 { "prim": "address" },
2548 { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] }
2549 ]
2550 },
2551 { "prim": "unit" }
2552 ]
2553 },
2554 {
2555 "prim": "pair",
2556 "args": [
2557 { "prim": "bool" },
2558 {
2559 "prim": "pair",
2560 "args": [
2561 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
2562 {
2563 "prim": "big_map",
2564 "args": [
2565 { "prim": "nat" },
2566 {
2567 "prim": "pair",
2568 "args": [
2569 { "prim": "nat" },
2570 {
2571 "prim": "map",
2572 "args": [ { "prim": "string" }, { "prim": "bytes" } ]
2573 }
2574 ]
2575 }
2576 ]
2577 }
2578 ]
2579 }
2580 ]
2581 }
2582 ]
2583 }
2584 ]
2585 }
2586 ]
2587 }
2588 ]
2589 }
2590 ]
2591 }
2592 ]
2593 }
2594 ]
2595 }
2596 ]
2597 }
2598 ]
2599 }
2600 ]
2601 }
2602 ]
2603 },
2604 {
2605 "prim": "pair",
2606 "args": [
2607 { "prim": "bool" },
2608 {
2609 "prim": "pair",
2610 "args": [
2611 { "prim": "address" },
2612 {
2613 "prim": "pair",
2614 "args": [
2615 { "prim": "big_map", "args": [ { "prim": "bytes" }, { "prim": "nat" } ] },
2616 {
2617 "prim": "pair",
2618 "args": [
2619 { "prim": "bool" },
2620 {
2621 "prim": "pair",
2622 "args": [
2623 { "prim": "nat" },
2624 {
2625 "prim": "pair",
2626 "args": [
2627 { "prim": "mutez" },
2628 {
2629 "prim": "pair",
2630 "args": [
2631 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
2632 {
2633 "prim": "pair",
2634 "args": [
2635 { "prim": "big_map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] },
2636 {
2637 "prim": "pair",
2638 "args": [
2639 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "bool" } ] },
2640 {
2641 "prim": "pair",
2642 "args": [
2643 { "prim": "nat" },
2644 {
2645 "prim": "pair",
2646 "args": [
2647 {
2648 "prim": "big_map",
2649 "args": [
2650 {
2651 "prim": "pair",
2652 "args": [
2653 { "prim": "address" },
2654 { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] }
2655 ]
2656 },
2657 { "prim": "unit" }
2658 ]
2659 },
2660 {
2661 "prim": "pair",
2662 "args": [
2663 { "prim": "bool" },
2664 {
2665 "prim": "pair",
2666 "args": [
2667 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
2668 {
2669 "prim": "big_map",
2670 "args": [
2671 { "prim": "nat" },
2672 {
2673 "prim": "pair",
2674 "args": [
2675 { "prim": "nat" },
2676 {
2677 "prim": "map",
2678 "args": [ { "prim": "string" }, { "prim": "bytes" } ]
2679 }
2680 ]
2681 }
2682 ]
2683 }
2684 ]
2685 }
2686 ]
2687 }
2688 ]
2689 }
2690 ]
2691 }
2692 ]
2693 }
2694 ]
2695 }
2696 ]
2697 }
2698 ]
2699 }
2700 ]
2701 }
2702 ]
2703 }
2704 ]
2705 }
2706 ]
2707 }
2708 ]
2709 }
2710 ]
2711 },
2712 {
2713 "prim": "lambda",
2714 "args": [
2715 {
2716 "prim": "pair",
2717 "args": [
2718 {
2719 "prim": "pair",
2720 "args": [
2721 {
2722 "prim": "lambda",
2723 "args": [
2724 {
2725 "prim": "pair",
2726 "args": [
2727 { "prim": "nat" },
2728 {
2729 "prim": "pair",
2730 "args": [
2731 { "prim": "address" },
2732 {
2733 "prim": "pair",
2734 "args": [
2735 { "prim": "big_map", "args": [ { "prim": "bytes" }, { "prim": "nat" } ] },
2736 {
2737 "prim": "pair",
2738 "args": [
2739 { "prim": "bool" },
2740 {
2741 "prim": "pair",
2742 "args": [
2743 { "prim": "nat" },
2744 {
2745 "prim": "pair",
2746 "args": [
2747 { "prim": "mutez" },
2748 {
2749 "prim": "pair",
2750 "args": [
2751 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
2752 {
2753 "prim": "pair",
2754 "args": [
2755 { "prim": "big_map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] },
2756 {
2757 "prim": "pair",
2758 "args": [
2759 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "bool" } ] },
2760 {
2761 "prim": "pair",
2762 "args": [
2763 { "prim": "nat" },
2764 {
2765 "prim": "pair",
2766 "args": [
2767 {
2768 "prim": "big_map",
2769 "args": [
2770 {
2771 "prim": "pair",
2772 "args": [
2773 { "prim": "address" },
2774 {
2775 "prim": "pair",
2776 "args": [ { "prim": "address" }, { "prim": "nat" } ]
2777 }
2778 ]
2779 },
2780 { "prim": "unit" }
2781 ]
2782 },
2783 {
2784 "prim": "pair",
2785 "args": [
2786 { "prim": "bool" },
2787 {
2788 "prim": "pair",
2789 "args": [
2790 {
2791 "prim": "big_map",
2792 "args": [ { "prim": "nat" }, { "prim": "address" } ]
2793 },
2794 {
2795 "prim": "big_map",
2796 "args": [
2797 { "prim": "nat" },
2798 {
2799 "prim": "pair",
2800 "args": [
2801 { "prim": "nat" },
2802 {
2803 "prim": "map",
2804 "args": [ { "prim": "string" }, { "prim": "bytes" } ]
2805 }
2806 ]
2807 }
2808 ]
2809 }
2810 ]
2811 }
2812 ]
2813 }
2814 ]
2815 }
2816 ]
2817 }
2818 ]
2819 }
2820 ]
2821 }
2822 ]
2823 }
2824 ]
2825 }
2826 ]
2827 }
2828 ]
2829 }
2830 ]
2831 }
2832 ]
2833 }
2834 ]
2835 },
2836 {
2837 "prim": "pair",
2838 "args": [
2839 { "prim": "bool" },
2840 {
2841 "prim": "pair",
2842 "args": [
2843 { "prim": "address" },
2844 {
2845 "prim": "pair",
2846 "args": [
2847 { "prim": "big_map", "args": [ { "prim": "bytes" }, { "prim": "nat" } ] },
2848 {
2849 "prim": "pair",
2850 "args": [
2851 { "prim": "bool" },
2852 {
2853 "prim": "pair",
2854 "args": [
2855 { "prim": "nat" },
2856 {
2857 "prim": "pair",
2858 "args": [
2859 { "prim": "mutez" },
2860 {
2861 "prim": "pair",
2862 "args": [
2863 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
2864 {
2865 "prim": "pair",
2866 "args": [
2867 { "prim": "big_map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] },
2868 {
2869 "prim": "pair",
2870 "args": [
2871 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "bool" } ] },
2872 {
2873 "prim": "pair",
2874 "args": [
2875 { "prim": "nat" },
2876 {
2877 "prim": "pair",
2878 "args": [
2879 {
2880 "prim": "big_map",
2881 "args": [
2882 {
2883 "prim": "pair",
2884 "args": [
2885 { "prim": "address" },
2886 {
2887 "prim": "pair",
2888 "args": [ { "prim": "address" }, { "prim": "nat" } ]
2889 }
2890 ]
2891 },
2892 { "prim": "unit" }
2893 ]
2894 },
2895 {
2896 "prim": "pair",
2897 "args": [
2898 { "prim": "bool" },
2899 {
2900 "prim": "pair",
2901 "args": [
2902 {
2903 "prim": "big_map",
2904 "args": [ { "prim": "nat" }, { "prim": "address" } ]
2905 },
2906 {
2907 "prim": "big_map",
2908 "args": [
2909 { "prim": "nat" },
2910 {
2911 "prim": "pair",
2912 "args": [
2913 { "prim": "nat" },
2914 {
2915 "prim": "map",
2916 "args": [ { "prim": "string" }, { "prim": "bytes" } ]
2917 }
2918 ]
2919 }
2920 ]
2921 }
2922 ]
2923 }
2924 ]
2925 }
2926 ]
2927 }
2928 ]
2929 }
2930 ]
2931 }
2932 ]
2933 }
2934 ]
2935 }
2936 ]
2937 }
2938 ]
2939 }
2940 ]
2941 }
2942 ]
2943 }
2944 ]
2945 }
2946 ]
2947 }
2948 ]
2949 },
2950 { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] }
2951 ]
2952 },
2953 {
2954 "prim": "pair",
2955 "args": [
2956 { "prim": "address" },
2957 {
2958 "prim": "pair",
2959 "args": [
2960 { "prim": "big_map", "args": [ { "prim": "bytes" }, { "prim": "nat" } ] },
2961 {
2962 "prim": "pair",
2963 "args": [
2964 { "prim": "bool" },
2965 {
2966 "prim": "pair",
2967 "args": [
2968 { "prim": "nat" },
2969 {
2970 "prim": "pair",
2971 "args": [
2972 { "prim": "mutez" },
2973 {
2974 "prim": "pair",
2975 "args": [
2976 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
2977 {
2978 "prim": "pair",
2979 "args": [
2980 { "prim": "big_map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] },
2981 {
2982 "prim": "pair",
2983 "args": [
2984 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "bool" } ] },
2985 {
2986 "prim": "pair",
2987 "args": [
2988 { "prim": "nat" },
2989 {
2990 "prim": "pair",
2991 "args": [
2992 {
2993 "prim": "big_map",
2994 "args": [
2995 {
2996 "prim": "pair",
2997 "args": [
2998 { "prim": "address" },
2999 { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] }
3000 ]
3001 },
3002 { "prim": "unit" }
3003 ]
3004 },
3005 {
3006 "prim": "pair",
3007 "args": [
3008 { "prim": "bool" },
3009 {
3010 "prim": "pair",
3011 "args": [
3012 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
3013 {
3014 "prim": "big_map",
3015 "args": [
3016 { "prim": "nat" },
3017 {
3018 "prim": "pair",
3019 "args": [
3020 { "prim": "nat" },
3021 {
3022 "prim": "map",
3023 "args": [ { "prim": "string" }, { "prim": "bytes" } ]
3024 }
3025 ]
3026 }
3027 ]
3028 }
3029 ]
3030 }
3031 ]
3032 }
3033 ]
3034 }
3035 ]
3036 }
3037 ]
3038 }
3039 ]
3040 }
3041 ]
3042 }
3043 ]
3044 }
3045 ]
3046 }
3047 ]
3048 }
3049 ]
3050 }
3051 ]
3052 }
3053 ]
3054 },
3055 {
3056 "prim": "pair",
3057 "args": [
3058 { "prim": "nat" },
3059 {
3060 "prim": "pair",
3061 "args": [
3062 { "prim": "address" },
3063 {
3064 "prim": "pair",
3065 "args": [
3066 { "prim": "big_map", "args": [ { "prim": "bytes" }, { "prim": "nat" } ] },
3067 {
3068 "prim": "pair",
3069 "args": [
3070 { "prim": "bool" },
3071 {
3072 "prim": "pair",
3073 "args": [
3074 { "prim": "nat" },
3075 {
3076 "prim": "pair",
3077 "args": [
3078 { "prim": "mutez" },
3079 {
3080 "prim": "pair",
3081 "args": [
3082 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
3083 {
3084 "prim": "pair",
3085 "args": [
3086 { "prim": "big_map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] },
3087 {
3088 "prim": "pair",
3089 "args": [
3090 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "bool" } ] },
3091 {
3092 "prim": "pair",
3093 "args": [
3094 { "prim": "nat" },
3095 {
3096 "prim": "pair",
3097 "args": [
3098 {
3099 "prim": "big_map",
3100 "args": [
3101 {
3102 "prim": "pair",
3103 "args": [
3104 { "prim": "address" },
3105 { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] }
3106 ]
3107 },
3108 { "prim": "unit" }
3109 ]
3110 },
3111 {
3112 "prim": "pair",
3113 "args": [
3114 { "prim": "bool" },
3115 {
3116 "prim": "pair",
3117 "args": [
3118 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
3119 {
3120 "prim": "big_map",
3121 "args": [
3122 { "prim": "nat" },
3123 {
3124 "prim": "pair",
3125 "args": [
3126 { "prim": "nat" },
3127 {
3128 "prim": "map",
3129 "args": [ { "prim": "string" }, { "prim": "bytes" } ]
3130 }
3131 ]
3132 }
3133 ]
3134 }
3135 ]
3136 }
3137 ]
3138 }
3139 ]
3140 }
3141 ]
3142 }
3143 ]
3144 }
3145 ]
3146 }
3147 ]
3148 }
3149 ]
3150 }
3151 ]
3152 }
3153 ]
3154 }
3155 ]
3156 }
3157 ]
3158 }
3159 ]
3160 }
3161 ]
3162 }
3163 ]
3164 }
3165 ]
3166 },
3167 {
3168 "prim": "pair",
3169 "args": [
3170 { "prim": "address" },
3171 {
3172 "prim": "pair",
3173 "args": [
3174 { "prim": "big_map", "args": [ { "prim": "bytes" }, { "prim": "nat" } ] },
3175 {
3176 "prim": "pair",
3177 "args": [
3178 { "prim": "bool" },
3179 {
3180 "prim": "pair",
3181 "args": [
3182 { "prim": "nat" },
3183 {
3184 "prim": "pair",
3185 "args": [
3186 { "prim": "mutez" },
3187 {
3188 "prim": "pair",
3189 "args": [
3190 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
3191 {
3192 "prim": "pair",
3193 "args": [
3194 { "prim": "big_map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] },
3195 {
3196 "prim": "pair",
3197 "args": [
3198 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "bool" } ] },
3199 {
3200 "prim": "pair",
3201 "args": [
3202 { "prim": "nat" },
3203 {
3204 "prim": "pair",
3205 "args": [
3206 {
3207 "prim": "big_map",
3208 "args": [
3209 {
3210 "prim": "pair",
3211 "args": [
3212 { "prim": "address" },
3213 { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] }
3214 ]
3215 },
3216 { "prim": "unit" }
3217 ]
3218 },
3219 {
3220 "prim": "pair",
3221 "args": [
3222 { "prim": "bool" },
3223 {
3224 "prim": "pair",
3225 "args": [
3226 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
3227 {
3228 "prim": "big_map",
3229 "args": [
3230 { "prim": "nat" },
3231 {
3232 "prim": "pair",
3233 "args": [
3234 { "prim": "nat" },
3235 { "prim": "map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] }
3236 ]
3237 }
3238 ]
3239 }
3240 ]
3241 }
3242 ]
3243 }
3244 ]
3245 }
3246 ]
3247 }
3248 ]
3249 }
3250 ]
3251 }
3252 ]
3253 }
3254 ]
3255 }
3256 ]
3257 }
3258 ]
3259 }
3260 ]
3261 }
3262 ]
3263 }
3264 ]
3265 },
3266 {
3267 "prim": "pair",
3268 "args": [
3269 { "prim": "pair", "args": [ { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] }, { "prim": "nat" } ] },
3270 {
3271 "prim": "pair",
3272 "args": [
3273 { "prim": "address" },
3274 {
3275 "prim": "pair",
3276 "args": [
3277 { "prim": "big_map", "args": [ { "prim": "bytes" }, { "prim": "nat" } ] },
3278 {
3279 "prim": "pair",
3280 "args": [
3281 { "prim": "bool" },
3282 {
3283 "prim": "pair",
3284 "args": [
3285 { "prim": "nat" },
3286 {
3287 "prim": "pair",
3288 "args": [
3289 { "prim": "mutez" },
3290 {
3291 "prim": "pair",
3292 "args": [
3293 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
3294 {
3295 "prim": "pair",
3296 "args": [
3297 { "prim": "big_map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] },
3298 {
3299 "prim": "pair",
3300 "args": [
3301 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "bool" } ] },
3302 {
3303 "prim": "pair",
3304 "args": [
3305 { "prim": "nat" },
3306 {
3307 "prim": "pair",
3308 "args": [
3309 {
3310 "prim": "big_map",
3311 "args": [
3312 {
3313 "prim": "pair",
3314 "args": [
3315 { "prim": "address" },
3316 { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] }
3317 ]
3318 },
3319 { "prim": "unit" }
3320 ]
3321 },
3322 {
3323 "prim": "pair",
3324 "args": [
3325 { "prim": "bool" },
3326 {
3327 "prim": "pair",
3328 "args": [
3329 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
3330 {
3331 "prim": "big_map",
3332 "args": [
3333 { "prim": "nat" },
3334 {
3335 "prim": "pair",
3336 "args": [
3337 { "prim": "nat" },
3338 { "prim": "map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] }
3339 ]
3340 }
3341 ]
3342 }
3343 ]
3344 }
3345 ]
3346 }
3347 ]
3348 }
3349 ]
3350 }
3351 ]
3352 }
3353 ]
3354 }
3355 ]
3356 }
3357 ]
3358 }
3359 ]
3360 }
3361 ]
3362 }
3363 ]
3364 }
3365 ]
3366 }
3367 ]
3368 },
3369 [
3370 { "prim": "UNPAIR" },
3371 { "prim": "UNPAIR", "args": [ { "int": "3" } ] },
3372 { "prim": "DIG", "args": [ { "int": "2" } ] },
3373 { "prim": "DUP", "args": [ { "int": "2" } ] },
3374 { "prim": "DIG", "args": [ { "int": "3" } ] },
3375 { "prim": "PAIR" },
3376 { "prim": "SWAP" },
3377 { "prim": "DIG", "args": [ { "int": "3" } ] },
3378 { "prim": "DIG", "args": [ { "int": "2" } ] },
3379 { "prim": "PAIR" },
3380 { "prim": "EXEC" },
3381 { "prim": "UNPAIR" },
3382 { "prim": "SWAP" },
3383 { "prim": "DUG", "args": [ { "int": "2" } ] },
3384 { "prim": "SWAP" },
3385 { "prim": "PAIR" },
3386 { "prim": "PAIR" }
3387 ]
3388 ]
3389 },
3390 { "prim": "DUP", "args": [ { "int": "2" } ] },
3391 { "prim": "CAR" },
3392 {
3393 "prim": "MAP",
3394 "args": [
3395 [
3396 { "prim": "DUP", "args": [ { "int": "2" } ] },
3397 { "prim": "DUP", "args": [ { "int": "14" } ] },
3398 { "prim": "DUP", "args": [ { "int": "11" } ] },
3399 { "prim": "PAIR" },
3400 { "prim": "DIG", "args": [ { "int": "2" } ] },
3401 { "prim": "PAIR" },
3402 { "prim": "SWAP" },
3403 { "prim": "DIG", "args": [ { "int": "4" } ] },
3404 { "prim": "DIG", "args": [ { "int": "2" } ] },
3405 { "prim": "PAIR" },
3406 { "prim": "EXEC" },
3407 { "prim": "UNPAIR" },
3408 { "prim": "DUG", "args": [ { "int": "12" } ] },
3409 { "prim": "DUG", "args": [ { "int": "12" } ] },
3410 { "prim": "DUG", "args": [ { "int": "12" } ] },
3411 { "prim": "DUG", "args": [ { "int": "12" } ] },
3412 { "prim": "DIG", "args": [ { "int": "10" } ] },
3413 { "prim": "DIG", "args": [ { "int": "12" } ] },
3414 { "prim": "DIG", "args": [ { "int": "12" } ] },
3415 { "prim": "DIG", "args": [ { "int": "12" } ] }
3416 ]
3417 ]
3418 },
3419 { "prim": "SWAP" },
3420 { "prim": "DROP" },
3421 { "prim": "DIG", "args": [ { "int": "3" } ] },
3422 { "prim": "DROP" },
3423 { "prim": "DIG", "args": [ { "int": "3" } ] },
3424 { "prim": "DROP" },
3425 { "prim": "DIG", "args": [ { "int": "3" } ] },
3426 { "prim": "DROP" },
3427 { "prim": "DIG", "args": [ { "int": "3" } ] },
3428 { "prim": "DROP" },
3429 { "prim": "DIG", "args": [ { "int": "3" } ] },
3430 { "prim": "DROP" },
3431 { "prim": "DIG", "args": [ { "int": "3" } ] },
3432 { "prim": "DROP" },
3433 { "prim": "DIG", "args": [ { "int": "3" } ] },
3434 { "prim": "DROP" },
3435 { "prim": "DIG", "args": [ { "int": "3" } ] },
3436 { "prim": "DROP" },
3437 { "prim": "DIG", "args": [ { "int": "3" } ] },
3438 { "prim": "DROP" },
3439 { "prim": "NIL", "args": [ { "prim": "operation" } ] },
3440 { "prim": "DIG", "args": [ { "int": "2" } ] },
3441 { "prim": "CDR" },
3442 { "prim": "PUSH", "args": [ { "prim": "mutez" }, { "int": "0" } ] },
3443 { "prim": "DIG", "args": [ { "int": "3" } ] },
3444 { "prim": "TRANSFER_TOKENS" },
3445 { "prim": "CONS" }
3446 ]
3447 ]
3448 }
3449 ],
3450 [
3451 { "prim": "DIG", "args": [ { "int": "2" } ] },
3452 { "prim": "DROP" },
3453 { "prim": "DIG", "args": [ { "int": "2" } ] },
3454 { "prim": "DROP" },
3455 { "prim": "DIG", "args": [ { "int": "2" } ] },
3456 { "prim": "DROP" },
3457 { "prim": "DIG", "args": [ { "int": "2" } ] },
3458 { "prim": "DROP" },
3459 { "prim": "DIG", "args": [ { "int": "2" } ] },
3460 { "prim": "DROP" },
3461 { "prim": "DIG", "args": [ { "int": "2" } ] },
3462 { "prim": "DROP" },
3463 { "prim": "DIG", "args": [ { "int": "2" } ] },
3464 { "prim": "DROP" },
3465 { "prim": "DIG", "args": [ { "int": "2" } ] },
3466 { "prim": "DROP" },
3467 { "prim": "DIG", "args": [ { "int": "2" } ] },
3468 { "prim": "DROP" },
3469 {
3470 "prim": "IF_LEFT",
3471 "args": [
3472 [
3473 { "prim": "DROP" },
3474 { "prim": "PUSH", "args": [ { "prim": "bool" }, { "prim": "False" } ] },
3475 {
3476 "prim": "IF",
3477 "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "BURN_DISABLED_USE_BURN_KEEP" } ] }, { "prim": "FAILWITH" } ] ]
3478 }
3479 ],
3480 [
3481 { "prim": "DUP", "args": [ { "int": "2" } ] },
3482 { "prim": "GET", "args": [ { "int": "24" } ] },
3483 { "prim": "DUP", "args": [ { "int": "2" } ] },
3484 { "prim": "MEM" },
3485 {
3486 "prim": "IF",
3487 "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "FA2_TOKEN_UNDEFINED" } ] }, { "prim": "FAILWITH" } ] ]
3488 },
3489 { "prim": "DUP", "args": [ { "int": "2" } ] },
3490 { "prim": "GET", "args": [ { "int": "11" } ] },
3491 { "prim": "DUP", "args": [ { "int": "2" } ] },
3492 { "prim": "GET" },
3493 {
3494 "prim": "IF_NONE",
3495 "args": [ [ { "prim": "PUSH", "args": [ { "prim": "address" }, { "string": "tz1burnburnburnburnburnburnburjAYjjX" } ] } ], [] ]
3496 },
3497 { "prim": "SENDER" },
3498 { "prim": "DUP", "args": [ { "int": "2" } ] },
3499 { "prim": "COMPARE" },
3500 { "prim": "EQ" },
3501 { "prim": "IF", "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "NOT_TOKEN_OWNER" } ] }, { "prim": "FAILWITH" } ] ] },
3502 { "prim": "DUP", "args": [ { "int": "3" } ] },
3503 { "prim": "GET", "args": [ { "int": "24" } ] },
3504 { "prim": "DUP", "args": [ { "int": "3" } ] },
3505 { "prim": "GET" },
3506 { "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "360" } ] }, { "prim": "FAILWITH" } ], [] ] },
3507 { "prim": "CDR" },
3508 { "prim": "DUP" },
3509 { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "content_hash" } ] },
3510 { "prim": "GET" },
3511 { "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "bytes" }, { "bytes": "" } ] } ], [] ] },
3512 { "prim": "DUP", "args": [ { "int": "5" } ] },
3513 { "prim": "GET", "args": [ { "int": "3" } ] },
3514 { "prim": "DUP", "args": [ { "int": "2" } ] },
3515 { "prim": "MEM" },
3516 {
3517 "prim": "IF",
3518 "args": [
3519 [
3520 { "prim": "SWAP" },
3521 { "prim": "DROP" },
3522 { "prim": "SWAP" },
3523 { "prim": "DROP" },
3524 { "prim": "DIG", "args": [ { "int": "2" } ] },
3525 { "prim": "DUP" },
3526 { "prim": "GET", "args": [ { "int": "3" } ] },
3527 { "prim": "NONE", "args": [ { "prim": "nat" } ] },
3528 { "prim": "DIG", "args": [ { "int": "3" } ] },
3529 { "prim": "UPDATE" },
3530 { "prim": "UPDATE", "args": [ { "int": "3" } ] },
3531 { "prim": "SWAP" }
3532 ],
3533 [ { "prim": "DROP", "args": [ { "int": "3" } ] } ]
3534 ]
3535 },
3536 { "prim": "DUP", "args": [ { "int": "2" } ] },
3537 { "prim": "GET", "args": [ { "int": "11" } ] },
3538 { "prim": "DUP", "args": [ { "int": "2" } ] },
3539 { "prim": "MEM" },
3540 {
3541 "prim": "IF",
3542 "args": [
3543 [
3544 { "prim": "SWAP" },
3545 { "prim": "DUP" },
3546 { "prim": "GET", "args": [ { "int": "11" } ] },
3547 { "prim": "NONE", "args": [ { "prim": "address" } ] },
3548 { "prim": "DUP", "args": [ { "int": "4" } ] },
3549 { "prim": "UPDATE" },
3550 { "prim": "UPDATE", "args": [ { "int": "11" } ] },
3551 { "prim": "SWAP" }
3552 ],
3553 []
3554 ]
3555 },
3556 { "prim": "SWAP" },
3557 { "prim": "DUP" },
3558 { "prim": "GET", "args": [ { "int": "24" } ] },
3559 {
3560 "prim": "NONE",
3561 "args": [ { "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] } ] } ]
3562 },
3563 { "prim": "DUP", "args": [ { "int": "4" } ] },
3564 { "prim": "UPDATE" },
3565 { "prim": "UPDATE", "args": [ { "int": "24" } ] },
3566 { "prim": "SWAP" },
3567 { "prim": "DUP", "args": [ { "int": "2" } ] },
3568 { "prim": "GET", "args": [ { "int": "15" } ] },
3569 { "prim": "DUP", "args": [ { "int": "2" } ] },
3570 { "prim": "MEM" },
3571 {
3572 "prim": "IF",
3573 "args": [
3574 [
3575 { "prim": "SWAP" },
3576 { "prim": "DUP" },
3577 { "prim": "GET", "args": [ { "int": "15" } ] },
3578 { "prim": "NONE", "args": [ { "prim": "bool" } ] },
3579 { "prim": "DUP", "args": [ { "int": "4" } ] },
3580 { "prim": "UPDATE" },
3581 { "prim": "UPDATE", "args": [ { "int": "15" } ] },
3582 { "prim": "SWAP" }
3583 ],
3584 []
3585 ]
3586 },
3587 { "prim": "DUP", "args": [ { "int": "2" } ] },
3588 { "prim": "GET", "args": [ { "int": "23" } ] },
3589 { "prim": "DUP", "args": [ { "int": "2" } ] },
3590 { "prim": "MEM" },
3591 {
3592 "prim": "IF",
3593 "args": [
3594 [
3595 { "prim": "SWAP" },
3596 { "prim": "DUP" },
3597 { "prim": "GET", "args": [ { "int": "23" } ] },
3598 { "prim": "NONE", "args": [ { "prim": "address" } ] },
3599 { "prim": "DIG", "args": [ { "int": "3" } ] },
3600 { "prim": "UPDATE" },
3601 { "prim": "UPDATE", "args": [ { "int": "23" } ] }
3602 ],
3603 [ { "prim": "DROP" } ]
3604 ]
3605 }
3606 ]
3607 ]
3608 },
3609 { "prim": "NIL", "args": [ { "prim": "operation" } ] }
3610 ]
3611 ]
3612 }
3613 ],
3614 [
3615 {
3616 "prim": "IF_LEFT",
3617 "args": [
3618 [
3619 {
3620 "prim": "IF_LEFT",
3621 "args": [
3622 [
3623 { "prim": "DUP", "args": [ { "int": "2" } ] },
3624 { "prim": "GET", "args": [ { "int": "21" } ] },
3625 { "prim": "IF", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "EDITING_PAUSED" } ] }, { "prim": "FAILWITH" } ], [] ] },
3626 { "prim": "DUP", "args": [ { "int": "2" } ] },
3627 { "prim": "GET", "args": [ { "int": "24" } ] },
3628 { "prim": "DUP", "args": [ { "int": "2" } ] },
3629 { "prim": "CAR" },
3630 { "prim": "MEM" },
3631 {
3632 "prim": "IF",
3633 "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "FA2_TOKEN_UNDEFINED" } ] }, { "prim": "FAILWITH" } ] ]
3634 },
3635 { "prim": "SENDER" },
3636 { "prim": "DUP", "args": [ { "int": "3" } ] },
3637 { "prim": "GET", "args": [ { "int": "11" } ] },
3638 { "prim": "DUP", "args": [ { "int": "3" } ] },
3639 { "prim": "CAR" },
3640 { "prim": "GET" },
3641 {
3642 "prim": "IF_NONE",
3643 "args": [ [ { "prim": "PUSH", "args": [ { "prim": "address" }, { "string": "tz1burnburnburnburnburnburnburjAYjjX" } ] } ], [] ]
3644 },
3645 { "prim": "COMPARE" },
3646 { "prim": "EQ" },
3647 { "prim": "SENDER" },
3648 { "prim": "DUP", "args": [ { "int": "4" } ] },
3649 { "prim": "GET", "args": [ { "int": "23" } ] },
3650 { "prim": "DUP", "args": [ { "int": "4" } ] },
3651 { "prim": "CAR" },
3652 { "prim": "GET" },
3653 {
3654 "prim": "IF_NONE",
3655 "args": [ [ { "prim": "PUSH", "args": [ { "prim": "address" }, { "string": "tz1burnburnburnburnburnburnburjAYjjX" } ] } ], [] ]
3656 },
3657 { "prim": "COMPARE" },
3658 { "prim": "EQ" },
3659 { "prim": "DUP", "args": [ { "int": "2" } ] },
3660 { "prim": "IF", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "bool" }, { "prim": "True" } ] } ], [ { "prim": "DUP" } ] ] },
3661 { "prim": "IF", "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "NOT_AUTHORIZED" } ] }, { "prim": "FAILWITH" } ] ] },
3662 { "prim": "DUP", "args": [ { "int": "4" } ] },
3663 { "prim": "GET", "args": [ { "int": "15" } ] },
3664 { "prim": "DUP", "args": [ { "int": "4" } ] },
3665 { "prim": "CAR" },
3666 { "prim": "GET" },
3667 { "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "bool" }, { "prim": "False" } ] } ], [] ] },
3668 { "prim": "DUP" },
3669 { "prim": "IF", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "METADATA_LOCKED" } ] }, { "prim": "FAILWITH" } ], [] ] },
3670 { "prim": "DUP", "args": [ { "int": "5" } ] },
3671 { "prim": "GET", "args": [ { "int": "24" } ] },
3672 { "prim": "DUP", "args": [ { "int": "5" } ] },
3673 { "prim": "CAR" },
3674 { "prim": "GET" },
3675 { "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "244" } ] }, { "prim": "FAILWITH" } ], [] ] },
3676 { "prim": "CDR" },
3677 { "prim": "DUP" },
3678 { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "content_hash" } ] },
3679 { "prim": "GET" },
3680 { "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "bytes" }, { "bytes": "" } ] } ], [] ] },
3681 { "prim": "DUP", "args": [ { "int": "2" } ] },
3682 { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "royalties" } ] },
3683 { "prim": "GET" },
3684 { "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "bytes" }, { "bytes": "" } ] } ], [] ] },
3685 { "prim": "DUP", "args": [ { "int": "6" } ] },
3686 {
3687 "prim": "IF",
3688 "args": [
3689 [
3690 { "prim": "DIG", "args": [ { "int": "2" } ] },
3691 { "prim": "DROP" },
3692 { "prim": "DIG", "args": [ { "int": "2" } ] },
3693 { "prim": "DROP" },
3694 { "prim": "DIG", "args": [ { "int": "2" } ] },
3695 { "prim": "DROP" },
3696 { "prim": "DIG", "args": [ { "int": "2" } ] },
3697 { "prim": "DROP" },
3698 { "prim": "DIG", "args": [ { "int": "4" } ] },
3699 { "prim": "DROP" },
3700 { "prim": "DIG", "args": [ { "int": "4" } ] },
3701 { "prim": "DROP" },
3702 { "prim": "DIG", "args": [ { "int": "4" } ] },
3703 { "prim": "DROP" },
3704 { "prim": "DIG", "args": [ { "int": "4" } ] },
3705 { "prim": "DROP" },
3706 { "prim": "DIG", "args": [ { "int": "4" } ] },
3707 { "prim": "DROP" },
3708 { "prim": "DIG", "args": [ { "int": "4" } ] },
3709 { "prim": "DROP" },
3710 { "prim": "DIG", "args": [ { "int": "4" } ] },
3711 { "prim": "DROP" },
3712 { "prim": "DIG", "args": [ { "int": "4" } ] },
3713 { "prim": "DROP" },
3714 { "prim": "DIG", "args": [ { "int": "4" } ] },
3715 { "prim": "DROP" },
3716 { "prim": "DIG", "args": [ { "int": "3" } ] },
3717 { "prim": "DUP" },
3718 { "prim": "GET", "args": [ { "int": "24" } ] },
3719 { "prim": "DUP", "args": [ { "int": "5" } ] },
3720 { "prim": "CDR" },
3721 { "prim": "DUP", "args": [ { "int": "6" } ] },
3722 { "prim": "CAR" },
3723 { "prim": "PAIR" },
3724 { "prim": "SOME" },
3725 { "prim": "DUP", "args": [ { "int": "6" } ] },
3726 { "prim": "CAR" },
3727 { "prim": "UPDATE" },
3728 { "prim": "UPDATE", "args": [ { "int": "24" } ] },
3729 { "prim": "DUG", "args": [ { "int": "3" } ] }
3730 ],
3731 [
3732 { "prim": "DUP", "args": [ { "int": "3" } ] },
3733 {
3734 "prim": "PUSH",
3735 "args": [
3736 { "prim": "list", "args": [ { "prim": "string" } ] },
3737 [
3738 { "string": "" },
3739 { "string": "metadata_uri" },
3740 { "string": "artifactUri" },
3741 { "string": "displayUri" },
3742 { "string": "thumbnailUri" },
3743 { "string": "formats" },
3744 { "string": "tags" },
3745 { "string": "attributes" },
3746 { "string": "rights" },
3747 { "string": "content_type" },
3748 { "string": "isBooleanAmount" },
3749 { "string": "shouldPreferSymbol" }
3750 ]
3751 ]
3752 },
3753 { "prim": "DUP" },
3754 {
3755 "prim": "ITER",
3756 "args": [
3757 [
3758 { "prim": "DUP", "args": [ { "int": "10" } ] },
3759 { "prim": "CDR" },
3760 { "prim": "DUP", "args": [ { "int": "2" } ] },
3761 { "prim": "MEM" },
3762 {
3763 "prim": "IF",
3764 "args": [
3765 [
3766 { "prim": "DIG", "args": [ { "int": "2" } ] },
3767 { "prim": "DUP", "args": [ { "int": "10" } ] },
3768 { "prim": "CDR" },
3769 { "prim": "DUP", "args": [ { "int": "3" } ] },
3770 { "prim": "GET" },
3771 {
3772 "prim": "IF_NONE",
3773 "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "274" } ] }, { "prim": "FAILWITH" } ], [] ]
3774 },
3775 { "prim": "SOME" },
3776 { "prim": "DIG", "args": [ { "int": "2" } ] },
3777 { "prim": "UPDATE" },
3778 { "prim": "SWAP" }
3779 ],
3780 [ { "prim": "DROP" } ]
3781 ]
3782 }
3783 ]
3784 ]
3785 },
3786 { "prim": "DROP" },
3787 { "prim": "DIG", "args": [ { "int": "3" } ] },
3788 { "prim": "DROP" },
3789 { "prim": "DIG", "args": [ { "int": "3" } ] },
3790 { "prim": "DROP" },
3791 { "prim": "DIG", "args": [ { "int": "3" } ] },
3792 { "prim": "DROP" },
3793 { "prim": "DIG", "args": [ { "int": "3" } ] },
3794 { "prim": "DROP" },
3795 { "prim": "DIG", "args": [ { "int": "5" } ] },
3796 { "prim": "DROP" },
3797 { "prim": "DIG", "args": [ { "int": "5" } ] },
3798 { "prim": "DROP" },
3799 { "prim": "DIG", "args": [ { "int": "5" } ] },
3800 { "prim": "DROP" },
3801 { "prim": "DIG", "args": [ { "int": "5" } ] },
3802 { "prim": "DROP" },
3803 { "prim": "DIG", "args": [ { "int": "5" } ] },
3804 { "prim": "DROP" },
3805 { "prim": "DIG", "args": [ { "int": "5" } ] },
3806 { "prim": "DROP" },
3807 { "prim": "DIG", "args": [ { "int": "5" } ] },
3808 { "prim": "DROP" },
3809 { "prim": "DIG", "args": [ { "int": "5" } ] },
3810 { "prim": "DROP" },
3811 { "prim": "DIG", "args": [ { "int": "5" } ] },
3812 { "prim": "DROP" },
3813 { "prim": "DUP", "args": [ { "int": "4" } ] },
3814 { "prim": "CDR" },
3815 { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "metadata_uri" } ] },
3816 { "prim": "MEM" },
3817 {
3818 "prim": "IF",
3819 "args": [
3820 [
3821 { "prim": "DUP", "args": [ { "int": "4" } ] },
3822 { "prim": "CDR" },
3823 { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "metadata_uri" } ] },
3824 { "prim": "GET" },
3825 { "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "278" } ] }, { "prim": "FAILWITH" } ], [] ] },
3826 { "prim": "SOME" },
3827 { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "" } ] },
3828 { "prim": "UPDATE" }
3829 ],
3830 []
3831 ]
3832 },
3833 { "prim": "DUP", "args": [ { "int": "4" } ] },
3834 { "prim": "CDR" },
3835 { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "" } ] },
3836 { "prim": "MEM" },
3837 {
3838 "prim": "IF",
3839 "args": [
3840 [
3841 { "prim": "DUP", "args": [ { "int": "4" } ] },
3842 { "prim": "CDR" },
3843 { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "" } ] },
3844 { "prim": "GET" },
3845 { "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "280" } ] }, { "prim": "FAILWITH" } ], [] ] },
3846 { "prim": "SOME" },
3847 { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "metadata_uri" } ] },
3848 { "prim": "UPDATE" }
3849 ],
3850 []
3851 ]
3852 },
3853 { "prim": "DIG", "args": [ { "int": "4" } ] },
3854 { "prim": "DUP" },
3855 { "prim": "GET", "args": [ { "int": "24" } ] },
3856 { "prim": "DIG", "args": [ { "int": "2" } ] },
3857 { "prim": "DUP", "args": [ { "int": "6" } ] },
3858 { "prim": "CAR" },
3859 { "prim": "PAIR" },
3860 { "prim": "SOME" },
3861 { "prim": "DUP", "args": [ { "int": "6" } ] },
3862 { "prim": "CAR" },
3863 { "prim": "UPDATE" },
3864 { "prim": "UPDATE", "args": [ { "int": "24" } ] },
3865 { "prim": "DUG", "args": [ { "int": "3" } ] }
3866 ]
3867 ]
3868 },
3869 { "prim": "DIG", "args": [ { "int": "3" } ] },
3870 { "prim": "DUP" },
3871 { "prim": "GET", "args": [ { "int": "24" } ] },
3872 { "prim": "DUP" },
3873 { "prim": "DUP", "args": [ { "int": "6" } ] },
3874 { "prim": "CAR" },
3875 { "prim": "DUP" },
3876 { "prim": "DUG", "args": [ { "int": "2" } ] },
3877 { "prim": "GET" },
3878 { "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "288" } ] }, { "prim": "FAILWITH" } ], [] ] },
3879 { "prim": "DUP" },
3880 { "prim": "CDR" },
3881 { "prim": "DIG", "args": [ { "int": "6" } ] },
3882 { "prim": "SOME" },
3883 { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "content_hash" } ] },
3884 { "prim": "UPDATE" },
3885 { "prim": "UPDATE", "args": [ { "int": "2" } ] },
3886 { "prim": "SOME" },
3887 { "prim": "SWAP" },
3888 { "prim": "UPDATE" },
3889 { "prim": "UPDATE", "args": [ { "int": "24" } ] },
3890 { "prim": "DUP" },
3891 { "prim": "GET", "args": [ { "int": "24" } ] },
3892 { "prim": "DUP" },
3893 { "prim": "DIG", "args": [ { "int": "4" } ] },
3894 { "prim": "CAR" },
3895 { "prim": "DUP" },
3896 { "prim": "DUG", "args": [ { "int": "2" } ] },
3897 { "prim": "GET" },
3898 { "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "289" } ] }, { "prim": "FAILWITH" } ], [] ] },
3899 { "prim": "DUP" },
3900 { "prim": "CDR" },
3901 { "prim": "DIG", "args": [ { "int": "5" } ] },
3902 { "prim": "SOME" },
3903 { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "royalties" } ] },
3904 { "prim": "UPDATE" },
3905 { "prim": "UPDATE", "args": [ { "int": "2" } ] },
3906 { "prim": "SOME" },
3907 { "prim": "SWAP" },
3908 { "prim": "UPDATE" },
3909 { "prim": "UPDATE", "args": [ { "int": "24" } ] }
3910 ],
3911 [
3912 { "prim": "DIG", "args": [ { "int": "2" } ] },
3913 { "prim": "DROP" },
3914 { "prim": "DIG", "args": [ { "int": "2" } ] },
3915 { "prim": "DROP" },
3916 { "prim": "DIG", "args": [ { "int": "2" } ] },
3917 { "prim": "DROP" },
3918 { "prim": "DIG", "args": [ { "int": "2" } ] },
3919 { "prim": "DROP" },
3920 { "prim": "DIG", "args": [ { "int": "2" } ] },
3921 { "prim": "DROP" },
3922 { "prim": "DIG", "args": [ { "int": "3" } ] },
3923 { "prim": "DROP" },
3924 { "prim": "DIG", "args": [ { "int": "3" } ] },
3925 { "prim": "DROP" },
3926 { "prim": "DIG", "args": [ { "int": "3" } ] },
3927 { "prim": "DROP" },
3928 { "prim": "DUP", "args": [ { "int": "2" } ] },
3929 { "prim": "GET", "args": [ { "int": "21" } ] },
3930 { "prim": "IF", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "MINTING_PAUSED" } ] }, { "prim": "FAILWITH" } ], [] ] },
3931 { "prim": "DIG", "args": [ { "int": "2" } ] },
3932 { "prim": "UNIT" },
3933 { "prim": "SWAP" },
3934 { "prim": "DIG", "args": [ { "int": "3" } ] },
3935 { "prim": "DIG", "args": [ { "int": "2" } ] },
3936 { "prim": "PAIR" },
3937 { "prim": "EXEC" },
3938 { "prim": "UNPAIR" },
3939 { "prim": "SWAP" },
3940 { "prim": "DUG", "args": [ { "int": "2" } ] },
3941 {
3942 "prim": "IF",
3943 "args": [
3944 [],
3945 [
3946 { "prim": "DUP", "args": [ { "int": "2" } ] },
3947 { "prim": "GET", "args": [ { "int": "9" } ] },
3948 { "prim": "AMOUNT" },
3949 { "prim": "COMPARE" },
3950 { "prim": "GE" },
3951 {
3952 "prim": "IF",
3953 "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "INSUFFICIENT_FEE" } ] }, { "prim": "FAILWITH" } ] ]
3954 },
3955 { "prim": "SENDER" },
3956 { "prim": "DUP", "args": [ { "int": "2" } ] },
3957 { "prim": "GET", "args": [ { "int": "17" } ] },
3958 { "prim": "COMPARE" },
3959 { "prim": "EQ" },
3960 {
3961 "prim": "IF",
3962 "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "MUST_MINT_TO_SELF" } ] }, { "prim": "FAILWITH" } ] ]
3963 }
3964 ]
3965 ]
3966 },
3967 { "prim": "DUP", "args": [ { "int": "2" } ] },
3968 { "prim": "GET", "args": [ { "int": "3" } ] },
3969 { "prim": "DUP", "args": [ { "int": "2" } ] },
3970 { "prim": "GET", "args": [ { "int": "3" } ] },
3971 { "prim": "MEM" },
3972 {
3973 "prim": "IF",
3974 "args": [ [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "DUPLICATE_CONTENT_HASH" } ] }, { "prim": "FAILWITH" } ], [] ]
3975 },
3976 { "prim": "DUP", "args": [ { "int": "2" } ] },
3977 { "prim": "GET", "args": [ { "int": "17" } ] },
3978 { "prim": "EMPTY_MAP", "args": [ { "prim": "string" }, { "prim": "bytes" } ] },
3979 { "prim": "DUP", "args": [ { "int": "3" } ] },
3980 { "prim": "GET", "args": [ { "int": "15" } ] },
3981 { "prim": "SOME" },
3982 { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "name" } ] },
3983 { "prim": "UPDATE" },
3984 { "prim": "DUP", "args": [ { "int": "3" } ] },
3985 { "prim": "GET", "args": [ { "int": "21" } ] },
3986 { "prim": "SOME" },
3987 { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "symbol" } ] },
3988 { "prim": "UPDATE" },
3989 { "prim": "DUP", "args": [ { "int": "3" } ] },
3990 { "prim": "GET", "args": [ { "int": "9" } ] },
3991 { "prim": "SOME" },
3992 { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "description" } ] },
3993 { "prim": "UPDATE" },
3994 { "prim": "DUP", "args": [ { "int": "3" } ] },
3995 { "prim": "CAR" },
3996 { "prim": "SOME" },
3997 { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "artifactUri" } ] },
3998 { "prim": "UPDATE" },
3999 { "prim": "DUP", "args": [ { "int": "3" } ] },
4000 { "prim": "GET", "args": [ { "int": "11" } ] },
4001 { "prim": "SOME" },
4002 { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "displayUri" } ] },
4003 { "prim": "UPDATE" },
4004 { "prim": "DUP", "args": [ { "int": "3" } ] },
4005 { "prim": "GET", "args": [ { "int": "22" } ] },
4006 { "prim": "SOME" },
4007 { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "thumbnailUri" } ] },
4008 { "prim": "UPDATE" },
4009 { "prim": "DUP", "args": [ { "int": "3" } ] },
4010 { "prim": "GET", "args": [ { "int": "7" } ] },
4011 { "prim": "SOME" },
4012 { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "decimals" } ] },
4013 { "prim": "UPDATE" },
4014 { "prim": "DUP", "args": [ { "int": "3" } ] },
4015 { "prim": "GET", "args": [ { "int": "5" } ] },
4016 { "prim": "SOME" },
4017 { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "creators" } ] },
4018 { "prim": "UPDATE" },
4019 { "prim": "DUP", "args": [ { "int": "3" } ] },
4020 { "prim": "GET", "args": [ { "int": "19" } ] },
4021 { "prim": "SOME" },
4022 { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "royalties" } ] },
4023 { "prim": "UPDATE" },
4024 { "prim": "DUP", "args": [ { "int": "3" } ] },
4025 { "prim": "GET", "args": [ { "int": "3" } ] },
4026 { "prim": "SOME" },
4027 { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "content_hash" } ] },
4028 { "prim": "UPDATE" },
4029 { "prim": "DUP", "args": [ { "int": "3" } ] },
4030 { "prim": "GET", "args": [ { "int": "13" } ] },
4031 { "prim": "SOME" },
4032 { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "metadata_uri" } ] },
4033 { "prim": "UPDATE" },
4034 { "prim": "DUP", "args": [ { "int": "3" } ] },
4035 { "prim": "GET", "args": [ { "int": "13" } ] },
4036 { "prim": "SOME" },
4037 { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "" } ] },
4038 { "prim": "UPDATE" },
4039 { "prim": "DIG", "args": [ { "int": "3" } ] },
4040 { "prim": "DUP" },
4041 { "prim": "GET", "args": [ { "int": "24" } ] },
4042 { "prim": "DIG", "args": [ { "int": "2" } ] },
4043 { "prim": "DUP", "args": [ { "int": "4" } ] },
4044 { "prim": "PAIR" },
4045 { "prim": "SOME" },
4046 { "prim": "DUP", "args": [ { "int": "4" } ] },
4047 { "prim": "UPDATE" },
4048 { "prim": "UPDATE", "args": [ { "int": "24" } ] },
4049 { "prim": "DUP" },
4050 { "prim": "GET", "args": [ { "int": "11" } ] },
4051 { "prim": "DUP", "args": [ { "int": "4" } ] },
4052 { "prim": "GET", "args": [ { "int": "17" } ] },
4053 { "prim": "SOME" },
4054 { "prim": "DUP", "args": [ { "int": "4" } ] },
4055 { "prim": "UPDATE" },
4056 { "prim": "UPDATE", "args": [ { "int": "11" } ] },
4057 { "prim": "DUP" },
4058 { "prim": "GET", "args": [ { "int": "15" } ] },
4059 { "prim": "PUSH", "args": [ { "prim": "option", "args": [ { "prim": "bool" } ] }, { "prim": "Some", "args": [ { "prim": "False" } ] } ] },
4060 { "prim": "DUP", "args": [ { "int": "4" } ] },
4061 { "prim": "UPDATE" },
4062 { "prim": "UPDATE", "args": [ { "int": "15" } ] },
4063 { "prim": "DUP" },
4064 { "prim": "GET", "args": [ { "int": "3" } ] },
4065 { "prim": "DUP", "args": [ { "int": "3" } ] },
4066 { "prim": "SOME" },
4067 { "prim": "DUP", "args": [ { "int": "5" } ] },
4068 { "prim": "GET", "args": [ { "int": "3" } ] },
4069 { "prim": "UPDATE" },
4070 { "prim": "UPDATE", "args": [ { "int": "3" } ] },
4071 { "prim": "DUP" },
4072 { "prim": "GET", "args": [ { "int": "23" } ] },
4073 { "prim": "DIG", "args": [ { "int": "3" } ] },
4074 { "prim": "GET", "args": [ { "int": "17" } ] },
4075 { "prim": "SOME" },
4076 { "prim": "DUP", "args": [ { "int": "4" } ] },
4077 { "prim": "UPDATE" },
4078 { "prim": "UPDATE", "args": [ { "int": "23" } ] },
4079 { "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "1" } ] },
4080 { "prim": "DIG", "args": [ { "int": "2" } ] },
4081 { "prim": "ADD" },
4082 { "prim": "UPDATE", "args": [ { "int": "17" } ] }
4083 ]
4084 ]
4085 }
4086 ],
4087 [
4088 {
4089 "prim": "IF_LEFT",
4090 "args": [
4091 [
4092 { "prim": "DROP" },
4093 { "prim": "SWAP" },
4094 { "prim": "DROP" },
4095 { "prim": "SWAP" },
4096 { "prim": "DROP" },
4097 { "prim": "SWAP" },
4098 { "prim": "DROP" },
4099 { "prim": "SWAP" },
4100 { "prim": "DROP" },
4101 { "prim": "SWAP" },
4102 { "prim": "DROP" },
4103 { "prim": "DIG", "args": [ { "int": "2" } ] },
4104 { "prim": "DROP" },
4105 { "prim": "DIG", "args": [ { "int": "2" } ] },
4106 { "prim": "DROP" },
4107 { "prim": "DIG", "args": [ { "int": "2" } ] },
4108 { "prim": "DROP" },
4109 { "prim": "UNIT" },
4110 { "prim": "PAIR" },
4111 { "prim": "EXEC" },
4112 { "prim": "UNPAIR" },
4113 { "prim": "IF", "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "FA2_NOT_ADMIN" } ] }, { "prim": "FAILWITH" } ] ] },
4114 { "prim": "PUSH", "args": [ { "prim": "bool" }, { "prim": "True" } ] },
4115 { "prim": "UPDATE", "args": [ { "int": "5" } ] }
4116 ],
4117 [
4118 {
4119 "prim": "IF_LEFT",
4120 "args": [
4121 [
4122 { "prim": "DIG", "args": [ { "int": "2" } ] },
4123 { "prim": "DROP" },
4124 { "prim": "DIG", "args": [ { "int": "2" } ] },
4125 { "prim": "DROP" },
4126 { "prim": "DIG", "args": [ { "int": "2" } ] },
4127 { "prim": "DROP" },
4128 { "prim": "DIG", "args": [ { "int": "2" } ] },
4129 { "prim": "DROP" },
4130 { "prim": "DIG", "args": [ { "int": "2" } ] },
4131 { "prim": "DROP" },
4132 { "prim": "DIG", "args": [ { "int": "3" } ] },
4133 { "prim": "DROP" },
4134 { "prim": "DIG", "args": [ { "int": "3" } ] },
4135 { "prim": "DROP" },
4136 { "prim": "DIG", "args": [ { "int": "3" } ] },
4137 { "prim": "DROP" },
4138 { "prim": "DUP", "args": [ { "int": "2" } ] },
4139 { "prim": "GET", "args": [ { "int": "24" } ] },
4140 { "prim": "DUP", "args": [ { "int": "2" } ] },
4141 { "prim": "MEM" },
4142 {
4143 "prim": "IF",
4144 "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "FA2_TOKEN_UNDEFINED" } ] }, { "prim": "FAILWITH" } ] ]
4145 },
4146 { "prim": "DIG", "args": [ { "int": "2" } ] },
4147 { "prim": "UNIT" },
4148 { "prim": "SWAP" },
4149 { "prim": "DIG", "args": [ { "int": "3" } ] },
4150 { "prim": "DIG", "args": [ { "int": "2" } ] },
4151 { "prim": "PAIR" },
4152 { "prim": "EXEC" },
4153 { "prim": "UNPAIR" },
4154 { "prim": "SWAP" },
4155 { "prim": "DUG", "args": [ { "int": "2" } ] },
4156 { "prim": "SENDER" },
4157 { "prim": "DUP", "args": [ { "int": "4" } ] },
4158 { "prim": "GET", "args": [ { "int": "11" } ] },
4159 { "prim": "DUP", "args": [ { "int": "4" } ] },
4160 { "prim": "GET" },
4161 {
4162 "prim": "IF_NONE",
4163 "args": [ [ { "prim": "PUSH", "args": [ { "prim": "address" }, { "string": "tz1burnburnburnburnburnburnburjAYjjX" } ] } ], [] ]
4164 },
4165 { "prim": "COMPARE" },
4166 { "prim": "EQ" },
4167 { "prim": "SWAP" },
4168 { "prim": "IF", "args": [ [ { "prim": "DROP" }, { "prim": "PUSH", "args": [ { "prim": "bool" }, { "prim": "True" } ] } ], [] ] },
4169 {
4170 "prim": "IF",
4171 "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "NOT_AUTHORIZED" } ] }, { "prim": "FAILWITH" } ] ]
4172 },
4173 { "prim": "SWAP" },
4174 { "prim": "DUP" },
4175 { "prim": "GET", "args": [ { "int": "15" } ] },
4176 { "prim": "PUSH", "args": [ { "prim": "option", "args": [ { "prim": "bool" } ] }, { "prim": "Some", "args": [ { "prim": "True" } ] } ] },
4177 { "prim": "DIG", "args": [ { "int": "3" } ] },
4178 { "prim": "UPDATE" },
4179 { "prim": "UPDATE", "args": [ { "int": "15" } ] }
4180 ],
4181 [
4182 { "prim": "DROP" },
4183 { "prim": "SWAP" },
4184 { "prim": "DROP" },
4185 { "prim": "SWAP" },
4186 { "prim": "DROP" },
4187 { "prim": "SWAP" },
4188 { "prim": "DROP" },
4189 { "prim": "SWAP" },
4190 { "prim": "DROP" },
4191 { "prim": "SWAP" },
4192 { "prim": "DROP" },
4193 { "prim": "SWAP" },
4194 { "prim": "DROP" },
4195 { "prim": "SWAP" },
4196 { "prim": "DROP" },
4197 { "prim": "SWAP" },
4198 { "prim": "DROP" },
4199 { "prim": "SWAP" },
4200 { "prim": "DROP" },
4201 { "prim": "PUSH", "args": [ { "prim": "bool" }, { "prim": "False" } ] },
4202 {
4203 "prim": "IF",
4204 "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "MINT_DISABLED_USE_KEEP" } ] }, { "prim": "FAILWITH" } ] ]
4205 }
4206 ]
4207 ]
4208 }
4209 ]
4210 ]
4211 }
4212 ]
4213 ]
4214 },
4215 { "prim": "NIL", "args": [ { "prim": "operation" } ] }
4216 ]
4217 ]
4218 }
4219 ],
4220 [
4221 {
4222 "prim": "IF_LEFT",
4223 "args": [
4224 [
4225 {
4226 "prim": "IF_LEFT",
4227 "args": [
4228 [
4229 {
4230 "prim": "IF_LEFT",
4231 "args": [
4232 [
4233 { "prim": "DROP" },
4234 { "prim": "SWAP" },
4235 { "prim": "DROP" },
4236 { "prim": "SWAP" },
4237 { "prim": "DROP" },
4238 { "prim": "SWAP" },
4239 { "prim": "DROP" },
4240 { "prim": "SWAP" },
4241 { "prim": "DROP" },
4242 { "prim": "SWAP" },
4243 { "prim": "DROP" },
4244 { "prim": "DIG", "args": [ { "int": "2" } ] },
4245 { "prim": "DROP" },
4246 { "prim": "DIG", "args": [ { "int": "2" } ] },
4247 { "prim": "DROP" },
4248 { "prim": "DIG", "args": [ { "int": "2" } ] },
4249 { "prim": "DROP" },
4250 { "prim": "UNIT" },
4251 { "prim": "PAIR" },
4252 { "prim": "EXEC" },
4253 { "prim": "UNPAIR" },
4254 { "prim": "IF", "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "FA2_NOT_ADMIN" } ] }, { "prim": "FAILWITH" } ] ] },
4255 { "prim": "PUSH", "args": [ { "prim": "bool" }, { "prim": "True" } ] },
4256 { "prim": "UPDATE", "args": [ { "int": "21" } ] }
4257 ],
4258 [
4259 { "prim": "DIG", "args": [ { "int": "2" } ] },
4260 { "prim": "DROP" },
4261 { "prim": "DIG", "args": [ { "int": "2" } ] },
4262 { "prim": "DROP" },
4263 { "prim": "DIG", "args": [ { "int": "2" } ] },
4264 { "prim": "DROP" },
4265 { "prim": "DIG", "args": [ { "int": "2" } ] },
4266 { "prim": "DROP" },
4267 { "prim": "DIG", "args": [ { "int": "2" } ] },
4268 { "prim": "DROP" },
4269 { "prim": "DIG", "args": [ { "int": "3" } ] },
4270 { "prim": "DROP" },
4271 { "prim": "DIG", "args": [ { "int": "3" } ] },
4272 { "prim": "DROP" },
4273 { "prim": "DIG", "args": [ { "int": "3" } ] },
4274 { "prim": "DROP" },
4275 { "prim": "DIG", "args": [ { "int": "2" } ] },
4276 { "prim": "UNIT" },
4277 { "prim": "SWAP" },
4278 { "prim": "DIG", "args": [ { "int": "3" } ] },
4279 { "prim": "DIG", "args": [ { "int": "2" } ] },
4280 { "prim": "PAIR" },
4281 { "prim": "EXEC" },
4282 { "prim": "UNPAIR" },
4283 { "prim": "SWAP" },
4284 { "prim": "DUG", "args": [ { "int": "2" } ] },
4285 { "prim": "IF", "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "FA2_NOT_ADMIN" } ] }, { "prim": "FAILWITH" } ] ] },
4286 { "prim": "UPDATE", "args": [ { "int": "1" } ] }
4287 ]
4288 ]
4289 }
4290 ],
4291 [
4292 {
4293 "prim": "IF_LEFT",
4294 "args": [
4295 [
4296 { "prim": "DUP", "args": [ { "int": "8" } ] },
4297 { "prim": "UNIT" },
4298 { "prim": "SWAP" },
4299 { "prim": "DIG", "args": [ { "int": "3" } ] },
4300 { "prim": "DIG", "args": [ { "int": "2" } ] },
4301 { "prim": "PAIR" },
4302 { "prim": "EXEC" },
4303 { "prim": "UNPAIR" },
4304 { "prim": "DUG", "args": [ { "int": "11" } ] },
4305 { "prim": "DUG", "args": [ { "int": "11" } ] },
4306 { "prim": "DUG", "args": [ { "int": "11" } ] },
4307 { "prim": "DIG", "args": [ { "int": "10" } ] },
4308 { "prim": "DIG", "args": [ { "int": "11" } ] },
4309 { "prim": "DIG", "args": [ { "int": "11" } ] },
4310 { "prim": "IF", "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "FA2_NOT_ADMIN" } ] }, { "prim": "FAILWITH" } ] ] },
4311 { "prim": "DUP", "args": [ { "int": "2" } ] },
4312 { "prim": "GET", "args": [ { "int": "5" } ] },
4313 {
4314 "prim": "IF",
4315 "args": [ [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CONTRACT_METADATA_LOCKED" } ] }, { "prim": "FAILWITH" } ], [] ]
4316 },
4317 { "prim": "DUP" },
4318 {
4319 "prim": "ITER",
4320 "args": [
4321 [
4322 { "prim": "DIG", "args": [ { "int": "2" } ] },
4323 { "prim": "DUP" },
4324 { "prim": "GET", "args": [ { "int": "13" } ] },
4325 { "prim": "DUP", "args": [ { "int": "3" } ] },
4326 { "prim": "CDR" },
4327 { "prim": "SOME" },
4328 { "prim": "DIG", "args": [ { "int": "3" } ] },
4329 { "prim": "CAR" },
4330 { "prim": "UPDATE" },
4331 { "prim": "UPDATE", "args": [ { "int": "13" } ] },
4332 { "prim": "SWAP" }
4333 ]
4334 ]
4335 },
4336 { "prim": "DROP" },
4337 { "prim": "SWAP" },
4338 { "prim": "DROP" },
4339 { "prim": "SWAP" },
4340 { "prim": "DROP" },
4341 { "prim": "SWAP" },
4342 { "prim": "DROP" },
4343 { "prim": "SWAP" },
4344 { "prim": "DROP" },
4345 { "prim": "SWAP" },
4346 { "prim": "DROP" },
4347 { "prim": "SWAP" },
4348 { "prim": "DROP" },
4349 { "prim": "SWAP" },
4350 { "prim": "DROP" },
4351 { "prim": "SWAP" },
4352 { "prim": "DROP" },
4353 { "prim": "SWAP" },
4354 { "prim": "DROP" }
4355 ],
4356 [
4357 { "prim": "DIG", "args": [ { "int": "2" } ] },
4358 { "prim": "DROP" },
4359 { "prim": "DIG", "args": [ { "int": "2" } ] },
4360 { "prim": "DROP" },
4361 { "prim": "DIG", "args": [ { "int": "2" } ] },
4362 { "prim": "DROP" },
4363 { "prim": "DIG", "args": [ { "int": "2" } ] },
4364 { "prim": "DROP" },
4365 { "prim": "DIG", "args": [ { "int": "2" } ] },
4366 { "prim": "DROP" },
4367 { "prim": "DIG", "args": [ { "int": "3" } ] },
4368 { "prim": "DROP" },
4369 { "prim": "DIG", "args": [ { "int": "3" } ] },
4370 { "prim": "DROP" },
4371 { "prim": "DIG", "args": [ { "int": "3" } ] },
4372 { "prim": "DROP" },
4373 { "prim": "DIG", "args": [ { "int": "2" } ] },
4374 { "prim": "UNIT" },
4375 { "prim": "SWAP" },
4376 { "prim": "DIG", "args": [ { "int": "3" } ] },
4377 { "prim": "DIG", "args": [ { "int": "2" } ] },
4378 { "prim": "PAIR" },
4379 { "prim": "EXEC" },
4380 { "prim": "UNPAIR" },
4381 { "prim": "SWAP" },
4382 { "prim": "DUG", "args": [ { "int": "2" } ] },
4383 { "prim": "IF", "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "FA2_NOT_ADMIN" } ] }, { "prim": "FAILWITH" } ] ] },
4384 { "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "2500" } ] },
4385 { "prim": "DUP", "args": [ { "int": "2" } ] },
4386 { "prim": "COMPARE" },
4387 { "prim": "LE" },
4388 {
4389 "prim": "IF",
4390 "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "MAX_ROYALTY_25_PERCENT" } ] }, { "prim": "FAILWITH" } ] ]
4391 },
4392 { "prim": "UPDATE", "args": [ { "int": "7" } ] }
4393 ]
4394 ]
4395 }
4396 ]
4397 ]
4398 },
4399 { "prim": "NIL", "args": [ { "prim": "operation" } ] }
4400 ],
4401 [
4402 {
4403 "prim": "IF_LEFT",
4404 "args": [
4405 [
4406 {
4407 "prim": "IF_LEFT",
4408 "args": [
4409 [
4410 { "prim": "DIG", "args": [ { "int": "2" } ] },
4411 { "prim": "DROP" },
4412 { "prim": "DIG", "args": [ { "int": "2" } ] },
4413 { "prim": "DROP" },
4414 { "prim": "DIG", "args": [ { "int": "2" } ] },
4415 { "prim": "DROP" },
4416 { "prim": "DIG", "args": [ { "int": "2" } ] },
4417 { "prim": "DROP" },
4418 { "prim": "DIG", "args": [ { "int": "2" } ] },
4419 { "prim": "DROP" },
4420 { "prim": "DIG", "args": [ { "int": "3" } ] },
4421 { "prim": "DROP" },
4422 { "prim": "DIG", "args": [ { "int": "3" } ] },
4423 { "prim": "DROP" },
4424 { "prim": "DIG", "args": [ { "int": "3" } ] },
4425 { "prim": "DROP" },
4426 { "prim": "DIG", "args": [ { "int": "2" } ] },
4427 { "prim": "UNIT" },
4428 { "prim": "SWAP" },
4429 { "prim": "DIG", "args": [ { "int": "3" } ] },
4430 { "prim": "DIG", "args": [ { "int": "2" } ] },
4431 { "prim": "PAIR" },
4432 { "prim": "EXEC" },
4433 { "prim": "UNPAIR" },
4434 { "prim": "SWAP" },
4435 { "prim": "DUG", "args": [ { "int": "2" } ] },
4436 { "prim": "IF", "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "FA2_NOT_ADMIN" } ] }, { "prim": "FAILWITH" } ] ] },
4437 { "prim": "UPDATE", "args": [ { "int": "9" } ] }
4438 ],
4439 [
4440 { "prim": "DUP", "args": [ { "int": "3" } ] },
4441 { "prim": "GET", "args": [ { "int": "6" } ] },
4442 {
4443 "prim": "IF",
4444 "args": [
4445 [
4446 { "prim": "DUP" },
4447 {
4448 "prim": "ITER",
4449 "args": [
4450 [
4451 { "prim": "DUP" },
4452 { "prim": "CDR" },
4453 {
4454 "prim": "ITER",
4455 "args": [
4456 [
4457 { "prim": "DUP", "args": [ { "int": "9" } ] },
4458 { "prim": "SWAP" },
4459 { "prim": "DUP" },
4460 { "prim": "GET", "args": [ { "int": "3" } ] },
4461 { "prim": "DIG", "args": [ { "int": "2" } ] },
4462 { "prim": "DIG", "args": [ { "int": "5" } ] },
4463 { "prim": "DIG", "args": [ { "int": "2" } ] },
4464 { "prim": "PAIR" },
4465 { "prim": "EXEC" },
4466 { "prim": "UNPAIR" },
4467 { "prim": "DUG", "args": [ { "int": "13" } ] },
4468 { "prim": "DUG", "args": [ { "int": "13" } ] },
4469 { "prim": "DUG", "args": [ { "int": "13" } ] },
4470 { "prim": "DUG", "args": [ { "int": "13" } ] },
4471 { "prim": "DUG", "args": [ { "int": "13" } ] },
4472 { "prim": "DIG", "args": [ { "int": "10" } ] },
4473 { "prim": "DIG", "args": [ { "int": "13" } ] },
4474 { "prim": "DIG", "args": [ { "int": "13" } ] },
4475 { "prim": "DIG", "args": [ { "int": "13" } ] },
4476 { "prim": "DIG", "args": [ { "int": "13" } ] },
4477 {
4478 "prim": "IF",
4479 "args": [
4480 [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "FA2_TOKEN_UNDEFINED" } ] }, { "prim": "FAILWITH" } ]
4481 ]
4482 },
4483 { "prim": "DUP", "args": [ { "int": "11" } ] },
4484 { "prim": "DUP", "args": [ { "int": "2" } ] },
4485 { "prim": "GET", "args": [ { "int": "3" } ] },
4486 { "prim": "DUP", "args": [ { "int": "3" } ] },
4487 { "prim": "CAR" },
4488 { "prim": "DUP", "args": [ { "int": "5" } ] },
4489 { "prim": "CAR" },
4490 { "prim": "PAIR", "args": [ { "int": "3" } ] },
4491 { "prim": "SWAP" },
4492 { "prim": "DIG", "args": [ { "int": "5" } ] },
4493 { "prim": "DIG", "args": [ { "int": "2" } ] },
4494 { "prim": "PAIR" },
4495 { "prim": "EXEC" },
4496 { "prim": "CDR" },
4497 { "prim": "DUG", "args": [ { "int": "12" } ] },
4498 { "prim": "DUG", "args": [ { "int": "12" } ] },
4499 { "prim": "DUG", "args": [ { "int": "12" } ] },
4500 { "prim": "DUG", "args": [ { "int": "12" } ] },
4501 { "prim": "DIG", "args": [ { "int": "9" } ] },
4502 { "prim": "DIG", "args": [ { "int": "12" } ] },
4503 { "prim": "DIG", "args": [ { "int": "12" } ] },
4504 { "prim": "DIG", "args": [ { "int": "12" } ] },
4505 { "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
4506 { "prim": "DUP", "args": [ { "int": "2" } ] },
4507 { "prim": "GET", "args": [ { "int": "4" } ] },
4508 { "prim": "COMPARE" },
4509 { "prim": "GT" },
4510 {
4511 "prim": "IF",
4512 "args": [
4513 [
4514 { "prim": "DUP", "args": [ { "int": "2" } ] },
4515 { "prim": "CAR" },
4516 { "prim": "PAIR" },
4517 { "prim": "DUP", "args": [ { "int": "6" } ] },
4518 { "prim": "DIG", "args": [ { "int": "4" } ] },
4519 { "prim": "DIG", "args": [ { "int": "2" } ] },
4520 { "prim": "PAIR" },
4521 { "prim": "EXEC" },
4522 { "prim": "CDR" },
4523 { "prim": "DUG", "args": [ { "int": "11" } ] },
4524 { "prim": "DUG", "args": [ { "int": "11" } ] },
4525 { "prim": "DUG", "args": [ { "int": "11" } ] },
4526 { "prim": "DIG", "args": [ { "int": "9" } ] },
4527 { "prim": "DIG", "args": [ { "int": "11" } ] },
4528 { "prim": "DIG", "args": [ { "int": "11" } ] }
4529 ],
4530 [ { "prim": "DROP" } ]
4531 ]
4532 }
4533 ]
4534 ]
4535 },
4536 { "prim": "DROP" }
4537 ]
4538 ]
4539 },
4540 { "prim": "DROP" },
4541 { "prim": "SWAP" },
4542 { "prim": "DROP" },
4543 { "prim": "SWAP" },
4544 { "prim": "DROP" },
4545 { "prim": "SWAP" },
4546 { "prim": "DROP" },
4547 { "prim": "SWAP" },
4548 { "prim": "DROP" },
4549 { "prim": "SWAP" },
4550 { "prim": "DROP" },
4551 { "prim": "SWAP" },
4552 { "prim": "DROP" },
4553 { "prim": "SWAP" },
4554 { "prim": "DROP" },
4555 { "prim": "SWAP" },
4556 { "prim": "DROP" },
4557 { "prim": "SWAP" },
4558 { "prim": "DROP" }
4559 ],
4560 [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "FA2_TX_DENIED" } ] }, { "prim": "FAILWITH" } ]
4561 ]
4562 }
4563 ]
4564 ]
4565 },
4566 { "prim": "NIL", "args": [ { "prim": "operation" } ] }
4567 ],
4568 [
4569 {
4570 "prim": "IF_LEFT",
4571 "args": [
4572 [
4573 { "prim": "DROP" },
4574 { "prim": "SWAP" },
4575 { "prim": "DROP" },
4576 { "prim": "SWAP" },
4577 { "prim": "DROP" },
4578 { "prim": "SWAP" },
4579 { "prim": "DROP" },
4580 { "prim": "SWAP" },
4581 { "prim": "DROP" },
4582 { "prim": "SWAP" },
4583 { "prim": "DROP" },
4584 { "prim": "DIG", "args": [ { "int": "2" } ] },
4585 { "prim": "DROP" },
4586 { "prim": "DIG", "args": [ { "int": "2" } ] },
4587 { "prim": "DROP" },
4588 { "prim": "DIG", "args": [ { "int": "2" } ] },
4589 { "prim": "DROP" },
4590 { "prim": "UNIT" },
4591 { "prim": "PAIR" },
4592 { "prim": "EXEC" },
4593 { "prim": "UNPAIR" },
4594 { "prim": "IF", "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "FA2_NOT_ADMIN" } ] }, { "prim": "FAILWITH" } ] ] },
4595 { "prim": "PUSH", "args": [ { "prim": "bool" }, { "prim": "False" } ] },
4596 { "prim": "UPDATE", "args": [ { "int": "21" } ] },
4597 { "prim": "NIL", "args": [ { "prim": "operation" } ] }
4598 ],
4599 [
4600 {
4601 "prim": "IF_LEFT",
4602 "args": [
4603 [
4604 { "prim": "DUP", "args": [ { "int": "3" } ] },
4605 { "prim": "GET", "args": [ { "int": "5" } ] },
4606 {
4607 "prim": "IF",
4608 "args": [
4609 [
4610 { "prim": "DUP" },
4611 {
4612 "prim": "ITER",
4613 "args": [
4614 [
4615 {
4616 "prim": "IF_LEFT",
4617 "args": [
4618 [
4619 { "prim": "DUP", "args": [ { "int": "11" } ] },
4620 { "prim": "DUP", "args": [ { "int": "2" } ] },
4621 { "prim": "EXEC" },
4622 { "prim": "DROP" },
4623 { "prim": "DIG", "args": [ { "int": "2" } ] },
4624 { "prim": "DUP" },
4625 { "prim": "GET", "args": [ { "int": "19" } ] },
4626 {
4627 "prim": "PUSH",
4628 "args": [ { "prim": "option", "args": [ { "prim": "unit" } ] }, { "prim": "Some", "args": [ { "prim": "Unit" } ] } ]
4629 },
4630 { "prim": "DIG", "args": [ { "int": "3" } ] },
4631 { "prim": "UPDATE" },
4632 { "prim": "UPDATE", "args": [ { "int": "19" } ] },
4633 { "prim": "SWAP" }
4634 ],
4635 [
4636 { "prim": "DUP", "args": [ { "int": "11" } ] },
4637 { "prim": "DUP", "args": [ { "int": "2" } ] },
4638 { "prim": "EXEC" },
4639 { "prim": "DROP" },
4640 { "prim": "DIG", "args": [ { "int": "2" } ] },
4641 { "prim": "DUP" },
4642 { "prim": "GET", "args": [ { "int": "19" } ] },
4643 { "prim": "NONE", "args": [ { "prim": "unit" } ] },
4644 { "prim": "DIG", "args": [ { "int": "3" } ] },
4645 { "prim": "UPDATE" },
4646 { "prim": "UPDATE", "args": [ { "int": "19" } ] },
4647 { "prim": "SWAP" }
4648 ]
4649 ]
4650 }
4651 ]
4652 ]
4653 },
4654 { "prim": "DROP" },
4655 { "prim": "SWAP" },
4656 { "prim": "DROP" },
4657 { "prim": "SWAP" },
4658 { "prim": "DROP" },
4659 { "prim": "SWAP" },
4660 { "prim": "DROP" },
4661 { "prim": "SWAP" },
4662 { "prim": "DROP" },
4663 { "prim": "SWAP" },
4664 { "prim": "DROP" },
4665 { "prim": "SWAP" },
4666 { "prim": "DROP" },
4667 { "prim": "SWAP" },
4668 { "prim": "DROP" },
4669 { "prim": "SWAP" },
4670 { "prim": "DROP" },
4671 { "prim": "SWAP" },
4672 { "prim": "DROP" }
4673 ],
4674 [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "FA2_OPERATORS_UNSUPPORTED" } ] }, { "prim": "FAILWITH" } ]
4675 ]
4676 },
4677 { "prim": "NIL", "args": [ { "prim": "operation" } ] }
4678 ],
4679 [
4680 { "prim": "DIG", "args": [ { "int": "2" } ] },
4681 { "prim": "DROP" },
4682 { "prim": "DIG", "args": [ { "int": "2" } ] },
4683 { "prim": "DROP" },
4684 { "prim": "DIG", "args": [ { "int": "2" } ] },
4685 { "prim": "DROP" },
4686 { "prim": "DIG", "args": [ { "int": "2" } ] },
4687 { "prim": "DROP" },
4688 { "prim": "DIG", "args": [ { "int": "2" } ] },
4689 { "prim": "DROP" },
4690 { "prim": "DIG", "args": [ { "int": "3" } ] },
4691 { "prim": "DROP" },
4692 { "prim": "DIG", "args": [ { "int": "3" } ] },
4693 { "prim": "DROP" },
4694 { "prim": "DIG", "args": [ { "int": "3" } ] },
4695 { "prim": "DROP" },
4696 { "prim": "DIG", "args": [ { "int": "2" } ] },
4697 { "prim": "UNIT" },
4698 { "prim": "SWAP" },
4699 { "prim": "DIG", "args": [ { "int": "3" } ] },
4700 { "prim": "DIG", "args": [ { "int": "2" } ] },
4701 { "prim": "PAIR" },
4702 { "prim": "EXEC" },
4703 { "prim": "UNPAIR" },
4704 { "prim": "SWAP" },
4705 { "prim": "DUG", "args": [ { "int": "2" } ] },
4706 {
4707 "prim": "IF",
4708 "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "FA2_NOT_ADMIN" } ] }, { "prim": "FAILWITH" } ] ]
4709 },
4710 { "prim": "CONTRACT", "args": [ { "prim": "unit" } ] },
4711 { "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "341" } ] }, { "prim": "FAILWITH" } ], [] ] },
4712 { "prim": "NIL", "args": [ { "prim": "operation" } ] },
4713 { "prim": "SWAP" },
4714 { "prim": "BALANCE" },
4715 { "prim": "UNIT" },
4716 { "prim": "TRANSFER_TOKENS" },
4717 { "prim": "CONS" }
4718 ]
4719 ]
4720 }
4721 ]
4722 ]
4723 }
4724 ]
4725 ]
4726 }
4727 ]
4728 ]
4729 }
4730 ]
4731 ]
4732 },
4733 { "prim": "PAIR" }
4734 ]
4735 ]
4736 },
4737 {
4738 "prim": "view",
4739 "args": [
4740 { "string": "get_balance_of" },
4741 { "prim": "list", "args": [ { "prim": "pair", "args": [ { "prim": "address", "annots": [ "%owner" ] }, { "prim": "nat", "annots": [ "%token_id" ] } ] } ] },
4742 {
4743 "prim": "list",
4744 "args": [
4745 {
4746 "prim": "pair",
4747 "args": [
4748 { "prim": "pair", "args": [ { "prim": "address", "annots": [ "%owner" ] }, { "prim": "nat", "annots": [ "%token_id" ] } ], "annots": [ "%request" ] },
4749 { "prim": "nat", "annots": [ "%balance" ] }
4750 ]
4751 }
4752 ]
4753 },
4754 [
4755 { "prim": "UNPAIR" },
4756 {
4757 "prim": "LAMBDA",
4758 "args": [
4759 {
4760 "prim": "pair",
4761 "args": [
4762 {
4763 "prim": "pair",
4764 "args": [
4765 {
4766 "prim": "lambda",
4767 "args": [
4768 {
4769 "prim": "pair",
4770 "args": [
4771 { "prim": "nat" },
4772 {
4773 "prim": "pair",
4774 "args": [
4775 { "prim": "address" },
4776 {
4777 "prim": "pair",
4778 "args": [
4779 { "prim": "big_map", "args": [ { "prim": "bytes" }, { "prim": "nat" } ] },
4780 {
4781 "prim": "pair",
4782 "args": [
4783 { "prim": "bool" },
4784 {
4785 "prim": "pair",
4786 "args": [
4787 { "prim": "nat" },
4788 {
4789 "prim": "pair",
4790 "args": [
4791 { "prim": "mutez" },
4792 {
4793 "prim": "pair",
4794 "args": [
4795 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
4796 {
4797 "prim": "pair",
4798 "args": [
4799 { "prim": "big_map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] },
4800 {
4801 "prim": "pair",
4802 "args": [
4803 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "bool" } ] },
4804 {
4805 "prim": "pair",
4806 "args": [
4807 { "prim": "nat" },
4808 {
4809 "prim": "pair",
4810 "args": [
4811 {
4812 "prim": "big_map",
4813 "args": [
4814 {
4815 "prim": "pair",
4816 "args": [
4817 { "prim": "address" }, { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] }
4818 ]
4819 },
4820 { "prim": "unit" }
4821 ]
4822 },
4823 {
4824 "prim": "pair",
4825 "args": [
4826 { "prim": "bool" },
4827 {
4828 "prim": "pair",
4829 "args": [
4830 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
4831 {
4832 "prim": "big_map",
4833 "args": [
4834 { "prim": "nat" },
4835 {
4836 "prim": "pair",
4837 "args": [
4838 { "prim": "nat" }, { "prim": "map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] }
4839 ]
4840 }
4841 ]
4842 }
4843 ]
4844 }
4845 ]
4846 }
4847 ]
4848 }
4849 ]
4850 }
4851 ]
4852 }
4853 ]
4854 }
4855 ]
4856 }
4857 ]
4858 }
4859 ]
4860 }
4861 ]
4862 }
4863 ]
4864 }
4865 ]
4866 }
4867 ]
4868 },
4869 {
4870 "prim": "pair",
4871 "args": [
4872 { "prim": "bool" },
4873 {
4874 "prim": "pair",
4875 "args": [
4876 { "prim": "address" },
4877 {
4878 "prim": "pair",
4879 "args": [
4880 { "prim": "big_map", "args": [ { "prim": "bytes" }, { "prim": "nat" } ] },
4881 {
4882 "prim": "pair",
4883 "args": [
4884 { "prim": "bool" },
4885 {
4886 "prim": "pair",
4887 "args": [
4888 { "prim": "nat" },
4889 {
4890 "prim": "pair",
4891 "args": [
4892 { "prim": "mutez" },
4893 {
4894 "prim": "pair",
4895 "args": [
4896 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
4897 {
4898 "prim": "pair",
4899 "args": [
4900 { "prim": "big_map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] },
4901 {
4902 "prim": "pair",
4903 "args": [
4904 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "bool" } ] },
4905 {
4906 "prim": "pair",
4907 "args": [
4908 { "prim": "nat" },
4909 {
4910 "prim": "pair",
4911 "args": [
4912 {
4913 "prim": "big_map",
4914 "args": [
4915 {
4916 "prim": "pair",
4917 "args": [
4918 { "prim": "address" }, { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] }
4919 ]
4920 },
4921 { "prim": "unit" }
4922 ]
4923 },
4924 {
4925 "prim": "pair",
4926 "args": [
4927 { "prim": "bool" },
4928 {
4929 "prim": "pair",
4930 "args": [
4931 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
4932 {
4933 "prim": "big_map",
4934 "args": [
4935 { "prim": "nat" },
4936 {
4937 "prim": "pair",
4938 "args": [
4939 { "prim": "nat" }, { "prim": "map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] }
4940 ]
4941 }
4942 ]
4943 }
4944 ]
4945 }
4946 ]
4947 }
4948 ]
4949 }
4950 ]
4951 }
4952 ]
4953 }
4954 ]
4955 }
4956 ]
4957 }
4958 ]
4959 }
4960 ]
4961 }
4962 ]
4963 }
4964 ]
4965 }
4966 ]
4967 }
4968 ]
4969 }
4970 ]
4971 },
4972 { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] }
4973 ]
4974 },
4975 {
4976 "prim": "pair",
4977 "args": [
4978 { "prim": "address" },
4979 {
4980 "prim": "pair",
4981 "args": [
4982 { "prim": "big_map", "args": [ { "prim": "bytes" }, { "prim": "nat" } ] },
4983 {
4984 "prim": "pair",
4985 "args": [
4986 { "prim": "bool" },
4987 {
4988 "prim": "pair",
4989 "args": [
4990 { "prim": "nat" },
4991 {
4992 "prim": "pair",
4993 "args": [
4994 { "prim": "mutez" },
4995 {
4996 "prim": "pair",
4997 "args": [
4998 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
4999 {
5000 "prim": "pair",
5001 "args": [
5002 { "prim": "big_map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] },
5003 {
5004 "prim": "pair",
5005 "args": [
5006 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "bool" } ] },
5007 {
5008 "prim": "pair",
5009 "args": [
5010 { "prim": "nat" },
5011 {
5012 "prim": "pair",
5013 "args": [
5014 {
5015 "prim": "big_map",
5016 "args": [
5017 {
5018 "prim": "pair",
5019 "args": [ { "prim": "address" }, { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] } ]
5020 },
5021 { "prim": "unit" }
5022 ]
5023 },
5024 {
5025 "prim": "pair",
5026 "args": [
5027 { "prim": "bool" },
5028 {
5029 "prim": "pair",
5030 "args": [
5031 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
5032 {
5033 "prim": "big_map",
5034 "args": [
5035 { "prim": "nat" },
5036 {
5037 "prim": "pair",
5038 "args": [ { "prim": "nat" }, { "prim": "map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] } ]
5039 }
5040 ]
5041 }
5042 ]
5043 }
5044 ]
5045 }
5046 ]
5047 }
5048 ]
5049 }
5050 ]
5051 }
5052 ]
5053 }
5054 ]
5055 }
5056 ]
5057 }
5058 ]
5059 }
5060 ]
5061 }
5062 ]
5063 }
5064 ]
5065 }
5066 ]
5067 },
5068 {
5069 "prim": "pair",
5070 "args": [
5071 { "prim": "nat" },
5072 {
5073 "prim": "pair",
5074 "args": [
5075 { "prim": "address" },
5076 {
5077 "prim": "pair",
5078 "args": [
5079 { "prim": "big_map", "args": [ { "prim": "bytes" }, { "prim": "nat" } ] },
5080 {
5081 "prim": "pair",
5082 "args": [
5083 { "prim": "bool" },
5084 {
5085 "prim": "pair",
5086 "args": [
5087 { "prim": "nat" },
5088 {
5089 "prim": "pair",
5090 "args": [
5091 { "prim": "mutez" },
5092 {
5093 "prim": "pair",
5094 "args": [
5095 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
5096 {
5097 "prim": "pair",
5098 "args": [
5099 { "prim": "big_map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] },
5100 {
5101 "prim": "pair",
5102 "args": [
5103 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "bool" } ] },
5104 {
5105 "prim": "pair",
5106 "args": [
5107 { "prim": "nat" },
5108 {
5109 "prim": "pair",
5110 "args": [
5111 {
5112 "prim": "big_map",
5113 "args": [
5114 {
5115 "prim": "pair",
5116 "args": [ { "prim": "address" }, { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] } ]
5117 },
5118 { "prim": "unit" }
5119 ]
5120 },
5121 {
5122 "prim": "pair",
5123 "args": [
5124 { "prim": "bool" },
5125 {
5126 "prim": "pair",
5127 "args": [
5128 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
5129 {
5130 "prim": "big_map",
5131 "args": [
5132 { "prim": "nat" },
5133 {
5134 "prim": "pair",
5135 "args": [ { "prim": "nat" }, { "prim": "map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] } ]
5136 }
5137 ]
5138 }
5139 ]
5140 }
5141 ]
5142 }
5143 ]
5144 }
5145 ]
5146 }
5147 ]
5148 }
5149 ]
5150 }
5151 ]
5152 }
5153 ]
5154 }
5155 ]
5156 }
5157 ]
5158 }
5159 ]
5160 }
5161 ]
5162 }
5163 ]
5164 },
5165 [
5166 { "prim": "UNPAIR" },
5167 { "prim": "UNPAIR" },
5168 { "prim": "SWAP" },
5169 { "prim": "DUP" },
5170 { "prim": "CDR" },
5171 { "prim": "DIG", "args": [ { "int": "2" } ] },
5172 { "prim": "DIG", "args": [ { "int": "3" } ] },
5173 { "prim": "DIG", "args": [ { "int": "2" } ] },
5174 { "prim": "PAIR" },
5175 { "prim": "EXEC" },
5176 { "prim": "UNPAIR" },
5177 { "prim": "SWAP" },
5178 { "prim": "DUG", "args": [ { "int": "2" } ] },
5179 { "prim": "IF", "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "FA2_TOKEN_UNDEFINED" } ] }, { "prim": "FAILWITH" } ] ] },
5180 { "prim": "DUP" },
5181 { "prim": "CAR" },
5182 { "prim": "DUP", "args": [ { "int": "3" } ] },
5183 { "prim": "GET", "args": [ { "int": "11" } ] },
5184 { "prim": "DIG", "args": [ { "int": "2" } ] },
5185 { "prim": "CDR" },
5186 { "prim": "GET" },
5187 { "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "372" } ] }, { "prim": "FAILWITH" } ], [] ] },
5188 { "prim": "COMPARE" },
5189 { "prim": "EQ" },
5190 {
5191 "prim": "IF",
5192 "args": [ [ { "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "1" } ] } ], [ { "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] } ] ]
5193 },
5194 { "prim": "PAIR" }
5195 ]
5196 ]
5197 },
5198 { "prim": "SWAP" },
5199 {
5200 "prim": "LAMBDA",
5201 "args": [
5202 {
5203 "prim": "pair",
5204 "args": [
5205 { "prim": "nat" },
5206 {
5207 "prim": "pair",
5208 "args": [
5209 { "prim": "address" },
5210 {
5211 "prim": "pair",
5212 "args": [
5213 { "prim": "big_map", "args": [ { "prim": "bytes" }, { "prim": "nat" } ] },
5214 {
5215 "prim": "pair",
5216 "args": [
5217 { "prim": "bool" },
5218 {
5219 "prim": "pair",
5220 "args": [
5221 { "prim": "nat" },
5222 {
5223 "prim": "pair",
5224 "args": [
5225 { "prim": "mutez" },
5226 {
5227 "prim": "pair",
5228 "args": [
5229 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
5230 {
5231 "prim": "pair",
5232 "args": [
5233 { "prim": "big_map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] },
5234 {
5235 "prim": "pair",
5236 "args": [
5237 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "bool" } ] },
5238 {
5239 "prim": "pair",
5240 "args": [
5241 { "prim": "nat" },
5242 {
5243 "prim": "pair",
5244 "args": [
5245 {
5246 "prim": "big_map",
5247 "args": [
5248 {
5249 "prim": "pair",
5250 "args": [ { "prim": "address" }, { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] } ]
5251 },
5252 { "prim": "unit" }
5253 ]
5254 },
5255 {
5256 "prim": "pair",
5257 "args": [
5258 { "prim": "bool" },
5259 {
5260 "prim": "pair",
5261 "args": [
5262 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
5263 {
5264 "prim": "big_map",
5265 "args": [
5266 { "prim": "nat" },
5267 {
5268 "prim": "pair",
5269 "args": [ { "prim": "nat" }, { "prim": "map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] } ]
5270 }
5271 ]
5272 }
5273 ]
5274 }
5275 ]
5276 }
5277 ]
5278 }
5279 ]
5280 }
5281 ]
5282 }
5283 ]
5284 }
5285 ]
5286 }
5287 ]
5288 }
5289 ]
5290 }
5291 ]
5292 }
5293 ]
5294 }
5295 ]
5296 }
5297 ]
5298 },
5299 {
5300 "prim": "pair",
5301 "args": [
5302 { "prim": "bool" },
5303 {
5304 "prim": "pair",
5305 "args": [
5306 { "prim": "address" },
5307 {
5308 "prim": "pair",
5309 "args": [
5310 { "prim": "big_map", "args": [ { "prim": "bytes" }, { "prim": "nat" } ] },
5311 {
5312 "prim": "pair",
5313 "args": [
5314 { "prim": "bool" },
5315 {
5316 "prim": "pair",
5317 "args": [
5318 { "prim": "nat" },
5319 {
5320 "prim": "pair",
5321 "args": [
5322 { "prim": "mutez" },
5323 {
5324 "prim": "pair",
5325 "args": [
5326 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
5327 {
5328 "prim": "pair",
5329 "args": [
5330 { "prim": "big_map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] },
5331 {
5332 "prim": "pair",
5333 "args": [
5334 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "bool" } ] },
5335 {
5336 "prim": "pair",
5337 "args": [
5338 { "prim": "nat" },
5339 {
5340 "prim": "pair",
5341 "args": [
5342 {
5343 "prim": "big_map",
5344 "args": [
5345 {
5346 "prim": "pair",
5347 "args": [ { "prim": "address" }, { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] } ]
5348 },
5349 { "prim": "unit" }
5350 ]
5351 },
5352 {
5353 "prim": "pair",
5354 "args": [
5355 { "prim": "bool" },
5356 {
5357 "prim": "pair",
5358 "args": [
5359 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
5360 {
5361 "prim": "big_map",
5362 "args": [
5363 { "prim": "nat" },
5364 {
5365 "prim": "pair",
5366 "args": [ { "prim": "nat" }, { "prim": "map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] } ]
5367 }
5368 ]
5369 }
5370 ]
5371 }
5372 ]
5373 }
5374 ]
5375 }
5376 ]
5377 }
5378 ]
5379 }
5380 ]
5381 }
5382 ]
5383 }
5384 ]
5385 }
5386 ]
5387 }
5388 ]
5389 }
5390 ]
5391 }
5392 ]
5393 }
5394 ]
5395 },
5396 [
5397 { "prim": "UNPAIR" },
5398 { "prim": "SWAP" },
5399 { "prim": "DUP" },
5400 { "prim": "GET", "args": [ { "int": "24" } ] },
5401 { "prim": "DIG", "args": [ { "int": "2" } ] },
5402 { "prim": "MEM" },
5403 { "prim": "PAIR" }
5404 ]
5405 ]
5406 },
5407 { "prim": "SWAP" },
5408 {
5409 "prim": "LAMBDA",
5410 "args": [
5411 {
5412 "prim": "pair",
5413 "args": [
5414 {
5415 "prim": "pair",
5416 "args": [
5417 { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] },
5418 {
5419 "prim": "pair",
5420 "args": [
5421 {
5422 "prim": "lambda",
5423 "args": [
5424 {
5425 "prim": "pair",
5426 "args": [
5427 { "prim": "nat" },
5428 {
5429 "prim": "pair",
5430 "args": [
5431 { "prim": "address" },
5432 {
5433 "prim": "pair",
5434 "args": [
5435 { "prim": "big_map", "args": [ { "prim": "bytes" }, { "prim": "nat" } ] },
5436 {
5437 "prim": "pair",
5438 "args": [
5439 { "prim": "bool" },
5440 {
5441 "prim": "pair",
5442 "args": [
5443 { "prim": "nat" },
5444 {
5445 "prim": "pair",
5446 "args": [
5447 { "prim": "mutez" },
5448 {
5449 "prim": "pair",
5450 "args": [
5451 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
5452 {
5453 "prim": "pair",
5454 "args": [
5455 { "prim": "big_map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] },
5456 {
5457 "prim": "pair",
5458 "args": [
5459 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "bool" } ] },
5460 {
5461 "prim": "pair",
5462 "args": [
5463 { "prim": "nat" },
5464 {
5465 "prim": "pair",
5466 "args": [
5467 {
5468 "prim": "big_map",
5469 "args": [
5470 {
5471 "prim": "pair",
5472 "args": [
5473 { "prim": "address" }, { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] }
5474 ]
5475 },
5476 { "prim": "unit" }
5477 ]
5478 },
5479 {
5480 "prim": "pair",
5481 "args": [
5482 { "prim": "bool" },
5483 {
5484 "prim": "pair",
5485 "args": [
5486 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
5487 {
5488 "prim": "big_map",
5489 "args": [
5490 { "prim": "nat" },
5491 {
5492 "prim": "pair",
5493 "args": [
5494 { "prim": "nat" }, { "prim": "map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] }
5495 ]
5496 }
5497 ]
5498 }
5499 ]
5500 }
5501 ]
5502 }
5503 ]
5504 }
5505 ]
5506 }
5507 ]
5508 }
5509 ]
5510 }
5511 ]
5512 }
5513 ]
5514 }
5515 ]
5516 }
5517 ]
5518 }
5519 ]
5520 }
5521 ]
5522 }
5523 ]
5524 },
5525 {
5526 "prim": "pair",
5527 "args": [
5528 { "prim": "bool" },
5529 {
5530 "prim": "pair",
5531 "args": [
5532 { "prim": "address" },
5533 {
5534 "prim": "pair",
5535 "args": [
5536 { "prim": "big_map", "args": [ { "prim": "bytes" }, { "prim": "nat" } ] },
5537 {
5538 "prim": "pair",
5539 "args": [
5540 { "prim": "bool" },
5541 {
5542 "prim": "pair",
5543 "args": [
5544 { "prim": "nat" },
5545 {
5546 "prim": "pair",
5547 "args": [
5548 { "prim": "mutez" },
5549 {
5550 "prim": "pair",
5551 "args": [
5552 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
5553 {
5554 "prim": "pair",
5555 "args": [
5556 { "prim": "big_map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] },
5557 {
5558 "prim": "pair",
5559 "args": [
5560 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "bool" } ] },
5561 {
5562 "prim": "pair",
5563 "args": [
5564 { "prim": "nat" },
5565 {
5566 "prim": "pair",
5567 "args": [
5568 {
5569 "prim": "big_map",
5570 "args": [
5571 {
5572 "prim": "pair",
5573 "args": [
5574 { "prim": "address" }, { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] }
5575 ]
5576 },
5577 { "prim": "unit" }
5578 ]
5579 },
5580 {
5581 "prim": "pair",
5582 "args": [
5583 { "prim": "bool" },
5584 {
5585 "prim": "pair",
5586 "args": [
5587 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
5588 {
5589 "prim": "big_map",
5590 "args": [
5591 { "prim": "nat" },
5592 {
5593 "prim": "pair",
5594 "args": [
5595 { "prim": "nat" }, { "prim": "map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] }
5596 ]
5597 }
5598 ]
5599 }
5600 ]
5601 }
5602 ]
5603 }
5604 ]
5605 }
5606 ]
5607 }
5608 ]
5609 }
5610 ]
5611 }
5612 ]
5613 }
5614 ]
5615 }
5616 ]
5617 }
5618 ]
5619 }
5620 ]
5621 }
5622 ]
5623 }
5624 ]
5625 }
5626 ]
5627 },
5628 {
5629 "prim": "lambda",
5630 "args": [
5631 {
5632 "prim": "pair",
5633 "args": [
5634 {
5635 "prim": "pair",
5636 "args": [
5637 {
5638 "prim": "lambda",
5639 "args": [
5640 {
5641 "prim": "pair",
5642 "args": [
5643 { "prim": "nat" },
5644 {
5645 "prim": "pair",
5646 "args": [
5647 { "prim": "address" },
5648 {
5649 "prim": "pair",
5650 "args": [
5651 { "prim": "big_map", "args": [ { "prim": "bytes" }, { "prim": "nat" } ] },
5652 {
5653 "prim": "pair",
5654 "args": [
5655 { "prim": "bool" },
5656 {
5657 "prim": "pair",
5658 "args": [
5659 { "prim": "nat" },
5660 {
5661 "prim": "pair",
5662 "args": [
5663 { "prim": "mutez" },
5664 {
5665 "prim": "pair",
5666 "args": [
5667 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
5668 {
5669 "prim": "pair",
5670 "args": [
5671 { "prim": "big_map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] },
5672 {
5673 "prim": "pair",
5674 "args": [
5675 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "bool" } ] },
5676 {
5677 "prim": "pair",
5678 "args": [
5679 { "prim": "nat" },
5680 {
5681 "prim": "pair",
5682 "args": [
5683 {
5684 "prim": "big_map",
5685 "args": [
5686 {
5687 "prim": "pair",
5688 "args": [
5689 { "prim": "address" },
5690 { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] }
5691 ]
5692 },
5693 { "prim": "unit" }
5694 ]
5695 },
5696 {
5697 "prim": "pair",
5698 "args": [
5699 { "prim": "bool" },
5700 {
5701 "prim": "pair",
5702 "args": [
5703 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
5704 {
5705 "prim": "big_map",
5706 "args": [
5707 { "prim": "nat" },
5708 {
5709 "prim": "pair",
5710 "args": [
5711 { "prim": "nat" },
5712 { "prim": "map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] }
5713 ]
5714 }
5715 ]
5716 }
5717 ]
5718 }
5719 ]
5720 }
5721 ]
5722 }
5723 ]
5724 }
5725 ]
5726 }
5727 ]
5728 }
5729 ]
5730 }
5731 ]
5732 }
5733 ]
5734 }
5735 ]
5736 }
5737 ]
5738 }
5739 ]
5740 }
5741 ]
5742 },
5743 {
5744 "prim": "pair",
5745 "args": [
5746 { "prim": "bool" },
5747 {
5748 "prim": "pair",
5749 "args": [
5750 { "prim": "address" },
5751 {
5752 "prim": "pair",
5753 "args": [
5754 { "prim": "big_map", "args": [ { "prim": "bytes" }, { "prim": "nat" } ] },
5755 {
5756 "prim": "pair",
5757 "args": [
5758 { "prim": "bool" },
5759 {
5760 "prim": "pair",
5761 "args": [
5762 { "prim": "nat" },
5763 {
5764 "prim": "pair",
5765 "args": [
5766 { "prim": "mutez" },
5767 {
5768 "prim": "pair",
5769 "args": [
5770 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
5771 {
5772 "prim": "pair",
5773 "args": [
5774 { "prim": "big_map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] },
5775 {
5776 "prim": "pair",
5777 "args": [
5778 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "bool" } ] },
5779 {
5780 "prim": "pair",
5781 "args": [
5782 { "prim": "nat" },
5783 {
5784 "prim": "pair",
5785 "args": [
5786 {
5787 "prim": "big_map",
5788 "args": [
5789 {
5790 "prim": "pair",
5791 "args": [
5792 { "prim": "address" },
5793 { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] }
5794 ]
5795 },
5796 { "prim": "unit" }
5797 ]
5798 },
5799 {
5800 "prim": "pair",
5801 "args": [
5802 { "prim": "bool" },
5803 {
5804 "prim": "pair",
5805 "args": [
5806 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
5807 {
5808 "prim": "big_map",
5809 "args": [
5810 { "prim": "nat" },
5811 {
5812 "prim": "pair",
5813 "args": [
5814 { "prim": "nat" },
5815 { "prim": "map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] }
5816 ]
5817 }
5818 ]
5819 }
5820 ]
5821 }
5822 ]
5823 }
5824 ]
5825 }
5826 ]
5827 }
5828 ]
5829 }
5830 ]
5831 }
5832 ]
5833 }
5834 ]
5835 }
5836 ]
5837 }
5838 ]
5839 }
5840 ]
5841 }
5842 ]
5843 }
5844 ]
5845 }
5846 ]
5847 },
5848 { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] }
5849 ]
5850 },
5851 {
5852 "prim": "pair",
5853 "args": [
5854 { "prim": "address" },
5855 {
5856 "prim": "pair",
5857 "args": [
5858 { "prim": "big_map", "args": [ { "prim": "bytes" }, { "prim": "nat" } ] },
5859 {
5860 "prim": "pair",
5861 "args": [
5862 { "prim": "bool" },
5863 {
5864 "prim": "pair",
5865 "args": [
5866 { "prim": "nat" },
5867 {
5868 "prim": "pair",
5869 "args": [
5870 { "prim": "mutez" },
5871 {
5872 "prim": "pair",
5873 "args": [
5874 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
5875 {
5876 "prim": "pair",
5877 "args": [
5878 { "prim": "big_map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] },
5879 {
5880 "prim": "pair",
5881 "args": [
5882 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "bool" } ] },
5883 {
5884 "prim": "pair",
5885 "args": [
5886 { "prim": "nat" },
5887 {
5888 "prim": "pair",
5889 "args": [
5890 {
5891 "prim": "big_map",
5892 "args": [
5893 {
5894 "prim": "pair",
5895 "args": [
5896 { "prim": "address" }, { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] }
5897 ]
5898 },
5899 { "prim": "unit" }
5900 ]
5901 },
5902 {
5903 "prim": "pair",
5904 "args": [
5905 { "prim": "bool" },
5906 {
5907 "prim": "pair",
5908 "args": [
5909 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
5910 {
5911 "prim": "big_map",
5912 "args": [
5913 { "prim": "nat" },
5914 {
5915 "prim": "pair",
5916 "args": [
5917 { "prim": "nat" }, { "prim": "map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] }
5918 ]
5919 }
5920 ]
5921 }
5922 ]
5923 }
5924 ]
5925 }
5926 ]
5927 }
5928 ]
5929 }
5930 ]
5931 }
5932 ]
5933 }
5934 ]
5935 }
5936 ]
5937 }
5938 ]
5939 }
5940 ]
5941 }
5942 ]
5943 }
5944 ]
5945 }
5946 ]
5947 },
5948 {
5949 "prim": "pair",
5950 "args": [
5951 { "prim": "nat" },
5952 {
5953 "prim": "pair",
5954 "args": [
5955 { "prim": "address" },
5956 {
5957 "prim": "pair",
5958 "args": [
5959 { "prim": "big_map", "args": [ { "prim": "bytes" }, { "prim": "nat" } ] },
5960 {
5961 "prim": "pair",
5962 "args": [
5963 { "prim": "bool" },
5964 {
5965 "prim": "pair",
5966 "args": [
5967 { "prim": "nat" },
5968 {
5969 "prim": "pair",
5970 "args": [
5971 { "prim": "mutez" },
5972 {
5973 "prim": "pair",
5974 "args": [
5975 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
5976 {
5977 "prim": "pair",
5978 "args": [
5979 { "prim": "big_map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] },
5980 {
5981 "prim": "pair",
5982 "args": [
5983 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "bool" } ] },
5984 {
5985 "prim": "pair",
5986 "args": [
5987 { "prim": "nat" },
5988 {
5989 "prim": "pair",
5990 "args": [
5991 {
5992 "prim": "big_map",
5993 "args": [
5994 {
5995 "prim": "pair",
5996 "args": [
5997 { "prim": "address" }, { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] }
5998 ]
5999 },
6000 { "prim": "unit" }
6001 ]
6002 },
6003 {
6004 "prim": "pair",
6005 "args": [
6006 { "prim": "bool" },
6007 {
6008 "prim": "pair",
6009 "args": [
6010 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
6011 {
6012 "prim": "big_map",
6013 "args": [
6014 { "prim": "nat" },
6015 {
6016 "prim": "pair",
6017 "args": [
6018 { "prim": "nat" }, { "prim": "map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] }
6019 ]
6020 }
6021 ]
6022 }
6023 ]
6024 }
6025 ]
6026 }
6027 ]
6028 }
6029 ]
6030 }
6031 ]
6032 }
6033 ]
6034 }
6035 ]
6036 }
6037 ]
6038 }
6039 ]
6040 }
6041 ]
6042 }
6043 ]
6044 }
6045 ]
6046 }
6047 ]
6048 }
6049 ]
6050 }
6051 ]
6052 }
6053 ]
6054 },
6055 {
6056 "prim": "pair",
6057 "args": [
6058 { "prim": "address" },
6059 {
6060 "prim": "pair",
6061 "args": [
6062 { "prim": "big_map", "args": [ { "prim": "bytes" }, { "prim": "nat" } ] },
6063 {
6064 "prim": "pair",
6065 "args": [
6066 { "prim": "bool" },
6067 {
6068 "prim": "pair",
6069 "args": [
6070 { "prim": "nat" },
6071 {
6072 "prim": "pair",
6073 "args": [
6074 { "prim": "mutez" },
6075 {
6076 "prim": "pair",
6077 "args": [
6078 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
6079 {
6080 "prim": "pair",
6081 "args": [
6082 { "prim": "big_map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] },
6083 {
6084 "prim": "pair",
6085 "args": [
6086 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "bool" } ] },
6087 {
6088 "prim": "pair",
6089 "args": [
6090 { "prim": "nat" },
6091 {
6092 "prim": "pair",
6093 "args": [
6094 {
6095 "prim": "big_map",
6096 "args": [
6097 {
6098 "prim": "pair",
6099 "args": [ { "prim": "address" }, { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] } ]
6100 },
6101 { "prim": "unit" }
6102 ]
6103 },
6104 {
6105 "prim": "pair",
6106 "args": [
6107 { "prim": "bool" },
6108 {
6109 "prim": "pair",
6110 "args": [
6111 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
6112 {
6113 "prim": "big_map",
6114 "args": [
6115 { "prim": "nat" },
6116 {
6117 "prim": "pair",
6118 "args": [ { "prim": "nat" }, { "prim": "map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] } ]
6119 }
6120 ]
6121 }
6122 ]
6123 }
6124 ]
6125 }
6126 ]
6127 }
6128 ]
6129 }
6130 ]
6131 }
6132 ]
6133 }
6134 ]
6135 }
6136 ]
6137 }
6138 ]
6139 }
6140 ]
6141 }
6142 ]
6143 }
6144 ]
6145 }
6146 ]
6147 },
6148 {
6149 "prim": "pair",
6150 "args": [
6151 { "prim": "pair", "args": [ { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] }, { "prim": "nat" } ] },
6152 {
6153 "prim": "pair",
6154 "args": [
6155 { "prim": "address" },
6156 {
6157 "prim": "pair",
6158 "args": [
6159 { "prim": "big_map", "args": [ { "prim": "bytes" }, { "prim": "nat" } ] },
6160 {
6161 "prim": "pair",
6162 "args": [
6163 { "prim": "bool" },
6164 {
6165 "prim": "pair",
6166 "args": [
6167 { "prim": "nat" },
6168 {
6169 "prim": "pair",
6170 "args": [
6171 { "prim": "mutez" },
6172 {
6173 "prim": "pair",
6174 "args": [
6175 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
6176 {
6177 "prim": "pair",
6178 "args": [
6179 { "prim": "big_map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] },
6180 {
6181 "prim": "pair",
6182 "args": [
6183 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "bool" } ] },
6184 {
6185 "prim": "pair",
6186 "args": [
6187 { "prim": "nat" },
6188 {
6189 "prim": "pair",
6190 "args": [
6191 {
6192 "prim": "big_map",
6193 "args": [
6194 {
6195 "prim": "pair",
6196 "args": [ { "prim": "address" }, { "prim": "pair", "args": [ { "prim": "address" }, { "prim": "nat" } ] } ]
6197 },
6198 { "prim": "unit" }
6199 ]
6200 },
6201 {
6202 "prim": "pair",
6203 "args": [
6204 { "prim": "bool" },
6205 {
6206 "prim": "pair",
6207 "args": [
6208 { "prim": "big_map", "args": [ { "prim": "nat" }, { "prim": "address" } ] },
6209 {
6210 "prim": "big_map",
6211 "args": [
6212 { "prim": "nat" },
6213 {
6214 "prim": "pair",
6215 "args": [ { "prim": "nat" }, { "prim": "map", "args": [ { "prim": "string" }, { "prim": "bytes" } ] } ]
6216 }
6217 ]
6218 }
6219 ]
6220 }
6221 ]
6222 }
6223 ]
6224 }
6225 ]
6226 }
6227 ]
6228 }
6229 ]
6230 }
6231 ]
6232 }
6233 ]
6234 }
6235 ]
6236 }
6237 ]
6238 }
6239 ]
6240 }
6241 ]
6242 }
6243 ]
6244 },
6245 [
6246 { "prim": "UNPAIR" },
6247 { "prim": "UNPAIR", "args": [ { "int": "3" } ] },
6248 { "prim": "DIG", "args": [ { "int": "2" } ] },
6249 { "prim": "DUP", "args": [ { "int": "2" } ] },
6250 { "prim": "DIG", "args": [ { "int": "3" } ] },
6251 { "prim": "PAIR" },
6252 { "prim": "SWAP" },
6253 { "prim": "DIG", "args": [ { "int": "3" } ] },
6254 { "prim": "DIG", "args": [ { "int": "2" } ] },
6255 { "prim": "PAIR" },
6256 { "prim": "EXEC" },
6257 { "prim": "UNPAIR" },
6258 { "prim": "SWAP" },
6259 { "prim": "DUG", "args": [ { "int": "2" } ] },
6260 { "prim": "SWAP" },
6261 { "prim": "PAIR" },
6262 { "prim": "PAIR" }
6263 ]
6264 ]
6265 },
6266 { "prim": "DUP", "args": [ { "int": "2" } ] },
6267 {
6268 "prim": "MAP",
6269 "args": [
6270 [
6271 { "prim": "DUP", "args": [ { "int": "2" } ] },
6272 { "prim": "DUP", "args": [ { "int": "6" } ] },
6273 { "prim": "DUP", "args": [ { "int": "6" } ] },
6274 { "prim": "PAIR" },
6275 { "prim": "DIG", "args": [ { "int": "2" } ] },
6276 { "prim": "PAIR" },
6277 { "prim": "SWAP" },
6278 { "prim": "DIG", "args": [ { "int": "6" } ] },
6279 { "prim": "DIG", "args": [ { "int": "2" } ] },
6280 { "prim": "PAIR" },
6281 { "prim": "EXEC" },
6282 { "prim": "UNPAIR" },
6283 { "prim": "SWAP" },
6284 { "prim": "DUG", "args": [ { "int": "5" } ] }
6285 ]
6286 ]
6287 },
6288 { "prim": "SWAP" },
6289 { "prim": "DROP" },
6290 { "prim": "SWAP" },
6291 { "prim": "DROP" },
6292 { "prim": "SWAP" },
6293 { "prim": "DROP" },
6294 { "prim": "SWAP" },
6295 { "prim": "DROP" },
6296 { "prim": "SWAP" },
6297 { "prim": "DROP" }
6298 ]
6299 ]
6300 }
6301]