Analysis Run

019b477e-cb3d-739c-9ac3-3fdbcc350979
complete
Chain ID
1
Address
0xf6b2a79a3e2fbaf485c52eda3f1ea53d04487559
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
Bytecode only
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
26653	artifact.fetch	complete	1 / 3	3 months ago
26654	tool.cast_disasm	complete	1 / 3	3 months ago
70046	analysis.bundle	complete	1 / 3	2 weeks ago
70047	capability.graph	complete	1 / 3	2 weeks ago
70048	detector.run	complete	1 / 3	2 weeks ago
70049	validation.fork	complete	1 / 3	2 weeks ago
Artifact

Runtime bytecode: available
Creation TX: —
Deployer: —
Proxy: no
Implementation:
—
Verified Source: no
Slither

tool.slither
No slither job recorded yet.
Codex

report.consolidate
No codex job recorded yet.
Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
22
EXT*/BALANCE
5
Total opcodes
5429
Flags
create_opcodes_present heavy_ext_balance_usage call_family_heavy
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x00ec
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x8da5cb5b
00000019: GT
0000001a: PUSH2 0x008a
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xc9b9bfaf
00000024: GT
00000025: PUSH2 0x0059
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xc9b9bfaf
0000002f: EQ
00000030: PUSH2 0x02bc
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xd4da2a22
0000003a: EQ
0000003b: PUSH2 0x02cf
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xe1c8ca45
00000045: EQ
00000046: PUSH2 0x02ef
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xf2fde38b
00000050: EQ
00000051: PUSH2 0x0302
00000054: JUMPI
00000055: PUSH1 0x00
00000057: DUP1
00000058: REVERT
00000059: JUMPDEST
0000005a: DUP1
0000005b: PUSH4 0x8da5cb5b
00000060: EQ
00000061: PUSH2 0x021e
00000064: JUMPI
00000065: DUP1
00000066: PUSH4 0x9c63cbbc
0000006b: EQ
0000006c: PUSH2 0x026e
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0xa140edb4
00000076: EQ
00000077: PUSH2 0x0281
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xc2299644
00000081: EQ
00000082: PUSH2 0x029c
00000085: JUMPI
00000086: PUSH1 0x00
00000088: DUP1
00000089: REVERT
0000008a: JUMPDEST
0000008b: DUP1
0000008c: PUSH4 0x5c975abb
00000091: GT
00000092: PUSH2 0x00c6
00000095: JUMPI
00000096: DUP1
00000097: PUSH4 0x5c975abb
0000009c: EQ
0000009d: PUSH2 0x01be
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0x6b981913
000000a7: EQ
000000a8: PUSH2 0x01e1
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0x715018a6
000000b2: EQ
000000b3: PUSH2 0x01f4
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0x8456cb59
000000bd: EQ
000000be: PUSH2 0x0209
000000c1: JUMPI
000000c2: PUSH1 0x00
000000c4: DUP1
000000c5: REVERT
000000c6: JUMPDEST
000000c7: DUP1
000000c8: PUSH4 0x150b7a02
000000cd: EQ
000000ce: PUSH2 0x00f8
000000d1: JUMPI
000000d2: DUP1
000000d3: PUSH4 0x3f4ba83a
000000d8: EQ
000000d9: PUSH2 0x0172
000000dc: JUMPI
000000dd: DUP1
000000de: PUSH4 0x4bac6db0
000000e3: EQ
000000e4: PUSH2 0x0189
000000e7: JUMPI
000000e8: PUSH1 0x00
000000ea: DUP1
000000eb: REVERT
000000ec: JUMPDEST
000000ed: CALLDATASIZE
000000ee: PUSH2 0x00f3
000000f1: JUMPI
000000f2: STOP
000000f3: JUMPDEST
000000f4: PUSH1 0x00
000000f6: DUP1
000000f7: REVERT
000000f8: JUMPDEST
000000f9: CALLVALUE
000000fa: DUP1
000000fb: ISZERO
000000fc: PUSH2 0x0104
000000ff: JUMPI
00000100: PUSH1 0x00
00000102: DUP1
00000103: REVERT
00000104: JUMPDEST
00000105: POP
00000106: PUSH2 0x013c
00000109: PUSH2 0x0113
0000010c: CALLDATASIZE
0000010d: PUSH1 0x04
0000010f: PUSH2 0x1968
00000112: JUMP
00000113: JUMPDEST
00000114: PUSH32 0x150b7a0200000000000000000000000000000000000000000000000000000000
00000135: SWAP5
00000136: SWAP4
00000137: POP
00000138: POP
00000139: POP
0000013a: POP
0000013b: JUMP
0000013c: JUMPDEST
0000013d: PUSH1 0x40
0000013f: MLOAD
00000140: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
00000161: SWAP1
00000162: SWAP2
00000163: AND
00000164: DUP2
00000165: MSTORE
00000166: PUSH1 0x20
00000168: ADD
00000169: JUMPDEST
0000016a: PUSH1 0x40
0000016c: MLOAD
0000016d: DUP1
0000016e: SWAP2
0000016f: SUB
00000170: SWAP1
00000171: RETURN
00000172: JUMPDEST
00000173: CALLVALUE
00000174: DUP1
00000175: ISZERO
00000176: PUSH2 0x017e
00000179: JUMPI
0000017a: PUSH1 0x00
0000017c: DUP1
0000017d: REVERT
0000017e: JUMPDEST
0000017f: POP
00000180: PUSH2 0x0187
00000183: PUSH2 0x0322
00000186: JUMP
00000187: JUMPDEST
00000188: STOP
00000189: JUMPDEST
0000018a: CALLVALUE
0000018b: DUP1
0000018c: ISZERO
0000018d: PUSH2 0x0195
00000190: JUMPI
00000191: PUSH1 0x00
00000193: DUP1
00000194: REVERT
00000195: JUMPDEST
00000196: POP
00000197: PUSH2 0x01a9
0000019a: PUSH2 0x01a4
0000019d: CALLDATASIZE
0000019e: PUSH1 0x04
000001a0: PUSH2 0x1a20
000001a3: JUMP
000001a4: JUMPDEST
000001a5: PUSH2 0x0334
000001a8: JUMP
000001a9: JUMPDEST
000001aa: PUSH1 0x40
000001ac: DUP1
000001ad: MLOAD
000001ae: SWAP3
000001af: DUP4
000001b0: MSTORE
000001b1: PUSH1 0x20
000001b3: DUP4
000001b4: ADD
000001b5: SWAP2
000001b6: SWAP1
000001b7: SWAP2
000001b8: MSTORE
000001b9: ADD
000001ba: PUSH2 0x0169
000001bd: JUMP
000001be: JUMPDEST
000001bf: CALLVALUE
000001c0: DUP1
000001c1: ISZERO
000001c2: PUSH2 0x01ca
000001c5: JUMPI
000001c6: PUSH1 0x00
000001c8: DUP1
000001c9: REVERT
000001ca: JUMPDEST
000001cb: POP
000001cc: PUSH1 0x00
000001ce: SLOAD
000001cf: PUSH1 0xff
000001d1: AND
000001d2: PUSH1 0x40
000001d4: MLOAD
000001d5: SWAP1
000001d6: ISZERO
000001d7: ISZERO
000001d8: DUP2
000001d9: MSTORE
000001da: PUSH1 0x20
000001dc: ADD
000001dd: PUSH2 0x0169
000001e0: JUMP
000001e1: JUMPDEST
000001e2: PUSH2 0x0187
000001e5: PUSH2 0x01ef
000001e8: CALLDATASIZE
000001e9: PUSH1 0x04
000001eb: PUSH2 0x1b40
000001ee: JUMP
000001ef: JUMPDEST
000001f0: PUSH2 0x0609
000001f3: JUMP
000001f4: JUMPDEST
000001f5: CALLVALUE
000001f6: DUP1
000001f7: ISZERO
000001f8: PUSH2 0x0200
000001fb: JUMPI
000001fc: PUSH1 0x00
000001fe: DUP1
000001ff: REVERT
00000200: JUMPDEST
00000201: POP
00000202: PUSH2 0x0187
00000205: PUSH2 0x06e6
00000208: JUMP
00000209: JUMPDEST
0000020a: CALLVALUE
0000020b: DUP1
0000020c: ISZERO
0000020d: PUSH2 0x0215
00000210: JUMPI
00000211: PUSH1 0x00
00000213: DUP1
00000214: REVERT
00000215: JUMPDEST
00000216: POP
00000217: PUSH2 0x0187
0000021a: PUSH2 0x06f8
0000021d: JUMP
0000021e: JUMPDEST
0000021f: CALLVALUE
00000220: DUP1
00000221: ISZERO
00000222: PUSH2 0x022a
00000225: JUMPI
00000226: PUSH1 0x00
00000228: DUP1
00000229: REVERT
0000022a: JUMPDEST
0000022b: POP
0000022c: PUSH1 0x00
0000022e: SLOAD
0000022f: PUSH2 0x0100
00000232: SWAP1
00000233: DIV
00000234: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000249: AND
0000024a: PUSH1 0x40
0000024c: MLOAD
0000024d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000262: SWAP1
00000263: SWAP2
00000264: AND
00000265: DUP2
00000266: MSTORE
00000267: PUSH1 0x20
00000269: ADD
0000026a: PUSH2 0x0169
0000026d: JUMP
0000026e: JUMPDEST
0000026f: PUSH2 0x0187
00000272: PUSH2 0x027c
00000275: CALLDATASIZE
00000276: PUSH1 0x04
00000278: PUSH2 0x1cbf
0000027b: JUMP
0000027c: JUMPDEST
0000027d: PUSH2 0x0708
00000280: JUMP
00000281: JUMPDEST
00000282: CALLVALUE
00000283: DUP1
00000284: ISZERO
00000285: PUSH2 0x028d
00000288: JUMPI
00000289: PUSH1 0x00
0000028b: DUP1
0000028c: REVERT
0000028d: JUMPDEST
0000028e: POP
0000028f: PUSH1 0x40
00000291: MLOAD
00000292: SELFBALANCE
00000293: DUP2
00000294: MSTORE
00000295: PUSH1 0x20
00000297: ADD
00000298: PUSH2 0x0169
0000029b: JUMP
0000029c: JUMPDEST
0000029d: CALLVALUE
0000029e: DUP1
0000029f: ISZERO
000002a0: PUSH2 0x02a8
000002a3: JUMPI
000002a4: PUSH1 0x00
000002a6: DUP1
000002a7: REVERT
000002a8: JUMPDEST
000002a9: POP
000002aa: PUSH2 0x0187
000002ad: PUSH2 0x02b7
000002b0: CALLDATASIZE
000002b1: PUSH1 0x04
000002b3: PUSH2 0x1dc0
000002b6: JUMP
000002b7: JUMPDEST
000002b8: PUSH2 0x0b4f
000002bb: JUMP
000002bc: JUMPDEST
000002bd: PUSH2 0x0187
000002c0: PUSH2 0x02ca
000002c3: CALLDATASIZE
000002c4: PUSH1 0x04
000002c6: PUSH2 0x1df0
000002c9: JUMP
000002ca: JUMPDEST
000002cb: PUSH2 0x0c2b
000002ce: JUMP
000002cf: JUMPDEST
000002d0: CALLVALUE
000002d1: DUP1
000002d2: ISZERO
000002d3: PUSH2 0x02db
000002d6: JUMPI
000002d7: PUSH1 0x00
000002d9: DUP1
000002da: REVERT
000002db: JUMPDEST
000002dc: POP
000002dd: PUSH2 0x0187
000002e0: PUSH2 0x02ea
000002e3: CALLDATASIZE
000002e4: PUSH1 0x04
000002e6: PUSH2 0x1e51
000002e9: JUMP
000002ea: JUMPDEST
000002eb: PUSH2 0x0d9f
000002ee: JUMP
000002ef: JUMPDEST
000002f0: PUSH2 0x0187
000002f3: PUSH2 0x02fd
000002f6: CALLDATASIZE
000002f7: PUSH1 0x04
000002f9: PUSH2 0x1e88
000002fc: JUMP
000002fd: JUMPDEST
000002fe: PUSH2 0x0dc9
00000301: JUMP
00000302: JUMPDEST
00000303: CALLVALUE
00000304: DUP1
00000305: ISZERO
00000306: PUSH2 0x030e
00000309: JUMPI
0000030a: PUSH1 0x00
0000030c: DUP1
0000030d: REVERT
0000030e: JUMPDEST
0000030f: POP
00000310: PUSH2 0x0187
00000313: PUSH2 0x031d
00000316: CALLDATASIZE
00000317: PUSH1 0x04
00000319: PUSH2 0x1ee3
0000031c: JUMP
0000031d: JUMPDEST
0000031e: PUSH2 0x0ee7
00000321: JUMP
00000322: JUMPDEST
00000323: PUSH2 0x032a
00000326: PUSH2 0x0f9e
00000329: JUMP
0000032a: JUMPDEST
0000032b: PUSH2 0x0332
0000032e: PUSH2 0x1025
00000331: JUMP
00000332: JUMPDEST
00000333: JUMP
00000334: JUMPDEST
00000335: PUSH1 0x00
00000337: DUP1
00000338: PUSH1 0x00
0000033a: DUP6
0000033b: SWAP1
0000033c: POP
0000033d: PUSH1 0x00
0000033f: PUSH32 0x000000000000000000000000d9e1ce17f2641f24ae83637ab66a2cca9c378b9f
00000360: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000375: AND
00000376: PUSH4 0x1f00ca74
0000037b: DUP4
0000037c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000391: AND
00000392: PUSH4 0xf7fce334
00000397: PUSH1 0x40
00000399: MLOAD
0000039a: DUP2
0000039b: PUSH4 0xffffffff
000003a0: AND
000003a1: PUSH1 0xe0
000003a3: SHL
000003a4: DUP2
000003a5: MSTORE
000003a6: PUSH1 0x04
000003a8: ADD
000003a9: PUSH1 0x20
000003ab: PUSH1 0x40
000003ad: MLOAD
000003ae: DUP1
000003af: DUP4
000003b0: SUB
000003b1: DUP2
000003b2: DUP7
000003b3: GAS
000003b4: STATICCALL
000003b5: ISZERO
000003b6: DUP1
000003b7: ISZERO
000003b8: PUSH2 0x03c5
000003bb: JUMPI
000003bc: RETURNDATASIZE
000003bd: PUSH1 0x00
000003bf: DUP1
000003c0: RETURNDATACOPY
000003c1: RETURNDATASIZE
000003c2: PUSH1 0x00
000003c4: REVERT
000003c5: JUMPDEST
000003c6: POP
000003c7: POP
000003c8: POP
000003c9: POP
000003ca: PUSH1 0x40
000003cc: MLOAD
000003cd: RETURNDATASIZE
000003ce: PUSH1 0x1f
000003d0: NOT
000003d1: PUSH1 0x1f
000003d3: DUP3
000003d4: ADD
000003d5: AND
000003d6: DUP3
000003d7: ADD
000003d8: DUP1
000003d9: PUSH1 0x40
000003db: MSTORE
000003dc: POP
000003dd: DUP2
000003de: ADD
000003df: SWAP1
000003e0: PUSH2 0x03e9
000003e3: SWAP2
000003e4: SWAP1
000003e5: PUSH2 0x1f07
000003e8: JUMP
000003e9: JUMPDEST
000003ea: PUSH2 0x03fb
000003ed: SWAP1
000003ee: PUSH8 0x0de0b6b3a7640000
000003f7: PUSH2 0x1f4f
000003fa: JUMP
000003fb: JUMPDEST
000003fc: DUP9
000003fd: DUP9
000003fe: PUSH1 0x40
00000400: MLOAD
00000401: DUP5
00000402: PUSH4 0xffffffff
00000407: AND
00000408: PUSH1 0xe0
0000040a: SHL
0000040b: DUP2
0000040c: MSTORE
0000040d: PUSH1 0x04
0000040f: ADD
00000410: PUSH2 0x041b
00000413: SWAP4
00000414: SWAP3
00000415: SWAP2
00000416: SWAP1
00000417: PUSH2 0x1fbd
0000041a: JUMP
0000041b: JUMPDEST
0000041c: PUSH1 0x00
0000041e: PUSH1 0x40
00000420: MLOAD
00000421: DUP1
00000422: DUP4
00000423: SUB
00000424: DUP2
00000425: DUP7
00000426: GAS
00000427: STATICCALL
00000428: ISZERO
00000429: DUP1
0000042a: ISZERO
0000042b: PUSH2 0x0438
0000042e: JUMPI
0000042f: RETURNDATASIZE
00000430: PUSH1 0x00
00000432: DUP1
00000433: RETURNDATACOPY
00000434: RETURNDATASIZE
00000435: PUSH1 0x00
00000437: REVERT
00000438: JUMPDEST
00000439: POP
0000043a: POP
0000043b: POP
0000043c: POP
0000043d: PUSH1 0x40
0000043f: MLOAD
00000440: RETURNDATASIZE
00000441: PUSH1 0x00
00000443: DUP3
00000444: RETURNDATACOPY
00000445: PUSH1 0x1f
00000447: RETURNDATASIZE
00000448: SWAP1
00000449: DUP2
0000044a: ADD
0000044b: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
0000046c: AND
0000046d: DUP3
0000046e: ADD
0000046f: PUSH1 0x40
00000471: MSTORE
00000472: PUSH2 0x047e
00000475: SWAP2
00000476: SWAP1
00000477: DUP2
00000478: ADD
00000479: SWAP1
0000047a: PUSH2 0x1fe0
0000047d: JUMP
0000047e: JUMPDEST
0000047f: SWAP1
00000480: POP
00000481: PUSH1 0x00
00000483: PUSH32 0x000000000000000000000000d9e1ce17f2641f24ae83637ab66a2cca9c378b9f
000004a4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004b9: AND
000004ba: PUSH4 0x1f00ca74
000004bf: DUP5
000004c0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004d5: AND
000004d6: PUSH4 0xfeb8eba5
000004db: PUSH1 0x40
000004dd: MLOAD
000004de: DUP2
000004df: PUSH4 0xffffffff
000004e4: AND
000004e5: PUSH1 0xe0
000004e7: SHL
000004e8: DUP2
000004e9: MSTORE
000004ea: PUSH1 0x04
000004ec: ADD
000004ed: PUSH1 0x20
000004ef: PUSH1 0x40
000004f1: MLOAD
000004f2: DUP1
000004f3: DUP4
000004f4: SUB
000004f5: DUP2
000004f6: DUP7
000004f7: GAS
000004f8: STATICCALL
000004f9: ISZERO
000004fa: DUP1
000004fb: ISZERO
000004fc: PUSH2 0x0509
000004ff: JUMPI
00000500: RETURNDATASIZE
00000501: PUSH1 0x00
00000503: DUP1
00000504: RETURNDATACOPY
00000505: RETURNDATASIZE
00000506: PUSH1 0x00
00000508: REVERT
00000509: JUMPDEST
0000050a: POP
0000050b: POP
0000050c: POP
0000050d: POP
0000050e: PUSH1 0x40
00000510: MLOAD
00000511: RETURNDATASIZE
00000512: PUSH1 0x1f
00000514: NOT
00000515: PUSH1 0x1f
00000517: DUP3
00000518: ADD
00000519: AND
0000051a: DUP3
0000051b: ADD
0000051c: DUP1
0000051d: PUSH1 0x40
0000051f: MSTORE
00000520: POP
00000521: DUP2
00000522: ADD
00000523: SWAP1
00000524: PUSH2 0x052d
00000527: SWAP2
00000528: SWAP1
00000529: PUSH2 0x1f07
0000052c: JUMP
0000052d: JUMPDEST
0000052e: PUSH2 0x053f
00000531: SWAP1
00000532: PUSH8 0x0de0b6b3a7640000
0000053b: PUSH2 0x1f4f
0000053e: JUMP
0000053f: JUMPDEST
00000540: DUP10
00000541: DUP10
00000542: PUSH1 0x40
00000544: MLOAD
00000545: DUP5
00000546: PUSH4 0xffffffff
0000054b: AND
0000054c: PUSH1 0xe0
0000054e: SHL
0000054f: DUP2
00000550: MSTORE
00000551: PUSH1 0x04
00000553: ADD
00000554: PUSH2 0x055f
00000557: SWAP4
00000558: SWAP3
00000559: SWAP2
0000055a: SWAP1
0000055b: PUSH2 0x1fbd
0000055e: JUMP
0000055f: JUMPDEST
00000560: PUSH1 0x00
00000562: PUSH1 0x40
00000564: MLOAD
00000565: DUP1
00000566: DUP4
00000567: SUB
00000568: DUP2
00000569: DUP7
0000056a: GAS
0000056b: STATICCALL
0000056c: ISZERO
0000056d: DUP1
0000056e: ISZERO
0000056f: PUSH2 0x057c
00000572: JUMPI
00000573: RETURNDATASIZE
00000574: PUSH1 0x00
00000576: DUP1
00000577: RETURNDATACOPY
00000578: RETURNDATASIZE
00000579: PUSH1 0x00
0000057b: REVERT
0000057c: JUMPDEST
0000057d: POP
0000057e: POP
0000057f: POP
00000580: POP
00000581: PUSH1 0x40
00000583: MLOAD
00000584: RETURNDATASIZE
00000585: PUSH1 0x00
00000587: DUP3
00000588: RETURNDATACOPY
00000589: PUSH1 0x1f
0000058b: RETURNDATASIZE
0000058c: SWAP1
0000058d: DUP2
0000058e: ADD
0000058f: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
000005b0: AND
000005b1: DUP3
000005b2: ADD
000005b3: PUSH1 0x40
000005b5: MSTORE
000005b6: PUSH2 0x05c2
000005b9: SWAP2
000005ba: SWAP1
000005bb: DUP2
000005bc: ADD
000005bd: SWAP1
000005be: PUSH2 0x1fe0
000005c1: JUMP
000005c2: JUMPDEST
000005c3: SWAP1
000005c4: POP
000005c5: DUP2
000005c6: PUSH1 0x00
000005c8: DUP2
000005c9: MLOAD
000005ca: DUP2
000005cb: LT
000005cc: PUSH2 0x05d7
000005cf: JUMPI
000005d0: PUSH2 0x05d7
000005d3: PUSH2 0x2071
000005d6: JUMP
000005d7: JUMPDEST
000005d8: PUSH1 0x20
000005da: MUL
000005db: PUSH1 0x20
000005dd: ADD
000005de: ADD
000005df: MLOAD
000005e0: SWAP5
000005e1: POP
000005e2: DUP1
000005e3: PUSH1 0x00
000005e5: DUP2
000005e6: MLOAD
000005e7: DUP2
000005e8: LT
000005e9: PUSH2 0x05f4
000005ec: JUMPI
000005ed: PUSH2 0x05f4
000005f0: PUSH2 0x2071
000005f3: JUMP
000005f4: JUMPDEST
000005f5: PUSH1 0x20
000005f7: MUL
000005f8: PUSH1 0x20
000005fa: ADD
000005fb: ADD
000005fc: MLOAD
000005fd: SWAP4
000005fe: POP
000005ff: POP
00000600: POP
00000601: POP
00000602: SWAP4
00000603: POP
00000604: SWAP4
00000605: SWAP2
00000606: POP
00000607: POP
00000608: JUMP
00000609: JUMPDEST
0000060a: PUSH2 0x0611
0000060d: PUSH2 0x10a2
00000610: JUMP
00000611: JUMPDEST
00000612: PUSH1 0x00
00000614: DUP1
00000615: PUSH1 0x00
00000617: PUSH2 0x0625
0000061a: DUP7
0000061b: DUP7
0000061c: DUP7
0000061d: PUSH1 0xc0
0000061f: ADD
00000620: MLOAD
00000621: PUSH2 0x110f
00000624: JUMP
00000625: JUMPDEST
00000626: SWAP3
00000627: POP
00000628: SWAP3
00000629: POP
0000062a: SWAP3
0000062b: POP
0000062c: PUSH32 0x00000000000000000000000000000000006c3852cbef3e08e8df289169ede581
0000064d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000662: AND
00000663: PUSH4 0xfb0f3ee1
00000668: DUP3
00000669: DUP7
0000066a: PUSH1 0x40
0000066c: MLOAD
0000066d: DUP4
0000066e: PUSH4 0xffffffff
00000673: AND
00000674: PUSH1 0xe0
00000676: SHL
00000677: DUP2
00000678: MSTORE
00000679: PUSH1 0x04
0000067b: ADD
0000067c: PUSH2 0x0685
0000067f: SWAP2
00000680: SWAP1
00000681: PUSH2 0x2197
00000684: JUMP
00000685: JUMPDEST
00000686: PUSH1 0x20
00000688: PUSH1 0x40
0000068a: MLOAD
0000068b: DUP1
0000068c: DUP4
0000068d: SUB
0000068e: DUP2
0000068f: DUP6
00000690: DUP9
00000691: GAS
00000692: CALL
00000693: ISZERO
00000694: DUP1
00000695: ISZERO
00000696: PUSH2 0x06a3
00000699: JUMPI
0000069a: RETURNDATASIZE
0000069b: PUSH1 0x00
0000069d: DUP1
0000069e: RETURNDATACOPY
0000069f: RETURNDATASIZE
000006a0: PUSH1 0x00
000006a2: REVERT
000006a3: JUMPDEST
000006a4: POP
000006a5: POP
000006a6: POP
000006a7: POP
000006a8: POP
000006a9: PUSH1 0x40
000006ab: MLOAD
000006ac: RETURNDATASIZE
000006ad: PUSH1 0x1f
000006af: NOT
000006b0: PUSH1 0x1f
000006b2: DUP3
000006b3: ADD
000006b4: AND
000006b5: DUP3
000006b6: ADD
000006b7: DUP1
000006b8: PUSH1 0x40
000006ba: MSTORE
000006bb: POP
000006bc: DUP2
000006bd: ADD
000006be: SWAP1
000006bf: PUSH2 0x06c8
000006c2: SWAP2
000006c3: SWAP1
000006c4: PUSH2 0x233b
000006c7: JUMP
000006c8: JUMPDEST
000006c9: POP
000006ca: PUSH2 0x06de
000006cd: DUP7
000006ce: DUP6
000006cf: PUSH1 0xa0
000006d1: ADD
000006d2: MLOAD
000006d3: DUP7
000006d4: PUSH1 0xc0
000006d6: ADD
000006d7: MLOAD
000006d8: DUP6
000006d9: DUP8
000006da: PUSH2 0x1231
000006dd: JUMP
000006de: JUMPDEST
000006df: POP
000006e0: POP
000006e1: POP
000006e2: POP
000006e3: POP
000006e4: POP
000006e5: JUMP
000006e6: JUMPDEST
000006e7: PUSH2 0x06ee
000006ea: PUSH2 0x0f9e
000006ed: JUMP
000006ee: JUMPDEST
000006ef: PUSH2 0x0332
000006f2: PUSH1 0x00
000006f4: PUSH2 0x15d3
000006f7: JUMP
000006f8: JUMPDEST
000006f9: PUSH2 0x0700
000006fc: PUSH2 0x0f9e
000006ff: JUMP
00000700: JUMPDEST
00000701: PUSH2 0x0332
00000704: PUSH2 0x1650
00000707: JUMP
00000708: JUMPDEST
00000709: PUSH2 0x0710
0000070c: PUSH2 0x10a2
0000070f: JUMP
00000710: JUMPDEST
00000711: PUSH1 0x01
00000713: DUP2
00000714: MLOAD
00000715: GT
00000716: ISZERO
00000717: PUSH2 0x07a7
0000071a: JUMPI
0000071b: PUSH1 0x40
0000071d: MLOAD
0000071e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000073f: DUP2
00000740: MSTORE
00000741: PUSH1 0x20
00000743: PUSH1 0x04
00000745: DUP3
00000746: ADD
00000747: MSTORE
00000748: PUSH1 0x31
0000074a: PUSH1 0x24
0000074c: DUP3
0000074d: ADD
0000074e: MSTORE
0000074f: PUSH32 0x4e756d626572206f66206e6674496473207061737365642063616e6e6f742062
00000770: PUSH1 0x44
00000772: DUP3
00000773: ADD
00000774: MSTORE
00000775: PUSH32 0x652067726561746572207468616e20312e000000000000000000000000000000
00000796: PUSH1 0x64
00000798: DUP3
00000799: ADD
0000079a: MSTORE
0000079b: PUSH1 0x84
0000079d: ADD
0000079e: JUMPDEST
0000079f: PUSH1 0x40
000007a1: MLOAD
000007a2: DUP1
000007a3: SWAP2
000007a4: SUB
000007a5: SWAP1
000007a6: REVERT
000007a7: JUMPDEST
000007a8: PUSH1 0x00
000007aa: DUP1
000007ab: PUSH1 0x00
000007ad: PUSH2 0x07d7
000007b0: DUP9
000007b1: DUP9
000007b2: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000007d3: PUSH2 0x110f
000007d6: JUMP
000007d7: JUMPDEST
000007d8: SWAP3
000007d9: POP
000007da: SWAP3
000007db: POP
000007dc: SWAP3
000007dd: POP
000007de: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2
000007ff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000814: AND
00000815: PUSH4 0xd0e30db0
0000081a: DUP3
0000081b: PUSH1 0x40
0000081d: MLOAD
0000081e: DUP3
0000081f: PUSH4 0xffffffff
00000824: AND
00000825: PUSH1 0xe0
00000827: SHL
00000828: DUP2
00000829: MSTORE
0000082a: PUSH1 0x04
0000082c: ADD
0000082d: PUSH1 0x00
0000082f: PUSH1 0x40
00000831: MLOAD
00000832: DUP1
00000833: DUP4
00000834: SUB
00000835: DUP2
00000836: DUP6
00000837: DUP9
00000838: DUP1
00000839: EXTCODESIZE
0000083a: ISZERO
0000083b: DUP1
0000083c: ISZERO
0000083d: PUSH2 0x0845
00000840: JUMPI
00000841: PUSH1 0x00
00000843: DUP1
00000844: REVERT
00000845: JUMPDEST
00000846: POP
00000847: GAS
00000848: CALL
00000849: ISZERO
0000084a: DUP1
0000084b: ISZERO
0000084c: PUSH2 0x0859
0000084f: JUMPI
00000850: RETURNDATASIZE
00000851: PUSH1 0x00
00000853: DUP1
00000854: RETURNDATACOPY
00000855: RETURNDATASIZE
00000856: PUSH1 0x00
00000858: REVERT
00000859: JUMPDEST
0000085a: POP
0000085b: POP
0000085c: DUP7
0000085d: MLOAD
0000085e: DUP13
0000085f: SWAP4
00000860: POP
00000861: PUSH8 0x0de0b6b3a7640000
0000086a: SWAP3
0000086b: POP
0000086c: PUSH1 0x01
0000086e: SUB
0000086f: SWAP1
00000870: POP
00000871: PUSH2 0x08f4
00000874: JUMPI
00000875: DUP2
00000876: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000088b: AND
0000088c: PUSH4 0xfeb8eba5
00000891: PUSH1 0x40
00000893: MLOAD
00000894: DUP2
00000895: PUSH4 0xffffffff
0000089a: AND
0000089b: PUSH1 0xe0
0000089d: SHL
0000089e: DUP2
0000089f: MSTORE
000008a0: PUSH1 0x04
000008a2: ADD
000008a3: PUSH1 0x20
000008a5: PUSH1 0x40
000008a7: MLOAD
000008a8: DUP1
000008a9: DUP4
000008aa: SUB
000008ab: DUP2
000008ac: DUP7
000008ad: GAS
000008ae: STATICCALL
000008af: ISZERO
000008b0: DUP1
000008b1: ISZERO
000008b2: PUSH2 0x08bf
000008b5: JUMPI
000008b6: RETURNDATASIZE
000008b7: PUSH1 0x00
000008b9: DUP1
000008ba: RETURNDATACOPY
000008bb: RETURNDATASIZE
000008bc: PUSH1 0x00
000008be: REVERT
000008bf: JUMPDEST
000008c0: POP
000008c1: POP
000008c2: POP
000008c3: POP
000008c4: PUSH1 0x40
000008c6: MLOAD
000008c7: RETURNDATASIZE
000008c8: PUSH1 0x1f
000008ca: NOT
000008cb: PUSH1 0x1f
000008cd: DUP3
000008ce: ADD
000008cf: AND
000008d0: DUP3
000008d1: ADD
000008d2: DUP1
000008d3: PUSH1 0x40
000008d5: MSTORE
000008d6: POP
000008d7: DUP2
000008d8: ADD
000008d9: SWAP1
000008da: PUSH2 0x08e3
000008dd: SWAP2
000008de: SWAP1
000008df: PUSH2 0x1f07
000008e2: JUMP
000008e3: JUMPDEST
000008e4: PUSH2 0x08ed
000008e7: SWAP1
000008e8: DUP3
000008e9: PUSH2 0x1f4f
000008ec: JUMP
000008ed: JUMPDEST
000008ee: SWAP1
000008ef: POP
000008f0: PUSH2 0x0970
000008f3: JUMP
000008f4: JUMPDEST
000008f5: DUP2
000008f6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000090b: AND
0000090c: PUSH4 0xf7fce334
00000911: PUSH1 0x40
00000913: MLOAD
00000914: DUP2
00000915: PUSH4 0xffffffff
0000091a: AND
0000091b: PUSH1 0xe0
0000091d: SHL
0000091e: DUP2
0000091f: MSTORE
00000920: PUSH1 0x04
00000922: ADD
00000923: PUSH1 0x20
00000925: PUSH1 0x40
00000927: MLOAD
00000928: DUP1
00000929: DUP4
0000092a: SUB
0000092b: DUP2
0000092c: DUP7
0000092d: GAS
0000092e: STATICCALL
0000092f: ISZERO
00000930: DUP1
00000931: ISZERO
00000932: PUSH2 0x093f
00000935: JUMPI
00000936: RETURNDATASIZE
00000937: PUSH1 0x00
00000939: DUP1
0000093a: RETURNDATACOPY
0000093b: RETURNDATASIZE
0000093c: PUSH1 0x00
0000093e: REVERT
0000093f: JUMPDEST
00000940: POP
00000941: POP
00000942: POP
00000943: POP
00000944: PUSH1 0x40
00000946: MLOAD
00000947: RETURNDATASIZE
00000948: PUSH1 0x1f
0000094a: NOT
0000094b: PUSH1 0x1f
0000094d: DUP3
0000094e: ADD
0000094f: AND
00000950: DUP3
00000951: ADD
00000952: DUP1
00000953: PUSH1 0x40
00000955: MSTORE
00000956: POP
00000957: DUP2
00000958: ADD
00000959: SWAP1
0000095a: PUSH2 0x0963
0000095d: SWAP2
0000095e: SWAP1
0000095f: PUSH2 0x1f07
00000962: JUMP
00000963: JUMPDEST
00000964: PUSH2 0x096d
00000967: SWAP1
00000968: DUP3
00000969: PUSH2 0x1f4f
0000096c: JUMP
0000096d: JUMPDEST
0000096e: SWAP1
0000096f: POP
00000970: JUMPDEST
00000971: PUSH1 0x40
00000973: MLOAD
00000974: PUSH32 0x8803dbee00000000000000000000000000000000000000000000000000000000
00000995: DUP2
00000996: MSTORE
00000997: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009ac: PUSH32 0x000000000000000000000000d9e1ce17f2641f24ae83637ab66a2cca9c378b9f
000009cd: AND
000009ce: SWAP1
000009cf: PUSH4 0x8803dbee
000009d4: SWAP1
000009d5: PUSH2 0x09ec
000009d8: SWAP1
000009d9: DUP5
000009da: SWAP1
000009db: DUP8
000009dc: SWAP1
000009dd: DUP14
000009de: SWAP1
000009df: DUP14
000009e0: SWAP1
000009e1: ADDRESS
000009e2: SWAP1
000009e3: TIMESTAMP
000009e4: SWAP1
000009e5: PUSH1 0x04
000009e7: ADD
000009e8: PUSH2 0x2358
000009eb: JUMP
000009ec: JUMPDEST
000009ed: PUSH1 0x00
000009ef: PUSH1 0x40
000009f1: MLOAD
000009f2: DUP1
000009f3: DUP4
000009f4: SUB
000009f5: DUP2
000009f6: PUSH1 0x00
000009f8: DUP8
000009f9: GAS
000009fa: CALL
000009fb: ISZERO
000009fc: DUP1
000009fd: ISZERO
000009fe: PUSH2 0x0a0b
00000a01: JUMPI
00000a02: RETURNDATASIZE
00000a03: PUSH1 0x00
00000a05: DUP1
00000a06: RETURNDATACOPY
00000a07: RETURNDATASIZE
00000a08: PUSH1 0x00
00000a0a: REVERT
00000a0b: JUMPDEST
00000a0c: POP
00000a0d: POP
00000a0e: POP
00000a0f: POP
00000a10: PUSH1 0x40
00000a12: MLOAD
00000a13: RETURNDATASIZE
00000a14: PUSH1 0x00
00000a16: DUP3
00000a17: RETURNDATACOPY
00000a18: PUSH1 0x1f
00000a1a: RETURNDATASIZE
00000a1b: SWAP1
00000a1c: DUP2
00000a1d: ADD
00000a1e: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00000a3f: AND
00000a40: DUP3
00000a41: ADD
00000a42: PUSH1 0x40
00000a44: MSTORE
00000a45: PUSH2 0x0a51
00000a48: SWAP2
00000a49: SWAP1
00000a4a: DUP2
00000a4b: ADD
00000a4c: SWAP1
00000a4d: PUSH2 0x1fe0
00000a50: JUMP
00000a51: JUMPDEST
00000a52: POP
00000a53: PUSH1 0x40
00000a55: MLOAD
00000a56: PUSH32 0x9d54def600000000000000000000000000000000000000000000000000000000
00000a77: DUP2
00000a78: MSTORE
00000a79: PUSH1 0x00
00000a7b: SWAP1
00000a7c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a91: DUP5
00000a92: AND
00000a93: SWAP1
00000a94: PUSH4 0x9d54def6
00000a99: SWAP1
00000a9a: PUSH2 0x0aac
00000a9d: SWAP1
00000a9e: PUSH1 0x01
00000aa0: SWAP1
00000aa1: DUP12
00000aa2: SWAP1
00000aa3: ADDRESS
00000aa4: SWAP1
00000aa5: PUSH1 0x04
00000aa7: ADD
00000aa8: PUSH2 0x23d3
00000aab: JUMP
00000aac: JUMPDEST
00000aad: PUSH1 0x00
00000aaf: PUSH1 0x40
00000ab1: MLOAD
00000ab2: DUP1
00000ab3: DUP4
00000ab4: SUB
00000ab5: DUP2
00000ab6: PUSH1 0x00
00000ab8: DUP8
00000ab9: GAS
00000aba: CALL
00000abb: ISZERO
00000abc: DUP1
00000abd: ISZERO
00000abe: PUSH2 0x0acb
00000ac1: JUMPI
00000ac2: RETURNDATASIZE
00000ac3: PUSH1 0x00
00000ac5: DUP1
00000ac6: RETURNDATACOPY
00000ac7: RETURNDATASIZE
00000ac8: PUSH1 0x00
00000aca: REVERT
00000acb: JUMPDEST
00000acc: POP
00000acd: POP
00000ace: POP
00000acf: POP
00000ad0: PUSH1 0x40
00000ad2: MLOAD
00000ad3: RETURNDATASIZE
00000ad4: PUSH1 0x00
00000ad6: DUP3
00000ad7: RETURNDATACOPY
00000ad8: PUSH1 0x1f
00000ada: RETURNDATASIZE
00000adb: SWAP1
00000adc: DUP2
00000add: ADD
00000ade: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00000aff: AND
00000b00: DUP3
00000b01: ADD
00000b02: PUSH1 0x40
00000b04: MSTORE
00000b05: PUSH2 0x0b11
00000b08: SWAP2
00000b09: SWAP1
00000b0a: DUP2
00000b0b: ADD
00000b0c: SWAP1
00000b0d: PUSH2 0x1fe0
00000b10: JUMP
00000b11: JUMPDEST
00000b12: SWAP1
00000b13: POP
00000b14: PUSH1 0x00
00000b16: DUP2
00000b17: PUSH1 0x00
00000b19: DUP2
00000b1a: MLOAD
00000b1b: DUP2
00000b1c: LT
00000b1d: PUSH2 0x0b28
00000b20: JUMPI
00000b21: PUSH2 0x0b28
00000b24: PUSH2 0x2071
00000b27: JUMP
00000b28: JUMPDEST
00000b29: PUSH1 0x20
00000b2b: MUL
00000b2c: PUSH1 0x20
00000b2e: ADD
00000b2f: ADD
00000b30: MLOAD
00000b31: SWAP1
00000b32: POP
00000b33: PUSH2 0x0b3f
00000b36: DUP13
00000b37: DUP16
00000b38: DUP4
00000b39: DUP10
00000b3a: DUP12
00000b3b: PUSH2 0x1231
00000b3e: JUMP
00000b3f: JUMPDEST
00000b40: POP
00000b41: POP
00000b42: POP
00000b43: POP
00000b44: POP
00000b45: POP
00000b46: POP
00000b47: POP
00000b48: POP
00000b49: POP
00000b4a: POP
00000b4b: POP
00000b4c: POP
00000b4d: POP
00000b4e: JUMP
00000b4f: JUMPDEST
00000b50: PUSH2 0x0b57
00000b53: PUSH2 0x0f9e
00000b56: JUMP
00000b57: JUMPDEST
00000b58: PUSH1 0x00
00000b5a: DUP2
00000b5b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b70: AND
00000b71: DUP4
00000b72: PUSH2 0x7530
00000b75: SWAP1
00000b76: PUSH1 0x40
00000b78: MLOAD
00000b79: PUSH1 0x00
00000b7b: PUSH1 0x40
00000b7d: MLOAD
00000b7e: DUP1
00000b7f: DUP4
00000b80: SUB
00000b81: DUP2
00000b82: DUP6
00000b83: DUP9
00000b84: DUP9
00000b85: CALL
00000b86: SWAP4
00000b87: POP
00000b88: POP
00000b89: POP
00000b8a: POP
00000b8b: RETURNDATASIZE
00000b8c: DUP1
00000b8d: PUSH1 0x00
00000b8f: DUP2
00000b90: EQ
00000b91: PUSH2 0x0bb6
00000b94: JUMPI
00000b95: PUSH1 0x40
00000b97: MLOAD
00000b98: SWAP2
00000b99: POP
00000b9a: PUSH1 0x1f
00000b9c: NOT
00000b9d: PUSH1 0x3f
00000b9f: RETURNDATASIZE
00000ba0: ADD
00000ba1: AND
00000ba2: DUP3
00000ba3: ADD
00000ba4: PUSH1 0x40
00000ba6: MSTORE
00000ba7: RETURNDATASIZE
00000ba8: DUP3
00000ba9: MSTORE
00000baa: RETURNDATASIZE
00000bab: PUSH1 0x00
00000bad: PUSH1 0x20
00000baf: DUP5
00000bb0: ADD
00000bb1: RETURNDATACOPY
00000bb2: PUSH2 0x0bbb
00000bb5: JUMP
00000bb6: JUMPDEST
00000bb7: PUSH1 0x60
00000bb9: SWAP2
00000bba: POP
00000bbb: JUMPDEST
00000bbc: POP
00000bbd: POP
00000bbe: SWAP1
00000bbf: POP
00000bc0: DUP1
00000bc1: PUSH2 0x0c26
00000bc4: JUMPI
00000bc5: PUSH1 0x40
00000bc7: MLOAD
00000bc8: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000be9: DUP2
00000bea: MSTORE
00000beb: PUSH1 0x20
00000bed: PUSH1 0x04
00000bef: DUP3
00000bf0: ADD
00000bf1: MSTORE
00000bf2: PUSH1 0x0a
00000bf4: PUSH1 0x24
00000bf6: DUP3
00000bf7: ADD
00000bf8: MSTORE
00000bf9: PUSH32 0x4f7574206f662067617300000000000000000000000000000000000000000000
00000c1a: PUSH1 0x44
00000c1c: DUP3
00000c1d: ADD
00000c1e: MSTORE
00000c1f: PUSH1 0x64
00000c21: ADD
00000c22: PUSH2 0x079e
00000c25: JUMP
00000c26: JUMPDEST
00000c27: POP
00000c28: POP
00000c29: POP
00000c2a: JUMP
00000c2b: JUMPDEST
00000c2c: PUSH2 0x0c33
00000c2f: PUSH2 0x10a2
00000c32: JUMP
00000c33: JUMPDEST
00000c34: PUSH1 0x00
00000c36: DUP1
00000c37: PUSH1 0x00
00000c39: PUSH2 0x0c47
00000c3c: DUP7
00000c3d: DUP7
00000c3e: DUP7
00000c3f: PUSH1 0x80
00000c41: ADD
00000c42: CALLDATALOAD
00000c43: PUSH2 0x110f
00000c46: JUMP
00000c47: JUMPDEST
00000c48: PUSH1 0x40
00000c4a: DUP1
00000c4b: MLOAD
00000c4c: PUSH1 0xc0
00000c4e: DUP2
00000c4f: ADD
00000c50: DUP3
00000c51: MSTORE
00000c52: PUSH1 0x00
00000c54: DUP1
00000c55: DUP3
00000c56: MSTORE
00000c57: ADDRESS
00000c58: PUSH1 0x20
00000c5a: DUP4
00000c5b: ADD
00000c5c: MSTORE
00000c5d: SWAP2
00000c5e: DUP2
00000c5f: ADD
00000c60: DUP4
00000c61: SWAP1
00000c62: MSTORE
00000c63: PUSH1 0x80
00000c65: DUP1
00000c66: DUP11
00000c67: ADD
00000c68: CALLDATALOAD
00000c69: PUSH1 0x60
00000c6b: DUP4
00000c6c: ADD
00000c6d: MSTORE
00000c6e: PUSH2 0x0160
00000c71: DUP11
00000c72: ADD
00000c73: CALLDATALOAD
00000c74: SWAP1
00000c75: DUP3
00000c76: ADD
00000c77: MSTORE
00000c78: SWAP4
00000c79: SWAP7
00000c7a: POP
00000c7b: SWAP2
00000c7c: SWAP5
00000c7d: POP
00000c7e: SWAP3
00000c7f: POP
00000c80: SWAP1
00000c81: PUSH1 0xa0
00000c83: DUP2
00000c84: ADD
00000c85: PUSH2 0x0c92
00000c88: PUSH2 0x0180
00000c8b: DUP9
00000c8c: ADD
00000c8d: DUP9
00000c8e: PUSH2 0x2412
00000c91: JUMP
00000c92: JUMPDEST
00000c93: DUP1
00000c94: DUP1
00000c95: PUSH1 0x1f
00000c97: ADD
00000c98: PUSH1 0x20
00000c9a: DUP1
00000c9b: SWAP2
00000c9c: DIV
00000c9d: MUL
00000c9e: PUSH1 0x20
00000ca0: ADD
00000ca1: PUSH1 0x40
00000ca3: MLOAD
00000ca4: SWAP1
00000ca5: DUP2
00000ca6: ADD
00000ca7: PUSH1 0x40
00000ca9: MSTORE
00000caa: DUP1
00000cab: SWAP4
00000cac: SWAP3
00000cad: SWAP2
00000cae: SWAP1
00000caf: DUP2
00000cb0: DUP2
00000cb1: MSTORE
00000cb2: PUSH1 0x20
00000cb4: ADD
00000cb5: DUP4
00000cb6: DUP4
00000cb7: DUP1
00000cb8: DUP3
00000cb9: DUP5
00000cba: CALLDATACOPY
00000cbb: PUSH1 0x00
00000cbd: SWAP3
00000cbe: ADD
00000cbf: SWAP2
00000cc0: SWAP1
00000cc1: SWAP2
00000cc2: MSTORE
00000cc3: POP
00000cc4: POP
00000cc5: POP
00000cc6: SWAP2
00000cc7: MSTORE
00000cc8: POP
00000cc9: PUSH1 0x40
00000ccb: MLOAD
00000ccc: PUSH32 0xb4e4b29600000000000000000000000000000000000000000000000000000000
00000ced: DUP2
00000cee: MSTORE
00000cef: SWAP1
00000cf0: SWAP2
00000cf1: POP
00000cf2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d07: PUSH32 0x00000000000000000000000059728544b08ab483533076417fbbb2fd0b17ce3a
00000d28: AND
00000d29: SWAP1
00000d2a: PUSH4 0xb4e4b296
00000d2f: SWAP1
00000d30: DUP5
00000d31: SWAP1
00000d32: PUSH2 0x0d41
00000d35: SWAP1
00000d36: DUP6
00000d37: SWAP1
00000d38: DUP11
00000d39: SWAP1
00000d3a: PUSH1 0x04
00000d3c: ADD
00000d3d: PUSH2 0x2540
00000d40: JUMP
00000d41: JUMPDEST
00000d42: PUSH1 0x00
00000d44: PUSH1 0x40
00000d46: MLOAD
00000d47: DUP1
00000d48: DUP4
00000d49: SUB
00000d4a: DUP2
00000d4b: DUP6
00000d4c: DUP9
00000d4d: DUP1
00000d4e: EXTCODESIZE
00000d4f: ISZERO
00000d50: DUP1
00000d51: ISZERO
00000d52: PUSH2 0x0d5a
00000d55: JUMPI
00000d56: PUSH1 0x00
00000d58: DUP1
00000d59: REVERT
00000d5a: JUMPDEST
00000d5b: POP
00000d5c: GAS
00000d5d: CALL
00000d5e: ISZERO
00000d5f: DUP1
00000d60: ISZERO
00000d61: PUSH2 0x0d6e
00000d64: JUMPI
00000d65: RETURNDATASIZE
00000d66: PUSH1 0x00
00000d68: DUP1
00000d69: RETURNDATACOPY
00000d6a: RETURNDATASIZE
00000d6b: PUSH1 0x00
00000d6d: REVERT
00000d6e: JUMPDEST
00000d6f: POP
00000d70: POP
00000d71: POP
00000d72: POP
00000d73: POP
00000d74: PUSH2 0x0d96
00000d77: DUP8
00000d78: DUP7
00000d79: PUSH1 0x40
00000d7b: ADD
00000d7c: PUSH1 0x20
00000d7e: DUP2
00000d7f: ADD
00000d80: SWAP1
00000d81: PUSH2 0x0d8a
00000d84: SWAP2
00000d85: SWAP1
00000d86: PUSH2 0x1ee3
00000d89: JUMP
00000d8a: JUMPDEST
00000d8b: DUP8
00000d8c: PUSH1 0x80
00000d8e: ADD
00000d8f: CALLDATALOAD
00000d90: DUP7
00000d91: DUP9
00000d92: PUSH2 0x1231
00000d95: JUMP
00000d96: JUMPDEST
00000d97: POP
00000d98: POP
00000d99: POP
00000d9a: POP
00000d9b: POP
00000d9c: POP
00000d9d: POP
00000d9e: JUMP
00000d9f: JUMPDEST
00000da0: PUSH2 0x0da7
00000da3: PUSH2 0x0f9e
00000da6: JUMP
00000da7: JUMPDEST
00000da8: PUSH2 0x0c26
00000dab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000dc0: DUP5
00000dc1: AND
00000dc2: ADDRESS
00000dc3: DUP4
00000dc4: DUP6
00000dc5: PUSH2 0x16ab
00000dc8: JUMP
00000dc9: JUMPDEST
00000dca: PUSH2 0x0dd1
00000dcd: PUSH2 0x10a2
00000dd0: JUMP
00000dd1: JUMPDEST
00000dd2: PUSH1 0x00
00000dd4: DUP1
00000dd5: PUSH1 0x00
00000dd7: PUSH2 0x0de1
00000dda: DUP7
00000ddb: DUP7
00000ddc: DUP7
00000ddd: PUSH2 0x110f
00000de0: JUMP
00000de1: JUMPDEST
00000de2: PUSH1 0x40
00000de4: DUP1
00000de5: MLOAD
00000de6: PUSH1 0x01
00000de8: DUP1
00000de9: DUP3
00000dea: MSTORE
00000deb: DUP2
00000dec: DUP4
00000ded: ADD
00000dee: SWAP1
00000def: SWAP3
00000df0: MSTORE
00000df1: SWAP4
00000df2: SWAP7
00000df3: POP
00000df4: SWAP2
00000df5: SWAP5
00000df6: POP
00000df7: SWAP3
00000df8: POP
00000df9: PUSH1 0x00
00000dfb: SWAP2
00000dfc: SWAP1
00000dfd: PUSH1 0x20
00000dff: DUP1
00000e00: DUP4
00000e01: ADD
00000e02: SWAP1
00000e03: DUP1
00000e04: CALLDATASIZE
00000e05: DUP4
00000e06: CALLDATACOPY
00000e07: ADD
00000e08: SWAP1
00000e09: POP
00000e0a: POP
00000e0b: SWAP1
00000e0c: POP
00000e0d: DUP5
00000e0e: DUP2
00000e0f: PUSH1 0x00
00000e11: DUP2
00000e12: MLOAD
00000e13: DUP2
00000e14: LT
00000e15: PUSH2 0x0e20
00000e18: JUMPI
00000e19: PUSH2 0x0e20
00000e1c: PUSH2 0x2071
00000e1f: JUMP
00000e20: JUMPDEST
00000e21: PUSH1 0x20
00000e23: SWAP1
00000e24: DUP2
00000e25: MUL
00000e26: SWAP2
00000e27: SWAP1
00000e28: SWAP2
00000e29: ADD
00000e2a: ADD
00000e2b: MSTORE
00000e2c: PUSH1 0x40
00000e2e: MLOAD
00000e2f: PUSH32 0x6d8b99f700000000000000000000000000000000000000000000000000000000
00000e50: DUP2
00000e51: MSTORE
00000e52: DUP9
00000e53: SWAP1
00000e54: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e69: DUP3
00000e6a: AND
00000e6b: SWAP1
00000e6c: PUSH4 0x6d8b99f7
00000e71: SWAP1
00000e72: DUP6
00000e73: SWAP1
00000e74: PUSH2 0x0e8a
00000e77: SWAP1
00000e78: DUP7
00000e79: SWAP1
00000e7a: DUP4
00000e7b: SWAP1
00000e7c: ADDRESS
00000e7d: SWAP1
00000e7e: PUSH1 0x00
00000e80: SWAP1
00000e81: DUP2
00000e82: SWAP1
00000e83: PUSH1 0x04
00000e85: ADD
00000e86: PUSH2 0x270c
00000e89: JUMP
00000e8a: JUMPDEST
00000e8b: PUSH1 0x20
00000e8d: PUSH1 0x40
00000e8f: MLOAD
00000e90: DUP1
00000e91: DUP4
00000e92: SUB
00000e93: DUP2
00000e94: DUP6
00000e95: DUP9
00000e96: GAS
00000e97: CALL
00000e98: ISZERO
00000e99: DUP1
00000e9a: ISZERO
00000e9b: PUSH2 0x0ea8
00000e9e: JUMPI
00000e9f: RETURNDATASIZE
00000ea0: PUSH1 0x00
00000ea2: DUP1
00000ea3: RETURNDATACOPY
00000ea4: RETURNDATASIZE
00000ea5: PUSH1 0x00
00000ea7: REVERT
00000ea8: JUMPDEST
00000ea9: POP
00000eaa: POP
00000eab: POP
00000eac: POP
00000ead: POP
00000eae: PUSH1 0x40
00000eb0: MLOAD
00000eb1: RETURNDATASIZE
00000eb2: PUSH1 0x1f
00000eb4: NOT
00000eb5: PUSH1 0x1f
00000eb7: DUP3
00000eb8: ADD
00000eb9: AND
00000eba: DUP3
00000ebb: ADD
00000ebc: DUP1
00000ebd: PUSH1 0x40
00000ebf: MSTORE
00000ec0: POP
00000ec1: DUP2
00000ec2: ADD
00000ec3: SWAP1
00000ec4: PUSH2 0x0ecd
00000ec7: SWAP2
00000ec8: SWAP1
00000ec9: PUSH2 0x1f07
00000ecc: JUMP
00000ecd: JUMPDEST
00000ece: POP
00000ecf: PUSH2 0x0edb
00000ed2: DUP9
00000ed3: DUP12
00000ed4: DUP9
00000ed5: DUP8
00000ed6: DUP10
00000ed7: PUSH2 0x1231
00000eda: JUMP
00000edb: JUMPDEST
00000edc: POP
00000edd: POP
00000ede: POP
00000edf: POP
00000ee0: POP
00000ee1: POP
00000ee2: POP
00000ee3: POP
00000ee4: POP
00000ee5: POP
00000ee6: JUMP
00000ee7: JUMPDEST
00000ee8: PUSH2 0x0eef
00000eeb: PUSH2 0x0f9e
00000eee: JUMP
00000eef: JUMPDEST
00000ef0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f05: DUP2
00000f06: AND
00000f07: PUSH2 0x0f92
00000f0a: JUMPI
00000f0b: PUSH1 0x40
00000f0d: MLOAD
00000f0e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000f2f: DUP2
00000f30: MSTORE
00000f31: PUSH1 0x20
00000f33: PUSH1 0x04
00000f35: DUP3
00000f36: ADD
00000f37: MSTORE
00000f38: PUSH1 0x26
00000f3a: PUSH1 0x24
00000f3c: DUP3
00000f3d: ADD
00000f3e: MSTORE
00000f3f: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061
00000f60: PUSH1 0x44
00000f62: DUP3
00000f63: ADD
00000f64: MSTORE
00000f65: PUSH32 0x6464726573730000000000000000000000000000000000000000000000000000
00000f86: PUSH1 0x64
00000f88: DUP3
00000f89: ADD
00000f8a: MSTORE
00000f8b: PUSH1 0x84
00000f8d: ADD
00000f8e: PUSH2 0x079e
00000f91: JUMP
00000f92: JUMPDEST
00000f93: PUSH2 0x0f9b
00000f96: DUP2
00000f97: PUSH2 0x15d3
00000f9a: JUMP
00000f9b: JUMPDEST
00000f9c: POP
00000f9d: JUMP
00000f9e: JUMPDEST
00000f9f: PUSH1 0x00
00000fa1: SLOAD
00000fa2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fb7: PUSH2 0x0100
00000fba: SWAP1
00000fbb: SWAP2
00000fbc: DIV
00000fbd: AND
00000fbe: CALLER
00000fbf: EQ
00000fc0: PUSH2 0x0332
00000fc3: JUMPI
00000fc4: PUSH1 0x40
00000fc6: MLOAD
00000fc7: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000fe8: DUP2
00000fe9: MSTORE
00000fea: PUSH1 0x20
00000fec: PUSH1 0x04
00000fee: DUP3
00000fef: ADD
00000ff0: DUP2
00000ff1: SWAP1
00000ff2: MSTORE
00000ff3: PUSH1 0x24
00000ff5: DUP3
00000ff6: ADD
00000ff7: MSTORE
00000ff8: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00001019: PUSH1 0x44
0000101b: DUP3
0000101c: ADD
0000101d: MSTORE
0000101e: PUSH1 0x64
00001020: ADD
00001021: PUSH2 0x079e
00001024: JUMP
00001025: JUMPDEST
00001026: PUSH2 0x102d
00001029: PUSH2 0x1771
0000102c: JUMP
0000102d: JUMPDEST
0000102e: PUSH1 0x00
00001030: DUP1
00001031: SLOAD
00001032: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
00001053: AND
00001054: SWAP1
00001055: SSTORE
00001056: PUSH32 0x5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa
00001077: CALLER
00001078: JUMPDEST
00001079: PUSH1 0x40
0000107b: MLOAD
0000107c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001091: SWAP1
00001092: SWAP2
00001093: AND
00001094: DUP2
00001095: MSTORE
00001096: PUSH1 0x20
00001098: ADD
00001099: PUSH1 0x40
0000109b: MLOAD
0000109c: DUP1
0000109d: SWAP2
0000109e: SUB
0000109f: SWAP1
000010a0: LOG1
000010a1: JUMP
000010a2: JUMPDEST
000010a3: PUSH1 0x00
000010a5: SLOAD
000010a6: PUSH1 0xff
000010a8: AND
000010a9: ISZERO
000010aa: PUSH2 0x0332
000010ad: JUMPI
000010ae: PUSH1 0x40
000010b0: MLOAD
000010b1: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000010d2: DUP2
000010d3: MSTORE
000010d4: PUSH1 0x20
000010d6: PUSH1 0x04
000010d8: DUP3
000010d9: ADD
000010da: MSTORE
000010db: PUSH1 0x10
000010dd: PUSH1 0x24
000010df: DUP3
000010e0: ADD
000010e1: MSTORE
000010e2: PUSH32 0x5061757361626c653a2070617573656400000000000000000000000000000000
00001103: PUSH1 0x44
00001105: DUP3
00001106: ADD
00001107: MSTORE
00001108: PUSH1 0x64
0000110a: ADD
0000110b: PUSH2 0x079e
0000110e: JUMP
0000110f: JUMPDEST
00001110: PUSH1 0x00
00001112: DUP1
00001113: PUSH1 0x00
00001115: DUP5
00001116: CALLVALUE
00001117: LT
00001118: ISZERO
00001119: PUSH2 0x117e
0000111c: JUMPI
0000111d: PUSH1 0x40
0000111f: MLOAD
00001120: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001141: DUP2
00001142: MSTORE
00001143: PUSH1 0x20
00001145: PUSH1 0x04
00001147: DUP3
00001148: ADD
00001149: MSTORE
0000114a: PUSH1 0x15
0000114c: PUSH1 0x24
0000114e: DUP3
0000114f: ADD
00001150: MSTORE
00001151: PUSH32 0x496e73756666696369656e74204554482073656e740000000000000000000000
00001172: PUSH1 0x44
00001174: DUP3
00001175: ADD
00001176: MSTORE
00001177: PUSH1 0x64
00001179: ADD
0000117a: PUSH2 0x079e
0000117d: JUMP
0000117e: JUMPDEST
0000117f: PUSH2 0x1188
00001182: CALLVALUE
00001183: SELFBALANCE
00001184: PUSH2 0x275b
00001187: JUMP
00001188: JUMPDEST
00001189: PUSH1 0x40
0000118b: MLOAD
0000118c: PUSH32 0x30a9753500000000000000000000000000000000000000000000000000000000
000011ad: DUP2
000011ae: MSTORE
000011af: PUSH1 0x04
000011b1: DUP2
000011b2: ADD
000011b3: DUP7
000011b4: SWAP1
000011b5: MSTORE
000011b6: SWAP1
000011b7: SWAP4
000011b8: POP
000011b9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011ce: DUP8
000011cf: AND
000011d0: SWAP1
000011d1: PUSH4 0x30a97535
000011d6: SWAP1
000011d7: PUSH1 0x24
000011d9: ADD
000011da: PUSH1 0x20
000011dc: PUSH1 0x40
000011de: MLOAD
000011df: DUP1
000011e0: DUP4
000011e1: SUB
000011e2: DUP2
000011e3: DUP7
000011e4: GAS
000011e5: STATICCALL
000011e6: ISZERO
000011e7: DUP1
000011e8: ISZERO
000011e9: PUSH2 0x11f6
000011ec: JUMPI
000011ed: RETURNDATASIZE
000011ee: PUSH1 0x00
000011f0: DUP1
000011f1: RETURNDATACOPY
000011f2: RETURNDATASIZE
000011f3: PUSH1 0x00
000011f5: REVERT
000011f6: JUMPDEST
000011f7: POP
000011f8: POP
000011f9: POP
000011fa: POP
000011fb: PUSH1 0x40
000011fd: MLOAD
000011fe: RETURNDATASIZE
000011ff: PUSH1 0x1f
00001201: NOT
00001202: PUSH1 0x1f
00001204: DUP3
00001205: ADD
00001206: AND
00001207: DUP3
00001208: ADD
00001209: DUP1
0000120a: PUSH1 0x40
0000120c: MSTORE
0000120d: POP
0000120e: DUP2
0000120f: ADD
00001210: SWAP1
00001211: PUSH2 0x121a
00001214: SWAP2
00001215: SWAP1
00001216: PUSH2 0x1f07
00001219: JUMP
0000121a: JUMPDEST
0000121b: SWAP2
0000121c: POP
0000121d: PUSH2 0x1226
00001220: DUP6
00001221: DUP4
00001222: PUSH2 0x1f4f
00001225: JUMP
00001226: JUMPDEST
00001227: SWAP1
00001228: POP
00001229: SWAP4
0000122a: POP
0000122b: SWAP4
0000122c: POP
0000122d: SWAP4
0000122e: SWAP1
0000122f: POP
00001230: JUMP
00001231: JUMPDEST
00001232: PUSH1 0x40
00001234: MLOAD
00001235: PUSH32 0x095ea7b300000000000000000000000000000000000000000000000000000000
00001256: DUP2
00001257: MSTORE
00001258: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000126d: DUP7
0000126e: DUP2
0000126f: AND
00001270: PUSH1 0x04
00001272: DUP4
00001273: ADD
00001274: MSTORE
00001275: PUSH1 0x24
00001277: DUP3
00001278: ADD
00001279: DUP6
0000127a: SWAP1
0000127b: MSTORE
0000127c: DUP6
0000127d: AND
0000127e: SWAP1
0000127f: PUSH4 0x095ea7b3
00001284: SWAP1
00001285: PUSH1 0x44
00001287: ADD
00001288: PUSH1 0x00
0000128a: PUSH1 0x40
0000128c: MLOAD
0000128d: DUP1
0000128e: DUP4
0000128f: SUB
00001290: DUP2
00001291: PUSH1 0x00
00001293: DUP8
00001294: DUP1
00001295: EXTCODESIZE
00001296: ISZERO
00001297: DUP1
00001298: ISZERO
00001299: PUSH2 0x12a1
0000129c: JUMPI
0000129d: PUSH1 0x00
0000129f: DUP1
000012a0: REVERT
000012a1: JUMPDEST
000012a2: POP
000012a3: GAS
000012a4: CALL
000012a5: ISZERO
000012a6: DUP1
000012a7: ISZERO
000012a8: PUSH2 0x12b5
000012ab: JUMPI
000012ac: RETURNDATASIZE
000012ad: PUSH1 0x00
000012af: DUP1
000012b0: RETURNDATACOPY
000012b1: RETURNDATASIZE
000012b2: PUSH1 0x00
000012b4: REVERT
000012b5: JUMPDEST
000012b6: POP
000012b7: POP
000012b8: PUSH1 0x40
000012ba: MLOAD
000012bb: PUSH32 0x71ed810000000000000000000000000000000000000000000000000000000000
000012dc: DUP2
000012dd: MSTORE
000012de: PUSH1 0x04
000012e0: DUP2
000012e1: ADD
000012e2: DUP7
000012e3: SWAP1
000012e4: MSTORE
000012e5: PUSH1 0x24
000012e7: DUP2
000012e8: ADD
000012e9: DUP6
000012ea: SWAP1
000012eb: MSTORE
000012ec: PUSH1 0x00
000012ee: SWAP3
000012ef: POP
000012f0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001305: DUP9
00001306: AND
00001307: SWAP2
00001308: POP
00001309: PUSH4 0x71ed8100
0000130e: SWAP1
0000130f: PUSH1 0x44
00001311: ADD
00001312: PUSH1 0x40
00001314: DUP1
00001315: MLOAD
00001316: DUP1
00001317: DUP4
00001318: SUB
00001319: DUP2
0000131a: PUSH1 0x00
0000131c: DUP8
0000131d: GAS
0000131e: CALL
0000131f: ISZERO
00001320: DUP1
00001321: ISZERO
00001322: PUSH2 0x132f
00001325: JUMPI
00001326: RETURNDATASIZE
00001327: PUSH1 0x00
00001329: DUP1
0000132a: RETURNDATACOPY
0000132b: RETURNDATASIZE
0000132c: PUSH1 0x00
0000132e: REVERT
0000132f: JUMPDEST
00001330: POP
00001331: POP
00001332: POP
00001333: POP
00001334: PUSH1 0x40
00001336: MLOAD
00001337: RETURNDATASIZE
00001338: PUSH1 0x1f
0000133a: NOT
0000133b: PUSH1 0x1f
0000133d: DUP3
0000133e: ADD
0000133f: AND
00001340: DUP3
00001341: ADD
00001342: DUP1
00001343: PUSH1 0x40
00001345: MSTORE
00001346: POP
00001347: DUP2
00001348: ADD
00001349: SWAP1
0000134a: PUSH2 0x1353
0000134d: SWAP2
0000134e: SWAP1
0000134f: PUSH2 0x2772
00001352: JUMP
00001353: JUMPDEST
00001354: POP
00001355: PUSH1 0x40
00001357: MLOAD
00001358: PUSH32 0x23b872dd00000000000000000000000000000000000000000000000000000000
00001379: DUP2
0000137a: MSTORE
0000137b: ADDRESS
0000137c: PUSH1 0x04
0000137e: DUP3
0000137f: ADD
00001380: MSTORE
00001381: CALLER
00001382: PUSH1 0x24
00001384: DUP3
00001385: ADD
00001386: MSTORE
00001387: PUSH1 0x44
00001389: DUP2
0000138a: ADD
0000138b: DUP3
0000138c: SWAP1
0000138d: MSTORE
0000138e: SWAP1
0000138f: SWAP2
00001390: POP
00001391: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013a6: DUP8
000013a7: AND
000013a8: SWAP1
000013a9: PUSH4 0x23b872dd
000013ae: SWAP1
000013af: PUSH1 0x64
000013b1: ADD
000013b2: PUSH1 0x00
000013b4: PUSH1 0x40
000013b6: MLOAD
000013b7: DUP1
000013b8: DUP4
000013b9: SUB
000013ba: DUP2
000013bb: PUSH1 0x00
000013bd: DUP8
000013be: DUP1
000013bf: EXTCODESIZE
000013c0: ISZERO
000013c1: DUP1
000013c2: ISZERO
000013c3: PUSH2 0x13cb
000013c6: JUMPI
000013c7: PUSH1 0x00
000013c9: DUP1
000013ca: REVERT
000013cb: JUMPDEST
000013cc: POP
000013cd: GAS
000013ce: CALL
000013cf: ISZERO
000013d0: DUP1
000013d1: ISZERO
000013d2: PUSH2 0x13df
000013d5: JUMPI
000013d6: RETURNDATASIZE
000013d7: PUSH1 0x00
000013d9: DUP1
000013da: RETURNDATACOPY
000013db: RETURNDATASIZE
000013dc: PUSH1 0x00
000013de: REVERT
000013df: JUMPDEST
000013e0: POP
000013e1: POP
000013e2: PUSH1 0x40
000013e4: MLOAD
000013e5: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000
00001406: DUP2
00001407: MSTORE
00001408: ADDRESS
00001409: PUSH1 0x04
0000140b: DUP3
0000140c: ADD
0000140d: MSTORE
0000140e: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2
0000142f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001444: AND
00001445: SWAP3
00001446: POP
00001447: PUSH4 0x2e1a7d4d
0000144c: SWAP2
0000144d: POP
0000144e: DUP3
0000144f: SWAP1
00001450: PUSH4 0x70a08231
00001455: SWAP1
00001456: PUSH1 0x24
00001458: ADD
00001459: PUSH1 0x20
0000145b: PUSH1 0x40
0000145d: MLOAD
0000145e: DUP1
0000145f: DUP4
00001460: SUB
00001461: DUP2
00001462: DUP7
00001463: GAS
00001464: STATICCALL
00001465: ISZERO
00001466: DUP1
00001467: ISZERO
00001468: PUSH2 0x1475
0000146b: JUMPI
0000146c: RETURNDATASIZE
0000146d: PUSH1 0x00
0000146f: DUP1
00001470: RETURNDATACOPY
00001471: RETURNDATASIZE
00001472: PUSH1 0x00
00001474: REVERT
00001475: JUMPDEST
00001476: POP
00001477: POP
00001478: POP
00001479: POP
0000147a: PUSH1 0x40
0000147c: MLOAD
0000147d: RETURNDATASIZE
0000147e: PUSH1 0x1f
00001480: NOT
00001481: PUSH1 0x1f
00001483: DUP3
00001484: ADD
00001485: AND
00001486: DUP3
00001487: ADD
00001488: DUP1
00001489: PUSH1 0x40
0000148b: MSTORE
0000148c: POP
0000148d: DUP2
0000148e: ADD
0000148f: SWAP1
00001490: PUSH2 0x1499
00001493: SWAP2
00001494: SWAP1
00001495: PUSH2 0x1f07
00001498: JUMP
00001499: JUMPDEST
0000149a: PUSH1 0x40
0000149c: MLOAD
0000149d: DUP3
0000149e: PUSH4 0xffffffff
000014a3: AND
000014a4: PUSH1 0xe0
000014a6: SHL
000014a7: DUP2
000014a8: MSTORE
000014a9: PUSH1 0x04
000014ab: ADD
000014ac: PUSH2 0x14b7
000014af: SWAP2
000014b0: DUP2
000014b1: MSTORE
000014b2: PUSH1 0x20
000014b4: ADD
000014b5: SWAP1
000014b6: JUMP
000014b7: JUMPDEST
000014b8: PUSH1 0x00
000014ba: PUSH1 0x40
000014bc: MLOAD
000014bd: DUP1
000014be: DUP4
000014bf: SUB
000014c0: DUP2
000014c1: PUSH1 0x00
000014c3: DUP8
000014c4: DUP1
000014c5: EXTCODESIZE
000014c6: ISZERO
000014c7: DUP1
000014c8: ISZERO
000014c9: PUSH2 0x14d1
000014cc: JUMPI
000014cd: PUSH1 0x00
000014cf: DUP1
000014d0: REVERT
000014d1: JUMPDEST
000014d2: POP
000014d3: GAS
000014d4: CALL
000014d5: ISZERO
000014d6: DUP1
000014d7: ISZERO
000014d8: PUSH2 0x14e5
000014db: JUMPI
000014dc: RETURNDATASIZE
000014dd: PUSH1 0x00
000014df: DUP1
000014e0: RETURNDATACOPY
000014e1: RETURNDATASIZE
000014e2: PUSH1 0x00
000014e4: REVERT
000014e5: JUMPDEST
000014e6: POP
000014e7: SELFBALANCE
000014e8: SWAP3
000014e9: POP
000014ea: PUSH1 0x00
000014ec: SWAP2
000014ed: POP
000014ee: PUSH2 0x14f9
000014f1: SWAP1
000014f2: POP
000014f3: DUP5
000014f4: DUP4
000014f5: PUSH2 0x275b
000014f8: JUMP
000014f9: JUMPDEST
000014fa: SWAP1
000014fb: POP
000014fc: DUP4
000014fd: PUSH2 0x1506
00001500: DUP3
00001501: DUP5
00001502: PUSH2 0x275b
00001505: JUMP
00001506: JUMPDEST
00001507: LT
00001508: ISZERO
00001509: PUSH2 0x1594
0000150c: JUMPI
0000150d: PUSH1 0x40
0000150f: MLOAD
00001510: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001531: DUP2
00001532: MSTORE
00001533: PUSH1 0x20
00001535: PUSH1 0x04
00001537: DUP3
00001538: ADD
00001539: MSTORE
0000153a: PUSH1 0x30
0000153c: PUSH1 0x24
0000153e: DUP3
0000153f: ADD
00001540: MSTORE
00001541: PUSH32 0x496e697469616c20616e642066696e616c20666c617368206c6f616e2066756e
00001562: PUSH1 0x44
00001564: DUP3
00001565: ADD
00001566: MSTORE
00001567: PUSH32 0x647320617265206e6f7420657175616c00000000000000000000000000000000
00001588: PUSH1 0x64
0000158a: DUP3
0000158b: ADD
0000158c: MSTORE
0000158d: PUSH1 0x84
0000158f: ADD
00001590: PUSH2 0x079e
00001593: JUMP
00001594: JUMPDEST
00001595: DUP1
00001596: ISZERO
00001597: PUSH2 0x15c9
0000159a: JUMPI
0000159b: PUSH1 0x40
0000159d: MLOAD
0000159e: CALLER
0000159f: SWAP1
000015a0: DUP3
000015a1: ISZERO
000015a2: PUSH2 0x08fc
000015a5: MUL
000015a6: SWAP1
000015a7: DUP4
000015a8: SWAP1
000015a9: PUSH1 0x00
000015ab: DUP2
000015ac: DUP2
000015ad: DUP2
000015ae: DUP6
000015af: DUP9
000015b0: DUP9
000015b1: CALL
000015b2: SWAP4
000015b3: POP
000015b4: POP
000015b5: POP
000015b6: POP
000015b7: ISZERO
000015b8: DUP1
000015b9: ISZERO
000015ba: PUSH2 0x15c7
000015bd: JUMPI
000015be: RETURNDATASIZE
000015bf: PUSH1 0x00
000015c1: DUP1
000015c2: RETURNDATACOPY
000015c3: RETURNDATASIZE
000015c4: PUSH1 0x00
000015c6: REVERT
000015c7: JUMPDEST
000015c8: POP
000015c9: JUMPDEST
000015ca: POP
000015cb: POP
000015cc: POP
000015cd: POP
000015ce: POP
000015cf: POP
000015d0: POP
000015d1: POP
000015d2: JUMP
000015d3: JUMPDEST
000015d4: PUSH1 0x00
000015d6: DUP1
000015d7: SLOAD
000015d8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015ed: DUP4
000015ee: DUP2
000015ef: AND
000015f0: PUSH2 0x0100
000015f3: DUP2
000015f4: DUP2
000015f5: MUL
000015f6: PUSH32 0xffffffffffffffffffffff0000000000000000000000000000000000000000ff
00001617: DUP6
00001618: AND
00001619: OR
0000161a: DUP6
0000161b: SSTORE
0000161c: PUSH1 0x40
0000161e: MLOAD
0000161f: SWAP4
00001620: DIV
00001621: SWAP2
00001622: SWAP1
00001623: SWAP2
00001624: AND
00001625: SWAP3
00001626: SWAP1
00001627: SWAP2
00001628: DUP4
00001629: SWAP2
0000162a: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
0000164b: SWAP2
0000164c: LOG3
0000164d: POP
0000164e: POP
0000164f: JUMP
00001650: JUMPDEST
00001651: PUSH2 0x1658
00001654: PUSH2 0x10a2
00001657: JUMP
00001658: JUMPDEST
00001659: PUSH1 0x00
0000165b: DUP1
0000165c: SLOAD
0000165d: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
0000167e: AND
0000167f: PUSH1 0x01
00001681: OR
00001682: SWAP1
00001683: SSTORE
00001684: PUSH32 0x62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a258
000016a5: PUSH2 0x1078
000016a8: CALLER
000016a9: SWAP1
000016aa: JUMP
000016ab: JUMPDEST
000016ac: PUSH1 0x00
000016ae: PUSH1 0x40
000016b0: MLOAD
000016b1: PUSH32 0x23b872dd00000000000000000000000000000000000000000000000000000000
000016d2: DUP2
000016d3: MSTORE
000016d4: DUP5
000016d5: PUSH1 0x04
000016d7: DUP3
000016d8: ADD
000016d9: MSTORE
000016da: DUP4
000016db: PUSH1 0x24
000016dd: DUP3
000016de: ADD
000016df: MSTORE
000016e0: DUP3
000016e1: PUSH1 0x44
000016e3: DUP3
000016e4: ADD
000016e5: MSTORE
000016e6: PUSH1 0x20
000016e8: PUSH1 0x00
000016ea: PUSH1 0x64
000016ec: DUP4
000016ed: PUSH1 0x00
000016ef: DUP11
000016f0: GAS
000016f1: CALL
000016f2: RETURNDATASIZE
000016f3: ISZERO
000016f4: PUSH1 0x1f
000016f6: RETURNDATASIZE
000016f7: GT
000016f8: PUSH1 0x01
000016fa: PUSH1 0x00
000016fc: MLOAD
000016fd: EQ
000016fe: AND
000016ff: OR
00001700: AND
00001701: SWAP2
00001702: POP
00001703: POP
00001704: DUP1
00001705: PUSH2 0x176a
00001708: JUMPI
00001709: PUSH1 0x40
0000170b: MLOAD
0000170c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000172d: DUP2
0000172e: MSTORE
0000172f: PUSH1 0x20
00001731: PUSH1 0x04
00001733: DUP3
00001734: ADD
00001735: MSTORE
00001736: PUSH1 0x14
00001738: PUSH1 0x24
0000173a: DUP3
0000173b: ADD
0000173c: MSTORE
0000173d: PUSH32 0x5452414e534645525f46524f4d5f4641494c4544000000000000000000000000
0000175e: PUSH1 0x44
00001760: DUP3
00001761: ADD
00001762: MSTORE
00001763: PUSH1 0x64
00001765: ADD
00001766: PUSH2 0x079e
00001769: JUMP
0000176a: JUMPDEST
0000176b: POP
0000176c: POP
0000176d: POP
0000176e: POP
0000176f: POP
00001770: JUMP
00001771: JUMPDEST
00001772: PUSH1 0x00
00001774: SLOAD
00001775: PUSH1 0xff
00001777: AND
00001778: PUSH2 0x0332
0000177b: JUMPI
0000177c: PUSH1 0x40
0000177e: MLOAD
0000177f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000017a0: DUP2
000017a1: MSTORE
000017a2: PUSH1 0x20
000017a4: PUSH1 0x04
000017a6: DUP3
000017a7: ADD
000017a8: MSTORE
000017a9: PUSH1 0x14
000017ab: PUSH1 0x24
000017ad: DUP3
000017ae: ADD
000017af: MSTORE
000017b0: PUSH32 0x5061757361626c653a206e6f7420706175736564000000000000000000000000
000017d1: PUSH1 0x44
000017d3: DUP3
000017d4: ADD
000017d5: MSTORE
000017d6: PUSH1 0x64
000017d8: ADD
000017d9: PUSH2 0x079e
000017dc: JUMP
000017dd: JUMPDEST
000017de: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017f3: DUP2
000017f4: AND
000017f5: DUP2
000017f6: EQ
000017f7: PUSH2 0x0f9b
000017fa: JUMPI
000017fb: PUSH1 0x00
000017fd: DUP1
000017fe: REVERT
000017ff: JUMPDEST
00001800: DUP1
00001801: CALLDATALOAD
00001802: PUSH2 0x180a
00001805: DUP2
00001806: PUSH2 0x17dd
00001809: JUMP
0000180a: JUMPDEST
0000180b: SWAP2
0000180c: SWAP1
0000180d: POP
0000180e: JUMP
0000180f: JUMPDEST
00001810: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00001831: PUSH1 0x00
00001833: MSTORE
00001834: PUSH1 0x41
00001836: PUSH1 0x04
00001838: MSTORE
00001839: PUSH1 0x24
0000183b: PUSH1 0x00
0000183d: REVERT
0000183e: JUMPDEST
0000183f: PUSH1 0x40
00001841: DUP1
00001842: MLOAD
00001843: SWAP1
00001844: DUP2
00001845: ADD
00001846: PUSH8 0xffffffffffffffff
0000184f: DUP2
00001850: GT
00001851: DUP3
00001852: DUP3
00001853: LT
00001854: OR
00001855: ISZERO
00001856: PUSH2 0x1861
00001859: JUMPI
0000185a: PUSH2 0x1861
0000185d: PUSH2 0x180f
00001860: JUMP
00001861: JUMPDEST
00001862: PUSH1 0x40
00001864: MSTORE
00001865: SWAP1
00001866: JUMP
00001867: JUMPDEST
00001868: PUSH1 0x40
0000186a: MLOAD
0000186b: PUSH2 0x0240
0000186e: DUP2
0000186f: ADD
00001870: PUSH8 0xffffffffffffffff
00001879: DUP2
0000187a: GT
0000187b: DUP3
0000187c: DUP3
0000187d: LT
0000187e: OR
0000187f: ISZERO
00001880: PUSH2 0x1861
00001883: JUMPI
00001884: PUSH2 0x1861
00001887: PUSH2 0x180f
0000188a: JUMP
0000188b: JUMPDEST
0000188c: PUSH1 0x40
0000188e: MLOAD
0000188f: PUSH1 0x1f
00001891: DUP3
00001892: ADD
00001893: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
000018b4: AND
000018b5: DUP2
000018b6: ADD
000018b7: PUSH8 0xffffffffffffffff
000018c0: DUP2
000018c1: GT
000018c2: DUP3
000018c3: DUP3
000018c4: LT
000018c5: OR
000018c6: ISZERO
000018c7: PUSH2 0x18d2
000018ca: JUMPI
000018cb: PUSH2 0x18d2
000018ce: PUSH2 0x180f
000018d1: JUMP
000018d2: JUMPDEST
000018d3: PUSH1 0x40
000018d5: MSTORE
000018d6: SWAP2
000018d7: SWAP1
000018d8: POP
000018d9: JUMP
000018da: JUMPDEST
000018db: PUSH1 0x00
000018dd: DUP3
000018de: PUSH1 0x1f
000018e0: DUP4
000018e1: ADD
000018e2: SLT
000018e3: PUSH2 0x18eb
000018e6: JUMPI
000018e7: PUSH1 0x00
000018e9: DUP1
000018ea: REVERT
000018eb: JUMPDEST
000018ec: DUP2
000018ed: CALLDATALOAD
000018ee: PUSH8 0xffffffffffffffff
000018f7: DUP2
000018f8: GT
000018f9: ISZERO
000018fa: PUSH2 0x1905
000018fd: JUMPI
000018fe: PUSH2 0x1905
00001901: PUSH2 0x180f
00001904: JUMP
00001905: JUMPDEST
00001906: PUSH2 0x1936
00001909: PUSH1 0x20
0000190b: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
0000192c: PUSH1 0x1f
0000192e: DUP5
0000192f: ADD
00001930: AND
00001931: ADD
00001932: PUSH2 0x188b
00001935: JUMP
00001936: JUMPDEST
00001937: DUP2
00001938: DUP2
00001939: MSTORE
0000193a: DUP5
0000193b: PUSH1 0x20
0000193d: DUP4
0000193e: DUP7
0000193f: ADD
00001940: ADD
00001941: GT
00001942: ISZERO
00001943: PUSH2 0x194b
00001946: JUMPI
00001947: PUSH1 0x00
00001949: DUP1
0000194a: REVERT
0000194b: JUMPDEST
0000194c: DUP2
0000194d: PUSH1 0x20
0000194f: DUP6
00001950: ADD
00001951: PUSH1 0x20
00001953: DUP4
00001954: ADD
00001955: CALLDATACOPY
00001956: PUSH1 0x00
00001958: SWAP2
00001959: DUP2
0000195a: ADD
0000195b: PUSH1 0x20
0000195d: ADD
0000195e: SWAP2
0000195f: SWAP1
00001960: SWAP2
00001961: MSTORE
00001962: SWAP4
00001963: SWAP3
00001964: POP
00001965: POP
00001966: POP
00001967: JUMP
00001968: JUMPDEST
00001969: PUSH1 0x00
0000196b: DUP1
0000196c: PUSH1 0x00
0000196e: DUP1
0000196f: PUSH1 0x80
00001971: DUP6
00001972: DUP8
00001973: SUB
00001974: SLT
00001975: ISZERO
00001976: PUSH2 0x197e
00001979: JUMPI
0000197a: PUSH1 0x00
0000197c: DUP1
0000197d: REVERT
0000197e: JUMPDEST
0000197f: DUP5
00001980: CALLDATALOAD
00001981: PUSH2 0x1989
00001984: DUP2
00001985: PUSH2 0x17dd
00001988: JUMP
00001989: JUMPDEST
0000198a: SWAP4
0000198b: POP
0000198c: PUSH1 0x20
0000198e: DUP6
0000198f: ADD
00001990: CALLDATALOAD
00001991: PUSH2 0x1999
00001994: DUP2
00001995: PUSH2 0x17dd
00001998: JUMP
00001999: JUMPDEST
0000199a: SWAP3
0000199b: POP
0000199c: PUSH1 0x40
0000199e: DUP6
0000199f: ADD
000019a0: CALLDATALOAD
000019a1: SWAP2
000019a2: POP
000019a3: PUSH1 0x60
000019a5: DUP6
000019a6: ADD
000019a7: CALLDATALOAD
000019a8: PUSH8 0xffffffffffffffff
000019b1: DUP2
000019b2: GT
000019b3: ISZERO
000019b4: PUSH2 0x19bc
000019b7: JUMPI
000019b8: PUSH1 0x00
000019ba: DUP1
000019bb: REVERT
000019bc: JUMPDEST
000019bd: PUSH2 0x19c8
000019c0: DUP8
000019c1: DUP3
000019c2: DUP9
000019c3: ADD
000019c4: PUSH2 0x18da
000019c7: JUMP
000019c8: JUMPDEST
000019c9: SWAP2
000019ca: POP
000019cb: POP
000019cc: SWAP3
000019cd: SWAP6
000019ce: SWAP2
000019cf: SWAP5
000019d0: POP
000019d1: SWAP3
000019d2: POP
000019d3: JUMP
000019d4: JUMPDEST
000019d5: PUSH1 0x00
000019d7: DUP1
000019d8: DUP4
000019d9: PUSH1 0x1f
000019db: DUP5
000019dc: ADD
000019dd: SLT
000019de: PUSH2 0x19e6
000019e1: JUMPI
000019e2: PUSH1 0x00
000019e4: DUP1
000019e5: REVERT
000019e6: JUMPDEST
000019e7: POP
000019e8: DUP2
000019e9: CALLDATALOAD
000019ea: PUSH8 0xffffffffffffffff
000019f3: DUP2
000019f4: GT
000019f5: ISZERO
000019f6: PUSH2 0x19fe
000019f9: JUMPI
000019fa: PUSH1 0x00
000019fc: DUP1
000019fd: REVERT
000019fe: JUMPDEST
000019ff: PUSH1 0x20
00001a01: DUP4
00001a02: ADD
00001a03: SWAP2
00001a04: POP
00001a05: DUP4
00001a06: PUSH1 0x20
00001a08: DUP3
00001a09: PUSH1 0x05
00001a0b: SHL
00001a0c: DUP6
00001a0d: ADD
00001a0e: ADD
00001a0f: GT
00001a10: ISZERO
00001a11: PUSH2 0x1a19
00001a14: JUMPI
00001a15: PUSH1 0x00
00001a17: DUP1
00001a18: REVERT
00001a19: JUMPDEST
00001a1a: SWAP3
00001a1b: POP
00001a1c: SWAP3
00001a1d: SWAP1
00001a1e: POP
00001a1f: JUMP
00001a20: JUMPDEST
00001a21: PUSH1 0x00
00001a23: DUP1
00001a24: PUSH1 0x00
00001a26: PUSH1 0x40
00001a28: DUP5
00001a29: DUP7
00001a2a: SUB
00001a2b: SLT
00001a2c: ISZERO
00001a2d: PUSH2 0x1a35
00001a30: JUMPI
00001a31: PUSH1 0x00
00001a33: DUP1
00001a34: REVERT
00001a35: JUMPDEST
00001a36: DUP4
00001a37: CALLDATALOAD
00001a38: PUSH2 0x1a40
00001a3b: DUP2
00001a3c: PUSH2 0x17dd
00001a3f: JUMP
00001a40: JUMPDEST
00001a41: SWAP3
00001a42: POP
00001a43: PUSH1 0x20
00001a45: DUP5
00001a46: ADD
00001a47: CALLDATALOAD
00001a48: PUSH8 0xffffffffffffffff
00001a51: DUP2
00001a52: GT
00001a53: ISZERO
00001a54: PUSH2 0x1a5c
00001a57: JUMPI
00001a58: PUSH1 0x00
00001a5a: DUP1
00001a5b: REVERT
00001a5c: JUMPDEST
00001a5d: PUSH2 0x1a68
00001a60: DUP7
00001a61: DUP3
00001a62: DUP8
00001a63: ADD
00001a64: PUSH2 0x19d4
00001a67: JUMP
00001a68: JUMPDEST
00001a69: SWAP5
00001a6a: SWAP8
00001a6b: SWAP1
00001a6c: SWAP7
00001a6d: POP
00001a6e: SWAP4
00001a6f: SWAP5
00001a70: POP
00001a71: POP
00001a72: POP
00001a73: POP
00001a74: JUMP
00001a75: JUMPDEST
00001a76: DUP1
00001a77: CALLDATALOAD
00001a78: PUSH1 0x03
00001a7a: DUP2
00001a7b: LT
00001a7c: PUSH2 0x180a
00001a7f: JUMPI
00001a80: PUSH1 0x00
00001a82: DUP1
00001a83: REVERT
00001a84: JUMPDEST
00001a85: PUSH1 0x00
00001a87: PUSH8 0xffffffffffffffff
00001a90: DUP3
00001a91: GT
00001a92: ISZERO
00001a93: PUSH2 0x1a9e
00001a96: JUMPI
00001a97: PUSH2 0x1a9e
00001a9a: PUSH2 0x180f
00001a9d: JUMP
00001a9e: JUMPDEST
00001a9f: POP
00001aa0: PUSH1 0x05
00001aa2: SHL
00001aa3: PUSH1 0x20
00001aa5: ADD
00001aa6: SWAP1
00001aa7: JUMP
00001aa8: JUMPDEST
00001aa9: PUSH1 0x00
00001aab: DUP3
00001aac: PUSH1 0x1f
00001aae: DUP4
00001aaf: ADD
00001ab0: SLT
00001ab1: PUSH2 0x1ab9
00001ab4: JUMPI
00001ab5: PUSH1 0x00
00001ab7: DUP1
00001ab8: REVERT
00001ab9: JUMPDEST
00001aba: DUP2
00001abb: CALLDATALOAD
00001abc: PUSH1 0x20
00001abe: PUSH2 0x1ace
00001ac1: PUSH2 0x1ac9
00001ac4: DUP4
00001ac5: PUSH2 0x1a84
00001ac8: JUMP
00001ac9: JUMPDEST
00001aca: PUSH2 0x188b
00001acd: JUMP
00001ace: JUMPDEST
00001acf: DUP3
00001ad0: DUP2
00001ad1: MSTORE
00001ad2: PUSH1 0x06
00001ad4: SWAP3
00001ad5: SWAP1
00001ad6: SWAP3
00001ad7: SHL
00001ad8: DUP5
00001ad9: ADD
00001ada: DUP2
00001adb: ADD
00001adc: SWAP2
00001add: DUP2
00001ade: DUP2
00001adf: ADD
00001ae0: SWAP1
00001ae1: DUP7
00001ae2: DUP5
00001ae3: GT
00001ae4: ISZERO
00001ae5: PUSH2 0x1aed
00001ae8: JUMPI
00001ae9: PUSH1 0x00
00001aeb: DUP1
00001aec: REVERT
00001aed: JUMPDEST
00001aee: DUP3
00001aef: DUP7
00001af0: ADD
00001af1: JUMPDEST
00001af2: DUP5
00001af3: DUP2
00001af4: LT
00001af5: ISZERO
00001af6: PUSH2 0x1b35
00001af9: JUMPI
00001afa: PUSH1 0x40
00001afc: DUP2
00001afd: DUP10
00001afe: SUB
00001aff: SLT
00001b00: ISZERO
00001b01: PUSH2 0x1b0a
00001b04: JUMPI
00001b05: PUSH1 0x00
00001b07: DUP1
00001b08: DUP2
00001b09: REVERT
00001b0a: JUMPDEST
00001b0b: PUSH2 0x1b12
00001b0e: PUSH2 0x183e
00001b11: JUMP
00001b12: JUMPDEST
00001b13: DUP2
00001b14: CALLDATALOAD
00001b15: DUP2
00001b16: MSTORE
00001b17: DUP5
00001b18: DUP3
00001b19: ADD
00001b1a: CALLDATALOAD
00001b1b: PUSH2 0x1b23
00001b1e: DUP2
00001b1f: PUSH2 0x17dd
00001b22: JUMP
00001b23: JUMPDEST
00001b24: DUP2
00001b25: DUP7
00001b26: ADD
00001b27: MSTORE
00001b28: DUP4
00001b29: MSTORE
00001b2a: SWAP2
00001b2b: DUP4
00001b2c: ADD
00001b2d: SWAP2
00001b2e: PUSH1 0x40
00001b30: ADD
00001b31: PUSH2 0x1af1
00001b34: JUMP
00001b35: JUMPDEST
00001b36: POP
00001b37: SWAP7
00001b38: SWAP6
00001b39: POP
00001b3a: POP
00001b3b: POP
00001b3c: POP
00001b3d: POP
00001b3e: POP
00001b3f: JUMP
00001b40: JUMPDEST
00001b41: PUSH1 0x00
00001b43: DUP1
00001b44: PUSH1 0x00
00001b46: PUSH1 0x60
00001b48: DUP5
00001b49: DUP7
00001b4a: SUB
00001b4b: SLT
00001b4c: ISZERO
00001b4d: PUSH2 0x1b55
00001b50: JUMPI
00001b51: PUSH1 0x00
00001b53: DUP1
00001b54: REVERT
00001b55: JUMPDEST
00001b56: DUP4
00001b57: CALLDATALOAD
00001b58: PUSH2 0x1b60
00001b5b: DUP2
00001b5c: PUSH2 0x17dd
00001b5f: JUMP
00001b60: JUMPDEST
00001b61: SWAP3
00001b62: POP
00001b63: PUSH1 0x20
00001b65: DUP5
00001b66: ADD
00001b67: CALLDATALOAD
00001b68: SWAP2
00001b69: POP
00001b6a: PUSH1 0x40
00001b6c: DUP5
00001b6d: ADD
00001b6e: CALLDATALOAD
00001b6f: PUSH8 0xffffffffffffffff
00001b78: DUP1
00001b79: DUP3
00001b7a: GT
00001b7b: ISZERO
00001b7c: PUSH2 0x1b84
00001b7f: JUMPI
00001b80: PUSH1 0x00
00001b82: DUP1
00001b83: REVERT
00001b84: JUMPDEST
00001b85: SWAP1
00001b86: DUP6
00001b87: ADD
00001b88: SWAP1
00001b89: PUSH2 0x0240
00001b8c: DUP3
00001b8d: DUP9
00001b8e: SUB
00001b8f: SLT
00001b90: ISZERO
00001b91: PUSH2 0x1b99
00001b94: JUMPI
00001b95: PUSH1 0x00
00001b97: DUP1
00001b98: REVERT
00001b99: JUMPDEST
00001b9a: PUSH2 0x1ba1
00001b9d: PUSH2 0x1867
00001ba0: JUMP
00001ba1: JUMPDEST
00001ba2: PUSH2 0x1baa
00001ba5: DUP4
00001ba6: PUSH2 0x17ff
00001ba9: JUMP
00001baa: JUMPDEST
00001bab: DUP2
00001bac: MSTORE
00001bad: PUSH1 0x20
00001baf: DUP4
00001bb0: ADD
00001bb1: CALLDATALOAD
00001bb2: PUSH1 0x20
00001bb4: DUP3
00001bb5: ADD
00001bb6: MSTORE
00001bb7: PUSH1 0x40
00001bb9: DUP4
00001bba: ADD
00001bbb: CALLDATALOAD
00001bbc: PUSH1 0x40
00001bbe: DUP3
00001bbf: ADD
00001bc0: MSTORE
00001bc1: PUSH2 0x1bcc
00001bc4: PUSH1 0x60
00001bc6: DUP5
00001bc7: ADD
00001bc8: PUSH2 0x17ff
00001bcb: JUMP
00001bcc: JUMPDEST
00001bcd: PUSH1 0x60
00001bcf: DUP3
00001bd0: ADD
00001bd1: MSTORE
00001bd2: PUSH2 0x1bdd
00001bd5: PUSH1 0x80
00001bd7: DUP5
00001bd8: ADD
00001bd9: PUSH2 0x17ff
00001bdc: JUMP
00001bdd: JUMPDEST
00001bde: PUSH1 0x80
00001be0: DUP3
00001be1: ADD
00001be2: MSTORE
00001be3: PUSH2 0x1bee
00001be6: PUSH1 0xa0
00001be8: DUP5
00001be9: ADD
00001bea: PUSH2 0x17ff
00001bed: JUMP
00001bee: JUMPDEST
00001bef: PUSH1 0xa0
00001bf1: DUP3
00001bf2: ADD
00001bf3: MSTORE
00001bf4: PUSH1 0xc0
00001bf6: DUP4
00001bf7: ADD
00001bf8: CALLDATALOAD
00001bf9: PUSH1 0xc0
00001bfb: DUP3
00001bfc: ADD
00001bfd: MSTORE
00001bfe: PUSH1 0xe0
00001c00: DUP4
00001c01: ADD
00001c02: CALLDATALOAD
00001c03: PUSH1 0xe0
00001c05: DUP3
00001c06: ADD
00001c07: MSTORE
00001c08: PUSH2 0x0100
00001c0b: PUSH2 0x1c15
00001c0e: DUP2
00001c0f: DUP6
00001c10: ADD
00001c11: PUSH2 0x1a75
00001c14: JUMP
00001c15: JUMPDEST
00001c16: SWAP1
00001c17: DUP3
00001c18: ADD
00001c19: MSTORE
00001c1a: PUSH2 0x0120
00001c1d: DUP4
00001c1e: DUP2
00001c1f: ADD
00001c20: CALLDATALOAD
00001c21: SWAP1
00001c22: DUP3
00001c23: ADD
00001c24: MSTORE
00001c25: PUSH2 0x0140
00001c28: DUP1
00001c29: DUP5
00001c2a: ADD
00001c2b: CALLDATALOAD
00001c2c: SWAP1
00001c2d: DUP3
00001c2e: ADD
00001c2f: MSTORE
00001c30: PUSH2 0x0160
00001c33: DUP1
00001c34: DUP5
00001c35: ADD
00001c36: CALLDATALOAD
00001c37: SWAP1
00001c38: DUP3
00001c39: ADD
00001c3a: MSTORE
00001c3b: PUSH2 0x0180
00001c3e: DUP1
00001c3f: DUP5
00001c40: ADD
00001c41: CALLDATALOAD
00001c42: SWAP1
00001c43: DUP3
00001c44: ADD
00001c45: MSTORE
00001c46: PUSH2 0x01a0
00001c49: DUP1
00001c4a: DUP5
00001c4b: ADD
00001c4c: CALLDATALOAD
00001c4d: SWAP1
00001c4e: DUP3
00001c4f: ADD
00001c50: MSTORE
00001c51: PUSH2 0x01c0
00001c54: DUP1
00001c55: DUP5
00001c56: ADD
00001c57: CALLDATALOAD
00001c58: SWAP1
00001c59: DUP3
00001c5a: ADD
00001c5b: MSTORE
00001c5c: PUSH2 0x01e0
00001c5f: DUP1
00001c60: DUP5
00001c61: ADD
00001c62: CALLDATALOAD
00001c63: SWAP1
00001c64: DUP3
00001c65: ADD
00001c66: MSTORE
00001c67: PUSH2 0x0200
00001c6a: DUP1
00001c6b: DUP5
00001c6c: ADD
00001c6d: CALLDATALOAD
00001c6e: DUP4
00001c6f: DUP2
00001c70: GT
00001c71: ISZERO
00001c72: PUSH2 0x1c7a
00001c75: JUMPI
00001c76: PUSH1 0x00
00001c78: DUP1
00001c79: REVERT
00001c7a: JUMPDEST
00001c7b: PUSH2 0x1c86
00001c7e: DUP11
00001c7f: DUP3
00001c80: DUP8
00001c81: ADD
00001c82: PUSH2 0x1aa8
00001c85: JUMP
00001c86: JUMPDEST
00001c87: DUP3
00001c88: DUP5
00001c89: ADD
00001c8a: MSTORE
00001c8b: POP
00001c8c: POP
00001c8d: PUSH2 0x0220
00001c90: DUP1
00001c91: DUP5
00001c92: ADD
00001c93: CALLDATALOAD
00001c94: DUP4
00001c95: DUP2
00001c96: GT
00001c97: ISZERO
00001c98: PUSH2 0x1ca0
00001c9b: JUMPI
00001c9c: PUSH1 0x00
00001c9e: DUP1
00001c9f: REVERT
00001ca0: JUMPDEST
00001ca1: PUSH2 0x1cac
00001ca4: DUP11
00001ca5: DUP3
00001ca6: DUP8
00001ca7: ADD
00001ca8: PUSH2 0x18da
00001cab: JUMP
00001cac: JUMPDEST
00001cad: DUP3
00001cae: DUP5
00001caf: ADD
00001cb0: MSTORE
00001cb1: POP
00001cb2: POP
00001cb3: DUP1
00001cb4: SWAP4
00001cb5: POP
00001cb6: POP
00001cb7: POP
00001cb8: POP
00001cb9: SWAP3
00001cba: POP
00001cbb: SWAP3
00001cbc: POP
00001cbd: SWAP3
00001cbe: JUMP
00001cbf: JUMPDEST
00001cc0: PUSH1 0x00
00001cc2: DUP1
00001cc3: PUSH1 0x00
00001cc5: DUP1
00001cc6: PUSH1 0x00
00001cc8: DUP1
00001cc9: PUSH1 0x00
00001ccb: PUSH1 0xc0
00001ccd: DUP9
00001cce: DUP11
00001ccf: SUB
00001cd0: SLT
00001cd1: ISZERO
00001cd2: PUSH2 0x1cda
00001cd5: JUMPI
00001cd6: PUSH1 0x00
00001cd8: DUP1
00001cd9: REVERT
00001cda: JUMPDEST
00001cdb: DUP8
00001cdc: CALLDATALOAD
00001cdd: PUSH2 0x1ce5
00001ce0: DUP2
00001ce1: PUSH2 0x17dd
00001ce4: JUMP
00001ce5: JUMPDEST
00001ce6: SWAP7
00001ce7: POP
00001ce8: PUSH1 0x20
00001cea: DUP9
00001ceb: DUP2
00001cec: ADD
00001ced: CALLDATALOAD
00001cee: PUSH2 0x1cf6
00001cf1: DUP2
00001cf2: PUSH2 0x17dd
00001cf5: JUMP
00001cf6: JUMPDEST
00001cf7: SWAP7
00001cf8: POP
00001cf9: PUSH1 0x40
00001cfb: DUP10
00001cfc: ADD
00001cfd: CALLDATALOAD
00001cfe: PUSH2 0x1d06
00001d01: DUP2
00001d02: PUSH2 0x17dd
00001d05: JUMP
00001d06: JUMPDEST
00001d07: SWAP6
00001d08: POP
00001d09: PUSH1 0x60
00001d0b: DUP10
00001d0c: ADD
00001d0d: CALLDATALOAD
00001d0e: SWAP5
00001d0f: POP
00001d10: PUSH1 0x80
00001d12: DUP10
00001d13: ADD
00001d14: CALLDATALOAD
00001d15: PUSH8 0xffffffffffffffff
00001d1e: DUP1
00001d1f: DUP3
00001d20: GT
00001d21: ISZERO
00001d22: PUSH2 0x1d2a
00001d25: JUMPI
00001d26: PUSH1 0x00
00001d28: DUP1
00001d29: REVERT
00001d2a: JUMPDEST
00001d2b: PUSH2 0x1d36
00001d2e: DUP13
00001d2f: DUP4
00001d30: DUP14
00001d31: ADD
00001d32: PUSH2 0x19d4
00001d35: JUMP
00001d36: JUMPDEST
00001d37: SWAP1
00001d38: SWAP7
00001d39: POP
00001d3a: SWAP5
00001d3b: POP
00001d3c: PUSH1 0xa0
00001d3e: DUP12
00001d3f: ADD
00001d40: CALLDATALOAD
00001d41: SWAP2
00001d42: POP
00001d43: DUP1
00001d44: DUP3
00001d45: GT
00001d46: ISZERO
00001d47: PUSH2 0x1d4f
00001d4a: JUMPI
00001d4b: PUSH1 0x00
00001d4d: DUP1
00001d4e: REVERT
00001d4f: JUMPDEST
00001d50: POP
00001d51: DUP10
00001d52: ADD
00001d53: PUSH1 0x1f
00001d55: DUP2
00001d56: ADD
00001d57: DUP12
00001d58: SGT
00001d59: PUSH2 0x1d61
00001d5c: JUMPI
00001d5d: PUSH1 0x00
00001d5f: DUP1
00001d60: REVERT
00001d61: JUMPDEST
00001d62: DUP1
00001d63: CALLDATALOAD
00001d64: PUSH2 0x1d6f
00001d67: PUSH2 0x1ac9
00001d6a: DUP3
00001d6b: PUSH2 0x1a84
00001d6e: JUMP
00001d6f: JUMPDEST
00001d70: DUP2
00001d71: DUP2
00001d72: MSTORE
00001d73: PUSH1 0x05
00001d75: SWAP2
00001d76: SWAP1
00001d77: SWAP2
00001d78: SHL
00001d79: DUP3
00001d7a: ADD
00001d7b: DUP4
00001d7c: ADD
00001d7d: SWAP1
00001d7e: DUP4
00001d7f: DUP2
00001d80: ADD
00001d81: SWAP1
00001d82: DUP14
00001d83: DUP4
00001d84: GT
00001d85: ISZERO
00001d86: PUSH2 0x1d8e
00001d89: JUMPI
00001d8a: PUSH1 0x00
00001d8c: DUP1
00001d8d: REVERT
00001d8e: JUMPDEST
00001d8f: SWAP3
00001d90: DUP5
00001d91: ADD
00001d92: SWAP3
00001d93: JUMPDEST
00001d94: DUP3
00001d95: DUP5
00001d96: LT
00001d97: ISZERO
00001d98: PUSH2 0x1dac
00001d9b: JUMPI
00001d9c: DUP4
00001d9d: CALLDATALOAD
00001d9e: DUP3
00001d9f: MSTORE
00001da0: SWAP3
00001da1: DUP5
00001da2: ADD
00001da3: SWAP3
00001da4: SWAP1
00001da5: DUP5
00001da6: ADD
00001da7: SWAP1
00001da8: PUSH2 0x1d93
00001dab: JUMP
00001dac: JUMPDEST
00001dad: DUP1
00001dae: SWAP6
00001daf: POP
00001db0: POP
00001db1: POP
00001db2: POP
00001db3: POP
00001db4: POP
00001db5: SWAP3
00001db6: SWAP6
00001db7: SWAP9
00001db8: SWAP2
00001db9: SWAP5
00001dba: SWAP8
00001dbb: POP
00001dbc: SWAP3
00001dbd: SWAP6
00001dbe: POP
00001dbf: JUMP
00001dc0: JUMPDEST
00001dc1: PUSH1 0x00
00001dc3: DUP1
00001dc4: PUSH1 0x40
00001dc6: DUP4
00001dc7: DUP6
00001dc8: SUB
00001dc9: SLT
00001dca: ISZERO
00001dcb: PUSH2 0x1dd3
00001dce: JUMPI
00001dcf: PUSH1 0x00
00001dd1: DUP1
00001dd2: REVERT
00001dd3: JUMPDEST
00001dd4: DUP3
00001dd5: CALLDATALOAD
00001dd6: SWAP2
00001dd7: POP
00001dd8: PUSH1 0x20
00001dda: DUP4
00001ddb: ADD
00001ddc: CALLDATALOAD
00001ddd: PUSH2 0x1de5
00001de0: DUP2
00001de1: PUSH2 0x17dd
00001de4: JUMP
00001de5: JUMPDEST
00001de6: DUP1
00001de7: SWAP2
00001de8: POP
00001de9: POP
00001dea: SWAP3
00001deb: POP
00001dec: SWAP3
00001ded: SWAP1
00001dee: POP
00001def: JUMP
00001df0: JUMPDEST
00001df1: PUSH1 0x00
00001df3: DUP1
00001df4: PUSH1 0x00
00001df6: PUSH1 0x60
00001df8: DUP5
00001df9: DUP7
00001dfa: SUB
00001dfb: SLT
00001dfc: ISZERO
00001dfd: PUSH2 0x1e05
00001e00: JUMPI
00001e01: PUSH1 0x00
00001e03: DUP1
00001e04: REVERT
00001e05: JUMPDEST
00001e06: DUP4
00001e07: CALLDATALOAD
00001e08: PUSH2 0x1e10
00001e0b: DUP2
00001e0c: PUSH2 0x17dd
00001e0f: JUMP
00001e10: JUMPDEST
00001e11: SWAP3
00001e12: POP
00001e13: PUSH1 0x20
00001e15: DUP5
00001e16: ADD
00001e17: CALLDATALOAD
00001e18: SWAP2
00001e19: POP
00001e1a: PUSH1 0x40
00001e1c: DUP5
00001e1d: ADD
00001e1e: CALLDATALOAD
00001e1f: PUSH8 0xffffffffffffffff
00001e28: DUP2
00001e29: GT
00001e2a: ISZERO
00001e2b: PUSH2 0x1e33
00001e2e: JUMPI
00001e2f: PUSH1 0x00
00001e31: DUP1
00001e32: REVERT
00001e33: JUMPDEST
00001e34: DUP5
00001e35: ADD
00001e36: PUSH2 0x0200
00001e39: DUP2
00001e3a: DUP8
00001e3b: SUB
00001e3c: SLT
00001e3d: ISZERO
00001e3e: PUSH2 0x1e46
00001e41: JUMPI
00001e42: PUSH1 0x00
00001e44: DUP1
00001e45: REVERT
00001e46: JUMPDEST
00001e47: DUP1
00001e48: SWAP2
00001e49: POP
00001e4a: POP
00001e4b: SWAP3
00001e4c: POP
00001e4d: SWAP3
00001e4e: POP
00001e4f: SWAP3
00001e50: JUMP
00001e51: JUMPDEST
00001e52: PUSH1 0x00
00001e54: DUP1
00001e55: PUSH1 0x00
00001e57: PUSH1 0x60
00001e59: DUP5
00001e5a: DUP7
00001e5b: SUB
00001e5c: SLT
00001e5d: ISZERO
00001e5e: PUSH2 0x1e66
00001e61: JUMPI
00001e62: PUSH1 0x00
00001e64: DUP1
00001e65: REVERT
00001e66: JUMPDEST
00001e67: DUP4
00001e68: CALLDATALOAD
00001e69: PUSH2 0x1e71
00001e6c: DUP2
00001e6d: PUSH2 0x17dd
00001e70: JUMP
00001e71: JUMPDEST
00001e72: SWAP3
00001e73: POP
00001e74: PUSH1 0x20
00001e76: DUP5
00001e77: ADD
00001e78: CALLDATALOAD
00001e79: SWAP2
00001e7a: POP
00001e7b: PUSH1 0x40
00001e7d: DUP5
00001e7e: ADD
00001e7f: CALLDATALOAD
00001e80: PUSH2 0x1e46
00001e83: DUP2
00001e84: PUSH2 0x17dd
00001e87: JUMP
00001e88: JUMPDEST
00001e89: PUSH1 0x00
00001e8b: DUP1
00001e8c: PUSH1 0x00
00001e8e: DUP1
00001e8f: PUSH1 0x00
00001e91: PUSH1 0xa0
00001e93: DUP7
00001e94: DUP9
00001e95: SUB
00001e96: SLT
00001e97: ISZERO
00001e98: PUSH2 0x1ea0
00001e9b: JUMPI
00001e9c: PUSH1 0x00
00001e9e: DUP1
00001e9f: REVERT
00001ea0: JUMPDEST
00001ea1: DUP6
00001ea2: CALLDATALOAD
00001ea3: PUSH2 0x1eab
00001ea6: DUP2
00001ea7: PUSH2 0x17dd
00001eaa: JUMP
00001eab: JUMPDEST
00001eac: SWAP5
00001ead: POP
00001eae: PUSH1 0x20
00001eb0: DUP7
00001eb1: ADD
00001eb2: CALLDATALOAD
00001eb3: PUSH2 0x1ebb
00001eb6: DUP2
00001eb7: PUSH2 0x17dd
00001eba: JUMP
00001ebb: JUMPDEST
00001ebc: SWAP4
00001ebd: POP
00001ebe: PUSH1 0x40
00001ec0: DUP7
00001ec1: ADD
00001ec2: CALLDATALOAD
00001ec3: PUSH2 0x1ecb
00001ec6: DUP2
00001ec7: PUSH2 0x17dd
00001eca: JUMP
00001ecb: JUMPDEST
00001ecc: SWAP5
00001ecd: SWAP8
00001ece: SWAP4
00001ecf: SWAP7
00001ed0: POP
00001ed1: SWAP4
00001ed2: SWAP5
00001ed3: PUSH1 0x60
00001ed5: DUP2
00001ed6: ADD
00001ed7: CALLDATALOAD
00001ed8: SWAP5
00001ed9: POP
00001eda: PUSH1 0x80
00001edc: ADD
00001edd: CALLDATALOAD
00001ede: SWAP3
00001edf: SWAP2
00001ee0: POP
00001ee1: POP
00001ee2: JUMP
00001ee3: JUMPDEST
00001ee4: PUSH1 0x00
00001ee6: PUSH1 0x20
00001ee8: DUP3
00001ee9: DUP5
00001eea: SUB
00001eeb: SLT
00001eec: ISZERO
00001eed: PUSH2 0x1ef5
00001ef0: JUMPI
00001ef1: PUSH1 0x00
00001ef3: DUP1
00001ef4: REVERT
00001ef5: JUMPDEST
00001ef6: DUP2
00001ef7: CALLDATALOAD
00001ef8: PUSH2 0x1f00
00001efb: DUP2
00001efc: PUSH2 0x17dd
00001eff: JUMP
00001f00: JUMPDEST
00001f01: SWAP4
00001f02: SWAP3
00001f03: POP
00001f04: POP
00001f05: POP
00001f06: JUMP
00001f07: JUMPDEST
00001f08: PUSH1 0x00
00001f0a: PUSH1 0x20
00001f0c: DUP3
00001f0d: DUP5
00001f0e: SUB
00001f0f: SLT
00001f10: ISZERO
00001f11: PUSH2 0x1f19
00001f14: JUMPI
00001f15: PUSH1 0x00
00001f17: DUP1
00001f18: REVERT
00001f19: JUMPDEST
00001f1a: POP
00001f1b: MLOAD
00001f1c: SWAP2
00001f1d: SWAP1
00001f1e: POP
00001f1f: JUMP
00001f20: JUMPDEST
00001f21: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00001f42: PUSH1 0x00
00001f44: MSTORE
00001f45: PUSH1 0x11
00001f47: PUSH1 0x04
00001f49: MSTORE
00001f4a: PUSH1 0x24
00001f4c: PUSH1 0x00
00001f4e: REVERT
00001f4f: JUMPDEST
00001f50: PUSH1 0x00
00001f52: DUP3
00001f53: NOT
00001f54: DUP3
00001f55: GT
00001f56: ISZERO
00001f57: PUSH2 0x1f62
00001f5a: JUMPI
00001f5b: PUSH2 0x1f62
00001f5e: PUSH2 0x1f20
00001f61: JUMP
00001f62: JUMPDEST
00001f63: POP
00001f64: ADD
00001f65: SWAP1
00001f66: JUMP
00001f67: JUMPDEST
00001f68: DUP2
00001f69: DUP4
00001f6a: MSTORE
00001f6b: PUSH1 0x00
00001f6d: PUSH1 0x20
00001f6f: DUP1
00001f70: DUP6
00001f71: ADD
00001f72: SWAP5
00001f73: POP
00001f74: DUP3
00001f75: PUSH1 0x00
00001f77: JUMPDEST
00001f78: DUP6
00001f79: DUP2
00001f7a: LT
00001f7b: ISZERO
00001f7c: PUSH2 0x1fb2
00001f7f: JUMPI
00001f80: DUP2
00001f81: CALLDATALOAD
00001f82: PUSH2 0x1f8a
00001f85: DUP2
00001f86: PUSH2 0x17dd
00001f89: JUMP
00001f8a: JUMPDEST
00001f8b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001fa0: AND
00001fa1: DUP8
00001fa2: MSTORE
00001fa3: SWAP6
00001fa4: DUP3
00001fa5: ADD
00001fa6: SWAP6
00001fa7: SWAP1
00001fa8: DUP3
00001fa9: ADD
00001faa: SWAP1
00001fab: PUSH1 0x01
00001fad: ADD
00001fae: PUSH2 0x1f77
00001fb1: JUMP
00001fb2: JUMPDEST
00001fb3: POP
00001fb4: SWAP5
00001fb5: SWAP6
00001fb6: SWAP5
00001fb7: POP
00001fb8: POP
00001fb9: POP
00001fba: POP
00001fbb: POP
00001fbc: JUMP
00001fbd: JUMPDEST
00001fbe: DUP4
00001fbf: DUP2
00001fc0: MSTORE
00001fc1: PUSH1 0x40
00001fc3: PUSH1 0x20
00001fc5: DUP3
00001fc6: ADD
00001fc7: MSTORE
00001fc8: PUSH1 0x00
00001fca: PUSH2 0x1fd7
00001fcd: PUSH1 0x40
00001fcf: DUP4
00001fd0: ADD
00001fd1: DUP5
00001fd2: DUP7
00001fd3: PUSH2 0x1f67
00001fd6: JUMP
00001fd7: JUMPDEST
00001fd8: SWAP6
00001fd9: SWAP5
00001fda: POP
00001fdb: POP
00001fdc: POP
00001fdd: POP
00001fde: POP
00001fdf: JUMP
00001fe0: JUMPDEST
00001fe1: PUSH1 0x00
00001fe3: PUSH1 0x20
00001fe5: DUP1
00001fe6: DUP4
00001fe7: DUP6
00001fe8: SUB
00001fe9: SLT
00001fea: ISZERO
00001feb: PUSH2 0x1ff3
00001fee: JUMPI
00001fef: PUSH1 0x00
00001ff1: DUP1
00001ff2: REVERT
00001ff3: JUMPDEST
00001ff4: DUP3
00001ff5: MLOAD
00001ff6: PUSH8 0xffffffffffffffff
00001fff: DUP2
00002000: GT
00002001: ISZERO
00002002: PUSH2 0x200a
00002005: JUMPI
00002006: PUSH1 0x00
00002008: DUP1
00002009: REVERT
0000200a: JUMPDEST
0000200b: DUP4
0000200c: ADD
0000200d: PUSH1 0x1f
0000200f: DUP2
00002010: ADD
00002011: DUP6
00002012: SGT
00002013: PUSH2 0x201b
00002016: JUMPI
00002017: PUSH1 0x00
00002019: DUP1
0000201a: REVERT
0000201b: JUMPDEST
0000201c: DUP1
0000201d: MLOAD
0000201e: PUSH2 0x2029
00002021: PUSH2 0x1ac9
00002024: DUP3
00002025: PUSH2 0x1a84
00002028: JUMP
00002029: JUMPDEST
0000202a: DUP2
0000202b: DUP2
0000202c: MSTORE
0000202d: PUSH1 0x05
0000202f: SWAP2
00002030: SWAP1
00002031: SWAP2
00002032: SHL
00002033: DUP3
00002034: ADD
00002035: DUP4
00002036: ADD
00002037: SWAP1
00002038: DUP4
00002039: DUP2
0000203a: ADD
0000203b: SWAP1
0000203c: DUP8
0000203d: DUP4
0000203e: GT
0000203f: ISZERO
00002040: PUSH2 0x2048
00002043: JUMPI
00002044: PUSH1 0x00
00002046: DUP1
00002047: REVERT
00002048: JUMPDEST
00002049: SWAP3
0000204a: DUP5
0000204b: ADD
0000204c: SWAP3
0000204d: JUMPDEST
0000204e: DUP3
0000204f: DUP5
00002050: LT
00002051: ISZERO
00002052: PUSH2 0x2066
00002055: JUMPI
00002056: DUP4
00002057: MLOAD
00002058: DUP3
00002059: MSTORE
0000205a: SWAP3
0000205b: DUP5
0000205c: ADD
0000205d: SWAP3
0000205e: SWAP1
0000205f: DUP5
00002060: ADD
00002061: SWAP1
00002062: PUSH2 0x204d
00002065: JUMP
00002066: JUMPDEST
00002067: SWAP8
00002068: SWAP7
00002069: POP
0000206a: POP
0000206b: POP
0000206c: POP
0000206d: POP
0000206e: POP
0000206f: POP
00002070: JUMP
00002071: JUMPDEST
00002072: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00002093: PUSH1 0x00
00002095: MSTORE
00002096: PUSH1 0x32
00002098: PUSH1 0x04
0000209a: MSTORE
0000209b: PUSH1 0x24
0000209d: PUSH1 0x00
0000209f: REVERT
000020a0: JUMPDEST
000020a1: PUSH1 0x03
000020a3: DUP2
000020a4: LT
000020a5: PUSH2 0x20d7
000020a8: JUMPI
000020a9: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
000020ca: PUSH1 0x00
000020cc: MSTORE
000020cd: PUSH1 0x21
000020cf: PUSH1 0x04
000020d1: MSTORE
000020d2: PUSH1 0x24
000020d4: PUSH1 0x00
000020d6: REVERT
000020d7: JUMPDEST
000020d8: SWAP1
000020d9: MSTORE
000020da: JUMP
000020db: JUMPDEST
000020dc: PUSH1 0x00
000020de: DUP2
000020df: MLOAD
000020e0: DUP1
000020e1: DUP5
000020e2: MSTORE
000020e3: PUSH1 0x20
000020e5: DUP1
000020e6: DUP6
000020e7: ADD
000020e8: SWAP5
000020e9: POP
000020ea: DUP1
000020eb: DUP5
000020ec: ADD
000020ed: PUSH1 0x00
000020ef: JUMPDEST
000020f0: DUP4
000020f1: DUP2
000020f2: LT
000020f3: ISZERO
000020f4: PUSH2 0x1fb2
000020f7: JUMPI
000020f8: DUP2
000020f9: MLOAD
000020fa: DUP1
000020fb: MLOAD
000020fc: DUP9
000020fd: MSTORE
000020fe: DUP4
000020ff: ADD
00002100: MLOAD
00002101: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002116: AND
00002117: DUP4
00002118: DUP9
00002119: ADD
0000211a: MSTORE
0000211b: PUSH1 0x40
0000211d: SWAP1
0000211e: SWAP7
0000211f: ADD
00002120: SWAP6
00002121: SWAP1
00002122: DUP3
00002123: ADD
00002124: SWAP1
00002125: PUSH1 0x01
00002127: ADD
00002128: PUSH2 0x20ef
0000212b: JUMP
0000212c: JUMPDEST
0000212d: PUSH1 0x00
0000212f: DUP2
00002130: MLOAD
00002131: DUP1
00002132: DUP5
00002133: MSTORE
00002134: PUSH1 0x00
00002136: JUMPDEST
00002137: DUP2
00002138: DUP2
00002139: LT
0000213a: ISZERO
0000213b: PUSH2 0x2152
0000213e: JUMPI
0000213f: PUSH1 0x20
00002141: DUP2
00002142: DUP6
00002143: ADD
00002144: DUP2
00002145: ADD
00002146: MLOAD
00002147: DUP7
00002148: DUP4
00002149: ADD
0000214a: DUP3
0000214b: ADD
0000214c: MSTORE
0000214d: ADD
0000214e: PUSH2 0x2136
00002151: JUMP
00002152: JUMPDEST
00002153: DUP2
00002154: DUP2
00002155: GT
00002156: ISZERO
00002157: PUSH2 0x2164
0000215a: JUMPI
0000215b: PUSH1 0x00
0000215d: PUSH1 0x20
0000215f: DUP4
00002160: DUP8
00002161: ADD
00002162: ADD
00002163: MSTORE
00002164: JUMPDEST
00002165: POP
00002166: PUSH1 0x1f
00002168: ADD
00002169: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
0000218a: AND
0000218b: SWAP3
0000218c: SWAP1
0000218d: SWAP3
0000218e: ADD
0000218f: PUSH1 0x20
00002191: ADD
00002192: SWAP3
00002193: SWAP2
00002194: POP
00002195: POP
00002196: JUMP
00002197: JUMPDEST
00002198: PUSH1 0x20
0000219a: DUP2
0000219b: MSTORE
0000219c: PUSH2 0x21be
0000219f: PUSH1 0x20
000021a1: DUP3
000021a2: ADD
000021a3: DUP4
000021a4: MLOAD
000021a5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000021ba: AND
000021bb: SWAP1
000021bc: MSTORE
000021bd: JUMP
000021be: JUMPDEST
000021bf: PUSH1 0x20
000021c1: DUP3
000021c2: ADD
000021c3: MLOAD
000021c4: PUSH1 0x40
000021c6: DUP3
000021c7: ADD
000021c8: MSTORE
000021c9: PUSH1 0x40
000021cb: DUP3
000021cc: ADD
000021cd: MLOAD
000021ce: PUSH1 0x60
000021d0: DUP3
000021d1: ADD
000021d2: MSTORE
000021d3: PUSH1 0x00
000021d5: PUSH1 0x60
000021d7: DUP4
000021d8: ADD
000021d9: MLOAD
000021da: PUSH2 0x21fb
000021dd: PUSH1 0x80
000021df: DUP5
000021e0: ADD
000021e1: DUP3
000021e2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000021f7: AND
000021f8: SWAP1
000021f9: MSTORE
000021fa: JUMP
000021fb: JUMPDEST
000021fc: POP
000021fd: PUSH1 0x80
000021ff: DUP4
00002200: ADD
00002201: MLOAD
00002202: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002217: DUP2
00002218: AND
00002219: PUSH1 0xa0
0000221b: DUP5
0000221c: ADD
0000221d: MSTORE
0000221e: POP
0000221f: PUSH1 0xa0
00002221: DUP4
00002222: ADD
00002223: MLOAD
00002224: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002239: DUP2
0000223a: AND
0000223b: PUSH1 0xc0
0000223d: DUP5
0000223e: ADD
0000223f: MSTORE
00002240: POP
00002241: PUSH1 0xc0
00002243: DUP4
00002244: ADD
00002245: MLOAD
00002246: PUSH1 0xe0
00002248: DUP4
00002249: ADD
0000224a: MSTORE
0000224b: PUSH1 0xe0
0000224d: DUP4
0000224e: ADD
0000224f: MLOAD
00002250: PUSH2 0x0100
00002253: DUP2
00002254: DUP2
00002255: DUP6
00002256: ADD
00002257: MSTORE
00002258: DUP1
00002259: DUP6
0000225a: ADD
0000225b: MLOAD
0000225c: SWAP2
0000225d: POP
0000225e: POP
0000225f: PUSH2 0x0120
00002262: PUSH2 0x226d
00002265: DUP2
00002266: DUP6
00002267: ADD
00002268: DUP4
00002269: PUSH2 0x20a0
0000226c: JUMP
0000226d: JUMPDEST
0000226e: DUP5
0000226f: ADD
00002270: MLOAD
00002271: PUSH2 0x0140
00002274: DUP5
00002275: DUP2
00002276: ADD
00002277: SWAP2
00002278: SWAP1
00002279: SWAP2
0000227a: MSTORE
0000227b: DUP5
0000227c: ADD
0000227d: MLOAD
0000227e: PUSH2 0x0160
00002281: DUP1
00002282: DUP6
00002283: ADD
00002284: SWAP2
00002285: SWAP1
00002286: SWAP2
00002287: MSTORE
00002288: DUP5
00002289: ADD
0000228a: MLOAD
0000228b: PUSH2 0x0180
0000228e: DUP1
0000228f: DUP6
00002290: ADD
00002291: SWAP2
00002292: SWAP1
00002293: SWAP2
00002294: MSTORE
00002295: DUP5
00002296: ADD
00002297: MLOAD
00002298: PUSH2 0x01a0
0000229b: DUP1
0000229c: DUP6
0000229d: ADD
0000229e: SWAP2
0000229f: SWAP1
000022a0: SWAP2
000022a1: MSTORE
000022a2: DUP5
000022a3: ADD
000022a4: MLOAD
000022a5: PUSH2 0x01c0
000022a8: DUP1
000022a9: DUP6
000022aa: ADD
000022ab: SWAP2
000022ac: SWAP1
000022ad: SWAP2
000022ae: MSTORE
000022af: DUP5
000022b0: ADD
000022b1: MLOAD
000022b2: PUSH2 0x01e0
000022b5: DUP1
000022b6: DUP6
000022b7: ADD
000022b8: SWAP2
000022b9: SWAP1
000022ba: SWAP2
000022bb: MSTORE
000022bc: DUP5
000022bd: ADD
000022be: MLOAD
000022bf: PUSH2 0x0200
000022c2: DUP1
000022c3: DUP6
000022c4: ADD
000022c5: SWAP2
000022c6: SWAP1
000022c7: SWAP2
000022c8: MSTORE
000022c9: DUP5
000022ca: ADD
000022cb: MLOAD
000022cc: PUSH2 0x0240
000022cf: PUSH2 0x0220
000022d2: DUP1
000022d3: DUP7
000022d4: ADD
000022d5: DUP3
000022d6: SWAP1
000022d7: MSTORE
000022d8: SWAP2
000022d9: SWAP3
000022da: POP
000022db: SWAP1
000022dc: PUSH2 0x22e9
000022df: PUSH2 0x0260
000022e2: DUP7
000022e3: ADD
000022e4: DUP5
000022e5: PUSH2 0x20db
000022e8: JUMP
000022e9: JUMPDEST
000022ea: SWAP1
000022eb: DUP7
000022ec: ADD
000022ed: MLOAD
000022ee: DUP6
000022ef: DUP3
000022f0: SUB
000022f1: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00002312: ADD
00002313: DUP4
00002314: DUP8
00002315: ADD
00002316: MSTORE
00002317: SWAP1
00002318: SWAP3
00002319: POP
0000231a: PUSH2 0x2323
0000231d: DUP4
0000231e: DUP3
0000231f: PUSH2 0x212c
00002322: JUMP
00002323: JUMPDEST
00002324: SWAP7
00002325: SWAP6
00002326: POP
00002327: POP
00002328: POP
00002329: POP
0000232a: POP
0000232b: POP
0000232c: JUMP
0000232d: JUMPDEST
0000232e: DUP1
0000232f: ISZERO
00002330: ISZERO
00002331: DUP2
00002332: EQ
00002333: PUSH2 0x0f9b
00002336: JUMPI
00002337: PUSH1 0x00
00002339: DUP1
0000233a: REVERT
0000233b: JUMPDEST
0000233c: PUSH1 0x00
0000233e: PUSH1 0x20
00002340: DUP3
00002341: DUP5
00002342: SUB
00002343: SLT
00002344: ISZERO
00002345: PUSH2 0x234d
00002348: JUMPI
00002349: PUSH1 0x00
0000234b: DUP1
0000234c: REVERT
0000234d: JUMPDEST
0000234e: DUP2
0000234f: MLOAD
00002350: PUSH2 0x1f00
00002353: DUP2
00002354: PUSH2 0x232d
00002357: JUMP
00002358: JUMPDEST
00002359: DUP7
0000235a: DUP2
0000235b: MSTORE
0000235c: DUP6
0000235d: PUSH1 0x20
0000235f: DUP3
00002360: ADD
00002361: MSTORE
00002362: PUSH1 0xa0
00002364: PUSH1 0x40
00002366: DUP3
00002367: ADD
00002368: MSTORE
00002369: PUSH1 0x00
0000236b: PUSH2 0x2378
0000236e: PUSH1 0xa0
00002370: DUP4
00002371: ADD
00002372: DUP7
00002373: DUP9
00002374: PUSH2 0x1f67
00002377: JUMP
00002378: JUMPDEST
00002379: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000238e: SWAP5
0000238f: SWAP1
00002390: SWAP5
00002391: AND
00002392: PUSH1 0x60
00002394: DUP4
00002395: ADD
00002396: MSTORE
00002397: POP
00002398: PUSH1 0x80
0000239a: ADD
0000239b: MSTORE
0000239c: SWAP5
0000239d: SWAP4
0000239e: POP
0000239f: POP
000023a0: POP
000023a1: POP
000023a2: JUMP
000023a3: JUMPDEST
000023a4: PUSH1 0x00
000023a6: DUP2
000023a7: MLOAD
000023a8: DUP1
000023a9: DUP5
000023aa: MSTORE
000023ab: PUSH1 0x20
000023ad: DUP1
000023ae: DUP6
000023af: ADD
000023b0: SWAP5
000023b1: POP
000023b2: DUP1
000023b3: DUP5
000023b4: ADD
000023b5: PUSH1 0x00
000023b7: JUMPDEST
000023b8: DUP4
000023b9: DUP2
000023ba: LT
000023bb: ISZERO
000023bc: PUSH2 0x1fb2
000023bf: JUMPI
000023c0: DUP2
000023c1: MLOAD
000023c2: DUP8
000023c3: MSTORE
000023c4: SWAP6
000023c5: DUP3
000023c6: ADD
000023c7: SWAP6
000023c8: SWAP1
000023c9: DUP3
000023ca: ADD
000023cb: SWAP1
000023cc: PUSH1 0x01
000023ce: ADD
000023cf: PUSH2 0x23b7
000023d2: JUMP
000023d3: JUMPDEST
000023d4: DUP4
000023d5: DUP2
000023d6: MSTORE
000023d7: PUSH1 0x60
000023d9: PUSH1 0x20
000023db: DUP3
000023dc: ADD
000023dd: MSTORE
000023de: PUSH1 0x00
000023e0: PUSH2 0x23ec
000023e3: PUSH1 0x60
000023e5: DUP4
000023e6: ADD
000023e7: DUP6
000023e8: PUSH2 0x23a3
000023eb: JUMP
000023ec: JUMPDEST
000023ed: SWAP1
000023ee: POP
000023ef: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002404: DUP4
00002405: AND
00002406: PUSH1 0x40
00002408: DUP4
00002409: ADD
0000240a: MSTORE
0000240b: SWAP5
0000240c: SWAP4
0000240d: POP
0000240e: POP
0000240f: POP
00002410: POP
00002411: JUMP
00002412: JUMPDEST
00002413: PUSH1 0x00
00002415: DUP1
00002416: DUP4
00002417: CALLDATALOAD
00002418: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe1
00002439: DUP5
0000243a: CALLDATASIZE
0000243b: SUB
0000243c: ADD
0000243d: DUP2
0000243e: SLT
0000243f: PUSH2 0x2447
00002442: JUMPI
00002443: PUSH1 0x00
00002445: DUP1
00002446: REVERT
00002447: JUMPDEST
00002448: DUP4
00002449: ADD
0000244a: DUP1
0000244b: CALLDATALOAD
0000244c: SWAP2
0000244d: POP
0000244e: PUSH8 0xffffffffffffffff
00002457: DUP3
00002458: GT
00002459: ISZERO
0000245a: PUSH2 0x2462
0000245d: JUMPI
0000245e: PUSH1 0x00
00002460: DUP1
00002461: REVERT
00002462: JUMPDEST
00002463: PUSH1 0x20
00002465: ADD
00002466: SWAP2
00002467: POP
00002468: CALLDATASIZE
00002469: DUP2
0000246a: SWAP1
0000246b: SUB
0000246c: DUP3
0000246d: SGT
0000246e: ISZERO
0000246f: PUSH2 0x1a19
00002472: JUMPI
00002473: PUSH1 0x00
00002475: DUP1
00002476: REVERT
00002477: JUMPDEST
00002478: DUP1
00002479: CALLDATALOAD
0000247a: PUSH2 0x180a
0000247d: DUP2
0000247e: PUSH2 0x232d
00002481: JUMP
00002482: JUMPDEST
00002483: PUSH1 0x00
00002485: DUP1
00002486: DUP4
00002487: CALLDATALOAD
00002488: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe1
000024a9: DUP5
000024aa: CALLDATASIZE
000024ab: SUB
000024ac: ADD
000024ad: DUP2
000024ae: SLT
000024af: PUSH2 0x24b7
000024b2: JUMPI
000024b3: PUSH1 0x00
000024b5: DUP1
000024b6: REVERT
000024b7: JUMPDEST
000024b8: DUP4
000024b9: ADD
000024ba: PUSH1 0x20
000024bc: DUP2
000024bd: ADD
000024be: SWAP3
000024bf: POP
000024c0: CALLDATALOAD
000024c1: SWAP1
000024c2: POP
000024c3: PUSH8 0xffffffffffffffff
000024cc: DUP2
000024cd: GT
000024ce: ISZERO
000024cf: PUSH2 0x24d7
000024d2: JUMPI
000024d3: PUSH1 0x00
000024d5: DUP1
000024d6: REVERT
000024d7: JUMPDEST
000024d8: DUP1
000024d9: CALLDATASIZE
000024da: SUB
000024db: DUP4
000024dc: SGT
000024dd: ISZERO
000024de: PUSH2 0x1a19
000024e1: JUMPI
000024e2: PUSH1 0x00
000024e4: DUP1
000024e5: REVERT
000024e6: JUMPDEST
000024e7: DUP2
000024e8: DUP4
000024e9: MSTORE
000024ea: DUP2
000024eb: DUP2
000024ec: PUSH1 0x20
000024ee: DUP6
000024ef: ADD
000024f0: CALLDATACOPY
000024f1: POP
000024f2: PUSH1 0x00
000024f4: PUSH1 0x20
000024f6: DUP3
000024f7: DUP5
000024f8: ADD
000024f9: ADD
000024fa: MSTORE
000024fb: PUSH1 0x00
000024fd: PUSH1 0x20
000024ff: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00002520: PUSH1 0x1f
00002522: DUP5
00002523: ADD
00002524: AND
00002525: DUP5
00002526: ADD
00002527: ADD
00002528: SWAP1
00002529: POP
0000252a: SWAP3
0000252b: SWAP2
0000252c: POP
0000252d: POP
0000252e: JUMP
0000252f: JUMPDEST
00002530: DUP1
00002531: CALLDATALOAD
00002532: PUSH1 0xff
00002534: DUP2
00002535: AND
00002536: DUP2
00002537: EQ
00002538: PUSH2 0x180a
0000253b: JUMPI
0000253c: PUSH1 0x00
0000253e: DUP1
0000253f: REVERT
00002540: JUMPDEST
00002541: PUSH1 0x40
00002543: DUP2
00002544: MSTORE
00002545: PUSH1 0x00
00002547: PUSH2 0x0100
0000254a: DUP5
0000254b: MLOAD
0000254c: ISZERO
0000254d: ISZERO
0000254e: PUSH1 0x40
00002550: DUP5
00002551: ADD
00002552: MSTORE
00002553: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002568: PUSH1 0x20
0000256a: DUP7
0000256b: ADD
0000256c: MLOAD
0000256d: AND
0000256e: PUSH1 0x60
00002570: DUP5
00002571: ADD
00002572: MSTORE
00002573: PUSH1 0x40
00002575: DUP6
00002576: ADD
00002577: MLOAD
00002578: PUSH1 0x80
0000257a: DUP5
0000257b: ADD
0000257c: MSTORE
0000257d: PUSH1 0x60
0000257f: DUP6
00002580: ADD
00002581: MLOAD
00002582: PUSH1 0xa0
00002584: DUP5
00002585: ADD
00002586: MSTORE
00002587: PUSH1 0x80
00002589: DUP6
0000258a: ADD
0000258b: MLOAD
0000258c: PUSH1 0xc0
0000258e: DUP5
0000258f: ADD
00002590: MSTORE
00002591: PUSH1 0xa0
00002593: DUP6
00002594: ADD
00002595: MLOAD
00002596: PUSH1 0xc0
00002598: PUSH1 0xe0
0000259a: DUP6
0000259b: ADD
0000259c: MSTORE
0000259d: PUSH2 0x25a8
000025a0: DUP3
000025a1: DUP6
000025a2: ADD
000025a3: DUP3
000025a4: PUSH2 0x212c
000025a7: JUMP
000025a8: JUMPDEST
000025a9: SWAP1
000025aa: POP
000025ab: DUP4
000025ac: DUP2
000025ad: SUB
000025ae: PUSH1 0x20
000025b0: DUP6
000025b1: ADD
000025b2: MSTORE
000025b3: PUSH2 0x0200
000025b6: PUSH2 0x25c8
000025b9: DUP3
000025ba: PUSH2 0x25c2
000025bd: DUP9
000025be: PUSH2 0x2477
000025c1: JUMP
000025c2: JUMPDEST
000025c3: ISZERO
000025c4: ISZERO
000025c5: SWAP1
000025c6: MSTORE
000025c7: JUMP
000025c8: JUMPDEST
000025c9: PUSH2 0x25d4
000025cc: PUSH1 0x20
000025ce: DUP8
000025cf: ADD
000025d0: PUSH2 0x17ff
000025d3: JUMP
000025d4: JUMPDEST
000025d5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000025ea: AND
000025eb: PUSH1 0x20
000025ed: DUP4
000025ee: ADD
000025ef: MSTORE
000025f0: PUSH2 0x25fb
000025f3: PUSH1 0x40
000025f5: DUP8
000025f6: ADD
000025f7: PUSH2 0x17ff
000025fa: JUMP
000025fb: JUMPDEST
000025fc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002611: DUP2
00002612: AND
00002613: PUSH1 0x40
00002615: DUP5
00002616: ADD
00002617: MSTORE
00002618: POP
00002619: PUSH1 0x60
0000261b: DUP7
0000261c: ADD
0000261d: CALLDATALOAD
0000261e: PUSH1 0x60
00002620: DUP4
00002621: ADD
00002622: MSTORE
00002623: PUSH1 0x80
00002625: DUP7
00002626: ADD
00002627: CALLDATALOAD
00002628: PUSH1 0x80
0000262a: DUP4
0000262b: ADD
0000262c: MSTORE
0000262d: PUSH1 0xa0
0000262f: DUP7
00002630: ADD
00002631: CALLDATALOAD
00002632: PUSH1 0xa0
00002634: DUP4
00002635: ADD
00002636: MSTORE
00002637: PUSH2 0x2642
0000263a: PUSH1 0xc0
0000263c: DUP8
0000263d: ADD
0000263e: PUSH2 0x17ff
00002641: JUMP
00002642: JUMPDEST
00002643: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002658: AND
00002659: PUSH1 0xc0
0000265b: DUP4
0000265c: ADD
0000265d: MSTORE
0000265e: PUSH2 0x2669
00002661: PUSH1 0xe0
00002663: DUP8
00002664: ADD
00002665: PUSH2 0x17ff
00002668: JUMP
00002669: JUMPDEST
0000266a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000267f: AND
00002680: PUSH1 0xe0
00002682: DUP4
00002683: ADD
00002684: MSTORE
00002685: DUP3
00002686: DUP7
00002687: ADD
00002688: CALLDATALOAD
00002689: SWAP3
0000268a: DUP3
0000268b: ADD
0000268c: SWAP3
0000268d: SWAP1
0000268e: SWAP3
0000268f: MSTORE
00002690: PUSH2 0x0120
00002693: DUP1
00002694: DUP7
00002695: ADD
00002696: CALLDATALOAD
00002697: SWAP1
00002698: DUP3
00002699: ADD
0000269a: MSTORE
0000269b: PUSH2 0x0140
0000269e: DUP1
0000269f: DUP7
000026a0: ADD
000026a1: CALLDATALOAD
000026a2: SWAP1
000026a3: DUP3
000026a4: ADD
000026a5: MSTORE
000026a6: PUSH2 0x0160
000026a9: DUP1
000026aa: DUP7
000026ab: ADD
000026ac: CALLDATALOAD
000026ad: SWAP1
000026ae: DUP3
000026af: ADD
000026b0: MSTORE
000026b1: PUSH2 0x0180
000026b4: SWAP2
000026b5: PUSH2 0x26c0
000026b8: DUP4
000026b9: DUP8
000026ba: ADD
000026bb: DUP8
000026bc: PUSH2 0x2482
000026bf: JUMP
000026c0: JUMPDEST
000026c1: DUP3
000026c2: DUP6
000026c3: DUP6
000026c4: ADD
000026c5: MSTORE
000026c6: PUSH2 0x26d2
000026c9: DUP4
000026ca: DUP6
000026cb: ADD
000026cc: DUP3
000026cd: DUP5
000026ce: PUSH2 0x24e6
000026d1: JUMP
000026d2: JUMPDEST
000026d3: SWAP5
000026d4: POP
000026d5: POP
000026d6: POP
000026d7: POP
000026d8: PUSH2 0x01a0
000026db: PUSH2 0x26e5
000026de: DUP2
000026df: DUP8
000026e0: ADD
000026e1: PUSH2 0x252f
000026e4: JUMP
000026e5: JUMPDEST
000026e6: PUSH1 0xff
000026e8: AND
000026e9: SWAP1
000026ea: DUP3
000026eb: ADD
000026ec: MSTORE
000026ed: PUSH2 0x01c0
000026f0: DUP6
000026f1: DUP2
000026f2: ADD
000026f3: CALLDATALOAD
000026f4: SWAP1
000026f5: DUP3
000026f6: ADD
000026f7: MSTORE
000026f8: PUSH2 0x01e0
000026fb: SWAP5
000026fc: DUP6
000026fd: ADD
000026fe: CALLDATALOAD
000026ff: SWAP5
00002700: ADD
00002701: SWAP4
00002702: SWAP1
00002703: SWAP4
00002704: MSTORE
00002705: POP
00002706: SWAP1
00002707: SWAP3
00002708: SWAP2
00002709: POP
0000270a: POP
0000270b: JUMP
0000270c: JUMPDEST
0000270d: PUSH1 0xa0
0000270f: DUP2
00002710: MSTORE
00002711: PUSH1 0x00
00002713: PUSH2 0x271f
00002716: PUSH1 0xa0
00002718: DUP4
00002719: ADD
0000271a: DUP9
0000271b: PUSH2 0x23a3
0000271e: JUMP
0000271f: JUMPDEST
00002720: PUSH1 0x20
00002722: DUP4
00002723: ADD
00002724: SWAP7
00002725: SWAP1
00002726: SWAP7
00002727: MSTORE
00002728: POP
00002729: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000273e: SWAP4
0000273f: DUP5
00002740: AND
00002741: PUSH1 0x40
00002743: DUP3
00002744: ADD
00002745: MSTORE
00002746: SWAP2
00002747: ISZERO
00002748: ISZERO
00002749: PUSH1 0x60
0000274b: DUP4
0000274c: ADD
0000274d: MSTORE
0000274e: SWAP1
0000274f: SWAP2
00002750: AND
00002751: PUSH1 0x80
00002753: SWAP1
00002754: SWAP2
00002755: ADD
00002756: MSTORE
00002757: SWAP2
00002758: SWAP1
00002759: POP
0000275a: JUMP
0000275b: JUMPDEST
0000275c: PUSH1 0x00
0000275e: DUP3
0000275f: DUP3
00002760: LT
00002761: ISZERO
00002762: PUSH2 0x276d
00002765: JUMPI
00002766: PUSH2 0x276d
00002769: PUSH2 0x1f20
0000276c: JUMP
0000276d: JUMPDEST
0000276e: POP
0000276f: SUB
00002770: SWAP1
00002771: JUMP
00002772: JUMPDEST
00002773: PUSH1 0x00
00002775: DUP1
00002776: PUSH1 0x40
00002778: DUP4
00002779: DUP6
0000277a: SUB
0000277b: SLT
0000277c: ISZERO
0000277d: PUSH2 0x2785
00002780: JUMPI
00002781: PUSH1 0x00
00002783: DUP1
00002784: REVERT
00002785: JUMPDEST
00002786: POP
00002787: POP
00002788: DUP1
00002789: MLOAD
0000278a: PUSH1 0x20
0000278c: SWAP1
0000278d: SWAP2
0000278e: ADD
0000278f: MLOAD
00002790: SWAP1
00002791: SWAP3
00002792: SWAP1
00002793: SWAP2
00002794: POP
00002795: JUMP
00002796: INVALID
00002797: LOG2
00002798: PUSH5 0x6970667358
0000279e: UNKNOWN(0x22)
0000279f: SLT
000027a0: KECCAK256
000027a1: CREATE
000027a2: UNKNOWN(0xA6)
000027a3: SLT
000027a4: PUSH6 0x97d512862cc7
000027ab: UNKNOWN(0xC5)
000027ac: INVALID
000027ad: UNKNOWN(0xE2)
000027ae: UNKNOWN(0xF9)
000027af: STATICCALL
000027b0: OR
000027b1: SWAP1
000027b2: UNKNOWN(0xD8)
000027b3: CODECOPY
000027b4: CALLDATALOAD
000027b5: MULMOD
000027b6: UNKNOWN(0xEF)
000027b7: LOG0
000027b8: SWAP2
000027b9: SAR
000027ba: UNKNOWN(0xAE)
000027bb: UNKNOWN(0x4B)
000027bc: UNKNOWN(0x24)
000027bd: PUSH13 0x1d758464736f6c634300080d00
000027cb: CALLER
Findings

validated = confirmed for call sinks; sink observed for others
Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
high	other	detector	Untrusted CALL target/value reachable	60	no	no	view trace_id: 0x083c857b7d156bbd93c5a5e281f222f518dce34593f9e047f60b70166542e8ae call_targets: 0xf6b2a79a3e2fbaf485c52eda3f1ea53d04487559 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x083c857b7d156bbd93c5a5e281f222f518dce34593f9e047f60b70166542e8ae", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xf6b2a79a3e2fbaf485c52eda3f1ea53d04487559" ], "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": "0xc9b9bfaf", "selector": "0xc9b9bfaf", "calldata_variants": [ "0xc9b9bfaf", "0xc9b9bfaf0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd4da2a22", "selector": "0xd4da2a22", "calldata_variants": [ "0xd4da2a22", "0xd4da2a220000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe1c8ca45", "selector": "0xe1c8ca45", "calldata_variants": [ "0xe1c8ca45", "0xe1c8ca450000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x8da5cb5b", "selector": "0x8da5cb5b", "calldata_variants": [ "0x8da5cb5b", "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x9c63cbbc", "selector": "0x9c63cbbc", "calldata_variants": [ "0x9c63cbbc", "0x9c63cbbc0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa140edb4", "selector": "0xa140edb4", "calldata_variants": [ "0xa140edb4", "0xa140edb40000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc2299644", "selector": "0xc2299644", "calldata_variants": [ "0xc2299644", "0xc22996440000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 1682, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 2120, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 2554, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 13, "guards_detected": [], "untrusted_call_count": 13 }
high	other	detector	ETH value transfer possible	55	no	no	view trace_id: 0x083c857b7d156bbd93c5a5e281f222f518dce34593f9e047f60b70166542e8ae call_targets: 0xf6b2a79a3e2fbaf485c52eda3f1ea53d04487559 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x083c857b7d156bbd93c5a5e281f222f518dce34593f9e047f60b70166542e8ae", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xf6b2a79a3e2fbaf485c52eda3f1ea53d04487559" ], "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": "0xc9b9bfaf", "selector": "0xc9b9bfaf", "calldata_variants": [ "0xc9b9bfaf", "0xc9b9bfaf0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd4da2a22", "selector": "0xd4da2a22", "calldata_variants": [ "0xd4da2a22", "0xd4da2a220000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe1c8ca45", "selector": "0xe1c8ca45", "calldata_variants": [ "0xe1c8ca45", "0xe1c8ca450000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x8da5cb5b", "selector": "0x8da5cb5b", "calldata_variants": [ "0x8da5cb5b", "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x9c63cbbc", "selector": "0x9c63cbbc", "calldata_variants": [ "0x9c63cbbc", "0x9c63cbbc0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa140edb4", "selector": "0xa140edb4", "calldata_variants": [ "0xa140edb4", "0xa140edb40000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc2299644", "selector": "0xc2299644", "calldata_variants": [ "0xc2299644", "0xc22996440000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 1682, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 2120, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 2554, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 13, "guards_detected": [] }
medium	other	detector	CREATE/CREATE2 reachable	45	no	no	view trace_id: 0x701d919769ea33b7c51655610472805086e716a16b5efbdf608f27c7e5dfb4ac validation_json { "sink": "CREATE", "errors": 0, "status": "unknown", "attempts": 30, "trace_id": "0x701d919769ea33b7c51655610472805086e716a16b5efbdf608f27c7e5dfb4ac", "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": "0xc9b9bfaf", "selector": "0xc9b9bfaf", "calldata_variants": [ "0xc9b9bfaf", "0xc9b9bfaf0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd4da2a22", "selector": "0xd4da2a22", "calldata_variants": [ "0xd4da2a22", "0xd4da2a220000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe1c8ca45", "selector": "0xe1c8ca45", "calldata_variants": [ "0xe1c8ca45", "0xe1c8ca450000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x8da5cb5b", "selector": "0x8da5cb5b", "calldata_variants": [ "0x8da5cb5b", "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x9c63cbbc", "selector": "0x9c63cbbc", "calldata_variants": [ "0x9c63cbbc", "0x9c63cbbc0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa140edb4", "selector": "0xa140edb4", "calldata_variants": [ "0xa140edb4", "0xa140edb40000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc2299644", "selector": "0xc2299644", "calldata_variants": [ "0xc2299644", "0xc22996440000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "create_count": 1, "create2_count": 0 }
Severity