019b3844-8d09-7260-b85c-4b9c314324dd
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 |
|---|---|---|---|---|
| 12063 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 12064 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 84236 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 84237 | capability.graph | complete | 1 / 3 | 1 week ago |
| 84238 | detector.run | complete | 1 / 3 | 1 week ago |
| 84239 | 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: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x0110 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 0x011e 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0x06fdde03 00000045: EQ 00000046: PUSH2 0x014f 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0x10d0ffdd 00000050: EQ 00000051: PUSH2 0x01d9 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0x18160ddd 0000005b: EQ 0000005c: PUSH2 0x01ef 0000005f: JUMPI 00000060: DUP1 00000061: PUSH4 0x22609373 00000066: EQ 00000067: PUSH2 0x0202 0000006a: JUMPI 0000006b: DUP1 0000006c: PUSH4 0x313ce567 00000071: EQ 00000072: PUSH2 0x0218 00000075: JUMPI 00000076: DUP1 00000077: PUSH4 0x3ccfd60b 0000007c: EQ 0000007d: PUSH2 0x0241 00000080: JUMPI 00000081: DUP1 00000082: PUSH4 0x4b750334 00000087: EQ 00000088: PUSH2 0x0256 0000008b: JUMPI 0000008c: DUP1 0000008d: PUSH4 0x56d399e8 00000092: EQ 00000093: PUSH2 0x0269 00000096: JUMPI 00000097: DUP1 00000098: PUSH4 0x688abbf7 0000009d: EQ 0000009e: PUSH2 0x027c 000000a1: JUMPI 000000a2: DUP1 000000a3: PUSH4 0x6b2f4632 000000a8: EQ 000000a9: PUSH2 0x0294 000000ac: JUMPI 000000ad: DUP1 000000ae: PUSH4 0x70a08231 000000b3: EQ 000000b4: PUSH2 0x02a7 000000b7: JUMPI 000000b8: DUP1 000000b9: PUSH4 0x8620410b 000000be: EQ 000000bf: PUSH2 0x02c6 000000c2: JUMPI 000000c3: DUP1 000000c4: PUSH4 0x949e8acd 000000c9: EQ 000000ca: PUSH2 0x02d9 000000cd: JUMPI 000000ce: DUP1 000000cf: PUSH4 0x95d89b41 000000d4: EQ 000000d5: PUSH2 0x02ec 000000d8: JUMPI 000000d9: DUP1 000000da: PUSH4 0xa9059cbb 000000df: EQ 000000e0: PUSH2 0x02ff 000000e3: JUMPI 000000e4: DUP1 000000e5: PUSH4 0xe4849b32 000000ea: EQ 000000eb: PUSH2 0x0335 000000ee: JUMPI 000000ef: DUP1 000000f0: PUSH4 0xe9fad8ee 000000f5: EQ 000000f6: PUSH2 0x034b 000000f9: JUMPI 000000fa: DUP1 000000fb: PUSH4 0xf088d547 00000100: EQ 00000101: PUSH2 0x035e 00000104: JUMPI 00000105: DUP1 00000106: PUSH4 0xfdb5a03e 0000010b: EQ 0000010c: PUSH2 0x0372 0000010f: JUMPI 00000110: JUMPDEST 00000111: PUSH2 0x011b 00000114: CALLVALUE 00000115: PUSH1 0x00 00000117: PUSH2 0x0385 0000011a: JUMP 0000011b: JUMPDEST 0000011c: POP 0000011d: STOP 0000011e: JUMPDEST 0000011f: CALLVALUE 00000120: ISZERO 00000121: PUSH2 0x0129 00000124: JUMPI 00000125: PUSH1 0x00 00000127: DUP1 00000128: REVERT 00000129: JUMPDEST 0000012a: PUSH2 0x013d 0000012d: PUSH1 0x01 0000012f: PUSH1 0xa0 00000131: PUSH1 0x02 00000133: EXP 00000134: SUB 00000135: PUSH1 0x04 00000137: CALLDATALOAD 00000138: AND 00000139: PUSH2 0x05ed 0000013c: JUMP 0000013d: JUMPDEST 0000013e: PUSH1 0x40 00000140: MLOAD 00000141: SWAP1 00000142: DUP2 00000143: MSTORE 00000144: PUSH1 0x20 00000146: ADD 00000147: PUSH1 0x40 00000149: MLOAD 0000014a: DUP1 0000014b: SWAP2 0000014c: SUB 0000014d: SWAP1 0000014e: RETURN 0000014f: JUMPDEST 00000150: CALLVALUE 00000151: ISZERO 00000152: PUSH2 0x015a 00000155: JUMPI 00000156: PUSH1 0x00 00000158: DUP1 00000159: REVERT 0000015a: JUMPDEST 0000015b: PUSH2 0x0162 0000015e: PUSH2 0x0628 00000161: JUMP 00000162: JUMPDEST 00000163: PUSH1 0x40 00000165: MLOAD 00000166: PUSH1 0x20 00000168: DUP1 00000169: DUP3 0000016a: MSTORE 0000016b: DUP2 0000016c: SWAP1 0000016d: DUP2 0000016e: ADD 0000016f: DUP4 00000170: DUP2 00000171: DUP2 00000172: MLOAD 00000173: DUP2 00000174: MSTORE 00000175: PUSH1 0x20 00000177: ADD 00000178: SWAP2 00000179: POP 0000017a: DUP1 0000017b: MLOAD 0000017c: SWAP1 0000017d: PUSH1 0x20 0000017f: ADD 00000180: SWAP1 00000181: DUP1 00000182: DUP4 00000183: DUP4 00000184: PUSH1 0x00 00000186: JUMPDEST 00000187: DUP4 00000188: DUP2 00000189: LT 0000018a: ISZERO 0000018b: PUSH2 0x019e 0000018e: JUMPI 0000018f: DUP1 00000190: DUP3 00000191: ADD 00000192: MLOAD 00000193: DUP4 00000194: DUP3 00000195: ADD 00000196: MSTORE 00000197: PUSH1 0x20 00000199: ADD 0000019a: PUSH2 0x0186 0000019d: JUMP 0000019e: JUMPDEST 0000019f: POP 000001a0: POP 000001a1: POP 000001a2: POP 000001a3: SWAP1 000001a4: POP 000001a5: SWAP1 000001a6: DUP2 000001a7: ADD 000001a8: SWAP1 000001a9: PUSH1 0x1f 000001ab: AND 000001ac: DUP1 000001ad: ISZERO 000001ae: PUSH2 0x01cb 000001b1: JUMPI 000001b2: DUP1 000001b3: DUP3 000001b4: SUB 000001b5: DUP1 000001b6: MLOAD 000001b7: PUSH1 0x01 000001b9: DUP4 000001ba: PUSH1 0x20 000001bc: SUB 000001bd: PUSH2 0x0100 000001c0: EXP 000001c1: SUB 000001c2: NOT 000001c3: AND 000001c4: DUP2 000001c5: MSTORE 000001c6: PUSH1 0x20 000001c8: ADD 000001c9: SWAP2 000001ca: POP 000001cb: JUMPDEST 000001cc: POP 000001cd: SWAP3 000001ce: POP 000001cf: POP 000001d0: POP 000001d1: PUSH1 0x40 000001d3: MLOAD 000001d4: DUP1 000001d5: SWAP2 000001d6: SUB 000001d7: SWAP1 000001d8: RETURN 000001d9: JUMPDEST 000001da: CALLVALUE 000001db: ISZERO 000001dc: PUSH2 0x01e4 000001df: JUMPI 000001e0: PUSH1 0x00 000001e2: DUP1 000001e3: REVERT 000001e4: JUMPDEST 000001e5: PUSH2 0x013d 000001e8: PUSH1 0x04 000001ea: CALLDATALOAD 000001eb: PUSH2 0x06c6 000001ee: JUMP 000001ef: JUMPDEST 000001f0: CALLVALUE 000001f1: ISZERO 000001f2: PUSH2 0x01fa 000001f5: JUMPI 000001f6: PUSH1 0x00 000001f8: DUP1 000001f9: REVERT 000001fa: JUMPDEST 000001fb: PUSH2 0x013d 000001fe: PUSH2 0x06f9 00000201: JUMP 00000202: JUMPDEST 00000203: CALLVALUE 00000204: ISZERO 00000205: PUSH2 0x020d 00000208: JUMPI 00000209: PUSH1 0x00 0000020b: DUP1 0000020c: REVERT 0000020d: JUMPDEST 0000020e: PUSH2 0x013d 00000211: PUSH1 0x04 00000213: CALLDATALOAD 00000214: PUSH2 0x06ff 00000217: JUMP 00000218: JUMPDEST 00000219: CALLVALUE 0000021a: ISZERO 0000021b: PUSH2 0x0223 0000021e: JUMPI 0000021f: PUSH1 0x00 00000221: DUP1 00000222: REVERT 00000223: JUMPDEST 00000224: PUSH2 0x022b 00000227: PUSH2 0x073b 0000022a: JUMP 0000022b: JUMPDEST 0000022c: PUSH1 0x40 0000022e: MLOAD 0000022f: PUSH1 0xff 00000231: SWAP1 00000232: SWAP2 00000233: AND 00000234: DUP2 00000235: MSTORE 00000236: PUSH1 0x20 00000238: ADD 00000239: PUSH1 0x40 0000023b: MLOAD 0000023c: DUP1 0000023d: SWAP2 0000023e: SUB 0000023f: SWAP1 00000240: RETURN 00000241: JUMPDEST 00000242: CALLVALUE 00000243: ISZERO 00000244: PUSH2 0x024c 00000247: JUMPI 00000248: PUSH1 0x00 0000024a: DUP1 0000024b: REVERT 0000024c: JUMPDEST 0000024d: PUSH2 0x0254 00000250: PUSH2 0x0740 00000253: JUMP 00000254: JUMPDEST 00000255: STOP 00000256: JUMPDEST 00000257: CALLVALUE 00000258: ISZERO 00000259: PUSH2 0x0261 0000025c: JUMPI 0000025d: PUSH1 0x00 0000025f: DUP1 00000260: REVERT 00000261: JUMPDEST 00000262: PUSH2 0x013d 00000265: PUSH2 0x080c 00000268: JUMP 00000269: JUMPDEST 0000026a: CALLVALUE 0000026b: ISZERO 0000026c: PUSH2 0x0274 0000026f: JUMPI 00000270: PUSH1 0x00 00000272: DUP1 00000273: REVERT 00000274: JUMPDEST 00000275: PUSH2 0x013d 00000278: PUSH2 0x0863 0000027b: JUMP 0000027c: JUMPDEST 0000027d: CALLVALUE 0000027e: ISZERO 0000027f: PUSH2 0x0287 00000282: JUMPI 00000283: PUSH1 0x00 00000285: DUP1 00000286: REVERT 00000287: JUMPDEST 00000288: PUSH2 0x013d 0000028b: PUSH1 0x04 0000028d: CALLDATALOAD 0000028e: ISZERO 0000028f: ISZERO 00000290: PUSH2 0x0869 00000293: JUMP 00000294: JUMPDEST 00000295: CALLVALUE 00000296: ISZERO 00000297: PUSH2 0x029f 0000029a: JUMPI 0000029b: PUSH1 0x00 0000029d: DUP1 0000029e: REVERT 0000029f: JUMPDEST 000002a0: PUSH2 0x013d 000002a3: PUSH2 0x08ac 000002a6: JUMP 000002a7: JUMPDEST 000002a8: CALLVALUE 000002a9: ISZERO 000002aa: PUSH2 0x02b2 000002ad: JUMPI 000002ae: PUSH1 0x00 000002b0: DUP1 000002b1: REVERT 000002b2: JUMPDEST 000002b3: PUSH2 0x013d 000002b6: PUSH1 0x01 000002b8: PUSH1 0xa0 000002ba: PUSH1 0x02 000002bc: EXP 000002bd: SUB 000002be: PUSH1 0x04 000002c0: CALLDATALOAD 000002c1: AND 000002c2: PUSH2 0x08ba 000002c5: JUMP 000002c6: JUMPDEST 000002c7: CALLVALUE 000002c8: ISZERO 000002c9: PUSH2 0x02d1 000002cc: JUMPI 000002cd: PUSH1 0x00 000002cf: DUP1 000002d0: REVERT 000002d1: JUMPDEST 000002d2: PUSH2 0x013d 000002d5: PUSH2 0x08d5 000002d8: JUMP 000002d9: JUMPDEST 000002da: CALLVALUE 000002db: ISZERO 000002dc: PUSH2 0x02e4 000002df: JUMPI 000002e0: PUSH1 0x00 000002e2: DUP1 000002e3: REVERT 000002e4: JUMPDEST 000002e5: PUSH2 0x013d 000002e8: PUSH2 0x0920 000002eb: JUMP 000002ec: JUMPDEST 000002ed: CALLVALUE 000002ee: ISZERO 000002ef: PUSH2 0x02f7 000002f2: JUMPI 000002f3: PUSH1 0x00 000002f5: DUP1 000002f6: REVERT 000002f7: JUMPDEST 000002f8: PUSH2 0x0162 000002fb: PUSH2 0x0932 000002fe: JUMP 000002ff: JUMPDEST 00000300: CALLVALUE 00000301: ISZERO 00000302: PUSH2 0x030a 00000305: JUMPI 00000306: PUSH1 0x00 00000308: DUP1 00000309: REVERT 0000030a: JUMPDEST 0000030b: PUSH2 0x0321 0000030e: PUSH1 0x01 00000310: PUSH1 0xa0 00000312: PUSH1 0x02 00000314: EXP 00000315: SUB 00000316: PUSH1 0x04 00000318: CALLDATALOAD 00000319: AND 0000031a: PUSH1 0x24 0000031c: CALLDATALOAD 0000031d: PUSH2 0x099d 00000320: JUMP 00000321: JUMPDEST 00000322: PUSH1 0x40 00000324: MLOAD 00000325: SWAP1 00000326: ISZERO 00000327: ISZERO 00000328: DUP2 00000329: MSTORE 0000032a: PUSH1 0x20 0000032c: ADD 0000032d: PUSH1 0x40 0000032f: MLOAD 00000330: DUP1 00000331: SWAP2 00000332: SUB 00000333: SWAP1 00000334: RETURN 00000335: JUMPDEST 00000336: CALLVALUE 00000337: ISZERO 00000338: PUSH2 0x0340 0000033b: JUMPI 0000033c: PUSH1 0x00 0000033e: DUP1 0000033f: REVERT 00000340: JUMPDEST 00000341: PUSH2 0x0254 00000344: PUSH1 0x04 00000346: CALLDATALOAD 00000347: PUSH2 0x0b48 0000034a: JUMP 0000034b: JUMPDEST 0000034c: CALLVALUE 0000034d: ISZERO 0000034e: PUSH2 0x0356 00000351: JUMPI 00000352: PUSH1 0x00 00000354: DUP1 00000355: REVERT 00000356: JUMPDEST 00000357: PUSH2 0x0254 0000035a: PUSH2 0x0cc4 0000035d: JUMP 0000035e: JUMPDEST 0000035f: PUSH2 0x013d 00000362: PUSH1 0x01 00000364: PUSH1 0xa0 00000366: PUSH1 0x02 00000368: EXP 00000369: SUB 0000036a: PUSH1 0x04 0000036c: CALLDATALOAD 0000036d: AND 0000036e: PUSH2 0x0cfb 00000371: JUMP 00000372: JUMPDEST 00000373: CALLVALUE 00000374: ISZERO 00000375: PUSH2 0x037d 00000378: JUMPI 00000379: PUSH1 0x00 0000037b: DUP1 0000037c: REVERT 0000037d: JUMPDEST 0000037e: PUSH2 0x0254 00000381: PUSH2 0x0d07 00000384: JUMP 00000385: JUMPDEST 00000386: PUSH1 0x00 00000388: CALLER 00000389: DUP2 0000038a: DUP1 0000038b: DUP1 0000038c: DUP1 0000038d: DUP1 0000038e: DUP1 0000038f: DUP1 00000390: PUSH2 0x03a4 00000393: PUSH2 0x039d 00000396: DUP13 00000397: PUSH1 0x14 00000399: PUSH2 0x0dc2 0000039c: JUMP 0000039d: JUMPDEST 0000039e: PUSH1 0x64 000003a0: PUSH2 0x0df8 000003a3: JUMP 000003a4: JUMPDEST 000003a5: SWAP7 000003a6: POP 000003a7: PUSH2 0x03b4 000003aa: PUSH2 0x039d 000003ad: DUP9 000003ae: PUSH1 0x23 000003b0: PUSH2 0x0dc2 000003b3: JUMP 000003b4: JUMPDEST 000003b5: SWAP6 000003b6: POP 000003b7: PUSH2 0x03c0 000003ba: DUP8 000003bb: DUP8 000003bc: PUSH2 0x0e0f 000003bf: JUMP 000003c0: JUMPDEST 000003c1: SWAP5 000003c2: POP 000003c3: PUSH2 0x03cc 000003c6: DUP12 000003c7: DUP9 000003c8: PUSH2 0x0e0f 000003cb: JUMP 000003cc: JUMPDEST 000003cd: SWAP4 000003ce: POP 000003cf: PUSH2 0x03d7 000003d2: DUP5 000003d3: PUSH2 0x0e21 000003d6: JUMP 000003d7: JUMPDEST 000003d8: SWAP3 000003d9: POP 000003da: PUSH9 0x010000000000000000 000003e4: DUP6 000003e5: MUL 000003e6: SWAP2 000003e7: POP 000003e8: PUSH1 0x00 000003ea: DUP4 000003eb: GT 000003ec: DUP1 000003ed: ISZERO 000003ee: PUSH2 0x0401 000003f1: JUMPI 000003f2: POP 000003f3: PUSH1 0x06 000003f5: SLOAD 000003f6: PUSH2 0x03ff 000003f9: DUP5 000003fa: DUP3 000003fb: PUSH2 0x0eb9 000003fe: JUMP 000003ff: JUMPDEST 00000400: GT 00000401: JUMPDEST 00000402: ISZERO 00000403: ISZERO 00000404: PUSH2 0x040c 00000407: JUMPI 00000408: PUSH1 0x00 0000040a: DUP1 0000040b: REVERT 0000040c: JUMPDEST 0000040d: PUSH1 0x01 0000040f: PUSH1 0xa0 00000411: PUSH1 0x02 00000413: EXP 00000414: SUB 00000415: DUP11 00000416: AND 00000417: ISZERO 00000418: DUP1 00000419: ISZERO 0000041a: SWAP1 0000041b: PUSH2 0x0436 0000041e: JUMPI 0000041f: POP 00000420: DUP8 00000421: PUSH1 0x01 00000423: PUSH1 0xa0 00000425: PUSH1 0x02 00000427: EXP 00000428: SUB 00000429: AND 0000042a: DUP11 0000042b: PUSH1 0x01 0000042d: PUSH1 0xa0 0000042f: PUSH1 0x02 00000431: EXP 00000432: SUB 00000433: AND 00000434: EQ 00000435: ISZERO 00000436: JUMPDEST 00000437: DUP1 00000438: ISZERO 00000439: PUSH2 0x045c 0000043c: JUMPI 0000043d: POP 0000043e: PUSH1 0x02 00000440: SLOAD 00000441: PUSH1 0x01 00000443: PUSH1 0xa0 00000445: PUSH1 0x02 00000447: EXP 00000448: SUB 00000449: DUP12 0000044a: AND 0000044b: PUSH1 0x00 0000044d: SWAP1 0000044e: DUP2 0000044f: MSTORE 00000450: PUSH1 0x03 00000452: PUSH1 0x20 00000454: MSTORE 00000455: PUSH1 0x40 00000457: SWAP1 00000458: KECCAK256 00000459: SLOAD 0000045a: LT 0000045b: ISZERO 0000045c: JUMPDEST 0000045d: ISZERO 0000045e: PUSH2 0x04a2 00000461: JUMPI 00000462: PUSH1 0x01 00000464: PUSH1 0xa0 00000466: PUSH1 0x02 00000468: EXP 00000469: SUB 0000046a: DUP11 0000046b: AND 0000046c: PUSH1 0x00 0000046e: SWAP1 0000046f: DUP2 00000470: MSTORE 00000471: PUSH1 0x04 00000473: PUSH1 0x20 00000475: MSTORE 00000476: PUSH1 0x40 00000478: SWAP1 00000479: KECCAK256 0000047a: SLOAD 0000047b: PUSH2 0x0484 0000047e: SWAP1 0000047f: DUP8 00000480: PUSH2 0x0eb9 00000483: JUMP 00000484: JUMPDEST 00000485: PUSH1 0x01 00000487: PUSH1 0xa0 00000489: PUSH1 0x02 0000048b: EXP 0000048c: SUB 0000048d: DUP12 0000048e: AND 0000048f: PUSH1 0x00 00000491: SWAP1 00000492: DUP2 00000493: MSTORE 00000494: PUSH1 0x04 00000496: PUSH1 0x20 00000498: MSTORE 00000499: PUSH1 0x40 0000049b: SWAP1 0000049c: KECCAK256 0000049d: SSTORE 0000049e: PUSH2 0x04bd 000004a1: JUMP 000004a2: JUMPDEST 000004a3: PUSH2 0x04ac 000004a6: DUP6 000004a7: DUP8 000004a8: PUSH2 0x0eb9 000004ab: JUMP 000004ac: JUMPDEST 000004ad: SWAP5 000004ae: POP 000004af: PUSH9 0x010000000000000000 000004b9: DUP6 000004ba: MUL 000004bb: SWAP2 000004bc: POP 000004bd: JUMPDEST 000004be: PUSH1 0x00 000004c0: PUSH1 0x06 000004c2: SLOAD 000004c3: GT 000004c4: ISZERO 000004c5: PUSH2 0x0521 000004c8: JUMPI 000004c9: PUSH2 0x04d4 000004cc: PUSH1 0x06 000004ce: SLOAD 000004cf: DUP5 000004d0: PUSH2 0x0eb9 000004d3: JUMP 000004d4: JUMPDEST 000004d5: PUSH1 0x06 000004d7: DUP2 000004d8: SWAP1 000004d9: SSTORE 000004da: PUSH9 0x010000000000000000 000004e4: DUP7 000004e5: MUL 000004e6: DUP2 000004e7: ISZERO 000004e8: ISZERO 000004e9: PUSH2 0x04ee 000004ec: JUMPI 000004ed: INVALID 000004ee: JUMPDEST 000004ef: PUSH1 0x07 000004f1: DUP1 000004f2: SLOAD 000004f3: SWAP3 000004f4: SWAP1 000004f5: SWAP2 000004f6: DIV 000004f7: SWAP1 000004f8: SWAP2 000004f9: ADD 000004fa: SWAP1 000004fb: SSTORE 000004fc: PUSH1 0x06 000004fe: SLOAD 000004ff: PUSH9 0x010000000000000000 00000509: DUP7 0000050a: MUL 0000050b: DUP2 0000050c: ISZERO 0000050d: ISZERO 0000050e: PUSH2 0x0513 00000511: JUMPI 00000512: INVALID 00000513: JUMPDEST 00000514: DIV 00000515: DUP4 00000516: MUL 00000517: DUP3 00000518: SUB 00000519: DUP3 0000051a: SUB 0000051b: SWAP2 0000051c: POP 0000051d: PUSH2 0x0527 00000520: JUMP 00000521: JUMPDEST 00000522: PUSH1 0x06 00000524: DUP4 00000525: SWAP1 00000526: SSTORE 00000527: JUMPDEST 00000528: PUSH1 0x01 0000052a: PUSH1 0xa0 0000052c: PUSH1 0x02 0000052e: EXP 0000052f: SUB 00000530: DUP9 00000531: AND 00000532: PUSH1 0x00 00000534: SWAP1 00000535: DUP2 00000536: MSTORE 00000537: PUSH1 0x03 00000539: PUSH1 0x20 0000053b: MSTORE 0000053c: PUSH1 0x40 0000053e: SWAP1 0000053f: KECCAK256 00000540: SLOAD 00000541: PUSH2 0x054a 00000544: SWAP1 00000545: DUP5 00000546: PUSH2 0x0eb9 00000549: JUMP 0000054a: JUMPDEST 0000054b: PUSH1 0x01 0000054d: PUSH1 0xa0 0000054f: PUSH1 0x02 00000551: EXP 00000552: SUB 00000553: DUP1 00000554: DUP11 00000555: AND 00000556: PUSH1 0x00 00000558: DUP2 00000559: DUP2 0000055a: MSTORE 0000055b: PUSH1 0x03 0000055d: PUSH1 0x20 0000055f: SWAP1 00000560: DUP2 00000561: MSTORE 00000562: PUSH1 0x40 00000564: DUP1 00000565: DUP4 00000566: KECCAK256 00000567: SWAP6 00000568: SWAP1 00000569: SWAP6 0000056a: SSTORE 0000056b: PUSH1 0x07 0000056d: SLOAD 0000056e: PUSH1 0x05 00000570: SWAP1 00000571: SWAP2 00000572: MSTORE 00000573: SWAP4 00000574: SWAP1 00000575: KECCAK256 00000576: DUP1 00000577: SLOAD 00000578: SWAP4 00000579: DUP8 0000057a: MUL 0000057b: DUP7 0000057c: SWAP1 0000057d: SUB 0000057e: SWAP4 0000057f: DUP5 00000580: ADD 00000581: SWAP1 00000582: SSTORE 00000583: SWAP2 00000584: SWAP3 00000585: POP 00000586: DUP12 00000587: AND 00000588: SWAP1 00000589: PUSH32 0x8032875b28d82ddbd303a9e4e5529d047a14ecb6290f80012a81b7e6227ff1ab 000005aa: DUP14 000005ab: DUP7 000005ac: TIMESTAMP 000005ad: PUSH2 0x05b4 000005b0: PUSH2 0x08d5 000005b3: JUMP 000005b4: JUMPDEST 000005b5: PUSH1 0x40 000005b7: MLOAD 000005b8: DUP1 000005b9: DUP6 000005ba: DUP2 000005bb: MSTORE 000005bc: PUSH1 0x20 000005be: ADD 000005bf: DUP5 000005c0: DUP2 000005c1: MSTORE 000005c2: PUSH1 0x20 000005c4: ADD 000005c5: DUP4 000005c6: DUP2 000005c7: MSTORE 000005c8: PUSH1 0x20 000005ca: ADD 000005cb: DUP3 000005cc: DUP2 000005cd: MSTORE 000005ce: PUSH1 0x20 000005d0: ADD 000005d1: SWAP5 000005d2: POP 000005d3: POP 000005d4: POP 000005d5: POP 000005d6: POP 000005d7: PUSH1 0x40 000005d9: MLOAD 000005da: DUP1 000005db: SWAP2 000005dc: SUB 000005dd: SWAP1 000005de: LOG3 000005df: POP 000005e0: SWAP1 000005e1: SWAP10 000005e2: SWAP9 000005e3: POP 000005e4: POP 000005e5: POP 000005e6: POP 000005e7: POP 000005e8: POP 000005e9: POP 000005ea: POP 000005eb: POP 000005ec: JUMP 000005ed: JUMPDEST 000005ee: PUSH1 0x01 000005f0: PUSH1 0xa0 000005f2: PUSH1 0x02 000005f4: EXP 000005f5: SUB 000005f6: AND 000005f7: PUSH1 0x00 000005f9: SWAP1 000005fa: DUP2 000005fb: MSTORE 000005fc: PUSH1 0x05 000005fe: PUSH1 0x20 00000600: SWAP1 00000601: DUP2 00000602: MSTORE 00000603: PUSH1 0x40 00000605: DUP1 00000606: DUP4 00000607: KECCAK256 00000608: SLOAD 00000609: PUSH1 0x03 0000060b: SWAP1 0000060c: SWAP3 0000060d: MSTORE 0000060e: SWAP1 0000060f: SWAP2 00000610: KECCAK256 00000611: SLOAD 00000612: PUSH1 0x07 00000614: SLOAD 00000615: PUSH9 0x010000000000000000 0000061f: SWAP2 00000620: MUL 00000621: SWAP2 00000622: SWAP1 00000623: SWAP2 00000624: SUB 00000625: DIV 00000626: SWAP1 00000627: JUMP 00000628: JUMPDEST 00000629: PUSH1 0x00 0000062b: DUP1 0000062c: SLOAD 0000062d: PUSH1 0x01 0000062f: DUP2 00000630: PUSH1 0x01 00000632: AND 00000633: ISZERO 00000634: PUSH2 0x0100 00000637: MUL 00000638: SUB 00000639: AND 0000063a: PUSH1 0x02 0000063c: SWAP1 0000063d: DIV 0000063e: DUP1 0000063f: PUSH1 0x1f 00000641: ADD 00000642: PUSH1 0x20 00000644: DUP1 00000645: SWAP2 00000646: DIV 00000647: MUL 00000648: PUSH1 0x20 0000064a: ADD 0000064b: PUSH1 0x40 0000064d: MLOAD 0000064e: SWAP1 0000064f: DUP2 00000650: ADD 00000651: PUSH1 0x40 00000653: MSTORE 00000654: DUP1 00000655: SWAP3 00000656: SWAP2 00000657: SWAP1 00000658: DUP2 00000659: DUP2 0000065a: MSTORE 0000065b: PUSH1 0x20 0000065d: ADD 0000065e: DUP3 0000065f: DUP1 00000660: SLOAD 00000661: PUSH1 0x01 00000663: DUP2 00000664: PUSH1 0x01 00000666: AND 00000667: ISZERO 00000668: PUSH2 0x0100 0000066b: MUL 0000066c: SUB 0000066d: AND 0000066e: PUSH1 0x02 00000670: SWAP1 00000671: DIV 00000672: DUP1 00000673: ISZERO 00000674: PUSH2 0x06be 00000677: JUMPI 00000678: DUP1 00000679: PUSH1 0x1f 0000067b: LT 0000067c: PUSH2 0x0693 0000067f: JUMPI 00000680: PUSH2 0x0100 00000683: DUP1 00000684: DUP4 00000685: SLOAD 00000686: DIV 00000687: MUL 00000688: DUP4 00000689: MSTORE 0000068a: SWAP2 0000068b: PUSH1 0x20 0000068d: ADD 0000068e: SWAP2 0000068f: PUSH2 0x06be 00000692: JUMP 00000693: JUMPDEST 00000694: DUP3 00000695: ADD 00000696: SWAP2 00000697: SWAP1 00000698: PUSH1 0x00 0000069a: MSTORE 0000069b: PUSH1 0x20 0000069d: PUSH1 0x00 0000069f: KECCAK256 000006a0: SWAP1 000006a1: JUMPDEST 000006a2: DUP2 000006a3: SLOAD 000006a4: DUP2 000006a5: MSTORE 000006a6: SWAP1 000006a7: PUSH1 0x01 000006a9: ADD 000006aa: SWAP1 000006ab: PUSH1 0x20 000006ad: ADD 000006ae: DUP1 000006af: DUP4 000006b0: GT 000006b1: PUSH2 0x06a1 000006b4: JUMPI 000006b5: DUP3 000006b6: SWAP1 000006b7: SUB 000006b8: PUSH1 0x1f 000006ba: AND 000006bb: DUP3 000006bc: ADD 000006bd: SWAP2 000006be: JUMPDEST 000006bf: POP 000006c0: POP 000006c1: POP 000006c2: POP 000006c3: POP 000006c4: DUP2 000006c5: JUMP 000006c6: JUMPDEST 000006c7: PUSH1 0x00 000006c9: DUP1 000006ca: DUP1 000006cb: DUP1 000006cc: PUSH2 0x06d9 000006cf: PUSH2 0x039d 000006d2: DUP7 000006d3: PUSH1 0x14 000006d5: PUSH2 0x0dc2 000006d8: JUMP 000006d9: JUMPDEST 000006da: SWAP3 000006db: POP 000006dc: PUSH2 0x06e5 000006df: DUP6 000006e0: DUP5 000006e1: PUSH2 0x0e0f 000006e4: JUMP 000006e5: JUMPDEST 000006e6: SWAP2 000006e7: POP 000006e8: PUSH2 0x06f0 000006eb: DUP3 000006ec: PUSH2 0x0e21 000006ef: JUMP 000006f0: JUMPDEST 000006f1: SWAP6 000006f2: SWAP5 000006f3: POP 000006f4: POP 000006f5: POP 000006f6: POP 000006f7: POP 000006f8: JUMP 000006f9: JUMPDEST 000006fa: PUSH1 0x06 000006fc: SLOAD 000006fd: SWAP1 000006fe: JUMP 000006ff: JUMPDEST 00000700: PUSH1 0x00 00000702: DUP1 00000703: PUSH1 0x00 00000705: DUP1 00000706: PUSH1 0x06 00000708: SLOAD 00000709: DUP6 0000070a: GT 0000070b: ISZERO 0000070c: ISZERO 0000070d: ISZERO 0000070e: PUSH2 0x0716 00000711: JUMPI 00000712: PUSH1 0x00 00000714: DUP1 00000715: REVERT 00000716: JUMPDEST 00000717: PUSH2 0x071f 0000071a: DUP6 0000071b: PUSH2 0x0ec8 0000071e: JUMP 0000071f: JUMPDEST 00000720: SWAP3 00000721: POP 00000722: PUSH2 0x072f 00000725: PUSH2 0x039d 00000728: DUP5 00000729: PUSH1 0x19 0000072b: PUSH2 0x0dc2 0000072e: JUMP 0000072f: JUMPDEST 00000730: SWAP2 00000731: POP 00000732: PUSH2 0x06f0 00000735: DUP4 00000736: DUP4 00000737: PUSH2 0x0e0f 0000073a: JUMP 0000073b: JUMPDEST 0000073c: PUSH1 0x12 0000073e: DUP2 0000073f: JUMP 00000740: JUMPDEST 00000741: PUSH1 0x00 00000743: DUP1 00000744: PUSH1 0x00 00000746: PUSH2 0x074f 00000749: PUSH1 0x01 0000074b: PUSH2 0x0869 0000074e: JUMP 0000074f: JUMPDEST 00000750: GT 00000751: PUSH2 0x0759 00000754: JUMPI 00000755: PUSH1 0x00 00000757: DUP1 00000758: REVERT 00000759: JUMPDEST 0000075a: CALLER 0000075b: SWAP2 0000075c: POP 0000075d: PUSH2 0x0766 00000760: PUSH1 0x00 00000762: PUSH2 0x0869 00000765: JUMP 00000766: JUMPDEST 00000767: PUSH1 0x01 00000769: PUSH1 0xa0 0000076b: PUSH1 0x02 0000076d: EXP 0000076e: SUB 0000076f: DUP4 00000770: AND 00000771: PUSH1 0x00 00000773: DUP2 00000774: DUP2 00000775: MSTORE 00000776: PUSH1 0x05 00000778: PUSH1 0x20 0000077a: SWAP1 0000077b: DUP2 0000077c: MSTORE 0000077d: PUSH1 0x40 0000077f: DUP1 00000780: DUP4 00000781: KECCAK256 00000782: DUP1 00000783: SLOAD 00000784: PUSH9 0x010000000000000000 0000078e: DUP8 0000078f: MUL 00000790: ADD 00000791: SWAP1 00000792: SSTORE 00000793: PUSH1 0x04 00000795: SWAP1 00000796: SWAP2 00000797: MSTORE 00000798: DUP1 00000799: DUP3 0000079a: KECCAK256 0000079b: DUP1 0000079c: SLOAD 0000079d: SWAP3 0000079e: SWAP1 0000079f: SSTORE 000007a0: SWAP3 000007a1: ADD 000007a2: SWAP3 000007a3: POP 000007a4: SWAP1 000007a5: DUP3 000007a6: ISZERO 000007a7: PUSH2 0x08fc 000007aa: MUL 000007ab: SWAP1 000007ac: DUP4 000007ad: SWAP1 000007ae: MLOAD 000007af: PUSH1 0x00 000007b1: PUSH1 0x40 000007b3: MLOAD 000007b4: DUP1 000007b5: DUP4 000007b6: SUB 000007b7: DUP2 000007b8: DUP6 000007b9: DUP9 000007ba: DUP9 000007bb: CALL 000007bc: SWAP4 000007bd: POP 000007be: POP 000007bf: POP 000007c0: POP 000007c1: ISZERO 000007c2: ISZERO 000007c3: PUSH2 0x07cb 000007c6: JUMPI 000007c7: PUSH1 0x00 000007c9: DUP1 000007ca: REVERT 000007cb: JUMPDEST 000007cc: DUP2 000007cd: PUSH1 0x01 000007cf: PUSH1 0xa0 000007d1: PUSH1 0x02 000007d3: EXP 000007d4: SUB 000007d5: AND 000007d6: PUSH32 0xccad973dcd043c7d680389db4378bd6b9775db7124092e9e0422c9e46d7985dc 000007f7: DUP3 000007f8: PUSH1 0x40 000007fa: MLOAD 000007fb: SWAP1 000007fc: DUP2 000007fd: MSTORE 000007fe: PUSH1 0x20 00000800: ADD 00000801: PUSH1 0x40 00000803: MLOAD 00000804: DUP1 00000805: SWAP2 00000806: SUB 00000807: SWAP1 00000808: LOG2 00000809: POP 0000080a: POP 0000080b: JUMP 0000080c: JUMPDEST 0000080d: PUSH1 0x00 0000080f: DUP1 00000810: PUSH1 0x00 00000812: DUP1 00000813: PUSH1 0x06 00000815: SLOAD 00000816: PUSH1 0x00 00000818: EQ 00000819: ISZERO 0000081a: PUSH2 0x082a 0000081d: JUMPI 0000081e: PUSH5 0x14f46b0400 00000824: SWAP4 00000825: POP 00000826: PUSH2 0x085d 00000829: JUMP 0000082a: JUMPDEST 0000082b: PUSH2 0x083b 0000082e: PUSH8 0x0de0b6b3a7640000 00000837: PUSH2 0x0ec8 0000083a: JUMP 0000083b: JUMPDEST 0000083c: SWAP3 0000083d: POP 0000083e: PUSH2 0x084b 00000841: PUSH2 0x039d 00000844: DUP5 00000845: PUSH1 0x19 00000847: PUSH2 0x0dc2 0000084a: JUMP 0000084b: JUMPDEST 0000084c: SWAP2 0000084d: POP 0000084e: PUSH2 0x0857 00000851: DUP4 00000852: DUP4 00000853: PUSH2 0x0e0f 00000856: JUMP 00000857: JUMPDEST 00000858: SWAP1 00000859: POP 0000085a: DUP1 0000085b: SWAP4 0000085c: POP 0000085d: JUMPDEST 0000085e: POP 0000085f: POP 00000860: POP 00000861: SWAP1 00000862: JUMP 00000863: JUMPDEST 00000864: PUSH1 0x02 00000866: SLOAD 00000867: DUP2 00000868: JUMP 00000869: JUMPDEST 0000086a: PUSH1 0x00 0000086c: CALLER 0000086d: DUP3 0000086e: PUSH2 0x087f 00000871: JUMPI 00000872: PUSH2 0x087a 00000875: DUP2 00000876: PUSH2 0x05ed 00000879: JUMP 0000087a: JUMPDEST 0000087b: PUSH2 0x08a3 0000087e: JUMP 0000087f: JUMPDEST 00000880: PUSH1 0x01 00000882: PUSH1 0xa0 00000884: PUSH1 0x02 00000886: EXP 00000887: SUB 00000888: DUP2 00000889: AND 0000088a: PUSH1 0x00 0000088c: SWAP1 0000088d: DUP2 0000088e: MSTORE 0000088f: PUSH1 0x04 00000891: PUSH1 0x20 00000893: MSTORE 00000894: PUSH1 0x40 00000896: SWAP1 00000897: KECCAK256 00000898: SLOAD 00000899: PUSH2 0x08a1 0000089c: DUP3 0000089d: PUSH2 0x05ed 000008a0: JUMP 000008a1: JUMPDEST 000008a2: ADD 000008a3: JUMPDEST 000008a4: SWAP2 000008a5: POP 000008a6: JUMPDEST 000008a7: POP 000008a8: SWAP2 000008a9: SWAP1 000008aa: POP 000008ab: JUMP 000008ac: JUMPDEST 000008ad: PUSH1 0x01 000008af: PUSH1 0xa0 000008b1: PUSH1 0x02 000008b3: EXP 000008b4: SUB 000008b5: ADDRESS 000008b6: AND 000008b7: BALANCE 000008b8: SWAP1 000008b9: JUMP 000008ba: JUMPDEST 000008bb: PUSH1 0x01 000008bd: PUSH1 0xa0 000008bf: PUSH1 0x02 000008c1: EXP 000008c2: SUB 000008c3: AND 000008c4: PUSH1 0x00 000008c6: SWAP1 000008c7: DUP2 000008c8: MSTORE 000008c9: PUSH1 0x03 000008cb: PUSH1 0x20 000008cd: MSTORE 000008ce: PUSH1 0x40 000008d0: SWAP1 000008d1: KECCAK256 000008d2: SLOAD 000008d3: SWAP1 000008d4: JUMP 000008d5: JUMPDEST 000008d6: PUSH1 0x00 000008d8: DUP1 000008d9: PUSH1 0x00 000008db: DUP1 000008dc: PUSH1 0x06 000008de: SLOAD 000008df: PUSH1 0x00 000008e1: EQ 000008e2: ISZERO 000008e3: PUSH2 0x08f3 000008e6: JUMPI 000008e7: PUSH5 0x199c82cc00 000008ed: SWAP4 000008ee: POP 000008ef: PUSH2 0x085d 000008f2: JUMP 000008f3: JUMPDEST 000008f4: PUSH2 0x0904 000008f7: PUSH8 0x0de0b6b3a7640000 00000900: PUSH2 0x0ec8 00000903: JUMP 00000904: JUMPDEST 00000905: SWAP3 00000906: POP 00000907: PUSH2 0x0914 0000090a: PUSH2 0x039d 0000090d: DUP5 0000090e: PUSH1 0x14 00000910: PUSH2 0x0dc2 00000913: JUMP 00000914: JUMPDEST 00000915: SWAP2 00000916: POP 00000917: PUSH2 0x0857 0000091a: DUP4 0000091b: DUP4 0000091c: PUSH2 0x0eb9 0000091f: JUMP 00000920: JUMPDEST 00000921: PUSH1 0x00 00000923: CALLER 00000924: PUSH2 0x092c 00000927: DUP2 00000928: PUSH2 0x08ba 0000092b: JUMP 0000092c: JUMPDEST 0000092d: SWAP2 0000092e: POP 0000092f: POP 00000930: SWAP1 00000931: JUMP 00000932: JUMPDEST 00000933: PUSH1 0x01 00000935: DUP1 00000936: SLOAD 00000937: PUSH1 0x01 00000939: DUP2 0000093a: PUSH1 0x01 0000093c: AND 0000093d: ISZERO 0000093e: PUSH2 0x0100 00000941: MUL 00000942: SUB 00000943: AND 00000944: PUSH1 0x02 00000946: SWAP1 00000947: DIV 00000948: DUP1 00000949: PUSH1 0x1f 0000094b: ADD 0000094c: PUSH1 0x20 0000094e: DUP1 0000094f: SWAP2 00000950: DIV 00000951: MUL 00000952: PUSH1 0x20 00000954: ADD 00000955: PUSH1 0x40 00000957: MLOAD 00000958: SWAP1 00000959: DUP2 0000095a: ADD 0000095b: PUSH1 0x40 0000095d: MSTORE 0000095e: DUP1 0000095f: SWAP3 00000960: SWAP2 00000961: SWAP1 00000962: DUP2 00000963: DUP2 00000964: MSTORE 00000965: PUSH1 0x20 00000967: ADD 00000968: DUP3 00000969: DUP1 0000096a: SLOAD 0000096b: PUSH1 0x01 0000096d: DUP2 0000096e: PUSH1 0x01 00000970: AND 00000971: ISZERO 00000972: PUSH2 0x0100 00000975: MUL 00000976: SUB 00000977: AND 00000978: PUSH1 0x02 0000097a: SWAP1 0000097b: DIV 0000097c: DUP1 0000097d: ISZERO 0000097e: PUSH2 0x06be 00000981: JUMPI 00000982: DUP1 00000983: PUSH1 0x1f 00000985: LT 00000986: PUSH2 0x0693 00000989: JUMPI 0000098a: PUSH2 0x0100 0000098d: DUP1 0000098e: DUP4 0000098f: SLOAD 00000990: DIV 00000991: MUL 00000992: DUP4 00000993: MSTORE 00000994: SWAP2 00000995: PUSH1 0x20 00000997: ADD 00000998: SWAP2 00000999: PUSH2 0x06be 0000099c: JUMP 0000099d: JUMPDEST 0000099e: PUSH1 0x00 000009a0: DUP1 000009a1: PUSH1 0x00 000009a3: DUP1 000009a4: PUSH1 0x00 000009a6: DUP1 000009a7: PUSH2 0x09ae 000009aa: PUSH2 0x0920 000009ad: JUMP 000009ae: JUMPDEST 000009af: GT 000009b0: PUSH2 0x09b8 000009b3: JUMPI 000009b4: PUSH1 0x00 000009b6: DUP1 000009b7: REVERT 000009b8: JUMPDEST 000009b9: CALLER 000009ba: PUSH1 0x01 000009bc: PUSH1 0xa0 000009be: PUSH1 0x02 000009c0: EXP 000009c1: SUB 000009c2: DUP2 000009c3: AND 000009c4: PUSH1 0x00 000009c6: SWAP1 000009c7: DUP2 000009c8: MSTORE 000009c9: PUSH1 0x03 000009cb: PUSH1 0x20 000009cd: MSTORE 000009ce: PUSH1 0x40 000009d0: SWAP1 000009d1: KECCAK256 000009d2: SLOAD 000009d3: SWAP1 000009d4: SWAP5 000009d5: POP 000009d6: DUP7 000009d7: GT 000009d8: ISZERO 000009d9: PUSH2 0x09e1 000009dc: JUMPI 000009dd: PUSH1 0x00 000009df: DUP1 000009e0: REVERT 000009e1: JUMPDEST 000009e2: PUSH1 0x00 000009e4: PUSH2 0x09ed 000009e7: PUSH1 0x01 000009e9: PUSH2 0x0869 000009ec: JUMP 000009ed: JUMPDEST 000009ee: GT 000009ef: ISZERO 000009f0: PUSH2 0x09fb 000009f3: JUMPI 000009f4: PUSH2 0x09fb 000009f7: PUSH2 0x0740 000009fa: JUMP 000009fb: JUMPDEST 000009fc: PUSH2 0x0a09 000009ff: PUSH2 0x039d 00000a02: DUP8 00000a03: PUSH1 0x0a 00000a05: PUSH2 0x0dc2 00000a08: JUMP 00000a09: JUMPDEST 00000a0a: SWAP3 00000a0b: POP 00000a0c: PUSH2 0x0a15 00000a0f: DUP7 00000a10: DUP5 00000a11: PUSH2 0x0e0f 00000a14: JUMP 00000a15: JUMPDEST 00000a16: SWAP2 00000a17: POP 00000a18: PUSH2 0x0a20 00000a1b: DUP4 00000a1c: PUSH2 0x0ec8 00000a1f: JUMP 00000a20: JUMPDEST 00000a21: SWAP1 00000a22: POP 00000a23: PUSH2 0x0a2e 00000a26: PUSH1 0x06 00000a28: SLOAD 00000a29: DUP5 00000a2a: PUSH2 0x0e0f 00000a2d: JUMP 00000a2e: JUMPDEST 00000a2f: PUSH1 0x06 00000a31: SSTORE 00000a32: PUSH1 0x01 00000a34: PUSH1 0xa0 00000a36: PUSH1 0x02 00000a38: EXP 00000a39: SUB 00000a3a: DUP5 00000a3b: AND 00000a3c: PUSH1 0x00 00000a3e: SWAP1 00000a3f: DUP2 00000a40: MSTORE 00000a41: PUSH1 0x03 00000a43: PUSH1 0x20 00000a45: MSTORE 00000a46: PUSH1 0x40 00000a48: SWAP1 00000a49: KECCAK256 00000a4a: SLOAD 00000a4b: PUSH2 0x0a54 00000a4e: SWAP1 00000a4f: DUP8 00000a50: PUSH2 0x0e0f 00000a53: JUMP 00000a54: JUMPDEST 00000a55: PUSH1 0x01 00000a57: PUSH1 0xa0 00000a59: PUSH1 0x02 00000a5b: EXP 00000a5c: SUB 00000a5d: DUP1 00000a5e: DUP7 00000a5f: AND 00000a60: PUSH1 0x00 00000a62: SWAP1 00000a63: DUP2 00000a64: MSTORE 00000a65: PUSH1 0x03 00000a67: PUSH1 0x20 00000a69: MSTORE 00000a6a: PUSH1 0x40 00000a6c: DUP1 00000a6d: DUP3 00000a6e: KECCAK256 00000a6f: SWAP4 00000a70: SWAP1 00000a71: SWAP4 00000a72: SSTORE 00000a73: SWAP1 00000a74: DUP10 00000a75: AND 00000a76: DUP2 00000a77: MSTORE 00000a78: KECCAK256 00000a79: SLOAD 00000a7a: PUSH2 0x0a83 00000a7d: SWAP1 00000a7e: DUP4 00000a7f: PUSH2 0x0eb9 00000a82: JUMP 00000a83: JUMPDEST 00000a84: PUSH1 0x01 00000a86: PUSH1 0xa0 00000a88: PUSH1 0x02 00000a8a: EXP 00000a8b: SUB 00000a8c: DUP9 00000a8d: DUP2 00000a8e: AND 00000a8f: PUSH1 0x00 00000a91: DUP2 00000a92: DUP2 00000a93: MSTORE 00000a94: PUSH1 0x03 00000a96: PUSH1 0x20 00000a98: SWAP1 00000a99: DUP2 00000a9a: MSTORE 00000a9b: PUSH1 0x40 00000a9d: DUP1 00000a9e: DUP4 00000a9f: KECCAK256 00000aa0: SWAP6 00000aa1: SWAP1 00000aa2: SWAP6 00000aa3: SSTORE 00000aa4: PUSH1 0x07 00000aa6: DUP1 00000aa7: SLOAD 00000aa8: SWAP5 00000aa9: DUP11 00000aaa: AND 00000aab: DUP4 00000aac: MSTORE 00000aad: PUSH1 0x05 00000aaf: SWAP1 00000ab0: SWAP2 00000ab1: MSTORE 00000ab2: DUP5 00000ab3: DUP3 00000ab4: KECCAK256 00000ab5: DUP1 00000ab6: SLOAD 00000ab7: SWAP5 00000ab8: DUP13 00000ab9: MUL 00000aba: SWAP1 00000abb: SWAP5 00000abc: SUB 00000abd: SWAP1 00000abe: SWAP4 00000abf: SSTORE 00000ac0: DUP3 00000ac1: SLOAD 00000ac2: SWAP2 00000ac3: DUP2 00000ac4: MSTORE 00000ac5: SWAP3 00000ac6: SWAP1 00000ac7: SWAP3 00000ac8: KECCAK256 00000ac9: DUP1 00000aca: SLOAD 00000acb: SWAP3 00000acc: DUP6 00000acd: MUL 00000ace: SWAP1 00000acf: SWAP3 00000ad0: ADD 00000ad1: SWAP1 00000ad2: SWAP2 00000ad3: SSTORE 00000ad4: SLOAD 00000ad5: PUSH1 0x06 00000ad7: SLOAD 00000ad8: PUSH2 0x0af7 00000adb: SWAP2 00000adc: SWAP1 00000add: PUSH9 0x010000000000000000 00000ae7: DUP5 00000ae8: MUL 00000ae9: DUP2 00000aea: ISZERO 00000aeb: ISZERO 00000aec: PUSH2 0x0af1 00000aef: JUMPI 00000af0: INVALID 00000af1: JUMPDEST 00000af2: DIV 00000af3: PUSH2 0x0eb9 00000af6: JUMP 00000af7: JUMPDEST 00000af8: PUSH1 0x07 00000afa: SSTORE 00000afb: PUSH1 0x01 00000afd: PUSH1 0xa0 00000aff: PUSH1 0x02 00000b01: EXP 00000b02: SUB 00000b03: DUP1 00000b04: DUP9 00000b05: AND 00000b06: SWAP1 00000b07: DUP6 00000b08: AND 00000b09: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00000b2a: DUP5 00000b2b: PUSH1 0x40 00000b2d: MLOAD 00000b2e: SWAP1 00000b2f: DUP2 00000b30: MSTORE 00000b31: PUSH1 0x20 00000b33: ADD 00000b34: PUSH1 0x40 00000b36: MLOAD 00000b37: DUP1 00000b38: SWAP2 00000b39: SUB 00000b3a: SWAP1 00000b3b: LOG3 00000b3c: POP 00000b3d: PUSH1 0x01 00000b3f: SWAP7 00000b40: SWAP6 00000b41: POP 00000b42: POP 00000b43: POP 00000b44: POP 00000b45: POP 00000b46: POP 00000b47: JUMP 00000b48: JUMPDEST 00000b49: PUSH1 0x00 00000b4b: DUP1 00000b4c: PUSH1 0x00 00000b4e: DUP1 00000b4f: PUSH1 0x00 00000b51: DUP1 00000b52: PUSH1 0x00 00000b54: PUSH2 0x0b5b 00000b57: PUSH2 0x0920 00000b5a: JUMP 00000b5b: JUMPDEST 00000b5c: GT 00000b5d: PUSH2 0x0b65 00000b60: JUMPI 00000b61: PUSH1 0x00 00000b63: DUP1 00000b64: REVERT 00000b65: JUMPDEST 00000b66: CALLER 00000b67: PUSH1 0x01 00000b69: PUSH1 0xa0 00000b6b: PUSH1 0x02 00000b6d: EXP 00000b6e: SUB 00000b6f: DUP2 00000b70: AND 00000b71: PUSH1 0x00 00000b73: SWAP1 00000b74: DUP2 00000b75: MSTORE 00000b76: PUSH1 0x03 00000b78: PUSH1 0x20 00000b7a: MSTORE 00000b7b: PUSH1 0x40 00000b7d: SWAP1 00000b7e: KECCAK256 00000b7f: SLOAD 00000b80: SWAP1 00000b81: SWAP7 00000b82: POP 00000b83: DUP8 00000b84: GT 00000b85: ISZERO 00000b86: PUSH2 0x0b8e 00000b89: JUMPI 00000b8a: PUSH1 0x00 00000b8c: DUP1 00000b8d: REVERT 00000b8e: JUMPDEST 00000b8f: DUP7 00000b90: SWAP5 00000b91: POP 00000b92: PUSH2 0x0b9a 00000b95: DUP6 00000b96: PUSH2 0x0ec8 00000b99: JUMP 00000b9a: JUMPDEST 00000b9b: SWAP4 00000b9c: POP 00000b9d: PUSH2 0x0baa 00000ba0: PUSH2 0x039d 00000ba3: DUP6 00000ba4: PUSH1 0x19 00000ba6: PUSH2 0x0dc2 00000ba9: JUMP 00000baa: JUMPDEST 00000bab: SWAP3 00000bac: POP 00000bad: PUSH2 0x0bb6 00000bb0: DUP5 00000bb1: DUP5 00000bb2: PUSH2 0x0e0f 00000bb5: JUMP 00000bb6: JUMPDEST 00000bb7: SWAP2 00000bb8: POP 00000bb9: PUSH2 0x0bc4 00000bbc: PUSH1 0x06 00000bbe: SLOAD 00000bbf: DUP7 00000bc0: PUSH2 0x0e0f 00000bc3: JUMP 00000bc4: JUMPDEST 00000bc5: PUSH1 0x06 00000bc7: SSTORE 00000bc8: PUSH1 0x01 00000bca: PUSH1 0xa0 00000bcc: PUSH1 0x02 00000bce: EXP 00000bcf: SUB 00000bd0: DUP7 00000bd1: AND 00000bd2: PUSH1 0x00 00000bd4: SWAP1 00000bd5: DUP2 00000bd6: MSTORE 00000bd7: PUSH1 0x03 00000bd9: PUSH1 0x20 00000bdb: MSTORE 00000bdc: PUSH1 0x40 00000bde: SWAP1 00000bdf: KECCAK256 00000be0: SLOAD 00000be1: PUSH2 0x0bea 00000be4: SWAP1 00000be5: DUP7 00000be6: PUSH2 0x0e0f 00000be9: JUMP 00000bea: JUMPDEST 00000beb: PUSH1 0x01 00000bed: PUSH1 0xa0 00000bef: PUSH1 0x02 00000bf1: EXP 00000bf2: SUB 00000bf3: DUP8 00000bf4: AND 00000bf5: PUSH1 0x00 00000bf7: SWAP1 00000bf8: DUP2 00000bf9: MSTORE 00000bfa: PUSH1 0x03 00000bfc: PUSH1 0x20 00000bfe: SWAP1 00000bff: DUP2 00000c00: MSTORE 00000c01: PUSH1 0x40 00000c03: DUP1 00000c04: DUP4 00000c05: KECCAK256 00000c06: SWAP4 00000c07: SWAP1 00000c08: SWAP4 00000c09: SSTORE 00000c0a: PUSH1 0x07 00000c0c: SLOAD 00000c0d: PUSH1 0x05 00000c0f: SWAP1 00000c10: SWAP2 00000c11: MSTORE 00000c12: SWAP2 00000c13: DUP2 00000c14: KECCAK256 00000c15: DUP1 00000c16: SLOAD 00000c17: SWAP3 00000c18: DUP9 00000c19: MUL 00000c1a: PUSH9 0x010000000000000000 00000c24: DUP7 00000c25: MUL 00000c26: ADD 00000c27: SWAP3 00000c28: DUP4 00000c29: SWAP1 00000c2a: SUB 00000c2b: SWAP1 00000c2c: SSTORE 00000c2d: PUSH1 0x06 00000c2f: SLOAD 00000c30: SWAP2 00000c31: SWAP3 00000c32: POP 00000c33: SWAP1 00000c34: GT 00000c35: ISZERO 00000c36: PUSH2 0x0c5b 00000c39: JUMPI 00000c3a: PUSH2 0x0c57 00000c3d: PUSH1 0x07 00000c3f: SLOAD 00000c40: PUSH1 0x06 00000c42: SLOAD 00000c43: PUSH9 0x010000000000000000 00000c4d: DUP7 00000c4e: MUL 00000c4f: DUP2 00000c50: ISZERO 00000c51: ISZERO 00000c52: PUSH2 0x0af1 00000c55: JUMPI 00000c56: INVALID 00000c57: JUMPDEST 00000c58: PUSH1 0x07 00000c5a: SSTORE 00000c5b: JUMPDEST 00000c5c: DUP6 00000c5d: PUSH1 0x01 00000c5f: PUSH1 0xa0 00000c61: PUSH1 0x02 00000c63: EXP 00000c64: SUB 00000c65: AND 00000c66: PUSH32 0x8d3a0130073dbd54ab6ac632c05946df540553d3b514c9f8165b4ab7f2b1805e 00000c87: DUP7 00000c88: DUP5 00000c89: TIMESTAMP 00000c8a: PUSH2 0x0c91 00000c8d: PUSH2 0x08d5 00000c90: JUMP 00000c91: JUMPDEST 00000c92: PUSH1 0x40 00000c94: MLOAD 00000c95: DUP1 00000c96: DUP6 00000c97: DUP2 00000c98: MSTORE 00000c99: PUSH1 0x20 00000c9b: ADD 00000c9c: DUP5 00000c9d: DUP2 00000c9e: MSTORE 00000c9f: PUSH1 0x20 00000ca1: ADD 00000ca2: DUP4 00000ca3: DUP2 00000ca4: MSTORE 00000ca5: PUSH1 0x20 00000ca7: ADD 00000ca8: DUP3 00000ca9: DUP2 00000caa: MSTORE 00000cab: PUSH1 0x20 00000cad: ADD 00000cae: SWAP5 00000caf: POP 00000cb0: POP 00000cb1: POP 00000cb2: POP 00000cb3: POP 00000cb4: PUSH1 0x40 00000cb6: MLOAD 00000cb7: DUP1 00000cb8: SWAP2 00000cb9: SUB 00000cba: SWAP1 00000cbb: LOG2 00000cbc: POP 00000cbd: POP 00000cbe: POP 00000cbf: POP 00000cc0: POP 00000cc1: POP 00000cc2: POP 00000cc3: JUMP 00000cc4: JUMPDEST 00000cc5: CALLER 00000cc6: PUSH1 0x01 00000cc8: PUSH1 0xa0 00000cca: PUSH1 0x02 00000ccc: EXP 00000ccd: SUB 00000cce: DUP2 00000ccf: AND 00000cd0: PUSH1 0x00 00000cd2: SWAP1 00000cd3: DUP2 00000cd4: MSTORE 00000cd5: PUSH1 0x03 00000cd7: PUSH1 0x20 00000cd9: MSTORE 00000cda: PUSH1 0x40 00000cdc: DUP2 00000cdd: KECCAK256 00000cde: SLOAD 00000cdf: SWAP1 00000ce0: DUP2 00000ce1: GT 00000ce2: ISZERO 00000ce3: PUSH2 0x0cef 00000ce6: JUMPI 00000ce7: PUSH2 0x0cef 00000cea: DUP2 00000ceb: PUSH2 0x0b48 00000cee: JUMP 00000cef: JUMPDEST 00000cf0: PUSH2 0x0cf7 00000cf3: PUSH2 0x0740 00000cf6: JUMP 00000cf7: JUMPDEST 00000cf8: POP 00000cf9: POP 00000cfa: JUMP 00000cfb: JUMPDEST 00000cfc: PUSH1 0x00 00000cfe: PUSH2 0x08a6 00000d01: CALLVALUE 00000d02: DUP4 00000d03: PUSH2 0x0385 00000d06: JUMP 00000d07: JUMPDEST 00000d08: PUSH1 0x00 00000d0a: DUP1 00000d0b: PUSH1 0x00 00000d0d: DUP1 00000d0e: PUSH2 0x0d17 00000d11: PUSH1 0x01 00000d13: PUSH2 0x0869 00000d16: JUMP 00000d17: JUMPDEST 00000d18: GT 00000d19: PUSH2 0x0d21 00000d1c: JUMPI 00000d1d: PUSH1 0x00 00000d1f: DUP1 00000d20: REVERT 00000d21: JUMPDEST 00000d22: PUSH2 0x0d2b 00000d25: PUSH1 0x00 00000d27: PUSH2 0x0869 00000d2a: JUMP 00000d2b: JUMPDEST 00000d2c: CALLER 00000d2d: PUSH1 0x01 00000d2f: PUSH1 0xa0 00000d31: PUSH1 0x02 00000d33: EXP 00000d34: SUB 00000d35: DUP2 00000d36: AND 00000d37: PUSH1 0x00 00000d39: SWAP1 00000d3a: DUP2 00000d3b: MSTORE 00000d3c: PUSH1 0x05 00000d3e: PUSH1 0x20 00000d40: SWAP1 00000d41: DUP2 00000d42: MSTORE 00000d43: PUSH1 0x40 00000d45: DUP1 00000d46: DUP4 00000d47: KECCAK256 00000d48: DUP1 00000d49: SLOAD 00000d4a: PUSH9 0x010000000000000000 00000d54: DUP8 00000d55: MUL 00000d56: ADD 00000d57: SWAP1 00000d58: SSTORE 00000d59: PUSH1 0x04 00000d5b: SWAP1 00000d5c: SWAP2 00000d5d: MSTORE 00000d5e: DUP2 00000d5f: KECCAK256 00000d60: DUP1 00000d61: SLOAD 00000d62: SWAP1 00000d63: DUP3 00000d64: SWAP1 00000d65: SSTORE 00000d66: SWAP1 00000d67: SWAP3 00000d68: ADD 00000d69: SWAP5 00000d6a: POP 00000d6b: SWAP3 00000d6c: POP 00000d6d: PUSH2 0x0d77 00000d70: SWAP1 00000d71: DUP5 00000d72: SWAP1 00000d73: PUSH2 0x0385 00000d76: JUMP 00000d77: JUMPDEST 00000d78: SWAP1 00000d79: POP 00000d7a: DUP2 00000d7b: PUSH1 0x01 00000d7d: PUSH1 0xa0 00000d7f: PUSH1 0x02 00000d81: EXP 00000d82: SUB 00000d83: AND 00000d84: PUSH32 0xbe339fc14b041c2b0e0f3dd2cd325d0c3668b78378001e53160eab3615326458 00000da5: DUP5 00000da6: DUP4 00000da7: PUSH1 0x40 00000da9: MLOAD 00000daa: SWAP2 00000dab: DUP3 00000dac: MSTORE 00000dad: PUSH1 0x20 00000daf: DUP3 00000db0: ADD 00000db1: MSTORE 00000db2: PUSH1 0x40 00000db4: SWAP1 00000db5: DUP2 00000db6: ADD 00000db7: SWAP1 00000db8: MLOAD 00000db9: DUP1 00000dba: SWAP2 00000dbb: SUB 00000dbc: SWAP1 00000dbd: LOG2 00000dbe: POP 00000dbf: POP 00000dc0: POP 00000dc1: JUMP 00000dc2: JUMPDEST 00000dc3: PUSH1 0x00 00000dc5: DUP1 00000dc6: DUP4 00000dc7: ISZERO 00000dc8: ISZERO 00000dc9: PUSH2 0x0dd5 00000dcc: JUMPI 00000dcd: PUSH1 0x00 00000dcf: SWAP2 00000dd0: POP 00000dd1: PUSH2 0x0df1 00000dd4: JUMP 00000dd5: JUMPDEST 00000dd6: POP 00000dd7: DUP3 00000dd8: DUP3 00000dd9: MUL 00000dda: DUP3 00000ddb: DUP5 00000ddc: DUP3 00000ddd: DUP2 00000dde: ISZERO 00000ddf: ISZERO 00000de0: PUSH2 0x0de5 00000de3: JUMPI 00000de4: INVALID 00000de5: JUMPDEST 00000de6: DIV 00000de7: EQ 00000de8: PUSH2 0x0ded 00000deb: JUMPI 00000dec: INVALID 00000ded: JUMPDEST 00000dee: DUP1 00000def: SWAP2 00000df0: POP 00000df1: JUMPDEST 00000df2: POP 00000df3: SWAP3 00000df4: SWAP2 00000df5: POP 00000df6: POP 00000df7: JUMP 00000df8: JUMPDEST 00000df9: PUSH1 0x00 00000dfb: DUP1 00000dfc: DUP3 00000dfd: DUP5 00000dfe: DUP2 00000dff: ISZERO 00000e00: ISZERO 00000e01: PUSH2 0x0e06 00000e04: JUMPI 00000e05: INVALID 00000e06: JUMPDEST 00000e07: DIV 00000e08: SWAP5 00000e09: SWAP4 00000e0a: POP 00000e0b: POP 00000e0c: POP 00000e0d: POP 00000e0e: JUMP 00000e0f: JUMPDEST 00000e10: PUSH1 0x00 00000e12: DUP3 00000e13: DUP3 00000e14: GT 00000e15: ISZERO 00000e16: PUSH2 0x0e1b 00000e19: JUMPI 00000e1a: INVALID 00000e1b: JUMPDEST 00000e1c: POP 00000e1d: SWAP1 00000e1e: SUB 00000e1f: SWAP1 00000e20: JUMP 00000e21: JUMPDEST 00000e22: PUSH1 0x06 00000e24: SLOAD 00000e25: PUSH1 0x00 00000e27: SWAP1 00000e28: PUSH13 0x01431e0fae6d7217caa0000000 00000e36: SWAP1 00000e37: DUP3 00000e38: SWAP1 00000e39: PUSH5 0x02540be400 00000e3f: PUSH2 0x0ea6 00000e42: PUSH2 0x0ea0 00000e45: PUSH20 0x0380d4bd8a8678c1bb542c80deb4800000000000 00000e5a: DUP9 00000e5b: MUL 00000e5c: PUSH9 0x056bc75e2d63100000 00000e66: PUSH1 0x02 00000e68: DUP7 00000e69: EXP 00000e6a: MUL 00000e6b: ADD 00000e6c: PUSH17 0x05e0a1fd2712875988becaad0000000000 00000e7e: DUP6 00000e7f: MUL 00000e80: ADD 00000e81: PUSH25 0x0197d4df19d605767337e9f14d3eec8920e400000000000000 00000e9b: ADD 00000e9c: PUSH2 0x0f34 00000e9f: JUMP 00000ea0: JUMPDEST 00000ea1: DUP6 00000ea2: PUSH2 0x0e0f 00000ea5: JUMP 00000ea6: JUMPDEST 00000ea7: DUP2 00000ea8: ISZERO 00000ea9: ISZERO 00000eaa: PUSH2 0x0eaf 00000ead: JUMPI 00000eae: INVALID 00000eaf: JUMPDEST 00000eb0: DIV 00000eb1: SUB 00000eb2: SWAP5 00000eb3: SWAP4 00000eb4: POP 00000eb5: POP 00000eb6: POP 00000eb7: POP 00000eb8: JUMP 00000eb9: JUMPDEST 00000eba: PUSH1 0x00 00000ebc: DUP3 00000ebd: DUP3 00000ebe: ADD 00000ebf: DUP4 00000ec0: DUP2 00000ec1: LT 00000ec2: ISZERO 00000ec3: PUSH2 0x0ded 00000ec6: JUMPI 00000ec7: INVALID 00000ec8: JUMPDEST 00000ec9: PUSH1 0x06 00000ecb: SLOAD 00000ecc: PUSH1 0x00 00000ece: SWAP1 00000ecf: PUSH8 0x0de0b6b3a7640000 00000ed8: DUP4 00000ed9: DUP2 00000eda: ADD 00000edb: SWAP2 00000edc: DUP2 00000edd: ADD 00000ede: SWAP1 00000edf: DUP4 00000ee0: SWAP1 00000ee1: PUSH2 0x0f21 00000ee4: PUSH5 0x14f46b0400 00000eea: DUP3 00000eeb: DUP6 00000eec: DIV 00000eed: PUSH5 0x02540be400 00000ef3: MUL 00000ef4: ADD 00000ef5: DUP8 00000ef6: MUL 00000ef7: PUSH1 0x02 00000ef9: DUP4 00000efa: PUSH8 0x0de0b6b3a763ffff 00000f03: NOT 00000f04: DUP3 00000f05: DUP10 00000f06: EXP 00000f07: DUP12 00000f08: SWAP1 00000f09: SUB 00000f0a: ADD 00000f0b: DIV 00000f0c: PUSH5 0x02540be400 00000f12: MUL 00000f13: DUP2 00000f14: ISZERO 00000f15: ISZERO 00000f16: PUSH2 0x0f1b 00000f19: JUMPI 00000f1a: INVALID 00000f1b: JUMPDEST 00000f1c: DIV 00000f1d: PUSH2 0x0e0f 00000f20: JUMP 00000f21: JUMPDEST 00000f22: DUP2 00000f23: ISZERO 00000f24: ISZERO 00000f25: PUSH2 0x0f2a 00000f28: JUMPI 00000f29: INVALID 00000f2a: JUMPDEST 00000f2b: DIV 00000f2c: SWAP6 00000f2d: SWAP5 00000f2e: POP 00000f2f: POP 00000f30: POP 00000f31: POP 00000f32: POP 00000f33: JUMP 00000f34: JUMPDEST 00000f35: DUP1 00000f36: PUSH1 0x02 00000f38: PUSH1 0x01 00000f3a: DUP3 00000f3b: ADD 00000f3c: DIV 00000f3d: JUMPDEST 00000f3e: DUP2 00000f3f: DUP2 00000f40: LT 00000f41: ISZERO 00000f42: PUSH2 0x08a6 00000f45: JUMPI 00000f46: DUP1 00000f47: SWAP2 00000f48: POP 00000f49: PUSH1 0x02 00000f4b: DUP2 00000f4c: DUP3 00000f4d: DUP6 00000f4e: DUP2 00000f4f: ISZERO 00000f50: ISZERO 00000f51: PUSH2 0x0f56 00000f54: JUMPI 00000f55: INVALID 00000f56: JUMPDEST 00000f57: DIV 00000f58: ADD 00000f59: DUP2 00000f5a: ISZERO 00000f5b: ISZERO 00000f5c: PUSH2 0x0f61 00000f5f: JUMPI 00000f60: INVALID 00000f61: JUMPDEST 00000f62: DIV 00000f63: SWAP1 00000f64: POP 00000f65: PUSH2 0x0f3d 00000f68: JUMP 00000f69: STOP 00000f6a: LOG1 00000f6b: PUSH6 0x627a7a723058 00000f72: KECCAK256 00000f73: DIV 00000f74: MSTORE 00000f75: UNKNOWN(0x22) 00000f76: MSTORE 00000f77: UNKNOWN(0xC2) 00000f78: JUMPDEST 00000f79: EXTCODESIZE 00000f7a: MSIZE 00000f7b: PUSH0 00000f7c: UNKNOWN(0xD3) 00000f7d: PUSH11 0x6017e25eaf81977e9adb0d 00000f89: DUP12 00000f8a: UNKNOWN(0xB8) 00000f8b: UNKNOWN(0xCB) 00000f8c: PUSH19
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 | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x2156d53d9f845abaf5ba5ebb325cc792d62945dc181a17d7a88ef9253078aa49
call_targets:
0x702392282255f8c0993dbbbb148d80d2ef6795b1
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x2156d53d9f845abaf5ba5ebb325cc792d62945dc181a17d7a88ef9253078aa49",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x702392282255f8c0993dbbbb148d80d2ef6795b1"
],
"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": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ccfd60b",
"selector": "0x3ccfd60b",
"calldata_variants": [
"0x3ccfd60b",
"0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4b750334",
"selector": "0x4b750334",
"calldata_variants": [
"0x4b750334",
"0x4b7503340000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x56d399e8",
"selector": "0x56d399e8",
"calldata_variants": [
"0x56d399e8",
"0x56d399e80000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1979,
"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: 0x2156d53d9f845abaf5ba5ebb325cc792d62945dc181a17d7a88ef9253078aa49
call_targets:
0x702392282255f8c0993dbbbb148d80d2ef6795b1
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x2156d53d9f845abaf5ba5ebb325cc792d62945dc181a17d7a88ef9253078aa49",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x702392282255f8c0993dbbbb148d80d2ef6795b1"
],
"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": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ccfd60b",
"selector": "0x3ccfd60b",
"calldata_variants": [
"0x3ccfd60b",
"0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4b750334",
"selector": "0x4b750334",
"calldata_variants": [
"0x4b750334",
"0x4b7503340000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x56d399e8",
"selector": "0x56d399e8",
"calldata_variants": [
"0x56d399e8",
"0x56d399e80000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1979,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 1,
"guards_detected": []
}
|