019b477e-ba28-7232-8a41-7569d3f28a24
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 |
|---|---|---|---|---|
| 23697 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 23698 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 90273 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 90274 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 90275 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 90276 | 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 0x013f 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x7b0a47ee 00000019: GT 0000001a: PUSH2 0x00b6 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xcd3daf9d 00000024: GT 00000025: PUSH2 0x006f 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xcd3daf9d 0000002f: EQ 00000030: PUSH2 0x03a5 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xd1af0c7d 0000003a: EQ 0000003b: PUSH2 0x03ba 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xd563b6c5 00000045: EQ 00000046: PUSH2 0x03cf 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xdf136d65 00000050: EQ 00000051: PUSH2 0x03e4 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xe04206b2 0000005b: EQ 0000005c: PUSH2 0x03f9 0000005f: JUMPI 00000060: DUP1 00000061: PUSH4 0xebe2b12b 00000066: EQ 00000067: PUSH2 0x040e 0000006a: JUMPI 0000006b: PUSH2 0x013f 0000006e: JUMP 0000006f: JUMPDEST 00000070: DUP1 00000071: PUSH4 0x7b0a47ee 00000076: EQ 00000077: PUSH2 0x0301 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0x80faa57d 00000081: EQ 00000082: PUSH2 0x0316 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0x8b876347 0000008c: EQ 0000008d: PUSH2 0x032b 00000090: JUMPI 00000091: DUP1 00000092: PUSH4 0x9afa71cc 00000097: EQ 00000098: PUSH2 0x035e 0000009b: JUMPI 0000009c: DUP1 0000009d: PUSH4 0xadaa2d25 000000a2: EQ 000000a3: PUSH2 0x0388 000000a6: JUMPI 000000a7: DUP1 000000a8: PUSH4 0xc8f33c91 000000ad: EQ 000000ae: PUSH2 0x0390 000000b1: JUMPI 000000b2: PUSH2 0x013f 000000b5: JUMP 000000b6: JUMPDEST 000000b7: DUP1 000000b8: PUSH4 0x356a9294 000000bd: GT 000000be: PUSH2 0x0108 000000c1: JUMPI 000000c2: DUP1 000000c3: PUSH4 0x356a9294 000000c8: EQ 000000c9: PUSH2 0x0234 000000cc: JUMPI 000000cd: DUP1 000000ce: PUSH4 0x386a9525 000000d3: EQ 000000d4: PUSH2 0x0249 000000d7: JUMPI 000000d8: DUP1 000000d9: PUSH4 0x3c6b16ab 000000de: EQ 000000df: PUSH2 0x025e 000000e2: JUMPI 000000e3: DUP1 000000e4: PUSH4 0x3d18b912 000000e9: EQ 000000ea: PUSH2 0x0288 000000ed: JUMPI 000000ee: DUP1 000000ef: PUSH4 0x3fc6df6e 000000f4: EQ 000000f5: PUSH2 0x029d 000000f8: JUMPI 000000f9: DUP1 000000fa: PUSH4 0x70a08231 000000ff: EQ 00000100: PUSH2 0x02ce 00000103: JUMPI 00000104: PUSH2 0x013f 00000107: JUMP 00000108: JUMPDEST 00000109: DUP1 0000010a: PUSH3 0x8cc262 0000010e: EQ 0000010f: PUSH2 0x0141 00000112: JUMPI 00000113: DUP1 00000114: PUSH4 0x0700037d 00000119: EQ 0000011a: PUSH2 0x0186 0000011d: JUMPI 0000011e: DUP1 0000011f: PUSH4 0x0aae7a6b 00000124: EQ 00000125: PUSH2 0x01b9 00000128: JUMPI 00000129: DUP1 0000012a: PUSH4 0x18160ddd 0000012f: EQ 00000130: PUSH2 0x020a 00000133: JUMPI 00000134: DUP1 00000135: PUSH4 0x1c1f78eb 0000013a: EQ 0000013b: PUSH2 0x021f 0000013e: JUMPI 0000013f: JUMPDEST 00000140: STOP 00000141: JUMPDEST 00000142: CALLVALUE 00000143: DUP1 00000144: ISZERO 00000145: PUSH2 0x014d 00000148: JUMPI 00000149: PUSH1 0x00 0000014b: DUP1 0000014c: REVERT 0000014d: JUMPDEST 0000014e: POP 0000014f: PUSH2 0x0174 00000152: PUSH1 0x04 00000154: DUP1 00000155: CALLDATASIZE 00000156: SUB 00000157: PUSH1 0x20 00000159: DUP2 0000015a: LT 0000015b: ISZERO 0000015c: PUSH2 0x0164 0000015f: JUMPI 00000160: PUSH1 0x00 00000162: DUP1 00000163: REVERT 00000164: JUMPDEST 00000165: POP 00000166: CALLDATALOAD 00000167: PUSH1 0x01 00000169: PUSH1 0x01 0000016b: PUSH1 0xa0 0000016d: SHL 0000016e: SUB 0000016f: AND 00000170: PUSH2 0x0423 00000173: JUMP 00000174: JUMPDEST 00000175: PUSH1 0x40 00000177: DUP1 00000178: MLOAD 00000179: SWAP2 0000017a: DUP3 0000017b: MSTORE 0000017c: MLOAD 0000017d: SWAP1 0000017e: DUP2 0000017f: SWAP1 00000180: SUB 00000181: PUSH1 0x20 00000183: ADD 00000184: SWAP1 00000185: RETURN 00000186: JUMPDEST 00000187: CALLVALUE 00000188: DUP1 00000189: ISZERO 0000018a: PUSH2 0x0192 0000018d: JUMPI 0000018e: PUSH1 0x00 00000190: DUP1 00000191: REVERT 00000192: JUMPDEST 00000193: POP 00000194: PUSH2 0x0174 00000197: PUSH1 0x04 00000199: DUP1 0000019a: CALLDATASIZE 0000019b: SUB 0000019c: PUSH1 0x20 0000019e: DUP2 0000019f: LT 000001a0: ISZERO 000001a1: PUSH2 0x01a9 000001a4: JUMPI 000001a5: PUSH1 0x00 000001a7: DUP1 000001a8: REVERT 000001a9: JUMPDEST 000001aa: POP 000001ab: CALLDATALOAD 000001ac: PUSH1 0x01 000001ae: PUSH1 0x01 000001b0: PUSH1 0xa0 000001b2: SHL 000001b3: SUB 000001b4: AND 000001b5: PUSH2 0x04b9 000001b8: JUMP 000001b9: JUMPDEST 000001ba: CALLVALUE 000001bb: DUP1 000001bc: ISZERO 000001bd: PUSH2 0x01c5 000001c0: JUMPI 000001c1: PUSH1 0x00 000001c3: DUP1 000001c4: REVERT 000001c5: JUMPDEST 000001c6: POP 000001c7: PUSH2 0x01ec 000001ca: PUSH1 0x04 000001cc: DUP1 000001cd: CALLDATASIZE 000001ce: SUB 000001cf: PUSH1 0x20 000001d1: DUP2 000001d2: LT 000001d3: ISZERO 000001d4: PUSH2 0x01dc 000001d7: JUMPI 000001d8: PUSH1 0x00 000001da: DUP1 000001db: REVERT 000001dc: JUMPDEST 000001dd: POP 000001de: CALLDATALOAD 000001df: PUSH1 0x01 000001e1: PUSH1 0x01 000001e3: PUSH1 0xa0 000001e5: SHL 000001e6: SUB 000001e7: AND 000001e8: PUSH2 0x04cb 000001eb: JUMP 000001ec: JUMPDEST 000001ed: PUSH1 0x40 000001ef: DUP1 000001f0: MLOAD 000001f1: SWAP4 000001f2: DUP5 000001f3: MSTORE 000001f4: PUSH1 0x20 000001f6: DUP5 000001f7: ADD 000001f8: SWAP3 000001f9: SWAP1 000001fa: SWAP3 000001fb: MSTORE 000001fc: DUP3 000001fd: DUP3 000001fe: ADD 000001ff: MSTORE 00000200: MLOAD 00000201: SWAP1 00000202: DUP2 00000203: SWAP1 00000204: SUB 00000205: PUSH1 0x60 00000207: ADD 00000208: SWAP1 00000209: RETURN 0000020a: JUMPDEST 0000020b: CALLVALUE 0000020c: DUP1 0000020d: ISZERO 0000020e: PUSH2 0x0216 00000211: JUMPI 00000212: PUSH1 0x00 00000214: DUP1 00000215: REVERT 00000216: JUMPDEST 00000217: POP 00000218: PUSH2 0x0174 0000021b: PUSH2 0x0551 0000021e: JUMP 0000021f: JUMPDEST 00000220: CALLVALUE 00000221: DUP1 00000222: ISZERO 00000223: PUSH2 0x022b 00000226: JUMPI 00000227: PUSH1 0x00 00000229: DUP1 0000022a: REVERT 0000022b: JUMPDEST 0000022c: POP 0000022d: PUSH2 0x0174 00000230: PUSH2 0x0558 00000233: JUMP 00000234: JUMPDEST 00000235: CALLVALUE 00000236: DUP1 00000237: ISZERO 00000238: PUSH2 0x0240 0000023b: JUMPI 0000023c: PUSH1 0x00 0000023e: DUP1 0000023f: REVERT 00000240: JUMPDEST 00000241: POP 00000242: PUSH2 0x013f 00000245: PUSH2 0x0576 00000248: JUMP 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 0x0174 0000025a: PUSH2 0x068b 0000025d: JUMP 0000025e: JUMPDEST 0000025f: CALLVALUE 00000260: DUP1 00000261: ISZERO 00000262: PUSH2 0x026a 00000265: JUMPI 00000266: PUSH1 0x00 00000268: DUP1 00000269: REVERT 0000026a: JUMPDEST 0000026b: POP 0000026c: PUSH2 0x013f 0000026f: PUSH1 0x04 00000271: DUP1 00000272: CALLDATASIZE 00000273: SUB 00000274: PUSH1 0x20 00000276: DUP2 00000277: LT 00000278: ISZERO 00000279: PUSH2 0x0281 0000027c: JUMPI 0000027d: PUSH1 0x00 0000027f: DUP1 00000280: REVERT 00000281: JUMPDEST 00000282: POP 00000283: CALLDATALOAD 00000284: PUSH2 0x0691 00000287: JUMP 00000288: JUMPDEST 00000289: CALLVALUE 0000028a: DUP1 0000028b: ISZERO 0000028c: PUSH2 0x0294 0000028f: JUMPI 00000290: PUSH1 0x00 00000292: DUP1 00000293: REVERT 00000294: JUMPDEST 00000295: POP 00000296: PUSH2 0x013f 00000299: PUSH2 0x08e2 0000029c: JUMP 0000029d: JUMPDEST 0000029e: CALLVALUE 0000029f: DUP1 000002a0: ISZERO 000002a1: PUSH2 0x02a9 000002a4: JUMPI 000002a5: PUSH1 0x00 000002a7: DUP1 000002a8: REVERT 000002a9: JUMPDEST 000002aa: POP 000002ab: PUSH2 0x02b2 000002ae: PUSH2 0x0a18 000002b1: JUMP 000002b2: JUMPDEST 000002b3: PUSH1 0x40 000002b5: DUP1 000002b6: MLOAD 000002b7: PUSH1 0x01 000002b9: PUSH1 0x01 000002bb: PUSH1 0xa0 000002bd: SHL 000002be: SUB 000002bf: SWAP1 000002c0: SWAP3 000002c1: AND 000002c2: DUP3 000002c3: MSTORE 000002c4: MLOAD 000002c5: SWAP1 000002c6: DUP2 000002c7: SWAP1 000002c8: SUB 000002c9: PUSH1 0x20 000002cb: ADD 000002cc: SWAP1 000002cd: RETURN 000002ce: JUMPDEST 000002cf: CALLVALUE 000002d0: DUP1 000002d1: ISZERO 000002d2: PUSH2 0x02da 000002d5: JUMPI 000002d6: PUSH1 0x00 000002d8: DUP1 000002d9: REVERT 000002da: JUMPDEST 000002db: POP 000002dc: PUSH2 0x0174 000002df: PUSH1 0x04 000002e1: DUP1 000002e2: CALLDATASIZE 000002e3: SUB 000002e4: PUSH1 0x20 000002e6: DUP2 000002e7: LT 000002e8: ISZERO 000002e9: PUSH2 0x02f1 000002ec: JUMPI 000002ed: PUSH1 0x00 000002ef: DUP1 000002f0: REVERT 000002f1: JUMPDEST 000002f2: POP 000002f3: CALLDATALOAD 000002f4: PUSH1 0x01 000002f6: PUSH1 0x01 000002f8: PUSH1 0xa0 000002fa: SHL 000002fb: SUB 000002fc: AND 000002fd: PUSH2 0x0a27 00000300: JUMP 00000301: JUMPDEST 00000302: CALLVALUE 00000303: DUP1 00000304: ISZERO 00000305: PUSH2 0x030d 00000308: JUMPI 00000309: PUSH1 0x00 0000030b: DUP1 0000030c: REVERT 0000030d: JUMPDEST 0000030e: POP 0000030f: PUSH2 0x0174 00000312: PUSH2 0x0a42 00000315: JUMP 00000316: JUMPDEST 00000317: CALLVALUE 00000318: DUP1 00000319: ISZERO 0000031a: PUSH2 0x0322 0000031d: JUMPI 0000031e: PUSH1 0x00 00000320: DUP1 00000321: REVERT 00000322: JUMPDEST 00000323: POP 00000324: PUSH2 0x0174 00000327: PUSH2 0x0a48 0000032a: JUMP 0000032b: JUMPDEST 0000032c: CALLVALUE 0000032d: DUP1 0000032e: ISZERO 0000032f: PUSH2 0x0337 00000332: JUMPI 00000333: PUSH1 0x00 00000335: DUP1 00000336: REVERT 00000337: JUMPDEST 00000338: POP 00000339: PUSH2 0x0174 0000033c: PUSH1 0x04 0000033e: DUP1 0000033f: CALLDATASIZE 00000340: SUB 00000341: PUSH1 0x20 00000343: DUP2 00000344: LT 00000345: ISZERO 00000346: PUSH2 0x034e 00000349: JUMPI 0000034a: PUSH1 0x00 0000034c: DUP1 0000034d: REVERT 0000034e: JUMPDEST 0000034f: POP 00000350: CALLDATALOAD 00000351: PUSH1 0x01 00000353: PUSH1 0x01 00000355: PUSH1 0xa0 00000357: SHL 00000358: SUB 00000359: AND 0000035a: PUSH2 0x0a56 0000035d: JUMP 0000035e: JUMPDEST 0000035f: CALLVALUE 00000360: DUP1 00000361: ISZERO 00000362: PUSH2 0x036a 00000365: JUMPI 00000366: PUSH1 0x00 00000368: DUP1 00000369: REVERT 0000036a: JUMPDEST 0000036b: POP 0000036c: PUSH2 0x013f 0000036f: PUSH1 0x04 00000371: DUP1 00000372: CALLDATASIZE 00000373: SUB 00000374: PUSH1 0x20 00000376: DUP2 00000377: LT 00000378: ISZERO 00000379: PUSH2 0x0381 0000037c: JUMPI 0000037d: PUSH1 0x00 0000037f: DUP1 00000380: REVERT 00000381: JUMPDEST 00000382: POP 00000383: CALLDATALOAD 00000384: PUSH2 0x0a68 00000387: JUMP 00000388: JUMPDEST 00000389: PUSH2 0x013f 0000038c: PUSH2 0x0bbf 0000038f: JUMP 00000390: JUMPDEST 00000391: CALLVALUE 00000392: DUP1 00000393: ISZERO 00000394: PUSH2 0x039c 00000397: JUMPI 00000398: PUSH1 0x00 0000039a: DUP1 0000039b: REVERT 0000039c: JUMPDEST 0000039d: POP 0000039e: PUSH2 0x0174 000003a1: PUSH2 0x0cde 000003a4: JUMP 000003a5: JUMPDEST 000003a6: CALLVALUE 000003a7: DUP1 000003a8: ISZERO 000003a9: PUSH2 0x03b1 000003ac: JUMPI 000003ad: PUSH1 0x00 000003af: DUP1 000003b0: REVERT 000003b1: JUMPDEST 000003b2: POP 000003b3: PUSH2 0x0174 000003b6: PUSH2 0x0ce4 000003b9: JUMP 000003ba: JUMPDEST 000003bb: CALLVALUE 000003bc: DUP1 000003bd: ISZERO 000003be: PUSH2 0x03c6 000003c1: JUMPI 000003c2: PUSH1 0x00 000003c4: DUP1 000003c5: REVERT 000003c6: JUMPDEST 000003c7: POP 000003c8: PUSH2 0x02b2 000003cb: PUSH2 0x0d32 000003ce: JUMP 000003cf: JUMPDEST 000003d0: CALLVALUE 000003d1: DUP1 000003d2: ISZERO 000003d3: PUSH2 0x03db 000003d6: JUMPI 000003d7: PUSH1 0x00 000003d9: DUP1 000003da: REVERT 000003db: JUMPDEST 000003dc: POP 000003dd: PUSH2 0x0174 000003e0: PUSH2 0x0d41 000003e3: JUMP 000003e4: JUMPDEST 000003e5: CALLVALUE 000003e6: DUP1 000003e7: ISZERO 000003e8: PUSH2 0x03f0 000003eb: JUMPI 000003ec: PUSH1 0x00 000003ee: DUP1 000003ef: REVERT 000003f0: JUMPDEST 000003f1: POP 000003f2: PUSH2 0x0174 000003f5: PUSH2 0x0d80 000003f8: JUMP 000003f9: JUMPDEST 000003fa: CALLVALUE 000003fb: DUP1 000003fc: ISZERO 000003fd: PUSH2 0x0405 00000400: JUMPI 00000401: PUSH1 0x00 00000403: DUP1 00000404: REVERT 00000405: JUMPDEST 00000406: POP 00000407: PUSH2 0x0174 0000040a: PUSH2 0x0d86 0000040d: JUMP 0000040e: JUMPDEST 0000040f: CALLVALUE 00000410: DUP1 00000411: ISZERO 00000412: PUSH2 0x041a 00000415: JUMPI 00000416: PUSH1 0x00 00000418: DUP1 00000419: REVERT 0000041a: JUMPDEST 0000041b: POP 0000041c: PUSH2 0x0174 0000041f: PUSH2 0x0d9f 00000422: JUMP 00000423: JUMPDEST 00000424: PUSH1 0x01 00000426: PUSH1 0x01 00000428: PUSH1 0xa0 0000042a: SHL 0000042b: SUB 0000042c: DUP2 0000042d: AND 0000042e: PUSH1 0x00 00000430: SWAP1 00000431: DUP2 00000432: MSTORE 00000433: PUSH1 0x09 00000435: PUSH1 0x20 00000437: SWAP1 00000438: DUP2 00000439: MSTORE 0000043a: PUSH1 0x40 0000043c: DUP1 0000043d: DUP4 0000043e: KECCAK256 0000043f: SLOAD 00000440: PUSH1 0x08 00000442: SWAP1 00000443: SWAP3 00000444: MSTORE 00000445: DUP3 00000446: KECCAK256 00000447: SLOAD 00000448: PUSH2 0x04b3 0000044b: SWAP2 0000044c: SWAP1 0000044d: PUSH2 0x04a7 00000450: SWAP1 00000451: PUSH8 0x0de0b6b3a7640000 0000045a: SWAP1 0000045b: PUSH2 0x049b 0000045e: SWAP1 0000045f: PUSH2 0x0476 00000462: SWAP1 00000463: PUSH2 0x046a 00000466: PUSH2 0x0ce4 00000469: JUMP 0000046a: JUMPDEST 0000046b: SWAP1 0000046c: PUSH4 0xffffffff 00000471: PUSH2 0x0da5 00000474: AND 00000475: JUMP 00000476: JUMPDEST 00000477: PUSH1 0x01 00000479: PUSH1 0x01 0000047b: PUSH1 0xa0 0000047d: SHL 0000047e: SUB 0000047f: DUP9 00000480: AND 00000481: PUSH1 0x00 00000483: SWAP1 00000484: DUP2 00000485: MSTORE 00000486: PUSH1 0x0b 00000488: PUSH1 0x20 0000048a: MSTORE 0000048b: PUSH1 0x40 0000048d: SWAP1 0000048e: KECCAK256 0000048f: SLOAD 00000490: SWAP1 00000491: PUSH4 0xffffffff 00000496: PUSH2 0x0e02 00000499: AND 0000049a: JUMP 0000049b: JUMPDEST 0000049c: SWAP1 0000049d: PUSH4 0xffffffff 000004a2: PUSH2 0x0e62 000004a5: AND 000004a6: JUMP 000004a7: JUMPDEST 000004a8: SWAP1 000004a9: PUSH4 0xffffffff 000004ae: PUSH2 0x0ecc 000004b1: AND 000004b2: JUMP 000004b3: JUMPDEST 000004b4: SWAP3 000004b5: SWAP2 000004b6: POP 000004b7: POP 000004b8: JUMP 000004b9: JUMPDEST 000004ba: PUSH1 0x09 000004bc: PUSH1 0x20 000004be: MSTORE 000004bf: PUSH1 0x00 000004c1: SWAP1 000004c2: DUP2 000004c3: MSTORE 000004c4: PUSH1 0x40 000004c6: SWAP1 000004c7: KECCAK256 000004c8: SLOAD 000004c9: DUP2 000004ca: JUMP 000004cb: JUMPDEST 000004cc: PUSH1 0x00 000004ce: DUP1 000004cf: PUSH1 0x00 000004d1: DUP1 000004d2: PUSH1 0x0a 000004d4: SLOAD 000004d5: GT 000004d6: ISZERO 000004d7: PUSH2 0x0540 000004da: JUMPI 000004db: PUSH1 0x01 000004dd: PUSH1 0x01 000004df: PUSH1 0xa0 000004e1: SHL 000004e2: SUB 000004e3: DUP5 000004e4: AND 000004e5: PUSH1 0x00 000004e7: SWAP1 000004e8: DUP2 000004e9: MSTORE 000004ea: PUSH1 0x0b 000004ec: PUSH1 0x20 000004ee: MSTORE 000004ef: PUSH1 0x40 000004f1: SWAP1 000004f2: KECCAK256 000004f3: SLOAD 000004f4: PUSH2 0x04fc 000004f7: DUP6 000004f8: PUSH2 0x0423 000004fb: JUMP 000004fc: JUMPDEST 000004fd: PUSH1 0x0a 000004ff: SLOAD 00000500: PUSH1 0x01 00000502: PUSH1 0x01 00000504: PUSH1 0xa0 00000506: SHL 00000507: SUB 00000508: DUP8 00000509: AND 0000050a: PUSH1 0x00 0000050c: SWAP1 0000050d: DUP2 0000050e: MSTORE 0000050f: PUSH1 0x0b 00000511: PUSH1 0x20 00000513: MSTORE 00000514: PUSH1 0x40 00000516: SWAP1 00000517: KECCAK256 00000518: SLOAD 00000519: PUSH2 0x0535 0000051c: SWAP2 0000051d: SWAP1 0000051e: PUSH2 0x049b 00000521: SWAP1 00000522: PUSH2 0x0529 00000525: PUSH2 0x0d86 00000528: JUMP 00000529: JUMPDEST 0000052a: SWAP1 0000052b: PUSH4 0xffffffff 00000530: PUSH2 0x0e02 00000533: AND 00000534: JUMP 00000535: JUMPDEST 00000536: SWAP3 00000537: POP 00000538: SWAP3 00000539: POP 0000053a: SWAP3 0000053b: POP 0000053c: PUSH2 0x054a 0000053f: JUMP 00000540: JUMPDEST 00000541: POP 00000542: PUSH1 0x00 00000544: SWAP2 00000545: POP 00000546: DUP2 00000547: SWAP1 00000548: POP 00000549: DUP1 0000054a: JUMPDEST 0000054b: SWAP2 0000054c: SWAP4 0000054d: SWAP1 0000054e: SWAP3 0000054f: POP 00000550: JUMP 00000551: JUMPDEST 00000552: PUSH1 0x0a 00000554: SLOAD 00000555: JUMPDEST 00000556: SWAP1 00000557: JUMP 00000558: JUMPDEST 00000559: PUSH1 0x00 0000055b: PUSH2 0x0571 0000055e: PUSH1 0x05 00000560: SLOAD 00000561: PUSH1 0x04 00000563: SLOAD 00000564: PUSH2 0x0e02 00000567: SWAP1 00000568: SWAP2 00000569: SWAP1 0000056a: PUSH4 0xffffffff 0000056f: AND 00000570: JUMP 00000571: JUMPDEST 00000572: SWAP1 00000573: POP 00000574: SWAP1 00000575: JUMP 00000576: JUMPDEST 00000577: PUSH1 0x00 00000579: SLOAD 0000057a: PUSH1 0x01 0000057c: PUSH1 0x01 0000057e: PUSH1 0xa0 00000580: SHL 00000581: SUB 00000582: AND 00000583: CALLER 00000584: EQ 00000585: PUSH2 0x05bf 00000588: JUMPI 00000589: PUSH1 0x40 0000058b: MLOAD 0000058c: PUSH3 0x461bcd 00000590: PUSH1 0xe5 00000592: SHL 00000593: DUP2 00000594: MSTORE 00000595: PUSH1 0x04 00000597: ADD 00000598: DUP1 00000599: DUP1 0000059a: PUSH1 0x20 0000059c: ADD 0000059d: DUP3 0000059e: DUP2 0000059f: SUB 000005a0: DUP3 000005a1: MSTORE 000005a2: PUSH1 0x2a 000005a4: DUP2 000005a5: MSTORE 000005a6: PUSH1 0x20 000005a8: ADD 000005a9: DUP1 000005aa: PUSH2 0x1179 000005ad: PUSH1 0x2a 000005af: SWAP2 000005b0: CODECOPY 000005b1: PUSH1 0x40 000005b3: ADD 000005b4: SWAP2 000005b5: POP 000005b6: POP 000005b7: PUSH1 0x40 000005b9: MLOAD 000005ba: DUP1 000005bb: SWAP2 000005bc: SUB 000005bd: SWAP1 000005be: REVERT 000005bf: JUMPDEST 000005c0: CALLER 000005c1: PUSH2 0x05c8 000005c4: PUSH2 0x0ce4 000005c7: JUMP 000005c8: JUMPDEST 000005c9: PUSH1 0x07 000005cb: SSTORE 000005cc: PUSH2 0x05d3 000005cf: PUSH2 0x0a48 000005d2: JUMP 000005d3: JUMPDEST 000005d4: PUSH1 0x06 000005d6: SSTORE 000005d7: PUSH1 0x01 000005d9: PUSH1 0x01 000005db: PUSH1 0xa0 000005dd: SHL 000005de: SUB 000005df: DUP2 000005e0: AND 000005e1: ISZERO 000005e2: PUSH2 0x061a 000005e5: JUMPI 000005e6: PUSH2 0x05ee 000005e9: DUP2 000005ea: PUSH2 0x0423 000005ed: JUMP 000005ee: JUMPDEST 000005ef: PUSH1 0x01 000005f1: PUSH1 0x01 000005f3: PUSH1 0xa0 000005f5: SHL 000005f6: SUB 000005f7: DUP3 000005f8: AND 000005f9: PUSH1 0x00 000005fb: SWAP1 000005fc: DUP2 000005fd: MSTORE 000005fe: PUSH1 0x09 00000600: PUSH1 0x20 00000602: SWAP1 00000603: DUP2 00000604: MSTORE 00000605: PUSH1 0x40 00000607: DUP1 00000608: DUP4 00000609: KECCAK256 0000060a: SWAP4 0000060b: SWAP1 0000060c: SWAP4 0000060d: SSTORE 0000060e: PUSH1 0x07 00000610: SLOAD 00000611: PUSH1 0x08 00000613: SWAP1 00000614: SWAP2 00000615: MSTORE 00000616: SWAP2 00000617: SWAP1 00000618: KECCAK256 00000619: SSTORE 0000061a: JUMPDEST 0000061b: PUSH1 0x0c 0000061d: PUSH1 0x00 0000061f: SWAP1 00000620: SLOAD 00000621: SWAP1 00000622: PUSH2 0x0100 00000625: EXP 00000626: SWAP1 00000627: DIV 00000628: PUSH1 0x01 0000062a: PUSH1 0x01 0000062c: PUSH1 0xa0 0000062e: SHL 0000062f: SUB 00000630: AND 00000631: PUSH1 0x01 00000633: PUSH1 0x01 00000635: PUSH1 0xa0 00000637: SHL 00000638: SUB 00000639: AND 0000063a: PUSH4 0xd0e30db0 0000063f: PUSH3 0x030d40 00000643: SELFBALANCE 00000644: PUSH1 0x40 00000646: MLOAD 00000647: DUP4 00000648: PUSH4 0xffffffff 0000064d: AND 0000064e: PUSH1 0xe0 00000650: SHL 00000651: DUP2 00000652: MSTORE 00000653: PUSH1 0x04 00000655: ADD 00000656: PUSH1 0x00 00000658: PUSH1 0x40 0000065a: MLOAD 0000065b: DUP1 0000065c: DUP4 0000065d: SUB 0000065e: DUP2 0000065f: DUP6 00000660: DUP10 00000661: DUP1 00000662: EXTCODESIZE 00000663: ISZERO 00000664: DUP1 00000665: ISZERO 00000666: PUSH2 0x066e 00000669: JUMPI 0000066a: PUSH1 0x00 0000066c: DUP1 0000066d: REVERT 0000066e: JUMPDEST 0000066f: POP 00000670: DUP9 00000671: CALL 00000672: ISZERO 00000673: DUP1 00000674: ISZERO 00000675: PUSH2 0x0682 00000678: JUMPI 00000679: RETURNDATASIZE 0000067a: PUSH1 0x00 0000067c: DUP1 0000067d: RETURNDATACOPY 0000067e: RETURNDATASIZE 0000067f: PUSH1 0x00 00000681: REVERT 00000682: JUMPDEST 00000683: POP 00000684: POP 00000685: POP 00000686: POP 00000687: POP 00000688: POP 00000689: POP 0000068a: JUMP 0000068b: JUMPDEST 0000068c: PUSH1 0x05 0000068e: SLOAD 0000068f: DUP2 00000690: JUMP 00000691: JUMPDEST 00000692: PUSH1 0x00 00000694: SLOAD 00000695: PUSH1 0x01 00000697: PUSH1 0x01 00000699: PUSH1 0xa0 0000069b: SHL 0000069c: SUB 0000069d: AND 0000069e: CALLER 0000069f: EQ 000006a0: PUSH2 0x06da 000006a3: JUMPI 000006a4: PUSH1 0x40 000006a6: MLOAD 000006a7: PUSH3 0x461bcd 000006ab: PUSH1 0xe5 000006ad: SHL 000006ae: DUP2 000006af: MSTORE 000006b0: PUSH1 0x04 000006b2: ADD 000006b3: DUP1 000006b4: DUP1 000006b5: PUSH1 0x20 000006b7: ADD 000006b8: DUP3 000006b9: DUP2 000006ba: SUB 000006bb: DUP3 000006bc: MSTORE 000006bd: PUSH1 0x2a 000006bf: DUP2 000006c0: MSTORE 000006c1: PUSH1 0x20 000006c3: ADD 000006c4: DUP1 000006c5: PUSH2 0x1179 000006c8: PUSH1 0x2a 000006ca: SWAP2 000006cb: CODECOPY 000006cc: PUSH1 0x40 000006ce: ADD 000006cf: SWAP2 000006d0: POP 000006d1: POP 000006d2: PUSH1 0x40 000006d4: MLOAD 000006d5: DUP1 000006d6: SWAP2 000006d7: SUB 000006d8: SWAP1 000006d9: REVERT 000006da: JUMPDEST 000006db: PUSH1 0x00 000006dd: PUSH2 0x06e4 000006e0: PUSH2 0x0ce4 000006e3: JUMP 000006e4: JUMPDEST 000006e5: PUSH1 0x07 000006e7: SSTORE 000006e8: PUSH2 0x06ef 000006eb: PUSH2 0x0a48 000006ee: JUMP 000006ef: JUMPDEST 000006f0: PUSH1 0x06 000006f2: SSTORE 000006f3: PUSH1 0x01 000006f5: PUSH1 0x01 000006f7: PUSH1 0xa0 000006f9: SHL 000006fa: SUB 000006fb: DUP2 000006fc: AND 000006fd: ISZERO 000006fe: PUSH2 0x0736 00000701: JUMPI 00000702: PUSH2 0x070a 00000705: DUP2 00000706: PUSH2 0x0423 00000709: JUMP 0000070a: JUMPDEST 0000070b: PUSH1 0x01 0000070d: PUSH1 0x01 0000070f: PUSH1 0xa0 00000711: SHL 00000712: SUB 00000713: DUP3 00000714: AND 00000715: PUSH1 0x00 00000717: SWAP1 00000718: DUP2 00000719: MSTORE 0000071a: PUSH1 0x09 0000071c: PUSH1 0x20 0000071e: SWAP1 0000071f: DUP2 00000720: MSTORE 00000721: PUSH1 0x40 00000723: DUP1 00000724: DUP4 00000725: KECCAK256 00000726: SWAP4 00000727: SWAP1 00000728: SWAP4 00000729: SSTORE 0000072a: PUSH1 0x07 0000072c: SLOAD 0000072d: PUSH1 0x08 0000072f: SWAP1 00000730: SWAP2 00000731: MSTORE 00000732: SWAP2 00000733: SWAP1 00000734: KECCAK256 00000735: SSTORE 00000736: JUMPDEST 00000737: PUSH1 0x03 00000739: SLOAD 0000073a: TIMESTAMP 0000073b: LT 0000073c: PUSH2 0x075b 0000073f: JUMPI 00000740: PUSH1 0x05 00000742: SLOAD 00000743: PUSH2 0x0753 00000746: SWAP1 00000747: DUP4 00000748: SWAP1 00000749: PUSH4 0xffffffff 0000074e: PUSH2 0x0e62 00000751: AND 00000752: JUMP 00000753: JUMPDEST 00000754: PUSH1 0x04 00000756: SSTORE 00000757: PUSH2 0x07aa 0000075a: JUMP 0000075b: JUMPDEST 0000075c: PUSH1 0x03 0000075e: SLOAD 0000075f: PUSH1 0x00 00000761: SWAP1 00000762: PUSH2 0x0771 00000765: SWAP1 00000766: TIMESTAMP 00000767: PUSH4 0xffffffff 0000076c: PUSH2 0x0da5 0000076f: AND 00000770: JUMP 00000771: JUMPDEST 00000772: SWAP1 00000773: POP 00000774: PUSH1 0x00 00000776: PUSH2 0x078a 00000779: PUSH1 0x04 0000077b: SLOAD 0000077c: DUP4 0000077d: PUSH2 0x0e02 00000780: SWAP1 00000781: SWAP2 00000782: SWAP1 00000783: PUSH4 0xffffffff 00000788: AND 00000789: JUMP 0000078a: JUMPDEST 0000078b: PUSH1 0x05 0000078d: SLOAD 0000078e: SWAP1 0000078f: SWAP2 00000790: POP 00000791: PUSH2 0x07a4 00000794: SWAP1 00000795: PUSH2 0x049b 00000798: DUP7 00000799: DUP5 0000079a: PUSH4 0xffffffff 0000079f: PUSH2 0x0ecc 000007a2: AND 000007a3: JUMP 000007a4: JUMPDEST 000007a5: PUSH1 0x04 000007a7: SSTORE 000007a8: POP 000007a9: POP 000007aa: JUMPDEST 000007ab: PUSH1 0x02 000007ad: SLOAD 000007ae: PUSH1 0x40 000007b0: DUP1 000007b1: MLOAD 000007b2: PUSH4 0x70a08231 000007b7: PUSH1 0xe0 000007b9: SHL 000007ba: DUP2 000007bb: MSTORE 000007bc: ADDRESS 000007bd: PUSH1 0x04 000007bf: DUP3 000007c0: ADD 000007c1: MSTORE 000007c2: SWAP1 000007c3: MLOAD 000007c4: PUSH1 0x00 000007c6: SWAP3 000007c7: PUSH1 0x01 000007c9: PUSH1 0x01 000007cb: PUSH1 0xa0 000007cd: SHL 000007ce: SUB 000007cf: AND 000007d0: SWAP2 000007d1: PUSH4 0x70a08231 000007d6: SWAP2 000007d7: PUSH1 0x24 000007d9: DUP1 000007da: DUP4 000007db: ADD 000007dc: SWAP3 000007dd: PUSH1 0x20 000007df: SWAP3 000007e0: SWAP2 000007e1: SWAP1 000007e2: DUP3 000007e3: SWAP1 000007e4: SUB 000007e5: ADD 000007e6: DUP2 000007e7: DUP7 000007e8: DUP1 000007e9: EXTCODESIZE 000007ea: ISZERO 000007eb: DUP1 000007ec: ISZERO 000007ed: PUSH2 0x07f5 000007f0: JUMPI 000007f1: PUSH1 0x00 000007f3: DUP1 000007f4: REVERT 000007f5: JUMPDEST 000007f6: POP 000007f7: GAS 000007f8: STATICCALL 000007f9: ISZERO 000007fa: DUP1 000007fb: ISZERO 000007fc: PUSH2 0x0809 000007ff: JUMPI 00000800: RETURNDATASIZE 00000801: PUSH1 0x00 00000803: DUP1 00000804: RETURNDATACOPY 00000805: RETURNDATASIZE 00000806: PUSH1 0x00 00000808: REVERT 00000809: JUMPDEST 0000080a: POP 0000080b: POP 0000080c: POP 0000080d: POP 0000080e: PUSH1 0x40 00000810: MLOAD 00000811: RETURNDATASIZE 00000812: PUSH1 0x20 00000814: DUP2 00000815: LT 00000816: ISZERO 00000817: PUSH2 0x081f 0000081a: JUMPI 0000081b: PUSH1 0x00 0000081d: DUP1 0000081e: REVERT 0000081f: JUMPDEST 00000820: POP 00000821: MLOAD 00000822: PUSH1 0x05 00000824: SLOAD 00000825: SWAP1 00000826: SWAP2 00000827: POP 00000828: PUSH2 0x0838 0000082b: SWAP1 0000082c: DUP3 0000082d: SWAP1 0000082e: PUSH4 0xffffffff 00000833: PUSH2 0x0e62 00000836: AND 00000837: JUMP 00000838: JUMPDEST 00000839: PUSH1 0x04 0000083b: SLOAD 0000083c: GT 0000083d: ISZERO 0000083e: PUSH2 0x088e 00000841: JUMPI 00000842: PUSH1 0x40 00000844: DUP1 00000845: MLOAD 00000846: PUSH3 0x461bcd 0000084a: PUSH1 0xe5 0000084c: SHL 0000084d: DUP2 0000084e: MSTORE 0000084f: PUSH1 0x20 00000851: PUSH1 0x04 00000853: DUP3 00000854: ADD 00000855: MSTORE 00000856: PUSH1 0x18 00000858: PUSH1 0x24 0000085a: DUP3 0000085b: ADD 0000085c: MSTORE 0000085d: PUSH32 0x50726f76696465642072657761726420746f6f20686967680000000000000000 0000087e: PUSH1 0x44 00000880: DUP3 00000881: ADD 00000882: MSTORE 00000883: SWAP1 00000884: MLOAD 00000885: SWAP1 00000886: DUP2 00000887: SWAP1 00000888: SUB 00000889: PUSH1 0x64 0000088b: ADD 0000088c: SWAP1 0000088d: REVERT 0000088e: JUMPDEST 0000088f: TIMESTAMP 00000890: PUSH1 0x06 00000892: DUP2 00000893: SWAP1 00000894: SSTORE 00000895: PUSH1 0x05 00000897: SLOAD 00000898: PUSH2 0x08a7 0000089b: SWAP2 0000089c: SWAP1 0000089d: PUSH4 0xffffffff 000008a2: PUSH2 0x0ecc 000008a5: AND 000008a6: JUMP 000008a7: JUMPDEST 000008a8: PUSH1 0x03 000008aa: SSTORE 000008ab: PUSH1 0x40 000008ad: DUP1 000008ae: MLOAD 000008af: DUP5 000008b0: DUP2 000008b1: MSTORE 000008b2: SWAP1 000008b3: MLOAD 000008b4: PUSH32 0xde88a922e0d3b88b24e9623efeb464919c6bf9f66857a65e2bfcf2ce87a9433d 000008d5: SWAP2 000008d6: DUP2 000008d7: SWAP1 000008d8: SUB 000008d9: PUSH1 0x20 000008db: ADD 000008dc: SWAP1 000008dd: LOG1 000008de: POP 000008df: POP 000008e0: POP 000008e1: JUMP 000008e2: JUMPDEST 000008e3: PUSH1 0x01 000008e5: DUP1 000008e6: SLOAD 000008e7: DUP2 000008e8: ADD 000008e9: SWAP1 000008ea: DUP2 000008eb: SWAP1 000008ec: SSTORE 000008ed: CALLER 000008ee: PUSH2 0x08f5 000008f1: PUSH2 0x0ce4 000008f4: JUMP 000008f5: JUMPDEST 000008f6: PUSH1 0x07 000008f8: SSTORE 000008f9: PUSH2 0x0900 000008fc: PUSH2 0x0a48 000008ff: JUMP 00000900: JUMPDEST 00000901: PUSH1 0x06 00000903: SSTORE 00000904: PUSH1 0x01 00000906: PUSH1 0x01 00000908: PUSH1 0xa0 0000090a: SHL 0000090b: SUB 0000090c: DUP2 0000090d: AND 0000090e: ISZERO 0000090f: PUSH2 0x0947 00000912: JUMPI 00000913: PUSH2 0x091b 00000916: DUP2 00000917: PUSH2 0x0423 0000091a: JUMP 0000091b: JUMPDEST 0000091c: PUSH1 0x01 0000091e: PUSH1 0x01 00000920: PUSH1 0xa0 00000922: SHL 00000923: SUB 00000924: DUP3 00000925: AND 00000926: PUSH1 0x00 00000928: SWAP1 00000929: DUP2 0000092a: MSTORE 0000092b: PUSH1 0x09 0000092d: PUSH1 0x20 0000092f: SWAP1 00000930: DUP2 00000931: MSTORE 00000932: PUSH1 0x40 00000934: DUP1 00000935: DUP4 00000936: KECCAK256 00000937: SWAP4 00000938: SWAP1 00000939: SWAP4 0000093a: SSTORE 0000093b: PUSH1 0x07 0000093d: SLOAD 0000093e: PUSH1 0x08 00000940: SWAP1 00000941: SWAP2 00000942: MSTORE 00000943: SWAP2 00000944: SWAP1 00000945: KECCAK256 00000946: SSTORE 00000947: JUMPDEST 00000948: CALLER 00000949: PUSH1 0x00 0000094b: SWAP1 0000094c: DUP2 0000094d: MSTORE 0000094e: PUSH1 0x09 00000950: PUSH1 0x20 00000952: MSTORE 00000953: PUSH1 0x40 00000955: SWAP1 00000956: KECCAK256 00000957: SLOAD 00000958: DUP1 00000959: ISZERO 0000095a: PUSH2 0x09bd 0000095d: JUMPI 0000095e: CALLER 0000095f: PUSH1 0x00 00000961: DUP2 00000962: DUP2 00000963: MSTORE 00000964: PUSH1 0x09 00000966: PUSH1 0x20 00000968: MSTORE 00000969: PUSH1 0x40 0000096b: DUP2 0000096c: KECCAK256 0000096d: SSTORE 0000096e: PUSH1 0x02 00000970: SLOAD 00000971: PUSH2 0x0986 00000974: SWAP2 00000975: PUSH1 0x01 00000977: PUSH1 0x01 00000979: PUSH1 0xa0 0000097b: SHL 0000097c: SUB 0000097d: SWAP1 0000097e: SWAP2 0000097f: AND 00000980: SWAP1 00000981: DUP4 00000982: PUSH2 0x0f26 00000985: JUMP 00000986: JUMPDEST 00000987: PUSH1 0x40 00000989: DUP1 0000098a: MLOAD 0000098b: DUP3 0000098c: DUP2 0000098d: MSTORE 0000098e: SWAP1 0000098f: MLOAD 00000990: CALLER 00000991: SWAP2 00000992: PUSH32 0xe2403640ba68fed3a2f88b7557551d1993f84b99bb10ff833f0cf8db0c5e0486 000009b3: SWAP2 000009b4: SWAP1 000009b5: DUP2 000009b6: SWAP1 000009b7: SUB 000009b8: PUSH1 0x20 000009ba: ADD 000009bb: SWAP1 000009bc: LOG2 000009bd: JUMPDEST 000009be: POP 000009bf: POP 000009c0: PUSH1 0x01 000009c2: SLOAD 000009c3: DUP2 000009c4: EQ 000009c5: PUSH2 0x0a15 000009c8: JUMPI 000009c9: PUSH1 0x40 000009cb: DUP1 000009cc: MLOAD 000009cd: PUSH3 0x461bcd 000009d1: PUSH1 0xe5 000009d3: SHL 000009d4: DUP2 000009d5: MSTORE 000009d6: PUSH1 0x20 000009d8: PUSH1 0x04 000009da: DUP3 000009db: ADD 000009dc: MSTORE 000009dd: PUSH1 0x1f 000009df: PUSH1 0x24 000009e1: DUP3 000009e2: ADD 000009e3: MSTORE 000009e4: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00 00000a05: PUSH1 0x44 00000a07: DUP3 00000a08: ADD 00000a09: MSTORE 00000a0a: SWAP1 00000a0b: MLOAD 00000a0c: SWAP1 00000a0d: DUP2 00000a0e: SWAP1 00000a0f: SUB 00000a10: PUSH1 0x64 00000a12: ADD 00000a13: SWAP1 00000a14: REVERT 00000a15: JUMPDEST 00000a16: POP 00000a17: JUMP 00000a18: JUMPDEST 00000a19: PUSH1 0x00 00000a1b: SLOAD 00000a1c: PUSH1 0x01 00000a1e: PUSH1 0x01 00000a20: PUSH1 0xa0 00000a22: SHL 00000a23: SUB 00000a24: AND 00000a25: DUP2 00000a26: JUMP 00000a27: JUMPDEST 00000a28: PUSH1 0x01 00000a2a: PUSH1 0x01 00000a2c: PUSH1 0xa0 00000a2e: SHL 00000a2f: SUB 00000a30: AND 00000a31: PUSH1 0x00 00000a33: SWAP1 00000a34: DUP2 00000a35: MSTORE 00000a36: PUSH1 0x0b 00000a38: PUSH1 0x20 00000a3a: MSTORE 00000a3b: PUSH1 0x40 00000a3d: SWAP1 00000a3e: KECCAK256 00000a3f: SLOAD 00000a40: SWAP1 00000a41: JUMP 00000a42: JUMPDEST 00000a43: PUSH1 0x04 00000a45: SLOAD 00000a46: DUP2 00000a47: JUMP 00000a48: JUMPDEST 00000a49: PUSH1 0x00 00000a4b: PUSH2 0x0571 00000a4e: TIMESTAMP 00000a4f: PUSH1 0x03 00000a51: SLOAD 00000a52: PUSH2 0x0f7d 00000a55: JUMP 00000a56: JUMPDEST 00000a57: PUSH1 0x08 00000a59: PUSH1 0x20 00000a5b: MSTORE 00000a5c: PUSH1 0x00 00000a5e: SWAP1 00000a5f: DUP2 00000a60: MSTORE 00000a61: PUSH1 0x40 00000a63: SWAP1 00000a64: KECCAK256 00000a65: SLOAD 00000a66: DUP2 00000a67: JUMP 00000a68: JUMPDEST 00000a69: PUSH1 0x00 00000a6b: SLOAD 00000a6c: PUSH1 0x01 00000a6e: PUSH1 0x01 00000a70: PUSH1 0xa0 00000a72: SHL 00000a73: SUB 00000a74: AND 00000a75: CALLER 00000a76: EQ 00000a77: PUSH2 0x0ab1 00000a7a: JUMPI 00000a7b: PUSH1 0x40 00000a7d: MLOAD 00000a7e: PUSH3 0x461bcd 00000a82: PUSH1 0xe5 00000a84: SHL 00000a85: DUP2 00000a86: MSTORE 00000a87: PUSH1 0x04 00000a89: ADD 00000a8a: DUP1 00000a8b: DUP1 00000a8c: PUSH1 0x20 00000a8e: ADD 00000a8f: DUP3 00000a90: DUP2 00000a91: SUB 00000a92: DUP3 00000a93: MSTORE 00000a94: PUSH1 0x2a 00000a96: DUP2 00000a97: MSTORE 00000a98: PUSH1 0x20 00000a9a: ADD 00000a9b: DUP1 00000a9c: PUSH2 0x1179 00000a9f: PUSH1 0x2a 00000aa1: SWAP2 00000aa2: CODECOPY 00000aa3: PUSH1 0x40 00000aa5: ADD 00000aa6: SWAP2 00000aa7: POP 00000aa8: POP 00000aa9: PUSH1 0x40 00000aab: MLOAD 00000aac: DUP1 00000aad: SWAP2 00000aae: SUB 00000aaf: SWAP1 00000ab0: REVERT 00000ab1: JUMPDEST 00000ab2: CALLER 00000ab3: PUSH2 0x0aba 00000ab6: PUSH2 0x0ce4 00000ab9: JUMP 00000aba: JUMPDEST 00000abb: PUSH1 0x07 00000abd: SSTORE 00000abe: PUSH2 0x0ac5 00000ac1: PUSH2 0x0a48 00000ac4: JUMP 00000ac5: JUMPDEST 00000ac6: PUSH1 0x06 00000ac8: SSTORE 00000ac9: PUSH1 0x01 00000acb: PUSH1 0x01 00000acd: PUSH1 0xa0 00000acf: SHL 00000ad0: SUB 00000ad1: DUP2 00000ad2: AND 00000ad3: ISZERO 00000ad4: PUSH2 0x0b0c 00000ad7: JUMPI 00000ad8: PUSH2 0x0ae0 00000adb: DUP2 00000adc: PUSH2 0x0423 00000adf: JUMP 00000ae0: JUMPDEST 00000ae1: PUSH1 0x01 00000ae3: PUSH1 0x01 00000ae5: PUSH1 0xa0 00000ae7: SHL 00000ae8: SUB 00000ae9: DUP3 00000aea: AND 00000aeb: PUSH1 0x00 00000aed: SWAP1 00000aee: DUP2 00000aef: MSTORE 00000af0: PUSH1 0x09 00000af2: PUSH1 0x20 00000af4: SWAP1 00000af5: DUP2 00000af6: MSTORE 00000af7: PUSH1 0x40 00000af9: DUP1 00000afa: DUP4 00000afb: KECCAK256 00000afc: SWAP4 00000afd: SWAP1 00000afe: SWAP4 00000aff: SSTORE 00000b00: PUSH1 0x07 00000b02: SLOAD 00000b03: PUSH1 0x08 00000b05: SWAP1 00000b06: SWAP2 00000b07: MSTORE 00000b08: SWAP2 00000b09: SWAP1 00000b0a: KECCAK256 00000b0b: SSTORE 00000b0c: JUMPDEST 00000b0d: SELFBALANCE 00000b0e: DUP3 00000b0f: GT 00000b10: ISZERO 00000b11: PUSH2 0x0b4d 00000b14: JUMPI 00000b15: PUSH1 0x40 00000b17: DUP1 00000b18: MLOAD 00000b19: PUSH3 0x461bcd 00000b1d: PUSH1 0xe5 00000b1f: SHL 00000b20: DUP2 00000b21: MSTORE 00000b22: PUSH1 0x20 00000b24: PUSH1 0x04 00000b26: DUP3 00000b27: ADD 00000b28: MSTORE 00000b29: PUSH1 0x09 00000b2b: PUSH1 0x24 00000b2d: DUP3 00000b2e: ADD 00000b2f: MSTORE 00000b30: PUSH9 0x3b30b61032b93937b9 00000b3a: PUSH1 0xb9 00000b3c: SHL 00000b3d: PUSH1 0x44 00000b3f: DUP3 00000b40: ADD 00000b41: MSTORE 00000b42: SWAP1 00000b43: MLOAD 00000b44: SWAP1 00000b45: DUP2 00000b46: SWAP1 00000b47: SUB 00000b48: PUSH1 0x64 00000b4a: ADD 00000b4b: SWAP1 00000b4c: REVERT 00000b4d: JUMPDEST 00000b4e: PUSH1 0x0c 00000b50: PUSH1 0x00 00000b52: SWAP1 00000b53: SLOAD 00000b54: SWAP1 00000b55: PUSH2 0x0100 00000b58: EXP 00000b59: SWAP1 00000b5a: DIV 00000b5b: PUSH1 0x01 00000b5d: PUSH1 0x01 00000b5f: PUSH1 0xa0 00000b61: SHL 00000b62: SUB 00000b63: AND 00000b64: PUSH1 0x01 00000b66: PUSH1 0x01 00000b68: PUSH1 0xa0 00000b6a: SHL 00000b6b: SUB 00000b6c: AND 00000b6d: PUSH4 0xd0e30db0 00000b72: PUSH3 0x030d40 00000b76: DUP5 00000b77: PUSH1 0x40 00000b79: MLOAD 00000b7a: DUP4 00000b7b: PUSH4 0xffffffff 00000b80: AND 00000b81: PUSH1 0xe0 00000b83: SHL 00000b84: DUP2 00000b85: MSTORE 00000b86: PUSH1 0x04 00000b88: ADD 00000b89: PUSH1 0x00 00000b8b: PUSH1 0x40 00000b8d: MLOAD 00000b8e: DUP1 00000b8f: DUP4 00000b90: SUB 00000b91: DUP2 00000b92: DUP6 00000b93: DUP10 00000b94: DUP1 00000b95: EXTCODESIZE 00000b96: ISZERO 00000b97: DUP1 00000b98: ISZERO 00000b99: PUSH2 0x0ba1 00000b9c: JUMPI 00000b9d: PUSH1 0x00 00000b9f: DUP1 00000ba0: REVERT 00000ba1: JUMPDEST 00000ba2: POP 00000ba3: DUP9 00000ba4: CALL 00000ba5: ISZERO 00000ba6: DUP1 00000ba7: ISZERO 00000ba8: PUSH2 0x0bb5 00000bab: JUMPI 00000bac: RETURNDATASIZE 00000bad: PUSH1 0x00 00000baf: DUP1 00000bb0: RETURNDATACOPY 00000bb1: RETURNDATASIZE 00000bb2: PUSH1 0x00 00000bb4: REVERT 00000bb5: JUMPDEST 00000bb6: POP 00000bb7: POP 00000bb8: POP 00000bb9: POP 00000bba: POP 00000bbb: POP 00000bbc: POP 00000bbd: POP 00000bbe: JUMP 00000bbf: JUMPDEST 00000bc0: CALLER 00000bc1: PUSH2 0x0bc8 00000bc4: PUSH2 0x0ce4 00000bc7: JUMP 00000bc8: JUMPDEST 00000bc9: PUSH1 0x07 00000bcb: SSTORE 00000bcc: PUSH2 0x0bd3 00000bcf: PUSH2 0x0a48 00000bd2: JUMP 00000bd3: JUMPDEST 00000bd4: PUSH1 0x06 00000bd6: SSTORE 00000bd7: PUSH1 0x01 00000bd9: PUSH1 0x01 00000bdb: PUSH1 0xa0 00000bdd: SHL 00000bde: SUB 00000bdf: DUP2 00000be0: AND 00000be1: ISZERO 00000be2: PUSH2 0x0c1a 00000be5: JUMPI 00000be6: PUSH2 0x0bee 00000be9: DUP2 00000bea: PUSH2 0x0423 00000bed: JUMP 00000bee: JUMPDEST 00000bef: PUSH1 0x01 00000bf1: PUSH1 0x01 00000bf3: PUSH1 0xa0 00000bf5: SHL 00000bf6: SUB 00000bf7: DUP3 00000bf8: AND 00000bf9: PUSH1 0x00 00000bfb: SWAP1 00000bfc: DUP2 00000bfd: MSTORE 00000bfe: PUSH1 0x09 00000c00: PUSH1 0x20 00000c02: SWAP1 00000c03: DUP2 00000c04: MSTORE 00000c05: PUSH1 0x40 00000c07: DUP1 00000c08: DUP4 00000c09: KECCAK256 00000c0a: SWAP4 00000c0b: SWAP1 00000c0c: SWAP4 00000c0d: SSTORE 00000c0e: PUSH1 0x07 00000c10: SLOAD 00000c11: PUSH1 0x08 00000c13: SWAP1 00000c14: SWAP2 00000c15: MSTORE 00000c16: SWAP2 00000c17: SWAP1 00000c18: KECCAK256 00000c19: SSTORE 00000c1a: JUMPDEST 00000c1b: CALLVALUE 00000c1c: DUP1 00000c1d: PUSH2 0x0c5b 00000c20: JUMPI 00000c21: PUSH1 0x40 00000c23: DUP1 00000c24: MLOAD 00000c25: PUSH3 0x461bcd 00000c29: PUSH1 0xe5 00000c2b: SHL 00000c2c: DUP2 00000c2d: MSTORE 00000c2e: PUSH1 0x20 00000c30: PUSH1 0x04 00000c32: DUP3 00000c33: ADD 00000c34: MSTORE 00000c35: PUSH1 0x0b 00000c37: PUSH1 0x24 00000c39: DUP3 00000c3a: ADD 00000c3b: MSTORE 00000c3c: PUSH11 0x043616e6e6f7420696e203 00000c48: PUSH1 0xac 00000c4a: SHL 00000c4b: PUSH1 0x44 00000c4d: DUP3 00000c4e: ADD 00000c4f: MSTORE 00000c50: SWAP1 00000c51: MLOAD 00000c52: SWAP1 00000c53: DUP2 00000c54: SWAP1 00000c55: SUB 00000c56: PUSH1 0x64 00000c58: ADD 00000c59: SWAP1 00000c5a: REVERT 00000c5b: JUMPDEST 00000c5c: PUSH1 0x0a 00000c5e: SLOAD 00000c5f: PUSH2 0x0c6e 00000c62: SWAP1 00000c63: DUP3 00000c64: PUSH4 0xffffffff 00000c69: PUSH2 0x0ecc 00000c6c: AND 00000c6d: JUMP 00000c6e: JUMPDEST 00000c6f: PUSH1 0x0a 00000c71: SSTORE 00000c72: CALLER 00000c73: PUSH1 0x00 00000c75: SWAP1 00000c76: DUP2 00000c77: MSTORE 00000c78: PUSH1 0x0b 00000c7a: PUSH1 0x20 00000c7c: MSTORE 00000c7d: PUSH1 0x40 00000c7f: SWAP1 00000c80: KECCAK256 00000c81: SLOAD 00000c82: PUSH2 0x0c91 00000c85: SWAP1 00000c86: DUP3 00000c87: PUSH4 0xffffffff 00000c8c: PUSH2 0x0ecc 00000c8f: AND 00000c90: JUMP 00000c91: JUMPDEST 00000c92: CALLER 00000c93: PUSH1 0x00 00000c95: DUP2 00000c96: DUP2 00000c97: MSTORE 00000c98: PUSH1 0x0b 00000c9a: PUSH1 0x20 00000c9c: SWAP1 00000c9d: DUP2 00000c9e: MSTORE 00000c9f: PUSH1 0x40 00000ca1: SWAP2 00000ca2: DUP3 00000ca3: SWAP1 00000ca4: KECCAK256 00000ca5: SWAP4 00000ca6: SWAP1 00000ca7: SWAP4 00000ca8: SSTORE 00000ca9: DUP1 00000caa: MLOAD 00000cab: DUP5 00000cac: DUP2 00000cad: MSTORE 00000cae: SWAP1 00000caf: MLOAD 00000cb0: SWAP2 00000cb1: SWAP3 00000cb2: PUSH32 0x7af199fb8a1094d9cc3eab5f98b5316b79c16329de054235ae198146b51e62b0 00000cd3: SWAP3 00000cd4: SWAP2 00000cd5: DUP3 00000cd6: SWAP1 00000cd7: SUB 00000cd8: ADD 00000cd9: SWAP1 00000cda: LOG2 00000cdb: POP 00000cdc: POP 00000cdd: JUMP 00000cde: JUMPDEST 00000cdf: PUSH1 0x06 00000ce1: SLOAD 00000ce2: DUP2 00000ce3: JUMP 00000ce4: JUMPDEST 00000ce5: PUSH1 0x00 00000ce7: PUSH1 0x0a 00000ce9: SLOAD 00000cea: PUSH1 0x00 00000cec: EQ 00000ced: ISZERO 00000cee: PUSH2 0x0cfa 00000cf1: JUMPI 00000cf2: POP 00000cf3: PUSH1 0x07 00000cf5: SLOAD 00000cf6: PUSH2 0x0555 00000cf9: JUMP 00000cfa: JUMPDEST 00000cfb: PUSH2 0x0571 00000cfe: PUSH2 0x0d23 00000d01: PUSH1 0x0a 00000d03: SLOAD 00000d04: PUSH2 0x049b 00000d07: PUSH8 0x0de0b6b3a7640000 00000d10: PUSH2 0x0529 00000d13: PUSH1 0x04 00000d15: SLOAD 00000d16: PUSH2 0x0529 00000d19: PUSH1 0x06 00000d1b: SLOAD 00000d1c: PUSH2 0x046a 00000d1f: PUSH2 0x0a48 00000d22: JUMP 00000d23: JUMPDEST 00000d24: PUSH1 0x07 00000d26: SLOAD 00000d27: SWAP1 00000d28: PUSH4 0xffffffff 00000d2d: PUSH2 0x0ecc 00000d30: AND 00000d31: JUMP 00000d32: JUMPDEST 00000d33: PUSH1 0x02 00000d35: SLOAD 00000d36: PUSH1 0x01 00000d38: PUSH1 0x01 00000d3a: PUSH1 0xa0 00000d3c: SHL 00000d3d: SUB 00000d3e: AND 00000d3f: DUP2 00000d40: JUMP 00000d41: JUMPDEST 00000d42: PUSH1 0x00 00000d44: PUSH1 0x03 00000d46: SLOAD 00000d47: TIMESTAMP 00000d48: LT 00000d49: ISZERO 00000d4a: PUSH2 0x0d7a 00000d4d: JUMPI 00000d4e: PUSH1 0x03 00000d50: SLOAD 00000d51: PUSH2 0x0d73 00000d54: SWAP1 00000d55: PUSH2 0x0d64 00000d58: SWAP1 00000d59: TIMESTAMP 00000d5a: PUSH4 0xffffffff 00000d5f: PUSH2 0x0da5 00000d62: AND 00000d63: JUMP 00000d64: JUMPDEST 00000d65: PUSH1 0x04 00000d67: SLOAD 00000d68: SWAP1 00000d69: PUSH4 0xffffffff 00000d6e: PUSH2 0x0e02 00000d71: AND 00000d72: JUMP 00000d73: JUMPDEST 00000d74: SWAP1 00000d75: POP 00000d76: PUSH2 0x0555 00000d79: JUMP 00000d7a: JUMPDEST 00000d7b: POP 00000d7c: PUSH1 0x00 00000d7e: SWAP1 00000d7f: JUMP 00000d80: JUMPDEST 00000d81: PUSH1 0x07 00000d83: SLOAD 00000d84: DUP2 00000d85: JUMP 00000d86: JUMPDEST 00000d87: PUSH1 0x04 00000d89: SLOAD 00000d8a: PUSH1 0x00 00000d8c: SWAP1 00000d8d: PUSH2 0x0571 00000d90: SWAP1 00000d91: PUSH3 0x093a80 00000d95: PUSH4 0xffffffff 00000d9a: PUSH2 0x0e02 00000d9d: AND 00000d9e: JUMP 00000d9f: JUMPDEST 00000da0: PUSH1 0x03 00000da2: SLOAD 00000da3: DUP2 00000da4: JUMP 00000da5: JUMPDEST 00000da6: PUSH1 0x00 00000da8: DUP3 00000da9: DUP3 00000daa: GT 00000dab: ISZERO 00000dac: PUSH2 0x0dfc 00000daf: JUMPI 00000db0: PUSH1 0x40 00000db2: DUP1 00000db3: MLOAD 00000db4: PUSH3 0x461bcd 00000db8: PUSH1 0xe5 00000dba: SHL 00000dbb: DUP2 00000dbc: MSTORE 00000dbd: PUSH1 0x20 00000dbf: PUSH1 0x04 00000dc1: DUP3 00000dc2: ADD 00000dc3: MSTORE 00000dc4: PUSH1 0x1e 00000dc6: PUSH1 0x24 00000dc8: DUP3 00000dc9: ADD 00000dca: MSTORE 00000dcb: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000 00000dec: PUSH1 0x44 00000dee: DUP3 00000def: ADD 00000df0: MSTORE 00000df1: SWAP1 00000df2: MLOAD 00000df3: SWAP1 00000df4: DUP2 00000df5: SWAP1 00000df6: SUB 00000df7: PUSH1 0x64 00000df9: ADD 00000dfa: SWAP1 00000dfb: REVERT 00000dfc: JUMPDEST 00000dfd: POP 00000dfe: SWAP1 00000dff: SUB 00000e00: SWAP1 00000e01: JUMP 00000e02: JUMPDEST 00000e03: PUSH1 0x00 00000e05: DUP3 00000e06: PUSH2 0x0e11 00000e09: JUMPI 00000e0a: POP 00000e0b: PUSH1 0x00 00000e0d: PUSH2 0x04b3 00000e10: JUMP 00000e11: JUMPDEST 00000e12: DUP3 00000e13: DUP3 00000e14: MUL 00000e15: DUP3 00000e16: DUP5 00000e17: DUP3 00000e18: DUP2 00000e19: PUSH2 0x0e1e 00000e1c: JUMPI 00000e1d: INVALID 00000e1e: JUMPDEST 00000e1f: DIV 00000e20: EQ 00000e21: PUSH2 0x0e5b 00000e24: JUMPI 00000e25: PUSH1 0x40 00000e27: MLOAD 00000e28: PUSH3 0x461bcd 00000e2c: PUSH1 0xe5 00000e2e: SHL 00000e2f: DUP2 00000e30: MSTORE 00000e31: PUSH1 0x04 00000e33: ADD 00000e34: DUP1 00000e35: DUP1 00000e36: PUSH1 0x20 00000e38: ADD 00000e39: DUP3 00000e3a: DUP2 00000e3b: SUB 00000e3c: DUP3 00000e3d: MSTORE 00000e3e: PUSH1 0x21 00000e40: DUP2 00000e41: MSTORE 00000e42: PUSH1 0x20 00000e44: ADD 00000e45: DUP1 00000e46: PUSH2 0x1158 00000e49: PUSH1 0x21 00000e4b: SWAP2 00000e4c: CODECOPY 00000e4d: PUSH1 0x40 00000e4f: ADD 00000e50: SWAP2 00000e51: POP 00000e52: POP 00000e53: PUSH1 0x40 00000e55: MLOAD 00000e56: DUP1 00000e57: SWAP2 00000e58: SUB 00000e59: SWAP1 00000e5a: REVERT 00000e5b: JUMPDEST 00000e5c: SWAP4 00000e5d: SWAP3 00000e5e: POP 00000e5f: POP 00000e60: POP 00000e61: JUMP 00000e62: JUMPDEST 00000e63: PUSH1 0x00 00000e65: DUP1 00000e66: DUP3 00000e67: GT 00000e68: PUSH2 0x0eb8 00000e6b: JUMPI 00000e6c: PUSH1 0x40 00000e6e: DUP1 00000e6f: MLOAD 00000e70: PUSH3 0x461bcd 00000e74: PUSH1 0xe5 00000e76: SHL 00000e77: DUP2 00000e78: MSTORE 00000e79: PUSH1 0x20 00000e7b: PUSH1 0x04 00000e7d: DUP3 00000e7e: ADD 00000e7f: MSTORE 00000e80: PUSH1 0x1a 00000e82: PUSH1 0x24 00000e84: DUP3 00000e85: ADD 00000e86: MSTORE 00000e87: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000 00000ea8: PUSH1 0x44 00000eaa: DUP3 00000eab: ADD 00000eac: MSTORE 00000ead: SWAP1 00000eae: MLOAD 00000eaf: SWAP1 00000eb0: DUP2 00000eb1: SWAP1 00000eb2: SUB 00000eb3: PUSH1 0x64 00000eb5: ADD 00000eb6: SWAP1 00000eb7: REVERT 00000eb8: JUMPDEST 00000eb9: PUSH1 0x00 00000ebb: DUP3 00000ebc: DUP5 00000ebd: DUP2 00000ebe: PUSH2 0x0ec3 00000ec1: JUMPI 00000ec2: INVALID 00000ec3: JUMPDEST 00000ec4: DIV 00000ec5: SWAP5 00000ec6: SWAP4 00000ec7: POP 00000ec8: POP 00000ec9: POP 00000eca: POP 00000ecb: JUMP 00000ecc: JUMPDEST 00000ecd: PUSH1 0x00 00000ecf: DUP3 00000ed0: DUP3 00000ed1: ADD 00000ed2: DUP4 00000ed3: DUP2 00000ed4: LT 00000ed5: ISZERO 00000ed6: PUSH2 0x0e5b 00000ed9: JUMPI 00000eda: PUSH1 0x40 00000edc: DUP1 00000edd: MLOAD 00000ede: PUSH3 0x461bcd 00000ee2: PUSH1 0xe5 00000ee4: SHL 00000ee5: DUP2 00000ee6: MSTORE 00000ee7: PUSH1 0x20 00000ee9: PUSH1 0x04 00000eeb: DUP3 00000eec: ADD 00000eed: MSTORE 00000eee: PUSH1 0x1b 00000ef0: PUSH1 0x24 00000ef2: DUP3 00000ef3: ADD 00000ef4: MSTORE 00000ef5: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000 00000f16: PUSH1 0x44 00000f18: DUP3 00000f19: ADD 00000f1a: MSTORE 00000f1b: SWAP1 00000f1c: MLOAD 00000f1d: SWAP1 00000f1e: DUP2 00000f1f: SWAP1 00000f20: SUB 00000f21: PUSH1 0x64 00000f23: ADD 00000f24: SWAP1 00000f25: REVERT 00000f26: JUMPDEST 00000f27: PUSH1 0x40 00000f29: DUP1 00000f2a: MLOAD 00000f2b: PUSH1 0x01 00000f2d: PUSH1 0x01 00000f2f: PUSH1 0xa0 00000f31: SHL 00000f32: SUB 00000f33: DUP5 00000f34: AND 00000f35: PUSH1 0x24 00000f37: DUP3 00000f38: ADD 00000f39: MSTORE 00000f3a: PUSH1 0x44 00000f3c: DUP1 00000f3d: DUP3 00000f3e: ADD 00000f3f: DUP5 00000f40: SWAP1 00000f41: MSTORE 00000f42: DUP3 00000f43: MLOAD 00000f44: DUP1 00000f45: DUP4 00000f46: SUB 00000f47: SWAP1 00000f48: SWAP2 00000f49: ADD 00000f4a: DUP2 00000f4b: MSTORE 00000f4c: PUSH1 0x64 00000f4e: SWAP1 00000f4f: SWAP2 00000f50: ADD 00000f51: SWAP1 00000f52: SWAP2 00000f53: MSTORE 00000f54: PUSH1 0x20 00000f56: DUP2 00000f57: ADD 00000f58: DUP1 00000f59: MLOAD 00000f5a: PUSH1 0x01 00000f5c: PUSH1 0x01 00000f5e: PUSH1 0xe0 00000f60: SHL 00000f61: SUB 00000f62: AND 00000f63: PUSH4 0xa9059cbb 00000f68: PUSH1 0xe0 00000f6a: SHL 00000f6b: OR 00000f6c: SWAP1 00000f6d: MSTORE 00000f6e: PUSH2 0x0f78 00000f71: SWAP1 00000f72: DUP5 00000f73: SWAP1 00000f74: PUSH2 0x0f93 00000f77: JUMP 00000f78: JUMPDEST 00000f79: POP 00000f7a: POP 00000f7b: POP 00000f7c: JUMP 00000f7d: JUMPDEST 00000f7e: PUSH1 0x00 00000f80: DUP2 00000f81: DUP4 00000f82: LT 00000f83: PUSH2 0x0f8c 00000f86: JUMPI 00000f87: DUP2 00000f88: PUSH2 0x0e5b 00000f8b: JUMP 00000f8c: JUMPDEST 00000f8d: POP 00000f8e: SWAP1 00000f8f: SWAP2 00000f90: SWAP1 00000f91: POP 00000f92: JUMP 00000f93: JUMPDEST 00000f94: PUSH2 0x0fa5 00000f97: DUP3 00000f98: PUSH1 0x01 00000f9a: PUSH1 0x01 00000f9c: PUSH1 0xa0 00000f9e: SHL 00000f9f: SUB 00000fa0: AND 00000fa1: PUSH2 0x1151 00000fa4: JUMP 00000fa5: JUMPDEST 00000fa6: PUSH2 0x0ff6 00000fa9: JUMPI 00000faa: PUSH1 0x40 00000fac: DUP1 00000fad: MLOAD 00000fae: PUSH3 0x461bcd 00000fb2: PUSH1 0xe5 00000fb4: SHL 00000fb5: DUP2 00000fb6: MSTORE 00000fb7: PUSH1 0x20 00000fb9: PUSH1 0x04 00000fbb: DUP3 00000fbc: ADD 00000fbd: MSTORE 00000fbe: PUSH1 0x1f 00000fc0: PUSH1 0x24 00000fc2: DUP3 00000fc3: ADD 00000fc4: MSTORE 00000fc5: PUSH32 0x5361666545524332303a2063616c6c20746f206e6f6e2d636f6e747261637400 00000fe6: PUSH1 0x44 00000fe8: DUP3 00000fe9: ADD 00000fea: MSTORE 00000feb: SWAP1 00000fec: MLOAD 00000fed: SWAP1 00000fee: DUP2 00000fef: SWAP1 00000ff0: SUB 00000ff1: PUSH1 0x64 00000ff3: ADD 00000ff4: SWAP1 00000ff5: REVERT 00000ff6: JUMPDEST 00000ff7: PUSH1 0x00 00000ff9: PUSH1 0x60 00000ffb: DUP4 00000ffc: PUSH1 0x01 00000ffe: PUSH1 0x01 00001000: PUSH1 0xa0 00001002: SHL 00001003: SUB 00001004: AND 00001005: DUP4 00001006: PUSH1 0x40 00001008: MLOAD 00001009: DUP1 0000100a: DUP3 0000100b: DUP1 0000100c: MLOAD 0000100d: SWAP1 0000100e: PUSH1 0x20 00001010: ADD 00001011: SWAP1 00001012: DUP1 00001013: DUP4 00001014: DUP4 00001015: JUMPDEST 00001016: PUSH1 0x20 00001018: DUP4 00001019: LT 0000101a: PUSH2 0x1034 0000101d: JUMPI 0000101e: DUP1 0000101f: MLOAD 00001020: DUP3 00001021: MSTORE 00001022: PUSH1 0x1f 00001024: NOT 00001025: SWAP1 00001026: SWAP3 00001027: ADD 00001028: SWAP2 00001029: PUSH1 0x20 0000102b: SWAP2 0000102c: DUP3 0000102d: ADD 0000102e: SWAP2 0000102f: ADD 00001030: PUSH2 0x1015 00001033: JUMP 00001034: JUMPDEST 00001035: PUSH1 0x01 00001037: DUP4 00001038: PUSH1 0x20 0000103a: SUB 0000103b: PUSH2 0x0100 0000103e: EXP 0000103f: SUB 00001040: DUP1 00001041: NOT 00001042: DUP3 00001043: MLOAD 00001044: AND 00001045: DUP2 00001046: DUP5 00001047: MLOAD 00001048: AND 00001049: DUP1 0000104a: DUP3 0000104b: OR 0000104c: DUP6 0000104d: MSTORE 0000104e: POP 0000104f: POP 00001050: POP 00001051: POP 00001052: POP 00001053: POP 00001054: SWAP1 00001055: POP 00001056: ADD 00001057: SWAP2 00001058: POP 00001059: POP 0000105a: PUSH1 0x00 0000105c: PUSH1 0x40 0000105e: MLOAD 0000105f: DUP1 00001060: DUP4 00001061: SUB 00001062: DUP2 00001063: PUSH1 0x00 00001065: DUP7 00001066: GAS 00001067: CALL 00001068: SWAP2 00001069: POP 0000106a: POP 0000106b: RETURNDATASIZE 0000106c: DUP1 0000106d: PUSH1 0x00 0000106f: DUP2 00001070: EQ 00001071: PUSH2 0x1096 00001074: JUMPI 00001075: PUSH1 0x40 00001077: MLOAD 00001078: SWAP2 00001079: POP 0000107a: PUSH1 0x1f 0000107c: NOT 0000107d: PUSH1 0x3f 0000107f: RETURNDATASIZE 00001080: ADD 00001081: AND 00001082: DUP3 00001083: ADD 00001084: PUSH1 0x40 00001086: MSTORE 00001087: RETURNDATASIZE 00001088: DUP3 00001089: MSTORE 0000108a: RETURNDATASIZE 0000108b: PUSH1 0x00 0000108d: PUSH1 0x20 0000108f: DUP5 00001090: ADD 00001091: RETURNDATACOPY 00001092: PUSH2 0x109b 00001095: JUMP 00001096: JUMPDEST 00001097: PUSH1 0x60 00001099: SWAP2 0000109a: POP 0000109b: JUMPDEST 0000109c: POP 0000109d: SWAP2 0000109e: POP 0000109f: SWAP2 000010a0: POP 000010a1: DUP2 000010a2: PUSH2 0x10f2 000010a5: JUMPI 000010a6: PUSH1 0x40 000010a8: DUP1 000010a9: MLOAD 000010aa: PUSH3 0x461bcd 000010ae: PUSH1 0xe5 000010b0: SHL 000010b1: DUP2 000010b2: MSTORE 000010b3: PUSH1 0x20 000010b5: PUSH1 0x04 000010b7: DUP3 000010b8: ADD 000010b9: DUP2 000010ba: SWAP1 000010bb: MSTORE 000010bc: PUSH1 0x24 000010be: DUP3 000010bf: ADD 000010c0: MSTORE 000010c1: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564 000010e2: PUSH1 0x44 000010e4: DUP3 000010e5: ADD 000010e6: MSTORE 000010e7: SWAP1 000010e8: MLOAD 000010e9: SWAP1 000010ea: DUP2 000010eb: SWAP1 000010ec: SUB 000010ed: PUSH1 0x64 000010ef: ADD 000010f0: SWAP1 000010f1: REVERT 000010f2: JUMPDEST 000010f3: DUP1 000010f4: MLOAD 000010f5: ISZERO 000010f6: PUSH2 0x114b 000010f9: JUMPI 000010fa: DUP1 000010fb: DUP1 000010fc: PUSH1 0x20 000010fe: ADD 000010ff: SWAP1 00001100: MLOAD 00001101: PUSH1 0x20 00001103: DUP2 00001104: LT 00001105: ISZERO 00001106: PUSH2 0x110e 00001109: JUMPI 0000110a: PUSH1 0x00 0000110c: DUP1 0000110d: REVERT 0000110e: JUMPDEST 0000110f: POP 00001110: MLOAD 00001111: PUSH2 0x114b 00001114: JUMPI 00001115: PUSH1 0x40 00001117: MLOAD 00001118: PUSH3 0x461bcd 0000111c: PUSH1 0xe5 0000111e: SHL 0000111f: DUP2 00001120: MSTORE 00001121: PUSH1 0x04 00001123: ADD 00001124: DUP1 00001125: DUP1 00001126: PUSH1 0x20 00001128: ADD 00001129: DUP3 0000112a: DUP2 0000112b: SUB 0000112c: DUP3 0000112d: MSTORE 0000112e: PUSH1 0x2a 00001130: DUP2 00001131: MSTORE 00001132: PUSH1 0x20 00001134: ADD 00001135: DUP1 00001136: PUSH2 0x11a3 00001139: PUSH1 0x2a 0000113b: SWAP2 0000113c: CODECOPY 0000113d: PUSH1 0x40 0000113f: ADD 00001140: SWAP2 00001141: POP 00001142: POP 00001143: PUSH1 0x40 00001145: MLOAD 00001146: DUP1 00001147: SWAP2 00001148: SUB 00001149: SWAP1 0000114a: REVERT 0000114b: JUMPDEST 0000114c: POP 0000114d: POP 0000114e: POP 0000114f: POP 00001150: JUMP 00001151: JUMPDEST 00001152: EXTCODESIZE 00001153: ISZERO 00001154: ISZERO 00001155: SWAP1 00001156: JUMP 00001157: INVALID 00001158: MSTORE8 00001159: PUSH2 0x6665 0000115c: UNKNOWN(0x4D) 0000115d: PUSH2 0x7468 00001160: GASPRICE 00001161: KECCAK256 00001162: PUSH14 0x756c7469706c69636174696f6e20 00001171: PUSH16 0x766572666c6f7743616c6c6572206973 00001182: KECCAK256 00001183: PUSH15 0x6f7420526577617264734469737472 00001193: PUSH10 0x627574696f6e20636f6e 0000119e: PUSH21 0x726163745361666545524332303a20455243323020 000011b4: PUSH16 0x7065726174696f6e20646964206e6f74 000011c5: KECCAK256 000011c6: PUSH20 0x756363656564a265627a7a7231582014da7e1e1e 000011db: SWAP3 000011dc: UNKNOWN(0xDC) 000011dd: UNKNOWN(0x29) 000011de: UNKNOWN(0xC1) 000011df: DUP12 000011e0: UNKNOWN(0xB8) 000011e1: PUSH26 0xc40942e59c52854338003618e3526860e206a7f364736f6c6343 000011fc: STOP 000011fd: SDIV 000011fe: LT 000011ff: STOP 00001200: ORIGIN
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | auth | detector | Authorization based on tx.origin | 70 | no | — |
viewvalidation_json{
"reason": "missing sink mapping",
"status": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xcd3daf9d",
"selector": "0xcd3daf9d",
"calldata_variants": [
"0xcd3daf9d",
"0xcd3daf9d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd1af0c7d",
"selector": "0xd1af0c7d",
"calldata_variants": [
"0xd1af0c7d",
"0xd1af0c7d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd563b6c5",
"selector": "0xd563b6c5",
"calldata_variants": [
"0xd563b6c5",
"0xd563b6c50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdf136d65",
"selector": "0xdf136d65",
"calldata_variants": [
"0xdf136d65",
"0xdf136d650000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe04206b2",
"selector": "0xe04206b2",
"calldata_variants": [
"0xe04206b2",
"0xe04206b20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xebe2b12b",
"selector": "0xebe2b12b",
"calldata_variants": [
"0xebe2b12b",
"0xebe2b12b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7b0a47ee",
"selector": "0x7b0a47ee",
"calldata_variants": [
"0x7b0a47ee",
"0x7b0a47ee0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x80faa57d",
"selector": "0x80faa57d",
"calldata_variants": [
"0x80faa57d",
"0x80faa57d0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 4608,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0xc92e4e5e99d5272208aaec97a6bcfd43216e44912981f61f9bb8595ceea28244
call_targets:
0x39f2f950d52f4d2a71ca473e3f66d56dfc329581
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xc92e4e5e99d5272208aaec97a6bcfd43216e44912981f61f9bb8595ceea28244",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x39f2f950d52f4d2a71ca473e3f66d56dfc329581"
],
"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": "0xcd3daf9d",
"selector": "0xcd3daf9d",
"calldata_variants": [
"0xcd3daf9d",
"0xcd3daf9d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd1af0c7d",
"selector": "0xd1af0c7d",
"calldata_variants": [
"0xd1af0c7d",
"0xd1af0c7d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd563b6c5",
"selector": "0xd563b6c5",
"calldata_variants": [
"0xd563b6c5",
"0xd563b6c50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdf136d65",
"selector": "0xdf136d65",
"calldata_variants": [
"0xdf136d65",
"0xdf136d650000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe04206b2",
"selector": "0xe04206b2",
"calldata_variants": [
"0xe04206b2",
"0xe04206b20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xebe2b12b",
"selector": "0xebe2b12b",
"calldata_variants": [
"0xebe2b12b",
"0xebe2b12b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7b0a47ee",
"selector": "0x7b0a47ee",
"calldata_variants": [
"0x7b0a47ee",
"0x7b0a47ee0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x80faa57d",
"selector": "0x80faa57d",
"calldata_variants": [
"0x80faa57d",
"0x80faa57d0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1649,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2980,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4199,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 3,
"guards_detected": [
{
"pc": 4608,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 3
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0xc92e4e5e99d5272208aaec97a6bcfd43216e44912981f61f9bb8595ceea28244
call_targets:
0x39f2f950d52f4d2a71ca473e3f66d56dfc329581
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xc92e4e5e99d5272208aaec97a6bcfd43216e44912981f61f9bb8595ceea28244",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x39f2f950d52f4d2a71ca473e3f66d56dfc329581"
],
"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": "0xcd3daf9d",
"selector": "0xcd3daf9d",
"calldata_variants": [
"0xcd3daf9d",
"0xcd3daf9d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd1af0c7d",
"selector": "0xd1af0c7d",
"calldata_variants": [
"0xd1af0c7d",
"0xd1af0c7d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd563b6c5",
"selector": "0xd563b6c5",
"calldata_variants": [
"0xd563b6c5",
"0xd563b6c50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdf136d65",
"selector": "0xdf136d65",
"calldata_variants": [
"0xdf136d65",
"0xdf136d650000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe04206b2",
"selector": "0xe04206b2",
"calldata_variants": [
"0xe04206b2",
"0xe04206b20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xebe2b12b",
"selector": "0xebe2b12b",
"calldata_variants": [
"0xebe2b12b",
"0xebe2b12b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7b0a47ee",
"selector": "0x7b0a47ee",
"calldata_variants": [
"0x7b0a47ee",
"0x7b0a47ee0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x80faa57d",
"selector": "0x80faa57d",
"calldata_variants": [
"0x80faa57d",
"0x80faa57d0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1649,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2980,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4199,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 3,
"guards_detected": [
{
"pc": 4608,
"type": "tx_origin_used"
}
]
}
|