Analysis Run

019b477e-bf4b-72f5-872a-7a2e0f024b7f
complete
Chain ID
1
Address
0x0a722c95d8189a05c672ba7b80adba2ea0127bc3
Block Number
—
Created
Mon, Dec 22, 2025 7:17 PM
Review Summary
What survived the funnel

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

Status & attempts
ID	Type	Status	Attempts	Heartbeat
24513	artifact.fetch	complete	1 / 3	4 months ago
24514	tool.cast_disasm	complete	1 / 3	4 months ago
67646	analysis.bundle	complete	1 / 3	2 weeks ago
67647	capability.graph	complete	1 / 3	2 weeks ago
67648	detector.run	complete	1 / 3	2 weeks ago
67649	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
1
CREATE2
0
CALL-family (heavy)
7
EXT*/BALANCE
0
Total opcodes
5542
Flags
selfdestruct_present
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x0135
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x6352211e
00000019: GT
0000001a: PUSH2 0x00ab
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xc7f04e65
00000024: GT
00000025: PUSH2 0x006f
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xc7f04e65
0000002f: EQ
00000030: PUSH2 0x05af
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xd0e30db0
0000003a: EQ
0000003b: PUSH2 0x05f7
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xdacf2c0c
00000045: EQ
00000046: PUSH2 0x0601
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xe10d29ee
00000050: EQ
00000051: PUSH2 0x0676
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xfc8babf2
0000005b: EQ
0000005c: PUSH2 0x06e2
0000005f: JUMPI
00000060: DUP1
00000061: PUSH4 0xff22fb00
00000066: EQ
00000067: PUSH2 0x0716
0000006a: JUMPI
0000006b: PUSH2 0x0135
0000006e: JUMP
0000006f: JUMPDEST
00000070: DUP1
00000071: PUSH4 0x6352211e
00000076: EQ
00000077: PUSH2 0x045e
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0x6dfa8d99
00000081: EQ
00000082: PUSH2 0x04c3
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0x7acc0b20
0000008c: EQ
0000008d: PUSH2 0x04ee
00000090: JUMPI
00000091: DUP1
00000092: PUSH4 0x8112f16e
00000097: EQ
00000098: PUSH2 0x053d
0000009b: JUMPI
0000009c: DUP1
0000009d: PUSH4 0xac964f21
000000a2: EQ
000000a3: PUSH2 0x057e
000000a6: JUMPI
000000a7: PUSH2 0x0135
000000aa: JUMP
000000ab: JUMPDEST
000000ac: DUP1
000000ad: PUSH4 0x43714aa5
000000b2: GT
000000b3: PUSH2 0x00fd
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0x43714aa5
000000bd: EQ
000000be: PUSH2 0x0256
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0x45d53788
000000c8: EQ
000000c9: PUSH2 0x02fc
000000cc: JUMPI
000000cd: DUP1
000000ce: PUSH4 0x4ec2518d
000000d3: EQ
000000d4: PUSH2 0x0327
000000d7: JUMPI
000000d8: DUP1
000000d9: PUSH4 0x51906d1d
000000de: EQ
000000df: PUSH2 0x0367
000000e2: JUMPI
000000e3: DUP1
000000e4: PUSH4 0x5f215920
000000e9: EQ
000000ea: PUSH2 0x03a8
000000ed: JUMPI
000000ee: DUP1
000000ef: PUSH4 0x62d79323
000000f4: EQ
000000f5: PUSH2 0x0413
000000f8: JUMPI
000000f9: PUSH2 0x0135
000000fc: JUMP
000000fd: JUMPDEST
000000fe: DUP1
000000ff: PUSH4 0x02b80690
00000104: EQ
00000105: PUSH2 0x013a
00000108: JUMPI
00000109: DUP1
0000010a: PUSH4 0x0a459269
0000010f: EQ
00000110: PUSH2 0x0178
00000113: JUMPI
00000114: DUP1
00000115: PUSH4 0x1069a4ba
0000011a: EQ
0000011b: PUSH2 0x01b9
0000011e: JUMPI
0000011f: DUP1
00000120: PUSH4 0x1c48c074
00000125: EQ
00000126: PUSH2 0x01f4
00000129: JUMPI
0000012a: DUP1
0000012b: PUSH4 0x2e1a7d4d
00000130: EQ
00000131: PUSH2 0x0228
00000134: JUMPI
00000135: JUMPDEST
00000136: PUSH1 0x00
00000138: DUP1
00000139: REVERT
0000013a: JUMPDEST
0000013b: PUSH2 0x0176
0000013e: PUSH1 0x04
00000140: DUP1
00000141: CALLDATASIZE
00000142: SUB
00000143: PUSH1 0x40
00000145: DUP2
00000146: LT
00000147: ISZERO
00000148: PUSH2 0x0150
0000014b: JUMPI
0000014c: PUSH1 0x00
0000014e: DUP1
0000014f: REVERT
00000150: JUMPDEST
00000151: DUP2
00000152: ADD
00000153: SWAP1
00000154: DUP1
00000155: DUP1
00000156: CALLDATALOAD
00000157: PUSH4 0xffffffff
0000015c: AND
0000015d: SWAP1
0000015e: PUSH1 0x20
00000160: ADD
00000161: SWAP1
00000162: SWAP3
00000163: SWAP2
00000164: SWAP1
00000165: DUP1
00000166: CALLDATALOAD
00000167: SWAP1
00000168: PUSH1 0x20
0000016a: ADD
0000016b: SWAP1
0000016c: SWAP3
0000016d: SWAP2
0000016e: SWAP1
0000016f: POP
00000170: POP
00000171: POP
00000172: PUSH2 0x07a3
00000175: JUMP
00000176: JUMPDEST
00000177: STOP
00000178: JUMPDEST
00000179: CALLVALUE
0000017a: DUP1
0000017b: ISZERO
0000017c: PUSH2 0x0184
0000017f: JUMPI
00000180: PUSH1 0x00
00000182: DUP1
00000183: REVERT
00000184: JUMPDEST
00000185: POP
00000186: PUSH2 0x01b7
00000189: PUSH1 0x04
0000018b: DUP1
0000018c: CALLDATASIZE
0000018d: SUB
0000018e: PUSH1 0x20
00000190: DUP2
00000191: LT
00000192: ISZERO
00000193: PUSH2 0x019b
00000196: JUMPI
00000197: PUSH1 0x00
00000199: DUP1
0000019a: REVERT
0000019b: JUMPDEST
0000019c: DUP2
0000019d: ADD
0000019e: SWAP1
0000019f: DUP1
000001a0: DUP1
000001a1: CALLDATALOAD
000001a2: PUSH4 0xffffffff
000001a7: AND
000001a8: SWAP1
000001a9: PUSH1 0x20
000001ab: ADD
000001ac: SWAP1
000001ad: SWAP3
000001ae: SWAP2
000001af: SWAP1
000001b0: POP
000001b1: POP
000001b2: POP
000001b3: PUSH2 0x0b1e
000001b6: JUMP
000001b7: JUMPDEST
000001b8: STOP
000001b9: JUMPDEST
000001ba: CALLVALUE
000001bb: DUP1
000001bc: ISZERO
000001bd: PUSH2 0x01c5
000001c0: JUMPI
000001c1: PUSH1 0x00
000001c3: DUP1
000001c4: REVERT
000001c5: JUMPDEST
000001c6: POP
000001c7: PUSH2 0x01f2
000001ca: PUSH1 0x04
000001cc: DUP1
000001cd: CALLDATASIZE
000001ce: SUB
000001cf: PUSH1 0x20
000001d1: DUP2
000001d2: LT
000001d3: ISZERO
000001d4: PUSH2 0x01dc
000001d7: JUMPI
000001d8: PUSH1 0x00
000001da: DUP1
000001db: REVERT
000001dc: JUMPDEST
000001dd: DUP2
000001de: ADD
000001df: SWAP1
000001e0: DUP1
000001e1: DUP1
000001e2: CALLDATALOAD
000001e3: SWAP1
000001e4: PUSH1 0x20
000001e6: ADD
000001e7: SWAP1
000001e8: SWAP3
000001e9: SWAP2
000001ea: SWAP1
000001eb: POP
000001ec: POP
000001ed: POP
000001ee: PUSH2 0x0eb2
000001f1: JUMP
000001f2: JUMPDEST
000001f3: STOP
000001f4: JUMPDEST
000001f5: PUSH2 0x0226
000001f8: PUSH1 0x04
000001fa: DUP1
000001fb: CALLDATASIZE
000001fc: SUB
000001fd: PUSH1 0x20
000001ff: DUP2
00000200: LT
00000201: ISZERO
00000202: PUSH2 0x020a
00000205: JUMPI
00000206: PUSH1 0x00
00000208: DUP1
00000209: REVERT
0000020a: JUMPDEST
0000020b: DUP2
0000020c: ADD
0000020d: SWAP1
0000020e: DUP1
0000020f: DUP1
00000210: CALLDATALOAD
00000211: PUSH4 0xffffffff
00000216: AND
00000217: SWAP1
00000218: PUSH1 0x20
0000021a: ADD
0000021b: SWAP1
0000021c: SWAP3
0000021d: SWAP2
0000021e: SWAP1
0000021f: POP
00000220: POP
00000221: POP
00000222: PUSH2 0x0ff4
00000225: JUMP
00000226: JUMPDEST
00000227: STOP
00000228: JUMPDEST
00000229: PUSH2 0x0254
0000022c: PUSH1 0x04
0000022e: DUP1
0000022f: CALLDATASIZE
00000230: SUB
00000231: PUSH1 0x20
00000233: DUP2
00000234: LT
00000235: ISZERO
00000236: PUSH2 0x023e
00000239: JUMPI
0000023a: PUSH1 0x00
0000023c: DUP1
0000023d: REVERT
0000023e: JUMPDEST
0000023f: DUP2
00000240: ADD
00000241: SWAP1
00000242: DUP1
00000243: DUP1
00000244: CALLDATALOAD
00000245: SWAP1
00000246: PUSH1 0x20
00000248: ADD
00000249: SWAP1
0000024a: SWAP3
0000024b: SWAP2
0000024c: SWAP1
0000024d: POP
0000024e: POP
0000024f: POP
00000250: PUSH2 0x1400
00000253: JUMP
00000254: JUMPDEST
00000255: STOP
00000256: JUMPDEST
00000257: CALLVALUE
00000258: DUP1
00000259: ISZERO
0000025a: PUSH2 0x0262
0000025d: JUMPI
0000025e: PUSH1 0x00
00000260: DUP1
00000261: REVERT
00000262: JUMPDEST
00000263: POP
00000264: PUSH2 0x02a5
00000267: PUSH1 0x04
00000269: DUP1
0000026a: CALLDATASIZE
0000026b: SUB
0000026c: PUSH1 0x20
0000026e: DUP2
0000026f: LT
00000270: ISZERO
00000271: PUSH2 0x0279
00000274: JUMPI
00000275: PUSH1 0x00
00000277: DUP1
00000278: REVERT
00000279: JUMPDEST
0000027a: DUP2
0000027b: ADD
0000027c: SWAP1
0000027d: DUP1
0000027e: DUP1
0000027f: CALLDATALOAD
00000280: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000295: AND
00000296: SWAP1
00000297: PUSH1 0x20
00000299: ADD
0000029a: SWAP1
0000029b: SWAP3
0000029c: SWAP2
0000029d: SWAP1
0000029e: POP
0000029f: POP
000002a0: POP
000002a1: PUSH2 0x1609
000002a4: JUMP
000002a5: JUMPDEST
000002a6: PUSH1 0x40
000002a8: MLOAD
000002a9: DUP1
000002aa: DUP1
000002ab: PUSH1 0x20
000002ad: ADD
000002ae: DUP3
000002af: DUP2
000002b0: SUB
000002b1: DUP3
000002b2: MSTORE
000002b3: DUP4
000002b4: DUP2
000002b5: DUP2
000002b6: MLOAD
000002b7: DUP2
000002b8: MSTORE
000002b9: PUSH1 0x20
000002bb: ADD
000002bc: SWAP2
000002bd: POP
000002be: DUP1
000002bf: MLOAD
000002c0: SWAP1
000002c1: PUSH1 0x20
000002c3: ADD
000002c4: SWAP1
000002c5: PUSH1 0x20
000002c7: MUL
000002c8: DUP1
000002c9: DUP4
000002ca: DUP4
000002cb: PUSH1 0x00
000002cd: JUMPDEST
000002ce: DUP4
000002cf: DUP2
000002d0: LT
000002d1: ISZERO
000002d2: PUSH2 0x02e8
000002d5: JUMPI
000002d6: DUP1
000002d7: DUP3
000002d8: ADD
000002d9: MLOAD
000002da: DUP2
000002db: DUP5
000002dc: ADD
000002dd: MSTORE
000002de: PUSH1 0x20
000002e0: DUP2
000002e1: ADD
000002e2: SWAP1
000002e3: POP
000002e4: PUSH2 0x02cd
000002e7: JUMP
000002e8: JUMPDEST
000002e9: POP
000002ea: POP
000002eb: POP
000002ec: POP
000002ed: SWAP1
000002ee: POP
000002ef: ADD
000002f0: SWAP3
000002f1: POP
000002f2: POP
000002f3: POP
000002f4: PUSH1 0x40
000002f6: MLOAD
000002f7: DUP1
000002f8: SWAP2
000002f9: SUB
000002fa: SWAP1
000002fb: RETURN
000002fc: JUMPDEST
000002fd: CALLVALUE
000002fe: DUP1
000002ff: ISZERO
00000300: PUSH2 0x0308
00000303: JUMPI
00000304: PUSH1 0x00
00000306: DUP1
00000307: REVERT
00000308: JUMPDEST
00000309: POP
0000030a: PUSH2 0x0311
0000030d: PUSH2 0x17a3
00000310: JUMP
00000311: JUMPDEST
00000312: PUSH1 0x40
00000314: MLOAD
00000315: DUP1
00000316: DUP3
00000317: DUP2
00000318: MSTORE
00000319: PUSH1 0x20
0000031b: ADD
0000031c: SWAP2
0000031d: POP
0000031e: POP
0000031f: PUSH1 0x40
00000321: MLOAD
00000322: DUP1
00000323: SWAP2
00000324: SUB
00000325: SWAP1
00000326: RETURN
00000327: JUMPDEST
00000328: CALLVALUE
00000329: DUP1
0000032a: ISZERO
0000032b: PUSH2 0x0333
0000032e: JUMPI
0000032f: PUSH1 0x00
00000331: DUP1
00000332: REVERT
00000333: JUMPDEST
00000334: POP
00000335: PUSH2 0x033c
00000338: PUSH2 0x17a9
0000033b: JUMP
0000033c: JUMPDEST
0000033d: PUSH1 0x40
0000033f: MLOAD
00000340: DUP1
00000341: DUP6
00000342: DUP2
00000343: MSTORE
00000344: PUSH1 0x20
00000346: ADD
00000347: DUP5
00000348: DUP2
00000349: MSTORE
0000034a: PUSH1 0x20
0000034c: ADD
0000034d: DUP4
0000034e: DUP2
0000034f: MSTORE
00000350: PUSH1 0x20
00000352: ADD
00000353: DUP3
00000354: DUP2
00000355: MSTORE
00000356: PUSH1 0x20
00000358: ADD
00000359: SWAP5
0000035a: POP
0000035b: POP
0000035c: POP
0000035d: POP
0000035e: POP
0000035f: PUSH1 0x40
00000361: MLOAD
00000362: DUP1
00000363: SWAP2
00000364: SUB
00000365: SWAP1
00000366: RETURN
00000367: JUMPDEST
00000368: CALLVALUE
00000369: DUP1
0000036a: ISZERO
0000036b: PUSH2 0x0373
0000036e: JUMPI
0000036f: PUSH1 0x00
00000371: DUP1
00000372: REVERT
00000373: JUMPDEST
00000374: POP
00000375: PUSH2 0x03a6
00000378: PUSH1 0x04
0000037a: DUP1
0000037b: CALLDATASIZE
0000037c: SUB
0000037d: PUSH1 0x20
0000037f: DUP2
00000380: LT
00000381: ISZERO
00000382: PUSH2 0x038a
00000385: JUMPI
00000386: PUSH1 0x00
00000388: DUP1
00000389: REVERT
0000038a: JUMPDEST
0000038b: DUP2
0000038c: ADD
0000038d: SWAP1
0000038e: DUP1
0000038f: DUP1
00000390: CALLDATALOAD
00000391: PUSH4 0xffffffff
00000396: AND
00000397: SWAP1
00000398: PUSH1 0x20
0000039a: ADD
0000039b: SWAP1
0000039c: SWAP3
0000039d: SWAP2
0000039e: SWAP1
0000039f: POP
000003a0: POP
000003a1: POP
000003a2: PUSH2 0x18ab
000003a5: JUMP
000003a6: JUMPDEST
000003a7: STOP
000003a8: JUMPDEST
000003a9: CALLVALUE
000003aa: DUP1
000003ab: ISZERO
000003ac: PUSH2 0x03b4
000003af: JUMPI
000003b0: PUSH1 0x00
000003b2: DUP1
000003b3: REVERT
000003b4: JUMPDEST
000003b5: POP
000003b6: PUSH2 0x03f7
000003b9: PUSH1 0x04
000003bb: DUP1
000003bc: CALLDATASIZE
000003bd: SUB
000003be: PUSH1 0x20
000003c0: DUP2
000003c1: LT
000003c2: ISZERO
000003c3: PUSH2 0x03cb
000003c6: JUMPI
000003c7: PUSH1 0x00
000003c9: DUP1
000003ca: REVERT
000003cb: JUMPDEST
000003cc: DUP2
000003cd: ADD
000003ce: SWAP1
000003cf: DUP1
000003d0: DUP1
000003d1: CALLDATALOAD
000003d2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003e7: AND
000003e8: SWAP1
000003e9: PUSH1 0x20
000003eb: ADD
000003ec: SWAP1
000003ed: SWAP3
000003ee: SWAP2
000003ef: SWAP1
000003f0: POP
000003f1: POP
000003f2: POP
000003f3: PUSH2 0x1b0d
000003f6: JUMP
000003f7: JUMPDEST
000003f8: PUSH1 0x40
000003fa: MLOAD
000003fb: DUP1
000003fc: DUP3
000003fd: PUSH4 0xffffffff
00000402: AND
00000403: DUP2
00000404: MSTORE
00000405: PUSH1 0x20
00000407: ADD
00000408: SWAP2
00000409: POP
0000040a: POP
0000040b: PUSH1 0x40
0000040d: MLOAD
0000040e: DUP1
0000040f: SWAP2
00000410: SUB
00000411: SWAP1
00000412: RETURN
00000413: JUMPDEST
00000414: CALLVALUE
00000415: DUP1
00000416: ISZERO
00000417: PUSH2 0x041f
0000041a: JUMPI
0000041b: PUSH1 0x00
0000041d: DUP1
0000041e: REVERT
0000041f: JUMPDEST
00000420: POP
00000421: PUSH2 0x045c
00000424: PUSH1 0x04
00000426: DUP1
00000427: CALLDATASIZE
00000428: SUB
00000429: PUSH1 0x40
0000042b: DUP2
0000042c: LT
0000042d: ISZERO
0000042e: PUSH2 0x0436
00000431: JUMPI
00000432: PUSH1 0x00
00000434: DUP1
00000435: REVERT
00000436: JUMPDEST
00000437: DUP2
00000438: ADD
00000439: SWAP1
0000043a: DUP1
0000043b: DUP1
0000043c: CALLDATALOAD
0000043d: PUSH4 0xffffffff
00000442: AND
00000443: SWAP1
00000444: PUSH1 0x20
00000446: ADD
00000447: SWAP1
00000448: SWAP3
00000449: SWAP2
0000044a: SWAP1
0000044b: DUP1
0000044c: CALLDATALOAD
0000044d: SWAP1
0000044e: PUSH1 0x20
00000450: ADD
00000451: SWAP1
00000452: SWAP3
00000453: SWAP2
00000454: SWAP1
00000455: POP
00000456: POP
00000457: POP
00000458: PUSH2 0x1bab
0000045b: JUMP
0000045c: JUMPDEST
0000045d: STOP
0000045e: JUMPDEST
0000045f: CALLVALUE
00000460: DUP1
00000461: ISZERO
00000462: PUSH2 0x046a
00000465: JUMPI
00000466: PUSH1 0x00
00000468: DUP1
00000469: REVERT
0000046a: JUMPDEST
0000046b: POP
0000046c: PUSH2 0x0497
0000046f: PUSH1 0x04
00000471: DUP1
00000472: CALLDATASIZE
00000473: SUB
00000474: PUSH1 0x20
00000476: DUP2
00000477: LT
00000478: ISZERO
00000479: PUSH2 0x0481
0000047c: JUMPI
0000047d: PUSH1 0x00
0000047f: DUP1
00000480: REVERT
00000481: JUMPDEST
00000482: DUP2
00000483: ADD
00000484: SWAP1
00000485: DUP1
00000486: DUP1
00000487: CALLDATALOAD
00000488: SWAP1
00000489: PUSH1 0x20
0000048b: ADD
0000048c: SWAP1
0000048d: SWAP3
0000048e: SWAP2
0000048f: SWAP1
00000490: POP
00000491: POP
00000492: POP
00000493: PUSH2 0x1d1f
00000496: JUMP
00000497: JUMPDEST
00000498: PUSH1 0x40
0000049a: MLOAD
0000049b: DUP1
0000049c: DUP3
0000049d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004b2: AND
000004b3: DUP2
000004b4: MSTORE
000004b5: PUSH1 0x20
000004b7: ADD
000004b8: SWAP2
000004b9: POP
000004ba: POP
000004bb: PUSH1 0x40
000004bd: MLOAD
000004be: DUP1
000004bf: SWAP2
000004c0: SUB
000004c1: SWAP1
000004c2: RETURN
000004c3: JUMPDEST
000004c4: CALLVALUE
000004c5: DUP1
000004c6: ISZERO
000004c7: PUSH2 0x04cf
000004ca: JUMPI
000004cb: PUSH1 0x00
000004cd: DUP1
000004ce: REVERT
000004cf: JUMPDEST
000004d0: POP
000004d1: PUSH2 0x04d8
000004d4: PUSH2 0x1d5f
000004d7: JUMP
000004d8: JUMPDEST
000004d9: PUSH1 0x40
000004db: MLOAD
000004dc: DUP1
000004dd: DUP3
000004de: DUP2
000004df: MSTORE
000004e0: PUSH1 0x20
000004e2: ADD
000004e3: SWAP2
000004e4: POP
000004e5: POP
000004e6: PUSH1 0x40
000004e8: MLOAD
000004e9: DUP1
000004ea: SWAP2
000004eb: SUB
000004ec: SWAP1
000004ed: RETURN
000004ee: JUMPDEST
000004ef: CALLVALUE
000004f0: DUP1
000004f1: ISZERO
000004f2: PUSH2 0x04fa
000004f5: JUMPI
000004f6: PUSH1 0x00
000004f8: DUP1
000004f9: REVERT
000004fa: JUMPDEST
000004fb: POP
000004fc: PUSH2 0x0527
000004ff: PUSH1 0x04
00000501: DUP1
00000502: CALLDATASIZE
00000503: SUB
00000504: PUSH1 0x20
00000506: DUP2
00000507: LT
00000508: ISZERO
00000509: PUSH2 0x0511
0000050c: JUMPI
0000050d: PUSH1 0x00
0000050f: DUP1
00000510: REVERT
00000511: JUMPDEST
00000512: DUP2
00000513: ADD
00000514: SWAP1
00000515: DUP1
00000516: DUP1
00000517: CALLDATALOAD
00000518: SWAP1
00000519: PUSH1 0x20
0000051b: ADD
0000051c: SWAP1
0000051d: SWAP3
0000051e: SWAP2
0000051f: SWAP1
00000520: POP
00000521: POP
00000522: POP
00000523: PUSH2 0x1d65
00000526: JUMP
00000527: JUMPDEST
00000528: PUSH1 0x40
0000052a: MLOAD
0000052b: DUP1
0000052c: DUP3
0000052d: DUP2
0000052e: MSTORE
0000052f: PUSH1 0x20
00000531: ADD
00000532: SWAP2
00000533: POP
00000534: POP
00000535: PUSH1 0x40
00000537: MLOAD
00000538: DUP1
00000539: SWAP2
0000053a: SUB
0000053b: SWAP1
0000053c: RETURN
0000053d: JUMPDEST
0000053e: CALLVALUE
0000053f: DUP1
00000540: ISZERO
00000541: PUSH2 0x0549
00000544: JUMPI
00000545: PUSH1 0x00
00000547: DUP1
00000548: REVERT
00000549: JUMPDEST
0000054a: POP
0000054b: PUSH2 0x057c
0000054e: PUSH1 0x04
00000550: DUP1
00000551: CALLDATASIZE
00000552: SUB
00000553: PUSH1 0x20
00000555: DUP2
00000556: LT
00000557: ISZERO
00000558: PUSH2 0x0560
0000055b: JUMPI
0000055c: PUSH1 0x00
0000055e: DUP1
0000055f: REVERT
00000560: JUMPDEST
00000561: DUP2
00000562: ADD
00000563: SWAP1
00000564: DUP1
00000565: DUP1
00000566: CALLDATALOAD
00000567: PUSH4 0xffffffff
0000056c: AND
0000056d: SWAP1
0000056e: PUSH1 0x20
00000570: ADD
00000571: SWAP1
00000572: SWAP3
00000573: SWAP2
00000574: SWAP1
00000575: POP
00000576: POP
00000577: POP
00000578: PUSH2 0x1d83
0000057b: JUMP
0000057c: JUMPDEST
0000057d: STOP
0000057e: JUMPDEST
0000057f: CALLVALUE
00000580: DUP1
00000581: ISZERO
00000582: PUSH2 0x058a
00000585: JUMPI
00000586: PUSH1 0x00
00000588: DUP1
00000589: REVERT
0000058a: JUMPDEST
0000058b: POP
0000058c: PUSH2 0x0593
0000058f: PUSH2 0x1e68
00000592: JUMP
00000593: JUMPDEST
00000594: PUSH1 0x40
00000596: MLOAD
00000597: DUP1
00000598: DUP3
00000599: PUSH4 0xffffffff
0000059e: AND
0000059f: DUP2
000005a0: MSTORE
000005a1: PUSH1 0x20
000005a3: ADD
000005a4: SWAP2
000005a5: POP
000005a6: POP
000005a7: PUSH1 0x40
000005a9: MLOAD
000005aa: DUP1
000005ab: SWAP2
000005ac: SUB
000005ad: SWAP1
000005ae: RETURN
000005af: JUMPDEST
000005b0: PUSH2 0x05e1
000005b3: PUSH1 0x04
000005b5: DUP1
000005b6: CALLDATASIZE
000005b7: SUB
000005b8: PUSH1 0x20
000005ba: DUP2
000005bb: LT
000005bc: ISZERO
000005bd: PUSH2 0x05c5
000005c0: JUMPI
000005c1: PUSH1 0x00
000005c3: DUP1
000005c4: REVERT
000005c5: JUMPDEST
000005c6: DUP2
000005c7: ADD
000005c8: SWAP1
000005c9: DUP1
000005ca: DUP1
000005cb: CALLDATALOAD
000005cc: PUSH4 0xffffffff
000005d1: AND
000005d2: SWAP1
000005d3: PUSH1 0x20
000005d5: ADD
000005d6: SWAP1
000005d7: SWAP3
000005d8: SWAP2
000005d9: SWAP1
000005da: POP
000005db: POP
000005dc: POP
000005dd: PUSH2 0x1e7e
000005e0: JUMP
000005e1: JUMPDEST
000005e2: PUSH1 0x40
000005e4: MLOAD
000005e5: DUP1
000005e6: DUP3
000005e7: DUP2
000005e8: MSTORE
000005e9: PUSH1 0x20
000005eb: ADD
000005ec: SWAP2
000005ed: POP
000005ee: POP
000005ef: PUSH1 0x40
000005f1: MLOAD
000005f2: DUP1
000005f3: SWAP2
000005f4: SUB
000005f5: SWAP1
000005f6: RETURN
000005f7: JUMPDEST
000005f8: PUSH2 0x05ff
000005fb: PUSH2 0x2118
000005fe: JUMP
000005ff: JUMPDEST
00000600: STOP
00000601: JUMPDEST
00000602: CALLVALUE
00000603: DUP1
00000604: ISZERO
00000605: PUSH2 0x060d
00000608: JUMPI
00000609: PUSH1 0x00
0000060b: DUP1
0000060c: REVERT
0000060d: JUMPDEST
0000060e: POP
0000060f: PUSH2 0x0660
00000612: PUSH1 0x04
00000614: DUP1
00000615: CALLDATASIZE
00000616: SUB
00000617: PUSH1 0x40
00000619: DUP2
0000061a: LT
0000061b: ISZERO
0000061c: PUSH2 0x0624
0000061f: JUMPI
00000620: PUSH1 0x00
00000622: DUP1
00000623: REVERT
00000624: JUMPDEST
00000625: DUP2
00000626: ADD
00000627: SWAP1
00000628: DUP1
00000629: DUP1
0000062a: CALLDATALOAD
0000062b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000640: AND
00000641: SWAP1
00000642: PUSH1 0x20
00000644: ADD
00000645: SWAP1
00000646: SWAP3
00000647: SWAP2
00000648: SWAP1
00000649: DUP1
0000064a: CALLDATALOAD
0000064b: PUSH4 0xffffffff
00000650: AND
00000651: SWAP1
00000652: PUSH1 0x20
00000654: ADD
00000655: SWAP1
00000656: SWAP3
00000657: SWAP2
00000658: SWAP1
00000659: POP
0000065a: POP
0000065b: POP
0000065c: PUSH2 0x21db
0000065f: JUMP
00000660: JUMPDEST
00000661: PUSH1 0x40
00000663: MLOAD
00000664: DUP1
00000665: DUP3
00000666: DUP2
00000667: MSTORE
00000668: PUSH1 0x20
0000066a: ADD
0000066b: SWAP2
0000066c: POP
0000066d: POP
0000066e: PUSH1 0x40
00000670: MLOAD
00000671: DUP1
00000672: SWAP2
00000673: SUB
00000674: SWAP1
00000675: RETURN
00000676: JUMPDEST
00000677: CALLVALUE
00000678: DUP1
00000679: ISZERO
0000067a: PUSH2 0x0682
0000067d: JUMPI
0000067e: PUSH1 0x00
00000680: DUP1
00000681: REVERT
00000682: JUMPDEST
00000683: POP
00000684: PUSH2 0x068b
00000687: PUSH2 0x231e
0000068a: JUMP
0000068b: JUMPDEST
0000068c: PUSH1 0x40
0000068e: MLOAD
0000068f: DUP1
00000690: DUP1
00000691: PUSH1 0x20
00000693: ADD
00000694: DUP3
00000695: DUP2
00000696: SUB
00000697: DUP3
00000698: MSTORE
00000699: DUP4
0000069a: DUP2
0000069b: DUP2
0000069c: MLOAD
0000069d: DUP2
0000069e: MSTORE
0000069f: PUSH1 0x20
000006a1: ADD
000006a2: SWAP2
000006a3: POP
000006a4: DUP1
000006a5: MLOAD
000006a6: SWAP1
000006a7: PUSH1 0x20
000006a9: ADD
000006aa: SWAP1
000006ab: PUSH1 0x20
000006ad: MUL
000006ae: DUP1
000006af: DUP4
000006b0: DUP4
000006b1: PUSH1 0x00
000006b3: JUMPDEST
000006b4: DUP4
000006b5: DUP2
000006b6: LT
000006b7: ISZERO
000006b8: PUSH2 0x06ce
000006bb: JUMPI
000006bc: DUP1
000006bd: DUP3
000006be: ADD
000006bf: MLOAD
000006c0: DUP2
000006c1: DUP5
000006c2: ADD
000006c3: MSTORE
000006c4: PUSH1 0x20
000006c6: DUP2
000006c7: ADD
000006c8: SWAP1
000006c9: POP
000006ca: PUSH2 0x06b3
000006cd: JUMP
000006ce: JUMPDEST
000006cf: POP
000006d0: POP
000006d1: POP
000006d2: POP
000006d3: SWAP1
000006d4: POP
000006d5: ADD
000006d6: SWAP3
000006d7: POP
000006d8: POP
000006d9: POP
000006da: PUSH1 0x40
000006dc: MLOAD
000006dd: DUP1
000006de: SWAP2
000006df: SUB
000006e0: SWAP1
000006e1: RETURN
000006e2: JUMPDEST
000006e3: PUSH2 0x0714
000006e6: PUSH1 0x04
000006e8: DUP1
000006e9: CALLDATASIZE
000006ea: SUB
000006eb: PUSH1 0x20
000006ed: DUP2
000006ee: LT
000006ef: ISZERO
000006f0: PUSH2 0x06f8
000006f3: JUMPI
000006f4: PUSH1 0x00
000006f6: DUP1
000006f7: REVERT
000006f8: JUMPDEST
000006f9: DUP2
000006fa: ADD
000006fb: SWAP1
000006fc: DUP1
000006fd: DUP1
000006fe: CALLDATALOAD
000006ff: PUSH4 0xffffffff
00000704: AND
00000705: SWAP1
00000706: PUSH1 0x20
00000708: ADD
00000709: SWAP1
0000070a: SWAP3
0000070b: SWAP2
0000070c: SWAP1
0000070d: POP
0000070e: POP
0000070f: POP
00000710: PUSH2 0x254c
00000713: JUMP
00000714: JUMPDEST
00000715: STOP
00000716: JUMPDEST
00000717: CALLVALUE
00000718: DUP1
00000719: ISZERO
0000071a: PUSH2 0x0722
0000071d: JUMPI
0000071e: PUSH1 0x00
00000720: DUP1
00000721: REVERT
00000722: JUMPDEST
00000723: POP
00000724: PUSH2 0x074f
00000727: PUSH1 0x04
00000729: DUP1
0000072a: CALLDATASIZE
0000072b: SUB
0000072c: PUSH1 0x20
0000072e: DUP2
0000072f: LT
00000730: ISZERO
00000731: PUSH2 0x0739
00000734: JUMPI
00000735: PUSH1 0x00
00000737: DUP1
00000738: REVERT
00000739: JUMPDEST
0000073a: DUP2
0000073b: ADD
0000073c: SWAP1
0000073d: DUP1
0000073e: DUP1
0000073f: CALLDATALOAD
00000740: SWAP1
00000741: PUSH1 0x20
00000743: ADD
00000744: SWAP1
00000745: SWAP3
00000746: SWAP2
00000747: SWAP1
00000748: POP
00000749: POP
0000074a: POP
0000074b: PUSH2 0x2777
0000074e: JUMP
0000074f: JUMPDEST
00000750: PUSH1 0x40
00000752: MLOAD
00000753: DUP1
00000754: DUP7
00000755: PUSH4 0xffffffff
0000075a: AND
0000075b: DUP2
0000075c: MSTORE
0000075d: PUSH1 0x20
0000075f: ADD
00000760: DUP6
00000761: PUSH4 0xffffffff
00000766: AND
00000767: DUP2
00000768: MSTORE
00000769: PUSH1 0x20
0000076b: ADD
0000076c: DUP5
0000076d: DUP2
0000076e: MSTORE
0000076f: PUSH1 0x20
00000771: ADD
00000772: DUP4
00000773: DUP2
00000774: MSTORE
00000775: PUSH1 0x20
00000777: ADD
00000778: DUP3
00000779: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000078e: AND
0000078f: DUP2
00000790: MSTORE
00000791: PUSH1 0x20
00000793: ADD
00000794: SWAP6
00000795: POP
00000796: POP
00000797: POP
00000798: POP
00000799: POP
0000079a: POP
0000079b: PUSH1 0x40
0000079d: MLOAD
0000079e: DUP1
0000079f: SWAP2
000007a0: SUB
000007a1: SWAP1
000007a2: RETURN
000007a3: JUMPDEST
000007a4: DUP2
000007a5: PUSH4 0xffffffff
000007aa: AND
000007ab: PUSH1 0x02
000007ad: SLOAD
000007ae: DUP2
000007af: LT
000007b0: PUSH2 0x0821
000007b3: JUMPI
000007b4: PUSH1 0x40
000007b6: MLOAD
000007b7: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000007d8: DUP2
000007d9: MSTORE
000007da: PUSH1 0x04
000007dc: ADD
000007dd: DUP1
000007de: DUP1
000007df: PUSH1 0x20
000007e1: ADD
000007e2: DUP3
000007e3: DUP2
000007e4: SUB
000007e5: DUP3
000007e6: MSTORE
000007e7: PUSH1 0x15
000007e9: DUP2
000007ea: MSTORE
000007eb: PUSH1 0x20
000007ed: ADD
000007ee: DUP1
000007ef: PUSH32 0x4f72646572204944206f7574206f662072616e67650000000000000000000000
00000810: DUP2
00000811: MSTORE
00000812: POP
00000813: PUSH1 0x20
00000815: ADD
00000816: SWAP2
00000817: POP
00000818: POP
00000819: PUSH1 0x40
0000081b: MLOAD
0000081c: DUP1
0000081d: SWAP2
0000081e: SUB
0000081f: SWAP1
00000820: REVERT
00000821: JUMPDEST
00000822: PUSH1 0x24
00000824: PUSH1 0x00
00000826: DUP3
00000827: DUP2
00000828: MSTORE
00000829: PUSH1 0x20
0000082b: ADD
0000082c: SWAP1
0000082d: DUP2
0000082e: MSTORE
0000082f: PUSH1 0x20
00000831: ADD
00000832: PUSH1 0x00
00000834: KECCAK256
00000835: PUSH1 0x03
00000837: ADD
00000838: PUSH1 0x00
0000083a: SWAP1
0000083b: SLOAD
0000083c: SWAP1
0000083d: PUSH2 0x0100
00000840: EXP
00000841: SWAP1
00000842: DIV
00000843: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000858: AND
00000859: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000086e: AND
0000086f: CALLER
00000870: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000885: AND
00000886: EQ
00000887: PUSH2 0x08f8
0000088a: JUMPI
0000088b: PUSH1 0x40
0000088d: MLOAD
0000088e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000008af: DUP2
000008b0: MSTORE
000008b1: PUSH1 0x04
000008b3: ADD
000008b4: DUP1
000008b5: DUP1
000008b6: PUSH1 0x20
000008b8: ADD
000008b9: DUP3
000008ba: DUP2
000008bb: SUB
000008bc: DUP3
000008bd: MSTORE
000008be: PUSH1 0x12
000008c0: DUP2
000008c1: MSTORE
000008c2: PUSH1 0x20
000008c4: ADD
000008c5: DUP1
000008c6: PUSH32 0x4e6f74206f776e6572206f66206f726465720000000000000000000000000000
000008e7: DUP2
000008e8: MSTORE
000008e9: POP
000008ea: PUSH1 0x20
000008ec: ADD
000008ed: SWAP2
000008ee: POP
000008ef: POP
000008f0: PUSH1 0x40
000008f2: MLOAD
000008f3: DUP1
000008f4: SWAP2
000008f5: SUB
000008f6: SWAP1
000008f7: REVERT
000008f8: JUMPDEST
000008f9: PUSH1 0x00
000008fb: PUSH1 0x24
000008fd: PUSH1 0x00
000008ff: DUP6
00000900: PUSH4 0xffffffff
00000905: AND
00000906: DUP2
00000907: MSTORE
00000908: PUSH1 0x20
0000090a: ADD
0000090b: SWAP1
0000090c: DUP2
0000090d: MSTORE
0000090e: PUSH1 0x20
00000910: ADD
00000911: PUSH1 0x00
00000913: KECCAK256
00000914: PUSH1 0x00
00000916: ADD
00000917: PUSH1 0x00
00000919: SWAP1
0000091a: SLOAD
0000091b: SWAP1
0000091c: PUSH2 0x0100
0000091f: EXP
00000920: SWAP1
00000921: DIV
00000922: PUSH4 0xffffffff
00000927: AND
00000928: PUSH4 0xffffffff
0000092d: AND
0000092e: EQ
0000092f: PUSH2 0x09a0
00000932: JUMPI
00000933: PUSH1 0x40
00000935: MLOAD
00000936: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000957: DUP2
00000958: MSTORE
00000959: PUSH1 0x04
0000095b: ADD
0000095c: DUP1
0000095d: DUP1
0000095e: PUSH1 0x20
00000960: ADD
00000961: DUP3
00000962: DUP2
00000963: SUB
00000964: DUP3
00000965: MSTORE
00000966: PUSH1 0x1e
00000968: DUP2
00000969: MSTORE
0000096a: PUSH1 0x20
0000096c: ADD
0000096d: DUP1
0000096e: PUSH32 0x4f72646572206d75737420626520696e2070656e64696e672073746174650000
0000098f: DUP2
00000990: MSTORE
00000991: POP
00000992: PUSH1 0x20
00000994: ADD
00000995: SWAP2
00000996: POP
00000997: POP
00000998: PUSH1 0x40
0000099a: MLOAD
0000099b: DUP1
0000099c: SWAP2
0000099d: SUB
0000099e: SWAP1
0000099f: REVERT
000009a0: JUMPDEST
000009a1: PUSH1 0x24
000009a3: PUSH1 0x00
000009a5: DUP5
000009a6: PUSH4 0xffffffff
000009ab: AND
000009ac: DUP2
000009ad: MSTORE
000009ae: PUSH1 0x20
000009b0: ADD
000009b1: SWAP1
000009b2: DUP2
000009b3: MSTORE
000009b4: PUSH1 0x20
000009b6: ADD
000009b7: PUSH1 0x00
000009b9: KECCAK256
000009ba: PUSH1 0x01
000009bc: ADD
000009bd: SLOAD
000009be: DUP3
000009bf: GT
000009c0: ISZERO
000009c1: PUSH2 0x0a32
000009c4: JUMPI
000009c5: PUSH1 0x40
000009c7: MLOAD
000009c8: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000009e9: DUP2
000009ea: MSTORE
000009eb: PUSH1 0x04
000009ed: ADD
000009ee: DUP1
000009ef: DUP1
000009f0: PUSH1 0x20
000009f2: ADD
000009f3: DUP3
000009f4: DUP2
000009f5: SUB
000009f6: DUP3
000009f7: MSTORE
000009f8: PUSH1 0x0e
000009fa: DUP2
000009fb: MSTORE
000009fc: PUSH1 0x20
000009fe: ADD
000009ff: DUP1
00000a00: PUSH32 0x4c696d6974206578636565646564000000000000000000000000000000000000
00000a21: DUP2
00000a22: MSTORE
00000a23: POP
00000a24: PUSH1 0x20
00000a26: ADD
00000a27: SWAP2
00000a28: POP
00000a29: POP
00000a2a: PUSH1 0x40
00000a2c: MLOAD
00000a2d: DUP1
00000a2e: SWAP2
00000a2f: SUB
00000a30: SWAP1
00000a31: REVERT
00000a32: JUMPDEST
00000a33: PUSH1 0x00
00000a35: DUP3
00000a36: GT
00000a37: PUSH2 0x0aa8
00000a3a: JUMPI
00000a3b: PUSH1 0x40
00000a3d: MLOAD
00000a3e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000a5f: DUP2
00000a60: MSTORE
00000a61: PUSH1 0x04
00000a63: ADD
00000a64: DUP1
00000a65: DUP1
00000a66: PUSH1 0x20
00000a68: ADD
00000a69: DUP3
00000a6a: DUP2
00000a6b: SUB
00000a6c: DUP3
00000a6d: MSTORE
00000a6e: PUSH1 0x1a
00000a70: DUP2
00000a71: MSTORE
00000a72: PUSH1 0x20
00000a74: ADD
00000a75: DUP1
00000a76: PUSH32 0x416d6f756e74206d757374206265206d6f7265207468616e2030000000000000
00000a97: DUP2
00000a98: MSTORE
00000a99: POP
00000a9a: PUSH1 0x20
00000a9c: ADD
00000a9d: SWAP2
00000a9e: POP
00000a9f: POP
00000aa0: PUSH1 0x40
00000aa2: MLOAD
00000aa3: DUP1
00000aa4: SWAP2
00000aa5: SUB
00000aa6: SWAP1
00000aa7: REVERT
00000aa8: JUMPDEST
00000aa9: DUP2
00000aaa: PUSH1 0x24
00000aac: PUSH1 0x00
00000aae: DUP6
00000aaf: PUSH4 0xffffffff
00000ab4: AND
00000ab5: DUP2
00000ab6: MSTORE
00000ab7: PUSH1 0x20
00000ab9: ADD
00000aba: SWAP1
00000abb: DUP2
00000abc: MSTORE
00000abd: PUSH1 0x20
00000abf: ADD
00000ac0: PUSH1 0x00
00000ac2: KECCAK256
00000ac3: PUSH1 0x01
00000ac5: ADD
00000ac6: PUSH1 0x00
00000ac8: DUP3
00000ac9: DUP3
00000aca: SLOAD
00000acb: SUB
00000acc: SWAP3
00000acd: POP
00000ace: POP
00000acf: DUP2
00000ad0: SWAP1
00000ad1: SSTORE
00000ad2: POP
00000ad3: CALLER
00000ad4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ae9: AND
00000aea: PUSH2 0x08fc
00000aed: DUP4
00000aee: SWAP1
00000aef: DUP2
00000af0: ISZERO
00000af1: MUL
00000af2: SWAP1
00000af3: PUSH1 0x40
00000af5: MLOAD
00000af6: PUSH1 0x00
00000af8: PUSH1 0x40
00000afa: MLOAD
00000afb: DUP1
00000afc: DUP4
00000afd: SUB
00000afe: DUP2
00000aff: DUP6
00000b00: DUP9
00000b01: DUP9
00000b02: CALL
00000b03: SWAP4
00000b04: POP
00000b05: POP
00000b06: POP
00000b07: POP
00000b08: ISZERO
00000b09: DUP1
00000b0a: ISZERO
00000b0b: PUSH2 0x0b18
00000b0e: JUMPI
00000b0f: RETURNDATASIZE
00000b10: PUSH1 0x00
00000b12: DUP1
00000b13: RETURNDATACOPY
00000b14: RETURNDATASIZE
00000b15: PUSH1 0x00
00000b17: REVERT
00000b18: JUMPDEST
00000b19: POP
00000b1a: POP
00000b1b: POP
00000b1c: POP
00000b1d: JUMP
00000b1e: JUMPDEST
00000b1f: CALLER
00000b20: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b35: AND
00000b36: PUSH1 0x00
00000b38: DUP1
00000b39: SLOAD
00000b3a: SWAP1
00000b3b: PUSH2 0x0100
00000b3e: EXP
00000b3f: SWAP1
00000b40: DIV
00000b41: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b56: AND
00000b57: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b6c: AND
00000b6d: EQ
00000b6e: PUSH2 0x0bdf
00000b71: JUMPI
00000b72: PUSH1 0x40
00000b74: MLOAD
00000b75: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000b96: DUP2
00000b97: MSTORE
00000b98: PUSH1 0x04
00000b9a: ADD
00000b9b: DUP1
00000b9c: DUP1
00000b9d: PUSH1 0x20
00000b9f: ADD
00000ba0: DUP3
00000ba1: DUP2
00000ba2: SUB
00000ba3: DUP3
00000ba4: MSTORE
00000ba5: PUSH1 0x19
00000ba7: DUP2
00000ba8: MSTORE
00000ba9: PUSH1 0x20
00000bab: ADD
00000bac: DUP1
00000bad: PUSH32 0x52657175697265732061646d696e2070726976696c6567657300000000000000
00000bce: DUP2
00000bcf: MSTORE
00000bd0: POP
00000bd1: PUSH1 0x20
00000bd3: ADD
00000bd4: SWAP2
00000bd5: POP
00000bd6: POP
00000bd7: PUSH1 0x40
00000bd9: MLOAD
00000bda: DUP1
00000bdb: SWAP2
00000bdc: SUB
00000bdd: SWAP1
00000bde: REVERT
00000bdf: JUMPDEST
00000be0: PUSH1 0x02
00000be2: SLOAD
00000be3: DUP2
00000be4: PUSH4 0xffffffff
00000be9: AND
00000bea: LT
00000beb: PUSH2 0x0c5c
00000bee: JUMPI
00000bef: PUSH1 0x40
00000bf1: MLOAD
00000bf2: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000c13: DUP2
00000c14: MSTORE
00000c15: PUSH1 0x04
00000c17: ADD
00000c18: DUP1
00000c19: DUP1
00000c1a: PUSH1 0x20
00000c1c: ADD
00000c1d: DUP3
00000c1e: DUP2
00000c1f: SUB
00000c20: DUP3
00000c21: MSTORE
00000c22: PUSH1 0x15
00000c24: DUP2
00000c25: MSTORE
00000c26: PUSH1 0x20
00000c28: ADD
00000c29: DUP1
00000c2a: PUSH32 0x4f72646572204944206f7574206f662072616e67650000000000000000000000
00000c4b: DUP2
00000c4c: MSTORE
00000c4d: POP
00000c4e: PUSH1 0x20
00000c50: ADD
00000c51: SWAP2
00000c52: POP
00000c53: POP
00000c54: PUSH1 0x40
00000c56: MLOAD
00000c57: DUP1
00000c58: SWAP2
00000c59: SUB
00000c5a: SWAP1
00000c5b: REVERT
00000c5c: JUMPDEST
00000c5d: PUSH1 0x00
00000c5f: PUSH1 0x24
00000c61: PUSH1 0x00
00000c63: DUP4
00000c64: PUSH4 0xffffffff
00000c69: AND
00000c6a: DUP2
00000c6b: MSTORE
00000c6c: PUSH1 0x20
00000c6e: ADD
00000c6f: SWAP1
00000c70: DUP2
00000c71: MSTORE
00000c72: PUSH1 0x20
00000c74: ADD
00000c75: PUSH1 0x00
00000c77: KECCAK256
00000c78: PUSH1 0x00
00000c7a: ADD
00000c7b: PUSH1 0x00
00000c7d: SWAP1
00000c7e: SLOAD
00000c7f: SWAP1
00000c80: PUSH2 0x0100
00000c83: EXP
00000c84: SWAP1
00000c85: DIV
00000c86: PUSH4 0xffffffff
00000c8b: AND
00000c8c: PUSH4 0xffffffff
00000c91: AND
00000c92: EQ
00000c93: PUSH2 0x0d04
00000c96: JUMPI
00000c97: PUSH1 0x40
00000c99: MLOAD
00000c9a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000cbb: DUP2
00000cbc: MSTORE
00000cbd: PUSH1 0x04
00000cbf: ADD
00000cc0: DUP1
00000cc1: DUP1
00000cc2: PUSH1 0x20
00000cc4: ADD
00000cc5: DUP3
00000cc6: DUP2
00000cc7: SUB
00000cc8: DUP3
00000cc9: MSTORE
00000cca: PUSH1 0x1a
00000ccc: DUP2
00000ccd: MSTORE
00000cce: PUSH1 0x20
00000cd0: ADD
00000cd1: DUP1
00000cd2: PUSH32 0x4f72646572206e6f7420696e2070656e64696e67207374617465000000000000
00000cf3: DUP2
00000cf4: MSTORE
00000cf5: POP
00000cf6: PUSH1 0x20
00000cf8: ADD
00000cf9: SWAP2
00000cfa: POP
00000cfb: POP
00000cfc: PUSH1 0x40
00000cfe: MLOAD
00000cff: DUP1
00000d00: SWAP2
00000d01: SUB
00000d02: SWAP1
00000d03: REVERT
00000d04: JUMPDEST
00000d05: PUSH1 0x24
00000d07: PUSH1 0x00
00000d09: DUP3
00000d0a: PUSH4 0xffffffff
00000d0f: AND
00000d10: DUP2
00000d11: MSTORE
00000d12: PUSH1 0x20
00000d14: ADD
00000d15: SWAP1
00000d16: DUP2
00000d17: MSTORE
00000d18: PUSH1 0x20
00000d1a: ADD
00000d1b: PUSH1 0x00
00000d1d: KECCAK256
00000d1e: PUSH1 0x02
00000d20: ADD
00000d21: SLOAD
00000d22: PUSH1 0x01
00000d24: PUSH1 0x00
00000d26: DUP3
00000d27: DUP3
00000d28: SLOAD
00000d29: ADD
00000d2a: SWAP3
00000d2b: POP
00000d2c: POP
00000d2d: DUP2
00000d2e: SWAP1
00000d2f: SSTORE
00000d30: POP
00000d31: PUSH2 0x0d8b
00000d34: PUSH1 0x40
00000d36: MLOAD
00000d37: DUP1
00000d38: PUSH1 0x40
00000d3a: ADD
00000d3b: PUSH1 0x40
00000d3d: MSTORE
00000d3e: DUP1
00000d3f: PUSH1 0x17
00000d41: DUP2
00000d42: MSTORE
00000d43: PUSH1 0x20
00000d45: ADD
00000d46: PUSH32 0x42616e6b696e67207061696420616d6f756e743a202564000000000000000000
00000d67: DUP2
00000d68: MSTORE
00000d69: POP
00000d6a: PUSH1 0x24
00000d6c: PUSH1 0x00
00000d6e: DUP5
00000d6f: PUSH4 0xffffffff
00000d74: AND
00000d75: DUP2
00000d76: MSTORE
00000d77: PUSH1 0x20
00000d79: ADD
00000d7a: SWAP1
00000d7b: DUP2
00000d7c: MSTORE
00000d7d: PUSH1 0x20
00000d7f: ADD
00000d80: PUSH1 0x00
00000d82: KECCAK256
00000d83: PUSH1 0x02
00000d85: ADD
00000d86: SLOAD
00000d87: PUSH2 0x28bc
00000d8a: JUMP
00000d8b: JUMPDEST
00000d8c: PUSH1 0x00
00000d8e: PUSH2 0x0d95
00000d91: PUSH2 0x17a9
00000d94: JUMP
00000d95: JUMPDEST
00000d96: SWAP1
00000d97: SWAP2
00000d98: SWAP3
00000d99: POP
00000d9a: SWAP1
00000d9b: SWAP2
00000d9c: POP
00000d9d: SWAP1
00000d9e: POP
00000d9f: DUP1
00000da0: SWAP2
00000da1: POP
00000da2: POP
00000da3: PUSH1 0x24
00000da5: PUSH1 0x00
00000da7: DUP4
00000da8: PUSH4 0xffffffff
00000dad: AND
00000dae: DUP2
00000daf: MSTORE
00000db0: PUSH1 0x20
00000db2: ADD
00000db3: SWAP1
00000db4: DUP2
00000db5: MSTORE
00000db6: PUSH1 0x20
00000db8: ADD
00000db9: PUSH1 0x00
00000dbb: KECCAK256
00000dbc: PUSH1 0x01
00000dbe: ADD
00000dbf: SLOAD
00000dc0: DUP2
00000dc1: GT
00000dc2: ISZERO
00000dc3: PUSH2 0x0de6
00000dc6: JUMPI
00000dc7: PUSH1 0x24
00000dc9: PUSH1 0x00
00000dcb: DUP4
00000dcc: PUSH4 0xffffffff
00000dd1: AND
00000dd2: DUP2
00000dd3: MSTORE
00000dd4: PUSH1 0x20
00000dd6: ADD
00000dd7: SWAP1
00000dd8: DUP2
00000dd9: MSTORE
00000dda: PUSH1 0x20
00000ddc: ADD
00000ddd: PUSH1 0x00
00000ddf: KECCAK256
00000de0: PUSH1 0x01
00000de2: ADD
00000de3: SLOAD
00000de4: SWAP1
00000de5: POP
00000de6: JUMPDEST
00000de7: PUSH2 0x0e25
00000dea: PUSH1 0x40
00000dec: MLOAD
00000ded: DUP1
00000dee: PUSH1 0x40
00000df0: ADD
00000df1: PUSH1 0x40
00000df3: MSTORE
00000df4: DUP1
00000df5: PUSH1 0x13
00000df7: DUP2
00000df8: MSTORE
00000df9: PUSH1 0x20
00000dfb: ADD
00000dfc: PUSH32 0x42616e6b696e67207072656d69756d3a20256400000000000000000000000000
00000e1d: DUP2
00000e1e: MSTORE
00000e1f: POP
00000e20: DUP3
00000e21: PUSH2 0x28bc
00000e24: JUMP
00000e25: JUMPDEST
00000e26: DUP1
00000e27: PUSH1 0x01
00000e29: PUSH1 0x00
00000e2b: DUP3
00000e2c: DUP3
00000e2d: SLOAD
00000e2e: ADD
00000e2f: SWAP3
00000e30: POP
00000e31: POP
00000e32: DUP2
00000e33: SWAP1
00000e34: SSTORE
00000e35: POP
00000e36: PUSH32 0x51068adb05ab4c0aad13c210d789e4d021bacd1464074da9c44f6d717e4e7180
00000e57: DUP3
00000e58: PUSH1 0x40
00000e5a: MLOAD
00000e5b: DUP1
00000e5c: DUP3
00000e5d: PUSH4 0xffffffff
00000e62: AND
00000e63: DUP2
00000e64: MSTORE
00000e65: PUSH1 0x20
00000e67: ADD
00000e68: SWAP2
00000e69: POP
00000e6a: POP
00000e6b: PUSH1 0x40
00000e6d: MLOAD
00000e6e: DUP1
00000e6f: SWAP2
00000e70: SUB
00000e71: SWAP1
00000e72: LOG1
00000e73: PUSH1 0x01
00000e75: PUSH1 0x24
00000e77: PUSH1 0x00
00000e79: DUP5
00000e7a: PUSH4 0xffffffff
00000e7f: AND
00000e80: DUP2
00000e81: MSTORE
00000e82: PUSH1 0x20
00000e84: ADD
00000e85: SWAP1
00000e86: DUP2
00000e87: MSTORE
00000e88: PUSH1 0x20
00000e8a: ADD
00000e8b: PUSH1 0x00
00000e8d: KECCAK256
00000e8e: PUSH1 0x00
00000e90: ADD
00000e91: PUSH1 0x00
00000e93: PUSH2 0x0100
00000e96: EXP
00000e97: DUP2
00000e98: SLOAD
00000e99: DUP2
00000e9a: PUSH4 0xffffffff
00000e9f: MUL
00000ea0: NOT
00000ea1: AND
00000ea2: SWAP1
00000ea3: DUP4
00000ea4: PUSH4 0xffffffff
00000ea9: AND
00000eaa: MUL
00000eab: OR
00000eac: SWAP1
00000ead: SSTORE
00000eae: POP
00000eaf: POP
00000eb0: POP
00000eb1: JUMP
00000eb2: JUMPDEST
00000eb3: CALLER
00000eb4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ec9: AND
00000eca: PUSH1 0x00
00000ecc: DUP1
00000ecd: SLOAD
00000ece: SWAP1
00000ecf: PUSH2 0x0100
00000ed2: EXP
00000ed3: SWAP1
00000ed4: DIV
00000ed5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000eea: AND
00000eeb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f00: AND
00000f01: EQ
00000f02: PUSH2 0x0f73
00000f05: JUMPI
00000f06: PUSH1 0x40
00000f08: MLOAD
00000f09: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000f2a: DUP2
00000f2b: MSTORE
00000f2c: PUSH1 0x04
00000f2e: ADD
00000f2f: DUP1
00000f30: DUP1
00000f31: PUSH1 0x20
00000f33: ADD
00000f34: DUP3
00000f35: DUP2
00000f36: SUB
00000f37: DUP3
00000f38: MSTORE
00000f39: PUSH1 0x19
00000f3b: DUP2
00000f3c: MSTORE
00000f3d: PUSH1 0x20
00000f3f: ADD
00000f40: DUP1
00000f41: PUSH32 0x52657175697265732061646d696e2070726976696c6567657300000000000000
00000f62: DUP2
00000f63: MSTORE
00000f64: POP
00000f65: PUSH1 0x20
00000f67: ADD
00000f68: SWAP2
00000f69: POP
00000f6a: POP
00000f6b: PUSH1 0x40
00000f6d: MLOAD
00000f6e: DUP1
00000f6f: SWAP2
00000f70: SUB
00000f71: SWAP1
00000f72: REVERT
00000f73: JUMPDEST
00000f74: PUSH1 0x01
00000f76: SLOAD
00000f77: DUP2
00000f78: LT
00000f79: PUSH2 0x0fea
00000f7c: JUMPI
00000f7d: PUSH1 0x40
00000f7f: MLOAD
00000f80: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000fa1: DUP2
00000fa2: MSTORE
00000fa3: PUSH1 0x04
00000fa5: ADD
00000fa6: DUP1
00000fa7: DUP1
00000fa8: PUSH1 0x20
00000faa: ADD
00000fab: DUP3
00000fac: DUP2
00000fad: SUB
00000fae: DUP3
00000faf: MSTORE
00000fb0: PUSH1 0x14
00000fb2: DUP2
00000fb3: MSTORE
00000fb4: PUSH1 0x20
00000fb6: ADD
00000fb7: DUP1
00000fb8: PUSH32 0x43616e206f6e6c792061646a75737420646f776e000000000000000000000000
00000fd9: DUP2
00000fda: MSTORE
00000fdb: POP
00000fdc: PUSH1 0x20
00000fde: ADD
00000fdf: SWAP2
00000fe0: POP
00000fe1: POP
00000fe2: PUSH1 0x40
00000fe4: MLOAD
00000fe5: DUP1
00000fe6: SWAP2
00000fe7: SUB
00000fe8: SWAP1
00000fe9: REVERT
00000fea: JUMPDEST
00000feb: DUP1
00000fec: PUSH1 0x01
00000fee: DUP2
00000fef: SWAP1
00000ff0: SSTORE
00000ff1: POP
00000ff2: POP
00000ff3: JUMP
00000ff4: JUMPDEST
00000ff5: DUP1
00000ff6: PUSH4 0xffffffff
00000ffb: AND
00000ffc: PUSH1 0x02
00000ffe: SLOAD
00000fff: DUP2
00001000: LT
00001001: PUSH2 0x1072
00001004: JUMPI
00001005: PUSH1 0x40
00001007: MLOAD
00001008: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001029: DUP2
0000102a: MSTORE
0000102b: PUSH1 0x04
0000102d: ADD
0000102e: DUP1
0000102f: DUP1
00001030: PUSH1 0x20
00001032: ADD
00001033: DUP3
00001034: DUP2
00001035: SUB
00001036: DUP3
00001037: MSTORE
00001038: PUSH1 0x15
0000103a: DUP2
0000103b: MSTORE
0000103c: PUSH1 0x20
0000103e: ADD
0000103f: DUP1
00001040: PUSH32 0x4f72646572204944206f7574206f662072616e67650000000000000000000000
00001061: DUP2
00001062: MSTORE
00001063: POP
00001064: PUSH1 0x20
00001066: ADD
00001067: SWAP2
00001068: POP
00001069: POP
0000106a: PUSH1 0x40
0000106c: MLOAD
0000106d: DUP1
0000106e: SWAP2
0000106f: SUB
00001070: SWAP1
00001071: REVERT
00001072: JUMPDEST
00001073: PUSH1 0x24
00001075: PUSH1 0x00
00001077: DUP3
00001078: DUP2
00001079: MSTORE
0000107a: PUSH1 0x20
0000107c: ADD
0000107d: SWAP1
0000107e: DUP2
0000107f: MSTORE
00001080: PUSH1 0x20
00001082: ADD
00001083: PUSH1 0x00
00001085: KECCAK256
00001086: PUSH1 0x03
00001088: ADD
00001089: PUSH1 0x00
0000108b: SWAP1
0000108c: SLOAD
0000108d: SWAP1
0000108e: PUSH2 0x0100
00001091: EXP
00001092: SWAP1
00001093: DIV
00001094: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010a9: AND
000010aa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010bf: AND
000010c0: CALLER
000010c1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010d6: AND
000010d7: EQ
000010d8: PUSH2 0x1149
000010db: JUMPI
000010dc: PUSH1 0x40
000010de: MLOAD
000010df: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001100: DUP2
00001101: MSTORE
00001102: PUSH1 0x04
00001104: ADD
00001105: DUP1
00001106: DUP1
00001107: PUSH1 0x20
00001109: ADD
0000110a: DUP3
0000110b: DUP2
0000110c: SUB
0000110d: DUP3
0000110e: MSTORE
0000110f: PUSH1 0x12
00001111: DUP2
00001112: MSTORE
00001113: PUSH1 0x20
00001115: ADD
00001116: DUP1
00001117: PUSH32 0x4e6f74206f776e6572206f66206f726465720000000000000000000000000000
00001138: DUP2
00001139: MSTORE
0000113a: POP
0000113b: PUSH1 0x20
0000113d: ADD
0000113e: SWAP2
0000113f: POP
00001140: POP
00001141: PUSH1 0x40
00001143: MLOAD
00001144: DUP1
00001145: SWAP2
00001146: SUB
00001147: SWAP1
00001148: REVERT
00001149: JUMPDEST
0000114a: PUSH1 0x00
0000114c: PUSH1 0x24
0000114e: PUSH1 0x00
00001150: DUP5
00001151: PUSH4 0xffffffff
00001156: AND
00001157: DUP2
00001158: MSTORE
00001159: PUSH1 0x20
0000115b: ADD
0000115c: SWAP1
0000115d: DUP2
0000115e: MSTORE
0000115f: PUSH1 0x20
00001161: ADD
00001162: PUSH1 0x00
00001164: KECCAK256
00001165: PUSH1 0x00
00001167: ADD
00001168: PUSH1 0x00
0000116a: SWAP1
0000116b: SLOAD
0000116c: SWAP1
0000116d: PUSH2 0x0100
00001170: EXP
00001171: SWAP1
00001172: DIV
00001173: PUSH4 0xffffffff
00001178: AND
00001179: PUSH4 0xffffffff
0000117e: AND
0000117f: EQ
00001180: PUSH2 0x11f1
00001183: JUMPI
00001184: PUSH1 0x40
00001186: MLOAD
00001187: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000011a8: DUP2
000011a9: MSTORE
000011aa: PUSH1 0x04
000011ac: ADD
000011ad: DUP1
000011ae: DUP1
000011af: PUSH1 0x20
000011b1: ADD
000011b2: DUP3
000011b3: DUP2
000011b4: SUB
000011b5: DUP3
000011b6: MSTORE
000011b7: PUSH1 0x1d
000011b9: DUP2
000011ba: MSTORE
000011bb: PUSH1 0x20
000011bd: ADD
000011be: DUP1
000011bf: PUSH32 0x4f72646572206e6f7420696e20726566756e6461626c65207374617465000000
000011e0: DUP2
000011e1: MSTORE
000011e2: POP
000011e3: PUSH1 0x20
000011e5: ADD
000011e6: SWAP2
000011e7: POP
000011e8: POP
000011e9: PUSH1 0x40
000011eb: MLOAD
000011ec: DUP1
000011ed: SWAP2
000011ee: SUB
000011ef: SWAP1
000011f0: REVERT
000011f1: JUMPDEST
000011f2: PUSH1 0x03
000011f4: PUSH1 0x24
000011f6: PUSH1 0x00
000011f8: DUP5
000011f9: PUSH4 0xffffffff
000011fe: AND
000011ff: DUP2
00001200: MSTORE
00001201: PUSH1 0x20
00001203: ADD
00001204: SWAP1
00001205: DUP2
00001206: MSTORE
00001207: PUSH1 0x20
00001209: ADD
0000120a: PUSH1 0x00
0000120c: KECCAK256
0000120d: PUSH1 0x00
0000120f: ADD
00001210: PUSH1 0x00
00001212: PUSH2 0x0100
00001215: EXP
00001216: DUP2
00001217: SLOAD
00001218: DUP2
00001219: PUSH4 0xffffffff
0000121e: MUL
0000121f: NOT
00001220: AND
00001221: SWAP1
00001222: DUP4
00001223: PUSH4 0xffffffff
00001228: AND
00001229: MUL
0000122a: OR
0000122b: SWAP1
0000122c: SSTORE
0000122d: POP
0000122e: PUSH1 0x00
00001230: PUSH1 0x24
00001232: PUSH1 0x00
00001234: DUP5
00001235: PUSH4 0xffffffff
0000123a: AND
0000123b: DUP2
0000123c: MSTORE
0000123d: PUSH1 0x20
0000123f: ADD
00001240: SWAP1
00001241: DUP2
00001242: MSTORE
00001243: PUSH1 0x20
00001245: ADD
00001246: PUSH1 0x00
00001248: KECCAK256
00001249: PUSH1 0x02
0000124b: ADD
0000124c: SLOAD
0000124d: SWAP1
0000124e: POP
0000124f: PUSH1 0x64
00001251: DUP2
00001252: DUP2
00001253: PUSH2 0x1258
00001256: JUMPI
00001257: INVALID
00001258: JUMPDEST
00001259: DIV
0000125a: SWAP1
0000125b: POP
0000125c: PUSH1 0x5f
0000125e: DUP2
0000125f: MUL
00001260: SWAP1
00001261: POP
00001262: DUP1
00001263: PUSH1 0x24
00001265: PUSH1 0x00
00001267: DUP6
00001268: PUSH4 0xffffffff
0000126d: AND
0000126e: DUP2
0000126f: MSTORE
00001270: PUSH1 0x20
00001272: ADD
00001273: SWAP1
00001274: DUP2
00001275: MSTORE
00001276: PUSH1 0x20
00001278: ADD
00001279: PUSH1 0x00
0000127b: KECCAK256
0000127c: PUSH1 0x02
0000127e: ADD
0000127f: SLOAD
00001280: SUB
00001281: PUSH1 0x01
00001283: PUSH1 0x00
00001285: DUP3
00001286: DUP3
00001287: SLOAD
00001288: ADD
00001289: SWAP3
0000128a: POP
0000128b: POP
0000128c: DUP2
0000128d: SWAP1
0000128e: SSTORE
0000128f: POP
00001290: PUSH2 0x12d0
00001293: PUSH1 0x40
00001295: MLOAD
00001296: DUP1
00001297: PUSH1 0x40
00001299: ADD
0000129a: PUSH1 0x40
0000129c: MSTORE
0000129d: DUP1
0000129e: PUSH1 0x0a
000012a0: DUP2
000012a1: MSTORE
000012a2: PUSH1 0x20
000012a4: ADD
000012a5: PUSH32 0x4b656570696e6720256400000000000000000000000000000000000000000000
000012c6: DUP2
000012c7: MSTORE
000012c8: POP
000012c9: PUSH1 0x01
000012cb: SLOAD
000012cc: PUSH2 0x28bc
000012cf: JUMP
000012d0: JUMPDEST
000012d1: PUSH2 0x130f
000012d4: PUSH1 0x40
000012d6: MLOAD
000012d7: DUP1
000012d8: PUSH1 0x40
000012da: ADD
000012db: PUSH1 0x40
000012dd: MSTORE
000012de: DUP1
000012df: PUSH1 0x0c
000012e1: DUP2
000012e2: MSTORE
000012e3: PUSH1 0x20
000012e5: ADD
000012e6: PUSH32 0x526566756e64696e672025640000000000000000000000000000000000000000
00001307: DUP2
00001308: MSTORE
00001309: POP
0000130a: DUP3
0000130b: PUSH2 0x28bc
0000130e: JUMP
0000130f: JUMPDEST
00001310: PUSH1 0x24
00001312: PUSH1 0x00
00001314: DUP5
00001315: PUSH4 0xffffffff
0000131a: AND
0000131b: DUP2
0000131c: MSTORE
0000131d: PUSH1 0x20
0000131f: ADD
00001320: SWAP1
00001321: DUP2
00001322: MSTORE
00001323: PUSH1 0x20
00001325: ADD
00001326: PUSH1 0x00
00001328: KECCAK256
00001329: PUSH1 0x01
0000132b: ADD
0000132c: SLOAD
0000132d: DUP2
0000132e: ADD
0000132f: SWAP1
00001330: POP
00001331: PUSH2 0x136f
00001334: PUSH1 0x40
00001336: MLOAD
00001337: DUP1
00001338: PUSH1 0x40
0000133a: ADD
0000133b: PUSH1 0x40
0000133d: MSTORE
0000133e: DUP1
0000133f: PUSH1 0x13
00001341: DUP2
00001342: MSTORE
00001343: PUSH1 0x20
00001345: ADD
00001346: PUSH32 0x526566756e64696e6720746f74616c3a20256400000000000000000000000000
00001367: DUP2
00001368: MSTORE
00001369: POP
0000136a: DUP3
0000136b: PUSH2 0x28bc
0000136e: JUMP
0000136f: JUMPDEST
00001370: PUSH32 0xe65fe860c9575e9dcdc5ad1279422681a384c793dd0160f01380380f5ca006bf
00001391: DUP4
00001392: DUP3
00001393: PUSH1 0x40
00001395: MLOAD
00001396: DUP1
00001397: DUP4
00001398: PUSH4 0xffffffff
0000139d: AND
0000139e: DUP2
0000139f: MSTORE
000013a0: PUSH1 0x20
000013a2: ADD
000013a3: DUP3
000013a4: DUP2
000013a5: MSTORE
000013a6: PUSH1 0x20
000013a8: ADD
000013a9: SWAP3
000013aa: POP
000013ab: POP
000013ac: POP
000013ad: PUSH1 0x40
000013af: MLOAD
000013b0: DUP1
000013b1: SWAP2
000013b2: SUB
000013b3: SWAP1
000013b4: LOG1
000013b5: CALLER
000013b6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013cb: AND
000013cc: PUSH2 0x08fc
000013cf: DUP3
000013d0: SWAP1
000013d1: DUP2
000013d2: ISZERO
000013d3: MUL
000013d4: SWAP1
000013d5: PUSH1 0x40
000013d7: MLOAD
000013d8: PUSH1 0x00
000013da: PUSH1 0x40
000013dc: MLOAD
000013dd: DUP1
000013de: DUP4
000013df: SUB
000013e0: DUP2
000013e1: DUP6
000013e2: DUP9
000013e3: DUP9
000013e4: CALL
000013e5: SWAP4
000013e6: POP
000013e7: POP
000013e8: POP
000013e9: POP
000013ea: ISZERO
000013eb: DUP1
000013ec: ISZERO
000013ed: PUSH2 0x13fa
000013f0: JUMPI
000013f1: RETURNDATASIZE
000013f2: PUSH1 0x00
000013f4: DUP1
000013f5: RETURNDATACOPY
000013f6: RETURNDATASIZE
000013f7: PUSH1 0x00
000013f9: REVERT
000013fa: JUMPDEST
000013fb: POP
000013fc: POP
000013fd: POP
000013fe: POP
000013ff: JUMP
00001400: JUMPDEST
00001401: CALLER
00001402: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001417: AND
00001418: PUSH1 0x00
0000141a: DUP1
0000141b: SLOAD
0000141c: SWAP1
0000141d: PUSH2 0x0100
00001420: EXP
00001421: SWAP1
00001422: DIV
00001423: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001438: AND
00001439: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000144e: AND
0000144f: EQ
00001450: PUSH2 0x14c1
00001453: JUMPI
00001454: PUSH1 0x40
00001456: MLOAD
00001457: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001478: DUP2
00001479: MSTORE
0000147a: PUSH1 0x04
0000147c: ADD
0000147d: DUP1
0000147e: DUP1
0000147f: PUSH1 0x20
00001481: ADD
00001482: DUP3
00001483: DUP2
00001484: SUB
00001485: DUP3
00001486: MSTORE
00001487: PUSH1 0x19
00001489: DUP2
0000148a: MSTORE
0000148b: PUSH1 0x20
0000148d: ADD
0000148e: DUP1
0000148f: PUSH32 0x52657175697265732061646d696e2070726976696c6567657300000000000000
000014b0: DUP2
000014b1: MSTORE
000014b2: POP
000014b3: PUSH1 0x20
000014b5: ADD
000014b6: SWAP2
000014b7: POP
000014b8: POP
000014b9: PUSH1 0x40
000014bb: MLOAD
000014bc: DUP1
000014bd: SWAP2
000014be: SUB
000014bf: SWAP1
000014c0: REVERT
000014c1: JUMPDEST
000014c2: PUSH1 0x01
000014c4: SLOAD
000014c5: DUP2
000014c6: GT
000014c7: ISZERO
000014c8: PUSH2 0x1539
000014cb: JUMPI
000014cc: PUSH1 0x40
000014ce: MLOAD
000014cf: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000014f0: DUP2
000014f1: MSTORE
000014f2: PUSH1 0x04
000014f4: ADD
000014f5: DUP1
000014f6: DUP1
000014f7: PUSH1 0x20
000014f9: ADD
000014fa: DUP3
000014fb: DUP2
000014fc: SUB
000014fd: DUP3
000014fe: MSTORE
000014ff: PUSH1 0x15
00001501: DUP2
00001502: MSTORE
00001503: PUSH1 0x20
00001505: ADD
00001506: DUP1
00001507: PUSH32 0x4561726e6564206c696d69742065786365656465640000000000000000000000
00001528: DUP2
00001529: MSTORE
0000152a: POP
0000152b: PUSH1 0x20
0000152d: ADD
0000152e: SWAP2
0000152f: POP
00001530: POP
00001531: PUSH1 0x40
00001533: MLOAD
00001534: DUP1
00001535: SWAP2
00001536: SUB
00001537: SWAP1
00001538: REVERT
00001539: JUMPDEST
0000153a: SELFBALANCE
0000153b: DUP2
0000153c: GT
0000153d: ISZERO
0000153e: PUSH2 0x15af
00001541: JUMPI
00001542: PUSH1 0x40
00001544: MLOAD
00001545: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001566: DUP2
00001567: MSTORE
00001568: PUSH1 0x04
0000156a: ADD
0000156b: DUP1
0000156c: DUP1
0000156d: PUSH1 0x20
0000156f: ADD
00001570: DUP3
00001571: DUP2
00001572: SUB
00001573: DUP3
00001574: MSTORE
00001575: PUSH1 0x1e
00001577: DUP2
00001578: MSTORE
00001579: PUSH1 0x20
0000157b: ADD
0000157c: DUP1
0000157d: PUSH32 0x496e73756666696369656e742066756e647320746f2077697468647261770000
0000159e: DUP2
0000159f: MSTORE
000015a0: POP
000015a1: PUSH1 0x20
000015a3: ADD
000015a4: SWAP2
000015a5: POP
000015a6: POP
000015a7: PUSH1 0x40
000015a9: MLOAD
000015aa: DUP1
000015ab: SWAP2
000015ac: SUB
000015ad: SWAP1
000015ae: REVERT
000015af: JUMPDEST
000015b0: DUP1
000015b1: PUSH1 0x01
000015b3: PUSH1 0x00
000015b5: DUP3
000015b6: DUP3
000015b7: SLOAD
000015b8: SUB
000015b9: SWAP3
000015ba: POP
000015bb: POP
000015bc: DUP2
000015bd: SWAP1
000015be: SSTORE
000015bf: POP
000015c0: CALLER
000015c1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015d6: AND
000015d7: PUSH2 0x08fc
000015da: DUP3
000015db: SWAP1
000015dc: DUP2
000015dd: ISZERO
000015de: MUL
000015df: SWAP1
000015e0: PUSH1 0x40
000015e2: MLOAD
000015e3: PUSH1 0x00
000015e5: PUSH1 0x40
000015e7: MLOAD
000015e8: DUP1
000015e9: DUP4
000015ea: SUB
000015eb: DUP2
000015ec: DUP6
000015ed: DUP9
000015ee: DUP9
000015ef: CALL
000015f0: SWAP4
000015f1: POP
000015f2: POP
000015f3: POP
000015f4: POP
000015f5: ISZERO
000015f6: DUP1
000015f7: ISZERO
000015f8: PUSH2 0x1605
000015fb: JUMPI
000015fc: RETURNDATASIZE
000015fd: PUSH1 0x00
000015ff: DUP1
00001600: RETURNDATACOPY
00001601: RETURNDATASIZE
00001602: PUSH1 0x00
00001604: REVERT
00001605: JUMPDEST
00001606: POP
00001607: POP
00001608: JUMP
00001609: JUMPDEST
0000160a: PUSH1 0x60
0000160c: DUP1
0000160d: PUSH1 0x00
0000160f: DUP1
00001610: PUSH1 0x00
00001612: SWAP1
00001613: POP
00001614: JUMPDEST
00001615: PUSH1 0x02
00001617: SLOAD
00001618: DUP2
00001619: LT
0000161a: ISZERO
0000161b: PUSH2 0x16a2
0000161e: JUMPI
0000161f: DUP5
00001620: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001635: AND
00001636: PUSH1 0x24
00001638: PUSH1 0x00
0000163a: DUP4
0000163b: DUP2
0000163c: MSTORE
0000163d: PUSH1 0x20
0000163f: ADD
00001640: SWAP1
00001641: DUP2
00001642: MSTORE
00001643: PUSH1 0x20
00001645: ADD
00001646: PUSH1 0x00
00001648: KECCAK256
00001649: PUSH1 0x03
0000164b: ADD
0000164c: PUSH1 0x00
0000164e: SWAP1
0000164f: SLOAD
00001650: SWAP1
00001651: PUSH2 0x0100
00001654: EXP
00001655: SWAP1
00001656: DIV
00001657: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000166c: AND
0000166d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001682: AND
00001683: EQ
00001684: PUSH2 0x168c
00001687: JUMPI
00001688: PUSH2 0x1695
0000168b: JUMP
0000168c: JUMPDEST
0000168d: DUP2
0000168e: DUP1
0000168f: PUSH1 0x01
00001691: ADD
00001692: SWAP3
00001693: POP
00001694: POP
00001695: JUMPDEST
00001696: DUP1
00001697: DUP1
00001698: PUSH1 0x01
0000169a: ADD
0000169b: SWAP2
0000169c: POP
0000169d: POP
0000169e: PUSH2 0x1614
000016a1: JUMP
000016a2: JUMPDEST
000016a3: POP
000016a4: DUP1
000016a5: PUSH8 0xffffffffffffffff
000016ae: DUP2
000016af: GT
000016b0: DUP1
000016b1: ISZERO
000016b2: PUSH2 0x16ba
000016b5: JUMPI
000016b6: PUSH1 0x00
000016b8: DUP1
000016b9: REVERT
000016ba: JUMPDEST
000016bb: POP
000016bc: PUSH1 0x40
000016be: MLOAD
000016bf: SWAP1
000016c0: DUP1
000016c1: DUP3
000016c2: MSTORE
000016c3: DUP1
000016c4: PUSH1 0x20
000016c6: MUL
000016c7: PUSH1 0x20
000016c9: ADD
000016ca: DUP3
000016cb: ADD
000016cc: PUSH1 0x40
000016ce: MSTORE
000016cf: DUP1
000016d0: ISZERO
000016d1: PUSH2 0x16e9
000016d4: JUMPI
000016d5: DUP2
000016d6: PUSH1 0x20
000016d8: ADD
000016d9: PUSH1 0x20
000016db: DUP3
000016dc: MUL
000016dd: DUP1
000016de: CALLDATASIZE
000016df: DUP4
000016e0: CALLDATACOPY
000016e1: DUP1
000016e2: DUP3
000016e3: ADD
000016e4: SWAP2
000016e5: POP
000016e6: POP
000016e7: SWAP1
000016e8: POP
000016e9: JUMPDEST
000016ea: POP
000016eb: SWAP2
000016ec: POP
000016ed: PUSH1 0x00
000016ef: DUP1
000016f0: JUMPDEST
000016f1: PUSH1 0x02
000016f3: SLOAD
000016f4: DUP2
000016f5: LT
000016f6: ISZERO
000016f7: PUSH2 0x1797
000016fa: JUMPI
000016fb: DUP6
000016fc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001711: AND
00001712: PUSH1 0x24
00001714: PUSH1 0x00
00001716: DUP4
00001717: DUP2
00001718: MSTORE
00001719: PUSH1 0x20
0000171b: ADD
0000171c: SWAP1
0000171d: DUP2
0000171e: MSTORE
0000171f: PUSH1 0x20
00001721: ADD
00001722: PUSH1 0x00
00001724: KECCAK256
00001725: PUSH1 0x03
00001727: ADD
00001728: PUSH1 0x00
0000172a: SWAP1
0000172b: SLOAD
0000172c: SWAP1
0000172d: PUSH2 0x0100
00001730: EXP
00001731: SWAP1
00001732: DIV
00001733: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001748: AND
00001749: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000175e: AND
0000175f: EQ
00001760: PUSH2 0x1768
00001763: JUMPI
00001764: PUSH2 0x178a
00001767: JUMP
00001768: JUMPDEST
00001769: DUP1
0000176a: DUP5
0000176b: DUP4
0000176c: DUP2
0000176d: MLOAD
0000176e: DUP2
0000176f: LT
00001770: PUSH2 0x1775
00001773: JUMPI
00001774: INVALID
00001775: JUMPDEST
00001776: PUSH1 0x20
00001778: MUL
00001779: PUSH1 0x20
0000177b: ADD
0000177c: ADD
0000177d: DUP2
0000177e: DUP2
0000177f: MSTORE
00001780: POP
00001781: POP
00001782: DUP2
00001783: DUP1
00001784: PUSH1 0x01
00001786: ADD
00001787: SWAP3
00001788: POP
00001789: POP
0000178a: JUMPDEST
0000178b: DUP1
0000178c: DUP1
0000178d: PUSH1 0x01
0000178f: ADD
00001790: SWAP2
00001791: POP
00001792: POP
00001793: PUSH2 0x16f0
00001796: JUMP
00001797: JUMPDEST
00001798: POP
00001799: DUP3
0000179a: SWAP4
0000179b: POP
0000179c: POP
0000179d: POP
0000179e: POP
0000179f: SWAP2
000017a0: SWAP1
000017a1: POP
000017a2: JUMP
000017a3: JUMPDEST
000017a4: PUSH1 0x02
000017a6: SLOAD
000017a7: DUP2
000017a8: JUMP
000017a9: JUMPDEST
000017aa: PUSH1 0x00
000017ac: DUP1
000017ad: PUSH1 0x00
000017af: DUP1
000017b0: PUSH1 0x00
000017b2: DUP1
000017b3: PUSH1 0x00
000017b5: DUP1
000017b6: PUSH1 0x02
000017b8: DUP1
000017b9: SLOAD
000017ba: LT
000017bb: PUSH2 0x1895
000017be: JUMPI
000017bf: PUSH1 0x00
000017c1: JUMPDEST
000017c2: PUSH1 0x02
000017c4: SLOAD
000017c5: DUP2
000017c6: LT
000017c7: ISZERO
000017c8: PUSH2 0x1893
000017cb: JUMPI
000017cc: PUSH1 0x00
000017ce: PUSH1 0x24
000017d0: PUSH1 0x00
000017d2: DUP4
000017d3: DUP2
000017d4: MSTORE
000017d5: PUSH1 0x20
000017d7: ADD
000017d8: SWAP1
000017d9: DUP2
000017da: MSTORE
000017db: PUSH1 0x20
000017dd: ADD
000017de: PUSH1 0x00
000017e0: KECCAK256
000017e1: PUSH1 0x00
000017e3: ADD
000017e4: PUSH1 0x00
000017e6: SWAP1
000017e7: SLOAD
000017e8: SWAP1
000017e9: PUSH2 0x0100
000017ec: EXP
000017ed: SWAP1
000017ee: DIV
000017ef: PUSH4 0xffffffff
000017f4: AND
000017f5: PUSH4 0xffffffff
000017fa: AND
000017fb: EQ
000017fc: PUSH2 0x1804
000017ff: JUMPI
00001800: PUSH2 0x1886
00001803: JUMP
00001804: JUMPDEST
00001805: DUP5
00001806: PUSH1 0x24
00001808: PUSH1 0x00
0000180a: DUP4
0000180b: DUP2
0000180c: MSTORE
0000180d: PUSH1 0x20
0000180f: ADD
00001810: SWAP1
00001811: DUP2
00001812: MSTORE
00001813: PUSH1 0x20
00001815: ADD
00001816: PUSH1 0x00
00001818: KECCAK256
00001819: PUSH1 0x01
0000181b: ADD
0000181c: SLOAD
0000181d: GT
0000181e: ISZERO
0000181f: PUSH2 0x1849
00001822: JUMPI
00001823: DUP5
00001824: SWAP4
00001825: POP
00001826: DUP3
00001827: SWAP2
00001828: POP
00001829: PUSH1 0x24
0000182b: PUSH1 0x00
0000182d: DUP3
0000182e: DUP2
0000182f: MSTORE
00001830: PUSH1 0x20
00001832: ADD
00001833: SWAP1
00001834: DUP2
00001835: MSTORE
00001836: PUSH1 0x20
00001838: ADD
00001839: PUSH1 0x00
0000183b: KECCAK256
0000183c: PUSH1 0x01
0000183e: ADD
0000183f: SLOAD
00001840: SWAP5
00001841: POP
00001842: DUP1
00001843: SWAP3
00001844: POP
00001845: PUSH2 0x1885
00001848: JUMP
00001849: JUMPDEST
0000184a: DUP4
0000184b: PUSH1 0x24
0000184d: PUSH1 0x00
0000184f: DUP4
00001850: DUP2
00001851: MSTORE
00001852: PUSH1 0x20
00001854: ADD
00001855: SWAP1
00001856: DUP2
00001857: MSTORE
00001858: PUSH1 0x20
0000185a: ADD
0000185b: PUSH1 0x00
0000185d: KECCAK256
0000185e: PUSH1 0x01
00001860: ADD
00001861: SLOAD
00001862: GT
00001863: ISZERO
00001864: PUSH2 0x1884
00001867: JUMPI
00001868: PUSH1 0x24
0000186a: PUSH1 0x00
0000186c: DUP3
0000186d: DUP2
0000186e: MSTORE
0000186f: PUSH1 0x20
00001871: ADD
00001872: SWAP1
00001873: DUP2
00001874: MSTORE
00001875: PUSH1 0x20
00001877: ADD
00001878: PUSH1 0x00
0000187a: KECCAK256
0000187b: PUSH1 0x01
0000187d: ADD
0000187e: SLOAD
0000187f: SWAP4
00001880: POP
00001881: DUP1
00001882: SWAP2
00001883: POP
00001884: JUMPDEST
00001885: JUMPDEST
00001886: JUMPDEST
00001887: DUP1
00001888: DUP1
00001889: PUSH1 0x01
0000188b: ADD
0000188c: SWAP2
0000188d: POP
0000188e: POP
0000188f: PUSH2 0x17c1
00001892: JUMP
00001893: JUMPDEST
00001894: POP
00001895: JUMPDEST
00001896: DUP2
00001897: SWAP8
00001898: POP
00001899: DUP1
0000189a: SWAP7
0000189b: POP
0000189c: DUP4
0000189d: SWAP6
0000189e: POP
0000189f: DUP3
000018a0: SWAP5
000018a1: POP
000018a2: POP
000018a3: POP
000018a4: POP
000018a5: POP
000018a6: SWAP1
000018a7: SWAP2
000018a8: SWAP3
000018a9: SWAP4
000018aa: JUMP
000018ab: JUMPDEST
000018ac: CALLER
000018ad: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018c2: AND
000018c3: PUSH1 0x00
000018c5: DUP1
000018c6: SLOAD
000018c7: SWAP1
000018c8: PUSH2 0x0100
000018cb: EXP
000018cc: SWAP1
000018cd: DIV
000018ce: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018e3: AND
000018e4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018f9: AND
000018fa: EQ
000018fb: PUSH2 0x196c
000018fe: JUMPI
000018ff: PUSH1 0x40
00001901: MLOAD
00001902: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001923: DUP2
00001924: MSTORE
00001925: PUSH1 0x04
00001927: ADD
00001928: DUP1
00001929: DUP1
0000192a: PUSH1 0x20
0000192c: ADD
0000192d: DUP3
0000192e: DUP2
0000192f: SUB
00001930: DUP3
00001931: MSTORE
00001932: PUSH1 0x19
00001934: DUP2
00001935: MSTORE
00001936: PUSH1 0x20
00001938: ADD
00001939: DUP1
0000193a: PUSH32 0x52657175697265732061646d696e2070726976696c6567657300000000000000
0000195b: DUP2
0000195c: MSTORE
0000195d: POP
0000195e: PUSH1 0x20
00001960: ADD
00001961: SWAP2
00001962: POP
00001963: POP
00001964: PUSH1 0x40
00001966: MLOAD
00001967: DUP1
00001968: SWAP2
00001969: SUB
0000196a: SWAP1
0000196b: REVERT
0000196c: JUMPDEST
0000196d: PUSH1 0x02
0000196f: SLOAD
00001970: DUP2
00001971: PUSH4 0xffffffff
00001976: AND
00001977: LT
00001978: PUSH2 0x19e9
0000197b: JUMPI
0000197c: PUSH1 0x40
0000197e: MLOAD
0000197f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000019a0: DUP2
000019a1: MSTORE
000019a2: PUSH1 0x04
000019a4: ADD
000019a5: DUP1
000019a6: DUP1
000019a7: PUSH1 0x20
000019a9: ADD
000019aa: DUP3
000019ab: DUP2
000019ac: SUB
000019ad: DUP3
000019ae: MSTORE
000019af: PUSH1 0x15
000019b1: DUP2
000019b2: MSTORE
000019b3: PUSH1 0x20
000019b5: ADD
000019b6: DUP1
000019b7: PUSH32 0x4f72646572204944206f7574206f662072616e67650000000000000000000000
000019d8: DUP2
000019d9: MSTORE
000019da: POP
000019db: PUSH1 0x20
000019dd: ADD
000019de: SWAP2
000019df: POP
000019e0: POP
000019e1: PUSH1 0x40
000019e3: MLOAD
000019e4: DUP1
000019e5: SWAP2
000019e6: SUB
000019e7: SWAP1
000019e8: REVERT
000019e9: JUMPDEST
000019ea: PUSH1 0x01
000019ec: PUSH1 0x24
000019ee: PUSH1 0x00
000019f0: DUP4
000019f1: PUSH4 0xffffffff
000019f6: AND
000019f7: DUP2
000019f8: MSTORE
000019f9: PUSH1 0x20
000019fb: ADD
000019fc: SWAP1
000019fd: DUP2
000019fe: MSTORE
000019ff: PUSH1 0x20
00001a01: ADD
00001a02: PUSH1 0x00
00001a04: KECCAK256
00001a05: PUSH1 0x00
00001a07: ADD
00001a08: PUSH1 0x00
00001a0a: SWAP1
00001a0b: SLOAD
00001a0c: SWAP1
00001a0d: PUSH2 0x0100
00001a10: EXP
00001a11: SWAP1
00001a12: DIV
00001a13: PUSH4 0xffffffff
00001a18: AND
00001a19: PUSH4 0xffffffff
00001a1e: AND
00001a1f: EQ
00001a20: PUSH2 0x1a91
00001a23: JUMPI
00001a24: PUSH1 0x40
00001a26: MLOAD
00001a27: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001a48: DUP2
00001a49: MSTORE
00001a4a: PUSH1 0x04
00001a4c: ADD
00001a4d: DUP1
00001a4e: DUP1
00001a4f: PUSH1 0x20
00001a51: ADD
00001a52: DUP3
00001a53: DUP2
00001a54: SUB
00001a55: DUP3
00001a56: MSTORE
00001a57: PUSH1 0x1e
00001a59: DUP2
00001a5a: MSTORE
00001a5b: PUSH1 0x20
00001a5d: ADD
00001a5e: DUP1
00001a5f: PUSH32 0x4f72646572206e6f7420696e20696e2070726f67726573732073746174650000
00001a80: DUP2
00001a81: MSTORE
00001a82: POP
00001a83: PUSH1 0x20
00001a85: ADD
00001a86: SWAP2
00001a87: POP
00001a88: POP
00001a89: PUSH1 0x40
00001a8b: MLOAD
00001a8c: DUP1
00001a8d: SWAP2
00001a8e: SUB
00001a8f: SWAP1
00001a90: REVERT
00001a91: JUMPDEST
00001a92: PUSH1 0x02
00001a94: PUSH1 0x24
00001a96: PUSH1 0x00
00001a98: DUP4
00001a99: PUSH4 0xffffffff
00001a9e: AND
00001a9f: DUP2
00001aa0: MSTORE
00001aa1: PUSH1 0x20
00001aa3: ADD
00001aa4: SWAP1
00001aa5: DUP2
00001aa6: MSTORE
00001aa7: PUSH1 0x20
00001aa9: ADD
00001aaa: PUSH1 0x00
00001aac: KECCAK256
00001aad: PUSH1 0x00
00001aaf: ADD
00001ab0: PUSH1 0x00
00001ab2: PUSH2 0x0100
00001ab5: EXP
00001ab6: DUP2
00001ab7: SLOAD
00001ab8: DUP2
00001ab9: PUSH4 0xffffffff
00001abe: MUL
00001abf: NOT
00001ac0: AND
00001ac1: SWAP1
00001ac2: DUP4
00001ac3: PUSH4 0xffffffff
00001ac8: AND
00001ac9: MUL
00001aca: OR
00001acb: SWAP1
00001acc: SSTORE
00001acd: POP
00001ace: PUSH32 0xf084fcd3b3fc9a1f44ff5d9f4933d5cff8d38400f5ec94e774caa199707e3656
00001aef: DUP2
00001af0: PUSH1 0x40
00001af2: MLOAD
00001af3: DUP1
00001af4: DUP3
00001af5: PUSH4 0xffffffff
00001afa: AND
00001afb: DUP2
00001afc: MSTORE
00001afd: PUSH1 0x20
00001aff: ADD
00001b00: SWAP2
00001b01: POP
00001b02: POP
00001b03: PUSH1 0x40
00001b05: MLOAD
00001b06: DUP1
00001b07: SWAP2
00001b08: SUB
00001b09: SWAP1
00001b0a: LOG1
00001b0b: POP
00001b0c: JUMP
00001b0d: JUMPDEST
00001b0e: PUSH1 0x00
00001b10: DUP1
00001b11: PUSH1 0x00
00001b13: SWAP1
00001b14: POP
00001b15: PUSH1 0x00
00001b17: JUMPDEST
00001b18: PUSH1 0x02
00001b1a: SLOAD
00001b1b: DUP2
00001b1c: LT
00001b1d: ISZERO
00001b1e: PUSH2 0x1ba1
00001b21: JUMPI
00001b22: DUP4
00001b23: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b38: AND
00001b39: PUSH1 0x24
00001b3b: PUSH1 0x00
00001b3d: DUP4
00001b3e: DUP2
00001b3f: MSTORE
00001b40: PUSH1 0x20
00001b42: ADD
00001b43: SWAP1
00001b44: DUP2
00001b45: MSTORE
00001b46: PUSH1 0x20
00001b48: ADD
00001b49: PUSH1 0x00
00001b4b: KECCAK256
00001b4c: PUSH1 0x03
00001b4e: ADD
00001b4f: PUSH1 0x00
00001b51: SWAP1
00001b52: SLOAD
00001b53: SWAP1
00001b54: PUSH2 0x0100
00001b57: EXP
00001b58: SWAP1
00001b59: DIV
00001b5a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b6f: AND
00001b70: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b85: AND
00001b86: EQ
00001b87: ISZERO
00001b88: PUSH2 0x1b94
00001b8b: JUMPI
00001b8c: DUP2
00001b8d: DUP1
00001b8e: PUSH1 0x01
00001b90: ADD
00001b91: SWAP3
00001b92: POP
00001b93: POP
00001b94: JUMPDEST
00001b95: DUP1
00001b96: DUP1
00001b97: PUSH1 0x01
00001b99: ADD
00001b9a: SWAP2
00001b9b: POP
00001b9c: POP
00001b9d: PUSH2 0x1b17
00001ba0: JUMP
00001ba1: JUMPDEST
00001ba2: POP
00001ba3: DUP1
00001ba4: SWAP2
00001ba5: POP
00001ba6: POP
00001ba7: SWAP2
00001ba8: SWAP1
00001ba9: POP
00001baa: JUMP
00001bab: JUMPDEST
00001bac: CALLER
00001bad: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001bc2: AND
00001bc3: PUSH1 0x00
00001bc5: DUP1
00001bc6: SLOAD
00001bc7: SWAP1
00001bc8: PUSH2 0x0100
00001bcb: EXP
00001bcc: SWAP1
00001bcd: DIV
00001bce: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001be3: AND
00001be4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001bf9: AND
00001bfa: EQ
00001bfb: PUSH2 0x1c6c
00001bfe: JUMPI
00001bff: PUSH1 0x40
00001c01: MLOAD
00001c02: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001c23: DUP2
00001c24: MSTORE
00001c25: PUSH1 0x04
00001c27: ADD
00001c28: DUP1
00001c29: DUP1
00001c2a: PUSH1 0x20
00001c2c: ADD
00001c2d: DUP3
00001c2e: DUP2
00001c2f: SUB
00001c30: DUP3
00001c31: MSTORE
00001c32: PUSH1 0x19
00001c34: DUP2
00001c35: MSTORE
00001c36: PUSH1 0x20
00001c38: ADD
00001c39: DUP1
00001c3a: PUSH32 0x52657175697265732061646d696e2070726976696c6567657300000000000000
00001c5b: DUP2
00001c5c: MSTORE
00001c5d: POP
00001c5e: PUSH1 0x20
00001c60: ADD
00001c61: SWAP2
00001c62: POP
00001c63: POP
00001c64: PUSH1 0x40
00001c66: MLOAD
00001c67: DUP1
00001c68: SWAP2
00001c69: SUB
00001c6a: SWAP1
00001c6b: REVERT
00001c6c: JUMPDEST
00001c6d: PUSH1 0x03
00001c6f: PUSH1 0x00
00001c71: SWAP1
00001c72: SLOAD
00001c73: SWAP1
00001c74: PUSH2 0x0100
00001c77: EXP
00001c78: SWAP1
00001c79: DIV
00001c7a: PUSH4 0xffffffff
00001c7f: AND
00001c80: PUSH4 0xffffffff
00001c85: AND
00001c86: DUP3
00001c87: PUSH4 0xffffffff
00001c8c: AND
00001c8d: LT
00001c8e: PUSH2 0x1cff
00001c91: JUMPI
00001c92: PUSH1 0x40
00001c94: MLOAD
00001c95: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001cb6: DUP2
00001cb7: MSTORE
00001cb8: PUSH1 0x04
00001cba: ADD
00001cbb: DUP1
00001cbc: DUP1
00001cbd: PUSH1 0x20
00001cbf: ADD
00001cc0: DUP3
00001cc1: DUP2
00001cc2: SUB
00001cc3: DUP3
00001cc4: MSTORE
00001cc5: PUSH1 0x17
00001cc7: DUP2
00001cc8: MSTORE
00001cc9: PUSH1 0x20
00001ccb: ADD
00001ccc: DUP1
00001ccd: PUSH32 0x50726f64756374204944206f7574206f662072616e6765000000000000000000
00001cee: DUP2
00001cef: MSTORE
00001cf0: POP
00001cf1: PUSH1 0x20
00001cf3: ADD
00001cf4: SWAP2
00001cf5: POP
00001cf6: POP
00001cf7: PUSH1 0x40
00001cf9: MLOAD
00001cfa: DUP1
00001cfb: SWAP2
00001cfc: SUB
00001cfd: SWAP1
00001cfe: REVERT
00001cff: JUMPDEST
00001d00: DUP1
00001d01: PUSH1 0x04
00001d03: DUP4
00001d04: PUSH4 0xffffffff
00001d09: AND
00001d0a: PUSH1 0x20
00001d0c: DUP2
00001d0d: LT
00001d0e: PUSH2 0x1d13
00001d11: JUMPI
00001d12: INVALID
00001d13: JUMPDEST
00001d14: ADD
00001d15: PUSH1 0x00
00001d17: ADD
00001d18: DUP2
00001d19: SWAP1
00001d1a: SSTORE
00001d1b: POP
00001d1c: POP
00001d1d: POP
00001d1e: JUMP
00001d1f: JUMPDEST
00001d20: PUSH1 0x00
00001d22: PUSH1 0x24
00001d24: PUSH1 0x00
00001d26: DUP4
00001d27: DUP2
00001d28: MSTORE
00001d29: PUSH1 0x20
00001d2b: ADD
00001d2c: SWAP1
00001d2d: DUP2
00001d2e: MSTORE
00001d2f: PUSH1 0x20
00001d31: ADD
00001d32: PUSH1 0x00
00001d34: KECCAK256
00001d35: PUSH1 0x03
00001d37: ADD
00001d38: PUSH1 0x00
00001d3a: SWAP1
00001d3b: SLOAD
00001d3c: SWAP1
00001d3d: PUSH2 0x0100
00001d40: EXP
00001d41: SWAP1
00001d42: DIV
00001d43: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d58: AND
00001d59: SWAP1
00001d5a: POP
00001d5b: SWAP2
00001d5c: SWAP1
00001d5d: POP
00001d5e: JUMP
00001d5f: JUMPDEST
00001d60: PUSH1 0x01
00001d62: SLOAD
00001d63: DUP2
00001d64: JUMP
00001d65: JUMPDEST
00001d66: PUSH1 0x04
00001d68: DUP2
00001d69: PUSH1 0x20
00001d6b: DUP2
00001d6c: LT
00001d6d: PUSH2 0x1d72
00001d70: JUMPI
00001d71: INVALID
00001d72: JUMPDEST
00001d73: ADD
00001d74: PUSH1 0x00
00001d76: SWAP2
00001d77: POP
00001d78: SWAP1
00001d79: POP
00001d7a: DUP1
00001d7b: PUSH1 0x00
00001d7d: ADD
00001d7e: SLOAD
00001d7f: SWAP1
00001d80: POP
00001d81: DUP2
00001d82: JUMP
00001d83: JUMPDEST
00001d84: CALLER
00001d85: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d9a: AND
00001d9b: PUSH1 0x00
00001d9d: DUP1
00001d9e: SLOAD
00001d9f: SWAP1
00001da0: PUSH2 0x0100
00001da3: EXP
00001da4: SWAP1
00001da5: DIV
00001da6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001dbb: AND
00001dbc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001dd1: AND
00001dd2: EQ
00001dd3: PUSH2 0x1e44
00001dd6: JUMPI
00001dd7: PUSH1 0x40
00001dd9: MLOAD
00001dda: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001dfb: DUP2
00001dfc: MSTORE
00001dfd: PUSH1 0x04
00001dff: ADD
00001e00: DUP1
00001e01: DUP1
00001e02: PUSH1 0x20
00001e04: ADD
00001e05: DUP3
00001e06: DUP2
00001e07: SUB
00001e08: DUP3
00001e09: MSTORE
00001e0a: PUSH1 0x19
00001e0c: DUP2
00001e0d: MSTORE
00001e0e: PUSH1 0x20
00001e10: ADD
00001e11: DUP1
00001e12: PUSH32 0x52657175697265732061646d696e2070726976696c6567657300000000000000
00001e33: DUP2
00001e34: MSTORE
00001e35: POP
00001e36: PUSH1 0x20
00001e38: ADD
00001e39: SWAP2
00001e3a: POP
00001e3b: POP
00001e3c: PUSH1 0x40
00001e3e: MLOAD
00001e3f: DUP1
00001e40: SWAP2
00001e41: SUB
00001e42: SWAP1
00001e43: REVERT
00001e44: JUMPDEST
00001e45: DUP1
00001e46: PUSH1 0x03
00001e48: PUSH1 0x00
00001e4a: PUSH2 0x0100
00001e4d: EXP
00001e4e: DUP2
00001e4f: SLOAD
00001e50: DUP2
00001e51: PUSH4 0xffffffff
00001e56: MUL
00001e57: NOT
00001e58: AND
00001e59: SWAP1
00001e5a: DUP4
00001e5b: PUSH4 0xffffffff
00001e60: AND
00001e61: MUL
00001e62: OR
00001e63: SWAP1
00001e64: SSTORE
00001e65: POP
00001e66: POP
00001e67: JUMP
00001e68: JUMPDEST
00001e69: PUSH1 0x03
00001e6b: PUSH1 0x00
00001e6d: SWAP1
00001e6e: SLOAD
00001e6f: SWAP1
00001e70: PUSH2 0x0100
00001e73: EXP
00001e74: SWAP1
00001e75: DIV
00001e76: PUSH4 0xffffffff
00001e7b: AND
00001e7c: DUP2
00001e7d: JUMP
00001e7e: JUMPDEST
00001e7f: PUSH1 0x00
00001e81: PUSH1 0x03
00001e83: PUSH1 0x00
00001e85: SWAP1
00001e86: SLOAD
00001e87: SWAP1
00001e88: PUSH2 0x0100
00001e8b: EXP
00001e8c: SWAP1
00001e8d: DIV
00001e8e: PUSH4 0xffffffff
00001e93: AND
00001e94: PUSH4 0xffffffff
00001e99: AND
00001e9a: DUP3
00001e9b: PUSH4 0xffffffff
00001ea0: AND
00001ea1: LT
00001ea2: PUSH2 0x1f13
00001ea5: JUMPI
00001ea6: PUSH1 0x40
00001ea8: MLOAD
00001ea9: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001eca: DUP2
00001ecb: MSTORE
00001ecc: PUSH1 0x04
00001ece: ADD
00001ecf: DUP1
00001ed0: DUP1
00001ed1: PUSH1 0x20
00001ed3: ADD
00001ed4: DUP3
00001ed5: DUP2
00001ed6: SUB
00001ed7: DUP3
00001ed8: MSTORE
00001ed9: PUSH1 0x12
00001edb: DUP2
00001edc: MSTORE
00001edd: PUSH1 0x20
00001edf: ADD
00001ee0: DUP1
00001ee1: PUSH32 0x496e76616c69642070726f647563742069640000000000000000000000000000
00001f02: DUP2
00001f03: MSTORE
00001f04: POP
00001f05: PUSH1 0x20
00001f07: ADD
00001f08: SWAP2
00001f09: POP
00001f0a: POP
00001f0b: PUSH1 0x40
00001f0d: MLOAD
00001f0e: DUP1
00001f0f: SWAP2
00001f10: SUB
00001f11: SWAP1
00001f12: REVERT
00001f13: JUMPDEST
00001f14: PUSH1 0x04
00001f16: DUP3
00001f17: PUSH4 0xffffffff
00001f1c: AND
00001f1d: PUSH1 0x20
00001f1f: DUP2
00001f20: LT
00001f21: PUSH2 0x1f26
00001f24: JUMPI
00001f25: INVALID
00001f26: JUMPDEST
00001f27: ADD
00001f28: PUSH1 0x00
00001f2a: ADD
00001f2b: SLOAD
00001f2c: CALLVALUE
00001f2d: LT
00001f2e: ISZERO
00001f2f: PUSH2 0x1f83
00001f32: JUMPI
00001f33: PUSH1 0x40
00001f35: MLOAD
00001f36: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001f57: DUP2
00001f58: MSTORE
00001f59: PUSH1 0x04
00001f5b: ADD
00001f5c: DUP1
00001f5d: DUP1
00001f5e: PUSH1 0x20
00001f60: ADD
00001f61: DUP3
00001f62: DUP2
00001f63: SUB
00001f64: DUP3
00001f65: MSTORE
00001f66: PUSH1 0x24
00001f68: DUP2
00001f69: MSTORE
00001f6a: PUSH1 0x20
00001f6c: ADD
00001f6d: DUP1
00001f6e: PUSH2 0x29ed
00001f71: PUSH1 0x24
00001f73: SWAP2
00001f74: CODECOPY
00001f75: PUSH1 0x40
00001f77: ADD
00001f78: SWAP2
00001f79: POP
00001f7a: POP
00001f7b: PUSH1 0x40
00001f7d: MLOAD
00001f7e: DUP1
00001f7f: SWAP2
00001f80: SUB
00001f81: SWAP1
00001f82: REVERT
00001f83: JUMPDEST
00001f84: PUSH1 0x00
00001f86: CALLVALUE
00001f87: GT
00001f88: ISZERO
00001f89: PUSH2 0x1ffd
00001f8c: JUMPI
00001f8d: PUSH1 0x00
00001f8f: PUSH1 0x04
00001f91: DUP4
00001f92: PUSH4 0xffffffff
00001f97: AND
00001f98: PUSH1 0x20
00001f9a: DUP2
00001f9b: LT
00001f9c: PUSH2 0x1fa1
00001f9f: JUMPI
00001fa0: INVALID
00001fa1: JUMPDEST
00001fa2: ADD
00001fa3: PUSH1 0x00
00001fa5: ADD
00001fa6: SLOAD
00001fa7: CALLVALUE
00001fa8: SUB
00001fa9: SWAP1
00001faa: POP
00001fab: PUSH1 0x00
00001fad: DUP2
00001fae: GT
00001faf: ISZERO
00001fb0: PUSH2 0x1ffb
00001fb3: JUMPI
00001fb4: CALLER
00001fb5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001fca: AND
00001fcb: PUSH2 0x08fc
00001fce: DUP3
00001fcf: SWAP1
00001fd0: DUP2
00001fd1: ISZERO
00001fd2: MUL
00001fd3: SWAP1
00001fd4: PUSH1 0x40
00001fd6: MLOAD
00001fd7: PUSH1 0x00
00001fd9: PUSH1 0x40
00001fdb: MLOAD
00001fdc: DUP1
00001fdd: DUP4
00001fde: SUB
00001fdf: DUP2
00001fe0: DUP6
00001fe1: DUP9
00001fe2: DUP9
00001fe3: CALL
00001fe4: SWAP4
00001fe5: POP
00001fe6: POP
00001fe7: POP
00001fe8: POP
00001fe9: ISZERO
00001fea: DUP1
00001feb: ISZERO
00001fec: PUSH2 0x1ff9
00001fef: JUMPI
00001ff0: RETURNDATASIZE
00001ff1: PUSH1 0x00
00001ff3: DUP1
00001ff4: RETURNDATACOPY
00001ff5: RETURNDATASIZE
00001ff6: PUSH1 0x00
00001ff8: REVERT
00001ff9: JUMPDEST
00001ffa: POP
00001ffb: JUMPDEST
00001ffc: POP
00001ffd: JUMPDEST
00001ffe: PUSH1 0x04
00002000: DUP3
00002001: PUSH4 0xffffffff
00002006: AND
00002007: PUSH1 0x20
00002009: DUP2
0000200a: LT
0000200b: PUSH2 0x2010
0000200e: JUMPI
0000200f: INVALID
00002010: JUMPDEST
00002011: ADD
00002012: PUSH1 0x00
00002014: ADD
00002015: SLOAD
00002016: PUSH1 0x24
00002018: PUSH1 0x00
0000201a: PUSH1 0x02
0000201c: SLOAD
0000201d: DUP2
0000201e: MSTORE
0000201f: PUSH1 0x20
00002021: ADD
00002022: SWAP1
00002023: DUP2
00002024: MSTORE
00002025: PUSH1 0x20
00002027: ADD
00002028: PUSH1 0x00
0000202a: KECCAK256
0000202b: PUSH1 0x02
0000202d: ADD
0000202e: DUP2
0000202f: SWAP1
00002030: SSTORE
00002031: POP
00002032: DUP2
00002033: PUSH1 0x24
00002035: PUSH1 0x00
00002037: PUSH1 0x02
00002039: SLOAD
0000203a: DUP2
0000203b: MSTORE
0000203c: PUSH1 0x20
0000203e: ADD
0000203f: SWAP1
00002040: DUP2
00002041: MSTORE
00002042: PUSH1 0x20
00002044: ADD
00002045: PUSH1 0x00
00002047: KECCAK256
00002048: PUSH1 0x00
0000204a: ADD
0000204b: PUSH1 0x04
0000204d: PUSH2 0x0100
00002050: EXP
00002051: DUP2
00002052: SLOAD
00002053: DUP2
00002054: PUSH4 0xffffffff
00002059: MUL
0000205a: NOT
0000205b: AND
0000205c: SWAP1
0000205d: DUP4
0000205e: PUSH4 0xffffffff
00002063: AND
00002064: MUL
00002065: OR
00002066: SWAP1
00002067: SSTORE
00002068: POP
00002069: CALLER
0000206a: PUSH1 0x24
0000206c: PUSH1 0x00
0000206e: PUSH1 0x02
00002070: SLOAD
00002071: DUP2
00002072: MSTORE
00002073: PUSH1 0x20
00002075: ADD
00002076: SWAP1
00002077: DUP2
00002078: MSTORE
00002079: PUSH1 0x20
0000207b: ADD
0000207c: PUSH1 0x00
0000207e: KECCAK256
0000207f: PUSH1 0x03
00002081: ADD
00002082: PUSH1 0x00
00002084: PUSH2 0x0100
00002087: EXP
00002088: DUP2
00002089: SLOAD
0000208a: DUP2
0000208b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020a0: MUL
000020a1: NOT
000020a2: AND
000020a3: SWAP1
000020a4: DUP4
000020a5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020ba: AND
000020bb: MUL
000020bc: OR
000020bd: SWAP1
000020be: SSTORE
000020bf: POP
000020c0: PUSH1 0x00
000020c2: PUSH1 0x02
000020c4: SLOAD
000020c5: SWAP1
000020c6: POP
000020c7: PUSH1 0x02
000020c9: PUSH1 0x00
000020cb: DUP2
000020cc: SLOAD
000020cd: DUP1
000020ce: SWAP3
000020cf: SWAP2
000020d0: SWAP1
000020d1: PUSH1 0x01
000020d3: ADD
000020d4: SWAP2
000020d5: SWAP1
000020d6: POP
000020d7: SSTORE
000020d8: POP
000020d9: PUSH32 0x0db318f3927dbf033fb60267d1729c1733780bca6edb898a57da664db89cd319
000020fa: DUP2
000020fb: PUSH1 0x40
000020fd: MLOAD
000020fe: DUP1
000020ff: DUP3
00002100: DUP2
00002101: MSTORE
00002102: PUSH1 0x20
00002104: ADD
00002105: SWAP2
00002106: POP
00002107: POP
00002108: PUSH1 0x40
0000210a: MLOAD
0000210b: DUP1
0000210c: SWAP2
0000210d: SUB
0000210e: SWAP1
0000210f: LOG1
00002110: DUP1
00002111: SWAP2
00002112: POP
00002113: POP
00002114: SWAP2
00002115: SWAP1
00002116: POP
00002117: JUMP
00002118: JUMPDEST
00002119: CALLER
0000211a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000212f: AND
00002130: PUSH1 0x00
00002132: DUP1
00002133: SLOAD
00002134: SWAP1
00002135: PUSH2 0x0100
00002138: EXP
00002139: SWAP1
0000213a: DIV
0000213b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002150: AND
00002151: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002166: AND
00002167: EQ
00002168: PUSH2 0x21d9
0000216b: JUMPI
0000216c: PUSH1 0x40
0000216e: MLOAD
0000216f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002190: DUP2
00002191: MSTORE
00002192: PUSH1 0x04
00002194: ADD
00002195: DUP1
00002196: DUP1
00002197: PUSH1 0x20
00002199: ADD
0000219a: DUP3
0000219b: DUP2
0000219c: SUB
0000219d: DUP3
0000219e: MSTORE
0000219f: PUSH1 0x19
000021a1: DUP2
000021a2: MSTORE
000021a3: PUSH1 0x20
000021a5: ADD
000021a6: DUP1
000021a7: PUSH32 0x52657175697265732061646d696e2070726976696c6567657300000000000000
000021c8: DUP2
000021c9: MSTORE
000021ca: POP
000021cb: PUSH1 0x20
000021cd: ADD
000021ce: SWAP2
000021cf: POP
000021d0: POP
000021d1: PUSH1 0x40
000021d3: MLOAD
000021d4: DUP1
000021d5: SWAP2
000021d6: SUB
000021d7: SWAP1
000021d8: REVERT
000021d9: JUMPDEST
000021da: JUMP
000021db: JUMPDEST
000021dc: PUSH1 0x00
000021de: PUSH2 0x21e6
000021e1: DUP4
000021e2: PUSH2 0x1b0d
000021e5: JUMP
000021e6: JUMPDEST
000021e7: PUSH4 0xffffffff
000021ec: AND
000021ed: DUP3
000021ee: PUSH4 0xffffffff
000021f3: AND
000021f4: LT
000021f5: PUSH2 0x2266
000021f8: JUMPI
000021f9: PUSH1 0x40
000021fb: MLOAD
000021fc: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000221d: DUP2
0000221e: MSTORE
0000221f: PUSH1 0x04
00002221: ADD
00002222: DUP1
00002223: DUP1
00002224: PUSH1 0x20
00002226: ADD
00002227: DUP3
00002228: DUP2
00002229: SUB
0000222a: DUP3
0000222b: MSTORE
0000222c: PUSH1 0x18
0000222e: DUP2
0000222f: MSTORE
00002230: PUSH1 0x20
00002232: ADD
00002233: DUP1
00002234: PUSH32 0x4f7264657220696e646578206f7574206f662072616e67650000000000000000
00002255: DUP2
00002256: MSTORE
00002257: POP
00002258: PUSH1 0x20
0000225a: ADD
0000225b: SWAP2
0000225c: POP
0000225d: POP
0000225e: PUSH1 0x40
00002260: MLOAD
00002261: DUP1
00002262: SWAP2
00002263: SUB
00002264: SWAP1
00002265: REVERT
00002266: JUMPDEST
00002267: PUSH1 0x00
00002269: DUP1
0000226a: PUSH1 0x00
0000226c: JUMPDEST
0000226d: PUSH1 0x02
0000226f: SLOAD
00002270: DUP2
00002271: LT
00002272: ISZERO
00002273: PUSH2 0x2312
00002276: JUMPI
00002277: DUP6
00002278: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000228d: AND
0000228e: PUSH1 0x24
00002290: PUSH1 0x00
00002292: DUP4
00002293: DUP2
00002294: MSTORE
00002295: PUSH1 0x20
00002297: ADD
00002298: SWAP1
00002299: DUP2
0000229a: MSTORE
0000229b: PUSH1 0x20
0000229d: ADD
0000229e: PUSH1 0x00
000022a0: KECCAK256
000022a1: PUSH1 0x03
000022a3: ADD
000022a4: PUSH1 0x00
000022a6: SWAP1
000022a7: SLOAD
000022a8: SWAP1
000022a9: PUSH2 0x0100
000022ac: EXP
000022ad: SWAP1
000022ae: DIV
000022af: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000022c4: AND
000022c5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000022da: AND
000022db: EQ
000022dc: ISZERO
000022dd: PUSH2 0x2305
000022e0: JUMPI
000022e1: DUP3
000022e2: PUSH4 0xffffffff
000022e7: AND
000022e8: DUP6
000022e9: PUSH4 0xffffffff
000022ee: AND
000022ef: EQ
000022f0: ISZERO
000022f1: PUSH2 0x22fc
000022f4: JUMPI
000022f5: DUP1
000022f6: SWAP2
000022f7: POP
000022f8: PUSH2 0x2312
000022fb: JUMP
000022fc: JUMPDEST
000022fd: DUP3
000022fe: DUP1
000022ff: PUSH1 0x01
00002301: ADD
00002302: SWAP4
00002303: POP
00002304: POP
00002305: JUMPDEST
00002306: DUP1
00002307: DUP1
00002308: PUSH1 0x01
0000230a: ADD
0000230b: SWAP2
0000230c: POP
0000230d: POP
0000230e: PUSH2 0x226c
00002311: JUMP
00002312: JUMPDEST
00002313: POP
00002314: DUP1
00002315: SWAP3
00002316: POP
00002317: POP
00002318: POP
00002319: SWAP3
0000231a: SWAP2
0000231b: POP
0000231c: POP
0000231d: JUMP
0000231e: JUMPDEST
0000231f: PUSH1 0x60
00002321: DUP1
00002322: PUSH1 0x00
00002324: DUP1
00002325: PUSH1 0x00
00002327: SWAP1
00002328: POP
00002329: JUMPDEST
0000232a: PUSH1 0x02
0000232c: SLOAD
0000232d: DUP2
0000232e: LT
0000232f: ISZERO
00002330: PUSH2 0x2382
00002333: JUMPI
00002334: PUSH1 0x00
00002336: PUSH1 0x24
00002338: PUSH1 0x00
0000233a: DUP4
0000233b: DUP2
0000233c: MSTORE
0000233d: PUSH1 0x20
0000233f: ADD
00002340: SWAP1
00002341: DUP2
00002342: MSTORE
00002343: PUSH1 0x20
00002345: ADD
00002346: PUSH1 0x00
00002348: KECCAK256
00002349: PUSH1 0x00
0000234b: ADD
0000234c: PUSH1 0x00
0000234e: SWAP1
0000234f: SLOAD
00002350: SWAP1
00002351: PUSH2 0x0100
00002354: EXP
00002355: SWAP1
00002356: DIV
00002357: PUSH4 0xffffffff
0000235c: AND
0000235d: PUSH4 0xffffffff
00002362: AND
00002363: EQ
00002364: PUSH2 0x236c
00002367: JUMPI
00002368: PUSH2 0x2375
0000236b: JUMP
0000236c: JUMPDEST
0000236d: DUP2
0000236e: DUP1
0000236f: PUSH1 0x01
00002371: ADD
00002372: SWAP3
00002373: POP
00002374: POP
00002375: JUMPDEST
00002376: DUP1
00002377: DUP1
00002378: PUSH1 0x01
0000237a: ADD
0000237b: SWAP2
0000237c: POP
0000237d: POP
0000237e: PUSH2 0x2329
00002381: JUMP
00002382: JUMPDEST
00002383: POP
00002384: DUP1
00002385: PUSH8 0xffffffffffffffff
0000238e: DUP2
0000238f: GT
00002390: DUP1
00002391: ISZERO
00002392: PUSH2 0x239a
00002395: JUMPI
00002396: PUSH1 0x00
00002398: DUP1
00002399: REVERT
0000239a: JUMPDEST
0000239b: POP
0000239c: PUSH1 0x40
0000239e: MLOAD
0000239f: SWAP1
000023a0: DUP1
000023a1: DUP3
000023a2: MSTORE
000023a3: DUP1
000023a4: PUSH1 0x20
000023a6: MUL
000023a7: PUSH1 0x20
000023a9: ADD
000023aa: DUP3
000023ab: ADD
000023ac: PUSH1 0x40
000023ae: MSTORE
000023af: DUP1
000023b0: ISZERO
000023b1: PUSH2 0x23c9
000023b4: JUMPI
000023b5: DUP2
000023b6: PUSH1 0x20
000023b8: ADD
000023b9: PUSH1 0x20
000023bb: DUP3
000023bc: MUL
000023bd: DUP1
000023be: CALLDATASIZE
000023bf: DUP4
000023c0: CALLDATACOPY
000023c1: DUP1
000023c2: DUP3
000023c3: ADD
000023c4: SWAP2
000023c5: POP
000023c6: POP
000023c7: SWAP1
000023c8: POP
000023c9: JUMPDEST
000023ca: POP
000023cb: SWAP2
000023cc: POP
000023cd: PUSH1 0x00
000023cf: DUP1
000023d0: JUMPDEST
000023d1: PUSH1 0x02
000023d3: SLOAD
000023d4: DUP2
000023d5: LT
000023d6: ISZERO
000023d7: PUSH2 0x2442
000023da: JUMPI
000023db: PUSH1 0x00
000023dd: PUSH1 0x24
000023df: PUSH1 0x00
000023e1: DUP4
000023e2: DUP2
000023e3: MSTORE
000023e4: PUSH1 0x20
000023e6: ADD
000023e7: SWAP1
000023e8: DUP2
000023e9: MSTORE
000023ea: PUSH1 0x20
000023ec: ADD
000023ed: PUSH1 0x00
000023ef: KECCAK256
000023f0: PUSH1 0x00
000023f2: ADD
000023f3: PUSH1 0x00
000023f5: SWAP1
000023f6: SLOAD
000023f7: SWAP1
000023f8: PUSH2 0x0100
000023fb: EXP
000023fc: SWAP1
000023fd: DIV
000023fe: PUSH4 0xffffffff
00002403: AND
00002404: PUSH4 0xffffffff
00002409: AND
0000240a: EQ
0000240b: PUSH2 0x2413
0000240e: JUMPI
0000240f: PUSH2 0x2435
00002412: JUMP
00002413: JUMPDEST
00002414: DUP1
00002415: DUP5
00002416: DUP4
00002417: DUP2
00002418: MLOAD
00002419: DUP2
0000241a: LT
0000241b: PUSH2 0x2420
0000241e: JUMPI
0000241f: INVALID
00002420: JUMPDEST
00002421: PUSH1 0x20
00002423: MUL
00002424: PUSH1 0x20
00002426: ADD
00002427: ADD
00002428: DUP2
00002429: DUP2
0000242a: MSTORE
0000242b: POP
0000242c: POP
0000242d: DUP2
0000242e: DUP1
0000242f: PUSH1 0x01
00002431: ADD
00002432: SWAP3
00002433: POP
00002434: POP
00002435: JUMPDEST
00002436: DUP1
00002437: DUP1
00002438: PUSH1 0x01
0000243a: ADD
0000243b: SWAP2
0000243c: POP
0000243d: POP
0000243e: PUSH2 0x23d0
00002441: JUMP
00002442: JUMPDEST
00002443: POP
00002444: PUSH1 0x01
00002446: DUP3
00002447: GT
00002448: ISZERO
00002449: PUSH2 0x2543
0000244c: JUMPI
0000244d: PUSH1 0x00
0000244f: JUMPDEST
00002450: PUSH1 0x00
00002452: SWAP1
00002453: POP
00002454: PUSH1 0x00
00002456: JUMPDEST
00002457: PUSH1 0x01
00002459: DUP5
0000245a: SUB
0000245b: DUP2
0000245c: LT
0000245d: ISZERO
0000245e: PUSH2 0x2534
00002461: JUMPI
00002462: PUSH1 0x24
00002464: PUSH1 0x00
00002466: DUP7
00002467: PUSH1 0x01
00002469: DUP5
0000246a: ADD
0000246b: DUP2
0000246c: MLOAD
0000246d: DUP2
0000246e: LT
0000246f: PUSH2 0x2474
00002472: JUMPI
00002473: INVALID
00002474: JUMPDEST
00002475: PUSH1 0x20
00002477: MUL
00002478: PUSH1 0x20
0000247a: ADD
0000247b: ADD
0000247c: MLOAD
0000247d: DUP2
0000247e: MSTORE
0000247f: PUSH1 0x20
00002481: ADD
00002482: SWAP1
00002483: DUP2
00002484: MSTORE
00002485: PUSH1 0x20
00002487: ADD
00002488: PUSH1 0x00
0000248a: KECCAK256
0000248b: PUSH1 0x01
0000248d: ADD
0000248e: SLOAD
0000248f: PUSH1 0x24
00002491: PUSH1 0x00
00002493: DUP8
00002494: DUP5
00002495: DUP2
00002496: MLOAD
00002497: DUP2
00002498: LT
00002499: PUSH2 0x249e
0000249c: JUMPI
0000249d: INVALID
0000249e: JUMPDEST
0000249f: PUSH1 0x20
000024a1: MUL
000024a2: PUSH1 0x20
000024a4: ADD
000024a5: ADD
000024a6: MLOAD
000024a7: DUP2
000024a8: MSTORE
000024a9: PUSH1 0x20
000024ab: ADD
000024ac: SWAP1
000024ad: DUP2
000024ae: MSTORE
000024af: PUSH1 0x20
000024b1: ADD
000024b2: PUSH1 0x00
000024b4: KECCAK256
000024b5: PUSH1 0x01
000024b7: ADD
000024b8: SLOAD
000024b9: LT
000024ba: ISZERO
000024bb: PUSH2 0x2527
000024be: JUMPI
000024bf: PUSH1 0x00
000024c1: DUP6
000024c2: DUP3
000024c3: DUP2
000024c4: MLOAD
000024c5: DUP2
000024c6: LT
000024c7: PUSH2 0x24cc
000024ca: JUMPI
000024cb: INVALID
000024cc: JUMPDEST
000024cd: PUSH1 0x20
000024cf: MUL
000024d0: PUSH1 0x20
000024d2: ADD
000024d3: ADD
000024d4: MLOAD
000024d5: SWAP1
000024d6: POP
000024d7: DUP6
000024d8: PUSH1 0x01
000024da: DUP4
000024db: ADD
000024dc: DUP2
000024dd: MLOAD
000024de: DUP2
000024df: LT
000024e0: PUSH2 0x24e5
000024e3: JUMPI
000024e4: INVALID
000024e5: JUMPDEST
000024e6: PUSH1 0x20
000024e8: MUL
000024e9: PUSH1 0x20
000024eb: ADD
000024ec: ADD
000024ed: MLOAD
000024ee: DUP7
000024ef: DUP4
000024f0: DUP2
000024f1: MLOAD
000024f2: DUP2
000024f3: LT
000024f4: PUSH2 0x24f9
000024f7: JUMPI
000024f8: INVALID
000024f9: JUMPDEST
000024fa: PUSH1 0x20
000024fc: MUL
000024fd: PUSH1 0x20
000024ff: ADD
00002500: ADD
00002501: DUP2
00002502: DUP2
00002503: MSTORE
00002504: POP
00002505: POP
00002506: DUP1
00002507: DUP7
00002508: PUSH1 0x01
0000250a: DUP5
0000250b: ADD
0000250c: DUP2
0000250d: MLOAD
0000250e: DUP2
0000250f: LT
00002510: PUSH2 0x2515
00002513: JUMPI
00002514: INVALID
00002515: JUMPDEST
00002516: PUSH1 0x20
00002518: MUL
00002519: PUSH1 0x20
0000251b: ADD
0000251c: ADD
0000251d: DUP2
0000251e: DUP2
0000251f: MSTORE
00002520: POP
00002521: POP
00002522: PUSH1 0x01
00002524: SWAP3
00002525: POP
00002526: POP
00002527: JUMPDEST
00002528: DUP1
00002529: DUP1
0000252a: PUSH1 0x01
0000252c: ADD
0000252d: SWAP2
0000252e: POP
0000252f: POP
00002530: PUSH2 0x2456
00002533: JUMP
00002534: JUMPDEST
00002535: POP
00002536: PUSH1 0x01
00002538: ISZERO
00002539: ISZERO
0000253a: DUP2
0000253b: ISZERO
0000253c: ISZERO
0000253d: EQ
0000253e: PUSH2 0x244f
00002541: JUMPI
00002542: POP
00002543: JUMPDEST
00002544: DUP3
00002545: SWAP4
00002546: POP
00002547: POP
00002548: POP
00002549: POP
0000254a: SWAP1
0000254b: JUMP
0000254c: JUMPDEST
0000254d: DUP1
0000254e: PUSH4 0xffffffff
00002553: AND
00002554: PUSH1 0x02
00002556: SLOAD
00002557: DUP2
00002558: LT
00002559: PUSH2 0x25ca
0000255c: JUMPI
0000255d: PUSH1 0x40
0000255f: MLOAD
00002560: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002581: DUP2
00002582: MSTORE
00002583: PUSH1 0x04
00002585: ADD
00002586: DUP1
00002587: DUP1
00002588: PUSH1 0x20
0000258a: ADD
0000258b: DUP3
0000258c: DUP2
0000258d: SUB
0000258e: DUP3
0000258f: MSTORE
00002590: PUSH1 0x15
00002592: DUP2
00002593: MSTORE
00002594: PUSH1 0x20
00002596: ADD
00002597: DUP1
00002598: PUSH32 0x4f72646572204944206f7574206f662072616e67650000000000000000000000
000025b9: DUP2
000025ba: MSTORE
000025bb: POP
000025bc: PUSH1 0x20
000025be: ADD
000025bf: SWAP2
000025c0: POP
000025c1: POP
000025c2: PUSH1 0x40
000025c4: MLOAD
000025c5: DUP1
000025c6: SWAP2
000025c7: SUB
000025c8: SWAP1
000025c9: REVERT
000025ca: JUMPDEST
000025cb: PUSH1 0x24
000025cd: PUSH1 0x00
000025cf: DUP3
000025d0: DUP2
000025d1: MSTORE
000025d2: PUSH1 0x20
000025d4: ADD
000025d5: SWAP1
000025d6: DUP2
000025d7: MSTORE
000025d8: PUSH1 0x20
000025da: ADD
000025db: PUSH1 0x00
000025dd: KECCAK256
000025de: PUSH1 0x03
000025e0: ADD
000025e1: PUSH1 0x00
000025e3: SWAP1
000025e4: SLOAD
000025e5: SWAP1
000025e6: PUSH2 0x0100
000025e9: EXP
000025ea: SWAP1
000025eb: DIV
000025ec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002601: AND
00002602: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002617: AND
00002618: CALLER
00002619: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000262e: AND
0000262f: EQ
00002630: PUSH2 0x26a1
00002633: JUMPI
00002634: PUSH1 0x40
00002636: MLOAD
00002637: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002658: DUP2
00002659: MSTORE
0000265a: PUSH1 0x04
0000265c: ADD
0000265d: DUP1
0000265e: DUP1
0000265f: PUSH1 0x20
00002661: ADD
00002662: DUP3
00002663: DUP2
00002664: SUB
00002665: DUP3
00002666: MSTORE
00002667: PUSH1 0x12
00002669: DUP2
0000266a: MSTORE
0000266b: PUSH1 0x20
0000266d: ADD
0000266e: DUP1
0000266f: PUSH32 0x4e6f74206f776e6572206f66206f726465720000000000000000000000000000
00002690: DUP2
00002691: MSTORE
00002692: POP
00002693: PUSH1 0x20
00002695: ADD
00002696: SWAP2
00002697: POP
00002698: POP
00002699: PUSH1 0x40
0000269b: MLOAD
0000269c: DUP1
0000269d: SWAP2
0000269e: SUB
0000269f: SWAP1
000026a0: REVERT
000026a1: JUMPDEST
000026a2: PUSH1 0x00
000026a4: PUSH1 0x24
000026a6: PUSH1 0x00
000026a8: DUP5
000026a9: PUSH4 0xffffffff
000026ae: AND
000026af: DUP2
000026b0: MSTORE
000026b1: PUSH1 0x20
000026b3: ADD
000026b4: SWAP1
000026b5: DUP2
000026b6: MSTORE
000026b7: PUSH1 0x20
000026b9: ADD
000026ba: PUSH1 0x00
000026bc: KECCAK256
000026bd: PUSH1 0x00
000026bf: ADD
000026c0: PUSH1 0x00
000026c2: SWAP1
000026c3: SLOAD
000026c4: SWAP1
000026c5: PUSH2 0x0100
000026c8: EXP
000026c9: SWAP1
000026ca: DIV
000026cb: PUSH4 0xffffffff
000026d0: AND
000026d1: PUSH4 0xffffffff
000026d6: AND
000026d7: EQ
000026d8: PUSH2 0x2749
000026db: JUMPI
000026dc: PUSH1 0x40
000026de: MLOAD
000026df: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002700: DUP2
00002701: MSTORE
00002702: PUSH1 0x04
00002704: ADD
00002705: DUP1
00002706: DUP1
00002707: PUSH1 0x20
00002709: ADD
0000270a: DUP3
0000270b: DUP2
0000270c: SUB
0000270d: DUP3
0000270e: MSTORE
0000270f: PUSH1 0x1e
00002711: DUP2
00002712: MSTORE
00002713: PUSH1 0x20
00002715: ADD
00002716: DUP1
00002717: PUSH32 0x4f72646572206d75737420626520696e2070656e64696e672073746174650000
00002738: DUP2
00002739: MSTORE
0000273a: POP
0000273b: PUSH1 0x20
0000273d: ADD
0000273e: SWAP2
0000273f: POP
00002740: POP
00002741: PUSH1 0x40
00002743: MLOAD
00002744: DUP1
00002745: SWAP2
00002746: SUB
00002747: SWAP1
00002748: REVERT
00002749: JUMPDEST
0000274a: CALLVALUE
0000274b: PUSH1 0x24
0000274d: PUSH1 0x00
0000274f: DUP5
00002750: PUSH4 0xffffffff
00002755: AND
00002756: DUP2
00002757: MSTORE
00002758: PUSH1 0x20
0000275a: ADD
0000275b: SWAP1
0000275c: DUP2
0000275d: MSTORE
0000275e: PUSH1 0x20
00002760: ADD
00002761: PUSH1 0x00
00002763: KECCAK256
00002764: PUSH1 0x01
00002766: ADD
00002767: PUSH1 0x00
00002769: DUP3
0000276a: DUP3
0000276b: SLOAD
0000276c: ADD
0000276d: SWAP3
0000276e: POP
0000276f: POP
00002770: DUP2
00002771: SWAP1
00002772: SSTORE
00002773: POP
00002774: POP
00002775: POP
00002776: JUMP
00002777: JUMPDEST
00002778: PUSH1 0x00
0000277a: DUP1
0000277b: PUSH1 0x00
0000277d: DUP1
0000277e: PUSH1 0x00
00002780: PUSH1 0x02
00002782: SLOAD
00002783: DUP7
00002784: LT
00002785: PUSH2 0x27f6
00002788: JUMPI
00002789: PUSH1 0x40
0000278b: MLOAD
0000278c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000027ad: DUP2
000027ae: MSTORE
000027af: PUSH1 0x04
000027b1: ADD
000027b2: DUP1
000027b3: DUP1
000027b4: PUSH1 0x20
000027b6: ADD
000027b7: DUP3
000027b8: DUP2
000027b9: SUB
000027ba: DUP3
000027bb: MSTORE
000027bc: PUSH1 0x15
000027be: DUP2
000027bf: MSTORE
000027c0: PUSH1 0x20
000027c2: ADD
000027c3: DUP1
000027c4: PUSH32 0x4f72646572206964206e6f7420696e2072616e67650000000000000000000000
000027e5: DUP2
000027e6: MSTORE
000027e7: POP
000027e8: PUSH1 0x20
000027ea: ADD
000027eb: SWAP2
000027ec: POP
000027ed: POP
000027ee: PUSH1 0x40
000027f0: MLOAD
000027f1: DUP1
000027f2: SWAP2
000027f3: SUB
000027f4: SWAP1
000027f5: REVERT
000027f6: JUMPDEST
000027f7: PUSH1 0x24
000027f9: PUSH1 0x00
000027fb: DUP8
000027fc: DUP2
000027fd: MSTORE
000027fe: PUSH1 0x20
00002800: ADD
00002801: SWAP1
00002802: DUP2
00002803: MSTORE
00002804: PUSH1 0x20
00002806: ADD
00002807: PUSH1 0x00
00002809: KECCAK256
0000280a: PUSH1 0x00
0000280c: ADD
0000280d: PUSH1 0x00
0000280f: SWAP1
00002810: SLOAD
00002811: SWAP1
00002812: PUSH2 0x0100
00002815: EXP
00002816: SWAP1
00002817: DIV
00002818: PUSH4 0xffffffff
0000281d: AND
0000281e: SWAP5
0000281f: POP
00002820: PUSH1 0x24
00002822: PUSH1 0x00
00002824: DUP8
00002825: DUP2
00002826: MSTORE
00002827: PUSH1 0x20
00002829: ADD
0000282a: SWAP1
0000282b: DUP2
0000282c: MSTORE
0000282d: PUSH1 0x20
0000282f: ADD
00002830: PUSH1 0x00
00002832: KECCAK256
00002833: PUSH1 0x00
00002835: ADD
00002836: PUSH1 0x04
00002838: SWAP1
00002839: SLOAD
0000283a: SWAP1
0000283b: PUSH2 0x0100
0000283e: EXP
0000283f: SWAP1
00002840: DIV
00002841: PUSH4 0xffffffff
00002846: AND
00002847: SWAP4
00002848: POP
00002849: PUSH1 0x24
0000284b: PUSH1 0x00
0000284d: DUP8
0000284e: DUP2
0000284f: MSTORE
00002850: PUSH1 0x20
00002852: ADD
00002853: SWAP1
00002854: DUP2
00002855: MSTORE
00002856: PUSH1 0x20
00002858: ADD
00002859: PUSH1 0x00
0000285b: KECCAK256
0000285c: PUSH1 0x01
0000285e: ADD
0000285f: SLOAD
00002860: SWAP3
00002861: POP
00002862: PUSH1 0x24
00002864: PUSH1 0x00
00002866: DUP8
00002867: DUP2
00002868: MSTORE
00002869: PUSH1 0x20
0000286b: ADD
0000286c: SWAP1
0000286d: DUP2
0000286e: MSTORE
0000286f: PUSH1 0x20
00002871: ADD
00002872: PUSH1 0x00
00002874: KECCAK256
00002875: PUSH1 0x02
00002877: ADD
00002878: SLOAD
00002879: SWAP2
0000287a: POP
0000287b: PUSH1 0x24
0000287d: PUSH1 0x00
0000287f: DUP8
00002880: DUP2
00002881: MSTORE
00002882: PUSH1 0x20
00002884: ADD
00002885: SWAP1
00002886: DUP2
00002887: MSTORE
00002888: PUSH1 0x20
0000288a: ADD
0000288b: PUSH1 0x00
0000288d: KECCAK256
0000288e: PUSH1 0x03
00002890: ADD
00002891: PUSH1 0x00
00002893: SWAP1
00002894: SLOAD
00002895: SWAP1
00002896: PUSH2 0x0100
00002899: EXP
0000289a: SWAP1
0000289b: DIV
0000289c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000028b1: AND
000028b2: SWAP1
000028b3: POP
000028b4: SWAP2
000028b5: SWAP4
000028b6: SWAP6
000028b7: SWAP1
000028b8: SWAP3
000028b9: SWAP5
000028ba: POP
000028bb: JUMP
000028bc: JUMPDEST
000028bd: PUSH2 0x29bf
000028c0: DUP3
000028c1: DUP3
000028c2: PUSH1 0x40
000028c4: MLOAD
000028c5: PUSH1 0x24
000028c7: ADD
000028c8: DUP1
000028c9: DUP1
000028ca: PUSH1 0x20
000028cc: ADD
000028cd: DUP4
000028ce: DUP2
000028cf: MSTORE
000028d0: PUSH1 0x20
000028d2: ADD
000028d3: DUP3
000028d4: DUP2
000028d5: SUB
000028d6: DUP3
000028d7: MSTORE
000028d8: DUP5
000028d9: DUP2
000028da: DUP2
000028db: MLOAD
000028dc: DUP2
000028dd: MSTORE
000028de: PUSH1 0x20
000028e0: ADD
000028e1: SWAP2
000028e2: POP
000028e3: DUP1
000028e4: MLOAD
000028e5: SWAP1
000028e6: PUSH1 0x20
000028e8: ADD
000028e9: SWAP1
000028ea: DUP1
000028eb: DUP4
000028ec: DUP4
000028ed: PUSH1 0x00
000028ef: JUMPDEST
000028f0: DUP4
000028f1: DUP2
000028f2: LT
000028f3: ISZERO
000028f4: PUSH2 0x290a
000028f7: JUMPI
000028f8: DUP1
000028f9: DUP3
000028fa: ADD
000028fb: MLOAD
000028fc: DUP2
000028fd: DUP5
000028fe: ADD
000028ff: MSTORE
00002900: PUSH1 0x20
00002902: DUP2
00002903: ADD
00002904: SWAP1
00002905: POP
00002906: PUSH2 0x28ef
00002909: JUMP
0000290a: JUMPDEST
0000290b: POP
0000290c: POP
0000290d: POP
0000290e: POP
0000290f: SWAP1
00002910: POP
00002911: SWAP1
00002912: DUP2
00002913: ADD
00002914: SWAP1
00002915: PUSH1 0x1f
00002917: AND
00002918: DUP1
00002919: ISZERO
0000291a: PUSH2 0x2937
0000291d: JUMPI
0000291e: DUP1
0000291f: DUP3
00002920: SUB
00002921: DUP1
00002922: MLOAD
00002923: PUSH1 0x01
00002925: DUP4
00002926: PUSH1 0x20
00002928: SUB
00002929: PUSH2 0x0100
0000292c: EXP
0000292d: SUB
0000292e: NOT
0000292f: AND
00002930: DUP2
00002931: MSTORE
00002932: PUSH1 0x20
00002934: ADD
00002935: SWAP2
00002936: POP
00002937: JUMPDEST
00002938: POP
00002939: SWAP4
0000293a: POP
0000293b: POP
0000293c: POP
0000293d: POP
0000293e: PUSH1 0x40
00002940: MLOAD
00002941: PUSH1 0x20
00002943: DUP2
00002944: DUP4
00002945: SUB
00002946: SUB
00002947: DUP2
00002948: MSTORE
00002949: SWAP1
0000294a: PUSH1 0x40
0000294c: MSTORE
0000294d: PUSH32 0x9710a9d000000000000000000000000000000000000000000000000000000000
0000296e: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0000298b: NOT
0000298c: AND
0000298d: PUSH1 0x20
0000298f: DUP3
00002990: ADD
00002991: DUP1
00002992: MLOAD
00002993: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000029b0: DUP4
000029b1: DUP2
000029b2: DUP4
000029b3: AND
000029b4: OR
000029b5: DUP4
000029b6: MSTORE
000029b7: POP
000029b8: POP
000029b9: POP
000029ba: POP
000029bb: PUSH2 0x29c3
000029be: JUMP
000029bf: JUMPDEST
000029c0: POP
000029c1: POP
000029c2: JUMP
000029c3: JUMPDEST
000029c4: PUSH1 0x00
000029c6: DUP2
000029c7: MLOAD
000029c8: SWAP1
000029c9: POP
000029ca: PUSH1 0x00
000029cc: PUSH11 0x636f6e736f6c652e6c6f67
000029d8: SWAP1
000029d9: POP
000029da: PUSH1 0x20
000029dc: DUP4
000029dd: ADD
000029de: PUSH1 0x00
000029e0: DUP1
000029e1: DUP5
000029e2: DUP4
000029e3: DUP6
000029e4: GAS
000029e5: STATICCALL
000029e6: POP
000029e7: POP
000029e8: POP
000029e9: POP
000029ea: POP
000029eb: JUMP
000029ec: INVALID
000029ed: UNKNOWN(0x4D)
000029ee: PUSH22 0x73742073656e64206d696e696d756d2076616c756520
00002a05: PUSH21 0x6f20707572636861736521a2646970667358221220
00002a1b: UNKNOWN(0xCD)
00002a1c: LOG4
00002a1d: RETURN
00002a1e: DUP2
00002a1f: UNKNOWN(0xB5)
00002a20: SWAP14
00002a21: EQ
00002a22: UNKNOWN(0xB1)
00002a23: UNKNOWN(0xCC)
00002a24: UNKNOWN(0xE3)
00002a25: STATICCALL
00002a26: JUMP
00002a27: UNKNOWN(0x4D)
00002a28: UNKNOWN(0xA9)
00002a29: UNKNOWN(0x25)
00002a2a: UNKNOWN(0xB9)
00002a2b: UNKNOWN(0xD5)
00002a2c: SELFDESTRUCT
00002a2d: JUMPDEST
00002a2e: UNKNOWN(0xBA)
00002a2f: STATICCALL
00002a30: PC
00002a31: MSTORE
00002a32: AND
00002a33: UNKNOWN(0xD0)
00002a34: PUSH16 0x0672510292ac64736f6c634300070300
00002a45: CALLER
Findings

validated = confirmed for call sinks; sink observed for others
Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
medium	other	detector	Untrusted CALL target/value reachable	45	no	no	view trace_id: 0x20fbf313a0054ec9a2a98d7262b071f94869ffa46b2e93f4de2a0f269e4299f5 call_targets: 0x0a722c95d8189a05c672ba7b80adba2ea0127bc3 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x20fbf313a0054ec9a2a98d7262b071f94869ffa46b2e93f4de2a0f269e4299f5", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x0a722c95d8189a05c672ba7b80adba2ea0127bc3" ], "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": "0xc7f04e65", "selector": "0xc7f04e65", "calldata_variants": [ "0xc7f04e65", "0xc7f04e650000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd0e30db0", "selector": "0xd0e30db0", "calldata_variants": [ "0xd0e30db0", "0xd0e30db00000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xdacf2c0c", "selector": "0xdacf2c0c", "calldata_variants": [ "0xdacf2c0c", "0xdacf2c0c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe10d29ee", "selector": "0xe10d29ee", "calldata_variants": [ "0xe10d29ee", "0xe10d29ee0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfc8babf2", "selector": "0xfc8babf2", "calldata_variants": [ "0xfc8babf2", "0xfc8babf20000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xff22fb00", "selector": "0xff22fb00", "calldata_variants": [ "0xff22fb00", "0xff22fb000000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x6352211e", "selector": "0x6352211e", "calldata_variants": [ "0x6352211e", "0x6352211e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x6dfa8d99", "selector": "0x6dfa8d99", "calldata_variants": [ "0x6dfa8d99", "0x6dfa8d990000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 2818, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 5092, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 5615, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 4, "guards_detected": [ { "pc": 2159, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 4288, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 9752, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" } ], "untrusted_call_count": 4 }
medium	other	detector	ETH value transfer possible	40	no	no	view trace_id: 0x20fbf313a0054ec9a2a98d7262b071f94869ffa46b2e93f4de2a0f269e4299f5 call_targets: 0x0a722c95d8189a05c672ba7b80adba2ea0127bc3 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x20fbf313a0054ec9a2a98d7262b071f94869ffa46b2e93f4de2a0f269e4299f5", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x0a722c95d8189a05c672ba7b80adba2ea0127bc3" ], "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": "0xc7f04e65", "selector": "0xc7f04e65", "calldata_variants": [ "0xc7f04e65", "0xc7f04e650000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd0e30db0", "selector": "0xd0e30db0", "calldata_variants": [ "0xd0e30db0", "0xd0e30db00000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xdacf2c0c", "selector": "0xdacf2c0c", "calldata_variants": [ "0xdacf2c0c", "0xdacf2c0c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe10d29ee", "selector": "0xe10d29ee", "calldata_variants": [ "0xe10d29ee", "0xe10d29ee0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfc8babf2", "selector": "0xfc8babf2", "calldata_variants": [ "0xfc8babf2", "0xfc8babf20000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xff22fb00", "selector": "0xff22fb00", "calldata_variants": [ "0xff22fb00", "0xff22fb000000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x6352211e", "selector": "0x6352211e", "calldata_variants": [ "0x6352211e", "0x6352211e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x6dfa8d99", "selector": "0x6dfa8d99", "calldata_variants": [ "0x6dfa8d99", "0x6dfa8d990000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 2818, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 5092, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 5615, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 4, "guards_detected": [ { "pc": 2159, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 4288, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 9752, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" } ] }
medium	other	detector	SELFDESTRUCT reachable	45	no	no	view trace_id: 0x7d06ab669b7a45dda3ff6ea42f2e38f613af4e5cb6fc617445b927c605929a34 validation_json { "sink": "SELFDESTRUCT", "errors": 0, "status": "unknown", "attempts": 32, "trace_id": "0x7d06ab669b7a45dda3ff6ea42f2e38f613af4e5cb6fc617445b927c605929a34", "confirmed": false, "trace_mode": "structLogs", "call_targets": null, "matched_probe": null, "target_varies": null, "classification": "no_sink" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0xc7f04e65", "selector": "0xc7f04e65", "calldata_variants": [ "0xc7f04e65", "0xc7f04e650000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd0e30db0", "selector": "0xd0e30db0", "calldata_variants": [ "0xd0e30db0", "0xd0e30db00000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xdacf2c0c", "selector": "0xdacf2c0c", "calldata_variants": [ "0xdacf2c0c", "0xdacf2c0c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe10d29ee", "selector": "0xe10d29ee", "calldata_variants": [ "0xe10d29ee", "0xe10d29ee0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfc8babf2", "selector": "0xfc8babf2", "calldata_variants": [ "0xfc8babf2", "0xfc8babf20000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xff22fb00", "selector": "0xff22fb00", "calldata_variants": [ "0xff22fb00", "0xff22fb000000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x6352211e", "selector": "0x6352211e", "calldata_variants": [ "0x6352211e", "0x6352211e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x6dfa8d99", "selector": "0x6dfa8d99", "calldata_variants": [ "0x6dfa8d99", "0x6dfa8d990000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "guards_detected": [ { "pc": 2159, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 4288, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 9752, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" } ], "selfdestruct_count": 1 }
Severity