Analysis Run

019b477e-cd66-72d8-9d77-be56450b01ea
complete
Chain ID
1
Address
0x8fc1c2859b8593010252b314e1c2bdffacd665ab
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
Untrusted DELEGATECALL target 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
27027	artifact.fetch	complete	1 / 3	3 months ago
27028	tool.cast_disasm	complete	1 / 3	3 months ago
92077	analysis.bundle	complete	1 / 3	1 week ago
92078	capability.graph	complete	1 / 3	1 week ago
92079	detector.run	complete	1 / 3	1 week ago
92080	validation.fork	complete	1 / 3	1 week 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
1
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
4
EXT*/BALANCE
5
Total opcodes
5572
Flags
delegatecall_present 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 0x0204
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x5a67de07
00000019: GT
0000001a: PUSH2 0x0118
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xa0712d68
00000024: GT
00000025: PUSH2 0x00a0
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xc87b56dd
0000002f: GT
00000030: PUSH2 0x006f
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xc87b56dd
0000003a: EQ
0000003b: PUSH2 0x0609
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xcfc86f7b
00000045: EQ
00000046: PUSH2 0x0629
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xe8a3d485
00000050: EQ
00000051: PUSH2 0x063e
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xe985e9c5
0000005b: EQ
0000005c: PUSH2 0x0653
0000005f: JUMPI
00000060: DUP1
00000061: PUSH4 0xf2fde38b
00000066: EQ
00000067: PUSH2 0x069c
0000006a: JUMPI
0000006b: PUSH1 0x00
0000006d: DUP1
0000006e: REVERT
0000006f: JUMPDEST
00000070: DUP1
00000071: PUSH4 0xa0712d68
00000076: EQ
00000077: PUSH2 0x0596
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xa22cb465
00000081: EQ
00000082: PUSH2 0x05a9
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0xb88d4fde
0000008c: EQ
0000008d: PUSH2 0x05c9
00000090: JUMPI
00000091: DUP1
00000092: PUSH4 0xbd3b14d3
00000097: EQ
00000098: PUSH2 0x05e9
0000009b: JUMPI
0000009c: PUSH1 0x00
0000009e: DUP1
0000009f: REVERT
000000a0: JUMPDEST
000000a1: DUP1
000000a2: PUSH4 0x715018a6
000000a7: GT
000000a8: PUSH2 0x00e7
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0x715018a6
000000b2: EQ
000000b3: PUSH2 0x0518
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0x8da5cb5b
000000bd: EQ
000000be: PUSH2 0x052d
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0x91b7f5ed
000000c8: EQ
000000c9: PUSH2 0x054b
000000cc: JUMPI
000000cd: DUP1
000000ce: PUSH4 0x95d89b41
000000d3: EQ
000000d4: PUSH2 0x056b
000000d7: JUMPI
000000d8: DUP1
000000d9: PUSH4 0xa035b1fe
000000de: EQ
000000df: PUSH2 0x0580
000000e2: JUMPI
000000e3: PUSH1 0x00
000000e5: DUP1
000000e6: REVERT
000000e7: JUMPDEST
000000e8: DUP1
000000e9: PUSH4 0x5a67de07
000000ee: EQ
000000ef: PUSH2 0x0491
000000f2: JUMPI
000000f3: DUP1
000000f4: PUSH4 0x603f4d52
000000f9: EQ
000000fa: PUSH2 0x04b1
000000fd: JUMPI
000000fe: DUP1
000000ff: PUSH4 0x6352211e
00000104: EQ
00000105: PUSH2 0x04d8
00000108: JUMPI
00000109: DUP1
0000010a: PUSH4 0x70a08231
0000010f: EQ
00000110: PUSH2 0x04f8
00000113: JUMPI
00000114: PUSH1 0x00
00000116: DUP1
00000117: REVERT
00000118: JUMPDEST
00000119: DUP1
0000011a: PUSH4 0x23b872dd
0000011f: GT
00000120: PUSH2 0x019b
00000123: JUMPI
00000124: DUP1
00000125: PUSH4 0x39117668
0000012a: GT
0000012b: PUSH2 0x016a
0000012e: JUMPI
0000012f: DUP1
00000130: PUSH4 0x39117668
00000135: EQ
00000136: PUSH2 0x0405
00000139: JUMPI
0000013a: DUP1
0000013b: PUSH4 0x42842e0e
00000140: EQ
00000141: PUSH2 0x0425
00000144: JUMPI
00000145: DUP1
00000146: PUSH4 0x453c2310
0000014b: EQ
0000014c: PUSH2 0x0445
0000014f: JUMPI
00000150: DUP1
00000151: PUSH4 0x4b980d67
00000156: EQ
00000157: PUSH2 0x045b
0000015a: JUMPI
0000015b: DUP1
0000015c: PUSH4 0x55f804b3
00000161: EQ
00000162: PUSH2 0x0471
00000165: JUMPI
00000166: PUSH1 0x00
00000168: DUP1
00000169: REVERT
0000016a: JUMPDEST
0000016b: DUP1
0000016c: PUSH4 0x23b872dd
00000171: EQ
00000172: PUSH2 0x0359
00000175: JUMPI
00000176: DUP1
00000177: PUSH4 0x2a55205a
0000017c: EQ
0000017d: PUSH2 0x0379
00000180: JUMPI
00000181: DUP1
00000182: PUSH4 0x3406c726
00000187: EQ
00000188: PUSH2 0x03b8
0000018b: JUMPI
0000018c: DUP1
0000018d: PUSH4 0x34861c75
00000192: EQ
00000193: PUSH2 0x03e5
00000196: JUMPI
00000197: PUSH1 0x00
00000199: DUP1
0000019a: REVERT
0000019b: JUMPDEST
0000019c: DUP1
0000019d: PUSH4 0x081812fc
000001a2: GT
000001a3: PUSH2 0x01d7
000001a6: JUMPI
000001a7: DUP1
000001a8: PUSH4 0x081812fc
000001ad: EQ
000001ae: PUSH2 0x02c4
000001b1: JUMPI
000001b2: DUP1
000001b3: PUSH4 0x095ea7b3
000001b8: EQ
000001b9: PUSH2 0x02fc
000001bc: JUMPI
000001bd: DUP1
000001be: PUSH4 0x0cd865ec
000001c3: EQ
000001c4: PUSH2 0x031c
000001c7: JUMPI
000001c8: DUP1
000001c9: PUSH4 0x18160ddd
000001ce: EQ
000001cf: PUSH2 0x033c
000001d2: JUMPI
000001d3: PUSH1 0x00
000001d5: DUP1
000001d6: REVERT
000001d7: JUMPDEST
000001d8: DUP1
000001d9: PUSH4 0x01ffc9a7
000001de: EQ
000001df: PUSH2 0x0209
000001e2: JUMPI
000001e3: DUP1
000001e4: PUSH4 0x02fa7c47
000001e9: EQ
000001ea: PUSH2 0x023e
000001ed: JUMPI
000001ee: DUP1
000001ef: PUSH4 0x047fc9aa
000001f4: EQ
000001f5: PUSH2 0x0260
000001f8: JUMPI
000001f9: DUP1
000001fa: PUSH4 0x06fdde03
000001ff: EQ
00000200: PUSH2 0x02a2
00000203: JUMPI
00000204: JUMPDEST
00000205: PUSH1 0x00
00000207: DUP1
00000208: REVERT
00000209: JUMPDEST
0000020a: CALLVALUE
0000020b: DUP1
0000020c: ISZERO
0000020d: PUSH2 0x0215
00000210: JUMPI
00000211: PUSH1 0x00
00000213: DUP1
00000214: REVERT
00000215: JUMPDEST
00000216: POP
00000217: PUSH2 0x0229
0000021a: PUSH2 0x0224
0000021d: CALLDATASIZE
0000021e: PUSH1 0x04
00000220: PUSH2 0x1d72
00000223: JUMP
00000224: JUMPDEST
00000225: PUSH2 0x06bc
00000228: JUMP
00000229: JUMPDEST
0000022a: PUSH1 0x40
0000022c: MLOAD
0000022d: SWAP1
0000022e: ISZERO
0000022f: ISZERO
00000230: DUP2
00000231: MSTORE
00000232: PUSH1 0x20
00000234: ADD
00000235: JUMPDEST
00000236: PUSH1 0x40
00000238: MLOAD
00000239: DUP1
0000023a: SWAP2
0000023b: SUB
0000023c: SWAP1
0000023d: RETURN
0000023e: JUMPDEST
0000023f: CALLVALUE
00000240: DUP1
00000241: ISZERO
00000242: PUSH2 0x024a
00000245: JUMPI
00000246: PUSH1 0x00
00000248: DUP1
00000249: REVERT
0000024a: JUMPDEST
0000024b: POP
0000024c: PUSH2 0x025e
0000024f: PUSH2 0x0259
00000252: CALLDATASIZE
00000253: PUSH1 0x04
00000255: PUSH2 0x1d1d
00000258: JUMP
00000259: JUMPDEST
0000025a: PUSH2 0x06cd
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 0x0294
00000271: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000d05
00000292: DUP2
00000293: JUMP
00000294: JUMPDEST
00000295: PUSH1 0x40
00000297: MLOAD
00000298: SWAP1
00000299: DUP2
0000029a: MSTORE
0000029b: PUSH1 0x20
0000029d: ADD
0000029e: PUSH2 0x0235
000002a1: JUMP
000002a2: JUMPDEST
000002a3: CALLVALUE
000002a4: DUP1
000002a5: ISZERO
000002a6: PUSH2 0x02ae
000002a9: JUMPI
000002aa: PUSH1 0x00
000002ac: DUP1
000002ad: REVERT
000002ae: JUMPDEST
000002af: POP
000002b0: PUSH2 0x02b7
000002b3: PUSH2 0x070e
000002b6: JUMP
000002b7: JUMPDEST
000002b8: PUSH1 0x40
000002ba: MLOAD
000002bb: PUSH2 0x0235
000002be: SWAP2
000002bf: SWAP1
000002c0: PUSH2 0x1f4f
000002c3: JUMP
000002c4: JUMPDEST
000002c5: CALLVALUE
000002c6: DUP1
000002c7: ISZERO
000002c8: PUSH2 0x02d0
000002cb: JUMPI
000002cc: PUSH1 0x00
000002ce: DUP1
000002cf: REVERT
000002d0: JUMPDEST
000002d1: POP
000002d2: PUSH2 0x02e4
000002d5: PUSH2 0x02df
000002d8: CALLDATASIZE
000002d9: PUSH1 0x04
000002db: PUSH2 0x1df5
000002de: JUMP
000002df: JUMPDEST
000002e0: PUSH2 0x07a0
000002e3: JUMP
000002e4: JUMPDEST
000002e5: PUSH1 0x40
000002e7: MLOAD
000002e8: PUSH1 0x01
000002ea: PUSH1 0x01
000002ec: PUSH1 0xa0
000002ee: SHL
000002ef: SUB
000002f0: SWAP1
000002f1: SWAP2
000002f2: AND
000002f3: DUP2
000002f4: MSTORE
000002f5: PUSH1 0x20
000002f7: ADD
000002f8: PUSH2 0x0235
000002fb: JUMP
000002fc: JUMPDEST
000002fd: CALLVALUE
000002fe: DUP1
000002ff: ISZERO
00000300: PUSH2 0x0308
00000303: JUMPI
00000304: PUSH1 0x00
00000306: DUP1
00000307: REVERT
00000308: JUMPDEST
00000309: POP
0000030a: PUSH2 0x025e
0000030d: PUSH2 0x0317
00000310: CALLDATASIZE
00000311: PUSH1 0x04
00000313: PUSH2 0x1cf3
00000316: JUMP
00000317: JUMPDEST
00000318: PUSH2 0x07e4
0000031b: JUMP
0000031c: JUMPDEST
0000031d: CALLVALUE
0000031e: DUP1
0000031f: ISZERO
00000320: PUSH2 0x0328
00000323: JUMPI
00000324: PUSH1 0x00
00000326: DUP1
00000327: REVERT
00000328: JUMPDEST
00000329: POP
0000032a: PUSH2 0x025e
0000032d: PUSH2 0x0337
00000330: CALLDATASIZE
00000331: PUSH1 0x04
00000333: PUSH2 0x1bb6
00000336: JUMP
00000337: JUMPDEST
00000338: PUSH2 0x0872
0000033b: JUMP
0000033c: JUMPDEST
0000033d: CALLVALUE
0000033e: DUP1
0000033f: ISZERO
00000340: PUSH2 0x0348
00000343: JUMPI
00000344: PUSH1 0x00
00000346: DUP1
00000347: REVERT
00000348: JUMPDEST
00000349: POP
0000034a: PUSH1 0x01
0000034c: SLOAD
0000034d: PUSH1 0x00
0000034f: SLOAD
00000350: SUB
00000351: PUSH1 0x00
00000353: NOT
00000354: ADD
00000355: PUSH2 0x0294
00000358: JUMP
00000359: JUMPDEST
0000035a: CALLVALUE
0000035b: DUP1
0000035c: ISZERO
0000035d: PUSH2 0x0365
00000360: JUMPI
00000361: PUSH1 0x00
00000363: DUP1
00000364: REVERT
00000365: JUMPDEST
00000366: POP
00000367: PUSH2 0x025e
0000036a: PUSH2 0x0374
0000036d: CALLDATASIZE
0000036e: PUSH1 0x04
00000370: PUSH2 0x1c04
00000373: JUMP
00000374: JUMPDEST
00000375: PUSH2 0x09f9
00000378: JUMP
00000379: JUMPDEST
0000037a: CALLVALUE
0000037b: DUP1
0000037c: ISZERO
0000037d: PUSH2 0x0385
00000380: JUMPI
00000381: PUSH1 0x00
00000383: DUP1
00000384: REVERT
00000385: JUMPDEST
00000386: POP
00000387: PUSH2 0x0399
0000038a: PUSH2 0x0394
0000038d: CALLDATASIZE
0000038e: PUSH1 0x04
00000390: PUSH2 0x1e4a
00000393: JUMP
00000394: JUMPDEST
00000395: PUSH2 0x0a04
00000398: JUMP
00000399: JUMPDEST
0000039a: PUSH1 0x40
0000039c: DUP1
0000039d: MLOAD
0000039e: PUSH1 0x01
000003a0: PUSH1 0x01
000003a2: PUSH1 0xa0
000003a4: SHL
000003a5: SUB
000003a6: SWAP1
000003a7: SWAP4
000003a8: AND
000003a9: DUP4
000003aa: MSTORE
000003ab: PUSH1 0x20
000003ad: DUP4
000003ae: ADD
000003af: SWAP2
000003b0: SWAP1
000003b1: SWAP2
000003b2: MSTORE
000003b3: ADD
000003b4: PUSH2 0x0235
000003b7: JUMP
000003b8: JUMPDEST
000003b9: CALLVALUE
000003ba: DUP1
000003bb: ISZERO
000003bc: PUSH2 0x03c4
000003bf: JUMPI
000003c0: PUSH1 0x00
000003c2: DUP1
000003c3: REVERT
000003c4: JUMPDEST
000003c5: POP
000003c6: PUSH2 0x0294
000003c9: PUSH2 0x03d3
000003cc: CALLDATASIZE
000003cd: PUSH1 0x04
000003cf: PUSH2 0x1bb6
000003d2: JUMP
000003d3: JUMPDEST
000003d4: PUSH1 0x10
000003d6: PUSH1 0x20
000003d8: MSTORE
000003d9: PUSH1 0x00
000003db: SWAP1
000003dc: DUP2
000003dd: MSTORE
000003de: PUSH1 0x40
000003e0: SWAP1
000003e1: KECCAK256
000003e2: SLOAD
000003e3: DUP2
000003e4: JUMP
000003e5: JUMPDEST
000003e6: CALLVALUE
000003e7: DUP1
000003e8: ISZERO
000003e9: PUSH2 0x03f1
000003ec: JUMPI
000003ed: PUSH1 0x00
000003ef: DUP1
000003f0: REVERT
000003f1: JUMPDEST
000003f2: POP
000003f3: PUSH2 0x025e
000003f6: PUSH2 0x0400
000003f9: CALLDATASIZE
000003fa: PUSH1 0x04
000003fc: PUSH2 0x1e27
000003ff: JUMP
00000400: JUMPDEST
00000401: PUSH2 0x0ab0
00000404: JUMP
00000405: JUMPDEST
00000406: CALLVALUE
00000407: DUP1
00000408: ISZERO
00000409: PUSH2 0x0411
0000040c: JUMPI
0000040d: PUSH1 0x00
0000040f: DUP1
00000410: REVERT
00000411: JUMPDEST
00000412: POP
00000413: PUSH2 0x025e
00000416: PUSH2 0x0420
00000419: CALLDATASIZE
0000041a: PUSH1 0x04
0000041c: PUSH2 0x1df5
0000041f: JUMP
00000420: JUMPDEST
00000421: PUSH2 0x0b3c
00000424: JUMP
00000425: JUMPDEST
00000426: CALLVALUE
00000427: DUP1
00000428: ISZERO
00000429: PUSH2 0x0431
0000042c: JUMPI
0000042d: PUSH1 0x00
0000042f: DUP1
00000430: REVERT
00000431: JUMPDEST
00000432: POP
00000433: PUSH2 0x025e
00000436: PUSH2 0x0440
00000439: CALLDATASIZE
0000043a: PUSH1 0x04
0000043c: PUSH2 0x1c04
0000043f: JUMP
00000440: JUMPDEST
00000441: PUSH2 0x0b6b
00000444: JUMP
00000445: JUMPDEST
00000446: CALLVALUE
00000447: DUP1
00000448: ISZERO
00000449: PUSH2 0x0451
0000044c: JUMPI
0000044d: PUSH1 0x00
0000044f: DUP1
00000450: REVERT
00000451: JUMPDEST
00000452: POP
00000453: PUSH2 0x0294
00000456: PUSH1 0x0c
00000458: SLOAD
00000459: DUP2
0000045a: JUMP
0000045b: JUMPDEST
0000045c: CALLVALUE
0000045d: DUP1
0000045e: ISZERO
0000045f: PUSH2 0x0467
00000462: JUMPI
00000463: PUSH1 0x00
00000465: DUP1
00000466: REVERT
00000467: JUMPDEST
00000468: POP
00000469: PUSH2 0x0294
0000046c: PUSH1 0x0d
0000046e: SLOAD
0000046f: DUP2
00000470: JUMP
00000471: JUMPDEST
00000472: CALLVALUE
00000473: DUP1
00000474: ISZERO
00000475: PUSH2 0x047d
00000478: JUMPI
00000479: PUSH1 0x00
0000047b: DUP1
0000047c: REVERT
0000047d: JUMPDEST
0000047e: POP
0000047f: PUSH2 0x025e
00000482: PUSH2 0x048c
00000485: CALLDATASIZE
00000486: PUSH1 0x04
00000488: PUSH2 0x1dac
0000048b: JUMP
0000048c: JUMPDEST
0000048d: PUSH2 0x0b86
00000490: JUMP
00000491: JUMPDEST
00000492: CALLVALUE
00000493: DUP1
00000494: ISZERO
00000495: PUSH2 0x049d
00000498: JUMPI
00000499: PUSH1 0x00
0000049b: DUP1
0000049c: REVERT
0000049d: JUMPDEST
0000049e: POP
0000049f: PUSH2 0x025e
000004a2: PUSH2 0x04ac
000004a5: CALLDATASIZE
000004a6: PUSH1 0x04
000004a8: PUSH2 0x1e6c
000004ab: JUMP
000004ac: JUMPDEST
000004ad: PUSH2 0x0bc3
000004b0: JUMP
000004b1: JUMPDEST
000004b2: CALLVALUE
000004b3: DUP1
000004b4: ISZERO
000004b5: PUSH2 0x04bd
000004b8: JUMPI
000004b9: PUSH1 0x00
000004bb: DUP1
000004bc: REVERT
000004bd: JUMPDEST
000004be: POP
000004bf: PUSH1 0x0e
000004c1: SLOAD
000004c2: PUSH2 0x04cb
000004c5: SWAP1
000004c6: PUSH1 0xff
000004c8: AND
000004c9: DUP2
000004ca: JUMP
000004cb: JUMPDEST
000004cc: PUSH1 0x40
000004ce: MLOAD
000004cf: PUSH2 0x0235
000004d2: SWAP2
000004d3: SWAP1
000004d4: PUSH2 0x1f27
000004d7: JUMP
000004d8: JUMPDEST
000004d9: CALLVALUE
000004da: DUP1
000004db: ISZERO
000004dc: PUSH2 0x04e4
000004df: JUMPI
000004e0: PUSH1 0x00
000004e2: DUP1
000004e3: REVERT
000004e4: JUMPDEST
000004e5: POP
000004e6: PUSH2 0x02e4
000004e9: PUSH2 0x04f3
000004ec: CALLDATASIZE
000004ed: PUSH1 0x04
000004ef: PUSH2 0x1df5
000004f2: JUMP
000004f3: JUMPDEST
000004f4: PUSH2 0x0c25
000004f7: JUMP
000004f8: JUMPDEST
000004f9: CALLVALUE
000004fa: DUP1
000004fb: ISZERO
000004fc: PUSH2 0x0504
000004ff: JUMPI
00000500: PUSH1 0x00
00000502: DUP1
00000503: REVERT
00000504: JUMPDEST
00000505: POP
00000506: PUSH2 0x0294
00000509: PUSH2 0x0513
0000050c: CALLDATASIZE
0000050d: PUSH1 0x04
0000050f: PUSH2 0x1bb6
00000512: JUMP
00000513: JUMPDEST
00000514: PUSH2 0x0c37
00000517: JUMP
00000518: JUMPDEST
00000519: CALLVALUE
0000051a: DUP1
0000051b: ISZERO
0000051c: PUSH2 0x0524
0000051f: JUMPI
00000520: PUSH1 0x00
00000522: DUP1
00000523: REVERT
00000524: JUMPDEST
00000525: POP
00000526: PUSH2 0x025e
00000529: PUSH2 0x0c86
0000052c: JUMP
0000052d: JUMPDEST
0000052e: CALLVALUE
0000052f: DUP1
00000530: ISZERO
00000531: PUSH2 0x0539
00000534: JUMPI
00000535: PUSH1 0x00
00000537: DUP1
00000538: REVERT
00000539: JUMPDEST
0000053a: POP
0000053b: PUSH1 0x08
0000053d: SLOAD
0000053e: PUSH1 0x01
00000540: PUSH1 0x01
00000542: PUSH1 0xa0
00000544: SHL
00000545: SUB
00000546: AND
00000547: PUSH2 0x02e4
0000054a: JUMP
0000054b: JUMPDEST
0000054c: CALLVALUE
0000054d: DUP1
0000054e: ISZERO
0000054f: PUSH2 0x0557
00000552: JUMPI
00000553: PUSH1 0x00
00000555: DUP1
00000556: REVERT
00000557: JUMPDEST
00000558: POP
00000559: PUSH2 0x025e
0000055c: PUSH2 0x0566
0000055f: CALLDATASIZE
00000560: PUSH1 0x04
00000562: PUSH2 0x1df5
00000565: JUMP
00000566: JUMPDEST
00000567: PUSH2 0x0cbc
0000056a: JUMP
0000056b: JUMPDEST
0000056c: CALLVALUE
0000056d: DUP1
0000056e: ISZERO
0000056f: PUSH2 0x0577
00000572: JUMPI
00000573: PUSH1 0x00
00000575: DUP1
00000576: REVERT
00000577: JUMPDEST
00000578: POP
00000579: PUSH2 0x02b7
0000057c: PUSH2 0x0ceb
0000057f: JUMP
00000580: JUMPDEST
00000581: CALLVALUE
00000582: DUP1
00000583: ISZERO
00000584: PUSH2 0x058c
00000587: JUMPI
00000588: PUSH1 0x00
0000058a: DUP1
0000058b: REVERT
0000058c: JUMPDEST
0000058d: POP
0000058e: PUSH2 0x0294
00000591: PUSH1 0x0b
00000593: SLOAD
00000594: DUP2
00000595: JUMP
00000596: JUMPDEST
00000597: PUSH2 0x025e
0000059a: PUSH2 0x05a4
0000059d: CALLDATASIZE
0000059e: PUSH1 0x04
000005a0: PUSH2 0x1df5
000005a3: JUMP
000005a4: JUMPDEST
000005a5: PUSH2 0x0cfa
000005a8: JUMP
000005a9: JUMPDEST
000005aa: CALLVALUE
000005ab: DUP1
000005ac: ISZERO
000005ad: PUSH2 0x05b5
000005b0: JUMPI
000005b1: PUSH1 0x00
000005b3: DUP1
000005b4: REVERT
000005b5: JUMPDEST
000005b6: POP
000005b7: PUSH2 0x025e
000005ba: PUSH2 0x05c4
000005bd: CALLDATASIZE
000005be: PUSH1 0x04
000005c0: PUSH2 0x1cbc
000005c3: JUMP
000005c4: JUMPDEST
000005c5: PUSH2 0x0e46
000005c8: JUMP
000005c9: JUMPDEST
000005ca: CALLVALUE
000005cb: DUP1
000005cc: ISZERO
000005cd: PUSH2 0x05d5
000005d0: JUMPI
000005d1: PUSH1 0x00
000005d3: DUP1
000005d4: REVERT
000005d5: JUMPDEST
000005d6: POP
000005d7: PUSH2 0x025e
000005da: PUSH2 0x05e4
000005dd: CALLDATASIZE
000005de: PUSH1 0x04
000005e0: PUSH2 0x1c40
000005e3: JUMP
000005e4: JUMPDEST
000005e5: PUSH2 0x0edc
000005e8: JUMP
000005e9: JUMPDEST
000005ea: CALLVALUE
000005eb: DUP1
000005ec: ISZERO
000005ed: PUSH2 0x05f5
000005f0: JUMPI
000005f1: PUSH1 0x00
000005f3: DUP1
000005f4: REVERT
000005f5: JUMPDEST
000005f6: POP
000005f7: PUSH2 0x025e
000005fa: PUSH2 0x0604
000005fd: CALLDATASIZE
000005fe: PUSH1 0x04
00000600: PUSH2 0x1df5
00000603: JUMP
00000604: JUMPDEST
00000605: PUSH2 0x0f27
00000608: JUMP
00000609: JUMPDEST
0000060a: CALLVALUE
0000060b: DUP1
0000060c: ISZERO
0000060d: PUSH2 0x0615
00000610: JUMPI
00000611: PUSH1 0x00
00000613: DUP1
00000614: REVERT
00000615: JUMPDEST
00000616: POP
00000617: PUSH2 0x02b7
0000061a: PUSH2 0x0624
0000061d: CALLDATASIZE
0000061e: PUSH1 0x04
00000620: PUSH2 0x1df5
00000623: JUMP
00000624: JUMPDEST
00000625: PUSH2 0x0f56
00000628: JUMP
00000629: JUMPDEST
0000062a: CALLVALUE
0000062b: DUP1
0000062c: ISZERO
0000062d: PUSH2 0x0635
00000630: JUMPI
00000631: PUSH1 0x00
00000633: DUP1
00000634: REVERT
00000635: JUMPDEST
00000636: POP
00000637: PUSH2 0x02b7
0000063a: PUSH2 0x0fdb
0000063d: JUMP
0000063e: JUMPDEST
0000063f: CALLVALUE
00000640: DUP1
00000641: ISZERO
00000642: PUSH2 0x064a
00000645: JUMPI
00000646: PUSH1 0x00
00000648: DUP1
00000649: REVERT
0000064a: JUMPDEST
0000064b: POP
0000064c: PUSH2 0x02b7
0000064f: PUSH2 0x1069
00000652: JUMP
00000653: JUMPDEST
00000654: CALLVALUE
00000655: DUP1
00000656: ISZERO
00000657: PUSH2 0x065f
0000065a: JUMPI
0000065b: PUSH1 0x00
0000065d: DUP1
0000065e: REVERT
0000065f: JUMPDEST
00000660: POP
00000661: PUSH2 0x0229
00000664: PUSH2 0x066e
00000667: CALLDATASIZE
00000668: PUSH1 0x04
0000066a: PUSH2 0x1bd1
0000066d: JUMP
0000066e: JUMPDEST
0000066f: PUSH1 0x01
00000671: PUSH1 0x01
00000673: PUSH1 0xa0
00000675: SHL
00000676: SUB
00000677: SWAP2
00000678: DUP3
00000679: AND
0000067a: PUSH1 0x00
0000067c: SWAP1
0000067d: DUP2
0000067e: MSTORE
0000067f: PUSH1 0x07
00000681: PUSH1 0x20
00000683: SWAP1
00000684: DUP2
00000685: MSTORE
00000686: PUSH1 0x40
00000688: DUP1
00000689: DUP4
0000068a: KECCAK256
0000068b: SWAP4
0000068c: SWAP1
0000068d: SWAP5
0000068e: AND
0000068f: DUP3
00000690: MSTORE
00000691: SWAP2
00000692: SWAP1
00000693: SWAP2
00000694: MSTORE
00000695: KECCAK256
00000696: SLOAD
00000697: PUSH1 0xff
00000699: AND
0000069a: SWAP1
0000069b: JUMP
0000069c: JUMPDEST
0000069d: CALLVALUE
0000069e: DUP1
0000069f: ISZERO
000006a0: PUSH2 0x06a8
000006a3: JUMPI
000006a4: PUSH1 0x00
000006a6: DUP1
000006a7: REVERT
000006a8: JUMPDEST
000006a9: POP
000006aa: PUSH2 0x025e
000006ad: PUSH2 0x06b7
000006b0: CALLDATASIZE
000006b1: PUSH1 0x04
000006b3: PUSH2 0x1bb6
000006b6: JUMP
000006b7: JUMPDEST
000006b8: PUSH2 0x1089
000006bb: JUMP
000006bc: JUMPDEST
000006bd: PUSH1 0x00
000006bf: PUSH2 0x06c7
000006c2: DUP3
000006c3: PUSH2 0x1121
000006c6: JUMP
000006c7: JUMPDEST
000006c8: SWAP3
000006c9: SWAP2
000006ca: POP
000006cb: POP
000006cc: JUMP
000006cd: JUMPDEST
000006ce: PUSH1 0x08
000006d0: SLOAD
000006d1: PUSH1 0x01
000006d3: PUSH1 0x01
000006d5: PUSH1 0xa0
000006d7: SHL
000006d8: SUB
000006d9: AND
000006da: CALLER
000006db: EQ
000006dc: PUSH2 0x0700
000006df: JUMPI
000006e0: PUSH1 0x40
000006e2: MLOAD
000006e3: PUSH3 0x461bcd
000006e7: PUSH1 0xe5
000006e9: SHL
000006ea: DUP2
000006eb: MSTORE
000006ec: PUSH1 0x04
000006ee: ADD
000006ef: PUSH2 0x06f7
000006f2: SWAP1
000006f3: PUSH2 0x1f62
000006f6: JUMP
000006f7: JUMPDEST
000006f8: PUSH1 0x40
000006fa: MLOAD
000006fb: DUP1
000006fc: SWAP2
000006fd: SUB
000006fe: SWAP1
000006ff: REVERT
00000700: JUMPDEST
00000701: PUSH2 0x070a
00000704: DUP3
00000705: DUP3
00000706: PUSH2 0x1146
00000709: JUMP
0000070a: JUMPDEST
0000070b: POP
0000070c: POP
0000070d: JUMP
0000070e: JUMPDEST
0000070f: PUSH1 0x60
00000711: PUSH1 0x02
00000713: DUP1
00000714: SLOAD
00000715: PUSH2 0x071d
00000718: SWAP1
00000719: PUSH2 0x2025
0000071c: JUMP
0000071d: JUMPDEST
0000071e: DUP1
0000071f: PUSH1 0x1f
00000721: ADD
00000722: PUSH1 0x20
00000724: DUP1
00000725: SWAP2
00000726: DIV
00000727: MUL
00000728: PUSH1 0x20
0000072a: ADD
0000072b: PUSH1 0x40
0000072d: MLOAD
0000072e: SWAP1
0000072f: DUP2
00000730: ADD
00000731: PUSH1 0x40
00000733: MSTORE
00000734: DUP1
00000735: SWAP3
00000736: SWAP2
00000737: SWAP1
00000738: DUP2
00000739: DUP2
0000073a: MSTORE
0000073b: PUSH1 0x20
0000073d: ADD
0000073e: DUP3
0000073f: DUP1
00000740: SLOAD
00000741: PUSH2 0x0749
00000744: SWAP1
00000745: PUSH2 0x2025
00000748: JUMP
00000749: JUMPDEST
0000074a: DUP1
0000074b: ISZERO
0000074c: PUSH2 0x0796
0000074f: JUMPI
00000750: DUP1
00000751: PUSH1 0x1f
00000753: LT
00000754: PUSH2 0x076b
00000757: JUMPI
00000758: PUSH2 0x0100
0000075b: DUP1
0000075c: DUP4
0000075d: SLOAD
0000075e: DIV
0000075f: MUL
00000760: DUP4
00000761: MSTORE
00000762: SWAP2
00000763: PUSH1 0x20
00000765: ADD
00000766: SWAP2
00000767: PUSH2 0x0796
0000076a: JUMP
0000076b: JUMPDEST
0000076c: DUP3
0000076d: ADD
0000076e: SWAP2
0000076f: SWAP1
00000770: PUSH1 0x00
00000772: MSTORE
00000773: PUSH1 0x20
00000775: PUSH1 0x00
00000777: KECCAK256
00000778: SWAP1
00000779: JUMPDEST
0000077a: DUP2
0000077b: SLOAD
0000077c: DUP2
0000077d: MSTORE
0000077e: SWAP1
0000077f: PUSH1 0x01
00000781: ADD
00000782: SWAP1
00000783: PUSH1 0x20
00000785: ADD
00000786: DUP1
00000787: DUP4
00000788: GT
00000789: PUSH2 0x0779
0000078c: JUMPI
0000078d: DUP3
0000078e: SWAP1
0000078f: SUB
00000790: PUSH1 0x1f
00000792: AND
00000793: DUP3
00000794: ADD
00000795: SWAP2
00000796: JUMPDEST
00000797: POP
00000798: POP
00000799: POP
0000079a: POP
0000079b: POP
0000079c: SWAP1
0000079d: POP
0000079e: SWAP1
0000079f: JUMP
000007a0: JUMPDEST
000007a1: PUSH1 0x00
000007a3: PUSH2 0x07ab
000007a6: DUP3
000007a7: PUSH2 0x1243
000007aa: JUMP
000007ab: JUMPDEST
000007ac: PUSH2 0x07c8
000007af: JUMPI
000007b0: PUSH1 0x40
000007b2: MLOAD
000007b3: PUSH4 0x33d1c039
000007b8: PUSH1 0xe2
000007ba: SHL
000007bb: DUP2
000007bc: MSTORE
000007bd: PUSH1 0x04
000007bf: ADD
000007c0: PUSH1 0x40
000007c2: MLOAD
000007c3: DUP1
000007c4: SWAP2
000007c5: SUB
000007c6: SWAP1
000007c7: REVERT
000007c8: JUMPDEST
000007c9: POP
000007ca: PUSH1 0x00
000007cc: SWAP1
000007cd: DUP2
000007ce: MSTORE
000007cf: PUSH1 0x06
000007d1: PUSH1 0x20
000007d3: MSTORE
000007d4: PUSH1 0x40
000007d6: SWAP1
000007d7: KECCAK256
000007d8: SLOAD
000007d9: PUSH1 0x01
000007db: PUSH1 0x01
000007dd: PUSH1 0xa0
000007df: SHL
000007e0: SUB
000007e1: AND
000007e2: SWAP1
000007e3: JUMP
000007e4: JUMPDEST
000007e5: PUSH1 0x00
000007e7: PUSH2 0x07ef
000007ea: DUP3
000007eb: PUSH2 0x0c25
000007ee: JUMP
000007ef: JUMPDEST
000007f0: SWAP1
000007f1: POP
000007f2: DUP1
000007f3: PUSH1 0x01
000007f5: PUSH1 0x01
000007f7: PUSH1 0xa0
000007f9: SHL
000007fa: SUB
000007fb: AND
000007fc: DUP4
000007fd: PUSH1 0x01
000007ff: PUSH1 0x01
00000801: PUSH1 0xa0
00000803: SHL
00000804: SUB
00000805: AND
00000806: EQ
00000807: ISZERO
00000808: PUSH2 0x0824
0000080b: JUMPI
0000080c: PUSH1 0x40
0000080e: MLOAD
0000080f: PUSH4 0x250fdee3
00000814: PUSH1 0xe2
00000816: SHL
00000817: DUP2
00000818: MSTORE
00000819: PUSH1 0x04
0000081b: ADD
0000081c: PUSH1 0x40
0000081e: MLOAD
0000081f: DUP1
00000820: SWAP2
00000821: SUB
00000822: SWAP1
00000823: REVERT
00000824: JUMPDEST
00000825: CALLER
00000826: PUSH1 0x01
00000828: PUSH1 0x01
0000082a: PUSH1 0xa0
0000082c: SHL
0000082d: SUB
0000082e: DUP3
0000082f: AND
00000830: EQ
00000831: DUP1
00000832: ISZERO
00000833: SWAP1
00000834: PUSH2 0x0844
00000837: JUMPI
00000838: POP
00000839: PUSH2 0x0842
0000083c: DUP2
0000083d: CALLER
0000083e: PUSH2 0x066e
00000841: JUMP
00000842: JUMPDEST
00000843: ISZERO
00000844: JUMPDEST
00000845: ISZERO
00000846: PUSH2 0x0862
00000849: JUMPI
0000084a: PUSH1 0x40
0000084c: MLOAD
0000084d: PUSH4 0x67d9dca1
00000852: PUSH1 0xe1
00000854: SHL
00000855: DUP2
00000856: MSTORE
00000857: PUSH1 0x04
00000859: ADD
0000085a: PUSH1 0x40
0000085c: MLOAD
0000085d: DUP1
0000085e: SWAP2
0000085f: SUB
00000860: SWAP1
00000861: REVERT
00000862: JUMPDEST
00000863: PUSH2 0x086d
00000866: DUP4
00000867: DUP4
00000868: DUP4
00000869: PUSH2 0x127c
0000086c: JUMP
0000086d: JUMPDEST
0000086e: POP
0000086f: POP
00000870: POP
00000871: JUMP
00000872: JUMPDEST
00000873: PUSH1 0x08
00000875: SLOAD
00000876: PUSH1 0x01
00000878: PUSH1 0x01
0000087a: PUSH1 0xa0
0000087c: SHL
0000087d: SUB
0000087e: AND
0000087f: CALLER
00000880: EQ
00000881: PUSH2 0x089c
00000884: JUMPI
00000885: PUSH1 0x40
00000887: MLOAD
00000888: PUSH3 0x461bcd
0000088c: PUSH1 0xe5
0000088e: SHL
0000088f: DUP2
00000890: MSTORE
00000891: PUSH1 0x04
00000893: ADD
00000894: PUSH2 0x06f7
00000897: SWAP1
00000898: PUSH2 0x1f62
0000089b: JUMP
0000089c: JUMPDEST
0000089d: PUSH1 0x01
0000089f: PUSH1 0x01
000008a1: PUSH1 0xa0
000008a3: SHL
000008a4: SUB
000008a5: DUP2
000008a6: AND
000008a7: PUSH2 0x08f5
000008aa: JUMPI
000008ab: PUSH1 0x40
000008ad: MLOAD
000008ae: CALLER
000008af: SWAP1
000008b0: SELFBALANCE
000008b1: SWAP1
000008b2: PUSH1 0x00
000008b4: DUP2
000008b5: DUP2
000008b6: DUP2
000008b7: DUP6
000008b8: DUP8
000008b9: GAS
000008ba: CALL
000008bb: SWAP3
000008bc: POP
000008bd: POP
000008be: POP
000008bf: RETURNDATASIZE
000008c0: DUP1
000008c1: PUSH1 0x00
000008c3: DUP2
000008c4: EQ
000008c5: PUSH2 0x08ea
000008c8: JUMPI
000008c9: PUSH1 0x40
000008cb: MLOAD
000008cc: SWAP2
000008cd: POP
000008ce: PUSH1 0x1f
000008d0: NOT
000008d1: PUSH1 0x3f
000008d3: RETURNDATASIZE
000008d4: ADD
000008d5: AND
000008d6: DUP3
000008d7: ADD
000008d8: PUSH1 0x40
000008da: MSTORE
000008db: RETURNDATASIZE
000008dc: DUP3
000008dd: MSTORE
000008de: RETURNDATASIZE
000008df: PUSH1 0x00
000008e1: PUSH1 0x20
000008e3: DUP5
000008e4: ADD
000008e5: RETURNDATACOPY
000008e6: PUSH2 0x08ef
000008e9: JUMP
000008ea: JUMPDEST
000008eb: PUSH1 0x60
000008ed: SWAP2
000008ee: POP
000008ef: JUMPDEST
000008f0: POP
000008f1: POP
000008f2: POP
000008f3: POP
000008f4: JUMP
000008f5: JUMPDEST
000008f6: PUSH1 0x40
000008f8: MLOAD
000008f9: PUSH4 0x70a08231
000008fe: PUSH1 0xe0
00000900: SHL
00000901: DUP2
00000902: MSTORE
00000903: ADDRESS
00000904: PUSH1 0x04
00000906: DUP3
00000907: ADD
00000908: MSTORE
00000909: DUP2
0000090a: SWAP1
0000090b: PUSH1 0x01
0000090d: PUSH1 0x01
0000090f: PUSH1 0xa0
00000911: SHL
00000912: SUB
00000913: DUP3
00000914: AND
00000915: SWAP1
00000916: PUSH4 0xa9059cbb
0000091b: SWAP1
0000091c: CALLER
0000091d: SWAP1
0000091e: DUP4
0000091f: SWAP1
00000920: PUSH4 0x70a08231
00000925: SWAP1
00000926: PUSH1 0x24
00000928: ADD
00000929: PUSH1 0x20
0000092b: PUSH1 0x40
0000092d: MLOAD
0000092e: DUP1
0000092f: DUP4
00000930: SUB
00000931: DUP2
00000932: DUP7
00000933: DUP1
00000934: EXTCODESIZE
00000935: ISZERO
00000936: DUP1
00000937: ISZERO
00000938: PUSH2 0x0940
0000093b: JUMPI
0000093c: PUSH1 0x00
0000093e: DUP1
0000093f: REVERT
00000940: JUMPDEST
00000941: POP
00000942: GAS
00000943: STATICCALL
00000944: ISZERO
00000945: DUP1
00000946: ISZERO
00000947: PUSH2 0x0954
0000094a: JUMPI
0000094b: RETURNDATASIZE
0000094c: PUSH1 0x00
0000094e: DUP1
0000094f: RETURNDATACOPY
00000950: RETURNDATASIZE
00000951: PUSH1 0x00
00000953: REVERT
00000954: JUMPDEST
00000955: POP
00000956: POP
00000957: POP
00000958: POP
00000959: PUSH1 0x40
0000095b: MLOAD
0000095c: RETURNDATASIZE
0000095d: PUSH1 0x1f
0000095f: NOT
00000960: PUSH1 0x1f
00000962: DUP3
00000963: ADD
00000964: AND
00000965: DUP3
00000966: ADD
00000967: DUP1
00000968: PUSH1 0x40
0000096a: MSTORE
0000096b: POP
0000096c: DUP2
0000096d: ADD
0000096e: SWAP1
0000096f: PUSH2 0x0978
00000972: SWAP2
00000973: SWAP1
00000974: PUSH2 0x1e0e
00000977: JUMP
00000978: JUMPDEST
00000979: PUSH1 0x40
0000097b: MLOAD
0000097c: PUSH1 0x01
0000097e: PUSH1 0x01
00000980: PUSH1 0xe0
00000982: SHL
00000983: SUB
00000984: NOT
00000985: PUSH1 0xe0
00000987: DUP6
00000988: SWAP1
00000989: SHL
0000098a: AND
0000098b: DUP2
0000098c: MSTORE
0000098d: PUSH1 0x01
0000098f: PUSH1 0x01
00000991: PUSH1 0xa0
00000993: SHL
00000994: SUB
00000995: SWAP1
00000996: SWAP3
00000997: AND
00000998: PUSH1 0x04
0000099a: DUP4
0000099b: ADD
0000099c: MSTORE
0000099d: PUSH1 0x24
0000099f: DUP3
000009a0: ADD
000009a1: MSTORE
000009a2: PUSH1 0x44
000009a4: ADD
000009a5: PUSH1 0x20
000009a7: PUSH1 0x40
000009a9: MLOAD
000009aa: DUP1
000009ab: DUP4
000009ac: SUB
000009ad: DUP2
000009ae: PUSH1 0x00
000009b0: DUP8
000009b1: DUP1
000009b2: EXTCODESIZE
000009b3: ISZERO
000009b4: DUP1
000009b5: ISZERO
000009b6: PUSH2 0x09be
000009b9: JUMPI
000009ba: PUSH1 0x00
000009bc: DUP1
000009bd: REVERT
000009be: JUMPDEST
000009bf: POP
000009c0: GAS
000009c1: CALL
000009c2: ISZERO
000009c3: DUP1
000009c4: ISZERO
000009c5: PUSH2 0x09d2
000009c8: JUMPI
000009c9: RETURNDATASIZE
000009ca: PUSH1 0x00
000009cc: DUP1
000009cd: RETURNDATACOPY
000009ce: RETURNDATASIZE
000009cf: PUSH1 0x00
000009d1: REVERT
000009d2: JUMPDEST
000009d3: POP
000009d4: POP
000009d5: POP
000009d6: POP
000009d7: PUSH1 0x40
000009d9: MLOAD
000009da: RETURNDATASIZE
000009db: PUSH1 0x1f
000009dd: NOT
000009de: PUSH1 0x1f
000009e0: DUP3
000009e1: ADD
000009e2: AND
000009e3: DUP3
000009e4: ADD
000009e5: DUP1
000009e6: PUSH1 0x40
000009e8: MSTORE
000009e9: POP
000009ea: DUP2
000009eb: ADD
000009ec: SWAP1
000009ed: PUSH2 0x086d
000009f0: SWAP2
000009f1: SWAP1
000009f2: PUSH2 0x1d55
000009f5: JUMP
000009f6: JUMPDEST
000009f7: POP
000009f8: JUMP
000009f9: JUMPDEST
000009fa: PUSH2 0x086d
000009fd: DUP4
000009fe: DUP4
000009ff: DUP4
00000a00: PUSH2 0x12d8
00000a03: JUMP
00000a04: JUMPDEST
00000a05: PUSH1 0x00
00000a07: DUP3
00000a08: DUP2
00000a09: MSTORE
00000a0a: PUSH1 0x0a
00000a0c: PUSH1 0x20
00000a0e: SWAP1
00000a0f: DUP2
00000a10: MSTORE
00000a11: PUSH1 0x40
00000a13: DUP1
00000a14: DUP4
00000a15: KECCAK256
00000a16: DUP2
00000a17: MLOAD
00000a18: DUP1
00000a19: DUP4
00000a1a: ADD
00000a1b: SWAP1
00000a1c: SWAP3
00000a1d: MSTORE
00000a1e: SLOAD
00000a1f: PUSH1 0x01
00000a21: PUSH1 0x01
00000a23: PUSH1 0xa0
00000a25: SHL
00000a26: SUB
00000a27: DUP2
00000a28: AND
00000a29: DUP1
00000a2a: DUP4
00000a2b: MSTORE
00000a2c: PUSH1 0x01
00000a2e: PUSH1 0xa0
00000a30: SHL
00000a31: SWAP1
00000a32: SWAP2
00000a33: DIV
00000a34: PUSH1 0x01
00000a36: PUSH1 0x01
00000a38: PUSH1 0x60
00000a3a: SHL
00000a3b: SUB
00000a3c: AND
00000a3d: SWAP3
00000a3e: DUP3
00000a3f: ADD
00000a40: SWAP3
00000a41: SWAP1
00000a42: SWAP3
00000a43: MSTORE
00000a44: DUP3
00000a45: SWAP2
00000a46: PUSH2 0x0a79
00000a49: JUMPI
00000a4a: POP
00000a4b: PUSH1 0x40
00000a4d: DUP1
00000a4e: MLOAD
00000a4f: DUP1
00000a50: DUP3
00000a51: ADD
00000a52: SWAP1
00000a53: SWAP2
00000a54: MSTORE
00000a55: PUSH1 0x09
00000a57: SLOAD
00000a58: PUSH1 0x01
00000a5a: PUSH1 0x01
00000a5c: PUSH1 0xa0
00000a5e: SHL
00000a5f: SUB
00000a60: DUP2
00000a61: AND
00000a62: DUP3
00000a63: MSTORE
00000a64: PUSH1 0x01
00000a66: PUSH1 0xa0
00000a68: SHL
00000a69: SWAP1
00000a6a: DIV
00000a6b: PUSH1 0x01
00000a6d: PUSH1 0x01
00000a6f: PUSH1 0x60
00000a71: SHL
00000a72: SUB
00000a73: AND
00000a74: PUSH1 0x20
00000a76: DUP3
00000a77: ADD
00000a78: MSTORE
00000a79: JUMPDEST
00000a7a: PUSH1 0x20
00000a7c: DUP2
00000a7d: ADD
00000a7e: MLOAD
00000a7f: PUSH1 0x00
00000a81: SWAP1
00000a82: PUSH2 0x2710
00000a85: SWAP1
00000a86: PUSH2 0x0a98
00000a89: SWAP1
00000a8a: PUSH1 0x01
00000a8c: PUSH1 0x01
00000a8e: PUSH1 0x60
00000a90: SHL
00000a91: SUB
00000a92: AND
00000a93: DUP8
00000a94: PUSH2 0x1fc3
00000a97: JUMP
00000a98: JUMPDEST
00000a99: PUSH2 0x0aa2
00000a9c: SWAP2
00000a9d: SWAP1
00000a9e: PUSH2 0x1faf
00000aa1: JUMP
00000aa2: JUMPDEST
00000aa3: SWAP2
00000aa4: MLOAD
00000aa5: SWAP7
00000aa6: SWAP2
00000aa7: SWAP6
00000aa8: POP
00000aa9: SWAP1
00000aaa: SWAP4
00000aab: POP
00000aac: POP
00000aad: POP
00000aae: POP
00000aaf: JUMP
00000ab0: JUMPDEST
00000ab1: PUSH1 0x08
00000ab3: SLOAD
00000ab4: PUSH1 0x01
00000ab6: PUSH1 0x01
00000ab8: PUSH1 0xa0
00000aba: SHL
00000abb: SUB
00000abc: AND
00000abd: CALLER
00000abe: EQ
00000abf: PUSH2 0x0ada
00000ac2: JUMPI
00000ac3: PUSH1 0x40
00000ac5: MLOAD
00000ac6: PUSH3 0x461bcd
00000aca: PUSH1 0xe5
00000acc: SHL
00000acd: DUP2
00000ace: MSTORE
00000acf: PUSH1 0x04
00000ad1: ADD
00000ad2: PUSH2 0x06f7
00000ad5: SWAP1
00000ad6: PUSH2 0x1f62
00000ad9: JUMP
00000ada: JUMPDEST
00000adb: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000d05
00000afc: PUSH2 0x0b06
00000aff: PUSH1 0x01
00000b01: DUP5
00000b02: PUSH2 0x1fe2
00000b05: JUMP
00000b06: JUMPDEST
00000b07: PUSH1 0x00
00000b09: SLOAD
00000b0a: PUSH2 0x0b13
00000b0d: SWAP2
00000b0e: SWAP1
00000b0f: PUSH2 0x1f97
00000b12: JUMP
00000b13: JUMPDEST
00000b14: GT
00000b15: ISZERO
00000b16: PUSH2 0x0b32
00000b19: JUMPI
00000b1a: PUSH1 0x40
00000b1c: MLOAD
00000b1d: PUSH4 0x52df9fe5
00000b22: PUSH1 0xe0
00000b24: SHL
00000b25: DUP2
00000b26: MSTORE
00000b27: PUSH1 0x04
00000b29: ADD
00000b2a: PUSH1 0x40
00000b2c: MLOAD
00000b2d: DUP1
00000b2e: SWAP2
00000b2f: SUB
00000b30: SWAP1
00000b31: REVERT
00000b32: JUMPDEST
00000b33: PUSH2 0x070a
00000b36: DUP2
00000b37: DUP4
00000b38: PUSH2 0x14c8
00000b3b: JUMP
00000b3c: JUMPDEST
00000b3d: PUSH1 0x08
00000b3f: SLOAD
00000b40: PUSH1 0x01
00000b42: PUSH1 0x01
00000b44: PUSH1 0xa0
00000b46: SHL
00000b47: SUB
00000b48: AND
00000b49: CALLER
00000b4a: EQ
00000b4b: PUSH2 0x0b66
00000b4e: JUMPI
00000b4f: PUSH1 0x40
00000b51: MLOAD
00000b52: PUSH3 0x461bcd
00000b56: PUSH1 0xe5
00000b58: SHL
00000b59: DUP2
00000b5a: MSTORE
00000b5b: PUSH1 0x04
00000b5d: ADD
00000b5e: PUSH2 0x06f7
00000b61: SWAP1
00000b62: PUSH2 0x1f62
00000b65: JUMP
00000b66: JUMPDEST
00000b67: PUSH1 0x0c
00000b69: SSTORE
00000b6a: JUMP
00000b6b: JUMPDEST
00000b6c: PUSH2 0x086d
00000b6f: DUP4
00000b70: DUP4
00000b71: DUP4
00000b72: PUSH1 0x40
00000b74: MLOAD
00000b75: DUP1
00000b76: PUSH1 0x20
00000b78: ADD
00000b79: PUSH1 0x40
00000b7b: MSTORE
00000b7c: DUP1
00000b7d: PUSH1 0x00
00000b7f: DUP2
00000b80: MSTORE
00000b81: POP
00000b82: PUSH2 0x0edc
00000b85: JUMP
00000b86: JUMPDEST
00000b87: PUSH1 0x08
00000b89: SLOAD
00000b8a: PUSH1 0x01
00000b8c: PUSH1 0x01
00000b8e: PUSH1 0xa0
00000b90: SHL
00000b91: SUB
00000b92: AND
00000b93: CALLER
00000b94: EQ
00000b95: PUSH2 0x0bb0
00000b98: JUMPI
00000b99: PUSH1 0x40
00000b9b: MLOAD
00000b9c: PUSH3 0x461bcd
00000ba0: PUSH1 0xe5
00000ba2: SHL
00000ba3: DUP2
00000ba4: MSTORE
00000ba5: PUSH1 0x04
00000ba7: ADD
00000ba8: PUSH2 0x06f7
00000bab: SWAP1
00000bac: PUSH2 0x1f62
00000baf: JUMP
00000bb0: JUMPDEST
00000bb1: DUP1
00000bb2: MLOAD
00000bb3: PUSH2 0x070a
00000bb6: SWAP1
00000bb7: PUSH1 0x0f
00000bb9: SWAP1
00000bba: PUSH1 0x20
00000bbc: DUP5
00000bbd: ADD
00000bbe: SWAP1
00000bbf: PUSH2 0x1a8b
00000bc2: JUMP
00000bc3: JUMPDEST
00000bc4: PUSH1 0x08
00000bc6: SLOAD
00000bc7: PUSH1 0x01
00000bc9: PUSH1 0x01
00000bcb: PUSH1 0xa0
00000bcd: SHL
00000bce: SUB
00000bcf: AND
00000bd0: CALLER
00000bd1: EQ
00000bd2: PUSH2 0x0bed
00000bd5: JUMPI
00000bd6: PUSH1 0x40
00000bd8: MLOAD
00000bd9: PUSH3 0x461bcd
00000bdd: PUSH1 0xe5
00000bdf: SHL
00000be0: DUP2
00000be1: MSTORE
00000be2: PUSH1 0x04
00000be4: ADD
00000be5: PUSH2 0x06f7
00000be8: SWAP1
00000be9: PUSH2 0x1f62
00000bec: JUMP
00000bed: JUMPDEST
00000bee: DUP1
00000bef: PUSH1 0xff
00000bf1: AND
00000bf2: PUSH1 0x01
00000bf4: DUP2
00000bf5: GT
00000bf6: ISZERO
00000bf7: PUSH2 0x0c02
00000bfa: JUMPI
00000bfb: PUSH2 0x0c02
00000bfe: PUSH2 0x20bb
00000c01: JUMP
00000c02: JUMPDEST
00000c03: PUSH1 0x0e
00000c05: DUP1
00000c06: SLOAD
00000c07: PUSH1 0xff
00000c09: NOT
00000c0a: AND
00000c0b: PUSH1 0x01
00000c0d: DUP4
00000c0e: DUP2
00000c0f: DUP2
00000c10: GT
00000c11: ISZERO
00000c12: PUSH2 0x0c1d
00000c15: JUMPI
00000c16: PUSH2 0x0c1d
00000c19: PUSH2 0x20bb
00000c1c: JUMP
00000c1d: JUMPDEST
00000c1e: MUL
00000c1f: OR
00000c20: SWAP1
00000c21: SSTORE
00000c22: POP
00000c23: POP
00000c24: JUMP
00000c25: JUMPDEST
00000c26: PUSH1 0x00
00000c28: PUSH2 0x0c30
00000c2b: DUP3
00000c2c: PUSH2 0x14e2
00000c2f: JUMP
00000c30: JUMPDEST
00000c31: MLOAD
00000c32: SWAP3
00000c33: SWAP2
00000c34: POP
00000c35: POP
00000c36: JUMP
00000c37: JUMPDEST
00000c38: PUSH1 0x00
00000c3a: PUSH1 0x01
00000c3c: PUSH1 0x01
00000c3e: PUSH1 0xa0
00000c40: SHL
00000c41: SUB
00000c42: DUP3
00000c43: AND
00000c44: PUSH2 0x0c60
00000c47: JUMPI
00000c48: PUSH1 0x40
00000c4a: MLOAD
00000c4b: PUSH4 0x23d3ad81
00000c50: PUSH1 0xe2
00000c52: SHL
00000c53: DUP2
00000c54: MSTORE
00000c55: PUSH1 0x04
00000c57: ADD
00000c58: PUSH1 0x40
00000c5a: MLOAD
00000c5b: DUP1
00000c5c: SWAP2
00000c5d: SUB
00000c5e: SWAP1
00000c5f: REVERT
00000c60: JUMPDEST
00000c61: POP
00000c62: PUSH1 0x01
00000c64: PUSH1 0x01
00000c66: PUSH1 0xa0
00000c68: SHL
00000c69: SUB
00000c6a: AND
00000c6b: PUSH1 0x00
00000c6d: SWAP1
00000c6e: DUP2
00000c6f: MSTORE
00000c70: PUSH1 0x05
00000c72: PUSH1 0x20
00000c74: MSTORE
00000c75: PUSH1 0x40
00000c77: SWAP1
00000c78: KECCAK256
00000c79: SLOAD
00000c7a: PUSH8 0xffffffffffffffff
00000c83: AND
00000c84: SWAP1
00000c85: JUMP
00000c86: JUMPDEST
00000c87: PUSH1 0x08
00000c89: SLOAD
00000c8a: PUSH1 0x01
00000c8c: PUSH1 0x01
00000c8e: PUSH1 0xa0
00000c90: SHL
00000c91: SUB
00000c92: AND
00000c93: CALLER
00000c94: EQ
00000c95: PUSH2 0x0cb0
00000c98: JUMPI
00000c99: PUSH1 0x40
00000c9b: MLOAD
00000c9c: PUSH3 0x461bcd
00000ca0: PUSH1 0xe5
00000ca2: SHL
00000ca3: DUP2
00000ca4: MSTORE
00000ca5: PUSH1 0x04
00000ca7: ADD
00000ca8: PUSH2 0x06f7
00000cab: SWAP1
00000cac: PUSH2 0x1f62
00000caf: JUMP
00000cb0: JUMPDEST
00000cb1: PUSH2 0x0cba
00000cb4: PUSH1 0x00
00000cb6: PUSH2 0x160b
00000cb9: JUMP
00000cba: JUMPDEST
00000cbb: JUMP
00000cbc: JUMPDEST
00000cbd: PUSH1 0x08
00000cbf: SLOAD
00000cc0: PUSH1 0x01
00000cc2: PUSH1 0x01
00000cc4: PUSH1 0xa0
00000cc6: SHL
00000cc7: SUB
00000cc8: AND
00000cc9: CALLER
00000cca: EQ
00000ccb: PUSH2 0x0ce6
00000cce: JUMPI
00000ccf: PUSH1 0x40
00000cd1: MLOAD
00000cd2: PUSH3 0x461bcd
00000cd6: PUSH1 0xe5
00000cd8: SHL
00000cd9: DUP2
00000cda: MSTORE
00000cdb: PUSH1 0x04
00000cdd: ADD
00000cde: PUSH2 0x06f7
00000ce1: SWAP1
00000ce2: PUSH2 0x1f62
00000ce5: JUMP
00000ce6: JUMPDEST
00000ce7: PUSH1 0x0b
00000ce9: SSTORE
00000cea: JUMP
00000ceb: JUMPDEST
00000cec: PUSH1 0x60
00000cee: PUSH1 0x03
00000cf0: DUP1
00000cf1: SLOAD
00000cf2: PUSH2 0x071d
00000cf5: SWAP1
00000cf6: PUSH2 0x2025
00000cf9: JUMP
00000cfa: JUMPDEST
00000cfb: PUSH1 0x01
00000cfd: PUSH1 0x0e
00000cff: SLOAD
00000d00: PUSH1 0xff
00000d02: AND
00000d03: PUSH1 0x01
00000d05: DUP2
00000d06: GT
00000d07: ISZERO
00000d08: PUSH2 0x0d13
00000d0b: JUMPI
00000d0c: PUSH2 0x0d13
00000d0f: PUSH2 0x20bb
00000d12: JUMP
00000d13: JUMPDEST
00000d14: EQ
00000d15: PUSH2 0x0d31
00000d18: JUMPI
00000d19: PUSH1 0x40
00000d1b: MLOAD
00000d1c: PUSH4 0x0fe219dd
00000d21: PUSH1 0xe2
00000d23: SHL
00000d24: DUP2
00000d25: MSTORE
00000d26: PUSH1 0x04
00000d28: ADD
00000d29: PUSH1 0x40
00000d2b: MLOAD
00000d2c: DUP1
00000d2d: SWAP2
00000d2e: SUB
00000d2f: SWAP1
00000d30: REVERT
00000d31: JUMPDEST
00000d32: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000d05
00000d53: PUSH2 0x0d5d
00000d56: PUSH1 0x01
00000d58: DUP4
00000d59: PUSH2 0x1fe2
00000d5c: JUMP
00000d5d: JUMPDEST
00000d5e: PUSH1 0x00
00000d60: SLOAD
00000d61: PUSH2 0x0d6a
00000d64: SWAP2
00000d65: SWAP1
00000d66: PUSH2 0x1f97
00000d69: JUMP
00000d6a: JUMPDEST
00000d6b: GT
00000d6c: ISZERO
00000d6d: PUSH2 0x0d89
00000d70: JUMPI
00000d71: PUSH1 0x40
00000d73: MLOAD
00000d74: PUSH4 0x52df9fe5
00000d79: PUSH1 0xe0
00000d7b: SHL
00000d7c: DUP2
00000d7d: MSTORE
00000d7e: PUSH1 0x04
00000d80: ADD
00000d81: PUSH1 0x40
00000d83: MLOAD
00000d84: DUP1
00000d85: SWAP2
00000d86: SUB
00000d87: SWAP1
00000d88: REVERT
00000d89: JUMPDEST
00000d8a: DUP1
00000d8b: PUSH1 0x0b
00000d8d: SLOAD
00000d8e: PUSH2 0x0d97
00000d91: SWAP2
00000d92: SWAP1
00000d93: PUSH2 0x1fc3
00000d96: JUMP
00000d97: JUMPDEST
00000d98: CALLVALUE
00000d99: EQ
00000d9a: PUSH2 0x0db5
00000d9d: JUMPI
00000d9e: PUSH1 0x40
00000da0: MLOAD
00000da1: PUSH3 0xbfc921
00000da5: PUSH1 0xe0
00000da7: SHL
00000da8: DUP2
00000da9: MSTORE
00000daa: PUSH1 0x04
00000dac: ADD
00000dad: PUSH1 0x40
00000daf: MLOAD
00000db0: DUP1
00000db1: SWAP2
00000db2: SUB
00000db3: SWAP1
00000db4: REVERT
00000db5: JUMPDEST
00000db6: PUSH1 0x0c
00000db8: SLOAD
00000db9: CALLER
00000dba: PUSH1 0x00
00000dbc: SWAP1
00000dbd: DUP2
00000dbe: MSTORE
00000dbf: PUSH1 0x10
00000dc1: PUSH1 0x20
00000dc3: MSTORE
00000dc4: PUSH1 0x40
00000dc6: SWAP1
00000dc7: KECCAK256
00000dc8: SLOAD
00000dc9: PUSH2 0x0dd3
00000dcc: SWAP1
00000dcd: DUP4
00000dce: SWAP1
00000dcf: PUSH2 0x1f97
00000dd2: JUMP
00000dd3: JUMPDEST
00000dd4: GT
00000dd5: ISZERO
00000dd6: PUSH2 0x0df2
00000dd9: JUMPI
00000dda: PUSH1 0x40
00000ddc: MLOAD
00000ddd: PUSH4 0x524f409b
00000de2: PUSH1 0xe0
00000de4: SHL
00000de5: DUP2
00000de6: MSTORE
00000de7: PUSH1 0x04
00000de9: ADD
00000dea: PUSH1 0x40
00000dec: MLOAD
00000ded: DUP1
00000dee: SWAP2
00000def: SUB
00000df0: SWAP1
00000df1: REVERT
00000df2: JUMPDEST
00000df3: PUSH1 0x0d
00000df5: SLOAD
00000df6: DUP2
00000df7: GT
00000df8: ISZERO
00000df9: PUSH2 0x0e15
00000dfc: JUMPI
00000dfd: PUSH1 0x40
00000dff: MLOAD
00000e00: PUSH4 0x524f409b
00000e05: PUSH1 0xe0
00000e07: SHL
00000e08: DUP2
00000e09: MSTORE
00000e0a: PUSH1 0x04
00000e0c: ADD
00000e0d: PUSH1 0x40
00000e0f: MLOAD
00000e10: DUP1
00000e11: SWAP2
00000e12: SUB
00000e13: SWAP1
00000e14: REVERT
00000e15: JUMPDEST
00000e16: PUSH2 0x0e1f
00000e19: CALLER
00000e1a: DUP3
00000e1b: PUSH2 0x14c8
00000e1e: JUMP
00000e1f: JUMPDEST
00000e20: CALLER
00000e21: PUSH1 0x00
00000e23: SWAP1
00000e24: DUP2
00000e25: MSTORE
00000e26: PUSH1 0x10
00000e28: PUSH1 0x20
00000e2a: MSTORE
00000e2b: PUSH1 0x40
00000e2d: DUP2
00000e2e: KECCAK256
00000e2f: DUP1
00000e30: SLOAD
00000e31: DUP4
00000e32: SWAP3
00000e33: SWAP1
00000e34: PUSH2 0x0e3e
00000e37: SWAP1
00000e38: DUP5
00000e39: SWAP1
00000e3a: PUSH2 0x1f97
00000e3d: JUMP
00000e3e: JUMPDEST
00000e3f: SWAP1
00000e40: SWAP2
00000e41: SSTORE
00000e42: POP
00000e43: POP
00000e44: POP
00000e45: JUMP
00000e46: JUMPDEST
00000e47: PUSH1 0x01
00000e49: PUSH1 0x01
00000e4b: PUSH1 0xa0
00000e4d: SHL
00000e4e: SUB
00000e4f: DUP3
00000e50: AND
00000e51: CALLER
00000e52: EQ
00000e53: ISZERO
00000e54: PUSH2 0x0e70
00000e57: JUMPI
00000e58: PUSH1 0x40
00000e5a: MLOAD
00000e5b: PUSH4 0xb06307db
00000e60: PUSH1 0xe0
00000e62: SHL
00000e63: DUP2
00000e64: MSTORE
00000e65: PUSH1 0x04
00000e67: ADD
00000e68: PUSH1 0x40
00000e6a: MLOAD
00000e6b: DUP1
00000e6c: SWAP2
00000e6d: SUB
00000e6e: SWAP1
00000e6f: REVERT
00000e70: JUMPDEST
00000e71: CALLER
00000e72: PUSH1 0x00
00000e74: DUP2
00000e75: DUP2
00000e76: MSTORE
00000e77: PUSH1 0x07
00000e79: PUSH1 0x20
00000e7b: SWAP1
00000e7c: DUP2
00000e7d: MSTORE
00000e7e: PUSH1 0x40
00000e80: DUP1
00000e81: DUP4
00000e82: KECCAK256
00000e83: PUSH1 0x01
00000e85: PUSH1 0x01
00000e87: PUSH1 0xa0
00000e89: SHL
00000e8a: SUB
00000e8b: DUP8
00000e8c: AND
00000e8d: DUP1
00000e8e: DUP6
00000e8f: MSTORE
00000e90: SWAP1
00000e91: DUP4
00000e92: MSTORE
00000e93: SWAP3
00000e94: DUP2
00000e95: SWAP1
00000e96: KECCAK256
00000e97: DUP1
00000e98: SLOAD
00000e99: PUSH1 0xff
00000e9b: NOT
00000e9c: AND
00000e9d: DUP7
00000e9e: ISZERO
00000e9f: ISZERO
00000ea0: SWAP1
00000ea1: DUP2
00000ea2: OR
00000ea3: SWAP1
00000ea4: SWAP2
00000ea5: SSTORE
00000ea6: SWAP1
00000ea7: MLOAD
00000ea8: SWAP1
00000ea9: DUP2
00000eaa: MSTORE
00000eab: SWAP2
00000eac: SWAP3
00000ead: SWAP2
00000eae: PUSH32 0x17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c31
00000ecf: SWAP2
00000ed0: ADD
00000ed1: PUSH1 0x40
00000ed3: MLOAD
00000ed4: DUP1
00000ed5: SWAP2
00000ed6: SUB
00000ed7: SWAP1
00000ed8: LOG3
00000ed9: POP
00000eda: POP
00000edb: JUMP
00000edc: JUMPDEST
00000edd: PUSH2 0x0ee7
00000ee0: DUP5
00000ee1: DUP5
00000ee2: DUP5
00000ee3: PUSH2 0x12d8
00000ee6: JUMP
00000ee7: JUMPDEST
00000ee8: PUSH1 0x01
00000eea: PUSH1 0x01
00000eec: PUSH1 0xa0
00000eee: SHL
00000eef: SUB
00000ef0: DUP4
00000ef1: AND
00000ef2: EXTCODESIZE
00000ef3: ISZERO
00000ef4: ISZERO
00000ef5: DUP1
00000ef6: ISZERO
00000ef7: PUSH2 0x0f09
00000efa: JUMPI
00000efb: POP
00000efc: PUSH2 0x0f07
00000eff: DUP5
00000f00: DUP5
00000f01: DUP5
00000f02: DUP5
00000f03: PUSH2 0x165d
00000f06: JUMP
00000f07: JUMPDEST
00000f08: ISZERO
00000f09: JUMPDEST
00000f0a: ISZERO
00000f0b: PUSH2 0x08ef
00000f0e: JUMPI
00000f0f: PUSH1 0x40
00000f11: MLOAD
00000f12: PUSH4 0x68d2bf6b
00000f17: PUSH1 0xe1
00000f19: SHL
00000f1a: DUP2
00000f1b: MSTORE
00000f1c: PUSH1 0x04
00000f1e: ADD
00000f1f: PUSH1 0x40
00000f21: MLOAD
00000f22: DUP1
00000f23: SWAP2
00000f24: SUB
00000f25: SWAP1
00000f26: REVERT
00000f27: JUMPDEST
00000f28: PUSH1 0x08
00000f2a: SLOAD
00000f2b: PUSH1 0x01
00000f2d: PUSH1 0x01
00000f2f: PUSH1 0xa0
00000f31: SHL
00000f32: SUB
00000f33: AND
00000f34: CALLER
00000f35: EQ
00000f36: PUSH2 0x0f51
00000f39: JUMPI
00000f3a: PUSH1 0x40
00000f3c: MLOAD
00000f3d: PUSH3 0x461bcd
00000f41: PUSH1 0xe5
00000f43: SHL
00000f44: DUP2
00000f45: MSTORE
00000f46: PUSH1 0x04
00000f48: ADD
00000f49: PUSH2 0x06f7
00000f4c: SWAP1
00000f4d: PUSH2 0x1f62
00000f50: JUMP
00000f51: JUMPDEST
00000f52: PUSH1 0x0d
00000f54: SSTORE
00000f55: JUMP
00000f56: JUMPDEST
00000f57: PUSH1 0x60
00000f59: PUSH2 0x0f61
00000f5c: DUP3
00000f5d: PUSH2 0x1243
00000f60: JUMP
00000f61: JUMPDEST
00000f62: PUSH2 0x0f7e
00000f65: JUMPI
00000f66: PUSH1 0x40
00000f68: MLOAD
00000f69: PUSH4 0x0a14c4b5
00000f6e: PUSH1 0xe4
00000f70: SHL
00000f71: DUP2
00000f72: MSTORE
00000f73: PUSH1 0x04
00000f75: ADD
00000f76: PUSH1 0x40
00000f78: MLOAD
00000f79: DUP1
00000f7a: SWAP2
00000f7b: SUB
00000f7c: SWAP1
00000f7d: REVERT
00000f7e: JUMPDEST
00000f7f: PUSH1 0x00
00000f81: PUSH2 0x0f88
00000f84: PUSH2 0x1755
00000f87: JUMP
00000f88: JUMPDEST
00000f89: SWAP1
00000f8a: POP
00000f8b: DUP1
00000f8c: MLOAD
00000f8d: PUSH1 0x00
00000f8f: EQ
00000f90: ISZERO
00000f91: PUSH2 0x0fa9
00000f94: JUMPI
00000f95: PUSH1 0x40
00000f97: MLOAD
00000f98: DUP1
00000f99: PUSH1 0x20
00000f9b: ADD
00000f9c: PUSH1 0x40
00000f9e: MSTORE
00000f9f: DUP1
00000fa0: PUSH1 0x00
00000fa2: DUP2
00000fa3: MSTORE
00000fa4: POP
00000fa5: PUSH2 0x0fd4
00000fa8: JUMP
00000fa9: JUMPDEST
00000faa: DUP1
00000fab: PUSH2 0x0fb3
00000fae: DUP5
00000faf: PUSH2 0x1764
00000fb2: JUMP
00000fb3: JUMPDEST
00000fb4: PUSH1 0x40
00000fb6: MLOAD
00000fb7: PUSH1 0x20
00000fb9: ADD
00000fba: PUSH2 0x0fc4
00000fbd: SWAP3
00000fbe: SWAP2
00000fbf: SWAP1
00000fc0: PUSH2 0x1ebb
00000fc3: JUMP
00000fc4: JUMPDEST
00000fc5: PUSH1 0x40
00000fc7: MLOAD
00000fc8: PUSH1 0x20
00000fca: DUP2
00000fcb: DUP4
00000fcc: SUB
00000fcd: SUB
00000fce: DUP2
00000fcf: MSTORE
00000fd0: SWAP1
00000fd1: PUSH1 0x40
00000fd3: MSTORE
00000fd4: JUMPDEST
00000fd5: SWAP4
00000fd6: SWAP3
00000fd7: POP
00000fd8: POP
00000fd9: POP
00000fda: JUMP
00000fdb: JUMPDEST
00000fdc: PUSH1 0x0f
00000fde: DUP1
00000fdf: SLOAD
00000fe0: PUSH2 0x0fe8
00000fe3: SWAP1
00000fe4: PUSH2 0x2025
00000fe7: JUMP
00000fe8: JUMPDEST
00000fe9: DUP1
00000fea: PUSH1 0x1f
00000fec: ADD
00000fed: PUSH1 0x20
00000fef: DUP1
00000ff0: SWAP2
00000ff1: DIV
00000ff2: MUL
00000ff3: PUSH1 0x20
00000ff5: ADD
00000ff6: PUSH1 0x40
00000ff8: MLOAD
00000ff9: SWAP1
00000ffa: DUP2
00000ffb: ADD
00000ffc: PUSH1 0x40
00000ffe: MSTORE
00000fff: DUP1
00001000: SWAP3
00001001: SWAP2
00001002: SWAP1
00001003: DUP2
00001004: DUP2
00001005: MSTORE
00001006: PUSH1 0x20
00001008: ADD
00001009: DUP3
0000100a: DUP1
0000100b: SLOAD
0000100c: PUSH2 0x1014
0000100f: SWAP1
00001010: PUSH2 0x2025
00001013: JUMP
00001014: JUMPDEST
00001015: DUP1
00001016: ISZERO
00001017: PUSH2 0x1061
0000101a: JUMPI
0000101b: DUP1
0000101c: PUSH1 0x1f
0000101e: LT
0000101f: PUSH2 0x1036
00001022: JUMPI
00001023: PUSH2 0x0100
00001026: DUP1
00001027: DUP4
00001028: SLOAD
00001029: DIV
0000102a: MUL
0000102b: DUP4
0000102c: MSTORE
0000102d: SWAP2
0000102e: PUSH1 0x20
00001030: ADD
00001031: SWAP2
00001032: PUSH2 0x1061
00001035: JUMP
00001036: JUMPDEST
00001037: DUP3
00001038: ADD
00001039: SWAP2
0000103a: SWAP1
0000103b: PUSH1 0x00
0000103d: MSTORE
0000103e: PUSH1 0x20
00001040: PUSH1 0x00
00001042: KECCAK256
00001043: SWAP1
00001044: JUMPDEST
00001045: DUP2
00001046: SLOAD
00001047: DUP2
00001048: MSTORE
00001049: SWAP1
0000104a: PUSH1 0x01
0000104c: ADD
0000104d: SWAP1
0000104e: PUSH1 0x20
00001050: ADD
00001051: DUP1
00001052: DUP4
00001053: GT
00001054: PUSH2 0x1044
00001057: JUMPI
00001058: DUP3
00001059: SWAP1
0000105a: SUB
0000105b: PUSH1 0x1f
0000105d: AND
0000105e: DUP3
0000105f: ADD
00001060: SWAP2
00001061: JUMPDEST
00001062: POP
00001063: POP
00001064: POP
00001065: POP
00001066: POP
00001067: DUP2
00001068: JUMP
00001069: JUMPDEST
0000106a: PUSH1 0x60
0000106c: PUSH1 0x40
0000106e: MLOAD
0000106f: DUP1
00001070: PUSH1 0x60
00001072: ADD
00001073: PUSH1 0x40
00001075: MSTORE
00001076: DUP1
00001077: PUSH1 0x2d
00001079: DUP2
0000107a: MSTORE
0000107b: PUSH1 0x20
0000107d: ADD
0000107e: PUSH2 0x2122
00001081: PUSH1 0x2d
00001083: SWAP2
00001084: CODECOPY
00001085: SWAP1
00001086: POP
00001087: SWAP1
00001088: JUMP
00001089: JUMPDEST
0000108a: PUSH1 0x08
0000108c: SLOAD
0000108d: PUSH1 0x01
0000108f: PUSH1 0x01
00001091: PUSH1 0xa0
00001093: SHL
00001094: SUB
00001095: AND
00001096: CALLER
00001097: EQ
00001098: PUSH2 0x10b3
0000109b: JUMPI
0000109c: PUSH1 0x40
0000109e: MLOAD
0000109f: PUSH3 0x461bcd
000010a3: PUSH1 0xe5
000010a5: SHL
000010a6: DUP2
000010a7: MSTORE
000010a8: PUSH1 0x04
000010aa: ADD
000010ab: PUSH2 0x06f7
000010ae: SWAP1
000010af: PUSH2 0x1f62
000010b2: JUMP
000010b3: JUMPDEST
000010b4: PUSH1 0x01
000010b6: PUSH1 0x01
000010b8: PUSH1 0xa0
000010ba: SHL
000010bb: SUB
000010bc: DUP2
000010bd: AND
000010be: PUSH2 0x1118
000010c1: JUMPI
000010c2: PUSH1 0x40
000010c4: MLOAD
000010c5: PUSH3 0x461bcd
000010c9: PUSH1 0xe5
000010cb: SHL
000010cc: DUP2
000010cd: MSTORE
000010ce: PUSH1 0x20
000010d0: PUSH1 0x04
000010d2: DUP3
000010d3: ADD
000010d4: MSTORE
000010d5: PUSH1 0x26
000010d7: PUSH1 0x24
000010d9: DUP3
000010da: ADD
000010db: MSTORE
000010dc: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061
000010fd: PUSH1 0x44
000010ff: DUP3
00001100: ADD
00001101: MSTORE
00001102: PUSH6 0x646472657373
00001109: PUSH1 0xd0
0000110b: SHL
0000110c: PUSH1 0x64
0000110e: DUP3
0000110f: ADD
00001110: MSTORE
00001111: PUSH1 0x84
00001113: ADD
00001114: PUSH2 0x06f7
00001117: JUMP
00001118: JUMPDEST
00001119: PUSH2 0x09f6
0000111c: DUP2
0000111d: PUSH2 0x160b
00001120: JUMP
00001121: JUMPDEST
00001122: PUSH1 0x00
00001124: PUSH1 0x01
00001126: PUSH1 0x01
00001128: PUSH1 0xe0
0000112a: SHL
0000112b: SUB
0000112c: NOT
0000112d: DUP3
0000112e: AND
0000112f: PUSH4 0x152a902d
00001134: PUSH1 0xe1
00001136: SHL
00001137: EQ
00001138: DUP1
00001139: PUSH2 0x06c7
0000113c: JUMPI
0000113d: POP
0000113e: PUSH2 0x06c7
00001141: DUP3
00001142: PUSH2 0x1862
00001145: JUMP
00001146: JUMPDEST
00001147: PUSH2 0x2710
0000114a: PUSH1 0x01
0000114c: PUSH1 0x01
0000114e: PUSH1 0x60
00001150: SHL
00001151: SUB
00001152: DUP3
00001153: AND
00001154: GT
00001155: ISZERO
00001156: PUSH2 0x11b4
00001159: JUMPI
0000115a: PUSH1 0x40
0000115c: MLOAD
0000115d: PUSH3 0x461bcd
00001161: PUSH1 0xe5
00001163: SHL
00001164: DUP2
00001165: MSTORE
00001166: PUSH1 0x20
00001168: PUSH1 0x04
0000116a: DUP3
0000116b: ADD
0000116c: MSTORE
0000116d: PUSH1 0x2a
0000116f: PUSH1 0x24
00001171: DUP3
00001172: ADD
00001173: MSTORE
00001174: PUSH32 0x455243323938313a20726f79616c7479206665652077696c6c20657863656564
00001195: PUSH1 0x44
00001197: DUP3
00001198: ADD
00001199: MSTORE
0000119a: PUSH10 0x2073616c655072696365
000011a5: PUSH1 0xb0
000011a7: SHL
000011a8: PUSH1 0x64
000011aa: DUP3
000011ab: ADD
000011ac: MSTORE
000011ad: PUSH1 0x84
000011af: ADD
000011b0: PUSH2 0x06f7
000011b3: JUMP
000011b4: JUMPDEST
000011b5: PUSH1 0x01
000011b7: PUSH1 0x01
000011b9: PUSH1 0xa0
000011bb: SHL
000011bc: SUB
000011bd: DUP3
000011be: AND
000011bf: PUSH2 0x120a
000011c2: JUMPI
000011c3: PUSH1 0x40
000011c5: MLOAD
000011c6: PUSH3 0x461bcd
000011ca: PUSH1 0xe5
000011cc: SHL
000011cd: DUP2
000011ce: MSTORE
000011cf: PUSH1 0x20
000011d1: PUSH1 0x04
000011d3: DUP3
000011d4: ADD
000011d5: MSTORE
000011d6: PUSH1 0x19
000011d8: PUSH1 0x24
000011da: DUP3
000011db: ADD
000011dc: MSTORE
000011dd: PUSH32 0x455243323938313a20696e76616c696420726563656976657200000000000000
000011fe: PUSH1 0x44
00001200: DUP3
00001201: ADD
00001202: MSTORE
00001203: PUSH1 0x64
00001205: ADD
00001206: PUSH2 0x06f7
00001209: JUMP
0000120a: JUMPDEST
0000120b: PUSH1 0x40
0000120d: DUP1
0000120e: MLOAD
0000120f: DUP1
00001210: DUP3
00001211: ADD
00001212: SWAP1
00001213: SWAP2
00001214: MSTORE
00001215: PUSH1 0x01
00001217: PUSH1 0x01
00001219: PUSH1 0xa0
0000121b: SHL
0000121c: SUB
0000121d: SWAP1
0000121e: SWAP3
0000121f: AND
00001220: DUP1
00001221: DUP4
00001222: MSTORE
00001223: PUSH1 0x01
00001225: PUSH1 0x01
00001227: PUSH1 0x60
00001229: SHL
0000122a: SUB
0000122b: SWAP1
0000122c: SWAP2
0000122d: AND
0000122e: PUSH1 0x20
00001230: SWAP1
00001231: SWAP3
00001232: ADD
00001233: DUP3
00001234: SWAP1
00001235: MSTORE
00001236: PUSH1 0x01
00001238: PUSH1 0xa0
0000123a: SHL
0000123b: SWAP1
0000123c: SWAP2
0000123d: MUL
0000123e: OR
0000123f: PUSH1 0x09
00001241: SSTORE
00001242: JUMP
00001243: JUMPDEST
00001244: PUSH1 0x00
00001246: DUP2
00001247: PUSH1 0x01
00001249: GT
0000124a: ISZERO
0000124b: DUP1
0000124c: ISZERO
0000124d: PUSH2 0x1257
00001250: JUMPI
00001251: POP
00001252: PUSH1 0x00
00001254: SLOAD
00001255: DUP3
00001256: LT
00001257: JUMPDEST
00001258: DUP1
00001259: ISZERO
0000125a: PUSH2 0x06c7
0000125d: JUMPI
0000125e: POP
0000125f: POP
00001260: PUSH1 0x00
00001262: SWAP1
00001263: DUP2
00001264: MSTORE
00001265: PUSH1 0x04
00001267: PUSH1 0x20
00001269: MSTORE
0000126a: PUSH1 0x40
0000126c: SWAP1
0000126d: KECCAK256
0000126e: SLOAD
0000126f: PUSH1 0x01
00001271: PUSH1 0xe0
00001273: SHL
00001274: SWAP1
00001275: DIV
00001276: PUSH1 0xff
00001278: AND
00001279: ISZERO
0000127a: SWAP1
0000127b: JUMP
0000127c: JUMPDEST
0000127d: PUSH1 0x00
0000127f: DUP3
00001280: DUP2
00001281: MSTORE
00001282: PUSH1 0x06
00001284: PUSH1 0x20
00001286: MSTORE
00001287: PUSH1 0x40
00001289: DUP1
0000128a: DUP3
0000128b: KECCAK256
0000128c: DUP1
0000128d: SLOAD
0000128e: PUSH1 0x01
00001290: PUSH1 0x01
00001292: PUSH1 0xa0
00001294: SHL
00001295: SUB
00001296: NOT
00001297: AND
00001298: PUSH1 0x01
0000129a: PUSH1 0x01
0000129c: PUSH1 0xa0
0000129e: SHL
0000129f: SUB
000012a0: DUP8
000012a1: DUP2
000012a2: AND
000012a3: SWAP2
000012a4: DUP3
000012a5: OR
000012a6: SWAP1
000012a7: SWAP3
000012a8: SSTORE
000012a9: SWAP2
000012aa: MLOAD
000012ab: DUP6
000012ac: SWAP4
000012ad: SWAP2
000012ae: DUP6
000012af: AND
000012b0: SWAP2
000012b1: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
000012d2: SWAP2
000012d3: LOG4
000012d4: POP
000012d5: POP
000012d6: POP
000012d7: JUMP
000012d8: JUMPDEST
000012d9: PUSH1 0x00
000012db: PUSH2 0x12e3
000012de: DUP3
000012df: PUSH2 0x14e2
000012e2: JUMP
000012e3: JUMPDEST
000012e4: SWAP1
000012e5: POP
000012e6: DUP4
000012e7: PUSH1 0x01
000012e9: PUSH1 0x01
000012eb: PUSH1 0xa0
000012ed: SHL
000012ee: SUB
000012ef: AND
000012f0: DUP2
000012f1: PUSH1 0x00
000012f3: ADD
000012f4: MLOAD
000012f5: PUSH1 0x01
000012f7: PUSH1 0x01
000012f9: PUSH1 0xa0
000012fb: SHL
000012fc: SUB
000012fd: AND
000012fe: EQ
000012ff: PUSH2 0x131a
00001302: JUMPI
00001303: PUSH1 0x40
00001305: MLOAD
00001306: PUSH3 0xa11481
0000130a: PUSH1 0xe8
0000130c: SHL
0000130d: DUP2
0000130e: MSTORE
0000130f: PUSH1 0x04
00001311: ADD
00001312: PUSH1 0x40
00001314: MLOAD
00001315: DUP1
00001316: SWAP2
00001317: SUB
00001318: SWAP1
00001319: REVERT
0000131a: JUMPDEST
0000131b: PUSH1 0x00
0000131d: CALLER
0000131e: PUSH1 0x01
00001320: PUSH1 0x01
00001322: PUSH1 0xa0
00001324: SHL
00001325: SUB
00001326: DUP7
00001327: AND
00001328: EQ
00001329: DUP1
0000132a: PUSH2 0x1338
0000132d: JUMPI
0000132e: POP
0000132f: PUSH2 0x1338
00001332: DUP6
00001333: CALLER
00001334: PUSH2 0x066e
00001337: JUMP
00001338: JUMPDEST
00001339: DUP1
0000133a: PUSH2 0x1353
0000133d: JUMPI
0000133e: POP
0000133f: CALLER
00001340: PUSH2 0x1348
00001343: DUP5
00001344: PUSH2 0x07a0
00001347: JUMP
00001348: JUMPDEST
00001349: PUSH1 0x01
0000134b: PUSH1 0x01
0000134d: PUSH1 0xa0
0000134f: SHL
00001350: SUB
00001351: AND
00001352: EQ
00001353: JUMPDEST
00001354: SWAP1
00001355: POP
00001356: DUP1
00001357: PUSH2 0x1373
0000135a: JUMPI
0000135b: PUSH1 0x40
0000135d: MLOAD
0000135e: PUSH4 0x2ce44b5f
00001363: PUSH1 0xe1
00001365: SHL
00001366: DUP2
00001367: MSTORE
00001368: PUSH1 0x04
0000136a: ADD
0000136b: PUSH1 0x40
0000136d: MLOAD
0000136e: DUP1
0000136f: SWAP2
00001370: SUB
00001371: SWAP1
00001372: REVERT
00001373: JUMPDEST
00001374: PUSH1 0x01
00001376: PUSH1 0x01
00001378: PUSH1 0xa0
0000137a: SHL
0000137b: SUB
0000137c: DUP5
0000137d: AND
0000137e: PUSH2 0x139a
00001381: JUMPI
00001382: PUSH1 0x40
00001384: MLOAD
00001385: PUSH4 0x3a954ecd
0000138a: PUSH1 0xe2
0000138c: SHL
0000138d: DUP2
0000138e: MSTORE
0000138f: PUSH1 0x04
00001391: ADD
00001392: PUSH1 0x40
00001394: MLOAD
00001395: DUP1
00001396: SWAP2
00001397: SUB
00001398: SWAP1
00001399: REVERT
0000139a: JUMPDEST
0000139b: PUSH2 0x13a6
0000139e: PUSH1 0x00
000013a0: DUP5
000013a1: DUP8
000013a2: PUSH2 0x127c
000013a5: JUMP
000013a6: JUMPDEST
000013a7: PUSH1 0x01
000013a9: PUSH1 0x01
000013ab: PUSH1 0xa0
000013ad: SHL
000013ae: SUB
000013af: DUP6
000013b0: DUP2
000013b1: AND
000013b2: PUSH1 0x00
000013b4: SWAP1
000013b5: DUP2
000013b6: MSTORE
000013b7: PUSH1 0x05
000013b9: PUSH1 0x20
000013bb: SWAP1
000013bc: DUP2
000013bd: MSTORE
000013be: PUSH1 0x40
000013c0: DUP1
000013c1: DUP4
000013c2: KECCAK256
000013c3: DUP1
000013c4: SLOAD
000013c5: PUSH8 0xffffffffffffffff
000013ce: NOT
000013cf: DUP1
000013d0: DUP3
000013d1: AND
000013d2: PUSH8 0xffffffffffffffff
000013db: SWAP3
000013dc: DUP4
000013dd: AND
000013de: PUSH1 0x00
000013e0: NOT
000013e1: ADD
000013e2: DUP4
000013e3: AND
000013e4: OR
000013e5: SWAP1
000013e6: SWAP3
000013e7: SSTORE
000013e8: DUP10
000013e9: DUP7
000013ea: AND
000013eb: DUP1
000013ec: DUP7
000013ed: MSTORE
000013ee: DUP4
000013ef: DUP7
000013f0: KECCAK256
000013f1: DUP1
000013f2: SLOAD
000013f3: SWAP4
000013f4: DUP5
000013f5: AND
000013f6: SWAP4
000013f7: DUP4
000013f8: AND
000013f9: PUSH1 0x01
000013fb: SWAP1
000013fc: DUP2
000013fd: ADD
000013fe: DUP5
000013ff: AND
00001400: SWAP5
00001401: SWAP1
00001402: SWAP5
00001403: OR
00001404: SWAP1
00001405: SSTORE
00001406: DUP10
00001407: DUP7
00001408: MSTORE
00001409: PUSH1 0x04
0000140b: SWAP1
0000140c: SWAP5
0000140d: MSTORE
0000140e: DUP3
0000140f: DUP6
00001410: KECCAK256
00001411: DUP1
00001412: SLOAD
00001413: PUSH1 0x01
00001415: PUSH1 0x01
00001417: PUSH1 0xe0
00001419: SHL
0000141a: SUB
0000141b: NOT
0000141c: AND
0000141d: SWAP1
0000141e: SWAP5
0000141f: OR
00001420: PUSH1 0x01
00001422: PUSH1 0xa0
00001424: SHL
00001425: TIMESTAMP
00001426: SWAP1
00001427: SWAP3
00001428: AND
00001429: SWAP2
0000142a: SWAP1
0000142b: SWAP2
0000142c: MUL
0000142d: OR
0000142e: DUP4
0000142f: SSTORE
00001430: DUP8
00001431: ADD
00001432: DUP1
00001433: DUP5
00001434: MSTORE
00001435: SWAP3
00001436: KECCAK256
00001437: DUP1
00001438: SLOAD
00001439: SWAP2
0000143a: SWAP4
0000143b: SWAP1
0000143c: SWAP2
0000143d: AND
0000143e: PUSH2 0x147c
00001441: JUMPI
00001442: PUSH1 0x00
00001444: SLOAD
00001445: DUP3
00001446: EQ
00001447: PUSH2 0x147c
0000144a: JUMPI
0000144b: DUP1
0000144c: SLOAD
0000144d: PUSH1 0x20
0000144f: DUP7
00001450: ADD
00001451: MLOAD
00001452: PUSH8 0xffffffffffffffff
0000145b: AND
0000145c: PUSH1 0x01
0000145e: PUSH1 0xa0
00001460: SHL
00001461: MUL
00001462: PUSH1 0x01
00001464: PUSH1 0x01
00001466: PUSH1 0xe0
00001468: SHL
00001469: SUB
0000146a: NOT
0000146b: SWAP1
0000146c: SWAP2
0000146d: AND
0000146e: PUSH1 0x01
00001470: PUSH1 0x01
00001472: PUSH1 0xa0
00001474: SHL
00001475: SUB
00001476: DUP11
00001477: AND
00001478: OR
00001479: OR
0000147a: DUP2
0000147b: SSTORE
0000147c: JUMPDEST
0000147d: POP
0000147e: POP
0000147f: POP
00001480: DUP3
00001481: DUP5
00001482: PUSH1 0x01
00001484: PUSH1 0x01
00001486: PUSH1 0xa0
00001488: SHL
00001489: SUB
0000148a: AND
0000148b: DUP7
0000148c: PUSH1 0x01
0000148e: PUSH1 0x01
00001490: PUSH1 0xa0
00001492: SHL
00001493: SUB
00001494: AND
00001495: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
000014b6: PUSH1 0x40
000014b8: MLOAD
000014b9: PUSH1 0x40
000014bb: MLOAD
000014bc: DUP1
000014bd: SWAP2
000014be: SUB
000014bf: SWAP1
000014c0: LOG4
000014c1: JUMPDEST
000014c2: POP
000014c3: POP
000014c4: POP
000014c5: POP
000014c6: POP
000014c7: JUMP
000014c8: JUMPDEST
000014c9: PUSH2 0x070a
000014cc: DUP3
000014cd: DUP3
000014ce: PUSH1 0x40
000014d0: MLOAD
000014d1: DUP1
000014d2: PUSH1 0x20
000014d4: ADD
000014d5: PUSH1 0x40
000014d7: MSTORE
000014d8: DUP1
000014d9: PUSH1 0x00
000014db: DUP2
000014dc: MSTORE
000014dd: POP
000014de: PUSH2 0x18b2
000014e1: JUMP
000014e2: JUMPDEST
000014e3: PUSH1 0x40
000014e5: DUP1
000014e6: MLOAD
000014e7: PUSH1 0x60
000014e9: DUP2
000014ea: ADD
000014eb: DUP3
000014ec: MSTORE
000014ed: PUSH1 0x00
000014ef: DUP1
000014f0: DUP3
000014f1: MSTORE
000014f2: PUSH1 0x20
000014f4: DUP3
000014f5: ADD
000014f6: DUP2
000014f7: SWAP1
000014f8: MSTORE
000014f9: SWAP2
000014fa: DUP2
000014fb: ADD
000014fc: SWAP2
000014fd: SWAP1
000014fe: SWAP2
000014ff: MSTORE
00001500: DUP2
00001501: DUP1
00001502: PUSH1 0x01
00001504: GT
00001505: ISZERO
00001506: DUP1
00001507: ISZERO
00001508: PUSH2 0x1512
0000150b: JUMPI
0000150c: POP
0000150d: PUSH1 0x00
0000150f: SLOAD
00001510: DUP2
00001511: LT
00001512: JUMPDEST
00001513: ISZERO
00001514: PUSH2 0x15f2
00001517: JUMPI
00001518: PUSH1 0x00
0000151a: DUP2
0000151b: DUP2
0000151c: MSTORE
0000151d: PUSH1 0x04
0000151f: PUSH1 0x20
00001521: SWAP1
00001522: DUP2
00001523: MSTORE
00001524: PUSH1 0x40
00001526: SWAP2
00001527: DUP3
00001528: SWAP1
00001529: KECCAK256
0000152a: DUP3
0000152b: MLOAD
0000152c: PUSH1 0x60
0000152e: DUP2
0000152f: ADD
00001530: DUP5
00001531: MSTORE
00001532: SWAP1
00001533: SLOAD
00001534: PUSH1 0x01
00001536: PUSH1 0x01
00001538: PUSH1 0xa0
0000153a: SHL
0000153b: SUB
0000153c: DUP2
0000153d: AND
0000153e: DUP3
0000153f: MSTORE
00001540: PUSH1 0x01
00001542: PUSH1 0xa0
00001544: SHL
00001545: DUP2
00001546: DIV
00001547: PUSH8 0xffffffffffffffff
00001550: AND
00001551: SWAP3
00001552: DUP3
00001553: ADD
00001554: SWAP3
00001555: SWAP1
00001556: SWAP3
00001557: MSTORE
00001558: PUSH1 0x01
0000155a: PUSH1 0xe0
0000155c: SHL
0000155d: SWAP1
0000155e: SWAP2
0000155f: DIV
00001560: PUSH1 0xff
00001562: AND
00001563: ISZERO
00001564: ISZERO
00001565: SWAP2
00001566: DUP2
00001567: ADD
00001568: DUP3
00001569: SWAP1
0000156a: MSTORE
0000156b: SWAP1
0000156c: PUSH2 0x15f0
0000156f: JUMPI
00001570: DUP1
00001571: MLOAD
00001572: PUSH1 0x01
00001574: PUSH1 0x01
00001576: PUSH1 0xa0
00001578: SHL
00001579: SUB
0000157a: AND
0000157b: ISZERO
0000157c: PUSH2 0x1586
0000157f: JUMPI
00001580: SWAP4
00001581: SWAP3
00001582: POP
00001583: POP
00001584: POP
00001585: JUMP
00001586: JUMPDEST
00001587: POP
00001588: PUSH1 0x00
0000158a: NOT
0000158b: ADD
0000158c: PUSH1 0x00
0000158e: DUP2
0000158f: DUP2
00001590: MSTORE
00001591: PUSH1 0x04
00001593: PUSH1 0x20
00001595: SWAP1
00001596: DUP2
00001597: MSTORE
00001598: PUSH1 0x40
0000159a: SWAP2
0000159b: DUP3
0000159c: SWAP1
0000159d: KECCAK256
0000159e: DUP3
0000159f: MLOAD
000015a0: PUSH1 0x60
000015a2: DUP2
000015a3: ADD
000015a4: DUP5
000015a5: MSTORE
000015a6: SWAP1
000015a7: SLOAD
000015a8: PUSH1 0x01
000015aa: PUSH1 0x01
000015ac: PUSH1 0xa0
000015ae: SHL
000015af: SUB
000015b0: DUP2
000015b1: AND
000015b2: DUP1
000015b3: DUP4
000015b4: MSTORE
000015b5: PUSH1 0x01
000015b7: PUSH1 0xa0
000015b9: SHL
000015ba: DUP3
000015bb: DIV
000015bc: PUSH8 0xffffffffffffffff
000015c5: AND
000015c6: SWAP4
000015c7: DUP4
000015c8: ADD
000015c9: SWAP4
000015ca: SWAP1
000015cb: SWAP4
000015cc: MSTORE
000015cd: PUSH1 0x01
000015cf: PUSH1 0xe0
000015d1: SHL
000015d2: SWAP1
000015d3: DIV
000015d4: PUSH1 0xff
000015d6: AND
000015d7: ISZERO
000015d8: ISZERO
000015d9: SWAP3
000015da: DUP2
000015db: ADD
000015dc: SWAP3
000015dd: SWAP1
000015de: SWAP3
000015df: MSTORE
000015e0: ISZERO
000015e1: PUSH2 0x15eb
000015e4: JUMPI
000015e5: SWAP4
000015e6: SWAP3
000015e7: POP
000015e8: POP
000015e9: POP
000015ea: JUMP
000015eb: JUMPDEST
000015ec: PUSH2 0x1586
000015ef: JUMP
000015f0: JUMPDEST
000015f1: POP
000015f2: JUMPDEST
000015f3: PUSH1 0x40
000015f5: MLOAD
000015f6: PUSH4 0x6f96cda1
000015fb: PUSH1 0xe1
000015fd: SHL
000015fe: DUP2
000015ff: MSTORE
00001600: PUSH1 0x04
00001602: ADD
00001603: PUSH1 0x40
00001605: MLOAD
00001606: DUP1
00001607: SWAP2
00001608: SUB
00001609: SWAP1
0000160a: REVERT
0000160b: JUMPDEST
0000160c: PUSH1 0x08
0000160e: DUP1
0000160f: SLOAD
00001610: PUSH1 0x01
00001612: PUSH1 0x01
00001614: PUSH1 0xa0
00001616: SHL
00001617: SUB
00001618: DUP4
00001619: DUP2
0000161a: AND
0000161b: PUSH1 0x01
0000161d: PUSH1 0x01
0000161f: PUSH1 0xa0
00001621: SHL
00001622: SUB
00001623: NOT
00001624: DUP4
00001625: AND
00001626: DUP2
00001627: OR
00001628: SWAP1
00001629: SWAP4
0000162a: SSTORE
0000162b: PUSH1 0x40
0000162d: MLOAD
0000162e: SWAP2
0000162f: AND
00001630: SWAP2
00001631: SWAP1
00001632: DUP3
00001633: SWAP1
00001634: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00001655: SWAP1
00001656: PUSH1 0x00
00001658: SWAP1
00001659: LOG3
0000165a: POP
0000165b: POP
0000165c: JUMP
0000165d: JUMPDEST
0000165e: PUSH1 0x40
00001660: MLOAD
00001661: PUSH4 0x0a85bd01
00001666: PUSH1 0xe1
00001668: SHL
00001669: DUP2
0000166a: MSTORE
0000166b: PUSH1 0x00
0000166d: SWAP1
0000166e: PUSH1 0x01
00001670: PUSH1 0x01
00001672: PUSH1 0xa0
00001674: SHL
00001675: SUB
00001676: DUP6
00001677: AND
00001678: SWAP1
00001679: PUSH4 0x150b7a02
0000167e: SWAP1
0000167f: PUSH2 0x1692
00001682: SWAP1
00001683: CALLER
00001684: SWAP1
00001685: DUP10
00001686: SWAP1
00001687: DUP9
00001688: SWAP1
00001689: DUP9
0000168a: SWAP1
0000168b: PUSH1 0x04
0000168d: ADD
0000168e: PUSH2 0x1eea
00001691: JUMP
00001692: JUMPDEST
00001693: PUSH1 0x20
00001695: PUSH1 0x40
00001697: MLOAD
00001698: DUP1
00001699: DUP4
0000169a: SUB
0000169b: DUP2
0000169c: PUSH1 0x00
0000169e: DUP8
0000169f: DUP1
000016a0: EXTCODESIZE
000016a1: ISZERO
000016a2: DUP1
000016a3: ISZERO
000016a4: PUSH2 0x16ac
000016a7: JUMPI
000016a8: PUSH1 0x00
000016aa: DUP1
000016ab: REVERT
000016ac: JUMPDEST
000016ad: POP
000016ae: GAS
000016af: CALL
000016b0: SWAP3
000016b1: POP
000016b2: POP
000016b3: POP
000016b4: DUP1
000016b5: ISZERO
000016b6: PUSH2 0x16dc
000016b9: JUMPI
000016ba: POP
000016bb: PUSH1 0x40
000016bd: DUP1
000016be: MLOAD
000016bf: PUSH1 0x1f
000016c1: RETURNDATASIZE
000016c2: SWAP1
000016c3: DUP2
000016c4: ADD
000016c5: PUSH1 0x1f
000016c7: NOT
000016c8: AND
000016c9: DUP3
000016ca: ADD
000016cb: SWAP1
000016cc: SWAP3
000016cd: MSTORE
000016ce: PUSH2 0x16d9
000016d1: SWAP2
000016d2: DUP2
000016d3: ADD
000016d4: SWAP1
000016d5: PUSH2 0x1d8f
000016d8: JUMP
000016d9: JUMPDEST
000016da: PUSH1 0x01
000016dc: JUMPDEST
000016dd: PUSH2 0x1737
000016e0: JUMPI
000016e1: RETURNDATASIZE
000016e2: DUP1
000016e3: DUP1
000016e4: ISZERO
000016e5: PUSH2 0x170a
000016e8: JUMPI
000016e9: PUSH1 0x40
000016eb: MLOAD
000016ec: SWAP2
000016ed: POP
000016ee: PUSH1 0x1f
000016f0: NOT
000016f1: PUSH1 0x3f
000016f3: RETURNDATASIZE
000016f4: ADD
000016f5: AND
000016f6: DUP3
000016f7: ADD
000016f8: PUSH1 0x40
000016fa: MSTORE
000016fb: RETURNDATASIZE
000016fc: DUP3
000016fd: MSTORE
000016fe: RETURNDATASIZE
000016ff: PUSH1 0x00
00001701: PUSH1 0x20
00001703: DUP5
00001704: ADD
00001705: RETURNDATACOPY
00001706: PUSH2 0x170f
00001709: JUMP
0000170a: JUMPDEST
0000170b: PUSH1 0x60
0000170d: SWAP2
0000170e: POP
0000170f: JUMPDEST
00001710: POP
00001711: DUP1
00001712: MLOAD
00001713: PUSH2 0x172f
00001716: JUMPI
00001717: PUSH1 0x40
00001719: MLOAD
0000171a: PUSH4 0x68d2bf6b
0000171f: PUSH1 0xe1
00001721: SHL
00001722: DUP2
00001723: MSTORE
00001724: PUSH1 0x04
00001726: ADD
00001727: PUSH1 0x40
00001729: MLOAD
0000172a: DUP1
0000172b: SWAP2
0000172c: SUB
0000172d: SWAP1
0000172e: REVERT
0000172f: JUMPDEST
00001730: DUP1
00001731: MLOAD
00001732: DUP2
00001733: PUSH1 0x20
00001735: ADD
00001736: REVERT
00001737: JUMPDEST
00001738: PUSH1 0x01
0000173a: PUSH1 0x01
0000173c: PUSH1 0xe0
0000173e: SHL
0000173f: SUB
00001740: NOT
00001741: AND
00001742: PUSH4 0x0a85bd01
00001747: PUSH1 0xe1
00001749: SHL
0000174a: EQ
0000174b: SWAP1
0000174c: POP
0000174d: JUMPDEST
0000174e: SWAP5
0000174f: SWAP4
00001750: POP
00001751: POP
00001752: POP
00001753: POP
00001754: JUMP
00001755: JUMPDEST
00001756: PUSH1 0x60
00001758: PUSH1 0x0f
0000175a: DUP1
0000175b: SLOAD
0000175c: PUSH2 0x071d
0000175f: SWAP1
00001760: PUSH2 0x2025
00001763: JUMP
00001764: JUMPDEST
00001765: PUSH1 0x60
00001767: DUP2
00001768: PUSH2 0x1788
0000176b: JUMPI
0000176c: POP
0000176d: POP
0000176e: PUSH1 0x40
00001770: DUP1
00001771: MLOAD
00001772: DUP1
00001773: DUP3
00001774: ADD
00001775: SWAP1
00001776: SWAP2
00001777: MSTORE
00001778: PUSH1 0x01
0000177a: DUP2
0000177b: MSTORE
0000177c: PUSH1 0x03
0000177e: PUSH1 0xfc
00001780: SHL
00001781: PUSH1 0x20
00001783: DUP3
00001784: ADD
00001785: MSTORE
00001786: SWAP1
00001787: JUMP
00001788: JUMPDEST
00001789: DUP2
0000178a: PUSH1 0x00
0000178c: JUMPDEST
0000178d: DUP2
0000178e: ISZERO
0000178f: PUSH2 0x17b2
00001792: JUMPI
00001793: DUP1
00001794: PUSH2 0x179c
00001797: DUP2
00001798: PUSH2 0x2060
0000179b: JUMP
0000179c: JUMPDEST
0000179d: SWAP2
0000179e: POP
0000179f: PUSH2 0x17ab
000017a2: SWAP1
000017a3: POP
000017a4: PUSH1 0x0a
000017a6: DUP4
000017a7: PUSH2 0x1faf
000017aa: JUMP
000017ab: JUMPDEST
000017ac: SWAP2
000017ad: POP
000017ae: PUSH2 0x178c
000017b1: JUMP
000017b2: JUMPDEST
000017b3: PUSH1 0x00
000017b5: DUP2
000017b6: PUSH8 0xffffffffffffffff
000017bf: DUP2
000017c0: GT
000017c1: ISZERO
000017c2: PUSH2 0x17cd
000017c5: JUMPI
000017c6: PUSH2 0x17cd
000017c9: PUSH2 0x20e7
000017cc: JUMP
000017cd: JUMPDEST
000017ce: PUSH1 0x40
000017d0: MLOAD
000017d1: SWAP1
000017d2: DUP1
000017d3: DUP3
000017d4: MSTORE
000017d5: DUP1
000017d6: PUSH1 0x1f
000017d8: ADD
000017d9: PUSH1 0x1f
000017db: NOT
000017dc: AND
000017dd: PUSH1 0x20
000017df: ADD
000017e0: DUP3
000017e1: ADD
000017e2: PUSH1 0x40
000017e4: MSTORE
000017e5: DUP1
000017e6: ISZERO
000017e7: PUSH2 0x17f7
000017ea: JUMPI
000017eb: PUSH1 0x20
000017ed: DUP3
000017ee: ADD
000017ef: DUP2
000017f0: DUP1
000017f1: CALLDATASIZE
000017f2: DUP4
000017f3: CALLDATACOPY
000017f4: ADD
000017f5: SWAP1
000017f6: POP
000017f7: JUMPDEST
000017f8: POP
000017f9: SWAP1
000017fa: POP
000017fb: JUMPDEST
000017fc: DUP5
000017fd: ISZERO
000017fe: PUSH2 0x174d
00001801: JUMPI
00001802: PUSH2 0x180c
00001805: PUSH1 0x01
00001807: DUP4
00001808: PUSH2 0x1fe2
0000180b: JUMP
0000180c: JUMPDEST
0000180d: SWAP2
0000180e: POP
0000180f: PUSH2 0x1819
00001812: PUSH1 0x0a
00001814: DUP7
00001815: PUSH2 0x207b
00001818: JUMP
00001819: JUMPDEST
0000181a: PUSH2 0x1824
0000181d: SWAP1
0000181e: PUSH1 0x30
00001820: PUSH2 0x1f97
00001823: JUMP
00001824: JUMPDEST
00001825: PUSH1 0xf8
00001827: SHL
00001828: DUP2
00001829: DUP4
0000182a: DUP2
0000182b: MLOAD
0000182c: DUP2
0000182d: LT
0000182e: PUSH2 0x1839
00001831: JUMPI
00001832: PUSH2 0x1839
00001835: PUSH2 0x20d1
00001838: JUMP
00001839: JUMPDEST
0000183a: PUSH1 0x20
0000183c: ADD
0000183d: ADD
0000183e: SWAP1
0000183f: PUSH1 0x01
00001841: PUSH1 0x01
00001843: PUSH1 0xf8
00001845: SHL
00001846: SUB
00001847: NOT
00001848: AND
00001849: SWAP1
0000184a: DUP2
0000184b: PUSH1 0x00
0000184d: BYTE
0000184e: SWAP1
0000184f: MSTORE8
00001850: POP
00001851: PUSH2 0x185b
00001854: PUSH1 0x0a
00001856: DUP7
00001857: PUSH2 0x1faf
0000185a: JUMP
0000185b: JUMPDEST
0000185c: SWAP5
0000185d: POP
0000185e: PUSH2 0x17fb
00001861: JUMP
00001862: JUMPDEST
00001863: PUSH1 0x00
00001865: PUSH1 0x01
00001867: PUSH1 0x01
00001869: PUSH1 0xe0
0000186b: SHL
0000186c: SUB
0000186d: NOT
0000186e: DUP3
0000186f: AND
00001870: PUSH4 0x80ac58cd
00001875: PUSH1 0xe0
00001877: SHL
00001878: EQ
00001879: DUP1
0000187a: PUSH2 0x1893
0000187d: JUMPI
0000187e: POP
0000187f: PUSH1 0x01
00001881: PUSH1 0x01
00001883: PUSH1 0xe0
00001885: SHL
00001886: SUB
00001887: NOT
00001888: DUP3
00001889: AND
0000188a: PUSH4 0x5b5e139f
0000188f: PUSH1 0xe0
00001891: SHL
00001892: EQ
00001893: JUMPDEST
00001894: DUP1
00001895: PUSH2 0x06c7
00001898: JUMPI
00001899: POP
0000189a: PUSH4 0x01ffc9a7
0000189f: PUSH1 0xe0
000018a1: SHL
000018a2: PUSH1 0x01
000018a4: PUSH1 0x01
000018a6: PUSH1 0xe0
000018a8: SHL
000018a9: SUB
000018aa: NOT
000018ab: DUP4
000018ac: AND
000018ad: EQ
000018ae: PUSH2 0x06c7
000018b1: JUMP
000018b2: JUMPDEST
000018b3: PUSH2 0x086d
000018b6: DUP4
000018b7: DUP4
000018b8: DUP4
000018b9: PUSH1 0x01
000018bb: PUSH1 0x00
000018bd: SLOAD
000018be: PUSH1 0x01
000018c0: PUSH1 0x01
000018c2: PUSH1 0xa0
000018c4: SHL
000018c5: SUB
000018c6: DUP6
000018c7: AND
000018c8: PUSH2 0x18e3
000018cb: JUMPI
000018cc: PUSH1 0x40
000018ce: MLOAD
000018cf: PUSH3 0x2e0763
000018d3: PUSH1 0xe8
000018d5: SHL
000018d6: DUP2
000018d7: MSTORE
000018d8: PUSH1 0x04
000018da: ADD
000018db: PUSH1 0x40
000018dd: MLOAD
000018de: DUP1
000018df: SWAP2
000018e0: SUB
000018e1: SWAP1
000018e2: REVERT
000018e3: JUMPDEST
000018e4: DUP4
000018e5: PUSH2 0x1901
000018e8: JUMPI
000018e9: PUSH1 0x40
000018eb: MLOAD
000018ec: PUSH4 0xb562e8dd
000018f1: PUSH1 0xe0
000018f3: SHL
000018f4: DUP2
000018f5: MSTORE
000018f6: PUSH1 0x04
000018f8: ADD
000018f9: PUSH1 0x40
000018fb: MLOAD
000018fc: DUP1
000018fd: SWAP2
000018fe: SUB
000018ff: SWAP1
00001900: REVERT
00001901: JUMPDEST
00001902: PUSH1 0x01
00001904: PUSH1 0x01
00001906: PUSH1 0xa0
00001908: SHL
00001909: SUB
0000190a: DUP6
0000190b: AND
0000190c: PUSH1 0x00
0000190e: DUP2
0000190f: DUP2
00001910: MSTORE
00001911: PUSH1 0x05
00001913: PUSH1 0x20
00001915: SWAP1
00001916: DUP2
00001917: MSTORE
00001918: PUSH1 0x40
0000191a: DUP1
0000191b: DUP4
0000191c: KECCAK256
0000191d: DUP1
0000191e: SLOAD
0000191f: PUSH16 0xffffffffffffffffffffffffffffffff
00001930: NOT
00001931: DUP2
00001932: AND
00001933: PUSH8 0xffffffffffffffff
0000193c: DUP1
0000193d: DUP4
0000193e: AND
0000193f: DUP13
00001940: ADD
00001941: DUP2
00001942: AND
00001943: SWAP2
00001944: DUP3
00001945: OR
00001946: PUSH9 0x010000000000000000
00001950: PUSH8 0xffffffffffffffff
00001959: NOT
0000195a: SWAP1
0000195b: SWAP5
0000195c: AND
0000195d: SWAP1
0000195e: SWAP3
0000195f: OR
00001960: DUP4
00001961: SWAP1
00001962: DIV
00001963: DUP2
00001964: AND
00001965: DUP13
00001966: ADD
00001967: DUP2
00001968: AND
00001969: SWAP1
0000196a: SWAP3
0000196b: MUL
0000196c: OR
0000196d: SWAP1
0000196e: SWAP2
0000196f: SSTORE
00001970: DUP6
00001971: DUP5
00001972: MSTORE
00001973: PUSH1 0x04
00001975: SWAP1
00001976: SWAP3
00001977: MSTORE
00001978: SWAP1
00001979: SWAP2
0000197a: KECCAK256
0000197b: DUP1
0000197c: SLOAD
0000197d: PUSH1 0x01
0000197f: PUSH1 0x01
00001981: PUSH1 0xe0
00001983: SHL
00001984: SUB
00001985: NOT
00001986: AND
00001987: SWAP1
00001988: SWAP3
00001989: OR
0000198a: PUSH1 0x01
0000198c: PUSH1 0xa0
0000198e: SHL
0000198f: TIMESTAMP
00001990: SWAP1
00001991: SWAP3
00001992: AND
00001993: SWAP2
00001994: SWAP1
00001995: SWAP2
00001996: MUL
00001997: OR
00001998: SWAP1
00001999: SSTORE
0000199a: DUP1
0000199b: DUP1
0000199c: DUP6
0000199d: ADD
0000199e: DUP4
0000199f: DUP1
000019a0: ISZERO
000019a1: PUSH2 0x19b3
000019a4: JUMPI
000019a5: POP
000019a6: PUSH1 0x01
000019a8: PUSH1 0x01
000019aa: PUSH1 0xa0
000019ac: SHL
000019ad: SUB
000019ae: DUP8
000019af: AND
000019b0: EXTCODESIZE
000019b1: ISZERO
000019b2: ISZERO
000019b3: JUMPDEST
000019b4: ISZERO
000019b5: PUSH2 0x1a3c
000019b8: JUMPI
000019b9: JUMPDEST
000019ba: PUSH1 0x40
000019bc: MLOAD
000019bd: DUP3
000019be: SWAP1
000019bf: PUSH1 0x01
000019c1: PUSH1 0x01
000019c3: PUSH1 0xa0
000019c5: SHL
000019c6: SUB
000019c7: DUP10
000019c8: AND
000019c9: SWAP1
000019ca: PUSH1 0x00
000019cc: SWAP1
000019cd: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
000019ee: SWAP1
000019ef: DUP3
000019f0: SWAP1
000019f1: LOG4
000019f2: PUSH2 0x1a04
000019f5: PUSH1 0x00
000019f7: DUP9
000019f8: DUP5
000019f9: DUP1
000019fa: PUSH1 0x01
000019fc: ADD
000019fd: SWAP6
000019fe: POP
000019ff: DUP9
00001a00: PUSH2 0x165d
00001a03: JUMP
00001a04: JUMPDEST
00001a05: PUSH2 0x1a21
00001a08: JUMPI
00001a09: PUSH1 0x40
00001a0b: MLOAD
00001a0c: PUSH4 0x68d2bf6b
00001a11: PUSH1 0xe1
00001a13: SHL
00001a14: DUP2
00001a15: MSTORE
00001a16: PUSH1 0x04
00001a18: ADD
00001a19: PUSH1 0x40
00001a1b: MLOAD
00001a1c: DUP1
00001a1d: SWAP2
00001a1e: SUB
00001a1f: SWAP1
00001a20: REVERT
00001a21: JUMPDEST
00001a22: DUP1
00001a23: DUP3
00001a24: EQ
00001a25: ISZERO
00001a26: PUSH2 0x19b9
00001a29: JUMPI
00001a2a: DUP3
00001a2b: PUSH1 0x00
00001a2d: SLOAD
00001a2e: EQ
00001a2f: PUSH2 0x1a37
00001a32: JUMPI
00001a33: PUSH1 0x00
00001a35: DUP1
00001a36: REVERT
00001a37: JUMPDEST
00001a38: PUSH2 0x1a82
00001a3b: JUMP
00001a3c: JUMPDEST
00001a3d: JUMPDEST
00001a3e: PUSH1 0x40
00001a40: MLOAD
00001a41: PUSH1 0x01
00001a43: DUP4
00001a44: ADD
00001a45: SWAP3
00001a46: SWAP1
00001a47: PUSH1 0x01
00001a49: PUSH1 0x01
00001a4b: PUSH1 0xa0
00001a4d: SHL
00001a4e: SUB
00001a4f: DUP10
00001a50: AND
00001a51: SWAP1
00001a52: PUSH1 0x00
00001a54: SWAP1
00001a55: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00001a76: SWAP1
00001a77: DUP3
00001a78: SWAP1
00001a79: LOG4
00001a7a: DUP1
00001a7b: DUP3
00001a7c: EQ
00001a7d: ISZERO
00001a7e: PUSH2 0x1a3d
00001a81: JUMPI
00001a82: JUMPDEST
00001a83: POP
00001a84: PUSH1 0x00
00001a86: SSTORE
00001a87: PUSH2 0x14c1
00001a8a: JUMP
00001a8b: JUMPDEST
00001a8c: DUP3
00001a8d: DUP1
00001a8e: SLOAD
00001a8f: PUSH2 0x1a97
00001a92: SWAP1
00001a93: PUSH2 0x2025
00001a96: JUMP
00001a97: JUMPDEST
00001a98: SWAP1
00001a99: PUSH1 0x00
00001a9b: MSTORE
00001a9c: PUSH1 0x20
00001a9e: PUSH1 0x00
00001aa0: KECCAK256
00001aa1: SWAP1
00001aa2: PUSH1 0x1f
00001aa4: ADD
00001aa5: PUSH1 0x20
00001aa7: SWAP1
00001aa8: DIV
00001aa9: DUP2
00001aaa: ADD
00001aab: SWAP3
00001aac: DUP3
00001aad: PUSH2 0x1ab9
00001ab0: JUMPI
00001ab1: PUSH1 0x00
00001ab3: DUP6
00001ab4: SSTORE
00001ab5: PUSH2 0x1aff
00001ab8: JUMP
00001ab9: JUMPDEST
00001aba: DUP3
00001abb: PUSH1 0x1f
00001abd: LT
00001abe: PUSH2 0x1ad2
00001ac1: JUMPI
00001ac2: DUP1
00001ac3: MLOAD
00001ac4: PUSH1 0xff
00001ac6: NOT
00001ac7: AND
00001ac8: DUP4
00001ac9: DUP1
00001aca: ADD
00001acb: OR
00001acc: DUP6
00001acd: SSTORE
00001ace: PUSH2 0x1aff
00001ad1: JUMP
00001ad2: JUMPDEST
00001ad3: DUP3
00001ad4: DUP1
00001ad5: ADD
00001ad6: PUSH1 0x01
00001ad8: ADD
00001ad9: DUP6
00001ada: SSTORE
00001adb: DUP3
00001adc: ISZERO
00001add: PUSH2 0x1aff
00001ae0: JUMPI
00001ae1: SWAP2
00001ae2: DUP3
00001ae3: ADD
00001ae4: JUMPDEST
00001ae5: DUP3
00001ae6: DUP2
00001ae7: GT
00001ae8: ISZERO
00001ae9: PUSH2 0x1aff
00001aec: JUMPI
00001aed: DUP3
00001aee: MLOAD
00001aef: DUP3
00001af0: SSTORE
00001af1: SWAP2
00001af2: PUSH1 0x20
00001af4: ADD
00001af5: SWAP2
00001af6: SWAP1
00001af7: PUSH1 0x01
00001af9: ADD
00001afa: SWAP1
00001afb: PUSH2 0x1ae4
00001afe: JUMP
00001aff: JUMPDEST
00001b00: POP
00001b01: PUSH2 0x1b0b
00001b04: SWAP3
00001b05: SWAP2
00001b06: POP
00001b07: PUSH2 0x1b0f
00001b0a: JUMP
00001b0b: JUMPDEST
00001b0c: POP
00001b0d: SWAP1
00001b0e: JUMP
00001b0f: JUMPDEST
00001b10: JUMPDEST
00001b11: DUP1
00001b12: DUP3
00001b13: GT
00001b14: ISZERO
00001b15: PUSH2 0x1b0b
00001b18: JUMPI
00001b19: PUSH1 0x00
00001b1b: DUP2
00001b1c: SSTORE
00001b1d: PUSH1 0x01
00001b1f: ADD
00001b20: PUSH2 0x1b10
00001b23: JUMP
00001b24: JUMPDEST
00001b25: PUSH1 0x00
00001b27: PUSH8 0xffffffffffffffff
00001b30: DUP1
00001b31: DUP5
00001b32: GT
00001b33: ISZERO
00001b34: PUSH2 0x1b3f
00001b37: JUMPI
00001b38: PUSH2 0x1b3f
00001b3b: PUSH2 0x20e7
00001b3e: JUMP
00001b3f: JUMPDEST
00001b40: PUSH1 0x40
00001b42: MLOAD
00001b43: PUSH1 0x1f
00001b45: DUP6
00001b46: ADD
00001b47: PUSH1 0x1f
00001b49: NOT
00001b4a: SWAP1
00001b4b: DUP2
00001b4c: AND
00001b4d: PUSH1 0x3f
00001b4f: ADD
00001b50: AND
00001b51: DUP2
00001b52: ADD
00001b53: SWAP1
00001b54: DUP3
00001b55: DUP3
00001b56: GT
00001b57: DUP2
00001b58: DUP4
00001b59: LT
00001b5a: OR
00001b5b: ISZERO
00001b5c: PUSH2 0x1b67
00001b5f: JUMPI
00001b60: PUSH2 0x1b67
00001b63: PUSH2 0x20e7
00001b66: JUMP
00001b67: JUMPDEST
00001b68: DUP2
00001b69: PUSH1 0x40
00001b6b: MSTORE
00001b6c: DUP1
00001b6d: SWAP4
00001b6e: POP
00001b6f: DUP6
00001b70: DUP2
00001b71: MSTORE
00001b72: DUP7
00001b73: DUP7
00001b74: DUP7
00001b75: ADD
00001b76: GT
00001b77: ISZERO
00001b78: PUSH2 0x1b80
00001b7b: JUMPI
00001b7c: PUSH1 0x00
00001b7e: DUP1
00001b7f: REVERT
00001b80: JUMPDEST
00001b81: DUP6
00001b82: DUP6
00001b83: PUSH1 0x20
00001b85: DUP4
00001b86: ADD
00001b87: CALLDATACOPY
00001b88: PUSH1 0x00
00001b8a: PUSH1 0x20
00001b8c: DUP8
00001b8d: DUP4
00001b8e: ADD
00001b8f: ADD
00001b90: MSTORE
00001b91: POP
00001b92: POP
00001b93: POP
00001b94: SWAP4
00001b95: SWAP3
00001b96: POP
00001b97: POP
00001b98: POP
00001b99: JUMP
00001b9a: JUMPDEST
00001b9b: DUP1
00001b9c: CALLDATALOAD
00001b9d: PUSH1 0x01
00001b9f: PUSH1 0x01
00001ba1: PUSH1 0xa0
00001ba3: SHL
00001ba4: SUB
00001ba5: DUP2
00001ba6: AND
00001ba7: DUP2
00001ba8: EQ
00001ba9: PUSH2 0x1bb1
00001bac: JUMPI
00001bad: PUSH1 0x00
00001baf: DUP1
00001bb0: REVERT
00001bb1: JUMPDEST
00001bb2: SWAP2
00001bb3: SWAP1
00001bb4: POP
00001bb5: JUMP
00001bb6: JUMPDEST
00001bb7: PUSH1 0x00
00001bb9: PUSH1 0x20
00001bbb: DUP3
00001bbc: DUP5
00001bbd: SUB
00001bbe: SLT
00001bbf: ISZERO
00001bc0: PUSH2 0x1bc8
00001bc3: JUMPI
00001bc4: PUSH1 0x00
00001bc6: DUP1
00001bc7: REVERT
00001bc8: JUMPDEST
00001bc9: PUSH2 0x0fd4
00001bcc: DUP3
00001bcd: PUSH2 0x1b9a
00001bd0: JUMP
00001bd1: JUMPDEST
00001bd2: PUSH1 0x00
00001bd4: DUP1
00001bd5: PUSH1 0x40
00001bd7: DUP4
00001bd8: DUP6
00001bd9: SUB
00001bda: SLT
00001bdb: ISZERO
00001bdc: PUSH2 0x1be4
00001bdf: JUMPI
00001be0: PUSH1 0x00
00001be2: DUP1
00001be3: REVERT
00001be4: JUMPDEST
00001be5: PUSH2 0x1bed
00001be8: DUP4
00001be9: PUSH2 0x1b9a
00001bec: JUMP
00001bed: JUMPDEST
00001bee: SWAP2
00001bef: POP
00001bf0: PUSH2 0x1bfb
00001bf3: PUSH1 0x20
00001bf5: DUP5
00001bf6: ADD
00001bf7: PUSH2 0x1b9a
00001bfa: JUMP
00001bfb: JUMPDEST
00001bfc: SWAP1
00001bfd: POP
00001bfe: SWAP3
00001bff: POP
00001c00: SWAP3
00001c01: SWAP1
00001c02: POP
00001c03: JUMP
00001c04: JUMPDEST
00001c05: PUSH1 0x00
00001c07: DUP1
00001c08: PUSH1 0x00
00001c0a: PUSH1 0x60
00001c0c: DUP5
00001c0d: DUP7
00001c0e: SUB
00001c0f: SLT
00001c10: ISZERO
00001c11: PUSH2 0x1c19
00001c14: JUMPI
00001c15: PUSH1 0x00
00001c17: DUP1
00001c18: REVERT
00001c19: JUMPDEST
00001c1a: PUSH2 0x1c22
00001c1d: DUP5
00001c1e: PUSH2 0x1b9a
00001c21: JUMP
00001c22: JUMPDEST
00001c23: SWAP3
00001c24: POP
00001c25: PUSH2 0x1c30
00001c28: PUSH1 0x20
00001c2a: DUP6
00001c2b: ADD
00001c2c: PUSH2 0x1b9a
00001c2f: JUMP
00001c30: JUMPDEST
00001c31: SWAP2
00001c32: POP
00001c33: PUSH1 0x40
00001c35: DUP5
00001c36: ADD
00001c37: CALLDATALOAD
00001c38: SWAP1
00001c39: POP
00001c3a: SWAP3
00001c3b: POP
00001c3c: SWAP3
00001c3d: POP
00001c3e: SWAP3
00001c3f: JUMP
00001c40: JUMPDEST
00001c41: PUSH1 0x00
00001c43: DUP1
00001c44: PUSH1 0x00
00001c46: DUP1
00001c47: PUSH1 0x80
00001c49: DUP6
00001c4a: DUP8
00001c4b: SUB
00001c4c: SLT
00001c4d: ISZERO
00001c4e: PUSH2 0x1c56
00001c51: JUMPI
00001c52: PUSH1 0x00
00001c54: DUP1
00001c55: REVERT
00001c56: JUMPDEST
00001c57: PUSH2 0x1c5f
00001c5a: DUP6
00001c5b: PUSH2 0x1b9a
00001c5e: JUMP
00001c5f: JUMPDEST
00001c60: SWAP4
00001c61: POP
00001c62: PUSH2 0x1c6d
00001c65: PUSH1 0x20
00001c67: DUP7
00001c68: ADD
00001c69: PUSH2 0x1b9a
00001c6c: JUMP
00001c6d: JUMPDEST
00001c6e: SWAP3
00001c6f: POP
00001c70: PUSH1 0x40
00001c72: DUP6
00001c73: ADD
00001c74: CALLDATALOAD
00001c75: SWAP2
00001c76: POP
00001c77: PUSH1 0x60
00001c79: DUP6
00001c7a: ADD
00001c7b: CALLDATALOAD
00001c7c: PUSH8 0xffffffffffffffff
00001c85: DUP2
00001c86: GT
00001c87: ISZERO
00001c88: PUSH2 0x1c90
00001c8b: JUMPI
00001c8c: PUSH1 0x00
00001c8e: DUP1
00001c8f: REVERT
00001c90: JUMPDEST
00001c91: DUP6
00001c92: ADD
00001c93: PUSH1 0x1f
00001c95: DUP2
00001c96: ADD
00001c97: DUP8
00001c98: SGT
00001c99: PUSH2 0x1ca1
00001c9c: JUMPI
00001c9d: PUSH1 0x00
00001c9f: DUP1
00001ca0: REVERT
00001ca1: JUMPDEST
00001ca2: PUSH2 0x1cb0
00001ca5: DUP8
00001ca6: DUP3
00001ca7: CALLDATALOAD
00001ca8: PUSH1 0x20
00001caa: DUP5
00001cab: ADD
00001cac: PUSH2 0x1b24
00001caf: JUMP
00001cb0: JUMPDEST
00001cb1: SWAP2
00001cb2: POP
00001cb3: POP
00001cb4: SWAP3
00001cb5: SWAP6
00001cb6: SWAP2
00001cb7: SWAP5
00001cb8: POP
00001cb9: SWAP3
00001cba: POP
00001cbb: JUMP
00001cbc: JUMPDEST
00001cbd: PUSH1 0x00
00001cbf: DUP1
00001cc0: PUSH1 0x40
00001cc2: DUP4
00001cc3: DUP6
00001cc4: SUB
00001cc5: SLT
00001cc6: ISZERO
00001cc7: PUSH2 0x1ccf
00001cca: JUMPI
00001ccb: PUSH1 0x00
00001ccd: DUP1
00001cce: REVERT
00001ccf: JUMPDEST
00001cd0: PUSH2 0x1cd8
00001cd3: DUP4
00001cd4: PUSH2 0x1b9a
00001cd7: JUMP
00001cd8: JUMPDEST
00001cd9: SWAP2
00001cda: POP
00001cdb: PUSH1 0x20
00001cdd: DUP4
00001cde: ADD
00001cdf: CALLDATALOAD
00001ce0: PUSH2 0x1ce8
00001ce3: DUP2
00001ce4: PUSH2 0x20fd
00001ce7: JUMP
00001ce8: JUMPDEST
00001ce9: DUP1
00001cea: SWAP2
00001ceb: POP
00001cec: POP
00001ced: SWAP3
00001cee: POP
00001cef: SWAP3
00001cf0: SWAP1
00001cf1: POP
00001cf2: JUMP
00001cf3: JUMPDEST
00001cf4: PUSH1 0x00
00001cf6: DUP1
00001cf7: PUSH1 0x40
00001cf9: DUP4
00001cfa: DUP6
00001cfb: SUB
00001cfc: SLT
00001cfd: ISZERO
00001cfe: PUSH2 0x1d06
00001d01: JUMPI
00001d02: PUSH1 0x00
00001d04: DUP1
00001d05: REVERT
00001d06: JUMPDEST
00001d07: PUSH2 0x1d0f
00001d0a: DUP4
00001d0b: PUSH2 0x1b9a
00001d0e: JUMP
00001d0f: JUMPDEST
00001d10: SWAP5
00001d11: PUSH1 0x20
00001d13: SWAP4
00001d14: SWAP1
00001d15: SWAP4
00001d16: ADD
00001d17: CALLDATALOAD
00001d18: SWAP4
00001d19: POP
00001d1a: POP
00001d1b: POP
00001d1c: JUMP
00001d1d: JUMPDEST
00001d1e: PUSH1 0x00
00001d20: DUP1
00001d21: PUSH1 0x40
00001d23: DUP4
00001d24: DUP6
00001d25: SUB
00001d26: SLT
00001d27: ISZERO
00001d28: PUSH2 0x1d30
00001d2b: JUMPI
00001d2c: PUSH1 0x00
00001d2e: DUP1
00001d2f: REVERT
00001d30: JUMPDEST
00001d31: PUSH2 0x1d39
00001d34: DUP4
00001d35: PUSH2 0x1b9a
00001d38: JUMP
00001d39: JUMPDEST
00001d3a: SWAP2
00001d3b: POP
00001d3c: PUSH1 0x20
00001d3e: DUP4
00001d3f: ADD
00001d40: CALLDATALOAD
00001d41: PUSH1 0x01
00001d43: PUSH1 0x01
00001d45: PUSH1 0x60
00001d47: SHL
00001d48: SUB
00001d49: DUP2
00001d4a: AND
00001d4b: DUP2
00001d4c: EQ
00001d4d: PUSH2 0x1ce8
00001d50: JUMPI
00001d51: PUSH1 0x00
00001d53: DUP1
00001d54: REVERT
00001d55: JUMPDEST
00001d56: PUSH1 0x00
00001d58: PUSH1 0x20
00001d5a: DUP3
00001d5b: DUP5
00001d5c: SUB
00001d5d: SLT
00001d5e: ISZERO
00001d5f: PUSH2 0x1d67
00001d62: JUMPI
00001d63: PUSH1 0x00
00001d65: DUP1
00001d66: REVERT
00001d67: JUMPDEST
00001d68: DUP2
00001d69: MLOAD
00001d6a: PUSH2 0x0fd4
00001d6d: DUP2
00001d6e: PUSH2 0x20fd
00001d71: JUMP
00001d72: JUMPDEST
00001d73: PUSH1 0x00
00001d75: PUSH1 0x20
00001d77: DUP3
00001d78: DUP5
00001d79: SUB
00001d7a: SLT
00001d7b: ISZERO
00001d7c: PUSH2 0x1d84
00001d7f: JUMPI
00001d80: PUSH1 0x00
00001d82: DUP1
00001d83: REVERT
00001d84: JUMPDEST
00001d85: DUP2
00001d86: CALLDATALOAD
00001d87: PUSH2 0x0fd4
00001d8a: DUP2
00001d8b: PUSH2 0x210b
00001d8e: JUMP
00001d8f: JUMPDEST
00001d90: PUSH1 0x00
00001d92: PUSH1 0x20
00001d94: DUP3
00001d95: DUP5
00001d96: SUB
00001d97: SLT
00001d98: ISZERO
00001d99: PUSH2 0x1da1
00001d9c: JUMPI
00001d9d: PUSH1 0x00
00001d9f: DUP1
00001da0: REVERT
00001da1: JUMPDEST
00001da2: DUP2
00001da3: MLOAD
00001da4: PUSH2 0x0fd4
00001da7: DUP2
00001da8: PUSH2 0x210b
00001dab: JUMP
00001dac: JUMPDEST
00001dad: PUSH1 0x00
00001daf: PUSH1 0x20
00001db1: DUP3
00001db2: DUP5
00001db3: SUB
00001db4: SLT
00001db5: ISZERO
00001db6: PUSH2 0x1dbe
00001db9: JUMPI
00001dba: PUSH1 0x00
00001dbc: DUP1
00001dbd: REVERT
00001dbe: JUMPDEST
00001dbf: DUP2
00001dc0: CALLDATALOAD
00001dc1: PUSH8 0xffffffffffffffff
00001dca: DUP2
00001dcb: GT
00001dcc: ISZERO
00001dcd: PUSH2 0x1dd5
00001dd0: JUMPI
00001dd1: PUSH1 0x00
00001dd3: DUP1
00001dd4: REVERT
00001dd5: JUMPDEST
00001dd6: DUP3
00001dd7: ADD
00001dd8: PUSH1 0x1f
00001dda: DUP2
00001ddb: ADD
00001ddc: DUP5
00001ddd: SGT
00001dde: PUSH2 0x1de6
00001de1: JUMPI
00001de2: PUSH1 0x00
00001de4: DUP1
00001de5: REVERT
00001de6: JUMPDEST
00001de7: PUSH2 0x174d
00001dea: DUP5
00001deb: DUP3
00001dec: CALLDATALOAD
00001ded: PUSH1 0x20
00001def: DUP5
00001df0: ADD
00001df1: PUSH2 0x1b24
00001df4: JUMP
00001df5: JUMPDEST
00001df6: PUSH1 0x00
00001df8: PUSH1 0x20
00001dfa: DUP3
00001dfb: DUP5
00001dfc: SUB
00001dfd: SLT
00001dfe: ISZERO
00001dff: PUSH2 0x1e07
00001e02: JUMPI
00001e03: PUSH1 0x00
00001e05: DUP1
00001e06: REVERT
00001e07: JUMPDEST
00001e08: POP
00001e09: CALLDATALOAD
00001e0a: SWAP2
00001e0b: SWAP1
00001e0c: POP
00001e0d: JUMP
00001e0e: JUMPDEST
00001e0f: PUSH1 0x00
00001e11: PUSH1 0x20
00001e13: DUP3
00001e14: DUP5
00001e15: SUB
00001e16: SLT
00001e17: ISZERO
00001e18: PUSH2 0x1e20
00001e1b: JUMPI
00001e1c: PUSH1 0x00
00001e1e: DUP1
00001e1f: REVERT
00001e20: JUMPDEST
00001e21: POP
00001e22: MLOAD
00001e23: SWAP2
00001e24: SWAP1
00001e25: POP
00001e26: JUMP
00001e27: JUMPDEST
00001e28: PUSH1 0x00
00001e2a: DUP1
00001e2b: PUSH1 0x40
00001e2d: DUP4
00001e2e: DUP6
00001e2f: SUB
00001e30: SLT
00001e31: ISZERO
00001e32: PUSH2 0x1e3a
00001e35: JUMPI
00001e36: PUSH1 0x00
00001e38: DUP1
00001e39: REVERT
00001e3a: JUMPDEST
00001e3b: DUP3
00001e3c: CALLDATALOAD
00001e3d: SWAP2
00001e3e: POP
00001e3f: PUSH2 0x1bfb
00001e42: PUSH1 0x20
00001e44: DUP5
00001e45: ADD
00001e46: PUSH2 0x1b9a
00001e49: JUMP
00001e4a: JUMPDEST
00001e4b: PUSH1 0x00
00001e4d: DUP1
00001e4e: PUSH1 0x40
00001e50: DUP4
00001e51: DUP6
00001e52: SUB
00001e53: SLT
00001e54: ISZERO
00001e55: PUSH2 0x1e5d
00001e58: JUMPI
00001e59: PUSH1 0x00
00001e5b: DUP1
00001e5c: REVERT
00001e5d: JUMPDEST
00001e5e: POP
00001e5f: POP
00001e60: DUP1
00001e61: CALLDATALOAD
00001e62: SWAP3
00001e63: PUSH1 0x20
00001e65: SWAP1
00001e66: SWAP2
00001e67: ADD
00001e68: CALLDATALOAD
00001e69: SWAP2
00001e6a: POP
00001e6b: JUMP
00001e6c: JUMPDEST
00001e6d: PUSH1 0x00
00001e6f: PUSH1 0x20
00001e71: DUP3
00001e72: DUP5
00001e73: SUB
00001e74: SLT
00001e75: ISZERO
00001e76: PUSH2 0x1e7e
00001e79: JUMPI
00001e7a: PUSH1 0x00
00001e7c: DUP1
00001e7d: REVERT
00001e7e: JUMPDEST
00001e7f: DUP2
00001e80: CALLDATALOAD
00001e81: PUSH1 0xff
00001e83: DUP2
00001e84: AND
00001e85: DUP2
00001e86: EQ
00001e87: PUSH2 0x0fd4
00001e8a: JUMPI
00001e8b: PUSH1 0x00
00001e8d: DUP1
00001e8e: REVERT
00001e8f: JUMPDEST
00001e90: PUSH1 0x00
00001e92: DUP2
00001e93: MLOAD
00001e94: DUP1
00001e95: DUP5
00001e96: MSTORE
00001e97: PUSH2 0x1ea7
00001e9a: DUP2
00001e9b: PUSH1 0x20
00001e9d: DUP7
00001e9e: ADD
00001e9f: PUSH1 0x20
00001ea1: DUP7
00001ea2: ADD
00001ea3: PUSH2 0x1ff9
00001ea6: JUMP
00001ea7: JUMPDEST
00001ea8: PUSH1 0x1f
00001eaa: ADD
00001eab: PUSH1 0x1f
00001ead: NOT
00001eae: AND
00001eaf: SWAP3
00001eb0: SWAP1
00001eb1: SWAP3
00001eb2: ADD
00001eb3: PUSH1 0x20
00001eb5: ADD
00001eb6: SWAP3
00001eb7: SWAP2
00001eb8: POP
00001eb9: POP
00001eba: JUMP
00001ebb: JUMPDEST
00001ebc: PUSH1 0x00
00001ebe: DUP4
00001ebf: MLOAD
00001ec0: PUSH2 0x1ecd
00001ec3: DUP2
00001ec4: DUP5
00001ec5: PUSH1 0x20
00001ec7: DUP9
00001ec8: ADD
00001ec9: PUSH2 0x1ff9
00001ecc: JUMP
00001ecd: JUMPDEST
00001ece: DUP4
00001ecf: MLOAD
00001ed0: SWAP1
00001ed1: DUP4
00001ed2: ADD
00001ed3: SWAP1
00001ed4: PUSH2 0x1ee1
00001ed7: DUP2
00001ed8: DUP4
00001ed9: PUSH1 0x20
00001edb: DUP9
00001edc: ADD
00001edd: PUSH2 0x1ff9
00001ee0: JUMP
00001ee1: JUMPDEST
00001ee2: ADD
00001ee3: SWAP5
00001ee4: SWAP4
00001ee5: POP
00001ee6: POP
00001ee7: POP
00001ee8: POP
00001ee9: JUMP
00001eea: JUMPDEST
00001eeb: PUSH1 0x01
00001eed: PUSH1 0x01
00001eef: PUSH1 0xa0
00001ef1: SHL
00001ef2: SUB
00001ef3: DUP6
00001ef4: DUP2
00001ef5: AND
00001ef6: DUP3
00001ef7: MSTORE
00001ef8: DUP5
00001ef9: AND
00001efa: PUSH1 0x20
00001efc: DUP3
00001efd: ADD
00001efe: MSTORE
00001eff: PUSH1 0x40
00001f01: DUP2
00001f02: ADD
00001f03: DUP4
00001f04: SWAP1
00001f05: MSTORE
00001f06: PUSH1 0x80
00001f08: PUSH1 0x60
00001f0a: DUP3
00001f0b: ADD
00001f0c: DUP2
00001f0d: SWAP1
00001f0e: MSTORE
00001f0f: PUSH1 0x00
00001f11: SWAP1
00001f12: PUSH2 0x1f1d
00001f15: SWAP1
00001f16: DUP4
00001f17: ADD
00001f18: DUP5
00001f19: PUSH2 0x1e8f
00001f1c: JUMP
00001f1d: JUMPDEST
00001f1e: SWAP7
00001f1f: SWAP6
00001f20: POP
00001f21: POP
00001f22: POP
00001f23: POP
00001f24: POP
00001f25: POP
00001f26: JUMP
00001f27: JUMPDEST
00001f28: PUSH1 0x20
00001f2a: DUP2
00001f2b: ADD
00001f2c: PUSH1 0x02
00001f2e: DUP4
00001f2f: LT
00001f30: PUSH2 0x1f49
00001f33: JUMPI
00001f34: PUSH4 0x4e487b71
00001f39: PUSH1 0xe0
00001f3b: SHL
00001f3c: PUSH1 0x00
00001f3e: MSTORE
00001f3f: PUSH1 0x21
00001f41: PUSH1 0x04
00001f43: MSTORE
00001f44: PUSH1 0x24
00001f46: PUSH1 0x00
00001f48: REVERT
00001f49: JUMPDEST
00001f4a: SWAP2
00001f4b: SWAP1
00001f4c: MSTORE
00001f4d: SWAP1
00001f4e: JUMP
00001f4f: JUMPDEST
00001f50: PUSH1 0x20
00001f52: DUP2
00001f53: MSTORE
00001f54: PUSH1 0x00
00001f56: PUSH2 0x0fd4
00001f59: PUSH1 0x20
00001f5b: DUP4
00001f5c: ADD
00001f5d: DUP5
00001f5e: PUSH2 0x1e8f
00001f61: JUMP
00001f62: JUMPDEST
00001f63: PUSH1 0x20
00001f65: DUP1
00001f66: DUP3
00001f67: MSTORE
00001f68: DUP2
00001f69: DUP2
00001f6a: ADD
00001f6b: MSTORE
00001f6c: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00001f8d: PUSH1 0x40
00001f8f: DUP3
00001f90: ADD
00001f91: MSTORE
00001f92: PUSH1 0x60
00001f94: ADD
00001f95: SWAP1
00001f96: JUMP
00001f97: JUMPDEST
00001f98: PUSH1 0x00
00001f9a: DUP3
00001f9b: NOT
00001f9c: DUP3
00001f9d: GT
00001f9e: ISZERO
00001f9f: PUSH2 0x1faa
00001fa2: JUMPI
00001fa3: PUSH2 0x1faa
00001fa6: PUSH2 0x208f
00001fa9: JUMP
00001faa: JUMPDEST
00001fab: POP
00001fac: ADD
00001fad: SWAP1
00001fae: JUMP
00001faf: JUMPDEST
00001fb0: PUSH1 0x00
00001fb2: DUP3
00001fb3: PUSH2 0x1fbe
00001fb6: JUMPI
00001fb7: PUSH2 0x1fbe
00001fba: PUSH2 0x20a5
00001fbd: JUMP
00001fbe: JUMPDEST
00001fbf: POP
00001fc0: DIV
00001fc1: SWAP1
00001fc2: JUMP
00001fc3: JUMPDEST
00001fc4: PUSH1 0x00
00001fc6: DUP2
00001fc7: PUSH1 0x00
00001fc9: NOT
00001fca: DIV
00001fcb: DUP4
00001fcc: GT
00001fcd: DUP3
00001fce: ISZERO
00001fcf: ISZERO
00001fd0: AND
00001fd1: ISZERO
00001fd2: PUSH2 0x1fdd
00001fd5: JUMPI
00001fd6: PUSH2 0x1fdd
00001fd9: PUSH2 0x208f
00001fdc: JUMP
00001fdd: JUMPDEST
00001fde: POP
00001fdf: MUL
00001fe0: SWAP1
00001fe1: JUMP
00001fe2: JUMPDEST
00001fe3: PUSH1 0x00
00001fe5: DUP3
00001fe6: DUP3
00001fe7: LT
00001fe8: ISZERO
00001fe9: PUSH2 0x1ff4
00001fec: JUMPI
00001fed: PUSH2 0x1ff4
00001ff0: PUSH2 0x208f
00001ff3: JUMP
00001ff4: JUMPDEST
00001ff5: POP
00001ff6: SUB
00001ff7: SWAP1
00001ff8: JUMP
00001ff9: JUMPDEST
00001ffa: PUSH1 0x00
00001ffc: JUMPDEST
00001ffd: DUP4
00001ffe: DUP2
00001fff: LT
00002000: ISZERO
00002001: PUSH2 0x2014
00002004: JUMPI
00002005: DUP2
00002006: DUP2
00002007: ADD
00002008: MLOAD
00002009: DUP4
0000200a: DUP3
0000200b: ADD
0000200c: MSTORE
0000200d: PUSH1 0x20
0000200f: ADD
00002010: PUSH2 0x1ffc
00002013: JUMP
00002014: JUMPDEST
00002015: DUP4
00002016: DUP2
00002017: GT
00002018: ISZERO
00002019: PUSH2 0x08ef
0000201c: JUMPI
0000201d: POP
0000201e: POP
0000201f: PUSH1 0x00
00002021: SWAP2
00002022: ADD
00002023: MSTORE
00002024: JUMP
00002025: JUMPDEST
00002026: PUSH1 0x01
00002028: DUP2
00002029: DUP2
0000202a: SHR
0000202b: SWAP1
0000202c: DUP3
0000202d: AND
0000202e: DUP1
0000202f: PUSH2 0x2039
00002032: JUMPI
00002033: PUSH1 0x7f
00002035: DUP3
00002036: AND
00002037: SWAP2
00002038: POP
00002039: JUMPDEST
0000203a: PUSH1 0x20
0000203c: DUP3
0000203d: LT
0000203e: DUP2
0000203f: EQ
00002040: ISZERO
00002041: PUSH2 0x205a
00002044: JUMPI
00002045: PUSH4 0x4e487b71
0000204a: PUSH1 0xe0
0000204c: SHL
0000204d: PUSH1 0x00
0000204f: MSTORE
00002050: PUSH1 0x22
00002052: PUSH1 0x04
00002054: MSTORE
00002055: PUSH1 0x24
00002057: PUSH1 0x00
00002059: REVERT
0000205a: JUMPDEST
0000205b: POP
0000205c: SWAP2
0000205d: SWAP1
0000205e: POP
0000205f: JUMP
00002060: JUMPDEST
00002061: PUSH1 0x00
00002063: PUSH1 0x00
00002065: NOT
00002066: DUP3
00002067: EQ
00002068: ISZERO
00002069: PUSH2 0x2074
0000206c: JUMPI
0000206d: PUSH2 0x2074
00002070: PUSH2 0x208f
00002073: JUMP
00002074: JUMPDEST
00002075: POP
00002076: PUSH1 0x01
00002078: ADD
00002079: SWAP1
0000207a: JUMP
0000207b: JUMPDEST
0000207c: PUSH1 0x00
0000207e: DUP3
0000207f: PUSH2 0x208a
00002082: JUMPI
00002083: PUSH2 0x208a
00002086: PUSH2 0x20a5
00002089: JUMP
0000208a: JUMPDEST
0000208b: POP
0000208c: MOD
0000208d: SWAP1
0000208e: JUMP
0000208f: JUMPDEST
00002090: PUSH4 0x4e487b71
00002095: PUSH1 0xe0
00002097: SHL
00002098: PUSH1 0x00
0000209a: MSTORE
0000209b: PUSH1 0x11
0000209d: PUSH1 0x04
0000209f: MSTORE
000020a0: PUSH1 0x24
000020a2: PUSH1 0x00
000020a4: REVERT
000020a5: JUMPDEST
000020a6: PUSH4 0x4e487b71
000020ab: PUSH1 0xe0
000020ad: SHL
000020ae: PUSH1 0x00
000020b0: MSTORE
000020b1: PUSH1 0x12
000020b3: PUSH1 0x04
000020b5: MSTORE
000020b6: PUSH1 0x24
000020b8: PUSH1 0x00
000020ba: REVERT
000020bb: JUMPDEST
000020bc: PUSH4 0x4e487b71
000020c1: PUSH1 0xe0
000020c3: SHL
000020c4: PUSH1 0x00
000020c6: MSTORE
000020c7: PUSH1 0x21
000020c9: PUSH1 0x04
000020cb: MSTORE
000020cc: PUSH1 0x24
000020ce: PUSH1 0x00
000020d0: REVERT
000020d1: JUMPDEST
000020d2: PUSH4 0x4e487b71
000020d7: PUSH1 0xe0
000020d9: SHL
000020da: PUSH1 0x00
000020dc: MSTORE
000020dd: PUSH1 0x32
000020df: PUSH1 0x04
000020e1: MSTORE
000020e2: PUSH1 0x24
000020e4: PUSH1 0x00
000020e6: REVERT
000020e7: JUMPDEST
000020e8: PUSH4 0x4e487b71
000020ed: PUSH1 0xe0
000020ef: SHL
000020f0: PUSH1 0x00
000020f2: MSTORE
000020f3: PUSH1 0x41
000020f5: PUSH1 0x04
000020f7: MSTORE
000020f8: PUSH1 0x24
000020fa: PUSH1 0x00
000020fc: REVERT
000020fd: JUMPDEST
000020fe: DUP1
000020ff: ISZERO
00002100: ISZERO
00002101: DUP2
00002102: EQ
00002103: PUSH2 0x09f6
00002106: JUMPI
00002107: PUSH1 0x00
00002109: DUP1
0000210a: REVERT
0000210b: JUMPDEST
0000210c: PUSH1 0x01
0000210e: PUSH1 0x01
00002110: PUSH1 0xe0
00002112: SHL
00002113: SUB
00002114: NOT
00002115: DUP2
00002116: AND
00002117: DUP2
00002118: EQ
00002119: PUSH2 0x09f6
0000211c: JUMPI
0000211d: PUSH1 0x00
0000211f: DUP1
00002120: REVERT
00002121: INVALID
00002122: PUSH9 0x747470733a2f2f6170
0000212c: PUSH10 0x2e70726f6f666f666170
00002137: PUSH6 0x732e636f6d2f
0000213e: PUSH5 0x6567656e61
00002144: PUSH17 0x652f636f6e7472616374a2646970667358
00002156: UNKNOWN(0x22)
00002157: SLT
00002158: KECCAK256
00002159: JUMP
0000215a: LOG1
0000215b: UNKNOWN(0xE6)
0000215c: UNKNOWN(0xED)
0000215d: DELEGATECALL
0000215e: PUSH31 0x308e1685da1449d03dd91fb1801764ec5d731d8e44d8c575ad4e64736f6c63
0000217e: NUMBER
0000217f: STOP
00002180: ADDMOD
00002181: SMOD
00002182: STOP
00002183: CALLER
Findings

validated = confirmed for call sinks; sink observed for others
Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
critical	upgradeability	detector	Untrusted DELEGATECALL target reachable	70	no	no	view trace_id: 0xc2625be6cf7cfd1e2663e95ad6c2bc7055a17d8938bb9fb3020d6bc834665d2a validation_json { "sink": "DELEGATECALL", "errors": 0, "status": "unknown", "attempts": 192, "trace_id": "0xc2625be6cf7cfd1e2663e95ad6c2bc7055a17d8938bb9fb3020d6bc834665d2a", "confirmed": false, "trace_mode": "callTracer", "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": "0xc87b56dd", "selector": "0xc87b56dd", "calldata_variants": [ "0xc87b56dd", "0xc87b56dd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xcfc86f7b", "selector": "0xcfc86f7b", "calldata_variants": [ "0xcfc86f7b", "0xcfc86f7b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe8a3d485", "selector": "0xe8a3d485", "calldata_variants": [ "0xe8a3d485", "0xe8a3d4850000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe985e9c5", "selector": "0xe985e9c5", "calldata_variants": [ "0xe985e9c5", "0xe985e9c50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa0712d68", "selector": "0xa0712d68", "calldata_variants": [ "0xa0712d68", "0xa0712d680000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa22cb465", "selector": "0xa22cb465", "calldata_variants": [ "0xa22cb465", "0xa22cb4650000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xb88d4fde", "selector": "0xb88d4fde", "calldata_variants": [ "0xb88d4fde", "0xb88d4fde0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 8541, "opcode": "DELEGATECALL", "returndata_checked": null, "value_expression_category": "n/a", "target_expression_category": "computed" } ], "guards_detected": [], "delegatecall_count": 1, "untrusted_delegatecall_count": 1 }
high	other	detector	Untrusted CALL target/value reachable	60	no	no	view trace_id: 0x8e969e2dba127ad381067ff71970025de8261c4bcf0c5ae9b56190f054456907 call_targets: 0x8fc1c2859b8593010252b314e1c2bdffacd665ab target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x8e969e2dba127ad381067ff71970025de8261c4bcf0c5ae9b56190f054456907", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x8fc1c2859b8593010252b314e1c2bdffacd665ab" ], "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": "0xc87b56dd", "selector": "0xc87b56dd", "calldata_variants": [ "0xc87b56dd", "0xc87b56dd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xcfc86f7b", "selector": "0xcfc86f7b", "calldata_variants": [ "0xcfc86f7b", "0xcfc86f7b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe8a3d485", "selector": "0xe8a3d485", "calldata_variants": [ "0xe8a3d485", "0xe8a3d4850000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe985e9c5", "selector": "0xe985e9c5", "calldata_variants": [ "0xe985e9c5", "0xe985e9c50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa0712d68", "selector": "0xa0712d68", "calldata_variants": [ "0xa0712d68", "0xa0712d680000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa22cb465", "selector": "0xa22cb465", "calldata_variants": [ "0xa22cb465", "0xa22cb4650000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xb88d4fde", "selector": "0xb88d4fde", "calldata_variants": [ "0xb88d4fde", "0xb88d4fde0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 2234, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 2497, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 5807, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 3, "guards_detected": [], "untrusted_call_count": 3 }
high	other	detector	ETH value transfer possible	55	no	no	view trace_id: 0x8e969e2dba127ad381067ff71970025de8261c4bcf0c5ae9b56190f054456907 call_targets: 0x8fc1c2859b8593010252b314e1c2bdffacd665ab target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x8e969e2dba127ad381067ff71970025de8261c4bcf0c5ae9b56190f054456907", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x8fc1c2859b8593010252b314e1c2bdffacd665ab" ], "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": "0xc87b56dd", "selector": "0xc87b56dd", "calldata_variants": [ "0xc87b56dd", "0xc87b56dd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xcfc86f7b", "selector": "0xcfc86f7b", "calldata_variants": [ "0xcfc86f7b", "0xcfc86f7b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe8a3d485", "selector": "0xe8a3d485", "calldata_variants": [ "0xe8a3d485", "0xe8a3d4850000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe985e9c5", "selector": "0xe985e9c5", "calldata_variants": [ "0xe985e9c5", "0xe985e9c50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa0712d68", "selector": "0xa0712d68", "calldata_variants": [ "0xa0712d68", "0xa0712d680000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa22cb465", "selector": "0xa22cb465", "calldata_variants": [ "0xa22cb465", "0xa22cb4650000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xb88d4fde", "selector": "0xb88d4fde", "calldata_variants": [ "0xb88d4fde", "0xb88d4fde0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 2234, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 2497, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 5807, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 3, "guards_detected": [] }
Severity