Analysis Run

019b477e-b37b-73c6-854a-ddaf6b002215
complete
Chain ID
1
Address
0x57831a0c76ba6b4fdcbadd6cb48cb26e8fc15e93
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
22561	artifact.fetch	complete	1 / 3	3 months ago
22562	tool.cast_disasm	complete	1 / 3	3 months ago
89761	analysis.bundle	complete	1 / 3	1 week ago
89762	capability.graph	complete	1 / 3	1 week ago
89763	detector.run	complete	1 / 3	1 week ago
89764	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)
6
EXT*/BALANCE
4
Total opcodes
5668
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 0x017c
0000000c: JUMPI
0000000d: PUSH4 0xffffffff
00000012: PUSH1 0xe0
00000014: PUSH1 0x02
00000016: EXP
00000017: PUSH1 0x00
00000019: CALLDATALOAD
0000001a: DIV
0000001b: AND
0000001c: PUSH4 0x0519ce79
00000021: DUP2
00000022: EQ
00000023: PUSH2 0x01cc
00000026: JUMPI
00000027: DUP1
00000028: PUSH4 0x054f7d9c
0000002d: EQ
0000002e: PUSH2 0x01fd
00000031: JUMPI
00000032: DUP1
00000033: PUSH4 0x0a0f8168
00000038: EQ
00000039: PUSH2 0x0226
0000003c: JUMPI
0000003d: DUP1
0000003e: PUSH4 0x14806a32
00000043: EQ
00000044: PUSH2 0x023b
00000047: JUMPI
00000048: DUP1
00000049: PUSH4 0x1c091a5f
0000004e: EQ
0000004f: PUSH2 0x0262
00000052: JUMPI
00000053: DUP1
00000054: PUSH4 0x1f747458
00000059: EQ
0000005a: PUSH2 0x0284
0000005d: JUMPI
0000005e: DUP1
0000005f: PUSH4 0x27d7874c
00000064: EQ
00000065: PUSH2 0x02a5
00000068: JUMPI
00000069: DUP1
0000006a: PUSH4 0x2ba73c15
0000006f: EQ
00000070: PUSH2 0x02c6
00000073: JUMPI
00000074: DUP1
00000075: PUSH4 0x2d5796ac
0000007a: EQ
0000007b: PUSH2 0x02e7
0000007e: JUMPI
0000007f: DUP1
00000080: PUSH4 0x302890e1
00000085: EQ
00000086: PUSH2 0x02ff
00000089: JUMPI
0000008a: DUP1
0000008b: PUSH4 0x3a3d55a0
00000090: EQ
00000091: PUSH2 0x0314
00000094: JUMPI
00000095: DUP1
00000096: PUSH4 0x45394dad
0000009b: EQ
0000009c: PUSH2 0x032c
0000009f: JUMPI
000000a0: DUP1
000000a1: PUSH4 0x4ae772a4
000000a6: EQ
000000a7: PUSH2 0x0341
000000aa: JUMPI
000000ab: DUP1
000000ac: PUSH4 0x4e0a3379
000000b1: EQ
000000b2: PUSH2 0x0359
000000b5: JUMPI
000000b6: DUP1
000000b7: PUSH4 0x4e8dc003
000000bc: EQ
000000bd: PUSH2 0x037a
000000c0: JUMPI
000000c1: DUP1
000000c2: PUSH4 0x56d282fc
000000c7: EQ
000000c8: PUSH2 0x039e
000000cb: JUMPI
000000cc: DUP1
000000cd: PUSH4 0x5ac165af
000000d2: EQ
000000d3: PUSH2 0x03a9
000000d6: JUMPI
000000d7: DUP1
000000d8: PUSH4 0x62a5af3b
000000dd: EQ
000000de: PUSH2 0x03be
000000e1: JUMPI
000000e2: DUP1
000000e3: PUSH4 0x69250729
000000e8: EQ
000000e9: PUSH2 0x03d3
000000ec: JUMPI
000000ed: DUP1
000000ee: PUSH4 0x7ae86385
000000f3: EQ
000000f4: PUSH2 0x03e8
000000f7: JUMPI
000000f8: DUP1
000000f9: PUSH4 0x8c0ceea5
000000fe: EQ
000000ff: PUSH2 0x03fd
00000102: JUMPI
00000103: DUP1
00000104: PUSH4 0x930add29
00000109: EQ
0000010a: PUSH2 0x0415
0000010d: JUMPI
0000010e: DUP1
0000010f: PUSH4 0xa269993d
00000114: EQ
00000115: PUSH2 0x042a
00000118: JUMPI
00000119: DUP1
0000011a: PUSH4 0xb047fb50
0000011f: EQ
00000120: PUSH2 0x0435
00000123: JUMPI
00000124: DUP1
00000125: PUSH4 0xbea12e00
0000012a: EQ
0000012b: PUSH2 0x044a
0000012e: JUMPI
0000012f: DUP1
00000130: PUSH4 0xbff2273e
00000135: EQ
00000136: PUSH2 0x045f
00000139: JUMPI
0000013a: DUP1
0000013b: PUSH4 0xc65b98e7
00000140: EQ
00000141: PUSH2 0x0477
00000144: JUMPI
00000145: DUP1
00000146: PUSH4 0xd531fe2b
0000014b: EQ
0000014c: PUSH2 0x048c
0000014f: JUMPI
00000150: DUP1
00000151: PUSH4 0xdb341765
00000156: EQ
00000157: PUSH2 0x04f1
0000015a: JUMPI
0000015b: DUP1
0000015c: PUSH4 0xdd1b7a0f
00000161: EQ
00000162: PUSH2 0x0506
00000165: JUMPI
00000166: DUP1
00000167: PUSH4 0xe1302e2b
0000016c: EQ
0000016d: PUSH2 0x051b
00000170: JUMPI
00000171: DUP1
00000172: PUSH4 0xef706adf
00000177: EQ
00000178: PUSH2 0x0533
0000017b: JUMPI
0000017c: JUMPDEST
0000017d: PUSH1 0x40
0000017f: DUP1
00000180: MLOAD
00000181: PUSH1 0xe5
00000183: PUSH1 0x02
00000185: EXP
00000186: PUSH3 0x461bcd
0000018a: MUL
0000018b: DUP2
0000018c: MSTORE
0000018d: PUSH1 0x20
0000018f: PUSH1 0x04
00000191: DUP3
00000192: ADD
00000193: MSTORE
00000194: PUSH1 0x1d
00000196: PUSH1 0x24
00000198: DUP3
00000199: ADD
0000019a: MSTORE
0000019b: PUSH32 0x776520646f6e27742061636365707420616e79207061796d656e747321000000
000001bc: PUSH1 0x44
000001be: DUP3
000001bf: ADD
000001c0: MSTORE
000001c1: SWAP1
000001c2: MLOAD
000001c3: SWAP1
000001c4: DUP2
000001c5: SWAP1
000001c6: SUB
000001c7: PUSH1 0x64
000001c9: ADD
000001ca: SWAP1
000001cb: REVERT
000001cc: JUMPDEST
000001cd: CALLVALUE
000001ce: DUP1
000001cf: ISZERO
000001d0: PUSH2 0x01d8
000001d3: JUMPI
000001d4: PUSH1 0x00
000001d6: DUP1
000001d7: REVERT
000001d8: JUMPDEST
000001d9: POP
000001da: PUSH2 0x01e1
000001dd: PUSH2 0x054b
000001e0: JUMP
000001e1: JUMPDEST
000001e2: PUSH1 0x40
000001e4: DUP1
000001e5: MLOAD
000001e6: PUSH1 0x01
000001e8: PUSH1 0xa0
000001ea: PUSH1 0x02
000001ec: EXP
000001ed: SUB
000001ee: SWAP1
000001ef: SWAP3
000001f0: AND
000001f1: DUP3
000001f2: MSTORE
000001f3: MLOAD
000001f4: SWAP1
000001f5: DUP2
000001f6: SWAP1
000001f7: SUB
000001f8: PUSH1 0x20
000001fa: ADD
000001fb: SWAP1
000001fc: RETURN
000001fd: JUMPDEST
000001fe: CALLVALUE
000001ff: DUP1
00000200: ISZERO
00000201: PUSH2 0x0209
00000204: JUMPI
00000205: PUSH1 0x00
00000207: DUP1
00000208: REVERT
00000209: JUMPDEST
0000020a: POP
0000020b: PUSH2 0x0212
0000020e: PUSH2 0x055a
00000211: JUMP
00000212: JUMPDEST
00000213: PUSH1 0x40
00000215: DUP1
00000216: MLOAD
00000217: SWAP2
00000218: ISZERO
00000219: ISZERO
0000021a: DUP3
0000021b: MSTORE
0000021c: MLOAD
0000021d: SWAP1
0000021e: DUP2
0000021f: SWAP1
00000220: SUB
00000221: PUSH1 0x20
00000223: ADD
00000224: SWAP1
00000225: RETURN
00000226: JUMPDEST
00000227: CALLVALUE
00000228: DUP1
00000229: ISZERO
0000022a: PUSH2 0x0232
0000022d: JUMPI
0000022e: PUSH1 0x00
00000230: DUP1
00000231: REVERT
00000232: JUMPDEST
00000233: POP
00000234: PUSH2 0x01e1
00000237: PUSH2 0x0563
0000023a: JUMP
0000023b: JUMPDEST
0000023c: CALLVALUE
0000023d: DUP1
0000023e: ISZERO
0000023f: PUSH2 0x0247
00000242: JUMPI
00000243: PUSH1 0x00
00000245: DUP1
00000246: REVERT
00000247: JUMPDEST
00000248: POP
00000249: PUSH2 0x0250
0000024c: PUSH2 0x0572
0000024f: JUMP
00000250: JUMPDEST
00000251: PUSH1 0x40
00000253: DUP1
00000254: MLOAD
00000255: SWAP2
00000256: DUP3
00000257: MSTORE
00000258: MLOAD
00000259: SWAP1
0000025a: DUP2
0000025b: SWAP1
0000025c: SUB
0000025d: PUSH1 0x20
0000025f: ADD
00000260: SWAP1
00000261: RETURN
00000262: JUMPDEST
00000263: CALLVALUE
00000264: DUP1
00000265: ISZERO
00000266: PUSH2 0x026e
00000269: JUMPI
0000026a: PUSH1 0x00
0000026c: DUP1
0000026d: REVERT
0000026e: JUMPDEST
0000026f: POP
00000270: PUSH2 0x0282
00000273: PUSH1 0x04
00000275: DUP1
00000276: CALLDATALOAD
00000277: PUSH1 0x24
00000279: DUP2
0000027a: ADD
0000027b: SWAP2
0000027c: ADD
0000027d: CALLDATALOAD
0000027e: PUSH2 0x0578
00000281: JUMP
00000282: JUMPDEST
00000283: STOP
00000284: JUMPDEST
00000285: CALLVALUE
00000286: DUP1
00000287: ISZERO
00000288: PUSH2 0x0290
0000028b: JUMPI
0000028c: PUSH1 0x00
0000028e: DUP1
0000028f: REVERT
00000290: JUMPDEST
00000291: POP
00000292: PUSH2 0x0282
00000295: PUSH1 0x01
00000297: PUSH1 0xa0
00000299: PUSH1 0x02
0000029b: EXP
0000029c: SUB
0000029d: PUSH1 0x04
0000029f: CALLDATALOAD
000002a0: AND
000002a1: PUSH2 0x073f
000002a4: JUMP
000002a5: JUMPDEST
000002a6: CALLVALUE
000002a7: DUP1
000002a8: ISZERO
000002a9: PUSH2 0x02b1
000002ac: JUMPI
000002ad: PUSH1 0x00
000002af: DUP1
000002b0: REVERT
000002b1: JUMPDEST
000002b2: POP
000002b3: PUSH2 0x0282
000002b6: PUSH1 0x01
000002b8: PUSH1 0xa0
000002ba: PUSH1 0x02
000002bc: EXP
000002bd: SUB
000002be: PUSH1 0x04
000002c0: CALLDATALOAD
000002c1: AND
000002c2: PUSH2 0x0858
000002c5: JUMP
000002c6: JUMPDEST
000002c7: CALLVALUE
000002c8: DUP1
000002c9: ISZERO
000002ca: PUSH2 0x02d2
000002cd: JUMPI
000002ce: PUSH1 0x00
000002d0: DUP1
000002d1: REVERT
000002d2: JUMPDEST
000002d3: POP
000002d4: PUSH2 0x0282
000002d7: PUSH1 0x01
000002d9: PUSH1 0xa0
000002db: PUSH1 0x02
000002dd: EXP
000002de: SUB
000002df: PUSH1 0x04
000002e1: CALLDATALOAD
000002e2: AND
000002e3: PUSH2 0x0971
000002e6: JUMP
000002e7: JUMPDEST
000002e8: CALLVALUE
000002e9: DUP1
000002ea: ISZERO
000002eb: PUSH2 0x02f3
000002ee: JUMPI
000002ef: PUSH1 0x00
000002f1: DUP1
000002f2: REVERT
000002f3: JUMPDEST
000002f4: POP
000002f5: PUSH2 0x0282
000002f8: PUSH1 0x04
000002fa: CALLDATALOAD
000002fb: PUSH2 0x0a8a
000002fe: JUMP
000002ff: JUMPDEST
00000300: CALLVALUE
00000301: DUP1
00000302: ISZERO
00000303: PUSH2 0x030b
00000306: JUMPI
00000307: PUSH1 0x00
00000309: DUP1
0000030a: REVERT
0000030b: JUMPDEST
0000030c: POP
0000030d: PUSH2 0x01e1
00000310: PUSH2 0x0b76
00000313: JUMP
00000314: JUMPDEST
00000315: CALLVALUE
00000316: DUP1
00000317: ISZERO
00000318: PUSH2 0x0320
0000031b: JUMPI
0000031c: PUSH1 0x00
0000031e: DUP1
0000031f: REVERT
00000320: JUMPDEST
00000321: POP
00000322: PUSH2 0x0282
00000325: PUSH1 0x04
00000327: CALLDATALOAD
00000328: PUSH2 0x0b85
0000032b: JUMP
0000032c: JUMPDEST
0000032d: CALLVALUE
0000032e: DUP1
0000032f: ISZERO
00000330: PUSH2 0x0338
00000333: JUMPI
00000334: PUSH1 0x00
00000336: DUP1
00000337: REVERT
00000338: JUMPDEST
00000339: POP
0000033a: PUSH2 0x0282
0000033d: PUSH2 0x0c71
00000340: JUMP
00000341: JUMPDEST
00000342: CALLVALUE
00000343: DUP1
00000344: ISZERO
00000345: PUSH2 0x034d
00000348: JUMPI
00000349: PUSH1 0x00
0000034b: DUP1
0000034c: REVERT
0000034d: JUMPDEST
0000034e: POP
0000034f: PUSH2 0x0282
00000352: PUSH1 0x04
00000354: CALLDATALOAD
00000355: PUSH2 0x0d53
00000358: JUMP
00000359: JUMPDEST
0000035a: CALLVALUE
0000035b: DUP1
0000035c: ISZERO
0000035d: PUSH2 0x0365
00000360: JUMPI
00000361: PUSH1 0x00
00000363: DUP1
00000364: REVERT
00000365: JUMPDEST
00000366: POP
00000367: PUSH2 0x0282
0000036a: PUSH1 0x01
0000036c: PUSH1 0xa0
0000036e: PUSH1 0x02
00000370: EXP
00000371: SUB
00000372: PUSH1 0x04
00000374: CALLDATALOAD
00000375: AND
00000376: PUSH2 0x0e42
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 0x0282
0000038b: PUSH1 0x04
0000038d: CALLDATALOAD
0000038e: PUSH1 0x01
00000390: PUSH1 0x80
00000392: PUSH1 0x02
00000394: EXP
00000395: SUB
00000396: PUSH1 0x24
00000398: CALLDATALOAD
00000399: AND
0000039a: PUSH2 0x0f5b
0000039d: JUMP
0000039e: JUMPDEST
0000039f: PUSH2 0x0282
000003a2: PUSH1 0x04
000003a4: CALLDATALOAD
000003a5: PUSH2 0x13d6
000003a8: JUMP
000003a9: JUMPDEST
000003aa: CALLVALUE
000003ab: DUP1
000003ac: ISZERO
000003ad: PUSH2 0x03b5
000003b0: JUMPI
000003b1: PUSH1 0x00
000003b3: DUP1
000003b4: REVERT
000003b5: JUMPDEST
000003b6: POP
000003b7: PUSH2 0x0250
000003ba: PUSH2 0x165f
000003bd: JUMP
000003be: JUMPDEST
000003bf: CALLVALUE
000003c0: DUP1
000003c1: ISZERO
000003c2: PUSH2 0x03ca
000003c5: JUMPI
000003c6: PUSH1 0x00
000003c8: DUP1
000003c9: REVERT
000003ca: JUMPDEST
000003cb: POP
000003cc: PUSH2 0x0282
000003cf: PUSH2 0x1665
000003d2: JUMP
000003d3: JUMPDEST
000003d4: CALLVALUE
000003d5: DUP1
000003d6: ISZERO
000003d7: PUSH2 0x03df
000003da: JUMPI
000003db: PUSH1 0x00
000003dd: DUP1
000003de: REVERT
000003df: JUMPDEST
000003e0: POP
000003e1: PUSH2 0x0250
000003e4: PUSH2 0x1766
000003e7: JUMP
000003e8: JUMPDEST
000003e9: CALLVALUE
000003ea: DUP1
000003eb: ISZERO
000003ec: PUSH2 0x03f4
000003ef: JUMPI
000003f0: PUSH1 0x00
000003f2: DUP1
000003f3: REVERT
000003f4: JUMPDEST
000003f5: POP
000003f6: PUSH2 0x0250
000003f9: PUSH2 0x176c
000003fc: JUMP
000003fd: JUMPDEST
000003fe: CALLVALUE
000003ff: DUP1
00000400: ISZERO
00000401: PUSH2 0x0409
00000404: JUMPI
00000405: PUSH1 0x00
00000407: DUP1
00000408: REVERT
00000409: JUMPDEST
0000040a: POP
0000040b: PUSH2 0x0282
0000040e: PUSH1 0x04
00000410: CALLDATALOAD
00000411: PUSH2 0x1772
00000414: JUMP
00000415: JUMPDEST
00000416: CALLVALUE
00000417: DUP1
00000418: ISZERO
00000419: PUSH2 0x0421
0000041c: JUMPI
0000041d: PUSH1 0x00
0000041f: DUP1
00000420: REVERT
00000421: JUMPDEST
00000422: POP
00000423: PUSH2 0x0282
00000426: PUSH2 0x18e1
00000429: JUMP
0000042a: JUMPDEST
0000042b: PUSH2 0x0282
0000042e: PUSH1 0x04
00000430: CALLDATALOAD
00000431: PUSH2 0x19ad
00000434: JUMP
00000435: JUMPDEST
00000436: CALLVALUE
00000437: DUP1
00000438: ISZERO
00000439: PUSH2 0x0441
0000043c: JUMPI
0000043d: PUSH1 0x00
0000043f: DUP1
00000440: REVERT
00000441: JUMPDEST
00000442: POP
00000443: PUSH2 0x01e1
00000446: PUSH2 0x1da3
00000449: JUMP
0000044a: JUMPDEST
0000044b: CALLVALUE
0000044c: DUP1
0000044d: ISZERO
0000044e: PUSH2 0x0456
00000451: JUMPI
00000452: PUSH1 0x00
00000454: DUP1
00000455: REVERT
00000456: JUMPDEST
00000457: POP
00000458: PUSH2 0x0250
0000045b: PUSH2 0x1db2
0000045e: JUMP
0000045f: JUMPDEST
00000460: CALLVALUE
00000461: DUP1
00000462: ISZERO
00000463: PUSH2 0x046b
00000466: JUMPI
00000467: PUSH1 0x00
00000469: DUP1
0000046a: REVERT
0000046b: JUMPDEST
0000046c: POP
0000046d: PUSH2 0x0282
00000470: PUSH1 0x04
00000472: CALLDATALOAD
00000473: PUSH2 0x1db8
00000476: JUMP
00000477: JUMPDEST
00000478: CALLVALUE
00000479: DUP1
0000047a: ISZERO
0000047b: PUSH2 0x0483
0000047e: JUMPI
0000047f: PUSH1 0x00
00000481: DUP1
00000482: REVERT
00000483: JUMPDEST
00000484: POP
00000485: PUSH2 0x0250
00000488: PUSH2 0x1f23
0000048b: JUMP
0000048c: JUMPDEST
0000048d: CALLVALUE
0000048e: DUP1
0000048f: ISZERO
00000490: PUSH2 0x0498
00000493: JUMPI
00000494: PUSH1 0x00
00000496: DUP1
00000497: REVERT
00000498: JUMPDEST
00000499: POP
0000049a: PUSH2 0x04a4
0000049d: PUSH1 0x04
0000049f: CALLDATALOAD
000004a0: PUSH2 0x1f29
000004a3: JUMP
000004a4: JUMPDEST
000004a5: PUSH1 0x40
000004a7: DUP1
000004a8: MLOAD
000004a9: PUSH8 0xffffffffffffffff
000004b2: SWAP1
000004b3: SWAP7
000004b4: AND
000004b5: DUP7
000004b6: MSTORE
000004b7: PUSH1 0x01
000004b9: PUSH1 0xa0
000004bb: PUSH1 0x02
000004bd: EXP
000004be: SUB
000004bf: SWAP1
000004c0: SWAP5
000004c1: AND
000004c2: PUSH1 0x20
000004c4: DUP7
000004c5: ADD
000004c6: MSTORE
000004c7: PUSH2 0xffff
000004ca: SWAP1
000004cb: SWAP3
000004cc: AND
000004cd: DUP5
000004ce: DUP5
000004cf: ADD
000004d0: MSTORE
000004d1: PUSH1 0x01
000004d3: PUSH1 0x80
000004d5: PUSH1 0x02
000004d7: EXP
000004d8: SUB
000004d9: SWAP1
000004da: DUP2
000004db: AND
000004dc: PUSH1 0x60
000004de: DUP6
000004df: ADD
000004e0: MSTORE
000004e1: AND
000004e2: PUSH1 0x80
000004e4: DUP4
000004e5: ADD
000004e6: MSTORE
000004e7: MLOAD
000004e8: SWAP1
000004e9: DUP2
000004ea: SWAP1
000004eb: SUB
000004ec: PUSH1 0xa0
000004ee: ADD
000004ef: SWAP1
000004f0: RETURN
000004f1: JUMPDEST
000004f2: CALLVALUE
000004f3: DUP1
000004f4: ISZERO
000004f5: PUSH2 0x04fd
000004f8: JUMPI
000004f9: PUSH1 0x00
000004fb: DUP1
000004fc: REVERT
000004fd: JUMPDEST
000004fe: POP
000004ff: PUSH2 0x0250
00000502: PUSH2 0x1f92
00000505: JUMP
00000506: JUMPDEST
00000507: CALLVALUE
00000508: DUP1
00000509: ISZERO
0000050a: PUSH2 0x0512
0000050d: JUMPI
0000050e: PUSH1 0x00
00000510: DUP1
00000511: REVERT
00000512: JUMPDEST
00000513: POP
00000514: PUSH2 0x01e1
00000517: PUSH2 0x1f98
0000051a: JUMP
0000051b: JUMPDEST
0000051c: CALLVALUE
0000051d: DUP1
0000051e: ISZERO
0000051f: PUSH2 0x0527
00000522: JUMPI
00000523: PUSH1 0x00
00000525: DUP1
00000526: REVERT
00000527: JUMPDEST
00000528: POP
00000529: PUSH2 0x0282
0000052c: PUSH1 0x04
0000052e: CALLDATALOAD
0000052f: PUSH2 0x1fa7
00000532: JUMP
00000533: JUMPDEST
00000534: CALLVALUE
00000535: DUP1
00000536: ISZERO
00000537: PUSH2 0x053f
0000053a: JUMPI
0000053b: PUSH1 0x00
0000053d: DUP1
0000053e: REVERT
0000053f: JUMPDEST
00000540: POP
00000541: PUSH2 0x0282
00000544: PUSH1 0x04
00000546: CALLDATALOAD
00000547: PUSH2 0x21e3
0000054a: JUMP
0000054b: JUMPDEST
0000054c: PUSH1 0x02
0000054e: SLOAD
0000054f: PUSH1 0x01
00000551: PUSH1 0xa0
00000553: PUSH1 0x02
00000555: EXP
00000556: SUB
00000557: AND
00000558: DUP2
00000559: JUMP
0000055a: JUMPDEST
0000055b: PUSH1 0x06
0000055d: SLOAD
0000055e: PUSH1 0xff
00000560: AND
00000561: DUP2
00000562: JUMP
00000563: JUMPDEST
00000564: PUSH1 0x00
00000566: SLOAD
00000567: PUSH1 0x01
00000569: PUSH1 0xa0
0000056b: PUSH1 0x02
0000056d: EXP
0000056e: SUB
0000056f: AND
00000570: DUP2
00000571: JUMP
00000572: JUMPDEST
00000573: PUSH1 0x07
00000575: SLOAD
00000576: DUP2
00000577: JUMP
00000578: JUMPDEST
00000579: PUSH1 0x00
0000057b: DUP1
0000057c: PUSH1 0x00
0000057e: DUP1
0000057f: PUSH1 0x00
00000581: DUP1
00000582: PUSH1 0x00
00000584: DUP1
00000585: PUSH1 0x00
00000587: PUSH1 0x06
00000589: PUSH1 0x00
0000058b: SWAP1
0000058c: SLOAD
0000058d: SWAP1
0000058e: PUSH2 0x0100
00000591: EXP
00000592: SWAP1
00000593: DIV
00000594: PUSH1 0xff
00000596: AND
00000597: ISZERO
00000598: ISZERO
00000599: ISZERO
0000059a: PUSH2 0x05db
0000059d: JUMPI
0000059e: PUSH1 0x40
000005a0: DUP1
000005a1: MLOAD
000005a2: PUSH1 0xe5
000005a4: PUSH1 0x02
000005a6: EXP
000005a7: PUSH3 0x461bcd
000005ab: MUL
000005ac: DUP2
000005ad: MSTORE
000005ae: PUSH1 0x20
000005b0: PUSH1 0x04
000005b2: DUP3
000005b3: ADD
000005b4: MSTORE
000005b5: PUSH1 0x1f
000005b7: PUSH1 0x24
000005b9: DUP3
000005ba: ADD
000005bb: MSTORE
000005bc: PUSH1 0x00
000005be: DUP1
000005bf: MLOAD
000005c0: PUSH1 0x20
000005c2: PUSH2 0x2743
000005c5: DUP4
000005c6: CODECOPY
000005c7: DUP2
000005c8: MLOAD
000005c9: SWAP2
000005ca: MSTORE
000005cb: PUSH1 0x44
000005cd: DUP3
000005ce: ADD
000005cf: MSTORE
000005d0: SWAP1
000005d1: MLOAD
000005d2: SWAP1
000005d3: DUP2
000005d4: SWAP1
000005d5: SUB
000005d6: PUSH1 0x64
000005d8: ADD
000005d9: SWAP1
000005da: REVERT
000005db: JUMPDEST
000005dc: DUP10
000005dd: SWAP9
000005de: POP
000005df: PUSH1 0x00
000005e1: SWAP8
000005e2: POP
000005e3: DUP8
000005e4: SWAP7
000005e5: POP
000005e6: JUMPDEST
000005e7: DUP9
000005e8: DUP8
000005e9: LT
000005ea: ISZERO
000005eb: PUSH2 0x0720
000005ee: JUMPI
000005ef: DUP11
000005f0: DUP11
000005f1: DUP9
000005f2: DUP2
000005f3: DUP2
000005f4: LT
000005f5: PUSH2 0x05fa
000005f8: JUMPI
000005f9: INVALID
000005fa: JUMPDEST
000005fb: PUSH1 0x20
000005fd: SWAP1
000005fe: DUP2
000005ff: MUL
00000600: SWAP3
00000601: SWAP1
00000602: SWAP3
00000603: ADD
00000604: CALLDATALOAD
00000605: PUSH1 0x00
00000607: DUP2
00000608: DUP2
00000609: MSTORE
0000060a: PUSH1 0x0c
0000060c: SWAP1
0000060d: SWAP4
0000060e: MSTORE
0000060f: PUSH1 0x40
00000611: SWAP1
00000612: SWAP3
00000613: KECCAK256
00000614: DUP1
00000615: SLOAD
00000616: SWAP3
00000617: SWAP9
00000618: POP
00000619: SWAP7
0000061a: POP
0000061b: POP
0000061c: PUSH8 0xffffffffffffffff
00000625: AND
00000626: SWAP4
00000627: POP
00000628: PUSH2 0x0630
0000062b: DUP5
0000062c: PUSH2 0x2491
0000062f: JUMP
00000630: JUMPDEST
00000631: ISZERO
00000632: ISZERO
00000633: PUSH2 0x063b
00000636: JUMPI
00000637: PUSH2 0x0715
0000063a: JUMP
0000063b: JUMPDEST
0000063c: PUSH2 0x0644
0000063f: DUP5
00000640: PUSH2 0x2497
00000643: JUMP
00000644: JUMPDEST
00000645: ISZERO
00000646: PUSH2 0x064e
00000649: JUMPI
0000064a: PUSH2 0x0715
0000064d: JUMP
0000064e: JUMPDEST
0000064f: POP
00000650: POP
00000651: DUP3
00000652: SLOAD
00000653: PUSH1 0x01
00000655: DUP1
00000656: DUP6
00000657: ADD
00000658: SLOAD
00000659: PUSH1 0x00
0000065b: DUP8
0000065c: DUP2
0000065d: MSTORE
0000065e: PUSH1 0x0c
00000660: PUSH1 0x20
00000662: MSTORE
00000663: PUSH1 0x40
00000665: DUP2
00000666: KECCAK256
00000667: DUP1
00000668: SLOAD
00000669: PUSH1 0x01
0000066b: PUSH1 0xf0
0000066d: PUSH1 0x02
0000066f: EXP
00000670: SUB
00000671: NOT
00000672: AND
00000673: DUP2
00000674: SSTORE
00000675: SWAP1
00000676: SWAP3
00000677: ADD
00000678: SWAP2
00000679: SWAP1
0000067a: SWAP2
0000067b: SSTORE
0000067c: PUSH17 0x0100000000000000000000000000000000
0000068e: DUP2
0000068f: DIV
00000690: PUSH1 0x01
00000692: PUSH1 0x80
00000694: PUSH1 0x02
00000696: EXP
00000697: SUB
00000698: SWAP1
00000699: DUP2
0000069a: AND
0000069b: SWAP9
0000069c: DUP10
0000069d: ADD
0000069e: SWAP9
0000069f: PUSH9 0x010000000000000000
000006a9: SWAP1
000006aa: SWAP4
000006ab: DIV
000006ac: PUSH1 0x01
000006ae: PUSH1 0xa0
000006b0: PUSH1 0x02
000006b2: EXP
000006b3: SUB
000006b4: AND
000006b5: SWAP4
000006b6: POP
000006b7: AND
000006b8: DUP2
000006b9: SWAP1
000006ba: SUB
000006bb: PUSH2 0x06c5
000006be: DUP7
000006bf: DUP5
000006c0: DUP4
000006c1: PUSH2 0x249c
000006c4: JUMP
000006c5: JUMPDEST
000006c6: PUSH1 0x40
000006c8: DUP1
000006c9: MLOAD
000006ca: DUP8
000006cb: DUP2
000006cc: MSTORE
000006cd: PUSH1 0x01
000006cf: PUSH1 0xa0
000006d1: PUSH1 0x02
000006d3: EXP
000006d4: SUB
000006d5: DUP6
000006d6: AND
000006d7: PUSH1 0x20
000006d9: DUP3
000006da: ADD
000006db: MSTORE
000006dc: DUP1
000006dd: DUP3
000006de: ADD
000006df: DUP4
000006e0: SWAP1
000006e1: MSTORE
000006e2: PUSH1 0x60
000006e4: DUP2
000006e5: ADD
000006e6: DUP5
000006e7: SWAP1
000006e8: MSTORE
000006e9: SWAP1
000006ea: MLOAD
000006eb: PUSH32 0xd876ee5dd9082a3ac4fe7be4799528f1d5f3545cee1516f2821d0f8ecc9d629c
0000070c: SWAP2
0000070d: DUP2
0000070e: SWAP1
0000070f: SUB
00000710: PUSH1 0x80
00000712: ADD
00000713: SWAP1
00000714: LOG1
00000715: JUMPDEST
00000716: PUSH1 0x01
00000718: SWAP1
00000719: SWAP7
0000071a: ADD
0000071b: SWAP6
0000071c: PUSH2 0x05e6
0000071f: JUMP
00000720: JUMPDEST
00000721: PUSH1 0x00
00000723: DUP9
00000724: GT
00000725: ISZERO
00000726: PUSH2 0x0732
00000729: JUMPI
0000072a: PUSH1 0x04
0000072c: DUP1
0000072d: SLOAD
0000072e: DUP10
0000072f: ADD
00000730: SWAP1
00000731: SSTORE
00000732: JUMPDEST
00000733: POP
00000734: POP
00000735: POP
00000736: POP
00000737: POP
00000738: POP
00000739: POP
0000073a: POP
0000073b: POP
0000073c: POP
0000073d: POP
0000073e: JUMP
0000073f: JUMPDEST
00000740: PUSH1 0x00
00000742: SLOAD
00000743: PUSH1 0x01
00000745: PUSH1 0xa0
00000747: PUSH1 0x02
00000749: EXP
0000074a: SUB
0000074b: AND
0000074c: CALLER
0000074d: EQ
0000074e: PUSH2 0x07a3
00000751: JUMPI
00000752: PUSH1 0x40
00000754: DUP1
00000755: MLOAD
00000756: PUSH1 0xe5
00000758: PUSH1 0x02
0000075a: EXP
0000075b: PUSH3 0x461bcd
0000075f: MUL
00000760: DUP2
00000761: MSTORE
00000762: PUSH1 0x20
00000764: PUSH1 0x04
00000766: DUP3
00000767: ADD
00000768: MSTORE
00000769: PUSH1 0x2d
0000076b: PUSH1 0x24
0000076d: DUP3
0000076e: ADD
0000076f: MSTORE
00000770: PUSH1 0x00
00000772: DUP1
00000773: MLOAD
00000774: PUSH1 0x20
00000776: PUSH2 0x2703
00000779: DUP4
0000077a: CODECOPY
0000077b: DUP2
0000077c: MLOAD
0000077d: SWAP2
0000077e: MSTORE
0000077f: PUSH1 0x44
00000781: DUP3
00000782: ADD
00000783: MSTORE
00000784: PUSH1 0x00
00000786: DUP1
00000787: MLOAD
00000788: PUSH1 0x20
0000078a: PUSH2 0x26e3
0000078d: DUP4
0000078e: CODECOPY
0000078f: DUP2
00000790: MLOAD
00000791: SWAP2
00000792: MSTORE
00000793: PUSH1 0x64
00000795: DUP3
00000796: ADD
00000797: MSTORE
00000798: SWAP1
00000799: MLOAD
0000079a: SWAP1
0000079b: DUP2
0000079c: SWAP1
0000079d: SUB
0000079e: PUSH1 0x84
000007a0: ADD
000007a1: SWAP1
000007a2: REVERT
000007a3: JUMPDEST
000007a4: PUSH1 0x01
000007a6: PUSH1 0xa0
000007a8: PUSH1 0x02
000007aa: EXP
000007ab: SUB
000007ac: DUP2
000007ad: AND
000007ae: ISZERO
000007af: ISZERO
000007b0: PUSH2 0x0829
000007b3: JUMPI
000007b4: PUSH1 0x40
000007b6: DUP1
000007b7: MLOAD
000007b8: PUSH1 0xe5
000007ba: PUSH1 0x02
000007bc: EXP
000007bd: PUSH3 0x461bcd
000007c1: MUL
000007c2: DUP2
000007c3: MSTORE
000007c4: PUSH1 0x20
000007c6: PUSH1 0x04
000007c8: DUP3
000007c9: ADD
000007ca: MSTORE
000007cb: PUSH1 0x2d
000007cd: PUSH1 0x24
000007cf: DUP3
000007d0: ADD
000007d1: MSTORE
000007d2: PUSH32 0x6e6577206c6f737420616e6420666f756e642063616e6e6f7420626520746865
000007f3: PUSH1 0x44
000007f5: DUP3
000007f6: ADD
000007f7: MSTORE
000007f8: PUSH32 0x207a65726f2d6163636f756e7400000000000000000000000000000000000000
00000819: PUSH1 0x64
0000081b: DUP3
0000081c: ADD
0000081d: MSTORE
0000081e: SWAP1
0000081f: MLOAD
00000820: SWAP1
00000821: DUP2
00000822: SWAP1
00000823: SUB
00000824: PUSH1 0x84
00000826: ADD
00000827: SWAP1
00000828: REVERT
00000829: JUMPDEST
0000082a: PUSH1 0x03
0000082c: DUP1
0000082d: SLOAD
0000082e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000843: NOT
00000844: AND
00000845: PUSH1 0x01
00000847: PUSH1 0xa0
00000849: PUSH1 0x02
0000084b: EXP
0000084c: SUB
0000084d: SWAP3
0000084e: SWAP1
0000084f: SWAP3
00000850: AND
00000851: SWAP2
00000852: SWAP1
00000853: SWAP2
00000854: OR
00000855: SWAP1
00000856: SSTORE
00000857: JUMP
00000858: JUMPDEST
00000859: PUSH1 0x00
0000085b: SLOAD
0000085c: PUSH1 0x01
0000085e: PUSH1 0xa0
00000860: PUSH1 0x02
00000862: EXP
00000863: SUB
00000864: AND
00000865: CALLER
00000866: EQ
00000867: PUSH2 0x08bc
0000086a: JUMPI
0000086b: PUSH1 0x40
0000086d: DUP1
0000086e: MLOAD
0000086f: PUSH1 0xe5
00000871: PUSH1 0x02
00000873: EXP
00000874: PUSH3 0x461bcd
00000878: MUL
00000879: DUP2
0000087a: MSTORE
0000087b: PUSH1 0x20
0000087d: PUSH1 0x04
0000087f: DUP3
00000880: ADD
00000881: MSTORE
00000882: PUSH1 0x2d
00000884: PUSH1 0x24
00000886: DUP3
00000887: ADD
00000888: MSTORE
00000889: PUSH1 0x00
0000088b: DUP1
0000088c: MLOAD
0000088d: PUSH1 0x20
0000088f: PUSH2 0x2703
00000892: DUP4
00000893: CODECOPY
00000894: DUP2
00000895: MLOAD
00000896: SWAP2
00000897: MSTORE
00000898: PUSH1 0x44
0000089a: DUP3
0000089b: ADD
0000089c: MSTORE
0000089d: PUSH1 0x00
0000089f: DUP1
000008a0: MLOAD
000008a1: PUSH1 0x20
000008a3: PUSH2 0x26e3
000008a6: DUP4
000008a7: CODECOPY
000008a8: DUP2
000008a9: MLOAD
000008aa: SWAP2
000008ab: MSTORE
000008ac: PUSH1 0x64
000008ae: DUP3
000008af: ADD
000008b0: MSTORE
000008b1: SWAP1
000008b2: MLOAD
000008b3: SWAP1
000008b4: DUP2
000008b5: SWAP1
000008b6: SUB
000008b7: PUSH1 0x84
000008b9: ADD
000008ba: SWAP1
000008bb: REVERT
000008bc: JUMPDEST
000008bd: PUSH1 0x01
000008bf: PUSH1 0xa0
000008c1: PUSH1 0x02
000008c3: EXP
000008c4: SUB
000008c5: DUP2
000008c6: AND
000008c7: ISZERO
000008c8: ISZERO
000008c9: PUSH2 0x0942
000008cc: JUMPI
000008cd: PUSH1 0x40
000008cf: DUP1
000008d0: MLOAD
000008d1: PUSH1 0xe5
000008d3: PUSH1 0x02
000008d5: EXP
000008d6: PUSH3 0x461bcd
000008da: MUL
000008db: DUP2
000008dc: MSTORE
000008dd: PUSH1 0x20
000008df: PUSH1 0x04
000008e1: DUP3
000008e2: ADD
000008e3: MSTORE
000008e4: PUSH1 0x2a
000008e6: PUSH1 0x24
000008e8: DUP3
000008e9: ADD
000008ea: MSTORE
000008eb: PUSH32 0x6e65772043454f20616464726573732063616e6e6f7420626520746865207a65
0000090c: PUSH1 0x44
0000090e: DUP3
0000090f: ADD
00000910: MSTORE
00000911: PUSH32 0x726f2d6163636f756e7400000000000000000000000000000000000000000000
00000932: PUSH1 0x64
00000934: DUP3
00000935: ADD
00000936: MSTORE
00000937: SWAP1
00000938: MLOAD
00000939: SWAP1
0000093a: DUP2
0000093b: SWAP1
0000093c: SUB
0000093d: PUSH1 0x84
0000093f: ADD
00000940: SWAP1
00000941: REVERT
00000942: JUMPDEST
00000943: PUSH1 0x00
00000945: DUP1
00000946: SLOAD
00000947: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000095c: NOT
0000095d: AND
0000095e: PUSH1 0x01
00000960: PUSH1 0xa0
00000962: PUSH1 0x02
00000964: EXP
00000965: SUB
00000966: SWAP3
00000967: SWAP1
00000968: SWAP3
00000969: AND
0000096a: SWAP2
0000096b: SWAP1
0000096c: SWAP2
0000096d: OR
0000096e: SWAP1
0000096f: SSTORE
00000970: JUMP
00000971: JUMPDEST
00000972: PUSH1 0x00
00000974: SLOAD
00000975: PUSH1 0x01
00000977: PUSH1 0xa0
00000979: PUSH1 0x02
0000097b: EXP
0000097c: SUB
0000097d: AND
0000097e: CALLER
0000097f: EQ
00000980: PUSH2 0x09d5
00000983: JUMPI
00000984: PUSH1 0x40
00000986: DUP1
00000987: MLOAD
00000988: PUSH1 0xe5
0000098a: PUSH1 0x02
0000098c: EXP
0000098d: PUSH3 0x461bcd
00000991: MUL
00000992: DUP2
00000993: MSTORE
00000994: PUSH1 0x20
00000996: PUSH1 0x04
00000998: DUP3
00000999: ADD
0000099a: MSTORE
0000099b: PUSH1 0x2d
0000099d: PUSH1 0x24
0000099f: DUP3
000009a0: ADD
000009a1: MSTORE
000009a2: PUSH1 0x00
000009a4: DUP1
000009a5: MLOAD
000009a6: PUSH1 0x20
000009a8: PUSH2 0x2703
000009ab: DUP4
000009ac: CODECOPY
000009ad: DUP2
000009ae: MLOAD
000009af: SWAP2
000009b0: MSTORE
000009b1: PUSH1 0x44
000009b3: DUP3
000009b4: ADD
000009b5: MSTORE
000009b6: PUSH1 0x00
000009b8: DUP1
000009b9: MLOAD
000009ba: PUSH1 0x20
000009bc: PUSH2 0x26e3
000009bf: DUP4
000009c0: CODECOPY
000009c1: DUP2
000009c2: MLOAD
000009c3: SWAP2
000009c4: MSTORE
000009c5: PUSH1 0x64
000009c7: DUP3
000009c8: ADD
000009c9: MSTORE
000009ca: SWAP1
000009cb: MLOAD
000009cc: SWAP1
000009cd: DUP2
000009ce: SWAP1
000009cf: SUB
000009d0: PUSH1 0x84
000009d2: ADD
000009d3: SWAP1
000009d4: REVERT
000009d5: JUMPDEST
000009d6: PUSH1 0x01
000009d8: PUSH1 0xa0
000009da: PUSH1 0x02
000009dc: EXP
000009dd: SUB
000009de: DUP2
000009df: AND
000009e0: ISZERO
000009e1: ISZERO
000009e2: PUSH2 0x0a5b
000009e5: JUMPI
000009e6: PUSH1 0x40
000009e8: DUP1
000009e9: MLOAD
000009ea: PUSH1 0xe5
000009ec: PUSH1 0x02
000009ee: EXP
000009ef: PUSH3 0x461bcd
000009f3: MUL
000009f4: DUP2
000009f5: MSTORE
000009f6: PUSH1 0x20
000009f8: PUSH1 0x04
000009fa: DUP3
000009fb: ADD
000009fc: MSTORE
000009fd: PUSH1 0x2a
000009ff: PUSH1 0x24
00000a01: DUP3
00000a02: ADD
00000a03: MSTORE
00000a04: PUSH32 0x6e657720434f4f20616464726573732063616e6e6f7420626520746865207a65
00000a25: PUSH1 0x44
00000a27: DUP3
00000a28: ADD
00000a29: MSTORE
00000a2a: PUSH32 0x726f2d6163636f756e7400000000000000000000000000000000000000000000
00000a4b: PUSH1 0x64
00000a4d: DUP3
00000a4e: ADD
00000a4f: MSTORE
00000a50: SWAP1
00000a51: MLOAD
00000a52: SWAP1
00000a53: DUP2
00000a54: SWAP1
00000a55: SUB
00000a56: PUSH1 0x84
00000a58: ADD
00000a59: SWAP1
00000a5a: REVERT
00000a5b: JUMPDEST
00000a5c: PUSH1 0x01
00000a5e: DUP1
00000a5f: SLOAD
00000a60: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a75: NOT
00000a76: AND
00000a77: PUSH1 0x01
00000a79: PUSH1 0xa0
00000a7b: PUSH1 0x02
00000a7d: EXP
00000a7e: SUB
00000a7f: SWAP3
00000a80: SWAP1
00000a81: SWAP3
00000a82: AND
00000a83: SWAP2
00000a84: SWAP1
00000a85: SWAP2
00000a86: OR
00000a87: SWAP1
00000a88: SSTORE
00000a89: JUMP
00000a8a: JUMPDEST
00000a8b: PUSH1 0x01
00000a8d: SLOAD
00000a8e: PUSH1 0x01
00000a90: PUSH1 0xa0
00000a92: PUSH1 0x02
00000a94: EXP
00000a95: SUB
00000a96: AND
00000a97: CALLER
00000a98: EQ
00000a99: PUSH2 0x0aee
00000a9c: JUMPI
00000a9d: PUSH1 0x40
00000a9f: DUP1
00000aa0: MLOAD
00000aa1: PUSH1 0xe5
00000aa3: PUSH1 0x02
00000aa5: EXP
00000aa6: PUSH3 0x461bcd
00000aaa: MUL
00000aab: DUP2
00000aac: MSTORE
00000aad: PUSH1 0x20
00000aaf: PUSH1 0x04
00000ab1: DUP3
00000ab2: ADD
00000ab3: MSTORE
00000ab4: PUSH1 0x2d
00000ab6: PUSH1 0x24
00000ab8: DUP3
00000ab9: ADD
00000aba: MSTORE
00000abb: PUSH1 0x00
00000abd: DUP1
00000abe: MLOAD
00000abf: PUSH1 0x20
00000ac1: PUSH2 0x2723
00000ac4: DUP4
00000ac5: CODECOPY
00000ac6: DUP2
00000ac7: MLOAD
00000ac8: SWAP2
00000ac9: MSTORE
00000aca: PUSH1 0x44
00000acc: DUP3
00000acd: ADD
00000ace: MSTORE
00000acf: PUSH1 0x00
00000ad1: DUP1
00000ad2: MLOAD
00000ad3: PUSH1 0x20
00000ad5: PUSH2 0x26e3
00000ad8: DUP4
00000ad9: CODECOPY
00000ada: DUP2
00000adb: MLOAD
00000adc: SWAP2
00000add: MSTORE
00000ade: PUSH1 0x64
00000ae0: DUP3
00000ae1: ADD
00000ae2: MSTORE
00000ae3: SWAP1
00000ae4: MLOAD
00000ae5: SWAP1
00000ae6: DUP2
00000ae7: SWAP1
00000ae8: SUB
00000ae9: PUSH1 0x84
00000aeb: ADD
00000aec: SWAP1
00000aed: REVERT
00000aee: JUMPDEST
00000aef: PUSH1 0x06
00000af1: SLOAD
00000af2: PUSH1 0xff
00000af4: AND
00000af5: ISZERO
00000af6: PUSH2 0x0b37
00000af9: JUMPI
00000afa: PUSH1 0x40
00000afc: DUP1
00000afd: MLOAD
00000afe: PUSH1 0xe5
00000b00: PUSH1 0x02
00000b02: EXP
00000b03: PUSH3 0x461bcd
00000b07: MUL
00000b08: DUP2
00000b09: MSTORE
00000b0a: PUSH1 0x20
00000b0c: PUSH1 0x04
00000b0e: DUP3
00000b0f: ADD
00000b10: MSTORE
00000b11: PUSH1 0x1f
00000b13: PUSH1 0x24
00000b15: DUP3
00000b16: ADD
00000b17: MSTORE
00000b18: PUSH1 0x00
00000b1a: DUP1
00000b1b: MLOAD
00000b1c: PUSH1 0x20
00000b1e: PUSH2 0x2743
00000b21: DUP4
00000b22: CODECOPY
00000b23: DUP2
00000b24: MLOAD
00000b25: SWAP2
00000b26: MSTORE
00000b27: PUSH1 0x44
00000b29: DUP3
00000b2a: ADD
00000b2b: MSTORE
00000b2c: SWAP1
00000b2d: MLOAD
00000b2e: SWAP1
00000b2f: DUP2
00000b30: SWAP1
00000b31: SUB
00000b32: PUSH1 0x64
00000b34: ADD
00000b35: SWAP1
00000b36: REVERT
00000b37: JUMPDEST
00000b38: PUSH2 0x0b40
00000b3b: DUP2
00000b3c: PUSH2 0x2523
00000b3f: JUMP
00000b40: JUMPDEST
00000b41: PUSH1 0x40
00000b43: DUP1
00000b44: MLOAD
00000b45: DUP3
00000b46: DUP2
00000b47: MSTORE
00000b48: SWAP1
00000b49: MLOAD
00000b4a: PUSH32 0x4a13d5076f950a8eb96f30e1f814eecade18fcebc5042f3ce669cea283edaefd
00000b6b: SWAP2
00000b6c: DUP2
00000b6d: SWAP1
00000b6e: SUB
00000b6f: PUSH1 0x20
00000b71: ADD
00000b72: SWAP1
00000b73: LOG1
00000b74: POP
00000b75: JUMP
00000b76: JUMPDEST
00000b77: PUSH1 0x03
00000b79: SLOAD
00000b7a: PUSH1 0x01
00000b7c: PUSH1 0xa0
00000b7e: PUSH1 0x02
00000b80: EXP
00000b81: SUB
00000b82: AND
00000b83: DUP2
00000b84: JUMP
00000b85: JUMPDEST
00000b86: PUSH1 0x01
00000b88: SLOAD
00000b89: PUSH1 0x01
00000b8b: PUSH1 0xa0
00000b8d: PUSH1 0x02
00000b8f: EXP
00000b90: SUB
00000b91: AND
00000b92: CALLER
00000b93: EQ
00000b94: PUSH2 0x0be9
00000b97: JUMPI
00000b98: PUSH1 0x40
00000b9a: DUP1
00000b9b: MLOAD
00000b9c: PUSH1 0xe5
00000b9e: PUSH1 0x02
00000ba0: EXP
00000ba1: PUSH3 0x461bcd
00000ba5: MUL
00000ba6: DUP2
00000ba7: MSTORE
00000ba8: PUSH1 0x20
00000baa: PUSH1 0x04
00000bac: DUP3
00000bad: ADD
00000bae: MSTORE
00000baf: PUSH1 0x2d
00000bb1: PUSH1 0x24
00000bb3: DUP3
00000bb4: ADD
00000bb5: MSTORE
00000bb6: PUSH1 0x00
00000bb8: DUP1
00000bb9: MLOAD
00000bba: PUSH1 0x20
00000bbc: PUSH2 0x2723
00000bbf: DUP4
00000bc0: CODECOPY
00000bc1: DUP2
00000bc2: MLOAD
00000bc3: SWAP2
00000bc4: MSTORE
00000bc5: PUSH1 0x44
00000bc7: DUP3
00000bc8: ADD
00000bc9: MSTORE
00000bca: PUSH1 0x00
00000bcc: DUP1
00000bcd: MLOAD
00000bce: PUSH1 0x20
00000bd0: PUSH2 0x26e3
00000bd3: DUP4
00000bd4: CODECOPY
00000bd5: DUP2
00000bd6: MLOAD
00000bd7: SWAP2
00000bd8: MSTORE
00000bd9: PUSH1 0x64
00000bdb: DUP3
00000bdc: ADD
00000bdd: MSTORE
00000bde: SWAP1
00000bdf: MLOAD
00000be0: SWAP1
00000be1: DUP2
00000be2: SWAP1
00000be3: SUB
00000be4: PUSH1 0x84
00000be6: ADD
00000be7: SWAP1
00000be8: REVERT
00000be9: JUMPDEST
00000bea: PUSH1 0x06
00000bec: SLOAD
00000bed: PUSH1 0xff
00000bef: AND
00000bf0: ISZERO
00000bf1: PUSH2 0x0c32
00000bf4: JUMPI
00000bf5: PUSH1 0x40
00000bf7: DUP1
00000bf8: MLOAD
00000bf9: PUSH1 0xe5
00000bfb: PUSH1 0x02
00000bfd: EXP
00000bfe: PUSH3 0x461bcd
00000c02: MUL
00000c03: DUP2
00000c04: MSTORE
00000c05: PUSH1 0x20
00000c07: PUSH1 0x04
00000c09: DUP3
00000c0a: ADD
00000c0b: MSTORE
00000c0c: PUSH1 0x1f
00000c0e: PUSH1 0x24
00000c10: DUP3
00000c11: ADD
00000c12: MSTORE
00000c13: PUSH1 0x00
00000c15: DUP1
00000c16: MLOAD
00000c17: PUSH1 0x20
00000c19: PUSH2 0x2743
00000c1c: DUP4
00000c1d: CODECOPY
00000c1e: DUP2
00000c1f: MLOAD
00000c20: SWAP2
00000c21: MSTORE
00000c22: PUSH1 0x44
00000c24: DUP3
00000c25: ADD
00000c26: MSTORE
00000c27: SWAP1
00000c28: MLOAD
00000c29: SWAP1
00000c2a: DUP2
00000c2b: SWAP1
00000c2c: SUB
00000c2d: PUSH1 0x64
00000c2f: ADD
00000c30: SWAP1
00000c31: REVERT
00000c32: JUMPDEST
00000c33: PUSH2 0x0c3b
00000c36: DUP2
00000c37: PUSH2 0x25a8
00000c3a: JUMP
00000c3b: JUMPDEST
00000c3c: PUSH1 0x40
00000c3e: DUP1
00000c3f: MLOAD
00000c40: DUP3
00000c41: DUP2
00000c42: MSTORE
00000c43: SWAP1
00000c44: MLOAD
00000c45: PUSH32 0x2fa1029ea9a56473df3e068ba4dc7f4343efacb8a54b808f595f78d1d62f0035
00000c66: SWAP2
00000c67: DUP2
00000c68: SWAP1
00000c69: SUB
00000c6a: PUSH1 0x20
00000c6c: ADD
00000c6d: SWAP1
00000c6e: LOG1
00000c6f: POP
00000c70: JUMP
00000c71: JUMPDEST
00000c72: PUSH1 0x03
00000c74: SLOAD
00000c75: PUSH1 0x00
00000c77: SWAP1
00000c78: PUSH1 0x01
00000c7a: PUSH1 0xa0
00000c7c: PUSH1 0x02
00000c7e: EXP
00000c7f: SUB
00000c80: AND
00000c81: CALLER
00000c82: EQ
00000c83: DUP1
00000c84: ISZERO
00000c85: PUSH2 0x0c8d
00000c88: JUMPI
00000c89: POP
00000c8a: CALLER
00000c8b: ISZERO
00000c8c: ISZERO
00000c8d: JUMPDEST
00000c8e: ISZERO
00000c8f: ISZERO
00000c90: PUSH2 0x0d09
00000c93: JUMPI
00000c94: PUSH1 0x40
00000c96: DUP1
00000c97: MLOAD
00000c98: PUSH1 0xe5
00000c9a: PUSH1 0x02
00000c9c: EXP
00000c9d: PUSH3 0x461bcd
00000ca1: MUL
00000ca2: DUP2
00000ca3: MSTORE
00000ca4: PUSH1 0x20
00000ca6: PUSH1 0x04
00000ca8: DUP3
00000ca9: ADD
00000caa: MSTORE
00000cab: PUSH1 0x36
00000cad: PUSH1 0x24
00000caf: DUP3
00000cb0: ADD
00000cb1: MSTORE
00000cb2: PUSH32 0x6f6e6c79204c6f7374416e64466f756e6420697320616c6c6f77656420746f20
00000cd3: PUSH1 0x44
00000cd5: DUP3
00000cd6: ADD
00000cd7: MSTORE
00000cd8: PUSH32 0x706572666f726d2074686973206f7065726174696f6e00000000000000000000
00000cf9: PUSH1 0x64
00000cfb: DUP3
00000cfc: ADD
00000cfd: MSTORE
00000cfe: SWAP1
00000cff: MLOAD
00000d00: SWAP1
00000d01: DUP2
00000d02: SWAP1
00000d03: SUB
00000d04: PUSH1 0x84
00000d06: ADD
00000d07: SWAP1
00000d08: REVERT
00000d09: JUMPDEST
00000d0a: POP
00000d0b: PUSH1 0x05
00000d0d: DUP1
00000d0e: SLOAD
00000d0f: PUSH1 0x00
00000d11: SWAP2
00000d12: DUP3
00000d13: SWAP1
00000d14: SSTORE
00000d15: PUSH1 0x03
00000d17: SLOAD
00000d18: PUSH1 0x40
00000d1a: MLOAD
00000d1b: SWAP2
00000d1c: SWAP3
00000d1d: PUSH1 0x01
00000d1f: PUSH1 0xa0
00000d21: PUSH1 0x02
00000d23: EXP
00000d24: SUB
00000d25: SWAP1
00000d26: SWAP2
00000d27: AND
00000d28: SWAP2
00000d29: DUP4
00000d2a: ISZERO
00000d2b: PUSH2 0x08fc
00000d2e: MUL
00000d2f: SWAP2
00000d30: DUP5
00000d31: SWAP2
00000d32: SWAP1
00000d33: DUP2
00000d34: DUP2
00000d35: DUP2
00000d36: DUP6
00000d37: DUP9
00000d38: DUP9
00000d39: CALL
00000d3a: SWAP4
00000d3b: POP
00000d3c: POP
00000d3d: POP
00000d3e: POP
00000d3f: ISZERO
00000d40: DUP1
00000d41: ISZERO
00000d42: PUSH2 0x0d4f
00000d45: JUMPI
00000d46: RETURNDATASIZE
00000d47: PUSH1 0x00
00000d49: DUP1
00000d4a: RETURNDATACOPY
00000d4b: RETURNDATASIZE
00000d4c: PUSH1 0x00
00000d4e: REVERT
00000d4f: JUMPDEST
00000d50: POP
00000d51: POP
00000d52: JUMP
00000d53: JUMPDEST
00000d54: PUSH1 0x01
00000d56: SLOAD
00000d57: PUSH1 0x01
00000d59: PUSH1 0xa0
00000d5b: PUSH1 0x02
00000d5d: EXP
00000d5e: SUB
00000d5f: AND
00000d60: CALLER
00000d61: EQ
00000d62: PUSH2 0x0db7
00000d65: JUMPI
00000d66: PUSH1 0x40
00000d68: DUP1
00000d69: MLOAD
00000d6a: PUSH1 0xe5
00000d6c: PUSH1 0x02
00000d6e: EXP
00000d6f: PUSH3 0x461bcd
00000d73: MUL
00000d74: DUP2
00000d75: MSTORE
00000d76: PUSH1 0x20
00000d78: PUSH1 0x04
00000d7a: DUP3
00000d7b: ADD
00000d7c: MSTORE
00000d7d: PUSH1 0x2d
00000d7f: PUSH1 0x24
00000d81: DUP3
00000d82: ADD
00000d83: MSTORE
00000d84: PUSH1 0x00
00000d86: DUP1
00000d87: MLOAD
00000d88: PUSH1 0x20
00000d8a: PUSH2 0x2723
00000d8d: DUP4
00000d8e: CODECOPY
00000d8f: DUP2
00000d90: MLOAD
00000d91: SWAP2
00000d92: MSTORE
00000d93: PUSH1 0x44
00000d95: DUP3
00000d96: ADD
00000d97: MSTORE
00000d98: PUSH1 0x00
00000d9a: DUP1
00000d9b: MLOAD
00000d9c: PUSH1 0x20
00000d9e: PUSH2 0x26e3
00000da1: DUP4
00000da2: CODECOPY
00000da3: DUP2
00000da4: MLOAD
00000da5: SWAP2
00000da6: MSTORE
00000da7: PUSH1 0x64
00000da9: DUP3
00000daa: ADD
00000dab: MSTORE
00000dac: SWAP1
00000dad: MLOAD
00000dae: SWAP1
00000daf: DUP2
00000db0: SWAP1
00000db1: SUB
00000db2: PUSH1 0x84
00000db4: ADD
00000db5: SWAP1
00000db6: REVERT
00000db7: JUMPDEST
00000db8: PUSH1 0x06
00000dba: SLOAD
00000dbb: PUSH1 0xff
00000dbd: AND
00000dbe: ISZERO
00000dbf: PUSH2 0x0e00
00000dc2: JUMPI
00000dc3: PUSH1 0x40
00000dc5: DUP1
00000dc6: MLOAD
00000dc7: PUSH1 0xe5
00000dc9: PUSH1 0x02
00000dcb: EXP
00000dcc: PUSH3 0x461bcd
00000dd0: MUL
00000dd1: DUP2
00000dd2: MSTORE
00000dd3: PUSH1 0x20
00000dd5: PUSH1 0x04
00000dd7: DUP3
00000dd8: ADD
00000dd9: MSTORE
00000dda: PUSH1 0x1f
00000ddc: PUSH1 0x24
00000dde: DUP3
00000ddf: ADD
00000de0: MSTORE
00000de1: PUSH1 0x00
00000de3: DUP1
00000de4: MLOAD
00000de5: PUSH1 0x20
00000de7: PUSH2 0x2743
00000dea: DUP4
00000deb: CODECOPY
00000dec: DUP2
00000ded: MLOAD
00000dee: SWAP2
00000def: MSTORE
00000df0: PUSH1 0x44
00000df2: DUP3
00000df3: ADD
00000df4: MSTORE
00000df5: SWAP1
00000df6: MLOAD
00000df7: SWAP1
00000df8: DUP2
00000df9: SWAP1
00000dfa: SUB
00000dfb: PUSH1 0x64
00000dfd: ADD
00000dfe: SWAP1
00000dff: REVERT
00000e00: JUMPDEST
00000e01: PUSH2 0x0e0c
00000e04: DUP2
00000e05: PUSH1 0x0a
00000e07: SLOAD
00000e08: PUSH2 0x262d
00000e0b: JUMP
00000e0c: JUMPDEST
00000e0d: PUSH1 0x40
00000e0f: DUP1
00000e10: MLOAD
00000e11: DUP3
00000e12: DUP2
00000e13: MSTORE
00000e14: SWAP1
00000e15: MLOAD
00000e16: PUSH32 0x4193e3b6c8a874196e0068cb9b96b2aaef71a2d90fc46254c4508e1003996bd5
00000e37: SWAP2
00000e38: DUP2
00000e39: SWAP1
00000e3a: SUB
00000e3b: PUSH1 0x20
00000e3d: ADD
00000e3e: SWAP1
00000e3f: LOG1
00000e40: POP
00000e41: JUMP
00000e42: JUMPDEST
00000e43: PUSH1 0x00
00000e45: SLOAD
00000e46: PUSH1 0x01
00000e48: PUSH1 0xa0
00000e4a: PUSH1 0x02
00000e4c: EXP
00000e4d: SUB
00000e4e: AND
00000e4f: CALLER
00000e50: EQ
00000e51: PUSH2 0x0ea6
00000e54: JUMPI
00000e55: PUSH1 0x40
00000e57: DUP1
00000e58: MLOAD
00000e59: PUSH1 0xe5
00000e5b: PUSH1 0x02
00000e5d: EXP
00000e5e: PUSH3 0x461bcd
00000e62: MUL
00000e63: DUP2
00000e64: MSTORE
00000e65: PUSH1 0x20
00000e67: PUSH1 0x04
00000e69: DUP3
00000e6a: ADD
00000e6b: MSTORE
00000e6c: PUSH1 0x2d
00000e6e: PUSH1 0x24
00000e70: DUP3
00000e71: ADD
00000e72: MSTORE
00000e73: PUSH1 0x00
00000e75: DUP1
00000e76: MLOAD
00000e77: PUSH1 0x20
00000e79: PUSH2 0x2703
00000e7c: DUP4
00000e7d: CODECOPY
00000e7e: DUP2
00000e7f: MLOAD
00000e80: SWAP2
00000e81: MSTORE
00000e82: PUSH1 0x44
00000e84: DUP3
00000e85: ADD
00000e86: MSTORE
00000e87: PUSH1 0x00
00000e89: DUP1
00000e8a: MLOAD
00000e8b: PUSH1 0x20
00000e8d: PUSH2 0x26e3
00000e90: DUP4
00000e91: CODECOPY
00000e92: DUP2
00000e93: MLOAD
00000e94: SWAP2
00000e95: MSTORE
00000e96: PUSH1 0x64
00000e98: DUP3
00000e99: ADD
00000e9a: MSTORE
00000e9b: SWAP1
00000e9c: MLOAD
00000e9d: SWAP1
00000e9e: DUP2
00000e9f: SWAP1
00000ea0: SUB
00000ea1: PUSH1 0x84
00000ea3: ADD
00000ea4: SWAP1
00000ea5: REVERT
00000ea6: JUMPDEST
00000ea7: PUSH1 0x01
00000ea9: PUSH1 0xa0
00000eab: PUSH1 0x02
00000ead: EXP
00000eae: SUB
00000eaf: DUP2
00000eb0: AND
00000eb1: ISZERO
00000eb2: ISZERO
00000eb3: PUSH2 0x0f2c
00000eb6: JUMPI
00000eb7: PUSH1 0x40
00000eb9: DUP1
00000eba: MLOAD
00000ebb: PUSH1 0xe5
00000ebd: PUSH1 0x02
00000ebf: EXP
00000ec0: PUSH3 0x461bcd
00000ec4: MUL
00000ec5: DUP2
00000ec6: MSTORE
00000ec7: PUSH1 0x20
00000ec9: PUSH1 0x04
00000ecb: DUP3
00000ecc: ADD
00000ecd: MSTORE
00000ece: PUSH1 0x2a
00000ed0: PUSH1 0x24
00000ed2: DUP3
00000ed3: ADD
00000ed4: MSTORE
00000ed5: PUSH32 0x6e65772043464f20616464726573732063616e6e6f7420626520746865207a65
00000ef6: PUSH1 0x44
00000ef8: DUP3
00000ef9: ADD
00000efa: MSTORE
00000efb: PUSH32 0x726f2d6163636f756e7400000000000000000000000000000000000000000000
00000f1c: PUSH1 0x64
00000f1e: DUP3
00000f1f: ADD
00000f20: MSTORE
00000f21: SWAP1
00000f22: MLOAD
00000f23: SWAP1
00000f24: DUP2
00000f25: SWAP1
00000f26: SUB
00000f27: PUSH1 0x84
00000f29: ADD
00000f2a: SWAP1
00000f2b: REVERT
00000f2c: JUMPDEST
00000f2d: PUSH1 0x02
00000f2f: DUP1
00000f30: SLOAD
00000f31: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f46: NOT
00000f47: AND
00000f48: PUSH1 0x01
00000f4a: PUSH1 0xa0
00000f4c: PUSH1 0x02
00000f4e: EXP
00000f4f: SUB
00000f50: SWAP3
00000f51: SWAP1
00000f52: SWAP3
00000f53: AND
00000f54: SWAP2
00000f55: SWAP1
00000f56: SWAP2
00000f57: OR
00000f58: SWAP1
00000f59: SSTORE
00000f5a: JUMP
00000f5b: JUMPDEST
00000f5c: PUSH1 0x06
00000f5e: SLOAD
00000f5f: PUSH1 0x00
00000f61: SWAP1
00000f62: DUP2
00000f63: SWAP1
00000f64: DUP2
00000f65: SWAP1
00000f66: DUP2
00000f67: SWAP1
00000f68: DUP2
00000f69: SWAP1
00000f6a: DUP2
00000f6b: SWAP1
00000f6c: DUP2
00000f6d: SWAP1
00000f6e: PUSH1 0xff
00000f70: AND
00000f71: ISZERO
00000f72: PUSH2 0x0fb3
00000f75: JUMPI
00000f76: PUSH1 0x40
00000f78: DUP1
00000f79: MLOAD
00000f7a: PUSH1 0xe5
00000f7c: PUSH1 0x02
00000f7e: EXP
00000f7f: PUSH3 0x461bcd
00000f83: MUL
00000f84: DUP2
00000f85: MSTORE
00000f86: PUSH1 0x20
00000f88: PUSH1 0x04
00000f8a: DUP3
00000f8b: ADD
00000f8c: MSTORE
00000f8d: PUSH1 0x1f
00000f8f: PUSH1 0x24
00000f91: DUP3
00000f92: ADD
00000f93: MSTORE
00000f94: PUSH1 0x00
00000f96: DUP1
00000f97: MLOAD
00000f98: PUSH1 0x20
00000f9a: PUSH2 0x2743
00000f9d: DUP4
00000f9e: CODECOPY
00000f9f: DUP2
00000fa0: MLOAD
00000fa1: SWAP2
00000fa2: MSTORE
00000fa3: PUSH1 0x44
00000fa5: DUP3
00000fa6: ADD
00000fa7: MSTORE
00000fa8: SWAP1
00000fa9: MLOAD
00000faa: SWAP1
00000fab: DUP2
00000fac: SWAP1
00000fad: SUB
00000fae: PUSH1 0x64
00000fb0: ADD
00000fb1: SWAP1
00000fb2: REVERT
00000fb3: JUMPDEST
00000fb4: PUSH1 0x00
00000fb6: DUP10
00000fb7: DUP2
00000fb8: MSTORE
00000fb9: PUSH1 0x0c
00000fbb: PUSH1 0x20
00000fbd: MSTORE
00000fbe: PUSH1 0x40
00000fc0: SWAP1
00000fc1: KECCAK256
00000fc2: DUP1
00000fc3: SLOAD
00000fc4: SWAP1
00000fc5: SWAP8
00000fc6: POP
00000fc7: PUSH8 0xffffffffffffffff
00000fd0: AND
00000fd1: SWAP6
00000fd2: POP
00000fd3: PUSH2 0x0fdb
00000fd6: DUP7
00000fd7: PUSH2 0x2491
00000fda: JUMP
00000fdb: JUMPDEST
00000fdc: ISZERO
00000fdd: ISZERO
00000fde: PUSH2 0x1031
00000fe1: JUMPI
00000fe2: PUSH1 0x40
00000fe4: DUP1
00000fe5: MLOAD
00000fe6: PUSH1 0xe5
00000fe8: PUSH1 0x02
00000fea: EXP
00000feb: PUSH3 0x461bcd
00000fef: MUL
00000ff0: DUP2
00000ff1: MSTORE
00000ff2: PUSH1 0x20
00000ff4: PUSH1 0x04
00000ff6: DUP3
00000ff7: ADD
00000ff8: MSTORE
00000ff9: PUSH1 0x1b
00000ffb: PUSH1 0x24
00000ffd: DUP3
00000ffe: ADD
00000fff: MSTORE
00001000: PUSH32 0x6f6666657220746f2066756c66696c6c206d7573742065786973740000000000
00001021: PUSH1 0x44
00001023: DUP3
00001024: ADD
00001025: MSTORE
00001026: SWAP1
00001027: MLOAD
00001028: SWAP1
00001029: DUP2
0000102a: SWAP1
0000102b: SUB
0000102c: PUSH1 0x64
0000102e: ADD
0000102f: SWAP1
00001030: REVERT
00001031: JUMPDEST
00001032: PUSH2 0x103a
00001035: DUP7
00001036: PUSH2 0x2497
00001039: JUMP
0000103a: JUMPDEST
0000103b: ISZERO
0000103c: ISZERO
0000103d: PUSH2 0x10b5
00001040: JUMPI
00001041: PUSH1 0x40
00001043: DUP1
00001044: MLOAD
00001045: PUSH1 0xe5
00001047: PUSH1 0x02
00001049: EXP
0000104a: PUSH3 0x461bcd
0000104e: MUL
0000104f: DUP2
00001050: MSTORE
00001051: PUSH1 0x20
00001053: PUSH1 0x04
00001055: DUP3
00001056: ADD
00001057: MSTORE
00001058: PUSH1 0x24
0000105a: DUP1
0000105b: DUP3
0000105c: ADD
0000105d: MSTORE
0000105e: PUSH32 0x6f6666657220746f2066756c66696c6c206d757374206e6f7420626520657870
0000107f: PUSH1 0x44
00001081: DUP3
00001082: ADD
00001083: MSTORE
00001084: PUSH32 0x6972656400000000000000000000000000000000000000000000000000000000
000010a5: PUSH1 0x64
000010a7: DUP3
000010a8: ADD
000010a9: MSTORE
000010aa: SWAP1
000010ab: MLOAD
000010ac: SWAP1
000010ad: DUP2
000010ae: SWAP1
000010af: SUB
000010b0: PUSH1 0x84
000010b2: ADD
000010b3: SWAP1
000010b4: REVERT
000010b5: JUMPDEST
000010b6: PUSH1 0x0d
000010b8: SLOAD
000010b9: PUSH1 0x40
000010bb: DUP1
000010bc: MLOAD
000010bd: PUSH32 0x6352211e00000000000000000000000000000000000000000000000000000000
000010de: DUP2
000010df: MSTORE
000010e0: PUSH1 0x04
000010e2: DUP2
000010e3: ADD
000010e4: DUP13
000010e5: SWAP1
000010e6: MSTORE
000010e7: SWAP1
000010e8: MLOAD
000010e9: PUSH1 0x01
000010eb: PUSH1 0xa0
000010ed: PUSH1 0x02
000010ef: EXP
000010f0: SUB
000010f1: SWAP1
000010f2: SWAP3
000010f3: AND
000010f4: SWAP2
000010f5: PUSH4 0x6352211e
000010fa: SWAP2
000010fb: PUSH1 0x24
000010fd: DUP1
000010fe: DUP3
000010ff: ADD
00001100: SWAP3
00001101: PUSH1 0x20
00001103: SWAP3
00001104: SWAP1
00001105: SWAP2
00001106: SWAP1
00001107: DUP3
00001108: SWAP1
00001109: SUB
0000110a: ADD
0000110b: DUP2
0000110c: PUSH1 0x00
0000110e: DUP8
0000110f: DUP1
00001110: EXTCODESIZE
00001111: ISZERO
00001112: DUP1
00001113: ISZERO
00001114: PUSH2 0x111c
00001117: JUMPI
00001118: PUSH1 0x00
0000111a: DUP1
0000111b: REVERT
0000111c: JUMPDEST
0000111d: POP
0000111e: GAS
0000111f: CALL
00001120: ISZERO
00001121: DUP1
00001122: ISZERO
00001123: PUSH2 0x1130
00001126: JUMPI
00001127: RETURNDATASIZE
00001128: PUSH1 0x00
0000112a: DUP1
0000112b: RETURNDATACOPY
0000112c: RETURNDATASIZE
0000112d: PUSH1 0x00
0000112f: REVERT
00001130: JUMPDEST
00001131: POP
00001132: POP
00001133: POP
00001134: POP
00001135: PUSH1 0x40
00001137: MLOAD
00001138: RETURNDATASIZE
00001139: PUSH1 0x20
0000113b: DUP2
0000113c: LT
0000113d: ISZERO
0000113e: PUSH2 0x1146
00001141: JUMPI
00001142: PUSH1 0x00
00001144: DUP1
00001145: REVERT
00001146: JUMPDEST
00001147: POP
00001148: MLOAD
00001149: PUSH1 0x01
0000114b: SLOAD
0000114c: SWAP1
0000114d: SWAP6
0000114e: POP
0000114f: PUSH1 0x01
00001151: PUSH1 0xa0
00001153: PUSH1 0x02
00001155: EXP
00001156: SUB
00001157: AND
00001158: CALLER
00001159: EQ
0000115a: DUP1
0000115b: PUSH2 0x116c
0000115e: JUMPI
0000115f: POP
00001160: CALLER
00001161: PUSH1 0x01
00001163: PUSH1 0xa0
00001165: PUSH1 0x02
00001167: EXP
00001168: SUB
00001169: DUP7
0000116a: AND
0000116b: EQ
0000116c: JUMPDEST
0000116d: ISZERO
0000116e: ISZERO
0000116f: PUSH2 0x11e8
00001172: JUMPI
00001173: PUSH1 0x40
00001175: DUP1
00001176: MLOAD
00001177: PUSH1 0xe5
00001179: PUSH1 0x02
0000117b: EXP
0000117c: PUSH3 0x461bcd
00001180: MUL
00001181: DUP2
00001182: MSTORE
00001183: PUSH1 0x20
00001185: PUSH1 0x04
00001187: DUP3
00001188: ADD
00001189: MSTORE
0000118a: PUSH1 0x27
0000118c: PUSH1 0x24
0000118e: DUP3
0000118f: ADD
00001190: MSTORE
00001191: PUSH32 0x6f6e6c7920434f4f206f7220746865206f776e65722063616e2066756c66696c
000011b2: PUSH1 0x44
000011b4: DUP3
000011b5: ADD
000011b6: MSTORE
000011b7: PUSH32 0x6c206f7264657200000000000000000000000000000000000000000000000000
000011d8: PUSH1 0x64
000011da: DUP3
000011db: ADD
000011dc: MSTORE
000011dd: SWAP1
000011de: MLOAD
000011df: SWAP1
000011e0: DUP2
000011e1: SWAP1
000011e2: SUB
000011e3: PUSH1 0x84
000011e5: ADD
000011e6: SWAP1
000011e7: REVERT
000011e8: JUMPDEST
000011e9: PUSH1 0x01
000011eb: DUP8
000011ec: ADD
000011ed: SLOAD
000011ee: DUP8
000011ef: SLOAD
000011f0: PUSH1 0x01
000011f2: PUSH1 0x80
000011f4: PUSH1 0x02
000011f6: EXP
000011f7: SUB
000011f8: SWAP1
000011f9: SWAP2
000011fa: AND
000011fb: SWAP5
000011fc: POP
000011fd: PUSH2 0x1212
00001200: SWAP1
00001201: DUP6
00001202: SWAP1
00001203: PUSH1 0xe0
00001205: PUSH1 0x02
00001207: EXP
00001208: SWAP1
00001209: DIV
0000120a: PUSH2 0xffff
0000120d: AND
0000120e: PUSH2 0x26b4
00001211: JUMP
00001212: JUMPDEST
00001213: SWAP3
00001214: POP
00001215: PUSH1 0x01
00001217: PUSH1 0x80
00001219: PUSH1 0x02
0000121b: EXP
0000121c: SUB
0000121d: DUP9
0000121e: AND
0000121f: DUP4
00001220: LT
00001221: ISZERO
00001222: PUSH2 0x129b
00001225: JUMPI
00001226: PUSH1 0x40
00001228: DUP1
00001229: MLOAD
0000122a: PUSH1 0xe5
0000122c: PUSH1 0x02
0000122e: EXP
0000122f: PUSH3 0x461bcd
00001233: MUL
00001234: DUP2
00001235: MSTORE
00001236: PUSH1 0x20
00001238: PUSH1 0x04
0000123a: DUP3
0000123b: ADD
0000123c: MSTORE
0000123d: PUSH1 0x2c
0000123f: PUSH1 0x24
00001241: DUP3
00001242: ADD
00001243: MSTORE
00001244: PUSH32 0x63616e6e6f742066756c66696c6c206f6666657220e28093206f666665722070
00001265: PUSH1 0x44
00001267: DUP3
00001268: ADD
00001269: MSTORE
0000126a: PUSH32 0x7269636520746f6f206c6f770000000000000000000000000000000000000000
0000128b: PUSH1 0x64
0000128d: DUP3
0000128e: ADD
0000128f: MSTORE
00001290: SWAP1
00001291: MLOAD
00001292: SWAP1
00001293: DUP2
00001294: SWAP1
00001295: SUB
00001296: PUSH1 0x84
00001298: ADD
00001299: SWAP1
0000129a: REVERT
0000129b: JUMPDEST
0000129c: DUP7
0000129d: SLOAD
0000129e: PUSH1 0x00
000012a0: DUP11
000012a1: DUP2
000012a2: MSTORE
000012a3: PUSH1 0x0c
000012a5: PUSH1 0x20
000012a7: MSTORE
000012a8: PUSH1 0x40
000012aa: DUP1
000012ab: DUP3
000012ac: KECCAK256
000012ad: DUP1
000012ae: SLOAD
000012af: PUSH1 0x01
000012b1: PUSH1 0xf0
000012b3: PUSH1 0x02
000012b5: EXP
000012b6: SUB
000012b7: NOT
000012b8: AND
000012b9: DUP2
000012ba: SSTORE
000012bb: PUSH1 0x01
000012bd: ADD
000012be: DUP3
000012bf: SWAP1
000012c0: SSTORE
000012c1: PUSH1 0x0d
000012c3: SLOAD
000012c4: DUP2
000012c5: MLOAD
000012c6: PUSH32 0x23b872dd00000000000000000000000000000000000000000000000000000000
000012e7: DUP2
000012e8: MSTORE
000012e9: PUSH1 0x01
000012eb: PUSH1 0xa0
000012ed: PUSH1 0x02
000012ef: EXP
000012f0: SUB
000012f1: DUP11
000012f2: DUP2
000012f3: AND
000012f4: PUSH1 0x04
000012f6: DUP4
000012f7: ADD
000012f8: MSTORE
000012f9: PUSH9 0x010000000000000000
00001303: SWAP1
00001304: SWAP6
00001305: DIV
00001306: DUP6
00001307: AND
00001308: PUSH1 0x24
0000130a: DUP3
0000130b: ADD
0000130c: DUP2
0000130d: SWAP1
0000130e: MSTORE
0000130f: PUSH1 0x44
00001311: DUP3
00001312: ADD
00001313: DUP16
00001314: SWAP1
00001315: MSTORE
00001316: SWAP3
00001317: MLOAD
00001318: SWAP3
00001319: SWAP7
0000131a: POP
0000131b: SWAP4
0000131c: AND
0000131d: SWAP3
0000131e: PUSH4 0x23b872dd
00001323: SWAP3
00001324: PUSH1 0x64
00001326: DUP1
00001327: DUP4
00001328: ADD
00001329: SWAP4
0000132a: SWAP2
0000132b: SWAP3
0000132c: DUP3
0000132d: SWAP1
0000132e: SUB
0000132f: ADD
00001330: DUP2
00001331: DUP4
00001332: DUP8
00001333: DUP1
00001334: EXTCODESIZE
00001335: ISZERO
00001336: DUP1
00001337: ISZERO
00001338: PUSH2 0x1340
0000133b: JUMPI
0000133c: PUSH1 0x00
0000133e: DUP1
0000133f: REVERT
00001340: JUMPDEST
00001341: POP
00001342: GAS
00001343: CALL
00001344: ISZERO
00001345: DUP1
00001346: ISZERO
00001347: PUSH2 0x1354
0000134a: JUMPI
0000134b: RETURNDATASIZE
0000134c: PUSH1 0x00
0000134e: DUP1
0000134f: RETURNDATACOPY
00001350: RETURNDATASIZE
00001351: PUSH1 0x00
00001353: REVERT
00001354: JUMPDEST
00001355: POP
00001356: POP
00001357: PUSH1 0x04
00001359: DUP1
0000135a: SLOAD
0000135b: DUP7
0000135c: DUP9
0000135d: SUB
0000135e: SWAP1
0000135f: DUP2
00001360: ADD
00001361: SWAP1
00001362: SWAP2
00001363: SSTORE
00001364: SWAP3
00001365: POP
00001366: PUSH2 0x1374
00001369: SWAP2
0000136a: POP
0000136b: DUP11
0000136c: SWAP1
0000136d: POP
0000136e: DUP7
0000136f: DUP6
00001370: PUSH2 0x249c
00001373: JUMP
00001374: JUMPDEST
00001375: PUSH1 0x40
00001377: DUP1
00001378: MLOAD
00001379: DUP11
0000137a: DUP2
0000137b: MSTORE
0000137c: PUSH1 0x01
0000137e: PUSH1 0xa0
00001380: PUSH1 0x02
00001382: EXP
00001383: SUB
00001384: DUP1
00001385: DUP6
00001386: AND
00001387: PUSH1 0x20
00001389: DUP4
0000138a: ADD
0000138b: MSTORE
0000138c: DUP8
0000138d: AND
0000138e: DUP2
0000138f: DUP4
00001390: ADD
00001391: MSTORE
00001392: PUSH1 0x60
00001394: DUP2
00001395: ADD
00001396: DUP6
00001397: SWAP1
00001398: MSTORE
00001399: PUSH1 0x80
0000139b: DUP2
0000139c: ADD
0000139d: DUP4
0000139e: SWAP1
0000139f: MSTORE
000013a0: SWAP1
000013a1: MLOAD
000013a2: PUSH32 0x9accbcf984c4cd67a675ee4d38143974e1fa62aa95da283bd4ca645e408ec283
000013c3: SWAP2
000013c4: DUP2
000013c5: SWAP1
000013c6: SUB
000013c7: PUSH1 0xa0
000013c9: ADD
000013ca: SWAP1
000013cb: LOG1
000013cc: POP
000013cd: POP
000013ce: POP
000013cf: POP
000013d0: POP
000013d1: POP
000013d2: POP
000013d3: POP
000013d4: POP
000013d5: JUMP
000013d6: JUMPDEST
000013d7: PUSH1 0x06
000013d9: SLOAD
000013da: PUSH1 0x00
000013dc: SWAP1
000013dd: DUP2
000013de: SWAP1
000013df: DUP2
000013e0: SWAP1
000013e1: PUSH1 0xff
000013e3: AND
000013e4: ISZERO
000013e5: PUSH2 0x1426
000013e8: JUMPI
000013e9: PUSH1 0x40
000013eb: DUP1
000013ec: MLOAD
000013ed: PUSH1 0xe5
000013ef: PUSH1 0x02
000013f1: EXP
000013f2: PUSH3 0x461bcd
000013f6: MUL
000013f7: DUP2
000013f8: MSTORE
000013f9: PUSH1 0x20
000013fb: PUSH1 0x04
000013fd: DUP3
000013fe: ADD
000013ff: MSTORE
00001400: PUSH1 0x1f
00001402: PUSH1 0x24
00001404: DUP3
00001405: ADD
00001406: MSTORE
00001407: PUSH1 0x00
00001409: DUP1
0000140a: MLOAD
0000140b: PUSH1 0x20
0000140d: PUSH2 0x2743
00001410: DUP4
00001411: CODECOPY
00001412: DUP2
00001413: MLOAD
00001414: SWAP2
00001415: MSTORE
00001416: PUSH1 0x44
00001418: DUP3
00001419: ADD
0000141a: MSTORE
0000141b: SWAP1
0000141c: MLOAD
0000141d: SWAP1
0000141e: DUP2
0000141f: SWAP1
00001420: SUB
00001421: PUSH1 0x64
00001423: ADD
00001424: SWAP1
00001425: REVERT
00001426: JUMPDEST
00001427: PUSH1 0x00
00001429: DUP5
0000142a: DUP2
0000142b: MSTORE
0000142c: PUSH1 0x0c
0000142e: PUSH1 0x20
00001430: MSTORE
00001431: PUSH1 0x40
00001433: SWAP1
00001434: KECCAK256
00001435: DUP1
00001436: SLOAD
00001437: SWAP1
00001438: SWAP4
00001439: POP
0000143a: PUSH8 0xffffffffffffffff
00001443: AND
00001444: SWAP2
00001445: POP
00001446: PUSH2 0x144e
00001449: DUP3
0000144a: PUSH2 0x2491
0000144d: JUMP
0000144e: JUMPDEST
0000144f: ISZERO
00001450: ISZERO
00001451: PUSH2 0x14a4
00001454: JUMPI
00001455: PUSH1 0x40
00001457: DUP1
00001458: MLOAD
00001459: PUSH1 0xe5
0000145b: PUSH1 0x02
0000145d: EXP
0000145e: PUSH3 0x461bcd
00001462: MUL
00001463: DUP2
00001464: MSTORE
00001465: PUSH1 0x20
00001467: PUSH1 0x04
00001469: DUP3
0000146a: ADD
0000146b: MSTORE
0000146c: PUSH1 0x1a
0000146e: PUSH1 0x24
00001470: DUP3
00001471: ADD
00001472: MSTORE
00001473: PUSH32 0x6f6666657220746f20757064617465206d757374206578697374000000000000
00001494: PUSH1 0x44
00001496: DUP3
00001497: ADD
00001498: MSTORE
00001499: SWAP1
0000149a: MLOAD
0000149b: SWAP1
0000149c: DUP2
0000149d: SWAP1
0000149e: SUB
0000149f: PUSH1 0x64
000014a1: ADD
000014a2: SWAP1
000014a3: REVERT
000014a4: JUMPDEST
000014a5: PUSH2 0x14ad
000014a8: DUP3
000014a9: PUSH2 0x2497
000014ac: JUMP
000014ad: JUMPDEST
000014ae: ISZERO
000014af: ISZERO
000014b0: PUSH2 0x1529
000014b3: JUMPI
000014b4: PUSH1 0x40
000014b6: DUP1
000014b7: MLOAD
000014b8: PUSH1 0xe5
000014ba: PUSH1 0x02
000014bc: EXP
000014bd: PUSH3 0x461bcd
000014c1: MUL
000014c2: DUP2
000014c3: MSTORE
000014c4: PUSH1 0x20
000014c6: PUSH1 0x04
000014c8: DUP3
000014c9: ADD
000014ca: MSTORE
000014cb: PUSH1 0x23
000014cd: PUSH1 0x24
000014cf: DUP3
000014d0: ADD
000014d1: MSTORE
000014d2: PUSH32 0x6f6666657220746f20757064617465206d757374206e6f742062652065787069
000014f3: PUSH1 0x44
000014f5: DUP3
000014f6: ADD
000014f7: MSTORE
000014f8: PUSH32 0x7265640000000000000000000000000000000000000000000000000000000000
00001519: PUSH1 0x64
0000151b: DUP3
0000151c: ADD
0000151d: MSTORE
0000151e: SWAP1
0000151f: MLOAD
00001520: SWAP1
00001521: DUP2
00001522: SWAP1
00001523: SUB
00001524: PUSH1 0x84
00001526: ADD
00001527: SWAP1
00001528: REVERT
00001529: JUMPDEST
0000152a: DUP3
0000152b: SLOAD
0000152c: PUSH9 0x010000000000000000
00001536: SWAP1
00001537: DIV
00001538: PUSH1 0x01
0000153a: PUSH1 0xa0
0000153c: PUSH1 0x02
0000153e: EXP
0000153f: SUB
00001540: AND
00001541: CALLER
00001542: EQ
00001543: PUSH2 0x15bc
00001546: JUMPI
00001547: PUSH1 0x40
00001549: DUP1
0000154a: MLOAD
0000154b: PUSH1 0xe5
0000154d: PUSH1 0x02
0000154f: EXP
00001550: PUSH3 0x461bcd
00001554: MUL
00001555: DUP2
00001556: MSTORE
00001557: PUSH1 0x20
00001559: PUSH1 0x04
0000155b: DUP3
0000155c: ADD
0000155d: MSTORE
0000155e: PUSH1 0x2c
00001560: PUSH1 0x24
00001562: DUP3
00001563: ADD
00001564: MSTORE
00001565: PUSH32 0x63616c6c6572206d75737420626520626964646572206f66206f666665722074
00001586: PUSH1 0x44
00001588: DUP3
00001589: ADD
0000158a: MSTORE
0000158b: PUSH32 0x6f20626520757064617465640000000000000000000000000000000000000000
000015ac: PUSH1 0x64
000015ae: DUP3
000015af: ADD
000015b0: MSTORE
000015b1: SWAP1
000015b2: MLOAD
000015b3: SWAP1
000015b4: DUP2
000015b5: SWAP1
000015b6: SUB
000015b7: PUSH1 0x84
000015b9: ADD
000015ba: SWAP1
000015bb: REVERT
000015bc: JUMPDEST
000015bd: POP
000015be: PUSH1 0x07
000015c0: SLOAD
000015c1: TIMESTAMP
000015c2: ADD
000015c3: PUSH1 0x00
000015c5: CALLVALUE
000015c6: GT
000015c7: ISZERO
000015c8: PUSH2 0x15f8
000015cb: JUMPI
000015cc: PUSH1 0x01
000015ce: DUP4
000015cf: ADD
000015d0: DUP1
000015d1: SLOAD
000015d2: PUSH1 0x01
000015d4: PUSH1 0x80
000015d6: PUSH1 0x02
000015d8: EXP
000015d9: SUB
000015da: DUP1
000015db: DUP3
000015dc: AND
000015dd: CALLVALUE
000015de: ADD
000015df: AND
000015e0: PUSH16 0xffffffffffffffffffffffffffffffff
000015f1: NOT
000015f2: SWAP1
000015f3: SWAP2
000015f4: AND
000015f5: OR
000015f6: SWAP1
000015f7: SSTORE
000015f8: JUMPDEST
000015f9: DUP3
000015fa: SLOAD
000015fb: PUSH8 0xffffffffffffffff
00001604: NOT
00001605: AND
00001606: PUSH8 0xffffffffffffffff
0000160f: DUP3
00001610: AND
00001611: OR
00001612: DUP4
00001613: SSTORE
00001614: PUSH1 0x40
00001616: DUP1
00001617: MLOAD
00001618: DUP6
00001619: DUP2
0000161a: MSTORE
0000161b: CALLER
0000161c: PUSH1 0x20
0000161e: DUP3
0000161f: ADD
00001620: MSTORE
00001621: DUP1
00001622: DUP3
00001623: ADD
00001624: DUP4
00001625: SWAP1
00001626: MSTORE
00001627: CALLVALUE
00001628: PUSH1 0x60
0000162a: DUP3
0000162b: ADD
0000162c: MSTORE
0000162d: SWAP1
0000162e: MLOAD
0000162f: PUSH32 0x56cb95d5e0f3ba4459f610fef3ba603635cef803d945e97c316cdeb392903991
00001650: SWAP2
00001651: PUSH1 0x80
00001653: SWAP1
00001654: DUP3
00001655: SWAP1
00001656: SUB
00001657: ADD
00001658: SWAP1
00001659: LOG1
0000165a: POP
0000165b: POP
0000165c: POP
0000165d: POP
0000165e: JUMP
0000165f: JUMPDEST
00001660: PUSH1 0x04
00001662: SLOAD
00001663: DUP2
00001664: JUMP
00001665: JUMPDEST
00001666: CALLER
00001667: ISZERO
00001668: DUP1
00001669: ISZERO
0000166a: SWAP1
0000166b: PUSH2 0x1692
0000166e: JUMPI
0000166f: POP
00001670: PUSH1 0x00
00001672: SLOAD
00001673: PUSH1 0x01
00001675: PUSH1 0xa0
00001677: PUSH1 0x02
00001679: EXP
0000167a: SUB
0000167b: AND
0000167c: CALLER
0000167d: EQ
0000167e: DUP1
0000167f: PUSH2 0x1692
00001682: JUMPI
00001683: POP
00001684: PUSH1 0x02
00001686: SLOAD
00001687: PUSH1 0x01
00001689: PUSH1 0xa0
0000168b: PUSH1 0x02
0000168d: EXP
0000168e: SUB
0000168f: AND
00001690: CALLER
00001691: EQ
00001692: JUMPDEST
00001693: ISZERO
00001694: ISZERO
00001695: PUSH2 0x170e
00001698: JUMPI
00001699: PUSH1 0x40
0000169b: DUP1
0000169c: MLOAD
0000169d: PUSH1 0xe5
0000169f: PUSH1 0x02
000016a1: EXP
000016a2: PUSH3 0x461bcd
000016a6: MUL
000016a7: DUP2
000016a8: MSTORE
000016a9: PUSH1 0x20
000016ab: PUSH1 0x04
000016ad: DUP3
000016ae: ADD
000016af: MSTORE
000016b0: PUSH1 0x34
000016b2: PUSH1 0x24
000016b4: DUP3
000016b5: ADD
000016b6: MSTORE
000016b7: PUSH32 0x6f6e6c792043454f206f722043464f20697320616c6c6f77656420746f207065
000016d8: PUSH1 0x44
000016da: DUP3
000016db: ADD
000016dc: MSTORE
000016dd: PUSH32 0x72666f726d2074686973206f7065726174696f6e000000000000000000000000
000016fe: PUSH1 0x64
00001700: DUP3
00001701: ADD
00001702: MSTORE
00001703: SWAP1
00001704: MLOAD
00001705: SWAP1
00001706: DUP2
00001707: SWAP1
00001708: SUB
00001709: PUSH1 0x84
0000170b: ADD
0000170c: SWAP1
0000170d: REVERT
0000170e: JUMPDEST
0000170f: PUSH1 0x06
00001711: SLOAD
00001712: PUSH1 0xff
00001714: AND
00001715: ISZERO
00001716: PUSH2 0x1757
00001719: JUMPI
0000171a: PUSH1 0x40
0000171c: DUP1
0000171d: MLOAD
0000171e: PUSH1 0xe5
00001720: PUSH1 0x02
00001722: EXP
00001723: PUSH3 0x461bcd
00001727: MUL
00001728: DUP2
00001729: MSTORE
0000172a: PUSH1 0x20
0000172c: PUSH1 0x04
0000172e: DUP3
0000172f: ADD
00001730: MSTORE
00001731: PUSH1 0x1f
00001733: PUSH1 0x24
00001735: DUP3
00001736: ADD
00001737: MSTORE
00001738: PUSH1 0x00
0000173a: DUP1
0000173b: MLOAD
0000173c: PUSH1 0x20
0000173e: PUSH2 0x2743
00001741: DUP4
00001742: CODECOPY
00001743: DUP2
00001744: MLOAD
00001745: SWAP2
00001746: MSTORE
00001747: PUSH1 0x44
00001749: DUP3
0000174a: ADD
0000174b: MSTORE
0000174c: SWAP1
0000174d: MLOAD
0000174e: SWAP1
0000174f: DUP2
00001750: SWAP1
00001751: SUB
00001752: PUSH1 0x64
00001754: ADD
00001755: SWAP1
00001756: REVERT
00001757: JUMPDEST
00001758: PUSH1 0x06
0000175a: DUP1
0000175b: SLOAD
0000175c: PUSH1 0xff
0000175e: NOT
0000175f: AND
00001760: PUSH1 0x01
00001762: OR
00001763: SWAP1
00001764: SSTORE
00001765: JUMP
00001766: JUMPDEST
00001767: PUSH1 0x08
00001769: SLOAD
0000176a: DUP2
0000176b: JUMP
0000176c: JUMPDEST
0000176d: PUSH1 0x05
0000176f: SLOAD
00001770: DUP2
00001771: JUMP
00001772: JUMPDEST
00001773: PUSH1 0x01
00001775: SLOAD
00001776: PUSH1 0x01
00001778: PUSH1 0xa0
0000177a: PUSH1 0x02
0000177c: EXP
0000177d: SUB
0000177e: AND
0000177f: CALLER
00001780: EQ
00001781: PUSH2 0x17d6
00001784: JUMPI
00001785: PUSH1 0x40
00001787: DUP1
00001788: MLOAD
00001789: PUSH1 0xe5
0000178b: PUSH1 0x02
0000178d: EXP
0000178e: PUSH3 0x461bcd
00001792: MUL
00001793: DUP2
00001794: MSTORE
00001795: PUSH1 0x20
00001797: PUSH1 0x04
00001799: DUP3
0000179a: ADD
0000179b: MSTORE
0000179c: PUSH1 0x2d
0000179e: PUSH1 0x24
000017a0: DUP3
000017a1: ADD
000017a2: MSTORE
000017a3: PUSH1 0x00
000017a5: DUP1
000017a6: MLOAD
000017a7: PUSH1 0x20
000017a9: PUSH2 0x2723
000017ac: DUP4
000017ad: CODECOPY
000017ae: DUP2
000017af: MLOAD
000017b0: SWAP2
000017b1: MSTORE
000017b2: PUSH1 0x44
000017b4: DUP3
000017b5: ADD
000017b6: MSTORE
000017b7: PUSH1 0x00
000017b9: DUP1
000017ba: MLOAD
000017bb: PUSH1 0x20
000017bd: PUSH2 0x26e3
000017c0: DUP4
000017c1: CODECOPY
000017c2: DUP2
000017c3: MLOAD
000017c4: SWAP2
000017c5: MSTORE
000017c6: PUSH1 0x64
000017c8: DUP3
000017c9: ADD
000017ca: MSTORE
000017cb: SWAP1
000017cc: MLOAD
000017cd: SWAP1
000017ce: DUP2
000017cf: SWAP1
000017d0: SUB
000017d1: PUSH1 0x84
000017d3: ADD
000017d4: SWAP1
000017d5: REVERT
000017d6: JUMPDEST
000017d7: PUSH1 0x06
000017d9: SLOAD
000017da: PUSH1 0xff
000017dc: AND
000017dd: ISZERO
000017de: PUSH2 0x181f
000017e1: JUMPI
000017e2: PUSH1 0x40
000017e4: DUP1
000017e5: MLOAD
000017e6: PUSH1 0xe5
000017e8: PUSH1 0x02
000017ea: EXP
000017eb: PUSH3 0x461bcd
000017ef: MUL
000017f0: DUP2
000017f1: MSTORE
000017f2: PUSH1 0x20
000017f4: PUSH1 0x04
000017f6: DUP3
000017f7: ADD
000017f8: MSTORE
000017f9: PUSH1 0x1f
000017fb: PUSH1 0x24
000017fd: DUP3
000017fe: ADD
000017ff: MSTORE
00001800: PUSH1 0x00
00001802: DUP1
00001803: MLOAD
00001804: PUSH1 0x20
00001806: PUSH2 0x2743
00001809: DUP4
0000180a: CODECOPY
0000180b: DUP2
0000180c: MLOAD
0000180d: SWAP2
0000180e: MSTORE
0000180f: PUSH1 0x44
00001811: DUP3
00001812: ADD
00001813: MSTORE
00001814: SWAP1
00001815: MLOAD
00001816: SWAP1
00001817: DUP2
00001818: SWAP1
00001819: SUB
0000181a: PUSH1 0x64
0000181c: ADD
0000181d: SWAP1
0000181e: REVERT
0000181f: JUMPDEST
00001820: PUSH8 0xffffffffffffffff
00001829: DUP2
0000182a: AND
0000182b: DUP2
0000182c: EQ
0000182d: PUSH2 0x18a6
00001830: JUMPI
00001831: PUSH1 0x40
00001833: DUP1
00001834: MLOAD
00001835: PUSH1 0xe5
00001837: PUSH1 0x02
00001839: EXP
0000183a: PUSH3 0x461bcd
0000183e: MUL
0000183f: DUP2
00001840: MSTORE
00001841: PUSH1 0x20
00001843: PUSH1 0x04
00001845: DUP3
00001846: ADD
00001847: MSTORE
00001848: PUSH1 0x2b
0000184a: PUSH1 0x24
0000184c: DUP3
0000184d: ADD
0000184e: MSTORE
0000184f: PUSH32 0x6e657720676c6f62616c4475726174696f6e2076616c7565206d757374206e6f
00001870: PUSH1 0x44
00001872: DUP3
00001873: ADD
00001874: MSTORE
00001875: PUSH32 0x7420756e646572666c6f77000000000000000000000000000000000000000000
00001896: PUSH1 0x64
00001898: DUP3
00001899: ADD
0000189a: MSTORE
0000189b: SWAP1
0000189c: MLOAD
0000189d: SWAP1
0000189e: DUP2
0000189f: SWAP1
000018a0: SUB
000018a1: PUSH1 0x84
000018a3: ADD
000018a4: SWAP1
000018a5: REVERT
000018a6: JUMPDEST
000018a7: PUSH1 0x07
000018a9: DUP2
000018aa: SWAP1
000018ab: SSTORE
000018ac: PUSH1 0x40
000018ae: DUP1
000018af: MLOAD
000018b0: DUP3
000018b1: DUP2
000018b2: MSTORE
000018b3: SWAP1
000018b4: MLOAD
000018b5: PUSH32 0x66be647974b8677ccbdb171c9fd037f0f64af878ddc5b7f0923da6a32173ae47
000018d6: SWAP2
000018d7: DUP2
000018d8: SWAP1
000018d9: SUB
000018da: PUSH1 0x20
000018dc: ADD
000018dd: SWAP1
000018de: LOG1
000018df: POP
000018e0: JUMP
000018e1: JUMPDEST
000018e2: PUSH1 0x02
000018e4: SLOAD
000018e5: PUSH1 0x00
000018e7: SWAP1
000018e8: PUSH1 0x01
000018ea: PUSH1 0xa0
000018ec: PUSH1 0x02
000018ee: EXP
000018ef: SUB
000018f0: AND
000018f1: CALLER
000018f2: EQ
000018f3: DUP1
000018f4: ISZERO
000018f5: PUSH2 0x18fd
000018f8: JUMPI
000018f9: POP
000018fa: CALLER
000018fb: ISZERO
000018fc: ISZERO
000018fd: JUMPDEST
000018fe: ISZERO
000018ff: ISZERO
00001900: PUSH2 0x1967
00001903: JUMPI
00001904: PUSH1 0x40
00001906: DUP1
00001907: MLOAD
00001908: PUSH1 0xe5
0000190a: PUSH1 0x02
0000190c: EXP
0000190d: PUSH3 0x461bcd
00001911: MUL
00001912: DUP2
00001913: MSTORE
00001914: PUSH1 0x20
00001916: PUSH1 0x04
00001918: DUP3
00001919: ADD
0000191a: MSTORE
0000191b: PUSH1 0x2d
0000191d: PUSH1 0x24
0000191f: DUP3
00001920: ADD
00001921: MSTORE
00001922: PUSH32 0x6f6e6c792043464f20697320616c6c6f77656420746f20706572666f726d2074
00001943: PUSH1 0x44
00001945: DUP3
00001946: ADD
00001947: MSTORE
00001948: PUSH1 0x00
0000194a: DUP1
0000194b: MLOAD
0000194c: PUSH1 0x20
0000194e: PUSH2 0x26e3
00001951: DUP4
00001952: CODECOPY
00001953: DUP2
00001954: MLOAD
00001955: SWAP2
00001956: MSTORE
00001957: PUSH1 0x64
00001959: DUP3
0000195a: ADD
0000195b: MSTORE
0000195c: SWAP1
0000195d: MLOAD
0000195e: SWAP1
0000195f: DUP2
00001960: SWAP1
00001961: SUB
00001962: PUSH1 0x84
00001964: ADD
00001965: SWAP1
00001966: REVERT
00001967: JUMPDEST
00001968: POP
00001969: PUSH1 0x04
0000196b: DUP1
0000196c: SLOAD
0000196d: PUSH1 0x00
0000196f: SWAP2
00001970: DUP3
00001971: SWAP1
00001972: SSTORE
00001973: PUSH1 0x02
00001975: SLOAD
00001976: PUSH1 0x40
00001978: MLOAD
00001979: SWAP2
0000197a: SWAP3
0000197b: PUSH1 0x01
0000197d: PUSH1 0xa0
0000197f: PUSH1 0x02
00001981: EXP
00001982: SUB
00001983: SWAP1
00001984: SWAP2
00001985: AND
00001986: SWAP2
00001987: DUP4
00001988: ISZERO
00001989: PUSH2 0x08fc
0000198c: MUL
0000198d: SWAP2
0000198e: DUP5
0000198f: SWAP2
00001990: SWAP1
00001991: DUP2
00001992: DUP2
00001993: DUP2
00001994: DUP6
00001995: DUP9
00001996: DUP9
00001997: CALL
00001998: SWAP4
00001999: POP
0000199a: POP
0000199b: POP
0000199c: POP
0000199d: ISZERO
0000199e: DUP1
0000199f: ISZERO
000019a0: PUSH2 0x0d4f
000019a3: JUMPI
000019a4: RETURNDATASIZE
000019a5: PUSH1 0x00
000019a7: DUP1
000019a8: RETURNDATACOPY
000019a9: RETURNDATASIZE
000019aa: PUSH1 0x00
000019ac: REVERT
000019ad: JUMPDEST
000019ae: PUSH1 0x00
000019b0: DUP1
000019b1: PUSH1 0x00
000019b3: DUP1
000019b4: PUSH1 0x00
000019b6: DUP1
000019b7: PUSH1 0x00
000019b9: DUP1
000019ba: PUSH1 0x00
000019bc: DUP1
000019bd: PUSH1 0x00
000019bf: PUSH1 0x06
000019c1: PUSH1 0x00
000019c3: SWAP1
000019c4: SLOAD
000019c5: SWAP1
000019c6: PUSH2 0x0100
000019c9: EXP
000019ca: SWAP1
000019cb: DIV
000019cc: PUSH1 0xff
000019ce: AND
000019cf: ISZERO
000019d0: ISZERO
000019d1: ISZERO
000019d2: PUSH2 0x1a13
000019d5: JUMPI
000019d6: PUSH1 0x40
000019d8: DUP1
000019d9: MLOAD
000019da: PUSH1 0xe5
000019dc: PUSH1 0x02
000019de: EXP
000019df: PUSH3 0x461bcd
000019e3: MUL
000019e4: DUP2
000019e5: MSTORE
000019e6: PUSH1 0x20
000019e8: PUSH1 0x04
000019ea: DUP3
000019eb: ADD
000019ec: MSTORE
000019ed: PUSH1 0x1f
000019ef: PUSH1 0x24
000019f1: DUP3
000019f2: ADD
000019f3: MSTORE
000019f4: PUSH1 0x00
000019f6: DUP1
000019f7: MLOAD
000019f8: PUSH1 0x20
000019fa: PUSH2 0x2743
000019fd: DUP4
000019fe: CODECOPY
000019ff: DUP2
00001a00: MLOAD
00001a01: SWAP2
00001a02: MSTORE
00001a03: PUSH1 0x44
00001a05: DUP3
00001a06: ADD
00001a07: MSTORE
00001a08: SWAP1
00001a09: MLOAD
00001a0a: SWAP1
00001a0b: DUP2
00001a0c: SWAP1
00001a0d: SUB
00001a0e: PUSH1 0x64
00001a10: ADD
00001a11: SWAP1
00001a12: REVERT
00001a13: JUMPDEST
00001a14: PUSH1 0x08
00001a16: SLOAD
00001a17: CALLVALUE
00001a18: LT
00001a19: ISZERO
00001a1a: PUSH2 0x1a93
00001a1d: JUMPI
00001a1e: PUSH1 0x40
00001a20: DUP1
00001a21: MLOAD
00001a22: PUSH1 0xe5
00001a24: PUSH1 0x02
00001a26: EXP
00001a27: PUSH3 0x461bcd
00001a2b: MUL
00001a2c: DUP2
00001a2d: MSTORE
00001a2e: PUSH1 0x20
00001a30: PUSH1 0x04
00001a32: DUP3
00001a33: ADD
00001a34: MSTORE
00001a35: PUSH1 0x31
00001a37: PUSH1 0x24
00001a39: DUP3
00001a3a: ADD
00001a3b: MSTORE
00001a3c: PUSH32 0x6f6666657220746f74616c2076616c7565206d7573742062652061626f766520
00001a5d: PUSH1 0x44
00001a5f: DUP3
00001a60: ADD
00001a61: MSTORE
00001a62: PUSH32 0x6d696e696d756d546f74616c56616c7565000000000000000000000000000000
00001a83: PUSH1 0x64
00001a85: DUP3
00001a86: ADD
00001a87: MSTORE
00001a88: SWAP1
00001a89: MLOAD
00001a8a: SWAP1
00001a8b: DUP2
00001a8c: SWAP1
00001a8d: SUB
00001a8e: PUSH1 0x84
00001a90: ADD
00001a91: SWAP1
00001a92: REVERT
00001a93: JUMPDEST
00001a94: PUSH1 0x0b
00001a96: SLOAD
00001a97: SWAP11
00001a98: POP
00001a99: PUSH2 0x1aa2
00001a9c: CALLVALUE
00001a9d: DUP13
00001a9e: PUSH2 0x26b4
00001aa1: JUMP
00001aa2: JUMPDEST
00001aa3: PUSH1 0x00
00001aa5: DUP14
00001aa6: DUP2
00001aa7: MSTORE
00001aa8: PUSH1 0x0c
00001aaa: PUSH1 0x20
00001aac: MSTORE
00001aad: PUSH1 0x40
00001aaf: DUP2
00001ab0: KECCAK256
00001ab1: DUP1
00001ab2: SLOAD
00001ab3: SWAP3
00001ab4: SWAP13
00001ab5: POP
00001ab6: SWAP11
00001ab7: POP
00001ab8: PUSH8 0xffffffffffffffff
00001ac1: SWAP1
00001ac2: SWAP2
00001ac3: AND
00001ac4: SWAP9
00001ac5: POP
00001ac6: SWAP7
00001ac7: POP
00001ac8: PUSH2 0x1ad0
00001acb: DUP9
00001acc: PUSH2 0x2491
00001acf: JUMP
00001ad0: JUMPDEST
00001ad1: ISZERO
00001ad2: PUSH2 0x1bca
00001ad5: JUMPI
00001ad6: PUSH1 0x01
00001ad8: DUP10
00001ad9: ADD
00001ada: SLOAD
00001adb: PUSH1 0x01
00001add: PUSH1 0x80
00001adf: PUSH1 0x02
00001ae1: EXP
00001ae2: SUB
00001ae3: AND
00001ae4: SWAP6
00001ae5: POP
00001ae6: PUSH2 0x1aee
00001ae9: DUP9
00001aea: PUSH2 0x2497
00001aed: JUMP
00001aee: JUMPDEST
00001aef: ISZERO
00001af0: PUSH2 0x1b96
00001af3: JUMPI
00001af4: DUP9
00001af5: SLOAD
00001af6: PUSH2 0x1b0b
00001af9: SWAP1
00001afa: DUP8
00001afb: SWAP1
00001afc: PUSH1 0xe0
00001afe: PUSH1 0x02
00001b00: EXP
00001b01: SWAP1
00001b02: DIV
00001b03: PUSH2 0xffff
00001b06: AND
00001b07: PUSH2 0x26b4
00001b0a: JUMP
00001b0b: JUMPDEST
00001b0c: SWAP5
00001b0d: POP
00001b0e: PUSH2 0x1b16
00001b11: DUP6
00001b12: PUSH2 0x26d1
00001b15: JUMP
00001b16: JUMPDEST
00001b17: SWAP4
00001b18: POP
00001b19: DUP4
00001b1a: DUP11
00001b1b: LT
00001b1c: ISZERO
00001b1d: PUSH2 0x1b96
00001b20: JUMPI
00001b21: PUSH1 0x40
00001b23: DUP1
00001b24: MLOAD
00001b25: PUSH1 0xe5
00001b27: PUSH1 0x02
00001b29: EXP
00001b2a: PUSH3 0x461bcd
00001b2e: MUL
00001b2f: DUP2
00001b30: MSTORE
00001b31: PUSH1 0x20
00001b33: PUSH1 0x04
00001b35: DUP3
00001b36: ADD
00001b37: MSTORE
00001b38: PUSH1 0x39
00001b3a: PUSH1 0x24
00001b3c: DUP3
00001b3d: ADD
00001b3e: MSTORE
00001b3f: PUSH32 0x6f766572626964207072696365206d757374206d61746368206d696e696d756d
00001b60: PUSH1 0x44
00001b62: DUP3
00001b63: ADD
00001b64: MSTORE
00001b65: PUSH32 0x20707269636520696e6372656d656e7420637269746572696100000000000000
00001b86: PUSH1 0x64
00001b88: DUP3
00001b89: ADD
00001b8a: MSTORE
00001b8b: SWAP1
00001b8c: MLOAD
00001b8d: SWAP1
00001b8e: DUP2
00001b8f: SWAP1
00001b90: SUB
00001b91: PUSH1 0x84
00001b93: ADD
00001b94: SWAP1
00001b95: REVERT
00001b96: JUMPDEST
00001b97: PUSH1 0x01
00001b99: DUP10
00001b9a: ADD
00001b9b: SLOAD
00001b9c: PUSH1 0x04
00001b9e: DUP1
00001b9f: SLOAD
00001ba0: PUSH17 0x0100000000000000000000000000000000
00001bb2: SWAP1
00001bb3: SWAP3
00001bb4: DIV
00001bb5: PUSH1 0x01
00001bb7: PUSH1 0x80
00001bb9: PUSH1 0x02
00001bbb: EXP
00001bbc: SUB
00001bbd: AND
00001bbe: SWAP2
00001bbf: DUP3
00001bc0: ADD
00001bc1: SWAP1
00001bc2: SSTORE
00001bc3: DUP1
00001bc4: DUP8
00001bc5: SUB
00001bc6: SWAP8
00001bc7: POP
00001bc8: SWAP3
00001bc9: POP
00001bca: JUMPDEST
00001bcb: PUSH1 0x07
00001bcd: SLOAD
00001bce: TIMESTAMP
00001bcf: ADD
00001bd0: SWAP2
00001bd1: POP
00001bd2: PUSH1 0x00
00001bd4: DUP8
00001bd5: GT
00001bd6: ISZERO
00001bd7: PUSH2 0x1bf3
00001bda: JUMPI
00001bdb: POP
00001bdc: DUP8
00001bdd: SLOAD
00001bde: PUSH9 0x010000000000000000
00001be8: SWAP1
00001be9: DIV
00001bea: PUSH1 0x01
00001bec: PUSH1 0xa0
00001bee: PUSH1 0x02
00001bf0: EXP
00001bf1: SUB
00001bf2: AND
00001bf3: JUMPDEST
00001bf4: PUSH1 0xa0
00001bf6: PUSH1 0x40
00001bf8: MLOAD
00001bf9: SWAP1
00001bfa: DUP2
00001bfb: ADD
00001bfc: PUSH1 0x40
00001bfe: MSTORE
00001bff: DUP1
00001c00: DUP4
00001c01: PUSH8 0xffffffffffffffff
00001c0a: AND
00001c0b: DUP2
00001c0c: MSTORE
00001c0d: PUSH1 0x20
00001c0f: ADD
00001c10: CALLER
00001c11: PUSH1 0x01
00001c13: PUSH1 0xa0
00001c15: PUSH1 0x02
00001c17: EXP
00001c18: SUB
00001c19: AND
00001c1a: DUP2
00001c1b: MSTORE
00001c1c: PUSH1 0x20
00001c1e: ADD
00001c1f: DUP13
00001c20: PUSH2 0xffff
00001c23: AND
00001c24: DUP2
00001c25: MSTORE
00001c26: PUSH1 0x20
00001c28: ADD
00001c29: CALLVALUE
00001c2a: PUSH1 0x01
00001c2c: PUSH1 0x80
00001c2e: PUSH1 0x02
00001c30: EXP
00001c31: SUB
00001c32: AND
00001c33: DUP2
00001c34: MSTORE
00001c35: PUSH1 0x20
00001c37: ADD
00001c38: PUSH1 0x0a
00001c3a: SLOAD
00001c3b: PUSH1 0x01
00001c3d: PUSH1 0x80
00001c3f: PUSH1 0x02
00001c41: EXP
00001c42: SUB
00001c43: AND
00001c44: DUP2
00001c45: MSTORE
00001c46: POP
00001c47: PUSH1 0x0c
00001c49: PUSH1 0x00
00001c4b: DUP15
00001c4c: DUP2
00001c4d: MSTORE
00001c4e: PUSH1 0x20
00001c50: ADD
00001c51: SWAP1
00001c52: DUP2
00001c53: MSTORE
00001c54: PUSH1 0x20
00001c56: ADD
00001c57: PUSH1 0x00
00001c59: KECCAK256
00001c5a: PUSH1 0x00
00001c5c: DUP3
00001c5d: ADD
00001c5e: MLOAD
00001c5f: DUP2
00001c60: PUSH1 0x00
00001c62: ADD
00001c63: PUSH1 0x00
00001c65: PUSH2 0x0100
00001c68: EXP
00001c69: DUP2
00001c6a: SLOAD
00001c6b: DUP2
00001c6c: PUSH8 0xffffffffffffffff
00001c75: MUL
00001c76: NOT
00001c77: AND
00001c78: SWAP1
00001c79: DUP4
00001c7a: PUSH8 0xffffffffffffffff
00001c83: AND
00001c84: MUL
00001c85: OR
00001c86: SWAP1
00001c87: SSTORE
00001c88: POP
00001c89: PUSH1 0x20
00001c8b: DUP3
00001c8c: ADD
00001c8d: MLOAD
00001c8e: DUP2
00001c8f: PUSH1 0x00
00001c91: ADD
00001c92: PUSH1 0x08
00001c94: PUSH2 0x0100
00001c97: EXP
00001c98: DUP2
00001c99: SLOAD
00001c9a: DUP2
00001c9b: PUSH1 0x01
00001c9d: PUSH1 0xa0
00001c9f: PUSH1 0x02
00001ca1: EXP
00001ca2: SUB
00001ca3: MUL
00001ca4: NOT
00001ca5: AND
00001ca6: SWAP1
00001ca7: DUP4
00001ca8: PUSH1 0x01
00001caa: PUSH1 0xa0
00001cac: PUSH1 0x02
00001cae: EXP
00001caf: SUB
00001cb0: AND
00001cb1: MUL
00001cb2: OR
00001cb3: SWAP1
00001cb4: SSTORE
00001cb5: POP
00001cb6: PUSH1 0x40
00001cb8: DUP3
00001cb9: ADD
00001cba: MLOAD
00001cbb: DUP2
00001cbc: PUSH1 0x00
00001cbe: ADD
00001cbf: PUSH1 0x1c
00001cc1: PUSH2 0x0100
00001cc4: EXP
00001cc5: DUP2
00001cc6: SLOAD
00001cc7: DUP2
00001cc8: PUSH2 0xffff
00001ccb: MUL
00001ccc: NOT
00001ccd: AND
00001cce: SWAP1
00001ccf: DUP4
00001cd0: PUSH2 0xffff
00001cd3: AND
00001cd4: MUL
00001cd5: OR
00001cd6: SWAP1
00001cd7: SSTORE
00001cd8: POP
00001cd9: PUSH1 0x60
00001cdb: DUP3
00001cdc: ADD
00001cdd: MLOAD
00001cde: DUP2
00001cdf: PUSH1 0x01
00001ce1: ADD
00001ce2: PUSH1 0x00
00001ce4: PUSH2 0x0100
00001ce7: EXP
00001ce8: DUP2
00001ce9: SLOAD
00001cea: DUP2
00001ceb: PUSH1 0x01
00001ced: PUSH1 0x80
00001cef: PUSH1 0x02
00001cf1: EXP
00001cf2: SUB
00001cf3: MUL
00001cf4: NOT
00001cf5: AND
00001cf6: SWAP1
00001cf7: DUP4
00001cf8: PUSH1 0x01
00001cfa: PUSH1 0x80
00001cfc: PUSH1 0x02
00001cfe: EXP
00001cff: SUB
00001d00: AND
00001d01: MUL
00001d02: OR
00001d03: SWAP1
00001d04: SSTORE
00001d05: POP
00001d06: PUSH1 0x80
00001d08: DUP3
00001d09: ADD
00001d0a: MLOAD
00001d0b: DUP2
00001d0c: PUSH1 0x01
00001d0e: ADD
00001d0f: PUSH1 0x10
00001d11: PUSH2 0x0100
00001d14: EXP
00001d15: DUP2
00001d16: SLOAD
00001d17: DUP2
00001d18: PUSH1 0x01
00001d1a: PUSH1 0x80
00001d1c: PUSH1 0x02
00001d1e: EXP
00001d1f: SUB
00001d20: MUL
00001d21: NOT
00001d22: AND
00001d23: SWAP1
00001d24: DUP4
00001d25: PUSH1 0x01
00001d27: PUSH1 0x80
00001d29: PUSH1 0x02
00001d2b: EXP
00001d2c: SUB
00001d2d: AND
00001d2e: MUL
00001d2f: OR
00001d30: SWAP1
00001d31: SSTORE
00001d32: POP
00001d33: SWAP1
00001d34: POP
00001d35: POP
00001d36: PUSH1 0x00
00001d38: DUP8
00001d39: GT
00001d3a: ISZERO
00001d3b: PUSH2 0x1d49
00001d3e: JUMPI
00001d3f: PUSH2 0x1d49
00001d42: DUP13
00001d43: DUP3
00001d44: DUP10
00001d45: PUSH2 0x249c
00001d48: JUMP
00001d49: JUMPDEST
00001d4a: PUSH1 0x40
00001d4c: DUP1
00001d4d: MLOAD
00001d4e: DUP14
00001d4f: DUP2
00001d50: MSTORE
00001d51: CALLER
00001d52: PUSH1 0x20
00001d54: DUP3
00001d55: ADD
00001d56: MSTORE
00001d57: DUP1
00001d58: DUP3
00001d59: ADD
00001d5a: DUP5
00001d5b: SWAP1
00001d5c: MSTORE
00001d5d: CALLVALUE
00001d5e: PUSH1 0x60
00001d60: DUP3
00001d61: ADD
00001d62: MSTORE
00001d63: PUSH1 0x80
00001d65: DUP2
00001d66: ADD
00001d67: DUP13
00001d68: SWAP1
00001d69: MSTORE
00001d6a: SWAP1
00001d6b: MLOAD
00001d6c: PUSH32 0x05a7f246d4cdcfed1a85bd6331d1638fa8d47fffd48ede9a22f93d06641f309c
00001d8d: SWAP2
00001d8e: DUP2
00001d8f: SWAP1
00001d90: SUB
00001d91: PUSH1 0xa0
00001d93: ADD
00001d94: SWAP1
00001d95: LOG1
00001d96: POP
00001d97: POP
00001d98: POP
00001d99: POP
00001d9a: POP
00001d9b: POP
00001d9c: POP
00001d9d: POP
00001d9e: POP
00001d9f: POP
00001da0: POP
00001da1: POP
00001da2: JUMP
00001da3: JUMPDEST
00001da4: PUSH1 0x01
00001da6: SLOAD
00001da7: PUSH1 0x01
00001da9: PUSH1 0xa0
00001dab: PUSH1 0x02
00001dad: EXP
00001dae: SUB
00001daf: AND
00001db0: DUP2
00001db1: JUMP
00001db2: JUMPDEST
00001db3: PUSH1 0x0b
00001db5: SLOAD
00001db6: DUP2
00001db7: JUMP
00001db8: JUMPDEST
00001db9: PUSH1 0x01
00001dbb: SLOAD
00001dbc: PUSH1 0x01
00001dbe: PUSH1 0xa0
00001dc0: PUSH1 0x02
00001dc2: EXP
00001dc3: SUB
00001dc4: AND
00001dc5: CALLER
00001dc6: EQ
00001dc7: PUSH2 0x1e1c
00001dca: JUMPI
00001dcb: PUSH1 0x40
00001dcd: DUP1
00001dce: MLOAD
00001dcf: PUSH1 0xe5
00001dd1: PUSH1 0x02
00001dd3: EXP
00001dd4: PUSH3 0x461bcd
00001dd8: MUL
00001dd9: DUP2
00001dda: MSTORE
00001ddb: PUSH1 0x20
00001ddd: PUSH1 0x04
00001ddf: DUP3
00001de0: ADD
00001de1: MSTORE
00001de2: PUSH1 0x2d
00001de4: PUSH1 0x24
00001de6: DUP3
00001de7: ADD
00001de8: MSTORE
00001de9: PUSH1 0x00
00001deb: DUP1
00001dec: MLOAD
00001ded: PUSH1 0x20
00001def: PUSH2 0x2723
00001df2: DUP4
00001df3: CODECOPY
00001df4: DUP2
00001df5: MLOAD
00001df6: SWAP2
00001df7: MSTORE
00001df8: PUSH1 0x44
00001dfa: DUP3
00001dfb: ADD
00001dfc: MSTORE
00001dfd: PUSH1 0x00
00001dff: DUP1
00001e00: MLOAD
00001e01: PUSH1 0x20
00001e03: PUSH2 0x26e3
00001e06: DUP4
00001e07: CODECOPY
00001e08: DUP2
00001e09: MLOAD
00001e0a: SWAP2
00001e0b: MSTORE
00001e0c: PUSH1 0x64
00001e0e: DUP3
00001e0f: ADD
00001e10: MSTORE
00001e11: SWAP1
00001e12: MLOAD
00001e13: SWAP1
00001e14: DUP2
00001e15: SWAP1
00001e16: SUB
00001e17: PUSH1 0x84
00001e19: ADD
00001e1a: SWAP1
00001e1b: REVERT
00001e1c: JUMPDEST
00001e1d: PUSH1 0x06
00001e1f: SLOAD
00001e20: PUSH1 0xff
00001e22: AND
00001e23: ISZERO
00001e24: PUSH2 0x1e65
00001e27: JUMPI
00001e28: PUSH1 0x40
00001e2a: DUP1
00001e2b: MLOAD
00001e2c: PUSH1 0xe5
00001e2e: PUSH1 0x02
00001e30: EXP
00001e31: PUSH3 0x461bcd
00001e35: MUL
00001e36: DUP2
00001e37: MSTORE
00001e38: PUSH1 0x20
00001e3a: PUSH1 0x04
00001e3c: DUP3
00001e3d: ADD
00001e3e: MSTORE
00001e3f: PUSH1 0x1f
00001e41: PUSH1 0x24
00001e43: DUP3
00001e44: ADD
00001e45: MSTORE
00001e46: PUSH1 0x00
00001e48: DUP1
00001e49: MLOAD
00001e4a: PUSH1 0x20
00001e4c: PUSH2 0x2743
00001e4f: DUP4
00001e50: CODECOPY
00001e51: DUP2
00001e52: MLOAD
00001e53: SWAP2
00001e54: MSTORE
00001e55: PUSH1 0x44
00001e57: DUP3
00001e58: ADD
00001e59: MSTORE
00001e5a: SWAP1
00001e5b: MLOAD
00001e5c: SWAP1
00001e5d: DUP2
00001e5e: SWAP1
00001e5f: SUB
00001e60: PUSH1 0x64
00001e62: ADD
00001e63: SWAP1
00001e64: REVERT
00001e65: JUMPDEST
00001e66: PUSH1 0x08
00001e68: SLOAD
00001e69: PUSH1 0x02
00001e6b: DUP3
00001e6c: MUL
00001e6d: GT
00001e6e: ISZERO
00001e6f: PUSH2 0x1ee8
00001e72: JUMPI
00001e73: PUSH1 0x40
00001e75: DUP1
00001e76: MLOAD
00001e77: PUSH1 0xe5
00001e79: PUSH1 0x02
00001e7b: EXP
00001e7c: PUSH3 0x461bcd
00001e80: MUL
00001e81: DUP2
00001e82: MSTORE
00001e83: PUSH1 0x20
00001e85: PUSH1 0x04
00001e87: DUP3
00001e88: ADD
00001e89: MSTORE
00001e8a: PUSH1 0x37
00001e8c: PUSH1 0x24
00001e8e: DUP3
00001e8f: ADD
00001e90: MSTORE
00001e91: PUSH32 0x756e7375636365737366756c2076616c7565206d757374206265203c3d206861
00001eb2: PUSH1 0x44
00001eb4: DUP3
00001eb5: ADD
00001eb6: MSTORE
00001eb7: PUSH32 0x6c66206f66206d696e696d756d546f74616c56616c7565000000000000000000
00001ed8: PUSH1 0x64
00001eda: DUP3
00001edb: ADD
00001edc: MSTORE
00001edd: SWAP1
00001ede: MLOAD
00001edf: SWAP1
00001ee0: DUP2
00001ee1: SWAP1
00001ee2: SUB
00001ee3: PUSH1 0x84
00001ee5: ADD
00001ee6: SWAP1
00001ee7: REVERT
00001ee8: JUMPDEST
00001ee9: PUSH1 0x0a
00001eeb: DUP2
00001eec: SWAP1
00001eed: SSTORE
00001eee: PUSH1 0x40
00001ef0: DUP1
00001ef1: MLOAD
00001ef2: DUP3
00001ef3: DUP2
00001ef4: MSTORE
00001ef5: SWAP1
00001ef6: MLOAD
00001ef7: PUSH32 0xfa4a24dc8c85bb39a38146f43e5611e67c18d4df990b85be0fa17a8d9c7f3cc9
00001f18: SWAP2
00001f19: DUP2
00001f1a: SWAP1
00001f1b: SUB
00001f1c: PUSH1 0x20
00001f1e: ADD
00001f1f: SWAP1
00001f20: LOG1
00001f21: POP
00001f22: JUMP
00001f23: JUMPDEST
00001f24: PUSH1 0x0a
00001f26: SLOAD
00001f27: DUP2
00001f28: JUMP
00001f29: JUMPDEST
00001f2a: PUSH1 0x0c
00001f2c: PUSH1 0x20
00001f2e: MSTORE
00001f2f: PUSH1 0x00
00001f31: SWAP1
00001f32: DUP2
00001f33: MSTORE
00001f34: PUSH1 0x40
00001f36: SWAP1
00001f37: KECCAK256
00001f38: DUP1
00001f39: SLOAD
00001f3a: PUSH1 0x01
00001f3c: SWAP1
00001f3d: SWAP2
00001f3e: ADD
00001f3f: SLOAD
00001f40: PUSH8 0xffffffffffffffff
00001f49: DUP3
00001f4a: AND
00001f4b: SWAP2
00001f4c: PUSH9 0x010000000000000000
00001f56: DUP2
00001f57: DIV
00001f58: PUSH1 0x01
00001f5a: PUSH1 0xa0
00001f5c: PUSH1 0x02
00001f5e: EXP
00001f5f: SUB
00001f60: AND
00001f61: SWAP2
00001f62: PUSH1 0xe0
00001f64: PUSH1 0x02
00001f66: EXP
00001f67: SWAP1
00001f68: SWAP2
00001f69: DIV
00001f6a: PUSH2 0xffff
00001f6d: AND
00001f6e: SWAP1
00001f6f: PUSH1 0x01
00001f71: PUSH1 0x80
00001f73: PUSH1 0x02
00001f75: EXP
00001f76: SUB
00001f77: DUP1
00001f78: DUP3
00001f79: AND
00001f7a: SWAP2
00001f7b: PUSH17 0x0100000000000000000000000000000000
00001f8d: SWAP1
00001f8e: DIV
00001f8f: AND
00001f90: DUP6
00001f91: JUMP
00001f92: JUMPDEST
00001f93: PUSH1 0x09
00001f95: SLOAD
00001f96: DUP2
00001f97: JUMP
00001f98: JUMPDEST
00001f99: PUSH1 0x0d
00001f9b: SLOAD
00001f9c: PUSH1 0x01
00001f9e: PUSH1 0xa0
00001fa0: PUSH1 0x02
00001fa2: EXP
00001fa3: SUB
00001fa4: AND
00001fa5: DUP2
00001fa6: JUMP
00001fa7: JUMPDEST
00001fa8: PUSH1 0x06
00001faa: SLOAD
00001fab: PUSH1 0x00
00001fad: SWAP1
00001fae: DUP2
00001faf: SWAP1
00001fb0: PUSH1 0xff
00001fb2: AND
00001fb3: ISZERO
00001fb4: ISZERO
00001fb5: PUSH2 0x2008
00001fb8: JUMPI
00001fb9: PUSH1 0x40
00001fbb: DUP1
00001fbc: MLOAD
00001fbd: PUSH1 0xe5
00001fbf: PUSH1 0x02
00001fc1: EXP
00001fc2: PUSH3 0x461bcd
00001fc6: MUL
00001fc7: DUP2
00001fc8: MSTORE
00001fc9: PUSH1 0x20
00001fcb: PUSH1 0x04
00001fcd: DUP3
00001fce: ADD
00001fcf: MSTORE
00001fd0: PUSH1 0x1b
00001fd2: PUSH1 0x24
00001fd4: DUP3
00001fd5: ADD
00001fd6: MSTORE
00001fd7: PUSH32 0x636f6e7472616374206e6565647320746f2062652066726f7a656e0000000000
00001ff8: PUSH1 0x44
00001ffa: DUP3
00001ffb: ADD
00001ffc: MSTORE
00001ffd: SWAP1
00001ffe: MLOAD
00001fff: SWAP1
00002000: DUP2
00002001: SWAP1
00002002: SUB
00002003: PUSH1 0x64
00002005: ADD
00002006: SWAP1
00002007: REVERT
00002008: JUMPDEST
00002009: PUSH1 0x00
0000200b: DUP4
0000200c: DUP2
0000200d: MSTORE
0000200e: PUSH1 0x0c
00002010: PUSH1 0x20
00002012: MSTORE
00002013: PUSH1 0x40
00002015: SWAP1
00002016: KECCAK256
00002017: DUP1
00002018: SLOAD
00002019: SWAP1
0000201a: SWAP3
0000201b: POP
0000201c: PUSH2 0x202e
0000201f: SWAP1
00002020: PUSH8 0xffffffffffffffff
00002029: AND
0000202a: PUSH2 0x2491
0000202d: JUMP
0000202e: JUMPDEST
0000202f: ISZERO
00002030: ISZERO
00002031: PUSH2 0x20aa
00002034: JUMPI
00002035: PUSH1 0x40
00002037: DUP1
00002038: MLOAD
00002039: PUSH1 0xe5
0000203b: PUSH1 0x02
0000203d: EXP
0000203e: PUSH3 0x461bcd
00002042: MUL
00002043: DUP2
00002044: MSTORE
00002045: PUSH1 0x20
00002047: PUSH1 0x04
00002049: DUP3
0000204a: ADD
0000204b: MSTORE
0000204c: PUSH1 0x27
0000204e: PUSH1 0x24
00002050: DUP3
00002051: ADD
00002052: MSTORE
00002053: PUSH32 0x6f6666657220746f2077697468647261772066756e64732066726f6d206d7573
00002074: PUSH1 0x44
00002076: DUP3
00002077: ADD
00002078: MSTORE
00002079: PUSH32 0x7420657869737400000000000000000000000000000000000000000000000000
0000209a: PUSH1 0x64
0000209c: DUP3
0000209d: ADD
0000209e: MSTORE
0000209f: SWAP1
000020a0: MLOAD
000020a1: SWAP1
000020a2: DUP2
000020a3: SWAP1
000020a4: SUB
000020a5: PUSH1 0x84
000020a7: ADD
000020a8: SWAP1
000020a9: REVERT
000020aa: JUMPDEST
000020ab: DUP2
000020ac: SLOAD
000020ad: PUSH9 0x010000000000000000
000020b7: SWAP1
000020b8: DIV
000020b9: PUSH1 0x01
000020bb: PUSH1 0xa0
000020bd: PUSH1 0x02
000020bf: EXP
000020c0: SUB
000020c1: AND
000020c2: CALLER
000020c3: EQ
000020c4: PUSH2 0x213d
000020c7: JUMPI
000020c8: PUSH1 0x40
000020ca: DUP1
000020cb: MLOAD
000020cc: PUSH1 0xe5
000020ce: PUSH1 0x02
000020d0: EXP
000020d1: PUSH3 0x461bcd
000020d5: MUL
000020d6: DUP2
000020d7: MSTORE
000020d8: PUSH1 0x20
000020da: PUSH1 0x04
000020dc: DUP3
000020dd: ADD
000020de: MSTORE
000020df: PUSH1 0x2f
000020e1: PUSH1 0x24
000020e3: DUP3
000020e4: ADD
000020e5: MSTORE
000020e6: PUSH32 0x6f6e6c7920626964646572732063616e20776974686472617720746865697220
00002107: PUSH1 0x44
00002109: DUP3
0000210a: ADD
0000210b: MSTORE
0000210c: PUSH32 0x66756e647320696e20657363726f770000000000000000000000000000000000
0000212d: PUSH1 0x64
0000212f: DUP3
00002130: ADD
00002131: MSTORE
00002132: SWAP1
00002133: MLOAD
00002134: SWAP1
00002135: DUP2
00002136: SWAP1
00002137: SUB
00002138: PUSH1 0x84
0000213a: ADD
0000213b: SWAP1
0000213c: REVERT
0000213d: JUMPDEST
0000213e: POP
0000213f: PUSH1 0x01
00002141: DUP1
00002142: DUP3
00002143: ADD
00002144: SLOAD
00002145: PUSH1 0x00
00002147: DUP5
00002148: DUP2
00002149: MSTORE
0000214a: PUSH1 0x0c
0000214c: PUSH1 0x20
0000214e: MSTORE
0000214f: PUSH1 0x40
00002151: DUP1
00002152: DUP3
00002153: KECCAK256
00002154: DUP1
00002155: SLOAD
00002156: PUSH1 0x01
00002158: PUSH1 0xf0
0000215a: PUSH1 0x02
0000215c: EXP
0000215d: SUB
0000215e: NOT
0000215f: AND
00002160: DUP2
00002161: SSTORE
00002162: SWAP1
00002163: SWAP4
00002164: ADD
00002165: DUP2
00002166: SWAP1
00002167: SSTORE
00002168: SWAP2
00002169: MLOAD
0000216a: PUSH1 0x01
0000216c: PUSH1 0x80
0000216e: PUSH1 0x02
00002170: EXP
00002171: SUB
00002172: SWAP1
00002173: SWAP2
00002174: AND
00002175: SWAP2
00002176: CALLER
00002177: SWAP2
00002178: DUP4
00002179: ISZERO
0000217a: PUSH2 0x08fc
0000217d: MUL
0000217e: SWAP2
0000217f: DUP5
00002180: SWAP2
00002181: SWAP1
00002182: DUP2
00002183: DUP2
00002184: DUP2
00002185: DUP6
00002186: DUP9
00002187: DUP9
00002188: CALL
00002189: SWAP4
0000218a: POP
0000218b: POP
0000218c: POP
0000218d: POP
0000218e: ISZERO
0000218f: DUP1
00002190: ISZERO
00002191: PUSH2 0x219e
00002194: JUMPI
00002195: RETURNDATASIZE
00002196: PUSH1 0x00
00002198: DUP1
00002199: RETURNDATACOPY
0000219a: RETURNDATASIZE
0000219b: PUSH1 0x00
0000219d: REVERT
0000219e: JUMPDEST
0000219f: POP
000021a0: PUSH1 0x40
000021a2: DUP1
000021a3: MLOAD
000021a4: DUP5
000021a5: DUP2
000021a6: MSTORE
000021a7: CALLER
000021a8: PUSH1 0x20
000021aa: DUP3
000021ab: ADD
000021ac: MSTORE
000021ad: DUP1
000021ae: DUP3
000021af: ADD
000021b0: DUP4
000021b1: SWAP1
000021b2: MSTORE
000021b3: SWAP1
000021b4: MLOAD
000021b5: PUSH32 0x2014255827f37802573fb6164526f1d41d309fd57001e38c8f169ffb76117098
000021d6: SWAP2
000021d7: DUP2
000021d8: SWAP1
000021d9: SUB
000021da: PUSH1 0x60
000021dc: ADD
000021dd: SWAP1
000021de: LOG1
000021df: POP
000021e0: POP
000021e1: POP
000021e2: JUMP
000021e3: JUMPDEST
000021e4: PUSH1 0x06
000021e6: SLOAD
000021e7: PUSH1 0x00
000021e9: SWAP1
000021ea: DUP2
000021eb: SWAP1
000021ec: DUP2
000021ed: SWAP1
000021ee: DUP2
000021ef: SWAP1
000021f0: DUP2
000021f1: SWAP1
000021f2: DUP2
000021f3: SWAP1
000021f4: PUSH1 0xff
000021f6: AND
000021f7: ISZERO
000021f8: PUSH2 0x2239
000021fb: JUMPI
000021fc: PUSH1 0x40
000021fe: DUP1
000021ff: MLOAD
00002200: PUSH1 0xe5
00002202: PUSH1 0x02
00002204: EXP
00002205: PUSH3 0x461bcd
00002209: MUL
0000220a: DUP2
0000220b: MSTORE
0000220c: PUSH1 0x20
0000220e: PUSH1 0x04
00002210: DUP3
00002211: ADD
00002212: MSTORE
00002213: PUSH1 0x1f
00002215: PUSH1 0x24
00002217: DUP3
00002218: ADD
00002219: MSTORE
0000221a: PUSH1 0x00
0000221c: DUP1
0000221d: MLOAD
0000221e: PUSH1 0x20
00002220: PUSH2 0x2743
00002223: DUP4
00002224: CODECOPY
00002225: DUP2
00002226: MLOAD
00002227: SWAP2
00002228: MSTORE
00002229: PUSH1 0x44
0000222b: DUP3
0000222c: ADD
0000222d: MSTORE
0000222e: SWAP1
0000222f: MLOAD
00002230: SWAP1
00002231: DUP2
00002232: SWAP1
00002233: SUB
00002234: PUSH1 0x64
00002236: ADD
00002237: SWAP1
00002238: REVERT
00002239: JUMPDEST
0000223a: PUSH1 0x00
0000223c: DUP8
0000223d: DUP2
0000223e: MSTORE
0000223f: PUSH1 0x0c
00002241: PUSH1 0x20
00002243: MSTORE
00002244: PUSH1 0x40
00002246: SWAP1
00002247: KECCAK256
00002248: DUP1
00002249: SLOAD
0000224a: SWAP1
0000224b: SWAP7
0000224c: POP
0000224d: PUSH8 0xffffffffffffffff
00002256: AND
00002257: SWAP5
00002258: POP
00002259: PUSH2 0x2261
0000225c: DUP6
0000225d: PUSH2 0x2491
00002260: JUMP
00002261: JUMPDEST
00002262: ISZERO
00002263: ISZERO
00002264: PUSH2 0x22b7
00002267: JUMPI
00002268: PUSH1 0x40
0000226a: DUP1
0000226b: MLOAD
0000226c: PUSH1 0xe5
0000226e: PUSH1 0x02
00002270: EXP
00002271: PUSH3 0x461bcd
00002275: MUL
00002276: DUP2
00002277: MSTORE
00002278: PUSH1 0x20
0000227a: PUSH1 0x04
0000227c: DUP3
0000227d: ADD
0000227e: MSTORE
0000227f: PUSH1 0x1a
00002281: PUSH1 0x24
00002283: DUP3
00002284: ADD
00002285: MSTORE
00002286: PUSH32 0x6f6666657220746f2063616e63656c206d757374206578697374000000000000
000022a7: PUSH1 0x44
000022a9: DUP3
000022aa: ADD
000022ab: MSTORE
000022ac: SWAP1
000022ad: MLOAD
000022ae: SWAP1
000022af: DUP2
000022b0: SWAP1
000022b1: SUB
000022b2: PUSH1 0x64
000022b4: ADD
000022b5: SWAP1
000022b6: REVERT
000022b7: JUMPDEST
000022b8: PUSH2 0x22c0
000022bb: DUP6
000022bc: PUSH2 0x2497
000022bf: JUMP
000022c0: JUMPDEST
000022c1: ISZERO
000022c2: ISZERO
000022c3: PUSH2 0x233c
000022c6: JUMPI
000022c7: PUSH1 0x40
000022c9: DUP1
000022ca: MLOAD
000022cb: PUSH1 0xe5
000022cd: PUSH1 0x02
000022cf: EXP
000022d0: PUSH3 0x461bcd
000022d4: MUL
000022d5: DUP2
000022d6: MSTORE
000022d7: PUSH1 0x20
000022d9: PUSH1 0x04
000022db: DUP3
000022dc: ADD
000022dd: MSTORE
000022de: PUSH1 0x23
000022e0: PUSH1 0x24
000022e2: DUP3
000022e3: ADD
000022e4: MSTORE
000022e5: PUSH32 0x6f6666657220746f2063616e63656c206d757374206e6f742062652065787069
00002306: PUSH1 0x44
00002308: DUP3
00002309: ADD
0000230a: MSTORE
0000230b: PUSH32 0x7265640000000000000000000000000000000000000000000000000000000000
0000232c: PUSH1 0x64
0000232e: DUP3
0000232f: ADD
00002330: MSTORE
00002331: SWAP1
00002332: MLOAD
00002333: SWAP1
00002334: DUP2
00002335: SWAP1
00002336: SUB
00002337: PUSH1 0x84
00002339: ADD
0000233a: SWAP1
0000233b: REVERT
0000233c: JUMPDEST
0000233d: DUP6
0000233e: SLOAD
0000233f: PUSH9 0x010000000000000000
00002349: SWAP1
0000234a: DIV
0000234b: PUSH1 0x01
0000234d: PUSH1 0xa0
0000234f: PUSH1 0x02
00002351: EXP
00002352: SUB
00002353: AND
00002354: SWAP4
00002355: POP
00002356: CALLER
00002357: DUP5
00002358: EQ
00002359: PUSH2 0x23d2
0000235c: JUMPI
0000235d: PUSH1 0x40
0000235f: DUP1
00002360: MLOAD
00002361: PUSH1 0xe5
00002363: PUSH1 0x02
00002365: EXP
00002366: PUSH3 0x461bcd
0000236a: MUL
0000236b: DUP2
0000236c: MSTORE
0000236d: PUSH1 0x20
0000236f: PUSH1 0x04
00002371: DUP3
00002372: ADD
00002373: MSTORE
00002374: PUSH1 0x2e
00002376: PUSH1 0x24
00002378: DUP3
00002379: ADD
0000237a: MSTORE
0000237b: PUSH32 0x63616c6c6572206d75737420626520626964646572206f66206f666665722074
0000239c: PUSH1 0x44
0000239e: DUP3
0000239f: ADD
000023a0: MSTORE
000023a1: PUSH32 0x6f2062652063616e63656c6c6564000000000000000000000000000000000000
000023c2: PUSH1 0x64
000023c4: DUP3
000023c5: ADD
000023c6: MSTORE
000023c7: SWAP1
000023c8: MLOAD
000023c9: SWAP1
000023ca: DUP2
000023cb: SWAP1
000023cc: SUB
000023cd: PUSH1 0x84
000023cf: ADD
000023d0: SWAP1
000023d1: REVERT
000023d2: JUMPDEST
000023d3: PUSH1 0x01
000023d5: DUP7
000023d6: ADD
000023d7: SLOAD
000023d8: DUP7
000023d9: SLOAD
000023da: PUSH1 0x01
000023dc: PUSH1 0x80
000023de: PUSH1 0x02
000023e0: EXP
000023e1: SUB
000023e2: SWAP1
000023e3: SWAP2
000023e4: AND
000023e5: SWAP4
000023e6: POP
000023e7: PUSH2 0x23fc
000023ea: SWAP1
000023eb: DUP5
000023ec: SWAP1
000023ed: PUSH1 0xe0
000023ef: PUSH1 0x02
000023f1: EXP
000023f2: SWAP1
000023f3: DIV
000023f4: PUSH2 0xffff
000023f7: AND
000023f8: PUSH2 0x26b4
000023fb: JUMP
000023fc: JUMPDEST
000023fd: PUSH1 0x00
000023ff: DUP9
00002400: DUP2
00002401: MSTORE
00002402: PUSH1 0x0c
00002404: PUSH1 0x20
00002406: MSTORE
00002407: PUSH1 0x40
00002409: DUP2
0000240a: KECCAK256
0000240b: DUP1
0000240c: SLOAD
0000240d: PUSH1 0x01
0000240f: PUSH1 0xf0
00002411: PUSH1 0x02
00002413: EXP
00002414: SUB
00002415: NOT
00002416: AND
00002417: DUP2
00002418: SSTORE
00002419: PUSH1 0x01
0000241b: ADD
0000241c: SSTORE
0000241d: PUSH1 0x04
0000241f: DUP1
00002420: SLOAD
00002421: DUP3
00002422: DUP7
00002423: SUB
00002424: SWAP1
00002425: DUP2
00002426: ADD
00002427: SWAP1
00002428: SWAP2
00002429: SSTORE
0000242a: SWAP1
0000242b: SWAP3
0000242c: POP
0000242d: SWAP1
0000242e: POP
0000242f: PUSH2 0x2439
00002432: DUP8
00002433: DUP6
00002434: DUP5
00002435: PUSH2 0x249c
00002438: JUMP
00002439: JUMPDEST
0000243a: PUSH1 0x40
0000243c: DUP1
0000243d: MLOAD
0000243e: DUP9
0000243f: DUP2
00002440: MSTORE
00002441: PUSH1 0x01
00002443: PUSH1 0xa0
00002445: PUSH1 0x02
00002447: EXP
00002448: SUB
00002449: DUP7
0000244a: AND
0000244b: PUSH1 0x20
0000244d: DUP3
0000244e: ADD
0000244f: MSTORE
00002450: DUP1
00002451: DUP3
00002452: ADD
00002453: DUP5
00002454: SWAP1
00002455: MSTORE
00002456: PUSH1 0x60
00002458: DUP2
00002459: ADD
0000245a: DUP4
0000245b: SWAP1
0000245c: MSTORE
0000245d: SWAP1
0000245e: MLOAD
0000245f: PUSH32 0x0f30ae9004015531e44539aa93fcbe6e33146abeeed21661204fa432da6bc075
00002480: SWAP2
00002481: DUP2
00002482: SWAP1
00002483: SUB
00002484: PUSH1 0x80
00002486: ADD
00002487: SWAP1
00002488: LOG1
00002489: POP
0000248a: POP
0000248b: POP
0000248c: POP
0000248d: POP
0000248e: POP
0000248f: POP
00002490: JUMP
00002491: JUMPDEST
00002492: PUSH1 0x00
00002494: LT
00002495: SWAP1
00002496: JUMP
00002497: JUMPDEST
00002498: TIMESTAMP
00002499: LT
0000249a: SWAP1
0000249b: JUMP
0000249c: JUMPDEST
0000249d: PUSH1 0x40
0000249f: MLOAD
000024a0: PUSH1 0x00
000024a2: SWAP1
000024a3: PUSH1 0x01
000024a5: PUSH1 0xa0
000024a7: PUSH1 0x02
000024a9: EXP
000024aa: SUB
000024ab: DUP5
000024ac: AND
000024ad: SWAP1
000024ae: DUP4
000024af: ISZERO
000024b0: PUSH2 0x08fc
000024b3: MUL
000024b4: SWAP1
000024b5: DUP5
000024b6: SWAP1
000024b7: DUP5
000024b8: DUP2
000024b9: DUP2
000024ba: DUP2
000024bb: DUP6
000024bc: DUP9
000024bd: DUP9
000024be: CALL
000024bf: SWAP4
000024c0: POP
000024c1: POP
000024c2: POP
000024c3: POP
000024c4: SWAP1
000024c5: POP
000024c6: DUP1
000024c7: ISZERO
000024c8: ISZERO
000024c9: PUSH2 0x251d
000024cc: JUMPI
000024cd: PUSH1 0x05
000024cf: DUP1
000024d0: SLOAD
000024d1: DUP4
000024d2: ADD
000024d3: SWAP1
000024d4: SSTORE
000024d5: PUSH1 0x40
000024d7: DUP1
000024d8: MLOAD
000024d9: DUP6
000024da: DUP2
000024db: MSTORE
000024dc: PUSH1 0x01
000024de: PUSH1 0xa0
000024e0: PUSH1 0x02
000024e2: EXP
000024e3: SUB
000024e4: DUP6
000024e5: AND
000024e6: PUSH1 0x20
000024e8: DUP3
000024e9: ADD
000024ea: MSTORE
000024eb: DUP1
000024ec: DUP3
000024ed: ADD
000024ee: DUP5
000024ef: SWAP1
000024f0: MSTORE
000024f1: SWAP1
000024f2: MLOAD
000024f3: PUSH32 0x47b2b7bdacd5004b5f20c86ec07ecda11e5ac511d4ad9ed9ed2c5af4c42cb4bd
00002514: SWAP2
00002515: DUP2
00002516: SWAP1
00002517: SUB
00002518: PUSH1 0x60
0000251a: ADD
0000251b: SWAP1
0000251c: LOG1
0000251d: JUMPDEST
0000251e: POP
0000251f: POP
00002520: POP
00002521: POP
00002522: JUMP
00002523: JUMPDEST
00002524: PUSH2 0x2710
00002527: DUP2
00002528: GT
00002529: ISZERO
0000252a: PUSH2 0x25a3
0000252d: JUMPI
0000252e: PUSH1 0x40
00002530: DUP1
00002531: MLOAD
00002532: PUSH1 0xe5
00002534: PUSH1 0x02
00002536: EXP
00002537: PUSH3 0x461bcd
0000253b: MUL
0000253c: DUP2
0000253d: MSTORE
0000253e: PUSH1 0x20
00002540: PUSH1 0x04
00002542: DUP3
00002543: ADD
00002544: MSTORE
00002545: PUSH1 0x25
00002547: PUSH1 0x24
00002549: DUP3
0000254a: ADD
0000254b: MSTORE
0000254c: PUSH32 0x6f6666657220637574206d75737420626520612076616c696420626173697320
0000256d: PUSH1 0x44
0000256f: DUP3
00002570: ADD
00002571: MSTORE
00002572: PUSH32 0x706f696e74000000000000000000000000000000000000000000000000000000
00002593: PUSH1 0x64
00002595: DUP3
00002596: ADD
00002597: MSTORE
00002598: SWAP1
00002599: MLOAD
0000259a: SWAP1
0000259b: DUP2
0000259c: SWAP1
0000259d: SUB
0000259e: PUSH1 0x84
000025a0: ADD
000025a1: SWAP1
000025a2: REVERT
000025a3: JUMPDEST
000025a4: PUSH1 0x0b
000025a6: SSTORE
000025a7: JUMP
000025a8: JUMPDEST
000025a9: PUSH2 0x2710
000025ac: DUP2
000025ad: GT
000025ae: ISZERO
000025af: PUSH2 0x2628
000025b2: JUMPI
000025b3: PUSH1 0x40
000025b5: DUP1
000025b6: MLOAD
000025b7: PUSH1 0xe5
000025b9: PUSH1 0x02
000025bb: EXP
000025bc: PUSH3 0x461bcd
000025c0: MUL
000025c1: DUP2
000025c2: MSTORE
000025c3: PUSH1 0x20
000025c5: PUSH1 0x04
000025c7: DUP3
000025c8: ADD
000025c9: MSTORE
000025ca: PUSH1 0x33
000025cc: PUSH1 0x24
000025ce: DUP3
000025cf: ADD
000025d0: MSTORE
000025d1: PUSH32 0x6d696e696d756d20707269636520696e6372656d656e74206d75737420626520
000025f2: PUSH1 0x44
000025f4: DUP3
000025f5: ADD
000025f6: MSTORE
000025f7: PUSH32 0x612076616c696420626173697320706f696e7400000000000000000000000000
00002618: PUSH1 0x64
0000261a: DUP3
0000261b: ADD
0000261c: MSTORE
0000261d: SWAP1
0000261e: MLOAD
0000261f: SWAP1
00002620: DUP2
00002621: SWAP1
00002622: SUB
00002623: PUSH1 0x84
00002625: ADD
00002626: SWAP1
00002627: REVERT
00002628: JUMPDEST
00002629: PUSH1 0x09
0000262b: SSTORE
0000262c: JUMP
0000262d: JUMPDEST
0000262e: PUSH1 0x02
00002630: DUP2
00002631: MUL
00002632: DUP3
00002633: LT
00002634: ISZERO
00002635: PUSH2 0x26ae
00002638: JUMPI
00002639: PUSH1 0x40
0000263b: DUP1
0000263c: MLOAD
0000263d: PUSH1 0xe5
0000263f: PUSH1 0x02
00002641: EXP
00002642: PUSH3 0x461bcd
00002646: MUL
00002647: DUP2
00002648: MSTORE
00002649: PUSH1 0x20
0000264b: PUSH1 0x04
0000264d: DUP3
0000264e: ADD
0000264f: MSTORE
00002650: PUSH1 0x2d
00002652: PUSH1 0x24
00002654: DUP3
00002655: ADD
00002656: MSTORE
00002657: PUSH32 0x6d696e696d756d2076616c7565206d757374206265203e3d2032202a20756e73
00002678: PUSH1 0x44
0000267a: DUP3
0000267b: ADD
0000267c: MSTORE
0000267d: PUSH32 0x75636365737366756c2066656500000000000000000000000000000000000000
0000269e: PUSH1 0x64
000026a0: DUP3
000026a1: ADD
000026a2: MSTORE
000026a3: SWAP1
000026a4: MLOAD
000026a5: SWAP1
000026a6: DUP2
000026a7: SWAP1
000026a8: SUB
000026a9: PUSH1 0x84
000026ab: ADD
000026ac: SWAP1
000026ad: REVERT
000026ae: JUMPDEST
000026af: POP
000026b0: PUSH1 0x08
000026b2: SSTORE
000026b3: JUMP
000026b4: JUMPDEST
000026b5: PUSH1 0x00
000026b7: DUP2
000026b8: PUSH2 0x2710
000026bb: ADD
000026bc: DUP4
000026bd: PUSH2 0x2710
000026c0: MUL
000026c1: DUP2
000026c2: ISZERO
000026c3: ISZERO
000026c4: PUSH2 0x26c9
000026c7: JUMPI
000026c8: INVALID
000026c9: JUMPDEST
000026ca: DIV
000026cb: SWAP4
000026cc: SWAP3
000026cd: POP
000026ce: POP
000026cf: POP
000026d0: JUMP
000026d1: JUMPDEST
000026d2: PUSH1 0x09
000026d4: SLOAD
000026d5: PUSH2 0x2710
000026d8: SWAP1
000026d9: DUP2
000026da: ADD
000026db: SWAP2
000026dc: SWAP1
000026dd: SWAP2
000026de: MUL
000026df: DIV
000026e0: SWAP1
000026e1: JUMP
000026e2: STOP
000026e3: PUSH9 0x6973206f7065726174
000026ed: PUSH10 0x6f6e0000000000000000
000026f8: STOP
000026f9: STOP
000026fa: STOP
000026fb: STOP
000026fc: STOP
000026fd: STOP
000026fe: STOP
000026ff: STOP
00002700: STOP
00002701: STOP
00002702: STOP
00002703: PUSH16 0x6e6c792043454f20697320616c6c6f77
00002714: PUSH6 0x6420746f2070
0000271b: PUSH6 0x72666f726d20
00002722: PUSH21 0x6f6e6c7920434f4f20697320616c6c6f7765642074
00002738: PUSH16 0x20706572666f726d2074636f6e747261
00002749: PUSH4 0x74206e65
0000274e: PUSH6 0x647320746f20
00002755: PUSH15 0x6f742062652066726f7a656e00a165
00002765: PUSH3 0x7a7a72
00002769: ADDRESS
0000276a: PC
0000276b: KECCAK256
0000276c: UNKNOWN(0x1F)
0000276d: UNKNOWN(0xF8)
0000276e: SWAP14
0000276f: BALANCE
00002770: UNKNOWN(0xA6)
00002771: DUP8
00002772: UNKNOWN(0xEF)
00002773: EXTCODEHASH
00002774: UNKNOWN(0xD5)
00002775: UNKNOWN(0xAC)
00002776: CODECOPY
00002777: UNKNOWN(0x4F)
00002778: UNKNOWN(0xE3)
00002779: UNKNOWN(0x24)
0000277a: UNKNOWN(0xD9)
0000277b: PUSH12 0x89ccbc571da60666a37f7285
00002788: LOG4
00002789: SWAP13
0000278a: UNKNOWN(0xCA)
0000278b: UNKNOWN(0xDE)
0000278c: STOP
0000278d: UNKNOWN(0x29)
Findings

validated = confirmed for call sinks; sink observed for others
Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
high	other	detector	Untrusted CALL target/value reachable	60	no	no	view trace_id: 0xc20e445f8aa879bd80ca201123035078842c0bac5a1057c8e9f1dfa94cef1114 call_targets: 0x57831a0c76ba6b4fdcbadd6cb48cb26e8fc15e93 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xc20e445f8aa879bd80ca201123035078842c0bac5a1057c8e9f1dfa94cef1114", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x57831a0c76ba6b4fdcbadd6cb48cb26e8fc15e93" ], "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": "0x0519ce79", "selector": "0x0519ce79", "calldata_variants": [ "0x0519ce79", "0x0519ce790000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x054f7d9c", "selector": "0x054f7d9c", "calldata_variants": [ "0x054f7d9c", "0x054f7d9c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x0a0f8168", "selector": "0x0a0f8168", "calldata_variants": [ "0x0a0f8168", "0x0a0f81680000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x14806a32", "selector": "0x14806a32", "calldata_variants": [ "0x14806a32", "0x14806a320000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x1c091a5f", "selector": "0x1c091a5f", "calldata_variants": [ "0x1c091a5f", "0x1c091a5f0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x1f747458", "selector": "0x1f747458", "calldata_variants": [ "0x1f747458", "0x1f7474580000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x27d7874c", "selector": "0x27d7874c", "calldata_variants": [ "0x27d7874c", "0x27d7874c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x2ba73c15", "selector": "0x2ba73c15", "calldata_variants": [ "0x2ba73c15", "0x2ba73c150000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 3385, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 4383, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 4931, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 6, "guards_detected": [], "untrusted_call_count": 6 }
high	other	detector	ETH value transfer possible	55	no	no	view trace_id: 0xc20e445f8aa879bd80ca201123035078842c0bac5a1057c8e9f1dfa94cef1114 call_targets: 0x57831a0c76ba6b4fdcbadd6cb48cb26e8fc15e93 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xc20e445f8aa879bd80ca201123035078842c0bac5a1057c8e9f1dfa94cef1114", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x57831a0c76ba6b4fdcbadd6cb48cb26e8fc15e93" ], "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": "0x0519ce79", "selector": "0x0519ce79", "calldata_variants": [ "0x0519ce79", "0x0519ce790000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x054f7d9c", "selector": "0x054f7d9c", "calldata_variants": [ "0x054f7d9c", "0x054f7d9c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x0a0f8168", "selector": "0x0a0f8168", "calldata_variants": [ "0x0a0f8168", "0x0a0f81680000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x14806a32", "selector": "0x14806a32", "calldata_variants": [ "0x14806a32", "0x14806a320000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x1c091a5f", "selector": "0x1c091a5f", "calldata_variants": [ "0x1c091a5f", "0x1c091a5f0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x1f747458", "selector": "0x1f747458", "calldata_variants": [ "0x1f747458", "0x1f7474580000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x27d7874c", "selector": "0x27d7874c", "calldata_variants": [ "0x27d7874c", "0x27d7874c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x2ba73c15", "selector": "0x2ba73c15", "calldata_variants": [ "0x2ba73c15", "0x2ba73c150000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 3385, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 4383, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 4931, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 6, "guards_detected": [] }
Severity