Analysis Run

019b477e-d92a-7055-87c6-141565aa94fd
complete
Chain ID
1
Address
0x15a80ef197cf0be3592987af7c12bd4f056eac25
Block Number
—
Created
Mon, Dec 22, 2025 7:17 PM
Review Summary
What survived the funnel

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

Status & attempts
ID	Type	Status	Attempts	Heartbeat
29207	artifact.fetch	complete	1 / 3	3 months ago
29208	tool.cast_disasm	complete	1 / 3	3 months ago
72940	analysis.bundle	complete	1 / 3	1 week ago
72941	capability.graph	complete	1 / 3	1 week ago
72942	detector.run	complete	1 / 3	1 week ago
72943	validation.fork	complete	1 / 3	1 week ago
Artifact

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

tool.slither
No slither job recorded yet.
Codex

report.consolidate
No codex job recorded yet.
Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
16
EXT*/BALANCE
4
Total opcodes
5019
Flags
call_family_heavy
View cast disassembly output
00000000: PUSH1 0x80
00000002: DUP1
00000003: PUSH1 0x40
00000005: MSTORE
00000006: PUSH1 0x04
00000008: CALLDATASIZE
00000009: LT
0000000a: ISZERO
0000000b: PUSH2 0x001d
0000000e: JUMPI
0000000f: JUMPDEST
00000010: POP
00000011: CALLDATASIZE
00000012: ISZERO
00000013: PUSH2 0x001b
00000016: JUMPI
00000017: PUSH1 0x00
00000019: DUP1
0000001a: REVERT
0000001b: JUMPDEST
0000001c: STOP
0000001d: JUMPDEST
0000001e: PUSH1 0x00
00000020: SWAP1
00000021: DUP2
00000022: CALLDATALOAD
00000023: PUSH1 0xe0
00000025: SHR
00000026: SWAP1
00000027: DUP2
00000028: PUSH4 0x1532b0f4
0000002d: EQ
0000002e: PUSH2 0x18c3
00000031: JUMPI
00000032: POP
00000033: DUP1
00000034: PUSH4 0x29d6a3fe
00000039: EQ
0000003a: PUSH2 0x1859
0000003d: JUMPI
0000003e: DUP1
0000003f: PUSH4 0x2e40d70e
00000044: EQ
00000045: PUSH2 0x17d4
00000048: JUMPI
00000049: DUP1
0000004a: PUSH4 0x30e97cf7
0000004f: EQ
00000050: PUSH2 0x1799
00000053: JUMPI
00000054: DUP1
00000055: PUSH4 0x366319d3
0000005a: EQ
0000005b: PUSH2 0x15d2
0000005e: JUMPI
0000005f: DUP1
00000060: PUSH4 0x3e1c0e07
00000065: EQ
00000066: PUSH2 0x10d9
00000069: JUMPI
0000006a: DUP1
0000006b: PUSH4 0x3f4ba83a
00000070: EQ
00000071: PUSH2 0x1058
00000074: JUMPI
00000075: DUP1
00000076: PUSH4 0x4f43aff6
0000007b: EQ
0000007c: PUSH2 0x101d
0000007f: JUMPI
00000080: DUP1
00000081: PUSH4 0x51d19020
00000086: EQ
00000087: PUSH2 0x0e67
0000008a: JUMPI
0000008b: DUP1
0000008c: PUSH4 0x5c975abb
00000091: EQ
00000092: PUSH2 0x0e45
00000095: JUMPI
00000096: DUP1
00000097: PUSH4 0x67e110ed
0000009c: EQ
0000009d: PUSH2 0x0e1d
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0x715018a6
000000a7: EQ
000000a8: PUSH2 0x0da2
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0x75b83441
000000b2: EQ
000000b3: PUSH2 0x0972
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0x78a00259
000000bd: EQ
000000be: PUSH2 0x08e2
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0x79ba5097
000000c8: EQ
000000c9: PUSH2 0x0815
000000cc: JUMPI
000000cd: DUP1
000000ce: PUSH4 0x80352cfd
000000d3: EQ
000000d4: PUSH2 0x07f1
000000d7: JUMPI
000000d8: DUP1
000000d9: PUSH4 0x8456cb59
000000de: EQ
000000df: PUSH2 0x0798
000000e2: JUMPI
000000e3: DUP1
000000e4: PUSH4 0x859a1eb4
000000e9: EQ
000000ea: PUSH2 0x0706
000000ed: JUMPI
000000ee: DUP1
000000ef: PUSH4 0x8da5cb5b
000000f4: EQ
000000f5: PUSH2 0x06dd
000000f8: JUMPI
000000f9: DUP1
000000fa: PUSH4 0x91db2971
000000ff: EQ
00000100: PUSH2 0x067f
00000103: JUMPI
00000104: DUP1
00000105: PUSH4 0x946c6c0f
0000010a: EQ
0000010b: PUSH2 0x0662
0000010e: JUMPI
0000010f: DUP1
00000110: PUSH4 0x9cc1b2ba
00000115: EQ
00000116: PUSH2 0x0625
00000119: JUMPI
0000011a: DUP1
0000011b: PUSH4 0xa5764c09
00000120: EQ
00000121: PUSH2 0x05ea
00000124: JUMPI
00000125: DUP1
00000126: PUSH4 0xa7b636d0
0000012b: EQ
0000012c: PUSH2 0x05af
0000012f: JUMPI
00000130: DUP1
00000131: PUSH4 0xadb35671
00000136: EQ
00000137: PUSH2 0x0545
0000013a: JUMPI
0000013b: DUP1
0000013c: PUSH4 0xc13cbde1
00000141: EQ
00000142: PUSH2 0x03d5
00000145: JUMPI
00000146: DUP1
00000147: PUSH4 0xe30c3978
0000014c: EQ
0000014d: PUSH2 0x03ae
00000150: JUMPI
00000151: DUP1
00000152: PUSH4 0xe6add301
00000157: EQ
00000158: PUSH2 0x0241
0000015b: JUMPI
0000015c: DUP1
0000015d: PUSH4 0xe6ea9e42
00000162: EQ
00000163: PUSH2 0x021a
00000166: JUMPI
00000167: DUP1
00000168: PUSH4 0xecdd9595
0000016d: EQ
0000016e: PUSH2 0x01ea
00000171: JUMPI
00000172: PUSH4 0xf2fde38b
00000177: SUB
00000178: PUSH2 0x000f
0000017b: JUMPI
0000017c: CALLVALUE
0000017d: PUSH2 0x01e7
00000180: JUMPI
00000181: PUSH1 0x20
00000183: CALLDATASIZE
00000184: PUSH1 0x03
00000186: NOT
00000187: ADD
00000188: SLT
00000189: PUSH2 0x01e7
0000018c: JUMPI
0000018d: PUSH2 0x0194
00000190: PUSH2 0x18ec
00000193: JUMP
00000194: JUMPDEST
00000195: PUSH2 0x019c
00000198: PUSH2 0x1e03
0000019b: JUMP
0000019c: JUMPDEST
0000019d: PUSH1 0x01
0000019f: PUSH1 0x01
000001a1: PUSH1 0xa0
000001a3: SHL
000001a4: SUB
000001a5: DUP1
000001a6: SWAP2
000001a7: AND
000001a8: SWAP1
000001a9: DUP2
000001aa: PUSH1 0x01
000001ac: PUSH1 0x01
000001ae: PUSH1 0xa0
000001b0: SHL
000001b1: SUB
000001b2: NOT
000001b3: PUSH1 0x01
000001b5: SLOAD
000001b6: AND
000001b7: OR
000001b8: PUSH1 0x01
000001ba: SSTORE
000001bb: DUP3
000001bc: SLOAD
000001bd: PUSH1 0x08
000001bf: SHR
000001c0: AND
000001c1: PUSH32 0x38d16b8cac22d99fc7c124b9cd0de2d3fa1faef420bfe791d8c362d765e22700
000001e2: DUP4
000001e3: DUP1
000001e4: LOG3
000001e5: DUP1
000001e6: RETURN
000001e7: JUMPDEST
000001e8: DUP1
000001e9: REVERT
000001ea: JUMPDEST
000001eb: POP
000001ec: CALLVALUE
000001ed: PUSH2 0x01e7
000001f0: JUMPI
000001f1: PUSH1 0x40
000001f3: CALLDATASIZE
000001f4: PUSH1 0x03
000001f6: NOT
000001f7: ADD
000001f8: SLT
000001f9: PUSH2 0x01e7
000001fc: JUMPI
000001fd: PUSH1 0x20
000001ff: PUSH2 0x0212
00000202: PUSH2 0x0209
00000205: PUSH2 0x18ec
00000208: JUMP
00000209: JUMPDEST
0000020a: PUSH1 0x24
0000020c: CALLDATALOAD
0000020d: SWAP1
0000020e: PUSH2 0x1ccc
00000211: JUMP
00000212: JUMPDEST
00000213: PUSH1 0x40
00000215: MLOAD
00000216: SWAP1
00000217: DUP2
00000218: MSTORE
00000219: RETURN
0000021a: JUMPDEST
0000021b: POP
0000021c: CALLVALUE
0000021d: PUSH2 0x01e7
00000220: JUMPI
00000221: DUP1
00000222: PUSH1 0x03
00000224: NOT
00000225: CALLDATASIZE
00000226: ADD
00000227: SLT
00000228: PUSH2 0x01e7
0000022b: JUMPI
0000022c: PUSH1 0x20
0000022e: PUSH1 0x01
00000230: PUSH1 0x01
00000232: PUSH1 0xa0
00000234: SHL
00000235: SUB
00000236: PUSH1 0x08
00000238: SLOAD
00000239: AND
0000023a: PUSH1 0x40
0000023c: MLOAD
0000023d: SWAP1
0000023e: DUP2
0000023f: MSTORE
00000240: RETURN
00000241: JUMPDEST
00000242: POP
00000243: CALLVALUE
00000244: PUSH2 0x01e7
00000247: JUMPI
00000248: PUSH1 0x40
0000024a: CALLDATASIZE
0000024b: PUSH1 0x03
0000024d: NOT
0000024e: ADD
0000024f: SLT
00000250: PUSH2 0x01e7
00000253: JUMPI
00000254: PUSH2 0x025b
00000257: PUSH2 0x18ec
0000025a: JUMP
0000025b: JUMPDEST
0000025c: PUSH1 0x01
0000025e: PUSH1 0x01
00000260: PUSH1 0xa0
00000262: SHL
00000263: SUB
00000264: PUSH2 0x026b
00000267: PUSH2 0x1902
0000026a: JUMP
0000026b: JUMPDEST
0000026c: SWAP2
0000026d: PUSH2 0x0274
00000270: PUSH2 0x1e03
00000273: JUMP
00000274: JUMPDEST
00000275: AND
00000276: DUP1
00000277: PUSH2 0x02dc
0000027a: JUMPI
0000027b: POP
0000027c: SELFBALANCE
0000027d: SWAP1
0000027e: DUP3
0000027f: DUP1
00000280: DUP1
00000281: DUP1
00000282: DUP6
00000283: DUP6
00000284: GAS
00000285: CALL
00000286: PUSH2 0x028d
00000289: PUSH2 0x1bf2
0000028c: JUMP
0000028d: JUMPDEST
0000028e: POP
0000028f: ISZERO
00000290: PUSH2 0x0298
00000293: JUMPI
00000294: POP
00000295: POP
00000296: DUP1
00000297: RETURN
00000298: JUMPDEST
00000299: PUSH1 0x40
0000029b: MLOAD
0000029c: PUSH32 0x53a0add100000000000000000000000000000000000000000000000000000000
000002bd: DUP2
000002be: MSTORE
000002bf: PUSH1 0x01
000002c1: PUSH1 0x01
000002c3: PUSH1 0xa0
000002c5: SHL
000002c6: SUB
000002c7: SWAP2
000002c8: SWAP1
000002c9: SWAP2
000002ca: AND
000002cb: PUSH1 0x04
000002cd: DUP3
000002ce: ADD
000002cf: MSTORE
000002d0: PUSH1 0x24
000002d2: DUP2
000002d3: ADD
000002d4: SWAP2
000002d5: SWAP1
000002d6: SWAP2
000002d7: MSTORE
000002d8: PUSH1 0x44
000002da: SWAP1
000002db: REVERT
000002dc: JUMPDEST
000002dd: PUSH1 0x40
000002df: MLOAD
000002e0: SWAP1
000002e1: PUSH4 0x70a08231
000002e6: PUSH1 0xe0
000002e8: SHL
000002e9: DUP3
000002ea: MSTORE
000002eb: ADDRESS
000002ec: PUSH1 0x04
000002ee: DUP4
000002ef: ADD
000002f0: MSTORE
000002f1: PUSH1 0x20
000002f3: DUP3
000002f4: PUSH1 0x24
000002f6: DUP2
000002f7: DUP5
000002f8: GAS
000002f9: STATICCALL
000002fa: SWAP2
000002fb: DUP3
000002fc: ISZERO
000002fd: PUSH2 0x03a3
00000300: JUMPI
00000301: DUP5
00000302: SWAP3
00000303: PUSH2 0x0366
00000306: JUMPI
00000307: JUMPDEST
00000308: POP
00000309: PUSH1 0x40
0000030b: MLOAD
0000030c: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000
0000032d: PUSH1 0x20
0000032f: DUP3
00000330: ADD
00000331: MSTORE
00000332: PUSH1 0x01
00000334: PUSH1 0x01
00000336: PUSH1 0xa0
00000338: SHL
00000339: SUB
0000033a: SWAP4
0000033b: SWAP1
0000033c: SWAP4
0000033d: AND
0000033e: PUSH1 0x24
00000340: DUP5
00000341: ADD
00000342: MSTORE
00000343: PUSH1 0x44
00000345: DUP1
00000346: DUP5
00000347: ADD
00000348: SWAP3
00000349: SWAP1
0000034a: SWAP3
0000034b: MSTORE
0000034c: SWAP1
0000034d: DUP3
0000034e: MSTORE
0000034f: PUSH2 0x0363
00000352: SWAP2
00000353: SWAP1
00000354: PUSH2 0x035e
00000357: PUSH1 0x64
00000359: DUP4
0000035a: PUSH2 0x199e
0000035d: JUMP
0000035e: JUMPDEST
0000035f: PUSH2 0x1f9b
00000362: JUMP
00000363: JUMPDEST
00000364: DUP1
00000365: RETURN
00000366: JUMPDEST
00000367: SWAP3
00000368: SWAP2
00000369: POP
0000036a: PUSH1 0x20
0000036c: DUP4
0000036d: RETURNDATASIZE
0000036e: PUSH1 0x20
00000370: GT
00000371: PUSH2 0x039b
00000374: JUMPI
00000375: JUMPDEST
00000376: DUP2
00000377: PUSH2 0x0382
0000037a: PUSH1 0x20
0000037c: SWAP4
0000037d: DUP4
0000037e: PUSH2 0x199e
00000381: JUMP
00000382: JUMPDEST
00000383: DUP2
00000384: ADD
00000385: SUB
00000386: SLT
00000387: PUSH2 0x0396
0000038a: JUMPI
0000038b: SWAP2
0000038c: MLOAD
0000038d: SWAP1
0000038e: SWAP2
0000038f: PUSH2 0x035e
00000392: PUSH2 0x0307
00000395: JUMP
00000396: JUMPDEST
00000397: PUSH1 0x00
00000399: DUP1
0000039a: REVERT
0000039b: JUMPDEST
0000039c: RETURNDATASIZE
0000039d: SWAP2
0000039e: POP
0000039f: PUSH2 0x0375
000003a2: JUMP
000003a3: JUMPDEST
000003a4: PUSH1 0x40
000003a6: MLOAD
000003a7: RETURNDATASIZE
000003a8: DUP7
000003a9: DUP3
000003aa: RETURNDATACOPY
000003ab: RETURNDATASIZE
000003ac: SWAP1
000003ad: REVERT
000003ae: JUMPDEST
000003af: POP
000003b0: CALLVALUE
000003b1: PUSH2 0x01e7
000003b4: JUMPI
000003b5: DUP1
000003b6: PUSH1 0x03
000003b8: NOT
000003b9: CALLDATASIZE
000003ba: ADD
000003bb: SLT
000003bc: PUSH2 0x01e7
000003bf: JUMPI
000003c0: PUSH1 0x20
000003c2: PUSH1 0x01
000003c4: PUSH1 0x01
000003c6: PUSH1 0xa0
000003c8: SHL
000003c9: SUB
000003ca: PUSH1 0x01
000003cc: SLOAD
000003cd: AND
000003ce: PUSH1 0x40
000003d0: MLOAD
000003d1: SWAP1
000003d2: DUP2
000003d3: MSTORE
000003d4: RETURN
000003d5: JUMPDEST
000003d6: POP
000003d7: CALLVALUE
000003d8: PUSH2 0x01e7
000003db: JUMPI
000003dc: PUSH1 0x80
000003de: CALLDATASIZE
000003df: PUSH1 0x03
000003e1: NOT
000003e2: ADD
000003e3: SLT
000003e4: PUSH2 0x01e7
000003e7: JUMPI
000003e8: PUSH2 0x03ef
000003eb: PUSH2 0x18ec
000003ee: JUMP
000003ef: JUMPDEST
000003f0: PUSH2 0x03f7
000003f3: PUSH2 0x1902
000003f6: JUMP
000003f7: JUMPDEST
000003f8: PUSH1 0x44
000003fa: CALLDATALOAD
000003fb: SWAP1
000003fc: PUSH11 0xffffffffffffffffffffff
00000408: DUP3
00000409: AND
0000040a: SWAP1
0000040b: DUP2
0000040c: DUP4
0000040d: SUB
0000040e: PUSH2 0x0541
00000411: JUMPI
00000412: PUSH1 0x64
00000414: CALLDATALOAD
00000415: SWAP1
00000416: DUP2
00000417: DUP7
00000418: SIGNEXTEND
00000419: SWAP4
0000041a: DUP5
0000041b: DUP4
0000041c: SUB
0000041d: PUSH2 0x053d
00000420: JUMPI
00000421: PUSH2 0x0428
00000424: PUSH2 0x1e03
00000427: JUMP
00000428: JUMPDEST
00000429: PUSH1 0x12
0000042b: DUP6
0000042c: SGT
0000042d: DUP1
0000042e: ISZERO
0000042f: PUSH2 0x0532
00000432: JUMPI
00000433: JUMPDEST
00000434: PUSH2 0x04e3
00000437: JUMPI
00000438: SWAP2
00000439: PUSH32 0x9e716433319bde7f582a874df500aaae16792af8cb676afbf352c63d698b0f0e
0000045a: SWAP6
0000045b: SWAP4
0000045c: SWAP2
0000045d: PUSH1 0x80
0000045f: SWAP6
00000460: SWAP4
00000461: PUSH31 0xffffffffffffffffffffff0000000000000000000000000000000000000000
00000481: PUSH32 0xff00000000000000000000000000000000000000000000000000000000000000
000004a2: PUSH1 0x01
000004a4: PUSH1 0x01
000004a6: PUSH1 0xa0
000004a8: SHL
000004a9: SUB
000004aa: DUP1
000004ab: SWAP9
000004ac: AND
000004ad: SWAP8
000004ae: DUP9
000004af: DUP13
000004b0: MSTORE
000004b1: PUSH1 0x09
000004b3: PUSH1 0x20
000004b5: MSTORE
000004b6: PUSH1 0x40
000004b8: DUP13
000004b9: KECCAK256
000004ba: SWAP5
000004bb: AND
000004bc: SWAP5
000004bd: PUSH1 0xf8
000004bf: SHL
000004c0: AND
000004c1: SWAP2
000004c2: PUSH1 0xa0
000004c4: SHL
000004c5: AND
000004c6: DUP4
000004c7: OR
000004c8: OR
000004c9: SWAP1
000004ca: SSTORE
000004cb: PUSH1 0x40
000004cd: MLOAD
000004ce: SWAP4
000004cf: DUP5
000004d0: MSTORE
000004d1: PUSH1 0x20
000004d3: DUP5
000004d4: ADD
000004d5: MSTORE
000004d6: PUSH1 0x40
000004d8: DUP4
000004d9: ADD
000004da: MSTORE
000004db: PUSH1 0x60
000004dd: DUP3
000004de: ADD
000004df: MSTORE
000004e0: LOG1
000004e1: DUP1
000004e2: RETURN
000004e3: JUMPDEST
000004e4: PUSH1 0x84
000004e6: DUP3
000004e7: DUP7
000004e8: DUP7
000004e9: DUP10
000004ea: PUSH1 0x40
000004ec: MLOAD
000004ed: SWAP4
000004ee: PUSH32 0xb1cced0000000000000000000000000000000000000000000000000000000000
0000050f: DUP6
00000510: MSTORE
00000511: PUSH1 0x01
00000513: PUSH1 0x01
00000515: PUSH1 0xa0
00000517: SHL
00000518: SUB
00000519: DUP1
0000051a: SWAP3
0000051b: AND
0000051c: PUSH1 0x04
0000051e: DUP7
0000051f: ADD
00000520: MSTORE
00000521: AND
00000522: PUSH1 0x24
00000524: DUP5
00000525: ADD
00000526: MSTORE
00000527: PUSH1 0x44
00000529: DUP4
0000052a: ADD
0000052b: MSTORE
0000052c: PUSH1 0x64
0000052e: DUP3
0000052f: ADD
00000530: MSTORE
00000531: REVERT
00000532: JUMPDEST
00000533: POP
00000534: PUSH1 0x11
00000536: NOT
00000537: DUP6
00000538: SLT
00000539: PUSH2 0x0433
0000053c: JUMP
0000053d: JUMPDEST
0000053e: DUP7
0000053f: DUP1
00000540: REVERT
00000541: JUMPDEST
00000542: DUP5
00000543: DUP1
00000544: REVERT
00000545: JUMPDEST
00000546: POP
00000547: CALLVALUE
00000548: PUSH2 0x01e7
0000054b: JUMPI
0000054c: PUSH1 0x20
0000054e: CALLDATASIZE
0000054f: PUSH1 0x03
00000551: NOT
00000552: ADD
00000553: SLT
00000554: PUSH2 0x01e7
00000557: JUMPI
00000558: PUSH32 0x412bba4df7f16257b843b25fb7a319558446e98fca6bc6be308f73dd1a723027
00000579: PUSH1 0x20
0000057b: PUSH1 0x01
0000057d: PUSH1 0x01
0000057f: PUSH1 0xa0
00000581: SHL
00000582: SUB
00000583: PUSH2 0x058a
00000586: PUSH2 0x18ec
00000589: JUMP
0000058a: JUMPDEST
0000058b: PUSH2 0x0592
0000058e: PUSH2 0x1e03
00000591: JUMP
00000592: JUMPDEST
00000593: AND
00000594: DUP1
00000595: PUSH1 0x01
00000597: PUSH1 0x01
00000599: PUSH1 0xa0
0000059b: SHL
0000059c: SUB
0000059d: NOT
0000059e: PUSH1 0x08
000005a0: SLOAD
000005a1: AND
000005a2: OR
000005a3: PUSH1 0x08
000005a5: SSTORE
000005a6: PUSH1 0x40
000005a8: MLOAD
000005a9: SWAP1
000005aa: DUP2
000005ab: MSTORE
000005ac: LOG1
000005ad: DUP1
000005ae: RETURN
000005af: JUMPDEST
000005b0: POP
000005b1: CALLVALUE
000005b2: PUSH2 0x01e7
000005b5: JUMPI
000005b6: PUSH1 0x20
000005b8: CALLDATASIZE
000005b9: PUSH1 0x03
000005bb: NOT
000005bc: ADD
000005bd: SLT
000005be: PUSH2 0x01e7
000005c1: JUMPI
000005c2: PUSH1 0x20
000005c4: SWAP1
000005c5: PUSH1 0x40
000005c7: PUSH1 0x01
000005c9: PUSH1 0x01
000005cb: PUSH1 0xa0
000005cd: SHL
000005ce: SUB
000005cf: SWAP2
000005d0: DUP3
000005d1: PUSH2 0x05d8
000005d4: PUSH2 0x18ec
000005d7: JUMP
000005d8: JUMPDEST
000005d9: AND
000005da: DUP2
000005db: MSTORE
000005dc: PUSH1 0x06
000005de: DUP5
000005df: MSTORE
000005e0: KECCAK256
000005e1: SLOAD
000005e2: AND
000005e3: PUSH1 0x40
000005e5: MLOAD
000005e6: SWAP1
000005e7: DUP2
000005e8: MSTORE
000005e9: RETURN
000005ea: JUMPDEST
000005eb: POP
000005ec: CALLVALUE
000005ed: PUSH2 0x01e7
000005f0: JUMPI
000005f1: PUSH1 0x20
000005f3: CALLDATASIZE
000005f4: PUSH1 0x03
000005f6: NOT
000005f7: ADD
000005f8: SLT
000005f9: PUSH2 0x01e7
000005fc: JUMPI
000005fd: PUSH1 0x20
000005ff: SWAP1
00000600: PUSH1 0x40
00000602: PUSH1 0x01
00000604: PUSH1 0x01
00000606: PUSH1 0xa0
00000608: SHL
00000609: SUB
0000060a: SWAP2
0000060b: DUP3
0000060c: PUSH2 0x0613
0000060f: PUSH2 0x18ec
00000612: JUMP
00000613: JUMPDEST
00000614: AND
00000615: DUP2
00000616: MSTORE
00000617: PUSH1 0x05
00000619: DUP5
0000061a: MSTORE
0000061b: KECCAK256
0000061c: SLOAD
0000061d: AND
0000061e: PUSH1 0x40
00000620: MLOAD
00000621: SWAP1
00000622: DUP2
00000623: MSTORE
00000624: RETURN
00000625: JUMPDEST
00000626: POP
00000627: CALLVALUE
00000628: PUSH2 0x01e7
0000062b: JUMPI
0000062c: PUSH1 0x20
0000062e: CALLDATASIZE
0000062f: PUSH1 0x03
00000631: NOT
00000632: ADD
00000633: SLT
00000634: PUSH2 0x01e7
00000637: JUMPI
00000638: PUSH1 0xff
0000063a: PUSH1 0x40
0000063c: PUSH1 0x20
0000063e: SWAP3
0000063f: PUSH1 0x01
00000641: PUSH1 0x01
00000643: PUSH1 0xa0
00000645: SHL
00000646: SUB
00000647: PUSH2 0x064e
0000064a: PUSH2 0x18ec
0000064d: JUMP
0000064e: JUMPDEST
0000064f: AND
00000650: DUP2
00000651: MSTORE
00000652: PUSH1 0x02
00000654: DUP5
00000655: MSTORE
00000656: KECCAK256
00000657: SLOAD
00000658: AND
00000659: PUSH1 0x40
0000065b: MLOAD
0000065c: SWAP1
0000065d: ISZERO
0000065e: ISZERO
0000065f: DUP2
00000660: MSTORE
00000661: RETURN
00000662: JUMPDEST
00000663: POP
00000664: CALLVALUE
00000665: PUSH2 0x01e7
00000668: JUMPI
00000669: DUP1
0000066a: PUSH1 0x03
0000066c: NOT
0000066d: CALLDATASIZE
0000066e: ADD
0000066f: SLT
00000670: PUSH2 0x01e7
00000673: JUMPI
00000674: PUSH1 0x20
00000676: PUSH1 0x40
00000678: MLOAD
00000679: PUSH2 0x7656
0000067c: DUP2
0000067d: MSTORE
0000067e: RETURN
0000067f: JUMPDEST
00000680: POP
00000681: CALLVALUE
00000682: PUSH2 0x01e7
00000685: JUMPI
00000686: PUSH1 0x20
00000688: CALLDATASIZE
00000689: PUSH1 0x03
0000068b: NOT
0000068c: ADD
0000068d: SLT
0000068e: PUSH2 0x01e7
00000691: JUMPI
00000692: PUSH1 0x60
00000694: SWAP1
00000695: PUSH1 0x01
00000697: PUSH1 0x01
00000699: PUSH1 0xa0
0000069b: SHL
0000069c: SUB
0000069d: SWAP1
0000069e: DUP2
0000069f: PUSH2 0x06a6
000006a2: PUSH2 0x18ec
000006a5: JUMP
000006a6: JUMPDEST
000006a7: AND
000006a8: DUP2
000006a9: MSTORE
000006aa: PUSH1 0x09
000006ac: PUSH1 0x20
000006ae: MSTORE
000006af: PUSH1 0x40
000006b1: DUP2
000006b2: KECCAK256
000006b3: SLOAD
000006b4: PUSH1 0x40
000006b6: MLOAD
000006b7: SWAP3
000006b8: DUP2
000006b9: AND
000006ba: DUP4
000006bb: MSTORE
000006bc: PUSH11 0xffffffffffffffffffffff
000006c8: DUP2
000006c9: PUSH1 0xa0
000006cb: SHR
000006cc: AND
000006cd: PUSH1 0x20
000006cf: DUP5
000006d0: ADD
000006d1: MSTORE
000006d2: PUSH1 0xf8
000006d4: SAR
000006d5: SWAP1
000006d6: SIGNEXTEND
000006d7: PUSH1 0x40
000006d9: DUP3
000006da: ADD
000006db: MSTORE
000006dc: RETURN
000006dd: JUMPDEST
000006de: POP
000006df: CALLVALUE
000006e0: PUSH2 0x01e7
000006e3: JUMPI
000006e4: DUP1
000006e5: PUSH1 0x03
000006e7: NOT
000006e8: CALLDATASIZE
000006e9: ADD
000006ea: SLT
000006eb: PUSH2 0x01e7
000006ee: JUMPI
000006ef: PUSH1 0x01
000006f1: PUSH1 0x01
000006f3: PUSH1 0xa0
000006f5: SHL
000006f6: SUB
000006f7: PUSH1 0x20
000006f9: SWAP2
000006fa: SLOAD
000006fb: PUSH1 0x08
000006fd: SHR
000006fe: AND
000006ff: PUSH1 0x40
00000701: MLOAD
00000702: SWAP1
00000703: DUP2
00000704: MSTORE
00000705: RETURN
00000706: JUMPDEST
00000707: POP
00000708: CALLVALUE
00000709: PUSH2 0x01e7
0000070c: JUMPI
0000070d: PUSH1 0x40
0000070f: CALLDATASIZE
00000710: PUSH1 0x03
00000712: NOT
00000713: ADD
00000714: SLT
00000715: PUSH2 0x01e7
00000718: JUMPI
00000719: PUSH32 0xf95a0e7d9ac82d72568b7138bcdedf429165fdc70630ca2df54b6054cfa0b096
0000073a: PUSH2 0x0741
0000073d: PUSH2 0x18ec
00000740: JUMP
00000741: JUMPDEST
00000742: PUSH2 0x0749
00000745: PUSH2 0x1902
00000748: JUMP
00000749: JUMPDEST
0000074a: SWAP1
0000074b: PUSH2 0x0752
0000074e: PUSH2 0x1e03
00000751: JUMP
00000752: JUMPDEST
00000753: PUSH1 0x01
00000755: PUSH1 0x01
00000757: PUSH1 0xa0
00000759: SHL
0000075a: SUB
0000075b: SWAP1
0000075c: DUP2
0000075d: AND
0000075e: DUP1
0000075f: DUP6
00000760: MSTORE
00000761: PUSH1 0x06
00000763: PUSH1 0x20
00000765: SWAP1
00000766: DUP2
00000767: MSTORE
00000768: PUSH1 0x40
0000076a: DUP1
0000076b: DUP8
0000076c: KECCAK256
0000076d: DUP1
0000076e: SLOAD
0000076f: PUSH1 0x01
00000771: PUSH1 0x01
00000773: PUSH1 0xa0
00000775: SHL
00000776: SUB
00000777: NOT
00000778: AND
00000779: SWAP6
0000077a: SWAP1
0000077b: SWAP5
0000077c: AND
0000077d: SWAP5
0000077e: DUP6
0000077f: OR
00000780: SWAP1
00000781: SWAP4
00000782: SSTORE
00000783: DUP3
00000784: MLOAD
00000785: SWAP2
00000786: DUP3
00000787: MSTORE
00000788: DUP2
00000789: ADD
0000078a: SWAP3
0000078b: SWAP1
0000078c: SWAP3
0000078d: MSTORE
0000078e: DUP2
0000078f: SWAP1
00000790: DUP2
00000791: ADD
00000792: JUMPDEST
00000793: SUB
00000794: SWAP1
00000795: LOG1
00000796: DUP1
00000797: RETURN
00000798: JUMPDEST
00000799: POP
0000079a: CALLVALUE
0000079b: PUSH2 0x01e7
0000079e: JUMPI
0000079f: DUP1
000007a0: PUSH1 0x03
000007a2: NOT
000007a3: CALLDATASIZE
000007a4: ADD
000007a5: SLT
000007a6: PUSH2 0x01e7
000007a9: JUMPI
000007aa: PUSH2 0x07b1
000007ad: PUSH2 0x1e03
000007b0: JUMP
000007b1: JUMPDEST
000007b2: PUSH2 0x07b9
000007b5: PUSH2 0x1e1a
000007b8: JUMP
000007b9: JUMPDEST
000007ba: PUSH1 0x01
000007bc: PUSH1 0xff
000007be: NOT
000007bf: DUP3
000007c0: SLOAD
000007c1: AND
000007c2: OR
000007c3: DUP2
000007c4: SSTORE
000007c5: PUSH32 0x62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a258
000007e6: PUSH1 0x20
000007e8: PUSH1 0x40
000007ea: MLOAD
000007eb: CALLER
000007ec: DUP2
000007ed: MSTORE
000007ee: LOG1
000007ef: DUP1
000007f0: RETURN
000007f1: JUMPDEST
000007f2: POP
000007f3: CALLVALUE
000007f4: PUSH2 0x01e7
000007f7: JUMPI
000007f8: PUSH1 0x20
000007fa: CALLDATASIZE
000007fb: PUSH1 0x03
000007fd: NOT
000007fe: ADD
000007ff: SLT
00000800: PUSH2 0x01e7
00000803: JUMPI
00000804: PUSH1 0x20
00000806: PUSH2 0x0212
00000809: PUSH2 0x0810
0000080c: PUSH2 0x18ec
0000080f: JUMP
00000810: JUMPDEST
00000811: PUSH2 0x1c22
00000814: JUMP
00000815: JUMPDEST
00000816: POP
00000817: CALLVALUE
00000818: PUSH2 0x01e7
0000081b: JUMPI
0000081c: DUP1
0000081d: PUSH1 0x03
0000081f: NOT
00000820: CALLDATASIZE
00000821: ADD
00000822: SLT
00000823: PUSH2 0x01e7
00000826: JUMPI
00000827: PUSH1 0x01
00000829: SLOAD
0000082a: PUSH1 0x01
0000082c: PUSH1 0x01
0000082e: PUSH1 0xa0
00000830: SHL
00000831: SUB
00000832: SWAP1
00000833: CALLER
00000834: DUP3
00000835: DUP3
00000836: AND
00000837: SUB
00000838: PUSH2 0x08b2
0000083b: JUMPI
0000083c: PUSH1 0x01
0000083e: PUSH1 0x01
00000840: PUSH1 0xa0
00000842: SHL
00000843: SUB
00000844: NOT
00000845: AND
00000846: PUSH1 0x01
00000848: SSTORE
00000849: PUSH1 0x00
0000084b: SLOAD
0000084c: SWAP1
0000084d: PUSH21 0xffffffffffffffffffffffffffffffffffffffff00
00000863: CALLER
00000864: PUSH1 0x08
00000866: SHL
00000867: AND
00000868: PUSH21 0xffffffffffffffffffffffffffffffffffffffff00
0000087e: NOT
0000087f: DUP4
00000880: AND
00000881: OR
00000882: PUSH1 0x00
00000884: SSTORE
00000885: CALLER
00000886: SWAP2
00000887: PUSH1 0x08
00000889: SHR
0000088a: AND
0000088b: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
000008ac: PUSH1 0x00
000008ae: DUP1
000008af: LOG3
000008b0: DUP1
000008b1: RETURN
000008b2: JUMPDEST
000008b3: PUSH1 0x24
000008b5: PUSH1 0x40
000008b7: MLOAD
000008b8: PUSH32 0x118cdaa700000000000000000000000000000000000000000000000000000000
000008d9: DUP2
000008da: MSTORE
000008db: CALLER
000008dc: PUSH1 0x04
000008de: DUP3
000008df: ADD
000008e0: MSTORE
000008e1: REVERT
000008e2: JUMPDEST
000008e3: POP
000008e4: CALLVALUE
000008e5: PUSH2 0x01e7
000008e8: JUMPI
000008e9: PUSH1 0x40
000008eb: CALLDATASIZE
000008ec: PUSH1 0x03
000008ee: NOT
000008ef: ADD
000008f0: SLT
000008f1: PUSH2 0x01e7
000008f4: JUMPI
000008f5: PUSH32 0xd569523ce0f8d3c7c3fbfaf20aef4b2861466835c20dd99e23d508e13e17edef
00000916: PUSH2 0x091d
00000919: PUSH2 0x18ec
0000091c: JUMP
0000091d: JUMPDEST
0000091e: PUSH2 0x0925
00000921: PUSH2 0x1902
00000924: JUMP
00000925: JUMPDEST
00000926: SWAP1
00000927: PUSH2 0x092e
0000092a: PUSH2 0x1e03
0000092d: JUMP
0000092e: JUMPDEST
0000092f: PUSH1 0x01
00000931: PUSH1 0x01
00000933: PUSH1 0xa0
00000935: SHL
00000936: SUB
00000937: SWAP1
00000938: DUP2
00000939: AND
0000093a: DUP1
0000093b: DUP6
0000093c: MSTORE
0000093d: PUSH1 0x03
0000093f: PUSH1 0x20
00000941: SWAP1
00000942: DUP2
00000943: MSTORE
00000944: PUSH1 0x40
00000946: DUP1
00000947: DUP8
00000948: KECCAK256
00000949: DUP1
0000094a: SLOAD
0000094b: PUSH1 0x01
0000094d: PUSH1 0x01
0000094f: PUSH1 0xa0
00000951: SHL
00000952: SUB
00000953: NOT
00000954: AND
00000955: SWAP6
00000956: SWAP1
00000957: SWAP5
00000958: AND
00000959: SWAP5
0000095a: DUP6
0000095b: OR
0000095c: SWAP1
0000095d: SWAP4
0000095e: SSTORE
0000095f: DUP3
00000960: MLOAD
00000961: SWAP2
00000962: DUP3
00000963: MSTORE
00000964: DUP2
00000965: ADD
00000966: SWAP3
00000967: SWAP1
00000968: SWAP3
00000969: MSTORE
0000096a: DUP2
0000096b: SWAP1
0000096c: DUP2
0000096d: ADD
0000096e: PUSH2 0x0792
00000971: JUMP
00000972: JUMPDEST
00000973: POP
00000974: CALLVALUE
00000975: PUSH2 0x01e7
00000978: JUMPI
00000979: PUSH1 0x40
0000097b: CALLDATASIZE
0000097c: PUSH1 0x03
0000097e: NOT
0000097f: ADD
00000980: SLT
00000981: PUSH2 0x01e7
00000984: JUMPI
00000985: PUSH2 0x098c
00000988: PUSH2 0x18ec
0000098b: JUMP
0000098c: JUMPDEST
0000098d: PUSH1 0x24
0000098f: DUP1
00000990: CALLDATALOAD
00000991: PUSH8 0xffffffffffffffff
0000099a: DUP1
0000099b: DUP3
0000099c: GT
0000099d: PUSH2 0x0541
000009a0: JUMPI
000009a1: CALLDATASIZE
000009a2: PUSH1 0x23
000009a4: DUP4
000009a5: ADD
000009a6: SLT
000009a7: ISZERO
000009a8: PUSH2 0x0541
000009ab: JUMPI
000009ac: DUP2
000009ad: PUSH1 0x04
000009af: ADD
000009b0: CALLDATALOAD
000009b1: SWAP1
000009b2: DUP2
000009b3: GT
000009b4: PUSH2 0x0541
000009b7: JUMPI
000009b8: CALLDATASIZE
000009b9: DUP4
000009ba: DUP3
000009bb: DUP5
000009bc: ADD
000009bd: ADD
000009be: GT
000009bf: PUSH2 0x0541
000009c2: JUMPI
000009c3: PUSH2 0x09ca
000009c6: PUSH2 0x1e1a
000009c9: JUMP
000009ca: JUMPDEST
000009cb: CALLER
000009cc: DUP6
000009cd: MSTORE
000009ce: PUSH1 0x20
000009d0: SWAP2
000009d1: PUSH1 0x02
000009d3: DUP4
000009d4: MSTORE
000009d5: PUSH1 0xff
000009d7: PUSH1 0x40
000009d9: DUP8
000009da: KECCAK256
000009db: SLOAD
000009dc: AND
000009dd: ISZERO
000009de: PUSH2 0x0d8c
000009e1: JUMPI
000009e2: PUSH1 0x01
000009e4: PUSH1 0x01
000009e6: PUSH1 0xa0
000009e8: SHL
000009e9: SUB
000009ea: SWAP2
000009eb: DUP3
000009ec: DUP7
000009ed: AND
000009ee: SWAP6
000009ef: DUP7
000009f0: DUP9
000009f1: MSTORE
000009f2: PUSH1 0x09
000009f4: DUP6
000009f5: MSTORE
000009f6: PUSH11 0xffffffffffffffffffffff
00000a02: PUSH1 0x40
00000a04: DUP10
00000a05: KECCAK256
00000a06: SLOAD
00000a07: PUSH1 0xa0
00000a09: SHR
00000a0a: AND
00000a0b: ISZERO
00000a0c: PUSH2 0x0d5c
00000a0f: JUMPI
00000a10: PUSH1 0x40
00000a12: MLOAD
00000a13: SWAP5
00000a14: PUSH4 0x70a08231
00000a19: PUSH1 0xe0
00000a1b: SHL
00000a1c: SWAP1
00000a1d: DUP2
00000a1e: DUP8
00000a1f: MSTORE
00000a20: ADDRESS
00000a21: PUSH1 0x04
00000a23: DUP9
00000a24: ADD
00000a25: MSTORE
00000a26: DUP1
00000a27: DUP8
00000a28: DUP10
00000a29: DUP2
00000a2a: DUP13
00000a2b: GAS
00000a2c: STATICCALL
00000a2d: SWAP5
00000a2e: DUP6
00000a2f: ISZERO
00000a30: PUSH2 0x0d51
00000a33: JUMPI
00000a34: DUP10
00000a35: SWAP8
00000a36: DUP12
00000a37: SWAP7
00000a38: PUSH2 0x0d1f
00000a3b: JUMPI
00000a3c: JUMPDEST
00000a3d: POP
00000a3e: DUP8
00000a3f: DUP12
00000a40: MSTORE
00000a41: PUSH1 0x09
00000a43: DUP3
00000a44: MSTORE
00000a45: DUP7
00000a46: PUSH1 0x40
00000a48: DUP13
00000a49: KECCAK256
00000a4a: SLOAD
00000a4b: AND
00000a4c: SWAP7
00000a4d: SELFBALANCE
00000a4e: SWAP6
00000a4f: DUP13
00000a50: DUP10
00000a51: ISZERO
00000a52: ISZERO
00000a53: SWAP11
00000a54: DUP12
00000a55: PUSH2 0x0caf
00000a58: JUMPI
00000a59: JUMPDEST
00000a5a: DUP2
00000a5b: MSTORE
00000a5c: PUSH1 0x03
00000a5e: DUP6
00000a5f: MSTORE
00000a60: PUSH1 0x40
00000a62: SWAP1
00000a63: KECCAK256
00000a64: SLOAD
00000a65: DUP3
00000a66: AND
00000a67: PUSH2 0x0c7f
00000a6a: JUMPI
00000a6b: DUP13
00000a6c: SWAP1
00000a6d: DUP12
00000a6e: DUP6
00000a6f: DUP15
00000a70: PUSH1 0x40
00000a72: MLOAD
00000a73: SWAP3
00000a74: DUP4
00000a75: DUP1
00000a76: SWAP3
00000a77: DUP12
00000a78: DUP3
00000a79: MSTORE
00000a7a: ADDRESS
00000a7b: PUSH1 0x04
00000a7d: DUP4
00000a7e: ADD
00000a7f: MSTORE
00000a80: GAS
00000a81: STATICCALL
00000a82: SWAP5
00000a83: DUP6
00000a84: ISZERO
00000a85: PUSH2 0x0c74
00000a88: JUMPI
00000a89: DUP15
00000a8a: DUP15
00000a8b: SWAP3
00000a8c: DUP6
00000a8d: SWAP8
00000a8e: PUSH2 0x0c3c
00000a91: JUMPI
00000a92: JUMPDEST
00000a93: POP
00000a94: DUP5
00000a95: SWAP4
00000a96: SWAP3
00000a97: SWAP2
00000a98: PUSH2 0x0aa8
00000a9b: DUP9
00000a9c: DUP7
00000a9d: SWAP4
00000a9e: DUP10
00000a9f: PUSH1 0x08
00000aa1: SLOAD
00000aa2: AND
00000aa3: SWAP1
00000aa4: PUSH2 0x1e50
00000aa7: JUMP
00000aa8: JUMPDEST
00000aa9: DUP7
00000aaa: PUSH1 0x08
00000aac: SLOAD
00000aad: AND
00000aae: SWAP4
00000aaf: DUP1
00000ab0: PUSH1 0x40
00000ab2: MLOAD
00000ab3: SWAP5
00000ab4: DUP6
00000ab5: SWAP4
00000ab6: ADD
00000ab7: DUP4
00000ab8: CALLDATACOPY
00000ab9: DUP2
00000aba: ADD
00000abb: DUP3
00000abc: DUP2
00000abd: MSTORE
00000abe: SUB
00000abf: SWAP3
00000ac0: GAS
00000ac1: CALL
00000ac2: PUSH2 0x0ac9
00000ac5: PUSH2 0x1bf2
00000ac8: JUMP
00000ac9: JUMPDEST
00000aca: SWAP1
00000acb: ISZERO
00000acc: PUSH2 0x0c12
00000acf: JUMPI
00000ad0: DUP13
00000ad1: PUSH1 0x40
00000ad3: DUP3
00000ad4: DUP1
00000ad5: MLOAD
00000ad6: DUP2
00000ad7: ADD
00000ad8: SUB
00000ad9: SLT
00000ada: PUSH2 0x01e7
00000add: JUMPI
00000ade: PUSH32 0x84379c9ca4dff30ae5b5d44a1e1cc23208b377b7526669dba5b506d73f20ce58
00000aff: SWAP4
00000b00: PUSH1 0x80
00000b02: SWAP4
00000b03: PUSH1 0x40
00000b05: DUP16
00000b06: SWAP5
00000b07: DUP9
00000b08: ADD
00000b09: MLOAD
00000b0a: SWAP4
00000b0b: DUP6
00000b0c: DUP2
00000b0d: MSTORE
00000b0e: PUSH1 0x09
00000b10: DUP10
00000b11: MSTORE
00000b12: KECCAK256
00000b13: SLOAD
00000b14: AND
00000b15: SWAP1
00000b16: PUSH1 0x40
00000b18: MLOAD
00000b19: SWAP4
00000b1a: DUP5
00000b1b: MSTORE
00000b1c: DUP7
00000b1d: DUP5
00000b1e: ADD
00000b1f: MSTORE
00000b20: PUSH1 0x40
00000b22: DUP4
00000b23: ADD
00000b24: MSTORE
00000b25: PUSH1 0x60
00000b27: DUP3
00000b28: ADD
00000b29: MSTORE
00000b2a: LOG1
00000b2b: SELFBALANCE
00000b2c: SWAP7
00000b2d: PUSH2 0x0ba2
00000b30: JUMPI
00000b31: JUMPDEST
00000b32: POP
00000b33: POP
00000b34: DUP3
00000b35: PUSH2 0x0b3d
00000b38: SWAP2
00000b39: PUSH2 0x1b48
00000b3c: JUMP
00000b3d: JUMPDEST
00000b3e: SWAP4
00000b3f: DUP5
00000b40: PUSH2 0x0b49
00000b43: DUP4
00000b44: DUP4
00000b45: PUSH2 0x1be5
00000b48: JUMP
00000b49: JUMPDEST
00000b4a: LT
00000b4b: ISZERO
00000b4c: PUSH2 0x0b53
00000b4f: JUMPI
00000b50: DUP8
00000b51: DUP1
00000b52: RETURN
00000b53: JUMPDEST
00000b54: PUSH1 0xa4
00000b56: SWAP8
00000b57: POP
00000b58: SWAP1
00000b59: PUSH2 0x0b61
00000b5c: SWAP2
00000b5d: PUSH2 0x1be5
00000b60: JUMP
00000b61: JUMPDEST
00000b62: SWAP4
00000b63: PUSH1 0x40
00000b65: MLOAD
00000b66: SWAP6
00000b67: PUSH32 0xf5bc89bd00000000000000000000000000000000000000000000000000000000
00000b88: DUP8
00000b89: MSTORE
00000b8a: PUSH1 0x04
00000b8c: DUP8
00000b8d: ADD
00000b8e: MSTORE
00000b8f: DUP6
00000b90: ADD
00000b91: MSTORE
00000b92: PUSH1 0x44
00000b94: DUP5
00000b95: ADD
00000b96: MSTORE
00000b97: PUSH1 0x64
00000b99: DUP4
00000b9a: ADD
00000b9b: MSTORE
00000b9c: PUSH1 0x84
00000b9e: DUP3
00000b9f: ADD
00000ba0: MSTORE
00000ba1: REVERT
00000ba2: JUMPDEST
00000ba3: SWAP1
00000ba4: SWAP2
00000ba5: SWAP6
00000ba6: POP
00000ba7: PUSH1 0x40
00000ba9: MLOAD
00000baa: SWAP2
00000bab: DUP3
00000bac: MSTORE
00000bad: ADDRESS
00000bae: PUSH1 0x04
00000bb0: DUP4
00000bb1: ADD
00000bb2: MSTORE
00000bb3: DUP1
00000bb4: DUP3
00000bb5: DUP9
00000bb6: DUP2
00000bb7: DUP9
00000bb8: GAS
00000bb9: STATICCALL
00000bba: DUP1
00000bbb: ISZERO
00000bbc: PUSH2 0x0c07
00000bbf: JUMPI
00000bc0: DUP5
00000bc1: SWAP2
00000bc2: DUP11
00000bc3: SWAP2
00000bc4: PUSH2 0x0bd4
00000bc7: JUMPI
00000bc8: JUMPDEST
00000bc9: POP
00000bca: SWAP6
00000bcb: SWAP2
00000bcc: POP
00000bcd: PUSH2 0x0b3d
00000bd0: PUSH2 0x0b31
00000bd3: JUMP
00000bd4: JUMPDEST
00000bd5: DUP1
00000bd6: SWAP3
00000bd7: POP
00000bd8: DUP4
00000bd9: SWAP2
00000bda: POP
00000bdb: RETURNDATASIZE
00000bdc: DUP4
00000bdd: GT
00000bde: PUSH2 0x0c00
00000be1: JUMPI
00000be2: JUMPDEST
00000be3: PUSH2 0x0bec
00000be6: DUP2
00000be7: DUP4
00000be8: PUSH2 0x199e
00000beb: JUMP
00000bec: JUMPDEST
00000bed: DUP2
00000bee: ADD
00000bef: SUB
00000bf0: SLT
00000bf1: PUSH2 0x0396
00000bf4: JUMPI
00000bf5: DUP3
00000bf6: PUSH2 0x0b3d
00000bf9: SWAP2
00000bfa: MLOAD
00000bfb: CODESIZE
00000bfc: PUSH2 0x0bc8
00000bff: JUMP
00000c00: JUMPDEST
00000c01: POP
00000c02: RETURNDATASIZE
00000c03: PUSH2 0x0be2
00000c06: JUMP
00000c07: JUMPDEST
00000c08: PUSH1 0x40
00000c0a: MLOAD
00000c0b: RETURNDATASIZE
00000c0c: DUP12
00000c0d: DUP3
00000c0e: RETURNDATACOPY
00000c0f: RETURNDATASIZE
00000c10: SWAP1
00000c11: REVERT
00000c12: JUMPDEST
00000c13: PUSH1 0x04
00000c15: PUSH1 0x40
00000c17: MLOAD
00000c18: PUSH32 0x261302b500000000000000000000000000000000000000000000000000000000
00000c39: DUP2
00000c3a: MSTORE
00000c3b: REVERT
00000c3c: JUMPDEST
00000c3d: SWAP4
00000c3e: SWAP7
00000c3f: POP
00000c40: POP
00000c41: SWAP3
00000c42: POP
00000c43: POP
00000c44: DUP5
00000c45: DUP2
00000c46: DUP2
00000c47: RETURNDATASIZE
00000c48: DUP4
00000c49: GT
00000c4a: PUSH2 0x0c6d
00000c4d: JUMPI
00000c4e: JUMPDEST
00000c4f: PUSH2 0x0c58
00000c52: DUP2
00000c53: DUP4
00000c54: PUSH2 0x199e
00000c57: JUMP
00000c58: JUMPDEST
00000c59: DUP2
00000c5a: ADD
00000c5b: SUB
00000c5c: SLT
00000c5d: PUSH2 0x0396
00000c60: JUMPI
00000c61: MLOAD
00000c62: SWAP3
00000c63: DUP14
00000c64: SWAP2
00000c65: DUP13
00000c66: SWAP1
00000c67: DUP15
00000c68: DUP5
00000c69: PUSH2 0x0a92
00000c6c: JUMP
00000c6d: JUMPDEST
00000c6e: POP
00000c6f: RETURNDATASIZE
00000c70: PUSH2 0x0c4e
00000c73: JUMP
00000c74: JUMPDEST
00000c75: PUSH1 0x40
00000c77: MLOAD
00000c78: RETURNDATASIZE
00000c79: DUP6
00000c7a: DUP3
00000c7b: RETURNDATACOPY
00000c7c: RETURNDATASIZE
00000c7d: SWAP1
00000c7e: REVERT
00000c7f: JUMPDEST
00000c80: DUP11
00000c81: DUP13
00000c82: PUSH1 0x40
00000c84: MLOAD
00000c85: SWAP1
00000c86: PUSH32 0xea27118800000000000000000000000000000000000000000000000000000000
00000ca7: DUP3
00000ca8: MSTORE
00000ca9: PUSH1 0x04
00000cab: DUP3
00000cac: ADD
00000cad: MSTORE
00000cae: REVERT
00000caf: JUMPDEST
00000cb0: POP
00000cb1: POP
00000cb2: PUSH1 0x40
00000cb4: MLOAD
00000cb5: DUP6
00000cb6: DUP2
00000cb7: MSTORE
00000cb8: ADDRESS
00000cb9: PUSH1 0x04
00000cbb: DUP3
00000cbc: ADD
00000cbd: MSTORE
00000cbe: SWAP7
00000cbf: POP
00000cc0: DUP13
00000cc1: DUP5
00000cc2: DUP9
00000cc3: DUP14
00000cc4: DUP2
00000cc5: DUP14
00000cc6: GAS
00000cc7: STATICCALL
00000cc8: DUP1
00000cc9: ISZERO
00000cca: PUSH2 0x0d12
00000ccd: JUMPI
00000cce: DUP14
00000ccf: SWAP9
00000cd0: DUP3
00000cd1: SWAP2
00000cd2: PUSH2 0x0cdd
00000cd5: JUMPI
00000cd6: JUMPDEST
00000cd7: POP
00000cd8: SWAP8
00000cd9: PUSH2 0x0a59
00000cdc: JUMP
00000cdd: JUMPDEST
00000cde: SWAP9
00000cdf: POP
00000ce0: POP
00000ce1: POP
00000ce2: DUP4
00000ce3: DUP8
00000ce4: DUP2
00000ce5: RETURNDATASIZE
00000ce6: DUP4
00000ce7: GT
00000ce8: PUSH2 0x0d0b
00000ceb: JUMPI
00000cec: JUMPDEST
00000ced: PUSH2 0x0cf6
00000cf0: DUP2
00000cf1: DUP4
00000cf2: PUSH2 0x199e
00000cf5: JUMP
00000cf6: JUMPDEST
00000cf7: DUP2
00000cf8: ADD
00000cf9: SUB
00000cfa: SLT
00000cfb: PUSH2 0x0396
00000cfe: JUMPI
00000cff: SWAP6
00000d00: MLOAD
00000d01: DUP12
00000d02: SWAP7
00000d03: SWAP1
00000d04: DUP14
00000d05: SWAP1
00000d06: DUP4
00000d07: PUSH2 0x0cd6
00000d0a: JUMP
00000d0b: JUMPDEST
00000d0c: POP
00000d0d: RETURNDATASIZE
00000d0e: PUSH2 0x0cec
00000d11: JUMP
00000d12: JUMPDEST
00000d13: POP
00000d14: PUSH1 0x40
00000d16: MLOAD
00000d17: SWAP1
00000d18: RETURNDATASIZE
00000d19: SWAP1
00000d1a: DUP3
00000d1b: RETURNDATACOPY
00000d1c: RETURNDATASIZE
00000d1d: SWAP1
00000d1e: REVERT
00000d1f: JUMPDEST
00000d20: SWAP8
00000d21: POP
00000d22: SWAP5
00000d23: POP
00000d24: DUP1
00000d25: DUP8
00000d26: DUP2
00000d27: RETURNDATASIZE
00000d28: DUP2
00000d29: GT
00000d2a: PUSH2 0x0d4a
00000d2d: JUMPI
00000d2e: JUMPDEST
00000d2f: PUSH2 0x0d38
00000d32: DUP2
00000d33: DUP4
00000d34: PUSH2 0x199e
00000d37: JUMP
00000d38: JUMPDEST
00000d39: DUP2
00000d3a: ADD
00000d3b: SUB
00000d3c: SLT
00000d3d: PUSH2 0x0396
00000d40: JUMPI
00000d41: DUP9
00000d42: SWAP7
00000d43: MLOAD
00000d44: SWAP5
00000d45: CODESIZE
00000d46: PUSH2 0x0a3c
00000d49: JUMP
00000d4a: JUMPDEST
00000d4b: POP
00000d4c: RETURNDATASIZE
00000d4d: PUSH2 0x0d2e
00000d50: JUMP
00000d51: JUMPDEST
00000d52: PUSH1 0x40
00000d54: MLOAD
00000d55: RETURNDATASIZE
00000d56: DUP13
00000d57: DUP3
00000d58: RETURNDATACOPY
00000d59: RETURNDATASIZE
00000d5a: SWAP1
00000d5b: REVERT
00000d5c: JUMPDEST
00000d5d: DUP6
00000d5e: DUP8
00000d5f: PUSH1 0x40
00000d61: MLOAD
00000d62: SWAP1
00000d63: PUSH32 0x6fb5bcf700000000000000000000000000000000000000000000000000000000
00000d84: DUP3
00000d85: MSTORE
00000d86: PUSH1 0x04
00000d88: DUP3
00000d89: ADD
00000d8a: MSTORE
00000d8b: REVERT
00000d8c: JUMPDEST
00000d8d: DUP4
00000d8e: PUSH1 0x40
00000d90: MLOAD
00000d91: PUSH4 0xa3c1aa79
00000d96: PUSH1 0xe0
00000d98: SHL
00000d99: DUP2
00000d9a: MSTORE
00000d9b: CALLER
00000d9c: PUSH1 0x04
00000d9e: DUP3
00000d9f: ADD
00000da0: MSTORE
00000da1: REVERT
00000da2: JUMPDEST
00000da3: POP
00000da4: CALLVALUE
00000da5: PUSH2 0x01e7
00000da8: JUMPI
00000da9: DUP1
00000daa: PUSH1 0x03
00000dac: NOT
00000dad: CALLDATASIZE
00000dae: ADD
00000daf: SLT
00000db0: PUSH2 0x01e7
00000db3: JUMPI
00000db4: PUSH2 0x0dbb
00000db7: PUSH2 0x1e03
00000dba: JUMP
00000dbb: JUMPDEST
00000dbc: PUSH1 0x01
00000dbe: PUSH1 0x01
00000dc0: PUSH1 0xa0
00000dc2: SHL
00000dc3: SUB
00000dc4: NOT
00000dc5: PUSH1 0x01
00000dc7: SLOAD
00000dc8: AND
00000dc9: PUSH1 0x01
00000dcb: SSTORE
00000dcc: PUSH1 0x00
00000dce: PUSH1 0x01
00000dd0: PUSH1 0x01
00000dd2: PUSH1 0xa0
00000dd4: SHL
00000dd5: SUB
00000dd6: DUP2
00000dd7: SLOAD
00000dd8: PUSH21 0xffffffffffffffffffffffffffffffffffffffff00
00000dee: NOT
00000def: DUP2
00000df0: AND
00000df1: DUP4
00000df2: SSTORE
00000df3: PUSH1 0x08
00000df5: SHR
00000df6: AND
00000df7: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00000e18: DUP3
00000e19: DUP1
00000e1a: LOG3
00000e1b: DUP1
00000e1c: RETURN
00000e1d: JUMPDEST
00000e1e: POP
00000e1f: CALLVALUE
00000e20: PUSH2 0x01e7
00000e23: JUMPI
00000e24: PUSH1 0x40
00000e26: CALLDATASIZE
00000e27: PUSH1 0x03
00000e29: NOT
00000e2a: ADD
00000e2b: SLT
00000e2c: PUSH2 0x01e7
00000e2f: JUMPI
00000e30: PUSH1 0x20
00000e32: PUSH2 0x0212
00000e35: PUSH2 0x0e3c
00000e38: PUSH2 0x18ec
00000e3b: JUMP
00000e3c: JUMPDEST
00000e3d: PUSH1 0x24
00000e3f: CALLDATALOAD
00000e40: SWAP1
00000e41: PUSH2 0x1b48
00000e44: JUMP
00000e45: JUMPDEST
00000e46: POP
00000e47: CALLVALUE
00000e48: PUSH2 0x01e7
00000e4b: JUMPI
00000e4c: DUP1
00000e4d: PUSH1 0x03
00000e4f: NOT
00000e50: CALLDATASIZE
00000e51: ADD
00000e52: SLT
00000e53: PUSH2 0x01e7
00000e56: JUMPI
00000e57: PUSH1 0xff
00000e59: PUSH1 0x20
00000e5b: SWAP2
00000e5c: SLOAD
00000e5d: AND
00000e5e: PUSH1 0x40
00000e60: MLOAD
00000e61: SWAP1
00000e62: ISZERO
00000e63: ISZERO
00000e64: DUP2
00000e65: MSTORE
00000e66: RETURN
00000e67: JUMPDEST
00000e68: POP
00000e69: PUSH1 0x40
00000e6b: CALLDATASIZE
00000e6c: PUSH1 0x03
00000e6e: NOT
00000e6f: ADD
00000e70: SLT
00000e71: PUSH2 0x01e7
00000e74: JUMPI
00000e75: PUSH2 0x0e7c
00000e78: PUSH2 0x18ec
00000e7b: JUMP
00000e7c: JUMPDEST
00000e7d: PUSH1 0x24
00000e7f: CALLDATALOAD
00000e80: PUSH2 0x0e87
00000e83: PUSH2 0x1e1a
00000e86: JUMP
00000e87: JUMPDEST
00000e88: CALLER
00000e89: DUP4
00000e8a: MSTORE
00000e8b: PUSH1 0x02
00000e8d: PUSH1 0x20
00000e8f: MSTORE
00000e90: PUSH1 0xff
00000e92: PUSH1 0x40
00000e94: DUP5
00000e95: KECCAK256
00000e96: SLOAD
00000e97: AND
00000e98: ISZERO
00000e99: PUSH2 0x1006
00000e9c: JUMPI
00000e9d: PUSH1 0x01
00000e9f: PUSH1 0x01
00000ea1: PUSH1 0xa0
00000ea3: SHL
00000ea4: SUB
00000ea5: DUP1
00000ea6: SWAP3
00000ea7: AND
00000ea8: SWAP2
00000ea9: DUP3
00000eaa: DUP5
00000eab: MSTORE
00000eac: PUSH1 0x04
00000eae: PUSH1 0x20
00000eb0: MSTORE
00000eb1: DUP1
00000eb2: PUSH1 0x40
00000eb4: DUP6
00000eb5: KECCAK256
00000eb6: SLOAD
00000eb7: AND
00000eb8: ISZERO
00000eb9: PUSH2 0x0fd5
00000ebc: JUMPI
00000ebd: DUP3
00000ebe: DUP5
00000ebf: MSTORE
00000ec0: PUSH1 0x04
00000ec2: PUSH1 0x20
00000ec4: MSTORE
00000ec5: DUP1
00000ec6: PUSH1 0x40
00000ec8: DUP6
00000ec9: KECCAK256
00000eca: SLOAD
00000ecb: AND
00000ecc: SWAP1
00000ecd: PUSH1 0x05
00000ecf: PUSH1 0x20
00000ed1: MSTORE
00000ed2: DUP5
00000ed3: DUP2
00000ed4: PUSH1 0x40
00000ed6: DUP3
00000ed7: KECCAK256
00000ed8: SLOAD
00000ed9: AND
00000eda: SWAP3
00000edb: CALLVALUE
00000edc: DUP5
00000edd: ISZERO
00000ede: PUSH1 0x00
00000ee0: EQ
00000ee1: PUSH2 0x0fc4
00000ee4: JUMPI
00000ee5: POP
00000ee6: PUSH2 0x0eef
00000ee9: DUP6
00000eea: CALLVALUE
00000eeb: PUSH2 0x19df
00000eee: JUMP
00000eef: JUMPDEST
00000ef0: SWAP3
00000ef1: JUMPDEST
00000ef2: PUSH1 0x07
00000ef4: SLOAD
00000ef5: AND
00000ef6: DUP2
00000ef7: EXTCODESIZE
00000ef8: ISZERO
00000ef9: PUSH2 0x0fc0
00000efc: JUMPI
00000efd: PUSH1 0x64
00000eff: SWAP1
00000f00: PUSH1 0x40
00000f02: MLOAD
00000f03: SWAP5
00000f04: DUP6
00000f05: SWAP4
00000f06: DUP5
00000f07: SWAP3
00000f08: PUSH32 0x3edd112800000000000000000000000000000000000000000000000000000000
00000f29: DUP5
00000f2a: MSTORE
00000f2b: PUSH1 0x04
00000f2d: DUP5
00000f2e: ADD
00000f2f: MSTORE
00000f30: DUP9
00000f31: PUSH1 0x24
00000f33: DUP5
00000f34: ADD
00000f35: MSTORE
00000f36: PUSH1 0x01
00000f38: PUSH1 0x44
00000f3a: DUP5
00000f3b: ADD
00000f3c: MSTORE
00000f3d: GAS
00000f3e: CALL
00000f3f: DUP1
00000f40: ISZERO
00000f41: PUSH2 0x0fb5
00000f44: JUMPI
00000f45: PUSH2 0x0f84
00000f48: JUMPI
00000f49: JUMPDEST
00000f4a: POP
00000f4b: SWAP2
00000f4c: PUSH1 0x60
00000f4e: SWAP2
00000f4f: PUSH32 0xdb1ab7bf899120b7c54ad1b4a68d77d6d61b3c5e1c0cdf7dfaa5ba2ce74632e2
00000f70: SWAP4
00000f71: PUSH1 0x40
00000f73: MLOAD
00000f74: SWAP3
00000f75: DUP4
00000f76: MSTORE
00000f77: PUSH1 0x20
00000f79: DUP4
00000f7a: ADD
00000f7b: MSTORE
00000f7c: PUSH1 0x40
00000f7e: DUP3
00000f7f: ADD
00000f80: MSTORE
00000f81: LOG1
00000f82: DUP1
00000f83: RETURN
00000f84: JUMPDEST
00000f85: PUSH8 0xffffffffffffffff
00000f8e: DUP2
00000f8f: SWAP6
00000f90: SWAP3
00000f91: SWAP6
00000f92: GT
00000f93: PUSH2 0x0fa1
00000f96: JUMPI
00000f97: PUSH1 0x40
00000f99: MSTORE
00000f9a: SWAP3
00000f9b: PUSH1 0x60
00000f9d: PUSH2 0x0f49
00000fa0: JUMP
00000fa1: JUMPDEST
00000fa2: PUSH1 0x24
00000fa4: DUP3
00000fa5: PUSH4 0x4e487b71
00000faa: PUSH1 0xe0
00000fac: SHL
00000fad: DUP2
00000fae: MSTORE
00000faf: PUSH1 0x41
00000fb1: PUSH1 0x04
00000fb3: MSTORE
00000fb4: REVERT
00000fb5: JUMPDEST
00000fb6: PUSH1 0x40
00000fb8: MLOAD
00000fb9: RETURNDATASIZE
00000fba: DUP8
00000fbb: DUP3
00000fbc: RETURNDATACOPY
00000fbd: RETURNDATASIZE
00000fbe: SWAP1
00000fbf: REVERT
00000fc0: JUMPDEST
00000fc1: DUP3
00000fc2: DUP1
00000fc3: REVERT
00000fc4: JUMPDEST
00000fc5: SWAP3
00000fc6: PUSH2 0x0fd0
00000fc9: DUP7
00000fca: DUP4
00000fcb: DUP8
00000fcc: PUSH2 0x1e50
00000fcf: JUMP
00000fd0: JUMPDEST
00000fd1: PUSH2 0x0ef1
00000fd4: JUMP
00000fd5: JUMPDEST
00000fd6: PUSH1 0x24
00000fd8: DUP4
00000fd9: PUSH1 0x40
00000fdb: MLOAD
00000fdc: SWAP1
00000fdd: PUSH32 0x507403a000000000000000000000000000000000000000000000000000000000
00000ffe: DUP3
00000fff: MSTORE
00001000: PUSH1 0x04
00001002: DUP3
00001003: ADD
00001004: MSTORE
00001005: REVERT
00001006: JUMPDEST
00001007: PUSH1 0x24
00001009: PUSH1 0x40
0000100b: MLOAD
0000100c: PUSH4 0xa3c1aa79
00001011: PUSH1 0xe0
00001013: SHL
00001014: DUP2
00001015: MSTORE
00001016: CALLER
00001017: PUSH1 0x04
00001019: DUP3
0000101a: ADD
0000101b: MSTORE
0000101c: REVERT
0000101d: JUMPDEST
0000101e: POP
0000101f: CALLVALUE
00001020: PUSH2 0x01e7
00001023: JUMPI
00001024: PUSH1 0x20
00001026: CALLDATASIZE
00001027: PUSH1 0x03
00001029: NOT
0000102a: ADD
0000102b: SLT
0000102c: PUSH2 0x01e7
0000102f: JUMPI
00001030: PUSH1 0x20
00001032: SWAP1
00001033: PUSH1 0x40
00001035: PUSH1 0x01
00001037: PUSH1 0x01
00001039: PUSH1 0xa0
0000103b: SHL
0000103c: SUB
0000103d: SWAP2
0000103e: DUP3
0000103f: PUSH2 0x1046
00001042: PUSH2 0x18ec
00001045: JUMP
00001046: JUMPDEST
00001047: AND
00001048: DUP2
00001049: MSTORE
0000104a: PUSH1 0x03
0000104c: DUP5
0000104d: MSTORE
0000104e: KECCAK256
0000104f: SLOAD
00001050: AND
00001051: PUSH1 0x40
00001053: MLOAD
00001054: SWAP1
00001055: DUP2
00001056: MSTORE
00001057: RETURN
00001058: JUMPDEST
00001059: POP
0000105a: CALLVALUE
0000105b: PUSH2 0x01e7
0000105e: JUMPI
0000105f: DUP1
00001060: PUSH1 0x03
00001062: NOT
00001063: CALLDATASIZE
00001064: ADD
00001065: SLT
00001066: PUSH2 0x01e7
00001069: JUMPI
0000106a: PUSH2 0x1071
0000106d: PUSH2 0x1e03
00001070: JUMP
00001071: JUMPDEST
00001072: DUP1
00001073: SLOAD
00001074: PUSH1 0xff
00001076: DUP2
00001077: AND
00001078: ISZERO
00001079: PUSH2 0x10af
0000107c: JUMPI
0000107d: PUSH1 0xff
0000107f: NOT
00001080: AND
00001081: DUP2
00001082: SSTORE
00001083: PUSH32 0x5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa
000010a4: PUSH1 0x20
000010a6: PUSH1 0x40
000010a8: MLOAD
000010a9: CALLER
000010aa: DUP2
000010ab: MSTORE
000010ac: LOG1
000010ad: DUP1
000010ae: RETURN
000010af: JUMPDEST
000010b0: PUSH1 0x04
000010b2: PUSH1 0x40
000010b4: MLOAD
000010b5: PUSH32 0x8dfc202b00000000000000000000000000000000000000000000000000000000
000010d6: DUP2
000010d7: MSTORE
000010d8: REVERT
000010d9: JUMPDEST
000010da: POP
000010db: PUSH1 0x40
000010dd: CALLDATASIZE
000010de: PUSH1 0x03
000010e0: NOT
000010e1: ADD
000010e2: SLT
000010e3: PUSH2 0x01e7
000010e6: JUMPI
000010e7: PUSH2 0x10ee
000010ea: PUSH2 0x18ec
000010ed: JUMP
000010ee: JUMPDEST
000010ef: PUSH2 0x10f6
000010f2: PUSH2 0x1e1a
000010f5: JUMP
000010f6: JUMPDEST
000010f7: CALLER
000010f8: DUP3
000010f9: MSTORE
000010fa: PUSH1 0x02
000010fc: PUSH1 0x20
000010fe: MSTORE
000010ff: PUSH1 0xff
00001101: PUSH1 0x40
00001103: DUP4
00001104: KECCAK256
00001105: SLOAD
00001106: AND
00001107: ISZERO
00001108: PUSH2 0x1006
0000110b: JUMPI
0000110c: PUSH1 0x01
0000110e: PUSH1 0x01
00001110: PUSH1 0xa0
00001112: SHL
00001113: SUB
00001114: SWAP1
00001115: CALLVALUE
00001116: DUP3
00001117: DUP3
00001118: AND
00001119: ISZERO
0000111a: DUP1
0000111b: PUSH2 0x15be
0000111e: JUMPI
0000111f: JUMPDEST
00001120: DUP4
00001121: DUP4
00001122: AND
00001123: DUP6
00001124: MSTORE
00001125: PUSH1 0x06
00001127: PUSH1 0x20
00001129: MSTORE
0000112a: DUP4
0000112b: PUSH1 0x40
0000112d: DUP7
0000112e: KECCAK256
0000112f: SLOAD
00001130: AND
00001131: SWAP1
00001132: DUP2
00001133: ISZERO
00001134: PUSH2 0x158b
00001137: JUMPI
00001138: SWAP1
00001139: DUP6
0000113a: SWAP2
0000113b: ISZERO
0000113c: PUSH2 0x1577
0000113f: JUMPI
00001140: JUMPDEST
00001141: DUP5
00001142: PUSH1 0x07
00001144: SLOAD
00001145: AND
00001146: SWAP1
00001147: PUSH1 0x40
00001149: MLOAD
0000114a: PUSH2 0x1152
0000114d: DUP2
0000114e: PUSH2 0x1982
00001151: JUMP
00001152: JUMPDEST
00001153: DUP4
00001154: DUP2
00001155: MSTORE
00001156: PUSH1 0x40
00001158: MLOAD
00001159: SWAP1
0000115a: PUSH2 0x1162
0000115d: DUP3
0000115e: PUSH2 0x1982
00001161: JUMP
00001162: JUMPDEST
00001163: DUP5
00001164: DUP3
00001165: MSTORE
00001166: PUSH1 0x40
00001168: MLOAD
00001169: SWAP4
0000116a: PUSH2 0x1172
0000116d: DUP6
0000116e: PUSH2 0x1918
00001171: JUMP
00001172: JUMPDEST
00001173: PUSH2 0x7656
00001176: DUP6
00001177: MSTORE
00001178: PUSH1 0x20
0000117a: DUP6
0000117b: ADD
0000117c: MSTORE
0000117d: PUSH1 0x24
0000117f: CALLDATALOAD
00001180: PUSH1 0x40
00001182: DUP6
00001183: ADD
00001184: MSTORE
00001185: PUSH1 0x24
00001187: CALLDATALOAD
00001188: PUSH1 0x60
0000118a: DUP6
0000118b: ADD
0000118c: MSTORE
0000118d: PUSH1 0x80
0000118f: DUP5
00001190: ADD
00001191: MSTORE
00001192: PUSH1 0xa0
00001194: DUP4
00001195: ADD
00001196: MSTORE
00001197: PUSH1 0x40
00001199: MLOAD
0000119a: PUSH2 0x11a2
0000119d: DUP2
0000119e: PUSH2 0x1982
000011a1: JUMP
000011a2: JUMPDEST
000011a3: DUP4
000011a4: DUP2
000011a5: MSTORE
000011a6: PUSH1 0xc0
000011a8: DUP4
000011a9: ADD
000011aa: MSTORE
000011ab: PUSH1 0x40
000011ad: MLOAD
000011ae: PUSH32 0x0d35b41500000000000000000000000000000000000000000000000000000000
000011cf: DUP2
000011d0: MSTORE
000011d1: PUSH1 0x20
000011d3: PUSH1 0x04
000011d5: DUP3
000011d6: ADD
000011d7: MSTORE
000011d8: DUP4
000011d9: DUP2
000011da: DUP1
000011db: PUSH2 0x11e7
000011de: PUSH1 0x24
000011e0: DUP3
000011e1: ADD
000011e2: DUP8
000011e3: PUSH2 0x1ac5
000011e6: JUMP
000011e7: JUMPDEST
000011e8: SUB
000011e9: DUP2
000011ea: DUP6
000011eb: GAS
000011ec: STATICCALL
000011ed: SWAP1
000011ee: DUP2
000011ef: ISZERO
000011f0: PUSH2 0x03a3
000011f3: JUMPI
000011f4: DUP5
000011f5: SWAP2
000011f6: PUSH2 0x13e1
000011f9: JUMPI
000011fa: JUMPDEST
000011fb: POP
000011fc: PUSH1 0x20
000011fe: ADD
000011ff: MLOAD
00001200: PUSH1 0x60
00001202: DUP4
00001203: ADD
00001204: MSTORE
00001205: PUSH2 0x125d
00001208: PUSH1 0x40
0000120a: MLOAD
0000120b: SWAP5
0000120c: PUSH2 0x1214
0000120f: DUP7
00001210: PUSH2 0x194a
00001213: JUMP
00001214: JUMPDEST
00001215: CALLVALUE
00001216: DUP7
00001217: MSTORE
00001218: PUSH1 0x20
0000121a: DUP7
0000121b: ADD
0000121c: SWAP4
0000121d: DUP6
0000121e: DUP6
0000121f: MSTORE
00001220: PUSH1 0x40
00001222: MLOAD
00001223: SWAP7
00001224: DUP8
00001225: SWAP6
00001226: DUP7
00001227: SWAP5
00001228: DUP6
00001229: SWAP4
0000122a: PUSH32 0xcbef2aa900000000000000000000000000000000000000000000000000000000
0000124b: DUP6
0000124c: MSTORE
0000124d: PUSH1 0x80
0000124f: PUSH1 0x04
00001251: DUP7
00001252: ADD
00001253: MSTORE
00001254: PUSH1 0x84
00001256: DUP6
00001257: ADD
00001258: SWAP1
00001259: PUSH2 0x1ac5
0000125c: JUMP
0000125d: JUMPDEST
0000125e: SWAP2
0000125f: MLOAD
00001260: PUSH1 0x24
00001262: DUP5
00001263: ADD
00001264: MSTORE
00001265: MLOAD
00001266: PUSH1 0x44
00001268: DUP4
00001269: ADD
0000126a: MSTORE
0000126b: CALLER
0000126c: PUSH1 0x64
0000126e: DUP4
0000126f: ADD
00001270: MSTORE
00001271: SUB
00001272: SWAP3
00001273: GAS
00001274: CALL
00001275: SWAP1
00001276: DUP2
00001277: ISZERO
00001278: PUSH2 0x03a3
0000127b: JUMPI
0000127c: DUP5
0000127d: SWAP2
0000127e: PUSH2 0x12cb
00001281: JUMPI
00001282: JUMPDEST
00001283: POP
00001284: SWAP1
00001285: PUSH32 0xd884e4aaa14f4d3416808174afcddc6e73d2404ad0e85da5629911656a2629e2
000012a6: SWAP3
000012a7: PUSH1 0x80
000012a9: SWAP3
000012aa: MLOAD
000012ab: SWAP1
000012ac: PUSH1 0x40
000012ae: MLOAD
000012af: SWAP3
000012b0: AND
000012b1: DUP3
000012b2: MSTORE
000012b3: PUSH1 0x24
000012b5: CALLDATALOAD
000012b6: PUSH1 0x20
000012b8: DUP4
000012b9: ADD
000012ba: MSTORE
000012bb: PUSH2 0x7656
000012be: PUSH1 0x40
000012c0: DUP4
000012c1: ADD
000012c2: MSTORE
000012c3: PUSH1 0x60
000012c5: DUP3
000012c6: ADD
000012c7: MSTORE
000012c8: LOG1
000012c9: DUP1
000012ca: RETURN
000012cb: JUMPDEST
000012cc: SWAP2
000012cd: SWAP1
000012ce: POP
000012cf: RETURNDATASIZE
000012d0: DUP1
000012d1: DUP6
000012d2: DUP5
000012d3: RETURNDATACOPY
000012d4: PUSH2 0x12dd
000012d7: DUP2
000012d8: DUP5
000012d9: PUSH2 0x199e
000012dc: JUMP
000012dd: JUMPDEST
000012de: DUP3
000012df: ADD
000012e0: SWAP3
000012e1: DUP3
000012e2: DUP5
000012e3: SUB
000012e4: PUSH1 0xe0
000012e6: DUP2
000012e7: SLT
000012e8: PUSH2 0x13dd
000012eb: JUMPI
000012ec: PUSH1 0x80
000012ee: SGT
000012ef: PUSH2 0x0541
000012f2: JUMPI
000012f3: PUSH1 0x40
000012f5: MLOAD
000012f6: PUSH2 0x12fe
000012f9: DUP2
000012fa: PUSH2 0x1966
000012fd: JUMP
000012fe: JUMPDEST
000012ff: DUP4
00001300: MLOAD
00001301: DUP2
00001302: MSTORE
00001303: PUSH1 0x20
00001305: DUP5
00001306: ADD
00001307: MLOAD
00001308: SWAP4
00001309: PUSH8 0xffffffffffffffff
00001312: SWAP5
00001313: DUP6
00001314: DUP2
00001315: AND
00001316: DUP2
00001317: SUB
00001318: PUSH2 0x13d5
0000131b: JUMPI
0000131c: PUSH1 0x20
0000131e: DUP4
0000131f: ADD
00001320: MSTORE
00001321: PUSH2 0x132d
00001324: DUP7
00001325: PUSH1 0x40
00001327: DUP4
00001328: ADD
00001329: PUSH2 0x1a1e
0000132c: JUMP
0000132d: JUMPDEST
0000132e: PUSH1 0x40
00001330: DUP4
00001331: ADD
00001332: MSTORE
00001333: PUSH2 0x133f
00001336: DUP7
00001337: PUSH1 0x80
00001339: DUP4
0000133a: ADD
0000133b: PUSH2 0x1a1e
0000133e: JUMP
0000133f: JUMPDEST
00001340: POP
00001341: PUSH1 0xc0
00001343: DUP2
00001344: ADD
00001345: MLOAD
00001346: SWAP1
00001347: DUP6
00001348: DUP3
00001349: GT
0000134a: PUSH2 0x13d5
0000134d: JUMPI
0000134e: ADD
0000134f: SWAP4
00001350: PUSH1 0x40
00001352: DUP6
00001353: DUP8
00001354: SUB
00001355: SLT
00001356: PUSH2 0x053d
00001359: JUMPI
0000135a: PUSH1 0x40
0000135c: MLOAD
0000135d: SWAP5
0000135e: PUSH2 0x1366
00001361: DUP7
00001362: PUSH2 0x194a
00001365: JUMP
00001366: JUMPDEST
00001367: DUP1
00001368: MLOAD
00001369: PUSH9 0xffffffffffffffffff
00001373: DUP2
00001374: AND
00001375: DUP2
00001376: SUB
00001377: PUSH2 0x13d9
0000137a: JUMPI
0000137b: DUP7
0000137c: MSTORE
0000137d: PUSH1 0x20
0000137f: DUP2
00001380: ADD
00001381: MLOAD
00001382: SWAP2
00001383: DUP3
00001384: GT
00001385: PUSH2 0x13d5
00001388: JUMPI
00001389: ADD
0000138a: SWAP4
0000138b: DUP6
0000138c: PUSH1 0x1f
0000138e: DUP7
0000138f: ADD
00001390: SLT
00001391: ISZERO
00001392: PUSH2 0x053d
00001395: JUMPI
00001396: PUSH1 0x20
00001398: PUSH2 0x13c9
0000139b: PUSH32 0xd884e4aaa14f4d3416808174afcddc6e73d2404ad0e85da5629911656a2629e2
000013bc: SWAP8
000013bd: DUP8
000013be: DUP4
000013bf: PUSH1 0x80
000013c1: SWAP10
000013c2: MLOAD
000013c3: SWAP2
000013c4: ADD
000013c5: PUSH2 0x1a69
000013c8: JUMP
000013c9: JUMPDEST
000013ca: SWAP2
000013cb: ADD
000013cc: MSTORE
000013cd: SWAP2
000013ce: SWAP3
000013cf: POP
000013d0: SWAP3
000013d1: PUSH2 0x1282
000013d4: JUMP
000013d5: JUMPDEST
000013d6: DUP8
000013d7: DUP1
000013d8: REVERT
000013d9: JUMPDEST
000013da: DUP9
000013db: DUP1
000013dc: REVERT
000013dd: JUMPDEST
000013de: DUP6
000013df: DUP1
000013e0: REVERT
000013e1: JUMPDEST
000013e2: SWAP2
000013e3: SWAP3
000013e4: SWAP4
000013e5: POP
000013e6: POP
000013e7: RETURNDATASIZE
000013e8: DUP1
000013e9: DUP9
000013ea: DUP4
000013eb: RETURNDATACOPY
000013ec: PUSH2 0x13f5
000013ef: DUP2
000013f0: DUP4
000013f1: PUSH2 0x199e
000013f4: JUMP
000013f5: JUMPDEST
000013f6: PUSH1 0xa0
000013f8: DUP3
000013f9: DUP3
000013fa: DUP2
000013fb: ADD
000013fc: SUB
000013fd: SLT
000013fe: PUSH2 0x13d5
00001401: JUMPI
00001402: PUSH2 0x140d
00001405: DUP2
00001406: DUP4
00001407: ADD
00001408: DUP4
00001409: PUSH2 0x1a1e
0000140c: JUMP
0000140d: JUMPDEST
0000140e: POP
0000140f: PUSH1 0x40
00001411: DUP3
00001412: ADD
00001413: MLOAD
00001414: PUSH8 0xffffffffffffffff
0000141d: DUP2
0000141e: GT
0000141f: PUSH2 0x13d9
00001422: JUMPI
00001423: DUP2
00001424: DUP4
00001425: ADD
00001426: PUSH1 0x1f
00001428: DUP3
00001429: DUP6
0000142a: ADD
0000142b: ADD
0000142c: SLT
0000142d: ISZERO
0000142e: PUSH2 0x13d9
00001431: JUMPI
00001432: DUP1
00001433: DUP4
00001434: ADD
00001435: MLOAD
00001436: PUSH8 0xffffffffffffffff
0000143f: DUP2
00001440: GT
00001441: PUSH2 0x1563
00001444: JUMPI
00001445: PUSH1 0x20
00001447: DUP2
00001448: PUSH1 0x05
0000144a: SHL
0000144b: SWAP2
0000144c: PUSH1 0x40
0000144e: MLOAD
0000144f: SWAP1
00001450: PUSH2 0x145b
00001453: DUP4
00001454: DUP6
00001455: ADD
00001456: DUP4
00001457: PUSH2 0x199e
0000145a: JUMP
0000145b: JUMPDEST
0000145c: DUP2
0000145d: MSTORE
0000145e: ADD
0000145f: SWAP2
00001460: DUP4
00001461: DUP6
00001462: ADD
00001463: PUSH1 0x20
00001465: DUP4
00001466: DUP4
00001467: DUP9
00001468: ADD
00001469: ADD
0000146a: ADD
0000146b: GT
0000146c: PUSH2 0x155f
0000146f: JUMPI
00001470: SWAP1
00001471: DUP2
00001472: PUSH1 0x20
00001474: DUP7
00001475: SWAP6
00001476: SWAP5
00001477: SWAP4
00001478: DUP14
00001479: SWAP10
0000147a: SWAP9
0000147b: SWAP8
0000147c: ADD
0000147d: ADD
0000147e: SWAP3
0000147f: JUMPDEST
00001480: PUSH1 0x20
00001482: DUP4
00001483: DUP4
00001484: DUP9
00001485: ADD
00001486: ADD
00001487: ADD
00001488: DUP5
00001489: LT
0000148a: PUSH2 0x14a9
0000148d: JUMPI
0000148e: POP
0000148f: POP
00001490: POP
00001491: POP
00001492: DUP2
00001493: PUSH1 0x60
00001495: PUSH2 0x14a3
00001498: SWAP3
00001499: PUSH1 0x20
0000149b: SWAP5
0000149c: ADD
0000149d: SWAP2
0000149e: ADD
0000149f: PUSH2 0x1a1e
000014a2: JUMP
000014a3: JUMPDEST
000014a4: SWAP1
000014a5: PUSH2 0x11fa
000014a8: JUMP
000014a9: JUMPDEST
000014aa: SWAP1
000014ab: SWAP2
000014ac: SWAP3
000014ad: DUP1
000014ae: SWAP5
000014af: SWAP6
000014b0: SWAP7
000014b1: SWAP8
000014b2: SWAP9
000014b3: POP
000014b4: MLOAD
000014b5: SWAP1
000014b6: PUSH8 0xffffffffffffffff
000014bf: DUP3
000014c0: GT
000014c1: PUSH2 0x155b
000014c4: JUMPI
000014c5: PUSH1 0x40
000014c7: DUP8
000014c8: DUP5
000014c9: ADD
000014ca: DUP4
000014cb: ADD
000014cc: DUP8
000014cd: DUP10
000014ce: ADD
000014cf: SUB
000014d0: PUSH1 0x1f
000014d2: NOT
000014d3: ADD
000014d4: SLT
000014d5: PUSH2 0x155b
000014d8: JUMPI
000014d9: PUSH1 0x40
000014db: MLOAD
000014dc: SWAP2
000014dd: PUSH2 0x14e5
000014e0: DUP4
000014e1: PUSH2 0x194a
000014e4: JUMP
000014e5: JUMPDEST
000014e6: DUP8
000014e7: DUP5
000014e8: ADD
000014e9: DUP2
000014ea: ADD
000014eb: PUSH1 0x20
000014ed: DUP2
000014ee: ADD
000014ef: MLOAD
000014f0: DUP5
000014f1: MSTORE
000014f2: PUSH1 0x40
000014f4: ADD
000014f5: MLOAD
000014f6: SWAP2
000014f7: PUSH8 0xffffffffffffffff
00001500: DUP4
00001501: GT
00001502: PUSH2 0x1557
00001505: JUMPI
00001506: DUP8
00001507: DUP10
00001508: ADD
00001509: PUSH1 0x3f
0000150b: DUP5
0000150c: DUP5
0000150d: DUP9
0000150e: DUP14
0000150f: ADD
00001510: ADD
00001511: ADD
00001512: ADD
00001513: SLT
00001514: ISZERO
00001515: PUSH2 0x1557
00001518: JUMPI
00001519: PUSH1 0x20
0000151b: SWAP4
0000151c: PUSH2 0x153f
0000151f: DUP6
00001520: SWAP5
00001521: SWAP4
00001522: DUP12
00001523: PUSH1 0x40
00001525: DUP8
00001526: SWAP7
00001527: DUP14
00001528: DUP4
00001529: ADD
0000152a: SWAP4
0000152b: DUP12
0000152c: DUP10
0000152d: DUP4
0000152e: DUP4
0000152f: DUP4
00001530: DUP9
00001531: ADD
00001532: ADD
00001533: ADD
00001534: ADD
00001535: MLOAD
00001536: SWAP5
00001537: ADD
00001538: ADD
00001539: ADD
0000153a: ADD
0000153b: PUSH2 0x1a69
0000153e: JUMP
0000153f: JUMPDEST
00001540: DUP4
00001541: DUP3
00001542: ADD
00001543: MSTORE
00001544: DUP2
00001545: MSTORE
00001546: ADD
00001547: SWAP5
00001548: ADD
00001549: SWAP3
0000154a: SWAP2
0000154b: SWAP1
0000154c: POP
0000154d: DUP12
0000154e: SWAP8
0000154f: SWAP7
00001550: SWAP6
00001551: SWAP5
00001552: SWAP4
00001553: PUSH2 0x147f
00001556: JUMP
00001557: JUMPDEST
00001558: DUP15
00001559: DUP1
0000155a: REVERT
0000155b: JUMPDEST
0000155c: DUP13
0000155d: DUP1
0000155e: REVERT
0000155f: JUMPDEST
00001560: DUP11
00001561: DUP1
00001562: REVERT
00001563: JUMPDEST
00001564: PUSH1 0x24
00001566: DUP11
00001567: PUSH4 0x4e487b71
0000156c: PUSH1 0xe0
0000156e: SHL
0000156f: DUP2
00001570: MSTORE
00001571: PUSH1 0x41
00001573: PUSH1 0x04
00001575: MSTORE
00001576: REVERT
00001577: JUMPDEST
00001578: PUSH2 0x1586
0000157b: PUSH1 0x24
0000157d: CALLDATALOAD
0000157e: DUP3
0000157f: DUP8
00001580: DUP8
00001581: AND
00001582: PUSH2 0x1e50
00001585: JUMP
00001586: JUMPDEST
00001587: PUSH2 0x1140
0000158a: JUMP
0000158b: JUMPDEST
0000158c: PUSH1 0x24
0000158e: DUP5
0000158f: DUP7
00001590: PUSH1 0x40
00001592: MLOAD
00001593: SWAP2
00001594: PUSH32 0xb62e020e00000000000000000000000000000000000000000000000000000000
000015b5: DUP4
000015b6: MSTORE
000015b7: AND
000015b8: PUSH1 0x04
000015ba: DUP3
000015bb: ADD
000015bc: MSTORE
000015bd: REVERT
000015be: JUMPDEST
000015bf: SWAP1
000015c0: POP
000015c1: PUSH2 0x15cc
000015c4: PUSH1 0x24
000015c6: CALLDATALOAD
000015c7: CALLVALUE
000015c8: PUSH2 0x19df
000015cb: JUMP
000015cc: JUMPDEST
000015cd: SWAP1
000015ce: PUSH2 0x111f
000015d1: JUMP
000015d2: JUMPDEST
000015d3: POP
000015d4: CALLVALUE
000015d5: PUSH2 0x01e7
000015d8: JUMPI
000015d9: PUSH1 0x40
000015db: CALLDATASIZE
000015dc: PUSH1 0x03
000015de: NOT
000015df: ADD
000015e0: SLT
000015e1: PUSH2 0x01e7
000015e4: JUMPI
000015e5: PUSH2 0x15ec
000015e8: PUSH2 0x18ec
000015eb: JUMP
000015ec: JUMPDEST
000015ed: PUSH2 0x15f4
000015f0: PUSH2 0x1902
000015f3: JUMP
000015f4: JUMPDEST
000015f5: SWAP1
000015f6: PUSH2 0x15fd
000015f9: PUSH2 0x1e03
000015fc: JUMP
000015fd: JUMPDEST
000015fe: PUSH1 0x01
00001600: PUSH1 0x01
00001602: PUSH1 0xa0
00001604: SHL
00001605: SUB
00001606: SWAP2
00001607: DUP3
00001608: DUP2
00001609: AND
0000160a: PUSH1 0x40
0000160c: MLOAD
0000160d: SWAP2
0000160e: PUSH32 0x73e66cf500000000000000000000000000000000000000000000000000000000
0000162f: DUP4
00001630: MSTORE
00001631: PUSH1 0x20
00001633: SWAP4
00001634: DUP5
00001635: DUP5
00001636: PUSH1 0x04
00001638: DUP2
00001639: DUP7
0000163a: GAS
0000163b: STATICCALL
0000163c: DUP1
0000163d: ISZERO
0000163e: PUSH2 0x172f
00001641: JUMPI
00001642: DUP7
00001643: SWAP5
00001644: DUP9
00001645: SWAP2
00001646: PUSH2 0x177c
00001649: JUMPI
0000164a: JUMPDEST
0000164b: POP
0000164c: DUP5
0000164d: DUP3
0000164e: AND
0000164f: SWAP5
00001650: DUP6
00001651: SWAP2
00001652: AND
00001653: SUB
00001654: PUSH2 0x173a
00001657: JUMPI
00001658: POP
00001659: POP
0000165a: DUP2
0000165b: DUP6
0000165c: MSTORE
0000165d: PUSH1 0x04
0000165f: DUP4
00001660: MSTORE
00001661: PUSH1 0x40
00001663: DUP6
00001664: KECCAK256
00001665: SWAP1
00001666: PUSH1 0x01
00001668: PUSH1 0x01
0000166a: PUSH1 0xa0
0000166c: SHL
0000166d: SUB
0000166e: NOT
0000166f: SWAP2
00001670: DUP2
00001671: DUP4
00001672: DUP3
00001673: SLOAD
00001674: AND
00001675: OR
00001676: SWAP1
00001677: SSTORE
00001678: PUSH1 0x40
0000167a: MLOAD
0000167b: SWAP4
0000167c: PUSH32 0xd706200500000000000000000000000000000000000000000000000000000000
0000169d: DUP6
0000169e: MSTORE
0000169f: DUP1
000016a0: DUP6
000016a1: PUSH1 0x04
000016a3: DUP2
000016a4: DUP6
000016a5: GAS
000016a6: STATICCALL
000016a7: DUP1
000016a8: ISZERO
000016a9: PUSH2 0x172f
000016ac: JUMPI
000016ad: PUSH32 0x30cb99908e79a2692233d34198df042e4652937a144193022b7663283da9633e
000016ce: SWAP7
000016cf: PUSH1 0x60
000016d1: SWAP7
000016d2: DUP10
000016d3: SWAP3
000016d4: PUSH2 0x1700
000016d7: JUMPI
000016d8: JUMPDEST
000016d9: POP
000016da: DUP6
000016db: DUP10
000016dc: MSTORE
000016dd: PUSH1 0x05
000016df: DUP4
000016e0: MSTORE
000016e1: PUSH1 0x40
000016e3: DUP10
000016e4: KECCAK256
000016e5: SWAP2
000016e6: AND
000016e7: DUP1
000016e8: SWAP5
000016e9: DUP3
000016ea: SLOAD
000016eb: AND
000016ec: OR
000016ed: SWAP1
000016ee: SSTORE
000016ef: PUSH1 0x40
000016f1: MLOAD
000016f2: SWAP4
000016f3: DUP5
000016f4: MSTORE
000016f5: DUP4
000016f6: ADD
000016f7: MSTORE
000016f8: PUSH1 0x40
000016fa: DUP3
000016fb: ADD
000016fc: MSTORE
000016fd: LOG1
000016fe: DUP1
000016ff: RETURN
00001700: JUMPDEST
00001701: PUSH2 0x1721
00001704: SWAP2
00001705: SWAP3
00001706: POP
00001707: DUP4
00001708: RETURNDATASIZE
00001709: DUP6
0000170a: GT
0000170b: PUSH2 0x1728
0000170e: JUMPI
0000170f: JUMPDEST
00001710: PUSH2 0x1719
00001713: DUP2
00001714: DUP4
00001715: PUSH2 0x199e
00001718: JUMP
00001719: JUMPDEST
0000171a: DUP2
0000171b: ADD
0000171c: SWAP1
0000171d: PUSH2 0x19c0
00001720: JUMP
00001721: JUMPDEST
00001722: SWAP1
00001723: CODESIZE
00001724: PUSH2 0x16d8
00001727: JUMP
00001728: JUMPDEST
00001729: POP
0000172a: RETURNDATASIZE
0000172b: PUSH2 0x170f
0000172e: JUMP
0000172f: JUMPDEST
00001730: PUSH1 0x40
00001732: MLOAD
00001733: RETURNDATASIZE
00001734: DUP10
00001735: DUP3
00001736: RETURNDATACOPY
00001737: RETURNDATASIZE
00001738: SWAP1
00001739: REVERT
0000173a: JUMPDEST
0000173b: PUSH1 0x40
0000173d: MLOAD
0000173e: PUSH32 0x1c4734cb00000000000000000000000000000000000000000000000000000000
0000175f: DUP2
00001760: MSTORE
00001761: PUSH1 0x01
00001763: PUSH1 0x01
00001765: PUSH1 0xa0
00001767: SHL
00001768: SUB
00001769: SWAP2
0000176a: DUP3
0000176b: AND
0000176c: PUSH1 0x04
0000176e: DUP3
0000176f: ADD
00001770: MSTORE
00001771: SWAP2
00001772: AND
00001773: PUSH1 0x24
00001775: DUP3
00001776: ADD
00001777: MSTORE
00001778: PUSH1 0x44
0000177a: SWAP1
0000177b: REVERT
0000177c: JUMPDEST
0000177d: PUSH2 0x1793
00001780: SWAP2
00001781: POP
00001782: DUP7
00001783: RETURNDATASIZE
00001784: DUP9
00001785: GT
00001786: PUSH2 0x1728
00001789: JUMPI
0000178a: PUSH2 0x1719
0000178d: DUP2
0000178e: DUP4
0000178f: PUSH2 0x199e
00001792: JUMP
00001793: JUMPDEST
00001794: CODESIZE
00001795: PUSH2 0x164a
00001798: JUMP
00001799: JUMPDEST
0000179a: POP
0000179b: CALLVALUE
0000179c: PUSH2 0x01e7
0000179f: JUMPI
000017a0: PUSH1 0x20
000017a2: CALLDATASIZE
000017a3: PUSH1 0x03
000017a5: NOT
000017a6: ADD
000017a7: SLT
000017a8: PUSH2 0x01e7
000017ab: JUMPI
000017ac: PUSH1 0x20
000017ae: SWAP1
000017af: PUSH1 0x40
000017b1: PUSH1 0x01
000017b3: PUSH1 0x01
000017b5: PUSH1 0xa0
000017b7: SHL
000017b8: SUB
000017b9: SWAP2
000017ba: DUP3
000017bb: PUSH2 0x17c2
000017be: PUSH2 0x18ec
000017c1: JUMP
000017c2: JUMPDEST
000017c3: AND
000017c4: DUP2
000017c5: MSTORE
000017c6: PUSH1 0x04
000017c8: DUP5
000017c9: MSTORE
000017ca: KECCAK256
000017cb: SLOAD
000017cc: AND
000017cd: PUSH1 0x40
000017cf: MLOAD
000017d0: SWAP1
000017d1: DUP2
000017d2: MSTORE
000017d3: RETURN
000017d4: JUMPDEST
000017d5: POP
000017d6: CALLVALUE
000017d7: PUSH2 0x01e7
000017da: JUMPI
000017db: PUSH1 0x40
000017dd: CALLDATASIZE
000017de: PUSH1 0x03
000017e0: NOT
000017e1: ADD
000017e2: SLT
000017e3: PUSH2 0x01e7
000017e6: JUMPI
000017e7: PUSH2 0x17ee
000017ea: PUSH2 0x18ec
000017ed: JUMP
000017ee: JUMPDEST
000017ef: PUSH1 0x24
000017f1: CALLDATALOAD
000017f2: SWAP1
000017f3: DUP2
000017f4: ISZERO
000017f5: ISZERO
000017f6: DUP1
000017f7: SWAP3
000017f8: SUB
000017f9: PUSH2 0x0fc0
000017fc: JUMPI
000017fd: PUSH32 0xf6b49ba231b639131b6aa4bd9741f21913a986fe658f066840a27ea17b0c079c
0000181e: SWAP2
0000181f: PUSH1 0x01
00001821: PUSH1 0x01
00001823: PUSH1 0xa0
00001825: SHL
00001826: SUB
00001827: PUSH1 0x40
00001829: SWAP3
0000182a: PUSH2 0x1831
0000182d: PUSH2 0x1e03
00001830: JUMP
00001831: JUMPDEST
00001832: AND
00001833: SWAP1
00001834: DUP2
00001835: DUP6
00001836: MSTORE
00001837: PUSH1 0x02
00001839: PUSH1 0x20
0000183b: MSTORE
0000183c: DUP3
0000183d: DUP6
0000183e: KECCAK256
0000183f: PUSH1 0xff
00001841: NOT
00001842: DUP2
00001843: SLOAD
00001844: AND
00001845: PUSH1 0xff
00001847: DUP4
00001848: AND
00001849: OR
0000184a: SWAP1
0000184b: SSTORE
0000184c: DUP3
0000184d: MLOAD
0000184e: SWAP2
0000184f: DUP3
00001850: MSTORE
00001851: PUSH1 0x20
00001853: DUP3
00001854: ADD
00001855: MSTORE
00001856: LOG1
00001857: DUP1
00001858: RETURN
00001859: JUMPDEST
0000185a: POP
0000185b: CALLVALUE
0000185c: PUSH2 0x01e7
0000185f: JUMPI
00001860: PUSH1 0x20
00001862: CALLDATASIZE
00001863: PUSH1 0x03
00001865: NOT
00001866: ADD
00001867: SLT
00001868: PUSH2 0x01e7
0000186b: JUMPI
0000186c: PUSH32 0xaaf0c5ff5771aabb85ce8ef05f9bb046a4cd89f86bce8bc7efb8c01293dc6498
0000188d: PUSH1 0x20
0000188f: PUSH1 0x01
00001891: PUSH1 0x01
00001893: PUSH1 0xa0
00001895: SHL
00001896: SUB
00001897: PUSH2 0x189e
0000189a: PUSH2 0x18ec
0000189d: JUMP
0000189e: JUMPDEST
0000189f: PUSH2 0x18a6
000018a2: PUSH2 0x1e03
000018a5: JUMP
000018a6: JUMPDEST
000018a7: AND
000018a8: DUP1
000018a9: PUSH1 0x01
000018ab: PUSH1 0x01
000018ad: PUSH1 0xa0
000018af: SHL
000018b0: SUB
000018b1: NOT
000018b2: PUSH1 0x07
000018b4: SLOAD
000018b5: AND
000018b6: OR
000018b7: PUSH1 0x07
000018b9: SSTORE
000018ba: PUSH1 0x40
000018bc: MLOAD
000018bd: SWAP1
000018be: DUP2
000018bf: MSTORE
000018c0: LOG1
000018c1: DUP1
000018c2: RETURN
000018c3: JUMPDEST
000018c4: SWAP1
000018c5: POP
000018c6: CALLVALUE
000018c7: PUSH2 0x18e8
000018ca: JUMPI
000018cb: DUP2
000018cc: PUSH1 0x03
000018ce: NOT
000018cf: CALLDATASIZE
000018d0: ADD
000018d1: SLT
000018d2: PUSH2 0x18e8
000018d5: JUMPI
000018d6: PUSH1 0x20
000018d8: SWAP1
000018d9: PUSH1 0x01
000018db: PUSH1 0x01
000018dd: PUSH1 0xa0
000018df: SHL
000018e0: SUB
000018e1: PUSH1 0x07
000018e3: SLOAD
000018e4: AND
000018e5: DUP2
000018e6: MSTORE
000018e7: RETURN
000018e8: JUMPDEST
000018e9: POP
000018ea: DUP1
000018eb: REVERT
000018ec: JUMPDEST
000018ed: PUSH1 0x04
000018ef: CALLDATALOAD
000018f0: SWAP1
000018f1: PUSH1 0x01
000018f3: PUSH1 0x01
000018f5: PUSH1 0xa0
000018f7: SHL
000018f8: SUB
000018f9: DUP3
000018fa: AND
000018fb: DUP3
000018fc: SUB
000018fd: PUSH2 0x0396
00001900: JUMPI
00001901: JUMP
00001902: JUMPDEST
00001903: PUSH1 0x24
00001905: CALLDATALOAD
00001906: SWAP1
00001907: PUSH1 0x01
00001909: PUSH1 0x01
0000190b: PUSH1 0xa0
0000190d: SHL
0000190e: SUB
0000190f: DUP3
00001910: AND
00001911: DUP3
00001912: SUB
00001913: PUSH2 0x0396
00001916: JUMPI
00001917: JUMP
00001918: JUMPDEST
00001919: PUSH1 0xe0
0000191b: DUP2
0000191c: ADD
0000191d: SWAP1
0000191e: DUP2
0000191f: LT
00001920: PUSH8 0xffffffffffffffff
00001929: DUP3
0000192a: GT
0000192b: OR
0000192c: PUSH2 0x1934
0000192f: JUMPI
00001930: PUSH1 0x40
00001932: MSTORE
00001933: JUMP
00001934: JUMPDEST
00001935: PUSH4 0x4e487b71
0000193a: PUSH1 0xe0
0000193c: SHL
0000193d: PUSH1 0x00
0000193f: MSTORE
00001940: PUSH1 0x41
00001942: PUSH1 0x04
00001944: MSTORE
00001945: PUSH1 0x24
00001947: PUSH1 0x00
00001949: REVERT
0000194a: JUMPDEST
0000194b: PUSH1 0x40
0000194d: DUP2
0000194e: ADD
0000194f: SWAP1
00001950: DUP2
00001951: LT
00001952: PUSH8 0xffffffffffffffff
0000195b: DUP3
0000195c: GT
0000195d: OR
0000195e: PUSH2 0x1934
00001961: JUMPI
00001962: PUSH1 0x40
00001964: MSTORE
00001965: JUMP
00001966: JUMPDEST
00001967: PUSH1 0x60
00001969: DUP2
0000196a: ADD
0000196b: SWAP1
0000196c: DUP2
0000196d: LT
0000196e: PUSH8 0xffffffffffffffff
00001977: DUP3
00001978: GT
00001979: OR
0000197a: PUSH2 0x1934
0000197d: JUMPI
0000197e: PUSH1 0x40
00001980: MSTORE
00001981: JUMP
00001982: JUMPDEST
00001983: PUSH1 0x20
00001985: DUP2
00001986: ADD
00001987: SWAP1
00001988: DUP2
00001989: LT
0000198a: PUSH8 0xffffffffffffffff
00001993: DUP3
00001994: GT
00001995: OR
00001996: PUSH2 0x1934
00001999: JUMPI
0000199a: PUSH1 0x40
0000199c: MSTORE
0000199d: JUMP
0000199e: JUMPDEST
0000199f: SWAP1
000019a0: PUSH1 0x1f
000019a2: DUP1
000019a3: NOT
000019a4: SWAP2
000019a5: ADD
000019a6: AND
000019a7: DUP2
000019a8: ADD
000019a9: SWAP1
000019aa: DUP2
000019ab: LT
000019ac: PUSH8 0xffffffffffffffff
000019b5: DUP3
000019b6: GT
000019b7: OR
000019b8: PUSH2 0x1934
000019bb: JUMPI
000019bc: PUSH1 0x40
000019be: MSTORE
000019bf: JUMP
000019c0: JUMPDEST
000019c1: SWAP1
000019c2: DUP2
000019c3: PUSH1 0x20
000019c5: SWAP2
000019c6: SUB
000019c7: SLT
000019c8: PUSH2 0x0396
000019cb: JUMPI
000019cc: MLOAD
000019cd: PUSH1 0x01
000019cf: PUSH1 0x01
000019d1: PUSH1 0xa0
000019d3: SHL
000019d4: SUB
000019d5: DUP2
000019d6: AND
000019d7: DUP2
000019d8: SUB
000019d9: PUSH2 0x0396
000019dc: JUMPI
000019dd: SWAP1
000019de: JUMP
000019df: JUMPDEST
000019e0: SWAP2
000019e1: SWAP1
000019e2: DUP3
000019e3: ADD
000019e4: DUP1
000019e5: SWAP3
000019e6: GT
000019e7: PUSH2 0x19ec
000019ea: JUMPI
000019eb: JUMP
000019ec: JUMPDEST
000019ed: PUSH4 0x4e487b71
000019f2: PUSH1 0xe0
000019f4: SHL
000019f5: PUSH1 0x00
000019f7: MSTORE
000019f8: PUSH1 0x11
000019fa: PUSH1 0x04
000019fc: MSTORE
000019fd: PUSH1 0x24
000019ff: PUSH1 0x00
00001a01: REVERT
00001a02: JUMPDEST
00001a03: PUSH8 0xffffffffffffffff
00001a0c: DUP2
00001a0d: GT
00001a0e: PUSH2 0x1934
00001a11: JUMPI
00001a12: PUSH1 0x1f
00001a14: ADD
00001a15: PUSH1 0x1f
00001a17: NOT
00001a18: AND
00001a19: PUSH1 0x20
00001a1b: ADD
00001a1c: SWAP1
00001a1d: JUMP
00001a1e: JUMPDEST
00001a1f: SWAP2
00001a20: SWAP1
00001a21: DUP3
00001a22: PUSH1 0x40
00001a24: SWAP2
00001a25: SUB
00001a26: SLT
00001a27: PUSH2 0x0396
00001a2a: JUMPI
00001a2b: PUSH1 0x40
00001a2d: MLOAD
00001a2e: PUSH2 0x1a36
00001a31: DUP2
00001a32: PUSH2 0x194a
00001a35: JUMP
00001a36: JUMPDEST
00001a37: PUSH1 0x20
00001a39: DUP1
00001a3a: DUP3
00001a3b: SWAP5
00001a3c: DUP1
00001a3d: MLOAD
00001a3e: DUP5
00001a3f: MSTORE
00001a40: ADD
00001a41: MLOAD
00001a42: SWAP2
00001a43: ADD
00001a44: MSTORE
00001a45: JUMP
00001a46: JUMPDEST
00001a47: PUSH1 0x00
00001a49: JUMPDEST
00001a4a: DUP4
00001a4b: DUP2
00001a4c: LT
00001a4d: PUSH2 0x1a59
00001a50: JUMPI
00001a51: POP
00001a52: POP
00001a53: PUSH1 0x00
00001a55: SWAP2
00001a56: ADD
00001a57: MSTORE
00001a58: JUMP
00001a59: JUMPDEST
00001a5a: DUP2
00001a5b: DUP2
00001a5c: ADD
00001a5d: MLOAD
00001a5e: DUP4
00001a5f: DUP3
00001a60: ADD
00001a61: MSTORE
00001a62: PUSH1 0x20
00001a64: ADD
00001a65: PUSH2 0x1a49
00001a68: JUMP
00001a69: JUMPDEST
00001a6a: SWAP1
00001a6b: SWAP3
00001a6c: SWAP2
00001a6d: SWAP3
00001a6e: PUSH2 0x1a76
00001a71: DUP2
00001a72: PUSH2 0x1a02
00001a75: JUMP
00001a76: JUMPDEST
00001a77: SWAP2
00001a78: PUSH2 0x1a84
00001a7b: PUSH1 0x40
00001a7d: MLOAD
00001a7e: SWAP4
00001a7f: DUP5
00001a80: PUSH2 0x199e
00001a83: JUMP
00001a84: JUMPDEST
00001a85: DUP3
00001a86: SWAP5
00001a87: DUP3
00001a88: DUP5
00001a89: MSTORE
00001a8a: DUP3
00001a8b: DUP3
00001a8c: ADD
00001a8d: GT
00001a8e: PUSH2 0x0396
00001a91: JUMPI
00001a92: PUSH1 0x20
00001a94: PUSH2 0x1a9e
00001a97: SWAP4
00001a98: ADD
00001a99: SWAP1
00001a9a: PUSH2 0x1a46
00001a9d: JUMP
00001a9e: JUMPDEST
00001a9f: JUMP
00001aa0: JUMPDEST
00001aa1: SWAP1
00001aa2: PUSH1 0x20
00001aa4: SWAP2
00001aa5: PUSH2 0x1ab9
00001aa8: DUP2
00001aa9: MLOAD
00001aaa: DUP1
00001aab: SWAP3
00001aac: DUP2
00001aad: DUP6
00001aae: MSTORE
00001aaf: DUP6
00001ab0: DUP1
00001ab1: DUP7
00001ab2: ADD
00001ab3: SWAP2
00001ab4: ADD
00001ab5: PUSH2 0x1a46
00001ab8: JUMP
00001ab9: JUMPDEST
00001aba: PUSH1 0x1f
00001abc: ADD
00001abd: PUSH1 0x1f
00001abf: NOT
00001ac0: AND
00001ac1: ADD
00001ac2: ADD
00001ac3: SWAP1
00001ac4: JUMP
00001ac5: JUMPDEST
00001ac6: PUSH2 0x1b32
00001ac9: SWAP2
00001aca: PUSH4 0xffffffff
00001acf: DUP3
00001ad0: MLOAD
00001ad1: AND
00001ad2: DUP2
00001ad3: MSTORE
00001ad4: PUSH1 0x20
00001ad6: DUP3
00001ad7: ADD
00001ad8: MLOAD
00001ad9: PUSH1 0x20
00001adb: DUP3
00001adc: ADD
00001add: MSTORE
00001ade: PUSH1 0x40
00001ae0: DUP3
00001ae1: ADD
00001ae2: MLOAD
00001ae3: PUSH1 0x40
00001ae5: DUP3
00001ae6: ADD
00001ae7: MSTORE
00001ae8: PUSH1 0x60
00001aea: DUP3
00001aeb: ADD
00001aec: MLOAD
00001aed: PUSH1 0x60
00001aef: DUP3
00001af0: ADD
00001af1: MSTORE
00001af2: PUSH1 0xc0
00001af4: PUSH2 0x1b21
00001af7: PUSH2 0x1b0f
00001afa: PUSH1 0x80
00001afc: DUP6
00001afd: ADD
00001afe: MLOAD
00001aff: PUSH1 0xe0
00001b01: PUSH1 0x80
00001b03: DUP7
00001b04: ADD
00001b05: MSTORE
00001b06: PUSH1 0xe0
00001b08: DUP6
00001b09: ADD
00001b0a: SWAP1
00001b0b: PUSH2 0x1aa0
00001b0e: JUMP
00001b0f: JUMPDEST
00001b10: PUSH1 0xa0
00001b12: DUP6
00001b13: ADD
00001b14: MLOAD
00001b15: DUP5
00001b16: DUP3
00001b17: SUB
00001b18: PUSH1 0xa0
00001b1a: DUP7
00001b1b: ADD
00001b1c: MSTORE
00001b1d: PUSH2 0x1aa0
00001b20: JUMP
00001b21: JUMPDEST
00001b22: SWAP3
00001b23: ADD
00001b24: MLOAD
00001b25: SWAP1
00001b26: PUSH1 0xc0
00001b28: DUP2
00001b29: DUP5
00001b2a: SUB
00001b2b: SWAP2
00001b2c: ADD
00001b2d: MSTORE
00001b2e: PUSH2 0x1aa0
00001b31: JUMP
00001b32: JUMPDEST
00001b33: SWAP1
00001b34: JUMP
00001b35: JUMPDEST
00001b36: DUP2
00001b37: DUP2
00001b38: MUL
00001b39: SWAP3
00001b3a: SWAP2
00001b3b: DUP2
00001b3c: ISZERO
00001b3d: SWAP2
00001b3e: DUP5
00001b3f: DIV
00001b40: EQ
00001b41: OR
00001b42: ISZERO
00001b43: PUSH2 0x19ec
00001b46: JUMPI
00001b47: JUMP
00001b48: JUMPDEST
00001b49: SWAP2
00001b4a: SWAP1
00001b4b: PUSH2 0x1ba2
00001b4e: PUSH1 0x01
00001b50: PUSH1 0x01
00001b52: PUSH1 0xa0
00001b54: SHL
00001b55: SUB
00001b56: SWAP2
00001b57: DUP3
00001b58: PUSH1 0x00
00001b5a: SWAP6
00001b5b: AND
00001b5c: DUP6
00001b5d: MSTORE
00001b5e: PUSH1 0x09
00001b60: PUSH1 0x20
00001b62: MSTORE
00001b63: PUSH1 0x40
00001b65: DUP6
00001b66: KECCAK256
00001b67: SWAP1
00001b68: PUSH1 0x40
00001b6a: MLOAD
00001b6b: SWAP2
00001b6c: PUSH2 0x1b74
00001b6f: DUP4
00001b70: PUSH2 0x1966
00001b73: JUMP
00001b74: JUMPDEST
00001b75: SLOAD
00001b76: SWAP4
00001b77: DUP5
00001b78: AND
00001b79: DUP3
00001b7a: MSTORE
00001b7b: PUSH1 0x40
00001b7d: PUSH11 0xffffffffffffffffffffff
00001b89: DUP6
00001b8a: PUSH1 0xa0
00001b8c: SHR
00001b8d: AND
00001b8e: SWAP3
00001b8f: DUP4
00001b90: PUSH1 0x20
00001b92: DUP3
00001b93: ADD
00001b94: MSTORE
00001b95: ADD
00001b96: SWAP4
00001b97: PUSH1 0xf8
00001b99: SAR
00001b9a: DUP7
00001b9b: SIGNEXTEND
00001b9c: DUP5
00001b9d: MSTORE
00001b9e: PUSH2 0x1b35
00001ba1: JUMP
00001ba2: JUMPDEST
00001ba3: SWAP1
00001ba4: MLOAD
00001ba5: DUP4
00001ba6: SIGNEXTEND
00001ba7: PUSH1 0x0c
00001ba9: ADD
00001baa: PUSH1 0x7f
00001bac: NOT
00001bad: DUP2
00001bae: SLT
00001baf: PUSH1 0x7f
00001bb1: DUP3
00001bb2: SGT
00001bb3: OR
00001bb4: PUSH2 0x1bd1
00001bb7: JUMPI
00001bb8: PUSH1 0xff
00001bba: AND
00001bbb: PUSH1 0x4d
00001bbd: DUP2
00001bbe: GT
00001bbf: PUSH2 0x1bd1
00001bc2: JUMPI
00001bc3: PUSH2 0x1b32
00001bc6: SWAP3
00001bc7: SWAP4
00001bc8: POP
00001bc9: PUSH1 0x0a
00001bcb: EXP
00001bcc: SWAP1
00001bcd: PUSH2 0x1b35
00001bd0: JUMP
00001bd1: JUMPDEST
00001bd2: PUSH1 0x24
00001bd4: DUP5
00001bd5: PUSH4 0x4e487b71
00001bda: PUSH1 0xe0
00001bdc: SHL
00001bdd: DUP2
00001bde: MSTORE
00001bdf: PUSH1 0x11
00001be1: PUSH1 0x04
00001be3: MSTORE
00001be4: REVERT
00001be5: JUMPDEST
00001be6: SWAP2
00001be7: SWAP1
00001be8: DUP3
00001be9: SUB
00001bea: SWAP2
00001beb: DUP3
00001bec: GT
00001bed: PUSH2 0x19ec
00001bf0: JUMPI
00001bf1: JUMP
00001bf2: JUMPDEST
00001bf3: RETURNDATASIZE
00001bf4: ISZERO
00001bf5: PUSH2 0x1c1d
00001bf8: JUMPI
00001bf9: RETURNDATASIZE
00001bfa: SWAP1
00001bfb: PUSH2 0x1c03
00001bfe: DUP3
00001bff: PUSH2 0x1a02
00001c02: JUMP
00001c03: JUMPDEST
00001c04: SWAP2
00001c05: PUSH2 0x1c11
00001c08: PUSH1 0x40
00001c0a: MLOAD
00001c0b: SWAP4
00001c0c: DUP5
00001c0d: PUSH2 0x199e
00001c10: JUMP
00001c11: JUMPDEST
00001c12: DUP3
00001c13: MSTORE
00001c14: RETURNDATASIZE
00001c15: PUSH1 0x00
00001c17: PUSH1 0x20
00001c19: DUP5
00001c1a: ADD
00001c1b: RETURNDATACOPY
00001c1c: JUMP
00001c1d: JUMPDEST
00001c1e: PUSH1 0x60
00001c20: SWAP1
00001c21: JUMP
00001c22: JUMPDEST
00001c23: PUSH1 0x01
00001c25: PUSH1 0x01
00001c27: PUSH1 0xa0
00001c29: SHL
00001c2a: SUB
00001c2b: DUP1
00001c2c: PUSH1 0x00
00001c2e: SWAP3
00001c2f: AND
00001c30: DUP3
00001c31: MSTORE
00001c32: PUSH1 0x04
00001c34: PUSH1 0x20
00001c36: MSTORE
00001c37: PUSH1 0x40
00001c39: DUP3
00001c3a: KECCAK256
00001c3b: SLOAD
00001c3c: AND
00001c3d: DUP1
00001c3e: ISZERO
00001c3f: PUSH2 0x1cc8
00001c42: JUMPI
00001c43: PUSH1 0x20
00001c45: PUSH1 0x24
00001c47: SWAP2
00001c48: PUSH1 0x40
00001c4a: MLOAD
00001c4b: SWAP3
00001c4c: DUP4
00001c4d: DUP1
00001c4e: SWAP3
00001c4f: PUSH32 0x80352cfd00000000000000000000000000000000000000000000000000000000
00001c70: DUP3
00001c71: MSTORE
00001c72: ADDRESS
00001c73: PUSH1 0x04
00001c75: DUP4
00001c76: ADD
00001c77: MSTORE
00001c78: GAS
00001c79: STATICCALL
00001c7a: SWAP2
00001c7b: DUP3
00001c7c: ISZERO
00001c7d: PUSH2 0x1cbc
00001c80: JUMPI
00001c81: DUP1
00001c82: SWAP3
00001c83: PUSH2 0x1c8b
00001c86: JUMPI
00001c87: POP
00001c88: POP
00001c89: SWAP1
00001c8a: JUMP
00001c8b: JUMPDEST
00001c8c: SWAP1
00001c8d: SWAP2
00001c8e: POP
00001c8f: PUSH1 0x20
00001c91: DUP3
00001c92: RETURNDATASIZE
00001c93: PUSH1 0x20
00001c95: GT
00001c96: PUSH2 0x1cb4
00001c99: JUMPI
00001c9a: JUMPDEST
00001c9b: DUP2
00001c9c: PUSH2 0x1ca7
00001c9f: PUSH1 0x20
00001ca1: SWAP4
00001ca2: DUP4
00001ca3: PUSH2 0x199e
00001ca6: JUMP
00001ca7: JUMPDEST
00001ca8: DUP2
00001ca9: ADD
00001caa: SUB
00001cab: SLT
00001cac: PUSH2 0x01e7
00001caf: JUMPI
00001cb0: POP
00001cb1: MLOAD
00001cb2: SWAP1
00001cb3: JUMP
00001cb4: JUMPDEST
00001cb5: RETURNDATASIZE
00001cb6: SWAP2
00001cb7: POP
00001cb8: PUSH2 0x1c9a
00001cbb: JUMP
00001cbc: JUMPDEST
00001cbd: PUSH1 0x40
00001cbf: MLOAD
00001cc0: SWAP1
00001cc1: RETURNDATASIZE
00001cc2: SWAP1
00001cc3: DUP3
00001cc4: RETURNDATACOPY
00001cc5: RETURNDATASIZE
00001cc6: SWAP1
00001cc7: REVERT
00001cc8: JUMPDEST
00001cc9: POP
00001cca: SWAP1
00001ccb: JUMP
00001ccc: JUMPDEST
00001ccd: PUSH1 0x01
00001ccf: PUSH1 0x01
00001cd1: PUSH1 0xa0
00001cd3: SHL
00001cd4: SUB
00001cd5: DUP1
00001cd6: PUSH1 0x00
00001cd8: SWAP3
00001cd9: AND
00001cda: DUP3
00001cdb: MSTORE
00001cdc: PUSH1 0x06
00001cde: PUSH1 0x20
00001ce0: MSTORE
00001ce1: PUSH1 0x40
00001ce3: SWAP1
00001ce4: DUP1
00001ce5: DUP3
00001ce6: DUP5
00001ce7: KECCAK256
00001ce8: SLOAD
00001ce9: AND
00001cea: SWAP1
00001ceb: DUP2
00001cec: ISZERO
00001ced: PUSH2 0x1dfb
00001cf0: JUMPI
00001cf1: SWAP4
00001cf2: DUP3
00001cf3: SWAP2
00001cf4: PUSH2 0x1d90
00001cf7: SWAP6
00001cf8: PUSH1 0x07
00001cfa: SLOAD
00001cfb: AND
00001cfc: SWAP2
00001cfd: DUP4
00001cfe: MLOAD
00001cff: PUSH2 0x1d07
00001d02: DUP2
00001d03: PUSH2 0x1982
00001d06: JUMP
00001d07: JUMPDEST
00001d08: DUP7
00001d09: DUP2
00001d0a: MSTORE
00001d0b: DUP5
00001d0c: MLOAD
00001d0d: SWAP2
00001d0e: PUSH2 0x1d16
00001d11: DUP4
00001d12: PUSH2 0x1982
00001d15: JUMP
00001d16: JUMPDEST
00001d17: DUP8
00001d18: DUP4
00001d19: MSTORE
00001d1a: DUP6
00001d1b: MLOAD
00001d1c: SWAP5
00001d1d: PUSH2 0x1d25
00001d20: DUP7
00001d21: PUSH2 0x1918
00001d24: JUMP
00001d25: JUMPDEST
00001d26: PUSH2 0x7656
00001d29: DUP7
00001d2a: MSTORE
00001d2b: PUSH1 0x20
00001d2d: DUP7
00001d2e: ADD
00001d2f: MSTORE
00001d30: DUP1
00001d31: DUP7
00001d32: DUP7
00001d33: ADD
00001d34: MSTORE
00001d35: PUSH1 0x60
00001d37: DUP6
00001d38: ADD
00001d39: MSTORE
00001d3a: PUSH1 0x80
00001d3c: DUP5
00001d3d: ADD
00001d3e: MSTORE
00001d3f: PUSH1 0xa0
00001d41: DUP4
00001d42: ADD
00001d43: MSTORE
00001d44: DUP3
00001d45: MLOAD
00001d46: PUSH2 0x1d4e
00001d49: DUP2
00001d4a: PUSH2 0x1982
00001d4d: JUMP
00001d4e: JUMPDEST
00001d4f: DUP6
00001d50: DUP2
00001d51: MSTORE
00001d52: PUSH1 0xc0
00001d54: DUP4
00001d55: ADD
00001d56: MSTORE
00001d57: DUP3
00001d58: MLOAD
00001d59: DUP1
00001d5a: DUP1
00001d5b: SWAP8
00001d5c: DUP2
00001d5d: SWAP5
00001d5e: PUSH32 0x3b6f743b00000000000000000000000000000000000000000000000000000000
00001d7f: DUP4
00001d80: MSTORE
00001d81: DUP7
00001d82: PUSH1 0x04
00001d84: DUP5
00001d85: ADD
00001d86: MSTORE
00001d87: PUSH1 0x44
00001d89: DUP4
00001d8a: ADD
00001d8b: SWAP1
00001d8c: PUSH2 0x1ac5
00001d8f: JUMP
00001d90: JUMPDEST
00001d91: DUP8
00001d92: PUSH1 0x24
00001d94: DUP4
00001d95: ADD
00001d96: MSTORE
00001d97: SUB
00001d98: SWAP2
00001d99: GAS
00001d9a: STATICCALL
00001d9b: SWAP3
00001d9c: DUP4
00001d9d: ISZERO
00001d9e: PUSH2 0x1df0
00001da1: JUMPI
00001da2: DUP3
00001da3: SWAP4
00001da4: PUSH2 0x1daf
00001da7: JUMPI
00001da8: JUMPDEST
00001da9: POP
00001daa: POP
00001dab: POP
00001dac: MLOAD
00001dad: SWAP1
00001dae: JUMP
00001daf: JUMPDEST
00001db0: SWAP1
00001db1: DUP1
00001db2: SWAP3
00001db3: SWAP5
00001db4: SWAP4
00001db5: POP
00001db6: RETURNDATASIZE
00001db7: DUP4
00001db8: GT
00001db9: PUSH2 0x1de9
00001dbc: JUMPI
00001dbd: JUMPDEST
00001dbe: PUSH2 0x1dc7
00001dc1: DUP2
00001dc2: DUP4
00001dc3: PUSH2 0x199e
00001dc6: JUMP
00001dc7: JUMPDEST
00001dc8: DUP2
00001dc9: ADD
00001dca: SWAP2
00001dcb: DUP2
00001dcc: DUP4
00001dcd: SUB
00001dce: SLT
00001dcf: PUSH2 0x1de5
00001dd2: JUMPI
00001dd3: PUSH2 0x1ddd
00001dd6: SWAP3
00001dd7: SWAP4
00001dd8: POP
00001dd9: PUSH2 0x1a1e
00001ddc: JUMP
00001ddd: JUMPDEST
00001dde: CODESIZE
00001ddf: DUP1
00001de0: DUP1
00001de1: PUSH2 0x1da8
00001de4: JUMP
00001de5: JUMPDEST
00001de6: DUP4
00001de7: DUP1
00001de8: REVERT
00001de9: JUMPDEST
00001dea: POP
00001deb: RETURNDATASIZE
00001dec: PUSH2 0x1dbd
00001def: JUMP
00001df0: JUMPDEST
00001df1: POP
00001df2: MLOAD
00001df3: SWAP1
00001df4: RETURNDATASIZE
00001df5: SWAP1
00001df6: DUP3
00001df7: RETURNDATACOPY
00001df8: RETURNDATASIZE
00001df9: SWAP1
00001dfa: REVERT
00001dfb: JUMPDEST
00001dfc: POP
00001dfd: POP
00001dfe: POP
00001dff: SWAP1
00001e00: POP
00001e01: SWAP1
00001e02: JUMP
00001e03: JUMPDEST
00001e04: PUSH1 0x01
00001e06: PUSH1 0x01
00001e08: PUSH1 0xa0
00001e0a: SHL
00001e0b: SUB
00001e0c: PUSH1 0x00
00001e0e: SLOAD
00001e0f: PUSH1 0x08
00001e11: SHR
00001e12: AND
00001e13: CALLER
00001e14: SUB
00001e15: PUSH2 0x08b2
00001e18: JUMPI
00001e19: JUMP
00001e1a: JUMPDEST
00001e1b: PUSH1 0xff
00001e1d: PUSH1 0x00
00001e1f: SLOAD
00001e20: AND
00001e21: PUSH2 0x1e26
00001e24: JUMPI
00001e25: JUMP
00001e26: JUMPDEST
00001e27: PUSH1 0x04
00001e29: PUSH1 0x40
00001e2b: MLOAD
00001e2c: PUSH32 0xd93c066500000000000000000000000000000000000000000000000000000000
00001e4d: DUP2
00001e4e: MSTORE
00001e4f: REVERT
00001e50: JUMPDEST
00001e51: PUSH1 0x40
00001e53: MLOAD
00001e54: PUSH32 0x095ea7b300000000000000000000000000000000000000000000000000000000
00001e75: PUSH1 0x20
00001e77: DUP3
00001e78: ADD
00001e79: DUP2
00001e7a: DUP2
00001e7b: MSTORE
00001e7c: PUSH1 0x01
00001e7e: PUSH1 0x01
00001e80: PUSH1 0xa0
00001e82: SHL
00001e83: SUB
00001e84: DUP6
00001e85: AND
00001e86: PUSH1 0x24
00001e88: DUP5
00001e89: ADD
00001e8a: MSTORE
00001e8b: PUSH1 0x44
00001e8d: DUP1
00001e8e: DUP5
00001e8f: ADD
00001e90: SWAP7
00001e91: SWAP1
00001e92: SWAP7
00001e93: MSTORE
00001e94: SWAP5
00001e95: DUP3
00001e96: MSTORE
00001e97: SWAP5
00001e98: SWAP4
00001e99: SWAP1
00001e9a: SWAP3
00001e9b: PUSH2 0x1ea5
00001e9e: PUSH1 0x64
00001ea0: DUP6
00001ea1: PUSH2 0x199e
00001ea4: JUMP
00001ea5: JUMPDEST
00001ea6: PUSH1 0x01
00001ea8: PUSH1 0x01
00001eaa: PUSH1 0xa0
00001eac: SHL
00001ead: SUB
00001eae: SWAP1
00001eaf: DUP2
00001eb0: DUP5
00001eb1: AND
00001eb2: PUSH1 0x00
00001eb4: DUP1
00001eb5: DUP1
00001eb6: SWAP6
00001eb7: DUP9
00001eb8: MLOAD
00001eb9: SWAP1
00001eba: DUP3
00001ebb: DUP6
00001ebc: GAS
00001ebd: CALL
00001ebe: SWAP1
00001ebf: PUSH2 0x1ec6
00001ec2: PUSH2 0x1bf2
00001ec5: JUMP
00001ec6: JUMPDEST
00001ec7: DUP3
00001ec8: PUSH2 0x1f51
00001ecb: JUMPI
00001ecc: JUMPDEST
00001ecd: POP
00001ece: DUP2
00001ecf: PUSH2 0x1f46
00001ed2: JUMPI
00001ed3: JUMPDEST
00001ed4: POP
00001ed5: ISZERO
00001ed6: PUSH2 0x1ee3
00001ed9: JUMPI
00001eda: JUMPDEST
00001edb: POP
00001edc: POP
00001edd: POP
00001ede: POP
00001edf: POP
00001ee0: SWAP1
00001ee1: POP
00001ee2: JUMP
00001ee3: JUMPDEST
00001ee4: PUSH1 0x40
00001ee6: MLOAD
00001ee7: SWAP7
00001ee8: PUSH1 0x20
00001eea: DUP9
00001eeb: ADD
00001eec: MSTORE
00001eed: AND
00001eee: PUSH1 0x24
00001ef0: DUP7
00001ef1: ADD
00001ef2: MSTORE
00001ef3: DUP1
00001ef4: PUSH1 0x44
00001ef6: DUP7
00001ef7: ADD
00001ef8: MSTORE
00001ef9: PUSH1 0x44
00001efb: DUP6
00001efc: MSTORE
00001efd: PUSH1 0x80
00001eff: DUP6
00001f00: ADD
00001f01: SWAP1
00001f02: DUP6
00001f03: DUP3
00001f04: LT
00001f05: PUSH8 0xffffffffffffffff
00001f0e: DUP4
00001f0f: GT
00001f10: OR
00001f11: PUSH2 0x1f32
00001f14: JUMPI
00001f15: POP
00001f16: PUSH2 0x1f27
00001f19: SWAP4
00001f1a: SWAP5
00001f1b: PUSH2 0x035e
00001f1e: SWAP2
00001f1f: PUSH1 0x40
00001f21: MSTORE
00001f22: DUP3
00001f23: PUSH2 0x1f9b
00001f26: JUMP
00001f27: JUMPDEST
00001f28: DUP1
00001f29: CODESIZE
00001f2a: DUP1
00001f2b: DUP1
00001f2c: DUP1
00001f2d: DUP1
00001f2e: PUSH2 0x1eda
00001f31: JUMP
00001f32: JUMPDEST
00001f33: DUP1
00001f34: PUSH4 0x4e487b71
00001f39: PUSH1 0xe0
00001f3b: SHL
00001f3c: PUSH1 0x24
00001f3e: SWAP3
00001f3f: MSTORE
00001f40: PUSH1 0x41
00001f42: PUSH1 0x04
00001f44: MSTORE
00001f45: REVERT
00001f46: JUMPDEST
00001f47: SWAP1
00001f48: POP
00001f49: EXTCODESIZE
00001f4a: ISZERO
00001f4b: ISZERO
00001f4c: CODESIZE
00001f4d: PUSH2 0x1ed3
00001f50: JUMP
00001f51: JUMPDEST
00001f52: DUP1
00001f53: MLOAD
00001f54: SWAP2
00001f55: SWAP3
00001f56: POP
00001f57: DUP2
00001f58: ISZERO
00001f59: SWAP2
00001f5a: DUP3
00001f5b: ISZERO
00001f5c: PUSH2 0x1f69
00001f5f: JUMPI
00001f60: JUMPDEST
00001f61: POP
00001f62: POP
00001f63: SWAP1
00001f64: CODESIZE
00001f65: PUSH2 0x1ecc
00001f68: JUMP
00001f69: JUMPDEST
00001f6a: PUSH2 0x1f7c
00001f6d: SWAP3
00001f6e: POP
00001f6f: PUSH1 0x20
00001f71: DUP1
00001f72: SWAP2
00001f73: DUP4
00001f74: ADD
00001f75: ADD
00001f76: SWAP2
00001f77: ADD
00001f78: PUSH2 0x1f83
00001f7b: JUMP
00001f7c: JUMPDEST
00001f7d: CODESIZE
00001f7e: DUP1
00001f7f: PUSH2 0x1f60
00001f82: JUMP
00001f83: JUMPDEST
00001f84: SWAP1
00001f85: DUP2
00001f86: PUSH1 0x20
00001f88: SWAP2
00001f89: SUB
00001f8a: SLT
00001f8b: PUSH2 0x0396
00001f8e: JUMPI
00001f8f: MLOAD
00001f90: DUP1
00001f91: ISZERO
00001f92: ISZERO
00001f93: DUP2
00001f94: SUB
00001f95: PUSH2 0x0396
00001f98: JUMPI
00001f99: SWAP1
00001f9a: JUMP
00001f9b: JUMPDEST
00001f9c: PUSH1 0x00
00001f9e: DUP1
00001f9f: PUSH1 0x01
00001fa1: PUSH1 0x01
00001fa3: PUSH1 0xa0
00001fa5: SHL
00001fa6: SUB
00001fa7: PUSH2 0x1fc5
00001faa: SWAP4
00001fab: AND
00001fac: SWAP4
00001fad: PUSH1 0x20
00001faf: DUP2
00001fb0: MLOAD
00001fb1: SWAP2
00001fb2: ADD
00001fb3: DUP3
00001fb4: DUP7
00001fb5: GAS
00001fb6: CALL
00001fb7: PUSH2 0x1fbe
00001fba: PUSH2 0x1bf2
00001fbd: JUMP
00001fbe: JUMPDEST
00001fbf: SWAP1
00001fc0: DUP4
00001fc1: PUSH2 0x2027
00001fc4: JUMP
00001fc5: JUMPDEST
00001fc6: DUP1
00001fc7: MLOAD
00001fc8: SWAP1
00001fc9: DUP2
00001fca: ISZERO
00001fcb: ISZERO
00001fcc: SWAP2
00001fcd: DUP3
00001fce: PUSH2 0x200c
00001fd1: JUMPI
00001fd2: JUMPDEST
00001fd3: POP
00001fd4: POP
00001fd5: PUSH2 0x1fdb
00001fd8: JUMPI
00001fd9: POP
00001fda: JUMP
00001fdb: JUMPDEST
00001fdc: PUSH1 0x24
00001fde: SWAP1
00001fdf: PUSH1 0x40
00001fe1: MLOAD
00001fe2: SWAP1
00001fe3: PUSH32 0x5274afe700000000000000000000000000000000000000000000000000000000
00002004: DUP3
00002005: MSTORE
00002006: PUSH1 0x04
00002008: DUP3
00002009: ADD
0000200a: MSTORE
0000200b: REVERT
0000200c: JUMPDEST
0000200d: PUSH2 0x201f
00002010: SWAP3
00002011: POP
00002012: PUSH1 0x20
00002014: DUP1
00002015: SWAP2
00002016: DUP4
00002017: ADD
00002018: ADD
00002019: SWAP2
0000201a: ADD
0000201b: PUSH2 0x1f83
0000201e: JUMP
0000201f: JUMPDEST
00002020: ISZERO
00002021: CODESIZE
00002022: DUP1
00002023: PUSH2 0x1fd2
00002026: JUMP
00002027: JUMPDEST
00002028: SWAP1
00002029: PUSH2 0x2066
0000202c: JUMPI
0000202d: POP
0000202e: DUP1
0000202f: MLOAD
00002030: ISZERO
00002031: PUSH2 0x203c
00002034: JUMPI
00002035: DUP1
00002036: MLOAD
00002037: SWAP1
00002038: PUSH1 0x20
0000203a: ADD
0000203b: REVERT
0000203c: JUMPDEST
0000203d: PUSH1 0x04
0000203f: PUSH1 0x40
00002041: MLOAD
00002042: PUSH32 0x1425ea4200000000000000000000000000000000000000000000000000000000
00002063: DUP2
00002064: MSTORE
00002065: REVERT
00002066: JUMPDEST
00002067: DUP2
00002068: MLOAD
00002069: ISZERO
0000206a: DUP1
0000206b: PUSH2 0x20b1
0000206e: JUMPI
0000206f: JUMPDEST
00002070: PUSH2 0x2077
00002073: JUMPI
00002074: POP
00002075: SWAP1
00002076: JUMP
00002077: JUMPDEST
00002078: PUSH1 0x24
0000207a: SWAP1
0000207b: PUSH1 0x01
0000207d: PUSH1 0x01
0000207f: PUSH1 0xa0
00002081: SHL
00002082: SUB
00002083: PUSH1 0x40
00002085: MLOAD
00002086: SWAP2
00002087: PUSH32 0x9996b31500000000000000000000000000000000000000000000000000000000
000020a8: DUP4
000020a9: MSTORE
000020aa: AND
000020ab: PUSH1 0x04
000020ad: DUP3
000020ae: ADD
000020af: MSTORE
000020b0: REVERT
000020b1: JUMPDEST
000020b2: POP
000020b3: DUP1
000020b4: EXTCODESIZE
000020b5: ISZERO
000020b6: PUSH2 0x206f
000020b9: JUMP
000020ba: INVALID
000020bb: LOG2
000020bc: PUSH5 0x6970667358
000020c2: UNKNOWN(0x22)
000020c3: SLT
000020c4: KECCAK256
000020c5: UNKNOWN(0xD9)
000020c6: MULMOD
000020c7: UNKNOWN(0xF9)
000020c8: UNKNOWN(0xAA)
000020c9: PUSH2 0xfba4
000020cc: PC
000020cd: PUSH9 0xf35f712dac0bafc674
000020d7: UNKNOWN(0xCB)
000020d8: UNKNOWN(0xD5)
000020d9: PUSH7 0xe494abc8e775f9
000020e1: EXTCODESIZE
000020e2: PUSH0
000020e3: PUSH16
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: 0xee5509ecb88816cf41179e73acf8b94cf4cf9c1fae08c626324c87cfd498b7c9 call_targets: 0x15a80ef197cf0be3592987af7c12bd4f056eac25 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xee5509ecb88816cf41179e73acf8b94cf4cf9c1fae08c626324c87cfd498b7c9", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x15a80ef197cf0be3592987af7c12bd4f056eac25" ], "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": "0x1532b0f4", "selector": "0x1532b0f4", "calldata_variants": [ "0x1532b0f4", "0x1532b0f40000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x29d6a3fe", "selector": "0x29d6a3fe", "calldata_variants": [ "0x29d6a3fe", "0x29d6a3fe0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x2e40d70e", "selector": "0x2e40d70e", "calldata_variants": [ "0x2e40d70e", "0x2e40d70e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x30e97cf7", "selector": "0x30e97cf7", "calldata_variants": [ "0x30e97cf7", "0x30e97cf70000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x366319d3", "selector": "0x366319d3", "calldata_variants": [ "0x366319d3", "0x366319d30000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x3e1c0e07", "selector": "0x3e1c0e07", "calldata_variants": [ "0x3e1c0e07", "0x3e1c0e070000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x3f4ba83a", "selector": "0x3f4ba83a", "calldata_variants": [ "0x3f4ba83a", "0x3f4ba83a0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x4f43aff6", "selector": "0x4f43aff6", "calldata_variants": [ "0x4f43aff6", "0x4f43aff60000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 645, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 2753, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 3902, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 6, "guards_detected": [], "untrusted_call_count": 6 }
high	other	detector	ETH value transfer possible	55	no	no	view trace_id: 0xee5509ecb88816cf41179e73acf8b94cf4cf9c1fae08c626324c87cfd498b7c9 call_targets: 0x15a80ef197cf0be3592987af7c12bd4f056eac25 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xee5509ecb88816cf41179e73acf8b94cf4cf9c1fae08c626324c87cfd498b7c9", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x15a80ef197cf0be3592987af7c12bd4f056eac25" ], "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": "0x1532b0f4", "selector": "0x1532b0f4", "calldata_variants": [ "0x1532b0f4", "0x1532b0f40000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x29d6a3fe", "selector": "0x29d6a3fe", "calldata_variants": [ "0x29d6a3fe", "0x29d6a3fe0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x2e40d70e", "selector": "0x2e40d70e", "calldata_variants": [ "0x2e40d70e", "0x2e40d70e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x30e97cf7", "selector": "0x30e97cf7", "calldata_variants": [ "0x30e97cf7", "0x30e97cf70000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x366319d3", "selector": "0x366319d3", "calldata_variants": [ "0x366319d3", "0x366319d30000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x3e1c0e07", "selector": "0x3e1c0e07", "calldata_variants": [ "0x3e1c0e07", "0x3e1c0e070000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x3f4ba83a", "selector": "0x3f4ba83a", "calldata_variants": [ "0x3f4ba83a", "0x3f4ba83a0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x4f43aff6", "selector": "0x4f43aff6", "calldata_variants": [ "0x4f43aff6", "0x4f43aff60000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 645, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 2753, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 3902, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 6, "guards_detected": [] }
Severity