Analysis Run

019b3844-8215-70cb-a821-92b606dad5e2

complete

Chain ID

1

Address

0x6d5719ff464c6624c30225931393f842e3a4a41a

Block Number

—

Created

Fri, Dec 19, 2025 8:19 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 DELEGATECALL target reachable

crit 0 high 0 direct contract

Review Checklist

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

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

3. Confirm money or privilege impact.

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

Processing Jobs

Status & attempts

ID	Type	Status	Attempts	Heartbeat
10117	artifact.fetch	complete	1 / 3	3 months ago
10118	tool.cast_disasm	complete	1 / 3	3 months ago
53640	analysis.bundle	complete	1 / 3	1 week ago
53641	capability.graph	complete	1 / 3	1 week ago
53642	detector.run	complete	1 / 3	1 week ago
53643	validation.fork	complete	1 / 3	1 week 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

1

Selfdestruct

1

CREATE2

0

CALL-family (heavy)

2

EXT*/BALANCE

0

Total opcodes

4243

Flags

delegatecall_present selfdestruct_present

View cast disassembly output

00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLDATASIZE
00000006: ISZERO
00000007: PUSH2 0x0103
0000000a: JUMPI
0000000b: PUSH1 0x00
0000000d: CALLDATALOAD
0000000e: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
0000002c: SWAP1
0000002d: DIV
0000002e: DUP1
0000002f: PUSH4 0x173825d9
00000034: EQ
00000035: PUSH2 0x0120
00000038: JUMPI
00000039: DUP1
0000003a: PUSH4 0x2f54bf6e
0000003f: EQ
00000040: PUSH2 0x0138
00000043: JUMPI
00000044: DUP1
00000045: PUSH4 0x4123cb6b
0000004a: EQ
0000004b: PUSH2 0x0166
0000004e: JUMPI
0000004f: DUP1
00000050: PUSH4 0x52375093
00000055: EQ
00000056: PUSH2 0x0189
00000059: JUMPI
0000005a: DUP1
0000005b: PUSH4 0x54fd4d50
00000060: EQ
00000061: PUSH2 0x01ac
00000064: JUMPI
00000065: DUP1
00000066: PUSH4 0x5c52c2f5
0000006b: EQ
0000006c: PUSH2 0x01cf
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0x659010e7
00000076: EQ
00000077: PUSH2 0x01de
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0x7065cb48
00000081: EQ
00000082: PUSH2 0x0201
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0x746c9171
0000008c: EQ
0000008d: PUSH2 0x0219
00000090: JUMPI
00000091: DUP1
00000092: PUSH4 0x797af627
00000097: EQ
00000098: PUSH2 0x023c
0000009b: JUMPI
0000009c: DUP1
0000009d: PUSH4 0xb20d30a9
000000a2: EQ
000000a3: PUSH2 0x026a
000000a6: JUMPI
000000a7: DUP1
000000a8: PUSH4 0xb61d27f6
000000ad: EQ
000000ae: PUSH2 0x0282
000000b1: JUMPI
000000b2: DUP1
000000b3: PUSH4 0xb75c7dc6
000000b8: EQ
000000b9: PUSH2 0x02cf
000000bc: JUMPI
000000bd: DUP1
000000be: PUSH4 0xba51a6df
000000c3: EQ
000000c4: PUSH2 0x02e7
000000c7: JUMPI
000000c8: DUP1
000000c9: PUSH4 0xc2cf7326
000000ce: EQ
000000cf: PUSH2 0x02ff
000000d2: JUMPI
000000d3: DUP1
000000d4: PUSH4 0xcbf0b0c0
000000d9: EQ
000000da: PUSH2 0x0336
000000dd: JUMPI
000000de: DUP1
000000df: PUSH4 0xe1fffcc4
000000e4: EQ
000000e5: PUSH2 0x034e
000000e8: JUMPI
000000e9: DUP1
000000ea: PUSH4 0xf00d4b5d
000000ef: EQ
000000f0: PUSH2 0x036f
000000f3: JUMPI
000000f4: DUP1
000000f5: PUSH4 0xf1736d86
000000fa: EQ
000000fb: PUSH2 0x0390
000000fe: JUMPI
000000ff: PUSH2 0x0103
00000102: JUMP
00000103: JUMPDEST
00000104: PUSH2 0x011e
00000107: JUMPDEST
00000108: PUSH1 0x00
0000010a: CALLVALUE
0000010b: GT
0000010c: ISZERO
0000010d: PUSH2 0x011b
00000110: JUMPI
00000111: PUSH2 0x011a
00000114: CALLER
00000115: CALLVALUE
00000116: PUSH2 0x03b3
00000119: JUMP
0000011a: JUMPDEST
0000011b: JUMPDEST
0000011c: JUMPDEST
0000011d: JUMP
0000011e: JUMPDEST
0000011f: STOP
00000120: JUMPDEST
00000121: PUSH2 0x0136
00000124: PUSH1 0x04
00000126: DUP1
00000127: DUP1
00000128: CALLDATALOAD
00000129: SWAP1
0000012a: PUSH1 0x20
0000012c: ADD
0000012d: SWAP1
0000012e: SWAP2
0000012f: SWAP1
00000130: POP
00000131: POP
00000132: PUSH2 0x045c
00000135: JUMP
00000136: JUMPDEST
00000137: STOP
00000138: JUMPDEST
00000139: PUSH2 0x014e
0000013c: PUSH1 0x04
0000013e: DUP1
0000013f: DUP1
00000140: CALLDATALOAD
00000141: SWAP1
00000142: PUSH1 0x20
00000144: ADD
00000145: SWAP1
00000146: SWAP2
00000147: SWAP1
00000148: POP
00000149: POP
0000014a: PUSH2 0x05a7
0000014d: JUMP
0000014e: JUMPDEST
0000014f: PUSH1 0x40
00000151: MLOAD
00000152: DUP1
00000153: DUP3
00000154: ISZERO
00000155: ISZERO
00000156: DUP2
00000157: MSTORE
00000158: PUSH1 0x20
0000015a: ADD
0000015b: SWAP2
0000015c: POP
0000015d: POP
0000015e: PUSH1 0x40
00000160: MLOAD
00000161: DUP1
00000162: SWAP2
00000163: SUB
00000164: SWAP1
00000165: RETURN
00000166: JUMPDEST
00000167: PUSH2 0x0173
0000016a: PUSH1 0x04
0000016c: DUP1
0000016d: POP
0000016e: POP
0000016f: PUSH2 0x05e9
00000172: JUMP
00000173: JUMPDEST
00000174: PUSH1 0x40
00000176: MLOAD
00000177: DUP1
00000178: DUP3
00000179: DUP2
0000017a: MSTORE
0000017b: PUSH1 0x20
0000017d: ADD
0000017e: SWAP2
0000017f: POP
00000180: POP
00000181: PUSH1 0x40
00000183: MLOAD
00000184: DUP1
00000185: SWAP2
00000186: SUB
00000187: SWAP1
00000188: RETURN
00000189: JUMPDEST
0000018a: PUSH2 0x0196
0000018d: PUSH1 0x04
0000018f: DUP1
00000190: POP
00000191: POP
00000192: PUSH2 0x05f2
00000195: JUMP
00000196: JUMPDEST
00000197: PUSH1 0x40
00000199: MLOAD
0000019a: DUP1
0000019b: DUP3
0000019c: DUP2
0000019d: MSTORE
0000019e: PUSH1 0x20
000001a0: ADD
000001a1: SWAP2
000001a2: POP
000001a3: POP
000001a4: PUSH1 0x40
000001a6: MLOAD
000001a7: DUP1
000001a8: SWAP2
000001a9: SUB
000001aa: SWAP1
000001ab: RETURN
000001ac: JUMPDEST
000001ad: PUSH2 0x01b9
000001b0: PUSH1 0x04
000001b2: DUP1
000001b3: POP
000001b4: POP
000001b5: PUSH2 0x05fc
000001b8: JUMP
000001b9: JUMPDEST
000001ba: PUSH1 0x40
000001bc: MLOAD
000001bd: DUP1
000001be: DUP3
000001bf: DUP2
000001c0: MSTORE
000001c1: PUSH1 0x20
000001c3: ADD
000001c4: SWAP2
000001c5: POP
000001c6: POP
000001c7: PUSH1 0x40
000001c9: MLOAD
000001ca: DUP1
000001cb: SWAP2
000001cc: SUB
000001cd: SWAP1
000001ce: RETURN
000001cf: JUMPDEST
000001d0: PUSH2 0x01dc
000001d3: PUSH1 0x04
000001d5: DUP1
000001d6: POP
000001d7: POP
000001d8: PUSH2 0x0606
000001db: JUMP
000001dc: JUMPDEST
000001dd: STOP
000001de: JUMPDEST
000001df: PUSH2 0x01eb
000001e2: PUSH1 0x04
000001e4: DUP1
000001e5: POP
000001e6: POP
000001e7: PUSH2 0x064b
000001ea: JUMP
000001eb: JUMPDEST
000001ec: PUSH1 0x40
000001ee: MLOAD
000001ef: DUP1
000001f0: DUP3
000001f1: DUP2
000001f2: MSTORE
000001f3: PUSH1 0x20
000001f5: ADD
000001f6: SWAP2
000001f7: POP
000001f8: POP
000001f9: PUSH1 0x40
000001fb: MLOAD
000001fc: DUP1
000001fd: SWAP2
000001fe: SUB
000001ff: SWAP1
00000200: RETURN
00000201: JUMPDEST
00000202: PUSH2 0x0217
00000205: PUSH1 0x04
00000207: DUP1
00000208: DUP1
00000209: CALLDATALOAD
0000020a: SWAP1
0000020b: PUSH1 0x20
0000020d: ADD
0000020e: SWAP1
0000020f: SWAP2
00000210: SWAP1
00000211: POP
00000212: POP
00000213: PUSH2 0x0655
00000216: JUMP
00000217: JUMPDEST
00000218: STOP
00000219: JUMPDEST
0000021a: PUSH2 0x0226
0000021d: PUSH1 0x04
0000021f: DUP1
00000220: POP
00000221: POP
00000222: PUSH2 0x07ab
00000225: JUMP
00000226: JUMPDEST
00000227: PUSH1 0x40
00000229: MLOAD
0000022a: DUP1
0000022b: DUP3
0000022c: DUP2
0000022d: MSTORE
0000022e: PUSH1 0x20
00000230: ADD
00000231: SWAP2
00000232: POP
00000233: POP
00000234: PUSH1 0x40
00000236: MLOAD
00000237: DUP1
00000238: SWAP2
00000239: SUB
0000023a: SWAP1
0000023b: RETURN
0000023c: JUMPDEST
0000023d: PUSH2 0x0252
00000240: PUSH1 0x04
00000242: DUP1
00000243: DUP1
00000244: CALLDATALOAD
00000245: SWAP1
00000246: PUSH1 0x20
00000248: ADD
00000249: SWAP1
0000024a: SWAP2
0000024b: SWAP1
0000024c: POP
0000024d: POP
0000024e: PUSH2 0x07b4
00000251: JUMP
00000252: JUMPDEST
00000253: PUSH1 0x40
00000255: MLOAD
00000256: DUP1
00000257: DUP3
00000258: ISZERO
00000259: ISZERO
0000025a: DUP2
0000025b: MSTORE
0000025c: PUSH1 0x20
0000025e: ADD
0000025f: SWAP2
00000260: POP
00000261: POP
00000262: PUSH1 0x40
00000264: MLOAD
00000265: DUP1
00000266: SWAP2
00000267: SUB
00000268: SWAP1
00000269: RETURN
0000026a: JUMPDEST
0000026b: PUSH2 0x0280
0000026e: PUSH1 0x04
00000270: DUP1
00000271: DUP1
00000272: CALLDATALOAD
00000273: SWAP1
00000274: PUSH1 0x20
00000276: ADD
00000277: SWAP1
00000278: SWAP2
00000279: SWAP1
0000027a: POP
0000027b: POP
0000027c: PUSH2 0x0ba5
0000027f: JUMP
00000280: JUMPDEST
00000281: STOP
00000282: JUMPDEST
00000283: PUSH2 0x02b5
00000286: PUSH1 0x04
00000288: DUP1
00000289: DUP1
0000028a: CALLDATALOAD
0000028b: SWAP1
0000028c: PUSH1 0x20
0000028e: ADD
0000028f: SWAP1
00000290: SWAP2
00000291: SWAP1
00000292: DUP1
00000293: CALLDATALOAD
00000294: SWAP1
00000295: PUSH1 0x20
00000297: ADD
00000298: SWAP1
00000299: SWAP2
0000029a: SWAP1
0000029b: DUP1
0000029c: CALLDATALOAD
0000029d: SWAP1
0000029e: PUSH1 0x20
000002a0: ADD
000002a1: SWAP1
000002a2: DUP3
000002a3: ADD
000002a4: DUP1
000002a5: CALLDATALOAD
000002a6: SWAP1
000002a7: PUSH1 0x20
000002a9: ADD
000002aa: SWAP2
000002ab: SWAP1
000002ac: SWAP2
000002ad: SWAP3
000002ae: SWAP1
000002af: POP
000002b0: POP
000002b1: PUSH2 0x0bea
000002b4: JUMP
000002b5: JUMPDEST
000002b6: PUSH1 0x40
000002b8: MLOAD
000002b9: DUP1
000002ba: DUP3
000002bb: PUSH1 0x00
000002bd: NOT
000002be: AND
000002bf: DUP2
000002c0: MSTORE
000002c1: PUSH1 0x20
000002c3: ADD
000002c4: SWAP2
000002c5: POP
000002c6: POP
000002c7: PUSH1 0x40
000002c9: MLOAD
000002ca: DUP1
000002cb: SWAP2
000002cc: SUB
000002cd: SWAP1
000002ce: RETURN
000002cf: JUMPDEST
000002d0: PUSH2 0x02e5
000002d3: PUSH1 0x04
000002d5: DUP1
000002d6: DUP1
000002d7: CALLDATALOAD
000002d8: SWAP1
000002d9: PUSH1 0x20
000002db: ADD
000002dc: SWAP1
000002dd: SWAP2
000002de: SWAP1
000002df: POP
000002e0: POP
000002e1: PUSH2 0x0f6e
000002e4: JUMP
000002e5: JUMPDEST
000002e6: STOP
000002e7: JUMPDEST
000002e8: PUSH2 0x02fd
000002eb: PUSH1 0x04
000002ed: DUP1
000002ee: DUP1
000002ef: CALLDATALOAD
000002f0: SWAP1
000002f1: PUSH1 0x20
000002f3: ADD
000002f4: SWAP1
000002f5: SWAP2
000002f6: SWAP1
000002f7: POP
000002f8: POP
000002f9: PUSH2 0x1078
000002fc: JUMP
000002fd: JUMPDEST
000002fe: STOP
000002ff: JUMPDEST
00000300: PUSH2 0x031e
00000303: PUSH1 0x04
00000305: DUP1
00000306: DUP1
00000307: CALLDATALOAD
00000308: SWAP1
00000309: PUSH1 0x20
0000030b: ADD
0000030c: SWAP1
0000030d: SWAP2
0000030e: SWAP1
0000030f: DUP1
00000310: CALLDATALOAD
00000311: SWAP1
00000312: PUSH1 0x20
00000314: ADD
00000315: SWAP1
00000316: SWAP2
00000317: SWAP1
00000318: POP
00000319: POP
0000031a: PUSH2 0x110e
0000031d: JUMP
0000031e: JUMPDEST
0000031f: PUSH1 0x40
00000321: MLOAD
00000322: DUP1
00000323: DUP3
00000324: ISZERO
00000325: ISZERO
00000326: DUP2
00000327: MSTORE
00000328: PUSH1 0x20
0000032a: ADD
0000032b: SWAP2
0000032c: POP
0000032d: POP
0000032e: PUSH1 0x40
00000330: MLOAD
00000331: DUP1
00000332: SWAP2
00000333: SUB
00000334: SWAP1
00000335: RETURN
00000336: JUMPDEST
00000337: PUSH2 0x034c
0000033a: PUSH1 0x04
0000033c: DUP1
0000033d: DUP1
0000033e: CALLDATALOAD
0000033f: SWAP1
00000340: PUSH1 0x20
00000342: ADD
00000343: SWAP1
00000344: SWAP2
00000345: SWAP1
00000346: POP
00000347: POP
00000348: PUSH2 0x11b3
0000034b: JUMP
0000034c: JUMPDEST
0000034d: STOP
0000034e: JUMPDEST
0000034f: PUSH2 0x036d
00000352: PUSH1 0x04
00000354: DUP1
00000355: DUP1
00000356: CALLDATALOAD
00000357: SWAP1
00000358: PUSH1 0x20
0000035a: ADD
0000035b: SWAP1
0000035c: SWAP2
0000035d: SWAP1
0000035e: DUP1
0000035f: CALLDATALOAD
00000360: SWAP1
00000361: PUSH1 0x20
00000363: ADD
00000364: SWAP1
00000365: SWAP2
00000366: SWAP1
00000367: POP
00000368: POP
00000369: PUSH2 0x03b3
0000036c: JUMP
0000036d: JUMPDEST
0000036e: STOP
0000036f: JUMPDEST
00000370: PUSH2 0x038e
00000373: PUSH1 0x04
00000375: DUP1
00000376: DUP1
00000377: CALLDATALOAD
00000378: SWAP1
00000379: PUSH1 0x20
0000037b: ADD
0000037c: SWAP1
0000037d: SWAP2
0000037e: SWAP1
0000037f: DUP1
00000380: CALLDATALOAD
00000381: SWAP1
00000382: PUSH1 0x20
00000384: ADD
00000385: SWAP1
00000386: SWAP2
00000387: SWAP1
00000388: POP
00000389: POP
0000038a: PUSH2 0x1205
0000038d: JUMP
0000038e: JUMPDEST
0000038f: STOP
00000390: JUMPDEST
00000391: PUSH2 0x039d
00000394: PUSH1 0x04
00000396: DUP1
00000397: POP
00000398: POP
00000399: PUSH2 0x13a9
0000039c: JUMP
0000039d: JUMPDEST
0000039e: PUSH1 0x40
000003a0: MLOAD
000003a1: DUP1
000003a2: DUP3
000003a3: DUP2
000003a4: MSTORE
000003a5: PUSH1 0x20
000003a7: ADD
000003a8: SWAP2
000003a9: POP
000003aa: POP
000003ab: PUSH1 0x40
000003ad: MLOAD
000003ae: DUP1
000003af: SWAP2
000003b0: SUB
000003b1: SWAP1
000003b2: RETURN
000003b3: JUMPDEST
000003b4: DUP2
000003b5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003ca: AND
000003cb: PUSH1 0x02
000003cd: PUSH1 0x00
000003cf: POP
000003d0: PUSH1 0x01
000003d2: PUSH2 0x0100
000003d5: DUP2
000003d6: LT
000003d7: ISZERO
000003d8: PUSH2 0x0002
000003db: JUMPI
000003dc: SWAP1
000003dd: SWAP1
000003de: ADD
000003df: PUSH1 0x00
000003e1: JUMPDEST
000003e2: POP
000003e3: SLOAD
000003e4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003f9: AND
000003fa: EQ
000003fb: ISZERO
000003fc: ISZERO
000003fd: PUSH2 0x0457
00000400: JUMPI
00000401: PUSH1 0x02
00000403: PUSH1 0x00
00000405: POP
00000406: PUSH1 0x01
00000408: PUSH2 0x0100
0000040b: DUP2
0000040c: LT
0000040d: ISZERO
0000040e: PUSH2 0x0002
00000411: JUMPI
00000412: SWAP1
00000413: SWAP1
00000414: ADD
00000415: PUSH1 0x00
00000417: JUMPDEST
00000418: POP
00000419: SLOAD
0000041a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000042f: AND
00000430: PUSH1 0x40
00000432: MLOAD
00000433: DUP1
00000434: SWAP1
00000435: POP
00000436: PUSH1 0x20
00000438: PUSH1 0x40
0000043a: MLOAD
0000043b: DUP1
0000043c: DUP4
0000043d: SUB
0000043e: DUP2
0000043f: DUP6
00000440: PUSH1 0x32
00000442: GAS
00000443: SUB
00000444: DELEGATECALL
00000445: ISZERO
00000446: PUSH2 0x0002
00000449: JUMPI
0000044a: POP
0000044b: POP
0000044c: PUSH1 0x40
0000044e: MLOAD
0000044f: DUP1
00000450: MLOAD
00000451: SWAP1
00000452: PUSH1 0x20
00000454: ADD
00000455: POP
00000456: POP
00000457: JUMPDEST
00000458: JUMPDEST
00000459: POP
0000045a: POP
0000045b: JUMP
0000045c: JUMPDEST
0000045d: PUSH1 0x00
0000045f: PUSH1 0x00
00000461: CALLDATASIZE
00000462: NUMBER
00000463: PUSH1 0x40
00000465: MLOAD
00000466: DUP1
00000467: DUP5
00000468: DUP5
00000469: DUP1
0000046a: DUP3
0000046b: DUP5
0000046c: CALLDATACOPY
0000046d: DUP3
0000046e: ADD
0000046f: SWAP2
00000470: POP
00000471: POP
00000472: DUP3
00000473: DUP2
00000474: MSTORE
00000475: PUSH1 0x20
00000477: ADD
00000478: SWAP4
00000479: POP
0000047a: POP
0000047b: POP
0000047c: POP
0000047d: PUSH1 0x40
0000047f: MLOAD
00000480: DUP1
00000481: SWAP2
00000482: SUB
00000483: SWAP1
00000484: KECCAK256
00000485: PUSH2 0x048d
00000488: DUP2
00000489: PUSH2 0x13b3
0000048c: JUMP
0000048d: JUMPDEST
0000048e: ISZERO
0000048f: PUSH2 0x05a1
00000492: JUMPI
00000493: PUSH2 0x0102
00000496: PUSH1 0x00
00000498: POP
00000499: PUSH1 0x00
0000049b: DUP5
0000049c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004b1: AND
000004b2: DUP2
000004b3: MSTORE
000004b4: PUSH1 0x20
000004b6: ADD
000004b7: SWAP1
000004b8: DUP2
000004b9: MSTORE
000004ba: PUSH1 0x20
000004bc: ADD
000004bd: PUSH1 0x00
000004bf: KECCAK256
000004c0: PUSH1 0x00
000004c2: POP
000004c3: SLOAD
000004c4: SWAP2
000004c5: POP
000004c6: PUSH1 0x00
000004c8: DUP3
000004c9: EQ
000004ca: ISZERO
000004cb: PUSH2 0x04d4
000004ce: JUMPI
000004cf: POP
000004d0: PUSH2 0x05a3
000004d3: JUMP
000004d4: JUMPDEST
000004d5: PUSH1 0x01
000004d7: PUSH1 0x01
000004d9: PUSH1 0x00
000004db: POP
000004dc: SLOAD
000004dd: SUB
000004de: PUSH1 0x00
000004e0: PUSH1 0x00
000004e2: POP
000004e3: SLOAD
000004e4: GT
000004e5: ISZERO
000004e6: PUSH2 0x04ef
000004e9: JUMPI
000004ea: POP
000004eb: PUSH2 0x05a3
000004ee: JUMP
000004ef: JUMPDEST
000004f0: PUSH1 0x00
000004f2: PUSH1 0x02
000004f4: PUSH1 0x00
000004f6: POP
000004f7: DUP4
000004f8: PUSH2 0x0100
000004fb: DUP2
000004fc: LT
000004fd: ISZERO
000004fe: PUSH2 0x0002
00000501: JUMPI
00000502: SWAP1
00000503: SWAP1
00000504: ADD
00000505: PUSH1 0x00
00000507: JUMPDEST
00000508: POP
00000509: DUP2
0000050a: SWAP1
0000050b: SSTORE
0000050c: POP
0000050d: PUSH1 0x00
0000050f: PUSH2 0x0102
00000512: PUSH1 0x00
00000514: POP
00000515: PUSH1 0x00
00000517: DUP6
00000518: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000052d: AND
0000052e: DUP2
0000052f: MSTORE
00000530: PUSH1 0x20
00000532: ADD
00000533: SWAP1
00000534: DUP2
00000535: MSTORE
00000536: PUSH1 0x20
00000538: ADD
00000539: PUSH1 0x00
0000053b: KECCAK256
0000053c: PUSH1 0x00
0000053e: POP
0000053f: DUP2
00000540: SWAP1
00000541: SSTORE
00000542: POP
00000543: PUSH2 0x054a
00000546: PUSH2 0x1625
00000549: JUMP
0000054a: JUMPDEST
0000054b: PUSH2 0x0552
0000054e: PUSH2 0x1737
00000551: JUMP
00000552: JUMPDEST
00000553: POP
00000554: PUSH32 0x58619076adf5bb0943d100ef88d52d7c3fd691b19d3a9071b555b651fbf418da
00000575: DUP4
00000576: PUSH1 0x40
00000578: MLOAD
00000579: DUP1
0000057a: DUP3
0000057b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000590: AND
00000591: DUP2
00000592: MSTORE
00000593: PUSH1 0x20
00000595: ADD
00000596: SWAP2
00000597: POP
00000598: POP
00000599: PUSH1 0x40
0000059b: MLOAD
0000059c: DUP1
0000059d: SWAP2
0000059e: SUB
0000059f: SWAP1
000005a0: LOG1
000005a1: JUMPDEST
000005a2: POP
000005a3: JUMPDEST
000005a4: POP
000005a5: POP
000005a6: JUMP
000005a7: JUMPDEST
000005a8: PUSH1 0x00
000005aa: PUSH1 0x00
000005ac: PUSH2 0x0102
000005af: PUSH1 0x00
000005b1: POP
000005b2: PUSH1 0x00
000005b4: DUP5
000005b5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005ca: AND
000005cb: DUP2
000005cc: MSTORE
000005cd: PUSH1 0x20
000005cf: ADD
000005d0: SWAP1
000005d1: DUP2
000005d2: MSTORE
000005d3: PUSH1 0x20
000005d5: ADD
000005d6: PUSH1 0x00
000005d8: KECCAK256
000005d9: PUSH1 0x00
000005db: POP
000005dc: SLOAD
000005dd: GT
000005de: SWAP1
000005df: POP
000005e0: PUSH2 0x05e4
000005e3: JUMP
000005e4: JUMPDEST
000005e5: SWAP2
000005e6: SWAP1
000005e7: POP
000005e8: JUMP
000005e9: JUMPDEST
000005ea: PUSH1 0x01
000005ec: PUSH1 0x00
000005ee: POP
000005ef: SLOAD
000005f0: DUP2
000005f1: JUMP
000005f2: JUMPDEST
000005f3: PUSH2 0x0107
000005f6: PUSH1 0x00
000005f8: POP
000005f9: SLOAD
000005fa: DUP2
000005fb: JUMP
000005fc: JUMPDEST
000005fd: PUSH2 0x0108
00000600: PUSH1 0x00
00000602: POP
00000603: SLOAD
00000604: DUP2
00000605: JUMP
00000606: JUMPDEST
00000607: PUSH1 0x00
00000609: CALLDATASIZE
0000060a: NUMBER
0000060b: PUSH1 0x40
0000060d: MLOAD
0000060e: DUP1
0000060f: DUP5
00000610: DUP5
00000611: DUP1
00000612: DUP3
00000613: DUP5
00000614: CALLDATACOPY
00000615: DUP3
00000616: ADD
00000617: SWAP2
00000618: POP
00000619: POP
0000061a: DUP3
0000061b: DUP2
0000061c: MSTORE
0000061d: PUSH1 0x20
0000061f: ADD
00000620: SWAP4
00000621: POP
00000622: POP
00000623: POP
00000624: POP
00000625: PUSH1 0x40
00000627: MLOAD
00000628: DUP1
00000629: SWAP2
0000062a: SUB
0000062b: SWAP1
0000062c: KECCAK256
0000062d: PUSH2 0x0635
00000630: DUP2
00000631: PUSH2 0x13b3
00000634: JUMP
00000635: JUMPDEST
00000636: ISZERO
00000637: PUSH2 0x0647
0000063a: JUMPI
0000063b: PUSH1 0x00
0000063d: PUSH2 0x0106
00000640: PUSH1 0x00
00000642: POP
00000643: DUP2
00000644: SWAP1
00000645: SSTORE
00000646: POP
00000647: JUMPDEST
00000648: POP
00000649: JUMPDEST
0000064a: JUMP
0000064b: JUMPDEST
0000064c: PUSH2 0x0106
0000064f: PUSH1 0x00
00000651: POP
00000652: SLOAD
00000653: DUP2
00000654: JUMP
00000655: JUMPDEST
00000656: PUSH1 0x00
00000658: CALLDATASIZE
00000659: NUMBER
0000065a: PUSH1 0x40
0000065c: MLOAD
0000065d: DUP1
0000065e: DUP5
0000065f: DUP5
00000660: DUP1
00000661: DUP3
00000662: DUP5
00000663: CALLDATACOPY
00000664: DUP3
00000665: ADD
00000666: SWAP2
00000667: POP
00000668: POP
00000669: DUP3
0000066a: DUP2
0000066b: MSTORE
0000066c: PUSH1 0x20
0000066e: ADD
0000066f: SWAP4
00000670: POP
00000671: POP
00000672: POP
00000673: POP
00000674: PUSH1 0x40
00000676: MLOAD
00000677: DUP1
00000678: SWAP2
00000679: SUB
0000067a: SWAP1
0000067b: KECCAK256
0000067c: PUSH2 0x0684
0000067f: DUP2
00000680: PUSH2 0x13b3
00000683: JUMP
00000684: JUMPDEST
00000685: ISZERO
00000686: PUSH2 0x07a6
00000689: JUMPI
0000068a: PUSH2 0x0692
0000068d: DUP3
0000068e: PUSH2 0x05a7
00000691: JUMP
00000692: JUMPDEST
00000693: ISZERO
00000694: PUSH2 0x069d
00000697: JUMPI
00000698: POP
00000699: PUSH2 0x07a8
0000069c: JUMP
0000069d: JUMPDEST
0000069e: PUSH2 0x06a5
000006a1: PUSH2 0x1625
000006a4: JUMP
000006a5: JUMPDEST
000006a6: PUSH1 0xfa
000006a8: PUSH1 0x01
000006aa: PUSH1 0x00
000006ac: POP
000006ad: SLOAD
000006ae: LT
000006af: ISZERO
000006b0: ISZERO
000006b1: PUSH2 0x06be
000006b4: JUMPI
000006b5: PUSH2 0x06bc
000006b8: PUSH2 0x1737
000006bb: JUMP
000006bc: JUMPDEST
000006bd: POP
000006be: JUMPDEST
000006bf: PUSH1 0xfa
000006c1: PUSH1 0x01
000006c3: PUSH1 0x00
000006c5: POP
000006c6: SLOAD
000006c7: LT
000006c8: ISZERO
000006c9: ISZERO
000006ca: PUSH2 0x06d3
000006cd: JUMPI
000006ce: POP
000006cf: PUSH2 0x07a8
000006d2: JUMP
000006d3: JUMPDEST
000006d4: PUSH1 0x01
000006d6: PUSH1 0x00
000006d8: DUP2
000006d9: DUP2
000006da: POP
000006db: SLOAD
000006dc: DUP1
000006dd: SWAP3
000006de: SWAP2
000006df: SWAP1
000006e0: PUSH1 0x01
000006e2: ADD
000006e3: SWAP2
000006e4: SWAP1
000006e5: POP
000006e6: SSTORE
000006e7: POP
000006e8: DUP2
000006e9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006fe: AND
000006ff: PUSH1 0x02
00000701: PUSH1 0x00
00000703: POP
00000704: PUSH1 0x01
00000706: PUSH1 0x00
00000708: POP
00000709: SLOAD
0000070a: PUSH2 0x0100
0000070d: DUP2
0000070e: LT
0000070f: ISZERO
00000710: PUSH2 0x0002
00000713: JUMPI
00000714: SWAP1
00000715: SWAP1
00000716: ADD
00000717: PUSH1 0x00
00000719: JUMPDEST
0000071a: POP
0000071b: DUP2
0000071c: SWAP1
0000071d: SSTORE
0000071e: POP
0000071f: PUSH1 0x01
00000721: PUSH1 0x00
00000723: POP
00000724: SLOAD
00000725: PUSH2 0x0102
00000728: PUSH1 0x00
0000072a: POP
0000072b: PUSH1 0x00
0000072d: DUP5
0000072e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000743: AND
00000744: DUP2
00000745: MSTORE
00000746: PUSH1 0x20
00000748: ADD
00000749: SWAP1
0000074a: DUP2
0000074b: MSTORE
0000074c: PUSH1 0x20
0000074e: ADD
0000074f: PUSH1 0x00
00000751: KECCAK256
00000752: PUSH1 0x00
00000754: POP
00000755: DUP2
00000756: SWAP1
00000757: SSTORE
00000758: POP
00000759: PUSH32 0x994a936646fe87ffe4f1e469d3d6aa417d6b855598397f323de5b449f765f0c3
0000077a: DUP3
0000077b: PUSH1 0x40
0000077d: MLOAD
0000077e: DUP1
0000077f: DUP3
00000780: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000795: AND
00000796: DUP2
00000797: MSTORE
00000798: PUSH1 0x20
0000079a: ADD
0000079b: SWAP2
0000079c: POP
0000079d: POP
0000079e: PUSH1 0x40
000007a0: MLOAD
000007a1: DUP1
000007a2: SWAP2
000007a3: SUB
000007a4: SWAP1
000007a5: LOG1
000007a6: JUMPDEST
000007a7: POP
000007a8: JUMPDEST
000007a9: POP
000007aa: JUMP
000007ab: JUMPDEST
000007ac: PUSH1 0x00
000007ae: PUSH1 0x00
000007b0: POP
000007b1: SLOAD
000007b2: DUP2
000007b3: JUMP
000007b4: JUMPDEST
000007b5: PUSH1 0x00
000007b7: DUP2
000007b8: PUSH2 0x07c0
000007bb: DUP2
000007bc: PUSH2 0x13b3
000007bf: JUMP
000007c0: JUMPDEST
000007c1: ISZERO
000007c2: PUSH2 0x0b9e
000007c5: JUMPI
000007c6: PUSH1 0x00
000007c8: PUSH2 0x0109
000007cb: PUSH1 0x00
000007cd: POP
000007ce: PUSH1 0x00
000007d0: DUP6
000007d1: PUSH1 0x00
000007d3: NOT
000007d4: AND
000007d5: DUP2
000007d6: MSTORE
000007d7: PUSH1 0x20
000007d9: ADD
000007da: SWAP1
000007db: DUP2
000007dc: MSTORE
000007dd: PUSH1 0x20
000007df: ADD
000007e0: PUSH1 0x00
000007e2: KECCAK256
000007e3: PUSH1 0x00
000007e5: POP
000007e6: PUSH1 0x00
000007e8: ADD
000007e9: PUSH1 0x00
000007eb: SWAP1
000007ec: SLOAD
000007ed: SWAP1
000007ee: PUSH2 0x0100
000007f1: EXP
000007f2: SWAP1
000007f3: DIV
000007f4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000809: AND
0000080a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000081f: AND
00000820: EQ
00000821: ISZERO
00000822: ISZERO
00000823: PUSH2 0x0b9d
00000826: JUMPI
00000827: PUSH2 0x0109
0000082a: PUSH1 0x00
0000082c: POP
0000082d: PUSH1 0x00
0000082f: DUP5
00000830: PUSH1 0x00
00000832: NOT
00000833: AND
00000834: DUP2
00000835: MSTORE
00000836: PUSH1 0x20
00000838: ADD
00000839: SWAP1
0000083a: DUP2
0000083b: MSTORE
0000083c: PUSH1 0x20
0000083e: ADD
0000083f: PUSH1 0x00
00000841: KECCAK256
00000842: PUSH1 0x00
00000844: POP
00000845: PUSH1 0x00
00000847: ADD
00000848: PUSH1 0x00
0000084a: SWAP1
0000084b: SLOAD
0000084c: SWAP1
0000084d: PUSH2 0x0100
00000850: EXP
00000851: SWAP1
00000852: DIV
00000853: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000868: AND
00000869: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000087e: AND
0000087f: PUSH2 0x0109
00000882: PUSH1 0x00
00000884: POP
00000885: PUSH1 0x00
00000887: DUP6
00000888: PUSH1 0x00
0000088a: NOT
0000088b: AND
0000088c: DUP2
0000088d: MSTORE
0000088e: PUSH1 0x20
00000890: ADD
00000891: SWAP1
00000892: DUP2
00000893: MSTORE
00000894: PUSH1 0x20
00000896: ADD
00000897: PUSH1 0x00
00000899: KECCAK256
0000089a: PUSH1 0x00
0000089c: POP
0000089d: PUSH1 0x01
0000089f: ADD
000008a0: PUSH1 0x00
000008a2: POP
000008a3: SLOAD
000008a4: PUSH2 0x0109
000008a7: PUSH1 0x00
000008a9: POP
000008aa: PUSH1 0x00
000008ac: DUP7
000008ad: PUSH1 0x00
000008af: NOT
000008b0: AND
000008b1: DUP2
000008b2: MSTORE
000008b3: PUSH1 0x20
000008b5: ADD
000008b6: SWAP1
000008b7: DUP2
000008b8: MSTORE
000008b9: PUSH1 0x20
000008bb: ADD
000008bc: PUSH1 0x00
000008be: KECCAK256
000008bf: PUSH1 0x00
000008c1: POP
000008c2: PUSH1 0x02
000008c4: ADD
000008c5: PUSH1 0x00
000008c7: POP
000008c8: PUSH1 0x40
000008ca: MLOAD
000008cb: DUP1
000008cc: DUP3
000008cd: DUP1
000008ce: SLOAD
000008cf: PUSH1 0x01
000008d1: DUP2
000008d2: PUSH1 0x01
000008d4: AND
000008d5: ISZERO
000008d6: PUSH2 0x0100
000008d9: MUL
000008da: SUB
000008db: AND
000008dc: PUSH1 0x02
000008de: SWAP1
000008df: DIV
000008e0: DUP1
000008e1: ISZERO
000008e2: PUSH2 0x092c
000008e5: JUMPI
000008e6: DUP1
000008e7: PUSH1 0x1f
000008e9: LT
000008ea: PUSH2 0x0901
000008ed: JUMPI
000008ee: PUSH2 0x0100
000008f1: DUP1
000008f2: DUP4
000008f3: SLOAD
000008f4: DIV
000008f5: MUL
000008f6: DUP4
000008f7: MSTORE
000008f8: SWAP2
000008f9: PUSH1 0x20
000008fb: ADD
000008fc: SWAP2
000008fd: PUSH2 0x092c
00000900: JUMP
00000901: JUMPDEST
00000902: DUP3
00000903: ADD
00000904: SWAP2
00000905: SWAP1
00000906: PUSH1 0x00
00000908: MSTORE
00000909: PUSH1 0x20
0000090b: PUSH1 0x00
0000090d: KECCAK256
0000090e: SWAP1
0000090f: JUMPDEST
00000910: DUP2
00000911: SLOAD
00000912: DUP2
00000913: MSTORE
00000914: SWAP1
00000915: PUSH1 0x01
00000917: ADD
00000918: SWAP1
00000919: PUSH1 0x20
0000091b: ADD
0000091c: DUP1
0000091d: DUP4
0000091e: GT
0000091f: PUSH2 0x090f
00000922: JUMPI
00000923: DUP3
00000924: SWAP1
00000925: SUB
00000926: PUSH1 0x1f
00000928: AND
00000929: DUP3
0000092a: ADD
0000092b: SWAP2
0000092c: JUMPDEST
0000092d: POP
0000092e: POP
0000092f: SWAP2
00000930: POP
00000931: POP
00000932: PUSH1 0x00
00000934: PUSH1 0x40
00000936: MLOAD
00000937: DUP1
00000938: DUP4
00000939: SUB
0000093a: DUP2
0000093b: DUP6
0000093c: DUP8
0000093d: PUSH2 0x8502
00000940: GAS
00000941: SUB
00000942: CALL
00000943: SWAP3
00000944: POP
00000945: POP
00000946: POP
00000947: POP
00000948: PUSH32 0xe7c957c06e9a662c1a6c77366179f5b702b97651dc28eee7d5bf1dff6e40bb4a
00000969: CALLER
0000096a: DUP5
0000096b: PUSH2 0x0109
0000096e: PUSH1 0x00
00000970: POP
00000971: PUSH1 0x00
00000973: DUP8
00000974: PUSH1 0x00
00000976: NOT
00000977: AND
00000978: DUP2
00000979: MSTORE
0000097a: PUSH1 0x20
0000097c: ADD
0000097d: SWAP1
0000097e: DUP2
0000097f: MSTORE
00000980: PUSH1 0x20
00000982: ADD
00000983: PUSH1 0x00
00000985: KECCAK256
00000986: PUSH1 0x00
00000988: POP
00000989: PUSH1 0x01
0000098b: ADD
0000098c: PUSH1 0x00
0000098e: POP
0000098f: SLOAD
00000990: PUSH2 0x0109
00000993: PUSH1 0x00
00000995: POP
00000996: PUSH1 0x00
00000998: DUP9
00000999: PUSH1 0x00
0000099b: NOT
0000099c: AND
0000099d: DUP2
0000099e: MSTORE
0000099f: PUSH1 0x20
000009a1: ADD
000009a2: SWAP1
000009a3: DUP2
000009a4: MSTORE
000009a5: PUSH1 0x20
000009a7: ADD
000009a8: PUSH1 0x00
000009aa: KECCAK256
000009ab: PUSH1 0x00
000009ad: POP
000009ae: PUSH1 0x00
000009b0: ADD
000009b1: PUSH1 0x00
000009b3: SWAP1
000009b4: SLOAD
000009b5: SWAP1
000009b6: PUSH2 0x0100
000009b9: EXP
000009ba: SWAP1
000009bb: DIV
000009bc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009d1: AND
000009d2: PUSH2 0x0109
000009d5: PUSH1 0x00
000009d7: POP
000009d8: PUSH1 0x00
000009da: DUP10
000009db: PUSH1 0x00
000009dd: NOT
000009de: AND
000009df: DUP2
000009e0: MSTORE
000009e1: PUSH1 0x20
000009e3: ADD
000009e4: SWAP1
000009e5: DUP2
000009e6: MSTORE
000009e7: PUSH1 0x20
000009e9: ADD
000009ea: PUSH1 0x00
000009ec: KECCAK256
000009ed: PUSH1 0x00
000009ef: POP
000009f0: PUSH1 0x02
000009f2: ADD
000009f3: PUSH1 0x00
000009f5: POP
000009f6: PUSH1 0x40
000009f8: MLOAD
000009f9: DUP1
000009fa: DUP7
000009fb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a10: AND
00000a11: DUP2
00000a12: MSTORE
00000a13: PUSH1 0x20
00000a15: ADD
00000a16: DUP6
00000a17: PUSH1 0x00
00000a19: NOT
00000a1a: AND
00000a1b: DUP2
00000a1c: MSTORE
00000a1d: PUSH1 0x20
00000a1f: ADD
00000a20: DUP5
00000a21: DUP2
00000a22: MSTORE
00000a23: PUSH1 0x20
00000a25: ADD
00000a26: DUP4
00000a27: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a3c: AND
00000a3d: DUP2
00000a3e: MSTORE
00000a3f: PUSH1 0x20
00000a41: ADD
00000a42: DUP1
00000a43: PUSH1 0x20
00000a45: ADD
00000a46: DUP3
00000a47: DUP2
00000a48: SUB
00000a49: DUP3
00000a4a: MSTORE
00000a4b: DUP4
00000a4c: DUP2
00000a4d: DUP2
00000a4e: SLOAD
00000a4f: PUSH1 0x01
00000a51: DUP2
00000a52: PUSH1 0x01
00000a54: AND
00000a55: ISZERO
00000a56: PUSH2 0x0100
00000a59: MUL
00000a5a: SUB
00000a5b: AND
00000a5c: PUSH1 0x02
00000a5e: SWAP1
00000a5f: DIV
00000a60: DUP2
00000a61: MSTORE
00000a62: PUSH1 0x20
00000a64: ADD
00000a65: SWAP2
00000a66: POP
00000a67: DUP1
00000a68: SLOAD
00000a69: PUSH1 0x01
00000a6b: DUP2
00000a6c: PUSH1 0x01
00000a6e: AND
00000a6f: ISZERO
00000a70: PUSH2 0x0100
00000a73: MUL
00000a74: SUB
00000a75: AND
00000a76: PUSH1 0x02
00000a78: SWAP1
00000a79: DIV
00000a7a: DUP1
00000a7b: ISZERO
00000a7c: PUSH2 0x0ac6
00000a7f: JUMPI
00000a80: DUP1
00000a81: PUSH1 0x1f
00000a83: LT
00000a84: PUSH2 0x0a9b
00000a87: JUMPI
00000a88: PUSH2 0x0100
00000a8b: DUP1
00000a8c: DUP4
00000a8d: SLOAD
00000a8e: DIV
00000a8f: MUL
00000a90: DUP4
00000a91: MSTORE
00000a92: SWAP2
00000a93: PUSH1 0x20
00000a95: ADD
00000a96: SWAP2
00000a97: PUSH2 0x0ac6
00000a9a: JUMP
00000a9b: JUMPDEST
00000a9c: DUP3
00000a9d: ADD
00000a9e: SWAP2
00000a9f: SWAP1
00000aa0: PUSH1 0x00
00000aa2: MSTORE
00000aa3: PUSH1 0x20
00000aa5: PUSH1 0x00
00000aa7: KECCAK256
00000aa8: SWAP1
00000aa9: JUMPDEST
00000aaa: DUP2
00000aab: SLOAD
00000aac: DUP2
00000aad: MSTORE
00000aae: SWAP1
00000aaf: PUSH1 0x01
00000ab1: ADD
00000ab2: SWAP1
00000ab3: PUSH1 0x20
00000ab5: ADD
00000ab6: DUP1
00000ab7: DUP4
00000ab8: GT
00000ab9: PUSH2 0x0aa9
00000abc: JUMPI
00000abd: DUP3
00000abe: SWAP1
00000abf: SUB
00000ac0: PUSH1 0x1f
00000ac2: AND
00000ac3: DUP3
00000ac4: ADD
00000ac5: SWAP2
00000ac6: JUMPDEST
00000ac7: POP
00000ac8: POP
00000ac9: SWAP7
00000aca: POP
00000acb: POP
00000acc: POP
00000acd: POP
00000ace: POP
00000acf: POP
00000ad0: POP
00000ad1: PUSH1 0x40
00000ad3: MLOAD
00000ad4: DUP1
00000ad5: SWAP2
00000ad6: SUB
00000ad7: SWAP1
00000ad8: LOG1
00000ad9: PUSH2 0x0109
00000adc: PUSH1 0x00
00000ade: POP
00000adf: PUSH1 0x00
00000ae1: DUP5
00000ae2: PUSH1 0x00
00000ae4: NOT
00000ae5: AND
00000ae6: DUP2
00000ae7: MSTORE
00000ae8: PUSH1 0x20
00000aea: ADD
00000aeb: SWAP1
00000aec: DUP2
00000aed: MSTORE
00000aee: PUSH1 0x20
00000af0: ADD
00000af1: PUSH1 0x00
00000af3: KECCAK256
00000af4: PUSH1 0x00
00000af6: PUSH1 0x00
00000af8: DUP3
00000af9: ADD
00000afa: PUSH1 0x00
00000afc: PUSH2 0x0100
00000aff: EXP
00000b00: DUP2
00000b01: SLOAD
00000b02: SWAP1
00000b03: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b18: MUL
00000b19: NOT
00000b1a: AND
00000b1b: SWAP1
00000b1c: SSTORE
00000b1d: PUSH1 0x01
00000b1f: DUP3
00000b20: ADD
00000b21: PUSH1 0x00
00000b23: POP
00000b24: PUSH1 0x00
00000b26: SWAP1
00000b27: SSTORE
00000b28: PUSH1 0x02
00000b2a: DUP3
00000b2b: ADD
00000b2c: PUSH1 0x00
00000b2e: POP
00000b2f: DUP1
00000b30: SLOAD
00000b31: PUSH1 0x01
00000b33: DUP2
00000b34: PUSH1 0x01
00000b36: AND
00000b37: ISZERO
00000b38: PUSH2 0x0100
00000b3b: MUL
00000b3c: SUB
00000b3d: AND
00000b3e: PUSH1 0x02
00000b40: SWAP1
00000b41: DIV
00000b42: PUSH1 0x00
00000b44: DUP3
00000b45: SSTORE
00000b46: DUP1
00000b47: PUSH1 0x1f
00000b49: LT
00000b4a: PUSH2 0x0b53
00000b4d: JUMPI
00000b4e: POP
00000b4f: PUSH2 0x0b90
00000b52: JUMP
00000b53: JUMPDEST
00000b54: PUSH1 0x1f
00000b56: ADD
00000b57: PUSH1 0x20
00000b59: SWAP1
00000b5a: DIV
00000b5b: SWAP1
00000b5c: PUSH1 0x00
00000b5e: MSTORE
00000b5f: PUSH1 0x20
00000b61: PUSH1 0x00
00000b63: KECCAK256
00000b64: SWAP1
00000b65: DUP2
00000b66: ADD
00000b67: SWAP1
00000b68: PUSH2 0x0b8f
00000b6b: SWAP2
00000b6c: SWAP1
00000b6d: PUSH2 0x0b71
00000b70: JUMP
00000b71: JUMPDEST
00000b72: DUP1
00000b73: DUP3
00000b74: GT
00000b75: ISZERO
00000b76: PUSH2 0x0b8b
00000b79: JUMPI
00000b7a: PUSH1 0x00
00000b7c: DUP2
00000b7d: DUP2
00000b7e: POP
00000b7f: PUSH1 0x00
00000b81: SWAP1
00000b82: SSTORE
00000b83: POP
00000b84: PUSH1 0x01
00000b86: ADD
00000b87: PUSH2 0x0b71
00000b8a: JUMP
00000b8b: JUMPDEST
00000b8c: POP
00000b8d: SWAP1
00000b8e: JUMP
00000b8f: JUMPDEST
00000b90: JUMPDEST
00000b91: POP
00000b92: POP
00000b93: POP
00000b94: PUSH1 0x01
00000b96: SWAP2
00000b97: POP
00000b98: POP
00000b99: PUSH2 0x0ba0
00000b9c: JUMP
00000b9d: JUMPDEST
00000b9e: JUMPDEST
00000b9f: POP
00000ba0: JUMPDEST
00000ba1: SWAP2
00000ba2: SWAP1
00000ba3: POP
00000ba4: JUMP
00000ba5: JUMPDEST
00000ba6: PUSH1 0x00
00000ba8: CALLDATASIZE
00000ba9: NUMBER
00000baa: PUSH1 0x40
00000bac: MLOAD
00000bad: DUP1
00000bae: DUP5
00000baf: DUP5
00000bb0: DUP1
00000bb1: DUP3
00000bb2: DUP5
00000bb3: CALLDATACOPY
00000bb4: DUP3
00000bb5: ADD
00000bb6: SWAP2
00000bb7: POP
00000bb8: POP
00000bb9: DUP3
00000bba: DUP2
00000bbb: MSTORE
00000bbc: PUSH1 0x20
00000bbe: ADD
00000bbf: SWAP4
00000bc0: POP
00000bc1: POP
00000bc2: POP
00000bc3: POP
00000bc4: PUSH1 0x40
00000bc6: MLOAD
00000bc7: DUP1
00000bc8: SWAP2
00000bc9: SUB
00000bca: SWAP1
00000bcb: KECCAK256
00000bcc: PUSH2 0x0bd4
00000bcf: DUP2
00000bd0: PUSH2 0x13b3
00000bd3: JUMP
00000bd4: JUMPDEST
00000bd5: ISZERO
00000bd6: PUSH2 0x0be5
00000bd9: JUMPI
00000bda: DUP2
00000bdb: PUSH2 0x0105
00000bde: PUSH1 0x00
00000be0: POP
00000be1: DUP2
00000be2: SWAP1
00000be3: SSTORE
00000be4: POP
00000be5: JUMPDEST
00000be6: POP
00000be7: JUMPDEST
00000be8: POP
00000be9: JUMP
00000bea: JUMPDEST
00000beb: PUSH1 0x00
00000bed: PUSH2 0x0bf5
00000bf0: CALLER
00000bf1: PUSH2 0x05a7
00000bf4: JUMP
00000bf5: JUMPDEST
00000bf6: ISZERO
00000bf7: PUSH2 0x0f65
00000bfa: JUMPI
00000bfb: PUSH2 0x0c03
00000bfe: DUP5
00000bff: PUSH2 0x18d1
00000c02: JUMP
00000c03: JUMPDEST
00000c04: ISZERO
00000c05: PUSH2 0x0cec
00000c08: JUMPI
00000c09: PUSH32 0x92ca3a80853e6663fa31fa10b99225f18d4902939b4c53a9caae9043f6efd004
00000c2a: CALLER
00000c2b: DUP6
00000c2c: DUP8
00000c2d: DUP7
00000c2e: DUP7
00000c2f: PUSH1 0x40
00000c31: MLOAD
00000c32: DUP1
00000c33: DUP7
00000c34: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c49: AND
00000c4a: DUP2
00000c4b: MSTORE
00000c4c: PUSH1 0x20
00000c4e: ADD
00000c4f: DUP6
00000c50: DUP2
00000c51: MSTORE
00000c52: PUSH1 0x20
00000c54: ADD
00000c55: DUP5
00000c56: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c6b: AND
00000c6c: DUP2
00000c6d: MSTORE
00000c6e: PUSH1 0x20
00000c70: ADD
00000c71: DUP1
00000c72: PUSH1 0x20
00000c74: ADD
00000c75: DUP3
00000c76: DUP2
00000c77: SUB
00000c78: DUP3
00000c79: MSTORE
00000c7a: DUP5
00000c7b: DUP5
00000c7c: DUP3
00000c7d: DUP2
00000c7e: DUP2
00000c7f: MSTORE
00000c80: PUSH1 0x20
00000c82: ADD
00000c83: SWAP3
00000c84: POP
00000c85: DUP1
00000c86: DUP3
00000c87: DUP5
00000c88: CALLDATACOPY
00000c89: DUP3
00000c8a: ADD
00000c8b: SWAP2
00000c8c: POP
00000c8d: POP
00000c8e: SWAP7
00000c8f: POP
00000c90: POP
00000c91: POP
00000c92: POP
00000c93: POP
00000c94: POP
00000c95: POP
00000c96: PUSH1 0x40
00000c98: MLOAD
00000c99: DUP1
00000c9a: SWAP2
00000c9b: SUB
00000c9c: SWAP1
00000c9d: LOG1
00000c9e: DUP5
00000c9f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cb4: AND
00000cb5: DUP5
00000cb6: DUP5
00000cb7: DUP5
00000cb8: PUSH1 0x40
00000cba: MLOAD
00000cbb: DUP1
00000cbc: DUP4
00000cbd: DUP4
00000cbe: DUP1
00000cbf: DUP3
00000cc0: DUP5
00000cc1: CALLDATACOPY
00000cc2: DUP3
00000cc3: ADD
00000cc4: SWAP2
00000cc5: POP
00000cc6: POP
00000cc7: SWAP3
00000cc8: POP
00000cc9: POP
00000cca: POP
00000ccb: PUSH1 0x00
00000ccd: PUSH1 0x40
00000ccf: MLOAD
00000cd0: DUP1
00000cd1: DUP4
00000cd2: SUB
00000cd3: DUP2
00000cd4: DUP6
00000cd5: DUP8
00000cd6: PUSH2 0x8502
00000cd9: GAS
00000cda: SUB
00000cdb: CALL
00000cdc: SWAP3
00000cdd: POP
00000cde: POP
00000cdf: POP
00000ce0: POP
00000ce1: PUSH1 0x00
00000ce3: PUSH1 0x01
00000ce5: MUL
00000ce6: SWAP1
00000ce7: POP
00000ce8: PUSH2 0x0f66
00000ceb: JUMP
00000cec: JUMPDEST
00000ced: PUSH1 0x00
00000cef: CALLDATASIZE
00000cf0: NUMBER
00000cf1: PUSH1 0x40
00000cf3: MLOAD
00000cf4: DUP1
00000cf5: DUP5
00000cf6: DUP5
00000cf7: DUP1
00000cf8: DUP3
00000cf9: DUP5
00000cfa: CALLDATACOPY
00000cfb: DUP3
00000cfc: ADD
00000cfd: SWAP2
00000cfe: POP
00000cff: POP
00000d00: DUP3
00000d01: DUP2
00000d02: MSTORE
00000d03: PUSH1 0x20
00000d05: ADD
00000d06: SWAP4
00000d07: POP
00000d08: POP
00000d09: POP
00000d0a: POP
00000d0b: PUSH1 0x40
00000d0d: MLOAD
00000d0e: DUP1
00000d0f: SWAP2
00000d10: SUB
00000d11: SWAP1
00000d12: KECCAK256
00000d13: SWAP1
00000d14: POP
00000d15: DUP1
00000d16: POP
00000d17: PUSH2 0x0d1f
00000d1a: DUP2
00000d1b: PUSH2 0x07b4
00000d1e: JUMP
00000d1f: JUMPDEST
00000d20: ISZERO
00000d21: DUP1
00000d22: ISZERO
00000d23: PUSH2 0x0d83
00000d26: JUMPI
00000d27: POP
00000d28: PUSH1 0x00
00000d2a: PUSH2 0x0109
00000d2d: PUSH1 0x00
00000d2f: POP
00000d30: PUSH1 0x00
00000d32: DUP4
00000d33: PUSH1 0x00
00000d35: NOT
00000d36: AND
00000d37: DUP2
00000d38: MSTORE
00000d39: PUSH1 0x20
00000d3b: ADD
00000d3c: SWAP1
00000d3d: DUP2
00000d3e: MSTORE
00000d3f: PUSH1 0x20
00000d41: ADD
00000d42: PUSH1 0x00
00000d44: KECCAK256
00000d45: PUSH1 0x00
00000d47: POP
00000d48: PUSH1 0x00
00000d4a: ADD
00000d4b: PUSH1 0x00
00000d4d: SWAP1
00000d4e: SLOAD
00000d4f: SWAP1
00000d50: PUSH2 0x0100
00000d53: EXP
00000d54: SWAP1
00000d55: DIV
00000d56: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d6b: AND
00000d6c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d81: AND
00000d82: EQ
00000d83: JUMPDEST
00000d84: ISZERO
00000d85: PUSH2 0x0f64
00000d88: JUMPI
00000d89: DUP5
00000d8a: PUSH2 0x0109
00000d8d: PUSH1 0x00
00000d8f: POP
00000d90: PUSH1 0x00
00000d92: DUP4
00000d93: PUSH1 0x00
00000d95: NOT
00000d96: AND
00000d97: DUP2
00000d98: MSTORE
00000d99: PUSH1 0x20
00000d9b: ADD
00000d9c: SWAP1
00000d9d: DUP2
00000d9e: MSTORE
00000d9f: PUSH1 0x20
00000da1: ADD
00000da2: PUSH1 0x00
00000da4: KECCAK256
00000da5: PUSH1 0x00
00000da7: POP
00000da8: PUSH1 0x00
00000daa: ADD
00000dab: PUSH1 0x00
00000dad: PUSH2 0x0100
00000db0: EXP
00000db1: DUP2
00000db2: SLOAD
00000db3: DUP2
00000db4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000dc9: MUL
00000dca: NOT
00000dcb: AND
00000dcc: SWAP1
00000dcd: DUP4
00000dce: MUL
00000dcf: OR
00000dd0: SWAP1
00000dd1: SSTORE
00000dd2: POP
00000dd3: DUP4
00000dd4: PUSH2 0x0109
00000dd7: PUSH1 0x00
00000dd9: POP
00000dda: PUSH1 0x00
00000ddc: DUP4
00000ddd: PUSH1 0x00
00000ddf: NOT
00000de0: AND
00000de1: DUP2
00000de2: MSTORE
00000de3: PUSH1 0x20
00000de5: ADD
00000de6: SWAP1
00000de7: DUP2
00000de8: MSTORE
00000de9: PUSH1 0x20
00000deb: ADD
00000dec: PUSH1 0x00
00000dee: KECCAK256
00000def: PUSH1 0x00
00000df1: POP
00000df2: PUSH1 0x01
00000df4: ADD
00000df5: PUSH1 0x00
00000df7: POP
00000df8: DUP2
00000df9: SWAP1
00000dfa: SSTORE
00000dfb: POP
00000dfc: DUP3
00000dfd: DUP3
00000dfe: PUSH2 0x0109
00000e01: PUSH1 0x00
00000e03: POP
00000e04: PUSH1 0x00
00000e06: DUP5
00000e07: PUSH1 0x00
00000e09: NOT
00000e0a: AND
00000e0b: DUP2
00000e0c: MSTORE
00000e0d: PUSH1 0x20
00000e0f: ADD
00000e10: SWAP1
00000e11: DUP2
00000e12: MSTORE
00000e13: PUSH1 0x20
00000e15: ADD
00000e16: PUSH1 0x00
00000e18: KECCAK256
00000e19: PUSH1 0x00
00000e1b: POP
00000e1c: PUSH1 0x02
00000e1e: ADD
00000e1f: PUSH1 0x00
00000e21: POP
00000e22: SWAP2
00000e23: SWAP1
00000e24: DUP3
00000e25: DUP1
00000e26: SLOAD
00000e27: PUSH1 0x01
00000e29: DUP2
00000e2a: PUSH1 0x01
00000e2c: AND
00000e2d: ISZERO
00000e2e: PUSH2 0x0100
00000e31: MUL
00000e32: SUB
00000e33: AND
00000e34: PUSH1 0x02
00000e36: SWAP1
00000e37: DIV
00000e38: SWAP1
00000e39: PUSH1 0x00
00000e3b: MSTORE
00000e3c: PUSH1 0x20
00000e3e: PUSH1 0x00
00000e40: KECCAK256
00000e41: SWAP1
00000e42: PUSH1 0x1f
00000e44: ADD
00000e45: PUSH1 0x20
00000e47: SWAP1
00000e48: DIV
00000e49: DUP2
00000e4a: ADD
00000e4b: SWAP3
00000e4c: DUP3
00000e4d: PUSH1 0x1f
00000e4f: LT
00000e50: PUSH2 0x0e64
00000e53: JUMPI
00000e54: DUP1
00000e55: CALLDATALOAD
00000e56: PUSH1 0xff
00000e58: NOT
00000e59: AND
00000e5a: DUP4
00000e5b: DUP1
00000e5c: ADD
00000e5d: OR
00000e5e: DUP6
00000e5f: SSTORE
00000e60: PUSH2 0x0e95
00000e63: JUMP
00000e64: JUMPDEST
00000e65: DUP3
00000e66: DUP1
00000e67: ADD
00000e68: PUSH1 0x01
00000e6a: ADD
00000e6b: DUP6
00000e6c: SSTORE
00000e6d: DUP3
00000e6e: ISZERO
00000e6f: PUSH2 0x0e95
00000e72: JUMPI
00000e73: SWAP2
00000e74: DUP3
00000e75: ADD
00000e76: JUMPDEST
00000e77: DUP3
00000e78: DUP2
00000e79: GT
00000e7a: ISZERO
00000e7b: PUSH2 0x0e94
00000e7e: JUMPI
00000e7f: DUP3
00000e80: CALLDATALOAD
00000e81: DUP3
00000e82: PUSH1 0x00
00000e84: POP
00000e85: SSTORE
00000e86: SWAP2
00000e87: PUSH1 0x20
00000e89: ADD
00000e8a: SWAP2
00000e8b: SWAP1
00000e8c: PUSH1 0x01
00000e8e: ADD
00000e8f: SWAP1
00000e90: PUSH2 0x0e76
00000e93: JUMP
00000e94: JUMPDEST
00000e95: JUMPDEST
00000e96: POP
00000e97: SWAP1
00000e98: POP
00000e99: PUSH2 0x0ec0
00000e9c: SWAP2
00000e9d: SWAP1
00000e9e: PUSH2 0x0ea2
00000ea1: JUMP
00000ea2: JUMPDEST
00000ea3: DUP1
00000ea4: DUP3
00000ea5: GT
00000ea6: ISZERO
00000ea7: PUSH2 0x0ebc
00000eaa: JUMPI
00000eab: PUSH1 0x00
00000ead: DUP2
00000eae: DUP2
00000eaf: POP
00000eb0: PUSH1 0x00
00000eb2: SWAP1
00000eb3: SSTORE
00000eb4: POP
00000eb5: PUSH1 0x01
00000eb7: ADD
00000eb8: PUSH2 0x0ea2
00000ebb: JUMP
00000ebc: JUMPDEST
00000ebd: POP
00000ebe: SWAP1
00000ebf: JUMP
00000ec0: JUMPDEST
00000ec1: POP
00000ec2: POP
00000ec3: PUSH32 0x1733cbb53659d713b79580f79f3f9ff215f78a7c7aa45890f3b89fc5cddfbf32
00000ee4: DUP2
00000ee5: CALLER
00000ee6: DUP7
00000ee7: DUP9
00000ee8: DUP8
00000ee9: DUP8
00000eea: PUSH1 0x40
00000eec: MLOAD
00000eed: DUP1
00000eee: DUP8
00000eef: PUSH1 0x00
00000ef1: NOT
00000ef2: AND
00000ef3: DUP2
00000ef4: MSTORE
00000ef5: PUSH1 0x20
00000ef7: ADD
00000ef8: DUP7
00000ef9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f0e: AND
00000f0f: DUP2
00000f10: MSTORE
00000f11: PUSH1 0x20
00000f13: ADD
00000f14: DUP6
00000f15: DUP2
00000f16: MSTORE
00000f17: PUSH1 0x20
00000f19: ADD
00000f1a: DUP5
00000f1b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f30: AND
00000f31: DUP2
00000f32: MSTORE
00000f33: PUSH1 0x20
00000f35: ADD
00000f36: DUP1
00000f37: PUSH1 0x20
00000f39: ADD
00000f3a: DUP3
00000f3b: DUP2
00000f3c: SUB
00000f3d: DUP3
00000f3e: MSTORE
00000f3f: DUP5
00000f40: DUP5
00000f41: DUP3
00000f42: DUP2
00000f43: DUP2
00000f44: MSTORE
00000f45: PUSH1 0x20
00000f47: ADD
00000f48: SWAP3
00000f49: POP
00000f4a: DUP1
00000f4b: DUP3
00000f4c: DUP5
00000f4d: CALLDATACOPY
00000f4e: DUP3
00000f4f: ADD
00000f50: SWAP2
00000f51: POP
00000f52: POP
00000f53: SWAP8
00000f54: POP
00000f55: POP
00000f56: POP
00000f57: POP
00000f58: POP
00000f59: POP
00000f5a: POP
00000f5b: POP
00000f5c: PUSH1 0x40
00000f5e: MLOAD
00000f5f: DUP1
00000f60: SWAP2
00000f61: SUB
00000f62: SWAP1
00000f63: LOG1
00000f64: JUMPDEST
00000f65: JUMPDEST
00000f66: JUMPDEST
00000f67: SWAP5
00000f68: SWAP4
00000f69: POP
00000f6a: POP
00000f6b: POP
00000f6c: POP
00000f6d: JUMP
00000f6e: JUMPDEST
00000f6f: PUSH1 0x00
00000f71: PUSH1 0x00
00000f73: PUSH1 0x00
00000f75: PUSH2 0x0102
00000f78: PUSH1 0x00
00000f7a: POP
00000f7b: PUSH1 0x00
00000f7d: CALLER
00000f7e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f93: AND
00000f94: DUP2
00000f95: MSTORE
00000f96: PUSH1 0x20
00000f98: ADD
00000f99: SWAP1
00000f9a: DUP2
00000f9b: MSTORE
00000f9c: PUSH1 0x20
00000f9e: ADD
00000f9f: PUSH1 0x00
00000fa1: KECCAK256
00000fa2: PUSH1 0x00
00000fa4: POP
00000fa5: SLOAD
00000fa6: SWAP3
00000fa7: POP
00000fa8: PUSH1 0x00
00000faa: DUP4
00000fab: EQ
00000fac: ISZERO
00000fad: PUSH2 0x0fb5
00000fb0: JUMPI
00000fb1: PUSH2 0x1072
00000fb4: JUMP
00000fb5: JUMPDEST
00000fb6: DUP3
00000fb7: PUSH1 0x02
00000fb9: EXP
00000fba: SWAP2
00000fbb: POP
00000fbc: PUSH2 0x0103
00000fbf: PUSH1 0x00
00000fc1: POP
00000fc2: PUSH1 0x00
00000fc4: DUP6
00000fc5: PUSH1 0x00
00000fc7: NOT
00000fc8: AND
00000fc9: DUP2
00000fca: MSTORE
00000fcb: PUSH1 0x20
00000fcd: ADD
00000fce: SWAP1
00000fcf: DUP2
00000fd0: MSTORE
00000fd1: PUSH1 0x20
00000fd3: ADD
00000fd4: PUSH1 0x00
00000fd6: KECCAK256
00000fd7: PUSH1 0x00
00000fd9: POP
00000fda: SWAP1
00000fdb: POP
00000fdc: PUSH1 0x00
00000fde: DUP3
00000fdf: DUP3
00000fe0: PUSH1 0x01
00000fe2: ADD
00000fe3: PUSH1 0x00
00000fe5: POP
00000fe6: SLOAD
00000fe7: AND
00000fe8: GT
00000fe9: ISZERO
00000fea: PUSH2 0x1071
00000fed: JUMPI
00000fee: DUP1
00000fef: PUSH1 0x00
00000ff1: ADD
00000ff2: PUSH1 0x00
00000ff4: DUP2
00000ff5: DUP2
00000ff6: POP
00000ff7: SLOAD
00000ff8: DUP1
00000ff9: SWAP3
00000ffa: SWAP2
00000ffb: SWAP1
00000ffc: PUSH1 0x01
00000ffe: ADD
00000fff: SWAP2
00001000: SWAP1
00001001: POP
00001002: SSTORE
00001003: POP
00001004: DUP2
00001005: DUP2
00001006: PUSH1 0x01
00001008: ADD
00001009: PUSH1 0x00
0000100b: DUP3
0000100c: DUP3
0000100d: DUP3
0000100e: POP
0000100f: SLOAD
00001010: SUB
00001011: SWAP3
00001012: POP
00001013: POP
00001014: DUP2
00001015: SWAP1
00001016: SSTORE
00001017: POP
00001018: PUSH32 0xc7fb647e59b18047309aa15aad418e5d7ca96d173ad704f1031a2c3d7591734b
00001039: CALLER
0000103a: DUP6
0000103b: PUSH1 0x40
0000103d: MLOAD
0000103e: DUP1
0000103f: DUP4
00001040: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001055: AND
00001056: DUP2
00001057: MSTORE
00001058: PUSH1 0x20
0000105a: ADD
0000105b: DUP3
0000105c: PUSH1 0x00
0000105e: NOT
0000105f: AND
00001060: DUP2
00001061: MSTORE
00001062: PUSH1 0x20
00001064: ADD
00001065: SWAP3
00001066: POP
00001067: POP
00001068: POP
00001069: PUSH1 0x40
0000106b: MLOAD
0000106c: DUP1
0000106d: SWAP2
0000106e: SUB
0000106f: SWAP1
00001070: LOG1
00001071: JUMPDEST
00001072: JUMPDEST
00001073: POP
00001074: POP
00001075: POP
00001076: POP
00001077: JUMP
00001078: JUMPDEST
00001079: PUSH1 0x00
0000107b: CALLDATASIZE
0000107c: NUMBER
0000107d: PUSH1 0x40
0000107f: MLOAD
00001080: DUP1
00001081: DUP5
00001082: DUP5
00001083: DUP1
00001084: DUP3
00001085: DUP5
00001086: CALLDATACOPY
00001087: DUP3
00001088: ADD
00001089: SWAP2
0000108a: POP
0000108b: POP
0000108c: DUP3
0000108d: DUP2
0000108e: MSTORE
0000108f: PUSH1 0x20
00001091: ADD
00001092: SWAP4
00001093: POP
00001094: POP
00001095: POP
00001096: POP
00001097: PUSH1 0x40
00001099: MLOAD
0000109a: DUP1
0000109b: SWAP2
0000109c: SUB
0000109d: SWAP1
0000109e: KECCAK256
0000109f: PUSH2 0x10a7
000010a2: DUP2
000010a3: PUSH2 0x13b3
000010a6: JUMP
000010a7: JUMPDEST
000010a8: ISZERO
000010a9: PUSH2 0x1109
000010ac: JUMPI
000010ad: PUSH1 0x01
000010af: PUSH1 0x00
000010b1: POP
000010b2: SLOAD
000010b3: DUP3
000010b4: GT
000010b5: ISZERO
000010b6: PUSH2 0x10bf
000010b9: JUMPI
000010ba: POP
000010bb: PUSH2 0x110b
000010be: JUMP
000010bf: JUMPDEST
000010c0: DUP2
000010c1: PUSH1 0x00
000010c3: PUSH1 0x00
000010c5: POP
000010c6: DUP2
000010c7: SWAP1
000010c8: SSTORE
000010c9: POP
000010ca: PUSH2 0x10d1
000010cd: PUSH2 0x1625
000010d0: JUMP
000010d1: JUMPDEST
000010d2: PUSH32 0xacbdb084c721332ac59f9b8e392196c9eb0e4932862da8eb9beaf0dad4f550da
000010f3: DUP3
000010f4: PUSH1 0x40
000010f6: MLOAD
000010f7: DUP1
000010f8: DUP3
000010f9: DUP2
000010fa: MSTORE
000010fb: PUSH1 0x20
000010fd: ADD
000010fe: SWAP2
000010ff: POP
00001100: POP
00001101: PUSH1 0x40
00001103: MLOAD
00001104: DUP1
00001105: SWAP2
00001106: SUB
00001107: SWAP1
00001108: LOG1
00001109: JUMPDEST
0000110a: POP
0000110b: JUMPDEST
0000110c: POP
0000110d: JUMP
0000110e: JUMPDEST
0000110f: PUSH1 0x00
00001111: PUSH1 0x00
00001113: PUSH1 0x00
00001115: PUSH1 0x00
00001117: PUSH2 0x0103
0000111a: PUSH1 0x00
0000111c: POP
0000111d: PUSH1 0x00
0000111f: DUP8
00001120: PUSH1 0x00
00001122: NOT
00001123: AND
00001124: DUP2
00001125: MSTORE
00001126: PUSH1 0x20
00001128: ADD
00001129: SWAP1
0000112a: DUP2
0000112b: MSTORE
0000112c: PUSH1 0x20
0000112e: ADD
0000112f: PUSH1 0x00
00001131: KECCAK256
00001132: PUSH1 0x00
00001134: POP
00001135: SWAP3
00001136: POP
00001137: PUSH2 0x0102
0000113a: PUSH1 0x00
0000113c: POP
0000113d: PUSH1 0x00
0000113f: DUP7
00001140: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001155: AND
00001156: DUP2
00001157: MSTORE
00001158: PUSH1 0x20
0000115a: ADD
0000115b: SWAP1
0000115c: DUP2
0000115d: MSTORE
0000115e: PUSH1 0x20
00001160: ADD
00001161: PUSH1 0x00
00001163: KECCAK256
00001164: PUSH1 0x00
00001166: POP
00001167: SLOAD
00001168: SWAP2
00001169: POP
0000116a: PUSH1 0x00
0000116c: DUP3
0000116d: EQ
0000116e: ISZERO
0000116f: PUSH2 0x117b
00001172: JUMPI
00001173: PUSH1 0x00
00001175: SWAP4
00001176: POP
00001177: PUSH2 0x11aa
0000117a: JUMP
0000117b: JUMPDEST
0000117c: DUP2
0000117d: PUSH1 0x02
0000117f: EXP
00001180: SWAP1
00001181: POP
00001182: PUSH1 0x00
00001184: DUP2
00001185: DUP5
00001186: PUSH1 0x01
00001188: ADD
00001189: PUSH1 0x00
0000118b: POP
0000118c: SLOAD
0000118d: AND
0000118e: EQ
0000118f: ISZERO
00001190: PUSH2 0x11a0
00001193: JUMPI
00001194: PUSH1 0x00
00001196: SWAP4
00001197: POP
00001198: PUSH2 0x11aa
0000119b: JUMP
0000119c: PUSH2 0x11a9
0000119f: JUMP
000011a0: JUMPDEST
000011a1: PUSH1 0x01
000011a3: SWAP4
000011a4: POP
000011a5: PUSH2 0x11aa
000011a8: JUMP
000011a9: JUMPDEST
000011aa: JUMPDEST
000011ab: POP
000011ac: POP
000011ad: POP
000011ae: SWAP3
000011af: SWAP2
000011b0: POP
000011b1: POP
000011b2: JUMP
000011b3: JUMPDEST
000011b4: PUSH1 0x00
000011b6: CALLDATASIZE
000011b7: NUMBER
000011b8: PUSH1 0x40
000011ba: MLOAD
000011bb: DUP1
000011bc: DUP5
000011bd: DUP5
000011be: DUP1
000011bf: DUP3
000011c0: DUP5
000011c1: CALLDATACOPY
000011c2: DUP3
000011c3: ADD
000011c4: SWAP2
000011c5: POP
000011c6: POP
000011c7: DUP3
000011c8: DUP2
000011c9: MSTORE
000011ca: PUSH1 0x20
000011cc: ADD
000011cd: SWAP4
000011ce: POP
000011cf: POP
000011d0: POP
000011d1: POP
000011d2: PUSH1 0x40
000011d4: MLOAD
000011d5: DUP1
000011d6: SWAP2
000011d7: SUB
000011d8: SWAP1
000011d9: KECCAK256
000011da: PUSH2 0x11e2
000011dd: DUP2
000011de: PUSH2 0x13b3
000011e1: JUMP
000011e2: JUMPDEST
000011e3: ISZERO
000011e4: PUSH2 0x1200
000011e7: JUMPI
000011e8: DUP2
000011e9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011fe: AND
000011ff: SELFDESTRUCT
00001200: JUMPDEST
00001201: POP
00001202: JUMPDEST
00001203: POP
00001204: JUMP
00001205: JUMPDEST
00001206: PUSH1 0x00
00001208: PUSH1 0x00
0000120a: CALLDATASIZE
0000120b: NUMBER
0000120c: PUSH1 0x40
0000120e: MLOAD
0000120f: DUP1
00001210: DUP5
00001211: DUP5
00001212: DUP1
00001213: DUP3
00001214: DUP5
00001215: CALLDATACOPY
00001216: DUP3
00001217: ADD
00001218: SWAP2
00001219: POP
0000121a: POP
0000121b: DUP3
0000121c: DUP2
0000121d: MSTORE
0000121e: PUSH1 0x20
00001220: ADD
00001221: SWAP4
00001222: POP
00001223: POP
00001224: POP
00001225: POP
00001226: PUSH1 0x40
00001228: MLOAD
00001229: DUP1
0000122a: SWAP2
0000122b: SUB
0000122c: SWAP1
0000122d: KECCAK256
0000122e: PUSH2 0x1236
00001231: DUP2
00001232: PUSH2 0x13b3
00001235: JUMP
00001236: JUMPDEST
00001237: ISZERO
00001238: PUSH2 0x13a2
0000123b: JUMPI
0000123c: PUSH2 0x1244
0000123f: DUP4
00001240: PUSH2 0x05a7
00001243: JUMP
00001244: JUMPDEST
00001245: ISZERO
00001246: PUSH2 0x124f
00001249: JUMPI
0000124a: POP
0000124b: PUSH2 0x13a4
0000124e: JUMP
0000124f: JUMPDEST
00001250: PUSH2 0x0102
00001253: PUSH1 0x00
00001255: POP
00001256: PUSH1 0x00
00001258: DUP6
00001259: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000126e: AND
0000126f: DUP2
00001270: MSTORE
00001271: PUSH1 0x20
00001273: ADD
00001274: SWAP1
00001275: DUP2
00001276: MSTORE
00001277: PUSH1 0x20
00001279: ADD
0000127a: PUSH1 0x00
0000127c: KECCAK256
0000127d: PUSH1 0x00
0000127f: POP
00001280: SLOAD
00001281: SWAP2
00001282: POP
00001283: PUSH1 0x00
00001285: DUP3
00001286: EQ
00001287: ISZERO
00001288: PUSH2 0x1291
0000128b: JUMPI
0000128c: POP
0000128d: PUSH2 0x13a4
00001290: JUMP
00001291: JUMPDEST
00001292: PUSH2 0x1299
00001295: PUSH2 0x1625
00001298: JUMP
00001299: JUMPDEST
0000129a: DUP3
0000129b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012b0: AND
000012b1: PUSH1 0x02
000012b3: PUSH1 0x00
000012b5: POP
000012b6: DUP4
000012b7: PUSH2 0x0100
000012ba: DUP2
000012bb: LT
000012bc: ISZERO
000012bd: PUSH2 0x0002
000012c0: JUMPI
000012c1: SWAP1
000012c2: SWAP1
000012c3: ADD
000012c4: PUSH1 0x00
000012c6: JUMPDEST
000012c7: POP
000012c8: DUP2
000012c9: SWAP1
000012ca: SSTORE
000012cb: POP
000012cc: PUSH1 0x00
000012ce: PUSH2 0x0102
000012d1: PUSH1 0x00
000012d3: POP
000012d4: PUSH1 0x00
000012d6: DUP7
000012d7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012ec: AND
000012ed: DUP2
000012ee: MSTORE
000012ef: PUSH1 0x20
000012f1: ADD
000012f2: SWAP1
000012f3: DUP2
000012f4: MSTORE
000012f5: PUSH1 0x20
000012f7: ADD
000012f8: PUSH1 0x00
000012fa: KECCAK256
000012fb: PUSH1 0x00
000012fd: POP
000012fe: DUP2
000012ff: SWAP1
00001300: SSTORE
00001301: POP
00001302: DUP2
00001303: PUSH2 0x0102
00001306: PUSH1 0x00
00001308: POP
00001309: PUSH1 0x00
0000130b: DUP6
0000130c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001321: AND
00001322: DUP2
00001323: MSTORE
00001324: PUSH1 0x20
00001326: ADD
00001327: SWAP1
00001328: DUP2
00001329: MSTORE
0000132a: PUSH1 0x20
0000132c: ADD
0000132d: PUSH1 0x00
0000132f: KECCAK256
00001330: PUSH1 0x00
00001332: POP
00001333: DUP2
00001334: SWAP1
00001335: SSTORE
00001336: POP
00001337: PUSH32 0xb532073b38c83145e3e5135377a08bf9aab55bc0fd7c1179cd4fb995d2a5159c
00001358: DUP5
00001359: DUP5
0000135a: PUSH1 0x40
0000135c: MLOAD
0000135d: DUP1
0000135e: DUP4
0000135f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001374: AND
00001375: DUP2
00001376: MSTORE
00001377: PUSH1 0x20
00001379: ADD
0000137a: DUP3
0000137b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001390: AND
00001391: DUP2
00001392: MSTORE
00001393: PUSH1 0x20
00001395: ADD
00001396: SWAP3
00001397: POP
00001398: POP
00001399: POP
0000139a: PUSH1 0x40
0000139c: MLOAD
0000139d: DUP1
0000139e: SWAP2
0000139f: SUB
000013a0: SWAP1
000013a1: LOG1
000013a2: JUMPDEST
000013a3: POP
000013a4: JUMPDEST
000013a5: POP
000013a6: POP
000013a7: POP
000013a8: JUMP
000013a9: JUMPDEST
000013aa: PUSH2 0x0105
000013ad: PUSH1 0x00
000013af: POP
000013b0: SLOAD
000013b1: DUP2
000013b2: JUMP
000013b3: JUMPDEST
000013b4: PUSH1 0x00
000013b6: PUSH1 0x00
000013b8: PUSH1 0x00
000013ba: PUSH1 0x00
000013bc: PUSH2 0x0102
000013bf: PUSH1 0x00
000013c1: POP
000013c2: PUSH1 0x00
000013c4: CALLER
000013c5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013da: AND
000013db: DUP2
000013dc: MSTORE
000013dd: PUSH1 0x20
000013df: ADD
000013e0: SWAP1
000013e1: DUP2
000013e2: MSTORE
000013e3: PUSH1 0x20
000013e5: ADD
000013e6: PUSH1 0x00
000013e8: KECCAK256
000013e9: PUSH1 0x00
000013eb: POP
000013ec: SLOAD
000013ed: SWAP3
000013ee: POP
000013ef: PUSH1 0x00
000013f1: DUP4
000013f2: EQ
000013f3: ISZERO
000013f4: PUSH2 0x13fc
000013f7: JUMPI
000013f8: PUSH2 0x161d
000013fb: JUMP
000013fc: JUMPDEST
000013fd: PUSH2 0x0103
00001400: PUSH1 0x00
00001402: POP
00001403: PUSH1 0x00
00001405: DUP7
00001406: PUSH1 0x00
00001408: NOT
00001409: AND
0000140a: DUP2
0000140b: MSTORE
0000140c: PUSH1 0x20
0000140e: ADD
0000140f: SWAP1
00001410: DUP2
00001411: MSTORE
00001412: PUSH1 0x20
00001414: ADD
00001415: PUSH1 0x00
00001417: KECCAK256
00001418: PUSH1 0x00
0000141a: POP
0000141b: SWAP2
0000141c: POP
0000141d: PUSH1 0x00
0000141f: DUP3
00001420: PUSH1 0x00
00001422: ADD
00001423: PUSH1 0x00
00001425: POP
00001426: SLOAD
00001427: EQ
00001428: ISZERO
00001429: PUSH2 0x14d9
0000142c: JUMPI
0000142d: PUSH1 0x00
0000142f: PUSH1 0x00
00001431: POP
00001432: SLOAD
00001433: DUP3
00001434: PUSH1 0x00
00001436: ADD
00001437: PUSH1 0x00
00001439: POP
0000143a: DUP2
0000143b: SWAP1
0000143c: SSTORE
0000143d: POP
0000143e: PUSH1 0x00
00001440: DUP3
00001441: PUSH1 0x01
00001443: ADD
00001444: PUSH1 0x00
00001446: POP
00001447: DUP2
00001448: SWAP1
00001449: SSTORE
0000144a: POP
0000144b: PUSH2 0x0104
0000144e: PUSH1 0x00
00001450: POP
00001451: DUP1
00001452: SLOAD
00001453: DUP1
00001454: SWAP2
00001455: SWAP1
00001456: PUSH1 0x01
00001458: ADD
00001459: SWAP1
0000145a: SWAP1
0000145b: DUP2
0000145c: SLOAD
0000145d: DUP2
0000145e: DUP4
0000145f: SSTORE
00001460: DUP2
00001461: DUP2
00001462: ISZERO
00001463: GT
00001464: PUSH2 0x149f
00001467: JUMPI
00001468: DUP2
00001469: DUP4
0000146a: PUSH1 0x00
0000146c: MSTORE
0000146d: PUSH1 0x20
0000146f: PUSH1 0x00
00001471: KECCAK256
00001472: SWAP2
00001473: DUP3
00001474: ADD
00001475: SWAP2
00001476: ADD
00001477: PUSH2 0x149e
0000147a: SWAP2
0000147b: SWAP1
0000147c: PUSH2 0x1480
0000147f: JUMP
00001480: JUMPDEST
00001481: DUP1
00001482: DUP3
00001483: GT
00001484: ISZERO
00001485: PUSH2 0x149a
00001488: JUMPI
00001489: PUSH1 0x00
0000148b: DUP2
0000148c: DUP2
0000148d: POP
0000148e: PUSH1 0x00
00001490: SWAP1
00001491: SSTORE
00001492: POP
00001493: PUSH1 0x01
00001495: ADD
00001496: PUSH2 0x1480
00001499: JUMP
0000149a: JUMPDEST
0000149b: POP
0000149c: SWAP1
0000149d: JUMP
0000149e: JUMPDEST
0000149f: JUMPDEST
000014a0: POP
000014a1: POP
000014a2: POP
000014a3: DUP3
000014a4: PUSH1 0x02
000014a6: ADD
000014a7: PUSH1 0x00
000014a9: POP
000014aa: DUP2
000014ab: SWAP1
000014ac: SSTORE
000014ad: POP
000014ae: DUP5
000014af: PUSH2 0x0104
000014b2: PUSH1 0x00
000014b4: POP
000014b5: DUP4
000014b6: PUSH1 0x02
000014b8: ADD
000014b9: PUSH1 0x00
000014bb: POP
000014bc: SLOAD
000014bd: DUP2
000014be: SLOAD
000014bf: DUP2
000014c0: LT
000014c1: ISZERO
000014c2: PUSH2 0x0002
000014c5: JUMPI
000014c6: SWAP1
000014c7: PUSH1 0x00
000014c9: MSTORE
000014ca: PUSH1 0x20
000014cc: PUSH1 0x00
000014ce: KECCAK256
000014cf: SWAP1
000014d0: ADD
000014d1: PUSH1 0x00
000014d3: JUMPDEST
000014d4: POP
000014d5: DUP2
000014d6: SWAP1
000014d7: SSTORE
000014d8: POP
000014d9: JUMPDEST
000014da: DUP3
000014db: PUSH1 0x02
000014dd: EXP
000014de: SWAP1
000014df: POP
000014e0: PUSH1 0x00
000014e2: DUP2
000014e3: DUP4
000014e4: PUSH1 0x01
000014e6: ADD
000014e7: PUSH1 0x00
000014e9: POP
000014ea: SLOAD
000014eb: AND
000014ec: EQ
000014ed: ISZERO
000014ee: PUSH2 0x161c
000014f1: JUMPI
000014f2: PUSH32 0xe1c52dc63b719ade82e8bea94cc41a0d5d28e4aaf536adb5e9cccc9ff8c1aeda
00001513: CALLER
00001514: DUP7
00001515: PUSH1 0x40
00001517: MLOAD
00001518: DUP1
00001519: DUP4
0000151a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000152f: AND
00001530: DUP2
00001531: MSTORE
00001532: PUSH1 0x20
00001534: ADD
00001535: DUP3
00001536: PUSH1 0x00
00001538: NOT
00001539: AND
0000153a: DUP2
0000153b: MSTORE
0000153c: PUSH1 0x20
0000153e: ADD
0000153f: SWAP3
00001540: POP
00001541: POP
00001542: POP
00001543: PUSH1 0x40
00001545: MLOAD
00001546: DUP1
00001547: SWAP2
00001548: SUB
00001549: SWAP1
0000154a: LOG1
0000154b: PUSH1 0x01
0000154d: DUP3
0000154e: PUSH1 0x00
00001550: ADD
00001551: PUSH1 0x00
00001553: POP
00001554: SLOAD
00001555: GT
00001556: ISZERO
00001557: ISZERO
00001558: PUSH2 0x15ef
0000155b: JUMPI
0000155c: PUSH2 0x0104
0000155f: PUSH1 0x00
00001561: POP
00001562: PUSH2 0x0103
00001565: PUSH1 0x00
00001567: POP
00001568: PUSH1 0x00
0000156a: DUP8
0000156b: PUSH1 0x00
0000156d: NOT
0000156e: AND
0000156f: DUP2
00001570: MSTORE
00001571: PUSH1 0x20
00001573: ADD
00001574: SWAP1
00001575: DUP2
00001576: MSTORE
00001577: PUSH1 0x20
00001579: ADD
0000157a: PUSH1 0x00
0000157c: KECCAK256
0000157d: PUSH1 0x00
0000157f: POP
00001580: PUSH1 0x02
00001582: ADD
00001583: PUSH1 0x00
00001585: POP
00001586: SLOAD
00001587: DUP2
00001588: SLOAD
00001589: DUP2
0000158a: LT
0000158b: ISZERO
0000158c: PUSH2 0x0002
0000158f: JUMPI
00001590: SWAP1
00001591: PUSH1 0x00
00001593: MSTORE
00001594: PUSH1 0x20
00001596: PUSH1 0x00
00001598: KECCAK256
00001599: SWAP1
0000159a: ADD
0000159b: PUSH1 0x00
0000159d: JUMPDEST
0000159e: POP
0000159f: PUSH1 0x00
000015a1: SWAP1
000015a2: SSTORE
000015a3: PUSH2 0x0103
000015a6: PUSH1 0x00
000015a8: POP
000015a9: PUSH1 0x00
000015ab: DUP7
000015ac: PUSH1 0x00
000015ae: NOT
000015af: AND
000015b0: DUP2
000015b1: MSTORE
000015b2: PUSH1 0x20
000015b4: ADD
000015b5: SWAP1
000015b6: DUP2
000015b7: MSTORE
000015b8: PUSH1 0x20
000015ba: ADD
000015bb: PUSH1 0x00
000015bd: KECCAK256
000015be: PUSH1 0x00
000015c0: PUSH1 0x00
000015c2: DUP3
000015c3: ADD
000015c4: PUSH1 0x00
000015c6: POP
000015c7: PUSH1 0x00
000015c9: SWAP1
000015ca: SSTORE
000015cb: PUSH1 0x01
000015cd: DUP3
000015ce: ADD
000015cf: PUSH1 0x00
000015d1: POP
000015d2: PUSH1 0x00
000015d4: SWAP1
000015d5: SSTORE
000015d6: PUSH1 0x02
000015d8: DUP3
000015d9: ADD
000015da: PUSH1 0x00
000015dc: POP
000015dd: PUSH1 0x00
000015df: SWAP1
000015e0: SSTORE
000015e1: POP
000015e2: POP
000015e3: PUSH1 0x01
000015e5: SWAP4
000015e6: POP
000015e7: PUSH2 0x161d
000015ea: JUMP
000015eb: PUSH2 0x161b
000015ee: JUMP
000015ef: JUMPDEST
000015f0: DUP2
000015f1: PUSH1 0x00
000015f3: ADD
000015f4: PUSH1 0x00
000015f6: DUP2
000015f7: DUP2
000015f8: POP
000015f9: SLOAD
000015fa: DUP1
000015fb: SWAP3
000015fc: SWAP2
000015fd: SWAP1
000015fe: PUSH1 0x01
00001600: SWAP1
00001601: SUB
00001602: SWAP2
00001603: SWAP1
00001604: POP
00001605: SSTORE
00001606: POP
00001607: DUP1
00001608: DUP3
00001609: PUSH1 0x01
0000160b: ADD
0000160c: PUSH1 0x00
0000160e: DUP3
0000160f: DUP3
00001610: DUP3
00001611: POP
00001612: SLOAD
00001613: OR
00001614: SWAP3
00001615: POP
00001616: POP
00001617: DUP2
00001618: SWAP1
00001619: SSTORE
0000161a: POP
0000161b: JUMPDEST
0000161c: JUMPDEST
0000161d: JUMPDEST
0000161e: POP
0000161f: POP
00001620: POP
00001621: SWAP2
00001622: SWAP1
00001623: POP
00001624: JUMP
00001625: JUMPDEST
00001626: PUSH1 0x00
00001628: PUSH1 0x00
0000162a: PUSH2 0x0104
0000162d: PUSH1 0x00
0000162f: POP
00001630: DUP1
00001631: SLOAD
00001632: SWAP1
00001633: POP
00001634: SWAP2
00001635: POP
00001636: PUSH1 0x00
00001638: SWAP1
00001639: POP
0000163a: JUMPDEST
0000163b: DUP2
0000163c: DUP2
0000163d: LT
0000163e: ISZERO
0000163f: PUSH2 0x172a
00001642: JUMPI
00001643: PUSH2 0x0109
00001646: PUSH1 0x00
00001648: POP
00001649: PUSH1 0x00
0000164b: PUSH2 0x0104
0000164e: PUSH1 0x00
00001650: POP
00001651: DUP4
00001652: DUP2
00001653: SLOAD
00001654: DUP2
00001655: LT
00001656: ISZERO
00001657: PUSH2 0x0002
0000165a: JUMPI
0000165b: SWAP1
0000165c: PUSH1 0x00
0000165e: MSTORE
0000165f: PUSH1 0x20
00001661: PUSH1 0x00
00001663: KECCAK256
00001664: SWAP1
00001665: ADD
00001666: PUSH1 0x00
00001668: JUMPDEST
00001669: POP
0000166a: SLOAD
0000166b: PUSH1 0x00
0000166d: NOT
0000166e: AND
0000166f: DUP2
00001670: MSTORE
00001671: PUSH1 0x20
00001673: ADD
00001674: SWAP1
00001675: DUP2
00001676: MSTORE
00001677: PUSH1 0x20
00001679: ADD
0000167a: PUSH1 0x00
0000167c: KECCAK256
0000167d: PUSH1 0x00
0000167f: PUSH1 0x00
00001681: DUP3
00001682: ADD
00001683: PUSH1 0x00
00001685: PUSH2 0x0100
00001688: EXP
00001689: DUP2
0000168a: SLOAD
0000168b: SWAP1
0000168c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016a1: MUL
000016a2: NOT
000016a3: AND
000016a4: SWAP1
000016a5: SSTORE
000016a6: PUSH1 0x01
000016a8: DUP3
000016a9: ADD
000016aa: PUSH1 0x00
000016ac: POP
000016ad: PUSH1 0x00
000016af: SWAP1
000016b0: SSTORE
000016b1: PUSH1 0x02
000016b3: DUP3
000016b4: ADD
000016b5: PUSH1 0x00
000016b7: POP
000016b8: DUP1
000016b9: SLOAD
000016ba: PUSH1 0x01
000016bc: DUP2
000016bd: PUSH1 0x01
000016bf: AND
000016c0: ISZERO
000016c1: PUSH2 0x0100
000016c4: MUL
000016c5: SUB
000016c6: AND
000016c7: PUSH1 0x02
000016c9: SWAP1
000016ca: DIV
000016cb: PUSH1 0x00
000016cd: DUP3
000016ce: SSTORE
000016cf: DUP1
000016d0: PUSH1 0x1f
000016d2: LT
000016d3: PUSH2 0x16dc
000016d6: JUMPI
000016d7: POP
000016d8: PUSH2 0x1719
000016db: JUMP
000016dc: JUMPDEST
000016dd: PUSH1 0x1f
000016df: ADD
000016e0: PUSH1 0x20
000016e2: SWAP1
000016e3: DIV
000016e4: SWAP1
000016e5: PUSH1 0x00
000016e7: MSTORE
000016e8: PUSH1 0x20
000016ea: PUSH1 0x00
000016ec: KECCAK256
000016ed: SWAP1
000016ee: DUP2
000016ef: ADD
000016f0: SWAP1
000016f1: PUSH2 0x1718
000016f4: SWAP2
000016f5: SWAP1
000016f6: PUSH2 0x16fa
000016f9: JUMP
000016fa: JUMPDEST
000016fb: DUP1
000016fc: DUP3
000016fd: GT
000016fe: ISZERO
000016ff: PUSH2 0x1714
00001702: JUMPI
00001703: PUSH1 0x00
00001705: DUP2
00001706: DUP2
00001707: POP
00001708: PUSH1 0x00
0000170a: SWAP1
0000170b: SSTORE
0000170c: POP
0000170d: PUSH1 0x01
0000170f: ADD
00001710: PUSH2 0x16fa
00001713: JUMP
00001714: JUMPDEST
00001715: POP
00001716: SWAP1
00001717: JUMP
00001718: JUMPDEST
00001719: JUMPDEST
0000171a: POP
0000171b: POP
0000171c: POP
0000171d: JUMPDEST
0000171e: DUP1
0000171f: PUSH1 0x01
00001721: ADD
00001722: SWAP1
00001723: POP
00001724: DUP1
00001725: POP
00001726: PUSH2 0x163a
00001729: JUMP
0000172a: JUMPDEST
0000172b: PUSH2 0x1732
0000172e: PUSH2 0x1971
00001731: JUMP
00001732: JUMPDEST
00001733: JUMPDEST
00001734: POP
00001735: POP
00001736: JUMP
00001737: JUMPDEST
00001738: PUSH1 0x00
0000173a: PUSH1 0x00
0000173c: PUSH1 0x01
0000173e: SWAP1
0000173f: POP
00001740: JUMPDEST
00001741: PUSH1 0x01
00001743: PUSH1 0x00
00001745: POP
00001746: SLOAD
00001747: DUP2
00001748: LT
00001749: ISZERO
0000174a: PUSH2 0x18cc
0000174d: JUMPI
0000174e: JUMPDEST
0000174f: PUSH1 0x01
00001751: PUSH1 0x00
00001753: POP
00001754: SLOAD
00001755: DUP2
00001756: LT
00001757: DUP1
00001758: ISZERO
00001759: PUSH2 0x177a
0000175c: JUMPI
0000175d: POP
0000175e: PUSH1 0x00
00001760: PUSH1 0x02
00001762: PUSH1 0x00
00001764: POP
00001765: DUP3
00001766: PUSH2 0x0100
00001769: DUP2
0000176a: LT
0000176b: ISZERO
0000176c: PUSH2 0x0002
0000176f: JUMPI
00001770: SWAP1
00001771: SWAP1
00001772: ADD
00001773: PUSH1 0x00
00001775: JUMPDEST
00001776: POP
00001777: SLOAD
00001778: EQ
00001779: ISZERO
0000177a: JUMPDEST
0000177b: ISZERO
0000177c: PUSH2 0x178c
0000177f: JUMPI
00001780: DUP1
00001781: DUP1
00001782: PUSH1 0x01
00001784: ADD
00001785: SWAP2
00001786: POP
00001787: POP
00001788: PUSH2 0x174e
0000178b: JUMP
0000178c: JUMPDEST
0000178d: JUMPDEST
0000178e: PUSH1 0x01
00001790: PUSH1 0x01
00001792: PUSH1 0x00
00001794: POP
00001795: SLOAD
00001796: GT
00001797: DUP1
00001798: ISZERO
00001799: PUSH2 0x17be
0000179c: JUMPI
0000179d: POP
0000179e: PUSH1 0x00
000017a0: PUSH1 0x02
000017a2: PUSH1 0x00
000017a4: POP
000017a5: PUSH1 0x01
000017a7: PUSH1 0x00
000017a9: POP
000017aa: SLOAD
000017ab: PUSH2 0x0100
000017ae: DUP2
000017af: LT
000017b0: ISZERO
000017b1: PUSH2 0x0002
000017b4: JUMPI
000017b5: SWAP1
000017b6: SWAP1
000017b7: ADD
000017b8: PUSH1 0x00
000017ba: JUMPDEST
000017bb: POP
000017bc: SLOAD
000017bd: EQ
000017be: JUMPDEST
000017bf: ISZERO
000017c0: PUSH2 0x17dd
000017c3: JUMPI
000017c4: PUSH1 0x01
000017c6: PUSH1 0x00
000017c8: DUP2
000017c9: DUP2
000017ca: POP
000017cb: SLOAD
000017cc: DUP1
000017cd: SWAP3
000017ce: SWAP2
000017cf: SWAP1
000017d0: PUSH1 0x01
000017d2: SWAP1
000017d3: SUB
000017d4: SWAP2
000017d5: SWAP1
000017d6: POP
000017d7: SSTORE
000017d8: POP
000017d9: PUSH2 0x178d
000017dc: JUMP
000017dd: JUMPDEST
000017de: PUSH1 0x01
000017e0: PUSH1 0x00
000017e2: POP
000017e3: SLOAD
000017e4: DUP2
000017e5: LT
000017e6: DUP1
000017e7: ISZERO
000017e8: PUSH2 0x180e
000017eb: JUMPI
000017ec: POP
000017ed: PUSH1 0x00
000017ef: PUSH1 0x02
000017f1: PUSH1 0x00
000017f3: POP
000017f4: PUSH1 0x01
000017f6: PUSH1 0x00
000017f8: POP
000017f9: SLOAD
000017fa: PUSH2 0x0100
000017fd: DUP2
000017fe: LT
000017ff: ISZERO
00001800: PUSH2 0x0002
00001803: JUMPI
00001804: SWAP1
00001805: SWAP1
00001806: ADD
00001807: PUSH1 0x00
00001809: JUMPDEST
0000180a: POP
0000180b: SLOAD
0000180c: EQ
0000180d: ISZERO
0000180e: JUMPDEST
0000180f: DUP1
00001810: ISZERO
00001811: PUSH2 0x1831
00001814: JUMPI
00001815: POP
00001816: PUSH1 0x00
00001818: PUSH1 0x02
0000181a: PUSH1 0x00
0000181c: POP
0000181d: DUP3
0000181e: PUSH2 0x0100
00001821: DUP2
00001822: LT
00001823: ISZERO
00001824: PUSH2 0x0002
00001827: JUMPI
00001828: SWAP1
00001829: SWAP1
0000182a: ADD
0000182b: PUSH1 0x00
0000182d: JUMPDEST
0000182e: POP
0000182f: SLOAD
00001830: EQ
00001831: JUMPDEST
00001832: ISZERO
00001833: PUSH2 0x18c7
00001836: JUMPI
00001837: PUSH1 0x02
00001839: PUSH1 0x00
0000183b: POP
0000183c: PUSH1 0x01
0000183e: PUSH1 0x00
00001840: POP
00001841: SLOAD
00001842: PUSH2 0x0100
00001845: DUP2
00001846: LT
00001847: ISZERO
00001848: PUSH2 0x0002
0000184b: JUMPI
0000184c: SWAP1
0000184d: SWAP1
0000184e: ADD
0000184f: PUSH1 0x00
00001851: JUMPDEST
00001852: POP
00001853: SLOAD
00001854: PUSH1 0x02
00001856: PUSH1 0x00
00001858: POP
00001859: DUP3
0000185a: PUSH2 0x0100
0000185d: DUP2
0000185e: LT
0000185f: ISZERO
00001860: PUSH2 0x0002
00001863: JUMPI
00001864: SWAP1
00001865: SWAP1
00001866: ADD
00001867: PUSH1 0x00
00001869: JUMPDEST
0000186a: POP
0000186b: DUP2
0000186c: SWAP1
0000186d: SSTORE
0000186e: POP
0000186f: DUP1
00001870: PUSH2 0x0102
00001873: PUSH1 0x00
00001875: POP
00001876: PUSH1 0x00
00001878: PUSH1 0x02
0000187a: PUSH1 0x00
0000187c: POP
0000187d: DUP5
0000187e: PUSH2 0x0100
00001881: DUP2
00001882: LT
00001883: ISZERO
00001884: PUSH2 0x0002
00001887: JUMPI
00001888: SWAP1
00001889: SWAP1
0000188a: ADD
0000188b: PUSH1 0x00
0000188d: JUMPDEST
0000188e: POP
0000188f: SLOAD
00001890: DUP2
00001891: MSTORE
00001892: PUSH1 0x20
00001894: ADD
00001895: SWAP1
00001896: DUP2
00001897: MSTORE
00001898: PUSH1 0x20
0000189a: ADD
0000189b: PUSH1 0x00
0000189d: KECCAK256
0000189e: PUSH1 0x00
000018a0: POP
000018a1: DUP2
000018a2: SWAP1
000018a3: SSTORE
000018a4: POP
000018a5: PUSH1 0x00
000018a7: PUSH1 0x02
000018a9: PUSH1 0x00
000018ab: POP
000018ac: PUSH1 0x01
000018ae: PUSH1 0x00
000018b0: POP
000018b1: SLOAD
000018b2: PUSH2 0x0100
000018b5: DUP2
000018b6: LT
000018b7: ISZERO
000018b8: PUSH2 0x0002
000018bb: JUMPI
000018bc: SWAP1
000018bd: SWAP1
000018be: ADD
000018bf: PUSH1 0x00
000018c1: JUMPDEST
000018c2: POP
000018c3: DUP2
000018c4: SWAP1
000018c5: SSTORE
000018c6: POP
000018c7: JUMPDEST
000018c8: PUSH2 0x1740
000018cb: JUMP
000018cc: JUMPDEST
000018cd: JUMPDEST
000018ce: POP
000018cf: SWAP1
000018d0: JUMP
000018d1: JUMPDEST
000018d2: PUSH1 0x00
000018d4: PUSH2 0x18dc
000018d7: CALLER
000018d8: PUSH2 0x05a7
000018db: JUMP
000018dc: JUMPDEST
000018dd: ISZERO
000018de: PUSH2 0x196b
000018e1: JUMPI
000018e2: PUSH2 0x0107
000018e5: PUSH1 0x00
000018e7: POP
000018e8: SLOAD
000018e9: PUSH2 0x18f0
000018ec: PUSH2 0x1a74
000018ef: JUMP
000018f0: JUMPDEST
000018f1: GT
000018f2: ISZERO
000018f3: PUSH2 0x1915
000018f6: JUMPI
000018f7: PUSH1 0x00
000018f9: PUSH2 0x0106
000018fc: PUSH1 0x00
000018fe: POP
000018ff: DUP2
00001900: SWAP1
00001901: SSTORE
00001902: POP
00001903: PUSH2 0x190a
00001906: PUSH2 0x1a74
00001909: JUMP
0000190a: JUMPDEST
0000190b: PUSH2 0x0107
0000190e: PUSH1 0x00
00001910: POP
00001911: DUP2
00001912: SWAP1
00001913: SSTORE
00001914: POP
00001915: JUMPDEST
00001916: PUSH2 0x0106
00001919: PUSH1 0x00
0000191b: POP
0000191c: SLOAD
0000191d: DUP3
0000191e: PUSH2 0x0106
00001921: PUSH1 0x00
00001923: POP
00001924: SLOAD
00001925: ADD
00001926: LT
00001927: ISZERO
00001928: DUP1
00001929: ISZERO
0000192a: PUSH2 0x1941
0000192d: JUMPI
0000192e: POP
0000192f: PUSH2 0x0105
00001932: PUSH1 0x00
00001934: POP
00001935: SLOAD
00001936: DUP3
00001937: PUSH2 0x0106
0000193a: PUSH1 0x00
0000193c: POP
0000193d: SLOAD
0000193e: ADD
0000193f: GT
00001940: ISZERO
00001941: JUMPDEST
00001942: ISZERO
00001943: PUSH2 0x1962
00001946: JUMPI
00001947: DUP2
00001948: PUSH2 0x0106
0000194b: PUSH1 0x00
0000194d: DUP3
0000194e: DUP3
0000194f: DUP3
00001950: POP
00001951: SLOAD
00001952: ADD
00001953: SWAP3
00001954: POP
00001955: POP
00001956: DUP2
00001957: SWAP1
00001958: SSTORE
00001959: POP
0000195a: PUSH1 0x01
0000195c: SWAP1
0000195d: POP
0000195e: PUSH2 0x196c
00001961: JUMP
00001962: JUMPDEST
00001963: PUSH1 0x00
00001965: SWAP1
00001966: POP
00001967: PUSH2 0x196c
0000196a: JUMP
0000196b: JUMPDEST
0000196c: JUMPDEST
0000196d: SWAP2
0000196e: SWAP1
0000196f: POP
00001970: JUMP
00001971: JUMPDEST
00001972: PUSH1 0x00
00001974: PUSH1 0x00
00001976: PUSH2 0x0104
00001979: PUSH1 0x00
0000197b: POP
0000197c: DUP1
0000197d: SLOAD
0000197e: SWAP1
0000197f: POP
00001980: SWAP2
00001981: POP
00001982: PUSH1 0x00
00001984: SWAP1
00001985: POP
00001986: JUMPDEST
00001987: DUP2
00001988: DUP2
00001989: LT
0000198a: ISZERO
0000198b: PUSH2 0x1a2c
0000198e: JUMPI
0000198f: PUSH1 0x00
00001991: PUSH1 0x01
00001993: MUL
00001994: PUSH2 0x0104
00001997: PUSH1 0x00
00001999: POP
0000199a: DUP3
0000199b: DUP2
0000199c: SLOAD
0000199d: DUP2
0000199e: LT
0000199f: ISZERO
000019a0: PUSH2 0x0002
000019a3: JUMPI
000019a4: SWAP1
000019a5: PUSH1 0x00
000019a7: MSTORE
000019a8: PUSH1 0x20
000019aa: PUSH1 0x00
000019ac: KECCAK256
000019ad: SWAP1
000019ae: ADD
000019af: PUSH1 0x00
000019b1: JUMPDEST
000019b2: POP
000019b3: SLOAD
000019b4: PUSH1 0x00
000019b6: NOT
000019b7: AND
000019b8: EQ
000019b9: ISZERO
000019ba: ISZERO
000019bb: PUSH2 0x1a1e
000019be: JUMPI
000019bf: PUSH2 0x0103
000019c2: PUSH1 0x00
000019c4: POP
000019c5: PUSH1 0x00
000019c7: PUSH2 0x0104
000019ca: PUSH1 0x00
000019cc: POP
000019cd: DUP4
000019ce: DUP2
000019cf: SLOAD
000019d0: DUP2
000019d1: LT
000019d2: ISZERO
000019d3: PUSH2 0x0002
000019d6: JUMPI
000019d7: SWAP1
000019d8: PUSH1 0x00
000019da: MSTORE
000019db: PUSH1 0x20
000019dd: PUSH1 0x00
000019df: KECCAK256
000019e0: SWAP1
000019e1: ADD
000019e2: PUSH1 0x00
000019e4: JUMPDEST
000019e5: POP
000019e6: SLOAD
000019e7: PUSH1 0x00
000019e9: NOT
000019ea: AND
000019eb: DUP2
000019ec: MSTORE
000019ed: PUSH1 0x20
000019ef: ADD
000019f0: SWAP1
000019f1: DUP2
000019f2: MSTORE
000019f3: PUSH1 0x20
000019f5: ADD
000019f6: PUSH1 0x00
000019f8: KECCAK256
000019f9: PUSH1 0x00
000019fb: PUSH1 0x00
000019fd: DUP3
000019fe: ADD
000019ff: PUSH1 0x00
00001a01: POP
00001a02: PUSH1 0x00
00001a04: SWAP1
00001a05: SSTORE
00001a06: PUSH1 0x01
00001a08: DUP3
00001a09: ADD
00001a0a: PUSH1 0x00
00001a0c: POP
00001a0d: PUSH1 0x00
00001a0f: SWAP1
00001a10: SSTORE
00001a11: PUSH1 0x02
00001a13: DUP3
00001a14: ADD
00001a15: PUSH1 0x00
00001a17: POP
00001a18: PUSH1 0x00
00001a1a: SWAP1
00001a1b: SSTORE
00001a1c: POP
00001a1d: POP
00001a1e: JUMPDEST
00001a1f: JUMPDEST
00001a20: DUP1
00001a21: PUSH1 0x01
00001a23: ADD
00001a24: SWAP1
00001a25: POP
00001a26: DUP1
00001a27: POP
00001a28: PUSH2 0x1986
00001a2b: JUMP
00001a2c: JUMPDEST
00001a2d: PUSH2 0x0104
00001a30: PUSH1 0x00
00001a32: POP
00001a33: DUP1
00001a34: SLOAD
00001a35: PUSH1 0x00
00001a37: DUP3
00001a38: SSTORE
00001a39: SWAP1
00001a3a: PUSH1 0x00
00001a3c: MSTORE
00001a3d: PUSH1 0x20
00001a3f: PUSH1 0x00
00001a41: KECCAK256
00001a42: SWAP1
00001a43: DUP2
00001a44: ADD
00001a45: SWAP1
00001a46: PUSH2 0x1a6d
00001a49: SWAP2
00001a4a: SWAP1
00001a4b: PUSH2 0x1a4f
00001a4e: JUMP
00001a4f: JUMPDEST
00001a50: DUP1
00001a51: DUP3
00001a52: GT
00001a53: ISZERO
00001a54: PUSH2 0x1a69
00001a57: JUMPI
00001a58: PUSH1 0x00
00001a5a: DUP2
00001a5b: DUP2
00001a5c: POP
00001a5d: PUSH1 0x00
00001a5f: SWAP1
00001a60: SSTORE
00001a61: POP
00001a62: PUSH1 0x01
00001a64: ADD
00001a65: PUSH2 0x1a4f
00001a68: JUMP
00001a69: JUMPDEST
00001a6a: POP
00001a6b: SWAP1
00001a6c: JUMP
00001a6d: JUMPDEST
00001a6e: JUMPDEST
00001a6f: POP
00001a70: JUMPDEST
00001a71: POP
00001a72: POP
00001a73: JUMP
00001a74: JUMPDEST
00001a75: PUSH1 0x00
00001a77: PUSH3 0x015180
00001a7b: TIMESTAMP
00001a7c: DIV
00001a7d: SWAP1
00001a7e: POP
00001a7f: PUSH2 0x1a83
00001a82: JUMP
00001a83: JUMPDEST
00001a84: SWAP1
00001a85: JUMP

View stderr

Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.

Findings

validated = confirmed for call sinks; sink observed for others

Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
critical	upgradeability	detector	Untrusted DELEGATECALL target reachable	70	no	no	view trace_id: 0xa4d41395bfa5398da9ae45918a41c453599e97cb34a383a53f747263a9a503a6 validation_json { "sink": "DELEGATECALL", "errors": 0, "status": "unknown", "attempts": 192, "trace_id": "0xa4d41395bfa5398da9ae45918a41c453599e97cb34a383a53f747263a9a503a6", "confirmed": false, "trace_mode": "callTracer", "call_targets": null, "matched_probe": null, "target_varies": null, "classification": "no_sink" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0x173825d9", "selector": "0x173825d9", "calldata_variants": [ "0x173825d9", "0x173825d90000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x2f54bf6e", "selector": "0x2f54bf6e", "calldata_variants": [ "0x2f54bf6e", "0x2f54bf6e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x4123cb6b", "selector": "0x4123cb6b", "calldata_variants": [ "0x4123cb6b", "0x4123cb6b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x52375093", "selector": "0x52375093", "calldata_variants": [ "0x52375093", "0x523750930000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x54fd4d50", "selector": "0x54fd4d50", "calldata_variants": [ "0x54fd4d50", "0x54fd4d500000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x5c52c2f5", "selector": "0x5c52c2f5", "calldata_variants": [ "0x5c52c2f5", "0x5c52c2f50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x659010e7", "selector": "0x659010e7", "calldata_variants": [ "0x659010e7", "0x659010e70000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x7065cb48", "selector": "0x7065cb48", "calldata_variants": [ "0x7065cb48", "0x7065cb480000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 1092, "opcode": "DELEGATECALL", "returndata_checked": null, "value_expression_category": "n/a", "target_expression_category": "computed" } ], "guards_detected": [], "delegatecall_count": 1, "untrusted_delegatecall_count": 1 }
high	other	detector	Untrusted CALL target/value reachable	60	no	no	view trace_id: 0xb315f7084b57b3da913d95c89591e8e0691ae53d68dc2aa1a0fa9a66ba565691 call_targets: 0x6d5719ff464c6624c30225931393f842e3a4a41a target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xb315f7084b57b3da913d95c89591e8e0691ae53d68dc2aa1a0fa9a66ba565691", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x6d5719ff464c6624c30225931393f842e3a4a41a" ], "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": "0x173825d9", "selector": "0x173825d9", "calldata_variants": [ "0x173825d9", "0x173825d90000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x2f54bf6e", "selector": "0x2f54bf6e", "calldata_variants": [ "0x2f54bf6e", "0x2f54bf6e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x4123cb6b", "selector": "0x4123cb6b", "calldata_variants": [ "0x4123cb6b", "0x4123cb6b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x52375093", "selector": "0x52375093", "calldata_variants": [ "0x52375093", "0x523750930000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x54fd4d50", "selector": "0x54fd4d50", "calldata_variants": [ "0x54fd4d50", "0x54fd4d500000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x5c52c2f5", "selector": "0x5c52c2f5", "calldata_variants": [ "0x5c52c2f5", "0x5c52c2f50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x659010e7", "selector": "0x659010e7", "calldata_variants": [ "0x659010e7", "0x659010e70000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x7065cb48", "selector": "0x7065cb48", "calldata_variants": [ "0x7065cb48", "0x7065cb480000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 2370, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 3291, "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: 0xb315f7084b57b3da913d95c89591e8e0691ae53d68dc2aa1a0fa9a66ba565691 call_targets: 0x6d5719ff464c6624c30225931393f842e3a4a41a target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xb315f7084b57b3da913d95c89591e8e0691ae53d68dc2aa1a0fa9a66ba565691", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x6d5719ff464c6624c30225931393f842e3a4a41a" ], "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": "0x173825d9", "selector": "0x173825d9", "calldata_variants": [ "0x173825d9", "0x173825d90000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x2f54bf6e", "selector": "0x2f54bf6e", "calldata_variants": [ "0x2f54bf6e", "0x2f54bf6e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x4123cb6b", "selector": "0x4123cb6b", "calldata_variants": [ "0x4123cb6b", "0x4123cb6b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x52375093", "selector": "0x52375093", "calldata_variants": [ "0x52375093", "0x523750930000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x54fd4d50", "selector": "0x54fd4d50", "calldata_variants": [ "0x54fd4d50", "0x54fd4d500000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x5c52c2f5", "selector": "0x5c52c2f5", "calldata_variants": [ "0x5c52c2f5", "0x5c52c2f50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x659010e7", "selector": "0x659010e7", "calldata_variants": [ "0x659010e7", "0x659010e70000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x7065cb48", "selector": "0x7065cb48", "calldata_variants": [ "0x7065cb48", "0x7065cb480000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 2370, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 3291, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 2, "guards_detected": [] }
high	other	detector	SELFDESTRUCT reachable	65	no	no	view trace_id: 0xd156ca62242dce86f8435da9a992d39ba8519bc9a63b5c41d5e68c1b6348f019 validation_json { "sink": "SELFDESTRUCT", "errors": 0, "status": "unknown", "attempts": 32, "trace_id": "0xd156ca62242dce86f8435da9a992d39ba8519bc9a63b5c41d5e68c1b6348f019", "confirmed": false, "trace_mode": "structLogs", "call_targets": null, "matched_probe": null, "target_varies": null, "classification": "no_sink" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0x173825d9", "selector": "0x173825d9", "calldata_variants": [ "0x173825d9", "0x173825d90000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x2f54bf6e", "selector": "0x2f54bf6e", "calldata_variants": [ "0x2f54bf6e", "0x2f54bf6e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x4123cb6b", "selector": "0x4123cb6b", "calldata_variants": [ "0x4123cb6b", "0x4123cb6b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x52375093", "selector": "0x52375093", "calldata_variants": [ "0x52375093", "0x523750930000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x54fd4d50", "selector": "0x54fd4d50", "calldata_variants": [ "0x54fd4d50", "0x54fd4d500000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x5c52c2f5", "selector": "0x5c52c2f5", "calldata_variants": [ "0x5c52c2f5", "0x5c52c2f50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x659010e7", "selector": "0x659010e7", "calldata_variants": [ "0x659010e7", "0x659010e70000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x7065cb48", "selector": "0x7065cb48", "calldata_variants": [ "0x7065cb48", "0x7065cb480000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "guards_detected": [], "selfdestruct_count": 1 }