Analysis Run

019b477e-c401-710c-bea8-8248c510ec8b
complete
Chain ID
1
Address
0xdc0625599a7a15273c591bb7bfe39b280439d86c
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
Verified
Review Backing
Not yet
Best current signal
Untrusted CALL target/value reachable
crit 0 high 0 direct contract
Review Checklist
1. Read the findings table first. Ignore raw jobs until the result looks real.
2. Confirm attacker control, not just the existence of a sink.
3. Confirm money or privilege impact.
4. Keep it if the behavior is real. Kill it if this is normal proxy, admin, or upgrade plumbing.
Processing Jobs

Status & attempts
ID	Type	Status	Attempts	Heartbeat
25323	artifact.fetch	complete	1 / 3	3 months ago
25324	tool.cast_disasm	complete	1 / 3	3 months ago
90653	analysis.bundle	complete	1 / 3	1 week ago
90654	capability.graph	complete	1 / 3	1 week ago
90655	detector.run	complete	1 / 3	1 week ago
90656	validation.fork	complete	1 / 3	1 week ago
Artifact

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

tool.slither
No slither job recorded yet.
Codex

report.consolidate
No codex job recorded yet.
Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
11
EXT*/BALANCE
10
Total opcodes
4480
Flags
heavy_ext_balance_usage
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x0118
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x8da5cb5b
00000019: GT
0000001a: PUSH2 0x00a0
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xdb2e1eed
00000024: GT
00000025: PUSH2 0x0064
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xdb2e1eed
0000002f: EQ
00000030: PUSH2 0x034a
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xe76d8952
0000003a: EQ
0000003b: PUSH2 0x0375
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xed9152c8
00000045: EQ
00000046: PUSH2 0x039e
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xf2fde38b
00000050: EQ
00000051: PUSH2 0x03c9
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xf6be71d1
0000005b: EQ
0000005c: PUSH2 0x03f2
0000005f: JUMPI
00000060: PUSH2 0x011f
00000063: JUMP
00000064: JUMPDEST
00000065: DUP1
00000066: PUSH4 0x8da5cb5b
0000006b: EQ
0000006c: PUSH2 0x028b
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0x961b417c
00000076: EQ
00000077: PUSH2 0x02b6
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0x98afd583
00000081: EQ
00000082: PUSH2 0x02df
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0xaf715669
0000008c: EQ
0000008d: PUSH2 0x02f6
00000090: JUMPI
00000091: DUP1
00000092: PUSH4 0xce9c7c0d
00000097: EQ
00000098: PUSH2 0x0321
0000009b: JUMPI
0000009c: PUSH2 0x011f
0000009f: JUMP
000000a0: JUMPDEST
000000a1: DUP1
000000a2: PUSH4 0x18e97fd1
000000a7: GT
000000a8: PUSH2 0x00e7
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0x18e97fd1
000000b2: EQ
000000b3: PUSH2 0x01de
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0x3ccfd60b
000000bd: EQ
000000be: PUSH2 0x0207
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0x548b55cf
000000c8: EQ
000000c9: PUSH2 0x021e
000000cc: JUMPI
000000cd: DUP1
000000ce: PUSH4 0x715018a6
000000d3: EQ
000000d4: PUSH2 0x0249
000000d7: JUMPI
000000d8: DUP1
000000d9: PUSH4 0x72c51754
000000de: EQ
000000df: PUSH2 0x0260
000000e2: JUMPI
000000e3: PUSH2 0x011f
000000e6: JUMP
000000e7: JUMPDEST
000000e8: DUP1
000000e9: PUSH4 0x01173a74
000000ee: EQ
000000ef: PUSH2 0x0124
000000f2: JUMPI
000000f3: DUP1
000000f4: PUSH4 0x023245d7
000000f9: EQ
000000fa: PUSH2 0x014d
000000fd: JUMPI
000000fe: DUP1
000000ff: PUSH4 0x0fb5a6b4
00000104: EQ
00000105: PUSH2 0x0176
00000108: JUMPI
00000109: DUP1
0000010a: PUSH4 0x150b7a02
0000010f: EQ
00000110: PUSH2 0x01a1
00000113: JUMPI
00000114: PUSH2 0x011f
00000117: JUMP
00000118: JUMPDEST
00000119: CALLDATASIZE
0000011a: PUSH2 0x011f
0000011d: JUMPI
0000011e: STOP
0000011f: JUMPDEST
00000120: PUSH1 0x00
00000122: DUP1
00000123: REVERT
00000124: JUMPDEST
00000125: CALLVALUE
00000126: DUP1
00000127: ISZERO
00000128: PUSH2 0x0130
0000012b: JUMPI
0000012c: PUSH1 0x00
0000012e: DUP1
0000012f: REVERT
00000130: JUMPDEST
00000131: POP
00000132: PUSH2 0x014b
00000135: PUSH1 0x04
00000137: DUP1
00000138: CALLDATASIZE
00000139: SUB
0000013a: DUP2
0000013b: ADD
0000013c: SWAP1
0000013d: PUSH2 0x0146
00000140: SWAP2
00000141: SWAP1
00000142: PUSH2 0x163c
00000145: JUMP
00000146: JUMPDEST
00000147: PUSH2 0x041b
0000014a: JUMP
0000014b: JUMPDEST
0000014c: STOP
0000014d: JUMPDEST
0000014e: CALLVALUE
0000014f: DUP1
00000150: ISZERO
00000151: PUSH2 0x0159
00000154: JUMPI
00000155: PUSH1 0x00
00000157: DUP1
00000158: REVERT
00000159: JUMPDEST
0000015a: POP
0000015b: PUSH2 0x0174
0000015e: PUSH1 0x04
00000160: DUP1
00000161: CALLDATASIZE
00000162: SUB
00000163: DUP2
00000164: ADD
00000165: SWAP1
00000166: PUSH2 0x016f
00000169: SWAP2
0000016a: SWAP1
0000016b: PUSH2 0x174a
0000016e: JUMP
0000016f: JUMPDEST
00000170: PUSH2 0x0631
00000173: JUMP
00000174: JUMPDEST
00000175: STOP
00000176: JUMPDEST
00000177: CALLVALUE
00000178: DUP1
00000179: ISZERO
0000017a: PUSH2 0x0182
0000017d: JUMPI
0000017e: PUSH1 0x00
00000180: DUP1
00000181: REVERT
00000182: JUMPDEST
00000183: POP
00000184: PUSH2 0x018b
00000187: PUSH2 0x0741
0000018a: JUMP
0000018b: JUMPDEST
0000018c: PUSH1 0x40
0000018e: MLOAD
0000018f: PUSH2 0x0198
00000192: SWAP2
00000193: SWAP1
00000194: PUSH2 0x1b75
00000197: JUMP
00000198: JUMPDEST
00000199: PUSH1 0x40
0000019b: MLOAD
0000019c: DUP1
0000019d: SWAP2
0000019e: SUB
0000019f: SWAP1
000001a0: RETURN
000001a1: JUMPDEST
000001a2: CALLVALUE
000001a3: DUP1
000001a4: ISZERO
000001a5: PUSH2 0x01ad
000001a8: JUMPI
000001a9: PUSH1 0x00
000001ab: DUP1
000001ac: REVERT
000001ad: JUMPDEST
000001ae: POP
000001af: PUSH2 0x01c8
000001b2: PUSH1 0x04
000001b4: DUP1
000001b5: CALLDATASIZE
000001b6: SUB
000001b7: DUP2
000001b8: ADD
000001b9: SWAP1
000001ba: PUSH2 0x01c3
000001bd: SWAP2
000001be: SWAP1
000001bf: PUSH2 0x1665
000001c2: JUMP
000001c3: JUMPDEST
000001c4: PUSH2 0x0747
000001c7: JUMP
000001c8: JUMPDEST
000001c9: PUSH1 0x40
000001cb: MLOAD
000001cc: PUSH2 0x01d5
000001cf: SWAP2
000001d0: SWAP1
000001d1: PUSH2 0x1a82
000001d4: JUMP
000001d5: JUMPDEST
000001d6: PUSH1 0x40
000001d8: MLOAD
000001d9: DUP1
000001da: SWAP2
000001db: SUB
000001dc: SWAP1
000001dd: RETURN
000001de: JUMPDEST
000001df: CALLVALUE
000001e0: DUP1
000001e1: ISZERO
000001e2: PUSH2 0x01ea
000001e5: JUMPI
000001e6: PUSH1 0x00
000001e8: DUP1
000001e9: REVERT
000001ea: JUMPDEST
000001eb: POP
000001ec: PUSH2 0x0205
000001ef: PUSH1 0x04
000001f1: DUP1
000001f2: CALLDATASIZE
000001f3: SUB
000001f4: DUP2
000001f5: ADD
000001f6: SWAP1
000001f7: PUSH2 0x0200
000001fa: SWAP2
000001fb: SWAP1
000001fc: PUSH2 0x179c
000001ff: JUMP
00000200: JUMPDEST
00000201: PUSH2 0x075b
00000204: JUMP
00000205: JUMPDEST
00000206: STOP
00000207: JUMPDEST
00000208: CALLVALUE
00000209: DUP1
0000020a: ISZERO
0000020b: PUSH2 0x0213
0000020e: JUMPI
0000020f: PUSH1 0x00
00000211: DUP1
00000212: REVERT
00000213: JUMPDEST
00000214: POP
00000215: PUSH2 0x021c
00000218: PUSH2 0x08a2
0000021b: JUMP
0000021c: JUMPDEST
0000021d: STOP
0000021e: JUMPDEST
0000021f: CALLVALUE
00000220: DUP1
00000221: ISZERO
00000222: PUSH2 0x022a
00000225: JUMPI
00000226: PUSH1 0x00
00000228: DUP1
00000229: REVERT
0000022a: JUMPDEST
0000022b: POP
0000022c: PUSH2 0x0233
0000022f: PUSH2 0x096d
00000232: JUMP
00000233: JUMPDEST
00000234: PUSH1 0x40
00000236: MLOAD
00000237: PUSH2 0x0240
0000023a: SWAP2
0000023b: SWAP1
0000023c: PUSH2 0x1b75
0000023f: JUMP
00000240: JUMPDEST
00000241: PUSH1 0x40
00000243: MLOAD
00000244: DUP1
00000245: SWAP2
00000246: SUB
00000247: SWAP1
00000248: RETURN
00000249: JUMPDEST
0000024a: CALLVALUE
0000024b: DUP1
0000024c: ISZERO
0000024d: PUSH2 0x0255
00000250: JUMPI
00000251: PUSH1 0x00
00000253: DUP1
00000254: REVERT
00000255: JUMPDEST
00000256: POP
00000257: PUSH2 0x025e
0000025a: PUSH2 0x0973
0000025d: JUMP
0000025e: JUMPDEST
0000025f: STOP
00000260: JUMPDEST
00000261: CALLVALUE
00000262: DUP1
00000263: ISZERO
00000264: PUSH2 0x026c
00000267: JUMPI
00000268: PUSH1 0x00
0000026a: DUP1
0000026b: REVERT
0000026c: JUMPDEST
0000026d: POP
0000026e: PUSH2 0x0275
00000271: PUSH2 0x09fb
00000274: JUMP
00000275: JUMPDEST
00000276: PUSH1 0x40
00000278: MLOAD
00000279: PUSH2 0x0282
0000027c: SWAP2
0000027d: SWAP1
0000027e: PUSH2 0x1ab8
00000281: JUMP
00000282: JUMPDEST
00000283: PUSH1 0x40
00000285: MLOAD
00000286: DUP1
00000287: SWAP2
00000288: SUB
00000289: SWAP1
0000028a: RETURN
0000028b: JUMPDEST
0000028c: CALLVALUE
0000028d: DUP1
0000028e: ISZERO
0000028f: PUSH2 0x0297
00000292: JUMPI
00000293: PUSH1 0x00
00000295: DUP1
00000296: REVERT
00000297: JUMPDEST
00000298: POP
00000299: PUSH2 0x02a0
0000029c: PUSH2 0x0a21
0000029f: JUMP
000002a0: JUMPDEST
000002a1: PUSH1 0x40
000002a3: MLOAD
000002a4: PUSH2 0x02ad
000002a7: SWAP2
000002a8: SWAP1
000002a9: PUSH2 0x19bc
000002ac: JUMP
000002ad: JUMPDEST
000002ae: PUSH1 0x40
000002b0: MLOAD
000002b1: DUP1
000002b2: SWAP2
000002b3: SUB
000002b4: SWAP1
000002b5: RETURN
000002b6: JUMPDEST
000002b7: CALLVALUE
000002b8: DUP1
000002b9: ISZERO
000002ba: PUSH2 0x02c2
000002bd: JUMPI
000002be: PUSH1 0x00
000002c0: DUP1
000002c1: REVERT
000002c2: JUMPDEST
000002c3: POP
000002c4: PUSH2 0x02dd
000002c7: PUSH1 0x04
000002c9: DUP1
000002ca: CALLDATASIZE
000002cb: SUB
000002cc: DUP2
000002cd: ADD
000002ce: SWAP1
000002cf: PUSH2 0x02d8
000002d2: SWAP2
000002d3: SWAP1
000002d4: PUSH2 0x1709
000002d7: JUMP
000002d8: JUMPDEST
000002d9: PUSH2 0x0a4a
000002dc: JUMP
000002dd: JUMPDEST
000002de: STOP
000002df: JUMPDEST
000002e0: CALLVALUE
000002e1: DUP1
000002e2: ISZERO
000002e3: PUSH2 0x02eb
000002e6: JUMPI
000002e7: PUSH1 0x00
000002e9: DUP1
000002ea: REVERT
000002eb: JUMPDEST
000002ec: POP
000002ed: PUSH2 0x02f4
000002f0: PUSH2 0x0ae0
000002f3: JUMP
000002f4: JUMPDEST
000002f5: STOP
000002f6: JUMPDEST
000002f7: CALLVALUE
000002f8: DUP1
000002f9: ISZERO
000002fa: PUSH2 0x0302
000002fd: JUMPI
000002fe: PUSH1 0x00
00000300: DUP1
00000301: REVERT
00000302: JUMPDEST
00000303: POP
00000304: PUSH2 0x030b
00000307: PUSH2 0x0f79
0000030a: JUMP
0000030b: JUMPDEST
0000030c: PUSH1 0x40
0000030e: MLOAD
0000030f: PUSH2 0x0318
00000312: SWAP2
00000313: SWAP1
00000314: PUSH2 0x1ad3
00000317: JUMP
00000318: JUMPDEST
00000319: PUSH1 0x40
0000031b: MLOAD
0000031c: DUP1
0000031d: SWAP2
0000031e: SUB
0000031f: SWAP1
00000320: RETURN
00000321: JUMPDEST
00000322: CALLVALUE
00000323: DUP1
00000324: ISZERO
00000325: PUSH2 0x032d
00000328: JUMPI
00000329: PUSH1 0x00
0000032b: DUP1
0000032c: REVERT
0000032d: JUMPDEST
0000032e: POP
0000032f: PUSH2 0x0348
00000332: PUSH1 0x04
00000334: DUP1
00000335: CALLDATASIZE
00000336: SUB
00000337: DUP2
00000338: ADD
00000339: SWAP1
0000033a: PUSH2 0x0343
0000033d: SWAP2
0000033e: SWAP1
0000033f: PUSH2 0x174a
00000342: JUMP
00000343: JUMPDEST
00000344: PUSH2 0x1007
00000347: JUMP
00000348: JUMPDEST
00000349: STOP
0000034a: JUMPDEST
0000034b: CALLVALUE
0000034c: DUP1
0000034d: ISZERO
0000034e: PUSH2 0x0356
00000351: JUMPI
00000352: PUSH1 0x00
00000354: DUP1
00000355: REVERT
00000356: JUMPDEST
00000357: POP
00000358: PUSH2 0x035f
0000035b: PUSH2 0x108d
0000035e: JUMP
0000035f: JUMPDEST
00000360: PUSH1 0x40
00000362: MLOAD
00000363: PUSH2 0x036c
00000366: SWAP2
00000367: SWAP1
00000368: PUSH2 0x1b75
0000036b: JUMP
0000036c: JUMPDEST
0000036d: PUSH1 0x40
0000036f: MLOAD
00000370: DUP1
00000371: SWAP2
00000372: SUB
00000373: SWAP1
00000374: RETURN
00000375: JUMPDEST
00000376: CALLVALUE
00000377: DUP1
00000378: ISZERO
00000379: PUSH2 0x0381
0000037c: JUMPI
0000037d: PUSH1 0x00
0000037f: DUP1
00000380: REVERT
00000381: JUMPDEST
00000382: POP
00000383: PUSH2 0x039c
00000386: PUSH1 0x04
00000388: DUP1
00000389: CALLDATASIZE
0000038a: SUB
0000038b: DUP2
0000038c: ADD
0000038d: SWAP1
0000038e: PUSH2 0x0397
00000391: SWAP2
00000392: SWAP1
00000393: PUSH2 0x163c
00000396: JUMP
00000397: JUMPDEST
00000398: PUSH2 0x1093
0000039b: JUMP
0000039c: JUMPDEST
0000039d: STOP
0000039e: JUMPDEST
0000039f: CALLVALUE
000003a0: DUP1
000003a1: ISZERO
000003a2: PUSH2 0x03aa
000003a5: JUMPI
000003a6: PUSH1 0x00
000003a8: DUP1
000003a9: REVERT
000003aa: JUMPDEST
000003ab: POP
000003ac: PUSH2 0x03b3
000003af: PUSH2 0x1205
000003b2: JUMP
000003b3: JUMPDEST
000003b4: PUSH1 0x40
000003b6: MLOAD
000003b7: PUSH2 0x03c0
000003ba: SWAP2
000003bb: SWAP1
000003bc: PUSH2 0x1a9d
000003bf: JUMP
000003c0: JUMPDEST
000003c1: PUSH1 0x40
000003c3: MLOAD
000003c4: DUP1
000003c5: SWAP2
000003c6: SUB
000003c7: SWAP1
000003c8: RETURN
000003c9: JUMPDEST
000003ca: CALLVALUE
000003cb: DUP1
000003cc: ISZERO
000003cd: PUSH2 0x03d5
000003d0: JUMPI
000003d1: PUSH1 0x00
000003d3: DUP1
000003d4: REVERT
000003d5: JUMPDEST
000003d6: POP
000003d7: PUSH2 0x03f0
000003da: PUSH1 0x04
000003dc: DUP1
000003dd: CALLDATASIZE
000003de: SUB
000003df: DUP2
000003e0: ADD
000003e1: SWAP1
000003e2: PUSH2 0x03eb
000003e5: SWAP2
000003e6: SWAP1
000003e7: PUSH2 0x163c
000003ea: JUMP
000003eb: JUMPDEST
000003ec: PUSH2 0x122b
000003ef: JUMP
000003f0: JUMPDEST
000003f1: STOP
000003f2: JUMPDEST
000003f3: CALLVALUE
000003f4: DUP1
000003f5: ISZERO
000003f6: PUSH2 0x03fe
000003f9: JUMPI
000003fa: PUSH1 0x00
000003fc: DUP1
000003fd: REVERT
000003fe: JUMPDEST
000003ff: POP
00000400: PUSH2 0x0419
00000403: PUSH1 0x04
00000405: DUP1
00000406: CALLDATASIZE
00000407: SUB
00000408: DUP2
00000409: ADD
0000040a: SWAP1
0000040b: PUSH2 0x0414
0000040e: SWAP2
0000040f: SWAP1
00000410: PUSH2 0x174a
00000413: JUMP
00000414: JUMPDEST
00000415: PUSH2 0x1323
00000418: JUMP
00000419: JUMPDEST
0000041a: STOP
0000041b: JUMPDEST
0000041c: PUSH2 0x0423
0000041f: PUSH2 0x13a9
00000422: JUMP
00000423: JUMPDEST
00000424: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000439: AND
0000043a: PUSH2 0x0441
0000043d: PUSH2 0x0a21
00000440: JUMP
00000441: JUMPDEST
00000442: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000457: AND
00000458: EQ
00000459: PUSH2 0x0497
0000045c: JUMPI
0000045d: PUSH1 0x40
0000045f: MLOAD
00000460: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000481: DUP2
00000482: MSTORE
00000483: PUSH1 0x04
00000485: ADD
00000486: PUSH2 0x048e
00000489: SWAP1
0000048a: PUSH2 0x1b55
0000048d: JUMP
0000048e: JUMPDEST
0000048f: PUSH1 0x40
00000491: MLOAD
00000492: DUP1
00000493: SWAP2
00000494: SUB
00000495: SWAP1
00000496: REVERT
00000497: JUMPDEST
00000498: PUSH1 0x00
0000049a: PUSH1 0x01
0000049c: PUSH1 0x00
0000049e: SWAP1
0000049f: SLOAD
000004a0: SWAP1
000004a1: PUSH2 0x0100
000004a4: EXP
000004a5: SWAP1
000004a6: DIV
000004a7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004bc: AND
000004bd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004d2: AND
000004d3: PUSH4 0x3d02d0c9
000004d8: DUP4
000004d9: PUSH1 0x03
000004db: PUSH1 0x40
000004dd: MLOAD
000004de: DUP4
000004df: PUSH4 0xffffffff
000004e4: AND
000004e5: PUSH1 0xe0
000004e7: SHL
000004e8: DUP2
000004e9: MSTORE
000004ea: PUSH1 0x04
000004ec: ADD
000004ed: PUSH2 0x04f7
000004f0: SWAP3
000004f1: SWAP2
000004f2: SWAP1
000004f3: PUSH2 0x1a37
000004f6: JUMP
000004f7: JUMPDEST
000004f8: PUSH1 0x20
000004fa: PUSH1 0x40
000004fc: MLOAD
000004fd: DUP1
000004fe: DUP4
000004ff: SUB
00000500: DUP2
00000501: PUSH1 0x00
00000503: DUP8
00000504: DUP1
00000505: EXTCODESIZE
00000506: ISZERO
00000507: DUP1
00000508: ISZERO
00000509: PUSH2 0x0511
0000050c: JUMPI
0000050d: PUSH1 0x00
0000050f: DUP1
00000510: REVERT
00000511: JUMPDEST
00000512: POP
00000513: GAS
00000514: CALL
00000515: ISZERO
00000516: DUP1
00000517: ISZERO
00000518: PUSH2 0x0525
0000051b: JUMPI
0000051c: RETURNDATASIZE
0000051d: PUSH1 0x00
0000051f: DUP1
00000520: RETURNDATACOPY
00000521: RETURNDATASIZE
00000522: PUSH1 0x00
00000524: REVERT
00000525: JUMPDEST
00000526: POP
00000527: POP
00000528: POP
00000529: POP
0000052a: PUSH1 0x40
0000052c: MLOAD
0000052d: RETURNDATASIZE
0000052e: PUSH1 0x1f
00000530: NOT
00000531: PUSH1 0x1f
00000533: DUP3
00000534: ADD
00000535: AND
00000536: DUP3
00000537: ADD
00000538: DUP1
00000539: PUSH1 0x40
0000053b: MSTORE
0000053c: POP
0000053d: DUP2
0000053e: ADD
0000053f: SWAP1
00000540: PUSH2 0x0549
00000543: SWAP2
00000544: SWAP1
00000545: PUSH2 0x1773
00000548: JUMP
00000549: JUMPDEST
0000054a: SWAP1
0000054b: POP
0000054c: DUP1
0000054d: PUSH32 0x909b7f363658120da065d86ce4965e673b3ecfef2158035b000e7cee46491895
0000056e: PUSH1 0x01
00000570: PUSH1 0x00
00000572: SWAP1
00000573: SLOAD
00000574: SWAP1
00000575: PUSH2 0x0100
00000578: EXP
00000579: SWAP1
0000057a: DIV
0000057b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000590: AND
00000591: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005a6: AND
000005a7: PUSH4 0xa0cc0dc5
000005ac: DUP5
000005ad: PUSH1 0x40
000005af: MLOAD
000005b0: DUP3
000005b1: PUSH4 0xffffffff
000005b6: AND
000005b7: PUSH1 0xe0
000005b9: SHL
000005ba: DUP2
000005bb: MSTORE
000005bc: PUSH1 0x04
000005be: ADD
000005bf: PUSH2 0x05c8
000005c2: SWAP2
000005c3: SWAP1
000005c4: PUSH2 0x1b75
000005c7: JUMP
000005c8: JUMPDEST
000005c9: PUSH1 0x20
000005cb: PUSH1 0x40
000005cd: MLOAD
000005ce: DUP1
000005cf: DUP4
000005d0: SUB
000005d1: DUP2
000005d2: DUP7
000005d3: DUP1
000005d4: EXTCODESIZE
000005d5: ISZERO
000005d6: DUP1
000005d7: ISZERO
000005d8: PUSH2 0x05e0
000005db: JUMPI
000005dc: PUSH1 0x00
000005de: DUP1
000005df: REVERT
000005e0: JUMPDEST
000005e1: POP
000005e2: GAS
000005e3: STATICCALL
000005e4: ISZERO
000005e5: DUP1
000005e6: ISZERO
000005e7: PUSH2 0x05f4
000005ea: JUMPI
000005eb: RETURNDATASIZE
000005ec: PUSH1 0x00
000005ee: DUP1
000005ef: RETURNDATACOPY
000005f0: RETURNDATASIZE
000005f1: PUSH1 0x00
000005f3: REVERT
000005f4: JUMPDEST
000005f5: POP
000005f6: POP
000005f7: POP
000005f8: POP
000005f9: PUSH1 0x40
000005fb: MLOAD
000005fc: RETURNDATASIZE
000005fd: PUSH1 0x1f
000005ff: NOT
00000600: PUSH1 0x1f
00000602: DUP3
00000603: ADD
00000604: AND
00000605: DUP3
00000606: ADD
00000607: DUP1
00000608: PUSH1 0x40
0000060a: MSTORE
0000060b: POP
0000060c: DUP2
0000060d: ADD
0000060e: SWAP1
0000060f: PUSH2 0x0618
00000612: SWAP2
00000613: SWAP1
00000614: PUSH2 0x16e0
00000617: JUMP
00000618: JUMPDEST
00000619: PUSH1 0x40
0000061b: MLOAD
0000061c: PUSH2 0x0625
0000061f: SWAP2
00000620: SWAP1
00000621: PUSH2 0x1a67
00000624: JUMP
00000625: JUMPDEST
00000626: PUSH1 0x40
00000628: MLOAD
00000629: DUP1
0000062a: SWAP2
0000062b: SUB
0000062c: SWAP1
0000062d: LOG2
0000062e: POP
0000062f: POP
00000630: JUMP
00000631: JUMPDEST
00000632: PUSH2 0x0639
00000635: PUSH2 0x13a9
00000638: JUMP
00000639: JUMPDEST
0000063a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000064f: AND
00000650: PUSH2 0x0657
00000653: PUSH2 0x0a21
00000656: JUMP
00000657: JUMPDEST
00000658: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000066d: AND
0000066e: EQ
0000066f: PUSH2 0x06ad
00000672: JUMPI
00000673: PUSH1 0x40
00000675: MLOAD
00000676: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000697: DUP2
00000698: MSTORE
00000699: PUSH1 0x04
0000069b: ADD
0000069c: PUSH2 0x06a4
0000069f: SWAP1
000006a0: PUSH2 0x1b55
000006a3: JUMP
000006a4: JUMPDEST
000006a5: PUSH1 0x40
000006a7: MLOAD
000006a8: DUP1
000006a9: SWAP2
000006aa: SUB
000006ab: SWAP1
000006ac: REVERT
000006ad: JUMPDEST
000006ae: PUSH1 0x01
000006b0: PUSH1 0x00
000006b2: SWAP1
000006b3: SLOAD
000006b4: SWAP1
000006b5: PUSH2 0x0100
000006b8: EXP
000006b9: SWAP1
000006ba: DIV
000006bb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006d0: AND
000006d1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006e6: AND
000006e7: PUSH4 0x42842e0e
000006ec: ADDRESS
000006ed: CALLER
000006ee: DUP5
000006ef: PUSH1 0x40
000006f1: MLOAD
000006f2: DUP5
000006f3: PUSH4 0xffffffff
000006f8: AND
000006f9: PUSH1 0xe0
000006fb: SHL
000006fc: DUP2
000006fd: MSTORE
000006fe: PUSH1 0x04
00000700: ADD
00000701: PUSH2 0x070c
00000704: SWAP4
00000705: SWAP3
00000706: SWAP2
00000707: SWAP1
00000708: PUSH2 0x19d7
0000070b: JUMP
0000070c: JUMPDEST
0000070d: PUSH1 0x00
0000070f: PUSH1 0x40
00000711: MLOAD
00000712: DUP1
00000713: DUP4
00000714: SUB
00000715: DUP2
00000716: PUSH1 0x00
00000718: DUP8
00000719: DUP1
0000071a: EXTCODESIZE
0000071b: ISZERO
0000071c: DUP1
0000071d: ISZERO
0000071e: PUSH2 0x0726
00000721: JUMPI
00000722: PUSH1 0x00
00000724: DUP1
00000725: REVERT
00000726: JUMPDEST
00000727: POP
00000728: GAS
00000729: CALL
0000072a: ISZERO
0000072b: DUP1
0000072c: ISZERO
0000072d: PUSH2 0x073a
00000730: JUMPI
00000731: RETURNDATASIZE
00000732: PUSH1 0x00
00000734: DUP1
00000735: RETURNDATACOPY
00000736: RETURNDATASIZE
00000737: PUSH1 0x00
00000739: REVERT
0000073a: JUMPDEST
0000073b: POP
0000073c: POP
0000073d: POP
0000073e: POP
0000073f: POP
00000740: JUMP
00000741: JUMPDEST
00000742: PUSH1 0x04
00000744: SLOAD
00000745: DUP2
00000746: JUMP
00000747: JUMPDEST
00000748: PUSH1 0x00
0000074a: PUSH4 0x150b7a02
0000074f: PUSH1 0xe0
00000751: SHL
00000752: SWAP1
00000753: POP
00000754: SWAP5
00000755: SWAP4
00000756: POP
00000757: POP
00000758: POP
00000759: POP
0000075a: JUMP
0000075b: JUMPDEST
0000075c: PUSH2 0x0763
0000075f: PUSH2 0x13a9
00000762: JUMP
00000763: JUMPDEST
00000764: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000779: AND
0000077a: PUSH2 0x0781
0000077d: PUSH2 0x0a21
00000780: JUMP
00000781: JUMPDEST
00000782: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000797: AND
00000798: EQ
00000799: PUSH2 0x07d7
0000079c: JUMPI
0000079d: PUSH1 0x40
0000079f: MLOAD
000007a0: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000007c1: DUP2
000007c2: MSTORE
000007c3: PUSH1 0x04
000007c5: ADD
000007c6: PUSH2 0x07ce
000007c9: SWAP1
000007ca: PUSH2 0x1b55
000007cd: JUMP
000007ce: JUMPDEST
000007cf: PUSH1 0x40
000007d1: MLOAD
000007d2: DUP1
000007d3: SWAP2
000007d4: SUB
000007d5: SWAP1
000007d6: REVERT
000007d7: JUMPDEST
000007d8: PUSH1 0x01
000007da: PUSH1 0x00
000007dc: SWAP1
000007dd: SLOAD
000007de: SWAP1
000007df: PUSH2 0x0100
000007e2: EXP
000007e3: SWAP1
000007e4: DIV
000007e5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007fa: AND
000007fb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000810: AND
00000811: PUSH4 0x162094c4
00000816: DUP4
00000817: DUP4
00000818: PUSH1 0x40
0000081a: MLOAD
0000081b: DUP4
0000081c: PUSH4 0xffffffff
00000821: AND
00000822: PUSH1 0xe0
00000824: SHL
00000825: DUP2
00000826: MSTORE
00000827: PUSH1 0x04
00000829: ADD
0000082a: PUSH2 0x0834
0000082d: SWAP3
0000082e: SWAP2
0000082f: SWAP1
00000830: PUSH2 0x1bff
00000833: JUMP
00000834: JUMPDEST
00000835: PUSH1 0x00
00000837: PUSH1 0x40
00000839: MLOAD
0000083a: DUP1
0000083b: DUP4
0000083c: SUB
0000083d: DUP2
0000083e: PUSH1 0x00
00000840: DUP8
00000841: DUP1
00000842: EXTCODESIZE
00000843: ISZERO
00000844: DUP1
00000845: ISZERO
00000846: PUSH2 0x084e
00000849: JUMPI
0000084a: PUSH1 0x00
0000084c: DUP1
0000084d: REVERT
0000084e: JUMPDEST
0000084f: POP
00000850: GAS
00000851: CALL
00000852: ISZERO
00000853: DUP1
00000854: ISZERO
00000855: PUSH2 0x0862
00000858: JUMPI
00000859: RETURNDATASIZE
0000085a: PUSH1 0x00
0000085c: DUP1
0000085d: RETURNDATACOPY
0000085e: RETURNDATASIZE
0000085f: PUSH1 0x00
00000861: REVERT
00000862: JUMPDEST
00000863: POP
00000864: POP
00000865: POP
00000866: POP
00000867: DUP2
00000868: PUSH32 0x652c9498726ae446882619d79306dfe2594d5d5a008eaad0a720ee55ebf8e8b8
00000889: DUP3
0000088a: PUSH1 0x40
0000088c: MLOAD
0000088d: PUSH2 0x0896
00000890: SWAP2
00000891: SWAP1
00000892: PUSH2 0x1ad3
00000895: JUMP
00000896: JUMPDEST
00000897: PUSH1 0x40
00000899: MLOAD
0000089a: DUP1
0000089b: SWAP2
0000089c: SUB
0000089d: SWAP1
0000089e: LOG2
0000089f: POP
000008a0: POP
000008a1: JUMP
000008a2: JUMPDEST
000008a3: PUSH2 0x08aa
000008a6: PUSH2 0x13a9
000008a9: JUMP
000008aa: JUMPDEST
000008ab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008c0: AND
000008c1: PUSH2 0x08c8
000008c4: PUSH2 0x0a21
000008c7: JUMP
000008c8: JUMPDEST
000008c9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008de: AND
000008df: EQ
000008e0: PUSH2 0x091e
000008e3: JUMPI
000008e4: PUSH1 0x40
000008e6: MLOAD
000008e7: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000908: DUP2
00000909: MSTORE
0000090a: PUSH1 0x04
0000090c: ADD
0000090d: PUSH2 0x0915
00000910: SWAP1
00000911: PUSH2 0x1b55
00000914: JUMP
00000915: JUMPDEST
00000916: PUSH1 0x40
00000918: MLOAD
00000919: DUP1
0000091a: SWAP2
0000091b: SUB
0000091c: SWAP1
0000091d: REVERT
0000091e: JUMPDEST
0000091f: PUSH1 0x00
00000921: SELFBALANCE
00000922: SWAP1
00000923: POP
00000924: CALLER
00000925: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000093a: AND
0000093b: PUSH2 0x08fc
0000093e: DUP3
0000093f: SWAP1
00000940: DUP2
00000941: ISZERO
00000942: MUL
00000943: SWAP1
00000944: PUSH1 0x40
00000946: MLOAD
00000947: PUSH1 0x00
00000949: PUSH1 0x40
0000094b: MLOAD
0000094c: DUP1
0000094d: DUP4
0000094e: SUB
0000094f: DUP2
00000950: DUP6
00000951: DUP9
00000952: DUP9
00000953: CALL
00000954: SWAP4
00000955: POP
00000956: POP
00000957: POP
00000958: POP
00000959: ISZERO
0000095a: DUP1
0000095b: ISZERO
0000095c: PUSH2 0x0969
0000095f: JUMPI
00000960: RETURNDATASIZE
00000961: PUSH1 0x00
00000963: DUP1
00000964: RETURNDATACOPY
00000965: RETURNDATASIZE
00000966: PUSH1 0x00
00000968: REVERT
00000969: JUMPDEST
0000096a: POP
0000096b: POP
0000096c: JUMP
0000096d: JUMPDEST
0000096e: PUSH1 0x06
00000970: SLOAD
00000971: DUP2
00000972: JUMP
00000973: JUMPDEST
00000974: PUSH2 0x097b
00000977: PUSH2 0x13a9
0000097a: JUMP
0000097b: JUMPDEST
0000097c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000991: AND
00000992: PUSH2 0x0999
00000995: PUSH2 0x0a21
00000998: JUMP
00000999: JUMPDEST
0000099a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009af: AND
000009b0: EQ
000009b1: PUSH2 0x09ef
000009b4: JUMPI
000009b5: PUSH1 0x40
000009b7: MLOAD
000009b8: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000009d9: DUP2
000009da: MSTORE
000009db: PUSH1 0x04
000009dd: ADD
000009de: PUSH2 0x09e6
000009e1: SWAP1
000009e2: PUSH2 0x1b55
000009e5: JUMP
000009e6: JUMPDEST
000009e7: PUSH1 0x40
000009e9: MLOAD
000009ea: DUP1
000009eb: SWAP2
000009ec: SUB
000009ed: SWAP1
000009ee: REVERT
000009ef: JUMPDEST
000009f0: PUSH2 0x09f9
000009f3: PUSH1 0x00
000009f5: PUSH2 0x13b1
000009f8: JUMP
000009f9: JUMPDEST
000009fa: JUMP
000009fb: JUMPDEST
000009fc: PUSH1 0x01
000009fe: PUSH1 0x00
00000a00: SWAP1
00000a01: SLOAD
00000a02: SWAP1
00000a03: PUSH2 0x0100
00000a06: EXP
00000a07: SWAP1
00000a08: DIV
00000a09: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a1e: AND
00000a1f: DUP2
00000a20: JUMP
00000a21: JUMPDEST
00000a22: PUSH1 0x00
00000a24: DUP1
00000a25: PUSH1 0x00
00000a27: SWAP1
00000a28: SLOAD
00000a29: SWAP1
00000a2a: PUSH2 0x0100
00000a2d: EXP
00000a2e: SWAP1
00000a2f: DIV
00000a30: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a45: AND
00000a46: SWAP1
00000a47: POP
00000a48: SWAP1
00000a49: JUMP
00000a4a: JUMPDEST
00000a4b: PUSH2 0x0a52
00000a4e: PUSH2 0x13a9
00000a51: JUMP
00000a52: JUMPDEST
00000a53: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a68: AND
00000a69: PUSH2 0x0a70
00000a6c: PUSH2 0x0a21
00000a6f: JUMP
00000a70: JUMPDEST
00000a71: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a86: AND
00000a87: EQ
00000a88: PUSH2 0x0ac6
00000a8b: JUMPI
00000a8c: PUSH1 0x40
00000a8e: MLOAD
00000a8f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000ab0: DUP2
00000ab1: MSTORE
00000ab2: PUSH1 0x04
00000ab4: ADD
00000ab5: PUSH2 0x0abd
00000ab8: SWAP1
00000ab9: PUSH2 0x1b55
00000abc: JUMP
00000abd: JUMPDEST
00000abe: PUSH1 0x40
00000ac0: MLOAD
00000ac1: DUP1
00000ac2: SWAP2
00000ac3: SUB
00000ac4: SWAP1
00000ac5: REVERT
00000ac6: JUMPDEST
00000ac7: DUP1
00000ac8: PUSH1 0x03
00000aca: SWAP1
00000acb: DUP1
00000acc: MLOAD
00000acd: SWAP1
00000ace: PUSH1 0x20
00000ad0: ADD
00000ad1: SWAP1
00000ad2: PUSH2 0x0adc
00000ad5: SWAP3
00000ad6: SWAP2
00000ad7: SWAP1
00000ad8: PUSH2 0x1475
00000adb: JUMP
00000adc: JUMPDEST
00000add: POP
00000ade: POP
00000adf: JUMP
00000ae0: JUMPDEST
00000ae1: PUSH2 0x0ae8
00000ae4: PUSH2 0x13a9
00000ae7: JUMP
00000ae8: JUMPDEST
00000ae9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000afe: AND
00000aff: PUSH2 0x0b06
00000b02: PUSH2 0x0a21
00000b05: JUMP
00000b06: JUMPDEST
00000b07: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b1c: AND
00000b1d: EQ
00000b1e: PUSH2 0x0b5c
00000b21: JUMPI
00000b22: PUSH1 0x40
00000b24: MLOAD
00000b25: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000b46: DUP2
00000b47: MSTORE
00000b48: PUSH1 0x04
00000b4a: ADD
00000b4b: PUSH2 0x0b53
00000b4e: SWAP1
00000b4f: PUSH2 0x1b55
00000b52: JUMP
00000b53: JUMPDEST
00000b54: PUSH1 0x40
00000b56: MLOAD
00000b57: DUP1
00000b58: SWAP2
00000b59: SUB
00000b5a: SWAP1
00000b5b: REVERT
00000b5c: JUMPDEST
00000b5d: PUSH1 0x02
00000b5f: PUSH1 0x00
00000b61: SWAP1
00000b62: SLOAD
00000b63: SWAP1
00000b64: PUSH2 0x0100
00000b67: EXP
00000b68: SWAP1
00000b69: DIV
00000b6a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b7f: AND
00000b80: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b95: AND
00000b96: PUSH4 0xb9a2de3a
00000b9b: PUSH1 0x06
00000b9d: SLOAD
00000b9e: PUSH1 0x40
00000ba0: MLOAD
00000ba1: DUP3
00000ba2: PUSH4 0xffffffff
00000ba7: AND
00000ba8: PUSH1 0xe0
00000baa: SHL
00000bab: DUP2
00000bac: MSTORE
00000bad: PUSH1 0x04
00000baf: ADD
00000bb0: PUSH2 0x0bb9
00000bb3: SWAP2
00000bb4: SWAP1
00000bb5: PUSH2 0x1b75
00000bb8: JUMP
00000bb9: JUMPDEST
00000bba: PUSH1 0x00
00000bbc: PUSH1 0x40
00000bbe: MLOAD
00000bbf: DUP1
00000bc0: DUP4
00000bc1: SUB
00000bc2: DUP2
00000bc3: PUSH1 0x00
00000bc5: DUP8
00000bc6: DUP1
00000bc7: EXTCODESIZE
00000bc8: ISZERO
00000bc9: DUP1
00000bca: ISZERO
00000bcb: PUSH2 0x0bd3
00000bce: JUMPI
00000bcf: PUSH1 0x00
00000bd1: DUP1
00000bd2: REVERT
00000bd3: JUMPDEST
00000bd4: POP
00000bd5: GAS
00000bd6: CALL
00000bd7: SWAP3
00000bd8: POP
00000bd9: POP
00000bda: POP
00000bdb: DUP1
00000bdc: ISZERO
00000bdd: PUSH2 0x0be4
00000be0: JUMPI
00000be1: POP
00000be2: PUSH1 0x01
00000be4: JUMPDEST
00000be5: PUSH2 0x0c25
00000be8: JUMPI
00000be9: PUSH1 0x06
00000beb: SLOAD
00000bec: PUSH32 0xdd970dd9b5bfe707922155b058a407655cb18288b807e2216442bca8ad83d6b5
00000c0d: PUSH1 0x40
00000c0f: MLOAD
00000c10: PUSH2 0x0c18
00000c13: SWAP1
00000c14: PUSH2 0x1b35
00000c17: JUMP
00000c18: JUMPDEST
00000c19: PUSH1 0x40
00000c1b: MLOAD
00000c1c: DUP1
00000c1d: SWAP2
00000c1e: SUB
00000c1f: SWAP1
00000c20: LOG2
00000c21: PUSH2 0x0c5e
00000c24: JUMP
00000c25: JUMPDEST
00000c26: PUSH1 0x06
00000c28: SLOAD
00000c29: PUSH32 0xdd970dd9b5bfe707922155b058a407655cb18288b807e2216442bca8ad83d6b5
00000c4a: PUSH1 0x40
00000c4c: MLOAD
00000c4d: PUSH2 0x0c55
00000c50: SWAP1
00000c51: PUSH2 0x1b15
00000c54: JUMP
00000c55: JUMPDEST
00000c56: PUSH1 0x40
00000c58: MLOAD
00000c59: DUP1
00000c5a: SWAP2
00000c5b: SUB
00000c5c: SWAP1
00000c5d: LOG2
00000c5e: JUMPDEST
00000c5f: PUSH1 0x00
00000c61: PUSH1 0x01
00000c63: PUSH1 0x00
00000c65: SWAP1
00000c66: SLOAD
00000c67: SWAP1
00000c68: PUSH2 0x0100
00000c6b: EXP
00000c6c: SWAP1
00000c6d: DIV
00000c6e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c83: AND
00000c84: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c99: AND
00000c9a: PUSH4 0x3d02d0c9
00000c9f: ADDRESS
00000ca0: PUSH1 0x03
00000ca2: PUSH1 0x40
00000ca4: MLOAD
00000ca5: DUP4
00000ca6: PUSH4 0xffffffff
00000cab: AND
00000cac: PUSH1 0xe0
00000cae: SHL
00000caf: DUP2
00000cb0: MSTORE
00000cb1: PUSH1 0x04
00000cb3: ADD
00000cb4: PUSH2 0x0cbe
00000cb7: SWAP3
00000cb8: SWAP2
00000cb9: SWAP1
00000cba: PUSH2 0x1a37
00000cbd: JUMP
00000cbe: JUMPDEST
00000cbf: PUSH1 0x20
00000cc1: PUSH1 0x40
00000cc3: MLOAD
00000cc4: DUP1
00000cc5: DUP4
00000cc6: SUB
00000cc7: DUP2
00000cc8: PUSH1 0x00
00000cca: DUP8
00000ccb: DUP1
00000ccc: EXTCODESIZE
00000ccd: ISZERO
00000cce: DUP1
00000ccf: ISZERO
00000cd0: PUSH2 0x0cd8
00000cd3: JUMPI
00000cd4: PUSH1 0x00
00000cd6: DUP1
00000cd7: REVERT
00000cd8: JUMPDEST
00000cd9: POP
00000cda: GAS
00000cdb: CALL
00000cdc: ISZERO
00000cdd: DUP1
00000cde: ISZERO
00000cdf: PUSH2 0x0cec
00000ce2: JUMPI
00000ce3: RETURNDATASIZE
00000ce4: PUSH1 0x00
00000ce6: DUP1
00000ce7: RETURNDATACOPY
00000ce8: RETURNDATASIZE
00000ce9: PUSH1 0x00
00000ceb: REVERT
00000cec: JUMPDEST
00000ced: POP
00000cee: POP
00000cef: POP
00000cf0: POP
00000cf1: PUSH1 0x40
00000cf3: MLOAD
00000cf4: RETURNDATASIZE
00000cf5: PUSH1 0x1f
00000cf7: NOT
00000cf8: PUSH1 0x1f
00000cfa: DUP3
00000cfb: ADD
00000cfc: AND
00000cfd: DUP3
00000cfe: ADD
00000cff: DUP1
00000d00: PUSH1 0x40
00000d02: MSTORE
00000d03: POP
00000d04: DUP2
00000d05: ADD
00000d06: SWAP1
00000d07: PUSH2 0x0d10
00000d0a: SWAP2
00000d0b: SWAP1
00000d0c: PUSH2 0x1773
00000d0f: JUMP
00000d10: JUMPDEST
00000d11: SWAP1
00000d12: POP
00000d13: PUSH1 0x00
00000d15: PUSH1 0x02
00000d17: PUSH1 0x00
00000d19: SWAP1
00000d1a: SLOAD
00000d1b: SWAP1
00000d1c: PUSH2 0x0100
00000d1f: EXP
00000d20: SWAP1
00000d21: DIV
00000d22: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d37: AND
00000d38: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d4d: AND
00000d4e: PUSH4 0x75e9249f
00000d53: DUP4
00000d54: PUSH1 0x01
00000d56: PUSH1 0x00
00000d58: SWAP1
00000d59: SLOAD
00000d5a: SWAP1
00000d5b: PUSH2 0x0100
00000d5e: EXP
00000d5f: SWAP1
00000d60: DIV
00000d61: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d76: AND
00000d77: PUSH1 0x04
00000d79: SLOAD
00000d7a: PUSH1 0x05
00000d7c: SLOAD
00000d7d: PUSH1 0x00
00000d7f: DUP1
00000d80: PUSH1 0x00
00000d82: PUSH1 0x40
00000d84: MLOAD
00000d85: DUP9
00000d86: PUSH4 0xffffffff
00000d8b: AND
00000d8c: PUSH1 0xe0
00000d8e: SHL
00000d8f: DUP2
00000d90: MSTORE
00000d91: PUSH1 0x04
00000d93: ADD
00000d94: PUSH2 0x0da3
00000d97: SWAP8
00000d98: SWAP7
00000d99: SWAP6
00000d9a: SWAP5
00000d9b: SWAP4
00000d9c: SWAP3
00000d9d: SWAP2
00000d9e: SWAP1
00000d9f: PUSH2 0x1b90
00000da2: JUMP
00000da3: JUMPDEST
00000da4: PUSH1 0x20
00000da6: PUSH1 0x40
00000da8: MLOAD
00000da9: DUP1
00000daa: DUP4
00000dab: SUB
00000dac: DUP2
00000dad: PUSH1 0x00
00000daf: DUP8
00000db0: DUP1
00000db1: EXTCODESIZE
00000db2: ISZERO
00000db3: DUP1
00000db4: ISZERO
00000db5: PUSH2 0x0dbd
00000db8: JUMPI
00000db9: PUSH1 0x00
00000dbb: DUP1
00000dbc: REVERT
00000dbd: JUMPDEST
00000dbe: POP
00000dbf: GAS
00000dc0: CALL
00000dc1: ISZERO
00000dc2: DUP1
00000dc3: ISZERO
00000dc4: PUSH2 0x0dd1
00000dc7: JUMPI
00000dc8: RETURNDATASIZE
00000dc9: PUSH1 0x00
00000dcb: DUP1
00000dcc: RETURNDATACOPY
00000dcd: RETURNDATASIZE
00000dce: PUSH1 0x00
00000dd0: REVERT
00000dd1: JUMPDEST
00000dd2: POP
00000dd3: POP
00000dd4: POP
00000dd5: POP
00000dd6: PUSH1 0x40
00000dd8: MLOAD
00000dd9: RETURNDATASIZE
00000dda: PUSH1 0x1f
00000ddc: NOT
00000ddd: PUSH1 0x1f
00000ddf: DUP3
00000de0: ADD
00000de1: AND
00000de2: DUP3
00000de3: ADD
00000de4: DUP1
00000de5: PUSH1 0x40
00000de7: MSTORE
00000de8: POP
00000de9: DUP2
00000dea: ADD
00000deb: SWAP1
00000dec: PUSH2 0x0df5
00000def: SWAP2
00000df0: SWAP1
00000df1: PUSH2 0x1773
00000df4: JUMP
00000df5: JUMPDEST
00000df6: SWAP1
00000df7: POP
00000df8: PUSH1 0x02
00000dfa: PUSH1 0x00
00000dfc: SWAP1
00000dfd: SLOAD
00000dfe: SWAP1
00000dff: PUSH2 0x0100
00000e02: EXP
00000e03: SWAP1
00000e04: DIV
00000e05: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e1a: AND
00000e1b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e30: AND
00000e31: PUSH4 0xb7751c71
00000e36: PUSH1 0x05
00000e38: SLOAD
00000e39: DUP4
00000e3a: PUSH1 0x05
00000e3c: SLOAD
00000e3d: PUSH1 0x40
00000e3f: MLOAD
00000e40: DUP5
00000e41: PUSH4 0xffffffff
00000e46: AND
00000e47: PUSH1 0xe0
00000e49: SHL
00000e4a: DUP2
00000e4b: MSTORE
00000e4c: PUSH1 0x04
00000e4e: ADD
00000e4f: PUSH2 0x0e59
00000e52: SWAP3
00000e53: SWAP2
00000e54: SWAP1
00000e55: PUSH2 0x1c2f
00000e58: JUMP
00000e59: JUMPDEST
00000e5a: PUSH1 0x00
00000e5c: PUSH1 0x40
00000e5e: MLOAD
00000e5f: DUP1
00000e60: DUP4
00000e61: SUB
00000e62: DUP2
00000e63: DUP6
00000e64: DUP9
00000e65: DUP1
00000e66: EXTCODESIZE
00000e67: ISZERO
00000e68: DUP1
00000e69: ISZERO
00000e6a: PUSH2 0x0e72
00000e6d: JUMPI
00000e6e: PUSH1 0x00
00000e70: DUP1
00000e71: REVERT
00000e72: JUMPDEST
00000e73: POP
00000e74: GAS
00000e75: CALL
00000e76: ISZERO
00000e77: DUP1
00000e78: ISZERO
00000e79: PUSH2 0x0e86
00000e7c: JUMPI
00000e7d: RETURNDATASIZE
00000e7e: PUSH1 0x00
00000e80: DUP1
00000e81: RETURNDATACOPY
00000e82: RETURNDATASIZE
00000e83: PUSH1 0x00
00000e85: REVERT
00000e86: JUMPDEST
00000e87: POP
00000e88: POP
00000e89: POP
00000e8a: POP
00000e8b: POP
00000e8c: DUP1
00000e8d: PUSH1 0x06
00000e8f: DUP2
00000e90: SWAP1
00000e91: SSTORE
00000e92: POP
00000e93: DUP1
00000e94: DUP3
00000e95: PUSH32 0x517489c923fa986f05dc3a9e72af6c9ec78fa1c789b36dbb7592a9e6d2b70104
00000eb6: PUSH1 0x01
00000eb8: PUSH1 0x00
00000eba: SWAP1
00000ebb: SLOAD
00000ebc: SWAP1
00000ebd: PUSH2 0x0100
00000ec0: EXP
00000ec1: SWAP1
00000ec2: DIV
00000ec3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ed8: AND
00000ed9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000eee: AND
00000eef: PUSH4 0xa0cc0dc5
00000ef4: DUP7
00000ef5: PUSH1 0x40
00000ef7: MLOAD
00000ef8: DUP3
00000ef9: PUSH4 0xffffffff
00000efe: AND
00000eff: PUSH1 0xe0
00000f01: SHL
00000f02: DUP2
00000f03: MSTORE
00000f04: PUSH1 0x04
00000f06: ADD
00000f07: PUSH2 0x0f10
00000f0a: SWAP2
00000f0b: SWAP1
00000f0c: PUSH2 0x1b75
00000f0f: JUMP
00000f10: JUMPDEST
00000f11: PUSH1 0x20
00000f13: PUSH1 0x40
00000f15: MLOAD
00000f16: DUP1
00000f17: DUP4
00000f18: SUB
00000f19: DUP2
00000f1a: DUP7
00000f1b: DUP1
00000f1c: EXTCODESIZE
00000f1d: ISZERO
00000f1e: DUP1
00000f1f: ISZERO
00000f20: PUSH2 0x0f28
00000f23: JUMPI
00000f24: PUSH1 0x00
00000f26: DUP1
00000f27: REVERT
00000f28: JUMPDEST
00000f29: POP
00000f2a: GAS
00000f2b: STATICCALL
00000f2c: ISZERO
00000f2d: DUP1
00000f2e: ISZERO
00000f2f: PUSH2 0x0f3c
00000f32: JUMPI
00000f33: RETURNDATASIZE
00000f34: PUSH1 0x00
00000f36: DUP1
00000f37: RETURNDATACOPY
00000f38: RETURNDATASIZE
00000f39: PUSH1 0x00
00000f3b: REVERT
00000f3c: JUMPDEST
00000f3d: POP
00000f3e: POP
00000f3f: POP
00000f40: POP
00000f41: PUSH1 0x40
00000f43: MLOAD
00000f44: RETURNDATASIZE
00000f45: PUSH1 0x1f
00000f47: NOT
00000f48: PUSH1 0x1f
00000f4a: DUP3
00000f4b: ADD
00000f4c: AND
00000f4d: DUP3
00000f4e: ADD
00000f4f: DUP1
00000f50: PUSH1 0x40
00000f52: MSTORE
00000f53: POP
00000f54: DUP2
00000f55: ADD
00000f56: SWAP1
00000f57: PUSH2 0x0f60
00000f5a: SWAP2
00000f5b: SWAP1
00000f5c: PUSH2 0x16e0
00000f5f: JUMP
00000f60: JUMPDEST
00000f61: PUSH1 0x40
00000f63: MLOAD
00000f64: PUSH2 0x0f6d
00000f67: SWAP2
00000f68: SWAP1
00000f69: PUSH2 0x1a67
00000f6c: JUMP
00000f6d: JUMPDEST
00000f6e: PUSH1 0x40
00000f70: MLOAD
00000f71: DUP1
00000f72: SWAP2
00000f73: SUB
00000f74: SWAP1
00000f75: LOG3
00000f76: POP
00000f77: POP
00000f78: JUMP
00000f79: JUMPDEST
00000f7a: PUSH1 0x03
00000f7c: DUP1
00000f7d: SLOAD
00000f7e: PUSH2 0x0f86
00000f81: SWAP1
00000f82: PUSH2 0x1e49
00000f85: JUMP
00000f86: JUMPDEST
00000f87: DUP1
00000f88: PUSH1 0x1f
00000f8a: ADD
00000f8b: PUSH1 0x20
00000f8d: DUP1
00000f8e: SWAP2
00000f8f: DIV
00000f90: MUL
00000f91: PUSH1 0x20
00000f93: ADD
00000f94: PUSH1 0x40
00000f96: MLOAD
00000f97: SWAP1
00000f98: DUP2
00000f99: ADD
00000f9a: PUSH1 0x40
00000f9c: MSTORE
00000f9d: DUP1
00000f9e: SWAP3
00000f9f: SWAP2
00000fa0: SWAP1
00000fa1: DUP2
00000fa2: DUP2
00000fa3: MSTORE
00000fa4: PUSH1 0x20
00000fa6: ADD
00000fa7: DUP3
00000fa8: DUP1
00000fa9: SLOAD
00000faa: PUSH2 0x0fb2
00000fad: SWAP1
00000fae: PUSH2 0x1e49
00000fb1: JUMP
00000fb2: JUMPDEST
00000fb3: DUP1
00000fb4: ISZERO
00000fb5: PUSH2 0x0fff
00000fb8: JUMPI
00000fb9: DUP1
00000fba: PUSH1 0x1f
00000fbc: LT
00000fbd: PUSH2 0x0fd4
00000fc0: JUMPI
00000fc1: PUSH2 0x0100
00000fc4: DUP1
00000fc5: DUP4
00000fc6: SLOAD
00000fc7: DIV
00000fc8: MUL
00000fc9: DUP4
00000fca: MSTORE
00000fcb: SWAP2
00000fcc: PUSH1 0x20
00000fce: ADD
00000fcf: SWAP2
00000fd0: PUSH2 0x0fff
00000fd3: JUMP
00000fd4: JUMPDEST
00000fd5: DUP3
00000fd6: ADD
00000fd7: SWAP2
00000fd8: SWAP1
00000fd9: PUSH1 0x00
00000fdb: MSTORE
00000fdc: PUSH1 0x20
00000fde: PUSH1 0x00
00000fe0: KECCAK256
00000fe1: SWAP1
00000fe2: JUMPDEST
00000fe3: DUP2
00000fe4: SLOAD
00000fe5: DUP2
00000fe6: MSTORE
00000fe7: SWAP1
00000fe8: PUSH1 0x01
00000fea: ADD
00000feb: SWAP1
00000fec: PUSH1 0x20
00000fee: ADD
00000fef: DUP1
00000ff0: DUP4
00000ff1: GT
00000ff2: PUSH2 0x0fe2
00000ff5: JUMPI
00000ff6: DUP3
00000ff7: SWAP1
00000ff8: SUB
00000ff9: PUSH1 0x1f
00000ffb: AND
00000ffc: DUP3
00000ffd: ADD
00000ffe: SWAP2
00000fff: JUMPDEST
00001000: POP
00001001: POP
00001002: POP
00001003: POP
00001004: POP
00001005: DUP2
00001006: JUMP
00001007: JUMPDEST
00001008: PUSH2 0x100f
0000100b: PUSH2 0x13a9
0000100e: JUMP
0000100f: JUMPDEST
00001010: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001025: AND
00001026: PUSH2 0x102d
00001029: PUSH2 0x0a21
0000102c: JUMP
0000102d: JUMPDEST
0000102e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001043: AND
00001044: EQ
00001045: PUSH2 0x1083
00001048: JUMPI
00001049: PUSH1 0x40
0000104b: MLOAD
0000104c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000106d: DUP2
0000106e: MSTORE
0000106f: PUSH1 0x04
00001071: ADD
00001072: PUSH2 0x107a
00001075: SWAP1
00001076: PUSH2 0x1b55
00001079: JUMP
0000107a: JUMPDEST
0000107b: PUSH1 0x40
0000107d: MLOAD
0000107e: DUP1
0000107f: SWAP2
00001080: SUB
00001081: SWAP1
00001082: REVERT
00001083: JUMPDEST
00001084: DUP1
00001085: PUSH1 0x05
00001087: DUP2
00001088: SWAP1
00001089: SSTORE
0000108a: POP
0000108b: POP
0000108c: JUMP
0000108d: JUMPDEST
0000108e: PUSH1 0x05
00001090: SLOAD
00001091: DUP2
00001092: JUMP
00001093: JUMPDEST
00001094: PUSH2 0x109b
00001097: PUSH2 0x13a9
0000109a: JUMP
0000109b: JUMPDEST
0000109c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010b1: AND
000010b2: PUSH2 0x10b9
000010b5: PUSH2 0x0a21
000010b8: JUMP
000010b9: JUMPDEST
000010ba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010cf: AND
000010d0: EQ
000010d1: PUSH2 0x110f
000010d4: JUMPI
000010d5: PUSH1 0x40
000010d7: MLOAD
000010d8: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000010f9: DUP2
000010fa: MSTORE
000010fb: PUSH1 0x04
000010fd: ADD
000010fe: PUSH2 0x1106
00001101: SWAP1
00001102: PUSH2 0x1b55
00001105: JUMP
00001106: JUMPDEST
00001107: PUSH1 0x40
00001109: MLOAD
0000110a: DUP1
0000110b: SWAP2
0000110c: SUB
0000110d: SWAP1
0000110e: REVERT
0000110f: JUMPDEST
00001110: DUP1
00001111: PUSH1 0x02
00001113: PUSH1 0x00
00001115: PUSH2 0x0100
00001118: EXP
00001119: DUP2
0000111a: SLOAD
0000111b: DUP2
0000111c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001131: MUL
00001132: NOT
00001133: AND
00001134: SWAP1
00001135: DUP4
00001136: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000114b: AND
0000114c: MUL
0000114d: OR
0000114e: SWAP1
0000114f: SSTORE
00001150: POP
00001151: PUSH1 0x01
00001153: PUSH1 0x00
00001155: SWAP1
00001156: SLOAD
00001157: SWAP1
00001158: PUSH2 0x0100
0000115b: EXP
0000115c: SWAP1
0000115d: DIV
0000115e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001173: AND
00001174: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001189: AND
0000118a: PUSH4 0xa22cb465
0000118f: PUSH1 0x02
00001191: PUSH1 0x00
00001193: SWAP1
00001194: SLOAD
00001195: SWAP1
00001196: PUSH2 0x0100
00001199: EXP
0000119a: SWAP1
0000119b: DIV
0000119c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011b1: AND
000011b2: PUSH1 0x01
000011b4: PUSH1 0x40
000011b6: MLOAD
000011b7: DUP4
000011b8: PUSH4 0xffffffff
000011bd: AND
000011be: PUSH1 0xe0
000011c0: SHL
000011c1: DUP2
000011c2: MSTORE
000011c3: PUSH1 0x04
000011c5: ADD
000011c6: PUSH2 0x11d0
000011c9: SWAP3
000011ca: SWAP2
000011cb: SWAP1
000011cc: PUSH2 0x1a0e
000011cf: JUMP
000011d0: JUMPDEST
000011d1: PUSH1 0x00
000011d3: PUSH1 0x40
000011d5: MLOAD
000011d6: DUP1
000011d7: DUP4
000011d8: SUB
000011d9: DUP2
000011da: PUSH1 0x00
000011dc: DUP8
000011dd: DUP1
000011de: EXTCODESIZE
000011df: ISZERO
000011e0: DUP1
000011e1: ISZERO
000011e2: PUSH2 0x11ea
000011e5: JUMPI
000011e6: PUSH1 0x00
000011e8: DUP1
000011e9: REVERT
000011ea: JUMPDEST
000011eb: POP
000011ec: GAS
000011ed: CALL
000011ee: ISZERO
000011ef: DUP1
000011f0: ISZERO
000011f1: PUSH2 0x11fe
000011f4: JUMPI
000011f5: RETURNDATASIZE
000011f6: PUSH1 0x00
000011f8: DUP1
000011f9: RETURNDATACOPY
000011fa: RETURNDATASIZE
000011fb: PUSH1 0x00
000011fd: REVERT
000011fe: JUMPDEST
000011ff: POP
00001200: POP
00001201: POP
00001202: POP
00001203: POP
00001204: JUMP
00001205: JUMPDEST
00001206: PUSH1 0x02
00001208: PUSH1 0x00
0000120a: SWAP1
0000120b: SLOAD
0000120c: SWAP1
0000120d: PUSH2 0x0100
00001210: EXP
00001211: SWAP1
00001212: DIV
00001213: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001228: AND
00001229: DUP2
0000122a: JUMP
0000122b: JUMPDEST
0000122c: PUSH2 0x1233
0000122f: PUSH2 0x13a9
00001232: JUMP
00001233: JUMPDEST
00001234: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001249: AND
0000124a: PUSH2 0x1251
0000124d: PUSH2 0x0a21
00001250: JUMP
00001251: JUMPDEST
00001252: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001267: AND
00001268: EQ
00001269: PUSH2 0x12a7
0000126c: JUMPI
0000126d: PUSH1 0x40
0000126f: MLOAD
00001270: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001291: DUP2
00001292: MSTORE
00001293: PUSH1 0x04
00001295: ADD
00001296: PUSH2 0x129e
00001299: SWAP1
0000129a: PUSH2 0x1b55
0000129d: JUMP
0000129e: JUMPDEST
0000129f: PUSH1 0x40
000012a1: MLOAD
000012a2: DUP1
000012a3: SWAP2
000012a4: SUB
000012a5: SWAP1
000012a6: REVERT
000012a7: JUMPDEST
000012a8: PUSH1 0x00
000012aa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012bf: AND
000012c0: DUP2
000012c1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012d6: AND
000012d7: EQ
000012d8: ISZERO
000012d9: PUSH2 0x1317
000012dc: JUMPI
000012dd: PUSH1 0x40
000012df: MLOAD
000012e0: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001301: DUP2
00001302: MSTORE
00001303: PUSH1 0x04
00001305: ADD
00001306: PUSH2 0x130e
00001309: SWAP1
0000130a: PUSH2 0x1af5
0000130d: JUMP
0000130e: JUMPDEST
0000130f: PUSH1 0x40
00001311: MLOAD
00001312: DUP1
00001313: SWAP2
00001314: SUB
00001315: SWAP1
00001316: REVERT
00001317: JUMPDEST
00001318: PUSH2 0x1320
0000131b: DUP2
0000131c: PUSH2 0x13b1
0000131f: JUMP
00001320: JUMPDEST
00001321: POP
00001322: JUMP
00001323: JUMPDEST
00001324: PUSH2 0x132b
00001327: PUSH2 0x13a9
0000132a: JUMP
0000132b: JUMPDEST
0000132c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001341: AND
00001342: PUSH2 0x1349
00001345: PUSH2 0x0a21
00001348: JUMP
00001349: JUMPDEST
0000134a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000135f: AND
00001360: EQ
00001361: PUSH2 0x139f
00001364: JUMPI
00001365: PUSH1 0x40
00001367: MLOAD
00001368: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001389: DUP2
0000138a: MSTORE
0000138b: PUSH1 0x04
0000138d: ADD
0000138e: PUSH2 0x1396
00001391: SWAP1
00001392: PUSH2 0x1b55
00001395: JUMP
00001396: JUMPDEST
00001397: PUSH1 0x40
00001399: MLOAD
0000139a: DUP1
0000139b: SWAP2
0000139c: SUB
0000139d: SWAP1
0000139e: REVERT
0000139f: JUMPDEST
000013a0: DUP1
000013a1: PUSH1 0x04
000013a3: DUP2
000013a4: SWAP1
000013a5: SSTORE
000013a6: POP
000013a7: POP
000013a8: JUMP
000013a9: JUMPDEST
000013aa: PUSH1 0x00
000013ac: CALLER
000013ad: SWAP1
000013ae: POP
000013af: SWAP1
000013b0: JUMP
000013b1: JUMPDEST
000013b2: PUSH1 0x00
000013b4: DUP1
000013b5: PUSH1 0x00
000013b7: SWAP1
000013b8: SLOAD
000013b9: SWAP1
000013ba: PUSH2 0x0100
000013bd: EXP
000013be: SWAP1
000013bf: DIV
000013c0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013d5: AND
000013d6: SWAP1
000013d7: POP
000013d8: DUP2
000013d9: PUSH1 0x00
000013db: DUP1
000013dc: PUSH2 0x0100
000013df: EXP
000013e0: DUP2
000013e1: SLOAD
000013e2: DUP2
000013e3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013f8: MUL
000013f9: NOT
000013fa: AND
000013fb: SWAP1
000013fc: DUP4
000013fd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001412: AND
00001413: MUL
00001414: OR
00001415: SWAP1
00001416: SSTORE
00001417: POP
00001418: DUP2
00001419: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000142e: AND
0000142f: DUP2
00001430: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001445: AND
00001446: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00001467: PUSH1 0x40
00001469: MLOAD
0000146a: PUSH1 0x40
0000146c: MLOAD
0000146d: DUP1
0000146e: SWAP2
0000146f: SUB
00001470: SWAP1
00001471: LOG3
00001472: POP
00001473: POP
00001474: JUMP
00001475: JUMPDEST
00001476: DUP3
00001477: DUP1
00001478: SLOAD
00001479: PUSH2 0x1481
0000147c: SWAP1
0000147d: PUSH2 0x1e49
00001480: JUMP
00001481: JUMPDEST
00001482: SWAP1
00001483: PUSH1 0x00
00001485: MSTORE
00001486: PUSH1 0x20
00001488: PUSH1 0x00
0000148a: KECCAK256
0000148b: SWAP1
0000148c: PUSH1 0x1f
0000148e: ADD
0000148f: PUSH1 0x20
00001491: SWAP1
00001492: DIV
00001493: DUP2
00001494: ADD
00001495: SWAP3
00001496: DUP3
00001497: PUSH2 0x14a3
0000149a: JUMPI
0000149b: PUSH1 0x00
0000149d: DUP6
0000149e: SSTORE
0000149f: PUSH2 0x14ea
000014a2: JUMP
000014a3: JUMPDEST
000014a4: DUP3
000014a5: PUSH1 0x1f
000014a7: LT
000014a8: PUSH2 0x14bc
000014ab: JUMPI
000014ac: DUP1
000014ad: MLOAD
000014ae: PUSH1 0xff
000014b0: NOT
000014b1: AND
000014b2: DUP4
000014b3: DUP1
000014b4: ADD
000014b5: OR
000014b6: DUP6
000014b7: SSTORE
000014b8: PUSH2 0x14ea
000014bb: JUMP
000014bc: JUMPDEST
000014bd: DUP3
000014be: DUP1
000014bf: ADD
000014c0: PUSH1 0x01
000014c2: ADD
000014c3: DUP6
000014c4: SSTORE
000014c5: DUP3
000014c6: ISZERO
000014c7: PUSH2 0x14ea
000014ca: JUMPI
000014cb: SWAP2
000014cc: DUP3
000014cd: ADD
000014ce: JUMPDEST
000014cf: DUP3
000014d0: DUP2
000014d1: GT
000014d2: ISZERO
000014d3: PUSH2 0x14e9
000014d6: JUMPI
000014d7: DUP3
000014d8: MLOAD
000014d9: DUP3
000014da: SSTORE
000014db: SWAP2
000014dc: PUSH1 0x20
000014de: ADD
000014df: SWAP2
000014e0: SWAP1
000014e1: PUSH1 0x01
000014e3: ADD
000014e4: SWAP1
000014e5: PUSH2 0x14ce
000014e8: JUMP
000014e9: JUMPDEST
000014ea: JUMPDEST
000014eb: POP
000014ec: SWAP1
000014ed: POP
000014ee: PUSH2 0x14f7
000014f1: SWAP2
000014f2: SWAP1
000014f3: PUSH2 0x14fb
000014f6: JUMP
000014f7: JUMPDEST
000014f8: POP
000014f9: SWAP1
000014fa: JUMP
000014fb: JUMPDEST
000014fc: JUMPDEST
000014fd: DUP1
000014fe: DUP3
000014ff: GT
00001500: ISZERO
00001501: PUSH2 0x1514
00001504: JUMPI
00001505: PUSH1 0x00
00001507: DUP2
00001508: PUSH1 0x00
0000150a: SWAP1
0000150b: SSTORE
0000150c: POP
0000150d: PUSH1 0x01
0000150f: ADD
00001510: PUSH2 0x14fc
00001513: JUMP
00001514: JUMPDEST
00001515: POP
00001516: SWAP1
00001517: JUMP
00001518: JUMPDEST
00001519: PUSH1 0x00
0000151b: PUSH2 0x152b
0000151e: PUSH2 0x1526
00001521: DUP5
00001522: PUSH2 0x1c7d
00001525: JUMP
00001526: JUMPDEST
00001527: PUSH2 0x1c58
0000152a: JUMP
0000152b: JUMPDEST
0000152c: SWAP1
0000152d: POP
0000152e: DUP3
0000152f: DUP2
00001530: MSTORE
00001531: PUSH1 0x20
00001533: DUP2
00001534: ADD
00001535: DUP5
00001536: DUP5
00001537: DUP5
00001538: ADD
00001539: GT
0000153a: ISZERO
0000153b: PUSH2 0x1543
0000153e: JUMPI
0000153f: PUSH1 0x00
00001541: DUP1
00001542: REVERT
00001543: JUMPDEST
00001544: PUSH2 0x154e
00001547: DUP5
00001548: DUP3
00001549: DUP6
0000154a: PUSH2 0x1e07
0000154d: JUMP
0000154e: JUMPDEST
0000154f: POP
00001550: SWAP4
00001551: SWAP3
00001552: POP
00001553: POP
00001554: POP
00001555: JUMP
00001556: JUMPDEST
00001557: PUSH1 0x00
00001559: PUSH2 0x1569
0000155c: PUSH2 0x1564
0000155f: DUP5
00001560: PUSH2 0x1cae
00001563: JUMP
00001564: JUMPDEST
00001565: PUSH2 0x1c58
00001568: JUMP
00001569: JUMPDEST
0000156a: SWAP1
0000156b: POP
0000156c: DUP3
0000156d: DUP2
0000156e: MSTORE
0000156f: PUSH1 0x20
00001571: DUP2
00001572: ADD
00001573: DUP5
00001574: DUP5
00001575: DUP5
00001576: ADD
00001577: GT
00001578: ISZERO
00001579: PUSH2 0x1581
0000157c: JUMPI
0000157d: PUSH1 0x00
0000157f: DUP1
00001580: REVERT
00001581: JUMPDEST
00001582: PUSH2 0x158c
00001585: DUP5
00001586: DUP3
00001587: DUP6
00001588: PUSH2 0x1e07
0000158b: JUMP
0000158c: JUMPDEST
0000158d: POP
0000158e: SWAP4
0000158f: SWAP3
00001590: POP
00001591: POP
00001592: POP
00001593: JUMP
00001594: JUMPDEST
00001595: PUSH1 0x00
00001597: DUP2
00001598: CALLDATALOAD
00001599: SWAP1
0000159a: POP
0000159b: PUSH2 0x15a3
0000159e: DUP2
0000159f: PUSH2 0x1fe5
000015a2: JUMP
000015a3: JUMPDEST
000015a4: SWAP3
000015a5: SWAP2
000015a6: POP
000015a7: POP
000015a8: JUMP
000015a9: JUMPDEST
000015aa: PUSH1 0x00
000015ac: DUP2
000015ad: MLOAD
000015ae: SWAP1
000015af: POP
000015b0: PUSH2 0x15b8
000015b3: DUP2
000015b4: PUSH2 0x1ffc
000015b7: JUMP
000015b8: JUMPDEST
000015b9: SWAP3
000015ba: SWAP2
000015bb: POP
000015bc: POP
000015bd: JUMP
000015be: JUMPDEST
000015bf: PUSH1 0x00
000015c1: DUP3
000015c2: PUSH1 0x1f
000015c4: DUP4
000015c5: ADD
000015c6: SLT
000015c7: PUSH2 0x15cf
000015ca: JUMPI
000015cb: PUSH1 0x00
000015cd: DUP1
000015ce: REVERT
000015cf: JUMPDEST
000015d0: DUP2
000015d1: CALLDATALOAD
000015d2: PUSH2 0x15df
000015d5: DUP5
000015d6: DUP3
000015d7: PUSH1 0x20
000015d9: DUP7
000015da: ADD
000015db: PUSH2 0x1518
000015de: JUMP
000015df: JUMPDEST
000015e0: SWAP2
000015e1: POP
000015e2: POP
000015e3: SWAP3
000015e4: SWAP2
000015e5: POP
000015e6: POP
000015e7: JUMP
000015e8: JUMPDEST
000015e9: PUSH1 0x00
000015eb: DUP3
000015ec: PUSH1 0x1f
000015ee: DUP4
000015ef: ADD
000015f0: SLT
000015f1: PUSH2 0x15f9
000015f4: JUMPI
000015f5: PUSH1 0x00
000015f7: DUP1
000015f8: REVERT
000015f9: JUMPDEST
000015fa: DUP2
000015fb: CALLDATALOAD
000015fc: PUSH2 0x1609
000015ff: DUP5
00001600: DUP3
00001601: PUSH1 0x20
00001603: DUP7
00001604: ADD
00001605: PUSH2 0x1556
00001608: JUMP
00001609: JUMPDEST
0000160a: SWAP2
0000160b: POP
0000160c: POP
0000160d: SWAP3
0000160e: SWAP2
0000160f: POP
00001610: POP
00001611: JUMP
00001612: JUMPDEST
00001613: PUSH1 0x00
00001615: DUP2
00001616: CALLDATALOAD
00001617: SWAP1
00001618: POP
00001619: PUSH2 0x1621
0000161c: DUP2
0000161d: PUSH2 0x2013
00001620: JUMP
00001621: JUMPDEST
00001622: SWAP3
00001623: SWAP2
00001624: POP
00001625: POP
00001626: JUMP
00001627: JUMPDEST
00001628: PUSH1 0x00
0000162a: DUP2
0000162b: MLOAD
0000162c: SWAP1
0000162d: POP
0000162e: PUSH2 0x1636
00001631: DUP2
00001632: PUSH2 0x2013
00001635: JUMP
00001636: JUMPDEST
00001637: SWAP3
00001638: SWAP2
00001639: POP
0000163a: POP
0000163b: JUMP
0000163c: JUMPDEST
0000163d: PUSH1 0x00
0000163f: PUSH1 0x20
00001641: DUP3
00001642: DUP5
00001643: SUB
00001644: SLT
00001645: ISZERO
00001646: PUSH2 0x164e
00001649: JUMPI
0000164a: PUSH1 0x00
0000164c: DUP1
0000164d: REVERT
0000164e: JUMPDEST
0000164f: PUSH1 0x00
00001651: PUSH2 0x165c
00001654: DUP5
00001655: DUP3
00001656: DUP6
00001657: ADD
00001658: PUSH2 0x1594
0000165b: JUMP
0000165c: JUMPDEST
0000165d: SWAP2
0000165e: POP
0000165f: POP
00001660: SWAP3
00001661: SWAP2
00001662: POP
00001663: POP
00001664: JUMP
00001665: JUMPDEST
00001666: PUSH1 0x00
00001668: DUP1
00001669: PUSH1 0x00
0000166b: DUP1
0000166c: PUSH1 0x80
0000166e: DUP6
0000166f: DUP8
00001670: SUB
00001671: SLT
00001672: ISZERO
00001673: PUSH2 0x167b
00001676: JUMPI
00001677: PUSH1 0x00
00001679: DUP1
0000167a: REVERT
0000167b: JUMPDEST
0000167c: PUSH1 0x00
0000167e: PUSH2 0x1689
00001681: DUP8
00001682: DUP3
00001683: DUP9
00001684: ADD
00001685: PUSH2 0x1594
00001688: JUMP
00001689: JUMPDEST
0000168a: SWAP5
0000168b: POP
0000168c: POP
0000168d: PUSH1 0x20
0000168f: PUSH2 0x169a
00001692: DUP8
00001693: DUP3
00001694: DUP9
00001695: ADD
00001696: PUSH2 0x1594
00001699: JUMP
0000169a: JUMPDEST
0000169b: SWAP4
0000169c: POP
0000169d: POP
0000169e: PUSH1 0x40
000016a0: PUSH2 0x16ab
000016a3: DUP8
000016a4: DUP3
000016a5: DUP9
000016a6: ADD
000016a7: PUSH2 0x1612
000016aa: JUMP
000016ab: JUMPDEST
000016ac: SWAP3
000016ad: POP
000016ae: POP
000016af: PUSH1 0x60
000016b1: DUP6
000016b2: ADD
000016b3: CALLDATALOAD
000016b4: PUSH8 0xffffffffffffffff
000016bd: DUP2
000016be: GT
000016bf: ISZERO
000016c0: PUSH2 0x16c8
000016c3: JUMPI
000016c4: PUSH1 0x00
000016c6: DUP1
000016c7: REVERT
000016c8: JUMPDEST
000016c9: PUSH2 0x16d4
000016cc: DUP8
000016cd: DUP3
000016ce: DUP9
000016cf: ADD
000016d0: PUSH2 0x15be
000016d3: JUMP
000016d4: JUMPDEST
000016d5: SWAP2
000016d6: POP
000016d7: POP
000016d8: SWAP3
000016d9: SWAP6
000016da: SWAP2
000016db: SWAP5
000016dc: POP
000016dd: SWAP3
000016de: POP
000016df: JUMP
000016e0: JUMPDEST
000016e1: PUSH1 0x00
000016e3: PUSH1 0x20
000016e5: DUP3
000016e6: DUP5
000016e7: SUB
000016e8: SLT
000016e9: ISZERO
000016ea: PUSH2 0x16f2
000016ed: JUMPI
000016ee: PUSH1 0x00
000016f0: DUP1
000016f1: REVERT
000016f2: JUMPDEST
000016f3: PUSH1 0x00
000016f5: PUSH2 0x1700
000016f8: DUP5
000016f9: DUP3
000016fa: DUP6
000016fb: ADD
000016fc: PUSH2 0x15a9
000016ff: JUMP
00001700: JUMPDEST
00001701: SWAP2
00001702: POP
00001703: POP
00001704: SWAP3
00001705: SWAP2
00001706: POP
00001707: POP
00001708: JUMP
00001709: JUMPDEST
0000170a: PUSH1 0x00
0000170c: PUSH1 0x20
0000170e: DUP3
0000170f: DUP5
00001710: SUB
00001711: SLT
00001712: ISZERO
00001713: PUSH2 0x171b
00001716: JUMPI
00001717: PUSH1 0x00
00001719: DUP1
0000171a: REVERT
0000171b: JUMPDEST
0000171c: PUSH1 0x00
0000171e: DUP3
0000171f: ADD
00001720: CALLDATALOAD
00001721: PUSH8 0xffffffffffffffff
0000172a: DUP2
0000172b: GT
0000172c: ISZERO
0000172d: PUSH2 0x1735
00001730: JUMPI
00001731: PUSH1 0x00
00001733: DUP1
00001734: REVERT
00001735: JUMPDEST
00001736: PUSH2 0x1741
00001739: DUP5
0000173a: DUP3
0000173b: DUP6
0000173c: ADD
0000173d: PUSH2 0x15e8
00001740: JUMP
00001741: JUMPDEST
00001742: SWAP2
00001743: POP
00001744: POP
00001745: SWAP3
00001746: SWAP2
00001747: POP
00001748: POP
00001749: JUMP
0000174a: JUMPDEST
0000174b: PUSH1 0x00
0000174d: PUSH1 0x20
0000174f: DUP3
00001750: DUP5
00001751: SUB
00001752: SLT
00001753: ISZERO
00001754: PUSH2 0x175c
00001757: JUMPI
00001758: PUSH1 0x00
0000175a: DUP1
0000175b: REVERT
0000175c: JUMPDEST
0000175d: PUSH1 0x00
0000175f: PUSH2 0x176a
00001762: DUP5
00001763: DUP3
00001764: DUP6
00001765: ADD
00001766: PUSH2 0x1612
00001769: JUMP
0000176a: JUMPDEST
0000176b: SWAP2
0000176c: POP
0000176d: POP
0000176e: SWAP3
0000176f: SWAP2
00001770: POP
00001771: POP
00001772: JUMP
00001773: JUMPDEST
00001774: PUSH1 0x00
00001776: PUSH1 0x20
00001778: DUP3
00001779: DUP5
0000177a: SUB
0000177b: SLT
0000177c: ISZERO
0000177d: PUSH2 0x1785
00001780: JUMPI
00001781: PUSH1 0x00
00001783: DUP1
00001784: REVERT
00001785: JUMPDEST
00001786: PUSH1 0x00
00001788: PUSH2 0x1793
0000178b: DUP5
0000178c: DUP3
0000178d: DUP6
0000178e: ADD
0000178f: PUSH2 0x1627
00001792: JUMP
00001793: JUMPDEST
00001794: SWAP2
00001795: POP
00001796: POP
00001797: SWAP3
00001798: SWAP2
00001799: POP
0000179a: POP
0000179b: JUMP
0000179c: JUMPDEST
0000179d: PUSH1 0x00
0000179f: DUP1
000017a0: PUSH1 0x40
000017a2: DUP4
000017a3: DUP6
000017a4: SUB
000017a5: SLT
000017a6: ISZERO
000017a7: PUSH2 0x17af
000017aa: JUMPI
000017ab: PUSH1 0x00
000017ad: DUP1
000017ae: REVERT
000017af: JUMPDEST
000017b0: PUSH1 0x00
000017b2: PUSH2 0x17bd
000017b5: DUP6
000017b6: DUP3
000017b7: DUP7
000017b8: ADD
000017b9: PUSH2 0x1612
000017bc: JUMP
000017bd: JUMPDEST
000017be: SWAP3
000017bf: POP
000017c0: POP
000017c1: PUSH1 0x20
000017c3: DUP4
000017c4: ADD
000017c5: CALLDATALOAD
000017c6: PUSH8 0xffffffffffffffff
000017cf: DUP2
000017d0: GT
000017d1: ISZERO
000017d2: PUSH2 0x17da
000017d5: JUMPI
000017d6: PUSH1 0x00
000017d8: DUP1
000017d9: REVERT
000017da: JUMPDEST
000017db: PUSH2 0x17e6
000017de: DUP6
000017df: DUP3
000017e0: DUP7
000017e1: ADD
000017e2: PUSH2 0x15e8
000017e5: JUMP
000017e6: JUMPDEST
000017e7: SWAP2
000017e8: POP
000017e9: POP
000017ea: SWAP3
000017eb: POP
000017ec: SWAP3
000017ed: SWAP1
000017ee: POP
000017ef: JUMP
000017f0: JUMPDEST
000017f1: PUSH2 0x17f9
000017f4: DUP2
000017f5: PUSH2 0x1d22
000017f8: JUMP
000017f9: JUMPDEST
000017fa: DUP3
000017fb: MSTORE
000017fc: POP
000017fd: POP
000017fe: JUMP
000017ff: JUMPDEST
00001800: PUSH2 0x1808
00001803: DUP2
00001804: PUSH2 0x1d10
00001807: JUMP
00001808: JUMPDEST
00001809: DUP3
0000180a: MSTORE
0000180b: POP
0000180c: POP
0000180d: JUMP
0000180e: JUMPDEST
0000180f: PUSH2 0x1817
00001812: DUP2
00001813: PUSH2 0x1d34
00001816: JUMP
00001817: JUMPDEST
00001818: DUP3
00001819: MSTORE
0000181a: POP
0000181b: POP
0000181c: JUMP
0000181d: JUMPDEST
0000181e: PUSH2 0x1826
00001821: DUP2
00001822: PUSH2 0x1d40
00001825: JUMP
00001826: JUMPDEST
00001827: DUP3
00001828: MSTORE
00001829: POP
0000182a: POP
0000182b: JUMP
0000182c: JUMPDEST
0000182d: PUSH2 0x1835
00001830: DUP2
00001831: PUSH2 0x1d4a
00001834: JUMP
00001835: JUMPDEST
00001836: DUP3
00001837: MSTORE
00001838: POP
00001839: POP
0000183a: JUMP
0000183b: JUMPDEST
0000183c: PUSH2 0x1844
0000183f: DUP2
00001840: PUSH2 0x1dad
00001843: JUMP
00001844: JUMPDEST
00001845: DUP3
00001846: MSTORE
00001847: POP
00001848: POP
00001849: JUMP
0000184a: JUMPDEST
0000184b: PUSH2 0x1853
0000184e: DUP2
0000184f: PUSH2 0x1dd1
00001852: JUMP
00001853: JUMPDEST
00001854: DUP3
00001855: MSTORE
00001856: POP
00001857: POP
00001858: JUMP
00001859: JUMPDEST
0000185a: PUSH2 0x1862
0000185d: DUP2
0000185e: PUSH2 0x1df5
00001861: JUMP
00001862: JUMPDEST
00001863: DUP3
00001864: MSTORE
00001865: POP
00001866: POP
00001867: JUMP
00001868: JUMPDEST
00001869: PUSH1 0x00
0000186b: PUSH2 0x1873
0000186e: DUP3
0000186f: PUSH2 0x1cf4
00001872: JUMP
00001873: JUMPDEST
00001874: PUSH2 0x187d
00001877: DUP2
00001878: DUP6
00001879: PUSH2 0x1cff
0000187c: JUMP
0000187d: JUMPDEST
0000187e: SWAP4
0000187f: POP
00001880: PUSH2 0x188d
00001883: DUP2
00001884: DUP6
00001885: PUSH1 0x20
00001887: DUP7
00001888: ADD
00001889: PUSH2 0x1e16
0000188c: JUMP
0000188d: JUMPDEST
0000188e: PUSH2 0x1896
00001891: DUP2
00001892: PUSH2 0x1f0a
00001895: JUMP
00001896: JUMPDEST
00001897: DUP5
00001898: ADD
00001899: SWAP2
0000189a: POP
0000189b: POP
0000189c: SWAP3
0000189d: SWAP2
0000189e: POP
0000189f: POP
000018a0: JUMP
000018a1: JUMPDEST
000018a2: PUSH1 0x00
000018a4: DUP2
000018a5: SLOAD
000018a6: PUSH2 0x18ae
000018a9: DUP2
000018aa: PUSH2 0x1e49
000018ad: JUMP
000018ae: JUMPDEST
000018af: PUSH2 0x18b8
000018b2: DUP2
000018b3: DUP7
000018b4: PUSH2 0x1cff
000018b7: JUMP
000018b8: JUMPDEST
000018b9: SWAP5
000018ba: POP
000018bb: PUSH1 0x01
000018bd: DUP3
000018be: AND
000018bf: PUSH1 0x00
000018c1: DUP2
000018c2: EQ
000018c3: PUSH2 0x18d3
000018c6: JUMPI
000018c7: PUSH1 0x01
000018c9: DUP2
000018ca: EQ
000018cb: PUSH2 0x18e5
000018ce: JUMPI
000018cf: PUSH2 0x1918
000018d2: JUMP
000018d3: JUMPDEST
000018d4: PUSH1 0xff
000018d6: NOT
000018d7: DUP4
000018d8: AND
000018d9: DUP7
000018da: MSTORE
000018db: PUSH1 0x20
000018dd: DUP7
000018de: ADD
000018df: SWAP4
000018e0: POP
000018e1: PUSH2 0x1918
000018e4: JUMP
000018e5: JUMPDEST
000018e6: PUSH2 0x18ee
000018e9: DUP6
000018ea: PUSH2 0x1cdf
000018ed: JUMP
000018ee: JUMPDEST
000018ef: PUSH1 0x00
000018f1: JUMPDEST
000018f2: DUP4
000018f3: DUP2
000018f4: LT
000018f5: ISZERO
000018f6: PUSH2 0x1910
000018f9: JUMPI
000018fa: DUP2
000018fb: SLOAD
000018fc: DUP2
000018fd: DUP10
000018fe: ADD
000018ff: MSTORE
00001900: PUSH1 0x01
00001902: DUP3
00001903: ADD
00001904: SWAP2
00001905: POP
00001906: PUSH1 0x20
00001908: DUP2
00001909: ADD
0000190a: SWAP1
0000190b: POP
0000190c: PUSH2 0x18f1
0000190f: JUMP
00001910: JUMPDEST
00001911: DUP1
00001912: DUP9
00001913: ADD
00001914: SWAP6
00001915: POP
00001916: POP
00001917: POP
00001918: JUMPDEST
00001919: POP
0000191a: POP
0000191b: POP
0000191c: SWAP3
0000191d: SWAP2
0000191e: POP
0000191f: POP
00001920: JUMP
00001921: JUMPDEST
00001922: PUSH1 0x00
00001924: PUSH2 0x192e
00001927: PUSH1 0x26
00001929: DUP4
0000192a: PUSH2 0x1cff
0000192d: JUMP
0000192e: JUMPDEST
0000192f: SWAP2
00001930: POP
00001931: PUSH2 0x1939
00001934: DUP3
00001935: PUSH2 0x1f1b
00001938: JUMP
00001939: JUMPDEST
0000193a: PUSH1 0x40
0000193c: DUP3
0000193d: ADD
0000193e: SWAP1
0000193f: POP
00001940: SWAP2
00001941: SWAP1
00001942: POP
00001943: JUMP
00001944: JUMPDEST
00001945: PUSH1 0x00
00001947: PUSH2 0x1951
0000194a: PUSH1 0x0d
0000194c: DUP4
0000194d: PUSH2 0x1cff
00001950: JUMP
00001951: JUMPDEST
00001952: SWAP2
00001953: POP
00001954: PUSH2 0x195c
00001957: DUP3
00001958: PUSH2 0x1f6a
0000195b: JUMP
0000195c: JUMPDEST
0000195d: PUSH1 0x20
0000195f: DUP3
00001960: ADD
00001961: SWAP1
00001962: POP
00001963: SWAP2
00001964: SWAP1
00001965: POP
00001966: JUMP
00001967: JUMPDEST
00001968: PUSH1 0x00
0000196a: PUSH2 0x1974
0000196d: PUSH1 0x15
0000196f: DUP4
00001970: PUSH2 0x1cff
00001973: JUMP
00001974: JUMPDEST
00001975: SWAP2
00001976: POP
00001977: PUSH2 0x197f
0000197a: DUP3
0000197b: PUSH2 0x1f93
0000197e: JUMP
0000197f: JUMPDEST
00001980: PUSH1 0x20
00001982: DUP3
00001983: ADD
00001984: SWAP1
00001985: POP
00001986: SWAP2
00001987: SWAP1
00001988: POP
00001989: JUMP
0000198a: JUMPDEST
0000198b: PUSH1 0x00
0000198d: PUSH2 0x1997
00001990: PUSH1 0x20
00001992: DUP4
00001993: PUSH2 0x1cff
00001996: JUMP
00001997: JUMPDEST
00001998: SWAP2
00001999: POP
0000199a: PUSH2 0x19a2
0000199d: DUP3
0000199e: PUSH2 0x1fbc
000019a1: JUMP
000019a2: JUMPDEST
000019a3: PUSH1 0x20
000019a5: DUP3
000019a6: ADD
000019a7: SWAP1
000019a8: POP
000019a9: SWAP2
000019aa: SWAP1
000019ab: POP
000019ac: JUMP
000019ad: JUMPDEST
000019ae: PUSH2 0x19b6
000019b1: DUP2
000019b2: PUSH2 0x1d96
000019b5: JUMP
000019b6: JUMPDEST
000019b7: DUP3
000019b8: MSTORE
000019b9: POP
000019ba: POP
000019bb: JUMP
000019bc: JUMPDEST
000019bd: PUSH1 0x00
000019bf: PUSH1 0x20
000019c1: DUP3
000019c2: ADD
000019c3: SWAP1
000019c4: POP
000019c5: PUSH2 0x19d1
000019c8: PUSH1 0x00
000019ca: DUP4
000019cb: ADD
000019cc: DUP5
000019cd: PUSH2 0x17ff
000019d0: JUMP
000019d1: JUMPDEST
000019d2: SWAP3
000019d3: SWAP2
000019d4: POP
000019d5: POP
000019d6: JUMP
000019d7: JUMPDEST
000019d8: PUSH1 0x00
000019da: PUSH1 0x60
000019dc: DUP3
000019dd: ADD
000019de: SWAP1
000019df: POP
000019e0: PUSH2 0x19ec
000019e3: PUSH1 0x00
000019e5: DUP4
000019e6: ADD
000019e7: DUP7
000019e8: PUSH2 0x17ff
000019eb: JUMP
000019ec: JUMPDEST
000019ed: PUSH2 0x19f9
000019f0: PUSH1 0x20
000019f2: DUP4
000019f3: ADD
000019f4: DUP6
000019f5: PUSH2 0x17ff
000019f8: JUMP
000019f9: JUMPDEST
000019fa: PUSH2 0x1a06
000019fd: PUSH1 0x40
000019ff: DUP4
00001a00: ADD
00001a01: DUP5
00001a02: PUSH2 0x19ad
00001a05: JUMP
00001a06: JUMPDEST
00001a07: SWAP5
00001a08: SWAP4
00001a09: POP
00001a0a: POP
00001a0b: POP
00001a0c: POP
00001a0d: JUMP
00001a0e: JUMPDEST
00001a0f: PUSH1 0x00
00001a11: PUSH1 0x40
00001a13: DUP3
00001a14: ADD
00001a15: SWAP1
00001a16: POP
00001a17: PUSH2 0x1a23
00001a1a: PUSH1 0x00
00001a1c: DUP4
00001a1d: ADD
00001a1e: DUP6
00001a1f: PUSH2 0x17ff
00001a22: JUMP
00001a23: JUMPDEST
00001a24: PUSH2 0x1a30
00001a27: PUSH1 0x20
00001a29: DUP4
00001a2a: ADD
00001a2b: DUP5
00001a2c: PUSH2 0x180e
00001a2f: JUMP
00001a30: JUMPDEST
00001a31: SWAP4
00001a32: SWAP3
00001a33: POP
00001a34: POP
00001a35: POP
00001a36: JUMP
00001a37: JUMPDEST
00001a38: PUSH1 0x00
00001a3a: PUSH1 0x40
00001a3c: DUP3
00001a3d: ADD
00001a3e: SWAP1
00001a3f: POP
00001a40: PUSH2 0x1a4c
00001a43: PUSH1 0x00
00001a45: DUP4
00001a46: ADD
00001a47: DUP6
00001a48: PUSH2 0x17ff
00001a4b: JUMP
00001a4c: JUMPDEST
00001a4d: DUP2
00001a4e: DUP2
00001a4f: SUB
00001a50: PUSH1 0x20
00001a52: DUP4
00001a53: ADD
00001a54: MSTORE
00001a55: PUSH2 0x1a5e
00001a58: DUP2
00001a59: DUP5
00001a5a: PUSH2 0x18a1
00001a5d: JUMP
00001a5e: JUMPDEST
00001a5f: SWAP1
00001a60: POP
00001a61: SWAP4
00001a62: SWAP3
00001a63: POP
00001a64: POP
00001a65: POP
00001a66: JUMP
00001a67: JUMPDEST
00001a68: PUSH1 0x00
00001a6a: PUSH1 0x20
00001a6c: DUP3
00001a6d: ADD
00001a6e: SWAP1
00001a6f: POP
00001a70: PUSH2 0x1a7c
00001a73: PUSH1 0x00
00001a75: DUP4
00001a76: ADD
00001a77: DUP5
00001a78: PUSH2 0x181d
00001a7b: JUMP
00001a7c: JUMPDEST
00001a7d: SWAP3
00001a7e: SWAP2
00001a7f: POP
00001a80: POP
00001a81: JUMP
00001a82: JUMPDEST
00001a83: PUSH1 0x00
00001a85: PUSH1 0x20
00001a87: DUP3
00001a88: ADD
00001a89: SWAP1
00001a8a: POP
00001a8b: PUSH2 0x1a97
00001a8e: PUSH1 0x00
00001a90: DUP4
00001a91: ADD
00001a92: DUP5
00001a93: PUSH2 0x182c
00001a96: JUMP
00001a97: JUMPDEST
00001a98: SWAP3
00001a99: SWAP2
00001a9a: POP
00001a9b: POP
00001a9c: JUMP
00001a9d: JUMPDEST
00001a9e: PUSH1 0x00
00001aa0: PUSH1 0x20
00001aa2: DUP3
00001aa3: ADD
00001aa4: SWAP1
00001aa5: POP
00001aa6: PUSH2 0x1ab2
00001aa9: PUSH1 0x00
00001aab: DUP4
00001aac: ADD
00001aad: DUP5
00001aae: PUSH2 0x183b
00001ab1: JUMP
00001ab2: JUMPDEST
00001ab3: SWAP3
00001ab4: SWAP2
00001ab5: POP
00001ab6: POP
00001ab7: JUMP
00001ab8: JUMPDEST
00001ab9: PUSH1 0x00
00001abb: PUSH1 0x20
00001abd: DUP3
00001abe: ADD
00001abf: SWAP1
00001ac0: POP
00001ac1: PUSH2 0x1acd
00001ac4: PUSH1 0x00
00001ac6: DUP4
00001ac7: ADD
00001ac8: DUP5
00001ac9: PUSH2 0x184a
00001acc: JUMP
00001acd: JUMPDEST
00001ace: SWAP3
00001acf: SWAP2
00001ad0: POP
00001ad1: POP
00001ad2: JUMP
00001ad3: JUMPDEST
00001ad4: PUSH1 0x00
00001ad6: PUSH1 0x20
00001ad8: DUP3
00001ad9: ADD
00001ada: SWAP1
00001adb: POP
00001adc: DUP2
00001add: DUP2
00001ade: SUB
00001adf: PUSH1 0x00
00001ae1: DUP4
00001ae2: ADD
00001ae3: MSTORE
00001ae4: PUSH2 0x1aed
00001ae7: DUP2
00001ae8: DUP5
00001ae9: PUSH2 0x1868
00001aec: JUMP
00001aed: JUMPDEST
00001aee: SWAP1
00001aef: POP
00001af0: SWAP3
00001af1: SWAP2
00001af2: POP
00001af3: POP
00001af4: JUMP
00001af5: JUMPDEST
00001af6: PUSH1 0x00
00001af8: PUSH1 0x20
00001afa: DUP3
00001afb: ADD
00001afc: SWAP1
00001afd: POP
00001afe: DUP2
00001aff: DUP2
00001b00: SUB
00001b01: PUSH1 0x00
00001b03: DUP4
00001b04: ADD
00001b05: MSTORE
00001b06: PUSH2 0x1b0e
00001b09: DUP2
00001b0a: PUSH2 0x1921
00001b0d: JUMP
00001b0e: JUMPDEST
00001b0f: SWAP1
00001b10: POP
00001b11: SWAP2
00001b12: SWAP1
00001b13: POP
00001b14: JUMP
00001b15: JUMPDEST
00001b16: PUSH1 0x00
00001b18: PUSH1 0x20
00001b1a: DUP3
00001b1b: ADD
00001b1c: SWAP1
00001b1d: POP
00001b1e: DUP2
00001b1f: DUP2
00001b20: SUB
00001b21: PUSH1 0x00
00001b23: DUP4
00001b24: ADD
00001b25: MSTORE
00001b26: PUSH2 0x1b2e
00001b29: DUP2
00001b2a: PUSH2 0x1944
00001b2d: JUMP
00001b2e: JUMPDEST
00001b2f: SWAP1
00001b30: POP
00001b31: SWAP2
00001b32: SWAP1
00001b33: POP
00001b34: JUMP
00001b35: JUMPDEST
00001b36: PUSH1 0x00
00001b38: PUSH1 0x20
00001b3a: DUP3
00001b3b: ADD
00001b3c: SWAP1
00001b3d: POP
00001b3e: DUP2
00001b3f: DUP2
00001b40: SUB
00001b41: PUSH1 0x00
00001b43: DUP4
00001b44: ADD
00001b45: MSTORE
00001b46: PUSH2 0x1b4e
00001b49: DUP2
00001b4a: PUSH2 0x1967
00001b4d: JUMP
00001b4e: JUMPDEST
00001b4f: SWAP1
00001b50: POP
00001b51: SWAP2
00001b52: SWAP1
00001b53: POP
00001b54: JUMP
00001b55: JUMPDEST
00001b56: PUSH1 0x00
00001b58: PUSH1 0x20
00001b5a: DUP3
00001b5b: ADD
00001b5c: SWAP1
00001b5d: POP
00001b5e: DUP2
00001b5f: DUP2
00001b60: SUB
00001b61: PUSH1 0x00
00001b63: DUP4
00001b64: ADD
00001b65: MSTORE
00001b66: PUSH2 0x1b6e
00001b69: DUP2
00001b6a: PUSH2 0x198a
00001b6d: JUMP
00001b6e: JUMPDEST
00001b6f: SWAP1
00001b70: POP
00001b71: SWAP2
00001b72: SWAP1
00001b73: POP
00001b74: JUMP
00001b75: JUMPDEST
00001b76: PUSH1 0x00
00001b78: PUSH1 0x20
00001b7a: DUP3
00001b7b: ADD
00001b7c: SWAP1
00001b7d: POP
00001b7e: PUSH2 0x1b8a
00001b81: PUSH1 0x00
00001b83: DUP4
00001b84: ADD
00001b85: DUP5
00001b86: PUSH2 0x19ad
00001b89: JUMP
00001b8a: JUMPDEST
00001b8b: SWAP3
00001b8c: SWAP2
00001b8d: POP
00001b8e: POP
00001b8f: JUMP
00001b90: JUMPDEST
00001b91: PUSH1 0x00
00001b93: PUSH1 0xe0
00001b95: DUP3
00001b96: ADD
00001b97: SWAP1
00001b98: POP
00001b99: PUSH2 0x1ba5
00001b9c: PUSH1 0x00
00001b9e: DUP4
00001b9f: ADD
00001ba0: DUP11
00001ba1: PUSH2 0x19ad
00001ba4: JUMP
00001ba5: JUMPDEST
00001ba6: PUSH2 0x1bb2
00001ba9: PUSH1 0x20
00001bab: DUP4
00001bac: ADD
00001bad: DUP10
00001bae: PUSH2 0x17ff
00001bb1: JUMP
00001bb2: JUMPDEST
00001bb3: PUSH2 0x1bbf
00001bb6: PUSH1 0x40
00001bb8: DUP4
00001bb9: ADD
00001bba: DUP9
00001bbb: PUSH2 0x19ad
00001bbe: JUMP
00001bbf: JUMPDEST
00001bc0: PUSH2 0x1bcc
00001bc3: PUSH1 0x60
00001bc5: DUP4
00001bc6: ADD
00001bc7: DUP8
00001bc8: PUSH2 0x19ad
00001bcb: JUMP
00001bcc: JUMPDEST
00001bcd: PUSH2 0x1bd9
00001bd0: PUSH1 0x80
00001bd2: DUP4
00001bd3: ADD
00001bd4: DUP7
00001bd5: PUSH2 0x17f0
00001bd8: JUMP
00001bd9: JUMPDEST
00001bda: PUSH2 0x1be6
00001bdd: PUSH1 0xa0
00001bdf: DUP4
00001be0: ADD
00001be1: DUP6
00001be2: PUSH2 0x1859
00001be5: JUMP
00001be6: JUMPDEST
00001be7: PUSH2 0x1bf3
00001bea: PUSH1 0xc0
00001bec: DUP4
00001bed: ADD
00001bee: DUP5
00001bef: PUSH2 0x17ff
00001bf2: JUMP
00001bf3: JUMPDEST
00001bf4: SWAP9
00001bf5: SWAP8
00001bf6: POP
00001bf7: POP
00001bf8: POP
00001bf9: POP
00001bfa: POP
00001bfb: POP
00001bfc: POP
00001bfd: POP
00001bfe: JUMP
00001bff: JUMPDEST
00001c00: PUSH1 0x00
00001c02: PUSH1 0x40
00001c04: DUP3
00001c05: ADD
00001c06: SWAP1
00001c07: POP
00001c08: PUSH2 0x1c14
00001c0b: PUSH1 0x00
00001c0d: DUP4
00001c0e: ADD
00001c0f: DUP6
00001c10: PUSH2 0x19ad
00001c13: JUMP
00001c14: JUMPDEST
00001c15: DUP2
00001c16: DUP2
00001c17: SUB
00001c18: PUSH1 0x20
00001c1a: DUP4
00001c1b: ADD
00001c1c: MSTORE
00001c1d: PUSH2 0x1c26
00001c20: DUP2
00001c21: DUP5
00001c22: PUSH2 0x1868
00001c25: JUMP
00001c26: JUMPDEST
00001c27: SWAP1
00001c28: POP
00001c29: SWAP4
00001c2a: SWAP3
00001c2b: POP
00001c2c: POP
00001c2d: POP
00001c2e: JUMP
00001c2f: JUMPDEST
00001c30: PUSH1 0x00
00001c32: PUSH1 0x40
00001c34: DUP3
00001c35: ADD
00001c36: SWAP1
00001c37: POP
00001c38: PUSH2 0x1c44
00001c3b: PUSH1 0x00
00001c3d: DUP4
00001c3e: ADD
00001c3f: DUP6
00001c40: PUSH2 0x19ad
00001c43: JUMP
00001c44: JUMPDEST
00001c45: PUSH2 0x1c51
00001c48: PUSH1 0x20
00001c4a: DUP4
00001c4b: ADD
00001c4c: DUP5
00001c4d: PUSH2 0x19ad
00001c50: JUMP
00001c51: JUMPDEST
00001c52: SWAP4
00001c53: SWAP3
00001c54: POP
00001c55: POP
00001c56: POP
00001c57: JUMP
00001c58: JUMPDEST
00001c59: PUSH1 0x00
00001c5b: PUSH2 0x1c62
00001c5e: PUSH2 0x1c73
00001c61: JUMP
00001c62: JUMPDEST
00001c63: SWAP1
00001c64: POP
00001c65: PUSH2 0x1c6e
00001c68: DUP3
00001c69: DUP3
00001c6a: PUSH2 0x1e7b
00001c6d: JUMP
00001c6e: JUMPDEST
00001c6f: SWAP2
00001c70: SWAP1
00001c71: POP
00001c72: JUMP
00001c73: JUMPDEST
00001c74: PUSH1 0x00
00001c76: PUSH1 0x40
00001c78: MLOAD
00001c79: SWAP1
00001c7a: POP
00001c7b: SWAP1
00001c7c: JUMP
00001c7d: JUMPDEST
00001c7e: PUSH1 0x00
00001c80: PUSH8 0xffffffffffffffff
00001c89: DUP3
00001c8a: GT
00001c8b: ISZERO
00001c8c: PUSH2 0x1c98
00001c8f: JUMPI
00001c90: PUSH2 0x1c97
00001c93: PUSH2 0x1edb
00001c96: JUMP
00001c97: JUMPDEST
00001c98: JUMPDEST
00001c99: PUSH2 0x1ca1
00001c9c: DUP3
00001c9d: PUSH2 0x1f0a
00001ca0: JUMP
00001ca1: JUMPDEST
00001ca2: SWAP1
00001ca3: POP
00001ca4: PUSH1 0x20
00001ca6: DUP2
00001ca7: ADD
00001ca8: SWAP1
00001ca9: POP
00001caa: SWAP2
00001cab: SWAP1
00001cac: POP
00001cad: JUMP
00001cae: JUMPDEST
00001caf: PUSH1 0x00
00001cb1: PUSH8 0xffffffffffffffff
00001cba: DUP3
00001cbb: GT
00001cbc: ISZERO
00001cbd: PUSH2 0x1cc9
00001cc0: JUMPI
00001cc1: PUSH2 0x1cc8
00001cc4: PUSH2 0x1edb
00001cc7: JUMP
00001cc8: JUMPDEST
00001cc9: JUMPDEST
00001cca: PUSH2 0x1cd2
00001ccd: DUP3
00001cce: PUSH2 0x1f0a
00001cd1: JUMP
00001cd2: JUMPDEST
00001cd3: SWAP1
00001cd4: POP
00001cd5: PUSH1 0x20
00001cd7: DUP2
00001cd8: ADD
00001cd9: SWAP1
00001cda: POP
00001cdb: SWAP2
00001cdc: SWAP1
00001cdd: POP
00001cde: JUMP
00001cdf: JUMPDEST
00001ce0: PUSH1 0x00
00001ce2: DUP2
00001ce3: SWAP1
00001ce4: POP
00001ce5: DUP2
00001ce6: PUSH1 0x00
00001ce8: MSTORE
00001ce9: PUSH1 0x20
00001ceb: PUSH1 0x00
00001ced: KECCAK256
00001cee: SWAP1
00001cef: POP
00001cf0: SWAP2
00001cf1: SWAP1
00001cf2: POP
00001cf3: JUMP
00001cf4: JUMPDEST
00001cf5: PUSH1 0x00
00001cf7: DUP2
00001cf8: MLOAD
00001cf9: SWAP1
00001cfa: POP
00001cfb: SWAP2
00001cfc: SWAP1
00001cfd: POP
00001cfe: JUMP
00001cff: JUMPDEST
00001d00: PUSH1 0x00
00001d02: DUP3
00001d03: DUP3
00001d04: MSTORE
00001d05: PUSH1 0x20
00001d07: DUP3
00001d08: ADD
00001d09: SWAP1
00001d0a: POP
00001d0b: SWAP3
00001d0c: SWAP2
00001d0d: POP
00001d0e: POP
00001d0f: JUMP
00001d10: JUMPDEST
00001d11: PUSH1 0x00
00001d13: PUSH2 0x1d1b
00001d16: DUP3
00001d17: PUSH2 0x1d76
00001d1a: JUMP
00001d1b: JUMPDEST
00001d1c: SWAP1
00001d1d: POP
00001d1e: SWAP2
00001d1f: SWAP1
00001d20: POP
00001d21: JUMP
00001d22: JUMPDEST
00001d23: PUSH1 0x00
00001d25: PUSH2 0x1d2d
00001d28: DUP3
00001d29: PUSH2 0x1d76
00001d2c: JUMP
00001d2d: JUMPDEST
00001d2e: SWAP1
00001d2f: POP
00001d30: SWAP2
00001d31: SWAP1
00001d32: POP
00001d33: JUMP
00001d34: JUMPDEST
00001d35: PUSH1 0x00
00001d37: DUP2
00001d38: ISZERO
00001d39: ISZERO
00001d3a: SWAP1
00001d3b: POP
00001d3c: SWAP2
00001d3d: SWAP1
00001d3e: POP
00001d3f: JUMP
00001d40: JUMPDEST
00001d41: PUSH1 0x00
00001d43: DUP2
00001d44: SWAP1
00001d45: POP
00001d46: SWAP2
00001d47: SWAP1
00001d48: POP
00001d49: JUMP
00001d4a: JUMPDEST
00001d4b: PUSH1 0x00
00001d4d: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
00001d6e: DUP3
00001d6f: AND
00001d70: SWAP1
00001d71: POP
00001d72: SWAP2
00001d73: SWAP1
00001d74: POP
00001d75: JUMP
00001d76: JUMPDEST
00001d77: PUSH1 0x00
00001d79: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d8e: DUP3
00001d8f: AND
00001d90: SWAP1
00001d91: POP
00001d92: SWAP2
00001d93: SWAP1
00001d94: POP
00001d95: JUMP
00001d96: JUMPDEST
00001d97: PUSH1 0x00
00001d99: DUP2
00001d9a: SWAP1
00001d9b: POP
00001d9c: SWAP2
00001d9d: SWAP1
00001d9e: POP
00001d9f: JUMP
00001da0: JUMPDEST
00001da1: PUSH1 0x00
00001da3: PUSH1 0xff
00001da5: DUP3
00001da6: AND
00001da7: SWAP1
00001da8: POP
00001da9: SWAP2
00001daa: SWAP1
00001dab: POP
00001dac: JUMP
00001dad: JUMPDEST
00001dae: PUSH1 0x00
00001db0: PUSH2 0x1db8
00001db3: DUP3
00001db4: PUSH2 0x1dbf
00001db7: JUMP
00001db8: JUMPDEST
00001db9: SWAP1
00001dba: POP
00001dbb: SWAP2
00001dbc: SWAP1
00001dbd: POP
00001dbe: JUMP
00001dbf: JUMPDEST
00001dc0: PUSH1 0x00
00001dc2: PUSH2 0x1dca
00001dc5: DUP3
00001dc6: PUSH2 0x1d76
00001dc9: JUMP
00001dca: JUMPDEST
00001dcb: SWAP1
00001dcc: POP
00001dcd: SWAP2
00001dce: SWAP1
00001dcf: POP
00001dd0: JUMP
00001dd1: JUMPDEST
00001dd2: PUSH1 0x00
00001dd4: PUSH2 0x1ddc
00001dd7: DUP3
00001dd8: PUSH2 0x1de3
00001ddb: JUMP
00001ddc: JUMPDEST
00001ddd: SWAP1
00001dde: POP
00001ddf: SWAP2
00001de0: SWAP1
00001de1: POP
00001de2: JUMP
00001de3: JUMPDEST
00001de4: PUSH1 0x00
00001de6: PUSH2 0x1dee
00001de9: DUP3
00001dea: PUSH2 0x1d76
00001ded: JUMP
00001dee: JUMPDEST
00001def: SWAP1
00001df0: POP
00001df1: SWAP2
00001df2: SWAP1
00001df3: POP
00001df4: JUMP
00001df5: JUMPDEST
00001df6: PUSH1 0x00
00001df8: PUSH2 0x1e00
00001dfb: DUP3
00001dfc: PUSH2 0x1da0
00001dff: JUMP
00001e00: JUMPDEST
00001e01: SWAP1
00001e02: POP
00001e03: SWAP2
00001e04: SWAP1
00001e05: POP
00001e06: JUMP
00001e07: JUMPDEST
00001e08: DUP3
00001e09: DUP2
00001e0a: DUP4
00001e0b: CALLDATACOPY
00001e0c: PUSH1 0x00
00001e0e: DUP4
00001e0f: DUP4
00001e10: ADD
00001e11: MSTORE
00001e12: POP
00001e13: POP
00001e14: POP
00001e15: JUMP
00001e16: JUMPDEST
00001e17: PUSH1 0x00
00001e19: JUMPDEST
00001e1a: DUP4
00001e1b: DUP2
00001e1c: LT
00001e1d: ISZERO
00001e1e: PUSH2 0x1e34
00001e21: JUMPI
00001e22: DUP1
00001e23: DUP3
00001e24: ADD
00001e25: MLOAD
00001e26: DUP2
00001e27: DUP5
00001e28: ADD
00001e29: MSTORE
00001e2a: PUSH1 0x20
00001e2c: DUP2
00001e2d: ADD
00001e2e: SWAP1
00001e2f: POP
00001e30: PUSH2 0x1e19
00001e33: JUMP
00001e34: JUMPDEST
00001e35: DUP4
00001e36: DUP2
00001e37: GT
00001e38: ISZERO
00001e39: PUSH2 0x1e43
00001e3c: JUMPI
00001e3d: PUSH1 0x00
00001e3f: DUP5
00001e40: DUP5
00001e41: ADD
00001e42: MSTORE
00001e43: JUMPDEST
00001e44: POP
00001e45: POP
00001e46: POP
00001e47: POP
00001e48: JUMP
00001e49: JUMPDEST
00001e4a: PUSH1 0x00
00001e4c: PUSH1 0x02
00001e4e: DUP3
00001e4f: DIV
00001e50: SWAP1
00001e51: POP
00001e52: PUSH1 0x01
00001e54: DUP3
00001e55: AND
00001e56: DUP1
00001e57: PUSH2 0x1e61
00001e5a: JUMPI
00001e5b: PUSH1 0x7f
00001e5d: DUP3
00001e5e: AND
00001e5f: SWAP2
00001e60: POP
00001e61: JUMPDEST
00001e62: PUSH1 0x20
00001e64: DUP3
00001e65: LT
00001e66: DUP2
00001e67: EQ
00001e68: ISZERO
00001e69: PUSH2 0x1e75
00001e6c: JUMPI
00001e6d: PUSH2 0x1e74
00001e70: PUSH2 0x1eac
00001e73: JUMP
00001e74: JUMPDEST
00001e75: JUMPDEST
00001e76: POP
00001e77: SWAP2
00001e78: SWAP1
00001e79: POP
00001e7a: JUMP
00001e7b: JUMPDEST
00001e7c: PUSH2 0x1e84
00001e7f: DUP3
00001e80: PUSH2 0x1f0a
00001e83: JUMP
00001e84: JUMPDEST
00001e85: DUP2
00001e86: ADD
00001e87: DUP2
00001e88: DUP2
00001e89: LT
00001e8a: PUSH8 0xffffffffffffffff
00001e93: DUP3
00001e94: GT
00001e95: OR
00001e96: ISZERO
00001e97: PUSH2 0x1ea3
00001e9a: JUMPI
00001e9b: PUSH2 0x1ea2
00001e9e: PUSH2 0x1edb
00001ea1: JUMP
00001ea2: JUMPDEST
00001ea3: JUMPDEST
00001ea4: DUP1
00001ea5: PUSH1 0x40
00001ea7: MSTORE
00001ea8: POP
00001ea9: POP
00001eaa: POP
00001eab: JUMP
00001eac: JUMPDEST
00001ead: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00001ece: PUSH1 0x00
00001ed0: MSTORE
00001ed1: PUSH1 0x22
00001ed3: PUSH1 0x04
00001ed5: MSTORE
00001ed6: PUSH1 0x24
00001ed8: PUSH1 0x00
00001eda: REVERT
00001edb: JUMPDEST
00001edc: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00001efd: PUSH1 0x00
00001eff: MSTORE
00001f00: PUSH1 0x41
00001f02: PUSH1 0x04
00001f04: MSTORE
00001f05: PUSH1 0x24
00001f07: PUSH1 0x00
00001f09: REVERT
00001f0a: JUMPDEST
00001f0b: PUSH1 0x00
00001f0d: PUSH1 0x1f
00001f0f: NOT
00001f10: PUSH1 0x1f
00001f12: DUP4
00001f13: ADD
00001f14: AND
00001f15: SWAP1
00001f16: POP
00001f17: SWAP2
00001f18: SWAP1
00001f19: POP
00001f1a: JUMP
00001f1b: JUMPDEST
00001f1c: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061
00001f3d: PUSH1 0x00
00001f3f: DUP3
00001f40: ADD
00001f41: MSTORE
00001f42: PUSH32 0x6464726573730000000000000000000000000000000000000000000000000000
00001f63: PUSH1 0x20
00001f65: DUP3
00001f66: ADD
00001f67: MSTORE
00001f68: POP
00001f69: JUMP
00001f6a: JUMPDEST
00001f6b: PUSH32 0x656e6465642061756374696f6e00000000000000000000000000000000000000
00001f8c: PUSH1 0x00
00001f8e: DUP3
00001f8f: ADD
00001f90: MSTORE
00001f91: POP
00001f92: JUMP
00001f93: JUMPDEST
00001f94: PUSH32 0x61756374696f6e20616c726561647920656e6465640000000000000000000000
00001fb5: PUSH1 0x00
00001fb7: DUP3
00001fb8: ADD
00001fb9: MSTORE
00001fba: POP
00001fbb: JUMP
00001fbc: JUMPDEST
00001fbd: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00001fde: PUSH1 0x00
00001fe0: DUP3
00001fe1: ADD
00001fe2: MSTORE
00001fe3: POP
00001fe4: JUMP
00001fe5: JUMPDEST
00001fe6: PUSH2 0x1fee
00001fe9: DUP2
00001fea: PUSH2 0x1d10
00001fed: JUMP
00001fee: JUMPDEST
00001fef: DUP2
00001ff0: EQ
00001ff1: PUSH2 0x1ff9
00001ff4: JUMPI
00001ff5: PUSH1 0x00
00001ff7: DUP1
00001ff8: REVERT
00001ff9: JUMPDEST
00001ffa: POP
00001ffb: JUMP
00001ffc: JUMPDEST
00001ffd: PUSH2 0x2005
00002000: DUP2
00002001: PUSH2 0x1d40
00002004: JUMP
00002005: JUMPDEST
00002006: DUP2
00002007: EQ
00002008: PUSH2 0x2010
0000200b: JUMPI
0000200c: PUSH1 0x00
0000200e: DUP1
0000200f: REVERT
00002010: JUMPDEST
00002011: POP
00002012: JUMP
00002013: JUMPDEST
00002014: PUSH2 0x201c
00002017: DUP2
00002018: PUSH2 0x1d96
0000201b: JUMP
0000201c: JUMPDEST
0000201d: DUP2
0000201e: EQ
0000201f: PUSH2 0x2027
00002022: JUMPI
00002023: PUSH1 0x00
00002025: DUP1
00002026: REVERT
00002027: JUMPDEST
00002028: POP
00002029: JUMP
0000202a: INVALID
0000202b: LOG2
0000202c: PUSH5 0x6970667358
00002032: UNKNOWN(0x22)
00002033: SLT
00002034: KECCAK256
00002035: UNKNOWN(0xDE)
00002036: UNKNOWN(0xA8)
00002037: UNKNOWN(0xE5)
00002038: MSIZE
00002039: SWAP13
0000203a: RETURNDATACOPY
0000203b: BASEFEE
0000203c: UNKNOWN(0xAB)
0000203d: PUSH30 0xb842a7425304b37039ab04cca2954e755d3a949dc6b79a64736f6c634300
0000205c: ADDMOD
0000205d: DIV
0000205e: STOP
0000205f: CALLER
Findings

validated = confirmed for call sinks; sink observed for others
Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
high	other	detector	Untrusted CALL target/value reachable	60	no	no	view trace_id: 0x671e0dec0c5e326333fb965477a03999d88ee23280c23d66bcbecb9eb025484d call_targets: 0xdc0625599a7a15273c591bb7bfe39b280439d86c target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x671e0dec0c5e326333fb965477a03999d88ee23280c23d66bcbecb9eb025484d", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xdc0625599a7a15273c591bb7bfe39b280439d86c" ], "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": "0xdb2e1eed", "selector": "0xdb2e1eed", "calldata_variants": [ "0xdb2e1eed", "0xdb2e1eed0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe76d8952", "selector": "0xe76d8952", "calldata_variants": [ "0xe76d8952", "0xe76d89520000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xed9152c8", "selector": "0xed9152c8", "calldata_variants": [ "0xed9152c8", "0xed9152c80000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf6be71d1", "selector": "0xf6be71d1", "calldata_variants": [ "0xf6be71d1", "0xf6be71d10000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x8da5cb5b", "selector": "0x8da5cb5b", "calldata_variants": [ "0x8da5cb5b", "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x961b417c", "selector": "0x961b417c", "calldata_variants": [ "0x961b417c", "0x961b417c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x98afd583", "selector": "0x98afd583", "calldata_variants": [ "0x98afd583", "0x98afd5830000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 1300, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1833, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 2129, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 9, "guards_detected": [], "untrusted_call_count": 9 }
high	other	detector	ETH value transfer possible	55	no	no	view trace_id: 0x671e0dec0c5e326333fb965477a03999d88ee23280c23d66bcbecb9eb025484d call_targets: 0xdc0625599a7a15273c591bb7bfe39b280439d86c target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x671e0dec0c5e326333fb965477a03999d88ee23280c23d66bcbecb9eb025484d", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xdc0625599a7a15273c591bb7bfe39b280439d86c" ], "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": "0xdb2e1eed", "selector": "0xdb2e1eed", "calldata_variants": [ "0xdb2e1eed", "0xdb2e1eed0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe76d8952", "selector": "0xe76d8952", "calldata_variants": [ "0xe76d8952", "0xe76d89520000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xed9152c8", "selector": "0xed9152c8", "calldata_variants": [ "0xed9152c8", "0xed9152c80000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf6be71d1", "selector": "0xf6be71d1", "calldata_variants": [ "0xf6be71d1", "0xf6be71d10000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x8da5cb5b", "selector": "0x8da5cb5b", "calldata_variants": [ "0x8da5cb5b", "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x961b417c", "selector": "0x961b417c", "calldata_variants": [ "0x961b417c", "0x961b417c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x98afd583", "selector": "0x98afd583", "calldata_variants": [ "0x98afd583", "0x98afd5830000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 1300, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1833, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 2129, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 9, "guards_detected": [] }
Severity