Analysis Run

019b477e-b867-723a-9b12-f0afdb12e254
complete
Chain ID
1
Address
0x618f9c67ce7bf1a50afa1e7e0238422601b0ff6e
Block Number
—
Created
Mon, Dec 22, 2025 7:17 PM
Review Summary
What survived the funnel

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

Status & attempts
ID	Type	Status	Attempts	Heartbeat
23435	artifact.fetch	complete	1 / 3	3 months ago
23436	tool.cast_disasm	complete	1 / 3	3 months ago
107873	analysis.bundle	complete	1 / 3	1 week ago
107874	capability.graph	complete	1 / 3	1 week ago
107875	detector.run	complete	1 / 3	1 week ago
107876	validation.fork	complete	1 / 3	1 week ago
Artifact

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

tool.slither
No slither job recorded yet.
Codex

report.consolidate
No codex job recorded yet.
Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
1
EXT*/BALANCE
0
Total opcodes
5873
Flags
No heuristic flags raised.
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x01a1
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x9ace38c2
00000019: GT
0000001a: PUSH2 0x00e1
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xc01a8c84
00000024: GT
00000025: PUSH2 0x008a
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xd74f8edd
0000002f: GT
00000030: PUSH2 0x0064
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xd74f8edd
0000003a: EQ
0000003b: PUSH2 0x04ff
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xdc8452cd
00000045: EQ
00000046: PUSH2 0x0514
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xe20056e6
00000050: EQ
00000051: PUSH2 0x0529
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xee22610b
0000005b: EQ
0000005c: PUSH2 0x0549
0000005f: JUMPI
00000060: PUSH2 0x01a1
00000063: JUMP
00000064: JUMPDEST
00000065: DUP1
00000066: PUSH4 0xc01a8c84
0000006b: EQ
0000006c: PUSH2 0x049f
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0xc6427474
00000076: EQ
00000077: PUSH2 0x04bf
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xd38f2d82
00000081: EQ
00000082: PUSH2 0x04df
00000085: JUMPI
00000086: PUSH2 0x01a1
00000089: JUMP
0000008a: JUMPDEST
0000008b: DUP1
0000008c: PUSH4 0xb5dc40c3
00000091: GT
00000092: PUSH2 0x00bb
00000095: JUMPI
00000096: DUP1
00000097: PUSH4 0xb5dc40c3
0000009c: EQ
0000009d: PUSH2 0x044a
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0xb77bf600
000000a7: EQ
000000a8: PUSH2 0x046a
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0xba51a6df
000000b2: EQ
000000b3: PUSH2 0x047f
000000b6: JUMPI
000000b7: PUSH2 0x01a1
000000ba: JUMP
000000bb: JUMPDEST
000000bc: DUP1
000000bd: PUSH4 0x9ace38c2
000000c2: EQ
000000c3: PUSH2 0x03cb
000000c6: JUMPI
000000c7: DUP1
000000c8: PUSH4 0xa0e67e2b
000000cd: EQ
000000ce: PUSH2 0x03fb
000000d1: JUMPI
000000d2: DUP1
000000d3: PUSH4 0xa8abe69a
000000d8: EQ
000000d9: PUSH2 0x041d
000000dc: JUMPI
000000dd: PUSH2 0x01a1
000000e0: JUMP
000000e1: JUMPDEST
000000e2: DUP1
000000e3: PUSH4 0x54741525
000000e8: GT
000000e9: PUSH2 0x014e
000000ec: JUMPI
000000ed: DUP1
000000ee: PUSH4 0x784547a7
000000f3: GT
000000f4: PUSH2 0x0128
000000f7: JUMPI
000000f8: DUP1
000000f9: PUSH4 0x784547a7
000000fe: EQ
000000ff: PUSH2 0x033d
00000102: JUMPI
00000103: DUP1
00000104: PUSH4 0x7ad28c51
00000109: EQ
0000010a: PUSH2 0x035d
0000010d: JUMPI
0000010e: DUP1
0000010f: PUSH4 0x7f05c8b6
00000114: EQ
00000115: PUSH2 0x037d
00000118: JUMPI
00000119: DUP1
0000011a: PUSH4 0x8b51d13f
0000011f: EQ
00000120: PUSH2 0x03ab
00000123: JUMPI
00000124: PUSH2 0x01a1
00000127: JUMP
00000128: JUMPDEST
00000129: DUP1
0000012a: PUSH4 0x54741525
0000012f: EQ
00000130: PUSH2 0x02dd
00000133: JUMPI
00000134: DUP1
00000135: PUSH4 0x7065cb48
0000013a: EQ
0000013b: PUSH2 0x02fd
0000013e: JUMPI
0000013f: DUP1
00000140: PUSH4 0x751ad560
00000145: EQ
00000146: PUSH2 0x031d
00000149: JUMPI
0000014a: PUSH2 0x01a1
0000014d: JUMP
0000014e: JUMPDEST
0000014f: DUP1
00000150: PUSH4 0x2f54bf6e
00000155: GT
00000156: PUSH2 0x017f
00000159: JUMPI
0000015a: DUP1
0000015b: PUSH4 0x2f54bf6e
00000160: EQ
00000161: PUSH2 0x026e
00000164: JUMPI
00000165: DUP1
00000166: PUSH4 0x3411c81c
0000016b: EQ
0000016c: PUSH2 0x029b
0000016f: JUMPI
00000170: DUP1
00000171: PUSH4 0x37bd78a0
00000176: EQ
00000177: PUSH2 0x02bb
0000017a: JUMPI
0000017b: PUSH2 0x01a1
0000017e: JUMP
0000017f: JUMPDEST
00000180: DUP1
00000181: PUSH4 0x025e7c27
00000186: EQ
00000187: PUSH2 0x01f8
0000018a: JUMPI
0000018b: DUP1
0000018c: PUSH4 0x173825d9
00000191: EQ
00000192: PUSH2 0x022e
00000195: JUMPI
00000196: DUP1
00000197: PUSH4 0x20ea8d86
0000019c: EQ
0000019d: PUSH2 0x024e
000001a0: JUMPI
000001a1: JUMPDEST
000001a2: CALLVALUE
000001a3: ISZERO
000001a4: PUSH2 0x01f6
000001a7: JUMPI
000001a8: CALLER
000001a9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000001be: AND
000001bf: PUSH32 0xe1fffcc4923d04b559f4d29a8bfc6cda04eb5b0d3c460751c2402c5c5cc9109c
000001e0: CALLVALUE
000001e1: PUSH1 0x40
000001e3: MLOAD
000001e4: PUSH2 0x01ed
000001e7: SWAP2
000001e8: SWAP1
000001e9: PUSH2 0x2ae5
000001ec: JUMP
000001ed: JUMPDEST
000001ee: PUSH1 0x40
000001f0: MLOAD
000001f1: DUP1
000001f2: SWAP2
000001f3: SUB
000001f4: SWAP1
000001f5: LOG2
000001f6: JUMPDEST
000001f7: STOP
000001f8: JUMPDEST
000001f9: CALLVALUE
000001fa: DUP1
000001fb: ISZERO
000001fc: PUSH2 0x0204
000001ff: JUMPI
00000200: PUSH1 0x00
00000202: DUP1
00000203: REVERT
00000204: JUMPDEST
00000205: POP
00000206: PUSH2 0x0218
00000209: PUSH2 0x0213
0000020c: CALLDATASIZE
0000020d: PUSH1 0x04
0000020f: PUSH2 0x2558
00000212: JUMP
00000213: JUMPDEST
00000214: PUSH2 0x0569
00000217: JUMP
00000218: JUMPDEST
00000219: PUSH1 0x40
0000021b: MLOAD
0000021c: PUSH2 0x0225
0000021f: SWAP2
00000220: SWAP1
00000221: PUSH2 0x25ee
00000224: JUMP
00000225: JUMPDEST
00000226: PUSH1 0x40
00000228: MLOAD
00000229: DUP1
0000022a: SWAP2
0000022b: SUB
0000022c: SWAP1
0000022d: RETURN
0000022e: JUMPDEST
0000022f: CALLVALUE
00000230: DUP1
00000231: ISZERO
00000232: PUSH2 0x023a
00000235: JUMPI
00000236: PUSH1 0x00
00000238: DUP1
00000239: REVERT
0000023a: JUMPDEST
0000023b: POP
0000023c: PUSH2 0x01f6
0000023f: PUSH2 0x0249
00000242: CALLDATASIZE
00000243: PUSH1 0x04
00000245: PUSH2 0x22db
00000248: JUMP
00000249: JUMPDEST
0000024a: PUSH2 0x059d
0000024d: JUMP
0000024e: JUMPDEST
0000024f: CALLVALUE
00000250: DUP1
00000251: ISZERO
00000252: PUSH2 0x025a
00000255: JUMPI
00000256: PUSH1 0x00
00000258: DUP1
00000259: REVERT
0000025a: JUMPDEST
0000025b: POP
0000025c: PUSH2 0x01f6
0000025f: PUSH2 0x0269
00000262: CALLDATASIZE
00000263: PUSH1 0x04
00000265: PUSH2 0x2558
00000268: JUMP
00000269: JUMPDEST
0000026a: PUSH2 0x084c
0000026d: JUMP
0000026e: JUMPDEST
0000026f: CALLVALUE
00000270: DUP1
00000271: ISZERO
00000272: PUSH2 0x027a
00000275: JUMPI
00000276: PUSH1 0x00
00000278: DUP1
00000279: REVERT
0000027a: JUMPDEST
0000027b: POP
0000027c: PUSH2 0x028e
0000027f: PUSH2 0x0289
00000282: CALLDATASIZE
00000283: PUSH1 0x04
00000285: PUSH2 0x22db
00000288: JUMP
00000289: JUMPDEST
0000028a: PUSH2 0x09a7
0000028d: JUMP
0000028e: JUMPDEST
0000028f: PUSH1 0x40
00000291: MLOAD
00000292: PUSH2 0x0225
00000295: SWAP2
00000296: SWAP1
00000297: PUSH2 0x271d
0000029a: JUMP
0000029b: JUMPDEST
0000029c: CALLVALUE
0000029d: DUP1
0000029e: ISZERO
0000029f: PUSH2 0x02a7
000002a2: JUMPI
000002a3: PUSH1 0x00
000002a5: DUP1
000002a6: REVERT
000002a7: JUMPDEST
000002a8: POP
000002a9: PUSH2 0x028e
000002ac: PUSH2 0x02b6
000002af: CALLDATASIZE
000002b0: PUSH1 0x04
000002b2: PUSH2 0x2570
000002b5: JUMP
000002b6: JUMPDEST
000002b7: PUSH2 0x09bc
000002ba: JUMP
000002bb: JUMPDEST
000002bc: CALLVALUE
000002bd: DUP1
000002be: ISZERO
000002bf: PUSH2 0x02c7
000002c2: JUMPI
000002c3: PUSH1 0x00
000002c5: DUP1
000002c6: REVERT
000002c7: JUMPDEST
000002c8: POP
000002c9: PUSH2 0x02d0
000002cc: PUSH2 0x09dc
000002cf: JUMP
000002d0: JUMPDEST
000002d1: PUSH1 0x40
000002d3: MLOAD
000002d4: PUSH2 0x0225
000002d7: SWAP2
000002d8: SWAP1
000002d9: PUSH2 0x2ae5
000002dc: JUMP
000002dd: JUMPDEST
000002de: CALLVALUE
000002df: DUP1
000002e0: ISZERO
000002e1: PUSH2 0x02e9
000002e4: JUMPI
000002e5: PUSH1 0x00
000002e7: DUP1
000002e8: REVERT
000002e9: JUMPDEST
000002ea: POP
000002eb: PUSH2 0x02d0
000002ee: PUSH2 0x02f8
000002f1: CALLDATASIZE
000002f2: PUSH1 0x04
000002f4: PUSH2 0x2498
000002f7: JUMP
000002f8: JUMPDEST
000002f9: PUSH2 0x09e2
000002fc: JUMP
000002fd: JUMPDEST
000002fe: CALLVALUE
000002ff: DUP1
00000300: ISZERO
00000301: PUSH2 0x0309
00000304: JUMPI
00000305: PUSH1 0x00
00000307: DUP1
00000308: REVERT
00000309: JUMPDEST
0000030a: POP
0000030b: PUSH2 0x01f6
0000030e: PUSH2 0x0318
00000311: CALLDATASIZE
00000312: PUSH1 0x04
00000314: PUSH2 0x22db
00000317: JUMP
00000318: JUMPDEST
00000319: PUSH2 0x0a4e
0000031c: JUMP
0000031d: JUMPDEST
0000031e: CALLVALUE
0000031f: DUP1
00000320: ISZERO
00000321: PUSH2 0x0329
00000324: JUMPI
00000325: PUSH1 0x00
00000327: DUP1
00000328: REVERT
00000329: JUMPDEST
0000032a: POP
0000032b: PUSH2 0x01f6
0000032e: PUSH2 0x0338
00000331: CALLDATASIZE
00000332: PUSH1 0x04
00000334: PUSH2 0x24cc
00000337: JUMP
00000338: JUMPDEST
00000339: PUSH2 0x0c73
0000033c: JUMP
0000033d: JUMPDEST
0000033e: CALLVALUE
0000033f: DUP1
00000340: ISZERO
00000341: PUSH2 0x0349
00000344: JUMPI
00000345: PUSH1 0x00
00000347: DUP1
00000348: REVERT
00000349: JUMPDEST
0000034a: POP
0000034b: PUSH2 0x028e
0000034e: PUSH2 0x0358
00000351: CALLDATASIZE
00000352: PUSH1 0x04
00000354: PUSH2 0x2558
00000357: JUMP
00000358: JUMPDEST
00000359: PUSH2 0x0cbe
0000035c: JUMP
0000035d: JUMPDEST
0000035e: CALLVALUE
0000035f: DUP1
00000360: ISZERO
00000361: PUSH2 0x0369
00000364: JUMPI
00000365: PUSH1 0x00
00000367: DUP1
00000368: REVERT
00000369: JUMPDEST
0000036a: POP
0000036b: PUSH2 0x01f6
0000036e: PUSH2 0x0378
00000371: CALLDATASIZE
00000372: PUSH1 0x04
00000374: PUSH2 0x2558
00000377: JUMP
00000378: JUMPDEST
00000379: PUSH2 0x0d52
0000037c: JUMP
0000037d: JUMPDEST
0000037e: CALLVALUE
0000037f: DUP1
00000380: ISZERO
00000381: PUSH2 0x0389
00000384: JUMPI
00000385: PUSH1 0x00
00000387: DUP1
00000388: REVERT
00000389: JUMPDEST
0000038a: POP
0000038b: PUSH2 0x039d
0000038e: PUSH2 0x0398
00000391: CALLDATASIZE
00000392: PUSH1 0x04
00000394: PUSH2 0x253b
00000397: JUMP
00000398: JUMPDEST
00000399: PUSH2 0x0dcb
0000039c: JUMP
0000039d: JUMPDEST
0000039e: PUSH1 0x40
000003a0: MLOAD
000003a1: PUSH2 0x0225
000003a4: SWAP3
000003a5: SWAP2
000003a6: SWAP1
000003a7: PUSH2 0x2728
000003aa: JUMP
000003ab: JUMPDEST
000003ac: CALLVALUE
000003ad: DUP1
000003ae: ISZERO
000003af: PUSH2 0x03b7
000003b2: JUMPI
000003b3: PUSH1 0x00
000003b5: DUP1
000003b6: REVERT
000003b7: JUMPDEST
000003b8: POP
000003b9: PUSH2 0x02d0
000003bc: PUSH2 0x03c6
000003bf: CALLDATASIZE
000003c0: PUSH1 0x04
000003c2: PUSH2 0x2558
000003c5: JUMP
000003c6: JUMPDEST
000003c7: PUSH2 0x0e04
000003ca: JUMP
000003cb: JUMPDEST
000003cc: CALLVALUE
000003cd: DUP1
000003ce: ISZERO
000003cf: PUSH2 0x03d7
000003d2: JUMPI
000003d3: PUSH1 0x00
000003d5: DUP1
000003d6: REVERT
000003d7: JUMPDEST
000003d8: POP
000003d9: PUSH2 0x03eb
000003dc: PUSH2 0x03e6
000003df: CALLDATASIZE
000003e0: PUSH1 0x04
000003e2: PUSH2 0x2558
000003e5: JUMP
000003e6: JUMPDEST
000003e7: PUSH2 0x0e80
000003ea: JUMP
000003eb: JUMPDEST
000003ec: PUSH1 0x40
000003ee: MLOAD
000003ef: PUSH2 0x0225
000003f2: SWAP5
000003f3: SWAP4
000003f4: SWAP3
000003f5: SWAP2
000003f6: SWAP1
000003f7: PUSH2 0x260f
000003fa: JUMP
000003fb: JUMPDEST
000003fc: CALLVALUE
000003fd: DUP1
000003fe: ISZERO
000003ff: PUSH2 0x0407
00000402: JUMPI
00000403: PUSH1 0x00
00000405: DUP1
00000406: REVERT
00000407: JUMPDEST
00000408: POP
00000409: PUSH2 0x0410
0000040c: PUSH2 0x0f69
0000040f: JUMP
00000410: JUMPDEST
00000411: PUSH1 0x40
00000413: MLOAD
00000414: PUSH2 0x0225
00000417: SWAP2
00000418: SWAP1
00000419: PUSH2 0x268c
0000041c: JUMP
0000041d: JUMPDEST
0000041e: CALLVALUE
0000041f: DUP1
00000420: ISZERO
00000421: PUSH2 0x0429
00000424: JUMPI
00000425: PUSH1 0x00
00000427: DUP1
00000428: REVERT
00000429: JUMPDEST
0000042a: POP
0000042b: PUSH2 0x043d
0000042e: PUSH2 0x0438
00000431: CALLDATASIZE
00000432: PUSH1 0x04
00000434: PUSH2 0x2594
00000437: JUMP
00000438: JUMPDEST
00000439: PUSH2 0x0fd9
0000043c: JUMP
0000043d: JUMPDEST
0000043e: PUSH1 0x40
00000440: MLOAD
00000441: PUSH2 0x0225
00000444: SWAP2
00000445: SWAP1
00000446: PUSH2 0x26e5
00000449: JUMP
0000044a: JUMPDEST
0000044b: CALLVALUE
0000044c: DUP1
0000044d: ISZERO
0000044e: PUSH2 0x0456
00000451: JUMPI
00000452: PUSH1 0x00
00000454: DUP1
00000455: REVERT
00000456: JUMPDEST
00000457: POP
00000458: PUSH2 0x0410
0000045b: PUSH2 0x0465
0000045e: CALLDATASIZE
0000045f: PUSH1 0x04
00000461: PUSH2 0x2558
00000464: JUMP
00000465: JUMPDEST
00000466: PUSH2 0x1104
00000469: JUMP
0000046a: JUMPDEST
0000046b: CALLVALUE
0000046c: DUP1
0000046d: ISZERO
0000046e: PUSH2 0x0476
00000471: JUMPI
00000472: PUSH1 0x00
00000474: DUP1
00000475: REVERT
00000476: JUMPDEST
00000477: POP
00000478: PUSH2 0x02d0
0000047b: PUSH2 0x12bc
0000047e: JUMP
0000047f: JUMPDEST
00000480: CALLVALUE
00000481: DUP1
00000482: ISZERO
00000483: PUSH2 0x048b
00000486: JUMPI
00000487: PUSH1 0x00
00000489: DUP1
0000048a: REVERT
0000048b: JUMPDEST
0000048c: POP
0000048d: PUSH2 0x01f6
00000490: PUSH2 0x049a
00000493: CALLDATASIZE
00000494: PUSH1 0x04
00000496: PUSH2 0x2558
00000499: JUMP
0000049a: JUMPDEST
0000049b: PUSH2 0x12c2
0000049e: JUMP
0000049f: JUMPDEST
000004a0: CALLVALUE
000004a1: DUP1
000004a2: ISZERO
000004a3: PUSH2 0x04ab
000004a6: JUMPI
000004a7: PUSH1 0x00
000004a9: DUP1
000004aa: REVERT
000004ab: JUMPDEST
000004ac: POP
000004ad: PUSH2 0x01f6
000004b0: PUSH2 0x04ba
000004b3: CALLDATASIZE
000004b4: PUSH1 0x04
000004b6: PUSH2 0x2558
000004b9: JUMP
000004ba: JUMPDEST
000004bb: PUSH2 0x139e
000004be: JUMP
000004bf: JUMPDEST
000004c0: CALLVALUE
000004c1: DUP1
000004c2: ISZERO
000004c3: PUSH2 0x04cb
000004c6: JUMPI
000004c7: PUSH1 0x00
000004c9: DUP1
000004ca: REVERT
000004cb: JUMPDEST
000004cc: POP
000004cd: PUSH2 0x02d0
000004d0: PUSH2 0x04da
000004d3: CALLDATASIZE
000004d4: PUSH1 0x04
000004d6: PUSH2 0x232f
000004d9: JUMP
000004da: JUMPDEST
000004db: PUSH2 0x1540
000004de: JUMP
000004df: JUMPDEST
000004e0: CALLVALUE
000004e1: DUP1
000004e2: ISZERO
000004e3: PUSH2 0x04eb
000004e6: JUMPI
000004e7: PUSH1 0x00
000004e9: DUP1
000004ea: REVERT
000004eb: JUMPDEST
000004ec: POP
000004ed: PUSH2 0x02d0
000004f0: PUSH2 0x04fa
000004f3: CALLDATASIZE
000004f4: PUSH1 0x04
000004f6: PUSH2 0x2558
000004f9: JUMP
000004fa: JUMPDEST
000004fb: PUSH2 0x155f
000004fe: JUMP
000004ff: JUMPDEST
00000500: CALLVALUE
00000501: DUP1
00000502: ISZERO
00000503: PUSH2 0x050b
00000506: JUMPI
00000507: PUSH1 0x00
00000509: DUP1
0000050a: REVERT
0000050b: JUMPDEST
0000050c: POP
0000050d: PUSH2 0x02d0
00000510: PUSH2 0x1571
00000513: JUMP
00000514: JUMPDEST
00000515: CALLVALUE
00000516: DUP1
00000517: ISZERO
00000518: PUSH2 0x0520
0000051b: JUMPI
0000051c: PUSH1 0x00
0000051e: DUP1
0000051f: REVERT
00000520: JUMPDEST
00000521: POP
00000522: PUSH2 0x02d0
00000525: PUSH2 0x1576
00000528: JUMP
00000529: JUMPDEST
0000052a: CALLVALUE
0000052b: DUP1
0000052c: ISZERO
0000052d: PUSH2 0x0535
00000530: JUMPI
00000531: PUSH1 0x00
00000533: DUP1
00000534: REVERT
00000535: JUMPDEST
00000536: POP
00000537: PUSH2 0x01f6
0000053a: PUSH2 0x0544
0000053d: CALLDATASIZE
0000053e: PUSH1 0x04
00000540: PUSH2 0x22f7
00000543: JUMP
00000544: JUMPDEST
00000545: PUSH2 0x157c
00000548: JUMP
00000549: JUMPDEST
0000054a: CALLVALUE
0000054b: DUP1
0000054c: ISZERO
0000054d: PUSH2 0x0555
00000550: JUMPI
00000551: PUSH1 0x00
00000553: DUP1
00000554: REVERT
00000555: JUMPDEST
00000556: POP
00000557: PUSH2 0x01f6
0000055a: PUSH2 0x0564
0000055d: CALLDATASIZE
0000055e: PUSH1 0x04
00000560: PUSH2 0x2558
00000563: JUMP
00000564: JUMPDEST
00000565: PUSH2 0x1806
00000568: JUMP
00000569: JUMPDEST
0000056a: PUSH1 0x03
0000056c: DUP2
0000056d: DUP2
0000056e: SLOAD
0000056f: DUP2
00000570: LT
00000571: PUSH2 0x0576
00000574: JUMPI
00000575: INVALID
00000576: JUMPDEST
00000577: PUSH1 0x00
00000579: SWAP2
0000057a: DUP3
0000057b: MSTORE
0000057c: PUSH1 0x20
0000057e: SWAP1
0000057f: SWAP2
00000580: KECCAK256
00000581: ADD
00000582: SLOAD
00000583: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000598: AND
00000599: SWAP1
0000059a: POP
0000059b: DUP2
0000059c: JUMP
0000059d: JUMPDEST
0000059e: CALLER
0000059f: ADDRESS
000005a0: EQ
000005a1: PUSH2 0x05df
000005a4: JUMPI
000005a5: PUSH1 0x40
000005a7: MLOAD
000005a8: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000005c9: DUP2
000005ca: MSTORE
000005cb: PUSH1 0x04
000005cd: ADD
000005ce: PUSH2 0x05d6
000005d1: SWAP1
000005d2: PUSH2 0x2a40
000005d5: JUMP
000005d6: JUMPDEST
000005d7: PUSH1 0x40
000005d9: MLOAD
000005da: DUP1
000005db: SWAP2
000005dc: SUB
000005dd: SWAP1
000005de: REVERT
000005df: JUMPDEST
000005e0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005f5: DUP2
000005f6: AND
000005f7: PUSH1 0x00
000005f9: SWAP1
000005fa: DUP2
000005fb: MSTORE
000005fc: PUSH1 0x02
000005fe: PUSH1 0x20
00000600: MSTORE
00000601: PUSH1 0x40
00000603: SWAP1
00000604: KECCAK256
00000605: SLOAD
00000606: DUP2
00000607: SWAP1
00000608: PUSH1 0xff
0000060a: AND
0000060b: PUSH2 0x0640
0000060e: JUMPI
0000060f: PUSH1 0x40
00000611: MLOAD
00000612: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000633: DUP2
00000634: MSTORE
00000635: PUSH1 0x04
00000637: ADD
00000638: PUSH2 0x05d6
0000063b: SWAP1
0000063c: PUSH2 0x29d2
0000063f: JUMP
00000640: JUMPDEST
00000641: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000656: DUP3
00000657: AND
00000658: PUSH1 0x00
0000065a: SWAP1
0000065b: DUP2
0000065c: MSTORE
0000065d: PUSH1 0x02
0000065f: PUSH1 0x20
00000661: MSTORE
00000662: PUSH1 0x40
00000664: DUP2
00000665: KECCAK256
00000666: DUP1
00000667: SLOAD
00000668: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
00000689: AND
0000068a: SWAP1
0000068b: SSTORE
0000068c: JUMPDEST
0000068d: PUSH1 0x03
0000068f: SLOAD
00000690: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000006b1: ADD
000006b2: DUP2
000006b3: LT
000006b4: ISZERO
000006b5: PUSH2 0x07bc
000006b8: JUMPI
000006b9: DUP3
000006ba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006cf: AND
000006d0: PUSH1 0x03
000006d2: DUP3
000006d3: DUP2
000006d4: SLOAD
000006d5: DUP2
000006d6: LT
000006d7: PUSH2 0x06dc
000006da: JUMPI
000006db: INVALID
000006dc: JUMPDEST
000006dd: PUSH1 0x00
000006df: SWAP2
000006e0: DUP3
000006e1: MSTORE
000006e2: PUSH1 0x20
000006e4: SWAP1
000006e5: SWAP2
000006e6: KECCAK256
000006e7: ADD
000006e8: SLOAD
000006e9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006fe: AND
000006ff: EQ
00000700: ISZERO
00000701: PUSH2 0x07b4
00000704: JUMPI
00000705: PUSH1 0x03
00000707: DUP1
00000708: SLOAD
00000709: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0000072a: DUP2
0000072b: ADD
0000072c: SWAP1
0000072d: DUP2
0000072e: LT
0000072f: PUSH2 0x0734
00000732: JUMPI
00000733: INVALID
00000734: JUMPDEST
00000735: PUSH1 0x00
00000737: SWAP2
00000738: DUP3
00000739: MSTORE
0000073a: PUSH1 0x20
0000073c: SWAP1
0000073d: SWAP2
0000073e: KECCAK256
0000073f: ADD
00000740: SLOAD
00000741: PUSH1 0x03
00000743: DUP1
00000744: SLOAD
00000745: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000075a: SWAP1
0000075b: SWAP3
0000075c: AND
0000075d: SWAP2
0000075e: DUP4
0000075f: SWAP1
00000760: DUP2
00000761: LT
00000762: PUSH2 0x0767
00000765: JUMPI
00000766: INVALID
00000767: JUMPDEST
00000768: SWAP1
00000769: PUSH1 0x00
0000076b: MSTORE
0000076c: PUSH1 0x20
0000076e: PUSH1 0x00
00000770: KECCAK256
00000771: ADD
00000772: PUSH1 0x00
00000774: PUSH2 0x0100
00000777: EXP
00000778: DUP2
00000779: SLOAD
0000077a: DUP2
0000077b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000790: MUL
00000791: NOT
00000792: AND
00000793: SWAP1
00000794: DUP4
00000795: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007aa: AND
000007ab: MUL
000007ac: OR
000007ad: SWAP1
000007ae: SSTORE
000007af: POP
000007b0: PUSH2 0x07bc
000007b3: JUMP
000007b4: JUMPDEST
000007b5: PUSH1 0x01
000007b7: ADD
000007b8: PUSH2 0x068c
000007bb: JUMP
000007bc: JUMPDEST
000007bd: POP
000007be: PUSH1 0x03
000007c0: DUP1
000007c1: SLOAD
000007c2: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000007e3: ADD
000007e4: SWAP1
000007e5: PUSH2 0x07ee
000007e8: SWAP1
000007e9: DUP3
000007ea: PUSH2 0x20d8
000007ed: JUMP
000007ee: JUMPDEST
000007ef: POP
000007f0: PUSH1 0x03
000007f2: SLOAD
000007f3: PUSH1 0x04
000007f5: SLOAD
000007f6: GT
000007f7: ISZERO
000007f8: PUSH2 0x0807
000007fb: JUMPI
000007fc: PUSH1 0x03
000007fe: SLOAD
000007ff: PUSH2 0x0807
00000802: SWAP1
00000803: PUSH2 0x12c2
00000806: JUMP
00000807: JUMPDEST
00000808: PUSH1 0x40
0000080a: MLOAD
0000080b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000820: DUP4
00000821: AND
00000822: SWAP1
00000823: PUSH32 0x8001553a916ef2f495d26a907cc54d96ed840d7bda71e73194bf5a9df7a76b90
00000844: SWAP1
00000845: PUSH1 0x00
00000847: SWAP1
00000848: LOG2
00000849: POP
0000084a: POP
0000084b: JUMP
0000084c: JUMPDEST
0000084d: CALLER
0000084e: PUSH1 0x00
00000850: DUP2
00000851: DUP2
00000852: MSTORE
00000853: PUSH1 0x02
00000855: PUSH1 0x20
00000857: MSTORE
00000858: PUSH1 0x40
0000085a: SWAP1
0000085b: KECCAK256
0000085c: SLOAD
0000085d: PUSH1 0xff
0000085f: AND
00000860: PUSH2 0x0895
00000863: JUMPI
00000864: PUSH1 0x40
00000866: MLOAD
00000867: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000888: DUP2
00000889: MSTORE
0000088a: PUSH1 0x04
0000088c: ADD
0000088d: PUSH2 0x05d6
00000890: SWAP1
00000891: PUSH2 0x29d2
00000894: JUMP
00000895: JUMPDEST
00000896: PUSH1 0x00
00000898: DUP3
00000899: DUP2
0000089a: MSTORE
0000089b: PUSH1 0x01
0000089d: PUSH1 0x20
0000089f: SWAP1
000008a0: DUP2
000008a1: MSTORE
000008a2: PUSH1 0x40
000008a4: DUP1
000008a5: DUP4
000008a6: KECCAK256
000008a7: CALLER
000008a8: DUP1
000008a9: DUP6
000008aa: MSTORE
000008ab: SWAP3
000008ac: MSTORE
000008ad: SWAP1
000008ae: SWAP2
000008af: KECCAK256
000008b0: SLOAD
000008b1: DUP4
000008b2: SWAP2
000008b3: SWAP1
000008b4: PUSH1 0xff
000008b6: AND
000008b7: PUSH2 0x08ec
000008ba: JUMPI
000008bb: PUSH1 0x40
000008bd: MLOAD
000008be: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000008df: DUP2
000008e0: MSTORE
000008e1: PUSH1 0x04
000008e3: ADD
000008e4: PUSH2 0x05d6
000008e7: SWAP1
000008e8: PUSH2 0x292d
000008eb: JUMP
000008ec: JUMPDEST
000008ed: PUSH1 0x00
000008ef: DUP5
000008f0: DUP2
000008f1: MSTORE
000008f2: PUSH1 0x20
000008f4: DUP2
000008f5: SWAP1
000008f6: MSTORE
000008f7: PUSH1 0x40
000008f9: SWAP1
000008fa: KECCAK256
000008fb: PUSH1 0x03
000008fd: ADD
000008fe: SLOAD
000008ff: DUP5
00000900: SWAP1
00000901: PUSH1 0xff
00000903: AND
00000904: ISZERO
00000905: PUSH2 0x093a
00000908: JUMPI
00000909: PUSH1 0x40
0000090b: MLOAD
0000090c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000092d: DUP2
0000092e: MSTORE
0000092f: PUSH1 0x04
00000931: ADD
00000932: PUSH2 0x05d6
00000935: SWAP1
00000936: PUSH2 0x2a77
00000939: JUMP
0000093a: JUMPDEST
0000093b: PUSH1 0x00
0000093d: DUP6
0000093e: DUP2
0000093f: MSTORE
00000940: PUSH1 0x01
00000942: PUSH1 0x20
00000944: SWAP1
00000945: DUP2
00000946: MSTORE
00000947: PUSH1 0x40
00000949: DUP1
0000094a: DUP4
0000094b: KECCAK256
0000094c: CALLER
0000094d: DUP1
0000094e: DUP6
0000094f: MSTORE
00000950: SWAP3
00000951: MSTORE
00000952: DUP1
00000953: DUP4
00000954: KECCAK256
00000955: DUP1
00000956: SLOAD
00000957: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
00000978: AND
00000979: SWAP1
0000097a: SSTORE
0000097b: MLOAD
0000097c: DUP8
0000097d: SWAP3
0000097e: PUSH32 0xf6a317157440607f36269043eb55f1287a5a19ba2216afeab88cd46cbcfb88e9
0000099f: SWAP2
000009a0: LOG3
000009a1: POP
000009a2: POP
000009a3: POP
000009a4: POP
000009a5: POP
000009a6: JUMP
000009a7: JUMPDEST
000009a8: PUSH1 0x02
000009aa: PUSH1 0x20
000009ac: MSTORE
000009ad: PUSH1 0x00
000009af: SWAP1
000009b0: DUP2
000009b1: MSTORE
000009b2: PUSH1 0x40
000009b4: SWAP1
000009b5: KECCAK256
000009b6: SLOAD
000009b7: PUSH1 0xff
000009b9: AND
000009ba: DUP2
000009bb: JUMP
000009bc: JUMPDEST
000009bd: PUSH1 0x01
000009bf: PUSH1 0x20
000009c1: SWAP1
000009c2: DUP2
000009c3: MSTORE
000009c4: PUSH1 0x00
000009c6: SWAP3
000009c7: DUP4
000009c8: MSTORE
000009c9: PUSH1 0x40
000009cb: DUP1
000009cc: DUP5
000009cd: KECCAK256
000009ce: SWAP1
000009cf: SWAP2
000009d0: MSTORE
000009d1: SWAP1
000009d2: DUP3
000009d3: MSTORE
000009d4: SWAP1
000009d5: KECCAK256
000009d6: SLOAD
000009d7: PUSH1 0xff
000009d9: AND
000009da: DUP2
000009db: JUMP
000009dc: JUMPDEST
000009dd: PUSH1 0x06
000009df: SLOAD
000009e0: DUP2
000009e1: JUMP
000009e2: JUMPDEST
000009e3: PUSH1 0x00
000009e5: DUP1
000009e6: JUMPDEST
000009e7: PUSH1 0x05
000009e9: SLOAD
000009ea: DUP2
000009eb: LT
000009ec: ISZERO
000009ed: PUSH2 0x0a47
000009f0: JUMPI
000009f1: DUP4
000009f2: DUP1
000009f3: ISZERO
000009f4: PUSH2 0x0a0f
000009f7: JUMPI
000009f8: POP
000009f9: PUSH1 0x00
000009fb: DUP2
000009fc: DUP2
000009fd: MSTORE
000009fe: PUSH1 0x20
00000a00: DUP2
00000a01: SWAP1
00000a02: MSTORE
00000a03: PUSH1 0x40
00000a05: SWAP1
00000a06: KECCAK256
00000a07: PUSH1 0x03
00000a09: ADD
00000a0a: SLOAD
00000a0b: PUSH1 0xff
00000a0d: AND
00000a0e: ISZERO
00000a0f: JUMPDEST
00000a10: DUP1
00000a11: PUSH2 0x0a33
00000a14: JUMPI
00000a15: POP
00000a16: DUP3
00000a17: DUP1
00000a18: ISZERO
00000a19: PUSH2 0x0a33
00000a1c: JUMPI
00000a1d: POP
00000a1e: PUSH1 0x00
00000a20: DUP2
00000a21: DUP2
00000a22: MSTORE
00000a23: PUSH1 0x20
00000a25: DUP2
00000a26: SWAP1
00000a27: MSTORE
00000a28: PUSH1 0x40
00000a2a: SWAP1
00000a2b: KECCAK256
00000a2c: PUSH1 0x03
00000a2e: ADD
00000a2f: SLOAD
00000a30: PUSH1 0xff
00000a32: AND
00000a33: JUMPDEST
00000a34: ISZERO
00000a35: PUSH2 0x0a3f
00000a38: JUMPI
00000a39: PUSH1 0x01
00000a3b: DUP3
00000a3c: ADD
00000a3d: SWAP2
00000a3e: POP
00000a3f: JUMPDEST
00000a40: PUSH1 0x01
00000a42: ADD
00000a43: PUSH2 0x09e6
00000a46: JUMP
00000a47: JUMPDEST
00000a48: POP
00000a49: SWAP3
00000a4a: SWAP2
00000a4b: POP
00000a4c: POP
00000a4d: JUMP
00000a4e: JUMPDEST
00000a4f: CALLER
00000a50: ADDRESS
00000a51: EQ
00000a52: PUSH2 0x0a87
00000a55: JUMPI
00000a56: PUSH1 0x40
00000a58: MLOAD
00000a59: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000a7a: DUP2
00000a7b: MSTORE
00000a7c: PUSH1 0x04
00000a7e: ADD
00000a7f: PUSH2 0x05d6
00000a82: SWAP1
00000a83: PUSH2 0x2a40
00000a86: JUMP
00000a87: JUMPDEST
00000a88: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a9d: DUP2
00000a9e: AND
00000a9f: PUSH1 0x00
00000aa1: SWAP1
00000aa2: DUP2
00000aa3: MSTORE
00000aa4: PUSH1 0x02
00000aa6: PUSH1 0x20
00000aa8: MSTORE
00000aa9: PUSH1 0x40
00000aab: SWAP1
00000aac: KECCAK256
00000aad: SLOAD
00000aae: DUP2
00000aaf: SWAP1
00000ab0: PUSH1 0xff
00000ab2: AND
00000ab3: ISZERO
00000ab4: PUSH2 0x0ae9
00000ab7: JUMPI
00000ab8: PUSH1 0x40
00000aba: MLOAD
00000abb: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000adc: DUP2
00000add: MSTORE
00000ade: PUSH1 0x04
00000ae0: ADD
00000ae1: PUSH2 0x05d6
00000ae4: SWAP1
00000ae5: PUSH2 0x2851
00000ae8: JUMP
00000ae9: JUMPDEST
00000aea: DUP2
00000aeb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b00: DUP2
00000b01: AND
00000b02: PUSH2 0x0b37
00000b05: JUMPI
00000b06: PUSH1 0x40
00000b08: MLOAD
00000b09: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000b2a: DUP2
00000b2b: MSTORE
00000b2c: PUSH1 0x04
00000b2e: ADD
00000b2f: PUSH2 0x05d6
00000b32: SWAP1
00000b33: PUSH2 0x27e3
00000b36: JUMP
00000b37: JUMPDEST
00000b38: PUSH1 0x03
00000b3a: DUP1
00000b3b: SLOAD
00000b3c: SWAP1
00000b3d: POP
00000b3e: PUSH1 0x01
00000b40: ADD
00000b41: PUSH1 0x04
00000b43: SLOAD
00000b44: PUSH1 0x32
00000b46: DUP3
00000b47: GT
00000b48: ISZERO
00000b49: DUP1
00000b4a: ISZERO
00000b4b: PUSH2 0x0b54
00000b4e: JUMPI
00000b4f: POP
00000b50: DUP2
00000b51: DUP2
00000b52: GT
00000b53: ISZERO
00000b54: JUMPDEST
00000b55: DUP1
00000b56: ISZERO
00000b57: PUSH2 0x0b5f
00000b5a: JUMPI
00000b5b: POP
00000b5c: DUP1
00000b5d: ISZERO
00000b5e: ISZERO
00000b5f: JUMPDEST
00000b60: DUP1
00000b61: ISZERO
00000b62: PUSH2 0x0b6a
00000b65: JUMPI
00000b66: POP
00000b67: DUP2
00000b68: ISZERO
00000b69: ISZERO
00000b6a: JUMPDEST
00000b6b: PUSH2 0x0ba0
00000b6e: JUMPI
00000b6f: PUSH1 0x40
00000b71: MLOAD
00000b72: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000b93: DUP2
00000b94: MSTORE
00000b95: PUSH1 0x04
00000b97: ADD
00000b98: PUSH2 0x05d6
00000b9b: SWAP1
00000b9c: PUSH2 0x2aae
00000b9f: JUMP
00000ba0: JUMPDEST
00000ba1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bb6: DUP6
00000bb7: AND
00000bb8: PUSH1 0x00
00000bba: DUP2
00000bbb: DUP2
00000bbc: MSTORE
00000bbd: PUSH1 0x02
00000bbf: PUSH1 0x20
00000bc1: MSTORE
00000bc2: PUSH1 0x40
00000bc4: DUP1
00000bc5: DUP3
00000bc6: KECCAK256
00000bc7: DUP1
00000bc8: SLOAD
00000bc9: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
00000bea: AND
00000beb: PUSH1 0x01
00000bed: SWAP1
00000bee: DUP2
00000bef: OR
00000bf0: SWAP1
00000bf1: SWAP2
00000bf2: SSTORE
00000bf3: PUSH1 0x03
00000bf5: DUP1
00000bf6: SLOAD
00000bf7: SWAP2
00000bf8: DUP3
00000bf9: ADD
00000bfa: DUP2
00000bfb: SSTORE
00000bfc: DUP4
00000bfd: MSTORE
00000bfe: PUSH32 0xc2575a0e9e593c00f959f8c92f12db2869c3395a3b0502d05e2516446f71f85b
00000c1f: ADD
00000c20: DUP1
00000c21: SLOAD
00000c22: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00000c43: AND
00000c44: DUP5
00000c45: OR
00000c46: SWAP1
00000c47: SSTORE
00000c48: MLOAD
00000c49: PUSH32 0xf39e6e1eb0edcf53c221607b54b00cd28f3196fed0a24994dc308b8f611b682d
00000c6a: SWAP2
00000c6b: SWAP1
00000c6c: LOG2
00000c6d: POP
00000c6e: POP
00000c6f: POP
00000c70: POP
00000c71: POP
00000c72: JUMP
00000c73: JUMPDEST
00000c74: CALLER
00000c75: ADDRESS
00000c76: EQ
00000c77: PUSH2 0x0cac
00000c7a: JUMPI
00000c7b: PUSH1 0x40
00000c7d: MLOAD
00000c7e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000c9f: DUP2
00000ca0: MSTORE
00000ca1: PUSH1 0x04
00000ca3: ADD
00000ca4: PUSH2 0x05d6
00000ca7: SWAP1
00000ca8: PUSH2 0x2a40
00000cab: JUMP
00000cac: JUMPDEST
00000cad: PUSH2 0x0cb8
00000cb0: DUP5
00000cb1: DUP5
00000cb2: DUP5
00000cb3: DUP5
00000cb4: PUSH2 0x1b51
00000cb7: JUMP
00000cb8: JUMPDEST
00000cb9: POP
00000cba: POP
00000cbb: POP
00000cbc: POP
00000cbd: JUMP
00000cbe: JUMPDEST
00000cbf: PUSH1 0x00
00000cc1: DUP1
00000cc2: DUP1
00000cc3: JUMPDEST
00000cc4: PUSH1 0x03
00000cc6: SLOAD
00000cc7: DUP2
00000cc8: LT
00000cc9: ISZERO
00000cca: PUSH2 0x0d4a
00000ccd: JUMPI
00000cce: PUSH1 0x00
00000cd0: DUP5
00000cd1: DUP2
00000cd2: MSTORE
00000cd3: PUSH1 0x01
00000cd5: PUSH1 0x20
00000cd7: MSTORE
00000cd8: PUSH1 0x40
00000cda: DUP2
00000cdb: KECCAK256
00000cdc: PUSH1 0x03
00000cde: DUP1
00000cdf: SLOAD
00000ce0: SWAP2
00000ce1: SWAP3
00000ce2: SWAP2
00000ce3: DUP5
00000ce4: SWAP1
00000ce5: DUP2
00000ce6: LT
00000ce7: PUSH2 0x0cec
00000cea: JUMPI
00000ceb: INVALID
00000cec: JUMPDEST
00000ced: PUSH1 0x00
00000cef: SWAP2
00000cf0: DUP3
00000cf1: MSTORE
00000cf2: PUSH1 0x20
00000cf4: DUP1
00000cf5: DUP4
00000cf6: KECCAK256
00000cf7: SWAP1
00000cf8: SWAP2
00000cf9: ADD
00000cfa: SLOAD
00000cfb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d10: AND
00000d11: DUP4
00000d12: MSTORE
00000d13: DUP3
00000d14: ADD
00000d15: SWAP3
00000d16: SWAP1
00000d17: SWAP3
00000d18: MSTORE
00000d19: PUSH1 0x40
00000d1b: ADD
00000d1c: SWAP1
00000d1d: KECCAK256
00000d1e: SLOAD
00000d1f: PUSH1 0xff
00000d21: AND
00000d22: ISZERO
00000d23: PUSH2 0x0d2d
00000d26: JUMPI
00000d27: PUSH1 0x01
00000d29: DUP3
00000d2a: ADD
00000d2b: SWAP2
00000d2c: POP
00000d2d: JUMPDEST
00000d2e: PUSH1 0x04
00000d30: SLOAD
00000d31: DUP3
00000d32: EQ
00000d33: ISZERO
00000d34: PUSH2 0x0d42
00000d37: JUMPI
00000d38: PUSH1 0x01
00000d3a: SWAP3
00000d3b: POP
00000d3c: POP
00000d3d: POP
00000d3e: PUSH2 0x0d4d
00000d41: JUMP
00000d42: JUMPDEST
00000d43: PUSH1 0x01
00000d45: ADD
00000d46: PUSH2 0x0cc3
00000d49: JUMP
00000d4a: JUMPDEST
00000d4b: POP
00000d4c: POP
00000d4d: JUMPDEST
00000d4e: SWAP2
00000d4f: SWAP1
00000d50: POP
00000d51: JUMP
00000d52: JUMPDEST
00000d53: CALLER
00000d54: ADDRESS
00000d55: EQ
00000d56: PUSH2 0x0d8b
00000d59: JUMPI
00000d5a: PUSH1 0x40
00000d5c: MLOAD
00000d5d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000d7e: DUP2
00000d7f: MSTORE
00000d80: PUSH1 0x04
00000d82: ADD
00000d83: PUSH2 0x05d6
00000d86: SWAP1
00000d87: PUSH2 0x2a40
00000d8a: JUMP
00000d8b: JUMPDEST
00000d8c: PUSH1 0x06
00000d8e: DUP2
00000d8f: SWAP1
00000d90: SSTORE
00000d91: PUSH1 0x40
00000d93: MLOAD
00000d94: PUSH32 0xd1c9101a34feff75cccef14a28785a0279cb0b49c1f321f21f5f422e746b4377
00000db5: SWAP1
00000db6: PUSH2 0x0dc0
00000db9: SWAP1
00000dba: DUP4
00000dbb: SWAP1
00000dbc: PUSH2 0x2ae5
00000dbf: JUMP
00000dc0: JUMPDEST
00000dc1: PUSH1 0x40
00000dc3: MLOAD
00000dc4: DUP1
00000dc5: SWAP2
00000dc6: SUB
00000dc7: SWAP1
00000dc8: LOG1
00000dc9: POP
00000dca: JUMP
00000dcb: JUMPDEST
00000dcc: PUSH1 0x08
00000dce: PUSH1 0x20
00000dd0: SWAP1
00000dd1: DUP2
00000dd2: MSTORE
00000dd3: PUSH1 0x00
00000dd5: SWAP3
00000dd6: DUP4
00000dd7: MSTORE
00000dd8: PUSH1 0x40
00000dda: DUP1
00000ddb: DUP5
00000ddc: KECCAK256
00000ddd: SWAP1
00000dde: SWAP2
00000ddf: MSTORE
00000de0: SWAP1
00000de1: DUP3
00000de2: MSTORE
00000de3: SWAP1
00000de4: KECCAK256
00000de5: SLOAD
00000de6: PUSH1 0xff
00000de8: DUP2
00000de9: AND
00000dea: SWAP1
00000deb: PUSH2 0x0100
00000dee: SWAP1
00000def: DIV
00000df0: PUSH16 0xffffffffffffffffffffffffffffffff
00000e01: AND
00000e02: DUP3
00000e03: JUMP
00000e04: JUMPDEST
00000e05: PUSH1 0x00
00000e07: DUP1
00000e08: JUMPDEST
00000e09: PUSH1 0x03
00000e0b: SLOAD
00000e0c: DUP2
00000e0d: LT
00000e0e: ISZERO
00000e0f: PUSH2 0x0e7a
00000e12: JUMPI
00000e13: PUSH1 0x00
00000e15: DUP4
00000e16: DUP2
00000e17: MSTORE
00000e18: PUSH1 0x01
00000e1a: PUSH1 0x20
00000e1c: MSTORE
00000e1d: PUSH1 0x40
00000e1f: DUP2
00000e20: KECCAK256
00000e21: PUSH1 0x03
00000e23: DUP1
00000e24: SLOAD
00000e25: SWAP2
00000e26: SWAP3
00000e27: SWAP2
00000e28: DUP5
00000e29: SWAP1
00000e2a: DUP2
00000e2b: LT
00000e2c: PUSH2 0x0e31
00000e2f: JUMPI
00000e30: INVALID
00000e31: JUMPDEST
00000e32: PUSH1 0x00
00000e34: SWAP2
00000e35: DUP3
00000e36: MSTORE
00000e37: PUSH1 0x20
00000e39: DUP1
00000e3a: DUP4
00000e3b: KECCAK256
00000e3c: SWAP1
00000e3d: SWAP2
00000e3e: ADD
00000e3f: SLOAD
00000e40: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e55: AND
00000e56: DUP4
00000e57: MSTORE
00000e58: DUP3
00000e59: ADD
00000e5a: SWAP3
00000e5b: SWAP1
00000e5c: SWAP3
00000e5d: MSTORE
00000e5e: PUSH1 0x40
00000e60: ADD
00000e61: SWAP1
00000e62: KECCAK256
00000e63: SLOAD
00000e64: PUSH1 0xff
00000e66: AND
00000e67: ISZERO
00000e68: PUSH2 0x0e72
00000e6b: JUMPI
00000e6c: PUSH1 0x01
00000e6e: DUP3
00000e6f: ADD
00000e70: SWAP2
00000e71: POP
00000e72: JUMPDEST
00000e73: PUSH1 0x01
00000e75: ADD
00000e76: PUSH2 0x0e08
00000e79: JUMP
00000e7a: JUMPDEST
00000e7b: POP
00000e7c: SWAP2
00000e7d: SWAP1
00000e7e: POP
00000e7f: JUMP
00000e80: JUMPDEST
00000e81: PUSH1 0x00
00000e83: PUSH1 0x20
00000e85: DUP2
00000e86: DUP2
00000e87: MSTORE
00000e88: SWAP2
00000e89: DUP2
00000e8a: MSTORE
00000e8b: PUSH1 0x40
00000e8d: SWAP1
00000e8e: DUP2
00000e8f: SWAP1
00000e90: KECCAK256
00000e91: DUP1
00000e92: SLOAD
00000e93: PUSH1 0x01
00000e95: DUP1
00000e96: DUP4
00000e97: ADD
00000e98: SLOAD
00000e99: PUSH1 0x02
00000e9b: DUP1
00000e9c: DUP6
00000e9d: ADD
00000e9e: DUP1
00000e9f: SLOAD
00000ea0: DUP8
00000ea1: MLOAD
00000ea2: PUSH2 0x0100
00000ea5: SWAP6
00000ea6: DUP3
00000ea7: AND
00000ea8: ISZERO
00000ea9: SWAP6
00000eaa: SWAP1
00000eab: SWAP6
00000eac: MUL
00000ead: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00000ece: ADD
00000ecf: AND
00000ed0: SWAP2
00000ed1: SWAP1
00000ed2: SWAP2
00000ed3: DIV
00000ed4: PUSH1 0x1f
00000ed6: DUP2
00000ed7: ADD
00000ed8: DUP9
00000ed9: SWAP1
00000eda: DIV
00000edb: DUP9
00000edc: MUL
00000edd: DUP5
00000ede: ADD
00000edf: DUP9
00000ee0: ADD
00000ee1: SWAP1
00000ee2: SWAP7
00000ee3: MSTORE
00000ee4: DUP6
00000ee5: DUP4
00000ee6: MSTORE
00000ee7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000efc: SWAP1
00000efd: SWAP4
00000efe: AND
00000eff: SWAP6
00000f00: SWAP1
00000f01: SWAP5
00000f02: SWAP2
00000f03: SWAP3
00000f04: SWAP2
00000f05: SWAP1
00000f06: DUP4
00000f07: ADD
00000f08: DUP3
00000f09: DUP3
00000f0a: DUP1
00000f0b: ISZERO
00000f0c: PUSH2 0x0f56
00000f0f: JUMPI
00000f10: DUP1
00000f11: PUSH1 0x1f
00000f13: LT
00000f14: PUSH2 0x0f2b
00000f17: JUMPI
00000f18: PUSH2 0x0100
00000f1b: DUP1
00000f1c: DUP4
00000f1d: SLOAD
00000f1e: DIV
00000f1f: MUL
00000f20: DUP4
00000f21: MSTORE
00000f22: SWAP2
00000f23: PUSH1 0x20
00000f25: ADD
00000f26: SWAP2
00000f27: PUSH2 0x0f56
00000f2a: JUMP
00000f2b: JUMPDEST
00000f2c: DUP3
00000f2d: ADD
00000f2e: SWAP2
00000f2f: SWAP1
00000f30: PUSH1 0x00
00000f32: MSTORE
00000f33: PUSH1 0x20
00000f35: PUSH1 0x00
00000f37: KECCAK256
00000f38: SWAP1
00000f39: JUMPDEST
00000f3a: DUP2
00000f3b: SLOAD
00000f3c: DUP2
00000f3d: MSTORE
00000f3e: SWAP1
00000f3f: PUSH1 0x01
00000f41: ADD
00000f42: SWAP1
00000f43: PUSH1 0x20
00000f45: ADD
00000f46: DUP1
00000f47: DUP4
00000f48: GT
00000f49: PUSH2 0x0f39
00000f4c: JUMPI
00000f4d: DUP3
00000f4e: SWAP1
00000f4f: SUB
00000f50: PUSH1 0x1f
00000f52: AND
00000f53: DUP3
00000f54: ADD
00000f55: SWAP2
00000f56: JUMPDEST
00000f57: POP
00000f58: POP
00000f59: POP
00000f5a: PUSH1 0x03
00000f5c: SWAP1
00000f5d: SWAP4
00000f5e: ADD
00000f5f: SLOAD
00000f60: SWAP2
00000f61: SWAP3
00000f62: POP
00000f63: POP
00000f64: PUSH1 0xff
00000f66: AND
00000f67: DUP5
00000f68: JUMP
00000f69: JUMPDEST
00000f6a: PUSH1 0x60
00000f6c: PUSH1 0x03
00000f6e: DUP1
00000f6f: SLOAD
00000f70: DUP1
00000f71: PUSH1 0x20
00000f73: MUL
00000f74: PUSH1 0x20
00000f76: ADD
00000f77: PUSH1 0x40
00000f79: MLOAD
00000f7a: SWAP1
00000f7b: DUP2
00000f7c: ADD
00000f7d: PUSH1 0x40
00000f7f: MSTORE
00000f80: DUP1
00000f81: SWAP3
00000f82: SWAP2
00000f83: SWAP1
00000f84: DUP2
00000f85: DUP2
00000f86: MSTORE
00000f87: PUSH1 0x20
00000f89: ADD
00000f8a: DUP3
00000f8b: DUP1
00000f8c: SLOAD
00000f8d: DUP1
00000f8e: ISZERO
00000f8f: PUSH2 0x0fce
00000f92: JUMPI
00000f93: PUSH1 0x20
00000f95: MUL
00000f96: DUP3
00000f97: ADD
00000f98: SWAP2
00000f99: SWAP1
00000f9a: PUSH1 0x00
00000f9c: MSTORE
00000f9d: PUSH1 0x20
00000f9f: PUSH1 0x00
00000fa1: KECCAK256
00000fa2: SWAP1
00000fa3: JUMPDEST
00000fa4: DUP2
00000fa5: SLOAD
00000fa6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fbb: AND
00000fbc: DUP2
00000fbd: MSTORE
00000fbe: PUSH1 0x01
00000fc0: SWAP1
00000fc1: SWAP2
00000fc2: ADD
00000fc3: SWAP1
00000fc4: PUSH1 0x20
00000fc6: ADD
00000fc7: DUP1
00000fc8: DUP4
00000fc9: GT
00000fca: PUSH2 0x0fa3
00000fcd: JUMPI
00000fce: JUMPDEST
00000fcf: POP
00000fd0: POP
00000fd1: POP
00000fd2: POP
00000fd3: POP
00000fd4: SWAP1
00000fd5: POP
00000fd6: JUMPDEST
00000fd7: SWAP1
00000fd8: JUMP
00000fd9: JUMPDEST
00000fda: PUSH1 0x60
00000fdc: DUP1
00000fdd: PUSH1 0x05
00000fdf: SLOAD
00000fe0: PUSH1 0x40
00000fe2: MLOAD
00000fe3: SWAP1
00000fe4: DUP1
00000fe5: DUP3
00000fe6: MSTORE
00000fe7: DUP1
00000fe8: PUSH1 0x20
00000fea: MUL
00000feb: PUSH1 0x20
00000fed: ADD
00000fee: DUP3
00000fef: ADD
00000ff0: PUSH1 0x40
00000ff2: MSTORE
00000ff3: DUP1
00000ff4: ISZERO
00000ff5: PUSH2 0x1008
00000ff8: JUMPI
00000ff9: DUP2
00000ffa: PUSH1 0x20
00000ffc: ADD
00000ffd: PUSH1 0x20
00000fff: DUP3
00001000: MUL
00001001: DUP1
00001002: CODESIZE
00001003: DUP4
00001004: CODECOPY
00001005: ADD
00001006: SWAP1
00001007: POP
00001008: JUMPDEST
00001009: POP
0000100a: SWAP1
0000100b: POP
0000100c: PUSH1 0x00
0000100e: DUP1
0000100f: JUMPDEST
00001010: PUSH1 0x05
00001012: SLOAD
00001013: DUP2
00001014: LT
00001015: ISZERO
00001016: PUSH2 0x1089
00001019: JUMPI
0000101a: DUP6
0000101b: DUP1
0000101c: ISZERO
0000101d: PUSH2 0x1038
00001020: JUMPI
00001021: POP
00001022: PUSH1 0x00
00001024: DUP2
00001025: DUP2
00001026: MSTORE
00001027: PUSH1 0x20
00001029: DUP2
0000102a: SWAP1
0000102b: MSTORE
0000102c: PUSH1 0x40
0000102e: SWAP1
0000102f: KECCAK256
00001030: PUSH1 0x03
00001032: ADD
00001033: SLOAD
00001034: PUSH1 0xff
00001036: AND
00001037: ISZERO
00001038: JUMPDEST
00001039: DUP1
0000103a: PUSH2 0x105c
0000103d: JUMPI
0000103e: POP
0000103f: DUP5
00001040: DUP1
00001041: ISZERO
00001042: PUSH2 0x105c
00001045: JUMPI
00001046: POP
00001047: PUSH1 0x00
00001049: DUP2
0000104a: DUP2
0000104b: MSTORE
0000104c: PUSH1 0x20
0000104e: DUP2
0000104f: SWAP1
00001050: MSTORE
00001051: PUSH1 0x40
00001053: SWAP1
00001054: KECCAK256
00001055: PUSH1 0x03
00001057: ADD
00001058: SLOAD
00001059: PUSH1 0xff
0000105b: AND
0000105c: JUMPDEST
0000105d: ISZERO
0000105e: PUSH2 0x1081
00001061: JUMPI
00001062: DUP1
00001063: DUP4
00001064: DUP4
00001065: DUP2
00001066: MLOAD
00001067: DUP2
00001068: LT
00001069: PUSH2 0x106e
0000106c: JUMPI
0000106d: INVALID
0000106e: JUMPDEST
0000106f: PUSH1 0x20
00001071: MUL
00001072: PUSH1 0x20
00001074: ADD
00001075: ADD
00001076: DUP2
00001077: DUP2
00001078: MSTORE
00001079: POP
0000107a: POP
0000107b: PUSH1 0x01
0000107d: DUP3
0000107e: ADD
0000107f: SWAP2
00001080: POP
00001081: JUMPDEST
00001082: PUSH1 0x01
00001084: ADD
00001085: PUSH2 0x100f
00001088: JUMP
00001089: JUMPDEST
0000108a: DUP8
0000108b: DUP8
0000108c: SUB
0000108d: PUSH1 0x40
0000108f: MLOAD
00001090: SWAP1
00001091: DUP1
00001092: DUP3
00001093: MSTORE
00001094: DUP1
00001095: PUSH1 0x20
00001097: MUL
00001098: PUSH1 0x20
0000109a: ADD
0000109b: DUP3
0000109c: ADD
0000109d: PUSH1 0x40
0000109f: MSTORE
000010a0: DUP1
000010a1: ISZERO
000010a2: PUSH2 0x10b5
000010a5: JUMPI
000010a6: DUP2
000010a7: PUSH1 0x20
000010a9: ADD
000010aa: PUSH1 0x20
000010ac: DUP3
000010ad: MUL
000010ae: DUP1
000010af: CODESIZE
000010b0: DUP4
000010b1: CODECOPY
000010b2: ADD
000010b3: SWAP1
000010b4: POP
000010b5: JUMPDEST
000010b6: POP
000010b7: SWAP4
000010b8: POP
000010b9: DUP8
000010ba: SWAP1
000010bb: POP
000010bc: JUMPDEST
000010bd: DUP7
000010be: DUP2
000010bf: LT
000010c0: ISZERO
000010c1: PUSH2 0x10f9
000010c4: JUMPI
000010c5: DUP3
000010c6: DUP2
000010c7: DUP2
000010c8: MLOAD
000010c9: DUP2
000010ca: LT
000010cb: PUSH2 0x10d0
000010ce: JUMPI
000010cf: INVALID
000010d0: JUMPDEST
000010d1: PUSH1 0x20
000010d3: MUL
000010d4: PUSH1 0x20
000010d6: ADD
000010d7: ADD
000010d8: MLOAD
000010d9: DUP5
000010da: DUP10
000010db: DUP4
000010dc: SUB
000010dd: DUP2
000010de: MLOAD
000010df: DUP2
000010e0: LT
000010e1: PUSH2 0x10e6
000010e4: JUMPI
000010e5: INVALID
000010e6: JUMPDEST
000010e7: PUSH1 0x20
000010e9: SWAP1
000010ea: DUP2
000010eb: MUL
000010ec: SWAP2
000010ed: SWAP1
000010ee: SWAP2
000010ef: ADD
000010f0: ADD
000010f1: MSTORE
000010f2: PUSH1 0x01
000010f4: ADD
000010f5: PUSH2 0x10bc
000010f8: JUMP
000010f9: JUMPDEST
000010fa: POP
000010fb: POP
000010fc: POP
000010fd: SWAP5
000010fe: SWAP4
000010ff: POP
00001100: POP
00001101: POP
00001102: POP
00001103: JUMP
00001104: JUMPDEST
00001105: PUSH1 0x60
00001107: DUP1
00001108: PUSH1 0x03
0000110a: DUP1
0000110b: SLOAD
0000110c: SWAP1
0000110d: POP
0000110e: PUSH1 0x40
00001110: MLOAD
00001111: SWAP1
00001112: DUP1
00001113: DUP3
00001114: MSTORE
00001115: DUP1
00001116: PUSH1 0x20
00001118: MUL
00001119: PUSH1 0x20
0000111b: ADD
0000111c: DUP3
0000111d: ADD
0000111e: PUSH1 0x40
00001120: MSTORE
00001121: DUP1
00001122: ISZERO
00001123: PUSH2 0x1136
00001126: JUMPI
00001127: DUP2
00001128: PUSH1 0x20
0000112a: ADD
0000112b: PUSH1 0x20
0000112d: DUP3
0000112e: MUL
0000112f: DUP1
00001130: CODESIZE
00001131: DUP4
00001132: CODECOPY
00001133: ADD
00001134: SWAP1
00001135: POP
00001136: JUMPDEST
00001137: POP
00001138: SWAP1
00001139: POP
0000113a: PUSH1 0x00
0000113c: DUP1
0000113d: JUMPDEST
0000113e: PUSH1 0x03
00001140: SLOAD
00001141: DUP2
00001142: LT
00001143: ISZERO
00001144: PUSH2 0x122d
00001147: JUMPI
00001148: PUSH1 0x00
0000114a: DUP6
0000114b: DUP2
0000114c: MSTORE
0000114d: PUSH1 0x01
0000114f: PUSH1 0x20
00001151: MSTORE
00001152: PUSH1 0x40
00001154: DUP2
00001155: KECCAK256
00001156: PUSH1 0x03
00001158: DUP1
00001159: SLOAD
0000115a: SWAP2
0000115b: SWAP3
0000115c: SWAP2
0000115d: DUP5
0000115e: SWAP1
0000115f: DUP2
00001160: LT
00001161: PUSH2 0x1166
00001164: JUMPI
00001165: INVALID
00001166: JUMPDEST
00001167: PUSH1 0x00
00001169: SWAP2
0000116a: DUP3
0000116b: MSTORE
0000116c: PUSH1 0x20
0000116e: DUP1
0000116f: DUP4
00001170: KECCAK256
00001171: SWAP1
00001172: SWAP2
00001173: ADD
00001174: SLOAD
00001175: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000118a: AND
0000118b: DUP4
0000118c: MSTORE
0000118d: DUP3
0000118e: ADD
0000118f: SWAP3
00001190: SWAP1
00001191: SWAP3
00001192: MSTORE
00001193: PUSH1 0x40
00001195: ADD
00001196: SWAP1
00001197: KECCAK256
00001198: SLOAD
00001199: PUSH1 0xff
0000119b: AND
0000119c: ISZERO
0000119d: PUSH2 0x1225
000011a0: JUMPI
000011a1: PUSH1 0x03
000011a3: DUP2
000011a4: DUP2
000011a5: SLOAD
000011a6: DUP2
000011a7: LT
000011a8: PUSH2 0x11ad
000011ab: JUMPI
000011ac: INVALID
000011ad: JUMPDEST
000011ae: SWAP1
000011af: PUSH1 0x00
000011b1: MSTORE
000011b2: PUSH1 0x20
000011b4: PUSH1 0x00
000011b6: KECCAK256
000011b7: ADD
000011b8: PUSH1 0x00
000011ba: SWAP1
000011bb: SLOAD
000011bc: SWAP1
000011bd: PUSH2 0x0100
000011c0: EXP
000011c1: SWAP1
000011c2: DIV
000011c3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011d8: AND
000011d9: DUP4
000011da: DUP4
000011db: DUP2
000011dc: MLOAD
000011dd: DUP2
000011de: LT
000011df: PUSH2 0x11e4
000011e2: JUMPI
000011e3: INVALID
000011e4: JUMPDEST
000011e5: PUSH1 0x20
000011e7: MUL
000011e8: PUSH1 0x20
000011ea: ADD
000011eb: ADD
000011ec: SWAP1
000011ed: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001202: AND
00001203: SWAP1
00001204: DUP2
00001205: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000121a: AND
0000121b: DUP2
0000121c: MSTORE
0000121d: POP
0000121e: POP
0000121f: PUSH1 0x01
00001221: DUP3
00001222: ADD
00001223: SWAP2
00001224: POP
00001225: JUMPDEST
00001226: PUSH1 0x01
00001228: ADD
00001229: PUSH2 0x113d
0000122c: JUMP
0000122d: JUMPDEST
0000122e: DUP2
0000122f: PUSH1 0x40
00001231: MLOAD
00001232: SWAP1
00001233: DUP1
00001234: DUP3
00001235: MSTORE
00001236: DUP1
00001237: PUSH1 0x20
00001239: MUL
0000123a: PUSH1 0x20
0000123c: ADD
0000123d: DUP3
0000123e: ADD
0000123f: PUSH1 0x40
00001241: MSTORE
00001242: DUP1
00001243: ISZERO
00001244: PUSH2 0x1257
00001247: JUMPI
00001248: DUP2
00001249: PUSH1 0x20
0000124b: ADD
0000124c: PUSH1 0x20
0000124e: DUP3
0000124f: MUL
00001250: DUP1
00001251: CODESIZE
00001252: DUP4
00001253: CODECOPY
00001254: ADD
00001255: SWAP1
00001256: POP
00001257: JUMPDEST
00001258: POP
00001259: SWAP4
0000125a: POP
0000125b: PUSH1 0x00
0000125d: SWAP1
0000125e: POP
0000125f: JUMPDEST
00001260: DUP2
00001261: DUP2
00001262: LT
00001263: ISZERO
00001264: PUSH2 0x12b4
00001267: JUMPI
00001268: DUP3
00001269: DUP2
0000126a: DUP2
0000126b: MLOAD
0000126c: DUP2
0000126d: LT
0000126e: PUSH2 0x1273
00001271: JUMPI
00001272: INVALID
00001273: JUMPDEST
00001274: PUSH1 0x20
00001276: MUL
00001277: PUSH1 0x20
00001279: ADD
0000127a: ADD
0000127b: MLOAD
0000127c: DUP5
0000127d: DUP3
0000127e: DUP2
0000127f: MLOAD
00001280: DUP2
00001281: LT
00001282: PUSH2 0x1287
00001285: JUMPI
00001286: INVALID
00001287: JUMPDEST
00001288: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000129d: SWAP1
0000129e: SWAP3
0000129f: AND
000012a0: PUSH1 0x20
000012a2: SWAP3
000012a3: DUP4
000012a4: MUL
000012a5: SWAP2
000012a6: SWAP1
000012a7: SWAP2
000012a8: ADD
000012a9: SWAP1
000012aa: SWAP2
000012ab: ADD
000012ac: MSTORE
000012ad: PUSH1 0x01
000012af: ADD
000012b0: PUSH2 0x125f
000012b3: JUMP
000012b4: JUMPDEST
000012b5: POP
000012b6: POP
000012b7: POP
000012b8: SWAP2
000012b9: SWAP1
000012ba: POP
000012bb: JUMP
000012bc: JUMPDEST
000012bd: PUSH1 0x05
000012bf: SLOAD
000012c0: DUP2
000012c1: JUMP
000012c2: JUMPDEST
000012c3: CALLER
000012c4: ADDRESS
000012c5: EQ
000012c6: PUSH2 0x12fb
000012c9: JUMPI
000012ca: PUSH1 0x40
000012cc: MLOAD
000012cd: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000012ee: DUP2
000012ef: MSTORE
000012f0: PUSH1 0x04
000012f2: ADD
000012f3: PUSH2 0x05d6
000012f6: SWAP1
000012f7: PUSH2 0x2a40
000012fa: JUMP
000012fb: JUMPDEST
000012fc: PUSH1 0x03
000012fe: SLOAD
000012ff: DUP2
00001300: PUSH1 0x32
00001302: DUP3
00001303: GT
00001304: DUP1
00001305: ISZERO
00001306: SWAP1
00001307: PUSH2 0x1310
0000130a: JUMPI
0000130b: POP
0000130c: DUP2
0000130d: DUP2
0000130e: GT
0000130f: ISZERO
00001310: JUMPDEST
00001311: DUP1
00001312: ISZERO
00001313: PUSH2 0x131b
00001316: JUMPI
00001317: POP
00001318: DUP1
00001319: ISZERO
0000131a: ISZERO
0000131b: JUMPDEST
0000131c: DUP1
0000131d: ISZERO
0000131e: PUSH2 0x1326
00001321: JUMPI
00001322: POP
00001323: DUP2
00001324: ISZERO
00001325: ISZERO
00001326: JUMPDEST
00001327: PUSH2 0x135c
0000132a: JUMPI
0000132b: PUSH1 0x40
0000132d: MLOAD
0000132e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000134f: DUP2
00001350: MSTORE
00001351: PUSH1 0x04
00001353: ADD
00001354: PUSH2 0x05d6
00001357: SWAP1
00001358: PUSH2 0x2aae
0000135b: JUMP
0000135c: JUMPDEST
0000135d: PUSH1 0x04
0000135f: DUP4
00001360: SWAP1
00001361: SSTORE
00001362: PUSH1 0x40
00001364: MLOAD
00001365: PUSH32 0xa3f1ee9126a074d9326c682f561767f710e927faa811f7a99829d49dc421797a
00001386: SWAP1
00001387: PUSH2 0x1391
0000138a: SWAP1
0000138b: DUP6
0000138c: SWAP1
0000138d: PUSH2 0x2ae5
00001390: JUMP
00001391: JUMPDEST
00001392: PUSH1 0x40
00001394: MLOAD
00001395: DUP1
00001396: SWAP2
00001397: SUB
00001398: SWAP1
00001399: LOG1
0000139a: POP
0000139b: POP
0000139c: POP
0000139d: JUMP
0000139e: JUMPDEST
0000139f: CALLER
000013a0: PUSH1 0x00
000013a2: DUP2
000013a3: DUP2
000013a4: MSTORE
000013a5: PUSH1 0x02
000013a7: PUSH1 0x20
000013a9: MSTORE
000013aa: PUSH1 0x40
000013ac: SWAP1
000013ad: KECCAK256
000013ae: SLOAD
000013af: PUSH1 0xff
000013b1: AND
000013b2: PUSH2 0x13e7
000013b5: JUMPI
000013b6: PUSH1 0x40
000013b8: MLOAD
000013b9: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000013da: DUP2
000013db: MSTORE
000013dc: PUSH1 0x04
000013de: ADD
000013df: PUSH2 0x05d6
000013e2: SWAP1
000013e3: PUSH2 0x29d2
000013e6: JUMP
000013e7: JUMPDEST
000013e8: PUSH1 0x00
000013ea: DUP3
000013eb: DUP2
000013ec: MSTORE
000013ed: PUSH1 0x20
000013ef: DUP2
000013f0: SWAP1
000013f1: MSTORE
000013f2: PUSH1 0x40
000013f4: SWAP1
000013f5: KECCAK256
000013f6: SLOAD
000013f7: DUP3
000013f8: SWAP1
000013f9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000140e: AND
0000140f: PUSH2 0x1444
00001412: JUMPI
00001413: PUSH1 0x40
00001415: MLOAD
00001416: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001437: DUP2
00001438: MSTORE
00001439: PUSH1 0x04
0000143b: ADD
0000143c: PUSH2 0x05d6
0000143f: SWAP1
00001440: PUSH2 0x28f6
00001443: JUMP
00001444: JUMPDEST
00001445: PUSH1 0x00
00001447: DUP4
00001448: DUP2
00001449: MSTORE
0000144a: PUSH1 0x01
0000144c: PUSH1 0x20
0000144e: SWAP1
0000144f: DUP2
00001450: MSTORE
00001451: PUSH1 0x40
00001453: DUP1
00001454: DUP4
00001455: KECCAK256
00001456: CALLER
00001457: DUP1
00001458: DUP6
00001459: MSTORE
0000145a: SWAP3
0000145b: MSTORE
0000145c: SWAP1
0000145d: SWAP2
0000145e: KECCAK256
0000145f: SLOAD
00001460: DUP5
00001461: SWAP2
00001462: SWAP1
00001463: PUSH1 0xff
00001465: AND
00001466: ISZERO
00001467: PUSH2 0x149c
0000146a: JUMPI
0000146b: PUSH1 0x40
0000146d: MLOAD
0000146e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000148f: DUP2
00001490: MSTORE
00001491: PUSH1 0x04
00001493: ADD
00001494: PUSH2 0x05d6
00001497: SWAP1
00001498: PUSH2 0x2888
0000149b: JUMP
0000149c: JUMPDEST
0000149d: PUSH1 0x00
0000149f: PUSH2 0x14a7
000014a2: DUP7
000014a3: PUSH2 0x0cbe
000014a6: JUMP
000014a7: JUMPDEST
000014a8: PUSH1 0x00
000014aa: DUP8
000014ab: DUP2
000014ac: MSTORE
000014ad: PUSH1 0x01
000014af: PUSH1 0x20
000014b1: DUP2
000014b2: DUP2
000014b3: MSTORE
000014b4: PUSH1 0x40
000014b6: DUP1
000014b7: DUP5
000014b8: KECCAK256
000014b9: CALLER
000014ba: DUP1
000014bb: DUP7
000014bc: MSTORE
000014bd: SWAP3
000014be: MSTORE
000014bf: DUP1
000014c0: DUP5
000014c1: KECCAK256
000014c2: DUP1
000014c3: SLOAD
000014c4: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
000014e5: AND
000014e6: SWAP1
000014e7: SWAP4
000014e8: OR
000014e9: SWAP1
000014ea: SWAP3
000014eb: SSTORE
000014ec: SWAP1
000014ed: MLOAD
000014ee: SWAP3
000014ef: SWAP4
000014f0: POP
000014f1: DUP9
000014f2: SWAP3
000014f3: SWAP1
000014f4: SWAP2
000014f5: PUSH32 0x4a504a94899432a9846e1aa406dceb1bcfd538bb839071d49d1e5e23f5be30ef
00001516: SWAP2
00001517: LOG3
00001518: DUP1
00001519: ISZERO
0000151a: DUP1
0000151b: ISZERO
0000151c: PUSH2 0x1529
0000151f: JUMPI
00001520: POP
00001521: PUSH2 0x1529
00001524: DUP7
00001525: PUSH2 0x0cbe
00001528: JUMP
00001529: JUMPDEST
0000152a: ISZERO
0000152b: PUSH2 0x1538
0000152e: JUMPI
0000152f: PUSH2 0x1538
00001532: DUP7
00001533: TIMESTAMP
00001534: PUSH2 0x1c89
00001537: JUMP
00001538: JUMPDEST
00001539: POP
0000153a: POP
0000153b: POP
0000153c: POP
0000153d: POP
0000153e: POP
0000153f: JUMP
00001540: JUMPDEST
00001541: PUSH1 0x00
00001543: PUSH2 0x154d
00001546: DUP5
00001547: DUP5
00001548: DUP5
00001549: PUSH2 0x1cd8
0000154c: JUMP
0000154d: JUMPDEST
0000154e: SWAP1
0000154f: POP
00001550: PUSH2 0x1558
00001553: DUP2
00001554: PUSH2 0x139e
00001557: JUMP
00001558: JUMPDEST
00001559: SWAP4
0000155a: SWAP3
0000155b: POP
0000155c: POP
0000155d: POP
0000155e: JUMP
0000155f: JUMPDEST
00001560: PUSH1 0x07
00001562: PUSH1 0x20
00001564: MSTORE
00001565: PUSH1 0x00
00001567: SWAP1
00001568: DUP2
00001569: MSTORE
0000156a: PUSH1 0x40
0000156c: SWAP1
0000156d: KECCAK256
0000156e: SLOAD
0000156f: DUP2
00001570: JUMP
00001571: JUMPDEST
00001572: PUSH1 0x32
00001574: DUP2
00001575: JUMP
00001576: JUMPDEST
00001577: PUSH1 0x04
00001579: SLOAD
0000157a: DUP2
0000157b: JUMP
0000157c: JUMPDEST
0000157d: CALLER
0000157e: ADDRESS
0000157f: EQ
00001580: PUSH2 0x15b5
00001583: JUMPI
00001584: PUSH1 0x40
00001586: MLOAD
00001587: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000015a8: DUP2
000015a9: MSTORE
000015aa: PUSH1 0x04
000015ac: ADD
000015ad: PUSH2 0x05d6
000015b0: SWAP1
000015b1: PUSH2 0x2a40
000015b4: JUMP
000015b5: JUMPDEST
000015b6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015cb: DUP3
000015cc: AND
000015cd: PUSH1 0x00
000015cf: SWAP1
000015d0: DUP2
000015d1: MSTORE
000015d2: PUSH1 0x02
000015d4: PUSH1 0x20
000015d6: MSTORE
000015d7: PUSH1 0x40
000015d9: SWAP1
000015da: KECCAK256
000015db: SLOAD
000015dc: DUP3
000015dd: SWAP1
000015de: PUSH1 0xff
000015e0: AND
000015e1: PUSH2 0x1616
000015e4: JUMPI
000015e5: PUSH1 0x40
000015e7: MLOAD
000015e8: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001609: DUP2
0000160a: MSTORE
0000160b: PUSH1 0x04
0000160d: ADD
0000160e: PUSH2 0x05d6
00001611: SWAP1
00001612: PUSH2 0x29d2
00001615: JUMP
00001616: JUMPDEST
00001617: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000162c: DUP3
0000162d: AND
0000162e: PUSH1 0x00
00001630: SWAP1
00001631: DUP2
00001632: MSTORE
00001633: PUSH1 0x02
00001635: PUSH1 0x20
00001637: MSTORE
00001638: PUSH1 0x40
0000163a: SWAP1
0000163b: KECCAK256
0000163c: SLOAD
0000163d: DUP3
0000163e: SWAP1
0000163f: PUSH1 0xff
00001641: AND
00001642: ISZERO
00001643: PUSH2 0x1678
00001646: JUMPI
00001647: PUSH1 0x40
00001649: MLOAD
0000164a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000166b: DUP2
0000166c: MSTORE
0000166d: PUSH1 0x04
0000166f: ADD
00001670: PUSH2 0x05d6
00001673: SWAP1
00001674: PUSH2 0x2851
00001677: JUMP
00001678: JUMPDEST
00001679: PUSH1 0x00
0000167b: JUMPDEST
0000167c: PUSH1 0x03
0000167e: SLOAD
0000167f: DUP2
00001680: LT
00001681: ISZERO
00001682: PUSH2 0x1734
00001685: JUMPI
00001686: DUP5
00001687: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000169c: AND
0000169d: PUSH1 0x03
0000169f: DUP3
000016a0: DUP2
000016a1: SLOAD
000016a2: DUP2
000016a3: LT
000016a4: PUSH2 0x16a9
000016a7: JUMPI
000016a8: INVALID
000016a9: JUMPDEST
000016aa: PUSH1 0x00
000016ac: SWAP2
000016ad: DUP3
000016ae: MSTORE
000016af: PUSH1 0x20
000016b1: SWAP1
000016b2: SWAP2
000016b3: KECCAK256
000016b4: ADD
000016b5: SLOAD
000016b6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016cb: AND
000016cc: EQ
000016cd: ISZERO
000016ce: PUSH2 0x172c
000016d1: JUMPI
000016d2: DUP4
000016d3: PUSH1 0x03
000016d5: DUP3
000016d6: DUP2
000016d7: SLOAD
000016d8: DUP2
000016d9: LT
000016da: PUSH2 0x16df
000016dd: JUMPI
000016de: INVALID
000016df: JUMPDEST
000016e0: SWAP1
000016e1: PUSH1 0x00
000016e3: MSTORE
000016e4: PUSH1 0x20
000016e6: PUSH1 0x00
000016e8: KECCAK256
000016e9: ADD
000016ea: PUSH1 0x00
000016ec: PUSH2 0x0100
000016ef: EXP
000016f0: DUP2
000016f1: SLOAD
000016f2: DUP2
000016f3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001708: MUL
00001709: NOT
0000170a: AND
0000170b: SWAP1
0000170c: DUP4
0000170d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001722: AND
00001723: MUL
00001724: OR
00001725: SWAP1
00001726: SSTORE
00001727: POP
00001728: PUSH2 0x1734
0000172b: JUMP
0000172c: JUMPDEST
0000172d: PUSH1 0x01
0000172f: ADD
00001730: PUSH2 0x167b
00001733: JUMP
00001734: JUMPDEST
00001735: POP
00001736: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000174b: DUP1
0000174c: DUP6
0000174d: AND
0000174e: PUSH1 0x00
00001750: DUP2
00001751: DUP2
00001752: MSTORE
00001753: PUSH1 0x02
00001755: PUSH1 0x20
00001757: MSTORE
00001758: PUSH1 0x40
0000175a: DUP1
0000175b: DUP3
0000175c: KECCAK256
0000175d: DUP1
0000175e: SLOAD
0000175f: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
00001780: SWAP1
00001781: DUP2
00001782: AND
00001783: SWAP1
00001784: SWAP2
00001785: SSTORE
00001786: SWAP4
00001787: DUP8
00001788: AND
00001789: DUP3
0000178a: MSTORE
0000178b: DUP1
0000178c: DUP3
0000178d: KECCAK256
0000178e: DUP1
0000178f: SLOAD
00001790: SWAP1
00001791: SWAP5
00001792: AND
00001793: PUSH1 0x01
00001795: OR
00001796: SWAP1
00001797: SWAP4
00001798: SSTORE
00001799: SWAP2
0000179a: MLOAD
0000179b: SWAP1
0000179c: SWAP2
0000179d: PUSH32 0x8001553a916ef2f495d26a907cc54d96ed840d7bda71e73194bf5a9df7a76b90
000017be: SWAP2
000017bf: LOG2
000017c0: PUSH1 0x40
000017c2: MLOAD
000017c3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017d8: DUP5
000017d9: AND
000017da: SWAP1
000017db: PUSH32 0xf39e6e1eb0edcf53c221607b54b00cd28f3196fed0a24994dc308b8f611b682d
000017fc: SWAP1
000017fd: PUSH1 0x00
000017ff: SWAP1
00001800: LOG2
00001801: POP
00001802: POP
00001803: POP
00001804: POP
00001805: JUMP
00001806: JUMPDEST
00001807: PUSH1 0x00
00001809: DUP2
0000180a: DUP2
0000180b: MSTORE
0000180c: PUSH1 0x20
0000180e: DUP2
0000180f: SWAP1
00001810: MSTORE
00001811: PUSH1 0x40
00001813: SWAP1
00001814: KECCAK256
00001815: PUSH1 0x03
00001817: ADD
00001818: SLOAD
00001819: DUP2
0000181a: SWAP1
0000181b: PUSH1 0xff
0000181d: AND
0000181e: ISZERO
0000181f: PUSH2 0x1854
00001822: JUMPI
00001823: PUSH1 0x40
00001825: MLOAD
00001826: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001847: DUP2
00001848: MSTORE
00001849: PUSH1 0x04
0000184b: ADD
0000184c: PUSH2 0x05d6
0000184f: SWAP1
00001850: PUSH2 0x2a77
00001853: JUMP
00001854: JUMPDEST
00001855: DUP2
00001856: PUSH2 0x185e
00001859: DUP2
0000185a: PUSH2 0x0cbe
0000185d: JUMP
0000185e: JUMPDEST
0000185f: PUSH2 0x1894
00001862: JUMPI
00001863: PUSH1 0x40
00001865: MLOAD
00001866: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001887: DUP2
00001888: MSTORE
00001889: PUSH1 0x04
0000188b: ADD
0000188c: PUSH2 0x05d6
0000188f: SWAP1
00001890: PUSH2 0x28bf
00001893: JUMP
00001894: JUMPDEST
00001895: PUSH1 0x00
00001897: DUP4
00001898: DUP2
00001899: MSTORE
0000189a: PUSH1 0x20
0000189c: DUP2
0000189d: DUP2
0000189e: MSTORE
0000189f: PUSH1 0x40
000018a1: SWAP2
000018a2: DUP3
000018a3: SWAP1
000018a4: KECCAK256
000018a5: PUSH1 0x03
000018a7: DUP2
000018a8: ADD
000018a9: DUP1
000018aa: SLOAD
000018ab: PUSH1 0x01
000018ad: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
000018ce: SWAP1
000018cf: SWAP2
000018d0: AND
000018d1: DUP2
000018d2: OR
000018d3: SWAP1
000018d4: SWAP2
000018d5: SSTORE
000018d6: PUSH1 0x02
000018d8: DUP1
000018d9: DUP4
000018da: ADD
000018db: DUP1
000018dc: SLOAD
000018dd: DUP7
000018de: MLOAD
000018df: PUSH2 0x0100
000018e2: SWAP5
000018e3: DUP3
000018e4: AND
000018e5: ISZERO
000018e6: SWAP5
000018e7: SWAP1
000018e8: SWAP5
000018e9: MUL
000018ea: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0000190b: ADD
0000190c: AND
0000190d: SWAP2
0000190e: SWAP1
0000190f: SWAP2
00001910: DIV
00001911: PUSH1 0x1f
00001913: DUP2
00001914: ADD
00001915: DUP6
00001916: SWAP1
00001917: DIV
00001918: DUP6
00001919: MUL
0000191a: DUP4
0000191b: ADD
0000191c: DUP6
0000191d: ADD
0000191e: SWAP1
0000191f: SWAP6
00001920: MSTORE
00001921: DUP5
00001922: DUP3
00001923: MSTORE
00001924: SWAP2
00001925: SWAP4
00001926: PUSH1 0x60
00001928: SWAP4
00001929: DUP5
0000192a: SWAP4
0000192b: DUP5
0000192c: SWAP4
0000192d: SWAP3
0000192e: SWAP1
0000192f: SWAP2
00001930: DUP4
00001931: ADD
00001932: DUP3
00001933: DUP3
00001934: DUP1
00001935: ISZERO
00001936: PUSH2 0x1980
00001939: JUMPI
0000193a: DUP1
0000193b: PUSH1 0x1f
0000193d: LT
0000193e: PUSH2 0x1955
00001941: JUMPI
00001942: PUSH2 0x0100
00001945: DUP1
00001946: DUP4
00001947: SLOAD
00001948: DIV
00001949: MUL
0000194a: DUP4
0000194b: MSTORE
0000194c: SWAP2
0000194d: PUSH1 0x20
0000194f: ADD
00001950: SWAP2
00001951: PUSH2 0x1980
00001954: JUMP
00001955: JUMPDEST
00001956: DUP3
00001957: ADD
00001958: SWAP2
00001959: SWAP1
0000195a: PUSH1 0x00
0000195c: MSTORE
0000195d: PUSH1 0x20
0000195f: PUSH1 0x00
00001961: KECCAK256
00001962: SWAP1
00001963: JUMPDEST
00001964: DUP2
00001965: SLOAD
00001966: DUP2
00001967: MSTORE
00001968: SWAP1
00001969: PUSH1 0x01
0000196b: ADD
0000196c: SWAP1
0000196d: PUSH1 0x20
0000196f: ADD
00001970: DUP1
00001971: DUP4
00001972: GT
00001973: PUSH2 0x1963
00001976: JUMPI
00001977: DUP3
00001978: SWAP1
00001979: SUB
0000197a: PUSH1 0x1f
0000197c: AND
0000197d: DUP3
0000197e: ADD
0000197f: SWAP2
00001980: JUMPDEST
00001981: POP
00001982: POP
00001983: POP
00001984: POP
00001985: POP
00001986: DUP1
00001987: PUSH1 0x20
00001989: ADD
0000198a: SWAP1
0000198b: MLOAD
0000198c: PUSH2 0x1998
0000198f: SWAP2
00001990: SWAP1
00001991: DUP2
00001992: ADD
00001993: SWAP1
00001994: PUSH2 0x23c4
00001997: JUMP
00001998: JUMPDEST
00001999: SWAP3
0000199a: POP
0000199b: SWAP3
0000199c: POP
0000199d: SWAP3
0000199e: POP
0000199f: PUSH1 0x00
000019a1: DUP4
000019a2: MLOAD
000019a3: SWAP1
000019a4: POP
000019a5: DUP3
000019a6: MLOAD
000019a7: DUP2
000019a8: EQ
000019a9: DUP1
000019aa: ISZERO
000019ab: PUSH2 0x19b4
000019ae: JUMPI
000019af: POP
000019b0: DUP2
000019b1: MLOAD
000019b2: DUP2
000019b3: EQ
000019b4: JUMPDEST
000019b5: PUSH2 0x19ea
000019b8: JUMPI
000019b9: PUSH1 0x40
000019bb: MLOAD
000019bc: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000019dd: DUP2
000019de: MSTORE
000019df: PUSH1 0x04
000019e1: ADD
000019e2: PUSH2 0x05d6
000019e5: SWAP1
000019e6: PUSH2 0x2964
000019e9: JUMP
000019ea: JUMPDEST
000019eb: PUSH1 0x00
000019ed: DUP9
000019ee: DUP2
000019ef: MSTORE
000019f0: PUSH1 0x07
000019f2: PUSH1 0x20
000019f4: MSTORE
000019f5: PUSH1 0x40
000019f7: DUP2
000019f8: KECCAK256
000019f9: SLOAD
000019fa: SWAP1
000019fb: JUMPDEST
000019fc: DUP3
000019fd: DUP2
000019fe: EQ
000019ff: PUSH2 0x1b1a
00001a02: JUMPI
00001a03: PUSH2 0x1a33
00001a06: DUP3
00001a07: DUP8
00001a08: DUP4
00001a09: DUP2
00001a0a: MLOAD
00001a0b: DUP2
00001a0c: LT
00001a0d: PUSH2 0x1a12
00001a10: JUMPI
00001a11: INVALID
00001a12: JUMPDEST
00001a13: PUSH1 0x20
00001a15: MUL
00001a16: PUSH1 0x20
00001a18: ADD
00001a19: ADD
00001a1a: MLOAD
00001a1b: DUP8
00001a1c: DUP5
00001a1d: DUP2
00001a1e: MLOAD
00001a1f: DUP2
00001a20: LT
00001a21: PUSH2 0x1a26
00001a24: JUMPI
00001a25: INVALID
00001a26: JUMPDEST
00001a27: PUSH1 0x20
00001a29: MUL
00001a2a: PUSH1 0x20
00001a2c: ADD
00001a2d: ADD
00001a2e: MLOAD
00001a2f: PUSH2 0x1e36
00001a32: JUMP
00001a33: JUMPDEST
00001a34: PUSH1 0x00
00001a36: DUP6
00001a37: DUP3
00001a38: DUP2
00001a39: MLOAD
00001a3a: DUP2
00001a3b: LT
00001a3c: PUSH2 0x1a41
00001a3f: JUMPI
00001a40: INVALID
00001a41: JUMPDEST
00001a42: PUSH1 0x20
00001a44: MUL
00001a45: PUSH1 0x20
00001a47: ADD
00001a48: ADD
00001a49: MLOAD
00001a4a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a5f: AND
00001a60: DUP6
00001a61: DUP4
00001a62: DUP2
00001a63: MLOAD
00001a64: DUP2
00001a65: LT
00001a66: PUSH2 0x1a6b
00001a69: JUMPI
00001a6a: INVALID
00001a6b: JUMPDEST
00001a6c: PUSH1 0x20
00001a6e: MUL
00001a6f: PUSH1 0x20
00001a71: ADD
00001a72: ADD
00001a73: MLOAD
00001a74: DUP9
00001a75: DUP5
00001a76: DUP2
00001a77: MLOAD
00001a78: DUP2
00001a79: LT
00001a7a: PUSH2 0x1a7f
00001a7d: JUMPI
00001a7e: INVALID
00001a7f: JUMPDEST
00001a80: PUSH1 0x20
00001a82: MUL
00001a83: PUSH1 0x20
00001a85: ADD
00001a86: ADD
00001a87: MLOAD
00001a88: PUSH1 0x40
00001a8a: MLOAD
00001a8b: PUSH2 0x1a94
00001a8e: SWAP2
00001a8f: SWAP1
00001a90: PUSH2 0x25d2
00001a93: JUMP
00001a94: JUMPDEST
00001a95: PUSH1 0x00
00001a97: PUSH1 0x40
00001a99: MLOAD
00001a9a: DUP1
00001a9b: DUP4
00001a9c: SUB
00001a9d: DUP2
00001a9e: DUP6
00001a9f: DUP8
00001aa0: GAS
00001aa1: CALL
00001aa2: SWAP3
00001aa3: POP
00001aa4: POP
00001aa5: POP
00001aa6: RETURNDATASIZE
00001aa7: DUP1
00001aa8: PUSH1 0x00
00001aaa: DUP2
00001aab: EQ
00001aac: PUSH2 0x1ad1
00001aaf: JUMPI
00001ab0: PUSH1 0x40
00001ab2: MLOAD
00001ab3: SWAP2
00001ab4: POP
00001ab5: PUSH1 0x1f
00001ab7: NOT
00001ab8: PUSH1 0x3f
00001aba: RETURNDATASIZE
00001abb: ADD
00001abc: AND
00001abd: DUP3
00001abe: ADD
00001abf: PUSH1 0x40
00001ac1: MSTORE
00001ac2: RETURNDATASIZE
00001ac3: DUP3
00001ac4: MSTORE
00001ac5: RETURNDATASIZE
00001ac6: PUSH1 0x00
00001ac8: PUSH1 0x20
00001aca: DUP5
00001acb: ADD
00001acc: RETURNDATACOPY
00001acd: PUSH2 0x1ad6
00001ad0: JUMP
00001ad1: JUMPDEST
00001ad2: PUSH1 0x60
00001ad4: SWAP2
00001ad5: POP
00001ad6: JUMPDEST
00001ad7: POP
00001ad8: POP
00001ad9: SWAP1
00001ada: POP
00001adb: DUP1
00001adc: PUSH2 0x1b11
00001adf: JUMPI
00001ae0: PUSH1 0x40
00001ae2: MLOAD
00001ae3: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001b04: DUP2
00001b05: MSTORE
00001b06: PUSH1 0x04
00001b08: ADD
00001b09: PUSH2 0x05d6
00001b0c: SWAP1
00001b0d: PUSH2 0x299b
00001b10: JUMP
00001b11: JUMPDEST
00001b12: POP
00001b13: PUSH1 0x01
00001b15: ADD
00001b16: PUSH2 0x19fb
00001b19: JUMP
00001b1a: JUMPDEST
00001b1b: POP
00001b1c: PUSH1 0x40
00001b1e: MLOAD
00001b1f: DUP10
00001b20: SWAP1
00001b21: PUSH32 0x33e13ecb54c3076d8e8bb8c2881800a4d972b792045ffae98fdf46df365fed75
00001b42: SWAP1
00001b43: PUSH1 0x00
00001b45: SWAP1
00001b46: LOG2
00001b47: POP
00001b48: POP
00001b49: POP
00001b4a: POP
00001b4b: POP
00001b4c: POP
00001b4d: POP
00001b4e: POP
00001b4f: POP
00001b50: JUMP
00001b51: JUMPDEST
00001b52: PUSH1 0x00
00001b54: DUP5
00001b55: PUSH2 0x1b5f
00001b58: JUMPI
00001b59: PUSH1 0x00
00001b5b: PUSH2 0x1b61
00001b5e: JUMP
00001b5f: JUMPDEST
00001b60: DUP2
00001b61: JUMPDEST
00001b62: SWAP1
00001b63: POP
00001b64: PUSH2 0x1b6b
00001b67: PUSH2 0x2101
00001b6a: JUMP
00001b6b: JUMPDEST
00001b6c: POP
00001b6d: PUSH1 0x40
00001b6f: DUP1
00001b70: MLOAD
00001b71: DUP1
00001b72: DUP3
00001b73: ADD
00001b74: DUP3
00001b75: MSTORE
00001b76: DUP7
00001b77: ISZERO
00001b78: ISZERO
00001b79: DUP2
00001b7a: MSTORE
00001b7b: PUSH16 0xffffffffffffffffffffffffffffffff
00001b8c: DUP1
00001b8d: DUP5
00001b8e: AND
00001b8f: PUSH1 0x20
00001b91: DUP1
00001b92: DUP5
00001b93: ADD
00001b94: SWAP2
00001b95: DUP3
00001b96: MSTORE
00001b97: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
00001bb8: DUP10
00001bb9: AND
00001bba: PUSH1 0x00
00001bbc: SWAP1
00001bbd: DUP2
00001bbe: MSTORE
00001bbf: PUSH1 0x08
00001bc1: DUP3
00001bc2: MSTORE
00001bc3: DUP6
00001bc4: DUP2
00001bc5: KECCAK256
00001bc6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001bdb: DUP11
00001bdc: AND
00001bdd: DUP3
00001bde: MSTORE
00001bdf: SWAP1
00001be0: SWAP2
00001be1: MSTORE
00001be2: DUP5
00001be3: SWAP1
00001be4: KECCAK256
00001be5: DUP4
00001be6: MLOAD
00001be7: DUP2
00001be8: SLOAD
00001be9: SWAP3
00001bea: MLOAD
00001beb: SWAP1
00001bec: SWAP4
00001bed: AND
00001bee: PUSH2 0x0100
00001bf1: MUL
00001bf2: PUSH32 0xffffffffffffffffffffffffffffff00000000000000000000000000000000ff
00001c13: SWAP4
00001c14: ISZERO
00001c15: ISZERO
00001c16: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
00001c37: SWAP1
00001c38: SWAP4
00001c39: AND
00001c3a: SWAP3
00001c3b: SWAP1
00001c3c: SWAP3
00001c3d: OR
00001c3e: SWAP3
00001c3f: SWAP1
00001c40: SWAP3
00001c41: AND
00001c42: OR
00001c43: SWAP1
00001c44: SSTORE
00001c45: SWAP1
00001c46: MLOAD
00001c47: PUSH32 0x694405724de467488eda192d814f39ffe7f6503fe0b1eefd4ea332f9c611c5ec
00001c68: SWAP1
00001c69: PUSH2 0x1c79
00001c6c: SWAP1
00001c6d: DUP8
00001c6e: SWAP1
00001c6f: DUP8
00001c70: SWAP1
00001c71: DUP11
00001c72: SWAP1
00001c73: DUP8
00001c74: SWAP1
00001c75: PUSH2 0x274a
00001c78: JUMP
00001c79: JUMPDEST
00001c7a: PUSH1 0x40
00001c7c: MLOAD
00001c7d: DUP1
00001c7e: SWAP2
00001c7f: SUB
00001c80: SWAP1
00001c81: LOG1
00001c82: POP
00001c83: POP
00001c84: POP
00001c85: POP
00001c86: POP
00001c87: POP
00001c88: JUMP
00001c89: JUMPDEST
00001c8a: PUSH1 0x00
00001c8c: DUP3
00001c8d: DUP2
00001c8e: MSTORE
00001c8f: PUSH1 0x07
00001c91: PUSH1 0x20
00001c93: MSTORE
00001c94: PUSH1 0x40
00001c96: SWAP1
00001c97: DUP2
00001c98: SWAP1
00001c99: KECCAK256
00001c9a: DUP3
00001c9b: SWAP1
00001c9c: SSTORE
00001c9d: MLOAD
00001c9e: DUP3
00001c9f: SWAP1
00001ca0: PUSH32 0x0b237afe65f1514fd7ea3f923ea4fe792bdd07000a912b6cd1602a8e7f573c8d
00001cc1: SWAP1
00001cc2: PUSH2 0x1ccc
00001cc5: SWAP1
00001cc6: DUP5
00001cc7: SWAP1
00001cc8: PUSH2 0x2ae5
00001ccb: JUMP
00001ccc: JUMPDEST
00001ccd: PUSH1 0x40
00001ccf: MLOAD
00001cd0: DUP1
00001cd1: SWAP2
00001cd2: SUB
00001cd3: SWAP1
00001cd4: LOG2
00001cd5: POP
00001cd6: POP
00001cd7: JUMP
00001cd8: JUMPDEST
00001cd9: PUSH1 0x00
00001cdb: DUP4
00001cdc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cf1: DUP2
00001cf2: AND
00001cf3: PUSH2 0x1d28
00001cf6: JUMPI
00001cf7: PUSH1 0x40
00001cf9: MLOAD
00001cfa: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001d1b: DUP2
00001d1c: MSTORE
00001d1d: PUSH1 0x04
00001d1f: ADD
00001d20: PUSH2 0x05d6
00001d23: SWAP1
00001d24: PUSH2 0x27e3
00001d27: JUMP
00001d28: JUMPDEST
00001d29: PUSH1 0x05
00001d2b: SLOAD
00001d2c: PUSH1 0x40
00001d2e: DUP1
00001d2f: MLOAD
00001d30: PUSH1 0x80
00001d32: DUP2
00001d33: ADD
00001d34: DUP3
00001d35: MSTORE
00001d36: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d4b: DUP9
00001d4c: DUP2
00001d4d: AND
00001d4e: DUP3
00001d4f: MSTORE
00001d50: PUSH1 0x20
00001d52: DUP1
00001d53: DUP4
00001d54: ADD
00001d55: DUP10
00001d56: DUP2
00001d57: MSTORE
00001d58: DUP4
00001d59: DUP6
00001d5a: ADD
00001d5b: DUP10
00001d5c: DUP2
00001d5d: MSTORE
00001d5e: PUSH1 0x00
00001d60: PUSH1 0x60
00001d62: DUP7
00001d63: ADD
00001d64: DUP2
00001d65: SWAP1
00001d66: MSTORE
00001d67: DUP8
00001d68: DUP2
00001d69: MSTORE
00001d6a: DUP1
00001d6b: DUP5
00001d6c: MSTORE
00001d6d: SWAP6
00001d6e: SWAP1
00001d6f: SWAP6
00001d70: KECCAK256
00001d71: DUP5
00001d72: MLOAD
00001d73: DUP2
00001d74: SLOAD
00001d75: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00001d96: AND
00001d97: SWAP5
00001d98: AND
00001d99: SWAP4
00001d9a: SWAP1
00001d9b: SWAP4
00001d9c: OR
00001d9d: DUP4
00001d9e: SSTORE
00001d9f: MLOAD
00001da0: PUSH1 0x01
00001da2: DUP4
00001da3: ADD
00001da4: SSTORE
00001da5: SWAP3
00001da6: MLOAD
00001da7: DUP1
00001da8: MLOAD
00001da9: SWAP5
00001daa: SWAP7
00001dab: POP
00001dac: SWAP2
00001dad: SWAP4
00001dae: SWAP1
00001daf: SWAP3
00001db0: PUSH2 0x1dc0
00001db3: SWAP3
00001db4: PUSH1 0x02
00001db6: DUP6
00001db7: ADD
00001db8: SWAP3
00001db9: SWAP2
00001dba: ADD
00001dbb: SWAP1
00001dbc: PUSH2 0x2118
00001dbf: JUMP
00001dc0: JUMPDEST
00001dc1: POP
00001dc2: PUSH1 0x60
00001dc4: SWAP2
00001dc5: SWAP1
00001dc6: SWAP2
00001dc7: ADD
00001dc8: MLOAD
00001dc9: PUSH1 0x03
00001dcb: SWAP1
00001dcc: SWAP2
00001dcd: ADD
00001dce: DUP1
00001dcf: SLOAD
00001dd0: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
00001df1: AND
00001df2: SWAP2
00001df3: ISZERO
00001df4: ISZERO
00001df5: SWAP2
00001df6: SWAP1
00001df7: SWAP2
00001df8: OR
00001df9: SWAP1
00001dfa: SSTORE
00001dfb: PUSH1 0x05
00001dfd: DUP1
00001dfe: SLOAD
00001dff: PUSH1 0x01
00001e01: ADD
00001e02: SWAP1
00001e03: SSTORE
00001e04: PUSH1 0x40
00001e06: MLOAD
00001e07: DUP3
00001e08: SWAP1
00001e09: PUSH32 0xc0ba8fe4b176c1714197d43b9cc6bcf797a4a7461c5fe8d0ef6e184ae7601e51
00001e2a: SWAP1
00001e2b: PUSH1 0x00
00001e2d: SWAP1
00001e2e: LOG2
00001e2f: POP
00001e30: SWAP4
00001e31: SWAP3
00001e32: POP
00001e33: POP
00001e34: POP
00001e35: JUMP
00001e36: JUMPDEST
00001e37: PUSH1 0x00
00001e39: PUSH2 0x1e48
00001e3c: DUP4
00001e3d: DUP3
00001e3e: PUSH4 0xffffffff
00001e43: PUSH2 0x1f95
00001e46: AND
00001e47: JUMP
00001e48: JUMPDEST
00001e49: SWAP1
00001e4a: POP
00001e4b: PUSH2 0x1e52
00001e4e: PUSH2 0x2101
00001e51: JUMP
00001e52: JUMPDEST
00001e53: POP
00001e54: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
00001e75: DUP2
00001e76: AND
00001e77: PUSH1 0x00
00001e79: SWAP1
00001e7a: DUP2
00001e7b: MSTORE
00001e7c: PUSH1 0x08
00001e7e: PUSH1 0x20
00001e80: SWAP1
00001e81: DUP2
00001e82: MSTORE
00001e83: PUSH1 0x40
00001e85: DUP1
00001e86: DUP4
00001e87: KECCAK256
00001e88: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e9d: DUP7
00001e9e: AND
00001e9f: DUP5
00001ea0: MSTORE
00001ea1: DUP3
00001ea2: MSTORE
00001ea3: SWAP2
00001ea4: DUP3
00001ea5: SWAP1
00001ea6: KECCAK256
00001ea7: DUP3
00001ea8: MLOAD
00001ea9: DUP1
00001eaa: DUP5
00001eab: ADD
00001eac: SWAP1
00001ead: SWAP4
00001eae: MSTORE
00001eaf: SLOAD
00001eb0: PUSH1 0xff
00001eb2: DUP2
00001eb3: AND
00001eb4: ISZERO
00001eb5: DUP1
00001eb6: ISZERO
00001eb7: DUP5
00001eb8: MSTORE
00001eb9: PUSH2 0x0100
00001ebc: SWAP1
00001ebd: SWAP2
00001ebe: DIV
00001ebf: PUSH16 0xffffffffffffffffffffffffffffffff
00001ed0: AND
00001ed1: SWAP2
00001ed2: DUP4
00001ed3: ADD
00001ed4: SWAP2
00001ed5: SWAP1
00001ed6: SWAP2
00001ed7: MSTORE
00001ed8: PUSH2 0x1f41
00001edb: JUMPI
00001edc: PUSH1 0x20
00001ede: DUP2
00001edf: ADD
00001ee0: MLOAD
00001ee1: PUSH2 0x1f03
00001ee4: SWAP1
00001ee5: DUP7
00001ee6: SWAP1
00001ee7: PUSH16 0xffffffffffffffffffffffffffffffff
00001ef8: AND
00001ef9: PUSH4 0xffffffff
00001efe: PUSH2 0x1ff0
00001f01: AND
00001f02: JUMP
00001f03: JUMPDEST
00001f04: TIMESTAMP
00001f05: LT
00001f06: ISZERO
00001f07: PUSH2 0x1f3c
00001f0a: JUMPI
00001f0b: PUSH1 0x40
00001f0d: MLOAD
00001f0e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001f2f: DUP2
00001f30: MSTORE
00001f31: PUSH1 0x04
00001f33: ADD
00001f34: PUSH2 0x05d6
00001f37: SWAP1
00001f38: PUSH2 0x2a09
00001f3b: JUMP
00001f3c: JUMPDEST
00001f3d: PUSH2 0x1f8e
00001f40: JUMP
00001f41: JUMPDEST
00001f42: PUSH1 0x06
00001f44: SLOAD
00001f45: PUSH2 0x1f55
00001f48: SWAP1
00001f49: DUP7
00001f4a: SWAP1
00001f4b: PUSH4 0xffffffff
00001f50: PUSH2 0x1ff0
00001f53: AND
00001f54: JUMP
00001f55: JUMPDEST
00001f56: TIMESTAMP
00001f57: LT
00001f58: ISZERO
00001f59: PUSH2 0x1f8e
00001f5c: JUMPI
00001f5d: PUSH1 0x40
00001f5f: MLOAD
00001f60: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001f81: DUP2
00001f82: MSTORE
00001f83: PUSH1 0x04
00001f85: ADD
00001f86: PUSH2 0x05d6
00001f89: SWAP1
00001f8a: PUSH2 0x281a
00001f8d: JUMP
00001f8e: JUMPDEST
00001f8f: POP
00001f90: POP
00001f91: POP
00001f92: POP
00001f93: POP
00001f94: JUMP
00001f95: JUMPDEST
00001f96: PUSH1 0x00
00001f98: DUP2
00001f99: PUSH1 0x04
00001f9b: ADD
00001f9c: DUP4
00001f9d: MLOAD
00001f9e: LT
00001f9f: ISZERO
00001fa0: PUSH2 0x1fbb
00001fa3: JUMPI
00001fa4: PUSH2 0x1fbb
00001fa7: PUSH2 0x1fb6
00001faa: PUSH1 0x03
00001fac: DUP6
00001fad: MLOAD
00001fae: DUP6
00001faf: PUSH1 0x04
00001fb1: ADD
00001fb2: PUSH2 0x200c
00001fb5: JUMP
00001fb6: JUMPDEST
00001fb7: PUSH2 0x20b1
00001fba: JUMP
00001fbb: JUMPDEST
00001fbc: POP
00001fbd: PUSH1 0x20
00001fbf: DUP2
00001fc0: DUP4
00001fc1: ADD
00001fc2: DUP2
00001fc3: ADD
00001fc4: MLOAD
00001fc5: SWAP2
00001fc6: ADD
00001fc7: SWAP1
00001fc8: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
00001fe9: AND
00001fea: JUMPDEST
00001feb: SWAP3
00001fec: SWAP2
00001fed: POP
00001fee: POP
00001fef: JUMP
00001ff0: JUMPDEST
00001ff1: PUSH1 0x00
00001ff3: DUP3
00001ff4: DUP3
00001ff5: ADD
00001ff6: DUP4
00001ff7: DUP2
00001ff8: LT
00001ff9: ISZERO
00001ffa: PUSH2 0x1558
00001ffd: JUMPI
00001ffe: PUSH2 0x1558
00002001: PUSH2 0x1fb6
00002004: PUSH1 0x00
00002006: DUP7
00002007: DUP7
00002008: PUSH2 0x20b9
0000200b: JUMP
0000200c: JUMPDEST
0000200d: PUSH1 0x60
0000200f: PUSH4 0x28006595
00002014: PUSH1 0xe0
00002016: SHL
00002017: DUP5
00002018: DUP5
00002019: DUP5
0000201a: PUSH1 0x40
0000201c: MLOAD
0000201d: PUSH1 0x24
0000201f: ADD
00002020: PUSH2 0x202b
00002023: SWAP4
00002024: SWAP3
00002025: SWAP2
00002026: SWAP1
00002027: PUSH2 0x27d5
0000202a: JUMP
0000202b: JUMPDEST
0000202c: PUSH1 0x40
0000202e: DUP1
0000202f: MLOAD
00002030: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00002051: DUP2
00002052: DUP5
00002053: SUB
00002054: ADD
00002055: DUP2
00002056: MSTORE
00002057: SWAP2
00002058: SWAP1
00002059: MSTORE
0000205a: PUSH1 0x20
0000205c: DUP2
0000205d: ADD
0000205e: DUP1
0000205f: MLOAD
00002060: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0000207d: AND
0000207e: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
0000209f: SWAP1
000020a0: SWAP4
000020a1: AND
000020a2: SWAP3
000020a3: SWAP1
000020a4: SWAP3
000020a5: OR
000020a6: SWAP1
000020a7: SWAP2
000020a8: MSTORE
000020a9: SWAP1
000020aa: POP
000020ab: SWAP4
000020ac: SWAP3
000020ad: POP
000020ae: POP
000020af: POP
000020b0: JUMP
000020b1: JUMPDEST
000020b2: DUP1
000020b3: MLOAD
000020b4: PUSH1 0x20
000020b6: DUP3
000020b7: ADD
000020b8: REVERT
000020b9: JUMPDEST
000020ba: PUSH1 0x60
000020bc: PUSH4 0xe946c1bb
000020c1: PUSH1 0xe0
000020c3: SHL
000020c4: DUP5
000020c5: DUP5
000020c6: DUP5
000020c7: PUSH1 0x40
000020c9: MLOAD
000020ca: PUSH1 0x24
000020cc: ADD
000020cd: PUSH2 0x202b
000020d0: SWAP4
000020d1: SWAP3
000020d2: SWAP2
000020d3: SWAP1
000020d4: PUSH2 0x27b3
000020d7: JUMP
000020d8: JUMPDEST
000020d9: DUP2
000020da: SLOAD
000020db: DUP2
000020dc: DUP4
000020dd: SSTORE
000020de: DUP2
000020df: DUP2
000020e0: GT
000020e1: ISZERO
000020e2: PUSH2 0x20fc
000020e5: JUMPI
000020e6: PUSH1 0x00
000020e8: DUP4
000020e9: DUP2
000020ea: MSTORE
000020eb: PUSH1 0x20
000020ed: SWAP1
000020ee: KECCAK256
000020ef: PUSH2 0x20fc
000020f2: SWAP2
000020f3: DUP2
000020f4: ADD
000020f5: SWAP1
000020f6: DUP4
000020f7: ADD
000020f8: PUSH2 0x2196
000020fb: JUMP
000020fc: JUMPDEST
000020fd: POP
000020fe: POP
000020ff: POP
00002100: JUMP
00002101: JUMPDEST
00002102: PUSH1 0x40
00002104: DUP1
00002105: MLOAD
00002106: DUP1
00002107: DUP3
00002108: ADD
00002109: SWAP1
0000210a: SWAP2
0000210b: MSTORE
0000210c: PUSH1 0x00
0000210e: DUP1
0000210f: DUP3
00002110: MSTORE
00002111: PUSH1 0x20
00002113: DUP3
00002114: ADD
00002115: MSTORE
00002116: SWAP1
00002117: JUMP
00002118: JUMPDEST
00002119: DUP3
0000211a: DUP1
0000211b: SLOAD
0000211c: PUSH1 0x01
0000211e: DUP2
0000211f: PUSH1 0x01
00002121: AND
00002122: ISZERO
00002123: PUSH2 0x0100
00002126: MUL
00002127: SUB
00002128: AND
00002129: PUSH1 0x02
0000212b: SWAP1
0000212c: DIV
0000212d: SWAP1
0000212e: PUSH1 0x00
00002130: MSTORE
00002131: PUSH1 0x20
00002133: PUSH1 0x00
00002135: KECCAK256
00002136: SWAP1
00002137: PUSH1 0x1f
00002139: ADD
0000213a: PUSH1 0x20
0000213c: SWAP1
0000213d: DIV
0000213e: DUP2
0000213f: ADD
00002140: SWAP3
00002141: DUP3
00002142: PUSH1 0x1f
00002144: LT
00002145: PUSH2 0x2159
00002148: JUMPI
00002149: DUP1
0000214a: MLOAD
0000214b: PUSH1 0xff
0000214d: NOT
0000214e: AND
0000214f: DUP4
00002150: DUP1
00002151: ADD
00002152: OR
00002153: DUP6
00002154: SSTORE
00002155: PUSH2 0x2186
00002158: JUMP
00002159: JUMPDEST
0000215a: DUP3
0000215b: DUP1
0000215c: ADD
0000215d: PUSH1 0x01
0000215f: ADD
00002160: DUP6
00002161: SSTORE
00002162: DUP3
00002163: ISZERO
00002164: PUSH2 0x2186
00002167: JUMPI
00002168: SWAP2
00002169: DUP3
0000216a: ADD
0000216b: JUMPDEST
0000216c: DUP3
0000216d: DUP2
0000216e: GT
0000216f: ISZERO
00002170: PUSH2 0x2186
00002173: JUMPI
00002174: DUP3
00002175: MLOAD
00002176: DUP3
00002177: SSTORE
00002178: SWAP2
00002179: PUSH1 0x20
0000217b: ADD
0000217c: SWAP2
0000217d: SWAP1
0000217e: PUSH1 0x01
00002180: ADD
00002181: SWAP1
00002182: PUSH2 0x216b
00002185: JUMP
00002186: JUMPDEST
00002187: POP
00002188: PUSH2 0x2192
0000218b: SWAP3
0000218c: SWAP2
0000218d: POP
0000218e: PUSH2 0x2196
00002191: JUMP
00002192: JUMPDEST
00002193: POP
00002194: SWAP1
00002195: JUMP
00002196: JUMPDEST
00002197: PUSH2 0x0fd6
0000219a: SWAP2
0000219b: SWAP1
0000219c: JUMPDEST
0000219d: DUP1
0000219e: DUP3
0000219f: GT
000021a0: ISZERO
000021a1: PUSH2 0x2192
000021a4: JUMPI
000021a5: PUSH1 0x00
000021a7: DUP2
000021a8: SSTORE
000021a9: PUSH1 0x01
000021ab: ADD
000021ac: PUSH2 0x219c
000021af: JUMP
000021b0: JUMPDEST
000021b1: PUSH1 0x00
000021b3: DUP3
000021b4: PUSH1 0x1f
000021b6: DUP4
000021b7: ADD
000021b8: SLT
000021b9: PUSH2 0x21c0
000021bc: JUMPI
000021bd: DUP1
000021be: DUP2
000021bf: REVERT
000021c0: JUMPDEST
000021c1: DUP2
000021c2: MLOAD
000021c3: PUSH2 0x21d3
000021c6: PUSH2 0x21ce
000021c9: DUP3
000021ca: PUSH2 0x2b15
000021cd: JUMP
000021ce: JUMPDEST
000021cf: PUSH2 0x2aee
000021d2: JUMP
000021d3: JUMPDEST
000021d4: DUP2
000021d5: DUP2
000021d6: MSTORE
000021d7: SWAP2
000021d8: POP
000021d9: PUSH1 0x20
000021db: DUP1
000021dc: DUP4
000021dd: ADD
000021de: SWAP1
000021df: DUP5
000021e0: DUP2
000021e1: ADD
000021e2: DUP2
000021e3: DUP5
000021e4: MUL
000021e5: DUP7
000021e6: ADD
000021e7: DUP3
000021e8: ADD
000021e9: DUP8
000021ea: LT
000021eb: ISZERO
000021ec: PUSH2 0x21f4
000021ef: JUMPI
000021f0: PUSH1 0x00
000021f2: DUP1
000021f3: REVERT
000021f4: JUMPDEST
000021f5: PUSH1 0x00
000021f7: JUMPDEST
000021f8: DUP5
000021f9: DUP2
000021fa: LT
000021fb: ISZERO
000021fc: PUSH2 0x221c
000021ff: JUMPI
00002200: DUP2
00002201: MLOAD
00002202: PUSH2 0x220a
00002205: DUP2
00002206: PUSH2 0x2ba3
00002209: JUMP
0000220a: JUMPDEST
0000220b: DUP5
0000220c: MSTORE
0000220d: SWAP3
0000220e: DUP3
0000220f: ADD
00002210: SWAP3
00002211: SWAP1
00002212: DUP3
00002213: ADD
00002214: SWAP1
00002215: PUSH1 0x01
00002217: ADD
00002218: PUSH2 0x21f7
0000221b: JUMP
0000221c: JUMPDEST
0000221d: POP
0000221e: POP
0000221f: POP
00002220: POP
00002221: POP
00002222: SWAP3
00002223: SWAP2
00002224: POP
00002225: POP
00002226: JUMP
00002227: JUMPDEST
00002228: PUSH1 0x00
0000222a: DUP3
0000222b: PUSH1 0x1f
0000222d: DUP4
0000222e: ADD
0000222f: SLT
00002230: PUSH2 0x2237
00002233: JUMPI
00002234: DUP1
00002235: DUP2
00002236: REVERT
00002237: JUMPDEST
00002238: DUP2
00002239: MLOAD
0000223a: PUSH2 0x2245
0000223d: PUSH2 0x21ce
00002240: DUP3
00002241: PUSH2 0x2b15
00002244: JUMP
00002245: JUMPDEST
00002246: DUP2
00002247: DUP2
00002248: MSTORE
00002249: SWAP2
0000224a: POP
0000224b: PUSH1 0x20
0000224d: DUP1
0000224e: DUP4
0000224f: ADD
00002250: SWAP1
00002251: DUP5
00002252: DUP2
00002253: ADD
00002254: DUP2
00002255: DUP5
00002256: MUL
00002257: DUP7
00002258: ADD
00002259: DUP3
0000225a: ADD
0000225b: DUP8
0000225c: LT
0000225d: ISZERO
0000225e: PUSH2 0x2266
00002261: JUMPI
00002262: PUSH1 0x00
00002264: DUP1
00002265: REVERT
00002266: JUMPDEST
00002267: PUSH1 0x00
00002269: JUMPDEST
0000226a: DUP5
0000226b: DUP2
0000226c: LT
0000226d: ISZERO
0000226e: PUSH2 0x221c
00002271: JUMPI
00002272: DUP2
00002273: MLOAD
00002274: DUP5
00002275: MSTORE
00002276: SWAP3
00002277: DUP3
00002278: ADD
00002279: SWAP3
0000227a: SWAP1
0000227b: DUP3
0000227c: ADD
0000227d: SWAP1
0000227e: PUSH1 0x01
00002280: ADD
00002281: PUSH2 0x2269
00002284: JUMP
00002285: JUMPDEST
00002286: DUP1
00002287: CALLDATALOAD
00002288: DUP1
00002289: ISZERO
0000228a: ISZERO
0000228b: DUP2
0000228c: EQ
0000228d: PUSH2 0x1fea
00002290: JUMPI
00002291: PUSH1 0x00
00002293: DUP1
00002294: REVERT
00002295: JUMPDEST
00002296: PUSH1 0x00
00002298: DUP3
00002299: PUSH1 0x1f
0000229b: DUP4
0000229c: ADD
0000229d: SLT
0000229e: PUSH2 0x22a5
000022a1: JUMPI
000022a2: DUP1
000022a3: DUP2
000022a4: REVERT
000022a5: JUMPDEST
000022a6: DUP2
000022a7: MLOAD
000022a8: PUSH2 0x22b3
000022ab: PUSH2 0x21ce
000022ae: DUP3
000022af: PUSH2 0x2b35
000022b2: JUMP
000022b3: JUMPDEST
000022b4: SWAP2
000022b5: POP
000022b6: DUP1
000022b7: DUP3
000022b8: MSTORE
000022b9: DUP4
000022ba: PUSH1 0x20
000022bc: DUP3
000022bd: DUP6
000022be: ADD
000022bf: ADD
000022c0: GT
000022c1: ISZERO
000022c2: PUSH2 0x22ca
000022c5: JUMPI
000022c6: PUSH1 0x00
000022c8: DUP1
000022c9: REVERT
000022ca: JUMPDEST
000022cb: PUSH2 0x0a47
000022ce: DUP2
000022cf: PUSH1 0x20
000022d1: DUP5
000022d2: ADD
000022d3: PUSH1 0x20
000022d5: DUP7
000022d6: ADD
000022d7: PUSH2 0x2b77
000022da: JUMP
000022db: JUMPDEST
000022dc: PUSH1 0x00
000022de: PUSH1 0x20
000022e0: DUP3
000022e1: DUP5
000022e2: SUB
000022e3: SLT
000022e4: ISZERO
000022e5: PUSH2 0x22ec
000022e8: JUMPI
000022e9: DUP1
000022ea: DUP2
000022eb: REVERT
000022ec: JUMPDEST
000022ed: DUP2
000022ee: CALLDATALOAD
000022ef: PUSH2 0x1558
000022f2: DUP2
000022f3: PUSH2 0x2ba3
000022f6: JUMP
000022f7: JUMPDEST
000022f8: PUSH1 0x00
000022fa: DUP1
000022fb: PUSH1 0x40
000022fd: DUP4
000022fe: DUP6
000022ff: SUB
00002300: SLT
00002301: ISZERO
00002302: PUSH2 0x2309
00002305: JUMPI
00002306: DUP1
00002307: DUP2
00002308: REVERT
00002309: JUMPDEST
0000230a: DUP3
0000230b: CALLDATALOAD
0000230c: PUSH2 0x2314
0000230f: DUP2
00002310: PUSH2 0x2ba3
00002313: JUMP
00002314: JUMPDEST
00002315: SWAP2
00002316: POP
00002317: PUSH1 0x20
00002319: DUP4
0000231a: ADD
0000231b: CALLDATALOAD
0000231c: PUSH2 0x2324
0000231f: DUP2
00002320: PUSH2 0x2ba3
00002323: JUMP
00002324: JUMPDEST
00002325: DUP1
00002326: SWAP2
00002327: POP
00002328: POP
00002329: SWAP3
0000232a: POP
0000232b: SWAP3
0000232c: SWAP1
0000232d: POP
0000232e: JUMP
0000232f: JUMPDEST
00002330: PUSH1 0x00
00002332: DUP1
00002333: PUSH1 0x00
00002335: PUSH1 0x60
00002337: DUP5
00002338: DUP7
00002339: SUB
0000233a: SLT
0000233b: ISZERO
0000233c: PUSH2 0x2343
0000233f: JUMPI
00002340: DUP1
00002341: DUP2
00002342: REVERT
00002343: JUMPDEST
00002344: DUP4
00002345: CALLDATALOAD
00002346: PUSH2 0x234e
00002349: DUP2
0000234a: PUSH2 0x2ba3
0000234d: JUMP
0000234e: JUMPDEST
0000234f: SWAP3
00002350: POP
00002351: PUSH1 0x20
00002353: DUP5
00002354: ADD
00002355: CALLDATALOAD
00002356: SWAP2
00002357: POP
00002358: PUSH1 0x40
0000235a: DUP5
0000235b: ADD
0000235c: CALLDATALOAD
0000235d: PUSH8 0xffffffffffffffff
00002366: DUP2
00002367: GT
00002368: ISZERO
00002369: PUSH2 0x2370
0000236c: JUMPI
0000236d: DUP2
0000236e: DUP3
0000236f: REVERT
00002370: JUMPDEST
00002371: DUP1
00002372: DUP6
00002373: ADD
00002374: DUP7
00002375: PUSH1 0x1f
00002377: DUP3
00002378: ADD
00002379: SLT
0000237a: PUSH2 0x2381
0000237d: JUMPI
0000237e: DUP3
0000237f: DUP4
00002380: REVERT
00002381: JUMPDEST
00002382: DUP1
00002383: CALLDATALOAD
00002384: SWAP2
00002385: POP
00002386: PUSH2 0x2391
00002389: PUSH2 0x21ce
0000238c: DUP4
0000238d: PUSH2 0x2b35
00002390: JUMP
00002391: JUMPDEST
00002392: DUP3
00002393: DUP2
00002394: MSTORE
00002395: DUP8
00002396: PUSH1 0x20
00002398: DUP5
00002399: DUP5
0000239a: ADD
0000239b: ADD
0000239c: GT
0000239d: ISZERO
0000239e: PUSH2 0x23a5
000023a1: JUMPI
000023a2: DUP4
000023a3: DUP5
000023a4: REVERT
000023a5: JUMPDEST
000023a6: DUP3
000023a7: PUSH1 0x20
000023a9: DUP4
000023aa: ADD
000023ab: PUSH1 0x20
000023ad: DUP4
000023ae: ADD
000023af: CALLDATACOPY
000023b0: DUP4
000023b1: PUSH1 0x20
000023b3: DUP5
000023b4: DUP4
000023b5: ADD
000023b6: ADD
000023b7: MSTORE
000023b8: DUP1
000023b9: SWAP4
000023ba: POP
000023bb: POP
000023bc: POP
000023bd: POP
000023be: SWAP3
000023bf: POP
000023c0: SWAP3
000023c1: POP
000023c2: SWAP3
000023c3: JUMP
000023c4: JUMPDEST
000023c5: PUSH1 0x00
000023c7: DUP1
000023c8: PUSH1 0x00
000023ca: PUSH1 0x60
000023cc: DUP5
000023cd: DUP7
000023ce: SUB
000023cf: SLT
000023d0: ISZERO
000023d1: PUSH2 0x23d8
000023d4: JUMPI
000023d5: DUP3
000023d6: DUP4
000023d7: REVERT
000023d8: JUMPDEST
000023d9: DUP4
000023da: MLOAD
000023db: PUSH8 0xffffffffffffffff
000023e4: DUP1
000023e5: DUP3
000023e6: GT
000023e7: ISZERO
000023e8: PUSH2 0x23ef
000023eb: JUMPI
000023ec: DUP5
000023ed: DUP6
000023ee: REVERT
000023ef: JUMPDEST
000023f0: DUP2
000023f1: DUP7
000023f2: ADD
000023f3: DUP8
000023f4: PUSH1 0x1f
000023f6: DUP3
000023f7: ADD
000023f8: SLT
000023f9: PUSH2 0x2400
000023fc: JUMPI
000023fd: DUP6
000023fe: DUP7
000023ff: REVERT
00002400: JUMPDEST
00002401: DUP1
00002402: MLOAD
00002403: SWAP3
00002404: POP
00002405: PUSH2 0x2410
00002408: PUSH2 0x21ce
0000240b: DUP5
0000240c: PUSH2 0x2b15
0000240f: JUMP
00002410: JUMPDEST
00002411: DUP4
00002412: DUP2
00002413: MSTORE
00002414: PUSH1 0x20
00002416: DUP1
00002417: DUP3
00002418: ADD
00002419: SWAP2
0000241a: SWAP1
0000241b: DUP4
0000241c: DUP2
0000241d: ADD
0000241e: DUP10
0000241f: JUMPDEST
00002420: DUP8
00002421: DUP2
00002422: LT
00002423: ISZERO
00002424: PUSH2 0x2448
00002427: JUMPI
00002428: PUSH2 0x2436
0000242b: DUP14
0000242c: DUP5
0000242d: DUP5
0000242e: MLOAD
0000242f: DUP10
00002430: ADD
00002431: ADD
00002432: PUSH2 0x2295
00002435: JUMP
00002436: JUMPDEST
00002437: DUP6
00002438: MSTORE
00002439: SWAP4
0000243a: DUP3
0000243b: ADD
0000243c: SWAP4
0000243d: SWAP1
0000243e: DUP3
0000243f: ADD
00002440: SWAP1
00002441: PUSH1 0x01
00002443: ADD
00002444: PUSH2 0x241f
00002447: JUMP
00002448: JUMPDEST
00002449: POP
0000244a: POP
0000244b: DUP10
0000244c: ADD
0000244d: MLOAD
0000244e: SWAP1
0000244f: SWAP8
00002450: POP
00002451: SWAP4
00002452: POP
00002453: POP
00002454: POP
00002455: DUP1
00002456: DUP3
00002457: GT
00002458: ISZERO
00002459: PUSH2 0x2460
0000245c: JUMPI
0000245d: DUP4
0000245e: DUP5
0000245f: REVERT
00002460: JUMPDEST
00002461: PUSH2 0x246c
00002464: DUP8
00002465: DUP4
00002466: DUP9
00002467: ADD
00002468: PUSH2 0x21b0
0000246b: JUMP
0000246c: JUMPDEST
0000246d: SWAP4
0000246e: POP
0000246f: PUSH1 0x40
00002471: DUP7
00002472: ADD
00002473: MLOAD
00002474: SWAP2
00002475: POP
00002476: DUP1
00002477: DUP3
00002478: GT
00002479: ISZERO
0000247a: PUSH2 0x2481
0000247d: JUMPI
0000247e: DUP3
0000247f: DUP4
00002480: REVERT
00002481: JUMPDEST
00002482: POP
00002483: PUSH2 0x248e
00002486: DUP7
00002487: DUP3
00002488: DUP8
00002489: ADD
0000248a: PUSH2 0x2227
0000248d: JUMP
0000248e: JUMPDEST
0000248f: SWAP2
00002490: POP
00002491: POP
00002492: SWAP3
00002493: POP
00002494: SWAP3
00002495: POP
00002496: SWAP3
00002497: JUMP
00002498: JUMPDEST
00002499: PUSH1 0x00
0000249b: DUP1
0000249c: PUSH1 0x40
0000249e: DUP4
0000249f: DUP6
000024a0: SUB
000024a1: SLT
000024a2: ISZERO
000024a3: PUSH2 0x24aa
000024a6: JUMPI
000024a7: DUP2
000024a8: DUP3
000024a9: REVERT
000024aa: JUMPDEST
000024ab: PUSH2 0x24b4
000024ae: DUP5
000024af: DUP5
000024b0: PUSH2 0x2285
000024b3: JUMP
000024b4: JUMPDEST
000024b5: SWAP2
000024b6: POP
000024b7: PUSH2 0x24c3
000024ba: DUP5
000024bb: PUSH1 0x20
000024bd: DUP6
000024be: ADD
000024bf: PUSH2 0x2285
000024c2: JUMP
000024c3: JUMPDEST
000024c4: SWAP1
000024c5: POP
000024c6: SWAP3
000024c7: POP
000024c8: SWAP3
000024c9: SWAP1
000024ca: POP
000024cb: JUMP
000024cc: JUMPDEST
000024cd: PUSH1 0x00
000024cf: DUP1
000024d0: PUSH1 0x00
000024d2: DUP1
000024d3: PUSH1 0x80
000024d5: DUP6
000024d6: DUP8
000024d7: SUB
000024d8: SLT
000024d9: ISZERO
000024da: PUSH2 0x24e1
000024dd: JUMPI
000024de: DUP1
000024df: DUP2
000024e0: REVERT
000024e1: JUMPDEST
000024e2: DUP5
000024e3: CALLDATALOAD
000024e4: PUSH2 0x24ec
000024e7: DUP2
000024e8: PUSH2 0x2bc8
000024eb: JUMP
000024ec: JUMPDEST
000024ed: SWAP4
000024ee: POP
000024ef: PUSH1 0x20
000024f1: DUP6
000024f2: ADD
000024f3: CALLDATALOAD
000024f4: PUSH2 0x24fc
000024f7: DUP2
000024f8: PUSH2 0x2bd6
000024fb: JUMP
000024fc: JUMPDEST
000024fd: SWAP3
000024fe: POP
000024ff: PUSH1 0x40
00002501: DUP6
00002502: ADD
00002503: CALLDATALOAD
00002504: PUSH2 0x250c
00002507: DUP2
00002508: PUSH2 0x2ba3
0000250b: JUMP
0000250c: JUMPDEST
0000250d: SWAP2
0000250e: POP
0000250f: PUSH1 0x60
00002511: DUP6
00002512: ADD
00002513: CALLDATALOAD
00002514: PUSH16 0xffffffffffffffffffffffffffffffff
00002525: DUP2
00002526: AND
00002527: DUP2
00002528: EQ
00002529: PUSH2 0x2530
0000252c: JUMPI
0000252d: DUP2
0000252e: DUP3
0000252f: REVERT
00002530: JUMPDEST
00002531: SWAP4
00002532: SWAP7
00002533: SWAP3
00002534: SWAP6
00002535: POP
00002536: SWAP1
00002537: SWAP4
00002538: POP
00002539: POP
0000253a: JUMP
0000253b: JUMPDEST
0000253c: PUSH1 0x00
0000253e: DUP1
0000253f: PUSH1 0x40
00002541: DUP4
00002542: DUP6
00002543: SUB
00002544: SLT
00002545: ISZERO
00002546: PUSH2 0x254d
00002549: JUMPI
0000254a: DUP2
0000254b: DUP3
0000254c: REVERT
0000254d: JUMPDEST
0000254e: DUP3
0000254f: CALLDATALOAD
00002550: PUSH2 0x2314
00002553: DUP2
00002554: PUSH2 0x2bd6
00002557: JUMP
00002558: JUMPDEST
00002559: PUSH1 0x00
0000255b: PUSH1 0x20
0000255d: DUP3
0000255e: DUP5
0000255f: SUB
00002560: SLT
00002561: ISZERO
00002562: PUSH2 0x2569
00002565: JUMPI
00002566: DUP1
00002567: DUP2
00002568: REVERT
00002569: JUMPDEST
0000256a: POP
0000256b: CALLDATALOAD
0000256c: SWAP2
0000256d: SWAP1
0000256e: POP
0000256f: JUMP
00002570: JUMPDEST
00002571: PUSH1 0x00
00002573: DUP1
00002574: PUSH1 0x40
00002576: DUP4
00002577: DUP6
00002578: SUB
00002579: SLT
0000257a: ISZERO
0000257b: PUSH2 0x2582
0000257e: JUMPI
0000257f: DUP2
00002580: DUP3
00002581: REVERT
00002582: JUMPDEST
00002583: DUP3
00002584: CALLDATALOAD
00002585: SWAP2
00002586: POP
00002587: PUSH1 0x20
00002589: DUP4
0000258a: ADD
0000258b: CALLDATALOAD
0000258c: PUSH2 0x2324
0000258f: DUP2
00002590: PUSH2 0x2ba3
00002593: JUMP
00002594: JUMPDEST
00002595: PUSH1 0x00
00002597: DUP1
00002598: PUSH1 0x00
0000259a: DUP1
0000259b: PUSH1 0x80
0000259d: DUP6
0000259e: DUP8
0000259f: SUB
000025a0: SLT
000025a1: ISZERO
000025a2: PUSH2 0x25a9
000025a5: JUMPI
000025a6: DUP2
000025a7: DUP3
000025a8: REVERT
000025a9: JUMPDEST
000025aa: DUP5
000025ab: CALLDATALOAD
000025ac: SWAP4
000025ad: POP
000025ae: PUSH1 0x20
000025b0: DUP6
000025b1: ADD
000025b2: CALLDATALOAD
000025b3: SWAP3
000025b4: POP
000025b5: PUSH1 0x40
000025b7: DUP6
000025b8: ADD
000025b9: CALLDATALOAD
000025ba: PUSH2 0x25c2
000025bd: DUP2
000025be: PUSH2 0x2bc8
000025c1: JUMP
000025c2: JUMPDEST
000025c3: SWAP2
000025c4: POP
000025c5: PUSH1 0x60
000025c7: DUP6
000025c8: ADD
000025c9: CALLDATALOAD
000025ca: PUSH2 0x2530
000025cd: DUP2
000025ce: PUSH2 0x2bc8
000025d1: JUMP
000025d2: JUMPDEST
000025d3: PUSH1 0x00
000025d5: DUP3
000025d6: MLOAD
000025d7: PUSH2 0x25e4
000025da: DUP2
000025db: DUP5
000025dc: PUSH1 0x20
000025de: DUP8
000025df: ADD
000025e0: PUSH2 0x2b77
000025e3: JUMP
000025e4: JUMPDEST
000025e5: SWAP2
000025e6: SWAP1
000025e7: SWAP2
000025e8: ADD
000025e9: SWAP3
000025ea: SWAP2
000025eb: POP
000025ec: POP
000025ed: JUMP
000025ee: JUMPDEST
000025ef: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002604: SWAP2
00002605: SWAP1
00002606: SWAP2
00002607: AND
00002608: DUP2
00002609: MSTORE
0000260a: PUSH1 0x20
0000260c: ADD
0000260d: SWAP1
0000260e: JUMP
0000260f: JUMPDEST
00002610: PUSH1 0x00
00002612: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002627: DUP7
00002628: AND
00002629: DUP3
0000262a: MSTORE
0000262b: DUP5
0000262c: PUSH1 0x20
0000262e: DUP4
0000262f: ADD
00002630: MSTORE
00002631: PUSH1 0x80
00002633: PUSH1 0x40
00002635: DUP4
00002636: ADD
00002637: MSTORE
00002638: DUP4
00002639: MLOAD
0000263a: DUP1
0000263b: PUSH1 0x80
0000263d: DUP5
0000263e: ADD
0000263f: MSTORE
00002640: PUSH2 0x2650
00002643: DUP2
00002644: PUSH1 0xa0
00002646: DUP6
00002647: ADD
00002648: PUSH1 0x20
0000264a: DUP9
0000264b: ADD
0000264c: PUSH2 0x2b77
0000264f: JUMP
00002650: JUMPDEST
00002651: SWAP3
00002652: ISZERO
00002653: ISZERO
00002654: PUSH1 0x60
00002656: DUP4
00002657: ADD
00002658: MSTORE
00002659: POP
0000265a: PUSH1 0x1f
0000265c: SWAP2
0000265d: SWAP1
0000265e: SWAP2
0000265f: ADD
00002660: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00002681: AND
00002682: ADD
00002683: PUSH1 0xa0
00002685: ADD
00002686: SWAP4
00002687: SWAP3
00002688: POP
00002689: POP
0000268a: POP
0000268b: JUMP
0000268c: JUMPDEST
0000268d: PUSH1 0x20
0000268f: DUP1
00002690: DUP3
00002691: MSTORE
00002692: DUP3
00002693: MLOAD
00002694: DUP3
00002695: DUP3
00002696: ADD
00002697: DUP2
00002698: SWAP1
00002699: MSTORE
0000269a: PUSH1 0x00
0000269c: SWAP2
0000269d: DUP5
0000269e: ADD
0000269f: SWAP1
000026a0: PUSH1 0x40
000026a2: DUP5
000026a3: ADD
000026a4: SWAP1
000026a5: DUP4
000026a6: JUMPDEST
000026a7: DUP2
000026a8: DUP2
000026a9: LT
000026aa: ISZERO
000026ab: PUSH2 0x26da
000026ae: JUMPI
000026af: DUP4
000026b0: MLOAD
000026b1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000026c6: AND
000026c7: DUP4
000026c8: MSTORE
000026c9: PUSH1 0x20
000026cb: SWAP4
000026cc: DUP5
000026cd: ADD
000026ce: SWAP4
000026cf: SWAP1
000026d0: SWAP3
000026d1: ADD
000026d2: SWAP2
000026d3: PUSH1 0x01
000026d5: ADD
000026d6: PUSH2 0x26a6
000026d9: JUMP
000026da: JUMPDEST
000026db: POP
000026dc: SWAP1
000026dd: SWAP6
000026de: SWAP5
000026df: POP
000026e0: POP
000026e1: POP
000026e2: POP
000026e3: POP
000026e4: JUMP
000026e5: JUMPDEST
000026e6: PUSH1 0x20
000026e8: DUP1
000026e9: DUP3
000026ea: MSTORE
000026eb: DUP3
000026ec: MLOAD
000026ed: DUP3
000026ee: DUP3
000026ef: ADD
000026f0: DUP2
000026f1: SWAP1
000026f2: MSTORE
000026f3: PUSH1 0x00
000026f5: SWAP2
000026f6: DUP5
000026f7: ADD
000026f8: SWAP1
000026f9: PUSH1 0x40
000026fb: DUP5
000026fc: ADD
000026fd: SWAP1
000026fe: DUP4
000026ff: JUMPDEST
00002700: DUP2
00002701: DUP2
00002702: LT
00002703: ISZERO
00002704: PUSH2 0x26da
00002707: JUMPI
00002708: DUP4
00002709: MLOAD
0000270a: DUP4
0000270b: MSTORE
0000270c: PUSH1 0x20
0000270e: SWAP4
0000270f: DUP5
00002710: ADD
00002711: SWAP4
00002712: SWAP1
00002713: SWAP3
00002714: ADD
00002715: SWAP2
00002716: PUSH1 0x01
00002718: ADD
00002719: PUSH2 0x26ff
0000271c: JUMP
0000271d: JUMPDEST
0000271e: SWAP1
0000271f: ISZERO
00002720: ISZERO
00002721: DUP2
00002722: MSTORE
00002723: PUSH1 0x20
00002725: ADD
00002726: SWAP1
00002727: JUMP
00002728: JUMPDEST
00002729: SWAP2
0000272a: ISZERO
0000272b: ISZERO
0000272c: DUP3
0000272d: MSTORE
0000272e: PUSH16 0xffffffffffffffffffffffffffffffff
0000273f: AND
00002740: PUSH1 0x20
00002742: DUP3
00002743: ADD
00002744: MSTORE
00002745: PUSH1 0x40
00002747: ADD
00002748: SWAP1
00002749: JUMP
0000274a: JUMPDEST
0000274b: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
0000276c: SWAP5
0000276d: SWAP1
0000276e: SWAP5
0000276f: AND
00002770: DUP5
00002771: MSTORE
00002772: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002787: SWAP3
00002788: SWAP1
00002789: SWAP3
0000278a: AND
0000278b: PUSH1 0x20
0000278d: DUP5
0000278e: ADD
0000278f: MSTORE
00002790: ISZERO
00002791: ISZERO
00002792: PUSH1 0x40
00002794: DUP4
00002795: ADD
00002796: MSTORE
00002797: PUSH16 0xffffffffffffffffffffffffffffffff
000027a8: AND
000027a9: PUSH1 0x60
000027ab: DUP3
000027ac: ADD
000027ad: MSTORE
000027ae: PUSH1 0x80
000027b0: ADD
000027b1: SWAP1
000027b2: JUMP
000027b3: JUMPDEST
000027b4: PUSH1 0x60
000027b6: DUP2
000027b7: ADD
000027b8: PUSH1 0x04
000027ba: DUP6
000027bb: LT
000027bc: PUSH2 0x27c1
000027bf: JUMPI
000027c0: INVALID
000027c1: JUMPDEST
000027c2: SWAP4
000027c3: DUP2
000027c4: MSTORE
000027c5: PUSH1 0x20
000027c7: DUP2
000027c8: ADD
000027c9: SWAP3
000027ca: SWAP1
000027cb: SWAP3
000027cc: MSTORE
000027cd: PUSH1 0x40
000027cf: SWAP1
000027d0: SWAP2
000027d1: ADD
000027d2: MSTORE
000027d3: SWAP1
000027d4: JUMP
000027d5: JUMPDEST
000027d6: PUSH1 0x60
000027d8: DUP2
000027d9: ADD
000027da: PUSH1 0x08
000027dc: DUP6
000027dd: LT
000027de: PUSH2 0x27c1
000027e1: JUMPI
000027e2: INVALID
000027e3: JUMPDEST
000027e4: PUSH1 0x20
000027e6: DUP1
000027e7: DUP3
000027e8: MSTORE
000027e9: PUSH1 0x0c
000027eb: SWAP1
000027ec: DUP3
000027ed: ADD
000027ee: MSTORE
000027ef: PUSH32 0x4e554c4c5f414444524553530000000000000000000000000000000000000000
00002810: PUSH1 0x40
00002812: DUP3
00002813: ADD
00002814: MSTORE
00002815: PUSH1 0x60
00002817: ADD
00002818: SWAP1
00002819: JUMP
0000281a: JUMPDEST
0000281b: PUSH1 0x20
0000281d: DUP1
0000281e: DUP3
0000281f: MSTORE
00002820: PUSH1 0x1c
00002822: SWAP1
00002823: DUP3
00002824: ADD
00002825: MSTORE
00002826: PUSH32 0x44454641554c545f54494d455f4c4f434b5f494e434f4d504c45544500000000
00002847: PUSH1 0x40
00002849: DUP3
0000284a: ADD
0000284b: MSTORE
0000284c: PUSH1 0x60
0000284e: ADD
0000284f: SWAP1
00002850: JUMP
00002851: JUMPDEST
00002852: PUSH1 0x20
00002854: DUP1
00002855: DUP3
00002856: MSTORE
00002857: PUSH1 0x0c
00002859: SWAP1
0000285a: DUP3
0000285b: ADD
0000285c: MSTORE
0000285d: PUSH32 0x4f574e45525f4558495354530000000000000000000000000000000000000000
0000287e: PUSH1 0x40
00002880: DUP3
00002881: ADD
00002882: MSTORE
00002883: PUSH1 0x60
00002885: ADD
00002886: SWAP1
00002887: JUMP
00002888: JUMPDEST
00002889: PUSH1 0x20
0000288b: DUP1
0000288c: DUP3
0000288d: MSTORE
0000288e: PUSH1 0x14
00002890: SWAP1
00002891: DUP3
00002892: ADD
00002893: MSTORE
00002894: PUSH32 0x54585f414c52454144595f434f4e4649524d4544000000000000000000000000
000028b5: PUSH1 0x40
000028b7: DUP3
000028b8: ADD
000028b9: MSTORE
000028ba: PUSH1 0x60
000028bc: ADD
000028bd: SWAP1
000028be: JUMP
000028bf: JUMPDEST
000028c0: PUSH1 0x20
000028c2: DUP1
000028c3: DUP3
000028c4: MSTORE
000028c5: PUSH1 0x16
000028c7: SWAP1
000028c8: DUP3
000028c9: ADD
000028ca: MSTORE
000028cb: PUSH32 0x54585f4e4f545f46554c4c595f434f4e4649524d454400000000000000000000
000028ec: PUSH1 0x40
000028ee: DUP3
000028ef: ADD
000028f0: MSTORE
000028f1: PUSH1 0x60
000028f3: ADD
000028f4: SWAP1
000028f5: JUMP
000028f6: JUMPDEST
000028f7: PUSH1 0x20
000028f9: DUP1
000028fa: DUP3
000028fb: MSTORE
000028fc: PUSH1 0x0f
000028fe: SWAP1
000028ff: DUP3
00002900: ADD
00002901: MSTORE
00002902: PUSH32 0x54585f444f45534e545f45584953540000000000000000000000000000000000
00002923: PUSH1 0x40
00002925: DUP3
00002926: ADD
00002927: MSTORE
00002928: PUSH1 0x60
0000292a: ADD
0000292b: SWAP1
0000292c: JUMP
0000292d: JUMPDEST
0000292e: PUSH1 0x20
00002930: DUP1
00002931: DUP3
00002932: MSTORE
00002933: PUSH1 0x10
00002935: SWAP1
00002936: DUP3
00002937: ADD
00002938: MSTORE
00002939: PUSH32 0x54585f4e4f545f434f4e4649524d454400000000000000000000000000000000
0000295a: PUSH1 0x40
0000295c: DUP3
0000295d: ADD
0000295e: MSTORE
0000295f: PUSH1 0x60
00002961: ADD
00002962: SWAP1
00002963: JUMP
00002964: JUMPDEST
00002965: PUSH1 0x20
00002967: DUP1
00002968: DUP3
00002969: MSTORE
0000296a: PUSH1 0x16
0000296c: SWAP1
0000296d: DUP3
0000296e: ADD
0000296f: MSTORE
00002970: PUSH32 0x455155414c5f4c454e475448535f524551554952454400000000000000000000
00002991: PUSH1 0x40
00002993: DUP3
00002994: ADD
00002995: MSTORE
00002996: PUSH1 0x60
00002998: ADD
00002999: SWAP1
0000299a: JUMP
0000299b: JUMPDEST
0000299c: PUSH1 0x20
0000299e: DUP1
0000299f: DUP3
000029a0: MSTORE
000029a1: PUSH1 0x10
000029a3: SWAP1
000029a4: DUP3
000029a5: ADD
000029a6: MSTORE
000029a7: PUSH32 0x4641494c45445f455845435554494f4e00000000000000000000000000000000
000029c8: PUSH1 0x40
000029ca: DUP3
000029cb: ADD
000029cc: MSTORE
000029cd: PUSH1 0x60
000029cf: ADD
000029d0: SWAP1
000029d1: JUMP
000029d2: JUMPDEST
000029d3: PUSH1 0x20
000029d5: DUP1
000029d6: DUP3
000029d7: MSTORE
000029d8: PUSH1 0x12
000029da: SWAP1
000029db: DUP3
000029dc: ADD
000029dd: MSTORE
000029de: PUSH32 0x4f574e45525f444f45534e545f45584953540000000000000000000000000000
000029ff: PUSH1 0x40
00002a01: DUP3
00002a02: ADD
00002a03: MSTORE
00002a04: PUSH1 0x60
00002a06: ADD
00002a07: SWAP1
00002a08: JUMP
00002a09: JUMPDEST
00002a0a: PUSH1 0x20
00002a0c: DUP1
00002a0d: DUP3
00002a0e: MSTORE
00002a0f: PUSH1 0x1b
00002a11: SWAP1
00002a12: DUP3
00002a13: ADD
00002a14: MSTORE
00002a15: PUSH32 0x435553544f4d5f54494d455f4c4f434b5f494e434f4d504c4554450000000000
00002a36: PUSH1 0x40
00002a38: DUP3
00002a39: ADD
00002a3a: MSTORE
00002a3b: PUSH1 0x60
00002a3d: ADD
00002a3e: SWAP1
00002a3f: JUMP
00002a40: JUMPDEST
00002a41: PUSH1 0x20
00002a43: DUP1
00002a44: DUP3
00002a45: MSTORE
00002a46: PUSH1 0x17
00002a48: SWAP1
00002a49: DUP3
00002a4a: ADD
00002a4b: MSTORE
00002a4c: PUSH32 0x4f4e4c595f43414c4c41424c455f42595f57414c4c4554000000000000000000
00002a6d: PUSH1 0x40
00002a6f: DUP3
00002a70: ADD
00002a71: MSTORE
00002a72: PUSH1 0x60
00002a74: ADD
00002a75: SWAP1
00002a76: JUMP
00002a77: JUMPDEST
00002a78: PUSH1 0x20
00002a7a: DUP1
00002a7b: DUP3
00002a7c: MSTORE
00002a7d: PUSH1 0x13
00002a7f: SWAP1
00002a80: DUP3
00002a81: ADD
00002a82: MSTORE
00002a83: PUSH32 0x54585f414c52454144595f455845435554454400000000000000000000000000
00002aa4: PUSH1 0x40
00002aa6: DUP3
00002aa7: ADD
00002aa8: MSTORE
00002aa9: PUSH1 0x60
00002aab: ADD
00002aac: SWAP1
00002aad: JUMP
00002aae: JUMPDEST
00002aaf: PUSH1 0x20
00002ab1: DUP1
00002ab2: DUP3
00002ab3: MSTORE
00002ab4: PUSH1 0x14
00002ab6: SWAP1
00002ab7: DUP3
00002ab8: ADD
00002ab9: MSTORE
00002aba: PUSH32 0x494e56414c49445f524551554952454d454e5453000000000000000000000000
00002adb: PUSH1 0x40
00002add: DUP3
00002ade: ADD
00002adf: MSTORE
00002ae0: PUSH1 0x60
00002ae2: ADD
00002ae3: SWAP1
00002ae4: JUMP
00002ae5: JUMPDEST
00002ae6: SWAP1
00002ae7: DUP2
00002ae8: MSTORE
00002ae9: PUSH1 0x20
00002aeb: ADD
00002aec: SWAP1
00002aed: JUMP
00002aee: JUMPDEST
00002aef: PUSH1 0x40
00002af1: MLOAD
00002af2: DUP2
00002af3: DUP2
00002af4: ADD
00002af5: PUSH8 0xffffffffffffffff
00002afe: DUP2
00002aff: GT
00002b00: DUP3
00002b01: DUP3
00002b02: LT
00002b03: OR
00002b04: ISZERO
00002b05: PUSH2 0x2b0d
00002b08: JUMPI
00002b09: PUSH1 0x00
00002b0b: DUP1
00002b0c: REVERT
00002b0d: JUMPDEST
00002b0e: PUSH1 0x40
00002b10: MSTORE
00002b11: SWAP2
00002b12: SWAP1
00002b13: POP
00002b14: JUMP
00002b15: JUMPDEST
00002b16: PUSH1 0x00
00002b18: PUSH8 0xffffffffffffffff
00002b21: DUP3
00002b22: GT
00002b23: ISZERO
00002b24: PUSH2 0x2b2b
00002b27: JUMPI
00002b28: DUP1
00002b29: DUP2
00002b2a: REVERT
00002b2b: JUMPDEST
00002b2c: POP
00002b2d: PUSH1 0x20
00002b2f: SWAP1
00002b30: DUP2
00002b31: MUL
00002b32: ADD
00002b33: SWAP1
00002b34: JUMP
00002b35: JUMPDEST
00002b36: PUSH1 0x00
00002b38: PUSH8 0xffffffffffffffff
00002b41: DUP3
00002b42: GT
00002b43: ISZERO
00002b44: PUSH2 0x2b4b
00002b47: JUMPI
00002b48: DUP1
00002b49: DUP2
00002b4a: REVERT
00002b4b: JUMPDEST
00002b4c: POP
00002b4d: PUSH1 0x1f
00002b4f: ADD
00002b50: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00002b71: AND
00002b72: PUSH1 0x20
00002b74: ADD
00002b75: SWAP1
00002b76: JUMP
00002b77: JUMPDEST
00002b78: PUSH1 0x00
00002b7a: JUMPDEST
00002b7b: DUP4
00002b7c: DUP2
00002b7d: LT
00002b7e: ISZERO
00002b7f: PUSH2 0x2b92
00002b82: JUMPI
00002b83: DUP2
00002b84: DUP2
00002b85: ADD
00002b86: MLOAD
00002b87: DUP4
00002b88: DUP3
00002b89: ADD
00002b8a: MSTORE
00002b8b: PUSH1 0x20
00002b8d: ADD
00002b8e: PUSH2 0x2b7a
00002b91: JUMP
00002b92: JUMPDEST
00002b93: DUP4
00002b94: DUP2
00002b95: GT
00002b96: ISZERO
00002b97: PUSH2 0x0cb8
00002b9a: JUMPI
00002b9b: POP
00002b9c: POP
00002b9d: PUSH1 0x00
00002b9f: SWAP2
00002ba0: ADD
00002ba1: MSTORE
00002ba2: JUMP
00002ba3: JUMPDEST
00002ba4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002bb9: DUP2
00002bba: AND
00002bbb: DUP2
00002bbc: EQ
00002bbd: PUSH2 0x2bc5
00002bc0: JUMPI
00002bc1: PUSH1 0x00
00002bc3: DUP1
00002bc4: REVERT
00002bc5: JUMPDEST
00002bc6: POP
00002bc7: JUMP
00002bc8: JUMPDEST
00002bc9: DUP1
00002bca: ISZERO
00002bcb: ISZERO
00002bcc: DUP2
00002bcd: EQ
00002bce: PUSH2 0x2bc5
00002bd1: JUMPI
00002bd2: PUSH1 0x00
00002bd4: DUP1
00002bd5: REVERT
00002bd6: JUMPDEST
00002bd7: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
00002bf8: DUP2
00002bf9: AND
00002bfa: DUP2
00002bfb: EQ
00002bfc: PUSH2 0x2bc5
00002bff: JUMPI
00002c00: PUSH1 0x00
00002c02: DUP1
00002c03: REVERT
00002c04: INVALID
00002c05: LOG3
00002c06: PUSH6 0x627a7a723158
00002c0d: KECCAK256
00002c0e: UNKNOWN(0xDD)
00002c0f: JUMPDEST
00002c10: AND
00002c11: BLOBBASEFEE
00002c12: SWAP8
00002c13: UNKNOWN(0xED)
00002c14: UNKNOWN(0x2F)
00002c15: DUP5
00002c16: MCOPY
00002c17: UNKNOWN(0xBF)
00002c18: UNKNOWN(0x27)
00002c19: UNKNOWN(0xED)
00002c1a: UNKNOWN(0x24)
00002c1b: PUSH7 0xa3bd037ea86398
00002c23: UNKNOWN(0xCE)
00002c24: JUMPDEST
00002c25: UNKNOWN(0xC5)
00002c26: GASPRICE
00002c27: UNKNOWN(0xCA)
00002c28: SMOD
00002c29: UNKNOWN(0xAA)
00002c2a: UNKNOWN(0xD1)
00002c2b: UNKNOWN(0xB6)
00002c2c: JUMPI
00002c2d: UNKNOWN(0xB8)
00002c2e: PUSH13 0x6578706572696d656e74616cf5
00002c3c: PUSH5 0x736f6c6343
00002c42: STOP
00002c43: SDIV
00002c44: GT
00002c45: STOP
00002c46: BLOCKHASH
Findings

validated = confirmed for call sinks; sink observed for others
Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
high	other	detector	Untrusted CALL target/value reachable	60	no	no	view trace_id: 0x352c4cb0556736bfa9614254e96203e3411f1e93542b8d95546fda5fea85fcd7 call_targets: 0x618f9c67ce7bf1a50afa1e7e0238422601b0ff6e target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x352c4cb0556736bfa9614254e96203e3411f1e93542b8d95546fda5fea85fcd7", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x618f9c67ce7bf1a50afa1e7e0238422601b0ff6e" ], "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": "0xd74f8edd", "selector": "0xd74f8edd", "calldata_variants": [ "0xd74f8edd", "0xd74f8edd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xdc8452cd", "selector": "0xdc8452cd", "calldata_variants": [ "0xdc8452cd", "0xdc8452cd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe20056e6", "selector": "0xe20056e6", "calldata_variants": [ "0xe20056e6", "0xe20056e60000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xee22610b", "selector": "0xee22610b", "calldata_variants": [ "0xee22610b", "0xee22610b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc01a8c84", "selector": "0xc01a8c84", "calldata_variants": [ "0xc01a8c84", "0xc01a8c840000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc6427474", "selector": "0xc6427474", "calldata_variants": [ "0xc6427474", "0xc64274740000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd38f2d82", "selector": "0xd38f2d82", "calldata_variants": [ "0xd38f2d82", "0xd38f2d820000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xb5dc40c3", "selector": "0xb5dc40c3", "calldata_variants": [ "0xb5dc40c3", "0xb5dc40c30000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 6817, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 1, "guards_detected": [], "untrusted_call_count": 1 }
high	other	detector	ETH value transfer possible	55	no	no	view trace_id: 0x352c4cb0556736bfa9614254e96203e3411f1e93542b8d95546fda5fea85fcd7 call_targets: 0x618f9c67ce7bf1a50afa1e7e0238422601b0ff6e target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x352c4cb0556736bfa9614254e96203e3411f1e93542b8d95546fda5fea85fcd7", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x618f9c67ce7bf1a50afa1e7e0238422601b0ff6e" ], "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": "0xd74f8edd", "selector": "0xd74f8edd", "calldata_variants": [ "0xd74f8edd", "0xd74f8edd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xdc8452cd", "selector": "0xdc8452cd", "calldata_variants": [ "0xdc8452cd", "0xdc8452cd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe20056e6", "selector": "0xe20056e6", "calldata_variants": [ "0xe20056e6", "0xe20056e60000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xee22610b", "selector": "0xee22610b", "calldata_variants": [ "0xee22610b", "0xee22610b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc01a8c84", "selector": "0xc01a8c84", "calldata_variants": [ "0xc01a8c84", "0xc01a8c840000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc6427474", "selector": "0xc6427474", "calldata_variants": [ "0xc6427474", "0xc64274740000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd38f2d82", "selector": "0xd38f2d82", "calldata_variants": [ "0xd38f2d82", "0xd38f2d820000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xb5dc40c3", "selector": "0xb5dc40c3", "calldata_variants": [ "0xb5dc40c3", "0xb5dc40c30000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 6817, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 1, "guards_detected": [] }
Severity