Analysis Run

019b477e-becb-73be-9aa3-a2004c7a9d9d
complete
Chain ID
1
Address
0xd89d6458582f9517b08125e7465fdddf57481c17
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
Authorization based on tx.origin
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
24437	artifact.fetch	complete	1 / 3	3 months ago
24438	tool.cast_disasm	complete	1 / 3	3 months ago
67798	analysis.bundle	complete	1 / 3	2 weeks ago
67799	capability.graph	complete	1 / 3	2 weeks ago
67800	detector.run	complete	1 / 3	2 weeks ago
67801	validation.fork	complete	1 / 3	2 weeks 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)
11
EXT*/BALANCE
10
Total opcodes
4513
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 0x0113
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x71c8092d
00000019: GT
0000001a: PUSH2 0x00a0
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xb4190191
00000024: GT
00000025: PUSH2 0x0064
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xb4190191
0000002f: EQ
00000030: PUSH2 0x04af
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xb5414c53
0000003a: EQ
0000003b: PUSH2 0x052a
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xd3c6b6fe
00000045: EQ
00000046: PUSH2 0x0555
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xf2fde38b
00000050: EQ
00000051: PUSH2 0x0580
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xf827af1c
0000005b: EQ
0000005c: PUSH2 0x05d1
0000005f: JUMPI
00000060: PUSH2 0x0113
00000063: JUMP
00000064: JUMPDEST
00000065: DUP1
00000066: PUSH4 0x71c8092d
0000006b: EQ
0000006c: PUSH2 0x0344
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0x7d94792a
00000076: EQ
00000077: PUSH2 0x037c
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0x8da5cb5b
00000081: EQ
00000082: PUSH2 0x03d3
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0x946644cd
0000008c: EQ
0000008d: PUSH2 0x042a
00000090: JUMPI
00000091: DUP1
00000092: PUSH4 0xa0712d68
00000097: EQ
00000098: PUSH2 0x0481
0000009b: JUMPI
0000009c: PUSH2 0x0113
0000009f: JUMP
000000a0: JUMPDEST
000000a1: DUP1
000000a2: PUSH4 0x280201a8
000000a7: GT
000000a8: PUSH2 0x00e7
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0x280201a8
000000b2: EQ
000000b3: PUSH2 0x022e
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0x2d6e5095
000000bd: EQ
000000be: PUSH2 0x0285
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0x46336660
000000c8: EQ
000000c9: PUSH2 0x02b3
000000cc: JUMPI
000000cd: DUP1
000000ce: PUSH4 0x4a4eae02
000000d3: EQ
000000d4: PUSH2 0x02de
000000d7: JUMPI
000000d8: DUP1
000000d9: PUSH4 0x715018a6
000000de: EQ
000000df: PUSH2 0x032d
000000e2: JUMPI
000000e3: PUSH2 0x0113
000000e6: JUMP
000000e7: JUMPDEST
000000e8: DUP1
000000e9: PUSH3 0x8b5848
000000ed: EQ
000000ee: PUSH2 0x0118
000000f1: JUMPI
000000f2: DUP1
000000f3: PUSH4 0x0c45c817
000000f8: EQ
000000f9: PUSH2 0x0173
000000fc: JUMPI
000000fd: DUP1
000000fe: PUSH4 0x128922b2
00000103: EQ
00000104: PUSH2 0x019e
00000107: JUMPI
00000108: DUP1
00000109: PUSH4 0x1b21bc30
0000010e: EQ
0000010f: PUSH2 0x01c9
00000112: JUMPI
00000113: JUMPDEST
00000114: PUSH1 0x00
00000116: DUP1
00000117: REVERT
00000118: JUMPDEST
00000119: CALLVALUE
0000011a: DUP1
0000011b: ISZERO
0000011c: PUSH2 0x0124
0000011f: JUMPI
00000120: PUSH1 0x00
00000122: DUP1
00000123: REVERT
00000124: JUMPDEST
00000125: POP
00000126: PUSH2 0x0171
00000129: PUSH1 0x04
0000012b: DUP1
0000012c: CALLDATASIZE
0000012d: SUB
0000012e: PUSH1 0x40
00000130: DUP2
00000131: LT
00000132: ISZERO
00000133: PUSH2 0x013b
00000136: JUMPI
00000137: PUSH1 0x00
00000139: DUP1
0000013a: REVERT
0000013b: JUMPDEST
0000013c: DUP2
0000013d: ADD
0000013e: SWAP1
0000013f: DUP1
00000140: DUP1
00000141: CALLDATALOAD
00000142: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000157: AND
00000158: SWAP1
00000159: PUSH1 0x20
0000015b: ADD
0000015c: SWAP1
0000015d: SWAP3
0000015e: SWAP2
0000015f: SWAP1
00000160: DUP1
00000161: CALLDATALOAD
00000162: SWAP1
00000163: PUSH1 0x20
00000165: ADD
00000166: SWAP1
00000167: SWAP3
00000168: SWAP2
00000169: SWAP1
0000016a: POP
0000016b: POP
0000016c: POP
0000016d: PUSH2 0x060c
00000170: JUMP
00000171: JUMPDEST
00000172: STOP
00000173: JUMPDEST
00000174: CALLVALUE
00000175: DUP1
00000176: ISZERO
00000177: PUSH2 0x017f
0000017a: JUMPI
0000017b: PUSH1 0x00
0000017d: DUP1
0000017e: REVERT
0000017f: JUMPDEST
00000180: POP
00000181: PUSH2 0x0188
00000184: PUSH2 0x0706
00000187: JUMP
00000188: JUMPDEST
00000189: PUSH1 0x40
0000018b: MLOAD
0000018c: DUP1
0000018d: DUP3
0000018e: DUP2
0000018f: MSTORE
00000190: PUSH1 0x20
00000192: ADD
00000193: SWAP2
00000194: POP
00000195: POP
00000196: PUSH1 0x40
00000198: MLOAD
00000199: DUP1
0000019a: SWAP2
0000019b: SUB
0000019c: SWAP1
0000019d: RETURN
0000019e: JUMPDEST
0000019f: CALLVALUE
000001a0: DUP1
000001a1: ISZERO
000001a2: PUSH2 0x01aa
000001a5: JUMPI
000001a6: PUSH1 0x00
000001a8: DUP1
000001a9: REVERT
000001aa: JUMPDEST
000001ab: POP
000001ac: PUSH2 0x01b3
000001af: PUSH2 0x0712
000001b2: JUMP
000001b3: JUMPDEST
000001b4: PUSH1 0x40
000001b6: MLOAD
000001b7: DUP1
000001b8: DUP3
000001b9: DUP2
000001ba: MSTORE
000001bb: PUSH1 0x20
000001bd: ADD
000001be: SWAP2
000001bf: POP
000001c0: POP
000001c1: PUSH1 0x40
000001c3: MLOAD
000001c4: DUP1
000001c5: SWAP2
000001c6: SUB
000001c7: SWAP1
000001c8: RETURN
000001c9: JUMPDEST
000001ca: CALLVALUE
000001cb: DUP1
000001cc: ISZERO
000001cd: PUSH2 0x01d5
000001d0: JUMPI
000001d1: PUSH1 0x00
000001d3: DUP1
000001d4: REVERT
000001d5: JUMPDEST
000001d6: POP
000001d7: PUSH2 0x0218
000001da: PUSH1 0x04
000001dc: DUP1
000001dd: CALLDATASIZE
000001de: SUB
000001df: PUSH1 0x20
000001e1: DUP2
000001e2: LT
000001e3: ISZERO
000001e4: PUSH2 0x01ec
000001e7: JUMPI
000001e8: PUSH1 0x00
000001ea: DUP1
000001eb: REVERT
000001ec: JUMPDEST
000001ed: DUP2
000001ee: ADD
000001ef: SWAP1
000001f0: DUP1
000001f1: DUP1
000001f2: CALLDATALOAD
000001f3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000208: AND
00000209: SWAP1
0000020a: PUSH1 0x20
0000020c: ADD
0000020d: SWAP1
0000020e: SWAP3
0000020f: SWAP2
00000210: SWAP1
00000211: POP
00000212: POP
00000213: POP
00000214: PUSH2 0x0719
00000217: JUMP
00000218: JUMPDEST
00000219: PUSH1 0x40
0000021b: MLOAD
0000021c: DUP1
0000021d: DUP3
0000021e: DUP2
0000021f: MSTORE
00000220: PUSH1 0x20
00000222: ADD
00000223: SWAP2
00000224: POP
00000225: POP
00000226: PUSH1 0x40
00000228: MLOAD
00000229: DUP1
0000022a: SWAP2
0000022b: SUB
0000022c: SWAP1
0000022d: RETURN
0000022e: JUMPDEST
0000022f: CALLVALUE
00000230: DUP1
00000231: ISZERO
00000232: PUSH2 0x023a
00000235: JUMPI
00000236: PUSH1 0x00
00000238: DUP1
00000239: REVERT
0000023a: JUMPDEST
0000023b: POP
0000023c: PUSH2 0x0243
0000023f: PUSH2 0x0731
00000242: JUMP
00000243: JUMPDEST
00000244: PUSH1 0x40
00000246: MLOAD
00000247: DUP1
00000248: DUP3
00000249: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000025e: AND
0000025f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000274: AND
00000275: DUP2
00000276: MSTORE
00000277: PUSH1 0x20
00000279: ADD
0000027a: SWAP2
0000027b: POP
0000027c: POP
0000027d: PUSH1 0x40
0000027f: MLOAD
00000280: DUP1
00000281: SWAP2
00000282: SUB
00000283: SWAP1
00000284: RETURN
00000285: JUMPDEST
00000286: PUSH2 0x02b1
00000289: PUSH1 0x04
0000028b: DUP1
0000028c: CALLDATASIZE
0000028d: SUB
0000028e: PUSH1 0x20
00000290: DUP2
00000291: LT
00000292: ISZERO
00000293: PUSH2 0x029b
00000296: JUMPI
00000297: PUSH1 0x00
00000299: DUP1
0000029a: REVERT
0000029b: JUMPDEST
0000029c: DUP2
0000029d: ADD
0000029e: SWAP1
0000029f: DUP1
000002a0: DUP1
000002a1: CALLDATALOAD
000002a2: SWAP1
000002a3: PUSH1 0x20
000002a5: ADD
000002a6: SWAP1
000002a7: SWAP3
000002a8: SWAP2
000002a9: SWAP1
000002aa: POP
000002ab: POP
000002ac: POP
000002ad: PUSH2 0x0757
000002b0: JUMP
000002b1: JUMPDEST
000002b2: STOP
000002b3: JUMPDEST
000002b4: CALLVALUE
000002b5: DUP1
000002b6: ISZERO
000002b7: PUSH2 0x02bf
000002ba: JUMPI
000002bb: PUSH1 0x00
000002bd: DUP1
000002be: REVERT
000002bf: JUMPDEST
000002c0: POP
000002c1: PUSH2 0x02c8
000002c4: PUSH2 0x0ca7
000002c7: JUMP
000002c8: JUMPDEST
000002c9: PUSH1 0x40
000002cb: MLOAD
000002cc: DUP1
000002cd: DUP3
000002ce: DUP2
000002cf: MSTORE
000002d0: PUSH1 0x20
000002d2: ADD
000002d3: SWAP2
000002d4: POP
000002d5: POP
000002d6: PUSH1 0x40
000002d8: MLOAD
000002d9: DUP1
000002da: SWAP2
000002db: SUB
000002dc: SWAP1
000002dd: RETURN
000002de: JUMPDEST
000002df: CALLVALUE
000002e0: DUP1
000002e1: ISZERO
000002e2: PUSH2 0x02ea
000002e5: JUMPI
000002e6: PUSH1 0x00
000002e8: DUP1
000002e9: REVERT
000002ea: JUMPDEST
000002eb: POP
000002ec: PUSH2 0x0317
000002ef: PUSH1 0x04
000002f1: DUP1
000002f2: CALLDATASIZE
000002f3: SUB
000002f4: PUSH1 0x20
000002f6: DUP2
000002f7: LT
000002f8: ISZERO
000002f9: PUSH2 0x0301
000002fc: JUMPI
000002fd: PUSH1 0x00
000002ff: DUP1
00000300: REVERT
00000301: JUMPDEST
00000302: DUP2
00000303: ADD
00000304: SWAP1
00000305: DUP1
00000306: DUP1
00000307: CALLDATALOAD
00000308: SWAP1
00000309: PUSH1 0x20
0000030b: ADD
0000030c: SWAP1
0000030d: SWAP3
0000030e: SWAP2
0000030f: SWAP1
00000310: POP
00000311: POP
00000312: POP
00000313: PUSH2 0x0cb2
00000316: JUMP
00000317: JUMPDEST
00000318: PUSH1 0x40
0000031a: MLOAD
0000031b: DUP1
0000031c: DUP3
0000031d: DUP2
0000031e: MSTORE
0000031f: PUSH1 0x20
00000321: ADD
00000322: SWAP2
00000323: POP
00000324: POP
00000325: PUSH1 0x40
00000327: MLOAD
00000328: DUP1
00000329: SWAP2
0000032a: SUB
0000032b: SWAP1
0000032c: RETURN
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: PUSH2 0x0342
0000033e: PUSH2 0x0cca
00000341: JUMP
00000342: JUMPDEST
00000343: STOP
00000344: JUMPDEST
00000345: PUSH2 0x037a
00000348: PUSH1 0x04
0000034a: DUP1
0000034b: CALLDATASIZE
0000034c: SUB
0000034d: PUSH1 0x40
0000034f: DUP2
00000350: LT
00000351: ISZERO
00000352: PUSH2 0x035a
00000355: JUMPI
00000356: PUSH1 0x00
00000358: DUP1
00000359: REVERT
0000035a: JUMPDEST
0000035b: DUP2
0000035c: ADD
0000035d: SWAP1
0000035e: DUP1
0000035f: DUP1
00000360: CALLDATALOAD
00000361: SWAP1
00000362: PUSH1 0x20
00000364: ADD
00000365: SWAP1
00000366: SWAP3
00000367: SWAP2
00000368: SWAP1
00000369: DUP1
0000036a: CALLDATALOAD
0000036b: SWAP1
0000036c: PUSH1 0x20
0000036e: ADD
0000036f: SWAP1
00000370: SWAP3
00000371: SWAP2
00000372: SWAP1
00000373: POP
00000374: POP
00000375: POP
00000376: PUSH2 0x0e38
00000379: JUMP
0000037a: JUMPDEST
0000037b: STOP
0000037c: JUMPDEST
0000037d: CALLVALUE
0000037e: DUP1
0000037f: ISZERO
00000380: PUSH2 0x0388
00000383: JUMPI
00000384: PUSH1 0x00
00000386: DUP1
00000387: REVERT
00000388: JUMPDEST
00000389: POP
0000038a: PUSH2 0x0391
0000038d: PUSH2 0x165f
00000390: JUMP
00000391: JUMPDEST
00000392: PUSH1 0x40
00000394: MLOAD
00000395: DUP1
00000396: DUP3
00000397: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003ac: AND
000003ad: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003c2: AND
000003c3: DUP2
000003c4: MSTORE
000003c5: PUSH1 0x20
000003c7: ADD
000003c8: SWAP2
000003c9: POP
000003ca: POP
000003cb: PUSH1 0x40
000003cd: MLOAD
000003ce: DUP1
000003cf: SWAP2
000003d0: SUB
000003d1: SWAP1
000003d2: RETURN
000003d3: JUMPDEST
000003d4: CALLVALUE
000003d5: DUP1
000003d6: ISZERO
000003d7: PUSH2 0x03df
000003da: JUMPI
000003db: PUSH1 0x00
000003dd: DUP1
000003de: REVERT
000003df: JUMPDEST
000003e0: POP
000003e1: PUSH2 0x03e8
000003e4: PUSH2 0x1685
000003e7: JUMP
000003e8: JUMPDEST
000003e9: PUSH1 0x40
000003eb: MLOAD
000003ec: DUP1
000003ed: DUP3
000003ee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000403: AND
00000404: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000419: AND
0000041a: DUP2
0000041b: MSTORE
0000041c: PUSH1 0x20
0000041e: ADD
0000041f: SWAP2
00000420: POP
00000421: POP
00000422: PUSH1 0x40
00000424: MLOAD
00000425: DUP1
00000426: SWAP2
00000427: SUB
00000428: SWAP1
00000429: RETURN
0000042a: JUMPDEST
0000042b: CALLVALUE
0000042c: DUP1
0000042d: ISZERO
0000042e: PUSH2 0x0436
00000431: JUMPI
00000432: PUSH1 0x00
00000434: DUP1
00000435: REVERT
00000436: JUMPDEST
00000437: POP
00000438: PUSH2 0x043f
0000043b: PUSH2 0x16ae
0000043e: JUMP
0000043f: JUMPDEST
00000440: PUSH1 0x40
00000442: MLOAD
00000443: DUP1
00000444: DUP3
00000445: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000045a: AND
0000045b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000470: AND
00000471: DUP2
00000472: MSTORE
00000473: PUSH1 0x20
00000475: ADD
00000476: SWAP2
00000477: POP
00000478: POP
00000479: PUSH1 0x40
0000047b: MLOAD
0000047c: DUP1
0000047d: SWAP2
0000047e: SUB
0000047f: SWAP1
00000480: RETURN
00000481: JUMPDEST
00000482: PUSH2 0x04ad
00000485: PUSH1 0x04
00000487: DUP1
00000488: CALLDATASIZE
00000489: SUB
0000048a: PUSH1 0x20
0000048c: DUP2
0000048d: LT
0000048e: ISZERO
0000048f: PUSH2 0x0497
00000492: JUMPI
00000493: PUSH1 0x00
00000495: DUP1
00000496: REVERT
00000497: JUMPDEST
00000498: DUP2
00000499: ADD
0000049a: SWAP1
0000049b: DUP1
0000049c: DUP1
0000049d: CALLDATALOAD
0000049e: SWAP1
0000049f: PUSH1 0x20
000004a1: ADD
000004a2: SWAP1
000004a3: SWAP3
000004a4: SWAP2
000004a5: SWAP1
000004a6: POP
000004a7: POP
000004a8: POP
000004a9: PUSH2 0x16d4
000004ac: JUMP
000004ad: JUMPDEST
000004ae: STOP
000004af: JUMPDEST
000004b0: CALLVALUE
000004b1: DUP1
000004b2: ISZERO
000004b3: PUSH2 0x04bb
000004b6: JUMPI
000004b7: PUSH1 0x00
000004b9: DUP1
000004ba: REVERT
000004bb: JUMPDEST
000004bc: POP
000004bd: PUSH2 0x0528
000004c0: PUSH1 0x04
000004c2: DUP1
000004c3: CALLDATASIZE
000004c4: SUB
000004c5: PUSH1 0x60
000004c7: DUP2
000004c8: LT
000004c9: ISZERO
000004ca: PUSH2 0x04d2
000004cd: JUMPI
000004ce: PUSH1 0x00
000004d0: DUP1
000004d1: REVERT
000004d2: JUMPDEST
000004d3: DUP2
000004d4: ADD
000004d5: SWAP1
000004d6: DUP1
000004d7: DUP1
000004d8: CALLDATALOAD
000004d9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004ee: AND
000004ef: SWAP1
000004f0: PUSH1 0x20
000004f2: ADD
000004f3: SWAP1
000004f4: SWAP3
000004f5: SWAP2
000004f6: SWAP1
000004f7: DUP1
000004f8: CALLDATALOAD
000004f9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000050e: AND
0000050f: SWAP1
00000510: PUSH1 0x20
00000512: ADD
00000513: SWAP1
00000514: SWAP3
00000515: SWAP2
00000516: SWAP1
00000517: DUP1
00000518: CALLDATALOAD
00000519: SWAP1
0000051a: PUSH1 0x20
0000051c: ADD
0000051d: SWAP1
0000051e: SWAP3
0000051f: SWAP2
00000520: SWAP1
00000521: POP
00000522: POP
00000523: POP
00000524: PUSH2 0x1aa1
00000527: JUMP
00000528: JUMPDEST
00000529: STOP
0000052a: JUMPDEST
0000052b: CALLVALUE
0000052c: DUP1
0000052d: ISZERO
0000052e: PUSH2 0x0536
00000531: JUMPI
00000532: PUSH1 0x00
00000534: DUP1
00000535: REVERT
00000536: JUMPDEST
00000537: POP
00000538: PUSH2 0x053f
0000053b: PUSH2 0x1b80
0000053e: JUMP
0000053f: JUMPDEST
00000540: PUSH1 0x40
00000542: MLOAD
00000543: DUP1
00000544: DUP3
00000545: DUP2
00000546: MSTORE
00000547: PUSH1 0x20
00000549: ADD
0000054a: SWAP2
0000054b: POP
0000054c: POP
0000054d: PUSH1 0x40
0000054f: MLOAD
00000550: DUP1
00000551: SWAP2
00000552: SUB
00000553: SWAP1
00000554: RETURN
00000555: JUMPDEST
00000556: CALLVALUE
00000557: DUP1
00000558: ISZERO
00000559: PUSH2 0x0561
0000055c: JUMPI
0000055d: PUSH1 0x00
0000055f: DUP1
00000560: REVERT
00000561: JUMPDEST
00000562: POP
00000563: PUSH2 0x056a
00000566: PUSH2 0x1b85
00000569: JUMP
0000056a: JUMPDEST
0000056b: PUSH1 0x40
0000056d: MLOAD
0000056e: DUP1
0000056f: DUP3
00000570: DUP2
00000571: MSTORE
00000572: PUSH1 0x20
00000574: ADD
00000575: SWAP2
00000576: POP
00000577: POP
00000578: PUSH1 0x40
0000057a: MLOAD
0000057b: DUP1
0000057c: SWAP2
0000057d: SUB
0000057e: SWAP1
0000057f: RETURN
00000580: JUMPDEST
00000581: CALLVALUE
00000582: DUP1
00000583: ISZERO
00000584: PUSH2 0x058c
00000587: JUMPI
00000588: PUSH1 0x00
0000058a: DUP1
0000058b: REVERT
0000058c: JUMPDEST
0000058d: POP
0000058e: PUSH2 0x05cf
00000591: PUSH1 0x04
00000593: DUP1
00000594: CALLDATASIZE
00000595: SUB
00000596: PUSH1 0x20
00000598: DUP2
00000599: LT
0000059a: ISZERO
0000059b: PUSH2 0x05a3
0000059e: JUMPI
0000059f: PUSH1 0x00
000005a1: DUP1
000005a2: REVERT
000005a3: JUMPDEST
000005a4: DUP2
000005a5: ADD
000005a6: SWAP1
000005a7: DUP1
000005a8: DUP1
000005a9: CALLDATALOAD
000005aa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005bf: AND
000005c0: SWAP1
000005c1: PUSH1 0x20
000005c3: ADD
000005c4: SWAP1
000005c5: SWAP3
000005c6: SWAP2
000005c7: SWAP1
000005c8: POP
000005c9: POP
000005ca: POP
000005cb: PUSH2 0x1b8b
000005ce: JUMP
000005cf: JUMPDEST
000005d0: STOP
000005d1: JUMPDEST
000005d2: CALLVALUE
000005d3: DUP1
000005d4: ISZERO
000005d5: PUSH2 0x05dd
000005d8: JUMPI
000005d9: PUSH1 0x00
000005db: DUP1
000005dc: REVERT
000005dd: JUMPDEST
000005de: POP
000005df: PUSH2 0x060a
000005e2: PUSH1 0x04
000005e4: DUP1
000005e5: CALLDATASIZE
000005e6: SUB
000005e7: PUSH1 0x20
000005e9: DUP2
000005ea: LT
000005eb: ISZERO
000005ec: PUSH2 0x05f4
000005ef: JUMPI
000005f0: PUSH1 0x00
000005f2: DUP1
000005f3: REVERT
000005f4: JUMPDEST
000005f5: DUP2
000005f6: ADD
000005f7: SWAP1
000005f8: DUP1
000005f9: DUP1
000005fa: CALLDATALOAD
000005fb: SWAP1
000005fc: PUSH1 0x20
000005fe: ADD
000005ff: SWAP1
00000600: SWAP3
00000601: SWAP2
00000602: SWAP1
00000603: POP
00000604: POP
00000605: POP
00000606: PUSH2 0x1d7e
00000609: JUMP
0000060a: JUMPDEST
0000060b: STOP
0000060c: JUMPDEST
0000060d: PUSH2 0x0614
00000610: PUSH2 0x1f69
00000613: JUMP
00000614: JUMPDEST
00000615: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000062a: AND
0000062b: PUSH2 0x0632
0000062e: PUSH2 0x1685
00000631: JUMP
00000632: JUMPDEST
00000633: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000648: AND
00000649: EQ
0000064a: PUSH2 0x06bb
0000064d: JUMPI
0000064e: PUSH1 0x40
00000650: MLOAD
00000651: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000672: DUP2
00000673: MSTORE
00000674: PUSH1 0x04
00000676: ADD
00000677: DUP1
00000678: DUP1
00000679: PUSH1 0x20
0000067b: ADD
0000067c: DUP3
0000067d: DUP2
0000067e: SUB
0000067f: DUP3
00000680: MSTORE
00000681: PUSH1 0x20
00000683: DUP2
00000684: MSTORE
00000685: PUSH1 0x20
00000687: ADD
00000688: DUP1
00000689: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
000006aa: DUP2
000006ab: MSTORE
000006ac: POP
000006ad: PUSH1 0x20
000006af: ADD
000006b0: SWAP2
000006b1: POP
000006b2: POP
000006b3: PUSH1 0x40
000006b5: MLOAD
000006b6: DUP1
000006b7: SWAP2
000006b8: SUB
000006b9: SWAP1
000006ba: REVERT
000006bb: JUMPDEST
000006bc: DUP2
000006bd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006d2: AND
000006d3: PUSH2 0x08fc
000006d6: DUP3
000006d7: SWAP1
000006d8: DUP2
000006d9: ISZERO
000006da: MUL
000006db: SWAP1
000006dc: PUSH1 0x40
000006de: MLOAD
000006df: PUSH1 0x00
000006e1: PUSH1 0x40
000006e3: MLOAD
000006e4: DUP1
000006e5: DUP4
000006e6: SUB
000006e7: DUP2
000006e8: DUP6
000006e9: DUP9
000006ea: DUP9
000006eb: CALL
000006ec: SWAP4
000006ed: POP
000006ee: POP
000006ef: POP
000006f0: POP
000006f1: ISZERO
000006f2: DUP1
000006f3: ISZERO
000006f4: PUSH2 0x0701
000006f7: JUMPI
000006f8: RETURNDATASIZE
000006f9: PUSH1 0x00
000006fb: DUP1
000006fc: RETURNDATACOPY
000006fd: RETURNDATASIZE
000006fe: PUSH1 0x00
00000700: REVERT
00000701: JUMPDEST
00000702: POP
00000703: POP
00000704: POP
00000705: JUMP
00000706: JUMPDEST
00000707: PUSH8 0x06f05b59d3b20000
00000710: DUP2
00000711: JUMP
00000712: JUMPDEST
00000713: PUSH3 0x0186a0
00000717: DUP2
00000718: JUMP
00000719: JUMPDEST
0000071a: PUSH1 0x05
0000071c: PUSH1 0x20
0000071e: MSTORE
0000071f: DUP1
00000720: PUSH1 0x00
00000722: MSTORE
00000723: PUSH1 0x40
00000725: PUSH1 0x00
00000727: KECCAK256
00000728: PUSH1 0x00
0000072a: SWAP2
0000072b: POP
0000072c: SWAP1
0000072d: POP
0000072e: SLOAD
0000072f: DUP2
00000730: JUMP
00000731: JUMPDEST
00000732: PUSH1 0x06
00000734: PUSH1 0x00
00000736: SWAP1
00000737: SLOAD
00000738: SWAP1
00000739: PUSH2 0x0100
0000073c: EXP
0000073d: SWAP1
0000073e: DIV
0000073f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000754: AND
00000755: DUP2
00000756: JUMP
00000757: JUMPDEST
00000758: PUSH1 0x01
0000075a: PUSH1 0x00
0000075c: SWAP1
0000075d: SLOAD
0000075e: SWAP1
0000075f: PUSH2 0x0100
00000762: EXP
00000763: SWAP1
00000764: DIV
00000765: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000077a: AND
0000077b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000790: AND
00000791: PUSH4 0xd9ba0131
00000796: DUP3
00000797: PUSH1 0x40
00000799: MLOAD
0000079a: DUP3
0000079b: PUSH4 0xffffffff
000007a0: AND
000007a1: PUSH1 0xe0
000007a3: SHL
000007a4: DUP2
000007a5: MSTORE
000007a6: PUSH1 0x04
000007a8: ADD
000007a9: DUP1
000007aa: DUP3
000007ab: DUP2
000007ac: MSTORE
000007ad: PUSH1 0x20
000007af: ADD
000007b0: SWAP2
000007b1: POP
000007b2: POP
000007b3: PUSH1 0x20
000007b5: PUSH1 0x40
000007b7: MLOAD
000007b8: DUP1
000007b9: DUP4
000007ba: SUB
000007bb: DUP2
000007bc: DUP7
000007bd: DUP1
000007be: EXTCODESIZE
000007bf: ISZERO
000007c0: DUP1
000007c1: ISZERO
000007c2: PUSH2 0x07ca
000007c5: JUMPI
000007c6: PUSH1 0x00
000007c8: DUP1
000007c9: REVERT
000007ca: JUMPDEST
000007cb: POP
000007cc: GAS
000007cd: STATICCALL
000007ce: ISZERO
000007cf: DUP1
000007d0: ISZERO
000007d1: PUSH2 0x07de
000007d4: JUMPI
000007d5: RETURNDATASIZE
000007d6: PUSH1 0x00
000007d8: DUP1
000007d9: RETURNDATACOPY
000007da: RETURNDATASIZE
000007db: PUSH1 0x00
000007dd: REVERT
000007de: JUMPDEST
000007df: POP
000007e0: POP
000007e1: POP
000007e2: POP
000007e3: PUSH1 0x40
000007e5: MLOAD
000007e6: RETURNDATASIZE
000007e7: PUSH1 0x20
000007e9: DUP2
000007ea: LT
000007eb: ISZERO
000007ec: PUSH2 0x07f4
000007ef: JUMPI
000007f0: PUSH1 0x00
000007f2: DUP1
000007f3: REVERT
000007f4: JUMPDEST
000007f5: DUP2
000007f6: ADD
000007f7: SWAP1
000007f8: DUP1
000007f9: DUP1
000007fa: MLOAD
000007fb: SWAP1
000007fc: PUSH1 0x20
000007fe: ADD
000007ff: SWAP1
00000800: SWAP3
00000801: SWAP2
00000802: SWAP1
00000803: POP
00000804: POP
00000805: POP
00000806: PUSH2 0x0877
00000809: JUMPI
0000080a: PUSH1 0x40
0000080c: MLOAD
0000080d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000082e: DUP2
0000082f: MSTORE
00000830: PUSH1 0x04
00000832: ADD
00000833: DUP1
00000834: DUP1
00000835: PUSH1 0x20
00000837: ADD
00000838: DUP3
00000839: DUP2
0000083a: SUB
0000083b: DUP3
0000083c: MSTORE
0000083d: PUSH1 0x18
0000083f: DUP2
00000840: MSTORE
00000841: PUSH1 0x20
00000843: ADD
00000844: DUP1
00000845: PUSH32 0x6469636b206b696e6420646f6573206e6f742065786973740000000000000000
00000866: DUP2
00000867: MSTORE
00000868: POP
00000869: PUSH1 0x20
0000086b: ADD
0000086c: SWAP2
0000086d: POP
0000086e: POP
0000086f: PUSH1 0x40
00000871: MLOAD
00000872: DUP1
00000873: SWAP2
00000874: SUB
00000875: SWAP1
00000876: REVERT
00000877: JUMPDEST
00000878: PUSH3 0x0186a0
0000087c: PUSH1 0x03
0000087e: SLOAD
0000087f: LT
00000880: PUSH2 0x08f1
00000883: JUMPI
00000884: PUSH1 0x40
00000886: MLOAD
00000887: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000008a8: DUP2
000008a9: MSTORE
000008aa: PUSH1 0x04
000008ac: ADD
000008ad: DUP1
000008ae: DUP1
000008af: PUSH1 0x20
000008b1: ADD
000008b2: DUP3
000008b3: DUP2
000008b4: SUB
000008b5: DUP3
000008b6: MSTORE
000008b7: PUSH1 0x0d
000008b9: DUP2
000008ba: MSTORE
000008bb: PUSH1 0x20
000008bd: ADD
000008be: DUP1
000008bf: PUSH32 0x616c6c2061726520676f6e652100000000000000000000000000000000000000
000008e0: DUP2
000008e1: MSTORE
000008e2: POP
000008e3: PUSH1 0x20
000008e5: ADD
000008e6: SWAP2
000008e7: POP
000008e8: POP
000008e9: PUSH1 0x40
000008eb: MLOAD
000008ec: DUP1
000008ed: SWAP2
000008ee: SUB
000008ef: SWAP1
000008f0: REVERT
000008f1: JUMPDEST
000008f2: PUSH7 0x2386f26fc10000
000008fa: CALLVALUE
000008fb: LT
000008fc: ISZERO
000008fd: PUSH2 0x096e
00000900: JUMPI
00000901: PUSH1 0x40
00000903: MLOAD
00000904: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000925: DUP2
00000926: MSTORE
00000927: PUSH1 0x04
00000929: ADD
0000092a: DUP1
0000092b: DUP1
0000092c: PUSH1 0x20
0000092e: ADD
0000092f: DUP3
00000930: DUP2
00000931: SUB
00000932: DUP3
00000933: MSTORE
00000934: PUSH1 0x0a
00000936: DUP2
00000937: MSTORE
00000938: PUSH1 0x20
0000093a: ADD
0000093b: DUP1
0000093c: PUSH32 0x746f6f2063686561702100000000000000000000000000000000000000000000
0000095d: DUP2
0000095e: MSTORE
0000095f: POP
00000960: PUSH1 0x20
00000962: ADD
00000963: SWAP2
00000964: POP
00000965: POP
00000966: PUSH1 0x40
00000968: MLOAD
00000969: DUP1
0000096a: SWAP2
0000096b: SUB
0000096c: SWAP1
0000096d: REVERT
0000096e: JUMPDEST
0000096f: PUSH1 0x00
00000971: PUSH2 0x098a
00000974: PUSH7 0x2386f26fc10000
0000097c: CALLVALUE
0000097d: PUSH2 0x1f71
00000980: SWAP1
00000981: SWAP2
00000982: SWAP1
00000983: PUSH4 0xffffffff
00000988: AND
00000989: JUMP
0000098a: JUMPDEST
0000098b: SWAP1
0000098c: POP
0000098d: PUSH2 0x09de
00000990: DUP2
00000991: PUSH1 0x05
00000993: PUSH1 0x00
00000995: CALLER
00000996: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009ab: AND
000009ac: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009c1: AND
000009c2: DUP2
000009c3: MSTORE
000009c4: PUSH1 0x20
000009c6: ADD
000009c7: SWAP1
000009c8: DUP2
000009c9: MSTORE
000009ca: PUSH1 0x20
000009cc: ADD
000009cd: PUSH1 0x00
000009cf: KECCAK256
000009d0: SLOAD
000009d1: PUSH2 0x1ff4
000009d4: SWAP1
000009d5: SWAP2
000009d6: SWAP1
000009d7: PUSH4 0xffffffff
000009dc: AND
000009dd: JUMP
000009de: JUMPDEST
000009df: PUSH1 0x05
000009e1: PUSH1 0x00
000009e3: CALLER
000009e4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009f9: AND
000009fa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a0f: AND
00000a10: DUP2
00000a11: MSTORE
00000a12: PUSH1 0x20
00000a14: ADD
00000a15: SWAP1
00000a16: DUP2
00000a17: MSTORE
00000a18: PUSH1 0x20
00000a1a: ADD
00000a1b: PUSH1 0x00
00000a1d: KECCAK256
00000a1e: DUP2
00000a1f: SWAP1
00000a20: SSTORE
00000a21: POP
00000a22: PUSH2 0x0a37
00000a25: PUSH1 0x01
00000a27: PUSH1 0x03
00000a29: SLOAD
00000a2a: PUSH2 0x1ff4
00000a2d: SWAP1
00000a2e: SWAP2
00000a2f: SWAP1
00000a30: PUSH4 0xffffffff
00000a35: AND
00000a36: JUMP
00000a37: JUMPDEST
00000a38: PUSH1 0x03
00000a3a: DUP2
00000a3b: SWAP1
00000a3c: SSTORE
00000a3d: POP
00000a3e: PUSH1 0x00
00000a40: PUSH1 0x01
00000a42: PUSH1 0x00
00000a44: SWAP1
00000a45: SLOAD
00000a46: SWAP1
00000a47: PUSH2 0x0100
00000a4a: EXP
00000a4b: SWAP1
00000a4c: DIV
00000a4d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a62: AND
00000a63: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a78: AND
00000a79: PUSH4 0x40c10f19
00000a7e: CALLER
00000a7f: DUP6
00000a80: PUSH1 0x40
00000a82: MLOAD
00000a83: DUP4
00000a84: PUSH4 0xffffffff
00000a89: AND
00000a8a: PUSH1 0xe0
00000a8c: SHL
00000a8d: DUP2
00000a8e: MSTORE
00000a8f: PUSH1 0x04
00000a91: ADD
00000a92: DUP1
00000a93: DUP4
00000a94: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000aa9: AND
00000aaa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000abf: AND
00000ac0: DUP2
00000ac1: MSTORE
00000ac2: PUSH1 0x20
00000ac4: ADD
00000ac5: DUP3
00000ac6: DUP2
00000ac7: MSTORE
00000ac8: PUSH1 0x20
00000aca: ADD
00000acb: SWAP3
00000acc: POP
00000acd: POP
00000ace: POP
00000acf: PUSH1 0x20
00000ad1: PUSH1 0x40
00000ad3: MLOAD
00000ad4: DUP1
00000ad5: DUP4
00000ad6: SUB
00000ad7: DUP2
00000ad8: PUSH1 0x00
00000ada: DUP8
00000adb: DUP1
00000adc: EXTCODESIZE
00000add: ISZERO
00000ade: DUP1
00000adf: ISZERO
00000ae0: PUSH2 0x0ae8
00000ae3: JUMPI
00000ae4: PUSH1 0x00
00000ae6: DUP1
00000ae7: REVERT
00000ae8: JUMPDEST
00000ae9: POP
00000aea: GAS
00000aeb: CALL
00000aec: ISZERO
00000aed: DUP1
00000aee: ISZERO
00000aef: PUSH2 0x0afc
00000af2: JUMPI
00000af3: RETURNDATASIZE
00000af4: PUSH1 0x00
00000af6: DUP1
00000af7: RETURNDATACOPY
00000af8: RETURNDATASIZE
00000af9: PUSH1 0x00
00000afb: REVERT
00000afc: JUMPDEST
00000afd: POP
00000afe: POP
00000aff: POP
00000b00: POP
00000b01: PUSH1 0x40
00000b03: MLOAD
00000b04: RETURNDATASIZE
00000b05: PUSH1 0x20
00000b07: DUP2
00000b08: LT
00000b09: ISZERO
00000b0a: PUSH2 0x0b12
00000b0d: JUMPI
00000b0e: PUSH1 0x00
00000b10: DUP1
00000b11: REVERT
00000b12: JUMPDEST
00000b13: DUP2
00000b14: ADD
00000b15: SWAP1
00000b16: DUP1
00000b17: DUP1
00000b18: MLOAD
00000b19: SWAP1
00000b1a: PUSH1 0x20
00000b1c: ADD
00000b1d: SWAP1
00000b1e: SWAP3
00000b1f: SWAP2
00000b20: SWAP1
00000b21: POP
00000b22: POP
00000b23: POP
00000b24: SWAP1
00000b25: POP
00000b26: CALLER
00000b27: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b3c: AND
00000b3d: DUP2
00000b3e: DUP5
00000b3f: PUSH32 0x0caacaeecd1c6227773c15da4076eb305bc712304e504e72c5226e1d33b1ddd5
00000b60: DUP6
00000b61: PUSH1 0x40
00000b63: MLOAD
00000b64: DUP1
00000b65: DUP3
00000b66: DUP2
00000b67: MSTORE
00000b68: PUSH1 0x20
00000b6a: ADD
00000b6b: SWAP2
00000b6c: POP
00000b6d: POP
00000b6e: PUSH1 0x40
00000b70: MLOAD
00000b71: DUP1
00000b72: SWAP2
00000b73: SUB
00000b74: SWAP1
00000b75: LOG4
00000b76: PUSH1 0x05
00000b78: PUSH1 0x00
00000b7a: PUSH1 0x06
00000b7c: PUSH1 0x00
00000b7e: SWAP1
00000b7f: SLOAD
00000b80: SWAP1
00000b81: PUSH2 0x0100
00000b84: EXP
00000b85: SWAP1
00000b86: DIV
00000b87: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b9c: AND
00000b9d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bb2: AND
00000bb3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bc8: AND
00000bc9: DUP2
00000bca: MSTORE
00000bcb: PUSH1 0x20
00000bcd: ADD
00000bce: SWAP1
00000bcf: DUP2
00000bd0: MSTORE
00000bd1: PUSH1 0x20
00000bd3: ADD
00000bd4: PUSH1 0x00
00000bd6: KECCAK256
00000bd7: SLOAD
00000bd8: PUSH1 0x05
00000bda: PUSH1 0x00
00000bdc: CALLER
00000bdd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bf2: AND
00000bf3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c08: AND
00000c09: DUP2
00000c0a: MSTORE
00000c0b: PUSH1 0x20
00000c0d: ADD
00000c0e: SWAP1
00000c0f: DUP2
00000c10: MSTORE
00000c11: PUSH1 0x20
00000c13: ADD
00000c14: PUSH1 0x00
00000c16: KECCAK256
00000c17: SLOAD
00000c18: GT
00000c19: ISZERO
00000c1a: PUSH2 0x0ca2
00000c1d: JUMPI
00000c1e: CALLER
00000c1f: PUSH1 0x06
00000c21: PUSH1 0x00
00000c23: PUSH2 0x0100
00000c26: EXP
00000c27: DUP2
00000c28: SLOAD
00000c29: DUP2
00000c2a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c3f: MUL
00000c40: NOT
00000c41: AND
00000c42: SWAP1
00000c43: DUP4
00000c44: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c59: AND
00000c5a: MUL
00000c5b: OR
00000c5c: SWAP1
00000c5d: SSTORE
00000c5e: POP
00000c5f: CALLER
00000c60: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c75: AND
00000c76: PUSH32 0xdbf1482a7a8aa71782b0a6938ea7a3c56d2021dade480ea0dccf3d312a702dcc
00000c97: PUSH1 0x40
00000c99: MLOAD
00000c9a: PUSH1 0x40
00000c9c: MLOAD
00000c9d: DUP1
00000c9e: SWAP2
00000c9f: SUB
00000ca0: SWAP1
00000ca1: LOG2
00000ca2: JUMPDEST
00000ca3: POP
00000ca4: POP
00000ca5: POP
00000ca6: JUMP
00000ca7: JUMPDEST
00000ca8: PUSH7 0x2386f26fc10000
00000cb0: DUP2
00000cb1: JUMP
00000cb2: JUMPDEST
00000cb3: PUSH1 0x04
00000cb5: PUSH1 0x20
00000cb7: MSTORE
00000cb8: DUP1
00000cb9: PUSH1 0x00
00000cbb: MSTORE
00000cbc: PUSH1 0x40
00000cbe: PUSH1 0x00
00000cc0: KECCAK256
00000cc1: PUSH1 0x00
00000cc3: SWAP2
00000cc4: POP
00000cc5: SWAP1
00000cc6: POP
00000cc7: SLOAD
00000cc8: DUP2
00000cc9: JUMP
00000cca: JUMPDEST
00000ccb: PUSH2 0x0cd2
00000cce: PUSH2 0x1f69
00000cd1: JUMP
00000cd2: JUMPDEST
00000cd3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ce8: AND
00000ce9: PUSH2 0x0cf0
00000cec: PUSH2 0x1685
00000cef: JUMP
00000cf0: JUMPDEST
00000cf1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d06: AND
00000d07: EQ
00000d08: PUSH2 0x0d79
00000d0b: JUMPI
00000d0c: PUSH1 0x40
00000d0e: MLOAD
00000d0f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000d30: DUP2
00000d31: MSTORE
00000d32: PUSH1 0x04
00000d34: ADD
00000d35: DUP1
00000d36: DUP1
00000d37: PUSH1 0x20
00000d39: ADD
00000d3a: DUP3
00000d3b: DUP2
00000d3c: SUB
00000d3d: DUP3
00000d3e: MSTORE
00000d3f: PUSH1 0x20
00000d41: DUP2
00000d42: MSTORE
00000d43: PUSH1 0x20
00000d45: ADD
00000d46: DUP1
00000d47: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00000d68: DUP2
00000d69: MSTORE
00000d6a: POP
00000d6b: PUSH1 0x20
00000d6d: ADD
00000d6e: SWAP2
00000d6f: POP
00000d70: POP
00000d71: PUSH1 0x40
00000d73: MLOAD
00000d74: DUP1
00000d75: SWAP2
00000d76: SUB
00000d77: SWAP1
00000d78: REVERT
00000d79: JUMPDEST
00000d7a: PUSH1 0x00
00000d7c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d91: AND
00000d92: PUSH1 0x00
00000d94: DUP1
00000d95: SWAP1
00000d96: SLOAD
00000d97: SWAP1
00000d98: PUSH2 0x0100
00000d9b: EXP
00000d9c: SWAP1
00000d9d: DIV
00000d9e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000db3: AND
00000db4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000dc9: AND
00000dca: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00000deb: PUSH1 0x40
00000ded: MLOAD
00000dee: PUSH1 0x40
00000df0: MLOAD
00000df1: DUP1
00000df2: SWAP2
00000df3: SUB
00000df4: SWAP1
00000df5: LOG3
00000df6: PUSH1 0x00
00000df8: DUP1
00000df9: PUSH1 0x00
00000dfb: PUSH2 0x0100
00000dfe: EXP
00000dff: DUP2
00000e00: SLOAD
00000e01: DUP2
00000e02: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e17: MUL
00000e18: NOT
00000e19: AND
00000e1a: SWAP1
00000e1b: DUP4
00000e1c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e31: AND
00000e32: MUL
00000e33: OR
00000e34: SWAP1
00000e35: SSTORE
00000e36: POP
00000e37: JUMP
00000e38: JUMPDEST
00000e39: PUSH1 0x00
00000e3b: PUSH2 0x0e60
00000e3e: PUSH1 0x01
00000e40: PUSH2 0x0e52
00000e43: DUP6
00000e44: DUP6
00000e45: PUSH2 0x1f71
00000e48: SWAP1
00000e49: SWAP2
00000e4a: SWAP1
00000e4b: PUSH4 0xffffffff
00000e50: AND
00000e51: JUMP
00000e52: JUMPDEST
00000e53: PUSH2 0x1ff4
00000e56: SWAP1
00000e57: SWAP2
00000e58: SWAP1
00000e59: PUSH4 0xffffffff
00000e5e: AND
00000e5f: JUMP
00000e60: JUMPDEST
00000e61: SWAP1
00000e62: POP
00000e63: PUSH1 0x00
00000e65: PUSH2 0x0e7e
00000e68: PUSH7 0x2386f26fc10000
00000e70: DUP4
00000e71: PUSH2 0x207c
00000e74: SWAP1
00000e75: SWAP2
00000e76: SWAP1
00000e77: PUSH4 0xffffffff
00000e7c: AND
00000e7d: JUMP
00000e7e: JUMPDEST
00000e7f: SWAP1
00000e80: POP
00000e81: PUSH3 0x0186a0
00000e85: PUSH2 0x0eac
00000e88: PUSH1 0x01
00000e8a: PUSH2 0x0e9e
00000e8d: DUP6
00000e8e: PUSH1 0x03
00000e90: SLOAD
00000e91: PUSH2 0x1ff4
00000e94: SWAP1
00000e95: SWAP2
00000e96: SWAP1
00000e97: PUSH4 0xffffffff
00000e9c: AND
00000e9d: JUMP
00000e9e: JUMPDEST
00000e9f: PUSH2 0x1f71
00000ea2: SWAP1
00000ea3: SWAP2
00000ea4: SWAP1
00000ea5: PUSH4 0xffffffff
00000eaa: AND
00000eab: JUMP
00000eac: JUMPDEST
00000ead: LT
00000eae: PUSH2 0x0f1f
00000eb1: JUMPI
00000eb2: PUSH1 0x40
00000eb4: MLOAD
00000eb5: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000ed6: DUP2
00000ed7: MSTORE
00000ed8: PUSH1 0x04
00000eda: ADD
00000edb: DUP1
00000edc: DUP1
00000edd: PUSH1 0x20
00000edf: ADD
00000ee0: DUP3
00000ee1: DUP2
00000ee2: SUB
00000ee3: DUP3
00000ee4: MSTORE
00000ee5: PUSH1 0x0d
00000ee7: DUP2
00000ee8: MSTORE
00000ee9: PUSH1 0x20
00000eeb: ADD
00000eec: DUP1
00000eed: PUSH32 0x616c6c2061726520676f6e652100000000000000000000000000000000000000
00000f0e: DUP2
00000f0f: MSTORE
00000f10: POP
00000f11: PUSH1 0x20
00000f13: ADD
00000f14: SWAP2
00000f15: POP
00000f16: POP
00000f17: PUSH1 0x40
00000f19: MLOAD
00000f1a: DUP1
00000f1b: SWAP2
00000f1c: SUB
00000f1d: SWAP1
00000f1e: REVERT
00000f1f: JUMPDEST
00000f20: DUP1
00000f21: CALLVALUE
00000f22: LT
00000f23: ISZERO
00000f24: PUSH2 0x0f95
00000f27: JUMPI
00000f28: PUSH1 0x40
00000f2a: MLOAD
00000f2b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000f4c: DUP2
00000f4d: MSTORE
00000f4e: PUSH1 0x04
00000f50: ADD
00000f51: DUP1
00000f52: DUP1
00000f53: PUSH1 0x20
00000f55: ADD
00000f56: DUP3
00000f57: DUP2
00000f58: SUB
00000f59: DUP3
00000f5a: MSTORE
00000f5b: PUSH1 0x0a
00000f5d: DUP2
00000f5e: MSTORE
00000f5f: PUSH1 0x20
00000f61: ADD
00000f62: DUP1
00000f63: PUSH32 0x746f6f2063686561702100000000000000000000000000000000000000000000
00000f84: DUP2
00000f85: MSTORE
00000f86: POP
00000f87: PUSH1 0x20
00000f89: ADD
00000f8a: SWAP2
00000f8b: POP
00000f8c: POP
00000f8d: PUSH1 0x40
00000f8f: MLOAD
00000f90: DUP1
00000f91: SWAP2
00000f92: SUB
00000f93: SWAP1
00000f94: REVERT
00000f95: JUMPDEST
00000f96: PUSH1 0x00
00000f98: DUP5
00000f99: SWAP1
00000f9a: POP
00000f9b: JUMPDEST
00000f9c: DUP4
00000f9d: DUP2
00000f9e: LT
00000f9f: ISZERO
00000fa0: PUSH2 0x120a
00000fa3: JUMPI
00000fa4: PUSH1 0x01
00000fa6: PUSH1 0x00
00000fa8: SWAP1
00000fa9: SLOAD
00000faa: SWAP1
00000fab: PUSH2 0x0100
00000fae: EXP
00000faf: SWAP1
00000fb0: DIV
00000fb1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fc6: AND
00000fc7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fdc: AND
00000fdd: PUSH4 0xd9ba0131
00000fe2: DUP3
00000fe3: PUSH1 0x40
00000fe5: MLOAD
00000fe6: DUP3
00000fe7: PUSH4 0xffffffff
00000fec: AND
00000fed: PUSH1 0xe0
00000fef: SHL
00000ff0: DUP2
00000ff1: MSTORE
00000ff2: PUSH1 0x04
00000ff4: ADD
00000ff5: DUP1
00000ff6: DUP3
00000ff7: DUP2
00000ff8: MSTORE
00000ff9: PUSH1 0x20
00000ffb: ADD
00000ffc: SWAP2
00000ffd: POP
00000ffe: POP
00000fff: PUSH1 0x20
00001001: PUSH1 0x40
00001003: MLOAD
00001004: DUP1
00001005: DUP4
00001006: SUB
00001007: DUP2
00001008: DUP7
00001009: DUP1
0000100a: EXTCODESIZE
0000100b: ISZERO
0000100c: DUP1
0000100d: ISZERO
0000100e: PUSH2 0x1016
00001011: JUMPI
00001012: PUSH1 0x00
00001014: DUP1
00001015: REVERT
00001016: JUMPDEST
00001017: POP
00001018: GAS
00001019: STATICCALL
0000101a: ISZERO
0000101b: DUP1
0000101c: ISZERO
0000101d: PUSH2 0x102a
00001020: JUMPI
00001021: RETURNDATASIZE
00001022: PUSH1 0x00
00001024: DUP1
00001025: RETURNDATACOPY
00001026: RETURNDATASIZE
00001027: PUSH1 0x00
00001029: REVERT
0000102a: JUMPDEST
0000102b: POP
0000102c: POP
0000102d: POP
0000102e: POP
0000102f: PUSH1 0x40
00001031: MLOAD
00001032: RETURNDATASIZE
00001033: PUSH1 0x20
00001035: DUP2
00001036: LT
00001037: ISZERO
00001038: PUSH2 0x1040
0000103b: JUMPI
0000103c: PUSH1 0x00
0000103e: DUP1
0000103f: REVERT
00001040: JUMPDEST
00001041: DUP2
00001042: ADD
00001043: SWAP1
00001044: DUP1
00001045: DUP1
00001046: MLOAD
00001047: SWAP1
00001048: PUSH1 0x20
0000104a: ADD
0000104b: SWAP1
0000104c: SWAP3
0000104d: SWAP2
0000104e: SWAP1
0000104f: POP
00001050: POP
00001051: POP
00001052: PUSH2 0x10c3
00001055: JUMPI
00001056: PUSH1 0x40
00001058: MLOAD
00001059: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000107a: DUP2
0000107b: MSTORE
0000107c: PUSH1 0x04
0000107e: ADD
0000107f: DUP1
00001080: DUP1
00001081: PUSH1 0x20
00001083: ADD
00001084: DUP3
00001085: DUP2
00001086: SUB
00001087: DUP3
00001088: MSTORE
00001089: PUSH1 0x18
0000108b: DUP2
0000108c: MSTORE
0000108d: PUSH1 0x20
0000108f: ADD
00001090: DUP1
00001091: PUSH32 0x6469636b206b696e6420646f6573206e6f742065786973740000000000000000
000010b2: DUP2
000010b3: MSTORE
000010b4: POP
000010b5: PUSH1 0x20
000010b7: ADD
000010b8: SWAP2
000010b9: POP
000010ba: POP
000010bb: PUSH1 0x40
000010bd: MLOAD
000010be: DUP1
000010bf: SWAP2
000010c0: SUB
000010c1: SWAP1
000010c2: REVERT
000010c3: JUMPDEST
000010c4: PUSH1 0x00
000010c6: PUSH1 0x01
000010c8: PUSH1 0x00
000010ca: SWAP1
000010cb: SLOAD
000010cc: SWAP1
000010cd: PUSH2 0x0100
000010d0: EXP
000010d1: SWAP1
000010d2: DIV
000010d3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010e8: AND
000010e9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010fe: AND
000010ff: PUSH4 0x40c10f19
00001104: CALLER
00001105: DUP5
00001106: PUSH1 0x40
00001108: MLOAD
00001109: DUP4
0000110a: PUSH4 0xffffffff
0000110f: AND
00001110: PUSH1 0xe0
00001112: SHL
00001113: DUP2
00001114: MSTORE
00001115: PUSH1 0x04
00001117: ADD
00001118: DUP1
00001119: DUP4
0000111a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000112f: AND
00001130: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001145: AND
00001146: DUP2
00001147: MSTORE
00001148: PUSH1 0x20
0000114a: ADD
0000114b: DUP3
0000114c: DUP2
0000114d: MSTORE
0000114e: PUSH1 0x20
00001150: ADD
00001151: SWAP3
00001152: POP
00001153: POP
00001154: POP
00001155: PUSH1 0x20
00001157: PUSH1 0x40
00001159: MLOAD
0000115a: DUP1
0000115b: DUP4
0000115c: SUB
0000115d: DUP2
0000115e: PUSH1 0x00
00001160: DUP8
00001161: DUP1
00001162: EXTCODESIZE
00001163: ISZERO
00001164: DUP1
00001165: ISZERO
00001166: PUSH2 0x116e
00001169: JUMPI
0000116a: PUSH1 0x00
0000116c: DUP1
0000116d: REVERT
0000116e: JUMPDEST
0000116f: POP
00001170: GAS
00001171: CALL
00001172: ISZERO
00001173: DUP1
00001174: ISZERO
00001175: PUSH2 0x1182
00001178: JUMPI
00001179: RETURNDATASIZE
0000117a: PUSH1 0x00
0000117c: DUP1
0000117d: RETURNDATACOPY
0000117e: RETURNDATASIZE
0000117f: PUSH1 0x00
00001181: REVERT
00001182: JUMPDEST
00001183: POP
00001184: POP
00001185: POP
00001186: POP
00001187: PUSH1 0x40
00001189: MLOAD
0000118a: RETURNDATASIZE
0000118b: PUSH1 0x20
0000118d: DUP2
0000118e: LT
0000118f: ISZERO
00001190: PUSH2 0x1198
00001193: JUMPI
00001194: PUSH1 0x00
00001196: DUP1
00001197: REVERT
00001198: JUMPDEST
00001199: DUP2
0000119a: ADD
0000119b: SWAP1
0000119c: DUP1
0000119d: DUP1
0000119e: MLOAD
0000119f: SWAP1
000011a0: PUSH1 0x20
000011a2: ADD
000011a3: SWAP1
000011a4: SWAP3
000011a5: SWAP2
000011a6: SWAP1
000011a7: POP
000011a8: POP
000011a9: POP
000011aa: SWAP1
000011ab: POP
000011ac: CALLER
000011ad: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011c2: AND
000011c3: DUP2
000011c4: DUP4
000011c5: PUSH32 0x0caacaeecd1c6227773c15da4076eb305bc712304e504e72c5226e1d33b1ddd5
000011e6: PUSH1 0x00
000011e8: PUSH1 0x40
000011ea: MLOAD
000011eb: DUP1
000011ec: DUP3
000011ed: DUP2
000011ee: MSTORE
000011ef: PUSH1 0x20
000011f1: ADD
000011f2: SWAP2
000011f3: POP
000011f4: POP
000011f5: PUSH1 0x40
000011f7: MLOAD
000011f8: DUP1
000011f9: SWAP2
000011fa: SUB
000011fb: SWAP1
000011fc: LOG4
000011fd: POP
000011fe: DUP1
000011ff: DUP1
00001200: PUSH1 0x01
00001202: ADD
00001203: SWAP2
00001204: POP
00001205: POP
00001206: PUSH2 0x0f9b
00001209: JUMP
0000120a: JUMPDEST
0000120b: POP
0000120c: PUSH1 0x00
0000120e: PUSH2 0x1220
00001211: DUP3
00001212: CALLVALUE
00001213: PUSH2 0x1f71
00001216: SWAP1
00001217: SWAP2
00001218: SWAP1
00001219: PUSH4 0xffffffff
0000121e: AND
0000121f: JUMP
00001220: JUMPDEST
00001221: SWAP1
00001222: POP
00001223: PUSH1 0x01
00001225: PUSH1 0x00
00001227: SWAP1
00001228: SLOAD
00001229: SWAP1
0000122a: PUSH2 0x0100
0000122d: EXP
0000122e: SWAP1
0000122f: DIV
00001230: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001245: AND
00001246: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000125b: AND
0000125c: PUSH4 0xd9ba0131
00001261: DUP6
00001262: PUSH1 0x40
00001264: MLOAD
00001265: DUP3
00001266: PUSH4 0xffffffff
0000126b: AND
0000126c: PUSH1 0xe0
0000126e: SHL
0000126f: DUP2
00001270: MSTORE
00001271: PUSH1 0x04
00001273: ADD
00001274: DUP1
00001275: DUP3
00001276: DUP2
00001277: MSTORE
00001278: PUSH1 0x20
0000127a: ADD
0000127b: SWAP2
0000127c: POP
0000127d: POP
0000127e: PUSH1 0x20
00001280: PUSH1 0x40
00001282: MLOAD
00001283: DUP1
00001284: DUP4
00001285: SUB
00001286: DUP2
00001287: DUP7
00001288: DUP1
00001289: EXTCODESIZE
0000128a: ISZERO
0000128b: DUP1
0000128c: ISZERO
0000128d: PUSH2 0x1295
00001290: JUMPI
00001291: PUSH1 0x00
00001293: DUP1
00001294: REVERT
00001295: JUMPDEST
00001296: POP
00001297: GAS
00001298: STATICCALL
00001299: ISZERO
0000129a: DUP1
0000129b: ISZERO
0000129c: PUSH2 0x12a9
0000129f: JUMPI
000012a0: RETURNDATASIZE
000012a1: PUSH1 0x00
000012a3: DUP1
000012a4: RETURNDATACOPY
000012a5: RETURNDATASIZE
000012a6: PUSH1 0x00
000012a8: REVERT
000012a9: JUMPDEST
000012aa: POP
000012ab: POP
000012ac: POP
000012ad: POP
000012ae: PUSH1 0x40
000012b0: MLOAD
000012b1: RETURNDATASIZE
000012b2: PUSH1 0x20
000012b4: DUP2
000012b5: LT
000012b6: ISZERO
000012b7: PUSH2 0x12bf
000012ba: JUMPI
000012bb: PUSH1 0x00
000012bd: DUP1
000012be: REVERT
000012bf: JUMPDEST
000012c0: DUP2
000012c1: ADD
000012c2: SWAP1
000012c3: DUP1
000012c4: DUP1
000012c5: MLOAD
000012c6: SWAP1
000012c7: PUSH1 0x20
000012c9: ADD
000012ca: SWAP1
000012cb: SWAP3
000012cc: SWAP2
000012cd: SWAP1
000012ce: POP
000012cf: POP
000012d0: POP
000012d1: PUSH2 0x1342
000012d4: JUMPI
000012d5: PUSH1 0x40
000012d7: MLOAD
000012d8: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000012f9: DUP2
000012fa: MSTORE
000012fb: PUSH1 0x04
000012fd: ADD
000012fe: DUP1
000012ff: DUP1
00001300: PUSH1 0x20
00001302: ADD
00001303: DUP3
00001304: DUP2
00001305: SUB
00001306: DUP3
00001307: MSTORE
00001308: PUSH1 0x18
0000130a: DUP2
0000130b: MSTORE
0000130c: PUSH1 0x20
0000130e: ADD
0000130f: DUP1
00001310: PUSH32 0x6469636b206b696e6420646f6573206e6f742065786973740000000000000000
00001331: DUP2
00001332: MSTORE
00001333: POP
00001334: PUSH1 0x20
00001336: ADD
00001337: SWAP2
00001338: POP
00001339: POP
0000133a: PUSH1 0x40
0000133c: MLOAD
0000133d: DUP1
0000133e: SWAP2
0000133f: SUB
00001340: SWAP1
00001341: REVERT
00001342: JUMPDEST
00001343: PUSH1 0x00
00001345: PUSH1 0x01
00001347: PUSH1 0x00
00001349: SWAP1
0000134a: SLOAD
0000134b: SWAP1
0000134c: PUSH2 0x0100
0000134f: EXP
00001350: SWAP1
00001351: DIV
00001352: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001367: AND
00001368: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000137d: AND
0000137e: PUSH4 0x40c10f19
00001383: CALLER
00001384: DUP8
00001385: PUSH1 0x40
00001387: MLOAD
00001388: DUP4
00001389: PUSH4 0xffffffff
0000138e: AND
0000138f: PUSH1 0xe0
00001391: SHL
00001392: DUP2
00001393: MSTORE
00001394: PUSH1 0x04
00001396: ADD
00001397: DUP1
00001398: DUP4
00001399: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013ae: AND
000013af: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013c4: AND
000013c5: DUP2
000013c6: MSTORE
000013c7: PUSH1 0x20
000013c9: ADD
000013ca: DUP3
000013cb: DUP2
000013cc: MSTORE
000013cd: PUSH1 0x20
000013cf: ADD
000013d0: SWAP3
000013d1: POP
000013d2: POP
000013d3: POP
000013d4: PUSH1 0x20
000013d6: PUSH1 0x40
000013d8: MLOAD
000013d9: DUP1
000013da: DUP4
000013db: SUB
000013dc: DUP2
000013dd: PUSH1 0x00
000013df: DUP8
000013e0: DUP1
000013e1: EXTCODESIZE
000013e2: ISZERO
000013e3: DUP1
000013e4: ISZERO
000013e5: PUSH2 0x13ed
000013e8: JUMPI
000013e9: PUSH1 0x00
000013eb: DUP1
000013ec: REVERT
000013ed: JUMPDEST
000013ee: POP
000013ef: GAS
000013f0: CALL
000013f1: ISZERO
000013f2: DUP1
000013f3: ISZERO
000013f4: PUSH2 0x1401
000013f7: JUMPI
000013f8: RETURNDATASIZE
000013f9: PUSH1 0x00
000013fb: DUP1
000013fc: RETURNDATACOPY
000013fd: RETURNDATASIZE
000013fe: PUSH1 0x00
00001400: REVERT
00001401: JUMPDEST
00001402: POP
00001403: POP
00001404: POP
00001405: POP
00001406: PUSH1 0x40
00001408: MLOAD
00001409: RETURNDATASIZE
0000140a: PUSH1 0x20
0000140c: DUP2
0000140d: LT
0000140e: ISZERO
0000140f: PUSH2 0x1417
00001412: JUMPI
00001413: PUSH1 0x00
00001415: DUP1
00001416: REVERT
00001417: JUMPDEST
00001418: DUP2
00001419: ADD
0000141a: SWAP1
0000141b: DUP1
0000141c: DUP1
0000141d: MLOAD
0000141e: SWAP1
0000141f: PUSH1 0x20
00001421: ADD
00001422: SWAP1
00001423: SWAP3
00001424: SWAP2
00001425: SWAP1
00001426: POP
00001427: POP
00001428: POP
00001429: SWAP1
0000142a: POP
0000142b: CALLER
0000142c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001441: AND
00001442: DUP2
00001443: DUP7
00001444: PUSH32 0x0caacaeecd1c6227773c15da4076eb305bc712304e504e72c5226e1d33b1ddd5
00001465: DUP6
00001466: PUSH1 0x40
00001468: MLOAD
00001469: DUP1
0000146a: DUP3
0000146b: DUP2
0000146c: MSTORE
0000146d: PUSH1 0x20
0000146f: ADD
00001470: SWAP2
00001471: POP
00001472: POP
00001473: PUSH1 0x40
00001475: MLOAD
00001476: DUP1
00001477: SWAP2
00001478: SUB
00001479: SWAP1
0000147a: LOG4
0000147b: PUSH2 0x148f
0000147e: DUP5
0000147f: PUSH1 0x03
00001481: SLOAD
00001482: PUSH2 0x1ff4
00001485: SWAP1
00001486: SWAP2
00001487: SWAP1
00001488: PUSH4 0xffffffff
0000148d: AND
0000148e: JUMP
0000148f: JUMPDEST
00001490: PUSH1 0x03
00001492: DUP2
00001493: SWAP1
00001494: SSTORE
00001495: POP
00001496: PUSH2 0x14e7
00001499: DUP3
0000149a: PUSH1 0x05
0000149c: PUSH1 0x00
0000149e: CALLER
0000149f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014b4: AND
000014b5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014ca: AND
000014cb: DUP2
000014cc: MSTORE
000014cd: PUSH1 0x20
000014cf: ADD
000014d0: SWAP1
000014d1: DUP2
000014d2: MSTORE
000014d3: PUSH1 0x20
000014d5: ADD
000014d6: PUSH1 0x00
000014d8: KECCAK256
000014d9: SLOAD
000014da: PUSH2 0x1ff4
000014dd: SWAP1
000014de: SWAP2
000014df: SWAP1
000014e0: PUSH4 0xffffffff
000014e5: AND
000014e6: JUMP
000014e7: JUMPDEST
000014e8: PUSH1 0x05
000014ea: PUSH1 0x00
000014ec: CALLER
000014ed: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001502: AND
00001503: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001518: AND
00001519: DUP2
0000151a: MSTORE
0000151b: PUSH1 0x20
0000151d: ADD
0000151e: SWAP1
0000151f: DUP2
00001520: MSTORE
00001521: PUSH1 0x20
00001523: ADD
00001524: PUSH1 0x00
00001526: KECCAK256
00001527: DUP2
00001528: SWAP1
00001529: SSTORE
0000152a: POP
0000152b: PUSH1 0x05
0000152d: PUSH1 0x00
0000152f: PUSH1 0x06
00001531: PUSH1 0x00
00001533: SWAP1
00001534: SLOAD
00001535: SWAP1
00001536: PUSH2 0x0100
00001539: EXP
0000153a: SWAP1
0000153b: DIV
0000153c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001551: AND
00001552: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001567: AND
00001568: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000157d: AND
0000157e: DUP2
0000157f: MSTORE
00001580: PUSH1 0x20
00001582: ADD
00001583: SWAP1
00001584: DUP2
00001585: MSTORE
00001586: PUSH1 0x20
00001588: ADD
00001589: PUSH1 0x00
0000158b: KECCAK256
0000158c: SLOAD
0000158d: PUSH1 0x05
0000158f: PUSH1 0x00
00001591: CALLER
00001592: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015a7: AND
000015a8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015bd: AND
000015be: DUP2
000015bf: MSTORE
000015c0: PUSH1 0x20
000015c2: ADD
000015c3: SWAP1
000015c4: DUP2
000015c5: MSTORE
000015c6: PUSH1 0x20
000015c8: ADD
000015c9: PUSH1 0x00
000015cb: KECCAK256
000015cc: SLOAD
000015cd: GT
000015ce: ISZERO
000015cf: PUSH2 0x1657
000015d2: JUMPI
000015d3: CALLER
000015d4: PUSH1 0x06
000015d6: PUSH1 0x00
000015d8: PUSH2 0x0100
000015db: EXP
000015dc: DUP2
000015dd: SLOAD
000015de: DUP2
000015df: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015f4: MUL
000015f5: NOT
000015f6: AND
000015f7: SWAP1
000015f8: DUP4
000015f9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000160e: AND
0000160f: MUL
00001610: OR
00001611: SWAP1
00001612: SSTORE
00001613: POP
00001614: CALLER
00001615: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000162a: AND
0000162b: PUSH32 0xdbf1482a7a8aa71782b0a6938ea7a3c56d2021dade480ea0dccf3d312a702dcc
0000164c: PUSH1 0x40
0000164e: MLOAD
0000164f: PUSH1 0x40
00001651: MLOAD
00001652: DUP1
00001653: SWAP2
00001654: SUB
00001655: SWAP1
00001656: LOG2
00001657: JUMPDEST
00001658: POP
00001659: POP
0000165a: POP
0000165b: POP
0000165c: POP
0000165d: POP
0000165e: JUMP
0000165f: JUMPDEST
00001660: PUSH1 0x02
00001662: PUSH1 0x00
00001664: SWAP1
00001665: SLOAD
00001666: SWAP1
00001667: PUSH2 0x0100
0000166a: EXP
0000166b: SWAP1
0000166c: DIV
0000166d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001682: AND
00001683: DUP2
00001684: JUMP
00001685: JUMPDEST
00001686: PUSH1 0x00
00001688: DUP1
00001689: PUSH1 0x00
0000168b: SWAP1
0000168c: SLOAD
0000168d: SWAP1
0000168e: PUSH2 0x0100
00001691: EXP
00001692: SWAP1
00001693: DIV
00001694: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016a9: AND
000016aa: SWAP1
000016ab: POP
000016ac: SWAP1
000016ad: JUMP
000016ae: JUMPDEST
000016af: PUSH1 0x01
000016b1: PUSH1 0x00
000016b3: SWAP1
000016b4: SLOAD
000016b5: SWAP1
000016b6: PUSH2 0x0100
000016b9: EXP
000016ba: SWAP1
000016bb: DIV
000016bc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016d1: AND
000016d2: DUP2
000016d3: JUMP
000016d4: JUMPDEST
000016d5: PUSH1 0x02
000016d7: PUSH1 0x00
000016d9: SWAP1
000016da: SLOAD
000016db: SWAP1
000016dc: PUSH2 0x0100
000016df: EXP
000016e0: SWAP1
000016e1: DIV
000016e2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016f7: AND
000016f8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000170d: AND
0000170e: PUSH4 0xd9ba0131
00001713: DUP3
00001714: PUSH1 0x40
00001716: MLOAD
00001717: DUP3
00001718: PUSH4 0xffffffff
0000171d: AND
0000171e: PUSH1 0xe0
00001720: SHL
00001721: DUP2
00001722: MSTORE
00001723: PUSH1 0x04
00001725: ADD
00001726: DUP1
00001727: DUP3
00001728: DUP2
00001729: MSTORE
0000172a: PUSH1 0x20
0000172c: ADD
0000172d: SWAP2
0000172e: POP
0000172f: POP
00001730: PUSH1 0x20
00001732: PUSH1 0x40
00001734: MLOAD
00001735: DUP1
00001736: DUP4
00001737: SUB
00001738: DUP2
00001739: DUP7
0000173a: DUP1
0000173b: EXTCODESIZE
0000173c: ISZERO
0000173d: DUP1
0000173e: ISZERO
0000173f: PUSH2 0x1747
00001742: JUMPI
00001743: PUSH1 0x00
00001745: DUP1
00001746: REVERT
00001747: JUMPDEST
00001748: POP
00001749: GAS
0000174a: STATICCALL
0000174b: ISZERO
0000174c: DUP1
0000174d: ISZERO
0000174e: PUSH2 0x175b
00001751: JUMPI
00001752: RETURNDATASIZE
00001753: PUSH1 0x00
00001755: DUP1
00001756: RETURNDATACOPY
00001757: RETURNDATASIZE
00001758: PUSH1 0x00
0000175a: REVERT
0000175b: JUMPDEST
0000175c: POP
0000175d: POP
0000175e: POP
0000175f: POP
00001760: PUSH1 0x40
00001762: MLOAD
00001763: RETURNDATASIZE
00001764: PUSH1 0x20
00001766: DUP2
00001767: LT
00001768: ISZERO
00001769: PUSH2 0x1771
0000176c: JUMPI
0000176d: PUSH1 0x00
0000176f: DUP1
00001770: REVERT
00001771: JUMPDEST
00001772: DUP2
00001773: ADD
00001774: SWAP1
00001775: DUP1
00001776: DUP1
00001777: MLOAD
00001778: SWAP1
00001779: PUSH1 0x20
0000177b: ADD
0000177c: SWAP1
0000177d: SWAP3
0000177e: SWAP2
0000177f: SWAP1
00001780: POP
00001781: POP
00001782: POP
00001783: PUSH2 0x17f4
00001786: JUMPI
00001787: PUSH1 0x40
00001789: MLOAD
0000178a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000017ab: DUP2
000017ac: MSTORE
000017ad: PUSH1 0x04
000017af: ADD
000017b0: DUP1
000017b1: DUP1
000017b2: PUSH1 0x20
000017b4: ADD
000017b5: DUP3
000017b6: DUP2
000017b7: SUB
000017b8: DUP3
000017b9: MSTORE
000017ba: PUSH1 0x18
000017bc: DUP2
000017bd: MSTORE
000017be: PUSH1 0x20
000017c0: ADD
000017c1: DUP1
000017c2: PUSH32 0x6469636b206b696e6420646f6573206e6f742065786973740000000000000000
000017e3: DUP2
000017e4: MSTORE
000017e5: POP
000017e6: PUSH1 0x20
000017e8: ADD
000017e9: SWAP2
000017ea: POP
000017eb: POP
000017ec: PUSH1 0x40
000017ee: MLOAD
000017ef: DUP1
000017f0: SWAP2
000017f1: SUB
000017f2: SWAP1
000017f3: REVERT
000017f4: JUMPDEST
000017f5: PUSH1 0x05
000017f7: PUSH1 0x04
000017f9: PUSH1 0x00
000017fb: DUP4
000017fc: DUP2
000017fd: MSTORE
000017fe: PUSH1 0x20
00001800: ADD
00001801: SWAP1
00001802: DUP2
00001803: MSTORE
00001804: PUSH1 0x20
00001806: ADD
00001807: PUSH1 0x00
00001809: KECCAK256
0000180a: SLOAD
0000180b: LT
0000180c: PUSH2 0x187d
0000180f: JUMPI
00001810: PUSH1 0x40
00001812: MLOAD
00001813: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001834: DUP2
00001835: MSTORE
00001836: PUSH1 0x04
00001838: ADD
00001839: DUP1
0000183a: DUP1
0000183b: PUSH1 0x20
0000183d: ADD
0000183e: DUP3
0000183f: DUP2
00001840: SUB
00001841: DUP3
00001842: MSTORE
00001843: PUSH1 0x08
00001845: DUP2
00001846: MSTORE
00001847: PUSH1 0x20
00001849: ADD
0000184a: DUP1
0000184b: PUSH32 0x616c6c20676f6e65000000000000000000000000000000000000000000000000
0000186c: DUP2
0000186d: MSTORE
0000186e: POP
0000186f: PUSH1 0x20
00001871: ADD
00001872: SWAP2
00001873: POP
00001874: POP
00001875: PUSH1 0x40
00001877: MLOAD
00001878: DUP1
00001879: SWAP2
0000187a: SUB
0000187b: SWAP1
0000187c: REVERT
0000187d: JUMPDEST
0000187e: PUSH2 0x18a4
00001881: PUSH1 0x01
00001883: PUSH1 0x04
00001885: PUSH1 0x00
00001887: DUP5
00001888: DUP2
00001889: MSTORE
0000188a: PUSH1 0x20
0000188c: ADD
0000188d: SWAP1
0000188e: DUP2
0000188f: MSTORE
00001890: PUSH1 0x20
00001892: ADD
00001893: PUSH1 0x00
00001895: KECCAK256
00001896: SLOAD
00001897: PUSH2 0x1ff4
0000189a: SWAP1
0000189b: SWAP2
0000189c: SWAP1
0000189d: PUSH4 0xffffffff
000018a2: AND
000018a3: JUMP
000018a4: JUMPDEST
000018a5: PUSH1 0x04
000018a7: PUSH1 0x00
000018a9: DUP4
000018aa: DUP2
000018ab: MSTORE
000018ac: PUSH1 0x20
000018ae: ADD
000018af: SWAP1
000018b0: DUP2
000018b1: MSTORE
000018b2: PUSH1 0x20
000018b4: ADD
000018b5: PUSH1 0x00
000018b7: KECCAK256
000018b8: DUP2
000018b9: SWAP1
000018ba: SSTORE
000018bb: POP
000018bc: PUSH1 0x00
000018be: PUSH2 0x18eb
000018c1: PUSH8 0x06f05b59d3b20000
000018ca: PUSH1 0x04
000018cc: PUSH1 0x00
000018ce: DUP6
000018cf: DUP2
000018d0: MSTORE
000018d1: PUSH1 0x20
000018d3: ADD
000018d4: SWAP1
000018d5: DUP2
000018d6: MSTORE
000018d7: PUSH1 0x20
000018d9: ADD
000018da: PUSH1 0x00
000018dc: KECCAK256
000018dd: SLOAD
000018de: PUSH2 0x207c
000018e1: SWAP1
000018e2: SWAP2
000018e3: SWAP1
000018e4: PUSH4 0xffffffff
000018e9: AND
000018ea: JUMP
000018eb: JUMPDEST
000018ec: SWAP1
000018ed: POP
000018ee: DUP1
000018ef: CALLVALUE
000018f0: LT
000018f1: ISZERO
000018f2: PUSH2 0x1963
000018f5: JUMPI
000018f6: PUSH1 0x40
000018f8: MLOAD
000018f9: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000191a: DUP2
0000191b: MSTORE
0000191c: PUSH1 0x04
0000191e: ADD
0000191f: DUP1
00001920: DUP1
00001921: PUSH1 0x20
00001923: ADD
00001924: DUP3
00001925: DUP2
00001926: SUB
00001927: DUP3
00001928: MSTORE
00001929: PUSH1 0x0a
0000192b: DUP2
0000192c: MSTORE
0000192d: PUSH1 0x20
0000192f: ADD
00001930: DUP1
00001931: PUSH32 0x746f6f2063686561703f00000000000000000000000000000000000000000000
00001952: DUP2
00001953: MSTORE
00001954: POP
00001955: PUSH1 0x20
00001957: ADD
00001958: SWAP2
00001959: POP
0000195a: POP
0000195b: PUSH1 0x40
0000195d: MLOAD
0000195e: DUP1
0000195f: SWAP2
00001960: SUB
00001961: SWAP1
00001962: REVERT
00001963: JUMPDEST
00001964: PUSH1 0x00
00001966: PUSH1 0x02
00001968: PUSH1 0x00
0000196a: SWAP1
0000196b: SLOAD
0000196c: SWAP1
0000196d: PUSH2 0x0100
00001970: EXP
00001971: SWAP1
00001972: DIV
00001973: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001988: AND
00001989: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000199e: AND
0000199f: PUSH4 0x40c10f19
000019a4: CALLER
000019a5: DUP6
000019a6: PUSH1 0x40
000019a8: MLOAD
000019a9: DUP4
000019aa: PUSH4 0xffffffff
000019af: AND
000019b0: PUSH1 0xe0
000019b2: SHL
000019b3: DUP2
000019b4: MSTORE
000019b5: PUSH1 0x04
000019b7: ADD
000019b8: DUP1
000019b9: DUP4
000019ba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019cf: AND
000019d0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019e5: AND
000019e6: DUP2
000019e7: MSTORE
000019e8: PUSH1 0x20
000019ea: ADD
000019eb: DUP3
000019ec: DUP2
000019ed: MSTORE
000019ee: PUSH1 0x20
000019f0: ADD
000019f1: SWAP3
000019f2: POP
000019f3: POP
000019f4: POP
000019f5: PUSH1 0x20
000019f7: PUSH1 0x40
000019f9: MLOAD
000019fa: DUP1
000019fb: DUP4
000019fc: SUB
000019fd: DUP2
000019fe: PUSH1 0x00
00001a00: DUP8
00001a01: DUP1
00001a02: EXTCODESIZE
00001a03: ISZERO
00001a04: DUP1
00001a05: ISZERO
00001a06: PUSH2 0x1a0e
00001a09: JUMPI
00001a0a: PUSH1 0x00
00001a0c: DUP1
00001a0d: REVERT
00001a0e: JUMPDEST
00001a0f: POP
00001a10: GAS
00001a11: CALL
00001a12: ISZERO
00001a13: DUP1
00001a14: ISZERO
00001a15: PUSH2 0x1a22
00001a18: JUMPI
00001a19: RETURNDATASIZE
00001a1a: PUSH1 0x00
00001a1c: DUP1
00001a1d: RETURNDATACOPY
00001a1e: RETURNDATASIZE
00001a1f: PUSH1 0x00
00001a21: REVERT
00001a22: JUMPDEST
00001a23: POP
00001a24: POP
00001a25: POP
00001a26: POP
00001a27: PUSH1 0x40
00001a29: MLOAD
00001a2a: RETURNDATASIZE
00001a2b: PUSH1 0x20
00001a2d: DUP2
00001a2e: LT
00001a2f: ISZERO
00001a30: PUSH2 0x1a38
00001a33: JUMPI
00001a34: PUSH1 0x00
00001a36: DUP1
00001a37: REVERT
00001a38: JUMPDEST
00001a39: DUP2
00001a3a: ADD
00001a3b: SWAP1
00001a3c: DUP1
00001a3d: DUP1
00001a3e: MLOAD
00001a3f: SWAP1
00001a40: PUSH1 0x20
00001a42: ADD
00001a43: SWAP1
00001a44: SWAP3
00001a45: SWAP2
00001a46: SWAP1
00001a47: POP
00001a48: POP
00001a49: POP
00001a4a: SWAP1
00001a4b: POP
00001a4c: CALLER
00001a4d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a62: AND
00001a63: DUP2
00001a64: DUP5
00001a65: PUSH32 0x6cdc144bffcc1abcb4107742d94ed607a7a498ccfaea21e29da2723c02128791
00001a86: PUSH1 0x00
00001a88: PUSH1 0x40
00001a8a: MLOAD
00001a8b: DUP1
00001a8c: DUP3
00001a8d: DUP2
00001a8e: MSTORE
00001a8f: PUSH1 0x20
00001a91: ADD
00001a92: SWAP2
00001a93: POP
00001a94: POP
00001a95: PUSH1 0x40
00001a97: MLOAD
00001a98: DUP1
00001a99: SWAP2
00001a9a: SUB
00001a9b: SWAP1
00001a9c: LOG4
00001a9d: POP
00001a9e: POP
00001a9f: POP
00001aa0: JUMP
00001aa1: JUMPDEST
00001aa2: PUSH2 0x1aa9
00001aa5: PUSH2 0x1f69
00001aa8: JUMP
00001aa9: JUMPDEST
00001aaa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001abf: AND
00001ac0: PUSH2 0x1ac7
00001ac3: PUSH2 0x1685
00001ac6: JUMP
00001ac7: JUMPDEST
00001ac8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001add: AND
00001ade: EQ
00001adf: PUSH2 0x1b50
00001ae2: JUMPI
00001ae3: PUSH1 0x40
00001ae5: MLOAD
00001ae6: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001b07: DUP2
00001b08: MSTORE
00001b09: PUSH1 0x04
00001b0b: ADD
00001b0c: DUP1
00001b0d: DUP1
00001b0e: PUSH1 0x20
00001b10: ADD
00001b11: DUP3
00001b12: DUP2
00001b13: SUB
00001b14: DUP3
00001b15: MSTORE
00001b16: PUSH1 0x20
00001b18: DUP2
00001b19: MSTORE
00001b1a: PUSH1 0x20
00001b1c: ADD
00001b1d: DUP1
00001b1e: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00001b3f: DUP2
00001b40: MSTORE
00001b41: POP
00001b42: PUSH1 0x20
00001b44: ADD
00001b45: SWAP2
00001b46: POP
00001b47: POP
00001b48: PUSH1 0x40
00001b4a: MLOAD
00001b4b: DUP1
00001b4c: SWAP2
00001b4d: SUB
00001b4e: SWAP1
00001b4f: REVERT
00001b50: JUMPDEST
00001b51: PUSH2 0x1b7b
00001b54: DUP3
00001b55: DUP3
00001b56: DUP6
00001b57: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b6c: AND
00001b6d: PUSH2 0x2102
00001b70: SWAP1
00001b71: SWAP3
00001b72: SWAP2
00001b73: SWAP1
00001b74: PUSH4 0xffffffff
00001b79: AND
00001b7a: JUMP
00001b7b: JUMPDEST
00001b7c: POP
00001b7d: POP
00001b7e: POP
00001b7f: JUMP
00001b80: JUMPDEST
00001b81: PUSH1 0x05
00001b83: DUP2
00001b84: JUMP
00001b85: JUMPDEST
00001b86: PUSH1 0x03
00001b88: SLOAD
00001b89: DUP2
00001b8a: JUMP
00001b8b: JUMPDEST
00001b8c: PUSH2 0x1b93
00001b8f: PUSH2 0x1f69
00001b92: JUMP
00001b93: JUMPDEST
00001b94: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ba9: AND
00001baa: PUSH2 0x1bb1
00001bad: PUSH2 0x1685
00001bb0: JUMP
00001bb1: JUMPDEST
00001bb2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001bc7: AND
00001bc8: EQ
00001bc9: PUSH2 0x1c3a
00001bcc: JUMPI
00001bcd: PUSH1 0x40
00001bcf: MLOAD
00001bd0: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001bf1: DUP2
00001bf2: MSTORE
00001bf3: PUSH1 0x04
00001bf5: ADD
00001bf6: DUP1
00001bf7: DUP1
00001bf8: PUSH1 0x20
00001bfa: ADD
00001bfb: DUP3
00001bfc: DUP2
00001bfd: SUB
00001bfe: DUP3
00001bff: MSTORE
00001c00: PUSH1 0x20
00001c02: DUP2
00001c03: MSTORE
00001c04: PUSH1 0x20
00001c06: ADD
00001c07: DUP1
00001c08: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00001c29: DUP2
00001c2a: MSTORE
00001c2b: POP
00001c2c: PUSH1 0x20
00001c2e: ADD
00001c2f: SWAP2
00001c30: POP
00001c31: POP
00001c32: PUSH1 0x40
00001c34: MLOAD
00001c35: DUP1
00001c36: SWAP2
00001c37: SUB
00001c38: SWAP1
00001c39: REVERT
00001c3a: JUMPDEST
00001c3b: PUSH1 0x00
00001c3d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c52: AND
00001c53: DUP2
00001c54: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c69: AND
00001c6a: EQ
00001c6b: ISZERO
00001c6c: PUSH2 0x1cc0
00001c6f: JUMPI
00001c70: PUSH1 0x40
00001c72: MLOAD
00001c73: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001c94: DUP2
00001c95: MSTORE
00001c96: PUSH1 0x04
00001c98: ADD
00001c99: DUP1
00001c9a: DUP1
00001c9b: PUSH1 0x20
00001c9d: ADD
00001c9e: DUP3
00001c9f: DUP2
00001ca0: SUB
00001ca1: DUP3
00001ca2: MSTORE
00001ca3: PUSH1 0x26
00001ca5: DUP2
00001ca6: MSTORE
00001ca7: PUSH1 0x20
00001ca9: ADD
00001caa: DUP1
00001cab: PUSH2 0x254a
00001cae: PUSH1 0x26
00001cb0: SWAP2
00001cb1: CODECOPY
00001cb2: PUSH1 0x40
00001cb4: ADD
00001cb5: SWAP2
00001cb6: POP
00001cb7: POP
00001cb8: PUSH1 0x40
00001cba: MLOAD
00001cbb: DUP1
00001cbc: SWAP2
00001cbd: SUB
00001cbe: SWAP1
00001cbf: REVERT
00001cc0: JUMPDEST
00001cc1: DUP1
00001cc2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cd7: AND
00001cd8: PUSH1 0x00
00001cda: DUP1
00001cdb: SWAP1
00001cdc: SLOAD
00001cdd: SWAP1
00001cde: PUSH2 0x0100
00001ce1: EXP
00001ce2: SWAP1
00001ce3: DIV
00001ce4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cf9: AND
00001cfa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d0f: AND
00001d10: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00001d31: PUSH1 0x40
00001d33: MLOAD
00001d34: PUSH1 0x40
00001d36: MLOAD
00001d37: DUP1
00001d38: SWAP2
00001d39: SUB
00001d3a: SWAP1
00001d3b: LOG3
00001d3c: DUP1
00001d3d: PUSH1 0x00
00001d3f: DUP1
00001d40: PUSH2 0x0100
00001d43: EXP
00001d44: DUP2
00001d45: SLOAD
00001d46: DUP2
00001d47: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d5c: MUL
00001d5d: NOT
00001d5e: AND
00001d5f: SWAP1
00001d60: DUP4
00001d61: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d76: AND
00001d77: MUL
00001d78: OR
00001d79: SWAP1
00001d7a: SSTORE
00001d7b: POP
00001d7c: POP
00001d7d: JUMP
00001d7e: JUMPDEST
00001d7f: PUSH2 0x1d86
00001d82: PUSH2 0x1f69
00001d85: JUMP
00001d86: JUMPDEST
00001d87: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d9c: AND
00001d9d: PUSH2 0x1da4
00001da0: PUSH2 0x1685
00001da3: JUMP
00001da4: JUMPDEST
00001da5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001dba: AND
00001dbb: EQ
00001dbc: PUSH2 0x1e2d
00001dbf: JUMPI
00001dc0: PUSH1 0x40
00001dc2: MLOAD
00001dc3: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001de4: DUP2
00001de5: MSTORE
00001de6: PUSH1 0x04
00001de8: ADD
00001de9: DUP1
00001dea: DUP1
00001deb: PUSH1 0x20
00001ded: ADD
00001dee: DUP3
00001def: DUP2
00001df0: SUB
00001df1: DUP3
00001df2: MSTORE
00001df3: PUSH1 0x20
00001df5: DUP2
00001df6: MSTORE
00001df7: PUSH1 0x20
00001df9: ADD
00001dfa: DUP1
00001dfb: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00001e1c: DUP2
00001e1d: MSTORE
00001e1e: POP
00001e1f: PUSH1 0x20
00001e21: ADD
00001e22: SWAP2
00001e23: POP
00001e24: POP
00001e25: PUSH1 0x40
00001e27: MLOAD
00001e28: DUP1
00001e29: SWAP2
00001e2a: SUB
00001e2b: SWAP1
00001e2c: REVERT
00001e2d: JUMPDEST
00001e2e: PUSH1 0x02
00001e30: PUSH1 0x00
00001e32: SWAP1
00001e33: SLOAD
00001e34: SWAP1
00001e35: PUSH2 0x0100
00001e38: EXP
00001e39: SWAP1
00001e3a: DIV
00001e3b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e50: AND
00001e51: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e66: AND
00001e67: PUSH4 0xd9ba0131
00001e6c: DUP3
00001e6d: PUSH1 0x40
00001e6f: MLOAD
00001e70: DUP3
00001e71: PUSH4 0xffffffff
00001e76: AND
00001e77: PUSH1 0xe0
00001e79: SHL
00001e7a: DUP2
00001e7b: MSTORE
00001e7c: PUSH1 0x04
00001e7e: ADD
00001e7f: DUP1
00001e80: DUP3
00001e81: DUP2
00001e82: MSTORE
00001e83: PUSH1 0x20
00001e85: ADD
00001e86: SWAP2
00001e87: POP
00001e88: POP
00001e89: PUSH1 0x20
00001e8b: PUSH1 0x40
00001e8d: MLOAD
00001e8e: DUP1
00001e8f: DUP4
00001e90: SUB
00001e91: DUP2
00001e92: DUP7
00001e93: DUP1
00001e94: EXTCODESIZE
00001e95: ISZERO
00001e96: DUP1
00001e97: ISZERO
00001e98: PUSH2 0x1ea0
00001e9b: JUMPI
00001e9c: PUSH1 0x00
00001e9e: DUP1
00001e9f: REVERT
00001ea0: JUMPDEST
00001ea1: POP
00001ea2: GAS
00001ea3: STATICCALL
00001ea4: ISZERO
00001ea5: DUP1
00001ea6: ISZERO
00001ea7: PUSH2 0x1eb4
00001eaa: JUMPI
00001eab: RETURNDATASIZE
00001eac: PUSH1 0x00
00001eae: DUP1
00001eaf: RETURNDATACOPY
00001eb0: RETURNDATASIZE
00001eb1: PUSH1 0x00
00001eb3: REVERT
00001eb4: JUMPDEST
00001eb5: POP
00001eb6: POP
00001eb7: POP
00001eb8: POP
00001eb9: PUSH1 0x40
00001ebb: MLOAD
00001ebc: RETURNDATASIZE
00001ebd: PUSH1 0x20
00001ebf: DUP2
00001ec0: LT
00001ec1: ISZERO
00001ec2: PUSH2 0x1eca
00001ec5: JUMPI
00001ec6: PUSH1 0x00
00001ec8: DUP1
00001ec9: REVERT
00001eca: JUMPDEST
00001ecb: DUP2
00001ecc: ADD
00001ecd: SWAP1
00001ece: DUP1
00001ecf: DUP1
00001ed0: MLOAD
00001ed1: SWAP1
00001ed2: PUSH1 0x20
00001ed4: ADD
00001ed5: SWAP1
00001ed6: SWAP3
00001ed7: SWAP2
00001ed8: SWAP1
00001ed9: POP
00001eda: POP
00001edb: POP
00001edc: PUSH2 0x1f4d
00001edf: JUMPI
00001ee0: PUSH1 0x40
00001ee2: MLOAD
00001ee3: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001f04: DUP2
00001f05: MSTORE
00001f06: PUSH1 0x04
00001f08: ADD
00001f09: DUP1
00001f0a: DUP1
00001f0b: PUSH1 0x20
00001f0d: ADD
00001f0e: DUP3
00001f0f: DUP2
00001f10: SUB
00001f11: DUP3
00001f12: MSTORE
00001f13: PUSH1 0x18
00001f15: DUP2
00001f16: MSTORE
00001f17: PUSH1 0x20
00001f19: ADD
00001f1a: DUP1
00001f1b: PUSH32 0x6469636b206b696e6420646f6573206e6f742065786973740000000000000000
00001f3c: DUP2
00001f3d: MSTORE
00001f3e: POP
00001f3f: PUSH1 0x20
00001f41: ADD
00001f42: SWAP2
00001f43: POP
00001f44: POP
00001f45: PUSH1 0x40
00001f47: MLOAD
00001f48: DUP1
00001f49: SWAP2
00001f4a: SUB
00001f4b: SWAP1
00001f4c: REVERT
00001f4d: JUMPDEST
00001f4e: PUSH1 0x05
00001f50: PUSH1 0x04
00001f52: PUSH1 0x00
00001f54: DUP4
00001f55: DUP2
00001f56: MSTORE
00001f57: PUSH1 0x20
00001f59: ADD
00001f5a: SWAP1
00001f5b: DUP2
00001f5c: MSTORE
00001f5d: PUSH1 0x20
00001f5f: ADD
00001f60: PUSH1 0x00
00001f62: KECCAK256
00001f63: DUP2
00001f64: SWAP1
00001f65: SSTORE
00001f66: POP
00001f67: POP
00001f68: JUMP
00001f69: JUMPDEST
00001f6a: PUSH1 0x00
00001f6c: CALLER
00001f6d: SWAP1
00001f6e: POP
00001f6f: SWAP1
00001f70: JUMP
00001f71: JUMPDEST
00001f72: PUSH1 0x00
00001f74: DUP3
00001f75: DUP3
00001f76: GT
00001f77: ISZERO
00001f78: PUSH2 0x1fe9
00001f7b: JUMPI
00001f7c: PUSH1 0x40
00001f7e: MLOAD
00001f7f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001fa0: DUP2
00001fa1: MSTORE
00001fa2: PUSH1 0x04
00001fa4: ADD
00001fa5: DUP1
00001fa6: DUP1
00001fa7: PUSH1 0x20
00001fa9: ADD
00001faa: DUP3
00001fab: DUP2
00001fac: SUB
00001fad: DUP3
00001fae: MSTORE
00001faf: PUSH1 0x1e
00001fb1: DUP2
00001fb2: MSTORE
00001fb3: PUSH1 0x20
00001fb5: ADD
00001fb6: DUP1
00001fb7: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000
00001fd8: DUP2
00001fd9: MSTORE
00001fda: POP
00001fdb: PUSH1 0x20
00001fdd: ADD
00001fde: SWAP2
00001fdf: POP
00001fe0: POP
00001fe1: PUSH1 0x40
00001fe3: MLOAD
00001fe4: DUP1
00001fe5: SWAP2
00001fe6: SUB
00001fe7: SWAP1
00001fe8: REVERT
00001fe9: JUMPDEST
00001fea: DUP2
00001feb: DUP4
00001fec: SUB
00001fed: SWAP1
00001fee: POP
00001fef: SWAP3
00001ff0: SWAP2
00001ff1: POP
00001ff2: POP
00001ff3: JUMP
00001ff4: JUMPDEST
00001ff5: PUSH1 0x00
00001ff7: DUP1
00001ff8: DUP3
00001ff9: DUP5
00001ffa: ADD
00001ffb: SWAP1
00001ffc: POP
00001ffd: DUP4
00001ffe: DUP2
00001fff: LT
00002000: ISZERO
00002001: PUSH2 0x2072
00002004: JUMPI
00002005: PUSH1 0x40
00002007: MLOAD
00002008: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002029: DUP2
0000202a: MSTORE
0000202b: PUSH1 0x04
0000202d: ADD
0000202e: DUP1
0000202f: DUP1
00002030: PUSH1 0x20
00002032: ADD
00002033: DUP3
00002034: DUP2
00002035: SUB
00002036: DUP3
00002037: MSTORE
00002038: PUSH1 0x1b
0000203a: DUP2
0000203b: MSTORE
0000203c: PUSH1 0x20
0000203e: ADD
0000203f: DUP1
00002040: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000
00002061: DUP2
00002062: MSTORE
00002063: POP
00002064: PUSH1 0x20
00002066: ADD
00002067: SWAP2
00002068: POP
00002069: POP
0000206a: PUSH1 0x40
0000206c: MLOAD
0000206d: DUP1
0000206e: SWAP2
0000206f: SUB
00002070: SWAP1
00002071: REVERT
00002072: JUMPDEST
00002073: DUP1
00002074: SWAP2
00002075: POP
00002076: POP
00002077: SWAP3
00002078: SWAP2
00002079: POP
0000207a: POP
0000207b: JUMP
0000207c: JUMPDEST
0000207d: PUSH1 0x00
0000207f: DUP1
00002080: DUP4
00002081: EQ
00002082: ISZERO
00002083: PUSH2 0x208f
00002086: JUMPI
00002087: PUSH1 0x00
00002089: SWAP1
0000208a: POP
0000208b: PUSH2 0x20fc
0000208e: JUMP
0000208f: JUMPDEST
00002090: PUSH1 0x00
00002092: DUP3
00002093: DUP5
00002094: MUL
00002095: SWAP1
00002096: POP
00002097: DUP3
00002098: DUP5
00002099: DUP3
0000209a: DUP2
0000209b: PUSH2 0x20a0
0000209e: JUMPI
0000209f: INVALID
000020a0: JUMPDEST
000020a1: DIV
000020a2: EQ
000020a3: PUSH2 0x20f7
000020a6: JUMPI
000020a7: PUSH1 0x40
000020a9: MLOAD
000020aa: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000020cb: DUP2
000020cc: MSTORE
000020cd: PUSH1 0x04
000020cf: ADD
000020d0: DUP1
000020d1: DUP1
000020d2: PUSH1 0x20
000020d4: ADD
000020d5: DUP3
000020d6: DUP2
000020d7: SUB
000020d8: DUP3
000020d9: MSTORE
000020da: PUSH1 0x21
000020dc: DUP2
000020dd: MSTORE
000020de: PUSH1 0x20
000020e0: ADD
000020e1: DUP1
000020e2: PUSH2 0x2596
000020e5: PUSH1 0x21
000020e7: SWAP2
000020e8: CODECOPY
000020e9: PUSH1 0x40
000020eb: ADD
000020ec: SWAP2
000020ed: POP
000020ee: POP
000020ef: PUSH1 0x40
000020f1: MLOAD
000020f2: DUP1
000020f3: SWAP2
000020f4: SUB
000020f5: SWAP1
000020f6: REVERT
000020f7: JUMPDEST
000020f8: DUP1
000020f9: SWAP2
000020fa: POP
000020fb: POP
000020fc: JUMPDEST
000020fd: SWAP3
000020fe: SWAP2
000020ff: POP
00002100: POP
00002101: JUMP
00002102: JUMPDEST
00002103: PUSH2 0x21b5
00002106: DUP4
00002107: PUSH4 0xa9059cbb
0000210c: PUSH1 0xe0
0000210e: SHL
0000210f: DUP5
00002110: DUP5
00002111: PUSH1 0x40
00002113: MLOAD
00002114: PUSH1 0x24
00002116: ADD
00002117: DUP1
00002118: DUP4
00002119: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000212e: AND
0000212f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002144: AND
00002145: DUP2
00002146: MSTORE
00002147: PUSH1 0x20
00002149: ADD
0000214a: DUP3
0000214b: DUP2
0000214c: MSTORE
0000214d: PUSH1 0x20
0000214f: ADD
00002150: SWAP3
00002151: POP
00002152: POP
00002153: POP
00002154: PUSH1 0x40
00002156: MLOAD
00002157: PUSH1 0x20
00002159: DUP2
0000215a: DUP4
0000215b: SUB
0000215c: SUB
0000215d: DUP2
0000215e: MSTORE
0000215f: SWAP1
00002160: PUSH1 0x40
00002162: MSTORE
00002163: SWAP1
00002164: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002181: NOT
00002182: AND
00002183: PUSH1 0x20
00002185: DUP3
00002186: ADD
00002187: DUP1
00002188: MLOAD
00002189: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000021a6: DUP4
000021a7: DUP2
000021a8: DUP4
000021a9: AND
000021aa: OR
000021ab: DUP4
000021ac: MSTORE
000021ad: POP
000021ae: POP
000021af: POP
000021b0: POP
000021b1: PUSH2 0x21ba
000021b4: JUMP
000021b5: JUMPDEST
000021b6: POP
000021b7: POP
000021b8: POP
000021b9: JUMP
000021ba: JUMPDEST
000021bb: PUSH1 0x60
000021bd: PUSH2 0x221c
000021c0: DUP3
000021c1: PUSH1 0x40
000021c3: MLOAD
000021c4: DUP1
000021c5: PUSH1 0x40
000021c7: ADD
000021c8: PUSH1 0x40
000021ca: MSTORE
000021cb: DUP1
000021cc: PUSH1 0x20
000021ce: DUP2
000021cf: MSTORE
000021d0: PUSH1 0x20
000021d2: ADD
000021d3: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564
000021f4: DUP2
000021f5: MSTORE
000021f6: POP
000021f7: DUP6
000021f8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000220d: AND
0000220e: PUSH2 0x22a9
00002211: SWAP1
00002212: SWAP3
00002213: SWAP2
00002214: SWAP1
00002215: PUSH4 0xffffffff
0000221a: AND
0000221b: JUMP
0000221c: JUMPDEST
0000221d: SWAP1
0000221e: POP
0000221f: PUSH1 0x00
00002221: DUP2
00002222: MLOAD
00002223: GT
00002224: ISZERO
00002225: PUSH2 0x22a4
00002228: JUMPI
00002229: DUP1
0000222a: DUP1
0000222b: PUSH1 0x20
0000222d: ADD
0000222e: SWAP1
0000222f: MLOAD
00002230: PUSH1 0x20
00002232: DUP2
00002233: LT
00002234: ISZERO
00002235: PUSH2 0x223d
00002238: JUMPI
00002239: PUSH1 0x00
0000223b: DUP1
0000223c: REVERT
0000223d: JUMPDEST
0000223e: DUP2
0000223f: ADD
00002240: SWAP1
00002241: DUP1
00002242: DUP1
00002243: MLOAD
00002244: SWAP1
00002245: PUSH1 0x20
00002247: ADD
00002248: SWAP1
00002249: SWAP3
0000224a: SWAP2
0000224b: SWAP1
0000224c: POP
0000224d: POP
0000224e: POP
0000224f: PUSH2 0x22a3
00002252: JUMPI
00002253: PUSH1 0x40
00002255: MLOAD
00002256: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002277: DUP2
00002278: MSTORE
00002279: PUSH1 0x04
0000227b: ADD
0000227c: DUP1
0000227d: DUP1
0000227e: PUSH1 0x20
00002280: ADD
00002281: DUP3
00002282: DUP2
00002283: SUB
00002284: DUP3
00002285: MSTORE
00002286: PUSH1 0x2a
00002288: DUP2
00002289: MSTORE
0000228a: PUSH1 0x20
0000228c: ADD
0000228d: DUP1
0000228e: PUSH2 0x25b7
00002291: PUSH1 0x2a
00002293: SWAP2
00002294: CODECOPY
00002295: PUSH1 0x40
00002297: ADD
00002298: SWAP2
00002299: POP
0000229a: POP
0000229b: PUSH1 0x40
0000229d: MLOAD
0000229e: DUP1
0000229f: SWAP2
000022a0: SUB
000022a1: SWAP1
000022a2: REVERT
000022a3: JUMPDEST
000022a4: JUMPDEST
000022a5: POP
000022a6: POP
000022a7: POP
000022a8: JUMP
000022a9: JUMPDEST
000022aa: PUSH1 0x60
000022ac: PUSH2 0x22b8
000022af: DUP5
000022b0: DUP5
000022b1: PUSH1 0x00
000022b3: DUP6
000022b4: PUSH2 0x22c1
000022b7: JUMP
000022b8: JUMPDEST
000022b9: SWAP1
000022ba: POP
000022bb: SWAP4
000022bc: SWAP3
000022bd: POP
000022be: POP
000022bf: POP
000022c0: JUMP
000022c1: JUMPDEST
000022c2: PUSH1 0x60
000022c4: DUP3
000022c5: SELFBALANCE
000022c6: LT
000022c7: ISZERO
000022c8: PUSH2 0x231c
000022cb: JUMPI
000022cc: PUSH1 0x40
000022ce: MLOAD
000022cf: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000022f0: DUP2
000022f1: MSTORE
000022f2: PUSH1 0x04
000022f4: ADD
000022f5: DUP1
000022f6: DUP1
000022f7: PUSH1 0x20
000022f9: ADD
000022fa: DUP3
000022fb: DUP2
000022fc: SUB
000022fd: DUP3
000022fe: MSTORE
000022ff: PUSH1 0x26
00002301: DUP2
00002302: MSTORE
00002303: PUSH1 0x20
00002305: ADD
00002306: DUP1
00002307: PUSH2 0x2570
0000230a: PUSH1 0x26
0000230c: SWAP2
0000230d: CODECOPY
0000230e: PUSH1 0x40
00002310: ADD
00002311: SWAP2
00002312: POP
00002313: POP
00002314: PUSH1 0x40
00002316: MLOAD
00002317: DUP1
00002318: SWAP2
00002319: SUB
0000231a: SWAP1
0000231b: REVERT
0000231c: JUMPDEST
0000231d: PUSH2 0x2325
00002320: DUP6
00002321: PUSH2 0x246a
00002324: JUMP
00002325: JUMPDEST
00002326: PUSH2 0x2397
00002329: JUMPI
0000232a: PUSH1 0x40
0000232c: MLOAD
0000232d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000234e: DUP2
0000234f: MSTORE
00002350: PUSH1 0x04
00002352: ADD
00002353: DUP1
00002354: DUP1
00002355: PUSH1 0x20
00002357: ADD
00002358: DUP3
00002359: DUP2
0000235a: SUB
0000235b: DUP3
0000235c: MSTORE
0000235d: PUSH1 0x1d
0000235f: DUP2
00002360: MSTORE
00002361: PUSH1 0x20
00002363: ADD
00002364: DUP1
00002365: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000
00002386: DUP2
00002387: MSTORE
00002388: POP
00002389: PUSH1 0x20
0000238b: ADD
0000238c: SWAP2
0000238d: POP
0000238e: POP
0000238f: PUSH1 0x40
00002391: MLOAD
00002392: DUP1
00002393: SWAP2
00002394: SUB
00002395: SWAP1
00002396: REVERT
00002397: JUMPDEST
00002398: PUSH1 0x00
0000239a: PUSH1 0x60
0000239c: DUP7
0000239d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000023b2: AND
000023b3: DUP6
000023b4: DUP8
000023b5: PUSH1 0x40
000023b7: MLOAD
000023b8: DUP1
000023b9: DUP3
000023ba: DUP1
000023bb: MLOAD
000023bc: SWAP1
000023bd: PUSH1 0x20
000023bf: ADD
000023c0: SWAP1
000023c1: DUP1
000023c2: DUP4
000023c3: DUP4
000023c4: JUMPDEST
000023c5: PUSH1 0x20
000023c7: DUP4
000023c8: LT
000023c9: PUSH2 0x23e7
000023cc: JUMPI
000023cd: DUP1
000023ce: MLOAD
000023cf: DUP3
000023d0: MSTORE
000023d1: PUSH1 0x20
000023d3: DUP3
000023d4: ADD
000023d5: SWAP2
000023d6: POP
000023d7: PUSH1 0x20
000023d9: DUP2
000023da: ADD
000023db: SWAP1
000023dc: POP
000023dd: PUSH1 0x20
000023df: DUP4
000023e0: SUB
000023e1: SWAP3
000023e2: POP
000023e3: PUSH2 0x23c4
000023e6: JUMP
000023e7: JUMPDEST
000023e8: PUSH1 0x01
000023ea: DUP4
000023eb: PUSH1 0x20
000023ed: SUB
000023ee: PUSH2 0x0100
000023f1: EXP
000023f2: SUB
000023f3: DUP1
000023f4: NOT
000023f5: DUP3
000023f6: MLOAD
000023f7: AND
000023f8: DUP2
000023f9: DUP5
000023fa: MLOAD
000023fb: AND
000023fc: DUP1
000023fd: DUP3
000023fe: OR
000023ff: DUP6
00002400: MSTORE
00002401: POP
00002402: POP
00002403: POP
00002404: POP
00002405: POP
00002406: POP
00002407: SWAP1
00002408: POP
00002409: ADD
0000240a: SWAP2
0000240b: POP
0000240c: POP
0000240d: PUSH1 0x00
0000240f: PUSH1 0x40
00002411: MLOAD
00002412: DUP1
00002413: DUP4
00002414: SUB
00002415: DUP2
00002416: DUP6
00002417: DUP8
00002418: GAS
00002419: CALL
0000241a: SWAP3
0000241b: POP
0000241c: POP
0000241d: POP
0000241e: RETURNDATASIZE
0000241f: DUP1
00002420: PUSH1 0x00
00002422: DUP2
00002423: EQ
00002424: PUSH2 0x2449
00002427: JUMPI
00002428: PUSH1 0x40
0000242a: MLOAD
0000242b: SWAP2
0000242c: POP
0000242d: PUSH1 0x1f
0000242f: NOT
00002430: PUSH1 0x3f
00002432: RETURNDATASIZE
00002433: ADD
00002434: AND
00002435: DUP3
00002436: ADD
00002437: PUSH1 0x40
00002439: MSTORE
0000243a: RETURNDATASIZE
0000243b: DUP3
0000243c: MSTORE
0000243d: RETURNDATASIZE
0000243e: PUSH1 0x00
00002440: PUSH1 0x20
00002442: DUP5
00002443: ADD
00002444: RETURNDATACOPY
00002445: PUSH2 0x244e
00002448: JUMP
00002449: JUMPDEST
0000244a: PUSH1 0x60
0000244c: SWAP2
0000244d: POP
0000244e: JUMPDEST
0000244f: POP
00002450: SWAP2
00002451: POP
00002452: SWAP2
00002453: POP
00002454: PUSH2 0x245e
00002457: DUP3
00002458: DUP3
00002459: DUP7
0000245a: PUSH2 0x247d
0000245d: JUMP
0000245e: JUMPDEST
0000245f: SWAP3
00002460: POP
00002461: POP
00002462: POP
00002463: SWAP5
00002464: SWAP4
00002465: POP
00002466: POP
00002467: POP
00002468: POP
00002469: JUMP
0000246a: JUMPDEST
0000246b: PUSH1 0x00
0000246d: DUP1
0000246e: DUP3
0000246f: EXTCODESIZE
00002470: SWAP1
00002471: POP
00002472: PUSH1 0x00
00002474: DUP2
00002475: GT
00002476: SWAP2
00002477: POP
00002478: POP
00002479: SWAP2
0000247a: SWAP1
0000247b: POP
0000247c: JUMP
0000247d: JUMPDEST
0000247e: PUSH1 0x60
00002480: DUP4
00002481: ISZERO
00002482: PUSH2 0x248d
00002485: JUMPI
00002486: DUP3
00002487: SWAP1
00002488: POP
00002489: PUSH2 0x2542
0000248c: JUMP
0000248d: JUMPDEST
0000248e: PUSH1 0x00
00002490: DUP4
00002491: MLOAD
00002492: GT
00002493: ISZERO
00002494: PUSH2 0x24a0
00002497: JUMPI
00002498: DUP3
00002499: MLOAD
0000249a: DUP1
0000249b: DUP5
0000249c: PUSH1 0x20
0000249e: ADD
0000249f: REVERT
000024a0: JUMPDEST
000024a1: DUP2
000024a2: PUSH1 0x40
000024a4: MLOAD
000024a5: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000024c6: DUP2
000024c7: MSTORE
000024c8: PUSH1 0x04
000024ca: ADD
000024cb: DUP1
000024cc: DUP1
000024cd: PUSH1 0x20
000024cf: ADD
000024d0: DUP3
000024d1: DUP2
000024d2: SUB
000024d3: DUP3
000024d4: MSTORE
000024d5: DUP4
000024d6: DUP2
000024d7: DUP2
000024d8: MLOAD
000024d9: DUP2
000024da: MSTORE
000024db: PUSH1 0x20
000024dd: ADD
000024de: SWAP2
000024df: POP
000024e0: DUP1
000024e1: MLOAD
000024e2: SWAP1
000024e3: PUSH1 0x20
000024e5: ADD
000024e6: SWAP1
000024e7: DUP1
000024e8: DUP4
000024e9: DUP4
000024ea: PUSH1 0x00
000024ec: JUMPDEST
000024ed: DUP4
000024ee: DUP2
000024ef: LT
000024f0: ISZERO
000024f1: PUSH2 0x2507
000024f4: JUMPI
000024f5: DUP1
000024f6: DUP3
000024f7: ADD
000024f8: MLOAD
000024f9: DUP2
000024fa: DUP5
000024fb: ADD
000024fc: MSTORE
000024fd: PUSH1 0x20
000024ff: DUP2
00002500: ADD
00002501: SWAP1
00002502: POP
00002503: PUSH2 0x24ec
00002506: JUMP
00002507: JUMPDEST
00002508: POP
00002509: POP
0000250a: POP
0000250b: POP
0000250c: SWAP1
0000250d: POP
0000250e: SWAP1
0000250f: DUP2
00002510: ADD
00002511: SWAP1
00002512: PUSH1 0x1f
00002514: AND
00002515: DUP1
00002516: ISZERO
00002517: PUSH2 0x2534
0000251a: JUMPI
0000251b: DUP1
0000251c: DUP3
0000251d: SUB
0000251e: DUP1
0000251f: MLOAD
00002520: PUSH1 0x01
00002522: DUP4
00002523: PUSH1 0x20
00002525: SUB
00002526: PUSH2 0x0100
00002529: EXP
0000252a: SUB
0000252b: NOT
0000252c: AND
0000252d: DUP2
0000252e: MSTORE
0000252f: PUSH1 0x20
00002531: ADD
00002532: SWAP2
00002533: POP
00002534: JUMPDEST
00002535: POP
00002536: SWAP3
00002537: POP
00002538: POP
00002539: POP
0000253a: PUSH1 0x40
0000253c: MLOAD
0000253d: DUP1
0000253e: SWAP2
0000253f: SUB
00002540: SWAP1
00002541: REVERT
00002542: JUMPDEST
00002543: SWAP4
00002544: SWAP3
00002545: POP
00002546: POP
00002547: POP
00002548: JUMP
00002549: INVALID
0000254a: UNKNOWN(0x4F)
0000254b: PUSH24 0x6e61626c653a206e6577206f776e65722069732074686520
00002564: PUSH27 0x65726f2061646472657373416464726573733a20696e7375666669
00002580: PUSH4 0x69656e74
00002585: KECCAK256
00002586: PUSH3 0x616c61
0000258a: PUSH15 0x636520666f722063616c6c53616665
0000259a: UNKNOWN(0x4D)
0000259b: PUSH2 0x7468
0000259e: GASPRICE
0000259f: KECCAK256
000025a0: PUSH14 0x756c7469706c69636174696f6e20
000025af: PUSH16 0x766572666c6f77536166654552433230
000025c0: GASPRICE
000025c1: KECCAK256
000025c2: GASLIMIT
000025c3: MSTORE
000025c4: NUMBER
000025c5: ORIGIN
000025c6: ADDRESS
000025c7: KECCAK256
000025c8: PUSH16 0x7065726174696f6e20646964206e6f74
000025d9: KECCAK256
000025da: PUSH20 0x756363656564a26469706673582212204a6ce835
000025ef: DIV
000025f0: LOG1
000025f1: LOG2
000025f2: CHAINID
000025f3: UNKNOWN(0x0C)
000025f4: UNKNOWN(0xDF)
000025f5: UNKNOWN(0xD6)
000025f6: SWAP4
000025f7: UNKNOWN(0xAA)
000025f8: UNKNOWN(0xC0)
000025f9: DUP14
000025fa: ADD
000025fb: UNKNOWN(0xC3)
000025fc: DUP6
000025fd: UNKNOWN(0xB5)
000025fe: DUP8
000025ff: NUMBER
00002600: UNKNOWN(0xCA)
00002601: AND
00002602: DUP15
00002603: SAR
00002604: PUSH4 0x255fad82
00002609: UNKNOWN(0xED)
0000260a: DUP4
0000260b: PUSH5 0x736f6c6343
00002611: STOP
00002612: MOD
00002613: EXP
00002614: STOP
00002615: CALLER
Findings

validated = confirmed for call sinks; sink observed for others
Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
high	auth	detector	Authorization based on tx.origin	70	no	—	view validation_json { "reason": "missing sink mapping", "status": "no_sink" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0xb4190191", "selector": "0xb4190191", "calldata_variants": [ "0xb4190191", "0xb41901910000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xb5414c53", "selector": "0xb5414c53", "calldata_variants": [ "0xb5414c53", "0xb5414c530000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd3c6b6fe", "selector": "0xd3c6b6fe", "calldata_variants": [ "0xd3c6b6fe", "0xd3c6b6fe0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf827af1c", "selector": "0xf827af1c", "calldata_variants": [ "0xf827af1c", "0xf827af1c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x71c8092d", "selector": "0x71c8092d", "calldata_variants": [ "0x71c8092d", "0x71c8092d0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x7d94792a", "selector": "0x7d94792a", "calldata_variants": [ "0x7d94792a", "0x7d94792a0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x8da5cb5b", "selector": "0x8da5cb5b", "calldata_variants": [ "0x8da5cb5b", "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "guards_detected": [ { "pc": 9669, "type": "tx_origin_used" } ] }
medium	other	detector	Untrusted CALL target/value reachable	45	no	no	view trace_id: 0xcf3f9c82c4813f4fc99ac0c1b56754ed6f3b85a2e1cbb9c1ae20eadff8739822 call_targets: 0xd89d6458582f9517b08125e7465fdddf57481c17 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xcf3f9c82c4813f4fc99ac0c1b56754ed6f3b85a2e1cbb9c1ae20eadff8739822", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xd89d6458582f9517b08125e7465fdddf57481c17" ], "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": "0xb4190191", "selector": "0xb4190191", "calldata_variants": [ "0xb4190191", "0xb41901910000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xb5414c53", "selector": "0xb5414c53", "calldata_variants": [ "0xb5414c53", "0xb5414c530000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd3c6b6fe", "selector": "0xd3c6b6fe", "calldata_variants": [ "0xd3c6b6fe", "0xd3c6b6fe0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf827af1c", "selector": "0xf827af1c", "calldata_variants": [ "0xf827af1c", "0xf827af1c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x71c8092d", "selector": "0x71c8092d", "calldata_variants": [ "0x71c8092d", "0x71c8092d0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x7d94792a", "selector": "0x7d94792a", "calldata_variants": [ "0x7d94792a", "0x7d94792a0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x8da5cb5b", "selector": "0x8da5cb5b", "calldata_variants": [ "0x8da5cb5b", "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 1771, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 2795, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 4465, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 6, "guards_detected": [ { "pc": 9669, "type": "tx_origin_used" } ], "untrusted_call_count": 6 }
medium	other	detector	ETH value transfer possible	40	no	no	view trace_id: 0xcf3f9c82c4813f4fc99ac0c1b56754ed6f3b85a2e1cbb9c1ae20eadff8739822 call_targets: 0xd89d6458582f9517b08125e7465fdddf57481c17 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xcf3f9c82c4813f4fc99ac0c1b56754ed6f3b85a2e1cbb9c1ae20eadff8739822", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xd89d6458582f9517b08125e7465fdddf57481c17" ], "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": "0xb4190191", "selector": "0xb4190191", "calldata_variants": [ "0xb4190191", "0xb41901910000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xb5414c53", "selector": "0xb5414c53", "calldata_variants": [ "0xb5414c53", "0xb5414c530000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd3c6b6fe", "selector": "0xd3c6b6fe", "calldata_variants": [ "0xd3c6b6fe", "0xd3c6b6fe0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf827af1c", "selector": "0xf827af1c", "calldata_variants": [ "0xf827af1c", "0xf827af1c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x71c8092d", "selector": "0x71c8092d", "calldata_variants": [ "0x71c8092d", "0x71c8092d0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x7d94792a", "selector": "0x7d94792a", "calldata_variants": [ "0x7d94792a", "0x7d94792a0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x8da5cb5b", "selector": "0x8da5cb5b", "calldata_variants": [ "0x8da5cb5b", "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 1771, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 2795, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 4465, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 6, "guards_detected": [ { "pc": 9669, "type": "tx_origin_used" } ] }
Severity