019b3844-959a-7243-9031-77ba01484272
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 |
|---|---|---|---|---|
| 13393 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 13394 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 84968 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 84969 | capability.graph | complete | 1 / 3 | 1 week ago |
| 84970 | detector.run | complete | 1 / 3 | 1 week ago |
| 84971 | 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 0x00dd 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x70ed0ada 00000019: GT 0000001a: PUSH2 0x007f 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x9f4216e8 00000024: GT 00000025: PUSH2 0x0059 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0x9f4216e8 0000002f: EQ 00000030: PUSH2 0x044c 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xa4bb170d 0000003a: EQ 0000003b: PUSH2 0x04c7 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xa543198b 00000045: EQ 00000046: PUSH2 0x04f2 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xa87430ba 00000050: EQ 00000051: PUSH2 0x04fc 00000054: JUMPI 00000055: PUSH2 0x00dd 00000058: JUMP 00000059: JUMPDEST 0000005a: DUP1 0000005b: PUSH4 0x70ed0ada 00000060: EQ 00000061: PUSH2 0x0383 00000064: JUMPI 00000065: DUP1 00000066: PUSH4 0x79378e30 0000006b: EQ 0000006c: PUSH2 0x03ae 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0x89b9abcc 00000076: EQ 00000077: PUSH2 0x03fd 0000007a: JUMPI 0000007b: PUSH2 0x00dd 0000007e: JUMP 0000007f: JUMPDEST 00000080: DUP1 00000081: PUSH4 0x2d774965 00000086: GT 00000087: PUSH2 0x00bb 0000008a: JUMPI 0000008b: DUP1 0000008c: PUSH4 0x2d774965 00000091: EQ 00000092: PUSH2 0x01e6 00000095: JUMPI 00000096: DUP1 00000097: PUSH4 0x4a4baa8f 0000009c: EQ 0000009d: PUSH2 0x0277 000000a0: JUMPI 000000a1: DUP1 000000a2: PUSH4 0x55345b37 000000a7: EQ 000000a8: PUSH2 0x031d 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0x6ec0c3a5 000000b2: EQ 000000b3: PUSH2 0x036c 000000b6: JUMPI 000000b7: PUSH2 0x00dd 000000ba: JUMP 000000bb: JUMPDEST 000000bc: DUP1 000000bd: PUSH4 0x0ac4caa7 000000c2: EQ 000000c3: PUSH2 0x00e2 000000c6: JUMPI 000000c7: DUP1 000000c8: PUSH4 0x1c0d42aa 000000cd: EQ 000000ce: PUSH2 0x014b 000000d1: JUMPI 000000d2: DUP1 000000d3: PUSH4 0x20f5e73a 000000d8: EQ 000000d9: PUSH2 0x01dc 000000dc: JUMPI 000000dd: JUMPDEST 000000de: PUSH1 0x00 000000e0: DUP1 000000e1: REVERT 000000e2: JUMPDEST 000000e3: CALLVALUE 000000e4: DUP1 000000e5: ISZERO 000000e6: PUSH2 0x00ee 000000e9: JUMPI 000000ea: PUSH1 0x00 000000ec: DUP1 000000ed: REVERT 000000ee: JUMPDEST 000000ef: POP 000000f0: PUSH2 0x0131 000000f3: PUSH1 0x04 000000f5: DUP1 000000f6: CALLDATASIZE 000000f7: SUB 000000f8: PUSH1 0x20 000000fa: DUP2 000000fb: LT 000000fc: ISZERO 000000fd: PUSH2 0x0105 00000100: JUMPI 00000101: PUSH1 0x00 00000103: DUP1 00000104: REVERT 00000105: JUMPDEST 00000106: DUP2 00000107: ADD 00000108: SWAP1 00000109: DUP1 0000010a: DUP1 0000010b: CALLDATALOAD 0000010c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000121: AND 00000122: SWAP1 00000123: PUSH1 0x20 00000125: ADD 00000126: SWAP1 00000127: SWAP3 00000128: SWAP2 00000129: SWAP1 0000012a: POP 0000012b: POP 0000012c: POP 0000012d: PUSH2 0x05ad 00000130: JUMP 00000131: JUMPDEST 00000132: PUSH1 0x40 00000134: MLOAD 00000135: DUP1 00000136: DUP3 00000137: ISZERO 00000138: ISZERO 00000139: ISZERO 0000013a: ISZERO 0000013b: DUP2 0000013c: MSTORE 0000013d: PUSH1 0x20 0000013f: ADD 00000140: SWAP2 00000141: POP 00000142: POP 00000143: PUSH1 0x40 00000145: MLOAD 00000146: DUP1 00000147: SWAP2 00000148: SUB 00000149: SWAP1 0000014a: RETURN 0000014b: JUMPDEST 0000014c: CALLVALUE 0000014d: DUP1 0000014e: ISZERO 0000014f: PUSH2 0x0157 00000152: JUMPI 00000153: PUSH1 0x00 00000155: DUP1 00000156: REVERT 00000157: JUMPDEST 00000158: POP 00000159: PUSH2 0x019a 0000015c: PUSH1 0x04 0000015e: DUP1 0000015f: CALLDATASIZE 00000160: SUB 00000161: PUSH1 0x20 00000163: DUP2 00000164: LT 00000165: ISZERO 00000166: PUSH2 0x016e 00000169: JUMPI 0000016a: PUSH1 0x00 0000016c: DUP1 0000016d: REVERT 0000016e: JUMPDEST 0000016f: DUP2 00000170: ADD 00000171: SWAP1 00000172: DUP1 00000173: DUP1 00000174: CALLDATALOAD 00000175: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000018a: AND 0000018b: SWAP1 0000018c: PUSH1 0x20 0000018e: ADD 0000018f: SWAP1 00000190: SWAP3 00000191: SWAP2 00000192: SWAP1 00000193: POP 00000194: POP 00000195: POP 00000196: PUSH2 0x0606 00000199: JUMP 0000019a: JUMPDEST 0000019b: PUSH1 0x40 0000019d: MLOAD 0000019e: DUP1 0000019f: DUP3 000001a0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001b5: AND 000001b6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001cb: AND 000001cc: DUP2 000001cd: MSTORE 000001ce: PUSH1 0x20 000001d0: ADD 000001d1: SWAP2 000001d2: POP 000001d3: POP 000001d4: PUSH1 0x40 000001d6: MLOAD 000001d7: DUP1 000001d8: SWAP2 000001d9: SUB 000001da: SWAP1 000001db: RETURN 000001dc: JUMPDEST 000001dd: PUSH2 0x01e4 000001e0: PUSH2 0x0ca1 000001e3: JUMP 000001e4: JUMPDEST 000001e5: STOP 000001e6: JUMPDEST 000001e7: CALLVALUE 000001e8: DUP1 000001e9: ISZERO 000001ea: PUSH2 0x01f2 000001ed: JUMPI 000001ee: PUSH1 0x00 000001f0: DUP1 000001f1: REVERT 000001f2: JUMPDEST 000001f3: POP 000001f4: PUSH2 0x0235 000001f7: PUSH1 0x04 000001f9: DUP1 000001fa: CALLDATASIZE 000001fb: SUB 000001fc: PUSH1 0x20 000001fe: DUP2 000001ff: LT 00000200: ISZERO 00000201: PUSH2 0x0209 00000204: JUMPI 00000205: PUSH1 0x00 00000207: DUP1 00000208: REVERT 00000209: JUMPDEST 0000020a: DUP2 0000020b: ADD 0000020c: SWAP1 0000020d: DUP1 0000020e: DUP1 0000020f: CALLDATALOAD 00000210: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000225: AND 00000226: SWAP1 00000227: PUSH1 0x20 00000229: ADD 0000022a: SWAP1 0000022b: SWAP3 0000022c: SWAP2 0000022d: SWAP1 0000022e: POP 0000022f: POP 00000230: POP 00000231: PUSH2 0x0ce2 00000234: JUMP 00000235: JUMPDEST 00000236: PUSH1 0x40 00000238: MLOAD 00000239: DUP1 0000023a: DUP3 0000023b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000250: AND 00000251: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000266: AND 00000267: DUP2 00000268: MSTORE 00000269: PUSH1 0x20 0000026b: ADD 0000026c: SWAP2 0000026d: POP 0000026e: POP 0000026f: PUSH1 0x40 00000271: MLOAD 00000272: DUP1 00000273: SWAP2 00000274: SUB 00000275: SWAP1 00000276: RETURN 00000277: JUMPDEST 00000278: CALLVALUE 00000279: DUP1 0000027a: ISZERO 0000027b: PUSH2 0x0283 0000027e: JUMPI 0000027f: PUSH1 0x00 00000281: DUP1 00000282: REVERT 00000283: JUMPDEST 00000284: POP 00000285: PUSH2 0x02c6 00000288: PUSH1 0x04 0000028a: DUP1 0000028b: CALLDATASIZE 0000028c: SUB 0000028d: PUSH1 0x20 0000028f: DUP2 00000290: LT 00000291: ISZERO 00000292: PUSH2 0x029a 00000295: JUMPI 00000296: PUSH1 0x00 00000298: DUP1 00000299: REVERT 0000029a: JUMPDEST 0000029b: DUP2 0000029c: ADD 0000029d: SWAP1 0000029e: DUP1 0000029f: DUP1 000002a0: CALLDATALOAD 000002a1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002b6: AND 000002b7: SWAP1 000002b8: PUSH1 0x20 000002ba: ADD 000002bb: SWAP1 000002bc: SWAP3 000002bd: SWAP2 000002be: SWAP1 000002bf: POP 000002c0: POP 000002c1: POP 000002c2: PUSH2 0x0d4e 000002c5: JUMP 000002c6: JUMPDEST 000002c7: PUSH1 0x40 000002c9: MLOAD 000002ca: DUP1 000002cb: DUP1 000002cc: PUSH1 0x20 000002ce: ADD 000002cf: DUP3 000002d0: DUP2 000002d1: SUB 000002d2: DUP3 000002d3: MSTORE 000002d4: DUP4 000002d5: DUP2 000002d6: DUP2 000002d7: MLOAD 000002d8: DUP2 000002d9: MSTORE 000002da: PUSH1 0x20 000002dc: ADD 000002dd: SWAP2 000002de: POP 000002df: DUP1 000002e0: MLOAD 000002e1: SWAP1 000002e2: PUSH1 0x20 000002e4: ADD 000002e5: SWAP1 000002e6: PUSH1 0x20 000002e8: MUL 000002e9: DUP1 000002ea: DUP4 000002eb: DUP4 000002ec: PUSH1 0x00 000002ee: JUMPDEST 000002ef: DUP4 000002f0: DUP2 000002f1: LT 000002f2: ISZERO 000002f3: PUSH2 0x0309 000002f6: JUMPI 000002f7: DUP1 000002f8: DUP3 000002f9: ADD 000002fa: MLOAD 000002fb: DUP2 000002fc: DUP5 000002fd: ADD 000002fe: MSTORE 000002ff: PUSH1 0x20 00000301: DUP2 00000302: ADD 00000303: SWAP1 00000304: POP 00000305: PUSH2 0x02ee 00000308: JUMP 00000309: JUMPDEST 0000030a: POP 0000030b: POP 0000030c: POP 0000030d: POP 0000030e: SWAP1 0000030f: POP 00000310: ADD 00000311: SWAP3 00000312: POP 00000313: POP 00000314: POP 00000315: PUSH1 0x40 00000317: MLOAD 00000318: DUP1 00000319: SWAP2 0000031a: SUB 0000031b: SWAP1 0000031c: RETURN 0000031d: JUMPDEST 0000031e: CALLVALUE 0000031f: DUP1 00000320: ISZERO 00000321: PUSH2 0x0329 00000324: JUMPI 00000325: PUSH1 0x00 00000327: DUP1 00000328: REVERT 00000329: JUMPDEST 0000032a: POP 0000032b: PUSH2 0x0356 0000032e: PUSH1 0x04 00000330: DUP1 00000331: CALLDATASIZE 00000332: SUB 00000333: PUSH1 0x20 00000335: DUP2 00000336: LT 00000337: ISZERO 00000338: PUSH2 0x0340 0000033b: JUMPI 0000033c: PUSH1 0x00 0000033e: DUP1 0000033f: REVERT 00000340: JUMPDEST 00000341: DUP2 00000342: ADD 00000343: SWAP1 00000344: DUP1 00000345: DUP1 00000346: CALLDATALOAD 00000347: SWAP1 00000348: PUSH1 0x20 0000034a: ADD 0000034b: SWAP1 0000034c: SWAP3 0000034d: SWAP2 0000034e: SWAP1 0000034f: POP 00000350: POP 00000351: POP 00000352: PUSH2 0x0e1e 00000355: JUMP 00000356: JUMPDEST 00000357: PUSH1 0x40 00000359: MLOAD 0000035a: DUP1 0000035b: DUP3 0000035c: DUP2 0000035d: MSTORE 0000035e: PUSH1 0x20 00000360: ADD 00000361: SWAP2 00000362: POP 00000363: POP 00000364: PUSH1 0x40 00000366: MLOAD 00000367: DUP1 00000368: SWAP2 00000369: SUB 0000036a: SWAP1 0000036b: RETURN 0000036c: JUMPDEST 0000036d: CALLVALUE 0000036e: DUP1 0000036f: ISZERO 00000370: PUSH2 0x0378 00000373: JUMPI 00000374: PUSH1 0x00 00000376: DUP1 00000377: REVERT 00000378: JUMPDEST 00000379: POP 0000037a: PUSH2 0x0381 0000037d: PUSH2 0x0e36 00000380: JUMP 00000381: JUMPDEST 00000382: STOP 00000383: JUMPDEST 00000384: CALLVALUE 00000385: DUP1 00000386: ISZERO 00000387: PUSH2 0x038f 0000038a: JUMPI 0000038b: PUSH1 0x00 0000038d: DUP1 0000038e: REVERT 0000038f: JUMPDEST 00000390: POP 00000391: PUSH2 0x0398 00000394: PUSH2 0x0fc2 00000397: JUMP 00000398: JUMPDEST 00000399: PUSH1 0x40 0000039b: MLOAD 0000039c: DUP1 0000039d: DUP3 0000039e: DUP2 0000039f: MSTORE 000003a0: PUSH1 0x20 000003a2: ADD 000003a3: SWAP2 000003a4: POP 000003a5: POP 000003a6: PUSH1 0x40 000003a8: MLOAD 000003a9: DUP1 000003aa: SWAP2 000003ab: SUB 000003ac: SWAP1 000003ad: RETURN 000003ae: JUMPDEST 000003af: CALLVALUE 000003b0: DUP1 000003b1: ISZERO 000003b2: PUSH2 0x03ba 000003b5: JUMPI 000003b6: PUSH1 0x00 000003b8: DUP1 000003b9: REVERT 000003ba: JUMPDEST 000003bb: POP 000003bc: PUSH2 0x03e7 000003bf: PUSH1 0x04 000003c1: DUP1 000003c2: CALLDATASIZE 000003c3: SUB 000003c4: PUSH1 0x20 000003c6: DUP2 000003c7: LT 000003c8: ISZERO 000003c9: PUSH2 0x03d1 000003cc: JUMPI 000003cd: PUSH1 0x00 000003cf: DUP1 000003d0: REVERT 000003d1: JUMPDEST 000003d2: DUP2 000003d3: ADD 000003d4: SWAP1 000003d5: DUP1 000003d6: DUP1 000003d7: CALLDATALOAD 000003d8: SWAP1 000003d9: PUSH1 0x20 000003db: ADD 000003dc: SWAP1 000003dd: SWAP3 000003de: SWAP2 000003df: SWAP1 000003e0: POP 000003e1: POP 000003e2: POP 000003e3: PUSH2 0x0fe1 000003e6: JUMP 000003e7: JUMPDEST 000003e8: PUSH1 0x40 000003ea: MLOAD 000003eb: DUP1 000003ec: DUP3 000003ed: DUP2 000003ee: MSTORE 000003ef: PUSH1 0x20 000003f1: ADD 000003f2: SWAP2 000003f3: POP 000003f4: POP 000003f5: PUSH1 0x40 000003f7: MLOAD 000003f8: DUP1 000003f9: SWAP2 000003fa: SUB 000003fb: SWAP1 000003fc: RETURN 000003fd: JUMPDEST 000003fe: CALLVALUE 000003ff: DUP1 00000400: ISZERO 00000401: PUSH2 0x0409 00000404: JUMPI 00000405: PUSH1 0x00 00000407: DUP1 00000408: REVERT 00000409: JUMPDEST 0000040a: POP 0000040b: PUSH2 0x0436 0000040e: PUSH1 0x04 00000410: DUP1 00000411: CALLDATASIZE 00000412: SUB 00000413: PUSH1 0x20 00000415: DUP2 00000416: LT 00000417: ISZERO 00000418: PUSH2 0x0420 0000041b: JUMPI 0000041c: PUSH1 0x00 0000041e: DUP1 0000041f: REVERT 00000420: JUMPDEST 00000421: DUP2 00000422: ADD 00000423: SWAP1 00000424: DUP1 00000425: DUP1 00000426: CALLDATALOAD 00000427: SWAP1 00000428: PUSH1 0x20 0000042a: ADD 0000042b: SWAP1 0000042c: SWAP3 0000042d: SWAP2 0000042e: SWAP1 0000042f: POP 00000430: POP 00000431: POP 00000432: PUSH2 0x0ff9 00000435: JUMP 00000436: JUMPDEST 00000437: PUSH1 0x40 00000439: MLOAD 0000043a: DUP1 0000043b: DUP3 0000043c: DUP2 0000043d: MSTORE 0000043e: PUSH1 0x20 00000440: ADD 00000441: SWAP2 00000442: POP 00000443: POP 00000444: PUSH1 0x40 00000446: MLOAD 00000447: DUP1 00000448: SWAP2 00000449: SUB 0000044a: SWAP1 0000044b: RETURN 0000044c: JUMPDEST 0000044d: CALLVALUE 0000044e: DUP1 0000044f: ISZERO 00000450: PUSH2 0x0458 00000453: JUMPI 00000454: PUSH1 0x00 00000456: DUP1 00000457: REVERT 00000458: JUMPDEST 00000459: POP 0000045a: PUSH2 0x0485 0000045d: PUSH1 0x04 0000045f: DUP1 00000460: CALLDATASIZE 00000461: SUB 00000462: PUSH1 0x20 00000464: DUP2 00000465: LT 00000466: ISZERO 00000467: PUSH2 0x046f 0000046a: JUMPI 0000046b: PUSH1 0x00 0000046d: DUP1 0000046e: REVERT 0000046f: JUMPDEST 00000470: DUP2 00000471: ADD 00000472: SWAP1 00000473: DUP1 00000474: DUP1 00000475: CALLDATALOAD 00000476: SWAP1 00000477: PUSH1 0x20 00000479: ADD 0000047a: SWAP1 0000047b: SWAP3 0000047c: SWAP2 0000047d: SWAP1 0000047e: POP 0000047f: POP 00000480: POP 00000481: PUSH2 0x1011 00000484: JUMP 00000485: JUMPDEST 00000486: PUSH1 0x40 00000488: MLOAD 00000489: DUP1 0000048a: DUP3 0000048b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004a0: AND 000004a1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004b6: AND 000004b7: DUP2 000004b8: MSTORE 000004b9: PUSH1 0x20 000004bb: ADD 000004bc: SWAP2 000004bd: POP 000004be: POP 000004bf: PUSH1 0x40 000004c1: MLOAD 000004c2: DUP1 000004c3: SWAP2 000004c4: SUB 000004c5: SWAP1 000004c6: RETURN 000004c7: JUMPDEST 000004c8: CALLVALUE 000004c9: DUP1 000004ca: ISZERO 000004cb: PUSH2 0x04d3 000004ce: JUMPI 000004cf: PUSH1 0x00 000004d1: DUP1 000004d2: REVERT 000004d3: JUMPDEST 000004d4: POP 000004d5: PUSH2 0x04dc 000004d8: PUSH2 0x1044 000004db: JUMP 000004dc: JUMPDEST 000004dd: PUSH1 0x40 000004df: MLOAD 000004e0: DUP1 000004e1: DUP3 000004e2: DUP2 000004e3: MSTORE 000004e4: PUSH1 0x20 000004e6: ADD 000004e7: SWAP2 000004e8: POP 000004e9: POP 000004ea: PUSH1 0x40 000004ec: MLOAD 000004ed: DUP1 000004ee: SWAP2 000004ef: SUB 000004f0: SWAP1 000004f1: RETURN 000004f2: JUMPDEST 000004f3: PUSH2 0x04fa 000004f6: PUSH2 0x104a 000004f9: JUMP 000004fa: JUMPDEST 000004fb: STOP 000004fc: JUMPDEST 000004fd: CALLVALUE 000004fe: DUP1 000004ff: ISZERO 00000500: PUSH2 0x0508 00000503: JUMPI 00000504: PUSH1 0x00 00000506: DUP1 00000507: REVERT 00000508: JUMPDEST 00000509: POP 0000050a: PUSH2 0x054b 0000050d: PUSH1 0x04 0000050f: DUP1 00000510: CALLDATASIZE 00000511: SUB 00000512: PUSH1 0x20 00000514: DUP2 00000515: LT 00000516: ISZERO 00000517: PUSH2 0x051f 0000051a: JUMPI 0000051b: PUSH1 0x00 0000051d: DUP1 0000051e: REVERT 0000051f: JUMPDEST 00000520: DUP2 00000521: ADD 00000522: SWAP1 00000523: DUP1 00000524: DUP1 00000525: CALLDATALOAD 00000526: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000053b: AND 0000053c: SWAP1 0000053d: PUSH1 0x20 0000053f: ADD 00000540: SWAP1 00000541: SWAP3 00000542: SWAP2 00000543: SWAP1 00000544: POP 00000545: POP 00000546: POP 00000547: PUSH2 0x1ad4 0000054a: JUMP 0000054b: JUMPDEST 0000054c: PUSH1 0x40 0000054e: MLOAD 0000054f: DUP1 00000550: DUP7 00000551: ISZERO 00000552: ISZERO 00000553: ISZERO 00000554: ISZERO 00000555: DUP2 00000556: MSTORE 00000557: PUSH1 0x20 00000559: ADD 0000055a: DUP6 0000055b: DUP2 0000055c: MSTORE 0000055d: PUSH1 0x20 0000055f: ADD 00000560: DUP5 00000561: DUP2 00000562: MSTORE 00000563: PUSH1 0x20 00000565: ADD 00000566: DUP4 00000567: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000057c: AND 0000057d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000592: AND 00000593: DUP2 00000594: MSTORE 00000595: PUSH1 0x20 00000597: ADD 00000598: DUP3 00000599: DUP2 0000059a: MSTORE 0000059b: PUSH1 0x20 0000059d: ADD 0000059e: SWAP6 0000059f: POP 000005a0: POP 000005a1: POP 000005a2: POP 000005a3: POP 000005a4: POP 000005a5: PUSH1 0x40 000005a7: MLOAD 000005a8: DUP1 000005a9: SWAP2 000005aa: SUB 000005ab: SWAP1 000005ac: RETURN 000005ad: JUMPDEST 000005ae: PUSH1 0x00 000005b0: PUSH1 0x06 000005b2: PUSH1 0x00 000005b4: DUP4 000005b5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005ca: AND 000005cb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005e0: AND 000005e1: DUP2 000005e2: MSTORE 000005e3: PUSH1 0x20 000005e5: ADD 000005e6: SWAP1 000005e7: DUP2 000005e8: MSTORE 000005e9: PUSH1 0x20 000005eb: ADD 000005ec: PUSH1 0x00 000005ee: KECCAK256 000005ef: PUSH1 0x00 000005f1: ADD 000005f2: PUSH1 0x00 000005f4: SWAP1 000005f5: SLOAD 000005f6: SWAP1 000005f7: PUSH2 0x0100 000005fa: EXP 000005fb: SWAP1 000005fc: DIV 000005fd: PUSH1 0xff 000005ff: AND 00000600: SWAP1 00000601: POP 00000602: SWAP2 00000603: SWAP1 00000604: POP 00000605: JUMP 00000606: JUMPDEST 00000607: PUSH1 0x00 00000609: PUSH1 0x02 0000060b: SLOAD 0000060c: PUSH1 0x06 0000060e: PUSH1 0x00 00000610: DUP5 00000611: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000626: AND 00000627: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000063c: AND 0000063d: DUP2 0000063e: MSTORE 0000063f: PUSH1 0x20 00000641: ADD 00000642: SWAP1 00000643: DUP2 00000644: MSTORE 00000645: PUSH1 0x20 00000647: ADD 00000648: PUSH1 0x00 0000064a: KECCAK256 0000064b: PUSH1 0x03 0000064d: ADD 0000064e: DUP1 0000064f: SLOAD 00000650: SWAP1 00000651: POP 00000652: LT 00000653: ISZERO 00000654: PUSH2 0x065f 00000657: JUMPI 00000658: DUP2 00000659: SWAP1 0000065a: POP 0000065b: PUSH2 0x0c9c 0000065e: JUMP 0000065f: JUMPDEST 00000660: PUSH1 0x60 00000662: PUSH1 0xbd 00000664: PUSH1 0x40 00000666: MLOAD 00000667: SWAP1 00000668: DUP1 00000669: DUP3 0000066a: MSTORE 0000066b: DUP1 0000066c: PUSH1 0x20 0000066e: MUL 0000066f: PUSH1 0x20 00000671: ADD 00000672: DUP3 00000673: ADD 00000674: PUSH1 0x40 00000676: MSTORE 00000677: DUP1 00000678: ISZERO 00000679: PUSH2 0x0691 0000067c: JUMPI 0000067d: DUP2 0000067e: PUSH1 0x20 00000680: ADD 00000681: PUSH1 0x20 00000683: DUP3 00000684: MUL 00000685: DUP1 00000686: CODESIZE 00000687: DUP4 00000688: CODECOPY 00000689: DUP1 0000068a: DUP3 0000068b: ADD 0000068c: SWAP2 0000068d: POP 0000068e: POP 0000068f: SWAP1 00000690: POP 00000691: JUMPDEST 00000692: POP 00000693: SWAP1 00000694: POP 00000695: PUSH1 0x00 00000697: DUP1 00000698: SWAP1 00000699: POP 0000069a: PUSH1 0x08 0000069c: SLOAD 0000069d: SWAP1 0000069e: POP 0000069f: PUSH1 0x06 000006a1: PUSH1 0x00 000006a3: DUP6 000006a4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006b9: AND 000006ba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006cf: AND 000006d0: DUP2 000006d1: MSTORE 000006d2: PUSH1 0x20 000006d4: ADD 000006d5: SWAP1 000006d6: DUP2 000006d7: MSTORE 000006d8: PUSH1 0x20 000006da: ADD 000006db: PUSH1 0x00 000006dd: KECCAK256 000006de: PUSH1 0x03 000006e0: ADD 000006e1: PUSH1 0x00 000006e3: DUP2 000006e4: SLOAD 000006e5: DUP2 000006e6: LT 000006e7: PUSH2 0x06ec 000006ea: JUMPI 000006eb: INVALID 000006ec: JUMPDEST 000006ed: SWAP1 000006ee: PUSH1 0x00 000006f0: MSTORE 000006f1: PUSH1 0x20 000006f3: PUSH1 0x00 000006f5: KECCAK256 000006f6: ADD 000006f7: PUSH1 0x00 000006f9: SWAP1 000006fa: SLOAD 000006fb: SWAP1 000006fc: PUSH2 0x0100 000006ff: EXP 00000700: SWAP1 00000701: DIV 00000702: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000717: AND 00000718: DUP3 00000719: PUSH1 0x00 0000071b: DUP2 0000071c: MLOAD 0000071d: DUP2 0000071e: LT 0000071f: PUSH2 0x0724 00000722: JUMPI 00000723: INVALID 00000724: JUMPDEST 00000725: PUSH1 0x20 00000727: MUL 00000728: PUSH1 0x20 0000072a: ADD 0000072b: ADD 0000072c: SWAP1 0000072d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000742: AND 00000743: SWAP1 00000744: DUP2 00000745: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000075a: AND 0000075b: DUP2 0000075c: MSTORE 0000075d: POP 0000075e: POP 0000075f: PUSH1 0x06 00000761: PUSH1 0x00 00000763: DUP6 00000764: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000779: AND 0000077a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000078f: AND 00000790: DUP2 00000791: MSTORE 00000792: PUSH1 0x20 00000794: ADD 00000795: SWAP1 00000796: DUP2 00000797: MSTORE 00000798: PUSH1 0x20 0000079a: ADD 0000079b: PUSH1 0x00 0000079d: KECCAK256 0000079e: PUSH1 0x03 000007a0: ADD 000007a1: PUSH1 0x01 000007a3: DUP2 000007a4: SLOAD 000007a5: DUP2 000007a6: LT 000007a7: PUSH2 0x07ac 000007aa: JUMPI 000007ab: INVALID 000007ac: JUMPDEST 000007ad: SWAP1 000007ae: PUSH1 0x00 000007b0: MSTORE 000007b1: PUSH1 0x20 000007b3: PUSH1 0x00 000007b5: KECCAK256 000007b6: ADD 000007b7: PUSH1 0x00 000007b9: SWAP1 000007ba: SLOAD 000007bb: SWAP1 000007bc: PUSH2 0x0100 000007bf: EXP 000007c0: SWAP1 000007c1: DIV 000007c2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007d7: AND 000007d8: DUP3 000007d9: PUSH1 0x01 000007db: DUP2 000007dc: MLOAD 000007dd: DUP2 000007de: LT 000007df: PUSH2 0x07e4 000007e2: JUMPI 000007e3: INVALID 000007e4: JUMPDEST 000007e5: PUSH1 0x20 000007e7: MUL 000007e8: PUSH1 0x20 000007ea: ADD 000007eb: ADD 000007ec: SWAP1 000007ed: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000802: AND 00000803: SWAP1 00000804: DUP2 00000805: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000081a: AND 0000081b: DUP2 0000081c: MSTORE 0000081d: POP 0000081e: POP 0000081f: PUSH1 0x06 00000821: PUSH1 0x00 00000823: DUP6 00000824: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000839: AND 0000083a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000084f: AND 00000850: DUP2 00000851: MSTORE 00000852: PUSH1 0x20 00000854: ADD 00000855: SWAP1 00000856: DUP2 00000857: MSTORE 00000858: PUSH1 0x20 0000085a: ADD 0000085b: PUSH1 0x00 0000085d: KECCAK256 0000085e: PUSH1 0x03 00000860: ADD 00000861: PUSH1 0x02 00000863: DUP2 00000864: SLOAD 00000865: DUP2 00000866: LT 00000867: PUSH2 0x086c 0000086a: JUMPI 0000086b: INVALID 0000086c: JUMPDEST 0000086d: SWAP1 0000086e: PUSH1 0x00 00000870: MSTORE 00000871: PUSH1 0x20 00000873: PUSH1 0x00 00000875: KECCAK256 00000876: ADD 00000877: PUSH1 0x00 00000879: SWAP1 0000087a: SLOAD 0000087b: SWAP1 0000087c: PUSH2 0x0100 0000087f: EXP 00000880: SWAP1 00000881: DIV 00000882: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000897: AND 00000898: DUP3 00000899: PUSH1 0x02 0000089b: DUP2 0000089c: MLOAD 0000089d: DUP2 0000089e: LT 0000089f: PUSH2 0x08a4 000008a2: JUMPI 000008a3: INVALID 000008a4: JUMPDEST 000008a5: PUSH1 0x20 000008a7: MUL 000008a8: PUSH1 0x20 000008aa: ADD 000008ab: ADD 000008ac: SWAP1 000008ad: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008c2: AND 000008c3: SWAP1 000008c4: DUP2 000008c5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008da: AND 000008db: DUP2 000008dc: MSTORE 000008dd: POP 000008de: POP 000008df: PUSH1 0x00 000008e1: DUP1 000008e2: PUSH1 0x01 000008e4: SWAP1 000008e5: POP 000008e6: PUSH1 0x00 000008e8: DUP1 000008e9: SWAP1 000008ea: POP 000008eb: JUMPDEST 000008ec: PUSH1 0xbd 000008ee: DUP2 000008ef: LT 000008f0: ISZERO 000008f1: PUSH2 0x0c1f 000008f4: JUMPI 000008f5: PUSH1 0x02 000008f7: SLOAD 000008f8: PUSH1 0x06 000008fa: PUSH1 0x00 000008fc: DUP8 000008fd: DUP5 000008fe: DUP2 000008ff: MLOAD 00000900: DUP2 00000901: LT 00000902: PUSH2 0x0907 00000905: JUMPI 00000906: INVALID 00000907: JUMPDEST 00000908: PUSH1 0x20 0000090a: MUL 0000090b: PUSH1 0x20 0000090d: ADD 0000090e: ADD 0000090f: MLOAD 00000910: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000925: AND 00000926: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000093b: AND 0000093c: DUP2 0000093d: MSTORE 0000093e: PUSH1 0x20 00000940: ADD 00000941: SWAP1 00000942: DUP2 00000943: MSTORE 00000944: PUSH1 0x20 00000946: ADD 00000947: PUSH1 0x00 00000949: KECCAK256 0000094a: PUSH1 0x03 0000094c: ADD 0000094d: DUP1 0000094e: SLOAD 0000094f: SWAP1 00000950: POP 00000951: EQ 00000952: ISZERO 00000953: PUSH2 0x0bf3 00000956: JUMPI 00000957: PUSH1 0x3e 00000959: DUP2 0000095a: LT 0000095b: ISZERO 0000095c: PUSH2 0x0bee 0000095f: JUMPI 00000960: PUSH1 0x06 00000962: PUSH1 0x00 00000964: DUP7 00000965: DUP4 00000966: DUP2 00000967: MLOAD 00000968: DUP2 00000969: LT 0000096a: PUSH2 0x096f 0000096d: JUMPI 0000096e: INVALID 0000096f: JUMPDEST 00000970: PUSH1 0x20 00000972: MUL 00000973: PUSH1 0x20 00000975: ADD 00000976: ADD 00000977: MLOAD 00000978: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000098d: AND 0000098e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009a3: AND 000009a4: DUP2 000009a5: MSTORE 000009a6: PUSH1 0x20 000009a8: ADD 000009a9: SWAP1 000009aa: DUP2 000009ab: MSTORE 000009ac: PUSH1 0x20 000009ae: ADD 000009af: PUSH1 0x00 000009b1: KECCAK256 000009b2: PUSH1 0x03 000009b4: ADD 000009b5: PUSH1 0x00 000009b7: DUP2 000009b8: SLOAD 000009b9: DUP2 000009ba: LT 000009bb: PUSH2 0x09c0 000009be: JUMPI 000009bf: INVALID 000009c0: JUMPDEST 000009c1: SWAP1 000009c2: PUSH1 0x00 000009c4: MSTORE 000009c5: PUSH1 0x20 000009c7: PUSH1 0x00 000009c9: KECCAK256 000009ca: ADD 000009cb: PUSH1 0x00 000009cd: SWAP1 000009ce: SLOAD 000009cf: SWAP1 000009d0: PUSH2 0x0100 000009d3: EXP 000009d4: SWAP1 000009d5: DIV 000009d6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009eb: AND 000009ec: DUP6 000009ed: PUSH1 0x03 000009ef: PUSH1 0x01 000009f1: DUP5 000009f2: ADD 000009f3: MUL 000009f4: DUP2 000009f5: MLOAD 000009f6: DUP2 000009f7: LT 000009f8: PUSH2 0x09fd 000009fb: JUMPI 000009fc: INVALID 000009fd: JUMPDEST 000009fe: PUSH1 0x20 00000a00: MUL 00000a01: PUSH1 0x20 00000a03: ADD 00000a04: ADD 00000a05: SWAP1 00000a06: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a1b: AND 00000a1c: SWAP1 00000a1d: DUP2 00000a1e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a33: AND 00000a34: DUP2 00000a35: MSTORE 00000a36: POP 00000a37: POP 00000a38: PUSH1 0x06 00000a3a: PUSH1 0x00 00000a3c: DUP7 00000a3d: DUP4 00000a3e: DUP2 00000a3f: MLOAD 00000a40: DUP2 00000a41: LT 00000a42: PUSH2 0x0a47 00000a45: JUMPI 00000a46: INVALID 00000a47: JUMPDEST 00000a48: PUSH1 0x20 00000a4a: MUL 00000a4b: PUSH1 0x20 00000a4d: ADD 00000a4e: ADD 00000a4f: MLOAD 00000a50: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a65: AND 00000a66: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a7b: AND 00000a7c: DUP2 00000a7d: MSTORE 00000a7e: PUSH1 0x20 00000a80: ADD 00000a81: SWAP1 00000a82: DUP2 00000a83: MSTORE 00000a84: PUSH1 0x20 00000a86: ADD 00000a87: PUSH1 0x00 00000a89: KECCAK256 00000a8a: PUSH1 0x03 00000a8c: ADD 00000a8d: PUSH1 0x01 00000a8f: DUP2 00000a90: SLOAD 00000a91: DUP2 00000a92: LT 00000a93: PUSH2 0x0a98 00000a96: JUMPI 00000a97: INVALID 00000a98: JUMPDEST 00000a99: SWAP1 00000a9a: PUSH1 0x00 00000a9c: MSTORE 00000a9d: PUSH1 0x20 00000a9f: PUSH1 0x00 00000aa1: KECCAK256 00000aa2: ADD 00000aa3: PUSH1 0x00 00000aa5: SWAP1 00000aa6: SLOAD 00000aa7: SWAP1 00000aa8: PUSH2 0x0100 00000aab: EXP 00000aac: SWAP1 00000aad: DIV 00000aae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ac3: AND 00000ac4: DUP6 00000ac5: PUSH1 0x01 00000ac7: PUSH1 0x03 00000ac9: PUSH1 0x01 00000acb: DUP6 00000acc: ADD 00000acd: MUL 00000ace: ADD 00000acf: DUP2 00000ad0: MLOAD 00000ad1: DUP2 00000ad2: LT 00000ad3: PUSH2 0x0ad8 00000ad6: JUMPI 00000ad7: INVALID 00000ad8: JUMPDEST 00000ad9: PUSH1 0x20 00000adb: MUL 00000adc: PUSH1 0x20 00000ade: ADD 00000adf: ADD 00000ae0: SWAP1 00000ae1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000af6: AND 00000af7: SWAP1 00000af8: DUP2 00000af9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b0e: AND 00000b0f: DUP2 00000b10: MSTORE 00000b11: POP 00000b12: POP 00000b13: PUSH1 0x06 00000b15: PUSH1 0x00 00000b17: DUP7 00000b18: DUP4 00000b19: DUP2 00000b1a: MLOAD 00000b1b: DUP2 00000b1c: LT 00000b1d: PUSH2 0x0b22 00000b20: JUMPI 00000b21: INVALID 00000b22: JUMPDEST 00000b23: PUSH1 0x20 00000b25: MUL 00000b26: PUSH1 0x20 00000b28: ADD 00000b29: ADD 00000b2a: MLOAD 00000b2b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b40: AND 00000b41: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b56: AND 00000b57: DUP2 00000b58: MSTORE 00000b59: PUSH1 0x20 00000b5b: ADD 00000b5c: SWAP1 00000b5d: DUP2 00000b5e: MSTORE 00000b5f: PUSH1 0x20 00000b61: ADD 00000b62: PUSH1 0x00 00000b64: KECCAK256 00000b65: PUSH1 0x03 00000b67: ADD 00000b68: PUSH1 0x02 00000b6a: DUP2 00000b6b: SLOAD 00000b6c: DUP2 00000b6d: LT 00000b6e: PUSH2 0x0b73 00000b71: JUMPI 00000b72: INVALID 00000b73: JUMPDEST 00000b74: SWAP1 00000b75: PUSH1 0x00 00000b77: MSTORE 00000b78: PUSH1 0x20 00000b7a: PUSH1 0x00 00000b7c: KECCAK256 00000b7d: ADD 00000b7e: PUSH1 0x00 00000b80: SWAP1 00000b81: SLOAD 00000b82: SWAP1 00000b83: PUSH2 0x0100 00000b86: EXP 00000b87: SWAP1 00000b88: DIV 00000b89: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b9e: AND 00000b9f: DUP6 00000ba0: PUSH1 0x02 00000ba2: PUSH1 0x03 00000ba4: PUSH1 0x01 00000ba6: DUP6 00000ba7: ADD 00000ba8: MUL 00000ba9: ADD 00000baa: DUP2 00000bab: MLOAD 00000bac: DUP2 00000bad: LT 00000bae: PUSH2 0x0bb3 00000bb1: JUMPI 00000bb2: INVALID 00000bb3: JUMPDEST 00000bb4: PUSH1 0x20 00000bb6: MUL 00000bb7: PUSH1 0x20 00000bb9: ADD 00000bba: ADD 00000bbb: SWAP1 00000bbc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bd1: AND 00000bd2: SWAP1 00000bd3: DUP2 00000bd4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000be9: AND 00000bea: DUP2 00000beb: MSTORE 00000bec: POP 00000bed: POP 00000bee: JUMPDEST 00000bef: PUSH2 0x0c12 00000bf2: JUMP 00000bf3: JUMPDEST 00000bf4: PUSH1 0x00 00000bf6: SWAP2 00000bf7: POP 00000bf8: DUP5 00000bf9: DUP2 00000bfa: DUP2 00000bfb: MLOAD 00000bfc: DUP2 00000bfd: LT 00000bfe: PUSH2 0x0c03 00000c01: JUMPI 00000c02: INVALID 00000c03: JUMPDEST 00000c04: PUSH1 0x20 00000c06: MUL 00000c07: PUSH1 0x20 00000c09: ADD 00000c0a: ADD 00000c0b: MLOAD 00000c0c: SWAP3 00000c0d: POP 00000c0e: PUSH2 0x0c1f 00000c11: JUMP 00000c12: JUMPDEST 00000c13: DUP1 00000c14: DUP1 00000c15: PUSH1 0x01 00000c17: ADD 00000c18: SWAP2 00000c19: POP 00000c1a: POP 00000c1b: PUSH2 0x08eb 00000c1e: JUMP 00000c1f: JUMPDEST 00000c20: POP 00000c21: DUP1 00000c22: ISZERO 00000c23: PUSH2 0x0c94 00000c26: JUMPI 00000c27: PUSH1 0x40 00000c29: MLOAD 00000c2a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000c4b: DUP2 00000c4c: MSTORE 00000c4d: PUSH1 0x04 00000c4f: ADD 00000c50: DUP1 00000c51: DUP1 00000c52: PUSH1 0x20 00000c54: ADD 00000c55: DUP3 00000c56: DUP2 00000c57: SUB 00000c58: DUP3 00000c59: MSTORE 00000c5a: PUSH1 0x10 00000c5c: DUP2 00000c5d: MSTORE 00000c5e: PUSH1 0x20 00000c60: ADD 00000c61: DUP1 00000c62: PUSH32 0x4e6f204672656520526566657272657200000000000000000000000000000000 00000c83: DUP2 00000c84: MSTORE 00000c85: POP 00000c86: PUSH1 0x20 00000c88: ADD 00000c89: SWAP2 00000c8a: POP 00000c8b: POP 00000c8c: PUSH1 0x40 00000c8e: MLOAD 00000c8f: DUP1 00000c90: SWAP2 00000c91: SUB 00000c92: SWAP1 00000c93: REVERT 00000c94: JUMPDEST 00000c95: DUP2 00000c96: SWAP5 00000c97: POP 00000c98: POP 00000c99: POP 00000c9a: POP 00000c9b: POP 00000c9c: JUMPDEST 00000c9d: SWAP2 00000c9e: SWAP1 00000c9f: POP 00000ca0: JUMP 00000ca1: JUMPDEST 00000ca2: PUSH32 0x788751843d5b00335b64d8c05189e4a4d9dd9abad2a097ba42ddd0ba43b8cb5e 00000cc3: CALLVALUE 00000cc4: TIMESTAMP 00000cc5: PUSH1 0x40 00000cc7: MLOAD 00000cc8: DUP1 00000cc9: DUP4 00000cca: DUP2 00000ccb: MSTORE 00000ccc: PUSH1 0x20 00000cce: ADD 00000ccf: DUP3 00000cd0: DUP2 00000cd1: MSTORE 00000cd2: PUSH1 0x20 00000cd4: ADD 00000cd5: SWAP3 00000cd6: POP 00000cd7: POP 00000cd8: POP 00000cd9: PUSH1 0x40 00000cdb: MLOAD 00000cdc: DUP1 00000cdd: SWAP2 00000cde: SUB 00000cdf: SWAP1 00000ce0: LOG1 00000ce1: JUMP 00000ce2: JUMPDEST 00000ce3: PUSH1 0x00 00000ce5: PUSH1 0x06 00000ce7: PUSH1 0x00 00000ce9: DUP4 00000cea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cff: AND 00000d00: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d15: AND 00000d16: DUP2 00000d17: MSTORE 00000d18: PUSH1 0x20 00000d1a: ADD 00000d1b: SWAP1 00000d1c: DUP2 00000d1d: MSTORE 00000d1e: PUSH1 0x20 00000d20: ADD 00000d21: PUSH1 0x00 00000d23: KECCAK256 00000d24: PUSH1 0x04 00000d26: ADD 00000d27: PUSH1 0x00 00000d29: SWAP1 00000d2a: SLOAD 00000d2b: SWAP1 00000d2c: PUSH2 0x0100 00000d2f: EXP 00000d30: SWAP1 00000d31: DIV 00000d32: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d47: AND 00000d48: SWAP1 00000d49: POP 00000d4a: SWAP2 00000d4b: SWAP1 00000d4c: POP 00000d4d: JUMP 00000d4e: JUMPDEST 00000d4f: PUSH1 0x60 00000d51: PUSH1 0x06 00000d53: PUSH1 0x00 00000d55: DUP4 00000d56: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d6b: AND 00000d6c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d81: AND 00000d82: DUP2 00000d83: MSTORE 00000d84: PUSH1 0x20 00000d86: ADD 00000d87: SWAP1 00000d88: DUP2 00000d89: MSTORE 00000d8a: PUSH1 0x20 00000d8c: ADD 00000d8d: PUSH1 0x00 00000d8f: KECCAK256 00000d90: PUSH1 0x03 00000d92: ADD 00000d93: DUP1 00000d94: SLOAD 00000d95: DUP1 00000d96: PUSH1 0x20 00000d98: MUL 00000d99: PUSH1 0x20 00000d9b: ADD 00000d9c: PUSH1 0x40 00000d9e: MLOAD 00000d9f: SWAP1 00000da0: DUP2 00000da1: ADD 00000da2: PUSH1 0x40 00000da4: MSTORE 00000da5: DUP1 00000da6: SWAP3 00000da7: SWAP2 00000da8: SWAP1 00000da9: DUP2 00000daa: DUP2 00000dab: MSTORE 00000dac: PUSH1 0x20 00000dae: ADD 00000daf: DUP3 00000db0: DUP1 00000db1: SLOAD 00000db2: DUP1 00000db3: ISZERO 00000db4: PUSH2 0x0e12 00000db7: JUMPI 00000db8: PUSH1 0x20 00000dba: MUL 00000dbb: DUP3 00000dbc: ADD 00000dbd: SWAP2 00000dbe: SWAP1 00000dbf: PUSH1 0x00 00000dc1: MSTORE 00000dc2: PUSH1 0x20 00000dc4: PUSH1 0x00 00000dc6: KECCAK256 00000dc7: SWAP1 00000dc8: JUMPDEST 00000dc9: DUP2 00000dca: PUSH1 0x00 00000dcc: SWAP1 00000dcd: SLOAD 00000dce: SWAP1 00000dcf: PUSH2 0x0100 00000dd2: EXP 00000dd3: SWAP1 00000dd4: DIV 00000dd5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000dea: AND 00000deb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e00: AND 00000e01: DUP2 00000e02: MSTORE 00000e03: PUSH1 0x20 00000e05: ADD 00000e06: SWAP1 00000e07: PUSH1 0x01 00000e09: ADD 00000e0a: SWAP1 00000e0b: DUP1 00000e0c: DUP4 00000e0d: GT 00000e0e: PUSH2 0x0dc8 00000e11: JUMPI 00000e12: JUMPDEST 00000e13: POP 00000e14: POP 00000e15: POP 00000e16: POP 00000e17: POP 00000e18: SWAP1 00000e19: POP 00000e1a: SWAP2 00000e1b: SWAP1 00000e1c: POP 00000e1d: JUMP 00000e1e: JUMPDEST 00000e1f: PUSH1 0x04 00000e21: PUSH1 0x20 00000e23: MSTORE 00000e24: DUP1 00000e25: PUSH1 0x00 00000e27: MSTORE 00000e28: PUSH1 0x40 00000e2a: PUSH1 0x00 00000e2c: KECCAK256 00000e2d: PUSH1 0x00 00000e2f: SWAP2 00000e30: POP 00000e31: SWAP1 00000e32: POP 00000e33: SLOAD 00000e34: DUP2 00000e35: JUMP 00000e36: JUMPDEST 00000e37: PUSH1 0x01 00000e39: PUSH1 0x00 00000e3b: SWAP1 00000e3c: SLOAD 00000e3d: SWAP1 00000e3e: PUSH2 0x0100 00000e41: EXP 00000e42: SWAP1 00000e43: DIV 00000e44: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e59: AND 00000e5a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e6f: AND 00000e70: CALLER 00000e71: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e86: AND 00000e87: EQ 00000e88: PUSH2 0x0ef9 00000e8b: JUMPI 00000e8c: PUSH1 0x40 00000e8e: MLOAD 00000e8f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000eb0: DUP2 00000eb1: MSTORE 00000eb2: PUSH1 0x04 00000eb4: ADD 00000eb5: DUP1 00000eb6: DUP1 00000eb7: PUSH1 0x20 00000eb9: ADD 00000eba: DUP3 00000ebb: DUP2 00000ebc: SUB 00000ebd: DUP3 00000ebe: MSTORE 00000ebf: PUSH1 0x16 00000ec1: DUP2 00000ec2: MSTORE 00000ec3: PUSH1 0x20 00000ec5: ADD 00000ec6: DUP1 00000ec7: PUSH32 0x596f7520617265206e6f7420617574686f72697a656400000000000000000000 00000ee8: DUP2 00000ee9: MSTORE 00000eea: POP 00000eeb: PUSH1 0x20 00000eed: ADD 00000eee: SWAP2 00000eef: POP 00000ef0: POP 00000ef1: PUSH1 0x40 00000ef3: MLOAD 00000ef4: DUP1 00000ef5: SWAP2 00000ef6: SUB 00000ef7: SWAP1 00000ef8: REVERT 00000ef9: JUMPDEST 00000efa: PUSH1 0x01 00000efc: PUSH1 0x00 00000efe: SWAP1 00000eff: SLOAD 00000f00: SWAP1 00000f01: PUSH2 0x0100 00000f04: EXP 00000f05: SWAP1 00000f06: DIV 00000f07: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f1c: AND 00000f1d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f32: AND 00000f33: CALLER 00000f34: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f49: AND 00000f4a: EQ 00000f4b: ISZERO 00000f4c: PUSH2 0x0fc0 00000f4f: JUMPI 00000f50: PUSH1 0x00 00000f52: PUSH2 0x0f59 00000f55: PUSH2 0x0fc2 00000f58: JUMP 00000f59: JUMPDEST 00000f5a: GT 00000f5b: ISZERO 00000f5c: PUSH2 0x0fbf 00000f5f: JUMPI 00000f60: PUSH1 0x01 00000f62: PUSH1 0x00 00000f64: SWAP1 00000f65: SLOAD 00000f66: SWAP1 00000f67: PUSH2 0x0100 00000f6a: EXP 00000f6b: SWAP1 00000f6c: DIV 00000f6d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f82: AND 00000f83: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f98: AND 00000f99: PUSH2 0x08fc 00000f9c: PUSH2 0x0fa3 00000f9f: PUSH2 0x0fc2 00000fa2: JUMP 00000fa3: JUMPDEST 00000fa4: SWAP1 00000fa5: DUP2 00000fa6: ISZERO 00000fa7: MUL 00000fa8: SWAP1 00000fa9: PUSH1 0x40 00000fab: MLOAD 00000fac: PUSH1 0x00 00000fae: PUSH1 0x40 00000fb0: MLOAD 00000fb1: DUP1 00000fb2: DUP4 00000fb3: SUB 00000fb4: DUP2 00000fb5: DUP6 00000fb6: DUP9 00000fb7: DUP9 00000fb8: CALL 00000fb9: SWAP4 00000fba: POP 00000fbb: POP 00000fbc: POP 00000fbd: POP 00000fbe: POP 00000fbf: JUMPDEST 00000fc0: JUMPDEST 00000fc1: JUMP 00000fc2: JUMPDEST 00000fc3: PUSH1 0x00 00000fc5: ADDRESS 00000fc6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fdb: AND 00000fdc: BALANCE 00000fdd: SWAP1 00000fde: POP 00000fdf: SWAP1 00000fe0: JUMP 00000fe1: JUMPDEST 00000fe2: PUSH1 0x05 00000fe4: PUSH1 0x20 00000fe6: MSTORE 00000fe7: DUP1 00000fe8: PUSH1 0x00 00000fea: MSTORE 00000feb: PUSH1 0x40 00000fed: PUSH1 0x00 00000fef: KECCAK256 00000ff0: PUSH1 0x00 00000ff2: SWAP2 00000ff3: POP 00000ff4: SWAP1 00000ff5: POP 00000ff6: SLOAD 00000ff7: DUP2 00000ff8: JUMP 00000ff9: JUMPDEST 00000ffa: PUSH1 0x03 00000ffc: PUSH1 0x20 00000ffe: MSTORE 00000fff: DUP1 00001000: PUSH1 0x00 00001002: MSTORE 00001003: PUSH1 0x40 00001005: PUSH1 0x00 00001007: KECCAK256 00001008: PUSH1 0x00 0000100a: SWAP2 0000100b: POP 0000100c: SWAP1 0000100d: POP 0000100e: SLOAD 0000100f: DUP2 00001010: JUMP 00001011: JUMPDEST 00001012: PUSH1 0x07 00001014: PUSH1 0x20 00001016: MSTORE 00001017: DUP1 00001018: PUSH1 0x00 0000101a: MSTORE 0000101b: PUSH1 0x40 0000101d: PUSH1 0x00 0000101f: KECCAK256 00001020: PUSH1 0x00 00001022: SWAP2 00001023: POP 00001024: SLOAD 00001025: SWAP1 00001026: PUSH2 0x0100 00001029: EXP 0000102a: SWAP1 0000102b: DIV 0000102c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001041: AND 00001042: DUP2 00001043: JUMP 00001044: JUMPDEST 00001045: PUSH1 0x08 00001047: SLOAD 00001048: DUP2 00001049: JUMP 0000104a: JUMPDEST 0000104b: PUSH1 0x00 0000104d: DUP1 0000104e: PUSH1 0x00 00001050: SWAP1 00001051: SLOAD 00001052: SWAP1 00001053: PUSH2 0x0100 00001056: EXP 00001057: SWAP1 00001058: DIV 00001059: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000106e: AND 0000106f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001084: AND 00001085: PUSH4 0x4a4baa8f 0000108a: CALLER 0000108b: PUSH1 0x40 0000108d: MLOAD 0000108e: DUP3 0000108f: PUSH4 0xffffffff 00001094: AND 00001095: PUSH1 0xe0 00001097: SHL 00001098: DUP2 00001099: MSTORE 0000109a: PUSH1 0x04 0000109c: ADD 0000109d: DUP1 0000109e: DUP3 0000109f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010b4: AND 000010b5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010ca: AND 000010cb: DUP2 000010cc: MSTORE 000010cd: PUSH1 0x20 000010cf: ADD 000010d0: SWAP2 000010d1: POP 000010d2: POP 000010d3: PUSH1 0x20 000010d5: PUSH1 0x40 000010d7: MLOAD 000010d8: DUP1 000010d9: DUP4 000010da: SUB 000010db: DUP2 000010dc: DUP7 000010dd: DUP1 000010de: EXTCODESIZE 000010df: ISZERO 000010e0: DUP1 000010e1: ISZERO 000010e2: PUSH2 0x10ea 000010e5: JUMPI 000010e6: PUSH1 0x00 000010e8: DUP1 000010e9: REVERT 000010ea: JUMPDEST 000010eb: POP 000010ec: GAS 000010ed: STATICCALL 000010ee: ISZERO 000010ef: DUP1 000010f0: ISZERO 000010f1: PUSH2 0x10fe 000010f4: JUMPI 000010f5: RETURNDATASIZE 000010f6: PUSH1 0x00 000010f8: DUP1 000010f9: RETURNDATACOPY 000010fa: RETURNDATASIZE 000010fb: PUSH1 0x00 000010fd: REVERT 000010fe: JUMPDEST 000010ff: POP 00001100: POP 00001101: POP 00001102: POP 00001103: PUSH1 0x40 00001105: MLOAD 00001106: RETURNDATASIZE 00001107: PUSH1 0x20 00001109: DUP2 0000110a: LT 0000110b: ISZERO 0000110c: PUSH2 0x1114 0000110f: JUMPI 00001110: PUSH1 0x00 00001112: DUP1 00001113: REVERT 00001114: JUMPDEST 00001115: DUP2 00001116: ADD 00001117: SWAP1 00001118: DUP1 00001119: DUP1 0000111a: MLOAD 0000111b: SWAP1 0000111c: PUSH1 0x20 0000111e: ADD 0000111f: SWAP1 00001120: SWAP3 00001121: SWAP2 00001122: SWAP1 00001123: POP 00001124: POP 00001125: POP 00001126: SWAP1 00001127: POP 00001128: PUSH1 0x00 0000112a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000113f: AND 00001140: DUP2 00001141: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001156: AND 00001157: EQ 00001158: ISZERO 00001159: PUSH2 0x11ad 0000115c: JUMPI 0000115d: PUSH1 0x40 0000115f: MLOAD 00001160: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001181: DUP2 00001182: MSTORE 00001183: PUSH1 0x04 00001185: ADD 00001186: DUP1 00001187: DUP1 00001188: PUSH1 0x20 0000118a: ADD 0000118b: DUP3 0000118c: DUP2 0000118d: SUB 0000118e: DUP3 0000118f: MSTORE 00001190: PUSH1 0x22 00001192: DUP2 00001193: MSTORE 00001194: PUSH1 0x20 00001196: ADD 00001197: DUP1 00001198: PUSH2 0x1f4a 0000119b: PUSH1 0x22 0000119d: SWAP2 0000119e: CODECOPY 0000119f: PUSH1 0x40 000011a1: ADD 000011a2: SWAP2 000011a3: POP 000011a4: POP 000011a5: PUSH1 0x40 000011a7: MLOAD 000011a8: DUP1 000011a9: SWAP2 000011aa: SUB 000011ab: SWAP1 000011ac: REVERT 000011ad: JUMPDEST 000011ae: PUSH1 0x06 000011b0: PUSH1 0x00 000011b2: CALLER 000011b3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011c8: AND 000011c9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011de: AND 000011df: DUP2 000011e0: MSTORE 000011e1: PUSH1 0x20 000011e3: ADD 000011e4: SWAP1 000011e5: DUP2 000011e6: MSTORE 000011e7: PUSH1 0x20 000011e9: ADD 000011ea: PUSH1 0x00 000011ec: KECCAK256 000011ed: PUSH1 0x00 000011ef: ADD 000011f0: PUSH1 0x00 000011f2: SWAP1 000011f3: SLOAD 000011f4: SWAP1 000011f5: PUSH2 0x0100 000011f8: EXP 000011f9: SWAP1 000011fa: DIV 000011fb: PUSH1 0xff 000011fd: AND 000011fe: ISZERO 000011ff: PUSH2 0x1270 00001202: JUMPI 00001203: PUSH1 0x40 00001205: MLOAD 00001206: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001227: DUP2 00001228: MSTORE 00001229: PUSH1 0x04 0000122b: ADD 0000122c: DUP1 0000122d: DUP1 0000122e: PUSH1 0x20 00001230: ADD 00001231: DUP3 00001232: DUP2 00001233: SUB 00001234: DUP3 00001235: MSTORE 00001236: PUSH1 0x0a 00001238: DUP2 00001239: MSTORE 0000123a: PUSH1 0x20 0000123c: ADD 0000123d: DUP1 0000123e: PUSH32 0x5573657220657869737400000000000000000000000000000000000000000000 0000125f: DUP2 00001260: MSTORE 00001261: POP 00001262: PUSH1 0x20 00001264: ADD 00001265: SWAP2 00001266: POP 00001267: POP 00001268: PUSH1 0x40 0000126a: MLOAD 0000126b: DUP1 0000126c: SWAP2 0000126d: SUB 0000126e: SWAP1 0000126f: REVERT 00001270: JUMPDEST 00001271: PUSH1 0x05 00001273: PUSH1 0x00 00001275: PUSH1 0x03 00001277: DUP2 00001278: MSTORE 00001279: PUSH1 0x20 0000127b: ADD 0000127c: SWAP1 0000127d: DUP2 0000127e: MSTORE 0000127f: PUSH1 0x20 00001281: ADD 00001282: PUSH1 0x00 00001284: KECCAK256 00001285: SLOAD 00001286: CALLVALUE 00001287: EQ 00001288: PUSH2 0x12f9 0000128b: JUMPI 0000128c: PUSH1 0x40 0000128e: MLOAD 0000128f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000012b0: DUP2 000012b1: MSTORE 000012b2: PUSH1 0x04 000012b4: ADD 000012b5: DUP1 000012b6: DUP1 000012b7: PUSH1 0x20 000012b9: ADD 000012ba: DUP3 000012bb: DUP2 000012bc: SUB 000012bd: DUP3 000012be: MSTORE 000012bf: PUSH1 0x0f 000012c1: DUP2 000012c2: MSTORE 000012c3: PUSH1 0x20 000012c5: ADD 000012c6: DUP1 000012c7: PUSH32 0x496e636f72726563742056616c75650000000000000000000000000000000000 000012e8: DUP2 000012e9: MSTORE 000012ea: POP 000012eb: PUSH1 0x20 000012ed: ADD 000012ee: SWAP2 000012ef: POP 000012f0: POP 000012f1: PUSH1 0x40 000012f3: MLOAD 000012f4: DUP1 000012f5: SWAP2 000012f6: SUB 000012f7: SWAP1 000012f8: REVERT 000012f9: JUMPDEST 000012fa: PUSH1 0x00 000012fc: PUSH1 0x06 000012fe: PUSH1 0x00 00001300: DUP4 00001301: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001316: AND 00001317: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000132c: AND 0000132d: DUP2 0000132e: MSTORE 0000132f: PUSH1 0x20 00001331: ADD 00001332: SWAP1 00001333: DUP2 00001334: MSTORE 00001335: PUSH1 0x20 00001337: ADD 00001338: PUSH1 0x00 0000133a: KECCAK256 0000133b: PUSH1 0x00 0000133d: ADD 0000133e: PUSH1 0x00 00001340: SWAP1 00001341: SLOAD 00001342: SWAP1 00001343: PUSH2 0x0100 00001346: EXP 00001347: SWAP1 00001348: DIV 00001349: PUSH1 0xff 0000134b: AND 0000134c: ISZERO 0000134d: PUSH2 0x149c 00001350: JUMPI 00001351: PUSH1 0x06 00001353: PUSH1 0x00 00001355: DUP4 00001356: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000136b: AND 0000136c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001381: AND 00001382: DUP2 00001383: MSTORE 00001384: PUSH1 0x20 00001386: ADD 00001387: SWAP1 00001388: DUP2 00001389: MSTORE 0000138a: PUSH1 0x20 0000138c: ADD 0000138d: PUSH1 0x00 0000138f: KECCAK256 00001390: PUSH1 0x01 00001392: ADD 00001393: SLOAD 00001394: SWAP1 00001395: POP 00001396: PUSH1 0x02 00001398: SLOAD 00001399: PUSH1 0x06 0000139b: PUSH1 0x00 0000139d: PUSH1 0x07 0000139f: PUSH1 0x00 000013a1: DUP6 000013a2: DUP2 000013a3: MSTORE 000013a4: PUSH1 0x20 000013a6: ADD 000013a7: SWAP1 000013a8: DUP2 000013a9: MSTORE 000013aa: PUSH1 0x20 000013ac: ADD 000013ad: PUSH1 0x00 000013af: KECCAK256 000013b0: PUSH1 0x00 000013b2: SWAP1 000013b3: SLOAD 000013b4: SWAP1 000013b5: PUSH2 0x0100 000013b8: EXP 000013b9: SWAP1 000013ba: DIV 000013bb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013d0: AND 000013d1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013e6: AND 000013e7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013fc: AND 000013fd: DUP2 000013fe: MSTORE 000013ff: PUSH1 0x20 00001401: ADD 00001402: SWAP1 00001403: DUP2 00001404: MSTORE 00001405: PUSH1 0x20 00001407: ADD 00001408: PUSH1 0x00 0000140a: KECCAK256 0000140b: PUSH1 0x03 0000140d: ADD 0000140e: DUP1 0000140f: SLOAD 00001410: SWAP1 00001411: POP 00001412: LT 00001413: PUSH2 0x1497 00001416: JUMPI 00001417: PUSH1 0x06 00001419: PUSH1 0x00 0000141b: PUSH2 0x1456 0000141e: PUSH1 0x07 00001420: PUSH1 0x00 00001422: DUP6 00001423: DUP2 00001424: MSTORE 00001425: PUSH1 0x20 00001427: ADD 00001428: SWAP1 00001429: DUP2 0000142a: MSTORE 0000142b: PUSH1 0x20 0000142d: ADD 0000142e: PUSH1 0x00 00001430: KECCAK256 00001431: PUSH1 0x00 00001433: SWAP1 00001434: SLOAD 00001435: SWAP1 00001436: PUSH2 0x0100 00001439: EXP 0000143a: SWAP1 0000143b: DIV 0000143c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001451: AND 00001452: PUSH2 0x0606 00001455: JUMP 00001456: JUMPDEST 00001457: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000146c: AND 0000146d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001482: AND 00001483: DUP2 00001484: MSTORE 00001485: PUSH1 0x20 00001487: ADD 00001488: SWAP1 00001489: DUP2 0000148a: MSTORE 0000148b: PUSH1 0x20 0000148d: ADD 0000148e: PUSH1 0x00 00001490: KECCAK256 00001491: PUSH1 0x01 00001493: ADD 00001494: SLOAD 00001495: SWAP1 00001496: POP 00001497: JUMPDEST 00001498: PUSH2 0x15a3 0000149b: JUMP 0000149c: JUMPDEST 0000149d: PUSH1 0x01 0000149f: SWAP1 000014a0: POP 000014a1: PUSH1 0x02 000014a3: SLOAD 000014a4: PUSH1 0x06 000014a6: PUSH1 0x00 000014a8: PUSH1 0x07 000014aa: PUSH1 0x00 000014ac: DUP6 000014ad: DUP2 000014ae: MSTORE 000014af: PUSH1 0x20 000014b1: ADD 000014b2: SWAP1 000014b3: DUP2 000014b4: MSTORE 000014b5: PUSH1 0x20 000014b7: ADD 000014b8: PUSH1 0x00 000014ba: KECCAK256 000014bb: PUSH1 0x00 000014bd: SWAP1 000014be: SLOAD 000014bf: SWAP1 000014c0: PUSH2 0x0100 000014c3: EXP 000014c4: SWAP1 000014c5: DIV 000014c6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014db: AND 000014dc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014f1: AND 000014f2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001507: AND 00001508: DUP2 00001509: MSTORE 0000150a: PUSH1 0x20 0000150c: ADD 0000150d: SWAP1 0000150e: DUP2 0000150f: MSTORE 00001510: PUSH1 0x20 00001512: ADD 00001513: PUSH1 0x00 00001515: KECCAK256 00001516: PUSH1 0x03 00001518: ADD 00001519: DUP1 0000151a: SLOAD 0000151b: SWAP1 0000151c: POP 0000151d: LT 0000151e: PUSH2 0x15a2 00001521: JUMPI 00001522: PUSH1 0x06 00001524: PUSH1 0x00 00001526: PUSH2 0x1561 00001529: PUSH1 0x07 0000152b: PUSH1 0x00 0000152d: DUP6 0000152e: DUP2 0000152f: MSTORE 00001530: PUSH1 0x20 00001532: ADD 00001533: SWAP1 00001534: DUP2 00001535: MSTORE 00001536: PUSH1 0x20 00001538: ADD 00001539: PUSH1 0x00 0000153b: KECCAK256 0000153c: PUSH1 0x00 0000153e: SWAP1 0000153f: SLOAD 00001540: SWAP1 00001541: PUSH2 0x0100 00001544: EXP 00001545: SWAP1 00001546: DIV 00001547: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000155c: AND 0000155d: PUSH2 0x0606 00001560: JUMP 00001561: JUMPDEST 00001562: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001577: AND 00001578: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000158d: AND 0000158e: DUP2 0000158f: MSTORE 00001590: PUSH1 0x20 00001592: ADD 00001593: SWAP1 00001594: DUP2 00001595: MSTORE 00001596: PUSH1 0x20 00001598: ADD 00001599: PUSH1 0x00 0000159b: KECCAK256 0000159c: PUSH1 0x01 0000159e: ADD 0000159f: SLOAD 000015a0: SWAP1 000015a1: POP 000015a2: JUMPDEST 000015a3: JUMPDEST 000015a4: PUSH2 0x15ab 000015a7: PUSH2 0x1e2e 000015aa: JUMP 000015ab: JUMPDEST 000015ac: PUSH1 0x08 000015ae: PUSH1 0x00 000015b0: DUP2 000015b1: SLOAD 000015b2: DUP1 000015b3: SWAP3 000015b4: SWAP2 000015b5: SWAP1 000015b6: PUSH1 0x01 000015b8: ADD 000015b9: SWAP2 000015ba: SWAP1 000015bb: POP 000015bc: SSTORE 000015bd: POP 000015be: PUSH1 0x40 000015c0: MLOAD 000015c1: DUP1 000015c2: PUSH1 0xc0 000015c4: ADD 000015c5: PUSH1 0x40 000015c7: MSTORE 000015c8: DUP1 000015c9: PUSH1 0x01 000015cb: ISZERO 000015cc: ISZERO 000015cd: DUP2 000015ce: MSTORE 000015cf: PUSH1 0x20 000015d1: ADD 000015d2: PUSH1 0x08 000015d4: SLOAD 000015d5: DUP2 000015d6: MSTORE 000015d7: PUSH1 0x20 000015d9: ADD 000015da: DUP4 000015db: DUP2 000015dc: MSTORE 000015dd: PUSH1 0x20 000015df: ADD 000015e0: PUSH1 0x00 000015e2: PUSH1 0x40 000015e4: MLOAD 000015e5: SWAP1 000015e6: DUP1 000015e7: DUP3 000015e8: MSTORE 000015e9: DUP1 000015ea: PUSH1 0x20 000015ec: MUL 000015ed: PUSH1 0x20 000015ef: ADD 000015f0: DUP3 000015f1: ADD 000015f2: PUSH1 0x40 000015f4: MSTORE 000015f5: DUP1 000015f6: ISZERO 000015f7: PUSH2 0x160f 000015fa: JUMPI 000015fb: DUP2 000015fc: PUSH1 0x20 000015fe: ADD 000015ff: PUSH1 0x20 00001601: DUP3 00001602: MUL 00001603: DUP1 00001604: CODESIZE 00001605: DUP4 00001606: CODECOPY 00001607: DUP1 00001608: DUP3 00001609: ADD 0000160a: SWAP2 0000160b: POP 0000160c: POP 0000160d: SWAP1 0000160e: POP 0000160f: JUMPDEST 00001610: POP 00001611: DUP2 00001612: MSTORE 00001613: PUSH1 0x20 00001615: ADD 00001616: DUP5 00001617: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000162c: AND 0000162d: DUP2 0000162e: MSTORE 0000162f: PUSH1 0x20 00001631: ADD 00001632: PUSH1 0x00 00001634: DUP2 00001635: MSTORE 00001636: POP 00001637: SWAP1 00001638: POP 00001639: DUP1 0000163a: PUSH1 0x06 0000163c: PUSH1 0x00 0000163e: CALLER 0000163f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001654: AND 00001655: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000166a: AND 0000166b: DUP2 0000166c: MSTORE 0000166d: PUSH1 0x20 0000166f: ADD 00001670: SWAP1 00001671: DUP2 00001672: MSTORE 00001673: PUSH1 0x20 00001675: ADD 00001676: PUSH1 0x00 00001678: KECCAK256 00001679: PUSH1 0x00 0000167b: DUP3 0000167c: ADD 0000167d: MLOAD 0000167e: DUP2 0000167f: PUSH1 0x00 00001681: ADD 00001682: PUSH1 0x00 00001684: PUSH2 0x0100 00001687: EXP 00001688: DUP2 00001689: SLOAD 0000168a: DUP2 0000168b: PUSH1 0xff 0000168d: MUL 0000168e: NOT 0000168f: AND 00001690: SWAP1 00001691: DUP4 00001692: ISZERO 00001693: ISZERO 00001694: MUL 00001695: OR 00001696: SWAP1 00001697: SSTORE 00001698: POP 00001699: PUSH1 0x20 0000169b: DUP3 0000169c: ADD 0000169d: MLOAD 0000169e: DUP2 0000169f: PUSH1 0x01 000016a1: ADD 000016a2: SSTORE 000016a3: PUSH1 0x40 000016a5: DUP3 000016a6: ADD 000016a7: MLOAD 000016a8: DUP2 000016a9: PUSH1 0x02 000016ab: ADD 000016ac: SSTORE 000016ad: PUSH1 0x60 000016af: DUP3 000016b0: ADD 000016b1: MLOAD 000016b2: DUP2 000016b3: PUSH1 0x03 000016b5: ADD 000016b6: SWAP1 000016b7: DUP1 000016b8: MLOAD 000016b9: SWAP1 000016ba: PUSH1 0x20 000016bc: ADD 000016bd: SWAP1 000016be: PUSH2 0x16c8 000016c1: SWAP3 000016c2: SWAP2 000016c3: SWAP1 000016c4: PUSH2 0x1e7c 000016c7: JUMP 000016c8: JUMPDEST 000016c9: POP 000016ca: PUSH1 0x80 000016cc: DUP3 000016cd: ADD 000016ce: MLOAD 000016cf: DUP2 000016d0: PUSH1 0x04 000016d2: ADD 000016d3: PUSH1 0x00 000016d5: PUSH2 0x0100 000016d8: EXP 000016d9: DUP2 000016da: SLOAD 000016db: DUP2 000016dc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016f1: MUL 000016f2: NOT 000016f3: AND 000016f4: SWAP1 000016f5: DUP4 000016f6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000170b: AND 0000170c: MUL 0000170d: OR 0000170e: SWAP1 0000170f: SSTORE 00001710: POP 00001711: PUSH1 0xa0 00001713: DUP3 00001714: ADD 00001715: MLOAD 00001716: DUP2 00001717: PUSH1 0x05 00001719: ADD 0000171a: SSTORE 0000171b: SWAP1 0000171c: POP 0000171d: POP 0000171e: CALLER 0000171f: PUSH1 0x07 00001721: PUSH1 0x00 00001723: PUSH1 0x08 00001725: SLOAD 00001726: DUP2 00001727: MSTORE 00001728: PUSH1 0x20 0000172a: ADD 0000172b: SWAP1 0000172c: DUP2 0000172d: MSTORE 0000172e: PUSH1 0x20 00001730: ADD 00001731: PUSH1 0x00 00001733: KECCAK256 00001734: PUSH1 0x00 00001736: PUSH2 0x0100 00001739: EXP 0000173a: DUP2 0000173b: SLOAD 0000173c: DUP2 0000173d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001752: MUL 00001753: NOT 00001754: AND 00001755: SWAP1 00001756: DUP4 00001757: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000176c: AND 0000176d: MUL 0000176e: OR 0000176f: SWAP1 00001770: SSTORE 00001771: POP 00001772: PUSH1 0x06 00001774: PUSH1 0x00 00001776: PUSH1 0x07 00001778: PUSH1 0x00 0000177a: DUP6 0000177b: DUP2 0000177c: MSTORE 0000177d: PUSH1 0x20 0000177f: ADD 00001780: SWAP1 00001781: DUP2 00001782: MSTORE 00001783: PUSH1 0x20 00001785: ADD 00001786: PUSH1 0x00 00001788: KECCAK256 00001789: PUSH1 0x00 0000178b: SWAP1 0000178c: SLOAD 0000178d: SWAP1 0000178e: PUSH2 0x0100 00001791: EXP 00001792: SWAP1 00001793: DIV 00001794: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000017a9: AND 000017aa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000017bf: AND 000017c0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000017d5: AND 000017d6: DUP2 000017d7: MSTORE 000017d8: PUSH1 0x20 000017da: ADD 000017db: SWAP1 000017dc: DUP2 000017dd: MSTORE 000017de: PUSH1 0x20 000017e0: ADD 000017e1: PUSH1 0x00 000017e3: KECCAK256 000017e4: PUSH1 0x03 000017e6: ADD 000017e7: CALLER 000017e8: SWAP1 000017e9: DUP1 000017ea: PUSH1 0x01 000017ec: DUP2 000017ed: SLOAD 000017ee: ADD 000017ef: DUP1 000017f0: DUP3 000017f1: SSTORE 000017f2: DUP1 000017f3: SWAP2 000017f4: POP 000017f5: POP 000017f6: SWAP1 000017f7: PUSH1 0x01 000017f9: DUP3 000017fa: SUB 000017fb: SWAP1 000017fc: PUSH1 0x00 000017fe: MSTORE 000017ff: PUSH1 0x20 00001801: PUSH1 0x00 00001803: KECCAK256 00001804: ADD 00001805: PUSH1 0x00 00001807: SWAP1 00001808: SWAP2 00001809: SWAP3 0000180a: SWAP1 0000180b: SWAP2 0000180c: SWAP1 0000180d: SWAP2 0000180e: PUSH2 0x0100 00001811: EXP 00001812: DUP2 00001813: SLOAD 00001814: DUP2 00001815: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000182a: MUL 0000182b: NOT 0000182c: AND 0000182d: SWAP1 0000182e: DUP4 0000182f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001844: AND 00001845: MUL 00001846: OR 00001847: SWAP1 00001848: SSTORE 00001849: POP 0000184a: POP 0000184b: PUSH1 0x07 0000184d: PUSH1 0x00 0000184f: DUP4 00001850: DUP2 00001851: MSTORE 00001852: PUSH1 0x20 00001854: ADD 00001855: SWAP1 00001856: DUP2 00001857: MSTORE 00001858: PUSH1 0x20 0000185a: ADD 0000185b: PUSH1 0x00 0000185d: KECCAK256 0000185e: PUSH1 0x00 00001860: SWAP1 00001861: SLOAD 00001862: SWAP1 00001863: PUSH2 0x0100 00001866: EXP 00001867: SWAP1 00001868: DIV 00001869: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000187e: AND 0000187f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001894: AND 00001895: CALLER 00001896: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000018ab: AND 000018ac: PUSH32 0x0c88ab673df7b82fb9cd3ae0ce2597b0af9d0c8a5a07c47651908a88568b9a04 000018cd: TIMESTAMP 000018ce: PUSH1 0x03 000018d0: PUSH1 0x40 000018d2: MLOAD 000018d3: DUP1 000018d4: DUP4 000018d5: DUP2 000018d6: MSTORE 000018d7: PUSH1 0x20 000018d9: ADD 000018da: DUP3 000018db: DUP2 000018dc: MSTORE 000018dd: PUSH1 0x20 000018df: ADD 000018e0: SWAP3 000018e1: POP 000018e2: POP 000018e3: POP 000018e4: PUSH1 0x40 000018e6: MLOAD 000018e7: DUP1 000018e8: SWAP2 000018e9: SUB 000018ea: SWAP1 000018eb: LOG3 000018ec: PUSH1 0x00 000018ee: DUP1 000018ef: SWAP1 000018f0: POP 000018f1: PUSH1 0x06 000018f3: PUSH1 0x00 000018f5: DUP6 000018f6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000190b: AND 0000190c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001921: AND 00001922: DUP2 00001923: MSTORE 00001924: PUSH1 0x20 00001926: ADD 00001927: SWAP1 00001928: DUP2 00001929: MSTORE 0000192a: PUSH1 0x20 0000192c: ADD 0000192d: PUSH1 0x00 0000192f: KECCAK256 00001930: PUSH1 0x00 00001932: ADD 00001933: PUSH1 0x00 00001935: SWAP1 00001936: SLOAD 00001937: SWAP1 00001938: PUSH2 0x0100 0000193b: EXP 0000193c: SWAP1 0000193d: DIV 0000193e: PUSH1 0xff 00001940: AND 00001941: ISZERO 00001942: PUSH2 0x19e2 00001945: JUMPI 00001946: PUSH1 0x01 00001948: PUSH1 0x06 0000194a: PUSH1 0x00 0000194c: DUP7 0000194d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001962: AND 00001963: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001978: AND 00001979: DUP2 0000197a: MSTORE 0000197b: PUSH1 0x20 0000197d: ADD 0000197e: SWAP1 0000197f: DUP2 00001980: MSTORE 00001981: PUSH1 0x20 00001983: ADD 00001984: PUSH1 0x00 00001986: KECCAK256 00001987: PUSH1 0x05 00001989: ADD 0000198a: PUSH1 0x00 0000198c: DUP3 0000198d: DUP3 0000198e: SLOAD 0000198f: ADD 00001990: SWAP3 00001991: POP 00001992: POP 00001993: DUP2 00001994: SWAP1 00001995: SSTORE 00001996: POP 00001997: DUP4 00001998: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000019ad: AND 000019ae: PUSH2 0x08fc 000019b1: PUSH7 0x8e1bc9bf040000 000019b9: SWAP1 000019ba: DUP2 000019bb: ISZERO 000019bc: MUL 000019bd: SWAP1 000019be: PUSH1 0x40 000019c0: MLOAD 000019c1: PUSH1 0x00 000019c3: PUSH1 0x40 000019c5: MLOAD 000019c6: DUP1 000019c7: DUP4 000019c8: SUB 000019c9: DUP2 000019ca: DUP6 000019cb: DUP9 000019cc: DUP9 000019cd: CALL 000019ce: SWAP4 000019cf: POP 000019d0: POP 000019d1: POP 000019d2: POP 000019d3: SWAP1 000019d4: POP 000019d5: PUSH2 0x19dd 000019d8: DUP5 000019d9: PUSH2 0x1b37 000019dc: JUMP 000019dd: JUMPDEST 000019de: PUSH2 0x1a43 000019e1: JUMP 000019e2: JUMPDEST 000019e3: PUSH1 0x01 000019e5: PUSH1 0x00 000019e7: SWAP1 000019e8: SLOAD 000019e9: SWAP1 000019ea: PUSH2 0x0100 000019ed: EXP 000019ee: SWAP1 000019ef: DIV 000019f0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a05: AND 00001a06: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a1b: AND 00001a1c: PUSH2 0x08fc 00001a1f: PUSH7 0x8e1bc9bf040000 00001a27: SWAP1 00001a28: DUP2 00001a29: ISZERO 00001a2a: MUL 00001a2b: SWAP1 00001a2c: PUSH1 0x40 00001a2e: MLOAD 00001a2f: PUSH1 0x00 00001a31: PUSH1 0x40 00001a33: MLOAD 00001a34: DUP1 00001a35: DUP4 00001a36: SUB 00001a37: DUP2 00001a38: DUP6 00001a39: DUP9 00001a3a: DUP9 00001a3b: CALL 00001a3c: SWAP4 00001a3d: POP 00001a3e: POP 00001a3f: POP 00001a40: POP 00001a41: SWAP1 00001a42: POP 00001a43: JUMPDEST 00001a44: DUP1 00001a45: ISZERO 00001a46: PUSH2 0x1ace 00001a49: JUMPI 00001a4a: CALLER 00001a4b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a60: AND 00001a61: DUP5 00001a62: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a77: AND 00001a78: PUSH32 0x48312df7d168f67e4d789b35dfb1e3246e9cf2b96d0af3b36134bf08cd3d728e 00001a99: PUSH1 0x00 00001a9b: TIMESTAMP 00001a9c: PUSH1 0x03 00001a9e: PUSH1 0x40 00001aa0: MLOAD 00001aa1: DUP1 00001aa2: DUP5 00001aa3: DUP2 00001aa4: MSTORE 00001aa5: PUSH1 0x20 00001aa7: ADD 00001aa8: DUP4 00001aa9: DUP2 00001aaa: MSTORE 00001aab: PUSH1 0x20 00001aad: ADD 00001aae: DUP3 00001aaf: DUP2 00001ab0: MSTORE 00001ab1: PUSH1 0x20 00001ab3: ADD 00001ab4: SWAP4 00001ab5: POP 00001ab6: POP 00001ab7: POP 00001ab8: POP 00001ab9: PUSH1 0x40 00001abb: MLOAD 00001abc: DUP1 00001abd: SWAP2 00001abe: SUB 00001abf: SWAP1 00001ac0: LOG3 00001ac1: PUSH2 0x1acd 00001ac4: PUSH1 0x01 00001ac6: CALLER 00001ac7: PUSH1 0x03 00001ac9: PUSH2 0x1c7d 00001acc: JUMP 00001acd: JUMPDEST 00001ace: JUMPDEST 00001acf: POP 00001ad0: POP 00001ad1: POP 00001ad2: POP 00001ad3: JUMP 00001ad4: JUMPDEST 00001ad5: PUSH1 0x06 00001ad7: PUSH1 0x20 00001ad9: MSTORE 00001ada: DUP1 00001adb: PUSH1 0x00 00001add: MSTORE 00001ade: PUSH1 0x40 00001ae0: PUSH1 0x00 00001ae2: KECCAK256 00001ae3: PUSH1 0x00 00001ae5: SWAP2 00001ae6: POP 00001ae7: SWAP1 00001ae8: POP 00001ae9: DUP1 00001aea: PUSH1 0x00 00001aec: ADD 00001aed: PUSH1 0x00 00001aef: SWAP1 00001af0: SLOAD 00001af1: SWAP1 00001af2: PUSH2 0x0100 00001af5: EXP 00001af6: SWAP1 00001af7: DIV 00001af8: PUSH1 0xff 00001afa: AND 00001afb: SWAP1 00001afc: DUP1 00001afd: PUSH1 0x01 00001aff: ADD 00001b00: SLOAD 00001b01: SWAP1 00001b02: DUP1 00001b03: PUSH1 0x02 00001b05: ADD 00001b06: SLOAD 00001b07: SWAP1 00001b08: DUP1 00001b09: PUSH1 0x04 00001b0b: ADD 00001b0c: PUSH1 0x00 00001b0e: SWAP1 00001b0f: SLOAD 00001b10: SWAP1 00001b11: PUSH2 0x0100 00001b14: EXP 00001b15: SWAP1 00001b16: DIV 00001b17: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b2c: AND 00001b2d: SWAP1 00001b2e: DUP1 00001b2f: PUSH1 0x05 00001b31: ADD 00001b32: SLOAD 00001b33: SWAP1 00001b34: POP 00001b35: DUP6 00001b36: JUMP 00001b37: JUMPDEST 00001b38: PUSH1 0x00 00001b3a: PUSH1 0x06 00001b3c: PUSH1 0x00 00001b3e: DUP4 00001b3f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b54: AND 00001b55: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b6a: AND 00001b6b: DUP2 00001b6c: MSTORE 00001b6d: PUSH1 0x20 00001b6f: ADD 00001b70: SWAP1 00001b71: DUP2 00001b72: MSTORE 00001b73: PUSH1 0x20 00001b75: ADD 00001b76: PUSH1 0x00 00001b78: KECCAK256 00001b79: PUSH1 0x05 00001b7b: ADD 00001b7c: SLOAD 00001b7d: SWAP1 00001b7e: POP 00001b7f: PUSH1 0x00 00001b81: DUP1 00001b82: SWAP1 00001b83: POP 00001b84: PUSH1 0x05 00001b86: DUP3 00001b87: EQ 00001b88: ISZERO 00001b89: PUSH2 0x1b91 00001b8c: JUMPI 00001b8d: PUSH1 0x01 00001b8f: SWAP1 00001b90: POP 00001b91: JUMPDEST 00001b92: PUSH1 0x0f 00001b94: DUP3 00001b95: EQ 00001b96: ISZERO 00001b97: PUSH2 0x1b9f 00001b9a: JUMPI 00001b9b: PUSH1 0x02 00001b9d: SWAP1 00001b9e: POP 00001b9f: JUMPDEST 00001ba0: PUSH1 0x19 00001ba2: DUP3 00001ba3: EQ 00001ba4: ISZERO 00001ba5: PUSH2 0x1bad 00001ba8: JUMPI 00001ba9: PUSH1 0x03 00001bab: SWAP1 00001bac: POP 00001bad: JUMPDEST 00001bae: PUSH1 0x32 00001bb0: DUP3 00001bb1: EQ 00001bb2: ISZERO 00001bb3: PUSH2 0x1bbb 00001bb6: JUMPI 00001bb7: PUSH1 0x04 00001bb9: SWAP1 00001bba: POP 00001bbb: JUMPDEST 00001bbc: PUSH1 0x00 00001bbe: DUP2 00001bbf: GT 00001bc0: ISZERO 00001bc1: PUSH2 0x1c78 00001bc4: JUMPI 00001bc5: PUSH1 0x00 00001bc7: DUP4 00001bc8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001bdd: AND 00001bde: PUSH2 0x08fc 00001be1: PUSH1 0x03 00001be3: PUSH1 0x00 00001be5: DUP6 00001be6: DUP2 00001be7: MSTORE 00001be8: PUSH1 0x20 00001bea: ADD 00001beb: SWAP1 00001bec: DUP2 00001bed: MSTORE 00001bee: PUSH1 0x20 00001bf0: ADD 00001bf1: PUSH1 0x00 00001bf3: KECCAK256 00001bf4: SLOAD 00001bf5: SWAP1 00001bf6: DUP2 00001bf7: ISZERO 00001bf8: MUL 00001bf9: SWAP1 00001bfa: PUSH1 0x40 00001bfc: MLOAD 00001bfd: PUSH1 0x00 00001bff: PUSH1 0x40 00001c01: MLOAD 00001c02: DUP1 00001c03: DUP4 00001c04: SUB 00001c05: DUP2 00001c06: DUP6 00001c07: DUP9 00001c08: DUP9 00001c09: CALL 00001c0a: SWAP4 00001c0b: POP 00001c0c: POP 00001c0d: POP 00001c0e: POP 00001c0f: SWAP1 00001c10: POP 00001c11: DUP1 00001c12: ISZERO 00001c13: PUSH2 0x1c76 00001c16: JUMPI 00001c17: DUP4 00001c18: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c2d: AND 00001c2e: PUSH32 0xd62544fb5bfbdeb0d980cbea253f96b7293391ae1de4929651c0acd66b2d8d75 00001c4f: DUP4 00001c50: TIMESTAMP 00001c51: PUSH1 0x03 00001c53: PUSH1 0x40 00001c55: MLOAD 00001c56: DUP1 00001c57: DUP5 00001c58: DUP2 00001c59: MSTORE 00001c5a: PUSH1 0x20 00001c5c: ADD 00001c5d: DUP4 00001c5e: DUP2 00001c5f: MSTORE 00001c60: PUSH1 0x20 00001c62: ADD 00001c63: DUP3 00001c64: DUP2 00001c65: MSTORE 00001c66: PUSH1 0x20 00001c68: ADD 00001c69: SWAP4 00001c6a: POP 00001c6b: POP 00001c6c: POP 00001c6d: POP 00001c6e: PUSH1 0x40 00001c70: MLOAD 00001c71: DUP1 00001c72: SWAP2 00001c73: SUB 00001c74: SWAP1 00001c75: LOG2 00001c76: JUMPDEST 00001c77: POP 00001c78: JUMPDEST 00001c79: POP 00001c7a: POP 00001c7b: POP 00001c7c: JUMP 00001c7d: JUMPDEST 00001c7e: PUSH1 0x00 00001c80: PUSH1 0x07 00001c82: PUSH1 0x00 00001c84: PUSH1 0x06 00001c86: PUSH1 0x00 00001c88: DUP7 00001c89: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c9e: AND 00001c9f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001cb4: AND 00001cb5: DUP2 00001cb6: MSTORE 00001cb7: PUSH1 0x20 00001cb9: ADD 00001cba: SWAP1 00001cbb: DUP2 00001cbc: MSTORE 00001cbd: PUSH1 0x20 00001cbf: ADD 00001cc0: PUSH1 0x00 00001cc2: KECCAK256 00001cc3: PUSH1 0x02 00001cc5: ADD 00001cc6: SLOAD 00001cc7: DUP2 00001cc8: MSTORE 00001cc9: PUSH1 0x20 00001ccb: ADD 00001ccc: SWAP1 00001ccd: DUP2 00001cce: MSTORE 00001ccf: PUSH1 0x20 00001cd1: ADD 00001cd2: PUSH1 0x00 00001cd4: KECCAK256 00001cd5: PUSH1 0x00 00001cd7: SWAP1 00001cd8: SLOAD 00001cd9: SWAP1 00001cda: PUSH2 0x0100 00001cdd: EXP 00001cde: SWAP1 00001cdf: DIV 00001ce0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001cf5: AND 00001cf6: SWAP1 00001cf7: POP 00001cf8: PUSH1 0x00 00001cfa: DUP2 00001cfb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d10: AND 00001d11: PUSH2 0x08fc 00001d14: PUSH1 0x04 00001d16: PUSH1 0x00 00001d18: DUP9 00001d19: DUP2 00001d1a: MSTORE 00001d1b: PUSH1 0x20 00001d1d: ADD 00001d1e: SWAP1 00001d1f: DUP2 00001d20: MSTORE 00001d21: PUSH1 0x20 00001d23: ADD 00001d24: PUSH1 0x00 00001d26: KECCAK256 00001d27: SLOAD 00001d28: SWAP1 00001d29: DUP2 00001d2a: ISZERO 00001d2b: MUL 00001d2c: SWAP1 00001d2d: PUSH1 0x40 00001d2f: MLOAD 00001d30: PUSH1 0x00 00001d32: PUSH1 0x40 00001d34: MLOAD 00001d35: DUP1 00001d36: DUP4 00001d37: SUB 00001d38: DUP2 00001d39: DUP6 00001d3a: DUP9 00001d3b: DUP9 00001d3c: CALL 00001d3d: SWAP4 00001d3e: POP 00001d3f: POP 00001d40: POP 00001d41: POP 00001d42: SWAP1 00001d43: POP 00001d44: DUP1 00001d45: ISZERO 00001d46: PUSH2 0x1e27 00001d49: JUMPI 00001d4a: CALLER 00001d4b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d60: AND 00001d61: DUP3 00001d62: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d77: AND 00001d78: PUSH32 0x48312df7d168f67e4d789b35dfb1e3246e9cf2b96d0af3b36134bf08cd3d728e 00001d99: DUP8 00001d9a: TIMESTAMP 00001d9b: DUP8 00001d9c: PUSH1 0x40 00001d9e: MLOAD 00001d9f: DUP1 00001da0: DUP5 00001da1: DUP2 00001da2: MSTORE 00001da3: PUSH1 0x20 00001da5: ADD 00001da6: DUP4 00001da7: DUP2 00001da8: MSTORE 00001da9: PUSH1 0x20 00001dab: ADD 00001dac: DUP3 00001dad: DUP2 00001dae: MSTORE 00001daf: PUSH1 0x20 00001db1: ADD 00001db2: SWAP4 00001db3: POP 00001db4: POP 00001db5: POP 00001db6: POP 00001db7: PUSH1 0x40 00001db9: MLOAD 00001dba: DUP1 00001dbb: SWAP2 00001dbc: SUB 00001dbd: SWAP1 00001dbe: LOG3 00001dbf: PUSH1 0x03 00001dc1: DUP6 00001dc2: LT 00001dc3: DUP1 00001dc4: ISZERO 00001dc5: PUSH2 0x1e11 00001dc8: JUMPI 00001dc9: POP 00001dca: PUSH1 0x01 00001dcc: PUSH1 0x06 00001dce: PUSH1 0x00 00001dd0: DUP5 00001dd1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001de6: AND 00001de7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001dfc: AND 00001dfd: DUP2 00001dfe: MSTORE 00001dff: PUSH1 0x20 00001e01: ADD 00001e02: SWAP1 00001e03: DUP2 00001e04: MSTORE 00001e05: PUSH1 0x20 00001e07: ADD 00001e08: PUSH1 0x00 00001e0a: KECCAK256 00001e0b: PUSH1 0x02 00001e0d: ADD 00001e0e: SLOAD 00001e0f: LT 00001e10: ISZERO 00001e11: JUMPDEST 00001e12: ISZERO 00001e13: PUSH2 0x1e26 00001e16: JUMPI 00001e17: PUSH2 0x1e25 00001e1a: PUSH1 0x01 00001e1c: DUP7 00001e1d: ADD 00001e1e: DUP4 00001e1f: PUSH1 0x03 00001e21: PUSH2 0x1c7d 00001e24: JUMP 00001e25: JUMPDEST 00001e26: JUMPDEST 00001e27: JUMPDEST 00001e28: POP 00001e29: POP 00001e2a: POP 00001e2b: POP 00001e2c: POP 00001e2d: JUMP 00001e2e: JUMPDEST 00001e2f: PUSH1 0x40 00001e31: MLOAD 00001e32: DUP1 00001e33: PUSH1 0xc0 00001e35: ADD 00001e36: PUSH1 0x40 00001e38: MSTORE 00001e39: DUP1 00001e3a: PUSH1 0x00 00001e3c: ISZERO 00001e3d: ISZERO 00001e3e: DUP2 00001e3f: MSTORE 00001e40: PUSH1 0x20 00001e42: ADD 00001e43: PUSH1 0x00 00001e45: DUP2 00001e46: MSTORE 00001e47: PUSH1 0x20 00001e49: ADD 00001e4a: PUSH1 0x00 00001e4c: DUP2 00001e4d: MSTORE 00001e4e: PUSH1 0x20 00001e50: ADD 00001e51: PUSH1 0x60 00001e53: DUP2 00001e54: MSTORE 00001e55: PUSH1 0x20 00001e57: ADD 00001e58: PUSH1 0x00 00001e5a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001e6f: AND 00001e70: DUP2 00001e71: MSTORE 00001e72: PUSH1 0x20 00001e74: ADD 00001e75: PUSH1 0x00 00001e77: DUP2 00001e78: MSTORE 00001e79: POP 00001e7a: SWAP1 00001e7b: JUMP 00001e7c: JUMPDEST 00001e7d: DUP3 00001e7e: DUP1 00001e7f: SLOAD 00001e80: DUP3 00001e81: DUP3 00001e82: SSTORE 00001e83: SWAP1 00001e84: PUSH1 0x00 00001e86: MSTORE 00001e87: PUSH1 0x20 00001e89: PUSH1 0x00 00001e8b: KECCAK256 00001e8c: SWAP1 00001e8d: DUP2 00001e8e: ADD 00001e8f: SWAP3 00001e90: DUP3 00001e91: ISZERO 00001e92: PUSH2 0x1ef5 00001e95: JUMPI 00001e96: SWAP2 00001e97: PUSH1 0x20 00001e99: MUL 00001e9a: DUP3 00001e9b: ADD 00001e9c: JUMPDEST 00001e9d: DUP3 00001e9e: DUP2 00001e9f: GT 00001ea0: ISZERO 00001ea1: PUSH2 0x1ef4 00001ea4: JUMPI 00001ea5: DUP3 00001ea6: MLOAD 00001ea7: DUP3 00001ea8: PUSH1 0x00 00001eaa: PUSH2 0x0100 00001ead: EXP 00001eae: DUP2 00001eaf: SLOAD 00001eb0: DUP2 00001eb1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ec6: MUL 00001ec7: NOT 00001ec8: AND 00001ec9: SWAP1 00001eca: DUP4 00001ecb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ee0: AND 00001ee1: MUL 00001ee2: OR 00001ee3: SWAP1 00001ee4: SSTORE 00001ee5: POP 00001ee6: SWAP2 00001ee7: PUSH1 0x20 00001ee9: ADD 00001eea: SWAP2 00001eeb: SWAP1 00001eec: PUSH1 0x01 00001eee: ADD 00001eef: SWAP1 00001ef0: PUSH2 0x1e9c 00001ef3: JUMP 00001ef4: JUMPDEST 00001ef5: JUMPDEST 00001ef6: POP 00001ef7: SWAP1 00001ef8: POP 00001ef9: PUSH2 0x1f02 00001efc: SWAP2 00001efd: SWAP1 00001efe: PUSH2 0x1f06 00001f01: JUMP 00001f02: JUMPDEST 00001f03: POP 00001f04: SWAP1 00001f05: JUMP 00001f06: JUMPDEST 00001f07: PUSH2 0x1f46 00001f0a: SWAP2 00001f0b: SWAP1 00001f0c: JUMPDEST 00001f0d: DUP1 00001f0e: DUP3 00001f0f: GT 00001f10: ISZERO 00001f11: PUSH2 0x1f42 00001f14: JUMPI 00001f15: PUSH1 0x00 00001f17: DUP2 00001f18: DUP2 00001f19: PUSH2 0x0100 00001f1c: EXP 00001f1d: DUP2 00001f1e: SLOAD 00001f1f: SWAP1 00001f20: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001f35: MUL 00001f36: NOT 00001f37: AND 00001f38: SWAP1 00001f39: SSTORE 00001f3a: POP 00001f3b: PUSH1 0x01 00001f3d: ADD 00001f3e: PUSH2 0x1f0c 00001f41: JUMP 00001f42: JUMPDEST 00001f43: POP 00001f44: SWAP1 00001f45: JUMP 00001f46: JUMPDEST 00001f47: SWAP1 00001f48: JUMP 00001f49: INVALID 00001f4a: SSTORE 00001f4b: PUSH20 0x6572206d75737420626520526567697374657220 00001f60: PUSH2 0x7420 00001f63: GASLIMIT 00001f64: PUSH21 0x6865726b696e67a265627a7a72315820785a5f12e0 00001f7a: UNKNOWN(0x0E) 00001f7b: PUSH29 0xf1b3b7f572c06f45cea5a57d6341767272cf49bbc2b0e97fbc64736f6c 00001f99: PUSH4 0x4300050b 00001f9e: STOP 00001f9f: ORIGIN
Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | auth | detector | Authorization based on tx.origin | 70 | no | — |
viewvalidation_json{
"reason": "missing sink mapping",
"status": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x9f4216e8",
"selector": "0x9f4216e8",
"calldata_variants": [
"0x9f4216e8",
"0x9f4216e80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa4bb170d",
"selector": "0xa4bb170d",
"calldata_variants": [
"0xa4bb170d",
"0xa4bb170d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa543198b",
"selector": "0xa543198b",
"calldata_variants": [
"0xa543198b",
"0xa543198b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa87430ba",
"selector": "0xa87430ba",
"calldata_variants": [
"0xa87430ba",
"0xa87430ba0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x70ed0ada",
"selector": "0x70ed0ada",
"calldata_variants": [
"0x70ed0ada",
"0x70ed0ada0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x79378e30",
"selector": "0x79378e30",
"calldata_variants": [
"0x79378e30",
"0x79378e300000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x89b9abcc",
"selector": "0x89b9abcc",
"calldata_variants": [
"0x89b9abcc",
"0x89b9abcc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2d774965",
"selector": "0x2d774965",
"calldata_variants": [
"0x2d774965",
"0x2d7749650000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 3696,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3891,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 8095,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0xc4f8ffd132dfa88ac99445a78d699becdc1ecae9e9c0a2aedb7015c1cff74539
call_targets:
0x9d1fc836eceb4487a77e6eac3c0b85121d8d9c9d
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xc4f8ffd132dfa88ac99445a78d699becdc1ecae9e9c0a2aedb7015c1cff74539",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x9d1fc836eceb4487a77e6eac3c0b85121d8d9c9d"
],
"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": "0x9f4216e8",
"selector": "0x9f4216e8",
"calldata_variants": [
"0x9f4216e8",
"0x9f4216e80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa4bb170d",
"selector": "0xa4bb170d",
"calldata_variants": [
"0xa4bb170d",
"0xa4bb170d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa543198b",
"selector": "0xa543198b",
"calldata_variants": [
"0xa543198b",
"0xa543198b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa87430ba",
"selector": "0xa87430ba",
"calldata_variants": [
"0xa87430ba",
"0xa87430ba0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x70ed0ada",
"selector": "0x70ed0ada",
"calldata_variants": [
"0x70ed0ada",
"0x70ed0ada0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x79378e30",
"selector": "0x79378e30",
"calldata_variants": [
"0x79378e30",
"0x79378e300000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x89b9abcc",
"selector": "0x89b9abcc",
"calldata_variants": [
"0x89b9abcc",
"0x89b9abcc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2d774965",
"selector": "0x2d774965",
"calldata_variants": [
"0x2d774965",
"0x2d7749650000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 4024,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 6605,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 6715,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 5,
"guards_detected": [
{
"pc": 3696,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3891,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 8095,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 5
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0xc4f8ffd132dfa88ac99445a78d699becdc1ecae9e9c0a2aedb7015c1cff74539
call_targets:
0x9d1fc836eceb4487a77e6eac3c0b85121d8d9c9d
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xc4f8ffd132dfa88ac99445a78d699becdc1ecae9e9c0a2aedb7015c1cff74539",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x9d1fc836eceb4487a77e6eac3c0b85121d8d9c9d"
],
"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": "0x9f4216e8",
"selector": "0x9f4216e8",
"calldata_variants": [
"0x9f4216e8",
"0x9f4216e80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa4bb170d",
"selector": "0xa4bb170d",
"calldata_variants": [
"0xa4bb170d",
"0xa4bb170d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa543198b",
"selector": "0xa543198b",
"calldata_variants": [
"0xa543198b",
"0xa543198b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa87430ba",
"selector": "0xa87430ba",
"calldata_variants": [
"0xa87430ba",
"0xa87430ba0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x70ed0ada",
"selector": "0x70ed0ada",
"calldata_variants": [
"0x70ed0ada",
"0x70ed0ada0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x79378e30",
"selector": "0x79378e30",
"calldata_variants": [
"0x79378e30",
"0x79378e300000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x89b9abcc",
"selector": "0x89b9abcc",
"calldata_variants": [
"0x89b9abcc",
"0x89b9abcc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2d774965",
"selector": "0x2d774965",
"calldata_variants": [
"0x2d774965",
"0x2d7749650000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 4024,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 6605,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 6715,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 5,
"guards_detected": [
{
"pc": 3696,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3891,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 8095,
"type": "tx_origin_used"
}
]
}
|