019b477e-abc3-71c9-9d42-ba1bd73186b3
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 |
|---|---|---|---|---|
| 21079 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 21080 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 64326 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 64327 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 64328 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 64329 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x60 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x0154 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000002e: SWAP1 0000002f: DIV 00000030: PUSH4 0xffffffff 00000035: AND 00000036: DUP1 00000037: PUSH4 0x02fe2b41 0000003c: EQ 0000003d: PUSH2 0x03db 00000040: JUMPI 00000041: DUP1 00000042: PUSH4 0x0ac56e47 00000047: EQ 00000048: PUSH2 0x0428 0000004b: JUMPI 0000004c: DUP1 0000004d: PUSH4 0x195199f6 00000052: EQ 00000053: PUSH2 0x043d 00000056: JUMPI 00000057: DUP1 00000058: PUSH4 0x1b08d96f 0000005d: EQ 0000005e: PUSH2 0x0460 00000061: JUMPI 00000062: DUP1 00000063: PUSH4 0x29dcb0cf 00000068: EQ 00000069: PUSH2 0x048f 0000006c: JUMPI 0000006d: DUP1 0000006e: PUSH4 0x345556c1 00000073: EQ 00000074: PUSH2 0x04b8 00000077: JUMPI 00000078: DUP1 00000079: PUSH4 0x36f0837b 0000007e: EQ 0000007f: PUSH2 0x04e1 00000082: JUMPI 00000083: DUP1 00000084: PUSH4 0x3c35a0c1 00000089: EQ 0000008a: PUSH2 0x0504 0000008d: JUMPI 0000008e: DUP1 0000008f: PUSH4 0x5e0a7f61 00000094: EQ 00000095: PUSH2 0x0519 00000098: JUMPI 00000099: DUP1 0000009a: PUSH4 0x728965ee 0000009f: EQ 000000a0: PUSH2 0x0542 000000a3: JUMPI 000000a4: DUP1 000000a5: PUSH4 0x7a3a0e84 000000aa: EQ 000000ab: PUSH2 0x058f 000000ae: JUMPI 000000af: DUP1 000000b0: PUSH4 0x7b3e5e7b 000000b5: EQ 000000b6: PUSH2 0x05b8 000000b9: JUMPI 000000ba: DUP1 000000bb: PUSH4 0x82a6c0ac 000000c0: EQ 000000c1: PUSH2 0x05e1 000000c4: JUMPI 000000c5: DUP1 000000c6: PUSH4 0x8735a342 000000cb: EQ 000000cc: PUSH2 0x063e 000000cf: JUMPI 000000d0: DUP1 000000d1: PUSH4 0x8861d4fc 000000d6: EQ 000000d7: PUSH2 0x0667 000000da: JUMPI 000000db: DUP1 000000dc: PUSH4 0x8a60c4c1 000000e1: EQ 000000e2: PUSH2 0x06b8 000000e5: JUMPI 000000e6: DUP1 000000e7: PUSH4 0x8da58897 000000ec: EQ 000000ed: PUSH2 0x06db 000000f0: JUMPI 000000f1: DUP1 000000f2: PUSH4 0x8da5cb5b 000000f7: EQ 000000f8: PUSH2 0x0704 000000fb: JUMPI 000000fc: DUP1 000000fd: PUSH4 0x95d89b41 00000102: EQ 00000103: PUSH2 0x0759 00000106: JUMPI 00000107: DUP1 00000108: PUSH4 0x97b10f2e 0000010d: EQ 0000010e: PUSH2 0x07e7 00000111: JUMPI 00000112: DUP1 00000113: PUSH4 0x9f75ccc8 00000118: EQ 00000119: PUSH2 0x0810 0000011c: JUMPI 0000011d: DUP1 0000011e: PUSH4 0x9f999da3 00000123: EQ 00000124: PUSH2 0x083d 00000127: JUMPI 00000128: DUP1 00000129: PUSH4 0xbe7a0f61 0000012e: EQ 0000012f: PUSH2 0x0928 00000132: JUMPI 00000133: DUP1 00000134: PUSH4 0xcdb8acf0 00000139: EQ 0000013a: PUSH2 0x098b 0000013d: JUMPI 0000013e: DUP1 0000013f: PUSH4 0xd7cc5c16 00000144: EQ 00000145: PUSH2 0x0a1b 00000148: JUMPI 00000149: DUP1 0000014a: PUSH4 0xd953e1ef 0000014f: EQ 00000150: PUSH2 0x0a48 00000153: JUMPI 00000154: JUMPDEST 00000155: PUSH1 0x00 00000157: PUSH1 0x05 00000159: SLOAD 0000015a: TIMESTAMP 0000015b: GT 0000015c: ISZERO 0000015d: ISZERO 0000015e: PUSH2 0x0166 00000161: JUMPI 00000162: PUSH1 0x00 00000164: DUP1 00000165: REVERT 00000166: JUMPDEST 00000167: PUSH1 0x04 00000169: SLOAD 0000016a: TIMESTAMP 0000016b: LT 0000016c: ISZERO 0000016d: ISZERO 0000016e: PUSH2 0x0176 00000171: JUMPI 00000172: PUSH1 0x00 00000174: DUP1 00000175: REVERT 00000176: JUMPDEST 00000177: CALLVALUE 00000178: SWAP1 00000179: POP 0000017a: PUSH1 0x07 0000017c: SLOAD 0000017d: DUP2 0000017e: LT 0000017f: ISZERO 00000180: ISZERO 00000181: ISZERO 00000182: PUSH2 0x018a 00000185: JUMPI 00000186: PUSH1 0x00 00000188: DUP1 00000189: REVERT 0000018a: JUMPDEST 0000018b: PUSH1 0x00 0000018d: PUSH1 0x06 0000018f: SLOAD 00000190: GT 00000191: ISZERO 00000192: PUSH2 0x01a7 00000195: JUMPI 00000196: PUSH1 0x06 00000198: SLOAD 00000199: DUP2 0000019a: GT 0000019b: ISZERO 0000019c: ISZERO 0000019d: ISZERO 0000019e: PUSH2 0x01a6 000001a1: JUMPI 000001a2: PUSH1 0x00 000001a4: DUP1 000001a5: REVERT 000001a6: JUMPDEST 000001a7: JUMPDEST 000001a8: PUSH1 0x02 000001aa: SLOAD 000001ab: DUP2 000001ac: PUSH1 0x03 000001ae: SLOAD 000001af: ADD 000001b0: GT 000001b1: ISZERO 000001b2: ISZERO 000001b3: ISZERO 000001b4: PUSH2 0x01bc 000001b7: JUMPI 000001b8: PUSH1 0x00 000001ba: DUP1 000001bb: REVERT 000001bc: JUMPDEST 000001bd: DUP1 000001be: PUSH1 0x03 000001c0: PUSH1 0x00 000001c2: DUP3 000001c3: DUP3 000001c4: SLOAD 000001c5: ADD 000001c6: SWAP3 000001c7: POP 000001c8: POP 000001c9: DUP2 000001ca: SWAP1 000001cb: SSTORE 000001cc: POP 000001cd: PUSH2 0x01d5 000001d0: CALLER 000001d1: PUSH2 0x0a6b 000001d4: JUMP 000001d5: JUMPDEST 000001d6: ISZERO 000001d7: ISZERO 000001d8: PUSH2 0x023f 000001db: JUMPI 000001dc: PUSH1 0x0a 000001de: DUP1 000001df: SLOAD 000001e0: DUP1 000001e1: PUSH1 0x01 000001e3: ADD 000001e4: DUP3 000001e5: DUP2 000001e6: PUSH2 0x01ef 000001e9: SWAP2 000001ea: SWAP1 000001eb: PUSH2 0x1994 000001ee: JUMP 000001ef: JUMPDEST 000001f0: SWAP2 000001f1: PUSH1 0x00 000001f3: MSTORE 000001f4: PUSH1 0x20 000001f6: PUSH1 0x00 000001f8: KECCAK256 000001f9: SWAP1 000001fa: ADD 000001fb: PUSH1 0x00 000001fd: CALLER 000001fe: SWAP1 000001ff: SWAP2 00000200: SWAP1 00000201: SWAP2 00000202: PUSH2 0x0100 00000205: EXP 00000206: DUP2 00000207: SLOAD 00000208: DUP2 00000209: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000021e: MUL 0000021f: NOT 00000220: AND 00000221: SWAP1 00000222: DUP4 00000223: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000238: AND 00000239: MUL 0000023a: OR 0000023b: SWAP1 0000023c: SSTORE 0000023d: POP 0000023e: POP 0000023f: JUMPDEST 00000240: PUSH1 0x09 00000242: PUSH1 0x00 00000244: CALLER 00000245: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000025a: AND 0000025b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000270: AND 00000271: DUP2 00000272: MSTORE 00000273: PUSH1 0x20 00000275: ADD 00000276: SWAP1 00000277: DUP2 00000278: MSTORE 00000279: PUSH1 0x20 0000027b: ADD 0000027c: PUSH1 0x00 0000027e: KECCAK256 0000027f: DUP1 00000280: SLOAD 00000281: DUP1 00000282: PUSH1 0x01 00000284: ADD 00000285: DUP3 00000286: DUP2 00000287: PUSH2 0x0290 0000028a: SWAP2 0000028b: SWAP1 0000028c: PUSH2 0x19c0 0000028f: JUMP 00000290: JUMPDEST 00000291: SWAP2 00000292: PUSH1 0x00 00000294: MSTORE 00000295: PUSH1 0x20 00000297: PUSH1 0x00 00000299: KECCAK256 0000029a: SWAP1 0000029b: PUSH1 0x02 0000029d: MUL 0000029e: ADD 0000029f: PUSH1 0x00 000002a1: PUSH1 0x40 000002a3: DUP1 000002a4: MLOAD 000002a5: SWAP1 000002a6: DUP2 000002a7: ADD 000002a8: PUSH1 0x40 000002aa: MSTORE 000002ab: DUP1 000002ac: DUP6 000002ad: DUP2 000002ae: MSTORE 000002af: PUSH1 0x20 000002b1: ADD 000002b2: TIMESTAMP 000002b3: DUP2 000002b4: MSTORE 000002b5: POP 000002b6: SWAP1 000002b7: SWAP2 000002b8: SWAP1 000002b9: SWAP2 000002ba: POP 000002bb: PUSH1 0x00 000002bd: DUP3 000002be: ADD 000002bf: MLOAD 000002c0: DUP2 000002c1: PUSH1 0x00 000002c3: ADD 000002c4: SSTORE 000002c5: PUSH1 0x20 000002c7: DUP3 000002c8: ADD 000002c9: MLOAD 000002ca: DUP2 000002cb: PUSH1 0x01 000002cd: ADD 000002ce: SSTORE 000002cf: POP 000002d0: POP 000002d1: POP 000002d2: PUSH32 0x80515402bae99e1564acef51f980c608897db2faebf764ace1dfb7069af6cb25 000002f3: TIMESTAMP 000002f4: PUSH1 0x05 000002f6: SLOAD 000002f7: PUSH1 0x01 000002f9: PUSH1 0x40 000002fb: MLOAD 000002fc: DUP1 000002fd: DUP5 000002fe: DUP2 000002ff: MSTORE 00000300: PUSH1 0x20 00000302: ADD 00000303: DUP4 00000304: DUP2 00000305: MSTORE 00000306: PUSH1 0x20 00000308: ADD 00000309: DUP3 0000030a: ISZERO 0000030b: ISZERO 0000030c: ISZERO 0000030d: ISZERO 0000030e: DUP2 0000030f: MSTORE 00000310: PUSH1 0x20 00000312: ADD 00000313: DUP1 00000314: PUSH1 0x20 00000316: ADD 00000317: DUP3 00000318: DUP2 00000319: SUB 0000031a: DUP3 0000031b: MSTORE 0000031c: PUSH1 0x09 0000031e: DUP2 0000031f: MSTORE 00000320: PUSH1 0x20 00000322: ADD 00000323: DUP1 00000324: PUSH32 0x737461727474696d650000000000000000000000000000000000000000000000 00000345: DUP2 00000346: MSTORE 00000347: POP 00000348: PUSH1 0x20 0000034a: ADD 0000034b: SWAP5 0000034c: POP 0000034d: POP 0000034e: POP 0000034f: POP 00000350: POP 00000351: PUSH1 0x40 00000353: MLOAD 00000354: DUP1 00000355: SWAP2 00000356: SUB 00000357: SWAP1 00000358: LOG1 00000359: PUSH2 0x0360 0000035c: PUSH2 0x0b0f 0000035f: JUMP 00000360: JUMPDEST 00000361: PUSH32 0x8d2f010d7151ccf313cb55b95d7ace7ed069908897080dba9d84c8380f7d1f55 00000382: CALLER 00000383: DUP3 00000384: PUSH1 0x01 00000386: PUSH1 0x40 00000388: MLOAD 00000389: DUP1 0000038a: DUP5 0000038b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003a0: AND 000003a1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003b6: AND 000003b7: DUP2 000003b8: MSTORE 000003b9: PUSH1 0x20 000003bb: ADD 000003bc: DUP4 000003bd: DUP2 000003be: MSTORE 000003bf: PUSH1 0x20 000003c1: ADD 000003c2: DUP3 000003c3: ISZERO 000003c4: ISZERO 000003c5: ISZERO 000003c6: ISZERO 000003c7: DUP2 000003c8: MSTORE 000003c9: PUSH1 0x20 000003cb: ADD 000003cc: SWAP4 000003cd: POP 000003ce: POP 000003cf: POP 000003d0: POP 000003d1: PUSH1 0x40 000003d3: MLOAD 000003d4: DUP1 000003d5: SWAP2 000003d6: SUB 000003d7: SWAP1 000003d8: LOG1 000003d9: POP 000003da: STOP 000003db: JUMPDEST 000003dc: CALLVALUE 000003dd: ISZERO 000003de: PUSH2 0x03e6 000003e1: JUMPI 000003e2: PUSH1 0x00 000003e4: DUP1 000003e5: REVERT 000003e6: JUMPDEST 000003e7: PUSH2 0x0412 000003ea: PUSH1 0x04 000003ec: DUP1 000003ed: DUP1 000003ee: CALLDATALOAD 000003ef: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000404: AND 00000405: SWAP1 00000406: PUSH1 0x20 00000408: ADD 00000409: SWAP1 0000040a: SWAP2 0000040b: SWAP1 0000040c: POP 0000040d: POP 0000040e: PUSH2 0x0d4d 00000411: JUMP 00000412: JUMPDEST 00000413: PUSH1 0x40 00000415: MLOAD 00000416: DUP1 00000417: DUP3 00000418: DUP2 00000419: MSTORE 0000041a: PUSH1 0x20 0000041c: ADD 0000041d: SWAP2 0000041e: POP 0000041f: POP 00000420: PUSH1 0x40 00000422: MLOAD 00000423: DUP1 00000424: SWAP2 00000425: SUB 00000426: SWAP1 00000427: RETURN 00000428: JUMPDEST 00000429: CALLVALUE 0000042a: ISZERO 0000042b: PUSH2 0x0433 0000042e: JUMPI 0000042f: PUSH1 0x00 00000431: DUP1 00000432: REVERT 00000433: JUMPDEST 00000434: PUSH2 0x043b 00000437: PUSH2 0x0de5 0000043a: JUMP 0000043b: JUMPDEST 0000043c: STOP 0000043d: JUMPDEST 0000043e: CALLVALUE 0000043f: ISZERO 00000440: PUSH2 0x0448 00000443: JUMPI 00000444: PUSH1 0x00 00000446: DUP1 00000447: REVERT 00000448: JUMPDEST 00000449: PUSH2 0x045e 0000044c: PUSH1 0x04 0000044e: DUP1 0000044f: DUP1 00000450: CALLDATALOAD 00000451: SWAP1 00000452: PUSH1 0x20 00000454: ADD 00000455: SWAP1 00000456: SWAP2 00000457: SWAP1 00000458: POP 00000459: POP 0000045a: PUSH2 0x0f4b 0000045d: JUMP 0000045e: JUMPDEST 0000045f: STOP 00000460: JUMPDEST 00000461: CALLVALUE 00000462: ISZERO 00000463: PUSH2 0x046b 00000466: JUMPI 00000467: PUSH1 0x00 00000469: DUP1 0000046a: REVERT 0000046b: JUMPDEST 0000046c: PUSH2 0x0473 0000046f: PUSH2 0x0fb1 00000472: JUMP 00000473: JUMPDEST 00000474: PUSH1 0x40 00000476: MLOAD 00000477: DUP1 00000478: DUP3 00000479: PUSH1 0xff 0000047b: AND 0000047c: PUSH1 0xff 0000047e: AND 0000047f: DUP2 00000480: MSTORE 00000481: PUSH1 0x20 00000483: ADD 00000484: SWAP2 00000485: POP 00000486: POP 00000487: PUSH1 0x40 00000489: MLOAD 0000048a: DUP1 0000048b: SWAP2 0000048c: SUB 0000048d: SWAP1 0000048e: RETURN 0000048f: JUMPDEST 00000490: CALLVALUE 00000491: ISZERO 00000492: PUSH2 0x049a 00000495: JUMPI 00000496: PUSH1 0x00 00000498: DUP1 00000499: REVERT 0000049a: JUMPDEST 0000049b: PUSH2 0x04a2 0000049e: PUSH2 0x0fc4 000004a1: JUMP 000004a2: JUMPDEST 000004a3: PUSH1 0x40 000004a5: MLOAD 000004a6: DUP1 000004a7: DUP3 000004a8: DUP2 000004a9: MSTORE 000004aa: PUSH1 0x20 000004ac: ADD 000004ad: SWAP2 000004ae: POP 000004af: POP 000004b0: PUSH1 0x40 000004b2: MLOAD 000004b3: DUP1 000004b4: SWAP2 000004b5: SUB 000004b6: SWAP1 000004b7: RETURN 000004b8: JUMPDEST 000004b9: CALLVALUE 000004ba: ISZERO 000004bb: PUSH2 0x04c3 000004be: JUMPI 000004bf: PUSH1 0x00 000004c1: DUP1 000004c2: REVERT 000004c3: JUMPDEST 000004c4: PUSH2 0x04cb 000004c7: PUSH2 0x0fca 000004ca: JUMP 000004cb: JUMPDEST 000004cc: PUSH1 0x40 000004ce: MLOAD 000004cf: DUP1 000004d0: DUP3 000004d1: DUP2 000004d2: MSTORE 000004d3: PUSH1 0x20 000004d5: ADD 000004d6: SWAP2 000004d7: POP 000004d8: POP 000004d9: PUSH1 0x40 000004db: MLOAD 000004dc: DUP1 000004dd: SWAP2 000004de: SUB 000004df: SWAP1 000004e0: RETURN 000004e1: JUMPDEST 000004e2: CALLVALUE 000004e3: ISZERO 000004e4: PUSH2 0x04ec 000004e7: JUMPI 000004e8: PUSH1 0x00 000004ea: DUP1 000004eb: REVERT 000004ec: JUMPDEST 000004ed: PUSH2 0x0502 000004f0: PUSH1 0x04 000004f2: DUP1 000004f3: DUP1 000004f4: CALLDATALOAD 000004f5: SWAP1 000004f6: PUSH1 0x20 000004f8: ADD 000004f9: SWAP1 000004fa: SWAP2 000004fb: SWAP1 000004fc: POP 000004fd: POP 000004fe: PUSH2 0x0fd0 00000501: JUMP 00000502: JUMPDEST 00000503: STOP 00000504: JUMPDEST 00000505: CALLVALUE 00000506: ISZERO 00000507: PUSH2 0x050f 0000050a: JUMPI 0000050b: PUSH1 0x00 0000050d: DUP1 0000050e: REVERT 0000050f: JUMPDEST 00000510: PUSH2 0x0517 00000513: PUSH2 0x0b0f 00000516: JUMP 00000517: JUMPDEST 00000518: STOP 00000519: JUMPDEST 0000051a: CALLVALUE 0000051b: ISZERO 0000051c: PUSH2 0x0524 0000051f: JUMPI 00000520: PUSH1 0x00 00000522: DUP1 00000523: REVERT 00000524: JUMPDEST 00000525: PUSH2 0x052c 00000528: PUSH2 0x1036 0000052b: JUMP 0000052c: JUMPDEST 0000052d: PUSH1 0x40 0000052f: MLOAD 00000530: DUP1 00000531: DUP3 00000532: DUP2 00000533: MSTORE 00000534: PUSH1 0x20 00000536: ADD 00000537: SWAP2 00000538: POP 00000539: POP 0000053a: PUSH1 0x40 0000053c: MLOAD 0000053d: DUP1 0000053e: SWAP2 0000053f: SUB 00000540: SWAP1 00000541: RETURN 00000542: JUMPDEST 00000543: CALLVALUE 00000544: ISZERO 00000545: PUSH2 0x054d 00000548: JUMPI 00000549: PUSH1 0x00 0000054b: DUP1 0000054c: REVERT 0000054d: JUMPDEST 0000054e: PUSH2 0x0579 00000551: PUSH1 0x04 00000553: DUP1 00000554: DUP1 00000555: CALLDATALOAD 00000556: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000056b: AND 0000056c: SWAP1 0000056d: PUSH1 0x20 0000056f: ADD 00000570: SWAP1 00000571: SWAP2 00000572: SWAP1 00000573: POP 00000574: POP 00000575: PUSH2 0x1043 00000578: JUMP 00000579: JUMPDEST 0000057a: PUSH1 0x40 0000057c: MLOAD 0000057d: DUP1 0000057e: DUP3 0000057f: DUP2 00000580: MSTORE 00000581: PUSH1 0x20 00000583: ADD 00000584: SWAP2 00000585: POP 00000586: POP 00000587: PUSH1 0x40 00000589: MLOAD 0000058a: DUP1 0000058b: SWAP2 0000058c: SUB 0000058d: SWAP1 0000058e: RETURN 0000058f: JUMPDEST 00000590: CALLVALUE 00000591: ISZERO 00000592: PUSH2 0x059a 00000595: JUMPI 00000596: PUSH1 0x00 00000598: DUP1 00000599: REVERT 0000059a: JUMPDEST 0000059b: PUSH2 0x05a2 0000059e: PUSH2 0x10a7 000005a1: JUMP 000005a2: JUMPDEST 000005a3: PUSH1 0x40 000005a5: MLOAD 000005a6: DUP1 000005a7: DUP3 000005a8: DUP2 000005a9: MSTORE 000005aa: PUSH1 0x20 000005ac: ADD 000005ad: SWAP2 000005ae: POP 000005af: POP 000005b0: PUSH1 0x40 000005b2: MLOAD 000005b3: DUP1 000005b4: SWAP2 000005b5: SUB 000005b6: SWAP1 000005b7: RETURN 000005b8: JUMPDEST 000005b9: CALLVALUE 000005ba: ISZERO 000005bb: PUSH2 0x05c3 000005be: JUMPI 000005bf: PUSH1 0x00 000005c1: DUP1 000005c2: REVERT 000005c3: JUMPDEST 000005c4: PUSH2 0x05cb 000005c7: PUSH2 0x10ad 000005ca: JUMP 000005cb: JUMPDEST 000005cc: PUSH1 0x40 000005ce: MLOAD 000005cf: DUP1 000005d0: DUP3 000005d1: DUP2 000005d2: MSTORE 000005d3: PUSH1 0x20 000005d5: ADD 000005d6: SWAP2 000005d7: POP 000005d8: POP 000005d9: PUSH1 0x40 000005db: MLOAD 000005dc: DUP1 000005dd: SWAP2 000005de: SUB 000005df: SWAP1 000005e0: RETURN 000005e1: JUMPDEST 000005e2: CALLVALUE 000005e3: ISZERO 000005e4: PUSH2 0x05ec 000005e7: JUMPI 000005e8: PUSH1 0x00 000005ea: DUP1 000005eb: REVERT 000005ec: JUMPDEST 000005ed: PUSH2 0x0621 000005f0: PUSH1 0x04 000005f2: DUP1 000005f3: DUP1 000005f4: CALLDATALOAD 000005f5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000060a: AND 0000060b: SWAP1 0000060c: PUSH1 0x20 0000060e: ADD 0000060f: SWAP1 00000610: SWAP2 00000611: SWAP1 00000612: DUP1 00000613: CALLDATALOAD 00000614: SWAP1 00000615: PUSH1 0x20 00000617: ADD 00000618: SWAP1 00000619: SWAP2 0000061a: SWAP1 0000061b: POP 0000061c: POP 0000061d: PUSH2 0x10b3 00000620: JUMP 00000621: JUMPDEST 00000622: PUSH1 0x40 00000624: MLOAD 00000625: DUP1 00000626: DUP4 00000627: DUP2 00000628: MSTORE 00000629: PUSH1 0x20 0000062b: ADD 0000062c: DUP3 0000062d: DUP2 0000062e: MSTORE 0000062f: PUSH1 0x20 00000631: ADD 00000632: SWAP3 00000633: POP 00000634: POP 00000635: POP 00000636: PUSH1 0x40 00000638: MLOAD 00000639: DUP1 0000063a: SWAP2 0000063b: SUB 0000063c: SWAP1 0000063d: RETURN 0000063e: JUMPDEST 0000063f: CALLVALUE 00000640: ISZERO 00000641: PUSH2 0x0649 00000644: JUMPI 00000645: PUSH1 0x00 00000647: DUP1 00000648: REVERT 00000649: JUMPDEST 0000064a: PUSH2 0x0651 0000064d: PUSH2 0x10f3 00000650: JUMP 00000651: JUMPDEST 00000652: PUSH1 0x40 00000654: MLOAD 00000655: DUP1 00000656: DUP3 00000657: DUP2 00000658: MSTORE 00000659: PUSH1 0x20 0000065b: ADD 0000065c: SWAP2 0000065d: POP 0000065e: POP 0000065f: PUSH1 0x40 00000661: MLOAD 00000662: DUP1 00000663: SWAP2 00000664: SUB 00000665: SWAP1 00000666: RETURN 00000667: JUMPDEST 00000668: CALLVALUE 00000669: ISZERO 0000066a: PUSH2 0x0672 0000066d: JUMPI 0000066e: PUSH1 0x00 00000670: DUP1 00000671: REVERT 00000672: JUMPDEST 00000673: PUSH2 0x069e 00000676: PUSH1 0x04 00000678: DUP1 00000679: DUP1 0000067a: CALLDATALOAD 0000067b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000690: AND 00000691: SWAP1 00000692: PUSH1 0x20 00000694: ADD 00000695: SWAP1 00000696: SWAP2 00000697: SWAP1 00000698: POP 00000699: POP 0000069a: PUSH2 0x0a6b 0000069d: JUMP 0000069e: JUMPDEST 0000069f: PUSH1 0x40 000006a1: MLOAD 000006a2: DUP1 000006a3: DUP3 000006a4: ISZERO 000006a5: ISZERO 000006a6: ISZERO 000006a7: ISZERO 000006a8: DUP2 000006a9: MSTORE 000006aa: PUSH1 0x20 000006ac: ADD 000006ad: SWAP2 000006ae: POP 000006af: POP 000006b0: PUSH1 0x40 000006b2: MLOAD 000006b3: DUP1 000006b4: SWAP2 000006b5: SUB 000006b6: SWAP1 000006b7: RETURN 000006b8: JUMPDEST 000006b9: CALLVALUE 000006ba: ISZERO 000006bb: PUSH2 0x06c3 000006be: JUMPI 000006bf: PUSH1 0x00 000006c1: DUP1 000006c2: REVERT 000006c3: JUMPDEST 000006c4: PUSH2 0x06d9 000006c7: PUSH1 0x04 000006c9: DUP1 000006ca: DUP1 000006cb: CALLDATALOAD 000006cc: SWAP1 000006cd: PUSH1 0x20 000006cf: ADD 000006d0: SWAP1 000006d1: SWAP2 000006d2: SWAP1 000006d3: POP 000006d4: POP 000006d5: PUSH2 0x1101 000006d8: JUMP 000006d9: JUMPDEST 000006da: STOP 000006db: JUMPDEST 000006dc: CALLVALUE 000006dd: ISZERO 000006de: PUSH2 0x06e6 000006e1: JUMPI 000006e2: PUSH1 0x00 000006e4: DUP1 000006e5: REVERT 000006e6: JUMPDEST 000006e7: PUSH2 0x06ee 000006ea: PUSH2 0x1260 000006ed: JUMP 000006ee: JUMPDEST 000006ef: PUSH1 0x40 000006f1: MLOAD 000006f2: DUP1 000006f3: DUP3 000006f4: DUP2 000006f5: MSTORE 000006f6: PUSH1 0x20 000006f8: ADD 000006f9: SWAP2 000006fa: POP 000006fb: POP 000006fc: PUSH1 0x40 000006fe: MLOAD 000006ff: DUP1 00000700: SWAP2 00000701: SUB 00000702: SWAP1 00000703: RETURN 00000704: JUMPDEST 00000705: CALLVALUE 00000706: ISZERO 00000707: PUSH2 0x070f 0000070a: JUMPI 0000070b: PUSH1 0x00 0000070d: DUP1 0000070e: REVERT 0000070f: JUMPDEST 00000710: PUSH2 0x0717 00000713: PUSH2 0x1266 00000716: JUMP 00000717: JUMPDEST 00000718: PUSH1 0x40 0000071a: MLOAD 0000071b: DUP1 0000071c: DUP3 0000071d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000732: AND 00000733: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000748: AND 00000749: DUP2 0000074a: MSTORE 0000074b: PUSH1 0x20 0000074d: ADD 0000074e: SWAP2 0000074f: POP 00000750: POP 00000751: PUSH1 0x40 00000753: MLOAD 00000754: DUP1 00000755: SWAP2 00000756: SUB 00000757: SWAP1 00000758: RETURN 00000759: JUMPDEST 0000075a: CALLVALUE 0000075b: ISZERO 0000075c: PUSH2 0x0764 0000075f: JUMPI 00000760: PUSH1 0x00 00000762: DUP1 00000763: REVERT 00000764: JUMPDEST 00000765: PUSH2 0x076c 00000768: PUSH2 0x128c 0000076b: JUMP 0000076c: JUMPDEST 0000076d: PUSH1 0x40 0000076f: MLOAD 00000770: DUP1 00000771: DUP1 00000772: PUSH1 0x20 00000774: ADD 00000775: DUP3 00000776: DUP2 00000777: SUB 00000778: DUP3 00000779: MSTORE 0000077a: DUP4 0000077b: DUP2 0000077c: DUP2 0000077d: MLOAD 0000077e: DUP2 0000077f: MSTORE 00000780: PUSH1 0x20 00000782: ADD 00000783: SWAP2 00000784: POP 00000785: DUP1 00000786: MLOAD 00000787: SWAP1 00000788: PUSH1 0x20 0000078a: ADD 0000078b: SWAP1 0000078c: DUP1 0000078d: DUP4 0000078e: DUP4 0000078f: PUSH1 0x00 00000791: JUMPDEST 00000792: DUP4 00000793: DUP2 00000794: LT 00000795: ISZERO 00000796: PUSH2 0x07ac 00000799: JUMPI 0000079a: DUP1 0000079b: DUP3 0000079c: ADD 0000079d: MLOAD 0000079e: DUP2 0000079f: DUP5 000007a0: ADD 000007a1: MSTORE 000007a2: PUSH1 0x20 000007a4: DUP2 000007a5: ADD 000007a6: SWAP1 000007a7: POP 000007a8: PUSH2 0x0791 000007ab: JUMP 000007ac: JUMPDEST 000007ad: POP 000007ae: POP 000007af: POP 000007b0: POP 000007b1: SWAP1 000007b2: POP 000007b3: SWAP1 000007b4: DUP2 000007b5: ADD 000007b6: SWAP1 000007b7: PUSH1 0x1f 000007b9: AND 000007ba: DUP1 000007bb: ISZERO 000007bc: PUSH2 0x07d9 000007bf: JUMPI 000007c0: DUP1 000007c1: DUP3 000007c2: SUB 000007c3: DUP1 000007c4: MLOAD 000007c5: PUSH1 0x01 000007c7: DUP4 000007c8: PUSH1 0x20 000007ca: SUB 000007cb: PUSH2 0x0100 000007ce: EXP 000007cf: SUB 000007d0: NOT 000007d1: AND 000007d2: DUP2 000007d3: MSTORE 000007d4: PUSH1 0x20 000007d6: ADD 000007d7: SWAP2 000007d8: POP 000007d9: JUMPDEST 000007da: POP 000007db: SWAP3 000007dc: POP 000007dd: POP 000007de: POP 000007df: PUSH1 0x40 000007e1: MLOAD 000007e2: DUP1 000007e3: SWAP2 000007e4: SUB 000007e5: SWAP1 000007e6: RETURN 000007e7: JUMPDEST 000007e8: CALLVALUE 000007e9: ISZERO 000007ea: PUSH2 0x07f2 000007ed: JUMPI 000007ee: PUSH1 0x00 000007f0: DUP1 000007f1: REVERT 000007f2: JUMPDEST 000007f3: PUSH2 0x07fa 000007f6: PUSH2 0x132a 000007f9: JUMP 000007fa: JUMPDEST 000007fb: PUSH1 0x40 000007fd: MLOAD 000007fe: DUP1 000007ff: DUP3 00000800: DUP2 00000801: MSTORE 00000802: PUSH1 0x20 00000804: ADD 00000805: SWAP2 00000806: POP 00000807: POP 00000808: PUSH1 0x40 0000080a: MLOAD 0000080b: DUP1 0000080c: SWAP2 0000080d: SUB 0000080e: SWAP1 0000080f: RETURN 00000810: JUMPDEST 00000811: CALLVALUE 00000812: ISZERO 00000813: PUSH2 0x081b 00000816: JUMPI 00000817: PUSH1 0x00 00000819: DUP1 0000081a: REVERT 0000081b: JUMPDEST 0000081c: PUSH2 0x0823 0000081f: PUSH2 0x1330 00000822: JUMP 00000823: JUMPDEST 00000824: PUSH1 0x40 00000826: MLOAD 00000827: DUP1 00000828: DUP3 00000829: ISZERO 0000082a: ISZERO 0000082b: ISZERO 0000082c: ISZERO 0000082d: DUP2 0000082e: MSTORE 0000082f: PUSH1 0x20 00000831: ADD 00000832: SWAP2 00000833: POP 00000834: POP 00000835: PUSH1 0x40 00000837: MLOAD 00000838: DUP1 00000839: SWAP2 0000083a: SUB 0000083b: SWAP1 0000083c: RETURN 0000083d: JUMPDEST 0000083e: CALLVALUE 0000083f: ISZERO 00000840: PUSH2 0x0848 00000843: JUMPI 00000844: PUSH1 0x00 00000846: DUP1 00000847: REVERT 00000848: JUMPDEST 00000849: PUSH2 0x0850 0000084c: PUSH2 0x13eb 0000084f: JUMP 00000850: JUMPDEST 00000851: PUSH1 0x40 00000853: MLOAD 00000854: DUP1 00000855: DUP1 00000856: PUSH1 0x20 00000858: ADD 00000859: DUP10 0000085a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000086f: AND 00000870: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000885: AND 00000886: DUP2 00000887: MSTORE 00000888: PUSH1 0x20 0000088a: ADD 0000088b: DUP9 0000088c: DUP2 0000088d: MSTORE 0000088e: PUSH1 0x20 00000890: ADD 00000891: DUP8 00000892: DUP2 00000893: MSTORE 00000894: PUSH1 0x20 00000896: ADD 00000897: DUP7 00000898: DUP2 00000899: MSTORE 0000089a: PUSH1 0x20 0000089c: ADD 0000089d: DUP6 0000089e: DUP2 0000089f: MSTORE 000008a0: PUSH1 0x20 000008a2: ADD 000008a3: DUP5 000008a4: DUP2 000008a5: MSTORE 000008a6: PUSH1 0x20 000008a8: ADD 000008a9: DUP4 000008aa: DUP2 000008ab: MSTORE 000008ac: PUSH1 0x20 000008ae: ADD 000008af: DUP3 000008b0: DUP2 000008b1: SUB 000008b2: DUP3 000008b3: MSTORE 000008b4: DUP11 000008b5: DUP2 000008b6: DUP2 000008b7: MLOAD 000008b8: DUP2 000008b9: MSTORE 000008ba: PUSH1 0x20 000008bc: ADD 000008bd: SWAP2 000008be: POP 000008bf: DUP1 000008c0: MLOAD 000008c1: SWAP1 000008c2: PUSH1 0x20 000008c4: ADD 000008c5: SWAP1 000008c6: DUP1 000008c7: DUP4 000008c8: DUP4 000008c9: PUSH1 0x00 000008cb: JUMPDEST 000008cc: DUP4 000008cd: DUP2 000008ce: LT 000008cf: ISZERO 000008d0: PUSH2 0x08e6 000008d3: JUMPI 000008d4: DUP1 000008d5: DUP3 000008d6: ADD 000008d7: MLOAD 000008d8: DUP2 000008d9: DUP5 000008da: ADD 000008db: MSTORE 000008dc: PUSH1 0x20 000008de: DUP2 000008df: ADD 000008e0: SWAP1 000008e1: POP 000008e2: PUSH2 0x08cb 000008e5: JUMP 000008e6: JUMPDEST 000008e7: POP 000008e8: POP 000008e9: POP 000008ea: POP 000008eb: SWAP1 000008ec: POP 000008ed: SWAP1 000008ee: DUP2 000008ef: ADD 000008f0: SWAP1 000008f1: PUSH1 0x1f 000008f3: AND 000008f4: DUP1 000008f5: ISZERO 000008f6: PUSH2 0x0913 000008f9: JUMPI 000008fa: DUP1 000008fb: DUP3 000008fc: SUB 000008fd: DUP1 000008fe: MLOAD 000008ff: PUSH1 0x01 00000901: DUP4 00000902: PUSH1 0x20 00000904: SUB 00000905: PUSH2 0x0100 00000908: EXP 00000909: SUB 0000090a: NOT 0000090b: AND 0000090c: DUP2 0000090d: MSTORE 0000090e: PUSH1 0x20 00000910: ADD 00000911: SWAP2 00000912: POP 00000913: JUMPDEST 00000914: POP 00000915: SWAP10 00000916: POP 00000917: POP 00000918: POP 00000919: POP 0000091a: POP 0000091b: POP 0000091c: POP 0000091d: POP 0000091e: POP 0000091f: POP 00000920: PUSH1 0x40 00000922: MLOAD 00000923: DUP1 00000924: SWAP2 00000925: SUB 00000926: SWAP1 00000927: RETURN 00000928: JUMPDEST 00000929: CALLVALUE 0000092a: ISZERO 0000092b: PUSH2 0x0933 0000092e: JUMPI 0000092f: PUSH1 0x00 00000931: DUP1 00000932: REVERT 00000933: JUMPDEST 00000934: PUSH2 0x0949 00000937: PUSH1 0x04 00000939: DUP1 0000093a: DUP1 0000093b: CALLDATALOAD 0000093c: SWAP1 0000093d: PUSH1 0x20 0000093f: ADD 00000940: SWAP1 00000941: SWAP2 00000942: SWAP1 00000943: POP 00000944: POP 00000945: PUSH2 0x14ea 00000948: JUMP 00000949: JUMPDEST 0000094a: PUSH1 0x40 0000094c: MLOAD 0000094d: DUP1 0000094e: DUP3 0000094f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000964: AND 00000965: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000097a: AND 0000097b: DUP2 0000097c: MSTORE 0000097d: PUSH1 0x20 0000097f: ADD 00000980: SWAP2 00000981: POP 00000982: POP 00000983: PUSH1 0x40 00000985: MLOAD 00000986: DUP1 00000987: SWAP2 00000988: SUB 00000989: SWAP1 0000098a: RETURN 0000098b: JUMPDEST 0000098c: CALLVALUE 0000098d: ISZERO 0000098e: PUSH2 0x0996 00000991: JUMPI 00000992: PUSH1 0x00 00000994: DUP1 00000995: REVERT 00000996: JUMPDEST 00000997: PUSH2 0x09cb 0000099a: PUSH1 0x04 0000099c: DUP1 0000099d: DUP1 0000099e: CALLDATALOAD 0000099f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009b4: AND 000009b5: SWAP1 000009b6: PUSH1 0x20 000009b8: ADD 000009b9: SWAP1 000009ba: SWAP2 000009bb: SWAP1 000009bc: DUP1 000009bd: CALLDATALOAD 000009be: SWAP1 000009bf: PUSH1 0x20 000009c1: ADD 000009c2: SWAP1 000009c3: SWAP2 000009c4: SWAP1 000009c5: POP 000009c6: POP 000009c7: PUSH2 0x1529 000009ca: JUMP 000009cb: JUMPDEST 000009cc: PUSH1 0x40 000009ce: MLOAD 000009cf: DUP1 000009d0: DUP5 000009d1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009e6: AND 000009e7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009fc: AND 000009fd: DUP2 000009fe: MSTORE 000009ff: PUSH1 0x20 00000a01: ADD 00000a02: DUP4 00000a03: DUP2 00000a04: MSTORE 00000a05: PUSH1 0x20 00000a07: ADD 00000a08: DUP3 00000a09: DUP2 00000a0a: MSTORE 00000a0b: PUSH1 0x20 00000a0d: ADD 00000a0e: SWAP4 00000a0f: POP 00000a10: POP 00000a11: POP 00000a12: POP 00000a13: PUSH1 0x40 00000a15: MLOAD 00000a16: DUP1 00000a17: SWAP2 00000a18: SUB 00000a19: SWAP1 00000a1a: RETURN 00000a1b: JUMPDEST 00000a1c: CALLVALUE 00000a1d: ISZERO 00000a1e: PUSH2 0x0a26 00000a21: JUMPI 00000a22: PUSH1 0x00 00000a24: DUP1 00000a25: REVERT 00000a26: JUMPDEST 00000a27: PUSH2 0x0a2e 00000a2a: PUSH2 0x161c 00000a2d: JUMP 00000a2e: JUMPDEST 00000a2f: PUSH1 0x40 00000a31: MLOAD 00000a32: DUP1 00000a33: DUP3 00000a34: ISZERO 00000a35: ISZERO 00000a36: ISZERO 00000a37: ISZERO 00000a38: DUP2 00000a39: MSTORE 00000a3a: PUSH1 0x20 00000a3c: ADD 00000a3d: SWAP2 00000a3e: POP 00000a3f: POP 00000a40: PUSH1 0x40 00000a42: MLOAD 00000a43: DUP1 00000a44: SWAP2 00000a45: SUB 00000a46: SWAP1 00000a47: RETURN 00000a48: JUMPDEST 00000a49: CALLVALUE 00000a4a: ISZERO 00000a4b: PUSH2 0x0a53 00000a4e: JUMPI 00000a4f: PUSH1 0x00 00000a51: DUP1 00000a52: REVERT 00000a53: JUMPDEST 00000a54: PUSH2 0x0a69 00000a57: PUSH1 0x04 00000a59: DUP1 00000a5a: DUP1 00000a5b: CALLDATALOAD 00000a5c: SWAP1 00000a5d: PUSH1 0x20 00000a5f: ADD 00000a60: SWAP1 00000a61: SWAP2 00000a62: SWAP1 00000a63: POP 00000a64: POP 00000a65: PUSH2 0x192e 00000a68: JUMP 00000a69: JUMPDEST 00000a6a: STOP 00000a6b: JUMPDEST 00000a6c: PUSH1 0x00 00000a6e: DUP1 00000a6f: PUSH1 0x00 00000a71: SWAP1 00000a72: POP 00000a73: JUMPDEST 00000a74: PUSH1 0x0a 00000a76: DUP1 00000a77: SLOAD 00000a78: SWAP1 00000a79: POP 00000a7a: DUP2 00000a7b: LT 00000a7c: ISZERO 00000a7d: PUSH2 0x0b04 00000a80: JUMPI 00000a81: DUP3 00000a82: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a97: AND 00000a98: PUSH1 0x0a 00000a9a: DUP3 00000a9b: DUP2 00000a9c: SLOAD 00000a9d: DUP2 00000a9e: LT 00000a9f: ISZERO 00000aa0: ISZERO 00000aa1: PUSH2 0x0aa6 00000aa4: JUMPI 00000aa5: INVALID 00000aa6: JUMPDEST 00000aa7: SWAP1 00000aa8: PUSH1 0x00 00000aaa: MSTORE 00000aab: PUSH1 0x20 00000aad: PUSH1 0x00 00000aaf: KECCAK256 00000ab0: SWAP1 00000ab1: ADD 00000ab2: PUSH1 0x00 00000ab4: SWAP1 00000ab5: SLOAD 00000ab6: SWAP1 00000ab7: PUSH2 0x0100 00000aba: EXP 00000abb: SWAP1 00000abc: DIV 00000abd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ad2: AND 00000ad3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ae8: AND 00000ae9: EQ 00000aea: ISZERO 00000aeb: PUSH2 0x0af7 00000aee: JUMPI 00000aef: PUSH1 0x01 00000af1: SWAP2 00000af2: POP 00000af3: PUSH2 0x0b09 00000af6: JUMP 00000af7: JUMPDEST 00000af8: DUP1 00000af9: DUP1 00000afa: PUSH1 0x01 00000afc: ADD 00000afd: SWAP2 00000afe: POP 00000aff: POP 00000b00: PUSH2 0x0a73 00000b03: JUMP 00000b04: JUMPDEST 00000b05: PUSH1 0x00 00000b07: SWAP2 00000b08: POP 00000b09: JUMPDEST 00000b0a: POP 00000b0b: SWAP2 00000b0c: SWAP1 00000b0d: POP 00000b0e: JUMP 00000b0f: JUMPDEST 00000b10: PUSH1 0x05 00000b12: SLOAD 00000b13: TIMESTAMP 00000b14: GT 00000b15: ISZERO 00000b16: PUSH2 0x0ba5 00000b19: JUMPI 00000b1a: PUSH32 0x80515402bae99e1564acef51f980c608897db2faebf764ace1dfb7069af6cb25 00000b3b: TIMESTAMP 00000b3c: PUSH1 0x05 00000b3e: SLOAD 00000b3f: PUSH1 0x01 00000b41: PUSH1 0x40 00000b43: MLOAD 00000b44: DUP1 00000b45: DUP5 00000b46: DUP2 00000b47: MSTORE 00000b48: PUSH1 0x20 00000b4a: ADD 00000b4b: DUP4 00000b4c: DUP2 00000b4d: MSTORE 00000b4e: PUSH1 0x20 00000b50: ADD 00000b51: DUP3 00000b52: ISZERO 00000b53: ISZERO 00000b54: ISZERO 00000b55: ISZERO 00000b56: DUP2 00000b57: MSTORE 00000b58: PUSH1 0x20 00000b5a: ADD 00000b5b: DUP1 00000b5c: PUSH1 0x20 00000b5e: ADD 00000b5f: DUP3 00000b60: DUP2 00000b61: SUB 00000b62: DUP3 00000b63: MSTORE 00000b64: PUSH1 0x09 00000b66: DUP2 00000b67: MSTORE 00000b68: PUSH1 0x20 00000b6a: ADD 00000b6b: DUP1 00000b6c: PUSH32 0x737461727474696d650000000000000000000000000000000000000000000000 00000b8d: DUP2 00000b8e: MSTORE 00000b8f: POP 00000b90: PUSH1 0x20 00000b92: ADD 00000b93: SWAP5 00000b94: POP 00000b95: POP 00000b96: POP 00000b97: POP 00000b98: POP 00000b99: PUSH1 0x40 00000b9b: MLOAD 00000b9c: DUP1 00000b9d: SWAP2 00000b9e: SUB 00000b9f: SWAP1 00000ba0: LOG1 00000ba1: PUSH2 0x0c2d 00000ba4: JUMP 00000ba5: JUMPDEST 00000ba6: PUSH32 0x80515402bae99e1564acef51f980c608897db2faebf764ace1dfb7069af6cb25 00000bc7: TIMESTAMP 00000bc8: PUSH1 0x05 00000bca: SLOAD 00000bcb: PUSH1 0x00 00000bcd: PUSH1 0x40 00000bcf: MLOAD 00000bd0: DUP1 00000bd1: DUP5 00000bd2: DUP2 00000bd3: MSTORE 00000bd4: PUSH1 0x20 00000bd6: ADD 00000bd7: DUP4 00000bd8: DUP2 00000bd9: MSTORE 00000bda: PUSH1 0x20 00000bdc: ADD 00000bdd: DUP3 00000bde: ISZERO 00000bdf: ISZERO 00000be0: ISZERO 00000be1: ISZERO 00000be2: DUP2 00000be3: MSTORE 00000be4: PUSH1 0x20 00000be6: ADD 00000be7: DUP1 00000be8: PUSH1 0x20 00000bea: ADD 00000beb: DUP3 00000bec: DUP2 00000bed: SUB 00000bee: DUP3 00000bef: MSTORE 00000bf0: PUSH1 0x09 00000bf2: DUP2 00000bf3: MSTORE 00000bf4: PUSH1 0x20 00000bf6: ADD 00000bf7: DUP1 00000bf8: PUSH32 0x737461727474696d650000000000000000000000000000000000000000000000 00000c19: DUP2 00000c1a: MSTORE 00000c1b: POP 00000c1c: PUSH1 0x20 00000c1e: ADD 00000c1f: SWAP5 00000c20: POP 00000c21: POP 00000c22: POP 00000c23: POP 00000c24: POP 00000c25: PUSH1 0x40 00000c27: MLOAD 00000c28: DUP1 00000c29: SWAP2 00000c2a: SUB 00000c2b: SWAP1 00000c2c: LOG1 00000c2d: JUMPDEST 00000c2e: PUSH1 0x04 00000c30: SLOAD 00000c31: TIMESTAMP 00000c32: GT 00000c33: ISZERO 00000c34: PUSH2 0x0cc3 00000c37: JUMPI 00000c38: PUSH32 0x80515402bae99e1564acef51f980c608897db2faebf764ace1dfb7069af6cb25 00000c59: TIMESTAMP 00000c5a: PUSH1 0x04 00000c5c: SLOAD 00000c5d: PUSH1 0x01 00000c5f: PUSH1 0x40 00000c61: MLOAD 00000c62: DUP1 00000c63: DUP5 00000c64: DUP2 00000c65: MSTORE 00000c66: PUSH1 0x20 00000c68: ADD 00000c69: DUP4 00000c6a: DUP2 00000c6b: MSTORE 00000c6c: PUSH1 0x20 00000c6e: ADD 00000c6f: DUP3 00000c70: ISZERO 00000c71: ISZERO 00000c72: ISZERO 00000c73: ISZERO 00000c74: DUP2 00000c75: MSTORE 00000c76: PUSH1 0x20 00000c78: ADD 00000c79: DUP1 00000c7a: PUSH1 0x20 00000c7c: ADD 00000c7d: DUP3 00000c7e: DUP2 00000c7f: SUB 00000c80: DUP3 00000c81: MSTORE 00000c82: PUSH1 0x08 00000c84: DUP2 00000c85: MSTORE 00000c86: PUSH1 0x20 00000c88: ADD 00000c89: DUP1 00000c8a: PUSH32 0x646561646c696e65000000000000000000000000000000000000000000000000 00000cab: DUP2 00000cac: MSTORE 00000cad: POP 00000cae: PUSH1 0x20 00000cb0: ADD 00000cb1: SWAP5 00000cb2: POP 00000cb3: POP 00000cb4: POP 00000cb5: POP 00000cb6: POP 00000cb7: PUSH1 0x40 00000cb9: MLOAD 00000cba: DUP1 00000cbb: SWAP2 00000cbc: SUB 00000cbd: SWAP1 00000cbe: LOG1 00000cbf: PUSH2 0x0d4b 00000cc2: JUMP 00000cc3: JUMPDEST 00000cc4: PUSH32 0x80515402bae99e1564acef51f980c608897db2faebf764ace1dfb7069af6cb25 00000ce5: TIMESTAMP 00000ce6: PUSH1 0x04 00000ce8: SLOAD 00000ce9: PUSH1 0x00 00000ceb: PUSH1 0x40 00000ced: MLOAD 00000cee: DUP1 00000cef: DUP5 00000cf0: DUP2 00000cf1: MSTORE 00000cf2: PUSH1 0x20 00000cf4: ADD 00000cf5: DUP4 00000cf6: DUP2 00000cf7: MSTORE 00000cf8: PUSH1 0x20 00000cfa: ADD 00000cfb: DUP3 00000cfc: ISZERO 00000cfd: ISZERO 00000cfe: ISZERO 00000cff: ISZERO 00000d00: DUP2 00000d01: MSTORE 00000d02: PUSH1 0x20 00000d04: ADD 00000d05: DUP1 00000d06: PUSH1 0x20 00000d08: ADD 00000d09: DUP3 00000d0a: DUP2 00000d0b: SUB 00000d0c: DUP3 00000d0d: MSTORE 00000d0e: PUSH1 0x08 00000d10: DUP2 00000d11: MSTORE 00000d12: PUSH1 0x20 00000d14: ADD 00000d15: DUP1 00000d16: PUSH32 0x646561646c696e65000000000000000000000000000000000000000000000000 00000d37: DUP2 00000d38: MSTORE 00000d39: POP 00000d3a: PUSH1 0x20 00000d3c: ADD 00000d3d: SWAP5 00000d3e: POP 00000d3f: POP 00000d40: POP 00000d41: POP 00000d42: POP 00000d43: PUSH1 0x40 00000d45: MLOAD 00000d46: DUP1 00000d47: SWAP2 00000d48: SUB 00000d49: SWAP1 00000d4a: LOG1 00000d4b: JUMPDEST 00000d4c: JUMP 00000d4d: JUMPDEST 00000d4e: PUSH1 0x00 00000d50: DUP1 00000d51: PUSH1 0x00 00000d53: DUP1 00000d54: PUSH1 0x09 00000d56: PUSH1 0x00 00000d58: DUP7 00000d59: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d6e: AND 00000d6f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d84: AND 00000d85: DUP2 00000d86: MSTORE 00000d87: PUSH1 0x20 00000d89: ADD 00000d8a: SWAP1 00000d8b: DUP2 00000d8c: MSTORE 00000d8d: PUSH1 0x20 00000d8f: ADD 00000d90: PUSH1 0x00 00000d92: KECCAK256 00000d93: SWAP3 00000d94: POP 00000d95: PUSH1 0x00 00000d97: SWAP2 00000d98: POP 00000d99: PUSH1 0x00 00000d9b: SWAP1 00000d9c: POP 00000d9d: JUMPDEST 00000d9e: DUP3 00000d9f: DUP1 00000da0: SLOAD 00000da1: SWAP1 00000da2: POP 00000da3: DUP2 00000da4: LT 00000da5: ISZERO 00000da6: PUSH2 0x0dda 00000da9: JUMPI 00000daa: DUP3 00000dab: DUP2 00000dac: DUP2 00000dad: SLOAD 00000dae: DUP2 00000daf: LT 00000db0: ISZERO 00000db1: ISZERO 00000db2: PUSH2 0x0db7 00000db5: JUMPI 00000db6: INVALID 00000db7: JUMPDEST 00000db8: SWAP1 00000db9: PUSH1 0x00 00000dbb: MSTORE 00000dbc: PUSH1 0x20 00000dbe: PUSH1 0x00 00000dc0: KECCAK256 00000dc1: SWAP1 00000dc2: PUSH1 0x02 00000dc4: MUL 00000dc5: ADD 00000dc6: PUSH1 0x00 00000dc8: ADD 00000dc9: SLOAD 00000dca: DUP3 00000dcb: ADD 00000dcc: SWAP2 00000dcd: POP 00000dce: DUP1 00000dcf: DUP1 00000dd0: PUSH1 0x01 00000dd2: ADD 00000dd3: SWAP2 00000dd4: POP 00000dd5: POP 00000dd6: PUSH2 0x0d9d 00000dd9: JUMP 00000dda: JUMPDEST 00000ddb: DUP2 00000ddc: SWAP4 00000ddd: POP 00000dde: POP 00000ddf: POP 00000de0: POP 00000de1: SWAP2 00000de2: SWAP1 00000de3: POP 00000de4: JUMP 00000de5: JUMPDEST 00000de6: PUSH1 0x01 00000de8: PUSH1 0x00 00000dea: SWAP1 00000deb: SLOAD 00000dec: SWAP1 00000ded: PUSH2 0x0100 00000df0: EXP 00000df1: SWAP1 00000df2: DIV 00000df3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e08: AND 00000e09: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e1e: AND 00000e1f: CALLER 00000e20: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e35: AND 00000e36: EQ 00000e37: ISZERO 00000e38: ISZERO 00000e39: PUSH2 0x0e41 00000e3c: JUMPI 00000e3d: PUSH1 0x00 00000e3f: DUP1 00000e40: REVERT 00000e41: JUMPDEST 00000e42: PUSH32 0x8d2f010d7151ccf313cb55b95d7ace7ed069908897080dba9d84c8380f7d1f55 00000e63: CALLER 00000e64: ADDRESS 00000e65: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e7a: AND 00000e7b: BALANCE 00000e7c: PUSH1 0x00 00000e7e: PUSH1 0x40 00000e80: MLOAD 00000e81: DUP1 00000e82: DUP5 00000e83: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e98: AND 00000e99: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000eae: AND 00000eaf: DUP2 00000eb0: MSTORE 00000eb1: PUSH1 0x20 00000eb3: ADD 00000eb4: DUP4 00000eb5: DUP2 00000eb6: MSTORE 00000eb7: PUSH1 0x20 00000eb9: ADD 00000eba: DUP3 00000ebb: ISZERO 00000ebc: ISZERO 00000ebd: ISZERO 00000ebe: ISZERO 00000ebf: DUP2 00000ec0: MSTORE 00000ec1: PUSH1 0x20 00000ec3: ADD 00000ec4: SWAP4 00000ec5: POP 00000ec6: POP 00000ec7: POP 00000ec8: POP 00000ec9: PUSH1 0x40 00000ecb: MLOAD 00000ecc: DUP1 00000ecd: SWAP2 00000ece: SUB 00000ecf: SWAP1 00000ed0: LOG1 00000ed1: PUSH1 0x01 00000ed3: PUSH1 0x00 00000ed5: SWAP1 00000ed6: SLOAD 00000ed7: SWAP1 00000ed8: PUSH2 0x0100 00000edb: EXP 00000edc: SWAP1 00000edd: DIV 00000ede: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ef3: AND 00000ef4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f09: AND 00000f0a: PUSH2 0x08fc 00000f0d: ADDRESS 00000f0e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f23: AND 00000f24: BALANCE 00000f25: SWAP1 00000f26: DUP2 00000f27: ISZERO 00000f28: MUL 00000f29: SWAP1 00000f2a: PUSH1 0x40 00000f2c: MLOAD 00000f2d: PUSH1 0x00 00000f2f: PUSH1 0x40 00000f31: MLOAD 00000f32: DUP1 00000f33: DUP4 00000f34: SUB 00000f35: DUP2 00000f36: DUP6 00000f37: DUP9 00000f38: DUP9 00000f39: CALL 00000f3a: SWAP4 00000f3b: POP 00000f3c: POP 00000f3d: POP 00000f3e: POP 00000f3f: ISZERO 00000f40: ISZERO 00000f41: PUSH2 0x0f49 00000f44: JUMPI 00000f45: PUSH1 0x00 00000f47: DUP1 00000f48: REVERT 00000f49: JUMPDEST 00000f4a: JUMP 00000f4b: JUMPDEST 00000f4c: PUSH1 0x01 00000f4e: PUSH1 0x00 00000f50: SWAP1 00000f51: SLOAD 00000f52: SWAP1 00000f53: PUSH2 0x0100 00000f56: EXP 00000f57: SWAP1 00000f58: DIV 00000f59: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f6e: AND 00000f6f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f84: AND 00000f85: CALLER 00000f86: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f9b: AND 00000f9c: EQ 00000f9d: ISZERO 00000f9e: ISZERO 00000f9f: PUSH2 0x0fa7 00000fa2: JUMPI 00000fa3: PUSH1 0x00 00000fa5: DUP1 00000fa6: REVERT 00000fa7: JUMPDEST 00000fa8: DUP1 00000fa9: PUSH1 0x04 00000fab: DUP2 00000fac: SWAP1 00000fad: SSTORE 00000fae: POP 00000faf: POP 00000fb0: JUMP 00000fb1: JUMPDEST 00000fb2: PUSH1 0x08 00000fb4: PUSH1 0x00 00000fb6: SWAP1 00000fb7: SLOAD 00000fb8: SWAP1 00000fb9: PUSH2 0x0100 00000fbc: EXP 00000fbd: SWAP1 00000fbe: DIV 00000fbf: PUSH1 0xff 00000fc1: AND 00000fc2: DUP2 00000fc3: JUMP 00000fc4: JUMPDEST 00000fc5: PUSH1 0x04 00000fc7: SLOAD 00000fc8: DUP2 00000fc9: JUMP 00000fca: JUMPDEST 00000fcb: PUSH1 0x07 00000fcd: SLOAD 00000fce: DUP2 00000fcf: JUMP 00000fd0: JUMPDEST 00000fd1: PUSH1 0x01 00000fd3: PUSH1 0x00 00000fd5: SWAP1 00000fd6: SLOAD 00000fd7: SWAP1 00000fd8: PUSH2 0x0100 00000fdb: EXP 00000fdc: SWAP1 00000fdd: DIV 00000fde: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ff3: AND 00000ff4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001009: AND 0000100a: CALLER 0000100b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001020: AND 00001021: EQ 00001022: ISZERO 00001023: ISZERO 00001024: PUSH2 0x102c 00001027: JUMPI 00001028: PUSH1 0x00 0000102a: DUP1 0000102b: REVERT 0000102c: JUMPDEST 0000102d: DUP1 0000102e: PUSH1 0x07 00001030: DUP2 00001031: SWAP1 00001032: SSTORE 00001033: POP 00001034: POP 00001035: JUMP 00001036: JUMPDEST 00001037: PUSH1 0x00 00001039: PUSH1 0x0a 0000103b: DUP1 0000103c: SLOAD 0000103d: SWAP1 0000103e: POP 0000103f: SWAP1 00001040: POP 00001041: SWAP1 00001042: JUMP 00001043: JUMPDEST 00001044: PUSH1 0x00 00001046: PUSH2 0x104e 00001049: DUP3 0000104a: PUSH2 0x0a6b 0000104d: JUMP 0000104e: JUMPDEST 0000104f: ISZERO 00001050: PUSH2 0x109d 00001053: JUMPI 00001054: PUSH1 0x09 00001056: PUSH1 0x00 00001058: DUP4 00001059: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000106e: AND 0000106f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001084: AND 00001085: DUP2 00001086: MSTORE 00001087: PUSH1 0x20 00001089: ADD 0000108a: SWAP1 0000108b: DUP2 0000108c: MSTORE 0000108d: PUSH1 0x20 0000108f: ADD 00001090: PUSH1 0x00 00001092: KECCAK256 00001093: DUP1 00001094: SLOAD 00001095: SWAP1 00001096: POP 00001097: SWAP1 00001098: POP 00001099: PUSH2 0x10a2 0000109c: JUMP 0000109d: JUMPDEST 0000109e: PUSH1 0x00 000010a0: SWAP1 000010a1: POP 000010a2: JUMPDEST 000010a3: SWAP2 000010a4: SWAP1 000010a5: POP 000010a6: JUMP 000010a7: JUMPDEST 000010a8: PUSH1 0x02 000010aa: SLOAD 000010ab: DUP2 000010ac: JUMP 000010ad: JUMPDEST 000010ae: PUSH1 0x03 000010b0: SLOAD 000010b1: DUP2 000010b2: JUMP 000010b3: JUMPDEST 000010b4: PUSH1 0x09 000010b6: PUSH1 0x20 000010b8: MSTORE 000010b9: DUP2 000010ba: PUSH1 0x00 000010bc: MSTORE 000010bd: PUSH1 0x40 000010bf: PUSH1 0x00 000010c1: KECCAK256 000010c2: DUP2 000010c3: DUP2 000010c4: SLOAD 000010c5: DUP2 000010c6: LT 000010c7: ISZERO 000010c8: ISZERO 000010c9: PUSH2 0x10ce 000010cc: JUMPI 000010cd: INVALID 000010ce: JUMPDEST 000010cf: SWAP1 000010d0: PUSH1 0x00 000010d2: MSTORE 000010d3: PUSH1 0x20 000010d5: PUSH1 0x00 000010d7: KECCAK256 000010d8: SWAP1 000010d9: PUSH1 0x02 000010db: MUL 000010dc: ADD 000010dd: PUSH1 0x00 000010df: SWAP2 000010e0: POP 000010e1: SWAP2 000010e2: POP 000010e3: POP 000010e4: DUP1 000010e5: PUSH1 0x00 000010e7: ADD 000010e8: SLOAD 000010e9: SWAP1 000010ea: DUP1 000010eb: PUSH1 0x01 000010ed: ADD 000010ee: SLOAD 000010ef: SWAP1 000010f0: POP 000010f1: DUP3 000010f2: JUMP 000010f3: JUMPDEST 000010f4: PUSH1 0x00 000010f6: PUSH1 0x03 000010f8: SLOAD 000010f9: PUSH1 0x02 000010fb: SLOAD 000010fc: SUB 000010fd: SWAP1 000010fe: POP 000010ff: SWAP1 00001100: JUMP 00001101: JUMPDEST 00001102: PUSH1 0x01 00001104: PUSH1 0x00 00001106: SWAP1 00001107: SLOAD 00001108: SWAP1 00001109: PUSH2 0x0100 0000110c: EXP 0000110d: SWAP1 0000110e: DIV 0000110f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001124: AND 00001125: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000113a: AND 0000113b: CALLER 0000113c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001151: AND 00001152: EQ 00001153: ISZERO 00001154: ISZERO 00001155: PUSH2 0x115d 00001158: JUMPI 00001159: PUSH1 0x00 0000115b: DUP1 0000115c: REVERT 0000115d: JUMPDEST 0000115e: DUP1 0000115f: ADDRESS 00001160: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001175: AND 00001176: BALANCE 00001177: LT 00001178: ISZERO 00001179: ISZERO 0000117a: ISZERO 0000117b: PUSH2 0x1183 0000117e: JUMPI 0000117f: PUSH1 0x00 00001181: DUP1 00001182: REVERT 00001183: JUMPDEST 00001184: PUSH32 0x8d2f010d7151ccf313cb55b95d7ace7ed069908897080dba9d84c8380f7d1f55 000011a5: CALLER 000011a6: DUP3 000011a7: PUSH1 0x00 000011a9: PUSH1 0x40 000011ab: MLOAD 000011ac: DUP1 000011ad: DUP5 000011ae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011c3: AND 000011c4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011d9: AND 000011da: DUP2 000011db: MSTORE 000011dc: PUSH1 0x20 000011de: ADD 000011df: DUP4 000011e0: DUP2 000011e1: MSTORE 000011e2: PUSH1 0x20 000011e4: ADD 000011e5: DUP3 000011e6: ISZERO 000011e7: ISZERO 000011e8: ISZERO 000011e9: ISZERO 000011ea: DUP2 000011eb: MSTORE 000011ec: PUSH1 0x20 000011ee: ADD 000011ef: SWAP4 000011f0: POP 000011f1: POP 000011f2: POP 000011f3: POP 000011f4: PUSH1 0x40 000011f6: MLOAD 000011f7: DUP1 000011f8: SWAP2 000011f9: SUB 000011fa: SWAP1 000011fb: LOG1 000011fc: PUSH1 0x01 000011fe: PUSH1 0x00 00001200: SWAP1 00001201: SLOAD 00001202: SWAP1 00001203: PUSH2 0x0100 00001206: EXP 00001207: SWAP1 00001208: DIV 00001209: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000121e: AND 0000121f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001234: AND 00001235: PUSH2 0x08fc 00001238: DUP3 00001239: SWAP1 0000123a: DUP2 0000123b: ISZERO 0000123c: MUL 0000123d: SWAP1 0000123e: PUSH1 0x40 00001240: MLOAD 00001241: PUSH1 0x00 00001243: PUSH1 0x40 00001245: MLOAD 00001246: DUP1 00001247: DUP4 00001248: SUB 00001249: DUP2 0000124a: DUP6 0000124b: DUP9 0000124c: DUP9 0000124d: CALL 0000124e: SWAP4 0000124f: POP 00001250: POP 00001251: POP 00001252: POP 00001253: ISZERO 00001254: ISZERO 00001255: PUSH2 0x125d 00001258: JUMPI 00001259: PUSH1 0x00 0000125b: DUP1 0000125c: REVERT 0000125d: JUMPDEST 0000125e: POP 0000125f: JUMP 00001260: JUMPDEST 00001261: PUSH1 0x05 00001263: SLOAD 00001264: DUP2 00001265: JUMP 00001266: JUMPDEST 00001267: PUSH1 0x01 00001269: PUSH1 0x00 0000126b: SWAP1 0000126c: SLOAD 0000126d: SWAP1 0000126e: PUSH2 0x0100 00001271: EXP 00001272: SWAP1 00001273: DIV 00001274: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001289: AND 0000128a: DUP2 0000128b: JUMP 0000128c: JUMPDEST 0000128d: PUSH1 0x00 0000128f: DUP1 00001290: SLOAD 00001291: PUSH1 0x01 00001293: DUP2 00001294: PUSH1 0x01 00001296: AND 00001297: ISZERO 00001298: PUSH2 0x0100 0000129b: MUL 0000129c: SUB 0000129d: AND 0000129e: PUSH1 0x02 000012a0: SWAP1 000012a1: DIV 000012a2: DUP1 000012a3: PUSH1 0x1f 000012a5: ADD 000012a6: PUSH1 0x20 000012a8: DUP1 000012a9: SWAP2 000012aa: DIV 000012ab: MUL 000012ac: PUSH1 0x20 000012ae: ADD 000012af: PUSH1 0x40 000012b1: MLOAD 000012b2: SWAP1 000012b3: DUP2 000012b4: ADD 000012b5: PUSH1 0x40 000012b7: MSTORE 000012b8: DUP1 000012b9: SWAP3 000012ba: SWAP2 000012bb: SWAP1 000012bc: DUP2 000012bd: DUP2 000012be: MSTORE 000012bf: PUSH1 0x20 000012c1: ADD 000012c2: DUP3 000012c3: DUP1 000012c4: SLOAD 000012c5: PUSH1 0x01 000012c7: DUP2 000012c8: PUSH1 0x01 000012ca: AND 000012cb: ISZERO 000012cc: PUSH2 0x0100 000012cf: MUL 000012d0: SUB 000012d1: AND 000012d2: PUSH1 0x02 000012d4: SWAP1 000012d5: DIV 000012d6: DUP1 000012d7: ISZERO 000012d8: PUSH2 0x1322 000012db: JUMPI 000012dc: DUP1 000012dd: PUSH1 0x1f 000012df: LT 000012e0: PUSH2 0x12f7 000012e3: JUMPI 000012e4: PUSH2 0x0100 000012e7: DUP1 000012e8: DUP4 000012e9: SLOAD 000012ea: DIV 000012eb: MUL 000012ec: DUP4 000012ed: MSTORE 000012ee: SWAP2 000012ef: PUSH1 0x20 000012f1: ADD 000012f2: SWAP2 000012f3: PUSH2 0x1322 000012f6: JUMP 000012f7: JUMPDEST 000012f8: DUP3 000012f9: ADD 000012fa: SWAP2 000012fb: SWAP1 000012fc: PUSH1 0x00 000012fe: MSTORE 000012ff: PUSH1 0x20 00001301: PUSH1 0x00 00001303: KECCAK256 00001304: SWAP1 00001305: JUMPDEST 00001306: DUP2 00001307: SLOAD 00001308: DUP2 00001309: MSTORE 0000130a: SWAP1 0000130b: PUSH1 0x01 0000130d: ADD 0000130e: SWAP1 0000130f: PUSH1 0x20 00001311: ADD 00001312: DUP1 00001313: DUP4 00001314: GT 00001315: PUSH2 0x1305 00001318: JUMPI 00001319: DUP3 0000131a: SWAP1 0000131b: SUB 0000131c: PUSH1 0x1f 0000131e: AND 0000131f: DUP3 00001320: ADD 00001321: SWAP2 00001322: JUMPDEST 00001323: POP 00001324: POP 00001325: POP 00001326: POP 00001327: POP 00001328: DUP2 00001329: JUMP 0000132a: JUMPDEST 0000132b: PUSH1 0x06 0000132d: SLOAD 0000132e: DUP2 0000132f: JUMP 00001330: JUMPDEST 00001331: PUSH1 0x00 00001333: PUSH1 0x04 00001335: SLOAD 00001336: TIMESTAMP 00001337: LT 00001338: ISZERO 00001339: ISZERO 0000133a: ISZERO 0000133b: PUSH2 0x1343 0000133e: JUMPI 0000133f: PUSH1 0x00 00001341: DUP1 00001342: REVERT 00001343: JUMPDEST 00001344: PUSH1 0x01 00001346: PUSH1 0x00 00001348: SWAP1 00001349: SLOAD 0000134a: SWAP1 0000134b: PUSH2 0x0100 0000134e: EXP 0000134f: SWAP1 00001350: DIV 00001351: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001366: AND 00001367: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000137c: AND 0000137d: CALLER 0000137e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001393: AND 00001394: EQ 00001395: ISZERO 00001396: ISZERO 00001397: PUSH2 0x139f 0000139a: JUMPI 0000139b: PUSH1 0x00 0000139d: DUP1 0000139e: REVERT 0000139f: JUMPDEST 000013a0: PUSH1 0x00 000013a2: PUSH1 0x08 000013a4: PUSH1 0x00 000013a6: SWAP1 000013a7: SLOAD 000013a8: SWAP1 000013a9: PUSH2 0x0100 000013ac: EXP 000013ad: SWAP1 000013ae: DIV 000013af: PUSH1 0xff 000013b1: AND 000013b2: PUSH1 0xff 000013b4: AND 000013b5: EQ 000013b6: ISZERO 000013b7: ISZERO 000013b8: PUSH2 0x13c0 000013bb: JUMPI 000013bc: PUSH1 0x00 000013be: DUP1 000013bf: REVERT 000013c0: JUMPDEST 000013c1: PUSH2 0x13c8 000013c4: PUSH2 0x0de5 000013c7: JUMP 000013c8: JUMPDEST 000013c9: PUSH1 0x01 000013cb: PUSH1 0x08 000013cd: PUSH1 0x00 000013cf: PUSH2 0x0100 000013d2: EXP 000013d3: DUP2 000013d4: SLOAD 000013d5: DUP2 000013d6: PUSH1 0xff 000013d8: MUL 000013d9: NOT 000013da: AND 000013db: SWAP1 000013dc: DUP4 000013dd: PUSH1 0xff 000013df: AND 000013e0: MUL 000013e1: OR 000013e2: SWAP1 000013e3: SSTORE 000013e4: POP 000013e5: PUSH1 0x01 000013e7: SWAP1 000013e8: POP 000013e9: SWAP1 000013ea: JUMP 000013eb: JUMPDEST 000013ec: PUSH2 0x13f3 000013ef: PUSH2 0x19f2 000013f2: JUMP 000013f3: JUMPDEST 000013f4: PUSH1 0x00 000013f6: DUP1 000013f7: PUSH1 0x00 000013f9: DUP1 000013fa: PUSH1 0x00 000013fc: DUP1 000013fd: PUSH1 0x00 000013ff: DUP1 00001400: PUSH1 0x01 00001402: PUSH1 0x00 00001404: SWAP1 00001405: SLOAD 00001406: SWAP1 00001407: PUSH2 0x0100 0000140a: EXP 0000140b: SWAP1 0000140c: DIV 0000140d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001422: AND 00001423: PUSH1 0x02 00001425: SLOAD 00001426: PUSH1 0x03 00001428: SLOAD 00001429: PUSH1 0x04 0000142b: SLOAD 0000142c: PUSH1 0x06 0000142e: SLOAD 0000142f: PUSH1 0x07 00001431: SLOAD 00001432: PUSH1 0x05 00001434: SLOAD 00001435: DUP8 00001436: DUP1 00001437: SLOAD 00001438: PUSH1 0x01 0000143a: DUP2 0000143b: PUSH1 0x01 0000143d: AND 0000143e: ISZERO 0000143f: PUSH2 0x0100 00001442: MUL 00001443: SUB 00001444: AND 00001445: PUSH1 0x02 00001447: SWAP1 00001448: DIV 00001449: DUP1 0000144a: PUSH1 0x1f 0000144c: ADD 0000144d: PUSH1 0x20 0000144f: DUP1 00001450: SWAP2 00001451: DIV 00001452: MUL 00001453: PUSH1 0x20 00001455: ADD 00001456: PUSH1 0x40 00001458: MLOAD 00001459: SWAP1 0000145a: DUP2 0000145b: ADD 0000145c: PUSH1 0x40 0000145e: MSTORE 0000145f: DUP1 00001460: SWAP3 00001461: SWAP2 00001462: SWAP1 00001463: DUP2 00001464: DUP2 00001465: MSTORE 00001466: PUSH1 0x20 00001468: ADD 00001469: DUP3 0000146a: DUP1 0000146b: SLOAD 0000146c: PUSH1 0x01 0000146e: DUP2 0000146f: PUSH1 0x01 00001471: AND 00001472: ISZERO 00001473: PUSH2 0x0100 00001476: MUL 00001477: SUB 00001478: AND 00001479: PUSH1 0x02 0000147b: SWAP1 0000147c: DIV 0000147d: DUP1 0000147e: ISZERO 0000147f: PUSH2 0x14c9 00001482: JUMPI 00001483: DUP1 00001484: PUSH1 0x1f 00001486: LT 00001487: PUSH2 0x149e 0000148a: JUMPI 0000148b: PUSH2 0x0100 0000148e: DUP1 0000148f: DUP4 00001490: SLOAD 00001491: DIV 00001492: MUL 00001493: DUP4 00001494: MSTORE 00001495: SWAP2 00001496: PUSH1 0x20 00001498: ADD 00001499: SWAP2 0000149a: PUSH2 0x14c9 0000149d: JUMP 0000149e: JUMPDEST 0000149f: DUP3 000014a0: ADD 000014a1: SWAP2 000014a2: SWAP1 000014a3: PUSH1 0x00 000014a5: MSTORE 000014a6: PUSH1 0x20 000014a8: PUSH1 0x00 000014aa: KECCAK256 000014ab: SWAP1 000014ac: JUMPDEST 000014ad: DUP2 000014ae: SLOAD 000014af: DUP2 000014b0: MSTORE 000014b1: SWAP1 000014b2: PUSH1 0x01 000014b4: ADD 000014b5: SWAP1 000014b6: PUSH1 0x20 000014b8: ADD 000014b9: DUP1 000014ba: DUP4 000014bb: GT 000014bc: PUSH2 0x14ac 000014bf: JUMPI 000014c0: DUP3 000014c1: SWAP1 000014c2: SUB 000014c3: PUSH1 0x1f 000014c5: AND 000014c6: DUP3 000014c7: ADD 000014c8: SWAP2 000014c9: JUMPDEST 000014ca: POP 000014cb: POP 000014cc: POP 000014cd: POP 000014ce: POP 000014cf: SWAP8 000014d0: POP 000014d1: SWAP8 000014d2: POP 000014d3: SWAP8 000014d4: POP 000014d5: SWAP8 000014d6: POP 000014d7: SWAP8 000014d8: POP 000014d9: SWAP8 000014da: POP 000014db: SWAP8 000014dc: POP 000014dd: SWAP8 000014de: POP 000014df: SWAP8 000014e0: POP 000014e1: SWAP1 000014e2: SWAP2 000014e3: SWAP3 000014e4: SWAP4 000014e5: SWAP5 000014e6: SWAP6 000014e7: SWAP7 000014e8: SWAP8 000014e9: JUMP 000014ea: JUMPDEST 000014eb: PUSH1 0x0a 000014ed: DUP2 000014ee: DUP2 000014ef: SLOAD 000014f0: DUP2 000014f1: LT 000014f2: ISZERO 000014f3: ISZERO 000014f4: PUSH2 0x14f9 000014f7: JUMPI 000014f8: INVALID 000014f9: JUMPDEST 000014fa: SWAP1 000014fb: PUSH1 0x00 000014fd: MSTORE 000014fe: PUSH1 0x20 00001500: PUSH1 0x00 00001502: KECCAK256 00001503: SWAP1 00001504: ADD 00001505: PUSH1 0x00 00001507: SWAP2 00001508: POP 00001509: SLOAD 0000150a: SWAP1 0000150b: PUSH2 0x0100 0000150e: EXP 0000150f: SWAP1 00001510: DIV 00001511: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001526: AND 00001527: DUP2 00001528: JUMP 00001529: JUMPDEST 0000152a: PUSH1 0x00 0000152c: DUP1 0000152d: PUSH1 0x00 0000152f: PUSH2 0x1537 00001532: DUP6 00001533: PUSH2 0x0a6b 00001536: JUMP 00001537: JUMPDEST 00001538: ISZERO 00001539: PUSH2 0x1604 0000153c: JUMPI 0000153d: DUP5 0000153e: PUSH1 0x09 00001540: PUSH1 0x00 00001542: DUP8 00001543: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001558: AND 00001559: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000156e: AND 0000156f: DUP2 00001570: MSTORE 00001571: PUSH1 0x20 00001573: ADD 00001574: SWAP1 00001575: DUP2 00001576: MSTORE 00001577: PUSH1 0x20 00001579: ADD 0000157a: PUSH1 0x00 0000157c: KECCAK256 0000157d: DUP6 0000157e: DUP2 0000157f: SLOAD 00001580: DUP2 00001581: LT 00001582: ISZERO 00001583: ISZERO 00001584: PUSH2 0x1589 00001587: JUMPI 00001588: INVALID 00001589: JUMPDEST 0000158a: SWAP1 0000158b: PUSH1 0x00 0000158d: MSTORE 0000158e: PUSH1 0x20 00001590: PUSH1 0x00 00001592: KECCAK256 00001593: SWAP1 00001594: PUSH1 0x02 00001596: MUL 00001597: ADD 00001598: PUSH1 0x00 0000159a: ADD 0000159b: SLOAD 0000159c: PUSH1 0x09 0000159e: PUSH1 0x00 000015a0: DUP9 000015a1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015b6: AND 000015b7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015cc: AND 000015cd: DUP2 000015ce: MSTORE 000015cf: PUSH1 0x20 000015d1: ADD 000015d2: SWAP1 000015d3: DUP2 000015d4: MSTORE 000015d5: PUSH1 0x20 000015d7: ADD 000015d8: PUSH1 0x00 000015da: KECCAK256 000015db: DUP7 000015dc: DUP2 000015dd: SLOAD 000015de: DUP2 000015df: LT 000015e0: ISZERO 000015e1: ISZERO 000015e2: PUSH2 0x15e7 000015e5: JUMPI 000015e6: INVALID 000015e7: JUMPDEST 000015e8: SWAP1 000015e9: PUSH1 0x00 000015eb: MSTORE 000015ec: PUSH1 0x20 000015ee: PUSH1 0x00 000015f0: KECCAK256 000015f1: SWAP1 000015f2: PUSH1 0x02 000015f4: MUL 000015f5: ADD 000015f6: PUSH1 0x01 000015f8: ADD 000015f9: SLOAD 000015fa: SWAP3 000015fb: POP 000015fc: SWAP3 000015fd: POP 000015fe: SWAP3 000015ff: POP 00001600: PUSH2 0x1615 00001603: JUMP 00001604: JUMPDEST 00001605: DUP5 00001606: PUSH1 0x00 00001608: DUP1 00001609: DUP2 0000160a: SWAP2 0000160b: POP 0000160c: DUP1 0000160d: SWAP1 0000160e: POP 0000160f: SWAP3 00001610: POP 00001611: SWAP3 00001612: POP 00001613: SWAP3 00001614: POP 00001615: JUMPDEST 00001616: SWAP3 00001617: POP 00001618: SWAP3 00001619: POP 0000161a: SWAP3 0000161b: JUMP 0000161c: JUMPDEST 0000161d: PUSH1 0x00 0000161f: DUP1 00001620: PUSH1 0x00 00001622: PUSH1 0x04 00001624: SLOAD 00001625: TIMESTAMP 00001626: LT 00001627: ISZERO 00001628: ISZERO 00001629: ISZERO 0000162a: PUSH2 0x1632 0000162d: JUMPI 0000162e: PUSH1 0x00 00001630: DUP1 00001631: REVERT 00001632: JUMPDEST 00001633: PUSH32 0x5186edd9beca61d795526ca1f274260b3fc74be3e10e1f02e1be1552e14f1373 00001654: PUSH1 0x40 00001656: MLOAD 00001657: DUP1 00001658: DUP1 00001659: PUSH1 0x20 0000165b: ADD 0000165c: DUP3 0000165d: DUP2 0000165e: SUB 0000165f: DUP3 00001660: MSTORE 00001661: PUSH1 0x0f 00001663: DUP2 00001664: MSTORE 00001665: PUSH1 0x20 00001667: ADD 00001668: DUP1 00001669: PUSH32 0x5b62626578206f6e4661696c65645d0000000000000000000000000000000000 0000168a: DUP2 0000168b: MSTORE 0000168c: POP 0000168d: PUSH1 0x20 0000168f: ADD 00001690: SWAP2 00001691: POP 00001692: POP 00001693: PUSH1 0x40 00001695: MLOAD 00001696: DUP1 00001697: SWAP2 00001698: SUB 00001699: SWAP1 0000169a: LOG1 0000169b: PUSH1 0x01 0000169d: PUSH1 0x00 0000169f: SWAP1 000016a0: SLOAD 000016a1: SWAP1 000016a2: PUSH2 0x0100 000016a5: EXP 000016a6: SWAP1 000016a7: DIV 000016a8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016bd: AND 000016be: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016d3: AND 000016d4: CALLER 000016d5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016ea: AND 000016eb: EQ 000016ec: ISZERO 000016ed: ISZERO 000016ee: PUSH2 0x16f6 000016f1: JUMPI 000016f2: PUSH1 0x00 000016f4: DUP1 000016f5: REVERT 000016f6: JUMPDEST 000016f7: PUSH1 0x00 000016f9: PUSH1 0x08 000016fb: PUSH1 0x00 000016fd: SWAP1 000016fe: SLOAD 000016ff: SWAP1 00001700: PUSH2 0x0100 00001703: EXP 00001704: SWAP1 00001705: DIV 00001706: PUSH1 0xff 00001708: AND 00001709: PUSH1 0xff 0000170b: AND 0000170c: EQ 0000170d: ISZERO 0000170e: ISZERO 0000170f: PUSH2 0x1717 00001712: JUMPI 00001713: PUSH1 0x00 00001715: DUP1 00001716: REVERT 00001717: JUMPDEST 00001718: PUSH32 0x8d2f010d7151ccf313cb55b95d7ace7ed069908897080dba9d84c8380f7d1f55 00001739: PUSH1 0x00 0000173b: PUSH1 0x0b 0000173d: PUSH1 0x00 0000173f: PUSH1 0x40 00001741: MLOAD 00001742: DUP1 00001743: DUP5 00001744: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001759: AND 0000175a: DUP2 0000175b: MSTORE 0000175c: PUSH1 0x20 0000175e: ADD 0000175f: DUP4 00001760: DUP2 00001761: MSTORE 00001762: PUSH1 0x20 00001764: ADD 00001765: DUP3 00001766: ISZERO 00001767: ISZERO 00001768: ISZERO 00001769: ISZERO 0000176a: DUP2 0000176b: MSTORE 0000176c: PUSH1 0x20 0000176e: ADD 0000176f: SWAP4 00001770: POP 00001771: POP 00001772: POP 00001773: POP 00001774: PUSH1 0x40 00001776: MLOAD 00001777: DUP1 00001778: SWAP2 00001779: SUB 0000177a: SWAP1 0000177b: LOG1 0000177c: PUSH1 0x00 0000177e: SWAP2 0000177f: POP 00001780: JUMPDEST 00001781: PUSH1 0x0a 00001783: DUP1 00001784: SLOAD 00001785: SWAP1 00001786: POP 00001787: DUP3 00001788: LT 00001789: ISZERO 0000178a: PUSH2 0x1909 0000178d: JUMPI 0000178e: PUSH2 0x17d0 00001791: PUSH1 0x0a 00001793: DUP4 00001794: DUP2 00001795: SLOAD 00001796: DUP2 00001797: LT 00001798: ISZERO 00001799: ISZERO 0000179a: PUSH2 0x179f 0000179d: JUMPI 0000179e: INVALID 0000179f: JUMPDEST 000017a0: SWAP1 000017a1: PUSH1 0x00 000017a3: MSTORE 000017a4: PUSH1 0x20 000017a6: PUSH1 0x00 000017a8: KECCAK256 000017a9: SWAP1 000017aa: ADD 000017ab: PUSH1 0x00 000017ad: SWAP1 000017ae: SLOAD 000017af: SWAP1 000017b0: PUSH2 0x0100 000017b3: EXP 000017b4: SWAP1 000017b5: DIV 000017b6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000017cb: AND 000017cc: PUSH2 0x0d4d 000017cf: JUMP 000017d0: JUMPDEST 000017d1: SWAP1 000017d2: POP 000017d3: PUSH1 0x0a 000017d5: DUP3 000017d6: DUP2 000017d7: SLOAD 000017d8: DUP2 000017d9: LT 000017da: ISZERO 000017db: ISZERO 000017dc: PUSH2 0x17e1 000017df: JUMPI 000017e0: INVALID 000017e1: JUMPDEST 000017e2: SWAP1 000017e3: PUSH1 0x00 000017e5: MSTORE 000017e6: PUSH1 0x20 000017e8: PUSH1 0x00 000017ea: KECCAK256 000017eb: SWAP1 000017ec: ADD 000017ed: PUSH1 0x00 000017ef: SWAP1 000017f0: SLOAD 000017f1: SWAP1 000017f2: PUSH2 0x0100 000017f5: EXP 000017f6: SWAP1 000017f7: DIV 000017f8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000180d: AND 0000180e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001823: AND 00001824: PUSH2 0x08fc 00001827: DUP3 00001828: SWAP1 00001829: DUP2 0000182a: ISZERO 0000182b: MUL 0000182c: SWAP1 0000182d: PUSH1 0x40 0000182f: MLOAD 00001830: PUSH1 0x00 00001832: PUSH1 0x40 00001834: MLOAD 00001835: DUP1 00001836: DUP4 00001837: SUB 00001838: DUP2 00001839: DUP6 0000183a: DUP9 0000183b: DUP9 0000183c: CALL 0000183d: SWAP4 0000183e: POP 0000183f: POP 00001840: POP 00001841: POP 00001842: ISZERO 00001843: ISZERO 00001844: PUSH2 0x184c 00001847: JUMPI 00001848: PUSH1 0x00 0000184a: DUP1 0000184b: REVERT 0000184c: JUMPDEST 0000184d: PUSH32 0x8d2f010d7151ccf313cb55b95d7ace7ed069908897080dba9d84c8380f7d1f55 0000186e: PUSH1 0x0a 00001870: DUP4 00001871: DUP2 00001872: SLOAD 00001873: DUP2 00001874: LT 00001875: ISZERO 00001876: ISZERO 00001877: PUSH2 0x187c 0000187a: JUMPI 0000187b: INVALID 0000187c: JUMPDEST 0000187d: SWAP1 0000187e: PUSH1 0x00 00001880: MSTORE 00001881: PUSH1 0x20 00001883: PUSH1 0x00 00001885: KECCAK256 00001886: SWAP1 00001887: ADD 00001888: PUSH1 0x00 0000188a: SWAP1 0000188b: SLOAD 0000188c: SWAP1 0000188d: PUSH2 0x0100 00001890: EXP 00001891: SWAP1 00001892: DIV 00001893: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000018a8: AND 000018a9: DUP3 000018aa: PUSH1 0x00 000018ac: PUSH1 0x40 000018ae: MLOAD 000018af: DUP1 000018b0: DUP5 000018b1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000018c6: AND 000018c7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000018dc: AND 000018dd: DUP2 000018de: MSTORE 000018df: PUSH1 0x20 000018e1: ADD 000018e2: DUP4 000018e3: DUP2 000018e4: MSTORE 000018e5: PUSH1 0x20 000018e7: ADD 000018e8: DUP3 000018e9: ISZERO 000018ea: ISZERO 000018eb: ISZERO 000018ec: ISZERO 000018ed: DUP2 000018ee: MSTORE 000018ef: PUSH1 0x20 000018f1: ADD 000018f2: SWAP4 000018f3: POP 000018f4: POP 000018f5: POP 000018f6: POP 000018f7: PUSH1 0x40 000018f9: MLOAD 000018fa: DUP1 000018fb: SWAP2 000018fc: SUB 000018fd: SWAP1 000018fe: LOG1 000018ff: DUP2 00001900: PUSH1 0x01 00001902: ADD 00001903: SWAP2 00001904: POP 00001905: PUSH2 0x1780 00001908: JUMP 00001909: JUMPDEST 0000190a: PUSH1 0x02 0000190c: PUSH1 0x08 0000190e: PUSH1 0x00 00001910: PUSH2 0x0100 00001913: EXP 00001914: DUP2 00001915: SLOAD 00001916: DUP2 00001917: PUSH1 0xff 00001919: MUL 0000191a: NOT 0000191b: AND 0000191c: SWAP1 0000191d: DUP4 0000191e: PUSH1 0xff 00001920: AND 00001921: MUL 00001922: OR 00001923: SWAP1 00001924: SSTORE 00001925: POP 00001926: PUSH1 0x01 00001928: SWAP3 00001929: POP 0000192a: POP 0000192b: POP 0000192c: SWAP1 0000192d: JUMP 0000192e: JUMPDEST 0000192f: PUSH1 0x01 00001931: PUSH1 0x00 00001933: SWAP1 00001934: SLOAD 00001935: SWAP1 00001936: PUSH2 0x0100 00001939: EXP 0000193a: SWAP1 0000193b: DIV 0000193c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001951: AND 00001952: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001967: AND 00001968: CALLER 00001969: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000197e: AND 0000197f: EQ 00001980: ISZERO 00001981: ISZERO 00001982: PUSH2 0x198a 00001985: JUMPI 00001986: PUSH1 0x00 00001988: DUP1 00001989: REVERT 0000198a: JUMPDEST 0000198b: DUP1 0000198c: PUSH1 0x06 0000198e: DUP2 0000198f: SWAP1 00001990: SSTORE 00001991: POP 00001992: POP 00001993: JUMP 00001994: JUMPDEST 00001995: DUP2 00001996: SLOAD 00001997: DUP2 00001998: DUP4 00001999: SSTORE 0000199a: DUP2 0000199b: DUP2 0000199c: ISZERO 0000199d: GT 0000199e: PUSH2 0x19bb 000019a1: JUMPI 000019a2: DUP2 000019a3: DUP4 000019a4: PUSH1 0x00 000019a6: MSTORE 000019a7: PUSH1 0x20 000019a9: PUSH1 0x00 000019ab: KECCAK256 000019ac: SWAP2 000019ad: DUP3 000019ae: ADD 000019af: SWAP2 000019b0: ADD 000019b1: PUSH2 0x19ba 000019b4: SWAP2 000019b5: SWAP1 000019b6: PUSH2 0x1a06 000019b9: JUMP 000019ba: JUMPDEST 000019bb: JUMPDEST 000019bc: POP 000019bd: POP 000019be: POP 000019bf: JUMP 000019c0: JUMPDEST 000019c1: DUP2 000019c2: SLOAD 000019c3: DUP2 000019c4: DUP4 000019c5: SSTORE 000019c6: DUP2 000019c7: DUP2 000019c8: ISZERO 000019c9: GT 000019ca: PUSH2 0x19ed 000019cd: JUMPI 000019ce: PUSH1 0x02 000019d0: MUL 000019d1: DUP2 000019d2: PUSH1 0x02 000019d4: MUL 000019d5: DUP4 000019d6: PUSH1 0x00 000019d8: MSTORE 000019d9: PUSH1 0x20 000019db: PUSH1 0x00 000019dd: KECCAK256 000019de: SWAP2 000019df: DUP3 000019e0: ADD 000019e1: SWAP2 000019e2: ADD 000019e3: PUSH2 0x19ec 000019e6: SWAP2 000019e7: SWAP1 000019e8: PUSH2 0x1a2b 000019eb: JUMP 000019ec: JUMPDEST 000019ed: JUMPDEST 000019ee: POP 000019ef: POP 000019f0: POP 000019f1: JUMP 000019f2: JUMPDEST 000019f3: PUSH1 0x20 000019f5: PUSH1 0x40 000019f7: MLOAD 000019f8: SWAP1 000019f9: DUP2 000019fa: ADD 000019fb: PUSH1 0x40 000019fd: MSTORE 000019fe: DUP1 000019ff: PUSH1 0x00 00001a01: DUP2 00001a02: MSTORE 00001a03: POP 00001a04: SWAP1 00001a05: JUMP 00001a06: JUMPDEST 00001a07: PUSH2 0x1a28 00001a0a: SWAP2 00001a0b: SWAP1 00001a0c: JUMPDEST 00001a0d: DUP1 00001a0e: DUP3 00001a0f: GT 00001a10: ISZERO 00001a11: PUSH2 0x1a24 00001a14: JUMPI 00001a15: PUSH1 0x00 00001a17: DUP2 00001a18: PUSH1 0x00 00001a1a: SWAP1 00001a1b: SSTORE 00001a1c: POP 00001a1d: PUSH1 0x01 00001a1f: ADD 00001a20: PUSH2 0x1a0c 00001a23: JUMP 00001a24: JUMPDEST 00001a25: POP 00001a26: SWAP1 00001a27: JUMP 00001a28: JUMPDEST 00001a29: SWAP1 00001a2a: JUMP 00001a2b: JUMPDEST 00001a2c: PUSH2 0x1a57 00001a2f: SWAP2 00001a30: SWAP1 00001a31: JUMPDEST 00001a32: DUP1 00001a33: DUP3 00001a34: GT 00001a35: ISZERO 00001a36: PUSH2 0x1a53 00001a39: JUMPI 00001a3a: PUSH1 0x00 00001a3c: DUP1 00001a3d: DUP3 00001a3e: ADD 00001a3f: PUSH1 0x00 00001a41: SWAP1 00001a42: SSTORE 00001a43: PUSH1 0x01 00001a45: DUP3 00001a46: ADD 00001a47: PUSH1 0x00 00001a49: SWAP1 00001a4a: SSTORE 00001a4b: POP 00001a4c: PUSH1 0x02 00001a4e: ADD 00001a4f: PUSH2 0x1a31 00001a52: JUMP 00001a53: JUMPDEST 00001a54: POP 00001a55: SWAP1 00001a56: JUMP 00001a57: JUMPDEST 00001a58: SWAP1 00001a59: JUMP 00001a5a: STOP 00001a5b: LOG1 00001a5c: PUSH6 0x627a7a723058 00001a63: KECCAK256 00001a64: SWAP1 00001a65: LOG4 00001a66: UNKNOWN(0x2B) 00001a67: SDIV 00001a68: UNKNOWN(0xC2) 00001a69: CLZ 00001a6a: SWAP8 00001a6b: UNKNOWN(0xE6) 00001a6c: DUP9 00001a6d: BLOCKHASH 00001a6e: CLZ 00001a6f: PUSH22 0x7cbf198c8f062073c00da00bafc8889d5e69b0150029
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x0af55583f280ab3cf88a5ff1c5a264329f2a2f07c0f78d037d8a936d870f8697
call_targets:
0xb5f76141dfe10babbbd04d2a46a6e194b4888780
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x0af55583f280ab3cf88a5ff1c5a264329f2a2f07c0f78d037d8a936d870f8697",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xb5f76141dfe10babbbd04d2a46a6e194b4888780"
],
"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": "0x02fe2b41",
"selector": "0x02fe2b41",
"calldata_variants": [
"0x02fe2b41",
"0x02fe2b410000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0ac56e47",
"selector": "0x0ac56e47",
"calldata_variants": [
"0x0ac56e47",
"0x0ac56e470000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x195199f6",
"selector": "0x195199f6",
"calldata_variants": [
"0x195199f6",
"0x195199f60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1b08d96f",
"selector": "0x1b08d96f",
"calldata_variants": [
"0x1b08d96f",
"0x1b08d96f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x29dcb0cf",
"selector": "0x29dcb0cf",
"calldata_variants": [
"0x29dcb0cf",
"0x29dcb0cf0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x345556c1",
"selector": "0x345556c1",
"calldata_variants": [
"0x345556c1",
"0x345556c10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x36f0837b",
"selector": "0x36f0837b",
"calldata_variants": [
"0x36f0837b",
"0x36f0837b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3897,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4685,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 6204,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 3,
"guards_detected": [
{
"pc": 3615,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3973,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4106,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4411,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4989,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5844,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 6504,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 3
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x0af55583f280ab3cf88a5ff1c5a264329f2a2f07c0f78d037d8a936d870f8697
call_targets:
0xb5f76141dfe10babbbd04d2a46a6e194b4888780
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x0af55583f280ab3cf88a5ff1c5a264329f2a2f07c0f78d037d8a936d870f8697",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xb5f76141dfe10babbbd04d2a46a6e194b4888780"
],
"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": "0x02fe2b41",
"selector": "0x02fe2b41",
"calldata_variants": [
"0x02fe2b41",
"0x02fe2b410000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0ac56e47",
"selector": "0x0ac56e47",
"calldata_variants": [
"0x0ac56e47",
"0x0ac56e470000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x195199f6",
"selector": "0x195199f6",
"calldata_variants": [
"0x195199f6",
"0x195199f60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1b08d96f",
"selector": "0x1b08d96f",
"calldata_variants": [
"0x1b08d96f",
"0x1b08d96f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x29dcb0cf",
"selector": "0x29dcb0cf",
"calldata_variants": [
"0x29dcb0cf",
"0x29dcb0cf0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x345556c1",
"selector": "0x345556c1",
"calldata_variants": [
"0x345556c1",
"0x345556c10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x36f0837b",
"selector": "0x36f0837b",
"calldata_variants": [
"0x36f0837b",
"0x36f0837b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3897,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4685,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 6204,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 3,
"guards_detected": [
{
"pc": 3615,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3973,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4106,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4411,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4989,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5844,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 6504,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|