019b477e-b5b9-73d7-8637-48f6ef76523e
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 |
|---|---|---|---|---|
| 22983 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 22984 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 66966 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 66967 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 66968 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 66969 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x0127 0000000c: JUMPI 0000000d: PUSH4 0xffffffff 00000012: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000030: PUSH1 0x00 00000032: CALLDATALOAD 00000033: DIV 00000034: AND 00000035: PUSH4 0x06fdde03 0000003a: DUP2 0000003b: EQ 0000003c: PUSH2 0x012c 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x0e7c1cb5 00000046: EQ 00000047: PUSH2 0x01b6 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x18160ddd 00000051: EQ 00000052: PUSH2 0x01e7 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x1d6f757d 0000005c: EQ 0000005d: PUSH2 0x020e 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0x23b872dd 00000067: EQ 00000068: PUSH2 0x0249 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0x27e235e3 00000072: EQ 00000073: PUSH2 0x0275 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0x313ce567 0000007d: EQ 0000007e: PUSH2 0x0296 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0x45164b3e 00000088: EQ 00000089: PUSH2 0x02ab 0000008c: JUMPI 0000008d: DUP1 0000008e: PUSH4 0x70a08231 00000093: EQ 00000094: PUSH2 0x02c0 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0x74f1d6ce 0000009e: EQ 0000009f: PUSH2 0x02e1 000000a2: JUMPI 000000a3: DUP1 000000a4: PUSH4 0x7df73e27 000000a9: EQ 000000aa: PUSH2 0x030b 000000ad: JUMPI 000000ae: DUP1 000000af: PUSH4 0x8b257d3d 000000b4: EQ 000000b5: PUSH2 0x032c 000000b8: JUMPI 000000b9: DUP1 000000ba: PUSH4 0x8da5cb5b 000000bf: EQ 000000c0: PUSH2 0x0350 000000c3: JUMPI 000000c4: DUP1 000000c5: PUSH4 0x95d89b41 000000ca: EQ 000000cb: PUSH2 0x0365 000000ce: JUMPI 000000cf: DUP1 000000d0: PUSH4 0xa9059cbb 000000d5: EQ 000000d6: PUSH2 0x037a 000000d9: JUMPI 000000da: DUP1 000000db: PUSH4 0xad93640f 000000e0: EQ 000000e1: PUSH2 0x039e 000000e4: JUMPI 000000e5: DUP1 000000e6: PUSH4 0xcc891023 000000eb: EQ 000000ec: PUSH2 0x03b3 000000ef: JUMPI 000000f0: DUP1 000000f1: PUSH4 0xdc42f2ed 000000f6: EQ 000000f7: PUSH2 0x03d4 000000fa: JUMPI 000000fb: DUP1 000000fc: PUSH4 0xdd62ed3e 00000101: EQ 00000102: PUSH2 0x03f5 00000105: JUMPI 00000106: DUP1 00000107: PUSH4 0xe2bbb158 0000010c: EQ 0000010d: PUSH2 0x041c 00000110: JUMPI 00000111: DUP1 00000112: PUSH4 0xeb12d61e 00000117: EQ 00000118: PUSH2 0x042a 0000011b: JUMPI 0000011c: DUP1 0000011d: PUSH4 0xf2fde38b 00000122: EQ 00000123: PUSH2 0x044b 00000126: JUMPI 00000127: JUMPDEST 00000128: PUSH1 0x00 0000012a: DUP1 0000012b: REVERT 0000012c: JUMPDEST 0000012d: CALLVALUE 0000012e: DUP1 0000012f: ISZERO 00000130: PUSH2 0x0138 00000133: JUMPI 00000134: PUSH1 0x00 00000136: DUP1 00000137: REVERT 00000138: JUMPDEST 00000139: POP 0000013a: PUSH2 0x0141 0000013d: PUSH2 0x046c 00000140: JUMP 00000141: JUMPDEST 00000142: PUSH1 0x40 00000144: DUP1 00000145: MLOAD 00000146: PUSH1 0x20 00000148: DUP1 00000149: DUP3 0000014a: MSTORE 0000014b: DUP4 0000014c: MLOAD 0000014d: DUP2 0000014e: DUP4 0000014f: ADD 00000150: MSTORE 00000151: DUP4 00000152: MLOAD 00000153: SWAP2 00000154: SWAP3 00000155: DUP4 00000156: SWAP3 00000157: SWAP1 00000158: DUP4 00000159: ADD 0000015a: SWAP2 0000015b: DUP6 0000015c: ADD 0000015d: SWAP1 0000015e: DUP1 0000015f: DUP4 00000160: DUP4 00000161: PUSH1 0x00 00000163: JUMPDEST 00000164: DUP4 00000165: DUP2 00000166: LT 00000167: ISZERO 00000168: PUSH2 0x017b 0000016b: JUMPI 0000016c: DUP2 0000016d: DUP2 0000016e: ADD 0000016f: MLOAD 00000170: DUP4 00000171: DUP3 00000172: ADD 00000173: MSTORE 00000174: PUSH1 0x20 00000176: ADD 00000177: PUSH2 0x0163 0000017a: JUMP 0000017b: JUMPDEST 0000017c: POP 0000017d: POP 0000017e: POP 0000017f: POP 00000180: SWAP1 00000181: POP 00000182: SWAP1 00000183: DUP2 00000184: ADD 00000185: SWAP1 00000186: PUSH1 0x1f 00000188: AND 00000189: DUP1 0000018a: ISZERO 0000018b: PUSH2 0x01a8 0000018e: JUMPI 0000018f: DUP1 00000190: DUP3 00000191: SUB 00000192: DUP1 00000193: MLOAD 00000194: PUSH1 0x01 00000196: DUP4 00000197: PUSH1 0x20 00000199: SUB 0000019a: PUSH2 0x0100 0000019d: EXP 0000019e: SUB 0000019f: NOT 000001a0: AND 000001a1: DUP2 000001a2: MSTORE 000001a3: PUSH1 0x20 000001a5: ADD 000001a6: SWAP2 000001a7: POP 000001a8: JUMPDEST 000001a9: POP 000001aa: SWAP3 000001ab: POP 000001ac: POP 000001ad: POP 000001ae: PUSH1 0x40 000001b0: MLOAD 000001b1: DUP1 000001b2: SWAP2 000001b3: SUB 000001b4: SWAP1 000001b5: RETURN 000001b6: JUMPDEST 000001b7: CALLVALUE 000001b8: DUP1 000001b9: ISZERO 000001ba: PUSH2 0x01c2 000001bd: JUMPI 000001be: PUSH1 0x00 000001c0: DUP1 000001c1: REVERT 000001c2: JUMPDEST 000001c3: POP 000001c4: PUSH2 0x01cb 000001c7: PUSH2 0x04fa 000001ca: JUMP 000001cb: JUMPDEST 000001cc: PUSH1 0x40 000001ce: DUP1 000001cf: MLOAD 000001d0: PUSH1 0x01 000001d2: PUSH1 0xa0 000001d4: PUSH1 0x02 000001d6: EXP 000001d7: SUB 000001d8: SWAP1 000001d9: SWAP3 000001da: AND 000001db: DUP3 000001dc: MSTORE 000001dd: MLOAD 000001de: SWAP1 000001df: DUP2 000001e0: SWAP1 000001e1: SUB 000001e2: PUSH1 0x20 000001e4: ADD 000001e5: SWAP1 000001e6: RETURN 000001e7: JUMPDEST 000001e8: CALLVALUE 000001e9: DUP1 000001ea: ISZERO 000001eb: PUSH2 0x01f3 000001ee: JUMPI 000001ef: PUSH1 0x00 000001f1: DUP1 000001f2: REVERT 000001f3: JUMPDEST 000001f4: POP 000001f5: PUSH2 0x01fc 000001f8: PUSH2 0x0509 000001fb: JUMP 000001fc: JUMPDEST 000001fd: PUSH1 0x40 000001ff: DUP1 00000200: MLOAD 00000201: SWAP2 00000202: DUP3 00000203: MSTORE 00000204: MLOAD 00000205: SWAP1 00000206: DUP2 00000207: SWAP1 00000208: SUB 00000209: PUSH1 0x20 0000020b: ADD 0000020c: SWAP1 0000020d: RETURN 0000020e: JUMPDEST 0000020f: CALLVALUE 00000210: DUP1 00000211: ISZERO 00000212: PUSH2 0x021a 00000215: JUMPI 00000216: PUSH1 0x00 00000218: DUP1 00000219: REVERT 0000021a: JUMPDEST 0000021b: POP 0000021c: PUSH2 0x0235 0000021f: PUSH1 0x04 00000221: CALLDATALOAD 00000222: PUSH1 0xff 00000224: PUSH1 0x24 00000226: CALLDATALOAD 00000227: AND 00000228: PUSH1 0x44 0000022a: CALLDATALOAD 0000022b: PUSH1 0x64 0000022d: CALLDATALOAD 0000022e: PUSH1 0x84 00000230: CALLDATALOAD 00000231: PUSH2 0x050f 00000234: JUMP 00000235: JUMPDEST 00000236: PUSH1 0x40 00000238: DUP1 00000239: MLOAD 0000023a: SWAP2 0000023b: ISZERO 0000023c: ISZERO 0000023d: DUP3 0000023e: MSTORE 0000023f: MLOAD 00000240: SWAP1 00000241: DUP2 00000242: SWAP1 00000243: SUB 00000244: PUSH1 0x20 00000246: ADD 00000247: SWAP1 00000248: RETURN 00000249: JUMPDEST 0000024a: CALLVALUE 0000024b: DUP1 0000024c: ISZERO 0000024d: PUSH2 0x0255 00000250: JUMPI 00000251: PUSH1 0x00 00000253: DUP1 00000254: REVERT 00000255: JUMPDEST 00000256: POP 00000257: PUSH2 0x0273 0000025a: PUSH1 0x01 0000025c: PUSH1 0xa0 0000025e: PUSH1 0x02 00000260: EXP 00000261: SUB 00000262: PUSH1 0x04 00000264: CALLDATALOAD 00000265: DUP2 00000266: AND 00000267: SWAP1 00000268: PUSH1 0x24 0000026a: CALLDATALOAD 0000026b: AND 0000026c: PUSH1 0x44 0000026e: CALLDATALOAD 0000026f: PUSH2 0x0698 00000272: JUMP 00000273: JUMPDEST 00000274: STOP 00000275: JUMPDEST 00000276: CALLVALUE 00000277: DUP1 00000278: ISZERO 00000279: PUSH2 0x0281 0000027c: JUMPI 0000027d: PUSH1 0x00 0000027f: DUP1 00000280: REVERT 00000281: JUMPDEST 00000282: POP 00000283: PUSH2 0x01fc 00000286: PUSH1 0x01 00000288: PUSH1 0xa0 0000028a: PUSH1 0x02 0000028c: EXP 0000028d: SUB 0000028e: PUSH1 0x04 00000290: CALLDATALOAD 00000291: AND 00000292: PUSH2 0x081f 00000295: JUMP 00000296: JUMPDEST 00000297: CALLVALUE 00000298: DUP1 00000299: ISZERO 0000029a: PUSH2 0x02a2 0000029d: JUMPI 0000029e: PUSH1 0x00 000002a0: DUP1 000002a1: REVERT 000002a2: JUMPDEST 000002a3: POP 000002a4: PUSH2 0x01fc 000002a7: PUSH2 0x0831 000002aa: JUMP 000002ab: JUMPDEST 000002ac: CALLVALUE 000002ad: DUP1 000002ae: ISZERO 000002af: PUSH2 0x02b7 000002b2: JUMPI 000002b3: PUSH1 0x00 000002b5: DUP1 000002b6: REVERT 000002b7: JUMPDEST 000002b8: POP 000002b9: PUSH2 0x01cb 000002bc: PUSH2 0x0837 000002bf: JUMP 000002c0: JUMPDEST 000002c1: CALLVALUE 000002c2: DUP1 000002c3: ISZERO 000002c4: PUSH2 0x02cc 000002c7: JUMPI 000002c8: PUSH1 0x00 000002ca: DUP1 000002cb: REVERT 000002cc: JUMPDEST 000002cd: POP 000002ce: PUSH2 0x01fc 000002d1: PUSH1 0x01 000002d3: PUSH1 0xa0 000002d5: PUSH1 0x02 000002d7: EXP 000002d8: SUB 000002d9: PUSH1 0x04 000002db: CALLDATALOAD 000002dc: AND 000002dd: PUSH2 0x0846 000002e0: JUMP 000002e1: JUMPDEST 000002e2: CALLVALUE 000002e3: DUP1 000002e4: ISZERO 000002e5: PUSH2 0x02ed 000002e8: JUMPI 000002e9: PUSH1 0x00 000002eb: DUP1 000002ec: REVERT 000002ed: JUMPDEST 000002ee: POP 000002ef: PUSH2 0x01fc 000002f2: PUSH1 0x01 000002f4: PUSH1 0xa0 000002f6: PUSH1 0x02 000002f8: EXP 000002f9: SUB 000002fa: PUSH1 0x04 000002fc: CALLDATALOAD 000002fd: DUP2 000002fe: AND 000002ff: SWAP1 00000300: PUSH1 0x24 00000302: CALLDATALOAD 00000303: AND 00000304: PUSH1 0x44 00000306: CALLDATALOAD 00000307: PUSH2 0x0861 0000030a: JUMP 0000030b: JUMPDEST 0000030c: CALLVALUE 0000030d: DUP1 0000030e: ISZERO 0000030f: PUSH2 0x0317 00000312: JUMPI 00000313: PUSH1 0x00 00000315: DUP1 00000316: REVERT 00000317: JUMPDEST 00000318: POP 00000319: PUSH2 0x0235 0000031c: PUSH1 0x01 0000031e: PUSH1 0xa0 00000320: PUSH1 0x02 00000322: EXP 00000323: SUB 00000324: PUSH1 0x04 00000326: CALLDATALOAD 00000327: AND 00000328: PUSH2 0x08a3 0000032b: JUMP 0000032c: JUMPDEST 0000032d: CALLVALUE 0000032e: DUP1 0000032f: ISZERO 00000330: PUSH2 0x0338 00000333: JUMPI 00000334: PUSH1 0x00 00000336: DUP1 00000337: REVERT 00000338: JUMPDEST 00000339: POP 0000033a: PUSH2 0x0235 0000033d: PUSH1 0x04 0000033f: CALLDATALOAD 00000340: PUSH1 0xff 00000342: PUSH1 0x24 00000344: CALLDATALOAD 00000345: AND 00000346: PUSH1 0x44 00000348: CALLDATALOAD 00000349: PUSH1 0x64 0000034b: CALLDATALOAD 0000034c: PUSH2 0x08b8 0000034f: JUMP 00000350: JUMPDEST 00000351: CALLVALUE 00000352: DUP1 00000353: ISZERO 00000354: PUSH2 0x035c 00000357: JUMPI 00000358: PUSH1 0x00 0000035a: DUP1 0000035b: REVERT 0000035c: JUMPDEST 0000035d: POP 0000035e: PUSH2 0x01cb 00000361: PUSH2 0x097b 00000364: JUMP 00000365: JUMPDEST 00000366: CALLVALUE 00000367: DUP1 00000368: ISZERO 00000369: PUSH2 0x0371 0000036c: JUMPI 0000036d: PUSH1 0x00 0000036f: DUP1 00000370: REVERT 00000371: JUMPDEST 00000372: POP 00000373: PUSH2 0x0141 00000376: PUSH2 0x098a 00000379: JUMP 0000037a: JUMPDEST 0000037b: CALLVALUE 0000037c: DUP1 0000037d: ISZERO 0000037e: PUSH2 0x0386 00000381: JUMPI 00000382: PUSH1 0x00 00000384: DUP1 00000385: REVERT 00000386: JUMPDEST 00000387: POP 00000388: PUSH2 0x0235 0000038b: PUSH1 0x01 0000038d: PUSH1 0xa0 0000038f: PUSH1 0x02 00000391: EXP 00000392: SUB 00000393: PUSH1 0x04 00000395: CALLDATALOAD 00000396: AND 00000397: PUSH1 0x24 00000399: CALLDATALOAD 0000039a: PUSH2 0x09e5 0000039d: JUMP 0000039e: JUMPDEST 0000039f: CALLVALUE 000003a0: DUP1 000003a1: ISZERO 000003a2: PUSH2 0x03aa 000003a5: JUMPI 000003a6: PUSH1 0x00 000003a8: DUP1 000003a9: REVERT 000003aa: JUMPDEST 000003ab: POP 000003ac: PUSH2 0x01cb 000003af: PUSH2 0x09ee 000003b2: JUMP 000003b3: JUMPDEST 000003b4: CALLVALUE 000003b5: DUP1 000003b6: ISZERO 000003b7: PUSH2 0x03bf 000003ba: JUMPI 000003bb: PUSH1 0x00 000003bd: DUP1 000003be: REVERT 000003bf: JUMPDEST 000003c0: POP 000003c1: PUSH2 0x01fc 000003c4: PUSH1 0x01 000003c6: PUSH1 0xa0 000003c8: PUSH1 0x02 000003ca: EXP 000003cb: SUB 000003cc: PUSH1 0x04 000003ce: CALLDATALOAD 000003cf: AND 000003d0: PUSH2 0x09fd 000003d3: JUMP 000003d4: JUMPDEST 000003d5: CALLVALUE 000003d6: DUP1 000003d7: ISZERO 000003d8: PUSH2 0x03e0 000003db: JUMPI 000003dc: PUSH1 0x00 000003de: DUP1 000003df: REVERT 000003e0: JUMPDEST 000003e1: POP 000003e2: PUSH2 0x0235 000003e5: PUSH1 0x01 000003e7: PUSH1 0xa0 000003e9: PUSH1 0x02 000003eb: EXP 000003ec: SUB 000003ed: PUSH1 0x04 000003ef: CALLDATALOAD 000003f0: AND 000003f1: PUSH2 0x0a0f 000003f4: JUMP 000003f5: JUMPDEST 000003f6: CALLVALUE 000003f7: DUP1 000003f8: ISZERO 000003f9: PUSH2 0x0401 000003fc: JUMPI 000003fd: PUSH1 0x00 000003ff: DUP1 00000400: REVERT 00000401: JUMPDEST 00000402: POP 00000403: PUSH2 0x01fc 00000406: PUSH1 0x01 00000408: PUSH1 0xa0 0000040a: PUSH1 0x02 0000040c: EXP 0000040d: SUB 0000040e: PUSH1 0x04 00000410: CALLDATALOAD 00000411: DUP2 00000412: AND 00000413: SWAP1 00000414: PUSH1 0x24 00000416: CALLDATALOAD 00000417: AND 00000418: PUSH2 0x0b90 0000041b: JUMP 0000041c: JUMPDEST 0000041d: PUSH2 0x0235 00000420: PUSH1 0x04 00000422: CALLDATALOAD 00000423: PUSH1 0x24 00000425: CALLDATALOAD 00000426: PUSH2 0x0bca 00000429: JUMP 0000042a: JUMPDEST 0000042b: CALLVALUE 0000042c: DUP1 0000042d: ISZERO 0000042e: PUSH2 0x0436 00000431: JUMPI 00000432: PUSH1 0x00 00000434: DUP1 00000435: REVERT 00000436: JUMPDEST 00000437: POP 00000438: PUSH2 0x0273 0000043b: PUSH1 0x01 0000043d: PUSH1 0xa0 0000043f: PUSH1 0x02 00000441: EXP 00000442: SUB 00000443: PUSH1 0x04 00000445: CALLDATALOAD 00000446: AND 00000447: PUSH2 0x0c64 0000044a: JUMP 0000044b: JUMPDEST 0000044c: CALLVALUE 0000044d: DUP1 0000044e: ISZERO 0000044f: PUSH2 0x0457 00000452: JUMPI 00000453: PUSH1 0x00 00000455: DUP1 00000456: REVERT 00000457: JUMPDEST 00000458: POP 00000459: PUSH2 0x0273 0000045c: PUSH1 0x01 0000045e: PUSH1 0xa0 00000460: PUSH1 0x02 00000462: EXP 00000463: SUB 00000464: PUSH1 0x04 00000466: CALLDATALOAD 00000467: AND 00000468: PUSH2 0x0ca6 0000046b: JUMP 0000046c: JUMPDEST 0000046d: PUSH1 0x06 0000046f: DUP1 00000470: SLOAD 00000471: PUSH1 0x40 00000473: DUP1 00000474: MLOAD 00000475: PUSH1 0x20 00000477: PUSH1 0x02 00000479: PUSH1 0x01 0000047b: DUP6 0000047c: AND 0000047d: ISZERO 0000047e: PUSH2 0x0100 00000481: MUL 00000482: PUSH1 0x00 00000484: NOT 00000485: ADD 00000486: SWAP1 00000487: SWAP5 00000488: AND 00000489: SWAP4 0000048a: SWAP1 0000048b: SWAP4 0000048c: DIV 0000048d: PUSH1 0x1f 0000048f: DUP2 00000490: ADD 00000491: DUP5 00000492: SWAP1 00000493: DIV 00000494: DUP5 00000495: MUL 00000496: DUP3 00000497: ADD 00000498: DUP5 00000499: ADD 0000049a: SWAP1 0000049b: SWAP3 0000049c: MSTORE 0000049d: DUP2 0000049e: DUP2 0000049f: MSTORE 000004a0: SWAP3 000004a1: SWAP2 000004a2: DUP4 000004a3: ADD 000004a4: DUP3 000004a5: DUP3 000004a6: DUP1 000004a7: ISZERO 000004a8: PUSH2 0x04f2 000004ab: JUMPI 000004ac: DUP1 000004ad: PUSH1 0x1f 000004af: LT 000004b0: PUSH2 0x04c7 000004b3: JUMPI 000004b4: PUSH2 0x0100 000004b7: DUP1 000004b8: DUP4 000004b9: SLOAD 000004ba: DIV 000004bb: MUL 000004bc: DUP4 000004bd: MSTORE 000004be: SWAP2 000004bf: PUSH1 0x20 000004c1: ADD 000004c2: SWAP2 000004c3: PUSH2 0x04f2 000004c6: JUMP 000004c7: JUMPDEST 000004c8: DUP3 000004c9: ADD 000004ca: SWAP2 000004cb: SWAP1 000004cc: PUSH1 0x00 000004ce: MSTORE 000004cf: PUSH1 0x20 000004d1: PUSH1 0x00 000004d3: KECCAK256 000004d4: SWAP1 000004d5: JUMPDEST 000004d6: DUP2 000004d7: SLOAD 000004d8: DUP2 000004d9: MSTORE 000004da: SWAP1 000004db: PUSH1 0x01 000004dd: ADD 000004de: SWAP1 000004df: PUSH1 0x20 000004e1: ADD 000004e2: DUP1 000004e3: DUP4 000004e4: GT 000004e5: PUSH2 0x04d5 000004e8: JUMPI 000004e9: DUP3 000004ea: SWAP1 000004eb: SUB 000004ec: PUSH1 0x1f 000004ee: AND 000004ef: DUP3 000004f0: ADD 000004f1: SWAP2 000004f2: JUMPDEST 000004f3: POP 000004f4: POP 000004f5: POP 000004f6: POP 000004f7: POP 000004f8: DUP2 000004f9: JUMP 000004fa: JUMPDEST 000004fb: PUSH1 0x09 000004fd: SLOAD 000004fe: PUSH1 0x01 00000500: PUSH1 0xa0 00000502: PUSH1 0x02 00000504: EXP 00000505: SUB 00000506: AND 00000507: DUP2 00000508: JUMP 00000509: JUMPDEST 0000050a: PUSH1 0x01 0000050c: SLOAD 0000050d: SWAP1 0000050e: JUMP 0000050f: JUMPDEST 00000510: PUSH1 0x00 00000512: DUP6 00000513: PUSH2 0x051b 00000516: CALLER 00000517: PUSH2 0x0846 0000051a: JUMP 0000051b: JUMPDEST 0000051c: LT 0000051d: ISZERO 0000051e: PUSH2 0x0526 00000521: JUMPI 00000522: PUSH1 0x00 00000524: DUP1 00000525: REVERT 00000526: JUMPDEST 00000527: CALLER 00000528: PUSH1 0x00 0000052a: SWAP1 0000052b: DUP2 0000052c: MSTORE 0000052d: PUSH1 0x0a 0000052f: PUSH1 0x20 00000531: MSTORE 00000532: PUSH1 0x40 00000534: SWAP1 00000535: KECCAK256 00000536: SLOAD 00000537: TIMESTAMP 00000538: GT 00000539: ISZERO 0000053a: PUSH2 0x05b6 0000053d: JUMPI 0000053e: CALLER 0000053f: PUSH1 0x00 00000541: SWAP1 00000542: DUP2 00000543: MSTORE 00000544: PUSH1 0x0b 00000546: PUSH1 0x20 00000548: MSTORE 00000549: PUSH1 0x40 0000054b: SWAP1 0000054c: KECCAK256 0000054d: SLOAD 0000054e: PUSH2 0x055d 00000551: SWAP1 00000552: DUP8 00000553: PUSH4 0xffffffff 00000558: PUSH2 0x0d3b 0000055b: AND 0000055c: JUMP 0000055d: JUMPDEST 0000055e: CALLER 0000055f: PUSH1 0x00 00000561: SWAP1 00000562: DUP2 00000563: MSTORE 00000564: PUSH1 0x0b 00000566: PUSH1 0x20 00000568: MSTORE 00000569: PUSH1 0x40 0000056b: SWAP1 0000056c: KECCAK256 0000056d: SSTORE 0000056e: PUSH1 0x01 00000570: SLOAD 00000571: PUSH2 0x0580 00000574: SWAP1 00000575: DUP8 00000576: PUSH4 0xffffffff 0000057b: PUSH2 0x0d3b 0000057e: AND 0000057f: JUMP 00000580: JUMPDEST 00000581: PUSH1 0x01 00000583: SSTORE 00000584: PUSH1 0x40 00000586: MLOAD 00000587: CALLER 00000588: SWAP1 00000589: DUP8 0000058a: ISZERO 0000058b: PUSH2 0x08fc 0000058e: MUL 0000058f: SWAP1 00000590: DUP9 00000591: SWAP1 00000592: PUSH1 0x00 00000594: DUP2 00000595: DUP2 00000596: DUP2 00000597: DUP6 00000598: DUP9 00000599: DUP9 0000059a: CALL 0000059b: SWAP4 0000059c: POP 0000059d: POP 0000059e: POP 0000059f: POP 000005a0: ISZERO 000005a1: DUP1 000005a2: ISZERO 000005a3: PUSH2 0x05b0 000005a6: JUMPI 000005a7: RETURNDATASIZE 000005a8: PUSH1 0x00 000005aa: DUP1 000005ab: RETURNDATACOPY 000005ac: RETURNDATASIZE 000005ad: PUSH1 0x00 000005af: REVERT 000005b0: JUMPDEST 000005b1: POP 000005b2: PUSH2 0x068c 000005b5: JUMP 000005b6: JUMPDEST 000005b7: NUMBER 000005b8: DUP3 000005b9: GT 000005ba: PUSH2 0x05c2 000005bd: JUMPI 000005be: PUSH1 0x00 000005c0: DUP1 000005c1: REVERT 000005c2: JUMPDEST 000005c3: PUSH1 0x40 000005c5: DUP1 000005c6: MLOAD 000005c7: PUSH13 0x01000000000000000000000000 000005d5: CALLER 000005d6: DUP2 000005d7: MUL 000005d8: DUP3 000005d9: MSTORE 000005da: ADDRESS 000005db: MUL 000005dc: PUSH1 0x14 000005de: DUP3 000005df: ADD 000005e0: MSTORE 000005e1: PUSH1 0x28 000005e3: DUP2 000005e4: ADD 000005e5: DUP5 000005e6: SWAP1 000005e7: MSTORE 000005e8: SWAP1 000005e9: MLOAD 000005ea: SWAP1 000005eb: DUP2 000005ec: SWAP1 000005ed: SUB 000005ee: PUSH1 0x48 000005f0: ADD 000005f1: SWAP1 000005f2: KECCAK256 000005f3: PUSH2 0x05fe 000005f6: SWAP1 000005f7: DUP7 000005f8: DUP7 000005f9: DUP7 000005fa: PUSH2 0x08b8 000005fd: JUMP 000005fe: JUMPDEST 000005ff: ISZERO 00000600: ISZERO 00000601: PUSH2 0x0609 00000604: JUMPI 00000605: PUSH1 0x00 00000607: DUP1 00000608: REVERT 00000609: JUMPDEST 0000060a: CALLER 0000060b: PUSH1 0x00 0000060d: SWAP1 0000060e: DUP2 0000060f: MSTORE 00000610: PUSH1 0x0b 00000612: PUSH1 0x20 00000614: MSTORE 00000615: PUSH1 0x40 00000617: SWAP1 00000618: KECCAK256 00000619: SLOAD 0000061a: PUSH2 0x0629 0000061d: SWAP1 0000061e: DUP8 0000061f: PUSH4 0xffffffff 00000624: PUSH2 0x0d3b 00000627: AND 00000628: JUMP 00000629: JUMPDEST 0000062a: CALLER 0000062b: PUSH1 0x00 0000062d: SWAP1 0000062e: DUP2 0000062f: MSTORE 00000630: PUSH1 0x0b 00000632: PUSH1 0x20 00000634: MSTORE 00000635: PUSH1 0x40 00000637: SWAP1 00000638: KECCAK256 00000639: SSTORE 0000063a: PUSH1 0x01 0000063c: SLOAD 0000063d: PUSH2 0x064c 00000640: SWAP1 00000641: DUP8 00000642: PUSH4 0xffffffff 00000647: PUSH2 0x0d3b 0000064a: AND 0000064b: JUMP 0000064c: JUMPDEST 0000064d: PUSH1 0x01 0000064f: SSTORE 00000650: CALLER 00000651: PUSH1 0x00 00000653: DUP2 00000654: DUP2 00000655: MSTORE 00000656: PUSH1 0x0a 00000658: PUSH1 0x20 0000065a: MSTORE 0000065b: PUSH1 0x40 0000065d: DUP1 0000065e: DUP3 0000065f: KECCAK256 00000660: DUP3 00000661: SWAP1 00000662: SSTORE 00000663: MLOAD 00000664: DUP9 00000665: ISZERO 00000666: PUSH2 0x08fc 00000669: MUL 0000066a: SWAP2 0000066b: DUP10 0000066c: SWAP2 0000066d: SWAP1 0000066e: DUP2 0000066f: DUP2 00000670: DUP2 00000671: DUP6 00000672: DUP9 00000673: DUP9 00000674: CALL 00000675: SWAP4 00000676: POP 00000677: POP 00000678: POP 00000679: POP 0000067a: ISZERO 0000067b: DUP1 0000067c: ISZERO 0000067d: PUSH2 0x068a 00000680: JUMPI 00000681: RETURNDATASIZE 00000682: PUSH1 0x00 00000684: DUP1 00000685: RETURNDATACOPY 00000686: RETURNDATASIZE 00000687: PUSH1 0x00 00000689: REVERT 0000068a: JUMPDEST 0000068b: POP 0000068c: JUMPDEST 0000068d: POP 0000068e: PUSH1 0x01 00000690: SWAP6 00000691: SWAP5 00000692: POP 00000693: POP 00000694: POP 00000695: POP 00000696: POP 00000697: JUMP 00000698: JUMPDEST 00000699: PUSH1 0x01 0000069b: PUSH1 0xa0 0000069d: PUSH1 0x02 0000069f: EXP 000006a0: SUB 000006a1: DUP3 000006a2: AND 000006a3: PUSH1 0x00 000006a5: SWAP1 000006a6: DUP2 000006a7: MSTORE 000006a8: PUSH1 0x05 000006aa: PUSH1 0x20 000006ac: MSTORE 000006ad: PUSH1 0x40 000006af: SWAP1 000006b0: KECCAK256 000006b1: SLOAD 000006b2: PUSH1 0xff 000006b4: AND 000006b5: DUP1 000006b6: PUSH2 0x06d7 000006b9: JUMPI 000006ba: POP 000006bb: PUSH1 0x01 000006bd: PUSH1 0xa0 000006bf: PUSH1 0x02 000006c1: EXP 000006c2: SUB 000006c3: DUP4 000006c4: AND 000006c5: PUSH1 0x00 000006c7: SWAP1 000006c8: DUP2 000006c9: MSTORE 000006ca: PUSH1 0x05 000006cc: PUSH1 0x20 000006ce: MSTORE 000006cf: PUSH1 0x40 000006d1: SWAP1 000006d2: KECCAK256 000006d3: SLOAD 000006d4: PUSH1 0xff 000006d6: AND 000006d7: JUMPDEST 000006d8: ISZERO 000006d9: ISZERO 000006da: PUSH2 0x06e2 000006dd: JUMPI 000006de: PUSH1 0x00 000006e0: DUP1 000006e1: REVERT 000006e2: JUMPDEST 000006e3: PUSH1 0x03 000006e5: SLOAD 000006e6: PUSH1 0x01 000006e8: PUSH1 0xa0 000006ea: PUSH1 0x02 000006ec: EXP 000006ed: SUB 000006ee: AND 000006ef: CALLER 000006f0: EQ 000006f1: DUP1 000006f2: PUSH2 0x0705 000006f5: JUMPI 000006f6: POP 000006f7: PUSH1 0x04 000006f9: SLOAD 000006fa: PUSH1 0x01 000006fc: PUSH1 0xa0 000006fe: PUSH1 0x02 00000700: EXP 00000701: SUB 00000702: AND 00000703: CALLER 00000704: EQ 00000705: JUMPDEST 00000706: ISZERO 00000707: ISZERO 00000708: PUSH2 0x070d 0000070b: JUMPI 0000070c: INVALID 0000070d: JUMPDEST 0000070e: PUSH1 0x01 00000710: PUSH1 0xa0 00000712: PUSH1 0x02 00000714: EXP 00000715: SUB 00000716: DUP3 00000717: AND 00000718: PUSH1 0x00 0000071a: SWAP1 0000071b: DUP2 0000071c: MSTORE 0000071d: PUSH1 0x0b 0000071f: PUSH1 0x20 00000721: MSTORE 00000722: PUSH1 0x40 00000724: SWAP1 00000725: KECCAK256 00000726: SLOAD 00000727: PUSH2 0x0736 0000072a: SWAP1 0000072b: DUP3 0000072c: PUSH4 0xffffffff 00000731: PUSH2 0x0d4d 00000734: AND 00000735: JUMP 00000736: JUMPDEST 00000737: PUSH1 0x01 00000739: PUSH1 0xa0 0000073b: PUSH1 0x02 0000073d: EXP 0000073e: SUB 0000073f: DUP4 00000740: AND 00000741: PUSH1 0x00 00000743: SWAP1 00000744: DUP2 00000745: MSTORE 00000746: PUSH1 0x0b 00000748: PUSH1 0x20 0000074a: SWAP1 0000074b: DUP2 0000074c: MSTORE 0000074d: PUSH1 0x40 0000074f: DUP1 00000750: DUP4 00000751: KECCAK256 00000752: SWAP4 00000753: SWAP1 00000754: SWAP4 00000755: SSTORE 00000756: PUSH1 0x0a 00000758: SWAP1 00000759: MSTORE 0000075a: KECCAK256 0000075b: SLOAD 0000075c: TIMESTAMP 0000075d: LT 0000075e: PUSH2 0x076b 00000761: JUMPI 00000762: TIMESTAMP 00000763: PUSH2 0x0e10 00000766: ADD 00000767: PUSH2 0x0785 0000076a: JUMP 0000076b: JUMPDEST 0000076c: PUSH1 0x01 0000076e: PUSH1 0xa0 00000770: PUSH1 0x02 00000772: EXP 00000773: SUB 00000774: DUP3 00000775: AND 00000776: PUSH1 0x00 00000778: SWAP1 00000779: DUP2 0000077a: MSTORE 0000077b: PUSH1 0x0a 0000077d: PUSH1 0x20 0000077f: MSTORE 00000780: PUSH1 0x40 00000782: SWAP1 00000783: KECCAK256 00000784: SLOAD 00000785: JUMPDEST 00000786: PUSH1 0x01 00000788: PUSH1 0xa0 0000078a: PUSH1 0x02 0000078c: EXP 0000078d: SUB 0000078e: DUP1 0000078f: DUP5 00000790: AND 00000791: PUSH1 0x00 00000793: SWAP1 00000794: DUP2 00000795: MSTORE 00000796: PUSH1 0x0a 00000798: PUSH1 0x20 0000079a: SWAP1 0000079b: DUP2 0000079c: MSTORE 0000079d: PUSH1 0x40 0000079f: DUP1 000007a0: DUP4 000007a1: KECCAK256 000007a2: SWAP5 000007a3: SWAP1 000007a4: SWAP5 000007a5: SSTORE 000007a6: SWAP2 000007a7: DUP7 000007a8: AND 000007a9: DUP2 000007aa: MSTORE 000007ab: PUSH1 0x0b 000007ad: SWAP1 000007ae: SWAP2 000007af: MSTORE 000007b0: KECCAK256 000007b1: SLOAD 000007b2: PUSH2 0x07c1 000007b5: SWAP1 000007b6: DUP3 000007b7: PUSH4 0xffffffff 000007bc: PUSH2 0x0d3b 000007bf: AND 000007c0: JUMP 000007c1: JUMPDEST 000007c2: PUSH1 0x01 000007c4: PUSH1 0xa0 000007c6: PUSH1 0x02 000007c8: EXP 000007c9: SUB 000007ca: DUP1 000007cb: DUP6 000007cc: AND 000007cd: PUSH1 0x00 000007cf: DUP2 000007d0: DUP2 000007d1: MSTORE 000007d2: PUSH1 0x0b 000007d4: PUSH1 0x20 000007d6: SWAP1 000007d7: DUP2 000007d8: MSTORE 000007d9: PUSH1 0x40 000007db: SWAP2 000007dc: DUP3 000007dd: SWAP1 000007de: KECCAK256 000007df: SWAP5 000007e0: SWAP1 000007e1: SWAP5 000007e2: SSTORE 000007e3: DUP1 000007e4: MLOAD 000007e5: DUP6 000007e6: DUP2 000007e7: MSTORE 000007e8: SWAP1 000007e9: MLOAD 000007ea: SWAP3 000007eb: DUP7 000007ec: AND 000007ed: SWAP4 000007ee: SWAP2 000007ef: SWAP3 000007f0: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00000811: SWAP3 00000812: SWAP2 00000813: DUP2 00000814: SWAP1 00000815: SUB 00000816: SWAP1 00000817: SWAP2 00000818: ADD 00000819: SWAP1 0000081a: LOG3 0000081b: POP 0000081c: POP 0000081d: POP 0000081e: JUMP 0000081f: JUMPDEST 00000820: PUSH1 0x0b 00000822: PUSH1 0x20 00000824: MSTORE 00000825: PUSH1 0x00 00000827: SWAP1 00000828: DUP2 00000829: MSTORE 0000082a: PUSH1 0x40 0000082c: SWAP1 0000082d: KECCAK256 0000082e: SLOAD 0000082f: DUP2 00000830: JUMP 00000831: JUMPDEST 00000832: PUSH1 0x08 00000834: SLOAD 00000835: DUP2 00000836: JUMP 00000837: JUMPDEST 00000838: PUSH1 0x03 0000083a: SLOAD 0000083b: PUSH1 0x01 0000083d: PUSH1 0xa0 0000083f: PUSH1 0x02 00000841: EXP 00000842: SUB 00000843: AND 00000844: DUP2 00000845: JUMP 00000846: JUMPDEST 00000847: PUSH1 0x01 00000849: PUSH1 0xa0 0000084b: PUSH1 0x02 0000084d: EXP 0000084e: SUB 0000084f: AND 00000850: PUSH1 0x00 00000852: SWAP1 00000853: DUP2 00000854: MSTORE 00000855: PUSH1 0x0b 00000857: PUSH1 0x20 00000859: MSTORE 0000085a: PUSH1 0x40 0000085c: SWAP1 0000085d: KECCAK256 0000085e: SLOAD 0000085f: SWAP1 00000860: JUMP 00000861: JUMPDEST 00000862: PUSH1 0x40 00000864: DUP1 00000865: MLOAD 00000866: PUSH13 0x01000000000000000000000000 00000874: PUSH1 0x01 00000876: PUSH1 0xa0 00000878: PUSH1 0x02 0000087a: EXP 0000087b: SUB 0000087c: DUP1 0000087d: DUP8 0000087e: AND 0000087f: DUP3 00000880: MUL 00000881: DUP4 00000882: MSTORE 00000883: DUP6 00000884: AND 00000885: MUL 00000886: PUSH1 0x14 00000888: DUP3 00000889: ADD 0000088a: MSTORE 0000088b: PUSH1 0x28 0000088d: DUP2 0000088e: ADD 0000088f: DUP4 00000890: SWAP1 00000891: MSTORE 00000892: SWAP1 00000893: MLOAD 00000894: SWAP1 00000895: DUP2 00000896: SWAP1 00000897: SUB 00000898: PUSH1 0x48 0000089a: ADD 0000089b: SWAP1 0000089c: KECCAK256 0000089d: SWAP4 0000089e: SWAP3 0000089f: POP 000008a0: POP 000008a1: POP 000008a2: JUMP 000008a3: JUMPDEST 000008a4: PUSH1 0x05 000008a6: PUSH1 0x20 000008a8: MSTORE 000008a9: PUSH1 0x00 000008ab: SWAP1 000008ac: DUP2 000008ad: MSTORE 000008ae: PUSH1 0x40 000008b0: SWAP1 000008b1: KECCAK256 000008b2: SLOAD 000008b3: PUSH1 0xff 000008b5: AND 000008b6: DUP2 000008b7: JUMP 000008b8: JUMPDEST 000008b9: PUSH1 0x40 000008bb: DUP1 000008bc: MLOAD 000008bd: PUSH32 0x19457468657265756d205369676e6564204d6573736167653a0a333200000000 000008de: DUP2 000008df: MSTORE 000008e0: PUSH1 0x1c 000008e2: DUP2 000008e3: ADD 000008e4: DUP7 000008e5: SWAP1 000008e6: MSTORE 000008e7: DUP2 000008e8: MLOAD 000008e9: SWAP1 000008ea: DUP2 000008eb: SWAP1 000008ec: SUB 000008ed: PUSH1 0x3c 000008ef: ADD 000008f0: DUP2 000008f1: KECCAK256 000008f2: PUSH1 0x00 000008f4: DUP1 000008f5: DUP4 000008f6: MSTORE 000008f7: PUSH1 0x20 000008f9: DUP4 000008fa: DUP2 000008fb: ADD 000008fc: DUP1 000008fd: DUP7 000008fe: MSTORE 000008ff: SWAP3 00000900: SWAP1 00000901: SWAP3 00000902: MSTORE 00000903: PUSH1 0xff 00000905: DUP8 00000906: AND 00000907: DUP4 00000908: DUP6 00000909: ADD 0000090a: MSTORE 0000090b: PUSH1 0x60 0000090d: DUP4 0000090e: ADD 0000090f: DUP7 00000910: SWAP1 00000911: MSTORE 00000912: PUSH1 0x80 00000914: DUP4 00000915: ADD 00000916: DUP6 00000917: SWAP1 00000918: MSTORE 00000919: SWAP3 0000091a: MLOAD 0000091b: PUSH1 0x05 0000091d: SWAP3 0000091e: DUP5 0000091f: SWAP3 00000920: PUSH1 0x01 00000922: SWAP3 00000923: PUSH1 0xa0 00000925: DUP1 00000926: DUP5 00000927: ADD 00000928: SWAP4 00000929: PUSH1 0x1f 0000092b: NOT 0000092c: DUP4 0000092d: ADD 0000092e: SWAP3 0000092f: SWAP1 00000930: DUP2 00000931: SWAP1 00000932: SUB 00000933: SWAP1 00000934: SWAP2 00000935: ADD 00000936: SWAP1 00000937: DUP7 00000938: DUP7 00000939: GAS 0000093a: CALL 0000093b: ISZERO 0000093c: DUP1 0000093d: ISZERO 0000093e: PUSH2 0x094b 00000941: JUMPI 00000942: RETURNDATASIZE 00000943: PUSH1 0x00 00000945: DUP1 00000946: RETURNDATACOPY 00000947: RETURNDATASIZE 00000948: PUSH1 0x00 0000094a: REVERT 0000094b: JUMPDEST 0000094c: POP 0000094d: POP 0000094e: PUSH1 0x40 00000950: DUP1 00000951: MLOAD 00000952: PUSH1 0x1f 00000954: NOT 00000955: ADD 00000956: MLOAD 00000957: PUSH1 0x01 00000959: PUSH1 0xa0 0000095b: PUSH1 0x02 0000095d: EXP 0000095e: SUB 0000095f: AND 00000960: DUP4 00000961: MSTORE 00000962: PUSH1 0x20 00000964: DUP4 00000965: ADD 00000966: SWAP4 00000967: SWAP1 00000968: SWAP4 00000969: MSTORE 0000096a: POP 0000096b: ADD 0000096c: PUSH1 0x00 0000096e: KECCAK256 0000096f: SLOAD 00000970: PUSH1 0xff 00000972: AND 00000973: SWAP6 00000974: SWAP5 00000975: POP 00000976: POP 00000977: POP 00000978: POP 00000979: POP 0000097a: JUMP 0000097b: JUMPDEST 0000097c: PUSH1 0x02 0000097e: SLOAD 0000097f: PUSH1 0x01 00000981: PUSH1 0xa0 00000983: PUSH1 0x02 00000985: EXP 00000986: SUB 00000987: AND 00000988: DUP2 00000989: JUMP 0000098a: JUMPDEST 0000098b: PUSH1 0x07 0000098d: DUP1 0000098e: SLOAD 0000098f: PUSH1 0x40 00000991: DUP1 00000992: MLOAD 00000993: PUSH1 0x20 00000995: PUSH1 0x02 00000997: PUSH1 0x01 00000999: DUP6 0000099a: AND 0000099b: ISZERO 0000099c: PUSH2 0x0100 0000099f: MUL 000009a0: PUSH1 0x00 000009a2: NOT 000009a3: ADD 000009a4: SWAP1 000009a5: SWAP5 000009a6: AND 000009a7: SWAP4 000009a8: SWAP1 000009a9: SWAP4 000009aa: DIV 000009ab: PUSH1 0x1f 000009ad: DUP2 000009ae: ADD 000009af: DUP5 000009b0: SWAP1 000009b1: DIV 000009b2: DUP5 000009b3: MUL 000009b4: DUP3 000009b5: ADD 000009b6: DUP5 000009b7: ADD 000009b8: SWAP1 000009b9: SWAP3 000009ba: MSTORE 000009bb: DUP2 000009bc: DUP2 000009bd: MSTORE 000009be: SWAP3 000009bf: SWAP2 000009c0: DUP4 000009c1: ADD 000009c2: DUP3 000009c3: DUP3 000009c4: DUP1 000009c5: ISZERO 000009c6: PUSH2 0x04f2 000009c9: JUMPI 000009ca: DUP1 000009cb: PUSH1 0x1f 000009cd: LT 000009ce: PUSH2 0x04c7 000009d1: JUMPI 000009d2: PUSH2 0x0100 000009d5: DUP1 000009d6: DUP4 000009d7: SLOAD 000009d8: DIV 000009d9: MUL 000009da: DUP4 000009db: MSTORE 000009dc: SWAP2 000009dd: PUSH1 0x20 000009df: ADD 000009e0: SWAP2 000009e1: PUSH2 0x04f2 000009e4: JUMP 000009e5: JUMPDEST 000009e6: PUSH1 0x00 000009e8: JUMPDEST 000009e9: SWAP3 000009ea: SWAP2 000009eb: POP 000009ec: POP 000009ed: JUMP 000009ee: JUMPDEST 000009ef: PUSH1 0x04 000009f1: SLOAD 000009f2: PUSH1 0x01 000009f4: PUSH1 0xa0 000009f6: PUSH1 0x02 000009f8: EXP 000009f9: SUB 000009fa: AND 000009fb: DUP2 000009fc: JUMP 000009fd: JUMPDEST 000009fe: PUSH1 0x0a 00000a00: PUSH1 0x20 00000a02: MSTORE 00000a03: PUSH1 0x00 00000a05: SWAP1 00000a06: DUP2 00000a07: MSTORE 00000a08: PUSH1 0x40 00000a0a: SWAP1 00000a0b: KECCAK256 00000a0c: SLOAD 00000a0d: DUP2 00000a0e: JUMP 00000a0f: JUMPDEST 00000a10: PUSH1 0x02 00000a12: SLOAD 00000a13: PUSH1 0x00 00000a15: SWAP1 00000a16: PUSH1 0x01 00000a18: PUSH1 0xa0 00000a1a: PUSH1 0x02 00000a1c: EXP 00000a1d: SUB 00000a1e: AND 00000a1f: CALLER 00000a20: EQ 00000a21: PUSH2 0x0a29 00000a24: JUMPI 00000a25: PUSH1 0x00 00000a27: DUP1 00000a28: REVERT 00000a29: JUMPDEST 00000a2a: PUSH1 0x09 00000a2c: SLOAD 00000a2d: PUSH1 0x01 00000a2f: PUSH1 0xa0 00000a31: PUSH1 0x02 00000a33: EXP 00000a34: SUB 00000a35: DUP4 00000a36: DUP2 00000a37: AND 00000a38: SWAP2 00000a39: AND 00000a3a: EQ 00000a3b: ISZERO 00000a3c: PUSH2 0x0a44 00000a3f: JUMPI 00000a40: PUSH1 0x00 00000a42: DUP1 00000a43: REVERT 00000a44: JUMPDEST 00000a45: PUSH1 0x40 00000a47: DUP1 00000a48: MLOAD 00000a49: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000 00000a6a: DUP2 00000a6b: MSTORE 00000a6c: ADDRESS 00000a6d: PUSH1 0x04 00000a6f: DUP3 00000a70: ADD 00000a71: MSTORE 00000a72: SWAP1 00000a73: MLOAD 00000a74: PUSH1 0x00 00000a76: SWAP2 00000a77: PUSH1 0x01 00000a79: PUSH1 0xa0 00000a7b: PUSH1 0x02 00000a7d: EXP 00000a7e: SUB 00000a7f: DUP6 00000a80: AND 00000a81: SWAP2 00000a82: PUSH4 0x70a08231 00000a87: SWAP2 00000a88: PUSH1 0x24 00000a8a: DUP1 00000a8b: DUP3 00000a8c: ADD 00000a8d: SWAP3 00000a8e: PUSH1 0x20 00000a90: SWAP3 00000a91: SWAP1 00000a92: SWAP2 00000a93: SWAP1 00000a94: DUP3 00000a95: SWAP1 00000a96: SUB 00000a97: ADD 00000a98: DUP2 00000a99: DUP8 00000a9a: DUP8 00000a9b: DUP1 00000a9c: EXTCODESIZE 00000a9d: ISZERO 00000a9e: DUP1 00000a9f: ISZERO 00000aa0: PUSH2 0x0aa8 00000aa3: JUMPI 00000aa4: PUSH1 0x00 00000aa6: DUP1 00000aa7: REVERT 00000aa8: JUMPDEST 00000aa9: POP 00000aaa: GAS 00000aab: CALL 00000aac: ISZERO 00000aad: DUP1 00000aae: ISZERO 00000aaf: PUSH2 0x0abc 00000ab2: JUMPI 00000ab3: RETURNDATASIZE 00000ab4: PUSH1 0x00 00000ab6: DUP1 00000ab7: RETURNDATACOPY 00000ab8: RETURNDATASIZE 00000ab9: PUSH1 0x00 00000abb: REVERT 00000abc: JUMPDEST 00000abd: POP 00000abe: POP 00000abf: POP 00000ac0: POP 00000ac1: PUSH1 0x40 00000ac3: MLOAD 00000ac4: RETURNDATASIZE 00000ac5: PUSH1 0x20 00000ac7: DUP2 00000ac8: LT 00000ac9: ISZERO 00000aca: PUSH2 0x0ad2 00000acd: JUMPI 00000ace: PUSH1 0x00 00000ad0: DUP1 00000ad1: REVERT 00000ad2: JUMPDEST 00000ad3: POP 00000ad4: MLOAD 00000ad5: GT 00000ad6: PUSH2 0x0ade 00000ad9: JUMPI 00000ada: PUSH1 0x00 00000adc: DUP1 00000add: REVERT 00000ade: JUMPDEST 00000adf: PUSH1 0x40 00000ae1: DUP1 00000ae2: MLOAD 00000ae3: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000 00000b04: DUP2 00000b05: MSTORE 00000b06: ADDRESS 00000b07: PUSH1 0x04 00000b09: DUP3 00000b0a: ADD 00000b0b: MSTORE 00000b0c: SWAP1 00000b0d: MLOAD 00000b0e: PUSH2 0x0b88 00000b11: SWAP2 00000b12: CALLER 00000b13: SWAP2 00000b14: PUSH1 0x01 00000b16: PUSH1 0xa0 00000b18: PUSH1 0x02 00000b1a: EXP 00000b1b: SUB 00000b1c: DUP7 00000b1d: AND 00000b1e: SWAP2 00000b1f: PUSH4 0x70a08231 00000b24: SWAP2 00000b25: PUSH1 0x24 00000b27: DUP1 00000b28: DUP4 00000b29: ADD 00000b2a: SWAP3 00000b2b: PUSH1 0x20 00000b2d: SWAP3 00000b2e: SWAP2 00000b2f: SWAP1 00000b30: DUP3 00000b31: SWAP1 00000b32: SUB 00000b33: ADD 00000b34: DUP2 00000b35: PUSH1 0x00 00000b37: DUP8 00000b38: DUP1 00000b39: EXTCODESIZE 00000b3a: ISZERO 00000b3b: DUP1 00000b3c: ISZERO 00000b3d: PUSH2 0x0b45 00000b40: JUMPI 00000b41: PUSH1 0x00 00000b43: DUP1 00000b44: REVERT 00000b45: JUMPDEST 00000b46: POP 00000b47: GAS 00000b48: CALL 00000b49: ISZERO 00000b4a: DUP1 00000b4b: ISZERO 00000b4c: PUSH2 0x0b59 00000b4f: JUMPI 00000b50: RETURNDATASIZE 00000b51: PUSH1 0x00 00000b53: DUP1 00000b54: RETURNDATACOPY 00000b55: RETURNDATASIZE 00000b56: PUSH1 0x00 00000b58: REVERT 00000b59: JUMPDEST 00000b5a: POP 00000b5b: POP 00000b5c: POP 00000b5d: POP 00000b5e: PUSH1 0x40 00000b60: MLOAD 00000b61: RETURNDATASIZE 00000b62: PUSH1 0x20 00000b64: DUP2 00000b65: LT 00000b66: ISZERO 00000b67: PUSH2 0x0b6f 00000b6a: JUMPI 00000b6b: PUSH1 0x00 00000b6d: DUP1 00000b6e: REVERT 00000b6f: JUMPDEST 00000b70: POP 00000b71: MLOAD 00000b72: PUSH1 0x01 00000b74: PUSH1 0xa0 00000b76: PUSH1 0x02 00000b78: EXP 00000b79: SUB 00000b7a: DUP6 00000b7b: AND 00000b7c: SWAP2 00000b7d: SWAP1 00000b7e: PUSH4 0xffffffff 00000b83: PUSH2 0x0d63 00000b86: AND 00000b87: JUMP 00000b88: JUMPDEST 00000b89: POP 00000b8a: PUSH1 0x01 00000b8c: SWAP2 00000b8d: SWAP1 00000b8e: POP 00000b8f: JUMP 00000b90: JUMPDEST 00000b91: PUSH1 0x03 00000b93: SLOAD 00000b94: PUSH1 0x00 00000b96: SWAP1 00000b97: PUSH1 0x01 00000b99: PUSH1 0xa0 00000b9b: PUSH1 0x02 00000b9d: EXP 00000b9e: SUB 00000b9f: DUP4 00000ba0: DUP2 00000ba1: AND 00000ba2: SWAP2 00000ba3: AND 00000ba4: EQ 00000ba5: DUP1 00000ba6: PUSH2 0x0bbc 00000ba9: JUMPI 00000baa: POP 00000bab: PUSH1 0x04 00000bad: SLOAD 00000bae: PUSH1 0x01 00000bb0: PUSH1 0xa0 00000bb2: PUSH1 0x02 00000bb4: EXP 00000bb5: SUB 00000bb6: DUP4 00000bb7: DUP2 00000bb8: AND 00000bb9: SWAP2 00000bba: AND 00000bbb: EQ 00000bbc: JUMPDEST 00000bbd: ISZERO 00000bbe: PUSH2 0x09e8 00000bc1: JUMPI 00000bc2: POP 00000bc3: PUSH1 0x00 00000bc5: NOT 00000bc6: PUSH2 0x09e8 00000bc9: JUMP 00000bca: JUMPDEST 00000bcb: PUSH1 0x00 00000bcd: PUSH1 0x01 00000bcf: DUP3 00000bd0: LT 00000bd1: ISZERO 00000bd2: PUSH2 0x0bda 00000bd5: JUMPI 00000bd6: PUSH1 0x00 00000bd8: DUP1 00000bd9: REVERT 00000bda: JUMPDEST 00000bdb: CALLER 00000bdc: PUSH1 0x00 00000bde: SWAP1 00000bdf: DUP2 00000be0: MSTORE 00000be1: PUSH1 0x0a 00000be3: PUSH1 0x20 00000be5: MSTORE 00000be6: PUSH1 0x40 00000be8: SWAP1 00000be9: KECCAK256 00000bea: SLOAD 00000beb: TIMESTAMP 00000bec: PUSH2 0x0e10 00000bef: DUP5 00000bf0: MUL 00000bf1: ADD 00000bf2: LT 00000bf3: ISZERO 00000bf4: PUSH2 0x0bfc 00000bf7: JUMPI 00000bf8: PUSH1 0x00 00000bfa: DUP1 00000bfb: REVERT 00000bfc: JUMPDEST 00000bfd: CALLER 00000bfe: PUSH1 0x00 00000c00: SWAP1 00000c01: DUP2 00000c02: MSTORE 00000c03: PUSH1 0x0b 00000c05: PUSH1 0x20 00000c07: MSTORE 00000c08: PUSH1 0x40 00000c0a: SWAP1 00000c0b: KECCAK256 00000c0c: SLOAD 00000c0d: PUSH2 0x0c1c 00000c10: SWAP1 00000c11: CALLVALUE 00000c12: PUSH4 0xffffffff 00000c17: PUSH2 0x0d4d 00000c1a: AND 00000c1b: JUMP 00000c1c: JUMPDEST 00000c1d: CALLER 00000c1e: PUSH1 0x00 00000c20: SWAP1 00000c21: DUP2 00000c22: MSTORE 00000c23: PUSH1 0x0b 00000c25: PUSH1 0x20 00000c27: MSTORE 00000c28: PUSH1 0x40 00000c2a: SWAP1 00000c2b: KECCAK256 00000c2c: SSTORE 00000c2d: PUSH1 0x01 00000c2f: SLOAD 00000c30: PUSH2 0x0c3f 00000c33: SWAP1 00000c34: CALLVALUE 00000c35: PUSH4 0xffffffff 00000c3a: PUSH2 0x0d4d 00000c3d: AND 00000c3e: JUMP 00000c3f: JUMPDEST 00000c40: PUSH1 0x01 00000c42: SWAP1 00000c43: DUP2 00000c44: SSTORE 00000c45: CALLER 00000c46: PUSH1 0x00 00000c48: SWAP1 00000c49: DUP2 00000c4a: MSTORE 00000c4b: PUSH1 0x0a 00000c4d: PUSH1 0x20 00000c4f: MSTORE 00000c50: PUSH1 0x40 00000c52: SWAP1 00000c53: KECCAK256 00000c54: TIMESTAMP 00000c55: PUSH2 0x0e10 00000c58: DUP6 00000c59: MUL 00000c5a: ADD 00000c5b: SWAP1 00000c5c: SSTORE 00000c5d: SWAP1 00000c5e: POP 00000c5f: SWAP3 00000c60: SWAP2 00000c61: POP 00000c62: POP 00000c63: JUMP 00000c64: JUMPDEST 00000c65: CALLER 00000c66: PUSH1 0x00 00000c68: SWAP1 00000c69: DUP2 00000c6a: MSTORE 00000c6b: PUSH1 0x05 00000c6d: PUSH1 0x20 00000c6f: MSTORE 00000c70: PUSH1 0x40 00000c72: SWAP1 00000c73: KECCAK256 00000c74: SLOAD 00000c75: PUSH1 0xff 00000c77: AND 00000c78: ISZERO 00000c79: ISZERO 00000c7a: PUSH2 0x0c82 00000c7d: JUMPI 00000c7e: PUSH1 0x00 00000c80: DUP1 00000c81: REVERT 00000c82: JUMPDEST 00000c83: PUSH1 0x01 00000c85: PUSH1 0xa0 00000c87: PUSH1 0x02 00000c89: EXP 00000c8a: SUB 00000c8b: AND 00000c8c: PUSH1 0x00 00000c8e: SWAP1 00000c8f: DUP2 00000c90: MSTORE 00000c91: PUSH1 0x05 00000c93: PUSH1 0x20 00000c95: MSTORE 00000c96: PUSH1 0x40 00000c98: SWAP1 00000c99: KECCAK256 00000c9a: DUP1 00000c9b: SLOAD 00000c9c: PUSH1 0xff 00000c9e: NOT 00000c9f: AND 00000ca0: PUSH1 0x01 00000ca2: OR 00000ca3: SWAP1 00000ca4: SSTORE 00000ca5: JUMP 00000ca6: JUMPDEST 00000ca7: PUSH1 0x02 00000ca9: SLOAD 00000caa: PUSH1 0x01 00000cac: PUSH1 0xa0 00000cae: PUSH1 0x02 00000cb0: EXP 00000cb1: SUB 00000cb2: AND 00000cb3: CALLER 00000cb4: EQ 00000cb5: PUSH2 0x0cbd 00000cb8: JUMPI 00000cb9: PUSH1 0x00 00000cbb: DUP1 00000cbc: REVERT 00000cbd: JUMPDEST 00000cbe: PUSH1 0x01 00000cc0: PUSH1 0xa0 00000cc2: PUSH1 0x02 00000cc4: EXP 00000cc5: SUB 00000cc6: DUP2 00000cc7: AND 00000cc8: ISZERO 00000cc9: ISZERO 00000cca: PUSH2 0x0cd2 00000ccd: JUMPI 00000cce: PUSH1 0x00 00000cd0: DUP1 00000cd1: REVERT 00000cd2: JUMPDEST 00000cd3: PUSH1 0x02 00000cd5: SLOAD 00000cd6: PUSH1 0x40 00000cd8: MLOAD 00000cd9: PUSH1 0x01 00000cdb: PUSH1 0xa0 00000cdd: PUSH1 0x02 00000cdf: EXP 00000ce0: SUB 00000ce1: DUP1 00000ce2: DUP5 00000ce3: AND 00000ce4: SWAP3 00000ce5: AND 00000ce6: SWAP1 00000ce7: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00000d08: SWAP1 00000d09: PUSH1 0x00 00000d0b: SWAP1 00000d0c: LOG3 00000d0d: PUSH1 0x02 00000d0f: DUP1 00000d10: SLOAD 00000d11: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d26: NOT 00000d27: AND 00000d28: PUSH1 0x01 00000d2a: PUSH1 0xa0 00000d2c: PUSH1 0x02 00000d2e: EXP 00000d2f: SUB 00000d30: SWAP3 00000d31: SWAP1 00000d32: SWAP3 00000d33: AND 00000d34: SWAP2 00000d35: SWAP1 00000d36: SWAP2 00000d37: OR 00000d38: SWAP1 00000d39: SSTORE 00000d3a: JUMP 00000d3b: JUMPDEST 00000d3c: PUSH1 0x00 00000d3e: DUP3 00000d3f: DUP3 00000d40: GT 00000d41: ISZERO 00000d42: PUSH2 0x0d47 00000d45: JUMPI 00000d46: INVALID 00000d47: JUMPDEST 00000d48: POP 00000d49: SWAP1 00000d4a: SUB 00000d4b: SWAP1 00000d4c: JUMP 00000d4d: JUMPDEST 00000d4e: PUSH1 0x00 00000d50: DUP3 00000d51: DUP3 00000d52: ADD 00000d53: DUP4 00000d54: DUP2 00000d55: LT 00000d56: ISZERO 00000d57: PUSH2 0x0d5c 00000d5a: JUMPI 00000d5b: INVALID 00000d5c: JUMPDEST 00000d5d: SWAP4 00000d5e: SWAP3 00000d5f: POP 00000d60: POP 00000d61: POP 00000d62: JUMP 00000d63: JUMPDEST 00000d64: PUSH1 0x40 00000d66: DUP1 00000d67: MLOAD 00000d68: PUSH1 0x01 00000d6a: PUSH1 0xa0 00000d6c: PUSH1 0x02 00000d6e: EXP 00000d6f: SUB 00000d70: DUP5 00000d71: AND 00000d72: PUSH1 0x24 00000d74: DUP3 00000d75: ADD 00000d76: MSTORE 00000d77: PUSH1 0x44 00000d79: DUP1 00000d7a: DUP3 00000d7b: ADD 00000d7c: DUP5 00000d7d: SWAP1 00000d7e: MSTORE 00000d7f: DUP3 00000d80: MLOAD 00000d81: DUP1 00000d82: DUP4 00000d83: SUB 00000d84: SWAP1 00000d85: SWAP2 00000d86: ADD 00000d87: DUP2 00000d88: MSTORE 00000d89: PUSH1 0x64 00000d8b: SWAP1 00000d8c: SWAP2 00000d8d: ADD 00000d8e: SWAP1 00000d8f: SWAP2 00000d90: MSTORE 00000d91: PUSH1 0x20 00000d93: DUP2 00000d94: ADD 00000d95: DUP1 00000d96: MLOAD 00000d97: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00000db4: AND 00000db5: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000 00000dd6: OR 00000dd7: SWAP1 00000dd8: MSTORE 00000dd9: PUSH2 0x0de3 00000ddc: SWAP1 00000ddd: DUP5 00000dde: SWAP1 00000ddf: PUSH2 0x0de8 00000de2: JUMP 00000de3: JUMPDEST 00000de4: POP 00000de5: POP 00000de6: POP 00000de7: JUMP 00000de8: JUMPDEST 00000de9: PUSH1 0x00 00000deb: PUSH2 0x0dfc 00000dee: DUP4 00000def: PUSH1 0x01 00000df1: PUSH1 0xa0 00000df3: PUSH1 0x02 00000df5: EXP 00000df6: SUB 00000df7: AND 00000df8: PUSH2 0x0f4f 00000dfb: JUMP 00000dfc: JUMPDEST 00000dfd: ISZERO 00000dfe: ISZERO 00000dff: PUSH2 0x0e69 00000e02: JUMPI 00000e03: PUSH1 0x40 00000e05: DUP1 00000e06: MLOAD 00000e07: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000e28: DUP2 00000e29: MSTORE 00000e2a: PUSH1 0x20 00000e2c: PUSH1 0x04 00000e2e: DUP3 00000e2f: ADD 00000e30: MSTORE 00000e31: PUSH1 0x1f 00000e33: PUSH1 0x24 00000e35: DUP3 00000e36: ADD 00000e37: MSTORE 00000e38: PUSH32 0x5361666545524332303a2063616c6c20746f206e6f6e2d636f6e747261637400 00000e59: PUSH1 0x44 00000e5b: DUP3 00000e5c: ADD 00000e5d: MSTORE 00000e5e: SWAP1 00000e5f: MLOAD 00000e60: SWAP1 00000e61: DUP2 00000e62: SWAP1 00000e63: SUB 00000e64: PUSH1 0x64 00000e66: ADD 00000e67: SWAP1 00000e68: REVERT 00000e69: JUMPDEST 00000e6a: DUP3 00000e6b: PUSH1 0x01 00000e6d: PUSH1 0xa0 00000e6f: PUSH1 0x02 00000e71: EXP 00000e72: SUB 00000e73: AND 00000e74: DUP3 00000e75: PUSH1 0x40 00000e77: MLOAD 00000e78: DUP1 00000e79: DUP3 00000e7a: DUP1 00000e7b: MLOAD 00000e7c: SWAP1 00000e7d: PUSH1 0x20 00000e7f: ADD 00000e80: SWAP1 00000e81: DUP1 00000e82: DUP4 00000e83: DUP4 00000e84: PUSH1 0x00 00000e86: JUMPDEST 00000e87: DUP4 00000e88: DUP2 00000e89: LT 00000e8a: ISZERO 00000e8b: PUSH2 0x0e9e 00000e8e: JUMPI 00000e8f: DUP2 00000e90: DUP2 00000e91: ADD 00000e92: MLOAD 00000e93: DUP4 00000e94: DUP3 00000e95: ADD 00000e96: MSTORE 00000e97: PUSH1 0x20 00000e99: ADD 00000e9a: PUSH2 0x0e86 00000e9d: JUMP 00000e9e: JUMPDEST 00000e9f: POP 00000ea0: POP 00000ea1: POP 00000ea2: POP 00000ea3: SWAP1 00000ea4: POP 00000ea5: SWAP1 00000ea6: DUP2 00000ea7: ADD 00000ea8: SWAP1 00000ea9: PUSH1 0x1f 00000eab: AND 00000eac: DUP1 00000ead: ISZERO 00000eae: PUSH2 0x0ecb 00000eb1: JUMPI 00000eb2: DUP1 00000eb3: DUP3 00000eb4: SUB 00000eb5: DUP1 00000eb6: MLOAD 00000eb7: PUSH1 0x01 00000eb9: DUP4 00000eba: PUSH1 0x20 00000ebc: SUB 00000ebd: PUSH2 0x0100 00000ec0: EXP 00000ec1: SUB 00000ec2: NOT 00000ec3: AND 00000ec4: DUP2 00000ec5: MSTORE 00000ec6: PUSH1 0x20 00000ec8: ADD 00000ec9: SWAP2 00000eca: POP 00000ecb: JUMPDEST 00000ecc: POP 00000ecd: SWAP2 00000ece: POP 00000ecf: POP 00000ed0: PUSH1 0x00 00000ed2: PUSH1 0x40 00000ed4: MLOAD 00000ed5: DUP1 00000ed6: DUP4 00000ed7: SUB 00000ed8: DUP2 00000ed9: PUSH1 0x00 00000edb: DUP7 00000edc: GAS 00000edd: CALL 00000ede: SWAP3 00000edf: POP 00000ee0: POP 00000ee1: POP 00000ee2: DUP1 00000ee3: ISZERO 00000ee4: ISZERO 00000ee5: PUSH2 0x0de3 00000ee8: JUMPI 00000ee9: PUSH1 0x40 00000eeb: DUP1 00000eec: MLOAD 00000eed: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000f0e: DUP2 00000f0f: MSTORE 00000f10: PUSH1 0x20 00000f12: PUSH1 0x04 00000f14: DUP3 00000f15: ADD 00000f16: DUP2 00000f17: SWAP1 00000f18: MSTORE 00000f19: PUSH1 0x24 00000f1b: DUP3 00000f1c: ADD 00000f1d: MSTORE 00000f1e: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564 00000f3f: PUSH1 0x44 00000f41: DUP3 00000f42: ADD 00000f43: MSTORE 00000f44: SWAP1 00000f45: MLOAD 00000f46: SWAP1 00000f47: DUP2 00000f48: SWAP1 00000f49: SUB 00000f4a: PUSH1 0x64 00000f4c: ADD 00000f4d: SWAP1 00000f4e: REVERT 00000f4f: JUMPDEST 00000f50: PUSH1 0x00 00000f52: SWAP1 00000f53: EXTCODESIZE 00000f54: GT 00000f55: SWAP1 00000f56: JUMP 00000f57: STOP 00000f58: LOG1 00000f59: PUSH6 0x627a7a723058 00000f60: KECCAK256 00000f61: UNKNOWN(0xCF) 00000f62: UNKNOWN(0x21) 00000f63: REVERT 00000f64: UNKNOWN(0xCE) 00000f65: CALLDATACOPY 00000f66: CODECOPY 00000f67: BLOCKHASH 00000f68: UNKNOWN(0xBC) 00000f69: UNKNOWN(0xB8) 00000f6a: PUSH32
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xad6b3c26c4166b002c3cbe6c0d1c788d0f02a7203cbe2253727ee8269b5c3e9f
call_targets:
0x50cb61afa3f023d17276dcfb35abf85c710d1cff
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xad6b3c26c4166b002c3cbe6c0d1c788d0f02a7203cbe2253727ee8269b5c3e9f",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x50cb61afa3f023d17276dcfb35abf85c710d1cff"
],
"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": "0x0e7c1cb5",
"selector": "0x0e7c1cb5",
"calldata_variants": [
"0x0e7c1cb5",
"0x0e7c1cb50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1d6f757d",
"selector": "0x1d6f757d",
"calldata_variants": [
"0x1d6f757d",
"0x1d6f757d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23b872dd",
"selector": "0x23b872dd",
"calldata_variants": [
"0x23b872dd",
"0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x27e235e3",
"selector": "0x27e235e3",
"calldata_variants": [
"0x27e235e3",
"0x27e235e30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x45164b3e",
"selector": "0x45164b3e",
"calldata_variants": [
"0x45164b3e",
"0x45164b3e0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1434,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1652,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2362,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 6,
"guards_detected": [],
"untrusted_call_count": 6
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0xad6b3c26c4166b002c3cbe6c0d1c788d0f02a7203cbe2253727ee8269b5c3e9f
call_targets:
0x50cb61afa3f023d17276dcfb35abf85c710d1cff
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xad6b3c26c4166b002c3cbe6c0d1c788d0f02a7203cbe2253727ee8269b5c3e9f",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x50cb61afa3f023d17276dcfb35abf85c710d1cff"
],
"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": "0x0e7c1cb5",
"selector": "0x0e7c1cb5",
"calldata_variants": [
"0x0e7c1cb5",
"0x0e7c1cb50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1d6f757d",
"selector": "0x1d6f757d",
"calldata_variants": [
"0x1d6f757d",
"0x1d6f757d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23b872dd",
"selector": "0x23b872dd",
"calldata_variants": [
"0x23b872dd",
"0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x27e235e3",
"selector": "0x27e235e3",
"calldata_variants": [
"0x27e235e3",
"0x27e235e30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x45164b3e",
"selector": "0x45164b3e",
"calldata_variants": [
"0x45164b3e",
"0x45164b3e0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1434,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1652,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2362,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 6,
"guards_detected": []
}
|