019b477e-b374-72f3-a34f-b546730f89c7
Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?
| ID | Type | Status | Attempts | Heartbeat |
|---|---|---|---|---|
| 22555 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 22556 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 65422 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 65423 | capability.graph | complete | 1 / 3 | 1 week ago |
| 65424 | detector.run | complete | 1 / 3 | 1 week ago |
| 65425 | validation.fork | complete | 1 / 3 | 1 week ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x0168 0000000c: JUMPI 0000000d: PUSH4 0xffffffff 00000012: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000030: PUSH1 0x00 00000032: CALLDATALOAD 00000033: DIV 00000034: AND 00000035: PUSH3 0x65318b 00000039: DUP2 0000003a: EQ 0000003b: PUSH2 0x0176 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0x06fdde03 00000045: EQ 00000046: PUSH2 0x01a9 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0x10d0ffdd 00000050: EQ 00000051: PUSH2 0x0233 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0x18160ddd 0000005b: EQ 0000005c: PUSH2 0x024b 0000005f: JUMPI 00000060: DUP1 00000061: PUSH4 0x22609373 00000066: EQ 00000067: PUSH2 0x0260 0000006a: JUMPI 0000006b: DUP1 0000006c: PUSH4 0x27defa1f 00000071: EQ 00000072: PUSH2 0x0278 00000075: JUMPI 00000076: DUP1 00000077: PUSH4 0x313ce567 0000007c: EQ 0000007d: PUSH2 0x02a1 00000080: JUMPI 00000081: DUP1 00000082: PUSH4 0x3ccfd60b 00000087: EQ 00000088: PUSH2 0x02cc 0000008b: JUMPI 0000008c: DUP1 0000008d: PUSH4 0x4b750334 00000092: EQ 00000093: PUSH2 0x02e3 00000096: JUMPI 00000097: DUP1 00000098: PUSH4 0x56d399e8 0000009d: EQ 0000009e: PUSH2 0x02f8 000000a1: JUMPI 000000a2: DUP1 000000a3: PUSH4 0x688abbf7 000000a8: EQ 000000a9: PUSH2 0x030d 000000ac: JUMPI 000000ad: DUP1 000000ae: PUSH4 0x6b2f4632 000000b3: EQ 000000b4: PUSH2 0x0327 000000b7: JUMPI 000000b8: DUP1 000000b9: PUSH4 0x70a08231 000000be: EQ 000000bf: PUSH2 0x033c 000000c2: JUMPI 000000c3: DUP1 000000c4: PUSH4 0x76be1585 000000c9: EQ 000000ca: PUSH2 0x035d 000000cd: JUMPI 000000ce: DUP1 000000cf: PUSH4 0x8328b610 000000d4: EQ 000000d5: PUSH2 0x037e 000000d8: JUMPI 000000d9: DUP1 000000da: PUSH4 0x8620410b 000000df: EQ 000000e0: PUSH2 0x0396 000000e3: JUMPI 000000e4: DUP1 000000e5: PUSH4 0x87c95058 000000ea: EQ 000000eb: PUSH2 0x03ab 000000ee: JUMPI 000000ef: DUP1 000000f0: PUSH4 0x8da5cb5b 000000f5: EQ 000000f6: PUSH2 0x03d1 000000f9: JUMPI 000000fa: DUP1 000000fb: PUSH4 0x949e8acd 00000100: EQ 00000101: PUSH2 0x0402 00000104: JUMPI 00000105: DUP1 00000106: PUSH4 0x95d89b41 0000010b: EQ 0000010c: PUSH2 0x0417 0000010f: JUMPI 00000110: DUP1 00000111: PUSH4 0xa8e04f34 00000116: EQ 00000117: PUSH2 0x042c 0000011a: JUMPI 0000011b: DUP1 0000011c: PUSH4 0xa9059cbb 00000121: EQ 00000122: PUSH2 0x0441 00000125: JUMPI 00000126: DUP1 00000127: PUSH4 0xb84c8246 0000012c: EQ 0000012d: PUSH2 0x0465 00000130: JUMPI 00000131: DUP1 00000132: PUSH4 0xc47f0027 00000137: EQ 00000138: PUSH2 0x04be 0000013b: JUMPI 0000013c: DUP1 0000013d: PUSH4 0xe4849b32 00000142: EQ 00000143: PUSH2 0x0517 00000146: JUMPI 00000147: DUP1 00000148: PUSH4 0xe9fad8ee 0000014d: EQ 0000014e: PUSH2 0x052f 00000151: JUMPI 00000152: DUP1 00000153: PUSH4 0xf088d547 00000158: EQ 00000159: PUSH2 0x0544 0000015c: JUMPI 0000015d: DUP1 0000015e: PUSH4 0xfdb5a03e 00000163: EQ 00000164: PUSH2 0x0558 00000167: JUMPI 00000168: JUMPDEST 00000169: PUSH2 0x0173 0000016c: CALLVALUE 0000016d: PUSH1 0x00 0000016f: PUSH2 0x056d 00000172: JUMP 00000173: JUMPDEST 00000174: POP 00000175: STOP 00000176: JUMPDEST 00000177: CALLVALUE 00000178: DUP1 00000179: ISZERO 0000017a: PUSH2 0x0182 0000017d: JUMPI 0000017e: PUSH1 0x00 00000180: DUP1 00000181: REVERT 00000182: JUMPDEST 00000183: POP 00000184: PUSH2 0x0197 00000187: PUSH1 0x01 00000189: PUSH1 0xa0 0000018b: PUSH1 0x02 0000018d: EXP 0000018e: SUB 0000018f: PUSH1 0x04 00000191: CALLDATALOAD 00000192: AND 00000193: PUSH2 0x0b57 00000196: JUMP 00000197: JUMPDEST 00000198: PUSH1 0x40 0000019a: DUP1 0000019b: MLOAD 0000019c: SWAP2 0000019d: DUP3 0000019e: MSTORE 0000019f: MLOAD 000001a0: SWAP1 000001a1: DUP2 000001a2: SWAP1 000001a3: SUB 000001a4: PUSH1 0x20 000001a6: ADD 000001a7: SWAP1 000001a8: RETURN 000001a9: JUMPDEST 000001aa: CALLVALUE 000001ab: DUP1 000001ac: ISZERO 000001ad: PUSH2 0x01b5 000001b0: JUMPI 000001b1: PUSH1 0x00 000001b3: DUP1 000001b4: REVERT 000001b5: JUMPDEST 000001b6: POP 000001b7: PUSH2 0x01be 000001ba: PUSH2 0x0b92 000001bd: JUMP 000001be: JUMPDEST 000001bf: PUSH1 0x40 000001c1: DUP1 000001c2: MLOAD 000001c3: PUSH1 0x20 000001c5: DUP1 000001c6: DUP3 000001c7: MSTORE 000001c8: DUP4 000001c9: MLOAD 000001ca: DUP2 000001cb: DUP4 000001cc: ADD 000001cd: MSTORE 000001ce: DUP4 000001cf: MLOAD 000001d0: SWAP2 000001d1: SWAP3 000001d2: DUP4 000001d3: SWAP3 000001d4: SWAP1 000001d5: DUP4 000001d6: ADD 000001d7: SWAP2 000001d8: DUP6 000001d9: ADD 000001da: SWAP1 000001db: DUP1 000001dc: DUP4 000001dd: DUP4 000001de: PUSH1 0x00 000001e0: JUMPDEST 000001e1: DUP4 000001e2: DUP2 000001e3: LT 000001e4: ISZERO 000001e5: PUSH2 0x01f8 000001e8: JUMPI 000001e9: DUP2 000001ea: DUP2 000001eb: ADD 000001ec: MLOAD 000001ed: DUP4 000001ee: DUP3 000001ef: ADD 000001f0: MSTORE 000001f1: PUSH1 0x20 000001f3: ADD 000001f4: PUSH2 0x01e0 000001f7: JUMP 000001f8: JUMPDEST 000001f9: POP 000001fa: POP 000001fb: POP 000001fc: POP 000001fd: SWAP1 000001fe: POP 000001ff: SWAP1 00000200: DUP2 00000201: ADD 00000202: SWAP1 00000203: PUSH1 0x1f 00000205: AND 00000206: DUP1 00000207: ISZERO 00000208: PUSH2 0x0225 0000020b: JUMPI 0000020c: DUP1 0000020d: DUP3 0000020e: SUB 0000020f: DUP1 00000210: MLOAD 00000211: PUSH1 0x01 00000213: DUP4 00000214: PUSH1 0x20 00000216: SUB 00000217: PUSH2 0x0100 0000021a: EXP 0000021b: SUB 0000021c: NOT 0000021d: AND 0000021e: DUP2 0000021f: MSTORE 00000220: PUSH1 0x20 00000222: ADD 00000223: SWAP2 00000224: POP 00000225: JUMPDEST 00000226: POP 00000227: SWAP3 00000228: POP 00000229: POP 0000022a: POP 0000022b: PUSH1 0x40 0000022d: MLOAD 0000022e: DUP1 0000022f: SWAP2 00000230: SUB 00000231: SWAP1 00000232: RETURN 00000233: JUMPDEST 00000234: CALLVALUE 00000235: DUP1 00000236: ISZERO 00000237: PUSH2 0x023f 0000023a: JUMPI 0000023b: PUSH1 0x00 0000023d: DUP1 0000023e: REVERT 0000023f: JUMPDEST 00000240: POP 00000241: PUSH2 0x0197 00000244: PUSH1 0x04 00000246: CALLDATALOAD 00000247: PUSH2 0x0c20 0000024a: JUMP 0000024b: JUMPDEST 0000024c: CALLVALUE 0000024d: DUP1 0000024e: ISZERO 0000024f: PUSH2 0x0257 00000252: JUMPI 00000253: PUSH1 0x00 00000255: DUP1 00000256: REVERT 00000257: JUMPDEST 00000258: POP 00000259: PUSH2 0x0197 0000025c: PUSH2 0x0c50 0000025f: JUMP 00000260: JUMPDEST 00000261: CALLVALUE 00000262: DUP1 00000263: ISZERO 00000264: PUSH2 0x026c 00000267: JUMPI 00000268: PUSH1 0x00 0000026a: DUP1 0000026b: REVERT 0000026c: JUMPDEST 0000026d: POP 0000026e: PUSH2 0x0197 00000271: PUSH1 0x04 00000273: CALLDATALOAD 00000274: PUSH2 0x0c57 00000277: JUMP 00000278: JUMPDEST 00000279: CALLVALUE 0000027a: DUP1 0000027b: ISZERO 0000027c: PUSH2 0x0284 0000027f: JUMPI 00000280: PUSH1 0x00 00000282: DUP1 00000283: REVERT 00000284: JUMPDEST 00000285: POP 00000286: PUSH2 0x028d 00000289: PUSH2 0x0c90 0000028c: JUMP 0000028d: JUMPDEST 0000028e: PUSH1 0x40 00000290: DUP1 00000291: MLOAD 00000292: SWAP2 00000293: ISZERO 00000294: ISZERO 00000295: DUP3 00000296: MSTORE 00000297: MLOAD 00000298: SWAP1 00000299: DUP2 0000029a: SWAP1 0000029b: SUB 0000029c: PUSH1 0x20 0000029e: ADD 0000029f: SWAP1 000002a0: RETURN 000002a1: JUMPDEST 000002a2: CALLVALUE 000002a3: DUP1 000002a4: ISZERO 000002a5: PUSH2 0x02ad 000002a8: JUMPI 000002a9: PUSH1 0x00 000002ab: DUP1 000002ac: REVERT 000002ad: JUMPDEST 000002ae: POP 000002af: PUSH2 0x02b6 000002b2: PUSH2 0x0cb1 000002b5: JUMP 000002b6: JUMPDEST 000002b7: PUSH1 0x40 000002b9: DUP1 000002ba: MLOAD 000002bb: PUSH1 0xff 000002bd: SWAP1 000002be: SWAP3 000002bf: AND 000002c0: DUP3 000002c1: MSTORE 000002c2: MLOAD 000002c3: SWAP1 000002c4: DUP2 000002c5: SWAP1 000002c6: SUB 000002c7: PUSH1 0x20 000002c9: ADD 000002ca: SWAP1 000002cb: RETURN 000002cc: JUMPDEST 000002cd: CALLVALUE 000002ce: DUP1 000002cf: ISZERO 000002d0: PUSH2 0x02d8 000002d3: JUMPI 000002d4: PUSH1 0x00 000002d6: DUP1 000002d7: REVERT 000002d8: JUMPDEST 000002d9: POP 000002da: PUSH2 0x02e1 000002dd: PUSH2 0x0cb6 000002e0: JUMP 000002e1: JUMPDEST 000002e2: STOP 000002e3: JUMPDEST 000002e4: CALLVALUE 000002e5: DUP1 000002e6: ISZERO 000002e7: PUSH2 0x02ef 000002ea: JUMPI 000002eb: PUSH1 0x00 000002ed: DUP1 000002ee: REVERT 000002ef: JUMPDEST 000002f0: POP 000002f1: PUSH2 0x0197 000002f4: PUSH2 0x0d89 000002f7: JUMP 000002f8: JUMPDEST 000002f9: CALLVALUE 000002fa: DUP1 000002fb: ISZERO 000002fc: PUSH2 0x0304 000002ff: JUMPI 00000300: PUSH1 0x00 00000302: DUP1 00000303: REVERT 00000304: JUMPDEST 00000305: POP 00000306: PUSH2 0x0197 00000309: PUSH2 0x0ddd 0000030c: JUMP 0000030d: JUMPDEST 0000030e: CALLVALUE 0000030f: DUP1 00000310: ISZERO 00000311: PUSH2 0x0319 00000314: JUMPI 00000315: PUSH1 0x00 00000317: DUP1 00000318: REVERT 00000319: JUMPDEST 0000031a: POP 0000031b: PUSH2 0x0197 0000031e: PUSH1 0x04 00000320: CALLDATALOAD 00000321: ISZERO 00000322: ISZERO 00000323: PUSH2 0x0de3 00000326: JUMP 00000327: JUMPDEST 00000328: CALLVALUE 00000329: DUP1 0000032a: ISZERO 0000032b: PUSH2 0x0333 0000032e: JUMPI 0000032f: PUSH1 0x00 00000331: DUP1 00000332: REVERT 00000333: JUMPDEST 00000334: POP 00000335: PUSH2 0x0197 00000338: PUSH2 0x0e26 0000033b: JUMP 0000033c: JUMPDEST 0000033d: CALLVALUE 0000033e: DUP1 0000033f: ISZERO 00000340: PUSH2 0x0348 00000343: JUMPI 00000344: PUSH1 0x00 00000346: DUP1 00000347: REVERT 00000348: JUMPDEST 00000349: POP 0000034a: PUSH2 0x0197 0000034d: PUSH1 0x01 0000034f: PUSH1 0xa0 00000351: PUSH1 0x02 00000353: EXP 00000354: SUB 00000355: PUSH1 0x04 00000357: CALLDATALOAD 00000358: AND 00000359: PUSH2 0x0e2b 0000035c: JUMP 0000035d: JUMPDEST 0000035e: CALLVALUE 0000035f: DUP1 00000360: ISZERO 00000361: PUSH2 0x0369 00000364: JUMPI 00000365: PUSH1 0x00 00000367: DUP1 00000368: REVERT 00000369: JUMPDEST 0000036a: POP 0000036b: PUSH2 0x028d 0000036e: PUSH1 0x01 00000370: PUSH1 0xa0 00000372: PUSH1 0x02 00000374: EXP 00000375: SUB 00000376: PUSH1 0x04 00000378: CALLDATALOAD 00000379: AND 0000037a: PUSH2 0x0e46 0000037d: JUMP 0000037e: JUMPDEST 0000037f: CALLVALUE 00000380: DUP1 00000381: ISZERO 00000382: PUSH2 0x038a 00000385: JUMPI 00000386: PUSH1 0x00 00000388: DUP1 00000389: REVERT 0000038a: JUMPDEST 0000038b: POP 0000038c: PUSH2 0x02e1 0000038f: PUSH1 0x04 00000391: CALLDATALOAD 00000392: PUSH2 0x0e5b 00000395: JUMP 00000396: JUMPDEST 00000397: CALLVALUE 00000398: DUP1 00000399: ISZERO 0000039a: PUSH2 0x03a2 0000039d: JUMPI 0000039e: PUSH1 0x00 000003a0: DUP1 000003a1: REVERT 000003a2: JUMPDEST 000003a3: POP 000003a4: PUSH2 0x0197 000003a7: PUSH2 0x0e7f 000003aa: JUMP 000003ab: JUMPDEST 000003ac: CALLVALUE 000003ad: DUP1 000003ae: ISZERO 000003af: PUSH2 0x03b7 000003b2: JUMPI 000003b3: PUSH1 0x00 000003b5: DUP1 000003b6: REVERT 000003b7: JUMPDEST 000003b8: POP 000003b9: PUSH2 0x02e1 000003bc: PUSH1 0x01 000003be: PUSH1 0xa0 000003c0: PUSH1 0x02 000003c2: EXP 000003c3: SUB 000003c4: PUSH1 0x04 000003c6: CALLDATALOAD 000003c7: AND 000003c8: PUSH1 0x24 000003ca: CALLDATALOAD 000003cb: ISZERO 000003cc: ISZERO 000003cd: PUSH2 0x0ec7 000003d0: JUMP 000003d1: JUMPDEST 000003d2: CALLVALUE 000003d3: DUP1 000003d4: ISZERO 000003d5: PUSH2 0x03dd 000003d8: JUMPI 000003d9: PUSH1 0x00 000003db: DUP1 000003dc: REVERT 000003dd: JUMPDEST 000003de: POP 000003df: PUSH2 0x03e6 000003e2: PUSH2 0x0f11 000003e5: JUMP 000003e6: JUMPDEST 000003e7: PUSH1 0x40 000003e9: DUP1 000003ea: MLOAD 000003eb: PUSH1 0x01 000003ed: PUSH1 0xa0 000003ef: PUSH1 0x02 000003f1: EXP 000003f2: SUB 000003f3: SWAP1 000003f4: SWAP3 000003f5: AND 000003f6: DUP3 000003f7: MSTORE 000003f8: MLOAD 000003f9: SWAP1 000003fa: DUP2 000003fb: SWAP1 000003fc: SUB 000003fd: PUSH1 0x20 000003ff: ADD 00000400: SWAP1 00000401: RETURN 00000402: JUMPDEST 00000403: CALLVALUE 00000404: DUP1 00000405: ISZERO 00000406: PUSH2 0x040e 00000409: JUMPI 0000040a: PUSH1 0x00 0000040c: DUP1 0000040d: REVERT 0000040e: JUMPDEST 0000040f: POP 00000410: PUSH2 0x0197 00000413: PUSH2 0x0f20 00000416: JUMP 00000417: JUMPDEST 00000418: CALLVALUE 00000419: DUP1 0000041a: ISZERO 0000041b: PUSH2 0x0423 0000041e: JUMPI 0000041f: PUSH1 0x00 00000421: DUP1 00000422: REVERT 00000423: JUMPDEST 00000424: POP 00000425: PUSH2 0x01be 00000428: PUSH2 0x0f33 0000042b: JUMP 0000042c: JUMPDEST 0000042d: CALLVALUE 0000042e: DUP1 0000042f: ISZERO 00000430: PUSH2 0x0438 00000433: JUMPI 00000434: PUSH1 0x00 00000436: DUP1 00000437: REVERT 00000438: JUMPDEST 00000439: POP 0000043a: PUSH2 0x02e1 0000043d: PUSH2 0x0f8d 00000440: JUMP 00000441: JUMPDEST 00000442: CALLVALUE 00000443: DUP1 00000444: ISZERO 00000445: PUSH2 0x044d 00000448: JUMPI 00000449: PUSH1 0x00 0000044b: DUP1 0000044c: REVERT 0000044d: JUMPDEST 0000044e: POP 0000044f: PUSH2 0x028d 00000452: PUSH1 0x01 00000454: PUSH1 0xa0 00000456: PUSH1 0x02 00000458: EXP 00000459: SUB 0000045a: PUSH1 0x04 0000045c: CALLDATALOAD 0000045d: AND 0000045e: PUSH1 0x24 00000460: CALLDATALOAD 00000461: PUSH2 0x0fcc 00000464: JUMP 00000465: JUMPDEST 00000466: CALLVALUE 00000467: DUP1 00000468: ISZERO 00000469: PUSH2 0x0471 0000046c: JUMPI 0000046d: PUSH1 0x00 0000046f: DUP1 00000470: REVERT 00000471: JUMPDEST 00000472: POP 00000473: PUSH1 0x40 00000475: DUP1 00000476: MLOAD 00000477: PUSH1 0x20 00000479: PUSH1 0x04 0000047b: DUP1 0000047c: CALLDATALOAD 0000047d: DUP1 0000047e: DUP3 0000047f: ADD 00000480: CALLDATALOAD 00000481: PUSH1 0x1f 00000483: DUP2 00000484: ADD 00000485: DUP5 00000486: SWAP1 00000487: DIV 00000488: DUP5 00000489: MUL 0000048a: DUP6 0000048b: ADD 0000048c: DUP5 0000048d: ADD 0000048e: SWAP1 0000048f: SWAP6 00000490: MSTORE 00000491: DUP5 00000492: DUP5 00000493: MSTORE 00000494: PUSH2 0x02e1 00000497: SWAP5 00000498: CALLDATASIZE 00000499: SWAP5 0000049a: SWAP3 0000049b: SWAP4 0000049c: PUSH1 0x24 0000049e: SWAP4 0000049f: SWAP3 000004a0: DUP5 000004a1: ADD 000004a2: SWAP2 000004a3: SWAP1 000004a4: DUP2 000004a5: SWAP1 000004a6: DUP5 000004a7: ADD 000004a8: DUP4 000004a9: DUP3 000004aa: DUP1 000004ab: DUP3 000004ac: DUP5 000004ad: CALLDATACOPY 000004ae: POP 000004af: SWAP5 000004b0: SWAP8 000004b1: POP 000004b2: PUSH2 0x119e 000004b5: SWAP7 000004b6: POP 000004b7: POP 000004b8: POP 000004b9: POP 000004ba: POP 000004bb: POP 000004bc: POP 000004bd: JUMP 000004be: JUMPDEST 000004bf: CALLVALUE 000004c0: DUP1 000004c1: ISZERO 000004c2: PUSH2 0x04ca 000004c5: JUMPI 000004c6: PUSH1 0x00 000004c8: DUP1 000004c9: REVERT 000004ca: JUMPDEST 000004cb: POP 000004cc: PUSH1 0x40 000004ce: DUP1 000004cf: MLOAD 000004d0: PUSH1 0x20 000004d2: PUSH1 0x04 000004d4: DUP1 000004d5: CALLDATALOAD 000004d6: DUP1 000004d7: DUP3 000004d8: ADD 000004d9: CALLDATALOAD 000004da: PUSH1 0x1f 000004dc: DUP2 000004dd: ADD 000004de: DUP5 000004df: SWAP1 000004e0: DIV 000004e1: DUP5 000004e2: MUL 000004e3: DUP6 000004e4: ADD 000004e5: DUP5 000004e6: ADD 000004e7: SWAP1 000004e8: SWAP6 000004e9: MSTORE 000004ea: DUP5 000004eb: DUP5 000004ec: MSTORE 000004ed: PUSH2 0x02e1 000004f0: SWAP5 000004f1: CALLDATASIZE 000004f2: SWAP5 000004f3: SWAP3 000004f4: SWAP4 000004f5: PUSH1 0x24 000004f7: SWAP4 000004f8: SWAP3 000004f9: DUP5 000004fa: ADD 000004fb: SWAP2 000004fc: SWAP1 000004fd: DUP2 000004fe: SWAP1 000004ff: DUP5 00000500: ADD 00000501: DUP4 00000502: DUP3 00000503: DUP1 00000504: DUP3 00000505: DUP5 00000506: CALLDATACOPY 00000507: POP 00000508: SWAP5 00000509: SWAP8 0000050a: POP 0000050b: PUSH2 0x11d4 0000050e: SWAP7 0000050f: POP 00000510: POP 00000511: POP 00000512: POP 00000513: POP 00000514: POP 00000515: POP 00000516: JUMP 00000517: JUMPDEST 00000518: CALLVALUE 00000519: DUP1 0000051a: ISZERO 0000051b: PUSH2 0x0523 0000051e: JUMPI 0000051f: PUSH1 0x00 00000521: DUP1 00000522: REVERT 00000523: JUMPDEST 00000524: POP 00000525: PUSH2 0x02e1 00000528: PUSH1 0x04 0000052a: CALLDATALOAD 0000052b: PUSH2 0x1205 0000052e: JUMP 0000052f: JUMPDEST 00000530: CALLVALUE 00000531: DUP1 00000532: ISZERO 00000533: PUSH2 0x053b 00000536: JUMPI 00000537: PUSH1 0x00 00000539: DUP1 0000053a: REVERT 0000053b: JUMPDEST 0000053c: POP 0000053d: PUSH2 0x02e1 00000540: PUSH2 0x1356 00000543: JUMP 00000544: JUMPDEST 00000545: PUSH2 0x0197 00000548: PUSH1 0x01 0000054a: PUSH1 0xa0 0000054c: PUSH1 0x02 0000054e: EXP 0000054f: SUB 00000550: PUSH1 0x04 00000552: CALLDATALOAD 00000553: AND 00000554: PUSH2 0x1383 00000557: JUMP 00000558: JUMPDEST 00000559: CALLVALUE 0000055a: DUP1 0000055b: ISZERO 0000055c: PUSH2 0x0564 0000055f: JUMPI 00000560: PUSH1 0x00 00000562: DUP1 00000563: REVERT 00000564: JUMPDEST 00000565: POP 00000566: PUSH2 0x02e1 00000569: PUSH2 0x138f 0000056c: JUMP 0000056d: JUMPDEST 0000056e: PUSH1 0x00 00000570: DUP1 00000571: PUSH1 0x00 00000573: DUP1 00000574: PUSH1 0x00 00000576: DUP1 00000577: PUSH1 0x00 00000579: DUP1 0000057a: PUSH1 0x00 0000057c: DUP11 0000057d: PUSH1 0x00 0000057f: CALLER 00000580: SWAP1 00000581: POP 00000582: PUSH1 0x0b 00000584: PUSH1 0x14 00000586: SWAP1 00000587: SLOAD 00000588: SWAP1 00000589: PUSH2 0x0100 0000058c: EXP 0000058d: SWAP1 0000058e: DIV 0000058f: PUSH1 0xff 00000591: AND 00000592: DUP1 00000593: ISZERO 00000594: PUSH2 0x05af 00000597: JUMPI 00000598: POP 00000599: PUSH9 0x01158e460913d00000 000005a3: DUP3 000005a4: PUSH2 0x05ab 000005a7: PUSH2 0x0e26 000005aa: JUMP 000005ab: JUMPDEST 000005ac: SUB 000005ad: GT 000005ae: ISZERO 000005af: JUMPDEST 000005b0: ISZERO 000005b1: PUSH2 0x08bc 000005b4: JUMPI 000005b5: PUSH1 0x01 000005b7: PUSH1 0xa0 000005b9: PUSH1 0x02 000005bb: EXP 000005bc: SUB 000005bd: DUP2 000005be: AND 000005bf: PUSH1 0x00 000005c1: SWAP1 000005c2: DUP2 000005c3: MSTORE 000005c4: PUSH1 0x03 000005c6: PUSH1 0x20 000005c8: MSTORE 000005c9: PUSH1 0x40 000005cb: SWAP1 000005cc: KECCAK256 000005cd: SLOAD 000005ce: PUSH1 0xff 000005d0: AND 000005d1: ISZERO 000005d2: ISZERO 000005d3: PUSH1 0x01 000005d5: EQ 000005d6: DUP1 000005d7: ISZERO 000005d8: PUSH2 0x0604 000005db: JUMPI 000005dc: POP 000005dd: PUSH1 0x01 000005df: PUSH1 0xa0 000005e1: PUSH1 0x02 000005e3: EXP 000005e4: SUB 000005e5: DUP2 000005e6: AND 000005e7: PUSH1 0x00 000005e9: SWAP1 000005ea: DUP2 000005eb: MSTORE 000005ec: PUSH1 0x07 000005ee: PUSH1 0x20 000005f0: MSTORE 000005f1: PUSH1 0x40 000005f3: SWAP1 000005f4: KECCAK256 000005f5: SLOAD 000005f6: PUSH8 0x0de0b6b3a7640000 000005ff: SWAP1 00000600: DUP4 00000601: ADD 00000602: GT 00000603: ISZERO 00000604: JUMPDEST 00000605: ISZERO 00000606: ISZERO 00000607: PUSH2 0x060f 0000060a: JUMPI 0000060b: PUSH1 0x00 0000060d: DUP1 0000060e: REVERT 0000060f: JUMPDEST 00000610: PUSH1 0x01 00000612: PUSH1 0xa0 00000614: PUSH1 0x02 00000616: EXP 00000617: SUB 00000618: DUP2 00000619: AND 0000061a: PUSH1 0x00 0000061c: SWAP1 0000061d: DUP2 0000061e: MSTORE 0000061f: PUSH1 0x07 00000621: PUSH1 0x20 00000623: MSTORE 00000624: PUSH1 0x40 00000626: SWAP1 00000627: KECCAK256 00000628: SLOAD 00000629: PUSH2 0x0632 0000062c: SWAP1 0000062d: DUP4 0000062e: PUSH2 0x1445 00000631: JUMP 00000632: JUMPDEST 00000633: PUSH1 0x01 00000635: PUSH1 0xa0 00000637: PUSH1 0x02 00000639: EXP 0000063a: SUB 0000063b: DUP3 0000063c: AND 0000063d: PUSH1 0x00 0000063f: SWAP1 00000640: DUP2 00000641: MSTORE 00000642: PUSH1 0x07 00000644: PUSH1 0x20 00000646: MSTORE 00000647: PUSH1 0x40 00000649: SWAP1 0000064a: KECCAK256 0000064b: SSTORE 0000064c: CALLER 0000064d: SWAP10 0000064e: POP 0000064f: PUSH2 0x0659 00000652: DUP14 00000653: PUSH1 0x05 00000655: PUSH2 0x145b 00000658: JUMP 00000659: JUMPDEST 0000065a: SWAP9 0000065b: POP 0000065c: PUSH2 0x0666 0000065f: DUP10 00000660: PUSH1 0x03 00000662: PUSH2 0x145b 00000665: JUMP 00000666: JUMPDEST 00000667: SWAP8 00000668: POP 00000669: PUSH2 0x0672 0000066c: DUP10 0000066d: DUP10 0000066e: PUSH2 0x1472 00000671: JUMP 00000672: JUMPDEST 00000673: SWAP7 00000674: POP 00000675: PUSH2 0x067e 00000678: DUP14 00000679: DUP11 0000067a: PUSH2 0x1472 0000067d: JUMP 0000067e: JUMPDEST 0000067f: SWAP6 00000680: POP 00000681: PUSH2 0x0689 00000684: DUP7 00000685: PUSH2 0x1484 00000688: JUMP 00000689: JUMPDEST 0000068a: SWAP5 0000068b: POP 0000068c: PUSH9 0x010000000000000000 00000696: DUP8 00000697: MUL 00000698: SWAP4 00000699: POP 0000069a: PUSH1 0x00 0000069c: DUP6 0000069d: GT 0000069e: DUP1 0000069f: ISZERO 000006a0: PUSH2 0x06b3 000006a3: JUMPI 000006a4: POP 000006a5: PUSH1 0x08 000006a7: SLOAD 000006a8: PUSH2 0x06b1 000006ab: DUP7 000006ac: DUP3 000006ad: PUSH2 0x1445 000006b0: JUMP 000006b1: JUMPDEST 000006b2: GT 000006b3: JUMPDEST 000006b4: ISZERO 000006b5: ISZERO 000006b6: PUSH2 0x06be 000006b9: JUMPI 000006ba: PUSH1 0x00 000006bc: DUP1 000006bd: REVERT 000006be: JUMPDEST 000006bf: PUSH1 0x01 000006c1: PUSH1 0xa0 000006c3: PUSH1 0x02 000006c5: EXP 000006c6: SUB 000006c7: DUP13 000006c8: AND 000006c9: ISZERO 000006ca: DUP1 000006cb: ISZERO 000006cc: SWAP1 000006cd: PUSH2 0x06e8 000006d0: JUMPI 000006d1: POP 000006d2: DUP10 000006d3: PUSH1 0x01 000006d5: PUSH1 0xa0 000006d7: PUSH1 0x02 000006d9: EXP 000006da: SUB 000006db: AND 000006dc: DUP13 000006dd: PUSH1 0x01 000006df: PUSH1 0xa0 000006e1: PUSH1 0x02 000006e3: EXP 000006e4: SUB 000006e5: AND 000006e6: EQ 000006e7: ISZERO 000006e8: JUMPDEST 000006e9: DUP1 000006ea: ISZERO 000006eb: PUSH2 0x070e 000006ee: JUMPI 000006ef: POP 000006f0: PUSH1 0x02 000006f2: SLOAD 000006f3: PUSH1 0x01 000006f5: PUSH1 0xa0 000006f7: PUSH1 0x02 000006f9: EXP 000006fa: SUB 000006fb: DUP14 000006fc: AND 000006fd: PUSH1 0x00 000006ff: SWAP1 00000700: DUP2 00000701: MSTORE 00000702: PUSH1 0x04 00000704: PUSH1 0x20 00000706: MSTORE 00000707: PUSH1 0x40 00000709: SWAP1 0000070a: KECCAK256 0000070b: SLOAD 0000070c: LT 0000070d: ISZERO 0000070e: JUMPDEST 0000070f: ISZERO 00000710: PUSH2 0x0754 00000713: JUMPI 00000714: PUSH1 0x01 00000716: PUSH1 0xa0 00000718: PUSH1 0x02 0000071a: EXP 0000071b: SUB 0000071c: DUP13 0000071d: AND 0000071e: PUSH1 0x00 00000720: SWAP1 00000721: DUP2 00000722: MSTORE 00000723: PUSH1 0x05 00000725: PUSH1 0x20 00000727: MSTORE 00000728: PUSH1 0x40 0000072a: SWAP1 0000072b: KECCAK256 0000072c: SLOAD 0000072d: PUSH2 0x0736 00000730: SWAP1 00000731: DUP10 00000732: PUSH2 0x1445 00000735: JUMP 00000736: JUMPDEST 00000737: PUSH1 0x01 00000739: PUSH1 0xa0 0000073b: PUSH1 0x02 0000073d: EXP 0000073e: SUB 0000073f: DUP14 00000740: AND 00000741: PUSH1 0x00 00000743: SWAP1 00000744: DUP2 00000745: MSTORE 00000746: PUSH1 0x05 00000748: PUSH1 0x20 0000074a: MSTORE 0000074b: PUSH1 0x40 0000074d: SWAP1 0000074e: KECCAK256 0000074f: SSTORE 00000750: PUSH2 0x076f 00000753: JUMP 00000754: JUMPDEST 00000755: PUSH2 0x075e 00000758: DUP8 00000759: DUP10 0000075a: PUSH2 0x1445 0000075d: JUMP 0000075e: JUMPDEST 0000075f: SWAP7 00000760: POP 00000761: PUSH9 0x010000000000000000 0000076b: DUP8 0000076c: MUL 0000076d: SWAP4 0000076e: POP 0000076f: JUMPDEST 00000770: PUSH1 0x00 00000772: PUSH1 0x08 00000774: SLOAD 00000775: GT 00000776: ISZERO 00000777: PUSH2 0x07d3 0000077a: JUMPI 0000077b: PUSH2 0x0786 0000077e: PUSH1 0x08 00000780: SLOAD 00000781: DUP7 00000782: PUSH2 0x1445 00000785: JUMP 00000786: JUMPDEST 00000787: PUSH1 0x08 00000789: DUP2 0000078a: SWAP1 0000078b: SSTORE 0000078c: PUSH9 0x010000000000000000 00000796: DUP9 00000797: MUL 00000798: DUP2 00000799: ISZERO 0000079a: ISZERO 0000079b: PUSH2 0x07a0 0000079e: JUMPI 0000079f: INVALID 000007a0: JUMPDEST 000007a1: PUSH1 0x09 000007a3: DUP1 000007a4: SLOAD 000007a5: SWAP3 000007a6: SWAP1 000007a7: SWAP2 000007a8: DIV 000007a9: SWAP1 000007aa: SWAP2 000007ab: ADD 000007ac: SWAP1 000007ad: SSTORE 000007ae: PUSH1 0x08 000007b0: SLOAD 000007b1: PUSH9 0x010000000000000000 000007bb: DUP9 000007bc: MUL 000007bd: DUP2 000007be: ISZERO 000007bf: ISZERO 000007c0: PUSH2 0x07c5 000007c3: JUMPI 000007c4: INVALID 000007c5: JUMPDEST 000007c6: DIV 000007c7: DUP6 000007c8: MUL 000007c9: DUP5 000007ca: SUB 000007cb: DUP5 000007cc: SUB 000007cd: SWAP4 000007ce: POP 000007cf: PUSH2 0x07d9 000007d2: JUMP 000007d3: JUMPDEST 000007d4: PUSH1 0x08 000007d6: DUP6 000007d7: SWAP1 000007d8: SSTORE 000007d9: JUMPDEST 000007da: PUSH1 0x01 000007dc: PUSH1 0xa0 000007de: PUSH1 0x02 000007e0: EXP 000007e1: SUB 000007e2: DUP11 000007e3: AND 000007e4: PUSH1 0x00 000007e6: SWAP1 000007e7: DUP2 000007e8: MSTORE 000007e9: PUSH1 0x04 000007eb: PUSH1 0x20 000007ed: MSTORE 000007ee: PUSH1 0x40 000007f0: SWAP1 000007f1: KECCAK256 000007f2: SLOAD 000007f3: PUSH2 0x07fc 000007f6: SWAP1 000007f7: DUP7 000007f8: PUSH2 0x1445 000007fb: JUMP 000007fc: JUMPDEST 000007fd: PUSH1 0x04 000007ff: PUSH1 0x00 00000801: DUP13 00000802: PUSH1 0x01 00000804: PUSH1 0xa0 00000806: PUSH1 0x02 00000808: EXP 00000809: SUB 0000080a: AND 0000080b: PUSH1 0x01 0000080d: PUSH1 0xa0 0000080f: PUSH1 0x02 00000811: EXP 00000812: SUB 00000813: AND 00000814: DUP2 00000815: MSTORE 00000816: PUSH1 0x20 00000818: ADD 00000819: SWAP1 0000081a: DUP2 0000081b: MSTORE 0000081c: PUSH1 0x20 0000081e: ADD 0000081f: PUSH1 0x00 00000821: KECCAK256 00000822: DUP2 00000823: SWAP1 00000824: SSTORE 00000825: POP 00000826: DUP4 00000827: DUP6 00000828: PUSH1 0x09 0000082a: SLOAD 0000082b: MUL 0000082c: SUB 0000082d: SWAP3 0000082e: POP 0000082f: DUP3 00000830: PUSH1 0x06 00000832: PUSH1 0x00 00000834: DUP13 00000835: PUSH1 0x01 00000837: PUSH1 0xa0 00000839: PUSH1 0x02 0000083b: EXP 0000083c: SUB 0000083d: AND 0000083e: PUSH1 0x01 00000840: PUSH1 0xa0 00000842: PUSH1 0x02 00000844: EXP 00000845: SUB 00000846: AND 00000847: DUP2 00000848: MSTORE 00000849: PUSH1 0x20 0000084b: ADD 0000084c: SWAP1 0000084d: DUP2 0000084e: MSTORE 0000084f: PUSH1 0x20 00000851: ADD 00000852: PUSH1 0x00 00000854: KECCAK256 00000855: PUSH1 0x00 00000857: DUP3 00000858: DUP3 00000859: SLOAD 0000085a: ADD 0000085b: SWAP3 0000085c: POP 0000085d: POP 0000085e: DUP2 0000085f: SWAP1 00000860: SSTORE 00000861: POP 00000862: DUP12 00000863: PUSH1 0x01 00000865: PUSH1 0xa0 00000867: PUSH1 0x02 00000869: EXP 0000086a: SUB 0000086b: AND 0000086c: DUP11 0000086d: PUSH1 0x01 0000086f: PUSH1 0xa0 00000871: PUSH1 0x02 00000873: EXP 00000874: SUB 00000875: AND 00000876: PUSH32 0x022c0d992e4d873a3748436d960d5140c1f9721cf73f7ca5ec679d3d9f4fe2d5 00000897: DUP16 00000898: DUP9 00000899: PUSH1 0x40 0000089b: MLOAD 0000089c: DUP1 0000089d: DUP4 0000089e: DUP2 0000089f: MSTORE 000008a0: PUSH1 0x20 000008a2: ADD 000008a3: DUP3 000008a4: DUP2 000008a5: MSTORE 000008a6: PUSH1 0x20 000008a8: ADD 000008a9: SWAP3 000008aa: POP 000008ab: POP 000008ac: POP 000008ad: PUSH1 0x40 000008af: MLOAD 000008b0: DUP1 000008b1: SWAP2 000008b2: SUB 000008b3: SWAP1 000008b4: LOG3 000008b5: DUP5 000008b6: SWAP11 000008b7: POP 000008b8: PUSH2 0x0b47 000008bb: JUMP 000008bc: JUMPDEST 000008bd: PUSH1 0x0b 000008bf: DUP1 000008c0: SLOAD 000008c1: PUSH21 0xff0000000000000000000000000000000000000000 000008d7: NOT 000008d8: AND 000008d9: SWAP1 000008da: SSTORE 000008db: CALLER 000008dc: SWAP10 000008dd: POP 000008de: PUSH2 0x08e8 000008e1: DUP14 000008e2: PUSH1 0x05 000008e4: PUSH2 0x145b 000008e7: JUMP 000008e8: JUMPDEST 000008e9: SWAP9 000008ea: POP 000008eb: PUSH2 0x08f5 000008ee: DUP10 000008ef: PUSH1 0x03 000008f1: PUSH2 0x145b 000008f4: JUMP 000008f5: JUMPDEST 000008f6: SWAP8 000008f7: POP 000008f8: PUSH2 0x0901 000008fb: DUP10 000008fc: DUP10 000008fd: PUSH2 0x1472 00000900: JUMP 00000901: JUMPDEST 00000902: SWAP7 00000903: POP 00000904: PUSH2 0x090d 00000907: DUP14 00000908: DUP11 00000909: PUSH2 0x1472 0000090c: JUMP 0000090d: JUMPDEST 0000090e: SWAP6 0000090f: POP 00000910: PUSH2 0x0918 00000913: DUP7 00000914: PUSH2 0x1484 00000917: JUMP 00000918: JUMPDEST 00000919: SWAP5 0000091a: POP 0000091b: PUSH9 0x010000000000000000 00000925: DUP8 00000926: MUL 00000927: SWAP4 00000928: POP 00000929: PUSH1 0x00 0000092b: DUP6 0000092c: GT 0000092d: DUP1 0000092e: ISZERO 0000092f: PUSH2 0x0942 00000932: JUMPI 00000933: POP 00000934: PUSH1 0x08 00000936: SLOAD 00000937: PUSH2 0x0940 0000093a: DUP7 0000093b: DUP3 0000093c: PUSH2 0x1445 0000093f: JUMP 00000940: JUMPDEST 00000941: GT 00000942: JUMPDEST 00000943: ISZERO 00000944: ISZERO 00000945: PUSH2 0x094d 00000948: JUMPI 00000949: PUSH1 0x00 0000094b: DUP1 0000094c: REVERT 0000094d: JUMPDEST 0000094e: PUSH1 0x01 00000950: PUSH1 0xa0 00000952: PUSH1 0x02 00000954: EXP 00000955: SUB 00000956: DUP13 00000957: AND 00000958: ISZERO 00000959: DUP1 0000095a: ISZERO 0000095b: SWAP1 0000095c: PUSH2 0x0977 0000095f: JUMPI 00000960: POP 00000961: DUP10 00000962: PUSH1 0x01 00000964: PUSH1 0xa0 00000966: PUSH1 0x02 00000968: EXP 00000969: SUB 0000096a: AND 0000096b: DUP13 0000096c: PUSH1 0x01 0000096e: PUSH1 0xa0 00000970: PUSH1 0x02 00000972: EXP 00000973: SUB 00000974: AND 00000975: EQ 00000976: ISZERO 00000977: JUMPDEST 00000978: DUP1 00000979: ISZERO 0000097a: PUSH2 0x099d 0000097d: JUMPI 0000097e: POP 0000097f: PUSH1 0x02 00000981: SLOAD 00000982: PUSH1 0x01 00000984: PUSH1 0xa0 00000986: PUSH1 0x02 00000988: EXP 00000989: SUB 0000098a: DUP14 0000098b: AND 0000098c: PUSH1 0x00 0000098e: SWAP1 0000098f: DUP2 00000990: MSTORE 00000991: PUSH1 0x04 00000993: PUSH1 0x20 00000995: MSTORE 00000996: PUSH1 0x40 00000998: SWAP1 00000999: KECCAK256 0000099a: SLOAD 0000099b: LT 0000099c: ISZERO 0000099d: JUMPDEST 0000099e: ISZERO 0000099f: PUSH2 0x09e3 000009a2: JUMPI 000009a3: PUSH1 0x01 000009a5: PUSH1 0xa0 000009a7: PUSH1 0x02 000009a9: EXP 000009aa: SUB 000009ab: DUP13 000009ac: AND 000009ad: PUSH1 0x00 000009af: SWAP1 000009b0: DUP2 000009b1: MSTORE 000009b2: PUSH1 0x05 000009b4: PUSH1 0x20 000009b6: MSTORE 000009b7: PUSH1 0x40 000009b9: SWAP1 000009ba: KECCAK256 000009bb: SLOAD 000009bc: PUSH2 0x09c5 000009bf: SWAP1 000009c0: DUP10 000009c1: PUSH2 0x1445 000009c4: JUMP 000009c5: JUMPDEST 000009c6: PUSH1 0x01 000009c8: PUSH1 0xa0 000009ca: PUSH1 0x02 000009cc: EXP 000009cd: SUB 000009ce: DUP14 000009cf: AND 000009d0: PUSH1 0x00 000009d2: SWAP1 000009d3: DUP2 000009d4: MSTORE 000009d5: PUSH1 0x05 000009d7: PUSH1 0x20 000009d9: MSTORE 000009da: PUSH1 0x40 000009dc: SWAP1 000009dd: KECCAK256 000009de: SSTORE 000009df: PUSH2 0x09fe 000009e2: JUMP 000009e3: JUMPDEST 000009e4: PUSH2 0x09ed 000009e7: DUP8 000009e8: DUP10 000009e9: PUSH2 0x1445 000009ec: JUMP 000009ed: JUMPDEST 000009ee: SWAP7 000009ef: POP 000009f0: PUSH9 0x010000000000000000 000009fa: DUP8 000009fb: MUL 000009fc: SWAP4 000009fd: POP 000009fe: JUMPDEST 000009ff: PUSH1 0x00 00000a01: PUSH1 0x08 00000a03: SLOAD 00000a04: GT 00000a05: ISZERO 00000a06: PUSH2 0x0a62 00000a09: JUMPI 00000a0a: PUSH2 0x0a15 00000a0d: PUSH1 0x08 00000a0f: SLOAD 00000a10: DUP7 00000a11: PUSH2 0x1445 00000a14: JUMP 00000a15: JUMPDEST 00000a16: PUSH1 0x08 00000a18: DUP2 00000a19: SWAP1 00000a1a: SSTORE 00000a1b: PUSH9 0x010000000000000000 00000a25: DUP9 00000a26: MUL 00000a27: DUP2 00000a28: ISZERO 00000a29: ISZERO 00000a2a: PUSH2 0x0a2f 00000a2d: JUMPI 00000a2e: INVALID 00000a2f: JUMPDEST 00000a30: PUSH1 0x09 00000a32: DUP1 00000a33: SLOAD 00000a34: SWAP3 00000a35: SWAP1 00000a36: SWAP2 00000a37: DIV 00000a38: SWAP1 00000a39: SWAP2 00000a3a: ADD 00000a3b: SWAP1 00000a3c: SSTORE 00000a3d: PUSH1 0x08 00000a3f: SLOAD 00000a40: PUSH9 0x010000000000000000 00000a4a: DUP9 00000a4b: MUL 00000a4c: DUP2 00000a4d: ISZERO 00000a4e: ISZERO 00000a4f: PUSH2 0x0a54 00000a52: JUMPI 00000a53: INVALID 00000a54: JUMPDEST 00000a55: DIV 00000a56: DUP6 00000a57: MUL 00000a58: DUP5 00000a59: SUB 00000a5a: DUP5 00000a5b: SUB 00000a5c: SWAP4 00000a5d: POP 00000a5e: PUSH2 0x0a68 00000a61: JUMP 00000a62: JUMPDEST 00000a63: PUSH1 0x08 00000a65: DUP6 00000a66: SWAP1 00000a67: SSTORE 00000a68: JUMPDEST 00000a69: PUSH1 0x01 00000a6b: PUSH1 0xa0 00000a6d: PUSH1 0x02 00000a6f: EXP 00000a70: SUB 00000a71: DUP11 00000a72: AND 00000a73: PUSH1 0x00 00000a75: SWAP1 00000a76: DUP2 00000a77: MSTORE 00000a78: PUSH1 0x04 00000a7a: PUSH1 0x20 00000a7c: MSTORE 00000a7d: PUSH1 0x40 00000a7f: SWAP1 00000a80: KECCAK256 00000a81: SLOAD 00000a82: PUSH2 0x0a8b 00000a85: SWAP1 00000a86: DUP7 00000a87: PUSH2 0x1445 00000a8a: JUMP 00000a8b: JUMPDEST 00000a8c: PUSH1 0x04 00000a8e: PUSH1 0x00 00000a90: DUP13 00000a91: PUSH1 0x01 00000a93: PUSH1 0xa0 00000a95: PUSH1 0x02 00000a97: EXP 00000a98: SUB 00000a99: AND 00000a9a: PUSH1 0x01 00000a9c: PUSH1 0xa0 00000a9e: PUSH1 0x02 00000aa0: EXP 00000aa1: SUB 00000aa2: AND 00000aa3: DUP2 00000aa4: MSTORE 00000aa5: PUSH1 0x20 00000aa7: ADD 00000aa8: SWAP1 00000aa9: DUP2 00000aaa: MSTORE 00000aab: PUSH1 0x20 00000aad: ADD 00000aae: PUSH1 0x00 00000ab0: KECCAK256 00000ab1: DUP2 00000ab2: SWAP1 00000ab3: SSTORE 00000ab4: POP 00000ab5: DUP4 00000ab6: DUP6 00000ab7: PUSH1 0x09 00000ab9: SLOAD 00000aba: MUL 00000abb: SUB 00000abc: SWAP3 00000abd: POP 00000abe: DUP3 00000abf: PUSH1 0x06 00000ac1: PUSH1 0x00 00000ac3: DUP13 00000ac4: PUSH1 0x01 00000ac6: PUSH1 0xa0 00000ac8: PUSH1 0x02 00000aca: EXP 00000acb: SUB 00000acc: AND 00000acd: PUSH1 0x01 00000acf: PUSH1 0xa0 00000ad1: PUSH1 0x02 00000ad3: EXP 00000ad4: SUB 00000ad5: AND 00000ad6: DUP2 00000ad7: MSTORE 00000ad8: PUSH1 0x20 00000ada: ADD 00000adb: SWAP1 00000adc: DUP2 00000add: MSTORE 00000ade: PUSH1 0x20 00000ae0: ADD 00000ae1: PUSH1 0x00 00000ae3: KECCAK256 00000ae4: PUSH1 0x00 00000ae6: DUP3 00000ae7: DUP3 00000ae8: SLOAD 00000ae9: ADD 00000aea: SWAP3 00000aeb: POP 00000aec: POP 00000aed: DUP2 00000aee: SWAP1 00000aef: SSTORE 00000af0: POP 00000af1: DUP12 00000af2: PUSH1 0x01 00000af4: PUSH1 0xa0 00000af6: PUSH1 0x02 00000af8: EXP 00000af9: SUB 00000afa: AND 00000afb: DUP11 00000afc: PUSH1 0x01 00000afe: PUSH1 0xa0 00000b00: PUSH1 0x02 00000b02: EXP 00000b03: SUB 00000b04: AND 00000b05: PUSH32 0x022c0d992e4d873a3748436d960d5140c1f9721cf73f7ca5ec679d3d9f4fe2d5 00000b26: DUP16 00000b27: DUP9 00000b28: PUSH1 0x40 00000b2a: MLOAD 00000b2b: DUP1 00000b2c: DUP4 00000b2d: DUP2 00000b2e: MSTORE 00000b2f: PUSH1 0x20 00000b31: ADD 00000b32: DUP3 00000b33: DUP2 00000b34: MSTORE 00000b35: PUSH1 0x20 00000b37: ADD 00000b38: SWAP3 00000b39: POP 00000b3a: POP 00000b3b: POP 00000b3c: PUSH1 0x40 00000b3e: MLOAD 00000b3f: DUP1 00000b40: SWAP2 00000b41: SUB 00000b42: SWAP1 00000b43: LOG3 00000b44: DUP5 00000b45: SWAP11 00000b46: POP 00000b47: JUMPDEST 00000b48: POP 00000b49: POP 00000b4a: POP 00000b4b: POP 00000b4c: POP 00000b4d: POP 00000b4e: POP 00000b4f: POP 00000b50: POP 00000b51: POP 00000b52: SWAP3 00000b53: SWAP2 00000b54: POP 00000b55: POP 00000b56: JUMP 00000b57: JUMPDEST 00000b58: PUSH1 0x01 00000b5a: PUSH1 0xa0 00000b5c: PUSH1 0x02 00000b5e: EXP 00000b5f: SUB 00000b60: AND 00000b61: PUSH1 0x00 00000b63: SWAP1 00000b64: DUP2 00000b65: MSTORE 00000b66: PUSH1 0x06 00000b68: PUSH1 0x20 00000b6a: SWAP1 00000b6b: DUP2 00000b6c: MSTORE 00000b6d: PUSH1 0x40 00000b6f: DUP1 00000b70: DUP4 00000b71: KECCAK256 00000b72: SLOAD 00000b73: PUSH1 0x04 00000b75: SWAP1 00000b76: SWAP3 00000b77: MSTORE 00000b78: SWAP1 00000b79: SWAP2 00000b7a: KECCAK256 00000b7b: SLOAD 00000b7c: PUSH1 0x09 00000b7e: SLOAD 00000b7f: PUSH9 0x010000000000000000 00000b89: SWAP2 00000b8a: MUL 00000b8b: SWAP2 00000b8c: SWAP1 00000b8d: SWAP2 00000b8e: SUB 00000b8f: DIV 00000b90: SWAP1 00000b91: JUMP 00000b92: JUMPDEST 00000b93: PUSH1 0x00 00000b95: DUP1 00000b96: SLOAD 00000b97: PUSH1 0x40 00000b99: DUP1 00000b9a: MLOAD 00000b9b: PUSH1 0x20 00000b9d: PUSH1 0x02 00000b9f: PUSH1 0x01 00000ba1: DUP6 00000ba2: AND 00000ba3: ISZERO 00000ba4: PUSH2 0x0100 00000ba7: MUL 00000ba8: PUSH1 0x00 00000baa: NOT 00000bab: ADD 00000bac: SWAP1 00000bad: SWAP5 00000bae: AND 00000baf: SWAP4 00000bb0: SWAP1 00000bb1: SWAP4 00000bb2: DIV 00000bb3: PUSH1 0x1f 00000bb5: DUP2 00000bb6: ADD 00000bb7: DUP5 00000bb8: SWAP1 00000bb9: DIV 00000bba: DUP5 00000bbb: MUL 00000bbc: DUP3 00000bbd: ADD 00000bbe: DUP5 00000bbf: ADD 00000bc0: SWAP1 00000bc1: SWAP3 00000bc2: MSTORE 00000bc3: DUP2 00000bc4: DUP2 00000bc5: MSTORE 00000bc6: SWAP3 00000bc7: SWAP2 00000bc8: DUP4 00000bc9: ADD 00000bca: DUP3 00000bcb: DUP3 00000bcc: DUP1 00000bcd: ISZERO 00000bce: PUSH2 0x0c18 00000bd1: JUMPI 00000bd2: DUP1 00000bd3: PUSH1 0x1f 00000bd5: LT 00000bd6: PUSH2 0x0bed 00000bd9: JUMPI 00000bda: PUSH2 0x0100 00000bdd: DUP1 00000bde: DUP4 00000bdf: SLOAD 00000be0: DIV 00000be1: MUL 00000be2: DUP4 00000be3: MSTORE 00000be4: SWAP2 00000be5: PUSH1 0x20 00000be7: ADD 00000be8: SWAP2 00000be9: PUSH2 0x0c18 00000bec: JUMP 00000bed: JUMPDEST 00000bee: DUP3 00000bef: ADD 00000bf0: SWAP2 00000bf1: SWAP1 00000bf2: PUSH1 0x00 00000bf4: MSTORE 00000bf5: PUSH1 0x20 00000bf7: PUSH1 0x00 00000bf9: KECCAK256 00000bfa: SWAP1 00000bfb: JUMPDEST 00000bfc: DUP2 00000bfd: SLOAD 00000bfe: DUP2 00000bff: MSTORE 00000c00: SWAP1 00000c01: PUSH1 0x01 00000c03: ADD 00000c04: SWAP1 00000c05: PUSH1 0x20 00000c07: ADD 00000c08: DUP1 00000c09: DUP4 00000c0a: GT 00000c0b: PUSH2 0x0bfb 00000c0e: JUMPI 00000c0f: DUP3 00000c10: SWAP1 00000c11: SUB 00000c12: PUSH1 0x1f 00000c14: AND 00000c15: DUP3 00000c16: ADD 00000c17: SWAP2 00000c18: JUMPDEST 00000c19: POP 00000c1a: POP 00000c1b: POP 00000c1c: POP 00000c1d: POP 00000c1e: DUP2 00000c1f: JUMP 00000c20: JUMPDEST 00000c21: PUSH1 0x00 00000c23: DUP1 00000c24: DUP1 00000c25: DUP1 00000c26: PUSH2 0x0c30 00000c29: DUP6 00000c2a: PUSH1 0x05 00000c2c: PUSH2 0x145b 00000c2f: JUMP 00000c30: JUMPDEST 00000c31: SWAP3 00000c32: POP 00000c33: PUSH2 0x0c3c 00000c36: DUP6 00000c37: DUP5 00000c38: PUSH2 0x1472 00000c3b: JUMP 00000c3c: JUMPDEST 00000c3d: SWAP2 00000c3e: POP 00000c3f: PUSH2 0x0c47 00000c42: DUP3 00000c43: PUSH2 0x1484 00000c46: JUMP 00000c47: JUMPDEST 00000c48: SWAP6 00000c49: SWAP5 00000c4a: POP 00000c4b: POP 00000c4c: POP 00000c4d: POP 00000c4e: POP 00000c4f: JUMP 00000c50: JUMPDEST 00000c51: PUSH1 0x08 00000c53: SLOAD 00000c54: JUMPDEST 00000c55: SWAP1 00000c56: JUMP 00000c57: JUMPDEST 00000c58: PUSH1 0x00 00000c5a: DUP1 00000c5b: PUSH1 0x00 00000c5d: DUP1 00000c5e: PUSH1 0x08 00000c60: SLOAD 00000c61: DUP6 00000c62: GT 00000c63: ISZERO 00000c64: ISZERO 00000c65: ISZERO 00000c66: PUSH2 0x0c6e 00000c69: JUMPI 00000c6a: PUSH1 0x00 00000c6c: DUP1 00000c6d: REVERT 00000c6e: JUMPDEST 00000c6f: PUSH2 0x0c77 00000c72: DUP6 00000c73: PUSH2 0x151c 00000c76: JUMP 00000c77: JUMPDEST 00000c78: SWAP3 00000c79: POP 00000c7a: PUSH2 0x0c84 00000c7d: DUP4 00000c7e: PUSH1 0x05 00000c80: PUSH2 0x145b 00000c83: JUMP 00000c84: JUMPDEST 00000c85: SWAP2 00000c86: POP 00000c87: PUSH2 0x0c47 00000c8a: DUP4 00000c8b: DUP4 00000c8c: PUSH2 0x1472 00000c8f: JUMP 00000c90: JUMPDEST 00000c91: PUSH1 0x0b 00000c93: SLOAD 00000c94: PUSH21 0x010000000000000000000000000000000000000000 00000caa: SWAP1 00000cab: DIV 00000cac: PUSH1 0xff 00000cae: AND 00000caf: DUP2 00000cb0: JUMP 00000cb1: JUMPDEST 00000cb2: PUSH1 0x12 00000cb4: DUP2 00000cb5: JUMP 00000cb6: JUMPDEST 00000cb7: PUSH1 0x00 00000cb9: DUP1 00000cba: PUSH1 0x00 00000cbc: PUSH2 0x0cc5 00000cbf: PUSH1 0x01 00000cc1: PUSH2 0x0de3 00000cc4: JUMP 00000cc5: JUMPDEST 00000cc6: GT 00000cc7: PUSH2 0x0ccf 00000cca: JUMPI 00000ccb: PUSH1 0x00 00000ccd: DUP1 00000cce: REVERT 00000ccf: JUMPDEST 00000cd0: CALLER 00000cd1: SWAP2 00000cd2: POP 00000cd3: PUSH2 0x0cdc 00000cd6: PUSH1 0x00 00000cd8: PUSH2 0x0de3 00000cdb: JUMP 00000cdc: JUMPDEST 00000cdd: PUSH1 0x01 00000cdf: PUSH1 0xa0 00000ce1: PUSH1 0x02 00000ce3: EXP 00000ce4: SUB 00000ce5: DUP4 00000ce6: AND 00000ce7: PUSH1 0x00 00000ce9: DUP2 00000cea: DUP2 00000ceb: MSTORE 00000cec: PUSH1 0x06 00000cee: PUSH1 0x20 00000cf0: SWAP1 00000cf1: DUP2 00000cf2: MSTORE 00000cf3: PUSH1 0x40 00000cf5: DUP1 00000cf6: DUP4 00000cf7: KECCAK256 00000cf8: DUP1 00000cf9: SLOAD 00000cfa: PUSH9 0x010000000000000000 00000d04: DUP8 00000d05: MUL 00000d06: ADD 00000d07: SWAP1 00000d08: SSTORE 00000d09: PUSH1 0x05 00000d0b: SWAP1 00000d0c: SWAP2 00000d0d: MSTORE 00000d0e: DUP1 00000d0f: DUP3 00000d10: KECCAK256 00000d11: DUP1 00000d12: SLOAD 00000d13: SWAP1 00000d14: DUP4 00000d15: SWAP1 00000d16: SSTORE 00000d17: SWAP1 00000d18: MLOAD 00000d19: SWAP4 00000d1a: ADD 00000d1b: SWAP4 00000d1c: POP 00000d1d: SWAP1 00000d1e: SWAP2 00000d1f: DUP4 00000d20: ISZERO 00000d21: PUSH2 0x08fc 00000d24: MUL 00000d25: SWAP2 00000d26: DUP5 00000d27: SWAP2 00000d28: SWAP1 00000d29: DUP2 00000d2a: DUP2 00000d2b: DUP2 00000d2c: DUP6 00000d2d: DUP9 00000d2e: DUP9 00000d2f: CALL 00000d30: SWAP4 00000d31: POP 00000d32: POP 00000d33: POP 00000d34: POP 00000d35: ISZERO 00000d36: DUP1 00000d37: ISZERO 00000d38: PUSH2 0x0d45 00000d3b: JUMPI 00000d3c: RETURNDATASIZE 00000d3d: PUSH1 0x00 00000d3f: DUP1 00000d40: RETURNDATACOPY 00000d41: RETURNDATASIZE 00000d42: PUSH1 0x00 00000d44: REVERT 00000d45: JUMPDEST 00000d46: POP 00000d47: PUSH1 0x40 00000d49: DUP1 00000d4a: MLOAD 00000d4b: DUP3 00000d4c: DUP2 00000d4d: MSTORE 00000d4e: SWAP1 00000d4f: MLOAD 00000d50: PUSH1 0x01 00000d52: PUSH1 0xa0 00000d54: PUSH1 0x02 00000d56: EXP 00000d57: SUB 00000d58: DUP5 00000d59: AND 00000d5a: SWAP2 00000d5b: PUSH32 0xccad973dcd043c7d680389db4378bd6b9775db7124092e9e0422c9e46d7985dc 00000d7c: SWAP2 00000d7d: SWAP1 00000d7e: DUP2 00000d7f: SWAP1 00000d80: SUB 00000d81: PUSH1 0x20 00000d83: ADD 00000d84: SWAP1 00000d85: LOG2 00000d86: POP 00000d87: POP 00000d88: JUMP 00000d89: JUMPDEST 00000d8a: PUSH1 0x00 00000d8c: DUP1 00000d8d: PUSH1 0x00 00000d8f: DUP1 00000d90: PUSH1 0x08 00000d92: SLOAD 00000d93: PUSH1 0x00 00000d95: EQ 00000d96: ISZERO 00000d97: PUSH2 0x0da7 00000d9a: JUMPI 00000d9b: PUSH5 0x14f46b0400 00000da1: SWAP4 00000da2: POP 00000da3: PUSH2 0x0dd7 00000da6: JUMP 00000da7: JUMPDEST 00000da8: PUSH2 0x0db8 00000dab: PUSH8 0x0de0b6b3a7640000 00000db4: PUSH2 0x151c 00000db7: JUMP 00000db8: JUMPDEST 00000db9: SWAP3 00000dba: POP 00000dbb: PUSH2 0x0dc5 00000dbe: DUP4 00000dbf: PUSH1 0x05 00000dc1: PUSH2 0x145b 00000dc4: JUMP 00000dc5: JUMPDEST 00000dc6: SWAP2 00000dc7: POP 00000dc8: PUSH2 0x0dd1 00000dcb: DUP4 00000dcc: DUP4 00000dcd: PUSH2 0x1472 00000dd0: JUMP 00000dd1: JUMPDEST 00000dd2: SWAP1 00000dd3: POP 00000dd4: DUP1 00000dd5: SWAP4 00000dd6: POP 00000dd7: JUMPDEST 00000dd8: POP 00000dd9: POP 00000dda: POP 00000ddb: SWAP1 00000ddc: JUMP 00000ddd: JUMPDEST 00000dde: PUSH1 0x02 00000de0: SLOAD 00000de1: DUP2 00000de2: JUMP 00000de3: JUMPDEST 00000de4: PUSH1 0x00 00000de6: CALLER 00000de7: DUP3 00000de8: PUSH2 0x0df9 00000deb: JUMPI 00000dec: PUSH2 0x0df4 00000def: DUP2 00000df0: PUSH2 0x0b57 00000df3: JUMP 00000df4: JUMPDEST 00000df5: PUSH2 0x0e1d 00000df8: JUMP 00000df9: JUMPDEST 00000dfa: PUSH1 0x01 00000dfc: PUSH1 0xa0 00000dfe: PUSH1 0x02 00000e00: EXP 00000e01: SUB 00000e02: DUP2 00000e03: AND 00000e04: PUSH1 0x00 00000e06: SWAP1 00000e07: DUP2 00000e08: MSTORE 00000e09: PUSH1 0x05 00000e0b: PUSH1 0x20 00000e0d: MSTORE 00000e0e: PUSH1 0x40 00000e10: SWAP1 00000e11: KECCAK256 00000e12: SLOAD 00000e13: PUSH2 0x0e1b 00000e16: DUP3 00000e17: PUSH2 0x0b57 00000e1a: JUMP 00000e1b: JUMPDEST 00000e1c: ADD 00000e1d: JUMPDEST 00000e1e: SWAP2 00000e1f: POP 00000e20: JUMPDEST 00000e21: POP 00000e22: SWAP2 00000e23: SWAP1 00000e24: POP 00000e25: JUMP 00000e26: JUMPDEST 00000e27: ADDRESS 00000e28: BALANCE 00000e29: SWAP1 00000e2a: JUMP 00000e2b: JUMPDEST 00000e2c: PUSH1 0x01 00000e2e: PUSH1 0xa0 00000e30: PUSH1 0x02 00000e32: EXP 00000e33: SUB 00000e34: AND 00000e35: PUSH1 0x00 00000e37: SWAP1 00000e38: DUP2 00000e39: MSTORE 00000e3a: PUSH1 0x04 00000e3c: PUSH1 0x20 00000e3e: MSTORE 00000e3f: PUSH1 0x40 00000e41: SWAP1 00000e42: KECCAK256 00000e43: SLOAD 00000e44: SWAP1 00000e45: JUMP 00000e46: JUMPDEST 00000e47: PUSH1 0x0a 00000e49: PUSH1 0x20 00000e4b: MSTORE 00000e4c: PUSH1 0x00 00000e4e: SWAP1 00000e4f: DUP2 00000e50: MSTORE 00000e51: PUSH1 0x40 00000e53: SWAP1 00000e54: KECCAK256 00000e55: SLOAD 00000e56: PUSH1 0xff 00000e58: AND 00000e59: DUP2 00000e5a: JUMP 00000e5b: JUMPDEST 00000e5c: CALLER 00000e5d: PUSH1 0x00 00000e5f: DUP2 00000e60: DUP2 00000e61: MSTORE 00000e62: PUSH1 0x0a 00000e64: PUSH1 0x20 00000e66: MSTORE 00000e67: PUSH1 0x40 00000e69: SWAP1 00000e6a: KECCAK256 00000e6b: SLOAD 00000e6c: PUSH1 0xff 00000e6e: AND 00000e6f: ISZERO 00000e70: ISZERO 00000e71: PUSH2 0x0e79 00000e74: JUMPI 00000e75: PUSH1 0x00 00000e77: DUP1 00000e78: REVERT 00000e79: JUMPDEST 00000e7a: POP 00000e7b: PUSH1 0x02 00000e7d: SSTORE 00000e7e: JUMP 00000e7f: JUMPDEST 00000e80: PUSH1 0x00 00000e82: DUP1 00000e83: PUSH1 0x00 00000e85: DUP1 00000e86: PUSH1 0x08 00000e88: SLOAD 00000e89: PUSH1 0x00 00000e8b: EQ 00000e8c: ISZERO 00000e8d: PUSH2 0x0e9d 00000e90: JUMPI 00000e91: PUSH5 0x199c82cc00 00000e97: SWAP4 00000e98: POP 00000e99: PUSH2 0x0dd7 00000e9c: JUMP 00000e9d: JUMPDEST 00000e9e: PUSH2 0x0eae 00000ea1: PUSH8 0x0de0b6b3a7640000 00000eaa: PUSH2 0x151c 00000ead: JUMP 00000eae: JUMPDEST 00000eaf: SWAP3 00000eb0: POP 00000eb1: PUSH2 0x0ebb 00000eb4: DUP4 00000eb5: PUSH1 0x05 00000eb7: PUSH2 0x145b 00000eba: JUMP 00000ebb: JUMPDEST 00000ebc: SWAP2 00000ebd: POP 00000ebe: PUSH2 0x0dd1 00000ec1: DUP4 00000ec2: DUP4 00000ec3: PUSH2 0x1445 00000ec6: JUMP 00000ec7: JUMPDEST 00000ec8: CALLER 00000ec9: PUSH1 0x00 00000ecb: DUP2 00000ecc: DUP2 00000ecd: MSTORE 00000ece: PUSH1 0x0a 00000ed0: PUSH1 0x20 00000ed2: MSTORE 00000ed3: PUSH1 0x40 00000ed5: SWAP1 00000ed6: KECCAK256 00000ed7: SLOAD 00000ed8: PUSH1 0xff 00000eda: AND 00000edb: ISZERO 00000edc: ISZERO 00000edd: PUSH2 0x0ee5 00000ee0: JUMPI 00000ee1: PUSH1 0x00 00000ee3: DUP1 00000ee4: REVERT 00000ee5: JUMPDEST 00000ee6: POP 00000ee7: PUSH1 0x01 00000ee9: PUSH1 0xa0 00000eeb: PUSH1 0x02 00000eed: EXP 00000eee: SUB 00000eef: SWAP2 00000ef0: SWAP1 00000ef1: SWAP2 00000ef2: AND 00000ef3: PUSH1 0x00 00000ef5: SWAP1 00000ef6: DUP2 00000ef7: MSTORE 00000ef8: PUSH1 0x0a 00000efa: PUSH1 0x20 00000efc: MSTORE 00000efd: PUSH1 0x40 00000eff: SWAP1 00000f00: KECCAK256 00000f01: DUP1 00000f02: SLOAD 00000f03: PUSH1 0xff 00000f05: NOT 00000f06: AND 00000f07: SWAP2 00000f08: ISZERO 00000f09: ISZERO 00000f0a: SWAP2 00000f0b: SWAP1 00000f0c: SWAP2 00000f0d: OR 00000f0e: SWAP1 00000f0f: SSTORE 00000f10: JUMP 00000f11: JUMPDEST 00000f12: PUSH1 0x0b 00000f14: SLOAD 00000f15: PUSH1 0x01 00000f17: PUSH1 0xa0 00000f19: PUSH1 0x02 00000f1b: EXP 00000f1c: SUB 00000f1d: AND 00000f1e: DUP2 00000f1f: JUMP 00000f20: JUMPDEST 00000f21: PUSH1 0x00 00000f23: CALLER 00000f24: PUSH2 0x0f2c 00000f27: DUP2 00000f28: PUSH2 0x0e2b 00000f2b: JUMP 00000f2c: JUMPDEST 00000f2d: SWAP2 00000f2e: POP 00000f2f: JUMPDEST 00000f30: POP 00000f31: SWAP1 00000f32: JUMP 00000f33: JUMPDEST 00000f34: PUSH1 0x01 00000f36: DUP1 00000f37: SLOAD 00000f38: PUSH1 0x40 00000f3a: DUP1 00000f3b: MLOAD 00000f3c: PUSH1 0x20 00000f3e: PUSH1 0x02 00000f40: DUP5 00000f41: DUP7 00000f42: AND 00000f43: ISZERO 00000f44: PUSH2 0x0100 00000f47: MUL 00000f48: PUSH1 0x00 00000f4a: NOT 00000f4b: ADD 00000f4c: SWAP1 00000f4d: SWAP5 00000f4e: AND 00000f4f: SWAP4 00000f50: SWAP1 00000f51: SWAP4 00000f52: DIV 00000f53: PUSH1 0x1f 00000f55: DUP2 00000f56: ADD 00000f57: DUP5 00000f58: SWAP1 00000f59: DIV 00000f5a: DUP5 00000f5b: MUL 00000f5c: DUP3 00000f5d: ADD 00000f5e: DUP5 00000f5f: ADD 00000f60: SWAP1 00000f61: SWAP3 00000f62: MSTORE 00000f63: DUP2 00000f64: DUP2 00000f65: MSTORE 00000f66: SWAP3 00000f67: SWAP2 00000f68: DUP4 00000f69: ADD 00000f6a: DUP3 00000f6b: DUP3 00000f6c: DUP1 00000f6d: ISZERO 00000f6e: PUSH2 0x0c18 00000f71: JUMPI 00000f72: DUP1 00000f73: PUSH1 0x1f 00000f75: LT 00000f76: PUSH2 0x0bed 00000f79: JUMPI 00000f7a: PUSH2 0x0100 00000f7d: DUP1 00000f7e: DUP4 00000f7f: SLOAD 00000f80: DIV 00000f81: MUL 00000f82: DUP4 00000f83: MSTORE 00000f84: SWAP2 00000f85: PUSH1 0x20 00000f87: ADD 00000f88: SWAP2 00000f89: PUSH2 0x0c18 00000f8c: JUMP 00000f8d: JUMPDEST 00000f8e: CALLER 00000f8f: PUSH1 0x00 00000f91: DUP2 00000f92: DUP2 00000f93: MSTORE 00000f94: PUSH1 0x0a 00000f96: PUSH1 0x20 00000f98: MSTORE 00000f99: PUSH1 0x40 00000f9b: SWAP1 00000f9c: KECCAK256 00000f9d: SLOAD 00000f9e: PUSH1 0xff 00000fa0: AND 00000fa1: ISZERO 00000fa2: ISZERO 00000fa3: PUSH2 0x0fab 00000fa6: JUMPI 00000fa7: PUSH1 0x00 00000fa9: DUP1 00000faa: REVERT 00000fab: JUMPDEST 00000fac: POP 00000fad: PUSH1 0x0b 00000faf: DUP1 00000fb0: SLOAD 00000fb1: PUSH21 0xff0000000000000000000000000000000000000000 00000fc7: NOT 00000fc8: AND 00000fc9: SWAP1 00000fca: SSTORE 00000fcb: JUMP 00000fcc: JUMPDEST 00000fcd: PUSH1 0x00 00000fcf: DUP1 00000fd0: PUSH1 0x00 00000fd2: DUP1 00000fd3: PUSH1 0x00 00000fd5: DUP1 00000fd6: PUSH2 0x0fdd 00000fd9: PUSH2 0x0f20 00000fdc: JUMP 00000fdd: JUMPDEST 00000fde: GT 00000fdf: PUSH2 0x0fe7 00000fe2: JUMPI 00000fe3: PUSH1 0x00 00000fe5: DUP1 00000fe6: REVERT 00000fe7: JUMPDEST 00000fe8: PUSH1 0x0b 00000fea: SLOAD 00000feb: CALLER 00000fec: SWAP5 00000fed: POP 00000fee: PUSH21 0x010000000000000000000000000000000000000000 00001004: SWAP1 00001005: DIV 00001006: PUSH1 0xff 00001008: AND 00001009: ISZERO 0000100a: DUP1 0000100b: ISZERO 0000100c: PUSH2 0x102d 0000100f: JUMPI 00001010: POP 00001011: PUSH1 0x01 00001013: PUSH1 0xa0 00001015: PUSH1 0x02 00001017: EXP 00001018: SUB 00001019: DUP5 0000101a: AND 0000101b: PUSH1 0x00 0000101d: SWAP1 0000101e: DUP2 0000101f: MSTORE 00001020: PUSH1 0x04 00001022: PUSH1 0x20 00001024: MSTORE 00001025: PUSH1 0x40 00001027: SWAP1 00001028: KECCAK256 00001029: SLOAD 0000102a: DUP7 0000102b: GT 0000102c: ISZERO 0000102d: JUMPDEST 0000102e: ISZERO 0000102f: ISZERO 00001030: PUSH2 0x1038 00001033: JUMPI 00001034: PUSH1 0x00 00001036: DUP1 00001037: REVERT 00001038: JUMPDEST 00001039: PUSH1 0x00 0000103b: PUSH2 0x1044 0000103e: PUSH1 0x01 00001040: PUSH2 0x0de3 00001043: JUMP 00001044: JUMPDEST 00001045: GT 00001046: ISZERO 00001047: PUSH2 0x1052 0000104a: JUMPI 0000104b: PUSH2 0x1052 0000104e: PUSH2 0x0cb6 00001051: JUMP 00001052: JUMPDEST 00001053: PUSH2 0x105d 00001056: DUP7 00001057: PUSH1 0x05 00001059: PUSH2 0x145b 0000105c: JUMP 0000105d: JUMPDEST 0000105e: SWAP3 0000105f: POP 00001060: PUSH2 0x1069 00001063: DUP7 00001064: DUP5 00001065: PUSH2 0x1472 00001068: JUMP 00001069: JUMPDEST 0000106a: SWAP2 0000106b: POP 0000106c: PUSH2 0x1074 0000106f: DUP4 00001070: PUSH2 0x151c 00001073: JUMP 00001074: JUMPDEST 00001075: SWAP1 00001076: POP 00001077: PUSH2 0x1082 0000107a: PUSH1 0x08 0000107c: SLOAD 0000107d: DUP5 0000107e: PUSH2 0x1472 00001081: JUMP 00001082: JUMPDEST 00001083: PUSH1 0x08 00001085: SSTORE 00001086: PUSH1 0x01 00001088: PUSH1 0xa0 0000108a: PUSH1 0x02 0000108c: EXP 0000108d: SUB 0000108e: DUP5 0000108f: AND 00001090: PUSH1 0x00 00001092: SWAP1 00001093: DUP2 00001094: MSTORE 00001095: PUSH1 0x04 00001097: PUSH1 0x20 00001099: MSTORE 0000109a: PUSH1 0x40 0000109c: SWAP1 0000109d: KECCAK256 0000109e: SLOAD 0000109f: PUSH2 0x10a8 000010a2: SWAP1 000010a3: DUP8 000010a4: PUSH2 0x1472 000010a7: JUMP 000010a8: JUMPDEST 000010a9: PUSH1 0x01 000010ab: PUSH1 0xa0 000010ad: PUSH1 0x02 000010af: EXP 000010b0: SUB 000010b1: DUP1 000010b2: DUP7 000010b3: AND 000010b4: PUSH1 0x00 000010b6: SWAP1 000010b7: DUP2 000010b8: MSTORE 000010b9: PUSH1 0x04 000010bb: PUSH1 0x20 000010bd: MSTORE 000010be: PUSH1 0x40 000010c0: DUP1 000010c1: DUP3 000010c2: KECCAK256 000010c3: SWAP4 000010c4: SWAP1 000010c5: SWAP4 000010c6: SSTORE 000010c7: SWAP1 000010c8: DUP10 000010c9: AND 000010ca: DUP2 000010cb: MSTORE 000010cc: KECCAK256 000010cd: SLOAD 000010ce: PUSH2 0x10d7 000010d1: SWAP1 000010d2: DUP4 000010d3: PUSH2 0x1445 000010d6: JUMP 000010d7: JUMPDEST 000010d8: PUSH1 0x01 000010da: PUSH1 0xa0 000010dc: PUSH1 0x02 000010de: EXP 000010df: SUB 000010e0: DUP9 000010e1: DUP2 000010e2: AND 000010e3: PUSH1 0x00 000010e5: DUP2 000010e6: DUP2 000010e7: MSTORE 000010e8: PUSH1 0x04 000010ea: PUSH1 0x20 000010ec: SWAP1 000010ed: DUP2 000010ee: MSTORE 000010ef: PUSH1 0x40 000010f1: DUP1 000010f2: DUP4 000010f3: KECCAK256 000010f4: SWAP6 000010f5: SWAP1 000010f6: SWAP6 000010f7: SSTORE 000010f8: PUSH1 0x09 000010fa: DUP1 000010fb: SLOAD 000010fc: SWAP5 000010fd: DUP11 000010fe: AND 000010ff: DUP4 00001100: MSTORE 00001101: PUSH1 0x06 00001103: SWAP1 00001104: SWAP2 00001105: MSTORE 00001106: DUP5 00001107: DUP3 00001108: KECCAK256 00001109: DUP1 0000110a: SLOAD 0000110b: SWAP5 0000110c: DUP13 0000110d: MUL 0000110e: SWAP1 0000110f: SWAP5 00001110: SUB 00001111: SWAP1 00001112: SWAP4 00001113: SSTORE 00001114: DUP3 00001115: SLOAD 00001116: SWAP2 00001117: DUP2 00001118: MSTORE 00001119: SWAP3 0000111a: SWAP1 0000111b: SWAP3 0000111c: KECCAK256 0000111d: DUP1 0000111e: SLOAD 0000111f: SWAP3 00001120: DUP6 00001121: MUL 00001122: SWAP1 00001123: SWAP3 00001124: ADD 00001125: SWAP1 00001126: SWAP2 00001127: SSTORE 00001128: SLOAD 00001129: PUSH1 0x08 0000112b: SLOAD 0000112c: PUSH2 0x114b 0000112f: SWAP2 00001130: SWAP1 00001131: PUSH9 0x010000000000000000 0000113b: DUP5 0000113c: MUL 0000113d: DUP2 0000113e: ISZERO 0000113f: ISZERO 00001140: PUSH2 0x1145 00001143: JUMPI 00001144: INVALID 00001145: JUMPDEST 00001146: DIV 00001147: PUSH2 0x1445 0000114a: JUMP 0000114b: JUMPDEST 0000114c: PUSH1 0x09 0000114e: SSTORE 0000114f: PUSH1 0x40 00001151: DUP1 00001152: MLOAD 00001153: DUP4 00001154: DUP2 00001155: MSTORE 00001156: SWAP1 00001157: MLOAD 00001158: PUSH1 0x01 0000115a: PUSH1 0xa0 0000115c: PUSH1 0x02 0000115e: EXP 0000115f: SUB 00001160: DUP1 00001161: DUP11 00001162: AND 00001163: SWAP3 00001164: SWAP1 00001165: DUP8 00001166: AND 00001167: SWAP2 00001168: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00001189: SWAP2 0000118a: DUP2 0000118b: SWAP1 0000118c: SUB 0000118d: PUSH1 0x20 0000118f: ADD 00001190: SWAP1 00001191: LOG3 00001192: POP 00001193: PUSH1 0x01 00001195: SWAP7 00001196: SWAP6 00001197: POP 00001198: POP 00001199: POP 0000119a: POP 0000119b: POP 0000119c: POP 0000119d: JUMP 0000119e: JUMPDEST 0000119f: CALLER 000011a0: PUSH1 0x00 000011a2: DUP2 000011a3: DUP2 000011a4: MSTORE 000011a5: PUSH1 0x0a 000011a7: PUSH1 0x20 000011a9: MSTORE 000011aa: PUSH1 0x40 000011ac: SWAP1 000011ad: KECCAK256 000011ae: SLOAD 000011af: PUSH1 0xff 000011b1: AND 000011b2: ISZERO 000011b3: ISZERO 000011b4: PUSH2 0x11bc 000011b7: JUMPI 000011b8: PUSH1 0x00 000011ba: DUP1 000011bb: REVERT 000011bc: JUMPDEST 000011bd: DUP2 000011be: MLOAD 000011bf: PUSH2 0x11cf 000011c2: SWAP1 000011c3: PUSH1 0x01 000011c5: SWAP1 000011c6: PUSH1 0x20 000011c8: DUP6 000011c9: ADD 000011ca: SWAP1 000011cb: PUSH2 0x15bd 000011ce: JUMP 000011cf: JUMPDEST 000011d0: POP 000011d1: POP 000011d2: POP 000011d3: JUMP 000011d4: JUMPDEST 000011d5: CALLER 000011d6: PUSH1 0x00 000011d8: DUP2 000011d9: DUP2 000011da: MSTORE 000011db: PUSH1 0x0a 000011dd: PUSH1 0x20 000011df: MSTORE 000011e0: PUSH1 0x40 000011e2: SWAP1 000011e3: KECCAK256 000011e4: SLOAD 000011e5: PUSH1 0xff 000011e7: AND 000011e8: ISZERO 000011e9: ISZERO 000011ea: PUSH2 0x11f2 000011ed: JUMPI 000011ee: PUSH1 0x00 000011f0: DUP1 000011f1: REVERT 000011f2: JUMPDEST 000011f3: DUP2 000011f4: MLOAD 000011f5: PUSH2 0x11cf 000011f8: SWAP1 000011f9: PUSH1 0x00 000011fb: SWAP1 000011fc: PUSH1 0x20 000011fe: DUP6 000011ff: ADD 00001200: SWAP1 00001201: PUSH2 0x15bd 00001204: JUMP 00001205: JUMPDEST 00001206: PUSH1 0x00 00001208: DUP1 00001209: PUSH1 0x00 0000120b: DUP1 0000120c: PUSH1 0x00 0000120e: DUP1 0000120f: PUSH1 0x00 00001211: PUSH2 0x1218 00001214: PUSH2 0x0f20 00001217: JUMP 00001218: JUMPDEST 00001219: GT 0000121a: PUSH2 0x1222 0000121d: JUMPI 0000121e: PUSH1 0x00 00001220: DUP1 00001221: REVERT 00001222: JUMPDEST 00001223: CALLER 00001224: PUSH1 0x00 00001226: DUP2 00001227: DUP2 00001228: MSTORE 00001229: PUSH1 0x04 0000122b: PUSH1 0x20 0000122d: MSTORE 0000122e: PUSH1 0x40 00001230: SWAP1 00001231: KECCAK256 00001232: SLOAD 00001233: SWAP1 00001234: SWAP7 00001235: POP 00001236: DUP8 00001237: GT 00001238: ISZERO 00001239: PUSH2 0x1241 0000123c: JUMPI 0000123d: PUSH1 0x00 0000123f: DUP1 00001240: REVERT 00001241: JUMPDEST 00001242: DUP7 00001243: SWAP5 00001244: POP 00001245: PUSH2 0x124d 00001248: DUP6 00001249: PUSH2 0x151c 0000124c: JUMP 0000124d: JUMPDEST 0000124e: SWAP4 0000124f: POP 00001250: PUSH2 0x125a 00001253: DUP5 00001254: PUSH1 0x05 00001256: PUSH2 0x145b 00001259: JUMP 0000125a: JUMPDEST 0000125b: SWAP3 0000125c: POP 0000125d: PUSH2 0x1266 00001260: DUP5 00001261: DUP5 00001262: PUSH2 0x1472 00001265: JUMP 00001266: JUMPDEST 00001267: SWAP2 00001268: POP 00001269: PUSH2 0x1274 0000126c: PUSH1 0x08 0000126e: SLOAD 0000126f: DUP7 00001270: PUSH2 0x1472 00001273: JUMP 00001274: JUMPDEST 00001275: PUSH1 0x08 00001277: SSTORE 00001278: PUSH1 0x01 0000127a: PUSH1 0xa0 0000127c: PUSH1 0x02 0000127e: EXP 0000127f: SUB 00001280: DUP7 00001281: AND 00001282: PUSH1 0x00 00001284: SWAP1 00001285: DUP2 00001286: MSTORE 00001287: PUSH1 0x04 00001289: PUSH1 0x20 0000128b: MSTORE 0000128c: PUSH1 0x40 0000128e: SWAP1 0000128f: KECCAK256 00001290: SLOAD 00001291: PUSH2 0x129a 00001294: SWAP1 00001295: DUP7 00001296: PUSH2 0x1472 00001299: JUMP 0000129a: JUMPDEST 0000129b: PUSH1 0x01 0000129d: PUSH1 0xa0 0000129f: PUSH1 0x02 000012a1: EXP 000012a2: SUB 000012a3: DUP8 000012a4: AND 000012a5: PUSH1 0x00 000012a7: SWAP1 000012a8: DUP2 000012a9: MSTORE 000012aa: PUSH1 0x04 000012ac: PUSH1 0x20 000012ae: SWAP1 000012af: DUP2 000012b0: MSTORE 000012b1: PUSH1 0x40 000012b3: DUP1 000012b4: DUP4 000012b5: KECCAK256 000012b6: SWAP4 000012b7: SWAP1 000012b8: SWAP4 000012b9: SSTORE 000012ba: PUSH1 0x09 000012bc: SLOAD 000012bd: PUSH1 0x06 000012bf: SWAP1 000012c0: SWAP2 000012c1: MSTORE 000012c2: SWAP2 000012c3: DUP2 000012c4: KECCAK256 000012c5: DUP1 000012c6: SLOAD 000012c7: SWAP3 000012c8: DUP9 000012c9: MUL 000012ca: PUSH9 0x010000000000000000 000012d4: DUP7 000012d5: MUL 000012d6: ADD 000012d7: SWAP3 000012d8: DUP4 000012d9: SWAP1 000012da: SUB 000012db: SWAP1 000012dc: SSTORE 000012dd: PUSH1 0x08 000012df: SLOAD 000012e0: SWAP2 000012e1: SWAP3 000012e2: POP 000012e3: LT 000012e4: ISZERO 000012e5: PUSH2 0x130a 000012e8: JUMPI 000012e9: PUSH2 0x1306 000012ec: PUSH1 0x09 000012ee: SLOAD 000012ef: PUSH1 0x08 000012f1: SLOAD 000012f2: PUSH9 0x010000000000000000 000012fc: DUP7 000012fd: MUL 000012fe: DUP2 000012ff: ISZERO 00001300: ISZERO 00001301: PUSH2 0x1145 00001304: JUMPI 00001305: INVALID 00001306: JUMPDEST 00001307: PUSH1 0x09 00001309: SSTORE 0000130a: JUMPDEST 0000130b: PUSH1 0x40 0000130d: DUP1 0000130e: MLOAD 0000130f: DUP7 00001310: DUP2 00001311: MSTORE 00001312: PUSH1 0x20 00001314: DUP2 00001315: ADD 00001316: DUP5 00001317: SWAP1 00001318: MSTORE 00001319: DUP2 0000131a: MLOAD 0000131b: PUSH1 0x01 0000131d: PUSH1 0xa0 0000131f: PUSH1 0x02 00001321: EXP 00001322: SUB 00001323: DUP10 00001324: AND 00001325: SWAP3 00001326: PUSH32 0xc4823739c5787d2ca17e404aa47d5569ae71dfb49cbf21b3f6152ed238a31139 00001347: SWAP3 00001348: DUP3 00001349: SWAP1 0000134a: SUB 0000134b: ADD 0000134c: SWAP1 0000134d: LOG2 0000134e: POP 0000134f: POP 00001350: POP 00001351: POP 00001352: POP 00001353: POP 00001354: POP 00001355: JUMP 00001356: JUMPDEST 00001357: CALLER 00001358: PUSH1 0x00 0000135a: DUP2 0000135b: DUP2 0000135c: MSTORE 0000135d: PUSH1 0x04 0000135f: PUSH1 0x20 00001361: MSTORE 00001362: PUSH1 0x40 00001364: DUP2 00001365: KECCAK256 00001366: SLOAD 00001367: SWAP1 00001368: DUP2 00001369: GT 0000136a: ISZERO 0000136b: PUSH2 0x1377 0000136e: JUMPI 0000136f: PUSH2 0x1377 00001372: DUP2 00001373: PUSH2 0x1205 00001376: JUMP 00001377: JUMPDEST 00001378: PUSH2 0x137f 0000137b: PUSH2 0x0cb6 0000137e: JUMP 0000137f: JUMPDEST 00001380: POP 00001381: POP 00001382: JUMP 00001383: JUMPDEST 00001384: PUSH1 0x00 00001386: PUSH2 0x0e20 00001389: CALLVALUE 0000138a: DUP4 0000138b: PUSH2 0x056d 0000138e: JUMP 0000138f: JUMPDEST 00001390: PUSH1 0x00 00001392: DUP1 00001393: PUSH1 0x00 00001395: DUP1 00001396: PUSH2 0x139f 00001399: PUSH1 0x01 0000139b: PUSH2 0x0de3 0000139e: JUMP 0000139f: JUMPDEST 000013a0: GT 000013a1: PUSH2 0x13a9 000013a4: JUMPI 000013a5: PUSH1 0x00 000013a7: DUP1 000013a8: REVERT 000013a9: JUMPDEST 000013aa: PUSH2 0x13b3 000013ad: PUSH1 0x00 000013af: PUSH2 0x0de3 000013b2: JUMP 000013b3: JUMPDEST 000013b4: CALLER 000013b5: PUSH1 0x00 000013b7: DUP2 000013b8: DUP2 000013b9: MSTORE 000013ba: PUSH1 0x06 000013bc: PUSH1 0x20 000013be: SWAP1 000013bf: DUP2 000013c0: MSTORE 000013c1: PUSH1 0x40 000013c3: DUP1 000013c4: DUP4 000013c5: KECCAK256 000013c6: DUP1 000013c7: SLOAD 000013c8: PUSH9 0x010000000000000000 000013d2: DUP8 000013d3: MUL 000013d4: ADD 000013d5: SWAP1 000013d6: SSTORE 000013d7: PUSH1 0x05 000013d9: SWAP1 000013da: SWAP2 000013db: MSTORE 000013dc: DUP2 000013dd: KECCAK256 000013de: DUP1 000013df: SLOAD 000013e0: SWAP1 000013e1: DUP3 000013e2: SWAP1 000013e3: SSTORE 000013e4: SWAP1 000013e5: SWAP3 000013e6: ADD 000013e7: SWAP5 000013e8: POP 000013e9: SWAP3 000013ea: POP 000013eb: PUSH2 0x13f5 000013ee: SWAP1 000013ef: DUP5 000013f0: SWAP1 000013f1: PUSH2 0x056d 000013f4: JUMP 000013f5: JUMPDEST 000013f6: SWAP1 000013f7: POP 000013f8: DUP2 000013f9: PUSH1 0x01 000013fb: PUSH1 0xa0 000013fd: PUSH1 0x02 000013ff: EXP 00001400: SUB 00001401: AND 00001402: PUSH32 0xbe339fc14b041c2b0e0f3dd2cd325d0c3668b78378001e53160eab3615326458 00001423: DUP5 00001424: DUP4 00001425: PUSH1 0x40 00001427: MLOAD 00001428: DUP1 00001429: DUP4 0000142a: DUP2 0000142b: MSTORE 0000142c: PUSH1 0x20 0000142e: ADD 0000142f: DUP3 00001430: DUP2 00001431: MSTORE 00001432: PUSH1 0x20 00001434: ADD 00001435: SWAP3 00001436: POP 00001437: POP 00001438: POP 00001439: PUSH1 0x40 0000143b: MLOAD 0000143c: DUP1 0000143d: SWAP2 0000143e: SUB 0000143f: SWAP1 00001440: LOG2 00001441: POP 00001442: POP 00001443: POP 00001444: JUMP 00001445: JUMPDEST 00001446: PUSH1 0x00 00001448: DUP3 00001449: DUP3 0000144a: ADD 0000144b: DUP4 0000144c: DUP2 0000144d: LT 0000144e: ISZERO 0000144f: PUSH2 0x1454 00001452: JUMPI 00001453: INVALID 00001454: JUMPDEST 00001455: SWAP4 00001456: SWAP3 00001457: POP 00001458: POP 00001459: POP 0000145a: JUMP 0000145b: JUMPDEST 0000145c: PUSH1 0x00 0000145e: DUP1 0000145f: DUP3 00001460: DUP5 00001461: DUP2 00001462: ISZERO 00001463: ISZERO 00001464: PUSH2 0x1469 00001467: JUMPI 00001468: INVALID 00001469: JUMPDEST 0000146a: DIV 0000146b: SWAP5 0000146c: SWAP4 0000146d: POP 0000146e: POP 0000146f: POP 00001470: POP 00001471: JUMP 00001472: JUMPDEST 00001473: PUSH1 0x00 00001475: DUP3 00001476: DUP3 00001477: GT 00001478: ISZERO 00001479: PUSH2 0x147e 0000147c: JUMPI 0000147d: INVALID 0000147e: JUMPDEST 0000147f: POP 00001480: SWAP1 00001481: SUB 00001482: SWAP1 00001483: JUMP 00001484: JUMPDEST 00001485: PUSH1 0x08 00001487: SLOAD 00001488: PUSH1 0x00 0000148a: SWAP1 0000148b: PUSH13 0x01431e0fae6d7217caa0000000 00001499: SWAP1 0000149a: DUP3 0000149b: SWAP1 0000149c: PUSH5 0x02540be400 000014a2: PUSH2 0x1509 000014a5: PUSH2 0x1503 000014a8: PUSH20 0x0380d4bd8a8678c1bb542c80deb4800000000000 000014bd: DUP9 000014be: MUL 000014bf: PUSH9 0x056bc75e2d63100000 000014c9: PUSH1 0x02 000014cb: DUP7 000014cc: EXP 000014cd: MUL 000014ce: ADD 000014cf: PUSH17 0x05e0a1fd2712875988becaad0000000000 000014e1: DUP6 000014e2: MUL 000014e3: ADD 000014e4: PUSH25 0x0197d4df19d605767337e9f14d3eec8920e400000000000000 000014fe: ADD 000014ff: PUSH2 0x1588 00001502: JUMP 00001503: JUMPDEST 00001504: DUP6 00001505: PUSH2 0x1472 00001508: JUMP 00001509: JUMPDEST 0000150a: DUP2 0000150b: ISZERO 0000150c: ISZERO 0000150d: PUSH2 0x1512 00001510: JUMPI 00001511: INVALID 00001512: JUMPDEST 00001513: DIV 00001514: SUB 00001515: SWAP5 00001516: SWAP4 00001517: POP 00001518: POP 00001519: POP 0000151a: POP 0000151b: JUMP 0000151c: JUMPDEST 0000151d: PUSH1 0x08 0000151f: SLOAD 00001520: PUSH1 0x00 00001522: SWAP1 00001523: PUSH8 0x0de0b6b3a7640000 0000152c: DUP4 0000152d: DUP2 0000152e: ADD 0000152f: SWAP2 00001530: DUP2 00001531: ADD 00001532: SWAP1 00001533: DUP4 00001534: SWAP1 00001535: PUSH2 0x1575 00001538: PUSH5 0x14f46b0400 0000153e: DUP3 0000153f: DUP6 00001540: DIV 00001541: PUSH5 0x02540be400 00001547: MUL 00001548: ADD 00001549: DUP8 0000154a: MUL 0000154b: PUSH1 0x02 0000154d: DUP4 0000154e: PUSH8 0x0de0b6b3a763ffff 00001557: NOT 00001558: DUP3 00001559: DUP10 0000155a: EXP 0000155b: DUP12 0000155c: SWAP1 0000155d: SUB 0000155e: ADD 0000155f: DIV 00001560: PUSH5 0x02540be400 00001566: MUL 00001567: DUP2 00001568: ISZERO 00001569: ISZERO 0000156a: PUSH2 0x156f 0000156d: JUMPI 0000156e: INVALID 0000156f: JUMPDEST 00001570: DIV 00001571: PUSH2 0x1472 00001574: JUMP 00001575: JUMPDEST 00001576: DUP2 00001577: ISZERO 00001578: ISZERO 00001579: PUSH2 0x157e 0000157c: JUMPI 0000157d: INVALID 0000157e: JUMPDEST 0000157f: DIV 00001580: SWAP6 00001581: SWAP5 00001582: POP 00001583: POP 00001584: POP 00001585: POP 00001586: POP 00001587: JUMP 00001588: JUMPDEST 00001589: DUP1 0000158a: PUSH1 0x02 0000158c: PUSH1 0x01 0000158e: DUP3 0000158f: ADD 00001590: DIV 00001591: JUMPDEST 00001592: DUP2 00001593: DUP2 00001594: LT 00001595: ISZERO 00001596: PUSH2 0x0e20 00001599: JUMPI 0000159a: DUP1 0000159b: SWAP2 0000159c: POP 0000159d: PUSH1 0x02 0000159f: DUP2 000015a0: DUP3 000015a1: DUP6 000015a2: DUP2 000015a3: ISZERO 000015a4: ISZERO 000015a5: PUSH2 0x15aa 000015a8: JUMPI 000015a9: INVALID 000015aa: JUMPDEST 000015ab: DIV 000015ac: ADD 000015ad: DUP2 000015ae: ISZERO 000015af: ISZERO 000015b0: PUSH2 0x15b5 000015b3: JUMPI 000015b4: INVALID 000015b5: JUMPDEST 000015b6: DIV 000015b7: SWAP1 000015b8: POP 000015b9: PUSH2 0x1591 000015bc: JUMP 000015bd: JUMPDEST 000015be: DUP3 000015bf: DUP1 000015c0: SLOAD 000015c1: PUSH1 0x01 000015c3: DUP2 000015c4: PUSH1 0x01 000015c6: AND 000015c7: ISZERO 000015c8: PUSH2 0x0100 000015cb: MUL 000015cc: SUB 000015cd: AND 000015ce: PUSH1 0x02 000015d0: SWAP1 000015d1: DIV 000015d2: SWAP1 000015d3: PUSH1 0x00 000015d5: MSTORE 000015d6: PUSH1 0x20 000015d8: PUSH1 0x00 000015da: KECCAK256 000015db: SWAP1 000015dc: PUSH1 0x1f 000015de: ADD 000015df: PUSH1 0x20 000015e1: SWAP1 000015e2: DIV 000015e3: DUP2 000015e4: ADD 000015e5: SWAP3 000015e6: DUP3 000015e7: PUSH1 0x1f 000015e9: LT 000015ea: PUSH2 0x15fe 000015ed: JUMPI 000015ee: DUP1 000015ef: MLOAD 000015f0: PUSH1 0xff 000015f2: NOT 000015f3: AND 000015f4: DUP4 000015f5: DUP1 000015f6: ADD 000015f7: OR 000015f8: DUP6 000015f9: SSTORE 000015fa: PUSH2 0x162b 000015fd: JUMP 000015fe: JUMPDEST 000015ff: DUP3 00001600: DUP1 00001601: ADD 00001602: PUSH1 0x01 00001604: ADD 00001605: DUP6 00001606: SSTORE 00001607: DUP3 00001608: ISZERO 00001609: PUSH2 0x162b 0000160c: JUMPI 0000160d: SWAP2 0000160e: DUP3 0000160f: ADD 00001610: JUMPDEST 00001611: DUP3 00001612: DUP2 00001613: GT 00001614: ISZERO 00001615: PUSH2 0x162b 00001618: JUMPI 00001619: DUP3 0000161a: MLOAD 0000161b: DUP3 0000161c: SSTORE 0000161d: SWAP2 0000161e: PUSH1 0x20 00001620: ADD 00001621: SWAP2 00001622: SWAP1 00001623: PUSH1 0x01 00001625: ADD 00001626: SWAP1 00001627: PUSH2 0x1610 0000162a: JUMP 0000162b: JUMPDEST 0000162c: POP 0000162d: PUSH2 0x0f2f 00001630: SWAP3 00001631: PUSH2 0x0c54 00001634: SWAP3 00001635: POP 00001636: SWAP1 00001637: JUMPDEST 00001638: DUP1 00001639: DUP3 0000163a: GT 0000163b: ISZERO 0000163c: PUSH2 0x0f2f 0000163f: JUMPI 00001640: PUSH1 0x00 00001642: DUP2 00001643: SSTORE 00001644: PUSH1 0x01 00001646: ADD 00001647: PUSH2 0x1637 0000164a: JUMP 0000164b: STOP 0000164c: LOG1 0000164d: PUSH6 0x627a7a723058 00001654: KECCAK256 00001655: UNKNOWN(0x1F) 00001656: UNKNOWN(0xE8) 00001657: UNKNOWN(0xD6) 00001658: CODESIZE 00001659: UNKNOWN(0xFB) 0000165a: LT 0000165b: DUP7 0000165c: UNKNOWN(0xFB) 0000165d: UNKNOWN(0x2D) 0000165e: MSTORE8 0000165f: CALLDATASIZE 00001660: UNKNOWN(0xD7) 00001661: SDIV 00001662: DUP7 00001663: CHAINID 00001664: UNKNOWN(0xC2) 00001665: UNKNOWN(0x4D) 00001666: SWAP2 00001667: DELEGATECALL 00001668: PUSH0 00001669: GT 0000166a: EQ 0000166b: PUSH27
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| critical | upgradeability | detector | Untrusted DELEGATECALL target reachable | 70 | no | no |
viewtrace_id: 0x5243688edda1f640198b77b31a7917aadc80ca253e627297f5188f1f9d52f6c3
validation_json{
"sink": "DELEGATECALL",
"errors": 0,
"status": "unknown",
"attempts": 192,
"trace_id": "0x5243688edda1f640198b77b31a7917aadc80ca253e627297f5188f1f9d52f6c3",
"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": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x10d0ffdd",
"selector": "0x10d0ffdd",
"calldata_variants": [
"0x10d0ffdd",
"0x10d0ffdd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x22609373",
"selector": "0x22609373",
"calldata_variants": [
"0x22609373",
"0x226093730000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x27defa1f",
"selector": "0x27defa1f",
"calldata_variants": [
"0x27defa1f",
"0x27defa1f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ccfd60b",
"selector": "0x3ccfd60b",
"calldata_variants": [
"0x3ccfd60b",
"0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4b750334",
"selector": "0x4b750334",
"calldata_variants": [
"0x4b750334",
"0x4b7503340000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 5735,
"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 |
viewtrace_id: 0x568f2efe35ea9b76561066145ddf65bc3114c8bfa6680335ceb8335a796960d7
call_targets:
0x2c984ec9bb20b33deb84fbeedf20effda481fdc4
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x568f2efe35ea9b76561066145ddf65bc3114c8bfa6680335ceb8335a796960d7",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x2c984ec9bb20b33deb84fbeedf20effda481fdc4"
],
"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": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x10d0ffdd",
"selector": "0x10d0ffdd",
"calldata_variants": [
"0x10d0ffdd",
"0x10d0ffdd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x22609373",
"selector": "0x22609373",
"calldata_variants": [
"0x22609373",
"0x226093730000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x27defa1f",
"selector": "0x27defa1f",
"calldata_variants": [
"0x27defa1f",
"0x27defa1f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ccfd60b",
"selector": "0x3ccfd60b",
"calldata_variants": [
"0x3ccfd60b",
"0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4b750334",
"selector": "0x4b750334",
"calldata_variants": [
"0x4b750334",
"0x4b7503340000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3375,
"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 |
viewtrace_id: 0x568f2efe35ea9b76561066145ddf65bc3114c8bfa6680335ceb8335a796960d7
call_targets:
0x2c984ec9bb20b33deb84fbeedf20effda481fdc4
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x568f2efe35ea9b76561066145ddf65bc3114c8bfa6680335ceb8335a796960d7",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x2c984ec9bb20b33deb84fbeedf20effda481fdc4"
],
"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": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x10d0ffdd",
"selector": "0x10d0ffdd",
"calldata_variants": [
"0x10d0ffdd",
"0x10d0ffdd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x22609373",
"selector": "0x22609373",
"calldata_variants": [
"0x22609373",
"0x226093730000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x27defa1f",
"selector": "0x27defa1f",
"calldata_variants": [
"0x27defa1f",
"0x27defa1f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ccfd60b",
"selector": "0x3ccfd60b",
"calldata_variants": [
"0x3ccfd60b",
"0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4b750334",
"selector": "0x4b750334",
"calldata_variants": [
"0x4b750334",
"0x4b7503340000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3375,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 1,
"guards_detected": []
}
|