Analysis Run

019ba909-3808-7160-8b06-81849bb67036

complete

Chain ID

1

Address

0x2913588dd5f8362b64ef1aebdb4fece43f595dc2

Block Number

—

Created

Sat, Jan 10, 2026 5:51 PM

Review Summary

What survived the funnel

Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?

back to vulns open contract

Confirmed

0

Validated

0

Source

Bytecode only

Review Backing

Not yet

Best current signal

Untrusted CALL target/value reachable

crit 0 high 0 direct contract

Review Checklist

1. Read the findings table first. Ignore raw jobs until the result looks real.

2. Confirm attacker control, not just the existence of a sink.

3. Confirm money or privilege impact.

4. Keep it if the behavior is real. Kill it if this is normal proxy, admin, or upgrade plumbing.

Processing Jobs

Status & attempts

ID	Type	Status	Attempts	Heartbeat
34155	artifact.fetch	complete	1 / 3	3 months ago
34156	proxy.resolve	complete	1 / 3	3 months ago
34157	tool.cast_disasm	complete	1 / 3	3 months ago
34158	analysis.bundle	complete	1 / 3	3 months ago
34159	capability.graph	complete	1 / 3	3 months ago
34160	detector.run	complete	1 / 3	3 months ago
34161	validation.fork	complete	1 / 3	3 months ago

Artifact

Runtime bytecode: available

Creation TX: —

Deployer: —

Proxy: no not_proxy

Implementation:

—

Verified Source: no

Proxy evidence

{
    "status": "not_proxy"
}

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)

19

EXT*/BALANCE

3

Total opcodes

4521

Flags

call_family_heavy

View cast disassembly output

00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x0049
0000000c: JUMPI
0000000d: PUSH0
0000000e: CALLDATALOAD
0000000f: PUSH1 0xe0
00000011: SHR
00000012: DUP1
00000013: PUSH4 0x4f71473e
00000018: EQ
00000019: PUSH2 0x004d
0000001c: JUMPI
0000001d: DUP1
0000001e: PUSH4 0x69328dec
00000023: EQ
00000024: PUSH2 0x0075
00000027: JUMPI
00000028: DUP1
00000029: PUSH4 0x8340f549
0000002e: EQ
0000002f: PUSH2 0x009d
00000032: JUMPI
00000033: DUP1
00000034: PUSH4 0xa4668914
00000039: EQ
0000003a: PUSH2 0x00b9
0000003d: JUMPI
0000003e: DUP1
0000003f: PUSH4 0xefbcb2f9
00000044: EQ
00000045: PUSH2 0x00d5
00000048: JUMPI
00000049: JUMPDEST
0000004a: PUSH0
0000004b: PUSH0
0000004c: REVERT
0000004d: JUMPDEST
0000004e: CALLVALUE
0000004f: DUP1
00000050: ISZERO
00000051: PUSH2 0x0058
00000054: JUMPI
00000055: PUSH0
00000056: PUSH0
00000057: REVERT
00000058: JUMPDEST
00000059: POP
0000005a: PUSH2 0x0073
0000005d: PUSH1 0x04
0000005f: DUP1
00000060: CALLDATASIZE
00000061: SUB
00000062: DUP2
00000063: ADD
00000064: SWAP1
00000065: PUSH2 0x006e
00000068: SWAP2
00000069: SWAP1
0000006a: PUSH2 0x2333
0000006d: JUMP
0000006e: JUMPDEST
0000006f: PUSH2 0x00fd
00000072: JUMP
00000073: JUMPDEST
00000074: STOP
00000075: JUMPDEST
00000076: CALLVALUE
00000077: DUP1
00000078: ISZERO
00000079: PUSH2 0x0080
0000007c: JUMPI
0000007d: PUSH0
0000007e: PUSH0
0000007f: REVERT
00000080: JUMPDEST
00000081: POP
00000082: PUSH2 0x009b
00000085: PUSH1 0x04
00000087: DUP1
00000088: CALLDATASIZE
00000089: SUB
0000008a: DUP2
0000008b: ADD
0000008c: SWAP1
0000008d: PUSH2 0x0096
00000090: SWAP2
00000091: SWAP1
00000092: PUSH2 0x23c3
00000095: JUMP
00000096: JUMPDEST
00000097: PUSH2 0x051e
0000009a: JUMP
0000009b: JUMPDEST
0000009c: STOP
0000009d: JUMPDEST
0000009e: PUSH2 0x00b7
000000a1: PUSH1 0x04
000000a3: DUP1
000000a4: CALLDATASIZE
000000a5: SUB
000000a6: DUP2
000000a7: ADD
000000a8: SWAP1
000000a9: PUSH2 0x00b2
000000ac: SWAP2
000000ad: SWAP1
000000ae: PUSH2 0x244e
000000b1: JUMP
000000b2: JUMPDEST
000000b3: PUSH2 0x08dc
000000b6: JUMP
000000b7: JUMPDEST
000000b8: STOP
000000b9: JUMPDEST
000000ba: PUSH2 0x00d3
000000bd: PUSH1 0x04
000000bf: DUP1
000000c0: CALLDATASIZE
000000c1: SUB
000000c2: DUP2
000000c3: ADD
000000c4: SWAP1
000000c5: PUSH2 0x00ce
000000c8: SWAP2
000000c9: SWAP1
000000ca: PUSH2 0x24f3
000000cd: JUMP
000000ce: JUMPDEST
000000cf: PUSH2 0x0e15
000000d2: JUMP
000000d3: JUMPDEST
000000d4: STOP
000000d5: JUMPDEST
000000d6: CALLVALUE
000000d7: DUP1
000000d8: ISZERO
000000d9: PUSH2 0x00e0
000000dc: JUMPI
000000dd: PUSH0
000000de: PUSH0
000000df: REVERT
000000e0: JUMPDEST
000000e1: POP
000000e2: PUSH2 0x00fb
000000e5: PUSH1 0x04
000000e7: DUP1
000000e8: CALLDATASIZE
000000e9: SUB
000000ea: DUP2
000000eb: ADD
000000ec: SWAP1
000000ed: PUSH2 0x00f6
000000f0: SWAP2
000000f1: SWAP1
000000f2: PUSH2 0x2589
000000f5: JUMP
000000f6: JUMPDEST
000000f7: PUSH2 0x1591
000000fa: JUMP
000000fb: JUMPDEST
000000fc: STOP
000000fd: JUMPDEST
000000fe: PUSH20 0x6aa892d44b7e4ad80320e42bfa1eaa9f5e54cb51
00000113: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000128: AND
00000129: CALLER
0000012a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000013f: AND
00000140: EQ
00000141: ISZERO
00000142: DUP1
00000143: ISZERO
00000144: PUSH2 0x018d
00000147: JUMPI
00000148: POP
00000149: PUSH20 0xb0d2568a172903f058ec6ff8b74b2bdcda697a97
0000015e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000173: AND
00000174: CALLER
00000175: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000018a: AND
0000018b: EQ
0000018c: ISZERO
0000018d: JUMPDEST
0000018e: DUP1
0000018f: ISZERO
00000190: PUSH2 0x01d9
00000193: JUMPI
00000194: POP
00000195: PUSH20 0x346f202767cbcf9341be1fc8fe38f8f7a0fdfc30
000001aa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000001bf: AND
000001c0: CALLER
000001c1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000001d6: AND
000001d7: EQ
000001d8: ISZERO
000001d9: JUMPDEST
000001da: DUP1
000001db: ISZERO
000001dc: PUSH2 0x0225
000001df: JUMPI
000001e0: POP
000001e1: PUSH20 0xe4ecac7146c410a8d2432de70e140d4d50e9664b
000001f6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000020b: AND
0000020c: CALLER
0000020d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000222: AND
00000223: EQ
00000224: ISZERO
00000225: JUMPDEST
00000226: ISZERO
00000227: PUSH2 0x025c
0000022a: JUMPI
0000022b: PUSH1 0x40
0000022d: MLOAD
0000022e: PUSH32 0x16c618d800000000000000000000000000000000000000000000000000000000
0000024f: DUP2
00000250: MSTORE
00000251: PUSH1 0x04
00000253: ADD
00000254: PUSH1 0x40
00000256: MLOAD
00000257: DUP1
00000258: SWAP2
00000259: SUB
0000025a: SWAP1
0000025b: REVERT
0000025c: JUMPDEST
0000025d: DUP3
0000025e: PUSH20 0x96b11d0e1c589997c585f03cc7adda454c0160f4
00000273: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000288: AND
00000289: DUP2
0000028a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000029f: AND
000002a0: EQ
000002a1: ISZERO
000002a2: DUP1
000002a3: ISZERO
000002a4: PUSH2 0x02ed
000002a7: JUMPI
000002a8: POP
000002a9: PUSH20 0xe2c3e9cfd77d294da4a2a614742edd3e62e4ed16
000002be: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000002d3: AND
000002d4: DUP2
000002d5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000002ea: AND
000002eb: EQ
000002ec: ISZERO
000002ed: JUMPDEST
000002ee: DUP1
000002ef: ISZERO
000002f0: PUSH2 0x0339
000002f3: JUMPI
000002f4: POP
000002f5: PUSH20 0x5b0cfdeb19867336c47d90f23412b68e738f3697
0000030a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000031f: AND
00000320: DUP2
00000321: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000336: AND
00000337: EQ
00000338: ISZERO
00000339: JUMPDEST
0000033a: DUP1
0000033b: ISZERO
0000033c: PUSH2 0x0385
0000033f: JUMPI
00000340: POP
00000341: PUSH20 0x73906ae61cf1aae46b1dd97572db810dd46b7f77
00000356: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000036b: AND
0000036c: DUP2
0000036d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000382: AND
00000383: EQ
00000384: ISZERO
00000385: JUMPDEST
00000386: DUP1
00000387: ISZERO
00000388: PUSH2 0x03d1
0000038b: JUMPI
0000038c: POP
0000038d: PUSH20 0xa3127a78a632a992b92420676763b637c9b47c10
000003a2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003b7: AND
000003b8: DUP2
000003b9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003ce: AND
000003cf: EQ
000003d0: ISZERO
000003d1: JUMPDEST
000003d2: ISZERO
000003d3: PUSH2 0x0408
000003d6: JUMPI
000003d7: PUSH1 0x40
000003d9: MLOAD
000003da: PUSH32 0x30cd747100000000000000000000000000000000000000000000000000000000
000003fb: DUP2
000003fc: MSTORE
000003fd: PUSH1 0x04
000003ff: ADD
00000400: PUSH1 0x40
00000402: MLOAD
00000403: DUP1
00000404: SWAP2
00000405: SUB
00000406: SWAP1
00000407: REVERT
00000408: JUMPDEST
00000409: PUSH0
0000040a: JUMPDEST
0000040b: DUP4
0000040c: DUP4
0000040d: SWAP1
0000040e: POP
0000040f: DUP2
00000410: LT
00000411: ISZERO
00000412: PUSH2 0x0517
00000415: JUMPI
00000416: PUSH0
00000417: DUP5
00000418: DUP5
00000419: DUP4
0000041a: DUP2
0000041b: DUP2
0000041c: LT
0000041d: PUSH2 0x0429
00000420: JUMPI
00000421: PUSH2 0x0428
00000424: PUSH2 0x2646
00000427: JUMP
00000428: JUMPDEST
00000429: JUMPDEST
0000042a: SWAP1
0000042b: POP
0000042c: PUSH1 0x20
0000042e: MUL
0000042f: ADD
00000430: PUSH1 0x20
00000432: DUP2
00000433: ADD
00000434: SWAP1
00000435: PUSH2 0x043e
00000438: SWAP2
00000439: SWAP1
0000043a: PUSH2 0x2673
0000043d: JUMP
0000043e: JUMPDEST
0000043f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000454: AND
00000455: PUSH4 0x70a08231
0000045a: ADDRESS
0000045b: PUSH1 0x40
0000045d: MLOAD
0000045e: DUP3
0000045f: PUSH4 0xffffffff
00000464: AND
00000465: PUSH1 0xe0
00000467: SHL
00000468: DUP2
00000469: MSTORE
0000046a: PUSH1 0x04
0000046c: ADD
0000046d: PUSH2 0x0476
00000470: SWAP2
00000471: SWAP1
00000472: PUSH2 0x26ad
00000475: JUMP
00000476: JUMPDEST
00000477: PUSH1 0x20
00000479: PUSH1 0x40
0000047b: MLOAD
0000047c: DUP1
0000047d: DUP4
0000047e: SUB
0000047f: DUP2
00000480: DUP7
00000481: GAS
00000482: STATICCALL
00000483: ISZERO
00000484: DUP1
00000485: ISZERO
00000486: PUSH2 0x0491
00000489: JUMPI
0000048a: RETURNDATASIZE
0000048b: PUSH0
0000048c: PUSH0
0000048d: RETURNDATACOPY
0000048e: RETURNDATASIZE
0000048f: PUSH0
00000490: REVERT
00000491: JUMPDEST
00000492: POP
00000493: POP
00000494: POP
00000495: POP
00000496: PUSH1 0x40
00000498: MLOAD
00000499: RETURNDATASIZE
0000049a: PUSH1 0x1f
0000049c: NOT
0000049d: PUSH1 0x1f
0000049f: DUP3
000004a0: ADD
000004a1: AND
000004a2: DUP3
000004a3: ADD
000004a4: DUP1
000004a5: PUSH1 0x40
000004a7: MSTORE
000004a8: POP
000004a9: DUP2
000004aa: ADD
000004ab: SWAP1
000004ac: PUSH2 0x04b5
000004af: SWAP2
000004b0: SWAP1
000004b1: PUSH2 0x26da
000004b4: JUMP
000004b5: JUMPDEST
000004b6: SWAP1
000004b7: POP
000004b8: PUSH2 0x0509
000004bb: DUP7
000004bc: DUP3
000004bd: DUP8
000004be: DUP8
000004bf: DUP7
000004c0: DUP2
000004c1: DUP2
000004c2: LT
000004c3: PUSH2 0x04cf
000004c6: JUMPI
000004c7: PUSH2 0x04ce
000004ca: PUSH2 0x2646
000004cd: JUMP
000004ce: JUMPDEST
000004cf: JUMPDEST
000004d0: SWAP1
000004d1: POP
000004d2: PUSH1 0x20
000004d4: MUL
000004d5: ADD
000004d6: PUSH1 0x20
000004d8: DUP2
000004d9: ADD
000004da: SWAP1
000004db: PUSH2 0x04e4
000004de: SWAP2
000004df: SWAP1
000004e0: PUSH2 0x2673
000004e3: JUMP
000004e4: JUMPDEST
000004e5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004fa: AND
000004fb: PUSH2 0x1c35
000004fe: SWAP1
000004ff: SWAP3
00000500: SWAP2
00000501: SWAP1
00000502: PUSH4 0xffffffff
00000507: AND
00000508: JUMP
00000509: JUMPDEST
0000050a: POP
0000050b: DUP1
0000050c: DUP1
0000050d: PUSH1 0x01
0000050f: ADD
00000510: SWAP2
00000511: POP
00000512: POP
00000513: PUSH2 0x040a
00000516: JUMP
00000517: JUMPDEST
00000518: POP
00000519: POP
0000051a: POP
0000051b: POP
0000051c: POP
0000051d: JUMP
0000051e: JUMPDEST
0000051f: PUSH20 0x6aa892d44b7e4ad80320e42bfa1eaa9f5e54cb51
00000534: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000549: AND
0000054a: CALLER
0000054b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000560: AND
00000561: EQ
00000562: ISZERO
00000563: DUP1
00000564: ISZERO
00000565: PUSH2 0x05ae
00000568: JUMPI
00000569: POP
0000056a: PUSH20 0xb0d2568a172903f058ec6ff8b74b2bdcda697a97
0000057f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000594: AND
00000595: CALLER
00000596: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005ab: AND
000005ac: EQ
000005ad: ISZERO
000005ae: JUMPDEST
000005af: DUP1
000005b0: ISZERO
000005b1: PUSH2 0x05fa
000005b4: JUMPI
000005b5: POP
000005b6: PUSH20 0x346f202767cbcf9341be1fc8fe38f8f7a0fdfc30
000005cb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005e0: AND
000005e1: CALLER
000005e2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005f7: AND
000005f8: EQ
000005f9: ISZERO
000005fa: JUMPDEST
000005fb: DUP1
000005fc: ISZERO
000005fd: PUSH2 0x0646
00000600: JUMPI
00000601: POP
00000602: PUSH20 0xe4ecac7146c410a8d2432de70e140d4d50e9664b
00000617: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000062c: AND
0000062d: CALLER
0000062e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000643: AND
00000644: EQ
00000645: ISZERO
00000646: JUMPDEST
00000647: ISZERO
00000648: PUSH2 0x067d
0000064b: JUMPI
0000064c: PUSH1 0x40
0000064e: MLOAD
0000064f: PUSH32 0x16c618d800000000000000000000000000000000000000000000000000000000
00000670: DUP2
00000671: MSTORE
00000672: PUSH1 0x04
00000674: ADD
00000675: PUSH1 0x40
00000677: MLOAD
00000678: DUP1
00000679: SWAP2
0000067a: SUB
0000067b: SWAP1
0000067c: REVERT
0000067d: JUMPDEST
0000067e: DUP3
0000067f: PUSH20 0x96b11d0e1c589997c585f03cc7adda454c0160f4
00000694: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006a9: AND
000006aa: DUP2
000006ab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006c0: AND
000006c1: EQ
000006c2: ISZERO
000006c3: DUP1
000006c4: ISZERO
000006c5: PUSH2 0x070e
000006c8: JUMPI
000006c9: POP
000006ca: PUSH20 0xe2c3e9cfd77d294da4a2a614742edd3e62e4ed16
000006df: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006f4: AND
000006f5: DUP2
000006f6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000070b: AND
0000070c: EQ
0000070d: ISZERO
0000070e: JUMPDEST
0000070f: DUP1
00000710: ISZERO
00000711: PUSH2 0x075a
00000714: JUMPI
00000715: POP
00000716: PUSH20 0x5b0cfdeb19867336c47d90f23412b68e738f3697
0000072b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000740: AND
00000741: DUP2
00000742: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000757: AND
00000758: EQ
00000759: ISZERO
0000075a: JUMPDEST
0000075b: DUP1
0000075c: ISZERO
0000075d: PUSH2 0x07a6
00000760: JUMPI
00000761: POP
00000762: PUSH20 0x73906ae61cf1aae46b1dd97572db810dd46b7f77
00000777: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000078c: AND
0000078d: DUP2
0000078e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007a3: AND
000007a4: EQ
000007a5: ISZERO
000007a6: JUMPDEST
000007a7: DUP1
000007a8: ISZERO
000007a9: PUSH2 0x07f2
000007ac: JUMPI
000007ad: POP
000007ae: PUSH20 0xa3127a78a632a992b92420676763b637c9b47c10
000007c3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007d8: AND
000007d9: DUP2
000007da: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007ef: AND
000007f0: EQ
000007f1: ISZERO
000007f2: JUMPDEST
000007f3: ISZERO
000007f4: PUSH2 0x0829
000007f7: JUMPI
000007f8: PUSH1 0x40
000007fa: MLOAD
000007fb: PUSH32 0x30cd747100000000000000000000000000000000000000000000000000000000
0000081c: DUP2
0000081d: MSTORE
0000081e: PUSH1 0x04
00000820: ADD
00000821: PUSH1 0x40
00000823: MLOAD
00000824: DUP1
00000825: SWAP2
00000826: SUB
00000827: SWAP1
00000828: REVERT
00000829: JUMPDEST
0000082a: PUSH0
0000082b: DUP4
0000082c: SUB
0000082d: PUSH2 0x08ab
00000830: JUMPI
00000831: DUP2
00000832: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000847: AND
00000848: PUSH4 0x70a08231
0000084d: ADDRESS
0000084e: PUSH1 0x40
00000850: MLOAD
00000851: DUP3
00000852: PUSH4 0xffffffff
00000857: AND
00000858: PUSH1 0xe0
0000085a: SHL
0000085b: DUP2
0000085c: MSTORE
0000085d: PUSH1 0x04
0000085f: ADD
00000860: PUSH2 0x0869
00000863: SWAP2
00000864: SWAP1
00000865: PUSH2 0x26ad
00000868: JUMP
00000869: JUMPDEST
0000086a: PUSH1 0x20
0000086c: PUSH1 0x40
0000086e: MLOAD
0000086f: DUP1
00000870: DUP4
00000871: SUB
00000872: DUP2
00000873: DUP7
00000874: GAS
00000875: STATICCALL
00000876: ISZERO
00000877: DUP1
00000878: ISZERO
00000879: PUSH2 0x0884
0000087c: JUMPI
0000087d: RETURNDATASIZE
0000087e: PUSH0
0000087f: PUSH0
00000880: RETURNDATACOPY
00000881: RETURNDATASIZE
00000882: PUSH0
00000883: REVERT
00000884: JUMPDEST
00000885: POP
00000886: POP
00000887: POP
00000888: POP
00000889: PUSH1 0x40
0000088b: MLOAD
0000088c: RETURNDATASIZE
0000088d: PUSH1 0x1f
0000088f: NOT
00000890: PUSH1 0x1f
00000892: DUP3
00000893: ADD
00000894: AND
00000895: DUP3
00000896: ADD
00000897: DUP1
00000898: PUSH1 0x40
0000089a: MSTORE
0000089b: POP
0000089c: DUP2
0000089d: ADD
0000089e: SWAP1
0000089f: PUSH2 0x08a8
000008a2: SWAP2
000008a3: SWAP1
000008a4: PUSH2 0x26da
000008a7: JUMP
000008a8: JUMPDEST
000008a9: SWAP3
000008aa: POP
000008ab: JUMPDEST
000008ac: PUSH2 0x08d6
000008af: DUP5
000008b0: DUP5
000008b1: DUP5
000008b2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008c7: AND
000008c8: PUSH2 0x1c35
000008cb: SWAP1
000008cc: SWAP3
000008cd: SWAP2
000008ce: SWAP1
000008cf: PUSH4 0xffffffff
000008d4: AND
000008d5: JUMP
000008d6: JUMPDEST
000008d7: POP
000008d8: POP
000008d9: POP
000008da: POP
000008db: JUMP
000008dc: JUMPDEST
000008dd: PUSH20 0x6aa892d44b7e4ad80320e42bfa1eaa9f5e54cb51
000008f2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000907: AND
00000908: CALLER
00000909: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000091e: AND
0000091f: EQ
00000920: ISZERO
00000921: DUP1
00000922: ISZERO
00000923: PUSH2 0x096c
00000926: JUMPI
00000927: POP
00000928: PUSH20 0xb0d2568a172903f058ec6ff8b74b2bdcda697a97
0000093d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000952: AND
00000953: CALLER
00000954: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000969: AND
0000096a: EQ
0000096b: ISZERO
0000096c: JUMPDEST
0000096d: DUP1
0000096e: ISZERO
0000096f: PUSH2 0x09b8
00000972: JUMPI
00000973: POP
00000974: PUSH20 0x346f202767cbcf9341be1fc8fe38f8f7a0fdfc30
00000989: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000099e: AND
0000099f: CALLER
000009a0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009b5: AND
000009b6: EQ
000009b7: ISZERO
000009b8: JUMPDEST
000009b9: DUP1
000009ba: ISZERO
000009bb: PUSH2 0x0a04
000009be: JUMPI
000009bf: POP
000009c0: PUSH20 0xe4ecac7146c410a8d2432de70e140d4d50e9664b
000009d5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009ea: AND
000009eb: CALLER
000009ec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a01: AND
00000a02: EQ
00000a03: ISZERO
00000a04: JUMPDEST
00000a05: ISZERO
00000a06: PUSH2 0x0a3b
00000a09: JUMPI
00000a0a: PUSH1 0x40
00000a0c: MLOAD
00000a0d: PUSH32 0x16c618d800000000000000000000000000000000000000000000000000000000
00000a2e: DUP2
00000a2f: MSTORE
00000a30: PUSH1 0x04
00000a32: ADD
00000a33: PUSH1 0x40
00000a35: MLOAD
00000a36: DUP1
00000a37: SWAP2
00000a38: SUB
00000a39: SWAP1
00000a3a: REVERT
00000a3b: JUMPDEST
00000a3c: DUP2
00000a3d: PUSH20 0x96b11d0e1c589997c585f03cc7adda454c0160f4
00000a52: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a67: AND
00000a68: DUP2
00000a69: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a7e: AND
00000a7f: EQ
00000a80: ISZERO
00000a81: DUP1
00000a82: ISZERO
00000a83: PUSH2 0x0acc
00000a86: JUMPI
00000a87: POP
00000a88: PUSH20 0xe2c3e9cfd77d294da4a2a614742edd3e62e4ed16
00000a9d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ab2: AND
00000ab3: DUP2
00000ab4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ac9: AND
00000aca: EQ
00000acb: ISZERO
00000acc: JUMPDEST
00000acd: DUP1
00000ace: ISZERO
00000acf: PUSH2 0x0b18
00000ad2: JUMPI
00000ad3: POP
00000ad4: PUSH20 0x5b0cfdeb19867336c47d90f23412b68e738f3697
00000ae9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000afe: AND
00000aff: DUP2
00000b00: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b15: AND
00000b16: EQ
00000b17: ISZERO
00000b18: JUMPDEST
00000b19: DUP1
00000b1a: ISZERO
00000b1b: PUSH2 0x0b64
00000b1e: JUMPI
00000b1f: POP
00000b20: PUSH20 0x73906ae61cf1aae46b1dd97572db810dd46b7f77
00000b35: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b4a: AND
00000b4b: DUP2
00000b4c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b61: AND
00000b62: EQ
00000b63: ISZERO
00000b64: JUMPDEST
00000b65: DUP1
00000b66: ISZERO
00000b67: PUSH2 0x0bb0
00000b6a: JUMPI
00000b6b: POP
00000b6c: PUSH20 0xa3127a78a632a992b92420676763b637c9b47c10
00000b81: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b96: AND
00000b97: DUP2
00000b98: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bad: AND
00000bae: EQ
00000baf: ISZERO
00000bb0: JUMPDEST
00000bb1: ISZERO
00000bb2: PUSH2 0x0be7
00000bb5: JUMPI
00000bb6: PUSH1 0x40
00000bb8: MLOAD
00000bb9: PUSH32 0x30cd747100000000000000000000000000000000000000000000000000000000
00000bda: DUP2
00000bdb: MSTORE
00000bdc: PUSH1 0x04
00000bde: ADD
00000bdf: PUSH1 0x40
00000be1: MLOAD
00000be2: DUP1
00000be3: SWAP2
00000be4: SUB
00000be5: SWAP1
00000be6: REVERT
00000be7: JUMPDEST
00000be8: PUSH0
00000be9: CALLVALUE
00000bea: GT
00000beb: DUP1
00000bec: ISZERO
00000bed: PUSH2 0x0bf6
00000bf0: JUMPI
00000bf1: POP
00000bf2: PUSH1 0x01
00000bf4: CHAINID
00000bf5: EQ
00000bf6: JUMPDEST
00000bf7: ISZERO
00000bf8: PUSH2 0x0c31
00000bfb: JUMPI
00000bfc: COINBASE
00000bfd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c12: AND
00000c13: PUSH2 0x08fc
00000c16: CALLVALUE
00000c17: SWAP1
00000c18: DUP2
00000c19: ISZERO
00000c1a: MUL
00000c1b: SWAP1
00000c1c: PUSH1 0x40
00000c1e: MLOAD
00000c1f: PUSH0
00000c20: PUSH1 0x40
00000c22: MLOAD
00000c23: DUP1
00000c24: DUP4
00000c25: SUB
00000c26: DUP2
00000c27: DUP6
00000c28: DUP9
00000c29: DUP9
00000c2a: CALL
00000c2b: SWAP4
00000c2c: POP
00000c2d: POP
00000c2e: POP
00000c2f: POP
00000c30: POP
00000c31: JUMPDEST
00000c32: PUSH0
00000c33: PUSH20 0xa0b86991c6218b36c1d19d4a2e9eb0ce3606eb48
00000c48: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c5d: AND
00000c5e: PUSH4 0x70a08231
00000c63: DUP6
00000c64: PUSH1 0x40
00000c66: MLOAD
00000c67: DUP3
00000c68: PUSH4 0xffffffff
00000c6d: AND
00000c6e: PUSH1 0xe0
00000c70: SHL
00000c71: DUP2
00000c72: MSTORE
00000c73: PUSH1 0x04
00000c75: ADD
00000c76: PUSH2 0x0c7f
00000c79: SWAP2
00000c7a: SWAP1
00000c7b: PUSH2 0x26ad
00000c7e: JUMP
00000c7f: JUMPDEST
00000c80: PUSH1 0x20
00000c82: PUSH1 0x40
00000c84: MLOAD
00000c85: DUP1
00000c86: DUP4
00000c87: SUB
00000c88: DUP2
00000c89: DUP7
00000c8a: GAS
00000c8b: STATICCALL
00000c8c: ISZERO
00000c8d: DUP1
00000c8e: ISZERO
00000c8f: PUSH2 0x0c9a
00000c92: JUMPI
00000c93: RETURNDATASIZE
00000c94: PUSH0
00000c95: PUSH0
00000c96: RETURNDATACOPY
00000c97: RETURNDATASIZE
00000c98: PUSH0
00000c99: REVERT
00000c9a: JUMPDEST
00000c9b: POP
00000c9c: POP
00000c9d: POP
00000c9e: POP
00000c9f: PUSH1 0x40
00000ca1: MLOAD
00000ca2: RETURNDATASIZE
00000ca3: PUSH1 0x1f
00000ca5: NOT
00000ca6: PUSH1 0x1f
00000ca8: DUP3
00000ca9: ADD
00000caa: AND
00000cab: DUP3
00000cac: ADD
00000cad: DUP1
00000cae: PUSH1 0x40
00000cb0: MSTORE
00000cb1: POP
00000cb2: DUP2
00000cb3: ADD
00000cb4: SWAP1
00000cb5: PUSH2 0x0cbe
00000cb8: SWAP2
00000cb9: SWAP1
00000cba: PUSH2 0x26da
00000cbd: JUMP
00000cbe: JUMPDEST
00000cbf: SWAP1
00000cc0: POP
00000cc1: PUSH0
00000cc2: DUP6
00000cc3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cd8: AND
00000cd9: PUSH4 0x70a08231
00000cde: DUP7
00000cdf: PUSH1 0x40
00000ce1: MLOAD
00000ce2: DUP3
00000ce3: PUSH4 0xffffffff
00000ce8: AND
00000ce9: PUSH1 0xe0
00000ceb: SHL
00000cec: DUP2
00000ced: MSTORE
00000cee: PUSH1 0x04
00000cf0: ADD
00000cf1: PUSH2 0x0cfa
00000cf4: SWAP2
00000cf5: SWAP1
00000cf6: PUSH2 0x26ad
00000cf9: JUMP
00000cfa: JUMPDEST
00000cfb: PUSH1 0x20
00000cfd: PUSH1 0x40
00000cff: MLOAD
00000d00: DUP1
00000d01: DUP4
00000d02: SUB
00000d03: DUP2
00000d04: DUP7
00000d05: GAS
00000d06: STATICCALL
00000d07: ISZERO
00000d08: DUP1
00000d09: ISZERO
00000d0a: PUSH2 0x0d15
00000d0d: JUMPI
00000d0e: RETURNDATASIZE
00000d0f: PUSH0
00000d10: PUSH0
00000d11: RETURNDATACOPY
00000d12: RETURNDATASIZE
00000d13: PUSH0
00000d14: REVERT
00000d15: JUMPDEST
00000d16: POP
00000d17: POP
00000d18: POP
00000d19: POP
00000d1a: PUSH1 0x40
00000d1c: MLOAD
00000d1d: RETURNDATASIZE
00000d1e: PUSH1 0x1f
00000d20: NOT
00000d21: PUSH1 0x1f
00000d23: DUP3
00000d24: ADD
00000d25: AND
00000d26: DUP3
00000d27: ADD
00000d28: DUP1
00000d29: PUSH1 0x40
00000d2b: MSTORE
00000d2c: POP
00000d2d: DUP2
00000d2e: ADD
00000d2f: SWAP1
00000d30: PUSH2 0x0d39
00000d33: SWAP2
00000d34: SWAP1
00000d35: PUSH2 0x26da
00000d38: JUMP
00000d39: JUMPDEST
00000d3a: SWAP1
00000d3b: POP
00000d3c: DUP4
00000d3d: DUP3
00000d3e: LT
00000d3f: ISZERO
00000d40: PUSH2 0x0d84
00000d43: JUMPI
00000d44: DUP2
00000d45: DUP5
00000d46: DUP3
00000d47: PUSH1 0x40
00000d49: MLOAD
00000d4a: PUSH32 0x57d3886300000000000000000000000000000000000000000000000000000000
00000d6b: DUP2
00000d6c: MSTORE
00000d6d: PUSH1 0x04
00000d6f: ADD
00000d70: PUSH2 0x0d7b
00000d73: SWAP4
00000d74: SWAP3
00000d75: SWAP2
00000d76: SWAP1
00000d77: PUSH2 0x2714
00000d7a: JUMP
00000d7b: JUMPDEST
00000d7c: PUSH1 0x40
00000d7e: MLOAD
00000d7f: DUP1
00000d80: SWAP2
00000d81: SUB
00000d82: SWAP1
00000d83: REVERT
00000d84: JUMPDEST
00000d85: PUSH0
00000d86: DUP3
00000d87: GT
00000d88: ISZERO
00000d89: PUSH2 0x0dce
00000d8c: JUMPI
00000d8d: PUSH2 0x0dcd
00000d90: DUP6
00000d91: ADDRESS
00000d92: DUP5
00000d93: PUSH20 0xa0b86991c6218b36c1d19d4a2e9eb0ce3606eb48
00000da8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000dbd: AND
00000dbe: PUSH2 0x1cec
00000dc1: SWAP1
00000dc2: SWAP4
00000dc3: SWAP3
00000dc4: SWAP2
00000dc5: SWAP1
00000dc6: PUSH4 0xffffffff
00000dcb: AND
00000dcc: JUMP
00000dcd: JUMPDEST
00000dce: JUMPDEST
00000dcf: PUSH0
00000dd0: DUP2
00000dd1: GT
00000dd2: ISZERO
00000dd3: PUSH2 0x0e04
00000dd6: JUMPI
00000dd7: PUSH2 0x0e03
00000dda: DUP6
00000ddb: ADDRESS
00000ddc: DUP4
00000ddd: DUP10
00000dde: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000df3: AND
00000df4: PUSH2 0x1cec
00000df7: SWAP1
00000df8: SWAP4
00000df9: SWAP3
00000dfa: SWAP2
00000dfb: SWAP1
00000dfc: PUSH4 0xffffffff
00000e01: AND
00000e02: JUMP
00000e03: JUMPDEST
00000e04: JUMPDEST
00000e05: PUSH2 0x0e0d
00000e08: DUP5
00000e09: PUSH2 0x1dc0
00000e0c: JUMP
00000e0d: JUMPDEST
00000e0e: POP
00000e0f: POP
00000e10: POP
00000e11: POP
00000e12: POP
00000e13: POP
00000e14: JUMP
00000e15: JUMPDEST
00000e16: PUSH20 0x6aa892d44b7e4ad80320e42bfa1eaa9f5e54cb51
00000e2b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e40: AND
00000e41: CALLER
00000e42: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e57: AND
00000e58: EQ
00000e59: ISZERO
00000e5a: DUP1
00000e5b: ISZERO
00000e5c: PUSH2 0x0ea5
00000e5f: JUMPI
00000e60: POP
00000e61: PUSH20 0xb0d2568a172903f058ec6ff8b74b2bdcda697a97
00000e76: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e8b: AND
00000e8c: CALLER
00000e8d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ea2: AND
00000ea3: EQ
00000ea4: ISZERO
00000ea5: JUMPDEST
00000ea6: DUP1
00000ea7: ISZERO
00000ea8: PUSH2 0x0ef1
00000eab: JUMPI
00000eac: POP
00000ead: PUSH20 0x346f202767cbcf9341be1fc8fe38f8f7a0fdfc30
00000ec2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ed7: AND
00000ed8: CALLER
00000ed9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000eee: AND
00000eef: EQ
00000ef0: ISZERO
00000ef1: JUMPDEST
00000ef2: DUP1
00000ef3: ISZERO
00000ef4: PUSH2 0x0f3d
00000ef7: JUMPI
00000ef8: POP
00000ef9: PUSH20 0xe4ecac7146c410a8d2432de70e140d4d50e9664b
00000f0e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f23: AND
00000f24: CALLER
00000f25: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f3a: AND
00000f3b: EQ
00000f3c: ISZERO
00000f3d: JUMPDEST
00000f3e: ISZERO
00000f3f: PUSH2 0x0f74
00000f42: JUMPI
00000f43: PUSH1 0x40
00000f45: MLOAD
00000f46: PUSH32 0x16c618d800000000000000000000000000000000000000000000000000000000
00000f67: DUP2
00000f68: MSTORE
00000f69: PUSH1 0x04
00000f6b: ADD
00000f6c: PUSH1 0x40
00000f6e: MLOAD
00000f6f: DUP1
00000f70: SWAP2
00000f71: SUB
00000f72: SWAP1
00000f73: REVERT
00000f74: JUMPDEST
00000f75: DUP6
00000f76: PUSH20 0x96b11d0e1c589997c585f03cc7adda454c0160f4
00000f8b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fa0: AND
00000fa1: DUP2
00000fa2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fb7: AND
00000fb8: EQ
00000fb9: ISZERO
00000fba: DUP1
00000fbb: ISZERO
00000fbc: PUSH2 0x1005
00000fbf: JUMPI
00000fc0: POP
00000fc1: PUSH20 0xe2c3e9cfd77d294da4a2a614742edd3e62e4ed16
00000fd6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000feb: AND
00000fec: DUP2
00000fed: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001002: AND
00001003: EQ
00001004: ISZERO
00001005: JUMPDEST
00001006: DUP1
00001007: ISZERO
00001008: PUSH2 0x1051
0000100b: JUMPI
0000100c: POP
0000100d: PUSH20 0x5b0cfdeb19867336c47d90f23412b68e738f3697
00001022: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001037: AND
00001038: DUP2
00001039: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000104e: AND
0000104f: EQ
00001050: ISZERO
00001051: JUMPDEST
00001052: DUP1
00001053: ISZERO
00001054: PUSH2 0x109d
00001057: JUMPI
00001058: POP
00001059: PUSH20 0x73906ae61cf1aae46b1dd97572db810dd46b7f77
0000106e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001083: AND
00001084: DUP2
00001085: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000109a: AND
0000109b: EQ
0000109c: ISZERO
0000109d: JUMPDEST
0000109e: DUP1
0000109f: ISZERO
000010a0: PUSH2 0x10e9
000010a3: JUMPI
000010a4: POP
000010a5: PUSH20 0xa3127a78a632a992b92420676763b637c9b47c10
000010ba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010cf: AND
000010d0: DUP2
000010d1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010e6: AND
000010e7: EQ
000010e8: ISZERO
000010e9: JUMPDEST
000010ea: ISZERO
000010eb: PUSH2 0x1120
000010ee: JUMPI
000010ef: PUSH1 0x40
000010f1: MLOAD
000010f2: PUSH32 0x30cd747100000000000000000000000000000000000000000000000000000000
00001113: DUP2
00001114: MSTORE
00001115: PUSH1 0x04
00001117: ADD
00001118: PUSH1 0x40
0000111a: MLOAD
0000111b: DUP1
0000111c: SWAP2
0000111d: SUB
0000111e: SWAP1
0000111f: REVERT
00001120: JUMPDEST
00001121: DUP5
00001122: PUSH20 0x0d05a7d3448512b78fa8a9e46c4872c88c4a0d05
00001137: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000114c: AND
0000114d: DUP2
0000114e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001163: AND
00001164: EQ
00001165: ISZERO
00001166: DUP1
00001167: ISZERO
00001168: PUSH2 0x11b1
0000116b: JUMPI
0000116c: POP
0000116d: PUSH20 0x179dc3fb0f2230094894317f307241a52cdb38aa
00001182: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001197: AND
00001198: DUP2
00001199: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011ae: AND
000011af: EQ
000011b0: ISZERO
000011b1: JUMPDEST
000011b2: DUP1
000011b3: ISZERO
000011b4: PUSH2 0x11fd
000011b7: JUMPI
000011b8: POP
000011b9: PUSH20 0x6131b5fae19ea4f9d964eac0408e4408b66337b5
000011ce: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011e3: AND
000011e4: DUP2
000011e5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011fa: AND
000011fb: EQ
000011fc: ISZERO
000011fd: JUMPDEST
000011fe: DUP1
000011ff: ISZERO
00001200: PUSH2 0x1249
00001203: JUMPI
00001204: POP
00001205: PUSH20 0x5e1f62dac767b0491e3ce72469c217365d5b48cc
0000121a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000122f: AND
00001230: DUP2
00001231: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001246: AND
00001247: EQ
00001248: ISZERO
00001249: JUMPDEST
0000124a: DUP1
0000124b: ISZERO
0000124c: PUSH2 0x1295
0000124f: JUMPI
00001250: POP
00001251: PUSH20 0x111111125421ca6dc452d289314280a0f8842a65
00001266: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000127b: AND
0000127c: DUP2
0000127d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001292: AND
00001293: EQ
00001294: ISZERO
00001295: JUMPDEST
00001296: ISZERO
00001297: PUSH2 0x12cc
0000129a: JUMPI
0000129b: PUSH1 0x40
0000129d: MLOAD
0000129e: PUSH32 0x65ec05a200000000000000000000000000000000000000000000000000000000
000012bf: DUP2
000012c0: MSTORE
000012c1: PUSH1 0x04
000012c3: ADD
000012c4: PUSH1 0x40
000012c6: MLOAD
000012c7: DUP1
000012c8: SWAP2
000012c9: SUB
000012ca: SWAP1
000012cb: REVERT
000012cc: JUMPDEST
000012cd: PUSH0
000012ce: CALLVALUE
000012cf: GT
000012d0: DUP1
000012d1: ISZERO
000012d2: PUSH2 0x12db
000012d5: JUMPI
000012d6: POP
000012d7: PUSH1 0x01
000012d9: CHAINID
000012da: EQ
000012db: JUMPDEST
000012dc: ISZERO
000012dd: PUSH2 0x1316
000012e0: JUMPI
000012e1: COINBASE
000012e2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012f7: AND
000012f8: PUSH2 0x08fc
000012fb: CALLVALUE
000012fc: SWAP1
000012fd: DUP2
000012fe: ISZERO
000012ff: MUL
00001300: SWAP1
00001301: PUSH1 0x40
00001303: MLOAD
00001304: PUSH0
00001305: PUSH1 0x40
00001307: MLOAD
00001308: DUP1
00001309: DUP4
0000130a: SUB
0000130b: DUP2
0000130c: DUP6
0000130d: DUP9
0000130e: DUP9
0000130f: CALL
00001310: SWAP4
00001311: POP
00001312: POP
00001313: POP
00001314: POP
00001315: POP
00001316: JUMPDEST
00001317: PUSH0
00001318: DUP8
00001319: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000132e: AND
0000132f: PUSH4 0x70a08231
00001334: DUP11
00001335: PUSH1 0x40
00001337: MLOAD
00001338: DUP3
00001339: PUSH4 0xffffffff
0000133e: AND
0000133f: PUSH1 0xe0
00001341: SHL
00001342: DUP2
00001343: MSTORE
00001344: PUSH1 0x04
00001346: ADD
00001347: PUSH2 0x1350
0000134a: SWAP2
0000134b: SWAP1
0000134c: PUSH2 0x26ad
0000134f: JUMP
00001350: JUMPDEST
00001351: PUSH1 0x20
00001353: PUSH1 0x40
00001355: MLOAD
00001356: DUP1
00001357: DUP4
00001358: SUB
00001359: DUP2
0000135a: DUP7
0000135b: GAS
0000135c: STATICCALL
0000135d: ISZERO
0000135e: DUP1
0000135f: ISZERO
00001360: PUSH2 0x136b
00001363: JUMPI
00001364: RETURNDATASIZE
00001365: PUSH0
00001366: PUSH0
00001367: RETURNDATACOPY
00001368: RETURNDATASIZE
00001369: PUSH0
0000136a: REVERT
0000136b: JUMPDEST
0000136c: POP
0000136d: POP
0000136e: POP
0000136f: POP
00001370: PUSH1 0x40
00001372: MLOAD
00001373: RETURNDATASIZE
00001374: PUSH1 0x1f
00001376: NOT
00001377: PUSH1 0x1f
00001379: DUP3
0000137a: ADD
0000137b: AND
0000137c: DUP3
0000137d: ADD
0000137e: DUP1
0000137f: PUSH1 0x40
00001381: MSTORE
00001382: POP
00001383: DUP2
00001384: ADD
00001385: SWAP1
00001386: PUSH2 0x138f
00001389: SWAP2
0000138a: SWAP1
0000138b: PUSH2 0x26da
0000138e: JUMP
0000138f: JUMPDEST
00001390: SWAP1
00001391: POP
00001392: PUSH0
00001393: DUP2
00001394: SUB
00001395: PUSH2 0x13ca
00001398: JUMPI
00001399: PUSH1 0x40
0000139b: MLOAD
0000139c: PUSH32 0x1f2a200500000000000000000000000000000000000000000000000000000000
000013bd: DUP2
000013be: MSTORE
000013bf: PUSH1 0x04
000013c1: ADD
000013c2: PUSH1 0x40
000013c4: MLOAD
000013c5: DUP1
000013c6: SWAP2
000013c7: SUB
000013c8: SWAP1
000013c9: REVERT
000013ca: JUMPDEST
000013cb: PUSH0
000013cc: PUSH20 0xa0b86991c6218b36c1d19d4a2e9eb0ce3606eb48
000013e1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013f6: AND
000013f7: PUSH4 0x70a08231
000013fc: ADDRESS
000013fd: PUSH1 0x40
000013ff: MLOAD
00001400: DUP3
00001401: PUSH4 0xffffffff
00001406: AND
00001407: PUSH1 0xe0
00001409: SHL
0000140a: DUP2
0000140b: MSTORE
0000140c: PUSH1 0x04
0000140e: ADD
0000140f: PUSH2 0x1418
00001412: SWAP2
00001413: SWAP1
00001414: PUSH2 0x26ad
00001417: JUMP
00001418: JUMPDEST
00001419: PUSH1 0x20
0000141b: PUSH1 0x40
0000141d: MLOAD
0000141e: DUP1
0000141f: DUP4
00001420: SUB
00001421: DUP2
00001422: DUP7
00001423: GAS
00001424: STATICCALL
00001425: ISZERO
00001426: DUP1
00001427: ISZERO
00001428: PUSH2 0x1433
0000142b: JUMPI
0000142c: RETURNDATASIZE
0000142d: PUSH0
0000142e: PUSH0
0000142f: RETURNDATACOPY
00001430: RETURNDATASIZE
00001431: PUSH0
00001432: REVERT
00001433: JUMPDEST
00001434: POP
00001435: POP
00001436: POP
00001437: POP
00001438: PUSH1 0x40
0000143a: MLOAD
0000143b: RETURNDATASIZE
0000143c: PUSH1 0x1f
0000143e: NOT
0000143f: PUSH1 0x1f
00001441: DUP3
00001442: ADD
00001443: AND
00001444: DUP3
00001445: ADD
00001446: DUP1
00001447: PUSH1 0x40
00001449: MSTORE
0000144a: POP
0000144b: DUP2
0000144c: ADD
0000144d: SWAP1
0000144e: PUSH2 0x1457
00001451: SWAP2
00001452: SWAP1
00001453: PUSH2 0x26da
00001456: JUMP
00001457: JUMPDEST
00001458: SWAP1
00001459: POP
0000145a: PUSH2 0x1486
0000145d: DUP11
0000145e: ADDRESS
0000145f: DUP5
00001460: DUP13
00001461: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001476: AND
00001477: PUSH2 0x1cec
0000147a: SWAP1
0000147b: SWAP4
0000147c: SWAP3
0000147d: SWAP2
0000147e: SWAP1
0000147f: PUSH4 0xffffffff
00001484: AND
00001485: JUMP
00001486: JUMPDEST
00001487: PUSH2 0x1493
0000148a: DUP10
0000148b: DUP4
0000148c: DUP11
0000148d: DUP11
0000148e: DUP11
0000148f: PUSH2 0x2075
00001492: JUMP
00001493: JUMPDEST
00001494: PUSH0
00001495: PUSH20 0xa0b86991c6218b36c1d19d4a2e9eb0ce3606eb48
000014aa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014bf: AND
000014c0: PUSH4 0x70a08231
000014c5: ADDRESS
000014c6: PUSH1 0x40
000014c8: MLOAD
000014c9: DUP3
000014ca: PUSH4 0xffffffff
000014cf: AND
000014d0: PUSH1 0xe0
000014d2: SHL
000014d3: DUP2
000014d4: MSTORE
000014d5: PUSH1 0x04
000014d7: ADD
000014d8: PUSH2 0x14e1
000014db: SWAP2
000014dc: SWAP1
000014dd: PUSH2 0x26ad
000014e0: JUMP
000014e1: JUMPDEST
000014e2: PUSH1 0x20
000014e4: PUSH1 0x40
000014e6: MLOAD
000014e7: DUP1
000014e8: DUP4
000014e9: SUB
000014ea: DUP2
000014eb: DUP7
000014ec: GAS
000014ed: STATICCALL
000014ee: ISZERO
000014ef: DUP1
000014f0: ISZERO
000014f1: PUSH2 0x14fc
000014f4: JUMPI
000014f5: RETURNDATASIZE
000014f6: PUSH0
000014f7: PUSH0
000014f8: RETURNDATACOPY
000014f9: RETURNDATASIZE
000014fa: PUSH0
000014fb: REVERT
000014fc: JUMPDEST
000014fd: POP
000014fe: POP
000014ff: POP
00001500: POP
00001501: PUSH1 0x40
00001503: MLOAD
00001504: RETURNDATASIZE
00001505: PUSH1 0x1f
00001507: NOT
00001508: PUSH1 0x1f
0000150a: DUP3
0000150b: ADD
0000150c: AND
0000150d: DUP3
0000150e: ADD
0000150f: DUP1
00001510: PUSH1 0x40
00001512: MSTORE
00001513: POP
00001514: DUP2
00001515: ADD
00001516: SWAP1
00001517: PUSH2 0x1520
0000151a: SWAP2
0000151b: SWAP1
0000151c: PUSH2 0x26da
0000151f: JUMP
00001520: JUMPDEST
00001521: SWAP1
00001522: POP
00001523: PUSH0
00001524: DUP3
00001525: DUP3
00001526: PUSH2 0x152f
00001529: SWAP2
0000152a: SWAP1
0000152b: PUSH2 0x2776
0000152e: JUMP
0000152f: JUMPDEST
00001530: SWAP1
00001531: POP
00001532: DUP7
00001533: DUP2
00001534: LT
00001535: ISZERO
00001536: PUSH2 0x157a
00001539: JUMPI
0000153a: DUP1
0000153b: DUP8
0000153c: DUP6
0000153d: PUSH1 0x40
0000153f: MLOAD
00001540: PUSH32 0x57d3886300000000000000000000000000000000000000000000000000000000
00001561: DUP2
00001562: MSTORE
00001563: PUSH1 0x04
00001565: ADD
00001566: PUSH2 0x1571
00001569: SWAP4
0000156a: SWAP3
0000156b: SWAP2
0000156c: SWAP1
0000156d: PUSH2 0x2714
00001570: JUMP
00001571: JUMPDEST
00001572: PUSH1 0x40
00001574: MLOAD
00001575: DUP1
00001576: SWAP2
00001577: SUB
00001578: SWAP1
00001579: REVERT
0000157a: JUMPDEST
0000157b: PUSH2 0x1583
0000157e: DUP8
0000157f: PUSH2 0x1dc0
00001582: JUMP
00001583: JUMPDEST
00001584: POP
00001585: POP
00001586: POP
00001587: POP
00001588: POP
00001589: POP
0000158a: POP
0000158b: POP
0000158c: POP
0000158d: POP
0000158e: POP
0000158f: POP
00001590: JUMP
00001591: JUMPDEST
00001592: PUSH20 0x6aa892d44b7e4ad80320e42bfa1eaa9f5e54cb51
000015a7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015bc: AND
000015bd: CALLER
000015be: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015d3: AND
000015d4: EQ
000015d5: ISZERO
000015d6: DUP1
000015d7: ISZERO
000015d8: PUSH2 0x1621
000015db: JUMPI
000015dc: POP
000015dd: PUSH20 0xb0d2568a172903f058ec6ff8b74b2bdcda697a97
000015f2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001607: AND
00001608: CALLER
00001609: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000161e: AND
0000161f: EQ
00001620: ISZERO
00001621: JUMPDEST
00001622: DUP1
00001623: ISZERO
00001624: PUSH2 0x166d
00001627: JUMPI
00001628: POP
00001629: PUSH20 0x346f202767cbcf9341be1fc8fe38f8f7a0fdfc30
0000163e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001653: AND
00001654: CALLER
00001655: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000166a: AND
0000166b: EQ
0000166c: ISZERO
0000166d: JUMPDEST
0000166e: DUP1
0000166f: ISZERO
00001670: PUSH2 0x16b9
00001673: JUMPI
00001674: POP
00001675: PUSH20 0xe4ecac7146c410a8d2432de70e140d4d50e9664b
0000168a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000169f: AND
000016a0: CALLER
000016a1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016b6: AND
000016b7: EQ
000016b8: ISZERO
000016b9: JUMPDEST
000016ba: ISZERO
000016bb: PUSH2 0x16f0
000016be: JUMPI
000016bf: PUSH1 0x40
000016c1: MLOAD
000016c2: PUSH32 0x16c618d800000000000000000000000000000000000000000000000000000000
000016e3: DUP2
000016e4: MSTORE
000016e5: PUSH1 0x04
000016e7: ADD
000016e8: PUSH1 0x40
000016ea: MLOAD
000016eb: DUP1
000016ec: SWAP2
000016ed: SUB
000016ee: SWAP1
000016ef: REVERT
000016f0: JUMPDEST
000016f1: DUP1
000016f2: PUSH20 0x96b11d0e1c589997c585f03cc7adda454c0160f4
00001707: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000171c: AND
0000171d: DUP2
0000171e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001733: AND
00001734: EQ
00001735: ISZERO
00001736: DUP1
00001737: ISZERO
00001738: PUSH2 0x1781
0000173b: JUMPI
0000173c: POP
0000173d: PUSH20 0xe2c3e9cfd77d294da4a2a614742edd3e62e4ed16
00001752: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001767: AND
00001768: DUP2
00001769: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000177e: AND
0000177f: EQ
00001780: ISZERO
00001781: JUMPDEST
00001782: DUP1
00001783: ISZERO
00001784: PUSH2 0x17cd
00001787: JUMPI
00001788: POP
00001789: PUSH20 0x5b0cfdeb19867336c47d90f23412b68e738f3697
0000179e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017b3: AND
000017b4: DUP2
000017b5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017ca: AND
000017cb: EQ
000017cc: ISZERO
000017cd: JUMPDEST
000017ce: DUP1
000017cf: ISZERO
000017d0: PUSH2 0x1819
000017d3: JUMPI
000017d4: POP
000017d5: PUSH20 0x73906ae61cf1aae46b1dd97572db810dd46b7f77
000017ea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017ff: AND
00001800: DUP2
00001801: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001816: AND
00001817: EQ
00001818: ISZERO
00001819: JUMPDEST
0000181a: DUP1
0000181b: ISZERO
0000181c: PUSH2 0x1865
0000181f: JUMPI
00001820: POP
00001821: PUSH20 0xa3127a78a632a992b92420676763b637c9b47c10
00001836: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000184b: AND
0000184c: DUP2
0000184d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001862: AND
00001863: EQ
00001864: ISZERO
00001865: JUMPDEST
00001866: ISZERO
00001867: PUSH2 0x189c
0000186a: JUMPI
0000186b: PUSH1 0x40
0000186d: MLOAD
0000186e: PUSH32 0x30cd747100000000000000000000000000000000000000000000000000000000
0000188f: DUP2
00001890: MSTORE
00001891: PUSH1 0x04
00001893: ADD
00001894: PUSH1 0x40
00001896: MLOAD
00001897: DUP1
00001898: SWAP2
00001899: SUB
0000189a: SWAP1
0000189b: REVERT
0000189c: JUMPDEST
0000189d: DUP8
0000189e: PUSH20 0x0d05a7d3448512b78fa8a9e46c4872c88c4a0d05
000018b3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018c8: AND
000018c9: DUP2
000018ca: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018df: AND
000018e0: EQ
000018e1: ISZERO
000018e2: DUP1
000018e3: ISZERO
000018e4: PUSH2 0x192d
000018e7: JUMPI
000018e8: POP
000018e9: PUSH20 0x179dc3fb0f2230094894317f307241a52cdb38aa
000018fe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001913: AND
00001914: DUP2
00001915: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000192a: AND
0000192b: EQ
0000192c: ISZERO
0000192d: JUMPDEST
0000192e: DUP1
0000192f: ISZERO
00001930: PUSH2 0x1979
00001933: JUMPI
00001934: POP
00001935: PUSH20 0x6131b5fae19ea4f9d964eac0408e4408b66337b5
0000194a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000195f: AND
00001960: DUP2
00001961: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001976: AND
00001977: EQ
00001978: ISZERO
00001979: JUMPDEST
0000197a: DUP1
0000197b: ISZERO
0000197c: PUSH2 0x19c5
0000197f: JUMPI
00001980: POP
00001981: PUSH20 0x5e1f62dac767b0491e3ce72469c217365d5b48cc
00001996: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019ab: AND
000019ac: DUP2
000019ad: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019c2: AND
000019c3: EQ
000019c4: ISZERO
000019c5: JUMPDEST
000019c6: DUP1
000019c7: ISZERO
000019c8: PUSH2 0x1a11
000019cb: JUMPI
000019cc: POP
000019cd: PUSH20 0x111111125421ca6dc452d289314280a0f8842a65
000019e2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019f7: AND
000019f8: DUP2
000019f9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a0e: AND
00001a0f: EQ
00001a10: ISZERO
00001a11: JUMPDEST
00001a12: ISZERO
00001a13: PUSH2 0x1a48
00001a16: JUMPI
00001a17: PUSH1 0x40
00001a19: MLOAD
00001a1a: PUSH32 0x65ec05a200000000000000000000000000000000000000000000000000000000
00001a3b: DUP2
00001a3c: MSTORE
00001a3d: PUSH1 0x04
00001a3f: ADD
00001a40: PUSH1 0x40
00001a42: MLOAD
00001a43: DUP1
00001a44: SWAP2
00001a45: SUB
00001a46: SWAP1
00001a47: REVERT
00001a48: JUMPDEST
00001a49: PUSH0
00001a4a: DUP11
00001a4b: SUB
00001a4c: PUSH2 0x1a81
00001a4f: JUMPI
00001a50: PUSH1 0x40
00001a52: MLOAD
00001a53: PUSH32 0x1f2a200500000000000000000000000000000000000000000000000000000000
00001a74: DUP2
00001a75: MSTORE
00001a76: PUSH1 0x04
00001a78: ADD
00001a79: PUSH1 0x40
00001a7b: MLOAD
00001a7c: DUP1
00001a7d: SWAP2
00001a7e: SUB
00001a7f: SWAP1
00001a80: REVERT
00001a81: JUMPDEST
00001a82: PUSH0
00001a83: DUP7
00001a84: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a99: AND
00001a9a: PUSH4 0x70a08231
00001a9f: ADDRESS
00001aa0: PUSH1 0x40
00001aa2: MLOAD
00001aa3: DUP3
00001aa4: PUSH4 0xffffffff
00001aa9: AND
00001aaa: PUSH1 0xe0
00001aac: SHL
00001aad: DUP2
00001aae: MSTORE
00001aaf: PUSH1 0x04
00001ab1: ADD
00001ab2: PUSH2 0x1abb
00001ab5: SWAP2
00001ab6: SWAP1
00001ab7: PUSH2 0x26ad
00001aba: JUMP
00001abb: JUMPDEST
00001abc: PUSH1 0x20
00001abe: PUSH1 0x40
00001ac0: MLOAD
00001ac1: DUP1
00001ac2: DUP4
00001ac3: SUB
00001ac4: DUP2
00001ac5: DUP7
00001ac6: GAS
00001ac7: STATICCALL
00001ac8: ISZERO
00001ac9: DUP1
00001aca: ISZERO
00001acb: PUSH2 0x1ad6
00001ace: JUMPI
00001acf: RETURNDATASIZE
00001ad0: PUSH0
00001ad1: PUSH0
00001ad2: RETURNDATACOPY
00001ad3: RETURNDATASIZE
00001ad4: PUSH0
00001ad5: REVERT
00001ad6: JUMPDEST
00001ad7: POP
00001ad8: POP
00001ad9: POP
00001ada: POP
00001adb: PUSH1 0x40
00001add: MLOAD
00001ade: RETURNDATASIZE
00001adf: PUSH1 0x1f
00001ae1: NOT
00001ae2: PUSH1 0x1f
00001ae4: DUP3
00001ae5: ADD
00001ae6: AND
00001ae7: DUP3
00001ae8: ADD
00001ae9: DUP1
00001aea: PUSH1 0x40
00001aec: MSTORE
00001aed: POP
00001aee: DUP2
00001aef: ADD
00001af0: SWAP1
00001af1: PUSH2 0x1afa
00001af4: SWAP2
00001af5: SWAP1
00001af6: PUSH2 0x26da
00001af9: JUMP
00001afa: JUMPDEST
00001afb: SWAP1
00001afc: POP
00001afd: PUSH2 0x1b1d
00001b00: PUSH20 0xa0b86991c6218b36c1d19d4a2e9eb0ce3606eb48
00001b15: DUP13
00001b16: DUP13
00001b17: DUP13
00001b18: DUP13
00001b19: PUSH2 0x2075
00001b1c: JUMP
00001b1d: JUMPDEST
00001b1e: PUSH0
00001b1f: DUP8
00001b20: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b35: AND
00001b36: PUSH4 0x70a08231
00001b3b: ADDRESS
00001b3c: PUSH1 0x40
00001b3e: MLOAD
00001b3f: DUP3
00001b40: PUSH4 0xffffffff
00001b45: AND
00001b46: PUSH1 0xe0
00001b48: SHL
00001b49: DUP2
00001b4a: MSTORE
00001b4b: PUSH1 0x04
00001b4d: ADD
00001b4e: PUSH2 0x1b57
00001b51: SWAP2
00001b52: SWAP1
00001b53: PUSH2 0x26ad
00001b56: JUMP
00001b57: JUMPDEST
00001b58: PUSH1 0x20
00001b5a: PUSH1 0x40
00001b5c: MLOAD
00001b5d: DUP1
00001b5e: DUP4
00001b5f: SUB
00001b60: DUP2
00001b61: DUP7
00001b62: GAS
00001b63: STATICCALL
00001b64: ISZERO
00001b65: DUP1
00001b66: ISZERO
00001b67: PUSH2 0x1b72
00001b6a: JUMPI
00001b6b: RETURNDATASIZE
00001b6c: PUSH0
00001b6d: PUSH0
00001b6e: RETURNDATACOPY
00001b6f: RETURNDATASIZE
00001b70: PUSH0
00001b71: REVERT
00001b72: JUMPDEST
00001b73: POP
00001b74: POP
00001b75: POP
00001b76: POP
00001b77: PUSH1 0x40
00001b79: MLOAD
00001b7a: RETURNDATASIZE
00001b7b: PUSH1 0x1f
00001b7d: NOT
00001b7e: PUSH1 0x1f
00001b80: DUP3
00001b81: ADD
00001b82: AND
00001b83: DUP3
00001b84: ADD
00001b85: DUP1
00001b86: PUSH1 0x40
00001b88: MSTORE
00001b89: POP
00001b8a: DUP2
00001b8b: ADD
00001b8c: SWAP1
00001b8d: PUSH2 0x1b96
00001b90: SWAP2
00001b91: SWAP1
00001b92: PUSH2 0x26da
00001b95: JUMP
00001b96: JUMPDEST
00001b97: SWAP1
00001b98: POP
00001b99: PUSH0
00001b9a: DUP3
00001b9b: DUP3
00001b9c: PUSH2 0x1ba5
00001b9f: SWAP2
00001ba0: SWAP1
00001ba1: PUSH2 0x2776
00001ba4: JUMP
00001ba5: JUMPDEST
00001ba6: SWAP1
00001ba7: POP
00001ba8: DUP7
00001ba9: DUP9
00001baa: PUSH2 0x1bb3
00001bad: SWAP2
00001bae: SWAP1
00001baf: PUSH2 0x27a9
00001bb2: JUMP
00001bb3: JUMPDEST
00001bb4: DUP2
00001bb5: LT
00001bb6: ISZERO
00001bb7: PUSH2 0x1bfb
00001bba: JUMPI
00001bbb: DUP1
00001bbc: DUP9
00001bbd: DUP9
00001bbe: PUSH1 0x40
00001bc0: MLOAD
00001bc1: PUSH32 0x57d3886300000000000000000000000000000000000000000000000000000000
00001be2: DUP2
00001be3: MSTORE
00001be4: PUSH1 0x04
00001be6: ADD
00001be7: PUSH2 0x1bf2
00001bea: SWAP4
00001beb: SWAP3
00001bec: SWAP2
00001bed: SWAP1
00001bee: PUSH2 0x2714
00001bf1: JUMP
00001bf2: JUMPDEST
00001bf3: PUSH1 0x40
00001bf5: MLOAD
00001bf6: DUP1
00001bf7: SWAP2
00001bf8: SUB
00001bf9: SWAP1
00001bfa: REVERT
00001bfb: JUMPDEST
00001bfc: PUSH2 0x1c26
00001bff: DUP7
00001c00: DUP10
00001c01: DUP12
00001c02: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c17: AND
00001c18: PUSH2 0x1c35
00001c1b: SWAP1
00001c1c: SWAP3
00001c1d: SWAP2
00001c1e: SWAP1
00001c1f: PUSH4 0xffffffff
00001c24: AND
00001c25: JUMP
00001c26: JUMPDEST
00001c27: POP
00001c28: POP
00001c29: POP
00001c2a: POP
00001c2b: POP
00001c2c: POP
00001c2d: POP
00001c2e: POP
00001c2f: POP
00001c30: POP
00001c31: POP
00001c32: POP
00001c33: POP
00001c34: JUMP
00001c35: JUMPDEST
00001c36: PUSH0
00001c37: PUSH1 0x40
00001c39: MLOAD
00001c3a: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000
00001c5b: DUP2
00001c5c: MSTORE
00001c5d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c72: DUP5
00001c73: AND
00001c74: PUSH1 0x04
00001c76: DUP3
00001c77: ADD
00001c78: MSTORE
00001c79: DUP3
00001c7a: PUSH1 0x24
00001c7c: DUP3
00001c7d: ADD
00001c7e: MSTORE
00001c7f: PUSH1 0x20
00001c81: PUSH0
00001c82: PUSH1 0x44
00001c84: DUP4
00001c85: PUSH0
00001c86: DUP10
00001c87: GAS
00001c88: CALL
00001c89: SWAP2
00001c8a: POP
00001c8b: DUP2
00001c8c: PUSH1 0x1f
00001c8e: RETURNDATASIZE
00001c8f: GT
00001c90: PUSH1 0x01
00001c92: PUSH0
00001c93: MLOAD
00001c94: EQ
00001c95: AND
00001c96: ISZERO
00001c97: AND
00001c98: ISZERO
00001c99: PUSH2 0x1ca5
00001c9c: JUMPI
00001c9d: RETURNDATASIZE
00001c9e: DUP6
00001c9f: EXTCODESIZE
00001ca0: ISZERO
00001ca1: OR
00001ca2: ISZERO
00001ca3: SWAP2
00001ca4: POP
00001ca5: JUMPDEST
00001ca6: POP
00001ca7: DUP1
00001ca8: PUSH2 0x1ce6
00001cab: JUMPI
00001cac: PUSH1 0x40
00001cae: MLOAD
00001caf: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001cd0: DUP2
00001cd1: MSTORE
00001cd2: PUSH1 0x04
00001cd4: ADD
00001cd5: PUSH2 0x1cdd
00001cd8: SWAP1
00001cd9: PUSH2 0x2836
00001cdc: JUMP
00001cdd: JUMPDEST
00001cde: PUSH1 0x40
00001ce0: MLOAD
00001ce1: DUP1
00001ce2: SWAP2
00001ce3: SUB
00001ce4: SWAP1
00001ce5: REVERT
00001ce6: JUMPDEST
00001ce7: POP
00001ce8: POP
00001ce9: POP
00001cea: POP
00001ceb: JUMP
00001cec: JUMPDEST
00001ced: PUSH0
00001cee: PUSH1 0x40
00001cf0: MLOAD
00001cf1: PUSH32 0x23b872dd00000000000000000000000000000000000000000000000000000000
00001d12: DUP2
00001d13: MSTORE
00001d14: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d29: DUP6
00001d2a: AND
00001d2b: PUSH1 0x04
00001d2d: DUP3
00001d2e: ADD
00001d2f: MSTORE
00001d30: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d45: DUP5
00001d46: AND
00001d47: PUSH1 0x24
00001d49: DUP3
00001d4a: ADD
00001d4b: MSTORE
00001d4c: DUP3
00001d4d: PUSH1 0x44
00001d4f: DUP3
00001d50: ADD
00001d51: MSTORE
00001d52: PUSH1 0x20
00001d54: PUSH0
00001d55: PUSH1 0x64
00001d57: DUP4
00001d58: PUSH0
00001d59: DUP11
00001d5a: GAS
00001d5b: CALL
00001d5c: SWAP2
00001d5d: POP
00001d5e: DUP2
00001d5f: PUSH1 0x1f
00001d61: RETURNDATASIZE
00001d62: GT
00001d63: PUSH1 0x01
00001d65: PUSH0
00001d66: MLOAD
00001d67: EQ
00001d68: AND
00001d69: ISZERO
00001d6a: AND
00001d6b: ISZERO
00001d6c: PUSH2 0x1d78
00001d6f: JUMPI
00001d70: RETURNDATASIZE
00001d71: DUP7
00001d72: EXTCODESIZE
00001d73: ISZERO
00001d74: OR
00001d75: ISZERO
00001d76: SWAP2
00001d77: POP
00001d78: JUMPDEST
00001d79: POP
00001d7a: DUP1
00001d7b: PUSH2 0x1db9
00001d7e: JUMPI
00001d7f: PUSH1 0x40
00001d81: MLOAD
00001d82: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001da3: DUP2
00001da4: MSTORE
00001da5: PUSH1 0x04
00001da7: ADD
00001da8: PUSH2 0x1db0
00001dab: SWAP1
00001dac: PUSH2 0x289e
00001daf: JUMP
00001db0: JUMPDEST
00001db1: PUSH1 0x40
00001db3: MLOAD
00001db4: DUP1
00001db5: SWAP2
00001db6: SUB
00001db7: SWAP1
00001db8: REVERT
00001db9: JUMPDEST
00001dba: POP
00001dbb: POP
00001dbc: POP
00001dbd: POP
00001dbe: POP
00001dbf: JUMP
00001dc0: JUMPDEST
00001dc1: PUSH0
00001dc2: PUSH1 0x01
00001dc4: PUSH0
00001dc5: SWAP1
00001dc6: SLOAD
00001dc7: SWAP1
00001dc8: PUSH2 0x0100
00001dcb: EXP
00001dcc: SWAP1
00001dcd: DIV
00001dce: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001de3: AND
00001de4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001df9: AND
00001dfa: PUSH4 0x70a08231
00001dff: PUSH0
00001e00: PUSH0
00001e01: SWAP1
00001e02: SLOAD
00001e03: SWAP1
00001e04: PUSH2 0x0100
00001e07: EXP
00001e08: SWAP1
00001e09: DIV
00001e0a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e1f: AND
00001e20: PUSH1 0x40
00001e22: MLOAD
00001e23: DUP3
00001e24: PUSH4 0xffffffff
00001e29: AND
00001e2a: PUSH1 0xe0
00001e2c: SHL
00001e2d: DUP2
00001e2e: MSTORE
00001e2f: PUSH1 0x04
00001e31: ADD
00001e32: PUSH2 0x1e3b
00001e35: SWAP2
00001e36: SWAP1
00001e37: PUSH2 0x26ad
00001e3a: JUMP
00001e3b: JUMPDEST
00001e3c: PUSH1 0x20
00001e3e: PUSH1 0x40
00001e40: MLOAD
00001e41: DUP1
00001e42: DUP4
00001e43: SUB
00001e44: DUP2
00001e45: DUP7
00001e46: GAS
00001e47: STATICCALL
00001e48: ISZERO
00001e49: DUP1
00001e4a: ISZERO
00001e4b: PUSH2 0x1e56
00001e4e: JUMPI
00001e4f: RETURNDATASIZE
00001e50: PUSH0
00001e51: PUSH0
00001e52: RETURNDATACOPY
00001e53: RETURNDATASIZE
00001e54: PUSH0
00001e55: REVERT
00001e56: JUMPDEST
00001e57: POP
00001e58: POP
00001e59: POP
00001e5a: POP
00001e5b: PUSH1 0x40
00001e5d: MLOAD
00001e5e: RETURNDATASIZE
00001e5f: PUSH1 0x1f
00001e61: NOT
00001e62: PUSH1 0x1f
00001e64: DUP3
00001e65: ADD
00001e66: AND
00001e67: DUP3
00001e68: ADD
00001e69: DUP1
00001e6a: PUSH1 0x40
00001e6c: MSTORE
00001e6d: POP
00001e6e: DUP2
00001e6f: ADD
00001e70: SWAP1
00001e71: PUSH2 0x1e7a
00001e74: SWAP2
00001e75: SWAP1
00001e76: PUSH2 0x26da
00001e79: JUMP
00001e7a: JUMPDEST
00001e7b: SWAP1
00001e7c: POP
00001e7d: PUSH1 0x02
00001e7f: SLOAD
00001e80: DUP2
00001e81: GT
00001e82: ISZERO
00001e83: PUSH2 0x2071
00001e86: JUMPI
00001e87: PUSH0
00001e88: PUSH1 0x40
00001e8a: MLOAD
00001e8b: DUP1
00001e8c: PUSH2 0x0160
00001e8f: ADD
00001e90: PUSH1 0x40
00001e92: MSTORE
00001e93: DUP1
00001e94: PUSH4 0x6eeedd25
00001e99: DUP2
00001e9a: MSTORE
00001e9b: PUSH1 0x20
00001e9d: ADD
00001e9e: ADDRESS
00001e9f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001eb4: AND
00001eb5: DUP2
00001eb6: MSTORE
00001eb7: PUSH1 0x20
00001eb9: ADD
00001eba: ADDRESS
00001ebb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ed0: AND
00001ed1: DUP2
00001ed2: MSTORE
00001ed3: PUSH1 0x20
00001ed5: ADD
00001ed6: NUMBER
00001ed7: DUP6
00001ed8: PUSH2 0x1ee1
00001edb: SWAP2
00001edc: SWAP1
00001edd: PUSH2 0x27a9
00001ee0: JUMP
00001ee1: JUMPDEST
00001ee2: DUP2
00001ee3: MSTORE
00001ee4: PUSH1 0x20
00001ee6: ADD
00001ee7: PUSH1 0x01
00001ee9: PUSH0
00001eea: SWAP1
00001eeb: SLOAD
00001eec: SWAP1
00001eed: PUSH2 0x0100
00001ef0: EXP
00001ef1: SWAP1
00001ef2: DIV
00001ef3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f08: AND
00001f09: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f1e: AND
00001f1f: DUP2
00001f20: MSTORE
00001f21: PUSH1 0x20
00001f23: ADD
00001f24: PUSH1 0x01
00001f26: PUSH0
00001f27: SWAP1
00001f28: SLOAD
00001f29: SWAP1
00001f2a: PUSH2 0x0100
00001f2d: EXP
00001f2e: SWAP1
00001f2f: DIV
00001f30: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f45: AND
00001f46: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f5b: AND
00001f5c: DUP2
00001f5d: MSTORE
00001f5e: PUSH1 0x20
00001f60: ADD
00001f61: PUSH8 0x8ac7230489e80000
00001f6a: DUP2
00001f6b: MSTORE
00001f6c: PUSH1 0x20
00001f6e: ADD
00001f6f: PUSH0
00001f70: DUP2
00001f71: MSTORE
00001f72: PUSH1 0x20
00001f74: ADD
00001f75: ADDRESS
00001f76: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f8b: AND
00001f8c: DUP2
00001f8d: MSTORE
00001f8e: PUSH1 0x20
00001f90: ADD
00001f91: PUSH0
00001f92: DUP2
00001f93: MSTORE
00001f94: PUSH1 0x20
00001f96: ADD
00001f97: PUSH0
00001f98: DUP2
00001f99: MSTORE
00001f9a: POP
00001f9b: SWAP1
00001f9c: POP
00001f9d: PUSH0
00001f9e: PUSH1 0x40
00001fa0: MLOAD
00001fa1: DUP1
00001fa2: PUSH1 0x40
00001fa4: ADD
00001fa5: PUSH1 0x40
00001fa7: MSTORE
00001fa8: DUP1
00001fa9: PUSH1 0x40
00001fab: MLOAD
00001fac: DUP1
00001fad: PUSH1 0x40
00001faf: ADD
00001fb0: PUSH1 0x40
00001fb2: MSTORE
00001fb3: DUP1
00001fb4: PUSH1 0x02
00001fb6: DUP2
00001fb7: MSTORE
00001fb8: PUSH1 0x20
00001fba: ADD
00001fbb: PUSH32 0x3078000000000000000000000000000000000000000000000000000000000000
00001fdc: DUP2
00001fdd: MSTORE
00001fde: POP
00001fdf: DUP2
00001fe0: MSTORE
00001fe1: PUSH1 0x20
00001fe3: ADD
00001fe4: PUSH1 0x01
00001fe6: DUP2
00001fe7: MSTORE
00001fe8: POP
00001fe9: SWAP1
00001fea: POP
00001feb: PUSH0
00001fec: PUSH0
00001fed: SWAP1
00001fee: SLOAD
00001fef: SWAP1
00001ff0: PUSH2 0x0100
00001ff3: EXP
00001ff4: SWAP1
00001ff5: DIV
00001ff6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000200b: AND
0000200c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002021: AND
00002022: PUSH4 0xc38a4474
00002027: DUP4
00002028: DUP4
00002029: PUSH1 0x40
0000202b: MLOAD
0000202c: DUP4
0000202d: PUSH4 0xffffffff
00002032: AND
00002033: PUSH1 0xe0
00002035: SHL
00002036: DUP2
00002037: MSTORE
00002038: PUSH1 0x04
0000203a: ADD
0000203b: PUSH2 0x2045
0000203e: SWAP3
0000203f: SWAP2
00002040: SWAP1
00002041: PUSH2 0x2a63
00002044: JUMP
00002045: JUMPDEST
00002046: PUSH0
00002047: PUSH1 0x40
00002049: MLOAD
0000204a: DUP1
0000204b: DUP4
0000204c: SUB
0000204d: DUP2
0000204e: PUSH0
0000204f: DUP8
00002050: DUP1
00002051: EXTCODESIZE
00002052: ISZERO
00002053: DUP1
00002054: ISZERO
00002055: PUSH2 0x205c
00002058: JUMPI
00002059: PUSH0
0000205a: PUSH0
0000205b: REVERT
0000205c: JUMPDEST
0000205d: POP
0000205e: GAS
0000205f: CALL
00002060: SWAP3
00002061: POP
00002062: POP
00002063: POP
00002064: DUP1
00002065: ISZERO
00002066: PUSH2 0x206d
00002069: JUMPI
0000206a: POP
0000206b: PUSH1 0x01
0000206d: JUMPDEST
0000206e: POP
0000206f: POP
00002070: POP
00002071: JUMPDEST
00002072: POP
00002073: POP
00002074: JUMP
00002075: JUMPDEST
00002076: PUSH20 0x5e1f62dac767b0491e3ce72469c217365d5b48cc
0000208b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020a0: AND
000020a1: DUP4
000020a2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020b7: AND
000020b8: SUB
000020b9: PUSH2 0x2100
000020bc: JUMPI
000020bd: PUSH2 0x20fb
000020c0: PUSH20 0x40aa958dd87fc8305b97f2ba922cddca374bcd7f
000020d5: DUP6
000020d6: DUP8
000020d7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020ec: AND
000020ed: PUSH2 0x21e8
000020f0: SWAP1
000020f1: SWAP3
000020f2: SWAP2
000020f3: SWAP1
000020f4: PUSH4 0xffffffff
000020f9: AND
000020fa: JUMP
000020fb: JUMPDEST
000020fc: PUSH2 0x212c
000020ff: JUMP
00002100: JUMPDEST
00002101: PUSH2 0x212b
00002104: DUP4
00002105: DUP6
00002106: DUP8
00002107: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000211c: AND
0000211d: PUSH2 0x21e8
00002120: SWAP1
00002121: SWAP3
00002122: SWAP2
00002123: SWAP1
00002124: PUSH4 0xffffffff
00002129: AND
0000212a: JUMP
0000212b: JUMPDEST
0000212c: JUMPDEST
0000212d: PUSH0
0000212e: PUSH0
0000212f: DUP5
00002130: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002145: AND
00002146: DUP5
00002147: DUP5
00002148: PUSH1 0x40
0000214a: MLOAD
0000214b: PUSH2 0x2155
0000214e: SWAP3
0000214f: SWAP2
00002150: SWAP1
00002151: PUSH2 0x2acf
00002154: JUMP
00002155: JUMPDEST
00002156: PUSH0
00002157: PUSH1 0x40
00002159: MLOAD
0000215a: DUP1
0000215b: DUP4
0000215c: SUB
0000215d: DUP2
0000215e: PUSH0
0000215f: DUP7
00002160: GAS
00002161: CALL
00002162: SWAP2
00002163: POP
00002164: POP
00002165: RETURNDATASIZE
00002166: DUP1
00002167: PUSH0
00002168: DUP2
00002169: EQ
0000216a: PUSH2 0x218e
0000216d: JUMPI
0000216e: PUSH1 0x40
00002170: MLOAD
00002171: SWAP2
00002172: POP
00002173: PUSH1 0x1f
00002175: NOT
00002176: PUSH1 0x3f
00002178: RETURNDATASIZE
00002179: ADD
0000217a: AND
0000217b: DUP3
0000217c: ADD
0000217d: PUSH1 0x40
0000217f: MSTORE
00002180: RETURNDATASIZE
00002181: DUP3
00002182: MSTORE
00002183: RETURNDATASIZE
00002184: PUSH0
00002185: PUSH1 0x20
00002187: DUP5
00002188: ADD
00002189: RETURNDATACOPY
0000218a: PUSH2 0x2193
0000218d: JUMP
0000218e: JUMPDEST
0000218f: PUSH1 0x60
00002191: SWAP2
00002192: POP
00002193: JUMPDEST
00002194: POP
00002195: SWAP2
00002196: POP
00002197: SWAP2
00002198: POP
00002199: DUP2
0000219a: PUSH2 0x21df
0000219d: JUMPI
0000219e: PUSH0
0000219f: DUP2
000021a0: MLOAD
000021a1: SUB
000021a2: PUSH2 0x21d7
000021a5: JUMPI
000021a6: PUSH1 0x40
000021a8: MLOAD
000021a9: PUSH32 0xeda8685000000000000000000000000000000000000000000000000000000000
000021ca: DUP2
000021cb: MSTORE
000021cc: PUSH1 0x04
000021ce: ADD
000021cf: PUSH1 0x40
000021d1: MLOAD
000021d2: DUP1
000021d3: SWAP2
000021d4: SUB
000021d5: SWAP1
000021d6: REVERT
000021d7: JUMPDEST
000021d8: DUP1
000021d9: MLOAD
000021da: PUSH1 0x20
000021dc: DUP3
000021dd: ADD
000021de: REVERT
000021df: JUMPDEST
000021e0: POP
000021e1: POP
000021e2: POP
000021e3: POP
000021e4: POP
000021e5: POP
000021e6: POP
000021e7: JUMP
000021e8: JUMPDEST
000021e9: DUP2
000021ea: PUSH1 0x14
000021ec: MSTORE
000021ed: DUP1
000021ee: PUSH1 0x34
000021f0: MSTORE
000021f1: PUSH16 0x095ea7b3000000000000000000000000
00002202: PUSH0
00002203: MSTORE
00002204: PUSH1 0x20
00002206: PUSH0
00002207: PUSH1 0x44
00002209: PUSH1 0x10
0000220b: PUSH0
0000220c: DUP8
0000220d: GAS
0000220e: CALL
0000220f: RETURNDATASIZE
00002210: ISZERO
00002211: PUSH1 0x01
00002213: PUSH0
00002214: MLOAD
00002215: EQ
00002216: OR
00002217: AND
00002218: PUSH2 0x2267
0000221b: JUMPI
0000221c: PUSH0
0000221d: PUSH1 0x34
0000221f: MSTORE
00002220: PUSH16 0x095ea7b3000000000000000000000000
00002231: PUSH0
00002232: MSTORE
00002233: PUSH0
00002234: CODESIZE
00002235: PUSH1 0x44
00002237: PUSH1 0x10
00002239: PUSH0
0000223a: DUP8
0000223b: GAS
0000223c: CALL
0000223d: POP
0000223e: DUP1
0000223f: PUSH1 0x34
00002241: MSTORE
00002242: PUSH1 0x20
00002244: PUSH0
00002245: PUSH1 0x44
00002247: PUSH1 0x10
00002249: PUSH0
0000224a: DUP8
0000224b: GAS
0000224c: CALL
0000224d: RETURNDATASIZE
0000224e: ISZERO
0000224f: PUSH1 0x01
00002251: PUSH0
00002252: MLOAD
00002253: EQ
00002254: OR
00002255: AND
00002256: PUSH2 0x2266
00002259: JUMPI
0000225a: PUSH4 0x3e3f8f73
0000225f: PUSH0
00002260: MSTORE
00002261: PUSH1 0x04
00002263: PUSH1 0x1c
00002265: REVERT
00002266: JUMPDEST
00002267: JUMPDEST
00002268: PUSH0
00002269: PUSH1 0x34
0000226b: MSTORE
0000226c: POP
0000226d: POP
0000226e: POP
0000226f: JUMP
00002270: JUMPDEST
00002271: PUSH0
00002272: PUSH0
00002273: REVERT
00002274: JUMPDEST
00002275: PUSH0
00002276: PUSH0
00002277: REVERT
00002278: JUMPDEST
00002279: PUSH0
0000227a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000228f: DUP3
00002290: AND
00002291: SWAP1
00002292: POP
00002293: SWAP2
00002294: SWAP1
00002295: POP
00002296: JUMP
00002297: JUMPDEST
00002298: PUSH0
00002299: PUSH2 0x22a1
0000229c: DUP3
0000229d: PUSH2 0x2278
000022a0: JUMP
000022a1: JUMPDEST
000022a2: SWAP1
000022a3: POP
000022a4: SWAP2
000022a5: SWAP1
000022a6: POP
000022a7: JUMP
000022a8: JUMPDEST
000022a9: PUSH2 0x22b1
000022ac: DUP2
000022ad: PUSH2 0x2297
000022b0: JUMP
000022b1: JUMPDEST
000022b2: DUP2
000022b3: EQ
000022b4: PUSH2 0x22bb
000022b7: JUMPI
000022b8: PUSH0
000022b9: PUSH0
000022ba: REVERT
000022bb: JUMPDEST
000022bc: POP
000022bd: JUMP
000022be: JUMPDEST
000022bf: PUSH0
000022c0: DUP2
000022c1: CALLDATALOAD
000022c2: SWAP1
000022c3: POP
000022c4: PUSH2 0x22cc
000022c7: DUP2
000022c8: PUSH2 0x22a8
000022cb: JUMP
000022cc: JUMPDEST
000022cd: SWAP3
000022ce: SWAP2
000022cf: POP
000022d0: POP
000022d1: JUMP
000022d2: JUMPDEST
000022d3: PUSH0
000022d4: PUSH0
000022d5: REVERT
000022d6: JUMPDEST
000022d7: PUSH0
000022d8: PUSH0
000022d9: REVERT
000022da: JUMPDEST
000022db: PUSH0
000022dc: PUSH0
000022dd: REVERT
000022de: JUMPDEST
000022df: PUSH0
000022e0: PUSH0
000022e1: DUP4
000022e2: PUSH1 0x1f
000022e4: DUP5
000022e5: ADD
000022e6: SLT
000022e7: PUSH2 0x22f3
000022ea: JUMPI
000022eb: PUSH2 0x22f2
000022ee: PUSH2 0x22d2
000022f1: JUMP
000022f2: JUMPDEST
000022f3: JUMPDEST
000022f4: DUP3
000022f5: CALLDATALOAD
000022f6: SWAP1
000022f7: POP
000022f8: PUSH8 0xffffffffffffffff
00002301: DUP2
00002302: GT
00002303: ISZERO
00002304: PUSH2 0x2310
00002307: JUMPI
00002308: PUSH2 0x230f
0000230b: PUSH2 0x22d6
0000230e: JUMP
0000230f: JUMPDEST
00002310: JUMPDEST
00002311: PUSH1 0x20
00002313: DUP4
00002314: ADD
00002315: SWAP2
00002316: POP
00002317: DUP4
00002318: PUSH1 0x20
0000231a: DUP3
0000231b: MUL
0000231c: DUP4
0000231d: ADD
0000231e: GT
0000231f: ISZERO
00002320: PUSH2 0x232c
00002323: JUMPI
00002324: PUSH2 0x232b
00002327: PUSH2 0x22da
0000232a: JUMP
0000232b: JUMPDEST
0000232c: JUMPDEST
0000232d: SWAP3
0000232e: POP
0000232f: SWAP3
00002330: SWAP1
00002331: POP
00002332: JUMP
00002333: JUMPDEST
00002334: PUSH0
00002335: PUSH0
00002336: PUSH0
00002337: PUSH1 0x40
00002339: DUP5
0000233a: DUP7
0000233b: SUB
0000233c: SLT
0000233d: ISZERO
0000233e: PUSH2 0x234a
00002341: JUMPI
00002342: PUSH2 0x2349
00002345: PUSH2 0x2270
00002348: JUMP
00002349: JUMPDEST
0000234a: JUMPDEST
0000234b: PUSH0
0000234c: PUSH2 0x2357
0000234f: DUP7
00002350: DUP3
00002351: DUP8
00002352: ADD
00002353: PUSH2 0x22be
00002356: JUMP
00002357: JUMPDEST
00002358: SWAP4
00002359: POP
0000235a: POP
0000235b: PUSH1 0x20
0000235d: DUP5
0000235e: ADD
0000235f: CALLDATALOAD
00002360: PUSH8 0xffffffffffffffff
00002369: DUP2
0000236a: GT
0000236b: ISZERO
0000236c: PUSH2 0x2378
0000236f: JUMPI
00002370: PUSH2 0x2377
00002373: PUSH2 0x2274
00002376: JUMP
00002377: JUMPDEST
00002378: JUMPDEST
00002379: PUSH2 0x2384
0000237c: DUP7
0000237d: DUP3
0000237e: DUP8
0000237f: ADD
00002380: PUSH2 0x22de
00002383: JUMP
00002384: JUMPDEST
00002385: SWAP3
00002386: POP
00002387: SWAP3
00002388: POP
00002389: POP
0000238a: SWAP3
0000238b: POP
0000238c: SWAP3
0000238d: POP
0000238e: SWAP3
0000238f: JUMP
00002390: JUMPDEST
00002391: PUSH0
00002392: DUP2
00002393: SWAP1
00002394: POP
00002395: SWAP2
00002396: SWAP1
00002397: POP
00002398: JUMP
00002399: JUMPDEST
0000239a: PUSH2 0x23a2
0000239d: DUP2
0000239e: PUSH2 0x2390
000023a1: JUMP
000023a2: JUMPDEST
000023a3: DUP2
000023a4: EQ
000023a5: PUSH2 0x23ac
000023a8: JUMPI
000023a9: PUSH0
000023aa: PUSH0
000023ab: REVERT
000023ac: JUMPDEST
000023ad: POP
000023ae: JUMP
000023af: JUMPDEST
000023b0: PUSH0
000023b1: DUP2
000023b2: CALLDATALOAD
000023b3: SWAP1
000023b4: POP
000023b5: PUSH2 0x23bd
000023b8: DUP2
000023b9: PUSH2 0x2399
000023bc: JUMP
000023bd: JUMPDEST
000023be: SWAP3
000023bf: SWAP2
000023c0: POP
000023c1: POP
000023c2: JUMP
000023c3: JUMPDEST
000023c4: PUSH0
000023c5: PUSH0
000023c6: PUSH0
000023c7: PUSH1 0x60
000023c9: DUP5
000023ca: DUP7
000023cb: SUB
000023cc: SLT
000023cd: ISZERO
000023ce: PUSH2 0x23da
000023d1: JUMPI
000023d2: PUSH2 0x23d9
000023d5: PUSH2 0x2270
000023d8: JUMP
000023d9: JUMPDEST
000023da: JUMPDEST
000023db: PUSH0
000023dc: PUSH2 0x23e7
000023df: DUP7
000023e0: DUP3
000023e1: DUP8
000023e2: ADD
000023e3: PUSH2 0x22be
000023e6: JUMP
000023e7: JUMPDEST
000023e8: SWAP4
000023e9: POP
000023ea: POP
000023eb: PUSH1 0x20
000023ed: PUSH2 0x23f8
000023f0: DUP7
000023f1: DUP3
000023f2: DUP8
000023f3: ADD
000023f4: PUSH2 0x23af
000023f7: JUMP
000023f8: JUMPDEST
000023f9: SWAP3
000023fa: POP
000023fb: POP
000023fc: PUSH1 0x40
000023fe: PUSH2 0x2409
00002401: DUP7
00002402: DUP3
00002403: DUP8
00002404: ADD
00002405: PUSH2 0x22be
00002408: JUMP
00002409: JUMPDEST
0000240a: SWAP2
0000240b: POP
0000240c: POP
0000240d: SWAP3
0000240e: POP
0000240f: SWAP3
00002410: POP
00002411: SWAP3
00002412: JUMP
00002413: JUMPDEST
00002414: PUSH0
00002415: PUSH2 0x241d
00002418: DUP3
00002419: PUSH2 0x2297
0000241c: JUMP
0000241d: JUMPDEST
0000241e: SWAP1
0000241f: POP
00002420: SWAP2
00002421: SWAP1
00002422: POP
00002423: JUMP
00002424: JUMPDEST
00002425: PUSH2 0x242d
00002428: DUP2
00002429: PUSH2 0x2413
0000242c: JUMP
0000242d: JUMPDEST
0000242e: DUP2
0000242f: EQ
00002430: PUSH2 0x2437
00002433: JUMPI
00002434: PUSH0
00002435: PUSH0
00002436: REVERT
00002437: JUMPDEST
00002438: POP
00002439: JUMP
0000243a: JUMPDEST
0000243b: PUSH0
0000243c: DUP2
0000243d: CALLDATALOAD
0000243e: SWAP1
0000243f: POP
00002440: PUSH2 0x2448
00002443: DUP2
00002444: PUSH2 0x2424
00002447: JUMP
00002448: JUMPDEST
00002449: SWAP3
0000244a: SWAP2
0000244b: POP
0000244c: POP
0000244d: JUMP
0000244e: JUMPDEST
0000244f: PUSH0
00002450: PUSH0
00002451: PUSH0
00002452: PUSH1 0x60
00002454: DUP5
00002455: DUP7
00002456: SUB
00002457: SLT
00002458: ISZERO
00002459: PUSH2 0x2465
0000245c: JUMPI
0000245d: PUSH2 0x2464
00002460: PUSH2 0x2270
00002463: JUMP
00002464: JUMPDEST
00002465: JUMPDEST
00002466: PUSH0
00002467: PUSH2 0x2472
0000246a: DUP7
0000246b: DUP3
0000246c: DUP8
0000246d: ADD
0000246e: PUSH2 0x243a
00002471: JUMP
00002472: JUMPDEST
00002473: SWAP4
00002474: POP
00002475: POP
00002476: PUSH1 0x20
00002478: PUSH2 0x2483
0000247b: DUP7
0000247c: DUP3
0000247d: DUP8
0000247e: ADD
0000247f: PUSH2 0x22be
00002482: JUMP
00002483: JUMPDEST
00002484: SWAP3
00002485: POP
00002486: POP
00002487: PUSH1 0x40
00002489: PUSH2 0x2494
0000248c: DUP7
0000248d: DUP3
0000248e: DUP8
0000248f: ADD
00002490: PUSH2 0x23af
00002493: JUMP
00002494: JUMPDEST
00002495: SWAP2
00002496: POP
00002497: POP
00002498: SWAP3
00002499: POP
0000249a: SWAP3
0000249b: POP
0000249c: SWAP3
0000249d: JUMP
0000249e: JUMPDEST
0000249f: PUSH0
000024a0: PUSH0
000024a1: DUP4
000024a2: PUSH1 0x1f
000024a4: DUP5
000024a5: ADD
000024a6: SLT
000024a7: PUSH2 0x24b3
000024aa: JUMPI
000024ab: PUSH2 0x24b2
000024ae: PUSH2 0x22d2
000024b1: JUMP
000024b2: JUMPDEST
000024b3: JUMPDEST
000024b4: DUP3
000024b5: CALLDATALOAD
000024b6: SWAP1
000024b7: POP
000024b8: PUSH8 0xffffffffffffffff
000024c1: DUP2
000024c2: GT
000024c3: ISZERO
000024c4: PUSH2 0x24d0
000024c7: JUMPI
000024c8: PUSH2 0x24cf
000024cb: PUSH2 0x22d6
000024ce: JUMP
000024cf: JUMPDEST
000024d0: JUMPDEST
000024d1: PUSH1 0x20
000024d3: DUP4
000024d4: ADD
000024d5: SWAP2
000024d6: POP
000024d7: DUP4
000024d8: PUSH1 0x01
000024da: DUP3
000024db: MUL
000024dc: DUP4
000024dd: ADD
000024de: GT
000024df: ISZERO
000024e0: PUSH2 0x24ec
000024e3: JUMPI
000024e4: PUSH2 0x24eb
000024e7: PUSH2 0x22da
000024ea: JUMP
000024eb: JUMPDEST
000024ec: JUMPDEST
000024ed: SWAP3
000024ee: POP
000024ef: SWAP3
000024f0: SWAP1
000024f1: POP
000024f2: JUMP
000024f3: JUMPDEST
000024f4: PUSH0
000024f5: PUSH0
000024f6: PUSH0
000024f7: PUSH0
000024f8: PUSH0
000024f9: PUSH0
000024fa: PUSH1 0xa0
000024fc: DUP8
000024fd: DUP10
000024fe: SUB
000024ff: SLT
00002500: ISZERO
00002501: PUSH2 0x250d
00002504: JUMPI
00002505: PUSH2 0x250c
00002508: PUSH2 0x2270
0000250b: JUMP
0000250c: JUMPDEST
0000250d: JUMPDEST
0000250e: PUSH0
0000250f: PUSH2 0x251a
00002512: DUP10
00002513: DUP3
00002514: DUP11
00002515: ADD
00002516: PUSH2 0x22be
00002519: JUMP
0000251a: JUMPDEST
0000251b: SWAP7
0000251c: POP
0000251d: POP
0000251e: PUSH1 0x20
00002520: PUSH2 0x252b
00002523: DUP10
00002524: DUP3
00002525: DUP11
00002526: ADD
00002527: PUSH2 0x243a
0000252a: JUMP
0000252b: JUMPDEST
0000252c: SWAP6
0000252d: POP
0000252e: POP
0000252f: PUSH1 0x40
00002531: PUSH2 0x253c
00002534: DUP10
00002535: DUP3
00002536: DUP11
00002537: ADD
00002538: PUSH2 0x22be
0000253b: JUMP
0000253c: JUMPDEST
0000253d: SWAP5
0000253e: POP
0000253f: POP
00002540: PUSH1 0x60
00002542: DUP8
00002543: ADD
00002544: CALLDATALOAD
00002545: PUSH8 0xffffffffffffffff
0000254e: DUP2
0000254f: GT
00002550: ISZERO
00002551: PUSH2 0x255d
00002554: JUMPI
00002555: PUSH2 0x255c
00002558: PUSH2 0x2274
0000255b: JUMP
0000255c: JUMPDEST
0000255d: JUMPDEST
0000255e: PUSH2 0x2569
00002561: DUP10
00002562: DUP3
00002563: DUP11
00002564: ADD
00002565: PUSH2 0x249e
00002568: JUMP
00002569: JUMPDEST
0000256a: SWAP4
0000256b: POP
0000256c: SWAP4
0000256d: POP
0000256e: POP
0000256f: PUSH1 0x80
00002571: PUSH2 0x257c
00002574: DUP10
00002575: DUP3
00002576: DUP11
00002577: ADD
00002578: PUSH2 0x23af
0000257b: JUMP
0000257c: JUMPDEST
0000257d: SWAP2
0000257e: POP
0000257f: POP
00002580: SWAP3
00002581: SWAP6
00002582: POP
00002583: SWAP3
00002584: SWAP6
00002585: POP
00002586: SWAP3
00002587: SWAP6
00002588: JUMP
00002589: JUMPDEST
0000258a: PUSH0
0000258b: PUSH0
0000258c: PUSH0
0000258d: PUSH0
0000258e: PUSH0
0000258f: PUSH0
00002590: PUSH0
00002591: PUSH0
00002592: PUSH1 0xe0
00002594: DUP10
00002595: DUP12
00002596: SUB
00002597: SLT
00002598: ISZERO
00002599: PUSH2 0x25a5
0000259c: JUMPI
0000259d: PUSH2 0x25a4
000025a0: PUSH2 0x2270
000025a3: JUMP
000025a4: JUMPDEST
000025a5: JUMPDEST
000025a6: PUSH0
000025a7: PUSH2 0x25b2
000025aa: DUP12
000025ab: DUP3
000025ac: DUP13
000025ad: ADD
000025ae: PUSH2 0x23af
000025b1: JUMP
000025b2: JUMPDEST
000025b3: SWAP9
000025b4: POP
000025b5: POP
000025b6: PUSH1 0x20
000025b8: PUSH2 0x25c3
000025bb: DUP12
000025bc: DUP3
000025bd: DUP13
000025be: ADD
000025bf: PUSH2 0x22be
000025c2: JUMP
000025c3: JUMPDEST
000025c4: SWAP8
000025c5: POP
000025c6: POP
000025c7: PUSH1 0x40
000025c9: DUP10
000025ca: ADD
000025cb: CALLDATALOAD
000025cc: PUSH8 0xffffffffffffffff
000025d5: DUP2
000025d6: GT
000025d7: ISZERO
000025d8: PUSH2 0x25e4
000025db: JUMPI
000025dc: PUSH2 0x25e3
000025df: PUSH2 0x2274
000025e2: JUMP
000025e3: JUMPDEST
000025e4: JUMPDEST
000025e5: PUSH2 0x25f0
000025e8: DUP12
000025e9: DUP3
000025ea: DUP13
000025eb: ADD
000025ec: PUSH2 0x249e
000025ef: JUMP
000025f0: JUMPDEST
000025f1: SWAP7
000025f2: POP
000025f3: SWAP7
000025f4: POP
000025f5: POP
000025f6: PUSH1 0x60
000025f8: PUSH2 0x2603
000025fb: DUP12
000025fc: DUP3
000025fd: DUP13
000025fe: ADD
000025ff: PUSH2 0x243a
00002602: JUMP
00002603: JUMPDEST
00002604: SWAP5
00002605: POP
00002606: POP
00002607: PUSH1 0x80
00002609: PUSH2 0x2614
0000260c: DUP12
0000260d: DUP3
0000260e: DUP13
0000260f: ADD
00002610: PUSH2 0x23af
00002613: JUMP
00002614: JUMPDEST
00002615: SWAP4
00002616: POP
00002617: POP
00002618: PUSH1 0xa0
0000261a: PUSH2 0x2625
0000261d: DUP12
0000261e: DUP3
0000261f: DUP13
00002620: ADD
00002621: PUSH2 0x23af
00002624: JUMP
00002625: JUMPDEST
00002626: SWAP3
00002627: POP
00002628: POP
00002629: PUSH1 0xc0
0000262b: PUSH2 0x2636
0000262e: DUP12
0000262f: DUP3
00002630: DUP13
00002631: ADD
00002632: PUSH2 0x22be
00002635: JUMP
00002636: JUMPDEST
00002637: SWAP2
00002638: POP
00002639: POP
0000263a: SWAP3
0000263b: SWAP6
0000263c: SWAP9
0000263d: POP
0000263e: SWAP3
0000263f: SWAP6
00002640: SWAP9
00002641: SWAP1
00002642: SWAP4
00002643: SWAP7
00002644: POP
00002645: JUMP
00002646: JUMPDEST
00002647: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00002668: PUSH0
00002669: MSTORE
0000266a: PUSH1 0x32
0000266c: PUSH1 0x04
0000266e: MSTORE
0000266f: PUSH1 0x24
00002671: PUSH0
00002672: REVERT
00002673: JUMPDEST
00002674: PUSH0
00002675: PUSH1 0x20
00002677: DUP3
00002678: DUP5
00002679: SUB
0000267a: SLT
0000267b: ISZERO
0000267c: PUSH2 0x2688
0000267f: JUMPI
00002680: PUSH2 0x2687
00002683: PUSH2 0x2270
00002686: JUMP
00002687: JUMPDEST
00002688: JUMPDEST
00002689: PUSH0
0000268a: PUSH2 0x2695
0000268d: DUP5
0000268e: DUP3
0000268f: DUP6
00002690: ADD
00002691: PUSH2 0x22be
00002694: JUMP
00002695: JUMPDEST
00002696: SWAP2
00002697: POP
00002698: POP
00002699: SWAP3
0000269a: SWAP2
0000269b: POP
0000269c: POP
0000269d: JUMP
0000269e: JUMPDEST
0000269f: PUSH2 0x26a7
000026a2: DUP2
000026a3: PUSH2 0x2297
000026a6: JUMP
000026a7: JUMPDEST
000026a8: DUP3
000026a9: MSTORE
000026aa: POP
000026ab: POP
000026ac: JUMP
000026ad: JUMPDEST
000026ae: PUSH0
000026af: PUSH1 0x20
000026b1: DUP3
000026b2: ADD
000026b3: SWAP1
000026b4: POP
000026b5: PUSH2 0x26c0
000026b8: PUSH0
000026b9: DUP4
000026ba: ADD
000026bb: DUP5
000026bc: PUSH2 0x269e
000026bf: JUMP
000026c0: JUMPDEST
000026c1: SWAP3
000026c2: SWAP2
000026c3: POP
000026c4: POP
000026c5: JUMP
000026c6: JUMPDEST
000026c7: PUSH0
000026c8: DUP2
000026c9: MLOAD
000026ca: SWAP1
000026cb: POP
000026cc: PUSH2 0x26d4
000026cf: DUP2
000026d0: PUSH2 0x2399
000026d3: JUMP
000026d4: JUMPDEST
000026d5: SWAP3
000026d6: SWAP2
000026d7: POP
000026d8: POP
000026d9: JUMP
000026da: JUMPDEST
000026db: PUSH0
000026dc: PUSH1 0x20
000026de: DUP3
000026df: DUP5
000026e0: SUB
000026e1: SLT
000026e2: ISZERO
000026e3: PUSH2 0x26ef
000026e6: JUMPI
000026e7: PUSH2 0x26ee
000026ea: PUSH2 0x2270
000026ed: JUMP
000026ee: JUMPDEST
000026ef: JUMPDEST
000026f0: PUSH0
000026f1: PUSH2 0x26fc
000026f4: DUP5
000026f5: DUP3
000026f6: DUP6
000026f7: ADD
000026f8: PUSH2 0x26c6
000026fb: JUMP
000026fc: JUMPDEST
000026fd: SWAP2
000026fe: POP
000026ff: POP
00002700: SWAP3
00002701: SWAP2
00002702: POP
00002703: POP
00002704: JUMP
00002705: JUMPDEST
00002706: PUSH2 0x270e
00002709: DUP2
0000270a: PUSH2 0x2390
0000270d: JUMP
0000270e: JUMPDEST
0000270f: DUP3
00002710: MSTORE
00002711: POP
00002712: POP
00002713: JUMP
00002714: JUMPDEST
00002715: PUSH0
00002716: PUSH1 0x60
00002718: DUP3
00002719: ADD
0000271a: SWAP1
0000271b: POP
0000271c: PUSH2 0x2727
0000271f: PUSH0
00002720: DUP4
00002721: ADD
00002722: DUP7
00002723: PUSH2 0x2705
00002726: JUMP
00002727: JUMPDEST
00002728: PUSH2 0x2734
0000272b: PUSH1 0x20
0000272d: DUP4
0000272e: ADD
0000272f: DUP6
00002730: PUSH2 0x2705
00002733: JUMP
00002734: JUMPDEST
00002735: PUSH2 0x2741
00002738: PUSH1 0x40
0000273a: DUP4
0000273b: ADD
0000273c: DUP5
0000273d: PUSH2 0x2705
00002740: JUMP
00002741: JUMPDEST
00002742: SWAP5
00002743: SWAP4
00002744: POP
00002745: POP
00002746: POP
00002747: POP
00002748: JUMP
00002749: JUMPDEST
0000274a: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
0000276b: PUSH0
0000276c: MSTORE
0000276d: PUSH1 0x11
0000276f: PUSH1 0x04
00002771: MSTORE
00002772: PUSH1 0x24
00002774: PUSH0
00002775: REVERT
00002776: JUMPDEST
00002777: PUSH0
00002778: PUSH2 0x2780
0000277b: DUP3
0000277c: PUSH2 0x2390
0000277f: JUMP
00002780: JUMPDEST
00002781: SWAP2
00002782: POP
00002783: PUSH2 0x278b
00002786: DUP4
00002787: PUSH2 0x2390
0000278a: JUMP
0000278b: JUMPDEST
0000278c: SWAP3
0000278d: POP
0000278e: DUP3
0000278f: DUP3
00002790: SUB
00002791: SWAP1
00002792: POP
00002793: DUP2
00002794: DUP2
00002795: GT
00002796: ISZERO
00002797: PUSH2 0x27a3
0000279a: JUMPI
0000279b: PUSH2 0x27a2
0000279e: PUSH2 0x2749
000027a1: JUMP
000027a2: JUMPDEST
000027a3: JUMPDEST
000027a4: SWAP3
000027a5: SWAP2
000027a6: POP
000027a7: POP
000027a8: JUMP
000027a9: JUMPDEST
000027aa: PUSH0
000027ab: PUSH2 0x27b3
000027ae: DUP3
000027af: PUSH2 0x2390
000027b2: JUMP
000027b3: JUMPDEST
000027b4: SWAP2
000027b5: POP
000027b6: PUSH2 0x27be
000027b9: DUP4
000027ba: PUSH2 0x2390
000027bd: JUMP
000027be: JUMPDEST
000027bf: SWAP3
000027c0: POP
000027c1: DUP3
000027c2: DUP3
000027c3: ADD
000027c4: SWAP1
000027c5: POP
000027c6: DUP1
000027c7: DUP3
000027c8: GT
000027c9: ISZERO
000027ca: PUSH2 0x27d6
000027cd: JUMPI
000027ce: PUSH2 0x27d5
000027d1: PUSH2 0x2749
000027d4: JUMP
000027d5: JUMPDEST
000027d6: JUMPDEST
000027d7: SWAP3
000027d8: SWAP2
000027d9: POP
000027da: POP
000027db: JUMP
000027dc: JUMPDEST
000027dd: PUSH0
000027de: DUP3
000027df: DUP3
000027e0: MSTORE
000027e1: PUSH1 0x20
000027e3: DUP3
000027e4: ADD
000027e5: SWAP1
000027e6: POP
000027e7: SWAP3
000027e8: SWAP2
000027e9: POP
000027ea: POP
000027eb: JUMP
000027ec: JUMPDEST
000027ed: PUSH32 0x5452414e534645525f4641494c45440000000000000000000000000000000000
0000280e: PUSH0
0000280f: DUP3
00002810: ADD
00002811: MSTORE
00002812: POP
00002813: JUMP
00002814: JUMPDEST
00002815: PUSH0
00002816: PUSH2 0x2820
00002819: PUSH1 0x0f
0000281b: DUP4
0000281c: PUSH2 0x27dc
0000281f: JUMP
00002820: JUMPDEST
00002821: SWAP2
00002822: POP
00002823: PUSH2 0x282b
00002826: DUP3
00002827: PUSH2 0x27ec
0000282a: JUMP
0000282b: JUMPDEST
0000282c: PUSH1 0x20
0000282e: DUP3
0000282f: ADD
00002830: SWAP1
00002831: POP
00002832: SWAP2
00002833: SWAP1
00002834: POP
00002835: JUMP
00002836: JUMPDEST
00002837: PUSH0
00002838: PUSH1 0x20
0000283a: DUP3
0000283b: ADD
0000283c: SWAP1
0000283d: POP
0000283e: DUP2
0000283f: DUP2
00002840: SUB
00002841: PUSH0
00002842: DUP4
00002843: ADD
00002844: MSTORE
00002845: PUSH2 0x284d
00002848: DUP2
00002849: PUSH2 0x2814
0000284c: JUMP
0000284d: JUMPDEST
0000284e: SWAP1
0000284f: POP
00002850: SWAP2
00002851: SWAP1
00002852: POP
00002853: JUMP
00002854: JUMPDEST
00002855: PUSH32 0x5452414e534645525f46524f4d5f4641494c4544000000000000000000000000
00002876: PUSH0
00002877: DUP3
00002878: ADD
00002879: MSTORE
0000287a: POP
0000287b: JUMP
0000287c: JUMPDEST
0000287d: PUSH0
0000287e: PUSH2 0x2888
00002881: PUSH1 0x14
00002883: DUP4
00002884: PUSH2 0x27dc
00002887: JUMP
00002888: JUMPDEST
00002889: SWAP2
0000288a: POP
0000288b: PUSH2 0x2893
0000288e: DUP3
0000288f: PUSH2 0x2854
00002892: JUMP
00002893: JUMPDEST
00002894: PUSH1 0x20
00002896: DUP3
00002897: ADD
00002898: SWAP1
00002899: POP
0000289a: SWAP2
0000289b: SWAP1
0000289c: POP
0000289d: JUMP
0000289e: JUMPDEST
0000289f: PUSH0
000028a0: PUSH1 0x20
000028a2: DUP3
000028a3: ADD
000028a4: SWAP1
000028a5: POP
000028a6: DUP2
000028a7: DUP2
000028a8: SUB
000028a9: PUSH0
000028aa: DUP4
000028ab: ADD
000028ac: MSTORE
000028ad: PUSH2 0x28b5
000028b0: DUP2
000028b1: PUSH2 0x287c
000028b4: JUMP
000028b5: JUMPDEST
000028b6: SWAP1
000028b7: POP
000028b8: SWAP2
000028b9: SWAP1
000028ba: POP
000028bb: JUMP
000028bc: JUMPDEST
000028bd: PUSH2 0x28c5
000028c0: DUP2
000028c1: PUSH2 0x2390
000028c4: JUMP
000028c5: JUMPDEST
000028c6: DUP3
000028c7: MSTORE
000028c8: POP
000028c9: POP
000028ca: JUMP
000028cb: JUMPDEST
000028cc: PUSH2 0x28d4
000028cf: DUP2
000028d0: PUSH2 0x2297
000028d3: JUMP
000028d4: JUMPDEST
000028d5: DUP3
000028d6: MSTORE
000028d7: POP
000028d8: POP
000028d9: JUMP
000028da: JUMPDEST
000028db: PUSH2 0x0160
000028de: DUP3
000028df: ADD
000028e0: PUSH0
000028e1: DUP3
000028e2: ADD
000028e3: MLOAD
000028e4: PUSH2 0x28ef
000028e7: PUSH0
000028e8: DUP6
000028e9: ADD
000028ea: DUP3
000028eb: PUSH2 0x28bc
000028ee: JUMP
000028ef: JUMPDEST
000028f0: POP
000028f1: PUSH1 0x20
000028f3: DUP3
000028f4: ADD
000028f5: MLOAD
000028f6: PUSH2 0x2902
000028f9: PUSH1 0x20
000028fb: DUP6
000028fc: ADD
000028fd: DUP3
000028fe: PUSH2 0x28cb
00002901: JUMP
00002902: JUMPDEST
00002903: POP
00002904: PUSH1 0x40
00002906: DUP3
00002907: ADD
00002908: MLOAD
00002909: PUSH2 0x2915
0000290c: PUSH1 0x40
0000290e: DUP6
0000290f: ADD
00002910: DUP3
00002911: PUSH2 0x28cb
00002914: JUMP
00002915: JUMPDEST
00002916: POP
00002917: PUSH1 0x60
00002919: DUP3
0000291a: ADD
0000291b: MLOAD
0000291c: PUSH2 0x2928
0000291f: PUSH1 0x60
00002921: DUP6
00002922: ADD
00002923: DUP3
00002924: PUSH2 0x28bc
00002927: JUMP
00002928: JUMPDEST
00002929: POP
0000292a: PUSH1 0x80
0000292c: DUP3
0000292d: ADD
0000292e: MLOAD
0000292f: PUSH2 0x293b
00002932: PUSH1 0x80
00002934: DUP6
00002935: ADD
00002936: DUP3
00002937: PUSH2 0x28cb
0000293a: JUMP
0000293b: JUMPDEST
0000293c: POP
0000293d: PUSH1 0xa0
0000293f: DUP3
00002940: ADD
00002941: MLOAD
00002942: PUSH2 0x294e
00002945: PUSH1 0xa0
00002947: DUP6
00002948: ADD
00002949: DUP3
0000294a: PUSH2 0x28cb
0000294d: JUMP
0000294e: JUMPDEST
0000294f: POP
00002950: PUSH1 0xc0
00002952: DUP3
00002953: ADD
00002954: MLOAD
00002955: PUSH2 0x2961
00002958: PUSH1 0xc0
0000295a: DUP6
0000295b: ADD
0000295c: DUP3
0000295d: PUSH2 0x28bc
00002960: JUMP
00002961: JUMPDEST
00002962: POP
00002963: PUSH1 0xe0
00002965: DUP3
00002966: ADD
00002967: MLOAD
00002968: PUSH2 0x2974
0000296b: PUSH1 0xe0
0000296d: DUP6
0000296e: ADD
0000296f: DUP3
00002970: PUSH2 0x28bc
00002973: JUMP
00002974: JUMPDEST
00002975: POP
00002976: PUSH2 0x0100
00002979: DUP3
0000297a: ADD
0000297b: MLOAD
0000297c: PUSH2 0x2989
0000297f: PUSH2 0x0100
00002982: DUP6
00002983: ADD
00002984: DUP3
00002985: PUSH2 0x28cb
00002988: JUMP
00002989: JUMPDEST
0000298a: POP
0000298b: PUSH2 0x0120
0000298e: DUP3
0000298f: ADD
00002990: MLOAD
00002991: PUSH2 0x299e
00002994: PUSH2 0x0120
00002997: DUP6
00002998: ADD
00002999: DUP3
0000299a: PUSH2 0x28bc
0000299d: JUMP
0000299e: JUMPDEST
0000299f: POP
000029a0: PUSH2 0x0140
000029a3: DUP3
000029a4: ADD
000029a5: MLOAD
000029a6: PUSH2 0x29b3
000029a9: PUSH2 0x0140
000029ac: DUP6
000029ad: ADD
000029ae: DUP3
000029af: PUSH2 0x28bc
000029b2: JUMP
000029b3: JUMPDEST
000029b4: POP
000029b5: POP
000029b6: POP
000029b7: POP
000029b8: JUMP
000029b9: JUMPDEST
000029ba: PUSH0
000029bb: DUP2
000029bc: MLOAD
000029bd: SWAP1
000029be: POP
000029bf: SWAP2
000029c0: SWAP1
000029c1: POP
000029c2: JUMP
000029c3: JUMPDEST
000029c4: PUSH0
000029c5: DUP3
000029c6: DUP3
000029c7: MSTORE
000029c8: PUSH1 0x20
000029ca: DUP3
000029cb: ADD
000029cc: SWAP1
000029cd: POP
000029ce: SWAP3
000029cf: SWAP2
000029d0: POP
000029d1: POP
000029d2: JUMP
000029d3: JUMPDEST
000029d4: DUP3
000029d5: DUP2
000029d6: DUP4
000029d7: MCOPY
000029d8: PUSH0
000029d9: DUP4
000029da: DUP4
000029db: ADD
000029dc: MSTORE
000029dd: POP
000029de: POP
000029df: POP
000029e0: JUMP
000029e1: JUMPDEST
000029e2: PUSH0
000029e3: PUSH1 0x1f
000029e5: NOT
000029e6: PUSH1 0x1f
000029e8: DUP4
000029e9: ADD
000029ea: AND
000029eb: SWAP1
000029ec: POP
000029ed: SWAP2
000029ee: SWAP1
000029ef: POP
000029f0: JUMP
000029f1: JUMPDEST
000029f2: PUSH0
000029f3: PUSH2 0x29fb
000029f6: DUP3
000029f7: PUSH2 0x29b9
000029fa: JUMP
000029fb: JUMPDEST
000029fc: PUSH2 0x2a05
000029ff: DUP2
00002a00: DUP6
00002a01: PUSH2 0x29c3
00002a04: JUMP
00002a05: JUMPDEST
00002a06: SWAP4
00002a07: POP
00002a08: PUSH2 0x2a15
00002a0b: DUP2
00002a0c: DUP6
00002a0d: PUSH1 0x20
00002a0f: DUP7
00002a10: ADD
00002a11: PUSH2 0x29d3
00002a14: JUMP
00002a15: JUMPDEST
00002a16: PUSH2 0x2a1e
00002a19: DUP2
00002a1a: PUSH2 0x29e1
00002a1d: JUMP
00002a1e: JUMPDEST
00002a1f: DUP5
00002a20: ADD
00002a21: SWAP2
00002a22: POP
00002a23: POP
00002a24: SWAP3
00002a25: SWAP2
00002a26: POP
00002a27: POP
00002a28: JUMP
00002a29: JUMPDEST
00002a2a: PUSH0
00002a2b: PUSH1 0x40
00002a2d: DUP4
00002a2e: ADD
00002a2f: PUSH0
00002a30: DUP4
00002a31: ADD
00002a32: MLOAD
00002a33: DUP5
00002a34: DUP3
00002a35: SUB
00002a36: PUSH0
00002a37: DUP7
00002a38: ADD
00002a39: MSTORE
00002a3a: PUSH2 0x2a43
00002a3d: DUP3
00002a3e: DUP3
00002a3f: PUSH2 0x29f1
00002a42: JUMP
00002a43: JUMPDEST
00002a44: SWAP2
00002a45: POP
00002a46: POP
00002a47: PUSH1 0x20
00002a49: DUP4
00002a4a: ADD
00002a4b: MLOAD
00002a4c: PUSH2 0x2a58
00002a4f: PUSH1 0x20
00002a51: DUP7
00002a52: ADD
00002a53: DUP3
00002a54: PUSH2 0x28bc
00002a57: JUMP
00002a58: JUMPDEST
00002a59: POP
00002a5a: DUP1
00002a5b: SWAP2
00002a5c: POP
00002a5d: POP
00002a5e: SWAP3
00002a5f: SWAP2
00002a60: POP
00002a61: POP
00002a62: JUMP
00002a63: JUMPDEST
00002a64: PUSH0
00002a65: PUSH2 0x0180
00002a68: DUP3
00002a69: ADD
00002a6a: SWAP1
00002a6b: POP
00002a6c: PUSH2 0x2a77
00002a6f: PUSH0
00002a70: DUP4
00002a71: ADD
00002a72: DUP6
00002a73: PUSH2 0x28da
00002a76: JUMP
00002a77: JUMPDEST
00002a78: DUP2
00002a79: DUP2
00002a7a: SUB
00002a7b: PUSH2 0x0160
00002a7e: DUP4
00002a7f: ADD
00002a80: MSTORE
00002a81: PUSH2 0x2a8a
00002a84: DUP2
00002a85: DUP5
00002a86: PUSH2 0x2a29
00002a89: JUMP
00002a8a: JUMPDEST
00002a8b: SWAP1
00002a8c: POP
00002a8d: SWAP4
00002a8e: SWAP3
00002a8f: POP
00002a90: POP
00002a91: POP
00002a92: JUMP
00002a93: JUMPDEST
00002a94: PUSH0
00002a95: DUP2
00002a96: SWAP1
00002a97: POP
00002a98: SWAP3
00002a99: SWAP2
00002a9a: POP
00002a9b: POP
00002a9c: JUMP
00002a9d: JUMPDEST
00002a9e: DUP3
00002a9f: DUP2
00002aa0: DUP4
00002aa1: CALLDATACOPY
00002aa2: PUSH0
00002aa3: DUP4
00002aa4: DUP4
00002aa5: ADD
00002aa6: MSTORE
00002aa7: POP
00002aa8: POP
00002aa9: POP
00002aaa: JUMP
00002aab: JUMPDEST
00002aac: PUSH0
00002aad: PUSH2 0x2ab6
00002ab0: DUP4
00002ab1: DUP6
00002ab2: PUSH2 0x2a93
00002ab5: JUMP
00002ab6: JUMPDEST
00002ab7: SWAP4
00002ab8: POP
00002ab9: PUSH2 0x2ac3
00002abc: DUP4
00002abd: DUP6
00002abe: DUP5
00002abf: PUSH2 0x2a9d
00002ac2: JUMP
00002ac3: JUMPDEST
00002ac4: DUP3
00002ac5: DUP5
00002ac6: ADD
00002ac7: SWAP1
00002ac8: POP
00002ac9: SWAP4
00002aca: SWAP3
00002acb: POP
00002acc: POP
00002acd: POP
00002ace: JUMP
00002acf: JUMPDEST
00002ad0: PUSH0
00002ad1: PUSH2 0x2adb
00002ad4: DUP3
00002ad5: DUP5
00002ad6: DUP7
00002ad7: PUSH2 0x2aab
00002ada: JUMP
00002adb: JUMPDEST
00002adc: SWAP2
00002add: POP
00002ade: DUP2
00002adf: SWAP1
00002ae0: POP
00002ae1: SWAP4
00002ae2: SWAP3
00002ae3: POP
00002ae4: POP
00002ae5: POP
00002ae6: JUMP
00002ae7: INVALID
00002ae8: LOG2
00002ae9: PUSH5 0x6970667358
00002aef: UNKNOWN(0x22)
00002af0: SLT
00002af1: KECCAK256
00002af2: PUSH32 0x5203807b992b059cfb49867e970578c8d449f108f0678eeecf96f8053b04d764
00002b13: PUSH20

Findings

validated = confirmed for call sinks; sink observed for others

Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
medium	other	detector	Untrusted CALL target/value reachable	45	no	no	view trace_id: 0x32f1f8ac5429586a915d4c3788a14cb47bf2d888aaf9b8fee102d0cbff385a1c call_targets: 0x2913588dd5f8362b64ef1aebdb4fece43f595dc2 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x32f1f8ac5429586a915d4c3788a14cb47bf2d888aaf9b8fee102d0cbff385a1c", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x2913588dd5f8362b64ef1aebdb4fece43f595dc2" ], "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": "0x4f71473e", "selector": "0x4f71473e", "calldata_variants": [ "0x4f71473e", "0x4f71473e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x69328dec", "selector": "0x69328dec", "calldata_variants": [ "0x69328dec", "0x69328dec0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x8340f549", "selector": "0x8340f549", "calldata_variants": [ "0x8340f549", "0x8340f5490000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa4668914", "selector": "0xa4668914", "calldata_variants": [ "0xa4668914", "0xa46689140000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xefbcb2f9", "selector": "0xefbcb2f9", "calldata_variants": [ "0xefbcb2f9", "0xefbcb2f90000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 3114, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 4879, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 7304, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 9, "guards_detected": [ { "pc": 297, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 372, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 448, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 524, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 1354, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 1429, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 1505, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 1581, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 2312, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 2387, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 2463, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 2539, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 3649, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 3724, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 3800, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 3876, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 5565, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 5640, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 5716, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 5792, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" } ], "untrusted_call_count": 7 }
medium	other	detector	ETH value transfer possible	40	no	no	view trace_id: 0x32f1f8ac5429586a915d4c3788a14cb47bf2d888aaf9b8fee102d0cbff385a1c call_targets: 0x2913588dd5f8362b64ef1aebdb4fece43f595dc2 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x32f1f8ac5429586a915d4c3788a14cb47bf2d888aaf9b8fee102d0cbff385a1c", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x2913588dd5f8362b64ef1aebdb4fece43f595dc2" ], "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": "0x4f71473e", "selector": "0x4f71473e", "calldata_variants": [ "0x4f71473e", "0x4f71473e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x69328dec", "selector": "0x69328dec", "calldata_variants": [ "0x69328dec", "0x69328dec0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x8340f549", "selector": "0x8340f549", "calldata_variants": [ "0x8340f549", "0x8340f5490000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa4668914", "selector": "0xa4668914", "calldata_variants": [ "0xa4668914", "0xa46689140000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xefbcb2f9", "selector": "0xefbcb2f9", "calldata_variants": [ "0xefbcb2f9", "0xefbcb2f90000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 3114, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 4879, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 7304, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 9, "guards_detected": [ { "pc": 297, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 372, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 448, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 524, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 1354, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 1429, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 1505, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 1581, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 2312, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 2387, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 2463, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 2539, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 3649, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 3724, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 3800, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 3876, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 5565, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 5640, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 5716, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 5792, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" } ] }
info	other	cast	Heavy CALL-family usage	55	no	—	view evidence_json { "notes": "large number of CALL/CALLCODE/STATICCALL opcodes; review external call patterns", "call_family_count": 19 }

Severity