Analysis Run

019b477e-cc17-7337-ae50-a5b8c73ed717
complete
Chain ID
1
Address
0x8ea90ef07f37c77137453c7a1b72b7886d51ecfb
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
26805	artifact.fetch	complete	1 / 3	3 months ago
26806	tool.cast_disasm	complete	1 / 3	3 months ago
112382	analysis.bundle	complete	1 / 3	1 week ago
112383	capability.graph	complete	1 / 3	1 week ago
112384	detector.run	complete	1 / 3	1 week ago
112385	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)
9
EXT*/BALANCE
7
Total opcodes
5614
Flags
heavy_ext_balance_usage
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x0234
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x7cd2bffc
00000019: GT
0000001a: PUSH2 0x0138
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xa80ad651
00000024: GT
00000025: PUSH2 0x00b0
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xc76449e8
0000002f: GT
00000030: PUSH2 0x007f
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xdf4ee24f
0000003a: GT
0000003b: PUSH2 0x0064
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xdf4ee24f
00000045: EQ
00000046: PUSH2 0x06b8
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xf2fde38b
00000050: EQ
00000051: PUSH2 0x06f8
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xf667526a
0000005b: EQ
0000005c: PUSH2 0x0718
0000005f: JUMPI
00000060: PUSH1 0x00
00000062: DUP1
00000063: REVERT
00000064: JUMPDEST
00000065: DUP1
00000066: PUSH4 0xc76449e8
0000006b: EQ
0000006c: PUSH2 0x0669
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0xda1a5060
00000076: EQ
00000077: PUSH2 0x0680
0000007a: JUMPI
0000007b: PUSH1 0x00
0000007d: DUP1
0000007e: REVERT
0000007f: JUMPDEST
00000080: DUP1
00000081: PUSH4 0xa80ad651
00000086: EQ
00000087: PUSH2 0x05c8
0000008a: JUMPI
0000008b: DUP1
0000008c: PUSH4 0xad64ffdc
00000091: EQ
00000092: PUSH2 0x05fc
00000095: JUMPI
00000096: DUP1
00000097: PUSH4 0xba870fff
0000009c: EQ
0000009d: PUSH2 0x061c
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0xc53c2677
000000a7: EQ
000000a8: PUSH2 0x0649
000000ab: JUMPI
000000ac: PUSH1 0x00
000000ae: DUP1
000000af: REVERT
000000b0: JUMPDEST
000000b1: DUP1
000000b2: PUSH4 0x8f4e00ad
000000b7: GT
000000b8: PUSH2 0x0107
000000bb: JUMPI
000000bc: DUP1
000000bd: PUSH4 0x9d4323be
000000c2: GT
000000c3: PUSH2 0x00ec
000000c6: JUMPI
000000c7: DUP1
000000c8: PUSH4 0x9d4323be
000000cd: EQ
000000ce: PUSH2 0x0565
000000d1: JUMPI
000000d2: DUP1
000000d3: PUSH4 0xa1a227fa
000000d8: EQ
000000d9: PUSH2 0x0585
000000dc: JUMPI
000000dd: DUP1
000000de: PUSH4 0xa40661bc
000000e3: EQ
000000e4: PUSH2 0x05b2
000000e7: JUMPI
000000e8: PUSH1 0x00
000000ea: DUP1
000000eb: REVERT
000000ec: JUMPDEST
000000ed: DUP1
000000ee: PUSH4 0x8f4e00ad
000000f3: EQ
000000f4: PUSH2 0x0532
000000f7: JUMPI
000000f8: DUP1
000000f9: PUSH4 0x9c649fdf
000000fe: EQ
000000ff: PUSH2 0x0552
00000102: JUMPI
00000103: PUSH1 0x00
00000105: DUP1
00000106: REVERT
00000107: JUMPDEST
00000108: DUP1
00000109: PUSH4 0x7cd2bffc
0000010e: EQ
0000010f: PUSH2 0x0471
00000112: JUMPI
00000113: DUP1
00000114: PUSH4 0x8170e90f
00000119: EQ
0000011a: PUSH2 0x04db
0000011d: JUMPI
0000011e: DUP1
0000011f: PUSH4 0x8916d1c1
00000124: EQ
00000125: PUSH2 0x04f1
00000128: JUMPI
00000129: DUP1
0000012a: PUSH4 0x8da5cb5b
0000012f: EQ
00000130: PUSH2 0x0507
00000133: JUMPI
00000134: PUSH1 0x00
00000136: DUP1
00000137: REVERT
00000138: JUMPDEST
00000139: DUP1
0000013a: PUSH4 0x3ea281d3
0000013f: GT
00000140: PUSH2 0x01cb
00000143: JUMPI
00000144: DUP1
00000145: PUSH4 0x55388023
0000014a: GT
0000014b: PUSH2 0x019a
0000014e: JUMPI
0000014f: DUP1
00000150: PUSH4 0x6625e767
00000155: GT
00000156: PUSH2 0x017f
00000159: JUMPI
0000015a: DUP1
0000015b: PUSH4 0x6625e767
00000160: EQ
00000161: PUSH2 0x0484
00000164: JUMPI
00000165: DUP1
00000166: PUSH4 0x6817031b
0000016b: EQ
0000016c: PUSH2 0x049b
0000016f: JUMPI
00000170: DUP1
00000171: PUSH4 0x718da7ee
00000176: EQ
00000177: PUSH2 0x04bb
0000017a: JUMPI
0000017b: PUSH1 0x00
0000017d: DUP1
0000017e: REVERT
0000017f: JUMPDEST
00000180: DUP1
00000181: PUSH4 0x55388023
00000186: EQ
00000187: PUSH2 0x042e
0000018a: JUMPI
0000018b: DUP1
0000018c: PUSH4 0x5ab7afc6
00000191: EQ
00000192: PUSH2 0x0471
00000195: JUMPI
00000196: PUSH1 0x00
00000198: DUP1
00000199: REVERT
0000019a: JUMPDEST
0000019b: DUP1
0000019c: PUSH4 0x3ea281d3
000001a1: EQ
000001a2: PUSH2 0x0373
000001a5: JUMPI
000001a6: DUP1
000001a7: PUSH4 0x4e1b0436
000001ac: EQ
000001ad: PUSH2 0x0393
000001b0: JUMPI
000001b1: DUP1
000001b2: PUSH4 0x502e1a16
000001b7: EQ
000001b8: PUSH2 0x03b3
000001bb: JUMPI
000001bc: DUP1
000001bd: PUSH4 0x547cad12
000001c2: EQ
000001c3: PUSH2 0x040e
000001c6: JUMPI
000001c7: PUSH1 0x00
000001c9: DUP1
000001ca: REVERT
000001cb: JUMPDEST
000001cc: DUP1
000001cd: PUSH4 0x1f967cb3
000001d2: GT
000001d3: PUSH2 0x0207
000001d6: JUMPI
000001d7: DUP1
000001d8: PUSH4 0x1f967cb3
000001dd: EQ
000001de: PUSH2 0x02fa
000001e1: JUMPI
000001e2: DUP1
000001e3: PUSH4 0x2bff7a3e
000001e8: EQ
000001e9: PUSH2 0x030d
000001ec: JUMPI
000001ed: DUP1
000001ee: PUSH4 0x2d2c44f2
000001f3: EQ
000001f4: PUSH2 0x032d
000001f7: JUMPI
000001f8: DUP1
000001f9: PUSH4 0x3a01b964
000001fe: EQ
000001ff: PUSH2 0x035a
00000202: JUMPI
00000203: PUSH1 0x00
00000205: DUP1
00000206: REVERT
00000207: JUMPDEST
00000208: DUP1
00000209: PUSH4 0x0bcb4982
0000020e: EQ
0000020f: PUSH2 0x0239
00000212: JUMPI
00000213: DUP1
00000214: PUSH4 0x10655ad1
00000219: EQ
0000021a: PUSH2 0x0262
0000021d: JUMPI
0000021e: DUP1
0000021f: PUSH4 0x15584e64
00000224: EQ
00000225: PUSH2 0x02b4
00000228: JUMPI
00000229: DUP1
0000022a: PUSH4 0x1b784a47
0000022f: EQ
00000230: PUSH2 0x02d8
00000233: JUMPI
00000234: JUMPDEST
00000235: PUSH1 0x00
00000237: DUP1
00000238: REVERT
00000239: JUMPDEST
0000023a: PUSH2 0x024c
0000023d: PUSH2 0x0247
00000240: CALLDATASIZE
00000241: PUSH1 0x04
00000243: PUSH2 0x2a1d
00000246: JUMP
00000247: JUMPDEST
00000248: PUSH2 0x0738
0000024b: JUMP
0000024c: JUMPDEST
0000024d: PUSH1 0x40
0000024f: MLOAD
00000250: PUSH2 0x0259
00000253: SWAP2
00000254: SWAP1
00000255: PUSH2 0x2acb
00000258: JUMP
00000259: JUMPDEST
0000025a: PUSH1 0x40
0000025c: MLOAD
0000025d: DUP1
0000025e: SWAP2
0000025f: SUB
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: PUSH1 0x03
00000272: SLOAD
00000273: PUSH2 0x028f
00000276: SWAP1
00000277: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000028c: AND
0000028d: DUP2
0000028e: JUMP
0000028f: JUMPDEST
00000290: PUSH1 0x40
00000292: MLOAD
00000293: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000002a8: SWAP1
000002a9: SWAP2
000002aa: AND
000002ab: DUP2
000002ac: MSTORE
000002ad: PUSH1 0x20
000002af: ADD
000002b0: PUSH2 0x0259
000002b3: JUMP
000002b4: JUMPDEST
000002b5: CALLVALUE
000002b6: DUP1
000002b7: ISZERO
000002b8: PUSH2 0x02c0
000002bb: JUMPI
000002bc: PUSH1 0x00
000002be: DUP1
000002bf: REVERT
000002c0: JUMPDEST
000002c1: POP
000002c2: PUSH2 0x02ca
000002c5: PUSH1 0x04
000002c7: SLOAD
000002c8: DUP2
000002c9: JUMP
000002ca: JUMPDEST
000002cb: PUSH1 0x40
000002cd: MLOAD
000002ce: SWAP1
000002cf: DUP2
000002d0: MSTORE
000002d1: PUSH1 0x20
000002d3: ADD
000002d4: PUSH2 0x0259
000002d7: JUMP
000002d8: JUMPDEST
000002d9: CALLVALUE
000002da: DUP1
000002db: ISZERO
000002dc: PUSH2 0x02e4
000002df: JUMPI
000002e0: PUSH1 0x00
000002e2: DUP1
000002e3: REVERT
000002e4: JUMPDEST
000002e5: POP
000002e6: PUSH2 0x02f8
000002e9: PUSH2 0x02f3
000002ec: CALLDATASIZE
000002ed: PUSH1 0x04
000002ef: PUSH2 0x2aeb
000002f2: JUMP
000002f3: JUMPDEST
000002f4: PUSH2 0x07ca
000002f7: JUMP
000002f8: JUMPDEST
000002f9: STOP
000002fa: JUMPDEST
000002fb: PUSH2 0x02f8
000002fe: PUSH2 0x0308
00000301: CALLDATASIZE
00000302: PUSH1 0x04
00000304: PUSH2 0x2b20
00000307: JUMP
00000308: JUMPDEST
00000309: PUSH2 0x0aaa
0000030c: JUMP
0000030d: JUMPDEST
0000030e: CALLVALUE
0000030f: DUP1
00000310: ISZERO
00000311: PUSH2 0x0319
00000314: JUMPI
00000315: PUSH1 0x00
00000317: DUP1
00000318: REVERT
00000319: JUMPDEST
0000031a: POP
0000031b: PUSH2 0x02ca
0000031e: PUSH2 0x0328
00000321: CALLDATASIZE
00000322: PUSH1 0x04
00000324: PUSH2 0x2b71
00000327: JUMP
00000328: JUMPDEST
00000329: PUSH2 0x0fea
0000032c: JUMP
0000032d: JUMPDEST
0000032e: CALLVALUE
0000032f: DUP1
00000330: ISZERO
00000331: PUSH2 0x0339
00000334: JUMPI
00000335: PUSH1 0x00
00000337: DUP1
00000338: REVERT
00000339: JUMPDEST
0000033a: POP
0000033b: PUSH1 0x02
0000033d: SLOAD
0000033e: PUSH2 0x028f
00000341: SWAP1
00000342: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000357: AND
00000358: DUP2
00000359: JUMP
0000035a: JUMPDEST
0000035b: CALLVALUE
0000035c: DUP1
0000035d: ISZERO
0000035e: PUSH2 0x0366
00000361: JUMPI
00000362: PUSH1 0x00
00000364: DUP1
00000365: REVERT
00000366: JUMPDEST
00000367: POP
00000368: PUSH2 0x02ca
0000036b: PUSH5 0xe8d4a51000
00000371: DUP2
00000372: JUMP
00000373: JUMPDEST
00000374: CALLVALUE
00000375: DUP1
00000376: ISZERO
00000377: PUSH2 0x037f
0000037a: JUMPI
0000037b: PUSH1 0x00
0000037d: DUP1
0000037e: REVERT
0000037f: JUMPDEST
00000380: POP
00000381: PUSH2 0x02f8
00000384: PUSH2 0x038e
00000387: CALLDATASIZE
00000388: PUSH1 0x04
0000038a: PUSH2 0x2bb6
0000038d: JUMP
0000038e: JUMPDEST
0000038f: PUSH2 0x10bc
00000392: JUMP
00000393: JUMPDEST
00000394: CALLVALUE
00000395: DUP1
00000396: ISZERO
00000397: PUSH2 0x039f
0000039a: JUMPI
0000039b: PUSH1 0x00
0000039d: DUP1
0000039e: REVERT
0000039f: JUMPDEST
000003a0: POP
000003a1: PUSH2 0x02f8
000003a4: PUSH2 0x03ae
000003a7: CALLDATASIZE
000003a8: PUSH1 0x04
000003aa: PUSH2 0x2bcf
000003ad: JUMP
000003ae: JUMPDEST
000003af: PUSH2 0x1195
000003b2: JUMP
000003b3: JUMPDEST
000003b4: CALLVALUE
000003b5: DUP1
000003b6: ISZERO
000003b7: PUSH2 0x03bf
000003ba: JUMPI
000003bb: PUSH1 0x00
000003bd: DUP1
000003be: REVERT
000003bf: JUMPDEST
000003c0: POP
000003c1: PUSH2 0x03f5
000003c4: PUSH2 0x03ce
000003c7: CALLDATASIZE
000003c8: PUSH1 0x04
000003ca: PUSH2 0x2bfb
000003cd: JUMP
000003ce: JUMPDEST
000003cf: PUSH1 0x09
000003d1: PUSH1 0x20
000003d3: SWAP1
000003d4: DUP2
000003d5: MSTORE
000003d6: PUSH1 0x00
000003d8: SWAP3
000003d9: DUP4
000003da: MSTORE
000003db: PUSH1 0x40
000003dd: DUP1
000003de: DUP5
000003df: KECCAK256
000003e0: SWAP1
000003e1: SWAP2
000003e2: MSTORE
000003e3: SWAP1
000003e4: DUP3
000003e5: MSTORE
000003e6: SWAP1
000003e7: KECCAK256
000003e8: SLOAD
000003e9: PUSH8 0xffffffffffffffff
000003f2: AND
000003f3: DUP2
000003f4: JUMP
000003f5: JUMPDEST
000003f6: PUSH1 0x40
000003f8: MLOAD
000003f9: PUSH8 0xffffffffffffffff
00000402: SWAP1
00000403: SWAP2
00000404: AND
00000405: DUP2
00000406: MSTORE
00000407: PUSH1 0x20
00000409: ADD
0000040a: PUSH2 0x0259
0000040d: JUMP
0000040e: JUMPDEST
0000040f: CALLVALUE
00000410: DUP1
00000411: ISZERO
00000412: PUSH2 0x041a
00000415: JUMPI
00000416: PUSH1 0x00
00000418: DUP1
00000419: REVERT
0000041a: JUMPDEST
0000041b: POP
0000041c: PUSH2 0x02f8
0000041f: PUSH2 0x0429
00000422: CALLDATASIZE
00000423: PUSH1 0x04
00000425: PUSH2 0x2c17
00000428: JUMP
00000429: JUMPDEST
0000042a: PUSH2 0x132c
0000042d: JUMP
0000042e: JUMPDEST
0000042f: CALLVALUE
00000430: DUP1
00000431: ISZERO
00000432: PUSH2 0x043a
00000435: JUMPI
00000436: PUSH1 0x00
00000438: DUP1
00000439: REVERT
0000043a: JUMPDEST
0000043b: POP
0000043c: PUSH2 0x028f
0000043f: PUSH2 0x0449
00000442: CALLDATASIZE
00000443: PUSH1 0x04
00000445: PUSH2 0x2c32
00000448: JUMP
00000449: JUMPDEST
0000044a: PUSH1 0x07
0000044c: PUSH1 0x20
0000044e: MSTORE
0000044f: PUSH1 0x00
00000451: SWAP1
00000452: DUP2
00000453: MSTORE
00000454: PUSH1 0x40
00000456: SWAP1
00000457: KECCAK256
00000458: SLOAD
00000459: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000046e: AND
0000046f: DUP2
00000470: JUMP
00000471: JUMPDEST
00000472: PUSH2 0x024c
00000475: PUSH2 0x047f
00000478: CALLDATASIZE
00000479: PUSH1 0x04
0000047b: PUSH2 0x2c67
0000047e: JUMP
0000047f: JUMPDEST
00000480: PUSH2 0x143c
00000483: JUMP
00000484: JUMPDEST
00000485: CALLVALUE
00000486: DUP1
00000487: ISZERO
00000488: PUSH2 0x0490
0000048b: JUMPI
0000048c: PUSH1 0x00
0000048e: DUP1
0000048f: REVERT
00000490: JUMPDEST
00000491: POP
00000492: PUSH2 0x02ca
00000495: PUSH3 0x0f4240
00000499: DUP2
0000049a: JUMP
0000049b: JUMPDEST
0000049c: CALLVALUE
0000049d: DUP1
0000049e: ISZERO
0000049f: PUSH2 0x04a7
000004a2: JUMPI
000004a3: PUSH1 0x00
000004a5: DUP1
000004a6: REVERT
000004a7: JUMPDEST
000004a8: POP
000004a9: PUSH2 0x02f8
000004ac: PUSH2 0x04b6
000004af: CALLDATASIZE
000004b0: PUSH1 0x04
000004b2: PUSH2 0x2c17
000004b5: JUMP
000004b6: JUMPDEST
000004b7: PUSH2 0x14cb
000004ba: JUMP
000004bb: JUMPDEST
000004bc: CALLVALUE
000004bd: DUP1
000004be: ISZERO
000004bf: PUSH2 0x04c7
000004c2: JUMPI
000004c3: PUSH1 0x00
000004c5: DUP1
000004c6: REVERT
000004c7: JUMPDEST
000004c8: POP
000004c9: PUSH2 0x02f8
000004cc: PUSH2 0x04d6
000004cf: CALLDATASIZE
000004d0: PUSH1 0x04
000004d2: PUSH2 0x2c17
000004d5: JUMP
000004d6: JUMPDEST
000004d7: PUSH2 0x16fd
000004da: JUMP
000004db: JUMPDEST
000004dc: CALLVALUE
000004dd: DUP1
000004de: ISZERO
000004df: PUSH2 0x04e7
000004e2: JUMPI
000004e3: PUSH1 0x00
000004e5: DUP1
000004e6: REVERT
000004e7: JUMPDEST
000004e8: POP
000004e9: PUSH2 0x02ca
000004ec: PUSH1 0x05
000004ee: SLOAD
000004ef: DUP2
000004f0: JUMP
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 0x02ca
00000502: PUSH2 0x2710
00000505: DUP2
00000506: JUMP
00000507: JUMPDEST
00000508: CALLVALUE
00000509: DUP1
0000050a: ISZERO
0000050b: PUSH2 0x0513
0000050e: JUMPI
0000050f: PUSH1 0x00
00000511: DUP1
00000512: REVERT
00000513: JUMPDEST
00000514: POP
00000515: PUSH1 0x00
00000517: SLOAD
00000518: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000052d: AND
0000052e: PUSH2 0x028f
00000531: JUMP
00000532: JUMPDEST
00000533: CALLVALUE
00000534: DUP1
00000535: ISZERO
00000536: PUSH2 0x053e
00000539: JUMPI
0000053a: PUSH1 0x00
0000053c: DUP1
0000053d: REVERT
0000053e: JUMPDEST
0000053f: POP
00000540: PUSH2 0x02f8
00000543: PUSH2 0x054d
00000546: CALLDATASIZE
00000547: PUSH1 0x04
00000549: PUSH2 0x2bb6
0000054c: JUMP
0000054d: JUMPDEST
0000054e: PUSH2 0x1930
00000551: JUMP
00000552: JUMPDEST
00000553: PUSH2 0x024c
00000556: PUSH2 0x0560
00000559: CALLDATASIZE
0000055a: PUSH1 0x04
0000055c: PUSH2 0x2cf7
0000055f: JUMP
00000560: JUMPDEST
00000561: PUSH2 0x1a92
00000564: JUMP
00000565: JUMPDEST
00000566: CALLVALUE
00000567: DUP1
00000568: ISZERO
00000569: PUSH2 0x0571
0000056c: JUMPI
0000056d: PUSH1 0x00
0000056f: DUP1
00000570: REVERT
00000571: JUMPDEST
00000572: POP
00000573: PUSH2 0x02f8
00000576: PUSH2 0x0580
00000579: CALLDATASIZE
0000057a: PUSH1 0x04
0000057c: PUSH2 0x2bfb
0000057f: JUMP
00000580: JUMPDEST
00000581: PUSH2 0x1df0
00000584: JUMP
00000585: JUMPDEST
00000586: CALLVALUE
00000587: DUP1
00000588: ISZERO
00000589: PUSH2 0x0591
0000058c: JUMPI
0000058d: PUSH1 0x00
0000058f: DUP1
00000590: REVERT
00000591: JUMPDEST
00000592: POP
00000593: PUSH1 0x01
00000595: SLOAD
00000596: PUSH2 0x028f
00000599: SWAP1
0000059a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005af: AND
000005b0: DUP2
000005b1: JUMP
000005b2: JUMPDEST
000005b3: CALLVALUE
000005b4: DUP1
000005b5: ISZERO
000005b6: PUSH2 0x05be
000005b9: JUMPI
000005ba: PUSH1 0x00
000005bc: DUP1
000005bd: REVERT
000005be: JUMPDEST
000005bf: POP
000005c0: PUSH2 0x02ca
000005c3: PUSH1 0x06
000005c5: SLOAD
000005c6: DUP2
000005c7: JUMP
000005c8: JUMPDEST
000005c9: CALLVALUE
000005ca: DUP1
000005cb: ISZERO
000005cc: PUSH2 0x05d4
000005cf: JUMPI
000005d0: PUSH1 0x00
000005d2: DUP1
000005d3: REVERT
000005d4: JUMPDEST
000005d5: POP
000005d6: PUSH2 0x03f5
000005d9: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000038
000005fa: DUP2
000005fb: JUMP
000005fc: JUMPDEST
000005fd: CALLVALUE
000005fe: DUP1
000005ff: ISZERO
00000600: PUSH2 0x0608
00000603: JUMPI
00000604: PUSH1 0x00
00000606: DUP1
00000607: REVERT
00000608: JUMPDEST
00000609: POP
0000060a: PUSH2 0x02f8
0000060d: PUSH2 0x0617
00000610: CALLDATASIZE
00000611: PUSH1 0x04
00000613: PUSH2 0x2d42
00000616: JUMP
00000617: JUMPDEST
00000618: PUSH2 0x1eb2
0000061b: JUMP
0000061c: JUMPDEST
0000061d: CALLVALUE
0000061e: DUP1
0000061f: ISZERO
00000620: PUSH2 0x0628
00000623: JUMPI
00000624: PUSH1 0x00
00000626: DUP1
00000627: REVERT
00000628: JUMPDEST
00000629: POP
0000062a: PUSH2 0x02ca
0000062d: PUSH2 0x0637
00000630: CALLDATASIZE
00000631: PUSH1 0x04
00000633: PUSH2 0x2c32
00000636: JUMP
00000637: JUMPDEST
00000638: PUSH1 0x08
0000063a: PUSH1 0x20
0000063c: MSTORE
0000063d: PUSH1 0x00
0000063f: SWAP1
00000640: DUP2
00000641: MSTORE
00000642: PUSH1 0x40
00000644: SWAP1
00000645: KECCAK256
00000646: SLOAD
00000647: DUP2
00000648: JUMP
00000649: JUMPDEST
0000064a: CALLVALUE
0000064b: DUP1
0000064c: ISZERO
0000064d: PUSH2 0x0655
00000650: JUMPI
00000651: PUSH1 0x00
00000653: DUP1
00000654: REVERT
00000655: JUMPDEST
00000656: POP
00000657: PUSH2 0x02f8
0000065a: PUSH2 0x0664
0000065d: CALLDATASIZE
0000065e: PUSH1 0x04
00000660: PUSH2 0x2bb6
00000663: JUMP
00000664: JUMPDEST
00000665: PUSH2 0x2066
00000668: JUMP
00000669: JUMPDEST
0000066a: CALLVALUE
0000066b: DUP1
0000066c: ISZERO
0000066d: PUSH2 0x0675
00000670: JUMPI
00000671: PUSH1 0x00
00000673: DUP1
00000674: REVERT
00000675: JUMPDEST
00000676: POP
00000677: PUSH2 0x02ca
0000067a: PUSH3 0x0186a0
0000067e: DUP2
0000067f: JUMP
00000680: JUMPDEST
00000681: CALLVALUE
00000682: DUP1
00000683: ISZERO
00000684: PUSH2 0x068c
00000687: JUMPI
00000688: PUSH1 0x00
0000068a: DUP1
0000068b: REVERT
0000068c: JUMPDEST
0000068d: POP
0000068e: PUSH2 0x02ca
00000691: PUSH2 0x069b
00000694: CALLDATASIZE
00000695: PUSH1 0x04
00000697: PUSH2 0x2d80
0000069a: JUMP
0000069b: JUMPDEST
0000069c: PUSH1 0x0b
0000069e: PUSH1 0x20
000006a0: SWAP1
000006a1: DUP2
000006a2: MSTORE
000006a3: PUSH1 0x00
000006a5: SWAP3
000006a6: DUP4
000006a7: MSTORE
000006a8: PUSH1 0x40
000006aa: DUP1
000006ab: DUP5
000006ac: KECCAK256
000006ad: SWAP1
000006ae: SWAP2
000006af: MSTORE
000006b0: SWAP1
000006b1: DUP3
000006b2: MSTORE
000006b3: SWAP1
000006b4: KECCAK256
000006b5: SLOAD
000006b6: DUP2
000006b7: JUMP
000006b8: JUMPDEST
000006b9: CALLVALUE
000006ba: DUP1
000006bb: ISZERO
000006bc: PUSH2 0x06c4
000006bf: JUMPI
000006c0: PUSH1 0x00
000006c2: DUP1
000006c3: REVERT
000006c4: JUMPDEST
000006c5: POP
000006c6: PUSH2 0x06e8
000006c9: PUSH2 0x06d3
000006cc: CALLDATASIZE
000006cd: PUSH1 0x04
000006cf: PUSH2 0x2c17
000006d2: JUMP
000006d3: JUMPDEST
000006d4: PUSH1 0x0a
000006d6: PUSH1 0x20
000006d8: MSTORE
000006d9: PUSH1 0x00
000006db: SWAP1
000006dc: DUP2
000006dd: MSTORE
000006de: PUSH1 0x40
000006e0: SWAP1
000006e1: KECCAK256
000006e2: SLOAD
000006e3: PUSH1 0xff
000006e5: AND
000006e6: DUP2
000006e7: JUMP
000006e8: JUMPDEST
000006e9: PUSH1 0x40
000006eb: MLOAD
000006ec: SWAP1
000006ed: ISZERO
000006ee: ISZERO
000006ef: DUP2
000006f0: MSTORE
000006f1: PUSH1 0x20
000006f3: ADD
000006f4: PUSH2 0x0259
000006f7: JUMP
000006f8: JUMPDEST
000006f9: CALLVALUE
000006fa: DUP1
000006fb: ISZERO
000006fc: PUSH2 0x0704
000006ff: JUMPI
00000700: PUSH1 0x00
00000702: DUP1
00000703: REVERT
00000704: JUMPDEST
00000705: POP
00000706: PUSH2 0x02f8
00000709: PUSH2 0x0713
0000070c: CALLDATASIZE
0000070d: PUSH1 0x04
0000070f: PUSH2 0x2c17
00000712: JUMP
00000713: JUMPDEST
00000714: PUSH2 0x21b3
00000717: JUMP
00000718: JUMPDEST
00000719: CALLVALUE
0000071a: DUP1
0000071b: ISZERO
0000071c: PUSH2 0x0724
0000071f: JUMPI
00000720: PUSH1 0x00
00000722: DUP1
00000723: REVERT
00000724: JUMPDEST
00000725: POP
00000726: PUSH2 0x02f8
00000729: PUSH2 0x0733
0000072c: CALLDATASIZE
0000072d: PUSH1 0x04
0000072f: PUSH2 0x2bb6
00000732: JUMP
00000733: JUMPDEST
00000734: PUSH2 0x22ff
00000737: JUMP
00000738: JUMPDEST
00000739: PUSH1 0x01
0000073b: SLOAD
0000073c: PUSH1 0x00
0000073e: SWAP1
0000073f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000754: AND
00000755: CALLER
00000756: EQ
00000757: PUSH2 0x07c1
0000075a: JUMPI
0000075b: PUSH1 0x40
0000075d: MLOAD
0000075e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000077f: DUP2
00000780: MSTORE
00000781: PUSH1 0x20
00000783: PUSH1 0x04
00000785: DUP3
00000786: ADD
00000787: MSTORE
00000788: PUSH1 0x19
0000078a: PUSH1 0x24
0000078c: DUP3
0000078d: ADD
0000078e: MSTORE
0000078f: PUSH32 0x63616c6c6572206973206e6f74206d6573736167652062757300000000000000
000007b0: PUSH1 0x44
000007b2: DUP3
000007b3: ADD
000007b4: MSTORE
000007b5: PUSH1 0x64
000007b7: ADD
000007b8: JUMPDEST
000007b9: PUSH1 0x40
000007bb: MLOAD
000007bc: DUP1
000007bd: SWAP2
000007be: SUB
000007bf: SWAP1
000007c0: REVERT
000007c1: JUMPDEST
000007c2: SWAP6
000007c3: SWAP5
000007c4: POP
000007c5: POP
000007c6: POP
000007c7: POP
000007c8: POP
000007c9: JUMP
000007ca: JUMPDEST
000007cb: CALLER
000007cc: PUSH2 0x07ea
000007cf: PUSH1 0x00
000007d1: SLOAD
000007d2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007e7: AND
000007e8: SWAP1
000007e9: JUMP
000007ea: JUMPDEST
000007eb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000800: AND
00000801: EQ
00000802: PUSH2 0x0867
00000805: JUMPI
00000806: PUSH1 0x40
00000808: MLOAD
00000809: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000082a: DUP2
0000082b: MSTORE
0000082c: PUSH1 0x20
0000082e: PUSH1 0x04
00000830: DUP3
00000831: ADD
00000832: DUP2
00000833: SWAP1
00000834: MSTORE
00000835: PUSH1 0x24
00000837: DUP3
00000838: ADD
00000839: MSTORE
0000083a: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
0000085b: PUSH1 0x44
0000085d: DUP3
0000085e: ADD
0000085f: MSTORE
00000860: PUSH1 0x64
00000862: ADD
00000863: PUSH2 0x07b8
00000866: JUMP
00000867: JUMPDEST
00000868: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000087d: DUP2
0000087e: AND
0000087f: PUSH2 0x090a
00000882: JUMPI
00000883: PUSH1 0x40
00000885: MLOAD
00000886: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000008a7: DUP2
000008a8: MSTORE
000008a9: PUSH1 0x20
000008ab: PUSH1 0x04
000008ad: DUP3
000008ae: ADD
000008af: MSTORE
000008b0: PUSH1 0x21
000008b2: PUSH1 0x24
000008b4: DUP3
000008b5: ADD
000008b6: MSTORE
000008b7: PUSH32 0x4f7261636c6520666565642063616e2774206265207a65726f20616464726573
000008d8: PUSH1 0x44
000008da: DUP3
000008db: ADD
000008dc: MSTORE
000008dd: PUSH32 0x7300000000000000000000000000000000000000000000000000000000000000
000008fe: PUSH1 0x64
00000900: DUP3
00000901: ADD
00000902: MSTORE
00000903: PUSH1 0x84
00000905: ADD
00000906: PUSH2 0x07b8
00000909: JUMP
0000090a: JUMPDEST
0000090b: DUP1
0000090c: PUSH1 0x07
0000090e: PUSH1 0x00
00000910: DUP5
00000911: PUSH1 0x01
00000913: DUP2
00000914: GT
00000915: ISZERO
00000916: PUSH2 0x0921
00000919: JUMPI
0000091a: PUSH2 0x0921
0000091d: PUSH2 0x2a8c
00000920: JUMP
00000921: JUMPDEST
00000922: PUSH1 0x01
00000924: DUP2
00000925: GT
00000926: ISZERO
00000927: PUSH2 0x0932
0000092a: JUMPI
0000092b: PUSH2 0x0932
0000092e: PUSH2 0x2a8c
00000931: JUMP
00000932: JUMPDEST
00000933: DUP2
00000934: MSTORE
00000935: PUSH1 0x20
00000937: ADD
00000938: SWAP1
00000939: DUP2
0000093a: MSTORE
0000093b: PUSH1 0x20
0000093d: ADD
0000093e: PUSH1 0x00
00000940: KECCAK256
00000941: PUSH1 0x00
00000943: PUSH2 0x0100
00000946: EXP
00000947: DUP2
00000948: SLOAD
00000949: DUP2
0000094a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000095f: MUL
00000960: NOT
00000961: AND
00000962: SWAP1
00000963: DUP4
00000964: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000979: AND
0000097a: MUL
0000097b: OR
0000097c: SWAP1
0000097d: SSTORE
0000097e: POP
0000097f: PUSH1 0x07
00000981: PUSH1 0x00
00000983: DUP4
00000984: PUSH1 0x01
00000986: DUP2
00000987: GT
00000988: ISZERO
00000989: PUSH2 0x0994
0000098c: JUMPI
0000098d: PUSH2 0x0994
00000990: PUSH2 0x2a8c
00000993: JUMP
00000994: JUMPDEST
00000995: PUSH1 0x01
00000997: DUP2
00000998: GT
00000999: ISZERO
0000099a: PUSH2 0x09a5
0000099d: JUMPI
0000099e: PUSH2 0x09a5
000009a1: PUSH2 0x2a8c
000009a4: JUMP
000009a5: JUMPDEST
000009a6: DUP2
000009a7: MSTORE
000009a8: PUSH1 0x20
000009aa: ADD
000009ab: SWAP1
000009ac: DUP2
000009ad: MSTORE
000009ae: PUSH1 0x20
000009b0: ADD
000009b1: PUSH1 0x00
000009b3: KECCAK256
000009b4: PUSH1 0x00
000009b6: SWAP1
000009b7: SLOAD
000009b8: SWAP1
000009b9: PUSH2 0x0100
000009bc: EXP
000009bd: SWAP1
000009be: DIV
000009bf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009d4: AND
000009d5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009ea: AND
000009eb: PUSH4 0xfeaf968c
000009f0: PUSH1 0x40
000009f2: MLOAD
000009f3: DUP2
000009f4: PUSH4 0xffffffff
000009f9: AND
000009fa: PUSH1 0xe0
000009fc: SHL
000009fd: DUP2
000009fe: MSTORE
000009ff: PUSH1 0x04
00000a01: ADD
00000a02: PUSH1 0xa0
00000a04: PUSH1 0x40
00000a06: MLOAD
00000a07: DUP1
00000a08: DUP4
00000a09: SUB
00000a0a: DUP2
00000a0b: DUP7
00000a0c: DUP1
00000a0d: EXTCODESIZE
00000a0e: ISZERO
00000a0f: DUP1
00000a10: ISZERO
00000a11: PUSH2 0x0a19
00000a14: JUMPI
00000a15: PUSH1 0x00
00000a17: DUP1
00000a18: REVERT
00000a19: JUMPDEST
00000a1a: POP
00000a1b: GAS
00000a1c: STATICCALL
00000a1d: ISZERO
00000a1e: DUP1
00000a1f: ISZERO
00000a20: PUSH2 0x0a2d
00000a23: JUMPI
00000a24: RETURNDATASIZE
00000a25: PUSH1 0x00
00000a27: DUP1
00000a28: RETURNDATACOPY
00000a29: RETURNDATASIZE
00000a2a: PUSH1 0x00
00000a2c: REVERT
00000a2d: JUMPDEST
00000a2e: POP
00000a2f: POP
00000a30: POP
00000a31: POP
00000a32: PUSH1 0x40
00000a34: MLOAD
00000a35: RETURNDATASIZE
00000a36: PUSH1 0x1f
00000a38: NOT
00000a39: PUSH1 0x1f
00000a3b: DUP3
00000a3c: ADD
00000a3d: AND
00000a3e: DUP3
00000a3f: ADD
00000a40: DUP1
00000a41: PUSH1 0x40
00000a43: MSTORE
00000a44: POP
00000a45: DUP2
00000a46: ADD
00000a47: SWAP1
00000a48: PUSH2 0x0a51
00000a4b: SWAP2
00000a4c: SWAP1
00000a4d: PUSH2 0x2dc6
00000a50: JUMP
00000a51: JUMPDEST
00000a52: POP
00000a53: POP
00000a54: PUSH1 0x40
00000a56: MLOAD
00000a57: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a6c: DUP6
00000a6d: AND
00000a6e: DUP2
00000a6f: MSTORE
00000a70: PUSH32 0xb3eacd0e351fafdfefdec84e1cd19679b38dbcd63ea7c2c24da17fd2bc3b3c0e
00000a91: SWAP4
00000a92: POP
00000a93: PUSH1 0x20
00000a95: ADD
00000a96: SWAP2
00000a97: POP
00000a98: PUSH2 0x0a9e
00000a9b: SWAP1
00000a9c: POP
00000a9d: JUMP
00000a9e: JUMPDEST
00000a9f: PUSH1 0x40
00000aa1: MLOAD
00000aa2: DUP1
00000aa3: SWAP2
00000aa4: SUB
00000aa5: SWAP1
00000aa6: LOG1
00000aa7: POP
00000aa8: POP
00000aa9: JUMP
00000aaa: JUMPDEST
00000aab: PUSH1 0x02
00000aad: SLOAD
00000aae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ac3: AND
00000ac4: CALLER
00000ac5: EQ
00000ac6: PUSH2 0x0b2b
00000ac9: JUMPI
00000aca: PUSH1 0x40
00000acc: MLOAD
00000acd: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000aee: DUP2
00000aef: MSTORE
00000af0: PUSH1 0x20
00000af2: PUSH1 0x04
00000af4: DUP3
00000af5: ADD
00000af6: MSTORE
00000af7: PUSH1 0x13
00000af9: PUSH1 0x24
00000afb: DUP3
00000afc: ADD
00000afd: MSTORE
00000afe: PUSH32 0x4f6e6c79207661756c7420636f6e747261637400000000000000000000000000
00000b1f: PUSH1 0x44
00000b21: DUP3
00000b22: ADD
00000b23: MSTORE
00000b24: PUSH1 0x64
00000b26: ADD
00000b27: PUSH2 0x07b8
00000b2a: JUMP
00000b2b: JUMPDEST
00000b2c: PUSH1 0x00
00000b2e: PUSH2 0x0b39
00000b31: DUP3
00000b32: DUP5
00000b33: ADD
00000b34: DUP5
00000b35: PUSH2 0x2e0a
00000b38: JUMP
00000b39: JUMPDEST
00000b3a: SWAP1
00000b3b: POP
00000b3c: PUSH1 0x00
00000b3e: PUSH2 0x0b47
00000b41: PUSH1 0x01
00000b43: PUSH2 0x24b6
00000b46: JUMP
00000b47: JUMPDEST
00000b48: SWAP1
00000b49: POP
00000b4a: PUSH1 0x00
00000b4c: PUSH2 0x0b55
00000b4f: PUSH1 0x00
00000b51: PUSH2 0x24b6
00000b54: JUMP
00000b55: JUMPDEST
00000b56: SWAP1
00000b57: POP
00000b58: PUSH1 0x00
00000b5a: DUP2
00000b5b: SGT
00000b5c: DUP1
00000b5d: ISZERO
00000b5e: PUSH2 0x0b67
00000b61: JUMPI
00000b62: POP
00000b63: PUSH1 0x00
00000b65: DUP3
00000b66: SGT
00000b67: JUMPDEST
00000b68: PUSH2 0x0bcd
00000b6b: JUMPI
00000b6c: PUSH1 0x40
00000b6e: MLOAD
00000b6f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000b90: DUP2
00000b91: MSTORE
00000b92: PUSH1 0x20
00000b94: PUSH1 0x04
00000b96: DUP3
00000b97: ADD
00000b98: MSTORE
00000b99: PUSH1 0x0f
00000b9b: PUSH1 0x24
00000b9d: DUP3
00000b9e: ADD
00000b9f: MSTORE
00000ba0: PUSH32 0x41626e6f726d616c207072696365730000000000000000000000000000000000
00000bc1: PUSH1 0x44
00000bc3: DUP3
00000bc4: ADD
00000bc5: MSTORE
00000bc6: PUSH1 0x64
00000bc8: ADD
00000bc9: PUSH2 0x07b8
00000bcc: JUMP
00000bcd: JUMPDEST
00000bce: PUSH1 0x00
00000bd0: DUP3
00000bd1: PUSH2 0x0bdf
00000bd4: PUSH5 0xe8d4a51000
00000bda: DUP5
00000bdb: PUSH2 0x2f02
00000bde: JUMP
00000bdf: JUMPDEST
00000be0: PUSH2 0x0be9
00000be3: SWAP2
00000be4: SWAP1
00000be5: PUSH2 0x2f3f
00000be8: JUMP
00000be9: JUMPDEST
00000bea: PUSH1 0x01
00000bec: SLOAD
00000bed: PUSH1 0x40
00000bef: MLOAD
00000bf0: PUSH32 0x5335dca200000000000000000000000000000000000000000000000000000000
00000c11: DUP2
00000c12: MSTORE
00000c13: SWAP2
00000c14: SWAP3
00000c15: POP
00000c16: PUSH1 0x00
00000c18: SWAP2
00000c19: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c2e: SWAP1
00000c2f: SWAP2
00000c30: AND
00000c31: SWAP1
00000c32: PUSH4 0x5335dca2
00000c37: SWAP1
00000c38: PUSH2 0x0c47
00000c3b: SWAP1
00000c3c: DUP11
00000c3d: SWAP1
00000c3e: DUP11
00000c3f: SWAP1
00000c40: PUSH1 0x04
00000c42: ADD
00000c43: PUSH2 0x2fc3
00000c46: JUMP
00000c47: JUMPDEST
00000c48: PUSH1 0x20
00000c4a: PUSH1 0x40
00000c4c: MLOAD
00000c4d: DUP1
00000c4e: DUP4
00000c4f: SUB
00000c50: DUP2
00000c51: DUP7
00000c52: DUP1
00000c53: EXTCODESIZE
00000c54: ISZERO
00000c55: DUP1
00000c56: ISZERO
00000c57: PUSH2 0x0c5f
00000c5a: JUMPI
00000c5b: PUSH1 0x00
00000c5d: DUP1
00000c5e: REVERT
00000c5f: JUMPDEST
00000c60: POP
00000c61: GAS
00000c62: STATICCALL
00000c63: ISZERO
00000c64: DUP1
00000c65: ISZERO
00000c66: PUSH2 0x0c73
00000c69: JUMPI
00000c6a: RETURNDATASIZE
00000c6b: PUSH1 0x00
00000c6d: DUP1
00000c6e: RETURNDATACOPY
00000c6f: RETURNDATASIZE
00000c70: PUSH1 0x00
00000c72: REVERT
00000c73: JUMPDEST
00000c74: POP
00000c75: POP
00000c76: POP
00000c77: POP
00000c78: PUSH1 0x40
00000c7a: MLOAD
00000c7b: RETURNDATASIZE
00000c7c: PUSH1 0x1f
00000c7e: NOT
00000c7f: PUSH1 0x1f
00000c81: DUP3
00000c82: ADD
00000c83: AND
00000c84: DUP3
00000c85: ADD
00000c86: DUP1
00000c87: PUSH1 0x40
00000c89: MSTORE
00000c8a: POP
00000c8b: DUP2
00000c8c: ADD
00000c8d: SWAP1
00000c8e: PUSH2 0x0c97
00000c91: SWAP2
00000c92: SWAP1
00000c93: PUSH2 0x2fd7
00000c96: JUMP
00000c97: JUMPDEST
00000c98: SWAP1
00000c99: POP
00000c9a: PUSH1 0x00
00000c9c: PUSH2 0x0cad
00000c9f: PUSH3 0x0186a0
00000ca3: PUSH5 0xe8d4a51000
00000ca9: PUSH2 0x2f02
00000cac: JUMP
00000cad: JUMPDEST
00000cae: PUSH1 0x05
00000cb0: SLOAD
00000cb1: DUP5
00000cb2: PUSH2 0x0cc5
00000cb5: PUSH1 0x01
00000cb7: DUP11
00000cb8: PUSH1 0x60
00000cba: ADD
00000cbb: MLOAD
00000cbc: DUP12
00000cbd: PUSH1 0xc0
00000cbf: ADD
00000cc0: MLOAD
00000cc1: PUSH2 0x0fea
00000cc4: JUMP
00000cc5: JUMPDEST
00000cc6: PUSH2 0x0ccf
00000cc9: SWAP1
00000cca: GASPRICE
00000ccb: PUSH2 0x2f02
00000cce: JUMP
00000ccf: JUMPDEST
00000cd0: PUSH2 0x0cd9
00000cd3: SWAP2
00000cd4: SWAP1
00000cd5: PUSH2 0x2f02
00000cd8: JUMP
00000cd9: JUMPDEST
00000cda: PUSH2 0x0ce3
00000cdd: SWAP2
00000cde: SWAP1
00000cdf: PUSH2 0x2f02
00000ce2: JUMP
00000ce3: JUMPDEST
00000ce4: PUSH2 0x0ced
00000ce7: SWAP2
00000ce8: SWAP1
00000ce9: PUSH2 0x2f3f
00000cec: JUMP
00000ced: JUMPDEST
00000cee: PUSH2 0x0cf7
00000cf1: SWAP1
00000cf2: DUP4
00000cf3: PUSH2 0x2ff0
00000cf6: JUMP
00000cf7: JUMPDEST
00000cf8: PUSH1 0x60
00000cfa: DUP8
00000cfb: ADD
00000cfc: MLOAD
00000cfd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d12: AND
00000d13: PUSH1 0x00
00000d15: SWAP1
00000d16: DUP2
00000d17: MSTORE
00000d18: PUSH1 0x0a
00000d1a: PUSH1 0x20
00000d1c: MSTORE
00000d1d: PUSH1 0x40
00000d1f: SWAP1
00000d20: KECCAK256
00000d21: SLOAD
00000d22: SWAP1
00000d23: SWAP2
00000d24: POP
00000d25: PUSH1 0xff
00000d27: AND
00000d28: PUSH2 0x0da8
00000d2b: JUMPI
00000d2c: PUSH5 0xe8d4a51000
00000d32: DUP4
00000d33: PUSH1 0x06
00000d35: SLOAD
00000d36: PUSH2 0x0d3f
00000d39: SWAP2
00000d3a: SWAP1
00000d3b: PUSH2 0x2f02
00000d3e: JUMP
00000d3f: JUMPDEST
00000d40: PUSH2 0x0d49
00000d43: SWAP2
00000d44: SWAP1
00000d45: PUSH2 0x2f3f
00000d48: JUMP
00000d49: JUMPDEST
00000d4a: PUSH2 0x0d53
00000d4d: SWAP1
00000d4e: DUP3
00000d4f: PUSH2 0x2ff0
00000d52: JUMP
00000d53: JUMPDEST
00000d54: PUSH1 0x60
00000d56: DUP8
00000d57: ADD
00000d58: MLOAD
00000d59: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d6e: AND
00000d6f: PUSH1 0x00
00000d71: SWAP1
00000d72: DUP2
00000d73: MSTORE
00000d74: PUSH1 0x0a
00000d76: PUSH1 0x20
00000d78: MSTORE
00000d79: PUSH1 0x40
00000d7b: SWAP1
00000d7c: KECCAK256
00000d7d: DUP1
00000d7e: SLOAD
00000d7f: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
00000da0: AND
00000da1: PUSH1 0x01
00000da3: OR
00000da4: SWAP1
00000da5: SSTORE
00000da6: SWAP1
00000da7: POP
00000da8: JUMPDEST
00000da9: PUSH1 0x01
00000dab: DUP7
00000dac: PUSH1 0xc0
00000dae: ADD
00000daf: MLOAD
00000db0: PUSH1 0x02
00000db2: DUP2
00000db3: GT
00000db4: ISZERO
00000db5: PUSH2 0x0dc0
00000db8: JUMPI
00000db9: PUSH2 0x0dc0
00000dbc: PUSH2 0x2a8c
00000dbf: JUMP
00000dc0: JUMPDEST
00000dc1: LT
00000dc2: PUSH2 0x0e14
00000dc5: JUMPI
00000dc6: PUSH5 0xe8d4a51000
00000dcc: PUSH2 0x0dd5
00000dcf: DUP5
00000dd0: DUP5
00000dd1: PUSH2 0x2f02
00000dd4: JUMP
00000dd5: JUMPDEST
00000dd6: PUSH2 0x0ddf
00000dd9: SWAP2
00000dda: SWAP1
00000ddb: PUSH2 0x2f3f
00000dde: JUMP
00000ddf: JUMPDEST
00000de0: PUSH2 0x0df3
00000de3: PUSH1 0x00
00000de5: DUP9
00000de6: PUSH1 0x60
00000de8: ADD
00000de9: MLOAD
00000dea: DUP10
00000deb: PUSH1 0xc0
00000ded: ADD
00000dee: MLOAD
00000def: PUSH2 0x0fea
00000df2: JUMP
00000df3: JUMPDEST
00000df4: PUSH2 0x0dfd
00000df7: SWAP1
00000df8: GASPRICE
00000df9: PUSH2 0x2f02
00000dfc: JUMP
00000dfd: JUMPDEST
00000dfe: PUSH2 0x0e07
00000e01: SWAP2
00000e02: SWAP1
00000e03: PUSH2 0x2ff0
00000e06: JUMP
00000e07: JUMPDEST
00000e08: PUSH2 0x0e11
00000e0b: SWAP1
00000e0c: DUP3
00000e0d: PUSH2 0x2ff0
00000e10: JUMP
00000e11: JUMPDEST
00000e12: SWAP1
00000e13: POP
00000e14: JUMPDEST
00000e15: DUP1
00000e16: CALLVALUE
00000e17: LT
00000e18: ISZERO
00000e19: PUSH2 0x0e7e
00000e1c: JUMPI
00000e1d: PUSH1 0x40
00000e1f: MLOAD
00000e20: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000e41: DUP2
00000e42: MSTORE
00000e43: PUSH1 0x20
00000e45: PUSH1 0x04
00000e47: DUP3
00000e48: ADD
00000e49: MSTORE
00000e4a: PUSH1 0x10
00000e4c: PUSH1 0x24
00000e4e: DUP3
00000e4f: ADD
00000e50: MSTORE
00000e51: PUSH32 0x496e73756666696369656e742066656500000000000000000000000000000000
00000e72: PUSH1 0x44
00000e74: DUP3
00000e75: ADD
00000e76: MSTORE
00000e77: PUSH1 0x64
00000e79: ADD
00000e7a: PUSH2 0x07b8
00000e7d: JUMP
00000e7e: JUMPDEST
00000e7f: PUSH1 0x01
00000e81: SLOAD
00000e82: DUP7
00000e83: MLOAD
00000e84: PUSH1 0x20
00000e86: DUP9
00000e87: ADD
00000e88: MLOAD
00000e89: PUSH1 0x40
00000e8b: MLOAD
00000e8c: PUSH32 0x9f3ce55a00000000000000000000000000000000000000000000000000000000
00000ead: DUP2
00000eae: MSTORE
00000eaf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ec4: SWAP1
00000ec5: SWAP4
00000ec6: AND
00000ec7: SWAP3
00000ec8: PUSH4 0x9f3ce55a
00000ecd: SWAP3
00000ece: DUP7
00000ecf: SWAP3
00000ed0: PUSH2 0x0edf
00000ed3: SWAP3
00000ed4: DUP15
00000ed5: SWAP1
00000ed6: DUP15
00000ed7: SWAP1
00000ed8: PUSH1 0x04
00000eda: ADD
00000edb: PUSH2 0x3008
00000ede: JUMP
00000edf: JUMPDEST
00000ee0: PUSH1 0x00
00000ee2: PUSH1 0x40
00000ee4: MLOAD
00000ee5: DUP1
00000ee6: DUP4
00000ee7: SUB
00000ee8: DUP2
00000ee9: DUP6
00000eea: DUP9
00000eeb: DUP1
00000eec: EXTCODESIZE
00000eed: ISZERO
00000eee: DUP1
00000eef: ISZERO
00000ef0: PUSH2 0x0ef8
00000ef3: JUMPI
00000ef4: PUSH1 0x00
00000ef6: DUP1
00000ef7: REVERT
00000ef8: JUMPDEST
00000ef9: POP
00000efa: GAS
00000efb: CALL
00000efc: ISZERO
00000efd: DUP1
00000efe: ISZERO
00000eff: PUSH2 0x0f0c
00000f02: JUMPI
00000f03: RETURNDATASIZE
00000f04: PUSH1 0x00
00000f06: DUP1
00000f07: RETURNDATACOPY
00000f08: RETURNDATASIZE
00000f09: PUSH1 0x00
00000f0b: REVERT
00000f0c: JUMPDEST
00000f0d: POP
00000f0e: POP
00000f0f: POP
00000f10: POP
00000f11: PUSH1 0x60
00000f13: DUP8
00000f14: ADD
00000f15: MLOAD
00000f16: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f2b: AND
00000f2c: PUSH1 0x00
00000f2e: SWAP1
00000f2f: DUP2
00000f30: MSTORE
00000f31: PUSH1 0x09
00000f33: PUSH1 0x20
00000f35: SWAP1
00000f36: DUP2
00000f37: MSTORE
00000f38: PUSH1 0x40
00000f3a: DUP1
00000f3b: DUP4
00000f3c: KECCAK256
00000f3d: PUSH1 0x80
00000f3f: DUP12
00000f40: ADD
00000f41: MLOAD
00000f42: DUP5
00000f43: MSTORE
00000f44: SWAP1
00000f45: SWAP2
00000f46: MSTORE
00000f47: DUP2
00000f48: KECCAK256
00000f49: DUP1
00000f4a: SLOAD
00000f4b: SWAP1
00000f4c: SWAP3
00000f4d: POP
00000f4e: PUSH2 0x0f60
00000f51: SWAP1
00000f52: PUSH8 0xffffffffffffffff
00000f5b: AND
00000f5c: PUSH2 0x3052
00000f5f: JUMP
00000f60: JUMPDEST
00000f61: SWAP2
00000f62: SWAP1
00000f63: PUSH2 0x0100
00000f66: EXP
00000f67: DUP2
00000f68: SLOAD
00000f69: DUP2
00000f6a: PUSH8 0xffffffffffffffff
00000f73: MUL
00000f74: NOT
00000f75: AND
00000f76: SWAP1
00000f77: DUP4
00000f78: PUSH8 0xffffffffffffffff
00000f81: AND
00000f82: MUL
00000f83: OR
00000f84: SWAP1
00000f85: SSTORE
00000f86: POP
00000f87: DUP1
00000f88: CALLVALUE
00000f89: GT
00000f8a: ISZERO
00000f8b: PUSH2 0x0fe0
00000f8e: JUMPI
00000f8f: PUSH1 0x60
00000f91: DUP7
00000f92: ADD
00000f93: MLOAD
00000f94: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fa9: AND
00000faa: PUSH2 0x08fc
00000fad: PUSH2 0x0fb6
00000fb0: DUP4
00000fb1: CALLVALUE
00000fb2: PUSH2 0x307a
00000fb5: JUMP
00000fb6: JUMPDEST
00000fb7: PUSH1 0x40
00000fb9: MLOAD
00000fba: DUP2
00000fbb: ISZERO
00000fbc: SWAP1
00000fbd: SWAP3
00000fbe: MUL
00000fbf: SWAP2
00000fc0: PUSH1 0x00
00000fc2: DUP2
00000fc3: DUP2
00000fc4: DUP2
00000fc5: DUP6
00000fc6: DUP9
00000fc7: DUP9
00000fc8: CALL
00000fc9: SWAP4
00000fca: POP
00000fcb: POP
00000fcc: POP
00000fcd: POP
00000fce: ISZERO
00000fcf: DUP1
00000fd0: ISZERO
00000fd1: PUSH2 0x0fde
00000fd4: JUMPI
00000fd5: RETURNDATASIZE
00000fd6: PUSH1 0x00
00000fd8: DUP1
00000fd9: RETURNDATACOPY
00000fda: RETURNDATASIZE
00000fdb: PUSH1 0x00
00000fdd: REVERT
00000fde: JUMPDEST
00000fdf: POP
00000fe0: JUMPDEST
00000fe1: POP
00000fe2: POP
00000fe3: POP
00000fe4: POP
00000fe5: POP
00000fe6: POP
00000fe7: POP
00000fe8: POP
00000fe9: JUMP
00000fea: JUMPDEST
00000feb: PUSH1 0x00
00000fed: PUSH1 0x0b
00000fef: PUSH1 0x00
00000ff1: DUP6
00000ff2: PUSH1 0x01
00000ff4: DUP2
00000ff5: GT
00000ff6: ISZERO
00000ff7: PUSH2 0x1002
00000ffa: JUMPI
00000ffb: PUSH2 0x1002
00000ffe: PUSH2 0x2a8c
00001001: JUMP
00001002: JUMPDEST
00001003: PUSH1 0x01
00001005: DUP2
00001006: GT
00001007: ISZERO
00001008: PUSH2 0x1013
0000100b: JUMPI
0000100c: PUSH2 0x1013
0000100f: PUSH2 0x2a8c
00001012: JUMP
00001013: JUMPDEST
00001014: DUP2
00001015: MSTORE
00001016: PUSH1 0x20
00001018: ADD
00001019: SWAP1
0000101a: DUP2
0000101b: MSTORE
0000101c: PUSH1 0x20
0000101e: ADD
0000101f: PUSH1 0x00
00001021: KECCAK256
00001022: PUSH1 0x00
00001024: DUP4
00001025: PUSH1 0x02
00001027: DUP2
00001028: GT
00001029: ISZERO
0000102a: PUSH2 0x1035
0000102d: JUMPI
0000102e: PUSH2 0x1035
00001031: PUSH2 0x2a8c
00001034: JUMP
00001035: JUMPDEST
00001036: PUSH1 0x02
00001038: DUP2
00001039: GT
0000103a: ISZERO
0000103b: PUSH2 0x1046
0000103e: JUMPI
0000103f: PUSH2 0x1046
00001042: PUSH2 0x2a8c
00001045: JUMP
00001046: JUMPDEST
00001047: DUP2
00001048: MSTORE
00001049: PUSH1 0x20
0000104b: DUP1
0000104c: DUP3
0000104d: ADD
0000104e: SWAP3
0000104f: SWAP1
00001050: SWAP3
00001051: MSTORE
00001052: PUSH1 0x40
00001054: SWAP1
00001055: DUP2
00001056: ADD
00001057: PUSH1 0x00
00001059: SWAP1
0000105a: DUP2
0000105b: KECCAK256
0000105c: SLOAD
0000105d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001072: DUP8
00001073: AND
00001074: DUP3
00001075: MSTORE
00001076: PUSH1 0x0a
00001078: SWAP1
00001079: SWAP4
0000107a: MSTORE
0000107b: KECCAK256
0000107c: SLOAD
0000107d: SWAP1
0000107e: SWAP2
0000107f: POP
00001080: PUSH1 0xff
00001082: AND
00001083: ISZERO
00001084: DUP1
00001085: ISZERO
00001086: PUSH2 0x10a0
00001089: JUMPI
0000108a: POP
0000108b: PUSH1 0x01
0000108d: DUP5
0000108e: PUSH1 0x01
00001090: DUP2
00001091: GT
00001092: ISZERO
00001093: PUSH2 0x109e
00001096: JUMPI
00001097: PUSH2 0x109e
0000109a: PUSH2 0x2a8c
0000109d: JUMP
0000109e: JUMPDEST
0000109f: EQ
000010a0: JUMPDEST
000010a1: ISZERO
000010a2: PUSH2 0x10b5
000010a5: JUMPI
000010a6: PUSH1 0x04
000010a8: SLOAD
000010a9: PUSH2 0x10b2
000010ac: SWAP1
000010ad: DUP3
000010ae: PUSH2 0x2ff0
000010b1: JUMP
000010b2: JUMPDEST
000010b3: SWAP1
000010b4: POP
000010b5: JUMPDEST
000010b6: SWAP4
000010b7: SWAP3
000010b8: POP
000010b9: POP
000010ba: POP
000010bb: JUMP
000010bc: JUMPDEST
000010bd: CALLER
000010be: PUSH2 0x10dc
000010c1: PUSH1 0x00
000010c3: SLOAD
000010c4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010d9: AND
000010da: SWAP1
000010db: JUMP
000010dc: JUMPDEST
000010dd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010f2: AND
000010f3: EQ
000010f4: PUSH2 0x1159
000010f7: JUMPI
000010f8: PUSH1 0x40
000010fa: MLOAD
000010fb: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000111c: DUP2
0000111d: MSTORE
0000111e: PUSH1 0x20
00001120: PUSH1 0x04
00001122: DUP3
00001123: ADD
00001124: DUP2
00001125: SWAP1
00001126: MSTORE
00001127: PUSH1 0x24
00001129: DUP3
0000112a: ADD
0000112b: MSTORE
0000112c: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
0000114d: PUSH1 0x44
0000114f: DUP3
00001150: ADD
00001151: MSTORE
00001152: PUSH1 0x64
00001154: ADD
00001155: PUSH2 0x07b8
00001158: JUMP
00001159: JUMPDEST
0000115a: PUSH1 0x04
0000115c: DUP2
0000115d: SWAP1
0000115e: SSTORE
0000115f: PUSH1 0x40
00001161: MLOAD
00001162: DUP2
00001163: DUP2
00001164: MSTORE
00001165: PUSH32 0x68344b3e424de23a591234ccb5c7a66f130d07fb4667166a787491c6c6d35d2d
00001186: SWAP1
00001187: PUSH1 0x20
00001189: ADD
0000118a: JUMPDEST
0000118b: PUSH1 0x40
0000118d: MLOAD
0000118e: DUP1
0000118f: SWAP2
00001190: SUB
00001191: SWAP1
00001192: LOG1
00001193: POP
00001194: JUMP
00001195: JUMPDEST
00001196: CALLER
00001197: PUSH2 0x11b5
0000119a: PUSH1 0x00
0000119c: SLOAD
0000119d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011b2: AND
000011b3: SWAP1
000011b4: JUMP
000011b5: JUMPDEST
000011b6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011cb: AND
000011cc: EQ
000011cd: PUSH2 0x1232
000011d0: JUMPI
000011d1: PUSH1 0x40
000011d3: MLOAD
000011d4: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000011f5: DUP2
000011f6: MSTORE
000011f7: PUSH1 0x20
000011f9: PUSH1 0x04
000011fb: DUP3
000011fc: ADD
000011fd: DUP2
000011fe: SWAP1
000011ff: MSTORE
00001200: PUSH1 0x24
00001202: DUP3
00001203: ADD
00001204: MSTORE
00001205: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00001226: PUSH1 0x44
00001228: DUP3
00001229: ADD
0000122a: MSTORE
0000122b: PUSH1 0x64
0000122d: ADD
0000122e: PUSH2 0x07b8
00001231: JUMP
00001232: JUMPDEST
00001233: PUSH1 0x00
00001235: DUP2
00001236: GT
00001237: PUSH2 0x12c1
0000123a: JUMPI
0000123b: PUSH1 0x40
0000123d: MLOAD
0000123e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000125f: DUP2
00001260: MSTORE
00001261: PUSH1 0x20
00001263: PUSH1 0x04
00001265: DUP3
00001266: ADD
00001267: MSTORE
00001268: PUSH1 0x24
0000126a: DUP1
0000126b: DUP3
0000126c: ADD
0000126d: MSTORE
0000126e: PUSH32 0x6f7261636c65207570646174652074696d65206275666665722073686f756c64
0000128f: PUSH1 0x44
00001291: DUP3
00001292: ADD
00001293: MSTORE
00001294: PUSH32 0x203e203000000000000000000000000000000000000000000000000000000000
000012b5: PUSH1 0x64
000012b7: DUP3
000012b8: ADD
000012b9: MSTORE
000012ba: PUSH1 0x84
000012bc: ADD
000012bd: PUSH2 0x07b8
000012c0: JUMP
000012c1: JUMPDEST
000012c2: DUP1
000012c3: PUSH1 0x08
000012c5: PUSH1 0x00
000012c7: DUP5
000012c8: PUSH1 0x01
000012ca: DUP2
000012cb: GT
000012cc: ISZERO
000012cd: PUSH2 0x12d8
000012d0: JUMPI
000012d1: PUSH2 0x12d8
000012d4: PUSH2 0x2a8c
000012d7: JUMP
000012d8: JUMPDEST
000012d9: PUSH1 0x01
000012db: DUP2
000012dc: GT
000012dd: ISZERO
000012de: PUSH2 0x12e9
000012e1: JUMPI
000012e2: PUSH2 0x12e9
000012e5: PUSH2 0x2a8c
000012e8: JUMP
000012e9: JUMPDEST
000012ea: DUP2
000012eb: MSTORE
000012ec: PUSH1 0x20
000012ee: ADD
000012ef: SWAP1
000012f0: DUP2
000012f1: MSTORE
000012f2: PUSH1 0x20
000012f4: ADD
000012f5: PUSH1 0x00
000012f7: KECCAK256
000012f8: DUP2
000012f9: SWAP1
000012fa: SSTORE
000012fb: POP
000012fc: PUSH32 0xec08e4d9b7a54968774df31e701f84b786e3c2ea3dd744d46dbd98fb395cb1da
0000131d: DUP3
0000131e: DUP3
0000131f: PUSH1 0x40
00001321: MLOAD
00001322: PUSH2 0x0a9e
00001325: SWAP3
00001326: SWAP2
00001327: SWAP1
00001328: PUSH2 0x30a1
0000132b: JUMP
0000132c: JUMPDEST
0000132d: CALLER
0000132e: PUSH2 0x134c
00001331: PUSH1 0x00
00001333: SLOAD
00001334: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001349: AND
0000134a: SWAP1
0000134b: JUMP
0000134c: JUMPDEST
0000134d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001362: AND
00001363: EQ
00001364: PUSH2 0x13c9
00001367: JUMPI
00001368: PUSH1 0x40
0000136a: MLOAD
0000136b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000138c: DUP2
0000138d: MSTORE
0000138e: PUSH1 0x20
00001390: PUSH1 0x04
00001392: DUP3
00001393: ADD
00001394: DUP2
00001395: SWAP1
00001396: MSTORE
00001397: PUSH1 0x24
00001399: DUP3
0000139a: ADD
0000139b: MSTORE
0000139c: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
000013bd: PUSH1 0x44
000013bf: DUP3
000013c0: ADD
000013c1: MSTORE
000013c2: PUSH1 0x64
000013c4: ADD
000013c5: PUSH2 0x07b8
000013c8: JUMP
000013c9: JUMPDEST
000013ca: PUSH1 0x01
000013cc: DUP1
000013cd: SLOAD
000013ce: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
000013ef: AND
000013f0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001405: DUP4
00001406: AND
00001407: SWAP1
00001408: DUP2
00001409: OR
0000140a: SWAP1
0000140b: SWAP2
0000140c: SSTORE
0000140d: PUSH1 0x40
0000140f: MLOAD
00001410: SWAP1
00001411: DUP2
00001412: MSTORE
00001413: PUSH32 0x3f8223bcd8b3b875473e9f9e14e1ad075451a2b5ffd31591655da9a01516bf5e
00001434: SWAP1
00001435: PUSH1 0x20
00001437: ADD
00001438: PUSH2 0x118a
0000143b: JUMP
0000143c: JUMPDEST
0000143d: PUSH1 0x01
0000143f: SLOAD
00001440: PUSH1 0x00
00001442: SWAP1
00001443: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001458: AND
00001459: CALLER
0000145a: EQ
0000145b: PUSH2 0x14c0
0000145e: JUMPI
0000145f: PUSH1 0x40
00001461: MLOAD
00001462: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001483: DUP2
00001484: MSTORE
00001485: PUSH1 0x20
00001487: PUSH1 0x04
00001489: DUP3
0000148a: ADD
0000148b: MSTORE
0000148c: PUSH1 0x19
0000148e: PUSH1 0x24
00001490: DUP3
00001491: ADD
00001492: MSTORE
00001493: PUSH32 0x63616c6c6572206973206e6f74206d6573736167652062757300000000000000
000014b4: PUSH1 0x44
000014b6: DUP3
000014b7: ADD
000014b8: MSTORE
000014b9: PUSH1 0x64
000014bb: ADD
000014bc: PUSH2 0x07b8
000014bf: JUMP
000014c0: JUMPDEST
000014c1: SWAP8
000014c2: SWAP7
000014c3: POP
000014c4: POP
000014c5: POP
000014c6: POP
000014c7: POP
000014c8: POP
000014c9: POP
000014ca: JUMP
000014cb: JUMPDEST
000014cc: CALLER
000014cd: PUSH2 0x14eb
000014d0: PUSH1 0x00
000014d2: SLOAD
000014d3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014e8: AND
000014e9: SWAP1
000014ea: JUMP
000014eb: JUMPDEST
000014ec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001501: AND
00001502: EQ
00001503: PUSH2 0x1568
00001506: JUMPI
00001507: PUSH1 0x40
00001509: MLOAD
0000150a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000152b: DUP2
0000152c: MSTORE
0000152d: PUSH1 0x20
0000152f: PUSH1 0x04
00001531: DUP3
00001532: ADD
00001533: DUP2
00001534: SWAP1
00001535: MSTORE
00001536: PUSH1 0x24
00001538: DUP3
00001539: ADD
0000153a: MSTORE
0000153b: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
0000155c: PUSH1 0x44
0000155e: DUP3
0000155f: ADD
00001560: MSTORE
00001561: PUSH1 0x64
00001563: ADD
00001564: PUSH2 0x07b8
00001567: JUMP
00001568: JUMPDEST
00001569: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000157e: DUP2
0000157f: AND
00001580: PUSH2 0x160a
00001583: JUMPI
00001584: PUSH1 0x40
00001586: MLOAD
00001587: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000015a8: DUP2
000015a9: MSTORE
000015aa: PUSH1 0x20
000015ac: PUSH1 0x04
000015ae: DUP3
000015af: ADD
000015b0: MSTORE
000015b1: PUSH1 0x24
000015b3: DUP1
000015b4: DUP3
000015b5: ADD
000015b6: MSTORE
000015b7: PUSH32 0x5661756c7420636f6e74726163742063616e2774206265207a65726f20616464
000015d8: PUSH1 0x44
000015da: DUP3
000015db: ADD
000015dc: MSTORE
000015dd: PUSH32 0x7265737300000000000000000000000000000000000000000000000000000000
000015fe: PUSH1 0x64
00001600: DUP3
00001601: ADD
00001602: MSTORE
00001603: PUSH1 0x84
00001605: ADD
00001606: PUSH2 0x07b8
00001609: JUMP
0000160a: JUMPDEST
0000160b: PUSH1 0x02
0000160d: SLOAD
0000160e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001623: AND
00001624: ISZERO
00001625: PUSH2 0x168a
00001628: JUMPI
00001629: PUSH1 0x40
0000162b: MLOAD
0000162c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000164d: DUP2
0000164e: MSTORE
0000164f: PUSH1 0x20
00001651: PUSH1 0x04
00001653: DUP3
00001654: ADD
00001655: MSTORE
00001656: PUSH1 0x1a
00001658: PUSH1 0x24
0000165a: DUP3
0000165b: ADD
0000165c: MSTORE
0000165d: PUSH32 0x416c726561647920736574207661756c7420636f6e7472616374000000000000
0000167e: PUSH1 0x44
00001680: DUP3
00001681: ADD
00001682: MSTORE
00001683: PUSH1 0x64
00001685: ADD
00001686: PUSH2 0x07b8
00001689: JUMP
0000168a: JUMPDEST
0000168b: PUSH1 0x02
0000168d: DUP1
0000168e: SLOAD
0000168f: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
000016b0: AND
000016b1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016c6: DUP4
000016c7: AND
000016c8: SWAP1
000016c9: DUP2
000016ca: OR
000016cb: SWAP1
000016cc: SWAP2
000016cd: SSTORE
000016ce: PUSH1 0x40
000016d0: MLOAD
000016d1: SWAP1
000016d2: DUP2
000016d3: MSTORE
000016d4: PUSH32 0x161584aed96e7f34998117c9ad67e2d21ff46d2a42775c22b11ed282f3c7b2cd
000016f5: SWAP1
000016f6: PUSH1 0x20
000016f8: ADD
000016f9: PUSH2 0x118a
000016fc: JUMP
000016fd: JUMPDEST
000016fe: CALLER
000016ff: PUSH2 0x171d
00001702: PUSH1 0x00
00001704: SLOAD
00001705: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000171a: AND
0000171b: SWAP1
0000171c: JUMP
0000171d: JUMPDEST
0000171e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001733: AND
00001734: EQ
00001735: PUSH2 0x179a
00001738: JUMPI
00001739: PUSH1 0x40
0000173b: MLOAD
0000173c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000175d: DUP2
0000175e: MSTORE
0000175f: PUSH1 0x20
00001761: PUSH1 0x04
00001763: DUP3
00001764: ADD
00001765: DUP2
00001766: SWAP1
00001767: MSTORE
00001768: PUSH1 0x24
0000176a: DUP3
0000176b: ADD
0000176c: MSTORE
0000176d: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
0000178e: PUSH1 0x44
00001790: DUP3
00001791: ADD
00001792: MSTORE
00001793: PUSH1 0x64
00001795: ADD
00001796: PUSH2 0x07b8
00001799: JUMP
0000179a: JUMPDEST
0000179b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017b0: DUP2
000017b1: AND
000017b2: PUSH2 0x183d
000017b5: JUMPI
000017b6: PUSH1 0x40
000017b8: MLOAD
000017b9: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000017da: DUP2
000017db: MSTORE
000017dc: PUSH1 0x20
000017de: PUSH1 0x04
000017e0: DUP3
000017e1: ADD
000017e2: MSTORE
000017e3: PUSH1 0x27
000017e5: PUSH1 0x24
000017e7: DUP3
000017e8: ADD
000017e9: MSTORE
000017ea: PUSH32 0x526563656976657220636f6e74726163742063616e2774206265207a65726f20
0000180b: PUSH1 0x44
0000180d: DUP3
0000180e: ADD
0000180f: MSTORE
00001810: PUSH32 0x6164647265737300000000000000000000000000000000000000000000000000
00001831: PUSH1 0x64
00001833: DUP3
00001834: ADD
00001835: MSTORE
00001836: PUSH1 0x84
00001838: ADD
00001839: PUSH2 0x07b8
0000183c: JUMP
0000183d: JUMPDEST
0000183e: PUSH1 0x03
00001840: SLOAD
00001841: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001856: AND
00001857: ISZERO
00001858: PUSH2 0x18bd
0000185b: JUMPI
0000185c: PUSH1 0x40
0000185e: MLOAD
0000185f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001880: DUP2
00001881: MSTORE
00001882: PUSH1 0x20
00001884: PUSH1 0x04
00001886: DUP3
00001887: ADD
00001888: MSTORE
00001889: PUSH1 0x1d
0000188b: PUSH1 0x24
0000188d: DUP3
0000188e: ADD
0000188f: MSTORE
00001890: PUSH32 0x416c72656164792073657420726563656976657220636f6e7472616374000000
000018b1: PUSH1 0x44
000018b3: DUP3
000018b4: ADD
000018b5: MSTORE
000018b6: PUSH1 0x64
000018b8: ADD
000018b9: PUSH2 0x07b8
000018bc: JUMP
000018bd: JUMPDEST
000018be: PUSH1 0x03
000018c0: DUP1
000018c1: SLOAD
000018c2: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
000018e3: AND
000018e4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018f9: DUP4
000018fa: AND
000018fb: SWAP1
000018fc: DUP2
000018fd: OR
000018fe: SWAP1
000018ff: SWAP2
00001900: SSTORE
00001901: PUSH1 0x40
00001903: MLOAD
00001904: SWAP1
00001905: DUP2
00001906: MSTORE
00001907: PUSH32 0x75fd3aa5d9b6e2a8a9d8894008c9263200713f4b1fa9113665e09ceac0027746
00001928: SWAP1
00001929: PUSH1 0x20
0000192b: ADD
0000192c: PUSH2 0x118a
0000192f: JUMP
00001930: JUMPDEST
00001931: CALLER
00001932: PUSH2 0x1950
00001935: PUSH1 0x00
00001937: SLOAD
00001938: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000194d: AND
0000194e: SWAP1
0000194f: JUMP
00001950: JUMPDEST
00001951: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001966: AND
00001967: EQ
00001968: PUSH2 0x19cd
0000196b: JUMPI
0000196c: PUSH1 0x40
0000196e: MLOAD
0000196f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001990: DUP2
00001991: MSTORE
00001992: PUSH1 0x20
00001994: PUSH1 0x04
00001996: DUP3
00001997: ADD
00001998: DUP2
00001999: SWAP1
0000199a: MSTORE
0000199b: PUSH1 0x24
0000199d: DUP3
0000199e: ADD
0000199f: MSTORE
000019a0: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
000019c1: PUSH1 0x44
000019c3: DUP3
000019c4: ADD
000019c5: MSTORE
000019c6: PUSH1 0x64
000019c8: ADD
000019c9: PUSH2 0x07b8
000019cc: JUMP
000019cd: JUMPDEST
000019ce: PUSH1 0x00
000019d0: DUP2
000019d1: GT
000019d2: PUSH2 0x1a5d
000019d5: JUMPI
000019d6: PUSH1 0x40
000019d8: MLOAD
000019d9: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000019fa: DUP2
000019fb: MSTORE
000019fc: PUSH1 0x20
000019fe: PUSH1 0x04
00001a00: DUP3
00001a01: ADD
00001a02: MSTORE
00001a03: PUSH1 0x30
00001a05: PUSH1 0x24
00001a07: DUP3
00001a08: ADD
00001a09: MSTORE
00001a0a: PUSH32 0x424e42206368616e676520666f72206e657720757365722073686f756c642067
00001a2b: PUSH1 0x44
00001a2d: DUP3
00001a2e: ADD
00001a2f: MSTORE
00001a30: PUSH32 0x726561746572207468616e207a65726f00000000000000000000000000000000
00001a51: PUSH1 0x64
00001a53: DUP3
00001a54: ADD
00001a55: MSTORE
00001a56: PUSH1 0x84
00001a58: ADD
00001a59: PUSH2 0x07b8
00001a5c: JUMP
00001a5d: JUMPDEST
00001a5e: PUSH1 0x06
00001a60: DUP2
00001a61: SWAP1
00001a62: SSTORE
00001a63: PUSH1 0x40
00001a65: MLOAD
00001a66: DUP2
00001a67: DUP2
00001a68: MSTORE
00001a69: PUSH32 0x9269ec925ce7322ee80f680dec63e4057a13ae6c6c58d893a3495e200013e6bd
00001a8a: SWAP1
00001a8b: PUSH1 0x20
00001a8d: ADD
00001a8e: PUSH2 0x118a
00001a91: JUMP
00001a92: JUMPDEST
00001a93: PUSH1 0x01
00001a95: SLOAD
00001a96: PUSH1 0x00
00001a98: SWAP1
00001a99: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001aae: AND
00001aaf: CALLER
00001ab0: EQ
00001ab1: PUSH2 0x1b16
00001ab4: JUMPI
00001ab5: PUSH1 0x40
00001ab7: MLOAD
00001ab8: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001ad9: DUP2
00001ada: MSTORE
00001adb: PUSH1 0x20
00001add: PUSH1 0x04
00001adf: DUP3
00001ae0: ADD
00001ae1: MSTORE
00001ae2: PUSH1 0x19
00001ae4: PUSH1 0x24
00001ae6: DUP3
00001ae7: ADD
00001ae8: MSTORE
00001ae9: PUSH32 0x63616c6c6572206973206e6f74206d6573736167652062757300000000000000
00001b0a: PUSH1 0x44
00001b0c: DUP3
00001b0d: ADD
00001b0e: MSTORE
00001b0f: PUSH1 0x64
00001b11: ADD
00001b12: PUSH2 0x07b8
00001b15: JUMP
00001b16: JUMPDEST
00001b17: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000038
00001b38: PUSH8 0xffffffffffffffff
00001b41: AND
00001b42: DUP6
00001b43: PUSH8 0xffffffffffffffff
00001b4c: AND
00001b4d: EQ
00001b4e: DUP1
00001b4f: ISZERO
00001b50: PUSH2 0x1b73
00001b53: JUMPI
00001b54: POP
00001b55: PUSH1 0x03
00001b57: SLOAD
00001b58: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b6d: DUP8
00001b6e: DUP2
00001b6f: AND
00001b70: SWAP2
00001b71: AND
00001b72: EQ
00001b73: JUMPDEST
00001b74: PUSH2 0x1bd9
00001b77: JUMPI
00001b78: PUSH1 0x40
00001b7a: MLOAD
00001b7b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001b9c: DUP2
00001b9d: MSTORE
00001b9e: PUSH1 0x20
00001ba0: PUSH1 0x04
00001ba2: DUP3
00001ba3: ADD
00001ba4: MSTORE
00001ba5: PUSH1 0x19
00001ba7: PUSH1 0x24
00001ba9: DUP3
00001baa: ADD
00001bab: MSTORE
00001bac: PUSH32 0x496e76616c696420726563656976657220636f6e747261637400000000000000
00001bcd: PUSH1 0x44
00001bcf: DUP3
00001bd0: ADD
00001bd1: MSTORE
00001bd2: PUSH1 0x64
00001bd4: ADD
00001bd5: PUSH2 0x07b8
00001bd8: JUMP
00001bd9: JUMPDEST
00001bda: PUSH1 0x00
00001bdc: PUSH2 0x1be7
00001bdf: DUP5
00001be0: DUP7
00001be1: ADD
00001be2: DUP7
00001be3: PUSH2 0x2e0a
00001be6: JUMP
00001be7: JUMPDEST
00001be8: SWAP1
00001be9: POP
00001bea: PUSH1 0x01
00001bec: DUP2
00001bed: PUSH1 0xc0
00001bef: ADD
00001bf0: MLOAD
00001bf1: PUSH1 0x02
00001bf3: DUP2
00001bf4: GT
00001bf5: ISZERO
00001bf6: PUSH2 0x1c01
00001bf9: JUMPI
00001bfa: PUSH2 0x1c01
00001bfd: PUSH2 0x2a8c
00001c00: JUMP
00001c01: JUMPDEST
00001c02: EQ
00001c03: ISZERO
00001c04: PUSH2 0x1cc3
00001c07: JUMPI
00001c08: PUSH1 0x02
00001c0a: SLOAD
00001c0b: PUSH1 0x60
00001c0d: DUP3
00001c0e: ADD
00001c0f: MLOAD
00001c10: PUSH1 0x80
00001c12: DUP4
00001c13: ADD
00001c14: MLOAD
00001c15: PUSH1 0xa0
00001c17: DUP5
00001c18: ADD
00001c19: MLOAD
00001c1a: PUSH1 0x40
00001c1c: DUP1
00001c1d: DUP7
00001c1e: ADD
00001c1f: MLOAD
00001c20: SWAP1
00001c21: MLOAD
00001c22: PUSH32 0xaaa22c7f00000000000000000000000000000000000000000000000000000000
00001c43: DUP2
00001c44: MSTORE
00001c45: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c5a: SWAP5
00001c5b: DUP6
00001c5c: AND
00001c5d: PUSH1 0x04
00001c5f: DUP3
00001c60: ADD
00001c61: MSTORE
00001c62: PUSH1 0x24
00001c64: DUP2
00001c65: ADD
00001c66: SWAP4
00001c67: SWAP1
00001c68: SWAP4
00001c69: MSTORE
00001c6a: PUSH1 0x44
00001c6c: DUP4
00001c6d: ADD
00001c6e: SWAP2
00001c6f: SWAP1
00001c70: SWAP2
00001c71: MSTORE
00001c72: PUSH8 0xffffffffffffffff
00001c7b: AND
00001c7c: PUSH1 0x64
00001c7e: DUP3
00001c7f: ADD
00001c80: MSTORE
00001c81: SWAP2
00001c82: AND
00001c83: SWAP1
00001c84: PUSH4 0xaaa22c7f
00001c89: SWAP1
00001c8a: PUSH1 0x84
00001c8c: ADD
00001c8d: PUSH1 0x00
00001c8f: PUSH1 0x40
00001c91: MLOAD
00001c92: DUP1
00001c93: DUP4
00001c94: SUB
00001c95: DUP2
00001c96: PUSH1 0x00
00001c98: DUP8
00001c99: DUP1
00001c9a: EXTCODESIZE
00001c9b: ISZERO
00001c9c: DUP1
00001c9d: ISZERO
00001c9e: PUSH2 0x1ca6
00001ca1: JUMPI
00001ca2: PUSH1 0x00
00001ca4: DUP1
00001ca5: REVERT
00001ca6: JUMPDEST
00001ca7: POP
00001ca8: GAS
00001ca9: CALL
00001caa: ISZERO
00001cab: DUP1
00001cac: ISZERO
00001cad: PUSH2 0x1cba
00001cb0: JUMPI
00001cb1: RETURNDATASIZE
00001cb2: PUSH1 0x00
00001cb4: DUP1
00001cb5: RETURNDATACOPY
00001cb6: RETURNDATASIZE
00001cb7: PUSH1 0x00
00001cb9: REVERT
00001cba: JUMPDEST
00001cbb: POP
00001cbc: POP
00001cbd: POP
00001cbe: POP
00001cbf: PUSH2 0x1d8c
00001cc2: JUMP
00001cc3: JUMPDEST
00001cc4: PUSH1 0x02
00001cc6: DUP2
00001cc7: PUSH1 0xc0
00001cc9: ADD
00001cca: MLOAD
00001ccb: PUSH1 0x02
00001ccd: DUP2
00001cce: GT
00001ccf: ISZERO
00001cd0: PUSH2 0x1cdb
00001cd3: JUMPI
00001cd4: PUSH2 0x1cdb
00001cd7: PUSH2 0x2a8c
00001cda: JUMP
00001cdb: JUMPDEST
00001cdc: EQ
00001cdd: ISZERO
00001cde: PUSH2 0x1d8c
00001ce1: JUMPI
00001ce2: PUSH1 0x02
00001ce4: SLOAD
00001ce5: PUSH1 0x60
00001ce7: DUP3
00001ce8: ADD
00001ce9: MLOAD
00001cea: PUSH1 0x80
00001cec: DUP4
00001ced: ADD
00001cee: MLOAD
00001cef: PUSH1 0x40
00001cf1: DUP1
00001cf2: DUP6
00001cf3: ADD
00001cf4: MLOAD
00001cf5: SWAP1
00001cf6: MLOAD
00001cf7: PUSH32 0x5ee85bca00000000000000000000000000000000000000000000000000000000
00001d18: DUP2
00001d19: MSTORE
00001d1a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d2f: SWAP4
00001d30: DUP5
00001d31: AND
00001d32: PUSH1 0x04
00001d34: DUP3
00001d35: ADD
00001d36: MSTORE
00001d37: PUSH1 0x24
00001d39: DUP2
00001d3a: ADD
00001d3b: SWAP3
00001d3c: SWAP1
00001d3d: SWAP3
00001d3e: MSTORE
00001d3f: PUSH8 0xffffffffffffffff
00001d48: AND
00001d49: PUSH1 0x44
00001d4b: DUP3
00001d4c: ADD
00001d4d: MSTORE
00001d4e: SWAP2
00001d4f: AND
00001d50: SWAP1
00001d51: PUSH4 0x5ee85bca
00001d56: SWAP1
00001d57: PUSH1 0x64
00001d59: ADD
00001d5a: PUSH1 0x00
00001d5c: PUSH1 0x40
00001d5e: MLOAD
00001d5f: DUP1
00001d60: DUP4
00001d61: SUB
00001d62: DUP2
00001d63: PUSH1 0x00
00001d65: DUP8
00001d66: DUP1
00001d67: EXTCODESIZE
00001d68: ISZERO
00001d69: DUP1
00001d6a: ISZERO
00001d6b: PUSH2 0x1d73
00001d6e: JUMPI
00001d6f: PUSH1 0x00
00001d71: DUP1
00001d72: REVERT
00001d73: JUMPDEST
00001d74: POP
00001d75: GAS
00001d76: CALL
00001d77: ISZERO
00001d78: DUP1
00001d79: ISZERO
00001d7a: PUSH2 0x1d87
00001d7d: JUMPI
00001d7e: RETURNDATASIZE
00001d7f: PUSH1 0x00
00001d81: DUP1
00001d82: RETURNDATACOPY
00001d83: RETURNDATASIZE
00001d84: PUSH1 0x00
00001d86: REVERT
00001d87: JUMPDEST
00001d88: POP
00001d89: POP
00001d8a: POP
00001d8b: POP
00001d8c: JUMPDEST
00001d8d: PUSH32 0xc4b29c72ac77bb0c23e225ea2aae4de3065ed9c51193759479c126a987bce5f5
00001dae: DUP8
00001daf: DUP8
00001db0: DUP4
00001db1: PUSH1 0x40
00001db3: ADD
00001db4: MLOAD
00001db5: DUP5
00001db6: PUSH1 0xc0
00001db8: ADD
00001db9: MLOAD
00001dba: DUP6
00001dbb: PUSH1 0x60
00001dbd: ADD
00001dbe: MLOAD
00001dbf: DUP7
00001dc0: PUSH1 0x80
00001dc2: ADD
00001dc3: MLOAD
00001dc4: DUP8
00001dc5: PUSH1 0xa0
00001dc7: ADD
00001dc8: MLOAD
00001dc9: PUSH1 0x40
00001dcb: MLOAD
00001dcc: PUSH2 0x1ddb
00001dcf: SWAP8
00001dd0: SWAP7
00001dd1: SWAP6
00001dd2: SWAP5
00001dd3: SWAP4
00001dd4: SWAP3
00001dd5: SWAP2
00001dd6: SWAP1
00001dd7: PUSH2 0x30b8
00001dda: JUMP
00001ddb: JUMPDEST
00001ddc: PUSH1 0x40
00001dde: MLOAD
00001ddf: DUP1
00001de0: SWAP2
00001de1: SUB
00001de2: SWAP1
00001de3: LOG1
00001de4: POP
00001de5: PUSH1 0x01
00001de7: SWAP7
00001de8: SWAP6
00001de9: POP
00001dea: POP
00001deb: POP
00001dec: POP
00001ded: POP
00001dee: POP
00001def: JUMP
00001df0: JUMPDEST
00001df1: CALLER
00001df2: PUSH2 0x1e10
00001df5: PUSH1 0x00
00001df7: SLOAD
00001df8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e0d: AND
00001e0e: SWAP1
00001e0f: JUMP
00001e10: JUMPDEST
00001e11: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e26: AND
00001e27: EQ
00001e28: PUSH2 0x1e8d
00001e2b: JUMPI
00001e2c: PUSH1 0x40
00001e2e: MLOAD
00001e2f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001e50: DUP2
00001e51: MSTORE
00001e52: PUSH1 0x20
00001e54: PUSH1 0x04
00001e56: DUP3
00001e57: ADD
00001e58: DUP2
00001e59: SWAP1
00001e5a: MSTORE
00001e5b: PUSH1 0x24
00001e5d: DUP3
00001e5e: ADD
00001e5f: MSTORE
00001e60: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00001e81: PUSH1 0x44
00001e83: DUP3
00001e84: ADD
00001e85: MSTORE
00001e86: PUSH1 0x64
00001e88: ADD
00001e89: PUSH2 0x07b8
00001e8c: JUMP
00001e8d: JUMPDEST
00001e8e: PUSH2 0x1eae
00001e91: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ea6: DUP4
00001ea7: AND
00001ea8: CALLER
00001ea9: DUP4
00001eaa: PUSH2 0x2646
00001ead: JUMP
00001eae: JUMPDEST
00001eaf: POP
00001eb0: POP
00001eb1: JUMP
00001eb2: JUMPDEST
00001eb3: CALLER
00001eb4: PUSH2 0x1ed2
00001eb7: PUSH1 0x00
00001eb9: SLOAD
00001eba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ecf: AND
00001ed0: SWAP1
00001ed1: JUMP
00001ed2: JUMPDEST
00001ed3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ee8: AND
00001ee9: EQ
00001eea: PUSH2 0x1f4f
00001eed: JUMPI
00001eee: PUSH1 0x40
00001ef0: MLOAD
00001ef1: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001f12: DUP2
00001f13: MSTORE
00001f14: PUSH1 0x20
00001f16: PUSH1 0x04
00001f18: DUP3
00001f19: ADD
00001f1a: DUP2
00001f1b: SWAP1
00001f1c: MSTORE
00001f1d: PUSH1 0x24
00001f1f: DUP3
00001f20: ADD
00001f21: MSTORE
00001f22: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00001f43: PUSH1 0x44
00001f45: DUP3
00001f46: ADD
00001f47: MSTORE
00001f48: PUSH1 0x64
00001f4a: ADD
00001f4b: PUSH2 0x07b8
00001f4e: JUMP
00001f4f: JUMPDEST
00001f50: PUSH1 0x00
00001f52: DUP2
00001f53: GT
00001f54: PUSH2 0x1fb9
00001f57: JUMPI
00001f58: PUSH1 0x40
00001f5a: MLOAD
00001f5b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001f7c: DUP2
00001f7d: MSTORE
00001f7e: PUSH1 0x20
00001f80: PUSH1 0x04
00001f82: DUP3
00001f83: ADD
00001f84: MSTORE
00001f85: PUSH1 0x19
00001f87: PUSH1 0x24
00001f89: DUP3
00001f8a: ADD
00001f8b: MSTORE
00001f8c: PUSH32 0x4761736c696d69742073686f756c64206265203e207a65726f00000000000000
00001fad: PUSH1 0x44
00001faf: DUP3
00001fb0: ADD
00001fb1: MSTORE
00001fb2: PUSH1 0x64
00001fb4: ADD
00001fb5: PUSH2 0x07b8
00001fb8: JUMP
00001fb9: JUMPDEST
00001fba: DUP1
00001fbb: PUSH1 0x0b
00001fbd: PUSH1 0x00
00001fbf: DUP6
00001fc0: PUSH1 0x01
00001fc2: DUP2
00001fc3: GT
00001fc4: ISZERO
00001fc5: PUSH2 0x1fd0
00001fc8: JUMPI
00001fc9: PUSH2 0x1fd0
00001fcc: PUSH2 0x2a8c
00001fcf: JUMP
00001fd0: JUMPDEST
00001fd1: PUSH1 0x01
00001fd3: DUP2
00001fd4: GT
00001fd5: ISZERO
00001fd6: PUSH2 0x1fe1
00001fd9: JUMPI
00001fda: PUSH2 0x1fe1
00001fdd: PUSH2 0x2a8c
00001fe0: JUMP
00001fe1: JUMPDEST
00001fe2: DUP2
00001fe3: MSTORE
00001fe4: PUSH1 0x20
00001fe6: ADD
00001fe7: SWAP1
00001fe8: DUP2
00001fe9: MSTORE
00001fea: PUSH1 0x20
00001fec: ADD
00001fed: PUSH1 0x00
00001fef: KECCAK256
00001ff0: PUSH1 0x00
00001ff2: DUP5
00001ff3: PUSH1 0x02
00001ff5: DUP2
00001ff6: GT
00001ff7: ISZERO
00001ff8: PUSH2 0x2003
00001ffb: JUMPI
00001ffc: PUSH2 0x2003
00001fff: PUSH2 0x2a8c
00002002: JUMP
00002003: JUMPDEST
00002004: PUSH1 0x02
00002006: DUP2
00002007: GT
00002008: ISZERO
00002009: PUSH2 0x2014
0000200c: JUMPI
0000200d: PUSH2 0x2014
00002010: PUSH2 0x2a8c
00002013: JUMP
00002014: JUMPDEST
00002015: DUP2
00002016: MSTORE
00002017: PUSH1 0x20
00002019: ADD
0000201a: SWAP1
0000201b: DUP2
0000201c: MSTORE
0000201d: PUSH1 0x20
0000201f: ADD
00002020: PUSH1 0x00
00002022: KECCAK256
00002023: DUP2
00002024: SWAP1
00002025: SSTORE
00002026: POP
00002027: PUSH32 0xce03fe21469a965b26b8a8f8117824ff1f1011ef740e8d8b228da913b3fd6b91
00002048: DUP4
00002049: DUP4
0000204a: DUP4
0000204b: PUSH1 0x40
0000204d: MLOAD
0000204e: PUSH2 0x2059
00002051: SWAP4
00002052: SWAP3
00002053: SWAP2
00002054: SWAP1
00002055: PUSH2 0x311f
00002058: JUMP
00002059: JUMPDEST
0000205a: PUSH1 0x40
0000205c: MLOAD
0000205d: DUP1
0000205e: SWAP2
0000205f: SUB
00002060: SWAP1
00002061: LOG1
00002062: POP
00002063: POP
00002064: POP
00002065: JUMP
00002066: JUMPDEST
00002067: CALLER
00002068: PUSH2 0x2086
0000206b: PUSH1 0x00
0000206d: SLOAD
0000206e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002083: AND
00002084: SWAP1
00002085: JUMP
00002086: JUMPDEST
00002087: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000209c: AND
0000209d: EQ
0000209e: PUSH2 0x2103
000020a1: JUMPI
000020a2: PUSH1 0x40
000020a4: MLOAD
000020a5: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000020c6: DUP2
000020c7: MSTORE
000020c8: PUSH1 0x20
000020ca: PUSH1 0x04
000020cc: DUP3
000020cd: ADD
000020ce: DUP2
000020cf: SWAP1
000020d0: MSTORE
000020d1: PUSH1 0x24
000020d3: DUP3
000020d4: ADD
000020d5: MSTORE
000020d6: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
000020f7: PUSH1 0x44
000020f9: DUP3
000020fa: ADD
000020fb: MSTORE
000020fc: PUSH1 0x64
000020fe: ADD
000020ff: PUSH2 0x07b8
00002102: JUMP
00002103: JUMPDEST
00002104: PUSH2 0x2710
00002107: DUP2
00002108: LT
00002109: ISZERO
0000210a: DUP1
0000210b: ISZERO
0000210c: PUSH2 0x2118
0000210f: JUMPI
00002110: POP
00002111: PUSH3 0x0f4240
00002115: DUP2
00002116: GT
00002117: ISZERO
00002118: JUMPDEST
00002119: PUSH2 0x217e
0000211c: JUMPI
0000211d: PUSH1 0x40
0000211f: MLOAD
00002120: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002141: DUP2
00002142: MSTORE
00002143: PUSH1 0x20
00002145: PUSH1 0x04
00002147: DUP3
00002148: ADD
00002149: MSTORE
0000214a: PUSH1 0x19
0000214c: PUSH1 0x24
0000214e: DUP3
0000214f: ADD
00002150: MSTORE
00002151: PUSH32 0x496e76616c696420636f6d70656e736174696f6e207261746500000000000000
00002172: PUSH1 0x44
00002174: DUP3
00002175: ADD
00002176: MSTORE
00002177: PUSH1 0x64
00002179: ADD
0000217a: PUSH2 0x07b8
0000217d: JUMP
0000217e: JUMPDEST
0000217f: PUSH1 0x05
00002181: DUP2
00002182: SWAP1
00002183: SSTORE
00002184: PUSH1 0x40
00002186: MLOAD
00002187: DUP2
00002188: DUP2
00002189: MSTORE
0000218a: PUSH32 0x425a23ba9d1d72ebc7e7beec13260a276c80f1a430deb5da8fd6c331d25aaba5
000021ab: SWAP1
000021ac: PUSH1 0x20
000021ae: ADD
000021af: PUSH2 0x118a
000021b2: JUMP
000021b3: JUMPDEST
000021b4: CALLER
000021b5: PUSH2 0x21d3
000021b8: PUSH1 0x00
000021ba: SLOAD
000021bb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000021d0: AND
000021d1: SWAP1
000021d2: JUMP
000021d3: JUMPDEST
000021d4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000021e9: AND
000021ea: EQ
000021eb: PUSH2 0x2250
000021ee: JUMPI
000021ef: PUSH1 0x40
000021f1: MLOAD
000021f2: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002213: DUP2
00002214: MSTORE
00002215: PUSH1 0x20
00002217: PUSH1 0x04
00002219: DUP3
0000221a: ADD
0000221b: DUP2
0000221c: SWAP1
0000221d: MSTORE
0000221e: PUSH1 0x24
00002220: DUP3
00002221: ADD
00002222: MSTORE
00002223: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00002244: PUSH1 0x44
00002246: DUP3
00002247: ADD
00002248: MSTORE
00002249: PUSH1 0x64
0000224b: ADD
0000224c: PUSH2 0x07b8
0000224f: JUMP
00002250: JUMPDEST
00002251: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002266: DUP2
00002267: AND
00002268: PUSH2 0x22f3
0000226b: JUMPI
0000226c: PUSH1 0x40
0000226e: MLOAD
0000226f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002290: DUP2
00002291: MSTORE
00002292: PUSH1 0x20
00002294: PUSH1 0x04
00002296: DUP3
00002297: ADD
00002298: MSTORE
00002299: PUSH1 0x26
0000229b: PUSH1 0x24
0000229d: DUP3
0000229e: ADD
0000229f: MSTORE
000022a0: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061
000022c1: PUSH1 0x44
000022c3: DUP3
000022c4: ADD
000022c5: MSTORE
000022c6: PUSH32 0x6464726573730000000000000000000000000000000000000000000000000000
000022e7: PUSH1 0x64
000022e9: DUP3
000022ea: ADD
000022eb: MSTORE
000022ec: PUSH1 0x84
000022ee: ADD
000022ef: PUSH2 0x07b8
000022f2: JUMP
000022f3: JUMPDEST
000022f4: PUSH2 0x22fc
000022f7: DUP2
000022f8: PUSH2 0x26d8
000022fb: JUMP
000022fc: JUMPDEST
000022fd: POP
000022fe: JUMP
000022ff: JUMPDEST
00002300: CALLER
00002301: PUSH2 0x231f
00002304: PUSH1 0x00
00002306: SLOAD
00002307: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000231c: AND
0000231d: SWAP1
0000231e: JUMP
0000231f: JUMPDEST
00002320: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002335: AND
00002336: EQ
00002337: PUSH2 0x239c
0000233a: JUMPI
0000233b: PUSH1 0x40
0000233d: MLOAD
0000233e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000235f: DUP2
00002360: MSTORE
00002361: PUSH1 0x20
00002363: PUSH1 0x04
00002365: DUP3
00002366: ADD
00002367: DUP2
00002368: SWAP1
00002369: MSTORE
0000236a: PUSH1 0x24
0000236c: DUP3
0000236d: ADD
0000236e: MSTORE
0000236f: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00002390: PUSH1 0x44
00002392: DUP3
00002393: ADD
00002394: MSTORE
00002395: PUSH1 0x64
00002397: ADD
00002398: PUSH2 0x07b8
0000239b: JUMP
0000239c: JUMPDEST
0000239d: PUSH2 0x08fc
000023a0: DUP2
000023a1: LT
000023a2: ISZERO
000023a3: PUSH2 0x242e
000023a6: JUMPI
000023a7: PUSH1 0x40
000023a9: MLOAD
000023aa: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000023cb: DUP2
000023cc: MSTORE
000023cd: PUSH1 0x20
000023cf: PUSH1 0x04
000023d1: DUP3
000023d2: ADD
000023d3: MSTORE
000023d4: PUSH1 0x25
000023d6: PUSH1 0x24
000023d8: DUP3
000023d9: ADD
000023da: MSTORE
000023db: PUSH32 0x636c61696d466565206761736c696d69742073686f756c642065786365656420
000023fc: PUSH1 0x44
000023fe: DUP3
000023ff: ADD
00002400: MSTORE
00002401: PUSH32 0x3233303020000000000000000000000000000000000000000000000000000000
00002422: PUSH1 0x64
00002424: DUP3
00002425: ADD
00002426: MSTORE
00002427: PUSH1 0x84
00002429: ADD
0000242a: PUSH2 0x07b8
0000242d: JUMP
0000242e: JUMPDEST
0000242f: PUSH1 0x40
00002431: MLOAD
00002432: SELFBALANCE
00002433: SWAP1
00002434: PUSH1 0x00
00002436: SWAP1
00002437: CALLER
00002438: SWAP1
00002439: DUP5
0000243a: SWAP1
0000243b: DUP5
0000243c: SWAP1
0000243d: DUP5
0000243e: DUP2
0000243f: DUP2
00002440: DUP2
00002441: DUP6
00002442: DUP9
00002443: DUP9
00002444: CALL
00002445: SWAP4
00002446: POP
00002447: POP
00002448: POP
00002449: POP
0000244a: RETURNDATASIZE
0000244b: DUP1
0000244c: PUSH1 0x00
0000244e: DUP2
0000244f: EQ
00002450: PUSH2 0x2475
00002453: JUMPI
00002454: PUSH1 0x40
00002456: MLOAD
00002457: SWAP2
00002458: POP
00002459: PUSH1 0x1f
0000245b: NOT
0000245c: PUSH1 0x3f
0000245e: RETURNDATASIZE
0000245f: ADD
00002460: AND
00002461: DUP3
00002462: ADD
00002463: PUSH1 0x40
00002465: MSTORE
00002466: RETURNDATASIZE
00002467: DUP3
00002468: MSTORE
00002469: RETURNDATASIZE
0000246a: PUSH1 0x00
0000246c: PUSH1 0x20
0000246e: DUP5
0000246f: ADD
00002470: RETURNDATACOPY
00002471: PUSH2 0x247a
00002474: JUMP
00002475: JUMPDEST
00002476: PUSH1 0x60
00002478: SWAP2
00002479: POP
0000247a: JUMPDEST
0000247b: POP
0000247c: POP
0000247d: PUSH1 0x40
0000247f: DUP1
00002480: MLOAD
00002481: DUP5
00002482: DUP2
00002483: MSTORE
00002484: DUP3
00002485: ISZERO
00002486: ISZERO
00002487: PUSH1 0x20
00002489: DUP3
0000248a: ADD
0000248b: MSTORE
0000248c: SWAP2
0000248d: SWAP3
0000248e: POP
0000248f: PUSH32 0xd04d114f4c1b692d33ce8a2eafd40b884f2c3baeba47267503261a83563b65f7
000024b0: SWAP2
000024b1: ADD
000024b2: PUSH2 0x2059
000024b5: JUMP
000024b6: JUMPDEST
000024b7: PUSH1 0x00
000024b9: DUP1
000024ba: PUSH1 0x00
000024bc: PUSH1 0x07
000024be: PUSH1 0x00
000024c0: DUP6
000024c1: PUSH1 0x01
000024c3: DUP2
000024c4: GT
000024c5: ISZERO
000024c6: PUSH2 0x24d1
000024c9: JUMPI
000024ca: PUSH2 0x24d1
000024cd: PUSH2 0x2a8c
000024d0: JUMP
000024d1: JUMPDEST
000024d2: PUSH1 0x01
000024d4: DUP2
000024d5: GT
000024d6: ISZERO
000024d7: PUSH2 0x24e2
000024da: JUMPI
000024db: PUSH2 0x24e2
000024de: PUSH2 0x2a8c
000024e1: JUMP
000024e2: JUMPDEST
000024e3: DUP2
000024e4: MSTORE
000024e5: PUSH1 0x20
000024e7: ADD
000024e8: SWAP1
000024e9: DUP2
000024ea: MSTORE
000024eb: PUSH1 0x20
000024ed: ADD
000024ee: PUSH1 0x00
000024f0: KECCAK256
000024f1: PUSH1 0x00
000024f3: SWAP1
000024f4: SLOAD
000024f5: SWAP1
000024f6: PUSH2 0x0100
000024f9: EXP
000024fa: SWAP1
000024fb: DIV
000024fc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002511: AND
00002512: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002527: AND
00002528: PUSH4 0xfeaf968c
0000252d: PUSH1 0x40
0000252f: MLOAD
00002530: DUP2
00002531: PUSH4 0xffffffff
00002536: AND
00002537: PUSH1 0xe0
00002539: SHL
0000253a: DUP2
0000253b: MSTORE
0000253c: PUSH1 0x04
0000253e: ADD
0000253f: PUSH1 0xa0
00002541: PUSH1 0x40
00002543: MLOAD
00002544: DUP1
00002545: DUP4
00002546: SUB
00002547: DUP2
00002548: DUP7
00002549: DUP1
0000254a: EXTCODESIZE
0000254b: ISZERO
0000254c: DUP1
0000254d: ISZERO
0000254e: PUSH2 0x2556
00002551: JUMPI
00002552: PUSH1 0x00
00002554: DUP1
00002555: REVERT
00002556: JUMPDEST
00002557: POP
00002558: GAS
00002559: STATICCALL
0000255a: ISZERO
0000255b: DUP1
0000255c: ISZERO
0000255d: PUSH2 0x256a
00002560: JUMPI
00002561: RETURNDATASIZE
00002562: PUSH1 0x00
00002564: DUP1
00002565: RETURNDATACOPY
00002566: RETURNDATASIZE
00002567: PUSH1 0x00
00002569: REVERT
0000256a: JUMPDEST
0000256b: POP
0000256c: POP
0000256d: POP
0000256e: POP
0000256f: PUSH1 0x40
00002571: MLOAD
00002572: RETURNDATASIZE
00002573: PUSH1 0x1f
00002575: NOT
00002576: PUSH1 0x1f
00002578: DUP3
00002579: ADD
0000257a: AND
0000257b: DUP3
0000257c: ADD
0000257d: DUP1
0000257e: PUSH1 0x40
00002580: MSTORE
00002581: POP
00002582: DUP2
00002583: ADD
00002584: SWAP1
00002585: PUSH2 0x258e
00002588: SWAP2
00002589: SWAP1
0000258a: PUSH2 0x2dc6
0000258d: JUMP
0000258e: JUMPDEST
0000258f: POP
00002590: SWAP4
00002591: POP
00002592: POP
00002593: SWAP3
00002594: POP
00002595: POP
00002596: TIMESTAMP
00002597: PUSH1 0x08
00002599: PUSH1 0x00
0000259b: DUP7
0000259c: PUSH1 0x01
0000259e: DUP2
0000259f: GT
000025a0: ISZERO
000025a1: PUSH2 0x25ac
000025a4: JUMPI
000025a5: PUSH2 0x25ac
000025a8: PUSH2 0x2a8c
000025ab: JUMP
000025ac: JUMPDEST
000025ad: PUSH1 0x01
000025af: DUP2
000025b0: GT
000025b1: ISZERO
000025b2: PUSH2 0x25bd
000025b5: JUMPI
000025b6: PUSH2 0x25bd
000025b9: PUSH2 0x2a8c
000025bc: JUMP
000025bd: JUMPDEST
000025be: DUP2
000025bf: MSTORE
000025c0: PUSH1 0x20
000025c2: ADD
000025c3: SWAP1
000025c4: DUP2
000025c5: MSTORE
000025c6: PUSH1 0x20
000025c8: ADD
000025c9: PUSH1 0x00
000025cb: KECCAK256
000025cc: SLOAD
000025cd: DUP3
000025ce: PUSH2 0x25d7
000025d1: SWAP2
000025d2: SWAP1
000025d3: PUSH2 0x2ff0
000025d6: JUMP
000025d7: JUMPDEST
000025d8: LT
000025d9: ISZERO
000025da: PUSH2 0x263f
000025dd: JUMPI
000025de: PUSH1 0x40
000025e0: MLOAD
000025e1: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002602: DUP2
00002603: MSTORE
00002604: PUSH1 0x20
00002606: PUSH1 0x04
00002608: DUP3
00002609: ADD
0000260a: MSTORE
0000260b: PUSH1 0x17
0000260d: PUSH1 0x24
0000260f: DUP3
00002610: ADD
00002611: MSTORE
00002612: PUSH32 0x6f7574206f662064617465206f7261636c652064617461000000000000000000
00002633: PUSH1 0x44
00002635: DUP3
00002636: ADD
00002637: MSTORE
00002638: PUSH1 0x64
0000263a: ADD
0000263b: PUSH2 0x07b8
0000263e: JUMP
0000263f: JUMPDEST
00002640: POP
00002641: SWAP3
00002642: SWAP2
00002643: POP
00002644: POP
00002645: JUMP
00002646: JUMPDEST
00002647: PUSH1 0x40
00002649: DUP1
0000264a: MLOAD
0000264b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002660: DUP5
00002661: AND
00002662: PUSH1 0x24
00002664: DUP3
00002665: ADD
00002666: MSTORE
00002667: PUSH1 0x44
00002669: DUP1
0000266a: DUP3
0000266b: ADD
0000266c: DUP5
0000266d: SWAP1
0000266e: MSTORE
0000266f: DUP3
00002670: MLOAD
00002671: DUP1
00002672: DUP4
00002673: SUB
00002674: SWAP1
00002675: SWAP2
00002676: ADD
00002677: DUP2
00002678: MSTORE
00002679: PUSH1 0x64
0000267b: SWAP1
0000267c: SWAP2
0000267d: ADD
0000267e: SWAP1
0000267f: SWAP2
00002680: MSTORE
00002681: PUSH1 0x20
00002683: DUP2
00002684: ADD
00002685: DUP1
00002686: MLOAD
00002687: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000026a4: AND
000026a5: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000
000026c6: OR
000026c7: SWAP1
000026c8: MSTORE
000026c9: PUSH2 0x26d3
000026cc: SWAP1
000026cd: DUP5
000026ce: SWAP1
000026cf: PUSH2 0x274d
000026d2: JUMP
000026d3: JUMPDEST
000026d4: POP
000026d5: POP
000026d6: POP
000026d7: JUMP
000026d8: JUMPDEST
000026d9: PUSH1 0x00
000026db: DUP1
000026dc: SLOAD
000026dd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000026f2: DUP4
000026f3: DUP2
000026f4: AND
000026f5: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00002716: DUP4
00002717: AND
00002718: DUP2
00002719: OR
0000271a: DUP5
0000271b: SSTORE
0000271c: PUSH1 0x40
0000271e: MLOAD
0000271f: SWAP2
00002720: SWAP1
00002721: SWAP3
00002722: AND
00002723: SWAP3
00002724: DUP4
00002725: SWAP2
00002726: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00002747: SWAP2
00002748: SWAP1
00002749: LOG3
0000274a: POP
0000274b: POP
0000274c: JUMP
0000274d: JUMPDEST
0000274e: PUSH1 0x00
00002750: PUSH2 0x27af
00002753: DUP3
00002754: PUSH1 0x40
00002756: MLOAD
00002757: DUP1
00002758: PUSH1 0x40
0000275a: ADD
0000275b: PUSH1 0x40
0000275d: MSTORE
0000275e: DUP1
0000275f: PUSH1 0x20
00002761: DUP2
00002762: MSTORE
00002763: PUSH1 0x20
00002765: ADD
00002766: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564
00002787: DUP2
00002788: MSTORE
00002789: POP
0000278a: DUP6
0000278b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000027a0: AND
000027a1: PUSH2 0x2859
000027a4: SWAP1
000027a5: SWAP3
000027a6: SWAP2
000027a7: SWAP1
000027a8: PUSH4 0xffffffff
000027ad: AND
000027ae: JUMP
000027af: JUMPDEST
000027b0: DUP1
000027b1: MLOAD
000027b2: SWAP1
000027b3: SWAP2
000027b4: POP
000027b5: ISZERO
000027b6: PUSH2 0x26d3
000027b9: JUMPI
000027ba: DUP1
000027bb: DUP1
000027bc: PUSH1 0x20
000027be: ADD
000027bf: SWAP1
000027c0: MLOAD
000027c1: DUP2
000027c2: ADD
000027c3: SWAP1
000027c4: PUSH2 0x27cd
000027c7: SWAP2
000027c8: SWAP1
000027c9: PUSH2 0x3149
000027cc: JUMP
000027cd: JUMPDEST
000027ce: PUSH2 0x26d3
000027d1: JUMPI
000027d2: PUSH1 0x40
000027d4: MLOAD
000027d5: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000027f6: DUP2
000027f7: MSTORE
000027f8: PUSH1 0x20
000027fa: PUSH1 0x04
000027fc: DUP3
000027fd: ADD
000027fe: MSTORE
000027ff: PUSH1 0x2a
00002801: PUSH1 0x24
00002803: DUP3
00002804: ADD
00002805: MSTORE
00002806: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e
00002827: PUSH1 0x44
00002829: DUP3
0000282a: ADD
0000282b: MSTORE
0000282c: PUSH32 0x6f74207375636365656400000000000000000000000000000000000000000000
0000284d: PUSH1 0x64
0000284f: DUP3
00002850: ADD
00002851: MSTORE
00002852: PUSH1 0x84
00002854: ADD
00002855: PUSH2 0x07b8
00002858: JUMP
00002859: JUMPDEST
0000285a: PUSH1 0x60
0000285c: PUSH2 0x10b2
0000285f: DUP5
00002860: DUP5
00002861: PUSH1 0x00
00002863: DUP6
00002864: DUP6
00002865: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000287a: DUP6
0000287b: AND
0000287c: EXTCODESIZE
0000287d: PUSH2 0x28e2
00002880: JUMPI
00002881: PUSH1 0x40
00002883: MLOAD
00002884: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000028a5: DUP2
000028a6: MSTORE
000028a7: PUSH1 0x20
000028a9: PUSH1 0x04
000028ab: DUP3
000028ac: ADD
000028ad: MSTORE
000028ae: PUSH1 0x1d
000028b0: PUSH1 0x24
000028b2: DUP3
000028b3: ADD
000028b4: MSTORE
000028b5: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000
000028d6: PUSH1 0x44
000028d8: DUP3
000028d9: ADD
000028da: MSTORE
000028db: PUSH1 0x64
000028dd: ADD
000028de: PUSH2 0x07b8
000028e1: JUMP
000028e2: JUMPDEST
000028e3: PUSH1 0x00
000028e5: DUP1
000028e6: DUP7
000028e7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000028fc: AND
000028fd: DUP6
000028fe: DUP8
000028ff: PUSH1 0x40
00002901: MLOAD
00002902: PUSH2 0x290b
00002905: SWAP2
00002906: SWAP1
00002907: PUSH2 0x319b
0000290a: JUMP
0000290b: JUMPDEST
0000290c: PUSH1 0x00
0000290e: PUSH1 0x40
00002910: MLOAD
00002911: DUP1
00002912: DUP4
00002913: SUB
00002914: DUP2
00002915: DUP6
00002916: DUP8
00002917: GAS
00002918: CALL
00002919: SWAP3
0000291a: POP
0000291b: POP
0000291c: POP
0000291d: RETURNDATASIZE
0000291e: DUP1
0000291f: PUSH1 0x00
00002921: DUP2
00002922: EQ
00002923: PUSH2 0x2948
00002926: JUMPI
00002927: PUSH1 0x40
00002929: MLOAD
0000292a: SWAP2
0000292b: POP
0000292c: PUSH1 0x1f
0000292e: NOT
0000292f: PUSH1 0x3f
00002931: RETURNDATASIZE
00002932: ADD
00002933: AND
00002934: DUP3
00002935: ADD
00002936: PUSH1 0x40
00002938: MSTORE
00002939: RETURNDATASIZE
0000293a: DUP3
0000293b: MSTORE
0000293c: RETURNDATASIZE
0000293d: PUSH1 0x00
0000293f: PUSH1 0x20
00002941: DUP5
00002942: ADD
00002943: RETURNDATACOPY
00002944: PUSH2 0x294d
00002947: JUMP
00002948: JUMPDEST
00002949: PUSH1 0x60
0000294b: SWAP2
0000294c: POP
0000294d: JUMPDEST
0000294e: POP
0000294f: SWAP2
00002950: POP
00002951: SWAP2
00002952: POP
00002953: PUSH2 0x14c0
00002956: DUP3
00002957: DUP3
00002958: DUP7
00002959: PUSH1 0x60
0000295b: DUP4
0000295c: ISZERO
0000295d: PUSH2 0x2967
00002960: JUMPI
00002961: POP
00002962: DUP2
00002963: PUSH2 0x10b5
00002966: JUMP
00002967: JUMPDEST
00002968: DUP3
00002969: MLOAD
0000296a: ISZERO
0000296b: PUSH2 0x2977
0000296e: JUMPI
0000296f: DUP3
00002970: MLOAD
00002971: DUP1
00002972: DUP5
00002973: PUSH1 0x20
00002975: ADD
00002976: REVERT
00002977: JUMPDEST
00002978: DUP2
00002979: PUSH1 0x40
0000297b: MLOAD
0000297c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000299d: DUP2
0000299e: MSTORE
0000299f: PUSH1 0x04
000029a1: ADD
000029a2: PUSH2 0x07b8
000029a5: SWAP2
000029a6: SWAP1
000029a7: PUSH2 0x31b7
000029aa: JUMP
000029ab: JUMPDEST
000029ac: DUP1
000029ad: CALLDATALOAD
000029ae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000029c3: DUP2
000029c4: AND
000029c5: DUP2
000029c6: EQ
000029c7: PUSH2 0x29cf
000029ca: JUMPI
000029cb: PUSH1 0x00
000029cd: DUP1
000029ce: REVERT
000029cf: JUMPDEST
000029d0: SWAP2
000029d1: SWAP1
000029d2: POP
000029d3: JUMP
000029d4: JUMPDEST
000029d5: PUSH1 0x00
000029d7: DUP1
000029d8: DUP4
000029d9: PUSH1 0x1f
000029db: DUP5
000029dc: ADD
000029dd: SLT
000029de: PUSH2 0x29e6
000029e1: JUMPI
000029e2: PUSH1 0x00
000029e4: DUP1
000029e5: REVERT
000029e6: JUMPDEST
000029e7: POP
000029e8: DUP2
000029e9: CALLDATALOAD
000029ea: PUSH8 0xffffffffffffffff
000029f3: DUP2
000029f4: GT
000029f5: ISZERO
000029f6: PUSH2 0x29fe
000029f9: JUMPI
000029fa: PUSH1 0x00
000029fc: DUP1
000029fd: REVERT
000029fe: JUMPDEST
000029ff: PUSH1 0x20
00002a01: DUP4
00002a02: ADD
00002a03: SWAP2
00002a04: POP
00002a05: DUP4
00002a06: PUSH1 0x20
00002a08: DUP3
00002a09: DUP6
00002a0a: ADD
00002a0b: ADD
00002a0c: GT
00002a0d: ISZERO
00002a0e: PUSH2 0x2a16
00002a11: JUMPI
00002a12: PUSH1 0x00
00002a14: DUP1
00002a15: REVERT
00002a16: JUMPDEST
00002a17: SWAP3
00002a18: POP
00002a19: SWAP3
00002a1a: SWAP1
00002a1b: POP
00002a1c: JUMP
00002a1d: JUMPDEST
00002a1e: PUSH1 0x00
00002a20: DUP1
00002a21: PUSH1 0x00
00002a23: DUP1
00002a24: PUSH1 0x00
00002a26: PUSH1 0x80
00002a28: DUP7
00002a29: DUP9
00002a2a: SUB
00002a2b: SLT
00002a2c: ISZERO
00002a2d: PUSH2 0x2a35
00002a30: JUMPI
00002a31: PUSH1 0x00
00002a33: DUP1
00002a34: REVERT
00002a35: JUMPDEST
00002a36: PUSH2 0x2a3e
00002a39: DUP7
00002a3a: PUSH2 0x29ab
00002a3d: JUMP
00002a3e: JUMPDEST
00002a3f: SWAP5
00002a40: POP
00002a41: PUSH1 0x20
00002a43: DUP7
00002a44: ADD
00002a45: CALLDATALOAD
00002a46: SWAP4
00002a47: POP
00002a48: PUSH1 0x40
00002a4a: DUP7
00002a4b: ADD
00002a4c: CALLDATALOAD
00002a4d: PUSH8 0xffffffffffffffff
00002a56: DUP2
00002a57: GT
00002a58: ISZERO
00002a59: PUSH2 0x2a61
00002a5c: JUMPI
00002a5d: PUSH1 0x00
00002a5f: DUP1
00002a60: REVERT
00002a61: JUMPDEST
00002a62: PUSH2 0x2a6d
00002a65: DUP9
00002a66: DUP3
00002a67: DUP10
00002a68: ADD
00002a69: PUSH2 0x29d4
00002a6c: JUMP
00002a6d: JUMPDEST
00002a6e: SWAP1
00002a6f: SWAP5
00002a70: POP
00002a71: SWAP3
00002a72: POP
00002a73: PUSH2 0x2a80
00002a76: SWAP1
00002a77: POP
00002a78: PUSH1 0x60
00002a7a: DUP8
00002a7b: ADD
00002a7c: PUSH2 0x29ab
00002a7f: JUMP
00002a80: JUMPDEST
00002a81: SWAP1
00002a82: POP
00002a83: SWAP3
00002a84: SWAP6
00002a85: POP
00002a86: SWAP3
00002a87: SWAP6
00002a88: SWAP1
00002a89: SWAP4
00002a8a: POP
00002a8b: JUMP
00002a8c: JUMPDEST
00002a8d: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00002aae: PUSH1 0x00
00002ab0: MSTORE
00002ab1: PUSH1 0x21
00002ab3: PUSH1 0x04
00002ab5: MSTORE
00002ab6: PUSH1 0x24
00002ab8: PUSH1 0x00
00002aba: REVERT
00002abb: JUMPDEST
00002abc: PUSH1 0x03
00002abe: DUP2
00002abf: LT
00002ac0: PUSH2 0x22fc
00002ac3: JUMPI
00002ac4: PUSH2 0x22fc
00002ac7: PUSH2 0x2a8c
00002aca: JUMP
00002acb: JUMPDEST
00002acc: PUSH1 0x20
00002ace: DUP2
00002acf: ADD
00002ad0: PUSH2 0x2ad8
00002ad3: DUP4
00002ad4: PUSH2 0x2abb
00002ad7: JUMP
00002ad8: JUMPDEST
00002ad9: SWAP2
00002ada: SWAP1
00002adb: MSTORE
00002adc: SWAP1
00002add: JUMP
00002ade: JUMPDEST
00002adf: PUSH1 0x02
00002ae1: DUP2
00002ae2: LT
00002ae3: PUSH2 0x22fc
00002ae6: JUMPI
00002ae7: PUSH1 0x00
00002ae9: DUP1
00002aea: REVERT
00002aeb: JUMPDEST
00002aec: PUSH1 0x00
00002aee: DUP1
00002aef: PUSH1 0x40
00002af1: DUP4
00002af2: DUP6
00002af3: SUB
00002af4: SLT
00002af5: ISZERO
00002af6: PUSH2 0x2afe
00002af9: JUMPI
00002afa: PUSH1 0x00
00002afc: DUP1
00002afd: REVERT
00002afe: JUMPDEST
00002aff: DUP3
00002b00: CALLDATALOAD
00002b01: PUSH2 0x2b09
00002b04: DUP2
00002b05: PUSH2 0x2ade
00002b08: JUMP
00002b09: JUMPDEST
00002b0a: SWAP2
00002b0b: POP
00002b0c: PUSH2 0x2b17
00002b0f: PUSH1 0x20
00002b11: DUP5
00002b12: ADD
00002b13: PUSH2 0x29ab
00002b16: JUMP
00002b17: JUMPDEST
00002b18: SWAP1
00002b19: POP
00002b1a: SWAP3
00002b1b: POP
00002b1c: SWAP3
00002b1d: SWAP1
00002b1e: POP
00002b1f: JUMP
00002b20: JUMPDEST
00002b21: PUSH1 0x00
00002b23: DUP1
00002b24: PUSH1 0x20
00002b26: DUP4
00002b27: DUP6
00002b28: SUB
00002b29: SLT
00002b2a: ISZERO
00002b2b: PUSH2 0x2b33
00002b2e: JUMPI
00002b2f: PUSH1 0x00
00002b31: DUP1
00002b32: REVERT
00002b33: JUMPDEST
00002b34: DUP3
00002b35: CALLDATALOAD
00002b36: PUSH8 0xffffffffffffffff
00002b3f: DUP2
00002b40: GT
00002b41: ISZERO
00002b42: PUSH2 0x2b4a
00002b45: JUMPI
00002b46: PUSH1 0x00
00002b48: DUP1
00002b49: REVERT
00002b4a: JUMPDEST
00002b4b: PUSH2 0x2b56
00002b4e: DUP6
00002b4f: DUP3
00002b50: DUP7
00002b51: ADD
00002b52: PUSH2 0x29d4
00002b55: JUMP
00002b56: JUMPDEST
00002b57: SWAP1
00002b58: SWAP7
00002b59: SWAP1
00002b5a: SWAP6
00002b5b: POP
00002b5c: SWAP4
00002b5d: POP
00002b5e: POP
00002b5f: POP
00002b60: POP
00002b61: JUMP
00002b62: JUMPDEST
00002b63: DUP1
00002b64: CALLDATALOAD
00002b65: PUSH1 0x03
00002b67: DUP2
00002b68: LT
00002b69: PUSH2 0x29cf
00002b6c: JUMPI
00002b6d: PUSH1 0x00
00002b6f: DUP1
00002b70: REVERT
00002b71: JUMPDEST
00002b72: PUSH1 0x00
00002b74: DUP1
00002b75: PUSH1 0x00
00002b77: PUSH1 0x60
00002b79: DUP5
00002b7a: DUP7
00002b7b: SUB
00002b7c: SLT
00002b7d: ISZERO
00002b7e: PUSH2 0x2b86
00002b81: JUMPI
00002b82: PUSH1 0x00
00002b84: DUP1
00002b85: REVERT
00002b86: JUMPDEST
00002b87: DUP4
00002b88: CALLDATALOAD
00002b89: PUSH2 0x2b91
00002b8c: DUP2
00002b8d: PUSH2 0x2ade
00002b90: JUMP
00002b91: JUMPDEST
00002b92: SWAP3
00002b93: POP
00002b94: PUSH2 0x2b9f
00002b97: PUSH1 0x20
00002b99: DUP6
00002b9a: ADD
00002b9b: PUSH2 0x29ab
00002b9e: JUMP
00002b9f: JUMPDEST
00002ba0: SWAP2
00002ba1: POP
00002ba2: PUSH2 0x2bad
00002ba5: PUSH1 0x40
00002ba7: DUP6
00002ba8: ADD
00002ba9: PUSH2 0x2b62
00002bac: JUMP
00002bad: JUMPDEST
00002bae: SWAP1
00002baf: POP
00002bb0: SWAP3
00002bb1: POP
00002bb2: SWAP3
00002bb3: POP
00002bb4: SWAP3
00002bb5: JUMP
00002bb6: JUMPDEST
00002bb7: PUSH1 0x00
00002bb9: PUSH1 0x20
00002bbb: DUP3
00002bbc: DUP5
00002bbd: SUB
00002bbe: SLT
00002bbf: ISZERO
00002bc0: PUSH2 0x2bc8
00002bc3: JUMPI
00002bc4: PUSH1 0x00
00002bc6: DUP1
00002bc7: REVERT
00002bc8: JUMPDEST
00002bc9: POP
00002bca: CALLDATALOAD
00002bcb: SWAP2
00002bcc: SWAP1
00002bcd: POP
00002bce: JUMP
00002bcf: JUMPDEST
00002bd0: PUSH1 0x00
00002bd2: DUP1
00002bd3: PUSH1 0x40
00002bd5: DUP4
00002bd6: DUP6
00002bd7: SUB
00002bd8: SLT
00002bd9: ISZERO
00002bda: PUSH2 0x2be2
00002bdd: JUMPI
00002bde: PUSH1 0x00
00002be0: DUP1
00002be1: REVERT
00002be2: JUMPDEST
00002be3: DUP3
00002be4: CALLDATALOAD
00002be5: PUSH2 0x2bed
00002be8: DUP2
00002be9: PUSH2 0x2ade
00002bec: JUMP
00002bed: JUMPDEST
00002bee: SWAP5
00002bef: PUSH1 0x20
00002bf1: SWAP4
00002bf2: SWAP1
00002bf3: SWAP4
00002bf4: ADD
00002bf5: CALLDATALOAD
00002bf6: SWAP4
00002bf7: POP
00002bf8: POP
00002bf9: POP
00002bfa: JUMP
00002bfb: JUMPDEST
00002bfc: PUSH1 0x00
00002bfe: DUP1
00002bff: PUSH1 0x40
00002c01: DUP4
00002c02: DUP6
00002c03: SUB
00002c04: SLT
00002c05: ISZERO
00002c06: PUSH2 0x2c0e
00002c09: JUMPI
00002c0a: PUSH1 0x00
00002c0c: DUP1
00002c0d: REVERT
00002c0e: JUMPDEST
00002c0f: PUSH2 0x2bed
00002c12: DUP4
00002c13: PUSH2 0x29ab
00002c16: JUMP
00002c17: JUMPDEST
00002c18: PUSH1 0x00
00002c1a: PUSH1 0x20
00002c1c: DUP3
00002c1d: DUP5
00002c1e: SUB
00002c1f: SLT
00002c20: ISZERO
00002c21: PUSH2 0x2c29
00002c24: JUMPI
00002c25: PUSH1 0x00
00002c27: DUP1
00002c28: REVERT
00002c29: JUMPDEST
00002c2a: PUSH2 0x10b5
00002c2d: DUP3
00002c2e: PUSH2 0x29ab
00002c31: JUMP
00002c32: JUMPDEST
00002c33: PUSH1 0x00
00002c35: PUSH1 0x20
00002c37: DUP3
00002c38: DUP5
00002c39: SUB
00002c3a: SLT
00002c3b: ISZERO
00002c3c: PUSH2 0x2c44
00002c3f: JUMPI
00002c40: PUSH1 0x00
00002c42: DUP1
00002c43: REVERT
00002c44: JUMPDEST
00002c45: DUP2
00002c46: CALLDATALOAD
00002c47: PUSH2 0x10b5
00002c4a: DUP2
00002c4b: PUSH2 0x2ade
00002c4e: JUMP
00002c4f: JUMPDEST
00002c50: DUP1
00002c51: CALLDATALOAD
00002c52: PUSH8 0xffffffffffffffff
00002c5b: DUP2
00002c5c: AND
00002c5d: DUP2
00002c5e: EQ
00002c5f: PUSH2 0x29cf
00002c62: JUMPI
00002c63: PUSH1 0x00
00002c65: DUP1
00002c66: REVERT
00002c67: JUMPDEST
00002c68: PUSH1 0x00
00002c6a: DUP1
00002c6b: PUSH1 0x00
00002c6d: DUP1
00002c6e: PUSH1 0x00
00002c70: DUP1
00002c71: PUSH1 0x00
00002c73: PUSH1 0xc0
00002c75: DUP9
00002c76: DUP11
00002c77: SUB
00002c78: SLT
00002c79: ISZERO
00002c7a: PUSH2 0x2c82
00002c7d: JUMPI
00002c7e: PUSH1 0x00
00002c80: DUP1
00002c81: REVERT
00002c82: JUMPDEST
00002c83: PUSH2 0x2c8b
00002c86: DUP9
00002c87: PUSH2 0x29ab
00002c8a: JUMP
00002c8b: JUMPDEST
00002c8c: SWAP7
00002c8d: POP
00002c8e: PUSH2 0x2c99
00002c91: PUSH1 0x20
00002c93: DUP10
00002c94: ADD
00002c95: PUSH2 0x29ab
00002c98: JUMP
00002c99: JUMPDEST
00002c9a: SWAP6
00002c9b: POP
00002c9c: PUSH1 0x40
00002c9e: DUP9
00002c9f: ADD
00002ca0: CALLDATALOAD
00002ca1: SWAP5
00002ca2: POP
00002ca3: PUSH2 0x2cae
00002ca6: PUSH1 0x60
00002ca8: DUP10
00002ca9: ADD
00002caa: PUSH2 0x2c4f
00002cad: JUMP
00002cae: JUMPDEST
00002caf: SWAP4
00002cb0: POP
00002cb1: PUSH1 0x80
00002cb3: DUP9
00002cb4: ADD
00002cb5: CALLDATALOAD
00002cb6: PUSH8 0xffffffffffffffff
00002cbf: DUP2
00002cc0: GT
00002cc1: ISZERO
00002cc2: PUSH2 0x2cca
00002cc5: JUMPI
00002cc6: PUSH1 0x00
00002cc8: DUP1
00002cc9: REVERT
00002cca: JUMPDEST
00002ccb: PUSH2 0x2cd6
00002cce: DUP11
00002ccf: DUP3
00002cd0: DUP12
00002cd1: ADD
00002cd2: PUSH2 0x29d4
00002cd5: JUMP
00002cd6: JUMPDEST
00002cd7: SWAP1
00002cd8: SWAP5
00002cd9: POP
00002cda: SWAP3
00002cdb: POP
00002cdc: PUSH2 0x2ce9
00002cdf: SWAP1
00002ce0: POP
00002ce1: PUSH1 0xa0
00002ce3: DUP10
00002ce4: ADD
00002ce5: PUSH2 0x29ab
00002ce8: JUMP
00002ce9: JUMPDEST
00002cea: SWAP1
00002ceb: POP
00002cec: SWAP3
00002ced: SWAP6
00002cee: SWAP9
00002cef: SWAP2
00002cf0: SWAP5
00002cf1: SWAP8
00002cf2: POP
00002cf3: SWAP3
00002cf4: SWAP6
00002cf5: POP
00002cf6: JUMP
00002cf7: JUMPDEST
00002cf8: PUSH1 0x00
00002cfa: DUP1
00002cfb: PUSH1 0x00
00002cfd: DUP1
00002cfe: PUSH1 0x00
00002d00: PUSH1 0x80
00002d02: DUP7
00002d03: DUP9
00002d04: SUB
00002d05: SLT
00002d06: ISZERO
00002d07: PUSH2 0x2d0f
00002d0a: JUMPI
00002d0b: PUSH1 0x00
00002d0d: DUP1
00002d0e: REVERT
00002d0f: JUMPDEST
00002d10: PUSH2 0x2d18
00002d13: DUP7
00002d14: PUSH2 0x29ab
00002d17: JUMP
00002d18: JUMPDEST
00002d19: SWAP5
00002d1a: POP
00002d1b: PUSH2 0x2d26
00002d1e: PUSH1 0x20
00002d20: DUP8
00002d21: ADD
00002d22: PUSH2 0x2c4f
00002d25: JUMP
00002d26: JUMPDEST
00002d27: SWAP4
00002d28: POP
00002d29: PUSH1 0x40
00002d2b: DUP7
00002d2c: ADD
00002d2d: CALLDATALOAD
00002d2e: PUSH8 0xffffffffffffffff
00002d37: DUP2
00002d38: GT
00002d39: ISZERO
00002d3a: PUSH2 0x2a61
00002d3d: JUMPI
00002d3e: PUSH1 0x00
00002d40: DUP1
00002d41: REVERT
00002d42: JUMPDEST
00002d43: PUSH1 0x00
00002d45: DUP1
00002d46: PUSH1 0x00
00002d48: PUSH1 0x60
00002d4a: DUP5
00002d4b: DUP7
00002d4c: SUB
00002d4d: SLT
00002d4e: ISZERO
00002d4f: PUSH2 0x2d57
00002d52: JUMPI
00002d53: PUSH1 0x00
00002d55: DUP1
00002d56: REVERT
00002d57: JUMPDEST
00002d58: DUP4
00002d59: CALLDATALOAD
00002d5a: PUSH2 0x2d62
00002d5d: DUP2
00002d5e: PUSH2 0x2ade
00002d61: JUMP
00002d62: JUMPDEST
00002d63: SWAP3
00002d64: POP
00002d65: PUSH2 0x2d70
00002d68: PUSH1 0x20
00002d6a: DUP6
00002d6b: ADD
00002d6c: PUSH2 0x2b62
00002d6f: JUMP
00002d70: JUMPDEST
00002d71: SWAP2
00002d72: POP
00002d73: PUSH1 0x40
00002d75: DUP5
00002d76: ADD
00002d77: CALLDATALOAD
00002d78: SWAP1
00002d79: POP
00002d7a: SWAP3
00002d7b: POP
00002d7c: SWAP3
00002d7d: POP
00002d7e: SWAP3
00002d7f: JUMP
00002d80: JUMPDEST
00002d81: PUSH1 0x00
00002d83: DUP1
00002d84: PUSH1 0x40
00002d86: DUP4
00002d87: DUP6
00002d88: SUB
00002d89: SLT
00002d8a: ISZERO
00002d8b: PUSH2 0x2d93
00002d8e: JUMPI
00002d8f: PUSH1 0x00
00002d91: DUP1
00002d92: REVERT
00002d93: JUMPDEST
00002d94: DUP3
00002d95: CALLDATALOAD
00002d96: PUSH2 0x2d9e
00002d99: DUP2
00002d9a: PUSH2 0x2ade
00002d9d: JUMP
00002d9e: JUMPDEST
00002d9f: SWAP2
00002da0: POP
00002da1: PUSH2 0x2b17
00002da4: PUSH1 0x20
00002da6: DUP5
00002da7: ADD
00002da8: PUSH2 0x2b62
00002dab: JUMP
00002dac: JUMPDEST
00002dad: DUP1
00002dae: MLOAD
00002daf: PUSH10 0xffffffffffffffffffff
00002dba: DUP2
00002dbb: AND
00002dbc: DUP2
00002dbd: EQ
00002dbe: PUSH2 0x29cf
00002dc1: JUMPI
00002dc2: PUSH1 0x00
00002dc4: DUP1
00002dc5: REVERT
00002dc6: JUMPDEST
00002dc7: PUSH1 0x00
00002dc9: DUP1
00002dca: PUSH1 0x00
00002dcc: DUP1
00002dcd: PUSH1 0x00
00002dcf: PUSH1 0xa0
00002dd1: DUP7
00002dd2: DUP9
00002dd3: SUB
00002dd4: SLT
00002dd5: ISZERO
00002dd6: PUSH2 0x2dde
00002dd9: JUMPI
00002dda: PUSH1 0x00
00002ddc: DUP1
00002ddd: REVERT
00002dde: JUMPDEST
00002ddf: PUSH2 0x2de7
00002de2: DUP7
00002de3: PUSH2 0x2dac
00002de6: JUMP
00002de7: JUMPDEST
00002de8: SWAP5
00002de9: POP
00002dea: PUSH1 0x20
00002dec: DUP7
00002ded: ADD
00002dee: MLOAD
00002def: SWAP4
00002df0: POP
00002df1: PUSH1 0x40
00002df3: DUP7
00002df4: ADD
00002df5: MLOAD
00002df6: SWAP3
00002df7: POP
00002df8: PUSH1 0x60
00002dfa: DUP7
00002dfb: ADD
00002dfc: MLOAD
00002dfd: SWAP2
00002dfe: POP
00002dff: PUSH2 0x2a80
00002e02: PUSH1 0x80
00002e04: DUP8
00002e05: ADD
00002e06: PUSH2 0x2dac
00002e09: JUMP
00002e0a: JUMPDEST
00002e0b: PUSH1 0x00
00002e0d: PUSH1 0xe0
00002e0f: DUP3
00002e10: DUP5
00002e11: SUB
00002e12: SLT
00002e13: ISZERO
00002e14: PUSH2 0x2e1c
00002e17: JUMPI
00002e18: PUSH1 0x00
00002e1a: DUP1
00002e1b: REVERT
00002e1c: JUMPDEST
00002e1d: PUSH1 0x40
00002e1f: MLOAD
00002e20: PUSH1 0xe0
00002e22: DUP2
00002e23: ADD
00002e24: DUP2
00002e25: DUP2
00002e26: LT
00002e27: PUSH8 0xffffffffffffffff
00002e30: DUP3
00002e31: GT
00002e32: OR
00002e33: ISZERO
00002e34: PUSH2 0x2e66
00002e37: JUMPI
00002e38: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00002e59: PUSH1 0x00
00002e5b: MSTORE
00002e5c: PUSH1 0x41
00002e5e: PUSH1 0x04
00002e60: MSTORE
00002e61: PUSH1 0x24
00002e63: PUSH1 0x00
00002e65: REVERT
00002e66: JUMPDEST
00002e67: PUSH1 0x40
00002e69: MSTORE
00002e6a: PUSH2 0x2e72
00002e6d: DUP4
00002e6e: PUSH2 0x29ab
00002e71: JUMP
00002e72: JUMPDEST
00002e73: DUP2
00002e74: MSTORE
00002e75: PUSH2 0x2e80
00002e78: PUSH1 0x20
00002e7a: DUP5
00002e7b: ADD
00002e7c: PUSH2 0x2c4f
00002e7f: JUMP
00002e80: JUMPDEST
00002e81: PUSH1 0x20
00002e83: DUP3
00002e84: ADD
00002e85: MSTORE
00002e86: PUSH2 0x2e91
00002e89: PUSH1 0x40
00002e8b: DUP5
00002e8c: ADD
00002e8d: PUSH2 0x2c4f
00002e90: JUMP
00002e91: JUMPDEST
00002e92: PUSH1 0x40
00002e94: DUP3
00002e95: ADD
00002e96: MSTORE
00002e97: PUSH2 0x2ea2
00002e9a: PUSH1 0x60
00002e9c: DUP5
00002e9d: ADD
00002e9e: PUSH2 0x29ab
00002ea1: JUMP
00002ea2: JUMPDEST
00002ea3: PUSH1 0x60
00002ea5: DUP3
00002ea6: ADD
00002ea7: MSTORE
00002ea8: PUSH1 0x80
00002eaa: DUP4
00002eab: ADD
00002eac: CALLDATALOAD
00002ead: PUSH1 0x80
00002eaf: DUP3
00002eb0: ADD
00002eb1: MSTORE
00002eb2: PUSH1 0xa0
00002eb4: DUP4
00002eb5: ADD
00002eb6: CALLDATALOAD
00002eb7: PUSH1 0xa0
00002eb9: DUP3
00002eba: ADD
00002ebb: MSTORE
00002ebc: PUSH2 0x2ec7
00002ebf: PUSH1 0xc0
00002ec1: DUP5
00002ec2: ADD
00002ec3: PUSH2 0x2b62
00002ec6: JUMP
00002ec7: JUMPDEST
00002ec8: PUSH1 0xc0
00002eca: DUP3
00002ecb: ADD
00002ecc: MSTORE
00002ecd: SWAP4
00002ece: SWAP3
00002ecf: POP
00002ed0: POP
00002ed1: POP
00002ed2: JUMP
00002ed3: JUMPDEST
00002ed4: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00002ef5: PUSH1 0x00
00002ef7: MSTORE
00002ef8: PUSH1 0x11
00002efa: PUSH1 0x04
00002efc: MSTORE
00002efd: PUSH1 0x24
00002eff: PUSH1 0x00
00002f01: REVERT
00002f02: JUMPDEST
00002f03: PUSH1 0x00
00002f05: DUP2
00002f06: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002f27: DIV
00002f28: DUP4
00002f29: GT
00002f2a: DUP3
00002f2b: ISZERO
00002f2c: ISZERO
00002f2d: AND
00002f2e: ISZERO
00002f2f: PUSH2 0x2f3a
00002f32: JUMPI
00002f33: PUSH2 0x2f3a
00002f36: PUSH2 0x2ed3
00002f39: JUMP
00002f3a: JUMPDEST
00002f3b: POP
00002f3c: MUL
00002f3d: SWAP1
00002f3e: JUMP
00002f3f: JUMPDEST
00002f40: PUSH1 0x00
00002f42: DUP3
00002f43: PUSH2 0x2f75
00002f46: JUMPI
00002f47: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00002f68: PUSH1 0x00
00002f6a: MSTORE
00002f6b: PUSH1 0x12
00002f6d: PUSH1 0x04
00002f6f: MSTORE
00002f70: PUSH1 0x24
00002f72: PUSH1 0x00
00002f74: REVERT
00002f75: JUMPDEST
00002f76: POP
00002f77: DIV
00002f78: SWAP1
00002f79: JUMP
00002f7a: JUMPDEST
00002f7b: DUP2
00002f7c: DUP4
00002f7d: MSTORE
00002f7e: DUP2
00002f7f: DUP2
00002f80: PUSH1 0x20
00002f82: DUP6
00002f83: ADD
00002f84: CALLDATACOPY
00002f85: POP
00002f86: PUSH1 0x00
00002f88: PUSH1 0x20
00002f8a: DUP3
00002f8b: DUP5
00002f8c: ADD
00002f8d: ADD
00002f8e: MSTORE
00002f8f: PUSH1 0x00
00002f91: PUSH1 0x20
00002f93: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00002fb4: PUSH1 0x1f
00002fb6: DUP5
00002fb7: ADD
00002fb8: AND
00002fb9: DUP5
00002fba: ADD
00002fbb: ADD
00002fbc: SWAP1
00002fbd: POP
00002fbe: SWAP3
00002fbf: SWAP2
00002fc0: POP
00002fc1: POP
00002fc2: JUMP
00002fc3: JUMPDEST
00002fc4: PUSH1 0x20
00002fc6: DUP2
00002fc7: MSTORE
00002fc8: PUSH1 0x00
00002fca: PUSH2 0x10b2
00002fcd: PUSH1 0x20
00002fcf: DUP4
00002fd0: ADD
00002fd1: DUP5
00002fd2: DUP7
00002fd3: PUSH2 0x2f7a
00002fd6: JUMP
00002fd7: JUMPDEST
00002fd8: PUSH1 0x00
00002fda: PUSH1 0x20
00002fdc: DUP3
00002fdd: DUP5
00002fde: SUB
00002fdf: SLT
00002fe0: ISZERO
00002fe1: PUSH2 0x2fe9
00002fe4: JUMPI
00002fe5: PUSH1 0x00
00002fe7: DUP1
00002fe8: REVERT
00002fe9: JUMPDEST
00002fea: POP
00002feb: MLOAD
00002fec: SWAP2
00002fed: SWAP1
00002fee: POP
00002fef: JUMP
00002ff0: JUMPDEST
00002ff1: PUSH1 0x00
00002ff3: DUP3
00002ff4: NOT
00002ff5: DUP3
00002ff6: GT
00002ff7: ISZERO
00002ff8: PUSH2 0x3003
00002ffb: JUMPI
00002ffc: PUSH2 0x3003
00002fff: PUSH2 0x2ed3
00003002: JUMP
00003003: JUMPDEST
00003004: POP
00003005: ADD
00003006: SWAP1
00003007: JUMP
00003008: JUMPDEST
00003009: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000301e: DUP6
0000301f: AND
00003020: DUP2
00003021: MSTORE
00003022: PUSH8 0xffffffffffffffff
0000302b: DUP5
0000302c: AND
0000302d: PUSH1 0x20
0000302f: DUP3
00003030: ADD
00003031: MSTORE
00003032: PUSH1 0x60
00003034: PUSH1 0x40
00003036: DUP3
00003037: ADD
00003038: MSTORE
00003039: PUSH1 0x00
0000303b: PUSH2 0x3048
0000303e: PUSH1 0x60
00003040: DUP4
00003041: ADD
00003042: DUP5
00003043: DUP7
00003044: PUSH2 0x2f7a
00003047: JUMP
00003048: JUMPDEST
00003049: SWAP7
0000304a: SWAP6
0000304b: POP
0000304c: POP
0000304d: POP
0000304e: POP
0000304f: POP
00003050: POP
00003051: JUMP
00003052: JUMPDEST
00003053: PUSH1 0x00
00003055: PUSH8 0xffffffffffffffff
0000305e: DUP1
0000305f: DUP4
00003060: AND
00003061: DUP2
00003062: DUP2
00003063: EQ
00003064: ISZERO
00003065: PUSH2 0x3070
00003068: JUMPI
00003069: PUSH2 0x3070
0000306c: PUSH2 0x2ed3
0000306f: JUMP
00003070: JUMPDEST
00003071: PUSH1 0x01
00003073: ADD
00003074: SWAP4
00003075: SWAP3
00003076: POP
00003077: POP
00003078: POP
00003079: JUMP
0000307a: JUMPDEST
0000307b: PUSH1 0x00
0000307d: DUP3
0000307e: DUP3
0000307f: LT
00003080: ISZERO
00003081: PUSH2 0x308c
00003084: JUMPI
00003085: PUSH2 0x308c
00003088: PUSH2 0x2ed3
0000308b: JUMP
0000308c: JUMPDEST
0000308d: POP
0000308e: SUB
0000308f: SWAP1
00003090: JUMP
00003091: JUMPDEST
00003092: PUSH1 0x02
00003094: DUP2
00003095: LT
00003096: PUSH2 0x22fc
00003099: JUMPI
0000309a: PUSH2 0x22fc
0000309d: PUSH2 0x2a8c
000030a0: JUMP
000030a1: JUMPDEST
000030a2: PUSH1 0x40
000030a4: DUP2
000030a5: ADD
000030a6: PUSH2 0x30ae
000030a9: DUP5
000030aa: PUSH2 0x3091
000030ad: JUMP
000030ae: JUMPDEST
000030af: SWAP3
000030b0: DUP2
000030b1: MSTORE
000030b2: PUSH1 0x20
000030b4: ADD
000030b5: MSTORE
000030b6: SWAP1
000030b7: JUMP
000030b8: JUMPDEST
000030b9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000030ce: DUP9
000030cf: DUP2
000030d0: AND
000030d1: DUP3
000030d2: MSTORE
000030d3: PUSH8 0xffffffffffffffff
000030dc: DUP9
000030dd: DUP2
000030de: AND
000030df: PUSH1 0x20
000030e1: DUP5
000030e2: ADD
000030e3: MSTORE
000030e4: DUP8
000030e5: AND
000030e6: PUSH1 0x40
000030e8: DUP4
000030e9: ADD
000030ea: MSTORE
000030eb: PUSH1 0xe0
000030ed: DUP3
000030ee: ADD
000030ef: SWAP1
000030f0: PUSH2 0x30f8
000030f3: DUP8
000030f4: PUSH2 0x2abb
000030f7: JUMP
000030f8: JUMPDEST
000030f9: DUP7
000030fa: PUSH1 0x60
000030fc: DUP5
000030fd: ADD
000030fe: MSTORE
000030ff: DUP1
00003100: DUP7
00003101: AND
00003102: PUSH1 0x80
00003104: DUP5
00003105: ADD
00003106: MSTORE
00003107: POP
00003108: DUP4
00003109: PUSH1 0xa0
0000310b: DUP4
0000310c: ADD
0000310d: MSTORE
0000310e: DUP3
0000310f: PUSH1 0xc0
00003111: DUP4
00003112: ADD
00003113: MSTORE
00003114: SWAP9
00003115: SWAP8
00003116: POP
00003117: POP
00003118: POP
00003119: POP
0000311a: POP
0000311b: POP
0000311c: POP
0000311d: POP
0000311e: JUMP
0000311f: JUMPDEST
00003120: PUSH1 0x60
00003122: DUP2
00003123: ADD
00003124: PUSH2 0x312c
00003127: DUP6
00003128: PUSH2 0x3091
0000312b: JUMP
0000312c: JUMPDEST
0000312d: DUP5
0000312e: DUP3
0000312f: MSTORE
00003130: PUSH2 0x3138
00003133: DUP5
00003134: PUSH2 0x2abb
00003137: JUMP
00003138: JUMPDEST
00003139: PUSH1 0x20
0000313b: DUP3
0000313c: ADD
0000313d: SWAP4
0000313e: SWAP1
0000313f: SWAP4
00003140: MSTORE
00003141: PUSH1 0x40
00003143: ADD
00003144: MSTORE
00003145: SWAP2
00003146: SWAP1
00003147: POP
00003148: JUMP
00003149: JUMPDEST
0000314a: PUSH1 0x00
0000314c: PUSH1 0x20
0000314e: DUP3
0000314f: DUP5
00003150: SUB
00003151: SLT
00003152: ISZERO
00003153: PUSH2 0x315b
00003156: JUMPI
00003157: PUSH1 0x00
00003159: DUP1
0000315a: REVERT
0000315b: JUMPDEST
0000315c: DUP2
0000315d: MLOAD
0000315e: DUP1
0000315f: ISZERO
00003160: ISZERO
00003161: DUP2
00003162: EQ
00003163: PUSH2 0x10b5
00003166: JUMPI
00003167: PUSH1 0x00
00003169: DUP1
0000316a: REVERT
0000316b: JUMPDEST
0000316c: PUSH1 0x00
0000316e: JUMPDEST
0000316f: DUP4
00003170: DUP2
00003171: LT
00003172: ISZERO
00003173: PUSH2 0x3186
00003176: JUMPI
00003177: DUP2
00003178: DUP2
00003179: ADD
0000317a: MLOAD
0000317b: DUP4
0000317c: DUP3
0000317d: ADD
0000317e: MSTORE
0000317f: PUSH1 0x20
00003181: ADD
00003182: PUSH2 0x316e
00003185: JUMP
00003186: JUMPDEST
00003187: DUP4
00003188: DUP2
00003189: GT
0000318a: ISZERO
0000318b: PUSH2 0x3195
0000318e: JUMPI
0000318f: PUSH1 0x00
00003191: DUP5
00003192: DUP5
00003193: ADD
00003194: MSTORE
00003195: JUMPDEST
00003196: POP
00003197: POP
00003198: POP
00003199: POP
0000319a: JUMP
0000319b: JUMPDEST
0000319c: PUSH1 0x00
0000319e: DUP3
0000319f: MLOAD
000031a0: PUSH2 0x31ad
000031a3: DUP2
000031a4: DUP5
000031a5: PUSH1 0x20
000031a7: DUP8
000031a8: ADD
000031a9: PUSH2 0x316b
000031ac: JUMP
000031ad: JUMPDEST
000031ae: SWAP2
000031af: SWAP1
000031b0: SWAP2
000031b1: ADD
000031b2: SWAP3
000031b3: SWAP2
000031b4: POP
000031b5: POP
000031b6: JUMP
000031b7: JUMPDEST
000031b8: PUSH1 0x20
000031ba: DUP2
000031bb: MSTORE
000031bc: PUSH1 0x00
000031be: DUP3
000031bf: MLOAD
000031c0: DUP1
000031c1: PUSH1 0x20
000031c3: DUP5
000031c4: ADD
000031c5: MSTORE
000031c6: PUSH2 0x31d6
000031c9: DUP2
000031ca: PUSH1 0x40
000031cc: DUP6
000031cd: ADD
000031ce: PUSH1 0x20
000031d0: DUP8
000031d1: ADD
000031d2: PUSH2 0x316b
000031d5: JUMP
000031d6: JUMPDEST
000031d7: PUSH1 0x1f
000031d9: ADD
000031da: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
000031fb: AND
000031fc: SWAP2
000031fd: SWAP1
000031fe: SWAP2
000031ff: ADD
00003200: PUSH1 0x40
00003202: ADD
00003203: SWAP3
00003204: SWAP2
00003205: POP
00003206: POP
00003207: JUMP
00003208: INVALID
00003209: LOG2
0000320a: PUSH5 0x6970667358
00003210: UNKNOWN(0x22)
00003211: SLT
00003212: KECCAK256
00003213: UNKNOWN(0xCA)
00003214: UNKNOWN(0xB5)
00003215: CODECOPY
00003216: UNKNOWN(0x4D)
00003217: LOG4
00003218: GASLIMIT
00003219: SWAP1
0000321a: UNKNOWN(0x22)
0000321b: UNKNOWN(0xAB)
0000321c: UNKNOWN(0x4C)
0000321d: SWAP8
0000321e: UNKNOWN(0x0E)
0000321f: SWAP9
00003220: UNKNOWN(0xDF)
00003221: SWAP16
00003222: BLOBHASH
00003223: SDIV
00003224: UNKNOWN(0x4B)
00003225: SIGNEXTEND
00003226: XOR
00003227: UNKNOWN(0xC5)
00003228: UNKNOWN(0x0F)
00003229: CALLER
0000322a: UNKNOWN(0xA7)
0000322b: UNKNOWN(0x2F)
0000322c: UNKNOWN(0x24)
0000322d: PUSH12 0x9d9152540d64736f6c634300
0000323a: ADDMOD
0000323b: MULMOD
0000323c: STOP
0000323d: CALLER
Findings

validated = confirmed for call sinks; sink observed for others
Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
high	other	detector	Untrusted CALL target/value reachable	60	no	no	view trace_id: 0x81ea934edc60d910dc536b2c74fad0b715d9a68a4bb7233c25a92696bed3db27 call_targets: 0x8ea90ef07f37c77137453c7a1b72b7886d51ecfb target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x81ea934edc60d910dc536b2c74fad0b715d9a68a4bb7233c25a92696bed3db27", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x8ea90ef07f37c77137453c7a1b72b7886d51ecfb" ], "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": "0xdf4ee24f", "selector": "0xdf4ee24f", "calldata_variants": [ "0xdf4ee24f", "0xdf4ee24f0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf667526a", "selector": "0xf667526a", "calldata_variants": [ "0xf667526a", "0xf667526a0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc76449e8", "selector": "0xc76449e8", "calldata_variants": [ "0xc76449e8", "0xc76449e80000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xda1a5060", "selector": "0xda1a5060", "calldata_variants": [ "0xda1a5060", "0xda1a50600000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa80ad651", "selector": "0xa80ad651", "calldata_variants": [ "0xa80ad651", "0xa80ad6510000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xad64ffdc", "selector": "0xad64ffdc", "calldata_variants": [ "0xad64ffdc", "0xad64ffdc0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xba870fff", "selector": "0xba870fff", "calldata_variants": [ "0xba870fff", "0xba870fff0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 3835, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 4040, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 7337, "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: 0x81ea934edc60d910dc536b2c74fad0b715d9a68a4bb7233c25a92696bed3db27 call_targets: 0x8ea90ef07f37c77137453c7a1b72b7886d51ecfb target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x81ea934edc60d910dc536b2c74fad0b715d9a68a4bb7233c25a92696bed3db27", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x8ea90ef07f37c77137453c7a1b72b7886d51ecfb" ], "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": "0xdf4ee24f", "selector": "0xdf4ee24f", "calldata_variants": [ "0xdf4ee24f", "0xdf4ee24f0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf667526a", "selector": "0xf667526a", "calldata_variants": [ "0xf667526a", "0xf667526a0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc76449e8", "selector": "0xc76449e8", "calldata_variants": [ "0xc76449e8", "0xc76449e80000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xda1a5060", "selector": "0xda1a5060", "calldata_variants": [ "0xda1a5060", "0xda1a50600000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa80ad651", "selector": "0xa80ad651", "calldata_variants": [ "0xa80ad651", "0xa80ad6510000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xad64ffdc", "selector": "0xad64ffdc", "calldata_variants": [ "0xad64ffdc", "0xad64ffdc0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xba870fff", "selector": "0xba870fff", "calldata_variants": [ "0xba870fff", "0xba870fff0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 3835, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 4040, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 7337, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 6, "guards_detected": [] }
Severity