Analysis Run

019b477e-aa89-714c-ac66-5a3515bafe91
complete
Chain ID
1
Address
0xc87b1bf162c1719e3ffdf34995d1853192d6633b
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
Bytecode only
Review Backing
Not yet
Best current signal
Untrusted CALL target/value reachable
crit 0 high 0 direct contract
Review Checklist
1. Read the findings table first. Ignore raw jobs until the result looks real.
2. Confirm attacker control, not just the existence of a sink.
3. Confirm money or privilege impact.
4. Keep it if the behavior is real. Kill it if this is normal proxy, admin, or upgrade plumbing.
Processing Jobs

Status & attempts
ID	Type	Status	Attempts	Heartbeat
20847	artifact.fetch	complete	1 / 3	3 months ago
20848	tool.cast_disasm	complete	1 / 3	3 months ago
64230	analysis.bundle	complete	1 / 3	2 weeks ago
64231	capability.graph	complete	1 / 3	2 weeks ago
64232	detector.run	complete	1 / 3	2 weeks ago
64233	validation.fork	complete	1 / 3	2 weeks ago
Artifact

Runtime bytecode: available
Creation TX: —
Deployer: —
Proxy: no
Implementation:
—
Verified Source: no
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)
1
EXT*/BALANCE
0
Total opcodes
3990
Flags
No heuristic flags raised.
View cast disassembly output
00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLDATASIZE
00000006: ISZERO
00000007: PUSH2 0x011a
0000000a: JUMPI
0000000b: PUSH4 0xffffffff
00000010: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
0000002e: PUSH1 0x00
00000030: CALLDATALOAD
00000031: DIV
00000032: AND
00000033: PUSH4 0x025e7c27
00000038: DUP2
00000039: EQ
0000003a: PUSH2 0x0165
0000003d: JUMPI
0000003e: DUP1
0000003f: PUSH4 0x173825d9
00000044: EQ
00000045: PUSH2 0x0197
00000048: JUMPI
00000049: DUP1
0000004a: PUSH4 0x20ea8d86
0000004f: EQ
00000050: PUSH2 0x01b8
00000053: JUMPI
00000054: DUP1
00000055: PUSH4 0x2f54bf6e
0000005a: EQ
0000005b: PUSH2 0x01d0
0000005e: JUMPI
0000005f: DUP1
00000060: PUSH4 0x3411c81c
00000065: EQ
00000066: PUSH2 0x0203
00000069: JUMPI
0000006a: DUP1
0000006b: PUSH4 0x4c3a6ae0
00000070: EQ
00000071: PUSH2 0x0239
00000074: JUMPI
00000075: DUP1
00000076: PUSH4 0x54741525
0000007b: EQ
0000007c: PUSH2 0x0260
0000007f: JUMPI
00000080: DUP1
00000081: PUSH4 0x7065cb48
00000086: EQ
00000087: PUSH2 0x028f
0000008a: JUMPI
0000008b: DUP1
0000008c: PUSH4 0x784547a7
00000091: EQ
00000092: PUSH2 0x02b0
00000095: JUMPI
00000096: DUP1
00000097: PUSH4 0x8a88c4fe
0000009c: EQ
0000009d: PUSH2 0x02da
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0x8b51d13f
000000a7: EQ
000000a8: PUSH2 0x0304
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0x9ace38c2
000000b2: EQ
000000b3: PUSH2 0x032c
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0xa0e67e2b
000000bd: EQ
000000be: PUSH2 0x03eb
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0xa8abe69a
000000c8: EQ
000000c9: PUSH2 0x0452
000000cc: JUMPI
000000cd: DUP1
000000ce: PUSH4 0xb5dc40c3
000000d3: EQ
000000d4: PUSH2 0x04c9
000000d7: JUMPI
000000d8: DUP1
000000d9: PUSH4 0xb77bf600
000000de: EQ
000000df: PUSH2 0x0533
000000e2: JUMPI
000000e3: DUP1
000000e4: PUSH4 0xba51a6df
000000e9: EQ
000000ea: PUSH2 0x0558
000000ed: JUMPI
000000ee: DUP1
000000ef: PUSH4 0xc01a8c84
000000f4: EQ
000000f5: PUSH2 0x0570
000000f8: JUMPI
000000f9: DUP1
000000fa: PUSH4 0xc6427474
000000ff: EQ
00000100: PUSH2 0x0588
00000103: JUMPI
00000104: DUP1
00000105: PUSH4 0xd74f8edd
0000010a: EQ
0000010b: PUSH2 0x05ff
0000010e: JUMPI
0000010f: DUP1
00000110: PUSH4 0xdc8452cd
00000115: EQ
00000116: PUSH2 0x0624
00000119: JUMPI
0000011a: JUMPDEST
0000011b: JUMPDEST
0000011c: PUSH1 0x00
0000011e: CALLVALUE
0000011f: GT
00000120: ISZERO
00000121: PUSH2 0x0162
00000124: JUMPI
00000125: CALLER
00000126: PUSH1 0x01
00000128: PUSH1 0xa0
0000012a: PUSH1 0x02
0000012c: EXP
0000012d: SUB
0000012e: AND
0000012f: PUSH32 0xe1fffcc4923d04b559f4d29a8bfc6cda04eb5b0d3c460751c2402c5c5cc9109c
00000150: CALLVALUE
00000151: PUSH1 0x40
00000153: MLOAD
00000154: SWAP1
00000155: DUP2
00000156: MSTORE
00000157: PUSH1 0x20
00000159: ADD
0000015a: PUSH1 0x40
0000015c: MLOAD
0000015d: DUP1
0000015e: SWAP2
0000015f: SUB
00000160: SWAP1
00000161: LOG2
00000162: JUMPDEST
00000163: JUMPDEST
00000164: STOP
00000165: JUMPDEST
00000166: CALLVALUE
00000167: ISZERO
00000168: PUSH2 0x0170
0000016b: JUMPI
0000016c: PUSH1 0x00
0000016e: DUP1
0000016f: REVERT
00000170: JUMPDEST
00000171: PUSH2 0x017b
00000174: PUSH1 0x04
00000176: CALLDATALOAD
00000177: PUSH2 0x0649
0000017a: JUMP
0000017b: JUMPDEST
0000017c: PUSH1 0x40
0000017e: MLOAD
0000017f: PUSH1 0x01
00000181: PUSH1 0xa0
00000183: PUSH1 0x02
00000185: EXP
00000186: SUB
00000187: SWAP1
00000188: SWAP2
00000189: AND
0000018a: DUP2
0000018b: MSTORE
0000018c: PUSH1 0x20
0000018e: ADD
0000018f: PUSH1 0x40
00000191: MLOAD
00000192: DUP1
00000193: SWAP2
00000194: SUB
00000195: SWAP1
00000196: RETURN
00000197: JUMPDEST
00000198: CALLVALUE
00000199: ISZERO
0000019a: PUSH2 0x01a2
0000019d: JUMPI
0000019e: PUSH1 0x00
000001a0: DUP1
000001a1: REVERT
000001a2: JUMPDEST
000001a3: PUSH2 0x0162
000001a6: PUSH1 0x01
000001a8: PUSH1 0xa0
000001aa: PUSH1 0x02
000001ac: EXP
000001ad: SUB
000001ae: PUSH1 0x04
000001b0: CALLDATALOAD
000001b1: AND
000001b2: PUSH2 0x067b
000001b5: JUMP
000001b6: JUMPDEST
000001b7: STOP
000001b8: JUMPDEST
000001b9: CALLVALUE
000001ba: ISZERO
000001bb: PUSH2 0x01c3
000001be: JUMPI
000001bf: PUSH1 0x00
000001c1: DUP1
000001c2: REVERT
000001c3: JUMPDEST
000001c4: PUSH2 0x0162
000001c7: PUSH1 0x04
000001c9: CALLDATALOAD
000001ca: PUSH2 0x082c
000001cd: JUMP
000001ce: JUMPDEST
000001cf: STOP
000001d0: JUMPDEST
000001d1: CALLVALUE
000001d2: ISZERO
000001d3: PUSH2 0x01db
000001d6: JUMPI
000001d7: PUSH1 0x00
000001d9: DUP1
000001da: REVERT
000001db: JUMPDEST
000001dc: PUSH2 0x01ef
000001df: PUSH1 0x01
000001e1: PUSH1 0xa0
000001e3: PUSH1 0x02
000001e5: EXP
000001e6: SUB
000001e7: PUSH1 0x04
000001e9: CALLDATALOAD
000001ea: AND
000001eb: PUSH2 0x090e
000001ee: JUMP
000001ef: JUMPDEST
000001f0: PUSH1 0x40
000001f2: MLOAD
000001f3: SWAP1
000001f4: ISZERO
000001f5: ISZERO
000001f6: DUP2
000001f7: MSTORE
000001f8: PUSH1 0x20
000001fa: ADD
000001fb: PUSH1 0x40
000001fd: MLOAD
000001fe: DUP1
000001ff: SWAP2
00000200: SUB
00000201: SWAP1
00000202: RETURN
00000203: JUMPDEST
00000204: CALLVALUE
00000205: ISZERO
00000206: PUSH2 0x020e
00000209: JUMPI
0000020a: PUSH1 0x00
0000020c: DUP1
0000020d: REVERT
0000020e: JUMPDEST
0000020f: PUSH2 0x01ef
00000212: PUSH1 0x04
00000214: CALLDATALOAD
00000215: PUSH1 0x01
00000217: PUSH1 0xa0
00000219: PUSH1 0x02
0000021b: EXP
0000021c: SUB
0000021d: PUSH1 0x24
0000021f: CALLDATALOAD
00000220: AND
00000221: PUSH2 0x0923
00000224: JUMP
00000225: JUMPDEST
00000226: PUSH1 0x40
00000228: MLOAD
00000229: SWAP1
0000022a: ISZERO
0000022b: ISZERO
0000022c: DUP2
0000022d: MSTORE
0000022e: PUSH1 0x20
00000230: ADD
00000231: PUSH1 0x40
00000233: MLOAD
00000234: DUP1
00000235: SWAP2
00000236: SUB
00000237: SWAP1
00000238: RETURN
00000239: JUMPDEST
0000023a: CALLVALUE
0000023b: ISZERO
0000023c: PUSH2 0x0244
0000023f: JUMPI
00000240: PUSH1 0x00
00000242: DUP1
00000243: REVERT
00000244: JUMPDEST
00000245: PUSH2 0x01ef
00000248: PUSH2 0x0943
0000024b: JUMP
0000024c: JUMPDEST
0000024d: PUSH1 0x40
0000024f: MLOAD
00000250: SWAP1
00000251: ISZERO
00000252: ISZERO
00000253: DUP2
00000254: MSTORE
00000255: PUSH1 0x20
00000257: ADD
00000258: PUSH1 0x40
0000025a: MLOAD
0000025b: DUP1
0000025c: SWAP2
0000025d: SUB
0000025e: SWAP1
0000025f: RETURN
00000260: JUMPDEST
00000261: CALLVALUE
00000262: ISZERO
00000263: PUSH2 0x026b
00000266: JUMPI
00000267: PUSH1 0x00
00000269: DUP1
0000026a: REVERT
0000026b: JUMPDEST
0000026c: PUSH2 0x027d
0000026f: PUSH1 0x04
00000271: CALLDATALOAD
00000272: ISZERO
00000273: ISZERO
00000274: PUSH1 0x24
00000276: CALLDATALOAD
00000277: ISZERO
00000278: ISZERO
00000279: PUSH2 0x094c
0000027c: JUMP
0000027d: JUMPDEST
0000027e: PUSH1 0x40
00000280: MLOAD
00000281: SWAP1
00000282: DUP2
00000283: MSTORE
00000284: PUSH1 0x20
00000286: ADD
00000287: PUSH1 0x40
00000289: MLOAD
0000028a: DUP1
0000028b: SWAP2
0000028c: SUB
0000028d: SWAP1
0000028e: RETURN
0000028f: JUMPDEST
00000290: CALLVALUE
00000291: ISZERO
00000292: PUSH2 0x029a
00000295: JUMPI
00000296: PUSH1 0x00
00000298: DUP1
00000299: REVERT
0000029a: JUMPDEST
0000029b: PUSH2 0x0162
0000029e: PUSH1 0x01
000002a0: PUSH1 0xa0
000002a2: PUSH1 0x02
000002a4: EXP
000002a5: SUB
000002a6: PUSH1 0x04
000002a8: CALLDATALOAD
000002a9: AND
000002aa: PUSH2 0x09bb
000002ad: JUMP
000002ae: JUMPDEST
000002af: STOP
000002b0: JUMPDEST
000002b1: CALLVALUE
000002b2: ISZERO
000002b3: PUSH2 0x02bb
000002b6: JUMPI
000002b7: PUSH1 0x00
000002b9: DUP1
000002ba: REVERT
000002bb: JUMPDEST
000002bc: PUSH2 0x01ef
000002bf: PUSH1 0x04
000002c1: CALLDATALOAD
000002c2: PUSH2 0x0af9
000002c5: JUMP
000002c6: JUMPDEST
000002c7: PUSH1 0x40
000002c9: MLOAD
000002ca: SWAP1
000002cb: ISZERO
000002cc: ISZERO
000002cd: DUP2
000002ce: MSTORE
000002cf: PUSH1 0x20
000002d1: ADD
000002d2: PUSH1 0x40
000002d4: MLOAD
000002d5: DUP1
000002d6: SWAP2
000002d7: SUB
000002d8: SWAP1
000002d9: RETURN
000002da: JUMPDEST
000002db: CALLVALUE
000002dc: ISZERO
000002dd: PUSH2 0x02e5
000002e0: JUMPI
000002e1: PUSH1 0x00
000002e3: DUP1
000002e4: REVERT
000002e5: JUMPDEST
000002e6: PUSH2 0x0162
000002e9: PUSH1 0x01
000002eb: PUSH1 0xa0
000002ed: PUSH1 0x02
000002ef: EXP
000002f0: SUB
000002f1: PUSH1 0x04
000002f3: CALLDATALOAD
000002f4: DUP2
000002f5: AND
000002f6: SWAP1
000002f7: PUSH1 0x24
000002f9: CALLDATALOAD
000002fa: AND
000002fb: PUSH1 0x44
000002fd: CALLDATALOAD
000002fe: PUSH2 0x0b8d
00000301: JUMP
00000302: JUMPDEST
00000303: STOP
00000304: JUMPDEST
00000305: CALLVALUE
00000306: ISZERO
00000307: PUSH2 0x030f
0000030a: JUMPI
0000030b: PUSH1 0x00
0000030d: DUP1
0000030e: REVERT
0000030f: JUMPDEST
00000310: PUSH2 0x027d
00000313: PUSH1 0x04
00000315: CALLDATALOAD
00000316: PUSH2 0x0d1e
00000319: JUMP
0000031a: JUMPDEST
0000031b: PUSH1 0x40
0000031d: MLOAD
0000031e: SWAP1
0000031f: DUP2
00000320: MSTORE
00000321: PUSH1 0x20
00000323: ADD
00000324: PUSH1 0x40
00000326: MLOAD
00000327: DUP1
00000328: SWAP2
00000329: SUB
0000032a: SWAP1
0000032b: RETURN
0000032c: JUMPDEST
0000032d: CALLVALUE
0000032e: ISZERO
0000032f: PUSH2 0x0337
00000332: JUMPI
00000333: PUSH1 0x00
00000335: DUP1
00000336: REVERT
00000337: JUMPDEST
00000338: PUSH2 0x0342
0000033b: PUSH1 0x04
0000033d: CALLDATALOAD
0000033e: PUSH2 0x0d9d
00000341: JUMP
00000342: JUMPDEST
00000343: PUSH1 0x40
00000345: MLOAD
00000346: PUSH1 0x01
00000348: PUSH1 0xa0
0000034a: PUSH1 0x02
0000034c: EXP
0000034d: SUB
0000034e: DUP6
0000034f: AND
00000350: DUP2
00000351: MSTORE
00000352: PUSH1 0x20
00000354: DUP2
00000355: ADD
00000356: DUP5
00000357: SWAP1
00000358: MSTORE
00000359: DUP2
0000035a: ISZERO
0000035b: ISZERO
0000035c: PUSH1 0x60
0000035e: DUP3
0000035f: ADD
00000360: MSTORE
00000361: PUSH1 0x80
00000363: PUSH1 0x40
00000365: DUP3
00000366: ADD
00000367: DUP2
00000368: DUP2
00000369: MSTORE
0000036a: DUP5
0000036b: SLOAD
0000036c: PUSH1 0x02
0000036e: PUSH1 0x00
00000370: NOT
00000371: PUSH2 0x0100
00000374: PUSH1 0x01
00000376: DUP5
00000377: AND
00000378: ISZERO
00000379: MUL
0000037a: ADD
0000037b: SWAP1
0000037c: SWAP2
0000037d: AND
0000037e: DIV
0000037f: SWAP2
00000380: DUP4
00000381: ADD
00000382: DUP3
00000383: SWAP1
00000384: MSTORE
00000385: SWAP1
00000386: PUSH1 0xa0
00000388: DUP4
00000389: ADD
0000038a: SWAP1
0000038b: DUP6
0000038c: SWAP1
0000038d: DUP1
0000038e: ISZERO
0000038f: PUSH2 0x03d9
00000392: JUMPI
00000393: DUP1
00000394: PUSH1 0x1f
00000396: LT
00000397: PUSH2 0x03ae
0000039a: JUMPI
0000039b: PUSH2 0x0100
0000039e: DUP1
0000039f: DUP4
000003a0: SLOAD
000003a1: DIV
000003a2: MUL
000003a3: DUP4
000003a4: MSTORE
000003a5: SWAP2
000003a6: PUSH1 0x20
000003a8: ADD
000003a9: SWAP2
000003aa: PUSH2 0x03d9
000003ad: JUMP
000003ae: JUMPDEST
000003af: DUP3
000003b0: ADD
000003b1: SWAP2
000003b2: SWAP1
000003b3: PUSH1 0x00
000003b5: MSTORE
000003b6: PUSH1 0x20
000003b8: PUSH1 0x00
000003ba: KECCAK256
000003bb: SWAP1
000003bc: JUMPDEST
000003bd: DUP2
000003be: SLOAD
000003bf: DUP2
000003c0: MSTORE
000003c1: SWAP1
000003c2: PUSH1 0x01
000003c4: ADD
000003c5: SWAP1
000003c6: PUSH1 0x20
000003c8: ADD
000003c9: DUP1
000003ca: DUP4
000003cb: GT
000003cc: PUSH2 0x03bc
000003cf: JUMPI
000003d0: DUP3
000003d1: SWAP1
000003d2: SUB
000003d3: PUSH1 0x1f
000003d5: AND
000003d6: DUP3
000003d7: ADD
000003d8: SWAP2
000003d9: JUMPDEST
000003da: POP
000003db: POP
000003dc: SWAP6
000003dd: POP
000003de: POP
000003df: POP
000003e0: POP
000003e1: POP
000003e2: POP
000003e3: PUSH1 0x40
000003e5: MLOAD
000003e6: DUP1
000003e7: SWAP2
000003e8: SUB
000003e9: SWAP1
000003ea: RETURN
000003eb: JUMPDEST
000003ec: CALLVALUE
000003ed: ISZERO
000003ee: PUSH2 0x03f6
000003f1: JUMPI
000003f2: PUSH1 0x00
000003f4: DUP1
000003f5: REVERT
000003f6: JUMPDEST
000003f7: PUSH2 0x03fe
000003fa: PUSH2 0x0dd1
000003fd: JUMP
000003fe: JUMPDEST
000003ff: PUSH1 0x40
00000401: MLOAD
00000402: PUSH1 0x20
00000404: DUP1
00000405: DUP3
00000406: MSTORE
00000407: DUP2
00000408: SWAP1
00000409: DUP2
0000040a: ADD
0000040b: DUP4
0000040c: DUP2
0000040d: DUP2
0000040e: MLOAD
0000040f: DUP2
00000410: MSTORE
00000411: PUSH1 0x20
00000413: ADD
00000414: SWAP2
00000415: POP
00000416: DUP1
00000417: MLOAD
00000418: SWAP1
00000419: PUSH1 0x20
0000041b: ADD
0000041c: SWAP1
0000041d: PUSH1 0x20
0000041f: MUL
00000420: DUP1
00000421: DUP4
00000422: DUP4
00000423: PUSH1 0x00
00000425: JUMPDEST
00000426: DUP4
00000427: DUP2
00000428: LT
00000429: ISZERO
0000042a: PUSH2 0x043e
0000042d: JUMPI
0000042e: DUP1
0000042f: DUP3
00000430: ADD
00000431: MLOAD
00000432: DUP2
00000433: DUP5
00000434: ADD
00000435: MSTORE
00000436: JUMPDEST
00000437: PUSH1 0x20
00000439: ADD
0000043a: PUSH2 0x0425
0000043d: JUMP
0000043e: JUMPDEST
0000043f: POP
00000440: POP
00000441: POP
00000442: POP
00000443: SWAP1
00000444: POP
00000445: ADD
00000446: SWAP3
00000447: POP
00000448: POP
00000449: POP
0000044a: PUSH1 0x40
0000044c: MLOAD
0000044d: DUP1
0000044e: SWAP2
0000044f: SUB
00000450: SWAP1
00000451: RETURN
00000452: JUMPDEST
00000453: CALLVALUE
00000454: ISZERO
00000455: PUSH2 0x045d
00000458: JUMPI
00000459: PUSH1 0x00
0000045b: DUP1
0000045c: REVERT
0000045d: JUMPDEST
0000045e: PUSH2 0x03fe
00000461: PUSH1 0x04
00000463: CALLDATALOAD
00000464: PUSH1 0x24
00000466: CALLDATALOAD
00000467: PUSH1 0x44
00000469: CALLDATALOAD
0000046a: ISZERO
0000046b: ISZERO
0000046c: PUSH1 0x64
0000046e: CALLDATALOAD
0000046f: ISZERO
00000470: ISZERO
00000471: PUSH2 0x0e3a
00000474: JUMP
00000475: JUMPDEST
00000476: PUSH1 0x40
00000478: MLOAD
00000479: PUSH1 0x20
0000047b: DUP1
0000047c: DUP3
0000047d: MSTORE
0000047e: DUP2
0000047f: SWAP1
00000480: DUP2
00000481: ADD
00000482: DUP4
00000483: DUP2
00000484: DUP2
00000485: MLOAD
00000486: DUP2
00000487: MSTORE
00000488: PUSH1 0x20
0000048a: ADD
0000048b: SWAP2
0000048c: POP
0000048d: DUP1
0000048e: MLOAD
0000048f: SWAP1
00000490: PUSH1 0x20
00000492: ADD
00000493: SWAP1
00000494: PUSH1 0x20
00000496: MUL
00000497: DUP1
00000498: DUP4
00000499: DUP4
0000049a: PUSH1 0x00
0000049c: JUMPDEST
0000049d: DUP4
0000049e: DUP2
0000049f: LT
000004a0: ISZERO
000004a1: PUSH2 0x043e
000004a4: JUMPI
000004a5: DUP1
000004a6: DUP3
000004a7: ADD
000004a8: MLOAD
000004a9: DUP2
000004aa: DUP5
000004ab: ADD
000004ac: MSTORE
000004ad: JUMPDEST
000004ae: PUSH1 0x20
000004b0: ADD
000004b1: PUSH2 0x0425
000004b4: JUMP
000004b5: JUMPDEST
000004b6: POP
000004b7: POP
000004b8: POP
000004b9: POP
000004ba: SWAP1
000004bb: POP
000004bc: ADD
000004bd: SWAP3
000004be: POP
000004bf: POP
000004c0: POP
000004c1: PUSH1 0x40
000004c3: MLOAD
000004c4: DUP1
000004c5: SWAP2
000004c6: SUB
000004c7: SWAP1
000004c8: RETURN
000004c9: JUMPDEST
000004ca: CALLVALUE
000004cb: ISZERO
000004cc: PUSH2 0x04d4
000004cf: JUMPI
000004d0: PUSH1 0x00
000004d2: DUP1
000004d3: REVERT
000004d4: JUMPDEST
000004d5: PUSH2 0x03fe
000004d8: PUSH1 0x04
000004da: CALLDATALOAD
000004db: PUSH2 0x0f68
000004de: JUMP
000004df: JUMPDEST
000004e0: PUSH1 0x40
000004e2: MLOAD
000004e3: PUSH1 0x20
000004e5: DUP1
000004e6: DUP3
000004e7: MSTORE
000004e8: DUP2
000004e9: SWAP1
000004ea: DUP2
000004eb: ADD
000004ec: DUP4
000004ed: DUP2
000004ee: DUP2
000004ef: MLOAD
000004f0: DUP2
000004f1: MSTORE
000004f2: PUSH1 0x20
000004f4: ADD
000004f5: SWAP2
000004f6: POP
000004f7: DUP1
000004f8: MLOAD
000004f9: SWAP1
000004fa: PUSH1 0x20
000004fc: ADD
000004fd: SWAP1
000004fe: PUSH1 0x20
00000500: MUL
00000501: DUP1
00000502: DUP4
00000503: DUP4
00000504: PUSH1 0x00
00000506: JUMPDEST
00000507: DUP4
00000508: DUP2
00000509: LT
0000050a: ISZERO
0000050b: PUSH2 0x043e
0000050e: JUMPI
0000050f: DUP1
00000510: DUP3
00000511: ADD
00000512: MLOAD
00000513: DUP2
00000514: DUP5
00000515: ADD
00000516: MSTORE
00000517: JUMPDEST
00000518: PUSH1 0x20
0000051a: ADD
0000051b: PUSH2 0x0425
0000051e: JUMP
0000051f: JUMPDEST
00000520: POP
00000521: POP
00000522: POP
00000523: POP
00000524: SWAP1
00000525: POP
00000526: ADD
00000527: SWAP3
00000528: POP
00000529: POP
0000052a: POP
0000052b: PUSH1 0x40
0000052d: MLOAD
0000052e: DUP1
0000052f: SWAP2
00000530: SUB
00000531: SWAP1
00000532: RETURN
00000533: JUMPDEST
00000534: CALLVALUE
00000535: ISZERO
00000536: PUSH2 0x053e
00000539: JUMPI
0000053a: PUSH1 0x00
0000053c: DUP1
0000053d: REVERT
0000053e: JUMPDEST
0000053f: PUSH2 0x027d
00000542: PUSH2 0x10ea
00000545: JUMP
00000546: JUMPDEST
00000547: PUSH1 0x40
00000549: MLOAD
0000054a: SWAP1
0000054b: DUP2
0000054c: MSTORE
0000054d: PUSH1 0x20
0000054f: ADD
00000550: PUSH1 0x40
00000552: MLOAD
00000553: DUP1
00000554: SWAP2
00000555: SUB
00000556: SWAP1
00000557: RETURN
00000558: JUMPDEST
00000559: CALLVALUE
0000055a: ISZERO
0000055b: PUSH2 0x0563
0000055e: JUMPI
0000055f: PUSH1 0x00
00000561: DUP1
00000562: REVERT
00000563: JUMPDEST
00000564: PUSH2 0x0162
00000567: PUSH1 0x04
00000569: CALLDATALOAD
0000056a: PUSH2 0x10f0
0000056d: JUMP
0000056e: JUMPDEST
0000056f: STOP
00000570: JUMPDEST
00000571: CALLVALUE
00000572: ISZERO
00000573: PUSH2 0x057b
00000576: JUMPI
00000577: PUSH1 0x00
00000579: DUP1
0000057a: REVERT
0000057b: JUMPDEST
0000057c: PUSH2 0x0162
0000057f: PUSH1 0x04
00000581: CALLDATALOAD
00000582: PUSH2 0x1187
00000585: JUMP
00000586: JUMPDEST
00000587: STOP
00000588: JUMPDEST
00000589: CALLVALUE
0000058a: ISZERO
0000058b: PUSH2 0x0593
0000058e: JUMPI
0000058f: PUSH1 0x00
00000591: DUP1
00000592: REVERT
00000593: JUMPDEST
00000594: PUSH2 0x027d
00000597: PUSH1 0x04
00000599: DUP1
0000059a: CALLDATALOAD
0000059b: PUSH1 0x01
0000059d: PUSH1 0xa0
0000059f: PUSH1 0x02
000005a1: EXP
000005a2: SUB
000005a3: AND
000005a4: SWAP1
000005a5: PUSH1 0x24
000005a7: DUP1
000005a8: CALLDATALOAD
000005a9: SWAP2
000005aa: SWAP1
000005ab: PUSH1 0x64
000005ad: SWAP1
000005ae: PUSH1 0x44
000005b0: CALLDATALOAD
000005b1: SWAP1
000005b2: DUP2
000005b3: ADD
000005b4: SWAP1
000005b5: DUP4
000005b6: ADD
000005b7: CALLDATALOAD
000005b8: DUP1
000005b9: PUSH1 0x20
000005bb: PUSH1 0x1f
000005bd: DUP3
000005be: ADD
000005bf: DUP2
000005c0: SWAP1
000005c1: DIV
000005c2: DUP2
000005c3: MUL
000005c4: ADD
000005c5: PUSH1 0x40
000005c7: MLOAD
000005c8: SWAP1
000005c9: DUP2
000005ca: ADD
000005cb: PUSH1 0x40
000005cd: MSTORE
000005ce: DUP2
000005cf: DUP2
000005d0: MSTORE
000005d1: SWAP3
000005d2: SWAP2
000005d3: SWAP1
000005d4: PUSH1 0x20
000005d6: DUP5
000005d7: ADD
000005d8: DUP4
000005d9: DUP4
000005da: DUP1
000005db: DUP3
000005dc: DUP5
000005dd: CALLDATACOPY
000005de: POP
000005df: SWAP5
000005e0: SWAP7
000005e1: POP
000005e2: PUSH2 0x1278
000005e5: SWAP6
000005e6: POP
000005e7: POP
000005e8: POP
000005e9: POP
000005ea: POP
000005eb: POP
000005ec: JUMP
000005ed: JUMPDEST
000005ee: PUSH1 0x40
000005f0: MLOAD
000005f1: SWAP1
000005f2: DUP2
000005f3: MSTORE
000005f4: PUSH1 0x20
000005f6: ADD
000005f7: PUSH1 0x40
000005f9: MLOAD
000005fa: DUP1
000005fb: SWAP2
000005fc: SUB
000005fd: SWAP1
000005fe: RETURN
000005ff: JUMPDEST
00000600: CALLVALUE
00000601: ISZERO
00000602: PUSH2 0x060a
00000605: JUMPI
00000606: PUSH1 0x00
00000608: DUP1
00000609: REVERT
0000060a: JUMPDEST
0000060b: PUSH2 0x027d
0000060e: PUSH2 0x1298
00000611: JUMP
00000612: JUMPDEST
00000613: PUSH1 0x40
00000615: MLOAD
00000616: SWAP1
00000617: DUP2
00000618: MSTORE
00000619: PUSH1 0x20
0000061b: ADD
0000061c: PUSH1 0x40
0000061e: MLOAD
0000061f: DUP1
00000620: SWAP2
00000621: SUB
00000622: SWAP1
00000623: RETURN
00000624: JUMPDEST
00000625: CALLVALUE
00000626: ISZERO
00000627: PUSH2 0x062f
0000062a: JUMPI
0000062b: PUSH1 0x00
0000062d: DUP1
0000062e: REVERT
0000062f: JUMPDEST
00000630: PUSH2 0x027d
00000633: PUSH2 0x129d
00000636: JUMP
00000637: JUMPDEST
00000638: PUSH1 0x40
0000063a: MLOAD
0000063b: SWAP1
0000063c: DUP2
0000063d: MSTORE
0000063e: PUSH1 0x20
00000640: ADD
00000641: PUSH1 0x40
00000643: MLOAD
00000644: DUP1
00000645: SWAP2
00000646: SUB
00000647: SWAP1
00000648: RETURN
00000649: JUMPDEST
0000064a: PUSH1 0x04
0000064c: DUP1
0000064d: SLOAD
0000064e: DUP3
0000064f: SWAP1
00000650: DUP2
00000651: LT
00000652: PUSH2 0x0657
00000655: JUMPI
00000656: INVALID
00000657: JUMPDEST
00000658: SWAP1
00000659: PUSH1 0x00
0000065b: MSTORE
0000065c: PUSH1 0x20
0000065e: PUSH1 0x00
00000660: KECCAK256
00000661: SWAP1
00000662: ADD
00000663: PUSH1 0x00
00000665: JUMPDEST
00000666: SWAP2
00000667: POP
00000668: SLOAD
00000669: SWAP1
0000066a: PUSH2 0x0100
0000066d: EXP
0000066e: SWAP1
0000066f: DIV
00000670: PUSH1 0x01
00000672: PUSH1 0xa0
00000674: PUSH1 0x02
00000676: EXP
00000677: SUB
00000678: AND
00000679: DUP2
0000067a: JUMP
0000067b: JUMPDEST
0000067c: PUSH1 0x00
0000067e: ADDRESS
0000067f: PUSH1 0x01
00000681: PUSH1 0xa0
00000683: PUSH1 0x02
00000685: EXP
00000686: SUB
00000687: AND
00000688: CALLER
00000689: PUSH1 0x01
0000068b: PUSH1 0xa0
0000068d: PUSH1 0x02
0000068f: EXP
00000690: SUB
00000691: AND
00000692: EQ
00000693: ISZERO
00000694: ISZERO
00000695: PUSH2 0x069d
00000698: JUMPI
00000699: PUSH1 0x00
0000069b: DUP1
0000069c: REVERT
0000069d: JUMPDEST
0000069e: PUSH1 0x01
000006a0: PUSH1 0xa0
000006a2: PUSH1 0x02
000006a4: EXP
000006a5: SUB
000006a6: DUP3
000006a7: AND
000006a8: PUSH1 0x00
000006aa: SWAP1
000006ab: DUP2
000006ac: MSTORE
000006ad: PUSH1 0x03
000006af: PUSH1 0x20
000006b1: MSTORE
000006b2: PUSH1 0x40
000006b4: SWAP1
000006b5: KECCAK256
000006b6: SLOAD
000006b7: DUP3
000006b8: SWAP1
000006b9: PUSH1 0xff
000006bb: AND
000006bc: ISZERO
000006bd: ISZERO
000006be: PUSH2 0x06c6
000006c1: JUMPI
000006c2: PUSH1 0x00
000006c4: DUP1
000006c5: REVERT
000006c6: JUMPDEST
000006c7: PUSH1 0x01
000006c9: PUSH1 0xa0
000006cb: PUSH1 0x02
000006cd: EXP
000006ce: SUB
000006cf: DUP4
000006d0: AND
000006d1: PUSH1 0x00
000006d3: SWAP1
000006d4: DUP2
000006d5: MSTORE
000006d6: PUSH1 0x03
000006d8: PUSH1 0x20
000006da: MSTORE
000006db: PUSH1 0x40
000006dd: DUP2
000006de: KECCAK256
000006df: DUP1
000006e0: SLOAD
000006e1: PUSH1 0xff
000006e3: NOT
000006e4: AND
000006e5: SWAP1
000006e6: SSTORE
000006e7: SWAP2
000006e8: POP
000006e9: JUMPDEST
000006ea: PUSH1 0x04
000006ec: SLOAD
000006ed: PUSH1 0x00
000006ef: NOT
000006f0: ADD
000006f1: DUP3
000006f2: LT
000006f3: ISZERO
000006f4: PUSH2 0x07c1
000006f7: JUMPI
000006f8: DUP3
000006f9: PUSH1 0x01
000006fb: PUSH1 0xa0
000006fd: PUSH1 0x02
000006ff: EXP
00000700: SUB
00000701: AND
00000702: PUSH1 0x04
00000704: DUP4
00000705: DUP2
00000706: SLOAD
00000707: DUP2
00000708: LT
00000709: ISZERO
0000070a: ISZERO
0000070b: PUSH2 0x0710
0000070e: JUMPI
0000070f: INVALID
00000710: JUMPDEST
00000711: SWAP1
00000712: PUSH1 0x00
00000714: MSTORE
00000715: PUSH1 0x20
00000717: PUSH1 0x00
00000719: KECCAK256
0000071a: SWAP1
0000071b: ADD
0000071c: PUSH1 0x00
0000071e: JUMPDEST
0000071f: SWAP1
00000720: SLOAD
00000721: SWAP1
00000722: PUSH2 0x0100
00000725: EXP
00000726: SWAP1
00000727: DIV
00000728: PUSH1 0x01
0000072a: PUSH1 0xa0
0000072c: PUSH1 0x02
0000072e: EXP
0000072f: SUB
00000730: AND
00000731: PUSH1 0x01
00000733: PUSH1 0xa0
00000735: PUSH1 0x02
00000737: EXP
00000738: SUB
00000739: AND
0000073a: EQ
0000073b: ISZERO
0000073c: PUSH2 0x07b5
0000073f: JUMPI
00000740: PUSH1 0x04
00000742: DUP1
00000743: SLOAD
00000744: PUSH1 0x00
00000746: NOT
00000747: DUP2
00000748: ADD
00000749: SWAP1
0000074a: DUP2
0000074b: LT
0000074c: PUSH2 0x0751
0000074f: JUMPI
00000750: INVALID
00000751: JUMPDEST
00000752: SWAP1
00000753: PUSH1 0x00
00000755: MSTORE
00000756: PUSH1 0x20
00000758: PUSH1 0x00
0000075a: KECCAK256
0000075b: SWAP1
0000075c: ADD
0000075d: PUSH1 0x00
0000075f: JUMPDEST
00000760: SWAP1
00000761: SLOAD
00000762: SWAP1
00000763: PUSH2 0x0100
00000766: EXP
00000767: SWAP1
00000768: DIV
00000769: PUSH1 0x01
0000076b: PUSH1 0xa0
0000076d: PUSH1 0x02
0000076f: EXP
00000770: SUB
00000771: AND
00000772: PUSH1 0x04
00000774: DUP4
00000775: DUP2
00000776: SLOAD
00000777: DUP2
00000778: LT
00000779: ISZERO
0000077a: ISZERO
0000077b: PUSH2 0x0780
0000077e: JUMPI
0000077f: INVALID
00000780: JUMPDEST
00000781: SWAP1
00000782: PUSH1 0x00
00000784: MSTORE
00000785: PUSH1 0x20
00000787: PUSH1 0x00
00000789: KECCAK256
0000078a: SWAP1
0000078b: ADD
0000078c: PUSH1 0x00
0000078e: JUMPDEST
0000078f: PUSH2 0x0100
00000792: EXP
00000793: DUP2
00000794: SLOAD
00000795: DUP2
00000796: PUSH1 0x01
00000798: PUSH1 0xa0
0000079a: PUSH1 0x02
0000079c: EXP
0000079d: SUB
0000079e: MUL
0000079f: NOT
000007a0: AND
000007a1: SWAP1
000007a2: DUP4
000007a3: PUSH1 0x01
000007a5: PUSH1 0xa0
000007a7: PUSH1 0x02
000007a9: EXP
000007aa: SUB
000007ab: AND
000007ac: MUL
000007ad: OR
000007ae: SWAP1
000007af: SSTORE
000007b0: POP
000007b1: PUSH2 0x07c1
000007b4: JUMP
000007b5: JUMPDEST
000007b6: JUMPDEST
000007b7: PUSH1 0x01
000007b9: SWAP1
000007ba: SWAP2
000007bb: ADD
000007bc: SWAP1
000007bd: PUSH2 0x06e9
000007c0: JUMP
000007c1: JUMPDEST
000007c2: PUSH1 0x04
000007c4: DUP1
000007c5: SLOAD
000007c6: PUSH1 0x00
000007c8: NOT
000007c9: ADD
000007ca: SWAP1
000007cb: PUSH2 0x07d4
000007ce: SWAP1
000007cf: DUP3
000007d0: PUSH2 0x1502
000007d3: JUMP
000007d4: JUMPDEST
000007d5: POP
000007d6: PUSH1 0x04
000007d8: SLOAD
000007d9: PUSH1 0x05
000007db: SLOAD
000007dc: GT
000007dd: ISZERO
000007de: PUSH2 0x07ed
000007e1: JUMPI
000007e2: PUSH1 0x04
000007e4: SLOAD
000007e5: PUSH2 0x07ed
000007e8: SWAP1
000007e9: PUSH2 0x10f0
000007ec: JUMP
000007ed: JUMPDEST
000007ee: JUMPDEST
000007ef: DUP3
000007f0: PUSH1 0x01
000007f2: PUSH1 0xa0
000007f4: PUSH1 0x02
000007f6: EXP
000007f7: SUB
000007f8: AND
000007f9: PUSH32 0x8001553a916ef2f495d26a907cc54d96ed840d7bda71e73194bf5a9df7a76b90
0000081a: PUSH1 0x40
0000081c: MLOAD
0000081d: PUSH1 0x40
0000081f: MLOAD
00000820: DUP1
00000821: SWAP2
00000822: SUB
00000823: SWAP1
00000824: LOG2
00000825: JUMPDEST
00000826: JUMPDEST
00000827: POP
00000828: JUMPDEST
00000829: POP
0000082a: POP
0000082b: JUMP
0000082c: JUMPDEST
0000082d: CALLER
0000082e: PUSH1 0x01
00000830: PUSH1 0xa0
00000832: PUSH1 0x02
00000834: EXP
00000835: SUB
00000836: DUP2
00000837: AND
00000838: PUSH1 0x00
0000083a: SWAP1
0000083b: DUP2
0000083c: MSTORE
0000083d: PUSH1 0x03
0000083f: PUSH1 0x20
00000841: MSTORE
00000842: PUSH1 0x40
00000844: SWAP1
00000845: KECCAK256
00000846: SLOAD
00000847: PUSH1 0xff
00000849: AND
0000084a: ISZERO
0000084b: ISZERO
0000084c: PUSH2 0x0854
0000084f: JUMPI
00000850: PUSH1 0x00
00000852: DUP1
00000853: REVERT
00000854: JUMPDEST
00000855: PUSH1 0x00
00000857: DUP3
00000858: DUP2
00000859: MSTORE
0000085a: PUSH1 0x02
0000085c: PUSH1 0x20
0000085e: SWAP1
0000085f: DUP2
00000860: MSTORE
00000861: PUSH1 0x40
00000863: DUP1
00000864: DUP4
00000865: KECCAK256
00000866: CALLER
00000867: PUSH1 0x01
00000869: PUSH1 0xa0
0000086b: PUSH1 0x02
0000086d: EXP
0000086e: SUB
0000086f: DUP2
00000870: AND
00000871: DUP6
00000872: MSTORE
00000873: SWAP3
00000874: MSTORE
00000875: SWAP1
00000876: SWAP2
00000877: KECCAK256
00000878: SLOAD
00000879: DUP4
0000087a: SWAP2
0000087b: SWAP1
0000087c: PUSH1 0xff
0000087e: AND
0000087f: ISZERO
00000880: ISZERO
00000881: PUSH2 0x0889
00000884: JUMPI
00000885: PUSH1 0x00
00000887: DUP1
00000888: REVERT
00000889: JUMPDEST
0000088a: PUSH1 0x00
0000088c: DUP5
0000088d: DUP2
0000088e: MSTORE
0000088f: PUSH1 0x01
00000891: PUSH1 0x20
00000893: MSTORE
00000894: PUSH1 0x40
00000896: SWAP1
00000897: KECCAK256
00000898: PUSH1 0x03
0000089a: ADD
0000089b: SLOAD
0000089c: DUP5
0000089d: SWAP1
0000089e: PUSH1 0xff
000008a0: AND
000008a1: ISZERO
000008a2: PUSH2 0x08aa
000008a5: JUMPI
000008a6: PUSH1 0x00
000008a8: DUP1
000008a9: REVERT
000008aa: JUMPDEST
000008ab: PUSH1 0x00
000008ad: DUP6
000008ae: DUP2
000008af: MSTORE
000008b0: PUSH1 0x02
000008b2: PUSH1 0x20
000008b4: SWAP1
000008b5: DUP2
000008b6: MSTORE
000008b7: PUSH1 0x40
000008b9: DUP1
000008ba: DUP4
000008bb: KECCAK256
000008bc: PUSH1 0x01
000008be: PUSH1 0xa0
000008c0: PUSH1 0x02
000008c2: EXP
000008c3: SUB
000008c4: CALLER
000008c5: AND
000008c6: DUP1
000008c7: DUP6
000008c8: MSTORE
000008c9: SWAP3
000008ca: MSTORE
000008cb: SWAP2
000008cc: DUP3
000008cd: SWAP1
000008ce: KECCAK256
000008cf: DUP1
000008d0: SLOAD
000008d1: PUSH1 0xff
000008d3: NOT
000008d4: AND
000008d5: SWAP1
000008d6: SSTORE
000008d7: DUP7
000008d8: SWAP2
000008d9: PUSH32 0xf6a317157440607f36269043eb55f1287a5a19ba2216afeab88cd46cbcfb88e9
000008fa: SWAP1
000008fb: MLOAD
000008fc: PUSH1 0x40
000008fe: MLOAD
000008ff: DUP1
00000900: SWAP2
00000901: SUB
00000902: SWAP1
00000903: LOG3
00000904: JUMPDEST
00000905: JUMPDEST
00000906: POP
00000907: JUMPDEST
00000908: POP
00000909: POP
0000090a: JUMPDEST
0000090b: POP
0000090c: POP
0000090d: JUMP
0000090e: JUMPDEST
0000090f: PUSH1 0x03
00000911: PUSH1 0x20
00000913: MSTORE
00000914: PUSH1 0x00
00000916: SWAP1
00000917: DUP2
00000918: MSTORE
00000919: PUSH1 0x40
0000091b: SWAP1
0000091c: KECCAK256
0000091d: SLOAD
0000091e: PUSH1 0xff
00000920: AND
00000921: DUP2
00000922: JUMP
00000923: JUMPDEST
00000924: PUSH1 0x02
00000926: PUSH1 0x20
00000928: SWAP1
00000929: DUP2
0000092a: MSTORE
0000092b: PUSH1 0x00
0000092d: SWAP3
0000092e: DUP4
0000092f: MSTORE
00000930: PUSH1 0x40
00000932: DUP1
00000933: DUP5
00000934: KECCAK256
00000935: SWAP1
00000936: SWAP2
00000937: MSTORE
00000938: SWAP1
00000939: DUP3
0000093a: MSTORE
0000093b: SWAP1
0000093c: KECCAK256
0000093d: SLOAD
0000093e: PUSH1 0xff
00000940: AND
00000941: DUP2
00000942: JUMP
00000943: JUMPDEST
00000944: PUSH1 0x00
00000946: SLOAD
00000947: PUSH1 0xff
00000949: AND
0000094a: DUP2
0000094b: JUMP
0000094c: JUMPDEST
0000094d: PUSH1 0x00
0000094f: DUP1
00000950: JUMPDEST
00000951: PUSH1 0x06
00000953: SLOAD
00000954: DUP2
00000955: LT
00000956: ISZERO
00000957: PUSH2 0x09b3
0000095a: JUMPI
0000095b: DUP4
0000095c: DUP1
0000095d: ISZERO
0000095e: PUSH2 0x0979
00000961: JUMPI
00000962: POP
00000963: PUSH1 0x00
00000965: DUP2
00000966: DUP2
00000967: MSTORE
00000968: PUSH1 0x01
0000096a: PUSH1 0x20
0000096c: MSTORE
0000096d: PUSH1 0x40
0000096f: SWAP1
00000970: KECCAK256
00000971: PUSH1 0x03
00000973: ADD
00000974: SLOAD
00000975: PUSH1 0xff
00000977: AND
00000978: ISZERO
00000979: JUMPDEST
0000097a: DUP1
0000097b: PUSH2 0x099d
0000097e: JUMPI
0000097f: POP
00000980: DUP3
00000981: DUP1
00000982: ISZERO
00000983: PUSH2 0x099d
00000986: JUMPI
00000987: POP
00000988: PUSH1 0x00
0000098a: DUP2
0000098b: DUP2
0000098c: MSTORE
0000098d: PUSH1 0x01
0000098f: PUSH1 0x20
00000991: MSTORE
00000992: PUSH1 0x40
00000994: SWAP1
00000995: KECCAK256
00000996: PUSH1 0x03
00000998: ADD
00000999: SLOAD
0000099a: PUSH1 0xff
0000099c: AND
0000099d: JUMPDEST
0000099e: JUMPDEST
0000099f: ISZERO
000009a0: PUSH2 0x09aa
000009a3: JUMPI
000009a4: PUSH1 0x01
000009a6: DUP3
000009a7: ADD
000009a8: SWAP2
000009a9: POP
000009aa: JUMPDEST
000009ab: JUMPDEST
000009ac: PUSH1 0x01
000009ae: ADD
000009af: PUSH2 0x0950
000009b2: JUMP
000009b3: JUMPDEST
000009b4: JUMPDEST
000009b5: POP
000009b6: SWAP3
000009b7: SWAP2
000009b8: POP
000009b9: POP
000009ba: JUMP
000009bb: JUMPDEST
000009bc: ADDRESS
000009bd: PUSH1 0x01
000009bf: PUSH1 0xa0
000009c1: PUSH1 0x02
000009c3: EXP
000009c4: SUB
000009c5: AND
000009c6: CALLER
000009c7: PUSH1 0x01
000009c9: PUSH1 0xa0
000009cb: PUSH1 0x02
000009cd: EXP
000009ce: SUB
000009cf: AND
000009d0: EQ
000009d1: ISZERO
000009d2: ISZERO
000009d3: PUSH2 0x09db
000009d6: JUMPI
000009d7: PUSH1 0x00
000009d9: DUP1
000009da: REVERT
000009db: JUMPDEST
000009dc: PUSH1 0x01
000009de: PUSH1 0xa0
000009e0: PUSH1 0x02
000009e2: EXP
000009e3: SUB
000009e4: DUP2
000009e5: AND
000009e6: PUSH1 0x00
000009e8: SWAP1
000009e9: DUP2
000009ea: MSTORE
000009eb: PUSH1 0x03
000009ed: PUSH1 0x20
000009ef: MSTORE
000009f0: PUSH1 0x40
000009f2: SWAP1
000009f3: KECCAK256
000009f4: SLOAD
000009f5: DUP2
000009f6: SWAP1
000009f7: PUSH1 0xff
000009f9: AND
000009fa: ISZERO
000009fb: PUSH2 0x0a03
000009fe: JUMPI
000009ff: PUSH1 0x00
00000a01: DUP1
00000a02: REVERT
00000a03: JUMPDEST
00000a04: DUP2
00000a05: PUSH1 0x01
00000a07: PUSH1 0xa0
00000a09: PUSH1 0x02
00000a0b: EXP
00000a0c: SUB
00000a0d: DUP2
00000a0e: AND
00000a0f: ISZERO
00000a10: ISZERO
00000a11: PUSH2 0x0a19
00000a14: JUMPI
00000a15: PUSH1 0x00
00000a17: DUP1
00000a18: REVERT
00000a19: JUMPDEST
00000a1a: PUSH1 0x04
00000a1c: DUP1
00000a1d: SLOAD
00000a1e: SWAP1
00000a1f: POP
00000a20: PUSH1 0x01
00000a22: ADD
00000a23: PUSH1 0x05
00000a25: SLOAD
00000a26: PUSH1 0x32
00000a28: DUP3
00000a29: GT
00000a2a: ISZERO
00000a2b: PUSH2 0x0a33
00000a2e: JUMPI
00000a2f: PUSH1 0x00
00000a31: DUP1
00000a32: REVERT
00000a33: JUMPDEST
00000a34: DUP2
00000a35: DUP2
00000a36: GT
00000a37: ISZERO
00000a38: PUSH2 0x0a40
00000a3b: JUMPI
00000a3c: PUSH1 0x00
00000a3e: DUP1
00000a3f: REVERT
00000a40: JUMPDEST
00000a41: DUP1
00000a42: ISZERO
00000a43: ISZERO
00000a44: PUSH2 0x0a4c
00000a47: JUMPI
00000a48: PUSH1 0x00
00000a4a: DUP1
00000a4b: REVERT
00000a4c: JUMPDEST
00000a4d: DUP2
00000a4e: ISZERO
00000a4f: ISZERO
00000a50: PUSH2 0x0a58
00000a53: JUMPI
00000a54: PUSH1 0x00
00000a56: DUP1
00000a57: REVERT
00000a58: JUMPDEST
00000a59: PUSH1 0x01
00000a5b: PUSH1 0xa0
00000a5d: PUSH1 0x02
00000a5f: EXP
00000a60: SUB
00000a61: DUP6
00000a62: AND
00000a63: PUSH1 0x00
00000a65: SWAP1
00000a66: DUP2
00000a67: MSTORE
00000a68: PUSH1 0x03
00000a6a: PUSH1 0x20
00000a6c: MSTORE
00000a6d: PUSH1 0x40
00000a6f: SWAP1
00000a70: KECCAK256
00000a71: DUP1
00000a72: SLOAD
00000a73: PUSH1 0xff
00000a75: NOT
00000a76: AND
00000a77: PUSH1 0x01
00000a79: SWAP1
00000a7a: DUP2
00000a7b: OR
00000a7c: SWAP1
00000a7d: SWAP2
00000a7e: SSTORE
00000a7f: PUSH1 0x04
00000a81: DUP1
00000a82: SLOAD
00000a83: SWAP1
00000a84: SWAP2
00000a85: DUP2
00000a86: ADD
00000a87: PUSH2 0x0a90
00000a8a: DUP4
00000a8b: DUP3
00000a8c: PUSH2 0x1502
00000a8f: JUMP
00000a90: JUMPDEST
00000a91: SWAP2
00000a92: PUSH1 0x00
00000a94: MSTORE
00000a95: PUSH1 0x20
00000a97: PUSH1 0x00
00000a99: KECCAK256
00000a9a: SWAP1
00000a9b: ADD
00000a9c: PUSH1 0x00
00000a9e: JUMPDEST
00000a9f: DUP2
00000aa0: SLOAD
00000aa1: PUSH1 0x01
00000aa3: PUSH1 0xa0
00000aa5: PUSH1 0x02
00000aa7: EXP
00000aa8: SUB
00000aa9: DUP1
00000aaa: DUP11
00000aab: AND
00000aac: PUSH2 0x0100
00000aaf: SWAP4
00000ab0: SWAP1
00000ab1: SWAP4
00000ab2: EXP
00000ab3: DUP4
00000ab4: DUP2
00000ab5: MUL
00000ab6: SWAP2
00000ab7: MUL
00000ab8: NOT
00000ab9: SWAP1
00000aba: SWAP2
00000abb: AND
00000abc: OR
00000abd: SWAP1
00000abe: SWAP2
00000abf: SSTORE
00000ac0: SWAP1
00000ac1: POP
00000ac2: PUSH32 0xf39e6e1eb0edcf53c221607b54b00cd28f3196fed0a24994dc308b8f611b682d
00000ae3: PUSH1 0x40
00000ae5: MLOAD
00000ae6: PUSH1 0x40
00000ae8: MLOAD
00000ae9: DUP1
00000aea: SWAP2
00000aeb: SUB
00000aec: SWAP1
00000aed: LOG2
00000aee: JUMPDEST
00000aef: JUMPDEST
00000af0: POP
00000af1: POP
00000af2: JUMPDEST
00000af3: POP
00000af4: JUMPDEST
00000af5: POP
00000af6: JUMPDEST
00000af7: POP
00000af8: JUMP
00000af9: JUMPDEST
00000afa: PUSH1 0x00
00000afc: DUP1
00000afd: DUP1
00000afe: JUMPDEST
00000aff: PUSH1 0x04
00000b01: SLOAD
00000b02: DUP2
00000b03: LT
00000b04: ISZERO
00000b05: PUSH2 0x0b85
00000b08: JUMPI
00000b09: PUSH1 0x00
00000b0b: DUP5
00000b0c: DUP2
00000b0d: MSTORE
00000b0e: PUSH1 0x02
00000b10: PUSH1 0x20
00000b12: MSTORE
00000b13: PUSH1 0x40
00000b15: DUP2
00000b16: KECCAK256
00000b17: PUSH1 0x04
00000b19: DUP1
00000b1a: SLOAD
00000b1b: SWAP2
00000b1c: SWAP3
00000b1d: SWAP2
00000b1e: DUP5
00000b1f: SWAP1
00000b20: DUP2
00000b21: LT
00000b22: PUSH2 0x0b27
00000b25: JUMPI
00000b26: INVALID
00000b27: JUMPDEST
00000b28: SWAP1
00000b29: PUSH1 0x00
00000b2b: MSTORE
00000b2c: PUSH1 0x20
00000b2e: PUSH1 0x00
00000b30: KECCAK256
00000b31: SWAP1
00000b32: ADD
00000b33: PUSH1 0x00
00000b35: JUMPDEST
00000b36: SWAP1
00000b37: SLOAD
00000b38: PUSH1 0x01
00000b3a: PUSH1 0xa0
00000b3c: PUSH1 0x02
00000b3e: EXP
00000b3f: SUB
00000b40: PUSH2 0x0100
00000b43: SWAP3
00000b44: SWAP1
00000b45: SWAP3
00000b46: EXP
00000b47: SWAP1
00000b48: DIV
00000b49: AND
00000b4a: DUP2
00000b4b: MSTORE
00000b4c: PUSH1 0x20
00000b4e: DUP2
00000b4f: ADD
00000b50: SWAP2
00000b51: SWAP1
00000b52: SWAP2
00000b53: MSTORE
00000b54: PUSH1 0x40
00000b56: ADD
00000b57: PUSH1 0x00
00000b59: KECCAK256
00000b5a: SLOAD
00000b5b: PUSH1 0xff
00000b5d: AND
00000b5e: ISZERO
00000b5f: PUSH2 0x0b69
00000b62: JUMPI
00000b63: PUSH1 0x01
00000b65: DUP3
00000b66: ADD
00000b67: SWAP2
00000b68: POP
00000b69: JUMPDEST
00000b6a: PUSH1 0x05
00000b6c: SLOAD
00000b6d: DUP3
00000b6e: EQ
00000b6f: ISZERO
00000b70: PUSH2 0x0b7c
00000b73: JUMPI
00000b74: PUSH1 0x01
00000b76: SWAP3
00000b77: POP
00000b78: PUSH2 0x0b85
00000b7b: JUMP
00000b7c: JUMPDEST
00000b7d: JUMPDEST
00000b7e: PUSH1 0x01
00000b80: ADD
00000b81: PUSH2 0x0afe
00000b84: JUMP
00000b85: JUMPDEST
00000b86: JUMPDEST
00000b87: POP
00000b88: POP
00000b89: SWAP2
00000b8a: SWAP1
00000b8b: POP
00000b8c: JUMP
00000b8d: JUMPDEST
00000b8e: ADDRESS
00000b8f: PUSH1 0x01
00000b91: PUSH1 0xa0
00000b93: PUSH1 0x02
00000b95: EXP
00000b96: SUB
00000b97: AND
00000b98: CALLER
00000b99: PUSH1 0x01
00000b9b: PUSH1 0xa0
00000b9d: PUSH1 0x02
00000b9f: EXP
00000ba0: SUB
00000ba1: AND
00000ba2: EQ
00000ba3: ISZERO
00000ba4: ISZERO
00000ba5: PUSH2 0x0bad
00000ba8: JUMPI
00000ba9: PUSH1 0x00
00000bab: DUP1
00000bac: REVERT
00000bad: JUMPDEST
00000bae: PUSH1 0x01
00000bb0: PUSH1 0xa0
00000bb2: PUSH1 0x02
00000bb4: EXP
00000bb5: SUB
00000bb6: DUP4
00000bb7: AND
00000bb8: PUSH1 0x00
00000bba: SWAP1
00000bbb: DUP2
00000bbc: MSTORE
00000bbd: PUSH1 0x03
00000bbf: PUSH1 0x20
00000bc1: MSTORE
00000bc2: PUSH1 0x40
00000bc4: SWAP1
00000bc5: KECCAK256
00000bc6: SLOAD
00000bc7: DUP4
00000bc8: SWAP1
00000bc9: PUSH1 0xff
00000bcb: AND
00000bcc: ISZERO
00000bcd: ISZERO
00000bce: PUSH2 0x0bd6
00000bd1: JUMPI
00000bd2: PUSH1 0x00
00000bd4: DUP1
00000bd5: REVERT
00000bd6: JUMPDEST
00000bd7: PUSH1 0x01
00000bd9: PUSH1 0xa0
00000bdb: PUSH1 0x02
00000bdd: EXP
00000bde: SUB
00000bdf: DUP4
00000be0: AND
00000be1: PUSH1 0x00
00000be3: SWAP1
00000be4: DUP2
00000be5: MSTORE
00000be6: PUSH1 0x03
00000be8: PUSH1 0x20
00000bea: MSTORE
00000beb: PUSH1 0x40
00000bed: SWAP1
00000bee: KECCAK256
00000bef: SLOAD
00000bf0: DUP4
00000bf1: SWAP1
00000bf2: PUSH1 0xff
00000bf4: AND
00000bf5: ISZERO
00000bf6: PUSH2 0x0bfe
00000bf9: JUMPI
00000bfa: PUSH1 0x00
00000bfc: DUP1
00000bfd: REVERT
00000bfe: JUMPDEST
00000bff: DUP5
00000c00: PUSH1 0x01
00000c02: PUSH1 0xa0
00000c04: PUSH1 0x02
00000c06: EXP
00000c07: SUB
00000c08: AND
00000c09: PUSH1 0x04
00000c0b: DUP5
00000c0c: DUP2
00000c0d: SLOAD
00000c0e: DUP2
00000c0f: LT
00000c10: ISZERO
00000c11: ISZERO
00000c12: PUSH2 0x0c17
00000c15: JUMPI
00000c16: INVALID
00000c17: JUMPDEST
00000c18: SWAP1
00000c19: PUSH1 0x00
00000c1b: MSTORE
00000c1c: PUSH1 0x20
00000c1e: PUSH1 0x00
00000c20: KECCAK256
00000c21: SWAP1
00000c22: ADD
00000c23: PUSH1 0x00
00000c25: JUMPDEST
00000c26: SWAP1
00000c27: SLOAD
00000c28: PUSH1 0x01
00000c2a: PUSH1 0xa0
00000c2c: PUSH1 0x02
00000c2e: EXP
00000c2f: SUB
00000c30: PUSH2 0x0100
00000c33: SWAP3
00000c34: SWAP1
00000c35: SWAP3
00000c36: EXP
00000c37: SWAP1
00000c38: DIV
00000c39: AND
00000c3a: EQ
00000c3b: PUSH2 0x0c43
00000c3e: JUMPI
00000c3f: PUSH1 0x00
00000c41: DUP1
00000c42: REVERT
00000c43: JUMPDEST
00000c44: DUP4
00000c45: PUSH1 0x04
00000c47: DUP5
00000c48: DUP2
00000c49: SLOAD
00000c4a: DUP2
00000c4b: LT
00000c4c: ISZERO
00000c4d: ISZERO
00000c4e: PUSH2 0x0c53
00000c51: JUMPI
00000c52: INVALID
00000c53: JUMPDEST
00000c54: SWAP1
00000c55: PUSH1 0x00
00000c57: MSTORE
00000c58: PUSH1 0x20
00000c5a: PUSH1 0x00
00000c5c: KECCAK256
00000c5d: SWAP1
00000c5e: ADD
00000c5f: PUSH1 0x00
00000c61: JUMPDEST
00000c62: DUP2
00000c63: SLOAD
00000c64: PUSH1 0x01
00000c66: PUSH1 0xa0
00000c68: PUSH1 0x02
00000c6a: EXP
00000c6b: SUB
00000c6c: SWAP4
00000c6d: DUP5
00000c6e: AND
00000c6f: PUSH2 0x0100
00000c72: SWAP3
00000c73: SWAP1
00000c74: SWAP3
00000c75: EXP
00000c76: SWAP2
00000c77: DUP3
00000c78: MUL
00000c79: SWAP2
00000c7a: DUP5
00000c7b: MUL
00000c7c: NOT
00000c7d: AND
00000c7e: OR
00000c7f: SWAP1
00000c80: SSTORE
00000c81: DUP6
00000c82: DUP2
00000c83: AND
00000c84: PUSH1 0x00
00000c86: DUP2
00000c87: DUP2
00000c88: MSTORE
00000c89: PUSH1 0x03
00000c8b: PUSH1 0x20
00000c8d: MSTORE
00000c8e: PUSH1 0x40
00000c90: DUP1
00000c91: DUP3
00000c92: KECCAK256
00000c93: DUP1
00000c94: SLOAD
00000c95: PUSH1 0xff
00000c97: NOT
00000c98: SWAP1
00000c99: DUP2
00000c9a: AND
00000c9b: SWAP1
00000c9c: SWAP2
00000c9d: SSTORE
00000c9e: SWAP4
00000c9f: DUP9
00000ca0: AND
00000ca1: DUP3
00000ca2: MSTORE
00000ca3: SWAP1
00000ca4: DUP2
00000ca5: SWAP1
00000ca6: KECCAK256
00000ca7: DUP1
00000ca8: SLOAD
00000ca9: SWAP1
00000caa: SWAP4
00000cab: AND
00000cac: PUSH1 0x01
00000cae: OR
00000caf: SWAP1
00000cb0: SWAP3
00000cb1: SSTORE
00000cb2: SWAP1
00000cb3: PUSH32 0x8001553a916ef2f495d26a907cc54d96ed840d7bda71e73194bf5a9df7a76b90
00000cd4: SWAP1
00000cd5: MLOAD
00000cd6: PUSH1 0x40
00000cd8: MLOAD
00000cd9: DUP1
00000cda: SWAP2
00000cdb: SUB
00000cdc: SWAP1
00000cdd: LOG2
00000cde: DUP4
00000cdf: PUSH1 0x01
00000ce1: PUSH1 0xa0
00000ce3: PUSH1 0x02
00000ce5: EXP
00000ce6: SUB
00000ce7: AND
00000ce8: PUSH32 0xf39e6e1eb0edcf53c221607b54b00cd28f3196fed0a24994dc308b8f611b682d
00000d09: PUSH1 0x40
00000d0b: MLOAD
00000d0c: PUSH1 0x40
00000d0e: MLOAD
00000d0f: DUP1
00000d10: SWAP2
00000d11: SUB
00000d12: SWAP1
00000d13: LOG2
00000d14: JUMPDEST
00000d15: JUMPDEST
00000d16: POP
00000d17: JUMPDEST
00000d18: POP
00000d19: JUMPDEST
00000d1a: POP
00000d1b: POP
00000d1c: POP
00000d1d: JUMP
00000d1e: JUMPDEST
00000d1f: PUSH1 0x00
00000d21: DUP1
00000d22: JUMPDEST
00000d23: PUSH1 0x04
00000d25: SLOAD
00000d26: DUP2
00000d27: LT
00000d28: ISZERO
00000d29: PUSH2 0x0d96
00000d2c: JUMPI
00000d2d: PUSH1 0x00
00000d2f: DUP4
00000d30: DUP2
00000d31: MSTORE
00000d32: PUSH1 0x02
00000d34: PUSH1 0x20
00000d36: MSTORE
00000d37: PUSH1 0x40
00000d39: DUP2
00000d3a: KECCAK256
00000d3b: PUSH1 0x04
00000d3d: DUP1
00000d3e: SLOAD
00000d3f: SWAP2
00000d40: SWAP3
00000d41: SWAP2
00000d42: DUP5
00000d43: SWAP1
00000d44: DUP2
00000d45: LT
00000d46: PUSH2 0x0d4b
00000d49: JUMPI
00000d4a: INVALID
00000d4b: JUMPDEST
00000d4c: SWAP1
00000d4d: PUSH1 0x00
00000d4f: MSTORE
00000d50: PUSH1 0x20
00000d52: PUSH1 0x00
00000d54: KECCAK256
00000d55: SWAP1
00000d56: ADD
00000d57: PUSH1 0x00
00000d59: JUMPDEST
00000d5a: SWAP1
00000d5b: SLOAD
00000d5c: PUSH1 0x01
00000d5e: PUSH1 0xa0
00000d60: PUSH1 0x02
00000d62: EXP
00000d63: SUB
00000d64: PUSH2 0x0100
00000d67: SWAP3
00000d68: SWAP1
00000d69: SWAP3
00000d6a: EXP
00000d6b: SWAP1
00000d6c: DIV
00000d6d: AND
00000d6e: DUP2
00000d6f: MSTORE
00000d70: PUSH1 0x20
00000d72: DUP2
00000d73: ADD
00000d74: SWAP2
00000d75: SWAP1
00000d76: SWAP2
00000d77: MSTORE
00000d78: PUSH1 0x40
00000d7a: ADD
00000d7b: PUSH1 0x00
00000d7d: KECCAK256
00000d7e: SLOAD
00000d7f: PUSH1 0xff
00000d81: AND
00000d82: ISZERO
00000d83: PUSH2 0x0d8d
00000d86: JUMPI
00000d87: PUSH1 0x01
00000d89: DUP3
00000d8a: ADD
00000d8b: SWAP2
00000d8c: POP
00000d8d: JUMPDEST
00000d8e: JUMPDEST
00000d8f: PUSH1 0x01
00000d91: ADD
00000d92: PUSH2 0x0d22
00000d95: JUMP
00000d96: JUMPDEST
00000d97: JUMPDEST
00000d98: POP
00000d99: SWAP2
00000d9a: SWAP1
00000d9b: POP
00000d9c: JUMP
00000d9d: JUMPDEST
00000d9e: PUSH1 0x01
00000da0: PUSH1 0x20
00000da2: DUP2
00000da3: SWAP1
00000da4: MSTORE
00000da5: PUSH1 0x00
00000da7: SWAP2
00000da8: DUP3
00000da9: MSTORE
00000daa: PUSH1 0x40
00000dac: SWAP1
00000dad: SWAP2
00000dae: KECCAK256
00000daf: DUP1
00000db0: SLOAD
00000db1: SWAP2
00000db2: DUP2
00000db3: ADD
00000db4: SLOAD
00000db5: PUSH1 0x03
00000db7: DUP3
00000db8: ADD
00000db9: SLOAD
00000dba: PUSH1 0x01
00000dbc: PUSH1 0xa0
00000dbe: PUSH1 0x02
00000dc0: EXP
00000dc1: SUB
00000dc2: SWAP1
00000dc3: SWAP4
00000dc4: AND
00000dc5: SWAP3
00000dc6: SWAP1
00000dc7: SWAP2
00000dc8: PUSH1 0x02
00000dca: ADD
00000dcb: SWAP1
00000dcc: PUSH1 0xff
00000dce: AND
00000dcf: DUP5
00000dd0: JUMP
00000dd1: JUMPDEST
00000dd2: PUSH2 0x0dd9
00000dd5: PUSH2 0x1556
00000dd8: JUMP
00000dd9: JUMPDEST
00000dda: PUSH1 0x04
00000ddc: DUP1
00000ddd: SLOAD
00000dde: DUP1
00000ddf: PUSH1 0x20
00000de1: MUL
00000de2: PUSH1 0x20
00000de4: ADD
00000de5: PUSH1 0x40
00000de7: MLOAD
00000de8: SWAP1
00000de9: DUP2
00000dea: ADD
00000deb: PUSH1 0x40
00000ded: MSTORE
00000dee: DUP1
00000def: SWAP3
00000df0: SWAP2
00000df1: SWAP1
00000df2: DUP2
00000df3: DUP2
00000df4: MSTORE
00000df5: PUSH1 0x20
00000df7: ADD
00000df8: DUP3
00000df9: DUP1
00000dfa: SLOAD
00000dfb: DUP1
00000dfc: ISZERO
00000dfd: PUSH2 0x0e2f
00000e00: JUMPI
00000e01: PUSH1 0x20
00000e03: MUL
00000e04: DUP3
00000e05: ADD
00000e06: SWAP2
00000e07: SWAP1
00000e08: PUSH1 0x00
00000e0a: MSTORE
00000e0b: PUSH1 0x20
00000e0d: PUSH1 0x00
00000e0f: KECCAK256
00000e10: SWAP1
00000e11: JUMPDEST
00000e12: DUP2
00000e13: SLOAD
00000e14: PUSH1 0x01
00000e16: PUSH1 0xa0
00000e18: PUSH1 0x02
00000e1a: EXP
00000e1b: SUB
00000e1c: AND
00000e1d: DUP2
00000e1e: MSTORE
00000e1f: PUSH1 0x01
00000e21: SWAP1
00000e22: SWAP2
00000e23: ADD
00000e24: SWAP1
00000e25: PUSH1 0x20
00000e27: ADD
00000e28: DUP1
00000e29: DUP4
00000e2a: GT
00000e2b: PUSH2 0x0e11
00000e2e: JUMPI
00000e2f: JUMPDEST
00000e30: POP
00000e31: POP
00000e32: POP
00000e33: POP
00000e34: POP
00000e35: SWAP1
00000e36: POP
00000e37: JUMPDEST
00000e38: SWAP1
00000e39: JUMP
00000e3a: JUMPDEST
00000e3b: PUSH2 0x0e42
00000e3e: PUSH2 0x1556
00000e41: JUMP
00000e42: JUMPDEST
00000e43: PUSH2 0x0e4a
00000e46: PUSH2 0x1556
00000e49: JUMP
00000e4a: JUMPDEST
00000e4b: PUSH1 0x00
00000e4d: DUP1
00000e4e: PUSH1 0x06
00000e50: SLOAD
00000e51: PUSH1 0x40
00000e53: MLOAD
00000e54: DUP1
00000e55: MSIZE
00000e56: LT
00000e57: PUSH2 0x0e5d
00000e5a: JUMPI
00000e5b: POP
00000e5c: MSIZE
00000e5d: JUMPDEST
00000e5e: SWAP1
00000e5f: DUP1
00000e60: DUP3
00000e61: MSTORE
00000e62: DUP1
00000e63: PUSH1 0x20
00000e65: MUL
00000e66: PUSH1 0x20
00000e68: ADD
00000e69: DUP3
00000e6a: ADD
00000e6b: PUSH1 0x40
00000e6d: MSTORE
00000e6e: JUMPDEST
00000e6f: POP
00000e70: SWAP3
00000e71: POP
00000e72: PUSH1 0x00
00000e74: SWAP2
00000e75: POP
00000e76: PUSH1 0x00
00000e78: SWAP1
00000e79: POP
00000e7a: JUMPDEST
00000e7b: PUSH1 0x06
00000e7d: SLOAD
00000e7e: DUP2
00000e7f: LT
00000e80: ISZERO
00000e81: PUSH2 0x0ef5
00000e84: JUMPI
00000e85: DUP6
00000e86: DUP1
00000e87: ISZERO
00000e88: PUSH2 0x0ea3
00000e8b: JUMPI
00000e8c: POP
00000e8d: PUSH1 0x00
00000e8f: DUP2
00000e90: DUP2
00000e91: MSTORE
00000e92: PUSH1 0x01
00000e94: PUSH1 0x20
00000e96: MSTORE
00000e97: PUSH1 0x40
00000e99: SWAP1
00000e9a: KECCAK256
00000e9b: PUSH1 0x03
00000e9d: ADD
00000e9e: SLOAD
00000e9f: PUSH1 0xff
00000ea1: AND
00000ea2: ISZERO
00000ea3: JUMPDEST
00000ea4: DUP1
00000ea5: PUSH2 0x0ec7
00000ea8: JUMPI
00000ea9: POP
00000eaa: DUP5
00000eab: DUP1
00000eac: ISZERO
00000ead: PUSH2 0x0ec7
00000eb0: JUMPI
00000eb1: POP
00000eb2: PUSH1 0x00
00000eb4: DUP2
00000eb5: DUP2
00000eb6: MSTORE
00000eb7: PUSH1 0x01
00000eb9: PUSH1 0x20
00000ebb: MSTORE
00000ebc: PUSH1 0x40
00000ebe: SWAP1
00000ebf: KECCAK256
00000ec0: PUSH1 0x03
00000ec2: ADD
00000ec3: SLOAD
00000ec4: PUSH1 0xff
00000ec6: AND
00000ec7: JUMPDEST
00000ec8: JUMPDEST
00000ec9: ISZERO
00000eca: PUSH2 0x0eec
00000ecd: JUMPI
00000ece: DUP1
00000ecf: DUP4
00000ed0: DUP4
00000ed1: DUP2
00000ed2: MLOAD
00000ed3: DUP2
00000ed4: LT
00000ed5: PUSH2 0x0eda
00000ed8: JUMPI
00000ed9: INVALID
00000eda: JUMPDEST
00000edb: PUSH1 0x20
00000edd: SWAP1
00000ede: DUP2
00000edf: MUL
00000ee0: SWAP1
00000ee1: SWAP2
00000ee2: ADD
00000ee3: ADD
00000ee4: MSTORE
00000ee5: PUSH1 0x01
00000ee7: SWAP2
00000ee8: SWAP1
00000ee9: SWAP2
00000eea: ADD
00000eeb: SWAP1
00000eec: JUMPDEST
00000eed: JUMPDEST
00000eee: PUSH1 0x01
00000ef0: ADD
00000ef1: PUSH2 0x0e7a
00000ef4: JUMP
00000ef5: JUMPDEST
00000ef6: DUP8
00000ef7: DUP8
00000ef8: SUB
00000ef9: PUSH1 0x40
00000efb: MLOAD
00000efc: DUP1
00000efd: MSIZE
00000efe: LT
00000eff: PUSH2 0x0f05
00000f02: JUMPI
00000f03: POP
00000f04: MSIZE
00000f05: JUMPDEST
00000f06: SWAP1
00000f07: DUP1
00000f08: DUP3
00000f09: MSTORE
00000f0a: DUP1
00000f0b: PUSH1 0x20
00000f0d: MUL
00000f0e: PUSH1 0x20
00000f10: ADD
00000f11: DUP3
00000f12: ADD
00000f13: PUSH1 0x40
00000f15: MSTORE
00000f16: JUMPDEST
00000f17: POP
00000f18: SWAP4
00000f19: POP
00000f1a: DUP8
00000f1b: SWAP1
00000f1c: POP
00000f1d: JUMPDEST
00000f1e: DUP7
00000f1f: DUP2
00000f20: LT
00000f21: ISZERO
00000f22: PUSH2 0x0f5c
00000f25: JUMPI
00000f26: DUP3
00000f27: DUP2
00000f28: DUP2
00000f29: MLOAD
00000f2a: DUP2
00000f2b: LT
00000f2c: PUSH2 0x0f31
00000f2f: JUMPI
00000f30: INVALID
00000f31: JUMPDEST
00000f32: SWAP1
00000f33: PUSH1 0x20
00000f35: ADD
00000f36: SWAP1
00000f37: PUSH1 0x20
00000f39: MUL
00000f3a: ADD
00000f3b: MLOAD
00000f3c: DUP5
00000f3d: DUP10
00000f3e: DUP4
00000f3f: SUB
00000f40: DUP2
00000f41: MLOAD
00000f42: DUP2
00000f43: LT
00000f44: PUSH2 0x0f49
00000f47: JUMPI
00000f48: INVALID
00000f49: JUMPDEST
00000f4a: PUSH1 0x20
00000f4c: SWAP1
00000f4d: DUP2
00000f4e: MUL
00000f4f: SWAP1
00000f50: SWAP2
00000f51: ADD
00000f52: ADD
00000f53: MSTORE
00000f54: JUMPDEST
00000f55: PUSH1 0x01
00000f57: ADD
00000f58: PUSH2 0x0f1d
00000f5b: JUMP
00000f5c: JUMPDEST
00000f5d: JUMPDEST
00000f5e: POP
00000f5f: POP
00000f60: POP
00000f61: SWAP5
00000f62: SWAP4
00000f63: POP
00000f64: POP
00000f65: POP
00000f66: POP
00000f67: JUMP
00000f68: JUMPDEST
00000f69: PUSH2 0x0f70
00000f6c: PUSH2 0x1556
00000f6f: JUMP
00000f70: JUMPDEST
00000f71: PUSH2 0x0f78
00000f74: PUSH2 0x1556
00000f77: JUMP
00000f78: JUMPDEST
00000f79: PUSH1 0x04
00000f7b: SLOAD
00000f7c: PUSH1 0x00
00000f7e: SWAP1
00000f7f: DUP2
00000f80: SWAP1
00000f81: PUSH1 0x40
00000f83: MLOAD
00000f84: DUP1
00000f85: MSIZE
00000f86: LT
00000f87: PUSH2 0x0f8d
00000f8a: JUMPI
00000f8b: POP
00000f8c: MSIZE
00000f8d: JUMPDEST
00000f8e: SWAP1
00000f8f: DUP1
00000f90: DUP3
00000f91: MSTORE
00000f92: DUP1
00000f93: PUSH1 0x20
00000f95: MUL
00000f96: PUSH1 0x20
00000f98: ADD
00000f99: DUP3
00000f9a: ADD
00000f9b: PUSH1 0x40
00000f9d: MSTORE
00000f9e: JUMPDEST
00000f9f: POP
00000fa0: SWAP3
00000fa1: POP
00000fa2: PUSH1 0x00
00000fa4: SWAP2
00000fa5: POP
00000fa6: PUSH1 0x00
00000fa8: SWAP1
00000fa9: POP
00000faa: JUMPDEST
00000fab: PUSH1 0x04
00000fad: SLOAD
00000fae: DUP2
00000faf: LT
00000fb0: ISZERO
00000fb1: PUSH2 0x1070
00000fb4: JUMPI
00000fb5: PUSH1 0x00
00000fb7: DUP6
00000fb8: DUP2
00000fb9: MSTORE
00000fba: PUSH1 0x02
00000fbc: PUSH1 0x20
00000fbe: MSTORE
00000fbf: PUSH1 0x40
00000fc1: DUP2
00000fc2: KECCAK256
00000fc3: PUSH1 0x04
00000fc5: DUP1
00000fc6: SLOAD
00000fc7: SWAP2
00000fc8: SWAP3
00000fc9: SWAP2
00000fca: DUP5
00000fcb: SWAP1
00000fcc: DUP2
00000fcd: LT
00000fce: PUSH2 0x0fd3
00000fd1: JUMPI
00000fd2: INVALID
00000fd3: JUMPDEST
00000fd4: SWAP1
00000fd5: PUSH1 0x00
00000fd7: MSTORE
00000fd8: PUSH1 0x20
00000fda: PUSH1 0x00
00000fdc: KECCAK256
00000fdd: SWAP1
00000fde: ADD
00000fdf: PUSH1 0x00
00000fe1: JUMPDEST
00000fe2: SWAP1
00000fe3: SLOAD
00000fe4: PUSH1 0x01
00000fe6: PUSH1 0xa0
00000fe8: PUSH1 0x02
00000fea: EXP
00000feb: SUB
00000fec: PUSH2 0x0100
00000fef: SWAP3
00000ff0: SWAP1
00000ff1: SWAP3
00000ff2: EXP
00000ff3: SWAP1
00000ff4: DIV
00000ff5: AND
00000ff6: DUP2
00000ff7: MSTORE
00000ff8: PUSH1 0x20
00000ffa: DUP2
00000ffb: ADD
00000ffc: SWAP2
00000ffd: SWAP1
00000ffe: SWAP2
00000fff: MSTORE
00001000: PUSH1 0x40
00001002: ADD
00001003: PUSH1 0x00
00001005: KECCAK256
00001006: SLOAD
00001007: PUSH1 0xff
00001009: AND
0000100a: ISZERO
0000100b: PUSH2 0x1067
0000100e: JUMPI
0000100f: PUSH1 0x04
00001011: DUP1
00001012: SLOAD
00001013: DUP3
00001014: SWAP1
00001015: DUP2
00001016: LT
00001017: PUSH2 0x101c
0000101a: JUMPI
0000101b: INVALID
0000101c: JUMPDEST
0000101d: SWAP1
0000101e: PUSH1 0x00
00001020: MSTORE
00001021: PUSH1 0x20
00001023: PUSH1 0x00
00001025: KECCAK256
00001026: SWAP1
00001027: ADD
00001028: PUSH1 0x00
0000102a: JUMPDEST
0000102b: SWAP1
0000102c: SLOAD
0000102d: SWAP1
0000102e: PUSH2 0x0100
00001031: EXP
00001032: SWAP1
00001033: DIV
00001034: PUSH1 0x01
00001036: PUSH1 0xa0
00001038: PUSH1 0x02
0000103a: EXP
0000103b: SUB
0000103c: AND
0000103d: DUP4
0000103e: DUP4
0000103f: DUP2
00001040: MLOAD
00001041: DUP2
00001042: LT
00001043: PUSH2 0x1048
00001046: JUMPI
00001047: INVALID
00001048: JUMPDEST
00001049: PUSH1 0x01
0000104b: PUSH1 0xa0
0000104d: PUSH1 0x02
0000104f: EXP
00001050: SUB
00001051: SWAP1
00001052: SWAP3
00001053: AND
00001054: PUSH1 0x20
00001056: SWAP3
00001057: DUP4
00001058: MUL
00001059: SWAP1
0000105a: SWAP2
0000105b: ADD
0000105c: SWAP1
0000105d: SWAP2
0000105e: ADD
0000105f: MSTORE
00001060: PUSH1 0x01
00001062: SWAP2
00001063: SWAP1
00001064: SWAP2
00001065: ADD
00001066: SWAP1
00001067: JUMPDEST
00001068: JUMPDEST
00001069: PUSH1 0x01
0000106b: ADD
0000106c: PUSH2 0x0faa
0000106f: JUMP
00001070: JUMPDEST
00001071: DUP2
00001072: PUSH1 0x40
00001074: MLOAD
00001075: DUP1
00001076: MSIZE
00001077: LT
00001078: PUSH2 0x107e
0000107b: JUMPI
0000107c: POP
0000107d: MSIZE
0000107e: JUMPDEST
0000107f: SWAP1
00001080: DUP1
00001081: DUP3
00001082: MSTORE
00001083: DUP1
00001084: PUSH1 0x20
00001086: MUL
00001087: PUSH1 0x20
00001089: ADD
0000108a: DUP3
0000108b: ADD
0000108c: PUSH1 0x40
0000108e: MSTORE
0000108f: JUMPDEST
00001090: POP
00001091: SWAP4
00001092: POP
00001093: PUSH1 0x00
00001095: SWAP1
00001096: POP
00001097: JUMPDEST
00001098: DUP2
00001099: DUP2
0000109a: LT
0000109b: ISZERO
0000109c: PUSH2 0x10e1
0000109f: JUMPI
000010a0: DUP3
000010a1: DUP2
000010a2: DUP2
000010a3: MLOAD
000010a4: DUP2
000010a5: LT
000010a6: PUSH2 0x10ab
000010a9: JUMPI
000010aa: INVALID
000010ab: JUMPDEST
000010ac: SWAP1
000010ad: PUSH1 0x20
000010af: ADD
000010b0: SWAP1
000010b1: PUSH1 0x20
000010b3: MUL
000010b4: ADD
000010b5: MLOAD
000010b6: DUP5
000010b7: DUP3
000010b8: DUP2
000010b9: MLOAD
000010ba: DUP2
000010bb: LT
000010bc: PUSH2 0x10c1
000010bf: JUMPI
000010c0: INVALID
000010c1: JUMPDEST
000010c2: PUSH1 0x01
000010c4: PUSH1 0xa0
000010c6: PUSH1 0x02
000010c8: EXP
000010c9: SUB
000010ca: SWAP1
000010cb: SWAP3
000010cc: AND
000010cd: PUSH1 0x20
000010cf: SWAP3
000010d0: DUP4
000010d1: MUL
000010d2: SWAP1
000010d3: SWAP2
000010d4: ADD
000010d5: SWAP1
000010d6: SWAP2
000010d7: ADD
000010d8: MSTORE
000010d9: JUMPDEST
000010da: PUSH1 0x01
000010dc: ADD
000010dd: PUSH2 0x1097
000010e0: JUMP
000010e1: JUMPDEST
000010e2: JUMPDEST
000010e3: POP
000010e4: POP
000010e5: POP
000010e6: SWAP2
000010e7: SWAP1
000010e8: POP
000010e9: JUMP
000010ea: JUMPDEST
000010eb: PUSH1 0x06
000010ed: SLOAD
000010ee: DUP2
000010ef: JUMP
000010f0: JUMPDEST
000010f1: ADDRESS
000010f2: PUSH1 0x01
000010f4: PUSH1 0xa0
000010f6: PUSH1 0x02
000010f8: EXP
000010f9: SUB
000010fa: AND
000010fb: CALLER
000010fc: PUSH1 0x01
000010fe: PUSH1 0xa0
00001100: PUSH1 0x02
00001102: EXP
00001103: SUB
00001104: AND
00001105: EQ
00001106: ISZERO
00001107: ISZERO
00001108: PUSH2 0x1110
0000110b: JUMPI
0000110c: PUSH1 0x00
0000110e: DUP1
0000110f: REVERT
00001110: JUMPDEST
00001111: PUSH1 0x04
00001113: SLOAD
00001114: DUP2
00001115: PUSH1 0x32
00001117: DUP3
00001118: GT
00001119: ISZERO
0000111a: PUSH2 0x1122
0000111d: JUMPI
0000111e: PUSH1 0x00
00001120: DUP1
00001121: REVERT
00001122: JUMPDEST
00001123: DUP2
00001124: DUP2
00001125: GT
00001126: ISZERO
00001127: PUSH2 0x112f
0000112a: JUMPI
0000112b: PUSH1 0x00
0000112d: DUP1
0000112e: REVERT
0000112f: JUMPDEST
00001130: DUP1
00001131: ISZERO
00001132: ISZERO
00001133: PUSH2 0x113b
00001136: JUMPI
00001137: PUSH1 0x00
00001139: DUP1
0000113a: REVERT
0000113b: JUMPDEST
0000113c: DUP2
0000113d: ISZERO
0000113e: ISZERO
0000113f: PUSH2 0x1147
00001142: JUMPI
00001143: PUSH1 0x00
00001145: DUP1
00001146: REVERT
00001147: JUMPDEST
00001148: PUSH1 0x05
0000114a: DUP4
0000114b: SWAP1
0000114c: SSTORE
0000114d: PUSH32 0xa3f1ee9126a074d9326c682f561767f710e927faa811f7a99829d49dc421797a
0000116e: DUP4
0000116f: PUSH1 0x40
00001171: MLOAD
00001172: SWAP1
00001173: DUP2
00001174: MSTORE
00001175: PUSH1 0x20
00001177: ADD
00001178: PUSH1 0x40
0000117a: MLOAD
0000117b: DUP1
0000117c: SWAP2
0000117d: SUB
0000117e: SWAP1
0000117f: LOG1
00001180: JUMPDEST
00001181: JUMPDEST
00001182: POP
00001183: POP
00001184: JUMPDEST
00001185: POP
00001186: JUMP
00001187: JUMPDEST
00001188: CALLER
00001189: PUSH1 0x01
0000118b: PUSH1 0xa0
0000118d: PUSH1 0x02
0000118f: EXP
00001190: SUB
00001191: DUP2
00001192: AND
00001193: PUSH1 0x00
00001195: SWAP1
00001196: DUP2
00001197: MSTORE
00001198: PUSH1 0x03
0000119a: PUSH1 0x20
0000119c: MSTORE
0000119d: PUSH1 0x40
0000119f: SWAP1
000011a0: KECCAK256
000011a1: SLOAD
000011a2: PUSH1 0xff
000011a4: AND
000011a5: ISZERO
000011a6: ISZERO
000011a7: PUSH2 0x11af
000011aa: JUMPI
000011ab: PUSH1 0x00
000011ad: DUP1
000011ae: REVERT
000011af: JUMPDEST
000011b0: PUSH1 0x00
000011b2: DUP3
000011b3: DUP2
000011b4: MSTORE
000011b5: PUSH1 0x01
000011b7: PUSH1 0x20
000011b9: MSTORE
000011ba: PUSH1 0x40
000011bc: SWAP1
000011bd: KECCAK256
000011be: SLOAD
000011bf: DUP3
000011c0: SWAP1
000011c1: PUSH1 0x01
000011c3: PUSH1 0xa0
000011c5: PUSH1 0x02
000011c7: EXP
000011c8: SUB
000011c9: AND
000011ca: ISZERO
000011cb: ISZERO
000011cc: PUSH2 0x11d4
000011cf: JUMPI
000011d0: PUSH1 0x00
000011d2: DUP1
000011d3: REVERT
000011d4: JUMPDEST
000011d5: PUSH1 0x00
000011d7: DUP4
000011d8: DUP2
000011d9: MSTORE
000011da: PUSH1 0x02
000011dc: PUSH1 0x20
000011de: SWAP1
000011df: DUP2
000011e0: MSTORE
000011e1: PUSH1 0x40
000011e3: DUP1
000011e4: DUP4
000011e5: KECCAK256
000011e6: CALLER
000011e7: PUSH1 0x01
000011e9: PUSH1 0xa0
000011eb: PUSH1 0x02
000011ed: EXP
000011ee: SUB
000011ef: DUP2
000011f0: AND
000011f1: DUP6
000011f2: MSTORE
000011f3: SWAP3
000011f4: MSTORE
000011f5: SWAP1
000011f6: SWAP2
000011f7: KECCAK256
000011f8: SLOAD
000011f9: DUP5
000011fa: SWAP2
000011fb: SWAP1
000011fc: PUSH1 0xff
000011fe: AND
000011ff: ISZERO
00001200: PUSH2 0x1208
00001203: JUMPI
00001204: PUSH1 0x00
00001206: DUP1
00001207: REVERT
00001208: JUMPDEST
00001209: PUSH1 0x00
0000120b: DUP6
0000120c: DUP2
0000120d: MSTORE
0000120e: PUSH1 0x02
00001210: PUSH1 0x20
00001212: SWAP1
00001213: DUP2
00001214: MSTORE
00001215: PUSH1 0x40
00001217: DUP1
00001218: DUP4
00001219: KECCAK256
0000121a: PUSH1 0x01
0000121c: PUSH1 0xa0
0000121e: PUSH1 0x02
00001220: EXP
00001221: SUB
00001222: CALLER
00001223: AND
00001224: DUP1
00001225: DUP6
00001226: MSTORE
00001227: SWAP3
00001228: MSTORE
00001229: SWAP2
0000122a: DUP3
0000122b: SWAP1
0000122c: KECCAK256
0000122d: DUP1
0000122e: SLOAD
0000122f: PUSH1 0xff
00001231: NOT
00001232: AND
00001233: PUSH1 0x01
00001235: OR
00001236: SWAP1
00001237: SSTORE
00001238: DUP7
00001239: SWAP2
0000123a: PUSH32 0x4a504a94899432a9846e1aa406dceb1bcfd538bb839071d49d1e5e23f5be30ef
0000125b: SWAP1
0000125c: MLOAD
0000125d: PUSH1 0x40
0000125f: MLOAD
00001260: DUP1
00001261: SWAP2
00001262: SUB
00001263: SWAP1
00001264: LOG3
00001265: PUSH2 0x0904
00001268: DUP6
00001269: PUSH2 0x12a3
0000126c: JUMP
0000126d: JUMPDEST
0000126e: JUMPDEST
0000126f: JUMPDEST
00001270: POP
00001271: POP
00001272: JUMPDEST
00001273: POP
00001274: JUMPDEST
00001275: POP
00001276: POP
00001277: JUMP
00001278: JUMPDEST
00001279: PUSH1 0x00
0000127b: PUSH2 0x1285
0000127e: DUP5
0000127f: DUP5
00001280: DUP5
00001281: PUSH2 0x1402
00001284: JUMP
00001285: JUMPDEST
00001286: SWAP1
00001287: POP
00001288: PUSH2 0x1290
0000128b: DUP2
0000128c: PUSH2 0x1187
0000128f: JUMP
00001290: JUMPDEST
00001291: JUMPDEST
00001292: SWAP4
00001293: SWAP3
00001294: POP
00001295: POP
00001296: POP
00001297: JUMP
00001298: JUMPDEST
00001299: PUSH1 0x32
0000129b: DUP2
0000129c: JUMP
0000129d: JUMPDEST
0000129e: PUSH1 0x05
000012a0: SLOAD
000012a1: DUP2
000012a2: JUMP
000012a3: JUMPDEST
000012a4: PUSH1 0x00
000012a6: DUP2
000012a7: DUP2
000012a8: MSTORE
000012a9: PUSH1 0x01
000012ab: PUSH1 0x20
000012ad: MSTORE
000012ae: PUSH1 0x40
000012b0: DUP2
000012b1: KECCAK256
000012b2: PUSH1 0x03
000012b4: ADD
000012b5: SLOAD
000012b6: DUP3
000012b7: SWAP1
000012b8: PUSH1 0xff
000012ba: AND
000012bb: ISZERO
000012bc: PUSH2 0x12c4
000012bf: JUMPI
000012c0: PUSH1 0x00
000012c2: DUP1
000012c3: REVERT
000012c4: JUMPDEST
000012c5: PUSH2 0x12cd
000012c8: DUP4
000012c9: PUSH2 0x0af9
000012cc: JUMP
000012cd: JUMPDEST
000012ce: ISZERO
000012cf: PUSH2 0x0825
000012d2: JUMPI
000012d3: PUSH1 0x00
000012d5: DUP4
000012d6: DUP2
000012d7: MSTORE
000012d8: PUSH1 0x01
000012da: PUSH1 0x20
000012dc: DUP2
000012dd: SWAP1
000012de: MSTORE
000012df: PUSH1 0x40
000012e1: SWAP2
000012e2: DUP3
000012e3: SWAP1
000012e4: KECCAK256
000012e5: PUSH1 0x03
000012e7: DUP2
000012e8: ADD
000012e9: DUP1
000012ea: SLOAD
000012eb: PUSH1 0xff
000012ed: NOT
000012ee: AND
000012ef: DUP4
000012f0: OR
000012f1: SWAP1
000012f2: SSTORE
000012f3: DUP1
000012f4: SLOAD
000012f5: SWAP2
000012f6: DUP2
000012f7: ADD
000012f8: SLOAD
000012f9: SWAP1
000012fa: SWAP5
000012fb: POP
000012fc: PUSH1 0x01
000012fe: PUSH1 0xa0
00001300: PUSH1 0x02
00001302: EXP
00001303: SUB
00001304: SWAP1
00001305: SWAP2
00001306: AND
00001307: SWAP2
00001308: PUSH1 0x02
0000130a: DUP6
0000130b: ADD
0000130c: SWAP1
0000130d: MLOAD
0000130e: DUP1
0000130f: DUP3
00001310: DUP1
00001311: SLOAD
00001312: PUSH1 0x01
00001314: DUP2
00001315: PUSH1 0x01
00001317: AND
00001318: ISZERO
00001319: PUSH2 0x0100
0000131c: MUL
0000131d: SUB
0000131e: AND
0000131f: PUSH1 0x02
00001321: SWAP1
00001322: DIV
00001323: DUP1
00001324: ISZERO
00001325: PUSH2 0x136f
00001328: JUMPI
00001329: DUP1
0000132a: PUSH1 0x1f
0000132c: LT
0000132d: PUSH2 0x1344
00001330: JUMPI
00001331: PUSH2 0x0100
00001334: DUP1
00001335: DUP4
00001336: SLOAD
00001337: DIV
00001338: MUL
00001339: DUP4
0000133a: MSTORE
0000133b: SWAP2
0000133c: PUSH1 0x20
0000133e: ADD
0000133f: SWAP2
00001340: PUSH2 0x136f
00001343: JUMP
00001344: JUMPDEST
00001345: DUP3
00001346: ADD
00001347: SWAP2
00001348: SWAP1
00001349: PUSH1 0x00
0000134b: MSTORE
0000134c: PUSH1 0x20
0000134e: PUSH1 0x00
00001350: KECCAK256
00001351: SWAP1
00001352: JUMPDEST
00001353: DUP2
00001354: SLOAD
00001355: DUP2
00001356: MSTORE
00001357: SWAP1
00001358: PUSH1 0x01
0000135a: ADD
0000135b: SWAP1
0000135c: PUSH1 0x20
0000135e: ADD
0000135f: DUP1
00001360: DUP4
00001361: GT
00001362: PUSH2 0x1352
00001365: JUMPI
00001366: DUP3
00001367: SWAP1
00001368: SUB
00001369: PUSH1 0x1f
0000136b: AND
0000136c: DUP3
0000136d: ADD
0000136e: SWAP2
0000136f: JUMPDEST
00001370: POP
00001371: POP
00001372: SWAP2
00001373: POP
00001374: POP
00001375: PUSH1 0x00
00001377: PUSH1 0x40
00001379: MLOAD
0000137a: DUP1
0000137b: DUP4
0000137c: SUB
0000137d: DUP2
0000137e: DUP6
0000137f: DUP8
00001380: PUSH2 0x8796
00001383: GAS
00001384: SUB
00001385: CALL
00001386: SWAP3
00001387: POP
00001388: POP
00001389: POP
0000138a: ISZERO
0000138b: PUSH2 0x13c0
0000138e: JUMPI
0000138f: DUP3
00001390: PUSH32 0x33e13ecb54c3076d8e8bb8c2881800a4d972b792045ffae98fdf46df365fed75
000013b1: PUSH1 0x40
000013b3: MLOAD
000013b4: PUSH1 0x40
000013b6: MLOAD
000013b7: DUP1
000013b8: SWAP2
000013b9: SUB
000013ba: SWAP1
000013bb: LOG2
000013bc: PUSH2 0x0825
000013bf: JUMP
000013c0: JUMPDEST
000013c1: DUP3
000013c2: PUSH32 0x526441bb6c1aba3c9a4a6ca1d6545da9c2333c8c48343ef398eb858d72b79236
000013e3: PUSH1 0x40
000013e5: MLOAD
000013e6: PUSH1 0x40
000013e8: MLOAD
000013e9: DUP1
000013ea: SWAP2
000013eb: SUB
000013ec: SWAP1
000013ed: LOG2
000013ee: PUSH1 0x03
000013f0: DUP3
000013f1: ADD
000013f2: DUP1
000013f3: SLOAD
000013f4: PUSH1 0xff
000013f6: NOT
000013f7: AND
000013f8: SWAP1
000013f9: SSTORE
000013fa: JUMPDEST
000013fb: JUMPDEST
000013fc: JUMPDEST
000013fd: JUMPDEST
000013fe: POP
000013ff: POP
00001400: POP
00001401: JUMP
00001402: JUMPDEST
00001403: PUSH1 0x00
00001405: DUP4
00001406: PUSH1 0x01
00001408: PUSH1 0xa0
0000140a: PUSH1 0x02
0000140c: EXP
0000140d: SUB
0000140e: DUP2
0000140f: AND
00001410: ISZERO
00001411: ISZERO
00001412: PUSH2 0x141a
00001415: JUMPI
00001416: PUSH1 0x00
00001418: DUP1
00001419: REVERT
0000141a: JUMPDEST
0000141b: PUSH1 0x06
0000141d: SLOAD
0000141e: SWAP2
0000141f: POP
00001420: PUSH1 0x80
00001422: PUSH1 0x40
00001424: MLOAD
00001425: SWAP1
00001426: DUP2
00001427: ADD
00001428: PUSH1 0x40
0000142a: SWAP1
0000142b: DUP2
0000142c: MSTORE
0000142d: PUSH1 0x01
0000142f: PUSH1 0xa0
00001431: PUSH1 0x02
00001433: EXP
00001434: SUB
00001435: DUP8
00001436: AND
00001437: DUP3
00001438: MSTORE
00001439: PUSH1 0x20
0000143b: DUP1
0000143c: DUP4
0000143d: ADD
0000143e: DUP8
0000143f: SWAP1
00001440: MSTORE
00001441: DUP2
00001442: DUP4
00001443: ADD
00001444: DUP7
00001445: SWAP1
00001446: MSTORE
00001447: PUSH1 0x00
00001449: PUSH1 0x60
0000144b: DUP5
0000144c: ADD
0000144d: DUP2
0000144e: SWAP1
0000144f: MSTORE
00001450: DUP6
00001451: DUP2
00001452: MSTORE
00001453: PUSH1 0x01
00001455: SWAP1
00001456: SWAP2
00001457: MSTORE
00001458: KECCAK256
00001459: DUP2
0000145a: MLOAD
0000145b: DUP2
0000145c: SLOAD
0000145d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001472: NOT
00001473: AND
00001474: PUSH1 0x01
00001476: PUSH1 0xa0
00001478: PUSH1 0x02
0000147a: EXP
0000147b: SUB
0000147c: SWAP2
0000147d: SWAP1
0000147e: SWAP2
0000147f: AND
00001480: OR
00001481: DUP2
00001482: SSTORE
00001483: PUSH1 0x20
00001485: DUP3
00001486: ADD
00001487: MLOAD
00001488: DUP2
00001489: PUSH1 0x01
0000148b: ADD
0000148c: SSTORE
0000148d: PUSH1 0x40
0000148f: DUP3
00001490: ADD
00001491: MLOAD
00001492: DUP2
00001493: PUSH1 0x02
00001495: ADD
00001496: SWAP1
00001497: DUP1
00001498: MLOAD
00001499: PUSH2 0x14a6
0000149c: SWAP3
0000149d: SWAP2
0000149e: PUSH1 0x20
000014a0: ADD
000014a1: SWAP1
000014a2: PUSH2 0x157a
000014a5: JUMP
000014a6: JUMPDEST
000014a7: POP
000014a8: PUSH1 0x60
000014aa: DUP3
000014ab: ADD
000014ac: MLOAD
000014ad: PUSH1 0x03
000014af: SWAP2
000014b0: SWAP1
000014b1: SWAP2
000014b2: ADD
000014b3: DUP1
000014b4: SLOAD
000014b5: PUSH1 0xff
000014b7: NOT
000014b8: AND
000014b9: SWAP2
000014ba: ISZERO
000014bb: ISZERO
000014bc: SWAP2
000014bd: SWAP1
000014be: SWAP2
000014bf: OR
000014c0: SWAP1
000014c1: SSTORE
000014c2: POP
000014c3: PUSH1 0x06
000014c5: DUP1
000014c6: SLOAD
000014c7: PUSH1 0x01
000014c9: ADD
000014ca: SWAP1
000014cb: SSTORE
000014cc: DUP2
000014cd: PUSH32 0xc0ba8fe4b176c1714197d43b9cc6bcf797a4a7461c5fe8d0ef6e184ae7601e51
000014ee: PUSH1 0x40
000014f0: MLOAD
000014f1: PUSH1 0x40
000014f3: MLOAD
000014f4: DUP1
000014f5: SWAP2
000014f6: SUB
000014f7: SWAP1
000014f8: LOG2
000014f9: JUMPDEST
000014fa: JUMPDEST
000014fb: POP
000014fc: SWAP4
000014fd: SWAP3
000014fe: POP
000014ff: POP
00001500: POP
00001501: JUMP
00001502: JUMPDEST
00001503: DUP2
00001504: SLOAD
00001505: DUP2
00001506: DUP4
00001507: SSTORE
00001508: DUP2
00001509: DUP2
0000150a: ISZERO
0000150b: GT
0000150c: PUSH2 0x0825
0000150f: JUMPI
00001510: PUSH1 0x00
00001512: DUP4
00001513: DUP2
00001514: MSTORE
00001515: PUSH1 0x20
00001517: SWAP1
00001518: KECCAK256
00001519: PUSH2 0x0825
0000151c: SWAP2
0000151d: DUP2
0000151e: ADD
0000151f: SWAP1
00001520: DUP4
00001521: ADD
00001522: PUSH2 0x15f9
00001525: JUMP
00001526: JUMPDEST
00001527: JUMPDEST
00001528: POP
00001529: POP
0000152a: POP
0000152b: JUMP
0000152c: JUMPDEST
0000152d: DUP2
0000152e: SLOAD
0000152f: DUP2
00001530: DUP4
00001531: SSTORE
00001532: DUP2
00001533: DUP2
00001534: ISZERO
00001535: GT
00001536: PUSH2 0x0825
00001539: JUMPI
0000153a: PUSH1 0x00
0000153c: DUP4
0000153d: DUP2
0000153e: MSTORE
0000153f: PUSH1 0x20
00001541: SWAP1
00001542: KECCAK256
00001543: PUSH2 0x0825
00001546: SWAP2
00001547: DUP2
00001548: ADD
00001549: SWAP1
0000154a: DUP4
0000154b: ADD
0000154c: PUSH2 0x15f9
0000154f: JUMP
00001550: JUMPDEST
00001551: JUMPDEST
00001552: POP
00001553: POP
00001554: POP
00001555: JUMP
00001556: JUMPDEST
00001557: PUSH1 0x20
00001559: PUSH1 0x40
0000155b: MLOAD
0000155c: SWAP1
0000155d: DUP2
0000155e: ADD
0000155f: PUSH1 0x40
00001561: MSTORE
00001562: PUSH1 0x00
00001564: DUP2
00001565: MSTORE
00001566: SWAP1
00001567: JUMP
00001568: JUMPDEST
00001569: PUSH1 0x20
0000156b: PUSH1 0x40
0000156d: MLOAD
0000156e: SWAP1
0000156f: DUP2
00001570: ADD
00001571: PUSH1 0x40
00001573: MSTORE
00001574: PUSH1 0x00
00001576: DUP2
00001577: MSTORE
00001578: SWAP1
00001579: JUMP
0000157a: JUMPDEST
0000157b: DUP3
0000157c: DUP1
0000157d: SLOAD
0000157e: PUSH1 0x01
00001580: DUP2
00001581: PUSH1 0x01
00001583: AND
00001584: ISZERO
00001585: PUSH2 0x0100
00001588: MUL
00001589: SUB
0000158a: AND
0000158b: PUSH1 0x02
0000158d: SWAP1
0000158e: DIV
0000158f: SWAP1
00001590: PUSH1 0x00
00001592: MSTORE
00001593: PUSH1 0x20
00001595: PUSH1 0x00
00001597: KECCAK256
00001598: SWAP1
00001599: PUSH1 0x1f
0000159b: ADD
0000159c: PUSH1 0x20
0000159e: SWAP1
0000159f: DIV
000015a0: DUP2
000015a1: ADD
000015a2: SWAP3
000015a3: DUP3
000015a4: PUSH1 0x1f
000015a6: LT
000015a7: PUSH2 0x15bb
000015aa: JUMPI
000015ab: DUP1
000015ac: MLOAD
000015ad: PUSH1 0xff
000015af: NOT
000015b0: AND
000015b1: DUP4
000015b2: DUP1
000015b3: ADD
000015b4: OR
000015b5: DUP6
000015b6: SSTORE
000015b7: PUSH2 0x15e8
000015ba: JUMP
000015bb: JUMPDEST
000015bc: DUP3
000015bd: DUP1
000015be: ADD
000015bf: PUSH1 0x01
000015c1: ADD
000015c2: DUP6
000015c3: SSTORE
000015c4: DUP3
000015c5: ISZERO
000015c6: PUSH2 0x15e8
000015c9: JUMPI
000015ca: SWAP2
000015cb: DUP3
000015cc: ADD
000015cd: JUMPDEST
000015ce: DUP3
000015cf: DUP2
000015d0: GT
000015d1: ISZERO
000015d2: PUSH2 0x15e8
000015d5: JUMPI
000015d6: DUP3
000015d7: MLOAD
000015d8: DUP3
000015d9: SSTORE
000015da: SWAP2
000015db: PUSH1 0x20
000015dd: ADD
000015de: SWAP2
000015df: SWAP1
000015e0: PUSH1 0x01
000015e2: ADD
000015e3: SWAP1
000015e4: PUSH2 0x15cd
000015e7: JUMP
000015e8: JUMPDEST
000015e9: JUMPDEST
000015ea: POP
000015eb: PUSH2 0x15f5
000015ee: SWAP3
000015ef: SWAP2
000015f0: POP
000015f1: PUSH2 0x15f9
000015f4: JUMP
000015f5: JUMPDEST
000015f6: POP
000015f7: SWAP1
000015f8: JUMP
000015f9: JUMPDEST
000015fa: PUSH2 0x0e37
000015fd: SWAP2
000015fe: SWAP1
000015ff: JUMPDEST
00001600: DUP1
00001601: DUP3
00001602: GT
00001603: ISZERO
00001604: PUSH2 0x15f5
00001607: JUMPI
00001608: PUSH1 0x00
0000160a: DUP2
0000160b: SSTORE
0000160c: PUSH1 0x01
0000160e: ADD
0000160f: PUSH2 0x15ff
00001612: JUMP
00001613: JUMPDEST
00001614: POP
00001615: SWAP1
00001616: JUMP
00001617: JUMPDEST
00001618: SWAP1
00001619: JUMP
0000161a: STOP
0000161b: LOG1
0000161c: PUSH6 0x627a7a723058
00001623: KECCAK256
00001624: UNKNOWN(0xE2)
00001625: PUSH22 0x06079f5004cd35508c855ffd66af20227b1805845fe2
0000163c: DIV
0000163d: DUP2
0000163e: PC
0000163f: UNKNOWN(0xD5)
00001640: PUSH3 0x22bd73
00001644: STOP
00001645: UNKNOWN(0x29)
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: 0x9663ec1fe67a83a3685d2e59b27c478ef49b60039becac2227bcc6708f5b3540 call_targets: 0xc87b1bf162c1719e3ffdf34995d1853192d6633b target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x9663ec1fe67a83a3685d2e59b27c478ef49b60039becac2227bcc6708f5b3540", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xc87b1bf162c1719e3ffdf34995d1853192d6633b" ], "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": "0x025e7c27", "selector": "0x025e7c27", "calldata_variants": [ "0x025e7c27", "0x025e7c270000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x173825d9", "selector": "0x173825d9", "calldata_variants": [ "0x173825d9", "0x173825d90000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x20ea8d86", "selector": "0x20ea8d86", "calldata_variants": [ "0x20ea8d86", "0x20ea8d860000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x2f54bf6e", "selector": "0x2f54bf6e", "calldata_variants": [ "0x2f54bf6e", "0x2f54bf6e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x3411c81c", "selector": "0x3411c81c", "calldata_variants": [ "0x3411c81c", "0x3411c81c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x4c3a6ae0", "selector": "0x4c3a6ae0", "calldata_variants": [ "0x4c3a6ae0", "0x4c3a6ae00000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x54741525", "selector": "0x54741525", "calldata_variants": [ "0x54741525", "0x547415250000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x7065cb48", "selector": "0x7065cb48", "calldata_variants": [ "0x7065cb48", "0x7065cb480000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 4997, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 1, "guards_detected": [], "untrusted_call_count": 1 }
high	other	detector	ETH value transfer possible	55	no	no	view trace_id: 0x9663ec1fe67a83a3685d2e59b27c478ef49b60039becac2227bcc6708f5b3540 call_targets: 0xc87b1bf162c1719e3ffdf34995d1853192d6633b target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x9663ec1fe67a83a3685d2e59b27c478ef49b60039becac2227bcc6708f5b3540", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xc87b1bf162c1719e3ffdf34995d1853192d6633b" ], "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": "0x025e7c27", "selector": "0x025e7c27", "calldata_variants": [ "0x025e7c27", "0x025e7c270000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x173825d9", "selector": "0x173825d9", "calldata_variants": [ "0x173825d9", "0x173825d90000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x20ea8d86", "selector": "0x20ea8d86", "calldata_variants": [ "0x20ea8d86", "0x20ea8d860000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x2f54bf6e", "selector": "0x2f54bf6e", "calldata_variants": [ "0x2f54bf6e", "0x2f54bf6e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x3411c81c", "selector": "0x3411c81c", "calldata_variants": [ "0x3411c81c", "0x3411c81c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x4c3a6ae0", "selector": "0x4c3a6ae0", "calldata_variants": [ "0x4c3a6ae0", "0x4c3a6ae00000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x54741525", "selector": "0x54741525", "calldata_variants": [ "0x54741525", "0x547415250000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x7065cb48", "selector": "0x7065cb48", "calldata_variants": [ "0x7065cb48", "0x7065cb480000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 4997, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 1, "guards_detected": [] }
Severity