Analysis Run

019b477e-c8a4-71f7-9fcb-a899e86b234a
complete
Chain ID
1
Address
0xb256a4b86c2124155068899806f665b5862fcbf8
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
26183	artifact.fetch	complete	1 / 3	3 months ago
26184	tool.cast_disasm	complete	1 / 3	3 months ago
112847	analysis.bundle	complete	1 / 3	1 week ago
112848	capability.graph	complete	1 / 3	1 week ago
112849	detector.run	complete	1 / 3	1 week ago
112850	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)
2
EXT*/BALANCE
2
Total opcodes
4557
Flags
No heuristic flags raised.
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x01fe
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x853828b6
00000019: GT
0000001a: PUSH2 0x011d
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xa0712d68
00000024: GT
00000025: PUSH2 0x00b0
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xc87b56dd
0000002f: GT
00000030: PUSH2 0x007f
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xe351da4c
0000003a: GT
0000003b: PUSH2 0x0064
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xe351da4c
00000045: EQ
00000046: PUSH2 0x064b
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xe985e9c5
00000050: EQ
00000051: PUSH2 0x067f
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xf2fde38b
0000005b: EQ
0000005c: PUSH2 0x06d5
0000005f: JUMPI
00000060: PUSH1 0x00
00000062: DUP1
00000063: REVERT
00000064: JUMPDEST
00000065: DUP1
00000066: PUSH4 0xc87b56dd
0000006b: EQ
0000006c: PUSH2 0x0616
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0xdee816e6
00000076: EQ
00000077: PUSH2 0x0636
0000007a: JUMPI
0000007b: PUSH1 0x00
0000007d: DUP1
0000007e: REVERT
0000007f: JUMPDEST
00000080: DUP1
00000081: PUSH4 0xa0712d68
00000086: EQ
00000087: PUSH2 0x05ad
0000008a: JUMPI
0000008b: DUP1
0000008c: PUSH4 0xa22cb465
00000091: EQ
00000092: PUSH2 0x05c0
00000095: JUMPI
00000096: DUP1
00000097: PUSH4 0xb88d4fde
0000009c: EQ
0000009d: PUSH2 0x05e0
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0xbd34fc57
000000a7: EQ
000000a8: PUSH2 0x0600
000000ab: JUMPI
000000ac: PUSH1 0x00
000000ae: DUP1
000000af: REVERT
000000b0: JUMPDEST
000000b1: DUP1
000000b2: PUSH4 0x918ce432
000000b7: GT
000000b8: PUSH2 0x00ec
000000bb: JUMPI
000000bc: DUP1
000000bd: PUSH4 0x918ce432
000000c2: EQ
000000c3: PUSH2 0x051a
000000c6: JUMPI
000000c7: DUP1
000000c8: PUSH4 0x95d89b41
000000cd: EQ
000000ce: PUSH2 0x054e
000000d1: JUMPI
000000d2: DUP1
000000d3: PUSH4 0x966784ec
000000d8: EQ
000000d9: PUSH2 0x0563
000000dc: JUMPI
000000dd: DUP1
000000de: PUSH4 0x9a525d9c
000000e3: EQ
000000e4: PUSH2 0x0579
000000e7: JUMPI
000000e8: PUSH1 0x00
000000ea: DUP1
000000eb: REVERT
000000ec: JUMPDEST
000000ed: DUP1
000000ee: PUSH4 0x853828b6
000000f3: EQ
000000f4: PUSH2 0x0479
000000f7: JUMPI
000000f8: DUP1
000000f9: PUSH4 0x88aadd41
000000fe: EQ
000000ff: PUSH2 0x048e
00000102: JUMPI
00000103: DUP1
00000104: PUSH4 0x8d859f3e
00000109: EQ
0000010a: PUSH2 0x04bb
0000010d: JUMPI
0000010e: DUP1
0000010f: PUSH4 0x8da5cb5b
00000114: EQ
00000115: PUSH2 0x04ef
00000118: JUMPI
00000119: PUSH1 0x00
0000011b: DUP1
0000011c: REVERT
0000011d: JUMPDEST
0000011e: DUP1
0000011f: PUSH4 0x3f5632b0
00000124: GT
00000125: PUSH2 0x0195
00000128: JUMPI
00000129: DUP1
0000012a: PUSH4 0x6352211e
0000012f: GT
00000130: PUSH2 0x0164
00000133: JUMPI
00000134: DUP1
00000135: PUSH4 0x6352211e
0000013a: EQ
0000013b: PUSH2 0x0404
0000013e: JUMPI
0000013f: DUP1
00000140: PUSH4 0x70a08231
00000145: EQ
00000146: PUSH2 0x0424
00000149: JUMPI
0000014a: DUP1
0000014b: PUSH4 0x715018a6
00000150: EQ
00000151: PUSH2 0x0444
00000154: JUMPI
00000155: DUP1
00000156: PUSH4 0x738a92e8
0000015b: EQ
0000015c: PUSH2 0x0459
0000015f: JUMPI
00000160: PUSH1 0x00
00000162: DUP1
00000163: REVERT
00000164: JUMPDEST
00000165: DUP1
00000166: PUSH4 0x3f5632b0
0000016b: EQ
0000016c: PUSH2 0x037a
0000016f: JUMPI
00000170: DUP1
00000171: PUSH4 0x42842e0e
00000176: EQ
00000177: PUSH2 0x0390
0000017a: JUMPI
0000017b: DUP1
0000017c: PUSH4 0x55f804b3
00000181: EQ
00000182: PUSH2 0x03b0
00000185: JUMPI
00000186: DUP1
00000187: PUSH4 0x5f717202
0000018c: EQ
0000018d: PUSH2 0x03d0
00000190: JUMPI
00000191: PUSH1 0x00
00000193: DUP1
00000194: REVERT
00000195: JUMPDEST
00000196: DUP1
00000197: PUSH4 0x163e1e61
0000019c: GT
0000019d: PUSH2 0x01d1
000001a0: JUMPI
000001a1: DUP1
000001a2: PUSH4 0x163e1e61
000001a7: EQ
000001a8: PUSH2 0x02c1
000001ab: JUMPI
000001ac: DUP1
000001ad: PUSH4 0x18160ddd
000001b2: EQ
000001b3: PUSH2 0x02e1
000001b6: JUMPI
000001b7: DUP1
000001b8: PUSH4 0x23b872dd
000001bd: EQ
000001be: PUSH2 0x0326
000001c1: JUMPI
000001c2: DUP1
000001c3: PUSH4 0x3354fe34
000001c8: EQ
000001c9: PUSH2 0x0346
000001cc: JUMPI
000001cd: PUSH1 0x00
000001cf: DUP1
000001d0: REVERT
000001d1: JUMPDEST
000001d2: DUP1
000001d3: PUSH4 0x01ffc9a7
000001d8: EQ
000001d9: PUSH2 0x0203
000001dc: JUMPI
000001dd: DUP1
000001de: PUSH4 0x06fdde03
000001e3: EQ
000001e4: PUSH2 0x0238
000001e7: JUMPI
000001e8: DUP1
000001e9: PUSH4 0x081812fc
000001ee: EQ
000001ef: PUSH2 0x025a
000001f2: JUMPI
000001f3: DUP1
000001f4: PUSH4 0x095ea7b3
000001f9: EQ
000001fa: PUSH2 0x029f
000001fd: JUMPI
000001fe: JUMPDEST
000001ff: PUSH1 0x00
00000201: DUP1
00000202: REVERT
00000203: JUMPDEST
00000204: CALLVALUE
00000205: DUP1
00000206: ISZERO
00000207: PUSH2 0x020f
0000020a: JUMPI
0000020b: PUSH1 0x00
0000020d: DUP1
0000020e: REVERT
0000020f: JUMPDEST
00000210: POP
00000211: PUSH2 0x0223
00000214: PUSH2 0x021e
00000217: CALLDATASIZE
00000218: PUSH1 0x04
0000021a: PUSH2 0x2170
0000021d: JUMP
0000021e: JUMPDEST
0000021f: PUSH2 0x06f5
00000222: JUMP
00000223: JUMPDEST
00000224: PUSH1 0x40
00000226: MLOAD
00000227: SWAP1
00000228: ISZERO
00000229: ISZERO
0000022a: DUP2
0000022b: MSTORE
0000022c: PUSH1 0x20
0000022e: ADD
0000022f: JUMPDEST
00000230: PUSH1 0x40
00000232: MLOAD
00000233: DUP1
00000234: SWAP2
00000235: SUB
00000236: SWAP1
00000237: RETURN
00000238: JUMPDEST
00000239: CALLVALUE
0000023a: DUP1
0000023b: ISZERO
0000023c: PUSH2 0x0244
0000023f: JUMPI
00000240: PUSH1 0x00
00000242: DUP1
00000243: REVERT
00000244: JUMPDEST
00000245: POP
00000246: PUSH2 0x024d
00000249: PUSH2 0x07da
0000024c: JUMP
0000024d: JUMPDEST
0000024e: PUSH1 0x40
00000250: MLOAD
00000251: PUSH2 0x022f
00000254: SWAP2
00000255: SWAP1
00000256: PUSH2 0x2203
00000259: JUMP
0000025a: JUMPDEST
0000025b: CALLVALUE
0000025c: DUP1
0000025d: ISZERO
0000025e: PUSH2 0x0266
00000261: JUMPI
00000262: PUSH1 0x00
00000264: DUP1
00000265: REVERT
00000266: JUMPDEST
00000267: POP
00000268: PUSH2 0x027a
0000026b: PUSH2 0x0275
0000026e: CALLDATASIZE
0000026f: PUSH1 0x04
00000271: PUSH2 0x2216
00000274: JUMP
00000275: JUMPDEST
00000276: PUSH2 0x086c
00000279: JUMP
0000027a: JUMPDEST
0000027b: PUSH1 0x40
0000027d: MLOAD
0000027e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000293: SWAP1
00000294: SWAP2
00000295: AND
00000296: DUP2
00000297: MSTORE
00000298: PUSH1 0x20
0000029a: ADD
0000029b: PUSH2 0x022f
0000029e: JUMP
0000029f: JUMPDEST
000002a0: CALLVALUE
000002a1: DUP1
000002a2: ISZERO
000002a3: PUSH2 0x02ab
000002a6: JUMPI
000002a7: PUSH1 0x00
000002a9: DUP1
000002aa: REVERT
000002ab: JUMPDEST
000002ac: POP
000002ad: PUSH2 0x02bf
000002b0: PUSH2 0x02ba
000002b3: CALLDATASIZE
000002b4: PUSH1 0x04
000002b6: PUSH2 0x2258
000002b9: JUMP
000002ba: JUMPDEST
000002bb: PUSH2 0x08d6
000002be: JUMP
000002bf: JUMPDEST
000002c0: STOP
000002c1: JUMPDEST
000002c2: CALLVALUE
000002c3: DUP1
000002c4: ISZERO
000002c5: PUSH2 0x02cd
000002c8: JUMPI
000002c9: PUSH1 0x00
000002cb: DUP1
000002cc: REVERT
000002cd: JUMPDEST
000002ce: POP
000002cf: PUSH2 0x02bf
000002d2: PUSH2 0x02dc
000002d5: CALLDATASIZE
000002d6: PUSH1 0x04
000002d8: PUSH2 0x2282
000002db: JUMP
000002dc: JUMPDEST
000002dd: PUSH2 0x09bc
000002e0: JUMP
000002e1: JUMPDEST
000002e2: CALLVALUE
000002e3: DUP1
000002e4: ISZERO
000002e5: PUSH2 0x02ed
000002e8: JUMPI
000002e9: PUSH1 0x00
000002eb: DUP1
000002ec: REVERT
000002ed: JUMPDEST
000002ee: POP
000002ef: PUSH1 0x02
000002f1: SLOAD
000002f2: PUSH1 0x01
000002f4: SLOAD
000002f5: SUB
000002f6: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00000317: ADD
00000318: JUMPDEST
00000319: PUSH1 0x40
0000031b: MLOAD
0000031c: SWAP1
0000031d: DUP2
0000031e: MSTORE
0000031f: PUSH1 0x20
00000321: ADD
00000322: PUSH2 0x022f
00000325: JUMP
00000326: JUMPDEST
00000327: CALLVALUE
00000328: DUP1
00000329: ISZERO
0000032a: PUSH2 0x0332
0000032d: JUMPI
0000032e: PUSH1 0x00
00000330: DUP1
00000331: REVERT
00000332: JUMPDEST
00000333: POP
00000334: PUSH2 0x02bf
00000337: PUSH2 0x0341
0000033a: CALLDATASIZE
0000033b: PUSH1 0x04
0000033d: PUSH2 0x22f7
00000340: JUMP
00000341: JUMPDEST
00000342: PUSH2 0x0b11
00000345: JUMP
00000346: JUMPDEST
00000347: CALLVALUE
00000348: DUP1
00000349: ISZERO
0000034a: PUSH2 0x0352
0000034d: JUMPI
0000034e: PUSH1 0x00
00000350: DUP1
00000351: REVERT
00000352: JUMPDEST
00000353: POP
00000354: PUSH2 0x0318
00000357: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000032
00000378: DUP2
00000379: JUMP
0000037a: JUMPDEST
0000037b: CALLVALUE
0000037c: DUP1
0000037d: ISZERO
0000037e: PUSH2 0x0386
00000381: JUMPI
00000382: PUSH1 0x00
00000384: DUP1
00000385: REVERT
00000386: JUMPDEST
00000387: POP
00000388: PUSH2 0x0318
0000038b: PUSH1 0x0b
0000038d: SLOAD
0000038e: DUP2
0000038f: JUMP
00000390: JUMPDEST
00000391: CALLVALUE
00000392: DUP1
00000393: ISZERO
00000394: PUSH2 0x039c
00000397: JUMPI
00000398: PUSH1 0x00
0000039a: DUP1
0000039b: REVERT
0000039c: JUMPDEST
0000039d: POP
0000039e: PUSH2 0x02bf
000003a1: PUSH2 0x03ab
000003a4: CALLDATASIZE
000003a5: PUSH1 0x04
000003a7: PUSH2 0x22f7
000003aa: JUMP
000003ab: JUMPDEST
000003ac: PUSH2 0x0b1c
000003af: JUMP
000003b0: JUMPDEST
000003b1: CALLVALUE
000003b2: DUP1
000003b3: ISZERO
000003b4: PUSH2 0x03bc
000003b7: JUMPI
000003b8: PUSH1 0x00
000003ba: DUP1
000003bb: REVERT
000003bc: JUMPDEST
000003bd: POP
000003be: PUSH2 0x02bf
000003c1: PUSH2 0x03cb
000003c4: CALLDATASIZE
000003c5: PUSH1 0x04
000003c7: PUSH2 0x2333
000003ca: JUMP
000003cb: JUMPDEST
000003cc: PUSH2 0x0b37
000003cf: JUMP
000003d0: JUMPDEST
000003d1: CALLVALUE
000003d2: DUP1
000003d3: ISZERO
000003d4: PUSH2 0x03dc
000003d7: JUMPI
000003d8: PUSH1 0x00
000003da: DUP1
000003db: REVERT
000003dc: JUMPDEST
000003dd: POP
000003de: PUSH2 0x0318
000003e1: PUSH32 0x00000000000000000000000000000000000000000000000000000000000026de
00000402: DUP2
00000403: JUMP
00000404: JUMPDEST
00000405: CALLVALUE
00000406: DUP1
00000407: ISZERO
00000408: PUSH2 0x0410
0000040b: JUMPI
0000040c: PUSH1 0x00
0000040e: DUP1
0000040f: REVERT
00000410: JUMPDEST
00000411: POP
00000412: PUSH2 0x027a
00000415: PUSH2 0x041f
00000418: CALLDATASIZE
00000419: PUSH1 0x04
0000041b: PUSH2 0x2216
0000041e: JUMP
0000041f: JUMPDEST
00000420: PUSH2 0x0baa
00000423: JUMP
00000424: JUMPDEST
00000425: CALLVALUE
00000426: DUP1
00000427: ISZERO
00000428: PUSH2 0x0430
0000042b: JUMPI
0000042c: PUSH1 0x00
0000042e: DUP1
0000042f: REVERT
00000430: JUMPDEST
00000431: POP
00000432: PUSH2 0x0318
00000435: PUSH2 0x043f
00000438: CALLDATASIZE
00000439: PUSH1 0x04
0000043b: PUSH2 0x2393
0000043e: JUMP
0000043f: JUMPDEST
00000440: PUSH2 0x0bbc
00000443: JUMP
00000444: JUMPDEST
00000445: CALLVALUE
00000446: DUP1
00000447: ISZERO
00000448: PUSH2 0x0450
0000044b: JUMPI
0000044c: PUSH1 0x00
0000044e: DUP1
0000044f: REVERT
00000450: JUMPDEST
00000451: POP
00000452: PUSH2 0x02bf
00000455: PUSH2 0x0c3e
00000458: JUMP
00000459: JUMPDEST
0000045a: CALLVALUE
0000045b: DUP1
0000045c: ISZERO
0000045d: PUSH2 0x0465
00000460: JUMPI
00000461: PUSH1 0x00
00000463: DUP1
00000464: REVERT
00000465: JUMPDEST
00000466: POP
00000467: PUSH2 0x02bf
0000046a: PUSH2 0x0474
0000046d: CALLDATASIZE
0000046e: PUSH1 0x04
00000470: PUSH2 0x2216
00000473: JUMP
00000474: JUMPDEST
00000475: PUSH2 0x0cb1
00000478: JUMP
00000479: JUMPDEST
0000047a: CALLVALUE
0000047b: DUP1
0000047c: ISZERO
0000047d: PUSH2 0x0485
00000480: JUMPI
00000481: PUSH1 0x00
00000483: DUP1
00000484: REVERT
00000485: JUMPDEST
00000486: POP
00000487: PUSH2 0x02bf
0000048a: PUSH2 0x0d1d
0000048d: JUMP
0000048e: JUMPDEST
0000048f: CALLVALUE
00000490: DUP1
00000491: ISZERO
00000492: PUSH2 0x049a
00000495: JUMPI
00000496: PUSH1 0x00
00000498: DUP1
00000499: REVERT
0000049a: JUMPDEST
0000049b: POP
0000049c: PUSH2 0x0318
0000049f: PUSH2 0x04a9
000004a2: CALLDATASIZE
000004a3: PUSH1 0x04
000004a5: PUSH2 0x2393
000004a8: JUMP
000004a9: JUMPDEST
000004aa: PUSH1 0x0d
000004ac: PUSH1 0x20
000004ae: MSTORE
000004af: PUSH1 0x00
000004b1: SWAP1
000004b2: DUP2
000004b3: MSTORE
000004b4: PUSH1 0x40
000004b6: SWAP1
000004b7: KECCAK256
000004b8: SLOAD
000004b9: DUP2
000004ba: JUMP
000004bb: JUMPDEST
000004bc: CALLVALUE
000004bd: DUP1
000004be: ISZERO
000004bf: PUSH2 0x04c7
000004c2: JUMPI
000004c3: PUSH1 0x00
000004c5: DUP1
000004c6: REVERT
000004c7: JUMPDEST
000004c8: POP
000004c9: PUSH2 0x0318
000004cc: PUSH32 0x000000000000000000000000000000000000000000000000004380663abb8000
000004ed: DUP2
000004ee: JUMP
000004ef: JUMPDEST
000004f0: CALLVALUE
000004f1: DUP1
000004f2: ISZERO
000004f3: PUSH2 0x04fb
000004f6: JUMPI
000004f7: PUSH1 0x00
000004f9: DUP1
000004fa: REVERT
000004fb: JUMPDEST
000004fc: POP
000004fd: PUSH1 0x00
000004ff: SLOAD
00000500: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000515: AND
00000516: PUSH2 0x027a
00000519: JUMP
0000051a: JUMPDEST
0000051b: CALLVALUE
0000051c: DUP1
0000051d: ISZERO
0000051e: PUSH2 0x0526
00000521: JUMPI
00000522: PUSH1 0x00
00000524: DUP1
00000525: REVERT
00000526: JUMPDEST
00000527: POP
00000528: PUSH2 0x0318
0000052b: PUSH32 0x0000000000000000000000000000000000000000000000000000000000001f0e
0000054c: DUP2
0000054d: JUMP
0000054e: JUMPDEST
0000054f: CALLVALUE
00000550: DUP1
00000551: ISZERO
00000552: PUSH2 0x055a
00000555: JUMPI
00000556: PUSH1 0x00
00000558: DUP1
00000559: REVERT
0000055a: JUMPDEST
0000055b: POP
0000055c: PUSH2 0x024d
0000055f: PUSH2 0x0e05
00000562: JUMP
00000563: JUMPDEST
00000564: CALLVALUE
00000565: DUP1
00000566: ISZERO
00000567: PUSH2 0x056f
0000056a: JUMPI
0000056b: PUSH1 0x00
0000056d: DUP1
0000056e: REVERT
0000056f: JUMPDEST
00000570: POP
00000571: PUSH2 0x0318
00000574: PUSH1 0x0a
00000576: SLOAD
00000577: DUP2
00000578: JUMP
00000579: JUMPDEST
0000057a: CALLVALUE
0000057b: DUP1
0000057c: ISZERO
0000057d: PUSH2 0x0585
00000580: JUMPI
00000581: PUSH1 0x00
00000583: DUP1
00000584: REVERT
00000585: JUMPDEST
00000586: POP
00000587: PUSH2 0x0318
0000058a: PUSH32 0x00000000000000000000000000000000000000000000000000000000000007d0
000005ab: DUP2
000005ac: JUMP
000005ad: JUMPDEST
000005ae: PUSH2 0x02bf
000005b1: PUSH2 0x05bb
000005b4: CALLDATASIZE
000005b5: PUSH1 0x04
000005b7: PUSH2 0x2216
000005ba: JUMP
000005bb: JUMPDEST
000005bc: PUSH2 0x0e14
000005bf: JUMP
000005c0: JUMPDEST
000005c1: CALLVALUE
000005c2: DUP1
000005c3: ISZERO
000005c4: PUSH2 0x05cc
000005c7: JUMPI
000005c8: PUSH1 0x00
000005ca: DUP1
000005cb: REVERT
000005cc: JUMPDEST
000005cd: POP
000005ce: PUSH2 0x02bf
000005d1: PUSH2 0x05db
000005d4: CALLDATASIZE
000005d5: PUSH1 0x04
000005d7: PUSH2 0x23ae
000005da: JUMP
000005db: JUMPDEST
000005dc: PUSH2 0x10fd
000005df: JUMP
000005e0: JUMPDEST
000005e1: CALLVALUE
000005e2: DUP1
000005e3: ISZERO
000005e4: PUSH2 0x05ec
000005e7: JUMPI
000005e8: PUSH1 0x00
000005ea: DUP1
000005eb: REVERT
000005ec: JUMPDEST
000005ed: POP
000005ee: PUSH2 0x02bf
000005f1: PUSH2 0x05fb
000005f4: CALLDATASIZE
000005f5: PUSH1 0x04
000005f7: PUSH2 0x2419
000005fa: JUMP
000005fb: JUMPDEST
000005fc: PUSH2 0x11e3
000005ff: JUMP
00000600: JUMPDEST
00000601: CALLVALUE
00000602: DUP1
00000603: ISZERO
00000604: PUSH2 0x060c
00000607: JUMPI
00000608: PUSH1 0x00
0000060a: DUP1
0000060b: REVERT
0000060c: JUMPDEST
0000060d: POP
0000060e: PUSH2 0x0318
00000611: PUSH1 0x0c
00000613: SLOAD
00000614: DUP2
00000615: JUMP
00000616: JUMPDEST
00000617: CALLVALUE
00000618: DUP1
00000619: ISZERO
0000061a: PUSH2 0x0622
0000061d: JUMPI
0000061e: PUSH1 0x00
00000620: DUP1
00000621: REVERT
00000622: JUMPDEST
00000623: POP
00000624: PUSH2 0x024d
00000627: PUSH2 0x0631
0000062a: CALLDATASIZE
0000062b: PUSH1 0x04
0000062d: PUSH2 0x2216
00000630: JUMP
00000631: JUMPDEST
00000632: PUSH2 0x125a
00000635: JUMP
00000636: JUMPDEST
00000637: CALLVALUE
00000638: DUP1
00000639: ISZERO
0000063a: PUSH2 0x0642
0000063d: JUMPI
0000063e: PUSH1 0x00
00000640: DUP1
00000641: REVERT
00000642: JUMPDEST
00000643: POP
00000644: PUSH2 0x0318
00000647: PUSH2 0x12f7
0000064a: JUMP
0000064b: JUMPDEST
0000064c: CALLVALUE
0000064d: DUP1
0000064e: ISZERO
0000064f: PUSH2 0x0657
00000652: JUMPI
00000653: PUSH1 0x00
00000655: DUP1
00000656: REVERT
00000657: JUMPDEST
00000658: POP
00000659: PUSH2 0x0318
0000065c: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000014
0000067d: DUP2
0000067e: JUMP
0000067f: JUMPDEST
00000680: CALLVALUE
00000681: DUP1
00000682: ISZERO
00000683: PUSH2 0x068b
00000686: JUMPI
00000687: PUSH1 0x00
00000689: DUP1
0000068a: REVERT
0000068b: JUMPDEST
0000068c: POP
0000068d: PUSH2 0x0223
00000690: PUSH2 0x069a
00000693: CALLDATASIZE
00000694: PUSH1 0x04
00000696: PUSH2 0x2513
00000699: JUMP
0000069a: JUMPDEST
0000069b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006b0: SWAP2
000006b1: DUP3
000006b2: AND
000006b3: PUSH1 0x00
000006b5: SWAP1
000006b6: DUP2
000006b7: MSTORE
000006b8: PUSH1 0x08
000006ba: PUSH1 0x20
000006bc: SWAP1
000006bd: DUP2
000006be: MSTORE
000006bf: PUSH1 0x40
000006c1: DUP1
000006c2: DUP4
000006c3: KECCAK256
000006c4: SWAP4
000006c5: SWAP1
000006c6: SWAP5
000006c7: AND
000006c8: DUP3
000006c9: MSTORE
000006ca: SWAP2
000006cb: SWAP1
000006cc: SWAP2
000006cd: MSTORE
000006ce: KECCAK256
000006cf: SLOAD
000006d0: PUSH1 0xff
000006d2: AND
000006d3: SWAP1
000006d4: JUMP
000006d5: JUMPDEST
000006d6: CALLVALUE
000006d7: DUP1
000006d8: ISZERO
000006d9: PUSH2 0x06e1
000006dc: JUMPI
000006dd: PUSH1 0x00
000006df: DUP1
000006e0: REVERT
000006e1: JUMPDEST
000006e2: POP
000006e3: PUSH2 0x02bf
000006e6: PUSH2 0x06f0
000006e9: CALLDATASIZE
000006ea: PUSH1 0x04
000006ec: PUSH2 0x2393
000006ef: JUMP
000006f0: JUMPDEST
000006f1: PUSH2 0x1373
000006f4: JUMP
000006f5: JUMPDEST
000006f6: PUSH1 0x00
000006f8: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
00000719: DUP3
0000071a: AND
0000071b: PUSH32 0x80ac58cd00000000000000000000000000000000000000000000000000000000
0000073c: EQ
0000073d: DUP1
0000073e: PUSH2 0x0788
00000741: JUMPI
00000742: POP
00000743: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
00000764: DUP3
00000765: AND
00000766: PUSH32 0x5b5e139f00000000000000000000000000000000000000000000000000000000
00000787: EQ
00000788: JUMPDEST
00000789: DUP1
0000078a: PUSH2 0x07d4
0000078d: JUMPI
0000078e: POP
0000078f: PUSH32 0x01ffc9a700000000000000000000000000000000000000000000000000000000
000007b0: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
000007d1: DUP4
000007d2: AND
000007d3: EQ
000007d4: JUMPDEST
000007d5: SWAP3
000007d6: SWAP2
000007d7: POP
000007d8: POP
000007d9: JUMP
000007da: JUMPDEST
000007db: PUSH1 0x60
000007dd: PUSH1 0x03
000007df: DUP1
000007e0: SLOAD
000007e1: PUSH2 0x07e9
000007e4: SWAP1
000007e5: PUSH2 0x2546
000007e8: JUMP
000007e9: JUMPDEST
000007ea: DUP1
000007eb: PUSH1 0x1f
000007ed: ADD
000007ee: PUSH1 0x20
000007f0: DUP1
000007f1: SWAP2
000007f2: DIV
000007f3: MUL
000007f4: PUSH1 0x20
000007f6: ADD
000007f7: PUSH1 0x40
000007f9: MLOAD
000007fa: SWAP1
000007fb: DUP2
000007fc: ADD
000007fd: PUSH1 0x40
000007ff: MSTORE
00000800: DUP1
00000801: SWAP3
00000802: SWAP2
00000803: SWAP1
00000804: DUP2
00000805: DUP2
00000806: MSTORE
00000807: PUSH1 0x20
00000809: ADD
0000080a: DUP3
0000080b: DUP1
0000080c: SLOAD
0000080d: PUSH2 0x0815
00000810: SWAP1
00000811: PUSH2 0x2546
00000814: JUMP
00000815: JUMPDEST
00000816: DUP1
00000817: ISZERO
00000818: PUSH2 0x0862
0000081b: JUMPI
0000081c: DUP1
0000081d: PUSH1 0x1f
0000081f: LT
00000820: PUSH2 0x0837
00000823: JUMPI
00000824: PUSH2 0x0100
00000827: DUP1
00000828: DUP4
00000829: SLOAD
0000082a: DIV
0000082b: MUL
0000082c: DUP4
0000082d: MSTORE
0000082e: SWAP2
0000082f: PUSH1 0x20
00000831: ADD
00000832: SWAP2
00000833: PUSH2 0x0862
00000836: JUMP
00000837: JUMPDEST
00000838: DUP3
00000839: ADD
0000083a: SWAP2
0000083b: SWAP1
0000083c: PUSH1 0x00
0000083e: MSTORE
0000083f: PUSH1 0x20
00000841: PUSH1 0x00
00000843: KECCAK256
00000844: SWAP1
00000845: JUMPDEST
00000846: DUP2
00000847: SLOAD
00000848: DUP2
00000849: MSTORE
0000084a: SWAP1
0000084b: PUSH1 0x01
0000084d: ADD
0000084e: SWAP1
0000084f: PUSH1 0x20
00000851: ADD
00000852: DUP1
00000853: DUP4
00000854: GT
00000855: PUSH2 0x0845
00000858: JUMPI
00000859: DUP3
0000085a: SWAP1
0000085b: SUB
0000085c: PUSH1 0x1f
0000085e: AND
0000085f: DUP3
00000860: ADD
00000861: SWAP2
00000862: JUMPDEST
00000863: POP
00000864: POP
00000865: POP
00000866: POP
00000867: POP
00000868: SWAP1
00000869: POP
0000086a: SWAP1
0000086b: JUMP
0000086c: JUMPDEST
0000086d: PUSH1 0x00
0000086f: PUSH2 0x0877
00000872: DUP3
00000873: PUSH2 0x146c
00000876: JUMP
00000877: JUMPDEST
00000878: PUSH2 0x08ad
0000087b: JUMPI
0000087c: PUSH1 0x40
0000087e: MLOAD
0000087f: PUSH32 0xcf4700e400000000000000000000000000000000000000000000000000000000
000008a0: DUP2
000008a1: MSTORE
000008a2: PUSH1 0x04
000008a4: ADD
000008a5: PUSH1 0x40
000008a7: MLOAD
000008a8: DUP1
000008a9: SWAP2
000008aa: SUB
000008ab: SWAP1
000008ac: REVERT
000008ad: JUMPDEST
000008ae: POP
000008af: PUSH1 0x00
000008b1: SWAP1
000008b2: DUP2
000008b3: MSTORE
000008b4: PUSH1 0x07
000008b6: PUSH1 0x20
000008b8: MSTORE
000008b9: PUSH1 0x40
000008bb: SWAP1
000008bc: KECCAK256
000008bd: SLOAD
000008be: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008d3: AND
000008d4: SWAP1
000008d5: JUMP
000008d6: JUMPDEST
000008d7: PUSH1 0x00
000008d9: PUSH2 0x08e1
000008dc: DUP3
000008dd: PUSH2 0x0baa
000008e0: JUMP
000008e1: JUMPDEST
000008e2: SWAP1
000008e3: POP
000008e4: DUP1
000008e5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008fa: AND
000008fb: DUP4
000008fc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000911: AND
00000912: SUB
00000913: PUSH2 0x0948
00000916: JUMPI
00000917: PUSH1 0x40
00000919: MLOAD
0000091a: PUSH32 0x943f7b8c00000000000000000000000000000000000000000000000000000000
0000093b: DUP2
0000093c: MSTORE
0000093d: PUSH1 0x04
0000093f: ADD
00000940: PUSH1 0x40
00000942: MLOAD
00000943: DUP1
00000944: SWAP2
00000945: SUB
00000946: SWAP1
00000947: REVERT
00000948: JUMPDEST
00000949: CALLER
0000094a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000095f: DUP3
00000960: AND
00000961: EQ
00000962: DUP1
00000963: ISZERO
00000964: SWAP1
00000965: PUSH2 0x0975
00000968: JUMPI
00000969: POP
0000096a: PUSH2 0x0973
0000096d: DUP2
0000096e: CALLER
0000096f: PUSH2 0x069a
00000972: JUMP
00000973: JUMPDEST
00000974: ISZERO
00000975: JUMPDEST
00000976: ISZERO
00000977: PUSH2 0x09ac
0000097a: JUMPI
0000097b: PUSH1 0x40
0000097d: MLOAD
0000097e: PUSH32 0xcfb3b94200000000000000000000000000000000000000000000000000000000
0000099f: DUP2
000009a0: MSTORE
000009a1: PUSH1 0x04
000009a3: ADD
000009a4: PUSH1 0x40
000009a6: MLOAD
000009a7: DUP1
000009a8: SWAP2
000009a9: SUB
000009aa: SWAP1
000009ab: REVERT
000009ac: JUMPDEST
000009ad: PUSH2 0x09b7
000009b0: DUP4
000009b1: DUP4
000009b2: DUP4
000009b3: PUSH2 0x14be
000009b6: JUMP
000009b7: JUMPDEST
000009b8: POP
000009b9: POP
000009ba: POP
000009bb: JUMP
000009bc: JUMPDEST
000009bd: PUSH1 0x00
000009bf: SLOAD
000009c0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009d5: AND
000009d6: CALLER
000009d7: EQ
000009d8: PUSH2 0x0a28
000009db: JUMPI
000009dc: PUSH1 0x40
000009de: MLOAD
000009df: PUSH3 0x461bcd
000009e3: PUSH1 0xe5
000009e5: SHL
000009e6: DUP2
000009e7: MSTORE
000009e8: PUSH1 0x20
000009ea: PUSH1 0x04
000009ec: DUP3
000009ed: ADD
000009ee: DUP2
000009ef: SWAP1
000009f0: MSTORE
000009f1: PUSH1 0x24
000009f3: DUP3
000009f4: ADD
000009f5: MSTORE
000009f6: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00000a17: PUSH1 0x44
00000a19: DUP3
00000a1a: ADD
00000a1b: MSTORE
00000a1c: PUSH1 0x64
00000a1e: ADD
00000a1f: JUMPDEST
00000a20: PUSH1 0x40
00000a22: MLOAD
00000a23: DUP1
00000a24: SWAP2
00000a25: SUB
00000a26: SWAP1
00000a27: REVERT
00000a28: JUMPDEST
00000a29: PUSH1 0x0c
00000a2b: SLOAD
00000a2c: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000032
00000a4d: SWAP1
00000a4e: PUSH2 0x0a58
00000a51: SWAP1
00000a52: DUP4
00000a53: SWAP1
00000a54: PUSH2 0x25c8
00000a57: JUMP
00000a58: JUMPDEST
00000a59: GT
00000a5a: ISZERO
00000a5b: PUSH2 0x0aa8
00000a5e: JUMPI
00000a5f: PUSH1 0x40
00000a61: MLOAD
00000a62: PUSH3 0x461bcd
00000a66: PUSH1 0xe5
00000a68: SHL
00000a69: DUP2
00000a6a: MSTORE
00000a6b: PUSH1 0x04
00000a6d: ADD
00000a6e: PUSH2 0x0a1f
00000a71: SWAP1
00000a72: PUSH1 0x20
00000a74: DUP1
00000a75: DUP3
00000a76: MSTORE
00000a77: PUSH1 0x04
00000a79: SWAP1
00000a7a: DUP3
00000a7b: ADD
00000a7c: MSTORE
00000a7d: PUSH32 0x4d41584700000000000000000000000000000000000000000000000000000000
00000a9e: PUSH1 0x40
00000aa0: DUP3
00000aa1: ADD
00000aa2: MSTORE
00000aa3: PUSH1 0x60
00000aa5: ADD
00000aa6: SWAP1
00000aa7: JUMP
00000aa8: JUMPDEST
00000aa9: DUP2
00000aaa: DUP2
00000aab: SWAP1
00000aac: POP
00000aad: PUSH1 0x0c
00000aaf: PUSH1 0x00
00000ab1: DUP3
00000ab2: DUP3
00000ab3: SLOAD
00000ab4: PUSH2 0x0abd
00000ab7: SWAP2
00000ab8: SWAP1
00000ab9: PUSH2 0x25c8
00000abc: JUMP
00000abd: JUMPDEST
00000abe: SWAP1
00000abf: SWAP2
00000ac0: SSTORE
00000ac1: POP
00000ac2: PUSH1 0x00
00000ac4: SWAP1
00000ac5: POP
00000ac6: JUMPDEST
00000ac7: DUP2
00000ac8: DUP2
00000ac9: LT
00000aca: ISZERO
00000acb: PUSH2 0x09b7
00000ace: JUMPI
00000acf: PUSH2 0x0aff
00000ad2: DUP4
00000ad3: DUP4
00000ad4: DUP4
00000ad5: DUP2
00000ad6: DUP2
00000ad7: LT
00000ad8: PUSH2 0x0ae3
00000adb: JUMPI
00000adc: PUSH2 0x0ae3
00000adf: PUSH2 0x25e0
00000ae2: JUMP
00000ae3: JUMPDEST
00000ae4: SWAP1
00000ae5: POP
00000ae6: PUSH1 0x20
00000ae8: MUL
00000ae9: ADD
00000aea: PUSH1 0x20
00000aec: DUP2
00000aed: ADD
00000aee: SWAP1
00000aef: PUSH2 0x0af8
00000af2: SWAP2
00000af3: SWAP1
00000af4: PUSH2 0x2393
00000af7: JUMP
00000af8: JUMPDEST
00000af9: PUSH1 0x01
00000afb: PUSH2 0x153f
00000afe: JUMP
00000aff: JUMPDEST
00000b00: DUP1
00000b01: PUSH2 0x0b09
00000b04: DUP2
00000b05: PUSH2 0x260f
00000b08: JUMP
00000b09: JUMPDEST
00000b0a: SWAP2
00000b0b: POP
00000b0c: POP
00000b0d: PUSH2 0x0ac6
00000b10: JUMP
00000b11: JUMPDEST
00000b12: PUSH2 0x09b7
00000b15: DUP4
00000b16: DUP4
00000b17: DUP4
00000b18: PUSH2 0x155d
00000b1b: JUMP
00000b1c: JUMPDEST
00000b1d: PUSH2 0x09b7
00000b20: DUP4
00000b21: DUP4
00000b22: DUP4
00000b23: PUSH1 0x40
00000b25: MLOAD
00000b26: DUP1
00000b27: PUSH1 0x20
00000b29: ADD
00000b2a: PUSH1 0x40
00000b2c: MSTORE
00000b2d: DUP1
00000b2e: PUSH1 0x00
00000b30: DUP2
00000b31: MSTORE
00000b32: POP
00000b33: PUSH2 0x11e3
00000b36: JUMP
00000b37: JUMPDEST
00000b38: PUSH1 0x00
00000b3a: SLOAD
00000b3b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b50: AND
00000b51: CALLER
00000b52: EQ
00000b53: PUSH2 0x0b9e
00000b56: JUMPI
00000b57: PUSH1 0x40
00000b59: MLOAD
00000b5a: PUSH3 0x461bcd
00000b5e: PUSH1 0xe5
00000b60: SHL
00000b61: DUP2
00000b62: MSTORE
00000b63: PUSH1 0x20
00000b65: PUSH1 0x04
00000b67: DUP3
00000b68: ADD
00000b69: DUP2
00000b6a: SWAP1
00000b6b: MSTORE
00000b6c: PUSH1 0x24
00000b6e: DUP3
00000b6f: ADD
00000b70: MSTORE
00000b71: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00000b92: PUSH1 0x44
00000b94: DUP3
00000b95: ADD
00000b96: MSTORE
00000b97: PUSH1 0x64
00000b99: ADD
00000b9a: PUSH2 0x0a1f
00000b9d: JUMP
00000b9e: JUMPDEST
00000b9f: PUSH2 0x09b7
00000ba2: PUSH1 0x09
00000ba4: DUP4
00000ba5: DUP4
00000ba6: PUSH2 0x208b
00000ba9: JUMP
00000baa: JUMPDEST
00000bab: PUSH1 0x00
00000bad: PUSH2 0x0bb5
00000bb0: DUP3
00000bb1: PUSH2 0x18c8
00000bb4: JUMP
00000bb5: JUMPDEST
00000bb6: MLOAD
00000bb7: SWAP3
00000bb8: SWAP2
00000bb9: POP
00000bba: POP
00000bbb: JUMP
00000bbc: JUMPDEST
00000bbd: PUSH1 0x00
00000bbf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bd4: DUP3
00000bd5: AND
00000bd6: PUSH2 0x0c0b
00000bd9: JUMPI
00000bda: PUSH1 0x40
00000bdc: MLOAD
00000bdd: PUSH32 0x8f4eb60400000000000000000000000000000000000000000000000000000000
00000bfe: DUP2
00000bff: MSTORE
00000c00: PUSH1 0x04
00000c02: ADD
00000c03: PUSH1 0x40
00000c05: MLOAD
00000c06: DUP1
00000c07: SWAP2
00000c08: SUB
00000c09: SWAP1
00000c0a: REVERT
00000c0b: JUMPDEST
00000c0c: POP
00000c0d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c22: AND
00000c23: PUSH1 0x00
00000c25: SWAP1
00000c26: DUP2
00000c27: MSTORE
00000c28: PUSH1 0x06
00000c2a: PUSH1 0x20
00000c2c: MSTORE
00000c2d: PUSH1 0x40
00000c2f: SWAP1
00000c30: KECCAK256
00000c31: SLOAD
00000c32: PUSH8 0xffffffffffffffff
00000c3b: AND
00000c3c: SWAP1
00000c3d: JUMP
00000c3e: JUMPDEST
00000c3f: PUSH1 0x00
00000c41: SLOAD
00000c42: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c57: AND
00000c58: CALLER
00000c59: EQ
00000c5a: PUSH2 0x0ca5
00000c5d: JUMPI
00000c5e: PUSH1 0x40
00000c60: MLOAD
00000c61: PUSH3 0x461bcd
00000c65: PUSH1 0xe5
00000c67: SHL
00000c68: DUP2
00000c69: MSTORE
00000c6a: PUSH1 0x20
00000c6c: PUSH1 0x04
00000c6e: DUP3
00000c6f: ADD
00000c70: DUP2
00000c71: SWAP1
00000c72: MSTORE
00000c73: PUSH1 0x24
00000c75: DUP3
00000c76: ADD
00000c77: MSTORE
00000c78: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00000c99: PUSH1 0x44
00000c9b: DUP3
00000c9c: ADD
00000c9d: MSTORE
00000c9e: PUSH1 0x64
00000ca0: ADD
00000ca1: PUSH2 0x0a1f
00000ca4: JUMP
00000ca5: JUMPDEST
00000ca6: PUSH2 0x0caf
00000ca9: PUSH1 0x00
00000cab: PUSH2 0x1aa3
00000cae: JUMP
00000caf: JUMPDEST
00000cb0: JUMP
00000cb1: JUMPDEST
00000cb2: PUSH1 0x00
00000cb4: SLOAD
00000cb5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cca: AND
00000ccb: CALLER
00000ccc: EQ
00000ccd: PUSH2 0x0d18
00000cd0: JUMPI
00000cd1: PUSH1 0x40
00000cd3: MLOAD
00000cd4: PUSH3 0x461bcd
00000cd8: PUSH1 0xe5
00000cda: SHL
00000cdb: DUP2
00000cdc: MSTORE
00000cdd: PUSH1 0x20
00000cdf: PUSH1 0x04
00000ce1: DUP3
00000ce2: ADD
00000ce3: DUP2
00000ce4: SWAP1
00000ce5: MSTORE
00000ce6: PUSH1 0x24
00000ce8: DUP3
00000ce9: ADD
00000cea: MSTORE
00000ceb: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00000d0c: PUSH1 0x44
00000d0e: DUP3
00000d0f: ADD
00000d10: MSTORE
00000d11: PUSH1 0x64
00000d13: ADD
00000d14: PUSH2 0x0a1f
00000d17: JUMP
00000d18: JUMPDEST
00000d19: PUSH1 0x0a
00000d1b: SSTORE
00000d1c: JUMP
00000d1d: JUMPDEST
00000d1e: PUSH1 0x00
00000d20: SLOAD
00000d21: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d36: AND
00000d37: CALLER
00000d38: EQ
00000d39: PUSH2 0x0d84
00000d3c: JUMPI
00000d3d: PUSH1 0x40
00000d3f: MLOAD
00000d40: PUSH3 0x461bcd
00000d44: PUSH1 0xe5
00000d46: SHL
00000d47: DUP2
00000d48: MSTORE
00000d49: PUSH1 0x20
00000d4b: PUSH1 0x04
00000d4d: DUP3
00000d4e: ADD
00000d4f: DUP2
00000d50: SWAP1
00000d51: MSTORE
00000d52: PUSH1 0x24
00000d54: DUP3
00000d55: ADD
00000d56: MSTORE
00000d57: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00000d78: PUSH1 0x44
00000d7a: DUP3
00000d7b: ADD
00000d7c: MSTORE
00000d7d: PUSH1 0x64
00000d7f: ADD
00000d80: PUSH2 0x0a1f
00000d83: JUMP
00000d84: JUMPDEST
00000d85: PUSH1 0x00
00000d87: SELFBALANCE
00000d88: GT
00000d89: PUSH2 0x0dd6
00000d8c: JUMPI
00000d8d: PUSH1 0x40
00000d8f: MLOAD
00000d90: PUSH3 0x461bcd
00000d94: PUSH1 0xe5
00000d96: SHL
00000d97: DUP2
00000d98: MSTORE
00000d99: PUSH1 0x04
00000d9b: ADD
00000d9c: PUSH2 0x0a1f
00000d9f: SWAP1
00000da0: PUSH1 0x20
00000da2: DUP1
00000da3: DUP3
00000da4: MSTORE
00000da5: PUSH1 0x04
00000da7: SWAP1
00000da8: DUP3
00000da9: ADD
00000daa: MSTORE
00000dab: PUSH32 0x5a45524f00000000000000000000000000000000000000000000000000000000
00000dcc: PUSH1 0x40
00000dce: DUP3
00000dcf: ADD
00000dd0: MSTORE
00000dd1: PUSH1 0x60
00000dd3: ADD
00000dd4: SWAP1
00000dd5: JUMP
00000dd6: JUMPDEST
00000dd7: PUSH1 0x40
00000dd9: MLOAD
00000dda: CALLER
00000ddb: SWAP1
00000ddc: SELFBALANCE
00000ddd: DUP1
00000dde: ISZERO
00000ddf: PUSH2 0x08fc
00000de2: MUL
00000de3: SWAP2
00000de4: PUSH1 0x00
00000de6: DUP2
00000de7: DUP2
00000de8: DUP2
00000de9: DUP6
00000dea: DUP9
00000deb: DUP9
00000dec: CALL
00000ded: SWAP4
00000dee: POP
00000def: POP
00000df0: POP
00000df1: POP
00000df2: ISZERO
00000df3: DUP1
00000df4: ISZERO
00000df5: PUSH2 0x0e02
00000df8: JUMPI
00000df9: RETURNDATASIZE
00000dfa: PUSH1 0x00
00000dfc: DUP1
00000dfd: RETURNDATACOPY
00000dfe: RETURNDATASIZE
00000dff: PUSH1 0x00
00000e01: REVERT
00000e02: JUMPDEST
00000e03: POP
00000e04: JUMP
00000e05: JUMPDEST
00000e06: PUSH1 0x60
00000e08: PUSH1 0x04
00000e0a: DUP1
00000e0b: SLOAD
00000e0c: PUSH2 0x07e9
00000e0f: SWAP1
00000e10: PUSH2 0x2546
00000e13: JUMP
00000e14: JUMPDEST
00000e15: PUSH32 0x00000000000000000000000000000000000000000000000000000000000007d0
00000e36: PUSH1 0x0b
00000e38: SLOAD
00000e39: LT
00000e3a: ISZERO
00000e3b: PUSH2 0x0f30
00000e3e: JUMPI
00000e3f: PUSH32 0x00000000000000000000000000000000000000000000000000000000000007d0
00000e60: DUP2
00000e61: PUSH1 0x0b
00000e63: SLOAD
00000e64: PUSH2 0x0e6d
00000e67: SWAP2
00000e68: SWAP1
00000e69: PUSH2 0x25c8
00000e6c: JUMP
00000e6d: JUMPDEST
00000e6e: GT
00000e6f: ISZERO
00000e70: PUSH2 0x0ebd
00000e73: JUMPI
00000e74: PUSH1 0x40
00000e76: MLOAD
00000e77: PUSH3 0x461bcd
00000e7b: PUSH1 0xe5
00000e7d: SHL
00000e7e: DUP2
00000e7f: MSTORE
00000e80: PUSH1 0x04
00000e82: ADD
00000e83: PUSH2 0x0a1f
00000e86: SWAP1
00000e87: PUSH1 0x20
00000e89: DUP1
00000e8a: DUP3
00000e8b: MSTORE
00000e8c: PUSH1 0x04
00000e8e: SWAP1
00000e8f: DUP3
00000e90: ADD
00000e91: MSTORE
00000e92: PUSH32 0x4d41584c00000000000000000000000000000000000000000000000000000000
00000eb3: PUSH1 0x40
00000eb5: DUP3
00000eb6: ADD
00000eb7: MSTORE
00000eb8: PUSH1 0x60
00000eba: ADD
00000ebb: SWAP1
00000ebc: JUMP
00000ebd: JUMPDEST
00000ebe: PUSH1 0x0a
00000ec0: SLOAD
00000ec1: CALLER
00000ec2: PUSH1 0x00
00000ec4: SWAP1
00000ec5: DUP2
00000ec6: MSTORE
00000ec7: PUSH1 0x0d
00000ec9: PUSH1 0x20
00000ecb: MSTORE
00000ecc: PUSH1 0x40
00000ece: SWAP1
00000ecf: KECCAK256
00000ed0: SLOAD
00000ed1: PUSH2 0x0edb
00000ed4: SWAP1
00000ed5: DUP4
00000ed6: SWAP1
00000ed7: PUSH2 0x25c8
00000eda: JUMP
00000edb: JUMPDEST
00000edc: GT
00000edd: ISZERO
00000ede: PUSH2 0x0f2b
00000ee1: JUMPI
00000ee2: PUSH1 0x40
00000ee4: MLOAD
00000ee5: PUSH3 0x461bcd
00000ee9: PUSH1 0xe5
00000eeb: SHL
00000eec: DUP2
00000eed: MSTORE
00000eee: PUSH1 0x04
00000ef0: ADD
00000ef1: PUSH2 0x0a1f
00000ef4: SWAP1
00000ef5: PUSH1 0x20
00000ef7: DUP1
00000ef8: DUP3
00000ef9: MSTORE
00000efa: PUSH1 0x04
00000efc: SWAP1
00000efd: DUP3
00000efe: ADD
00000eff: MSTORE
00000f00: PUSH32 0x4d41584600000000000000000000000000000000000000000000000000000000
00000f21: PUSH1 0x40
00000f23: DUP3
00000f24: ADD
00000f25: MSTORE
00000f26: PUSH1 0x60
00000f28: ADD
00000f29: SWAP1
00000f2a: JUMP
00000f2b: JUMPDEST
00000f2c: PUSH2 0x10b7
00000f2f: JUMP
00000f30: JUMPDEST
00000f31: PUSH32 0x00000000000000000000000000000000000000000000000000000000000026de
00000f52: DUP2
00000f53: PUSH1 0x0b
00000f55: SLOAD
00000f56: PUSH2 0x0f5f
00000f59: SWAP2
00000f5a: SWAP1
00000f5b: PUSH2 0x25c8
00000f5e: JUMP
00000f5f: JUMPDEST
00000f60: GT
00000f61: ISZERO
00000f62: PUSH2 0x0faf
00000f65: JUMPI
00000f66: PUSH1 0x40
00000f68: MLOAD
00000f69: PUSH3 0x461bcd
00000f6d: PUSH1 0xe5
00000f6f: SHL
00000f70: DUP2
00000f71: MSTORE
00000f72: PUSH1 0x04
00000f74: ADD
00000f75: PUSH2 0x0a1f
00000f78: SWAP1
00000f79: PUSH1 0x20
00000f7b: DUP1
00000f7c: DUP3
00000f7d: MSTORE
00000f7e: PUSH1 0x04
00000f80: SWAP1
00000f81: DUP3
00000f82: ADD
00000f83: MSTORE
00000f84: PUSH32 0x4d41584c00000000000000000000000000000000000000000000000000000000
00000fa5: PUSH1 0x40
00000fa7: DUP3
00000fa8: ADD
00000fa9: MSTORE
00000faa: PUSH1 0x60
00000fac: ADD
00000fad: SWAP1
00000fae: JUMP
00000faf: JUMPDEST
00000fb0: CALLER
00000fb1: PUSH1 0x00
00000fb3: SWAP1
00000fb4: DUP2
00000fb5: MSTORE
00000fb6: PUSH1 0x0d
00000fb8: PUSH1 0x20
00000fba: MSTORE
00000fbb: PUSH1 0x40
00000fbd: SWAP1
00000fbe: KECCAK256
00000fbf: SLOAD
00000fc0: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000014
00000fe1: SWAP1
00000fe2: PUSH2 0x0fec
00000fe5: SWAP1
00000fe6: DUP4
00000fe7: SWAP1
00000fe8: PUSH2 0x25c8
00000feb: JUMP
00000fec: JUMPDEST
00000fed: GT
00000fee: ISZERO
00000fef: PUSH2 0x103c
00000ff2: JUMPI
00000ff3: PUSH1 0x40
00000ff5: MLOAD
00000ff6: PUSH3 0x461bcd
00000ffa: PUSH1 0xe5
00000ffc: SHL
00000ffd: DUP2
00000ffe: MSTORE
00000fff: PUSH1 0x04
00001001: ADD
00001002: PUSH2 0x0a1f
00001005: SWAP1
00001006: PUSH1 0x20
00001008: DUP1
00001009: DUP3
0000100a: MSTORE
0000100b: PUSH1 0x04
0000100d: SWAP1
0000100e: DUP3
0000100f: ADD
00001010: MSTORE
00001011: PUSH32 0x4d41585000000000000000000000000000000000000000000000000000000000
00001032: PUSH1 0x40
00001034: DUP3
00001035: ADD
00001036: MSTORE
00001037: PUSH1 0x60
00001039: ADD
0000103a: SWAP1
0000103b: JUMP
0000103c: JUMPDEST
0000103d: PUSH2 0x1066
00001040: DUP2
00001041: PUSH32 0x000000000000000000000000000000000000000000000000004380663abb8000
00001062: PUSH2 0x2647
00001065: JUMP
00001066: JUMPDEST
00001067: CALLVALUE
00001068: LT
00001069: ISZERO
0000106a: PUSH2 0x10b7
0000106d: JUMPI
0000106e: PUSH1 0x40
00001070: MLOAD
00001071: PUSH3 0x461bcd
00001075: PUSH1 0xe5
00001077: SHL
00001078: DUP2
00001079: MSTORE
0000107a: PUSH1 0x04
0000107c: ADD
0000107d: PUSH2 0x0a1f
00001080: SWAP1
00001081: PUSH1 0x20
00001083: DUP1
00001084: DUP3
00001085: MSTORE
00001086: PUSH1 0x04
00001088: SWAP1
00001089: DUP3
0000108a: ADD
0000108b: MSTORE
0000108c: PUSH32 0x5345544800000000000000000000000000000000000000000000000000000000
000010ad: PUSH1 0x40
000010af: DUP3
000010b0: ADD
000010b1: MSTORE
000010b2: PUSH1 0x60
000010b4: ADD
000010b5: SWAP1
000010b6: JUMP
000010b7: JUMPDEST
000010b8: DUP1
000010b9: PUSH1 0x0b
000010bb: PUSH1 0x00
000010bd: DUP3
000010be: DUP3
000010bf: SLOAD
000010c0: PUSH2 0x10c9
000010c3: SWAP2
000010c4: SWAP1
000010c5: PUSH2 0x25c8
000010c8: JUMP
000010c9: JUMPDEST
000010ca: SWAP1
000010cb: SWAP2
000010cc: SSTORE
000010cd: POP
000010ce: POP
000010cf: CALLER
000010d0: PUSH1 0x00
000010d2: SWAP1
000010d3: DUP2
000010d4: MSTORE
000010d5: PUSH1 0x0d
000010d7: PUSH1 0x20
000010d9: MSTORE
000010da: PUSH1 0x40
000010dc: DUP2
000010dd: KECCAK256
000010de: DUP1
000010df: SLOAD
000010e0: DUP4
000010e1: SWAP3
000010e2: SWAP1
000010e3: PUSH2 0x10ed
000010e6: SWAP1
000010e7: DUP5
000010e8: SWAP1
000010e9: PUSH2 0x25c8
000010ec: JUMP
000010ed: JUMPDEST
000010ee: SWAP1
000010ef: SWAP2
000010f0: SSTORE
000010f1: POP
000010f2: PUSH2 0x0e02
000010f5: SWAP1
000010f6: POP
000010f7: CALLER
000010f8: DUP3
000010f9: PUSH2 0x153f
000010fc: JUMP
000010fd: JUMPDEST
000010fe: CALLER
000010ff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001114: DUP4
00001115: AND
00001116: SUB
00001117: PUSH2 0x114c
0000111a: JUMPI
0000111b: PUSH1 0x40
0000111d: MLOAD
0000111e: PUSH32 0xb06307db00000000000000000000000000000000000000000000000000000000
0000113f: DUP2
00001140: MSTORE
00001141: PUSH1 0x04
00001143: ADD
00001144: PUSH1 0x40
00001146: MLOAD
00001147: DUP1
00001148: SWAP2
00001149: SUB
0000114a: SWAP1
0000114b: REVERT
0000114c: JUMPDEST
0000114d: CALLER
0000114e: PUSH1 0x00
00001150: DUP2
00001151: DUP2
00001152: MSTORE
00001153: PUSH1 0x08
00001155: PUSH1 0x20
00001157: SWAP1
00001158: DUP2
00001159: MSTORE
0000115a: PUSH1 0x40
0000115c: DUP1
0000115d: DUP4
0000115e: KECCAK256
0000115f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001174: DUP8
00001175: AND
00001176: DUP1
00001177: DUP6
00001178: MSTORE
00001179: SWAP1
0000117a: DUP4
0000117b: MSTORE
0000117c: SWAP3
0000117d: DUP2
0000117e: SWAP1
0000117f: KECCAK256
00001180: DUP1
00001181: SLOAD
00001182: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
000011a3: AND
000011a4: DUP7
000011a5: ISZERO
000011a6: ISZERO
000011a7: SWAP1
000011a8: DUP2
000011a9: OR
000011aa: SWAP1
000011ab: SWAP2
000011ac: SSTORE
000011ad: SWAP1
000011ae: MLOAD
000011af: SWAP1
000011b0: DUP2
000011b1: MSTORE
000011b2: SWAP2
000011b3: SWAP3
000011b4: SWAP2
000011b5: PUSH32 0x17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c31
000011d6: SWAP2
000011d7: ADD
000011d8: PUSH1 0x40
000011da: MLOAD
000011db: DUP1
000011dc: SWAP2
000011dd: SUB
000011de: SWAP1
000011df: LOG3
000011e0: POP
000011e1: POP
000011e2: JUMP
000011e3: JUMPDEST
000011e4: PUSH2 0x11ee
000011e7: DUP5
000011e8: DUP5
000011e9: DUP5
000011ea: PUSH2 0x155d
000011ed: JUMP
000011ee: JUMPDEST
000011ef: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001204: DUP4
00001205: AND
00001206: EXTCODESIZE
00001207: ISZERO
00001208: ISZERO
00001209: DUP1
0000120a: ISZERO
0000120b: PUSH2 0x121d
0000120e: JUMPI
0000120f: POP
00001210: PUSH2 0x121b
00001213: DUP5
00001214: DUP5
00001215: DUP5
00001216: DUP5
00001217: PUSH2 0x1b18
0000121a: JUMP
0000121b: JUMPDEST
0000121c: ISZERO
0000121d: JUMPDEST
0000121e: ISZERO
0000121f: PUSH2 0x1254
00001222: JUMPI
00001223: PUSH1 0x40
00001225: MLOAD
00001226: PUSH32 0xd1a57ed600000000000000000000000000000000000000000000000000000000
00001247: DUP2
00001248: MSTORE
00001249: PUSH1 0x04
0000124b: ADD
0000124c: PUSH1 0x40
0000124e: MLOAD
0000124f: DUP1
00001250: SWAP2
00001251: SUB
00001252: SWAP1
00001253: REVERT
00001254: JUMPDEST
00001255: POP
00001256: POP
00001257: POP
00001258: POP
00001259: JUMP
0000125a: JUMPDEST
0000125b: PUSH1 0x60
0000125d: PUSH2 0x1265
00001260: DUP3
00001261: PUSH2 0x146c
00001264: JUMP
00001265: JUMPDEST
00001266: PUSH2 0x129b
00001269: JUMPI
0000126a: PUSH1 0x40
0000126c: MLOAD
0000126d: PUSH32 0xa14c4b5000000000000000000000000000000000000000000000000000000000
0000128e: DUP2
0000128f: MSTORE
00001290: PUSH1 0x04
00001292: ADD
00001293: PUSH1 0x40
00001295: MLOAD
00001296: DUP1
00001297: SWAP2
00001298: SUB
00001299: SWAP1
0000129a: REVERT
0000129b: JUMPDEST
0000129c: PUSH1 0x00
0000129e: PUSH2 0x12a5
000012a1: PUSH2 0x1c92
000012a4: JUMP
000012a5: JUMPDEST
000012a6: SWAP1
000012a7: POP
000012a8: DUP1
000012a9: MLOAD
000012aa: PUSH1 0x00
000012ac: SUB
000012ad: PUSH2 0x12c5
000012b0: JUMPI
000012b1: PUSH1 0x40
000012b3: MLOAD
000012b4: DUP1
000012b5: PUSH1 0x20
000012b7: ADD
000012b8: PUSH1 0x40
000012ba: MSTORE
000012bb: DUP1
000012bc: PUSH1 0x00
000012be: DUP2
000012bf: MSTORE
000012c0: POP
000012c1: PUSH2 0x12f0
000012c4: JUMP
000012c5: JUMPDEST
000012c6: DUP1
000012c7: PUSH2 0x12cf
000012ca: DUP5
000012cb: PUSH2 0x1ca1
000012ce: JUMP
000012cf: JUMPDEST
000012d0: PUSH1 0x40
000012d2: MLOAD
000012d3: PUSH1 0x20
000012d5: ADD
000012d6: PUSH2 0x12e0
000012d9: SWAP3
000012da: SWAP2
000012db: SWAP1
000012dc: PUSH2 0x2684
000012df: JUMP
000012e0: JUMPDEST
000012e1: PUSH1 0x40
000012e3: MLOAD
000012e4: PUSH1 0x20
000012e6: DUP2
000012e7: DUP4
000012e8: SUB
000012e9: SUB
000012ea: DUP2
000012eb: MSTORE
000012ec: SWAP1
000012ed: PUSH1 0x40
000012ef: MSTORE
000012f0: JUMPDEST
000012f1: SWAP4
000012f2: SWAP3
000012f3: POP
000012f4: POP
000012f5: POP
000012f6: JUMP
000012f7: JUMPDEST
000012f8: PUSH1 0x00
000012fa: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000032
0000131b: PUSH2 0x1364
0000131e: PUSH32 0x0000000000000000000000000000000000000000000000000000000000001f0e
0000133f: PUSH32 0x00000000000000000000000000000000000000000000000000000000000007d0
00001360: PUSH2 0x25c8
00001363: JUMP
00001364: JUMPDEST
00001365: PUSH2 0x136e
00001368: SWAP2
00001369: SWAP1
0000136a: PUSH2 0x25c8
0000136d: JUMP
0000136e: JUMPDEST
0000136f: SWAP1
00001370: POP
00001371: SWAP1
00001372: JUMP
00001373: JUMPDEST
00001374: PUSH1 0x00
00001376: SLOAD
00001377: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000138c: AND
0000138d: CALLER
0000138e: EQ
0000138f: PUSH2 0x13da
00001392: JUMPI
00001393: PUSH1 0x40
00001395: MLOAD
00001396: PUSH3 0x461bcd
0000139a: PUSH1 0xe5
0000139c: SHL
0000139d: DUP2
0000139e: MSTORE
0000139f: PUSH1 0x20
000013a1: PUSH1 0x04
000013a3: DUP3
000013a4: ADD
000013a5: DUP2
000013a6: SWAP1
000013a7: MSTORE
000013a8: PUSH1 0x24
000013aa: DUP3
000013ab: ADD
000013ac: MSTORE
000013ad: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
000013ce: PUSH1 0x44
000013d0: DUP3
000013d1: ADD
000013d2: MSTORE
000013d3: PUSH1 0x64
000013d5: ADD
000013d6: PUSH2 0x0a1f
000013d9: JUMP
000013da: JUMPDEST
000013db: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013f0: DUP2
000013f1: AND
000013f2: PUSH2 0x1463
000013f5: JUMPI
000013f6: PUSH1 0x40
000013f8: MLOAD
000013f9: PUSH3 0x461bcd
000013fd: PUSH1 0xe5
000013ff: SHL
00001400: DUP2
00001401: MSTORE
00001402: PUSH1 0x20
00001404: PUSH1 0x04
00001406: DUP3
00001407: ADD
00001408: MSTORE
00001409: PUSH1 0x26
0000140b: PUSH1 0x24
0000140d: DUP3
0000140e: ADD
0000140f: MSTORE
00001410: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061
00001431: PUSH1 0x44
00001433: DUP3
00001434: ADD
00001435: MSTORE
00001436: PUSH32 0x6464726573730000000000000000000000000000000000000000000000000000
00001457: PUSH1 0x64
00001459: DUP3
0000145a: ADD
0000145b: MSTORE
0000145c: PUSH1 0x84
0000145e: ADD
0000145f: PUSH2 0x0a1f
00001462: JUMP
00001463: JUMPDEST
00001464: PUSH2 0x0e02
00001467: DUP2
00001468: PUSH2 0x1aa3
0000146b: JUMP
0000146c: JUMPDEST
0000146d: PUSH1 0x00
0000146f: DUP2
00001470: PUSH1 0x01
00001472: GT
00001473: ISZERO
00001474: DUP1
00001475: ISZERO
00001476: PUSH2 0x1480
00001479: JUMPI
0000147a: POP
0000147b: PUSH1 0x01
0000147d: SLOAD
0000147e: DUP3
0000147f: LT
00001480: JUMPDEST
00001481: DUP1
00001482: ISZERO
00001483: PUSH2 0x07d4
00001486: JUMPI
00001487: POP
00001488: POP
00001489: PUSH1 0x00
0000148b: SWAP1
0000148c: DUP2
0000148d: MSTORE
0000148e: PUSH1 0x05
00001490: PUSH1 0x20
00001492: MSTORE
00001493: PUSH1 0x40
00001495: SWAP1
00001496: KECCAK256
00001497: SLOAD
00001498: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
000014b6: SWAP1
000014b7: DIV
000014b8: PUSH1 0xff
000014ba: AND
000014bb: ISZERO
000014bc: SWAP1
000014bd: JUMP
000014be: JUMPDEST
000014bf: PUSH1 0x00
000014c1: DUP3
000014c2: DUP2
000014c3: MSTORE
000014c4: PUSH1 0x07
000014c6: PUSH1 0x20
000014c8: MSTORE
000014c9: PUSH1 0x40
000014cb: DUP1
000014cc: DUP3
000014cd: KECCAK256
000014ce: DUP1
000014cf: SLOAD
000014d0: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
000014f1: AND
000014f2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001507: DUP8
00001508: DUP2
00001509: AND
0000150a: SWAP2
0000150b: DUP3
0000150c: OR
0000150d: SWAP1
0000150e: SWAP3
0000150f: SSTORE
00001510: SWAP2
00001511: MLOAD
00001512: DUP6
00001513: SWAP4
00001514: SWAP2
00001515: DUP6
00001516: AND
00001517: SWAP2
00001518: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
00001539: SWAP2
0000153a: LOG4
0000153b: POP
0000153c: POP
0000153d: POP
0000153e: JUMP
0000153f: JUMPDEST
00001540: PUSH2 0x1559
00001543: DUP3
00001544: DUP3
00001545: PUSH1 0x40
00001547: MLOAD
00001548: DUP1
00001549: PUSH1 0x20
0000154b: ADD
0000154c: PUSH1 0x40
0000154e: MSTORE
0000154f: DUP1
00001550: PUSH1 0x00
00001552: DUP2
00001553: MSTORE
00001554: POP
00001555: PUSH2 0x1dd6
00001558: JUMP
00001559: JUMPDEST
0000155a: POP
0000155b: POP
0000155c: JUMP
0000155d: JUMPDEST
0000155e: PUSH1 0x00
00001560: PUSH2 0x1568
00001563: DUP3
00001564: PUSH2 0x18c8
00001567: JUMP
00001568: JUMPDEST
00001569: DUP1
0000156a: MLOAD
0000156b: SWAP1
0000156c: SWAP2
0000156d: POP
0000156e: PUSH1 0x00
00001570: SWAP1
00001571: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001586: AND
00001587: CALLER
00001588: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000159d: AND
0000159e: EQ
0000159f: DUP1
000015a0: PUSH2 0x15b0
000015a3: JUMPI
000015a4: POP
000015a5: DUP2
000015a6: MLOAD
000015a7: PUSH2 0x15b0
000015aa: SWAP1
000015ab: CALLER
000015ac: PUSH2 0x069a
000015af: JUMP
000015b0: JUMPDEST
000015b1: DUP1
000015b2: PUSH2 0x15d8
000015b5: JUMPI
000015b6: POP
000015b7: CALLER
000015b8: PUSH2 0x15c0
000015bb: DUP5
000015bc: PUSH2 0x086c
000015bf: JUMP
000015c0: JUMPDEST
000015c1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015d6: AND
000015d7: EQ
000015d8: JUMPDEST
000015d9: SWAP1
000015da: POP
000015db: DUP1
000015dc: PUSH2 0x1611
000015df: JUMPI
000015e0: PUSH1 0x40
000015e2: MLOAD
000015e3: PUSH32 0x59c896be00000000000000000000000000000000000000000000000000000000
00001604: DUP2
00001605: MSTORE
00001606: PUSH1 0x04
00001608: ADD
00001609: PUSH1 0x40
0000160b: MLOAD
0000160c: DUP1
0000160d: SWAP2
0000160e: SUB
0000160f: SWAP1
00001610: REVERT
00001611: JUMPDEST
00001612: DUP5
00001613: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001628: AND
00001629: DUP3
0000162a: PUSH1 0x00
0000162c: ADD
0000162d: MLOAD
0000162e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001643: AND
00001644: EQ
00001645: PUSH2 0x167a
00001648: JUMPI
00001649: PUSH1 0x40
0000164b: MLOAD
0000164c: PUSH32 0xa114810000000000000000000000000000000000000000000000000000000000
0000166d: DUP2
0000166e: MSTORE
0000166f: PUSH1 0x04
00001671: ADD
00001672: PUSH1 0x40
00001674: MLOAD
00001675: DUP1
00001676: SWAP2
00001677: SUB
00001678: SWAP1
00001679: REVERT
0000167a: JUMPDEST
0000167b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001690: DUP5
00001691: AND
00001692: PUSH2 0x16c7
00001695: JUMPI
00001696: PUSH1 0x40
00001698: MLOAD
00001699: PUSH32 0xea553b3400000000000000000000000000000000000000000000000000000000
000016ba: DUP2
000016bb: MSTORE
000016bc: PUSH1 0x04
000016be: ADD
000016bf: PUSH1 0x40
000016c1: MLOAD
000016c2: DUP1
000016c3: SWAP2
000016c4: SUB
000016c5: SWAP1
000016c6: REVERT
000016c7: JUMPDEST
000016c8: PUSH2 0x16d7
000016cb: PUSH1 0x00
000016cd: DUP5
000016ce: DUP5
000016cf: PUSH1 0x00
000016d1: ADD
000016d2: MLOAD
000016d3: PUSH2 0x14be
000016d6: JUMP
000016d7: JUMPDEST
000016d8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016ed: DUP6
000016ee: DUP2
000016ef: AND
000016f0: PUSH1 0x00
000016f2: SWAP1
000016f3: DUP2
000016f4: MSTORE
000016f5: PUSH1 0x06
000016f7: PUSH1 0x20
000016f9: SWAP1
000016fa: DUP2
000016fb: MSTORE
000016fc: PUSH1 0x40
000016fe: DUP1
000016ff: DUP4
00001700: KECCAK256
00001701: DUP1
00001702: SLOAD
00001703: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffff0000000000000000
00001724: DUP1
00001725: DUP3
00001726: AND
00001727: PUSH8 0xffffffffffffffff
00001730: SWAP3
00001731: DUP4
00001732: AND
00001733: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001754: ADD
00001755: DUP4
00001756: AND
00001757: OR
00001758: SWAP1
00001759: SWAP3
0000175a: SSTORE
0000175b: DUP10
0000175c: DUP7
0000175d: AND
0000175e: DUP1
0000175f: DUP7
00001760: MSTORE
00001761: DUP4
00001762: DUP7
00001763: KECCAK256
00001764: DUP1
00001765: SLOAD
00001766: SWAP4
00001767: DUP5
00001768: AND
00001769: SWAP4
0000176a: DUP4
0000176b: AND
0000176c: PUSH1 0x01
0000176e: SWAP1
0000176f: DUP2
00001770: ADD
00001771: DUP5
00001772: AND
00001773: SWAP5
00001774: SWAP1
00001775: SWAP5
00001776: OR
00001777: SWAP1
00001778: SSTORE
00001779: DUP10
0000177a: DUP7
0000177b: MSTORE
0000177c: PUSH1 0x05
0000177e: SWAP1
0000177f: SWAP5
00001780: MSTORE
00001781: DUP3
00001782: DUP6
00001783: KECCAK256
00001784: DUP1
00001785: SLOAD
00001786: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
000017a7: AND
000017a8: SWAP1
000017a9: SWAP5
000017aa: OR
000017ab: PUSH21 0x010000000000000000000000000000000000000000
000017c1: TIMESTAMP
000017c2: SWAP1
000017c3: SWAP3
000017c4: AND
000017c5: SWAP2
000017c6: SWAP1
000017c7: SWAP2
000017c8: MUL
000017c9: OR
000017ca: SWAP1
000017cb: SWAP3
000017cc: SSTORE
000017cd: SWAP1
000017ce: DUP7
000017cf: ADD
000017d0: DUP1
000017d1: DUP4
000017d2: MSTORE
000017d3: SWAP2
000017d4: KECCAK256
000017d5: SLOAD
000017d6: SWAP1
000017d7: SWAP2
000017d8: AND
000017d9: PUSH2 0x1864
000017dc: JUMPI
000017dd: PUSH1 0x01
000017df: SLOAD
000017e0: DUP2
000017e1: LT
000017e2: ISZERO
000017e3: PUSH2 0x1864
000017e6: JUMPI
000017e7: DUP3
000017e8: MLOAD
000017e9: PUSH1 0x00
000017eb: DUP3
000017ec: DUP2
000017ed: MSTORE
000017ee: PUSH1 0x05
000017f0: PUSH1 0x20
000017f2: SWAP1
000017f3: DUP2
000017f4: MSTORE
000017f5: PUSH1 0x40
000017f7: SWAP1
000017f8: SWAP2
000017f9: KECCAK256
000017fa: DUP1
000017fb: SLOAD
000017fc: SWAP2
000017fd: DUP7
000017fe: ADD
000017ff: MLOAD
00001800: PUSH8 0xffffffffffffffff
00001809: AND
0000180a: PUSH21 0x010000000000000000000000000000000000000000
00001820: MUL
00001821: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
00001842: SWAP1
00001843: SWAP3
00001844: AND
00001845: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000185a: SWAP1
0000185b: SWAP4
0000185c: AND
0000185d: SWAP3
0000185e: SWAP1
0000185f: SWAP3
00001860: OR
00001861: OR
00001862: SWAP1
00001863: SSTORE
00001864: JUMPDEST
00001865: POP
00001866: DUP3
00001867: DUP5
00001868: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000187d: AND
0000187e: DUP7
0000187f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001894: AND
00001895: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
000018b6: PUSH1 0x40
000018b8: MLOAD
000018b9: PUSH1 0x40
000018bb: MLOAD
000018bc: DUP1
000018bd: SWAP2
000018be: SUB
000018bf: SWAP1
000018c0: LOG4
000018c1: JUMPDEST
000018c2: POP
000018c3: POP
000018c4: POP
000018c5: POP
000018c6: POP
000018c7: JUMP
000018c8: JUMPDEST
000018c9: PUSH1 0x40
000018cb: DUP1
000018cc: MLOAD
000018cd: PUSH1 0x60
000018cf: DUP2
000018d0: ADD
000018d1: DUP3
000018d2: MSTORE
000018d3: PUSH1 0x00
000018d5: DUP1
000018d6: DUP3
000018d7: MSTORE
000018d8: PUSH1 0x20
000018da: DUP3
000018db: ADD
000018dc: DUP2
000018dd: SWAP1
000018de: MSTORE
000018df: SWAP2
000018e0: DUP2
000018e1: ADD
000018e2: SWAP2
000018e3: SWAP1
000018e4: SWAP2
000018e5: MSTORE
000018e6: DUP2
000018e7: DUP1
000018e8: PUSH1 0x01
000018ea: GT
000018eb: ISZERO
000018ec: DUP1
000018ed: ISZERO
000018ee: PUSH2 0x18f8
000018f1: JUMPI
000018f2: POP
000018f3: PUSH1 0x01
000018f5: SLOAD
000018f6: DUP2
000018f7: LT
000018f8: JUMPDEST
000018f9: ISZERO
000018fa: PUSH2 0x1a71
000018fd: JUMPI
000018fe: PUSH1 0x00
00001900: DUP2
00001901: DUP2
00001902: MSTORE
00001903: PUSH1 0x05
00001905: PUSH1 0x20
00001907: SWAP1
00001908: DUP2
00001909: MSTORE
0000190a: PUSH1 0x40
0000190c: SWAP2
0000190d: DUP3
0000190e: SWAP1
0000190f: KECCAK256
00001910: DUP3
00001911: MLOAD
00001912: PUSH1 0x60
00001914: DUP2
00001915: ADD
00001916: DUP5
00001917: MSTORE
00001918: SWAP1
00001919: SLOAD
0000191a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000192f: DUP2
00001930: AND
00001931: DUP3
00001932: MSTORE
00001933: PUSH21 0x010000000000000000000000000000000000000000
00001949: DUP2
0000194a: DIV
0000194b: PUSH8 0xffffffffffffffff
00001954: AND
00001955: SWAP3
00001956: DUP3
00001957: ADD
00001958: SWAP3
00001959: SWAP1
0000195a: SWAP3
0000195b: MSTORE
0000195c: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
0000197a: SWAP1
0000197b: SWAP2
0000197c: DIV
0000197d: PUSH1 0xff
0000197f: AND
00001980: ISZERO
00001981: ISZERO
00001982: SWAP2
00001983: DUP2
00001984: ADD
00001985: DUP3
00001986: SWAP1
00001987: MSTORE
00001988: SWAP1
00001989: PUSH2 0x1a6f
0000198c: JUMPI
0000198d: DUP1
0000198e: MLOAD
0000198f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019a4: AND
000019a5: ISZERO
000019a6: PUSH2 0x19b0
000019a9: JUMPI
000019aa: SWAP4
000019ab: SWAP3
000019ac: POP
000019ad: POP
000019ae: POP
000019af: JUMP
000019b0: JUMPDEST
000019b1: POP
000019b2: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000019d3: ADD
000019d4: PUSH1 0x00
000019d6: DUP2
000019d7: DUP2
000019d8: MSTORE
000019d9: PUSH1 0x05
000019db: PUSH1 0x20
000019dd: SWAP1
000019de: DUP2
000019df: MSTORE
000019e0: PUSH1 0x40
000019e2: SWAP2
000019e3: DUP3
000019e4: SWAP1
000019e5: KECCAK256
000019e6: DUP3
000019e7: MLOAD
000019e8: PUSH1 0x60
000019ea: DUP2
000019eb: ADD
000019ec: DUP5
000019ed: MSTORE
000019ee: SWAP1
000019ef: SLOAD
000019f0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a05: DUP2
00001a06: AND
00001a07: DUP1
00001a08: DUP4
00001a09: MSTORE
00001a0a: PUSH21 0x010000000000000000000000000000000000000000
00001a20: DUP3
00001a21: DIV
00001a22: PUSH8 0xffffffffffffffff
00001a2b: AND
00001a2c: SWAP4
00001a2d: DUP4
00001a2e: ADD
00001a2f: SWAP4
00001a30: SWAP1
00001a31: SWAP4
00001a32: MSTORE
00001a33: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00001a51: SWAP1
00001a52: DIV
00001a53: PUSH1 0xff
00001a55: AND
00001a56: ISZERO
00001a57: ISZERO
00001a58: SWAP3
00001a59: DUP2
00001a5a: ADD
00001a5b: SWAP3
00001a5c: SWAP1
00001a5d: SWAP3
00001a5e: MSTORE
00001a5f: ISZERO
00001a60: PUSH2 0x1a6a
00001a63: JUMPI
00001a64: SWAP4
00001a65: SWAP3
00001a66: POP
00001a67: POP
00001a68: POP
00001a69: JUMP
00001a6a: JUMPDEST
00001a6b: PUSH2 0x19b0
00001a6e: JUMP
00001a6f: JUMPDEST
00001a70: POP
00001a71: JUMPDEST
00001a72: PUSH1 0x40
00001a74: MLOAD
00001a75: PUSH32 0xdf2d9b4200000000000000000000000000000000000000000000000000000000
00001a96: DUP2
00001a97: MSTORE
00001a98: PUSH1 0x04
00001a9a: ADD
00001a9b: PUSH1 0x40
00001a9d: MLOAD
00001a9e: DUP1
00001a9f: SWAP2
00001aa0: SUB
00001aa1: SWAP1
00001aa2: REVERT
00001aa3: JUMPDEST
00001aa4: PUSH1 0x00
00001aa6: DUP1
00001aa7: SLOAD
00001aa8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001abd: DUP4
00001abe: DUP2
00001abf: AND
00001ac0: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00001ae1: DUP4
00001ae2: AND
00001ae3: DUP2
00001ae4: OR
00001ae5: DUP5
00001ae6: SSTORE
00001ae7: PUSH1 0x40
00001ae9: MLOAD
00001aea: SWAP2
00001aeb: SWAP1
00001aec: SWAP3
00001aed: AND
00001aee: SWAP3
00001aef: DUP4
00001af0: SWAP2
00001af1: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00001b12: SWAP2
00001b13: SWAP1
00001b14: LOG3
00001b15: POP
00001b16: POP
00001b17: JUMP
00001b18: JUMPDEST
00001b19: PUSH1 0x40
00001b1b: MLOAD
00001b1c: PUSH32 0x150b7a0200000000000000000000000000000000000000000000000000000000
00001b3d: DUP2
00001b3e: MSTORE
00001b3f: PUSH1 0x00
00001b41: SWAP1
00001b42: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b57: DUP6
00001b58: AND
00001b59: SWAP1
00001b5a: PUSH4 0x150b7a02
00001b5f: SWAP1
00001b60: PUSH2 0x1b73
00001b63: SWAP1
00001b64: CALLER
00001b65: SWAP1
00001b66: DUP10
00001b67: SWAP1
00001b68: DUP9
00001b69: SWAP1
00001b6a: DUP9
00001b6b: SWAP1
00001b6c: PUSH1 0x04
00001b6e: ADD
00001b6f: PUSH2 0x26b3
00001b72: JUMP
00001b73: JUMPDEST
00001b74: PUSH1 0x20
00001b76: PUSH1 0x40
00001b78: MLOAD
00001b79: DUP1
00001b7a: DUP4
00001b7b: SUB
00001b7c: DUP2
00001b7d: PUSH1 0x00
00001b7f: DUP8
00001b80: GAS
00001b81: CALL
00001b82: SWAP3
00001b83: POP
00001b84: POP
00001b85: POP
00001b86: DUP1
00001b87: ISZERO
00001b88: PUSH2 0x1bcc
00001b8b: JUMPI
00001b8c: POP
00001b8d: PUSH1 0x40
00001b8f: DUP1
00001b90: MLOAD
00001b91: PUSH1 0x1f
00001b93: RETURNDATASIZE
00001b94: SWAP1
00001b95: DUP2
00001b96: ADD
00001b97: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00001bb8: AND
00001bb9: DUP3
00001bba: ADD
00001bbb: SWAP1
00001bbc: SWAP3
00001bbd: MSTORE
00001bbe: PUSH2 0x1bc9
00001bc1: SWAP2
00001bc2: DUP2
00001bc3: ADD
00001bc4: SWAP1
00001bc5: PUSH2 0x26fc
00001bc8: JUMP
00001bc9: JUMPDEST
00001bca: PUSH1 0x01
00001bcc: JUMPDEST
00001bcd: PUSH2 0x1c43
00001bd0: JUMPI
00001bd1: RETURNDATASIZE
00001bd2: DUP1
00001bd3: DUP1
00001bd4: ISZERO
00001bd5: PUSH2 0x1bfa
00001bd8: JUMPI
00001bd9: PUSH1 0x40
00001bdb: MLOAD
00001bdc: SWAP2
00001bdd: POP
00001bde: PUSH1 0x1f
00001be0: NOT
00001be1: PUSH1 0x3f
00001be3: RETURNDATASIZE
00001be4: ADD
00001be5: AND
00001be6: DUP3
00001be7: ADD
00001be8: PUSH1 0x40
00001bea: MSTORE
00001beb: RETURNDATASIZE
00001bec: DUP3
00001bed: MSTORE
00001bee: RETURNDATASIZE
00001bef: PUSH1 0x00
00001bf1: PUSH1 0x20
00001bf3: DUP5
00001bf4: ADD
00001bf5: RETURNDATACOPY
00001bf6: PUSH2 0x1bff
00001bf9: JUMP
00001bfa: JUMPDEST
00001bfb: PUSH1 0x60
00001bfd: SWAP2
00001bfe: POP
00001bff: JUMPDEST
00001c00: POP
00001c01: DUP1
00001c02: MLOAD
00001c03: PUSH1 0x00
00001c05: SUB
00001c06: PUSH2 0x1c3b
00001c09: JUMPI
00001c0a: PUSH1 0x40
00001c0c: MLOAD
00001c0d: PUSH32 0xd1a57ed600000000000000000000000000000000000000000000000000000000
00001c2e: DUP2
00001c2f: MSTORE
00001c30: PUSH1 0x04
00001c32: ADD
00001c33: PUSH1 0x40
00001c35: MLOAD
00001c36: DUP1
00001c37: SWAP2
00001c38: SUB
00001c39: SWAP1
00001c3a: REVERT
00001c3b: JUMPDEST
00001c3c: DUP1
00001c3d: MLOAD
00001c3e: DUP2
00001c3f: PUSH1 0x20
00001c41: ADD
00001c42: REVERT
00001c43: JUMPDEST
00001c44: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
00001c65: AND
00001c66: PUSH32 0x150b7a0200000000000000000000000000000000000000000000000000000000
00001c87: EQ
00001c88: SWAP1
00001c89: POP
00001c8a: JUMPDEST
00001c8b: SWAP5
00001c8c: SWAP4
00001c8d: POP
00001c8e: POP
00001c8f: POP
00001c90: POP
00001c91: JUMP
00001c92: JUMPDEST
00001c93: PUSH1 0x60
00001c95: PUSH1 0x09
00001c97: DUP1
00001c98: SLOAD
00001c99: PUSH2 0x07e9
00001c9c: SWAP1
00001c9d: PUSH2 0x2546
00001ca0: JUMP
00001ca1: JUMPDEST
00001ca2: PUSH1 0x60
00001ca4: DUP2
00001ca5: PUSH1 0x00
00001ca7: SUB
00001ca8: PUSH2 0x1ce4
00001cab: JUMPI
00001cac: POP
00001cad: POP
00001cae: PUSH1 0x40
00001cb0: DUP1
00001cb1: MLOAD
00001cb2: DUP1
00001cb3: DUP3
00001cb4: ADD
00001cb5: SWAP1
00001cb6: SWAP2
00001cb7: MSTORE
00001cb8: PUSH1 0x01
00001cba: DUP2
00001cbb: MSTORE
00001cbc: PUSH32 0x3000000000000000000000000000000000000000000000000000000000000000
00001cdd: PUSH1 0x20
00001cdf: DUP3
00001ce0: ADD
00001ce1: MSTORE
00001ce2: SWAP1
00001ce3: JUMP
00001ce4: JUMPDEST
00001ce5: DUP2
00001ce6: PUSH1 0x00
00001ce8: JUMPDEST
00001ce9: DUP2
00001cea: ISZERO
00001ceb: PUSH2 0x1d0e
00001cee: JUMPI
00001cef: DUP1
00001cf0: PUSH2 0x1cf8
00001cf3: DUP2
00001cf4: PUSH2 0x260f
00001cf7: JUMP
00001cf8: JUMPDEST
00001cf9: SWAP2
00001cfa: POP
00001cfb: PUSH2 0x1d07
00001cfe: SWAP1
00001cff: POP
00001d00: PUSH1 0x0a
00001d02: DUP4
00001d03: PUSH2 0x2748
00001d06: JUMP
00001d07: JUMPDEST
00001d08: SWAP2
00001d09: POP
00001d0a: PUSH2 0x1ce8
00001d0d: JUMP
00001d0e: JUMPDEST
00001d0f: PUSH1 0x00
00001d11: DUP2
00001d12: PUSH8 0xffffffffffffffff
00001d1b: DUP2
00001d1c: GT
00001d1d: ISZERO
00001d1e: PUSH2 0x1d29
00001d21: JUMPI
00001d22: PUSH2 0x1d29
00001d25: PUSH2 0x23ea
00001d28: JUMP
00001d29: JUMPDEST
00001d2a: PUSH1 0x40
00001d2c: MLOAD
00001d2d: SWAP1
00001d2e: DUP1
00001d2f: DUP3
00001d30: MSTORE
00001d31: DUP1
00001d32: PUSH1 0x1f
00001d34: ADD
00001d35: PUSH1 0x1f
00001d37: NOT
00001d38: AND
00001d39: PUSH1 0x20
00001d3b: ADD
00001d3c: DUP3
00001d3d: ADD
00001d3e: PUSH1 0x40
00001d40: MSTORE
00001d41: DUP1
00001d42: ISZERO
00001d43: PUSH2 0x1d53
00001d46: JUMPI
00001d47: PUSH1 0x20
00001d49: DUP3
00001d4a: ADD
00001d4b: DUP2
00001d4c: DUP1
00001d4d: CALLDATASIZE
00001d4e: DUP4
00001d4f: CALLDATACOPY
00001d50: ADD
00001d51: SWAP1
00001d52: POP
00001d53: JUMPDEST
00001d54: POP
00001d55: SWAP1
00001d56: POP
00001d57: JUMPDEST
00001d58: DUP5
00001d59: ISZERO
00001d5a: PUSH2 0x1c8a
00001d5d: JUMPI
00001d5e: PUSH2 0x1d68
00001d61: PUSH1 0x01
00001d63: DUP4
00001d64: PUSH2 0x275c
00001d67: JUMP
00001d68: JUMPDEST
00001d69: SWAP2
00001d6a: POP
00001d6b: PUSH2 0x1d75
00001d6e: PUSH1 0x0a
00001d70: DUP7
00001d71: PUSH2 0x2773
00001d74: JUMP
00001d75: JUMPDEST
00001d76: PUSH2 0x1d80
00001d79: SWAP1
00001d7a: PUSH1 0x30
00001d7c: PUSH2 0x25c8
00001d7f: JUMP
00001d80: JUMPDEST
00001d81: PUSH1 0xf8
00001d83: SHL
00001d84: DUP2
00001d85: DUP4
00001d86: DUP2
00001d87: MLOAD
00001d88: DUP2
00001d89: LT
00001d8a: PUSH2 0x1d95
00001d8d: JUMPI
00001d8e: PUSH2 0x1d95
00001d91: PUSH2 0x25e0
00001d94: JUMP
00001d95: JUMPDEST
00001d96: PUSH1 0x20
00001d98: ADD
00001d99: ADD
00001d9a: SWAP1
00001d9b: PUSH31 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001dbb: NOT
00001dbc: AND
00001dbd: SWAP1
00001dbe: DUP2
00001dbf: PUSH1 0x00
00001dc1: BYTE
00001dc2: SWAP1
00001dc3: MSTORE8
00001dc4: POP
00001dc5: PUSH2 0x1dcf
00001dc8: PUSH1 0x0a
00001dca: DUP7
00001dcb: PUSH2 0x2748
00001dce: JUMP
00001dcf: JUMPDEST
00001dd0: SWAP5
00001dd1: POP
00001dd2: PUSH2 0x1d57
00001dd5: JUMP
00001dd6: JUMPDEST
00001dd7: PUSH2 0x09b7
00001dda: DUP4
00001ddb: DUP4
00001ddc: DUP4
00001ddd: PUSH1 0x01
00001ddf: DUP1
00001de0: SLOAD
00001de1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001df6: DUP6
00001df7: AND
00001df8: PUSH2 0x1e2d
00001dfb: JUMPI
00001dfc: PUSH1 0x40
00001dfe: MLOAD
00001dff: PUSH32 0x2e07630000000000000000000000000000000000000000000000000000000000
00001e20: DUP2
00001e21: MSTORE
00001e22: PUSH1 0x04
00001e24: ADD
00001e25: PUSH1 0x40
00001e27: MLOAD
00001e28: DUP1
00001e29: SWAP2
00001e2a: SUB
00001e2b: SWAP1
00001e2c: REVERT
00001e2d: JUMPDEST
00001e2e: DUP4
00001e2f: PUSH1 0x00
00001e31: SUB
00001e32: PUSH2 0x1e67
00001e35: JUMPI
00001e36: PUSH1 0x40
00001e38: MLOAD
00001e39: PUSH32 0xb562e8dd00000000000000000000000000000000000000000000000000000000
00001e5a: DUP2
00001e5b: MSTORE
00001e5c: PUSH1 0x04
00001e5e: ADD
00001e5f: PUSH1 0x40
00001e61: MLOAD
00001e62: DUP1
00001e63: SWAP2
00001e64: SUB
00001e65: SWAP1
00001e66: REVERT
00001e67: JUMPDEST
00001e68: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e7d: DUP6
00001e7e: AND
00001e7f: PUSH1 0x00
00001e81: DUP2
00001e82: DUP2
00001e83: MSTORE
00001e84: PUSH1 0x06
00001e86: PUSH1 0x20
00001e88: SWAP1
00001e89: DUP2
00001e8a: MSTORE
00001e8b: PUSH1 0x40
00001e8d: DUP1
00001e8e: DUP4
00001e8f: KECCAK256
00001e90: DUP1
00001e91: SLOAD
00001e92: PUSH32 0xffffffffffffffffffffffffffffffff00000000000000000000000000000000
00001eb3: DUP2
00001eb4: AND
00001eb5: PUSH8 0xffffffffffffffff
00001ebe: DUP1
00001ebf: DUP4
00001ec0: AND
00001ec1: DUP13
00001ec2: ADD
00001ec3: DUP2
00001ec4: AND
00001ec5: SWAP2
00001ec6: DUP3
00001ec7: OR
00001ec8: PUSH9 0x010000000000000000
00001ed2: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffff0000000000000000
00001ef3: SWAP1
00001ef4: SWAP5
00001ef5: AND
00001ef6: SWAP1
00001ef7: SWAP3
00001ef8: OR
00001ef9: DUP4
00001efa: SWAP1
00001efb: DIV
00001efc: DUP2
00001efd: AND
00001efe: DUP13
00001eff: ADD
00001f00: DUP2
00001f01: AND
00001f02: SWAP1
00001f03: SWAP3
00001f04: MUL
00001f05: OR
00001f06: SWAP1
00001f07: SWAP2
00001f08: SSTORE
00001f09: DUP6
00001f0a: DUP5
00001f0b: MSTORE
00001f0c: PUSH1 0x05
00001f0e: SWAP1
00001f0f: SWAP3
00001f10: MSTORE
00001f11: SWAP1
00001f12: SWAP2
00001f13: KECCAK256
00001f14: DUP1
00001f15: SLOAD
00001f16: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
00001f37: AND
00001f38: SWAP1
00001f39: SWAP3
00001f3a: OR
00001f3b: PUSH21 0x010000000000000000000000000000000000000000
00001f51: TIMESTAMP
00001f52: SWAP1
00001f53: SWAP3
00001f54: AND
00001f55: SWAP2
00001f56: SWAP1
00001f57: SWAP2
00001f58: MUL
00001f59: OR
00001f5a: SWAP1
00001f5b: SSTORE
00001f5c: DUP1
00001f5d: DUP1
00001f5e: DUP6
00001f5f: ADD
00001f60: DUP4
00001f61: DUP1
00001f62: ISZERO
00001f63: PUSH2 0x1f82
00001f66: JUMPI
00001f67: POP
00001f68: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f7d: DUP8
00001f7e: AND
00001f7f: EXTCODESIZE
00001f80: ISZERO
00001f81: ISZERO
00001f82: JUMPDEST
00001f83: ISZERO
00001f84: PUSH2 0x2030
00001f87: JUMPI
00001f88: JUMPDEST
00001f89: PUSH1 0x40
00001f8b: MLOAD
00001f8c: DUP3
00001f8d: SWAP1
00001f8e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001fa3: DUP10
00001fa4: AND
00001fa5: SWAP1
00001fa6: PUSH1 0x00
00001fa8: SWAP1
00001fa9: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00001fca: SWAP1
00001fcb: DUP3
00001fcc: SWAP1
00001fcd: LOG4
00001fce: PUSH2 0x1fe0
00001fd1: PUSH1 0x00
00001fd3: DUP9
00001fd4: DUP5
00001fd5: DUP1
00001fd6: PUSH1 0x01
00001fd8: ADD
00001fd9: SWAP6
00001fda: POP
00001fdb: DUP9
00001fdc: PUSH2 0x1b18
00001fdf: JUMP
00001fe0: JUMPDEST
00001fe1: PUSH2 0x2016
00001fe4: JUMPI
00001fe5: PUSH1 0x40
00001fe7: MLOAD
00001fe8: PUSH32 0xd1a57ed600000000000000000000000000000000000000000000000000000000
00002009: DUP2
0000200a: MSTORE
0000200b: PUSH1 0x04
0000200d: ADD
0000200e: PUSH1 0x40
00002010: MLOAD
00002011: DUP1
00002012: SWAP2
00002013: SUB
00002014: SWAP1
00002015: REVERT
00002016: JUMPDEST
00002017: DUP1
00002018: DUP3
00002019: SUB
0000201a: PUSH2 0x1f88
0000201d: JUMPI
0000201e: DUP3
0000201f: PUSH1 0x01
00002021: SLOAD
00002022: EQ
00002023: PUSH2 0x202b
00002026: JUMPI
00002027: PUSH1 0x00
00002029: DUP1
0000202a: REVERT
0000202b: JUMPDEST
0000202c: PUSH2 0x2082
0000202f: JUMP
00002030: JUMPDEST
00002031: JUMPDEST
00002032: PUSH1 0x40
00002034: MLOAD
00002035: PUSH1 0x01
00002037: DUP4
00002038: ADD
00002039: SWAP3
0000203a: SWAP1
0000203b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002050: DUP10
00002051: AND
00002052: SWAP1
00002053: PUSH1 0x00
00002055: SWAP1
00002056: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00002077: SWAP1
00002078: DUP3
00002079: SWAP1
0000207a: LOG4
0000207b: DUP1
0000207c: DUP3
0000207d: SUB
0000207e: PUSH2 0x2031
00002081: JUMPI
00002082: JUMPDEST
00002083: POP
00002084: PUSH1 0x01
00002086: SSTORE
00002087: PUSH2 0x18c1
0000208a: JUMP
0000208b: JUMPDEST
0000208c: DUP3
0000208d: DUP1
0000208e: SLOAD
0000208f: PUSH2 0x2097
00002092: SWAP1
00002093: PUSH2 0x2546
00002096: JUMP
00002097: JUMPDEST
00002098: SWAP1
00002099: PUSH1 0x00
0000209b: MSTORE
0000209c: PUSH1 0x20
0000209e: PUSH1 0x00
000020a0: KECCAK256
000020a1: SWAP1
000020a2: PUSH1 0x1f
000020a4: ADD
000020a5: PUSH1 0x20
000020a7: SWAP1
000020a8: DIV
000020a9: DUP2
000020aa: ADD
000020ab: SWAP3
000020ac: DUP3
000020ad: PUSH2 0x20b9
000020b0: JUMPI
000020b1: PUSH1 0x00
000020b3: DUP6
000020b4: SSTORE
000020b5: PUSH2 0x211d
000020b8: JUMP
000020b9: JUMPDEST
000020ba: DUP3
000020bb: PUSH1 0x1f
000020bd: LT
000020be: PUSH2 0x20f0
000020c1: JUMPI
000020c2: DUP3
000020c3: DUP1
000020c4: ADD
000020c5: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
000020e6: DUP3
000020e7: CALLDATALOAD
000020e8: AND
000020e9: OR
000020ea: DUP6
000020eb: SSTORE
000020ec: PUSH2 0x211d
000020ef: JUMP
000020f0: JUMPDEST
000020f1: DUP3
000020f2: DUP1
000020f3: ADD
000020f4: PUSH1 0x01
000020f6: ADD
000020f7: DUP6
000020f8: SSTORE
000020f9: DUP3
000020fa: ISZERO
000020fb: PUSH2 0x211d
000020fe: JUMPI
000020ff: SWAP2
00002100: DUP3
00002101: ADD
00002102: JUMPDEST
00002103: DUP3
00002104: DUP2
00002105: GT
00002106: ISZERO
00002107: PUSH2 0x211d
0000210a: JUMPI
0000210b: DUP3
0000210c: CALLDATALOAD
0000210d: DUP3
0000210e: SSTORE
0000210f: SWAP2
00002110: PUSH1 0x20
00002112: ADD
00002113: SWAP2
00002114: SWAP1
00002115: PUSH1 0x01
00002117: ADD
00002118: SWAP1
00002119: PUSH2 0x2102
0000211c: JUMP
0000211d: JUMPDEST
0000211e: POP
0000211f: PUSH2 0x2129
00002122: SWAP3
00002123: SWAP2
00002124: POP
00002125: PUSH2 0x212d
00002128: JUMP
00002129: JUMPDEST
0000212a: POP
0000212b: SWAP1
0000212c: JUMP
0000212d: JUMPDEST
0000212e: JUMPDEST
0000212f: DUP1
00002130: DUP3
00002131: GT
00002132: ISZERO
00002133: PUSH2 0x2129
00002136: JUMPI
00002137: PUSH1 0x00
00002139: DUP2
0000213a: SSTORE
0000213b: PUSH1 0x01
0000213d: ADD
0000213e: PUSH2 0x212e
00002141: JUMP
00002142: JUMPDEST
00002143: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
00002164: DUP2
00002165: AND
00002166: DUP2
00002167: EQ
00002168: PUSH2 0x0e02
0000216b: JUMPI
0000216c: PUSH1 0x00
0000216e: DUP1
0000216f: REVERT
00002170: JUMPDEST
00002171: PUSH1 0x00
00002173: PUSH1 0x20
00002175: DUP3
00002176: DUP5
00002177: SUB
00002178: SLT
00002179: ISZERO
0000217a: PUSH2 0x2182
0000217d: JUMPI
0000217e: PUSH1 0x00
00002180: DUP1
00002181: REVERT
00002182: JUMPDEST
00002183: DUP2
00002184: CALLDATALOAD
00002185: PUSH2 0x12f0
00002188: DUP2
00002189: PUSH2 0x2142
0000218c: JUMP
0000218d: JUMPDEST
0000218e: PUSH1 0x00
00002190: JUMPDEST
00002191: DUP4
00002192: DUP2
00002193: LT
00002194: ISZERO
00002195: PUSH2 0x21a8
00002198: JUMPI
00002199: DUP2
0000219a: DUP2
0000219b: ADD
0000219c: MLOAD
0000219d: DUP4
0000219e: DUP3
0000219f: ADD
000021a0: MSTORE
000021a1: PUSH1 0x20
000021a3: ADD
000021a4: PUSH2 0x2190
000021a7: JUMP
000021a8: JUMPDEST
000021a9: DUP4
000021aa: DUP2
000021ab: GT
000021ac: ISZERO
000021ad: PUSH2 0x1254
000021b0: JUMPI
000021b1: POP
000021b2: POP
000021b3: PUSH1 0x00
000021b5: SWAP2
000021b6: ADD
000021b7: MSTORE
000021b8: JUMP
000021b9: JUMPDEST
000021ba: PUSH1 0x00
000021bc: DUP2
000021bd: MLOAD
000021be: DUP1
000021bf: DUP5
000021c0: MSTORE
000021c1: PUSH2 0x21d1
000021c4: DUP2
000021c5: PUSH1 0x20
000021c7: DUP7
000021c8: ADD
000021c9: PUSH1 0x20
000021cb: DUP7
000021cc: ADD
000021cd: PUSH2 0x218d
000021d0: JUMP
000021d1: JUMPDEST
000021d2: PUSH1 0x1f
000021d4: ADD
000021d5: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
000021f6: AND
000021f7: SWAP3
000021f8: SWAP1
000021f9: SWAP3
000021fa: ADD
000021fb: PUSH1 0x20
000021fd: ADD
000021fe: SWAP3
000021ff: SWAP2
00002200: POP
00002201: POP
00002202: JUMP
00002203: JUMPDEST
00002204: PUSH1 0x20
00002206: DUP2
00002207: MSTORE
00002208: PUSH1 0x00
0000220a: PUSH2 0x12f0
0000220d: PUSH1 0x20
0000220f: DUP4
00002210: ADD
00002211: DUP5
00002212: PUSH2 0x21b9
00002215: JUMP
00002216: JUMPDEST
00002217: PUSH1 0x00
00002219: PUSH1 0x20
0000221b: DUP3
0000221c: DUP5
0000221d: SUB
0000221e: SLT
0000221f: ISZERO
00002220: PUSH2 0x2228
00002223: JUMPI
00002224: PUSH1 0x00
00002226: DUP1
00002227: REVERT
00002228: JUMPDEST
00002229: POP
0000222a: CALLDATALOAD
0000222b: SWAP2
0000222c: SWAP1
0000222d: POP
0000222e: JUMP
0000222f: JUMPDEST
00002230: DUP1
00002231: CALLDATALOAD
00002232: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002247: DUP2
00002248: AND
00002249: DUP2
0000224a: EQ
0000224b: PUSH2 0x2253
0000224e: JUMPI
0000224f: PUSH1 0x00
00002251: DUP1
00002252: REVERT
00002253: JUMPDEST
00002254: SWAP2
00002255: SWAP1
00002256: POP
00002257: JUMP
00002258: JUMPDEST
00002259: PUSH1 0x00
0000225b: DUP1
0000225c: PUSH1 0x40
0000225e: DUP4
0000225f: DUP6
00002260: SUB
00002261: SLT
00002262: ISZERO
00002263: PUSH2 0x226b
00002266: JUMPI
00002267: PUSH1 0x00
00002269: DUP1
0000226a: REVERT
0000226b: JUMPDEST
0000226c: PUSH2 0x2274
0000226f: DUP4
00002270: PUSH2 0x222f
00002273: JUMP
00002274: JUMPDEST
00002275: SWAP5
00002276: PUSH1 0x20
00002278: SWAP4
00002279: SWAP1
0000227a: SWAP4
0000227b: ADD
0000227c: CALLDATALOAD
0000227d: SWAP4
0000227e: POP
0000227f: POP
00002280: POP
00002281: JUMP
00002282: JUMPDEST
00002283: PUSH1 0x00
00002285: DUP1
00002286: PUSH1 0x20
00002288: DUP4
00002289: DUP6
0000228a: SUB
0000228b: SLT
0000228c: ISZERO
0000228d: PUSH2 0x2295
00002290: JUMPI
00002291: PUSH1 0x00
00002293: DUP1
00002294: REVERT
00002295: JUMPDEST
00002296: DUP3
00002297: CALLDATALOAD
00002298: PUSH8 0xffffffffffffffff
000022a1: DUP1
000022a2: DUP3
000022a3: GT
000022a4: ISZERO
000022a5: PUSH2 0x22ad
000022a8: JUMPI
000022a9: PUSH1 0x00
000022ab: DUP1
000022ac: REVERT
000022ad: JUMPDEST
000022ae: DUP2
000022af: DUP6
000022b0: ADD
000022b1: SWAP2
000022b2: POP
000022b3: DUP6
000022b4: PUSH1 0x1f
000022b6: DUP4
000022b7: ADD
000022b8: SLT
000022b9: PUSH2 0x22c1
000022bc: JUMPI
000022bd: PUSH1 0x00
000022bf: DUP1
000022c0: REVERT
000022c1: JUMPDEST
000022c2: DUP2
000022c3: CALLDATALOAD
000022c4: DUP2
000022c5: DUP2
000022c6: GT
000022c7: ISZERO
000022c8: PUSH2 0x22d0
000022cb: JUMPI
000022cc: PUSH1 0x00
000022ce: DUP1
000022cf: REVERT
000022d0: JUMPDEST
000022d1: DUP7
000022d2: PUSH1 0x20
000022d4: DUP3
000022d5: PUSH1 0x05
000022d7: SHL
000022d8: DUP6
000022d9: ADD
000022da: ADD
000022db: GT
000022dc: ISZERO
000022dd: PUSH2 0x22e5
000022e0: JUMPI
000022e1: PUSH1 0x00
000022e3: DUP1
000022e4: REVERT
000022e5: JUMPDEST
000022e6: PUSH1 0x20
000022e8: SWAP3
000022e9: SWAP1
000022ea: SWAP3
000022eb: ADD
000022ec: SWAP7
000022ed: SWAP2
000022ee: SWAP6
000022ef: POP
000022f0: SWAP1
000022f1: SWAP4
000022f2: POP
000022f3: POP
000022f4: POP
000022f5: POP
000022f6: JUMP
000022f7: JUMPDEST
000022f8: PUSH1 0x00
000022fa: DUP1
000022fb: PUSH1 0x00
000022fd: PUSH1 0x60
000022ff: DUP5
00002300: DUP7
00002301: SUB
00002302: SLT
00002303: ISZERO
00002304: PUSH2 0x230c
00002307: JUMPI
00002308: PUSH1 0x00
0000230a: DUP1
0000230b: REVERT
0000230c: JUMPDEST
0000230d: PUSH2 0x2315
00002310: DUP5
00002311: PUSH2 0x222f
00002314: JUMP
00002315: JUMPDEST
00002316: SWAP3
00002317: POP
00002318: PUSH2 0x2323
0000231b: PUSH1 0x20
0000231d: DUP6
0000231e: ADD
0000231f: PUSH2 0x222f
00002322: JUMP
00002323: JUMPDEST
00002324: SWAP2
00002325: POP
00002326: PUSH1 0x40
00002328: DUP5
00002329: ADD
0000232a: CALLDATALOAD
0000232b: SWAP1
0000232c: POP
0000232d: SWAP3
0000232e: POP
0000232f: SWAP3
00002330: POP
00002331: SWAP3
00002332: JUMP
00002333: JUMPDEST
00002334: PUSH1 0x00
00002336: DUP1
00002337: PUSH1 0x20
00002339: DUP4
0000233a: DUP6
0000233b: SUB
0000233c: SLT
0000233d: ISZERO
0000233e: PUSH2 0x2346
00002341: JUMPI
00002342: PUSH1 0x00
00002344: DUP1
00002345: REVERT
00002346: JUMPDEST
00002347: DUP3
00002348: CALLDATALOAD
00002349: PUSH8 0xffffffffffffffff
00002352: DUP1
00002353: DUP3
00002354: GT
00002355: ISZERO
00002356: PUSH2 0x235e
00002359: JUMPI
0000235a: PUSH1 0x00
0000235c: DUP1
0000235d: REVERT
0000235e: JUMPDEST
0000235f: DUP2
00002360: DUP6
00002361: ADD
00002362: SWAP2
00002363: POP
00002364: DUP6
00002365: PUSH1 0x1f
00002367: DUP4
00002368: ADD
00002369: SLT
0000236a: PUSH2 0x2372
0000236d: JUMPI
0000236e: PUSH1 0x00
00002370: DUP1
00002371: REVERT
00002372: JUMPDEST
00002373: DUP2
00002374: CALLDATALOAD
00002375: DUP2
00002376: DUP2
00002377: GT
00002378: ISZERO
00002379: PUSH2 0x2381
0000237c: JUMPI
0000237d: PUSH1 0x00
0000237f: DUP1
00002380: REVERT
00002381: JUMPDEST
00002382: DUP7
00002383: PUSH1 0x20
00002385: DUP3
00002386: DUP6
00002387: ADD
00002388: ADD
00002389: GT
0000238a: ISZERO
0000238b: PUSH2 0x22e5
0000238e: JUMPI
0000238f: PUSH1 0x00
00002391: DUP1
00002392: REVERT
00002393: JUMPDEST
00002394: PUSH1 0x00
00002396: PUSH1 0x20
00002398: DUP3
00002399: DUP5
0000239a: SUB
0000239b: SLT
0000239c: ISZERO
0000239d: PUSH2 0x23a5
000023a0: JUMPI
000023a1: PUSH1 0x00
000023a3: DUP1
000023a4: REVERT
000023a5: JUMPDEST
000023a6: PUSH2 0x12f0
000023a9: DUP3
000023aa: PUSH2 0x222f
000023ad: JUMP
000023ae: JUMPDEST
000023af: PUSH1 0x00
000023b1: DUP1
000023b2: PUSH1 0x40
000023b4: DUP4
000023b5: DUP6
000023b6: SUB
000023b7: SLT
000023b8: ISZERO
000023b9: PUSH2 0x23c1
000023bc: JUMPI
000023bd: PUSH1 0x00
000023bf: DUP1
000023c0: REVERT
000023c1: JUMPDEST
000023c2: PUSH2 0x23ca
000023c5: DUP4
000023c6: PUSH2 0x222f
000023c9: JUMP
000023ca: JUMPDEST
000023cb: SWAP2
000023cc: POP
000023cd: PUSH1 0x20
000023cf: DUP4
000023d0: ADD
000023d1: CALLDATALOAD
000023d2: DUP1
000023d3: ISZERO
000023d4: ISZERO
000023d5: DUP2
000023d6: EQ
000023d7: PUSH2 0x23df
000023da: JUMPI
000023db: PUSH1 0x00
000023dd: DUP1
000023de: REVERT
000023df: JUMPDEST
000023e0: DUP1
000023e1: SWAP2
000023e2: POP
000023e3: POP
000023e4: SWAP3
000023e5: POP
000023e6: SWAP3
000023e7: SWAP1
000023e8: POP
000023e9: JUMP
000023ea: JUMPDEST
000023eb: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
0000240c: PUSH1 0x00
0000240e: MSTORE
0000240f: PUSH1 0x41
00002411: PUSH1 0x04
00002413: MSTORE
00002414: PUSH1 0x24
00002416: PUSH1 0x00
00002418: REVERT
00002419: JUMPDEST
0000241a: PUSH1 0x00
0000241c: DUP1
0000241d: PUSH1 0x00
0000241f: DUP1
00002420: PUSH1 0x80
00002422: DUP6
00002423: DUP8
00002424: SUB
00002425: SLT
00002426: ISZERO
00002427: PUSH2 0x242f
0000242a: JUMPI
0000242b: PUSH1 0x00
0000242d: DUP1
0000242e: REVERT
0000242f: JUMPDEST
00002430: PUSH2 0x2438
00002433: DUP6
00002434: PUSH2 0x222f
00002437: JUMP
00002438: JUMPDEST
00002439: SWAP4
0000243a: POP
0000243b: PUSH2 0x2446
0000243e: PUSH1 0x20
00002440: DUP7
00002441: ADD
00002442: PUSH2 0x222f
00002445: JUMP
00002446: JUMPDEST
00002447: SWAP3
00002448: POP
00002449: PUSH1 0x40
0000244b: DUP6
0000244c: ADD
0000244d: CALLDATALOAD
0000244e: SWAP2
0000244f: POP
00002450: PUSH1 0x60
00002452: DUP6
00002453: ADD
00002454: CALLDATALOAD
00002455: PUSH8 0xffffffffffffffff
0000245e: DUP1
0000245f: DUP3
00002460: GT
00002461: ISZERO
00002462: PUSH2 0x246a
00002465: JUMPI
00002466: PUSH1 0x00
00002468: DUP1
00002469: REVERT
0000246a: JUMPDEST
0000246b: DUP2
0000246c: DUP8
0000246d: ADD
0000246e: SWAP2
0000246f: POP
00002470: DUP8
00002471: PUSH1 0x1f
00002473: DUP4
00002474: ADD
00002475: SLT
00002476: PUSH2 0x247e
00002479: JUMPI
0000247a: PUSH1 0x00
0000247c: DUP1
0000247d: REVERT
0000247e: JUMPDEST
0000247f: DUP2
00002480: CALLDATALOAD
00002481: DUP2
00002482: DUP2
00002483: GT
00002484: ISZERO
00002485: PUSH2 0x2490
00002488: JUMPI
00002489: PUSH2 0x2490
0000248c: PUSH2 0x23ea
0000248f: JUMP
00002490: JUMPDEST
00002491: PUSH1 0x40
00002493: MLOAD
00002494: PUSH1 0x1f
00002496: DUP3
00002497: ADD
00002498: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
000024b9: SWAP1
000024ba: DUP2
000024bb: AND
000024bc: PUSH1 0x3f
000024be: ADD
000024bf: AND
000024c0: DUP2
000024c1: ADD
000024c2: SWAP1
000024c3: DUP4
000024c4: DUP3
000024c5: GT
000024c6: DUP2
000024c7: DUP4
000024c8: LT
000024c9: OR
000024ca: ISZERO
000024cb: PUSH2 0x24d6
000024ce: JUMPI
000024cf: PUSH2 0x24d6
000024d2: PUSH2 0x23ea
000024d5: JUMP
000024d6: JUMPDEST
000024d7: DUP2
000024d8: PUSH1 0x40
000024da: MSTORE
000024db: DUP3
000024dc: DUP2
000024dd: MSTORE
000024de: DUP11
000024df: PUSH1 0x20
000024e1: DUP5
000024e2: DUP8
000024e3: ADD
000024e4: ADD
000024e5: GT
000024e6: ISZERO
000024e7: PUSH2 0x24ef
000024ea: JUMPI
000024eb: PUSH1 0x00
000024ed: DUP1
000024ee: REVERT
000024ef: JUMPDEST
000024f0: DUP3
000024f1: PUSH1 0x20
000024f3: DUP7
000024f4: ADD
000024f5: PUSH1 0x20
000024f7: DUP4
000024f8: ADD
000024f9: CALLDATACOPY
000024fa: PUSH1 0x00
000024fc: PUSH1 0x20
000024fe: DUP5
000024ff: DUP4
00002500: ADD
00002501: ADD
00002502: MSTORE
00002503: DUP1
00002504: SWAP6
00002505: POP
00002506: POP
00002507: POP
00002508: POP
00002509: POP
0000250a: POP
0000250b: SWAP3
0000250c: SWAP6
0000250d: SWAP2
0000250e: SWAP5
0000250f: POP
00002510: SWAP3
00002511: POP
00002512: JUMP
00002513: JUMPDEST
00002514: PUSH1 0x00
00002516: DUP1
00002517: PUSH1 0x40
00002519: DUP4
0000251a: DUP6
0000251b: SUB
0000251c: SLT
0000251d: ISZERO
0000251e: PUSH2 0x2526
00002521: JUMPI
00002522: PUSH1 0x00
00002524: DUP1
00002525: REVERT
00002526: JUMPDEST
00002527: PUSH2 0x252f
0000252a: DUP4
0000252b: PUSH2 0x222f
0000252e: JUMP
0000252f: JUMPDEST
00002530: SWAP2
00002531: POP
00002532: PUSH2 0x253d
00002535: PUSH1 0x20
00002537: DUP5
00002538: ADD
00002539: PUSH2 0x222f
0000253c: JUMP
0000253d: JUMPDEST
0000253e: SWAP1
0000253f: POP
00002540: SWAP3
00002541: POP
00002542: SWAP3
00002543: SWAP1
00002544: POP
00002545: JUMP
00002546: JUMPDEST
00002547: PUSH1 0x01
00002549: DUP2
0000254a: DUP2
0000254b: SHR
0000254c: SWAP1
0000254d: DUP3
0000254e: AND
0000254f: DUP1
00002550: PUSH2 0x255a
00002553: JUMPI
00002554: PUSH1 0x7f
00002556: DUP3
00002557: AND
00002558: SWAP2
00002559: POP
0000255a: JUMPDEST
0000255b: PUSH1 0x20
0000255d: DUP3
0000255e: LT
0000255f: DUP2
00002560: SUB
00002561: PUSH2 0x2593
00002564: JUMPI
00002565: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00002586: PUSH1 0x00
00002588: MSTORE
00002589: PUSH1 0x22
0000258b: PUSH1 0x04
0000258d: MSTORE
0000258e: PUSH1 0x24
00002590: PUSH1 0x00
00002592: REVERT
00002593: JUMPDEST
00002594: POP
00002595: SWAP2
00002596: SWAP1
00002597: POP
00002598: JUMP
00002599: JUMPDEST
0000259a: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
000025bb: PUSH1 0x00
000025bd: MSTORE
000025be: PUSH1 0x11
000025c0: PUSH1 0x04
000025c2: MSTORE
000025c3: PUSH1 0x24
000025c5: PUSH1 0x00
000025c7: REVERT
000025c8: JUMPDEST
000025c9: PUSH1 0x00
000025cb: DUP3
000025cc: NOT
000025cd: DUP3
000025ce: GT
000025cf: ISZERO
000025d0: PUSH2 0x25db
000025d3: JUMPI
000025d4: PUSH2 0x25db
000025d7: PUSH2 0x2599
000025da: JUMP
000025db: JUMPDEST
000025dc: POP
000025dd: ADD
000025de: SWAP1
000025df: JUMP
000025e0: JUMPDEST
000025e1: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00002602: PUSH1 0x00
00002604: MSTORE
00002605: PUSH1 0x32
00002607: PUSH1 0x04
00002609: MSTORE
0000260a: PUSH1 0x24
0000260c: PUSH1 0x00
0000260e: REVERT
0000260f: JUMPDEST
00002610: PUSH1 0x00
00002612: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002633: DUP3
00002634: SUB
00002635: PUSH2 0x2640
00002638: JUMPI
00002639: PUSH2 0x2640
0000263c: PUSH2 0x2599
0000263f: JUMP
00002640: JUMPDEST
00002641: POP
00002642: PUSH1 0x01
00002644: ADD
00002645: SWAP1
00002646: JUMP
00002647: JUMPDEST
00002648: PUSH1 0x00
0000264a: DUP2
0000264b: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0000266c: DIV
0000266d: DUP4
0000266e: GT
0000266f: DUP3
00002670: ISZERO
00002671: ISZERO
00002672: AND
00002673: ISZERO
00002674: PUSH2 0x267f
00002677: JUMPI
00002678: PUSH2 0x267f
0000267b: PUSH2 0x2599
0000267e: JUMP
0000267f: JUMPDEST
00002680: POP
00002681: MUL
00002682: SWAP1
00002683: JUMP
00002684: JUMPDEST
00002685: PUSH1 0x00
00002687: DUP4
00002688: MLOAD
00002689: PUSH2 0x2696
0000268c: DUP2
0000268d: DUP5
0000268e: PUSH1 0x20
00002690: DUP9
00002691: ADD
00002692: PUSH2 0x218d
00002695: JUMP
00002696: JUMPDEST
00002697: DUP4
00002698: MLOAD
00002699: SWAP1
0000269a: DUP4
0000269b: ADD
0000269c: SWAP1
0000269d: PUSH2 0x26aa
000026a0: DUP2
000026a1: DUP4
000026a2: PUSH1 0x20
000026a4: DUP9
000026a5: ADD
000026a6: PUSH2 0x218d
000026a9: JUMP
000026aa: JUMPDEST
000026ab: ADD
000026ac: SWAP5
000026ad: SWAP4
000026ae: POP
000026af: POP
000026b0: POP
000026b1: POP
000026b2: JUMP
000026b3: JUMPDEST
000026b4: PUSH1 0x00
000026b6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000026cb: DUP1
000026cc: DUP8
000026cd: AND
000026ce: DUP4
000026cf: MSTORE
000026d0: DUP1
000026d1: DUP7
000026d2: AND
000026d3: PUSH1 0x20
000026d5: DUP5
000026d6: ADD
000026d7: MSTORE
000026d8: POP
000026d9: DUP4
000026da: PUSH1 0x40
000026dc: DUP4
000026dd: ADD
000026de: MSTORE
000026df: PUSH1 0x80
000026e1: PUSH1 0x60
000026e3: DUP4
000026e4: ADD
000026e5: MSTORE
000026e6: PUSH2 0x26f2
000026e9: PUSH1 0x80
000026eb: DUP4
000026ec: ADD
000026ed: DUP5
000026ee: PUSH2 0x21b9
000026f1: JUMP
000026f2: JUMPDEST
000026f3: SWAP7
000026f4: SWAP6
000026f5: POP
000026f6: POP
000026f7: POP
000026f8: POP
000026f9: POP
000026fa: POP
000026fb: JUMP
000026fc: JUMPDEST
000026fd: PUSH1 0x00
000026ff: PUSH1 0x20
00002701: DUP3
00002702: DUP5
00002703: SUB
00002704: SLT
00002705: ISZERO
00002706: PUSH2 0x270e
00002709: JUMPI
0000270a: PUSH1 0x00
0000270c: DUP1
0000270d: REVERT
0000270e: JUMPDEST
0000270f: DUP2
00002710: MLOAD
00002711: PUSH2 0x12f0
00002714: DUP2
00002715: PUSH2 0x2142
00002718: JUMP
00002719: JUMPDEST
0000271a: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
0000273b: PUSH1 0x00
0000273d: MSTORE
0000273e: PUSH1 0x12
00002740: PUSH1 0x04
00002742: MSTORE
00002743: PUSH1 0x24
00002745: PUSH1 0x00
00002747: REVERT
00002748: JUMPDEST
00002749: PUSH1 0x00
0000274b: DUP3
0000274c: PUSH2 0x2757
0000274f: JUMPI
00002750: PUSH2 0x2757
00002753: PUSH2 0x2719
00002756: JUMP
00002757: JUMPDEST
00002758: POP
00002759: DIV
0000275a: SWAP1
0000275b: JUMP
0000275c: JUMPDEST
0000275d: PUSH1 0x00
0000275f: DUP3
00002760: DUP3
00002761: LT
00002762: ISZERO
00002763: PUSH2 0x276e
00002766: JUMPI
00002767: PUSH2 0x276e
0000276a: PUSH2 0x2599
0000276d: JUMP
0000276e: JUMPDEST
0000276f: POP
00002770: SUB
00002771: SWAP1
00002772: JUMP
00002773: JUMPDEST
00002774: PUSH1 0x00
00002776: DUP3
00002777: PUSH2 0x2782
0000277a: JUMPI
0000277b: PUSH2 0x2782
0000277e: PUSH2 0x2719
00002781: JUMP
00002782: JUMPDEST
00002783: POP
00002784: MOD
00002785: SWAP1
00002786: JUMP
00002787: INVALID
00002788: LOG2
00002789: PUSH5 0x6970667358
0000278f: UNKNOWN(0x22)
00002790: SLT
00002791: KECCAK256
00002792: UNKNOWN(0xC2)
00002793: AND
00002794: UNKNOWN(0xD8)
00002795: BLOBBASEFEE
00002796: PUSH29 0x7f2bd7682f1305dd5934d7a6df3b6c51ee0055fd926a7fba8c39f86473
000027b4: PUSH16
Findings

validated = confirmed for call sinks; sink observed for others
Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
medium	other	detector	Untrusted CALL target/value reachable	45	no	no	view trace_id: 0x833e95b66cf8046019bef9d6e82f3e349d068dcbb6e4d64e8eee308e0b95d794 call_targets: 0xb256a4b86c2124155068899806f665b5862fcbf8 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x833e95b66cf8046019bef9d6e82f3e349d068dcbb6e4d64e8eee308e0b95d794", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xb256a4b86c2124155068899806f665b5862fcbf8" ], "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": "0xe351da4c", "selector": "0xe351da4c", "calldata_variants": [ "0xe351da4c", "0xe351da4c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe985e9c5", "selector": "0xe985e9c5", "calldata_variants": [ "0xe985e9c5", "0xe985e9c50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc87b56dd", "selector": "0xc87b56dd", "calldata_variants": [ "0xc87b56dd", "0xc87b56dd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xdee816e6", "selector": "0xdee816e6", "calldata_variants": [ "0xdee816e6", "0xdee816e60000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa0712d68", "selector": "0xa0712d68", "calldata_variants": [ "0xa0712d68", "0xa0712d680000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa22cb465", "selector": "0xa22cb465", "calldata_variants": [ "0xa22cb465", "0xa22cb4650000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xb88d4fde", "selector": "0xb88d4fde", "calldata_variants": [ "0xb88d4fde", "0xb88d4fde0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 3564, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 7041, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 2, "guards_detected": [ { "pc": 2377, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 5511, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" } ], "untrusted_call_count": 2 }
medium	other	detector	ETH value transfer possible	40	no	no	view trace_id: 0x833e95b66cf8046019bef9d6e82f3e349d068dcbb6e4d64e8eee308e0b95d794 call_targets: 0xb256a4b86c2124155068899806f665b5862fcbf8 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x833e95b66cf8046019bef9d6e82f3e349d068dcbb6e4d64e8eee308e0b95d794", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xb256a4b86c2124155068899806f665b5862fcbf8" ], "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": "0xe351da4c", "selector": "0xe351da4c", "calldata_variants": [ "0xe351da4c", "0xe351da4c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe985e9c5", "selector": "0xe985e9c5", "calldata_variants": [ "0xe985e9c5", "0xe985e9c50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc87b56dd", "selector": "0xc87b56dd", "calldata_variants": [ "0xc87b56dd", "0xc87b56dd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xdee816e6", "selector": "0xdee816e6", "calldata_variants": [ "0xdee816e6", "0xdee816e60000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa0712d68", "selector": "0xa0712d68", "calldata_variants": [ "0xa0712d68", "0xa0712d680000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa22cb465", "selector": "0xa22cb465", "calldata_variants": [ "0xa22cb465", "0xa22cb4650000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xb88d4fde", "selector": "0xb88d4fde", "calldata_variants": [ "0xb88d4fde", "0xb88d4fde0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 3564, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 7041, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 2, "guards_detected": [ { "pc": 2377, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 5511, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" } ] }
Severity