019b3836-3002-7180-bc3c-7cf9aebc4ece
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 |
|---|---|---|---|---|
| 2537 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 2538 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 96926 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 96927 | capability.graph | complete | 1 / 3 | 1 week ago |
| 96928 | detector.run | complete | 1 / 3 | 1 week ago |
| 96929 | validation.fork | complete | 1 / 3 | 1 week ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x60 00000002: PUSH1 0x40 00000004: MSTORE 00000005: CALLDATASIZE 00000006: ISZERO 00000007: PUSH2 0x0095 0000000a: JUMPI 0000000b: PUSH1 0x00 0000000d: CALLDATALOAD 0000000e: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000002c: SWAP1 0000002d: DIV 0000002e: DUP1 0000002f: PUSH4 0x0eb3f5a0 00000034: EQ 00000035: PUSH2 0x00da 00000038: JUMPI 00000039: DUP1 0000003a: PUSH4 0x1d935a6b 0000003f: EQ 00000040: PUSH2 0x00f2 00000043: JUMPI 00000044: DUP1 00000045: PUSH4 0x64325ddb 0000004a: EQ 0000004b: PUSH2 0x0151 0000004e: JUMPI 0000004f: DUP1 00000050: PUSH4 0x7842c52d 00000055: EQ 00000056: PUSH2 0x0174 00000059: JUMPI 0000005a: DUP1 0000005b: PUSH4 0xb66a323c 00000060: EQ 00000061: PUSH2 0x0278 00000064: JUMPI 00000065: DUP1 00000066: PUSH4 0xc8fdc891 0000006b: EQ 0000006c: PUSH2 0x02ce 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0xe32ee3c5 00000076: EQ 00000077: PUSH2 0x02f1 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0xe40d0ac3 00000081: EQ 00000082: PUSH2 0x0312 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0xf2fde38b 0000008c: EQ 0000008d: PUSH2 0x040d 00000090: JUMPI 00000091: PUSH2 0x0095 00000094: JUMP 00000095: JUMPDEST 00000096: PUSH2 0x00d8 00000099: JUMPDEST 0000009a: PUSH2 0x00d5 0000009d: PUSH1 0x00 0000009f: CALLDATASIZE 000000a0: DUP1 000000a1: DUP1 000000a2: PUSH1 0x1f 000000a4: ADD 000000a5: PUSH1 0x20 000000a7: DUP1 000000a8: SWAP2 000000a9: DIV 000000aa: MUL 000000ab: PUSH1 0x20 000000ad: ADD 000000ae: PUSH1 0x40 000000b0: MLOAD 000000b1: SWAP1 000000b2: DUP2 000000b3: ADD 000000b4: PUSH1 0x40 000000b6: MSTORE 000000b7: DUP1 000000b8: SWAP4 000000b9: SWAP3 000000ba: SWAP2 000000bb: SWAP1 000000bc: DUP2 000000bd: DUP2 000000be: MSTORE 000000bf: PUSH1 0x20 000000c1: ADD 000000c2: DUP4 000000c3: DUP4 000000c4: DUP1 000000c5: DUP3 000000c6: DUP5 000000c7: CALLDATACOPY 000000c8: DUP3 000000c9: ADD 000000ca: SWAP2 000000cb: POP 000000cc: POP 000000cd: POP 000000ce: POP 000000cf: POP 000000d0: POP 000000d1: PUSH2 0x0578 000000d4: JUMP 000000d5: JUMPDEST 000000d6: JUMPDEST 000000d7: JUMP 000000d8: JUMPDEST 000000d9: STOP 000000da: JUMPDEST 000000db: PUSH2 0x00f0 000000de: PUSH1 0x04 000000e0: DUP1 000000e1: DUP1 000000e2: CALLDATALOAD 000000e3: SWAP1 000000e4: PUSH1 0x20 000000e6: ADD 000000e7: SWAP1 000000e8: SWAP2 000000e9: SWAP1 000000ea: POP 000000eb: POP 000000ec: PUSH2 0x118a 000000ef: JUMP 000000f0: JUMPDEST 000000f1: STOP 000000f2: JUMPDEST 000000f3: PUSH2 0x014f 000000f6: PUSH1 0x04 000000f8: DUP1 000000f9: DUP1 000000fa: CALLDATALOAD 000000fb: SWAP1 000000fc: PUSH1 0x20 000000fe: ADD 000000ff: SWAP1 00000100: DUP3 00000101: ADD 00000102: DUP1 00000103: CALLDATALOAD 00000104: SWAP1 00000105: PUSH1 0x20 00000107: ADD 00000108: SWAP2 00000109: SWAP2 0000010a: SWAP1 0000010b: DUP1 0000010c: DUP1 0000010d: PUSH1 0x1f 0000010f: ADD 00000110: PUSH1 0x20 00000112: DUP1 00000113: SWAP2 00000114: DIV 00000115: MUL 00000116: PUSH1 0x20 00000118: ADD 00000119: PUSH1 0x40 0000011b: MLOAD 0000011c: SWAP1 0000011d: DUP2 0000011e: ADD 0000011f: PUSH1 0x40 00000121: MSTORE 00000122: DUP1 00000123: SWAP4 00000124: SWAP3 00000125: SWAP2 00000126: SWAP1 00000127: DUP2 00000128: DUP2 00000129: MSTORE 0000012a: PUSH1 0x20 0000012c: ADD 0000012d: DUP4 0000012e: DUP4 0000012f: DUP1 00000130: DUP3 00000131: DUP5 00000132: CALLDATACOPY 00000133: DUP3 00000134: ADD 00000135: SWAP2 00000136: POP 00000137: POP 00000138: POP 00000139: POP 0000013a: POP 0000013b: POP 0000013c: SWAP1 0000013d: SWAP1 0000013e: SWAP2 0000013f: SWAP1 00000140: DUP1 00000141: CALLDATALOAD 00000142: SWAP1 00000143: PUSH1 0x20 00000145: ADD 00000146: SWAP1 00000147: SWAP2 00000148: SWAP1 00000149: POP 0000014a: POP 0000014b: PUSH2 0x0586 0000014e: JUMP 0000014f: JUMPDEST 00000150: STOP 00000151: JUMPDEST 00000152: PUSH2 0x015e 00000155: PUSH1 0x04 00000157: DUP1 00000158: POP 00000159: POP 0000015a: PUSH2 0x0425 0000015d: JUMP 0000015e: JUMPDEST 0000015f: PUSH1 0x40 00000161: MLOAD 00000162: DUP1 00000163: DUP3 00000164: DUP2 00000165: MSTORE 00000166: PUSH1 0x20 00000168: ADD 00000169: SWAP2 0000016a: POP 0000016b: POP 0000016c: PUSH1 0x40 0000016e: MLOAD 0000016f: DUP1 00000170: SWAP2 00000171: SUB 00000172: SWAP1 00000173: RETURN 00000174: JUMPDEST 00000175: PUSH2 0x018a 00000178: PUSH1 0x04 0000017a: DUP1 0000017b: DUP1 0000017c: CALLDATALOAD 0000017d: SWAP1 0000017e: PUSH1 0x20 00000180: ADD 00000181: SWAP1 00000182: SWAP2 00000183: SWAP1 00000184: POP 00000185: POP 00000186: PUSH2 0x04b9 00000189: JUMP 0000018a: JUMPDEST 0000018b: PUSH1 0x40 0000018d: MLOAD 0000018e: DUP1 0000018f: DUP9 00000190: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001a5: AND 000001a6: DUP2 000001a7: MSTORE 000001a8: PUSH1 0x20 000001aa: ADD 000001ab: DUP8 000001ac: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001c1: AND 000001c2: DUP2 000001c3: MSTORE 000001c4: PUSH1 0x20 000001c6: ADD 000001c7: DUP1 000001c8: PUSH1 0x20 000001ca: ADD 000001cb: DUP7 000001cc: DUP2 000001cd: MSTORE 000001ce: PUSH1 0x20 000001d0: ADD 000001d1: DUP6 000001d2: DUP2 000001d3: MSTORE 000001d4: PUSH1 0x20 000001d6: ADD 000001d7: DUP5 000001d8: DUP2 000001d9: MSTORE 000001da: PUSH1 0x20 000001dc: ADD 000001dd: DUP4 000001de: DUP2 000001df: MSTORE 000001e0: PUSH1 0x20 000001e2: ADD 000001e3: DUP3 000001e4: DUP2 000001e5: SUB 000001e6: DUP3 000001e7: MSTORE 000001e8: DUP8 000001e9: DUP2 000001ea: DUP2 000001eb: SLOAD 000001ec: PUSH1 0x01 000001ee: DUP2 000001ef: PUSH1 0x01 000001f1: AND 000001f2: ISZERO 000001f3: PUSH2 0x0100 000001f6: MUL 000001f7: SUB 000001f8: AND 000001f9: PUSH1 0x02 000001fb: SWAP1 000001fc: DIV 000001fd: DUP2 000001fe: MSTORE 000001ff: PUSH1 0x20 00000201: ADD 00000202: SWAP2 00000203: POP 00000204: DUP1 00000205: SLOAD 00000206: PUSH1 0x01 00000208: DUP2 00000209: PUSH1 0x01 0000020b: AND 0000020c: ISZERO 0000020d: PUSH2 0x0100 00000210: MUL 00000211: SUB 00000212: AND 00000213: PUSH1 0x02 00000215: SWAP1 00000216: DIV 00000217: DUP1 00000218: ISZERO 00000219: PUSH2 0x0263 0000021c: JUMPI 0000021d: DUP1 0000021e: PUSH1 0x1f 00000220: LT 00000221: PUSH2 0x0238 00000224: JUMPI 00000225: PUSH2 0x0100 00000228: DUP1 00000229: DUP4 0000022a: SLOAD 0000022b: DIV 0000022c: MUL 0000022d: DUP4 0000022e: MSTORE 0000022f: SWAP2 00000230: PUSH1 0x20 00000232: ADD 00000233: SWAP2 00000234: PUSH2 0x0263 00000237: JUMP 00000238: JUMPDEST 00000239: DUP3 0000023a: ADD 0000023b: SWAP2 0000023c: SWAP1 0000023d: PUSH1 0x00 0000023f: MSTORE 00000240: PUSH1 0x20 00000242: PUSH1 0x00 00000244: KECCAK256 00000245: SWAP1 00000246: JUMPDEST 00000247: DUP2 00000248: SLOAD 00000249: DUP2 0000024a: MSTORE 0000024b: SWAP1 0000024c: PUSH1 0x01 0000024e: ADD 0000024f: SWAP1 00000250: PUSH1 0x20 00000252: ADD 00000253: DUP1 00000254: DUP4 00000255: GT 00000256: PUSH2 0x0246 00000259: JUMPI 0000025a: DUP3 0000025b: SWAP1 0000025c: SUB 0000025d: PUSH1 0x1f 0000025f: AND 00000260: DUP3 00000261: ADD 00000262: SWAP2 00000263: JUMPDEST 00000264: POP 00000265: POP 00000266: SWAP9 00000267: POP 00000268: POP 00000269: POP 0000026a: POP 0000026b: POP 0000026c: POP 0000026d: POP 0000026e: POP 0000026f: POP 00000270: PUSH1 0x40 00000272: MLOAD 00000273: DUP1 00000274: SWAP2 00000275: SUB 00000276: SWAP1 00000277: RETURN 00000278: JUMPDEST 00000279: PUSH2 0x02cc 0000027c: PUSH1 0x04 0000027e: DUP1 0000027f: DUP1 00000280: CALLDATALOAD 00000281: SWAP1 00000282: PUSH1 0x20 00000284: ADD 00000285: SWAP1 00000286: DUP3 00000287: ADD 00000288: DUP1 00000289: CALLDATALOAD 0000028a: SWAP1 0000028b: PUSH1 0x20 0000028d: ADD 0000028e: SWAP2 0000028f: SWAP2 00000290: SWAP1 00000291: DUP1 00000292: DUP1 00000293: PUSH1 0x1f 00000295: ADD 00000296: PUSH1 0x20 00000298: DUP1 00000299: SWAP2 0000029a: DIV 0000029b: MUL 0000029c: PUSH1 0x20 0000029e: ADD 0000029f: PUSH1 0x40 000002a1: MLOAD 000002a2: SWAP1 000002a3: DUP2 000002a4: ADD 000002a5: PUSH1 0x40 000002a7: MSTORE 000002a8: DUP1 000002a9: SWAP4 000002aa: SWAP3 000002ab: SWAP2 000002ac: SWAP1 000002ad: DUP2 000002ae: DUP2 000002af: MSTORE 000002b0: PUSH1 0x20 000002b2: ADD 000002b3: DUP4 000002b4: DUP4 000002b5: DUP1 000002b6: DUP3 000002b7: DUP5 000002b8: CALLDATACOPY 000002b9: DUP3 000002ba: ADD 000002bb: SWAP2 000002bc: POP 000002bd: POP 000002be: POP 000002bf: POP 000002c0: POP 000002c1: POP 000002c2: SWAP1 000002c3: SWAP1 000002c4: SWAP2 000002c5: SWAP1 000002c6: POP 000002c7: POP 000002c8: PUSH2 0x0578 000002cb: JUMP 000002cc: JUMPDEST 000002cd: STOP 000002ce: JUMPDEST 000002cf: PUSH2 0x02db 000002d2: PUSH1 0x04 000002d4: DUP1 000002d5: POP 000002d6: POP 000002d7: PUSH2 0x0563 000002da: JUMP 000002db: JUMPDEST 000002dc: PUSH1 0x40 000002de: MLOAD 000002df: DUP1 000002e0: DUP3 000002e1: DUP2 000002e2: MSTORE 000002e3: PUSH1 0x20 000002e5: ADD 000002e6: SWAP2 000002e7: POP 000002e8: POP 000002e9: PUSH1 0x40 000002eb: MLOAD 000002ec: DUP1 000002ed: SWAP2 000002ee: SUB 000002ef: SWAP1 000002f0: RETURN 000002f1: JUMPDEST 000002f2: PUSH2 0x0310 000002f5: PUSH1 0x04 000002f7: DUP1 000002f8: DUP1 000002f9: CALLDATALOAD 000002fa: SWAP1 000002fb: PUSH1 0x20 000002fd: ADD 000002fe: SWAP1 000002ff: SWAP2 00000300: SWAP1 00000301: DUP1 00000302: CALLDATALOAD 00000303: SWAP1 00000304: PUSH1 0x20 00000306: ADD 00000307: SWAP1 00000308: SWAP2 00000309: SWAP1 0000030a: POP 0000030b: POP 0000030c: PUSH2 0x0e6b 0000030f: JUMP 00000310: JUMPDEST 00000311: STOP 00000312: JUMPDEST 00000313: PUSH2 0x031f 00000316: PUSH1 0x04 00000318: DUP1 00000319: POP 0000031a: POP 0000031b: PUSH2 0x042e 0000031e: JUMP 0000031f: JUMPDEST 00000320: PUSH1 0x40 00000322: MLOAD 00000323: DUP1 00000324: DUP9 00000325: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000033a: AND 0000033b: DUP2 0000033c: MSTORE 0000033d: PUSH1 0x20 0000033f: ADD 00000340: DUP8 00000341: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000356: AND 00000357: DUP2 00000358: MSTORE 00000359: PUSH1 0x20 0000035b: ADD 0000035c: DUP1 0000035d: PUSH1 0x20 0000035f: ADD 00000360: DUP7 00000361: DUP2 00000362: MSTORE 00000363: PUSH1 0x20 00000365: ADD 00000366: DUP6 00000367: DUP2 00000368: MSTORE 00000369: PUSH1 0x20 0000036b: ADD 0000036c: DUP5 0000036d: DUP2 0000036e: MSTORE 0000036f: PUSH1 0x20 00000371: ADD 00000372: DUP4 00000373: DUP2 00000374: MSTORE 00000375: PUSH1 0x20 00000377: ADD 00000378: DUP3 00000379: DUP2 0000037a: SUB 0000037b: DUP3 0000037c: MSTORE 0000037d: DUP8 0000037e: DUP2 0000037f: DUP2 00000380: SLOAD 00000381: PUSH1 0x01 00000383: DUP2 00000384: PUSH1 0x01 00000386: AND 00000387: ISZERO 00000388: PUSH2 0x0100 0000038b: MUL 0000038c: SUB 0000038d: AND 0000038e: PUSH1 0x02 00000390: SWAP1 00000391: DIV 00000392: DUP2 00000393: MSTORE 00000394: PUSH1 0x20 00000396: ADD 00000397: SWAP2 00000398: POP 00000399: DUP1 0000039a: SLOAD 0000039b: PUSH1 0x01 0000039d: DUP2 0000039e: PUSH1 0x01 000003a0: AND 000003a1: ISZERO 000003a2: PUSH2 0x0100 000003a5: MUL 000003a6: SUB 000003a7: AND 000003a8: PUSH1 0x02 000003aa: SWAP1 000003ab: DIV 000003ac: DUP1 000003ad: ISZERO 000003ae: PUSH2 0x03f8 000003b1: JUMPI 000003b2: DUP1 000003b3: PUSH1 0x1f 000003b5: LT 000003b6: PUSH2 0x03cd 000003b9: JUMPI 000003ba: PUSH2 0x0100 000003bd: DUP1 000003be: DUP4 000003bf: SLOAD 000003c0: DIV 000003c1: MUL 000003c2: DUP4 000003c3: MSTORE 000003c4: SWAP2 000003c5: PUSH1 0x20 000003c7: ADD 000003c8: SWAP2 000003c9: PUSH2 0x03f8 000003cc: JUMP 000003cd: JUMPDEST 000003ce: DUP3 000003cf: ADD 000003d0: SWAP2 000003d1: SWAP1 000003d2: PUSH1 0x00 000003d4: MSTORE 000003d5: PUSH1 0x20 000003d7: PUSH1 0x00 000003d9: KECCAK256 000003da: SWAP1 000003db: JUMPDEST 000003dc: DUP2 000003dd: SLOAD 000003de: DUP2 000003df: MSTORE 000003e0: SWAP1 000003e1: PUSH1 0x01 000003e3: ADD 000003e4: SWAP1 000003e5: PUSH1 0x20 000003e7: ADD 000003e8: DUP1 000003e9: DUP4 000003ea: GT 000003eb: PUSH2 0x03db 000003ee: JUMPI 000003ef: DUP3 000003f0: SWAP1 000003f1: SUB 000003f2: PUSH1 0x1f 000003f4: AND 000003f5: DUP3 000003f6: ADD 000003f7: SWAP2 000003f8: JUMPDEST 000003f9: POP 000003fa: POP 000003fb: SWAP9 000003fc: POP 000003fd: POP 000003fe: POP 000003ff: POP 00000400: POP 00000401: POP 00000402: POP 00000403: POP 00000404: POP 00000405: PUSH1 0x40 00000407: MLOAD 00000408: DUP1 00000409: SWAP2 0000040a: SUB 0000040b: SWAP1 0000040c: RETURN 0000040d: JUMPDEST 0000040e: PUSH2 0x0423 00000411: PUSH1 0x04 00000413: DUP1 00000414: DUP1 00000415: CALLDATALOAD 00000416: SWAP1 00000417: PUSH1 0x20 00000419: ADD 0000041a: SWAP1 0000041b: SWAP2 0000041c: SWAP1 0000041d: POP 0000041e: POP 0000041f: PUSH2 0x1265 00000422: JUMP 00000423: JUMPDEST 00000424: STOP 00000425: JUMPDEST 00000426: PUSH1 0x01 00000428: PUSH1 0x00 0000042a: POP 0000042b: SLOAD 0000042c: DUP2 0000042d: JUMP 0000042e: JUMPDEST 0000042f: PUSH1 0x02 00000431: PUSH1 0x00 00000433: POP 00000434: DUP1 00000435: PUSH1 0x00 00000437: ADD 00000438: PUSH1 0x00 0000043a: SWAP1 0000043b: SLOAD 0000043c: SWAP1 0000043d: PUSH2 0x0100 00000440: EXP 00000441: SWAP1 00000442: DIV 00000443: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000458: AND 00000459: SWAP1 0000045a: DUP1 0000045b: PUSH1 0x01 0000045d: ADD 0000045e: PUSH1 0x00 00000460: SWAP1 00000461: SLOAD 00000462: SWAP1 00000463: PUSH2 0x0100 00000466: EXP 00000467: SWAP1 00000468: DIV 00000469: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000047e: AND 0000047f: SWAP1 00000480: DUP1 00000481: PUSH1 0x02 00000483: ADD 00000484: PUSH1 0x00 00000486: POP 00000487: SWAP1 00000488: DUP1 00000489: PUSH1 0x03 0000048b: ADD 0000048c: PUSH1 0x00 0000048e: POP 0000048f: SLOAD 00000490: SWAP1 00000491: DUP1 00000492: PUSH1 0x04 00000494: ADD 00000495: PUSH1 0x00 00000497: POP 00000498: SLOAD 00000499: SWAP1 0000049a: DUP1 0000049b: PUSH1 0x05 0000049d: ADD 0000049e: PUSH1 0x00 000004a0: SWAP1 000004a1: SLOAD 000004a2: SWAP1 000004a3: PUSH2 0x0100 000004a6: EXP 000004a7: SWAP1 000004a8: DIV 000004a9: PUSH1 0xff 000004ab: AND 000004ac: SWAP1 000004ad: DUP1 000004ae: PUSH1 0x06 000004b0: ADD 000004b1: PUSH1 0x00 000004b3: POP 000004b4: SLOAD 000004b5: SWAP1 000004b6: POP 000004b7: DUP8 000004b8: JUMP 000004b9: JUMPDEST 000004ba: PUSH1 0x09 000004bc: PUSH1 0x00 000004be: POP 000004bf: DUP2 000004c0: DUP2 000004c1: SLOAD 000004c2: DUP2 000004c3: LT 000004c4: ISZERO 000004c5: PUSH2 0x0002 000004c8: JUMPI 000004c9: SWAP1 000004ca: PUSH1 0x00 000004cc: MSTORE 000004cd: PUSH1 0x20 000004cf: PUSH1 0x00 000004d1: KECCAK256 000004d2: SWAP1 000004d3: PUSH1 0x07 000004d5: MUL 000004d6: ADD 000004d7: PUSH1 0x00 000004d9: JUMPDEST 000004da: SWAP2 000004db: POP 000004dc: SWAP1 000004dd: POP 000004de: DUP1 000004df: PUSH1 0x00 000004e1: ADD 000004e2: PUSH1 0x00 000004e4: SWAP1 000004e5: SLOAD 000004e6: SWAP1 000004e7: PUSH2 0x0100 000004ea: EXP 000004eb: SWAP1 000004ec: DIV 000004ed: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000502: AND 00000503: SWAP1 00000504: DUP1 00000505: PUSH1 0x01 00000507: ADD 00000508: PUSH1 0x00 0000050a: SWAP1 0000050b: SLOAD 0000050c: SWAP1 0000050d: PUSH2 0x0100 00000510: EXP 00000511: SWAP1 00000512: DIV 00000513: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000528: AND 00000529: SWAP1 0000052a: DUP1 0000052b: PUSH1 0x02 0000052d: ADD 0000052e: PUSH1 0x00 00000530: POP 00000531: SWAP1 00000532: DUP1 00000533: PUSH1 0x03 00000535: ADD 00000536: PUSH1 0x00 00000538: POP 00000539: SLOAD 0000053a: SWAP1 0000053b: DUP1 0000053c: PUSH1 0x04 0000053e: ADD 0000053f: PUSH1 0x00 00000541: POP 00000542: SLOAD 00000543: SWAP1 00000544: DUP1 00000545: PUSH1 0x05 00000547: ADD 00000548: PUSH1 0x00 0000054a: SWAP1 0000054b: SLOAD 0000054c: SWAP1 0000054d: PUSH2 0x0100 00000550: EXP 00000551: SWAP1 00000552: DIV 00000553: PUSH1 0xff 00000555: AND 00000556: SWAP1 00000557: DUP1 00000558: PUSH1 0x06 0000055a: ADD 0000055b: PUSH1 0x00 0000055d: POP 0000055e: SLOAD 0000055f: SWAP1 00000560: POP 00000561: DUP8 00000562: JUMP 00000563: JUMPDEST 00000564: PUSH1 0x00 00000566: PUSH1 0x09 00000568: PUSH1 0x00 0000056a: POP 0000056b: DUP1 0000056c: SLOAD 0000056d: SWAP1 0000056e: POP 0000056f: SWAP1 00000570: POP 00000571: PUSH2 0x0575 00000574: JUMP 00000575: JUMPDEST 00000576: SWAP1 00000577: JUMP 00000578: JUMPDEST 00000579: PUSH2 0x0582 0000057c: DUP2 0000057d: CALLER 0000057e: PUSH2 0x0586 00000581: JUMP 00000582: JUMPDEST 00000583: JUMPDEST 00000584: POP 00000585: JUMP 00000586: JUMPDEST 00000587: PUSH1 0x00 00000589: PUSH1 0x00 0000058b: PUSH1 0x00 0000058d: PUSH1 0x00 0000058f: PUSH1 0x00 00000591: PUSH1 0x00 00000593: CALLVALUE 00000594: SWAP6 00000595: POP 00000596: PUSH1 0x01 00000598: PUSH1 0x00 0000059a: POP 0000059b: SLOAD 0000059c: DUP7 0000059d: LT 0000059e: ISZERO 0000059f: PUSH2 0x05a7 000005a2: JUMPI 000005a3: PUSH2 0x0002 000005a6: JUMP 000005a7: JUMPDEST 000005a8: PUSH1 0x01 000005aa: PUSH1 0x00 000005ac: POP 000005ad: SLOAD 000005ae: DUP7 000005af: GT 000005b0: ISZERO 000005b1: PUSH2 0x05b9 000005b4: JUMPI 000005b5: PUSH2 0x0002 000005b8: JUMP 000005b9: JUMPDEST 000005ba: PUSH1 0x64 000005bc: PUSH1 0x01 000005be: DUP8 000005bf: MUL 000005c0: DIV 000005c1: SWAP5 000005c2: POP 000005c3: DUP5 000005c4: DUP7 000005c5: SUB 000005c6: SWAP4 000005c7: POP 000005c8: PUSH1 0x00 000005ca: PUSH1 0x00 000005cc: SWAP1 000005cd: SLOAD 000005ce: SWAP1 000005cf: PUSH2 0x0100 000005d2: EXP 000005d3: SWAP1 000005d4: DIV 000005d5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005ea: AND 000005eb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000600: AND 00000601: PUSH1 0x02 00000603: PUSH1 0x00 00000605: POP 00000606: PUSH1 0x00 00000608: ADD 00000609: PUSH1 0x00 0000060b: SWAP1 0000060c: SLOAD 0000060d: SWAP1 0000060e: PUSH2 0x0100 00000611: EXP 00000612: SWAP1 00000613: DIV 00000614: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000629: AND 0000062a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000063f: AND 00000640: EQ 00000641: ISZERO 00000642: PUSH2 0x067a 00000645: JUMPI 00000646: PUSH1 0x00 00000648: PUSH1 0x02 0000064a: PUSH1 0x00 0000064c: POP 0000064d: PUSH1 0x05 0000064f: ADD 00000650: PUSH1 0x00 00000652: PUSH2 0x0100 00000655: EXP 00000656: DUP2 00000657: SLOAD 00000658: DUP2 00000659: PUSH1 0xff 0000065b: MUL 0000065c: NOT 0000065d: AND 0000065e: SWAP1 0000065f: DUP4 00000660: MUL 00000661: OR 00000662: SWAP1 00000663: SSTORE 00000664: POP 00000665: PUSH1 0x00 00000667: PUSH1 0x02 00000669: PUSH1 0x00 0000066b: POP 0000066c: PUSH1 0x06 0000066e: ADD 0000066f: PUSH1 0x00 00000671: POP 00000672: DUP2 00000673: SWAP1 00000674: SSTORE 00000675: POP 00000676: PUSH2 0x0721 00000679: JUMP 0000067a: JUMPDEST 0000067b: PUSH2 0x2710 0000067e: SWAP3 0000067f: POP 00000680: PUSH2 0x06b2 00000683: PUSH1 0x02 00000685: PUSH1 0x00 00000687: POP 00000688: PUSH1 0x00 0000068a: ADD 0000068b: PUSH1 0x00 0000068d: SWAP1 0000068e: SLOAD 0000068f: SWAP1 00000690: PUSH2 0x0100 00000693: EXP 00000694: SWAP1 00000695: DIV 00000696: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006ab: AND 000006ac: DUP6 000006ad: DUP6 000006ae: PUSH2 0x12eb 000006b1: JUMP 000006b2: JUMPDEST 000006b3: SWAP2 000006b4: POP 000006b5: DUP2 000006b6: ISZERO 000006b7: PUSH2 0x06de 000006ba: JUMPI 000006bb: PUSH1 0x01 000006bd: PUSH1 0x02 000006bf: PUSH1 0x00 000006c1: POP 000006c2: PUSH1 0x05 000006c4: ADD 000006c5: PUSH1 0x00 000006c7: PUSH2 0x0100 000006ca: EXP 000006cb: DUP2 000006cc: SLOAD 000006cd: DUP2 000006ce: PUSH1 0xff 000006d0: MUL 000006d1: NOT 000006d2: AND 000006d3: SWAP1 000006d4: DUP4 000006d5: MUL 000006d6: OR 000006d7: SWAP1 000006d8: SSTORE 000006d9: POP 000006da: PUSH2 0x0710 000006dd: JUMP 000006de: JUMPDEST 000006df: PUSH1 0x02 000006e1: PUSH1 0x02 000006e3: PUSH1 0x00 000006e5: POP 000006e6: PUSH1 0x05 000006e8: ADD 000006e9: PUSH1 0x00 000006eb: PUSH2 0x0100 000006ee: EXP 000006ef: DUP2 000006f0: SLOAD 000006f1: DUP2 000006f2: PUSH1 0xff 000006f4: MUL 000006f5: NOT 000006f6: AND 000006f7: SWAP1 000006f8: DUP4 000006f9: MUL 000006fa: OR 000006fb: SWAP1 000006fc: SSTORE 000006fd: POP 000006fe: DUP4 000006ff: PUSH1 0x0a 00000701: PUSH1 0x00 00000703: DUP3 00000704: DUP3 00000705: DUP3 00000706: POP 00000707: SLOAD 00000708: ADD 00000709: SWAP3 0000070a: POP 0000070b: POP 0000070c: DUP2 0000070d: SWAP1 0000070e: SSTORE 0000070f: POP 00000710: JUMPDEST 00000711: DUP4 00000712: PUSH1 0x02 00000714: PUSH1 0x00 00000716: POP 00000717: PUSH1 0x06 00000719: ADD 0000071a: PUSH1 0x00 0000071c: POP 0000071d: DUP2 0000071e: SWAP1 0000071f: SSTORE 00000720: POP 00000721: JUMPDEST 00000722: PUSH1 0x09 00000724: PUSH1 0x00 00000726: POP 00000727: DUP1 00000728: SLOAD 00000729: DUP1 0000072a: PUSH1 0x01 0000072c: ADD 0000072d: DUP3 0000072e: DUP2 0000072f: DUP2 00000730: SLOAD 00000731: DUP2 00000732: DUP4 00000733: SSTORE 00000734: DUP2 00000735: DUP2 00000736: ISZERO 00000737: GT 00000738: PUSH2 0x085f 0000073b: JUMPI 0000073c: PUSH1 0x07 0000073e: MUL 0000073f: DUP2 00000740: PUSH1 0x07 00000742: MUL 00000743: DUP4 00000744: PUSH1 0x00 00000746: MSTORE 00000747: PUSH1 0x20 00000749: PUSH1 0x00 0000074b: KECCAK256 0000074c: SWAP2 0000074d: DUP3 0000074e: ADD 0000074f: SWAP2 00000750: ADD 00000751: PUSH2 0x085e 00000754: SWAP2 00000755: SWAP1 00000756: PUSH2 0x075a 00000759: JUMP 0000075a: JUMPDEST 0000075b: DUP1 0000075c: DUP3 0000075d: GT 0000075e: ISZERO 0000075f: PUSH2 0x085a 00000762: JUMPI 00000763: PUSH1 0x00 00000765: PUSH1 0x00 00000767: DUP3 00000768: ADD 00000769: PUSH1 0x00 0000076b: PUSH2 0x0100 0000076e: EXP 0000076f: DUP2 00000770: SLOAD 00000771: SWAP1 00000772: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000787: MUL 00000788: NOT 00000789: AND 0000078a: SWAP1 0000078b: SSTORE 0000078c: PUSH1 0x01 0000078e: DUP3 0000078f: ADD 00000790: PUSH1 0x00 00000792: PUSH2 0x0100 00000795: EXP 00000796: DUP2 00000797: SLOAD 00000798: SWAP1 00000799: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007ae: MUL 000007af: NOT 000007b0: AND 000007b1: SWAP1 000007b2: SSTORE 000007b3: PUSH1 0x02 000007b5: DUP3 000007b6: ADD 000007b7: PUSH1 0x00 000007b9: POP 000007ba: DUP1 000007bb: SLOAD 000007bc: PUSH1 0x01 000007be: DUP2 000007bf: PUSH1 0x01 000007c1: AND 000007c2: ISZERO 000007c3: PUSH2 0x0100 000007c6: MUL 000007c7: SUB 000007c8: AND 000007c9: PUSH1 0x02 000007cb: SWAP1 000007cc: DIV 000007cd: PUSH1 0x00 000007cf: DUP3 000007d0: SSTORE 000007d1: DUP1 000007d2: PUSH1 0x1f 000007d4: LT 000007d5: PUSH2 0x07de 000007d8: JUMPI 000007d9: POP 000007da: PUSH2 0x081b 000007dd: JUMP 000007de: JUMPDEST 000007df: PUSH1 0x1f 000007e1: ADD 000007e2: PUSH1 0x20 000007e4: SWAP1 000007e5: DIV 000007e6: SWAP1 000007e7: PUSH1 0x00 000007e9: MSTORE 000007ea: PUSH1 0x20 000007ec: PUSH1 0x00 000007ee: KECCAK256 000007ef: SWAP1 000007f0: DUP2 000007f1: ADD 000007f2: SWAP1 000007f3: PUSH2 0x081a 000007f6: SWAP2 000007f7: SWAP1 000007f8: PUSH2 0x07fc 000007fb: JUMP 000007fc: JUMPDEST 000007fd: DUP1 000007fe: DUP3 000007ff: GT 00000800: ISZERO 00000801: PUSH2 0x0816 00000804: JUMPI 00000805: PUSH1 0x00 00000807: DUP2 00000808: DUP2 00000809: POP 0000080a: PUSH1 0x00 0000080c: SWAP1 0000080d: SSTORE 0000080e: POP 0000080f: PUSH1 0x01 00000811: ADD 00000812: PUSH2 0x07fc 00000815: JUMP 00000816: JUMPDEST 00000817: POP 00000818: SWAP1 00000819: JUMP 0000081a: JUMPDEST 0000081b: JUMPDEST 0000081c: POP 0000081d: PUSH1 0x03 0000081f: DUP3 00000820: ADD 00000821: PUSH1 0x00 00000823: POP 00000824: PUSH1 0x00 00000826: SWAP1 00000827: SSTORE 00000828: PUSH1 0x04 0000082a: DUP3 0000082b: ADD 0000082c: PUSH1 0x00 0000082e: POP 0000082f: PUSH1 0x00 00000831: SWAP1 00000832: SSTORE 00000833: PUSH1 0x05 00000835: DUP3 00000836: ADD 00000837: PUSH1 0x00 00000839: PUSH2 0x0100 0000083c: EXP 0000083d: DUP2 0000083e: SLOAD 0000083f: SWAP1 00000840: PUSH1 0xff 00000842: MUL 00000843: NOT 00000844: AND 00000845: SWAP1 00000846: SSTORE 00000847: PUSH1 0x06 00000849: DUP3 0000084a: ADD 0000084b: PUSH1 0x00 0000084d: POP 0000084e: PUSH1 0x00 00000850: SWAP1 00000851: SSTORE 00000852: POP 00000853: PUSH1 0x01 00000855: ADD 00000856: PUSH2 0x075a 00000859: JUMP 0000085a: JUMPDEST 0000085b: POP 0000085c: SWAP1 0000085d: JUMP 0000085e: JUMPDEST 0000085f: JUMPDEST 00000860: POP 00000861: POP 00000862: POP 00000863: SWAP2 00000864: SWAP1 00000865: SWAP1 00000866: PUSH1 0x00 00000868: MSTORE 00000869: PUSH1 0x20 0000086b: PUSH1 0x00 0000086d: KECCAK256 0000086e: SWAP1 0000086f: PUSH1 0x07 00000871: MUL 00000872: ADD 00000873: PUSH1 0x00 00000875: JUMPDEST 00000876: PUSH1 0x02 00000878: PUSH1 0x00 0000087a: POP 0000087b: SWAP1 0000087c: SWAP2 0000087d: SWAP1 0000087e: SWAP2 0000087f: POP 00000880: PUSH1 0x00 00000882: DUP3 00000883: ADD 00000884: PUSH1 0x00 00000886: SWAP1 00000887: SLOAD 00000888: SWAP1 00000889: PUSH2 0x0100 0000088c: EXP 0000088d: SWAP1 0000088e: DIV 0000088f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008a4: AND 000008a5: DUP2 000008a6: PUSH1 0x00 000008a8: ADD 000008a9: PUSH1 0x00 000008ab: PUSH2 0x0100 000008ae: EXP 000008af: DUP2 000008b0: SLOAD 000008b1: DUP2 000008b2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008c7: MUL 000008c8: NOT 000008c9: AND 000008ca: SWAP1 000008cb: DUP4 000008cc: MUL 000008cd: OR 000008ce: SWAP1 000008cf: SSTORE 000008d0: POP 000008d1: PUSH1 0x01 000008d3: DUP3 000008d4: ADD 000008d5: PUSH1 0x00 000008d7: SWAP1 000008d8: SLOAD 000008d9: SWAP1 000008da: PUSH2 0x0100 000008dd: EXP 000008de: SWAP1 000008df: DIV 000008e0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008f5: AND 000008f6: DUP2 000008f7: PUSH1 0x01 000008f9: ADD 000008fa: PUSH1 0x00 000008fc: PUSH2 0x0100 000008ff: EXP 00000900: DUP2 00000901: SLOAD 00000902: DUP2 00000903: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000918: MUL 00000919: NOT 0000091a: AND 0000091b: SWAP1 0000091c: DUP4 0000091d: MUL 0000091e: OR 0000091f: SWAP1 00000920: SSTORE 00000921: POP 00000922: PUSH1 0x02 00000924: DUP3 00000925: ADD 00000926: PUSH1 0x00 00000928: POP 00000929: DUP2 0000092a: PUSH1 0x02 0000092c: ADD 0000092d: PUSH1 0x00 0000092f: POP 00000930: SWAP1 00000931: DUP1 00000932: SLOAD 00000933: PUSH1 0x01 00000935: DUP2 00000936: PUSH1 0x01 00000938: AND 00000939: ISZERO 0000093a: PUSH2 0x0100 0000093d: MUL 0000093e: SUB 0000093f: AND 00000940: PUSH1 0x02 00000942: SWAP1 00000943: DIV 00000944: DUP3 00000945: DUP1 00000946: SLOAD 00000947: PUSH1 0x01 00000949: DUP2 0000094a: PUSH1 0x01 0000094c: AND 0000094d: ISZERO 0000094e: PUSH2 0x0100 00000951: MUL 00000952: SUB 00000953: AND 00000954: PUSH1 0x02 00000956: SWAP1 00000957: DIV 00000958: SWAP1 00000959: PUSH1 0x00 0000095b: MSTORE 0000095c: PUSH1 0x20 0000095e: PUSH1 0x00 00000960: KECCAK256 00000961: SWAP1 00000962: PUSH1 0x1f 00000964: ADD 00000965: PUSH1 0x20 00000967: SWAP1 00000968: DIV 00000969: DUP2 0000096a: ADD 0000096b: SWAP3 0000096c: DUP3 0000096d: PUSH1 0x1f 0000096f: LT 00000970: PUSH2 0x097c 00000973: JUMPI 00000974: DUP1 00000975: SLOAD 00000976: DUP6 00000977: SSTORE 00000978: PUSH2 0x09b9 0000097b: JUMP 0000097c: JUMPDEST 0000097d: DUP3 0000097e: DUP1 0000097f: ADD 00000980: PUSH1 0x01 00000982: ADD 00000983: DUP6 00000984: SSTORE 00000985: DUP3 00000986: ISZERO 00000987: PUSH2 0x09b9 0000098a: JUMPI 0000098b: PUSH1 0x00 0000098d: MSTORE 0000098e: PUSH1 0x20 00000990: PUSH1 0x00 00000992: KECCAK256 00000993: SWAP2 00000994: PUSH1 0x1f 00000996: ADD 00000997: PUSH1 0x20 00000999: SWAP1 0000099a: DIV 0000099b: DUP3 0000099c: ADD 0000099d: JUMPDEST 0000099e: DUP3 0000099f: DUP2 000009a0: GT 000009a1: ISZERO 000009a2: PUSH2 0x09b8 000009a5: JUMPI 000009a6: DUP3 000009a7: SLOAD 000009a8: DUP3 000009a9: SSTORE 000009aa: SWAP2 000009ab: PUSH1 0x01 000009ad: ADD 000009ae: SWAP2 000009af: SWAP1 000009b0: PUSH1 0x01 000009b2: ADD 000009b3: SWAP1 000009b4: PUSH2 0x099d 000009b7: JUMP 000009b8: JUMPDEST 000009b9: JUMPDEST 000009ba: POP 000009bb: SWAP1 000009bc: POP 000009bd: PUSH2 0x09e4 000009c0: SWAP2 000009c1: SWAP1 000009c2: PUSH2 0x09c6 000009c5: JUMP 000009c6: JUMPDEST 000009c7: DUP1 000009c8: DUP3 000009c9: GT 000009ca: ISZERO 000009cb: PUSH2 0x09e0 000009ce: JUMPI 000009cf: PUSH1 0x00 000009d1: DUP2 000009d2: DUP2 000009d3: POP 000009d4: PUSH1 0x00 000009d6: SWAP1 000009d7: SSTORE 000009d8: POP 000009d9: PUSH1 0x01 000009db: ADD 000009dc: PUSH2 0x09c6 000009df: JUMP 000009e0: JUMPDEST 000009e1: POP 000009e2: SWAP1 000009e3: JUMP 000009e4: JUMPDEST 000009e5: POP 000009e6: POP 000009e7: PUSH1 0x03 000009e9: DUP3 000009ea: ADD 000009eb: PUSH1 0x00 000009ed: POP 000009ee: SLOAD 000009ef: DUP2 000009f0: PUSH1 0x03 000009f2: ADD 000009f3: PUSH1 0x00 000009f5: POP 000009f6: SSTORE 000009f7: PUSH1 0x04 000009f9: DUP3 000009fa: ADD 000009fb: PUSH1 0x00 000009fd: POP 000009fe: SLOAD 000009ff: DUP2 00000a00: PUSH1 0x04 00000a02: ADD 00000a03: PUSH1 0x00 00000a05: POP 00000a06: SSTORE 00000a07: PUSH1 0x05 00000a09: DUP3 00000a0a: ADD 00000a0b: PUSH1 0x00 00000a0d: SWAP1 00000a0e: SLOAD 00000a0f: SWAP1 00000a10: PUSH2 0x0100 00000a13: EXP 00000a14: SWAP1 00000a15: DIV 00000a16: PUSH1 0xff 00000a18: AND 00000a19: DUP2 00000a1a: PUSH1 0x05 00000a1c: ADD 00000a1d: PUSH1 0x00 00000a1f: PUSH2 0x0100 00000a22: EXP 00000a23: DUP2 00000a24: SLOAD 00000a25: DUP2 00000a26: PUSH1 0xff 00000a28: MUL 00000a29: NOT 00000a2a: AND 00000a2b: SWAP1 00000a2c: DUP4 00000a2d: MUL 00000a2e: OR 00000a2f: SWAP1 00000a30: SSTORE 00000a31: POP 00000a32: PUSH1 0x06 00000a34: DUP3 00000a35: ADD 00000a36: PUSH1 0x00 00000a38: POP 00000a39: SLOAD 00000a3a: DUP2 00000a3b: PUSH1 0x06 00000a3d: ADD 00000a3e: PUSH1 0x00 00000a40: POP 00000a41: SSTORE 00000a42: POP 00000a43: POP 00000a44: POP 00000a45: PUSH1 0xe0 00000a47: PUSH1 0x40 00000a49: MLOAD 00000a4a: SWAP1 00000a4b: DUP2 00000a4c: ADD 00000a4d: PUSH1 0x40 00000a4f: MSTORE 00000a50: DUP1 00000a51: DUP9 00000a52: DUP2 00000a53: MSTORE 00000a54: PUSH1 0x20 00000a56: ADD 00000a57: ORIGIN 00000a58: DUP2 00000a59: MSTORE 00000a5a: PUSH1 0x20 00000a5c: ADD 00000a5d: DUP10 00000a5e: DUP2 00000a5f: MSTORE 00000a60: PUSH1 0x20 00000a62: ADD 00000a63: DUP8 00000a64: DUP2 00000a65: MSTORE 00000a66: PUSH1 0x20 00000a68: ADD 00000a69: TIMESTAMP 00000a6a: DUP2 00000a6b: MSTORE 00000a6c: PUSH1 0x20 00000a6e: ADD 00000a6f: PUSH1 0x00 00000a71: DUP2 00000a72: MSTORE 00000a73: PUSH1 0x20 00000a75: ADD 00000a76: PUSH1 0x00 00000a78: DUP2 00000a79: MSTORE 00000a7a: PUSH1 0x20 00000a7c: ADD 00000a7d: POP 00000a7e: PUSH1 0x02 00000a80: PUSH1 0x00 00000a82: POP 00000a83: PUSH1 0x00 00000a85: DUP3 00000a86: ADD 00000a87: MLOAD 00000a88: DUP2 00000a89: PUSH1 0x00 00000a8b: ADD 00000a8c: PUSH1 0x00 00000a8e: PUSH2 0x0100 00000a91: EXP 00000a92: DUP2 00000a93: SLOAD 00000a94: DUP2 00000a95: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000aaa: MUL 00000aab: NOT 00000aac: AND 00000aad: SWAP1 00000aae: DUP4 00000aaf: MUL 00000ab0: OR 00000ab1: SWAP1 00000ab2: SSTORE 00000ab3: POP 00000ab4: PUSH1 0x20 00000ab6: DUP3 00000ab7: ADD 00000ab8: MLOAD 00000ab9: DUP2 00000aba: PUSH1 0x01 00000abc: ADD 00000abd: PUSH1 0x00 00000abf: PUSH2 0x0100 00000ac2: EXP 00000ac3: DUP2 00000ac4: SLOAD 00000ac5: DUP2 00000ac6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000adb: MUL 00000adc: NOT 00000add: AND 00000ade: SWAP1 00000adf: DUP4 00000ae0: MUL 00000ae1: OR 00000ae2: SWAP1 00000ae3: SSTORE 00000ae4: POP 00000ae5: PUSH1 0x40 00000ae7: DUP3 00000ae8: ADD 00000ae9: MLOAD 00000aea: DUP2 00000aeb: PUSH1 0x02 00000aed: ADD 00000aee: PUSH1 0x00 00000af0: POP 00000af1: SWAP1 00000af2: DUP1 00000af3: MLOAD 00000af4: SWAP1 00000af5: PUSH1 0x20 00000af7: ADD 00000af8: SWAP1 00000af9: DUP3 00000afa: DUP1 00000afb: SLOAD 00000afc: PUSH1 0x01 00000afe: DUP2 00000aff: PUSH1 0x01 00000b01: AND 00000b02: ISZERO 00000b03: PUSH2 0x0100 00000b06: MUL 00000b07: SUB 00000b08: AND 00000b09: PUSH1 0x02 00000b0b: SWAP1 00000b0c: DIV 00000b0d: SWAP1 00000b0e: PUSH1 0x00 00000b10: MSTORE 00000b11: PUSH1 0x20 00000b13: PUSH1 0x00 00000b15: KECCAK256 00000b16: SWAP1 00000b17: PUSH1 0x1f 00000b19: ADD 00000b1a: PUSH1 0x20 00000b1c: SWAP1 00000b1d: DIV 00000b1e: DUP2 00000b1f: ADD 00000b20: SWAP3 00000b21: DUP3 00000b22: PUSH1 0x1f 00000b24: LT 00000b25: PUSH2 0x0b39 00000b28: JUMPI 00000b29: DUP1 00000b2a: MLOAD 00000b2b: PUSH1 0xff 00000b2d: NOT 00000b2e: AND 00000b2f: DUP4 00000b30: DUP1 00000b31: ADD 00000b32: OR 00000b33: DUP6 00000b34: SSTORE 00000b35: PUSH2 0x0b6a 00000b38: JUMP 00000b39: JUMPDEST 00000b3a: DUP3 00000b3b: DUP1 00000b3c: ADD 00000b3d: PUSH1 0x01 00000b3f: ADD 00000b40: DUP6 00000b41: SSTORE 00000b42: DUP3 00000b43: ISZERO 00000b44: PUSH2 0x0b6a 00000b47: JUMPI 00000b48: SWAP2 00000b49: DUP3 00000b4a: ADD 00000b4b: JUMPDEST 00000b4c: DUP3 00000b4d: DUP2 00000b4e: GT 00000b4f: ISZERO 00000b50: PUSH2 0x0b69 00000b53: JUMPI 00000b54: DUP3 00000b55: MLOAD 00000b56: DUP3 00000b57: PUSH1 0x00 00000b59: POP 00000b5a: SSTORE 00000b5b: SWAP2 00000b5c: PUSH1 0x20 00000b5e: ADD 00000b5f: SWAP2 00000b60: SWAP1 00000b61: PUSH1 0x01 00000b63: ADD 00000b64: SWAP1 00000b65: PUSH2 0x0b4b 00000b68: JUMP 00000b69: JUMPDEST 00000b6a: JUMPDEST 00000b6b: POP 00000b6c: SWAP1 00000b6d: POP 00000b6e: PUSH2 0x0b95 00000b71: SWAP2 00000b72: SWAP1 00000b73: PUSH2 0x0b77 00000b76: JUMP 00000b77: JUMPDEST 00000b78: DUP1 00000b79: DUP3 00000b7a: GT 00000b7b: ISZERO 00000b7c: PUSH2 0x0b91 00000b7f: JUMPI 00000b80: PUSH1 0x00 00000b82: DUP2 00000b83: DUP2 00000b84: POP 00000b85: PUSH1 0x00 00000b87: SWAP1 00000b88: SSTORE 00000b89: POP 00000b8a: PUSH1 0x01 00000b8c: ADD 00000b8d: PUSH2 0x0b77 00000b90: JUMP 00000b91: JUMPDEST 00000b92: POP 00000b93: SWAP1 00000b94: JUMP 00000b95: JUMPDEST 00000b96: POP 00000b97: POP 00000b98: PUSH1 0x60 00000b9a: DUP3 00000b9b: ADD 00000b9c: MLOAD 00000b9d: DUP2 00000b9e: PUSH1 0x03 00000ba0: ADD 00000ba1: PUSH1 0x00 00000ba3: POP 00000ba4: SSTORE 00000ba5: PUSH1 0x80 00000ba7: DUP3 00000ba8: ADD 00000ba9: MLOAD 00000baa: DUP2 00000bab: PUSH1 0x04 00000bad: ADD 00000bae: PUSH1 0x00 00000bb0: POP 00000bb1: SSTORE 00000bb2: PUSH1 0xa0 00000bb4: DUP3 00000bb5: ADD 00000bb6: MLOAD 00000bb7: DUP2 00000bb8: PUSH1 0x05 00000bba: ADD 00000bbb: PUSH1 0x00 00000bbd: PUSH2 0x0100 00000bc0: EXP 00000bc1: DUP2 00000bc2: SLOAD 00000bc3: DUP2 00000bc4: PUSH1 0xff 00000bc6: MUL 00000bc7: NOT 00000bc8: AND 00000bc9: SWAP1 00000bca: DUP4 00000bcb: MUL 00000bcc: OR 00000bcd: SWAP1 00000bce: SSTORE 00000bcf: POP 00000bd0: PUSH1 0xc0 00000bd2: DUP3 00000bd3: ADD 00000bd4: MLOAD 00000bd5: DUP2 00000bd6: PUSH1 0x06 00000bd8: ADD 00000bd9: PUSH1 0x00 00000bdb: POP 00000bdc: SSTORE 00000bdd: SWAP1 00000bde: POP 00000bdf: POP 00000be0: PUSH1 0x0a 00000be2: PUSH1 0x0b 00000be4: PUSH1 0x01 00000be6: PUSH1 0x00 00000be8: POP 00000be9: SLOAD 00000bea: MUL 00000beb: DIV 00000bec: SWAP1 00000bed: POP 00000bee: PUSH7 0x2386f26fc10000 00000bf6: DUP2 00000bf7: LT 00000bf8: ISZERO 00000bf9: PUSH2 0x0c0b 00000bfc: JUMPI 00000bfd: DUP1 00000bfe: PUSH1 0x01 00000c00: PUSH1 0x00 00000c02: POP 00000c03: DUP2 00000c04: SWAP1 00000c05: SSTORE 00000c06: POP 00000c07: PUSH2 0x0d4a 00000c0a: JUMP 00000c0b: JUMPDEST 00000c0c: PUSH8 0x016345785d8a0000 00000c15: DUP2 00000c16: LT 00000c17: ISZERO 00000c18: PUSH2 0x0c3a 00000c1b: JUMPI 00000c1c: PUSH6 0x5af3107a4000 00000c23: DUP2 00000c24: DIV 00000c25: PUSH6 0x5af3107a4000 00000c2c: MUL 00000c2d: PUSH1 0x01 00000c2f: PUSH1 0x00 00000c31: POP 00000c32: DUP2 00000c33: SWAP1 00000c34: SSTORE 00000c35: POP 00000c36: PUSH2 0x0d49 00000c39: JUMP 00000c3a: JUMPDEST 00000c3b: PUSH8 0x0de0b6b3a7640000 00000c44: DUP2 00000c45: LT 00000c46: ISZERO 00000c47: PUSH2 0x0c6b 00000c4a: JUMPI 00000c4b: PUSH7 0x038d7ea4c68000 00000c53: DUP2 00000c54: DIV 00000c55: PUSH7 0x038d7ea4c68000 00000c5d: MUL 00000c5e: PUSH1 0x01 00000c60: PUSH1 0x00 00000c62: POP 00000c63: DUP2 00000c64: SWAP1 00000c65: SSTORE 00000c66: POP 00000c67: PUSH2 0x0d48 00000c6a: JUMP 00000c6b: JUMPDEST 00000c6c: PUSH8 0x8ac7230489e80000 00000c75: DUP2 00000c76: LT 00000c77: ISZERO 00000c78: PUSH2 0x0c9c 00000c7b: JUMPI 00000c7c: PUSH7 0x2386f26fc10000 00000c84: DUP2 00000c85: DIV 00000c86: PUSH7 0x2386f26fc10000 00000c8e: MUL 00000c8f: PUSH1 0x01 00000c91: PUSH1 0x00 00000c93: POP 00000c94: DUP2 00000c95: SWAP1 00000c96: SSTORE 00000c97: POP 00000c98: PUSH2 0x0d47 00000c9b: JUMP 00000c9c: JUMPDEST 00000c9d: PUSH9 0x056bc75e2d63100000 00000ca7: DUP2 00000ca8: LT 00000ca9: ISZERO 00000caa: PUSH2 0x0cd0 00000cad: JUMPI 00000cae: PUSH8 0x016345785d8a0000 00000cb7: DUP2 00000cb8: DIV 00000cb9: PUSH8 0x016345785d8a0000 00000cc2: MUL 00000cc3: PUSH1 0x01 00000cc5: PUSH1 0x00 00000cc7: POP 00000cc8: DUP2 00000cc9: SWAP1 00000cca: SSTORE 00000ccb: POP 00000ccc: PUSH2 0x0d46 00000ccf: JUMP 00000cd0: JUMPDEST 00000cd1: PUSH9 0x3635c9adc5dea00000 00000cdb: DUP2 00000cdc: LT 00000cdd: ISZERO 00000cde: PUSH2 0x0d04 00000ce1: JUMPI 00000ce2: PUSH8 0x0de0b6b3a7640000 00000ceb: DUP2 00000cec: DIV 00000ced: PUSH8 0x0de0b6b3a7640000 00000cf6: MUL 00000cf7: PUSH1 0x01 00000cf9: PUSH1 0x00 00000cfb: POP 00000cfc: DUP2 00000cfd: SWAP1 00000cfe: SSTORE 00000cff: POP 00000d00: PUSH2 0x0d45 00000d03: JUMP 00000d04: JUMPDEST 00000d05: PUSH10 0x021e19e0c9bab2400000 00000d10: DUP2 00000d11: LT 00000d12: ISZERO 00000d13: PUSH2 0x0d39 00000d16: JUMPI 00000d17: PUSH8 0x8ac7230489e80000 00000d20: DUP2 00000d21: DIV 00000d22: PUSH8 0x8ac7230489e80000 00000d2b: MUL 00000d2c: PUSH1 0x01 00000d2e: PUSH1 0x00 00000d30: POP 00000d31: DUP2 00000d32: SWAP1 00000d33: SSTORE 00000d34: POP 00000d35: PUSH2 0x0d44 00000d38: JUMP 00000d39: JUMPDEST 00000d3a: DUP1 00000d3b: PUSH1 0x01 00000d3d: PUSH1 0x00 00000d3f: POP 00000d40: DUP2 00000d41: SWAP1 00000d42: SSTORE 00000d43: POP 00000d44: JUMPDEST 00000d45: JUMPDEST 00000d46: JUMPDEST 00000d47: JUMPDEST 00000d48: JUMPDEST 00000d49: JUMPDEST 00000d4a: JUMPDEST 00000d4b: PUSH32 0x66dd2fa17295ffce5da0fb78b9a7146bc2c19cfbab9752e98fd016cfde14e0de 00000d6c: PUSH1 0x02 00000d6e: PUSH1 0x00 00000d70: POP 00000d71: PUSH1 0x01 00000d73: ADD 00000d74: PUSH1 0x00 00000d76: SWAP1 00000d77: SLOAD 00000d78: SWAP1 00000d79: PUSH2 0x0100 00000d7c: EXP 00000d7d: SWAP1 00000d7e: DIV 00000d7f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d94: AND 00000d95: PUSH1 0x02 00000d97: PUSH1 0x00 00000d99: POP 00000d9a: PUSH1 0x02 00000d9c: ADD 00000d9d: PUSH1 0x00 00000d9f: POP 00000da0: PUSH1 0x01 00000da2: PUSH1 0x00 00000da4: POP 00000da5: SLOAD 00000da6: PUSH1 0x40 00000da8: MLOAD 00000da9: DUP1 00000daa: DUP5 00000dab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000dc0: AND 00000dc1: DUP2 00000dc2: MSTORE 00000dc3: PUSH1 0x20 00000dc5: ADD 00000dc6: DUP1 00000dc7: PUSH1 0x20 00000dc9: ADD 00000dca: DUP4 00000dcb: DUP2 00000dcc: MSTORE 00000dcd: PUSH1 0x20 00000dcf: ADD 00000dd0: DUP3 00000dd1: DUP2 00000dd2: SUB 00000dd3: DUP3 00000dd4: MSTORE 00000dd5: DUP5 00000dd6: DUP2 00000dd7: DUP2 00000dd8: SLOAD 00000dd9: PUSH1 0x01 00000ddb: DUP2 00000ddc: PUSH1 0x01 00000dde: AND 00000ddf: ISZERO 00000de0: PUSH2 0x0100 00000de3: MUL 00000de4: SUB 00000de5: AND 00000de6: PUSH1 0x02 00000de8: SWAP1 00000de9: DIV 00000dea: DUP2 00000deb: MSTORE 00000dec: PUSH1 0x20 00000dee: ADD 00000def: SWAP2 00000df0: POP 00000df1: DUP1 00000df2: SLOAD 00000df3: PUSH1 0x01 00000df5: DUP2 00000df6: PUSH1 0x01 00000df8: AND 00000df9: ISZERO 00000dfa: PUSH2 0x0100 00000dfd: MUL 00000dfe: SUB 00000dff: AND 00000e00: PUSH1 0x02 00000e02: SWAP1 00000e03: DIV 00000e04: DUP1 00000e05: ISZERO 00000e06: PUSH2 0x0e50 00000e09: JUMPI 00000e0a: DUP1 00000e0b: PUSH1 0x1f 00000e0d: LT 00000e0e: PUSH2 0x0e25 00000e11: JUMPI 00000e12: PUSH2 0x0100 00000e15: DUP1 00000e16: DUP4 00000e17: SLOAD 00000e18: DIV 00000e19: MUL 00000e1a: DUP4 00000e1b: MSTORE 00000e1c: SWAP2 00000e1d: PUSH1 0x20 00000e1f: ADD 00000e20: SWAP2 00000e21: PUSH2 0x0e50 00000e24: JUMP 00000e25: JUMPDEST 00000e26: DUP3 00000e27: ADD 00000e28: SWAP2 00000e29: SWAP1 00000e2a: PUSH1 0x00 00000e2c: MSTORE 00000e2d: PUSH1 0x20 00000e2f: PUSH1 0x00 00000e31: KECCAK256 00000e32: SWAP1 00000e33: JUMPDEST 00000e34: DUP2 00000e35: SLOAD 00000e36: DUP2 00000e37: MSTORE 00000e38: SWAP1 00000e39: PUSH1 0x01 00000e3b: ADD 00000e3c: SWAP1 00000e3d: PUSH1 0x20 00000e3f: ADD 00000e40: DUP1 00000e41: DUP4 00000e42: GT 00000e43: PUSH2 0x0e33 00000e46: JUMPI 00000e47: DUP3 00000e48: SWAP1 00000e49: SUB 00000e4a: PUSH1 0x1f 00000e4c: AND 00000e4d: DUP3 00000e4e: ADD 00000e4f: SWAP2 00000e50: JUMPDEST 00000e51: POP 00000e52: POP 00000e53: SWAP5 00000e54: POP 00000e55: POP 00000e56: POP 00000e57: POP 00000e58: POP 00000e59: PUSH1 0x40 00000e5b: MLOAD 00000e5c: DUP1 00000e5d: SWAP2 00000e5e: SUB 00000e5f: SWAP1 00000e60: LOG1 00000e61: JUMPDEST 00000e62: POP 00000e63: POP 00000e64: POP 00000e65: POP 00000e66: POP 00000e67: POP 00000e68: POP 00000e69: POP 00000e6a: JUMP 00000e6b: JUMPDEST 00000e6c: PUSH1 0x00 00000e6e: PUSH1 0x00 00000e70: PUSH1 0x00 00000e72: PUSH1 0x00 00000e74: PUSH1 0x00 00000e76: PUSH1 0x00 00000e78: PUSH1 0x00 00000e7a: PUSH1 0x02 00000e7c: PUSH1 0x09 00000e7e: PUSH1 0x00 00000e80: POP 00000e81: DUP11 00000e82: DUP2 00000e83: SLOAD 00000e84: DUP2 00000e85: LT 00000e86: ISZERO 00000e87: PUSH2 0x0002 00000e8a: JUMPI 00000e8b: SWAP1 00000e8c: PUSH1 0x00 00000e8e: MSTORE 00000e8f: PUSH1 0x20 00000e91: PUSH1 0x00 00000e93: KECCAK256 00000e94: SWAP1 00000e95: PUSH1 0x07 00000e97: MUL 00000e98: ADD 00000e99: PUSH1 0x00 00000e9b: JUMPDEST 00000e9c: POP 00000e9d: PUSH1 0x05 00000e9f: ADD 00000ea0: PUSH1 0x00 00000ea2: SWAP1 00000ea3: SLOAD 00000ea4: SWAP1 00000ea5: PUSH2 0x0100 00000ea8: EXP 00000ea9: SWAP1 00000eaa: DIV 00000eab: PUSH1 0xff 00000ead: AND 00000eae: EQ 00000eaf: ISZERO 00000eb0: ISZERO 00000eb1: PUSH2 0x0eb9 00000eb4: JUMPI 00000eb5: PUSH2 0x0002 00000eb8: JUMP 00000eb9: JUMPDEST 00000eba: PUSH1 0x00 00000ebc: SWAP7 00000ebd: POP 00000ebe: PUSH1 0x00 00000ec0: PUSH1 0x00 00000ec2: SWAP1 00000ec3: SLOAD 00000ec4: SWAP1 00000ec5: PUSH2 0x0100 00000ec8: EXP 00000ec9: SWAP1 00000eca: DIV 00000ecb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ee0: AND 00000ee1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ef6: AND 00000ef7: CALLER 00000ef8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f0d: AND 00000f0e: EQ 00000f0f: ISZERO 00000f10: PUSH2 0x0f1e 00000f13: JUMPI 00000f14: PUSH1 0x01 00000f16: SWAP7 00000f17: POP 00000f18: DUP7 00000f19: POP 00000f1a: PUSH2 0x1022 00000f1d: JUMP 00000f1e: JUMPDEST 00000f1f: PUSH1 0x09 00000f21: PUSH1 0x00 00000f23: POP 00000f24: DUP10 00000f25: DUP2 00000f26: SLOAD 00000f27: DUP2 00000f28: LT 00000f29: ISZERO 00000f2a: PUSH2 0x0002 00000f2d: JUMPI 00000f2e: SWAP1 00000f2f: PUSH1 0x00 00000f31: MSTORE 00000f32: PUSH1 0x20 00000f34: PUSH1 0x00 00000f36: KECCAK256 00000f37: SWAP1 00000f38: PUSH1 0x07 00000f3a: MUL 00000f3b: ADD 00000f3c: PUSH1 0x00 00000f3e: JUMPDEST 00000f3f: POP 00000f40: PUSH1 0x00 00000f42: ADD 00000f43: PUSH1 0x00 00000f45: SWAP1 00000f46: SLOAD 00000f47: SWAP1 00000f48: PUSH2 0x0100 00000f4b: EXP 00000f4c: SWAP1 00000f4d: DIV 00000f4e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f63: AND 00000f64: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f79: AND 00000f7a: CALLER 00000f7b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f90: AND 00000f91: EQ 00000f92: ISZERO 00000f93: PUSH2 0x0fa1 00000f96: JUMPI 00000f97: PUSH1 0x01 00000f99: SWAP7 00000f9a: POP 00000f9b: DUP7 00000f9c: POP 00000f9d: PUSH2 0x1021 00000fa0: JUMP 00000fa1: JUMPDEST 00000fa2: PUSH1 0x09 00000fa4: PUSH1 0x00 00000fa6: POP 00000fa7: DUP10 00000fa8: DUP2 00000fa9: SLOAD 00000faa: DUP2 00000fab: LT 00000fac: ISZERO 00000fad: PUSH2 0x0002 00000fb0: JUMPI 00000fb1: SWAP1 00000fb2: PUSH1 0x00 00000fb4: MSTORE 00000fb5: PUSH1 0x20 00000fb7: PUSH1 0x00 00000fb9: KECCAK256 00000fba: SWAP1 00000fbb: PUSH1 0x07 00000fbd: MUL 00000fbe: ADD 00000fbf: PUSH1 0x00 00000fc1: JUMPDEST 00000fc2: POP 00000fc3: PUSH1 0x01 00000fc5: ADD 00000fc6: PUSH1 0x00 00000fc8: SWAP1 00000fc9: SLOAD 00000fca: SWAP1 00000fcb: PUSH2 0x0100 00000fce: EXP 00000fcf: SWAP1 00000fd0: DIV 00000fd1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fe6: AND 00000fe7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ffc: AND 00000ffd: ORIGIN 00000ffe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001013: AND 00001014: EQ 00001015: ISZERO 00001016: PUSH2 0x1020 00001019: JUMPI 0000101a: PUSH1 0x01 0000101c: SWAP7 0000101d: POP 0000101e: DUP7 0000101f: POP 00001020: JUMPDEST 00001021: JUMPDEST 00001022: JUMPDEST 00001023: DUP7 00001024: ISZERO 00001025: ISZERO 00001026: PUSH2 0x102e 00001029: JUMPI 0000102a: PUSH2 0x0002 0000102d: JUMP 0000102e: JUMPDEST 0000102f: PUSH1 0x09 00001031: PUSH1 0x00 00001033: POP 00001034: DUP10 00001035: DUP2 00001036: SLOAD 00001037: DUP2 00001038: LT 00001039: ISZERO 0000103a: PUSH2 0x0002 0000103d: JUMPI 0000103e: SWAP1 0000103f: PUSH1 0x00 00001041: MSTORE 00001042: PUSH1 0x20 00001044: PUSH1 0x00 00001046: KECCAK256 00001047: SWAP1 00001048: PUSH1 0x07 0000104a: MUL 0000104b: ADD 0000104c: PUSH1 0x00 0000104e: JUMPDEST 0000104f: POP 00001050: PUSH1 0x06 00001052: ADD 00001053: PUSH1 0x00 00001055: POP 00001056: SLOAD 00001057: SWAP5 00001058: POP 00001059: DUP8 0000105a: ISZERO 0000105b: PUSH2 0x10b2 0000105e: JUMPI 0000105f: PUSH1 0x09 00001061: PUSH1 0x00 00001063: POP 00001064: DUP10 00001065: DUP2 00001066: SLOAD 00001067: DUP2 00001068: LT 00001069: ISZERO 0000106a: PUSH2 0x0002 0000106d: JUMPI 0000106e: SWAP1 0000106f: PUSH1 0x00 00001071: MSTORE 00001072: PUSH1 0x20 00001074: PUSH1 0x00 00001076: KECCAK256 00001077: SWAP1 00001078: PUSH1 0x07 0000107a: MUL 0000107b: ADD 0000107c: PUSH1 0x00 0000107e: JUMPDEST 0000107f: POP 00001080: PUSH1 0x01 00001082: ADD 00001083: PUSH1 0x00 00001085: SWAP1 00001086: SLOAD 00001087: SWAP1 00001088: PUSH2 0x0100 0000108b: EXP 0000108c: SWAP1 0000108d: DIV 0000108e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010a3: AND 000010a4: SWAP6 000010a5: POP 000010a6: DUP6 000010a7: POP 000010a8: PUSH1 0x00 000010aa: SWAP4 000010ab: POP 000010ac: DUP4 000010ad: POP 000010ae: PUSH2 0x1118 000010b1: JUMP 000010b2: JUMPDEST 000010b3: PUSH1 0x09 000010b5: PUSH1 0x00 000010b7: POP 000010b8: DUP10 000010b9: DUP2 000010ba: SLOAD 000010bb: DUP2 000010bc: LT 000010bd: ISZERO 000010be: PUSH2 0x0002 000010c1: JUMPI 000010c2: SWAP1 000010c3: PUSH1 0x00 000010c5: MSTORE 000010c6: PUSH1 0x20 000010c8: PUSH1 0x00 000010ca: KECCAK256 000010cb: SWAP1 000010cc: PUSH1 0x07 000010ce: MUL 000010cf: ADD 000010d0: PUSH1 0x00 000010d2: JUMPDEST 000010d3: POP 000010d4: PUSH1 0x00 000010d6: ADD 000010d7: PUSH1 0x00 000010d9: SWAP1 000010da: SLOAD 000010db: SWAP1 000010dc: PUSH2 0x0100 000010df: EXP 000010e0: SWAP1 000010e1: DIV 000010e2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010f7: AND 000010f8: SWAP6 000010f9: POP 000010fa: DUP6 000010fb: POP 000010fc: PUSH2 0x61a8 000010ff: SWAP3 00001100: POP 00001101: GAS 00001102: SWAP2 00001103: POP 00001104: DUP3 00001105: DUP3 00001106: LT 00001107: ISZERO 00001108: PUSH2 0x1110 0000110b: JUMPI 0000110c: PUSH2 0x0002 0000110f: JUMP 00001110: JUMPDEST 00001111: DUP3 00001112: DUP3 00001113: SUB 00001114: SWAP4 00001115: POP 00001116: DUP4 00001117: POP 00001118: JUMPDEST 00001119: PUSH2 0x1123 0000111c: DUP7 0000111d: DUP7 0000111e: DUP7 0000111f: PUSH2 0x12eb 00001122: JUMP 00001123: JUMPDEST 00001124: SWAP1 00001125: POP 00001126: DUP1 00001127: ISZERO 00001128: ISZERO 00001129: PUSH2 0x1131 0000112c: JUMPI 0000112d: PUSH2 0x0002 00001130: JUMP 00001131: JUMPDEST 00001132: PUSH1 0x01 00001134: PUSH1 0x09 00001136: PUSH1 0x00 00001138: POP 00001139: DUP11 0000113a: DUP2 0000113b: SLOAD 0000113c: DUP2 0000113d: LT 0000113e: ISZERO 0000113f: PUSH2 0x0002 00001142: JUMPI 00001143: SWAP1 00001144: PUSH1 0x00 00001146: MSTORE 00001147: PUSH1 0x20 00001149: PUSH1 0x00 0000114b: KECCAK256 0000114c: SWAP1 0000114d: PUSH1 0x07 0000114f: MUL 00001150: ADD 00001151: PUSH1 0x00 00001153: JUMPDEST 00001154: POP 00001155: PUSH1 0x05 00001157: ADD 00001158: PUSH1 0x00 0000115a: PUSH2 0x0100 0000115d: EXP 0000115e: DUP2 0000115f: SLOAD 00001160: DUP2 00001161: PUSH1 0xff 00001163: MUL 00001164: NOT 00001165: AND 00001166: SWAP1 00001167: DUP4 00001168: MUL 00001169: OR 0000116a: SWAP1 0000116b: SSTORE 0000116c: POP 0000116d: DUP5 0000116e: PUSH1 0x0a 00001170: PUSH1 0x00 00001172: DUP3 00001173: DUP3 00001174: DUP3 00001175: POP 00001176: SLOAD 00001177: SUB 00001178: SWAP3 00001179: POP 0000117a: POP 0000117b: DUP2 0000117c: SWAP1 0000117d: SSTORE 0000117e: POP 0000117f: JUMPDEST 00001180: POP 00001181: POP 00001182: POP 00001183: POP 00001184: POP 00001185: POP 00001186: POP 00001187: POP 00001188: POP 00001189: JUMP 0000118a: JUMPDEST 0000118b: PUSH1 0x00 0000118d: PUSH1 0x00 0000118f: SWAP1 00001190: SLOAD 00001191: SWAP1 00001192: PUSH2 0x0100 00001195: EXP 00001196: SWAP1 00001197: DIV 00001198: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011ad: AND 000011ae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011c3: AND 000011c4: CALLER 000011c5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011da: AND 000011db: EQ 000011dc: ISZERO 000011dd: PUSH2 0x1261 000011e0: JUMPI 000011e1: ADDRESS 000011e2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011f7: AND 000011f8: BALANCE 000011f9: PUSH1 0x0a 000011fb: PUSH1 0x00 000011fd: POP 000011fe: SLOAD 000011ff: DUP3 00001200: ADD 00001201: GT 00001202: ISZERO 00001203: PUSH2 0x120b 00001206: JUMPI 00001207: PUSH2 0x0002 0000120a: JUMP 0000120b: JUMPDEST 0000120c: PUSH1 0x00 0000120e: PUSH1 0x00 00001210: SWAP1 00001211: SLOAD 00001212: SWAP1 00001213: PUSH2 0x0100 00001216: EXP 00001217: SWAP1 00001218: DIV 00001219: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000122e: AND 0000122f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001244: AND 00001245: PUSH1 0x00 00001247: DUP3 00001248: PUSH1 0x40 0000124a: MLOAD 0000124b: DUP1 0000124c: SWAP1 0000124d: POP 0000124e: PUSH1 0x00 00001250: PUSH1 0x40 00001252: MLOAD 00001253: DUP1 00001254: DUP4 00001255: SUB 00001256: DUP2 00001257: DUP6 00001258: DUP9 00001259: DUP9 0000125a: CALL 0000125b: SWAP4 0000125c: POP 0000125d: POP 0000125e: POP 0000125f: POP 00001260: POP 00001261: JUMPDEST 00001262: JUMPDEST 00001263: POP 00001264: JUMP 00001265: JUMPDEST 00001266: PUSH1 0x00 00001268: PUSH1 0x00 0000126a: SWAP1 0000126b: SLOAD 0000126c: SWAP1 0000126d: PUSH2 0x0100 00001270: EXP 00001271: SWAP1 00001272: DIV 00001273: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001288: AND 00001289: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000129e: AND 0000129f: CALLER 000012a0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012b5: AND 000012b6: EQ 000012b7: ISZERO 000012b8: PUSH2 0x12e7 000012bb: JUMPI 000012bc: DUP1 000012bd: PUSH1 0x00 000012bf: PUSH1 0x00 000012c1: PUSH2 0x0100 000012c4: EXP 000012c5: DUP2 000012c6: SLOAD 000012c7: DUP2 000012c8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012dd: MUL 000012de: NOT 000012df: AND 000012e0: SWAP1 000012e1: DUP4 000012e2: MUL 000012e3: OR 000012e4: SWAP1 000012e5: SSTORE 000012e6: POP 000012e7: JUMPDEST 000012e8: JUMPDEST 000012e9: POP 000012ea: JUMP 000012eb: JUMPDEST 000012ec: PUSH1 0x00 000012ee: DUP4 000012ef: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001304: AND 00001305: DUP4 00001306: DUP4 00001307: SWAP1 00001308: PUSH1 0x40 0000130a: MLOAD 0000130b: DUP1 0000130c: SWAP1 0000130d: POP 0000130e: PUSH1 0x00 00001310: PUSH1 0x40 00001312: MLOAD 00001313: DUP1 00001314: DUP4 00001315: SUB 00001316: DUP2 00001317: DUP6 00001318: DUP9 00001319: DUP9 0000131a: CALL 0000131b: SWAP4 0000131c: POP 0000131d: POP 0000131e: POP 0000131f: POP 00001320: SWAP1 00001321: POP 00001322: PUSH2 0x1326 00001325: JUMP 00001326: JUMPDEST 00001327: SWAP4 00001328: SWAP3 00001329: POP 0000132a: POP 0000132b: POP 0000132c: JUMP
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.
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | auth | detector | Authorization based on tx.origin | 70 | no | — |
viewvalidation_json{
"reason": "missing sink mapping",
"status": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x0eb3f5a0",
"selector": "0x0eb3f5a0",
"calldata_variants": [
"0x0eb3f5a0",
"0x0eb3f5a00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1d935a6b",
"selector": "0x1d935a6b",
"calldata_variants": [
"0x1d935a6b",
"0x1d935a6b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x64325ddb",
"selector": "0x64325ddb",
"calldata_variants": [
"0x64325ddb",
"0x64325ddb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7842c52d",
"selector": "0x7842c52d",
"calldata_variants": [
"0x7842c52d",
"0x7842c52d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb66a323c",
"selector": "0xb66a323c",
"calldata_variants": [
"0xb66a323c",
"0xb66a323c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc8fdc891",
"selector": "0xc8fdc891",
"calldata_variants": [
"0xc8fdc891",
"0xc8fdc8910000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe32ee3c5",
"selector": "0xe32ee3c5",
"calldata_variants": [
"0xe32ee3c5",
"0xe32ee3c50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe40d0ac3",
"selector": "0xe40d0ac3",
"calldata_variants": [
"0xe40d0ac3",
"0xe40d0ac30000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 2647,
"type": "tx_origin_used"
},
{
"pc": 3831,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3962,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4093,
"type": "tx_origin_used"
},
{
"pc": 4548,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4767,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0xf6aa78128c0c2518baca7e1c9dfecd13e5f9d49ec36b23f626e0c4f97db5c395
call_targets:
0xdcff74a8726b990c729250ba95b84cc990e754da
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xf6aa78128c0c2518baca7e1c9dfecd13e5f9d49ec36b23f626e0c4f97db5c395",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xdcff74a8726b990c729250ba95b84cc990e754da"
],
"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": "0x0eb3f5a0",
"selector": "0x0eb3f5a0",
"calldata_variants": [
"0x0eb3f5a0",
"0x0eb3f5a00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1d935a6b",
"selector": "0x1d935a6b",
"calldata_variants": [
"0x1d935a6b",
"0x1d935a6b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x64325ddb",
"selector": "0x64325ddb",
"calldata_variants": [
"0x64325ddb",
"0x64325ddb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7842c52d",
"selector": "0x7842c52d",
"calldata_variants": [
"0x7842c52d",
"0x7842c52d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb66a323c",
"selector": "0xb66a323c",
"calldata_variants": [
"0xb66a323c",
"0xb66a323c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc8fdc891",
"selector": "0xc8fdc891",
"calldata_variants": [
"0xc8fdc891",
"0xc8fdc8910000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe32ee3c5",
"selector": "0xe32ee3c5",
"calldata_variants": [
"0xe32ee3c5",
"0xe32ee3c50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe40d0ac3",
"selector": "0xe40d0ac3",
"calldata_variants": [
"0xe40d0ac3",
"0xe40d0ac30000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 4698,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4890,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [
{
"pc": 2647,
"type": "tx_origin_used"
},
{
"pc": 3831,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3962,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4093,
"type": "tx_origin_used"
},
{
"pc": 4548,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4767,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 2
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0xf6aa78128c0c2518baca7e1c9dfecd13e5f9d49ec36b23f626e0c4f97db5c395
call_targets:
0xdcff74a8726b990c729250ba95b84cc990e754da
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xf6aa78128c0c2518baca7e1c9dfecd13e5f9d49ec36b23f626e0c4f97db5c395",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xdcff74a8726b990c729250ba95b84cc990e754da"
],
"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": "0x0eb3f5a0",
"selector": "0x0eb3f5a0",
"calldata_variants": [
"0x0eb3f5a0",
"0x0eb3f5a00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1d935a6b",
"selector": "0x1d935a6b",
"calldata_variants": [
"0x1d935a6b",
"0x1d935a6b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x64325ddb",
"selector": "0x64325ddb",
"calldata_variants": [
"0x64325ddb",
"0x64325ddb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7842c52d",
"selector": "0x7842c52d",
"calldata_variants": [
"0x7842c52d",
"0x7842c52d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb66a323c",
"selector": "0xb66a323c",
"calldata_variants": [
"0xb66a323c",
"0xb66a323c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc8fdc891",
"selector": "0xc8fdc891",
"calldata_variants": [
"0xc8fdc891",
"0xc8fdc8910000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe32ee3c5",
"selector": "0xe32ee3c5",
"calldata_variants": [
"0xe32ee3c5",
"0xe32ee3c50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe40d0ac3",
"selector": "0xe40d0ac3",
"calldata_variants": [
"0xe40d0ac3",
"0xe40d0ac30000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 4698,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4890,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": [
{
"pc": 2647,
"type": "tx_origin_used"
},
{
"pc": 3831,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3962,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4093,
"type": "tx_origin_used"
},
{
"pc": 4548,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4767,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|