Tripwire
Find contracts. Test them. Review real vulns.
Analysis Run

019b477e-ddee-709c-8c63-994cce4f526f
complete
Chain ID
Address
0x608c4e792c65f5527b3f70715dea44d3b302f4ee
Block Number
—
Created
Mon, Dec 22, 2025 7:17 PM
Review Summary
What survived the funnel

Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?
back to vulns open contract
Confirmed
Validated
Source
Verified
Review Backing
Not yet
Best current signal
Untrusted CALL target/value reachable
crit 0 high 0 direct contract
Review Checklist
1. Read the findings table first. Ignore raw jobs until the result looks real.
2. Confirm attacker control, not just the existence of a sink.
3. Confirm money or privilege impact.
4. Keep it if the behavior is real. Kill it if this is normal proxy, admin, or upgrade plumbing.
Processing Jobs

Status & attempts
ID	Type	Status	Attempts	Heartbeat
30045	artifact.fetch	complete	1 / 3	3 months ago
30046	tool.cast_disasm	complete	1 / 3	3 months ago
108745	analysis.bundle	complete	1 / 3	1 week ago
108746	capability.graph	complete	1 / 3	1 week ago
108747	detector.run	complete	1 / 3	1 week ago
108748	validation.fork	complete	1 / 3	1 week ago
Artifact

Runtime bytecode: available
Creation TX: —
Deployer: —
Proxy: no
Implementation:
—
Verified Source: yes
Slither

tool.slither
No slither job recorded yet.
Codex

report.consolidate
No codex job recorded yet.
Opcode Heuristics

tool.cast_disasm
Delegatecall
Selfdestruct
CREATE2
CALL-family (heavy)
EXT*/BALANCE
Total opcodes
8495
Flags
heavy_ext_balance_usage
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x02c1
0000000c: JUMPI
0000000d: PUSH0
0000000e: CALLDATALOAD
0000000f: PUSH1 0xe0
00000011: SHR
00000012: DUP1
00000013: PUSH4 0x8e4deb17
00000018: GT
00000019: PUSH2 0x0170
0000001c: JUMPI
0000001d: DUP1
0000001e: PUSH4 0xb363e953
00000023: GT
00000024: PUSH2 0x00d1
00000027: JUMPI
00000028: DUP1
00000029: PUSH4 0xd2fc583a
0000002e: GT
0000002f: PUSH2 0x0087
00000032: JUMPI
00000033: DUP1
00000034: PUSH4 0xe5a6b10f
00000039: GT
0000003a: PUSH2 0x0062
0000003d: JUMPI
0000003e: DUP1
0000003f: PUSH4 0xe5a6b10f
00000044: EQ
00000045: PUSH2 0x0a2e
00000048: JUMPI
00000049: DUP1
0000004a: PUSH4 0xfc0c546a
0000004f: EQ
00000050: PUSH2 0x0a60
00000053: JUMPI
00000054: DUP1
00000055: PUSH4 0xfd637557
0000005a: EQ
0000005b: PUSH2 0x0a92
0000005e: JUMPI
0000005f: PUSH0
00000060: DUP1
00000061: REVERT
00000062: JUMPDEST
00000063: DUP1
00000064: PUSH4 0xd2fc583a
00000069: EQ
0000006a: PUSH2 0x095b
0000006d: JUMPI
0000006e: DUP1
0000006f: PUSH4 0xdc269049
00000074: EQ
00000075: PUSH2 0x096f
00000078: JUMPI
00000079: DUP1
0000007a: PUSH4 0xe25fe175
0000007f: EQ
00000080: PUSH2 0x0982
00000083: JUMPI
00000084: PUSH0
00000085: DUP1
00000086: REVERT
00000087: JUMPDEST
00000088: DUP1
00000089: PUSH4 0xc2c4c5c1
0000008e: GT
0000008f: PUSH2 0x00b7
00000092: JUMPI
00000093: DUP1
00000094: PUSH4 0xc2c4c5c1
00000099: EQ
0000009a: PUSH2 0x0900
0000009d: JUMPI
0000009e: DUP1
0000009f: PUSH4 0xcab8bedc
000000a4: EQ
000000a5: PUSH2 0x0914
000000a8: JUMPI
000000a9: DUP1
000000aa: PUSH4 0xd0c93a7c
000000af: EQ
000000b0: PUSH2 0x0929
000000b3: JUMPI
000000b4: PUSH0
000000b5: DUP1
000000b6: REVERT
000000b7: JUMPDEST
000000b8: DUP1
000000b9: PUSH4 0xb363e953
000000be: EQ
000000bf: PUSH2 0x08cd
000000c2: JUMPI
000000c3: DUP1
000000c4: PUSH4 0xb8f163d6
000000c9: EQ
000000ca: PUSH2 0x08e1
000000cd: JUMPI
000000ce: PUSH0
000000cf: DUP1
000000d0: REVERT
000000d1: JUMPDEST
000000d2: DUP1
000000d3: PUSH4 0xa52c8728
000000d8: GT
000000d9: PUSH2 0x0126
000000dc: JUMPI
000000dd: DUP1
000000de: PUSH4 0xad7473e5
000000e3: GT
000000e4: PUSH2 0x010c
000000e7: JUMPI
000000e8: DUP1
000000e9: PUSH4 0xad7473e5
000000ee: EQ
000000ef: PUSH2 0x07c2
000000f2: JUMPI
000000f3: DUP1
000000f4: PUSH4 0xae91fa33
000000f9: EQ
000000fa: PUSH2 0x07d7
000000fd: JUMPI
000000fe: DUP1
000000ff: PUSH4 0xb122db60
00000104: EQ
00000105: PUSH2 0x080a
00000108: JUMPI
00000109: PUSH0
0000010a: DUP1
0000010b: REVERT
0000010c: JUMPDEST
0000010d: DUP1
0000010e: PUSH4 0xa52c8728
00000113: EQ
00000114: PUSH2 0x079b
00000117: JUMPI
00000118: DUP1
00000119: PUSH4 0xa9176e45
0000011e: EQ
0000011f: PUSH2 0x07ae
00000122: JUMPI
00000123: PUSH0
00000124: DUP1
00000125: REVERT
00000126: JUMPDEST
00000127: DUP1
00000128: PUSH4 0x9363c812
0000012d: GT
0000012e: PUSH2 0x0156
00000131: JUMPI
00000132: DUP1
00000133: PUSH4 0x9363c812
00000138: EQ
00000139: PUSH2 0x0731
0000013c: JUMPI
0000013d: DUP1
0000013e: PUSH4 0x998ba4fc
00000143: EQ
00000144: PUSH2 0x0763
00000147: JUMPI
00000148: DUP1
00000149: PUSH4 0x9e5f2602
0000014e: EQ
0000014f: PUSH2 0x0777
00000152: JUMPI
00000153: PUSH0
00000154: DUP1
00000155: REVERT
00000156: JUMPDEST
00000157: DUP1
00000158: PUSH4 0x8e4deb17
0000015d: EQ
0000015e: PUSH2 0x069a
00000161: JUMPI
00000162: DUP1
00000163: PUSH4 0x907c0f92
00000168: EQ
00000169: PUSH2 0x06b9
0000016c: JUMPI
0000016d: PUSH0
0000016e: DUP1
0000016f: REVERT
00000170: JUMPDEST
00000171: DUP1
00000172: PUSH4 0x37dfbc4b
00000177: GT
00000178: PUSH2 0x0225
0000017b: JUMPI
0000017c: DUP1
0000017d: PUSH4 0x48cd4cb1
00000182: GT
00000183: PUSH2 0x01db
00000186: JUMPI
00000187: DUP1
00000188: PUSH4 0x60d3ded7
0000018d: GT
0000018e: PUSH2 0x01b6
00000191: JUMPI
00000192: DUP1
00000193: PUSH4 0x60d3ded7
00000198: EQ
00000199: PUSH2 0x0640
0000019c: JUMPI
0000019d: DUP1
0000019e: PUSH4 0x7c121574
000001a3: EQ
000001a4: PUSH2 0x0654
000001a7: JUMPI
000001a8: DUP1
000001a9: PUSH4 0x8134f027
000001ae: EQ
000001af: PUSH2 0x0668
000001b2: JUMPI
000001b3: PUSH0
000001b4: DUP1
000001b5: REVERT
000001b6: JUMPDEST
000001b7: DUP1
000001b8: PUSH4 0x48cd4cb1
000001bd: EQ
000001be: PUSH2 0x05c0
000001c1: JUMPI
000001c2: DUP1
000001c3: PUSH4 0x534cb30d
000001c8: EQ
000001c9: PUSH2 0x05f2
000001cc: JUMPI
000001cd: DUP1
000001ce: PUSH4 0x5dd13ca7
000001d3: EQ
000001d4: PUSH2 0x062c
000001d7: JUMPI
000001d8: PUSH0
000001d9: DUP1
000001da: REVERT
000001db: JUMPDEST
000001dc: DUP1
000001dd: PUSH4 0x3e9d9174
000001e2: GT
000001e3: PUSH2 0x020b
000001e6: JUMPI
000001e7: DUP1
000001e8: PUSH4 0x3e9d9174
000001ed: EQ
000001ee: PUSH2 0x04ea
000001f1: JUMPI
000001f2: DUP1
000001f3: PUSH4 0x4423c5f1
000001f8: EQ
000001f9: PUSH2 0x04fe
000001fc: JUMPI
000001fd: DUP1
000001fe: PUSH4 0x46e04a2f
00000203: EQ
00000204: PUSH2 0x05a1
00000207: JUMPI
00000208: PUSH0
00000209: DUP1
0000020a: REVERT
0000020b: JUMPDEST
0000020c: DUP1
0000020d: PUSH4 0x37dfbc4b
00000212: EQ
00000213: PUSH2 0x0486
00000216: JUMPI
00000217: DUP1
00000218: PUSH4 0x3b6fd2cf
0000021d: EQ
0000021e: PUSH2 0x04b8
00000221: JUMPI
00000222: PUSH0
00000223: DUP1
00000224: REVERT
00000225: JUMPDEST
00000226: DUP1
00000227: PUSH4 0x18160ddd
0000022c: GT
0000022d: PUSH2 0x027a
00000230: JUMPI
00000231: DUP1
00000232: PUSH4 0x32a0f2d7
00000237: GT
00000238: PUSH2 0x0260
0000023b: JUMPI
0000023c: DUP1
0000023d: PUSH4 0x32a0f2d7
00000242: EQ
00000243: PUSH2 0x043d
00000246: JUMPI
00000247: DUP1
00000248: PUSH4 0x331f2f65
0000024d: EQ
0000024e: PUSH2 0x0451
00000251: JUMPI
00000252: DUP1
00000253: PUSH4 0x36dec5f2
00000258: EQ
00000259: PUSH2 0x0467
0000025c: JUMPI
0000025d: PUSH0
0000025e: DUP1
0000025f: REVERT
00000260: JUMPDEST
00000261: DUP1
00000262: PUSH4 0x18160ddd
00000267: EQ
00000268: PUSH2 0x039e
0000026b: JUMPI
0000026c: DUP1
0000026d: PUSH4 0x2f5f3b3c
00000272: EQ
00000273: PUSH2 0x03ea
00000276: JUMPI
00000277: PUSH0
00000278: DUP1
00000279: REVERT
0000027a: JUMPDEST
0000027b: DUP1
0000027c: PUSH4 0x111a977d
00000281: GT
00000282: PUSH2 0x02aa
00000285: JUMPI
00000286: DUP1
00000287: PUSH4 0x111a977d
0000028c: EQ
0000028d: PUSH2 0x0352
00000290: JUMPI
00000291: DUP1
00000292: PUSH4 0x11ea09d0
00000297: EQ
00000298: PUSH2 0x036d
0000029b: JUMPI
0000029c: DUP1
0000029d: PUSH4 0x140fe8ee
000002a2: EQ
000002a3: PUSH2 0x038b
000002a6: JUMPI
000002a7: PUSH0
000002a8: DUP1
000002a9: REVERT
000002aa: JUMPDEST
000002ab: DUP1
000002ac: PUSH4 0x083c6323
000002b1: EQ
000002b2: PUSH2 0x02c5
000002b5: JUMPI
000002b6: DUP1
000002b7: PUSH4 0x0e9a83cd
000002bc: EQ
000002bd: PUSH2 0x0311
000002c0: JUMPI
000002c1: JUMPDEST
000002c2: PUSH0
000002c3: DUP1
000002c4: REVERT
000002c5: JUMPDEST
000002c6: CALLVALUE
000002c7: DUP1
000002c8: ISZERO
000002c9: PUSH2 0x02d0
000002cc: JUMPI
000002cd: PUSH0
000002ce: DUP1
000002cf: REVERT
000002d0: JUMPDEST
000002d1: POP
000002d2: PUSH32 0x00000000000000000000000000000000000000000000000000000000016d874c
000002f3: JUMPDEST
000002f4: PUSH1 0x40
000002f6: MLOAD
000002f7: PUSH8 0xffffffffffffffff
00000300: SWAP1
00000301: SWAP2
00000302: AND
00000303: DUP2
00000304: MSTORE
00000305: PUSH1 0x20
00000307: ADD
00000308: JUMPDEST
00000309: PUSH1 0x40
0000030b: MLOAD
0000030c: DUP1
0000030d: SWAP2
0000030e: SUB
0000030f: SWAP1
00000310: RETURN
00000311: JUMPDEST
00000312: CALLVALUE
00000313: DUP1
00000314: ISZERO
00000315: PUSH2 0x031c
00000318: JUMPI
00000319: PUSH0
0000031a: DUP1
0000031b: REVERT
0000031c: JUMPDEST
0000031d: POP
0000031e: PUSH2 0x0344
00000321: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00000342: DUP2
00000343: JUMP
00000344: JUMPDEST
00000345: PUSH1 0x40
00000347: MLOAD
00000348: SWAP1
00000349: DUP2
0000034a: MSTORE
0000034b: PUSH1 0x20
0000034d: ADD
0000034e: PUSH2 0x0308
00000351: JUMP
00000352: JUMPDEST
00000353: CALLVALUE
00000354: DUP1
00000355: ISZERO
00000356: PUSH2 0x035d
00000359: JUMPI
0000035a: PUSH0
0000035b: DUP1
0000035c: REVERT
0000035d: JUMPDEST
0000035e: POP
0000035f: PUSH2 0x02f3
00000362: PUSH8 0xffffffffffffffff
0000036b: DUP2
0000036c: JUMP
0000036d: JUMPDEST
0000036e: CALLVALUE
0000036f: DUP1
00000370: ISZERO
00000371: PUSH2 0x0378
00000374: JUMPI
00000375: PUSH0
00000376: DUP1
00000377: REVERT
00000378: JUMPDEST
00000379: POP
0000037a: PUSH1 0x03
0000037c: SLOAD
0000037d: PUSH8 0xffffffffffffffff
00000386: AND
00000387: PUSH2 0x02f3
0000038a: JUMP
0000038b: JUMPDEST
0000038c: PUSH2 0x0344
0000038f: PUSH2 0x0399
00000392: CALLDATASIZE
00000393: PUSH1 0x04
00000395: PUSH2 0x3fc5
00000398: JUMP
00000399: JUMPDEST
0000039a: PUSH2 0x0ac4
0000039d: JUMP
0000039e: JUMPDEST
0000039f: CALLVALUE
000003a0: DUP1
000003a1: ISZERO
000003a2: PUSH2 0x03a9
000003a5: JUMPI
000003a6: PUSH0
000003a7: DUP1
000003a8: REVERT
000003a9: JUMPDEST
000003aa: POP
000003ab: PUSH1 0x40
000003ad: MLOAD
000003ae: PUSH16 0xffffffffffffffffffffffffffffffff
000003bf: PUSH32 0x000000000000000000000000000000000000000004ffa5fe0ab05ffbeb000000
000003e0: AND
000003e1: DUP2
000003e2: MSTORE
000003e3: PUSH1 0x20
000003e5: ADD
000003e6: PUSH2 0x0308
000003e9: JUMP
000003ea: JUMPDEST
000003eb: CALLVALUE
000003ec: DUP1
000003ed: ISZERO
000003ee: PUSH2 0x03f5
000003f1: JUMPI
000003f2: PUSH0
000003f3: DUP1
000003f4: REVERT
000003f5: JUMPDEST
000003f6: POP
000003f7: PUSH32 0x000000000000000000000000ff71bdd5419bae0208be88068abf169303deb7ca
00000418: JUMPDEST
00000419: PUSH1 0x40
0000041b: MLOAD
0000041c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000431: SWAP1
00000432: SWAP2
00000433: AND
00000434: DUP2
00000435: MSTORE
00000436: PUSH1 0x20
00000438: ADD
00000439: PUSH2 0x0308
0000043c: JUMP
0000043d: JUMPDEST
0000043e: CALLVALUE
0000043f: DUP1
00000440: ISZERO
00000441: PUSH2 0x0448
00000444: JUMPI
00000445: PUSH0
00000446: DUP1
00000447: REVERT
00000448: JUMPDEST
00000449: POP
0000044a: PUSH2 0x0344
0000044d: PUSH2 0x0afd
00000450: JUMP
00000451: JUMPDEST
00000452: CALLVALUE
00000453: DUP1
00000454: ISZERO
00000455: PUSH2 0x045c
00000458: JUMPI
00000459: PUSH0
0000045a: DUP1
0000045b: REVERT
0000045c: JUMPDEST
0000045d: POP
0000045e: PUSH2 0x0465
00000461: PUSH2 0x0bbf
00000464: JUMP
00000465: JUMPDEST
00000466: STOP
00000467: JUMPDEST
00000468: CALLVALUE
00000469: DUP1
0000046a: ISZERO
0000046b: PUSH2 0x0472
0000046e: JUMPI
0000046f: PUSH0
00000470: DUP1
00000471: REVERT
00000472: JUMPDEST
00000473: POP
00000474: PUSH2 0x0465
00000477: PUSH2 0x0481
0000047a: CALLDATASIZE
0000047b: PUSH1 0x04
0000047d: PUSH2 0x4046
00000480: JUMP
00000481: JUMPDEST
00000482: PUSH2 0x0d76
00000485: JUMP
00000486: JUMPDEST
00000487: CALLVALUE
00000488: DUP1
00000489: ISZERO
0000048a: PUSH2 0x0491
0000048d: JUMPI
0000048e: PUSH0
0000048f: DUP1
00000490: REVERT
00000491: JUMPDEST
00000492: POP
00000493: PUSH32 0x00000000000000000000000000000000000000000000000000000000016d874c
000004b4: PUSH2 0x02f3
000004b7: JUMP
000004b8: JUMPDEST
000004b9: CALLVALUE
000004ba: DUP1
000004bb: ISZERO
000004bc: PUSH2 0x04c3
000004bf: JUMPI
000004c0: PUSH0
000004c1: DUP1
000004c2: REVERT
000004c3: JUMPDEST
000004c4: POP
000004c5: PUSH32 0x000000000000000000000000d53006d1e3110fd319a79aeec4c527a0d265e080
000004e6: PUSH2 0x0418
000004e9: JUMP
000004ea: JUMPDEST
000004eb: CALLVALUE
000004ec: DUP1
000004ed: ISZERO
000004ee: PUSH2 0x04f5
000004f1: JUMPI
000004f2: PUSH0
000004f3: DUP1
000004f4: REVERT
000004f5: JUMPDEST
000004f6: POP
000004f7: PUSH2 0x0344
000004fa: PUSH2 0x14c6
000004fd: JUMP
000004fe: JUMPDEST
000004ff: CALLVALUE
00000500: DUP1
00000501: ISZERO
00000502: PUSH2 0x0509
00000505: JUMPI
00000506: PUSH0
00000507: DUP1
00000508: REVERT
00000509: JUMPDEST
0000050a: POP
0000050b: PUSH2 0x051d
0000050e: PUSH2 0x0518
00000511: CALLDATASIZE
00000512: PUSH1 0x04
00000514: PUSH2 0x407f
00000517: JUMP
00000518: JUMPDEST
00000519: PUSH2 0x14f6
0000051c: JUMP
0000051d: JUMPDEST
0000051e: PUSH1 0x40
00000520: MLOAD
00000521: PUSH2 0x0308
00000524: SWAP2
00000525: SWAP1
00000526: PUSH0
00000527: PUSH1 0xe0
00000529: DUP3
0000052a: ADD
0000052b: SWAP1
0000052c: POP
0000052d: PUSH8 0xffffffffffffffff
00000536: DUP4
00000537: MLOAD
00000538: AND
00000539: DUP3
0000053a: MSTORE
0000053b: PUSH3 0xffffff
0000053f: PUSH1 0x20
00000541: DUP5
00000542: ADD
00000543: MLOAD
00000544: AND
00000545: PUSH1 0x20
00000547: DUP4
00000548: ADD
00000549: MSTORE
0000054a: PUSH8 0xffffffffffffffff
00000553: PUSH1 0x40
00000555: DUP5
00000556: ADD
00000557: MLOAD
00000558: AND
00000559: PUSH1 0x40
0000055b: DUP4
0000055c: ADD
0000055d: MSTORE
0000055e: PUSH1 0x60
00000560: DUP4
00000561: ADD
00000562: MLOAD
00000563: PUSH1 0x60
00000565: DUP4
00000566: ADD
00000567: MSTORE
00000568: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000057d: PUSH1 0x80
0000057f: DUP5
00000580: ADD
00000581: MLOAD
00000582: AND
00000583: PUSH1 0x80
00000585: DUP4
00000586: ADD
00000587: MSTORE
00000588: PUSH1 0xa0
0000058a: DUP4
0000058b: ADD
0000058c: MLOAD
0000058d: PUSH1 0xa0
0000058f: DUP4
00000590: ADD
00000591: MSTORE
00000592: PUSH1 0xc0
00000594: DUP4
00000595: ADD
00000596: MLOAD
00000597: PUSH1 0xc0
00000599: DUP4
0000059a: ADD
0000059b: MSTORE
0000059c: SWAP3
0000059d: SWAP2
0000059e: POP
0000059f: POP
000005a0: JUMP
000005a1: JUMPDEST
000005a2: CALLVALUE
000005a3: DUP1
000005a4: ISZERO
000005a5: PUSH2 0x05ac
000005a8: JUMPI
000005a9: PUSH0
000005aa: DUP1
000005ab: REVERT
000005ac: JUMPDEST
000005ad: POP
000005ae: PUSH2 0x0465
000005b1: PUSH2 0x05bb
000005b4: CALLDATASIZE
000005b5: PUSH1 0x04
000005b7: PUSH2 0x407f
000005ba: JUMP
000005bb: JUMPDEST
000005bc: PUSH2 0x15c4
000005bf: JUMP
000005c0: JUMPDEST
000005c1: CALLVALUE
000005c2: DUP1
000005c3: ISZERO
000005c4: PUSH2 0x05cb
000005c7: JUMPI
000005c8: PUSH0
000005c9: DUP1
000005ca: REVERT
000005cb: JUMPDEST
000005cc: POP
000005cd: PUSH32 0x00000000000000000000000000000000000000000000000000000000016b0495
000005ee: PUSH2 0x02f3
000005f1: JUMP
000005f2: JUMPDEST
000005f3: CALLVALUE
000005f4: DUP1
000005f5: ISZERO
000005f6: PUSH2 0x05fd
000005f9: JUMPI
000005fa: PUSH0
000005fb: DUP1
000005fc: REVERT
000005fd: JUMPDEST
000005fe: POP
000005ff: PUSH2 0x0611
00000602: PUSH2 0x060c
00000605: CALLDATASIZE
00000606: PUSH1 0x04
00000608: PUSH2 0x407f
0000060b: JUMP
0000060c: JUMPDEST
0000060d: PUSH2 0x1773
00000610: JUMP
00000611: JUMPDEST
00000612: PUSH1 0x40
00000614: DUP1
00000615: MLOAD
00000616: DUP3
00000617: MLOAD
00000618: DUP2
00000619: MSTORE
0000061a: PUSH1 0x20
0000061c: SWAP3
0000061d: DUP4
0000061e: ADD
0000061f: MLOAD
00000620: SWAP3
00000621: DUP2
00000622: ADD
00000623: SWAP3
00000624: SWAP1
00000625: SWAP3
00000626: MSTORE
00000627: ADD
00000628: PUSH2 0x0308
0000062b: JUMP
0000062c: JUMPDEST
0000062d: CALLVALUE
0000062e: DUP1
0000062f: ISZERO
00000630: PUSH2 0x0637
00000633: JUMPI
00000634: PUSH0
00000635: DUP1
00000636: REVERT
00000637: JUMPDEST
00000638: POP
00000639: PUSH2 0x0465
0000063c: PUSH2 0x17ae
0000063f: JUMP
00000640: JUMPDEST
00000641: CALLVALUE
00000642: DUP1
00000643: ISZERO
00000644: PUSH2 0x064b
00000647: JUMPI
00000648: PUSH0
00000649: DUP1
0000064a: REVERT
0000064b: JUMPDEST
0000064c: POP
0000064d: PUSH1 0x07
0000064f: SLOAD
00000650: PUSH2 0x0344
00000653: JUMP
00000654: JUMPDEST
00000655: CALLVALUE
00000656: DUP1
00000657: ISZERO
00000658: PUSH2 0x065f
0000065b: JUMPI
0000065c: PUSH0
0000065d: DUP1
0000065e: REVERT
0000065f: JUMPDEST
00000660: POP
00000661: PUSH2 0x0465
00000664: PUSH2 0x1955
00000667: JUMP
00000668: JUMPDEST
00000669: CALLVALUE
0000066a: DUP1
0000066b: ISZERO
0000066c: PUSH2 0x0673
0000066f: JUMPI
00000670: PUSH0
00000671: DUP1
00000672: REVERT
00000673: JUMPDEST
00000674: POP
00000675: PUSH32 0x0000000000000000000000002dd6e0e331de9743635590f6c8bc5038374cac9d
00000696: PUSH2 0x0418
00000699: JUMP
0000069a: JUMPDEST
0000069b: CALLVALUE
0000069c: DUP1
0000069d: ISZERO
0000069e: PUSH2 0x06a5
000006a1: JUMPI
000006a2: PUSH0
000006a3: DUP1
000006a4: REVERT
000006a5: JUMPDEST
000006a6: POP
000006a7: PUSH2 0x0465
000006aa: PUSH2 0x06b4
000006ad: CALLDATASIZE
000006ae: PUSH1 0x04
000006b0: PUSH2 0x407f
000006b3: JUMP
000006b4: JUMPDEST
000006b5: PUSH2 0x1aa1
000006b8: JUMP
000006b9: JUMPDEST
000006ba: CALLVALUE
000006bb: DUP1
000006bc: ISZERO
000006bd: PUSH2 0x06c4
000006c0: JUMPI
000006c1: PUSH0
000006c2: DUP1
000006c3: REVERT
000006c4: JUMPDEST
000006c5: POP
000006c6: PUSH2 0x06cd
000006c9: PUSH2 0x1d29
000006cc: JUMP
000006cd: JUMPDEST
000006ce: PUSH1 0x40
000006d0: MLOAD
000006d1: PUSH2 0x0308
000006d4: SWAP2
000006d5: SWAP1
000006d6: PUSH0
000006d7: PUSH1 0xc0
000006d9: DUP3
000006da: ADD
000006db: SWAP1
000006dc: POP
000006dd: DUP3
000006de: MLOAD
000006df: DUP3
000006e0: MSTORE
000006e1: PUSH1 0x20
000006e3: DUP4
000006e4: ADD
000006e5: MLOAD
000006e6: PUSH1 0x20
000006e8: DUP4
000006e9: ADD
000006ea: MSTORE
000006eb: PUSH1 0x40
000006ed: DUP4
000006ee: ADD
000006ef: MLOAD
000006f0: PUSH1 0x40
000006f2: DUP4
000006f3: ADD
000006f4: MSTORE
000006f5: PUSH3 0xffffff
000006f9: PUSH1 0x60
000006fb: DUP5
000006fc: ADD
000006fd: MLOAD
000006fe: AND
000006ff: PUSH1 0x60
00000701: DUP4
00000702: ADD
00000703: MSTORE
00000704: PUSH8 0xffffffffffffffff
0000070d: PUSH1 0x80
0000070f: DUP5
00000710: ADD
00000711: MLOAD
00000712: AND
00000713: PUSH1 0x80
00000715: DUP4
00000716: ADD
00000717: MSTORE
00000718: PUSH8 0xffffffffffffffff
00000721: PUSH1 0xa0
00000723: DUP5
00000724: ADD
00000725: MLOAD
00000726: AND
00000727: PUSH1 0xa0
00000729: DUP4
0000072a: ADD
0000072b: MSTORE
0000072c: SWAP3
0000072d: SWAP2
0000072e: POP
0000072f: POP
00000730: JUMP
00000731: JUMPDEST
00000732: CALLVALUE
00000733: DUP1
00000734: ISZERO
00000735: PUSH2 0x073c
00000738: JUMPI
00000739: PUSH0
0000073a: DUP1
0000073b: REVERT
0000073c: JUMPDEST
0000073d: POP
0000073e: PUSH32 0x000000000000000000000000000000000000000000009fa80d76fe275c3f66ac
0000075f: PUSH2 0x0344
00000762: JUMP
00000763: JUMPDEST
00000764: CALLVALUE
00000765: DUP1
00000766: ISZERO
00000767: PUSH2 0x076e
0000076a: JUMPI
0000076b: PUSH0
0000076c: DUP1
0000076d: REVERT
0000076e: JUMPDEST
0000076f: POP
00000770: PUSH2 0x0344
00000773: PUSH2 0x1e14
00000776: JUMP
00000777: JUMPDEST
00000778: CALLVALUE
00000779: DUP1
0000077a: ISZERO
0000077b: PUSH2 0x0782
0000077e: JUMPI
0000077f: PUSH0
00000780: DUP1
00000781: REVERT
00000782: JUMPDEST
00000783: POP
00000784: PUSH2 0x078b
00000787: PUSH2 0x1e1d
0000078a: JUMP
0000078b: JUMPDEST
0000078c: PUSH1 0x40
0000078e: MLOAD
0000078f: SWAP1
00000790: ISZERO
00000791: ISZERO
00000792: DUP2
00000793: MSTORE
00000794: PUSH1 0x20
00000796: ADD
00000797: PUSH2 0x0308
0000079a: JUMP
0000079b: JUMPDEST
0000079c: PUSH2 0x0344
0000079f: PUSH2 0x07a9
000007a2: CALLDATASIZE
000007a3: PUSH1 0x04
000007a5: PUSH2 0x4096
000007a8: JUMP
000007a9: JUMPDEST
000007aa: PUSH2 0x1e4a
000007ad: JUMP
000007ae: JUMPDEST
000007af: CALLVALUE
000007b0: DUP1
000007b1: ISZERO
000007b2: PUSH2 0x07b9
000007b5: JUMPI
000007b6: PUSH0
000007b7: DUP1
000007b8: REVERT
000007b9: JUMPDEST
000007ba: POP
000007bb: PUSH1 0x0c
000007bd: SLOAD
000007be: PUSH2 0x0344
000007c1: JUMP
000007c2: JUMPDEST
000007c3: CALLVALUE
000007c4: DUP1
000007c5: ISZERO
000007c6: PUSH2 0x07cd
000007c9: JUMPI
000007ca: PUSH0
000007cb: DUP1
000007cc: REVERT
000007cd: JUMPDEST
000007ce: POP
000007cf: PUSH2 0x0344
000007d2: PUSH1 0x09
000007d4: SLOAD
000007d5: DUP2
000007d6: JUMP
000007d7: JUMPDEST
000007d8: CALLVALUE
000007d9: DUP1
000007da: ISZERO
000007db: PUSH2 0x07e2
000007de: JUMPI
000007df: PUSH0
000007e0: DUP1
000007e1: REVERT
000007e2: JUMPDEST
000007e3: POP
000007e4: PUSH2 0x0344
000007e7: PUSH32 0x00000000000000000000000000000000a3ee1769a11b5bd37830553b97e88964
00000808: DUP2
00000809: JUMP
0000080a: JUMPDEST
0000080b: CALLVALUE
0000080c: DUP1
0000080d: ISZERO
0000080e: PUSH2 0x0815
00000811: JUMPI
00000812: PUSH0
00000813: DUP1
00000814: REVERT
00000815: JUMPDEST
00000816: POP
00000817: PUSH2 0x06cd
0000081a: PUSH2 0x0824
0000081d: CALLDATASIZE
0000081e: PUSH1 0x04
00000820: PUSH2 0x4109
00000823: JUMP
00000824: JUMPDEST
00000825: PUSH1 0x40
00000827: DUP1
00000828: MLOAD
00000829: PUSH1 0xc0
0000082b: DUP2
0000082c: ADD
0000082d: DUP3
0000082e: MSTORE
0000082f: PUSH0
00000830: DUP1
00000831: DUP3
00000832: MSTORE
00000833: PUSH1 0x20
00000835: DUP3
00000836: ADD
00000837: DUP2
00000838: SWAP1
00000839: MSTORE
0000083a: SWAP2
0000083b: DUP2
0000083c: ADD
0000083d: DUP3
0000083e: SWAP1
0000083f: MSTORE
00000840: PUSH1 0x60
00000842: DUP2
00000843: ADD
00000844: DUP3
00000845: SWAP1
00000846: MSTORE
00000847: PUSH1 0x80
00000849: DUP2
0000084a: ADD
0000084b: DUP3
0000084c: SWAP1
0000084d: MSTORE
0000084e: PUSH1 0xa0
00000850: DUP2
00000851: ADD
00000852: SWAP2
00000853: SWAP1
00000854: SWAP2
00000855: MSTORE
00000856: POP
00000857: PUSH8 0xffffffffffffffff
00000860: SWAP1
00000861: DUP2
00000862: AND
00000863: PUSH0
00000864: SWAP1
00000865: DUP2
00000866: MSTORE
00000867: PUSH1 0x02
00000869: PUSH1 0x20
0000086b: DUP2
0000086c: DUP2
0000086d: MSTORE
0000086e: PUSH1 0x40
00000870: SWAP3
00000871: DUP4
00000872: SWAP1
00000873: KECCAK256
00000874: DUP4
00000875: MLOAD
00000876: PUSH1 0xc0
00000878: DUP2
00000879: ADD
0000087a: DUP6
0000087b: MSTORE
0000087c: DUP2
0000087d: SLOAD
0000087e: DUP2
0000087f: MSTORE
00000880: PUSH1 0x01
00000882: DUP3
00000883: ADD
00000884: SLOAD
00000885: SWAP3
00000886: DUP2
00000887: ADD
00000888: SWAP3
00000889: SWAP1
0000088a: SWAP3
0000088b: MSTORE
0000088c: SWAP2
0000088d: DUP3
0000088e: ADD
0000088f: SLOAD
00000890: SWAP3
00000891: DUP2
00000892: ADD
00000893: SWAP3
00000894: SWAP1
00000895: SWAP3
00000896: MSTORE
00000897: PUSH1 0x03
00000899: ADD
0000089a: SLOAD
0000089b: PUSH3 0xffffff
0000089f: DUP2
000008a0: AND
000008a1: PUSH1 0x60
000008a3: DUP4
000008a4: ADD
000008a5: MSTORE
000008a6: PUSH4 0x01000000
000008ab: DUP2
000008ac: DIV
000008ad: DUP4
000008ae: AND
000008af: PUSH1 0x80
000008b1: DUP4
000008b2: ADD
000008b3: MSTORE
000008b4: PUSH12 0x010000000000000000000000
000008c1: SWAP1
000008c2: DIV
000008c3: SWAP1
000008c4: SWAP2
000008c5: AND
000008c6: PUSH1 0xa0
000008c8: DUP3
000008c9: ADD
000008ca: MSTORE
000008cb: SWAP1
000008cc: JUMP
000008cd: JUMPDEST
000008ce: CALLVALUE
000008cf: DUP1
000008d0: ISZERO
000008d1: PUSH2 0x08d8
000008d4: JUMPI
000008d5: PUSH0
000008d6: DUP1
000008d7: REVERT
000008d8: JUMPDEST
000008d9: POP
000008da: PUSH1 0x0b
000008dc: SLOAD
000008dd: PUSH2 0x0344
000008e0: JUMP
000008e1: JUMPDEST
000008e2: CALLVALUE
000008e3: DUP1
000008e4: ISZERO
000008e5: PUSH2 0x08ec
000008e8: JUMPI
000008e9: PUSH0
000008ea: DUP1
000008eb: REVERT
000008ec: JUMPDEST
000008ed: POP
000008ee: PUSH2 0x0465
000008f1: PUSH2 0x08fb
000008f4: CALLDATASIZE
000008f5: PUSH1 0x04
000008f7: PUSH2 0x4122
000008fa: JUMP
000008fb: JUMPDEST
000008fc: PUSH2 0x2068
000008ff: JUMP
00000900: JUMPDEST
00000901: CALLVALUE
00000902: DUP1
00000903: ISZERO
00000904: PUSH2 0x090b
00000907: JUMPI
00000908: PUSH0
00000909: DUP1
0000090a: REVERT
0000090b: JUMPDEST
0000090c: POP
0000090d: PUSH2 0x06cd
00000910: PUSH2 0x22f9
00000913: JUMP
00000914: JUMPDEST
00000915: CALLVALUE
00000916: DUP1
00000917: ISZERO
00000918: PUSH2 0x091f
0000091b: JUMPI
0000091c: PUSH0
0000091d: DUP1
0000091e: REVERT
0000091f: JUMPDEST
00000920: POP
00000921: PUSH2 0x0344
00000924: PUSH1 0x08
00000926: SLOAD
00000927: DUP2
00000928: JUMP
00000929: JUMPDEST
0000092a: CALLVALUE
0000092b: DUP1
0000092c: ISZERO
0000092d: PUSH2 0x0934
00000930: JUMPI
00000931: PUSH0
00000932: DUP1
00000933: REVERT
00000934: JUMPDEST
00000935: POP
00000936: PUSH32 0x000000000000000000000000000000000000000000000198b87463d250485063
00000957: PUSH2 0x0344
0000095a: JUMP
0000095b: JUMPDEST
0000095c: CALLVALUE
0000095d: DUP1
0000095e: ISZERO
0000095f: PUSH2 0x0966
00000962: JUMPI
00000963: PUSH0
00000964: DUP1
00000965: REVERT
00000966: JUMPDEST
00000967: POP
00000968: PUSH1 0x0a
0000096a: SLOAD
0000096b: PUSH2 0x0344
0000096e: JUMP
0000096f: JUMPDEST
00000970: CALLVALUE
00000971: DUP1
00000972: ISZERO
00000973: PUSH2 0x097a
00000976: JUMPI
00000977: PUSH0
00000978: DUP1
00000979: REVERT
0000097a: JUMPDEST
0000097b: POP
0000097c: PUSH0
0000097d: SLOAD
0000097e: PUSH2 0x0344
00000981: JUMP
00000982: JUMPDEST
00000983: CALLVALUE
00000984: DUP1
00000985: ISZERO
00000986: PUSH2 0x098d
00000989: JUMPI
0000098a: PUSH0
0000098b: DUP1
0000098c: REVERT
0000098d: JUMPDEST
0000098e: POP
0000098f: PUSH2 0x09f5
00000992: PUSH1 0x40
00000994: DUP1
00000995: MLOAD
00000996: PUSH1 0x60
00000998: DUP2
00000999: ADD
0000099a: DUP3
0000099b: MSTORE
0000099c: PUSH0
0000099d: DUP1
0000099e: DUP3
0000099f: MSTORE
000009a0: PUSH1 0x20
000009a2: DUP3
000009a3: ADD
000009a4: DUP2
000009a5: SWAP1
000009a6: MSTORE
000009a7: SWAP2
000009a8: DUP2
000009a9: ADD
000009aa: SWAP2
000009ab: SWAP1
000009ac: SWAP2
000009ad: MSTORE
000009ae: POP
000009af: PUSH1 0x40
000009b1: DUP1
000009b2: MLOAD
000009b3: PUSH1 0x60
000009b5: DUP2
000009b6: ADD
000009b7: DUP3
000009b8: MSTORE
000009b9: PUSH1 0x05
000009bb: SLOAD
000009bc: PUSH3 0xffffff
000009c0: DUP2
000009c1: AND
000009c2: DUP3
000009c3: MSTORE
000009c4: PUSH8 0xffffffffffffffff
000009cd: PUSH4 0x01000000
000009d2: DUP3
000009d3: DIV
000009d4: DUP2
000009d5: AND
000009d6: PUSH1 0x20
000009d8: DUP5
000009d9: ADD
000009da: MSTORE
000009db: PUSH12 0x010000000000000000000000
000009e8: SWAP1
000009e9: SWAP2
000009ea: DIV
000009eb: AND
000009ec: SWAP2
000009ed: DUP2
000009ee: ADD
000009ef: SWAP2
000009f0: SWAP1
000009f1: SWAP2
000009f2: MSTORE
000009f3: SWAP1
000009f4: JUMP
000009f5: JUMPDEST
000009f6: PUSH1 0x40
000009f8: DUP1
000009f9: MLOAD
000009fa: DUP3
000009fb: MLOAD
000009fc: PUSH3 0xffffff
00000a00: AND
00000a01: DUP2
00000a02: MSTORE
00000a03: PUSH1 0x20
00000a05: DUP1
00000a06: DUP5
00000a07: ADD
00000a08: MLOAD
00000a09: PUSH8 0xffffffffffffffff
00000a12: SWAP1
00000a13: DUP2
00000a14: AND
00000a15: SWAP2
00000a16: DUP4
00000a17: ADD
00000a18: SWAP2
00000a19: SWAP1
00000a1a: SWAP2
00000a1b: MSTORE
00000a1c: SWAP3
00000a1d: DUP3
00000a1e: ADD
00000a1f: MLOAD
00000a20: SWAP1
00000a21: SWAP3
00000a22: AND
00000a23: SWAP1
00000a24: DUP3
00000a25: ADD
00000a26: MSTORE
00000a27: PUSH1 0x60
00000a29: ADD
00000a2a: PUSH2 0x0308
00000a2d: JUMP
00000a2e: JUMPDEST
00000a2f: CALLVALUE
00000a30: DUP1
00000a31: ISZERO
00000a32: PUSH2 0x0a39
00000a35: JUMPI
00000a36: PUSH0
00000a37: DUP1
00000a38: REVERT
00000a39: JUMPDEST
00000a3a: POP
00000a3b: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000000
00000a5c: PUSH2 0x0418
00000a5f: JUMP
00000a60: JUMPDEST
00000a61: CALLVALUE
00000a62: DUP1
00000a63: ISZERO
00000a64: PUSH2 0x0a6b
00000a67: JUMPI
00000a68: PUSH0
00000a69: DUP1
00000a6a: REVERT
00000a6b: JUMPDEST
00000a6c: POP
00000a6d: PUSH32 0x0000000000000000000000004b00c30ceba3f188407c6e6741cc5b43561f1f6e
00000a8e: PUSH2 0x0418
00000a91: JUMP
00000a92: JUMPDEST
00000a93: CALLVALUE
00000a94: DUP1
00000a95: ISZERO
00000a96: PUSH2 0x0a9d
00000a99: JUMPI
00000a9a: PUSH0
00000a9b: DUP1
00000a9c: REVERT
00000a9d: JUMPDEST
00000a9e: POP
00000a9f: PUSH32 0x00000000000000000000000013620833364653fa125ccdd7cf54b9e4a22ab6d9
00000ac0: PUSH2 0x0418
00000ac3: JUMP
00000ac4: JUMPDEST
00000ac5: PUSH0
00000ac6: PUSH2 0x0af3
00000ac9: DUP7
00000aca: DUP7
00000acb: DUP7
00000acc: PUSH32 0x000000000000000000000000000000000000000000009fa80d76fe275c3f66ac
00000aed: DUP8
00000aee: DUP8
00000aef: PUSH2 0x1e4a
00000af2: JUMP
00000af3: JUMPDEST
00000af4: SWAP7
00000af5: SWAP6
00000af6: POP
00000af7: POP
00000af8: POP
00000af9: POP
00000afa: POP
00000afb: POP
00000afc: JUMP
00000afd: JUMPDEST
00000afe: PUSH1 0x03
00000b00: SLOAD
00000b01: PUSH0
00000b02: SWAP1
00000b03: PUSH2 0x0bb9
00000b06: SWAP1
00000b07: PUSH8 0xffffffffffffffff
00000b10: AND
00000b11: PUSH1 0x40
00000b13: DUP1
00000b14: MLOAD
00000b15: PUSH1 0xc0
00000b17: DUP2
00000b18: ADD
00000b19: DUP3
00000b1a: MSTORE
00000b1b: PUSH0
00000b1c: DUP1
00000b1d: DUP3
00000b1e: MSTORE
00000b1f: PUSH1 0x20
00000b21: DUP3
00000b22: ADD
00000b23: DUP2
00000b24: SWAP1
00000b25: MSTORE
00000b26: SWAP2
00000b27: DUP2
00000b28: ADD
00000b29: DUP3
00000b2a: SWAP1
00000b2b: MSTORE
00000b2c: PUSH1 0x60
00000b2e: DUP2
00000b2f: ADD
00000b30: DUP3
00000b31: SWAP1
00000b32: MSTORE
00000b33: PUSH1 0x80
00000b35: DUP2
00000b36: ADD
00000b37: DUP3
00000b38: SWAP1
00000b39: MSTORE
00000b3a: PUSH1 0xa0
00000b3c: DUP2
00000b3d: ADD
00000b3e: SWAP2
00000b3f: SWAP1
00000b40: SWAP2
00000b41: MSTORE
00000b42: POP
00000b43: PUSH8 0xffffffffffffffff
00000b4c: SWAP1
00000b4d: DUP2
00000b4e: AND
00000b4f: PUSH0
00000b50: SWAP1
00000b51: DUP2
00000b52: MSTORE
00000b53: PUSH1 0x02
00000b55: PUSH1 0x20
00000b57: DUP2
00000b58: DUP2
00000b59: MSTORE
00000b5a: PUSH1 0x40
00000b5c: SWAP3
00000b5d: DUP4
00000b5e: SWAP1
00000b5f: KECCAK256
00000b60: DUP4
00000b61: MLOAD
00000b62: PUSH1 0xc0
00000b64: DUP2
00000b65: ADD
00000b66: DUP6
00000b67: MSTORE
00000b68: DUP2
00000b69: SLOAD
00000b6a: DUP2
00000b6b: MSTORE
00000b6c: PUSH1 0x01
00000b6e: DUP3
00000b6f: ADD
00000b70: SLOAD
00000b71: SWAP3
00000b72: DUP2
00000b73: ADD
00000b74: SWAP3
00000b75: SWAP1
00000b76: SWAP3
00000b77: MSTORE
00000b78: SWAP2
00000b79: DUP3
00000b7a: ADD
00000b7b: SLOAD
00000b7c: SWAP3
00000b7d: DUP2
00000b7e: ADD
00000b7f: SWAP3
00000b80: SWAP1
00000b81: SWAP3
00000b82: MSTORE
00000b83: PUSH1 0x03
00000b85: ADD
00000b86: SLOAD
00000b87: PUSH3 0xffffff
00000b8b: DUP2
00000b8c: AND
00000b8d: PUSH1 0x60
00000b8f: DUP4
00000b90: ADD
00000b91: MSTORE
00000b92: PUSH4 0x01000000
00000b97: DUP2
00000b98: DIV
00000b99: DUP4
00000b9a: AND
00000b9b: PUSH1 0x80
00000b9d: DUP4
00000b9e: ADD
00000b9f: MSTORE
00000ba0: PUSH12 0x010000000000000000000000
00000bad: SWAP1
00000bae: DIV
00000baf: SWAP1
00000bb0: SWAP2
00000bb1: AND
00000bb2: PUSH1 0xa0
00000bb4: DUP3
00000bb5: ADD
00000bb6: MSTORE
00000bb7: SWAP1
00000bb8: JUMP
00000bb9: JUMPDEST
00000bba: MLOAD
00000bbb: SWAP2
00000bbc: SWAP1
00000bbd: POP
00000bbe: JUMP
00000bbf: JUMPDEST
00000bc0: PUSH1 0x0d
00000bc2: SLOAD
00000bc3: PUSH1 0xff
00000bc5: AND
00000bc6: ISZERO
00000bc7: PUSH2 0x0bcc
00000bca: JUMPI
00000bcb: JUMP
00000bcc: JUMPDEST
00000bcd: PUSH1 0x40
00000bcf: MLOAD
00000bd0: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000
00000bf1: DUP2
00000bf2: MSTORE
00000bf3: ADDRESS
00000bf4: PUSH1 0x04
00000bf6: DUP3
00000bf7: ADD
00000bf8: MSTORE
00000bf9: PUSH32 0x000000000000000000000000000000000000000004ffa5fe0ab05ffbeb000000
00000c1a: PUSH16 0xffffffffffffffffffffffffffffffff
00000c2b: AND
00000c2c: SWAP1
00000c2d: PUSH32 0x0000000000000000000000004b00c30ceba3f188407c6e6741cc5b43561f1f6e
00000c4e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c63: AND
00000c64: SWAP1
00000c65: PUSH4 0x70a08231
00000c6a: SWAP1
00000c6b: PUSH1 0x24
00000c6d: ADD
00000c6e: PUSH1 0x20
00000c70: PUSH1 0x40
00000c72: MLOAD
00000c73: DUP1
00000c74: DUP4
00000c75: SUB
00000c76: DUP2
00000c77: DUP7
00000c78: GAS
00000c79: STATICCALL
00000c7a: ISZERO
00000c7b: DUP1
00000c7c: ISZERO
00000c7d: PUSH2 0x0c88
00000c80: JUMPI
00000c81: RETURNDATASIZE
00000c82: PUSH0
00000c83: DUP1
00000c84: RETURNDATACOPY
00000c85: RETURNDATASIZE
00000c86: PUSH0
00000c87: REVERT
00000c88: JUMPDEST
00000c89: POP
00000c8a: POP
00000c8b: POP
00000c8c: POP
00000c8d: PUSH1 0x40
00000c8f: MLOAD
00000c90: RETURNDATASIZE
00000c91: PUSH1 0x1f
00000c93: NOT
00000c94: PUSH1 0x1f
00000c96: DUP3
00000c97: ADD
00000c98: AND
00000c99: DUP3
00000c9a: ADD
00000c9b: DUP1
00000c9c: PUSH1 0x40
00000c9e: MSTORE
00000c9f: POP
00000ca0: DUP2
00000ca1: ADD
00000ca2: SWAP1
00000ca3: PUSH2 0x0cac
00000ca6: SWAP2
00000ca7: SWAP1
00000ca8: PUSH2 0x41a3
00000cab: JUMP
00000cac: JUMPDEST
00000cad: LT
00000cae: ISZERO
00000caf: PUSH2 0x0ce4
00000cb2: JUMPI
00000cb3: PUSH1 0x40
00000cb5: MLOAD
00000cb6: PUSH32 0x268128ba00000000000000000000000000000000000000000000000000000000
00000cd7: DUP2
00000cd8: MSTORE
00000cd9: PUSH1 0x04
00000cdb: ADD
00000cdc: PUSH1 0x40
00000cde: MLOAD
00000cdf: DUP1
00000ce0: SWAP2
00000ce1: SUB
00000ce2: SWAP1
00000ce3: REVERT
00000ce4: JUMPDEST
00000ce5: PUSH1 0x0d
00000ce7: DUP1
00000ce8: SLOAD
00000ce9: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
00000d0a: AND
00000d0b: PUSH1 0x01
00000d0d: OR
00000d0e: SWAP1
00000d0f: SSTORE
00000d10: PUSH1 0x40
00000d12: MLOAD
00000d13: PUSH32 0x000000000000000000000000000000000000000004ffa5fe0ab05ffbeb000000
00000d34: PUSH16 0xffffffffffffffffffffffffffffffff
00000d45: AND
00000d46: DUP2
00000d47: MSTORE
00000d48: PUSH32 0x17cca138a663106b4c25a247e2d9238888fe37188d83b7bb7287bc1c0a4df82a
00000d69: SWAP1
00000d6a: PUSH1 0x20
00000d6c: ADD
00000d6d: PUSH1 0x40
00000d6f: MLOAD
00000d70: DUP1
00000d71: SWAP2
00000d72: SUB
00000d73: SWAP1
00000d74: LOG1
00000d75: JUMP
00000d76: JUMPDEST
00000d77: PUSH0
00000d78: PUSH2 0x0d7f
00000d7b: PUSH2 0x22f9
00000d7e: JUMP
00000d7f: JUMPDEST
00000d80: SWAP1
00000d81: POP
00000d82: PUSH0
00000d83: PUSH2 0x0d8b
00000d86: DUP6
00000d87: PUSH2 0x2375
00000d8a: JUMP
00000d8b: JUMPDEST
00000d8c: PUSH1 0x40
00000d8e: DUP1
00000d8f: MLOAD
00000d90: PUSH1 0xe0
00000d92: DUP2
00000d93: ADD
00000d94: DUP3
00000d95: MSTORE
00000d96: DUP3
00000d97: SLOAD
00000d98: PUSH8 0xffffffffffffffff
00000da1: DUP1
00000da2: DUP3
00000da3: AND
00000da4: DUP4
00000da5: MSTORE
00000da6: PUSH3 0xffffff
00000daa: PUSH9 0x010000000000000000
00000db4: DUP4
00000db5: DIV
00000db6: AND
00000db7: PUSH1 0x20
00000db9: DUP5
00000dba: ADD
00000dbb: MSTORE
00000dbc: PUSH12 0x010000000000000000000000
00000dc9: SWAP1
00000dca: SWAP2
00000dcb: DIV
00000dcc: AND
00000dcd: SWAP2
00000dce: DUP2
00000dcf: ADD
00000dd0: DUP3
00000dd1: SWAP1
00000dd2: MSTORE
00000dd3: PUSH1 0x01
00000dd5: DUP4
00000dd6: ADD
00000dd7: SLOAD
00000dd8: PUSH1 0x60
00000dda: DUP3
00000ddb: ADD
00000ddc: MSTORE
00000ddd: PUSH1 0x02
00000ddf: DUP4
00000de0: ADD
00000de1: SLOAD
00000de2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000df7: AND
00000df8: PUSH1 0x80
00000dfa: DUP3
00000dfb: ADD
00000dfc: MSTORE
00000dfd: PUSH1 0x03
00000dff: DUP4
00000e00: ADD
00000e01: SLOAD
00000e02: PUSH1 0xa0
00000e04: DUP3
00000e05: ADD
00000e06: MSTORE
00000e07: PUSH1 0x04
00000e09: SWAP1
00000e0a: SWAP3
00000e0b: ADD
00000e0c: SLOAD
00000e0d: PUSH1 0xc0
00000e0f: DUP4
00000e10: ADD
00000e11: MSTORE
00000e12: SWAP1
00000e13: SWAP2
00000e14: POP
00000e15: ISZERO
00000e16: PUSH2 0x0e4b
00000e19: JUMPI
00000e1a: PUSH1 0x40
00000e1c: MLOAD
00000e1d: PUSH32 0x3458822100000000000000000000000000000000000000000000000000000000
00000e3e: DUP2
00000e3f: MSTORE
00000e40: PUSH1 0x04
00000e42: ADD
00000e43: PUSH1 0x40
00000e45: MLOAD
00000e46: DUP1
00000e47: SWAP2
00000e48: SUB
00000e49: SWAP1
00000e4a: REVERT
00000e4b: JUMPDEST
00000e4c: PUSH1 0x0a
00000e4e: SLOAD
00000e4f: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000000
00000e70: GT
00000e71: ISZERO
00000e72: PUSH2 0x0eea
00000e75: JUMPI
00000e76: PUSH32 0x00000000000000000000000000000000000000000000000000000000016d874c
00000e97: PUSH8 0xffffffffffffffff
00000ea0: AND
00000ea1: NUMBER
00000ea2: LT
00000ea3: PUSH2 0x0eb8
00000ea6: JUMPI
00000ea7: PUSH2 0x0eb1
00000eaa: DUP6
00000eab: PUSH0
00000eac: DUP1
00000ead: PUSH2 0x23c4
00000eb0: JUMP
00000eb1: JUMPDEST
00000eb2: POP
00000eb3: POP
00000eb4: POP
00000eb5: POP
00000eb6: POP
00000eb7: JUMP
00000eb8: JUMPDEST
00000eb9: PUSH1 0x40
00000ebb: MLOAD
00000ebc: PUSH32 0x8af474ff00000000000000000000000000000000000000000000000000000000
00000edd: DUP2
00000ede: MSTORE
00000edf: PUSH1 0x04
00000ee1: ADD
00000ee2: PUSH1 0x40
00000ee4: MLOAD
00000ee5: DUP1
00000ee6: SWAP2
00000ee7: SUB
00000ee8: SWAP1
00000ee9: REVERT
00000eea: JUMPDEST
00000eeb: PUSH1 0x60
00000eed: DUP2
00000eee: ADD
00000eef: MLOAD
00000ef0: DUP2
00000ef1: MLOAD
00000ef2: PUSH0
00000ef3: PUSH2 0x0f9f
00000ef6: DUP8
00000ef7: PUSH1 0x40
00000ef9: DUP1
00000efa: MLOAD
00000efb: PUSH1 0xc0
00000efd: DUP2
00000efe: ADD
00000eff: DUP3
00000f00: MSTORE
00000f01: PUSH0
00000f02: DUP1
00000f03: DUP3
00000f04: MSTORE
00000f05: PUSH1 0x20
00000f07: DUP3
00000f08: ADD
00000f09: DUP2
00000f0a: SWAP1
00000f0b: MSTORE
00000f0c: SWAP2
00000f0d: DUP2
00000f0e: ADD
00000f0f: DUP3
00000f10: SWAP1
00000f11: MSTORE
00000f12: PUSH1 0x60
00000f14: DUP2
00000f15: ADD
00000f16: DUP3
00000f17: SWAP1
00000f18: MSTORE
00000f19: PUSH1 0x80
00000f1b: DUP2
00000f1c: ADD
00000f1d: DUP3
00000f1e: SWAP1
00000f1f: MSTORE
00000f20: PUSH1 0xa0
00000f22: DUP2
00000f23: ADD
00000f24: SWAP2
00000f25: SWAP1
00000f26: SWAP2
00000f27: MSTORE
00000f28: POP
00000f29: PUSH8 0xffffffffffffffff
00000f32: SWAP1
00000f33: DUP2
00000f34: AND
00000f35: PUSH0
00000f36: SWAP1
00000f37: DUP2
00000f38: MSTORE
00000f39: PUSH1 0x02
00000f3b: PUSH1 0x20
00000f3d: DUP2
00000f3e: DUP2
00000f3f: MSTORE
00000f40: PUSH1 0x40
00000f42: SWAP3
00000f43: DUP4
00000f44: SWAP1
00000f45: KECCAK256
00000f46: DUP4
00000f47: MLOAD
00000f48: PUSH1 0xc0
00000f4a: DUP2
00000f4b: ADD
00000f4c: DUP6
00000f4d: MSTORE
00000f4e: DUP2
00000f4f: SLOAD
00000f50: DUP2
00000f51: MSTORE
00000f52: PUSH1 0x01
00000f54: DUP3
00000f55: ADD
00000f56: SLOAD
00000f57: SWAP3
00000f58: DUP2
00000f59: ADD
00000f5a: SWAP3
00000f5b: SWAP1
00000f5c: SWAP3
00000f5d: MSTORE
00000f5e: SWAP2
00000f5f: DUP3
00000f60: ADD
00000f61: SLOAD
00000f62: SWAP3
00000f63: DUP2
00000f64: ADD
00000f65: SWAP3
00000f66: SWAP1
00000f67: SWAP3
00000f68: MSTORE
00000f69: PUSH1 0x03
00000f6b: ADD
00000f6c: SLOAD
00000f6d: PUSH3 0xffffff
00000f71: DUP2
00000f72: AND
00000f73: PUSH1 0x60
00000f75: DUP4
00000f76: ADD
00000f77: MSTORE
00000f78: PUSH4 0x01000000
00000f7d: DUP2
00000f7e: DIV
00000f7f: DUP4
00000f80: AND
00000f81: PUSH1 0x80
00000f83: DUP4
00000f84: ADD
00000f85: MSTORE
00000f86: PUSH12 0x010000000000000000000000
00000f93: SWAP1
00000f94: DIV
00000f95: SWAP1
00000f96: SWAP2
00000f97: AND
00000f98: PUSH1 0xa0
00000f9a: DUP3
00000f9b: ADD
00000f9c: MSTORE
00000f9d: SWAP1
00000f9e: JUMP
00000f9f: JUMPDEST
00000fa0: SWAP1
00000fa1: POP
00000fa2: DUP3
00000fa3: DUP2
00000fa4: PUSH0
00000fa5: ADD
00000fa6: MLOAD
00000fa7: LT
00000fa8: ISZERO
00000fa9: DUP1
00000faa: PUSH2 0x1063
00000fad: JUMPI
00000fae: POP
00000faf: DUP3
00000fb0: PUSH2 0x1060
00000fb3: DUP3
00000fb4: PUSH1 0xa0
00000fb6: ADD
00000fb7: MLOAD
00000fb8: PUSH1 0x40
00000fba: DUP1
00000fbb: MLOAD
00000fbc: PUSH1 0xc0
00000fbe: DUP2
00000fbf: ADD
00000fc0: DUP3
00000fc1: MSTORE
00000fc2: PUSH0
00000fc3: DUP1
00000fc4: DUP3
00000fc5: MSTORE
00000fc6: PUSH1 0x20
00000fc8: DUP3
00000fc9: ADD
00000fca: DUP2
00000fcb: SWAP1
00000fcc: MSTORE
00000fcd: SWAP2
00000fce: DUP2
00000fcf: ADD
00000fd0: DUP3
00000fd1: SWAP1
00000fd2: MSTORE
00000fd3: PUSH1 0x60
00000fd5: DUP2
00000fd6: ADD
00000fd7: DUP3
00000fd8: SWAP1
00000fd9: MSTORE
00000fda: PUSH1 0x80
00000fdc: DUP2
00000fdd: ADD
00000fde: DUP3
00000fdf: SWAP1
00000fe0: MSTORE
00000fe1: PUSH1 0xa0
00000fe3: DUP2
00000fe4: ADD
00000fe5: SWAP2
00000fe6: SWAP1
00000fe7: SWAP2
00000fe8: MSTORE
00000fe9: POP
00000fea: PUSH8 0xffffffffffffffff
00000ff3: SWAP1
00000ff4: DUP2
00000ff5: AND
00000ff6: PUSH0
00000ff7: SWAP1
00000ff8: DUP2
00000ff9: MSTORE
00000ffa: PUSH1 0x02
00000ffc: PUSH1 0x20
00000ffe: DUP2
00000fff: DUP2
00001000: MSTORE
00001001: PUSH1 0x40
00001003: SWAP3
00001004: DUP4
00001005: SWAP1
00001006: KECCAK256
00001007: DUP4
00001008: MLOAD
00001009: PUSH1 0xc0
0000100b: DUP2
0000100c: ADD
0000100d: DUP6
0000100e: MSTORE
0000100f: DUP2
00001010: SLOAD
00001011: DUP2
00001012: MSTORE
00001013: PUSH1 0x01
00001015: DUP3
00001016: ADD
00001017: SLOAD
00001018: SWAP3
00001019: DUP2
0000101a: ADD
0000101b: SWAP3
0000101c: SWAP1
0000101d: SWAP3
0000101e: MSTORE
0000101f: SWAP2
00001020: DUP3
00001021: ADD
00001022: SLOAD
00001023: SWAP3
00001024: DUP2
00001025: ADD
00001026: SWAP3
00001027: SWAP1
00001028: SWAP3
00001029: MSTORE
0000102a: PUSH1 0x03
0000102c: ADD
0000102d: SLOAD
0000102e: PUSH3 0xffffff
00001032: DUP2
00001033: AND
00001034: PUSH1 0x60
00001036: DUP4
00001037: ADD
00001038: MSTORE
00001039: PUSH4 0x01000000
0000103e: DUP2
0000103f: DIV
00001040: DUP4
00001041: AND
00001042: PUSH1 0x80
00001044: DUP4
00001045: ADD
00001046: MSTORE
00001047: PUSH12 0x010000000000000000000000
00001054: SWAP1
00001055: DIV
00001056: SWAP1
00001057: SWAP2
00001058: AND
00001059: PUSH1 0xa0
0000105b: DUP3
0000105c: ADD
0000105d: MSTORE
0000105e: SWAP1
0000105f: JUMP
00001060: JUMPDEST
00001061: MLOAD
00001062: LT
00001063: JUMPDEST
00001064: DUP1
00001065: PUSH2 0x1081
00001068: JUMPI
00001069: POP
0000106a: DUP2
0000106b: PUSH8 0xffffffffffffffff
00001074: AND
00001075: DUP8
00001076: PUSH8 0xffffffffffffffff
0000107f: AND
00001080: LT
00001081: JUMPDEST
00001082: ISZERO
00001083: PUSH2 0x10b8
00001086: JUMPI
00001087: PUSH1 0x40
00001089: MLOAD
0000108a: PUSH32 0x6a00945500000000000000000000000000000000000000000000000000000000
000010ab: DUP2
000010ac: MSTORE
000010ad: PUSH1 0x04
000010af: ADD
000010b0: PUSH1 0x40
000010b2: MLOAD
000010b3: DUP1
000010b4: SWAP2
000010b5: SUB
000010b6: SWAP1
000010b7: REVERT
000010b8: JUMPDEST
000010b9: PUSH0
000010ba: PUSH2 0x1166
000010bd: DUP4
000010be: PUSH1 0x40
000010c0: DUP1
000010c1: MLOAD
000010c2: PUSH1 0xc0
000010c4: DUP2
000010c5: ADD
000010c6: DUP3
000010c7: MSTORE
000010c8: PUSH0
000010c9: DUP1
000010ca: DUP3
000010cb: MSTORE
000010cc: PUSH1 0x20
000010ce: DUP3
000010cf: ADD
000010d0: DUP2
000010d1: SWAP1
000010d2: MSTORE
000010d3: SWAP2
000010d4: DUP2
000010d5: ADD
000010d6: DUP3
000010d7: SWAP1
000010d8: MSTORE
000010d9: PUSH1 0x60
000010db: DUP2
000010dc: ADD
000010dd: DUP3
000010de: SWAP1
000010df: MSTORE
000010e0: PUSH1 0x80
000010e2: DUP2
000010e3: ADD
000010e4: DUP3
000010e5: SWAP1
000010e6: MSTORE
000010e7: PUSH1 0xa0
000010e9: DUP2
000010ea: ADD
000010eb: SWAP2
000010ec: SWAP1
000010ed: SWAP2
000010ee: MSTORE
000010ef: POP
000010f0: PUSH8 0xffffffffffffffff
000010f9: SWAP1
000010fa: DUP2
000010fb: AND
000010fc: PUSH0
000010fd: SWAP1
000010fe: DUP2
000010ff: MSTORE
00001100: PUSH1 0x02
00001102: PUSH1 0x20
00001104: DUP2
00001105: DUP2
00001106: MSTORE
00001107: PUSH1 0x40
00001109: SWAP3
0000110a: DUP4
0000110b: SWAP1
0000110c: KECCAK256
0000110d: DUP4
0000110e: MLOAD
0000110f: PUSH1 0xc0
00001111: DUP2
00001112: ADD
00001113: DUP6
00001114: MSTORE
00001115: DUP2
00001116: SLOAD
00001117: DUP2
00001118: MSTORE
00001119: PUSH1 0x01
0000111b: DUP3
0000111c: ADD
0000111d: SLOAD
0000111e: SWAP3
0000111f: DUP2
00001120: ADD
00001121: SWAP3
00001122: SWAP1
00001123: SWAP3
00001124: MSTORE
00001125: SWAP2
00001126: DUP3
00001127: ADD
00001128: SLOAD
00001129: SWAP3
0000112a: DUP2
0000112b: ADD
0000112c: SWAP3
0000112d: SWAP1
0000112e: SWAP3
0000112f: MSTORE
00001130: PUSH1 0x03
00001132: ADD
00001133: SLOAD
00001134: PUSH3 0xffffff
00001138: DUP2
00001139: AND
0000113a: PUSH1 0x60
0000113c: DUP4
0000113d: ADD
0000113e: MSTORE
0000113f: PUSH4 0x01000000
00001144: DUP2
00001145: DIV
00001146: DUP4
00001147: AND
00001148: PUSH1 0x80
0000114a: DUP4
0000114b: ADD
0000114c: MSTORE
0000114d: PUSH12 0x010000000000000000000000
0000115a: SWAP1
0000115b: DIV
0000115c: SWAP1
0000115d: SWAP2
0000115e: AND
0000115f: PUSH1 0xa0
00001161: DUP3
00001162: ADD
00001163: MSTORE
00001164: SWAP1
00001165: JUMP
00001166: JUMPDEST
00001167: DUP3
00001168: MLOAD
00001169: SWAP1
0000116a: SWAP2
0000116b: POP
0000116c: PUSH0
0000116d: SWAP1
0000116e: DUP2
0000116f: SWAP1
00001170: ISZERO
00001171: PUSH2 0x1185
00001174: JUMPI
00001175: PUSH2 0x117f
00001178: DUP5
00001179: DUP5
0000117a: DUP10
0000117b: PUSH2 0x24ef
0000117e: JUMP
0000117f: JUMPDEST
00001180: SWAP1
00001181: SWAP3
00001182: POP
00001183: SWAP1
00001184: POP
00001185: JUMPDEST
00001186: PUSH1 0x40
00001188: DUP1
00001189: MLOAD
0000118a: PUSH1 0xc0
0000118c: DUP2
0000118d: ADD
0000118e: DUP3
0000118f: MSTORE
00001190: PUSH0
00001191: DUP1
00001192: DUP3
00001193: MSTORE
00001194: PUSH1 0x20
00001196: DUP3
00001197: ADD
00001198: DUP2
00001199: SWAP1
0000119a: MSTORE
0000119b: SWAP2
0000119c: DUP2
0000119d: ADD
0000119e: DUP3
0000119f: SWAP1
000011a0: MSTORE
000011a1: PUSH1 0x60
000011a3: DUP2
000011a4: ADD
000011a5: DUP3
000011a6: SWAP1
000011a7: MSTORE
000011a8: PUSH1 0x80
000011aa: DUP2
000011ab: ADD
000011ac: DUP3
000011ad: SWAP1
000011ae: MSTORE
000011af: PUSH1 0xa0
000011b1: DUP2
000011b2: ADD
000011b3: SWAP2
000011b4: SWAP1
000011b5: SWAP2
000011b6: MSTORE
000011b7: PUSH8 0xffffffffffffffff
000011c0: DUP11
000011c1: AND
000011c2: ISZERO
000011c3: PUSH2 0x13c1
000011c6: JUMPI
000011c7: PUSH1 0x40
000011c9: DUP1
000011ca: MLOAD
000011cb: PUSH1 0xc0
000011cd: DUP2
000011ce: ADD
000011cf: DUP3
000011d0: MSTORE
000011d1: PUSH0
000011d2: DUP1
000011d3: DUP3
000011d4: MSTORE
000011d5: PUSH1 0x20
000011d7: DUP3
000011d8: ADD
000011d9: DUP2
000011da: SWAP1
000011db: MSTORE
000011dc: SWAP2
000011dd: DUP2
000011de: ADD
000011df: DUP3
000011e0: SWAP1
000011e1: MSTORE
000011e2: PUSH1 0x60
000011e4: DUP2
000011e5: ADD
000011e6: DUP3
000011e7: SWAP1
000011e8: MSTORE
000011e9: PUSH1 0x80
000011eb: DUP2
000011ec: ADD
000011ed: DUP3
000011ee: SWAP1
000011ef: MSTORE
000011f0: PUSH1 0xa0
000011f2: DUP2
000011f3: ADD
000011f4: SWAP2
000011f5: SWAP1
000011f6: SWAP2
000011f7: MSTORE
000011f8: NUMBER
000011f9: DUP12
000011fa: PUSH8 0xffffffffffffffff
00001203: AND
00001204: SUB
00001205: PUSH2 0x120f
00001208: JUMPI
00001209: POP
0000120a: DUP9
0000120b: PUSH2 0x12bf
0000120e: JUMP
0000120f: JUMPDEST
00001210: PUSH2 0x12bc
00001213: DUP12
00001214: PUSH1 0x40
00001216: DUP1
00001217: MLOAD
00001218: PUSH1 0xc0
0000121a: DUP2
0000121b: ADD
0000121c: DUP3
0000121d: MSTORE
0000121e: PUSH0
0000121f: DUP1
00001220: DUP3
00001221: MSTORE
00001222: PUSH1 0x20
00001224: DUP3
00001225: ADD
00001226: DUP2
00001227: SWAP1
00001228: MSTORE
00001229: SWAP2
0000122a: DUP2
0000122b: ADD
0000122c: DUP3
0000122d: SWAP1
0000122e: MSTORE
0000122f: PUSH1 0x60
00001231: DUP2
00001232: ADD
00001233: DUP3
00001234: SWAP1
00001235: MSTORE
00001236: PUSH1 0x80
00001238: DUP2
00001239: ADD
0000123a: DUP3
0000123b: SWAP1
0000123c: MSTORE
0000123d: PUSH1 0xa0
0000123f: DUP2
00001240: ADD
00001241: SWAP2
00001242: SWAP1
00001243: SWAP2
00001244: MSTORE
00001245: POP
00001246: PUSH8 0xffffffffffffffff
0000124f: SWAP1
00001250: DUP2
00001251: AND
00001252: PUSH0
00001253: SWAP1
00001254: DUP2
00001255: MSTORE
00001256: PUSH1 0x02
00001258: PUSH1 0x20
0000125a: DUP2
0000125b: DUP2
0000125c: MSTORE
0000125d: PUSH1 0x40
0000125f: SWAP3
00001260: DUP4
00001261: SWAP1
00001262: KECCAK256
00001263: DUP4
00001264: MLOAD
00001265: PUSH1 0xc0
00001267: DUP2
00001268: ADD
00001269: DUP6
0000126a: MSTORE
0000126b: DUP2
0000126c: SLOAD
0000126d: DUP2
0000126e: MSTORE
0000126f: PUSH1 0x01
00001271: DUP3
00001272: ADD
00001273: SLOAD
00001274: SWAP3
00001275: DUP2
00001276: ADD
00001277: SWAP3
00001278: SWAP1
00001279: SWAP3
0000127a: MSTORE
0000127b: SWAP2
0000127c: DUP3
0000127d: ADD
0000127e: SLOAD
0000127f: SWAP3
00001280: DUP2
00001281: ADD
00001282: SWAP3
00001283: SWAP1
00001284: SWAP3
00001285: MSTORE
00001286: PUSH1 0x03
00001288: ADD
00001289: SLOAD
0000128a: PUSH3 0xffffff
0000128e: DUP2
0000128f: AND
00001290: PUSH1 0x60
00001292: DUP4
00001293: ADD
00001294: MSTORE
00001295: PUSH4 0x01000000
0000129a: DUP2
0000129b: DIV
0000129c: DUP4
0000129d: AND
0000129e: PUSH1 0x80
000012a0: DUP4
000012a1: ADD
000012a2: MSTORE
000012a3: PUSH12 0x010000000000000000000000
000012b0: SWAP1
000012b1: DIV
000012b2: SWAP1
000012b3: SWAP2
000012b4: AND
000012b5: PUSH1 0xa0
000012b7: DUP3
000012b8: ADD
000012b9: MSTORE
000012ba: SWAP1
000012bb: JUMP
000012bc: JUMPDEST
000012bd: SWAP1
000012be: POP
000012bf: JUMPDEST
000012c0: PUSH2 0x1370
000012c3: DUP2
000012c4: PUSH1 0x80
000012c6: ADD
000012c7: MLOAD
000012c8: PUSH1 0x40
000012ca: DUP1
000012cb: MLOAD
000012cc: PUSH1 0xc0
000012ce: DUP2
000012cf: ADD
000012d0: DUP3
000012d1: MSTORE
000012d2: PUSH0
000012d3: DUP1
000012d4: DUP3
000012d5: MSTORE
000012d6: PUSH1 0x20
000012d8: DUP3
000012d9: ADD
000012da: DUP2
000012db: SWAP1
000012dc: MSTORE
000012dd: SWAP2
000012de: DUP2
000012df: ADD
000012e0: DUP3
000012e1: SWAP1
000012e2: MSTORE
000012e3: PUSH1 0x60
000012e5: DUP2
000012e6: ADD
000012e7: DUP3
000012e8: SWAP1
000012e9: MSTORE
000012ea: PUSH1 0x80
000012ec: DUP2
000012ed: ADD
000012ee: DUP3
000012ef: SWAP1
000012f0: MSTORE
000012f1: PUSH1 0xa0
000012f3: DUP2
000012f4: ADD
000012f5: SWAP2
000012f6: SWAP1
000012f7: SWAP2
000012f8: MSTORE
000012f9: POP
000012fa: PUSH8 0xffffffffffffffff
00001303: SWAP1
00001304: DUP2
00001305: AND
00001306: PUSH0
00001307: SWAP1
00001308: DUP2
00001309: MSTORE
0000130a: PUSH1 0x02
0000130c: PUSH1 0x20
0000130e: DUP2
0000130f: DUP2
00001310: MSTORE
00001311: PUSH1 0x40
00001313: SWAP3
00001314: DUP4
00001315: SWAP1
00001316: KECCAK256
00001317: DUP4
00001318: MLOAD
00001319: PUSH1 0xc0
0000131b: DUP2
0000131c: ADD
0000131d: DUP6
0000131e: MSTORE
0000131f: DUP2
00001320: SLOAD
00001321: DUP2
00001322: MSTORE
00001323: PUSH1 0x01
00001325: DUP3
00001326: ADD
00001327: SLOAD
00001328: SWAP3
00001329: DUP2
0000132a: ADD
0000132b: SWAP3
0000132c: SWAP1
0000132d: SWAP3
0000132e: MSTORE
0000132f: SWAP2
00001330: DUP3
00001331: ADD
00001332: SLOAD
00001333: SWAP3
00001334: DUP2
00001335: ADD
00001336: SWAP3
00001337: SWAP1
00001338: SWAP3
00001339: MSTORE
0000133a: PUSH1 0x03
0000133c: ADD
0000133d: SLOAD
0000133e: PUSH3 0xffffff
00001342: DUP2
00001343: AND
00001344: PUSH1 0x60
00001346: DUP4
00001347: ADD
00001348: MSTORE
00001349: PUSH4 0x01000000
0000134e: DUP2
0000134f: DIV
00001350: DUP4
00001351: AND
00001352: PUSH1 0x80
00001354: DUP4
00001355: ADD
00001356: MSTORE
00001357: PUSH12 0x010000000000000000000000
00001364: SWAP1
00001365: DIV
00001366: SWAP1
00001367: SWAP2
00001368: AND
00001369: PUSH1 0xa0
0000136b: DUP3
0000136c: ADD
0000136d: MSTORE
0000136e: SWAP1
0000136f: JUMP
00001370: JUMPDEST
00001371: SWAP2
00001372: POP
00001373: DUP8
00001374: DUP2
00001375: PUSH0
00001376: ADD
00001377: MLOAD
00001378: GT
00001379: ISZERO
0000137a: DUP1
0000137b: PUSH2 0x1384
0000137e: JUMPI
0000137f: POP
00001380: DUP2
00001381: MLOAD
00001382: DUP9
00001383: LT
00001384: JUMPDEST
00001385: ISZERO
00001386: PUSH2 0x13bb
00001389: JUMPI
0000138a: PUSH1 0x40
0000138c: MLOAD
0000138d: PUSH32 0x516cb4ba00000000000000000000000000000000000000000000000000000000
000013ae: DUP2
000013af: MSTORE
000013b0: PUSH1 0x04
000013b2: ADD
000013b3: PUSH1 0x40
000013b5: MLOAD
000013b6: DUP1
000013b7: SWAP2
000013b8: SUB
000013b9: SWAP1
000013ba: REVERT
000013bb: JUMPDEST
000013bc: POP
000013bd: PUSH2 0x1462
000013c0: JUMP
000013c1: JUMPDEST
000013c2: PUSH32 0x00000000000000000000000000000000000000000000000000000000016d874c
000013e3: PUSH8 0xffffffffffffffff
000013ec: AND
000013ed: NUMBER
000013ee: LT
000013ef: ISZERO
000013f0: PUSH2 0x1425
000013f3: JUMPI
000013f4: PUSH1 0x40
000013f6: MLOAD
000013f7: PUSH32 0xe08d8a4f00000000000000000000000000000000000000000000000000000000
00001418: DUP2
00001419: MSTORE
0000141a: PUSH1 0x04
0000141c: ADD
0000141d: PUSH1 0x40
0000141f: MLOAD
00001420: DUP1
00001421: SWAP2
00001422: SUB
00001423: SWAP1
00001424: REVERT
00001425: JUMPDEST
00001426: POP
00001427: DUP8
00001428: MLOAD
00001429: DUP9
0000142a: SWAP1
0000142b: DUP8
0000142c: EQ
0000142d: PUSH2 0x1462
00001430: JUMPI
00001431: PUSH1 0x40
00001433: MLOAD
00001434: PUSH32 0x0ba9845700000000000000000000000000000000000000000000000000000000
00001455: DUP2
00001456: MSTORE
00001457: PUSH1 0x04
00001459: ADD
0000145a: PUSH1 0x40
0000145c: MLOAD
0000145d: DUP1
0000145e: SWAP2
0000145f: SUB
00001460: SWAP1
00001461: REVERT
00001462: JUMPDEST
00001463: DUP1
00001464: MLOAD
00001465: DUP8
00001466: SWAP1
00001467: SUB
00001468: PUSH2 0x14ad
0000146b: JUMPI
0000146c: PUSH0
0000146d: PUSH2 0x1475
00001470: DUP9
00001471: PUSH2 0x2509
00001474: JUMP
00001475: JUMPDEST
00001476: PUSH1 0x01
00001478: ADD
00001479: SLOAD
0000147a: SWAP1
0000147b: POP
0000147c: PUSH0
0000147d: DUP1
0000147e: PUSH2 0x148c
00001481: DUP12
00001482: DUP5
00001483: DUP7
00001484: PUSH1 0x20
00001486: ADD
00001487: MLOAD
00001488: PUSH2 0x257c
0000148b: JUMP
0000148c: JUMPDEST
0000148d: SWAP1
0000148e: SWAP3
0000148f: POP
00001490: SWAP1
00001491: POP
00001492: PUSH2 0x149b
00001495: DUP3
00001496: DUP8
00001497: PUSH2 0x41e7
0000149a: JUMP
0000149b: JUMPDEST
0000149c: SWAP6
0000149d: POP
0000149e: PUSH2 0x14a7
000014a1: DUP2
000014a2: DUP7
000014a3: PUSH2 0x41e7
000014a6: JUMP
000014a7: JUMPDEST
000014a8: SWAP5
000014a9: POP
000014aa: POP
000014ab: POP
000014ac: POP
000014ad: JUMPDEST
000014ae: PUSH2 0x14b8
000014b1: DUP13
000014b2: DUP5
000014b3: DUP5
000014b4: PUSH2 0x23c4
000014b7: JUMP
000014b8: JUMPDEST
000014b9: POP
000014ba: POP
000014bb: POP
000014bc: POP
000014bd: POP
000014be: POP
000014bf: POP
000014c0: POP
000014c1: POP
000014c2: POP
000014c3: POP
000014c4: POP
000014c5: JUMP
000014c6: JUMPDEST
000014c7: PUSH0
000014c8: PUSH2 0x14f1
000014cb: PUSH2 0x14ec
000014ce: PUSH13 0x01000000000000000000000000
000014dc: PUSH1 0x0b
000014de: SLOAD
000014df: PUSH2 0x2589
000014e2: SWAP1
000014e3: SWAP2
000014e4: SWAP1
000014e5: PUSH4 0xffffffff
000014ea: AND
000014eb: JUMP
000014ec: JUMPDEST
000014ed: PUSH2 0x259d
000014f0: JUMP
000014f1: JUMPDEST
000014f2: SWAP1
000014f3: POP
000014f4: SWAP1
000014f5: JUMP
000014f6: JUMPDEST
000014f7: PUSH1 0x40
000014f9: DUP1
000014fa: MLOAD
000014fb: PUSH1 0xe0
000014fd: DUP2
000014fe: ADD
000014ff: DUP3
00001500: MSTORE
00001501: PUSH0
00001502: DUP1
00001503: DUP3
00001504: MSTORE
00001505: PUSH1 0x20
00001507: DUP3
00001508: ADD
00001509: DUP2
0000150a: SWAP1
0000150b: MSTORE
0000150c: SWAP2
0000150d: DUP2
0000150e: ADD
0000150f: DUP3
00001510: SWAP1
00001511: MSTORE
00001512: PUSH1 0x60
00001514: DUP2
00001515: ADD
00001516: DUP3
00001517: SWAP1
00001518: MSTORE
00001519: PUSH1 0x80
0000151b: DUP2
0000151c: ADD
0000151d: DUP3
0000151e: SWAP1
0000151f: MSTORE
00001520: PUSH1 0xa0
00001522: DUP2
00001523: ADD
00001524: DUP3
00001525: SWAP1
00001526: MSTORE
00001527: PUSH1 0xc0
00001529: DUP2
0000152a: ADD
0000152b: SWAP2
0000152c: SWAP1
0000152d: SWAP2
0000152e: MSTORE
0000152f: PUSH2 0x1537
00001532: DUP3
00001533: PUSH2 0x2375
00001536: JUMP
00001537: JUMPDEST
00001538: PUSH1 0x40
0000153a: DUP1
0000153b: MLOAD
0000153c: PUSH1 0xe0
0000153e: DUP2
0000153f: ADD
00001540: DUP3
00001541: MSTORE
00001542: DUP3
00001543: SLOAD
00001544: PUSH8 0xffffffffffffffff
0000154d: DUP1
0000154e: DUP3
0000154f: AND
00001550: DUP4
00001551: MSTORE
00001552: PUSH3 0xffffff
00001556: PUSH9 0x010000000000000000
00001560: DUP4
00001561: DIV
00001562: AND
00001563: PUSH1 0x20
00001565: DUP5
00001566: ADD
00001567: MSTORE
00001568: PUSH12 0x010000000000000000000000
00001575: SWAP1
00001576: SWAP2
00001577: DIV
00001578: AND
00001579: SWAP2
0000157a: DUP2
0000157b: ADD
0000157c: SWAP2
0000157d: SWAP1
0000157e: SWAP2
0000157f: MSTORE
00001580: PUSH1 0x01
00001582: DUP3
00001583: ADD
00001584: SLOAD
00001585: PUSH1 0x60
00001587: DUP3
00001588: ADD
00001589: MSTORE
0000158a: PUSH1 0x02
0000158c: DUP3
0000158d: ADD
0000158e: SLOAD
0000158f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015a4: AND
000015a5: PUSH1 0x80
000015a7: DUP3
000015a8: ADD
000015a9: MSTORE
000015aa: PUSH1 0x03
000015ac: DUP3
000015ad: ADD
000015ae: SLOAD
000015af: PUSH1 0xa0
000015b1: DUP3
000015b2: ADD
000015b3: MSTORE
000015b4: PUSH1 0x04
000015b6: SWAP1
000015b7: SWAP2
000015b8: ADD
000015b9: SLOAD
000015ba: PUSH1 0xc0
000015bc: DUP3
000015bd: ADD
000015be: MSTORE
000015bf: SWAP3
000015c0: SWAP2
000015c1: POP
000015c2: POP
000015c3: JUMP
000015c4: JUMPDEST
000015c5: PUSH32 0x00000000000000000000000000000000000000000000000000000000016d874c
000015e6: PUSH8 0xffffffffffffffff
000015ef: AND
000015f0: NUMBER
000015f1: LT
000015f2: ISZERO
000015f3: PUSH2 0x1628
000015f6: JUMPI
000015f7: PUSH1 0x40
000015f9: MLOAD
000015fa: PUSH32 0x6247a84e00000000000000000000000000000000000000000000000000000000
0000161b: DUP2
0000161c: MSTORE
0000161d: PUSH1 0x04
0000161f: ADD
00001620: PUSH1 0x40
00001622: MLOAD
00001623: DUP1
00001624: SWAP2
00001625: SUB
00001626: SWAP1
00001627: REVERT
00001628: JUMPDEST
00001629: PUSH1 0x03
0000162b: SLOAD
0000162c: PUSH32 0x00000000000000000000000000000000000000000000000000000000016d874c
0000164d: PUSH8 0xffffffffffffffff
00001656: SWAP1
00001657: DUP2
00001658: AND
00001659: SWAP2
0000165a: AND
0000165b: EQ
0000165c: PUSH2 0x1669
0000165f: JUMPI
00001660: PUSH2 0x1667
00001663: PUSH2 0x22f9
00001666: JUMP
00001667: JUMPDEST
00001668: POP
00001669: JUMPDEST
0000166a: PUSH1 0x0a
0000166c: SLOAD
0000166d: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000000
0000168e: GT
0000168f: ISZERO
00001690: PUSH2 0x16c5
00001693: JUMPI
00001694: PUSH1 0x40
00001696: MLOAD
00001697: PUSH32 0xd66173a500000000000000000000000000000000000000000000000000000000
000016b8: DUP2
000016b9: MSTORE
000016ba: PUSH1 0x04
000016bc: ADD
000016bd: PUSH1 0x40
000016bf: MLOAD
000016c0: DUP1
000016c1: SWAP2
000016c2: SUB
000016c3: SWAP1
000016c4: REVERT
000016c5: JUMPDEST
000016c6: PUSH0
000016c7: DUP1
000016c8: PUSH2 0x16d0
000016cb: DUP4
000016cc: PUSH2 0x25ab
000016cf: JUMP
000016d0: JUMPDEST
000016d1: SWAP1
000016d2: SWAP3
000016d3: POP
000016d4: SWAP1
000016d5: POP
000016d6: DUP1
000016d7: ISZERO
000016d8: PUSH2 0x176e
000016db: JUMPI
000016dc: PUSH2 0x171c
000016df: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016f4: PUSH32 0x0000000000000000000000004b00c30ceba3f188407c6e6741cc5b43561f1f6e
00001715: AND
00001716: DUP4
00001717: DUP4
00001718: PUSH2 0x263e
0000171b: JUMP
0000171c: JUMPDEST
0000171d: DUP2
0000171e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001733: AND
00001734: DUP4
00001735: PUSH32 0x880f2ef2613b092f1a0a819f294155c98667eb294b7e6bf7a3810278142c1a1c
00001756: DUP4
00001757: PUSH1 0x40
00001759: MLOAD
0000175a: PUSH2 0x1765
0000175d: SWAP2
0000175e: DUP2
0000175f: MSTORE
00001760: PUSH1 0x20
00001762: ADD
00001763: SWAP1
00001764: JUMP
00001765: JUMPDEST
00001766: PUSH1 0x40
00001768: MLOAD
00001769: DUP1
0000176a: SWAP2
0000176b: SUB
0000176c: SWAP1
0000176d: LOG3
0000176e: JUMPDEST
0000176f: POP
00001770: POP
00001771: POP
00001772: JUMP
00001773: JUMPDEST
00001774: PUSH1 0x40
00001776: DUP1
00001777: MLOAD
00001778: DUP1
00001779: DUP3
0000177a: ADD
0000177b: SWAP1
0000177c: SWAP2
0000177d: MSTORE
0000177e: PUSH0
0000177f: DUP1
00001780: DUP3
00001781: MSTORE
00001782: PUSH1 0x20
00001784: DUP3
00001785: ADD
00001786: MSTORE
00001787: PUSH2 0x178f
0000178a: DUP3
0000178b: PUSH2 0x2509
0000178e: JUMP
0000178f: JUMPDEST
00001790: PUSH1 0x40
00001792: DUP1
00001793: MLOAD
00001794: DUP1
00001795: DUP3
00001796: ADD
00001797: SWAP1
00001798: SWAP2
00001799: MSTORE
0000179a: DUP2
0000179b: SLOAD
0000179c: DUP2
0000179d: MSTORE
0000179e: PUSH1 0x01
000017a0: SWAP1
000017a1: SWAP2
000017a2: ADD
000017a3: SLOAD
000017a4: PUSH1 0x20
000017a6: DUP3
000017a7: ADD
000017a8: MSTORE
000017a9: SWAP3
000017aa: SWAP2
000017ab: POP
000017ac: POP
000017ad: JUMP
000017ae: JUMPDEST
000017af: PUSH32 0x00000000000000000000000000000000000000000000000000000000016d874c
000017d0: PUSH8 0xffffffffffffffff
000017d9: AND
000017da: NUMBER
000017db: LT
000017dc: ISZERO
000017dd: PUSH2 0x1811
000017e0: JUMPI
000017e1: PUSH1 0x40
000017e3: MLOAD
000017e4: PUSH31 0x175ba800000000000000000000000000000000000000000000000000000000
00001804: DUP2
00001805: MSTORE
00001806: PUSH1 0x04
00001808: ADD
00001809: PUSH1 0x40
0000180b: MLOAD
0000180c: DUP1
0000180d: SWAP2
0000180e: SUB
0000180f: SWAP1
00001810: REVERT
00001811: JUMPDEST
00001812: PUSH1 0x03
00001814: SLOAD
00001815: PUSH32 0x00000000000000000000000000000000000000000000000000000000016d874c
00001836: PUSH8 0xffffffffffffffff
0000183f: SWAP1
00001840: DUP2
00001841: AND
00001842: SWAP2
00001843: AND
00001844: EQ
00001845: PUSH2 0x1852
00001848: JUMPI
00001849: PUSH2 0x1850
0000184c: PUSH2 0x22f9
0000184f: JUMP
00001850: JUMPDEST
00001851: POP
00001852: JUMPDEST
00001853: PUSH1 0x09
00001855: SLOAD
00001856: ISZERO
00001857: PUSH2 0x188c
0000185a: JUMPI
0000185b: PUSH1 0x40
0000185d: MLOAD
0000185e: PUSH32 0x8fd6c3f900000000000000000000000000000000000000000000000000000000
0000187f: DUP2
00001880: MSTORE
00001881: PUSH1 0x04
00001883: ADD
00001884: PUSH1 0x40
00001886: MLOAD
00001887: DUP1
00001888: SWAP2
00001889: SUB
0000188a: SWAP1
0000188b: REVERT
0000188c: JUMPDEST
0000188d: PUSH0
0000188e: PUSH2 0x18b9
00001891: PUSH1 0x0a
00001893: SLOAD
00001894: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000000
000018b5: GT
000018b6: ISZERO
000018b7: SWAP1
000018b8: JUMP
000018b9: JUMPDEST
000018ba: ISZERO
000018bb: PUSH2 0x1914
000018be: JUMPI
000018bf: PUSH2 0x190d
000018c2: PUSH2 0x14ec
000018c5: PUSH13 0x01000000000000000000000000
000018d3: PUSH2 0x1907
000018d6: PUSH1 0x0b
000018d8: SLOAD
000018d9: PUSH2 0x1901
000018dc: PUSH32 0x000000000000000004ffa5fe0ab05ffbeb000000000000000000000000000000
000018fd: PUSH2 0x2749
00001900: JUMP
00001901: JUMPDEST
00001902: SWAP1
00001903: PUSH2 0x2757
00001906: JUMP
00001907: JUMPDEST
00001908: SWAP1
00001909: PUSH2 0x2589
0000190c: JUMP
0000190d: JUMPDEST
0000190e: SWAP1
0000190f: POP
00001910: PUSH2 0x1949
00001913: JUMP
00001914: JUMPDEST
00001915: POP
00001916: PUSH16 0xffffffffffffffffffffffffffffffff
00001927: PUSH32 0x000000000000000000000000000000000000000004ffa5fe0ab05ffbeb000000
00001948: AND
00001949: JUMPDEST
0000194a: PUSH2 0x1952
0000194d: DUP2
0000194e: PUSH2 0x2762
00001951: JUMP
00001952: JUMPDEST
00001953: POP
00001954: JUMP
00001955: JUMPDEST
00001956: PUSH32 0x00000000000000000000000000000000000000000000000000000000016d874c
00001977: PUSH8 0xffffffffffffffff
00001980: AND
00001981: NUMBER
00001982: LT
00001983: ISZERO
00001984: PUSH2 0x19b8
00001987: JUMPI
00001988: PUSH1 0x40
0000198a: MLOAD
0000198b: PUSH31 0x175ba800000000000000000000000000000000000000000000000000000000
000019ab: DUP2
000019ac: MSTORE
000019ad: PUSH1 0x04
000019af: ADD
000019b0: PUSH1 0x40
000019b2: MLOAD
000019b3: DUP1
000019b4: SWAP2
000019b5: SUB
000019b6: SWAP1
000019b7: REVERT
000019b8: JUMPDEST
000019b9: PUSH1 0x03
000019bb: SLOAD
000019bc: PUSH32 0x00000000000000000000000000000000000000000000000000000000016d874c
000019dd: PUSH8 0xffffffffffffffff
000019e6: SWAP1
000019e7: DUP2
000019e8: AND
000019e9: SWAP2
000019ea: AND
000019eb: EQ
000019ec: PUSH2 0x19f9
000019ef: JUMPI
000019f0: PUSH2 0x19f7
000019f3: PUSH2 0x22f9
000019f6: JUMP
000019f7: JUMPDEST
000019f8: POP
000019f9: JUMPDEST
000019fa: PUSH1 0x08
000019fc: SLOAD
000019fd: ISZERO
000019fe: PUSH2 0x1a33
00001a01: JUMPI
00001a02: PUSH1 0x40
00001a04: MLOAD
00001a05: PUSH32 0x76ae8ed700000000000000000000000000000000000000000000000000000000
00001a26: DUP2
00001a27: MSTORE
00001a28: PUSH1 0x04
00001a2a: ADD
00001a2b: PUSH1 0x40
00001a2d: MLOAD
00001a2e: DUP1
00001a2f: SWAP2
00001a30: SUB
00001a31: SWAP1
00001a32: REVERT
00001a33: JUMPDEST
00001a34: PUSH1 0x0a
00001a36: SLOAD
00001a37: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000000
00001a58: GT
00001a59: ISZERO
00001a5a: PUSH2 0x1a8f
00001a5d: JUMPI
00001a5e: PUSH1 0x40
00001a60: MLOAD
00001a61: PUSH32 0xd66173a500000000000000000000000000000000000000000000000000000000
00001a82: DUP2
00001a83: MSTORE
00001a84: PUSH1 0x04
00001a86: ADD
00001a87: PUSH1 0x40
00001a89: MLOAD
00001a8a: DUP1
00001a8b: SWAP2
00001a8c: SUB
00001a8d: SWAP1
00001a8e: REVERT
00001a8f: JUMPDEST
00001a90: PUSH2 0x1a9f
00001a93: PUSH2 0x1a9a
00001a96: PUSH2 0x2840
00001a99: JUMP
00001a9a: JUMPDEST
00001a9b: PUSH2 0x2866
00001a9e: JUMP
00001a9f: JUMPDEST
00001aa0: JUMP
00001aa1: JUMPDEST
00001aa2: PUSH32 0x00000000000000000000000000000000000000000000000000000000016d874c
00001ac3: PUSH8 0xffffffffffffffff
00001acc: AND
00001acd: NUMBER
00001ace: LT
00001acf: ISZERO
00001ad0: PUSH2 0x1b04
00001ad3: JUMPI
00001ad4: PUSH1 0x40
00001ad6: MLOAD
00001ad7: PUSH31 0x175ba800000000000000000000000000000000000000000000000000000000
00001af7: DUP2
00001af8: MSTORE
00001af9: PUSH1 0x04
00001afb: ADD
00001afc: PUSH1 0x40
00001afe: MLOAD
00001aff: DUP1
00001b00: SWAP2
00001b01: SUB
00001b02: SWAP1
00001b03: REVERT
00001b04: JUMPDEST
00001b05: PUSH0
00001b06: PUSH2 0x1b0e
00001b09: DUP3
00001b0a: PUSH2 0x2375
00001b0d: JUMP
00001b0e: JUMPDEST
00001b0f: PUSH1 0x40
00001b11: DUP1
00001b12: MLOAD
00001b13: PUSH1 0xe0
00001b15: DUP2
00001b16: ADD
00001b17: DUP3
00001b18: MSTORE
00001b19: DUP3
00001b1a: SLOAD
00001b1b: PUSH8 0xffffffffffffffff
00001b24: DUP1
00001b25: DUP3
00001b26: AND
00001b27: DUP4
00001b28: MSTORE
00001b29: PUSH3 0xffffff
00001b2d: PUSH9 0x010000000000000000
00001b37: DUP4
00001b38: DIV
00001b39: AND
00001b3a: PUSH1 0x20
00001b3c: DUP5
00001b3d: ADD
00001b3e: MSTORE
00001b3f: PUSH12 0x010000000000000000000000
00001b4c: SWAP1
00001b4d: SWAP2
00001b4e: DIV
00001b4f: AND
00001b50: SWAP2
00001b51: DUP2
00001b52: ADD
00001b53: DUP3
00001b54: SWAP1
00001b55: MSTORE
00001b56: PUSH1 0x01
00001b58: DUP4
00001b59: ADD
00001b5a: SLOAD
00001b5b: PUSH1 0x60
00001b5d: DUP3
00001b5e: ADD
00001b5f: MSTORE
00001b60: PUSH1 0x02
00001b62: DUP4
00001b63: ADD
00001b64: SLOAD
00001b65: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b7a: AND
00001b7b: PUSH1 0x80
00001b7d: DUP3
00001b7e: ADD
00001b7f: MSTORE
00001b80: PUSH1 0x03
00001b82: DUP4
00001b83: ADD
00001b84: SLOAD
00001b85: PUSH1 0xa0
00001b87: DUP3
00001b88: ADD
00001b89: MSTORE
00001b8a: PUSH1 0x04
00001b8c: SWAP1
00001b8d: SWAP3
00001b8e: ADD
00001b8f: SLOAD
00001b90: PUSH1 0xc0
00001b92: DUP4
00001b93: ADD
00001b94: MSTORE
00001b95: SWAP1
00001b96: SWAP2
00001b97: POP
00001b98: ISZERO
00001b99: PUSH2 0x1bce
00001b9c: JUMPI
00001b9d: PUSH1 0x40
00001b9f: MLOAD
00001ba0: PUSH32 0x3458822100000000000000000000000000000000000000000000000000000000
00001bc1: DUP2
00001bc2: MSTORE
00001bc3: PUSH1 0x04
00001bc5: ADD
00001bc6: PUSH1 0x40
00001bc8: MLOAD
00001bc9: DUP1
00001bca: SWAP2
00001bcb: SUB
00001bcc: SWAP1
00001bcd: REVERT
00001bce: JUMPDEST
00001bcf: PUSH0
00001bd0: PUSH2 0x1bd7
00001bd3: PUSH2 0x2939
00001bd6: JUMP
00001bd7: JUMPDEST
00001bd8: SWAP1
00001bd9: POP
00001bda: PUSH2 0x1c05
00001bdd: PUSH1 0x0a
00001bdf: SLOAD
00001be0: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000000
00001c01: GT
00001c02: ISZERO
00001c03: SWAP1
00001c04: JUMP
00001c05: JUMPDEST
00001c06: PUSH2 0x1c14
00001c09: JUMPI
00001c0a: PUSH2 0x176e
00001c0d: DUP4
00001c0e: PUSH0
00001c0f: DUP1
00001c10: PUSH2 0x23c4
00001c13: JUMP
00001c14: JUMPDEST
00001c15: DUP1
00001c16: MLOAD
00001c17: PUSH1 0x60
00001c19: DUP4
00001c1a: ADD
00001c1b: MLOAD
00001c1c: GT
00001c1d: PUSH2 0x1c52
00001c20: JUMPI
00001c21: PUSH1 0x40
00001c23: MLOAD
00001c24: PUSH32 0x0ba9845700000000000000000000000000000000000000000000000000000000
00001c45: DUP2
00001c46: MSTORE
00001c47: PUSH1 0x04
00001c49: ADD
00001c4a: PUSH1 0x40
00001c4c: MLOAD
00001c4d: DUP1
00001c4e: SWAP2
00001c4f: SUB
00001c50: SWAP1
00001c51: REVERT
00001c52: JUMPDEST
00001c53: PUSH0
00001c54: PUSH2 0x1d03
00001c57: DUP4
00001c58: PUSH0
00001c59: ADD
00001c5a: MLOAD
00001c5b: PUSH1 0x40
00001c5d: DUP1
00001c5e: MLOAD
00001c5f: PUSH1 0xc0
00001c61: DUP2
00001c62: ADD
00001c63: DUP3
00001c64: MSTORE
00001c65: PUSH0
00001c66: DUP1
00001c67: DUP3
00001c68: MSTORE
00001c69: PUSH1 0x20
00001c6b: DUP3
00001c6c: ADD
00001c6d: DUP2
00001c6e: SWAP1
00001c6f: MSTORE
00001c70: SWAP2
00001c71: DUP2
00001c72: ADD
00001c73: DUP3
00001c74: SWAP1
00001c75: MSTORE
00001c76: PUSH1 0x60
00001c78: DUP2
00001c79: ADD
00001c7a: DUP3
00001c7b: SWAP1
00001c7c: MSTORE
00001c7d: PUSH1 0x80
00001c7f: DUP2
00001c80: ADD
00001c81: DUP3
00001c82: SWAP1
00001c83: MSTORE
00001c84: PUSH1 0xa0
00001c86: DUP2
00001c87: ADD
00001c88: SWAP2
00001c89: SWAP1
00001c8a: SWAP2
00001c8b: MSTORE
00001c8c: POP
00001c8d: PUSH8 0xffffffffffffffff
00001c96: SWAP1
00001c97: DUP2
00001c98: AND
00001c99: PUSH0
00001c9a: SWAP1
00001c9b: DUP2
00001c9c: MSTORE
00001c9d: PUSH1 0x02
00001c9f: PUSH1 0x20
00001ca1: DUP2
00001ca2: DUP2
00001ca3: MSTORE
00001ca4: PUSH1 0x40
00001ca6: SWAP3
00001ca7: DUP4
00001ca8: SWAP1
00001ca9: KECCAK256
00001caa: DUP4
00001cab: MLOAD
00001cac: PUSH1 0xc0
00001cae: DUP2
00001caf: ADD
00001cb0: DUP6
00001cb1: MSTORE
00001cb2: DUP2
00001cb3: SLOAD
00001cb4: DUP2
00001cb5: MSTORE
00001cb6: PUSH1 0x01
00001cb8: DUP3
00001cb9: ADD
00001cba: SLOAD
00001cbb: SWAP3
00001cbc: DUP2
00001cbd: ADD
00001cbe: SWAP3
00001cbf: SWAP1
00001cc0: SWAP3
00001cc1: MSTORE
00001cc2: SWAP2
00001cc3: DUP3
00001cc4: ADD
00001cc5: SLOAD
00001cc6: SWAP3
00001cc7: DUP2
00001cc8: ADD
00001cc9: SWAP3
00001cca: SWAP1
00001ccb: SWAP3
00001ccc: MSTORE
00001ccd: PUSH1 0x03
00001ccf: ADD
00001cd0: SLOAD
00001cd1: PUSH3 0xffffff
00001cd5: DUP2
00001cd6: AND
00001cd7: PUSH1 0x60
00001cd9: DUP4
00001cda: ADD
00001cdb: MSTORE
00001cdc: PUSH4 0x01000000
00001ce1: DUP2
00001ce2: DIV
00001ce3: DUP4
00001ce4: AND
00001ce5: PUSH1 0x80
00001ce7: DUP4
00001ce8: ADD
00001ce9: MSTORE
00001cea: PUSH12 0x010000000000000000000000
00001cf7: SWAP1
00001cf8: DIV
00001cf9: SWAP1
00001cfa: SWAP2
00001cfb: AND
00001cfc: PUSH1 0xa0
00001cfe: DUP3
00001cff: ADD
00001d00: MSTORE
00001d01: SWAP1
00001d02: JUMP
00001d03: JUMPDEST
00001d04: SWAP1
00001d05: POP
00001d06: PUSH0
00001d07: DUP1
00001d08: PUSH2 0x1d12
00001d0b: DUP5
00001d0c: DUP5
00001d0d: DUP8
00001d0e: PUSH2 0x24ef
00001d11: JUMP
00001d12: JUMPDEST
00001d13: SWAP2
00001d14: POP
00001d15: SWAP2
00001d16: POP
00001d17: PUSH2 0x1d21
00001d1a: DUP7
00001d1b: DUP4
00001d1c: DUP4
00001d1d: PUSH2 0x23c4
00001d20: JUMP
00001d21: JUMPDEST
00001d22: POP
00001d23: POP
00001d24: POP
00001d25: POP
00001d26: POP
00001d27: POP
00001d28: JUMP
00001d29: JUMPDEST
00001d2a: PUSH1 0x40
00001d2c: DUP1
00001d2d: MLOAD
00001d2e: PUSH1 0xc0
00001d30: DUP2
00001d31: ADD
00001d32: DUP3
00001d33: MSTORE
00001d34: PUSH0
00001d35: DUP1
00001d36: DUP3
00001d37: MSTORE
00001d38: PUSH1 0x20
00001d3a: DUP3
00001d3b: ADD
00001d3c: DUP2
00001d3d: SWAP1
00001d3e: MSTORE
00001d3f: SWAP2
00001d40: DUP2
00001d41: ADD
00001d42: DUP3
00001d43: SWAP1
00001d44: MSTORE
00001d45: PUSH1 0x60
00001d47: DUP2
00001d48: ADD
00001d49: DUP3
00001d4a: SWAP1
00001d4b: MSTORE
00001d4c: PUSH1 0x80
00001d4e: DUP2
00001d4f: ADD
00001d50: DUP3
00001d51: SWAP1
00001d52: MSTORE
00001d53: PUSH1 0xa0
00001d55: DUP2
00001d56: ADD
00001d57: SWAP2
00001d58: SWAP1
00001d59: SWAP2
00001d5a: MSTORE
00001d5b: PUSH1 0x03
00001d5d: SLOAD
00001d5e: PUSH2 0x14f1
00001d61: SWAP1
00001d62: PUSH8 0xffffffffffffffff
00001d6b: AND
00001d6c: PUSH1 0x40
00001d6e: DUP1
00001d6f: MLOAD
00001d70: PUSH1 0xc0
00001d72: DUP2
00001d73: ADD
00001d74: DUP3
00001d75: MSTORE
00001d76: PUSH0
00001d77: DUP1
00001d78: DUP3
00001d79: MSTORE
00001d7a: PUSH1 0x20
00001d7c: DUP3
00001d7d: ADD
00001d7e: DUP2
00001d7f: SWAP1
00001d80: MSTORE
00001d81: SWAP2
00001d82: DUP2
00001d83: ADD
00001d84: DUP3
00001d85: SWAP1
00001d86: MSTORE
00001d87: PUSH1 0x60
00001d89: DUP2
00001d8a: ADD
00001d8b: DUP3
00001d8c: SWAP1
00001d8d: MSTORE
00001d8e: PUSH1 0x80
00001d90: DUP2
00001d91: ADD
00001d92: DUP3
00001d93: SWAP1
00001d94: MSTORE
00001d95: PUSH1 0xa0
00001d97: DUP2
00001d98: ADD
00001d99: SWAP2
00001d9a: SWAP1
00001d9b: SWAP2
00001d9c: MSTORE
00001d9d: POP
00001d9e: PUSH8 0xffffffffffffffff
00001da7: SWAP1
00001da8: DUP2
00001da9: AND
00001daa: PUSH0
00001dab: SWAP1
00001dac: DUP2
00001dad: MSTORE
00001dae: PUSH1 0x02
00001db0: PUSH1 0x20
00001db2: DUP2
00001db3: DUP2
00001db4: MSTORE
00001db5: PUSH1 0x40
00001db7: SWAP3
00001db8: DUP4
00001db9: SWAP1
00001dba: KECCAK256
00001dbb: DUP4
00001dbc: MLOAD
00001dbd: PUSH1 0xc0
00001dbf: DUP2
00001dc0: ADD
00001dc1: DUP6
00001dc2: MSTORE
00001dc3: DUP2
00001dc4: SLOAD
00001dc5: DUP2
00001dc6: MSTORE
00001dc7: PUSH1 0x01
00001dc9: DUP3
00001dca: ADD
00001dcb: SLOAD
00001dcc: SWAP3
00001dcd: DUP2
00001dce: ADD
00001dcf: SWAP3
00001dd0: SWAP1
00001dd1: SWAP3
00001dd2: MSTORE
00001dd3: SWAP2
00001dd4: DUP3
00001dd5: ADD
00001dd6: SLOAD
00001dd7: SWAP3
00001dd8: DUP2
00001dd9: ADD
00001dda: SWAP3
00001ddb: SWAP1
00001ddc: SWAP3
00001ddd: MSTORE
00001dde: PUSH1 0x03
00001de0: ADD
00001de1: SLOAD
00001de2: PUSH3 0xffffff
00001de6: DUP2
00001de7: AND
00001de8: PUSH1 0x60
00001dea: DUP4
00001deb: ADD
00001dec: MSTORE
00001ded: PUSH4 0x01000000
00001df2: DUP2
00001df3: DIV
00001df4: DUP4
00001df5: AND
00001df6: PUSH1 0x80
00001df8: DUP4
00001df9: ADD
00001dfa: MSTORE
00001dfb: PUSH12 0x010000000000000000000000
00001e08: SWAP1
00001e09: DIV
00001e0a: SWAP1
00001e0b: SWAP2
00001e0c: AND
00001e0d: PUSH1 0xa0
00001e0f: DUP3
00001e10: ADD
00001e11: MSTORE
00001e12: SWAP1
00001e13: JUMP
00001e14: JUMPDEST
00001e15: PUSH0
00001e16: PUSH2 0x14f1
00001e19: PUSH2 0x2840
00001e1c: JUMP
00001e1d: JUMPDEST
00001e1e: PUSH0
00001e1f: PUSH2 0x14f1
00001e22: PUSH1 0x0a
00001e24: SLOAD
00001e25: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000000
00001e46: GT
00001e47: ISZERO
00001e48: SWAP1
00001e49: JUMP
00001e4a: JUMPDEST
00001e4b: PUSH0
00001e4c: PUSH2 0x1e53
00001e4f: PUSH2 0x2993
00001e52: JUMP
00001e53: JUMPDEST
00001e54: PUSH32 0x00000000000000000000000000000000000000000000000000000000016d874c
00001e75: PUSH8 0xffffffffffffffff
00001e7e: AND
00001e7f: NUMBER
00001e80: LT
00001e81: PUSH2 0x1eb6
00001e84: JUMPI
00001e85: PUSH1 0x40
00001e87: MLOAD
00001e88: PUSH32 0x5f0ae8b500000000000000000000000000000000000000000000000000000000
00001ea9: DUP2
00001eaa: MSTORE
00001eab: PUSH1 0x04
00001ead: ADD
00001eae: PUSH1 0x40
00001eb0: MLOAD
00001eb1: DUP1
00001eb2: SWAP2
00001eb3: SUB
00001eb4: SWAP1
00001eb5: REVERT
00001eb6: JUMPDEST
00001eb7: DUP6
00001eb8: PUSH16 0xffffffffffffffffffffffffffffffff
00001ec9: AND
00001eca: PUSH0
00001ecb: SUB
00001ecc: PUSH2 0x1f01
00001ecf: JUMPI
00001ed0: PUSH1 0x40
00001ed2: MLOAD
00001ed3: PUSH32 0xc873160800000000000000000000000000000000000000000000000000000000
00001ef4: DUP2
00001ef5: MSTORE
00001ef6: PUSH1 0x04
00001ef8: ADD
00001ef9: PUSH1 0x40
00001efb: MLOAD
00001efc: DUP1
00001efd: SWAP2
00001efe: SUB
00001eff: SWAP1
00001f00: REVERT
00001f01: JUMPDEST
00001f02: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f17: DUP6
00001f18: AND
00001f19: PUSH2 0x1f4e
00001f1c: JUMPI
00001f1d: PUSH1 0x40
00001f1f: MLOAD
00001f20: PUSH32 0x4076a98c00000000000000000000000000000000000000000000000000000000
00001f41: DUP2
00001f42: MSTORE
00001f43: PUSH1 0x04
00001f45: ADD
00001f46: PUSH1 0x40
00001f48: MLOAD
00001f49: DUP1
00001f4a: SWAP2
00001f4b: SUB
00001f4c: SWAP1
00001f4d: REVERT
00001f4e: JUMPDEST
00001f4f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f64: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000000
00001f85: AND
00001f86: PUSH2 0x1fd9
00001f89: JUMPI
00001f8a: DUP6
00001f8b: PUSH16 0xffffffffffffffffffffffffffffffff
00001f9c: AND
00001f9d: CALLVALUE
00001f9e: EQ
00001f9f: PUSH2 0x1fd4
00001fa2: JUMPI
00001fa3: PUSH1 0x40
00001fa5: MLOAD
00001fa6: PUSH32 0x2c5211c600000000000000000000000000000000000000000000000000000000
00001fc7: DUP2
00001fc8: MSTORE
00001fc9: PUSH1 0x04
00001fcb: ADD
00001fcc: PUSH1 0x40
00001fce: MLOAD
00001fcf: DUP1
00001fd0: SWAP2
00001fd1: SUB
00001fd2: SWAP1
00001fd3: REVERT
00001fd4: JUMPDEST
00001fd5: PUSH2 0x204f
00001fd8: JUMP
00001fd9: JUMPDEST
00001fda: CALLVALUE
00001fdb: ISZERO
00001fdc: PUSH2 0x2011
00001fdf: JUMPI
00001fe0: PUSH1 0x40
00001fe2: MLOAD
00001fe3: PUSH32 0xe3e0a9bd00000000000000000000000000000000000000000000000000000000
00002004: DUP2
00002005: MSTORE
00002006: PUSH1 0x04
00002008: ADD
00002009: PUSH1 0x40
0000200b: MLOAD
0000200c: DUP1
0000200d: SWAP2
0000200e: SUB
0000200f: SWAP1
00002010: REVERT
00002011: JUMPDEST
00002012: PUSH2 0x204f
00002015: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000000
00002036: CALLER
00002037: ADDRESS
00002038: DUP10
00002039: PUSH16 0xffffffffffffffffffffffffffffffff
0000204a: AND
0000204b: PUSH2 0x2a33
0000204e: JUMP
0000204f: JUMPDEST
00002050: PUSH2 0x205d
00002053: DUP8
00002054: DUP8
00002055: DUP8
00002056: DUP8
00002057: DUP8
00002058: DUP8
00002059: PUSH2 0x2ac3
0000205c: JUMP
0000205d: JUMPDEST
0000205e: SWAP8
0000205f: SWAP7
00002060: POP
00002061: POP
00002062: POP
00002063: POP
00002064: POP
00002065: POP
00002066: POP
00002067: JUMP
00002068: JUMPDEST
00002069: PUSH32 0x00000000000000000000000000000000000000000000000000000000016d874c
0000208a: PUSH8 0xffffffffffffffff
00002093: AND
00002094: NUMBER
00002095: LT
00002096: ISZERO
00002097: PUSH2 0x20cc
0000209a: JUMPI
0000209b: PUSH1 0x40
0000209d: MLOAD
0000209e: PUSH32 0x6247a84e00000000000000000000000000000000000000000000000000000000
000020bf: DUP2
000020c0: MSTORE
000020c1: PUSH1 0x04
000020c3: ADD
000020c4: PUSH1 0x40
000020c6: MLOAD
000020c7: DUP1
000020c8: SWAP2
000020c9: SUB
000020ca: SWAP1
000020cb: REVERT
000020cc: JUMPDEST
000020cd: PUSH1 0x03
000020cf: SLOAD
000020d0: PUSH32 0x00000000000000000000000000000000000000000000000000000000016d874c
000020f1: PUSH8 0xffffffffffffffff
000020fa: SWAP1
000020fb: DUP2
000020fc: AND
000020fd: SWAP2
000020fe: AND
000020ff: EQ
00002100: PUSH2 0x210d
00002103: JUMPI
00002104: PUSH2 0x210b
00002107: PUSH2 0x22f9
0000210a: JUMP
0000210b: JUMPDEST
0000210c: POP
0000210d: JUMPDEST
0000210e: PUSH1 0x0a
00002110: SLOAD
00002111: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000000
00002132: GT
00002133: ISZERO
00002134: PUSH2 0x2169
00002137: JUMPI
00002138: PUSH1 0x40
0000213a: MLOAD
0000213b: PUSH32 0xd66173a500000000000000000000000000000000000000000000000000000000
0000215c: DUP2
0000215d: MSTORE
0000215e: PUSH1 0x04
00002160: ADD
00002161: PUSH1 0x40
00002163: MLOAD
00002164: DUP1
00002165: SWAP2
00002166: SUB
00002167: SWAP1
00002168: REVERT
00002169: JUMPDEST
0000216a: PUSH0
0000216b: DUP1
0000216c: JUMPDEST
0000216d: DUP3
0000216e: DUP2
0000216f: LT
00002170: ISZERO
00002171: PUSH2 0x22ab
00002174: JUMPI
00002175: PUSH0
00002176: DUP1
00002177: PUSH2 0x2197
0000217a: DUP7
0000217b: DUP7
0000217c: DUP6
0000217d: DUP2
0000217e: DUP2
0000217f: LT
00002180: PUSH2 0x218b
00002183: JUMPI
00002184: PUSH2 0x218b
00002187: PUSH2 0x41fa
0000218a: JUMP
0000218b: JUMPDEST
0000218c: SWAP1
0000218d: POP
0000218e: PUSH1 0x20
00002190: MUL
00002191: ADD
00002192: CALLDATALOAD
00002193: PUSH2 0x25ab
00002196: JUMP
00002197: JUMPDEST
00002198: SWAP2
00002199: POP
0000219a: SWAP2
0000219b: POP
0000219c: DUP7
0000219d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000021b2: AND
000021b3: DUP3
000021b4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000021c9: AND
000021ca: EQ
000021cb: PUSH2 0x2225
000021ce: JUMPI
000021cf: PUSH1 0x40
000021d1: MLOAD
000021d2: PUSH32 0x1515875c00000000000000000000000000000000000000000000000000000000
000021f3: DUP2
000021f4: MSTORE
000021f5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000220a: DUP1
0000220b: DUP10
0000220c: AND
0000220d: PUSH1 0x04
0000220f: DUP4
00002210: ADD
00002211: MSTORE
00002212: DUP4
00002213: AND
00002214: PUSH1 0x24
00002216: DUP3
00002217: ADD
00002218: MSTORE
00002219: PUSH1 0x44
0000221b: ADD
0000221c: JUMPDEST
0000221d: PUSH1 0x40
0000221f: MLOAD
00002220: DUP1
00002221: SWAP2
00002222: SUB
00002223: SWAP1
00002224: REVERT
00002225: JUMPDEST
00002226: PUSH2 0x222f
00002229: DUP2
0000222a: DUP6
0000222b: PUSH2 0x41e7
0000222e: JUMP
0000222f: JUMPDEST
00002230: SWAP4
00002231: POP
00002232: DUP1
00002233: ISZERO
00002234: PUSH2 0x22a1
00002237: JUMPI
00002238: DUP2
00002239: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000224e: AND
0000224f: DUP7
00002250: DUP7
00002251: DUP6
00002252: DUP2
00002253: DUP2
00002254: LT
00002255: PUSH2 0x2260
00002258: JUMPI
00002259: PUSH2 0x2260
0000225c: PUSH2 0x41fa
0000225f: JUMP
00002260: JUMPDEST
00002261: SWAP1
00002262: POP
00002263: PUSH1 0x20
00002265: MUL
00002266: ADD
00002267: CALLDATALOAD
00002268: PUSH32 0x880f2ef2613b092f1a0a819f294155c98667eb294b7e6bf7a3810278142c1a1c
00002289: DUP4
0000228a: PUSH1 0x40
0000228c: MLOAD
0000228d: PUSH2 0x2298
00002290: SWAP2
00002291: DUP2
00002292: MSTORE
00002293: PUSH1 0x20
00002295: ADD
00002296: SWAP1
00002297: JUMP
00002298: JUMPDEST
00002299: PUSH1 0x40
0000229b: MLOAD
0000229c: DUP1
0000229d: SWAP2
0000229e: SUB
0000229f: SWAP1
000022a0: LOG3
000022a1: JUMPDEST
000022a2: POP
000022a3: POP
000022a4: PUSH1 0x01
000022a6: ADD
000022a7: PUSH2 0x216c
000022aa: JUMP
000022ab: JUMPDEST
000022ac: POP
000022ad: DUP1
000022ae: ISZERO
000022af: PUSH2 0x22f3
000022b2: JUMPI
000022b3: PUSH2 0x22f3
000022b6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000022cb: PUSH32 0x0000000000000000000000004b00c30ceba3f188407c6e6741cc5b43561f1f6e
000022ec: AND
000022ed: DUP6
000022ee: DUP4
000022ef: PUSH2 0x263e
000022f2: JUMP
000022f3: JUMPDEST
000022f4: POP
000022f5: POP
000022f6: POP
000022f7: POP
000022f8: JUMP
000022f9: JUMPDEST
000022fa: PUSH1 0x40
000022fc: DUP1
000022fd: MLOAD
000022fe: PUSH1 0xc0
00002300: DUP2
00002301: ADD
00002302: DUP3
00002303: MSTORE
00002304: PUSH0
00002305: DUP1
00002306: DUP3
00002307: MSTORE
00002308: PUSH1 0x20
0000230a: DUP3
0000230b: ADD
0000230c: DUP2
0000230d: SWAP1
0000230e: MSTORE
0000230f: SWAP2
00002310: DUP2
00002311: ADD
00002312: DUP3
00002313: SWAP1
00002314: MSTORE
00002315: PUSH1 0x60
00002317: DUP2
00002318: ADD
00002319: DUP3
0000231a: SWAP1
0000231b: MSTORE
0000231c: PUSH1 0x80
0000231e: DUP2
0000231f: ADD
00002320: DUP3
00002321: SWAP1
00002322: MSTORE
00002323: PUSH1 0xa0
00002325: DUP2
00002326: ADD
00002327: SWAP2
00002328: SWAP1
00002329: SWAP2
0000232a: MSTORE
0000232b: PUSH2 0x2332
0000232e: PUSH2 0x2993
00002331: JUMP
00002332: JUMPDEST
00002333: PUSH32 0x00000000000000000000000000000000000000000000000000000000016d874c
00002354: PUSH8 0xffffffffffffffff
0000235d: AND
0000235e: NUMBER
0000235f: GT
00002360: ISZERO
00002361: PUSH2 0x236c
00002364: JUMPI
00002365: PUSH2 0x14f1
00002368: PUSH2 0x2939
0000236b: JUMP
0000236c: JUMPDEST
0000236d: PUSH2 0x14f1
00002370: NUMBER
00002371: PUSH2 0x2d90
00002374: JUMP
00002375: JUMPDEST
00002376: PUSH0
00002377: DUP1
00002378: SLOAD
00002379: DUP3
0000237a: LT
0000237b: PUSH2 0x23b3
0000237e: JUMPI
0000237f: PUSH1 0x40
00002381: MLOAD
00002382: PUSH32 0x9076e8b900000000000000000000000000000000000000000000000000000000
000023a3: DUP2
000023a4: MSTORE
000023a5: PUSH1 0x04
000023a7: DUP2
000023a8: ADD
000023a9: DUP4
000023aa: SWAP1
000023ab: MSTORE
000023ac: PUSH1 0x24
000023ae: ADD
000023af: PUSH2 0x221c
000023b2: JUMP
000023b3: JUMPDEST
000023b4: POP
000023b5: PUSH0
000023b6: SWAP1
000023b7: DUP2
000023b8: MSTORE
000023b9: PUSH1 0x01
000023bb: PUSH1 0x20
000023bd: MSTORE
000023be: PUSH1 0x40
000023c0: SWAP1
000023c1: KECCAK256
000023c2: SWAP1
000023c3: JUMP
000023c4: JUMPDEST
000023c5: PUSH0
000023c6: PUSH2 0x23ce
000023c9: DUP5
000023ca: PUSH2 0x2375
000023cd: JUMP
000023ce: JUMPDEST
000023cf: PUSH1 0x02
000023d1: DUP2
000023d2: ADD
000023d3: SLOAD
000023d4: PUSH1 0x03
000023d6: DUP3
000023d7: ADD
000023d8: SLOAD
000023d9: SWAP2
000023da: SWAP3
000023db: POP
000023dc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000023f1: AND
000023f2: SWAP1
000023f3: PUSH0
000023f4: SWAP1
000023f5: PUSH1 0x60
000023f7: SWAP1
000023f8: PUSH2 0x2402
000023fb: SWAP1
000023fc: DUP7
000023fd: SWAP1
000023fe: PUSH2 0x4227
00002401: JUMP
00002402: JUMPDEST
00002403: PUSH1 0x04
00002405: DUP6
00002406: ADD
00002407: DUP8
00002408: SWAP1
00002409: SSTORE
0000240a: DUP5
0000240b: SLOAD
0000240c: PUSH32 0xffffffffffffffffffffffffff0000000000000000ffffffffffffffffffffff
0000242d: AND
0000242e: PUSH12 0x010000000000000000000000
0000243b: NUMBER
0000243c: PUSH8 0xffffffffffffffff
00002445: AND
00002446: MUL
00002447: OR
00002448: DUP6
00002449: SSTORE
0000244a: SWAP1
0000244b: SHR
0000244c: SWAP1
0000244d: POP
0000244e: DUP1
0000244f: ISZERO
00002450: PUSH2 0x2494
00002453: JUMPI
00002454: PUSH2 0x2494
00002457: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000246c: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000000
0000248d: AND
0000248e: DUP4
0000248f: DUP4
00002490: PUSH2 0x263e
00002493: JUMP
00002494: JUMPDEST
00002495: PUSH1 0x40
00002497: DUP1
00002498: MLOAD
00002499: DUP7
0000249a: DUP2
0000249b: MSTORE
0000249c: PUSH1 0x20
0000249e: DUP2
0000249f: ADD
000024a0: DUP4
000024a1: SWAP1
000024a2: MSTORE
000024a3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000024b8: DUP5
000024b9: AND
000024ba: SWAP2
000024bb: DUP9
000024bc: SWAP2
000024bd: PUSH32 0x054fe6469466a0b4d2a6ae4b100e5f9c494c958f04b4000f44d470088dd97930
000024de: SWAP2
000024df: ADD
000024e0: PUSH1 0x40
000024e2: MLOAD
000024e3: DUP1
000024e4: SWAP2
000024e5: SUB
000024e6: SWAP1
000024e7: LOG3
000024e8: POP
000024e9: POP
000024ea: POP
000024eb: POP
000024ec: POP
000024ed: POP
000024ee: JUMP
000024ef: JUMPDEST
000024f0: PUSH0
000024f1: DUP1
000024f2: PUSH2 0x24fc
000024f5: DUP6
000024f6: DUP6
000024f7: DUP6
000024f8: PUSH2 0x2f22
000024fb: JUMP
000024fc: JUMPDEST
000024fd: SWAP2
000024fe: POP
000024ff: SWAP2
00002500: POP
00002501: JUMPDEST
00002502: SWAP4
00002503: POP
00002504: SWAP4
00002505: SWAP2
00002506: POP
00002507: POP
00002508: JUMP
00002509: JUMPDEST
0000250a: PUSH0
0000250b: PUSH2 0x2534
0000250e: PUSH32 0x000000000000000000000000000000000000000000000198b87463d250485063
0000252f: DUP4
00002530: PUSH2 0x4267
00002533: JUMP
00002534: JUMPDEST
00002535: ISZERO
00002536: PUSH2 0x256b
00002539: JUMPI
0000253a: PUSH1 0x40
0000253c: MLOAD
0000253d: PUSH32 0xd76fb50f00000000000000000000000000000000000000000000000000000000
0000255e: DUP2
0000255f: MSTORE
00002560: PUSH1 0x04
00002562: ADD
00002563: PUSH1 0x40
00002565: MLOAD
00002566: DUP1
00002567: SWAP2
00002568: SUB
00002569: SWAP1
0000256a: REVERT
0000256b: JUMPDEST
0000256c: POP
0000256d: PUSH0
0000256e: SWAP1
0000256f: DUP2
00002570: MSTORE
00002571: PUSH1 0x06
00002573: PUSH1 0x20
00002575: MSTORE
00002576: PUSH1 0x40
00002578: SWAP1
00002579: KECCAK256
0000257a: SWAP1
0000257b: JUMP
0000257c: JUMPDEST
0000257d: PUSH0
0000257e: DUP1
0000257f: PUSH2 0x24fc
00002582: DUP6
00002583: DUP6
00002584: DUP6
00002585: PUSH2 0x2f61
00002588: JUMP
00002589: JUMPDEST
0000258a: PUSH0
0000258b: PUSH2 0x2594
0000258e: DUP3
0000258f: DUP5
00002590: PUSH2 0x427a
00002593: JUMP
00002594: JUMPDEST
00002595: SWAP1
00002596: POP
00002597: JUMPDEST
00002598: SWAP3
00002599: SWAP2
0000259a: POP
0000259b: POP
0000259c: JUMP
0000259d: JUMPDEST
0000259e: PUSH0
0000259f: PUSH2 0x2597
000025a2: PUSH3 0x989680
000025a6: DUP4
000025a7: PUSH2 0x427a
000025aa: JUMP
000025ab: JUMPDEST
000025ac: PUSH0
000025ad: DUP1
000025ae: PUSH0
000025af: PUSH2 0x25b7
000025b2: DUP5
000025b3: PUSH2 0x2375
000025b6: JUMP
000025b7: JUMPDEST
000025b8: DUP1
000025b9: SLOAD
000025ba: SWAP1
000025bb: SWAP2
000025bc: POP
000025bd: PUSH12 0x010000000000000000000000
000025ca: SWAP1
000025cb: DIV
000025cc: PUSH8 0xffffffffffffffff
000025d5: AND
000025d6: PUSH0
000025d7: SUB
000025d8: PUSH2 0x260d
000025db: JUMPI
000025dc: PUSH1 0x40
000025de: MLOAD
000025df: PUSH32 0x7e13888200000000000000000000000000000000000000000000000000000000
00002600: DUP2
00002601: MSTORE
00002602: PUSH1 0x04
00002604: ADD
00002605: PUSH1 0x40
00002607: MLOAD
00002608: DUP1
00002609: SWAP2
0000260a: SUB
0000260b: SWAP1
0000260c: REVERT
0000260d: JUMPDEST
0000260e: PUSH1 0x02
00002610: DUP2
00002611: ADD
00002612: SLOAD
00002613: PUSH1 0x04
00002615: SWAP1
00002616: SWAP2
00002617: ADD
00002618: DUP1
00002619: SLOAD
0000261a: PUSH0
0000261b: SWAP1
0000261c: SWAP2
0000261d: SSTORE
0000261e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002633: SWAP1
00002634: SWAP2
00002635: AND
00002636: SWAP5
00002637: SWAP1
00002638: SWAP4
00002639: POP
0000263a: SWAP2
0000263b: POP
0000263c: POP
0000263d: JUMP
0000263e: JUMPDEST
0000263f: PUSH0
00002640: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002655: DUP5
00002656: AND
00002657: PUSH2 0x26a0
0000265a: JUMPI
0000265b: PUSH0
0000265c: DUP1
0000265d: PUSH0
0000265e: DUP1
0000265f: DUP6
00002660: DUP8
00002661: GAS
00002662: CALL
00002663: SWAP1
00002664: POP
00002665: DUP1
00002666: PUSH2 0x269b
00002669: JUMPI
0000266a: PUSH1 0x40
0000266c: MLOAD
0000266d: PUSH32 0xf4b3b1bc00000000000000000000000000000000000000000000000000000000
0000268e: DUP2
0000268f: MSTORE
00002690: PUSH1 0x04
00002692: ADD
00002693: PUSH1 0x40
00002695: MLOAD
00002696: DUP1
00002697: SWAP2
00002698: SUB
00002699: SWAP1
0000269a: REVERT
0000269b: JUMPDEST
0000269c: PUSH2 0x22f3
0000269f: JUMP
000026a0: JUMPDEST
000026a1: PUSH1 0x40
000026a3: MLOAD
000026a4: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000
000026c5: DUP2
000026c6: MSTORE
000026c7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000026dc: DUP5
000026dd: AND
000026de: PUSH1 0x04
000026e0: DUP3
000026e1: ADD
000026e2: MSTORE
000026e3: DUP3
000026e4: PUSH1 0x24
000026e6: DUP3
000026e7: ADD
000026e8: MSTORE
000026e9: PUSH1 0x20
000026eb: PUSH0
000026ec: PUSH1 0x44
000026ee: DUP4
000026ef: PUSH0
000026f0: DUP10
000026f1: GAS
000026f2: CALL
000026f3: RETURNDATASIZE
000026f4: ISZERO
000026f5: PUSH1 0x1f
000026f7: RETURNDATASIZE
000026f8: GT
000026f9: PUSH1 0x01
000026fb: PUSH0
000026fc: MLOAD
000026fd: EQ
000026fe: AND
000026ff: OR
00002700: AND
00002701: SWAP2
00002702: POP
00002703: PUSH0
00002704: DUP2
00002705: MSTORE
00002706: PUSH0
00002707: PUSH1 0x20
00002709: DUP3
0000270a: ADD
0000270b: MSTORE
0000270c: PUSH0
0000270d: PUSH1 0x40
0000270f: DUP3
00002710: ADD
00002711: MSTORE
00002712: POP
00002713: DUP1
00002714: PUSH2 0x22f3
00002717: JUMPI
00002718: PUSH1 0x40
0000271a: MLOAD
0000271b: PUSH32 0xf27f64e400000000000000000000000000000000000000000000000000000000
0000273c: DUP2
0000273d: MSTORE
0000273e: PUSH1 0x04
00002740: ADD
00002741: PUSH1 0x40
00002743: MLOAD
00002744: DUP1
00002745: SWAP2
00002746: SUB
00002747: SWAP1
00002748: REVERT
00002749: JUMPDEST
0000274a: PUSH0
0000274b: PUSH2 0x2597
0000274e: PUSH3 0x989680
00002752: DUP4
00002753: PUSH2 0x428d
00002756: JUMP
00002757: JUMPDEST
00002758: PUSH0
00002759: PUSH2 0x2594
0000275c: DUP3
0000275d: DUP5
0000275e: PUSH2 0x4227
00002761: JUMP
00002762: JUMPDEST
00002763: NUMBER
00002764: PUSH1 0x09
00002766: SSTORE
00002767: DUP1
00002768: ISZERO
00002769: PUSH2 0x27cd
0000276c: JUMPI
0000276d: PUSH2 0x27cd
00002770: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002785: PUSH32 0x0000000000000000000000004b00c30ceba3f188407c6e6741cc5b43561f1f6e
000027a6: AND
000027a7: PUSH32 0x00000000000000000000000013620833364653fa125ccdd7cf54b9e4a22ab6d9
000027c8: DUP4
000027c9: PUSH2 0x263e
000027cc: JUMP
000027cd: JUMPDEST
000027ce: PUSH32 0x00000000000000000000000013620833364653fa125ccdd7cf54b9e4a22ab6d9
000027ef: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002804: AND
00002805: PUSH32 0xdd9a81eb1b5197489c3ccfdab7b542e2e6dbdcf4120324e2688fab56fd23f98b
00002826: DUP3
00002827: PUSH1 0x40
00002829: MLOAD
0000282a: PUSH2 0x2835
0000282d: SWAP2
0000282e: DUP2
0000282f: MSTORE
00002830: PUSH1 0x20
00002832: ADD
00002833: SWAP1
00002834: JUMP
00002835: JUMPDEST
00002836: PUSH1 0x40
00002838: MLOAD
00002839: DUP1
0000283a: SWAP2
0000283b: SUB
0000283c: SWAP1
0000283d: LOG2
0000283e: POP
0000283f: JUMP
00002840: JUMPDEST
00002841: PUSH0
00002842: PUSH2 0x14f1
00002845: PUSH2 0x14ec
00002848: PUSH13 0x01000000000000000000000000
00002856: PUSH1 0x0a
00002858: SLOAD
00002859: PUSH2 0x2589
0000285c: SWAP1
0000285d: SWAP2
0000285e: SWAP1
0000285f: PUSH4 0xffffffff
00002864: AND
00002865: JUMP
00002866: JUMPDEST
00002867: NUMBER
00002868: PUSH1 0x08
0000286a: SSTORE
0000286b: DUP1
0000286c: ISZERO
0000286d: PUSH2 0x28d1
00002870: JUMPI
00002871: PUSH2 0x28d1
00002874: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002889: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000000
000028aa: AND
000028ab: PUSH32 0x000000000000000000000000d53006d1e3110fd319a79aeec4c527a0d265e080
000028cc: DUP4
000028cd: PUSH2 0x263e
000028d0: JUMP
000028d1: JUMPDEST
000028d2: PUSH32 0x000000000000000000000000d53006d1e3110fd319a79aeec4c527a0d265e080
000028f3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002908: AND
00002909: PUSH32 0x053dfa7183794b221b03c5109dfb5a07b67d719cb3e98262d48bc66b2a132ad3
0000292a: DUP3
0000292b: PUSH1 0x40
0000292d: MLOAD
0000292e: PUSH2 0x2835
00002931: SWAP2
00002932: DUP2
00002933: MSTORE
00002934: PUSH1 0x20
00002936: ADD
00002937: SWAP1
00002938: JUMP
00002939: JUMPDEST
0000293a: PUSH1 0x40
0000293c: DUP1
0000293d: MLOAD
0000293e: PUSH1 0xc0
00002940: DUP2
00002941: ADD
00002942: DUP3
00002943: MSTORE
00002944: PUSH0
00002945: DUP1
00002946: DUP3
00002947: MSTORE
00002948: PUSH1 0x20
0000294a: DUP3
0000294b: ADD
0000294c: DUP2
0000294d: SWAP1
0000294e: MSTORE
0000294f: SWAP2
00002950: DUP2
00002951: ADD
00002952: DUP3
00002953: SWAP1
00002954: MSTORE
00002955: PUSH1 0x60
00002957: DUP2
00002958: ADD
00002959: DUP3
0000295a: SWAP1
0000295b: MSTORE
0000295c: PUSH1 0x80
0000295e: DUP2
0000295f: ADD
00002960: DUP3
00002961: SWAP1
00002962: MSTORE
00002963: PUSH1 0xa0
00002965: DUP2
00002966: ADD
00002967: SWAP2
00002968: SWAP1
00002969: SWAP2
0000296a: MSTORE
0000296b: PUSH2 0x14f1
0000296e: PUSH32 0x00000000000000000000000000000000000000000000000000000000016d874c
0000298f: PUSH2 0x2d90
00002992: JUMP
00002993: JUMPDEST
00002994: PUSH32 0x00000000000000000000000000000000000000000000000000000000016b0495
000029b5: PUSH8 0xffffffffffffffff
000029be: AND
000029bf: NUMBER
000029c0: LT
000029c1: ISZERO
000029c2: PUSH2 0x29f7
000029c5: JUMPI
000029c6: PUSH1 0x40
000029c8: MLOAD
000029c9: PUSH32 0xeffaea8000000000000000000000000000000000000000000000000000000000
000029ea: DUP2
000029eb: MSTORE
000029ec: PUSH1 0x04
000029ee: ADD
000029ef: PUSH1 0x40
000029f1: MLOAD
000029f2: DUP1
000029f3: SWAP2
000029f4: SUB
000029f5: SWAP1
000029f6: REVERT
000029f7: JUMPDEST
000029f8: PUSH1 0x0d
000029fa: SLOAD
000029fb: PUSH1 0xff
000029fd: AND
000029fe: PUSH2 0x1a9f
00002a01: JUMPI
00002a02: PUSH1 0x40
00002a04: MLOAD
00002a05: PUSH32 0x8d6b8a8200000000000000000000000000000000000000000000000000000000
00002a26: DUP2
00002a27: MSTORE
00002a28: PUSH1 0x04
00002a2a: ADD
00002a2b: PUSH1 0x40
00002a2d: MLOAD
00002a2e: DUP1
00002a2f: SWAP2
00002a30: SUB
00002a31: SWAP1
00002a32: REVERT
00002a33: JUMPDEST
00002a34: PUSH1 0x40
00002a36: MLOAD
00002a37: DUP5
00002a38: PUSH1 0x60
00002a3a: SHL
00002a3b: PUSH1 0x60
00002a3d: SHR
00002a3e: PUSH1 0x74
00002a40: DUP3
00002a41: ADD
00002a42: MSTORE
00002a43: DUP2
00002a44: PUSH1 0x54
00002a46: DUP3
00002a47: ADD
00002a48: MSTORE
00002a49: DUP3
00002a4a: PUSH1 0x34
00002a4c: DUP3
00002a4d: ADD
00002a4e: MSTORE
00002a4f: DUP4
00002a50: PUSH1 0x60
00002a52: SHL
00002a53: PUSH1 0x20
00002a55: DUP3
00002a56: ADD
00002a57: MSTORE
00002a58: PUSH16 0x36c78516000000000000000000000000
00002a69: DUP2
00002a6a: MSTORE
00002a6b: PUSH15 0x22d473030f116ddee9f6b43ac78ba3
00002a7b: PUSH1 0x01
00002a7d: CHAINID
00002a7e: EQ
00002a7f: DUP1
00002a80: PUSH2 0x2a89
00002a83: JUMPI
00002a84: POP
00002a85: DUP1
00002a86: EXTCODESIZE
00002a87: ISZERO
00002a88: ISZERO
00002a89: JUMPDEST
00002a8a: DUP1
00002a8b: DUP8
00002a8c: EXTCODESIZE
00002a8d: ISZERO
00002a8e: LT
00002a8f: PUSH0
00002a90: CODESIZE
00002a91: PUSH1 0x84
00002a93: PUSH1 0x10
00002a95: DUP8
00002a96: ADD
00002a97: PUSH0
00002a98: DUP8
00002a99: GAS
00002a9a: CALL
00002a9b: AND
00002a9c: PUSH2 0x2aba
00002a9f: JUMPI
00002aa0: PUSH8 0x7939f4248757f0fd
00002aa9: PUSH0
00002aaa: MSTORE
00002aab: PUSH1 0x04
00002aad: DUP5
00002aae: PUSH1 0xa0
00002ab0: SHR
00002ab1: ISZERO
00002ab2: ISZERO
00002ab3: PUSH1 0x02
00002ab5: SHL
00002ab6: PUSH1 0x18
00002ab8: ADD
00002ab9: REVERT
00002aba: JUMPDEST
00002abb: POP
00002abc: POP
00002abd: POP
00002abe: POP
00002abf: POP
00002ac0: POP
00002ac1: POP
00002ac2: JUMP
00002ac3: JUMPDEST
00002ac4: PUSH0
00002ac5: PUSH32 0x00000000000000000000000000000000a3ee1769a11b5bd37830553b97e88964
00002ae6: DUP8
00002ae7: GT
00002ae8: ISZERO
00002ae9: PUSH2 0x2b47
00002aec: JUMPI
00002aed: PUSH1 0x40
00002aef: MLOAD
00002af0: PUSH32 0xae9d6dc200000000000000000000000000000000000000000000000000000000
00002b11: DUP2
00002b12: MSTORE
00002b13: PUSH1 0x04
00002b15: DUP2
00002b16: ADD
00002b17: DUP9
00002b18: SWAP1
00002b19: MSTORE
00002b1a: PUSH32 0x00000000000000000000000000000000a3ee1769a11b5bd37830553b97e88964
00002b3b: PUSH1 0x24
00002b3d: DUP3
00002b3e: ADD
00002b3f: MSTORE
00002b40: PUSH1 0x44
00002b42: ADD
00002b43: PUSH2 0x221c
00002b46: JUMP
00002b47: JUMPDEST
00002b48: PUSH0
00002b49: PUSH2 0x2b50
00002b4c: PUSH2 0x22f9
00002b4f: JUMP
00002b50: JUMPDEST
00002b51: SWAP1
00002b52: POP
00002b53: PUSH2 0x2b5b
00002b56: DUP2
00002b57: PUSH2 0x2fce
00002b5a: JUMP
00002b5b: JUMPDEST
00002b5c: PUSH3 0xffffff
00002b60: AND
00002b61: PUSH0
00002b62: SUB
00002b63: PUSH2 0x2b98
00002b66: JUMPI
00002b67: PUSH1 0x40
00002b69: MLOAD
00002b6a: PUSH32 0x5cd5436100000000000000000000000000000000000000000000000000000000
00002b8b: DUP2
00002b8c: MSTORE
00002b8d: PUSH1 0x04
00002b8f: ADD
00002b90: PUSH1 0x40
00002b92: MLOAD
00002b93: DUP1
00002b94: SWAP2
00002b95: SUB
00002b96: SWAP1
00002b97: REVERT
00002b98: JUMPDEST
00002b99: DUP1
00002b9a: MLOAD
00002b9b: DUP9
00002b9c: GT
00002b9d: PUSH2 0x2bd2
00002ba0: JUMPI
00002ba1: PUSH1 0x40
00002ba3: MLOAD
00002ba4: PUSH32 0x5f259e5200000000000000000000000000000000000000000000000000000000
00002bc5: DUP2
00002bc6: MSTORE
00002bc7: PUSH1 0x04
00002bc9: ADD
00002bca: PUSH1 0x40
00002bcc: MLOAD
00002bcd: DUP1
00002bce: SWAP2
00002bcf: SUB
00002bd0: SWAP1
00002bd1: REVERT
00002bd2: JUMPDEST
00002bd3: PUSH2 0x2bdc
00002bd6: DUP6
00002bd7: DUP10
00002bd8: PUSH2 0x2fe2
00002bdb: JUMP
00002bdc: JUMPDEST
00002bdd: PUSH2 0x2c21
00002be0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002bf5: PUSH32 0x0000000000000000000000002dd6e0e331de9743635590f6c8bc5038374cac9d
00002c16: AND
00002c17: DUP10
00002c18: DUP10
00002c19: DUP10
00002c1a: CALLER
00002c1b: DUP10
00002c1c: DUP10
00002c1d: PUSH2 0x3179
00002c20: JUMP
00002c21: JUMPDEST
00002c22: PUSH1 0x40
00002c24: DUP1
00002c25: MLOAD
00002c26: PUSH1 0xe0
00002c28: DUP2
00002c29: ADD
00002c2a: DUP3
00002c2b: MSTORE
00002c2c: PUSH0
00002c2d: DUP1
00002c2e: DUP3
00002c2f: MSTORE
00002c30: PUSH1 0x20
00002c32: DUP3
00002c33: ADD
00002c34: DUP2
00002c35: SWAP1
00002c36: MSTORE
00002c37: SWAP2
00002c38: DUP2
00002c39: ADD
00002c3a: DUP3
00002c3b: SWAP1
00002c3c: MSTORE
00002c3d: PUSH1 0x60
00002c3f: DUP2
00002c40: ADD
00002c41: DUP3
00002c42: SWAP1
00002c43: MSTORE
00002c44: PUSH1 0x80
00002c46: DUP2
00002c47: ADD
00002c48: DUP3
00002c49: SWAP1
00002c4a: MSTORE
00002c4b: PUSH1 0xa0
00002c4d: DUP2
00002c4e: ADD
00002c4f: DUP3
00002c50: SWAP1
00002c51: MSTORE
00002c52: PUSH1 0xc0
00002c54: DUP2
00002c55: ADD
00002c56: SWAP2
00002c57: SWAP1
00002c58: SWAP2
00002c59: MSTORE
00002c5a: PUSH0
00002c5b: PUSH1 0x60
00002c5d: PUSH1 0xff
00002c5f: AND
00002c60: DUP10
00002c61: PUSH16 0xffffffffffffffffffffffffffffffff
00002c72: AND
00002c73: SWAP1
00002c74: SHL
00002c75: SWAP1
00002c76: POP
00002c77: PUSH2 0x2c86
00002c7a: DUP2
00002c7b: DUP10
00002c7c: DUP13
00002c7d: DUP7
00002c7e: PUSH1 0x60
00002c80: ADD
00002c81: MLOAD
00002c82: PUSH2 0x3280
00002c85: JUMP
00002c86: JUMPDEST
00002c87: SWAP5
00002c88: POP
00002c89: SWAP2
00002c8a: POP
00002c8b: PUSH0
00002c8c: PUSH2 0x2c94
00002c8f: DUP4
00002c90: PUSH2 0x3415
00002c93: JUMP
00002c94: JUMPDEST
00002c95: SWAP1
00002c96: POP
00002c97: PUSH2 0x2ca0
00002c9a: DUP12
00002c9b: DUP3
00002c9c: PUSH2 0x3484
00002c9f: JUMP
00002ca0: JUMPDEST
00002ca1: DUP1
00002ca2: PUSH1 0x0c
00002ca4: PUSH0
00002ca5: DUP3
00002ca6: DUP3
00002ca7: SLOAD
00002ca8: PUSH2 0x2cb1
00002cab: SWAP2
00002cac: SWAP1
00002cad: PUSH2 0x41e7
00002cb0: JUMP
00002cb1: JUMPDEST
00002cb2: SWAP1
00002cb3: SWAP2
00002cb4: SSTORE
00002cb5: POP
00002cb6: PUSH2 0x2ce4
00002cb9: SWAP1
00002cba: POP
00002cbb: PUSH3 0x989680
00002cbf: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002ce0: PUSH2 0x427a
00002ce3: JUMP
00002ce4: JUMPDEST
00002ce5: PUSH1 0x0c
00002ce7: SLOAD
00002ce8: LT
00002ce9: PUSH2 0x2d1e
00002cec: JUMPI
00002ced: PUSH1 0x40
00002cef: MLOAD
00002cf0: PUSH32 0xa37fb9e300000000000000000000000000000000000000000000000000000000
00002d11: DUP2
00002d12: MSTORE
00002d13: PUSH1 0x04
00002d15: ADD
00002d16: PUSH1 0x40
00002d18: MLOAD
00002d19: DUP1
00002d1a: SWAP2
00002d1b: SUB
00002d1c: SWAP1
00002d1d: REVERT
00002d1e: JUMPDEST
00002d1f: PUSH1 0x40
00002d21: DUP1
00002d22: MLOAD
00002d23: DUP13
00002d24: DUP2
00002d25: MSTORE
00002d26: PUSH16 0xffffffffffffffffffffffffffffffff
00002d37: DUP13
00002d38: AND
00002d39: PUSH1 0x20
00002d3b: DUP3
00002d3c: ADD
00002d3d: MSTORE
00002d3e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002d53: DUP12
00002d54: AND
00002d55: SWAP2
00002d56: DUP8
00002d57: SWAP2
00002d58: PUSH32 0x650baad5cd8ca09b8f580be220fa04ce2ba905a041f764b6a3fe2c848eb70540
00002d79: SWAP2
00002d7a: ADD
00002d7b: PUSH1 0x40
00002d7d: MLOAD
00002d7e: DUP1
00002d7f: SWAP2
00002d80: SUB
00002d81: SWAP1
00002d82: LOG3
00002d83: POP
00002d84: POP
00002d85: POP
00002d86: POP
00002d87: SWAP7
00002d88: SWAP6
00002d89: POP
00002d8a: POP
00002d8b: POP
00002d8c: POP
00002d8d: POP
00002d8e: POP
00002d8f: JUMP
00002d90: JUMPDEST
00002d91: PUSH1 0x40
00002d93: DUP1
00002d94: MLOAD
00002d95: PUSH1 0xc0
00002d97: DUP2
00002d98: ADD
00002d99: DUP3
00002d9a: MSTORE
00002d9b: PUSH0
00002d9c: DUP1
00002d9d: DUP3
00002d9e: MSTORE
00002d9f: PUSH1 0x20
00002da1: DUP3
00002da2: ADD
00002da3: DUP2
00002da4: SWAP1
00002da5: MSTORE
00002da6: SWAP2
00002da7: DUP2
00002da8: ADD
00002da9: DUP3
00002daa: SWAP1
00002dab: MSTORE
00002dac: PUSH1 0x60
00002dae: DUP2
00002daf: ADD
00002db0: DUP3
00002db1: SWAP1
00002db2: MSTORE
00002db3: PUSH1 0x80
00002db5: DUP2
00002db6: ADD
00002db7: DUP3
00002db8: SWAP1
00002db9: MSTORE
00002dba: PUSH1 0xa0
00002dbc: DUP2
00002dbd: ADD
00002dbe: SWAP2
00002dbf: SWAP1
00002dc0: SWAP2
00002dc1: MSTORE
00002dc2: PUSH1 0x03
00002dc4: SLOAD
00002dc5: PUSH8 0xffffffffffffffff
00002dce: SWAP1
00002dcf: DUP2
00002dd0: AND
00002dd1: SWAP1
00002dd2: DUP4
00002dd3: AND
00002dd4: DUP2
00002dd5: SWAP1
00002dd6: SUB
00002dd7: PUSH2 0x2de9
00002dda: JUMPI
00002ddb: PUSH2 0x2de2
00002dde: PUSH2 0x1d29
00002de1: JUMP
00002de2: JUMPDEST
00002de3: SWAP4
00002de4: SWAP3
00002de5: POP
00002de6: POP
00002de7: POP
00002de8: JUMP
00002de9: JUMPDEST
00002dea: PUSH2 0x2df1
00002ded: PUSH2 0x1d29
00002df0: JUMP
00002df1: JUMPDEST
00002df2: SWAP2
00002df3: POP
00002df4: PUSH0
00002df5: PUSH2 0x2dfd
00002df8: DUP4
00002df9: PUSH2 0x34e8
00002dfc: JUMP
00002dfd: JUMPDEST
00002dfe: DUP4
00002dff: MLOAD
00002e00: SWAP1
00002e01: SWAP2
00002e02: POP
00002e03: DUP2
00002e04: EQ
00002e05: PUSH2 0x2e58
00002e08: JUMPI
00002e09: DUP1
00002e0a: DUP4
00002e0b: MSTORE
00002e0c: PUSH0
00002e0d: PUSH1 0x20
00002e0f: DUP1
00002e10: DUP6
00002e11: ADD
00002e12: SWAP2
00002e13: SWAP1
00002e14: SWAP2
00002e15: MSTORE
00002e16: PUSH1 0x40
00002e18: DUP1
00002e19: MLOAD
00002e1a: PUSH8 0xffffffffffffffff
00002e23: DUP8
00002e24: AND
00002e25: DUP2
00002e26: MSTORE
00002e27: SWAP2
00002e28: DUP3
00002e29: ADD
00002e2a: DUP4
00002e2b: SWAP1
00002e2c: MSTORE
00002e2d: PUSH32 0x30adbe996d7a69a21fdebcc1f8a46270bf6c22d505a7d872c1ab4767aa707609
00002e4e: SWAP2
00002e4f: ADD
00002e50: PUSH1 0x40
00002e52: MLOAD
00002e53: DUP1
00002e54: SWAP2
00002e55: SUB
00002e56: SWAP1
00002e57: LOG1
00002e58: JUMPDEST
00002e59: PUSH0
00002e5a: DUP1
00002e5b: PUSH2 0x2e64
00002e5e: DUP7
00002e5f: DUP6
00002e60: PUSH2 0x36b0
00002e63: JUMP
00002e64: JUMPDEST
00002e65: SWAP2
00002e66: POP
00002e67: SWAP2
00002e68: POP
00002e69: PUSH0
00002e6a: PUSH2 0x2e91
00002e6d: DUP4
00002e6e: PUSH1 0x20
00002e70: ADD
00002e71: MLOAD
00002e72: PUSH8 0xffffffffffffffff
00002e7b: AND
00002e7c: DUP7
00002e7d: PUSH8 0xffffffffffffffff
00002e86: AND
00002e87: DUP1
00002e88: DUP3
00002e89: XOR
00002e8a: SWAP1
00002e8b: DUP3
00002e8c: LT
00002e8d: MUL
00002e8e: XOR
00002e8f: SWAP1
00002e90: JUMP
00002e91: JUMPDEST
00002e92: PUSH2 0x2e9b
00002e95: SWAP1
00002e96: DUP9
00002e97: PUSH2 0x42a4
00002e9a: JUMP
00002e9b: JUMPDEST
00002e9c: DUP4
00002e9d: MLOAD
00002e9e: PUSH3 0xffffff
00002ea2: AND
00002ea3: DUP2
00002ea4: MUL
00002ea5: SWAP3
00002ea6: SWAP1
00002ea7: SWAP3
00002ea8: ADD
00002ea9: SWAP2
00002eaa: SWAP1
00002eab: POP
00002eac: PUSH2 0x2eb5
00002eaf: DUP7
00002eb0: DUP4
00002eb1: PUSH2 0x37c1
00002eb4: JUMP
00002eb5: JUMPDEST
00002eb6: SWAP6
00002eb7: POP
00002eb8: PUSH2 0x2ec1
00002ebb: DUP7
00002ebc: DUP9
00002ebd: PUSH2 0x3944
00002ec0: JUMP
00002ec1: JUMPDEST
00002ec2: DUP6
00002ec3: MLOAD
00002ec4: PUSH1 0x60
00002ec6: DUP1
00002ec7: DUP9
00002ec8: ADD
00002ec9: MLOAD
00002eca: PUSH1 0x40
00002ecc: DUP1
00002ecd: MLOAD
00002ece: PUSH8 0xffffffffffffffff
00002ed7: DUP13
00002ed8: AND
00002ed9: DUP2
00002eda: MSTORE
00002edb: PUSH1 0x20
00002edd: DUP2
00002ede: ADD
00002edf: SWAP5
00002ee0: SWAP1
00002ee1: SWAP5
00002ee2: MSTORE
00002ee3: PUSH3 0xffffff
00002ee7: SWAP1
00002ee8: SWAP2
00002ee9: AND
00002eea: SWAP1
00002eeb: DUP4
00002eec: ADD
00002eed: MSTORE
00002eee: PUSH32 0xf1e4b6d7d0d7c5deb6393a39862d66a2f2ecb034f3283a8a597f9bf0c36f76fa
00002f0f: SWAP2
00002f10: ADD
00002f11: PUSH1 0x40
00002f13: MLOAD
00002f14: DUP1
00002f15: SWAP2
00002f16: SUB
00002f17: SWAP1
00002f18: LOG1
00002f19: POP
00002f1a: POP
00002f1b: POP
00002f1c: POP
00002f1d: POP
00002f1e: SWAP2
00002f1f: SWAP1
00002f20: POP
00002f21: JUMP
00002f22: JUMPDEST
00002f23: PUSH0
00002f24: DUP1
00002f25: PUSH2 0x2f55
00002f28: DUP4
00002f29: DUP6
00002f2a: PUSH1 0x40
00002f2c: ADD
00002f2d: MLOAD
00002f2e: DUP8
00002f2f: PUSH1 0x40
00002f31: ADD
00002f32: MLOAD
00002f33: PUSH2 0x2f3c
00002f36: SWAP2
00002f37: SWAP1
00002f38: PUSH2 0x4227
00002f3b: JUMP
00002f3c: JUMPDEST
00002f3d: DUP7
00002f3e: PUSH1 0x60
00002f40: ADD
00002f41: MLOAD
00002f42: DUP9
00002f43: PUSH1 0x60
00002f45: ADD
00002f46: MLOAD
00002f47: PUSH2 0x2f50
00002f4a: SWAP2
00002f4b: SWAP1
00002f4c: PUSH2 0x42c4
00002f4f: JUMP
00002f50: JUMPDEST
00002f51: PUSH2 0x3a9d
00002f54: JUMP
00002f55: JUMPDEST
00002f56: SWAP1
00002f57: SWAP7
00002f58: SWAP1
00002f59: SWAP6
00002f5a: POP
00002f5b: SWAP4
00002f5c: POP
00002f5d: POP
00002f5e: POP
00002f5f: POP
00002f60: JUMP
00002f61: JUMPDEST
00002f62: PUSH0
00002f63: DUP1
00002f64: DUP4
00002f65: PUSH0
00002f66: SUB
00002f67: PUSH2 0x2f74
00002f6a: JUMPI
00002f6b: POP
00002f6c: PUSH0
00002f6d: SWAP1
00002f6e: POP
00002f6f: DUP1
00002f70: PUSH2 0x2501
00002f73: JUMP
00002f74: JUMPDEST
00002f75: PUSH0
00002f76: PUSH2 0x2f7e
00002f79: DUP7
00002f7a: PUSH2 0x3afe
00002f7d: JUMP
00002f7e: JUMPDEST
00002f7f: PUSH2 0x2f8d
00002f82: SWAP1
00002f83: PUSH3 0xffffff
00002f87: AND
00002f88: DUP7
00002f89: PUSH2 0x428d
00002f8c: JUMP
00002f8d: JUMPDEST
00002f8e: PUSH1 0xa0
00002f90: DUP8
00002f91: ADD
00002f92: MLOAD
00002f93: SWAP1
00002f94: SWAP2
00002f95: POP
00002f96: PUSH2 0x2fa0
00002f99: SWAP1
00002f9a: DUP6
00002f9b: DUP4
00002f9c: PUSH2 0x3b12
00002f9f: JUMP
00002fa0: JUMPDEST
00002fa1: PUSH1 0x60
00002fa3: DUP8
00002fa4: ADD
00002fa5: MLOAD
00002fa6: PUSH1 0xa0
00002fa8: DUP9
00002fa9: ADD
00002faa: MLOAD
00002fab: SWAP2
00002fac: SWAP4
00002fad: POP
00002fae: SWAP1
00002faf: PUSH2 0x2fb9
00002fb2: SWAP1
00002fb3: DUP7
00002fb4: DUP5
00002fb5: PUSH2 0x3b3e
00002fb8: JUMP
00002fb9: JUMPDEST
00002fba: PUSH2 0x2fc3
00002fbd: SWAP2
00002fbe: SWAP1
00002fbf: PUSH2 0x427a
00002fc2: JUMP
00002fc3: JUMPDEST
00002fc4: SWAP3
00002fc5: POP
00002fc6: POP
00002fc7: SWAP4
00002fc8: POP
00002fc9: SWAP4
00002fca: SWAP2
00002fcb: POP
00002fcc: POP
00002fcd: JUMP
00002fce: JUMPDEST
00002fcf: PUSH0
00002fd0: DUP2
00002fd1: PUSH1 0x60
00002fd3: ADD
00002fd4: MLOAD
00002fd5: PUSH3 0x989680
00002fd9: PUSH2 0x2597
00002fdc: SWAP2
00002fdd: SWAP1
00002fde: PUSH2 0x42c4
00002fe1: JUMP
00002fe2: JUMPDEST
00002fe3: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00003004: DUP2
00003005: SUB
00003006: PUSH2 0x303b
00003009: JUMPI
0000300a: PUSH1 0x40
0000300c: MLOAD
0000300d: PUSH32 0x7538510200000000000000000000000000000000000000000000000000000000
0000302e: DUP2
0000302f: MSTORE
00003030: PUSH1 0x04
00003032: ADD
00003033: PUSH1 0x40
00003035: MLOAD
00003036: DUP1
00003037: SWAP2
00003038: SUB
00003039: SWAP1
0000303a: REVERT
0000303b: JUMPDEST
0000303c: PUSH0
0000303d: PUSH2 0x3045
00003040: DUP3
00003041: PUSH2 0x2509
00003044: JUMP
00003045: JUMPDEST
00003046: DUP1
00003047: SLOAD
00003048: SWAP1
00003049: SWAP2
0000304a: POP
0000304b: ISZERO
0000304c: PUSH2 0x3054
0000304f: JUMPI
00003050: POP
00003051: POP
00003052: POP
00003053: JUMP
00003054: JUMPDEST
00003055: DUP2
00003056: DUP4
00003057: LT
00003058: PUSH2 0x308d
0000305b: JUMPI
0000305c: PUSH1 0x40
0000305e: MLOAD
0000305f: PUSH32 0xa16c453500000000000000000000000000000000000000000000000000000000
00003080: DUP2
00003081: MSTORE
00003082: PUSH1 0x04
00003084: ADD
00003085: PUSH1 0x40
00003087: MLOAD
00003088: DUP1
00003089: SWAP2
0000308a: SUB
0000308b: SWAP1
0000308c: REVERT
0000308d: JUMPDEST
0000308e: PUSH0
0000308f: PUSH2 0x3097
00003092: DUP5
00003093: PUSH2 0x2509
00003096: JUMP
00003097: JUMPDEST
00003098: SLOAD
00003099: SWAP1
0000309a: POP
0000309b: PUSH0
0000309c: DUP2
0000309d: SWAP1
0000309e: SUB
0000309f: PUSH2 0x30d4
000030a2: JUMPI
000030a3: PUSH1 0x40
000030a5: MLOAD
000030a6: PUSH32 0xa16c453500000000000000000000000000000000000000000000000000000000
000030c7: DUP2
000030c8: MSTORE
000030c9: PUSH1 0x04
000030cb: ADD
000030cc: PUSH1 0x40
000030ce: MLOAD
000030cf: DUP1
000030d0: SWAP2
000030d1: SUB
000030d2: SWAP1
000030d3: REVERT
000030d4: JUMPDEST
000030d5: DUP3
000030d6: DUP2
000030d7: LT
000030d8: ISZERO
000030d9: PUSH2 0x30f0
000030dc: JUMPI
000030dd: DUP1
000030de: SWAP4
000030df: POP
000030e0: PUSH2 0x30e8
000030e3: DUP2
000030e4: PUSH2 0x2509
000030e7: JUMP
000030e8: JUMPDEST
000030e9: SLOAD
000030ea: SWAP1
000030eb: POP
000030ec: PUSH2 0x30d4
000030ef: JUMP
000030f0: JUMPDEST
000030f1: DUP1
000030f2: DUP3
000030f3: SSTORE
000030f4: DUP3
000030f5: PUSH2 0x30fd
000030f8: DUP6
000030f9: PUSH2 0x2509
000030fc: JUMP
000030fd: JUMPDEST
000030fe: SSTORE
000030ff: PUSH1 0x07
00003101: SLOAD
00003102: DUP2
00003103: SUB
00003104: PUSH2 0x3140
00003107: JUMPI
00003108: PUSH1 0x07
0000310a: DUP4
0000310b: SWAP1
0000310c: SSTORE
0000310d: PUSH1 0x40
0000310f: MLOAD
00003110: DUP4
00003111: DUP2
00003112: MSTORE
00003113: PUSH32 0xb9a86892440ed5515518351623ecfc523d283b21e92f1505e533ef26137be5b0
00003134: SWAP1
00003135: PUSH1 0x20
00003137: ADD
00003138: PUSH1 0x40
0000313a: MLOAD
0000313b: DUP1
0000313c: SWAP2
0000313d: SUB
0000313e: SWAP1
0000313f: LOG1
00003140: JUMPDEST
00003141: PUSH1 0x40
00003143: MLOAD
00003144: DUP4
00003145: DUP2
00003146: MSTORE
00003147: PUSH32 0x7fdd20e2dbf90ff60a7d9be5ad62f1ec6d9d9cba8b36174a3839cafd059f0958
00003168: SWAP1
00003169: PUSH1 0x20
0000316b: ADD
0000316c: PUSH1 0x40
0000316e: MLOAD
0000316f: DUP1
00003170: SWAP2
00003171: SUB
00003172: SWAP1
00003173: LOG1
00003174: POP
00003175: POP
00003176: POP
00003177: POP
00003178: JUMP
00003179: JUMPDEST
0000317a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000318f: DUP8
00003190: AND
00003191: ISZERO
00003192: PUSH2 0x2aba
00003195: JUMPI
00003196: PUSH1 0x40
00003198: MLOAD
00003199: PUSH32 0x22c44b5f00000000000000000000000000000000000000000000000000000000
000031ba: DUP2
000031bb: MSTORE
000031bc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000031d1: DUP9
000031d2: AND
000031d3: SWAP1
000031d4: PUSH4 0x22c44b5f
000031d9: SWAP1
000031da: PUSH2 0x31f1
000031dd: SWAP1
000031de: DUP10
000031df: SWAP1
000031e0: DUP10
000031e1: SWAP1
000031e2: DUP10
000031e3: SWAP1
000031e4: DUP10
000031e5: SWAP1
000031e6: DUP10
000031e7: SWAP1
000031e8: DUP10
000031e9: SWAP1
000031ea: PUSH1 0x04
000031ec: ADD
000031ed: PUSH2 0x42df
000031f0: JUMP
000031f1: JUMPDEST
000031f2: PUSH0
000031f3: PUSH1 0x40
000031f5: MLOAD
000031f6: DUP1
000031f7: DUP4
000031f8: SUB
000031f9: DUP2
000031fa: PUSH0
000031fb: DUP8
000031fc: DUP1
000031fd: EXTCODESIZE
000031fe: ISZERO
000031ff: DUP1
00003200: ISZERO
00003201: PUSH2 0x3208
00003204: JUMPI
00003205: PUSH0
00003206: DUP1
00003207: REVERT
00003208: JUMPDEST
00003209: POP
0000320a: GAS
0000320b: CALL
0000320c: SWAP3
0000320d: POP
0000320e: POP
0000320f: POP
00003210: DUP1
00003211: ISZERO
00003212: PUSH2 0x3219
00003215: JUMPI
00003216: POP
00003217: PUSH1 0x01
00003219: JUMPDEST
0000321a: PUSH2 0x2aba
0000321d: JUMPI
0000321e: RETURNDATASIZE
0000321f: DUP1
00003220: DUP1
00003221: ISZERO
00003222: PUSH2 0x3246
00003225: JUMPI
00003226: PUSH1 0x40
00003228: MLOAD
00003229: SWAP2
0000322a: POP
0000322b: PUSH1 0x1f
0000322d: NOT
0000322e: PUSH1 0x3f
00003230: RETURNDATASIZE
00003231: ADD
00003232: AND
00003233: DUP3
00003234: ADD
00003235: PUSH1 0x40
00003237: MSTORE
00003238: RETURNDATASIZE
00003239: DUP3
0000323a: MSTORE
0000323b: RETURNDATASIZE
0000323c: PUSH0
0000323d: PUSH1 0x20
0000323f: DUP5
00003240: ADD
00003241: RETURNDATACOPY
00003242: PUSH2 0x324b
00003245: JUMP
00003246: JUMPDEST
00003247: PUSH1 0x60
00003249: SWAP2
0000324a: POP
0000324b: JUMPDEST
0000324c: POP
0000324d: DUP1
0000324e: PUSH1 0x40
00003250: MLOAD
00003251: PUSH32 0x5d73cdc500000000000000000000000000000000000000000000000000000000
00003272: DUP2
00003273: MSTORE
00003274: PUSH1 0x04
00003276: ADD
00003277: PUSH2 0x221c
0000327a: SWAP2
0000327b: SWAP1
0000327c: PUSH2 0x4385
0000327f: JUMP
00003280: JUMPDEST
00003281: PUSH1 0x40
00003283: DUP1
00003284: MLOAD
00003285: PUSH1 0xe0
00003287: DUP2
00003288: ADD
00003289: DUP3
0000328a: MSTORE
0000328b: PUSH0
0000328c: DUP1
0000328d: DUP3
0000328e: MSTORE
0000328f: PUSH1 0x20
00003291: DUP3
00003292: ADD
00003293: DUP2
00003294: SWAP1
00003295: MSTORE
00003296: SWAP2
00003297: DUP2
00003298: ADD
00003299: DUP3
0000329a: SWAP1
0000329b: MSTORE
0000329c: PUSH1 0x60
0000329e: DUP2
0000329f: ADD
000032a0: DUP3
000032a1: SWAP1
000032a2: MSTORE
000032a3: PUSH1 0x80
000032a5: DUP2
000032a6: ADD
000032a7: DUP3
000032a8: SWAP1
000032a9: MSTORE
000032aa: PUSH1 0xa0
000032ac: DUP2
000032ad: ADD
000032ae: DUP3
000032af: SWAP1
000032b0: MSTORE
000032b1: PUSH1 0xc0
000032b3: DUP2
000032b4: ADD
000032b5: SWAP2
000032b6: SWAP1
000032b7: SWAP2
000032b8: MSTORE
000032b9: POP
000032ba: PUSH1 0x40
000032bc: DUP1
000032bd: MLOAD
000032be: PUSH1 0xe0
000032c0: DUP2
000032c1: ADD
000032c2: DUP3
000032c3: MSTORE
000032c4: PUSH8 0xffffffffffffffff
000032cd: NUMBER
000032ce: DUP2
000032cf: AND
000032d0: DUP3
000032d1: MSTORE
000032d2: PUSH3 0xffffff
000032d6: DUP1
000032d7: DUP6
000032d8: AND
000032d9: PUSH1 0x20
000032db: DUP1
000032dc: DUP6
000032dd: ADD
000032de: SWAP2
000032df: DUP3
000032e0: MSTORE
000032e1: PUSH0
000032e2: DUP6
000032e3: DUP8
000032e4: ADD
000032e5: DUP2
000032e6: DUP2
000032e7: MSTORE
000032e8: PUSH1 0x60
000032ea: DUP8
000032eb: ADD
000032ec: DUP11
000032ed: DUP2
000032ee: MSTORE
000032ef: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003304: DUP1
00003305: DUP14
00003306: AND
00003307: PUSH1 0x80
00003309: DUP11
0000330a: ADD
0000330b: SWAP1
0000330c: DUP2
0000330d: MSTORE
0000330e: PUSH1 0xa0
00003310: DUP11
00003311: ADD
00003312: DUP16
00003313: DUP2
00003314: MSTORE
00003315: PUSH1 0xc0
00003317: DUP12
00003318: ADD
00003319: DUP7
0000331a: DUP2
0000331b: MSTORE
0000331c: DUP7
0000331d: SLOAD
0000331e: DUP1
0000331f: DUP9
00003320: MSTORE
00003321: PUSH1 0x01
00003323: SWAP9
00003324: DUP10
00003325: SWAP1
00003326: MSTORE
00003327: SWAP13
00003328: DUP8
00003329: KECCAK256
0000332a: DUP13
0000332b: MLOAD
0000332c: DUP2
0000332d: SLOAD
0000332e: SWAP11
0000332f: MLOAD
00003330: SWAP8
00003331: MLOAD
00003332: DUP14
00003333: AND
00003334: PUSH12 0x010000000000000000000000
00003341: MUL
00003342: PUSH32 0xffffffffffffffffffffffffff0000000000000000ffffffffffffffffffffff
00003363: SWAP9
00003364: SWAP1
00003365: SWAP13
00003366: AND
00003367: PUSH9 0x010000000000000000
00003371: MUL
00003372: PUSH32 0xffffffffffffffffffffffffffffffffffffffffff0000000000000000000000
00003393: SWAP1
00003394: SWAP12
00003395: AND
00003396: SWAP13
00003397: AND
00003398: SWAP12
00003399: SWAP1
0000339a: SWAP12
0000339b: OR
0000339c: SWAP9
0000339d: SWAP1
0000339e: SWAP9
0000339f: OR
000033a0: SWAP5
000033a1: SWAP1
000033a2: SWAP5
000033a3: AND
000033a4: SWAP8
000033a5: SWAP1
000033a6: SWAP8
000033a7: OR
000033a8: DUP9
000033a9: SSTORE
000033aa: SWAP1
000033ab: MLOAD
000033ac: SWAP4
000033ad: DUP8
000033ae: ADD
000033af: SWAP4
000033b0: SWAP1
000033b1: SWAP4
000033b2: SSTORE
000033b3: SWAP4
000033b4: MLOAD
000033b5: PUSH1 0x02
000033b7: DUP7
000033b8: ADD
000033b9: DUP1
000033ba: SLOAD
000033bb: SWAP2
000033bc: SWAP1
000033bd: SWAP4
000033be: AND
000033bf: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
000033e0: SWAP1
000033e1: SWAP2
000033e2: AND
000033e3: OR
000033e4: SWAP1
000033e5: SWAP2
000033e6: SSTORE
000033e7: SWAP2
000033e8: MLOAD
000033e9: PUSH1 0x03
000033eb: DUP5
000033ec: ADD
000033ed: SSTORE
000033ee: MLOAD
000033ef: PUSH1 0x04
000033f1: SWAP1
000033f2: SWAP3
000033f3: ADD
000033f4: SWAP2
000033f5: SWAP1
000033f6: SWAP2
000033f7: SSTORE
000033f8: DUP1
000033f9: SLOAD
000033fa: SWAP2
000033fb: SWAP3
000033fc: SWAP2
000033fd: SWAP1
000033fe: DUP1
000033ff: PUSH2 0x3407
00003402: DUP4
00003403: PUSH2 0x43d8
00003406: JUMP
00003407: JUMPDEST
00003408: SWAP2
00003409: SWAP1
0000340a: POP
0000340b: SSTORE
0000340c: POP
0000340d: SWAP5
0000340e: POP
0000340f: SWAP5
00003410: SWAP3
00003411: POP
00003412: POP
00003413: POP
00003414: JUMP
00003415: JUMPDEST
00003416: PUSH0
00003417: DUP1
00003418: PUSH2 0x3420
0000341b: DUP4
0000341c: PUSH2 0x3afe
0000341f: JUMP
00003420: JUMPDEST
00003421: SWAP1
00003422: POP
00003423: DUP1
00003424: PUSH3 0xffffff
00003428: AND
00003429: PUSH0
0000342a: SUB
0000342b: PUSH2 0x3460
0000342e: JUMPI
0000342f: PUSH1 0x40
00003431: MLOAD
00003432: PUSH32 0x15604cc500000000000000000000000000000000000000000000000000000000
00003453: DUP2
00003454: MSTORE
00003455: PUSH1 0x04
00003457: ADD
00003458: PUSH1 0x40
0000345a: MLOAD
0000345b: DUP1
0000345c: SWAP2
0000345d: SUB
0000345e: SWAP1
0000345f: REVERT
00003460: JUMPDEST
00003461: PUSH1 0xa0
00003463: DUP4
00003464: ADD
00003465: MLOAD
00003466: PUSH3 0xffffff
0000346a: DUP3
0000346b: AND
0000346c: SWAP1
0000346d: PUSH2 0x347a
00003470: SWAP1
00003471: PUSH3 0x989680
00003475: SWAP1
00003476: PUSH2 0x428d
00003479: JUMP
0000347a: JUMPDEST
0000347b: PUSH2 0x2de2
0000347e: SWAP2
0000347f: SWAP1
00003480: PUSH2 0x427a
00003483: JUMP
00003484: JUMPDEST
00003485: PUSH0
00003486: PUSH2 0x348e
00003489: DUP4
0000348a: PUSH2 0x2509
0000348d: JUMP
0000348e: JUMPDEST
0000348f: DUP1
00003490: SLOAD
00003491: SWAP1
00003492: SWAP2
00003493: POP
00003494: PUSH0
00003495: SUB
00003496: PUSH2 0x34cb
00003499: JUMPI
0000349a: PUSH1 0x40
0000349c: MLOAD
0000349d: PUSH32 0x997768ad00000000000000000000000000000000000000000000000000000000
000034be: DUP2
000034bf: MSTORE
000034c0: PUSH1 0x04
000034c2: ADD
000034c3: PUSH1 0x40
000034c5: MLOAD
000034c6: DUP1
000034c7: SWAP2
000034c8: SUB
000034c9: SWAP1
000034ca: REVERT
000034cb: JUMPDEST
000034cc: DUP2
000034cd: DUP2
000034ce: PUSH1 0x01
000034d0: ADD
000034d1: PUSH0
000034d2: DUP3
000034d3: DUP3
000034d4: SLOAD
000034d5: PUSH2 0x34de
000034d8: SWAP2
000034d9: SWAP1
000034da: PUSH2 0x41e7
000034dd: JUMP
000034de: JUMPDEST
000034df: SWAP1
000034e0: SWAP2
000034e1: SSTORE
000034e2: POP
000034e3: POP
000034e4: POP
000034e5: POP
000034e6: POP
000034e7: JUMP
000034e8: JUMPDEST
000034e9: DUP1
000034ea: MLOAD
000034eb: PUSH0
000034ec: SWAP1
000034ed: PUSH32 0x000000000000000000000000000000000000000000009fa80d76fe275c3f66ac
0000350e: DUP2
0000350f: ISZERO
00003510: MUL
00003511: OR
00003512: PUSH2 0x351a
00003515: DUP4
00003516: PUSH2 0x2fce
00003519: JUMP
0000351a: JUMPDEST
0000351b: PUSH3 0xffffff
0000351f: AND
00003520: PUSH0
00003521: SUB
00003522: PUSH2 0x352b
00003525: JUMPI
00003526: SWAP3
00003527: SWAP2
00003528: POP
00003529: POP
0000352a: JUMP
0000352b: JUMPDEST
0000352c: PUSH1 0x0c
0000352e: SLOAD
0000352f: PUSH1 0x07
00003531: SLOAD
00003532: PUSH0
00003533: SWAP2
00003534: SWAP1
00003535: DUP3
00003536: PUSH2 0x3571
00003539: DUP4
0000353a: PUSH16 0xffffffffffffffffffffffffffffffff
0000354b: PUSH32 0x000000000000000000000000000000000000000004ffa5fe0ab05ffbeb000000
0000356c: AND
0000356d: PUSH2 0x3beb
00003570: JUMP
00003571: JUMPDEST
00003572: SWAP1
00003573: POP
00003574: JUMPDEST
00003575: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00003596: DUP3
00003597: EQ
00003598: ISZERO
00003599: DUP1
0000359a: ISZERO
0000359b: PUSH2 0x35df
0000359e: JUMPI
0000359f: POP
000035a0: PUSH2 0x35db
000035a3: DUP3
000035a4: PUSH16 0xffffffffffffffffffffffffffffffff
000035b5: PUSH32 0x000000000000000000000000000000000000000004ffa5fe0ab05ffbeb000000
000035d6: AND
000035d7: PUSH2 0x428d
000035da: JUMP
000035db: JUMPDEST
000035dc: DUP4
000035dd: LT
000035de: ISZERO
000035df: JUMPDEST
000035e0: DUP1
000035e1: PUSH2 0x35e9
000035e4: JUMPI
000035e5: POP
000035e6: DUP2
000035e7: DUP2
000035e8: EQ
000035e9: JUMPDEST
000035ea: ISZERO
000035eb: PUSH2 0x3659
000035ee: JUMPI
000035ef: PUSH0
000035f0: PUSH2 0x35f8
000035f3: DUP4
000035f4: PUSH2 0x2509
000035f7: JUMP
000035f8: JUMPDEST
000035f9: SWAP1
000035fa: POP
000035fb: DUP1
000035fc: PUSH1 0x01
000035fe: ADD
000035ff: SLOAD
00003600: DUP5
00003601: PUSH2 0x360a
00003604: SWAP2
00003605: SWAP1
00003606: PUSH2 0x4227
00003609: JUMP
0000360a: JUMPDEST
0000360b: DUP2
0000360c: SLOAD
0000360d: SWAP4
0000360e: SWAP7
0000360f: POP
00003610: SWAP4
00003611: POP
00003612: PUSH2 0x364d
00003615: DUP5
00003616: PUSH16 0xffffffffffffffffffffffffffffffff
00003627: PUSH32 0x000000000000000000000000000000000000000004ffa5fe0ab05ffbeb000000
00003648: AND
00003649: PUSH2 0x3beb
0000364c: JUMP
0000364d: JUMPDEST
0000364e: SWAP2
0000364f: POP
00003650: PUSH1 0x01
00003652: SWAP5
00003653: POP
00003654: POP
00003655: PUSH2 0x3574
00003658: JUMP
00003659: JUMPDEST
0000365a: DUP4
0000365b: ISZERO
0000365c: PUSH2 0x369d
0000365f: JUMPI
00003660: PUSH1 0x0c
00003662: DUP4
00003663: SWAP1
00003664: SSTORE
00003665: PUSH1 0x07
00003667: DUP3
00003668: SWAP1
00003669: SSTORE
0000366a: PUSH1 0x40
0000366c: MLOAD
0000366d: DUP3
0000366e: DUP2
0000366f: MSTORE
00003670: PUSH32 0xb9a86892440ed5515518351623ecfc523d283b21e92f1505e533ef26137be5b0
00003691: SWAP1
00003692: PUSH1 0x20
00003694: ADD
00003695: PUSH1 0x40
00003697: MLOAD
00003698: DUP1
00003699: SWAP2
0000369a: SUB
0000369b: SWAP1
0000369c: LOG1
0000369d: JUMPDEST
0000369e: DUP5
0000369f: DUP2
000036a0: LT
000036a1: ISZERO
000036a2: PUSH2 0x0af3
000036a5: JUMPI
000036a6: POP
000036a7: SWAP3
000036a8: SWAP6
000036a9: SWAP5
000036aa: POP
000036ab: POP
000036ac: POP
000036ad: POP
000036ae: POP
000036af: JUMP
000036b0: JUMPDEST
000036b1: PUSH1 0x40
000036b3: DUP1
000036b4: MLOAD
000036b5: PUSH1 0x60
000036b7: DUP1
000036b8: DUP3
000036b9: ADD
000036ba: DUP4
000036bb: MSTORE
000036bc: PUSH0
000036bd: DUP1
000036be: DUP4
000036bf: MSTORE
000036c0: PUSH1 0x20
000036c2: DUP1
000036c3: DUP5
000036c4: ADD
000036c5: DUP3
000036c6: SWAP1
000036c7: MSTORE
000036c8: SWAP3
000036c9: DUP5
000036ca: ADD
000036cb: DUP2
000036cc: SWAP1
000036cd: MSTORE
000036ce: DUP4
000036cf: MLOAD
000036d0: SWAP2
000036d1: DUP3
000036d2: ADD
000036d3: DUP5
000036d4: MSTORE
000036d5: PUSH1 0x05
000036d7: SLOAD
000036d8: PUSH3 0xffffff
000036dc: DUP2
000036dd: AND
000036de: DUP1
000036df: DUP5
000036e0: MSTORE
000036e1: PUSH8 0xffffffffffffffff
000036ea: PUSH4 0x01000000
000036ef: DUP4
000036f0: DIV
000036f1: DUP2
000036f2: AND
000036f3: SWAP6
000036f4: DUP6
000036f5: ADD
000036f6: DUP7
000036f7: SWAP1
000036f8: MSTORE
000036f9: PUSH12 0x010000000000000000000000
00003706: SWAP1
00003707: SWAP3
00003708: DIV
00003709: DUP3
0000370a: AND
0000370b: SWAP6
0000370c: DUP5
0000370d: ADD
0000370e: DUP7
0000370f: SWAP1
00003710: MSTORE
00003711: SWAP3
00003712: SWAP5
00003713: SWAP2
00003714: SWAP4
00003715: SWAP1
00003716: DUP7
00003717: AND
00003718: DUP1
00003719: DUP3
0000371a: XOR
0000371b: SWAP1
0000371c: DUP3
0000371d: LT
0000371e: MUL
0000371f: XOR
00003720: SWAP2
00003721: JUMPDEST
00003722: DUP2
00003723: PUSH8 0xffffffffffffffff
0000372c: AND
0000372d: DUP8
0000372e: PUSH8 0xffffffffffffffff
00003737: AND
00003738: GT
00003739: ISZERO
0000373a: PUSH2 0x37b7
0000373d: JUMPI
0000373e: PUSH0
0000373f: PUSH2 0x3748
00003742: DUP5
00003743: DUP5
00003744: PUSH2 0x42a4
00003747: JUMP
00003748: JUMPDEST
00003749: SWAP1
0000374a: POP
0000374b: DUP2
0000374c: PUSH3 0xffffff
00003750: AND
00003751: DUP2
00003752: MUL
00003753: DUP6
00003754: ADD
00003755: SWAP5
00003756: POP
00003757: DUP3
00003758: SWAP4
00003759: POP
0000375a: PUSH32 0x00000000000000000000000000000000000000000000000000000000016d874c
0000377b: PUSH8 0xffffffffffffffff
00003784: AND
00003785: DUP4
00003786: PUSH8 0xffffffffffffffff
0000378f: AND
00003790: SUB
00003791: PUSH2 0x379a
00003794: JUMPI
00003795: POP
00003796: PUSH2 0x37b7
00003799: JUMP
0000379a: JUMPDEST
0000379b: PUSH2 0x37a2
0000379e: PUSH2 0x3c0a
000037a1: JUMP
000037a2: JUMPDEST
000037a3: SWAP6
000037a4: POP
000037a5: DUP6
000037a6: PUSH0
000037a7: ADD
000037a8: MLOAD
000037a9: SWAP2
000037aa: POP
000037ab: DUP6
000037ac: PUSH1 0x40
000037ae: ADD
000037af: MLOAD
000037b0: SWAP3
000037b1: POP
000037b2: POP
000037b3: PUSH2 0x3721
000037b6: JUMP
000037b7: JUMPDEST
000037b8: POP
000037b9: POP
000037ba: POP
000037bb: SWAP3
000037bc: POP
000037bd: SWAP3
000037be: SWAP1
000037bf: POP
000037c0: JUMP
000037c1: JUMPDEST
000037c2: PUSH1 0x40
000037c4: DUP1
000037c5: MLOAD
000037c6: PUSH1 0xc0
000037c8: DUP2
000037c9: ADD
000037ca: DUP3
000037cb: MSTORE
000037cc: PUSH0
000037cd: DUP1
000037ce: DUP3
000037cf: MSTORE
000037d0: PUSH1 0x20
000037d2: DUP3
000037d3: ADD
000037d4: DUP2
000037d5: SWAP1
000037d6: MSTORE
000037d7: SWAP2
000037d8: DUP2
000037d9: ADD
000037da: DUP3
000037db: SWAP1
000037dc: MSTORE
000037dd: PUSH1 0x60
000037df: DUP2
000037e0: ADD
000037e1: DUP3
000037e2: SWAP1
000037e3: MSTORE
000037e4: PUSH1 0x80
000037e6: DUP2
000037e7: ADD
000037e8: DUP3
000037e9: SWAP1
000037ea: MSTORE
000037eb: PUSH1 0xa0
000037ed: DUP2
000037ee: ADD
000037ef: SWAP2
000037f0: SWAP1
000037f1: SWAP2
000037f2: MSTORE
000037f3: DUP3
000037f4: MLOAD
000037f5: PUSH1 0x0c
000037f7: SLOAD
000037f8: PUSH3 0xffffff
000037fc: DUP5
000037fd: AND
000037fe: SWAP1
000037ff: DUP1
00003800: DUP3
00003801: MUL
00003802: PUSH2 0x382b
00003805: PUSH32 0x000000000000000000000000000000000000000000000198b87463d250485063
00003826: DUP6
00003827: PUSH2 0x4267
0000382a: JUMP
0000382b: JUMPDEST
0000382c: PUSH0
0000382d: SUB
0000382e: PUSH2 0x38c1
00003831: JUMPI
00003832: PUSH0
00003833: PUSH2 0x383b
00003836: DUP6
00003837: PUSH2 0x2509
0000383a: JUMP
0000383b: JUMPDEST
0000383c: PUSH1 0x01
0000383e: ADD
0000383f: SLOAD
00003840: SWAP1
00003841: POP
00003842: DUP1
00003843: ISZERO
00003844: PUSH2 0x38bf
00003847: JUMPI
00003848: DUP2
00003849: PUSH16 0xffffffffffffffffffffffffffffffff
0000385a: PUSH32 0x000000000000000000000000000000000000000004ffa5fe0ab05ffbeb000000
0000387b: AND
0000387c: DUP7
0000387d: MUL
0000387e: DUP6
0000387f: MUL
00003880: PUSH0
00003881: PUSH2 0x388a
00003884: DUP4
00003885: DUP4
00003886: PUSH2 0x4227
00003889: JUMP
0000388a: JUMPDEST
0000388b: SWAP1
0000388c: POP
0000388d: DUP4
0000388e: DUP8
0000388f: MUL
00003890: DUP1
00003891: DUP3
00003892: XOR
00003893: DUP2
00003894: DUP4
00003895: GT
00003896: MUL
00003897: DUP3
00003898: XOR
00003899: PUSH2 0x38a2
0000389c: DUP6
0000389d: DUP3
0000389e: PUSH2 0x41e7
000038a1: JUMP
000038a2: JUMPDEST
000038a3: SWAP7
000038a4: POP
000038a5: DUP1
000038a6: DUP14
000038a7: PUSH1 0x20
000038a9: ADD
000038aa: MLOAD
000038ab: PUSH2 0x38b4
000038ae: SWAP2
000038af: SWAP1
000038b0: PUSH2 0x41e7
000038b3: JUMP
000038b4: JUMPDEST
000038b5: PUSH1 0x20
000038b7: DUP15
000038b8: ADD
000038b9: MSTORE
000038ba: POP
000038bb: POP
000038bc: POP
000038bd: POP
000038be: POP
000038bf: JUMPDEST
000038c0: POP
000038c1: JUMPDEST
000038c2: PUSH0
000038c3: PUSH2 0x38da
000038c6: DUP3
000038c7: PUSH13 0x01000000000000000000000000
000038d5: DUP8
000038d6: PUSH2 0x3b12
000038d9: JUMP
000038da: JUMPDEST
000038db: SWAP1
000038dc: POP
000038dd: DUP1
000038de: PUSH1 0x0b
000038e0: SLOAD
000038e1: PUSH2 0x38ea
000038e4: SWAP2
000038e5: SWAP1
000038e6: PUSH2 0x41e7
000038e9: JUMP
000038ea: JUMPDEST
000038eb: PUSH1 0x0b
000038ed: SSTORE
000038ee: PUSH1 0x0a
000038f0: SLOAD
000038f1: PUSH2 0x38fb
000038f4: SWAP1
000038f5: DUP4
000038f6: SWAP1
000038f7: PUSH2 0x41e7
000038fa: JUMP
000038fb: JUMPDEST
000038fc: PUSH1 0x0a
000038fe: SSTORE
000038ff: PUSH1 0x60
00003901: DUP9
00003902: ADD
00003903: DUP1
00003904: MLOAD
00003905: DUP9
00003906: SWAP2
00003907: SWAP1
00003908: PUSH2 0x3912
0000390b: SWAP1
0000390c: DUP4
0000390d: SWAP1
0000390e: PUSH2 0x440f
00003911: JUMP
00003912: JUMPDEST
00003913: PUSH3 0xffffff
00003917: AND
00003918: SWAP1
00003919: MSTORE
0000391a: POP
0000391b: PUSH2 0x3924
0000391e: DUP8
0000391f: DUP7
00003920: PUSH2 0x3e97
00003923: JUMP
00003924: JUMPDEST
00003925: DUP9
00003926: PUSH1 0x40
00003928: ADD
00003929: DUP2
0000392a: DUP2
0000392b: MLOAD
0000392c: PUSH2 0x3935
0000392f: SWAP2
00003930: SWAP1
00003931: PUSH2 0x41e7
00003934: JUMP
00003935: JUMPDEST
00003936: SWAP1
00003937: MSTORE
00003938: POP
00003939: SWAP7
0000393a: SWAP8
0000393b: SWAP7
0000393c: POP
0000393d: POP
0000393e: POP
0000393f: POP
00003940: POP
00003941: POP
00003942: POP
00003943: JUMP
00003944: JUMPDEST
00003945: PUSH1 0x03
00003947: SLOAD
00003948: PUSH8 0xffffffffffffffff
00003951: SWAP1
00003952: DUP2
00003953: AND
00003954: SWAP1
00003955: DUP3
00003956: AND
00003957: DUP2
00003958: LT
00003959: PUSH2 0x398e
0000395c: JUMPI
0000395d: PUSH1 0x40
0000395f: MLOAD
00003960: PUSH32 0xca31f40d00000000000000000000000000000000000000000000000000000000
00003981: DUP2
00003982: MSTORE
00003983: PUSH1 0x04
00003985: ADD
00003986: PUSH1 0x40
00003988: MLOAD
00003989: DUP1
0000398a: SWAP2
0000398b: SUB
0000398c: SWAP1
0000398d: REVERT
0000398e: JUMPDEST
0000398f: PUSH8 0xffffffffffffffff
00003998: SWAP1
00003999: DUP2
0000399a: AND
0000399b: PUSH1 0x80
0000399d: DUP5
0000399e: ADD
0000399f: DUP2
000039a0: DUP2
000039a1: MSTORE
000039a2: PUSH1 0xa0
000039a4: DUP6
000039a5: ADD
000039a6: DUP4
000039a7: DUP2
000039a8: MSTORE
000039a9: PUSH0
000039aa: SWAP3
000039ab: DUP4
000039ac: MSTORE
000039ad: PUSH1 0x02
000039af: PUSH1 0x20
000039b1: DUP2
000039b2: DUP2
000039b3: MSTORE
000039b4: PUSH1 0x40
000039b6: DUP1
000039b7: DUP7
000039b8: KECCAK256
000039b9: PUSH1 0x03
000039bb: SWAP1
000039bc: DUP2
000039bd: ADD
000039be: DUP1
000039bf: SLOAD
000039c0: SWAP10
000039c1: DUP10
000039c2: AND
000039c3: PUSH12 0x010000000000000000000000
000039d0: DUP2
000039d1: DUP2
000039d2: MUL
000039d3: PUSH32 0xffffffffffffffffffffffffff0000000000000000ffffffffffffffffffffff
000039f4: SWAP13
000039f5: DUP14
000039f6: AND
000039f7: OR
000039f8: SWAP1
000039f9: SWAP3
000039fa: SSTORE
000039fb: DUP1
000039fc: DUP10
000039fd: MSTORE
000039fe: SWAP8
000039ff: DUP4
00003a00: SWAP1
00003a01: KECCAK256
00003a02: DUP12
00003a03: MLOAD
00003a04: DUP2
00003a05: SSTORE
00003a06: SWAP4
00003a07: DUP12
00003a08: ADD
00003a09: MLOAD
00003a0a: PUSH1 0x01
00003a0c: DUP6
00003a0d: ADD
00003a0e: SSTORE
00003a0f: SWAP2
00003a10: DUP11
00003a11: ADD
00003a12: MLOAD
00003a13: SWAP4
00003a14: DUP4
00003a15: ADD
00003a16: SWAP4
00003a17: SWAP1
00003a18: SWAP4
00003a19: SSTORE
00003a1a: PUSH1 0x60
00003a1c: SWAP1
00003a1d: SWAP9
00003a1e: ADD
00003a1f: MLOAD
00003a20: SWAP1
00003a21: DUP3
00003a22: ADD
00003a23: DUP1
00003a24: SLOAD
00003a25: SWAP5
00003a26: MLOAD
00003a27: SWAP4
00003a28: MLOAD
00003a29: DUP8
00003a2a: AND
00003a2b: SWAP1
00003a2c: SWAP9
00003a2d: MUL
00003a2e: SWAP3
00003a2f: SWAP1
00003a30: SWAP6
00003a31: AND
00003a32: PUSH4 0x01000000
00003a37: MUL
00003a38: PUSH32 0xffffffffffffffffffffffffffffffffffffffffff0000000000000000000000
00003a59: SWAP1
00003a5a: SWAP4
00003a5b: AND
00003a5c: PUSH3 0xffffff
00003a60: SWAP1
00003a61: SWAP6
00003a62: AND
00003a63: SWAP5
00003a64: SWAP1
00003a65: SWAP5
00003a66: OR
00003a67: SWAP2
00003a68: SWAP1
00003a69: SWAP2
00003a6a: OR
00003a6b: SWAP1
00003a6c: SWAP4
00003a6d: AND
00003a6e: SWAP3
00003a6f: SWAP1
00003a70: SWAP3
00003a71: OR
00003a72: SWAP1
00003a73: SWAP3
00003a74: SSTORE
00003a75: DUP2
00003a76: SLOAD
00003a77: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffff0000000000000000
00003a98: AND
00003a99: OR
00003a9a: SWAP1
00003a9b: SSTORE
00003a9c: JUMP
00003a9d: JUMPDEST
00003a9e: PUSH0
00003a9f: DUP1
00003aa0: PUSH0
00003aa1: PUSH2 0x3aa9
00003aa4: DUP7
00003aa5: PUSH2 0x3afe
00003aa8: JUMP
00003aa9: JUMPDEST
00003aaa: PUSH1 0xa0
00003aac: DUP8
00003aad: ADD
00003aae: MLOAD
00003aaf: SWAP1
00003ab0: SWAP2
00003ab1: POP
00003ab2: PUSH2 0x3ac4
00003ab5: SWAP1
00003ab6: PUSH3 0xffffff
00003aba: DUP1
00003abb: DUP8
00003abc: AND
00003abd: SWAP1
00003abe: DUP5
00003abf: AND
00003ac0: PUSH2 0x3b12
00003ac3: JUMP
00003ac4: JUMPDEST
00003ac5: SWAP2
00003ac6: POP
00003ac7: PUSH2 0x2fc3
00003aca: DUP6
00003acb: PUSH2 0x3af2
00003ace: PUSH3 0xffffff
00003ad2: DUP5
00003ad3: AND
00003ad4: PUSH25 0x01000000000000000000000000000000000000000000000000
00003aee: PUSH2 0x428d
00003af1: JUMP
00003af2: JUMPDEST
00003af3: PUSH1 0xa0
00003af5: DUP10
00003af6: ADD
00003af7: MLOAD
00003af8: SWAP2
00003af9: SWAP1
00003afa: PUSH2 0x3b3e
00003afd: JUMP
00003afe: JUMPDEST
00003aff: PUSH0
00003b00: DUP2
00003b01: PUSH1 0x20
00003b03: ADD
00003b04: MLOAD
00003b05: PUSH3 0x989680
00003b09: PUSH2 0x2597
00003b0c: SWAP2
00003b0d: SWAP1
00003b0e: PUSH2 0x42c4
00003b11: JUMP
00003b12: JUMPDEST
00003b13: PUSH0
00003b14: PUSH2 0x3b1e
00003b17: DUP5
00003b18: DUP5
00003b19: DUP5
00003b1a: PUSH2 0x3b3e
00003b1d: JUMP
00003b1e: JUMPDEST
00003b1f: SWAP1
00003b20: POP
00003b21: DUP2
00003b22: DUP4
00003b23: DUP6
00003b24: MULMOD
00003b25: ISZERO
00003b26: PUSH2 0x2de2
00003b29: JUMPI
00003b2a: PUSH1 0x01
00003b2c: ADD
00003b2d: DUP1
00003b2e: PUSH2 0x2de2
00003b31: JUMPI
00003b32: PUSH4 0xae47f702
00003b37: PUSH0
00003b38: MSTORE
00003b39: PUSH1 0x04
00003b3b: PUSH1 0x1c
00003b3d: REVERT
00003b3e: JUMPDEST
00003b3f: DUP3
00003b40: DUP3
00003b41: MUL
00003b42: DUP2
00003b43: DUP4
00003b44: DUP6
00003b45: DUP4
00003b46: DIV
00003b47: EQ
00003b48: DUP6
00003b49: ISZERO
00003b4a: OR
00003b4b: MUL
00003b4c: PUSH2 0x3be4
00003b4f: JUMPI
00003b50: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00003b71: DUP4
00003b72: DUP6
00003b73: MULMOD
00003b74: DUP2
00003b75: DUP2
00003b76: LT
00003b77: DUP3
00003b78: ADD
00003b79: SWAP1
00003b7a: SUB
00003b7b: DUP3
00003b7c: DUP5
00003b7d: DUP7
00003b7e: MULMOD
00003b7f: DUP4
00003b80: PUSH0
00003b81: SUB
00003b82: DUP5
00003b83: AND
00003b84: DUP3
00003b85: DUP6
00003b86: GT
00003b87: PUSH2 0x3b97
00003b8a: JUMPI
00003b8b: PUSH4 0xae47f702
00003b90: PUSH0
00003b91: MSTORE
00003b92: PUSH1 0x04
00003b94: PUSH1 0x1c
00003b96: REVERT
00003b97: JUMPDEST
00003b98: SWAP4
00003b99: DUP5
00003b9a: SWAP1
00003b9b: DIV
00003b9c: SWAP4
00003b9d: DUP4
00003b9e: DUP3
00003b9f: GT
00003ba0: SWAP1
00003ba1: SWAP3
00003ba2: SUB
00003ba3: PUSH0
00003ba4: DUP4
00003ba5: SWAP1
00003ba6: SUB
00003ba7: DUP4
00003ba8: SWAP1
00003ba9: DIV
00003baa: PUSH1 0x01
00003bac: ADD
00003bad: MUL
00003bae: SWAP3
00003baf: SUB
00003bb0: DIV
00003bb1: OR
00003bb2: PUSH1 0x02
00003bb4: PUSH1 0x03
00003bb6: DUP4
00003bb7: MUL
00003bb8: DUP2
00003bb9: XOR
00003bba: DUP1
00003bbb: DUP5
00003bbc: MUL
00003bbd: DUP3
00003bbe: SUB
00003bbf: MUL
00003bc0: DUP1
00003bc1: DUP5
00003bc2: MUL
00003bc3: DUP3
00003bc4: SUB
00003bc5: MUL
00003bc6: DUP1
00003bc7: DUP5
00003bc8: MUL
00003bc9: DUP3
00003bca: SUB
00003bcb: MUL
00003bcc: DUP1
00003bcd: DUP5
00003bce: MUL
00003bcf: DUP3
00003bd0: SUB
00003bd1: MUL
00003bd2: DUP1
00003bd3: DUP5
00003bd4: MUL
00003bd5: DUP3
00003bd6: SUB
00003bd7: MUL
00003bd8: DUP1
00003bd9: DUP5
00003bda: MUL
00003bdb: SWAP1
00003bdc: SWAP2
00003bdd: SUB
00003bde: MUL
00003bdf: MUL
00003be0: PUSH2 0x2de2
00003be3: JUMP
00003be4: JUMPDEST
00003be5: DIV
00003be6: SWAP3
00003be7: SWAP2
00003be8: POP
00003be9: POP
00003bea: JUMP
00003beb: JUMPDEST
00003bec: PUSH0
00003bed: DUP2
00003bee: PUSH2 0x3bfe
00003bf1: JUMPI
00003bf2: PUSH4 0x65244e4e
00003bf7: PUSH0
00003bf8: MSTORE
00003bf9: PUSH1 0x04
00003bfb: PUSH1 0x1c
00003bfd: REVERT
00003bfe: JUMPDEST
00003bff: POP
00003c00: DUP1
00003c01: DUP3
00003c02: MOD
00003c03: ISZERO
00003c04: ISZERO
00003c05: SWAP2
00003c06: DIV
00003c07: ADD
00003c08: SWAP1
00003c09: JUMP
00003c0a: JUMPDEST
00003c0b: PUSH1 0x40
00003c0d: DUP1
00003c0e: MLOAD
00003c0f: PUSH1 0x60
00003c11: DUP2
00003c12: ADD
00003c13: DUP3
00003c14: MSTORE
00003c15: PUSH0
00003c16: DUP1
00003c17: DUP3
00003c18: MSTORE
00003c19: PUSH1 0x20
00003c1b: DUP3
00003c1c: ADD
00003c1d: DUP2
00003c1e: SWAP1
00003c1f: MSTORE
00003c20: SWAP2
00003c21: DUP2
00003c22: ADD
00003c23: SWAP2
00003c24: SWAP1
00003c25: SWAP2
00003c26: MSTORE
00003c27: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000040
00003c48: PUSH1 0x04
00003c4a: SLOAD
00003c4b: LT
00003c4c: PUSH2 0x3c81
00003c4f: JUMPI
00003c50: PUSH1 0x40
00003c52: MLOAD
00003c53: PUSH32 0x5f0ae8b500000000000000000000000000000000000000000000000000000000
00003c74: DUP2
00003c75: MSTORE
00003c76: PUSH1 0x04
00003c78: ADD
00003c79: PUSH1 0x40
00003c7b: MLOAD
00003c7c: DUP1
00003c7d: SWAP2
00003c7e: SUB
00003c7f: SWAP1
00003c80: REVERT
00003c81: JUMPDEST
00003c82: PUSH1 0x04
00003c84: SLOAD
00003c85: PUSH0
00003c86: SWAP1
00003c87: PUSH2 0x3cd3
00003c8a: SWAP1
00003c8b: PUSH2 0x3c95
00003c8e: PUSH1 0x08
00003c90: DUP3
00003c91: PUSH2 0x41e7
00003c94: JUMP
00003c95: JUMPDEST
00003c96: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003cab: PUSH32 0x000000000000000000000000ff71bdd5419bae0208be88068abf169303deb7ca
00003ccc: AND
00003ccd: SWAP2
00003cce: SWAP1
00003ccf: PUSH2 0x3ed1
00003cd2: JUMP
00003cd3: JUMPDEST
00003cd4: PUSH2 0x3cdc
00003cd7: SWAP1
00003cd8: PUSH2 0x442a
00003cdb: JUMP
00003cdc: JUMPDEST
00003cdd: PUSH1 0x05
00003cdf: SLOAD
00003ce0: SWAP1
00003ce1: SWAP2
00003ce2: POP
00003ce3: PUSH1 0xe8
00003ce5: DUP3
00003ce6: SWAP1
00003ce7: SHR
00003ce8: SWAP1
00003ce9: PUSH1 0xc0
00003ceb: DUP4
00003cec: SWAP1
00003ced: SHR
00003cee: SWAP1
00003cef: PUSH12 0x010000000000000000000000
00003cfc: SWAP1
00003cfd: DIV
00003cfe: PUSH8 0xffffffffffffffff
00003d07: AND
00003d08: PUSH0
00003d09: DUP2
00003d0a: SWAP1
00003d0b: SUB
00003d0c: PUSH2 0x3d32
00003d0f: JUMPI
00003d10: POP
00003d11: PUSH32 0x00000000000000000000000000000000000000000000000000000000016b0495
00003d32: JUMPDEST
00003d33: PUSH0
00003d34: PUSH2 0x3d44
00003d37: PUSH5 0xffffffffff
00003d3d: DUP5
00003d3e: AND
00003d3f: DUP4
00003d40: PUSH2 0x4496
00003d43: JUMP
00003d44: JUMPDEST
00003d45: PUSH1 0x40
00003d47: DUP1
00003d48: MLOAD
00003d49: PUSH1 0x60
00003d4b: DUP2
00003d4c: ADD
00003d4d: DUP3
00003d4e: MSTORE
00003d4f: PUSH3 0xffffff
00003d53: DUP8
00003d54: AND
00003d55: DUP1
00003d56: DUP3
00003d57: MSTORE
00003d58: PUSH8 0xffffffffffffffff
00003d61: DUP7
00003d62: DUP2
00003d63: AND
00003d64: PUSH1 0x20
00003d66: DUP5
00003d67: ADD
00003d68: DUP2
00003d69: SWAP1
00003d6a: MSTORE
00003d6b: SWAP1
00003d6c: DUP6
00003d6d: AND
00003d6e: SWAP3
00003d6f: SWAP1
00003d70: SWAP4
00003d71: ADD
00003d72: DUP3
00003d73: SWAP1
00003d74: MSTORE
00003d75: PUSH1 0x05
00003d77: DUP1
00003d78: SLOAD
00003d79: PUSH32 0xffffffffffffffffffffffffffffffffffffffffff0000000000000000000000
00003d9a: AND
00003d9b: SWAP1
00003d9c: SWAP2
00003d9d: OR
00003d9e: PUSH4 0x01000000
00003da3: SWAP1
00003da4: SWAP4
00003da5: MUL
00003da6: SWAP3
00003da7: SWAP1
00003da8: SWAP3
00003da9: OR
00003daa: PUSH32 0xffffffffffffffffffffffffff0000000000000000ffffffffffffffffffffff
00003dcb: AND
00003dcc: PUSH12 0x010000000000000000000000
00003dd9: SWAP1
00003dda: SWAP2
00003ddb: MUL
00003ddc: OR
00003ddd: SWAP1
00003dde: SSTORE
00003ddf: PUSH1 0x04
00003de1: DUP1
00003de2: SLOAD
00003de3: SWAP2
00003de4: SWAP3
00003de5: POP
00003de6: PUSH1 0x08
00003de8: SWAP2
00003de9: PUSH0
00003dea: SWAP1
00003deb: PUSH2 0x3df5
00003dee: SWAP1
00003def: DUP5
00003df0: SWAP1
00003df1: PUSH2 0x41e7
00003df4: JUMP
00003df5: JUMPDEST
00003df6: SWAP1
00003df7: SWAP2
00003df8: SSTORE
00003df9: POP
00003dfa: POP
00003dfb: PUSH1 0x40
00003dfd: DUP1
00003dfe: MLOAD
00003dff: PUSH8 0xffffffffffffffff
00003e08: DUP5
00003e09: DUP2
00003e0a: AND
00003e0b: DUP3
00003e0c: MSTORE
00003e0d: DUP4
00003e0e: AND
00003e0f: PUSH1 0x20
00003e11: DUP3
00003e12: ADD
00003e13: MSTORE
00003e14: PUSH3 0xffffff
00003e18: DUP7
00003e19: AND
00003e1a: DUP2
00003e1b: DUP4
00003e1c: ADD
00003e1d: MSTORE
00003e1e: SWAP1
00003e1f: MLOAD
00003e20: PUSH32 0x6863f2b489f9186bf89231dc73aa0e9836f536b9ddb0f708f74260ed3160f297
00003e41: SWAP2
00003e42: DUP2
00003e43: SWAP1
00003e44: SUB
00003e45: PUSH1 0x60
00003e47: ADD
00003e48: SWAP1
00003e49: LOG1
00003e4a: POP
00003e4b: POP
00003e4c: PUSH1 0x40
00003e4e: DUP1
00003e4f: MLOAD
00003e50: PUSH1 0x60
00003e52: DUP2
00003e53: ADD
00003e54: DUP3
00003e55: MSTORE
00003e56: PUSH1 0x05
00003e58: SLOAD
00003e59: PUSH3 0xffffff
00003e5d: DUP2
00003e5e: AND
00003e5f: DUP3
00003e60: MSTORE
00003e61: PUSH8 0xffffffffffffffff
00003e6a: PUSH4 0x01000000
00003e6f: DUP3
00003e70: DIV
00003e71: DUP2
00003e72: AND
00003e73: PUSH1 0x20
00003e75: DUP5
00003e76: ADD
00003e77: MSTORE
00003e78: PUSH12 0x010000000000000000000000
00003e85: SWAP1
00003e86: SWAP2
00003e87: DIV
00003e88: AND
00003e89: SWAP2
00003e8a: DUP2
00003e8b: ADD
00003e8c: SWAP2
00003e8d: SWAP1
00003e8e: SWAP2
00003e8f: MSTORE
00003e90: SWAP5
00003e91: SWAP4
00003e92: POP
00003e93: POP
00003e94: POP
00003e95: POP
00003e96: JUMP
00003e97: JUMPDEST
00003e98: PUSH0
00003e99: DUP2
00003e9a: PUSH0
00003e9b: SUB
00003e9c: PUSH2 0x3ea6
00003e9f: JUMPI
00003ea0: POP
00003ea1: PUSH0
00003ea2: PUSH2 0x2597
00003ea5: JUMP
00003ea6: JUMPDEST
00003ea7: PUSH2 0x2594
00003eaa: DUP3
00003eab: PUSH27 0xffffff000000000000000000000000000000000000000000000000
00003ec7: PUSH1 0xc0
00003ec9: DUP7
00003eca: SWAP1
00003ecb: SHL
00003ecc: AND
00003ecd: PUSH2 0x427a
00003ed0: JUMP
00003ed1: JUMPDEST
00003ed2: PUSH1 0x40
00003ed4: MLOAD
00003ed5: PUSH2 0xffff
00003ed8: DUP3
00003ed9: LT
00003eda: PUSH2 0x3ee3
00003edd: JUMPI
00003ede: PUSH2 0xffff
00003ee1: SWAP2
00003ee2: POP
00003ee3: JUMPDEST
00003ee4: DUP2
00003ee5: DUP4
00003ee6: LT
00003ee7: DUP4
00003ee8: DUP4
00003ee9: SUB
00003eea: MUL
00003eeb: PUSH1 0x01
00003eed: DUP2
00003eee: ADD
00003eef: DUP5
00003ef0: PUSH1 0x1f
00003ef2: DUP5
00003ef3: ADD
00003ef4: DUP8
00003ef5: EXTCODECOPY
00003ef6: DUP1
00003ef7: DUP3
00003ef8: ADD
00003ef9: MLOAD
00003efa: PUSH1 0xff
00003efc: AND
00003efd: PUSH2 0x3f1d
00003f00: JUMPI
00003f01: PUSH1 0x01
00003f03: DUP6
00003f04: EXTCODESIZE
00003f05: SUB
00003f06: DUP1
00003f07: PUSH1 0x28
00003f09: SHR
00003f0a: RETURNDATASIZE
00003f0b: RETURNDATASIZE
00003f0c: RETURNDATACOPY
00003f0d: DUP1
00003f0e: DUP5
00003f0f: SUB
00003f10: DUP2
00003f11: DUP6
00003f12: GT
00003f13: MUL
00003f14: DUP3
00003f15: SUB
00003f16: DUP6
00003f17: DUP3
00003f18: GT
00003f19: MUL
00003f1a: SWAP2
00003f1b: POP
00003f1c: POP
00003f1d: JUMPDEST
00003f1e: DUP1
00003f1f: DUP3
00003f20: MSTORE
00003f21: PUSH0
00003f22: DUP2
00003f23: PUSH1 0x20
00003f25: DUP5
00003f26: ADD
00003f27: ADD
00003f28: MSTORE
00003f29: DUP1
00003f2a: PUSH1 0x40
00003f2c: DUP4
00003f2d: ADD
00003f2e: ADD
00003f2f: PUSH1 0x40
00003f31: MSTORE
00003f32: POP
00003f33: SWAP4
00003f34: SWAP3
00003f35: POP
00003f36: POP
00003f37: POP
00003f38: JUMP
00003f39: JUMPDEST
00003f3a: DUP1
00003f3b: CALLDATALOAD
00003f3c: PUSH16 0xffffffffffffffffffffffffffffffff
00003f4d: DUP2
00003f4e: AND
00003f4f: DUP2
00003f50: EQ
00003f51: PUSH2 0x3f58
00003f54: JUMPI
00003f55: PUSH0
00003f56: DUP1
00003f57: REVERT
00003f58: JUMPDEST
00003f59: SWAP2
00003f5a: SWAP1
00003f5b: POP
00003f5c: JUMP
00003f5d: JUMPDEST
00003f5e: DUP1
00003f5f: CALLDATALOAD
00003f60: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003f75: DUP2
00003f76: AND
00003f77: DUP2
00003f78: EQ
00003f79: PUSH2 0x3f58
00003f7c: JUMPI
00003f7d: PUSH0
00003f7e: DUP1
00003f7f: REVERT
00003f80: JUMPDEST
00003f81: PUSH0
00003f82: DUP1
00003f83: DUP4
00003f84: PUSH1 0x1f
00003f86: DUP5
00003f87: ADD
00003f88: SLT
00003f89: PUSH2 0x3f90
00003f8c: JUMPI
00003f8d: PUSH0
00003f8e: DUP1
00003f8f: REVERT
00003f90: JUMPDEST
00003f91: POP
00003f92: DUP2
00003f93: CALLDATALOAD
00003f94: PUSH8 0xffffffffffffffff
00003f9d: DUP2
00003f9e: GT
00003f9f: ISZERO
00003fa0: PUSH2 0x3fa7
00003fa3: JUMPI
00003fa4: PUSH0
00003fa5: DUP1
00003fa6: REVERT
00003fa7: JUMPDEST
00003fa8: PUSH1 0x20
00003faa: DUP4
00003fab: ADD
00003fac: SWAP2
00003fad: POP
00003fae: DUP4
00003faf: PUSH1 0x20
00003fb1: DUP3
00003fb2: DUP6
00003fb3: ADD
00003fb4: ADD
00003fb5: GT
00003fb6: ISZERO
00003fb7: PUSH2 0x3fbe
00003fba: JUMPI
00003fbb: PUSH0
00003fbc: DUP1
00003fbd: REVERT
00003fbe: JUMPDEST
00003fbf: SWAP3
00003fc0: POP
00003fc1: SWAP3
00003fc2: SWAP1
00003fc3: POP
00003fc4: JUMP
00003fc5: JUMPDEST
00003fc6: PUSH0
00003fc7: DUP1
00003fc8: PUSH0
00003fc9: DUP1
00003fca: PUSH0
00003fcb: PUSH1 0x80
00003fcd: DUP7
00003fce: DUP9
00003fcf: SUB
00003fd0: SLT
00003fd1: ISZERO
00003fd2: PUSH2 0x3fd9
00003fd5: JUMPI
00003fd6: PUSH0
00003fd7: DUP1
00003fd8: REVERT
00003fd9: JUMPDEST
00003fda: DUP6
00003fdb: CALLDATALOAD
00003fdc: SWAP5
00003fdd: POP
00003fde: PUSH2 0x3fe9
00003fe1: PUSH1 0x20
00003fe3: DUP8
00003fe4: ADD
00003fe5: PUSH2 0x3f39
00003fe8: JUMP
00003fe9: JUMPDEST
00003fea: SWAP4
00003feb: POP
00003fec: PUSH2 0x3ff7
00003fef: PUSH1 0x40
00003ff1: DUP8
00003ff2: ADD
00003ff3: PUSH2 0x3f5d
00003ff6: JUMP
00003ff7: JUMPDEST
00003ff8: SWAP3
00003ff9: POP
00003ffa: PUSH1 0x60
00003ffc: DUP7
00003ffd: ADD
00003ffe: CALLDATALOAD
00003fff: PUSH8 0xffffffffffffffff
00004008: DUP2
00004009: GT
0000400a: ISZERO
0000400b: PUSH2 0x4012
0000400e: JUMPI
0000400f: PUSH0
00004010: DUP1
00004011: REVERT
00004012: JUMPDEST
00004013: PUSH2 0x401e
00004016: DUP9
00004017: DUP3
00004018: DUP10
00004019: ADD
0000401a: PUSH2 0x3f80
0000401d: JUMP
0000401e: JUMPDEST
0000401f: SWAP7
00004020: SWAP10
00004021: SWAP6
00004022: SWAP9
00004023: POP
00004024: SWAP4
00004025: SWAP7
00004026: POP
00004027: SWAP3
00004028: SWAP5
00004029: SWAP4
0000402a: SWAP3
0000402b: POP
0000402c: POP
0000402d: POP
0000402e: JUMP
0000402f: JUMPDEST
00004030: DUP1
00004031: CALLDATALOAD
00004032: PUSH8 0xffffffffffffffff
0000403b: DUP2
0000403c: AND
0000403d: DUP2
0000403e: EQ
0000403f: PUSH2 0x3f58
00004042: JUMPI
00004043: PUSH0
00004044: DUP1
00004045: REVERT
00004046: JUMPDEST
00004047: PUSH0
00004048: DUP1
00004049: PUSH0
0000404a: PUSH1 0x60
0000404c: DUP5
0000404d: DUP7
0000404e: SUB
0000404f: SLT
00004050: ISZERO
00004051: PUSH2 0x4058
00004054: JUMPI
00004055: PUSH0
00004056: DUP1
00004057: REVERT
00004058: JUMPDEST
00004059: DUP4
0000405a: CALLDATALOAD
0000405b: SWAP3
0000405c: POP
0000405d: PUSH2 0x4068
00004060: PUSH1 0x20
00004062: DUP6
00004063: ADD
00004064: PUSH2 0x402f
00004067: JUMP
00004068: JUMPDEST
00004069: SWAP2
0000406a: POP
0000406b: PUSH2 0x4076
0000406e: PUSH1 0x40
00004070: DUP6
00004071: ADD
00004072: PUSH2 0x402f
00004075: JUMP
00004076: JUMPDEST
00004077: SWAP1
00004078: POP
00004079: SWAP3
0000407a: POP
0000407b: SWAP3
0000407c: POP
0000407d: SWAP3
0000407e: JUMP
0000407f: JUMPDEST
00004080: PUSH0
00004081: PUSH1 0x20
00004083: DUP3
00004084: DUP5
00004085: SUB
00004086: SLT
00004087: ISZERO
00004088: PUSH2 0x408f
0000408b: JUMPI
0000408c: PUSH0
0000408d: DUP1
0000408e: REVERT
0000408f: JUMPDEST
00004090: POP
00004091: CALLDATALOAD
00004092: SWAP2
00004093: SWAP1
00004094: POP
00004095: JUMP
00004096: JUMPDEST
00004097: PUSH0
00004098: DUP1
00004099: PUSH0
0000409a: DUP1
0000409b: PUSH0
0000409c: DUP1
0000409d: PUSH1 0xa0
0000409f: DUP8
000040a0: DUP10
000040a1: SUB
000040a2: SLT
000040a3: ISZERO
000040a4: PUSH2 0x40ab
000040a7: JUMPI
000040a8: PUSH0
000040a9: DUP1
000040aa: REVERT
000040ab: JUMPDEST
000040ac: DUP7
000040ad: CALLDATALOAD
000040ae: SWAP6
000040af: POP
000040b0: PUSH2 0x40bb
000040b3: PUSH1 0x20
000040b5: DUP9
000040b6: ADD
000040b7: PUSH2 0x3f39
000040ba: JUMP
000040bb: JUMPDEST
000040bc: SWAP5
000040bd: POP
000040be: PUSH2 0x40c9
000040c1: PUSH1 0x40
000040c3: DUP9
000040c4: ADD
000040c5: PUSH2 0x3f5d
000040c8: JUMP
000040c9: JUMPDEST
000040ca: SWAP4
000040cb: POP
000040cc: PUSH1 0x60
000040ce: DUP8
000040cf: ADD
000040d0: CALLDATALOAD
000040d1: SWAP3
000040d2: POP
000040d3: PUSH1 0x80
000040d5: DUP8
000040d6: ADD
000040d7: CALLDATALOAD
000040d8: PUSH8 0xffffffffffffffff
000040e1: DUP2
000040e2: GT
000040e3: ISZERO
000040e4: PUSH2 0x40eb
000040e7: JUMPI
000040e8: PUSH0
000040e9: DUP1
000040ea: REVERT
000040eb: JUMPDEST
000040ec: PUSH2 0x40f7
000040ef: DUP10
000040f0: DUP3
000040f1: DUP11
000040f2: ADD
000040f3: PUSH2 0x3f80
000040f6: JUMP
000040f7: JUMPDEST
000040f8: SWAP8
000040f9: SWAP11
000040fa: SWAP7
000040fb: SWAP10
000040fc: POP
000040fd: SWAP5
000040fe: SWAP8
000040ff: POP
00004100: SWAP3
00004101: SWAP6
00004102: SWAP4
00004103: SWAP5
00004104: SWAP3
00004105: POP
00004106: POP
00004107: POP
00004108: JUMP
00004109: JUMPDEST
0000410a: PUSH0
0000410b: PUSH1 0x20
0000410d: DUP3
0000410e: DUP5
0000410f: SUB
00004110: SLT
00004111: ISZERO
00004112: PUSH2 0x4119
00004115: JUMPI
00004116: PUSH0
00004117: DUP1
00004118: REVERT
00004119: JUMPDEST
0000411a: PUSH2 0x2594
0000411d: DUP3
0000411e: PUSH2 0x402f
00004121: JUMP
00004122: JUMPDEST
00004123: PUSH0
00004124: DUP1
00004125: PUSH0
00004126: PUSH1 0x40
00004128: DUP5
00004129: DUP7
0000412a: SUB
0000412b: SLT
0000412c: ISZERO
0000412d: PUSH2 0x4134
00004130: JUMPI
00004131: PUSH0
00004132: DUP1
00004133: REVERT
00004134: JUMPDEST
00004135: PUSH2 0x413d
00004138: DUP5
00004139: PUSH2 0x3f5d
0000413c: JUMP
0000413d: JUMPDEST
0000413e: SWAP3
0000413f: POP
00004140: PUSH1 0x20
00004142: DUP5
00004143: ADD
00004144: CALLDATALOAD
00004145: PUSH8 0xffffffffffffffff
0000414e: DUP2
0000414f: GT
00004150: ISZERO
00004151: PUSH2 0x4158
00004154: JUMPI
00004155: PUSH0
00004156: DUP1
00004157: REVERT
00004158: JUMPDEST
00004159: DUP5
0000415a: ADD
0000415b: PUSH1 0x1f
0000415d: DUP2
0000415e: ADD
0000415f: DUP7
00004160: SGT
00004161: PUSH2 0x4168
00004164: JUMPI
00004165: PUSH0
00004166: DUP1
00004167: REVERT
00004168: JUMPDEST
00004169: DUP1
0000416a: CALLDATALOAD
0000416b: PUSH8 0xffffffffffffffff
00004174: DUP2
00004175: GT
00004176: ISZERO
00004177: PUSH2 0x417e
0000417a: JUMPI
0000417b: PUSH0
0000417c: DUP1
0000417d: REVERT
0000417e: JUMPDEST
0000417f: DUP7
00004180: PUSH1 0x20
00004182: DUP3
00004183: PUSH1 0x05
00004185: SHL
00004186: DUP5
00004187: ADD
00004188: ADD
00004189: GT
0000418a: ISZERO
0000418b: PUSH2 0x4192
0000418e: JUMPI
0000418f: PUSH0
00004190: DUP1
00004191: REVERT
00004192: JUMPDEST
00004193: SWAP4
00004194: SWAP7
00004195: PUSH1 0x20
00004197: SWAP2
00004198: SWAP1
00004199: SWAP2
0000419a: ADD
0000419b: SWAP6
0000419c: POP
0000419d: SWAP3
0000419e: SWAP4
0000419f: POP
000041a0: POP
000041a1: POP
000041a2: JUMP
000041a3: JUMPDEST
000041a4: PUSH0
000041a5: PUSH1 0x20
000041a7: DUP3
000041a8: DUP5
000041a9: SUB
000041aa: SLT
000041ab: ISZERO
000041ac: PUSH2 0x41b3
000041af: JUMPI
000041b0: PUSH0
000041b1: DUP1
000041b2: REVERT
000041b3: JUMPDEST
000041b4: POP
000041b5: MLOAD
000041b6: SWAP2
000041b7: SWAP1
000041b8: POP
000041b9: JUMP
000041ba: JUMPDEST
000041bb: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
000041dc: PUSH0
000041dd: MSTORE
000041de: PUSH1 0x11
000041e0: PUSH1 0x04
000041e2: MSTORE
000041e3: PUSH1 0x24
000041e5: PUSH0
000041e6: REVERT
000041e7: JUMPDEST
000041e8: DUP1
000041e9: DUP3
000041ea: ADD
000041eb: DUP1
000041ec: DUP3
000041ed: GT
000041ee: ISZERO
000041ef: PUSH2 0x2597
000041f2: JUMPI
000041f3: PUSH2 0x2597
000041f6: PUSH2 0x41ba
000041f9: JUMP
000041fa: JUMPDEST
000041fb: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
0000421c: PUSH0
0000421d: MSTORE
0000421e: PUSH1 0x32
00004220: PUSH1 0x04
00004222: MSTORE
00004223: PUSH1 0x24
00004225: PUSH0
00004226: REVERT
00004227: JUMPDEST
00004228: DUP2
00004229: DUP2
0000422a: SUB
0000422b: DUP2
0000422c: DUP2
0000422d: GT
0000422e: ISZERO
0000422f: PUSH2 0x2597
00004232: JUMPI
00004233: PUSH2 0x2597
00004236: PUSH2 0x41ba
00004239: JUMP
0000423a: JUMPDEST
0000423b: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
0000425c: PUSH0
0000425d: MSTORE
0000425e: PUSH1 0x12
00004260: PUSH1 0x04
00004262: MSTORE
00004263: PUSH1 0x24
00004265: PUSH0
00004266: REVERT
00004267: JUMPDEST
00004268: PUSH0
00004269: DUP3
0000426a: PUSH2 0x4275
0000426d: JUMPI
0000426e: PUSH2 0x4275
00004271: PUSH2 0x423a
00004274: JUMP
00004275: JUMPDEST
00004276: POP
00004277: MOD
00004278: SWAP1
00004279: JUMP
0000427a: JUMPDEST
0000427b: PUSH0
0000427c: DUP3
0000427d: PUSH2 0x4288
00004280: JUMPI
00004281: PUSH2 0x4288
00004284: PUSH2 0x423a
00004287: JUMP
00004288: JUMPDEST
00004289: POP
0000428a: DIV
0000428b: SWAP1
0000428c: JUMP
0000428d: JUMPDEST
0000428e: DUP1
0000428f: DUP3
00004290: MUL
00004291: DUP2
00004292: ISZERO
00004293: DUP3
00004294: DUP3
00004295: DIV
00004296: DUP5
00004297: EQ
00004298: OR
00004299: PUSH2 0x2597
0000429c: JUMPI
0000429d: PUSH2 0x2597
000042a0: PUSH2 0x41ba
000042a3: JUMP
000042a4: JUMPDEST
000042a5: PUSH8 0xffffffffffffffff
000042ae: DUP3
000042af: DUP2
000042b0: AND
000042b1: DUP3
000042b2: DUP3
000042b3: AND
000042b4: SUB
000042b5: SWAP1
000042b6: DUP2
000042b7: GT
000042b8: ISZERO
000042b9: PUSH2 0x2597
000042bc: JUMPI
000042bd: PUSH2 0x2597
000042c0: PUSH2 0x41ba
000042c3: JUMP
000042c4: JUMPDEST
000042c5: PUSH3 0xffffff
000042c9: DUP3
000042ca: DUP2
000042cb: AND
000042cc: DUP3
000042cd: DUP3
000042ce: AND
000042cf: SUB
000042d0: SWAP1
000042d1: DUP2
000042d2: GT
000042d3: ISZERO
000042d4: PUSH2 0x2597
000042d7: JUMPI
000042d8: PUSH2 0x2597
000042db: PUSH2 0x41ba
000042de: JUMP
000042df: JUMPDEST
000042e0: DUP7
000042e1: DUP2
000042e2: MSTORE
000042e3: PUSH16 0xffffffffffffffffffffffffffffffff
000042f4: DUP7
000042f5: AND
000042f6: PUSH1 0x20
000042f8: DUP3
000042f9: ADD
000042fa: MSTORE
000042fb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004310: DUP6
00004311: AND
00004312: PUSH1 0x40
00004314: DUP3
00004315: ADD
00004316: MSTORE
00004317: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000432c: DUP5
0000432d: AND
0000432e: PUSH1 0x60
00004330: DUP3
00004331: ADD
00004332: MSTORE
00004333: PUSH1 0xa0
00004335: PUSH1 0x80
00004337: DUP3
00004338: ADD
00004339: MSTORE
0000433a: DUP2
0000433b: PUSH1 0xa0
0000433d: DUP3
0000433e: ADD
0000433f: MSTORE
00004340: DUP2
00004341: DUP4
00004342: PUSH1 0xc0
00004344: DUP4
00004345: ADD
00004346: CALLDATACOPY
00004347: PUSH0
00004348: DUP2
00004349: DUP4
0000434a: ADD
0000434b: PUSH1 0xc0
0000434d: SWAP1
0000434e: DUP2
0000434f: ADD
00004350: SWAP2
00004351: SWAP1
00004352: SWAP2
00004353: MSTORE
00004354: PUSH1 0x1f
00004356: SWAP1
00004357: SWAP3
00004358: ADD
00004359: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
0000437a: AND
0000437b: ADD
0000437c: ADD
0000437d: SWAP6
0000437e: SWAP5
0000437f: POP
00004380: POP
00004381: POP
00004382: POP
00004383: POP
00004384: JUMP
00004385: JUMPDEST
00004386: PUSH1 0x20
00004388: DUP2
00004389: MSTORE
0000438a: PUSH0
0000438b: DUP3
0000438c: MLOAD
0000438d: DUP1
0000438e: PUSH1 0x20
00004390: DUP5
00004391: ADD
00004392: MSTORE
00004393: DUP1
00004394: PUSH1 0x20
00004396: DUP6
00004397: ADD
00004398: PUSH1 0x40
0000439a: DUP6
0000439b: ADD
0000439c: MCOPY
0000439d: PUSH0
0000439e: PUSH1 0x40
000043a0: DUP3
000043a1: DUP6
000043a2: ADD
000043a3: ADD
000043a4: MSTORE
000043a5: PUSH1 0x40
000043a7: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
000043c8: PUSH1 0x1f
000043ca: DUP4
000043cb: ADD
000043cc: AND
000043cd: DUP5
000043ce: ADD
000043cf: ADD
000043d0: SWAP2
000043d1: POP
000043d2: POP
000043d3: SWAP3
000043d4: SWAP2
000043d5: POP
000043d6: POP
000043d7: JUMP
000043d8: JUMPDEST
000043d9: PUSH0
000043da: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000043fb: DUP3
000043fc: SUB
000043fd: PUSH2 0x4408
00004400: JUMPI
00004401: PUSH2 0x4408
00004404: PUSH2 0x41ba
00004407: JUMP
00004408: JUMPDEST
00004409: POP
0000440a: PUSH1 0x01
0000440c: ADD
0000440d: SWAP1
0000440e: JUMP
0000440f: JUMPDEST
00004410: PUSH3 0xffffff
00004414: DUP2
00004415: DUP2
00004416: AND
00004417: DUP4
00004418: DUP3
00004419: AND
0000441a: ADD
0000441b: SWAP1
0000441c: DUP2
0000441d: GT
0000441e: ISZERO
0000441f: PUSH2 0x2597
00004422: JUMPI
00004423: PUSH2 0x2597
00004426: PUSH2 0x41ba
00004429: JUMP
0000442a: JUMPDEST
0000442b: DUP1
0000442c: MLOAD
0000442d: PUSH1 0x20
0000442f: DUP3
00004430: ADD
00004431: MLOAD
00004432: PUSH32 0xffffffffffffffff000000000000000000000000000000000000000000000000
00004453: DUP2
00004454: AND
00004455: SWAP2
00004456: SWAP1
00004457: PUSH1 0x08
00004459: DUP3
0000445a: LT
0000445b: ISZERO
0000445c: PUSH2 0x448f
0000445f: JUMPI
00004460: PUSH32 0xffffffffffffffff000000000000000000000000000000000000000000000000
00004481: DUP1
00004482: DUP4
00004483: PUSH1 0x08
00004485: SUB
00004486: PUSH1 0x03
00004488: SHL
00004489: SHL
0000448a: DUP3
0000448b: AND
0000448c: AND
0000448d: SWAP3
0000448e: POP
0000448f: JUMPDEST
00004490: POP
00004491: POP
00004492: SWAP2
00004493: SWAP1
00004494: POP
00004495: JUMP
00004496: JUMPDEST
00004497: PUSH8 0xffffffffffffffff
000044a0: DUP2
000044a1: DUP2
000044a2: AND
000044a3: DUP4
000044a4: DUP3
000044a5: AND
000044a6: ADD
000044a7: SWAP1
000044a8: DUP2
000044a9: GT
000044aa: ISZERO
000044ab: PUSH2 0x2597
000044ae: JUMPI
000044af: PUSH2 0x2597
000044b2: PUSH2 0x41ba
000044b5: JUMP
000044b6: INVALID
000044b7: LOG2
000044b8: PUSH5 0x6970667358
000044be: UNKNOWN(0x22)
000044bf: SLT
000044c0: KECCAK256
000044c1: CLZ
000044c2: DUP5
000044c3: DIV
000044c4: XOR
000044c5: UNKNOWN(0xAE)
000044c6: UNKNOWN(0xE3)
000044c7: PUSH10 0x3d42978f5f484854c78e
000044d2: EQ
000044d3: UNKNOWN(0x2F)
000044d4: PUSH21 0x67536258226a973196b0f86064736f6c634300081a
000044ea: STOP
000044eb: CALLER
Findings

validated = confirmed for call sinks; sink observed for others
Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
high	other	detector	Untrusted CALL target/value reachable	60	no	no	view trace_id: 0x48352fc23a95c0b9f5a2a859c3746ca8165320320dddabde1f4713d240f4c809 call_targets: 0x608c4e792c65f5527b3f70715dea44d3b302f4ee target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x48352fc23a95c0b9f5a2a859c3746ca8165320320dddabde1f4713d240f4c809", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x608c4e792c65f5527b3f70715dea44d3b302f4ee" ], "matched_probe": null, "target_varies": false, "classification": "constant_target" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0xe5a6b10f", "selector": "0xe5a6b10f", "calldata_variants": [ "0xe5a6b10f", "0xe5a6b10f0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfc0c546a", "selector": "0xfc0c546a", "calldata_variants": [ "0xfc0c546a", "0xfc0c546a0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfd637557", "selector": "0xfd637557", "calldata_variants": [ "0xfd637557", "0xfd6375570000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd2fc583a", "selector": "0xd2fc583a", "calldata_variants": [ "0xd2fc583a", "0xd2fc583a0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xdc269049", "selector": "0xdc269049", "calldata_variants": [ "0xdc269049", "0xdc2690490000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe25fe175", "selector": "0xe25fe175", "calldata_variants": [ "0xe25fe175", "0xe25fe1750000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc2c4c5c1", "selector": "0xc2c4c5c1", "calldata_variants": [ "0xc2c4c5c1", "0xc2c4c5c10000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xcab8bedc", "selector": "0xcab8bedc", "calldata_variants": [ "0xcab8bedc", "0xcab8bedc0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 9826, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 9970, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 10906, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 4, "guards_detected": [], "untrusted_call_count": 4 }
high	other	detector	ETH value transfer possible	55	no	no	view trace_id: 0x48352fc23a95c0b9f5a2a859c3746ca8165320320dddabde1f4713d240f4c809 call_targets: 0x608c4e792c65f5527b3f70715dea44d3b302f4ee target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x48352fc23a95c0b9f5a2a859c3746ca8165320320dddabde1f4713d240f4c809", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x608c4e792c65f5527b3f70715dea44d3b302f4ee" ], "matched_probe": null, "target_varies": false, "classification": "constant_target" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0xe5a6b10f", "selector": "0xe5a6b10f", "calldata_variants": [ "0xe5a6b10f", "0xe5a6b10f0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfc0c546a", "selector": "0xfc0c546a", "calldata_variants": [ "0xfc0c546a", "0xfc0c546a0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfd637557", "selector": "0xfd637557", "calldata_variants": [ "0xfd637557", "0xfd6375570000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd2fc583a", "selector": "0xd2fc583a", "calldata_variants": [ "0xd2fc583a", "0xd2fc583a0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xdc269049", "selector": "0xdc269049", "calldata_variants": [ "0xdc269049", "0xdc2690490000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe25fe175", "selector": "0xe25fe175", "calldata_variants": [ "0xe25fe175", "0xe25fe1750000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc2c4c5c1", "selector": "0xc2c4c5c1", "calldata_variants": [ "0xc2c4c5c1", "0xc2c4c5c10000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xcab8bedc", "selector": "0xcab8bedc", "calldata_variants": [ "0xcab8bedc", "0xcab8bedc0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 9826, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 9970, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 10906, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 4, "guards_detected": [] }
Severity