Analysis Run

019b477e-d8b3-7241-915f-0f2829fc0341
complete
Chain ID
1
Address
0xb107140c5737bfa6dbbe46db6b359caf6e51524d
Block Number
—
Created
Mon, Dec 22, 2025 7:17 PM
Review Summary
What survived the funnel

Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?
back to vulns open contract
Confirmed
0
Validated
0
Source
Verified
Review Backing
Not yet
Best current signal
Untrusted DELEGATECALL target 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
29121	artifact.fetch	complete	1 / 3	3 months ago
29122	tool.cast_disasm	complete	1 / 3	3 months ago
72772	analysis.bundle	complete	1 / 3	1 week ago
72773	capability.graph	complete	1 / 3	1 week ago
72774	detector.run	complete	1 / 3	1 week ago
72775	validation.fork	complete	1 / 3	1 week ago
Artifact

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

tool.slither
No slither job recorded yet.
Codex

report.consolidate
No codex job recorded yet.
Opcode Heuristics

tool.cast_disasm
Delegatecall
1
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
10
EXT*/BALANCE
5
Total opcodes
4577
Flags
delegatecall_present heavy_ext_balance_usage
View cast disassembly output
00000000: PUSH1 0xa0
00000002: DUP1
00000003: PUSH1 0x40
00000005: MSTORE
00000006: PUSH1 0x04
00000008: CALLDATASIZE
00000009: LT
0000000a: ISZERO
0000000b: PUSH2 0x001d
0000000e: JUMPI
0000000f: JUMPDEST
00000010: POP
00000011: CALLDATASIZE
00000012: ISZERO
00000013: PUSH2 0x001b
00000016: JUMPI
00000017: PUSH1 0x00
00000019: DUP1
0000001a: REVERT
0000001b: JUMPDEST
0000001c: STOP
0000001d: JUMPDEST
0000001e: PUSH1 0x00
00000020: CALLDATALOAD
00000021: PUSH1 0xe0
00000023: SHR
00000024: SWAP1
00000025: DUP2
00000026: PUSH4 0x01ffc9a7
0000002b: EQ
0000002c: PUSH2 0x218c
0000002f: JUMPI
00000030: POP
00000031: DUP1
00000032: PUSH4 0x054a68ad
00000037: EQ
00000038: PUSH2 0x20f2
0000003b: JUMPI
0000003c: DUP1
0000003d: PUSH4 0x248a9ca3
00000042: EQ
00000043: PUSH2 0x20a5
00000046: JUMPI
00000047: DUP1
00000048: PUSH4 0x2f2ff15d
0000004d: EQ
0000004e: PUSH2 0x2048
00000051: JUMPI
00000052: DUP1
00000053: PUSH4 0x36568abe
00000058: EQ
00000059: PUSH2 0x1fbe
0000005c: JUMPI
0000005d: DUP1
0000005e: PUSH4 0x39999247
00000063: EQ
00000064: PUSH2 0x1f59
00000067: JUMPI
00000068: DUP1
00000069: PUSH4 0x461c48cd
0000006e: EQ
0000006f: PUSH2 0x1df4
00000072: JUMPI
00000073: DUP1
00000074: PUSH4 0x52b25efa
00000079: EQ
0000007a: PUSH2 0x1d15
0000007d: JUMPI
0000007e: DUP1
0000007f: PUSH4 0x5f91d406
00000084: EQ
00000085: PUSH2 0x1cbb
00000088: JUMPI
00000089: DUP1
0000008a: PUSH4 0x64f0d35e
0000008f: EQ
00000090: PUSH2 0x1c69
00000093: JUMPI
00000094: DUP1
00000095: PUSH4 0x65263303
0000009a: EQ
0000009b: PUSH2 0x15e5
0000009e: JUMPI
0000009f: DUP1
000000a0: PUSH4 0x7188cb35
000000a5: EQ
000000a6: PUSH2 0x1505
000000a9: JUMPI
000000aa: DUP1
000000ab: PUSH4 0x7457b001
000000b0: EQ
000000b1: PUSH2 0x0d6c
000000b4: JUMPI
000000b5: DUP1
000000b6: PUSH4 0x75b238fc
000000bb: EQ
000000bc: PUSH2 0x0d13
000000bf: JUMPI
000000c0: DUP1
000000c1: PUSH4 0x79344714
000000c6: EQ
000000c7: PUSH2 0x0c42
000000ca: JUMPI
000000cb: DUP1
000000cc: PUSH4 0x91d14854
000000d1: EQ
000000d2: PUSH2 0x0bc9
000000d5: JUMPI
000000d6: DUP1
000000d7: PUSH4 0xa217fddf
000000dc: EQ
000000dd: PUSH2 0x0b8f
000000e0: JUMPI
000000e1: DUP1
000000e2: PUSH4 0xa24e1788
000000e7: EQ
000000e8: PUSH2 0x0960
000000eb: JUMPI
000000ec: DUP1
000000ed: PUSH4 0xaad2b723
000000f2: EQ
000000f3: PUSH2 0x082c
000000f6: JUMPI
000000f7: DUP1
000000f8: PUSH4 0xcabb4549
000000fd: EQ
000000fe: PUSH2 0x07d3
00000101: JUMPI
00000102: DUP1
00000103: PUSH4 0xd012a5a8
00000108: EQ
00000109: PUSH2 0x0781
0000010c: JUMPI
0000010d: DUP1
0000010e: PUSH4 0xd547741f
00000113: EQ
00000114: PUSH2 0x0724
00000117: JUMPI
00000118: DUP1
00000119: PUSH4 0xf85920d8
0000011e: EQ
0000011f: PUSH2 0x02eb
00000122: JUMPI
00000123: DUP1
00000124: PUSH4 0xfdea8e0b
00000129: EQ
0000012a: PUSH2 0x0299
0000012d: JUMPI
0000012e: PUSH4 0xff93be03
00000133: EQ
00000134: PUSH2 0x013d
00000137: JUMPI
00000138: CODESIZE
00000139: PUSH2 0x000f
0000013c: JUMP
0000013d: JUMPDEST
0000013e: CALLVALUE
0000013f: PUSH2 0x0294
00000142: JUMPI
00000143: PUSH1 0x40
00000145: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00000166: CALLDATASIZE
00000167: ADD
00000168: SLT
00000169: PUSH2 0x0294
0000016c: JUMPI
0000016d: PUSH2 0x0174
00000170: PUSH2 0x22a1
00000173: JUMP
00000174: JUMPDEST
00000175: PUSH1 0x24
00000177: CALLDATALOAD
00000178: PUSH8 0xffffffffffffffff
00000181: DUP2
00000182: GT
00000183: PUSH2 0x0294
00000186: JUMPI
00000187: PUSH2 0x0194
0000018a: SWAP1
0000018b: CALLDATASIZE
0000018c: SWAP1
0000018d: PUSH1 0x04
0000018f: ADD
00000190: PUSH2 0x22d5
00000193: JUMP
00000194: JUMPDEST
00000195: SWAP2
00000196: PUSH2 0x019d
00000199: PUSH2 0x25fd
0000019c: JUMP
0000019d: JUMPDEST
0000019e: PUSH2 0x01a6
000001a1: DUP2
000001a2: PUSH2 0x2638
000001a5: JUMP
000001a6: JUMPDEST
000001a7: CALLER
000001a8: PUSH1 0x00
000001aa: MSTORE
000001ab: PUSH1 0x20
000001ad: PUSH1 0x05
000001af: PUSH1 0x20
000001b1: MSTORE
000001b2: PUSH4 0xffffffff
000001b7: PUSH1 0x40
000001b9: PUSH1 0x00
000001bb: KECCAK256
000001bc: SWAP3
000001bd: AND
000001be: SWAP2
000001bf: DUP3
000001c0: PUSH1 0x00
000001c2: MSTORE
000001c3: PUSH1 0x20
000001c5: MSTORE
000001c6: PUSH1 0x40
000001c8: PUSH1 0x00
000001ca: KECCAK256
000001cb: PUSH1 0x00
000001cd: JUMPDEST
000001ce: DUP6
000001cf: DUP2
000001d0: LT
000001d1: PUSH2 0x01da
000001d4: JUMPI
000001d5: PUSH1 0x01
000001d7: DUP1
000001d8: SSTORE
000001d9: STOP
000001da: JUMPDEST
000001db: DUP1
000001dc: DUP5
000001dd: PUSH2 0x01f1
000001e0: PUSH2 0x01ec
000001e3: PUSH1 0x01
000001e5: SWAP5
000001e6: DUP11
000001e7: DUP11
000001e8: PUSH2 0x2306
000001eb: JUMP
000001ec: JUMPDEST
000001ed: PUSH2 0x2316
000001f0: JUMP
000001f1: JUMPDEST
000001f2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000207: DUP2
00000208: AND
00000209: PUSH1 0x00
0000020b: MSTORE
0000020c: DUP5
0000020d: DUP7
0000020e: MSTORE
0000020f: PUSH1 0x40
00000211: PUSH1 0x00
00000213: KECCAK256
00000214: DUP1
00000215: SLOAD
00000216: SWAP1
00000217: DUP2
00000218: ISZERO
00000219: PUSH2 0x028b
0000021c: JUMPI
0000021d: PUSH32 0x4978506686bd9ae370ab4cd6b1b3093dad6682e7840df229a6534e9dc4ba5223
0000023e: SWAP2
0000023f: PUSH1 0x00
00000241: PUSH2 0x0281
00000244: SWAP3
00000245: SSTORE
00000246: PUSH2 0x0250
00000249: DUP2
0000024a: CALLER
0000024b: DUP7
0000024c: PUSH2 0x278c
0000024f: JUMP
00000250: JUMPDEST
00000251: PUSH1 0x40
00000253: MLOAD
00000254: SWAP2
00000255: DUP3
00000256: SWAP2
00000257: CALLER
00000258: SWAP6
00000259: DUP4
0000025a: PUSH1 0x20
0000025c: SWAP1
0000025d: SWAP4
0000025e: SWAP3
0000025f: SWAP2
00000260: SWAP4
00000261: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000276: PUSH1 0x40
00000278: DUP3
00000279: ADD
0000027a: SWAP6
0000027b: AND
0000027c: DUP2
0000027d: MSTORE
0000027e: ADD
0000027f: MSTORE
00000280: JUMP
00000281: JUMPDEST
00000282: SUB
00000283: SWAP1
00000284: LOG3
00000285: JUMPDEST
00000286: ADD
00000287: PUSH2 0x01cd
0000028a: JUMP
0000028b: JUMPDEST
0000028c: POP
0000028d: POP
0000028e: POP
0000028f: POP
00000290: PUSH2 0x0285
00000293: JUMP
00000294: JUMPDEST
00000295: PUSH1 0x00
00000297: DUP1
00000298: REVERT
00000299: JUMPDEST
0000029a: CALLVALUE
0000029b: PUSH2 0x0294
0000029e: JUMPI
0000029f: PUSH1 0x00
000002a1: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
000002c2: CALLDATASIZE
000002c3: ADD
000002c4: SLT
000002c5: PUSH2 0x0294
000002c8: JUMPI
000002c9: PUSH1 0x20
000002cb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000002e0: PUSH1 0x02
000002e2: SLOAD
000002e3: AND
000002e4: PUSH1 0x40
000002e6: MLOAD
000002e7: SWAP1
000002e8: DUP2
000002e9: MSTORE
000002ea: RETURN
000002eb: JUMPDEST
000002ec: CALLVALUE
000002ed: PUSH2 0x0294
000002f0: JUMPI
000002f1: PUSH1 0x20
000002f3: DUP1
000002f4: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00000315: CALLDATASIZE
00000316: ADD
00000317: SLT
00000318: PUSH2 0x0294
0000031b: JUMPI
0000031c: PUSH1 0x04
0000031e: CALLDATALOAD
0000031f: SWAP1
00000320: PUSH2 0x0327
00000323: PUSH2 0x25fd
00000326: JUMP
00000327: JUMPDEST
00000328: CALLER
00000329: PUSH1 0x00
0000032b: MSTORE
0000032c: PUSH1 0x06
0000032e: DUP2
0000032f: MSTORE
00000330: PUSH1 0x40
00000332: PUSH1 0x00
00000334: KECCAK256
00000335: DUP3
00000336: PUSH1 0x00
00000338: MSTORE
00000339: DUP1
0000033a: DUP3
0000033b: MSTORE
0000033c: PUSH1 0x40
0000033e: PUSH1 0x00
00000340: KECCAK256
00000341: SWAP1
00000342: PUSH1 0x40
00000344: MLOAD
00000345: PUSH2 0x034d
00000348: DUP2
00000349: PUSH2 0x2358
0000034c: JUMP
0000034d: JUMPDEST
0000034e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000363: SWAP2
00000364: DUP3
00000365: DUP5
00000366: SLOAD
00000367: AND
00000368: DUP3
00000369: MSTORE
0000036a: PUSH1 0x01
0000036c: DUP5
0000036d: ADD
0000036e: SLOAD
0000036f: SWAP4
00000370: DUP6
00000371: DUP4
00000372: ADD
00000373: SWAP5
00000374: DUP6
00000375: MSTORE
00000376: PUSH1 0x02
00000378: DUP2
00000379: ADD
0000037a: SLOAD
0000037b: SWAP1
0000037c: PUSH1 0x40
0000037e: DUP5
0000037f: ADD
00000380: SWAP2
00000381: DUP3
00000382: MSTORE
00000383: PUSH1 0x04
00000385: DUP6
00000386: PUSH1 0x03
00000388: DUP4
00000389: ADD
0000038a: SLOAD
0000038b: AND
0000038c: SWAP2
0000038d: PUSH1 0x60
0000038f: DUP7
00000390: ADD
00000391: SWAP3
00000392: DUP4
00000393: MSTORE
00000394: ADD
00000395: SLOAD
00000396: DUP6
00000397: DUP2
00000398: AND
00000399: DUP1
0000039a: PUSH1 0x80
0000039c: DUP8
0000039d: ADD
0000039e: MSTORE
0000039f: PUSH4 0xffffffff
000003a4: DUP3
000003a5: PUSH1 0xa0
000003a7: SHR
000003a8: AND
000003a9: PUSH1 0xa0
000003ab: DUP8
000003ac: ADD
000003ad: MSTORE
000003ae: PUSH1 0xff
000003b0: DUP3
000003b1: PUSH1 0xc0
000003b3: SHR
000003b4: AND
000003b5: ISZERO
000003b6: ISZERO
000003b7: PUSH1 0xc0
000003b9: DUP8
000003ba: ADD
000003bb: MSTORE
000003bc: PUSH1 0xff
000003be: PUSH1 0xe0
000003c0: DUP8
000003c1: ADD
000003c2: SWAP3
000003c3: PUSH1 0xc8
000003c5: SHR
000003c6: AND
000003c7: ISZERO
000003c8: ISZERO
000003c9: DUP3
000003ca: MSTORE
000003cb: CALLER
000003cc: SUB
000003cd: PUSH2 0x06fa
000003d0: JUMPI
000003d1: MLOAD
000003d2: PUSH2 0x06d0
000003d5: JUMPI
000003d6: DUP5
000003d7: PUSH1 0x03
000003d9: SLOAD
000003da: AND
000003db: PUSH1 0x40
000003dd: MLOAD
000003de: PUSH32 0x4a8c1fb400000000000000000000000000000000000000000000000000000000
000003ff: DUP2
00000400: MSTORE
00000401: DUP9
00000402: DUP2
00000403: PUSH1 0x04
00000405: DUP2
00000406: DUP6
00000407: GAS
00000408: STATICCALL
00000409: SWAP1
0000040a: DUP2
0000040b: ISZERO
0000040c: PUSH2 0x0650
0000040f: JUMPI
00000410: PUSH1 0x00
00000412: SWAP2
00000413: PUSH2 0x06a3
00000416: JUMPI
00000417: JUMPDEST
00000418: POP
00000419: ISZERO
0000041a: PUSH2 0x0679
0000041d: JUMPI
0000041e: DUP6
0000041f: DUP3
00000420: MLOAD
00000421: AND
00000422: SWAP1
00000423: PUSH2 0x0480
00000426: DUP10
00000427: DUP6
00000428: MLOAD
00000429: PUSH1 0x40
0000042b: MLOAD
0000042c: DUP1
0000042d: SWAP4
0000042e: DUP2
0000042f: SWAP3
00000430: PUSH32 0x26184e1500000000000000000000000000000000000000000000000000000000
00000451: SWAP8
00000452: DUP9
00000453: DUP5
00000454: MSTORE
00000455: PUSH1 0x04
00000457: DUP5
00000458: ADD
00000459: PUSH1 0x20
0000045b: SWAP1
0000045c: SWAP4
0000045d: SWAP3
0000045e: SWAP2
0000045f: SWAP4
00000460: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000475: PUSH1 0x40
00000477: DUP3
00000478: ADD
00000479: SWAP6
0000047a: AND
0000047b: DUP2
0000047c: MSTORE
0000047d: ADD
0000047e: MSTORE
0000047f: JUMP
00000480: JUMPDEST
00000481: SUB
00000482: DUP2
00000483: DUP6
00000484: GAS
00000485: STATICCALL
00000486: SWAP1
00000487: DUP2
00000488: ISZERO
00000489: PUSH2 0x0650
0000048c: JUMPI
0000048d: PUSH1 0x00
0000048f: SWAP2
00000490: PUSH2 0x065c
00000493: JUMPI
00000494: JUMPDEST
00000495: POP
00000496: PUSH1 0x03
00000498: DUP2
00000499: LT
0000049a: ISZERO
0000049b: PUSH2 0x05f4
0000049e: JUMPI
0000049f: PUSH2 0x04cc
000004a2: JUMPI
000004a3: PUSH1 0x04
000004a5: PUSH1 0x40
000004a7: MLOAD
000004a8: PUSH32 0x4a61fb3000000000000000000000000000000000000000000000000000000000
000004c9: DUP2
000004ca: MSTORE
000004cb: REVERT
000004cc: JUMPDEST
000004cd: SWAP2
000004ce: MLOAD
000004cf: SWAP3
000004d0: MLOAD
000004d1: PUSH1 0x40
000004d3: MLOAD
000004d4: SWAP2
000004d5: DUP3
000004d6: MSTORE
000004d7: SWAP3
000004d8: DUP7
000004d9: AND
000004da: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004ef: AND
000004f0: PUSH1 0x04
000004f2: DUP3
000004f3: ADD
000004f4: MSTORE
000004f5: PUSH1 0x24
000004f7: DUP2
000004f8: ADD
000004f9: SWAP3
000004fa: SWAP1
000004fb: SWAP3
000004fc: MSTORE
000004fd: DUP7
000004fe: SWAP1
000004ff: DUP3
00000500: SWAP1
00000501: DUP2
00000502: DUP1
00000503: PUSH1 0x44
00000505: DUP2
00000506: ADD
00000507: SUB
00000508: SWAP2
00000509: GAS
0000050a: STATICCALL
0000050b: SWAP1
0000050c: DUP2
0000050d: ISZERO
0000050e: PUSH2 0x0650
00000511: JUMPI
00000512: PUSH1 0x00
00000514: SWAP2
00000515: PUSH2 0x0623
00000518: JUMPI
00000519: JUMPDEST
0000051a: POP
0000051b: PUSH1 0x03
0000051d: DUP2
0000051e: LT
0000051f: ISZERO
00000520: PUSH2 0x05f4
00000523: JUMPI
00000524: PUSH1 0x01
00000526: SUB
00000527: PUSH2 0x05ca
0000052a: JUMPI
0000052b: PUSH2 0x053b
0000052e: DUP4
0000052f: DUP4
00000530: MLOAD
00000531: AND
00000532: DUP6
00000533: MLOAD
00000534: SWAP1
00000535: CALLER
00000536: SWAP1
00000537: PUSH2 0x278c
0000053a: JUMP
0000053b: JUMPDEST
0000053c: DUP6
0000053d: PUSH1 0x00
0000053f: MSTORE
00000540: DUP5
00000541: MSTORE
00000542: PUSH1 0x04
00000544: PUSH1 0x40
00000546: PUSH1 0x00
00000548: KECCAK256
00000549: ADD
0000054a: PUSH26 0x0100000000000000000000000000000000000000000000000000
00000565: PUSH32 0xffffffffffff00ffffffffffffffffffffffffffffffffffffffffffffffffff
00000586: DUP3
00000587: SLOAD
00000588: AND
00000589: OR
0000058a: SWAP1
0000058b: SSTORE
0000058c: MLOAD
0000058d: AND
0000058e: SWAP1
0000058f: MLOAD
00000590: SWAP2
00000591: PUSH1 0x40
00000593: MLOAD
00000594: SWAP4
00000595: DUP5
00000596: MSTORE
00000597: DUP4
00000598: ADD
00000599: MSTORE
0000059a: PUSH1 0x40
0000059c: DUP3
0000059d: ADD
0000059e: MSTORE
0000059f: PUSH32 0xded355a1cb9a51166ec4af4cae2650c92b84521935c3b1f660205c7a2743354f
000005c0: PUSH1 0x60
000005c2: CALLER
000005c3: SWAP3
000005c4: LOG2
000005c5: PUSH1 0x01
000005c7: DUP1
000005c8: SSTORE
000005c9: STOP
000005ca: JUMPDEST
000005cb: PUSH1 0x04
000005cd: PUSH1 0x40
000005cf: MLOAD
000005d0: PUSH32 0xc7bc740f00000000000000000000000000000000000000000000000000000000
000005f1: DUP2
000005f2: MSTORE
000005f3: REVERT
000005f4: JUMPDEST
000005f5: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00000616: PUSH1 0x00
00000618: MSTORE
00000619: PUSH1 0x21
0000061b: PUSH1 0x04
0000061d: MSTORE
0000061e: PUSH1 0x24
00000620: PUSH1 0x00
00000622: REVERT
00000623: JUMPDEST
00000624: PUSH2 0x0643
00000627: SWAP2
00000628: POP
00000629: DUP7
0000062a: RETURNDATASIZE
0000062b: DUP9
0000062c: GT
0000062d: PUSH2 0x0649
00000630: JUMPI
00000631: JUMPDEST
00000632: PUSH2 0x063b
00000635: DUP2
00000636: DUP4
00000637: PUSH2 0x2375
0000063a: JUMP
0000063b: JUMPDEST
0000063c: DUP2
0000063d: ADD
0000063e: SWAP1
0000063f: PUSH2 0x2418
00000642: JUMP
00000643: JUMPDEST
00000644: DUP8
00000645: PUSH2 0x0519
00000648: JUMP
00000649: JUMPDEST
0000064a: POP
0000064b: RETURNDATASIZE
0000064c: PUSH2 0x0631
0000064f: JUMP
00000650: JUMPDEST
00000651: PUSH1 0x40
00000653: MLOAD
00000654: RETURNDATASIZE
00000655: PUSH1 0x00
00000657: DUP3
00000658: RETURNDATACOPY
00000659: RETURNDATASIZE
0000065a: SWAP1
0000065b: REVERT
0000065c: JUMPDEST
0000065d: PUSH2 0x0673
00000660: SWAP2
00000661: POP
00000662: DUP11
00000663: RETURNDATASIZE
00000664: DUP13
00000665: GT
00000666: PUSH2 0x0649
00000669: JUMPI
0000066a: PUSH2 0x063b
0000066d: DUP2
0000066e: DUP4
0000066f: PUSH2 0x2375
00000672: JUMP
00000673: JUMPDEST
00000674: DUP12
00000675: PUSH2 0x0494
00000678: JUMP
00000679: JUMPDEST
0000067a: PUSH1 0x04
0000067c: PUSH1 0x40
0000067e: MLOAD
0000067f: PUSH32 0xd583e5ef00000000000000000000000000000000000000000000000000000000
000006a0: DUP2
000006a1: MSTORE
000006a2: REVERT
000006a3: JUMPDEST
000006a4: PUSH2 0x06c3
000006a7: SWAP2
000006a8: POP
000006a9: DUP10
000006aa: RETURNDATASIZE
000006ab: DUP12
000006ac: GT
000006ad: PUSH2 0x06c9
000006b0: JUMPI
000006b1: JUMPDEST
000006b2: PUSH2 0x06bb
000006b5: DUP2
000006b6: DUP4
000006b7: PUSH2 0x2375
000006ba: JUMP
000006bb: JUMPDEST
000006bc: DUP2
000006bd: ADD
000006be: SWAP1
000006bf: PUSH2 0x2400
000006c2: JUMP
000006c3: JUMPDEST
000006c4: DUP11
000006c5: PUSH2 0x0417
000006c8: JUMP
000006c9: JUMPDEST
000006ca: POP
000006cb: RETURNDATASIZE
000006cc: PUSH2 0x06b1
000006cf: JUMP
000006d0: JUMPDEST
000006d1: PUSH1 0x04
000006d3: PUSH1 0x40
000006d5: MLOAD
000006d6: PUSH32 0x646cf55800000000000000000000000000000000000000000000000000000000
000006f7: DUP2
000006f8: MSTORE
000006f9: REVERT
000006fa: JUMPDEST
000006fb: PUSH1 0x04
000006fd: PUSH1 0x40
000006ff: MLOAD
00000700: PUSH32 0xe394356800000000000000000000000000000000000000000000000000000000
00000721: DUP2
00000722: MSTORE
00000723: REVERT
00000724: JUMPDEST
00000725: CALLVALUE
00000726: PUSH2 0x0294
00000729: JUMPI
0000072a: PUSH1 0x40
0000072c: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
0000074d: CALLDATASIZE
0000074e: ADD
0000074f: SLT
00000750: PUSH2 0x0294
00000753: JUMPI
00000754: PUSH2 0x001b
00000757: PUSH1 0x04
00000759: CALLDATALOAD
0000075a: PUSH2 0x0761
0000075d: PUSH2 0x226b
00000760: JUMP
00000761: JUMPDEST
00000762: SWAP1
00000763: DUP1
00000764: PUSH1 0x00
00000766: MSTORE
00000767: PUSH1 0x00
00000769: PUSH1 0x20
0000076b: MSTORE
0000076c: PUSH2 0x077c
0000076f: PUSH1 0x01
00000771: PUSH1 0x40
00000773: PUSH1 0x00
00000775: KECCAK256
00000776: ADD
00000777: SLOAD
00000778: PUSH2 0x248c
0000077b: JUMP
0000077c: JUMPDEST
0000077d: PUSH2 0x255c
00000780: JUMP
00000781: JUMPDEST
00000782: CALLVALUE
00000783: PUSH2 0x0294
00000786: JUMPI
00000787: PUSH1 0x00
00000789: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
000007aa: CALLDATASIZE
000007ab: ADD
000007ac: SLT
000007ad: PUSH2 0x0294
000007b0: JUMPI
000007b1: PUSH1 0x20
000007b3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007c8: PUSH1 0x03
000007ca: SLOAD
000007cb: AND
000007cc: PUSH1 0x40
000007ce: MLOAD
000007cf: SWAP1
000007d0: DUP2
000007d1: MSTORE
000007d2: RETURN
000007d3: JUMPDEST
000007d4: CALLVALUE
000007d5: PUSH2 0x0294
000007d8: JUMPI
000007d9: PUSH1 0x00
000007db: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
000007fc: CALLDATASIZE
000007fd: ADD
000007fe: SLT
000007ff: PUSH2 0x0294
00000802: JUMPI
00000803: PUSH1 0x20
00000805: PUSH1 0x40
00000807: MLOAD
00000808: PUSH32 0x28d695c7dfc0dc20c36b38cc22e861d8a3c0da73ef3975e85a4bf12193642a5c
00000829: DUP2
0000082a: MSTORE
0000082b: RETURN
0000082c: JUMPDEST
0000082d: CALLVALUE
0000082e: PUSH2 0x0294
00000831: JUMPI
00000832: PUSH1 0x20
00000834: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00000855: CALLDATASIZE
00000856: ADD
00000857: SLT
00000858: PUSH2 0x0294
0000085b: JUMPI
0000085c: PUSH2 0x0863
0000085f: PUSH2 0x2248
00000862: JUMP
00000863: JUMPDEST
00000864: PUSH2 0x086b
00000867: PUSH2 0x2430
0000086a: JUMP
0000086b: JUMPDEST
0000086c: PUSH1 0x04
0000086e: SLOAD
0000086f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000884: DUP1
00000885: DUP4
00000886: AND
00000887: SWAP3
00000888: SWAP2
00000889: SWAP1
0000088a: DUP2
0000088b: AND
0000088c: DUP4
0000088d: ISZERO
0000088e: PUSH2 0x0936
00000891: JUMPI
00000892: DUP4
00000893: DUP2
00000894: EQ
00000895: PUSH2 0x090c
00000898: JUMPI
00000899: PUSH1 0x40
0000089b: DUP1
0000089c: MLOAD
0000089d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008b2: SWAP3
000008b3: DUP4
000008b4: AND
000008b5: DUP2
000008b6: MSTORE
000008b7: SWAP4
000008b8: SWAP1
000008b9: SWAP2
000008ba: AND
000008bb: PUSH1 0x20
000008bd: DUP5
000008be: ADD
000008bf: MSTORE
000008c0: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
000008e1: SWAP3
000008e2: PUSH32 0x2d025324f0a785e8c12d0a0d91a9caa49df4ef20ff87e0df7213a1d4f3157beb
00000903: SWAP2
00000904: SWAP1
00000905: LOG1
00000906: AND
00000907: OR
00000908: PUSH1 0x04
0000090a: SSTORE
0000090b: STOP
0000090c: JUMPDEST
0000090d: PUSH1 0x04
0000090f: PUSH1 0x40
00000911: MLOAD
00000912: PUSH32 0x2620eb3a00000000000000000000000000000000000000000000000000000000
00000933: DUP2
00000934: MSTORE
00000935: REVERT
00000936: JUMPDEST
00000937: PUSH1 0x04
00000939: PUSH1 0x40
0000093b: MLOAD
0000093c: PUSH32 0xd92e233d00000000000000000000000000000000000000000000000000000000
0000095d: DUP2
0000095e: MSTORE
0000095f: REVERT
00000960: JUMPDEST
00000961: CALLVALUE
00000962: PUSH2 0x0294
00000965: JUMPI
00000966: PUSH1 0x20
00000968: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00000989: CALLDATASIZE
0000098a: ADD
0000098b: SLT
0000098c: PUSH2 0x0294
0000098f: JUMPI
00000990: PUSH1 0x04
00000992: CALLDATALOAD
00000993: PUSH8 0xffffffffffffffff
0000099c: DUP2
0000099d: GT
0000099e: PUSH2 0x0294
000009a1: JUMPI
000009a2: PUSH2 0x09af
000009a5: SWAP1
000009a6: CALLDATASIZE
000009a7: SWAP1
000009a8: PUSH1 0x04
000009aa: ADD
000009ab: PUSH2 0x22d5
000009ae: JUMP
000009af: JUMPDEST
000009b0: SWAP1
000009b1: PUSH2 0x09b8
000009b4: PUSH2 0x2430
000009b7: JUMP
000009b8: JUMPDEST
000009b9: PUSH1 0x00
000009bb: JUMPDEST
000009bc: DUP3
000009bd: DUP2
000009be: LT
000009bf: PUSH2 0x09c4
000009c2: JUMPI
000009c3: STOP
000009c4: JUMPDEST
000009c5: PUSH2 0x09d2
000009c8: PUSH2 0x01ec
000009cb: DUP3
000009cc: DUP6
000009cd: DUP6
000009ce: PUSH2 0x2306
000009d1: JUMP
000009d2: JUMPDEST
000009d3: SWAP1
000009d4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009e9: PUSH1 0x02
000009eb: SLOAD
000009ec: AND
000009ed: PUSH1 0x40
000009ef: MLOAD
000009f0: PUSH32 0x095ea7b300000000000000000000000000000000000000000000000000000000
00000a11: PUSH1 0x20
00000a13: DUP3
00000a14: ADD
00000a15: MSTORE
00000a16: DUP2
00000a17: PUSH1 0x24
00000a19: DUP3
00000a1a: ADD
00000a1b: MSTORE
00000a1c: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00000a3d: PUSH1 0x44
00000a3f: DUP3
00000a40: ADD
00000a41: MSTORE
00000a42: PUSH1 0x44
00000a44: DUP2
00000a45: MSTORE
00000a46: DUP1
00000a47: PUSH1 0x80
00000a49: DUP2
00000a4a: ADD
00000a4b: LT
00000a4c: PUSH8 0xffffffffffffffff
00000a55: PUSH1 0x80
00000a57: DUP4
00000a58: ADD
00000a59: GT
00000a5a: OR
00000a5b: PUSH2 0x0b23
00000a5e: JUMPI
00000a5f: PUSH1 0x80
00000a61: DUP2
00000a62: ADD
00000a63: PUSH1 0x40
00000a65: MSTORE
00000a66: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a7b: DUP5
00000a7c: AND
00000a7d: PUSH1 0x00
00000a7f: DUP1
00000a80: DUP4
00000a81: MLOAD
00000a82: PUSH1 0x20
00000a84: DUP6
00000a85: ADD
00000a86: DUP3
00000a87: DUP6
00000a88: GAS
00000a89: CALL
00000a8a: SWAP1
00000a8b: PUSH2 0x0a92
00000a8e: PUSH2 0x28a6
00000a91: JUMP
00000a92: JUMPDEST
00000a93: DUP3
00000a94: PUSH2 0x0b5d
00000a97: JUMPI
00000a98: JUMPDEST
00000a99: POP
00000a9a: DUP2
00000a9b: PUSH2 0x0b52
00000a9e: JUMPI
00000a9f: JUMPDEST
00000aa0: POP
00000aa1: ISZERO
00000aa2: PUSH2 0x0ab2
00000aa5: JUMPI
00000aa6: JUMPDEST
00000aa7: POP
00000aa8: POP
00000aa9: PUSH1 0x01
00000aab: SWAP2
00000aac: POP
00000aad: ADD
00000aae: PUSH2 0x09bb
00000ab1: JUMP
00000ab2: JUMPDEST
00000ab3: PUSH1 0x40
00000ab5: MLOAD
00000ab6: SWAP2
00000ab7: PUSH32 0x095ea7b300000000000000000000000000000000000000000000000000000000
00000ad8: PUSH1 0x20
00000ada: DUP5
00000adb: ADD
00000adc: MSTORE
00000add: PUSH1 0x24
00000adf: DUP4
00000ae0: ADD
00000ae1: MSTORE
00000ae2: PUSH1 0x00
00000ae4: PUSH1 0x44
00000ae6: DUP4
00000ae7: ADD
00000ae8: MSTORE
00000ae9: PUSH1 0x44
00000aeb: DUP3
00000aec: MSTORE
00000aed: PUSH1 0x80
00000aef: DUP3
00000af0: ADD
00000af1: SWAP4
00000af2: DUP3
00000af3: DUP6
00000af4: LT
00000af5: PUSH8 0xffffffffffffffff
00000afe: DUP7
00000aff: GT
00000b00: OR
00000b01: PUSH2 0x0b23
00000b04: JUMPI
00000b05: PUSH2 0x0b17
00000b08: PUSH2 0x0b1c
00000b0b: SWAP4
00000b0c: PUSH1 0x01
00000b0e: SWAP7
00000b0f: PUSH1 0x40
00000b11: MSTORE
00000b12: DUP3
00000b13: PUSH2 0x2904
00000b16: JUMP
00000b17: JUMPDEST
00000b18: PUSH2 0x2904
00000b1b: JUMP
00000b1c: JUMPDEST
00000b1d: DUP5
00000b1e: DUP1
00000b1f: PUSH2 0x0aa6
00000b22: JUMP
00000b23: JUMPDEST
00000b24: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00000b45: PUSH1 0x00
00000b47: MSTORE
00000b48: PUSH1 0x41
00000b4a: PUSH1 0x04
00000b4c: MSTORE
00000b4d: PUSH1 0x24
00000b4f: PUSH1 0x00
00000b51: REVERT
00000b52: JUMPDEST
00000b53: SWAP1
00000b54: POP
00000b55: EXTCODESIZE
00000b56: ISZERO
00000b57: ISZERO
00000b58: DUP8
00000b59: PUSH2 0x0a9f
00000b5c: JUMP
00000b5d: JUMPDEST
00000b5e: DUP1
00000b5f: MLOAD
00000b60: SWAP2
00000b61: SWAP3
00000b62: POP
00000b63: DUP2
00000b64: ISZERO
00000b65: SWAP2
00000b66: DUP3
00000b67: ISZERO
00000b68: PUSH2 0x0b75
00000b6b: JUMPI
00000b6c: JUMPDEST
00000b6d: POP
00000b6e: POP
00000b6f: SWAP1
00000b70: DUP9
00000b71: PUSH2 0x0a98
00000b74: JUMP
00000b75: JUMPDEST
00000b76: PUSH2 0x0b88
00000b79: SWAP3
00000b7a: POP
00000b7b: PUSH1 0x20
00000b7d: DUP1
00000b7e: SWAP2
00000b7f: DUP4
00000b80: ADD
00000b81: ADD
00000b82: SWAP2
00000b83: ADD
00000b84: PUSH2 0x2400
00000b87: JUMP
00000b88: JUMPDEST
00000b89: DUP9
00000b8a: DUP1
00000b8b: PUSH2 0x0b6c
00000b8e: JUMP
00000b8f: JUMPDEST
00000b90: CALLVALUE
00000b91: PUSH2 0x0294
00000b94: JUMPI
00000b95: PUSH1 0x00
00000b97: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00000bb8: CALLDATASIZE
00000bb9: ADD
00000bba: SLT
00000bbb: PUSH2 0x0294
00000bbe: JUMPI
00000bbf: PUSH1 0x20
00000bc1: PUSH1 0x40
00000bc3: MLOAD
00000bc4: PUSH1 0x00
00000bc6: DUP2
00000bc7: MSTORE
00000bc8: RETURN
00000bc9: JUMPDEST
00000bca: CALLVALUE
00000bcb: PUSH2 0x0294
00000bce: JUMPI
00000bcf: PUSH1 0x40
00000bd1: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00000bf2: CALLDATASIZE
00000bf3: ADD
00000bf4: SLT
00000bf5: PUSH2 0x0294
00000bf8: JUMPI
00000bf9: PUSH2 0x0c00
00000bfc: PUSH2 0x226b
00000bff: JUMP
00000c00: JUMPDEST
00000c01: PUSH1 0x04
00000c03: CALLDATALOAD
00000c04: PUSH1 0x00
00000c06: MSTORE
00000c07: PUSH1 0x00
00000c09: PUSH1 0x20
00000c0b: MSTORE
00000c0c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c21: PUSH1 0x40
00000c23: PUSH1 0x00
00000c25: KECCAK256
00000c26: SWAP2
00000c27: AND
00000c28: PUSH1 0x00
00000c2a: MSTORE
00000c2b: PUSH1 0x20
00000c2d: MSTORE
00000c2e: PUSH1 0x20
00000c30: PUSH1 0xff
00000c32: PUSH1 0x40
00000c34: PUSH1 0x00
00000c36: KECCAK256
00000c37: SLOAD
00000c38: AND
00000c39: PUSH1 0x40
00000c3b: MLOAD
00000c3c: SWAP1
00000c3d: ISZERO
00000c3e: ISZERO
00000c3f: DUP2
00000c40: MSTORE
00000c41: RETURN
00000c42: JUMPDEST
00000c43: CALLVALUE
00000c44: PUSH2 0x0294
00000c47: JUMPI
00000c48: PUSH1 0x40
00000c4a: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00000c6b: CALLDATASIZE
00000c6c: ADD
00000c6d: SLT
00000c6e: PUSH2 0x0294
00000c71: JUMPI
00000c72: PUSH2 0x0100
00000c75: PUSH2 0x0c7c
00000c78: PUSH2 0x2248
00000c7b: JUMP
00000c7c: JUMPDEST
00000c7d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c92: DUP1
00000c93: SWAP2
00000c94: AND
00000c95: PUSH1 0x00
00000c97: MSTORE
00000c98: PUSH1 0x06
00000c9a: PUSH1 0x20
00000c9c: MSTORE
00000c9d: PUSH1 0x40
00000c9f: PUSH1 0x00
00000ca1: KECCAK256
00000ca2: PUSH1 0x24
00000ca4: CALLDATALOAD
00000ca5: PUSH1 0x00
00000ca7: MSTORE
00000ca8: PUSH1 0x20
00000caa: MSTORE
00000cab: PUSH1 0xff
00000cad: PUSH1 0x40
00000caf: PUSH1 0x00
00000cb1: KECCAK256
00000cb2: DUP3
00000cb3: DUP2
00000cb4: SLOAD
00000cb5: AND
00000cb6: SWAP3
00000cb7: PUSH1 0x01
00000cb9: DUP3
00000cba: ADD
00000cbb: SLOAD
00000cbc: SWAP2
00000cbd: PUSH1 0x02
00000cbf: DUP2
00000cc0: ADD
00000cc1: SLOAD
00000cc2: PUSH1 0x04
00000cc4: DUP4
00000cc5: PUSH1 0x03
00000cc7: DUP5
00000cc8: ADD
00000cc9: SLOAD
00000cca: AND
00000ccb: SWAP3
00000ccc: ADD
00000ccd: SLOAD
00000cce: SWAP4
00000ccf: PUSH1 0x40
00000cd1: MLOAD
00000cd2: SWAP7
00000cd3: DUP8
00000cd4: MSTORE
00000cd5: PUSH1 0x20
00000cd7: DUP8
00000cd8: ADD
00000cd9: MSTORE
00000cda: PUSH1 0x40
00000cdc: DUP7
00000cdd: ADD
00000cde: MSTORE
00000cdf: PUSH1 0x60
00000ce1: DUP6
00000ce2: ADD
00000ce3: MSTORE
00000ce4: DUP2
00000ce5: AND
00000ce6: PUSH1 0x80
00000ce8: DUP5
00000ce9: ADD
00000cea: MSTORE
00000ceb: PUSH4 0xffffffff
00000cf0: DUP2
00000cf1: PUSH1 0xa0
00000cf3: SHR
00000cf4: AND
00000cf5: PUSH1 0xa0
00000cf7: DUP5
00000cf8: ADD
00000cf9: MSTORE
00000cfa: DUP2
00000cfb: DUP2
00000cfc: PUSH1 0xc0
00000cfe: SHR
00000cff: AND
00000d00: ISZERO
00000d01: ISZERO
00000d02: PUSH1 0xc0
00000d04: DUP5
00000d05: ADD
00000d06: MSTORE
00000d07: PUSH1 0xc8
00000d09: SHR
00000d0a: AND
00000d0b: ISZERO
00000d0c: ISZERO
00000d0d: PUSH1 0xe0
00000d0f: DUP3
00000d10: ADD
00000d11: MSTORE
00000d12: RETURN
00000d13: JUMPDEST
00000d14: CALLVALUE
00000d15: PUSH2 0x0294
00000d18: JUMPI
00000d19: PUSH1 0x00
00000d1b: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00000d3c: CALLDATASIZE
00000d3d: ADD
00000d3e: SLT
00000d3f: PUSH2 0x0294
00000d42: JUMPI
00000d43: PUSH1 0x20
00000d45: PUSH1 0x40
00000d47: MLOAD
00000d48: PUSH32 0xdf8b4c520ffe197c5343c6f5aec59570151ef9a492f2c624fd45ddde6135ec42
00000d69: DUP2
00000d6a: MSTORE
00000d6b: RETURN
00000d6c: JUMPDEST
00000d6d: CALLVALUE
00000d6e: PUSH2 0x0294
00000d71: JUMPI
00000d72: PUSH1 0xc0
00000d74: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00000d95: CALLDATASIZE
00000d96: ADD
00000d97: SLT
00000d98: PUSH2 0x0294
00000d9b: JUMPI
00000d9c: PUSH1 0x04
00000d9e: CALLDATALOAD
00000d9f: PUSH8 0xffffffffffffffff
00000da8: DUP2
00000da9: GT
00000daa: PUSH2 0x0294
00000dad: JUMPI
00000dae: PUSH2 0x0dbb
00000db1: SWAP1
00000db2: CALLDATASIZE
00000db3: SWAP1
00000db4: PUSH1 0x04
00000db6: ADD
00000db7: PUSH2 0x22d5
00000dba: JUMP
00000dbb: JUMPDEST
00000dbc: SWAP1
00000dbd: PUSH2 0x0dc4
00000dc0: PUSH2 0x228e
00000dc3: JUMP
00000dc4: JUMPDEST
00000dc5: SWAP2
00000dc6: PUSH8 0xffffffffffffffff
00000dcf: PUSH1 0x44
00000dd1: CALLDATALOAD
00000dd2: GT
00000dd3: PUSH2 0x0294
00000dd6: JUMPI
00000dd7: CALLDATASIZE
00000dd8: PUSH1 0x23
00000dda: PUSH1 0x44
00000ddc: CALLDATALOAD
00000ddd: ADD
00000dde: SLT
00000ddf: ISZERO
00000de0: PUSH2 0x0294
00000de3: JUMPI
00000de4: PUSH8 0xffffffffffffffff
00000ded: PUSH1 0x44
00000def: CALLDATALOAD
00000df0: PUSH1 0x04
00000df2: ADD
00000df3: CALLDATALOAD
00000df4: GT
00000df5: PUSH2 0x0294
00000df8: JUMPI
00000df9: CALLDATASIZE
00000dfa: PUSH1 0x24
00000dfc: PUSH1 0x44
00000dfe: CALLDATALOAD
00000dff: PUSH1 0x04
00000e01: ADD
00000e02: CALLDATALOAD
00000e03: PUSH1 0x06
00000e05: SHL
00000e06: PUSH1 0x44
00000e08: CALLDATALOAD
00000e09: ADD
00000e0a: ADD
00000e0b: GT
00000e0c: PUSH2 0x0294
00000e0f: JUMPI
00000e10: PUSH1 0x64
00000e12: CALLDATALOAD
00000e13: ISZERO
00000e14: ISZERO
00000e15: PUSH1 0x64
00000e17: CALLDATALOAD
00000e18: SUB
00000e19: PUSH2 0x0294
00000e1c: JUMPI
00000e1d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e32: PUSH1 0x84
00000e34: CALLDATALOAD
00000e35: AND
00000e36: PUSH1 0x84
00000e38: CALLDATALOAD
00000e39: SUB
00000e3a: PUSH2 0x0294
00000e3d: JUMPI
00000e3e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e53: PUSH1 0x02
00000e55: SLOAD
00000e56: AND
00000e57: CALLER
00000e58: SUB
00000e59: PUSH2 0x14db
00000e5c: JUMPI
00000e5d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e72: PUSH1 0x84
00000e74: CALLDATALOAD
00000e75: AND
00000e76: ISZERO
00000e77: PUSH2 0x0936
00000e7a: JUMPI
00000e7b: PUSH4 0xffffffff
00000e80: DUP4
00000e81: AND
00000e82: PUSH1 0x00
00000e84: MSTORE
00000e85: PUSH1 0x08
00000e87: PUSH1 0x20
00000e89: MSTORE
00000e8a: PUSH1 0xff
00000e8c: PUSH1 0x40
00000e8e: PUSH1 0x00
00000e90: KECCAK256
00000e91: SLOAD
00000e92: AND
00000e93: PUSH2 0x14b1
00000e96: JUMPI
00000e97: DUP1
00000e98: ISZERO
00000e99: PUSH2 0x1487
00000e9c: JUMPI
00000e9d: PUSH1 0x44
00000e9f: CALLDATALOAD
00000ea0: PUSH1 0x04
00000ea2: ADD
00000ea3: CALLDATALOAD
00000ea4: DUP2
00000ea5: SUB
00000ea6: PUSH2 0x145d
00000ea9: JUMPI
00000eaa: PUSH1 0x00
00000eac: JUMPDEST
00000ead: DUP2
00000eae: DUP2
00000eaf: LT
00000eb0: PUSH2 0x0eb5
00000eb3: JUMPI
00000eb4: STOP
00000eb5: JUMPDEST
00000eb6: PUSH2 0x0ec0
00000eb9: DUP2
00000eba: DUP4
00000ebb: DUP6
00000ebc: PUSH2 0x2306
00000ebf: JUMP
00000ec0: JUMPDEST
00000ec1: CALLDATALOAD
00000ec2: SWAP1
00000ec3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ed8: DUP3
00000ed9: AND
00000eda: DUP3
00000edb: SUB
00000edc: PUSH2 0x0294
00000edf: JUMPI
00000ee0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ef5: DUP3
00000ef6: AND
00000ef7: ISZERO
00000ef8: PUSH2 0x0936
00000efb: JUMPI
00000efc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f11: DUP3
00000f12: AND
00000f13: PUSH1 0x00
00000f15: MSTORE
00000f16: PUSH1 0x05
00000f18: PUSH1 0x20
00000f1a: MSTORE
00000f1b: PUSH1 0x40
00000f1d: PUSH1 0x00
00000f1f: KECCAK256
00000f20: PUSH4 0xffffffff
00000f25: DUP7
00000f26: AND
00000f27: PUSH1 0x00
00000f29: MSTORE
00000f2a: PUSH1 0x20
00000f2c: MSTORE
00000f2d: PUSH1 0x40
00000f2f: PUSH1 0x00
00000f31: KECCAK256
00000f32: SWAP2
00000f33: PUSH1 0x44
00000f35: CALLDATALOAD
00000f36: PUSH1 0x04
00000f38: ADD
00000f39: CALLDATALOAD
00000f3a: DUP3
00000f3b: LT
00000f3c: ISZERO
00000f3d: PUSH2 0x142e
00000f40: JUMPI
00000f41: PUSH1 0x40
00000f43: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffdc
00000f64: DUP4
00000f65: PUSH1 0x06
00000f67: SHL
00000f68: PUSH1 0x44
00000f6a: CALLDATALOAD
00000f6b: ADD
00000f6c: CALLDATASIZE
00000f6d: SUB
00000f6e: ADD
00000f6f: SLT
00000f70: PUSH2 0x0294
00000f73: JUMPI
00000f74: PUSH1 0x40
00000f76: MLOAD
00000f77: DUP1
00000f78: PUSH1 0x40
00000f7a: DUP2
00000f7b: ADD
00000f7c: LT
00000f7d: PUSH8 0xffffffffffffffff
00000f86: PUSH1 0x40
00000f88: DUP4
00000f89: ADD
00000f8a: GT
00000f8b: OR
00000f8c: PUSH2 0x0b23
00000f8f: JUMPI
00000f90: PUSH1 0x40
00000f92: DUP2
00000f93: ADD
00000f94: PUSH1 0x40
00000f96: MSTORE
00000f97: PUSH2 0x0fa9
00000f9a: PUSH1 0x24
00000f9c: DUP5
00000f9d: PUSH1 0x06
00000f9f: SHL
00000fa0: PUSH1 0x44
00000fa2: CALLDATALOAD
00000fa3: ADD
00000fa4: ADD
00000fa5: PUSH2 0x22b4
00000fa8: JUMP
00000fa9: JUMPDEST
00000faa: DUP1
00000fab: DUP3
00000fac: MSTORE
00000fad: PUSH1 0x44
00000faf: DUP5
00000fb0: PUSH1 0x06
00000fb2: SHL
00000fb3: DUP2
00000fb4: CALLDATALOAD
00000fb5: ADD
00000fb6: ADD
00000fb7: CALLDATALOAD
00000fb8: SWAP1
00000fb9: DUP2
00000fba: PUSH1 0x20
00000fbc: DUP5
00000fbd: ADD
00000fbe: MSTORE
00000fbf: PUSH1 0x64
00000fc1: CALLDATALOAD
00000fc2: PUSH1 0x00
00000fc4: EQ
00000fc5: PUSH2 0x13f7
00000fc8: JUMPI
00000fc9: POP
00000fca: POP
00000fcb: PUSH1 0x20
00000fcd: DUP2
00000fce: ADD
00000fcf: MLOAD
00000fd0: SWAP4
00000fd1: PUSH3 0x0493e0
00000fd5: SWAP1
00000fd6: DUP6
00000fd7: DUP3
00000fd8: DUP2
00000fd9: MUL
00000fda: DIV
00000fdb: DUP3
00000fdc: EQ
00000fdd: DUP7
00000fde: ISZERO
00000fdf: OR
00000fe0: ISZERO
00000fe1: PUSH2 0x13c8
00000fe4: JUMPI
00000fe5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ffa: DUP4
00000ffb: MLOAD
00000ffc: AND
00000ffd: PUSH1 0x00
00000fff: MSTORE
00001000: PUSH1 0x20
00001002: MSTORE
00001003: PUSH1 0x40
00001005: PUSH1 0x00
00001007: KECCAK256
00001008: PUSH2 0x1019
0000100b: PUSH3 0x0f4240
0000100f: DUP4
00001010: DUP9
00001011: MUL
00001012: DIV
00001013: DUP3
00001014: SLOAD
00001015: PUSH2 0x23f3
00001018: JUMP
00001019: JUMPDEST
0000101a: SWAP1
0000101b: SSTORE
0000101c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001031: DUP4
00001032: AND
00001033: PUSH1 0x00
00001035: MSTORE
00001036: PUSH1 0x07
00001038: PUSH1 0x20
0000103a: MSTORE
0000103b: PUSH1 0x40
0000103d: PUSH1 0x00
0000103f: KECCAK256
00001040: SWAP1
00001041: DUP2
00001042: SLOAD
00001043: SWAP6
00001044: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001065: DUP8
00001066: EQ
00001067: PUSH2 0x13c8
0000106a: JUMPI
0000106b: DUP7
0000106c: PUSH3 0x0f4240
00001070: SWAP4
00001071: PUSH1 0x01
00001073: DUP1
00001074: SWAP10
00001075: ADD
00001076: SWAP1
00001077: SSTORE
00001078: PUSH1 0xe0
0000107a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000108f: DUP7
00001090: MLOAD
00001091: AND
00001092: PUSH2 0x10a3
00001095: DUP7
00001096: DUP7
00001097: DUP7
00001098: MUL
00001099: DIV
0000109a: PUSH1 0x20
0000109c: DUP10
0000109d: ADD
0000109e: MLOAD
0000109f: PUSH2 0x2337
000010a2: JUMP
000010a3: JUMPDEST
000010a4: PUSH1 0x40
000010a6: MLOAD
000010a7: SWAP2
000010a8: PUSH2 0x10b0
000010ab: DUP4
000010ac: PUSH2 0x2358
000010af: JUMP
000010b0: JUMPDEST
000010b1: DUP3
000010b2: MSTORE
000010b3: PUSH1 0x20
000010b5: DUP3
000010b6: ADD
000010b7: MSTORE
000010b8: PUSH1 0xa4
000010ba: CALLDATALOAD
000010bb: PUSH1 0x40
000010bd: DUP3
000010be: ADD
000010bf: MSTORE
000010c0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010d5: PUSH1 0x84
000010d7: CALLDATALOAD
000010d8: AND
000010d9: PUSH1 0x60
000010db: DUP3
000010dc: ADD
000010dd: MSTORE
000010de: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010f3: DUP9
000010f4: AND
000010f5: PUSH1 0x80
000010f7: DUP3
000010f8: ADD
000010f9: MSTORE
000010fa: PUSH4 0xffffffff
000010ff: DUP14
00001100: AND
00001101: PUSH1 0xa0
00001103: DUP3
00001104: ADD
00001105: MSTORE
00001106: PUSH1 0x64
00001108: CALLDATALOAD
00001109: ISZERO
0000110a: ISZERO
0000110b: PUSH1 0xc0
0000110d: DUP3
0000110e: ADD
0000110f: MSTORE
00001110: PUSH1 0x00
00001112: DUP3
00001113: DUP3
00001114: ADD
00001115: MSTORE
00001116: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000112b: DUP9
0000112c: AND
0000112d: PUSH1 0x00
0000112f: MSTORE
00001130: PUSH1 0x06
00001132: PUSH1 0x20
00001134: MSTORE
00001135: PUSH1 0x40
00001137: PUSH1 0x00
00001139: KECCAK256
0000113a: DUP4
0000113b: PUSH1 0x00
0000113d: MSTORE
0000113e: PUSH1 0x20
00001140: MSTORE
00001141: PUSH1 0x04
00001143: PUSH1 0x40
00001145: PUSH1 0x00
00001147: KECCAK256
00001148: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000115d: DUP4
0000115e: MLOAD
0000115f: AND
00001160: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00001181: SWAP1
00001182: DUP2
00001183: DUP4
00001184: SLOAD
00001185: AND
00001186: OR
00001187: DUP3
00001188: SSTORE
00001189: PUSH1 0x20
0000118b: DUP5
0000118c: ADD
0000118d: MLOAD
0000118e: DUP14
0000118f: DUP4
00001190: ADD
00001191: SSTORE
00001192: PUSH1 0x40
00001194: DUP5
00001195: ADD
00001196: MLOAD
00001197: PUSH1 0x02
00001199: DUP4
0000119a: ADD
0000119b: SSTORE
0000119c: PUSH1 0x03
0000119e: DUP3
0000119f: ADD
000011a0: SWAP1
000011a1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011b6: PUSH1 0x60
000011b8: DUP7
000011b9: ADD
000011ba: MLOAD
000011bb: AND
000011bc: SWAP1
000011bd: DUP3
000011be: SLOAD
000011bf: AND
000011c0: OR
000011c1: SWAP1
000011c2: SSTORE
000011c3: ADD
000011c4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011d9: PUSH1 0x80
000011db: DUP4
000011dc: ADD
000011dd: MLOAD
000011de: AND
000011df: DUP2
000011e0: SLOAD
000011e1: SWAP1
000011e2: PUSH24 0xffffffff0000000000000000000000000000000000000000
000011fb: PUSH1 0xa0
000011fd: DUP6
000011fe: ADD
000011ff: MLOAD
00001200: PUSH1 0xa0
00001202: SHL
00001203: AND
00001204: PUSH25 0xff000000000000000000000000000000000000000000000000
0000121e: PUSH1 0xc0
00001220: DUP7
00001221: ADD
00001222: MLOAD
00001223: ISZERO
00001224: ISZERO
00001225: PUSH1 0xc0
00001227: SHL
00001228: AND
00001229: SWAP2
0000122a: PUSH32 0xffffffffffff0000000000000000000000000000000000000000000000000000
0000124b: PUSH26 0xff00000000000000000000000000000000000000000000000000
00001266: DUP9
00001267: DUP9
00001268: ADD
00001269: MLOAD
0000126a: ISZERO
0000126b: ISZERO
0000126c: PUSH1 0xc8
0000126e: SHL
0000126f: AND
00001270: SWAP5
00001271: AND
00001272: OR
00001273: OR
00001274: OR
00001275: OR
00001276: SWAP1
00001277: SSTORE
00001278: PUSH1 0x40
0000127a: MLOAD
0000127b: SWAP3
0000127c: DUP4
0000127d: MSTORE
0000127e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001293: DUP2
00001294: MLOAD
00001295: AND
00001296: PUSH1 0x20
00001298: DUP5
00001299: ADD
0000129a: MSTORE
0000129b: PUSH1 0x20
0000129d: DUP2
0000129e: ADD
0000129f: MLOAD
000012a0: PUSH1 0x40
000012a2: DUP5
000012a3: ADD
000012a4: MSTORE
000012a5: PUSH1 0x40
000012a7: DUP2
000012a8: ADD
000012a9: MLOAD
000012aa: PUSH1 0x60
000012ac: DUP5
000012ad: ADD
000012ae: MSTORE
000012af: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012c4: PUSH1 0x60
000012c6: DUP3
000012c7: ADD
000012c8: MLOAD
000012c9: AND
000012ca: PUSH1 0x80
000012cc: DUP5
000012cd: ADD
000012ce: MSTORE
000012cf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012e4: PUSH1 0x80
000012e6: DUP3
000012e7: ADD
000012e8: MLOAD
000012e9: AND
000012ea: PUSH1 0xa0
000012ec: DUP5
000012ed: ADD
000012ee: MSTORE
000012ef: PUSH4 0xffffffff
000012f4: PUSH1 0xa0
000012f6: DUP3
000012f7: ADD
000012f8: MLOAD
000012f9: AND
000012fa: PUSH1 0xc0
000012fc: DUP5
000012fd: ADD
000012fe: MSTORE
000012ff: PUSH1 0xc0
00001301: DUP2
00001302: ADD
00001303: MLOAD
00001304: ISZERO
00001305: ISZERO
00001306: DUP3
00001307: DUP5
00001308: ADD
00001309: MSTORE
0000130a: ADD
0000130b: MLOAD
0000130c: ISZERO
0000130d: ISZERO
0000130e: PUSH2 0x0100
00001311: DUP3
00001312: ADD
00001313: MSTORE
00001314: PUSH32 0xb553473e6ca683f7cd71c7abd078d8fe7984e4f7b475c96d7e2fad4244d0adf1
00001335: PUSH2 0x0120
00001338: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000134d: DUP9
0000134e: AND
0000134f: SWAP3
00001350: LOG2
00001351: MUL
00001352: DIV
00001353: PUSH1 0x20
00001355: DUP3
00001356: ADD
00001357: MSTORE
00001358: JUMPDEST
00001359: PUSH1 0x20
0000135b: PUSH1 0x40
0000135d: MLOAD
0000135e: SWAP2
0000135f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001374: DUP2
00001375: MLOAD
00001376: AND
00001377: DUP4
00001378: MSTORE
00001379: ADD
0000137a: MLOAD
0000137b: PUSH1 0x20
0000137d: DUP3
0000137e: ADD
0000137f: MSTORE
00001380: PUSH32 0xe58012850783f5239c792b9394f0264e9c95cf3882980249ae8efc411a921dee
000013a1: PUSH1 0x40
000013a3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013b8: PUSH4 0xffffffff
000013bd: DUP11
000013be: AND
000013bf: SWAP5
000013c0: AND
000013c1: SWAP3
000013c2: LOG3
000013c3: ADD
000013c4: PUSH2 0x0eac
000013c7: JUMP
000013c8: JUMPDEST
000013c9: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
000013ea: PUSH1 0x00
000013ec: MSTORE
000013ed: PUSH1 0x11
000013ef: PUSH1 0x04
000013f1: MSTORE
000013f2: PUSH1 0x24
000013f4: PUSH1 0x00
000013f6: REVERT
000013f7: JUMPDEST
000013f8: SWAP5
000013f9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000140e: PUSH1 0x01
00001410: SWAP7
00001411: AND
00001412: PUSH1 0x00
00001414: MSTORE
00001415: PUSH1 0x20
00001417: MSTORE
00001418: PUSH2 0x1427
0000141b: PUSH1 0x40
0000141d: PUSH1 0x00
0000141f: KECCAK256
00001420: SWAP2
00001421: DUP3
00001422: SLOAD
00001423: PUSH2 0x23f3
00001426: JUMP
00001427: JUMPDEST
00001428: SWAP1
00001429: SSTORE
0000142a: PUSH2 0x1358
0000142d: JUMP
0000142e: JUMPDEST
0000142f: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00001450: PUSH1 0x00
00001452: MSTORE
00001453: PUSH1 0x32
00001455: PUSH1 0x04
00001457: MSTORE
00001458: PUSH1 0x24
0000145a: PUSH1 0x00
0000145c: REVERT
0000145d: JUMPDEST
0000145e: PUSH1 0x04
00001460: PUSH1 0x40
00001462: MLOAD
00001463: PUSH32 0xa24a13a600000000000000000000000000000000000000000000000000000000
00001484: DUP2
00001485: MSTORE
00001486: REVERT
00001487: JUMPDEST
00001488: PUSH1 0x04
0000148a: PUSH1 0x40
0000148c: MLOAD
0000148d: PUSH32 0x5cb045db00000000000000000000000000000000000000000000000000000000
000014ae: DUP2
000014af: MSTORE
000014b0: REVERT
000014b1: JUMPDEST
000014b2: PUSH1 0x04
000014b4: PUSH1 0x40
000014b6: MLOAD
000014b7: PUSH32 0x2f51603500000000000000000000000000000000000000000000000000000000
000014d8: DUP2
000014d9: MSTORE
000014da: REVERT
000014db: JUMPDEST
000014dc: PUSH1 0x04
000014de: PUSH1 0x40
000014e0: MLOAD
000014e1: PUSH32 0x92ed0e8100000000000000000000000000000000000000000000000000000000
00001502: DUP2
00001503: MSTORE
00001504: REVERT
00001505: JUMPDEST
00001506: CALLVALUE
00001507: PUSH2 0x0294
0000150a: JUMPI
0000150b: PUSH1 0x20
0000150d: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
0000152e: CALLDATASIZE
0000152f: ADD
00001530: SLT
00001531: PUSH2 0x0294
00001534: JUMPI
00001535: PUSH1 0x04
00001537: CALLDATALOAD
00001538: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000154d: DUP1
0000154e: DUP3
0000154f: AND
00001550: DUP1
00001551: SWAP3
00001552: SUB
00001553: PUSH2 0x0294
00001556: JUMPI
00001557: PUSH2 0x155e
0000155a: PUSH2 0x2430
0000155d: JUMP
0000155e: JUMPDEST
0000155f: DUP2
00001560: ISZERO
00001561: PUSH2 0x0936
00001564: JUMPI
00001565: PUSH1 0x02
00001567: SLOAD
00001568: SWAP1
00001569: DUP2
0000156a: AND
0000156b: SWAP1
0000156c: DUP3
0000156d: DUP3
0000156e: EQ
0000156f: PUSH2 0x090c
00001572: JUMPI
00001573: PUSH1 0x40
00001575: DUP1
00001576: MLOAD
00001577: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000158c: SWAP4
0000158d: DUP5
0000158e: AND
0000158f: DUP2
00001590: MSTORE
00001591: SWAP3
00001592: DUP5
00001593: AND
00001594: PUSH1 0x20
00001596: DUP5
00001597: ADD
00001598: MSTORE
00001599: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
000015ba: SWAP3
000015bb: PUSH32 0x42e6b4d0f422db8acba71d0435d0dd4e46fadb4a2d99683b66eded85126fb285
000015dc: SWAP2
000015dd: SWAP1
000015de: LOG1
000015df: AND
000015e0: OR
000015e1: PUSH1 0x02
000015e3: SSTORE
000015e4: STOP
000015e5: JUMPDEST
000015e6: CALLVALUE
000015e7: PUSH2 0x0294
000015ea: JUMPI
000015eb: PUSH2 0x0160
000015ee: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
0000160f: CALLDATASIZE
00001610: ADD
00001611: SLT
00001612: PUSH2 0x0294
00001615: JUMPI
00001616: PUSH1 0x24
00001618: CALLDATALOAD
00001619: PUSH8 0xffffffffffffffff
00001622: DUP2
00001623: GT
00001624: PUSH2 0x0294
00001627: JUMPI
00001628: PUSH2 0x1635
0000162b: SWAP1
0000162c: CALLDATASIZE
0000162d: SWAP1
0000162e: PUSH1 0x04
00001630: ADD
00001631: PUSH2 0x22d5
00001634: JUMP
00001635: JUMPDEST
00001636: SWAP1
00001637: PUSH1 0x44
00001639: CALLDATALOAD
0000163a: PUSH8 0xffffffffffffffff
00001643: DUP2
00001644: GT
00001645: PUSH2 0x0294
00001648: JUMPI
00001649: PUSH2 0x1656
0000164c: SWAP1
0000164d: CALLDATASIZE
0000164e: SWAP1
0000164f: PUSH1 0x04
00001651: ADD
00001652: PUSH2 0x22d5
00001655: JUMP
00001656: JUMPDEST
00001657: PUSH1 0x80
00001659: MSTORE
0000165a: SWAP2
0000165b: PUSH1 0x64
0000165d: CALLDATALOAD
0000165e: PUSH8 0xffffffffffffffff
00001667: DUP2
00001668: GT
00001669: PUSH2 0x0294
0000166c: JUMPI
0000166d: PUSH2 0x167a
00001670: SWAP1
00001671: CALLDATASIZE
00001672: SWAP1
00001673: PUSH1 0x04
00001675: ADD
00001676: PUSH2 0x22d5
00001679: JUMP
0000167a: JUMPDEST
0000167b: SWAP3
0000167c: SWAP1
0000167d: SWAP2
0000167e: PUSH1 0x84
00001680: CALLDATALOAD
00001681: PUSH8 0xffffffffffffffff
0000168a: DUP2
0000168b: GT
0000168c: PUSH2 0x0294
0000168f: JUMPI
00001690: PUSH2 0x169d
00001693: SWAP1
00001694: CALLDATASIZE
00001695: SWAP1
00001696: PUSH1 0x04
00001698: ADD
00001699: PUSH2 0x22d5
0000169c: JUMP
0000169d: JUMPDEST
0000169e: SWAP4
0000169f: SWAP1
000016a0: PUSH1 0xa4
000016a2: CALLDATALOAD
000016a3: PUSH8 0xffffffffffffffff
000016ac: DUP2
000016ad: GT
000016ae: PUSH2 0x0294
000016b1: JUMPI
000016b2: PUSH2 0x16bf
000016b5: SWAP1
000016b6: CALLDATASIZE
000016b7: SWAP1
000016b8: PUSH1 0x04
000016ba: ADD
000016bb: PUSH2 0x22d5
000016be: JUMP
000016bf: JUMPDEST
000016c0: SWAP3
000016c1: SWAP1
000016c2: SWAP7
000016c3: PUSH4 0xffffffff
000016c8: PUSH1 0xc4
000016ca: CALLDATALOAD
000016cb: AND
000016cc: PUSH1 0xc4
000016ce: CALLDATALOAD
000016cf: SUB
000016d0: PUSH2 0x0294
000016d3: JUMPI
000016d4: PUSH1 0xe4
000016d6: CALLDATALOAD
000016d7: PUSH8 0xffffffffffffffff
000016e0: DUP2
000016e1: GT
000016e2: PUSH2 0x0294
000016e5: JUMPI
000016e6: PUSH2 0x16f3
000016e9: SWAP1
000016ea: CALLDATASIZE
000016eb: SWAP1
000016ec: PUSH1 0x04
000016ee: ADD
000016ef: PUSH2 0x22d5
000016f2: JUMP
000016f3: JUMPDEST
000016f4: SWAP5
000016f5: SWAP1
000016f6: SWAP6
000016f7: PUSH1 0xff
000016f9: PUSH2 0x0104
000016fc: CALLDATALOAD
000016fd: AND
000016fe: PUSH2 0x0104
00001701: CALLDATALOAD
00001702: SUB
00001703: PUSH2 0x0294
00001706: JUMPI
00001707: PUSH2 0x170e
0000170a: PUSH2 0x25fd
0000170d: JUMP
0000170e: JUMPDEST
0000170f: PUSH2 0x1719
00001712: PUSH1 0xc4
00001714: CALLDATALOAD
00001715: PUSH2 0x2638
00001718: JUMP
00001719: JUMPDEST
0000171a: DUP6
0000171b: ISZERO
0000171c: PUSH2 0x1c3f
0000171f: JUMPI
00001720: DUP9
00001721: DUP7
00001722: EQ
00001723: DUP1
00001724: ISZERO
00001725: SWAP1
00001726: PUSH2 0x1c35
00001729: JUMPI
0000172a: JUMPDEST
0000172b: DUP1
0000172c: ISZERO
0000172d: PUSH2 0x1c2b
00001730: JUMPI
00001731: JUMPDEST
00001732: DUP1
00001733: ISZERO
00001734: PUSH2 0x1c21
00001737: JUMPI
00001738: JUMPDEST
00001739: PUSH2 0x145d
0000173c: JUMPI
0000173d: PUSH1 0x40
0000173f: MLOAD
00001740: CALLER
00001741: PUSH1 0x60
00001743: SHL
00001744: PUSH1 0x20
00001746: DUP3
00001747: ADD
00001748: MSTORE
00001749: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
0000176a: PUSH1 0xc4
0000176c: CALLDATALOAD
0000176d: PUSH1 0xe0
0000176f: SHL
00001770: AND
00001771: PUSH1 0x34
00001773: DUP3
00001774: ADD
00001775: MSTORE
00001776: PUSH2 0x1783
00001779: PUSH1 0x38
0000177b: DUP3
0000177c: ADD
0000177d: DUP12
0000177e: DUP9
0000177f: PUSH2 0x2758
00001782: JUMP
00001783: JUMPDEST
00001784: DUP9
00001785: SWAP1
00001786: PUSH1 0x00
00001788: JUMPDEST
00001789: DUP10
0000178a: DUP2
0000178b: LT
0000178c: PUSH2 0x1bfb
0000178f: JUMPI
00001790: POP
00001791: PUSH1 0x20
00001793: SWAP2
00001794: POP
00001795: PUSH1 0x04
00001797: CALLDATALOAD
00001798: DUP2
00001799: MSTORE
0000179a: ADD
0000179b: DUP2
0000179c: DUP13
0000179d: PUSH1 0x00
0000179f: JUMPDEST
000017a0: DUP7
000017a1: DUP2
000017a2: LT
000017a3: PUSH2 0x1bc4
000017a6: JUMPI
000017a7: POP
000017a8: POP
000017a9: PUSH2 0x17b6
000017ac: PUSH2 0x17e2
000017af: SWAP3
000017b0: DUP6
000017b1: DUP14
000017b2: PUSH2 0x2758
000017b5: JUMP
000017b6: JUMPDEST
000017b7: SUB
000017b8: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
000017d9: DUP2
000017da: ADD
000017db: DUP4
000017dc: MSTORE
000017dd: DUP3
000017de: PUSH2 0x2375
000017e1: JUMP
000017e2: JUMPDEST
000017e3: PUSH1 0x20
000017e5: DUP2
000017e6: MLOAD
000017e7: SWAP2
000017e8: ADD
000017e9: KECCAK256
000017ea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017ff: PUSH1 0x04
00001801: SLOAD
00001802: AND
00001803: SWAP1
00001804: PUSH32 0x19457468657265756d205369676e6564204d6573736167653a0a333200000000
00001825: PUSH1 0x00
00001827: MSTORE
00001828: PUSH1 0x1c
0000182a: MSTORE
0000182b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001840: PUSH2 0x1864
00001843: PUSH2 0x185b
00001846: PUSH2 0x0144
00001849: CALLDATALOAD
0000184a: PUSH2 0x0124
0000184d: CALLDATALOAD
0000184e: PUSH2 0x0104
00001851: CALLDATALOAD
00001852: PUSH1 0x3c
00001854: PUSH1 0x00
00001856: KECCAK256
00001857: PUSH2 0x299d
0000185a: JUMP
0000185b: JUMPDEST
0000185c: SWAP1
0000185d: SWAP3
0000185e: SWAP2
0000185f: SWAP3
00001860: PUSH2 0x2a2e
00001863: JUMP
00001864: JUMPDEST
00001865: AND
00001866: SUB
00001867: PUSH2 0x1b9a
0000186a: JUMPI
0000186b: CALLER
0000186c: PUSH1 0x00
0000186e: MSTORE
0000186f: PUSH1 0x05
00001871: PUSH1 0x20
00001873: MSTORE
00001874: PUSH1 0x40
00001876: PUSH1 0x00
00001878: KECCAK256
00001879: PUSH4 0xffffffff
0000187e: PUSH1 0xc4
00001880: CALLDATALOAD
00001881: AND
00001882: PUSH1 0x00
00001884: MSTORE
00001885: PUSH1 0x20
00001887: MSTORE
00001888: PUSH1 0x40
0000188a: PUSH1 0x00
0000188c: KECCAK256
0000188d: SWAP6
0000188e: PUSH1 0x00
00001890: JUMPDEST
00001891: DUP4
00001892: DUP2
00001893: LT
00001894: PUSH2 0x189d
00001897: JUMPI
00001898: PUSH1 0x01
0000189a: DUP1
0000189b: SSTORE
0000189c: STOP
0000189d: JUMPDEST
0000189e: PUSH2 0x18ab
000018a1: PUSH2 0x01ec
000018a4: DUP3
000018a5: DUP7
000018a6: DUP16
000018a7: PUSH2 0x2306
000018aa: JUMP
000018ab: JUMPDEST
000018ac: SWAP1
000018ad: PUSH2 0x18b7
000018b0: DUP2
000018b1: DUP6
000018b2: DUP14
000018b3: PUSH2 0x2306
000018b6: JUMP
000018b7: JUMPDEST
000018b8: CALLDATALOAD
000018b9: SWAP2
000018ba: PUSH2 0x18c4
000018bd: DUP3
000018be: DUP6
000018bf: DUP14
000018c0: PUSH2 0x2306
000018c3: JUMP
000018c4: JUMPDEST
000018c5: CALLDATALOAD
000018c6: SWAP1
000018c7: PUSH1 0xff
000018c9: DUP3
000018ca: AND
000018cb: DUP3
000018cc: SUB
000018cd: PUSH2 0x0294
000018d0: JUMPI
000018d1: DUP16
000018d2: SWAP4
000018d3: DUP12
000018d4: DUP16
000018d5: SWAP4
000018d6: DUP13
000018d7: SWAP1
000018d8: PUSH2 0x18e2
000018db: DUP8
000018dc: DUP14
000018dd: DUP16
000018de: PUSH2 0x2306
000018e1: JUMP
000018e2: JUMPDEST
000018e3: CALLDATALOAD
000018e4: SWAP3
000018e5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018fa: DUP7
000018fb: AND
000018fc: PUSH1 0x00
000018fe: MSTORE
000018ff: PUSH1 0x20
00001901: MSTORE
00001902: PUSH1 0x40
00001904: PUSH1 0x00
00001906: KECCAK256
00001907: DUP1
00001908: SLOAD
00001909: SWAP1
0000190a: DUP2
0000190b: ISZERO
0000190c: PUSH2 0x1b89
0000190f: JUMPI
00001910: DUP2
00001911: DUP7
00001912: GT
00001913: PUSH2 0x1b89
00001916: JUMPI
00001917: PUSH2 0x1924
0000191a: SWAP2
0000191b: PUSH1 0x00
0000191d: DUP8
0000191e: SWAP3
0000191f: SSTORE
00001920: PUSH2 0x2337
00001923: JUMP
00001924: JUMPDEST
00001925: SWAP6
00001926: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000193b: PUSH1 0x02
0000193d: SLOAD
0000193e: AND
0000193f: SWAP3
00001940: PUSH20 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee
00001955: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000196a: DUP9
0000196b: AND
0000196c: EQ
0000196d: PUSH1 0x00
0000196f: EQ
00001970: PUSH2 0x1ab3
00001973: JUMPI
00001974: POP
00001975: POP
00001976: DUP2
00001977: EXTCODESIZE
00001978: ISZERO
00001979: PUSH2 0x0294
0000197c: JUMPI
0000197d: PUSH1 0x00
0000197f: SWAP4
00001980: PUSH1 0xff
00001982: SWAP2
00001983: PUSH2 0x19fa
00001986: PUSH1 0x40
00001988: MLOAD
00001989: SWAP11
0000198a: DUP12
0000198b: SWAP7
0000198c: DUP8
0000198d: SWAP6
0000198e: DUP7
0000198f: SWAP5
00001990: PUSH32 0xade1721e00000000000000000000000000000000000000000000000000000000
000019b1: DUP7
000019b2: MSTORE
000019b3: PUSH20 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee
000019c8: PUSH1 0x04
000019ca: DUP8
000019cb: ADD
000019cc: MSTORE
000019cd: DUP11
000019ce: PUSH1 0x24
000019d0: DUP8
000019d1: ADD
000019d2: MSTORE
000019d3: AND
000019d4: PUSH1 0x44
000019d6: DUP6
000019d7: ADD
000019d8: MSTORE
000019d9: DUP5
000019da: PUSH1 0x64
000019dc: DUP6
000019dd: ADD
000019de: MSTORE
000019df: PUSH1 0x84
000019e1: DUP5
000019e2: ADD
000019e3: MSTORE
000019e4: PUSH2 0x0100
000019e7: PUSH1 0xa4
000019e9: DUP5
000019ea: ADD
000019eb: MSTORE
000019ec: PUSH2 0x0104
000019ef: DUP4
000019f0: ADD
000019f1: SWAP1
000019f2: PUSH1 0x80
000019f4: MLOAD
000019f5: SWAP1
000019f6: PUSH2 0x23b6
000019f9: JUMP
000019fa: JUMPDEST
000019fb: CALLER
000019fc: PUSH1 0xc4
000019fe: DUP4
000019ff: ADD
00001a00: MSTORE
00001a01: PUSH4 0xffffffff
00001a06: PUSH1 0xc4
00001a08: CALLDATALOAD
00001a09: AND
00001a0a: PUSH1 0xe4
00001a0c: DUP4
00001a0d: ADD
00001a0e: MSTORE
00001a0f: SUB
00001a10: SWAP3
00001a11: GAS
00001a12: CALL
00001a13: SWAP4
00001a14: DUP5
00001a15: ISZERO
00001a16: PUSH2 0x0650
00001a19: JUMPI
00001a1a: PUSH1 0x01
00001a1c: SWAP5
00001a1d: PUSH2 0x1aa4
00001a20: JUMPI
00001a21: JUMPDEST
00001a22: POP
00001a23: JUMPDEST
00001a24: DUP2
00001a25: PUSH2 0x1a32
00001a28: JUMPI
00001a29: JUMPDEST
00001a2a: POP
00001a2b: POP
00001a2c: JUMPDEST
00001a2d: ADD
00001a2e: PUSH2 0x1890
00001a31: JUMP
00001a32: JUMPDEST
00001a33: PUSH2 0x1a3d
00001a36: DUP3
00001a37: CALLER
00001a38: DUP4
00001a39: PUSH2 0x278c
00001a3c: JUMP
00001a3d: JUMPDEST
00001a3e: PUSH32 0x4978506686bd9ae370ab4cd6b1b3093dad6682e7840df229a6534e9dc4ba5223
00001a5f: PUSH1 0x40
00001a61: MLOAD
00001a62: DUP1
00001a63: PUSH2 0x1a9a
00001a66: PUSH4 0xffffffff
00001a6b: PUSH1 0xc4
00001a6d: CALLDATALOAD
00001a6e: AND
00001a6f: SWAP6
00001a70: CALLER
00001a71: SWAP6
00001a72: DUP4
00001a73: PUSH1 0x20
00001a75: SWAP1
00001a76: SWAP4
00001a77: SWAP3
00001a78: SWAP2
00001a79: SWAP4
00001a7a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a8f: PUSH1 0x40
00001a91: DUP3
00001a92: ADD
00001a93: SWAP6
00001a94: AND
00001a95: DUP2
00001a96: MSTORE
00001a97: ADD
00001a98: MSTORE
00001a99: JUMP
00001a9a: JUMPDEST
00001a9b: SUB
00001a9c: SWAP1
00001a9d: LOG3
00001a9e: DUP15
00001a9f: DUP1
00001aa0: PUSH2 0x1a29
00001aa3: JUMP
00001aa4: JUMPDEST
00001aa5: PUSH2 0x1aad
00001aa8: SWAP1
00001aa9: PUSH2 0x2344
00001aac: JUMP
00001aad: JUMPDEST
00001aae: CODESIZE
00001aaf: PUSH2 0x1a21
00001ab2: JUMP
00001ab3: JUMPDEST
00001ab4: PUSH2 0x1ac3
00001ab7: SWAP2
00001ab8: DUP10
00001ab9: SWAP2
00001aba: SWAP11
00001abb: SWAP6
00001abc: SWAP7
00001abd: SWAP4
00001abe: SWAP11
00001abf: PUSH2 0x2306
00001ac2: JUMP
00001ac3: JUMPDEST
00001ac4: CALLDATALOAD
00001ac5: SWAP3
00001ac6: DUP3
00001ac7: EXTCODESIZE
00001ac8: ISZERO
00001ac9: PUSH2 0x0294
00001acc: JUMPI
00001acd: DUP6
00001ace: PUSH2 0x1b4d
00001ad1: PUSH1 0x00
00001ad3: SWAP7
00001ad4: SWAP3
00001ad5: DUP8
00001ad6: SWAP4
00001ad7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001aec: SWAP6
00001aed: PUSH1 0xff
00001aef: PUSH1 0x40
00001af1: MLOAD
00001af2: SWAP15
00001af3: DUP16
00001af4: SWAP11
00001af5: DUP12
00001af6: SWAP10
00001af7: DUP11
00001af8: SWAP9
00001af9: PUSH32 0xade1721e00000000000000000000000000000000000000000000000000000000
00001b1a: DUP11
00001b1b: MSTORE
00001b1c: AND
00001b1d: PUSH1 0x04
00001b1f: DUP10
00001b20: ADD
00001b21: MSTORE
00001b22: PUSH1 0x24
00001b24: DUP9
00001b25: ADD
00001b26: MSTORE
00001b27: AND
00001b28: PUSH1 0x44
00001b2a: DUP7
00001b2b: ADD
00001b2c: MSTORE
00001b2d: PUSH1 0x64
00001b2f: DUP6
00001b30: ADD
00001b31: MSTORE
00001b32: PUSH1 0x84
00001b34: DUP5
00001b35: ADD
00001b36: MSTORE
00001b37: PUSH2 0x0100
00001b3a: PUSH1 0xa4
00001b3c: DUP5
00001b3d: ADD
00001b3e: MSTORE
00001b3f: PUSH2 0x0104
00001b42: DUP4
00001b43: ADD
00001b44: SWAP1
00001b45: PUSH1 0x80
00001b47: MLOAD
00001b48: SWAP1
00001b49: PUSH2 0x23b6
00001b4c: JUMP
00001b4d: JUMPDEST
00001b4e: CALLER
00001b4f: PUSH1 0xc4
00001b51: DUP4
00001b52: ADD
00001b53: MSTORE
00001b54: PUSH4 0xffffffff
00001b59: PUSH1 0xc4
00001b5b: CALLDATALOAD
00001b5c: AND
00001b5d: PUSH1 0xe4
00001b5f: DUP4
00001b60: ADD
00001b61: MSTORE
00001b62: SUB
00001b63: SWAP3
00001b64: GAS
00001b65: CALL
00001b66: SWAP4
00001b67: DUP5
00001b68: ISZERO
00001b69: PUSH2 0x0650
00001b6c: JUMPI
00001b6d: PUSH1 0x01
00001b6f: SWAP5
00001b70: PUSH2 0x1b7a
00001b73: JUMPI
00001b74: JUMPDEST
00001b75: POP
00001b76: PUSH2 0x1a23
00001b79: JUMP
00001b7a: JUMPDEST
00001b7b: PUSH2 0x1b83
00001b7e: SWAP1
00001b7f: PUSH2 0x2344
00001b82: JUMP
00001b83: JUMPDEST
00001b84: CODESIZE
00001b85: PUSH2 0x1b74
00001b88: JUMP
00001b89: JUMPDEST
00001b8a: POP
00001b8b: POP
00001b8c: POP
00001b8d: POP
00001b8e: POP
00001b8f: POP
00001b90: POP
00001b91: POP
00001b92: PUSH1 0x01
00001b94: SWAP2
00001b95: POP
00001b96: PUSH2 0x1a2c
00001b99: JUMP
00001b9a: JUMPDEST
00001b9b: PUSH1 0x04
00001b9d: PUSH1 0x40
00001b9f: MLOAD
00001ba0: PUSH32 0x8baa579f00000000000000000000000000000000000000000000000000000000
00001bc1: DUP2
00001bc2: MSTORE
00001bc3: REVERT
00001bc4: JUMPDEST
00001bc5: SWAP2
00001bc6: POP
00001bc7: SWAP2
00001bc8: PUSH1 0x20
00001bca: DUP1
00001bcb: PUSH1 0x01
00001bcd: SWAP3
00001bce: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001be3: PUSH2 0x1beb
00001be6: DUP8
00001be7: PUSH2 0x22b4
00001bea: JUMP
00001beb: JUMPDEST
00001bec: AND
00001bed: DUP2
00001bee: MSTORE
00001bef: ADD
00001bf0: SWAP4
00001bf1: ADD
00001bf2: SWAP2
00001bf3: ADD
00001bf4: SWAP1
00001bf5: DUP4
00001bf6: SWAP2
00001bf7: PUSH2 0x179f
00001bfa: JUMP
00001bfb: JUMPDEST
00001bfc: SWAP1
00001bfd: DUP3
00001bfe: CALLDATALOAD
00001bff: SWAP1
00001c00: PUSH1 0xff
00001c02: DUP3
00001c03: AND
00001c04: DUP3
00001c05: SUB
00001c06: PUSH2 0x0294
00001c09: JUMPI
00001c0a: PUSH1 0xff
00001c0c: SWAP2
00001c0d: SWAP1
00001c0e: SWAP2
00001c0f: AND
00001c10: DUP2
00001c11: MSTORE
00001c12: PUSH1 0x20
00001c14: SWAP3
00001c15: DUP4
00001c16: ADD
00001c17: SWAP3
00001c18: ADD
00001c19: SWAP1
00001c1a: PUSH1 0x01
00001c1c: ADD
00001c1d: PUSH2 0x1788
00001c20: JUMP
00001c21: JUMPDEST
00001c22: POP
00001c23: DUP3
00001c24: DUP2
00001c25: EQ
00001c26: ISZERO
00001c27: PUSH2 0x1738
00001c2a: JUMP
00001c2b: JUMPDEST
00001c2c: POP
00001c2d: DUP1
00001c2e: DUP3
00001c2f: EQ
00001c30: ISZERO
00001c31: PUSH2 0x1731
00001c34: JUMP
00001c35: JUMPDEST
00001c36: POP
00001c37: DUP2
00001c38: DUP10
00001c39: EQ
00001c3a: ISZERO
00001c3b: PUSH2 0x172a
00001c3e: JUMP
00001c3f: JUMPDEST
00001c40: PUSH1 0x04
00001c42: PUSH1 0x40
00001c44: MLOAD
00001c45: PUSH32 0x0f59b9ff00000000000000000000000000000000000000000000000000000000
00001c66: DUP2
00001c67: MSTORE
00001c68: REVERT
00001c69: JUMPDEST
00001c6a: CALLVALUE
00001c6b: PUSH2 0x0294
00001c6e: JUMPI
00001c6f: PUSH1 0x00
00001c71: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00001c92: CALLDATASIZE
00001c93: ADD
00001c94: SLT
00001c95: PUSH2 0x0294
00001c98: JUMPI
00001c99: PUSH1 0x20
00001c9b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cb0: PUSH1 0x04
00001cb2: SLOAD
00001cb3: AND
00001cb4: PUSH1 0x40
00001cb6: MLOAD
00001cb7: SWAP1
00001cb8: DUP2
00001cb9: MSTORE
00001cba: RETURN
00001cbb: JUMPDEST
00001cbc: CALLVALUE
00001cbd: PUSH2 0x0294
00001cc0: JUMPI
00001cc1: PUSH1 0x20
00001cc3: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00001ce4: CALLDATASIZE
00001ce5: ADD
00001ce6: SLT
00001ce7: PUSH2 0x0294
00001cea: JUMPI
00001ceb: PUSH4 0xffffffff
00001cf0: PUSH2 0x1cf7
00001cf3: PUSH2 0x22a1
00001cf6: JUMP
00001cf7: JUMPDEST
00001cf8: AND
00001cf9: PUSH1 0x00
00001cfb: MSTORE
00001cfc: PUSH1 0x08
00001cfe: PUSH1 0x20
00001d00: MSTORE
00001d01: PUSH1 0x20
00001d03: PUSH1 0xff
00001d05: PUSH1 0x40
00001d07: PUSH1 0x00
00001d09: KECCAK256
00001d0a: SLOAD
00001d0b: AND
00001d0c: PUSH1 0x40
00001d0e: MLOAD
00001d0f: SWAP1
00001d10: ISZERO
00001d11: ISZERO
00001d12: DUP2
00001d13: MSTORE
00001d14: RETURN
00001d15: JUMPDEST
00001d16: CALLVALUE
00001d17: PUSH2 0x0294
00001d1a: JUMPI
00001d1b: PUSH1 0x20
00001d1d: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00001d3e: CALLDATASIZE
00001d3f: ADD
00001d40: SLT
00001d41: PUSH2 0x0294
00001d44: JUMPI
00001d45: PUSH1 0x04
00001d47: CALLDATALOAD
00001d48: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d5d: DUP1
00001d5e: DUP3
00001d5f: AND
00001d60: DUP1
00001d61: SWAP3
00001d62: SUB
00001d63: PUSH2 0x0294
00001d66: JUMPI
00001d67: PUSH2 0x1d6e
00001d6a: PUSH2 0x2430
00001d6d: JUMP
00001d6e: JUMPDEST
00001d6f: DUP2
00001d70: ISZERO
00001d71: PUSH2 0x0936
00001d74: JUMPI
00001d75: PUSH1 0x03
00001d77: SLOAD
00001d78: SWAP1
00001d79: DUP2
00001d7a: AND
00001d7b: SWAP1
00001d7c: DUP3
00001d7d: DUP3
00001d7e: EQ
00001d7f: PUSH2 0x090c
00001d82: JUMPI
00001d83: PUSH1 0x40
00001d85: DUP1
00001d86: MLOAD
00001d87: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d9c: SWAP4
00001d9d: DUP5
00001d9e: AND
00001d9f: DUP2
00001da0: MSTORE
00001da1: SWAP3
00001da2: DUP5
00001da3: AND
00001da4: PUSH1 0x20
00001da6: DUP5
00001da7: ADD
00001da8: MSTORE
00001da9: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00001dca: SWAP3
00001dcb: PUSH31 0x417c05d994b1f17cbd0a35478a8d12a4dee347b83ac2ee18d52add18e0b061
00001deb: SWAP2
00001dec: SWAP1
00001ded: LOG1
00001dee: AND
00001def: OR
00001df0: PUSH1 0x03
00001df2: SSTORE
00001df3: STOP
00001df4: JUMPDEST
00001df5: CALLVALUE
00001df6: PUSH2 0x0294
00001df9: JUMPI
00001dfa: PUSH1 0x40
00001dfc: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00001e1d: CALLDATASIZE
00001e1e: ADD
00001e1f: SLT
00001e20: PUSH2 0x0294
00001e23: JUMPI
00001e24: PUSH2 0x1e2b
00001e27: PUSH2 0x22a1
00001e2a: JUMP
00001e2b: JUMPDEST
00001e2c: PUSH1 0x24
00001e2e: CALLDATALOAD
00001e2f: SWAP1
00001e30: DUP2
00001e31: ISZERO
00001e32: ISZERO
00001e33: DUP1
00001e34: SWAP3
00001e35: SUB
00001e36: PUSH2 0x0294
00001e39: JUMPI
00001e3a: CALLER
00001e3b: PUSH1 0x00
00001e3d: SWAP1
00001e3e: DUP2
00001e3f: MSTORE
00001e40: PUSH32 0x344c38c63afa63cc0790d03fd9f5e1b1e0cb81e2f69d7bd71f512be2ba8de6de
00001e61: PUSH1 0x20
00001e63: MSTORE
00001e64: PUSH1 0x40
00001e66: SWAP1
00001e67: KECCAK256
00001e68: SLOAD
00001e69: PUSH32 0x28d695c7dfc0dc20c36b38cc22e861d8a3c0da73ef3975e85a4bf12193642a5c
00001e8a: SWAP1
00001e8b: PUSH1 0xff
00001e8d: AND
00001e8e: ISZERO
00001e8f: PUSH2 0x1f22
00001e92: JUMPI
00001e93: POP
00001e94: PUSH4 0xffffffff
00001e99: AND
00001e9a: DUP1
00001e9b: PUSH1 0x00
00001e9d: MSTORE
00001e9e: PUSH1 0x08
00001ea0: PUSH1 0x20
00001ea2: MSTORE
00001ea3: PUSH1 0xff
00001ea5: PUSH1 0x40
00001ea7: PUSH1 0x00
00001ea9: KECCAK256
00001eaa: SLOAD
00001eab: AND
00001eac: ISZERO
00001ead: ISZERO
00001eae: DUP3
00001eaf: DUP2
00001eb0: EQ
00001eb1: PUSH2 0x090c
00001eb4: JUMPI
00001eb5: PUSH1 0x40
00001eb7: PUSH32 0x747f56458041cea2ada41de00c95f1a8dc602dfa334765aafe548611948502d2
00001ed8: SWAP2
00001ed9: DUP2
00001eda: MLOAD
00001edb: SWAP1
00001edc: DUP2
00001edd: MSTORE
00001ede: DUP5
00001edf: PUSH1 0x20
00001ee1: DUP3
00001ee2: ADD
00001ee3: MSTORE
00001ee4: LOG1
00001ee5: PUSH1 0x00
00001ee7: MSTORE
00001ee8: PUSH1 0x08
00001eea: PUSH1 0x20
00001eec: MSTORE
00001eed: PUSH1 0x40
00001eef: PUSH1 0x00
00001ef1: KECCAK256
00001ef2: SWAP1
00001ef3: PUSH1 0xff
00001ef5: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
00001f16: DUP4
00001f17: SLOAD
00001f18: AND
00001f19: SWAP2
00001f1a: AND
00001f1b: OR
00001f1c: SWAP1
00001f1d: SSTORE
00001f1e: PUSH1 0x00
00001f20: DUP1
00001f21: RETURN
00001f22: JUMPDEST
00001f23: PUSH1 0x44
00001f25: SWAP1
00001f26: PUSH1 0x40
00001f28: MLOAD
00001f29: SWAP1
00001f2a: PUSH32 0xe2517d3f00000000000000000000000000000000000000000000000000000000
00001f4b: DUP3
00001f4c: MSTORE
00001f4d: CALLER
00001f4e: PUSH1 0x04
00001f50: DUP4
00001f51: ADD
00001f52: MSTORE
00001f53: PUSH1 0x24
00001f55: DUP3
00001f56: ADD
00001f57: MSTORE
00001f58: REVERT
00001f59: JUMPDEST
00001f5a: CALLVALUE
00001f5b: PUSH2 0x0294
00001f5e: JUMPI
00001f5f: PUSH1 0x20
00001f61: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00001f82: CALLDATASIZE
00001f83: ADD
00001f84: SLT
00001f85: PUSH2 0x0294
00001f88: JUMPI
00001f89: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f9e: PUSH2 0x1fa5
00001fa1: PUSH2 0x2248
00001fa4: JUMP
00001fa5: JUMPDEST
00001fa6: AND
00001fa7: PUSH1 0x00
00001fa9: MSTORE
00001faa: PUSH1 0x07
00001fac: PUSH1 0x20
00001fae: MSTORE
00001faf: PUSH1 0x20
00001fb1: PUSH1 0x40
00001fb3: PUSH1 0x00
00001fb5: KECCAK256
00001fb6: SLOAD
00001fb7: PUSH1 0x40
00001fb9: MLOAD
00001fba: SWAP1
00001fbb: DUP2
00001fbc: MSTORE
00001fbd: RETURN
00001fbe: JUMPDEST
00001fbf: CALLVALUE
00001fc0: PUSH2 0x0294
00001fc3: JUMPI
00001fc4: PUSH1 0x40
00001fc6: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00001fe7: CALLDATASIZE
00001fe8: ADD
00001fe9: SLT
00001fea: PUSH2 0x0294
00001fed: JUMPI
00001fee: PUSH2 0x1ff5
00001ff1: PUSH2 0x226b
00001ff4: JUMP
00001ff5: JUMPDEST
00001ff6: CALLER
00001ff7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000200c: DUP3
0000200d: AND
0000200e: SUB
0000200f: PUSH2 0x201e
00002012: JUMPI
00002013: PUSH2 0x001b
00002016: SWAP1
00002017: PUSH1 0x04
00002019: CALLDATALOAD
0000201a: PUSH2 0x255c
0000201d: JUMP
0000201e: JUMPDEST
0000201f: PUSH1 0x04
00002021: PUSH1 0x40
00002023: MLOAD
00002024: PUSH32 0x6697b23200000000000000000000000000000000000000000000000000000000
00002045: DUP2
00002046: MSTORE
00002047: REVERT
00002048: JUMPDEST
00002049: CALLVALUE
0000204a: PUSH2 0x0294
0000204d: JUMPI
0000204e: PUSH1 0x40
00002050: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00002071: CALLDATASIZE
00002072: ADD
00002073: SLT
00002074: PUSH2 0x0294
00002077: JUMPI
00002078: PUSH2 0x001b
0000207b: PUSH1 0x04
0000207d: CALLDATALOAD
0000207e: PUSH2 0x2085
00002081: PUSH2 0x226b
00002084: JUMP
00002085: JUMPDEST
00002086: SWAP1
00002087: DUP1
00002088: PUSH1 0x00
0000208a: MSTORE
0000208b: PUSH1 0x00
0000208d: PUSH1 0x20
0000208f: MSTORE
00002090: PUSH2 0x20a0
00002093: PUSH1 0x01
00002095: PUSH1 0x40
00002097: PUSH1 0x00
00002099: KECCAK256
0000209a: ADD
0000209b: SLOAD
0000209c: PUSH2 0x248c
0000209f: JUMP
000020a0: JUMPDEST
000020a1: PUSH2 0x24b2
000020a4: JUMP
000020a5: JUMPDEST
000020a6: CALLVALUE
000020a7: PUSH2 0x0294
000020aa: JUMPI
000020ab: PUSH1 0x20
000020ad: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
000020ce: CALLDATASIZE
000020cf: ADD
000020d0: SLT
000020d1: PUSH2 0x0294
000020d4: JUMPI
000020d5: PUSH1 0x04
000020d7: CALLDATALOAD
000020d8: PUSH1 0x00
000020da: MSTORE
000020db: PUSH1 0x00
000020dd: PUSH1 0x20
000020df: MSTORE
000020e0: PUSH1 0x20
000020e2: PUSH1 0x01
000020e4: PUSH1 0x40
000020e6: PUSH1 0x00
000020e8: KECCAK256
000020e9: ADD
000020ea: SLOAD
000020eb: PUSH1 0x40
000020ed: MLOAD
000020ee: SWAP1
000020ef: DUP2
000020f0: MSTORE
000020f1: RETURN
000020f2: JUMPDEST
000020f3: CALLVALUE
000020f4: PUSH2 0x0294
000020f7: JUMPI
000020f8: PUSH1 0x60
000020fa: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
0000211b: CALLDATASIZE
0000211c: ADD
0000211d: SLT
0000211e: PUSH2 0x0294
00002121: JUMPI
00002122: PUSH2 0x2129
00002125: PUSH2 0x2248
00002128: JUMP
00002129: JUMPDEST
0000212a: PUSH2 0x2131
0000212d: PUSH2 0x228e
00002130: JUMP
00002131: JUMPDEST
00002132: PUSH1 0x44
00002134: CALLDATALOAD
00002135: SWAP2
00002136: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000214b: SWAP1
0000214c: DUP2
0000214d: DUP5
0000214e: AND
0000214f: DUP1
00002150: SWAP5
00002151: SUB
00002152: PUSH2 0x0294
00002155: JUMPI
00002156: AND
00002157: PUSH1 0x00
00002159: MSTORE
0000215a: PUSH1 0x05
0000215c: PUSH1 0x20
0000215e: MSTORE
0000215f: PUSH4 0xffffffff
00002164: PUSH1 0x40
00002166: PUSH1 0x00
00002168: KECCAK256
00002169: SWAP2
0000216a: AND
0000216b: PUSH1 0x00
0000216d: MSTORE
0000216e: PUSH1 0x20
00002170: MSTORE
00002171: PUSH1 0x40
00002173: PUSH1 0x00
00002175: KECCAK256
00002176: SWAP1
00002177: PUSH1 0x00
00002179: MSTORE
0000217a: PUSH1 0x20
0000217c: MSTORE
0000217d: PUSH1 0x20
0000217f: PUSH1 0x40
00002181: PUSH1 0x00
00002183: KECCAK256
00002184: SLOAD
00002185: PUSH1 0x40
00002187: MLOAD
00002188: SWAP1
00002189: DUP2
0000218a: MSTORE
0000218b: RETURN
0000218c: JUMPDEST
0000218d: CALLVALUE
0000218e: PUSH2 0x0294
00002191: JUMPI
00002192: PUSH1 0x20
00002194: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
000021b5: CALLDATASIZE
000021b6: ADD
000021b7: SLT
000021b8: PUSH2 0x0294
000021bb: JUMPI
000021bc: PUSH1 0x04
000021be: CALLDATALOAD
000021bf: SWAP1
000021c0: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
000021e1: DUP3
000021e2: AND
000021e3: DUP1
000021e4: SWAP3
000021e5: SUB
000021e6: PUSH2 0x0294
000021e9: JUMPI
000021ea: DUP2
000021eb: PUSH32 0x7965db0b00000000000000000000000000000000000000000000000000000000
0000220c: PUSH1 0x20
0000220e: SWAP4
0000220f: EQ
00002210: SWAP1
00002211: DUP2
00002212: ISZERO
00002213: PUSH2 0x221e
00002216: JUMPI
00002217: JUMPDEST
00002218: POP
00002219: ISZERO
0000221a: ISZERO
0000221b: DUP2
0000221c: MSTORE
0000221d: RETURN
0000221e: JUMPDEST
0000221f: PUSH32 0x01ffc9a700000000000000000000000000000000000000000000000000000000
00002240: SWAP2
00002241: POP
00002242: EQ
00002243: DUP4
00002244: PUSH2 0x2217
00002247: JUMP
00002248: JUMPDEST
00002249: PUSH1 0x04
0000224b: CALLDATALOAD
0000224c: SWAP1
0000224d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002262: DUP3
00002263: AND
00002264: DUP3
00002265: SUB
00002266: PUSH2 0x0294
00002269: JUMPI
0000226a: JUMP
0000226b: JUMPDEST
0000226c: PUSH1 0x24
0000226e: CALLDATALOAD
0000226f: SWAP1
00002270: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002285: DUP3
00002286: AND
00002287: DUP3
00002288: SUB
00002289: PUSH2 0x0294
0000228c: JUMPI
0000228d: JUMP
0000228e: JUMPDEST
0000228f: PUSH1 0x24
00002291: CALLDATALOAD
00002292: SWAP1
00002293: PUSH4 0xffffffff
00002298: DUP3
00002299: AND
0000229a: DUP3
0000229b: SUB
0000229c: PUSH2 0x0294
0000229f: JUMPI
000022a0: JUMP
000022a1: JUMPDEST
000022a2: PUSH1 0x04
000022a4: CALLDATALOAD
000022a5: SWAP1
000022a6: PUSH4 0xffffffff
000022ab: DUP3
000022ac: AND
000022ad: DUP3
000022ae: SUB
000022af: PUSH2 0x0294
000022b2: JUMPI
000022b3: JUMP
000022b4: JUMPDEST
000022b5: CALLDATALOAD
000022b6: SWAP1
000022b7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000022cc: DUP3
000022cd: AND
000022ce: DUP3
000022cf: SUB
000022d0: PUSH2 0x0294
000022d3: JUMPI
000022d4: JUMP
000022d5: JUMPDEST
000022d6: SWAP2
000022d7: DUP2
000022d8: PUSH1 0x1f
000022da: DUP5
000022db: ADD
000022dc: SLT
000022dd: ISZERO
000022de: PUSH2 0x0294
000022e1: JUMPI
000022e2: DUP3
000022e3: CALLDATALOAD
000022e4: SWAP2
000022e5: PUSH8 0xffffffffffffffff
000022ee: DUP4
000022ef: GT
000022f0: PUSH2 0x0294
000022f3: JUMPI
000022f4: PUSH1 0x20
000022f6: DUP1
000022f7: DUP6
000022f8: ADD
000022f9: SWAP5
000022fa: DUP5
000022fb: PUSH1 0x05
000022fd: SHL
000022fe: ADD
000022ff: ADD
00002300: GT
00002301: PUSH2 0x0294
00002304: JUMPI
00002305: JUMP
00002306: JUMPDEST
00002307: SWAP2
00002308: SWAP1
00002309: DUP2
0000230a: LT
0000230b: ISZERO
0000230c: PUSH2 0x142e
0000230f: JUMPI
00002310: PUSH1 0x05
00002312: SHL
00002313: ADD
00002314: SWAP1
00002315: JUMP
00002316: JUMPDEST
00002317: CALLDATALOAD
00002318: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000232d: DUP2
0000232e: AND
0000232f: DUP2
00002330: SUB
00002331: PUSH2 0x0294
00002334: JUMPI
00002335: SWAP1
00002336: JUMP
00002337: JUMPDEST
00002338: SWAP2
00002339: SWAP1
0000233a: DUP3
0000233b: SUB
0000233c: SWAP2
0000233d: DUP3
0000233e: GT
0000233f: PUSH2 0x13c8
00002342: JUMPI
00002343: JUMP
00002344: JUMPDEST
00002345: PUSH8 0xffffffffffffffff
0000234e: DUP2
0000234f: GT
00002350: PUSH2 0x0b23
00002353: JUMPI
00002354: PUSH1 0x40
00002356: MSTORE
00002357: JUMP
00002358: JUMPDEST
00002359: PUSH2 0x0100
0000235c: DUP2
0000235d: ADD
0000235e: SWAP1
0000235f: DUP2
00002360: LT
00002361: PUSH8 0xffffffffffffffff
0000236a: DUP3
0000236b: GT
0000236c: OR
0000236d: PUSH2 0x0b23
00002370: JUMPI
00002371: PUSH1 0x40
00002373: MSTORE
00002374: JUMP
00002375: JUMPDEST
00002376: SWAP1
00002377: PUSH1 0x1f
00002379: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
0000239a: SWAP2
0000239b: ADD
0000239c: AND
0000239d: DUP2
0000239e: ADD
0000239f: SWAP1
000023a0: DUP2
000023a1: LT
000023a2: PUSH8 0xffffffffffffffff
000023ab: DUP3
000023ac: GT
000023ad: OR
000023ae: PUSH2 0x0b23
000023b1: JUMPI
000023b2: PUSH1 0x40
000023b4: MSTORE
000023b5: JUMP
000023b6: JUMPDEST
000023b7: SWAP1
000023b8: SWAP2
000023b9: DUP3
000023ba: DUP2
000023bb: MSTORE
000023bc: PUSH32 0x07ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000023dd: DUP4
000023de: GT
000023df: PUSH2 0x0294
000023e2: JUMPI
000023e3: PUSH1 0x20
000023e5: SWAP3
000023e6: PUSH1 0x05
000023e8: SHL
000023e9: DUP1
000023ea: SWAP3
000023eb: DUP5
000023ec: DUP4
000023ed: ADD
000023ee: CALLDATACOPY
000023ef: ADD
000023f0: ADD
000023f1: SWAP1
000023f2: JUMP
000023f3: JUMPDEST
000023f4: SWAP2
000023f5: SWAP1
000023f6: DUP3
000023f7: ADD
000023f8: DUP1
000023f9: SWAP3
000023fa: GT
000023fb: PUSH2 0x13c8
000023fe: JUMPI
000023ff: JUMP
00002400: JUMPDEST
00002401: SWAP1
00002402: DUP2
00002403: PUSH1 0x20
00002405: SWAP2
00002406: SUB
00002407: SLT
00002408: PUSH2 0x0294
0000240b: JUMPI
0000240c: MLOAD
0000240d: DUP1
0000240e: ISZERO
0000240f: ISZERO
00002410: DUP2
00002411: SUB
00002412: PUSH2 0x0294
00002415: JUMPI
00002416: SWAP1
00002417: JUMP
00002418: JUMPDEST
00002419: SWAP1
0000241a: DUP2
0000241b: PUSH1 0x20
0000241d: SWAP2
0000241e: SUB
0000241f: SLT
00002420: PUSH2 0x0294
00002423: JUMPI
00002424: MLOAD
00002425: PUSH1 0x03
00002427: DUP2
00002428: LT
00002429: ISZERO
0000242a: PUSH2 0x0294
0000242d: JUMPI
0000242e: SWAP1
0000242f: JUMP
00002430: JUMPDEST
00002431: CALLER
00002432: PUSH1 0x00
00002434: SWAP1
00002435: DUP2
00002436: MSTORE
00002437: PUSH32 0x5cbfc8ee58ca47855df7bcf648dd304ddb6b932f9b87878bdf6318d7ec7ee5b7
00002458: PUSH1 0x20
0000245a: MSTORE
0000245b: PUSH1 0x40
0000245d: SWAP1
0000245e: KECCAK256
0000245f: SLOAD
00002460: PUSH32 0xdf8b4c520ffe197c5343c6f5aec59570151ef9a492f2c624fd45ddde6135ec42
00002481: SWAP1
00002482: PUSH1 0xff
00002484: AND
00002485: ISZERO
00002486: PUSH2 0x1f22
00002489: JUMPI
0000248a: POP
0000248b: JUMP
0000248c: JUMPDEST
0000248d: DUP1
0000248e: PUSH1 0x00
00002490: MSTORE
00002491: PUSH1 0x00
00002493: PUSH1 0x20
00002495: MSTORE
00002496: PUSH1 0x40
00002498: PUSH1 0x00
0000249a: KECCAK256
0000249b: CALLER
0000249c: PUSH1 0x00
0000249e: MSTORE
0000249f: PUSH1 0x20
000024a1: MSTORE
000024a2: PUSH1 0xff
000024a4: PUSH1 0x40
000024a6: PUSH1 0x00
000024a8: KECCAK256
000024a9: SLOAD
000024aa: AND
000024ab: ISZERO
000024ac: PUSH2 0x1f22
000024af: JUMPI
000024b0: POP
000024b1: JUMP
000024b2: JUMPDEST
000024b3: SWAP1
000024b4: PUSH1 0x00
000024b6: SWAP2
000024b7: DUP1
000024b8: DUP4
000024b9: MSTORE
000024ba: DUP3
000024bb: PUSH1 0x20
000024bd: MSTORE
000024be: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000024d3: PUSH1 0x40
000024d5: DUP5
000024d6: KECCAK256
000024d7: SWAP3
000024d8: AND
000024d9: SWAP2
000024da: DUP3
000024db: DUP5
000024dc: MSTORE
000024dd: PUSH1 0x20
000024df: MSTORE
000024e0: PUSH1 0xff
000024e2: PUSH1 0x40
000024e4: DUP5
000024e5: KECCAK256
000024e6: SLOAD
000024e7: AND
000024e8: ISZERO
000024e9: PUSH1 0x00
000024eb: EQ
000024ec: PUSH2 0x2557
000024ef: JUMPI
000024f0: DUP1
000024f1: DUP4
000024f2: MSTORE
000024f3: DUP3
000024f4: PUSH1 0x20
000024f6: MSTORE
000024f7: PUSH1 0x40
000024f9: DUP4
000024fa: KECCAK256
000024fb: DUP3
000024fc: DUP5
000024fd: MSTORE
000024fe: PUSH1 0x20
00002500: MSTORE
00002501: PUSH1 0x40
00002503: DUP4
00002504: KECCAK256
00002505: PUSH1 0x01
00002507: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
00002528: DUP3
00002529: SLOAD
0000252a: AND
0000252b: OR
0000252c: SWAP1
0000252d: SSTORE
0000252e: PUSH32 0x2f8788117e7eff1d82e926ec794901d17c78024a50270940304540a733656f0d
0000254f: CALLER
00002550: SWAP4
00002551: DUP1
00002552: LOG4
00002553: PUSH1 0x01
00002555: SWAP1
00002556: JUMP
00002557: JUMPDEST
00002558: POP
00002559: POP
0000255a: SWAP1
0000255b: JUMP
0000255c: JUMPDEST
0000255d: SWAP1
0000255e: PUSH1 0x00
00002560: SWAP2
00002561: DUP1
00002562: DUP4
00002563: MSTORE
00002564: DUP3
00002565: PUSH1 0x20
00002567: MSTORE
00002568: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000257d: PUSH1 0x40
0000257f: DUP5
00002580: KECCAK256
00002581: SWAP3
00002582: AND
00002583: SWAP2
00002584: DUP3
00002585: DUP5
00002586: MSTORE
00002587: PUSH1 0x20
00002589: MSTORE
0000258a: PUSH1 0xff
0000258c: PUSH1 0x40
0000258e: DUP5
0000258f: KECCAK256
00002590: SLOAD
00002591: AND
00002592: PUSH1 0x00
00002594: EQ
00002595: PUSH2 0x2557
00002598: JUMPI
00002599: DUP1
0000259a: DUP4
0000259b: MSTORE
0000259c: DUP3
0000259d: PUSH1 0x20
0000259f: MSTORE
000025a0: PUSH1 0x40
000025a2: DUP4
000025a3: KECCAK256
000025a4: DUP3
000025a5: DUP5
000025a6: MSTORE
000025a7: PUSH1 0x20
000025a9: MSTORE
000025aa: PUSH1 0x40
000025ac: DUP4
000025ad: KECCAK256
000025ae: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
000025cf: DUP2
000025d0: SLOAD
000025d1: AND
000025d2: SWAP1
000025d3: SSTORE
000025d4: PUSH32 0xf6391f5c32d9c69d2a47ea670b442974b53935d1edc7fd64eb21e047a839171b
000025f5: CALLER
000025f6: SWAP4
000025f7: DUP1
000025f8: LOG4
000025f9: PUSH1 0x01
000025fb: SWAP1
000025fc: JUMP
000025fd: JUMPDEST
000025fe: PUSH1 0x02
00002600: PUSH1 0x01
00002602: SLOAD
00002603: EQ
00002604: PUSH2 0x260e
00002607: JUMPI
00002608: PUSH1 0x02
0000260a: PUSH1 0x01
0000260c: SSTORE
0000260d: JUMP
0000260e: JUMPDEST
0000260f: PUSH1 0x04
00002611: PUSH1 0x40
00002613: MLOAD
00002614: PUSH32 0x3ee5aeb500000000000000000000000000000000000000000000000000000000
00002635: DUP2
00002636: MSTORE
00002637: REVERT
00002638: JUMPDEST
00002639: PUSH4 0xffffffff
0000263e: AND
0000263f: PUSH1 0x00
00002641: SWAP1
00002642: DUP1
00002643: DUP3
00002644: MSTORE
00002645: PUSH1 0x08
00002647: PUSH1 0x20
00002649: MSTORE
0000264a: PUSH1 0xff
0000264c: PUSH1 0x40
0000264e: DUP4
0000264f: KECCAK256
00002650: SLOAD
00002651: AND
00002652: ISZERO
00002653: PUSH2 0x272e
00002656: JUMPI
00002657: PUSH1 0x60
00002659: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000266e: PUSH1 0x02
00002670: SLOAD
00002671: AND
00002672: SWAP2
00002673: PUSH1 0x24
00002675: PUSH1 0x40
00002677: MLOAD
00002678: DUP1
00002679: SWAP5
0000267a: DUP2
0000267b: SWAP4
0000267c: PUSH32 0x79a6d51f00000000000000000000000000000000000000000000000000000000
0000269d: DUP4
0000269e: MSTORE
0000269f: PUSH1 0x04
000026a1: DUP4
000026a2: ADD
000026a3: MSTORE
000026a4: GAS
000026a5: STATICCALL
000026a6: SWAP2
000026a7: DUP3
000026a8: ISZERO
000026a9: PUSH2 0x2722
000026ac: JUMPI
000026ad: DUP1
000026ae: SWAP3
000026af: PUSH2 0x26e7
000026b2: JUMPI
000026b3: JUMPDEST
000026b4: POP
000026b5: POP
000026b6: TIMESTAMP
000026b7: LT
000026b8: PUSH2 0x26bd
000026bb: JUMPI
000026bc: JUMP
000026bd: JUMPDEST
000026be: PUSH1 0x04
000026c0: PUSH1 0x40
000026c2: MLOAD
000026c3: PUSH32 0xc43172d200000000000000000000000000000000000000000000000000000000
000026e4: DUP2
000026e5: MSTORE
000026e6: REVERT
000026e7: JUMPDEST
000026e8: SWAP1
000026e9: SWAP2
000026ea: POP
000026eb: PUSH1 0x60
000026ed: DUP3
000026ee: RETURNDATASIZE
000026ef: PUSH1 0x60
000026f1: GT
000026f2: PUSH2 0x271a
000026f5: JUMPI
000026f6: JUMPDEST
000026f7: DUP2
000026f8: PUSH2 0x2703
000026fb: PUSH1 0x60
000026fd: SWAP4
000026fe: DUP4
000026ff: PUSH2 0x2375
00002702: JUMP
00002703: JUMPDEST
00002704: DUP2
00002705: ADD
00002706: SUB
00002707: SLT
00002708: PUSH2 0x2717
0000270b: JUMPI
0000270c: POP
0000270d: PUSH1 0x20
0000270f: ADD
00002710: MLOAD
00002711: CODESIZE
00002712: DUP1
00002713: PUSH2 0x26b3
00002716: JUMP
00002717: JUMPDEST
00002718: DUP1
00002719: REVERT
0000271a: JUMPDEST
0000271b: RETURNDATASIZE
0000271c: SWAP2
0000271d: POP
0000271e: PUSH2 0x26f6
00002721: JUMP
00002722: JUMPDEST
00002723: PUSH1 0x40
00002725: MLOAD
00002726: SWAP1
00002727: RETURNDATASIZE
00002728: SWAP1
00002729: DUP3
0000272a: RETURNDATACOPY
0000272b: RETURNDATASIZE
0000272c: SWAP1
0000272d: REVERT
0000272e: JUMPDEST
0000272f: PUSH1 0x04
00002731: PUSH1 0x40
00002733: MLOAD
00002734: PUSH32 0xde69955000000000000000000000000000000000000000000000000000000000
00002755: DUP2
00002756: MSTORE
00002757: REVERT
00002758: JUMPDEST
00002759: SWAP2
0000275a: SWAP1
0000275b: PUSH32 0x07ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0000277c: DUP2
0000277d: GT
0000277e: PUSH2 0x0294
00002781: JUMPI
00002782: PUSH1 0x05
00002784: SHL
00002785: DUP1
00002786: SWAP3
00002787: DUP3
00002788: CALLDATACOPY
00002789: ADD
0000278a: SWAP1
0000278b: JUMP
0000278c: JUMPDEST
0000278d: SWAP1
0000278e: SWAP2
0000278f: SWAP1
00002790: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000027a5: SWAP1
000027a6: DUP2
000027a7: DUP2
000027a8: AND
000027a9: PUSH20 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee
000027be: SUB
000027bf: PUSH2 0x2840
000027c2: JUMPI
000027c3: POP
000027c4: DUP2
000027c5: SELFBALANCE
000027c6: LT
000027c7: PUSH2 0x2810
000027ca: JUMPI
000027cb: PUSH1 0x00
000027cd: SWAP3
000027ce: DUP4
000027cf: SWAP3
000027d0: DUP4
000027d1: SWAP3
000027d2: DUP4
000027d3: SWAP3
000027d4: AND
000027d5: GAS
000027d6: CALL
000027d7: PUSH2 0x27de
000027da: PUSH2 0x28a6
000027dd: JUMP
000027de: JUMPDEST
000027df: POP
000027e0: ISZERO
000027e1: PUSH2 0x27e6
000027e4: JUMPI
000027e5: JUMP
000027e6: JUMPDEST
000027e7: PUSH1 0x04
000027e9: PUSH1 0x40
000027eb: MLOAD
000027ec: PUSH32 0x1425ea4200000000000000000000000000000000000000000000000000000000
0000280d: DUP2
0000280e: MSTORE
0000280f: REVERT
00002810: JUMPDEST
00002811: PUSH1 0x24
00002813: PUSH1 0x40
00002815: MLOAD
00002816: PUSH32 0xcd78605900000000000000000000000000000000000000000000000000000000
00002837: DUP2
00002838: MSTORE
00002839: ADDRESS
0000283a: PUSH1 0x04
0000283c: DUP3
0000283d: ADD
0000283e: MSTORE
0000283f: REVERT
00002840: JUMPDEST
00002841: PUSH1 0x40
00002843: MLOAD
00002844: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000
00002865: PUSH1 0x20
00002867: DUP3
00002868: ADD
00002869: MSTORE
0000286a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000287f: SWAP5
00002880: SWAP1
00002881: SWAP5
00002882: AND
00002883: PUSH1 0x24
00002885: DUP6
00002886: ADD
00002887: MSTORE
00002888: PUSH1 0x44
0000288a: DUP1
0000288b: DUP6
0000288c: ADD
0000288d: SWAP4
0000288e: SWAP1
0000288f: SWAP4
00002890: MSTORE
00002891: SWAP2
00002892: DUP4
00002893: MSTORE
00002894: POP
00002895: PUSH2 0x28a4
00002898: SWAP2
00002899: SWAP1
0000289a: PUSH2 0x0b17
0000289d: PUSH1 0x64
0000289f: DUP4
000028a0: PUSH2 0x2375
000028a3: JUMP
000028a4: JUMPDEST
000028a5: JUMP
000028a6: JUMPDEST
000028a7: RETURNDATASIZE
000028a8: ISZERO
000028a9: PUSH2 0x28ff
000028ac: JUMPI
000028ad: RETURNDATASIZE
000028ae: SWAP1
000028af: PUSH8 0xffffffffffffffff
000028b8: DUP3
000028b9: GT
000028ba: PUSH2 0x0b23
000028bd: JUMPI
000028be: PUSH1 0x40
000028c0: MLOAD
000028c1: SWAP2
000028c2: PUSH2 0x28f3
000028c5: PUSH1 0x20
000028c7: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
000028e8: PUSH1 0x1f
000028ea: DUP5
000028eb: ADD
000028ec: AND
000028ed: ADD
000028ee: DUP5
000028ef: PUSH2 0x2375
000028f2: JUMP
000028f3: JUMPDEST
000028f4: DUP3
000028f5: MSTORE
000028f6: RETURNDATASIZE
000028f7: PUSH1 0x00
000028f9: PUSH1 0x20
000028fb: DUP5
000028fc: ADD
000028fd: RETURNDATACOPY
000028fe: JUMP
000028ff: JUMPDEST
00002900: PUSH1 0x60
00002902: SWAP1
00002903: JUMP
00002904: JUMPDEST
00002905: PUSH1 0x00
00002907: DUP1
00002908: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000291d: PUSH2 0x293b
00002920: SWAP4
00002921: AND
00002922: SWAP4
00002923: PUSH1 0x20
00002925: DUP2
00002926: MLOAD
00002927: SWAP2
00002928: ADD
00002929: DUP3
0000292a: DUP7
0000292b: GAS
0000292c: CALL
0000292d: PUSH2 0x2934
00002930: PUSH2 0x28a6
00002933: JUMP
00002934: JUMPDEST
00002935: SWAP1
00002936: DUP4
00002937: PUSH2 0x2ae6
0000293a: JUMP
0000293b: JUMPDEST
0000293c: DUP1
0000293d: MLOAD
0000293e: SWAP1
0000293f: DUP2
00002940: ISZERO
00002941: ISZERO
00002942: SWAP2
00002943: DUP3
00002944: PUSH2 0x2982
00002947: JUMPI
00002948: JUMPDEST
00002949: POP
0000294a: POP
0000294b: PUSH2 0x2951
0000294e: JUMPI
0000294f: POP
00002950: JUMP
00002951: JUMPDEST
00002952: PUSH1 0x24
00002954: SWAP1
00002955: PUSH1 0x40
00002957: MLOAD
00002958: SWAP1
00002959: PUSH32 0x5274afe700000000000000000000000000000000000000000000000000000000
0000297a: DUP3
0000297b: MSTORE
0000297c: PUSH1 0x04
0000297e: DUP3
0000297f: ADD
00002980: MSTORE
00002981: REVERT
00002982: JUMPDEST
00002983: PUSH2 0x2995
00002986: SWAP3
00002987: POP
00002988: PUSH1 0x20
0000298a: DUP1
0000298b: SWAP2
0000298c: DUP4
0000298d: ADD
0000298e: ADD
0000298f: SWAP2
00002990: ADD
00002991: PUSH2 0x2400
00002994: JUMP
00002995: JUMPDEST
00002996: ISZERO
00002997: CODESIZE
00002998: DUP1
00002999: PUSH2 0x2948
0000299c: JUMP
0000299d: JUMPDEST
0000299e: SWAP2
0000299f: SWAP1
000029a0: PUSH32 0x7fffffffffffffffffffffffffffffff5d576e7357a4501ddfe92f46681b20a0
000029c1: DUP5
000029c2: GT
000029c3: PUSH2 0x2a22
000029c6: JUMPI
000029c7: SWAP3
000029c8: PUSH1 0x20
000029ca: SWAP3
000029cb: SWAP2
000029cc: PUSH1 0xff
000029ce: PUSH1 0x80
000029d0: SWAP6
000029d1: PUSH1 0x40
000029d3: MLOAD
000029d4: SWAP5
000029d5: DUP6
000029d6: MSTORE
000029d7: AND
000029d8: DUP5
000029d9: DUP5
000029da: ADD
000029db: MSTORE
000029dc: PUSH1 0x40
000029de: DUP4
000029df: ADD
000029e0: MSTORE
000029e1: PUSH1 0x60
000029e3: DUP3
000029e4: ADD
000029e5: MSTORE
000029e6: PUSH1 0x00
000029e8: SWAP3
000029e9: DUP4
000029ea: SWAP2
000029eb: DUP3
000029ec: DUP1
000029ed: MSTORE
000029ee: PUSH1 0x01
000029f0: GAS
000029f1: STATICCALL
000029f2: ISZERO
000029f3: PUSH2 0x2722
000029f6: JUMPI
000029f7: DUP1
000029f8: MLOAD
000029f9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002a0e: DUP2
00002a0f: AND
00002a10: ISZERO
00002a11: PUSH2 0x2a19
00002a14: JUMPI
00002a15: SWAP2
00002a16: DUP2
00002a17: SWAP1
00002a18: JUMP
00002a19: JUMPDEST
00002a1a: POP
00002a1b: DUP1
00002a1c: SWAP2
00002a1d: PUSH1 0x01
00002a1f: SWAP2
00002a20: SWAP1
00002a21: JUMP
00002a22: JUMPDEST
00002a23: POP
00002a24: POP
00002a25: POP
00002a26: PUSH1 0x00
00002a28: SWAP2
00002a29: PUSH1 0x03
00002a2b: SWAP2
00002a2c: SWAP1
00002a2d: JUMP
00002a2e: JUMPDEST
00002a2f: PUSH1 0x04
00002a31: DUP2
00002a32: LT
00002a33: ISZERO
00002a34: PUSH2 0x05f4
00002a37: JUMPI
00002a38: DUP1
00002a39: PUSH2 0x2a40
00002a3c: JUMPI
00002a3d: POP
00002a3e: POP
00002a3f: JUMP
00002a40: JUMPDEST
00002a41: PUSH1 0x01
00002a43: DUP2
00002a44: SUB
00002a45: PUSH2 0x2a72
00002a48: JUMPI
00002a49: PUSH1 0x04
00002a4b: PUSH1 0x40
00002a4d: MLOAD
00002a4e: PUSH32 0xf645eedf00000000000000000000000000000000000000000000000000000000
00002a6f: DUP2
00002a70: MSTORE
00002a71: REVERT
00002a72: JUMPDEST
00002a73: PUSH1 0x02
00002a75: DUP2
00002a76: SUB
00002a77: PUSH2 0x2aab
00002a7a: JUMPI
00002a7b: PUSH1 0x24
00002a7d: DUP3
00002a7e: PUSH1 0x40
00002a80: MLOAD
00002a81: SWAP1
00002a82: PUSH32 0xfce698f700000000000000000000000000000000000000000000000000000000
00002aa3: DUP3
00002aa4: MSTORE
00002aa5: PUSH1 0x04
00002aa7: DUP3
00002aa8: ADD
00002aa9: MSTORE
00002aaa: REVERT
00002aab: JUMPDEST
00002aac: PUSH1 0x03
00002aae: EQ
00002aaf: PUSH2 0x2ab5
00002ab2: JUMPI
00002ab3: POP
00002ab4: JUMP
00002ab5: JUMPDEST
00002ab6: PUSH1 0x24
00002ab8: SWAP1
00002ab9: PUSH1 0x40
00002abb: MLOAD
00002abc: SWAP1
00002abd: PUSH32 0xd78bce0c00000000000000000000000000000000000000000000000000000000
00002ade: DUP3
00002adf: MSTORE
00002ae0: PUSH1 0x04
00002ae2: DUP3
00002ae3: ADD
00002ae4: MSTORE
00002ae5: REVERT
00002ae6: JUMPDEST
00002ae7: SWAP1
00002ae8: PUSH2 0x2afb
00002aeb: JUMPI
00002aec: POP
00002aed: DUP1
00002aee: MLOAD
00002aef: ISZERO
00002af0: PUSH2 0x27e6
00002af3: JUMPI
00002af4: DUP1
00002af5: MLOAD
00002af6: SWAP1
00002af7: PUSH1 0x20
00002af9: ADD
00002afa: REVERT
00002afb: JUMPDEST
00002afc: DUP2
00002afd: MLOAD
00002afe: ISZERO
00002aff: DUP1
00002b00: PUSH2 0x2b53
00002b03: JUMPI
00002b04: JUMPDEST
00002b05: PUSH2 0x2b0c
00002b08: JUMPI
00002b09: POP
00002b0a: SWAP1
00002b0b: JUMP
00002b0c: JUMPDEST
00002b0d: PUSH1 0x24
00002b0f: SWAP1
00002b10: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002b25: PUSH1 0x40
00002b27: MLOAD
00002b28: SWAP2
00002b29: PUSH32 0x9996b31500000000000000000000000000000000000000000000000000000000
00002b4a: DUP4
00002b4b: MSTORE
00002b4c: AND
00002b4d: PUSH1 0x04
00002b4f: DUP3
00002b50: ADD
00002b51: MSTORE
00002b52: REVERT
00002b53: JUMPDEST
00002b54: POP
00002b55: DUP1
00002b56: EXTCODESIZE
00002b57: ISZERO
00002b58: PUSH2 0x2b04
00002b5b: JUMP
00002b5c: INVALID
00002b5d: LOG2
00002b5e: PUSH5 0x6970667358
00002b64: UNKNOWN(0x22)
00002b65: SLT
00002b66: KECCAK256
00002b67: UNKNOWN(0xBD)
00002b68: UNKNOWN(0xC9)
00002b69: PUSH3 0x06e754
00002b6d: UNKNOWN(0xB6)
00002b6e: UNKNOWN(0xC4)
00002b6f: TLOAD
00002b70: UNKNOWN(0xA7)
00002b71: EXTCODEHASH
00002b72: DUP16
00002b73: ADD
00002b74: MOD
00002b75: SWAP12
00002b76: SUB
00002b77: UNKNOWN(0xDD)
00002b78: UNKNOWN(0xBB)
00002b79: PUSH0
00002b7a: UNKNOWN(0xAA)
00002b7b: UNKNOWN(0x2F)
00002b7c: UNKNOWN(0xDE)
00002b7d: UNKNOWN(0x29)
00002b7e: UNKNOWN(0xDD)
00002b7f: LOG0
00002b80: UNKNOWN(0xD0)
00002b81: PUSH0
00002b82: DUP13
00002b83: UNKNOWN(0xE8)
00002b84: SWAP12
00002b85: SWAP3
00002b86: DELEGATECALL
00002b87: PUSH5 0x736f6c6343
00002b8d: STOP
00002b8e: ADDMOD
00002b8f: NOT
00002b90: STOP
00002b91: CALLER
Findings

validated = confirmed for call sinks; sink observed for others
Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
critical	upgradeability	detector	Untrusted DELEGATECALL target reachable	70	no	no	view trace_id: 0x4c8a78879c9ba4b0a618c3f21c1bc037a36b910ec04574aacea5e3bf9bf1e2b2 validation_json { "sink": "DELEGATECALL", "errors": 0, "status": "unknown", "attempts": 192, "trace_id": "0x4c8a78879c9ba4b0a618c3f21c1bc037a36b910ec04574aacea5e3bf9bf1e2b2", "confirmed": false, "trace_mode": "callTracer", "call_targets": null, "matched_probe": null, "target_varies": null, "classification": "no_sink" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0x01ffc9a7", "selector": "0x01ffc9a7", "calldata_variants": [ "0x01ffc9a7", "0x01ffc9a70000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x054a68ad", "selector": "0x054a68ad", "calldata_variants": [ "0x054a68ad", "0x054a68ad0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x248a9ca3", "selector": "0x248a9ca3", "calldata_variants": [ "0x248a9ca3", "0x248a9ca30000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x2f2ff15d", "selector": "0x2f2ff15d", "calldata_variants": [ "0x2f2ff15d", "0x2f2ff15d0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x36568abe", "selector": "0x36568abe", "calldata_variants": [ "0x36568abe", "0x36568abe0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x39999247", "selector": "0x39999247", "calldata_variants": [ "0x39999247", "0x399992470000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x461c48cd", "selector": "0x461c48cd", "calldata_variants": [ "0x461c48cd", "0x461c48cd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x52b25efa", "selector": "0x52b25efa", "calldata_variants": [ "0x52b25efa", "0x52b25efa0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 11142, "opcode": "DELEGATECALL", "returndata_checked": null, "value_expression_category": "n/a", "target_expression_category": "computed" } ], "guards_detected": [], "delegatecall_count": 1, "untrusted_delegatecall_count": 1 }
high	other	detector	Untrusted CALL target/value reachable	60	no	no	view trace_id: 0xfa6c316bded18b74f02aded47c8ab3c88fb7a6fdd6786f279890eac6c4e4e415 call_targets: 0xb107140c5737bfa6dbbe46db6b359caf6e51524d target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xfa6c316bded18b74f02aded47c8ab3c88fb7a6fdd6786f279890eac6c4e4e415", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xb107140c5737bfa6dbbe46db6b359caf6e51524d" ], "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": "0x01ffc9a7", "selector": "0x01ffc9a7", "calldata_variants": [ "0x01ffc9a7", "0x01ffc9a70000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x054a68ad", "selector": "0x054a68ad", "calldata_variants": [ "0x054a68ad", "0x054a68ad0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x248a9ca3", "selector": "0x248a9ca3", "calldata_variants": [ "0x248a9ca3", "0x248a9ca30000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x2f2ff15d", "selector": "0x2f2ff15d", "calldata_variants": [ "0x2f2ff15d", "0x2f2ff15d0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x36568abe", "selector": "0x36568abe", "calldata_variants": [ "0x36568abe", "0x36568abe0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x39999247", "selector": "0x39999247", "calldata_variants": [ "0x39999247", "0x399992470000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x461c48cd", "selector": "0x461c48cd", "calldata_variants": [ "0x461c48cd", "0x461c48cd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x52b25efa", "selector": "0x52b25efa", "calldata_variants": [ "0x52b25efa", "0x52b25efa0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 2697, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 6674, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 7013, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 5, "guards_detected": [], "untrusted_call_count": 5 }
high	other	detector	ETH value transfer possible	55	no	no	view trace_id: 0xfa6c316bded18b74f02aded47c8ab3c88fb7a6fdd6786f279890eac6c4e4e415 call_targets: 0xb107140c5737bfa6dbbe46db6b359caf6e51524d target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xfa6c316bded18b74f02aded47c8ab3c88fb7a6fdd6786f279890eac6c4e4e415", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xb107140c5737bfa6dbbe46db6b359caf6e51524d" ], "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": "0x01ffc9a7", "selector": "0x01ffc9a7", "calldata_variants": [ "0x01ffc9a7", "0x01ffc9a70000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x054a68ad", "selector": "0x054a68ad", "calldata_variants": [ "0x054a68ad", "0x054a68ad0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x248a9ca3", "selector": "0x248a9ca3", "calldata_variants": [ "0x248a9ca3", "0x248a9ca30000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x2f2ff15d", "selector": "0x2f2ff15d", "calldata_variants": [ "0x2f2ff15d", "0x2f2ff15d0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x36568abe", "selector": "0x36568abe", "calldata_variants": [ "0x36568abe", "0x36568abe0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x39999247", "selector": "0x39999247", "calldata_variants": [ "0x39999247", "0x399992470000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x461c48cd", "selector": "0x461c48cd", "calldata_variants": [ "0x461c48cd", "0x461c48cd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x52b25efa", "selector": "0x52b25efa", "calldata_variants": [ "0x52b25efa", "0x52b25efa0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 2697, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 6674, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 7013, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 5, "guards_detected": [] }
Severity