Analysis Run

019b477e-d2c1-7186-8657-b0254a749ac3
complete
Chain ID
1
Address
0xe95409e2fd74eaf3f5b34efee69ad2947ea38da0
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
Authorization based on tx.origin
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
28013	artifact.fetch	complete	1 / 3	3 months ago
28014	tool.cast_disasm	complete	1 / 3	3 months ago
102972	analysis.bundle	complete	1 / 3	1 week ago
102973	capability.graph	complete	1 / 3	1 week ago
102974	detector.run	complete	1 / 3	1 week ago
102975	validation.fork	complete	1 / 3	1 week ago
Artifact

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

tool.slither
No slither job recorded yet.
Codex

report.consolidate
No codex job recorded yet.
Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
8
EXT*/BALANCE
8
Total opcodes
4951
Flags
heavy_ext_balance_usage
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x012e
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x70a08231
00000019: GT
0000001a: PUSH2 0x00ab
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0x8f9a55c0
00000024: GT
00000025: PUSH2 0x006f
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0x8f9a55c0
0000002f: EQ
00000030: PUSH2 0x0338
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0x95d89b41
0000003a: EQ
0000003b: PUSH2 0x034e
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xa9059cbb
00000045: EQ
00000046: PUSH2 0x0363
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xbf474bed
00000050: EQ
00000051: PUSH2 0x0383
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xd34628cc
0000005b: EQ
0000005c: PUSH2 0x0399
0000005f: JUMPI
00000060: DUP1
00000061: PUSH4 0xdd62ed3e
00000066: EQ
00000067: PUSH2 0x03b9
0000006a: JUMPI
0000006b: PUSH1 0x00
0000006d: DUP1
0000006e: REVERT
0000006f: JUMPDEST
00000070: DUP1
00000071: PUSH4 0x70a08231
00000076: EQ
00000077: PUSH2 0x029a
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0x715018a6
00000081: EQ
00000082: PUSH2 0x02d0
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0x751039fc
0000008c: EQ
0000008d: PUSH2 0x02e5
00000090: JUMPI
00000091: DUP1
00000092: PUSH4 0x7d1db4a5
00000097: EQ
00000098: PUSH2 0x02fa
0000009b: JUMPI
0000009c: DUP1
0000009d: PUSH4 0x8da5cb5b
000000a2: EQ
000000a3: PUSH2 0x0310
000000a6: JUMPI
000000a7: PUSH1 0x00
000000a9: DUP1
000000aa: REVERT
000000ab: JUMPDEST
000000ac: DUP1
000000ad: PUSH4 0x23b872dd
000000b2: GT
000000b3: PUSH2 0x00f2
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0x23b872dd
000000bd: EQ
000000be: PUSH2 0x01f0
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0x313ce567
000000c8: EQ
000000c9: PUSH2 0x0210
000000cc: JUMPI
000000cd: DUP1
000000ce: PUSH4 0x31c2d847
000000d3: EQ
000000d4: PUSH2 0x022c
000000d7: JUMPI
000000d8: DUP1
000000d9: PUSH4 0x3bbac579
000000de: EQ
000000df: PUSH2 0x024c
000000e2: JUMPI
000000e3: DUP1
000000e4: PUSH4 0x51cd7cc3
000000e9: EQ
000000ea: PUSH2 0x0285
000000ed: JUMPI
000000ee: PUSH1 0x00
000000f0: DUP1
000000f1: REVERT
000000f2: JUMPDEST
000000f3: DUP1
000000f4: PUSH4 0x06fdde03
000000f9: EQ
000000fa: PUSH2 0x013a
000000fd: JUMPI
000000fe: DUP1
000000ff: PUSH4 0x095ea7b3
00000104: EQ
00000105: PUSH2 0x0165
00000108: JUMPI
00000109: DUP1
0000010a: PUSH4 0x0a2724eb
0000010f: EQ
00000110: PUSH2 0x0195
00000113: JUMPI
00000114: DUP1
00000115: PUSH4 0x0faee56f
0000011a: EQ
0000011b: PUSH2 0x01b7
0000011e: JUMPI
0000011f: DUP1
00000120: PUSH4 0x18160ddd
00000125: EQ
00000126: PUSH2 0x01db
00000129: JUMPI
0000012a: PUSH1 0x00
0000012c: DUP1
0000012d: REVERT
0000012e: JUMPDEST
0000012f: CALLDATASIZE
00000130: PUSH2 0x0135
00000133: JUMPI
00000134: STOP
00000135: JUMPDEST
00000136: PUSH1 0x00
00000138: DUP1
00000139: REVERT
0000013a: JUMPDEST
0000013b: CALLVALUE
0000013c: DUP1
0000013d: ISZERO
0000013e: PUSH2 0x0146
00000141: JUMPI
00000142: PUSH1 0x00
00000144: DUP1
00000145: REVERT
00000146: JUMPDEST
00000147: POP
00000148: PUSH2 0x014f
0000014b: PUSH2 0x03ff
0000014e: JUMP
0000014f: JUMPDEST
00000150: PUSH1 0x40
00000152: MLOAD
00000153: PUSH2 0x015c
00000156: SWAP2
00000157: SWAP1
00000158: PUSH2 0x1ac7
0000015b: JUMP
0000015c: JUMPDEST
0000015d: PUSH1 0x40
0000015f: MLOAD
00000160: DUP1
00000161: SWAP2
00000162: SUB
00000163: SWAP1
00000164: RETURN
00000165: JUMPDEST
00000166: CALLVALUE
00000167: DUP1
00000168: ISZERO
00000169: PUSH2 0x0171
0000016c: JUMPI
0000016d: PUSH1 0x00
0000016f: DUP1
00000170: REVERT
00000171: JUMPDEST
00000172: POP
00000173: PUSH2 0x0185
00000176: PUSH2 0x0180
00000179: CALLDATASIZE
0000017a: PUSH1 0x04
0000017c: PUSH2 0x18e1
0000017f: JUMP
00000180: JUMPDEST
00000181: PUSH2 0x0491
00000184: JUMP
00000185: JUMPDEST
00000186: PUSH1 0x40
00000188: MLOAD
00000189: SWAP1
0000018a: ISZERO
0000018b: ISZERO
0000018c: DUP2
0000018d: MSTORE
0000018e: PUSH1 0x20
00000190: ADD
00000191: PUSH2 0x015c
00000194: JUMP
00000195: JUMPDEST
00000196: CALLVALUE
00000197: DUP1
00000198: ISZERO
00000199: PUSH2 0x01a1
0000019c: JUMPI
0000019d: PUSH1 0x00
0000019f: DUP1
000001a0: REVERT
000001a1: JUMPDEST
000001a2: POP
000001a3: PUSH2 0x01b5
000001a6: PUSH2 0x01b0
000001a9: CALLDATASIZE
000001aa: PUSH1 0x04
000001ac: PUSH2 0x19e8
000001af: JUMP
000001b0: JUMPDEST
000001b1: PUSH2 0x04a8
000001b4: JUMP
000001b5: JUMPDEST
000001b6: STOP
000001b7: JUMPDEST
000001b8: CALLVALUE
000001b9: DUP1
000001ba: ISZERO
000001bb: PUSH2 0x01c3
000001be: JUMPI
000001bf: PUSH1 0x00
000001c1: DUP1
000001c2: REVERT
000001c3: JUMPDEST
000001c4: POP
000001c5: PUSH2 0x01cd
000001c8: PUSH1 0x14
000001ca: SLOAD
000001cb: DUP2
000001cc: JUMP
000001cd: JUMPDEST
000001ce: PUSH1 0x40
000001d0: MLOAD
000001d1: SWAP1
000001d2: DUP2
000001d3: MSTORE
000001d4: PUSH1 0x20
000001d6: ADD
000001d7: PUSH2 0x015c
000001da: JUMP
000001db: JUMPDEST
000001dc: CALLVALUE
000001dd: DUP1
000001de: ISZERO
000001df: PUSH2 0x01e7
000001e2: JUMPI
000001e3: PUSH1 0x00
000001e5: DUP1
000001e6: REVERT
000001e7: JUMPDEST
000001e8: POP
000001e9: PUSH2 0x01cd
000001ec: PUSH2 0x0542
000001ef: JUMP
000001f0: JUMPDEST
000001f1: CALLVALUE
000001f2: DUP1
000001f3: ISZERO
000001f4: PUSH2 0x01fc
000001f7: JUMPI
000001f8: PUSH1 0x00
000001fa: DUP1
000001fb: REVERT
000001fc: JUMPDEST
000001fd: POP
000001fe: PUSH2 0x0185
00000201: PUSH2 0x020b
00000204: CALLDATASIZE
00000205: PUSH1 0x04
00000207: PUSH2 0x18a0
0000020a: JUMP
0000020b: JUMPDEST
0000020c: PUSH2 0x0562
0000020f: JUMP
00000210: JUMPDEST
00000211: CALLVALUE
00000212: DUP1
00000213: ISZERO
00000214: PUSH2 0x021c
00000217: JUMPI
00000218: PUSH1 0x00
0000021a: DUP1
0000021b: REVERT
0000021c: JUMPDEST
0000021d: POP
0000021e: PUSH1 0x40
00000220: MLOAD
00000221: PUSH1 0x12
00000223: DUP2
00000224: MSTORE
00000225: PUSH1 0x20
00000227: ADD
00000228: PUSH2 0x015c
0000022b: JUMP
0000022c: JUMPDEST
0000022d: CALLVALUE
0000022e: DUP1
0000022f: ISZERO
00000230: PUSH2 0x0238
00000233: JUMPI
00000234: PUSH1 0x00
00000236: DUP1
00000237: REVERT
00000238: JUMPDEST
00000239: POP
0000023a: PUSH2 0x01b5
0000023d: PUSH2 0x0247
00000240: CALLDATASIZE
00000241: PUSH1 0x04
00000243: PUSH2 0x190d
00000246: JUMP
00000247: JUMPDEST
00000248: PUSH2 0x05cb
0000024b: JUMP
0000024c: JUMPDEST
0000024d: CALLVALUE
0000024e: DUP1
0000024f: ISZERO
00000250: PUSH2 0x0258
00000253: JUMPI
00000254: PUSH1 0x00
00000256: DUP1
00000257: REVERT
00000258: JUMPDEST
00000259: POP
0000025a: PUSH2 0x0185
0000025d: PUSH2 0x0267
00000260: CALLDATASIZE
00000261: PUSH1 0x04
00000263: PUSH2 0x182d
00000266: JUMP
00000267: JUMPDEST
00000268: PUSH1 0x01
0000026a: PUSH1 0x01
0000026c: PUSH1 0xa0
0000026e: SHL
0000026f: SUB
00000270: AND
00000271: PUSH1 0x00
00000273: SWAP1
00000274: DUP2
00000275: MSTORE
00000276: PUSH1 0x04
00000278: PUSH1 0x20
0000027a: MSTORE
0000027b: PUSH1 0x40
0000027d: SWAP1
0000027e: KECCAK256
0000027f: SLOAD
00000280: PUSH1 0xff
00000282: AND
00000283: SWAP1
00000284: JUMP
00000285: JUMPDEST
00000286: CALLVALUE
00000287: DUP1
00000288: ISZERO
00000289: PUSH2 0x0291
0000028c: JUMPI
0000028d: PUSH1 0x00
0000028f: DUP1
00000290: REVERT
00000291: JUMPDEST
00000292: POP
00000293: PUSH2 0x01b5
00000296: PUSH2 0x0661
00000299: JUMP
0000029a: JUMPDEST
0000029b: CALLVALUE
0000029c: DUP1
0000029d: ISZERO
0000029e: PUSH2 0x02a6
000002a1: JUMPI
000002a2: PUSH1 0x00
000002a4: DUP1
000002a5: REVERT
000002a6: JUMPDEST
000002a7: POP
000002a8: PUSH2 0x01cd
000002ab: PUSH2 0x02b5
000002ae: CALLDATASIZE
000002af: PUSH1 0x04
000002b1: PUSH2 0x182d
000002b4: JUMP
000002b5: JUMPDEST
000002b6: PUSH1 0x01
000002b8: PUSH1 0x01
000002ba: PUSH1 0xa0
000002bc: SHL
000002bd: SUB
000002be: AND
000002bf: PUSH1 0x00
000002c1: SWAP1
000002c2: DUP2
000002c3: MSTORE
000002c4: PUSH1 0x01
000002c6: PUSH1 0x20
000002c8: MSTORE
000002c9: PUSH1 0x40
000002cb: SWAP1
000002cc: KECCAK256
000002cd: SLOAD
000002ce: SWAP1
000002cf: JUMP
000002d0: JUMPDEST
000002d1: CALLVALUE
000002d2: DUP1
000002d3: ISZERO
000002d4: PUSH2 0x02dc
000002d7: JUMPI
000002d8: PUSH1 0x00
000002da: DUP1
000002db: REVERT
000002dc: JUMPDEST
000002dd: POP
000002de: PUSH2 0x01b5
000002e1: PUSH2 0x0a6b
000002e4: JUMP
000002e5: JUMPDEST
000002e6: CALLVALUE
000002e7: DUP1
000002e8: ISZERO
000002e9: PUSH2 0x02f1
000002ec: JUMPI
000002ed: PUSH1 0x00
000002ef: DUP1
000002f0: REVERT
000002f1: JUMPDEST
000002f2: POP
000002f3: PUSH2 0x01b5
000002f6: PUSH2 0x0adf
000002f9: JUMP
000002fa: JUMPDEST
000002fb: CALLVALUE
000002fc: DUP1
000002fd: ISZERO
000002fe: PUSH2 0x0306
00000301: JUMPI
00000302: PUSH1 0x00
00000304: DUP1
00000305: REVERT
00000306: JUMPDEST
00000307: POP
00000308: PUSH2 0x01cd
0000030b: PUSH1 0x11
0000030d: SLOAD
0000030e: DUP2
0000030f: JUMP
00000310: JUMPDEST
00000311: CALLVALUE
00000312: DUP1
00000313: ISZERO
00000314: PUSH2 0x031c
00000317: JUMPI
00000318: PUSH1 0x00
0000031a: DUP1
0000031b: REVERT
0000031c: JUMPDEST
0000031d: POP
0000031e: PUSH1 0x00
00000320: SLOAD
00000321: PUSH1 0x40
00000323: MLOAD
00000324: PUSH1 0x01
00000326: PUSH1 0x01
00000328: PUSH1 0xa0
0000032a: SHL
0000032b: SUB
0000032c: SWAP1
0000032d: SWAP2
0000032e: AND
0000032f: DUP2
00000330: MSTORE
00000331: PUSH1 0x20
00000333: ADD
00000334: PUSH2 0x015c
00000337: JUMP
00000338: JUMPDEST
00000339: CALLVALUE
0000033a: DUP1
0000033b: ISZERO
0000033c: PUSH2 0x0344
0000033f: JUMPI
00000340: PUSH1 0x00
00000342: DUP1
00000343: REVERT
00000344: JUMPDEST
00000345: POP
00000346: PUSH2 0x01cd
00000349: PUSH1 0x12
0000034b: SLOAD
0000034c: DUP2
0000034d: JUMP
0000034e: JUMPDEST
0000034f: CALLVALUE
00000350: DUP1
00000351: ISZERO
00000352: PUSH2 0x035a
00000355: JUMPI
00000356: PUSH1 0x00
00000358: DUP1
00000359: REVERT
0000035a: JUMPDEST
0000035b: POP
0000035c: PUSH2 0x014f
0000035f: PUSH2 0x0b90
00000362: JUMP
00000363: JUMPDEST
00000364: CALLVALUE
00000365: DUP1
00000366: ISZERO
00000367: PUSH2 0x036f
0000036a: JUMPI
0000036b: PUSH1 0x00
0000036d: DUP1
0000036e: REVERT
0000036f: JUMPDEST
00000370: POP
00000371: PUSH2 0x0185
00000374: PUSH2 0x037e
00000377: CALLDATASIZE
00000378: PUSH1 0x04
0000037a: PUSH2 0x18e1
0000037d: JUMP
0000037e: JUMPDEST
0000037f: PUSH2 0x0b9f
00000382: JUMP
00000383: JUMPDEST
00000384: CALLVALUE
00000385: DUP1
00000386: ISZERO
00000387: PUSH2 0x038f
0000038a: JUMPI
0000038b: PUSH1 0x00
0000038d: DUP1
0000038e: REVERT
0000038f: JUMPDEST
00000390: POP
00000391: PUSH2 0x01cd
00000394: PUSH1 0x13
00000396: SLOAD
00000397: DUP2
00000398: JUMP
00000399: JUMPDEST
0000039a: CALLVALUE
0000039b: DUP1
0000039c: ISZERO
0000039d: PUSH2 0x03a5
000003a0: JUMPI
000003a1: PUSH1 0x00
000003a3: DUP1
000003a4: REVERT
000003a5: JUMPDEST
000003a6: POP
000003a7: PUSH2 0x01b5
000003aa: PUSH2 0x03b4
000003ad: CALLDATASIZE
000003ae: PUSH1 0x04
000003b0: PUSH2 0x190d
000003b3: JUMP
000003b4: JUMPDEST
000003b5: PUSH2 0x0bac
000003b8: JUMP
000003b9: JUMPDEST
000003ba: CALLVALUE
000003bb: DUP1
000003bc: ISZERO
000003bd: PUSH2 0x03c5
000003c0: JUMPI
000003c1: PUSH1 0x00
000003c3: DUP1
000003c4: REVERT
000003c5: JUMPDEST
000003c6: POP
000003c7: PUSH2 0x01cd
000003ca: PUSH2 0x03d4
000003cd: CALLDATASIZE
000003ce: PUSH1 0x04
000003d0: PUSH2 0x1867
000003d3: JUMP
000003d4: JUMPDEST
000003d5: PUSH1 0x01
000003d7: PUSH1 0x01
000003d9: PUSH1 0xa0
000003db: SHL
000003dc: SUB
000003dd: SWAP2
000003de: DUP3
000003df: AND
000003e0: PUSH1 0x00
000003e2: SWAP1
000003e3: DUP2
000003e4: MSTORE
000003e5: PUSH1 0x02
000003e7: PUSH1 0x20
000003e9: SWAP1
000003ea: DUP2
000003eb: MSTORE
000003ec: PUSH1 0x40
000003ee: DUP1
000003ef: DUP4
000003f0: KECCAK256
000003f1: SWAP4
000003f2: SWAP1
000003f3: SWAP5
000003f4: AND
000003f5: DUP3
000003f6: MSTORE
000003f7: SWAP2
000003f8: SWAP1
000003f9: SWAP2
000003fa: MSTORE
000003fb: KECCAK256
000003fc: SLOAD
000003fd: SWAP1
000003fe: JUMP
000003ff: JUMPDEST
00000400: PUSH1 0x60
00000402: PUSH1 0x0f
00000404: DUP1
00000405: SLOAD
00000406: PUSH2 0x040e
00000409: SWAP1
0000040a: PUSH2 0x1d4d
0000040d: JUMP
0000040e: JUMPDEST
0000040f: DUP1
00000410: PUSH1 0x1f
00000412: ADD
00000413: PUSH1 0x20
00000415: DUP1
00000416: SWAP2
00000417: DIV
00000418: MUL
00000419: PUSH1 0x20
0000041b: ADD
0000041c: PUSH1 0x40
0000041e: MLOAD
0000041f: SWAP1
00000420: DUP2
00000421: ADD
00000422: PUSH1 0x40
00000424: MSTORE
00000425: DUP1
00000426: SWAP3
00000427: SWAP2
00000428: SWAP1
00000429: DUP2
0000042a: DUP2
0000042b: MSTORE
0000042c: PUSH1 0x20
0000042e: ADD
0000042f: DUP3
00000430: DUP1
00000431: SLOAD
00000432: PUSH2 0x043a
00000435: SWAP1
00000436: PUSH2 0x1d4d
00000439: JUMP
0000043a: JUMPDEST
0000043b: DUP1
0000043c: ISZERO
0000043d: PUSH2 0x0487
00000440: JUMPI
00000441: DUP1
00000442: PUSH1 0x1f
00000444: LT
00000445: PUSH2 0x045c
00000448: JUMPI
00000449: PUSH2 0x0100
0000044c: DUP1
0000044d: DUP4
0000044e: SLOAD
0000044f: DIV
00000450: MUL
00000451: DUP4
00000452: MSTORE
00000453: SWAP2
00000454: PUSH1 0x20
00000456: ADD
00000457: SWAP2
00000458: PUSH2 0x0487
0000045b: JUMP
0000045c: JUMPDEST
0000045d: DUP3
0000045e: ADD
0000045f: SWAP2
00000460: SWAP1
00000461: PUSH1 0x00
00000463: MSTORE
00000464: PUSH1 0x20
00000466: PUSH1 0x00
00000468: KECCAK256
00000469: SWAP1
0000046a: JUMPDEST
0000046b: DUP2
0000046c: SLOAD
0000046d: DUP2
0000046e: MSTORE
0000046f: SWAP1
00000470: PUSH1 0x01
00000472: ADD
00000473: SWAP1
00000474: PUSH1 0x20
00000476: ADD
00000477: DUP1
00000478: DUP4
00000479: GT
0000047a: PUSH2 0x046a
0000047d: JUMPI
0000047e: DUP3
0000047f: SWAP1
00000480: SUB
00000481: PUSH1 0x1f
00000483: AND
00000484: DUP3
00000485: ADD
00000486: SWAP2
00000487: JUMPDEST
00000488: POP
00000489: POP
0000048a: POP
0000048b: POP
0000048c: POP
0000048d: SWAP1
0000048e: POP
0000048f: SWAP1
00000490: JUMP
00000491: JUMPDEST
00000492: PUSH1 0x00
00000494: PUSH2 0x049e
00000497: CALLER
00000498: DUP5
00000499: DUP5
0000049a: PUSH2 0x0c3e
0000049d: JUMP
0000049e: JUMPDEST
0000049f: POP
000004a0: PUSH1 0x01
000004a2: JUMPDEST
000004a3: SWAP3
000004a4: SWAP2
000004a5: POP
000004a6: POP
000004a7: JUMP
000004a8: JUMPDEST
000004a9: PUSH1 0x00
000004ab: SLOAD
000004ac: PUSH1 0x01
000004ae: PUSH1 0x01
000004b0: PUSH1 0xa0
000004b2: SHL
000004b3: SUB
000004b4: AND
000004b5: CALLER
000004b6: EQ
000004b7: PUSH2 0x04db
000004ba: JUMPI
000004bb: PUSH1 0x40
000004bd: MLOAD
000004be: PUSH3 0x461bcd
000004c2: PUSH1 0xe5
000004c4: SHL
000004c5: DUP2
000004c6: MSTORE
000004c7: PUSH1 0x04
000004c9: ADD
000004ca: PUSH2 0x04d2
000004cd: SWAP1
000004ce: PUSH2 0x1b18
000004d1: JUMP
000004d2: JUMPDEST
000004d3: PUSH1 0x40
000004d5: MLOAD
000004d6: DUP1
000004d7: SWAP2
000004d8: SUB
000004d9: SWAP1
000004da: REVERT
000004db: JUMPDEST
000004dc: DUP2
000004dd: MLOAD
000004de: PUSH2 0x04ee
000004e1: SWAP1
000004e2: PUSH1 0x0f
000004e4: SWAP1
000004e5: PUSH1 0x20
000004e7: DUP6
000004e8: ADD
000004e9: SWAP1
000004ea: PUSH2 0x1724
000004ed: JUMP
000004ee: JUMPDEST
000004ef: POP
000004f0: DUP1
000004f1: MLOAD
000004f2: PUSH2 0x0502
000004f5: SWAP1
000004f6: PUSH1 0x10
000004f8: SWAP1
000004f9: PUSH1 0x20
000004fb: DUP5
000004fc: ADD
000004fd: SWAP1
000004fe: PUSH2 0x1724
00000501: JUMP
00000502: JUMPDEST
00000503: POP
00000504: PUSH32 0x6c5d2637118cb4115becb3c3e6e553db25400cb3ffe8fd6fb2a2b4e014338627
00000525: DUP3
00000526: DUP3
00000527: CALLER
00000528: PUSH1 0x40
0000052a: MLOAD
0000052b: PUSH2 0x0536
0000052e: SWAP4
0000052f: SWAP3
00000530: SWAP2
00000531: SWAP1
00000532: PUSH2 0x1ada
00000535: JUMP
00000536: JUMPDEST
00000537: PUSH1 0x40
00000539: MLOAD
0000053a: DUP1
0000053b: SWAP2
0000053c: SUB
0000053d: SWAP1
0000053e: LOG1
0000053f: POP
00000540: POP
00000541: JUMP
00000542: JUMPDEST
00000543: PUSH1 0x00
00000545: PUSH2 0x0550
00000548: PUSH1 0x12
0000054a: PUSH1 0x0a
0000054c: PUSH2 0x1c6c
0000054f: JUMP
00000550: JUMPDEST
00000551: PUSH2 0x055d
00000554: SWAP1
00000555: PUSH3 0x0f4240
00000559: PUSH2 0x1d17
0000055c: JUMP
0000055d: JUMPDEST
0000055e: SWAP1
0000055f: POP
00000560: SWAP1
00000561: JUMP
00000562: JUMPDEST
00000563: PUSH1 0x00
00000565: PUSH2 0x056f
00000568: DUP5
00000569: DUP5
0000056a: DUP5
0000056b: PUSH2 0x0d62
0000056e: JUMP
0000056f: JUMPDEST
00000570: PUSH2 0x05c1
00000573: DUP5
00000574: CALLER
00000575: PUSH2 0x05bc
00000578: DUP6
00000579: PUSH1 0x40
0000057b: MLOAD
0000057c: DUP1
0000057d: PUSH1 0x60
0000057f: ADD
00000580: PUSH1 0x40
00000582: MSTORE
00000583: DUP1
00000584: PUSH1 0x28
00000586: DUP2
00000587: MSTORE
00000588: PUSH1 0x20
0000058a: ADD
0000058b: PUSH2 0x1df8
0000058e: PUSH1 0x28
00000590: SWAP2
00000591: CODECOPY
00000592: PUSH1 0x01
00000594: PUSH1 0x01
00000596: PUSH1 0xa0
00000598: SHL
00000599: SUB
0000059a: DUP11
0000059b: AND
0000059c: PUSH1 0x00
0000059e: SWAP1
0000059f: DUP2
000005a0: MSTORE
000005a1: PUSH1 0x02
000005a3: PUSH1 0x20
000005a5: SWAP1
000005a6: DUP2
000005a7: MSTORE
000005a8: PUSH1 0x40
000005aa: DUP1
000005ab: DUP4
000005ac: KECCAK256
000005ad: CALLER
000005ae: DUP5
000005af: MSTORE
000005b0: SWAP1
000005b1: SWAP2
000005b2: MSTORE
000005b3: SWAP1
000005b4: KECCAK256
000005b5: SLOAD
000005b6: SWAP2
000005b7: SWAP1
000005b8: PUSH2 0x137b
000005bb: JUMP
000005bc: JUMPDEST
000005bd: PUSH2 0x0c3e
000005c0: JUMP
000005c1: JUMPDEST
000005c2: POP
000005c3: PUSH1 0x01
000005c5: SWAP4
000005c6: SWAP3
000005c7: POP
000005c8: POP
000005c9: POP
000005ca: JUMP
000005cb: JUMPDEST
000005cc: PUSH1 0x00
000005ce: SLOAD
000005cf: PUSH1 0x01
000005d1: PUSH1 0x01
000005d3: PUSH1 0xa0
000005d5: SHL
000005d6: SUB
000005d7: AND
000005d8: CALLER
000005d9: EQ
000005da: PUSH2 0x05f5
000005dd: JUMPI
000005de: PUSH1 0x40
000005e0: MLOAD
000005e1: PUSH3 0x461bcd
000005e5: PUSH1 0xe5
000005e7: SHL
000005e8: DUP2
000005e9: MSTORE
000005ea: PUSH1 0x04
000005ec: ADD
000005ed: PUSH2 0x04d2
000005f0: SWAP1
000005f1: PUSH2 0x1b18
000005f4: JUMP
000005f5: JUMPDEST
000005f6: PUSH1 0x00
000005f8: JUMPDEST
000005f9: DUP2
000005fa: MLOAD
000005fb: DUP2
000005fc: LT
000005fd: ISZERO
000005fe: PUSH2 0x065d
00000601: JUMPI
00000602: PUSH1 0x00
00000604: PUSH1 0x04
00000606: PUSH1 0x00
00000608: DUP5
00000609: DUP5
0000060a: DUP2
0000060b: MLOAD
0000060c: DUP2
0000060d: LT
0000060e: PUSH2 0x0619
00000611: JUMPI
00000612: PUSH2 0x0619
00000615: PUSH2 0x1db3
00000618: JUMP
00000619: JUMPDEST
0000061a: PUSH1 0x20
0000061c: SWAP1
0000061d: DUP2
0000061e: MUL
0000061f: SWAP2
00000620: SWAP1
00000621: SWAP2
00000622: ADD
00000623: DUP2
00000624: ADD
00000625: MLOAD
00000626: PUSH1 0x01
00000628: PUSH1 0x01
0000062a: PUSH1 0xa0
0000062c: SHL
0000062d: SUB
0000062e: AND
0000062f: DUP3
00000630: MSTORE
00000631: DUP2
00000632: ADD
00000633: SWAP2
00000634: SWAP1
00000635: SWAP2
00000636: MSTORE
00000637: PUSH1 0x40
00000639: ADD
0000063a: PUSH1 0x00
0000063c: KECCAK256
0000063d: DUP1
0000063e: SLOAD
0000063f: PUSH1 0xff
00000641: NOT
00000642: AND
00000643: SWAP2
00000644: ISZERO
00000645: ISZERO
00000646: SWAP2
00000647: SWAP1
00000648: SWAP2
00000649: OR
0000064a: SWAP1
0000064b: SSTORE
0000064c: DUP1
0000064d: PUSH2 0x0655
00000650: DUP2
00000651: PUSH2 0x1d82
00000654: JUMP
00000655: JUMPDEST
00000656: SWAP2
00000657: POP
00000658: POP
00000659: PUSH2 0x05f8
0000065c: JUMP
0000065d: JUMPDEST
0000065e: POP
0000065f: POP
00000660: JUMP
00000661: JUMPDEST
00000662: PUSH1 0x00
00000664: SLOAD
00000665: PUSH1 0x01
00000667: PUSH1 0x01
00000669: PUSH1 0xa0
0000066b: SHL
0000066c: SUB
0000066d: AND
0000066e: CALLER
0000066f: EQ
00000670: PUSH2 0x068b
00000673: JUMPI
00000674: PUSH1 0x40
00000676: MLOAD
00000677: PUSH3 0x461bcd
0000067b: PUSH1 0xe5
0000067d: SHL
0000067e: DUP2
0000067f: MSTORE
00000680: PUSH1 0x04
00000682: ADD
00000683: PUSH2 0x04d2
00000686: SWAP1
00000687: PUSH2 0x1b18
0000068a: JUMP
0000068b: JUMPDEST
0000068c: PUSH1 0x16
0000068e: SLOAD
0000068f: PUSH1 0x01
00000691: PUSH1 0xa0
00000693: SHL
00000694: SWAP1
00000695: DIV
00000696: PUSH1 0xff
00000698: AND
00000699: ISZERO
0000069a: PUSH2 0x06e5
0000069d: JUMPI
0000069e: PUSH1 0x40
000006a0: MLOAD
000006a1: PUSH3 0x461bcd
000006a5: PUSH1 0xe5
000006a7: SHL
000006a8: DUP2
000006a9: MSTORE
000006aa: PUSH1 0x20
000006ac: PUSH1 0x04
000006ae: DUP3
000006af: ADD
000006b0: MSTORE
000006b1: PUSH1 0x17
000006b3: PUSH1 0x24
000006b5: DUP3
000006b6: ADD
000006b7: MSTORE
000006b8: PUSH32 0x74726164696e6720697320616c7265616479206f70656e000000000000000000
000006d9: PUSH1 0x44
000006db: DUP3
000006dc: ADD
000006dd: MSTORE
000006de: PUSH1 0x64
000006e0: ADD
000006e1: PUSH2 0x04d2
000006e4: JUMP
000006e5: JUMPDEST
000006e6: PUSH1 0x15
000006e8: DUP1
000006e9: SLOAD
000006ea: PUSH1 0x01
000006ec: PUSH1 0x01
000006ee: PUSH1 0xa0
000006f0: SHL
000006f1: SUB
000006f2: NOT
000006f3: AND
000006f4: PUSH20 0x7a250d5630b4cf539739df2c5dacb4c659f2488d
00000709: SWAP1
0000070a: DUP2
0000070b: OR
0000070c: SWAP1
0000070d: SWAP2
0000070e: SSTORE
0000070f: PUSH2 0x072d
00000712: SWAP1
00000713: ADDRESS
00000714: SWAP1
00000715: PUSH2 0x0720
00000718: PUSH1 0x12
0000071a: PUSH1 0x0a
0000071c: PUSH2 0x1c6c
0000071f: JUMP
00000720: JUMPDEST
00000721: PUSH2 0x05bc
00000724: SWAP1
00000725: PUSH3 0x0f4240
00000729: PUSH2 0x1d17
0000072c: JUMP
0000072d: JUMPDEST
0000072e: PUSH1 0x15
00000730: PUSH1 0x00
00000732: SWAP1
00000733: SLOAD
00000734: SWAP1
00000735: PUSH2 0x0100
00000738: EXP
00000739: SWAP1
0000073a: DIV
0000073b: PUSH1 0x01
0000073d: PUSH1 0x01
0000073f: PUSH1 0xa0
00000741: SHL
00000742: SUB
00000743: AND
00000744: PUSH1 0x01
00000746: PUSH1 0x01
00000748: PUSH1 0xa0
0000074a: SHL
0000074b: SUB
0000074c: AND
0000074d: PUSH4 0xc45a0155
00000752: PUSH1 0x40
00000754: MLOAD
00000755: DUP2
00000756: PUSH4 0xffffffff
0000075b: AND
0000075c: PUSH1 0xe0
0000075e: SHL
0000075f: DUP2
00000760: MSTORE
00000761: PUSH1 0x04
00000763: ADD
00000764: PUSH1 0x20
00000766: PUSH1 0x40
00000768: MLOAD
00000769: DUP1
0000076a: DUP4
0000076b: SUB
0000076c: DUP2
0000076d: DUP7
0000076e: DUP1
0000076f: EXTCODESIZE
00000770: ISZERO
00000771: DUP1
00000772: ISZERO
00000773: PUSH2 0x077b
00000776: JUMPI
00000777: PUSH1 0x00
00000779: DUP1
0000077a: REVERT
0000077b: JUMPDEST
0000077c: POP
0000077d: GAS
0000077e: STATICCALL
0000077f: ISZERO
00000780: DUP1
00000781: ISZERO
00000782: PUSH2 0x078f
00000785: JUMPI
00000786: RETURNDATASIZE
00000787: PUSH1 0x00
00000789: DUP1
0000078a: RETURNDATACOPY
0000078b: RETURNDATASIZE
0000078c: PUSH1 0x00
0000078e: REVERT
0000078f: JUMPDEST
00000790: POP
00000791: POP
00000792: POP
00000793: POP
00000794: PUSH1 0x40
00000796: MLOAD
00000797: RETURNDATASIZE
00000798: PUSH1 0x1f
0000079a: NOT
0000079b: PUSH1 0x1f
0000079d: DUP3
0000079e: ADD
0000079f: AND
000007a0: DUP3
000007a1: ADD
000007a2: DUP1
000007a3: PUSH1 0x40
000007a5: MSTORE
000007a6: POP
000007a7: DUP2
000007a8: ADD
000007a9: SWAP1
000007aa: PUSH2 0x07b3
000007ad: SWAP2
000007ae: SWAP1
000007af: PUSH2 0x184a
000007b2: JUMP
000007b3: JUMPDEST
000007b4: PUSH1 0x01
000007b6: PUSH1 0x01
000007b8: PUSH1 0xa0
000007ba: SHL
000007bb: SUB
000007bc: AND
000007bd: PUSH4 0xc9c65396
000007c2: ADDRESS
000007c3: PUSH1 0x15
000007c5: PUSH1 0x00
000007c7: SWAP1
000007c8: SLOAD
000007c9: SWAP1
000007ca: PUSH2 0x0100
000007cd: EXP
000007ce: SWAP1
000007cf: DIV
000007d0: PUSH1 0x01
000007d2: PUSH1 0x01
000007d4: PUSH1 0xa0
000007d6: SHL
000007d7: SUB
000007d8: AND
000007d9: PUSH1 0x01
000007db: PUSH1 0x01
000007dd: PUSH1 0xa0
000007df: SHL
000007e0: SUB
000007e1: AND
000007e2: PUSH4 0xad5c4648
000007e7: PUSH1 0x40
000007e9: MLOAD
000007ea: DUP2
000007eb: PUSH4 0xffffffff
000007f0: AND
000007f1: PUSH1 0xe0
000007f3: SHL
000007f4: DUP2
000007f5: MSTORE
000007f6: PUSH1 0x04
000007f8: ADD
000007f9: PUSH1 0x20
000007fb: PUSH1 0x40
000007fd: MLOAD
000007fe: DUP1
000007ff: DUP4
00000800: SUB
00000801: DUP2
00000802: DUP7
00000803: DUP1
00000804: EXTCODESIZE
00000805: ISZERO
00000806: DUP1
00000807: ISZERO
00000808: PUSH2 0x0810
0000080b: JUMPI
0000080c: PUSH1 0x00
0000080e: DUP1
0000080f: REVERT
00000810: JUMPDEST
00000811: POP
00000812: GAS
00000813: STATICCALL
00000814: ISZERO
00000815: DUP1
00000816: ISZERO
00000817: PUSH2 0x0824
0000081a: JUMPI
0000081b: RETURNDATASIZE
0000081c: PUSH1 0x00
0000081e: DUP1
0000081f: RETURNDATACOPY
00000820: RETURNDATASIZE
00000821: PUSH1 0x00
00000823: REVERT
00000824: JUMPDEST
00000825: POP
00000826: POP
00000827: POP
00000828: POP
00000829: PUSH1 0x40
0000082b: MLOAD
0000082c: RETURNDATASIZE
0000082d: PUSH1 0x1f
0000082f: NOT
00000830: PUSH1 0x1f
00000832: DUP3
00000833: ADD
00000834: AND
00000835: DUP3
00000836: ADD
00000837: DUP1
00000838: PUSH1 0x40
0000083a: MSTORE
0000083b: POP
0000083c: DUP2
0000083d: ADD
0000083e: SWAP1
0000083f: PUSH2 0x0848
00000842: SWAP2
00000843: SWAP1
00000844: PUSH2 0x184a
00000847: JUMP
00000848: JUMPDEST
00000849: PUSH1 0x40
0000084b: MLOAD
0000084c: PUSH1 0x01
0000084e: PUSH1 0x01
00000850: PUSH1 0xe0
00000852: SHL
00000853: SUB
00000854: NOT
00000855: PUSH1 0xe0
00000857: DUP6
00000858: SWAP1
00000859: SHL
0000085a: AND
0000085b: DUP2
0000085c: MSTORE
0000085d: PUSH1 0x01
0000085f: PUSH1 0x01
00000861: PUSH1 0xa0
00000863: SHL
00000864: SUB
00000865: SWAP3
00000866: DUP4
00000867: AND
00000868: PUSH1 0x04
0000086a: DUP3
0000086b: ADD
0000086c: MSTORE
0000086d: SWAP2
0000086e: AND
0000086f: PUSH1 0x24
00000871: DUP3
00000872: ADD
00000873: MSTORE
00000874: PUSH1 0x44
00000876: ADD
00000877: PUSH1 0x20
00000879: PUSH1 0x40
0000087b: MLOAD
0000087c: DUP1
0000087d: DUP4
0000087e: SUB
0000087f: DUP2
00000880: PUSH1 0x00
00000882: DUP8
00000883: DUP1
00000884: EXTCODESIZE
00000885: ISZERO
00000886: DUP1
00000887: ISZERO
00000888: PUSH2 0x0890
0000088b: JUMPI
0000088c: PUSH1 0x00
0000088e: DUP1
0000088f: REVERT
00000890: JUMPDEST
00000891: POP
00000892: GAS
00000893: CALL
00000894: ISZERO
00000895: DUP1
00000896: ISZERO
00000897: PUSH2 0x08a4
0000089a: JUMPI
0000089b: RETURNDATASIZE
0000089c: PUSH1 0x00
0000089e: DUP1
0000089f: RETURNDATACOPY
000008a0: RETURNDATASIZE
000008a1: PUSH1 0x00
000008a3: REVERT
000008a4: JUMPDEST
000008a5: POP
000008a6: POP
000008a7: POP
000008a8: POP
000008a9: PUSH1 0x40
000008ab: MLOAD
000008ac: RETURNDATASIZE
000008ad: PUSH1 0x1f
000008af: NOT
000008b0: PUSH1 0x1f
000008b2: DUP3
000008b3: ADD
000008b4: AND
000008b5: DUP3
000008b6: ADD
000008b7: DUP1
000008b8: PUSH1 0x40
000008ba: MSTORE
000008bb: POP
000008bc: DUP2
000008bd: ADD
000008be: SWAP1
000008bf: PUSH2 0x08c8
000008c2: SWAP2
000008c3: SWAP1
000008c4: PUSH2 0x184a
000008c7: JUMP
000008c8: JUMPDEST
000008c9: PUSH1 0x16
000008cb: DUP1
000008cc: SLOAD
000008cd: PUSH1 0x01
000008cf: PUSH1 0x01
000008d1: PUSH1 0xa0
000008d3: SHL
000008d4: SUB
000008d5: SWAP3
000008d6: DUP4
000008d7: AND
000008d8: PUSH1 0x01
000008da: PUSH1 0x01
000008dc: PUSH1 0xa0
000008de: SHL
000008df: SUB
000008e0: NOT
000008e1: SWAP1
000008e2: SWAP2
000008e3: AND
000008e4: OR
000008e5: SWAP1
000008e6: SSTORE
000008e7: PUSH1 0x15
000008e9: SLOAD
000008ea: AND
000008eb: PUSH4 0xf305d719
000008f0: SELFBALANCE
000008f1: ADDRESS
000008f2: PUSH2 0x0910
000008f5: DUP2
000008f6: PUSH1 0x01
000008f8: PUSH1 0x01
000008fa: PUSH1 0xa0
000008fc: SHL
000008fd: SUB
000008fe: AND
000008ff: PUSH1 0x00
00000901: SWAP1
00000902: DUP2
00000903: MSTORE
00000904: PUSH1 0x01
00000906: PUSH1 0x20
00000908: MSTORE
00000909: PUSH1 0x40
0000090b: SWAP1
0000090c: KECCAK256
0000090d: SLOAD
0000090e: SWAP1
0000090f: JUMP
00000910: JUMPDEST
00000911: PUSH1 0x00
00000913: DUP1
00000914: PUSH2 0x0925
00000917: PUSH1 0x00
00000919: SLOAD
0000091a: PUSH1 0x01
0000091c: PUSH1 0x01
0000091e: PUSH1 0xa0
00000920: SHL
00000921: SUB
00000922: AND
00000923: SWAP1
00000924: JUMP
00000925: JUMPDEST
00000926: PUSH1 0x40
00000928: MLOAD
00000929: PUSH1 0xe0
0000092b: DUP9
0000092c: SWAP1
0000092d: SHL
0000092e: PUSH1 0x01
00000930: PUSH1 0x01
00000932: PUSH1 0xe0
00000934: SHL
00000935: SUB
00000936: NOT
00000937: AND
00000938: DUP2
00000939: MSTORE
0000093a: PUSH1 0x01
0000093c: PUSH1 0x01
0000093e: PUSH1 0xa0
00000940: SHL
00000941: SUB
00000942: SWAP6
00000943: DUP7
00000944: AND
00000945: PUSH1 0x04
00000947: DUP3
00000948: ADD
00000949: MSTORE
0000094a: PUSH1 0x24
0000094c: DUP2
0000094d: ADD
0000094e: SWAP5
0000094f: SWAP1
00000950: SWAP5
00000951: MSTORE
00000952: PUSH1 0x44
00000954: DUP5
00000955: ADD
00000956: SWAP3
00000957: SWAP1
00000958: SWAP3
00000959: MSTORE
0000095a: PUSH1 0x64
0000095c: DUP4
0000095d: ADD
0000095e: MSTORE
0000095f: SWAP1
00000960: SWAP2
00000961: AND
00000962: PUSH1 0x84
00000964: DUP3
00000965: ADD
00000966: MSTORE
00000967: TIMESTAMP
00000968: PUSH1 0xa4
0000096a: DUP3
0000096b: ADD
0000096c: MSTORE
0000096d: PUSH1 0xc4
0000096f: ADD
00000970: PUSH1 0x60
00000972: PUSH1 0x40
00000974: MLOAD
00000975: DUP1
00000976: DUP4
00000977: SUB
00000978: DUP2
00000979: DUP6
0000097a: DUP9
0000097b: DUP1
0000097c: EXTCODESIZE
0000097d: ISZERO
0000097e: DUP1
0000097f: ISZERO
00000980: PUSH2 0x0988
00000983: JUMPI
00000984: PUSH1 0x00
00000986: DUP1
00000987: REVERT
00000988: JUMPDEST
00000989: POP
0000098a: GAS
0000098b: CALL
0000098c: ISZERO
0000098d: DUP1
0000098e: ISZERO
0000098f: PUSH2 0x099c
00000992: JUMPI
00000993: RETURNDATASIZE
00000994: PUSH1 0x00
00000996: DUP1
00000997: RETURNDATACOPY
00000998: RETURNDATASIZE
00000999: PUSH1 0x00
0000099b: REVERT
0000099c: JUMPDEST
0000099d: POP
0000099e: POP
0000099f: POP
000009a0: POP
000009a1: POP
000009a2: PUSH1 0x40
000009a4: MLOAD
000009a5: RETURNDATASIZE
000009a6: PUSH1 0x1f
000009a8: NOT
000009a9: PUSH1 0x1f
000009ab: DUP3
000009ac: ADD
000009ad: AND
000009ae: DUP3
000009af: ADD
000009b0: DUP1
000009b1: PUSH1 0x40
000009b3: MSTORE
000009b4: POP
000009b5: DUP2
000009b6: ADD
000009b7: SWAP1
000009b8: PUSH2 0x09c1
000009bb: SWAP2
000009bc: SWAP1
000009bd: PUSH2 0x1a4c
000009c0: JUMP
000009c1: JUMPDEST
000009c2: POP
000009c3: POP
000009c4: PUSH1 0x16
000009c6: SLOAD
000009c7: PUSH1 0x15
000009c9: SLOAD
000009ca: PUSH1 0x40
000009cc: MLOAD
000009cd: PUSH4 0x095ea7b3
000009d2: PUSH1 0xe0
000009d4: SHL
000009d5: DUP2
000009d6: MSTORE
000009d7: PUSH1 0x01
000009d9: PUSH1 0x01
000009db: PUSH1 0xa0
000009dd: SHL
000009de: SUB
000009df: SWAP2
000009e0: DUP3
000009e1: AND
000009e2: PUSH1 0x04
000009e4: DUP3
000009e5: ADD
000009e6: MSTORE
000009e7: PUSH1 0x00
000009e9: NOT
000009ea: PUSH1 0x24
000009ec: DUP3
000009ed: ADD
000009ee: MSTORE
000009ef: SWAP2
000009f0: AND
000009f1: SWAP2
000009f2: POP
000009f3: PUSH4 0x095ea7b3
000009f8: SWAP1
000009f9: PUSH1 0x44
000009fb: ADD
000009fc: PUSH1 0x20
000009fe: PUSH1 0x40
00000a00: MLOAD
00000a01: DUP1
00000a02: DUP4
00000a03: SUB
00000a04: DUP2
00000a05: PUSH1 0x00
00000a07: DUP8
00000a08: DUP1
00000a09: EXTCODESIZE
00000a0a: ISZERO
00000a0b: DUP1
00000a0c: ISZERO
00000a0d: PUSH2 0x0a15
00000a10: JUMPI
00000a11: PUSH1 0x00
00000a13: DUP1
00000a14: REVERT
00000a15: JUMPDEST
00000a16: POP
00000a17: GAS
00000a18: CALL
00000a19: ISZERO
00000a1a: DUP1
00000a1b: ISZERO
00000a1c: PUSH2 0x0a29
00000a1f: JUMPI
00000a20: RETURNDATASIZE
00000a21: PUSH1 0x00
00000a23: DUP1
00000a24: RETURNDATACOPY
00000a25: RETURNDATASIZE
00000a26: PUSH1 0x00
00000a28: REVERT
00000a29: JUMPDEST
00000a2a: POP
00000a2b: POP
00000a2c: POP
00000a2d: POP
00000a2e: PUSH1 0x40
00000a30: MLOAD
00000a31: RETURNDATASIZE
00000a32: PUSH1 0x1f
00000a34: NOT
00000a35: PUSH1 0x1f
00000a37: DUP3
00000a38: ADD
00000a39: AND
00000a3a: DUP3
00000a3b: ADD
00000a3c: DUP1
00000a3d: PUSH1 0x40
00000a3f: MSTORE
00000a40: POP
00000a41: DUP2
00000a42: ADD
00000a43: SWAP1
00000a44: PUSH2 0x0a4d
00000a47: SWAP2
00000a48: SWAP1
00000a49: PUSH2 0x19c6
00000a4c: JUMP
00000a4d: JUMPDEST
00000a4e: POP
00000a4f: PUSH1 0x16
00000a51: DUP1
00000a52: SLOAD
00000a53: PUSH3 0xff00ff
00000a57: PUSH1 0xa0
00000a59: SHL
00000a5a: NOT
00000a5b: AND
00000a5c: PUSH3 0x010001
00000a60: PUSH1 0xa0
00000a62: SHL
00000a63: OR
00000a64: SWAP1
00000a65: SSTORE
00000a66: NUMBER
00000a67: PUSH1 0x06
00000a69: SSTORE
00000a6a: JUMP
00000a6b: JUMPDEST
00000a6c: PUSH1 0x00
00000a6e: SLOAD
00000a6f: PUSH1 0x01
00000a71: PUSH1 0x01
00000a73: PUSH1 0xa0
00000a75: SHL
00000a76: SUB
00000a77: AND
00000a78: CALLER
00000a79: EQ
00000a7a: PUSH2 0x0a95
00000a7d: JUMPI
00000a7e: PUSH1 0x40
00000a80: MLOAD
00000a81: PUSH3 0x461bcd
00000a85: PUSH1 0xe5
00000a87: SHL
00000a88: DUP2
00000a89: MSTORE
00000a8a: PUSH1 0x04
00000a8c: ADD
00000a8d: PUSH2 0x04d2
00000a90: SWAP1
00000a91: PUSH2 0x1b18
00000a94: JUMP
00000a95: JUMPDEST
00000a96: PUSH1 0x00
00000a98: DUP1
00000a99: SLOAD
00000a9a: PUSH1 0x40
00000a9c: MLOAD
00000a9d: PUSH1 0x01
00000a9f: PUSH1 0x01
00000aa1: PUSH1 0xa0
00000aa3: SHL
00000aa4: SUB
00000aa5: SWAP1
00000aa6: SWAP2
00000aa7: AND
00000aa8: SWAP1
00000aa9: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00000aca: SWAP1
00000acb: DUP4
00000acc: SWAP1
00000acd: LOG3
00000ace: PUSH1 0x00
00000ad0: DUP1
00000ad1: SLOAD
00000ad2: PUSH1 0x01
00000ad4: PUSH1 0x01
00000ad6: PUSH1 0xa0
00000ad8: SHL
00000ad9: SUB
00000ada: NOT
00000adb: AND
00000adc: SWAP1
00000add: SSTORE
00000ade: JUMP
00000adf: JUMPDEST
00000ae0: PUSH1 0x00
00000ae2: SLOAD
00000ae3: PUSH1 0x01
00000ae5: PUSH1 0x01
00000ae7: PUSH1 0xa0
00000ae9: SHL
00000aea: SUB
00000aeb: AND
00000aec: CALLER
00000aed: EQ
00000aee: PUSH2 0x0b09
00000af1: JUMPI
00000af2: PUSH1 0x40
00000af4: MLOAD
00000af5: PUSH3 0x461bcd
00000af9: PUSH1 0xe5
00000afb: SHL
00000afc: DUP2
00000afd: MSTORE
00000afe: PUSH1 0x04
00000b00: ADD
00000b01: PUSH2 0x04d2
00000b04: SWAP1
00000b05: PUSH2 0x1b18
00000b08: JUMP
00000b09: JUMPDEST
00000b0a: PUSH2 0x0b15
00000b0d: PUSH1 0x12
00000b0f: PUSH1 0x0a
00000b11: PUSH2 0x1c6c
00000b14: JUMP
00000b15: JUMPDEST
00000b16: PUSH2 0x0b22
00000b19: SWAP1
00000b1a: PUSH3 0x0f4240
00000b1e: PUSH2 0x1d17
00000b21: JUMP
00000b22: JUMPDEST
00000b23: PUSH1 0x11
00000b25: SSTORE
00000b26: PUSH2 0x0b31
00000b29: PUSH1 0x12
00000b2b: PUSH1 0x0a
00000b2d: PUSH2 0x1c6c
00000b30: JUMP
00000b31: JUMPDEST
00000b32: PUSH2 0x0b3e
00000b35: SWAP1
00000b36: PUSH3 0x0f4240
00000b3a: PUSH2 0x1d17
00000b3d: JUMP
00000b3e: JUMPDEST
00000b3f: PUSH1 0x12
00000b41: SWAP1
00000b42: DUP2
00000b43: SSTORE
00000b44: PUSH32 0x947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf
00000b65: SWAP1
00000b66: PUSH2 0x0b70
00000b69: SWAP1
00000b6a: PUSH1 0x0a
00000b6c: PUSH2 0x1c6c
00000b6f: JUMP
00000b70: JUMPDEST
00000b71: PUSH2 0x0b7d
00000b74: SWAP1
00000b75: PUSH3 0x0f4240
00000b79: PUSH2 0x1d17
00000b7c: JUMP
00000b7d: JUMPDEST
00000b7e: PUSH1 0x40
00000b80: MLOAD
00000b81: SWAP1
00000b82: DUP2
00000b83: MSTORE
00000b84: PUSH1 0x20
00000b86: ADD
00000b87: PUSH1 0x40
00000b89: MLOAD
00000b8a: DUP1
00000b8b: SWAP2
00000b8c: SUB
00000b8d: SWAP1
00000b8e: LOG1
00000b8f: JUMP
00000b90: JUMPDEST
00000b91: PUSH1 0x60
00000b93: PUSH1 0x10
00000b95: DUP1
00000b96: SLOAD
00000b97: PUSH2 0x040e
00000b9a: SWAP1
00000b9b: PUSH2 0x1d4d
00000b9e: JUMP
00000b9f: JUMPDEST
00000ba0: PUSH1 0x00
00000ba2: PUSH2 0x049e
00000ba5: CALLER
00000ba6: DUP5
00000ba7: DUP5
00000ba8: PUSH2 0x0d62
00000bab: JUMP
00000bac: JUMPDEST
00000bad: PUSH1 0x00
00000baf: SLOAD
00000bb0: PUSH1 0x01
00000bb2: PUSH1 0x01
00000bb4: PUSH1 0xa0
00000bb6: SHL
00000bb7: SUB
00000bb8: AND
00000bb9: CALLER
00000bba: EQ
00000bbb: PUSH2 0x0bd6
00000bbe: JUMPI
00000bbf: PUSH1 0x40
00000bc1: MLOAD
00000bc2: PUSH3 0x461bcd
00000bc6: PUSH1 0xe5
00000bc8: SHL
00000bc9: DUP2
00000bca: MSTORE
00000bcb: PUSH1 0x04
00000bcd: ADD
00000bce: PUSH2 0x04d2
00000bd1: SWAP1
00000bd2: PUSH2 0x1b18
00000bd5: JUMP
00000bd6: JUMPDEST
00000bd7: PUSH1 0x00
00000bd9: JUMPDEST
00000bda: DUP2
00000bdb: MLOAD
00000bdc: DUP2
00000bdd: LT
00000bde: ISZERO
00000bdf: PUSH2 0x065d
00000be2: JUMPI
00000be3: PUSH1 0x01
00000be5: PUSH1 0x04
00000be7: PUSH1 0x00
00000be9: DUP5
00000bea: DUP5
00000beb: DUP2
00000bec: MLOAD
00000bed: DUP2
00000bee: LT
00000bef: PUSH2 0x0bfa
00000bf2: JUMPI
00000bf3: PUSH2 0x0bfa
00000bf6: PUSH2 0x1db3
00000bf9: JUMP
00000bfa: JUMPDEST
00000bfb: PUSH1 0x20
00000bfd: SWAP1
00000bfe: DUP2
00000bff: MUL
00000c00: SWAP2
00000c01: SWAP1
00000c02: SWAP2
00000c03: ADD
00000c04: DUP2
00000c05: ADD
00000c06: MLOAD
00000c07: PUSH1 0x01
00000c09: PUSH1 0x01
00000c0b: PUSH1 0xa0
00000c0d: SHL
00000c0e: SUB
00000c0f: AND
00000c10: DUP3
00000c11: MSTORE
00000c12: DUP2
00000c13: ADD
00000c14: SWAP2
00000c15: SWAP1
00000c16: SWAP2
00000c17: MSTORE
00000c18: PUSH1 0x40
00000c1a: ADD
00000c1b: PUSH1 0x00
00000c1d: KECCAK256
00000c1e: DUP1
00000c1f: SLOAD
00000c20: PUSH1 0xff
00000c22: NOT
00000c23: AND
00000c24: SWAP2
00000c25: ISZERO
00000c26: ISZERO
00000c27: SWAP2
00000c28: SWAP1
00000c29: SWAP2
00000c2a: OR
00000c2b: SWAP1
00000c2c: SSTORE
00000c2d: DUP1
00000c2e: PUSH2 0x0c36
00000c31: DUP2
00000c32: PUSH2 0x1d82
00000c35: JUMP
00000c36: JUMPDEST
00000c37: SWAP2
00000c38: POP
00000c39: POP
00000c3a: PUSH2 0x0bd9
00000c3d: JUMP
00000c3e: JUMPDEST
00000c3f: PUSH1 0x01
00000c41: PUSH1 0x01
00000c43: PUSH1 0xa0
00000c45: SHL
00000c46: SUB
00000c47: DUP4
00000c48: AND
00000c49: PUSH2 0x0ca0
00000c4c: JUMPI
00000c4d: PUSH1 0x40
00000c4f: MLOAD
00000c50: PUSH3 0x461bcd
00000c54: PUSH1 0xe5
00000c56: SHL
00000c57: DUP2
00000c58: MSTORE
00000c59: PUSH1 0x20
00000c5b: PUSH1 0x04
00000c5d: DUP3
00000c5e: ADD
00000c5f: MSTORE
00000c60: PUSH1 0x24
00000c62: DUP1
00000c63: DUP3
00000c64: ADD
00000c65: MSTORE
00000c66: PUSH32 0x45524332303a20617070726f76652066726f6d20746865207a65726f20616464
00000c87: PUSH1 0x44
00000c89: DUP3
00000c8a: ADD
00000c8b: MSTORE
00000c8c: PUSH4 0x72657373
00000c91: PUSH1 0xe0
00000c93: SHL
00000c94: PUSH1 0x64
00000c96: DUP3
00000c97: ADD
00000c98: MSTORE
00000c99: PUSH1 0x84
00000c9b: ADD
00000c9c: PUSH2 0x04d2
00000c9f: JUMP
00000ca0: JUMPDEST
00000ca1: PUSH1 0x01
00000ca3: PUSH1 0x01
00000ca5: PUSH1 0xa0
00000ca7: SHL
00000ca8: SUB
00000ca9: DUP3
00000caa: AND
00000cab: PUSH2 0x0d01
00000cae: JUMPI
00000caf: PUSH1 0x40
00000cb1: MLOAD
00000cb2: PUSH3 0x461bcd
00000cb6: PUSH1 0xe5
00000cb8: SHL
00000cb9: DUP2
00000cba: MSTORE
00000cbb: PUSH1 0x20
00000cbd: PUSH1 0x04
00000cbf: DUP3
00000cc0: ADD
00000cc1: MSTORE
00000cc2: PUSH1 0x22
00000cc4: PUSH1 0x24
00000cc6: DUP3
00000cc7: ADD
00000cc8: MSTORE
00000cc9: PUSH32 0x45524332303a20617070726f766520746f20746865207a65726f206164647265
00000cea: PUSH1 0x44
00000cec: DUP3
00000ced: ADD
00000cee: MSTORE
00000cef: PUSH2 0x7373
00000cf2: PUSH1 0xf0
00000cf4: SHL
00000cf5: PUSH1 0x64
00000cf7: DUP3
00000cf8: ADD
00000cf9: MSTORE
00000cfa: PUSH1 0x84
00000cfc: ADD
00000cfd: PUSH2 0x04d2
00000d00: JUMP
00000d01: JUMPDEST
00000d02: PUSH1 0x01
00000d04: PUSH1 0x01
00000d06: PUSH1 0xa0
00000d08: SHL
00000d09: SUB
00000d0a: DUP4
00000d0b: DUP2
00000d0c: AND
00000d0d: PUSH1 0x00
00000d0f: DUP2
00000d10: DUP2
00000d11: MSTORE
00000d12: PUSH1 0x02
00000d14: PUSH1 0x20
00000d16: SWAP1
00000d17: DUP2
00000d18: MSTORE
00000d19: PUSH1 0x40
00000d1b: DUP1
00000d1c: DUP4
00000d1d: KECCAK256
00000d1e: SWAP5
00000d1f: DUP8
00000d20: AND
00000d21: DUP1
00000d22: DUP5
00000d23: MSTORE
00000d24: SWAP5
00000d25: DUP3
00000d26: MSTORE
00000d27: SWAP2
00000d28: DUP3
00000d29: SWAP1
00000d2a: KECCAK256
00000d2b: DUP6
00000d2c: SWAP1
00000d2d: SSTORE
00000d2e: SWAP1
00000d2f: MLOAD
00000d30: DUP5
00000d31: DUP2
00000d32: MSTORE
00000d33: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
00000d54: SWAP2
00000d55: ADD
00000d56: PUSH1 0x40
00000d58: MLOAD
00000d59: DUP1
00000d5a: SWAP2
00000d5b: SUB
00000d5c: SWAP1
00000d5d: LOG3
00000d5e: POP
00000d5f: POP
00000d60: POP
00000d61: JUMP
00000d62: JUMPDEST
00000d63: PUSH1 0x01
00000d65: PUSH1 0x01
00000d67: PUSH1 0xa0
00000d69: SHL
00000d6a: SUB
00000d6b: DUP4
00000d6c: AND
00000d6d: PUSH2 0x0dc6
00000d70: JUMPI
00000d71: PUSH1 0x40
00000d73: MLOAD
00000d74: PUSH3 0x461bcd
00000d78: PUSH1 0xe5
00000d7a: SHL
00000d7b: DUP2
00000d7c: MSTORE
00000d7d: PUSH1 0x20
00000d7f: PUSH1 0x04
00000d81: DUP3
00000d82: ADD
00000d83: MSTORE
00000d84: PUSH1 0x25
00000d86: PUSH1 0x24
00000d88: DUP3
00000d89: ADD
00000d8a: MSTORE
00000d8b: PUSH32 0x45524332303a207472616e736665722066726f6d20746865207a65726f206164
00000dac: PUSH1 0x44
00000dae: DUP3
00000daf: ADD
00000db0: MSTORE
00000db1: PUSH5 0x6472657373
00000db7: PUSH1 0xd8
00000db9: SHL
00000dba: PUSH1 0x64
00000dbc: DUP3
00000dbd: ADD
00000dbe: MSTORE
00000dbf: PUSH1 0x84
00000dc1: ADD
00000dc2: PUSH2 0x04d2
00000dc5: JUMP
00000dc6: JUMPDEST
00000dc7: PUSH1 0x01
00000dc9: PUSH1 0x01
00000dcb: PUSH1 0xa0
00000dcd: SHL
00000dce: SUB
00000dcf: DUP3
00000dd0: AND
00000dd1: PUSH2 0x0e28
00000dd4: JUMPI
00000dd5: PUSH1 0x40
00000dd7: MLOAD
00000dd8: PUSH3 0x461bcd
00000ddc: PUSH1 0xe5
00000dde: SHL
00000ddf: DUP2
00000de0: MSTORE
00000de1: PUSH1 0x20
00000de3: PUSH1 0x04
00000de5: DUP3
00000de6: ADD
00000de7: MSTORE
00000de8: PUSH1 0x23
00000dea: PUSH1 0x24
00000dec: DUP3
00000ded: ADD
00000dee: MSTORE
00000def: PUSH32 0x45524332303a207472616e7366657220746f20746865207a65726f2061646472
00000e10: PUSH1 0x44
00000e12: DUP3
00000e13: ADD
00000e14: MSTORE
00000e15: PUSH3 0x657373
00000e19: PUSH1 0xe8
00000e1b: SHL
00000e1c: PUSH1 0x64
00000e1e: DUP3
00000e1f: ADD
00000e20: MSTORE
00000e21: PUSH1 0x84
00000e23: ADD
00000e24: PUSH2 0x04d2
00000e27: JUMP
00000e28: JUMPDEST
00000e29: PUSH1 0x00
00000e2b: DUP2
00000e2c: GT
00000e2d: PUSH2 0x0e8a
00000e30: JUMPI
00000e31: PUSH1 0x40
00000e33: MLOAD
00000e34: PUSH3 0x461bcd
00000e38: PUSH1 0xe5
00000e3a: SHL
00000e3b: DUP2
00000e3c: MSTORE
00000e3d: PUSH1 0x20
00000e3f: PUSH1 0x04
00000e41: DUP3
00000e42: ADD
00000e43: MSTORE
00000e44: PUSH1 0x29
00000e46: PUSH1 0x24
00000e48: DUP3
00000e49: ADD
00000e4a: MSTORE
00000e4b: PUSH32 0x5472616e7366657220616d6f756e74206d757374206265206772656174657220
00000e6c: PUSH1 0x44
00000e6e: DUP3
00000e6f: ADD
00000e70: MSTORE
00000e71: PUSH9 0x7468616e207a65726f
00000e7b: PUSH1 0xb8
00000e7d: SHL
00000e7e: PUSH1 0x64
00000e80: DUP3
00000e81: ADD
00000e82: MSTORE
00000e83: PUSH1 0x84
00000e85: ADD
00000e86: PUSH2 0x04d2
00000e89: JUMP
00000e8a: JUMPDEST
00000e8b: PUSH1 0x00
00000e8d: DUP1
00000e8e: SLOAD
00000e8f: PUSH1 0x01
00000e91: PUSH1 0x01
00000e93: PUSH1 0xa0
00000e95: SHL
00000e96: SUB
00000e97: DUP6
00000e98: DUP2
00000e99: AND
00000e9a: SWAP2
00000e9b: AND
00000e9c: EQ
00000e9d: DUP1
00000e9e: ISZERO
00000e9f: SWAP1
00000ea0: PUSH2 0x0eb7
00000ea3: JUMPI
00000ea4: POP
00000ea5: PUSH1 0x00
00000ea7: SLOAD
00000ea8: PUSH1 0x01
00000eaa: PUSH1 0x01
00000eac: PUSH1 0xa0
00000eae: SHL
00000eaf: SUB
00000eb0: DUP5
00000eb1: DUP2
00000eb2: AND
00000eb3: SWAP2
00000eb4: AND
00000eb5: EQ
00000eb6: ISZERO
00000eb7: JUMPDEST
00000eb8: ISZERO
00000eb9: PUSH2 0x1238
00000ebc: JUMPI
00000ebd: PUSH1 0x01
00000ebf: PUSH1 0x01
00000ec1: PUSH1 0xa0
00000ec3: SHL
00000ec4: SUB
00000ec5: DUP5
00000ec6: AND
00000ec7: PUSH1 0x00
00000ec9: SWAP1
00000eca: DUP2
00000ecb: MSTORE
00000ecc: PUSH1 0x04
00000ece: PUSH1 0x20
00000ed0: MSTORE
00000ed1: PUSH1 0x40
00000ed3: SWAP1
00000ed4: KECCAK256
00000ed5: SLOAD
00000ed6: PUSH1 0xff
00000ed8: AND
00000ed9: ISZERO
00000eda: DUP1
00000edb: ISZERO
00000edc: PUSH2 0x0efe
00000edf: JUMPI
00000ee0: POP
00000ee1: PUSH1 0x01
00000ee3: PUSH1 0x01
00000ee5: PUSH1 0xa0
00000ee7: SHL
00000ee8: SUB
00000ee9: DUP4
00000eea: AND
00000eeb: PUSH1 0x00
00000eed: SWAP1
00000eee: DUP2
00000eef: MSTORE
00000ef0: PUSH1 0x04
00000ef2: PUSH1 0x20
00000ef4: MSTORE
00000ef5: PUSH1 0x40
00000ef7: SWAP1
00000ef8: KECCAK256
00000ef9: SLOAD
00000efa: PUSH1 0xff
00000efc: AND
00000efd: ISZERO
00000efe: JUMPDEST
00000eff: PUSH2 0x0f07
00000f02: JUMPI
00000f03: PUSH1 0x00
00000f05: DUP1
00000f06: REVERT
00000f07: JUMPDEST
00000f08: PUSH2 0x0f33
00000f0b: PUSH1 0x64
00000f0d: PUSH2 0x0f2d
00000f10: PUSH1 0x0b
00000f12: SLOAD
00000f13: PUSH1 0x0e
00000f15: SLOAD
00000f16: GT
00000f17: PUSH2 0x0f22
00000f1a: JUMPI
00000f1b: PUSH1 0x07
00000f1d: SLOAD
00000f1e: PUSH2 0x0f26
00000f21: JUMP
00000f22: JUMPDEST
00000f23: PUSH1 0x09
00000f25: SLOAD
00000f26: JUMPDEST
00000f27: DUP6
00000f28: SWAP1
00000f29: PUSH2 0x13b5
00000f2c: JUMP
00000f2d: JUMPDEST
00000f2e: SWAP1
00000f2f: PUSH2 0x143b
00000f32: JUMP
00000f33: JUMPDEST
00000f34: PUSH1 0x16
00000f36: SLOAD
00000f37: SWAP1
00000f38: SWAP2
00000f39: POP
00000f3a: PUSH1 0x01
00000f3c: PUSH1 0x01
00000f3e: PUSH1 0xa0
00000f40: SHL
00000f41: SUB
00000f42: DUP6
00000f43: DUP2
00000f44: AND
00000f45: SWAP2
00000f46: AND
00000f47: EQ
00000f48: DUP1
00000f49: ISZERO
00000f4a: PUSH2 0x0f61
00000f4d: JUMPI
00000f4e: POP
00000f4f: PUSH1 0x15
00000f51: SLOAD
00000f52: PUSH1 0x01
00000f54: PUSH1 0x01
00000f56: PUSH1 0xa0
00000f58: SHL
00000f59: SUB
00000f5a: DUP5
00000f5b: DUP2
00000f5c: AND
00000f5d: SWAP2
00000f5e: AND
00000f5f: EQ
00000f60: ISZERO
00000f61: JUMPDEST
00000f62: DUP1
00000f63: ISZERO
00000f64: PUSH2 0x0f86
00000f67: JUMPI
00000f68: POP
00000f69: PUSH1 0x01
00000f6b: PUSH1 0x01
00000f6d: PUSH1 0xa0
00000f6f: SHL
00000f70: SUB
00000f71: DUP4
00000f72: AND
00000f73: PUSH1 0x00
00000f75: SWAP1
00000f76: DUP2
00000f77: MSTORE
00000f78: PUSH1 0x03
00000f7a: PUSH1 0x20
00000f7c: MSTORE
00000f7d: PUSH1 0x40
00000f7f: SWAP1
00000f80: KECCAK256
00000f81: SLOAD
00000f82: PUSH1 0xff
00000f84: AND
00000f85: ISZERO
00000f86: JUMPDEST
00000f87: ISZERO
00000f88: PUSH2 0x1090
00000f8b: JUMPI
00000f8c: PUSH1 0x11
00000f8e: SLOAD
00000f8f: DUP3
00000f90: GT
00000f91: ISZERO
00000f92: PUSH2 0x0fdd
00000f95: JUMPI
00000f96: PUSH1 0x40
00000f98: MLOAD
00000f99: PUSH3 0x461bcd
00000f9d: PUSH1 0xe5
00000f9f: SHL
00000fa0: DUP2
00000fa1: MSTORE
00000fa2: PUSH1 0x20
00000fa4: PUSH1 0x04
00000fa6: DUP3
00000fa7: ADD
00000fa8: MSTORE
00000fa9: PUSH1 0x19
00000fab: PUSH1 0x24
00000fad: DUP3
00000fae: ADD
00000faf: MSTORE
00000fb0: PUSH32 0x4578636565647320746865205f6d61785478416d6f756e742e00000000000000
00000fd1: PUSH1 0x44
00000fd3: DUP3
00000fd4: ADD
00000fd5: MSTORE
00000fd6: PUSH1 0x64
00000fd8: ADD
00000fd9: PUSH2 0x04d2
00000fdc: JUMP
00000fdd: JUMPDEST
00000fde: PUSH1 0x12
00000fe0: SLOAD
00000fe1: DUP3
00000fe2: PUSH2 0x1000
00000fe5: DUP6
00000fe6: PUSH1 0x01
00000fe8: PUSH1 0x01
00000fea: PUSH1 0xa0
00000fec: SHL
00000fed: SUB
00000fee: AND
00000fef: PUSH1 0x00
00000ff1: SWAP1
00000ff2: DUP2
00000ff3: MSTORE
00000ff4: PUSH1 0x01
00000ff6: PUSH1 0x20
00000ff8: MSTORE
00000ff9: PUSH1 0x40
00000ffb: SWAP1
00000ffc: KECCAK256
00000ffd: SLOAD
00000ffe: SWAP1
00000fff: JUMP
00001000: JUMPDEST
00001001: PUSH2 0x100a
00001004: SWAP2
00001005: SWAP1
00001006: PUSH2 0x1bef
00001009: JUMP
0000100a: JUMPDEST
0000100b: GT
0000100c: ISZERO
0000100d: PUSH2 0x1058
00001010: JUMPI
00001011: PUSH1 0x40
00001013: MLOAD
00001014: PUSH3 0x461bcd
00001018: PUSH1 0xe5
0000101a: SHL
0000101b: DUP2
0000101c: MSTORE
0000101d: PUSH1 0x20
0000101f: PUSH1 0x04
00001021: DUP3
00001022: ADD
00001023: MSTORE
00001024: PUSH1 0x1a
00001026: PUSH1 0x24
00001028: DUP3
00001029: ADD
0000102a: MSTORE
0000102b: PUSH32 0x4578636565647320746865206d617857616c6c657453697a652e000000000000
0000104c: PUSH1 0x44
0000104e: DUP3
0000104f: ADD
00001050: MSTORE
00001051: PUSH1 0x64
00001053: ADD
00001054: PUSH2 0x04d2
00001057: JUMP
00001058: JUMPDEST
00001059: NUMBER
0000105a: PUSH1 0x06
0000105c: SLOAD
0000105d: PUSH1 0x03
0000105f: PUSH2 0x1068
00001062: SWAP2
00001063: SWAP1
00001064: PUSH2 0x1bef
00001067: JUMP
00001068: JUMPDEST
00001069: GT
0000106a: ISZERO
0000106b: PUSH2 0x107a
0000106e: JUMPI
0000106f: DUP3
00001070: EXTCODESIZE
00001071: ISZERO
00001072: PUSH2 0x107a
00001075: JUMPI
00001076: PUSH1 0x00
00001078: DUP1
00001079: REVERT
0000107a: JUMPDEST
0000107b: PUSH1 0x0e
0000107d: DUP1
0000107e: SLOAD
0000107f: SWAP1
00001080: PUSH1 0x00
00001082: PUSH2 0x108a
00001085: DUP4
00001086: PUSH2 0x1d82
00001089: JUMP
0000108a: JUMPDEST
0000108b: SWAP2
0000108c: SWAP1
0000108d: POP
0000108e: SSTORE
0000108f: POP
00001090: JUMPDEST
00001091: PUSH1 0x16
00001093: SLOAD
00001094: PUSH1 0x01
00001096: PUSH1 0x01
00001098: PUSH1 0xa0
0000109a: SHL
0000109b: SUB
0000109c: DUP5
0000109d: DUP2
0000109e: AND
0000109f: SWAP2
000010a0: AND
000010a1: EQ
000010a2: DUP1
000010a3: ISZERO
000010a4: SWAP1
000010a5: PUSH2 0x10c7
000010a8: JUMPI
000010a9: POP
000010aa: PUSH1 0x01
000010ac: PUSH1 0x01
000010ae: PUSH1 0xa0
000010b0: SHL
000010b1: SUB
000010b2: DUP4
000010b3: AND
000010b4: PUSH1 0x00
000010b6: SWAP1
000010b7: DUP2
000010b8: MSTORE
000010b9: PUSH1 0x03
000010bb: PUSH1 0x20
000010bd: MSTORE
000010be: PUSH1 0x40
000010c0: SWAP1
000010c1: KECCAK256
000010c2: SLOAD
000010c3: PUSH1 0xff
000010c5: AND
000010c6: ISZERO
000010c7: JUMPDEST
000010c8: ISZERO
000010c9: PUSH2 0x1147
000010cc: JUMPI
000010cd: PUSH1 0x12
000010cf: SLOAD
000010d0: DUP3
000010d1: PUSH2 0x10ef
000010d4: DUP6
000010d5: PUSH1 0x01
000010d7: PUSH1 0x01
000010d9: PUSH1 0xa0
000010db: SHL
000010dc: SUB
000010dd: AND
000010de: PUSH1 0x00
000010e0: SWAP1
000010e1: DUP2
000010e2: MSTORE
000010e3: PUSH1 0x01
000010e5: PUSH1 0x20
000010e7: MSTORE
000010e8: PUSH1 0x40
000010ea: SWAP1
000010eb: KECCAK256
000010ec: SLOAD
000010ed: SWAP1
000010ee: JUMP
000010ef: JUMPDEST
000010f0: PUSH2 0x10f9
000010f3: SWAP2
000010f4: SWAP1
000010f5: PUSH2 0x1bef
000010f8: JUMP
000010f9: JUMPDEST
000010fa: GT
000010fb: ISZERO
000010fc: PUSH2 0x1147
000010ff: JUMPI
00001100: PUSH1 0x40
00001102: MLOAD
00001103: PUSH3 0x461bcd
00001107: PUSH1 0xe5
00001109: SHL
0000110a: DUP2
0000110b: MSTORE
0000110c: PUSH1 0x20
0000110e: PUSH1 0x04
00001110: DUP3
00001111: ADD
00001112: MSTORE
00001113: PUSH1 0x1a
00001115: PUSH1 0x24
00001117: DUP3
00001118: ADD
00001119: MSTORE
0000111a: PUSH32 0x4578636565647320746865206d617857616c6c657453697a652e000000000000
0000113b: PUSH1 0x44
0000113d: DUP3
0000113e: ADD
0000113f: MSTORE
00001140: PUSH1 0x64
00001142: ADD
00001143: PUSH2 0x04d2
00001146: JUMP
00001147: JUMPDEST
00001148: PUSH1 0x16
0000114a: SLOAD
0000114b: PUSH1 0x01
0000114d: PUSH1 0x01
0000114f: PUSH1 0xa0
00001151: SHL
00001152: SUB
00001153: DUP5
00001154: DUP2
00001155: AND
00001156: SWAP2
00001157: AND
00001158: EQ
00001159: DUP1
0000115a: ISZERO
0000115b: PUSH2 0x116d
0000115e: JUMPI
0000115f: POP
00001160: PUSH1 0x01
00001162: PUSH1 0x01
00001164: PUSH1 0xa0
00001166: SHL
00001167: SUB
00001168: DUP5
00001169: AND
0000116a: ADDRESS
0000116b: EQ
0000116c: ISZERO
0000116d: JUMPDEST
0000116e: ISZERO
0000116f: PUSH2 0x119a
00001172: JUMPI
00001173: PUSH2 0x1197
00001176: PUSH1 0x64
00001178: PUSH2 0x0f2d
0000117b: PUSH1 0x0c
0000117d: SLOAD
0000117e: PUSH1 0x0e
00001180: SLOAD
00001181: GT
00001182: PUSH2 0x118d
00001185: JUMPI
00001186: PUSH1 0x08
00001188: SLOAD
00001189: PUSH2 0x0f26
0000118c: JUMP
0000118d: JUMPDEST
0000118e: PUSH1 0x0a
00001190: SLOAD
00001191: DUP6
00001192: SWAP1
00001193: PUSH2 0x13b5
00001196: JUMP
00001197: JUMPDEST
00001198: SWAP1
00001199: POP
0000119a: JUMPDEST
0000119b: ADDRESS
0000119c: PUSH1 0x00
0000119e: SWAP1
0000119f: DUP2
000011a0: MSTORE
000011a1: PUSH1 0x01
000011a3: PUSH1 0x20
000011a5: MSTORE
000011a6: PUSH1 0x40
000011a8: SWAP1
000011a9: KECCAK256
000011aa: SLOAD
000011ab: PUSH1 0x16
000011ad: SLOAD
000011ae: PUSH1 0x01
000011b0: PUSH1 0xa8
000011b2: SHL
000011b3: SWAP1
000011b4: DIV
000011b5: PUSH1 0xff
000011b7: AND
000011b8: ISZERO
000011b9: DUP1
000011ba: ISZERO
000011bb: PUSH2 0x11d1
000011be: JUMPI
000011bf: POP
000011c0: PUSH1 0x16
000011c2: SLOAD
000011c3: PUSH1 0x01
000011c5: PUSH1 0x01
000011c7: PUSH1 0xa0
000011c9: SHL
000011ca: SUB
000011cb: DUP6
000011cc: DUP2
000011cd: AND
000011ce: SWAP2
000011cf: AND
000011d0: EQ
000011d1: JUMPDEST
000011d2: DUP1
000011d3: ISZERO
000011d4: PUSH2 0x11e6
000011d7: JUMPI
000011d8: POP
000011d9: PUSH1 0x16
000011db: SLOAD
000011dc: PUSH1 0x01
000011de: PUSH1 0xb0
000011e0: SHL
000011e1: SWAP1
000011e2: DIV
000011e3: PUSH1 0xff
000011e5: AND
000011e6: JUMPDEST
000011e7: DUP1
000011e8: ISZERO
000011e9: PUSH2 0x11f3
000011ec: JUMPI
000011ed: POP
000011ee: PUSH1 0x13
000011f0: SLOAD
000011f1: DUP2
000011f2: GT
000011f3: JUMPDEST
000011f4: DUP1
000011f5: ISZERO
000011f6: PUSH2 0x1202
000011f9: JUMPI
000011fa: POP
000011fb: PUSH1 0x0d
000011fd: SLOAD
000011fe: PUSH1 0x0e
00001200: SLOAD
00001201: GT
00001202: JUMPDEST
00001203: ISZERO
00001204: PUSH2 0x1236
00001207: JUMPI
00001208: PUSH2 0x1224
0000120b: PUSH2 0x121f
0000120e: DUP5
0000120f: PUSH2 0x121a
00001212: DUP5
00001213: PUSH1 0x14
00001215: SLOAD
00001216: PUSH2 0x147d
00001219: JUMP
0000121a: JUMPDEST
0000121b: PUSH2 0x147d
0000121e: JUMP
0000121f: JUMPDEST
00001220: PUSH2 0x1492
00001223: JUMP
00001224: JUMPDEST
00001225: SELFBALANCE
00001226: DUP1
00001227: ISZERO
00001228: PUSH2 0x1234
0000122b: JUMPI
0000122c: PUSH2 0x1234
0000122f: SELFBALANCE
00001230: PUSH2 0x161b
00001233: JUMP
00001234: JUMPDEST
00001235: POP
00001236: JUMPDEST
00001237: POP
00001238: JUMPDEST
00001239: DUP1
0000123a: ISZERO
0000123b: PUSH2 0x12b2
0000123e: JUMPI
0000123f: ADDRESS
00001240: PUSH1 0x00
00001242: SWAP1
00001243: DUP2
00001244: MSTORE
00001245: PUSH1 0x01
00001247: PUSH1 0x20
00001249: MSTORE
0000124a: PUSH1 0x40
0000124c: SWAP1
0000124d: KECCAK256
0000124e: SLOAD
0000124f: PUSH2 0x1258
00001252: SWAP1
00001253: DUP3
00001254: PUSH2 0x1655
00001257: JUMP
00001258: JUMPDEST
00001259: ADDRESS
0000125a: PUSH1 0x00
0000125c: DUP2
0000125d: DUP2
0000125e: MSTORE
0000125f: PUSH1 0x01
00001261: PUSH1 0x20
00001263: MSTORE
00001264: PUSH1 0x40
00001266: SWAP1
00001267: DUP2
00001268: SWAP1
00001269: KECCAK256
0000126a: SWAP3
0000126b: SWAP1
0000126c: SWAP3
0000126d: SSTORE
0000126e: SWAP1
0000126f: MLOAD
00001270: PUSH1 0x01
00001272: PUSH1 0x01
00001274: PUSH1 0xa0
00001276: SHL
00001277: SUB
00001278: DUP7
00001279: AND
0000127a: SWAP1
0000127b: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
0000129c: SWAP1
0000129d: PUSH2 0x12a9
000012a0: SWAP1
000012a1: DUP6
000012a2: DUP2
000012a3: MSTORE
000012a4: PUSH1 0x20
000012a6: ADD
000012a7: SWAP1
000012a8: JUMP
000012a9: JUMPDEST
000012aa: PUSH1 0x40
000012ac: MLOAD
000012ad: DUP1
000012ae: SWAP2
000012af: SUB
000012b0: SWAP1
000012b1: LOG3
000012b2: JUMPDEST
000012b3: PUSH1 0x01
000012b5: PUSH1 0x01
000012b7: PUSH1 0xa0
000012b9: SHL
000012ba: SUB
000012bb: DUP5
000012bc: AND
000012bd: PUSH1 0x00
000012bf: SWAP1
000012c0: DUP2
000012c1: MSTORE
000012c2: PUSH1 0x01
000012c4: PUSH1 0x20
000012c6: MSTORE
000012c7: PUSH1 0x40
000012c9: SWAP1
000012ca: KECCAK256
000012cb: SLOAD
000012cc: PUSH2 0x12d5
000012cf: SWAP1
000012d0: DUP4
000012d1: PUSH2 0x16b4
000012d4: JUMP
000012d5: JUMPDEST
000012d6: PUSH1 0x01
000012d8: PUSH1 0x01
000012da: PUSH1 0xa0
000012dc: SHL
000012dd: SUB
000012de: DUP6
000012df: AND
000012e0: PUSH1 0x00
000012e2: SWAP1
000012e3: DUP2
000012e4: MSTORE
000012e5: PUSH1 0x01
000012e7: PUSH1 0x20
000012e9: MSTORE
000012ea: PUSH1 0x40
000012ec: SWAP1
000012ed: KECCAK256
000012ee: SSTORE
000012ef: PUSH2 0x131a
000012f2: PUSH2 0x12fb
000012f5: DUP4
000012f6: DUP4
000012f7: PUSH2 0x16b4
000012fa: JUMP
000012fb: JUMPDEST
000012fc: PUSH1 0x01
000012fe: PUSH1 0x01
00001300: PUSH1 0xa0
00001302: SHL
00001303: SUB
00001304: DUP6
00001305: AND
00001306: PUSH1 0x00
00001308: SWAP1
00001309: DUP2
0000130a: MSTORE
0000130b: PUSH1 0x01
0000130d: PUSH1 0x20
0000130f: MSTORE
00001310: PUSH1 0x40
00001312: SWAP1
00001313: KECCAK256
00001314: SLOAD
00001315: SWAP1
00001316: PUSH2 0x1655
00001319: JUMP
0000131a: JUMPDEST
0000131b: PUSH1 0x01
0000131d: PUSH1 0x01
0000131f: PUSH1 0xa0
00001321: SHL
00001322: SUB
00001323: DUP1
00001324: DUP6
00001325: AND
00001326: PUSH1 0x00
00001328: DUP2
00001329: DUP2
0000132a: MSTORE
0000132b: PUSH1 0x01
0000132d: PUSH1 0x20
0000132f: MSTORE
00001330: PUSH1 0x40
00001332: SWAP1
00001333: KECCAK256
00001334: SWAP3
00001335: SWAP1
00001336: SWAP3
00001337: SSTORE
00001338: DUP6
00001339: AND
0000133a: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
0000135b: PUSH2 0x1364
0000135e: DUP6
0000135f: DUP6
00001360: PUSH2 0x16b4
00001363: JUMP
00001364: JUMPDEST
00001365: PUSH1 0x40
00001367: MLOAD
00001368: SWAP1
00001369: DUP2
0000136a: MSTORE
0000136b: PUSH1 0x20
0000136d: ADD
0000136e: PUSH1 0x40
00001370: MLOAD
00001371: DUP1
00001372: SWAP2
00001373: SUB
00001374: SWAP1
00001375: LOG3
00001376: POP
00001377: POP
00001378: POP
00001379: POP
0000137a: JUMP
0000137b: JUMPDEST
0000137c: PUSH1 0x00
0000137e: DUP2
0000137f: DUP5
00001380: DUP5
00001381: GT
00001382: ISZERO
00001383: PUSH2 0x139f
00001386: JUMPI
00001387: PUSH1 0x40
00001389: MLOAD
0000138a: PUSH3 0x461bcd
0000138e: PUSH1 0xe5
00001390: SHL
00001391: DUP2
00001392: MSTORE
00001393: PUSH1 0x04
00001395: ADD
00001396: PUSH2 0x04d2
00001399: SWAP2
0000139a: SWAP1
0000139b: PUSH2 0x1ac7
0000139e: JUMP
0000139f: JUMPDEST
000013a0: POP
000013a1: PUSH1 0x00
000013a3: PUSH2 0x13ac
000013a6: DUP5
000013a7: DUP7
000013a8: PUSH2 0x1d36
000013ab: JUMP
000013ac: JUMPDEST
000013ad: SWAP6
000013ae: SWAP5
000013af: POP
000013b0: POP
000013b1: POP
000013b2: POP
000013b3: POP
000013b4: JUMP
000013b5: JUMPDEST
000013b6: PUSH1 0x00
000013b8: DUP3
000013b9: PUSH2 0x13c4
000013bc: JUMPI
000013bd: POP
000013be: PUSH1 0x00
000013c0: PUSH2 0x04a2
000013c3: JUMP
000013c4: JUMPDEST
000013c5: PUSH1 0x00
000013c7: PUSH2 0x13d0
000013ca: DUP4
000013cb: DUP6
000013cc: PUSH2 0x1d17
000013cf: JUMP
000013d0: JUMPDEST
000013d1: SWAP1
000013d2: POP
000013d3: DUP3
000013d4: PUSH2 0x13dd
000013d7: DUP6
000013d8: DUP4
000013d9: PUSH2 0x1c07
000013dc: JUMP
000013dd: JUMPDEST
000013de: EQ
000013df: PUSH2 0x1434
000013e2: JUMPI
000013e3: PUSH1 0x40
000013e5: MLOAD
000013e6: PUSH3 0x461bcd
000013ea: PUSH1 0xe5
000013ec: SHL
000013ed: DUP2
000013ee: MSTORE
000013ef: PUSH1 0x20
000013f1: PUSH1 0x04
000013f3: DUP3
000013f4: ADD
000013f5: MSTORE
000013f6: PUSH1 0x21
000013f8: PUSH1 0x24
000013fa: DUP3
000013fb: ADD
000013fc: MSTORE
000013fd: PUSH32 0x536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f
0000141e: PUSH1 0x44
00001420: DUP3
00001421: ADD
00001422: MSTORE
00001423: PUSH1 0x77
00001425: PUSH1 0xf8
00001427: SHL
00001428: PUSH1 0x64
0000142a: DUP3
0000142b: ADD
0000142c: MSTORE
0000142d: PUSH1 0x84
0000142f: ADD
00001430: PUSH2 0x04d2
00001433: JUMP
00001434: JUMPDEST
00001435: SWAP4
00001436: SWAP3
00001437: POP
00001438: POP
00001439: POP
0000143a: JUMP
0000143b: JUMPDEST
0000143c: PUSH1 0x00
0000143e: PUSH2 0x1434
00001441: DUP4
00001442: DUP4
00001443: PUSH1 0x40
00001445: MLOAD
00001446: DUP1
00001447: PUSH1 0x40
00001449: ADD
0000144a: PUSH1 0x40
0000144c: MSTORE
0000144d: DUP1
0000144e: PUSH1 0x1a
00001450: DUP2
00001451: MSTORE
00001452: PUSH1 0x20
00001454: ADD
00001455: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000
00001476: DUP2
00001477: MSTORE
00001478: POP
00001479: PUSH2 0x16f6
0000147c: JUMP
0000147d: JUMPDEST
0000147e: PUSH1 0x00
00001480: DUP2
00001481: DUP4
00001482: GT
00001483: PUSH2 0x148c
00001486: JUMPI
00001487: DUP3
00001488: PUSH2 0x1434
0000148b: JUMP
0000148c: JUMPDEST
0000148d: POP
0000148e: SWAP2
0000148f: SWAP1
00001490: POP
00001491: JUMP
00001492: JUMPDEST
00001493: PUSH1 0x16
00001495: DUP1
00001496: SLOAD
00001497: PUSH1 0xff
00001499: PUSH1 0xa8
0000149b: SHL
0000149c: NOT
0000149d: AND
0000149e: PUSH1 0x01
000014a0: PUSH1 0xa8
000014a2: SHL
000014a3: OR
000014a4: SWAP1
000014a5: SSTORE
000014a6: PUSH1 0x40
000014a8: DUP1
000014a9: MLOAD
000014aa: PUSH1 0x02
000014ac: DUP1
000014ad: DUP3
000014ae: MSTORE
000014af: PUSH1 0x60
000014b1: DUP3
000014b2: ADD
000014b3: DUP4
000014b4: MSTORE
000014b5: PUSH1 0x00
000014b7: SWAP3
000014b8: PUSH1 0x20
000014ba: DUP4
000014bb: ADD
000014bc: SWAP1
000014bd: DUP1
000014be: CALLDATASIZE
000014bf: DUP4
000014c0: CALLDATACOPY
000014c1: ADD
000014c2: SWAP1
000014c3: POP
000014c4: POP
000014c5: SWAP1
000014c6: POP
000014c7: ADDRESS
000014c8: DUP2
000014c9: PUSH1 0x00
000014cb: DUP2
000014cc: MLOAD
000014cd: DUP2
000014ce: LT
000014cf: PUSH2 0x14da
000014d2: JUMPI
000014d3: PUSH2 0x14da
000014d6: PUSH2 0x1db3
000014d9: JUMP
000014da: JUMPDEST
000014db: PUSH1 0x01
000014dd: PUSH1 0x01
000014df: PUSH1 0xa0
000014e1: SHL
000014e2: SUB
000014e3: SWAP3
000014e4: DUP4
000014e5: AND
000014e6: PUSH1 0x20
000014e8: SWAP2
000014e9: DUP3
000014ea: MUL
000014eb: SWAP3
000014ec: SWAP1
000014ed: SWAP3
000014ee: ADD
000014ef: DUP2
000014f0: ADD
000014f1: SWAP2
000014f2: SWAP1
000014f3: SWAP2
000014f4: MSTORE
000014f5: PUSH1 0x15
000014f7: SLOAD
000014f8: PUSH1 0x40
000014fa: DUP1
000014fb: MLOAD
000014fc: PUSH4 0x15ab88c9
00001501: PUSH1 0xe3
00001503: SHL
00001504: DUP2
00001505: MSTORE
00001506: SWAP1
00001507: MLOAD
00001508: SWAP2
00001509: SWAP1
0000150a: SWAP4
0000150b: AND
0000150c: SWAP3
0000150d: PUSH4 0xad5c4648
00001512: SWAP3
00001513: PUSH1 0x04
00001515: DUP1
00001516: DUP4
00001517: ADD
00001518: SWAP4
00001519: SWAP2
0000151a: SWAP3
0000151b: DUP3
0000151c: SWAP1
0000151d: SUB
0000151e: ADD
0000151f: DUP2
00001520: DUP7
00001521: DUP1
00001522: EXTCODESIZE
00001523: ISZERO
00001524: DUP1
00001525: ISZERO
00001526: PUSH2 0x152e
00001529: JUMPI
0000152a: PUSH1 0x00
0000152c: DUP1
0000152d: REVERT
0000152e: JUMPDEST
0000152f: POP
00001530: GAS
00001531: STATICCALL
00001532: ISZERO
00001533: DUP1
00001534: ISZERO
00001535: PUSH2 0x1542
00001538: JUMPI
00001539: RETURNDATASIZE
0000153a: PUSH1 0x00
0000153c: DUP1
0000153d: RETURNDATACOPY
0000153e: RETURNDATASIZE
0000153f: PUSH1 0x00
00001541: REVERT
00001542: JUMPDEST
00001543: POP
00001544: POP
00001545: POP
00001546: POP
00001547: PUSH1 0x40
00001549: MLOAD
0000154a: RETURNDATASIZE
0000154b: PUSH1 0x1f
0000154d: NOT
0000154e: PUSH1 0x1f
00001550: DUP3
00001551: ADD
00001552: AND
00001553: DUP3
00001554: ADD
00001555: DUP1
00001556: PUSH1 0x40
00001558: MSTORE
00001559: POP
0000155a: DUP2
0000155b: ADD
0000155c: SWAP1
0000155d: PUSH2 0x1566
00001560: SWAP2
00001561: SWAP1
00001562: PUSH2 0x184a
00001565: JUMP
00001566: JUMPDEST
00001567: DUP2
00001568: PUSH1 0x01
0000156a: DUP2
0000156b: MLOAD
0000156c: DUP2
0000156d: LT
0000156e: PUSH2 0x1579
00001571: JUMPI
00001572: PUSH2 0x1579
00001575: PUSH2 0x1db3
00001578: JUMP
00001579: JUMPDEST
0000157a: PUSH1 0x01
0000157c: PUSH1 0x01
0000157e: PUSH1 0xa0
00001580: SHL
00001581: SUB
00001582: SWAP3
00001583: DUP4
00001584: AND
00001585: PUSH1 0x20
00001587: SWAP2
00001588: DUP3
00001589: MUL
0000158a: SWAP3
0000158b: SWAP1
0000158c: SWAP3
0000158d: ADD
0000158e: ADD
0000158f: MSTORE
00001590: PUSH1 0x15
00001592: SLOAD
00001593: PUSH2 0x159f
00001596: SWAP2
00001597: ADDRESS
00001598: SWAP2
00001599: AND
0000159a: DUP5
0000159b: PUSH2 0x0c3e
0000159e: JUMP
0000159f: JUMPDEST
000015a0: PUSH1 0x15
000015a2: SLOAD
000015a3: PUSH1 0x40
000015a5: MLOAD
000015a6: PUSH4 0x791ac947
000015ab: PUSH1 0xe0
000015ad: SHL
000015ae: DUP2
000015af: MSTORE
000015b0: PUSH1 0x01
000015b2: PUSH1 0x01
000015b4: PUSH1 0xa0
000015b6: SHL
000015b7: SUB
000015b8: SWAP1
000015b9: SWAP2
000015ba: AND
000015bb: SWAP1
000015bc: PUSH4 0x791ac947
000015c1: SWAP1
000015c2: PUSH2 0x15d8
000015c5: SWAP1
000015c6: DUP6
000015c7: SWAP1
000015c8: PUSH1 0x00
000015ca: SWAP1
000015cb: DUP7
000015cc: SWAP1
000015cd: ADDRESS
000015ce: SWAP1
000015cf: TIMESTAMP
000015d0: SWAP1
000015d1: PUSH1 0x04
000015d3: ADD
000015d4: PUSH2 0x1b4d
000015d7: JUMP
000015d8: JUMPDEST
000015d9: PUSH1 0x00
000015db: PUSH1 0x40
000015dd: MLOAD
000015de: DUP1
000015df: DUP4
000015e0: SUB
000015e1: DUP2
000015e2: PUSH1 0x00
000015e4: DUP8
000015e5: DUP1
000015e6: EXTCODESIZE
000015e7: ISZERO
000015e8: DUP1
000015e9: ISZERO
000015ea: PUSH2 0x15f2
000015ed: JUMPI
000015ee: PUSH1 0x00
000015f0: DUP1
000015f1: REVERT
000015f2: JUMPDEST
000015f3: POP
000015f4: GAS
000015f5: CALL
000015f6: ISZERO
000015f7: DUP1
000015f8: ISZERO
000015f9: PUSH2 0x1606
000015fc: JUMPI
000015fd: RETURNDATASIZE
000015fe: PUSH1 0x00
00001600: DUP1
00001601: RETURNDATACOPY
00001602: RETURNDATASIZE
00001603: PUSH1 0x00
00001605: REVERT
00001606: JUMPDEST
00001607: POP
00001608: POP
00001609: PUSH1 0x16
0000160b: DUP1
0000160c: SLOAD
0000160d: PUSH1 0xff
0000160f: PUSH1 0xa8
00001611: SHL
00001612: NOT
00001613: AND
00001614: SWAP1
00001615: SSTORE
00001616: POP
00001617: POP
00001618: POP
00001619: POP
0000161a: JUMP
0000161b: JUMPDEST
0000161c: PUSH1 0x05
0000161e: SLOAD
0000161f: PUSH1 0x40
00001621: MLOAD
00001622: PUSH1 0x01
00001624: PUSH1 0x01
00001626: PUSH1 0xa0
00001628: SHL
00001629: SUB
0000162a: SWAP1
0000162b: SWAP2
0000162c: AND
0000162d: SWAP1
0000162e: DUP3
0000162f: ISZERO
00001630: PUSH2 0x08fc
00001633: MUL
00001634: SWAP1
00001635: DUP4
00001636: SWAP1
00001637: PUSH1 0x00
00001639: DUP2
0000163a: DUP2
0000163b: DUP2
0000163c: DUP6
0000163d: DUP9
0000163e: DUP9
0000163f: CALL
00001640: SWAP4
00001641: POP
00001642: POP
00001643: POP
00001644: POP
00001645: ISZERO
00001646: DUP1
00001647: ISZERO
00001648: PUSH2 0x065d
0000164b: JUMPI
0000164c: RETURNDATASIZE
0000164d: PUSH1 0x00
0000164f: DUP1
00001650: RETURNDATACOPY
00001651: RETURNDATASIZE
00001652: PUSH1 0x00
00001654: REVERT
00001655: JUMPDEST
00001656: PUSH1 0x00
00001658: DUP1
00001659: PUSH2 0x1662
0000165c: DUP4
0000165d: DUP6
0000165e: PUSH2 0x1bef
00001661: JUMP
00001662: JUMPDEST
00001663: SWAP1
00001664: POP
00001665: DUP4
00001666: DUP2
00001667: LT
00001668: ISZERO
00001669: PUSH2 0x1434
0000166c: JUMPI
0000166d: PUSH1 0x40
0000166f: MLOAD
00001670: PUSH3 0x461bcd
00001674: PUSH1 0xe5
00001676: SHL
00001677: DUP2
00001678: MSTORE
00001679: PUSH1 0x20
0000167b: PUSH1 0x04
0000167d: DUP3
0000167e: ADD
0000167f: MSTORE
00001680: PUSH1 0x1b
00001682: PUSH1 0x24
00001684: DUP3
00001685: ADD
00001686: MSTORE
00001687: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000
000016a8: PUSH1 0x44
000016aa: DUP3
000016ab: ADD
000016ac: MSTORE
000016ad: PUSH1 0x64
000016af: ADD
000016b0: PUSH2 0x04d2
000016b3: JUMP
000016b4: JUMPDEST
000016b5: PUSH1 0x00
000016b7: PUSH2 0x1434
000016ba: DUP4
000016bb: DUP4
000016bc: PUSH1 0x40
000016be: MLOAD
000016bf: DUP1
000016c0: PUSH1 0x40
000016c2: ADD
000016c3: PUSH1 0x40
000016c5: MSTORE
000016c6: DUP1
000016c7: PUSH1 0x1e
000016c9: DUP2
000016ca: MSTORE
000016cb: PUSH1 0x20
000016cd: ADD
000016ce: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000
000016ef: DUP2
000016f0: MSTORE
000016f1: POP
000016f2: PUSH2 0x137b
000016f5: JUMP
000016f6: JUMPDEST
000016f7: PUSH1 0x00
000016f9: DUP2
000016fa: DUP4
000016fb: PUSH2 0x1717
000016fe: JUMPI
000016ff: PUSH1 0x40
00001701: MLOAD
00001702: PUSH3 0x461bcd
00001706: PUSH1 0xe5
00001708: SHL
00001709: DUP2
0000170a: MSTORE
0000170b: PUSH1 0x04
0000170d: ADD
0000170e: PUSH2 0x04d2
00001711: SWAP2
00001712: SWAP1
00001713: PUSH2 0x1ac7
00001716: JUMP
00001717: JUMPDEST
00001718: POP
00001719: PUSH1 0x00
0000171b: PUSH2 0x13ac
0000171e: DUP5
0000171f: DUP7
00001720: PUSH2 0x1c07
00001723: JUMP
00001724: JUMPDEST
00001725: DUP3
00001726: DUP1
00001727: SLOAD
00001728: PUSH2 0x1730
0000172b: SWAP1
0000172c: PUSH2 0x1d4d
0000172f: JUMP
00001730: JUMPDEST
00001731: SWAP1
00001732: PUSH1 0x00
00001734: MSTORE
00001735: PUSH1 0x20
00001737: PUSH1 0x00
00001739: KECCAK256
0000173a: SWAP1
0000173b: PUSH1 0x1f
0000173d: ADD
0000173e: PUSH1 0x20
00001740: SWAP1
00001741: DIV
00001742: DUP2
00001743: ADD
00001744: SWAP3
00001745: DUP3
00001746: PUSH2 0x1752
00001749: JUMPI
0000174a: PUSH1 0x00
0000174c: DUP6
0000174d: SSTORE
0000174e: PUSH2 0x1798
00001751: JUMP
00001752: JUMPDEST
00001753: DUP3
00001754: PUSH1 0x1f
00001756: LT
00001757: PUSH2 0x176b
0000175a: JUMPI
0000175b: DUP1
0000175c: MLOAD
0000175d: PUSH1 0xff
0000175f: NOT
00001760: AND
00001761: DUP4
00001762: DUP1
00001763: ADD
00001764: OR
00001765: DUP6
00001766: SSTORE
00001767: PUSH2 0x1798
0000176a: JUMP
0000176b: JUMPDEST
0000176c: DUP3
0000176d: DUP1
0000176e: ADD
0000176f: PUSH1 0x01
00001771: ADD
00001772: DUP6
00001773: SSTORE
00001774: DUP3
00001775: ISZERO
00001776: PUSH2 0x1798
00001779: JUMPI
0000177a: SWAP2
0000177b: DUP3
0000177c: ADD
0000177d: JUMPDEST
0000177e: DUP3
0000177f: DUP2
00001780: GT
00001781: ISZERO
00001782: PUSH2 0x1798
00001785: JUMPI
00001786: DUP3
00001787: MLOAD
00001788: DUP3
00001789: SSTORE
0000178a: SWAP2
0000178b: PUSH1 0x20
0000178d: ADD
0000178e: SWAP2
0000178f: SWAP1
00001790: PUSH1 0x01
00001792: ADD
00001793: SWAP1
00001794: PUSH2 0x177d
00001797: JUMP
00001798: JUMPDEST
00001799: POP
0000179a: PUSH2 0x17a4
0000179d: SWAP3
0000179e: SWAP2
0000179f: POP
000017a0: PUSH2 0x17a8
000017a3: JUMP
000017a4: JUMPDEST
000017a5: POP
000017a6: SWAP1
000017a7: JUMP
000017a8: JUMPDEST
000017a9: JUMPDEST
000017aa: DUP1
000017ab: DUP3
000017ac: GT
000017ad: ISZERO
000017ae: PUSH2 0x17a4
000017b1: JUMPI
000017b2: PUSH1 0x00
000017b4: DUP2
000017b5: SSTORE
000017b6: PUSH1 0x01
000017b8: ADD
000017b9: PUSH2 0x17a9
000017bc: JUMP
000017bd: JUMPDEST
000017be: PUSH1 0x00
000017c0: DUP3
000017c1: PUSH1 0x1f
000017c3: DUP4
000017c4: ADD
000017c5: SLT
000017c6: PUSH2 0x17ce
000017c9: JUMPI
000017ca: PUSH1 0x00
000017cc: DUP1
000017cd: REVERT
000017ce: JUMPDEST
000017cf: DUP2
000017d0: CALLDATALOAD
000017d1: PUSH8 0xffffffffffffffff
000017da: DUP2
000017db: GT
000017dc: ISZERO
000017dd: PUSH2 0x17e8
000017e0: JUMPI
000017e1: PUSH2 0x17e8
000017e4: PUSH2 0x1dc9
000017e7: JUMP
000017e8: JUMPDEST
000017e9: PUSH2 0x17fb
000017ec: PUSH1 0x1f
000017ee: DUP3
000017ef: ADD
000017f0: PUSH1 0x1f
000017f2: NOT
000017f3: AND
000017f4: PUSH1 0x20
000017f6: ADD
000017f7: PUSH2 0x1bbe
000017fa: JUMP
000017fb: JUMPDEST
000017fc: DUP2
000017fd: DUP2
000017fe: MSTORE
000017ff: DUP5
00001800: PUSH1 0x20
00001802: DUP4
00001803: DUP7
00001804: ADD
00001805: ADD
00001806: GT
00001807: ISZERO
00001808: PUSH2 0x1810
0000180b: JUMPI
0000180c: PUSH1 0x00
0000180e: DUP1
0000180f: REVERT
00001810: JUMPDEST
00001811: DUP2
00001812: PUSH1 0x20
00001814: DUP6
00001815: ADD
00001816: PUSH1 0x20
00001818: DUP4
00001819: ADD
0000181a: CALLDATACOPY
0000181b: PUSH1 0x00
0000181d: SWAP2
0000181e: DUP2
0000181f: ADD
00001820: PUSH1 0x20
00001822: ADD
00001823: SWAP2
00001824: SWAP1
00001825: SWAP2
00001826: MSTORE
00001827: SWAP4
00001828: SWAP3
00001829: POP
0000182a: POP
0000182b: POP
0000182c: JUMP
0000182d: JUMPDEST
0000182e: PUSH1 0x00
00001830: PUSH1 0x20
00001832: DUP3
00001833: DUP5
00001834: SUB
00001835: SLT
00001836: ISZERO
00001837: PUSH2 0x183f
0000183a: JUMPI
0000183b: PUSH1 0x00
0000183d: DUP1
0000183e: REVERT
0000183f: JUMPDEST
00001840: DUP2
00001841: CALLDATALOAD
00001842: PUSH2 0x1434
00001845: DUP2
00001846: PUSH2 0x1ddf
00001849: JUMP
0000184a: JUMPDEST
0000184b: PUSH1 0x00
0000184d: PUSH1 0x20
0000184f: DUP3
00001850: DUP5
00001851: SUB
00001852: SLT
00001853: ISZERO
00001854: PUSH2 0x185c
00001857: JUMPI
00001858: PUSH1 0x00
0000185a: DUP1
0000185b: REVERT
0000185c: JUMPDEST
0000185d: DUP2
0000185e: MLOAD
0000185f: PUSH2 0x1434
00001862: DUP2
00001863: PUSH2 0x1ddf
00001866: JUMP
00001867: JUMPDEST
00001868: PUSH1 0x00
0000186a: DUP1
0000186b: PUSH1 0x40
0000186d: DUP4
0000186e: DUP6
0000186f: SUB
00001870: SLT
00001871: ISZERO
00001872: PUSH2 0x187a
00001875: JUMPI
00001876: PUSH1 0x00
00001878: DUP1
00001879: REVERT
0000187a: JUMPDEST
0000187b: DUP3
0000187c: CALLDATALOAD
0000187d: PUSH2 0x1885
00001880: DUP2
00001881: PUSH2 0x1ddf
00001884: JUMP
00001885: JUMPDEST
00001886: SWAP2
00001887: POP
00001888: PUSH1 0x20
0000188a: DUP4
0000188b: ADD
0000188c: CALLDATALOAD
0000188d: PUSH2 0x1895
00001890: DUP2
00001891: PUSH2 0x1ddf
00001894: JUMP
00001895: JUMPDEST
00001896: DUP1
00001897: SWAP2
00001898: POP
00001899: POP
0000189a: SWAP3
0000189b: POP
0000189c: SWAP3
0000189d: SWAP1
0000189e: POP
0000189f: JUMP
000018a0: JUMPDEST
000018a1: PUSH1 0x00
000018a3: DUP1
000018a4: PUSH1 0x00
000018a6: PUSH1 0x60
000018a8: DUP5
000018a9: DUP7
000018aa: SUB
000018ab: SLT
000018ac: ISZERO
000018ad: PUSH2 0x18b5
000018b0: JUMPI
000018b1: PUSH1 0x00
000018b3: DUP1
000018b4: REVERT
000018b5: JUMPDEST
000018b6: DUP4
000018b7: CALLDATALOAD
000018b8: PUSH2 0x18c0
000018bb: DUP2
000018bc: PUSH2 0x1ddf
000018bf: JUMP
000018c0: JUMPDEST
000018c1: SWAP3
000018c2: POP
000018c3: PUSH1 0x20
000018c5: DUP5
000018c6: ADD
000018c7: CALLDATALOAD
000018c8: PUSH2 0x18d0
000018cb: DUP2
000018cc: PUSH2 0x1ddf
000018cf: JUMP
000018d0: JUMPDEST
000018d1: SWAP3
000018d2: SWAP6
000018d3: SWAP3
000018d4: SWAP5
000018d5: POP
000018d6: POP
000018d7: POP
000018d8: PUSH1 0x40
000018da: SWAP2
000018db: SWAP1
000018dc: SWAP2
000018dd: ADD
000018de: CALLDATALOAD
000018df: SWAP1
000018e0: JUMP
000018e1: JUMPDEST
000018e2: PUSH1 0x00
000018e4: DUP1
000018e5: PUSH1 0x40
000018e7: DUP4
000018e8: DUP6
000018e9: SUB
000018ea: SLT
000018eb: ISZERO
000018ec: PUSH2 0x18f4
000018ef: JUMPI
000018f0: PUSH1 0x00
000018f2: DUP1
000018f3: REVERT
000018f4: JUMPDEST
000018f5: DUP3
000018f6: CALLDATALOAD
000018f7: PUSH2 0x18ff
000018fa: DUP2
000018fb: PUSH2 0x1ddf
000018fe: JUMP
000018ff: JUMPDEST
00001900: SWAP5
00001901: PUSH1 0x20
00001903: SWAP4
00001904: SWAP1
00001905: SWAP4
00001906: ADD
00001907: CALLDATALOAD
00001908: SWAP4
00001909: POP
0000190a: POP
0000190b: POP
0000190c: JUMP
0000190d: JUMPDEST
0000190e: PUSH1 0x00
00001910: PUSH1 0x20
00001912: DUP1
00001913: DUP4
00001914: DUP6
00001915: SUB
00001916: SLT
00001917: ISZERO
00001918: PUSH2 0x1920
0000191b: JUMPI
0000191c: PUSH1 0x00
0000191e: DUP1
0000191f: REVERT
00001920: JUMPDEST
00001921: DUP3
00001922: CALLDATALOAD
00001923: PUSH8 0xffffffffffffffff
0000192c: DUP1
0000192d: DUP3
0000192e: GT
0000192f: ISZERO
00001930: PUSH2 0x1938
00001933: JUMPI
00001934: PUSH1 0x00
00001936: DUP1
00001937: REVERT
00001938: JUMPDEST
00001939: DUP2
0000193a: DUP6
0000193b: ADD
0000193c: SWAP2
0000193d: POP
0000193e: DUP6
0000193f: PUSH1 0x1f
00001941: DUP4
00001942: ADD
00001943: SLT
00001944: PUSH2 0x194c
00001947: JUMPI
00001948: PUSH1 0x00
0000194a: DUP1
0000194b: REVERT
0000194c: JUMPDEST
0000194d: DUP2
0000194e: CALLDATALOAD
0000194f: DUP2
00001950: DUP2
00001951: GT
00001952: ISZERO
00001953: PUSH2 0x195e
00001956: JUMPI
00001957: PUSH2 0x195e
0000195a: PUSH2 0x1dc9
0000195d: JUMP
0000195e: JUMPDEST
0000195f: DUP1
00001960: PUSH1 0x05
00001962: SHL
00001963: SWAP2
00001964: POP
00001965: PUSH2 0x196f
00001968: DUP5
00001969: DUP4
0000196a: ADD
0000196b: PUSH2 0x1bbe
0000196e: JUMP
0000196f: JUMPDEST
00001970: DUP2
00001971: DUP2
00001972: MSTORE
00001973: DUP5
00001974: DUP2
00001975: ADD
00001976: SWAP1
00001977: DUP5
00001978: DUP7
00001979: ADD
0000197a: DUP5
0000197b: DUP7
0000197c: ADD
0000197d: DUP8
0000197e: ADD
0000197f: DUP11
00001980: LT
00001981: ISZERO
00001982: PUSH2 0x198a
00001985: JUMPI
00001986: PUSH1 0x00
00001988: DUP1
00001989: REVERT
0000198a: JUMPDEST
0000198b: PUSH1 0x00
0000198d: SWAP6
0000198e: POP
0000198f: JUMPDEST
00001990: DUP4
00001991: DUP7
00001992: LT
00001993: ISZERO
00001994: PUSH2 0x19b9
00001997: JUMPI
00001998: DUP1
00001999: CALLDATALOAD
0000199a: SWAP5
0000199b: POP
0000199c: PUSH2 0x19a4
0000199f: DUP6
000019a0: PUSH2 0x1ddf
000019a3: JUMP
000019a4: JUMPDEST
000019a5: DUP5
000019a6: DUP4
000019a7: MSTORE
000019a8: PUSH1 0x01
000019aa: SWAP6
000019ab: SWAP1
000019ac: SWAP6
000019ad: ADD
000019ae: SWAP5
000019af: SWAP2
000019b0: DUP7
000019b1: ADD
000019b2: SWAP2
000019b3: DUP7
000019b4: ADD
000019b5: PUSH2 0x198f
000019b8: JUMP
000019b9: JUMPDEST
000019ba: POP
000019bb: SWAP9
000019bc: SWAP8
000019bd: POP
000019be: POP
000019bf: POP
000019c0: POP
000019c1: POP
000019c2: POP
000019c3: POP
000019c4: POP
000019c5: JUMP
000019c6: JUMPDEST
000019c7: PUSH1 0x00
000019c9: PUSH1 0x20
000019cb: DUP3
000019cc: DUP5
000019cd: SUB
000019ce: SLT
000019cf: ISZERO
000019d0: PUSH2 0x19d8
000019d3: JUMPI
000019d4: PUSH1 0x00
000019d6: DUP1
000019d7: REVERT
000019d8: JUMPDEST
000019d9: DUP2
000019da: MLOAD
000019db: DUP1
000019dc: ISZERO
000019dd: ISZERO
000019de: DUP2
000019df: EQ
000019e0: PUSH2 0x1434
000019e3: JUMPI
000019e4: PUSH1 0x00
000019e6: DUP1
000019e7: REVERT
000019e8: JUMPDEST
000019e9: PUSH1 0x00
000019eb: DUP1
000019ec: PUSH1 0x40
000019ee: DUP4
000019ef: DUP6
000019f0: SUB
000019f1: SLT
000019f2: ISZERO
000019f3: PUSH2 0x19fb
000019f6: JUMPI
000019f7: PUSH1 0x00
000019f9: DUP1
000019fa: REVERT
000019fb: JUMPDEST
000019fc: DUP3
000019fd: CALLDATALOAD
000019fe: PUSH8 0xffffffffffffffff
00001a07: DUP1
00001a08: DUP3
00001a09: GT
00001a0a: ISZERO
00001a0b: PUSH2 0x1a13
00001a0e: JUMPI
00001a0f: PUSH1 0x00
00001a11: DUP1
00001a12: REVERT
00001a13: JUMPDEST
00001a14: PUSH2 0x1a1f
00001a17: DUP7
00001a18: DUP4
00001a19: DUP8
00001a1a: ADD
00001a1b: PUSH2 0x17bd
00001a1e: JUMP
00001a1f: JUMPDEST
00001a20: SWAP4
00001a21: POP
00001a22: PUSH1 0x20
00001a24: DUP6
00001a25: ADD
00001a26: CALLDATALOAD
00001a27: SWAP2
00001a28: POP
00001a29: DUP1
00001a2a: DUP3
00001a2b: GT
00001a2c: ISZERO
00001a2d: PUSH2 0x1a35
00001a30: JUMPI
00001a31: PUSH1 0x00
00001a33: DUP1
00001a34: REVERT
00001a35: JUMPDEST
00001a36: POP
00001a37: PUSH2 0x1a42
00001a3a: DUP6
00001a3b: DUP3
00001a3c: DUP7
00001a3d: ADD
00001a3e: PUSH2 0x17bd
00001a41: JUMP
00001a42: JUMPDEST
00001a43: SWAP2
00001a44: POP
00001a45: POP
00001a46: SWAP3
00001a47: POP
00001a48: SWAP3
00001a49: SWAP1
00001a4a: POP
00001a4b: JUMP
00001a4c: JUMPDEST
00001a4d: PUSH1 0x00
00001a4f: DUP1
00001a50: PUSH1 0x00
00001a52: PUSH1 0x60
00001a54: DUP5
00001a55: DUP7
00001a56: SUB
00001a57: SLT
00001a58: ISZERO
00001a59: PUSH2 0x1a61
00001a5c: JUMPI
00001a5d: PUSH1 0x00
00001a5f: DUP1
00001a60: REVERT
00001a61: JUMPDEST
00001a62: DUP4
00001a63: MLOAD
00001a64: SWAP3
00001a65: POP
00001a66: PUSH1 0x20
00001a68: DUP5
00001a69: ADD
00001a6a: MLOAD
00001a6b: SWAP2
00001a6c: POP
00001a6d: PUSH1 0x40
00001a6f: DUP5
00001a70: ADD
00001a71: MLOAD
00001a72: SWAP1
00001a73: POP
00001a74: SWAP3
00001a75: POP
00001a76: SWAP3
00001a77: POP
00001a78: SWAP3
00001a79: JUMP
00001a7a: JUMPDEST
00001a7b: PUSH1 0x00
00001a7d: DUP2
00001a7e: MLOAD
00001a7f: DUP1
00001a80: DUP5
00001a81: MSTORE
00001a82: PUSH1 0x00
00001a84: JUMPDEST
00001a85: DUP2
00001a86: DUP2
00001a87: LT
00001a88: ISZERO
00001a89: PUSH2 0x1aa0
00001a8c: JUMPI
00001a8d: PUSH1 0x20
00001a8f: DUP2
00001a90: DUP6
00001a91: ADD
00001a92: DUP2
00001a93: ADD
00001a94: MLOAD
00001a95: DUP7
00001a96: DUP4
00001a97: ADD
00001a98: DUP3
00001a99: ADD
00001a9a: MSTORE
00001a9b: ADD
00001a9c: PUSH2 0x1a84
00001a9f: JUMP
00001aa0: JUMPDEST
00001aa1: DUP2
00001aa2: DUP2
00001aa3: GT
00001aa4: ISZERO
00001aa5: PUSH2 0x1ab2
00001aa8: JUMPI
00001aa9: PUSH1 0x00
00001aab: PUSH1 0x20
00001aad: DUP4
00001aae: DUP8
00001aaf: ADD
00001ab0: ADD
00001ab1: MSTORE
00001ab2: JUMPDEST
00001ab3: POP
00001ab4: PUSH1 0x1f
00001ab6: ADD
00001ab7: PUSH1 0x1f
00001ab9: NOT
00001aba: AND
00001abb: SWAP3
00001abc: SWAP1
00001abd: SWAP3
00001abe: ADD
00001abf: PUSH1 0x20
00001ac1: ADD
00001ac2: SWAP3
00001ac3: SWAP2
00001ac4: POP
00001ac5: POP
00001ac6: JUMP
00001ac7: JUMPDEST
00001ac8: PUSH1 0x20
00001aca: DUP2
00001acb: MSTORE
00001acc: PUSH1 0x00
00001ace: PUSH2 0x1434
00001ad1: PUSH1 0x20
00001ad3: DUP4
00001ad4: ADD
00001ad5: DUP5
00001ad6: PUSH2 0x1a7a
00001ad9: JUMP
00001ada: JUMPDEST
00001adb: PUSH1 0x60
00001add: DUP2
00001ade: MSTORE
00001adf: PUSH1 0x00
00001ae1: PUSH2 0x1aed
00001ae4: PUSH1 0x60
00001ae6: DUP4
00001ae7: ADD
00001ae8: DUP7
00001ae9: PUSH2 0x1a7a
00001aec: JUMP
00001aed: JUMPDEST
00001aee: DUP3
00001aef: DUP2
00001af0: SUB
00001af1: PUSH1 0x20
00001af3: DUP5
00001af4: ADD
00001af5: MSTORE
00001af6: PUSH2 0x1aff
00001af9: DUP2
00001afa: DUP7
00001afb: PUSH2 0x1a7a
00001afe: JUMP
00001aff: JUMPDEST
00001b00: SWAP2
00001b01: POP
00001b02: POP
00001b03: PUSH1 0x01
00001b05: DUP1
00001b06: PUSH1 0xa0
00001b08: SHL
00001b09: SUB
00001b0a: DUP4
00001b0b: AND
00001b0c: PUSH1 0x40
00001b0e: DUP4
00001b0f: ADD
00001b10: MSTORE
00001b11: SWAP5
00001b12: SWAP4
00001b13: POP
00001b14: POP
00001b15: POP
00001b16: POP
00001b17: JUMP
00001b18: JUMPDEST
00001b19: PUSH1 0x20
00001b1b: DUP1
00001b1c: DUP3
00001b1d: MSTORE
00001b1e: DUP2
00001b1f: DUP2
00001b20: ADD
00001b21: MSTORE
00001b22: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00001b43: PUSH1 0x40
00001b45: DUP3
00001b46: ADD
00001b47: MSTORE
00001b48: PUSH1 0x60
00001b4a: ADD
00001b4b: SWAP1
00001b4c: JUMP
00001b4d: JUMPDEST
00001b4e: PUSH1 0x00
00001b50: PUSH1 0xa0
00001b52: DUP3
00001b53: ADD
00001b54: DUP8
00001b55: DUP4
00001b56: MSTORE
00001b57: PUSH1 0x20
00001b59: DUP8
00001b5a: DUP2
00001b5b: DUP6
00001b5c: ADD
00001b5d: MSTORE
00001b5e: PUSH1 0xa0
00001b60: PUSH1 0x40
00001b62: DUP6
00001b63: ADD
00001b64: MSTORE
00001b65: DUP2
00001b66: DUP8
00001b67: MLOAD
00001b68: DUP1
00001b69: DUP5
00001b6a: MSTORE
00001b6b: PUSH1 0xc0
00001b6d: DUP7
00001b6e: ADD
00001b6f: SWAP2
00001b70: POP
00001b71: DUP3
00001b72: DUP10
00001b73: ADD
00001b74: SWAP4
00001b75: POP
00001b76: PUSH1 0x00
00001b78: JUMPDEST
00001b79: DUP2
00001b7a: DUP2
00001b7b: LT
00001b7c: ISZERO
00001b7d: PUSH2 0x1b9d
00001b80: JUMPI
00001b81: DUP5
00001b82: MLOAD
00001b83: PUSH1 0x01
00001b85: PUSH1 0x01
00001b87: PUSH1 0xa0
00001b89: SHL
00001b8a: SUB
00001b8b: AND
00001b8c: DUP4
00001b8d: MSTORE
00001b8e: SWAP4
00001b8f: DUP4
00001b90: ADD
00001b91: SWAP4
00001b92: SWAP2
00001b93: DUP4
00001b94: ADD
00001b95: SWAP2
00001b96: PUSH1 0x01
00001b98: ADD
00001b99: PUSH2 0x1b78
00001b9c: JUMP
00001b9d: JUMPDEST
00001b9e: POP
00001b9f: POP
00001ba0: PUSH1 0x01
00001ba2: PUSH1 0x01
00001ba4: PUSH1 0xa0
00001ba6: SHL
00001ba7: SUB
00001ba8: SWAP7
00001ba9: SWAP1
00001baa: SWAP7
00001bab: AND
00001bac: PUSH1 0x60
00001bae: DUP6
00001baf: ADD
00001bb0: MSTORE
00001bb1: POP
00001bb2: POP
00001bb3: POP
00001bb4: PUSH1 0x80
00001bb6: ADD
00001bb7: MSTORE
00001bb8: SWAP4
00001bb9: SWAP3
00001bba: POP
00001bbb: POP
00001bbc: POP
00001bbd: JUMP
00001bbe: JUMPDEST
00001bbf: PUSH1 0x40
00001bc1: MLOAD
00001bc2: PUSH1 0x1f
00001bc4: DUP3
00001bc5: ADD
00001bc6: PUSH1 0x1f
00001bc8: NOT
00001bc9: AND
00001bca: DUP2
00001bcb: ADD
00001bcc: PUSH8 0xffffffffffffffff
00001bd5: DUP2
00001bd6: GT
00001bd7: DUP3
00001bd8: DUP3
00001bd9: LT
00001bda: OR
00001bdb: ISZERO
00001bdc: PUSH2 0x1be7
00001bdf: JUMPI
00001be0: PUSH2 0x1be7
00001be3: PUSH2 0x1dc9
00001be6: JUMP
00001be7: JUMPDEST
00001be8: PUSH1 0x40
00001bea: MSTORE
00001beb: SWAP2
00001bec: SWAP1
00001bed: POP
00001bee: JUMP
00001bef: JUMPDEST
00001bf0: PUSH1 0x00
00001bf2: DUP3
00001bf3: NOT
00001bf4: DUP3
00001bf5: GT
00001bf6: ISZERO
00001bf7: PUSH2 0x1c02
00001bfa: JUMPI
00001bfb: PUSH2 0x1c02
00001bfe: PUSH2 0x1d9d
00001c01: JUMP
00001c02: JUMPDEST
00001c03: POP
00001c04: ADD
00001c05: SWAP1
00001c06: JUMP
00001c07: JUMPDEST
00001c08: PUSH1 0x00
00001c0a: DUP3
00001c0b: PUSH2 0x1c24
00001c0e: JUMPI
00001c0f: PUSH4 0x4e487b71
00001c14: PUSH1 0xe0
00001c16: SHL
00001c17: PUSH1 0x00
00001c19: MSTORE
00001c1a: PUSH1 0x12
00001c1c: PUSH1 0x04
00001c1e: MSTORE
00001c1f: PUSH1 0x24
00001c21: PUSH1 0x00
00001c23: REVERT
00001c24: JUMPDEST
00001c25: POP
00001c26: DIV
00001c27: SWAP1
00001c28: JUMP
00001c29: JUMPDEST
00001c2a: PUSH1 0x01
00001c2c: DUP2
00001c2d: DUP2
00001c2e: JUMPDEST
00001c2f: DUP1
00001c30: DUP6
00001c31: GT
00001c32: ISZERO
00001c33: PUSH2 0x1c64
00001c36: JUMPI
00001c37: DUP2
00001c38: PUSH1 0x00
00001c3a: NOT
00001c3b: DIV
00001c3c: DUP3
00001c3d: GT
00001c3e: ISZERO
00001c3f: PUSH2 0x1c4a
00001c42: JUMPI
00001c43: PUSH2 0x1c4a
00001c46: PUSH2 0x1d9d
00001c49: JUMP
00001c4a: JUMPDEST
00001c4b: DUP1
00001c4c: DUP6
00001c4d: AND
00001c4e: ISZERO
00001c4f: PUSH2 0x1c57
00001c52: JUMPI
00001c53: SWAP2
00001c54: DUP2
00001c55: MUL
00001c56: SWAP2
00001c57: JUMPDEST
00001c58: SWAP4
00001c59: DUP5
00001c5a: SHR
00001c5b: SWAP4
00001c5c: SWAP1
00001c5d: DUP1
00001c5e: MUL
00001c5f: SWAP1
00001c60: PUSH2 0x1c2e
00001c63: JUMP
00001c64: JUMPDEST
00001c65: POP
00001c66: SWAP3
00001c67: POP
00001c68: SWAP3
00001c69: SWAP1
00001c6a: POP
00001c6b: JUMP
00001c6c: JUMPDEST
00001c6d: PUSH1 0x00
00001c6f: PUSH2 0x1434
00001c72: PUSH1 0xff
00001c74: DUP5
00001c75: AND
00001c76: DUP4
00001c77: PUSH1 0x00
00001c79: DUP3
00001c7a: PUSH2 0x1c85
00001c7d: JUMPI
00001c7e: POP
00001c7f: PUSH1 0x01
00001c81: PUSH2 0x04a2
00001c84: JUMP
00001c85: JUMPDEST
00001c86: DUP2
00001c87: PUSH2 0x1c92
00001c8a: JUMPI
00001c8b: POP
00001c8c: PUSH1 0x00
00001c8e: PUSH2 0x04a2
00001c91: JUMP
00001c92: JUMPDEST
00001c93: DUP2
00001c94: PUSH1 0x01
00001c96: DUP2
00001c97: EQ
00001c98: PUSH2 0x1ca8
00001c9b: JUMPI
00001c9c: PUSH1 0x02
00001c9e: DUP2
00001c9f: EQ
00001ca0: PUSH2 0x1cb2
00001ca3: JUMPI
00001ca4: PUSH2 0x1cce
00001ca7: JUMP
00001ca8: JUMPDEST
00001ca9: PUSH1 0x01
00001cab: SWAP2
00001cac: POP
00001cad: POP
00001cae: PUSH2 0x04a2
00001cb1: JUMP
00001cb2: JUMPDEST
00001cb3: PUSH1 0xff
00001cb5: DUP5
00001cb6: GT
00001cb7: ISZERO
00001cb8: PUSH2 0x1cc3
00001cbb: JUMPI
00001cbc: PUSH2 0x1cc3
00001cbf: PUSH2 0x1d9d
00001cc2: JUMP
00001cc3: JUMPDEST
00001cc4: POP
00001cc5: POP
00001cc6: PUSH1 0x01
00001cc8: DUP3
00001cc9: SHL
00001cca: PUSH2 0x04a2
00001ccd: JUMP
00001cce: JUMPDEST
00001ccf: POP
00001cd0: PUSH1 0x20
00001cd2: DUP4
00001cd3: LT
00001cd4: PUSH2 0x0133
00001cd7: DUP4
00001cd8: LT
00001cd9: AND
00001cda: PUSH1 0x4e
00001cdc: DUP5
00001cdd: LT
00001cde: PUSH1 0x0b
00001ce0: DUP5
00001ce1: LT
00001ce2: AND
00001ce3: OR
00001ce4: ISZERO
00001ce5: PUSH2 0x1cf1
00001ce8: JUMPI
00001ce9: POP
00001cea: DUP2
00001ceb: DUP2
00001cec: EXP
00001ced: PUSH2 0x04a2
00001cf0: JUMP
00001cf1: JUMPDEST
00001cf2: PUSH2 0x1cfb
00001cf5: DUP4
00001cf6: DUP4
00001cf7: PUSH2 0x1c29
00001cfa: JUMP
00001cfb: JUMPDEST
00001cfc: DUP1
00001cfd: PUSH1 0x00
00001cff: NOT
00001d00: DIV
00001d01: DUP3
00001d02: GT
00001d03: ISZERO
00001d04: PUSH2 0x1d0f
00001d07: JUMPI
00001d08: PUSH2 0x1d0f
00001d0b: PUSH2 0x1d9d
00001d0e: JUMP
00001d0f: JUMPDEST
00001d10: MUL
00001d11: SWAP4
00001d12: SWAP3
00001d13: POP
00001d14: POP
00001d15: POP
00001d16: JUMP
00001d17: JUMPDEST
00001d18: PUSH1 0x00
00001d1a: DUP2
00001d1b: PUSH1 0x00
00001d1d: NOT
00001d1e: DIV
00001d1f: DUP4
00001d20: GT
00001d21: DUP3
00001d22: ISZERO
00001d23: ISZERO
00001d24: AND
00001d25: ISZERO
00001d26: PUSH2 0x1d31
00001d29: JUMPI
00001d2a: PUSH2 0x1d31
00001d2d: PUSH2 0x1d9d
00001d30: JUMP
00001d31: JUMPDEST
00001d32: POP
00001d33: MUL
00001d34: SWAP1
00001d35: JUMP
00001d36: JUMPDEST
00001d37: PUSH1 0x00
00001d39: DUP3
00001d3a: DUP3
00001d3b: LT
00001d3c: ISZERO
00001d3d: PUSH2 0x1d48
00001d40: JUMPI
00001d41: PUSH2 0x1d48
00001d44: PUSH2 0x1d9d
00001d47: JUMP
00001d48: JUMPDEST
00001d49: POP
00001d4a: SUB
00001d4b: SWAP1
00001d4c: JUMP
00001d4d: JUMPDEST
00001d4e: PUSH1 0x01
00001d50: DUP2
00001d51: DUP2
00001d52: SHR
00001d53: SWAP1
00001d54: DUP3
00001d55: AND
00001d56: DUP1
00001d57: PUSH2 0x1d61
00001d5a: JUMPI
00001d5b: PUSH1 0x7f
00001d5d: DUP3
00001d5e: AND
00001d5f: SWAP2
00001d60: POP
00001d61: JUMPDEST
00001d62: PUSH1 0x20
00001d64: DUP3
00001d65: LT
00001d66: DUP2
00001d67: EQ
00001d68: ISZERO
00001d69: PUSH2 0x148c
00001d6c: JUMPI
00001d6d: PUSH4 0x4e487b71
00001d72: PUSH1 0xe0
00001d74: SHL
00001d75: PUSH1 0x00
00001d77: MSTORE
00001d78: PUSH1 0x22
00001d7a: PUSH1 0x04
00001d7c: MSTORE
00001d7d: PUSH1 0x24
00001d7f: PUSH1 0x00
00001d81: REVERT
00001d82: JUMPDEST
00001d83: PUSH1 0x00
00001d85: PUSH1 0x00
00001d87: NOT
00001d88: DUP3
00001d89: EQ
00001d8a: ISZERO
00001d8b: PUSH2 0x1d96
00001d8e: JUMPI
00001d8f: PUSH2 0x1d96
00001d92: PUSH2 0x1d9d
00001d95: JUMP
00001d96: JUMPDEST
00001d97: POP
00001d98: PUSH1 0x01
00001d9a: ADD
00001d9b: SWAP1
00001d9c: JUMP
00001d9d: JUMPDEST
00001d9e: PUSH4 0x4e487b71
00001da3: PUSH1 0xe0
00001da5: SHL
00001da6: PUSH1 0x00
00001da8: MSTORE
00001da9: PUSH1 0x11
00001dab: PUSH1 0x04
00001dad: MSTORE
00001dae: PUSH1 0x24
00001db0: PUSH1 0x00
00001db2: REVERT
00001db3: JUMPDEST
00001db4: PUSH4 0x4e487b71
00001db9: PUSH1 0xe0
00001dbb: SHL
00001dbc: PUSH1 0x00
00001dbe: MSTORE
00001dbf: PUSH1 0x32
00001dc1: PUSH1 0x04
00001dc3: MSTORE
00001dc4: PUSH1 0x24
00001dc6: PUSH1 0x00
00001dc8: REVERT
00001dc9: JUMPDEST
00001dca: PUSH4 0x4e487b71
00001dcf: PUSH1 0xe0
00001dd1: SHL
00001dd2: PUSH1 0x00
00001dd4: MSTORE
00001dd5: PUSH1 0x41
00001dd7: PUSH1 0x04
00001dd9: MSTORE
00001dda: PUSH1 0x24
00001ddc: PUSH1 0x00
00001dde: REVERT
00001ddf: JUMPDEST
00001de0: PUSH1 0x01
00001de2: PUSH1 0x01
00001de4: PUSH1 0xa0
00001de6: SHL
00001de7: SUB
00001de8: DUP2
00001de9: AND
00001dea: DUP2
00001deb: EQ
00001dec: PUSH2 0x1df4
00001def: JUMPI
00001df0: PUSH1 0x00
00001df2: DUP1
00001df3: REVERT
00001df4: JUMPDEST
00001df5: POP
00001df6: JUMP
00001df7: INVALID
00001df8: GASLIMIT
00001df9: MSTORE
00001dfa: NUMBER
00001dfb: ORIGIN
00001dfc: ADDRESS
00001dfd: GASPRICE
00001dfe: KECCAK256
00001dff: PUSH21 0x72616e7366657220616d6f756e7420657863656564
00001e15: PUSH20 0x20616c6c6f77616e6365a2646970667358221220
00001e2a: UNKNOWN(0xA8)
00001e2b: MOD
00001e2c: UNKNOWN(0xD7)
00001e2d: PUSH6 0x29cbdf5c07bf
00001e34: UNKNOWN(0xD8)
00001e35: UNKNOWN(0x29)
00001e36: CALLVALUE
00001e37: UNKNOWN(0xB9)
00001e38: UNKNOWN(0xF6)
00001e39: RETURNDATACOPY
00001e3a: UNKNOWN(0xB6)
00001e3b: DIFFICULTY
00001e3c: UNKNOWN(0xD3)
00001e3d: PUSH24
Findings

validated = confirmed for call sinks; sink observed for others
Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
high	auth	detector	Authorization based on tx.origin	70	no	—	view validation_json { "reason": "missing sink mapping", "status": "no_sink" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0x8f9a55c0", "selector": "0x8f9a55c0", "calldata_variants": [ "0x8f9a55c0", "0x8f9a55c00000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x95d89b41", "selector": "0x95d89b41", "calldata_variants": [ "0x95d89b41", "0x95d89b410000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa9059cbb", "selector": "0xa9059cbb", "calldata_variants": [ "0xa9059cbb", "0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xbf474bed", "selector": "0xbf474bed", "calldata_variants": [ "0xbf474bed", "0xbf474bed0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd34628cc", "selector": "0xd34628cc", "calldata_variants": [ "0xd34628cc", "0xd34628cc0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xdd62ed3e", "selector": "0xdd62ed3e", "calldata_variants": [ "0xdd62ed3e", "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x70a08231", "selector": "0x70a08231", "calldata_variants": [ "0x70a08231", "0x70a082310000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x715018a6", "selector": "0x715018a6", "calldata_variants": [ "0x715018a6", "0x715018a60000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "guards_detected": [ { "pc": 7675, "type": "tx_origin_used" } ] }
medium	other	detector	Untrusted CALL target/value reachable	45	no	no	view trace_id: 0x3dcbf0c4117974e53610203c7cff90c6688753ee32367413a98f5485d4829060 call_targets: 0xe95409e2fd74eaf3f5b34efee69ad2947ea38da0 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x3dcbf0c4117974e53610203c7cff90c6688753ee32367413a98f5485d4829060", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xe95409e2fd74eaf3f5b34efee69ad2947ea38da0" ], "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": "0x8f9a55c0", "selector": "0x8f9a55c0", "calldata_variants": [ "0x8f9a55c0", "0x8f9a55c00000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x95d89b41", "selector": "0x95d89b41", "calldata_variants": [ "0x95d89b41", "0x95d89b410000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa9059cbb", "selector": "0xa9059cbb", "calldata_variants": [ "0xa9059cbb", "0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xbf474bed", "selector": "0xbf474bed", "calldata_variants": [ "0xbf474bed", "0xbf474bed0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd34628cc", "selector": "0xd34628cc", "calldata_variants": [ "0xd34628cc", "0xd34628cc0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xdd62ed3e", "selector": "0xdd62ed3e", "calldata_variants": [ "0xdd62ed3e", "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x70a08231", "selector": "0x70a08231", "calldata_variants": [ "0x70a08231", "0x70a082310000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x715018a6", "selector": "0x715018a6", "calldata_variants": [ "0x715018a6", "0x715018a60000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 2195, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 2443, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 2584, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 5, "guards_detected": [ { "pc": 7675, "type": "tx_origin_used" } ], "untrusted_call_count": 5 }
medium	other	detector	ETH value transfer possible	40	no	no	view trace_id: 0x3dcbf0c4117974e53610203c7cff90c6688753ee32367413a98f5485d4829060 call_targets: 0xe95409e2fd74eaf3f5b34efee69ad2947ea38da0 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x3dcbf0c4117974e53610203c7cff90c6688753ee32367413a98f5485d4829060", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xe95409e2fd74eaf3f5b34efee69ad2947ea38da0" ], "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": "0x8f9a55c0", "selector": "0x8f9a55c0", "calldata_variants": [ "0x8f9a55c0", "0x8f9a55c00000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x95d89b41", "selector": "0x95d89b41", "calldata_variants": [ "0x95d89b41", "0x95d89b410000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa9059cbb", "selector": "0xa9059cbb", "calldata_variants": [ "0xa9059cbb", "0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xbf474bed", "selector": "0xbf474bed", "calldata_variants": [ "0xbf474bed", "0xbf474bed0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd34628cc", "selector": "0xd34628cc", "calldata_variants": [ "0xd34628cc", "0xd34628cc0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xdd62ed3e", "selector": "0xdd62ed3e", "calldata_variants": [ "0xdd62ed3e", "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x70a08231", "selector": "0x70a08231", "calldata_variants": [ "0x70a08231", "0x70a082310000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x715018a6", "selector": "0x715018a6", "calldata_variants": [ "0x715018a6", "0x715018a60000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 2195, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 2443, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 2584, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 5, "guards_detected": [ { "pc": 7675, "type": "tx_origin_used" } ] }
Severity