Analysis Run

019b477e-cbdf-706d-b414-6ff140e01394
complete
Chain ID
1
Address
0xd808cf7b86272aa3e12dce6a4e6f1d0e4b636456
Block Number
—
Created
Mon, Dec 22, 2025 7:17 PM
Review Summary
What survived the funnel

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

Status & attempts
ID	Type	Status	Attempts	Heartbeat
26765	artifact.fetch	complete	1 / 3	3 months ago
26766	tool.cast_disasm	complete	1 / 3	3 months ago
91557	analysis.bundle	complete	1 / 3	2 weeks ago
91558	capability.graph	complete	1 / 3	2 weeks ago
91559	detector.run	complete	1 / 3	2 weeks ago
91560	validation.fork	complete	1 / 3	2 weeks 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)
4
EXT*/BALANCE
1
Total opcodes
4197
Flags
No heuristic flags raised.
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x00eb
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x4bee57c8
00000019: GT
0000001a: PUSH2 0x008a
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xce7c2ac2
00000024: GT
00000025: PUSH2 0x0059
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xce7c2ac2
0000002f: EQ
00000030: PUSH2 0x02c8
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xd79779b2
0000003a: EQ
0000003b: PUSH2 0x02e8
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xe33b7de3
00000045: EQ
00000046: PUSH2 0x031e
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xf8509284
00000050: EQ
00000051: PUSH2 0x0333
00000054: JUMPI
00000055: PUSH1 0x00
00000057: DUP1
00000058: REVERT
00000059: JUMPDEST
0000005a: DUP1
0000005b: PUSH4 0x4bee57c8
00000060: EQ
00000061: PUSH2 0x0223
00000064: JUMPI
00000065: DUP1
00000066: PUSH4 0x616b617a
0000006b: EQ
0000006c: PUSH2 0x0243
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0x8b83209b
00000076: EQ
00000077: PUSH2 0x0270
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0x9852595c
00000081: EQ
00000082: PUSH2 0x02a8
00000085: JUMPI
00000086: PUSH1 0x00
00000088: DUP1
00000089: REVERT
0000008a: JUMPDEST
0000008b: DUP1
0000008c: PUSH4 0x32efbaf2
00000091: GT
00000092: PUSH2 0x00c6
00000095: JUMPI
00000096: DUP1
00000097: PUSH4 0x32efbaf2
0000009c: EQ
0000009d: PUSH2 0x019b
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0x3a98ef39
000000a7: EQ
000000a8: PUSH2 0x01ce
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0x406072a9
000000b2: EQ
000000b3: PUSH2 0x01e3
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0x48b75044
000000bd: EQ
000000be: PUSH2 0x0203
000000c1: JUMPI
000000c2: PUSH1 0x00
000000c4: DUP1
000000c5: REVERT
000000c6: JUMPDEST
000000c7: DUP1
000000c8: PUSH3 0xfc088e
000000cc: EQ
000000cd: PUSH2 0x0139
000000d0: JUMPI
000000d1: DUP1
000000d2: PUSH4 0x1581272b
000000d7: EQ
000000d8: PUSH2 0x015b
000000db: JUMPI
000000dc: DUP1
000000dd: PUSH4 0x19165587
000000e2: EQ
000000e3: PUSH2 0x017b
000000e6: JUMPI
000000e7: PUSH1 0x00
000000e9: DUP1
000000ea: REVERT
000000eb: JUMPDEST
000000ec: CALLDATASIZE
000000ed: PUSH2 0x0134
000000f0: JUMPI
000000f1: PUSH32 0x6ef95f06320e7a25a04a175ca677b7052bdd97131872c2192525a629f51be770
00000112: CALLER
00000113: PUSH1 0x40
00000115: DUP1
00000116: MLOAD
00000117: PUSH1 0x01
00000119: PUSH1 0x01
0000011b: PUSH1 0xa0
0000011d: SHL
0000011e: SUB
0000011f: SWAP1
00000120: SWAP3
00000121: AND
00000122: DUP3
00000123: MSTORE
00000124: CALLVALUE
00000125: PUSH1 0x20
00000127: DUP4
00000128: ADD
00000129: MSTORE
0000012a: ADD
0000012b: PUSH1 0x40
0000012d: MLOAD
0000012e: DUP1
0000012f: SWAP2
00000130: SUB
00000131: SWAP1
00000132: LOG1
00000133: STOP
00000134: JUMPDEST
00000135: PUSH1 0x00
00000137: DUP1
00000138: REVERT
00000139: JUMPDEST
0000013a: CALLVALUE
0000013b: DUP1
0000013c: ISZERO
0000013d: PUSH2 0x0145
00000140: JUMPI
00000141: PUSH1 0x00
00000143: DUP1
00000144: REVERT
00000145: JUMPDEST
00000146: POP
00000147: PUSH2 0x0159
0000014a: PUSH2 0x0154
0000014d: CALLDATASIZE
0000014e: PUSH1 0x04
00000150: PUSH2 0x1899
00000153: JUMP
00000154: JUMPDEST
00000155: PUSH2 0x0353
00000158: JUMP
00000159: JUMPDEST
0000015a: STOP
0000015b: JUMPDEST
0000015c: CALLVALUE
0000015d: DUP1
0000015e: ISZERO
0000015f: PUSH2 0x0167
00000162: JUMPI
00000163: PUSH1 0x00
00000165: DUP1
00000166: REVERT
00000167: JUMPDEST
00000168: POP
00000169: PUSH2 0x0159
0000016c: PUSH2 0x0176
0000016f: CALLDATASIZE
00000170: PUSH1 0x04
00000172: PUSH2 0x18d2
00000175: JUMP
00000176: JUMPDEST
00000177: PUSH2 0x071e
0000017a: JUMP
0000017b: JUMPDEST
0000017c: CALLVALUE
0000017d: DUP1
0000017e: ISZERO
0000017f: PUSH2 0x0187
00000182: JUMPI
00000183: PUSH1 0x00
00000185: DUP1
00000186: REVERT
00000187: JUMPDEST
00000188: POP
00000189: PUSH2 0x0159
0000018c: PUSH2 0x0196
0000018f: CALLDATASIZE
00000190: PUSH1 0x04
00000192: PUSH2 0x18eb
00000195: JUMP
00000196: JUMPDEST
00000197: PUSH2 0x094b
0000019a: JUMP
0000019b: JUMPDEST
0000019c: CALLVALUE
0000019d: DUP1
0000019e: ISZERO
0000019f: PUSH2 0x01a7
000001a2: JUMPI
000001a3: PUSH1 0x00
000001a5: DUP1
000001a6: REVERT
000001a7: JUMPDEST
000001a8: POP
000001a9: PUSH2 0x01bb
000001ac: PUSH2 0x01b6
000001af: CALLDATASIZE
000001b0: PUSH1 0x04
000001b2: PUSH2 0x1899
000001b5: JUMP
000001b6: JUMPDEST
000001b7: PUSH2 0x0b26
000001ba: JUMP
000001bb: JUMPDEST
000001bc: PUSH1 0x40
000001be: MLOAD
000001bf: SWAP1
000001c0: DUP2
000001c1: MSTORE
000001c2: PUSH1 0x20
000001c4: ADD
000001c5: JUMPDEST
000001c6: PUSH1 0x40
000001c8: MLOAD
000001c9: DUP1
000001ca: SWAP2
000001cb: SUB
000001cc: SWAP1
000001cd: RETURN
000001ce: JUMPDEST
000001cf: CALLVALUE
000001d0: DUP1
000001d1: ISZERO
000001d2: PUSH2 0x01da
000001d5: JUMPI
000001d6: PUSH1 0x00
000001d8: DUP1
000001d9: REVERT
000001da: JUMPDEST
000001db: POP
000001dc: PUSH1 0x00
000001de: SLOAD
000001df: PUSH2 0x01bb
000001e2: JUMP
000001e3: JUMPDEST
000001e4: CALLVALUE
000001e5: DUP1
000001e6: ISZERO
000001e7: PUSH2 0x01ef
000001ea: JUMPI
000001eb: PUSH1 0x00
000001ed: DUP1
000001ee: REVERT
000001ef: JUMPDEST
000001f0: POP
000001f1: PUSH2 0x01bb
000001f4: PUSH2 0x01fe
000001f7: CALLDATASIZE
000001f8: PUSH1 0x04
000001fa: PUSH2 0x1899
000001fd: JUMP
000001fe: JUMPDEST
000001ff: PUSH2 0x0c37
00000202: JUMP
00000203: JUMPDEST
00000204: CALLVALUE
00000205: DUP1
00000206: ISZERO
00000207: PUSH2 0x020f
0000020a: JUMPI
0000020b: PUSH1 0x00
0000020d: DUP1
0000020e: REVERT
0000020f: JUMPDEST
00000210: POP
00000211: PUSH2 0x0159
00000214: PUSH2 0x021e
00000217: CALLDATASIZE
00000218: PUSH1 0x04
0000021a: PUSH2 0x1899
0000021d: JUMP
0000021e: JUMPDEST
0000021f: PUSH2 0x0cc8
00000222: JUMP
00000223: JUMPDEST
00000224: CALLVALUE
00000225: DUP1
00000226: ISZERO
00000227: PUSH2 0x022f
0000022a: JUMPI
0000022b: PUSH1 0x00
0000022d: DUP1
0000022e: REVERT
0000022f: JUMPDEST
00000230: POP
00000231: PUSH2 0x01bb
00000234: PUSH2 0x023e
00000237: CALLDATASIZE
00000238: PUSH1 0x04
0000023a: PUSH2 0x18eb
0000023d: JUMP
0000023e: JUMPDEST
0000023f: PUSH2 0x0f44
00000242: JUMP
00000243: JUMPDEST
00000244: CALLVALUE
00000245: DUP1
00000246: ISZERO
00000247: PUSH2 0x024f
0000024a: JUMPI
0000024b: PUSH1 0x00
0000024d: DUP1
0000024e: REVERT
0000024f: JUMPDEST
00000250: POP
00000251: PUSH2 0x0263
00000254: PUSH2 0x025e
00000257: CALLDATASIZE
00000258: PUSH1 0x04
0000025a: PUSH2 0x18d2
0000025d: JUMP
0000025e: JUMPDEST
0000025f: PUSH2 0x0fdb
00000262: JUMP
00000263: JUMPDEST
00000264: PUSH1 0x40
00000266: MLOAD
00000267: PUSH2 0x01c5
0000026a: SWAP2
0000026b: SWAP1
0000026c: PUSH2 0x1908
0000026f: JUMP
00000270: JUMPDEST
00000271: CALLVALUE
00000272: DUP1
00000273: ISZERO
00000274: PUSH2 0x027c
00000277: JUMPI
00000278: PUSH1 0x00
0000027a: DUP1
0000027b: REVERT
0000027c: JUMPDEST
0000027d: POP
0000027e: PUSH2 0x0290
00000281: PUSH2 0x028b
00000284: CALLDATASIZE
00000285: PUSH1 0x04
00000287: PUSH2 0x18d2
0000028a: JUMP
0000028b: JUMPDEST
0000028c: PUSH2 0x10b6
0000028f: JUMP
00000290: JUMPDEST
00000291: PUSH1 0x40
00000293: MLOAD
00000294: PUSH1 0x01
00000296: PUSH1 0x01
00000298: PUSH1 0xa0
0000029a: SHL
0000029b: SUB
0000029c: SWAP1
0000029d: SWAP2
0000029e: AND
0000029f: DUP2
000002a0: MSTORE
000002a1: PUSH1 0x20
000002a3: ADD
000002a4: PUSH2 0x01c5
000002a7: JUMP
000002a8: JUMPDEST
000002a9: CALLVALUE
000002aa: DUP1
000002ab: ISZERO
000002ac: PUSH2 0x02b4
000002af: JUMPI
000002b0: PUSH1 0x00
000002b2: DUP1
000002b3: REVERT
000002b4: JUMPDEST
000002b5: POP
000002b6: PUSH2 0x01bb
000002b9: PUSH2 0x02c3
000002bc: CALLDATASIZE
000002bd: PUSH1 0x04
000002bf: PUSH2 0x18eb
000002c2: JUMP
000002c3: JUMPDEST
000002c4: PUSH2 0x10e6
000002c7: JUMP
000002c8: JUMPDEST
000002c9: CALLVALUE
000002ca: DUP1
000002cb: ISZERO
000002cc: PUSH2 0x02d4
000002cf: JUMPI
000002d0: PUSH1 0x00
000002d2: DUP1
000002d3: REVERT
000002d4: JUMPDEST
000002d5: POP
000002d6: PUSH2 0x01bb
000002d9: PUSH2 0x02e3
000002dc: CALLDATASIZE
000002dd: PUSH1 0x04
000002df: PUSH2 0x18eb
000002e2: JUMP
000002e3: JUMPDEST
000002e4: PUSH2 0x1160
000002e7: JUMP
000002e8: JUMPDEST
000002e9: CALLVALUE
000002ea: DUP1
000002eb: ISZERO
000002ec: PUSH2 0x02f4
000002ef: JUMPI
000002f0: PUSH1 0x00
000002f2: DUP1
000002f3: REVERT
000002f4: JUMPDEST
000002f5: POP
000002f6: PUSH2 0x01bb
000002f9: PUSH2 0x0303
000002fc: CALLDATASIZE
000002fd: PUSH1 0x04
000002ff: PUSH2 0x18eb
00000302: JUMP
00000303: JUMPDEST
00000304: PUSH1 0x01
00000306: PUSH1 0x01
00000308: PUSH1 0xa0
0000030a: SHL
0000030b: SUB
0000030c: AND
0000030d: PUSH1 0x00
0000030f: SWAP1
00000310: DUP2
00000311: MSTORE
00000312: PUSH1 0x05
00000314: PUSH1 0x20
00000316: MSTORE
00000317: PUSH1 0x40
00000319: SWAP1
0000031a: KECCAK256
0000031b: SLOAD
0000031c: SWAP1
0000031d: JUMP
0000031e: JUMPDEST
0000031f: CALLVALUE
00000320: DUP1
00000321: ISZERO
00000322: PUSH2 0x032a
00000325: JUMPI
00000326: PUSH1 0x00
00000328: DUP1
00000329: REVERT
0000032a: JUMPDEST
0000032b: POP
0000032c: PUSH1 0x01
0000032e: SLOAD
0000032f: PUSH2 0x01bb
00000332: JUMP
00000333: JUMPDEST
00000334: CALLVALUE
00000335: DUP1
00000336: ISZERO
00000337: PUSH2 0x033f
0000033a: JUMPI
0000033b: PUSH1 0x00
0000033d: DUP1
0000033e: REVERT
0000033f: JUMPDEST
00000340: POP
00000341: PUSH2 0x0159
00000344: PUSH2 0x034e
00000347: CALLDATASIZE
00000348: PUSH1 0x04
0000034a: PUSH2 0x18d2
0000034d: JUMP
0000034e: JUMPDEST
0000034f: PUSH2 0x11da
00000352: JUMP
00000353: JUMPDEST
00000354: PUSH1 0x00
00000356: PUSH2 0x035e
00000359: CALLER
0000035a: PUSH2 0x1160
0000035d: JUMP
0000035e: JUMPDEST
0000035f: GT
00000360: PUSH2 0x03bf
00000363: JUMPI
00000364: PUSH1 0x40
00000366: MLOAD
00000367: PUSH3 0x461bcd
0000036b: PUSH1 0xe5
0000036d: SHL
0000036e: DUP2
0000036f: MSTORE
00000370: PUSH1 0x20
00000372: PUSH1 0x04
00000374: DUP3
00000375: ADD
00000376: MSTORE
00000377: PUSH1 0x26
00000379: PUSH1 0x24
0000037b: DUP3
0000037c: ADD
0000037d: MSTORE
0000037e: PUSH32 0x5061796d656e7453706c69747465723a2063616c6c6572206973206e6f742061
0000039f: PUSH1 0x44
000003a1: DUP3
000003a2: ADD
000003a3: MSTORE
000003a4: PUSH6 0x207061796565
000003ab: PUSH1 0xd0
000003ad: SHL
000003ae: PUSH1 0x64
000003b0: DUP3
000003b1: ADD
000003b2: MSTORE
000003b3: PUSH1 0x84
000003b5: ADD
000003b6: JUMPDEST
000003b7: PUSH1 0x40
000003b9: MLOAD
000003ba: DUP1
000003bb: SWAP2
000003bc: SUB
000003bd: SWAP1
000003be: REVERT
000003bf: JUMPDEST
000003c0: PUSH1 0x01
000003c2: PUSH1 0x01
000003c4: PUSH1 0xa0
000003c6: SHL
000003c7: SUB
000003c8: DUP2
000003c9: AND
000003ca: PUSH2 0x042a
000003cd: JUMPI
000003ce: PUSH1 0x40
000003d0: MLOAD
000003d1: PUSH3 0x461bcd
000003d5: PUSH1 0xe5
000003d7: SHL
000003d8: DUP2
000003d9: MSTORE
000003da: PUSH1 0x20
000003dc: PUSH1 0x04
000003de: DUP3
000003df: ADD
000003e0: MSTORE
000003e1: PUSH1 0x2c
000003e3: PUSH1 0x24
000003e5: DUP3
000003e6: ADD
000003e7: MSTORE
000003e8: PUSH32 0x5061796d656e7453706c69747465723a206163636f756e742069732074686520
00000409: PUSH1 0x44
0000040b: DUP3
0000040c: ADD
0000040d: MSTORE
0000040e: PUSH12 0x7a65726f2061646472657373
0000041b: PUSH1 0xa0
0000041d: SHL
0000041e: PUSH1 0x64
00000420: DUP3
00000421: ADD
00000422: MSTORE
00000423: PUSH1 0x84
00000425: ADD
00000426: PUSH2 0x03b6
00000429: JUMP
0000042a: JUMPDEST
0000042b: PUSH1 0x01
0000042d: PUSH1 0x01
0000042f: PUSH1 0xa0
00000431: SHL
00000432: SUB
00000433: DUP3
00000434: AND
00000435: PUSH1 0x00
00000437: SWAP1
00000438: DUP2
00000439: MSTORE
0000043a: PUSH1 0x07
0000043c: PUSH1 0x20
0000043e: MSTORE
0000043f: PUSH1 0x40
00000441: SWAP1
00000442: KECCAK256
00000443: SLOAD
00000444: PUSH1 0x04
00000446: DUP1
00000447: SLOAD
00000448: DUP3
00000449: SWAP1
0000044a: DUP2
0000044b: LT
0000044c: PUSH2 0x0457
0000044f: JUMPI
00000450: PUSH2 0x0457
00000453: PUSH2 0x1997
00000456: JUMP
00000457: JUMPDEST
00000458: PUSH1 0x00
0000045a: SWAP2
0000045b: DUP3
0000045c: MSTORE
0000045d: PUSH1 0x20
0000045f: SWAP1
00000460: SWAP2
00000461: KECCAK256
00000462: ADD
00000463: SLOAD
00000464: PUSH1 0x01
00000466: PUSH1 0x01
00000468: PUSH1 0xa0
0000046a: SHL
0000046b: SUB
0000046c: DUP5
0000046d: DUP2
0000046e: AND
0000046f: SWAP2
00000470: AND
00000471: EQ
00000472: PUSH2 0x04e3
00000475: JUMPI
00000476: PUSH1 0x40
00000478: MLOAD
00000479: PUSH3 0x461bcd
0000047d: PUSH1 0xe5
0000047f: SHL
00000480: DUP2
00000481: MSTORE
00000482: PUSH1 0x20
00000484: PUSH1 0x04
00000486: DUP3
00000487: ADD
00000488: MSTORE
00000489: PUSH1 0x2f
0000048b: PUSH1 0x24
0000048d: DUP3
0000048e: ADD
0000048f: MSTORE
00000490: PUSH32 0x5061796d656e7453706c69747465723a2063757272656e74206163636f756e74
000004b1: PUSH1 0x44
000004b3: DUP3
000004b4: ADD
000004b5: MSTORE
000004b6: PUSH32 0x20646f6573206e6f74206d617463680000000000000000000000000000000000
000004d7: PUSH1 0x64
000004d9: DUP3
000004da: ADD
000004db: MSTORE
000004dc: PUSH1 0x84
000004de: ADD
000004df: PUSH2 0x03b6
000004e2: JUMP
000004e3: JUMPDEST
000004e4: PUSH2 0x04ec
000004e7: DUP3
000004e8: PUSH2 0x1160
000004eb: JUMP
000004ec: JUMPDEST
000004ed: ISZERO
000004ee: PUSH2 0x054e
000004f1: JUMPI
000004f2: PUSH1 0x40
000004f4: MLOAD
000004f5: PUSH3 0x461bcd
000004f9: PUSH1 0xe5
000004fb: SHL
000004fc: DUP2
000004fd: MSTORE
000004fe: PUSH1 0x20
00000500: PUSH1 0x04
00000502: DUP3
00000503: ADD
00000504: MSTORE
00000505: PUSH1 0x2c
00000507: PUSH1 0x24
00000509: DUP3
0000050a: ADD
0000050b: MSTORE
0000050c: PUSH32 0x5061796d656e7453706c69747465723a2070726f706f736564206163636f756e
0000052d: PUSH1 0x44
0000052f: DUP3
00000530: ADD
00000531: MSTORE
00000532: PUSH12 0x742068617320736861726573
0000053f: PUSH1 0xa0
00000541: SHL
00000542: PUSH1 0x64
00000544: DUP3
00000545: ADD
00000546: MSTORE
00000547: PUSH1 0x84
00000549: ADD
0000054a: PUSH2 0x03b6
0000054d: JUMP
0000054e: JUMPDEST
0000054f: CALLER
00000550: PUSH1 0x00
00000552: SWAP1
00000553: DUP2
00000554: MSTORE
00000555: PUSH1 0x07
00000557: PUSH1 0x20
00000559: SWAP1
0000055a: DUP2
0000055b: MSTORE
0000055c: PUSH1 0x40
0000055e: DUP1
0000055f: DUP4
00000560: KECCAK256
00000561: SLOAD
00000562: DUP1
00000563: DUP5
00000564: MSTORE
00000565: PUSH1 0x09
00000567: SWAP1
00000568: SWAP3
00000569: MSTORE
0000056a: DUP3
0000056b: KECCAK256
0000056c: DUP1
0000056d: SLOAD
0000056e: SWAP2
0000056f: SWAP3
00000570: PUSH1 0x01
00000572: SWAP2
00000573: SWAP1
00000574: PUSH2 0x057d
00000577: DUP4
00000578: DUP6
00000579: PUSH2 0x19c3
0000057c: JUMP
0000057d: JUMPDEST
0000057e: SWAP1
0000057f: SWAP2
00000580: SSTORE
00000581: POP
00000582: PUSH1 0x00
00000584: SWAP1
00000585: POP
00000586: CALLER
00000587: PUSH1 0x40
00000589: MLOAD
0000058a: PUSH12 0xffffffffffffffffffffffff
00000597: NOT
00000598: PUSH1 0x60
0000059a: SWAP3
0000059b: DUP4
0000059c: SHL
0000059d: DUP2
0000059e: AND
0000059f: PUSH1 0x20
000005a1: DUP4
000005a2: ADD
000005a3: MSTORE
000005a4: DUP9
000005a5: DUP4
000005a6: SHL
000005a7: DUP2
000005a8: AND
000005a9: PUSH1 0x34
000005ab: DUP4
000005ac: ADD
000005ad: MSTORE
000005ae: SWAP2
000005af: DUP8
000005b0: SWAP1
000005b1: SHL
000005b2: SWAP1
000005b3: SWAP2
000005b4: AND
000005b5: PUSH1 0x48
000005b7: DUP3
000005b8: ADD
000005b9: MSTORE
000005ba: PUSH1 0x5c
000005bc: DUP2
000005bd: ADD
000005be: DUP4
000005bf: SWAP1
000005c0: MSTORE
000005c1: PUSH1 0x7c
000005c3: ADD
000005c4: PUSH1 0x40
000005c6: MLOAD
000005c7: PUSH1 0x20
000005c9: DUP2
000005ca: DUP4
000005cb: SUB
000005cc: SUB
000005cd: DUP2
000005ce: MSTORE
000005cf: SWAP1
000005d0: PUSH1 0x40
000005d2: MSTORE
000005d3: DUP1
000005d4: MLOAD
000005d5: SWAP1
000005d6: PUSH1 0x20
000005d8: ADD
000005d9: KECCAK256
000005da: SWAP1
000005db: POP
000005dc: PUSH1 0x40
000005de: MLOAD
000005df: DUP1
000005e0: PUSH1 0xa0
000005e2: ADD
000005e3: PUSH1 0x40
000005e5: MSTORE
000005e6: DUP1
000005e7: PUSH2 0x05ed
000005ea: CALLER
000005eb: SWAP1
000005ec: JUMP
000005ed: JUMPDEST
000005ee: PUSH1 0x01
000005f0: PUSH1 0x01
000005f2: PUSH1 0xa0
000005f4: SHL
000005f5: SUB
000005f6: SWAP1
000005f7: DUP2
000005f8: AND
000005f9: DUP3
000005fa: MSTORE
000005fb: DUP9
000005fc: DUP2
000005fd: AND
000005fe: PUSH1 0x20
00000600: DUP4
00000601: ADD
00000602: MSTORE
00000603: DUP8
00000604: AND
00000605: PUSH1 0x40
00000607: DUP3
00000608: ADD
00000609: MSTORE
0000060a: PUSH1 0x60
0000060c: ADD
0000060d: PUSH1 0x00
0000060f: PUSH1 0x40
00000611: MLOAD
00000612: SWAP1
00000613: DUP1
00000614: DUP3
00000615: MSTORE
00000616: DUP1
00000617: PUSH1 0x20
00000619: MUL
0000061a: PUSH1 0x20
0000061c: ADD
0000061d: DUP3
0000061e: ADD
0000061f: PUSH1 0x40
00000621: MSTORE
00000622: DUP1
00000623: ISZERO
00000624: PUSH2 0x0637
00000627: JUMPI
00000628: DUP2
00000629: PUSH1 0x20
0000062b: ADD
0000062c: PUSH1 0x20
0000062e: DUP3
0000062f: MUL
00000630: DUP1
00000631: CALLDATASIZE
00000632: DUP4
00000633: CALLDATACOPY
00000634: ADD
00000635: SWAP1
00000636: POP
00000637: JUMPDEST
00000638: POP
00000639: DUP2
0000063a: MSTORE
0000063b: PUSH1 0x20
0000063d: ADD
0000063e: PUSH2 0x064a
00000641: TIMESTAMP
00000642: PUSH3 0x03f480
00000646: PUSH2 0x19c3
00000649: JUMP
0000064a: JUMPDEST
0000064b: SWAP1
0000064c: MSTORE
0000064d: PUSH1 0x00
0000064f: DUP3
00000650: DUP2
00000651: MSTORE
00000652: PUSH1 0x08
00000654: PUSH1 0x20
00000656: SWAP1
00000657: DUP2
00000658: MSTORE
00000659: PUSH1 0x40
0000065b: SWAP2
0000065c: DUP3
0000065d: SWAP1
0000065e: KECCAK256
0000065f: DUP4
00000660: MLOAD
00000661: DUP2
00000662: SLOAD
00000663: PUSH1 0x01
00000665: PUSH1 0x01
00000667: PUSH1 0xa0
00000669: SHL
0000066a: SUB
0000066b: NOT
0000066c: SWAP1
0000066d: DUP2
0000066e: AND
0000066f: PUSH1 0x01
00000671: PUSH1 0x01
00000673: PUSH1 0xa0
00000675: SHL
00000676: SUB
00000677: SWAP3
00000678: DUP4
00000679: AND
0000067a: OR
0000067b: DUP4
0000067c: SSTORE
0000067d: DUP6
0000067e: DUP5
0000067f: ADD
00000680: MLOAD
00000681: PUSH1 0x01
00000683: DUP5
00000684: ADD
00000685: DUP1
00000686: SLOAD
00000687: DUP4
00000688: AND
00000689: SWAP2
0000068a: DUP5
0000068b: AND
0000068c: SWAP2
0000068d: SWAP1
0000068e: SWAP2
0000068f: OR
00000690: SWAP1
00000691: SSTORE
00000692: SWAP4
00000693: DUP6
00000694: ADD
00000695: MLOAD
00000696: PUSH1 0x02
00000698: DUP4
00000699: ADD
0000069a: DUP1
0000069b: SLOAD
0000069c: SWAP1
0000069d: SWAP6
0000069e: AND
0000069f: SWAP2
000006a0: AND
000006a1: OR
000006a2: SWAP1
000006a3: SWAP3
000006a4: SSTORE
000006a5: PUSH1 0x60
000006a7: DUP4
000006a8: ADD
000006a9: MLOAD
000006aa: DUP1
000006ab: MLOAD
000006ac: PUSH2 0x06bb
000006af: SWAP3
000006b0: PUSH1 0x03
000006b2: DUP6
000006b3: ADD
000006b4: SWAP3
000006b5: ADD
000006b6: SWAP1
000006b7: PUSH2 0x1807
000006ba: JUMP
000006bb: JUMPDEST
000006bc: POP
000006bd: PUSH1 0x80
000006bf: DUP3
000006c0: ADD
000006c1: MLOAD
000006c2: DUP2
000006c3: PUSH1 0x04
000006c5: ADD
000006c6: SSTORE
000006c7: SWAP1
000006c8: POP
000006c9: POP
000006ca: DUP5
000006cb: PUSH1 0x01
000006cd: PUSH1 0x01
000006cf: PUSH1 0xa0
000006d1: SHL
000006d2: SUB
000006d3: AND
000006d4: DUP7
000006d5: PUSH1 0x01
000006d7: PUSH1 0x01
000006d9: PUSH1 0xa0
000006db: SHL
000006dc: SUB
000006dd: AND
000006de: PUSH32 0xc5fe24a82d2802fbedf7b30a1443223f620457f1656522863c19d586d7474f9b
000006ff: DUP4
00000700: PUSH1 0x40
00000702: MLOAD
00000703: PUSH2 0x070e
00000706: SWAP2
00000707: DUP2
00000708: MSTORE
00000709: PUSH1 0x20
0000070b: ADD
0000070c: SWAP1
0000070d: JUMP
0000070e: JUMPDEST
0000070f: PUSH1 0x40
00000711: MLOAD
00000712: DUP1
00000713: SWAP2
00000714: SUB
00000715: SWAP1
00000716: LOG3
00000717: POP
00000718: POP
00000719: POP
0000071a: POP
0000071b: POP
0000071c: POP
0000071d: JUMP
0000071e: JUMPDEST
0000071f: PUSH1 0x00
00000721: PUSH2 0x0729
00000724: CALLER
00000725: PUSH2 0x1160
00000728: JUMP
00000729: JUMPDEST
0000072a: GT
0000072b: PUSH2 0x0785
0000072e: JUMPI
0000072f: PUSH1 0x40
00000731: MLOAD
00000732: PUSH3 0x461bcd
00000736: PUSH1 0xe5
00000738: SHL
00000739: DUP2
0000073a: MSTORE
0000073b: PUSH1 0x20
0000073d: PUSH1 0x04
0000073f: DUP3
00000740: ADD
00000741: MSTORE
00000742: PUSH1 0x26
00000744: PUSH1 0x24
00000746: DUP3
00000747: ADD
00000748: MSTORE
00000749: PUSH32 0x5061796d656e7453706c69747465723a2063616c6c6572206973206e6f742061
0000076a: PUSH1 0x44
0000076c: DUP3
0000076d: ADD
0000076e: MSTORE
0000076f: PUSH6 0x207061796565
00000776: PUSH1 0xd0
00000778: SHL
00000779: PUSH1 0x64
0000077b: DUP3
0000077c: ADD
0000077d: MSTORE
0000077e: PUSH1 0x84
00000780: ADD
00000781: PUSH2 0x03b6
00000784: JUMP
00000785: JUMPDEST
00000786: PUSH1 0x00
00000788: DUP2
00000789: DUP2
0000078a: MSTORE
0000078b: PUSH1 0x08
0000078d: PUSH1 0x20
0000078f: SWAP1
00000790: DUP2
00000791: MSTORE
00000792: PUSH1 0x40
00000794: DUP1
00000795: DUP4
00000796: KECCAK256
00000797: PUSH1 0x01
00000799: DUP2
0000079a: ADD
0000079b: SLOAD
0000079c: PUSH1 0x01
0000079e: PUSH1 0x01
000007a0: PUSH1 0xa0
000007a2: SHL
000007a3: SUB
000007a4: AND
000007a5: DUP5
000007a6: MSTORE
000007a7: PUSH1 0x07
000007a9: SWAP1
000007aa: SWAP3
000007ab: MSTORE
000007ac: SWAP1
000007ad: SWAP2
000007ae: KECCAK256
000007af: SLOAD
000007b0: PUSH1 0x04
000007b2: DUP1
000007b3: SLOAD
000007b4: DUP3
000007b5: SWAP1
000007b6: DUP2
000007b7: LT
000007b8: PUSH2 0x07c3
000007bb: JUMPI
000007bc: PUSH2 0x07c3
000007bf: PUSH2 0x1997
000007c2: JUMP
000007c3: JUMPDEST
000007c4: PUSH1 0x00
000007c6: SWAP2
000007c7: DUP3
000007c8: MSTORE
000007c9: PUSH1 0x20
000007cb: SWAP1
000007cc: SWAP2
000007cd: KECCAK256
000007ce: ADD
000007cf: SLOAD
000007d0: PUSH1 0x01
000007d2: DUP4
000007d3: ADD
000007d4: SLOAD
000007d5: PUSH1 0x01
000007d7: PUSH1 0x01
000007d9: PUSH1 0xa0
000007db: SHL
000007dc: SUB
000007dd: SWAP1
000007de: DUP2
000007df: AND
000007e0: SWAP2
000007e1: AND
000007e2: EQ
000007e3: PUSH2 0x0838
000007e6: JUMPI
000007e7: PUSH1 0x40
000007e9: MLOAD
000007ea: PUSH3 0x461bcd
000007ee: PUSH1 0xe5
000007f0: SHL
000007f1: DUP2
000007f2: MSTORE
000007f3: PUSH1 0x20
000007f5: PUSH1 0x04
000007f7: DUP3
000007f8: ADD
000007f9: MSTORE
000007fa: PUSH1 0x21
000007fc: PUSH1 0x24
000007fe: DUP3
000007ff: ADD
00000800: MSTORE
00000801: PUSH32 0x5061796d656e7453706c69747465723a20696e76616c69642070726f706f7361
00000822: PUSH1 0x44
00000824: DUP3
00000825: ADD
00000826: MSTORE
00000827: PUSH1 0x1b
00000829: PUSH1 0xfa
0000082b: SHL
0000082c: PUSH1 0x64
0000082e: DUP3
0000082f: ADD
00000830: MSTORE
00000831: PUSH1 0x84
00000833: ADD
00000834: PUSH2 0x03b6
00000837: JUMP
00000838: JUMPDEST
00000839: PUSH1 0x03
0000083b: DUP3
0000083c: ADD
0000083d: SLOAD
0000083e: PUSH1 0x02
00000840: GT
00000841: ISZERO
00000842: PUSH2 0x089d
00000845: JUMPI
00000846: PUSH1 0x40
00000848: MLOAD
00000849: PUSH3 0x461bcd
0000084d: PUSH1 0xe5
0000084f: SHL
00000850: DUP2
00000851: MSTORE
00000852: PUSH1 0x20
00000854: PUSH1 0x04
00000856: DUP3
00000857: ADD
00000858: MSTORE
00000859: PUSH1 0x27
0000085b: PUSH1 0x24
0000085d: DUP3
0000085e: ADD
0000085f: MSTORE
00000860: PUSH32 0x5061796d656e7453706c69747465723a20696e73756666696369656e74206170
00000881: PUSH1 0x44
00000883: DUP3
00000884: ADD
00000885: MSTORE
00000886: PUSH7 0x70726f76616c73
0000088e: PUSH1 0xc8
00000890: SHL
00000891: PUSH1 0x64
00000893: DUP3
00000894: ADD
00000895: MSTORE
00000896: PUSH1 0x84
00000898: ADD
00000899: PUSH2 0x03b6
0000089c: JUMP
0000089d: JUMPDEST
0000089e: PUSH1 0x02
000008a0: DUP3
000008a1: ADD
000008a2: SLOAD
000008a3: PUSH1 0x04
000008a5: DUP1
000008a6: SLOAD
000008a7: PUSH1 0x01
000008a9: PUSH1 0x01
000008ab: PUSH1 0xa0
000008ad: SHL
000008ae: SUB
000008af: SWAP1
000008b0: SWAP3
000008b1: AND
000008b2: SWAP2
000008b3: DUP4
000008b4: SWAP1
000008b5: DUP2
000008b6: LT
000008b7: PUSH2 0x08c2
000008ba: JUMPI
000008bb: PUSH2 0x08c2
000008be: PUSH2 0x1997
000008c1: JUMP
000008c2: JUMPDEST
000008c3: PUSH1 0x00
000008c5: SWAP2
000008c6: DUP3
000008c7: MSTORE
000008c8: PUSH1 0x20
000008ca: DUP1
000008cb: DUP4
000008cc: KECCAK256
000008cd: SWAP2
000008ce: SWAP1
000008cf: SWAP2
000008d0: ADD
000008d1: DUP1
000008d2: SLOAD
000008d3: PUSH1 0x01
000008d5: PUSH1 0x01
000008d7: PUSH1 0xa0
000008d9: SHL
000008da: SUB
000008db: NOT
000008dc: AND
000008dd: PUSH1 0x01
000008df: PUSH1 0x01
000008e1: PUSH1 0xa0
000008e3: SHL
000008e4: SUB
000008e5: SWAP5
000008e6: DUP6
000008e7: AND
000008e8: OR
000008e9: SWAP1
000008ea: SSTORE
000008eb: PUSH1 0x02
000008ed: DUP6
000008ee: ADD
000008ef: DUP1
000008f0: SLOAD
000008f1: DUP5
000008f2: AND
000008f3: DUP4
000008f4: MSTORE
000008f5: PUSH1 0x07
000008f7: SWAP1
000008f8: SWAP2
000008f9: MSTORE
000008fa: PUSH1 0x40
000008fc: DUP1
000008fd: DUP4
000008fe: KECCAK256
000008ff: DUP6
00000900: SWAP1
00000901: SSTORE
00000902: PUSH1 0x01
00000904: DUP7
00000905: ADD
00000906: DUP1
00000907: SLOAD
00000908: DUP6
00000909: AND
0000090a: DUP5
0000090b: MSTORE
0000090c: DUP2
0000090d: DUP5
0000090e: KECCAK256
0000090f: DUP5
00000910: SWAP1
00000911: SSTORE
00000912: SWAP2
00000913: SLOAD
00000914: SWAP2
00000915: SLOAD
00000916: SWAP1
00000917: MLOAD
00000918: DUP8
00000919: SWAP5
0000091a: SWAP3
0000091b: DUP4
0000091c: AND
0000091d: SWAP4
0000091e: SWAP2
0000091f: SWAP1
00000920: SWAP3
00000921: AND
00000922: SWAP2
00000923: PUSH32 0xf74f5b1d2238714a6db733a2701bfa703916ceb8f1da2c35ef8fb2ceb5c85f5f
00000944: SWAP2
00000945: SWAP1
00000946: LOG4
00000947: POP
00000948: POP
00000949: POP
0000094a: JUMP
0000094b: JUMPDEST
0000094c: PUSH1 0x01
0000094e: PUSH1 0x01
00000950: PUSH1 0xa0
00000952: SHL
00000953: SUB
00000954: DUP2
00000955: AND
00000956: PUSH1 0x00
00000958: DUP2
00000959: DUP2
0000095a: MSTORE
0000095b: PUSH1 0x07
0000095d: PUSH1 0x20
0000095f: MSTORE
00000960: PUSH1 0x40
00000962: SWAP1
00000963: KECCAK256
00000964: SLOAD
00000965: PUSH1 0x04
00000967: DUP1
00000968: SLOAD
00000969: SWAP2
0000096a: SWAP3
0000096b: SWAP2
0000096c: DUP4
0000096d: SWAP1
0000096e: DUP2
0000096f: LT
00000970: PUSH2 0x097b
00000973: JUMPI
00000974: PUSH2 0x097b
00000977: PUSH2 0x1997
0000097a: JUMP
0000097b: JUMPDEST
0000097c: PUSH1 0x00
0000097e: SWAP2
0000097f: DUP3
00000980: MSTORE
00000981: PUSH1 0x20
00000983: SWAP1
00000984: SWAP2
00000985: KECCAK256
00000986: ADD
00000987: SLOAD
00000988: PUSH1 0x01
0000098a: PUSH1 0x01
0000098c: PUSH1 0xa0
0000098e: SHL
0000098f: SUB
00000990: AND
00000991: EQ
00000992: DUP1
00000993: ISZERO
00000994: PUSH2 0x09aa
00000997: JUMPI
00000998: POP
00000999: PUSH1 0x00
0000099b: DUP2
0000099c: DUP2
0000099d: MSTORE
0000099e: PUSH1 0x02
000009a0: PUSH1 0x20
000009a2: MSTORE
000009a3: PUSH1 0x40
000009a5: SWAP1
000009a6: KECCAK256
000009a7: SLOAD
000009a8: ISZERO
000009a9: ISZERO
000009aa: JUMPDEST
000009ab: PUSH2 0x0a05
000009ae: JUMPI
000009af: PUSH1 0x40
000009b1: MLOAD
000009b2: PUSH3 0x461bcd
000009b6: PUSH1 0xe5
000009b8: SHL
000009b9: DUP2
000009ba: MSTORE
000009bb: PUSH1 0x20
000009bd: PUSH1 0x04
000009bf: DUP3
000009c0: ADD
000009c1: MSTORE
000009c2: PUSH1 0x26
000009c4: PUSH1 0x24
000009c6: DUP3
000009c7: ADD
000009c8: MSTORE
000009c9: PUSH32 0x5061796d656e7453706c69747465723a206163636f756e7420686173206e6f20
000009ea: PUSH1 0x44
000009ec: DUP3
000009ed: ADD
000009ee: MSTORE
000009ef: PUSH6 0x736861726573
000009f6: PUSH1 0xd0
000009f8: SHL
000009f9: PUSH1 0x64
000009fb: DUP3
000009fc: ADD
000009fd: MSTORE
000009fe: PUSH1 0x84
00000a00: ADD
00000a01: PUSH2 0x03b6
00000a04: JUMP
00000a05: JUMPDEST
00000a06: PUSH1 0x00
00000a08: PUSH2 0x0a10
00000a0b: PUSH1 0x01
00000a0d: SLOAD
00000a0e: SWAP1
00000a0f: JUMP
00000a10: JUMPDEST
00000a11: PUSH2 0x0a1a
00000a14: SWAP1
00000a15: SELFBALANCE
00000a16: PUSH2 0x19c3
00000a19: JUMP
00000a1a: JUMPDEST
00000a1b: SWAP1
00000a1c: POP
00000a1d: PUSH1 0x00
00000a1f: PUSH2 0x0a31
00000a22: DUP5
00000a23: DUP4
00000a24: PUSH2 0x0a2c
00000a27: DUP8
00000a28: PUSH2 0x10e6
00000a2b: JUMP
00000a2c: JUMPDEST
00000a2d: PUSH2 0x145c
00000a30: JUMP
00000a31: JUMPDEST
00000a32: SWAP1
00000a33: POP
00000a34: DUP1
00000a35: PUSH1 0x00
00000a37: SUB
00000a38: PUSH2 0x0a97
00000a3b: JUMPI
00000a3c: PUSH1 0x40
00000a3e: MLOAD
00000a3f: PUSH3 0x461bcd
00000a43: PUSH1 0xe5
00000a45: SHL
00000a46: DUP2
00000a47: MSTORE
00000a48: PUSH1 0x20
00000a4a: PUSH1 0x04
00000a4c: DUP3
00000a4d: ADD
00000a4e: MSTORE
00000a4f: PUSH1 0x2b
00000a51: PUSH1 0x24
00000a53: DUP3
00000a54: ADD
00000a55: MSTORE
00000a56: PUSH32 0x5061796d656e7453706c69747465723a206163636f756e74206973206e6f7420
00000a77: PUSH1 0x44
00000a79: DUP3
00000a7a: ADD
00000a7b: MSTORE
00000a7c: PUSH11 0x191d59481c185e5b595b9d
00000a88: PUSH1 0xaa
00000a8a: SHL
00000a8b: PUSH1 0x64
00000a8d: DUP3
00000a8e: ADD
00000a8f: MSTORE
00000a90: PUSH1 0x84
00000a92: ADD
00000a93: PUSH2 0x03b6
00000a96: JUMP
00000a97: JUMPDEST
00000a98: PUSH1 0x00
00000a9a: DUP4
00000a9b: DUP2
00000a9c: MSTORE
00000a9d: PUSH1 0x03
00000a9f: PUSH1 0x20
00000aa1: MSTORE
00000aa2: PUSH1 0x40
00000aa4: DUP2
00000aa5: KECCAK256
00000aa6: DUP1
00000aa7: SLOAD
00000aa8: DUP4
00000aa9: SWAP3
00000aaa: SWAP1
00000aab: PUSH2 0x0ab5
00000aae: SWAP1
00000aaf: DUP5
00000ab0: SWAP1
00000ab1: PUSH2 0x19c3
00000ab4: JUMP
00000ab5: JUMPDEST
00000ab6: SWAP3
00000ab7: POP
00000ab8: POP
00000ab9: DUP2
00000aba: SWAP1
00000abb: SSTORE
00000abc: POP
00000abd: DUP1
00000abe: PUSH1 0x01
00000ac0: PUSH1 0x00
00000ac2: DUP3
00000ac3: DUP3
00000ac4: SLOAD
00000ac5: PUSH2 0x0ace
00000ac8: SWAP2
00000ac9: SWAP1
00000aca: PUSH2 0x19c3
00000acd: JUMP
00000ace: JUMPDEST
00000acf: SWAP1
00000ad0: SWAP2
00000ad1: SSTORE
00000ad2: POP
00000ad3: PUSH2 0x0ade
00000ad6: SWAP1
00000ad7: POP
00000ad8: DUP5
00000ad9: DUP3
00000ada: PUSH2 0x14b3
00000add: JUMP
00000ade: JUMPDEST
00000adf: PUSH1 0x40
00000ae1: DUP1
00000ae2: MLOAD
00000ae3: PUSH1 0x01
00000ae5: PUSH1 0x01
00000ae7: PUSH1 0xa0
00000ae9: SHL
00000aea: SUB
00000aeb: DUP7
00000aec: AND
00000aed: DUP2
00000aee: MSTORE
00000aef: PUSH1 0x20
00000af1: DUP2
00000af2: ADD
00000af3: DUP4
00000af4: SWAP1
00000af5: MSTORE
00000af6: PUSH32 0xdf20fd1e76bc69d672e4814fafb2c449bba3a5369d8359adf9e05e6fde87b056
00000b17: SWAP2
00000b18: ADD
00000b19: PUSH1 0x40
00000b1b: MLOAD
00000b1c: DUP1
00000b1d: SWAP2
00000b1e: SUB
00000b1f: SWAP1
00000b20: LOG1
00000b21: POP
00000b22: POP
00000b23: POP
00000b24: POP
00000b25: JUMP
00000b26: JUMPDEST
00000b27: PUSH1 0x00
00000b29: DUP1
00000b2a: PUSH2 0x0b32
00000b2d: DUP4
00000b2e: PUSH2 0x1160
00000b31: JUMP
00000b32: JUMPDEST
00000b33: GT
00000b34: PUSH2 0x0b8e
00000b37: JUMPI
00000b38: PUSH1 0x40
00000b3a: MLOAD
00000b3b: PUSH3 0x461bcd
00000b3f: PUSH1 0xe5
00000b41: SHL
00000b42: DUP2
00000b43: MSTORE
00000b44: PUSH1 0x20
00000b46: PUSH1 0x04
00000b48: DUP3
00000b49: ADD
00000b4a: MSTORE
00000b4b: PUSH1 0x26
00000b4d: PUSH1 0x24
00000b4f: DUP3
00000b50: ADD
00000b51: MSTORE
00000b52: PUSH32 0x5061796d656e7453706c69747465723a206163636f756e7420686173206e6f20
00000b73: PUSH1 0x44
00000b75: DUP3
00000b76: ADD
00000b77: MSTORE
00000b78: PUSH6 0x736861726573
00000b7f: PUSH1 0xd0
00000b81: SHL
00000b82: PUSH1 0x64
00000b84: DUP3
00000b85: ADD
00000b86: MSTORE
00000b87: PUSH1 0x84
00000b89: ADD
00000b8a: PUSH2 0x03b6
00000b8d: JUMP
00000b8e: JUMPDEST
00000b8f: PUSH1 0x01
00000b91: PUSH1 0x01
00000b93: PUSH1 0xa0
00000b95: SHL
00000b96: SUB
00000b97: DUP4
00000b98: AND
00000b99: PUSH1 0x00
00000b9b: SWAP1
00000b9c: DUP2
00000b9d: MSTORE
00000b9e: PUSH1 0x05
00000ba0: PUSH1 0x20
00000ba2: MSTORE
00000ba3: PUSH1 0x40
00000ba5: DUP2
00000ba6: KECCAK256
00000ba7: SLOAD
00000ba8: PUSH1 0x40
00000baa: MLOAD
00000bab: PUSH4 0x70a08231
00000bb0: PUSH1 0xe0
00000bb2: SHL
00000bb3: DUP2
00000bb4: MSTORE
00000bb5: ADDRESS
00000bb6: PUSH1 0x04
00000bb8: DUP3
00000bb9: ADD
00000bba: MSTORE
00000bbb: PUSH1 0x01
00000bbd: PUSH1 0x01
00000bbf: PUSH1 0xa0
00000bc1: SHL
00000bc2: SUB
00000bc3: DUP7
00000bc4: AND
00000bc5: SWAP1
00000bc6: PUSH4 0x70a08231
00000bcb: SWAP1
00000bcc: PUSH1 0x24
00000bce: ADD
00000bcf: PUSH1 0x20
00000bd1: PUSH1 0x40
00000bd3: MLOAD
00000bd4: DUP1
00000bd5: DUP4
00000bd6: SUB
00000bd7: DUP2
00000bd8: DUP7
00000bd9: GAS
00000bda: STATICCALL
00000bdb: ISZERO
00000bdc: DUP1
00000bdd: ISZERO
00000bde: PUSH2 0x0beb
00000be1: JUMPI
00000be2: RETURNDATASIZE
00000be3: PUSH1 0x00
00000be5: DUP1
00000be6: RETURNDATACOPY
00000be7: RETURNDATASIZE
00000be8: PUSH1 0x00
00000bea: REVERT
00000beb: JUMPDEST
00000bec: POP
00000bed: POP
00000bee: POP
00000bef: POP
00000bf0: PUSH1 0x40
00000bf2: MLOAD
00000bf3: RETURNDATASIZE
00000bf4: PUSH1 0x1f
00000bf6: NOT
00000bf7: PUSH1 0x1f
00000bf9: DUP3
00000bfa: ADD
00000bfb: AND
00000bfc: DUP3
00000bfd: ADD
00000bfe: DUP1
00000bff: PUSH1 0x40
00000c01: MSTORE
00000c02: POP
00000c03: DUP2
00000c04: ADD
00000c05: SWAP1
00000c06: PUSH2 0x0c0f
00000c09: SWAP2
00000c0a: SWAP1
00000c0b: PUSH2 0x19d6
00000c0e: JUMP
00000c0f: JUMPDEST
00000c10: PUSH2 0x0c19
00000c13: SWAP2
00000c14: SWAP1
00000c15: PUSH2 0x19c3
00000c18: JUMP
00000c19: JUMPDEST
00000c1a: SWAP1
00000c1b: POP
00000c1c: PUSH1 0x00
00000c1e: PUSH2 0x0c2c
00000c21: DUP5
00000c22: DUP4
00000c23: PUSH2 0x0a2c
00000c26: DUP9
00000c27: DUP9
00000c28: PUSH2 0x0c37
00000c2b: JUMP
00000c2c: JUMPDEST
00000c2d: SWAP3
00000c2e: POP
00000c2f: POP
00000c30: POP
00000c31: JUMPDEST
00000c32: SWAP3
00000c33: SWAP2
00000c34: POP
00000c35: POP
00000c36: JUMP
00000c37: JUMPDEST
00000c38: PUSH1 0x01
00000c3a: PUSH1 0x01
00000c3c: PUSH1 0xa0
00000c3e: SHL
00000c3f: SUB
00000c40: DUP2
00000c41: AND
00000c42: PUSH1 0x00
00000c44: SWAP1
00000c45: DUP2
00000c46: MSTORE
00000c47: PUSH1 0x07
00000c49: PUSH1 0x20
00000c4b: MSTORE
00000c4c: PUSH1 0x40
00000c4e: DUP2
00000c4f: KECCAK256
00000c50: SLOAD
00000c51: DUP1
00000c52: ISZERO
00000c53: DUP1
00000c54: ISZERO
00000c55: PUSH2 0x0c8e
00000c58: JUMPI
00000c59: POP
00000c5a: DUP3
00000c5b: PUSH1 0x01
00000c5d: PUSH1 0x01
00000c5f: PUSH1 0xa0
00000c61: SHL
00000c62: SUB
00000c63: AND
00000c64: PUSH1 0x04
00000c66: DUP3
00000c67: DUP2
00000c68: SLOAD
00000c69: DUP2
00000c6a: LT
00000c6b: PUSH2 0x0c76
00000c6e: JUMPI
00000c6f: PUSH2 0x0c76
00000c72: PUSH2 0x1997
00000c75: JUMP
00000c76: JUMPDEST
00000c77: PUSH1 0x00
00000c79: SWAP2
00000c7a: DUP3
00000c7b: MSTORE
00000c7c: PUSH1 0x20
00000c7e: SWAP1
00000c7f: SWAP2
00000c80: KECCAK256
00000c81: ADD
00000c82: SLOAD
00000c83: PUSH1 0x01
00000c85: PUSH1 0x01
00000c87: PUSH1 0xa0
00000c89: SHL
00000c8a: SUB
00000c8b: AND
00000c8c: EQ
00000c8d: ISZERO
00000c8e: JUMPDEST
00000c8f: ISZERO
00000c90: PUSH2 0x0c9d
00000c93: JUMPI
00000c94: PUSH1 0x00
00000c96: SWAP2
00000c97: POP
00000c98: POP
00000c99: PUSH2 0x0c31
00000c9c: JUMP
00000c9d: JUMPDEST
00000c9e: PUSH1 0x01
00000ca0: PUSH1 0x01
00000ca2: PUSH1 0xa0
00000ca4: SHL
00000ca5: SUB
00000ca6: DUP5
00000ca7: AND
00000ca8: PUSH1 0x00
00000caa: SWAP1
00000cab: DUP2
00000cac: MSTORE
00000cad: PUSH1 0x06
00000caf: PUSH1 0x20
00000cb1: SWAP1
00000cb2: DUP2
00000cb3: MSTORE
00000cb4: PUSH1 0x40
00000cb6: DUP1
00000cb7: DUP4
00000cb8: KECCAK256
00000cb9: SWAP4
00000cba: DUP4
00000cbb: MSTORE
00000cbc: SWAP3
00000cbd: SWAP1
00000cbe: MSTORE
00000cbf: KECCAK256
00000cc0: SLOAD
00000cc1: SWAP1
00000cc2: POP
00000cc3: SWAP3
00000cc4: SWAP2
00000cc5: POP
00000cc6: POP
00000cc7: JUMP
00000cc8: JUMPDEST
00000cc9: PUSH1 0x01
00000ccb: PUSH1 0x01
00000ccd: PUSH1 0xa0
00000ccf: SHL
00000cd0: SUB
00000cd1: DUP2
00000cd2: AND
00000cd3: PUSH1 0x00
00000cd5: DUP2
00000cd6: DUP2
00000cd7: MSTORE
00000cd8: PUSH1 0x07
00000cda: PUSH1 0x20
00000cdc: MSTORE
00000cdd: PUSH1 0x40
00000cdf: SWAP1
00000ce0: KECCAK256
00000ce1: SLOAD
00000ce2: PUSH1 0x04
00000ce4: DUP1
00000ce5: SLOAD
00000ce6: SWAP2
00000ce7: SWAP3
00000ce8: SWAP2
00000ce9: DUP4
00000cea: SWAP1
00000ceb: DUP2
00000cec: LT
00000ced: PUSH2 0x0cf8
00000cf0: JUMPI
00000cf1: PUSH2 0x0cf8
00000cf4: PUSH2 0x1997
00000cf7: JUMP
00000cf8: JUMPDEST
00000cf9: PUSH1 0x00
00000cfb: SWAP2
00000cfc: DUP3
00000cfd: MSTORE
00000cfe: PUSH1 0x20
00000d00: SWAP1
00000d01: SWAP2
00000d02: KECCAK256
00000d03: ADD
00000d04: SLOAD
00000d05: PUSH1 0x01
00000d07: PUSH1 0x01
00000d09: PUSH1 0xa0
00000d0b: SHL
00000d0c: SUB
00000d0d: AND
00000d0e: EQ
00000d0f: DUP1
00000d10: ISZERO
00000d11: PUSH2 0x0d27
00000d14: JUMPI
00000d15: POP
00000d16: PUSH1 0x00
00000d18: DUP2
00000d19: DUP2
00000d1a: MSTORE
00000d1b: PUSH1 0x02
00000d1d: PUSH1 0x20
00000d1f: MSTORE
00000d20: PUSH1 0x40
00000d22: SWAP1
00000d23: KECCAK256
00000d24: SLOAD
00000d25: ISZERO
00000d26: ISZERO
00000d27: JUMPDEST
00000d28: PUSH2 0x0d82
00000d2b: JUMPI
00000d2c: PUSH1 0x40
00000d2e: MLOAD
00000d2f: PUSH3 0x461bcd
00000d33: PUSH1 0xe5
00000d35: SHL
00000d36: DUP2
00000d37: MSTORE
00000d38: PUSH1 0x20
00000d3a: PUSH1 0x04
00000d3c: DUP3
00000d3d: ADD
00000d3e: MSTORE
00000d3f: PUSH1 0x26
00000d41: PUSH1 0x24
00000d43: DUP3
00000d44: ADD
00000d45: MSTORE
00000d46: PUSH32 0x5061796d656e7453706c69747465723a206163636f756e7420686173206e6f20
00000d67: PUSH1 0x44
00000d69: DUP3
00000d6a: ADD
00000d6b: MSTORE
00000d6c: PUSH6 0x736861726573
00000d73: PUSH1 0xd0
00000d75: SHL
00000d76: PUSH1 0x64
00000d78: DUP3
00000d79: ADD
00000d7a: MSTORE
00000d7b: PUSH1 0x84
00000d7d: ADD
00000d7e: PUSH2 0x03b6
00000d81: JUMP
00000d82: JUMPDEST
00000d83: PUSH1 0x01
00000d85: PUSH1 0x01
00000d87: PUSH1 0xa0
00000d89: SHL
00000d8a: SUB
00000d8b: DUP4
00000d8c: AND
00000d8d: PUSH1 0x00
00000d8f: SWAP1
00000d90: DUP2
00000d91: MSTORE
00000d92: PUSH1 0x05
00000d94: PUSH1 0x20
00000d96: MSTORE
00000d97: PUSH1 0x40
00000d99: DUP2
00000d9a: KECCAK256
00000d9b: SLOAD
00000d9c: PUSH1 0x40
00000d9e: MLOAD
00000d9f: PUSH4 0x70a08231
00000da4: PUSH1 0xe0
00000da6: SHL
00000da7: DUP2
00000da8: MSTORE
00000da9: ADDRESS
00000daa: PUSH1 0x04
00000dac: DUP3
00000dad: ADD
00000dae: MSTORE
00000daf: PUSH1 0x01
00000db1: PUSH1 0x01
00000db3: PUSH1 0xa0
00000db5: SHL
00000db6: SUB
00000db7: DUP7
00000db8: AND
00000db9: SWAP1
00000dba: PUSH4 0x70a08231
00000dbf: SWAP1
00000dc0: PUSH1 0x24
00000dc2: ADD
00000dc3: PUSH1 0x20
00000dc5: PUSH1 0x40
00000dc7: MLOAD
00000dc8: DUP1
00000dc9: DUP4
00000dca: SUB
00000dcb: DUP2
00000dcc: DUP7
00000dcd: GAS
00000dce: STATICCALL
00000dcf: ISZERO
00000dd0: DUP1
00000dd1: ISZERO
00000dd2: PUSH2 0x0ddf
00000dd5: JUMPI
00000dd6: RETURNDATASIZE
00000dd7: PUSH1 0x00
00000dd9: DUP1
00000dda: RETURNDATACOPY
00000ddb: RETURNDATASIZE
00000ddc: PUSH1 0x00
00000dde: REVERT
00000ddf: JUMPDEST
00000de0: POP
00000de1: POP
00000de2: POP
00000de3: POP
00000de4: PUSH1 0x40
00000de6: MLOAD
00000de7: RETURNDATASIZE
00000de8: PUSH1 0x1f
00000dea: NOT
00000deb: PUSH1 0x1f
00000ded: DUP3
00000dee: ADD
00000def: AND
00000df0: DUP3
00000df1: ADD
00000df2: DUP1
00000df3: PUSH1 0x40
00000df5: MSTORE
00000df6: POP
00000df7: DUP2
00000df8: ADD
00000df9: SWAP1
00000dfa: PUSH2 0x0e03
00000dfd: SWAP2
00000dfe: SWAP1
00000dff: PUSH2 0x19d6
00000e02: JUMP
00000e03: JUMPDEST
00000e04: PUSH2 0x0e0d
00000e07: SWAP2
00000e08: SWAP1
00000e09: PUSH2 0x19c3
00000e0c: JUMP
00000e0d: JUMPDEST
00000e0e: SWAP1
00000e0f: POP
00000e10: PUSH1 0x00
00000e12: PUSH2 0x0e20
00000e15: DUP5
00000e16: DUP4
00000e17: PUSH2 0x0a2c
00000e1a: DUP9
00000e1b: DUP9
00000e1c: PUSH2 0x0c37
00000e1f: JUMP
00000e20: JUMPDEST
00000e21: SWAP1
00000e22: POP
00000e23: DUP1
00000e24: PUSH1 0x00
00000e26: SUB
00000e27: PUSH2 0x0e86
00000e2a: JUMPI
00000e2b: PUSH1 0x40
00000e2d: MLOAD
00000e2e: PUSH3 0x461bcd
00000e32: PUSH1 0xe5
00000e34: SHL
00000e35: DUP2
00000e36: MSTORE
00000e37: PUSH1 0x20
00000e39: PUSH1 0x04
00000e3b: DUP3
00000e3c: ADD
00000e3d: MSTORE
00000e3e: PUSH1 0x2b
00000e40: PUSH1 0x24
00000e42: DUP3
00000e43: ADD
00000e44: MSTORE
00000e45: PUSH32 0x5061796d656e7453706c69747465723a206163636f756e74206973206e6f7420
00000e66: PUSH1 0x44
00000e68: DUP3
00000e69: ADD
00000e6a: MSTORE
00000e6b: PUSH11 0x191d59481c185e5b595b9d
00000e77: PUSH1 0xaa
00000e79: SHL
00000e7a: PUSH1 0x64
00000e7c: DUP3
00000e7d: ADD
00000e7e: MSTORE
00000e7f: PUSH1 0x84
00000e81: ADD
00000e82: PUSH2 0x03b6
00000e85: JUMP
00000e86: JUMPDEST
00000e87: PUSH1 0x01
00000e89: PUSH1 0x01
00000e8b: PUSH1 0xa0
00000e8d: SHL
00000e8e: SUB
00000e8f: DUP6
00000e90: AND
00000e91: PUSH1 0x00
00000e93: SWAP1
00000e94: DUP2
00000e95: MSTORE
00000e96: PUSH1 0x06
00000e98: PUSH1 0x20
00000e9a: SWAP1
00000e9b: DUP2
00000e9c: MSTORE
00000e9d: PUSH1 0x40
00000e9f: DUP1
00000ea0: DUP4
00000ea1: KECCAK256
00000ea2: DUP7
00000ea3: DUP5
00000ea4: MSTORE
00000ea5: SWAP1
00000ea6: SWAP2
00000ea7: MSTORE
00000ea8: DUP2
00000ea9: KECCAK256
00000eaa: DUP1
00000eab: SLOAD
00000eac: DUP4
00000ead: SWAP3
00000eae: SWAP1
00000eaf: PUSH2 0x0eb9
00000eb2: SWAP1
00000eb3: DUP5
00000eb4: SWAP1
00000eb5: PUSH2 0x19c3
00000eb8: JUMP
00000eb9: JUMPDEST
00000eba: SWAP1
00000ebb: SWAP2
00000ebc: SSTORE
00000ebd: POP
00000ebe: POP
00000ebf: PUSH1 0x01
00000ec1: PUSH1 0x01
00000ec3: PUSH1 0xa0
00000ec5: SHL
00000ec6: SUB
00000ec7: DUP6
00000ec8: AND
00000ec9: PUSH1 0x00
00000ecb: SWAP1
00000ecc: DUP2
00000ecd: MSTORE
00000ece: PUSH1 0x05
00000ed0: PUSH1 0x20
00000ed2: MSTORE
00000ed3: PUSH1 0x40
00000ed5: DUP2
00000ed6: KECCAK256
00000ed7: DUP1
00000ed8: SLOAD
00000ed9: DUP4
00000eda: SWAP3
00000edb: SWAP1
00000edc: PUSH2 0x0ee6
00000edf: SWAP1
00000ee0: DUP5
00000ee1: SWAP1
00000ee2: PUSH2 0x19c3
00000ee5: JUMP
00000ee6: JUMPDEST
00000ee7: SWAP1
00000ee8: SWAP2
00000ee9: SSTORE
00000eea: POP
00000eeb: PUSH2 0x0ef7
00000eee: SWAP1
00000eef: POP
00000ef0: DUP6
00000ef1: DUP6
00000ef2: DUP4
00000ef3: PUSH2 0x15d1
00000ef6: JUMP
00000ef7: JUMPDEST
00000ef8: PUSH1 0x40
00000efa: DUP1
00000efb: MLOAD
00000efc: PUSH1 0x01
00000efe: PUSH1 0x01
00000f00: PUSH1 0xa0
00000f02: SHL
00000f03: SUB
00000f04: DUP7
00000f05: DUP2
00000f06: AND
00000f07: DUP3
00000f08: MSTORE
00000f09: PUSH1 0x20
00000f0b: DUP3
00000f0c: ADD
00000f0d: DUP5
00000f0e: SWAP1
00000f0f: MSTORE
00000f10: DUP8
00000f11: AND
00000f12: SWAP2
00000f13: PUSH32 0x3be5b7a71e84ed12875d241991c70855ac5817d847039e17a9d895c1ceb0f18a
00000f34: SWAP2
00000f35: ADD
00000f36: PUSH1 0x40
00000f38: MLOAD
00000f39: DUP1
00000f3a: SWAP2
00000f3b: SUB
00000f3c: SWAP1
00000f3d: LOG2
00000f3e: POP
00000f3f: POP
00000f40: POP
00000f41: POP
00000f42: POP
00000f43: JUMP
00000f44: JUMPDEST
00000f45: PUSH1 0x00
00000f47: DUP1
00000f48: PUSH2 0x0f50
00000f4b: DUP4
00000f4c: PUSH2 0x1160
00000f4f: JUMP
00000f50: JUMPDEST
00000f51: GT
00000f52: PUSH2 0x0fac
00000f55: JUMPI
00000f56: PUSH1 0x40
00000f58: MLOAD
00000f59: PUSH3 0x461bcd
00000f5d: PUSH1 0xe5
00000f5f: SHL
00000f60: DUP2
00000f61: MSTORE
00000f62: PUSH1 0x20
00000f64: PUSH1 0x04
00000f66: DUP3
00000f67: ADD
00000f68: MSTORE
00000f69: PUSH1 0x26
00000f6b: PUSH1 0x24
00000f6d: DUP3
00000f6e: ADD
00000f6f: MSTORE
00000f70: PUSH32 0x5061796d656e7453706c69747465723a206163636f756e7420686173206e6f20
00000f91: PUSH1 0x44
00000f93: DUP3
00000f94: ADD
00000f95: MSTORE
00000f96: PUSH6 0x736861726573
00000f9d: PUSH1 0xd0
00000f9f: SHL
00000fa0: PUSH1 0x64
00000fa2: DUP3
00000fa3: ADD
00000fa4: MSTORE
00000fa5: PUSH1 0x84
00000fa7: ADD
00000fa8: PUSH2 0x03b6
00000fab: JUMP
00000fac: JUMPDEST
00000fad: PUSH1 0x00
00000faf: PUSH2 0x0fb7
00000fb2: PUSH1 0x01
00000fb4: SLOAD
00000fb5: SWAP1
00000fb6: JUMP
00000fb7: JUMPDEST
00000fb8: PUSH2 0x0fc1
00000fbb: SWAP1
00000fbc: SELFBALANCE
00000fbd: PUSH2 0x19c3
00000fc0: JUMP
00000fc1: JUMPDEST
00000fc2: SWAP1
00000fc3: POP
00000fc4: PUSH1 0x00
00000fc6: PUSH2 0x0fd3
00000fc9: DUP5
00000fca: DUP4
00000fcb: PUSH2 0x0a2c
00000fce: DUP8
00000fcf: PUSH2 0x10e6
00000fd2: JUMP
00000fd3: JUMPDEST
00000fd4: SWAP5
00000fd5: SWAP4
00000fd6: POP
00000fd7: POP
00000fd8: POP
00000fd9: POP
00000fda: JUMP
00000fdb: JUMPDEST
00000fdc: PUSH1 0x40
00000fde: DUP1
00000fdf: MLOAD
00000fe0: PUSH1 0xa0
00000fe2: DUP2
00000fe3: ADD
00000fe4: DUP3
00000fe5: MSTORE
00000fe6: PUSH1 0x00
00000fe8: DUP1
00000fe9: DUP3
00000fea: MSTORE
00000feb: PUSH1 0x20
00000fed: DUP3
00000fee: ADD
00000fef: DUP2
00000ff0: SWAP1
00000ff1: MSTORE
00000ff2: SWAP2
00000ff3: DUP2
00000ff4: ADD
00000ff5: DUP3
00000ff6: SWAP1
00000ff7: MSTORE
00000ff8: PUSH1 0x60
00000ffa: DUP1
00000ffb: DUP3
00000ffc: ADD
00000ffd: MSTORE
00000ffe: PUSH1 0x80
00001000: DUP2
00001001: ADD
00001002: SWAP2
00001003: SWAP1
00001004: SWAP2
00001005: MSTORE
00001006: PUSH1 0x00
00001008: DUP3
00001009: DUP2
0000100a: MSTORE
0000100b: PUSH1 0x08
0000100d: PUSH1 0x20
0000100f: SWAP1
00001010: DUP2
00001011: MSTORE
00001012: PUSH1 0x40
00001014: SWAP2
00001015: DUP3
00001016: SWAP1
00001017: KECCAK256
00001018: DUP3
00001019: MLOAD
0000101a: PUSH1 0xa0
0000101c: DUP2
0000101d: ADD
0000101e: DUP5
0000101f: MSTORE
00001020: DUP2
00001021: SLOAD
00001022: PUSH1 0x01
00001024: PUSH1 0x01
00001026: PUSH1 0xa0
00001028: SHL
00001029: SUB
0000102a: SWAP1
0000102b: DUP2
0000102c: AND
0000102d: DUP3
0000102e: MSTORE
0000102f: PUSH1 0x01
00001031: DUP4
00001032: ADD
00001033: SLOAD
00001034: DUP2
00001035: AND
00001036: DUP3
00001037: DUP6
00001038: ADD
00001039: MSTORE
0000103a: PUSH1 0x02
0000103c: DUP4
0000103d: ADD
0000103e: SLOAD
0000103f: AND
00001040: DUP2
00001041: DUP6
00001042: ADD
00001043: MSTORE
00001044: PUSH1 0x03
00001046: DUP3
00001047: ADD
00001048: DUP1
00001049: SLOAD
0000104a: DUP6
0000104b: MLOAD
0000104c: DUP2
0000104d: DUP7
0000104e: MUL
0000104f: DUP2
00001050: ADD
00001051: DUP7
00001052: ADD
00001053: SWAP1
00001054: SWAP7
00001055: MSTORE
00001056: DUP1
00001057: DUP7
00001058: MSTORE
00001059: SWAP2
0000105a: SWAP5
0000105b: SWAP3
0000105c: SWAP4
0000105d: PUSH1 0x60
0000105f: DUP7
00001060: ADD
00001061: SWAP4
00001062: SWAP3
00001063: SWAP1
00001064: DUP4
00001065: ADD
00001066: DUP3
00001067: DUP3
00001068: DUP1
00001069: ISZERO
0000106a: PUSH2 0x109c
0000106d: JUMPI
0000106e: PUSH1 0x20
00001070: MUL
00001071: DUP3
00001072: ADD
00001073: SWAP2
00001074: SWAP1
00001075: PUSH1 0x00
00001077: MSTORE
00001078: PUSH1 0x20
0000107a: PUSH1 0x00
0000107c: KECCAK256
0000107d: SWAP1
0000107e: JUMPDEST
0000107f: DUP2
00001080: SLOAD
00001081: PUSH1 0x01
00001083: PUSH1 0x01
00001085: PUSH1 0xa0
00001087: SHL
00001088: SUB
00001089: AND
0000108a: DUP2
0000108b: MSTORE
0000108c: PUSH1 0x01
0000108e: SWAP1
0000108f: SWAP2
00001090: ADD
00001091: SWAP1
00001092: PUSH1 0x20
00001094: ADD
00001095: DUP1
00001096: DUP4
00001097: GT
00001098: PUSH2 0x107e
0000109b: JUMPI
0000109c: JUMPDEST
0000109d: POP
0000109e: POP
0000109f: POP
000010a0: POP
000010a1: POP
000010a2: DUP2
000010a3: MSTORE
000010a4: PUSH1 0x20
000010a6: ADD
000010a7: PUSH1 0x04
000010a9: DUP3
000010aa: ADD
000010ab: SLOAD
000010ac: DUP2
000010ad: MSTORE
000010ae: POP
000010af: POP
000010b0: SWAP1
000010b1: POP
000010b2: SWAP2
000010b3: SWAP1
000010b4: POP
000010b5: JUMP
000010b6: JUMPDEST
000010b7: PUSH1 0x00
000010b9: PUSH1 0x04
000010bb: DUP3
000010bc: DUP2
000010bd: SLOAD
000010be: DUP2
000010bf: LT
000010c0: PUSH2 0x10cb
000010c3: JUMPI
000010c4: PUSH2 0x10cb
000010c7: PUSH2 0x1997
000010ca: JUMP
000010cb: JUMPDEST
000010cc: PUSH1 0x00
000010ce: SWAP2
000010cf: DUP3
000010d0: MSTORE
000010d1: PUSH1 0x20
000010d3: SWAP1
000010d4: SWAP2
000010d5: KECCAK256
000010d6: ADD
000010d7: SLOAD
000010d8: PUSH1 0x01
000010da: PUSH1 0x01
000010dc: PUSH1 0xa0
000010de: SHL
000010df: SUB
000010e0: AND
000010e1: SWAP3
000010e2: SWAP2
000010e3: POP
000010e4: POP
000010e5: JUMP
000010e6: JUMPDEST
000010e7: PUSH1 0x01
000010e9: PUSH1 0x01
000010eb: PUSH1 0xa0
000010ed: SHL
000010ee: SUB
000010ef: DUP2
000010f0: AND
000010f1: PUSH1 0x00
000010f3: SWAP1
000010f4: DUP2
000010f5: MSTORE
000010f6: PUSH1 0x07
000010f8: PUSH1 0x20
000010fa: MSTORE
000010fb: PUSH1 0x40
000010fd: DUP2
000010fe: KECCAK256
000010ff: SLOAD
00001100: DUP1
00001101: ISZERO
00001102: DUP1
00001103: ISZERO
00001104: PUSH2 0x113d
00001107: JUMPI
00001108: POP
00001109: DUP3
0000110a: PUSH1 0x01
0000110c: PUSH1 0x01
0000110e: PUSH1 0xa0
00001110: SHL
00001111: SUB
00001112: AND
00001113: PUSH1 0x04
00001115: DUP3
00001116: DUP2
00001117: SLOAD
00001118: DUP2
00001119: LT
0000111a: PUSH2 0x1125
0000111d: JUMPI
0000111e: PUSH2 0x1125
00001121: PUSH2 0x1997
00001124: JUMP
00001125: JUMPDEST
00001126: PUSH1 0x00
00001128: SWAP2
00001129: DUP3
0000112a: MSTORE
0000112b: PUSH1 0x20
0000112d: SWAP1
0000112e: SWAP2
0000112f: KECCAK256
00001130: ADD
00001131: SLOAD
00001132: PUSH1 0x01
00001134: PUSH1 0x01
00001136: PUSH1 0xa0
00001138: SHL
00001139: SUB
0000113a: AND
0000113b: EQ
0000113c: ISZERO
0000113d: JUMPDEST
0000113e: ISZERO
0000113f: PUSH2 0x114b
00001142: JUMPI
00001143: POP
00001144: PUSH1 0x00
00001146: SWAP3
00001147: SWAP2
00001148: POP
00001149: POP
0000114a: JUMP
0000114b: JUMPDEST
0000114c: PUSH1 0x00
0000114e: SWAP1
0000114f: DUP2
00001150: MSTORE
00001151: PUSH1 0x03
00001153: PUSH1 0x20
00001155: MSTORE
00001156: PUSH1 0x40
00001158: SWAP1
00001159: KECCAK256
0000115a: SLOAD
0000115b: SWAP3
0000115c: SWAP2
0000115d: POP
0000115e: POP
0000115f: JUMP
00001160: JUMPDEST
00001161: PUSH1 0x01
00001163: PUSH1 0x01
00001165: PUSH1 0xa0
00001167: SHL
00001168: SUB
00001169: DUP2
0000116a: AND
0000116b: PUSH1 0x00
0000116d: SWAP1
0000116e: DUP2
0000116f: MSTORE
00001170: PUSH1 0x07
00001172: PUSH1 0x20
00001174: MSTORE
00001175: PUSH1 0x40
00001177: DUP2
00001178: KECCAK256
00001179: SLOAD
0000117a: DUP1
0000117b: ISZERO
0000117c: DUP1
0000117d: ISZERO
0000117e: PUSH2 0x11b7
00001181: JUMPI
00001182: POP
00001183: DUP3
00001184: PUSH1 0x01
00001186: PUSH1 0x01
00001188: PUSH1 0xa0
0000118a: SHL
0000118b: SUB
0000118c: AND
0000118d: PUSH1 0x04
0000118f: DUP3
00001190: DUP2
00001191: SLOAD
00001192: DUP2
00001193: LT
00001194: PUSH2 0x119f
00001197: JUMPI
00001198: PUSH2 0x119f
0000119b: PUSH2 0x1997
0000119e: JUMP
0000119f: JUMPDEST
000011a0: PUSH1 0x00
000011a2: SWAP2
000011a3: DUP3
000011a4: MSTORE
000011a5: PUSH1 0x20
000011a7: SWAP1
000011a8: SWAP2
000011a9: KECCAK256
000011aa: ADD
000011ab: SLOAD
000011ac: PUSH1 0x01
000011ae: PUSH1 0x01
000011b0: PUSH1 0xa0
000011b2: SHL
000011b3: SUB
000011b4: AND
000011b5: EQ
000011b6: ISZERO
000011b7: JUMPDEST
000011b8: ISZERO
000011b9: PUSH2 0x11c5
000011bc: JUMPI
000011bd: POP
000011be: PUSH1 0x00
000011c0: SWAP3
000011c1: SWAP2
000011c2: POP
000011c3: POP
000011c4: JUMP
000011c5: JUMPDEST
000011c6: PUSH1 0x00
000011c8: SWAP1
000011c9: DUP2
000011ca: MSTORE
000011cb: PUSH1 0x02
000011cd: PUSH1 0x20
000011cf: MSTORE
000011d0: PUSH1 0x40
000011d2: SWAP1
000011d3: KECCAK256
000011d4: SLOAD
000011d5: SWAP3
000011d6: SWAP2
000011d7: POP
000011d8: POP
000011d9: JUMP
000011da: JUMPDEST
000011db: PUSH1 0x00
000011dd: PUSH2 0x11e5
000011e0: CALLER
000011e1: PUSH2 0x1160
000011e4: JUMP
000011e5: JUMPDEST
000011e6: GT
000011e7: PUSH2 0x1241
000011ea: JUMPI
000011eb: PUSH1 0x40
000011ed: MLOAD
000011ee: PUSH3 0x461bcd
000011f2: PUSH1 0xe5
000011f4: SHL
000011f5: DUP2
000011f6: MSTORE
000011f7: PUSH1 0x20
000011f9: PUSH1 0x04
000011fb: DUP3
000011fc: ADD
000011fd: MSTORE
000011fe: PUSH1 0x26
00001200: PUSH1 0x24
00001202: DUP3
00001203: ADD
00001204: MSTORE
00001205: PUSH32 0x5061796d656e7453706c69747465723a2063616c6c6572206973206e6f742061
00001226: PUSH1 0x44
00001228: DUP3
00001229: ADD
0000122a: MSTORE
0000122b: PUSH6 0x207061796565
00001232: PUSH1 0xd0
00001234: SHL
00001235: PUSH1 0x64
00001237: DUP3
00001238: ADD
00001239: MSTORE
0000123a: PUSH1 0x84
0000123c: ADD
0000123d: PUSH2 0x03b6
00001240: JUMP
00001241: JUMPDEST
00001242: PUSH1 0x00
00001244: DUP2
00001245: DUP2
00001246: MSTORE
00001247: PUSH1 0x08
00001249: PUSH1 0x20
0000124b: MSTORE
0000124c: PUSH1 0x40
0000124e: SWAP1
0000124f: KECCAK256
00001250: PUSH1 0x04
00001252: DUP2
00001253: ADD
00001254: SLOAD
00001255: TIMESTAMP
00001256: LT
00001257: PUSH2 0x12b8
0000125a: JUMPI
0000125b: PUSH1 0x40
0000125d: MLOAD
0000125e: PUSH3 0x461bcd
00001262: PUSH1 0xe5
00001264: SHL
00001265: DUP2
00001266: MSTORE
00001267: PUSH1 0x20
00001269: PUSH1 0x04
0000126b: DUP3
0000126c: ADD
0000126d: MSTORE
0000126e: PUSH1 0x2d
00001270: PUSH1 0x24
00001272: DUP3
00001273: ADD
00001274: MSTORE
00001275: PUSH32 0x5061796d656e7453706c69747465723a2070726f706f73616c20646561646c69
00001296: PUSH1 0x44
00001298: DUP3
00001299: ADD
0000129a: MSTORE
0000129b: PUSH13 0x1b99481a185cc81c185cdcd959
000012a9: PUSH1 0x9a
000012ab: SHL
000012ac: PUSH1 0x64
000012ae: DUP3
000012af: ADD
000012b0: MSTORE
000012b1: PUSH1 0x84
000012b3: ADD
000012b4: PUSH2 0x03b6
000012b7: JUMP
000012b8: JUMPDEST
000012b9: DUP1
000012ba: SLOAD
000012bb: CALLER
000012bc: PUSH1 0x01
000012be: PUSH1 0x01
000012c0: PUSH1 0xa0
000012c2: SHL
000012c3: SUB
000012c4: SWAP1
000012c5: SWAP2
000012c6: AND
000012c7: SUB
000012c8: PUSH2 0x1339
000012cb: JUMPI
000012cc: PUSH1 0x40
000012ce: MLOAD
000012cf: PUSH3 0x461bcd
000012d3: PUSH1 0xe5
000012d5: SHL
000012d6: DUP2
000012d7: MSTORE
000012d8: PUSH1 0x20
000012da: PUSH1 0x04
000012dc: DUP3
000012dd: ADD
000012de: MSTORE
000012df: PUSH1 0x32
000012e1: PUSH1 0x24
000012e3: DUP3
000012e4: ADD
000012e5: MSTORE
000012e6: PUSH32 0x5061796d656e7453706c69747465723a2063616c6c65722063616e6e6f742062
00001307: PUSH1 0x44
00001309: DUP3
0000130a: ADD
0000130b: MSTORE
0000130c: PUSH32 0x652070726f706f736572206163636f756e740000000000000000000000000000
0000132d: PUSH1 0x64
0000132f: DUP3
00001330: ADD
00001331: MSTORE
00001332: PUSH1 0x84
00001334: ADD
00001335: PUSH2 0x03b6
00001338: JUMP
00001339: JUMPDEST
0000133a: PUSH1 0x00
0000133c: JUMPDEST
0000133d: PUSH1 0x03
0000133f: DUP3
00001340: ADD
00001341: SLOAD
00001342: DUP2
00001343: LT
00001344: ISZERO
00001345: PUSH2 0x13ec
00001348: JUMPI
00001349: CALLER
0000134a: PUSH1 0x01
0000134c: PUSH1 0x01
0000134e: PUSH1 0xa0
00001350: SHL
00001351: SUB
00001352: AND
00001353: DUP3
00001354: PUSH1 0x03
00001356: ADD
00001357: DUP3
00001358: DUP2
00001359: SLOAD
0000135a: DUP2
0000135b: LT
0000135c: PUSH2 0x1367
0000135f: JUMPI
00001360: PUSH2 0x1367
00001363: PUSH2 0x1997
00001366: JUMP
00001367: JUMPDEST
00001368: PUSH1 0x00
0000136a: SWAP2
0000136b: DUP3
0000136c: MSTORE
0000136d: PUSH1 0x20
0000136f: SWAP1
00001370: SWAP2
00001371: KECCAK256
00001372: ADD
00001373: SLOAD
00001374: PUSH1 0x01
00001376: PUSH1 0x01
00001378: PUSH1 0xa0
0000137a: SHL
0000137b: SUB
0000137c: AND
0000137d: SUB
0000137e: PUSH2 0x13da
00001381: JUMPI
00001382: PUSH1 0x40
00001384: MLOAD
00001385: PUSH3 0x461bcd
00001389: PUSH1 0xe5
0000138b: SHL
0000138c: DUP2
0000138d: MSTORE
0000138e: PUSH1 0x20
00001390: PUSH1 0x04
00001392: DUP3
00001393: ADD
00001394: MSTORE
00001395: PUSH1 0x28
00001397: PUSH1 0x24
00001399: DUP3
0000139a: ADD
0000139b: MSTORE
0000139c: PUSH32 0x5061796d656e7453706c69747465723a2063616c6c657220616c726561647920
000013bd: PUSH1 0x44
000013bf: DUP3
000013c0: ADD
000013c1: MSTORE
000013c2: PUSH8 0x185c1c1c9bdd9959
000013cb: PUSH1 0xc2
000013cd: SHL
000013ce: PUSH1 0x64
000013d0: DUP3
000013d1: ADD
000013d2: MSTORE
000013d3: PUSH1 0x84
000013d5: ADD
000013d6: PUSH2 0x03b6
000013d9: JUMP
000013da: JUMPDEST
000013db: DUP1
000013dc: PUSH2 0x13e4
000013df: DUP2
000013e0: PUSH2 0x19ef
000013e3: JUMP
000013e4: JUMPDEST
000013e5: SWAP2
000013e6: POP
000013e7: POP
000013e8: PUSH2 0x133c
000013eb: JUMP
000013ec: JUMPDEST
000013ed: POP
000013ee: PUSH1 0x03
000013f0: DUP2
000013f1: ADD
000013f2: DUP1
000013f3: SLOAD
000013f4: PUSH1 0x01
000013f6: DUP1
000013f7: DUP3
000013f8: ADD
000013f9: DUP4
000013fa: SSTORE
000013fb: PUSH1 0x00
000013fd: SWAP3
000013fe: DUP4
000013ff: MSTORE
00001400: PUSH1 0x20
00001402: DUP4
00001403: KECCAK256
00001404: SWAP1
00001405: SWAP2
00001406: ADD
00001407: DUP1
00001408: SLOAD
00001409: PUSH1 0x01
0000140b: PUSH1 0x01
0000140d: PUSH1 0xa0
0000140f: SHL
00001410: SUB
00001411: NOT
00001412: AND
00001413: CALLER
00001414: OR
00001415: SWAP1
00001416: SSTORE
00001417: PUSH1 0x02
00001419: DUP4
0000141a: ADD
0000141b: SLOAD
0000141c: SWAP1
0000141d: DUP4
0000141e: ADD
0000141f: SLOAD
00001420: PUSH1 0x40
00001422: MLOAD
00001423: DUP6
00001424: SWAP4
00001425: PUSH1 0x01
00001427: PUSH1 0x01
00001429: PUSH1 0xa0
0000142b: SHL
0000142c: SUB
0000142d: SWAP4
0000142e: DUP5
0000142f: AND
00001430: SWAP4
00001431: SWAP3
00001432: SWAP1
00001433: SWAP3
00001434: AND
00001435: SWAP2
00001436: PUSH32 0xd48d302507de5112c21f5f387d0356d5554d046ff145e7aeaaf470f154b1f4f6
00001457: SWAP2
00001458: LOG4
00001459: POP
0000145a: POP
0000145b: JUMP
0000145c: JUMPDEST
0000145d: PUSH1 0x01
0000145f: PUSH1 0x01
00001461: PUSH1 0xa0
00001463: SHL
00001464: SUB
00001465: DUP4
00001466: AND
00001467: PUSH1 0x00
00001469: SWAP1
0000146a: DUP2
0000146b: MSTORE
0000146c: PUSH1 0x07
0000146e: PUSH1 0x20
00001470: SWAP1
00001471: DUP2
00001472: MSTORE
00001473: PUSH1 0x40
00001475: DUP1
00001476: DUP4
00001477: KECCAK256
00001478: SLOAD
00001479: DUP4
0000147a: SLOAD
0000147b: DUP2
0000147c: DUP6
0000147d: MSTORE
0000147e: PUSH1 0x02
00001480: SWAP1
00001481: SWAP4
00001482: MSTORE
00001483: SWAP1
00001484: DUP4
00001485: KECCAK256
00001486: SLOAD
00001487: SWAP1
00001488: SWAP2
00001489: DUP5
0000148a: SWAP2
0000148b: PUSH2 0x1494
0000148e: SWAP1
0000148f: DUP8
00001490: PUSH2 0x1a08
00001493: JUMP
00001494: JUMPDEST
00001495: PUSH2 0x149e
00001498: SWAP2
00001499: SWAP1
0000149a: PUSH2 0x1a1f
0000149d: JUMP
0000149e: JUMPDEST
0000149f: PUSH2 0x14a8
000014a2: SWAP2
000014a3: SWAP1
000014a4: PUSH2 0x1a41
000014a7: JUMP
000014a8: JUMPDEST
000014a9: SWAP2
000014aa: POP
000014ab: POP
000014ac: JUMPDEST
000014ad: SWAP4
000014ae: SWAP3
000014af: POP
000014b0: POP
000014b1: POP
000014b2: JUMP
000014b3: JUMPDEST
000014b4: DUP1
000014b5: SELFBALANCE
000014b6: LT
000014b7: ISZERO
000014b8: PUSH2 0x1503
000014bb: JUMPI
000014bc: PUSH1 0x40
000014be: MLOAD
000014bf: PUSH3 0x461bcd
000014c3: PUSH1 0xe5
000014c5: SHL
000014c6: DUP2
000014c7: MSTORE
000014c8: PUSH1 0x20
000014ca: PUSH1 0x04
000014cc: DUP3
000014cd: ADD
000014ce: MSTORE
000014cf: PUSH1 0x1d
000014d1: PUSH1 0x24
000014d3: DUP3
000014d4: ADD
000014d5: MSTORE
000014d6: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e6365000000
000014f7: PUSH1 0x44
000014f9: DUP3
000014fa: ADD
000014fb: MSTORE
000014fc: PUSH1 0x64
000014fe: ADD
000014ff: PUSH2 0x03b6
00001502: JUMP
00001503: JUMPDEST
00001504: PUSH1 0x00
00001506: DUP3
00001507: PUSH1 0x01
00001509: PUSH1 0x01
0000150b: PUSH1 0xa0
0000150d: SHL
0000150e: SUB
0000150f: AND
00001510: DUP3
00001511: PUSH1 0x40
00001513: MLOAD
00001514: PUSH1 0x00
00001516: PUSH1 0x40
00001518: MLOAD
00001519: DUP1
0000151a: DUP4
0000151b: SUB
0000151c: DUP2
0000151d: DUP6
0000151e: DUP8
0000151f: GAS
00001520: CALL
00001521: SWAP3
00001522: POP
00001523: POP
00001524: POP
00001525: RETURNDATASIZE
00001526: DUP1
00001527: PUSH1 0x00
00001529: DUP2
0000152a: EQ
0000152b: PUSH2 0x1550
0000152e: JUMPI
0000152f: PUSH1 0x40
00001531: MLOAD
00001532: SWAP2
00001533: POP
00001534: PUSH1 0x1f
00001536: NOT
00001537: PUSH1 0x3f
00001539: RETURNDATASIZE
0000153a: ADD
0000153b: AND
0000153c: DUP3
0000153d: ADD
0000153e: PUSH1 0x40
00001540: MSTORE
00001541: RETURNDATASIZE
00001542: DUP3
00001543: MSTORE
00001544: RETURNDATASIZE
00001545: PUSH1 0x00
00001547: PUSH1 0x20
00001549: DUP5
0000154a: ADD
0000154b: RETURNDATACOPY
0000154c: PUSH2 0x1555
0000154f: JUMP
00001550: JUMPDEST
00001551: PUSH1 0x60
00001553: SWAP2
00001554: POP
00001555: JUMPDEST
00001556: POP
00001557: POP
00001558: SWAP1
00001559: POP
0000155a: DUP1
0000155b: PUSH2 0x15cc
0000155e: JUMPI
0000155f: PUSH1 0x40
00001561: MLOAD
00001562: PUSH3 0x461bcd
00001566: PUSH1 0xe5
00001568: SHL
00001569: DUP2
0000156a: MSTORE
0000156b: PUSH1 0x20
0000156d: PUSH1 0x04
0000156f: DUP3
00001570: ADD
00001571: MSTORE
00001572: PUSH1 0x3a
00001574: PUSH1 0x24
00001576: DUP3
00001577: ADD
00001578: MSTORE
00001579: PUSH32 0x416464726573733a20756e61626c6520746f2073656e642076616c75652c2072
0000159a: PUSH1 0x44
0000159c: DUP3
0000159d: ADD
0000159e: MSTORE
0000159f: PUSH32 0x6563697069656e74206d61792068617665207265766572746564000000000000
000015c0: PUSH1 0x64
000015c2: DUP3
000015c3: ADD
000015c4: MSTORE
000015c5: PUSH1 0x84
000015c7: ADD
000015c8: PUSH2 0x03b6
000015cb: JUMP
000015cc: JUMPDEST
000015cd: POP
000015ce: POP
000015cf: POP
000015d0: JUMP
000015d1: JUMPDEST
000015d2: PUSH1 0x40
000015d4: DUP1
000015d5: MLOAD
000015d6: PUSH1 0x01
000015d8: PUSH1 0x01
000015da: PUSH1 0xa0
000015dc: SHL
000015dd: SUB
000015de: DUP5
000015df: DUP2
000015e0: AND
000015e1: PUSH1 0x24
000015e3: DUP4
000015e4: ADD
000015e5: MSTORE
000015e6: PUSH1 0x44
000015e8: DUP1
000015e9: DUP4
000015ea: ADD
000015eb: DUP6
000015ec: SWAP1
000015ed: MSTORE
000015ee: DUP4
000015ef: MLOAD
000015f0: DUP1
000015f1: DUP5
000015f2: SUB
000015f3: SWAP1
000015f4: SWAP2
000015f5: ADD
000015f6: DUP2
000015f7: MSTORE
000015f8: PUSH1 0x64
000015fa: SWAP1
000015fb: SWAP3
000015fc: ADD
000015fd: DUP4
000015fe: MSTORE
000015ff: PUSH1 0x20
00001601: DUP1
00001602: DUP4
00001603: ADD
00001604: DUP1
00001605: MLOAD
00001606: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001623: AND
00001624: PUSH4 0xa9059cbb
00001629: PUSH1 0xe0
0000162b: SHL
0000162c: OR
0000162d: SWAP1
0000162e: MSTORE
0000162f: DUP4
00001630: MLOAD
00001631: DUP1
00001632: DUP6
00001633: ADD
00001634: SWAP1
00001635: SWAP5
00001636: MSTORE
00001637: DUP1
00001638: DUP5
00001639: MSTORE
0000163a: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564
0000165b: SWAP1
0000165c: DUP5
0000165d: ADD
0000165e: MSTORE
0000165f: PUSH2 0x15cc
00001662: SWAP3
00001663: DUP7
00001664: SWAP3
00001665: SWAP2
00001666: PUSH1 0x00
00001668: SWAP2
00001669: PUSH2 0x1676
0000166c: SWAP2
0000166d: DUP6
0000166e: AND
0000166f: SWAP1
00001670: DUP5
00001671: SWAP1
00001672: PUSH2 0x16f3
00001675: JUMP
00001676: JUMPDEST
00001677: DUP1
00001678: MLOAD
00001679: SWAP1
0000167a: SWAP2
0000167b: POP
0000167c: ISZERO
0000167d: PUSH2 0x15cc
00001680: JUMPI
00001681: DUP1
00001682: DUP1
00001683: PUSH1 0x20
00001685: ADD
00001686: SWAP1
00001687: MLOAD
00001688: DUP2
00001689: ADD
0000168a: SWAP1
0000168b: PUSH2 0x1694
0000168e: SWAP2
0000168f: SWAP1
00001690: PUSH2 0x1a54
00001693: JUMP
00001694: JUMPDEST
00001695: PUSH2 0x15cc
00001698: JUMPI
00001699: PUSH1 0x40
0000169b: MLOAD
0000169c: PUSH3 0x461bcd
000016a0: PUSH1 0xe5
000016a2: SHL
000016a3: DUP2
000016a4: MSTORE
000016a5: PUSH1 0x20
000016a7: PUSH1 0x04
000016a9: DUP3
000016aa: ADD
000016ab: MSTORE
000016ac: PUSH1 0x2a
000016ae: PUSH1 0x24
000016b0: DUP3
000016b1: ADD
000016b2: MSTORE
000016b3: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e
000016d4: PUSH1 0x44
000016d6: DUP3
000016d7: ADD
000016d8: MSTORE
000016d9: PUSH10 0x1bdd081cdd58d8d95959
000016e4: PUSH1 0xb2
000016e6: SHL
000016e7: PUSH1 0x64
000016e9: DUP3
000016ea: ADD
000016eb: MSTORE
000016ec: PUSH1 0x84
000016ee: ADD
000016ef: PUSH2 0x03b6
000016f2: JUMP
000016f3: JUMPDEST
000016f4: PUSH1 0x60
000016f6: PUSH2 0x0fd3
000016f9: DUP5
000016fa: DUP5
000016fb: PUSH1 0x00
000016fd: DUP6
000016fe: DUP6
000016ff: PUSH1 0x01
00001701: PUSH1 0x01
00001703: PUSH1 0xa0
00001705: SHL
00001706: SUB
00001707: DUP6
00001708: AND
00001709: EXTCODESIZE
0000170a: PUSH2 0x1755
0000170d: JUMPI
0000170e: PUSH1 0x40
00001710: MLOAD
00001711: PUSH3 0x461bcd
00001715: PUSH1 0xe5
00001717: SHL
00001718: DUP2
00001719: MSTORE
0000171a: PUSH1 0x20
0000171c: PUSH1 0x04
0000171e: DUP3
0000171f: ADD
00001720: MSTORE
00001721: PUSH1 0x1d
00001723: PUSH1 0x24
00001725: DUP3
00001726: ADD
00001727: MSTORE
00001728: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000
00001749: PUSH1 0x44
0000174b: DUP3
0000174c: ADD
0000174d: MSTORE
0000174e: PUSH1 0x64
00001750: ADD
00001751: PUSH2 0x03b6
00001754: JUMP
00001755: JUMPDEST
00001756: PUSH1 0x00
00001758: DUP1
00001759: DUP7
0000175a: PUSH1 0x01
0000175c: PUSH1 0x01
0000175e: PUSH1 0xa0
00001760: SHL
00001761: SUB
00001762: AND
00001763: DUP6
00001764: DUP8
00001765: PUSH1 0x40
00001767: MLOAD
00001768: PUSH2 0x1771
0000176b: SWAP2
0000176c: SWAP1
0000176d: PUSH2 0x1a9a
00001770: JUMP
00001771: JUMPDEST
00001772: PUSH1 0x00
00001774: PUSH1 0x40
00001776: MLOAD
00001777: DUP1
00001778: DUP4
00001779: SUB
0000177a: DUP2
0000177b: DUP6
0000177c: DUP8
0000177d: GAS
0000177e: CALL
0000177f: SWAP3
00001780: POP
00001781: POP
00001782: POP
00001783: RETURNDATASIZE
00001784: DUP1
00001785: PUSH1 0x00
00001787: DUP2
00001788: EQ
00001789: PUSH2 0x17ae
0000178c: JUMPI
0000178d: PUSH1 0x40
0000178f: MLOAD
00001790: SWAP2
00001791: POP
00001792: PUSH1 0x1f
00001794: NOT
00001795: PUSH1 0x3f
00001797: RETURNDATASIZE
00001798: ADD
00001799: AND
0000179a: DUP3
0000179b: ADD
0000179c: PUSH1 0x40
0000179e: MSTORE
0000179f: RETURNDATASIZE
000017a0: DUP3
000017a1: MSTORE
000017a2: RETURNDATASIZE
000017a3: PUSH1 0x00
000017a5: PUSH1 0x20
000017a7: DUP5
000017a8: ADD
000017a9: RETURNDATACOPY
000017aa: PUSH2 0x17b3
000017ad: JUMP
000017ae: JUMPDEST
000017af: PUSH1 0x60
000017b1: SWAP2
000017b2: POP
000017b3: JUMPDEST
000017b4: POP
000017b5: SWAP2
000017b6: POP
000017b7: SWAP2
000017b8: POP
000017b9: PUSH2 0x17c3
000017bc: DUP3
000017bd: DUP3
000017be: DUP7
000017bf: PUSH2 0x17ce
000017c2: JUMP
000017c3: JUMPDEST
000017c4: SWAP8
000017c5: SWAP7
000017c6: POP
000017c7: POP
000017c8: POP
000017c9: POP
000017ca: POP
000017cb: POP
000017cc: POP
000017cd: JUMP
000017ce: JUMPDEST
000017cf: PUSH1 0x60
000017d1: DUP4
000017d2: ISZERO
000017d3: PUSH2 0x17dd
000017d6: JUMPI
000017d7: POP
000017d8: DUP2
000017d9: PUSH2 0x14ac
000017dc: JUMP
000017dd: JUMPDEST
000017de: DUP3
000017df: MLOAD
000017e0: ISZERO
000017e1: PUSH2 0x17ed
000017e4: JUMPI
000017e5: DUP3
000017e6: MLOAD
000017e7: DUP1
000017e8: DUP5
000017e9: PUSH1 0x20
000017eb: ADD
000017ec: REVERT
000017ed: JUMPDEST
000017ee: DUP2
000017ef: PUSH1 0x40
000017f1: MLOAD
000017f2: PUSH3 0x461bcd
000017f6: PUSH1 0xe5
000017f8: SHL
000017f9: DUP2
000017fa: MSTORE
000017fb: PUSH1 0x04
000017fd: ADD
000017fe: PUSH2 0x03b6
00001801: SWAP2
00001802: SWAP1
00001803: PUSH2 0x1ab6
00001806: JUMP
00001807: JUMPDEST
00001808: DUP3
00001809: DUP1
0000180a: SLOAD
0000180b: DUP3
0000180c: DUP3
0000180d: SSTORE
0000180e: SWAP1
0000180f: PUSH1 0x00
00001811: MSTORE
00001812: PUSH1 0x20
00001814: PUSH1 0x00
00001816: KECCAK256
00001817: SWAP1
00001818: DUP2
00001819: ADD
0000181a: SWAP3
0000181b: DUP3
0000181c: ISZERO
0000181d: PUSH2 0x185c
00001820: JUMPI
00001821: SWAP2
00001822: PUSH1 0x20
00001824: MUL
00001825: DUP3
00001826: ADD
00001827: JUMPDEST
00001828: DUP3
00001829: DUP2
0000182a: GT
0000182b: ISZERO
0000182c: PUSH2 0x185c
0000182f: JUMPI
00001830: DUP3
00001831: MLOAD
00001832: DUP3
00001833: SLOAD
00001834: PUSH1 0x01
00001836: PUSH1 0x01
00001838: PUSH1 0xa0
0000183a: SHL
0000183b: SUB
0000183c: NOT
0000183d: AND
0000183e: PUSH1 0x01
00001840: PUSH1 0x01
00001842: PUSH1 0xa0
00001844: SHL
00001845: SUB
00001846: SWAP1
00001847: SWAP2
00001848: AND
00001849: OR
0000184a: DUP3
0000184b: SSTORE
0000184c: PUSH1 0x20
0000184e: SWAP1
0000184f: SWAP3
00001850: ADD
00001851: SWAP2
00001852: PUSH1 0x01
00001854: SWAP1
00001855: SWAP2
00001856: ADD
00001857: SWAP1
00001858: PUSH2 0x1827
0000185b: JUMP
0000185c: JUMPDEST
0000185d: POP
0000185e: PUSH2 0x1868
00001861: SWAP3
00001862: SWAP2
00001863: POP
00001864: PUSH2 0x186c
00001867: JUMP
00001868: JUMPDEST
00001869: POP
0000186a: SWAP1
0000186b: JUMP
0000186c: JUMPDEST
0000186d: JUMPDEST
0000186e: DUP1
0000186f: DUP3
00001870: GT
00001871: ISZERO
00001872: PUSH2 0x1868
00001875: JUMPI
00001876: PUSH1 0x00
00001878: DUP2
00001879: SSTORE
0000187a: PUSH1 0x01
0000187c: ADD
0000187d: PUSH2 0x186d
00001880: JUMP
00001881: JUMPDEST
00001882: PUSH1 0x01
00001884: PUSH1 0x01
00001886: PUSH1 0xa0
00001888: SHL
00001889: SUB
0000188a: DUP2
0000188b: AND
0000188c: DUP2
0000188d: EQ
0000188e: PUSH2 0x1896
00001891: JUMPI
00001892: PUSH1 0x00
00001894: DUP1
00001895: REVERT
00001896: JUMPDEST
00001897: POP
00001898: JUMP
00001899: JUMPDEST
0000189a: PUSH1 0x00
0000189c: DUP1
0000189d: PUSH1 0x40
0000189f: DUP4
000018a0: DUP6
000018a1: SUB
000018a2: SLT
000018a3: ISZERO
000018a4: PUSH2 0x18ac
000018a7: JUMPI
000018a8: PUSH1 0x00
000018aa: DUP1
000018ab: REVERT
000018ac: JUMPDEST
000018ad: DUP3
000018ae: CALLDATALOAD
000018af: PUSH2 0x18b7
000018b2: DUP2
000018b3: PUSH2 0x1881
000018b6: JUMP
000018b7: JUMPDEST
000018b8: SWAP2
000018b9: POP
000018ba: PUSH1 0x20
000018bc: DUP4
000018bd: ADD
000018be: CALLDATALOAD
000018bf: PUSH2 0x18c7
000018c2: DUP2
000018c3: PUSH2 0x1881
000018c6: JUMP
000018c7: JUMPDEST
000018c8: DUP1
000018c9: SWAP2
000018ca: POP
000018cb: POP
000018cc: SWAP3
000018cd: POP
000018ce: SWAP3
000018cf: SWAP1
000018d0: POP
000018d1: JUMP
000018d2: JUMPDEST
000018d3: PUSH1 0x00
000018d5: PUSH1 0x20
000018d7: DUP3
000018d8: DUP5
000018d9: SUB
000018da: SLT
000018db: ISZERO
000018dc: PUSH2 0x18e4
000018df: JUMPI
000018e0: PUSH1 0x00
000018e2: DUP1
000018e3: REVERT
000018e4: JUMPDEST
000018e5: POP
000018e6: CALLDATALOAD
000018e7: SWAP2
000018e8: SWAP1
000018e9: POP
000018ea: JUMP
000018eb: JUMPDEST
000018ec: PUSH1 0x00
000018ee: PUSH1 0x20
000018f0: DUP3
000018f1: DUP5
000018f2: SUB
000018f3: SLT
000018f4: ISZERO
000018f5: PUSH2 0x18fd
000018f8: JUMPI
000018f9: PUSH1 0x00
000018fb: DUP1
000018fc: REVERT
000018fd: JUMPDEST
000018fe: DUP2
000018ff: CALLDATALOAD
00001900: PUSH2 0x14ac
00001903: DUP2
00001904: PUSH2 0x1881
00001907: JUMP
00001908: JUMPDEST
00001909: PUSH1 0x00
0000190b: PUSH1 0x20
0000190d: DUP1
0000190e: DUP4
0000190f: MSTORE
00001910: PUSH1 0xc0
00001912: DUP4
00001913: ADD
00001914: PUSH1 0x01
00001916: PUSH1 0x01
00001918: PUSH1 0xa0
0000191a: SHL
0000191b: SUB
0000191c: DUP1
0000191d: DUP7
0000191e: MLOAD
0000191f: AND
00001920: DUP4
00001921: DUP7
00001922: ADD
00001923: MSTORE
00001924: DUP1
00001925: DUP4
00001926: DUP8
00001927: ADD
00001928: MLOAD
00001929: AND
0000192a: PUSH1 0x40
0000192c: DUP7
0000192d: ADD
0000192e: MSTORE
0000192f: DUP1
00001930: PUSH1 0x40
00001932: DUP8
00001933: ADD
00001934: MLOAD
00001935: AND
00001936: PUSH1 0x60
00001938: DUP7
00001939: ADD
0000193a: MSTORE
0000193b: PUSH1 0x60
0000193d: DUP7
0000193e: ADD
0000193f: MLOAD
00001940: PUSH1 0xa0
00001942: PUSH1 0x80
00001944: DUP8
00001945: ADD
00001946: MSTORE
00001947: DUP3
00001948: DUP2
00001949: MLOAD
0000194a: DUP1
0000194b: DUP6
0000194c: MSTORE
0000194d: PUSH1 0xe0
0000194f: DUP9
00001950: ADD
00001951: SWAP2
00001952: POP
00001953: DUP6
00001954: DUP4
00001955: ADD
00001956: SWAP5
00001957: POP
00001958: PUSH1 0x00
0000195a: SWAP3
0000195b: POP
0000195c: JUMPDEST
0000195d: DUP1
0000195e: DUP4
0000195f: LT
00001960: ISZERO
00001961: PUSH2 0x197e
00001964: JUMPI
00001965: DUP5
00001966: MLOAD
00001967: DUP5
00001968: AND
00001969: DUP3
0000196a: MSTORE
0000196b: SWAP4
0000196c: DUP6
0000196d: ADD
0000196e: SWAP4
0000196f: PUSH1 0x01
00001971: SWAP3
00001972: SWAP1
00001973: SWAP3
00001974: ADD
00001975: SWAP2
00001976: SWAP1
00001977: DUP6
00001978: ADD
00001979: SWAP1
0000197a: PUSH2 0x195c
0000197d: JUMP
0000197e: JUMPDEST
0000197f: POP
00001980: PUSH1 0x80
00001982: DUP9
00001983: ADD
00001984: MLOAD
00001985: PUSH1 0xa0
00001987: DUP9
00001988: ADD
00001989: MSTORE
0000198a: DUP1
0000198b: SWAP6
0000198c: POP
0000198d: POP
0000198e: POP
0000198f: POP
00001990: POP
00001991: POP
00001992: SWAP3
00001993: SWAP2
00001994: POP
00001995: POP
00001996: JUMP
00001997: JUMPDEST
00001998: PUSH4 0x4e487b71
0000199d: PUSH1 0xe0
0000199f: SHL
000019a0: PUSH1 0x00
000019a2: MSTORE
000019a3: PUSH1 0x32
000019a5: PUSH1 0x04
000019a7: MSTORE
000019a8: PUSH1 0x24
000019aa: PUSH1 0x00
000019ac: REVERT
000019ad: JUMPDEST
000019ae: PUSH4 0x4e487b71
000019b3: PUSH1 0xe0
000019b5: SHL
000019b6: PUSH1 0x00
000019b8: MSTORE
000019b9: PUSH1 0x11
000019bb: PUSH1 0x04
000019bd: MSTORE
000019be: PUSH1 0x24
000019c0: PUSH1 0x00
000019c2: REVERT
000019c3: JUMPDEST
000019c4: DUP1
000019c5: DUP3
000019c6: ADD
000019c7: DUP1
000019c8: DUP3
000019c9: GT
000019ca: ISZERO
000019cb: PUSH2 0x0c31
000019ce: JUMPI
000019cf: PUSH2 0x0c31
000019d2: PUSH2 0x19ad
000019d5: JUMP
000019d6: JUMPDEST
000019d7: PUSH1 0x00
000019d9: PUSH1 0x20
000019db: DUP3
000019dc: DUP5
000019dd: SUB
000019de: SLT
000019df: ISZERO
000019e0: PUSH2 0x19e8
000019e3: JUMPI
000019e4: PUSH1 0x00
000019e6: DUP1
000019e7: REVERT
000019e8: JUMPDEST
000019e9: POP
000019ea: MLOAD
000019eb: SWAP2
000019ec: SWAP1
000019ed: POP
000019ee: JUMP
000019ef: JUMPDEST
000019f0: PUSH1 0x00
000019f2: PUSH1 0x01
000019f4: DUP3
000019f5: ADD
000019f6: PUSH2 0x1a01
000019f9: JUMPI
000019fa: PUSH2 0x1a01
000019fd: PUSH2 0x19ad
00001a00: JUMP
00001a01: JUMPDEST
00001a02: POP
00001a03: PUSH1 0x01
00001a05: ADD
00001a06: SWAP1
00001a07: JUMP
00001a08: JUMPDEST
00001a09: DUP1
00001a0a: DUP3
00001a0b: MUL
00001a0c: DUP2
00001a0d: ISZERO
00001a0e: DUP3
00001a0f: DUP3
00001a10: DIV
00001a11: DUP5
00001a12: EQ
00001a13: OR
00001a14: PUSH2 0x0c31
00001a17: JUMPI
00001a18: PUSH2 0x0c31
00001a1b: PUSH2 0x19ad
00001a1e: JUMP
00001a1f: JUMPDEST
00001a20: PUSH1 0x00
00001a22: DUP3
00001a23: PUSH2 0x1a3c
00001a26: JUMPI
00001a27: PUSH4 0x4e487b71
00001a2c: PUSH1 0xe0
00001a2e: SHL
00001a2f: PUSH1 0x00
00001a31: MSTORE
00001a32: PUSH1 0x12
00001a34: PUSH1 0x04
00001a36: MSTORE
00001a37: PUSH1 0x24
00001a39: PUSH1 0x00
00001a3b: REVERT
00001a3c: JUMPDEST
00001a3d: POP
00001a3e: DIV
00001a3f: SWAP1
00001a40: JUMP
00001a41: JUMPDEST
00001a42: DUP2
00001a43: DUP2
00001a44: SUB
00001a45: DUP2
00001a46: DUP2
00001a47: GT
00001a48: ISZERO
00001a49: PUSH2 0x0c31
00001a4c: JUMPI
00001a4d: PUSH2 0x0c31
00001a50: PUSH2 0x19ad
00001a53: JUMP
00001a54: JUMPDEST
00001a55: PUSH1 0x00
00001a57: PUSH1 0x20
00001a59: DUP3
00001a5a: DUP5
00001a5b: SUB
00001a5c: SLT
00001a5d: ISZERO
00001a5e: PUSH2 0x1a66
00001a61: JUMPI
00001a62: PUSH1 0x00
00001a64: DUP1
00001a65: REVERT
00001a66: JUMPDEST
00001a67: DUP2
00001a68: MLOAD
00001a69: DUP1
00001a6a: ISZERO
00001a6b: ISZERO
00001a6c: DUP2
00001a6d: EQ
00001a6e: PUSH2 0x14ac
00001a71: JUMPI
00001a72: PUSH1 0x00
00001a74: DUP1
00001a75: REVERT
00001a76: JUMPDEST
00001a77: PUSH1 0x00
00001a79: JUMPDEST
00001a7a: DUP4
00001a7b: DUP2
00001a7c: LT
00001a7d: ISZERO
00001a7e: PUSH2 0x1a91
00001a81: JUMPI
00001a82: DUP2
00001a83: DUP2
00001a84: ADD
00001a85: MLOAD
00001a86: DUP4
00001a87: DUP3
00001a88: ADD
00001a89: MSTORE
00001a8a: PUSH1 0x20
00001a8c: ADD
00001a8d: PUSH2 0x1a79
00001a90: JUMP
00001a91: JUMPDEST
00001a92: POP
00001a93: POP
00001a94: PUSH1 0x00
00001a96: SWAP2
00001a97: ADD
00001a98: MSTORE
00001a99: JUMP
00001a9a: JUMPDEST
00001a9b: PUSH1 0x00
00001a9d: DUP3
00001a9e: MLOAD
00001a9f: PUSH2 0x1aac
00001aa2: DUP2
00001aa3: DUP5
00001aa4: PUSH1 0x20
00001aa6: DUP8
00001aa7: ADD
00001aa8: PUSH2 0x1a76
00001aab: JUMP
00001aac: JUMPDEST
00001aad: SWAP2
00001aae: SWAP1
00001aaf: SWAP2
00001ab0: ADD
00001ab1: SWAP3
00001ab2: SWAP2
00001ab3: POP
00001ab4: POP
00001ab5: JUMP
00001ab6: JUMPDEST
00001ab7: PUSH1 0x20
00001ab9: DUP2
00001aba: MSTORE
00001abb: PUSH1 0x00
00001abd: DUP3
00001abe: MLOAD
00001abf: DUP1
00001ac0: PUSH1 0x20
00001ac2: DUP5
00001ac3: ADD
00001ac4: MSTORE
00001ac5: PUSH2 0x1ad5
00001ac8: DUP2
00001ac9: PUSH1 0x40
00001acb: DUP6
00001acc: ADD
00001acd: PUSH1 0x20
00001acf: DUP8
00001ad0: ADD
00001ad1: PUSH2 0x1a76
00001ad4: JUMP
00001ad5: JUMPDEST
00001ad6: PUSH1 0x1f
00001ad8: ADD
00001ad9: PUSH1 0x1f
00001adb: NOT
00001adc: AND
00001add: SWAP2
00001ade: SWAP1
00001adf: SWAP2
00001ae0: ADD
00001ae1: PUSH1 0x40
00001ae3: ADD
00001ae4: SWAP3
00001ae5: SWAP2
00001ae6: POP
00001ae7: POP
00001ae8: JUMP
00001ae9: INVALID
00001aea: LOG2
00001aeb: PUSH5 0x6970667358
00001af1: UNKNOWN(0x22)
00001af2: SLT
00001af3: KECCAK256
00001af4: UNKNOWN(0x4B)
00001af5: DUP1
00001af6: UNKNOWN(0xBE)
00001af7: UNKNOWN(0xB1)
00001af8: CODESIZE
00001af9: DUP9
00001afa: UNKNOWN(0xC9)
00001afb: UNKNOWN(0xA7)
00001afc: UNKNOWN(0xB7)
00001afd: UNKNOWN(0xDE)
00001afe: SGT
00001aff: SWAP14
00001b00: PUSH12 0xf562955735f5d5ec2e62338e
00001b0d: MSTORE
00001b0e: UNKNOWN(0xB5)
00001b0f: MCOPY
00001b10: SWAP12
00001b11: UNKNOWN(0xB7)
00001b12: SIGNEXTEND
00001b13: TSTORE
00001b14: PUSH5 0x736f6c6343
00001b1a: STOP
00001b1b: ADDMOD
00001b1c: GT
00001b1d: STOP
00001b1e: CALLER
Findings

validated = confirmed for call sinks; sink observed for others
Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
high	other	detector	Untrusted CALL target/value reachable	60	no	no	view trace_id: 0x962eb74b6b48d054761e6c3af974fca254f1f2392060acf4ece3e6dccd5682c6 call_targets: 0xd808cf7b86272aa3e12dce6a4e6f1d0e4b636456 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x962eb74b6b48d054761e6c3af974fca254f1f2392060acf4ece3e6dccd5682c6", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xd808cf7b86272aa3e12dce6a4e6f1d0e4b636456" ], "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": "0xce7c2ac2", "selector": "0xce7c2ac2", "calldata_variants": [ "0xce7c2ac2", "0xce7c2ac20000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd79779b2", "selector": "0xd79779b2", "calldata_variants": [ "0xd79779b2", "0xd79779b20000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe33b7de3", "selector": "0xe33b7de3", "calldata_variants": [ "0xe33b7de3", "0xe33b7de30000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf8509284", "selector": "0xf8509284", "calldata_variants": [ "0xf8509284", "0xf85092840000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x4bee57c8", "selector": "0x4bee57c8", "calldata_variants": [ "0x4bee57c8", "0x4bee57c80000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x616b617a", "selector": "0x616b617a", "calldata_variants": [ "0x616b617a", "0x616b617a0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x8b83209b", "selector": "0x8b83209b", "calldata_variants": [ "0x8b83209b", "0x8b83209b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x9852595c", "selector": "0x9852595c", "calldata_variants": [ "0x9852595c", "0x9852595c0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 5408, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 6014, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 2, "guards_detected": [], "untrusted_call_count": 2 }
high	other	detector	ETH value transfer possible	55	no	no	view trace_id: 0x962eb74b6b48d054761e6c3af974fca254f1f2392060acf4ece3e6dccd5682c6 call_targets: 0xd808cf7b86272aa3e12dce6a4e6f1d0e4b636456 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x962eb74b6b48d054761e6c3af974fca254f1f2392060acf4ece3e6dccd5682c6", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xd808cf7b86272aa3e12dce6a4e6f1d0e4b636456" ], "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": "0xce7c2ac2", "selector": "0xce7c2ac2", "calldata_variants": [ "0xce7c2ac2", "0xce7c2ac20000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd79779b2", "selector": "0xd79779b2", "calldata_variants": [ "0xd79779b2", "0xd79779b20000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe33b7de3", "selector": "0xe33b7de3", "calldata_variants": [ "0xe33b7de3", "0xe33b7de30000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf8509284", "selector": "0xf8509284", "calldata_variants": [ "0xf8509284", "0xf85092840000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x4bee57c8", "selector": "0x4bee57c8", "calldata_variants": [ "0x4bee57c8", "0x4bee57c80000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x616b617a", "selector": "0x616b617a", "calldata_variants": [ "0x616b617a", "0x616b617a0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x8b83209b", "selector": "0x8b83209b", "calldata_variants": [ "0x8b83209b", "0x8b83209b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x9852595c", "selector": "0x9852595c", "calldata_variants": [ "0x9852595c", "0x9852595c0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 5408, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 6014, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 2, "guards_detected": [] }
Severity