-
Notifications
You must be signed in to change notification settings - Fork 0
/
output.txt
2155 lines (2155 loc) · 36.3 KB
/
output.txt
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
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
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
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
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
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
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
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
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
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
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
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
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLDATASIZE
00000006: ISZERO
00000007: PUSH2 0xb7
0000000a: JUMPI
0000000b: PUSH4 0xffffffff
00000010: PUSH29 0x100000000000000000000000000000000000000000000000000000000
0000002e: PUSH1 0x0
00000030: CALLDATALOAD
00000031: DIV
00000032: AND
00000033: PUSH4 0x6fdde03
00000038: DUP2
00000039: EQ
0000003a: PUSH2 0xbc
0000003d: JUMPI
0000003e: DUP1
0000003f: PUSH4 0x95ea7b3
00000044: EQ
00000045: PUSH2 0x147
00000048: JUMPI
00000049: DUP1
0000004a: PUSH4 0x18160ddd
0000004f: EQ
00000050: PUSH2 0x17d
00000053: JUMPI
00000054: DUP1
00000055: PUSH4 0x23b872dd
0000005a: EQ
0000005b: PUSH2 0x1a2
0000005e: JUMPI
0000005f: DUP1
00000060: PUSH4 0x313ce567
00000065: EQ
00000066: PUSH2 0x1de
00000069: JUMPI
0000006a: DUP1
0000006b: PUSH4 0x4000aea0
00000070: EQ
00000071: PUSH2 0x207
00000074: JUMPI
00000075: DUP1
00000076: PUSH4 0x66188463
0000007b: EQ
0000007c: PUSH2 0x280
0000007f: JUMPI
00000080: DUP1
00000081: PUSH4 0x70a08231
00000086: EQ
00000087: PUSH2 0x2b6
0000008a: JUMPI
0000008b: DUP1
0000008c: PUSH4 0x95d89b41
00000091: EQ
00000092: PUSH2 0x2e7
00000095: JUMPI
00000096: DUP1
00000097: PUSH4 0xa9059cbb
0000009c: EQ
0000009d: PUSH2 0x372
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0xd73dd623
000000a7: EQ
000000a8: PUSH2 0x3a8
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0xdd62ed3e
000000b2: EQ
000000b3: PUSH2 0x3de
000000b6: JUMPI
000000b7: JUMPDEST
000000b8: PUSH1 0x0
000000ba: DUP1
000000bb: REVERT
000000bc: JUMPDEST
000000bd: CALLVALUE
000000be: ISZERO
000000bf: PUSH2 0xc7
000000c2: JUMPI
000000c3: PUSH1 0x0
000000c5: DUP1
000000c6: REVERT
000000c7: JUMPDEST
000000c8: PUSH2 0xcf
000000cb: PUSH2 0x415
000000ce: JUMP
000000cf: JUMPDEST
000000d0: PUSH1 0x40
000000d2: MLOAD
000000d3: PUSH1 0x20
000000d5: DUP1
000000d6: DUP3
000000d7: MSTORE
000000d8: DUP2
000000d9: SWAP1
000000da: DUP2
000000db: ADD
000000dc: DUP4
000000dd: DUP2
000000de: DUP2
000000df: MLOAD
000000e0: DUP2
000000e1: MSTORE
000000e2: PUSH1 0x20
000000e4: ADD
000000e5: SWAP2
000000e6: POP
000000e7: DUP1
000000e8: MLOAD
000000e9: SWAP1
000000ea: PUSH1 0x20
000000ec: ADD
000000ed: SWAP1
000000ee: DUP1
000000ef: DUP4
000000f0: DUP4
000000f1: PUSH1 0x0
000000f3: JUMPDEST
000000f4: DUP4
000000f5: DUP2
000000f6: LT
000000f7: ISZERO
000000f8: PUSH2 0x10c
000000fb: JUMPI
000000fc: DUP1
000000fd: DUP3
000000fe: ADD
000000ff: MLOAD
00000100: DUP2
00000101: DUP5
00000102: ADD
00000103: MSTORE
00000104: JUMPDEST
00000105: PUSH1 0x20
00000107: ADD
00000108: PUSH2 0xf3
0000010b: JUMP
0000010c: JUMPDEST
0000010d: POP
0000010e: POP
0000010f: POP
00000110: POP
00000111: SWAP1
00000112: POP
00000113: SWAP1
00000114: DUP2
00000115: ADD
00000116: SWAP1
00000117: PUSH1 0x1f
00000119: AND
0000011a: DUP1
0000011b: ISZERO
0000011c: PUSH2 0x139
0000011f: JUMPI
00000120: DUP1
00000121: DUP3
00000122: SUB
00000123: DUP1
00000124: MLOAD
00000125: PUSH1 0x1
00000127: DUP4
00000128: PUSH1 0x20
0000012a: SUB
0000012b: PUSH2 0x100
0000012e: EXP
0000012f: SUB
00000130: NOT
00000131: AND
00000132: DUP2
00000133: MSTORE
00000134: PUSH1 0x20
00000136: ADD
00000137: SWAP2
00000138: POP
00000139: JUMPDEST
0000013a: POP
0000013b: SWAP3
0000013c: POP
0000013d: POP
0000013e: POP
0000013f: PUSH1 0x40
00000141: MLOAD
00000142: DUP1
00000143: SWAP2
00000144: SUB
00000145: SWAP1
00000146: RETURN
00000147: JUMPDEST
00000148: CALLVALUE
00000149: ISZERO
0000014a: PUSH2 0x152
0000014d: JUMPI
0000014e: PUSH1 0x0
00000150: DUP1
00000151: REVERT
00000152: JUMPDEST
00000153: PUSH2 0x169
00000156: PUSH1 0x1
00000158: PUSH1 0xa0
0000015a: PUSH1 0x2
0000015c: EXP
0000015d: SUB
0000015e: PUSH1 0x4
00000160: CALLDATALOAD
00000161: AND
00000162: PUSH1 0x24
00000164: CALLDATALOAD
00000165: PUSH2 0x44c
00000168: JUMP
00000169: JUMPDEST
0000016a: PUSH1 0x40
0000016c: MLOAD
0000016d: SWAP1
0000016e: ISZERO
0000016f: ISZERO
00000170: DUP2
00000171: MSTORE
00000172: PUSH1 0x20
00000174: ADD
00000175: PUSH1 0x40
00000177: MLOAD
00000178: DUP1
00000179: SWAP2
0000017a: SUB
0000017b: SWAP1
0000017c: RETURN
0000017d: JUMPDEST
0000017e: CALLVALUE
0000017f: ISZERO
00000180: PUSH2 0x188
00000183: JUMPI
00000184: PUSH1 0x0
00000186: DUP1
00000187: REVERT
00000188: JUMPDEST
00000189: PUSH2 0x190
0000018c: PUSH2 0x499
0000018f: JUMP
00000190: JUMPDEST
00000191: PUSH1 0x40
00000193: MLOAD
00000194: SWAP1
00000195: DUP2
00000196: MSTORE
00000197: PUSH1 0x20
00000199: ADD
0000019a: PUSH1 0x40
0000019c: MLOAD
0000019d: DUP1
0000019e: SWAP2
0000019f: SUB
000001a0: SWAP1
000001a1: RETURN
000001a2: JUMPDEST
000001a3: CALLVALUE
000001a4: ISZERO
000001a5: PUSH2 0x1ad
000001a8: JUMPI
000001a9: PUSH1 0x0
000001ab: DUP1
000001ac: REVERT
000001ad: JUMPDEST
000001ae: PUSH2 0x169
000001b1: PUSH1 0x1
000001b3: PUSH1 0xa0
000001b5: PUSH1 0x2
000001b7: EXP
000001b8: SUB
000001b9: PUSH1 0x4
000001bb: CALLDATALOAD
000001bc: DUP2
000001bd: AND
000001be: SWAP1
000001bf: PUSH1 0x24
000001c1: CALLDATALOAD
000001c2: AND
000001c3: PUSH1 0x44
000001c5: CALLDATALOAD
000001c6: PUSH2 0x4a9
000001c9: JUMP
000001ca: JUMPDEST
000001cb: PUSH1 0x40
000001cd: MLOAD
000001ce: SWAP1
000001cf: ISZERO
000001d0: ISZERO
000001d1: DUP2
000001d2: MSTORE
000001d3: PUSH1 0x20
000001d5: ADD
000001d6: PUSH1 0x40
000001d8: MLOAD
000001d9: DUP1
000001da: SWAP2
000001db: SUB
000001dc: SWAP1
000001dd: RETURN
000001de: JUMPDEST
000001df: CALLVALUE
000001e0: ISZERO
000001e1: PUSH2 0x1e9
000001e4: JUMPI
000001e5: PUSH1 0x0
000001e7: DUP1
000001e8: REVERT
000001e9: JUMPDEST
000001ea: PUSH2 0x1f1
000001ed: PUSH2 0x4f8
000001f0: JUMP
000001f1: JUMPDEST
000001f2: PUSH1 0x40
000001f4: MLOAD
000001f5: PUSH1 0xff
000001f7: SWAP1
000001f8: SWAP2
000001f9: AND
000001fa: DUP2
000001fb: MSTORE
000001fc: PUSH1 0x20
000001fe: ADD
000001ff: PUSH1 0x40
00000201: MLOAD
00000202: DUP1
00000203: SWAP2
00000204: SUB
00000205: SWAP1
00000206: RETURN
00000207: JUMPDEST
00000208: CALLVALUE
00000209: ISZERO
0000020a: PUSH2 0x212
0000020d: JUMPI
0000020e: PUSH1 0x0
00000210: DUP1
00000211: REVERT
00000212: JUMPDEST
00000213: PUSH2 0x169
00000216: PUSH1 0x4
00000218: DUP1
00000219: CALLDATALOAD
0000021a: PUSH1 0x1
0000021c: PUSH1 0xa0
0000021e: PUSH1 0x2
00000220: EXP
00000221: SUB
00000222: AND
00000223: SWAP1
00000224: PUSH1 0x24
00000226: DUP1
00000227: CALLDATALOAD
00000228: SWAP2
00000229: SWAP1
0000022a: PUSH1 0x64
0000022c: SWAP1
0000022d: PUSH1 0x44
0000022f: CALLDATALOAD
00000230: SWAP1
00000231: DUP2
00000232: ADD
00000233: SWAP1
00000234: DUP4
00000235: ADD
00000236: CALLDATALOAD
00000237: DUP1
00000238: PUSH1 0x20
0000023a: PUSH1 0x1f
0000023c: DUP3
0000023d: ADD
0000023e: DUP2
0000023f: SWAP1
00000240: DIV
00000241: DUP2
00000242: MUL
00000243: ADD
00000244: PUSH1 0x40
00000246: MLOAD
00000247: SWAP1
00000248: DUP2
00000249: ADD
0000024a: PUSH1 0x40
0000024c: MSTORE
0000024d: DUP2
0000024e: DUP2
0000024f: MSTORE
00000250: SWAP3
00000251: SWAP2
00000252: SWAP1
00000253: PUSH1 0x20
00000255: DUP5
00000256: ADD
00000257: DUP4
00000258: DUP4
00000259: DUP1
0000025a: DUP3
0000025b: DUP5
0000025c: CALLDATACOPY
0000025d: POP
0000025e: SWAP5
0000025f: SWAP7
00000260: POP
00000261: PUSH2 0x4fd
00000264: SWAP6
00000265: POP
00000266: POP
00000267: POP
00000268: POP
00000269: POP
0000026a: POP
0000026b: JUMP
0000026c: JUMPDEST
0000026d: PUSH1 0x40
0000026f: MLOAD
00000270: SWAP1
00000271: ISZERO
00000272: ISZERO
00000273: DUP2
00000274: MSTORE
00000275: PUSH1 0x20
00000277: ADD
00000278: PUSH1 0x40
0000027a: MLOAD
0000027b: DUP1
0000027c: SWAP2
0000027d: SUB
0000027e: SWAP1
0000027f: RETURN
00000280: JUMPDEST
00000281: CALLVALUE
00000282: ISZERO
00000283: PUSH2 0x28b
00000286: JUMPI
00000287: PUSH1 0x0
00000289: DUP1
0000028a: REVERT
0000028b: JUMPDEST
0000028c: PUSH2 0x169
0000028f: PUSH1 0x1
00000291: PUSH1 0xa0
00000293: PUSH1 0x2
00000295: EXP
00000296: SUB
00000297: PUSH1 0x4
00000299: CALLDATALOAD
0000029a: AND
0000029b: PUSH1 0x24
0000029d: CALLDATALOAD
0000029e: PUSH2 0x54c
000002a1: JUMP
000002a2: JUMPDEST
000002a3: PUSH1 0x40
000002a5: MLOAD
000002a6: SWAP1
000002a7: ISZERO
000002a8: ISZERO
000002a9: DUP2
000002aa: MSTORE
000002ab: PUSH1 0x20
000002ad: ADD
000002ae: PUSH1 0x40
000002b0: MLOAD
000002b1: DUP1
000002b2: SWAP2
000002b3: SUB
000002b4: SWAP1
000002b5: RETURN
000002b6: JUMPDEST
000002b7: CALLVALUE
000002b8: ISZERO
000002b9: PUSH2 0x2c1
000002bc: JUMPI
000002bd: PUSH1 0x0
000002bf: DUP1
000002c0: REVERT
000002c1: JUMPDEST
000002c2: PUSH2 0x190
000002c5: PUSH1 0x1
000002c7: PUSH1 0xa0
000002c9: PUSH1 0x2
000002cb: EXP
000002cc: SUB
000002cd: PUSH1 0x4
000002cf: CALLDATALOAD
000002d0: AND
000002d1: PUSH2 0x648
000002d4: JUMP
000002d5: JUMPDEST
000002d6: PUSH1 0x40
000002d8: MLOAD
000002d9: SWAP1
000002da: DUP2
000002db: MSTORE
000002dc: PUSH1 0x20
000002de: ADD
000002df: PUSH1 0x40
000002e1: MLOAD
000002e2: DUP1
000002e3: SWAP2
000002e4: SUB
000002e5: SWAP1
000002e6: RETURN
000002e7: JUMPDEST
000002e8: CALLVALUE
000002e9: ISZERO
000002ea: PUSH2 0x2f2
000002ed: JUMPI
000002ee: PUSH1 0x0
000002f0: DUP1
000002f1: REVERT
000002f2: JUMPDEST
000002f3: PUSH2 0xcf
000002f6: PUSH2 0x667
000002f9: JUMP
000002fa: JUMPDEST
000002fb: PUSH1 0x40
000002fd: MLOAD
000002fe: PUSH1 0x20
00000300: DUP1
00000301: DUP3
00000302: MSTORE
00000303: DUP2
00000304: SWAP1
00000305: DUP2
00000306: ADD
00000307: DUP4
00000308: DUP2
00000309: DUP2
0000030a: MLOAD
0000030b: DUP2
0000030c: MSTORE
0000030d: PUSH1 0x20
0000030f: ADD
00000310: SWAP2
00000311: POP
00000312: DUP1
00000313: MLOAD
00000314: SWAP1
00000315: PUSH1 0x20
00000317: ADD
00000318: SWAP1
00000319: DUP1
0000031a: DUP4
0000031b: DUP4
0000031c: PUSH1 0x0
0000031e: JUMPDEST
0000031f: DUP4
00000320: DUP2
00000321: LT
00000322: ISZERO
00000323: PUSH2 0x10c
00000326: JUMPI
00000327: DUP1
00000328: DUP3
00000329: ADD
0000032a: MLOAD
0000032b: DUP2
0000032c: DUP5
0000032d: ADD
0000032e: MSTORE
0000032f: JUMPDEST
00000330: PUSH1 0x20
00000332: ADD
00000333: PUSH2 0xf3
00000336: JUMP
00000337: JUMPDEST
00000338: POP
00000339: POP
0000033a: POP
0000033b: POP
0000033c: SWAP1
0000033d: POP
0000033e: SWAP1
0000033f: DUP2
00000340: ADD
00000341: SWAP1
00000342: PUSH1 0x1f
00000344: AND
00000345: DUP1
00000346: ISZERO
00000347: PUSH2 0x139
0000034a: JUMPI
0000034b: DUP1
0000034c: DUP3
0000034d: SUB
0000034e: DUP1
0000034f: MLOAD
00000350: PUSH1 0x1
00000352: DUP4
00000353: PUSH1 0x20
00000355: SUB
00000356: PUSH2 0x100
00000359: EXP
0000035a: SUB
0000035b: NOT
0000035c: AND
0000035d: DUP2
0000035e: MSTORE
0000035f: PUSH1 0x20
00000361: ADD
00000362: SWAP2
00000363: POP
00000364: JUMPDEST
00000365: POP
00000366: SWAP3
00000367: POP
00000368: POP
00000369: POP
0000036a: PUSH1 0x40
0000036c: MLOAD
0000036d: DUP1
0000036e: SWAP2
0000036f: SUB
00000370: SWAP1
00000371: RETURN
00000372: JUMPDEST
00000373: CALLVALUE
00000374: ISZERO
00000375: PUSH2 0x37d
00000378: JUMPI
00000379: PUSH1 0x0
0000037b: DUP1
0000037c: REVERT
0000037d: JUMPDEST
0000037e: PUSH2 0x169
00000381: PUSH1 0x1
00000383: PUSH1 0xa0
00000385: PUSH1 0x2
00000387: EXP
00000388: SUB
00000389: PUSH1 0x4
0000038b: CALLDATALOAD
0000038c: AND
0000038d: PUSH1 0x24
0000038f: CALLDATALOAD
00000390: PUSH2 0x69e
00000393: JUMP
00000394: JUMPDEST
00000395: PUSH1 0x40
00000397: MLOAD
00000398: SWAP1
00000399: ISZERO
0000039a: ISZERO
0000039b: DUP2
0000039c: MSTORE
0000039d: PUSH1 0x20
0000039f: ADD
000003a0: PUSH1 0x40
000003a2: MLOAD
000003a3: DUP1
000003a4: SWAP2
000003a5: SUB
000003a6: SWAP1
000003a7: RETURN
000003a8: JUMPDEST
000003a9: CALLVALUE
000003aa: ISZERO
000003ab: PUSH2 0x3b3
000003ae: JUMPI
000003af: PUSH1 0x0
000003b1: DUP1
000003b2: REVERT
000003b3: JUMPDEST
000003b4: PUSH2 0x169
000003b7: PUSH1 0x1
000003b9: PUSH1 0xa0
000003bb: PUSH1 0x2
000003bd: EXP
000003be: SUB
000003bf: PUSH1 0x4
000003c1: CALLDATALOAD
000003c2: AND
000003c3: PUSH1 0x24
000003c5: CALLDATALOAD
000003c6: PUSH2 0x6eb
000003c9: JUMP
000003ca: JUMPDEST
000003cb: PUSH1 0x40
000003cd: MLOAD
000003ce: SWAP1
000003cf: ISZERO
000003d0: ISZERO
000003d1: DUP2
000003d2: MSTORE
000003d3: PUSH1 0x20
000003d5: ADD
000003d6: PUSH1 0x40
000003d8: MLOAD
000003d9: DUP1
000003da: SWAP2
000003db: SUB
000003dc: SWAP1
000003dd: RETURN
000003de: JUMPDEST
000003df: CALLVALUE
000003e0: ISZERO
000003e1: PUSH2 0x3e9
000003e4: JUMPI
000003e5: PUSH1 0x0
000003e7: DUP1
000003e8: REVERT
000003e9: JUMPDEST
000003ea: PUSH2 0x190
000003ed: PUSH1 0x1
000003ef: PUSH1 0xa0
000003f1: PUSH1 0x2
000003f3: EXP
000003f4: SUB
000003f5: PUSH1 0x4
000003f7: CALLDATALOAD
000003f8: DUP2
000003f9: AND
000003fa: SWAP1
000003fb: PUSH1 0x24
000003fd: CALLDATALOAD
000003fe: AND
000003ff: PUSH2 0x790
00000402: JUMP
00000403: JUMPDEST
00000404: PUSH1 0x40
00000406: MLOAD
00000407: SWAP1
00000408: DUP2
00000409: MSTORE
0000040a: PUSH1 0x20
0000040c: ADD
0000040d: PUSH1 0x40
0000040f: MLOAD
00000410: DUP1
00000411: SWAP2
00000412: SUB
00000413: SWAP1
00000414: RETURN
00000415: JUMPDEST
00000416: PUSH1 0x40
00000418: DUP1
00000419: MLOAD
0000041a: SWAP1
0000041b: DUP2
0000041c: ADD
0000041d: PUSH1 0x40
0000041f: MSTORE
00000420: PUSH1 0xf
00000422: DUP2
00000423: MSTORE
00000424: PUSH32 0x436861696e4c696e6b20546f6b656e0000000000000000000000000000000000
00000445: PUSH1 0x20
00000447: DUP3
00000448: ADD
00000449: MSTORE
0000044a: DUP2
0000044b: JUMP
0000044c: JUMPDEST
0000044d: PUSH1 0x0
0000044f: DUP3
00000450: PUSH1 0x1
00000452: PUSH1 0xa0
00000454: PUSH1 0x2
00000456: EXP
00000457: SUB
00000458: DUP2
00000459: AND
0000045a: ISZERO
0000045b: DUP1
0000045c: ISZERO
0000045d: SWAP1
0000045e: PUSH2 0x479
00000461: JUMPI
00000462: POP
00000463: ADDRESS
00000464: PUSH1 0x1
00000466: PUSH1 0xa0
00000468: PUSH1 0x2
0000046a: EXP
0000046b: SUB
0000046c: AND
0000046d: DUP2
0000046e: PUSH1 0x1
00000470: PUSH1 0xa0
00000472: PUSH1 0x2
00000474: EXP
00000475: SUB
00000476: AND
00000477: EQ
00000478: ISZERO
00000479: JUMPDEST
0000047a: ISZERO
0000047b: ISZERO
0000047c: PUSH2 0x484
0000047f: JUMPI
00000480: PUSH1 0x0
00000482: DUP1
00000483: REVERT
00000484: JUMPDEST
00000485: PUSH2 0x48e
00000488: DUP5
00000489: DUP5
0000048a: PUSH2 0x7bd
0000048d: JUMP
0000048e: JUMPDEST
0000048f: SWAP2
00000490: POP
00000491: JUMPDEST
00000492: JUMPDEST
00000493: POP
00000494: SWAP3
00000495: SWAP2
00000496: POP
00000497: POP
00000498: JUMP
00000499: JUMPDEST
0000049a: PUSH12 0x33b2e3c9fd0803ce8000000
000004a7: DUP2
000004a8: JUMP
000004a9: JUMPDEST
000004aa: PUSH1 0x0
000004ac: DUP3
000004ad: PUSH1 0x1
000004af: PUSH1 0xa0
000004b1: PUSH1 0x2
000004b3: EXP
000004b4: SUB
000004b5: DUP2
000004b6: AND
000004b7: ISZERO
000004b8: DUP1
000004b9: ISZERO
000004ba: SWAP1
000004bb: PUSH2 0x4d6
000004be: JUMPI
000004bf: POP
000004c0: ADDRESS
000004c1: PUSH1 0x1
000004c3: PUSH1 0xa0
000004c5: PUSH1 0x2
000004c7: EXP
000004c8: SUB
000004c9: AND
000004ca: DUP2
000004cb: PUSH1 0x1
000004cd: PUSH1 0xa0
000004cf: PUSH1 0x2
000004d1: EXP
000004d2: SUB
000004d3: AND
000004d4: EQ
000004d5: ISZERO
000004d6: JUMPDEST
000004d7: ISZERO
000004d8: ISZERO
000004d9: PUSH2 0x4e1
000004dc: JUMPI
000004dd: PUSH1 0x0
000004df: DUP1
000004e0: REVERT
000004e1: JUMPDEST
000004e2: PUSH2 0x4ec
000004e5: DUP6
000004e6: DUP6
000004e7: DUP6
000004e8: PUSH2 0x82a
000004eb: JUMP
000004ec: JUMPDEST
000004ed: SWAP2
000004ee: POP
000004ef: JUMPDEST
000004f0: JUMPDEST
000004f1: POP
000004f2: SWAP4
000004f3: SWAP3
000004f4: POP
000004f5: POP
000004f6: POP
000004f7: JUMP
000004f8: JUMPDEST
000004f9: PUSH1 0x12
000004fb: DUP2
000004fc: JUMP
000004fd: JUMPDEST
000004fe: PUSH1 0x0
00000500: DUP4
00000501: PUSH1 0x1
00000503: PUSH1 0xa0
00000505: PUSH1 0x2
00000507: EXP
00000508: SUB
00000509: DUP2
0000050a: AND
0000050b: ISZERO
0000050c: DUP1
0000050d: ISZERO
0000050e: SWAP1
0000050f: PUSH2 0x52a
00000512: JUMPI
00000513: POP
00000514: ADDRESS
00000515: PUSH1 0x1
00000517: PUSH1 0xa0
00000519: PUSH1 0x2
0000051b: EXP
0000051c: SUB
0000051d: AND
0000051e: DUP2
0000051f: PUSH1 0x1
00000521: PUSH1 0xa0
00000523: PUSH1 0x2
00000525: EXP
00000526: SUB
00000527: AND
00000528: EQ
00000529: ISZERO
0000052a: JUMPDEST
0000052b: ISZERO
0000052c: ISZERO
0000052d: PUSH2 0x535
00000530: JUMPI
00000531: PUSH1 0x0
00000533: DUP1
00000534: REVERT
00000535: JUMPDEST
00000536: PUSH2 0x4ec
00000539: DUP6
0000053a: DUP6
0000053b: DUP6
0000053c: PUSH2 0x93c
0000053f: JUMP
00000540: JUMPDEST
00000541: SWAP2
00000542: POP
00000543: JUMPDEST
00000544: JUMPDEST
00000545: POP
00000546: SWAP4
00000547: SWAP3
00000548: POP
00000549: POP
0000054a: POP
0000054b: JUMP
0000054c: JUMPDEST
0000054d: PUSH1 0x1
0000054f: PUSH1 0xa0
00000551: PUSH1 0x2
00000553: EXP
00000554: SUB
00000555: CALLER
00000556: DUP2
00000557: AND
00000558: PUSH1 0x0
0000055a: SWAP1
0000055b: DUP2
0000055c: MSTORE
0000055d: PUSH1 0x2
0000055f: PUSH1 0x20
00000561: SWAP1
00000562: DUP2
00000563: MSTORE
00000564: PUSH1 0x40
00000566: DUP1
00000567: DUP4
00000568: SHA3
00000569: SWAP4
0000056a: DUP7
0000056b: AND
0000056c: DUP4
0000056d: MSTORE
0000056e: SWAP3
0000056f: SWAP1
00000570: MSTORE
00000571: SWAP1
00000572: DUP2
00000573: SHA3
00000574: SLOAD
00000575: DUP1
00000576: DUP4
00000577: GT
00000578: ISZERO
00000579: PUSH2 0x5a9
0000057c: JUMPI
0000057d: PUSH1 0x1
0000057f: PUSH1 0xa0
00000581: PUSH1 0x2
00000583: EXP
00000584: SUB
00000585: CALLER
00000586: DUP2
00000587: AND
00000588: PUSH1 0x0
0000058a: SWAP1
0000058b: DUP2
0000058c: MSTORE
0000058d: PUSH1 0x2
0000058f: PUSH1 0x20
00000591: SWAP1
00000592: DUP2
00000593: MSTORE
00000594: PUSH1 0x40
00000596: DUP1
00000597: DUP4
00000598: SHA3