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

Analysis Run

019b477e-b3ae-7182-a19f-c0ec4a4b2eb6

complete
Chain ID
1
Address
0x01f7dd13bebbddd45b0e1387bae3444196820437
Block Number
—
Created
Mon, Dec 22, 2025 7:17 PM
Review Summary

What survived the funnel

Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?

back to vulns open contract
Confirmed
0
Validated
0
Source
Bytecode only
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
22597 artifact.fetch complete 1 / 3 3 months ago
22598 tool.cast_disasm complete 1 / 3 3 months ago
89693 analysis.bundle complete 1 / 3 2 weeks ago
89694 capability.graph complete 1 / 3 2 weeks ago
89695 detector.run complete 1 / 3 2 weeks ago
89696 validation.fork complete 1 / 3 2 weeks ago

Artifact

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

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
1
CALL-family (heavy)
21
EXT*/BALANCE
20
Total opcodes
5254
Flags
create_opcodes_present heavy_ext_balance_usage call_family_heavy
View cast disassembly output 
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x0145
0000000c: JUMPI
0000000d: PUSH4 0xffffffff
00000012: PUSH1 0xe0
00000014: PUSH1 0x02
00000016: EXP
00000017: PUSH1 0x00
00000019: CALLDATALOAD
0000001a: DIV
0000001b: AND
0000001c: PUSH4 0x04cd5294
00000021: DUP2
00000022: EQ
00000023: PUSH2 0x014a
00000026: JUMPI
00000027: DUP1
00000028: PUSH4 0x0babd864
0000002d: EQ
0000002e: PUSH2 0x0174
00000031: JUMPI
00000032: DUP1
00000033: PUSH4 0x11fa7da2
00000038: EQ
00000039: PUSH2 0x01a5
0000003c: JUMPI
0000003d: DUP1
0000003e: PUSH4 0x19ae48ed
00000043: EQ
00000044: PUSH2 0x01df
00000047: JUMPI
00000048: DUP1
00000049: PUSH4 0x23585f96
0000004e: EQ
0000004f: PUSH2 0x01f4
00000052: JUMPI
00000053: DUP1
00000054: PUSH4 0x23bffccc
00000059: EQ
0000005a: PUSH2 0x0220
0000005d: JUMPI
0000005e: DUP1
0000005f: PUSH4 0x278ecde1
00000064: EQ
00000065: PUSH2 0x0243
00000068: JUMPI
00000069: DUP1
0000006a: PUSH4 0x3b97e856
0000006f: EQ
00000070: PUSH2 0x025b
00000073: JUMPI
00000074: DUP1
00000075: PUSH4 0x3fa911ae
0000007a: EQ
0000007b: PUSH2 0x0270
0000007e: JUMPI
0000007f: DUP1
00000080: PUSH4 0x483a20b2
00000085: EQ
00000086: PUSH2 0x0285
00000089: JUMPI
0000008a: DUP1
0000008b: PUSH4 0x54fd4d50
00000090: EQ
00000091: PUSH2 0x02a6
00000094: JUMPI
00000095: DUP1
00000096: PUSH4 0x5641f3c3
0000009b: EQ
0000009c: PUSH2 0x02bb
0000009f: JUMPI
000000a0: DUP1
000000a1: PUSH4 0x6ebc0af1
000000a6: EQ
000000a7: PUSH2 0x02d0
000000aa: JUMPI
000000ab: DUP1
000000ac: PUSH4 0x715018a6
000000b1: EQ
000000b2: PUSH2 0x02e5
000000b5: JUMPI
000000b6: DUP1
000000b7: PUSH4 0x8119c065
000000bc: EQ
000000bd: PUSH2 0x02fa
000000c0: JUMPI
000000c1: DUP1
000000c2: PUSH4 0x8ce2bc2a
000000c7: EQ
000000c8: PUSH2 0x030f
000000cb: JUMPI
000000cc: DUP1
000000cd: PUSH4 0x8da5cb5b
000000d2: EQ
000000d3: PUSH2 0x0324
000000d6: JUMPI
000000d7: DUP1
000000d8: PUSH4 0x958799cb
000000dd: EQ
000000de: PUSH2 0x0339
000000e1: JUMPI
000000e2: DUP1
000000e3: PUSH4 0x97a993aa
000000e8: EQ
000000e9: PUSH2 0x0350
000000ec: JUMPI
000000ed: DUP1
000000ee: PUSH4 0x9c1e03a0
000000f3: EQ
000000f4: PUSH2 0x038f
000000f7: JUMPI
000000f8: DUP1
000000f9: PUSH4 0x9e80baac
000000fe: EQ
000000ff: PUSH2 0x03a4
00000102: JUMPI
00000103: DUP1
00000104: PUSH4 0xa328665a
00000109: EQ
0000010a: PUSH2 0x03b9
0000010d: JUMPI
0000010e: DUP1
0000010f: PUSH4 0xac2a2a34
00000114: EQ
00000115: PUSH2 0x03ce
00000118: JUMPI
00000119: DUP1
0000011a: PUSH4 0xacb3c073
0000011f: EQ
00000120: PUSH2 0x03e3
00000123: JUMPI
00000124: DUP1
00000125: PUSH4 0xad044f49
0000012a: EQ
0000012b: PUSH2 0x0404
0000012e: JUMPI
0000012f: DUP1
00000130: PUSH4 0xd9082962
00000135: EQ
00000136: PUSH2 0x0419
00000139: JUMPI
0000013a: DUP1
0000013b: PUSH4 0xf2fde38b
00000140: EQ
00000141: PUSH2 0x042e
00000144: JUMPI
00000145: JUMPDEST
00000146: PUSH1 0x00
00000148: DUP1
00000149: REVERT
0000014a: JUMPDEST
0000014b: CALLVALUE
0000014c: DUP1
0000014d: ISZERO
0000014e: PUSH2 0x0156
00000151: JUMPI
00000152: PUSH1 0x00
00000154: DUP1
00000155: REVERT
00000156: JUMPDEST
00000157: POP
00000158: PUSH2 0x0162
0000015b: PUSH1 0x04
0000015d: CALLDATALOAD
0000015e: PUSH2 0x044f
00000161: JUMP
00000162: JUMPDEST
00000163: PUSH1 0x40
00000165: DUP1
00000166: MLOAD
00000167: SWAP2
00000168: DUP3
00000169: MSTORE
0000016a: MLOAD
0000016b: SWAP1
0000016c: DUP2
0000016d: SWAP1
0000016e: SUB
0000016f: PUSH1 0x20
00000171: ADD
00000172: SWAP1
00000173: RETURN
00000174: JUMPDEST
00000175: CALLVALUE
00000176: DUP1
00000177: ISZERO
00000178: PUSH2 0x0180
0000017b: JUMPI
0000017c: PUSH1 0x00
0000017e: DUP1
0000017f: REVERT
00000180: JUMPDEST
00000181: POP
00000182: PUSH2 0x0189
00000185: PUSH2 0x0679
00000188: JUMP
00000189: JUMPDEST
0000018a: PUSH1 0x40
0000018c: DUP1
0000018d: MLOAD
0000018e: PUSH1 0x01
00000190: PUSH1 0xa0
00000192: PUSH1 0x02
00000194: EXP
00000195: SUB
00000196: SWAP1
00000197: SWAP3
00000198: AND
00000199: DUP3
0000019a: MSTORE
0000019b: MLOAD
0000019c: SWAP1
0000019d: DUP2
0000019e: SWAP1
0000019f: SUB
000001a0: PUSH1 0x20
000001a2: ADD
000001a3: SWAP1
000001a4: RETURN
000001a5: JUMPDEST
000001a6: CALLVALUE
000001a7: DUP1
000001a8: ISZERO
000001a9: PUSH2 0x01b1
000001ac: JUMPI
000001ad: PUSH1 0x00
000001af: DUP1
000001b0: REVERT
000001b1: JUMPDEST
000001b2: POP
000001b3: PUSH2 0x01c6
000001b6: PUSH1 0x01
000001b8: PUSH1 0xa0
000001ba: PUSH1 0x02
000001bc: EXP
000001bd: SUB
000001be: PUSH1 0x04
000001c0: CALLDATALOAD
000001c1: AND
000001c2: PUSH2 0x0688
000001c5: JUMP
000001c6: JUMPDEST
000001c7: PUSH1 0x40
000001c9: DUP1
000001ca: MLOAD
000001cb: SWAP3
000001cc: DUP4
000001cd: MSTORE
000001ce: PUSH1 0x20
000001d0: DUP4
000001d1: ADD
000001d2: SWAP2
000001d3: SWAP1
000001d4: SWAP2
000001d5: MSTORE
000001d6: DUP1
000001d7: MLOAD
000001d8: SWAP2
000001d9: DUP3
000001da: SWAP1
000001db: SUB
000001dc: ADD
000001dd: SWAP1
000001de: RETURN
000001df: JUMPDEST
000001e0: CALLVALUE
000001e1: DUP1
000001e2: ISZERO
000001e3: PUSH2 0x01eb
000001e6: JUMPI
000001e7: PUSH1 0x00
000001e9: DUP1
000001ea: REVERT
000001eb: JUMPDEST
000001ec: POP
000001ed: PUSH2 0x0162
000001f0: PUSH2 0x06c5
000001f3: JUMP
000001f4: JUMPDEST
000001f5: CALLVALUE
000001f6: DUP1
000001f7: ISZERO
000001f8: PUSH2 0x0200
000001fb: JUMPI
000001fc: PUSH1 0x00
000001fe: DUP1
000001ff: REVERT
00000200: JUMPDEST
00000201: POP
00000202: PUSH2 0x020c
00000205: PUSH1 0x04
00000207: CALLDATALOAD
00000208: PUSH2 0x06cb
0000020b: JUMP
0000020c: JUMPDEST
0000020d: PUSH1 0x40
0000020f: DUP1
00000210: MLOAD
00000211: SWAP2
00000212: ISZERO
00000213: ISZERO
00000214: DUP3
00000215: MSTORE
00000216: MLOAD
00000217: SWAP1
00000218: DUP2
00000219: SWAP1
0000021a: SUB
0000021b: PUSH1 0x20
0000021d: ADD
0000021e: SWAP1
0000021f: RETURN
00000220: JUMPDEST
00000221: CALLVALUE
00000222: DUP1
00000223: ISZERO
00000224: PUSH2 0x022c
00000227: JUMPI
00000228: PUSH1 0x00
0000022a: DUP1
0000022b: REVERT
0000022c: JUMPDEST
0000022d: POP
0000022e: PUSH2 0x0241
00000231: PUSH1 0x01
00000233: PUSH1 0xa0
00000235: PUSH1 0x02
00000237: EXP
00000238: SUB
00000239: PUSH1 0x04
0000023b: CALLDATALOAD
0000023c: AND
0000023d: PUSH2 0x06e0
00000240: JUMP
00000241: JUMPDEST
00000242: STOP
00000243: JUMPDEST
00000244: CALLVALUE
00000245: DUP1
00000246: ISZERO
00000247: PUSH2 0x024f
0000024a: JUMPI
0000024b: PUSH1 0x00
0000024d: DUP1
0000024e: REVERT
0000024f: JUMPDEST
00000250: POP
00000251: PUSH2 0x0241
00000254: PUSH1 0x04
00000256: CALLDATALOAD
00000257: PUSH2 0x073b
0000025a: JUMP
0000025b: JUMPDEST
0000025c: CALLVALUE
0000025d: DUP1
0000025e: ISZERO
0000025f: PUSH2 0x0267
00000262: JUMPI
00000263: PUSH1 0x00
00000265: DUP1
00000266: REVERT
00000267: JUMPDEST
00000268: POP
00000269: PUSH2 0x0162
0000026c: PUSH2 0x0af5
0000026f: JUMP
00000270: JUMPDEST
00000271: CALLVALUE
00000272: DUP1
00000273: ISZERO
00000274: PUSH2 0x027c
00000277: JUMPI
00000278: PUSH1 0x00
0000027a: DUP1
0000027b: REVERT
0000027c: JUMPDEST
0000027d: POP
0000027e: PUSH2 0x020c
00000281: PUSH2 0x0afb
00000284: JUMP
00000285: JUMPDEST
00000286: CALLVALUE
00000287: DUP1
00000288: ISZERO
00000289: PUSH2 0x0291
0000028c: JUMPI
0000028d: PUSH1 0x00
0000028f: DUP1
00000290: REVERT
00000291: JUMPDEST
00000292: POP
00000293: PUSH2 0x0241
00000296: PUSH1 0x01
00000298: PUSH1 0xa0
0000029a: PUSH1 0x02
0000029c: EXP
0000029d: SUB
0000029e: PUSH1 0x04
000002a0: CALLDATALOAD
000002a1: AND
000002a2: PUSH2 0x0d10
000002a5: JUMP
000002a6: JUMPDEST
000002a7: CALLVALUE
000002a8: DUP1
000002a9: ISZERO
000002aa: PUSH2 0x02b2
000002ad: JUMPI
000002ae: PUSH1 0x00
000002b0: DUP1
000002b1: REVERT
000002b2: JUMPDEST
000002b3: POP
000002b4: PUSH2 0x0162
000002b7: PUSH2 0x0e99
000002ba: JUMP
000002bb: JUMPDEST
000002bc: CALLVALUE
000002bd: DUP1
000002be: ISZERO
000002bf: PUSH2 0x02c7
000002c2: JUMPI
000002c3: PUSH1 0x00
000002c5: DUP1
000002c6: REVERT
000002c7: JUMPDEST
000002c8: POP
000002c9: PUSH2 0x0189
000002cc: PUSH2 0x0e9f
000002cf: JUMP
000002d0: JUMPDEST
000002d1: CALLVALUE
000002d2: DUP1
000002d3: ISZERO
000002d4: PUSH2 0x02dc
000002d7: JUMPI
000002d8: PUSH1 0x00
000002da: DUP1
000002db: REVERT
000002dc: JUMPDEST
000002dd: POP
000002de: PUSH2 0x0241
000002e1: PUSH2 0x0eae
000002e4: JUMP
000002e5: JUMPDEST
000002e6: CALLVALUE
000002e7: DUP1
000002e8: ISZERO
000002e9: PUSH2 0x02f1
000002ec: JUMPI
000002ed: PUSH1 0x00
000002ef: DUP1
000002f0: REVERT
000002f1: JUMPDEST
000002f2: POP
000002f3: PUSH2 0x0241
000002f6: PUSH2 0x102f
000002f9: JUMP
000002fa: JUMPDEST
000002fb: CALLVALUE
000002fc: DUP1
000002fd: ISZERO
000002fe: PUSH2 0x0306
00000301: JUMPI
00000302: PUSH1 0x00
00000304: DUP1
00000305: REVERT
00000306: JUMPDEST
00000307: POP
00000308: PUSH2 0x0189
0000030b: PUSH2 0x109d
0000030e: JUMP
0000030f: JUMPDEST
00000310: CALLVALUE
00000311: DUP1
00000312: ISZERO
00000313: PUSH2 0x031b
00000316: JUMPI
00000317: PUSH1 0x00
00000319: DUP1
0000031a: REVERT
0000031b: JUMPDEST
0000031c: POP
0000031d: PUSH2 0x0162
00000320: PUSH2 0x10ac
00000323: JUMP
00000324: JUMPDEST
00000325: CALLVALUE
00000326: DUP1
00000327: ISZERO
00000328: PUSH2 0x0330
0000032b: JUMPI
0000032c: PUSH1 0x00
0000032e: DUP1
0000032f: REVERT
00000330: JUMPDEST
00000331: POP
00000332: PUSH2 0x0189
00000335: PUSH2 0x1130
00000338: JUMP
00000339: JUMPDEST
0000033a: PUSH2 0x0241
0000033d: PUSH1 0x01
0000033f: PUSH1 0xa0
00000341: PUSH1 0x02
00000343: EXP
00000344: SUB
00000345: PUSH1 0x04
00000347: CALLDATALOAD
00000348: AND
00000349: PUSH1 0x24
0000034b: CALLDATALOAD
0000034c: PUSH2 0x113f
0000034f: JUMP
00000350: JUMPDEST
00000351: CALLVALUE
00000352: DUP1
00000353: ISZERO
00000354: PUSH2 0x035c
00000357: JUMPI
00000358: PUSH1 0x00
0000035a: DUP1
0000035b: REVERT
0000035c: JUMPDEST
0000035d: POP
0000035e: PUSH2 0x0371
00000361: PUSH1 0x01
00000363: PUSH1 0xa0
00000365: PUSH1 0x02
00000367: EXP
00000368: SUB
00000369: PUSH1 0x04
0000036b: CALLDATALOAD
0000036c: AND
0000036d: PUSH2 0x127c
00000370: JUMP
00000371: JUMPDEST
00000372: PUSH1 0x40
00000374: DUP1
00000375: MLOAD
00000376: SWAP4
00000377: DUP5
00000378: MSTORE
00000379: PUSH1 0x20
0000037b: DUP5
0000037c: ADD
0000037d: SWAP3
0000037e: SWAP1
0000037f: SWAP3
00000380: MSTORE
00000381: DUP3
00000382: DUP3
00000383: ADD
00000384: MSTORE
00000385: MLOAD
00000386: SWAP1
00000387: DUP2
00000388: SWAP1
00000389: SUB
0000038a: PUSH1 0x60
0000038c: ADD
0000038d: SWAP1
0000038e: RETURN
0000038f: JUMPDEST
00000390: CALLVALUE
00000391: DUP1
00000392: ISZERO
00000393: PUSH2 0x039b
00000396: JUMPI
00000397: PUSH1 0x00
00000399: DUP1
0000039a: REVERT
0000039b: JUMPDEST
0000039c: POP
0000039d: PUSH2 0x0189
000003a0: PUSH2 0x129d
000003a3: JUMP
000003a4: JUMPDEST
000003a5: CALLVALUE
000003a6: DUP1
000003a7: ISZERO
000003a8: PUSH2 0x03b0
000003ab: JUMPI
000003ac: PUSH1 0x00
000003ae: DUP1
000003af: REVERT
000003b0: JUMPDEST
000003b1: POP
000003b2: PUSH2 0x020c
000003b5: PUSH2 0x12ac
000003b8: JUMP
000003b9: JUMPDEST
000003ba: CALLVALUE
000003bb: DUP1
000003bc: ISZERO
000003bd: PUSH2 0x03c5
000003c0: JUMPI
000003c1: PUSH1 0x00
000003c3: DUP1
000003c4: REVERT
000003c5: JUMPDEST
000003c6: POP
000003c7: PUSH2 0x0162
000003ca: PUSH2 0x169d
000003cd: JUMP
000003ce: JUMPDEST
000003cf: CALLVALUE
000003d0: DUP1
000003d1: ISZERO
000003d2: PUSH2 0x03da
000003d5: JUMPI
000003d6: PUSH1 0x00
000003d8: DUP1
000003d9: REVERT
000003da: JUMPDEST
000003db: POP
000003dc: PUSH2 0x0371
000003df: PUSH2 0x16a3
000003e2: JUMP
000003e3: JUMPDEST
000003e4: CALLVALUE
000003e5: DUP1
000003e6: ISZERO
000003e7: PUSH2 0x03ef
000003ea: JUMPI
000003eb: PUSH1 0x00
000003ed: DUP1
000003ee: REVERT
000003ef: JUMPDEST
000003f0: POP
000003f1: PUSH2 0x0241
000003f4: PUSH1 0x01
000003f6: PUSH1 0xa0
000003f8: PUSH1 0x02
000003fa: EXP
000003fb: SUB
000003fc: PUSH1 0x04
000003fe: CALLDATALOAD
000003ff: AND
00000400: PUSH2 0x1c59
00000403: JUMP
00000404: JUMPDEST
00000405: CALLVALUE
00000406: DUP1
00000407: ISZERO
00000408: PUSH2 0x0410
0000040b: JUMPI
0000040c: PUSH1 0x00
0000040e: DUP1
0000040f: REVERT
00000410: JUMPDEST
00000411: POP
00000412: PUSH2 0x0162
00000415: PUSH2 0x1cb4
00000418: JUMP
00000419: JUMPDEST
0000041a: CALLVALUE
0000041b: DUP1
0000041c: ISZERO
0000041d: PUSH2 0x0425
00000420: JUMPI
00000421: PUSH1 0x00
00000423: DUP1
00000424: REVERT
00000425: JUMPDEST
00000426: POP
00000427: PUSH2 0x0162
0000042a: PUSH2 0x1cba
0000042d: JUMP
0000042e: JUMPDEST
0000042f: CALLVALUE
00000430: DUP1
00000431: ISZERO
00000432: PUSH2 0x043a
00000435: JUMPI
00000436: PUSH1 0x00
00000438: DUP1
00000439: REVERT
0000043a: JUMPDEST
0000043b: POP
0000043c: PUSH2 0x0241
0000043f: PUSH1 0x01
00000441: PUSH1 0xa0
00000443: PUSH1 0x02
00000445: EXP
00000446: SUB
00000447: PUSH1 0x04
00000449: CALLDATALOAD
0000044a: AND
0000044b: PUSH2 0x1cc0
0000044e: JUMP
0000044f: JUMPDEST
00000450: PUSH1 0x00
00000452: DUP1
00000453: PUSH1 0x00
00000455: DUP1
00000456: PUSH1 0x00
00000458: DUP1
00000459: PUSH2 0x046e
0000045c: PUSH1 0x08
0000045e: PUSH1 0x07
00000460: SLOAD
00000461: PUSH2 0x1ce3
00000464: SWAP1
00000465: SWAP2
00000466: SWAP1
00000467: PUSH4 0xffffffff
0000046c: AND
0000046d: JUMP
0000046e: JUMPDEST
0000046f: PUSH1 0x07
00000471: SLOAD
00000472: LT
00000473: PUSH2 0x047e
00000476: JUMPI
00000477: PUSH1 0x07
00000479: SLOAD
0000047a: PUSH2 0x0492
0000047d: JUMP
0000047e: JUMPDEST
0000047f: PUSH1 0x07
00000481: SLOAD
00000482: PUSH2 0x0492
00000485: SWAP1
00000486: PUSH1 0x08
00000488: PUSH4 0xffffffff
0000048d: PUSH2 0x1ce3
00000490: AND
00000491: JUMP
00000492: JUMPDEST
00000493: SWAP5
00000494: POP
00000495: PUSH32 0x1999999999999999999999999999999999999999999999999999999999999999
000004b6: DUP6
000004b7: GT
000004b8: ISZERO
000004b9: PUSH2 0x04c1
000004bc: JUMPI
000004bd: PUSH1 0x00
000004bf: DUP1
000004c0: REVERT
000004c1: JUMPDEST
000004c2: DUP5
000004c3: PUSH1 0x0a
000004c5: EXP
000004c6: PUSH1 0x00
000004c8: NOT
000004c9: DUP2
000004ca: ISZERO
000004cb: ISZERO
000004cc: PUSH2 0x04d1
000004cf: JUMPI
000004d0: INVALID
000004d1: JUMPDEST
000004d2: DIV
000004d3: SWAP4
000004d4: POP
000004d5: CALLER
000004d6: SWAP3
000004d7: POP
000004d8: DUP7
000004d9: ISZERO
000004da: DUP1
000004db: PUSH2 0x04fa
000004de: JUMPI
000004df: POP
000004e0: PUSH1 0x01
000004e2: PUSH1 0xa0
000004e4: PUSH1 0x02
000004e6: EXP
000004e7: SUB
000004e8: DUP4
000004e9: AND
000004ea: PUSH1 0x00
000004ec: SWAP1
000004ed: DUP2
000004ee: MSTORE
000004ef: PUSH1 0x08
000004f1: PUSH1 0x20
000004f3: MSTORE
000004f4: PUSH1 0x40
000004f6: SWAP1
000004f7: KECCAK256
000004f8: SLOAD
000004f9: ISZERO
000004fa: JUMPDEST
000004fb: DUP1
000004fc: PUSH2 0x0504
000004ff: JUMPI
00000500: POP
00000501: ADDRESS
00000502: BALANCE
00000503: ISZERO
00000504: JUMPDEST
00000505: DUP1
00000506: PUSH2 0x05a3
00000509: JUMPI
0000050a: POP
0000050b: PUSH1 0x06
0000050d: SLOAD
0000050e: PUSH1 0x40
00000510: DUP1
00000511: MLOAD
00000512: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000
00000533: DUP2
00000534: MSTORE
00000535: PUSH1 0x01
00000537: PUSH1 0xa0
00000539: PUSH1 0x02
0000053b: EXP
0000053c: SUB
0000053d: DUP7
0000053e: DUP2
0000053f: AND
00000540: PUSH1 0x04
00000542: DUP4
00000543: ADD
00000544: MSTORE
00000545: SWAP2
00000546: MLOAD
00000547: DUP11
00000548: SWAP4
00000549: SWAP3
0000054a: SWAP1
0000054b: SWAP3
0000054c: AND
0000054d: SWAP2
0000054e: PUSH4 0x70a08231
00000553: SWAP2
00000554: PUSH1 0x24
00000556: DUP1
00000557: DUP3
00000558: ADD
00000559: SWAP3
0000055a: PUSH1 0x20
0000055c: SWAP3
0000055d: SWAP1
0000055e: SWAP2
0000055f: SWAP1
00000560: DUP3
00000561: SWAP1
00000562: SUB
00000563: ADD
00000564: DUP2
00000565: PUSH1 0x00
00000567: DUP8
00000568: DUP1
00000569: EXTCODESIZE
0000056a: ISZERO
0000056b: DUP1
0000056c: ISZERO
0000056d: PUSH2 0x0575
00000570: JUMPI
00000571: PUSH1 0x00
00000573: DUP1
00000574: REVERT
00000575: JUMPDEST
00000576: POP
00000577: GAS
00000578: CALL
00000579: ISZERO
0000057a: DUP1
0000057b: ISZERO
0000057c: PUSH2 0x0589
0000057f: JUMPI
00000580: RETURNDATASIZE
00000581: PUSH1 0x00
00000583: DUP1
00000584: RETURNDATACOPY
00000585: RETURNDATASIZE
00000586: PUSH1 0x00
00000588: REVERT
00000589: JUMPDEST
0000058a: POP
0000058b: POP
0000058c: POP
0000058d: POP
0000058e: PUSH1 0x40
00000590: MLOAD
00000591: RETURNDATASIZE
00000592: PUSH1 0x20
00000594: DUP2
00000595: LT
00000596: ISZERO
00000597: PUSH2 0x059f
0000059a: JUMPI
0000059b: PUSH1 0x00
0000059d: DUP1
0000059e: REVERT
0000059f: JUMPDEST
000005a0: POP
000005a1: MLOAD
000005a2: LT
000005a3: JUMPDEST
000005a4: DUP1
000005a5: PUSH2 0x05c5
000005a8: JUMPI
000005a9: POP
000005aa: PUSH1 0x01
000005ac: PUSH1 0xa0
000005ae: PUSH1 0x02
000005b0: EXP
000005b1: SUB
000005b2: DUP4
000005b3: AND
000005b4: PUSH1 0x00
000005b6: SWAP1
000005b7: DUP2
000005b8: MSTORE
000005b9: PUSH1 0x08
000005bb: PUSH1 0x20
000005bd: MSTORE
000005be: PUSH1 0x40
000005c0: SWAP1
000005c1: KECCAK256
000005c2: SLOAD
000005c3: DUP8
000005c4: GT
000005c5: JUMPDEST
000005c6: ISZERO
000005c7: PUSH2 0x05cf
000005ca: JUMPI
000005cb: PUSH2 0x066f
000005ce: JUMP
000005cf: JUMPDEST
000005d0: PUSH1 0x0a
000005d2: SLOAD
000005d3: PUSH1 0x01
000005d5: PUSH1 0xa0
000005d7: PUSH1 0x02
000005d9: EXP
000005da: SUB
000005db: DUP5
000005dc: AND
000005dd: PUSH1 0x00
000005df: SWAP1
000005e0: DUP2
000005e1: MSTORE
000005e2: PUSH1 0x08
000005e4: PUSH1 0x20
000005e6: MSTORE
000005e7: PUSH1 0x40
000005e9: SWAP1
000005ea: KECCAK256
000005eb: PUSH1 0x02
000005ed: ADD
000005ee: SLOAD
000005ef: PUSH2 0x0610
000005f2: SWAP2
000005f3: ADDRESS
000005f4: BALANCE
000005f5: SWAP2
000005f6: PUSH2 0x0604
000005f9: SWAP2
000005fa: PUSH4 0xffffffff
000005ff: PUSH2 0x1cf6
00000602: AND
00000603: JUMP
00000604: JUMPDEST
00000605: SWAP1
00000606: PUSH4 0xffffffff
0000060b: PUSH2 0x1d1f
0000060e: AND
0000060f: JUMP
00000610: JUMPDEST
00000611: SWAP2
00000612: POP
00000613: DUP4
00000614: DUP3
00000615: LT
00000616: ISZERO
00000617: PUSH2 0x0623
0000061a: JUMPI
0000061b: DUP5
0000061c: PUSH1 0x0a
0000061e: EXP
0000061f: PUSH2 0x0626
00000622: JUMP
00000623: JUMPDEST
00000624: PUSH1 0x01
00000626: JUMPDEST
00000627: PUSH1 0x01
00000629: PUSH1 0xa0
0000062b: PUSH1 0x02
0000062d: EXP
0000062e: SUB
0000062f: DUP5
00000630: AND
00000631: PUSH1 0x00
00000633: SWAP1
00000634: DUP2
00000635: MSTORE
00000636: PUSH1 0x08
00000638: PUSH1 0x20
0000063a: MSTORE
0000063b: PUSH1 0x40
0000063d: SWAP1
0000063e: KECCAK256
0000063f: SLOAD
00000640: SWAP1
00000641: SWAP2
00000642: POP
00000643: PUSH2 0x066c
00000646: SWAP1
00000647: DUP3
00000648: SWAP1
00000649: PUSH2 0x0604
0000064c: SWAP1
0000064d: DUP11
0000064e: SWAP1
0000064f: PUSH2 0x0660
00000652: SWAP1
00000653: DUP4
00000654: DUP9
00000655: DUP7
00000656: PUSH4 0xffffffff
0000065b: PUSH2 0x1cf6
0000065e: AND
0000065f: JUMP
00000660: JUMPDEST
00000661: SWAP1
00000662: PUSH4 0xffffffff
00000667: PUSH2 0x1cf6
0000066a: AND
0000066b: JUMP
0000066c: JUMPDEST
0000066d: SWAP6
0000066e: POP
0000066f: JUMPDEST
00000670: POP
00000671: POP
00000672: POP
00000673: POP
00000674: POP
00000675: SWAP2
00000676: SWAP1
00000677: POP
00000678: JUMP
00000679: JUMPDEST
0000067a: PUSH1 0x06
0000067c: SLOAD
0000067d: PUSH1 0x01
0000067f: PUSH1 0xa0
00000681: PUSH1 0x02
00000683: EXP
00000684: SUB
00000685: AND
00000686: DUP2
00000687: JUMP
00000688: JUMPDEST
00000689: PUSH1 0x00
0000068b: DUP1
0000068c: PUSH1 0x01
0000068e: PUSH1 0xa0
00000690: PUSH1 0x02
00000692: EXP
00000693: SUB
00000694: DUP4
00000695: AND
00000696: ISZERO
00000697: ISZERO
00000698: PUSH2 0x06a0
0000069b: JUMPI
0000069c: PUSH1 0x00
0000069e: DUP1
0000069f: REVERT
000006a0: JUMPDEST
000006a1: POP
000006a2: POP
000006a3: PUSH1 0x01
000006a5: PUSH1 0xa0
000006a7: PUSH1 0x02
000006a9: EXP
000006aa: SUB
000006ab: AND
000006ac: PUSH1 0x00
000006ae: SWAP1
000006af: DUP2
000006b0: MSTORE
000006b1: PUSH1 0x08
000006b3: PUSH1 0x20
000006b5: MSTORE
000006b6: PUSH1 0x40
000006b8: SWAP1
000006b9: KECCAK256
000006ba: DUP1
000006bb: SLOAD
000006bc: PUSH1 0x01
000006be: SWAP1
000006bf: SWAP2
000006c0: ADD
000006c1: SLOAD
000006c2: SWAP1
000006c3: SWAP2
000006c4: JUMP
000006c5: JUMPDEST
000006c6: PUSH1 0x0c
000006c8: SLOAD
000006c9: DUP2
000006ca: JUMP
000006cb: JUMPDEST
000006cc: PUSH1 0x09
000006ce: PUSH1 0x20
000006d0: MSTORE
000006d1: PUSH1 0x00
000006d3: SWAP1
000006d4: DUP2
000006d5: MSTORE
000006d6: PUSH1 0x40
000006d8: SWAP1
000006d9: KECCAK256
000006da: SLOAD
000006db: PUSH1 0xff
000006dd: AND
000006de: DUP2
000006df: JUMP
000006e0: JUMPDEST
000006e1: PUSH1 0x01
000006e3: SLOAD
000006e4: PUSH1 0x01
000006e6: PUSH1 0xa0
000006e8: PUSH1 0x02
000006ea: EXP
000006eb: SUB
000006ec: AND
000006ed: CALLER
000006ee: EQ
000006ef: PUSH2 0x06f7
000006f2: JUMPI
000006f3: PUSH1 0x00
000006f5: DUP1
000006f6: REVERT
000006f7: JUMPDEST
000006f8: PUSH1 0x01
000006fa: PUSH1 0xa0
000006fc: PUSH1 0x02
000006fe: EXP
000006ff: SUB
00000700: DUP2
00000701: AND
00000702: ISZERO
00000703: ISZERO
00000704: PUSH2 0x070c
00000707: JUMPI
00000708: PUSH1 0x00
0000070a: DUP1
0000070b: REVERT
0000070c: JUMPDEST
0000070d: PUSH1 0x05
0000070f: DUP1
00000710: SLOAD
00000711: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000726: NOT
00000727: AND
00000728: PUSH1 0x01
0000072a: PUSH1 0xa0
0000072c: PUSH1 0x02
0000072e: EXP
0000072f: SUB
00000730: SWAP3
00000731: SWAP1
00000732: SWAP3
00000733: AND
00000734: SWAP2
00000735: SWAP1
00000736: SWAP2
00000737: OR
00000738: SWAP1
00000739: SSTORE
0000073a: JUMP
0000073b: JUMPDEST
0000073c: PUSH1 0x00
0000073e: DUP1
0000073f: PUSH1 0x01
00000741: PUSH1 0x02
00000743: SLOAD
00000744: EQ
00000745: ISZERO
00000746: ISZERO
00000747: PUSH2 0x074f
0000074a: JUMPI
0000074b: PUSH1 0x00
0000074d: DUP1
0000074e: REVERT
0000074f: JUMPDEST
00000750: PUSH1 0x02
00000752: DUP1
00000753: SSTORE
00000754: CALLER
00000755: SWAP2
00000756: POP
00000757: PUSH2 0x075e
0000075a: PUSH2 0x0afb
0000075d: JUMP
0000075e: JUMPDEST
0000075f: ISZERO
00000760: ISZERO
00000761: PUSH2 0x0769
00000764: JUMPI
00000765: PUSH1 0x00
00000767: DUP1
00000768: REVERT
00000769: JUMPDEST
0000076a: PUSH1 0x00
0000076c: DUP4
0000076d: GT
0000076e: PUSH2 0x0776
00000771: JUMPI
00000772: PUSH1 0x00
00000774: DUP1
00000775: REVERT
00000776: JUMPDEST
00000777: PUSH1 0x01
00000779: PUSH1 0xa0
0000077b: PUSH1 0x02
0000077d: EXP
0000077e: SUB
0000077f: DUP3
00000780: AND
00000781: PUSH1 0x00
00000783: SWAP1
00000784: DUP2
00000785: MSTORE
00000786: PUSH1 0x08
00000788: PUSH1 0x20
0000078a: MSTORE
0000078b: PUSH1 0x40
0000078d: SWAP1
0000078e: KECCAK256
0000078f: SLOAD
00000790: DUP4
00000791: GT
00000792: ISZERO
00000793: PUSH2 0x079b
00000796: JUMPI
00000797: PUSH1 0x00
00000799: DUP1
0000079a: REVERT
0000079b: JUMPDEST
0000079c: PUSH1 0x06
0000079e: SLOAD
0000079f: PUSH1 0x40
000007a1: DUP1
000007a2: MLOAD
000007a3: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000
000007c4: DUP2
000007c5: MSTORE
000007c6: PUSH1 0x01
000007c8: PUSH1 0xa0
000007ca: PUSH1 0x02
000007cc: EXP
000007cd: SUB
000007ce: DUP6
000007cf: DUP2
000007d0: AND
000007d1: PUSH1 0x04
000007d3: DUP4
000007d4: ADD
000007d5: MSTORE
000007d6: SWAP2
000007d7: MLOAD
000007d8: DUP7
000007d9: SWAP4
000007da: SWAP3
000007db: SWAP1
000007dc: SWAP3
000007dd: AND
000007de: SWAP2
000007df: PUSH4 0x70a08231
000007e4: SWAP2
000007e5: PUSH1 0x24
000007e7: DUP1
000007e8: DUP3
000007e9: ADD
000007ea: SWAP3
000007eb: PUSH1 0x20
000007ed: SWAP3
000007ee: SWAP1
000007ef: SWAP2
000007f0: SWAP1
000007f1: DUP3
000007f2: SWAP1
000007f3: SUB
000007f4: ADD
000007f5: DUP2
000007f6: PUSH1 0x00
000007f8: DUP8
000007f9: DUP1
000007fa: EXTCODESIZE
000007fb: ISZERO
000007fc: DUP1
000007fd: ISZERO
000007fe: PUSH2 0x0806
00000801: JUMPI
00000802: PUSH1 0x00
00000804: DUP1
00000805: REVERT
00000806: JUMPDEST
00000807: POP
00000808: GAS
00000809: CALL
0000080a: ISZERO
0000080b: DUP1
0000080c: ISZERO
0000080d: PUSH2 0x081a
00000810: JUMPI
00000811: RETURNDATASIZE
00000812: PUSH1 0x00
00000814: DUP1
00000815: RETURNDATACOPY
00000816: RETURNDATASIZE
00000817: PUSH1 0x00
00000819: REVERT
0000081a: JUMPDEST
0000081b: POP
0000081c: POP
0000081d: POP
0000081e: POP
0000081f: PUSH1 0x40
00000821: MLOAD
00000822: RETURNDATASIZE
00000823: PUSH1 0x20
00000825: DUP2
00000826: LT
00000827: ISZERO
00000828: PUSH2 0x0830
0000082b: JUMPI
0000082c: PUSH1 0x00
0000082e: DUP1
0000082f: REVERT
00000830: JUMPDEST
00000831: POP
00000832: MLOAD
00000833: LT
00000834: ISZERO
00000835: PUSH2 0x083d
00000838: JUMPI
00000839: PUSH1 0x00
0000083b: DUP1
0000083c: REVERT
0000083d: JUMPDEST
0000083e: PUSH1 0x06
00000840: SLOAD
00000841: PUSH1 0x40
00000843: DUP1
00000844: MLOAD
00000845: PUSH32 0xdd62ed3e00000000000000000000000000000000000000000000000000000000
00000866: DUP2
00000867: MSTORE
00000868: CALLER
00000869: PUSH1 0x04
0000086b: DUP3
0000086c: ADD
0000086d: MSTORE
0000086e: ADDRESS
0000086f: PUSH1 0x24
00000871: DUP3
00000872: ADD
00000873: MSTORE
00000874: SWAP1
00000875: MLOAD
00000876: DUP6
00000877: SWAP3
00000878: PUSH1 0x01
0000087a: PUSH1 0xa0
0000087c: PUSH1 0x02
0000087e: EXP
0000087f: SUB
00000880: AND
00000881: SWAP2
00000882: PUSH4 0xdd62ed3e
00000887: SWAP2
00000888: PUSH1 0x44
0000088a: DUP1
0000088b: DUP4
0000088c: ADD
0000088d: SWAP3
0000088e: PUSH1 0x20
00000890: SWAP3
00000891: SWAP2
00000892: SWAP1
00000893: DUP3
00000894: SWAP1
00000895: SUB
00000896: ADD
00000897: DUP2
00000898: PUSH1 0x00
0000089a: DUP8
0000089b: DUP1
0000089c: EXTCODESIZE
0000089d: ISZERO
0000089e: DUP1
0000089f: ISZERO
000008a0: PUSH2 0x08a8
000008a3: JUMPI
000008a4: PUSH1 0x00
000008a6: DUP1
000008a7: REVERT
000008a8: JUMPDEST
000008a9: POP
000008aa: GAS
000008ab: CALL
000008ac: ISZERO
000008ad: DUP1
000008ae: ISZERO
000008af: PUSH2 0x08bc
000008b2: JUMPI
000008b3: RETURNDATASIZE
000008b4: PUSH1 0x00
000008b6: DUP1
000008b7: RETURNDATACOPY
000008b8: RETURNDATASIZE
000008b9: PUSH1 0x00
000008bb: REVERT
000008bc: JUMPDEST
000008bd: POP
000008be: POP
000008bf: POP
000008c0: POP
000008c1: PUSH1 0x40
000008c3: MLOAD
000008c4: RETURNDATASIZE
000008c5: PUSH1 0x20
000008c7: DUP2
000008c8: LT
000008c9: ISZERO
000008ca: PUSH2 0x08d2
000008cd: JUMPI
000008ce: PUSH1 0x00
000008d0: DUP1
000008d1: REVERT
000008d2: JUMPDEST
000008d3: POP
000008d4: MLOAD
000008d5: LT
000008d6: ISZERO
000008d7: PUSH2 0x08df
000008da: JUMPI
000008db: PUSH1 0x00
000008dd: DUP1
000008de: REVERT
000008df: JUMPDEST
000008e0: PUSH2 0x08e8
000008e3: DUP4
000008e4: PUSH2 0x044f
000008e7: JUMP
000008e8: JUMPDEST
000008e9: SWAP1
000008ea: POP
000008eb: PUSH1 0x00
000008ed: DUP2
000008ee: GT
000008ef: PUSH2 0x08f7
000008f2: JUMPI
000008f3: PUSH1 0x00
000008f5: DUP1
000008f6: REVERT
000008f7: JUMPDEST
000008f8: PUSH1 0x01
000008fa: PUSH1 0xa0
000008fc: PUSH1 0x02
000008fe: EXP
000008ff: SUB
00000900: DUP3
00000901: AND
00000902: PUSH1 0x00
00000904: SWAP1
00000905: DUP2
00000906: MSTORE
00000907: PUSH1 0x08
00000909: PUSH1 0x20
0000090b: MSTORE
0000090c: PUSH1 0x40
0000090e: SWAP1
0000090f: KECCAK256
00000910: SLOAD
00000911: PUSH2 0x0920
00000914: SWAP1
00000915: DUP5
00000916: PUSH4 0xffffffff
0000091b: PUSH2 0x1d34
0000091e: AND
0000091f: JUMP
00000920: JUMPDEST
00000921: PUSH1 0x01
00000923: PUSH1 0xa0
00000925: PUSH1 0x02
00000927: EXP
00000928: SUB
00000929: DUP4
0000092a: AND
0000092b: PUSH1 0x00
0000092d: SWAP1
0000092e: DUP2
0000092f: MSTORE
00000930: PUSH1 0x08
00000932: PUSH1 0x20
00000934: MSTORE
00000935: PUSH1 0x40
00000937: SWAP1
00000938: KECCAK256
00000939: SWAP1
0000093a: DUP2
0000093b: SSTORE
0000093c: PUSH1 0x07
0000093e: SLOAD
0000093f: PUSH1 0x01
00000941: SWAP1
00000942: SWAP2
00000943: ADD
00000944: SLOAD
00000945: PUSH2 0x098c
00000948: SWAP2
00000949: PUSH2 0x0964
0000094c: SWAP2
0000094d: PUSH1 0x0a
0000094f: SWAP2
00000950: SWAP1
00000951: SWAP2
00000952: EXP
00000953: SWAP1
00000954: PUSH2 0x0604
00000957: SWAP1
00000958: DUP8
00000959: SWAP1
0000095a: PUSH4 0xffffffff
0000095f: PUSH2 0x1cf6
00000962: AND
00000963: JUMP
00000964: JUMPDEST
00000965: PUSH1 0x01
00000967: PUSH1 0xa0
00000969: PUSH1 0x02
0000096b: EXP
0000096c: SUB
0000096d: DUP5
0000096e: AND
0000096f: PUSH1 0x00
00000971: SWAP1
00000972: DUP2
00000973: MSTORE
00000974: PUSH1 0x08
00000976: PUSH1 0x20
00000978: MSTORE
00000979: PUSH1 0x40
0000097b: SWAP1
0000097c: KECCAK256
0000097d: PUSH1 0x02
0000097f: ADD
00000980: SLOAD
00000981: SWAP1
00000982: PUSH4 0xffffffff
00000987: PUSH2 0x1d34
0000098a: AND
0000098b: JUMP
0000098c: JUMPDEST
0000098d: PUSH1 0x01
0000098f: PUSH1 0xa0
00000991: PUSH1 0x02
00000993: EXP
00000994: SUB
00000995: DUP4
00000996: AND
00000997: PUSH1 0x00
00000999: SWAP1
0000099a: DUP2
0000099b: MSTORE
0000099c: PUSH1 0x08
0000099e: PUSH1 0x20
000009a0: MSTORE
000009a1: PUSH1 0x40
000009a3: SWAP1
000009a4: KECCAK256
000009a5: PUSH1 0x02
000009a7: ADD
000009a8: SSTORE
000009a9: PUSH1 0x0b
000009ab: SLOAD
000009ac: PUSH2 0x09bb
000009af: SWAP1
000009b0: DUP3
000009b1: PUSH4 0xffffffff
000009b6: PUSH2 0x1ce3
000009b9: AND
000009ba: JUMP
000009bb: JUMPDEST
000009bc: PUSH1 0x0b
000009be: SSTORE
000009bf: PUSH1 0x06
000009c1: SLOAD
000009c2: PUSH1 0x04
000009c4: DUP1
000009c5: SLOAD
000009c6: PUSH1 0x40
000009c8: DUP1
000009c9: MLOAD
000009ca: PUSH32 0x23b872dd00000000000000000000000000000000000000000000000000000000
000009eb: DUP2
000009ec: MSTORE
000009ed: PUSH1 0x01
000009ef: PUSH1 0xa0
000009f1: PUSH1 0x02
000009f3: EXP
000009f4: SUB
000009f5: DUP8
000009f6: DUP2
000009f7: AND
000009f8: SWAP5
000009f9: DUP3
000009fa: ADD
000009fb: SWAP5
000009fc: SWAP1
000009fd: SWAP5
000009fe: MSTORE
000009ff: SWAP2
00000a00: DUP4
00000a01: AND
00000a02: PUSH1 0x24
00000a04: DUP4
00000a05: ADD
00000a06: MSTORE
00000a07: PUSH1 0x44
00000a09: DUP3
00000a0a: ADD
00000a0b: DUP8
00000a0c: SWAP1
00000a0d: MSTORE
00000a0e: MLOAD
00000a0f: SWAP2
00000a10: SWAP1
00000a11: SWAP3
00000a12: AND
00000a13: SWAP2
00000a14: PUSH4 0x23b872dd
00000a19: SWAP2
00000a1a: PUSH1 0x64
00000a1c: DUP1
00000a1d: DUP4
00000a1e: ADD
00000a1f: SWAP3
00000a20: PUSH1 0x20
00000a22: SWAP3
00000a23: SWAP2
00000a24: SWAP1
00000a25: DUP3
00000a26: SWAP1
00000a27: SUB
00000a28: ADD
00000a29: DUP2
00000a2a: PUSH1 0x00
00000a2c: DUP8
00000a2d: DUP1
00000a2e: EXTCODESIZE
00000a2f: ISZERO
00000a30: DUP1
00000a31: ISZERO
00000a32: PUSH2 0x0a3a
00000a35: JUMPI
00000a36: PUSH1 0x00
00000a38: DUP1
00000a39: REVERT
00000a3a: JUMPDEST
00000a3b: POP
00000a3c: GAS
00000a3d: CALL
00000a3e: ISZERO
00000a3f: DUP1
00000a40: ISZERO
00000a41: PUSH2 0x0a4e
00000a44: JUMPI
00000a45: RETURNDATASIZE
00000a46: PUSH1 0x00
00000a48: DUP1
00000a49: RETURNDATACOPY
00000a4a: RETURNDATASIZE
00000a4b: PUSH1 0x00
00000a4d: REVERT
00000a4e: JUMPDEST
00000a4f: POP
00000a50: POP
00000a51: POP
00000a52: POP
00000a53: PUSH1 0x40
00000a55: MLOAD
00000a56: RETURNDATASIZE
00000a57: PUSH1 0x20
00000a59: DUP2
00000a5a: LT
00000a5b: ISZERO
00000a5c: PUSH2 0x0a64
00000a5f: JUMPI
00000a60: PUSH1 0x00
00000a62: DUP1
00000a63: REVERT
00000a64: JUMPDEST
00000a65: POP
00000a66: MLOAD
00000a67: ISZERO
00000a68: ISZERO
00000a69: PUSH2 0x0a71
00000a6c: JUMPI
00000a6d: PUSH1 0x00
00000a6f: DUP1
00000a70: REVERT
00000a71: JUMPDEST
00000a72: PUSH1 0x40
00000a74: MLOAD
00000a75: PUSH1 0x01
00000a77: PUSH1 0xa0
00000a79: PUSH1 0x02
00000a7b: EXP
00000a7c: SUB
00000a7d: DUP4
00000a7e: AND
00000a7f: SWAP1
00000a80: DUP3
00000a81: ISZERO
00000a82: PUSH2 0x08fc
00000a85: MUL
00000a86: SWAP1
00000a87: DUP4
00000a88: SWAP1
00000a89: PUSH1 0x00
00000a8b: DUP2
00000a8c: DUP2
00000a8d: DUP2
00000a8e: DUP6
00000a8f: DUP9
00000a90: DUP9
00000a91: CALL
00000a92: SWAP4
00000a93: POP
00000a94: POP
00000a95: POP
00000a96: POP
00000a97: ISZERO
00000a98: DUP1
00000a99: ISZERO
00000a9a: PUSH2 0x0aa7
00000a9d: JUMPI
00000a9e: RETURNDATASIZE
00000a9f: PUSH1 0x00
00000aa1: DUP1
00000aa2: RETURNDATACOPY
00000aa3: RETURNDATASIZE
00000aa4: PUSH1 0x00
00000aa6: REVERT
00000aa7: JUMPDEST
00000aa8: POP
00000aa9: PUSH1 0x40
00000aab: DUP1
00000aac: MLOAD
00000aad: DUP3
00000aae: DUP2
00000aaf: MSTORE
00000ab0: PUSH1 0x20
00000ab2: DUP2
00000ab3: ADD
00000ab4: DUP6
00000ab5: SWAP1
00000ab6: MSTORE
00000ab7: DUP2
00000ab8: MLOAD
00000ab9: PUSH1 0x01
00000abb: PUSH1 0xa0
00000abd: PUSH1 0x02
00000abf: EXP
00000ac0: SUB
00000ac1: DUP6
00000ac2: AND
00000ac3: SWAP3
00000ac4: PUSH32 0xfc48f4f163cfed28aaf3be3f0b162a1338fab214afc9340eafc6cb081c71fadf
00000ae5: SWAP3
00000ae6: DUP3
00000ae7: SWAP1
00000ae8: SUB
00000ae9: ADD
00000aea: SWAP1
00000aeb: LOG2
00000aec: POP
00000aed: POP
00000aee: PUSH1 0x01
00000af0: PUSH1 0x02
00000af2: SSTORE
00000af3: POP
00000af4: JUMP
00000af5: JUMPDEST
00000af6: PUSH1 0x07
00000af8: SLOAD
00000af9: DUP2
00000afa: JUMP
00000afb: JUMPDEST
00000afc: PUSH1 0x03
00000afe: SLOAD
00000aff: PUSH1 0x40
00000b01: DUP1
00000b02: MLOAD
00000b03: PUSH32 0xd6d65f3d00000000000000000000000000000000000000000000000000000000
00000b24: DUP2
00000b25: MSTORE
00000b26: DUP2
00000b27: MLOAD
00000b28: PUSH1 0x00
00000b2a: SWAP4
00000b2b: DUP5
00000b2c: SWAP4
00000b2d: DUP5
00000b2e: SWAP4
00000b2f: DUP5
00000b30: SWAP4
00000b31: DUP5
00000b32: SWAP4
00000b33: PUSH1 0x01
00000b35: PUSH1 0xa0
00000b37: PUSH1 0x02
00000b39: EXP
00000b3a: SUB
00000b3b: AND
00000b3c: SWAP3
00000b3d: PUSH4 0xd6d65f3d
00000b42: SWAP3
00000b43: PUSH1 0x04
00000b45: DUP1
00000b46: DUP3
00000b47: ADD
00000b48: SWAP4
00000b49: SWAP2
00000b4a: DUP3
00000b4b: SWAP1
00000b4c: SUB
00000b4d: ADD
00000b4e: DUP2
00000b4f: DUP8
00000b50: DUP8
00000b51: DUP1
00000b52: EXTCODESIZE
00000b53: ISZERO
00000b54: DUP1
00000b55: ISZERO
00000b56: PUSH2 0x0b5e
00000b59: JUMPI
00000b5a: PUSH1 0x00
00000b5c: DUP1
00000b5d: REVERT
00000b5e: JUMPDEST
00000b5f: POP
00000b60: GAS
00000b61: CALL
00000b62: ISZERO
00000b63: DUP1
00000b64: ISZERO
00000b65: PUSH2 0x0b72
00000b68: JUMPI
00000b69: RETURNDATASIZE
00000b6a: PUSH1 0x00
00000b6c: DUP1
00000b6d: RETURNDATACOPY
00000b6e: RETURNDATASIZE
00000b6f: PUSH1 0x00
00000b71: REVERT
00000b72: JUMPDEST
00000b73: POP
00000b74: POP
00000b75: POP
00000b76: POP
00000b77: PUSH1 0x40
00000b79: MLOAD
00000b7a: RETURNDATASIZE
00000b7b: PUSH1 0x40
00000b7d: DUP2
00000b7e: LT
00000b7f: ISZERO
00000b80: PUSH2 0x0b88
00000b83: JUMPI
00000b84: PUSH1 0x00
00000b86: DUP1
00000b87: REVERT
00000b88: JUMPDEST
00000b89: POP
00000b8a: DUP1
00000b8b: MLOAD
00000b8c: PUSH1 0x20
00000b8e: SWAP1
00000b8f: SWAP2
00000b90: ADD
00000b91: MLOAD
00000b92: SWAP1
00000b93: SWAP5
00000b94: POP
00000b95: SWAP3
00000b96: POP
00000b97: DUP4
00000b98: ISZERO
00000b99: ISZERO
00000b9a: PUSH2 0x0ba2
00000b9d: JUMPI
00000b9e: PUSH2 0x0d09
00000ba1: JUMP
00000ba2: JUMPDEST
00000ba3: PUSH1 0x03
00000ba5: SLOAD
00000ba6: PUSH1 0x40
00000ba8: DUP1
00000ba9: MLOAD
00000baa: PUSH1 0xe0
00000bac: PUSH1 0x02
00000bae: EXP
00000baf: PUSH4 0x2442e1cb
00000bb4: MUL
00000bb5: DUP2
00000bb6: MSTORE
00000bb7: PUSH1 0x04
00000bb9: DUP2
00000bba: ADD
00000bbb: DUP8
00000bbc: SWAP1
00000bbd: MSTORE
00000bbe: SWAP1
00000bbf: MLOAD
00000bc0: PUSH1 0x01
00000bc2: PUSH1 0xa0
00000bc4: PUSH1 0x02
00000bc6: EXP
00000bc7: SUB
00000bc8: SWAP1
00000bc9: SWAP3
00000bca: AND
00000bcb: SWAP2
00000bcc: PUSH4 0x2442e1cb
00000bd1: SWAP2
00000bd2: PUSH1 0x24
00000bd4: DUP1
00000bd5: DUP3
00000bd6: ADD
00000bd7: SWAP3
00000bd8: PUSH1 0x00
00000bda: SWAP3
00000bdb: SWAP1
00000bdc: SWAP2
00000bdd: SWAP1
00000bde: DUP3
00000bdf: SWAP1
00000be0: SUB
00000be1: ADD
00000be2: DUP2
00000be3: DUP4
00000be4: DUP8
00000be5: DUP1
00000be6: EXTCODESIZE
00000be7: ISZERO
00000be8: DUP1
00000be9: ISZERO
00000bea: PUSH2 0x0bf2
00000bed: JUMPI
00000bee: PUSH1 0x00
00000bf0: DUP1
00000bf1: REVERT
00000bf2: JUMPDEST
00000bf3: POP
00000bf4: GAS
00000bf5: CALL
00000bf6: ISZERO
00000bf7: DUP1
00000bf8: ISZERO
00000bf9: PUSH2 0x0c06
00000bfc: JUMPI
00000bfd: RETURNDATASIZE
00000bfe: PUSH1 0x00
00000c00: DUP1
00000c01: RETURNDATACOPY
00000c02: RETURNDATASIZE
00000c03: PUSH1 0x00
00000c05: REVERT
00000c06: JUMPDEST
00000c07: POP
00000c08: POP
00000c09: POP
00000c0a: POP
00000c0b: PUSH1 0x40
00000c0d: MLOAD
00000c0e: RETURNDATASIZE
00000c0f: PUSH1 0x00
00000c11: DUP3
00000c12: RETURNDATACOPY
00000c13: PUSH1 0x1f
00000c15: RETURNDATASIZE
00000c16: SWAP1
00000c17: DUP2
00000c18: ADD
00000c19: PUSH1 0x1f
00000c1b: NOT
00000c1c: AND
00000c1d: DUP3
00000c1e: ADD
00000c1f: PUSH1 0x40
00000c21: MSTORE
00000c22: PUSH1 0xc0
00000c24: DUP2
00000c25: LT
00000c26: ISZERO
00000c27: PUSH2 0x0c2f
00000c2a: JUMPI
00000c2b: PUSH1 0x00
00000c2d: DUP1
00000c2e: REVERT
00000c2f: JUMPDEST
00000c30: DUP2
00000c31: MLOAD
00000c32: PUSH1 0x20
00000c34: DUP4
00000c35: ADD
00000c36: MLOAD
00000c37: PUSH1 0x40
00000c39: DUP5
00000c3a: ADD
00000c3b: MLOAD
00000c3c: PUSH1 0x60
00000c3e: DUP6
00000c3f: ADD
00000c40: MLOAD
00000c41: PUSH1 0x80
00000c43: DUP7
00000c44: ADD
00000c45: DUP1
00000c46: MLOAD
00000c47: SWAP5
00000c48: SWAP7
00000c49: SWAP4
00000c4a: SWAP6
00000c4b: SWAP3
00000c4c: SWAP5
00000c4d: SWAP2
00000c4e: SWAP4
00000c4f: SWAP3
00000c50: DUP4
00000c51: ADD
00000c52: SWAP3
00000c53: SWAP2
00000c54: PUSH5 0x0100000000
00000c5a: DUP2
00000c5b: GT
00000c5c: ISZERO
00000c5d: PUSH2 0x0c65
00000c60: JUMPI
00000c61: PUSH1 0x00
00000c63: DUP1
00000c64: REVERT
00000c65: JUMPDEST
00000c66: DUP3
00000c67: ADD
00000c68: PUSH1 0x20
00000c6a: DUP2
00000c6b: ADD
00000c6c: DUP5
00000c6d: DUP2
00000c6e: GT
00000c6f: ISZERO
00000c70: PUSH2 0x0c78
00000c73: JUMPI
00000c74: PUSH1 0x00
00000c76: DUP1
00000c77: REVERT
00000c78: JUMPDEST
00000c79: DUP2
00000c7a: MLOAD
00000c7b: PUSH5 0x0100000000
00000c81: DUP2
00000c82: GT
00000c83: DUP3
00000c84: DUP3
00000c85: ADD
00000c86: DUP8
00000c87: LT
00000c88: OR
00000c89: ISZERO
00000c8a: PUSH2 0x0c92
00000c8d: JUMPI
00000c8e: PUSH1 0x00
00000c90: DUP1
00000c91: REVERT
00000c92: JUMPDEST
00000c93: POP
00000c94: POP
00000c95: SWAP3
00000c96: SWAP2
00000c97: SWAP1
00000c98: PUSH1 0x20
00000c9a: ADD
00000c9b: DUP1
00000c9c: MLOAD
00000c9d: PUSH5 0x0100000000
00000ca3: DUP2
00000ca4: GT
00000ca5: ISZERO
00000ca6: PUSH2 0x0cae
00000ca9: JUMPI
00000caa: PUSH1 0x00
00000cac: DUP1
00000cad: REVERT
00000cae: JUMPDEST
00000caf: DUP3
00000cb0: ADD
00000cb1: PUSH1 0x20
00000cb3: DUP2
00000cb4: ADD
00000cb5: DUP5
00000cb6: DUP2
00000cb7: GT
00000cb8: ISZERO
00000cb9: PUSH2 0x0cc1
00000cbc: JUMPI
00000cbd: PUSH1 0x00
00000cbf: DUP1
00000cc0: REVERT
00000cc1: JUMPDEST
00000cc2: DUP2
00000cc3: MLOAD
00000cc4: PUSH5 0x0100000000
00000cca: DUP2
00000ccb: GT
00000ccc: DUP3
00000ccd: DUP3
00000cce: ADD
00000ccf: DUP8
00000cd0: LT
00000cd1: OR
00000cd2: ISZERO
00000cd3: PUSH2 0x0cdb
00000cd6: JUMPI
00000cd7: PUSH1 0x00
00000cd9: DUP1
00000cda: REVERT
00000cdb: JUMPDEST
00000cdc: POP
00000cdd: POP
00000cde: SWAP3
00000cdf: SWAP2
00000ce0: SWAP1
00000ce1: POP
00000ce2: POP
00000ce3: POP
00000ce4: POP
00000ce5: POP
00000ce6: SWAP4
00000ce7: POP
00000ce8: POP
00000ce9: POP
00000cea: SWAP2
00000ceb: POP
00000cec: TIMESTAMP
00000ced: DUP3
00000cee: PUSH4 0xffffffff
00000cf3: AND
00000cf4: GT
00000cf5: ISZERO
00000cf6: DUP1
00000cf7: ISZERO
00000cf8: PUSH2 0x0d06
00000cfb: JUMPI
00000cfc: POP
00000cfd: DUP1
00000cfe: PUSH4 0xffffffff
00000d03: AND
00000d04: TIMESTAMP
00000d05: LT
00000d06: JUMPDEST
00000d07: SWAP5
00000d08: POP
00000d09: JUMPDEST
00000d0a: POP
00000d0b: POP
00000d0c: POP
00000d0d: POP
00000d0e: SWAP1
00000d0f: JUMP
00000d10: JUMPDEST
00000d11: PUSH1 0x01
00000d13: SLOAD
00000d14: PUSH1 0x01
00000d16: PUSH1 0xa0
00000d18: PUSH1 0x02
00000d1a: EXP
00000d1b: SUB
00000d1c: AND
00000d1d: CALLER
00000d1e: EQ
00000d1f: PUSH2 0x0d27
00000d22: JUMPI
00000d23: PUSH1 0x00
00000d25: DUP1
00000d26: REVERT
00000d27: JUMPDEST
00000d28: PUSH1 0x01
00000d2a: PUSH1 0xa0
00000d2c: PUSH1 0x02
00000d2e: EXP
00000d2f: SUB
00000d30: DUP2
00000d31: AND
00000d32: ISZERO
00000d33: ISZERO
00000d34: PUSH2 0x0d3c
00000d37: JUMPI
00000d38: PUSH1 0x00
00000d3a: DUP1
00000d3b: REVERT
00000d3c: JUMPDEST
00000d3d: PUSH1 0x03
00000d3f: DUP1
00000d40: SLOAD
00000d41: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d56: NOT
00000d57: AND
00000d58: PUSH1 0x01
00000d5a: PUSH1 0xa0
00000d5c: PUSH1 0x02
00000d5e: EXP
00000d5f: SUB
00000d60: DUP4
00000d61: AND
00000d62: SWAP1
00000d63: DUP2
00000d64: OR
00000d65: SWAP1
00000d66: SWAP2
00000d67: SSTORE
00000d68: PUSH1 0x40
00000d6a: DUP1
00000d6b: MLOAD
00000d6c: PUSH32 0x4090cb6400000000000000000000000000000000000000000000000000000000
00000d8d: DUP2
00000d8e: MSTORE
00000d8f: SWAP1
00000d90: MLOAD
00000d91: PUSH4 0x4090cb64
00000d96: SWAP2
00000d97: PUSH1 0x04
00000d99: DUP1
00000d9a: DUP3
00000d9b: ADD
00000d9c: SWAP3
00000d9d: PUSH1 0x20
00000d9f: SWAP3
00000da0: SWAP1
00000da1: SWAP2
00000da2: SWAP1
00000da3: DUP3
00000da4: SWAP1
00000da5: SUB
00000da6: ADD
00000da7: DUP2
00000da8: PUSH1 0x00
00000daa: DUP8
00000dab: DUP1
00000dac: EXTCODESIZE
00000dad: ISZERO
00000dae: DUP1
00000daf: ISZERO
00000db0: PUSH2 0x0db8
00000db3: JUMPI
00000db4: PUSH1 0x00
00000db6: DUP1
00000db7: REVERT
00000db8: JUMPDEST
00000db9: POP
00000dba: GAS
00000dbb: CALL
00000dbc: ISZERO
00000dbd: DUP1
00000dbe: ISZERO
00000dbf: PUSH2 0x0dcc
00000dc2: JUMPI
00000dc3: RETURNDATASIZE
00000dc4: PUSH1 0x00
00000dc6: DUP1
00000dc7: RETURNDATACOPY
00000dc8: RETURNDATASIZE
00000dc9: PUSH1 0x00
00000dcb: REVERT
00000dcc: JUMPDEST
00000dcd: POP
00000dce: POP
00000dcf: POP
00000dd0: POP
00000dd1: PUSH1 0x40
00000dd3: MLOAD
00000dd4: RETURNDATASIZE
00000dd5: PUSH1 0x20
00000dd7: DUP2
00000dd8: LT
00000dd9: ISZERO
00000dda: PUSH2 0x0de2
00000ddd: JUMPI
00000dde: PUSH1 0x00
00000de0: DUP1
00000de1: REVERT
00000de2: JUMPDEST
00000de3: POP
00000de4: MLOAD
00000de5: PUSH1 0x06
00000de7: DUP1
00000de8: SLOAD
00000de9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000dfe: NOT
00000dff: AND
00000e00: PUSH1 0x01
00000e02: PUSH1 0xa0
00000e04: PUSH1 0x02
00000e06: EXP
00000e07: SUB
00000e08: SWAP3
00000e09: DUP4
00000e0a: AND
00000e0b: OR
00000e0c: SWAP1
00000e0d: DUP2
00000e0e: SWAP1
00000e0f: SSTORE
00000e10: PUSH1 0x40
00000e12: DUP1
00000e13: MLOAD
00000e14: PUSH32 0x313ce56700000000000000000000000000000000000000000000000000000000
00000e35: DUP2
00000e36: MSTORE
00000e37: SWAP1
00000e38: MLOAD
00000e39: SWAP2
00000e3a: SWAP1
00000e3b: SWAP3
00000e3c: AND
00000e3d: SWAP2
00000e3e: PUSH4 0x313ce567
00000e43: SWAP2
00000e44: PUSH1 0x04
00000e46: DUP1
00000e47: DUP4
00000e48: ADD
00000e49: SWAP3
00000e4a: PUSH1 0x20
00000e4c: SWAP3
00000e4d: SWAP2
00000e4e: SWAP1
00000e4f: DUP3
00000e50: SWAP1
00000e51: SUB
00000e52: ADD
00000e53: DUP2
00000e54: PUSH1 0x00
00000e56: DUP8
00000e57: DUP1
00000e58: EXTCODESIZE
00000e59: ISZERO
00000e5a: DUP1
00000e5b: ISZERO
00000e5c: PUSH2 0x0e64
00000e5f: JUMPI
00000e60: PUSH1 0x00
00000e62: DUP1
00000e63: REVERT
00000e64: JUMPDEST
00000e65: POP
00000e66: GAS
00000e67: CALL
00000e68: ISZERO
00000e69: DUP1
00000e6a: ISZERO
00000e6b: PUSH2 0x0e78
00000e6e: JUMPI
00000e6f: RETURNDATASIZE
00000e70: PUSH1 0x00
00000e72: DUP1
00000e73: RETURNDATACOPY
00000e74: RETURNDATASIZE
00000e75: PUSH1 0x00
00000e77: REVERT
00000e78: JUMPDEST
00000e79: POP
00000e7a: POP
00000e7b: POP
00000e7c: POP
00000e7d: PUSH1 0x40
00000e7f: MLOAD
00000e80: RETURNDATASIZE
00000e81: PUSH1 0x20
00000e83: DUP2
00000e84: LT
00000e85: ISZERO
00000e86: PUSH2 0x0e8e
00000e89: JUMPI
00000e8a: PUSH1 0x00
00000e8c: DUP1
00000e8d: REVERT
00000e8e: JUMPDEST
00000e8f: POP
00000e90: MLOAD
00000e91: PUSH1 0xff
00000e93: AND
00000e94: PUSH1 0x07
00000e96: SSTORE
00000e97: POP
00000e98: JUMP
00000e99: JUMPDEST
00000e9a: PUSH1 0x00
00000e9c: SLOAD
00000e9d: DUP2
00000e9e: JUMP
00000e9f: JUMPDEST
00000ea0: PUSH1 0x05
00000ea2: SLOAD
00000ea3: PUSH1 0x01
00000ea5: PUSH1 0xa0
00000ea7: PUSH1 0x02
00000ea9: EXP
00000eaa: SUB
00000eab: AND
00000eac: DUP2
00000ead: JUMP
00000eae: JUMPDEST
00000eaf: PUSH1 0x01
00000eb1: SLOAD
00000eb2: PUSH1 0x00
00000eb4: SWAP1
00000eb5: DUP2
00000eb6: SWAP1
00000eb7: DUP2
00000eb8: SWAP1
00000eb9: DUP2
00000eba: SWAP1
00000ebb: PUSH1 0x01
00000ebd: PUSH1 0xa0
00000ebf: PUSH1 0x02
00000ec1: EXP
00000ec2: SUB
00000ec3: AND
00000ec4: CALLER
00000ec5: EQ
00000ec6: PUSH2 0x0ece
00000ec9: JUMPI
00000eca: PUSH1 0x00
00000ecc: DUP1
00000ecd: REVERT
00000ece: JUMPDEST
00000ecf: PUSH1 0x02
00000ed1: SLOAD
00000ed2: PUSH1 0x01
00000ed4: EQ
00000ed5: PUSH2 0x0edd
00000ed8: JUMPI
00000ed9: PUSH1 0x00
00000edb: DUP1
00000edc: REVERT
00000edd: JUMPDEST
00000ede: PUSH1 0x02
00000ee0: DUP1
00000ee1: SSTORE
00000ee2: PUSH2 0x0ee9
00000ee5: PUSH2 0x12ac
00000ee8: JUMP
00000ee9: JUMPDEST
00000eea: ISZERO
00000eeb: ISZERO
00000eec: PUSH2 0x0ef4
00000eef: JUMPI
00000ef0: PUSH1 0x00
00000ef2: DUP1
00000ef3: REVERT
00000ef4: JUMPDEST
00000ef5: PUSH2 0x0efc
00000ef8: PUSH2 0x10ac
00000efb: JUMP
00000efc: JUMPDEST
00000efd: SWAP4
00000efe: POP
00000eff: PUSH2 0x0f06
00000f02: PUSH2 0x16a3
00000f05: JUMP
00000f06: JUMPDEST
00000f07: SWAP4
00000f08: POP
00000f09: POP
00000f0a: SWAP3
00000f0b: POP
00000f0c: PUSH1 0x00
00000f0e: DUP5
00000f0f: GT
00000f10: ISZERO
00000f11: ISZERO
00000f12: PUSH2 0x0f1a
00000f15: JUMPI
00000f16: PUSH1 0x00
00000f18: DUP1
00000f19: REVERT
00000f1a: JUMPDEST
00000f1b: PUSH1 0x00
00000f1d: DUP3
00000f1e: DUP2
00000f1f: MSTORE
00000f20: PUSH1 0x09
00000f22: PUSH1 0x20
00000f24: MSTORE
00000f25: PUSH1 0x40
00000f27: DUP2
00000f28: KECCAK256
00000f29: DUP1
00000f2a: SLOAD
00000f2b: PUSH1 0xff
00000f2d: NOT
00000f2e: AND
00000f2f: PUSH1 0x01
00000f31: OR
00000f32: SWAP1
00000f33: SSTORE
00000f34: PUSH1 0x0d
00000f36: SLOAD
00000f37: GT
00000f38: ISZERO
00000f39: PUSH2 0x0f65
00000f3c: JUMPI
00000f3d: PUSH1 0x0d
00000f3f: SLOAD
00000f40: PUSH2 0x0f50
00000f43: SWAP1
00000f44: DUP6
00000f45: SWAP1
00000f46: PUSH4 0xffffffff
00000f4b: PUSH2 0x1d46
00000f4e: AND
00000f4f: JUMP
00000f50: JUMPDEST
00000f51: SWAP1
00000f52: POP
00000f53: PUSH2 0x0f62
00000f56: DUP5
00000f57: DUP3
00000f58: PUSH4 0xffffffff
00000f5d: PUSH2 0x1d34
00000f60: AND
00000f61: JUMP
00000f62: JUMPDEST
00000f63: SWAP4
00000f64: POP
00000f65: JUMPDEST
00000f66: PUSH1 0x0c
00000f68: SLOAD
00000f69: PUSH2 0x0f78
00000f6c: SWAP1
00000f6d: DUP5
00000f6e: PUSH4 0xffffffff
00000f73: PUSH2 0x1ce3
00000f76: AND
00000f77: JUMP
00000f78: JUMPDEST
00000f79: PUSH1 0x0c
00000f7b: SSTORE
00000f7c: PUSH1 0x00
00000f7e: DUP2
00000f7f: GT
00000f80: ISZERO
00000f81: PUSH2 0x0fc0
00000f84: JUMPI
00000f85: PUSH1 0x05
00000f87: SLOAD
00000f88: PUSH1 0x40
00000f8a: MLOAD
00000f8b: PUSH1 0x01
00000f8d: PUSH1 0xa0
00000f8f: PUSH1 0x02
00000f91: EXP
00000f92: SUB
00000f93: SWAP1
00000f94: SWAP2
00000f95: AND
00000f96: SWAP1
00000f97: DUP3
00000f98: ISZERO
00000f99: PUSH2 0x08fc
00000f9c: MUL
00000f9d: SWAP1
00000f9e: DUP4
00000f9f: SWAP1
00000fa0: PUSH1 0x00
00000fa2: DUP2
00000fa3: DUP2
00000fa4: DUP2
00000fa5: DUP6
00000fa6: DUP9
00000fa7: DUP9
00000fa8: CALL
00000fa9: SWAP4
00000faa: POP
00000fab: POP
00000fac: POP
00000fad: POP
00000fae: ISZERO
00000faf: DUP1
00000fb0: ISZERO
00000fb1: PUSH2 0x0fbe
00000fb4: JUMPI
00000fb5: RETURNDATASIZE
00000fb6: PUSH1 0x00
00000fb8: DUP1
00000fb9: RETURNDATACOPY
00000fba: RETURNDATASIZE
00000fbb: PUSH1 0x00
00000fbd: REVERT
00000fbe: JUMPDEST
00000fbf: POP
00000fc0: JUMPDEST
00000fc1: PUSH1 0x40
00000fc3: MLOAD
00000fc4: CALLER
00000fc5: SWAP1
00000fc6: DUP6
00000fc7: ISZERO
00000fc8: PUSH2 0x08fc
00000fcb: MUL
00000fcc: SWAP1
00000fcd: DUP7
00000fce: SWAP1
00000fcf: PUSH1 0x00
00000fd1: DUP2
00000fd2: DUP2
00000fd3: DUP2
00000fd4: DUP6
00000fd5: DUP9
00000fd6: DUP9
00000fd7: CALL
00000fd8: SWAP4
00000fd9: POP
00000fda: POP
00000fdb: POP
00000fdc: POP
00000fdd: ISZERO
00000fde: DUP1
00000fdf: ISZERO
00000fe0: PUSH2 0x0fed
00000fe3: JUMPI
00000fe4: RETURNDATASIZE
00000fe5: PUSH1 0x00
00000fe7: DUP1
00000fe8: RETURNDATACOPY
00000fe9: RETURNDATASIZE
00000fea: PUSH1 0x00
00000fec: REVERT
00000fed: JUMPDEST
00000fee: POP
00000fef: PUSH1 0x40
00000ff1: DUP1
00000ff2: MLOAD
00000ff3: DUP6
00000ff4: DUP2
00000ff5: MSTORE
00000ff6: SWAP1
00000ff7: MLOAD
00000ff8: CALLER
00000ff9: SWAP2
00000ffa: PUSH32 0x4a966617f50ccad97beb624d8e13820bf2a745e1640fed943858499286fc9829
0000101b: SWAP2
0000101c: SWAP1
0000101d: DUP2
0000101e: SWAP1
0000101f: SUB
00001020: PUSH1 0x20
00001022: ADD
00001023: SWAP1
00001024: LOG2
00001025: POP
00001026: POP
00001027: PUSH1 0x01
00001029: PUSH1 0x02
0000102b: SSTORE
0000102c: POP
0000102d: POP
0000102e: JUMP
0000102f: JUMPDEST
00001030: PUSH1 0x01
00001032: SLOAD
00001033: PUSH1 0x01
00001035: PUSH1 0xa0
00001037: PUSH1 0x02
00001039: EXP
0000103a: SUB
0000103b: AND
0000103c: CALLER
0000103d: EQ
0000103e: PUSH2 0x1046
00001041: JUMPI
00001042: PUSH1 0x00
00001044: DUP1
00001045: REVERT
00001046: JUMPDEST
00001047: PUSH1 0x01
00001049: SLOAD
0000104a: PUSH1 0x40
0000104c: MLOAD
0000104d: PUSH1 0x01
0000104f: PUSH1 0xa0
00001051: PUSH1 0x02
00001053: EXP
00001054: SUB
00001055: SWAP1
00001056: SWAP2
00001057: AND
00001058: SWAP1
00001059: PUSH32 0xf8df31144d9c2f0f6b59d69b8b98abd5459d07f2742c4df920b25aae33c64820
0000107a: SWAP1
0000107b: PUSH1 0x00
0000107d: SWAP1
0000107e: LOG2
0000107f: PUSH1 0x01
00001081: DUP1
00001082: SLOAD
00001083: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001098: NOT
00001099: AND
0000109a: SWAP1
0000109b: SSTORE
0000109c: JUMP
0000109d: JUMPDEST
0000109e: PUSH1 0x04
000010a0: SLOAD
000010a1: PUSH1 0x01
000010a3: PUSH1 0xa0
000010a5: PUSH1 0x02
000010a7: EXP
000010a8: SUB
000010a9: AND
000010aa: DUP2
000010ab: JUMP
000010ac: JUMPDEST
000010ad: PUSH1 0x00
000010af: DUP1
000010b0: PUSH1 0x00
000010b2: DUP1
000010b3: PUSH1 0x00
000010b5: PUSH2 0x10bc
000010b8: PUSH2 0x16a3
000010bb: JUMP
000010bc: JUMPDEST
000010bd: POP
000010be: SWAP4
000010bf: POP
000010c0: SWAP4
000010c1: POP
000010c2: DUP4
000010c3: PUSH1 0x00
000010c5: EQ
000010c6: DUP1
000010c7: ISZERO
000010c8: PUSH2 0x10cf
000010cb: JUMPI
000010cc: POP
000010cd: DUP3
000010ce: ISZERO
000010cf: JUMPDEST
000010d0: DUP1
000010d1: PUSH2 0x10d9
000010d4: JUMPI
000010d5: POP
000010d6: ADDRESS
000010d7: BALANCE
000010d8: ISZERO
000010d9: JUMPDEST
000010da: ISZERO
000010db: PUSH2 0x10e3
000010de: JUMPI
000010df: PUSH2 0x0d09
000010e2: JUMP
000010e3: JUMPDEST
000010e4: PUSH1 0x0b
000010e6: SLOAD
000010e7: PUSH1 0x0a
000010e9: SLOAD
000010ea: PUSH2 0x10f8
000010ed: SWAP2
000010ee: PUSH4 0xffffffff
000010f3: PUSH2 0x1d34
000010f6: AND
000010f7: JUMP
000010f8: JUMPDEST
000010f9: PUSH1 0x0c
000010fb: SLOAD
000010fc: SWAP1
000010fd: SWAP3
000010fe: POP
000010ff: PUSH2 0x111e
00001102: SWAP1
00001103: PUSH2 0x1112
00001106: DUP7
00001107: DUP7
00001108: PUSH4 0xffffffff
0000110d: PUSH2 0x1ce3
00001110: AND
00001111: JUMP
00001112: JUMPDEST
00001113: SWAP1
00001114: PUSH4 0xffffffff
00001119: PUSH2 0x1d34
0000111c: AND
0000111d: JUMP
0000111e: JUMPDEST
0000111f: SWAP1
00001120: POP
00001121: PUSH2 0x0d06
00001124: DUP3
00001125: DUP3
00001126: PUSH4 0xffffffff
0000112b: PUSH2 0x1d46
0000112e: AND
0000112f: JUMP
00001130: JUMPDEST
00001131: PUSH1 0x01
00001133: SLOAD
00001134: PUSH1 0x01
00001136: PUSH1 0xa0
00001138: PUSH1 0x02
0000113a: EXP
0000113b: SUB
0000113c: AND
0000113d: DUP2
0000113e: JUMP
0000113f: JUMPDEST
00001140: PUSH1 0x03
00001142: SLOAD
00001143: PUSH1 0x01
00001145: PUSH1 0xa0
00001147: PUSH1 0x02
00001149: EXP
0000114a: SUB
0000114b: AND
0000114c: CALLER
0000114d: DUP2
0000114e: EQ
0000114f: PUSH2 0x1157
00001152: JUMPI
00001153: PUSH1 0x00
00001155: DUP1
00001156: REVERT
00001157: JUMPDEST
00001158: PUSH1 0x00
0000115a: DUP3
0000115b: GT
0000115c: PUSH2 0x1164
0000115f: JUMPI
00001160: PUSH1 0x00
00001162: DUP1
00001163: REVERT
00001164: JUMPDEST
00001165: PUSH1 0x00
00001167: CALLVALUE
00001168: GT
00001169: PUSH2 0x1171
0000116c: JUMPI
0000116d: PUSH1 0x00
0000116f: DUP1
00001170: REVERT
00001171: JUMPDEST
00001172: PUSH1 0x01
00001174: PUSH1 0xa0
00001176: PUSH1 0x02
00001178: EXP
00001179: SUB
0000117a: DUP4
0000117b: AND
0000117c: PUSH1 0x00
0000117e: SWAP1
0000117f: DUP2
00001180: MSTORE
00001181: PUSH1 0x08
00001183: PUSH1 0x20
00001185: MSTORE
00001186: PUSH1 0x40
00001188: SWAP1
00001189: KECCAK256
0000118a: SLOAD
0000118b: PUSH2 0x119a
0000118e: SWAP1
0000118f: DUP4
00001190: PUSH4 0xffffffff
00001195: PUSH2 0x1ce3
00001198: AND
00001199: JUMP
0000119a: JUMPDEST
0000119b: PUSH1 0x01
0000119d: PUSH1 0xa0
0000119f: PUSH1 0x02
000011a1: EXP
000011a2: SUB
000011a3: DUP5
000011a4: AND
000011a5: PUSH1 0x00
000011a7: SWAP1
000011a8: DUP2
000011a9: MSTORE
000011aa: PUSH1 0x08
000011ac: PUSH1 0x20
000011ae: MSTORE
000011af: PUSH1 0x40
000011b1: SWAP1
000011b2: KECCAK256
000011b3: SWAP1
000011b4: DUP2
000011b5: SSTORE
000011b6: PUSH1 0x02
000011b8: ADD
000011b9: SLOAD
000011ba: PUSH2 0x11c9
000011bd: SWAP1
000011be: CALLVALUE
000011bf: PUSH4 0xffffffff
000011c4: PUSH2 0x1ce3
000011c7: AND
000011c8: JUMP
000011c9: JUMPDEST
000011ca: PUSH1 0x01
000011cc: PUSH1 0xa0
000011ce: PUSH1 0x02
000011d0: EXP
000011d1: SUB
000011d2: DUP5
000011d3: AND
000011d4: PUSH1 0x00
000011d6: SWAP1
000011d7: DUP2
000011d8: MSTORE
000011d9: PUSH1 0x08
000011db: PUSH1 0x20
000011dd: MSTORE
000011de: PUSH1 0x40
000011e0: SWAP1
000011e1: KECCAK256
000011e2: PUSH1 0x02
000011e4: DUP2
000011e5: ADD
000011e6: DUP3
000011e7: SWAP1
000011e8: SSTORE
000011e9: SLOAD
000011ea: PUSH1 0x07
000011ec: SLOAD
000011ed: PUSH2 0x1202
000011f0: SWAP3
000011f1: PUSH2 0x0604
000011f4: SWAP2
000011f5: PUSH1 0x0a
000011f7: EXP
000011f8: PUSH4 0xffffffff
000011fd: PUSH2 0x1cf6
00001200: AND
00001201: JUMP
00001202: JUMPDEST
00001203: PUSH1 0x01
00001205: PUSH1 0xa0
00001207: PUSH1 0x02
00001209: EXP
0000120a: SUB
0000120b: DUP5
0000120c: AND
0000120d: PUSH1 0x00
0000120f: SWAP1
00001210: DUP2
00001211: MSTORE
00001212: PUSH1 0x08
00001214: PUSH1 0x20
00001216: MSTORE
00001217: PUSH1 0x40
00001219: SWAP1
0000121a: KECCAK256
0000121b: PUSH1 0x01
0000121d: ADD
0000121e: SSTORE
0000121f: PUSH1 0x0a
00001221: SLOAD
00001222: PUSH2 0x1231
00001225: SWAP1
00001226: CALLVALUE
00001227: PUSH4 0xffffffff
0000122c: PUSH2 0x1ce3
0000122f: AND
00001230: JUMP
00001231: JUMPDEST
00001232: PUSH1 0x0a
00001234: SSTORE
00001235: PUSH1 0x40
00001237: DUP1
00001238: MLOAD
00001239: CALLVALUE
0000123a: DUP2
0000123b: MSTORE
0000123c: PUSH1 0x20
0000123e: DUP2
0000123f: ADD
00001240: DUP5
00001241: SWAP1
00001242: MSTORE
00001243: DUP2
00001244: MLOAD
00001245: PUSH1 0x01
00001247: PUSH1 0xa0
00001249: PUSH1 0x02
0000124b: EXP
0000124c: SUB
0000124d: DUP7
0000124e: AND
0000124f: SWAP3
00001250: PUSH32 0x363f315f930a17d1266b86a20d6dd34b1cfbc5a9db9f13a65d06a689c3a2af8a
00001271: SWAP3
00001272: DUP3
00001273: SWAP1
00001274: SUB
00001275: ADD
00001276: SWAP1
00001277: LOG2
00001278: POP
00001279: POP
0000127a: POP
0000127b: JUMP
0000127c: JUMPDEST
0000127d: PUSH1 0x08
0000127f: PUSH1 0x20
00001281: MSTORE
00001282: PUSH1 0x00
00001284: SWAP1
00001285: DUP2
00001286: MSTORE
00001287: PUSH1 0x40
00001289: SWAP1
0000128a: KECCAK256
0000128b: DUP1
0000128c: SLOAD
0000128d: PUSH1 0x01
0000128f: DUP3
00001290: ADD
00001291: SLOAD
00001292: PUSH1 0x02
00001294: SWAP1
00001295: SWAP3
00001296: ADD
00001297: SLOAD
00001298: SWAP1
00001299: SWAP2
0000129a: SWAP1
0000129b: DUP4
0000129c: JUMP
0000129d: JUMPDEST
0000129e: PUSH1 0x03
000012a0: SLOAD
000012a1: PUSH1 0x01
000012a3: PUSH1 0xa0
000012a5: PUSH1 0x02
000012a7: EXP
000012a8: SUB
000012a9: AND
000012aa: DUP2
000012ab: JUMP
000012ac: JUMPDEST
000012ad: PUSH1 0x00
000012af: DUP1
000012b0: PUSH1 0x00
000012b2: DUP1
000012b3: PUSH1 0x00
000012b5: DUP1
000012b6: PUSH1 0x03
000012b8: PUSH1 0x00
000012ba: SWAP1
000012bb: SLOAD
000012bc: SWAP1
000012bd: PUSH2 0x0100
000012c0: EXP
000012c1: SWAP1
000012c2: DIV
000012c3: PUSH1 0x01
000012c5: PUSH1 0xa0
000012c7: PUSH1 0x02
000012c9: EXP
000012ca: SUB
000012cb: AND
000012cc: PUSH1 0x01
000012ce: PUSH1 0xa0
000012d0: PUSH1 0x02
000012d2: EXP
000012d3: SUB
000012d4: AND
000012d5: PUSH4 0xd6d65f3d
000012da: PUSH1 0x40
000012dc: MLOAD
000012dd: DUP2
000012de: PUSH4 0xffffffff
000012e3: AND
000012e4: PUSH1 0xe0
000012e6: PUSH1 0x02
000012e8: EXP
000012e9: MUL
000012ea: DUP2
000012eb: MSTORE
000012ec: PUSH1 0x04
000012ee: ADD
000012ef: PUSH1 0x40
000012f1: DUP1
000012f2: MLOAD
000012f3: DUP1
000012f4: DUP4
000012f5: SUB
000012f6: DUP2
000012f7: PUSH1 0x00
000012f9: DUP8
000012fa: DUP1
000012fb: EXTCODESIZE
000012fc: ISZERO
000012fd: DUP1
000012fe: ISZERO
000012ff: PUSH2 0x1307
00001302: JUMPI
00001303: PUSH1 0x00
00001305: DUP1
00001306: REVERT
00001307: JUMPDEST
00001308: POP
00001309: GAS
0000130a: CALL
0000130b: ISZERO
0000130c: DUP1
0000130d: ISZERO
0000130e: PUSH2 0x131b
00001311: JUMPI
00001312: RETURNDATASIZE
00001313: PUSH1 0x00
00001315: DUP1
00001316: RETURNDATACOPY
00001317: RETURNDATASIZE
00001318: PUSH1 0x00
0000131a: REVERT
0000131b: JUMPDEST
0000131c: POP
0000131d: POP
0000131e: POP
0000131f: POP
00001320: PUSH1 0x40
00001322: MLOAD
00001323: RETURNDATASIZE
00001324: PUSH1 0x40
00001326: DUP2
00001327: LT
00001328: ISZERO
00001329: PUSH2 0x1331
0000132c: JUMPI
0000132d: PUSH1 0x00
0000132f: DUP1
00001330: REVERT
00001331: JUMPDEST
00001332: POP
00001333: DUP1
00001334: MLOAD
00001335: PUSH1 0x20
00001337: SWAP1
00001338: SWAP2
00001339: ADD
0000133a: MLOAD
0000133b: PUSH1 0x03
0000133d: SLOAD
0000133e: PUSH1 0x40
00001340: DUP1
00001341: MLOAD
00001342: PUSH32 0x14f66d3400000000000000000000000000000000000000000000000000000000
00001363: DUP2
00001364: MSTORE
00001365: DUP2
00001366: MLOAD
00001367: SWAP5
00001368: SWAP10
00001369: POP
0000136a: SWAP3
0000136b: SWAP8
0000136c: POP
0000136d: PUSH1 0x01
0000136f: PUSH1 0xa0
00001371: PUSH1 0x02
00001373: EXP
00001374: SUB
00001375: SWAP1
00001376: SWAP2
00001377: AND
00001378: SWAP3
00001379: PUSH4 0x14f66d34
0000137e: SWAP3
0000137f: PUSH1 0x04
00001381: DUP1
00001382: DUP3
00001383: ADD
00001384: SWAP4
00001385: SWAP3
00001386: SWAP2
00001387: DUP3
00001388: SWAP1
00001389: SUB
0000138a: ADD
0000138b: DUP2
0000138c: PUSH1 0x00
0000138e: DUP8
0000138f: DUP1
00001390: EXTCODESIZE
00001391: ISZERO
00001392: DUP1
00001393: ISZERO
00001394: PUSH2 0x139c
00001397: JUMPI
00001398: PUSH1 0x00
0000139a: DUP1
0000139b: REVERT
0000139c: JUMPDEST
0000139d: POP
0000139e: GAS
0000139f: CALL
000013a0: ISZERO
000013a1: DUP1
000013a2: ISZERO
000013a3: PUSH2 0x13b0
000013a6: JUMPI
000013a7: RETURNDATASIZE
000013a8: PUSH1 0x00
000013aa: DUP1
000013ab: RETURNDATACOPY
000013ac: RETURNDATASIZE
000013ad: PUSH1 0x00
000013af: REVERT
000013b0: JUMPDEST
000013b1: POP
000013b2: POP
000013b3: POP
000013b4: POP
000013b5: PUSH1 0x40
000013b7: MLOAD
000013b8: RETURNDATASIZE
000013b9: PUSH1 0x40
000013bb: DUP2
000013bc: LT
000013bd: ISZERO
000013be: PUSH2 0x13c6
000013c1: JUMPI
000013c2: PUSH1 0x00
000013c4: DUP1
000013c5: REVERT
000013c6: JUMPDEST
000013c7: POP
000013c8: MLOAD
000013c9: SWAP3
000013ca: POP
000013cb: DUP4
000013cc: ISZERO
000013cd: ISZERO
000013ce: PUSH2 0x13d6
000013d1: JUMPI
000013d2: PUSH2 0x1695
000013d5: JUMP
000013d6: JUMPDEST
000013d7: DUP5
000013d8: ISZERO
000013d9: ISZERO
000013da: PUSH2 0x13e6
000013dd: JUMPI
000013de: PUSH1 0x01
000013e0: SWAP6
000013e1: POP
000013e2: PUSH2 0x1695
000013e5: JUMP
000013e6: JUMPDEST
000013e7: PUSH1 0x03
000013e9: SLOAD
000013ea: PUSH1 0x40
000013ec: DUP1
000013ed: MLOAD
000013ee: PUSH1 0xe0
000013f0: PUSH1 0x02
000013f2: EXP
000013f3: PUSH4 0x2442e1cb
000013f8: MUL
000013f9: DUP2
000013fa: MSTORE
000013fb: PUSH1 0x04
000013fd: DUP2
000013fe: ADD
000013ff: DUP9
00001400: SWAP1
00001401: MSTORE
00001402: SWAP1
00001403: MLOAD
00001404: PUSH1 0x01
00001406: PUSH1 0xa0
00001408: PUSH1 0x02
0000140a: EXP
0000140b: SUB
0000140c: SWAP1
0000140d: SWAP3
0000140e: AND
0000140f: SWAP2
00001410: PUSH4 0x2442e1cb
00001415: SWAP2
00001416: PUSH1 0x24
00001418: DUP1
00001419: DUP3
0000141a: ADD
0000141b: SWAP3
0000141c: PUSH1 0x00
0000141e: SWAP3
0000141f: SWAP1
00001420: SWAP2
00001421: SWAP1
00001422: DUP3
00001423: SWAP1
00001424: SUB
00001425: ADD
00001426: DUP2
00001427: DUP4
00001428: DUP8
00001429: DUP1
0000142a: EXTCODESIZE
0000142b: ISZERO
0000142c: DUP1
0000142d: ISZERO
0000142e: PUSH2 0x1436
00001431: JUMPI
00001432: PUSH1 0x00
00001434: DUP1
00001435: REVERT
00001436: JUMPDEST
00001437: POP
00001438: GAS
00001439: CALL
0000143a: ISZERO
0000143b: DUP1
0000143c: ISZERO
0000143d: PUSH2 0x144a
00001440: JUMPI
00001441: RETURNDATASIZE
00001442: PUSH1 0x00
00001444: DUP1
00001445: RETURNDATACOPY
00001446: RETURNDATASIZE
00001447: PUSH1 0x00
00001449: REVERT
0000144a: JUMPDEST
0000144b: POP
0000144c: POP
0000144d: POP
0000144e: POP
0000144f: PUSH1 0x40
00001451: MLOAD
00001452: RETURNDATASIZE
00001453: PUSH1 0x00
00001455: DUP3
00001456: RETURNDATACOPY
00001457: PUSH1 0x1f
00001459: RETURNDATASIZE
0000145a: SWAP1
0000145b: DUP2
0000145c: ADD
0000145d: PUSH1 0x1f
0000145f: NOT
00001460: AND
00001461: DUP3
00001462: ADD
00001463: PUSH1 0x40
00001465: MSTORE
00001466: PUSH1 0xc0
00001468: DUP2
00001469: LT
0000146a: ISZERO
0000146b: PUSH2 0x1473
0000146e: JUMPI
0000146f: PUSH1 0x00
00001471: DUP1
00001472: REVERT
00001473: JUMPDEST
00001474: DUP2
00001475: MLOAD
00001476: PUSH1 0x20
00001478: DUP4
00001479: ADD
0000147a: MLOAD
0000147b: PUSH1 0x40
0000147d: DUP5
0000147e: ADD
0000147f: MLOAD
00001480: PUSH1 0x60
00001482: DUP6
00001483: ADD
00001484: MLOAD
00001485: PUSH1 0x80
00001487: DUP7
00001488: ADD
00001489: DUP1
0000148a: MLOAD
0000148b: SWAP5
0000148c: SWAP7
0000148d: SWAP4
0000148e: SWAP6
0000148f: SWAP3
00001490: SWAP5
00001491: SWAP2
00001492: SWAP4
00001493: SWAP3
00001494: DUP4
00001495: ADD
00001496: SWAP3
00001497: SWAP2
00001498: PUSH5 0x0100000000
0000149e: DUP2
0000149f: GT
000014a0: ISZERO
000014a1: PUSH2 0x14a9
000014a4: JUMPI
000014a5: PUSH1 0x00
000014a7: DUP1
000014a8: REVERT
000014a9: JUMPDEST
000014aa: DUP3
000014ab: ADD
000014ac: PUSH1 0x20
000014ae: DUP2
000014af: ADD
000014b0: DUP5
000014b1: DUP2
000014b2: GT
000014b3: ISZERO
000014b4: PUSH2 0x14bc
000014b7: JUMPI
000014b8: PUSH1 0x00
000014ba: DUP1
000014bb: REVERT
000014bc: JUMPDEST
000014bd: DUP2
000014be: MLOAD
000014bf: PUSH5 0x0100000000
000014c5: DUP2
000014c6: GT
000014c7: DUP3
000014c8: DUP3
000014c9: ADD
000014ca: DUP8
000014cb: LT
000014cc: OR
000014cd: ISZERO
000014ce: PUSH2 0x14d6
000014d1: JUMPI
000014d2: PUSH1 0x00
000014d4: DUP1
000014d5: REVERT
000014d6: JUMPDEST
000014d7: POP
000014d8: POP
000014d9: SWAP3
000014da: SWAP2
000014db: SWAP1
000014dc: PUSH1 0x20
000014de: ADD
000014df: DUP1
000014e0: MLOAD
000014e1: PUSH5 0x0100000000
000014e7: DUP2
000014e8: GT
000014e9: ISZERO
000014ea: PUSH2 0x14f2
000014ed: JUMPI
000014ee: PUSH1 0x00
000014f0: DUP1
000014f1: REVERT
000014f2: JUMPDEST
000014f3: DUP3
000014f4: ADD
000014f5: PUSH1 0x20
000014f7: DUP2
000014f8: ADD
000014f9: DUP5
000014fa: DUP2
000014fb: GT
000014fc: ISZERO
000014fd: PUSH2 0x1505
00001500: JUMPI
00001501: PUSH1 0x00
00001503: DUP1
00001504: REVERT
00001505: JUMPDEST
00001506: DUP2
00001507: MLOAD
00001508: PUSH5 0x0100000000
0000150e: DUP2
0000150f: GT
00001510: DUP3
00001511: DUP3
00001512: ADD
00001513: DUP8
00001514: LT
00001515: OR
00001516: ISZERO
00001517: PUSH2 0x151f
0000151a: JUMPI
0000151b: PUSH1 0x00
0000151d: DUP1
0000151e: REVERT
0000151f: JUMPDEST
00001520: POP
00001521: POP
00001522: PUSH1 0x03
00001524: SLOAD
00001525: PUSH1 0x40
00001527: DUP1
00001528: MLOAD
00001529: PUSH1 0xe0
0000152b: PUSH1 0x02
0000152d: EXP
0000152e: PUSH4 0x2442e1cb
00001533: MUL
00001534: DUP2
00001535: MSTORE
00001536: PUSH1 0x04
00001538: DUP2
00001539: ADD
0000153a: DUP16
0000153b: SWAP1
0000153c: MSTORE
0000153d: SWAP1
0000153e: MLOAD
0000153f: SWAP11
00001540: SWAP13
00001541: POP
00001542: PUSH1 0x01
00001544: PUSH1 0xa0
00001546: PUSH1 0x02
00001548: EXP
00001549: SUB
0000154a: SWAP1
0000154b: SWAP2
0000154c: AND
0000154d: SWAP10
0000154e: PUSH4 0x2442e1cb
00001553: SWAP10
00001554: POP
00001555: PUSH1 0x24
00001557: DUP1
00001558: DUP4
00001559: ADD
0000155a: SWAP10
0000155b: POP
0000155c: PUSH1 0x00
0000155e: SWAP9
0000155f: POP
00001560: SWAP1
00001561: SWAP7
00001562: POP
00001563: SWAP1
00001564: DUP7
00001565: SWAP1
00001566: SUB
00001567: ADD
00001568: SWAP4
00001569: POP
0000156a: DUP5
0000156b: SWAP3
0000156c: POP
0000156d: DUP6
0000156e: SWAP2
0000156f: POP
00001570: DUP9
00001571: SWAP1
00001572: POP
00001573: DUP1
00001574: EXTCODESIZE
00001575: ISZERO
00001576: DUP1
00001577: ISZERO
00001578: PUSH2 0x1580
0000157b: JUMPI
0000157c: PUSH1 0x00
0000157e: DUP1
0000157f: REVERT
00001580: JUMPDEST
00001581: POP
00001582: GAS
00001583: CALL
00001584: ISZERO
00001585: DUP1
00001586: ISZERO
00001587: PUSH2 0x1594
0000158a: JUMPI
0000158b: RETURNDATASIZE
0000158c: PUSH1 0x00
0000158e: DUP1
0000158f: RETURNDATACOPY
00001590: RETURNDATASIZE
00001591: PUSH1 0x00
00001593: REVERT
00001594: JUMPDEST
00001595: POP
00001596: POP
00001597: POP
00001598: POP
00001599: PUSH1 0x40
0000159b: MLOAD
0000159c: RETURNDATASIZE
0000159d: PUSH1 0x00
0000159f: DUP3
000015a0: RETURNDATACOPY
000015a1: PUSH1 0x1f
000015a3: RETURNDATASIZE
000015a4: SWAP1
000015a5: DUP2
000015a6: ADD
000015a7: PUSH1 0x1f
000015a9: NOT
000015aa: AND
000015ab: DUP3
000015ac: ADD
000015ad: PUSH1 0x40
000015af: MSTORE
000015b0: PUSH1 0xc0
000015b2: DUP2
000015b3: LT
000015b4: ISZERO
000015b5: PUSH2 0x15bd
000015b8: JUMPI
000015b9: PUSH1 0x00
000015bb: DUP1
000015bc: REVERT
000015bd: JUMPDEST
000015be: DUP2
000015bf: MLOAD
000015c0: PUSH1 0x20
000015c2: DUP4
000015c3: ADD
000015c4: MLOAD
000015c5: PUSH1 0x40
000015c7: DUP5
000015c8: ADD
000015c9: MLOAD
000015ca: PUSH1 0x60
000015cc: DUP6
000015cd: ADD
000015ce: MLOAD
000015cf: PUSH1 0x80
000015d1: DUP7
000015d2: ADD
000015d3: DUP1
000015d4: MLOAD
000015d5: SWAP5
000015d6: SWAP7
000015d7: SWAP4
000015d8: SWAP6
000015d9: SWAP3
000015da: SWAP5
000015db: SWAP2
000015dc: SWAP4
000015dd: SWAP3
000015de: DUP4
000015df: ADD
000015e0: SWAP3
000015e1: SWAP2
000015e2: PUSH5 0x0100000000
000015e8: DUP2
000015e9: GT
000015ea: ISZERO
000015eb: PUSH2 0x15f3
000015ee: JUMPI
000015ef: PUSH1 0x00
000015f1: DUP1
000015f2: REVERT
000015f3: JUMPDEST
000015f4: DUP3
000015f5: ADD
000015f6: PUSH1 0x20
000015f8: DUP2
000015f9: ADD
000015fa: DUP5
000015fb: DUP2
000015fc: GT
000015fd: ISZERO
000015fe: PUSH2 0x1606
00001601: JUMPI
00001602: PUSH1 0x00
00001604: DUP1
00001605: REVERT
00001606: JUMPDEST
00001607: DUP2
00001608: MLOAD
00001609: PUSH5 0x0100000000
0000160f: DUP2
00001610: GT
00001611: DUP3
00001612: DUP3
00001613: ADD
00001614: DUP8
00001615: LT
00001616: OR
00001617: ISZERO
00001618: PUSH2 0x1620
0000161b: JUMPI
0000161c: PUSH1 0x00
0000161e: DUP1
0000161f: REVERT
00001620: JUMPDEST
00001621: POP
00001622: POP
00001623: SWAP3
00001624: SWAP2
00001625: SWAP1
00001626: PUSH1 0x20
00001628: ADD
00001629: DUP1
0000162a: MLOAD
0000162b: PUSH5 0x0100000000
00001631: DUP2
00001632: GT
00001633: ISZERO
00001634: PUSH2 0x163c
00001637: JUMPI
00001638: PUSH1 0x00
0000163a: DUP1
0000163b: REVERT
0000163c: JUMPDEST
0000163d: DUP3
0000163e: ADD
0000163f: PUSH1 0x20
00001641: DUP2
00001642: ADD
00001643: DUP5
00001644: DUP2
00001645: GT
00001646: ISZERO
00001647: PUSH2 0x164f
0000164a: JUMPI
0000164b: PUSH1 0x00
0000164d: DUP1
0000164e: REVERT
0000164f: JUMPDEST
00001650: DUP2
00001651: MLOAD
00001652: PUSH5 0x0100000000
00001658: DUP2
00001659: GT
0000165a: DUP3
0000165b: DUP3
0000165c: ADD
0000165d: DUP8
0000165e: LT
0000165f: OR
00001660: ISZERO
00001661: PUSH2 0x1669
00001664: JUMPI
00001665: PUSH1 0x00
00001667: DUP1
00001668: REVERT
00001669: JUMPDEST
0000166a: POP
0000166b: POP
0000166c: SWAP3
0000166d: SWAP2
0000166e: SWAP1
0000166f: POP
00001670: POP
00001671: POP
00001672: POP
00001673: POP
00001674: SWAP4
00001675: POP
00001676: POP
00001677: POP
00001678: POP
00001679: TIMESTAMP
0000167a: DUP3
0000167b: PUSH4 0xffffffff
00001680: AND
00001681: GT
00001682: DUP1
00001683: PUSH2 0x1692
00001686: JUMPI
00001687: POP
00001688: TIMESTAMP
00001689: DUP2
0000168a: PUSH4 0xffffffff
0000168f: AND
00001690: GT
00001691: ISZERO
00001692: JUMPDEST
00001693: SWAP6
00001694: POP
00001695: JUMPDEST
00001696: POP
00001697: POP
00001698: POP
00001699: POP
0000169a: POP
0000169b: SWAP1
0000169c: JUMP
0000169d: JUMPDEST
0000169e: PUSH1 0x0d
000016a0: SLOAD
000016a1: DUP2
000016a2: JUMP
000016a3: JUMPDEST
000016a4: PUSH1 0x00
000016a6: DUP1
000016a7: PUSH1 0x00
000016a9: DUP1
000016aa: PUSH1 0x00
000016ac: DUP1
000016ad: PUSH1 0x00
000016af: DUP1
000016b0: PUSH1 0x00
000016b2: DUP1
000016b3: PUSH1 0x00
000016b5: DUP1
000016b6: PUSH1 0x03
000016b8: PUSH1 0x00
000016ba: SWAP1
000016bb: SLOAD
000016bc: SWAP1
000016bd: PUSH2 0x0100
000016c0: EXP
000016c1: SWAP1
000016c2: DIV
000016c3: PUSH1 0x01
000016c5: PUSH1 0xa0
000016c7: PUSH1 0x02
000016c9: EXP
000016ca: SUB
000016cb: AND
000016cc: PUSH1 0x01
000016ce: PUSH1 0xa0
000016d0: PUSH1 0x02
000016d2: EXP
000016d3: SUB
000016d4: AND
000016d5: PUSH4 0xd6d65f3d
000016da: PUSH1 0x40
000016dc: MLOAD
000016dd: DUP2
000016de: PUSH4 0xffffffff
000016e3: AND
000016e4: PUSH1 0xe0
000016e6: PUSH1 0x02
000016e8: EXP
000016e9: MUL
000016ea: DUP2
000016eb: MSTORE
000016ec: PUSH1 0x04
000016ee: ADD
000016ef: PUSH1 0x40
000016f1: DUP1
000016f2: MLOAD
000016f3: DUP1
000016f4: DUP4
000016f5: SUB
000016f6: DUP2
000016f7: PUSH1 0x00
000016f9: DUP8
000016fa: DUP1
000016fb: EXTCODESIZE
000016fc: ISZERO
000016fd: DUP1
000016fe: ISZERO
000016ff: PUSH2 0x1707
00001702: JUMPI
00001703: PUSH1 0x00
00001705: DUP1
00001706: REVERT
00001707: JUMPDEST
00001708: POP
00001709: GAS
0000170a: CALL
0000170b: ISZERO
0000170c: DUP1
0000170d: ISZERO
0000170e: PUSH2 0x171b
00001711: JUMPI
00001712: RETURNDATASIZE
00001713: PUSH1 0x00
00001715: DUP1
00001716: RETURNDATACOPY
00001717: RETURNDATASIZE
00001718: PUSH1 0x00
0000171a: REVERT
0000171b: JUMPDEST
0000171c: POP
0000171d: POP
0000171e: POP
0000171f: POP
00001720: PUSH1 0x40
00001722: MLOAD
00001723: RETURNDATASIZE
00001724: PUSH1 0x40
00001726: DUP2
00001727: LT
00001728: ISZERO
00001729: PUSH2 0x1731
0000172c: JUMPI
0000172d: PUSH1 0x00
0000172f: DUP1
00001730: REVERT
00001731: JUMPDEST
00001732: POP
00001733: DUP1
00001734: MLOAD
00001735: PUSH1 0x20
00001737: SWAP1
00001738: SWAP2
00001739: ADD
0000173a: MLOAD
0000173b: PUSH1 0x03
0000173d: SLOAD
0000173e: PUSH1 0x40
00001740: DUP1
00001741: MLOAD
00001742: PUSH32 0x14f66d3400000000000000000000000000000000000000000000000000000000
00001763: DUP2
00001764: MSTORE
00001765: DUP2
00001766: MLOAD
00001767: SWAP5
00001768: SWAP14
00001769: POP
0000176a: SWAP3
0000176b: SWAP12
0000176c: POP
0000176d: PUSH1 0x01
0000176f: PUSH1 0xa0
00001771: PUSH1 0x02
00001773: EXP
00001774: SUB
00001775: SWAP1
00001776: SWAP2
00001777: AND
00001778: SWAP3
00001779: PUSH4 0x14f66d34
0000177e: SWAP3
0000177f: PUSH1 0x04
00001781: DUP1
00001782: DUP3
00001783: ADD
00001784: SWAP4
00001785: SWAP3
00001786: SWAP2
00001787: DUP3
00001788: SWAP1
00001789: SUB
0000178a: ADD
0000178b: DUP2
0000178c: PUSH1 0x00
0000178e: DUP8
0000178f: DUP1
00001790: EXTCODESIZE
00001791: ISZERO
00001792: DUP1
00001793: ISZERO
00001794: PUSH2 0x179c
00001797: JUMPI
00001798: PUSH1 0x00
0000179a: DUP1
0000179b: REVERT
0000179c: JUMPDEST
0000179d: POP
0000179e: GAS
0000179f: CALL
000017a0: ISZERO
000017a1: DUP1
000017a2: ISZERO
000017a3: PUSH2 0x17b0
000017a6: JUMPI
000017a7: RETURNDATASIZE
000017a8: PUSH1 0x00
000017aa: DUP1
000017ab: RETURNDATACOPY
000017ac: RETURNDATASIZE
000017ad: PUSH1 0x00
000017af: REVERT
000017b0: JUMPDEST
000017b1: POP
000017b2: POP
000017b3: POP
000017b4: POP
000017b5: PUSH1 0x40
000017b7: MLOAD
000017b8: RETURNDATASIZE
000017b9: PUSH1 0x40
000017bb: DUP2
000017bc: LT
000017bd: ISZERO
000017be: PUSH2 0x17c6
000017c1: JUMPI
000017c2: PUSH1 0x00
000017c4: DUP1
000017c5: REVERT
000017c6: JUMPDEST
000017c7: POP
000017c8: MLOAD
000017c9: PUSH1 0x03
000017cb: SLOAD
000017cc: PUSH1 0x40
000017ce: DUP1
000017cf: MLOAD
000017d0: PUSH1 0xe0
000017d2: PUSH1 0x02
000017d4: EXP
000017d5: PUSH4 0x2442e1cb
000017da: MUL
000017db: DUP2
000017dc: MSTORE
000017dd: PUSH1 0x04
000017df: DUP2
000017e0: ADD
000017e1: DUP5
000017e2: SWAP1
000017e3: MSTORE
000017e4: SWAP1
000017e5: MLOAD
000017e6: SWAP3
000017e7: SWAP10
000017e8: POP
000017e9: PUSH1 0x01
000017eb: PUSH1 0xa0
000017ed: PUSH1 0x02
000017ef: EXP
000017f0: SUB
000017f1: SWAP1
000017f2: SWAP2
000017f3: AND
000017f4: SWAP2
000017f5: PUSH4 0x2442e1cb
000017fa: SWAP2
000017fb: PUSH1 0x24
000017fd: DUP1
000017fe: DUP3
000017ff: ADD
00001800: SWAP3
00001801: PUSH1 0x00
00001803: SWAP3
00001804: SWAP1
00001805: SWAP2
00001806: SWAP1
00001807: DUP3
00001808: SWAP1
00001809: SUB
0000180a: ADD
0000180b: DUP2
0000180c: DUP4
0000180d: DUP8
0000180e: DUP1
0000180f: EXTCODESIZE
00001810: ISZERO
00001811: DUP1
00001812: ISZERO
00001813: PUSH2 0x181b
00001816: JUMPI
00001817: PUSH1 0x00
00001819: DUP1
0000181a: REVERT
0000181b: JUMPDEST
0000181c: POP
0000181d: GAS
0000181e: CALL
0000181f: ISZERO
00001820: DUP1
00001821: ISZERO
00001822: PUSH2 0x182f
00001825: JUMPI
00001826: RETURNDATASIZE
00001827: PUSH1 0x00
00001829: DUP1
0000182a: RETURNDATACOPY
0000182b: RETURNDATASIZE
0000182c: PUSH1 0x00
0000182e: REVERT
0000182f: JUMPDEST
00001830: POP
00001831: POP
00001832: POP
00001833: POP
00001834: PUSH1 0x40
00001836: MLOAD
00001837: RETURNDATASIZE
00001838: PUSH1 0x00
0000183a: DUP3
0000183b: RETURNDATACOPY
0000183c: PUSH1 0x1f
0000183e: RETURNDATASIZE
0000183f: SWAP1
00001840: DUP2
00001841: ADD
00001842: PUSH1 0x1f
00001844: NOT
00001845: AND
00001846: DUP3
00001847: ADD
00001848: PUSH1 0x40
0000184a: MSTORE
0000184b: PUSH1 0xc0
0000184d: DUP2
0000184e: LT
0000184f: ISZERO
00001850: PUSH2 0x1858
00001853: JUMPI
00001854: PUSH1 0x00
00001856: DUP1
00001857: REVERT
00001858: JUMPDEST
00001859: DUP2
0000185a: MLOAD
0000185b: PUSH1 0x20
0000185d: DUP4
0000185e: ADD
0000185f: MLOAD
00001860: PUSH1 0x40
00001862: DUP5
00001863: ADD
00001864: MLOAD
00001865: PUSH1 0x60
00001867: DUP6
00001868: ADD
00001869: MLOAD
0000186a: PUSH1 0x80
0000186c: DUP7
0000186d: ADD
0000186e: DUP1
0000186f: MLOAD
00001870: SWAP5
00001871: SWAP7
00001872: SWAP4
00001873: SWAP6
00001874: SWAP3
00001875: SWAP5
00001876: SWAP2
00001877: SWAP4
00001878: SWAP3
00001879: DUP4
0000187a: ADD
0000187b: SWAP3
0000187c: SWAP2
0000187d: PUSH5 0x0100000000
00001883: DUP2
00001884: GT
00001885: ISZERO
00001886: PUSH2 0x188e
00001889: JUMPI
0000188a: PUSH1 0x00
0000188c: DUP1
0000188d: REVERT
0000188e: JUMPDEST
0000188f: DUP3
00001890: ADD
00001891: PUSH1 0x20
00001893: DUP2
00001894: ADD
00001895: DUP5
00001896: DUP2
00001897: GT
00001898: ISZERO
00001899: PUSH2 0x18a1
0000189c: JUMPI
0000189d: PUSH1 0x00
0000189f: DUP1
000018a0: REVERT
000018a1: JUMPDEST
000018a2: DUP2
000018a3: MLOAD
000018a4: PUSH5 0x0100000000
000018aa: DUP2
000018ab: GT
000018ac: DUP3
000018ad: DUP3
000018ae: ADD
000018af: DUP8
000018b0: LT
000018b1: OR
000018b2: ISZERO
000018b3: PUSH2 0x18bb
000018b6: JUMPI
000018b7: PUSH1 0x00
000018b9: DUP1
000018ba: REVERT
000018bb: JUMPDEST
000018bc: POP
000018bd: POP
000018be: SWAP3
000018bf: SWAP2
000018c0: SWAP1
000018c1: PUSH1 0x20
000018c3: ADD
000018c4: DUP1
000018c5: MLOAD
000018c6: PUSH5 0x0100000000
000018cc: DUP2
000018cd: GT
000018ce: ISZERO
000018cf: PUSH2 0x18d7
000018d2: JUMPI
000018d3: PUSH1 0x00
000018d5: DUP1
000018d6: REVERT
000018d7: JUMPDEST
000018d8: DUP3
000018d9: ADD
000018da: PUSH1 0x20
000018dc: DUP2
000018dd: ADD
000018de: DUP5
000018df: DUP2
000018e0: GT
000018e1: ISZERO
000018e2: PUSH2 0x18ea
000018e5: JUMPI
000018e6: PUSH1 0x00
000018e8: DUP1
000018e9: REVERT
000018ea: JUMPDEST
000018eb: DUP2
000018ec: MLOAD
000018ed: PUSH5 0x0100000000
000018f3: DUP2
000018f4: GT
000018f5: DUP3
000018f6: DUP3
000018f7: ADD
000018f8: DUP8
000018f9: LT
000018fa: OR
000018fb: ISZERO
000018fc: PUSH2 0x1904
000018ff: JUMPI
00001900: PUSH1 0x00
00001902: DUP1
00001903: REVERT
00001904: JUMPDEST
00001905: POP
00001906: POP
00001907: SWAP3
00001908: SWAP2
00001909: SWAP1
0000190a: POP
0000190b: POP
0000190c: POP
0000190d: POP
0000190e: POP
0000190f: SWAP9
00001910: POP
00001911: POP
00001912: POP
00001913: POP
00001914: DUP8
00001915: ISZERO
00001916: DUP1
00001917: PUSH2 0x1925
0000191a: JUMPI
0000191b: POP
0000191c: PUSH2 0x1923
0000191f: PUSH2 0x12ac
00001922: JUMP
00001923: JUMPDEST
00001924: ISZERO
00001925: JUMPDEST
00001926: ISZERO
00001927: PUSH2 0x192f
0000192a: JUMPI
0000192b: PUSH2 0x1c4b
0000192e: JUMP
0000192f: JUMPDEST
00001930: DUP9
00001931: ISZERO
00001932: DUP1
00001933: PUSH2 0x1942
00001936: JUMPI
00001937: POP
00001938: DUP6
00001939: PUSH4 0xffffffff
0000193e: AND
0000193f: TIMESTAMP
00001940: LT
00001941: ISZERO
00001942: JUMPDEST
00001943: PUSH2 0x194f
00001946: JUMPI
00001947: PUSH1 0x01
00001949: DUP10
0000194a: SUB
0000194b: PUSH2 0x1951
0000194e: JUMP
0000194f: JUMPDEST
00001950: DUP9
00001951: JUMPDEST
00001952: PUSH1 0x03
00001954: SLOAD
00001955: PUSH1 0x40
00001957: DUP1
00001958: MLOAD
00001959: PUSH1 0xe0
0000195b: PUSH1 0x02
0000195d: EXP
0000195e: PUSH4 0x2442e1cb
00001963: MUL
00001964: DUP2
00001965: MSTORE
00001966: PUSH1 0x04
00001968: DUP2
00001969: ADD
0000196a: DUP5
0000196b: SWAP1
0000196c: MSTORE
0000196d: SWAP1
0000196e: MLOAD
0000196f: SWAP3
00001970: SWAP12
00001971: POP
00001972: PUSH1 0x01
00001974: PUSH1 0xa0
00001976: PUSH1 0x02
00001978: EXP
00001979: SUB
0000197a: SWAP1
0000197b: SWAP2
0000197c: AND
0000197d: SWAP2
0000197e: PUSH4 0x2442e1cb
00001983: SWAP2
00001984: PUSH1 0x24
00001986: DUP1
00001987: DUP3
00001988: ADD
00001989: SWAP3
0000198a: PUSH1 0x00
0000198c: SWAP3
0000198d: SWAP1
0000198e: SWAP2
0000198f: SWAP1
00001990: DUP3
00001991: SWAP1
00001992: SUB
00001993: ADD
00001994: DUP2
00001995: DUP4
00001996: DUP8
00001997: DUP1
00001998: EXTCODESIZE
00001999: ISZERO
0000199a: DUP1
0000199b: ISZERO
0000199c: PUSH2 0x19a4
0000199f: JUMPI
000019a0: PUSH1 0x00
000019a2: DUP1
000019a3: REVERT
000019a4: JUMPDEST
000019a5: POP
000019a6: GAS
000019a7: CALL
000019a8: ISZERO
000019a9: DUP1
000019aa: ISZERO
000019ab: PUSH2 0x19b8
000019ae: JUMPI
000019af: RETURNDATASIZE
000019b0: PUSH1 0x00
000019b2: DUP1
000019b3: RETURNDATACOPY
000019b4: RETURNDATASIZE
000019b5: PUSH1 0x00
000019b7: REVERT
000019b8: JUMPDEST
000019b9: POP
000019ba: POP
000019bb: POP
000019bc: POP
000019bd: PUSH1 0x40
000019bf: MLOAD
000019c0: RETURNDATASIZE
000019c1: PUSH1 0x00
000019c3: DUP3
000019c4: RETURNDATACOPY
000019c5: PUSH1 0x1f
000019c7: RETURNDATASIZE
000019c8: SWAP1
000019c9: DUP2
000019ca: ADD
000019cb: PUSH1 0x1f
000019cd: NOT
000019ce: AND
000019cf: DUP3
000019d0: ADD
000019d1: PUSH1 0x40
000019d3: MSTORE
000019d4: PUSH1 0xc0
000019d6: DUP2
000019d7: LT
000019d8: ISZERO
000019d9: PUSH2 0x19e1
000019dc: JUMPI
000019dd: PUSH1 0x00
000019df: DUP1
000019e0: REVERT
000019e1: JUMPDEST
000019e2: DUP2
000019e3: MLOAD
000019e4: PUSH1 0x20
000019e6: DUP4
000019e7: ADD
000019e8: MLOAD
000019e9: PUSH1 0x40
000019eb: DUP5
000019ec: ADD
000019ed: MLOAD
000019ee: PUSH1 0x60
000019f0: DUP6
000019f1: ADD
000019f2: MLOAD
000019f3: PUSH1 0x80
000019f5: DUP7
000019f6: ADD
000019f7: DUP1
000019f8: MLOAD
000019f9: SWAP5
000019fa: SWAP7
000019fb: SWAP4
000019fc: SWAP6
000019fd: SWAP3
000019fe: SWAP5
000019ff: SWAP2
00001a00: SWAP4
00001a01: SWAP3
00001a02: DUP4
00001a03: ADD
00001a04: SWAP3
00001a05: SWAP2
00001a06: PUSH5 0x0100000000
00001a0c: DUP2
00001a0d: GT
00001a0e: ISZERO
00001a0f: PUSH2 0x1a17
00001a12: JUMPI
00001a13: PUSH1 0x00
00001a15: DUP1
00001a16: REVERT
00001a17: JUMPDEST
00001a18: DUP3
00001a19: ADD
00001a1a: PUSH1 0x20
00001a1c: DUP2
00001a1d: ADD
00001a1e: DUP5
00001a1f: DUP2
00001a20: GT
00001a21: ISZERO
00001a22: PUSH2 0x1a2a
00001a25: JUMPI
00001a26: PUSH1 0x00
00001a28: DUP1
00001a29: REVERT
00001a2a: JUMPDEST
00001a2b: DUP2
00001a2c: MLOAD
00001a2d: PUSH5 0x0100000000
00001a33: DUP2
00001a34: GT
00001a35: DUP3
00001a36: DUP3
00001a37: ADD
00001a38: DUP8
00001a39: LT
00001a3a: OR
00001a3b: ISZERO
00001a3c: PUSH2 0x1a44
00001a3f: JUMPI
00001a40: PUSH1 0x00
00001a42: DUP1
00001a43: REVERT
00001a44: JUMPDEST
00001a45: POP
00001a46: POP
00001a47: SWAP3
00001a48: SWAP2
00001a49: SWAP1
00001a4a: PUSH1 0x20
00001a4c: ADD
00001a4d: DUP1
00001a4e: MLOAD
00001a4f: PUSH5 0x0100000000
00001a55: DUP2
00001a56: GT
00001a57: ISZERO
00001a58: PUSH2 0x1a60
00001a5b: JUMPI
00001a5c: PUSH1 0x00
00001a5e: DUP1
00001a5f: REVERT
00001a60: JUMPDEST
00001a61: DUP3
00001a62: ADD
00001a63: PUSH1 0x20
00001a65: DUP2
00001a66: ADD
00001a67: DUP5
00001a68: DUP2
00001a69: GT
00001a6a: ISZERO
00001a6b: PUSH2 0x1a73
00001a6e: JUMPI
00001a6f: PUSH1 0x00
00001a71: DUP1
00001a72: REVERT
00001a73: JUMPDEST
00001a74: DUP2
00001a75: MLOAD
00001a76: PUSH5 0x0100000000
00001a7c: DUP2
00001a7d: GT
00001a7e: DUP3
00001a7f: DUP3
00001a80: ADD
00001a81: DUP8
00001a82: LT
00001a83: OR
00001a84: ISZERO
00001a85: PUSH2 0x1a8d
00001a88: JUMPI
00001a89: PUSH1 0x00
00001a8b: DUP1
00001a8c: REVERT
00001a8d: JUMPDEST
00001a8e: POP
00001a8f: POP
00001a90: SWAP3
00001a91: SWAP2
00001a92: SWAP1
00001a93: POP
00001a94: POP
00001a95: POP
00001a96: POP
00001a97: POP
00001a98: SWAP7
00001a99: POP
00001a9a: POP
00001a9b: SWAP6
00001a9c: POP
00001a9d: POP
00001a9e: PUSH1 0x09
00001aa0: PUSH1 0x00
00001aa2: DUP11
00001aa3: DUP2
00001aa4: MSTORE
00001aa5: PUSH1 0x20
00001aa7: ADD
00001aa8: SWAP1
00001aa9: DUP2
00001aaa: MSTORE
00001aab: PUSH1 0x20
00001aad: ADD
00001aae: PUSH1 0x00
00001ab0: KECCAK256
00001ab1: PUSH1 0x00
00001ab3: SWAP1
00001ab4: SLOAD
00001ab5: SWAP1
00001ab6: PUSH2 0x0100
00001ab9: EXP
00001aba: SWAP1
00001abb: DIV
00001abc: PUSH1 0xff
00001abe: AND
00001abf: SWAP3
00001ac0: POP
00001ac1: DUP3
00001ac2: ISZERO
00001ac3: PUSH2 0x1acb
00001ac6: JUMPI
00001ac7: PUSH2 0x1c4b
00001aca: JUMP
00001acb: JUMPDEST
00001acc: DUP9
00001acd: SWAP2
00001ace: POP
00001acf: JUMPDEST
00001ad0: PUSH1 0x00
00001ad2: DUP3
00001ad3: GT
00001ad4: ISZERO
00001ad5: PUSH2 0x1c41
00001ad8: JUMPI
00001ad9: PUSH1 0x03
00001adb: SLOAD
00001adc: PUSH1 0x40
00001ade: DUP1
00001adf: MLOAD
00001ae0: PUSH1 0xe0
00001ae2: PUSH1 0x02
00001ae4: EXP
00001ae5: PUSH4 0x2442e1cb
00001aea: MUL
00001aeb: DUP2
00001aec: MSTORE
00001aed: PUSH1 0x00
00001aef: NOT
00001af0: SWAP1
00001af1: SWAP5
00001af2: ADD
00001af3: PUSH1 0x04
00001af5: DUP6
00001af6: ADD
00001af7: DUP2
00001af8: SWAP1
00001af9: MSTORE
00001afa: SWAP1
00001afb: MLOAD
00001afc: SWAP1
00001afd: SWAP4
00001afe: PUSH1 0x01
00001b00: PUSH1 0xa0
00001b02: PUSH1 0x02
00001b04: EXP
00001b05: SUB
00001b06: SWAP1
00001b07: SWAP3
00001b08: AND
00001b09: SWAP2
00001b0a: PUSH4 0x2442e1cb
00001b0f: SWAP2
00001b10: PUSH1 0x24
00001b12: DUP1
00001b13: DUP4
00001b14: ADD
00001b15: SWAP3
00001b16: PUSH1 0x00
00001b18: SWAP3
00001b19: SWAP2
00001b1a: SWAP1
00001b1b: DUP3
00001b1c: SWAP1
00001b1d: SUB
00001b1e: ADD
00001b1f: DUP2
00001b20: DUP4
00001b21: DUP8
00001b22: DUP1
00001b23: EXTCODESIZE
00001b24: ISZERO
00001b25: DUP1
00001b26: ISZERO
00001b27: PUSH2 0x1b2f
00001b2a: JUMPI
00001b2b: PUSH1 0x00
00001b2d: DUP1
00001b2e: REVERT
00001b2f: JUMPDEST
00001b30: POP
00001b31: GAS
00001b32: CALL
00001b33: ISZERO
00001b34: DUP1
00001b35: ISZERO
00001b36: PUSH2 0x1b43
00001b39: JUMPI
00001b3a: RETURNDATASIZE
00001b3b: PUSH1 0x00
00001b3d: DUP1
00001b3e: RETURNDATACOPY
00001b3f: RETURNDATASIZE
00001b40: PUSH1 0x00
00001b42: REVERT
00001b43: JUMPDEST
00001b44: POP
00001b45: POP
00001b46: POP
00001b47: POP
00001b48: PUSH1 0x40
00001b4a: MLOAD
00001b4b: RETURNDATASIZE
00001b4c: PUSH1 0x00
00001b4e: DUP3
00001b4f: RETURNDATACOPY
00001b50: PUSH1 0x1f
00001b52: RETURNDATASIZE
00001b53: SWAP1
00001b54: DUP2
00001b55: ADD
00001b56: PUSH1 0x1f
00001b58: NOT
00001b59: AND
00001b5a: DUP3
00001b5b: ADD
00001b5c: PUSH1 0x40
00001b5e: MSTORE
00001b5f: PUSH1 0xc0
00001b61: DUP2
00001b62: LT
00001b63: ISZERO
00001b64: PUSH2 0x1b6c
00001b67: JUMPI
00001b68: PUSH1 0x00
00001b6a: DUP1
00001b6b: REVERT
00001b6c: JUMPDEST
00001b6d: DUP2
00001b6e: MLOAD
00001b6f: PUSH1 0x20
00001b71: DUP4
00001b72: ADD
00001b73: MLOAD
00001b74: PUSH1 0x40
00001b76: DUP5
00001b77: ADD
00001b78: MLOAD
00001b79: PUSH1 0x60
00001b7b: DUP6
00001b7c: ADD
00001b7d: MLOAD
00001b7e: PUSH1 0x80
00001b80: DUP7
00001b81: ADD
00001b82: DUP1
00001b83: MLOAD
00001b84: SWAP5
00001b85: SWAP7
00001b86: SWAP4
00001b87: SWAP6
00001b88: SWAP3
00001b89: SWAP5
00001b8a: SWAP2
00001b8b: SWAP4
00001b8c: SWAP3
00001b8d: DUP4
00001b8e: ADD
00001b8f: SWAP3
00001b90: SWAP2
00001b91: PUSH5 0x0100000000
00001b97: DUP2
00001b98: GT
00001b99: ISZERO
00001b9a: PUSH2 0x1ba2
00001b9d: JUMPI
00001b9e: PUSH1 0x00
00001ba0: DUP1
00001ba1: REVERT
00001ba2: JUMPDEST
00001ba3: DUP3
00001ba4: ADD
00001ba5: PUSH1 0x20
00001ba7: DUP2
00001ba8: ADD
00001ba9: DUP5
00001baa: DUP2
00001bab: GT
00001bac: ISZERO
00001bad: PUSH2 0x1bb5
00001bb0: JUMPI
00001bb1: PUSH1 0x00
00001bb3: DUP1
00001bb4: REVERT
00001bb5: JUMPDEST
00001bb6: DUP2
00001bb7: MLOAD
00001bb8: PUSH5 0x0100000000
00001bbe: DUP2
00001bbf: GT
00001bc0: DUP3
00001bc1: DUP3
00001bc2: ADD
00001bc3: DUP8
00001bc4: LT
00001bc5: OR
00001bc6: ISZERO
00001bc7: PUSH2 0x1bcf
00001bca: JUMPI
00001bcb: PUSH1 0x00
00001bcd: DUP1
00001bce: REVERT
00001bcf: JUMPDEST
00001bd0: POP
00001bd1: POP
00001bd2: SWAP3
00001bd3: SWAP2
00001bd4: SWAP1
00001bd5: PUSH1 0x20
00001bd7: ADD
00001bd8: DUP1
00001bd9: MLOAD
00001bda: PUSH5 0x0100000000
00001be0: DUP2
00001be1: GT
00001be2: ISZERO
00001be3: PUSH2 0x1beb
00001be6: JUMPI
00001be7: PUSH1 0x00
00001be9: DUP1
00001bea: REVERT
00001beb: JUMPDEST
00001bec: DUP3
00001bed: ADD
00001bee: PUSH1 0x20
00001bf0: DUP2
00001bf1: ADD
00001bf2: DUP5
00001bf3: DUP2
00001bf4: GT
00001bf5: ISZERO
00001bf6: PUSH2 0x1bfe
00001bf9: JUMPI
00001bfa: PUSH1 0x00
00001bfc: DUP1
00001bfd: REVERT
00001bfe: JUMPDEST
00001bff: DUP2
00001c00: MLOAD
00001c01: PUSH5 0x0100000000
00001c07: DUP2
00001c08: GT
00001c09: DUP3
00001c0a: DUP3
00001c0b: ADD
00001c0c: DUP8
00001c0d: LT
00001c0e: OR
00001c0f: ISZERO
00001c10: PUSH2 0x1c18
00001c13: JUMPI
00001c14: PUSH1 0x00
00001c16: DUP1
00001c17: REVERT
00001c18: JUMPDEST
00001c19: POP
00001c1a: POP
00001c1b: SWAP3
00001c1c: SWAP2
00001c1d: SWAP1
00001c1e: POP
00001c1f: POP
00001c20: POP
00001c21: POP
00001c22: POP
00001c23: POP
00001c24: POP
00001c25: SWAP2
00001c26: POP
00001c27: POP
00001c28: PUSH2 0x1c3a
00001c2b: DUP2
00001c2c: DUP13
00001c2d: PUSH2 0x1ce3
00001c30: SWAP1
00001c31: SWAP2
00001c32: SWAP1
00001c33: PUSH4 0xffffffff
00001c38: AND
00001c39: JUMP
00001c3a: JUMPDEST
00001c3b: SWAP11
00001c3c: POP
00001c3d: PUSH2 0x1acf
00001c40: JUMP
00001c41: JUMPDEST
00001c42: DUP5
00001c43: DUP12
00001c44: DUP11
00001c45: SWAP12
00001c46: POP
00001c47: SWAP12
00001c48: POP
00001c49: SWAP12
00001c4a: POP
00001c4b: JUMPDEST
00001c4c: POP
00001c4d: POP
00001c4e: POP
00001c4f: POP
00001c50: POP
00001c51: POP
00001c52: POP
00001c53: POP
00001c54: POP
00001c55: SWAP1
00001c56: SWAP2
00001c57: SWAP3
00001c58: JUMP
00001c59: JUMPDEST
00001c5a: PUSH1 0x01
00001c5c: SLOAD
00001c5d: PUSH1 0x01
00001c5f: PUSH1 0xa0
00001c61: PUSH1 0x02
00001c63: EXP
00001c64: SUB
00001c65: AND
00001c66: CALLER
00001c67: EQ
00001c68: PUSH2 0x1c70
00001c6b: JUMPI
00001c6c: PUSH1 0x00
00001c6e: DUP1
00001c6f: REVERT
00001c70: JUMPDEST
00001c71: PUSH1 0x01
00001c73: PUSH1 0xa0
00001c75: PUSH1 0x02
00001c77: EXP
00001c78: SUB
00001c79: DUP2
00001c7a: AND
00001c7b: ISZERO
00001c7c: ISZERO
00001c7d: PUSH2 0x1c85
00001c80: JUMPI
00001c81: PUSH1 0x00
00001c83: DUP1
00001c84: REVERT
00001c85: JUMPDEST
00001c86: PUSH1 0x04
00001c88: DUP1
00001c89: SLOAD
00001c8a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c9f: NOT
00001ca0: AND
00001ca1: PUSH1 0x01
00001ca3: PUSH1 0xa0
00001ca5: PUSH1 0x02
00001ca7: EXP
00001ca8: SUB
00001ca9: SWAP3
00001caa: SWAP1
00001cab: SWAP3
00001cac: AND
00001cad: SWAP2
00001cae: SWAP1
00001caf: SWAP2
00001cb0: OR
00001cb1: SWAP1
00001cb2: SSTORE
00001cb3: JUMP
00001cb4: JUMPDEST
00001cb5: PUSH1 0x0a
00001cb7: SLOAD
00001cb8: DUP2
00001cb9: JUMP
00001cba: JUMPDEST
00001cbb: PUSH1 0x0b
00001cbd: SLOAD
00001cbe: DUP2
00001cbf: JUMP
00001cc0: JUMPDEST
00001cc1: PUSH1 0x01
00001cc3: SLOAD
00001cc4: PUSH1 0x01
00001cc6: PUSH1 0xa0
00001cc8: PUSH1 0x02
00001cca: EXP
00001ccb: SUB
00001ccc: AND
00001ccd: CALLER
00001cce: EQ
00001ccf: PUSH2 0x1cd7
00001cd2: JUMPI
00001cd3: PUSH1 0x00
00001cd5: DUP1
00001cd6: REVERT
00001cd7: JUMPDEST
00001cd8: PUSH2 0x1ce0
00001cdb: DUP2
00001cdc: PUSH2 0x1d7e
00001cdf: JUMP
00001ce0: JUMPDEST
00001ce1: POP
00001ce2: JUMP
00001ce3: JUMPDEST
00001ce4: DUP2
00001ce5: DUP2
00001ce6: ADD
00001ce7: DUP3
00001ce8: DUP2
00001ce9: LT
00001cea: ISZERO
00001ceb: PUSH2 0x1cf0
00001cee: JUMPI
00001cef: INVALID
00001cf0: JUMPDEST
00001cf1: SWAP3
00001cf2: SWAP2
00001cf3: POP
00001cf4: POP
00001cf5: JUMP
00001cf6: JUMPDEST
00001cf7: PUSH1 0x00
00001cf9: DUP3
00001cfa: ISZERO
00001cfb: ISZERO
00001cfc: PUSH2 0x1d07
00001cff: JUMPI
00001d00: POP
00001d01: PUSH1 0x00
00001d03: PUSH2 0x1cf0
00001d06: JUMP
00001d07: JUMPDEST
00001d08: POP
00001d09: DUP2
00001d0a: DUP2
00001d0b: MUL
00001d0c: DUP2
00001d0d: DUP4
00001d0e: DUP3
00001d0f: DUP2
00001d10: ISZERO
00001d11: ISZERO
00001d12: PUSH2 0x1d17
00001d15: JUMPI
00001d16: INVALID
00001d17: JUMPDEST
00001d18: DIV
00001d19: EQ
00001d1a: PUSH2 0x1cf0
00001d1d: JUMPI
00001d1e: INVALID
00001d1f: JUMPDEST
00001d20: PUSH1 0x00
00001d22: DUP2
00001d23: DUP4
00001d24: DUP2
00001d25: ISZERO
00001d26: ISZERO
00001d27: PUSH2 0x1d2c
00001d2a: JUMPI
00001d2b: INVALID
00001d2c: JUMPDEST
00001d2d: DIV
00001d2e: SWAP4
00001d2f: SWAP3
00001d30: POP
00001d31: POP
00001d32: POP
00001d33: JUMP
00001d34: JUMPDEST
00001d35: PUSH1 0x00
00001d37: DUP3
00001d38: DUP3
00001d39: GT
00001d3a: ISZERO
00001d3b: PUSH2 0x1d40
00001d3e: JUMPI
00001d3f: INVALID
00001d40: JUMPDEST
00001d41: POP
00001d42: SWAP1
00001d43: SUB
00001d44: SWAP1
00001d45: JUMP
00001d46: JUMPDEST
00001d47: PUSH1 0x00
00001d49: PUSH2 0x1d51
00001d4c: DUP3
00001d4d: PUSH2 0x1dfc
00001d50: JUMP
00001d51: JUMPDEST
00001d52: ISZERO
00001d53: ISZERO
00001d54: PUSH2 0x1d5c
00001d57: JUMPI
00001d58: PUSH1 0x00
00001d5a: DUP1
00001d5b: REVERT
00001d5c: JUMPDEST
00001d5d: PUSH2 0x1d77
00001d60: PUSH2 0x1d67
00001d63: PUSH2 0x1e21
00001d66: JUMP
00001d67: JUMPDEST
00001d68: PUSH2 0x0604
00001d6b: DUP6
00001d6c: DUP6
00001d6d: PUSH4 0xffffffff
00001d72: PUSH2 0x1cf6
00001d75: AND
00001d76: JUMP
00001d77: JUMPDEST
00001d78: SWAP4
00001d79: SWAP3
00001d7a: POP
00001d7b: POP
00001d7c: POP
00001d7d: JUMP
00001d7e: JUMPDEST
00001d7f: PUSH1 0x01
00001d81: PUSH1 0xa0
00001d83: PUSH1 0x02
00001d85: EXP
00001d86: SUB
00001d87: DUP2
00001d88: AND
00001d89: ISZERO
00001d8a: ISZERO
00001d8b: PUSH2 0x1d93
00001d8e: JUMPI
00001d8f: PUSH1 0x00
00001d91: DUP1
00001d92: REVERT
00001d93: JUMPDEST
00001d94: PUSH1 0x01
00001d96: SLOAD
00001d97: PUSH1 0x40
00001d99: MLOAD
00001d9a: PUSH1 0x01
00001d9c: PUSH1 0xa0
00001d9e: PUSH1 0x02
00001da0: EXP
00001da1: SUB
00001da2: DUP1
00001da3: DUP5
00001da4: AND
00001da5: SWAP3
00001da6: AND
00001da7: SWAP1
00001da8: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00001dc9: SWAP1
00001dca: PUSH1 0x00
00001dcc: SWAP1
00001dcd: LOG3
00001dce: PUSH1 0x01
00001dd0: DUP1
00001dd1: SLOAD
00001dd2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001de7: NOT
00001de8: AND
00001de9: PUSH1 0x01
00001deb: PUSH1 0xa0
00001ded: PUSH1 0x02
00001def: EXP
00001df0: SUB
00001df1: SWAP3
00001df2: SWAP1
00001df3: SWAP3
00001df4: AND
00001df5: SWAP2
00001df6: SWAP1
00001df7: SWAP2
00001df8: OR
00001df9: SWAP1
00001dfa: SSTORE
00001dfb: JUMP
00001dfc: JUMPDEST
00001dfd: PUSH1 0x00
00001dff: PUSH2 0x1e06
00001e02: PUSH2 0x1e33
00001e05: JUMP
00001e06: JUMPDEST
00001e07: DUP3
00001e08: LT
00001e09: ISZERO
00001e0a: DUP1
00001e0b: ISZERO
00001e0c: PUSH2 0x1cf0
00001e0f: JUMPI
00001e10: POP
00001e11: PUSH2 0x1e18
00001e14: PUSH2 0x1e21
00001e17: JUMP
00001e18: JUMPDEST
00001e19: DUP3
00001e1a: GT
00001e1b: ISZERO
00001e1c: SWAP3
00001e1d: SWAP2
00001e1e: POP
00001e1f: POP
00001e20: JUMP
00001e21: JUMPDEST
00001e22: PUSH1 0x00
00001e24: PUSH2 0x1e2b
00001e27: PUSH2 0x1e38
00001e2a: JUMP
00001e2b: JUMPDEST
00001e2c: PUSH1 0x0a
00001e2e: EXP
00001e2f: SWAP1
00001e30: POP
00001e31: SWAP1
00001e32: JUMP
00001e33: JUMPDEST
00001e34: PUSH1 0x00
00001e36: SWAP1
00001e37: JUMP
00001e38: JUMPDEST
00001e39: PUSH1 0x00
00001e3b: PUSH2 0x1e42
00001e3e: PUSH2 0x1e4a
00001e41: JUMP
00001e42: JUMPDEST
00001e43: PUSH1 0x02
00001e45: ADD
00001e46: SWAP1
00001e47: POP
00001e48: SWAP1
00001e49: JUMP
00001e4a: JUMPDEST
00001e4b: PUSH1 0x02
00001e4d: SWAP1
00001e4e: JUMP
00001e4f: JUMPDEST
00001e50: PUSH1 0x00
00001e52: PUSH2 0x1e5a
00001e55: DUP3
00001e56: PUSH2 0x1dfc
00001e59: JUMP
00001e5a: JUMPDEST
00001e5b: ISZERO
00001e5c: ISZERO
00001e5d: PUSH2 0x1e65
00001e60: JUMPI
00001e61: PUSH1 0x00
00001e63: DUP1
00001e64: REVERT
00001e65: JUMPDEST
00001e66: PUSH2 0x1cf0
00001e69: PUSH2 0x1e70
00001e6c: PUSH2 0x1e4a
00001e6f: JUMP
00001e70: JUMPDEST
00001e71: DUP4
00001e72: SWAP1
00001e73: PUSH1 0x0a
00001e75: EXP
00001e76: PUSH4 0xffffffff
00001e7b: PUSH2 0x1d1f
00001e7e: AND
00001e7f: JUMP
00001e80: STOP
00001e81: LOG1
00001e82: PUSH6 0x627a7a723058
00001e89: KECCAK256
00001e8a: BASEFEE
00001e8b: GASPRICE
00001e8c: SWAP16
00001e8d: CREATE2
00001e8e: UNKNOWN(0xCC)
00001e8f: PUSH12 0x2fa096328a2915c422f7f914
00001e9c: ORIGIN
00001e9d: TSTORE
00001e9e: UNKNOWN(0x4D)
00001e9f: UNKNOWN(0xA6)
00001ea0: EXP
00001ea1: SLT
00001ea2: UNKNOWN(0xB9)
00001ea3: GASLIMIT
00001ea4: CALL
00001ea5: JUMPDEST
00001ea6: UNKNOWN(0xB6)
00001ea7: UNKNOWN(0xF7)
00001ea8: UNKNOWN(0xC5)
00001ea9: UNKNOWN(0xB7)
00001eaa: STOP
00001eab: UNKNOWN(0x29)

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": "0x04cd5294",
            "selector": "0x04cd5294",
            "calldata_variants": [
                "0x04cd5294",
                "0x04cd52940000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x0babd864",
            "selector": "0x0babd864",
            "calldata_variants": [
                "0x0babd864",
                "0x0babd8640000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x11fa7da2",
            "selector": "0x11fa7da2",
            "calldata_variants": [
                "0x11fa7da2",
                "0x11fa7da20000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x19ae48ed",
            "selector": "0x19ae48ed",
            "calldata_variants": [
                "0x19ae48ed",
                "0x19ae48ed0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x23585f96",
            "selector": "0x23585f96",
            "calldata_variants": [
                "0x23585f96",
                "0x23585f960000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x23bffccc",
            "selector": "0x23bffccc",
            "calldata_variants": [
                "0x23bffccc",
                "0x23bffccc0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x278ecde1",
            "selector": "0x278ecde1",
            "calldata_variants": [
                "0x278ecde1",
                "0x278ecde10000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3b97e856",
            "selector": "0x3b97e856",
            "calldata_variants": [
                "0x3b97e856",
                "0x3b97e8560000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "guards_detected": [
        {
            "pc": 7836,
            "type": "tx_origin_used"
        }
    ]
}
medium other detector Untrusted CALL target/value reachable 45 no no
view
trace_id: 0xcc31fdebfaa288516c07a4f663f3e3db3f5f379a9fc2cc8f8036a2eac9f6e846
call_targets: 0x01f7dd13bebbddd45b0e1387bae3444196820437
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xcc31fdebfaa288516c07a4f663f3e3db3f5f379a9fc2cc8f8036a2eac9f6e846",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x01f7dd13bebbddd45b0e1387bae3444196820437"
    ],
    "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": "0x04cd5294",
            "selector": "0x04cd5294",
            "calldata_variants": [
                "0x04cd5294",
                "0x04cd52940000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x0babd864",
            "selector": "0x0babd864",
            "calldata_variants": [
                "0x0babd864",
                "0x0babd8640000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x11fa7da2",
            "selector": "0x11fa7da2",
            "calldata_variants": [
                "0x11fa7da2",
                "0x11fa7da20000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x19ae48ed",
            "selector": "0x19ae48ed",
            "calldata_variants": [
                "0x19ae48ed",
                "0x19ae48ed0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x23585f96",
            "selector": "0x23585f96",
            "calldata_variants": [
                "0x23585f96",
                "0x23585f960000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x23bffccc",
            "selector": "0x23bffccc",
            "calldata_variants": [
                "0x23bffccc",
                "0x23bffccc0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x278ecde1",
            "selector": "0x278ecde1",
            "calldata_variants": [
                "0x278ecde1",
                "0x278ecde10000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3b97e856",
            "selector": "0x3b97e856",
            "calldata_variants": [
                "0x3b97e856",
                "0x3b97e8560000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 1400,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2057,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2219,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 21,
    "guards_detected": [
        {
            "pc": 7836,
            "type": "tx_origin_used"
        }
    ],
    "untrusted_call_count": 21
}
medium other detector ETH value transfer possible 40 no no
view
trace_id: 0xcc31fdebfaa288516c07a4f663f3e3db3f5f379a9fc2cc8f8036a2eac9f6e846
call_targets: 0x01f7dd13bebbddd45b0e1387bae3444196820437
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xcc31fdebfaa288516c07a4f663f3e3db3f5f379a9fc2cc8f8036a2eac9f6e846",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x01f7dd13bebbddd45b0e1387bae3444196820437"
    ],
    "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": "0x04cd5294",
            "selector": "0x04cd5294",
            "calldata_variants": [
                "0x04cd5294",
                "0x04cd52940000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x0babd864",
            "selector": "0x0babd864",
            "calldata_variants": [
                "0x0babd864",
                "0x0babd8640000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x11fa7da2",
            "selector": "0x11fa7da2",
            "calldata_variants": [
                "0x11fa7da2",
                "0x11fa7da20000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x19ae48ed",
            "selector": "0x19ae48ed",
            "calldata_variants": [
                "0x19ae48ed",
                "0x19ae48ed0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x23585f96",
            "selector": "0x23585f96",
            "calldata_variants": [
                "0x23585f96",
                "0x23585f960000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x23bffccc",
            "selector": "0x23bffccc",
            "calldata_variants": [
                "0x23bffccc",
                "0x23bffccc0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x278ecde1",
            "selector": "0x278ecde1",
            "calldata_variants": [
                "0x278ecde1",
                "0x278ecde10000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3b97e856",
            "selector": "0x3b97e856",
            "calldata_variants": [
                "0x3b97e856",
                "0x3b97e8560000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 1400,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2057,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2219,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 21,
    "guards_detected": [
        {
            "pc": 7836,
            "type": "tx_origin_used"
        }
    ]
}
medium other detector CREATE/CREATE2 reachable 45 no no
view
trace_id: 0x49e1447ed8ca10413ee553bc7747ef23d760a2f409f76ba1ee04768442cbeb5d
validation_json 
{
    "sink": "CREATE",
    "errors": 0,
    "status": "unknown",
    "attempts": 32,
    "trace_id": "0x49e1447ed8ca10413ee553bc7747ef23d760a2f409f76ba1ee04768442cbeb5d",
    "confirmed": false,
    "trace_mode": "structLogs",
    "call_targets": null,
    "matched_probe": null,
    "target_varies": null,
    "classification": "no_sink"
}
witness_json 
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0x04cd5294",
            "selector": "0x04cd5294",
            "calldata_variants": [
                "0x04cd5294",
                "0x04cd52940000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x0babd864",
            "selector": "0x0babd864",
            "calldata_variants": [
                "0x0babd864",
                "0x0babd8640000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x11fa7da2",
            "selector": "0x11fa7da2",
            "calldata_variants": [
                "0x11fa7da2",
                "0x11fa7da20000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x19ae48ed",
            "selector": "0x19ae48ed",
            "calldata_variants": [
                "0x19ae48ed",
                "0x19ae48ed0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x23585f96",
            "selector": "0x23585f96",
            "calldata_variants": [
                "0x23585f96",
                "0x23585f960000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x23bffccc",
            "selector": "0x23bffccc",
            "calldata_variants": [
                "0x23bffccc",
                "0x23bffccc0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x278ecde1",
            "selector": "0x278ecde1",
            "calldata_variants": [
                "0x278ecde1",
                "0x278ecde10000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3b97e856",
            "selector": "0x3b97e856",
            "calldata_variants": [
                "0x3b97e856",
                "0x3b97e8560000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "create_count": 0,
    "create2_count": 1
}