TW
Tripwire
Find contracts. Test them. Review real vulns.

Analysis Run

019b477e-cac2-72c9-9829-aaef312c791b

complete
Chain ID
1
Address
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?

Confirmed
0
Validated
0
Source
Verified
Review Backing
Not yet
Best current signal
Authorization based on tx.origin
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
26567 artifact.fetch complete 1 / 3 3 months ago
26568 tool.cast_disasm complete 1 / 3 3 months ago
69878 analysis.bundle complete 1 / 3 2 weeks ago
69879 capability.graph complete 1 / 3 2 weeks ago
69880 detector.run complete 1 / 3 2 weeks ago
69881 validation.fork complete 1 / 3 2 weeks 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
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
3
EXT*/BALANCE
3
Total opcodes
5319
Flags
No heuristic flags raised.
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x01fe
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x715018a6
00000019: GT
0000001a: PUSH2 0x011d
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xa22cb465
00000024: GT
00000025: PUSH2 0x00b0
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xd8258d95
0000002f: GT
00000030: PUSH2 0x007f
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xe985e9c5
0000003a: GT
0000003b: PUSH2 0x0064
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xe985e9c5
00000045: EQ
00000046: PUSH2 0x0586
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xf19e75d4
00000050: EQ
00000051: PUSH2 0x05cf
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xf2fde38b
0000005b: EQ
0000005c: PUSH2 0x05ef
0000005f: JUMPI
00000060: PUSH1 0x00
00000062: DUP1
00000063: REVERT
00000064: JUMPDEST
00000065: DUP1
00000066: PUSH4 0xd8258d95
0000006b: EQ
0000006c: PUSH2 0x0550
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0xdab5f340
00000076: EQ
00000077: PUSH2 0x0566
0000007a: JUMPI
0000007b: PUSH1 0x00
0000007d: DUP1
0000007e: REVERT
0000007f: JUMPDEST
00000080: DUP1
00000081: PUSH4 0xa22cb465
00000086: EQ
00000087: PUSH2 0x04dd
0000008a: JUMPI
0000008b: DUP1
0000008c: PUSH4 0xb88d4fde
00000091: EQ
00000092: PUSH2 0x04fd
00000095: JUMPI
00000096: DUP1
00000097: PUSH4 0xc87b56dd
0000009c: EQ
0000009d: PUSH2 0x051d
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0xd2cab056
000000a7: EQ
000000a8: PUSH2 0x053d
000000ab: JUMPI
000000ac: PUSH1 0x00
000000ae: DUP1
000000af: REVERT
000000b0: JUMPDEST
000000b1: DUP1
000000b2: PUSH4 0x95d89b41
000000b7: GT
000000b8: PUSH2 0x00ec
000000bb: JUMPI
000000bc: DUP1
000000bd: PUSH4 0x95d89b41
000000c2: EQ
000000c3: PUSH2 0x0470
000000c6: JUMPI
000000c7: DUP1
000000c8: PUSH4 0x962ef00d
000000cd: EQ
000000ce: PUSH2 0x0485
000000d1: JUMPI
000000d2: DUP1
000000d3: PUSH4 0x98a8cffe
000000d8: EQ
000000d9: PUSH2 0x049a
000000dc: JUMPI
000000dd: DUP1
000000de: PUSH4 0xa0712d68
000000e3: EQ
000000e4: PUSH2 0x04ca
000000e7: JUMPI
000000e8: PUSH1 0x00
000000ea: DUP1
000000eb: REVERT
000000ec: JUMPDEST
000000ed: DUP1
000000ee: PUSH4 0x715018a6
000000f3: EQ
000000f4: PUSH2 0x0407
000000f7: JUMPI
000000f8: DUP1
000000f9: PUSH4 0x862440e2
000000fe: EQ
000000ff: PUSH2 0x041c
00000102: JUMPI
00000103: DUP1
00000104: PUSH4 0x8da5cb5b
00000109: EQ
0000010a: PUSH2 0x043c
0000010d: JUMPI
0000010e: DUP1
0000010f: PUSH4 0x8e1f9cfe
00000114: EQ
00000115: PUSH2 0x045a
00000118: JUMPI
00000119: PUSH1 0x00
0000011b: DUP1
0000011c: REVERT
0000011d: JUMPDEST
0000011e: DUP1
0000011f: PUSH4 0x23b872dd
00000124: GT
00000125: PUSH2 0x0195
00000128: JUMPI
00000129: DUP1
0000012a: PUSH4 0x42842e0e
0000012f: GT
00000130: PUSH2 0x0164
00000133: JUMPI
00000134: DUP1
00000135: PUSH4 0x42842e0e
0000013a: EQ
0000013b: PUSH2 0x0391
0000013e: JUMPI
0000013f: DUP1
00000140: PUSH4 0x6352211e
00000145: EQ
00000146: PUSH2 0x03b1
00000149: JUMPI
0000014a: DUP1
0000014b: PUSH4 0x6bde2627
00000150: EQ
00000151: PUSH2 0x03d1
00000154: JUMPI
00000155: DUP1
00000156: PUSH4 0x70a08231
0000015b: EQ
0000015c: PUSH2 0x03e7
0000015f: JUMPI
00000160: PUSH1 0x00
00000162: DUP1
00000163: REVERT
00000164: JUMPDEST
00000165: DUP1
00000166: PUSH4 0x23b872dd
0000016b: EQ
0000016c: PUSH2 0x0327
0000016f: JUMPI
00000170: DUP1
00000171: PUSH4 0x2cc82655
00000176: EQ
00000177: PUSH2 0x0347
0000017a: JUMPI
0000017b: DUP1
0000017c: PUSH4 0x36b1d672
00000181: EQ
00000182: PUSH2 0x0367
00000185: JUMPI
00000186: DUP1
00000187: PUSH4 0x3ccfd60b
0000018c: EQ
0000018d: PUSH2 0x037c
00000190: JUMPI
00000191: PUSH1 0x00
00000193: DUP1
00000194: REVERT
00000195: JUMPDEST
00000196: DUP1
00000197: PUSH4 0x095ea7b3
0000019c: GT
0000019d: PUSH2 0x01d1
000001a0: JUMPI
000001a1: DUP1
000001a2: PUSH4 0x095ea7b3
000001a7: EQ
000001a8: PUSH2 0x02b4
000001ab: JUMPI
000001ac: DUP1
000001ad: PUSH4 0x0e1b26c6
000001b2: EQ
000001b3: PUSH2 0x02d4
000001b6: JUMPI
000001b7: DUP1
000001b8: PUSH4 0x18160ddd
000001bd: EQ
000001be: PUSH2 0x02f8
000001c1: JUMPI
000001c2: DUP1
000001c3: PUSH4 0x1a8f0e24
000001c8: EQ
000001c9: PUSH2 0x0311
000001cc: JUMPI
000001cd: PUSH1 0x00
000001cf: DUP1
000001d0: REVERT
000001d1: JUMPDEST
000001d2: DUP1
000001d3: PUSH4 0x01ffc9a7
000001d8: EQ
000001d9: PUSH2 0x0203
000001dc: JUMPI
000001dd: DUP1
000001de: PUSH4 0x0442bfa8
000001e3: EQ
000001e4: PUSH2 0x0238
000001e7: JUMPI
000001e8: DUP1
000001e9: PUSH4 0x06fdde03
000001ee: EQ
000001ef: PUSH2 0x025a
000001f2: JUMPI
000001f3: DUP1
000001f4: PUSH4 0x081812fc
000001f9: EQ
000001fa: PUSH2 0x027c
000001fd: JUMPI
000001fe: JUMPDEST
000001ff: PUSH1 0x00
00000201: DUP1
00000202: REVERT
00000203: JUMPDEST
00000204: CALLVALUE
00000205: DUP1
00000206: ISZERO
00000207: PUSH2 0x020f
0000020a: JUMPI
0000020b: PUSH1 0x00
0000020d: DUP1
0000020e: REVERT
0000020f: JUMPDEST
00000210: POP
00000211: PUSH2 0x0223
00000214: PUSH2 0x021e
00000217: CALLDATASIZE
00000218: PUSH1 0x04
0000021a: PUSH2 0x1f4f
0000021d: JUMP
0000021e: JUMPDEST
0000021f: PUSH2 0x060f
00000222: JUMP
00000223: JUMPDEST
00000224: PUSH1 0x40
00000226: MLOAD
00000227: SWAP1
00000228: ISZERO
00000229: ISZERO
0000022a: DUP2
0000022b: MSTORE
0000022c: PUSH1 0x20
0000022e: ADD
0000022f: JUMPDEST
00000230: PUSH1 0x40
00000232: MLOAD
00000233: DUP1
00000234: SWAP2
00000235: SUB
00000236: SWAP1
00000237: RETURN
00000238: JUMPDEST
00000239: CALLVALUE
0000023a: DUP1
0000023b: ISZERO
0000023c: PUSH2 0x0244
0000023f: JUMPI
00000240: PUSH1 0x00
00000242: DUP1
00000243: REVERT
00000244: JUMPDEST
00000245: POP
00000246: PUSH2 0x0258
00000249: PUSH2 0x0253
0000024c: CALLDATASIZE
0000024d: PUSH1 0x04
0000024f: PUSH2 0x2059
00000252: JUMP
00000253: JUMPDEST
00000254: PUSH2 0x06ac
00000257: JUMP
00000258: JUMPDEST
00000259: STOP
0000025a: JUMPDEST
0000025b: CALLVALUE
0000025c: DUP1
0000025d: ISZERO
0000025e: PUSH2 0x0266
00000261: JUMPI
00000262: PUSH1 0x00
00000264: DUP1
00000265: REVERT
00000266: JUMPDEST
00000267: POP
00000268: PUSH2 0x026f
0000026b: PUSH2 0x072b
0000026e: JUMP
0000026f: JUMPDEST
00000270: PUSH1 0x40
00000272: MLOAD
00000273: PUSH2 0x022f
00000276: SWAP2
00000277: SWAP1
00000278: PUSH2 0x21ad
0000027b: JUMP
0000027c: JUMPDEST
0000027d: CALLVALUE
0000027e: DUP1
0000027f: ISZERO
00000280: PUSH2 0x0288
00000283: JUMPI
00000284: PUSH1 0x00
00000286: DUP1
00000287: REVERT
00000288: JUMPDEST
00000289: POP
0000028a: PUSH2 0x029c
0000028d: PUSH2 0x0297
00000290: CALLDATASIZE
00000291: PUSH1 0x04
00000293: PUSH2 0x1f37
00000296: JUMP
00000297: JUMPDEST
00000298: PUSH2 0x07bd
0000029b: JUMP
0000029c: JUMPDEST
0000029d: PUSH1 0x40
0000029f: MLOAD
000002a0: PUSH1 0x01
000002a2: PUSH1 0x01
000002a4: PUSH1 0xa0
000002a6: SHL
000002a7: SUB
000002a8: SWAP1
000002a9: SWAP2
000002aa: AND
000002ab: DUP2
000002ac: MSTORE
000002ad: PUSH1 0x20
000002af: ADD
000002b0: PUSH2 0x022f
000002b3: JUMP
000002b4: JUMPDEST
000002b5: CALLVALUE
000002b6: DUP1
000002b7: ISZERO
000002b8: PUSH2 0x02c0
000002bb: JUMPI
000002bc: PUSH1 0x00
000002be: DUP1
000002bf: REVERT
000002c0: JUMPDEST
000002c1: POP
000002c2: PUSH2 0x0258
000002c5: PUSH2 0x02cf
000002c8: CALLDATASIZE
000002c9: PUSH1 0x04
000002cb: PUSH2 0x1f0e
000002ce: JUMP
000002cf: JUMPDEST
000002d0: PUSH2 0x081a
000002d3: JUMP
000002d4: JUMPDEST
000002d5: CALLVALUE
000002d6: DUP1
000002d7: ISZERO
000002d8: PUSH2 0x02e0
000002db: JUMPI
000002dc: PUSH1 0x00
000002de: DUP1
000002df: REVERT
000002e0: JUMPDEST
000002e1: POP
000002e2: PUSH2 0x02ea
000002e5: PUSH1 0x0b
000002e7: SLOAD
000002e8: DUP2
000002e9: JUMP
000002ea: JUMPDEST
000002eb: PUSH1 0x40
000002ed: MLOAD
000002ee: SWAP1
000002ef: DUP2
000002f0: MSTORE
000002f1: PUSH1 0x20
000002f3: ADD
000002f4: PUSH2 0x022f
000002f7: JUMP
000002f8: JUMPDEST
000002f9: CALLVALUE
000002fa: DUP1
000002fb: ISZERO
000002fc: PUSH2 0x0304
000002ff: JUMPI
00000300: PUSH1 0x00
00000302: DUP1
00000303: REVERT
00000304: JUMPDEST
00000305: POP
00000306: PUSH1 0x01
00000308: SLOAD
00000309: PUSH1 0x00
0000030b: SLOAD
0000030c: SUB
0000030d: PUSH2 0x02ea
00000310: JUMP
00000311: JUMPDEST
00000312: CALLVALUE
00000313: DUP1
00000314: ISZERO
00000315: PUSH2 0x031d
00000318: JUMPI
00000319: PUSH1 0x00
0000031b: DUP1
0000031c: REVERT
0000031d: JUMPDEST
0000031e: POP
0000031f: PUSH2 0x02ea
00000322: PUSH1 0x0a
00000324: SLOAD
00000325: DUP2
00000326: JUMP
00000327: JUMPDEST
00000328: CALLVALUE
00000329: DUP1
0000032a: ISZERO
0000032b: PUSH2 0x0333
0000032e: JUMPI
0000032f: PUSH1 0x00
00000331: DUP1
00000332: REVERT
00000333: JUMPDEST
00000334: POP
00000335: PUSH2 0x0258
00000338: PUSH2 0x0342
0000033b: CALLDATASIZE
0000033c: PUSH1 0x04
0000033e: PUSH2 0x1e20
00000341: JUMP
00000342: JUMPDEST
00000343: PUSH2 0x08d3
00000346: JUMP
00000347: JUMPDEST
00000348: CALLVALUE
00000349: DUP1
0000034a: ISZERO
0000034b: PUSH2 0x0353
0000034e: JUMPI
0000034f: PUSH1 0x00
00000351: DUP1
00000352: REVERT
00000353: JUMPDEST
00000354: POP
00000355: PUSH2 0x0258
00000358: PUSH2 0x0362
0000035b: CALLDATASIZE
0000035c: PUSH1 0x04
0000035e: PUSH2 0x1f37
00000361: JUMP
00000362: JUMPDEST
00000363: PUSH2 0x08de
00000366: JUMP
00000367: JUMPDEST
00000368: CALLVALUE
00000369: DUP1
0000036a: ISZERO
0000036b: PUSH2 0x0373
0000036e: JUMPI
0000036f: PUSH1 0x00
00000371: DUP1
00000372: REVERT
00000373: JUMPDEST
00000374: POP
00000375: PUSH2 0x026f
00000378: PUSH2 0x093b
0000037b: JUMP
0000037c: JUMPDEST
0000037d: CALLVALUE
0000037e: DUP1
0000037f: ISZERO
00000380: PUSH2 0x0388
00000383: JUMPI
00000384: PUSH1 0x00
00000386: DUP1
00000387: REVERT
00000388: JUMPDEST
00000389: POP
0000038a: PUSH2 0x0258
0000038d: PUSH2 0x09c9
00000390: JUMP
00000391: JUMPDEST
00000392: CALLVALUE
00000393: DUP1
00000394: ISZERO
00000395: PUSH2 0x039d
00000398: JUMPI
00000399: PUSH1 0x00
0000039b: DUP1
0000039c: REVERT
0000039d: JUMPDEST
0000039e: POP
0000039f: PUSH2 0x0258
000003a2: PUSH2 0x03ac
000003a5: CALLDATASIZE
000003a6: PUSH1 0x04
000003a8: PUSH2 0x1e20
000003ab: JUMP
000003ac: JUMPDEST
000003ad: PUSH2 0x0ac1
000003b0: JUMP
000003b1: JUMPDEST
000003b2: CALLVALUE
000003b3: DUP1
000003b4: ISZERO
000003b5: PUSH2 0x03bd
000003b8: JUMPI
000003b9: PUSH1 0x00
000003bb: DUP1
000003bc: REVERT
000003bd: JUMPDEST
000003be: POP
000003bf: PUSH2 0x029c
000003c2: PUSH2 0x03cc
000003c5: CALLDATASIZE
000003c6: PUSH1 0x04
000003c8: PUSH2 0x1f37
000003cb: JUMP
000003cc: JUMPDEST
000003cd: PUSH2 0x0adc
000003d0: JUMP
000003d1: JUMPDEST
000003d2: CALLVALUE
000003d3: DUP1
000003d4: ISZERO
000003d5: PUSH2 0x03dd
000003d8: JUMPI
000003d9: PUSH1 0x00
000003db: DUP1
000003dc: REVERT
000003dd: JUMPDEST
000003de: POP
000003df: PUSH2 0x02ea
000003e2: PUSH1 0x09
000003e4: SLOAD
000003e5: DUP2
000003e6: JUMP
000003e7: JUMPDEST
000003e8: CALLVALUE
000003e9: DUP1
000003ea: ISZERO
000003eb: PUSH2 0x03f3
000003ee: JUMPI
000003ef: PUSH1 0x00
000003f1: DUP1
000003f2: REVERT
000003f3: JUMPDEST
000003f4: POP
000003f5: PUSH2 0x02ea
000003f8: PUSH2 0x0402
000003fb: CALLDATASIZE
000003fc: PUSH1 0x04
000003fe: PUSH2 0x1dd4
00000401: JUMP
00000402: JUMPDEST
00000403: PUSH2 0x0aee
00000406: JUMP
00000407: JUMPDEST
00000408: CALLVALUE
00000409: DUP1
0000040a: ISZERO
0000040b: PUSH2 0x0413
0000040e: JUMPI
0000040f: PUSH1 0x00
00000411: DUP1
00000412: REVERT
00000413: JUMPDEST
00000414: POP
00000415: PUSH2 0x0258
00000418: PUSH2 0x0b56
0000041b: JUMP
0000041c: JUMPDEST
0000041d: CALLVALUE
0000041e: DUP1
0000041f: ISZERO
00000420: PUSH2 0x0428
00000423: JUMPI
00000424: PUSH1 0x00
00000426: DUP1
00000427: REVERT
00000428: JUMPDEST
00000429: POP
0000042a: PUSH2 0x0258
0000042d: PUSH2 0x0437
00000430: CALLDATASIZE
00000431: PUSH1 0x04
00000433: PUSH2 0x2001
00000436: JUMP
00000437: JUMPDEST
00000438: PUSH2 0x0b6a
0000043b: JUMP
0000043c: JUMPDEST
0000043d: CALLVALUE
0000043e: DUP1
0000043f: ISZERO
00000440: PUSH2 0x0448
00000443: JUMPI
00000444: PUSH1 0x00
00000446: DUP1
00000447: REVERT
00000448: JUMPDEST
00000449: POP
0000044a: PUSH1 0x08
0000044c: SLOAD
0000044d: PUSH1 0x01
0000044f: PUSH1 0x01
00000451: PUSH1 0xa0
00000453: SHL
00000454: SUB
00000455: AND
00000456: PUSH2 0x029c
00000459: JUMP
0000045a: JUMPDEST
0000045b: CALLVALUE
0000045c: DUP1
0000045d: ISZERO
0000045e: PUSH2 0x0466
00000461: JUMPI
00000462: PUSH1 0x00
00000464: DUP1
00000465: REVERT
00000466: JUMPDEST
00000467: POP
00000468: PUSH2 0x02ea
0000046b: PUSH1 0x0e
0000046d: SLOAD
0000046e: DUP2
0000046f: JUMP
00000470: JUMPDEST
00000471: CALLVALUE
00000472: DUP1
00000473: ISZERO
00000474: PUSH2 0x047c
00000477: JUMPI
00000478: PUSH1 0x00
0000047a: DUP1
0000047b: REVERT
0000047c: JUMPDEST
0000047d: POP
0000047e: PUSH2 0x026f
00000481: PUSH2 0x0bf2
00000484: JUMP
00000485: JUMPDEST
00000486: CALLVALUE
00000487: DUP1
00000488: ISZERO
00000489: PUSH2 0x0491
0000048c: JUMPI
0000048d: PUSH1 0x00
0000048f: DUP1
00000490: REVERT
00000491: JUMPDEST
00000492: POP
00000493: PUSH2 0x026f
00000496: PUSH2 0x0c01
00000499: JUMP
0000049a: JUMPDEST
0000049b: CALLVALUE
0000049c: DUP1
0000049d: ISZERO
0000049e: PUSH2 0x04a6
000004a1: JUMPI
000004a2: PUSH1 0x00
000004a4: DUP1
000004a5: REVERT
000004a6: JUMPDEST
000004a7: POP
000004a8: PUSH2 0x0223
000004ab: PUSH2 0x04b5
000004ae: CALLDATASIZE
000004af: PUSH1 0x04
000004b1: PUSH2 0x1dd4
000004b4: JUMP
000004b5: JUMPDEST
000004b6: PUSH1 0x0f
000004b8: PUSH1 0x20
000004ba: MSTORE
000004bb: PUSH1 0x00
000004bd: SWAP1
000004be: DUP2
000004bf: MSTORE
000004c0: PUSH1 0x40
000004c2: SWAP1
000004c3: KECCAK256
000004c4: SLOAD
000004c5: PUSH1 0xff
000004c7: AND
000004c8: DUP2
000004c9: JUMP
000004ca: JUMPDEST
000004cb: PUSH2 0x0258
000004ce: PUSH2 0x04d8
000004d1: CALLDATASIZE
000004d2: PUSH1 0x04
000004d4: PUSH2 0x1f37
000004d7: JUMP
000004d8: JUMPDEST
000004d9: PUSH2 0x0c0e
000004dc: JUMP
000004dd: JUMPDEST
000004de: CALLVALUE
000004df: DUP1
000004e0: ISZERO
000004e1: PUSH2 0x04e9
000004e4: JUMPI
000004e5: PUSH1 0x00
000004e7: DUP1
000004e8: REVERT
000004e9: JUMPDEST
000004ea: POP
000004eb: PUSH2 0x0258
000004ee: PUSH2 0x04f8
000004f1: CALLDATASIZE
000004f2: PUSH1 0x04
000004f4: PUSH2 0x1ed4
000004f7: JUMP
000004f8: JUMPDEST
000004f9: PUSH2 0x0ddb
000004fc: JUMP
000004fd: JUMPDEST
000004fe: CALLVALUE
000004ff: DUP1
00000500: ISZERO
00000501: PUSH2 0x0509
00000504: JUMPI
00000505: PUSH1 0x00
00000507: DUP1
00000508: REVERT
00000509: JUMPDEST
0000050a: POP
0000050b: PUSH2 0x0258
0000050e: PUSH2 0x0518
00000511: CALLDATASIZE
00000512: PUSH1 0x04
00000514: PUSH2 0x1e5b
00000517: JUMP
00000518: JUMPDEST
00000519: PUSH2 0x0e8a
0000051c: JUMP
0000051d: JUMPDEST
0000051e: CALLVALUE
0000051f: DUP1
00000520: ISZERO
00000521: PUSH2 0x0529
00000524: JUMPI
00000525: PUSH1 0x00
00000527: DUP1
00000528: REVERT
00000529: JUMPDEST
0000052a: POP
0000052b: PUSH2 0x026f
0000052e: PUSH2 0x0538
00000531: CALLDATASIZE
00000532: PUSH1 0x04
00000534: PUSH2 0x1f37
00000537: JUMP
00000538: JUMPDEST
00000539: PUSH2 0x0ed4
0000053c: JUMP
0000053d: JUMPDEST
0000053e: PUSH2 0x0258
00000541: PUSH2 0x054b
00000544: CALLDATASIZE
00000545: PUSH1 0x04
00000547: PUSH2 0x1f87
0000054a: JUMP
0000054b: JUMPDEST
0000054c: PUSH2 0x0f0b
0000054f: JUMP
00000550: JUMPDEST
00000551: CALLVALUE
00000552: DUP1
00000553: ISZERO
00000554: PUSH2 0x055c
00000557: JUMPI
00000558: PUSH1 0x00
0000055a: DUP1
0000055b: REVERT
0000055c: JUMPDEST
0000055d: POP
0000055e: PUSH2 0x02ea
00000561: PUSH2 0x2710
00000564: DUP2
00000565: JUMP
00000566: JUMPDEST
00000567: CALLVALUE
00000568: DUP1
00000569: ISZERO
0000056a: PUSH2 0x0572
0000056d: JUMPI
0000056e: PUSH1 0x00
00000570: DUP1
00000571: REVERT
00000572: JUMPDEST
00000573: POP
00000574: PUSH2 0x0258
00000577: PUSH2 0x0581
0000057a: CALLDATASIZE
0000057b: PUSH1 0x04
0000057d: PUSH2 0x1f37
00000580: JUMP
00000581: JUMPDEST
00000582: PUSH2 0x11d9
00000585: JUMP
00000586: JUMPDEST
00000587: CALLVALUE
00000588: DUP1
00000589: ISZERO
0000058a: PUSH2 0x0592
0000058d: JUMPI
0000058e: PUSH1 0x00
00000590: DUP1
00000591: REVERT
00000592: JUMPDEST
00000593: POP
00000594: PUSH2 0x0223
00000597: PUSH2 0x05a1
0000059a: CALLDATASIZE
0000059b: PUSH1 0x04
0000059d: PUSH2 0x1dee
000005a0: JUMP
000005a1: JUMPDEST
000005a2: PUSH1 0x01
000005a4: PUSH1 0x01
000005a6: PUSH1 0xa0
000005a8: SHL
000005a9: SUB
000005aa: SWAP2
000005ab: DUP3
000005ac: AND
000005ad: PUSH1 0x00
000005af: SWAP1
000005b0: DUP2
000005b1: MSTORE
000005b2: PUSH1 0x07
000005b4: PUSH1 0x20
000005b6: SWAP1
000005b7: DUP2
000005b8: MSTORE
000005b9: PUSH1 0x40
000005bb: DUP1
000005bc: DUP4
000005bd: KECCAK256
000005be: SWAP4
000005bf: SWAP1
000005c0: SWAP5
000005c1: AND
000005c2: DUP3
000005c3: MSTORE
000005c4: SWAP2
000005c5: SWAP1
000005c6: SWAP2
000005c7: MSTORE
000005c8: KECCAK256
000005c9: SLOAD
000005ca: PUSH1 0xff
000005cc: AND
000005cd: SWAP1
000005ce: JUMP
000005cf: JUMPDEST
000005d0: CALLVALUE
000005d1: DUP1
000005d2: ISZERO
000005d3: PUSH2 0x05db
000005d6: JUMPI
000005d7: PUSH1 0x00
000005d9: DUP1
000005da: REVERT
000005db: JUMPDEST
000005dc: POP
000005dd: PUSH2 0x0258
000005e0: PUSH2 0x05ea
000005e3: CALLDATASIZE
000005e4: PUSH1 0x04
000005e6: PUSH2 0x1f37
000005e9: JUMP
000005ea: JUMPDEST
000005eb: PUSH2 0x11e6
000005ee: JUMP
000005ef: JUMPDEST
000005f0: CALLVALUE
000005f1: DUP1
000005f2: ISZERO
000005f3: PUSH2 0x05fb
000005f6: JUMPI
000005f7: PUSH1 0x00
000005f9: DUP1
000005fa: REVERT
000005fb: JUMPDEST
000005fc: POP
000005fd: PUSH2 0x0258
00000600: PUSH2 0x060a
00000603: CALLDATASIZE
00000604: PUSH1 0x04
00000606: PUSH2 0x1dd4
00000609: JUMP
0000060a: JUMPDEST
0000060b: PUSH2 0x1257
0000060e: JUMP
0000060f: JUMPDEST
00000610: PUSH1 0x00
00000612: PUSH1 0x01
00000614: PUSH1 0x01
00000616: PUSH1 0xe0
00000618: SHL
00000619: SUB
0000061a: NOT
0000061b: DUP3
0000061c: AND
0000061d: PUSH32 0x80ac58cd00000000000000000000000000000000000000000000000000000000
0000063e: EQ
0000063f: DUP1
00000640: PUSH2 0x0672
00000643: JUMPI
00000644: POP
00000645: PUSH1 0x01
00000647: PUSH1 0x01
00000649: PUSH1 0xe0
0000064b: SHL
0000064c: SUB
0000064d: NOT
0000064e: DUP3
0000064f: AND
00000650: PUSH32 0x5b5e139f00000000000000000000000000000000000000000000000000000000
00000671: EQ
00000672: JUMPDEST
00000673: DUP1
00000674: PUSH2 0x06a6
00000677: JUMPI
00000678: POP
00000679: PUSH32 0x01ffc9a700000000000000000000000000000000000000000000000000000000
0000069a: PUSH1 0x01
0000069c: PUSH1 0x01
0000069e: PUSH1 0xe0
000006a0: SHL
000006a1: SUB
000006a2: NOT
000006a3: DUP4
000006a4: AND
000006a5: EQ
000006a6: JUMPDEST
000006a7: SWAP3
000006a8: SWAP2
000006a9: POP
000006aa: POP
000006ab: JUMP
000006ac: JUMPDEST
000006ad: PUSH2 0x06b4
000006b0: PUSH2 0x12e4
000006b3: JUMP
000006b4: JUMPDEST
000006b5: PUSH1 0x03
000006b7: DUP3
000006b8: LT
000006b9: PUSH2 0x0709
000006bc: JUMPI
000006bd: PUSH1 0x40
000006bf: MLOAD
000006c0: PUSH3 0x461bcd
000006c4: PUSH1 0xe5
000006c6: SHL
000006c7: DUP2
000006c8: MSTORE
000006c9: PUSH1 0x20
000006cb: PUSH1 0x04
000006cd: DUP3
000006ce: ADD
000006cf: MSTORE
000006d0: PUSH1 0x11
000006d2: PUSH1 0x24
000006d4: DUP3
000006d5: ADD
000006d6: MSTORE
000006d7: PUSH32 0x77726f6e67206d6f6465206e756d626572000000000000000000000000000000
000006f8: PUSH1 0x44
000006fa: DUP3
000006fb: ADD
000006fc: MSTORE
000006fd: PUSH1 0x64
000006ff: ADD
00000700: JUMPDEST
00000701: PUSH1 0x40
00000703: MLOAD
00000704: DUP1
00000705: SWAP2
00000706: SUB
00000707: SWAP1
00000708: REVERT
00000709: JUMPDEST
0000070a: DUP2
0000070b: PUSH1 0x01
0000070d: EQ
0000070e: ISZERO
0000070f: PUSH2 0x0718
00000712: JUMPI
00000713: PUSH1 0x0a
00000715: DUP2
00000716: SWAP1
00000717: SSTORE
00000718: JUMPDEST
00000719: DUP2
0000071a: PUSH1 0x02
0000071c: EQ
0000071d: ISZERO
0000071e: PUSH2 0x0727
00000721: JUMPI
00000722: PUSH1 0x09
00000724: DUP2
00000725: SWAP1
00000726: SSTORE
00000727: JUMPDEST
00000728: POP
00000729: POP
0000072a: JUMP
0000072b: JUMPDEST
0000072c: PUSH1 0x60
0000072e: PUSH1 0x02
00000730: DUP1
00000731: SLOAD
00000732: PUSH2 0x073a
00000735: SWAP1
00000736: PUSH2 0x224e
00000739: JUMP
0000073a: JUMPDEST
0000073b: DUP1
0000073c: PUSH1 0x1f
0000073e: ADD
0000073f: PUSH1 0x20
00000741: DUP1
00000742: SWAP2
00000743: DIV
00000744: MUL
00000745: PUSH1 0x20
00000747: ADD
00000748: PUSH1 0x40
0000074a: MLOAD
0000074b: SWAP1
0000074c: DUP2
0000074d: ADD
0000074e: PUSH1 0x40
00000750: MSTORE
00000751: DUP1
00000752: SWAP3
00000753: SWAP2
00000754: SWAP1
00000755: DUP2
00000756: DUP2
00000757: MSTORE
00000758: PUSH1 0x20
0000075a: ADD
0000075b: DUP3
0000075c: DUP1
0000075d: SLOAD
0000075e: PUSH2 0x0766
00000761: SWAP1
00000762: PUSH2 0x224e
00000765: JUMP
00000766: JUMPDEST
00000767: DUP1
00000768: ISZERO
00000769: PUSH2 0x07b3
0000076c: JUMPI
0000076d: DUP1
0000076e: PUSH1 0x1f
00000770: LT
00000771: PUSH2 0x0788
00000774: JUMPI
00000775: PUSH2 0x0100
00000778: DUP1
00000779: DUP4
0000077a: SLOAD
0000077b: DIV
0000077c: MUL
0000077d: DUP4
0000077e: MSTORE
0000077f: SWAP2
00000780: PUSH1 0x20
00000782: ADD
00000783: SWAP2
00000784: PUSH2 0x07b3
00000787: JUMP
00000788: JUMPDEST
00000789: DUP3
0000078a: ADD
0000078b: SWAP2
0000078c: SWAP1
0000078d: PUSH1 0x00
0000078f: MSTORE
00000790: PUSH1 0x20
00000792: PUSH1 0x00
00000794: KECCAK256
00000795: SWAP1
00000796: JUMPDEST
00000797: DUP2
00000798: SLOAD
00000799: DUP2
0000079a: MSTORE
0000079b: SWAP1
0000079c: PUSH1 0x01
0000079e: ADD
0000079f: SWAP1
000007a0: PUSH1 0x20
000007a2: ADD
000007a3: DUP1
000007a4: DUP4
000007a5: GT
000007a6: PUSH2 0x0796
000007a9: JUMPI
000007aa: DUP3
000007ab: SWAP1
000007ac: SUB
000007ad: PUSH1 0x1f
000007af: AND
000007b0: DUP3
000007b1: ADD
000007b2: SWAP2
000007b3: JUMPDEST
000007b4: POP
000007b5: POP
000007b6: POP
000007b7: POP
000007b8: POP
000007b9: SWAP1
000007ba: POP
000007bb: SWAP1
000007bc: JUMP
000007bd: JUMPDEST
000007be: PUSH1 0x00
000007c0: PUSH2 0x07c8
000007c3: DUP3
000007c4: PUSH2 0x133e
000007c7: JUMP
000007c8: JUMPDEST
000007c9: PUSH2 0x07fe
000007cc: JUMPI
000007cd: PUSH1 0x40
000007cf: MLOAD
000007d0: PUSH32 0xcf4700e400000000000000000000000000000000000000000000000000000000
000007f1: DUP2
000007f2: MSTORE
000007f3: PUSH1 0x04
000007f5: ADD
000007f6: PUSH1 0x40
000007f8: MLOAD
000007f9: DUP1
000007fa: SWAP2
000007fb: SUB
000007fc: SWAP1
000007fd: REVERT
000007fe: JUMPDEST
000007ff: POP
00000800: PUSH1 0x00
00000802: SWAP1
00000803: DUP2
00000804: MSTORE
00000805: PUSH1 0x06
00000807: PUSH1 0x20
00000809: MSTORE
0000080a: PUSH1 0x40
0000080c: SWAP1
0000080d: KECCAK256
0000080e: SLOAD
0000080f: PUSH1 0x01
00000811: PUSH1 0x01
00000813: PUSH1 0xa0
00000815: SHL
00000816: SUB
00000817: AND
00000818: SWAP1
00000819: JUMP
0000081a: JUMPDEST
0000081b: PUSH1 0x00
0000081d: PUSH2 0x0825
00000820: DUP3
00000821: PUSH2 0x0adc
00000824: JUMP
00000825: JUMPDEST
00000826: SWAP1
00000827: POP
00000828: DUP1
00000829: PUSH1 0x01
0000082b: PUSH1 0x01
0000082d: PUSH1 0xa0
0000082f: SHL
00000830: SUB
00000831: AND
00000832: DUP4
00000833: PUSH1 0x01
00000835: PUSH1 0x01
00000837: PUSH1 0xa0
00000839: SHL
0000083a: SUB
0000083b: AND
0000083c: EQ
0000083d: ISZERO
0000083e: PUSH2 0x0873
00000841: JUMPI
00000842: PUSH1 0x40
00000844: MLOAD
00000845: PUSH32 0x943f7b8c00000000000000000000000000000000000000000000000000000000
00000866: DUP2
00000867: MSTORE
00000868: PUSH1 0x04
0000086a: ADD
0000086b: PUSH1 0x40
0000086d: MLOAD
0000086e: DUP1
0000086f: SWAP2
00000870: SUB
00000871: SWAP1
00000872: REVERT
00000873: JUMPDEST
00000874: CALLER
00000875: PUSH1 0x01
00000877: PUSH1 0x01
00000879: PUSH1 0xa0
0000087b: SHL
0000087c: SUB
0000087d: DUP3
0000087e: AND
0000087f: EQ
00000880: PUSH2 0x08c3
00000883: JUMPI
00000884: PUSH2 0x088d
00000887: DUP2
00000888: CALLER
00000889: PUSH2 0x05a1
0000088c: JUMP
0000088d: JUMPDEST
0000088e: PUSH2 0x08c3
00000891: JUMPI
00000892: PUSH1 0x40
00000894: MLOAD
00000895: PUSH32 0xcfb3b94200000000000000000000000000000000000000000000000000000000
000008b6: DUP2
000008b7: MSTORE
000008b8: PUSH1 0x04
000008ba: ADD
000008bb: PUSH1 0x40
000008bd: MLOAD
000008be: DUP1
000008bf: SWAP2
000008c0: SUB
000008c1: SWAP1
000008c2: REVERT
000008c3: JUMPDEST
000008c4: PUSH2 0x08ce
000008c7: DUP4
000008c8: DUP4
000008c9: DUP4
000008ca: PUSH2 0x1369
000008cd: JUMP
000008ce: JUMPDEST
000008cf: POP
000008d0: POP
000008d1: POP
000008d2: JUMP
000008d3: JUMPDEST
000008d4: PUSH2 0x08ce
000008d7: DUP4
000008d8: DUP4
000008d9: DUP4
000008da: PUSH2 0x13d2
000008dd: JUMP
000008de: JUMPDEST
000008df: PUSH2 0x08e6
000008e2: PUSH2 0x12e4
000008e5: JUMP
000008e6: JUMPDEST
000008e7: PUSH1 0x03
000008e9: DUP2
000008ea: LT
000008eb: PUSH2 0x0936
000008ee: JUMPI
000008ef: PUSH1 0x40
000008f1: MLOAD
000008f2: PUSH3 0x461bcd
000008f6: PUSH1 0xe5
000008f8: SHL
000008f9: DUP2
000008fa: MSTORE
000008fb: PUSH1 0x20
000008fd: PUSH1 0x04
000008ff: DUP3
00000900: ADD
00000901: MSTORE
00000902: PUSH1 0x12
00000904: PUSH1 0x24
00000906: DUP3
00000907: ADD
00000908: MSTORE
00000909: PUSH32 0x77726f6e67207068617365206e756d6265720000000000000000000000000000
0000092a: PUSH1 0x44
0000092c: DUP3
0000092d: ADD
0000092e: MSTORE
0000092f: PUSH1 0x64
00000931: ADD
00000932: PUSH2 0x0700
00000935: JUMP
00000936: JUMPDEST
00000937: PUSH1 0x0b
00000939: SSTORE
0000093a: JUMP
0000093b: JUMPDEST
0000093c: PUSH1 0x0c
0000093e: DUP1
0000093f: SLOAD
00000940: PUSH2 0x0948
00000943: SWAP1
00000944: PUSH2 0x224e
00000947: JUMP
00000948: JUMPDEST
00000949: DUP1
0000094a: PUSH1 0x1f
0000094c: ADD
0000094d: PUSH1 0x20
0000094f: DUP1
00000950: SWAP2
00000951: DIV
00000952: MUL
00000953: PUSH1 0x20
00000955: ADD
00000956: PUSH1 0x40
00000958: MLOAD
00000959: SWAP1
0000095a: DUP2
0000095b: ADD
0000095c: PUSH1 0x40
0000095e: MSTORE
0000095f: DUP1
00000960: SWAP3
00000961: SWAP2
00000962: SWAP1
00000963: DUP2
00000964: DUP2
00000965: MSTORE
00000966: PUSH1 0x20
00000968: ADD
00000969: DUP3
0000096a: DUP1
0000096b: SLOAD
0000096c: PUSH2 0x0974
0000096f: SWAP1
00000970: PUSH2 0x224e
00000973: JUMP
00000974: JUMPDEST
00000975: DUP1
00000976: ISZERO
00000977: PUSH2 0x09c1
0000097a: JUMPI
0000097b: DUP1
0000097c: PUSH1 0x1f
0000097e: LT
0000097f: PUSH2 0x0996
00000982: JUMPI
00000983: PUSH2 0x0100
00000986: DUP1
00000987: DUP4
00000988: SLOAD
00000989: DIV
0000098a: MUL
0000098b: DUP4
0000098c: MSTORE
0000098d: SWAP2
0000098e: PUSH1 0x20
00000990: ADD
00000991: SWAP2
00000992: PUSH2 0x09c1
00000995: JUMP
00000996: JUMPDEST
00000997: DUP3
00000998: ADD
00000999: SWAP2
0000099a: SWAP1
0000099b: PUSH1 0x00
0000099d: MSTORE
0000099e: PUSH1 0x20
000009a0: PUSH1 0x00
000009a2: KECCAK256
000009a3: SWAP1
000009a4: JUMPDEST
000009a5: DUP2
000009a6: SLOAD
000009a7: DUP2
000009a8: MSTORE
000009a9: SWAP1
000009aa: PUSH1 0x01
000009ac: ADD
000009ad: SWAP1
000009ae: PUSH1 0x20
000009b0: ADD
000009b1: DUP1
000009b2: DUP4
000009b3: GT
000009b4: PUSH2 0x09a4
000009b7: JUMPI
000009b8: DUP3
000009b9: SWAP1
000009ba: SUB
000009bb: PUSH1 0x1f
000009bd: AND
000009be: DUP3
000009bf: ADD
000009c0: SWAP2
000009c1: JUMPDEST
000009c2: POP
000009c3: POP
000009c4: POP
000009c5: POP
000009c6: POP
000009c7: DUP2
000009c8: JUMP
000009c9: JUMPDEST
000009ca: SELFBALANCE
000009cb: DUP1
000009cc: PUSH2 0x0a17
000009cf: JUMPI
000009d0: PUSH1 0x40
000009d2: MLOAD
000009d3: PUSH3 0x461bcd
000009d7: PUSH1 0xe5
000009d9: SHL
000009da: DUP2
000009db: MSTORE
000009dc: PUSH1 0x20
000009de: PUSH1 0x04
000009e0: DUP3
000009e1: ADD
000009e2: MSTORE
000009e3: PUSH1 0x0a
000009e5: PUSH1 0x24
000009e7: DUP3
000009e8: ADD
000009e9: MSTORE
000009ea: PUSH32 0x4e6f2062616c616e636500000000000000000000000000000000000000000000
00000a0b: PUSH1 0x44
00000a0d: DUP3
00000a0e: ADD
00000a0f: MSTORE
00000a10: PUSH1 0x64
00000a12: ADD
00000a13: PUSH2 0x0700
00000a16: JUMP
00000a17: JUMPDEST
00000a18: PUSH1 0x00
00000a1a: PUSH2 0x0a24
00000a1d: PUSH1 0x64
00000a1f: DUP4
00000a20: PUSH2 0x21d8
00000a23: JUMP
00000a24: JUMPDEST
00000a25: PUSH2 0x0a2f
00000a28: SWAP1
00000a29: PUSH1 0x0a
00000a2b: PUSH2 0x21ec
00000a2e: JUMP
00000a2f: JUMPDEST
00000a30: SWAP1
00000a31: POP
00000a32: PUSH2 0x0a3b
00000a35: DUP2
00000a36: DUP4
00000a37: PUSH2 0x220b
00000a3a: JUMP
00000a3b: JUMPDEST
00000a3c: PUSH1 0x40
00000a3e: MLOAD
00000a3f: SWAP1
00000a40: SWAP3
00000a41: POP
00000a42: PUSH20 0xe6d98acf7304d863934bb7119bddb0fdbddc4cda
00000a57: SWAP1
00000a58: DUP3
00000a59: ISZERO
00000a5a: PUSH2 0x08fc
00000a5d: MUL
00000a5e: SWAP1
00000a5f: DUP4
00000a60: SWAP1
00000a61: PUSH1 0x00
00000a63: DUP2
00000a64: DUP2
00000a65: DUP2
00000a66: DUP6
00000a67: DUP9
00000a68: DUP9
00000a69: CALL
00000a6a: SWAP4
00000a6b: POP
00000a6c: POP
00000a6d: POP
00000a6e: POP
00000a6f: ISZERO
00000a70: DUP1
00000a71: ISZERO
00000a72: PUSH2 0x0a7f
00000a75: JUMPI
00000a76: RETURNDATASIZE
00000a77: PUSH1 0x00
00000a79: DUP1
00000a7a: RETURNDATACOPY
00000a7b: RETURNDATASIZE
00000a7c: PUSH1 0x00
00000a7e: REVERT
00000a7f: JUMPDEST
00000a80: POP
00000a81: PUSH1 0x40
00000a83: MLOAD
00000a84: PUSH20 0x07ca2e92d234b82afb137dddf12e8d1394d9bcfe
00000a99: SWAP1
00000a9a: DUP4
00000a9b: ISZERO
00000a9c: PUSH2 0x08fc
00000a9f: MUL
00000aa0: SWAP1
00000aa1: DUP5
00000aa2: SWAP1
00000aa3: PUSH1 0x00
00000aa5: DUP2
00000aa6: DUP2
00000aa7: DUP2
00000aa8: DUP6
00000aa9: DUP9
00000aaa: DUP9
00000aab: CALL
00000aac: SWAP4
00000aad: POP
00000aae: POP
00000aaf: POP
00000ab0: POP
00000ab1: ISZERO
00000ab2: DUP1
00000ab3: ISZERO
00000ab4: PUSH2 0x08ce
00000ab7: JUMPI
00000ab8: RETURNDATASIZE
00000ab9: PUSH1 0x00
00000abb: DUP1
00000abc: RETURNDATACOPY
00000abd: RETURNDATASIZE
00000abe: PUSH1 0x00
00000ac0: REVERT
00000ac1: JUMPDEST
00000ac2: PUSH2 0x08ce
00000ac5: DUP4
00000ac6: DUP4
00000ac7: DUP4
00000ac8: PUSH1 0x40
00000aca: MLOAD
00000acb: DUP1
00000acc: PUSH1 0x20
00000ace: ADD
00000acf: PUSH1 0x40
00000ad1: MSTORE
00000ad2: DUP1
00000ad3: PUSH1 0x00
00000ad5: DUP2
00000ad6: MSTORE
00000ad7: POP
00000ad8: PUSH2 0x0e8a
00000adb: JUMP
00000adc: JUMPDEST
00000add: PUSH1 0x00
00000adf: PUSH2 0x0ae7
00000ae2: DUP3
00000ae3: PUSH2 0x160b
00000ae6: JUMP
00000ae7: JUMPDEST
00000ae8: MLOAD
00000ae9: SWAP3
00000aea: SWAP2
00000aeb: POP
00000aec: POP
00000aed: JUMP
00000aee: JUMPDEST
00000aef: PUSH1 0x00
00000af1: PUSH1 0x01
00000af3: PUSH1 0x01
00000af5: PUSH1 0xa0
00000af7: SHL
00000af8: SUB
00000af9: DUP3
00000afa: AND
00000afb: PUSH2 0x0b30
00000afe: JUMPI
00000aff: PUSH1 0x40
00000b01: MLOAD
00000b02: PUSH32 0x8f4eb60400000000000000000000000000000000000000000000000000000000
00000b23: DUP2
00000b24: MSTORE
00000b25: PUSH1 0x04
00000b27: ADD
00000b28: PUSH1 0x40
00000b2a: MLOAD
00000b2b: DUP1
00000b2c: SWAP2
00000b2d: SUB
00000b2e: SWAP1
00000b2f: REVERT
00000b30: JUMPDEST
00000b31: POP
00000b32: PUSH1 0x01
00000b34: PUSH1 0x01
00000b36: PUSH1 0xa0
00000b38: SHL
00000b39: SUB
00000b3a: AND
00000b3b: PUSH1 0x00
00000b3d: SWAP1
00000b3e: DUP2
00000b3f: MSTORE
00000b40: PUSH1 0x05
00000b42: PUSH1 0x20
00000b44: MSTORE
00000b45: PUSH1 0x40
00000b47: SWAP1
00000b48: KECCAK256
00000b49: SLOAD
00000b4a: PUSH8 0xffffffffffffffff
00000b53: AND
00000b54: SWAP1
00000b55: JUMP
00000b56: JUMPDEST
00000b57: PUSH2 0x0b5e
00000b5a: PUSH2 0x12e4
00000b5d: JUMP
00000b5e: JUMPDEST
00000b5f: PUSH2 0x0b68
00000b62: PUSH1 0x00
00000b64: PUSH2 0x1740
00000b67: JUMP
00000b68: JUMPDEST
00000b69: JUMP
00000b6a: JUMPDEST
00000b6b: PUSH2 0x0b72
00000b6e: PUSH2 0x12e4
00000b71: JUMP
00000b72: JUMPDEST
00000b73: DUP2
00000b74: PUSH1 0x01
00000b76: EQ
00000b77: ISZERO
00000b78: PUSH2 0x0b8e
00000b7b: JUMPI
00000b7c: DUP1
00000b7d: MLOAD
00000b7e: PUSH2 0x08ce
00000b81: SWAP1
00000b82: PUSH1 0x0c
00000b84: SWAP1
00000b85: PUSH1 0x20
00000b87: DUP5
00000b88: ADD
00000b89: SWAP1
00000b8a: PUSH2 0x1ca9
00000b8d: JUMP
00000b8e: JUMPDEST
00000b8f: DUP2
00000b90: PUSH1 0x02
00000b92: EQ
00000b93: ISZERO
00000b94: PUSH2 0x0baa
00000b97: JUMPI
00000b98: DUP1
00000b99: MLOAD
00000b9a: PUSH2 0x08ce
00000b9d: SWAP1
00000b9e: PUSH1 0x0d
00000ba0: SWAP1
00000ba1: PUSH1 0x20
00000ba3: DUP5
00000ba4: ADD
00000ba5: SWAP1
00000ba6: PUSH2 0x1ca9
00000ba9: JUMP
00000baa: JUMPDEST
00000bab: PUSH1 0x40
00000bad: MLOAD
00000bae: PUSH3 0x461bcd
00000bb2: PUSH1 0xe5
00000bb4: SHL
00000bb5: DUP2
00000bb6: MSTORE
00000bb7: PUSH1 0x20
00000bb9: PUSH1 0x04
00000bbb: DUP3
00000bbc: ADD
00000bbd: MSTORE
00000bbe: PUSH1 0x0a
00000bc0: PUSH1 0x24
00000bc2: DUP3
00000bc3: ADD
00000bc4: MSTORE
00000bc5: PUSH32 0x77726f6e67206d6f646500000000000000000000000000000000000000000000
00000be6: PUSH1 0x44
00000be8: DUP3
00000be9: ADD
00000bea: MSTORE
00000beb: PUSH1 0x64
00000bed: ADD
00000bee: PUSH2 0x0700
00000bf1: JUMP
00000bf2: JUMPDEST
00000bf3: PUSH1 0x60
00000bf5: PUSH1 0x03
00000bf7: DUP1
00000bf8: SLOAD
00000bf9: PUSH2 0x073a
00000bfc: SWAP1
00000bfd: PUSH2 0x224e
00000c00: JUMP
00000c01: JUMPDEST
00000c02: PUSH1 0x0d
00000c04: DUP1
00000c05: SLOAD
00000c06: PUSH2 0x0948
00000c09: SWAP1
00000c0a: PUSH2 0x224e
00000c0d: JUMP
00000c0e: JUMPDEST
00000c0f: PUSH1 0x0b
00000c11: SLOAD
00000c12: PUSH1 0x02
00000c14: EQ
00000c15: PUSH2 0x0c60
00000c18: JUMPI
00000c19: PUSH1 0x40
00000c1b: MLOAD
00000c1c: PUSH3 0x461bcd
00000c20: PUSH1 0xe5
00000c22: SHL
00000c23: DUP2
00000c24: MSTORE
00000c25: PUSH1 0x20
00000c27: PUSH1 0x04
00000c29: DUP3
00000c2a: ADD
00000c2b: MSTORE
00000c2c: PUSH1 0x16
00000c2e: PUSH1 0x24
00000c30: DUP3
00000c31: ADD
00000c32: MSTORE
00000c33: PUSH32 0x7075626c6963206d696e74206e6f742061637469766500000000000000000000
00000c54: PUSH1 0x44
00000c56: DUP3
00000c57: ADD
00000c58: MSTORE
00000c59: PUSH1 0x64
00000c5b: ADD
00000c5c: PUSH2 0x0700
00000c5f: JUMP
00000c60: JUMPDEST
00000c61: ORIGIN
00000c62: CALLER
00000c63: EQ
00000c64: PUSH2 0x0caf
00000c67: JUMPI
00000c68: PUSH1 0x40
00000c6a: MLOAD
00000c6b: PUSH3 0x461bcd
00000c6f: PUSH1 0xe5
00000c71: SHL
00000c72: DUP2
00000c73: MSTORE
00000c74: PUSH1 0x20
00000c76: PUSH1 0x04
00000c78: DUP3
00000c79: ADD
00000c7a: MSTORE
00000c7b: PUSH1 0x15
00000c7d: PUSH1 0x24
00000c7f: DUP3
00000c80: ADD
00000c81: MSTORE
00000c82: PUSH32 0x73656e64657220646f6573206e6f74206d617463680000000000000000000000
00000ca3: PUSH1 0x44
00000ca5: DUP3
00000ca6: ADD
00000ca7: MSTORE
00000ca8: PUSH1 0x64
00000caa: ADD
00000cab: PUSH2 0x0700
00000cae: JUMP
00000caf: JUMPDEST
00000cb0: PUSH2 0x2710
00000cb3: DUP2
00000cb4: PUSH2 0x0cc0
00000cb7: PUSH1 0x01
00000cb9: SLOAD
00000cba: PUSH1 0x00
00000cbc: SLOAD
00000cbd: SUB
00000cbe: SWAP1
00000cbf: JUMP
00000cc0: JUMPDEST
00000cc1: PUSH2 0x0cca
00000cc4: SWAP2
00000cc5: SWAP1
00000cc6: PUSH2 0x21c0
00000cc9: JUMP
00000cca: JUMPDEST
00000ccb: GT
00000ccc: ISZERO
00000ccd: PUSH2 0x0d18
00000cd0: JUMPI
00000cd1: PUSH1 0x40
00000cd3: MLOAD
00000cd4: PUSH3 0x461bcd
00000cd8: PUSH1 0xe5
00000cda: SHL
00000cdb: DUP2
00000cdc: MSTORE
00000cdd: PUSH1 0x20
00000cdf: PUSH1 0x04
00000ce1: DUP3
00000ce2: ADD
00000ce3: MSTORE
00000ce4: PUSH1 0x14
00000ce6: PUSH1 0x24
00000ce8: DUP3
00000ce9: ADD
00000cea: MSTORE
00000ceb: PUSH32 0x746f74616c20737570706c792072656163686564000000000000000000000000
00000d0c: PUSH1 0x44
00000d0e: DUP3
00000d0f: ADD
00000d10: MSTORE
00000d11: PUSH1 0x64
00000d13: ADD
00000d14: PUSH2 0x0700
00000d17: JUMP
00000d18: JUMPDEST
00000d19: PUSH1 0x0b
00000d1b: DUP2
00000d1c: LT
00000d1d: PUSH2 0x0d68
00000d20: JUMPI
00000d21: PUSH1 0x40
00000d23: MLOAD
00000d24: PUSH3 0x461bcd
00000d28: PUSH1 0xe5
00000d2a: SHL
00000d2b: DUP2
00000d2c: MSTORE
00000d2d: PUSH1 0x20
00000d2f: PUSH1 0x04
00000d31: DUP3
00000d32: ADD
00000d33: MSTORE
00000d34: PUSH1 0x1c
00000d36: PUSH1 0x24
00000d38: DUP3
00000d39: ADD
00000d3a: MSTORE
00000d3b: PUSH32 0x4d6178207175616e746974792070657220747820657863656564656400000000
00000d5c: PUSH1 0x44
00000d5e: DUP3
00000d5f: ADD
00000d60: MSTORE
00000d61: PUSH1 0x64
00000d63: ADD
00000d64: PUSH2 0x0700
00000d67: JUMP
00000d68: JUMPDEST
00000d69: PUSH1 0x09
00000d6b: SLOAD
00000d6c: PUSH2 0x0d75
00000d6f: SWAP1
00000d70: DUP3
00000d71: PUSH2 0x21ec
00000d74: JUMP
00000d75: JUMPDEST
00000d76: CALLVALUE
00000d77: EQ
00000d78: PUSH2 0x0dce
00000d7b: JUMPI
00000d7c: PUSH1 0x40
00000d7e: MLOAD
00000d7f: PUSH3 0x461bcd
00000d83: PUSH1 0xe5
00000d85: SHL
00000d86: DUP2
00000d87: MSTORE
00000d88: PUSH1 0x20
00000d8a: PUSH1 0x04
00000d8c: DUP3
00000d8d: ADD
00000d8e: MSTORE
00000d8f: PUSH1 0x22
00000d91: PUSH1 0x24
00000d93: DUP3
00000d94: ADD
00000d95: MSTORE
00000d96: PUSH32 0x45746865722076616c75652073656e74206973206e6f74207375666669636965
00000db7: PUSH1 0x44
00000db9: DUP3
00000dba: ADD
00000dbb: MSTORE
00000dbc: PUSH2 0x1b9d
00000dbf: PUSH1 0xf2
00000dc1: SHL
00000dc2: PUSH1 0x64
00000dc4: DUP3
00000dc5: ADD
00000dc6: MSTORE
00000dc7: PUSH1 0x84
00000dc9: ADD
00000dca: PUSH2 0x0700
00000dcd: JUMP
00000dce: JUMPDEST
00000dcf: PUSH2 0x0dd8
00000dd2: CALLER
00000dd3: DUP3
00000dd4: PUSH2 0x179f
00000dd7: JUMP
00000dd8: JUMPDEST
00000dd9: POP
00000dda: JUMP
00000ddb: JUMPDEST
00000ddc: PUSH1 0x01
00000dde: PUSH1 0x01
00000de0: PUSH1 0xa0
00000de2: SHL
00000de3: SUB
00000de4: DUP3
00000de5: AND
00000de6: CALLER
00000de7: EQ
00000de8: ISZERO
00000de9: PUSH2 0x0e1e
00000dec: JUMPI
00000ded: PUSH1 0x40
00000def: MLOAD
00000df0: PUSH32 0xb06307db00000000000000000000000000000000000000000000000000000000
00000e11: DUP2
00000e12: MSTORE
00000e13: PUSH1 0x04
00000e15: ADD
00000e16: PUSH1 0x40
00000e18: MLOAD
00000e19: DUP1
00000e1a: SWAP2
00000e1b: SUB
00000e1c: SWAP1
00000e1d: REVERT
00000e1e: JUMPDEST
00000e1f: CALLER
00000e20: PUSH1 0x00
00000e22: DUP2
00000e23: DUP2
00000e24: MSTORE
00000e25: PUSH1 0x07
00000e27: PUSH1 0x20
00000e29: SWAP1
00000e2a: DUP2
00000e2b: MSTORE
00000e2c: PUSH1 0x40
00000e2e: DUP1
00000e2f: DUP4
00000e30: KECCAK256
00000e31: PUSH1 0x01
00000e33: PUSH1 0x01
00000e35: PUSH1 0xa0
00000e37: SHL
00000e38: SUB
00000e39: DUP8
00000e3a: AND
00000e3b: DUP1
00000e3c: DUP6
00000e3d: MSTORE
00000e3e: SWAP1
00000e3f: DUP4
00000e40: MSTORE
00000e41: SWAP3
00000e42: DUP2
00000e43: SWAP1
00000e44: KECCAK256
00000e45: DUP1
00000e46: SLOAD
00000e47: PUSH1 0xff
00000e49: NOT
00000e4a: AND
00000e4b: DUP7
00000e4c: ISZERO
00000e4d: ISZERO
00000e4e: SWAP1
00000e4f: DUP2
00000e50: OR
00000e51: SWAP1
00000e52: SWAP2
00000e53: SSTORE
00000e54: SWAP1
00000e55: MLOAD
00000e56: SWAP1
00000e57: DUP2
00000e58: MSTORE
00000e59: SWAP2
00000e5a: SWAP3
00000e5b: SWAP2
00000e5c: PUSH32 0x17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c31
00000e7d: SWAP2
00000e7e: ADD
00000e7f: PUSH1 0x40
00000e81: MLOAD
00000e82: DUP1
00000e83: SWAP2
00000e84: SUB
00000e85: SWAP1
00000e86: LOG3
00000e87: POP
00000e88: POP
00000e89: JUMP
00000e8a: JUMPDEST
00000e8b: PUSH2 0x0e95
00000e8e: DUP5
00000e8f: DUP5
00000e90: DUP5
00000e91: PUSH2 0x13d2
00000e94: JUMP
00000e95: JUMPDEST
00000e96: PUSH1 0x01
00000e98: PUSH1 0x01
00000e9a: PUSH1 0xa0
00000e9c: SHL
00000e9d: SUB
00000e9e: DUP4
00000e9f: AND
00000ea0: EXTCODESIZE
00000ea1: ISZERO
00000ea2: PUSH2 0x0ece
00000ea5: JUMPI
00000ea6: PUSH2 0x0eb1
00000ea9: DUP5
00000eaa: DUP5
00000eab: DUP5
00000eac: DUP5
00000ead: PUSH2 0x17b9
00000eb0: JUMP
00000eb1: JUMPDEST
00000eb2: PUSH2 0x0ece
00000eb5: JUMPI
00000eb6: PUSH1 0x40
00000eb8: MLOAD
00000eb9: PUSH4 0x68d2bf6b
00000ebe: PUSH1 0xe1
00000ec0: SHL
00000ec1: DUP2
00000ec2: MSTORE
00000ec3: PUSH1 0x04
00000ec5: ADD
00000ec6: PUSH1 0x40
00000ec8: MLOAD
00000ec9: DUP1
00000eca: SWAP2
00000ecb: SUB
00000ecc: SWAP1
00000ecd: REVERT
00000ece: JUMPDEST
00000ecf: POP
00000ed0: POP
00000ed1: POP
00000ed2: POP
00000ed3: JUMP
00000ed4: JUMPDEST
00000ed5: PUSH1 0x60
00000ed7: PUSH1 0x0c
00000ed9: PUSH2 0x0ee1
00000edc: DUP4
00000edd: PUSH2 0x18b1
00000ee0: JUMP
00000ee1: JUMPDEST
00000ee2: PUSH1 0x0d
00000ee4: PUSH1 0x40
00000ee6: MLOAD
00000ee7: PUSH1 0x20
00000ee9: ADD
00000eea: PUSH2 0x0ef5
00000eed: SWAP4
00000eee: SWAP3
00000eef: SWAP2
00000ef0: SWAP1
00000ef1: PUSH2 0x213e
00000ef4: JUMP
00000ef5: JUMPDEST
00000ef6: PUSH1 0x40
00000ef8: MLOAD
00000ef9: PUSH1 0x20
00000efb: DUP2
00000efc: DUP4
00000efd: SUB
00000efe: SUB
00000eff: DUP2
00000f00: MSTORE
00000f01: SWAP1
00000f02: PUSH1 0x40
00000f04: MSTORE
00000f05: SWAP1
00000f06: POP
00000f07: SWAP2
00000f08: SWAP1
00000f09: POP
00000f0a: JUMP
00000f0b: JUMPDEST
00000f0c: PUSH1 0x00
00000f0e: PUSH1 0x0b
00000f10: SLOAD
00000f11: GT
00000f12: PUSH2 0x0f5d
00000f15: JUMPI
00000f16: PUSH1 0x40
00000f18: MLOAD
00000f19: PUSH3 0x461bcd
00000f1d: PUSH1 0xe5
00000f1f: SHL
00000f20: DUP2
00000f21: MSTORE
00000f22: PUSH1 0x20
00000f24: PUSH1 0x04
00000f26: DUP3
00000f27: ADD
00000f28: MSTORE
00000f29: PUSH1 0x14
00000f2b: PUSH1 0x24
00000f2d: DUP3
00000f2e: ADD
00000f2f: MSTORE
00000f30: PUSH32 0x77686974656c697374206e6f7420616374697665000000000000000000000000
00000f51: PUSH1 0x44
00000f53: DUP3
00000f54: ADD
00000f55: MSTORE
00000f56: PUSH1 0x64
00000f58: ADD
00000f59: PUSH2 0x0700
00000f5c: JUMP
00000f5d: JUMPDEST
00000f5e: CALLER
00000f5f: PUSH1 0x00
00000f61: SWAP1
00000f62: DUP2
00000f63: MSTORE
00000f64: PUSH1 0x0f
00000f66: PUSH1 0x20
00000f68: MSTORE
00000f69: PUSH1 0x40
00000f6b: SWAP1
00000f6c: KECCAK256
00000f6d: SLOAD
00000f6e: PUSH1 0xff
00000f70: AND
00000f71: ISZERO
00000f72: PUSH2 0x0fbd
00000f75: JUMPI
00000f76: PUSH1 0x40
00000f78: MLOAD
00000f79: PUSH3 0x461bcd
00000f7d: PUSH1 0xe5
00000f7f: SHL
00000f80: DUP2
00000f81: MSTORE
00000f82: PUSH1 0x20
00000f84: PUSH1 0x04
00000f86: DUP3
00000f87: ADD
00000f88: MSTORE
00000f89: PUSH1 0x0e
00000f8b: PUSH1 0x24
00000f8d: DUP3
00000f8e: ADD
00000f8f: MSTORE
00000f90: PUSH32 0x616c7265616479206d696e746564000000000000000000000000000000000000
00000fb1: PUSH1 0x44
00000fb3: DUP3
00000fb4: ADD
00000fb5: MSTORE
00000fb6: PUSH1 0x64
00000fb8: ADD
00000fb9: PUSH2 0x0700
00000fbc: JUMP
00000fbd: JUMPDEST
00000fbe: PUSH2 0x2710
00000fc1: DUP4
00000fc2: PUSH2 0x0fce
00000fc5: PUSH1 0x01
00000fc7: SLOAD
00000fc8: PUSH1 0x00
00000fca: SLOAD
00000fcb: SUB
00000fcc: SWAP1
00000fcd: JUMP
00000fce: JUMPDEST
00000fcf: PUSH2 0x0fd8
00000fd2: SWAP2
00000fd3: SWAP1
00000fd4: PUSH2 0x21c0
00000fd7: JUMP
00000fd8: JUMPDEST
00000fd9: GT
00000fda: ISZERO
00000fdb: PUSH2 0x1026
00000fde: JUMPI
00000fdf: PUSH1 0x40
00000fe1: MLOAD
00000fe2: PUSH3 0x461bcd
00000fe6: PUSH1 0xe5
00000fe8: SHL
00000fe9: DUP2
00000fea: MSTORE
00000feb: PUSH1 0x20
00000fed: PUSH1 0x04
00000fef: DUP3
00000ff0: ADD
00000ff1: MSTORE
00000ff2: PUSH1 0x14
00000ff4: PUSH1 0x24
00000ff6: DUP3
00000ff7: ADD
00000ff8: MSTORE
00000ff9: PUSH32 0x746f74616c20737570706c792072656163686564000000000000000000000000
0000101a: PUSH1 0x44
0000101c: DUP3
0000101d: ADD
0000101e: MSTORE
0000101f: PUSH1 0x64
00001021: ADD
00001022: PUSH2 0x0700
00001025: JUMP
00001026: JUMPDEST
00001027: PUSH1 0x06
00001029: DUP4
0000102a: LT
0000102b: PUSH2 0x1076
0000102e: JUMPI
0000102f: PUSH1 0x40
00001031: MLOAD
00001032: PUSH3 0x461bcd
00001036: PUSH1 0xe5
00001038: SHL
00001039: DUP2
0000103a: MSTORE
0000103b: PUSH1 0x20
0000103d: PUSH1 0x04
0000103f: DUP3
00001040: ADD
00001041: MSTORE
00001042: PUSH1 0x1c
00001044: PUSH1 0x24
00001046: DUP3
00001047: ADD
00001048: MSTORE
00001049: PUSH32 0x4d6178207175616e746974792070657220747820657863656564656400000000
0000106a: PUSH1 0x44
0000106c: DUP3
0000106d: ADD
0000106e: MSTORE
0000106f: PUSH1 0x64
00001071: ADD
00001072: PUSH2 0x0700
00001075: JUMP
00001076: JUMPDEST
00001077: PUSH1 0x0a
00001079: SLOAD
0000107a: PUSH2 0x1083
0000107d: SWAP1
0000107e: DUP5
0000107f: PUSH2 0x21ec
00001082: JUMP
00001083: JUMPDEST
00001084: CALLVALUE
00001085: EQ
00001086: PUSH2 0x10dc
00001089: JUMPI
0000108a: PUSH1 0x40
0000108c: MLOAD
0000108d: PUSH3 0x461bcd
00001091: PUSH1 0xe5
00001093: SHL
00001094: DUP2
00001095: MSTORE
00001096: PUSH1 0x20
00001098: PUSH1 0x04
0000109a: DUP3
0000109b: ADD
0000109c: MSTORE
0000109d: PUSH1 0x22
0000109f: PUSH1 0x24
000010a1: DUP3
000010a2: ADD
000010a3: MSTORE
000010a4: PUSH32 0x45746865722076616c75652073656e74206973206e6f74207375666669636965
000010c5: PUSH1 0x44
000010c7: DUP3
000010c8: ADD
000010c9: MSTORE
000010ca: PUSH2 0x1b9d
000010cd: PUSH1 0xf2
000010cf: SHL
000010d0: PUSH1 0x64
000010d2: DUP3
000010d3: ADD
000010d4: MSTORE
000010d5: PUSH1 0x84
000010d7: ADD
000010d8: PUSH2 0x0700
000010db: JUMP
000010dc: JUMPDEST
000010dd: PUSH1 0x40
000010df: MLOAD
000010e0: PUSH12 0xffffffffffffffffffffffff
000010ed: NOT
000010ee: CALLER
000010ef: PUSH1 0x60
000010f1: SHL
000010f2: AND
000010f3: PUSH1 0x20
000010f5: DUP3
000010f6: ADD
000010f7: MSTORE
000010f8: PUSH1 0x01
000010fa: PUSH1 0x34
000010fc: DUP3
000010fd: ADD
000010fe: MSTORE
000010ff: PUSH1 0x00
00001101: SWAP1
00001102: PUSH1 0x54
00001104: ADD
00001105: PUSH1 0x40
00001107: MLOAD
00001108: PUSH1 0x20
0000110a: DUP2
0000110b: DUP4
0000110c: SUB
0000110d: SUB
0000110e: DUP2
0000110f: MSTORE
00001110: SWAP1
00001111: PUSH1 0x40
00001113: MSTORE
00001114: DUP1
00001115: MLOAD
00001116: SWAP1
00001117: PUSH1 0x20
00001119: ADD
0000111a: KECCAK256
0000111b: SWAP1
0000111c: POP
0000111d: PUSH1 0x00
0000111f: PUSH2 0x115f
00001122: DUP5
00001123: DUP5
00001124: DUP1
00001125: DUP1
00001126: PUSH1 0x20
00001128: MUL
00001129: PUSH1 0x20
0000112b: ADD
0000112c: PUSH1 0x40
0000112e: MLOAD
0000112f: SWAP1
00001130: DUP2
00001131: ADD
00001132: PUSH1 0x40
00001134: MSTORE
00001135: DUP1
00001136: SWAP4
00001137: SWAP3
00001138: SWAP2
00001139: SWAP1
0000113a: DUP2
0000113b: DUP2
0000113c: MSTORE
0000113d: PUSH1 0x20
0000113f: ADD
00001140: DUP4
00001141: DUP4
00001142: PUSH1 0x20
00001144: MUL
00001145: DUP1
00001146: DUP3
00001147: DUP5
00001148: CALLDATACOPY
00001149: PUSH1 0x00
0000114b: SWAP3
0000114c: ADD
0000114d: SWAP2
0000114e: SWAP1
0000114f: SWAP2
00001150: MSTORE
00001151: POP
00001152: POP
00001153: PUSH1 0x0e
00001155: SLOAD
00001156: SWAP2
00001157: POP
00001158: DUP6
00001159: SWAP1
0000115a: POP
0000115b: PUSH2 0x19ff
0000115e: JUMP
0000115f: JUMPDEST
00001160: SWAP1
00001161: POP
00001162: DUP1
00001163: PUSH2 0x11ae
00001166: JUMPI
00001167: PUSH1 0x40
00001169: MLOAD
0000116a: PUSH3 0x461bcd
0000116e: PUSH1 0xe5
00001170: SHL
00001171: DUP2
00001172: MSTORE
00001173: PUSH1 0x20
00001175: PUSH1 0x04
00001177: DUP3
00001178: ADD
00001179: MSTORE
0000117a: PUSH1 0x0c
0000117c: PUSH1 0x24
0000117e: DUP3
0000117f: ADD
00001180: MSTORE
00001181: PUSH32 0x574c206e6f7420666f756e640000000000000000000000000000000000000000
000011a2: PUSH1 0x44
000011a4: DUP3
000011a5: ADD
000011a6: MSTORE
000011a7: PUSH1 0x64
000011a9: ADD
000011aa: PUSH2 0x0700
000011ad: JUMP
000011ae: JUMPDEST
000011af: CALLER
000011b0: PUSH1 0x00
000011b2: DUP2
000011b3: DUP2
000011b4: MSTORE
000011b5: PUSH1 0x0f
000011b7: PUSH1 0x20
000011b9: MSTORE
000011ba: PUSH1 0x40
000011bc: SWAP1
000011bd: KECCAK256
000011be: DUP1
000011bf: SLOAD
000011c0: PUSH1 0xff
000011c2: NOT
000011c3: AND
000011c4: PUSH1 0x01
000011c6: OR
000011c7: SWAP1
000011c8: SSTORE
000011c9: PUSH2 0x11d2
000011cc: SWAP1
000011cd: DUP7
000011ce: PUSH2 0x179f
000011d1: JUMP
000011d2: JUMPDEST
000011d3: POP
000011d4: POP
000011d5: POP
000011d6: POP
000011d7: POP
000011d8: JUMP
000011d9: JUMPDEST
000011da: PUSH2 0x11e1
000011dd: PUSH2 0x12e4
000011e0: JUMP
000011e1: JUMPDEST
000011e2: PUSH1 0x0e
000011e4: SSTORE
000011e5: JUMP
000011e6: JUMPDEST
000011e7: PUSH2 0x11ee
000011ea: PUSH2 0x12e4
000011ed: JUMP
000011ee: JUMPDEST
000011ef: PUSH2 0x2710
000011f2: DUP2
000011f3: PUSH2 0x11ff
000011f6: PUSH1 0x01
000011f8: SLOAD
000011f9: PUSH1 0x00
000011fb: SLOAD
000011fc: SUB
000011fd: SWAP1
000011fe: JUMP
000011ff: JUMPDEST
00001200: PUSH2 0x1209
00001203: SWAP2
00001204: SWAP1
00001205: PUSH2 0x21c0
00001208: JUMP
00001209: JUMPDEST
0000120a: GT
0000120b: ISZERO
0000120c: PUSH2 0x0dce
0000120f: JUMPI
00001210: PUSH1 0x40
00001212: MLOAD
00001213: PUSH3 0x461bcd
00001217: PUSH1 0xe5
00001219: SHL
0000121a: DUP2
0000121b: MSTORE
0000121c: PUSH1 0x20
0000121e: PUSH1 0x04
00001220: DUP3
00001221: ADD
00001222: MSTORE
00001223: PUSH1 0x14
00001225: PUSH1 0x24
00001227: DUP3
00001228: ADD
00001229: MSTORE
0000122a: PUSH32 0x746f74616c20737570706c792072656163686564000000000000000000000000
0000124b: PUSH1 0x44
0000124d: DUP3
0000124e: ADD
0000124f: MSTORE
00001250: PUSH1 0x64
00001252: ADD
00001253: PUSH2 0x0700
00001256: JUMP
00001257: JUMPDEST
00001258: PUSH2 0x125f
0000125b: PUSH2 0x12e4
0000125e: JUMP
0000125f: JUMPDEST
00001260: PUSH1 0x01
00001262: PUSH1 0x01
00001264: PUSH1 0xa0
00001266: SHL
00001267: SUB
00001268: DUP2
00001269: AND
0000126a: PUSH2 0x12db
0000126d: JUMPI
0000126e: PUSH1 0x40
00001270: MLOAD
00001271: PUSH3 0x461bcd
00001275: PUSH1 0xe5
00001277: SHL
00001278: DUP2
00001279: MSTORE
0000127a: PUSH1 0x20
0000127c: PUSH1 0x04
0000127e: DUP3
0000127f: ADD
00001280: MSTORE
00001281: PUSH1 0x26
00001283: PUSH1 0x24
00001285: DUP3
00001286: ADD
00001287: MSTORE
00001288: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061
000012a9: PUSH1 0x44
000012ab: DUP3
000012ac: ADD
000012ad: MSTORE
000012ae: PUSH32 0x6464726573730000000000000000000000000000000000000000000000000000
000012cf: PUSH1 0x64
000012d1: DUP3
000012d2: ADD
000012d3: MSTORE
000012d4: PUSH1 0x84
000012d6: ADD
000012d7: PUSH2 0x0700
000012da: JUMP
000012db: JUMPDEST
000012dc: PUSH2 0x0dd8
000012df: DUP2
000012e0: PUSH2 0x1740
000012e3: JUMP
000012e4: JUMPDEST
000012e5: PUSH1 0x08
000012e7: SLOAD
000012e8: PUSH1 0x01
000012ea: PUSH1 0x01
000012ec: PUSH1 0xa0
000012ee: SHL
000012ef: SUB
000012f0: AND
000012f1: CALLER
000012f2: EQ
000012f3: PUSH2 0x0b68
000012f6: JUMPI
000012f7: PUSH1 0x40
000012f9: MLOAD
000012fa: PUSH3 0x461bcd
000012fe: PUSH1 0xe5
00001300: SHL
00001301: DUP2
00001302: MSTORE
00001303: PUSH1 0x20
00001305: PUSH1 0x04
00001307: DUP3
00001308: ADD
00001309: DUP2
0000130a: SWAP1
0000130b: MSTORE
0000130c: PUSH1 0x24
0000130e: DUP3
0000130f: ADD
00001310: MSTORE
00001311: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00001332: PUSH1 0x44
00001334: DUP3
00001335: ADD
00001336: MSTORE
00001337: PUSH1 0x64
00001339: ADD
0000133a: PUSH2 0x0700
0000133d: JUMP
0000133e: JUMPDEST
0000133f: PUSH1 0x00
00001341: DUP1
00001342: SLOAD
00001343: DUP3
00001344: LT
00001345: DUP1
00001346: ISZERO
00001347: PUSH2 0x06a6
0000134a: JUMPI
0000134b: POP
0000134c: POP
0000134d: PUSH1 0x00
0000134f: SWAP1
00001350: DUP2
00001351: MSTORE
00001352: PUSH1 0x04
00001354: PUSH1 0x20
00001356: MSTORE
00001357: PUSH1 0x40
00001359: SWAP1
0000135a: KECCAK256
0000135b: SLOAD
0000135c: PUSH1 0x01
0000135e: PUSH1 0xe0
00001360: SHL
00001361: SWAP1
00001362: DIV
00001363: PUSH1 0xff
00001365: AND
00001366: ISZERO
00001367: SWAP1
00001368: JUMP
00001369: JUMPDEST
0000136a: PUSH1 0x00
0000136c: DUP3
0000136d: DUP2
0000136e: MSTORE
0000136f: PUSH1 0x06
00001371: PUSH1 0x20
00001373: MSTORE
00001374: PUSH1 0x40
00001376: DUP1
00001377: DUP3
00001378: KECCAK256
00001379: DUP1
0000137a: SLOAD
0000137b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001390: NOT
00001391: AND
00001392: PUSH1 0x01
00001394: PUSH1 0x01
00001396: PUSH1 0xa0
00001398: SHL
00001399: SUB
0000139a: DUP8
0000139b: DUP2
0000139c: AND
0000139d: SWAP2
0000139e: DUP3
0000139f: OR
000013a0: SWAP1
000013a1: SWAP3
000013a2: SSTORE
000013a3: SWAP2
000013a4: MLOAD
000013a5: DUP6
000013a6: SWAP4
000013a7: SWAP2
000013a8: DUP6
000013a9: AND
000013aa: SWAP2
000013ab: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
000013cc: SWAP2
000013cd: LOG4
000013ce: POP
000013cf: POP
000013d0: POP
000013d1: JUMP
000013d2: JUMPDEST
000013d3: PUSH1 0x00
000013d5: PUSH2 0x13dd
000013d8: DUP3
000013d9: PUSH2 0x160b
000013dc: JUMP
000013dd: JUMPDEST
000013de: SWAP1
000013df: POP
000013e0: DUP4
000013e1: PUSH1 0x01
000013e3: PUSH1 0x01
000013e5: PUSH1 0xa0
000013e7: SHL
000013e8: SUB
000013e9: AND
000013ea: DUP2
000013eb: PUSH1 0x00
000013ed: ADD
000013ee: MLOAD
000013ef: PUSH1 0x01
000013f1: PUSH1 0x01
000013f3: PUSH1 0xa0
000013f5: SHL
000013f6: SUB
000013f7: AND
000013f8: EQ
000013f9: PUSH2 0x142e
000013fc: JUMPI
000013fd: PUSH1 0x40
000013ff: MLOAD
00001400: PUSH32 0xa114810000000000000000000000000000000000000000000000000000000000
00001421: DUP2
00001422: MSTORE
00001423: PUSH1 0x04
00001425: ADD
00001426: PUSH1 0x40
00001428: MLOAD
00001429: DUP1
0000142a: SWAP2
0000142b: SUB
0000142c: SWAP1
0000142d: REVERT
0000142e: JUMPDEST
0000142f: PUSH1 0x00
00001431: CALLER
00001432: PUSH1 0x01
00001434: PUSH1 0x01
00001436: PUSH1 0xa0
00001438: SHL
00001439: SUB
0000143a: DUP7
0000143b: AND
0000143c: EQ
0000143d: DUP1
0000143e: PUSH2 0x144c
00001441: JUMPI
00001442: POP
00001443: PUSH2 0x144c
00001446: DUP6
00001447: CALLER
00001448: PUSH2 0x05a1
0000144b: JUMP
0000144c: JUMPDEST
0000144d: DUP1
0000144e: PUSH2 0x1467
00001451: JUMPI
00001452: POP
00001453: CALLER
00001454: PUSH2 0x145c
00001457: DUP5
00001458: PUSH2 0x07bd
0000145b: JUMP
0000145c: JUMPDEST
0000145d: PUSH1 0x01
0000145f: PUSH1 0x01
00001461: PUSH1 0xa0
00001463: SHL
00001464: SUB
00001465: AND
00001466: EQ
00001467: JUMPDEST
00001468: SWAP1
00001469: POP
0000146a: DUP1
0000146b: PUSH2 0x14a0
0000146e: JUMPI
0000146f: PUSH1 0x40
00001471: MLOAD
00001472: PUSH32 0x59c896be00000000000000000000000000000000000000000000000000000000
00001493: DUP2
00001494: MSTORE
00001495: PUSH1 0x04
00001497: ADD
00001498: PUSH1 0x40
0000149a: MLOAD
0000149b: DUP1
0000149c: SWAP2
0000149d: SUB
0000149e: SWAP1
0000149f: REVERT
000014a0: JUMPDEST
000014a1: PUSH1 0x01
000014a3: PUSH1 0x01
000014a5: PUSH1 0xa0
000014a7: SHL
000014a8: SUB
000014a9: DUP5
000014aa: AND
000014ab: PUSH2 0x14e0
000014ae: JUMPI
000014af: PUSH1 0x40
000014b1: MLOAD
000014b2: PUSH32 0xea553b3400000000000000000000000000000000000000000000000000000000
000014d3: DUP2
000014d4: MSTORE
000014d5: PUSH1 0x04
000014d7: ADD
000014d8: PUSH1 0x40
000014da: MLOAD
000014db: DUP1
000014dc: SWAP2
000014dd: SUB
000014de: SWAP1
000014df: REVERT
000014e0: JUMPDEST
000014e1: PUSH2 0x14ec
000014e4: PUSH1 0x00
000014e6: DUP5
000014e7: DUP8
000014e8: PUSH2 0x1369
000014eb: JUMP
000014ec: JUMPDEST
000014ed: PUSH1 0x01
000014ef: PUSH1 0x01
000014f1: PUSH1 0xa0
000014f3: SHL
000014f4: SUB
000014f5: DUP6
000014f6: DUP2
000014f7: AND
000014f8: PUSH1 0x00
000014fa: SWAP1
000014fb: DUP2
000014fc: MSTORE
000014fd: PUSH1 0x05
000014ff: PUSH1 0x20
00001501: SWAP1
00001502: DUP2
00001503: MSTORE
00001504: PUSH1 0x40
00001506: DUP1
00001507: DUP4
00001508: KECCAK256
00001509: DUP1
0000150a: SLOAD
0000150b: PUSH8 0xffffffffffffffff
00001514: NOT
00001515: DUP1
00001516: DUP3
00001517: AND
00001518: PUSH8 0xffffffffffffffff
00001521: SWAP3
00001522: DUP4
00001523: AND
00001524: PUSH1 0x00
00001526: NOT
00001527: ADD
00001528: DUP4
00001529: AND
0000152a: OR
0000152b: SWAP1
0000152c: SWAP3
0000152d: SSTORE
0000152e: DUP10
0000152f: DUP7
00001530: AND
00001531: DUP1
00001532: DUP7
00001533: MSTORE
00001534: DUP4
00001535: DUP7
00001536: KECCAK256
00001537: DUP1
00001538: SLOAD
00001539: SWAP4
0000153a: DUP5
0000153b: AND
0000153c: SWAP4
0000153d: DUP4
0000153e: AND
0000153f: PUSH1 0x01
00001541: SWAP1
00001542: DUP2
00001543: ADD
00001544: DUP5
00001545: AND
00001546: SWAP5
00001547: SWAP1
00001548: SWAP5
00001549: OR
0000154a: SWAP1
0000154b: SSTORE
0000154c: DUP10
0000154d: DUP7
0000154e: MSTORE
0000154f: PUSH1 0x04
00001551: SWAP1
00001552: SWAP5
00001553: MSTORE
00001554: DUP3
00001555: DUP6
00001556: KECCAK256
00001557: DUP1
00001558: SLOAD
00001559: PUSH1 0x01
0000155b: PUSH1 0x01
0000155d: PUSH1 0xe0
0000155f: SHL
00001560: SUB
00001561: NOT
00001562: AND
00001563: SWAP1
00001564: SWAP5
00001565: OR
00001566: PUSH1 0x01
00001568: PUSH1 0xa0
0000156a: SHL
0000156b: TIMESTAMP
0000156c: SWAP1
0000156d: SWAP3
0000156e: AND
0000156f: SWAP2
00001570: SWAP1
00001571: SWAP2
00001572: MUL
00001573: OR
00001574: DUP4
00001575: SSTORE
00001576: DUP8
00001577: ADD
00001578: DUP1
00001579: DUP5
0000157a: MSTORE
0000157b: SWAP3
0000157c: KECCAK256
0000157d: DUP1
0000157e: SLOAD
0000157f: SWAP2
00001580: SWAP4
00001581: SWAP1
00001582: SWAP2
00001583: AND
00001584: PUSH2 0x15c2
00001587: JUMPI
00001588: PUSH1 0x00
0000158a: SLOAD
0000158b: DUP3
0000158c: EQ
0000158d: PUSH2 0x15c2
00001590: JUMPI
00001591: DUP1
00001592: SLOAD
00001593: PUSH1 0x20
00001595: DUP7
00001596: ADD
00001597: MLOAD
00001598: PUSH8 0xffffffffffffffff
000015a1: AND
000015a2: PUSH1 0x01
000015a4: PUSH1 0xa0
000015a6: SHL
000015a7: MUL
000015a8: PUSH1 0x01
000015aa: PUSH1 0x01
000015ac: PUSH1 0xe0
000015ae: SHL
000015af: SUB
000015b0: NOT
000015b1: SWAP1
000015b2: SWAP2
000015b3: AND
000015b4: PUSH1 0x01
000015b6: PUSH1 0x01
000015b8: PUSH1 0xa0
000015ba: SHL
000015bb: SUB
000015bc: DUP11
000015bd: AND
000015be: OR
000015bf: OR
000015c0: DUP2
000015c1: SSTORE
000015c2: JUMPDEST
000015c3: POP
000015c4: POP
000015c5: POP
000015c6: DUP3
000015c7: DUP5
000015c8: PUSH1 0x01
000015ca: PUSH1 0x01
000015cc: PUSH1 0xa0
000015ce: SHL
000015cf: SUB
000015d0: AND
000015d1: DUP7
000015d2: PUSH1 0x01
000015d4: PUSH1 0x01
000015d6: PUSH1 0xa0
000015d8: SHL
000015d9: SUB
000015da: AND
000015db: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
000015fc: PUSH1 0x40
000015fe: MLOAD
000015ff: PUSH1 0x40
00001601: MLOAD
00001602: DUP1
00001603: SWAP2
00001604: SUB
00001605: SWAP1
00001606: LOG4
00001607: PUSH2 0x11d2
0000160a: JUMP
0000160b: JUMPDEST
0000160c: PUSH1 0x40
0000160e: DUP1
0000160f: MLOAD
00001610: PUSH1 0x60
00001612: DUP2
00001613: ADD
00001614: DUP3
00001615: MSTORE
00001616: PUSH1 0x00
00001618: DUP1
00001619: DUP3
0000161a: MSTORE
0000161b: PUSH1 0x20
0000161d: DUP3
0000161e: ADD
0000161f: DUP2
00001620: SWAP1
00001621: MSTORE
00001622: SWAP2
00001623: DUP2
00001624: ADD
00001625: SWAP2
00001626: SWAP1
00001627: SWAP2
00001628: MSTORE
00001629: DUP2
0000162a: PUSH1 0x00
0000162c: SLOAD
0000162d: DUP2
0000162e: LT
0000162f: ISZERO
00001630: PUSH2 0x170e
00001633: JUMPI
00001634: PUSH1 0x00
00001636: DUP2
00001637: DUP2
00001638: MSTORE
00001639: PUSH1 0x04
0000163b: PUSH1 0x20
0000163d: SWAP1
0000163e: DUP2
0000163f: MSTORE
00001640: PUSH1 0x40
00001642: SWAP2
00001643: DUP3
00001644: SWAP1
00001645: KECCAK256
00001646: DUP3
00001647: MLOAD
00001648: PUSH1 0x60
0000164a: DUP2
0000164b: ADD
0000164c: DUP5
0000164d: MSTORE
0000164e: SWAP1
0000164f: SLOAD
00001650: PUSH1 0x01
00001652: PUSH1 0x01
00001654: PUSH1 0xa0
00001656: SHL
00001657: SUB
00001658: DUP2
00001659: AND
0000165a: DUP3
0000165b: MSTORE
0000165c: PUSH1 0x01
0000165e: PUSH1 0xa0
00001660: SHL
00001661: DUP2
00001662: DIV
00001663: PUSH8 0xffffffffffffffff
0000166c: AND
0000166d: SWAP3
0000166e: DUP3
0000166f: ADD
00001670: SWAP3
00001671: SWAP1
00001672: SWAP3
00001673: MSTORE
00001674: PUSH1 0x01
00001676: PUSH1 0xe0
00001678: SHL
00001679: SWAP1
0000167a: SWAP2
0000167b: DIV
0000167c: PUSH1 0xff
0000167e: AND
0000167f: ISZERO
00001680: ISZERO
00001681: SWAP2
00001682: DUP2
00001683: ADD
00001684: DUP3
00001685: SWAP1
00001686: MSTORE
00001687: SWAP1
00001688: PUSH2 0x170c
0000168b: JUMPI
0000168c: DUP1
0000168d: MLOAD
0000168e: PUSH1 0x01
00001690: PUSH1 0x01
00001692: PUSH1 0xa0
00001694: SHL
00001695: SUB
00001696: AND
00001697: ISZERO
00001698: PUSH2 0x16a2
0000169b: JUMPI
0000169c: SWAP4
0000169d: SWAP3
0000169e: POP
0000169f: POP
000016a0: POP
000016a1: JUMP
000016a2: JUMPDEST
000016a3: POP
000016a4: PUSH1 0x00
000016a6: NOT
000016a7: ADD
000016a8: PUSH1 0x00
000016aa: DUP2
000016ab: DUP2
000016ac: MSTORE
000016ad: PUSH1 0x04
000016af: PUSH1 0x20
000016b1: SWAP1
000016b2: DUP2
000016b3: MSTORE
000016b4: PUSH1 0x40
000016b6: SWAP2
000016b7: DUP3
000016b8: SWAP1
000016b9: KECCAK256
000016ba: DUP3
000016bb: MLOAD
000016bc: PUSH1 0x60
000016be: DUP2
000016bf: ADD
000016c0: DUP5
000016c1: MSTORE
000016c2: SWAP1
000016c3: SLOAD
000016c4: PUSH1 0x01
000016c6: PUSH1 0x01
000016c8: PUSH1 0xa0
000016ca: SHL
000016cb: SUB
000016cc: DUP2
000016cd: AND
000016ce: DUP1
000016cf: DUP4
000016d0: MSTORE
000016d1: PUSH1 0x01
000016d3: PUSH1 0xa0
000016d5: SHL
000016d6: DUP3
000016d7: DIV
000016d8: PUSH8 0xffffffffffffffff
000016e1: AND
000016e2: SWAP4
000016e3: DUP4
000016e4: ADD
000016e5: SWAP4
000016e6: SWAP1
000016e7: SWAP4
000016e8: MSTORE
000016e9: PUSH1 0x01
000016eb: PUSH1 0xe0
000016ed: SHL
000016ee: SWAP1
000016ef: DIV
000016f0: PUSH1 0xff
000016f2: AND
000016f3: ISZERO
000016f4: ISZERO
000016f5: SWAP3
000016f6: DUP2
000016f7: ADD
000016f8: SWAP3
000016f9: SWAP1
000016fa: SWAP3
000016fb: MSTORE
000016fc: ISZERO
000016fd: PUSH2 0x1707
00001700: JUMPI
00001701: SWAP4
00001702: SWAP3
00001703: POP
00001704: POP
00001705: POP
00001706: JUMP
00001707: JUMPDEST
00001708: PUSH2 0x16a2
0000170b: JUMP
0000170c: JUMPDEST
0000170d: POP
0000170e: JUMPDEST
0000170f: PUSH1 0x40
00001711: MLOAD
00001712: PUSH32 0xdf2d9b4200000000000000000000000000000000000000000000000000000000
00001733: DUP2
00001734: MSTORE
00001735: PUSH1 0x04
00001737: ADD
00001738: PUSH1 0x40
0000173a: MLOAD
0000173b: DUP1
0000173c: SWAP2
0000173d: SUB
0000173e: SWAP1
0000173f: REVERT
00001740: JUMPDEST
00001741: PUSH1 0x08
00001743: DUP1
00001744: SLOAD
00001745: PUSH1 0x01
00001747: PUSH1 0x01
00001749: PUSH1 0xa0
0000174b: SHL
0000174c: SUB
0000174d: DUP4
0000174e: DUP2
0000174f: AND
00001750: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001765: NOT
00001766: DUP4
00001767: AND
00001768: DUP2
00001769: OR
0000176a: SWAP1
0000176b: SWAP4
0000176c: SSTORE
0000176d: PUSH1 0x40
0000176f: MLOAD
00001770: SWAP2
00001771: AND
00001772: SWAP2
00001773: SWAP1
00001774: DUP3
00001775: SWAP1
00001776: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00001797: SWAP1
00001798: PUSH1 0x00
0000179a: SWAP1
0000179b: LOG3
0000179c: POP
0000179d: POP
0000179e: JUMP
0000179f: JUMPDEST
000017a0: PUSH2 0x0727
000017a3: DUP3
000017a4: DUP3
000017a5: PUSH1 0x40
000017a7: MLOAD
000017a8: DUP1
000017a9: PUSH1 0x20
000017ab: ADD
000017ac: PUSH1 0x40
000017ae: MSTORE
000017af: DUP1
000017b0: PUSH1 0x00
000017b2: DUP2
000017b3: MSTORE
000017b4: POP
000017b5: PUSH2 0x1a15
000017b8: JUMP
000017b9: JUMPDEST
000017ba: PUSH1 0x40
000017bc: MLOAD
000017bd: PUSH4 0x0a85bd01
000017c2: PUSH1 0xe1
000017c4: SHL
000017c5: DUP2
000017c6: MSTORE
000017c7: PUSH1 0x00
000017c9: SWAP1
000017ca: PUSH1 0x01
000017cc: PUSH1 0x01
000017ce: PUSH1 0xa0
000017d0: SHL
000017d1: SUB
000017d2: DUP6
000017d3: AND
000017d4: SWAP1
000017d5: PUSH4 0x150b7a02
000017da: SWAP1
000017db: PUSH2 0x17ee
000017de: SWAP1
000017df: CALLER
000017e0: SWAP1
000017e1: DUP10
000017e2: SWAP1
000017e3: DUP9
000017e4: SWAP1
000017e5: DUP9
000017e6: SWAP1
000017e7: PUSH1 0x04
000017e9: ADD
000017ea: PUSH2 0x2171
000017ed: JUMP
000017ee: JUMPDEST
000017ef: PUSH1 0x20
000017f1: PUSH1 0x40
000017f3: MLOAD
000017f4: DUP1
000017f5: DUP4
000017f6: SUB
000017f7: DUP2
000017f8: PUSH1 0x00
000017fa: DUP8
000017fb: DUP1
000017fc: EXTCODESIZE
000017fd: ISZERO
000017fe: DUP1
000017ff: ISZERO
00001800: PUSH2 0x1808
00001803: JUMPI
00001804: PUSH1 0x00
00001806: DUP1
00001807: REVERT
00001808: JUMPDEST
00001809: POP
0000180a: GAS
0000180b: CALL
0000180c: SWAP3
0000180d: POP
0000180e: POP
0000180f: POP
00001810: DUP1
00001811: ISZERO
00001812: PUSH2 0x1838
00001815: JUMPI
00001816: POP
00001817: PUSH1 0x40
00001819: DUP1
0000181a: MLOAD
0000181b: PUSH1 0x1f
0000181d: RETURNDATASIZE
0000181e: SWAP1
0000181f: DUP2
00001820: ADD
00001821: PUSH1 0x1f
00001823: NOT
00001824: AND
00001825: DUP3
00001826: ADD
00001827: SWAP1
00001828: SWAP3
00001829: MSTORE
0000182a: PUSH2 0x1835
0000182d: SWAP2
0000182e: DUP2
0000182f: ADD
00001830: SWAP1
00001831: PUSH2 0x1f6b
00001834: JUMP
00001835: JUMPDEST
00001836: PUSH1 0x01
00001838: JUMPDEST
00001839: PUSH2 0x1893
0000183c: JUMPI
0000183d: RETURNDATASIZE
0000183e: DUP1
0000183f: DUP1
00001840: ISZERO
00001841: PUSH2 0x1866
00001844: JUMPI
00001845: PUSH1 0x40
00001847: MLOAD
00001848: SWAP2
00001849: POP
0000184a: PUSH1 0x1f
0000184c: NOT
0000184d: PUSH1 0x3f
0000184f: RETURNDATASIZE
00001850: ADD
00001851: AND
00001852: DUP3
00001853: ADD
00001854: PUSH1 0x40
00001856: MSTORE
00001857: RETURNDATASIZE
00001858: DUP3
00001859: MSTORE
0000185a: RETURNDATASIZE
0000185b: PUSH1 0x00
0000185d: PUSH1 0x20
0000185f: DUP5
00001860: ADD
00001861: RETURNDATACOPY
00001862: PUSH2 0x186b
00001865: JUMP
00001866: JUMPDEST
00001867: PUSH1 0x60
00001869: SWAP2
0000186a: POP
0000186b: JUMPDEST
0000186c: POP
0000186d: DUP1
0000186e: MLOAD
0000186f: PUSH2 0x188b
00001872: JUMPI
00001873: PUSH1 0x40
00001875: MLOAD
00001876: PUSH4 0x68d2bf6b
0000187b: PUSH1 0xe1
0000187d: SHL
0000187e: DUP2
0000187f: MSTORE
00001880: PUSH1 0x04
00001882: ADD
00001883: PUSH1 0x40
00001885: MLOAD
00001886: DUP1
00001887: SWAP2
00001888: SUB
00001889: SWAP1
0000188a: REVERT
0000188b: JUMPDEST
0000188c: DUP1
0000188d: MLOAD
0000188e: DUP2
0000188f: PUSH1 0x20
00001891: ADD
00001892: REVERT
00001893: JUMPDEST
00001894: PUSH1 0x01
00001896: PUSH1 0x01
00001898: PUSH1 0xe0
0000189a: SHL
0000189b: SUB
0000189c: NOT
0000189d: AND
0000189e: PUSH4 0x0a85bd01
000018a3: PUSH1 0xe1
000018a5: SHL
000018a6: EQ
000018a7: SWAP1
000018a8: POP
000018a9: JUMPDEST
000018aa: SWAP5
000018ab: SWAP4
000018ac: POP
000018ad: POP
000018ae: POP
000018af: POP
000018b0: JUMP
000018b1: JUMPDEST
000018b2: PUSH1 0x60
000018b4: DUP2
000018b5: PUSH2 0x18f1
000018b8: JUMPI
000018b9: POP
000018ba: POP
000018bb: PUSH1 0x40
000018bd: DUP1
000018be: MLOAD
000018bf: DUP1
000018c0: DUP3
000018c1: ADD
000018c2: SWAP1
000018c3: SWAP2
000018c4: MSTORE
000018c5: PUSH1 0x01
000018c7: DUP2
000018c8: MSTORE
000018c9: PUSH32 0x3000000000000000000000000000000000000000000000000000000000000000
000018ea: PUSH1 0x20
000018ec: DUP3
000018ed: ADD
000018ee: MSTORE
000018ef: SWAP1
000018f0: JUMP
000018f1: JUMPDEST
000018f2: DUP2
000018f3: PUSH1 0x00
000018f5: JUMPDEST
000018f6: DUP2
000018f7: ISZERO
000018f8: PUSH2 0x191b
000018fb: JUMPI
000018fc: DUP1
000018fd: PUSH2 0x1905
00001900: DUP2
00001901: PUSH2 0x2289
00001904: JUMP
00001905: JUMPDEST
00001906: SWAP2
00001907: POP
00001908: PUSH2 0x1914
0000190b: SWAP1
0000190c: POP
0000190d: PUSH1 0x0a
0000190f: DUP4
00001910: PUSH2 0x21d8
00001913: JUMP
00001914: JUMPDEST
00001915: SWAP2
00001916: POP
00001917: PUSH2 0x18f5
0000191a: JUMP
0000191b: JUMPDEST
0000191c: PUSH1 0x00
0000191e: DUP2
0000191f: PUSH8 0xffffffffffffffff
00001928: DUP2
00001929: GT
0000192a: ISZERO
0000192b: PUSH2 0x1944
0000192e: JUMPI
0000192f: PUSH4 0x4e487b71
00001934: PUSH1 0xe0
00001936: SHL
00001937: PUSH1 0x00
00001939: MSTORE
0000193a: PUSH1 0x41
0000193c: PUSH1 0x04
0000193e: MSTORE
0000193f: PUSH1 0x24
00001941: PUSH1 0x00
00001943: REVERT
00001944: JUMPDEST
00001945: PUSH1 0x40
00001947: MLOAD
00001948: SWAP1
00001949: DUP1
0000194a: DUP3
0000194b: MSTORE
0000194c: DUP1
0000194d: PUSH1 0x1f
0000194f: ADD
00001950: PUSH1 0x1f
00001952: NOT
00001953: AND
00001954: PUSH1 0x20
00001956: ADD
00001957: DUP3
00001958: ADD
00001959: PUSH1 0x40
0000195b: MSTORE
0000195c: DUP1
0000195d: ISZERO
0000195e: PUSH2 0x196e
00001961: JUMPI
00001962: PUSH1 0x20
00001964: DUP3
00001965: ADD
00001966: DUP2
00001967: DUP1
00001968: CALLDATASIZE
00001969: DUP4
0000196a: CALLDATACOPY
0000196b: ADD
0000196c: SWAP1
0000196d: POP
0000196e: JUMPDEST
0000196f: POP
00001970: SWAP1
00001971: POP
00001972: JUMPDEST
00001973: DUP5
00001974: ISZERO
00001975: PUSH2 0x18a9
00001978: JUMPI
00001979: PUSH2 0x1983
0000197c: PUSH1 0x01
0000197e: DUP4
0000197f: PUSH2 0x220b
00001982: JUMP
00001983: JUMPDEST
00001984: SWAP2
00001985: POP
00001986: PUSH2 0x1990
00001989: PUSH1 0x0a
0000198b: DUP7
0000198c: PUSH2 0x22a4
0000198f: JUMP
00001990: JUMPDEST
00001991: PUSH2 0x199b
00001994: SWAP1
00001995: PUSH1 0x30
00001997: PUSH2 0x21c0
0000199a: JUMP
0000199b: JUMPDEST
0000199c: PUSH1 0xf8
0000199e: SHL
0000199f: DUP2
000019a0: DUP4
000019a1: DUP2
000019a2: MLOAD
000019a3: DUP2
000019a4: LT
000019a5: PUSH2 0x19be
000019a8: JUMPI
000019a9: PUSH4 0x4e487b71
000019ae: PUSH1 0xe0
000019b0: SHL
000019b1: PUSH1 0x00
000019b3: MSTORE
000019b4: PUSH1 0x32
000019b6: PUSH1 0x04
000019b8: MSTORE
000019b9: PUSH1 0x24
000019bb: PUSH1 0x00
000019bd: REVERT
000019be: JUMPDEST
000019bf: PUSH1 0x20
000019c1: ADD
000019c2: ADD
000019c3: SWAP1
000019c4: PUSH31 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000019e4: NOT
000019e5: AND
000019e6: SWAP1
000019e7: DUP2
000019e8: PUSH1 0x00
000019ea: BYTE
000019eb: SWAP1
000019ec: MSTORE8
000019ed: POP
000019ee: PUSH2 0x19f8
000019f1: PUSH1 0x0a
000019f3: DUP7
000019f4: PUSH2 0x21d8
000019f7: JUMP
000019f8: JUMPDEST
000019f9: SWAP5
000019fa: POP
000019fb: PUSH2 0x1972
000019fe: JUMP
000019ff: JUMPDEST
00001a00: PUSH1 0x00
00001a02: DUP3
00001a03: PUSH2 0x1a0c
00001a06: DUP6
00001a07: DUP5
00001a08: PUSH2 0x1c1c
00001a0b: JUMP
00001a0c: JUMPDEST
00001a0d: EQ
00001a0e: SWAP5
00001a0f: SWAP4
00001a10: POP
00001a11: POP
00001a12: POP
00001a13: POP
00001a14: JUMP
00001a15: JUMPDEST
00001a16: PUSH1 0x00
00001a18: SLOAD
00001a19: PUSH1 0x01
00001a1b: PUSH1 0x01
00001a1d: PUSH1 0xa0
00001a1f: SHL
00001a20: SUB
00001a21: DUP5
00001a22: AND
00001a23: PUSH2 0x1a58
00001a26: JUMPI
00001a27: PUSH1 0x40
00001a29: MLOAD
00001a2a: PUSH32 0x2e07630000000000000000000000000000000000000000000000000000000000
00001a4b: DUP2
00001a4c: MSTORE
00001a4d: PUSH1 0x04
00001a4f: ADD
00001a50: PUSH1 0x40
00001a52: MLOAD
00001a53: DUP1
00001a54: SWAP2
00001a55: SUB
00001a56: SWAP1
00001a57: REVERT
00001a58: JUMPDEST
00001a59: DUP3
00001a5a: PUSH2 0x1a8f
00001a5d: JUMPI
00001a5e: PUSH1 0x40
00001a60: MLOAD
00001a61: PUSH32 0xb562e8dd00000000000000000000000000000000000000000000000000000000
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: PUSH1 0x01
00001a92: PUSH1 0x01
00001a94: PUSH1 0xa0
00001a96: SHL
00001a97: SUB
00001a98: DUP5
00001a99: AND
00001a9a: PUSH1 0x00
00001a9c: DUP2
00001a9d: DUP2
00001a9e: MSTORE
00001a9f: PUSH1 0x05
00001aa1: PUSH1 0x20
00001aa3: SWAP1
00001aa4: DUP2
00001aa5: MSTORE
00001aa6: PUSH1 0x40
00001aa8: DUP1
00001aa9: DUP4
00001aaa: KECCAK256
00001aab: DUP1
00001aac: SLOAD
00001aad: PUSH32 0xffffffffffffffffffffffffffffffff00000000000000000000000000000000
00001ace: DUP2
00001acf: AND
00001ad0: PUSH8 0xffffffffffffffff
00001ad9: DUP1
00001ada: DUP4
00001adb: AND
00001adc: DUP12
00001add: ADD
00001ade: DUP2
00001adf: AND
00001ae0: SWAP2
00001ae1: DUP3
00001ae2: OR
00001ae3: PUSH9 0x010000000000000000
00001aed: PUSH8 0xffffffffffffffff
00001af6: NOT
00001af7: SWAP1
00001af8: SWAP5
00001af9: AND
00001afa: SWAP1
00001afb: SWAP3
00001afc: OR
00001afd: DUP4
00001afe: SWAP1
00001aff: DIV
00001b00: DUP2
00001b01: AND
00001b02: DUP12
00001b03: ADD
00001b04: DUP2
00001b05: AND
00001b06: SWAP1
00001b07: SWAP3
00001b08: MUL
00001b09: OR
00001b0a: SWAP1
00001b0b: SWAP2
00001b0c: SSTORE
00001b0d: DUP6
00001b0e: DUP5
00001b0f: MSTORE
00001b10: PUSH1 0x04
00001b12: SWAP1
00001b13: SWAP3
00001b14: MSTORE
00001b15: SWAP1
00001b16: SWAP2
00001b17: KECCAK256
00001b18: DUP1
00001b19: SLOAD
00001b1a: PUSH1 0x01
00001b1c: PUSH1 0x01
00001b1e: PUSH1 0xe0
00001b20: SHL
00001b21: SUB
00001b22: NOT
00001b23: AND
00001b24: DUP4
00001b25: OR
00001b26: PUSH1 0x01
00001b28: PUSH1 0xa0
00001b2a: SHL
00001b2b: TIMESTAMP
00001b2c: SWAP1
00001b2d: SWAP4
00001b2e: AND
00001b2f: SWAP3
00001b30: SWAP1
00001b31: SWAP3
00001b32: MUL
00001b33: SWAP2
00001b34: SWAP1
00001b35: SWAP2
00001b36: OR
00001b37: SWAP1
00001b38: SSTORE
00001b39: DUP2
00001b3a: SWAP1
00001b3b: DUP2
00001b3c: DUP6
00001b3d: ADD
00001b3e: SWAP1
00001b3f: EXTCODESIZE
00001b40: ISZERO
00001b41: PUSH2 0x1bc7
00001b44: JUMPI
00001b45: JUMPDEST
00001b46: PUSH1 0x40
00001b48: MLOAD
00001b49: DUP3
00001b4a: SWAP1
00001b4b: PUSH1 0x01
00001b4d: PUSH1 0x01
00001b4f: PUSH1 0xa0
00001b51: SHL
00001b52: SUB
00001b53: DUP9
00001b54: AND
00001b55: SWAP1
00001b56: PUSH1 0x00
00001b58: SWAP1
00001b59: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00001b7a: SWAP1
00001b7b: DUP3
00001b7c: SWAP1
00001b7d: LOG4
00001b7e: PUSH2 0x1b90
00001b81: PUSH1 0x00
00001b83: DUP8
00001b84: DUP5
00001b85: DUP1
00001b86: PUSH1 0x01
00001b88: ADD
00001b89: SWAP6
00001b8a: POP
00001b8b: DUP8
00001b8c: PUSH2 0x17b9
00001b8f: JUMP
00001b90: JUMPDEST
00001b91: PUSH2 0x1bad
00001b94: JUMPI
00001b95: PUSH1 0x40
00001b97: MLOAD
00001b98: PUSH4 0x68d2bf6b
00001b9d: PUSH1 0xe1
00001b9f: SHL
00001ba0: DUP2
00001ba1: MSTORE
00001ba2: PUSH1 0x04
00001ba4: ADD
00001ba5: PUSH1 0x40
00001ba7: MLOAD
00001ba8: DUP1
00001ba9: SWAP2
00001baa: SUB
00001bab: SWAP1
00001bac: REVERT
00001bad: JUMPDEST
00001bae: DUP1
00001baf: DUP3
00001bb0: LT
00001bb1: PUSH2 0x1b45
00001bb4: JUMPI
00001bb5: DUP3
00001bb6: PUSH1 0x00
00001bb8: SLOAD
00001bb9: EQ
00001bba: PUSH2 0x1bc2
00001bbd: JUMPI
00001bbe: PUSH1 0x00
00001bc0: DUP1
00001bc1: REVERT
00001bc2: JUMPDEST
00001bc3: PUSH2 0x1c0c
00001bc6: JUMP
00001bc7: JUMPDEST
00001bc8: JUMPDEST
00001bc9: PUSH1 0x40
00001bcb: MLOAD
00001bcc: PUSH1 0x01
00001bce: DUP4
00001bcf: ADD
00001bd0: SWAP3
00001bd1: SWAP1
00001bd2: PUSH1 0x01
00001bd4: PUSH1 0x01
00001bd6: PUSH1 0xa0
00001bd8: SHL
00001bd9: SUB
00001bda: DUP9
00001bdb: AND
00001bdc: SWAP1
00001bdd: PUSH1 0x00
00001bdf: SWAP1
00001be0: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00001c01: SWAP1
00001c02: DUP3
00001c03: SWAP1
00001c04: LOG4
00001c05: DUP1
00001c06: DUP3
00001c07: LT
00001c08: PUSH2 0x1bc8
00001c0b: JUMPI
00001c0c: JUMPDEST
00001c0d: POP
00001c0e: PUSH1 0x00
00001c10: SWAP1
00001c11: DUP2
00001c12: SSTORE
00001c13: PUSH2 0x0ece
00001c16: SWAP1
00001c17: DUP6
00001c18: DUP4
00001c19: DUP7
00001c1a: DUP5
00001c1b: JUMP
00001c1c: JUMPDEST
00001c1d: PUSH1 0x00
00001c1f: DUP2
00001c20: DUP2
00001c21: JUMPDEST
00001c22: DUP5
00001c23: MLOAD
00001c24: DUP2
00001c25: LT
00001c26: ISZERO
00001c27: PUSH2 0x1c6f
00001c2a: JUMPI
00001c2b: PUSH2 0x1c5b
00001c2e: DUP3
00001c2f: DUP7
00001c30: DUP4
00001c31: DUP2
00001c32: MLOAD
00001c33: DUP2
00001c34: LT
00001c35: PUSH2 0x1c4e
00001c38: JUMPI
00001c39: PUSH4 0x4e487b71
00001c3e: PUSH1 0xe0
00001c40: SHL
00001c41: PUSH1 0x00
00001c43: MSTORE
00001c44: PUSH1 0x32
00001c46: PUSH1 0x04
00001c48: MSTORE
00001c49: PUSH1 0x24
00001c4b: PUSH1 0x00
00001c4d: REVERT
00001c4e: JUMPDEST
00001c4f: PUSH1 0x20
00001c51: MUL
00001c52: PUSH1 0x20
00001c54: ADD
00001c55: ADD
00001c56: MLOAD
00001c57: PUSH2 0x1c77
00001c5a: JUMP
00001c5b: JUMPDEST
00001c5c: SWAP2
00001c5d: POP
00001c5e: DUP1
00001c5f: PUSH2 0x1c67
00001c62: DUP2
00001c63: PUSH2 0x2289
00001c66: JUMP
00001c67: JUMPDEST
00001c68: SWAP2
00001c69: POP
00001c6a: POP
00001c6b: PUSH2 0x1c21
00001c6e: JUMP
00001c6f: JUMPDEST
00001c70: POP
00001c71: SWAP4
00001c72: SWAP3
00001c73: POP
00001c74: POP
00001c75: POP
00001c76: JUMP
00001c77: JUMPDEST
00001c78: PUSH1 0x00
00001c7a: DUP2
00001c7b: DUP4
00001c7c: LT
00001c7d: PUSH2 0x1c93
00001c80: JUMPI
00001c81: PUSH1 0x00
00001c83: DUP3
00001c84: DUP2
00001c85: MSTORE
00001c86: PUSH1 0x20
00001c88: DUP5
00001c89: SWAP1
00001c8a: MSTORE
00001c8b: PUSH1 0x40
00001c8d: SWAP1
00001c8e: KECCAK256
00001c8f: PUSH2 0x1ca2
00001c92: JUMP
00001c93: JUMPDEST
00001c94: PUSH1 0x00
00001c96: DUP4
00001c97: DUP2
00001c98: MSTORE
00001c99: PUSH1 0x20
00001c9b: DUP4
00001c9c: SWAP1
00001c9d: MSTORE
00001c9e: PUSH1 0x40
00001ca0: SWAP1
00001ca1: KECCAK256
00001ca2: JUMPDEST
00001ca3: SWAP4
00001ca4: SWAP3
00001ca5: POP
00001ca6: POP
00001ca7: POP
00001ca8: JUMP
00001ca9: JUMPDEST
00001caa: DUP3
00001cab: DUP1
00001cac: SLOAD
00001cad: PUSH2 0x1cb5
00001cb0: SWAP1
00001cb1: PUSH2 0x224e
00001cb4: JUMP
00001cb5: JUMPDEST
00001cb6: SWAP1
00001cb7: PUSH1 0x00
00001cb9: MSTORE
00001cba: PUSH1 0x20
00001cbc: PUSH1 0x00
00001cbe: KECCAK256
00001cbf: SWAP1
00001cc0: PUSH1 0x1f
00001cc2: ADD
00001cc3: PUSH1 0x20
00001cc5: SWAP1
00001cc6: DIV
00001cc7: DUP2
00001cc8: ADD
00001cc9: SWAP3
00001cca: DUP3
00001ccb: PUSH2 0x1cd7
00001cce: JUMPI
00001ccf: PUSH1 0x00
00001cd1: DUP6
00001cd2: SSTORE
00001cd3: PUSH2 0x1d1d
00001cd6: JUMP
00001cd7: JUMPDEST
00001cd8: DUP3
00001cd9: PUSH1 0x1f
00001cdb: LT
00001cdc: PUSH2 0x1cf0
00001cdf: JUMPI
00001ce0: DUP1
00001ce1: MLOAD
00001ce2: PUSH1 0xff
00001ce4: NOT
00001ce5: AND
00001ce6: DUP4
00001ce7: DUP1
00001ce8: ADD
00001ce9: OR
00001cea: DUP6
00001ceb: SSTORE
00001cec: PUSH2 0x1d1d
00001cef: JUMP
00001cf0: JUMPDEST
00001cf1: DUP3
00001cf2: DUP1
00001cf3: ADD
00001cf4: PUSH1 0x01
00001cf6: ADD
00001cf7: DUP6
00001cf8: SSTORE
00001cf9: DUP3
00001cfa: ISZERO
00001cfb: PUSH2 0x1d1d
00001cfe: JUMPI
00001cff: SWAP2
00001d00: DUP3
00001d01: ADD
00001d02: JUMPDEST
00001d03: DUP3
00001d04: DUP2
00001d05: GT
00001d06: ISZERO
00001d07: PUSH2 0x1d1d
00001d0a: JUMPI
00001d0b: DUP3
00001d0c: MLOAD
00001d0d: DUP3
00001d0e: SSTORE
00001d0f: SWAP2
00001d10: PUSH1 0x20
00001d12: ADD
00001d13: SWAP2
00001d14: SWAP1
00001d15: PUSH1 0x01
00001d17: ADD
00001d18: SWAP1
00001d19: PUSH2 0x1d02
00001d1c: JUMP
00001d1d: JUMPDEST
00001d1e: POP
00001d1f: PUSH2 0x1d29
00001d22: SWAP3
00001d23: SWAP2
00001d24: POP
00001d25: PUSH2 0x1d2d
00001d28: JUMP
00001d29: JUMPDEST
00001d2a: POP
00001d2b: SWAP1
00001d2c: JUMP
00001d2d: JUMPDEST
00001d2e: JUMPDEST
00001d2f: DUP1
00001d30: DUP3
00001d31: GT
00001d32: ISZERO
00001d33: PUSH2 0x1d29
00001d36: JUMPI
00001d37: PUSH1 0x00
00001d39: DUP2
00001d3a: SSTORE
00001d3b: PUSH1 0x01
00001d3d: ADD
00001d3e: PUSH2 0x1d2e
00001d41: JUMP
00001d42: JUMPDEST
00001d43: PUSH1 0x00
00001d45: PUSH8 0xffffffffffffffff
00001d4e: DUP1
00001d4f: DUP5
00001d50: GT
00001d51: ISZERO
00001d52: PUSH2 0x1d5d
00001d55: JUMPI
00001d56: PUSH2 0x1d5d
00001d59: PUSH2 0x22e4
00001d5c: JUMP
00001d5d: JUMPDEST
00001d5e: PUSH1 0x40
00001d60: MLOAD
00001d61: PUSH1 0x1f
00001d63: DUP6
00001d64: ADD
00001d65: PUSH1 0x1f
00001d67: NOT
00001d68: SWAP1
00001d69: DUP2
00001d6a: AND
00001d6b: PUSH1 0x3f
00001d6d: ADD
00001d6e: AND
00001d6f: DUP2
00001d70: ADD
00001d71: SWAP1
00001d72: DUP3
00001d73: DUP3
00001d74: GT
00001d75: DUP2
00001d76: DUP4
00001d77: LT
00001d78: OR
00001d79: ISZERO
00001d7a: PUSH2 0x1d85
00001d7d: JUMPI
00001d7e: PUSH2 0x1d85
00001d81: PUSH2 0x22e4
00001d84: JUMP
00001d85: JUMPDEST
00001d86: DUP2
00001d87: PUSH1 0x40
00001d89: MSTORE
00001d8a: DUP1
00001d8b: SWAP4
00001d8c: POP
00001d8d: DUP6
00001d8e: DUP2
00001d8f: MSTORE
00001d90: DUP7
00001d91: DUP7
00001d92: DUP7
00001d93: ADD
00001d94: GT
00001d95: ISZERO
00001d96: PUSH2 0x1d9e
00001d99: JUMPI
00001d9a: PUSH1 0x00
00001d9c: DUP1
00001d9d: REVERT
00001d9e: JUMPDEST
00001d9f: DUP6
00001da0: DUP6
00001da1: PUSH1 0x20
00001da3: DUP4
00001da4: ADD
00001da5: CALLDATACOPY
00001da6: PUSH1 0x00
00001da8: PUSH1 0x20
00001daa: DUP8
00001dab: DUP4
00001dac: ADD
00001dad: ADD
00001dae: MSTORE
00001daf: POP
00001db0: POP
00001db1: POP
00001db2: SWAP4
00001db3: SWAP3
00001db4: POP
00001db5: POP
00001db6: POP
00001db7: JUMP
00001db8: JUMPDEST
00001db9: DUP1
00001dba: CALLDATALOAD
00001dbb: PUSH1 0x01
00001dbd: PUSH1 0x01
00001dbf: PUSH1 0xa0
00001dc1: SHL
00001dc2: SUB
00001dc3: DUP2
00001dc4: AND
00001dc5: DUP2
00001dc6: EQ
00001dc7: PUSH2 0x1dcf
00001dca: JUMPI
00001dcb: PUSH1 0x00
00001dcd: DUP1
00001dce: REVERT
00001dcf: JUMPDEST
00001dd0: SWAP2
00001dd1: SWAP1
00001dd2: POP
00001dd3: JUMP
00001dd4: JUMPDEST
00001dd5: PUSH1 0x00
00001dd7: PUSH1 0x20
00001dd9: DUP3
00001dda: DUP5
00001ddb: SUB
00001ddc: SLT
00001ddd: ISZERO
00001dde: PUSH2 0x1de5
00001de1: JUMPI
00001de2: DUP1
00001de3: DUP2
00001de4: REVERT
00001de5: JUMPDEST
00001de6: PUSH2 0x1ca2
00001de9: DUP3
00001dea: PUSH2 0x1db8
00001ded: JUMP
00001dee: JUMPDEST
00001def: PUSH1 0x00
00001df1: DUP1
00001df2: PUSH1 0x40
00001df4: DUP4
00001df5: DUP6
00001df6: SUB
00001df7: SLT
00001df8: ISZERO
00001df9: PUSH2 0x1e00
00001dfc: JUMPI
00001dfd: DUP1
00001dfe: DUP2
00001dff: REVERT
00001e00: JUMPDEST
00001e01: PUSH2 0x1e09
00001e04: DUP4
00001e05: PUSH2 0x1db8
00001e08: JUMP
00001e09: JUMPDEST
00001e0a: SWAP2
00001e0b: POP
00001e0c: PUSH2 0x1e17
00001e0f: PUSH1 0x20
00001e11: DUP5
00001e12: ADD
00001e13: PUSH2 0x1db8
00001e16: JUMP
00001e17: JUMPDEST
00001e18: SWAP1
00001e19: POP
00001e1a: SWAP3
00001e1b: POP
00001e1c: SWAP3
00001e1d: SWAP1
00001e1e: POP
00001e1f: JUMP
00001e20: JUMPDEST
00001e21: PUSH1 0x00
00001e23: DUP1
00001e24: PUSH1 0x00
00001e26: PUSH1 0x60
00001e28: DUP5
00001e29: DUP7
00001e2a: SUB
00001e2b: SLT
00001e2c: ISZERO
00001e2d: PUSH2 0x1e34
00001e30: JUMPI
00001e31: DUP1
00001e32: DUP2
00001e33: REVERT
00001e34: JUMPDEST
00001e35: PUSH2 0x1e3d
00001e38: DUP5
00001e39: PUSH2 0x1db8
00001e3c: JUMP
00001e3d: JUMPDEST
00001e3e: SWAP3
00001e3f: POP
00001e40: PUSH2 0x1e4b
00001e43: PUSH1 0x20
00001e45: DUP6
00001e46: ADD
00001e47: PUSH2 0x1db8
00001e4a: JUMP
00001e4b: JUMPDEST
00001e4c: SWAP2
00001e4d: POP
00001e4e: PUSH1 0x40
00001e50: DUP5
00001e51: ADD
00001e52: CALLDATALOAD
00001e53: SWAP1
00001e54: POP
00001e55: SWAP3
00001e56: POP
00001e57: SWAP3
00001e58: POP
00001e59: SWAP3
00001e5a: JUMP
00001e5b: JUMPDEST
00001e5c: PUSH1 0x00
00001e5e: DUP1
00001e5f: PUSH1 0x00
00001e61: DUP1
00001e62: PUSH1 0x80
00001e64: DUP6
00001e65: DUP8
00001e66: SUB
00001e67: SLT
00001e68: ISZERO
00001e69: PUSH2 0x1e70
00001e6c: JUMPI
00001e6d: DUP1
00001e6e: DUP2
00001e6f: REVERT
00001e70: JUMPDEST
00001e71: PUSH2 0x1e79
00001e74: DUP6
00001e75: PUSH2 0x1db8
00001e78: JUMP
00001e79: JUMPDEST
00001e7a: SWAP4
00001e7b: POP
00001e7c: PUSH2 0x1e87
00001e7f: PUSH1 0x20
00001e81: DUP7
00001e82: ADD
00001e83: PUSH2 0x1db8
00001e86: JUMP
00001e87: JUMPDEST
00001e88: SWAP3
00001e89: POP
00001e8a: PUSH1 0x40
00001e8c: DUP6
00001e8d: ADD
00001e8e: CALLDATALOAD
00001e8f: SWAP2
00001e90: POP
00001e91: PUSH1 0x60
00001e93: DUP6
00001e94: ADD
00001e95: CALLDATALOAD
00001e96: PUSH8 0xffffffffffffffff
00001e9f: DUP2
00001ea0: GT
00001ea1: ISZERO
00001ea2: PUSH2 0x1ea9
00001ea5: JUMPI
00001ea6: DUP2
00001ea7: DUP3
00001ea8: REVERT
00001ea9: JUMPDEST
00001eaa: DUP6
00001eab: ADD
00001eac: PUSH1 0x1f
00001eae: DUP2
00001eaf: ADD
00001eb0: DUP8
00001eb1: SGT
00001eb2: PUSH2 0x1eb9
00001eb5: JUMPI
00001eb6: DUP2
00001eb7: DUP3
00001eb8: REVERT
00001eb9: JUMPDEST
00001eba: PUSH2 0x1ec8
00001ebd: DUP8
00001ebe: DUP3
00001ebf: CALLDATALOAD
00001ec0: PUSH1 0x20
00001ec2: DUP5
00001ec3: ADD
00001ec4: PUSH2 0x1d42
00001ec7: JUMP
00001ec8: JUMPDEST
00001ec9: SWAP2
00001eca: POP
00001ecb: POP
00001ecc: SWAP3
00001ecd: SWAP6
00001ece: SWAP2
00001ecf: SWAP5
00001ed0: POP
00001ed1: SWAP3
00001ed2: POP
00001ed3: JUMP
00001ed4: JUMPDEST
00001ed5: PUSH1 0x00
00001ed7: DUP1
00001ed8: PUSH1 0x40
00001eda: DUP4
00001edb: DUP6
00001edc: SUB
00001edd: SLT
00001ede: ISZERO
00001edf: PUSH2 0x1ee6
00001ee2: JUMPI
00001ee3: DUP2
00001ee4: DUP3
00001ee5: REVERT
00001ee6: JUMPDEST
00001ee7: PUSH2 0x1eef
00001eea: DUP4
00001eeb: PUSH2 0x1db8
00001eee: JUMP
00001eef: JUMPDEST
00001ef0: SWAP2
00001ef1: POP
00001ef2: PUSH1 0x20
00001ef4: DUP4
00001ef5: ADD
00001ef6: CALLDATALOAD
00001ef7: DUP1
00001ef8: ISZERO
00001ef9: ISZERO
00001efa: DUP2
00001efb: EQ
00001efc: PUSH2 0x1f03
00001eff: JUMPI
00001f00: DUP2
00001f01: DUP3
00001f02: REVERT
00001f03: JUMPDEST
00001f04: DUP1
00001f05: SWAP2
00001f06: POP
00001f07: POP
00001f08: SWAP3
00001f09: POP
00001f0a: SWAP3
00001f0b: SWAP1
00001f0c: POP
00001f0d: JUMP
00001f0e: JUMPDEST
00001f0f: PUSH1 0x00
00001f11: DUP1
00001f12: PUSH1 0x40
00001f14: DUP4
00001f15: DUP6
00001f16: SUB
00001f17: SLT
00001f18: ISZERO
00001f19: PUSH2 0x1f20
00001f1c: JUMPI
00001f1d: DUP2
00001f1e: DUP3
00001f1f: REVERT
00001f20: JUMPDEST
00001f21: PUSH2 0x1f29
00001f24: DUP4
00001f25: PUSH2 0x1db8
00001f28: JUMP
00001f29: JUMPDEST
00001f2a: SWAP5
00001f2b: PUSH1 0x20
00001f2d: SWAP4
00001f2e: SWAP1
00001f2f: SWAP4
00001f30: ADD
00001f31: CALLDATALOAD
00001f32: SWAP4
00001f33: POP
00001f34: POP
00001f35: POP
00001f36: JUMP
00001f37: JUMPDEST
00001f38: PUSH1 0x00
00001f3a: PUSH1 0x20
00001f3c: DUP3
00001f3d: DUP5
00001f3e: SUB
00001f3f: SLT
00001f40: ISZERO
00001f41: PUSH2 0x1f48
00001f44: JUMPI
00001f45: DUP1
00001f46: DUP2
00001f47: REVERT
00001f48: JUMPDEST
00001f49: POP
00001f4a: CALLDATALOAD
00001f4b: SWAP2
00001f4c: SWAP1
00001f4d: POP
00001f4e: JUMP
00001f4f: JUMPDEST
00001f50: PUSH1 0x00
00001f52: PUSH1 0x20
00001f54: DUP3
00001f55: DUP5
00001f56: SUB
00001f57: SLT
00001f58: ISZERO
00001f59: PUSH2 0x1f60
00001f5c: JUMPI
00001f5d: DUP1
00001f5e: DUP2
00001f5f: REVERT
00001f60: JUMPDEST
00001f61: DUP2
00001f62: CALLDATALOAD
00001f63: PUSH2 0x1ca2
00001f66: DUP2
00001f67: PUSH2 0x22fa
00001f6a: JUMP
00001f6b: JUMPDEST
00001f6c: PUSH1 0x00
00001f6e: PUSH1 0x20
00001f70: DUP3
00001f71: DUP5
00001f72: SUB
00001f73: SLT
00001f74: ISZERO
00001f75: PUSH2 0x1f7c
00001f78: JUMPI
00001f79: DUP1
00001f7a: DUP2
00001f7b: REVERT
00001f7c: JUMPDEST
00001f7d: DUP2
00001f7e: MLOAD
00001f7f: PUSH2 0x1ca2
00001f82: DUP2
00001f83: PUSH2 0x22fa
00001f86: JUMP
00001f87: JUMPDEST
00001f88: PUSH1 0x00
00001f8a: DUP1
00001f8b: PUSH1 0x00
00001f8d: PUSH1 0x40
00001f8f: DUP5
00001f90: DUP7
00001f91: SUB
00001f92: SLT
00001f93: ISZERO
00001f94: PUSH2 0x1f9b
00001f97: JUMPI
00001f98: DUP3
00001f99: DUP4
00001f9a: REVERT
00001f9b: JUMPDEST
00001f9c: DUP4
00001f9d: CALLDATALOAD
00001f9e: SWAP3
00001f9f: POP
00001fa0: PUSH1 0x20
00001fa2: DUP5
00001fa3: ADD
00001fa4: CALLDATALOAD
00001fa5: PUSH8 0xffffffffffffffff
00001fae: DUP1
00001faf: DUP3
00001fb0: GT
00001fb1: ISZERO
00001fb2: PUSH2 0x1fb9
00001fb5: JUMPI
00001fb6: DUP4
00001fb7: DUP5
00001fb8: REVERT
00001fb9: JUMPDEST
00001fba: DUP2
00001fbb: DUP7
00001fbc: ADD
00001fbd: SWAP2
00001fbe: POP
00001fbf: DUP7
00001fc0: PUSH1 0x1f
00001fc2: DUP4
00001fc3: ADD
00001fc4: SLT
00001fc5: PUSH2 0x1fcc
00001fc8: JUMPI
00001fc9: DUP4
00001fca: DUP5
00001fcb: REVERT
00001fcc: JUMPDEST
00001fcd: DUP2
00001fce: CALLDATALOAD
00001fcf: DUP2
00001fd0: DUP2
00001fd1: GT
00001fd2: ISZERO
00001fd3: PUSH2 0x1fda
00001fd6: JUMPI
00001fd7: DUP5
00001fd8: DUP6
00001fd9: REVERT
00001fda: JUMPDEST
00001fdb: DUP8
00001fdc: PUSH1 0x20
00001fde: DUP3
00001fdf: PUSH1 0x05
00001fe1: SHL
00001fe2: DUP6
00001fe3: ADD
00001fe4: ADD
00001fe5: GT
00001fe6: ISZERO
00001fe7: PUSH2 0x1fee
00001fea: JUMPI
00001feb: DUP5
00001fec: DUP6
00001fed: REVERT
00001fee: JUMPDEST
00001fef: PUSH1 0x20
00001ff1: DUP4
00001ff2: ADD
00001ff3: SWAP5
00001ff4: POP
00001ff5: DUP1
00001ff6: SWAP4
00001ff7: POP
00001ff8: POP
00001ff9: POP
00001ffa: POP
00001ffb: SWAP3
00001ffc: POP
00001ffd: SWAP3
00001ffe: POP
00001fff: SWAP3
00002000: JUMP
00002001: JUMPDEST
00002002: PUSH1 0x00
00002004: DUP1
00002005: PUSH1 0x40
00002007: DUP4
00002008: DUP6
00002009: SUB
0000200a: SLT
0000200b: ISZERO
0000200c: PUSH2 0x2013
0000200f: JUMPI
00002010: DUP2
00002011: DUP3
00002012: REVERT
00002013: JUMPDEST
00002014: DUP3
00002015: CALLDATALOAD
00002016: SWAP2
00002017: POP
00002018: PUSH1 0x20
0000201a: DUP4
0000201b: ADD
0000201c: CALLDATALOAD
0000201d: PUSH8 0xffffffffffffffff
00002026: DUP2
00002027: GT
00002028: ISZERO
00002029: PUSH2 0x2030
0000202c: JUMPI
0000202d: DUP2
0000202e: DUP3
0000202f: REVERT
00002030: JUMPDEST
00002031: DUP4
00002032: ADD
00002033: PUSH1 0x1f
00002035: DUP2
00002036: ADD
00002037: DUP6
00002038: SGT
00002039: PUSH2 0x2040
0000203c: JUMPI
0000203d: DUP2
0000203e: DUP3
0000203f: REVERT
00002040: JUMPDEST
00002041: PUSH2 0x204f
00002044: DUP6
00002045: DUP3
00002046: CALLDATALOAD
00002047: PUSH1 0x20
00002049: DUP5
0000204a: ADD
0000204b: PUSH2 0x1d42
0000204e: JUMP
0000204f: JUMPDEST
00002050: SWAP2
00002051: POP
00002052: POP
00002053: SWAP3
00002054: POP
00002055: SWAP3
00002056: SWAP1
00002057: POP
00002058: JUMP
00002059: JUMPDEST
0000205a: PUSH1 0x00
0000205c: DUP1
0000205d: PUSH1 0x40
0000205f: DUP4
00002060: DUP6
00002061: SUB
00002062: SLT
00002063: ISZERO
00002064: PUSH2 0x206b
00002067: JUMPI
00002068: DUP2
00002069: DUP3
0000206a: REVERT
0000206b: JUMPDEST
0000206c: POP
0000206d: POP
0000206e: DUP1
0000206f: CALLDATALOAD
00002070: SWAP3
00002071: PUSH1 0x20
00002073: SWAP1
00002074: SWAP2
00002075: ADD
00002076: CALLDATALOAD
00002077: SWAP2
00002078: POP
00002079: JUMP
0000207a: JUMPDEST
0000207b: PUSH1 0x00
0000207d: DUP2
0000207e: MLOAD
0000207f: DUP1
00002080: DUP5
00002081: MSTORE
00002082: PUSH2 0x2092
00002085: DUP2
00002086: PUSH1 0x20
00002088: DUP7
00002089: ADD
0000208a: PUSH1 0x20
0000208c: DUP7
0000208d: ADD
0000208e: PUSH2 0x2222
00002091: JUMP
00002092: JUMPDEST
00002093: PUSH1 0x1f
00002095: ADD
00002096: PUSH1 0x1f
00002098: NOT
00002099: AND
0000209a: SWAP3
0000209b: SWAP1
0000209c: SWAP3
0000209d: ADD
0000209e: PUSH1 0x20
000020a0: ADD
000020a1: SWAP3
000020a2: SWAP2
000020a3: POP
000020a4: POP
000020a5: JUMP
000020a6: JUMPDEST
000020a7: DUP1
000020a8: SLOAD
000020a9: PUSH1 0x00
000020ab: SWAP1
000020ac: PUSH1 0x01
000020ae: DUP2
000020af: DUP2
000020b0: SHR
000020b1: SWAP1
000020b2: DUP1
000020b3: DUP4
000020b4: AND
000020b5: DUP1
000020b6: PUSH2 0x20c0
000020b9: JUMPI
000020ba: PUSH1 0x7f
000020bc: DUP4
000020bd: AND
000020be: SWAP3
000020bf: POP
000020c0: JUMPDEST
000020c1: PUSH1 0x20
000020c3: DUP1
000020c4: DUP5
000020c5: LT
000020c6: DUP3
000020c7: EQ
000020c8: ISZERO
000020c9: PUSH2 0x20e0
000020cc: JUMPI
000020cd: PUSH4 0x4e487b71
000020d2: PUSH1 0xe0
000020d4: SHL
000020d5: DUP7
000020d6: MSTORE
000020d7: PUSH1 0x22
000020d9: PUSH1 0x04
000020db: MSTORE
000020dc: PUSH1 0x24
000020de: DUP7
000020df: REVERT
000020e0: JUMPDEST
000020e1: DUP2
000020e2: DUP1
000020e3: ISZERO
000020e4: PUSH2 0x20f4
000020e7: JUMPI
000020e8: PUSH1 0x01
000020ea: DUP2
000020eb: EQ
000020ec: PUSH2 0x2105
000020ef: JUMPI
000020f0: PUSH2 0x2132
000020f3: JUMP
000020f4: JUMPDEST
000020f5: PUSH1 0xff
000020f7: NOT
000020f8: DUP7
000020f9: AND
000020fa: DUP10
000020fb: MSTORE
000020fc: DUP5
000020fd: DUP10
000020fe: ADD
000020ff: SWAP7
00002100: POP
00002101: PUSH2 0x2132
00002104: JUMP
00002105: JUMPDEST
00002106: PUSH1 0x00
00002108: DUP9
00002109: DUP2
0000210a: MSTORE
0000210b: PUSH1 0x20
0000210d: SWAP1
0000210e: KECCAK256
0000210f: PUSH1 0x00
00002111: JUMPDEST
00002112: DUP7
00002113: DUP2
00002114: LT
00002115: ISZERO
00002116: PUSH2 0x212a
00002119: JUMPI
0000211a: DUP2
0000211b: SLOAD
0000211c: DUP12
0000211d: DUP3
0000211e: ADD
0000211f: MSTORE
00002120: SWAP1
00002121: DUP6
00002122: ADD
00002123: SWAP1
00002124: DUP4
00002125: ADD
00002126: PUSH2 0x2111
00002129: JUMP
0000212a: JUMPDEST
0000212b: POP
0000212c: POP
0000212d: DUP5
0000212e: DUP10
0000212f: ADD
00002130: SWAP7
00002131: POP
00002132: JUMPDEST
00002133: POP
00002134: POP
00002135: POP
00002136: POP
00002137: POP
00002138: POP
00002139: SWAP3
0000213a: SWAP2
0000213b: POP
0000213c: POP
0000213d: JUMP
0000213e: JUMPDEST
0000213f: PUSH1 0x00
00002141: PUSH2 0x214a
00002144: DUP3
00002145: DUP7
00002146: PUSH2 0x20a6
00002149: JUMP
0000214a: JUMPDEST
0000214b: DUP5
0000214c: MLOAD
0000214d: PUSH2 0x215a
00002150: DUP2
00002151: DUP4
00002152: PUSH1 0x20
00002154: DUP10
00002155: ADD
00002156: PUSH2 0x2222
00002159: JUMP
0000215a: JUMPDEST
0000215b: PUSH2 0x2166
0000215e: DUP2
0000215f: DUP4
00002160: ADD
00002161: DUP7
00002162: PUSH2 0x20a6
00002165: JUMP
00002166: JUMPDEST
00002167: SWAP8
00002168: SWAP7
00002169: POP
0000216a: POP
0000216b: POP
0000216c: POP
0000216d: POP
0000216e: POP
0000216f: POP
00002170: JUMP
00002171: JUMPDEST
00002172: PUSH1 0x00
00002174: PUSH1 0x01
00002176: PUSH1 0x01
00002178: PUSH1 0xa0
0000217a: SHL
0000217b: SUB
0000217c: DUP1
0000217d: DUP8
0000217e: AND
0000217f: DUP4
00002180: MSTORE
00002181: DUP1
00002182: DUP7
00002183: AND
00002184: PUSH1 0x20
00002186: DUP5
00002187: ADD
00002188: MSTORE
00002189: POP
0000218a: DUP4
0000218b: PUSH1 0x40
0000218d: DUP4
0000218e: ADD
0000218f: MSTORE
00002190: PUSH1 0x80
00002192: PUSH1 0x60
00002194: DUP4
00002195: ADD
00002196: MSTORE
00002197: PUSH2 0x21a3
0000219a: PUSH1 0x80
0000219c: DUP4
0000219d: ADD
0000219e: DUP5
0000219f: PUSH2 0x207a
000021a2: JUMP
000021a3: JUMPDEST
000021a4: SWAP7
000021a5: SWAP6
000021a6: POP
000021a7: POP
000021a8: POP
000021a9: POP
000021aa: POP
000021ab: POP
000021ac: JUMP
000021ad: JUMPDEST
000021ae: PUSH1 0x20
000021b0: DUP2
000021b1: MSTORE
000021b2: PUSH1 0x00
000021b4: PUSH2 0x1ca2
000021b7: PUSH1 0x20
000021b9: DUP4
000021ba: ADD
000021bb: DUP5
000021bc: PUSH2 0x207a
000021bf: JUMP
000021c0: JUMPDEST
000021c1: PUSH1 0x00
000021c3: DUP3
000021c4: NOT
000021c5: DUP3
000021c6: GT
000021c7: ISZERO
000021c8: PUSH2 0x21d3
000021cb: JUMPI
000021cc: PUSH2 0x21d3
000021cf: PUSH2 0x22b8
000021d2: JUMP
000021d3: JUMPDEST
000021d4: POP
000021d5: ADD
000021d6: SWAP1
000021d7: JUMP
000021d8: JUMPDEST
000021d9: PUSH1 0x00
000021db: DUP3
000021dc: PUSH2 0x21e7
000021df: JUMPI
000021e0: PUSH2 0x21e7
000021e3: PUSH2 0x22ce
000021e6: JUMP
000021e7: JUMPDEST
000021e8: POP
000021e9: DIV
000021ea: SWAP1
000021eb: JUMP
000021ec: JUMPDEST
000021ed: PUSH1 0x00
000021ef: DUP2
000021f0: PUSH1 0x00
000021f2: NOT
000021f3: DIV
000021f4: DUP4
000021f5: GT
000021f6: DUP3
000021f7: ISZERO
000021f8: ISZERO
000021f9: AND
000021fa: ISZERO
000021fb: PUSH2 0x2206
000021fe: JUMPI
000021ff: PUSH2 0x2206
00002202: PUSH2 0x22b8
00002205: JUMP
00002206: JUMPDEST
00002207: POP
00002208: MUL
00002209: SWAP1
0000220a: JUMP
0000220b: JUMPDEST
0000220c: PUSH1 0x00
0000220e: DUP3
0000220f: DUP3
00002210: LT
00002211: ISZERO
00002212: PUSH2 0x221d
00002215: JUMPI
00002216: PUSH2 0x221d
00002219: PUSH2 0x22b8
0000221c: JUMP
0000221d: JUMPDEST
0000221e: POP
0000221f: SUB
00002220: SWAP1
00002221: JUMP
00002222: JUMPDEST
00002223: PUSH1 0x00
00002225: JUMPDEST
00002226: DUP4
00002227: DUP2
00002228: LT
00002229: ISZERO
0000222a: PUSH2 0x223d
0000222d: JUMPI
0000222e: DUP2
0000222f: DUP2
00002230: ADD
00002231: MLOAD
00002232: DUP4
00002233: DUP3
00002234: ADD
00002235: MSTORE
00002236: PUSH1 0x20
00002238: ADD
00002239: PUSH2 0x2225
0000223c: JUMP
0000223d: JUMPDEST
0000223e: DUP4
0000223f: DUP2
00002240: GT
00002241: ISZERO
00002242: PUSH2 0x0ece
00002245: JUMPI
00002246: POP
00002247: POP
00002248: PUSH1 0x00
0000224a: SWAP2
0000224b: ADD
0000224c: MSTORE
0000224d: JUMP
0000224e: JUMPDEST
0000224f: PUSH1 0x01
00002251: DUP2
00002252: DUP2
00002253: SHR
00002254: SWAP1
00002255: DUP3
00002256: AND
00002257: DUP1
00002258: PUSH2 0x2262
0000225b: JUMPI
0000225c: PUSH1 0x7f
0000225e: DUP3
0000225f: AND
00002260: SWAP2
00002261: POP
00002262: JUMPDEST
00002263: PUSH1 0x20
00002265: DUP3
00002266: LT
00002267: DUP2
00002268: EQ
00002269: ISZERO
0000226a: PUSH2 0x2283
0000226d: JUMPI
0000226e: PUSH4 0x4e487b71
00002273: PUSH1 0xe0
00002275: SHL
00002276: PUSH1 0x00
00002278: MSTORE
00002279: PUSH1 0x22
0000227b: PUSH1 0x04
0000227d: MSTORE
0000227e: PUSH1 0x24
00002280: PUSH1 0x00
00002282: REVERT
00002283: JUMPDEST
00002284: POP
00002285: SWAP2
00002286: SWAP1
00002287: POP
00002288: JUMP
00002289: JUMPDEST
0000228a: PUSH1 0x00
0000228c: PUSH1 0x00
0000228e: NOT
0000228f: DUP3
00002290: EQ
00002291: ISZERO
00002292: PUSH2 0x229d
00002295: JUMPI
00002296: PUSH2 0x229d
00002299: PUSH2 0x22b8
0000229c: JUMP
0000229d: JUMPDEST
0000229e: POP
0000229f: PUSH1 0x01
000022a1: ADD
000022a2: SWAP1
000022a3: JUMP
000022a4: JUMPDEST
000022a5: PUSH1 0x00
000022a7: DUP3
000022a8: PUSH2 0x22b3
000022ab: JUMPI
000022ac: PUSH2 0x22b3
000022af: PUSH2 0x22ce
000022b2: JUMP
000022b3: JUMPDEST
000022b4: POP
000022b5: MOD
000022b6: SWAP1
000022b7: JUMP
000022b8: JUMPDEST
000022b9: PUSH4 0x4e487b71
000022be: PUSH1 0xe0
000022c0: SHL
000022c1: PUSH1 0x00
000022c3: MSTORE
000022c4: PUSH1 0x11
000022c6: PUSH1 0x04
000022c8: MSTORE
000022c9: PUSH1 0x24
000022cb: PUSH1 0x00
000022cd: REVERT
000022ce: JUMPDEST
000022cf: PUSH4 0x4e487b71
000022d4: PUSH1 0xe0
000022d6: SHL
000022d7: PUSH1 0x00
000022d9: MSTORE
000022da: PUSH1 0x12
000022dc: PUSH1 0x04
000022de: MSTORE
000022df: PUSH1 0x24
000022e1: PUSH1 0x00
000022e3: REVERT
000022e4: JUMPDEST
000022e5: PUSH4 0x4e487b71
000022ea: PUSH1 0xe0
000022ec: SHL
000022ed: PUSH1 0x00
000022ef: MSTORE
000022f0: PUSH1 0x41
000022f2: PUSH1 0x04
000022f4: MSTORE
000022f5: PUSH1 0x24
000022f7: PUSH1 0x00
000022f9: REVERT
000022fa: JUMPDEST
000022fb: PUSH1 0x01
000022fd: PUSH1 0x01
000022ff: PUSH1 0xe0
00002301: SHL
00002302: SUB
00002303: NOT
00002304: DUP2
00002305: AND
00002306: DUP2
00002307: EQ
00002308: PUSH2 0x0dd8
0000230b: JUMPI
0000230c: PUSH1 0x00
0000230e: DUP1
0000230f: REVERT
00002310: INVALID
00002311: LOG2
00002312: PUSH5 0x6970667358
00002318: UNKNOWN(0x22)
00002319: SLT
0000231a: KECCAK256
0000231b: JUMP
0000231c: SHL
0000231d: BLOBBASEFEE
0000231e: PC
0000231f: UNKNOWN(0xD1)
00002320: SMOD
00002321: UNKNOWN(0x4D)
00002322: UNKNOWN(0xC2)
00002323: PUSH8 0x95974dec5f870f03
0000232c: UNKNOWN(0xC4)
0000232d: UNKNOWN(0xB8)
0000232e: UNKNOWN(0xE7)
0000232f: UNKNOWN(0xAC)
00002330: UNKNOWN(0x2C)
00002331: UNKNOWN(0xEC)
00002332: MCOPY
00002333: UNKNOWN(0xCB)
00002334: DUP7
00002335: BYTE
00002336: SLOAD
00002337: NOT
00002338: UNKNOWN(0xBB)
00002339: PUSH26

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
high auth detector Authorization based on tx.origin 70 no
view
validation_json
{
    "reason": "missing sink mapping",
    "status": "no_sink"
}
witness_json
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0xe985e9c5",
            "selector": "0xe985e9c5",
            "calldata_variants": [
                "0xe985e9c5",
                "0xe985e9c50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf19e75d4",
            "selector": "0xf19e75d4",
            "calldata_variants": [
                "0xf19e75d4",
                "0xf19e75d40000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd8258d95",
            "selector": "0xd8258d95",
            "calldata_variants": [
                "0xd8258d95",
                "0xd8258d950000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdab5f340",
            "selector": "0xdab5f340",
            "calldata_variants": [
                "0xdab5f340",
                "0xdab5f3400000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa22cb465",
            "selector": "0xa22cb465",
            "calldata_variants": [
                "0xa22cb465",
                "0xa22cb4650000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb88d4fde",
            "selector": "0xb88d4fde",
            "calldata_variants": [
                "0xb88d4fde",
                "0xb88d4fde0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc87b56dd",
            "selector": "0xc87b56dd",
            "calldata_variants": [
                "0xc87b56dd",
                "0xc87b56dd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "guards_detected": [
        {
            "pc": 3171,
            "type": "tx_origin_used"
        },
        {
            "pc": 3169,
            "type": "tx_origin_used"
        }
    ]
}
medium other detector ETH value transfer possible 40 no no
view
trace_id: 0x5771af81843c75eb545c88a0dfd50105e87542554f6c75eb783ddc6010e01dc8
call_targets: 0xdcb3837c037611a6fe266c5f426a823f268418b4
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x5771af81843c75eb545c88a0dfd50105e87542554f6c75eb783ddc6010e01dc8",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xdcb3837c037611a6fe266c5f426a823f268418b4"
    ],
    "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": "0xe985e9c5",
            "selector": "0xe985e9c5",
            "calldata_variants": [
                "0xe985e9c5",
                "0xe985e9c50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf19e75d4",
            "selector": "0xf19e75d4",
            "calldata_variants": [
                "0xf19e75d4",
                "0xf19e75d40000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd8258d95",
            "selector": "0xd8258d95",
            "calldata_variants": [
                "0xd8258d95",
                "0xd8258d950000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdab5f340",
            "selector": "0xdab5f340",
            "calldata_variants": [
                "0xdab5f340",
                "0xdab5f3400000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa22cb465",
            "selector": "0xa22cb465",
            "calldata_variants": [
                "0xa22cb465",
                "0xa22cb4650000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb88d4fde",
            "selector": "0xb88d4fde",
            "calldata_variants": [
                "0xb88d4fde",
                "0xb88d4fde0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc87b56dd",
            "selector": "0xc87b56dd",
            "calldata_variants": [
                "0xc87b56dd",
                "0xc87b56dd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 2665,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2731,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 6155,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 3,
    "guards_detected": [
        {
            "pc": 3171,
            "type": "tx_origin_used"
        },
        {
            "pc": 3169,
            "type": "tx_origin_used"
        }
    ]
}
medium other detector Untrusted CALL target/value reachable 45 no no
view
trace_id: 0x5771af81843c75eb545c88a0dfd50105e87542554f6c75eb783ddc6010e01dc8
call_targets: 0xdcb3837c037611a6fe266c5f426a823f268418b4
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x5771af81843c75eb545c88a0dfd50105e87542554f6c75eb783ddc6010e01dc8",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xdcb3837c037611a6fe266c5f426a823f268418b4"
    ],
    "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": "0xe985e9c5",
            "selector": "0xe985e9c5",
            "calldata_variants": [
                "0xe985e9c5",
                "0xe985e9c50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf19e75d4",
            "selector": "0xf19e75d4",
            "calldata_variants": [
                "0xf19e75d4",
                "0xf19e75d40000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd8258d95",
            "selector": "0xd8258d95",
            "calldata_variants": [
                "0xd8258d95",
                "0xd8258d950000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdab5f340",
            "selector": "0xdab5f340",
            "calldata_variants": [
                "0xdab5f340",
                "0xdab5f3400000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa22cb465",
            "selector": "0xa22cb465",
            "calldata_variants": [
                "0xa22cb465",
                "0xa22cb4650000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb88d4fde",
            "selector": "0xb88d4fde",
            "calldata_variants": [
                "0xb88d4fde",
                "0xb88d4fde0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc87b56dd",
            "selector": "0xc87b56dd",
            "calldata_variants": [
                "0xc87b56dd",
                "0xc87b56dd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 2665,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2731,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 6155,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 3,
    "guards_detected": [
        {
            "pc": 3171,
            "type": "tx_origin_used"
        },
        {
            "pc": 3169,
            "type": "tx_origin_used"
        }
    ],
    "untrusted_call_count": 3
}