019b477e-b500-7057-a748-2391d4ad05b0
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 |
|---|---|---|---|---|
| 22849 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 22850 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 107453 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 107454 | capability.graph | complete | 1 / 3 | 1 week ago |
| 107455 | detector.run | complete | 1 / 3 | 1 week ago |
| 107456 | validation.fork | complete | 1 / 3 | 1 week ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x00fc 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000002e: SWAP1 0000002f: DIV 00000030: PUSH4 0xffffffff 00000035: AND 00000036: DUP1 00000037: PUSH4 0x07da68f5 0000003c: EQ 0000003d: PUSH2 0x0101 00000040: JUMPI 00000041: DUP1 00000042: PUSH4 0x0bdf5300 00000047: EQ 00000048: PUSH2 0x0118 0000004b: JUMPI 0000004c: DUP1 0000004d: PUSH4 0x0c82ed84 00000052: EQ 00000053: PUSH2 0x016f 00000056: JUMPI 00000057: DUP1 00000058: PUSH4 0x270ef385 0000005d: EQ 0000005e: PUSH2 0x0233 00000061: JUMPI 00000062: DUP1 00000063: PUSH4 0x368a5e34 00000068: EQ 00000069: PUSH2 0x025e 0000006c: JUMPI 0000006d: DUP1 0000006e: PUSH4 0x3d8d020a 00000073: EQ 00000074: PUSH2 0x02b5 00000077: JUMPI 00000078: DUP1 00000079: PUSH4 0x3f4ba83a 0000007e: EQ 0000007f: PUSH2 0x03a2 00000082: JUMPI 00000083: DUP1 00000084: PUSH4 0x5c975abb 00000089: EQ 0000008a: PUSH2 0x03b9 0000008d: JUMPI 0000008e: DUP1 0000008f: PUSH4 0x611f1931 00000094: EQ 00000095: PUSH2 0x03e8 00000098: JUMPI 00000099: DUP1 0000009a: PUSH4 0x75f12b21 0000009f: EQ 000000a0: PUSH2 0x0413 000000a3: JUMPI 000000a4: DUP1 000000a5: PUSH4 0x8456cb59 000000aa: EQ 000000ab: PUSH2 0x0442 000000ae: JUMPI 000000af: DUP1 000000b0: PUSH4 0x8da5cb5b 000000b5: EQ 000000b6: PUSH2 0x0459 000000b9: JUMPI 000000ba: DUP1 000000bb: PUSH4 0x998ac104 000000c0: EQ 000000c1: PUSH2 0x04b0 000000c4: JUMPI 000000c5: DUP1 000000c6: PUSH4 0xb2e357b4 000000cb: EQ 000000cc: PUSH2 0x0507 000000cf: JUMPI 000000d0: DUP1 000000d1: PUSH4 0xc90c205b 000000d6: EQ 000000d7: PUSH2 0x0562 000000da: JUMPI 000000db: DUP1 000000dc: PUSH4 0xcd26ac83 000000e1: EQ 000000e2: PUSH2 0x058d 000000e5: JUMPI 000000e6: DUP1 000000e7: PUSH4 0xdf5f53f1 000000ec: EQ 000000ed: PUSH2 0x0631 000000f0: JUMPI 000000f1: DUP1 000000f2: PUSH4 0xfd68610f 000000f7: EQ 000000f8: PUSH2 0x071e 000000fb: JUMPI 000000fc: JUMPDEST 000000fd: PUSH1 0x00 000000ff: DUP1 00000100: REVERT 00000101: JUMPDEST 00000102: CALLVALUE 00000103: DUP1 00000104: ISZERO 00000105: PUSH2 0x010d 00000108: JUMPI 00000109: PUSH1 0x00 0000010b: DUP1 0000010c: REVERT 0000010d: JUMPDEST 0000010e: POP 0000010f: PUSH2 0x0116 00000112: PUSH2 0x074d 00000115: JUMP 00000116: JUMPDEST 00000117: STOP 00000118: JUMPDEST 00000119: CALLVALUE 0000011a: DUP1 0000011b: ISZERO 0000011c: PUSH2 0x0124 0000011f: JUMPI 00000120: PUSH1 0x00 00000122: DUP1 00000123: REVERT 00000124: JUMPDEST 00000125: POP 00000126: PUSH2 0x012d 00000129: PUSH2 0x080d 0000012c: JUMP 0000012d: JUMPDEST 0000012e: PUSH1 0x40 00000130: MLOAD 00000131: DUP1 00000132: DUP3 00000133: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000148: AND 00000149: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000015e: AND 0000015f: DUP2 00000160: MSTORE 00000161: PUSH1 0x20 00000163: ADD 00000164: SWAP2 00000165: POP 00000166: POP 00000167: PUSH1 0x40 00000169: MLOAD 0000016a: DUP1 0000016b: SWAP2 0000016c: SUB 0000016d: SWAP1 0000016e: RETURN 0000016f: JUMPDEST 00000170: CALLVALUE 00000171: DUP1 00000172: ISZERO 00000173: PUSH2 0x017b 00000176: JUMPI 00000177: PUSH1 0x00 00000179: DUP1 0000017a: REVERT 0000017b: JUMPDEST 0000017c: POP 0000017d: PUSH2 0x0219 00000180: PUSH1 0x04 00000182: DUP1 00000183: CALLDATASIZE 00000184: SUB 00000185: DUP2 00000186: ADD 00000187: SWAP1 00000188: DUP1 00000189: DUP1 0000018a: CALLDATALOAD 0000018b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001a0: AND 000001a1: SWAP1 000001a2: PUSH1 0x20 000001a4: ADD 000001a5: SWAP1 000001a6: SWAP3 000001a7: SWAP2 000001a8: SWAP1 000001a9: DUP1 000001aa: CALLDATALOAD 000001ab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001c0: AND 000001c1: SWAP1 000001c2: PUSH1 0x20 000001c4: ADD 000001c5: SWAP1 000001c6: SWAP3 000001c7: SWAP2 000001c8: SWAP1 000001c9: DUP1 000001ca: CALLDATALOAD 000001cb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001e0: AND 000001e1: SWAP1 000001e2: PUSH1 0x20 000001e4: ADD 000001e5: SWAP1 000001e6: SWAP3 000001e7: SWAP2 000001e8: SWAP1 000001e9: DUP1 000001ea: CALLDATALOAD 000001eb: PUSH1 0xff 000001ed: AND 000001ee: SWAP1 000001ef: PUSH1 0x20 000001f1: ADD 000001f2: SWAP1 000001f3: SWAP3 000001f4: SWAP2 000001f5: SWAP1 000001f6: DUP1 000001f7: CALLDATALOAD 000001f8: PUSH1 0x00 000001fa: NOT 000001fb: AND 000001fc: SWAP1 000001fd: PUSH1 0x20 000001ff: ADD 00000200: SWAP1 00000201: SWAP3 00000202: SWAP2 00000203: SWAP1 00000204: DUP1 00000205: CALLDATALOAD 00000206: PUSH1 0x00 00000208: NOT 00000209: AND 0000020a: SWAP1 0000020b: PUSH1 0x20 0000020d: ADD 0000020e: SWAP1 0000020f: SWAP3 00000210: SWAP2 00000211: SWAP1 00000212: POP 00000213: POP 00000214: POP 00000215: PUSH2 0x0833 00000218: JUMP 00000219: JUMPDEST 0000021a: PUSH1 0x40 0000021c: MLOAD 0000021d: DUP1 0000021e: DUP3 0000021f: ISZERO 00000220: ISZERO 00000221: ISZERO 00000222: ISZERO 00000223: DUP2 00000224: MSTORE 00000225: PUSH1 0x20 00000227: ADD 00000228: SWAP2 00000229: POP 0000022a: POP 0000022b: PUSH1 0x40 0000022d: MLOAD 0000022e: DUP1 0000022f: SWAP2 00000230: SUB 00000231: SWAP1 00000232: RETURN 00000233: JUMPDEST 00000234: CALLVALUE 00000235: DUP1 00000236: ISZERO 00000237: PUSH2 0x023f 0000023a: JUMPI 0000023b: PUSH1 0x00 0000023d: DUP1 0000023e: REVERT 0000023f: JUMPDEST 00000240: POP 00000241: PUSH2 0x0248 00000244: PUSH2 0x09b6 00000247: JUMP 00000248: JUMPDEST 00000249: PUSH1 0x40 0000024b: MLOAD 0000024c: DUP1 0000024d: DUP3 0000024e: DUP2 0000024f: MSTORE 00000250: PUSH1 0x20 00000252: ADD 00000253: SWAP2 00000254: POP 00000255: POP 00000256: PUSH1 0x40 00000258: MLOAD 00000259: DUP1 0000025a: SWAP2 0000025b: SUB 0000025c: SWAP1 0000025d: RETURN 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 0x0273 0000026f: PUSH2 0x09bc 00000272: JUMP 00000273: JUMPDEST 00000274: PUSH1 0x40 00000276: MLOAD 00000277: DUP1 00000278: DUP3 00000279: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000028e: AND 0000028f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002a4: AND 000002a5: DUP2 000002a6: MSTORE 000002a7: PUSH1 0x20 000002a9: ADD 000002aa: SWAP2 000002ab: POP 000002ac: POP 000002ad: PUSH1 0x40 000002af: MLOAD 000002b0: DUP1 000002b1: SWAP2 000002b2: SUB 000002b3: SWAP1 000002b4: RETURN 000002b5: JUMPDEST 000002b6: CALLVALUE 000002b7: DUP1 000002b8: ISZERO 000002b9: PUSH2 0x02c1 000002bc: JUMPI 000002bd: PUSH1 0x00 000002bf: DUP1 000002c0: REVERT 000002c1: JUMPDEST 000002c2: POP 000002c3: PUSH2 0x0388 000002c6: PUSH1 0x04 000002c8: DUP1 000002c9: CALLDATASIZE 000002ca: SUB 000002cb: DUP2 000002cc: ADD 000002cd: SWAP1 000002ce: DUP1 000002cf: DUP1 000002d0: CALLDATALOAD 000002d1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002e6: AND 000002e7: SWAP1 000002e8: PUSH1 0x20 000002ea: ADD 000002eb: SWAP1 000002ec: SWAP3 000002ed: SWAP2 000002ee: SWAP1 000002ef: DUP1 000002f0: CALLDATALOAD 000002f1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000306: AND 00000307: SWAP1 00000308: PUSH1 0x20 0000030a: ADD 0000030b: SWAP1 0000030c: SWAP3 0000030d: SWAP2 0000030e: SWAP1 0000030f: DUP1 00000310: CALLDATALOAD 00000311: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000326: AND 00000327: SWAP1 00000328: PUSH1 0x20 0000032a: ADD 0000032b: SWAP1 0000032c: SWAP3 0000032d: SWAP2 0000032e: SWAP1 0000032f: DUP1 00000330: CALLDATALOAD 00000331: PUSH1 0xff 00000333: AND 00000334: SWAP1 00000335: PUSH1 0x20 00000337: ADD 00000338: SWAP1 00000339: SWAP3 0000033a: SWAP2 0000033b: SWAP1 0000033c: DUP1 0000033d: CALLDATALOAD 0000033e: PUSH1 0x00 00000340: NOT 00000341: AND 00000342: SWAP1 00000343: PUSH1 0x20 00000345: ADD 00000346: SWAP1 00000347: SWAP3 00000348: SWAP2 00000349: SWAP1 0000034a: DUP1 0000034b: CALLDATALOAD 0000034c: PUSH1 0x00 0000034e: NOT 0000034f: AND 00000350: SWAP1 00000351: PUSH1 0x20 00000353: ADD 00000354: SWAP1 00000355: SWAP3 00000356: SWAP2 00000357: SWAP1 00000358: DUP1 00000359: CALLDATALOAD 0000035a: PUSH1 0xff 0000035c: AND 0000035d: SWAP1 0000035e: PUSH1 0x20 00000360: ADD 00000361: SWAP1 00000362: SWAP3 00000363: SWAP2 00000364: SWAP1 00000365: DUP1 00000366: CALLDATALOAD 00000367: PUSH1 0x00 00000369: NOT 0000036a: AND 0000036b: SWAP1 0000036c: PUSH1 0x20 0000036e: ADD 0000036f: SWAP1 00000370: SWAP3 00000371: SWAP2 00000372: SWAP1 00000373: DUP1 00000374: CALLDATALOAD 00000375: PUSH1 0x00 00000377: NOT 00000378: AND 00000379: SWAP1 0000037a: PUSH1 0x20 0000037c: ADD 0000037d: SWAP1 0000037e: SWAP3 0000037f: SWAP2 00000380: SWAP1 00000381: POP 00000382: POP 00000383: POP 00000384: PUSH2 0x09e2 00000387: JUMP 00000388: JUMPDEST 00000389: PUSH1 0x40 0000038b: MLOAD 0000038c: DUP1 0000038d: DUP3 0000038e: ISZERO 0000038f: ISZERO 00000390: ISZERO 00000391: ISZERO 00000392: DUP2 00000393: MSTORE 00000394: PUSH1 0x20 00000396: ADD 00000397: SWAP2 00000398: POP 00000399: POP 0000039a: PUSH1 0x40 0000039c: MLOAD 0000039d: DUP1 0000039e: SWAP2 0000039f: SUB 000003a0: SWAP1 000003a1: RETURN 000003a2: JUMPDEST 000003a3: CALLVALUE 000003a4: DUP1 000003a5: ISZERO 000003a6: PUSH2 0x03ae 000003a9: JUMPI 000003aa: PUSH1 0x00 000003ac: DUP1 000003ad: REVERT 000003ae: JUMPDEST 000003af: POP 000003b0: PUSH2 0x03b7 000003b3: PUSH2 0x0ed6 000003b6: JUMP 000003b7: JUMPDEST 000003b8: STOP 000003b9: JUMPDEST 000003ba: CALLVALUE 000003bb: DUP1 000003bc: ISZERO 000003bd: PUSH2 0x03c5 000003c0: JUMPI 000003c1: PUSH1 0x00 000003c3: DUP1 000003c4: REVERT 000003c5: JUMPDEST 000003c6: POP 000003c7: PUSH2 0x03ce 000003ca: PUSH2 0x0f94 000003cd: JUMP 000003ce: JUMPDEST 000003cf: PUSH1 0x40 000003d1: MLOAD 000003d2: DUP1 000003d3: DUP3 000003d4: ISZERO 000003d5: ISZERO 000003d6: ISZERO 000003d7: ISZERO 000003d8: DUP2 000003d9: MSTORE 000003da: PUSH1 0x20 000003dc: ADD 000003dd: SWAP2 000003de: POP 000003df: POP 000003e0: PUSH1 0x40 000003e2: MLOAD 000003e3: DUP1 000003e4: SWAP2 000003e5: SUB 000003e6: SWAP1 000003e7: RETURN 000003e8: JUMPDEST 000003e9: CALLVALUE 000003ea: DUP1 000003eb: ISZERO 000003ec: PUSH2 0x03f4 000003ef: JUMPI 000003f0: PUSH1 0x00 000003f2: DUP1 000003f3: REVERT 000003f4: JUMPDEST 000003f5: POP 000003f6: PUSH2 0x03fd 000003f9: PUSH2 0x0fa7 000003fc: JUMP 000003fd: JUMPDEST 000003fe: PUSH1 0x40 00000400: MLOAD 00000401: DUP1 00000402: DUP3 00000403: DUP2 00000404: MSTORE 00000405: PUSH1 0x20 00000407: ADD 00000408: SWAP2 00000409: POP 0000040a: POP 0000040b: PUSH1 0x40 0000040d: MLOAD 0000040e: DUP1 0000040f: SWAP2 00000410: SUB 00000411: SWAP1 00000412: RETURN 00000413: JUMPDEST 00000414: CALLVALUE 00000415: DUP1 00000416: ISZERO 00000417: PUSH2 0x041f 0000041a: JUMPI 0000041b: PUSH1 0x00 0000041d: DUP1 0000041e: REVERT 0000041f: JUMPDEST 00000420: POP 00000421: PUSH2 0x0428 00000424: PUSH2 0x0fad 00000427: JUMP 00000428: JUMPDEST 00000429: PUSH1 0x40 0000042b: MLOAD 0000042c: DUP1 0000042d: DUP3 0000042e: ISZERO 0000042f: ISZERO 00000430: ISZERO 00000431: ISZERO 00000432: DUP2 00000433: MSTORE 00000434: PUSH1 0x20 00000436: ADD 00000437: SWAP2 00000438: POP 00000439: POP 0000043a: PUSH1 0x40 0000043c: MLOAD 0000043d: DUP1 0000043e: SWAP2 0000043f: SUB 00000440: SWAP1 00000441: RETURN 00000442: JUMPDEST 00000443: CALLVALUE 00000444: DUP1 00000445: ISZERO 00000446: PUSH2 0x044e 00000449: JUMPI 0000044a: PUSH1 0x00 0000044c: DUP1 0000044d: REVERT 0000044e: JUMPDEST 0000044f: POP 00000450: PUSH2 0x0457 00000453: PUSH2 0x0fc0 00000456: JUMP 00000457: JUMPDEST 00000458: STOP 00000459: JUMPDEST 0000045a: CALLVALUE 0000045b: DUP1 0000045c: ISZERO 0000045d: PUSH2 0x0465 00000460: JUMPI 00000461: PUSH1 0x00 00000463: DUP1 00000464: REVERT 00000465: JUMPDEST 00000466: POP 00000467: PUSH2 0x046e 0000046a: PUSH2 0x1080 0000046d: JUMP 0000046e: JUMPDEST 0000046f: PUSH1 0x40 00000471: MLOAD 00000472: DUP1 00000473: DUP3 00000474: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000489: AND 0000048a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000049f: AND 000004a0: DUP2 000004a1: MSTORE 000004a2: PUSH1 0x20 000004a4: ADD 000004a5: SWAP2 000004a6: POP 000004a7: POP 000004a8: PUSH1 0x40 000004aa: MLOAD 000004ab: DUP1 000004ac: SWAP2 000004ad: SUB 000004ae: SWAP1 000004af: RETURN 000004b0: JUMPDEST 000004b1: CALLVALUE 000004b2: DUP1 000004b3: ISZERO 000004b4: PUSH2 0x04bc 000004b7: JUMPI 000004b8: PUSH1 0x00 000004ba: DUP1 000004bb: REVERT 000004bc: JUMPDEST 000004bd: POP 000004be: PUSH2 0x04c5 000004c1: PUSH2 0x10a5 000004c4: JUMP 000004c5: JUMPDEST 000004c6: PUSH1 0x40 000004c8: MLOAD 000004c9: DUP1 000004ca: DUP3 000004cb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004e0: AND 000004e1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004f6: AND 000004f7: DUP2 000004f8: MSTORE 000004f9: PUSH1 0x20 000004fb: ADD 000004fc: SWAP2 000004fd: POP 000004fe: POP 000004ff: PUSH1 0x40 00000501: MLOAD 00000502: DUP1 00000503: SWAP2 00000504: SUB 00000505: SWAP1 00000506: RETURN 00000507: JUMPDEST 00000508: CALLVALUE 00000509: DUP1 0000050a: ISZERO 0000050b: PUSH2 0x0513 0000050e: JUMPI 0000050f: PUSH1 0x00 00000511: DUP1 00000512: REVERT 00000513: JUMPDEST 00000514: POP 00000515: PUSH2 0x0548 00000518: PUSH1 0x04 0000051a: DUP1 0000051b: CALLDATASIZE 0000051c: SUB 0000051d: DUP2 0000051e: ADD 0000051f: SWAP1 00000520: DUP1 00000521: DUP1 00000522: CALLDATALOAD 00000523: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000538: AND 00000539: SWAP1 0000053a: PUSH1 0x20 0000053c: ADD 0000053d: SWAP1 0000053e: SWAP3 0000053f: SWAP2 00000540: SWAP1 00000541: POP 00000542: POP 00000543: POP 00000544: PUSH2 0x10cb 00000547: JUMP 00000548: JUMPDEST 00000549: PUSH1 0x40 0000054b: MLOAD 0000054c: DUP1 0000054d: DUP3 0000054e: ISZERO 0000054f: ISZERO 00000550: ISZERO 00000551: ISZERO 00000552: DUP2 00000553: MSTORE 00000554: PUSH1 0x20 00000556: ADD 00000557: SWAP2 00000558: POP 00000559: POP 0000055a: PUSH1 0x40 0000055c: MLOAD 0000055d: DUP1 0000055e: SWAP2 0000055f: SUB 00000560: SWAP1 00000561: RETURN 00000562: JUMPDEST 00000563: CALLVALUE 00000564: DUP1 00000565: ISZERO 00000566: PUSH2 0x056e 00000569: JUMPI 0000056a: PUSH1 0x00 0000056c: DUP1 0000056d: REVERT 0000056e: JUMPDEST 0000056f: POP 00000570: PUSH2 0x0577 00000573: PUSH2 0x1121 00000576: JUMP 00000577: JUMPDEST 00000578: PUSH1 0x40 0000057a: MLOAD 0000057b: DUP1 0000057c: DUP3 0000057d: DUP2 0000057e: MSTORE 0000057f: PUSH1 0x20 00000581: ADD 00000582: SWAP2 00000583: POP 00000584: POP 00000585: PUSH1 0x40 00000587: MLOAD 00000588: DUP1 00000589: SWAP2 0000058a: SUB 0000058b: SWAP1 0000058c: RETURN 0000058d: JUMPDEST 0000058e: CALLVALUE 0000058f: DUP1 00000590: ISZERO 00000591: PUSH2 0x0599 00000594: JUMPI 00000595: PUSH1 0x00 00000597: DUP1 00000598: REVERT 00000599: JUMPDEST 0000059a: POP 0000059b: PUSH2 0x0617 0000059e: PUSH1 0x04 000005a0: DUP1 000005a1: CALLDATASIZE 000005a2: SUB 000005a3: DUP2 000005a4: ADD 000005a5: SWAP1 000005a6: DUP1 000005a7: DUP1 000005a8: CALLDATALOAD 000005a9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005be: AND 000005bf: SWAP1 000005c0: PUSH1 0x20 000005c2: ADD 000005c3: SWAP1 000005c4: SWAP3 000005c5: SWAP2 000005c6: SWAP1 000005c7: DUP1 000005c8: CALLDATALOAD 000005c9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005de: AND 000005df: SWAP1 000005e0: PUSH1 0x20 000005e2: ADD 000005e3: SWAP1 000005e4: SWAP3 000005e5: SWAP2 000005e6: SWAP1 000005e7: DUP1 000005e8: CALLDATALOAD 000005e9: PUSH1 0xff 000005eb: AND 000005ec: SWAP1 000005ed: PUSH1 0x20 000005ef: ADD 000005f0: SWAP1 000005f1: SWAP3 000005f2: SWAP2 000005f3: SWAP1 000005f4: DUP1 000005f5: CALLDATALOAD 000005f6: PUSH1 0x00 000005f8: NOT 000005f9: AND 000005fa: SWAP1 000005fb: PUSH1 0x20 000005fd: ADD 000005fe: SWAP1 000005ff: SWAP3 00000600: SWAP2 00000601: SWAP1 00000602: DUP1 00000603: CALLDATALOAD 00000604: PUSH1 0x00 00000606: NOT 00000607: AND 00000608: SWAP1 00000609: PUSH1 0x20 0000060b: ADD 0000060c: SWAP1 0000060d: SWAP3 0000060e: SWAP2 0000060f: SWAP1 00000610: POP 00000611: POP 00000612: POP 00000613: PUSH2 0x1127 00000616: JUMP 00000617: JUMPDEST 00000618: PUSH1 0x40 0000061a: MLOAD 0000061b: DUP1 0000061c: DUP3 0000061d: ISZERO 0000061e: ISZERO 0000061f: ISZERO 00000620: ISZERO 00000621: DUP2 00000622: MSTORE 00000623: PUSH1 0x20 00000625: ADD 00000626: SWAP2 00000627: POP 00000628: POP 00000629: PUSH1 0x40 0000062b: MLOAD 0000062c: DUP1 0000062d: SWAP2 0000062e: SUB 0000062f: SWAP1 00000630: RETURN 00000631: JUMPDEST 00000632: CALLVALUE 00000633: DUP1 00000634: ISZERO 00000635: PUSH2 0x063d 00000638: JUMPI 00000639: PUSH1 0x00 0000063b: DUP1 0000063c: REVERT 0000063d: JUMPDEST 0000063e: POP 0000063f: PUSH2 0x0704 00000642: PUSH1 0x04 00000644: DUP1 00000645: CALLDATASIZE 00000646: SUB 00000647: DUP2 00000648: ADD 00000649: SWAP1 0000064a: DUP1 0000064b: DUP1 0000064c: CALLDATALOAD 0000064d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000662: AND 00000663: SWAP1 00000664: PUSH1 0x20 00000666: ADD 00000667: SWAP1 00000668: SWAP3 00000669: SWAP2 0000066a: SWAP1 0000066b: DUP1 0000066c: CALLDATALOAD 0000066d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000682: AND 00000683: SWAP1 00000684: PUSH1 0x20 00000686: ADD 00000687: SWAP1 00000688: SWAP3 00000689: SWAP2 0000068a: SWAP1 0000068b: DUP1 0000068c: CALLDATALOAD 0000068d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006a2: AND 000006a3: SWAP1 000006a4: PUSH1 0x20 000006a6: ADD 000006a7: SWAP1 000006a8: SWAP3 000006a9: SWAP2 000006aa: SWAP1 000006ab: DUP1 000006ac: CALLDATALOAD 000006ad: PUSH1 0xff 000006af: AND 000006b0: SWAP1 000006b1: PUSH1 0x20 000006b3: ADD 000006b4: SWAP1 000006b5: SWAP3 000006b6: SWAP2 000006b7: SWAP1 000006b8: DUP1 000006b9: CALLDATALOAD 000006ba: PUSH1 0x00 000006bc: NOT 000006bd: AND 000006be: SWAP1 000006bf: PUSH1 0x20 000006c1: ADD 000006c2: SWAP1 000006c3: SWAP3 000006c4: SWAP2 000006c5: SWAP1 000006c6: DUP1 000006c7: CALLDATALOAD 000006c8: PUSH1 0x00 000006ca: NOT 000006cb: AND 000006cc: SWAP1 000006cd: PUSH1 0x20 000006cf: ADD 000006d0: SWAP1 000006d1: SWAP3 000006d2: SWAP2 000006d3: SWAP1 000006d4: DUP1 000006d5: CALLDATALOAD 000006d6: PUSH1 0xff 000006d8: AND 000006d9: SWAP1 000006da: PUSH1 0x20 000006dc: ADD 000006dd: SWAP1 000006de: SWAP3 000006df: SWAP2 000006e0: SWAP1 000006e1: DUP1 000006e2: CALLDATALOAD 000006e3: PUSH1 0x00 000006e5: NOT 000006e6: AND 000006e7: SWAP1 000006e8: PUSH1 0x20 000006ea: ADD 000006eb: SWAP1 000006ec: SWAP3 000006ed: SWAP2 000006ee: SWAP1 000006ef: DUP1 000006f0: CALLDATALOAD 000006f1: PUSH1 0x00 000006f3: NOT 000006f4: AND 000006f5: SWAP1 000006f6: PUSH1 0x20 000006f8: ADD 000006f9: SWAP1 000006fa: SWAP3 000006fb: SWAP2 000006fc: SWAP1 000006fd: POP 000006fe: POP 000006ff: POP 00000700: PUSH2 0x1266 00000703: JUMP 00000704: JUMPDEST 00000705: PUSH1 0x40 00000707: MLOAD 00000708: DUP1 00000709: DUP3 0000070a: ISZERO 0000070b: ISZERO 0000070c: ISZERO 0000070d: ISZERO 0000070e: DUP2 0000070f: MSTORE 00000710: PUSH1 0x20 00000712: ADD 00000713: SWAP2 00000714: POP 00000715: POP 00000716: PUSH1 0x40 00000718: MLOAD 00000719: DUP1 0000071a: SWAP2 0000071b: SUB 0000071c: SWAP1 0000071d: RETURN 0000071e: JUMPDEST 0000071f: CALLVALUE 00000720: DUP1 00000721: ISZERO 00000722: PUSH2 0x072a 00000725: JUMPI 00000726: PUSH1 0x00 00000728: DUP1 00000729: REVERT 0000072a: JUMPDEST 0000072b: POP 0000072c: PUSH2 0x0733 0000072f: PUSH2 0x1352 00000732: JUMP 00000733: JUMPDEST 00000734: PUSH1 0x40 00000736: MLOAD 00000737: DUP1 00000738: DUP3 00000739: ISZERO 0000073a: ISZERO 0000073b: ISZERO 0000073c: ISZERO 0000073d: DUP2 0000073e: MSTORE 0000073f: PUSH1 0x20 00000741: ADD 00000742: SWAP2 00000743: POP 00000744: POP 00000745: PUSH1 0x40 00000747: MLOAD 00000748: DUP1 00000749: SWAP2 0000074a: SUB 0000074b: SWAP1 0000074c: RETURN 0000074d: JUMPDEST 0000074e: PUSH1 0x00 00000750: DUP1 00000751: SWAP1 00000752: SLOAD 00000753: SWAP1 00000754: PUSH2 0x0100 00000757: EXP 00000758: SWAP1 00000759: DIV 0000075a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000076f: AND 00000770: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000785: AND 00000786: CALLER 00000787: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000079c: AND 0000079d: EQ 0000079e: ISZERO 0000079f: ISZERO 000007a0: PUSH2 0x07a8 000007a3: JUMPI 000007a4: PUSH1 0x00 000007a6: DUP1 000007a7: REVERT 000007a8: JUMPDEST 000007a9: PUSH1 0x00 000007ab: PUSH1 0x15 000007ad: SWAP1 000007ae: SLOAD 000007af: SWAP1 000007b0: PUSH2 0x0100 000007b3: EXP 000007b4: SWAP1 000007b5: DIV 000007b6: PUSH1 0xff 000007b8: AND 000007b9: ISZERO 000007ba: ISZERO 000007bb: ISZERO 000007bc: PUSH2 0x07c4 000007bf: JUMPI 000007c0: PUSH1 0x00 000007c2: DUP1 000007c3: REVERT 000007c4: JUMPDEST 000007c5: PUSH1 0x01 000007c7: PUSH1 0x00 000007c9: PUSH1 0x15 000007cb: PUSH2 0x0100 000007ce: EXP 000007cf: DUP2 000007d0: SLOAD 000007d1: DUP2 000007d2: PUSH1 0xff 000007d4: MUL 000007d5: NOT 000007d6: AND 000007d7: SWAP1 000007d8: DUP4 000007d9: ISZERO 000007da: ISZERO 000007db: MUL 000007dc: OR 000007dd: SWAP1 000007de: SSTORE 000007df: POP 000007e0: PUSH32 0xbedf0f4abfe86d4ffad593d9607fe70e83ea706033d44d24b3b6283cf3fc4f6b 00000801: PUSH1 0x40 00000803: MLOAD 00000804: PUSH1 0x40 00000806: MLOAD 00000807: DUP1 00000808: SWAP2 00000809: SUB 0000080a: SWAP1 0000080b: LOG1 0000080c: JUMP 0000080d: JUMPDEST 0000080e: PUSH1 0x01 00000810: PUSH1 0x00 00000812: SWAP1 00000813: SLOAD 00000814: SWAP1 00000815: PUSH2 0x0100 00000818: EXP 00000819: SWAP1 0000081a: DIV 0000081b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000830: AND 00000831: DUP2 00000832: JUMP 00000833: JUMPDEST 00000834: PUSH1 0x00 00000836: DUP1 00000837: PUSH1 0x00 00000839: DUP8 0000083a: DUP8 0000083b: PUSH1 0x40 0000083d: MLOAD 0000083e: DUP1 0000083f: DUP1 00000840: PUSH32 0x19457468657265756d205369676e6564204d6573736167653a0a333200000000 00000861: DUP2 00000862: MSTORE 00000863: POP 00000864: PUSH1 0x1c 00000866: ADD 00000867: DUP4 00000868: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000087d: AND 0000087e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000893: AND 00000894: PUSH13 0x01000000000000000000000000 000008a2: MUL 000008a3: DUP2 000008a4: MSTORE 000008a5: PUSH1 0x14 000008a7: ADD 000008a8: DUP3 000008a9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008be: AND 000008bf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008d4: AND 000008d5: PUSH13 0x01000000000000000000000000 000008e3: MUL 000008e4: DUP2 000008e5: MSTORE 000008e6: PUSH1 0x14 000008e8: ADD 000008e9: SWAP3 000008ea: POP 000008eb: POP 000008ec: POP 000008ed: PUSH1 0x40 000008ef: MLOAD 000008f0: DUP1 000008f1: SWAP2 000008f2: SUB 000008f3: SWAP1 000008f4: KECCAK256 000008f5: SWAP2 000008f6: POP 000008f7: PUSH1 0x01 000008f9: DUP3 000008fa: DUP8 000008fb: DUP8 000008fc: DUP8 000008fd: PUSH1 0x40 000008ff: MLOAD 00000900: PUSH1 0x00 00000902: DUP2 00000903: MSTORE 00000904: PUSH1 0x20 00000906: ADD 00000907: PUSH1 0x40 00000909: MSTORE 0000090a: PUSH1 0x40 0000090c: MLOAD 0000090d: DUP1 0000090e: DUP6 0000090f: PUSH1 0x00 00000911: NOT 00000912: AND 00000913: PUSH1 0x00 00000915: NOT 00000916: AND 00000917: DUP2 00000918: MSTORE 00000919: PUSH1 0x20 0000091b: ADD 0000091c: DUP5 0000091d: PUSH1 0xff 0000091f: AND 00000920: PUSH1 0xff 00000922: AND 00000923: DUP2 00000924: MSTORE 00000925: PUSH1 0x20 00000927: ADD 00000928: DUP4 00000929: PUSH1 0x00 0000092b: NOT 0000092c: AND 0000092d: PUSH1 0x00 0000092f: NOT 00000930: AND 00000931: DUP2 00000932: MSTORE 00000933: PUSH1 0x20 00000935: ADD 00000936: DUP3 00000937: PUSH1 0x00 00000939: NOT 0000093a: AND 0000093b: PUSH1 0x00 0000093d: NOT 0000093e: AND 0000093f: DUP2 00000940: MSTORE 00000941: PUSH1 0x20 00000943: ADD 00000944: SWAP5 00000945: POP 00000946: POP 00000947: POP 00000948: POP 00000949: POP 0000094a: PUSH1 0x20 0000094c: PUSH1 0x40 0000094e: MLOAD 0000094f: PUSH1 0x20 00000951: DUP2 00000952: SUB 00000953: SWAP1 00000954: DUP1 00000955: DUP5 00000956: SUB 00000957: SWAP1 00000958: PUSH1 0x00 0000095a: DUP7 0000095b: GAS 0000095c: CALL 0000095d: ISZERO 0000095e: DUP1 0000095f: ISZERO 00000960: PUSH2 0x096d 00000963: JUMPI 00000964: RETURNDATASIZE 00000965: PUSH1 0x00 00000967: DUP1 00000968: RETURNDATACOPY 00000969: RETURNDATASIZE 0000096a: PUSH1 0x00 0000096c: REVERT 0000096d: JUMPDEST 0000096e: POP 0000096f: POP 00000970: POP 00000971: PUSH1 0x20 00000973: PUSH1 0x40 00000975: MLOAD 00000976: SUB 00000977: MLOAD 00000978: SWAP1 00000979: POP 0000097a: DUP9 0000097b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000990: AND 00000991: DUP2 00000992: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009a7: AND 000009a8: EQ 000009a9: SWAP3 000009aa: POP 000009ab: POP 000009ac: POP 000009ad: SWAP7 000009ae: SWAP6 000009af: POP 000009b0: POP 000009b1: POP 000009b2: POP 000009b3: POP 000009b4: POP 000009b5: JUMP 000009b6: JUMPDEST 000009b7: PUSH1 0x02 000009b9: SLOAD 000009ba: DUP2 000009bb: JUMP 000009bc: JUMPDEST 000009bd: PUSH1 0x05 000009bf: PUSH1 0x00 000009c1: SWAP1 000009c2: SLOAD 000009c3: SWAP1 000009c4: PUSH2 0x0100 000009c7: EXP 000009c8: SWAP1 000009c9: DIV 000009ca: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009df: AND 000009e0: DUP2 000009e1: JUMP 000009e2: JUMPDEST 000009e3: PUSH1 0x00 000009e5: DUP1 000009e6: PUSH1 0x00 000009e8: PUSH1 0x14 000009ea: SWAP1 000009eb: SLOAD 000009ec: SWAP1 000009ed: PUSH2 0x0100 000009f0: EXP 000009f1: SWAP1 000009f2: DIV 000009f3: PUSH1 0xff 000009f5: AND 000009f6: ISZERO 000009f7: ISZERO 000009f8: ISZERO 000009f9: PUSH2 0x0a01 000009fc: JUMPI 000009fd: PUSH1 0x00 000009ff: DUP1 00000a00: REVERT 00000a01: JUMPDEST 00000a02: PUSH1 0x00 00000a04: PUSH1 0x15 00000a06: SWAP1 00000a07: SLOAD 00000a08: SWAP1 00000a09: PUSH2 0x0100 00000a0c: EXP 00000a0d: SWAP1 00000a0e: DIV 00000a0f: PUSH1 0xff 00000a11: AND 00000a12: ISZERO 00000a13: ISZERO 00000a14: ISZERO 00000a15: PUSH2 0x0a1d 00000a18: JUMPI 00000a19: PUSH1 0x00 00000a1b: DUP1 00000a1c: REVERT 00000a1d: JUMPDEST 00000a1e: PUSH2 0x0a2e 00000a21: DUP12 00000a22: DUP12 00000a23: DUP12 00000a24: DUP12 00000a25: DUP12 00000a26: DUP12 00000a27: DUP12 00000a28: DUP12 00000a29: DUP12 00000a2a: PUSH2 0x1266 00000a2d: JUMP 00000a2e: JUMPDEST 00000a2f: ISZERO 00000a30: ISZERO 00000a31: PUSH2 0x0a39 00000a34: JUMPI 00000a35: PUSH1 0x00 00000a37: DUP1 00000a38: REVERT 00000a39: JUMPDEST 00000a3a: PUSH1 0x01 00000a3c: PUSH1 0x07 00000a3e: PUSH1 0x00 00000a40: DUP12 00000a41: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a56: AND 00000a57: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a6c: AND 00000a6d: DUP2 00000a6e: MSTORE 00000a6f: PUSH1 0x20 00000a71: ADD 00000a72: SWAP1 00000a73: DUP2 00000a74: MSTORE 00000a75: PUSH1 0x20 00000a77: ADD 00000a78: PUSH1 0x00 00000a7a: KECCAK256 00000a7b: PUSH1 0x00 00000a7d: PUSH2 0x0100 00000a80: EXP 00000a81: DUP2 00000a82: SLOAD 00000a83: DUP2 00000a84: PUSH1 0xff 00000a86: MUL 00000a87: NOT 00000a88: AND 00000a89: SWAP1 00000a8a: DUP4 00000a8b: ISZERO 00000a8c: ISZERO 00000a8d: MUL 00000a8e: OR 00000a8f: SWAP1 00000a90: SSTORE 00000a91: POP 00000a92: PUSH1 0x00 00000a94: PUSH1 0x02 00000a96: SLOAD 00000a97: GT 00000a98: DUP1 00000a99: ISZERO 00000a9a: PUSH2 0x0af2 00000a9d: JUMPI 00000a9e: POP 00000a9f: PUSH1 0x00 00000aa1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ab6: AND 00000ab7: PUSH1 0x01 00000ab9: PUSH1 0x00 00000abb: SWAP1 00000abc: SLOAD 00000abd: SWAP1 00000abe: PUSH2 0x0100 00000ac1: EXP 00000ac2: SWAP1 00000ac3: DIV 00000ac4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ad9: AND 00000ada: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000aef: AND 00000af0: EQ 00000af1: ISZERO 00000af2: JUMPDEST 00000af3: ISZERO 00000af4: PUSH2 0x0c54 00000af7: JUMPI 00000af8: PUSH1 0x01 00000afa: PUSH1 0x00 00000afc: SWAP1 00000afd: SLOAD 00000afe: SWAP1 00000aff: PUSH2 0x0100 00000b02: EXP 00000b03: SWAP1 00000b04: DIV 00000b05: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b1a: AND 00000b1b: SWAP1 00000b1c: POP 00000b1d: DUP1 00000b1e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b33: AND 00000b34: PUSH4 0x23b872dd 00000b39: PUSH1 0x05 00000b3b: PUSH1 0x00 00000b3d: SWAP1 00000b3e: SLOAD 00000b3f: SWAP1 00000b40: PUSH2 0x0100 00000b43: EXP 00000b44: SWAP1 00000b45: DIV 00000b46: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b5b: AND 00000b5c: DUP14 00000b5d: PUSH1 0x02 00000b5f: SLOAD 00000b60: PUSH1 0x40 00000b62: MLOAD 00000b63: DUP5 00000b64: PUSH4 0xffffffff 00000b69: AND 00000b6a: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000b88: MUL 00000b89: DUP2 00000b8a: MSTORE 00000b8b: PUSH1 0x04 00000b8d: ADD 00000b8e: DUP1 00000b8f: DUP5 00000b90: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ba5: AND 00000ba6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bbb: AND 00000bbc: DUP2 00000bbd: MSTORE 00000bbe: PUSH1 0x20 00000bc0: ADD 00000bc1: DUP4 00000bc2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bd7: AND 00000bd8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bed: AND 00000bee: DUP2 00000bef: MSTORE 00000bf0: PUSH1 0x20 00000bf2: ADD 00000bf3: DUP3 00000bf4: DUP2 00000bf5: MSTORE 00000bf6: PUSH1 0x20 00000bf8: ADD 00000bf9: SWAP4 00000bfa: POP 00000bfb: POP 00000bfc: POP 00000bfd: POP 00000bfe: PUSH1 0x20 00000c00: PUSH1 0x40 00000c02: MLOAD 00000c03: DUP1 00000c04: DUP4 00000c05: SUB 00000c06: DUP2 00000c07: PUSH1 0x00 00000c09: DUP8 00000c0a: DUP1 00000c0b: EXTCODESIZE 00000c0c: ISZERO 00000c0d: DUP1 00000c0e: ISZERO 00000c0f: PUSH2 0x0c17 00000c12: JUMPI 00000c13: PUSH1 0x00 00000c15: DUP1 00000c16: REVERT 00000c17: JUMPDEST 00000c18: POP 00000c19: GAS 00000c1a: CALL 00000c1b: ISZERO 00000c1c: DUP1 00000c1d: ISZERO 00000c1e: PUSH2 0x0c2b 00000c21: JUMPI 00000c22: RETURNDATASIZE 00000c23: PUSH1 0x00 00000c25: DUP1 00000c26: RETURNDATACOPY 00000c27: RETURNDATASIZE 00000c28: PUSH1 0x00 00000c2a: REVERT 00000c2b: JUMPDEST 00000c2c: POP 00000c2d: POP 00000c2e: POP 00000c2f: POP 00000c30: PUSH1 0x40 00000c32: MLOAD 00000c33: RETURNDATASIZE 00000c34: PUSH1 0x20 00000c36: DUP2 00000c37: LT 00000c38: ISZERO 00000c39: PUSH2 0x0c41 00000c3c: JUMPI 00000c3d: PUSH1 0x00 00000c3f: DUP1 00000c40: REVERT 00000c41: JUMPDEST 00000c42: DUP2 00000c43: ADD 00000c44: SWAP1 00000c45: DUP1 00000c46: DUP1 00000c47: MLOAD 00000c48: SWAP1 00000c49: PUSH1 0x20 00000c4b: ADD 00000c4c: SWAP1 00000c4d: SWAP3 00000c4e: SWAP2 00000c4f: SWAP1 00000c50: POP 00000c51: POP 00000c52: POP 00000c53: POP 00000c54: JUMPDEST 00000c55: PUSH1 0x00 00000c57: PUSH1 0x03 00000c59: SLOAD 00000c5a: GT 00000c5b: DUP1 00000c5c: ISZERO 00000c5d: PUSH2 0x0c93 00000c60: JUMPI 00000c61: POP 00000c62: PUSH1 0x00 00000c64: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c79: AND 00000c7a: DUP11 00000c7b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c90: AND 00000c91: EQ 00000c92: ISZERO 00000c93: JUMPDEST 00000c94: ISZERO 00000c95: PUSH2 0x0dd0 00000c98: JUMPI 00000c99: DUP1 00000c9a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000caf: AND 00000cb0: PUSH4 0x23b872dd 00000cb5: PUSH1 0x05 00000cb7: PUSH1 0x00 00000cb9: SWAP1 00000cba: SLOAD 00000cbb: SWAP1 00000cbc: PUSH2 0x0100 00000cbf: EXP 00000cc0: SWAP1 00000cc1: DIV 00000cc2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cd7: AND 00000cd8: DUP13 00000cd9: PUSH1 0x03 00000cdb: SLOAD 00000cdc: PUSH1 0x40 00000cde: MLOAD 00000cdf: DUP5 00000ce0: PUSH4 0xffffffff 00000ce5: AND 00000ce6: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000d04: MUL 00000d05: DUP2 00000d06: MSTORE 00000d07: PUSH1 0x04 00000d09: ADD 00000d0a: DUP1 00000d0b: DUP5 00000d0c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d21: AND 00000d22: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d37: AND 00000d38: DUP2 00000d39: MSTORE 00000d3a: PUSH1 0x20 00000d3c: ADD 00000d3d: DUP4 00000d3e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d53: AND 00000d54: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d69: AND 00000d6a: DUP2 00000d6b: MSTORE 00000d6c: PUSH1 0x20 00000d6e: ADD 00000d6f: DUP3 00000d70: DUP2 00000d71: MSTORE 00000d72: PUSH1 0x20 00000d74: ADD 00000d75: SWAP4 00000d76: POP 00000d77: POP 00000d78: POP 00000d79: POP 00000d7a: PUSH1 0x20 00000d7c: PUSH1 0x40 00000d7e: MLOAD 00000d7f: DUP1 00000d80: DUP4 00000d81: SUB 00000d82: DUP2 00000d83: PUSH1 0x00 00000d85: DUP8 00000d86: DUP1 00000d87: EXTCODESIZE 00000d88: ISZERO 00000d89: DUP1 00000d8a: ISZERO 00000d8b: PUSH2 0x0d93 00000d8e: JUMPI 00000d8f: PUSH1 0x00 00000d91: DUP1 00000d92: REVERT 00000d93: JUMPDEST 00000d94: POP 00000d95: GAS 00000d96: CALL 00000d97: ISZERO 00000d98: DUP1 00000d99: ISZERO 00000d9a: PUSH2 0x0da7 00000d9d: JUMPI 00000d9e: RETURNDATASIZE 00000d9f: PUSH1 0x00 00000da1: DUP1 00000da2: RETURNDATACOPY 00000da3: RETURNDATASIZE 00000da4: PUSH1 0x00 00000da6: REVERT 00000da7: JUMPDEST 00000da8: POP 00000da9: POP 00000daa: POP 00000dab: POP 00000dac: PUSH1 0x40 00000dae: MLOAD 00000daf: RETURNDATASIZE 00000db0: PUSH1 0x20 00000db2: DUP2 00000db3: LT 00000db4: ISZERO 00000db5: PUSH2 0x0dbd 00000db8: JUMPI 00000db9: PUSH1 0x00 00000dbb: DUP1 00000dbc: REVERT 00000dbd: JUMPDEST 00000dbe: DUP2 00000dbf: ADD 00000dc0: SWAP1 00000dc1: DUP1 00000dc2: DUP1 00000dc3: MLOAD 00000dc4: SWAP1 00000dc5: PUSH1 0x20 00000dc7: ADD 00000dc8: SWAP1 00000dc9: SWAP3 00000dca: SWAP2 00000dcb: SWAP1 00000dcc: POP 00000dcd: POP 00000dce: POP 00000dcf: POP 00000dd0: JUMPDEST 00000dd1: PUSH1 0x00 00000dd3: PUSH1 0x04 00000dd5: SLOAD 00000dd6: GT 00000dd7: ISZERO 00000dd8: PUSH2 0x0e25 00000ddb: JUMPI 00000ddc: DUP11 00000ddd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000df2: AND 00000df3: PUSH2 0x08fc 00000df6: PUSH1 0x04 00000df8: SLOAD 00000df9: SWAP1 00000dfa: DUP2 00000dfb: ISZERO 00000dfc: MUL 00000dfd: SWAP1 00000dfe: PUSH1 0x40 00000e00: MLOAD 00000e01: PUSH1 0x00 00000e03: PUSH1 0x40 00000e05: MLOAD 00000e06: DUP1 00000e07: DUP4 00000e08: SUB 00000e09: DUP2 00000e0a: DUP6 00000e0b: DUP9 00000e0c: DUP9 00000e0d: CALL 00000e0e: SWAP4 00000e0f: POP 00000e10: POP 00000e11: POP 00000e12: POP 00000e13: ISZERO 00000e14: DUP1 00000e15: ISZERO 00000e16: PUSH2 0x0e23 00000e19: JUMPI 00000e1a: RETURNDATASIZE 00000e1b: PUSH1 0x00 00000e1d: DUP1 00000e1e: RETURNDATACOPY 00000e1f: RETURNDATASIZE 00000e20: PUSH1 0x00 00000e22: REVERT 00000e23: JUMPDEST 00000e24: POP 00000e25: JUMPDEST 00000e26: PUSH32 0x9207361cc2a04b9c7a06691df1eb87c6a63957ae88bf01d0d18c81e3d1272099 00000e47: DUP10 00000e48: DUP13 00000e49: TIMESTAMP 00000e4a: PUSH1 0x40 00000e4c: MLOAD 00000e4d: DUP1 00000e4e: DUP5 00000e4f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e64: AND 00000e65: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e7a: AND 00000e7b: DUP2 00000e7c: MSTORE 00000e7d: PUSH1 0x20 00000e7f: ADD 00000e80: DUP4 00000e81: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e96: AND 00000e97: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000eac: AND 00000ead: DUP2 00000eae: MSTORE 00000eaf: PUSH1 0x20 00000eb1: ADD 00000eb2: DUP3 00000eb3: DUP2 00000eb4: MSTORE 00000eb5: PUSH1 0x20 00000eb7: ADD 00000eb8: SWAP4 00000eb9: POP 00000eba: POP 00000ebb: POP 00000ebc: POP 00000ebd: PUSH1 0x40 00000ebf: MLOAD 00000ec0: DUP1 00000ec1: SWAP2 00000ec2: SUB 00000ec3: SWAP1 00000ec4: LOG1 00000ec5: PUSH1 0x01 00000ec7: SWAP2 00000ec8: POP 00000ec9: POP 00000eca: SWAP10 00000ecb: SWAP9 00000ecc: POP 00000ecd: POP 00000ece: POP 00000ecf: POP 00000ed0: POP 00000ed1: POP 00000ed2: POP 00000ed3: POP 00000ed4: POP 00000ed5: JUMP 00000ed6: JUMPDEST 00000ed7: PUSH1 0x00 00000ed9: DUP1 00000eda: SWAP1 00000edb: SLOAD 00000edc: SWAP1 00000edd: PUSH2 0x0100 00000ee0: EXP 00000ee1: SWAP1 00000ee2: DIV 00000ee3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ef8: AND 00000ef9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f0e: AND 00000f0f: CALLER 00000f10: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f25: AND 00000f26: EQ 00000f27: ISZERO 00000f28: ISZERO 00000f29: PUSH2 0x0f31 00000f2c: JUMPI 00000f2d: PUSH1 0x00 00000f2f: DUP1 00000f30: REVERT 00000f31: JUMPDEST 00000f32: PUSH1 0x00 00000f34: PUSH1 0x14 00000f36: SWAP1 00000f37: SLOAD 00000f38: SWAP1 00000f39: PUSH2 0x0100 00000f3c: EXP 00000f3d: SWAP1 00000f3e: DIV 00000f3f: PUSH1 0xff 00000f41: AND 00000f42: ISZERO 00000f43: ISZERO 00000f44: PUSH2 0x0f4c 00000f47: JUMPI 00000f48: PUSH1 0x00 00000f4a: DUP1 00000f4b: REVERT 00000f4c: JUMPDEST 00000f4d: PUSH1 0x00 00000f4f: DUP1 00000f50: PUSH1 0x14 00000f52: PUSH2 0x0100 00000f55: EXP 00000f56: DUP2 00000f57: SLOAD 00000f58: DUP2 00000f59: PUSH1 0xff 00000f5b: MUL 00000f5c: NOT 00000f5d: AND 00000f5e: SWAP1 00000f5f: DUP4 00000f60: ISZERO 00000f61: ISZERO 00000f62: MUL 00000f63: OR 00000f64: SWAP1 00000f65: SSTORE 00000f66: POP 00000f67: PUSH32 0x7805862f689e2f13df9f062ff482ad3ad112aca9e0847911ed832e158c525b33 00000f88: PUSH1 0x40 00000f8a: MLOAD 00000f8b: PUSH1 0x40 00000f8d: MLOAD 00000f8e: DUP1 00000f8f: SWAP2 00000f90: SUB 00000f91: SWAP1 00000f92: LOG1 00000f93: JUMP 00000f94: JUMPDEST 00000f95: PUSH1 0x00 00000f97: PUSH1 0x14 00000f99: SWAP1 00000f9a: SLOAD 00000f9b: SWAP1 00000f9c: PUSH2 0x0100 00000f9f: EXP 00000fa0: SWAP1 00000fa1: DIV 00000fa2: PUSH1 0xff 00000fa4: AND 00000fa5: DUP2 00000fa6: JUMP 00000fa7: JUMPDEST 00000fa8: PUSH1 0x03 00000faa: SLOAD 00000fab: DUP2 00000fac: JUMP 00000fad: JUMPDEST 00000fae: PUSH1 0x00 00000fb0: PUSH1 0x15 00000fb2: SWAP1 00000fb3: SLOAD 00000fb4: SWAP1 00000fb5: PUSH2 0x0100 00000fb8: EXP 00000fb9: SWAP1 00000fba: DIV 00000fbb: PUSH1 0xff 00000fbd: AND 00000fbe: DUP2 00000fbf: JUMP 00000fc0: JUMPDEST 00000fc1: PUSH1 0x00 00000fc3: DUP1 00000fc4: SWAP1 00000fc5: SLOAD 00000fc6: SWAP1 00000fc7: PUSH2 0x0100 00000fca: EXP 00000fcb: SWAP1 00000fcc: DIV 00000fcd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fe2: AND 00000fe3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ff8: AND 00000ff9: CALLER 00000ffa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000100f: AND 00001010: EQ 00001011: ISZERO 00001012: ISZERO 00001013: PUSH2 0x101b 00001016: JUMPI 00001017: PUSH1 0x00 00001019: DUP1 0000101a: REVERT 0000101b: JUMPDEST 0000101c: PUSH1 0x00 0000101e: PUSH1 0x14 00001020: SWAP1 00001021: SLOAD 00001022: SWAP1 00001023: PUSH2 0x0100 00001026: EXP 00001027: SWAP1 00001028: DIV 00001029: PUSH1 0xff 0000102b: AND 0000102c: ISZERO 0000102d: ISZERO 0000102e: ISZERO 0000102f: PUSH2 0x1037 00001032: JUMPI 00001033: PUSH1 0x00 00001035: DUP1 00001036: REVERT 00001037: JUMPDEST 00001038: PUSH1 0x01 0000103a: PUSH1 0x00 0000103c: PUSH1 0x14 0000103e: PUSH2 0x0100 00001041: EXP 00001042: DUP2 00001043: SLOAD 00001044: DUP2 00001045: PUSH1 0xff 00001047: MUL 00001048: NOT 00001049: AND 0000104a: SWAP1 0000104b: DUP4 0000104c: ISZERO 0000104d: ISZERO 0000104e: MUL 0000104f: OR 00001050: SWAP1 00001051: SSTORE 00001052: POP 00001053: PUSH32 0x6985a02210a168e66602d3235cb6db0e70f92b3ba4d376a33c0f3d9434bff625 00001074: PUSH1 0x40 00001076: MLOAD 00001077: PUSH1 0x40 00001079: MLOAD 0000107a: DUP1 0000107b: SWAP2 0000107c: SUB 0000107d: SWAP1 0000107e: LOG1 0000107f: JUMP 00001080: JUMPDEST 00001081: PUSH1 0x00 00001083: DUP1 00001084: SWAP1 00001085: SLOAD 00001086: SWAP1 00001087: PUSH2 0x0100 0000108a: EXP 0000108b: SWAP1 0000108c: DIV 0000108d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010a2: AND 000010a3: DUP2 000010a4: JUMP 000010a5: JUMPDEST 000010a6: PUSH1 0x06 000010a8: PUSH1 0x00 000010aa: SWAP1 000010ab: SLOAD 000010ac: SWAP1 000010ad: PUSH2 0x0100 000010b0: EXP 000010b1: SWAP1 000010b2: DIV 000010b3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010c8: AND 000010c9: DUP2 000010ca: JUMP 000010cb: JUMPDEST 000010cc: PUSH1 0x00 000010ce: PUSH1 0x07 000010d0: PUSH1 0x00 000010d2: DUP4 000010d3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010e8: AND 000010e9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010fe: AND 000010ff: DUP2 00001100: MSTORE 00001101: PUSH1 0x20 00001103: ADD 00001104: SWAP1 00001105: DUP2 00001106: MSTORE 00001107: PUSH1 0x20 00001109: ADD 0000110a: PUSH1 0x00 0000110c: KECCAK256 0000110d: PUSH1 0x00 0000110f: SWAP1 00001110: SLOAD 00001111: SWAP1 00001112: PUSH2 0x0100 00001115: EXP 00001116: SWAP1 00001117: DIV 00001118: PUSH1 0xff 0000111a: AND 0000111b: SWAP1 0000111c: POP 0000111d: SWAP2 0000111e: SWAP1 0000111f: POP 00001120: JUMP 00001121: JUMPDEST 00001122: PUSH1 0x04 00001124: SLOAD 00001125: DUP2 00001126: JUMP 00001127: JUMPDEST 00001128: PUSH1 0x00 0000112a: DUP1 0000112b: PUSH1 0x00 0000112d: DUP7 0000112e: PUSH1 0x40 00001130: MLOAD 00001131: DUP1 00001132: DUP1 00001133: PUSH32 0x19457468657265756d205369676e6564204d6573736167653a0a333200000000 00001154: DUP2 00001155: MSTORE 00001156: POP 00001157: PUSH1 0x1c 00001159: ADD 0000115a: DUP3 0000115b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001170: AND 00001171: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001186: AND 00001187: PUSH13 0x01000000000000000000000000 00001195: MUL 00001196: DUP2 00001197: MSTORE 00001198: PUSH1 0x14 0000119a: ADD 0000119b: SWAP2 0000119c: POP 0000119d: POP 0000119e: PUSH1 0x40 000011a0: MLOAD 000011a1: DUP1 000011a2: SWAP2 000011a3: SUB 000011a4: SWAP1 000011a5: KECCAK256 000011a6: SWAP2 000011a7: POP 000011a8: PUSH1 0x01 000011aa: DUP3 000011ab: DUP8 000011ac: DUP8 000011ad: DUP8 000011ae: PUSH1 0x40 000011b0: MLOAD 000011b1: PUSH1 0x00 000011b3: DUP2 000011b4: MSTORE 000011b5: PUSH1 0x20 000011b7: ADD 000011b8: PUSH1 0x40 000011ba: MSTORE 000011bb: PUSH1 0x40 000011bd: MLOAD 000011be: DUP1 000011bf: DUP6 000011c0: PUSH1 0x00 000011c2: NOT 000011c3: AND 000011c4: PUSH1 0x00 000011c6: NOT 000011c7: AND 000011c8: DUP2 000011c9: MSTORE 000011ca: PUSH1 0x20 000011cc: ADD 000011cd: DUP5 000011ce: PUSH1 0xff 000011d0: AND 000011d1: PUSH1 0xff 000011d3: AND 000011d4: DUP2 000011d5: MSTORE 000011d6: PUSH1 0x20 000011d8: ADD 000011d9: DUP4 000011da: PUSH1 0x00 000011dc: NOT 000011dd: AND 000011de: PUSH1 0x00 000011e0: NOT 000011e1: AND 000011e2: DUP2 000011e3: MSTORE 000011e4: PUSH1 0x20 000011e6: ADD 000011e7: DUP3 000011e8: PUSH1 0x00 000011ea: NOT 000011eb: AND 000011ec: PUSH1 0x00 000011ee: NOT 000011ef: AND 000011f0: DUP2 000011f1: MSTORE 000011f2: PUSH1 0x20 000011f4: ADD 000011f5: SWAP5 000011f6: POP 000011f7: POP 000011f8: POP 000011f9: POP 000011fa: POP 000011fb: PUSH1 0x20 000011fd: PUSH1 0x40 000011ff: MLOAD 00001200: PUSH1 0x20 00001202: DUP2 00001203: SUB 00001204: SWAP1 00001205: DUP1 00001206: DUP5 00001207: SUB 00001208: SWAP1 00001209: PUSH1 0x00 0000120b: DUP7 0000120c: GAS 0000120d: CALL 0000120e: ISZERO 0000120f: DUP1 00001210: ISZERO 00001211: PUSH2 0x121e 00001214: JUMPI 00001215: RETURNDATASIZE 00001216: PUSH1 0x00 00001218: DUP1 00001219: RETURNDATACOPY 0000121a: RETURNDATASIZE 0000121b: PUSH1 0x00 0000121d: REVERT 0000121e: JUMPDEST 0000121f: POP 00001220: POP 00001221: POP 00001222: PUSH1 0x20 00001224: PUSH1 0x40 00001226: MLOAD 00001227: SUB 00001228: MLOAD 00001229: SWAP1 0000122a: POP 0000122b: DUP8 0000122c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001241: AND 00001242: DUP2 00001243: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001258: AND 00001259: EQ 0000125a: SWAP3 0000125b: POP 0000125c: POP 0000125d: POP 0000125e: SWAP6 0000125f: SWAP5 00001260: POP 00001261: POP 00001262: POP 00001263: POP 00001264: POP 00001265: JUMP 00001266: JUMPDEST 00001267: PUSH1 0x00 00001269: DUP1 0000126a: ISZERO 0000126b: ISZERO 0000126c: PUSH1 0x07 0000126e: PUSH1 0x00 00001270: DUP11 00001271: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001286: AND 00001287: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000129c: AND 0000129d: DUP2 0000129e: MSTORE 0000129f: PUSH1 0x20 000012a1: ADD 000012a2: SWAP1 000012a3: DUP2 000012a4: MSTORE 000012a5: PUSH1 0x20 000012a7: ADD 000012a8: PUSH1 0x00 000012aa: KECCAK256 000012ab: PUSH1 0x00 000012ad: SWAP1 000012ae: SLOAD 000012af: SWAP1 000012b0: PUSH2 0x0100 000012b3: EXP 000012b4: SWAP1 000012b5: DIV 000012b6: PUSH1 0xff 000012b8: AND 000012b9: ISZERO 000012ba: ISZERO 000012bb: EQ 000012bc: ISZERO 000012bd: ISZERO 000012be: PUSH2 0x12c6 000012c1: JUMPI 000012c2: PUSH1 0x00 000012c4: DUP1 000012c5: REVERT 000012c6: JUMPDEST 000012c7: PUSH2 0x12f6 000012ca: PUSH1 0x06 000012cc: PUSH1 0x00 000012ce: SWAP1 000012cf: SLOAD 000012d0: SWAP1 000012d1: PUSH2 0x0100 000012d4: EXP 000012d5: SWAP1 000012d6: DIV 000012d7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012ec: AND 000012ed: DUP10 000012ee: DUP12 000012ef: DUP11 000012f0: DUP11 000012f1: DUP11 000012f2: PUSH2 0x0833 000012f5: JUMP 000012f6: JUMPDEST 000012f7: ISZERO 000012f8: ISZERO 000012f9: PUSH2 0x1301 000012fc: JUMPI 000012fd: PUSH1 0x00 000012ff: DUP1 00001300: REVERT 00001301: JUMPDEST 00001302: PUSH2 0x130e 00001305: DUP9 00001306: DUP12 00001307: DUP7 00001308: DUP7 00001309: DUP7 0000130a: PUSH2 0x1127 0000130d: JUMP 0000130e: JUMPDEST 0000130f: ISZERO 00001310: ISZERO 00001311: PUSH2 0x1319 00001314: JUMPI 00001315: PUSH1 0x00 00001317: DUP1 00001318: REVERT 00001319: JUMPDEST 0000131a: PUSH1 0x04 0000131c: SLOAD 0000131d: ADDRESS 0000131e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001333: AND 00001334: BALANCE 00001335: LT 00001336: ISZERO 00001337: ISZERO 00001338: ISZERO 00001339: PUSH2 0x1341 0000133c: JUMPI 0000133d: PUSH1 0x00 0000133f: DUP1 00001340: REVERT 00001341: JUMPDEST 00001342: PUSH1 0x01 00001344: SWAP1 00001345: POP 00001346: SWAP10 00001347: SWAP9 00001348: POP 00001349: POP 0000134a: POP 0000134b: POP 0000134c: POP 0000134d: POP 0000134e: POP 0000134f: POP 00001350: POP 00001351: JUMP 00001352: JUMPDEST 00001353: PUSH1 0x00 00001355: PUSH1 0x05 00001357: PUSH1 0x00 00001359: SWAP1 0000135a: SLOAD 0000135b: SWAP1 0000135c: PUSH2 0x0100 0000135f: EXP 00001360: SWAP1 00001361: DIV 00001362: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001377: AND 00001378: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000138d: AND 0000138e: CALLER 0000138f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013a4: AND 000013a5: EQ 000013a6: ISZERO 000013a7: ISZERO 000013a8: PUSH2 0x13b0 000013ab: JUMPI 000013ac: PUSH1 0x00 000013ae: DUP1 000013af: REVERT 000013b0: JUMPDEST 000013b1: PUSH1 0x05 000013b3: PUSH1 0x00 000013b5: SWAP1 000013b6: SLOAD 000013b7: SWAP1 000013b8: PUSH2 0x0100 000013bb: EXP 000013bc: SWAP1 000013bd: DIV 000013be: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013d3: AND 000013d4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013e9: AND 000013ea: PUSH2 0x08fc 000013ed: ADDRESS 000013ee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001403: AND 00001404: BALANCE 00001405: SWAP1 00001406: DUP2 00001407: ISZERO 00001408: MUL 00001409: SWAP1 0000140a: PUSH1 0x40 0000140c: MLOAD 0000140d: PUSH1 0x00 0000140f: PUSH1 0x40 00001411: MLOAD 00001412: DUP1 00001413: DUP4 00001414: SUB 00001415: DUP2 00001416: DUP6 00001417: DUP9 00001418: DUP9 00001419: CALL 0000141a: SWAP4 0000141b: POP 0000141c: POP 0000141d: POP 0000141e: POP 0000141f: ISZERO 00001420: DUP1 00001421: ISZERO 00001422: PUSH2 0x142f 00001425: JUMPI 00001426: RETURNDATASIZE 00001427: PUSH1 0x00 00001429: DUP1 0000142a: RETURNDATACOPY 0000142b: RETURNDATASIZE 0000142c: PUSH1 0x00 0000142e: REVERT 0000142f: JUMPDEST 00001430: POP 00001431: PUSH1 0x01 00001433: SWAP1 00001434: POP 00001435: SWAP1 00001436: JUMP 00001437: STOP 00001438: LOG1 00001439: PUSH6 0x627a7a723058 00001440: KECCAK256 00001441: CREATE 00001442: INVALID 00001443: LOG2 00001444: PUSH8 0x5527e4efccbf62fd 0000144d: DUP14 0000144e: UNKNOWN(0xE9) 0000144f: PUSH15 0x747c14073ee8b901064cf2c6fe7e27 0000145f: SELFBALANCE 00001460: NUMBER 00001461: STOP 00001462: UNKNOWN(0x29)
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| medium | other | detector | CREATE/CREATE2 reachable | 45 | no | no |
viewtrace_id: 0xe90b07c3fba98da19410b0c673529f11b69bd78f8e56f5b4b5f5d986a0f8ad4f
validation_json{
"sink": "CREATE",
"errors": 0,
"status": "unknown",
"attempts": 32,
"trace_id": "0xe90b07c3fba98da19410b0c673529f11b69bd78f8e56f5b4b5f5d986a0f8ad4f",
"confirmed": false,
"trace_mode": "structLogs",
"call_targets": null,
"matched_probe": null,
"target_varies": null,
"classification": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xffffffff",
"selector": "0xffffffff",
"calldata_variants": [
"0xffffffff",
"0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x07da68f5",
"selector": "0x07da68f5",
"calldata_variants": [
"0x07da68f5",
"0x07da68f50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0bdf5300",
"selector": "0x0bdf5300",
"calldata_variants": [
"0x0bdf5300",
"0x0bdf53000000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0c82ed84",
"selector": "0x0c82ed84",
"calldata_variants": [
"0x0c82ed84",
"0x0c82ed840000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x270ef385",
"selector": "0x270ef385",
"calldata_variants": [
"0x270ef385",
"0x270ef3850000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x368a5e34",
"selector": "0x368a5e34",
"calldata_variants": [
"0x368a5e34",
"0x368a5e340000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3d8d020a",
"selector": "0x3d8d020a",
"calldata_variants": [
"0x3d8d020a",
"0x3d8d020a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3f4ba83a",
"selector": "0x3f4ba83a",
"calldata_variants": [
"0x3f4ba83a",
"0x3f4ba83a0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"create_count": 1,
"create2_count": 0
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0xf832c2f502375cb67d39e0c55b0be0f73293e75816090c8d4115e3e152966e34
call_targets:
0xec8ef8e4a2de2d11ccf0be52f68458f1a4831f30
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xf832c2f502375cb67d39e0c55b0be0f73293e75816090c8d4115e3e152966e34",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xec8ef8e4a2de2d11ccf0be52f68458f1a4831f30"
],
"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": "0xffffffff",
"selector": "0xffffffff",
"calldata_variants": [
"0xffffffff",
"0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x07da68f5",
"selector": "0x07da68f5",
"calldata_variants": [
"0x07da68f5",
"0x07da68f50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0bdf5300",
"selector": "0x0bdf5300",
"calldata_variants": [
"0x0bdf5300",
"0x0bdf53000000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0c82ed84",
"selector": "0x0c82ed84",
"calldata_variants": [
"0x0c82ed84",
"0x0c82ed840000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x270ef385",
"selector": "0x270ef385",
"calldata_variants": [
"0x270ef385",
"0x270ef3850000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x368a5e34",
"selector": "0x368a5e34",
"calldata_variants": [
"0x368a5e34",
"0x368a5e340000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3d8d020a",
"selector": "0x3d8d020a",
"calldata_variants": [
"0x3d8d020a",
"0x3d8d020a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3f4ba83a",
"selector": "0x3f4ba83a",
"calldata_variants": [
"0x3f4ba83a",
"0x3f4ba83a0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2396,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3098,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3478,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 6,
"guards_detected": [
{
"pc": 1926,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3855,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4089,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5006,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 6
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0xf832c2f502375cb67d39e0c55b0be0f73293e75816090c8d4115e3e152966e34
call_targets:
0xec8ef8e4a2de2d11ccf0be52f68458f1a4831f30
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xf832c2f502375cb67d39e0c55b0be0f73293e75816090c8d4115e3e152966e34",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xec8ef8e4a2de2d11ccf0be52f68458f1a4831f30"
],
"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": "0xffffffff",
"selector": "0xffffffff",
"calldata_variants": [
"0xffffffff",
"0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x07da68f5",
"selector": "0x07da68f5",
"calldata_variants": [
"0x07da68f5",
"0x07da68f50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0bdf5300",
"selector": "0x0bdf5300",
"calldata_variants": [
"0x0bdf5300",
"0x0bdf53000000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0c82ed84",
"selector": "0x0c82ed84",
"calldata_variants": [
"0x0c82ed84",
"0x0c82ed840000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x270ef385",
"selector": "0x270ef385",
"calldata_variants": [
"0x270ef385",
"0x270ef3850000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x368a5e34",
"selector": "0x368a5e34",
"calldata_variants": [
"0x368a5e34",
"0x368a5e340000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3d8d020a",
"selector": "0x3d8d020a",
"calldata_variants": [
"0x3d8d020a",
"0x3d8d020a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3f4ba83a",
"selector": "0x3f4ba83a",
"calldata_variants": [
"0x3f4ba83a",
"0x3f4ba83a0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2396,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3098,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3478,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 6,
"guards_detected": [
{
"pc": 1926,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3855,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4089,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5006,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|