019b477e-acb4-7149-8c67-b379b2152e83
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 |
|---|---|---|---|---|
| 21273 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 21274 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 101495 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 101496 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 101497 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 101498 | 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 0x00c5 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000002e: SWAP1 0000002f: DIV 00000030: PUSH4 0xffffffff 00000035: AND 00000036: DUP1 00000037: PUSH4 0x065da698 0000003c: EQ 0000003d: PUSH2 0x00d2 00000040: JUMPI 00000041: DUP1 00000042: PUSH4 0x3f4ba83a 00000047: EQ 00000048: PUSH2 0x012f 0000004b: JUMPI 0000004c: DUP1 0000004d: PUSH4 0x5c975abb 00000052: EQ 00000053: PUSH2 0x0144 00000056: JUMPI 00000057: DUP1 00000058: PUSH4 0x5fd8c710 0000005d: EQ 0000005e: PUSH2 0x0171 00000061: JUMPI 00000062: DUP1 00000063: PUSH4 0x6c54df52 00000068: EQ 00000069: PUSH2 0x0186 0000006c: JUMPI 0000006d: DUP1 0000006e: PUSH4 0x83b5ff8b 00000073: EQ 00000074: PUSH2 0x01dc 00000077: JUMPI 00000078: DUP1 00000079: PUSH4 0x8456cb59 0000007e: EQ 0000007f: PUSH2 0x0205 00000082: JUMPI 00000083: DUP1 00000084: PUSH4 0x8da5cb5b 00000089: EQ 0000008a: PUSH2 0x021a 0000008d: JUMPI 0000008e: DUP1 0000008f: PUSH4 0x8de93222 00000094: EQ 00000095: PUSH2 0x026f 00000098: JUMPI 00000099: DUP1 0000009a: PUSH4 0xf080e0bf 0000009f: EQ 000000a0: PUSH2 0x02a6 000000a3: JUMPI 000000a4: DUP1 000000a5: PUSH4 0xf2fde38b 000000aa: EQ 000000ab: PUSH2 0x02e8 000000ae: JUMPI 000000af: DUP1 000000b0: PUSH4 0xf7847eb7 000000b5: EQ 000000b6: PUSH2 0x0321 000000b9: JUMPI 000000ba: DUP1 000000bb: PUSH4 0xf92680de 000000c0: EQ 000000c1: PUSH2 0x03bf 000000c4: JUMPI 000000c5: JUMPDEST 000000c6: CALLVALUE 000000c7: ISZERO 000000c8: PUSH2 0x00d0 000000cb: JUMPI 000000cc: PUSH1 0x00 000000ce: DUP1 000000cf: REVERT 000000d0: JUMPDEST 000000d1: STOP 000000d2: JUMPDEST 000000d3: CALLVALUE 000000d4: ISZERO 000000d5: PUSH2 0x00dd 000000d8: JUMPI 000000d9: PUSH1 0x00 000000db: DUP1 000000dc: REVERT 000000dd: JUMPDEST 000000de: PUSH2 0x012d 000000e1: PUSH1 0x04 000000e3: DUP1 000000e4: DUP1 000000e5: CALLDATALOAD 000000e6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000000fb: AND 000000fc: SWAP1 000000fd: PUSH1 0x20 000000ff: ADD 00000100: SWAP1 00000101: SWAP2 00000102: SWAP1 00000103: DUP1 00000104: CALLDATALOAD 00000105: SWAP1 00000106: PUSH1 0x20 00000108: ADD 00000109: SWAP1 0000010a: SWAP2 0000010b: SWAP1 0000010c: DUP1 0000010d: CALLDATALOAD 0000010e: SWAP1 0000010f: PUSH1 0x20 00000111: ADD 00000112: SWAP1 00000113: SWAP2 00000114: SWAP1 00000115: DUP1 00000116: CALLDATALOAD 00000117: SWAP1 00000118: PUSH1 0x20 0000011a: ADD 0000011b: SWAP1 0000011c: SWAP2 0000011d: SWAP1 0000011e: DUP1 0000011f: CALLDATALOAD 00000120: SWAP1 00000121: PUSH1 0x20 00000123: ADD 00000124: SWAP1 00000125: SWAP2 00000126: SWAP1 00000127: POP 00000128: POP 00000129: PUSH2 0x0401 0000012c: JUMP 0000012d: JUMPDEST 0000012e: STOP 0000012f: JUMPDEST 00000130: CALLVALUE 00000131: ISZERO 00000132: PUSH2 0x013a 00000135: JUMPI 00000136: PUSH1 0x00 00000138: DUP1 00000139: REVERT 0000013a: JUMPDEST 0000013b: PUSH2 0x0142 0000013e: PUSH2 0x0519 00000141: JUMP 00000142: JUMPDEST 00000143: STOP 00000144: JUMPDEST 00000145: CALLVALUE 00000146: ISZERO 00000147: PUSH2 0x014f 0000014a: JUMPI 0000014b: PUSH1 0x00 0000014d: DUP1 0000014e: REVERT 0000014f: JUMPDEST 00000150: PUSH2 0x0157 00000153: PUSH2 0x05d7 00000156: JUMP 00000157: JUMPDEST 00000158: PUSH1 0x40 0000015a: MLOAD 0000015b: DUP1 0000015c: DUP3 0000015d: ISZERO 0000015e: ISZERO 0000015f: ISZERO 00000160: ISZERO 00000161: DUP2 00000162: MSTORE 00000163: PUSH1 0x20 00000165: ADD 00000166: SWAP2 00000167: POP 00000168: POP 00000169: PUSH1 0x40 0000016b: MLOAD 0000016c: DUP1 0000016d: SWAP2 0000016e: SUB 0000016f: SWAP1 00000170: RETURN 00000171: JUMPDEST 00000172: CALLVALUE 00000173: ISZERO 00000174: PUSH2 0x017c 00000177: JUMPI 00000178: PUSH1 0x00 0000017a: DUP1 0000017b: REVERT 0000017c: JUMPDEST 0000017d: PUSH2 0x0184 00000180: PUSH2 0x05ea 00000183: JUMP 00000184: JUMPDEST 00000185: STOP 00000186: JUMPDEST 00000187: CALLVALUE 00000188: ISZERO 00000189: PUSH2 0x0191 0000018c: JUMPI 0000018d: PUSH1 0x00 0000018f: DUP1 00000190: REVERT 00000191: JUMPDEST 00000192: PUSH2 0x01c6 00000195: PUSH1 0x04 00000197: DUP1 00000198: DUP1 00000199: CALLDATALOAD 0000019a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001af: AND 000001b0: SWAP1 000001b1: PUSH1 0x20 000001b3: ADD 000001b4: SWAP1 000001b5: SWAP2 000001b6: SWAP1 000001b7: DUP1 000001b8: CALLDATALOAD 000001b9: SWAP1 000001ba: PUSH1 0x20 000001bc: ADD 000001bd: SWAP1 000001be: SWAP2 000001bf: SWAP1 000001c0: POP 000001c1: POP 000001c2: PUSH2 0x069e 000001c5: JUMP 000001c6: JUMPDEST 000001c7: PUSH1 0x40 000001c9: MLOAD 000001ca: DUP1 000001cb: DUP3 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: CALLVALUE 000001de: ISZERO 000001df: PUSH2 0x01e7 000001e2: JUMPI 000001e3: PUSH1 0x00 000001e5: DUP1 000001e6: REVERT 000001e7: JUMPDEST 000001e8: PUSH2 0x01ef 000001eb: PUSH2 0x0719 000001ee: JUMP 000001ef: JUMPDEST 000001f0: PUSH1 0x40 000001f2: MLOAD 000001f3: DUP1 000001f4: DUP3 000001f5: DUP2 000001f6: MSTORE 000001f7: PUSH1 0x20 000001f9: ADD 000001fa: SWAP2 000001fb: POP 000001fc: POP 000001fd: PUSH1 0x40 000001ff: MLOAD 00000200: DUP1 00000201: SWAP2 00000202: SUB 00000203: SWAP1 00000204: RETURN 00000205: JUMPDEST 00000206: CALLVALUE 00000207: ISZERO 00000208: PUSH2 0x0210 0000020b: JUMPI 0000020c: PUSH1 0x00 0000020e: DUP1 0000020f: REVERT 00000210: JUMPDEST 00000211: PUSH2 0x0218 00000214: PUSH2 0x071f 00000217: JUMP 00000218: JUMPDEST 00000219: STOP 0000021a: JUMPDEST 0000021b: CALLVALUE 0000021c: ISZERO 0000021d: PUSH2 0x0225 00000220: JUMPI 00000221: PUSH1 0x00 00000223: DUP1 00000224: REVERT 00000225: JUMPDEST 00000226: PUSH2 0x022d 00000229: PUSH2 0x07df 0000022c: JUMP 0000022d: JUMPDEST 0000022e: PUSH1 0x40 00000230: MLOAD 00000231: DUP1 00000232: DUP3 00000233: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000248: AND 00000249: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000025e: AND 0000025f: DUP2 00000260: MSTORE 00000261: PUSH1 0x20 00000263: ADD 00000264: SWAP2 00000265: POP 00000266: POP 00000267: PUSH1 0x40 00000269: MLOAD 0000026a: DUP1 0000026b: SWAP2 0000026c: SUB 0000026d: SWAP1 0000026e: RETURN 0000026f: JUMPDEST 00000270: PUSH2 0x02a4 00000273: PUSH1 0x04 00000275: DUP1 00000276: DUP1 00000277: CALLDATALOAD 00000278: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000028d: AND 0000028e: SWAP1 0000028f: PUSH1 0x20 00000291: ADD 00000292: SWAP1 00000293: SWAP2 00000294: SWAP1 00000295: DUP1 00000296: CALLDATALOAD 00000297: SWAP1 00000298: PUSH1 0x20 0000029a: ADD 0000029b: SWAP1 0000029c: SWAP2 0000029d: SWAP1 0000029e: POP 0000029f: POP 000002a0: PUSH2 0x0804 000002a3: JUMP 000002a4: JUMPDEST 000002a5: STOP 000002a6: JUMPDEST 000002a7: CALLVALUE 000002a8: ISZERO 000002a9: PUSH2 0x02b1 000002ac: JUMPI 000002ad: PUSH1 0x00 000002af: DUP1 000002b0: REVERT 000002b1: JUMPDEST 000002b2: PUSH2 0x02e6 000002b5: PUSH1 0x04 000002b7: DUP1 000002b8: DUP1 000002b9: CALLDATALOAD 000002ba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002cf: AND 000002d0: SWAP1 000002d1: PUSH1 0x20 000002d3: ADD 000002d4: SWAP1 000002d5: SWAP2 000002d6: SWAP1 000002d7: DUP1 000002d8: CALLDATALOAD 000002d9: SWAP1 000002da: PUSH1 0x20 000002dc: ADD 000002dd: SWAP1 000002de: SWAP2 000002df: SWAP1 000002e0: POP 000002e1: POP 000002e2: PUSH2 0x089b 000002e5: JUMP 000002e6: JUMPDEST 000002e7: STOP 000002e8: JUMPDEST 000002e9: CALLVALUE 000002ea: ISZERO 000002eb: PUSH2 0x02f3 000002ee: JUMPI 000002ef: PUSH1 0x00 000002f1: DUP1 000002f2: REVERT 000002f3: JUMPDEST 000002f4: PUSH2 0x031f 000002f7: PUSH1 0x04 000002f9: DUP1 000002fa: DUP1 000002fb: CALLDATALOAD 000002fc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000311: AND 00000312: SWAP1 00000313: PUSH1 0x20 00000315: ADD 00000316: SWAP1 00000317: SWAP2 00000318: SWAP1 00000319: POP 0000031a: POP 0000031b: PUSH2 0x0976 0000031e: JUMP 0000031f: JUMPDEST 00000320: STOP 00000321: JUMPDEST 00000322: CALLVALUE 00000323: ISZERO 00000324: PUSH2 0x032c 00000327: JUMPI 00000328: PUSH1 0x00 0000032a: DUP1 0000032b: REVERT 0000032c: JUMPDEST 0000032d: PUSH2 0x0361 00000330: PUSH1 0x04 00000332: DUP1 00000333: DUP1 00000334: CALLDATALOAD 00000335: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000034a: AND 0000034b: SWAP1 0000034c: PUSH1 0x20 0000034e: ADD 0000034f: SWAP1 00000350: SWAP2 00000351: SWAP1 00000352: DUP1 00000353: CALLDATALOAD 00000354: SWAP1 00000355: PUSH1 0x20 00000357: ADD 00000358: SWAP1 00000359: SWAP2 0000035a: SWAP1 0000035b: POP 0000035c: POP 0000035d: PUSH2 0x0acb 00000360: JUMP 00000361: JUMPDEST 00000362: PUSH1 0x40 00000364: MLOAD 00000365: DUP1 00000366: DUP7 00000367: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000037c: AND 0000037d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000392: AND 00000393: DUP2 00000394: MSTORE 00000395: PUSH1 0x20 00000397: ADD 00000398: DUP6 00000399: DUP2 0000039a: MSTORE 0000039b: PUSH1 0x20 0000039d: ADD 0000039e: DUP5 0000039f: DUP2 000003a0: MSTORE 000003a1: PUSH1 0x20 000003a3: ADD 000003a4: DUP4 000003a5: DUP2 000003a6: MSTORE 000003a7: PUSH1 0x20 000003a9: ADD 000003aa: DUP3 000003ab: DUP2 000003ac: MSTORE 000003ad: PUSH1 0x20 000003af: ADD 000003b0: SWAP6 000003b1: POP 000003b2: POP 000003b3: POP 000003b4: POP 000003b5: POP 000003b6: POP 000003b7: PUSH1 0x40 000003b9: MLOAD 000003ba: DUP1 000003bb: SWAP2 000003bc: SUB 000003bd: SWAP1 000003be: RETURN 000003bf: JUMPDEST 000003c0: CALLVALUE 000003c1: ISZERO 000003c2: PUSH2 0x03ca 000003c5: JUMPI 000003c6: PUSH1 0x00 000003c8: DUP1 000003c9: REVERT 000003ca: JUMPDEST 000003cb: PUSH2 0x03ff 000003ce: PUSH1 0x04 000003d0: DUP1 000003d1: DUP1 000003d2: CALLDATALOAD 000003d3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003e8: AND 000003e9: SWAP1 000003ea: PUSH1 0x20 000003ec: ADD 000003ed: SWAP1 000003ee: SWAP2 000003ef: SWAP1 000003f0: DUP1 000003f1: CALLDATALOAD 000003f2: SWAP1 000003f3: PUSH1 0x20 000003f5: ADD 000003f6: SWAP1 000003f7: SWAP2 000003f8: SWAP1 000003f9: POP 000003fa: POP 000003fb: PUSH2 0x0c2c 000003fe: JUMP 000003ff: JUMPDEST 00000400: STOP 00000401: JUMPDEST 00000402: PUSH1 0x00 00000404: PUSH2 0x040b 00000407: PUSH2 0x173f 0000040a: JUMP 0000040b: JUMPDEST 0000040c: DUP5 0000040d: PUSH16 0xffffffffffffffffffffffffffffffff 0000041e: DUP2 0000041f: LT 00000420: ISZERO 00000421: ISZERO 00000422: PUSH2 0x042a 00000425: JUMPI 00000426: PUSH1 0x00 00000428: DUP1 00000429: REVERT 0000042a: JUMPDEST 0000042b: DUP5 0000042c: PUSH16 0xffffffffffffffffffffffffffffffff 0000043d: DUP2 0000043e: LT 0000043f: ISZERO 00000440: ISZERO 00000441: PUSH2 0x0449 00000444: JUMPI 00000445: PUSH1 0x00 00000447: DUP1 00000448: REVERT 00000449: JUMPDEST 0000044a: DUP5 0000044b: PUSH8 0xffffffffffffffff 00000454: DUP2 00000455: GT 00000456: ISZERO 00000457: ISZERO 00000458: ISZERO 00000459: PUSH2 0x0461 0000045c: JUMPI 0000045d: PUSH1 0x00 0000045f: DUP1 00000460: REVERT 00000461: JUMPDEST 00000462: CALLER 00000463: SWAP5 00000464: POP 00000465: PUSH2 0x046e 00000468: DUP11 00000469: DUP11 0000046a: PUSH2 0x0d3d 0000046d: JUMP 0000046e: JUMPDEST 0000046f: PUSH1 0xc0 00000471: PUSH1 0x40 00000473: MLOAD 00000474: SWAP1 00000475: DUP2 00000476: ADD 00000477: PUSH1 0x40 00000479: MSTORE 0000047a: DUP1 0000047b: DUP12 0000047c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000491: AND 00000492: DUP2 00000493: MSTORE 00000494: PUSH1 0x20 00000496: ADD 00000497: DUP7 00000498: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004ad: AND 000004ae: DUP2 000004af: MSTORE 000004b0: PUSH1 0x20 000004b2: ADD 000004b3: DUP10 000004b4: PUSH16 0xffffffffffffffffffffffffffffffff 000004c5: AND 000004c6: DUP2 000004c7: MSTORE 000004c8: PUSH1 0x20 000004ca: ADD 000004cb: DUP9 000004cc: PUSH16 0xffffffffffffffffffffffffffffffff 000004dd: AND 000004de: DUP2 000004df: MSTORE 000004e0: PUSH1 0x20 000004e2: ADD 000004e3: DUP8 000004e4: PUSH8 0xffffffffffffffff 000004ed: AND 000004ee: DUP2 000004ef: MSTORE 000004f0: PUSH1 0x20 000004f2: ADD 000004f3: TIMESTAMP 000004f4: PUSH8 0xffffffffffffffff 000004fd: AND 000004fe: DUP2 000004ff: MSTORE 00000500: POP 00000501: SWAP4 00000502: POP 00000503: PUSH2 0x050d 00000506: DUP11 00000507: DUP11 00000508: DUP7 00000509: PUSH2 0x0dd1 0000050c: JUMP 0000050d: JUMPDEST 0000050e: POP 0000050f: POP 00000510: POP 00000511: POP 00000512: POP 00000513: POP 00000514: POP 00000515: POP 00000516: POP 00000517: POP 00000518: JUMP 00000519: JUMPDEST 0000051a: PUSH1 0x00 0000051c: DUP1 0000051d: SWAP1 0000051e: SLOAD 0000051f: SWAP1 00000520: PUSH2 0x0100 00000523: EXP 00000524: SWAP1 00000525: DIV 00000526: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000053b: AND 0000053c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000551: AND 00000552: CALLER 00000553: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000568: AND 00000569: EQ 0000056a: ISZERO 0000056b: ISZERO 0000056c: PUSH2 0x0574 0000056f: JUMPI 00000570: PUSH1 0x00 00000572: DUP1 00000573: REVERT 00000574: JUMPDEST 00000575: PUSH1 0x00 00000577: PUSH1 0x14 00000579: SWAP1 0000057a: SLOAD 0000057b: SWAP1 0000057c: PUSH2 0x0100 0000057f: EXP 00000580: SWAP1 00000581: DIV 00000582: PUSH1 0xff 00000584: AND 00000585: ISZERO 00000586: ISZERO 00000587: PUSH2 0x058f 0000058a: JUMPI 0000058b: PUSH1 0x00 0000058d: DUP1 0000058e: REVERT 0000058f: JUMPDEST 00000590: PUSH1 0x00 00000592: DUP1 00000593: PUSH1 0x14 00000595: PUSH2 0x0100 00000598: EXP 00000599: DUP2 0000059a: SLOAD 0000059b: DUP2 0000059c: PUSH1 0xff 0000059e: MUL 0000059f: NOT 000005a0: AND 000005a1: SWAP1 000005a2: DUP4 000005a3: ISZERO 000005a4: ISZERO 000005a5: MUL 000005a6: OR 000005a7: SWAP1 000005a8: SSTORE 000005a9: POP 000005aa: PUSH32 0x7805862f689e2f13df9f062ff482ad3ad112aca9e0847911ed832e158c525b33 000005cb: PUSH1 0x40 000005cd: MLOAD 000005ce: PUSH1 0x40 000005d0: MLOAD 000005d1: DUP1 000005d2: SWAP2 000005d3: SUB 000005d4: SWAP1 000005d5: LOG1 000005d6: JUMP 000005d7: JUMPDEST 000005d8: PUSH1 0x00 000005da: PUSH1 0x14 000005dc: SWAP1 000005dd: SLOAD 000005de: SWAP1 000005df: PUSH2 0x0100 000005e2: EXP 000005e3: SWAP1 000005e4: DIV 000005e5: PUSH1 0xff 000005e7: AND 000005e8: DUP2 000005e9: JUMP 000005ea: JUMPDEST 000005eb: PUSH1 0x00 000005ed: DUP1 000005ee: SWAP1 000005ef: SLOAD 000005f0: SWAP1 000005f1: PUSH2 0x0100 000005f4: EXP 000005f5: SWAP1 000005f6: DIV 000005f7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000060c: AND 0000060d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000622: AND 00000623: CALLER 00000624: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000639: AND 0000063a: EQ 0000063b: ISZERO 0000063c: ISZERO 0000063d: PUSH2 0x0645 00000640: JUMPI 00000641: PUSH1 0x00 00000643: DUP1 00000644: REVERT 00000645: JUMPDEST 00000646: CALLER 00000647: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000065c: AND 0000065d: PUSH2 0x08fc 00000660: ADDRESS 00000661: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000676: AND 00000677: BALANCE 00000678: SWAP1 00000679: DUP2 0000067a: ISZERO 0000067b: MUL 0000067c: SWAP1 0000067d: PUSH1 0x40 0000067f: MLOAD 00000680: PUSH1 0x00 00000682: PUSH1 0x40 00000684: MLOAD 00000685: DUP1 00000686: DUP4 00000687: SUB 00000688: DUP2 00000689: DUP6 0000068a: DUP9 0000068b: DUP9 0000068c: CALL 0000068d: SWAP4 0000068e: POP 0000068f: POP 00000690: POP 00000691: POP 00000692: ISZERO 00000693: ISZERO 00000694: PUSH2 0x069c 00000697: JUMPI 00000698: PUSH1 0x00 0000069a: DUP1 0000069b: REVERT 0000069c: JUMPDEST 0000069d: JUMP 0000069e: JUMPDEST 0000069f: PUSH1 0x00 000006a1: DUP1 000006a2: PUSH1 0x02 000006a4: PUSH1 0x00 000006a6: DUP6 000006a7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006bc: AND 000006bd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006d2: AND 000006d3: DUP2 000006d4: MSTORE 000006d5: PUSH1 0x20 000006d7: ADD 000006d8: SWAP1 000006d9: DUP2 000006da: MSTORE 000006db: PUSH1 0x20 000006dd: ADD 000006de: PUSH1 0x00 000006e0: KECCAK256 000006e1: PUSH1 0x00 000006e3: DUP5 000006e4: DUP2 000006e5: MSTORE 000006e6: PUSH1 0x20 000006e8: ADD 000006e9: SWAP1 000006ea: DUP2 000006eb: MSTORE 000006ec: PUSH1 0x20 000006ee: ADD 000006ef: PUSH1 0x00 000006f1: KECCAK256 000006f2: SWAP1 000006f3: POP 000006f4: PUSH2 0x06fc 000006f7: DUP2 000006f8: PUSH2 0x10a7 000006fb: JUMP 000006fc: JUMPDEST 000006fd: ISZERO 000006fe: ISZERO 000006ff: PUSH2 0x0707 00000702: JUMPI 00000703: PUSH1 0x00 00000705: DUP1 00000706: REVERT 00000707: JUMPDEST 00000708: PUSH2 0x0710 0000070b: DUP2 0000070c: PUSH2 0x10d5 0000070f: JUMP 00000710: JUMPDEST 00000711: SWAP2 00000712: POP 00000713: POP 00000714: SWAP3 00000715: SWAP2 00000716: POP 00000717: POP 00000718: JUMP 00000719: JUMPDEST 0000071a: PUSH1 0x01 0000071c: SLOAD 0000071d: DUP2 0000071e: JUMP 0000071f: JUMPDEST 00000720: PUSH1 0x00 00000722: DUP1 00000723: SWAP1 00000724: SLOAD 00000725: SWAP1 00000726: PUSH2 0x0100 00000729: EXP 0000072a: SWAP1 0000072b: DIV 0000072c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000741: AND 00000742: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000757: AND 00000758: CALLER 00000759: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000076e: AND 0000076f: EQ 00000770: ISZERO 00000771: ISZERO 00000772: PUSH2 0x077a 00000775: JUMPI 00000776: PUSH1 0x00 00000778: DUP1 00000779: REVERT 0000077a: JUMPDEST 0000077b: PUSH1 0x00 0000077d: PUSH1 0x14 0000077f: SWAP1 00000780: SLOAD 00000781: SWAP1 00000782: PUSH2 0x0100 00000785: EXP 00000786: SWAP1 00000787: DIV 00000788: PUSH1 0xff 0000078a: AND 0000078b: ISZERO 0000078c: ISZERO 0000078d: ISZERO 0000078e: PUSH2 0x0796 00000791: JUMPI 00000792: PUSH1 0x00 00000794: DUP1 00000795: REVERT 00000796: JUMPDEST 00000797: PUSH1 0x01 00000799: PUSH1 0x00 0000079b: PUSH1 0x14 0000079d: PUSH2 0x0100 000007a0: EXP 000007a1: DUP2 000007a2: SLOAD 000007a3: DUP2 000007a4: PUSH1 0xff 000007a6: MUL 000007a7: NOT 000007a8: AND 000007a9: SWAP1 000007aa: DUP4 000007ab: ISZERO 000007ac: ISZERO 000007ad: MUL 000007ae: OR 000007af: SWAP1 000007b0: SSTORE 000007b1: POP 000007b2: PUSH32 0x6985a02210a168e66602d3235cb6db0e70f92b3ba4d376a33c0f3d9434bff625 000007d3: PUSH1 0x40 000007d5: MLOAD 000007d6: PUSH1 0x40 000007d8: MLOAD 000007d9: DUP1 000007da: SWAP2 000007db: SUB 000007dc: SWAP1 000007dd: LOG1 000007de: JUMP 000007df: JUMPDEST 000007e0: PUSH1 0x00 000007e2: DUP1 000007e3: SWAP1 000007e4: SLOAD 000007e5: SWAP1 000007e6: PUSH2 0x0100 000007e9: EXP 000007ea: SWAP1 000007eb: DIV 000007ec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000801: AND 00000802: DUP2 00000803: JUMP 00000804: JUMPDEST 00000805: PUSH1 0x00 00000807: DUP1 00000808: PUSH1 0x02 0000080a: PUSH1 0x00 0000080c: DUP6 0000080d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000822: AND 00000823: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000838: AND 00000839: DUP2 0000083a: MSTORE 0000083b: PUSH1 0x20 0000083d: ADD 0000083e: SWAP1 0000083f: DUP2 00000840: MSTORE 00000841: PUSH1 0x20 00000843: ADD 00000844: PUSH1 0x00 00000846: KECCAK256 00000847: PUSH1 0x00 00000849: DUP5 0000084a: DUP2 0000084b: MSTORE 0000084c: PUSH1 0x20 0000084e: ADD 0000084f: SWAP1 00000850: DUP2 00000851: MSTORE 00000852: PUSH1 0x20 00000854: ADD 00000855: PUSH1 0x00 00000857: KECCAK256 00000858: PUSH1 0x01 0000085a: ADD 0000085b: PUSH1 0x00 0000085d: SWAP1 0000085e: SLOAD 0000085f: SWAP1 00000860: PUSH2 0x0100 00000863: EXP 00000864: SWAP1 00000865: DIV 00000866: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000087b: AND 0000087c: SWAP2 0000087d: POP 0000087e: PUSH2 0x0888 00000881: DUP5 00000882: DUP5 00000883: CALLVALUE 00000884: PUSH2 0x11c8 00000887: JUMP 00000888: JUMPDEST 00000889: SWAP1 0000088a: POP 0000088b: PUSH2 0x0895 0000088e: DUP5 0000088f: CALLER 00000890: DUP6 00000891: PUSH2 0x1432 00000894: JUMP 00000895: JUMPDEST 00000896: POP 00000897: POP 00000898: POP 00000899: POP 0000089a: JUMP 0000089b: JUMPDEST 0000089c: PUSH1 0x00 0000089e: DUP1 0000089f: PUSH1 0x02 000008a1: PUSH1 0x00 000008a3: DUP6 000008a4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008b9: AND 000008ba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008cf: AND 000008d0: DUP2 000008d1: MSTORE 000008d2: PUSH1 0x20 000008d4: ADD 000008d5: SWAP1 000008d6: DUP2 000008d7: MSTORE 000008d8: PUSH1 0x20 000008da: ADD 000008db: PUSH1 0x00 000008dd: KECCAK256 000008de: PUSH1 0x00 000008e0: DUP5 000008e1: DUP2 000008e2: MSTORE 000008e3: PUSH1 0x20 000008e5: ADD 000008e6: SWAP1 000008e7: DUP2 000008e8: MSTORE 000008e9: PUSH1 0x20 000008eb: ADD 000008ec: PUSH1 0x00 000008ee: KECCAK256 000008ef: SWAP2 000008f0: POP 000008f1: PUSH2 0x08f9 000008f4: DUP3 000008f5: PUSH2 0x10a7 000008f8: JUMP 000008f9: JUMPDEST 000008fa: ISZERO 000008fb: ISZERO 000008fc: PUSH2 0x0904 000008ff: JUMPI 00000900: PUSH1 0x00 00000902: DUP1 00000903: REVERT 00000904: JUMPDEST 00000905: DUP2 00000906: PUSH1 0x01 00000908: ADD 00000909: PUSH1 0x00 0000090b: SWAP1 0000090c: SLOAD 0000090d: SWAP1 0000090e: PUSH2 0x0100 00000911: EXP 00000912: SWAP1 00000913: DIV 00000914: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000929: AND 0000092a: SWAP1 0000092b: POP 0000092c: DUP1 0000092d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000942: AND 00000943: CALLER 00000944: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000959: AND 0000095a: EQ 0000095b: ISZERO 0000095c: ISZERO 0000095d: PUSH2 0x0965 00000960: JUMPI 00000961: PUSH1 0x00 00000963: DUP1 00000964: REVERT 00000965: JUMPDEST 00000966: PUSH2 0x0970 00000969: DUP5 0000096a: DUP5 0000096b: DUP4 0000096c: PUSH2 0x14fb 0000096f: JUMP 00000970: JUMPDEST 00000971: POP 00000972: POP 00000973: POP 00000974: POP 00000975: JUMP 00000976: JUMPDEST 00000977: PUSH1 0x00 00000979: DUP1 0000097a: SWAP1 0000097b: SLOAD 0000097c: SWAP1 0000097d: PUSH2 0x0100 00000980: EXP 00000981: SWAP1 00000982: DIV 00000983: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000998: AND 00000999: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009ae: AND 000009af: CALLER 000009b0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009c5: AND 000009c6: EQ 000009c7: ISZERO 000009c8: ISZERO 000009c9: PUSH2 0x09d1 000009cc: JUMPI 000009cd: PUSH1 0x00 000009cf: DUP1 000009d0: REVERT 000009d1: JUMPDEST 000009d2: PUSH1 0x00 000009d4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009e9: AND 000009ea: DUP2 000009eb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a00: AND 00000a01: EQ 00000a02: ISZERO 00000a03: ISZERO 00000a04: ISZERO 00000a05: PUSH2 0x0a0d 00000a08: JUMPI 00000a09: PUSH1 0x00 00000a0b: DUP1 00000a0c: REVERT 00000a0d: JUMPDEST 00000a0e: DUP1 00000a0f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a24: AND 00000a25: PUSH1 0x00 00000a27: DUP1 00000a28: SWAP1 00000a29: SLOAD 00000a2a: SWAP1 00000a2b: PUSH2 0x0100 00000a2e: EXP 00000a2f: SWAP1 00000a30: DIV 00000a31: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a46: AND 00000a47: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a5c: AND 00000a5d: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00000a7e: PUSH1 0x40 00000a80: MLOAD 00000a81: PUSH1 0x40 00000a83: MLOAD 00000a84: DUP1 00000a85: SWAP2 00000a86: SUB 00000a87: SWAP1 00000a88: LOG3 00000a89: DUP1 00000a8a: PUSH1 0x00 00000a8c: DUP1 00000a8d: PUSH2 0x0100 00000a90: EXP 00000a91: DUP2 00000a92: SLOAD 00000a93: DUP2 00000a94: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000aa9: MUL 00000aaa: NOT 00000aab: AND 00000aac: SWAP1 00000aad: DUP4 00000aae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ac3: AND 00000ac4: MUL 00000ac5: OR 00000ac6: SWAP1 00000ac7: SSTORE 00000ac8: POP 00000ac9: POP 00000aca: JUMP 00000acb: JUMPDEST 00000acc: PUSH1 0x00 00000ace: DUP1 00000acf: PUSH1 0x00 00000ad1: DUP1 00000ad2: PUSH1 0x00 00000ad4: DUP1 00000ad5: PUSH1 0x02 00000ad7: PUSH1 0x00 00000ad9: DUP10 00000ada: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000aef: AND 00000af0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b05: AND 00000b06: DUP2 00000b07: MSTORE 00000b08: PUSH1 0x20 00000b0a: ADD 00000b0b: SWAP1 00000b0c: DUP2 00000b0d: MSTORE 00000b0e: PUSH1 0x20 00000b10: ADD 00000b11: PUSH1 0x00 00000b13: KECCAK256 00000b14: PUSH1 0x00 00000b16: DUP9 00000b17: DUP2 00000b18: MSTORE 00000b19: PUSH1 0x20 00000b1b: ADD 00000b1c: SWAP1 00000b1d: DUP2 00000b1e: MSTORE 00000b1f: PUSH1 0x20 00000b21: ADD 00000b22: PUSH1 0x00 00000b24: KECCAK256 00000b25: SWAP1 00000b26: POP 00000b27: PUSH2 0x0b2f 00000b2a: DUP2 00000b2b: PUSH2 0x10a7 00000b2e: JUMP 00000b2f: JUMPDEST 00000b30: ISZERO 00000b31: ISZERO 00000b32: PUSH2 0x0b3a 00000b35: JUMPI 00000b36: PUSH1 0x00 00000b38: DUP1 00000b39: REVERT 00000b3a: JUMPDEST 00000b3b: DUP1 00000b3c: PUSH1 0x01 00000b3e: ADD 00000b3f: PUSH1 0x00 00000b41: SWAP1 00000b42: SLOAD 00000b43: SWAP1 00000b44: PUSH2 0x0100 00000b47: EXP 00000b48: SWAP1 00000b49: DIV 00000b4a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b5f: AND 00000b60: DUP2 00000b61: PUSH1 0x02 00000b63: ADD 00000b64: PUSH1 0x00 00000b66: SWAP1 00000b67: SLOAD 00000b68: SWAP1 00000b69: PUSH2 0x0100 00000b6c: EXP 00000b6d: SWAP1 00000b6e: DIV 00000b6f: PUSH16 0xffffffffffffffffffffffffffffffff 00000b80: AND 00000b81: DUP3 00000b82: PUSH1 0x02 00000b84: ADD 00000b85: PUSH1 0x10 00000b87: SWAP1 00000b88: SLOAD 00000b89: SWAP1 00000b8a: PUSH2 0x0100 00000b8d: EXP 00000b8e: SWAP1 00000b8f: DIV 00000b90: PUSH16 0xffffffffffffffffffffffffffffffff 00000ba1: AND 00000ba2: DUP4 00000ba3: PUSH1 0x03 00000ba5: ADD 00000ba6: PUSH1 0x00 00000ba8: SWAP1 00000ba9: SLOAD 00000baa: SWAP1 00000bab: PUSH2 0x0100 00000bae: EXP 00000baf: SWAP1 00000bb0: DIV 00000bb1: PUSH8 0xffffffffffffffff 00000bba: AND 00000bbb: DUP5 00000bbc: PUSH1 0x03 00000bbe: ADD 00000bbf: PUSH1 0x08 00000bc1: SWAP1 00000bc2: SLOAD 00000bc3: SWAP1 00000bc4: PUSH2 0x0100 00000bc7: EXP 00000bc8: SWAP1 00000bc9: DIV 00000bca: PUSH8 0xffffffffffffffff 00000bd3: AND 00000bd4: DUP4 00000bd5: PUSH16 0xffffffffffffffffffffffffffffffff 00000be6: AND 00000be7: SWAP4 00000be8: POP 00000be9: DUP3 00000bea: PUSH16 0xffffffffffffffffffffffffffffffff 00000bfb: AND 00000bfc: SWAP3 00000bfd: POP 00000bfe: DUP2 00000bff: PUSH8 0xffffffffffffffff 00000c08: AND 00000c09: SWAP2 00000c0a: POP 00000c0b: DUP1 00000c0c: PUSH8 0xffffffffffffffff 00000c15: AND 00000c16: SWAP1 00000c17: POP 00000c18: SWAP6 00000c19: POP 00000c1a: SWAP6 00000c1b: POP 00000c1c: SWAP6 00000c1d: POP 00000c1e: SWAP6 00000c1f: POP 00000c20: SWAP6 00000c21: POP 00000c22: POP 00000c23: SWAP3 00000c24: SWAP6 00000c25: POP 00000c26: SWAP3 00000c27: SWAP6 00000c28: SWAP1 00000c29: SWAP4 00000c2a: POP 00000c2b: JUMP 00000c2c: JUMPDEST 00000c2d: PUSH1 0x00 00000c2f: DUP1 00000c30: PUSH1 0x14 00000c32: SWAP1 00000c33: SLOAD 00000c34: SWAP1 00000c35: PUSH2 0x0100 00000c38: EXP 00000c39: SWAP1 00000c3a: DIV 00000c3b: PUSH1 0xff 00000c3d: AND 00000c3e: ISZERO 00000c3f: ISZERO 00000c40: PUSH2 0x0c48 00000c43: JUMPI 00000c44: PUSH1 0x00 00000c46: DUP1 00000c47: REVERT 00000c48: JUMPDEST 00000c49: PUSH1 0x00 00000c4b: DUP1 00000c4c: SWAP1 00000c4d: SLOAD 00000c4e: SWAP1 00000c4f: PUSH2 0x0100 00000c52: EXP 00000c53: SWAP1 00000c54: DIV 00000c55: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c6a: AND 00000c6b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c80: AND 00000c81: CALLER 00000c82: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c97: AND 00000c98: EQ 00000c99: ISZERO 00000c9a: ISZERO 00000c9b: PUSH2 0x0ca3 00000c9e: JUMPI 00000c9f: PUSH1 0x00 00000ca1: DUP1 00000ca2: REVERT 00000ca3: JUMPDEST 00000ca4: PUSH1 0x02 00000ca6: PUSH1 0x00 00000ca8: DUP5 00000ca9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cbe: AND 00000cbf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cd4: AND 00000cd5: DUP2 00000cd6: MSTORE 00000cd7: PUSH1 0x20 00000cd9: ADD 00000cda: SWAP1 00000cdb: DUP2 00000cdc: MSTORE 00000cdd: PUSH1 0x20 00000cdf: ADD 00000ce0: PUSH1 0x00 00000ce2: KECCAK256 00000ce3: PUSH1 0x00 00000ce5: DUP4 00000ce6: DUP2 00000ce7: MSTORE 00000ce8: PUSH1 0x20 00000cea: ADD 00000ceb: SWAP1 00000cec: DUP2 00000ced: MSTORE 00000cee: PUSH1 0x20 00000cf0: ADD 00000cf1: PUSH1 0x00 00000cf3: KECCAK256 00000cf4: SWAP1 00000cf5: POP 00000cf6: PUSH2 0x0cfe 00000cf9: DUP2 00000cfa: PUSH2 0x10a7 00000cfd: JUMP 00000cfe: JUMPDEST 00000cff: ISZERO 00000d00: ISZERO 00000d01: PUSH2 0x0d09 00000d04: JUMPI 00000d05: PUSH1 0x00 00000d07: DUP1 00000d08: REVERT 00000d09: JUMPDEST 00000d0a: PUSH2 0x0d38 00000d0d: DUP4 00000d0e: DUP4 00000d0f: DUP4 00000d10: PUSH1 0x01 00000d12: ADD 00000d13: PUSH1 0x00 00000d15: SWAP1 00000d16: SLOAD 00000d17: SWAP1 00000d18: PUSH2 0x0100 00000d1b: EXP 00000d1c: SWAP1 00000d1d: DIV 00000d1e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d33: AND 00000d34: PUSH2 0x14fb 00000d37: JUMP 00000d38: JUMPDEST 00000d39: POP 00000d3a: POP 00000d3b: POP 00000d3c: JUMP 00000d3d: JUMPDEST 00000d3e: PUSH1 0x00 00000d40: PUSH2 0x0d48 00000d43: DUP4 00000d44: PUSH2 0x15b4 00000d47: JUMP 00000d48: JUMPDEST 00000d49: SWAP1 00000d4a: POP 00000d4b: DUP1 00000d4c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d61: AND 00000d62: PUSH4 0xb2e6ceeb 00000d67: DUP4 00000d68: PUSH1 0x40 00000d6a: MLOAD 00000d6b: DUP3 00000d6c: PUSH4 0xffffffff 00000d71: AND 00000d72: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000d90: MUL 00000d91: DUP2 00000d92: MSTORE 00000d93: PUSH1 0x04 00000d95: ADD 00000d96: DUP1 00000d97: DUP3 00000d98: DUP2 00000d99: MSTORE 00000d9a: PUSH1 0x20 00000d9c: ADD 00000d9d: SWAP2 00000d9e: POP 00000d9f: POP 00000da0: PUSH1 0x00 00000da2: PUSH1 0x40 00000da4: MLOAD 00000da5: DUP1 00000da6: DUP4 00000da7: SUB 00000da8: DUP2 00000da9: PUSH1 0x00 00000dab: DUP8 00000dac: DUP1 00000dad: EXTCODESIZE 00000dae: ISZERO 00000daf: ISZERO 00000db0: PUSH2 0x0db8 00000db3: JUMPI 00000db4: PUSH1 0x00 00000db6: DUP1 00000db7: REVERT 00000db8: JUMPDEST 00000db9: PUSH2 0x02c6 00000dbc: GAS 00000dbd: SUB 00000dbe: CALL 00000dbf: ISZERO 00000dc0: ISZERO 00000dc1: PUSH2 0x0dc9 00000dc4: JUMPI 00000dc5: PUSH1 0x00 00000dc7: DUP1 00000dc8: REVERT 00000dc9: JUMPDEST 00000dca: POP 00000dcb: POP 00000dcc: POP 00000dcd: POP 00000dce: POP 00000dcf: POP 00000dd0: JUMP 00000dd1: JUMPDEST 00000dd2: PUSH1 0x3c 00000dd4: DUP2 00000dd5: PUSH1 0x80 00000dd7: ADD 00000dd8: MLOAD 00000dd9: PUSH8 0xffffffffffffffff 00000de2: AND 00000de3: LT 00000de4: ISZERO 00000de5: ISZERO 00000de6: ISZERO 00000de7: PUSH2 0x0def 00000dea: JUMPI 00000deb: PUSH1 0x00 00000ded: DUP1 00000dee: REVERT 00000def: JUMPDEST 00000df0: DUP1 00000df1: PUSH1 0x02 00000df3: PUSH1 0x00 00000df5: DUP6 00000df6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e0b: AND 00000e0c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e21: AND 00000e22: DUP2 00000e23: MSTORE 00000e24: PUSH1 0x20 00000e26: ADD 00000e27: SWAP1 00000e28: DUP2 00000e29: MSTORE 00000e2a: PUSH1 0x20 00000e2c: ADD 00000e2d: PUSH1 0x00 00000e2f: KECCAK256 00000e30: PUSH1 0x00 00000e32: DUP5 00000e33: DUP2 00000e34: MSTORE 00000e35: PUSH1 0x20 00000e37: ADD 00000e38: SWAP1 00000e39: DUP2 00000e3a: MSTORE 00000e3b: PUSH1 0x20 00000e3d: ADD 00000e3e: PUSH1 0x00 00000e40: KECCAK256 00000e41: PUSH1 0x00 00000e43: DUP3 00000e44: ADD 00000e45: MLOAD 00000e46: DUP2 00000e47: PUSH1 0x00 00000e49: ADD 00000e4a: PUSH1 0x00 00000e4c: PUSH2 0x0100 00000e4f: EXP 00000e50: DUP2 00000e51: SLOAD 00000e52: DUP2 00000e53: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e68: MUL 00000e69: NOT 00000e6a: AND 00000e6b: SWAP1 00000e6c: DUP4 00000e6d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e82: AND 00000e83: MUL 00000e84: OR 00000e85: SWAP1 00000e86: SSTORE 00000e87: POP 00000e88: PUSH1 0x20 00000e8a: DUP3 00000e8b: ADD 00000e8c: MLOAD 00000e8d: DUP2 00000e8e: PUSH1 0x01 00000e90: ADD 00000e91: PUSH1 0x00 00000e93: PUSH2 0x0100 00000e96: EXP 00000e97: DUP2 00000e98: SLOAD 00000e99: DUP2 00000e9a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000eaf: MUL 00000eb0: NOT 00000eb1: AND 00000eb2: SWAP1 00000eb3: DUP4 00000eb4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ec9: AND 00000eca: MUL 00000ecb: OR 00000ecc: SWAP1 00000ecd: SSTORE 00000ece: POP 00000ecf: PUSH1 0x40 00000ed1: DUP3 00000ed2: ADD 00000ed3: MLOAD 00000ed4: DUP2 00000ed5: PUSH1 0x02 00000ed7: ADD 00000ed8: PUSH1 0x00 00000eda: PUSH2 0x0100 00000edd: EXP 00000ede: DUP2 00000edf: SLOAD 00000ee0: DUP2 00000ee1: PUSH16 0xffffffffffffffffffffffffffffffff 00000ef2: MUL 00000ef3: NOT 00000ef4: AND 00000ef5: SWAP1 00000ef6: DUP4 00000ef7: PUSH16 0xffffffffffffffffffffffffffffffff 00000f08: AND 00000f09: MUL 00000f0a: OR 00000f0b: SWAP1 00000f0c: SSTORE 00000f0d: POP 00000f0e: PUSH1 0x60 00000f10: DUP3 00000f11: ADD 00000f12: MLOAD 00000f13: DUP2 00000f14: PUSH1 0x02 00000f16: ADD 00000f17: PUSH1 0x10 00000f19: PUSH2 0x0100 00000f1c: EXP 00000f1d: DUP2 00000f1e: SLOAD 00000f1f: DUP2 00000f20: PUSH16 0xffffffffffffffffffffffffffffffff 00000f31: MUL 00000f32: NOT 00000f33: AND 00000f34: SWAP1 00000f35: DUP4 00000f36: PUSH16 0xffffffffffffffffffffffffffffffff 00000f47: AND 00000f48: MUL 00000f49: OR 00000f4a: SWAP1 00000f4b: SSTORE 00000f4c: POP 00000f4d: PUSH1 0x80 00000f4f: DUP3 00000f50: ADD 00000f51: MLOAD 00000f52: DUP2 00000f53: PUSH1 0x03 00000f55: ADD 00000f56: PUSH1 0x00 00000f58: PUSH2 0x0100 00000f5b: EXP 00000f5c: DUP2 00000f5d: SLOAD 00000f5e: DUP2 00000f5f: PUSH8 0xffffffffffffffff 00000f68: MUL 00000f69: NOT 00000f6a: AND 00000f6b: SWAP1 00000f6c: DUP4 00000f6d: PUSH8 0xffffffffffffffff 00000f76: AND 00000f77: MUL 00000f78: OR 00000f79: SWAP1 00000f7a: SSTORE 00000f7b: POP 00000f7c: PUSH1 0xa0 00000f7e: DUP3 00000f7f: ADD 00000f80: MLOAD 00000f81: DUP2 00000f82: PUSH1 0x03 00000f84: ADD 00000f85: PUSH1 0x08 00000f87: PUSH2 0x0100 00000f8a: EXP 00000f8b: DUP2 00000f8c: SLOAD 00000f8d: DUP2 00000f8e: PUSH8 0xffffffffffffffff 00000f97: MUL 00000f98: NOT 00000f99: AND 00000f9a: SWAP1 00000f9b: DUP4 00000f9c: PUSH8 0xffffffffffffffff 00000fa5: AND 00000fa6: MUL 00000fa7: OR 00000fa8: SWAP1 00000fa9: SSTORE 00000faa: POP 00000fab: SWAP1 00000fac: POP 00000fad: POP 00000fae: PUSH32 0xbb79cce26bcc3641223c193b0531d537db94c2cc841c0a0e324709eceb9e87de 00000fcf: DUP2 00000fd0: PUSH1 0x20 00000fd2: ADD 00000fd3: MLOAD 00000fd4: DUP5 00000fd5: DUP5 00000fd6: DUP5 00000fd7: PUSH1 0x40 00000fd9: ADD 00000fda: MLOAD 00000fdb: PUSH16 0xffffffffffffffffffffffffffffffff 00000fec: AND 00000fed: DUP6 00000fee: PUSH1 0x60 00000ff0: ADD 00000ff1: MLOAD 00000ff2: PUSH16 0xffffffffffffffffffffffffffffffff 00001003: AND 00001004: DUP7 00001005: PUSH1 0x80 00001007: ADD 00001008: MLOAD 00001009: PUSH8 0xffffffffffffffff 00001012: AND 00001013: PUSH1 0x40 00001015: MLOAD 00001016: DUP1 00001017: DUP8 00001018: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000102d: AND 0000102e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001043: AND 00001044: DUP2 00001045: MSTORE 00001046: PUSH1 0x20 00001048: ADD 00001049: DUP7 0000104a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000105f: AND 00001060: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001075: AND 00001076: DUP2 00001077: MSTORE 00001078: PUSH1 0x20 0000107a: ADD 0000107b: DUP6 0000107c: DUP2 0000107d: MSTORE 0000107e: PUSH1 0x20 00001080: ADD 00001081: DUP5 00001082: DUP2 00001083: MSTORE 00001084: PUSH1 0x20 00001086: ADD 00001087: DUP4 00001088: DUP2 00001089: MSTORE 0000108a: PUSH1 0x20 0000108c: ADD 0000108d: DUP3 0000108e: DUP2 0000108f: MSTORE 00001090: PUSH1 0x20 00001092: ADD 00001093: SWAP7 00001094: POP 00001095: POP 00001096: POP 00001097: POP 00001098: POP 00001099: POP 0000109a: POP 0000109b: PUSH1 0x40 0000109d: MLOAD 0000109e: DUP1 0000109f: SWAP2 000010a0: SUB 000010a1: SWAP1 000010a2: LOG1 000010a3: POP 000010a4: POP 000010a5: POP 000010a6: JUMP 000010a7: JUMPDEST 000010a8: PUSH1 0x00 000010aa: DUP1 000010ab: DUP3 000010ac: PUSH1 0x03 000010ae: ADD 000010af: PUSH1 0x08 000010b1: SWAP1 000010b2: SLOAD 000010b3: SWAP1 000010b4: PUSH2 0x0100 000010b7: EXP 000010b8: SWAP1 000010b9: DIV 000010ba: PUSH8 0xffffffffffffffff 000010c3: AND 000010c4: PUSH8 0xffffffffffffffff 000010cd: AND 000010ce: GT 000010cf: SWAP1 000010d0: POP 000010d1: SWAP2 000010d2: SWAP1 000010d3: POP 000010d4: JUMP 000010d5: JUMPDEST 000010d6: PUSH1 0x00 000010d8: DUP1 000010d9: PUSH1 0x00 000010db: SWAP1 000010dc: POP 000010dd: DUP3 000010de: PUSH1 0x03 000010e0: ADD 000010e1: PUSH1 0x08 000010e3: SWAP1 000010e4: SLOAD 000010e5: SWAP1 000010e6: PUSH2 0x0100 000010e9: EXP 000010ea: SWAP1 000010eb: DIV 000010ec: PUSH8 0xffffffffffffffff 000010f5: AND 000010f6: PUSH8 0xffffffffffffffff 000010ff: AND 00001100: TIMESTAMP 00001101: GT 00001102: ISZERO 00001103: PUSH2 0x112e 00001106: JUMPI 00001107: DUP3 00001108: PUSH1 0x03 0000110a: ADD 0000110b: PUSH1 0x08 0000110d: SWAP1 0000110e: SLOAD 0000110f: SWAP1 00001110: PUSH2 0x0100 00001113: EXP 00001114: SWAP1 00001115: DIV 00001116: PUSH8 0xffffffffffffffff 0000111f: AND 00001120: PUSH8 0xffffffffffffffff 00001129: AND 0000112a: TIMESTAMP 0000112b: SUB 0000112c: SWAP1 0000112d: POP 0000112e: JUMPDEST 0000112f: PUSH2 0x11c0 00001132: DUP4 00001133: PUSH1 0x02 00001135: ADD 00001136: PUSH1 0x00 00001138: SWAP1 00001139: SLOAD 0000113a: SWAP1 0000113b: PUSH2 0x0100 0000113e: EXP 0000113f: SWAP1 00001140: DIV 00001141: PUSH16 0xffffffffffffffffffffffffffffffff 00001152: AND 00001153: PUSH16 0xffffffffffffffffffffffffffffffff 00001164: AND 00001165: DUP5 00001166: PUSH1 0x02 00001168: ADD 00001169: PUSH1 0x10 0000116b: SWAP1 0000116c: SLOAD 0000116d: SWAP1 0000116e: PUSH2 0x0100 00001171: EXP 00001172: SWAP1 00001173: DIV 00001174: PUSH16 0xffffffffffffffffffffffffffffffff 00001185: AND 00001186: PUSH16 0xffffffffffffffffffffffffffffffff 00001197: AND 00001198: DUP6 00001199: PUSH1 0x03 0000119b: ADD 0000119c: PUSH1 0x00 0000119e: SWAP1 0000119f: SLOAD 000011a0: SWAP1 000011a1: PUSH2 0x0100 000011a4: EXP 000011a5: SWAP1 000011a6: DIV 000011a7: PUSH8 0xffffffffffffffff 000011b0: AND 000011b1: PUSH8 0xffffffffffffffff 000011ba: AND 000011bb: DUP5 000011bc: PUSH2 0x15c3 000011bf: JUMP 000011c0: JUMPDEST 000011c1: SWAP2 000011c2: POP 000011c3: POP 000011c4: SWAP2 000011c5: SWAP1 000011c6: POP 000011c7: JUMP 000011c8: JUMPDEST 000011c9: PUSH1 0x00 000011cb: DUP1 000011cc: PUSH1 0x00 000011ce: DUP1 000011cf: PUSH1 0x00 000011d1: DUP1 000011d2: PUSH1 0x00 000011d4: PUSH1 0x02 000011d6: PUSH1 0x00 000011d8: DUP12 000011d9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011ee: AND 000011ef: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001204: AND 00001205: DUP2 00001206: MSTORE 00001207: PUSH1 0x20 00001209: ADD 0000120a: SWAP1 0000120b: DUP2 0000120c: MSTORE 0000120d: PUSH1 0x20 0000120f: ADD 00001210: PUSH1 0x00 00001212: KECCAK256 00001213: PUSH1 0x00 00001215: DUP11 00001216: DUP2 00001217: MSTORE 00001218: PUSH1 0x20 0000121a: ADD 0000121b: SWAP1 0000121c: DUP2 0000121d: MSTORE 0000121e: PUSH1 0x20 00001220: ADD 00001221: PUSH1 0x00 00001223: KECCAK256 00001224: SWAP6 00001225: POP 00001226: PUSH2 0x122e 00001229: DUP7 0000122a: PUSH2 0x10a7 0000122d: JUMP 0000122e: JUMPDEST 0000122f: ISZERO 00001230: ISZERO 00001231: PUSH2 0x1239 00001234: JUMPI 00001235: PUSH1 0x00 00001237: DUP1 00001238: REVERT 00001239: JUMPDEST 0000123a: PUSH2 0x1242 0000123d: DUP7 0000123e: PUSH2 0x10d5 00001241: JUMP 00001242: JUMPDEST 00001243: SWAP5 00001244: POP 00001245: DUP5 00001246: DUP9 00001247: LT 00001248: ISZERO 00001249: ISZERO 0000124a: ISZERO 0000124b: PUSH2 0x1253 0000124e: JUMPI 0000124f: PUSH1 0x00 00001251: DUP1 00001252: REVERT 00001253: JUMPDEST 00001254: DUP6 00001255: PUSH1 0x01 00001257: ADD 00001258: PUSH1 0x00 0000125a: SWAP1 0000125b: SLOAD 0000125c: SWAP1 0000125d: PUSH2 0x0100 00001260: EXP 00001261: SWAP1 00001262: DIV 00001263: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001278: AND 00001279: SWAP4 0000127a: POP 0000127b: PUSH2 0x1284 0000127e: DUP11 0000127f: DUP11 00001280: PUSH2 0x1603 00001283: JUMP 00001284: JUMPDEST 00001285: PUSH1 0x00 00001287: DUP6 00001288: GT 00001289: ISZERO 0000128a: PUSH2 0x12de 0000128d: JUMPI 0000128e: PUSH2 0x1296 00001291: DUP6 00001292: PUSH2 0x1724 00001295: JUMP 00001296: JUMPDEST 00001297: SWAP3 00001298: POP 00001299: DUP3 0000129a: DUP6 0000129b: SUB 0000129c: SWAP2 0000129d: POP 0000129e: DUP4 0000129f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012b4: AND 000012b5: PUSH2 0x08fc 000012b8: DUP4 000012b9: SWAP1 000012ba: DUP2 000012bb: ISZERO 000012bc: MUL 000012bd: SWAP1 000012be: PUSH1 0x40 000012c0: MLOAD 000012c1: PUSH1 0x00 000012c3: PUSH1 0x40 000012c5: MLOAD 000012c6: DUP1 000012c7: DUP4 000012c8: SUB 000012c9: DUP2 000012ca: DUP6 000012cb: DUP9 000012cc: DUP9 000012cd: CALL 000012ce: SWAP4 000012cf: POP 000012d0: POP 000012d1: POP 000012d2: POP 000012d3: ISZERO 000012d4: ISZERO 000012d5: PUSH2 0x12dd 000012d8: JUMPI 000012d9: PUSH1 0x00 000012db: DUP1 000012dc: REVERT 000012dd: JUMPDEST 000012de: JUMPDEST 000012df: DUP5 000012e0: DUP9 000012e1: SUB 000012e2: SWAP1 000012e3: POP 000012e4: CALLER 000012e5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012fa: AND 000012fb: PUSH2 0x08fc 000012fe: DUP3 000012ff: SWAP1 00001300: DUP2 00001301: ISZERO 00001302: MUL 00001303: SWAP1 00001304: PUSH1 0x40 00001306: MLOAD 00001307: PUSH1 0x00 00001309: PUSH1 0x40 0000130b: MLOAD 0000130c: DUP1 0000130d: DUP4 0000130e: SUB 0000130f: DUP2 00001310: DUP6 00001311: DUP9 00001312: DUP9 00001313: CALL 00001314: SWAP4 00001315: POP 00001316: POP 00001317: POP 00001318: POP 00001319: ISZERO 0000131a: ISZERO 0000131b: PUSH2 0x1323 0000131e: JUMPI 0000131f: PUSH1 0x00 00001321: DUP1 00001322: REVERT 00001323: JUMPDEST 00001324: PUSH32 0xe231499744be2bdc17374b7cf3d7d092ded2ebed31d0cccc5931de65065594ef 00001345: DUP7 00001346: PUSH1 0x01 00001348: ADD 00001349: PUSH1 0x00 0000134b: SWAP1 0000134c: SLOAD 0000134d: SWAP1 0000134e: PUSH2 0x0100 00001351: EXP 00001352: SWAP1 00001353: DIV 00001354: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001369: AND 0000136a: DUP12 0000136b: DUP12 0000136c: DUP9 0000136d: CALLER 0000136e: PUSH1 0x40 00001370: MLOAD 00001371: DUP1 00001372: DUP7 00001373: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001388: AND 00001389: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000139e: AND 0000139f: DUP2 000013a0: MSTORE 000013a1: PUSH1 0x20 000013a3: ADD 000013a4: DUP6 000013a5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013ba: AND 000013bb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013d0: AND 000013d1: DUP2 000013d2: MSTORE 000013d3: PUSH1 0x20 000013d5: ADD 000013d6: DUP5 000013d7: DUP2 000013d8: MSTORE 000013d9: PUSH1 0x20 000013db: ADD 000013dc: DUP4 000013dd: DUP2 000013de: MSTORE 000013df: PUSH1 0x20 000013e1: ADD 000013e2: DUP3 000013e3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013f8: AND 000013f9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000140e: AND 0000140f: DUP2 00001410: MSTORE 00001411: PUSH1 0x20 00001413: ADD 00001414: SWAP6 00001415: POP 00001416: POP 00001417: POP 00001418: POP 00001419: POP 0000141a: POP 0000141b: PUSH1 0x40 0000141d: MLOAD 0000141e: DUP1 0000141f: SWAP2 00001420: SUB 00001421: SWAP1 00001422: LOG1 00001423: DUP5 00001424: SWAP7 00001425: POP 00001426: POP 00001427: POP 00001428: POP 00001429: POP 0000142a: POP 0000142b: POP 0000142c: SWAP4 0000142d: SWAP3 0000142e: POP 0000142f: POP 00001430: POP 00001431: JUMP 00001432: JUMPDEST 00001433: PUSH1 0x00 00001435: PUSH2 0x143d 00001438: DUP5 00001439: PUSH2 0x15b4 0000143c: JUMP 0000143d: JUMPDEST 0000143e: SWAP1 0000143f: POP 00001440: DUP1 00001441: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001456: AND 00001457: PUSH4 0xa9059cbb 0000145c: DUP5 0000145d: DUP5 0000145e: PUSH1 0x40 00001460: MLOAD 00001461: DUP4 00001462: PUSH4 0xffffffff 00001467: AND 00001468: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00001486: MUL 00001487: DUP2 00001488: MSTORE 00001489: PUSH1 0x04 0000148b: ADD 0000148c: DUP1 0000148d: DUP4 0000148e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014a3: AND 000014a4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014b9: AND 000014ba: DUP2 000014bb: MSTORE 000014bc: PUSH1 0x20 000014be: ADD 000014bf: DUP3 000014c0: DUP2 000014c1: MSTORE 000014c2: PUSH1 0x20 000014c4: ADD 000014c5: SWAP3 000014c6: POP 000014c7: POP 000014c8: POP 000014c9: PUSH1 0x00 000014cb: PUSH1 0x40 000014cd: MLOAD 000014ce: DUP1 000014cf: DUP4 000014d0: SUB 000014d1: DUP2 000014d2: PUSH1 0x00 000014d4: DUP8 000014d5: DUP1 000014d6: EXTCODESIZE 000014d7: ISZERO 000014d8: ISZERO 000014d9: PUSH2 0x14e1 000014dc: JUMPI 000014dd: PUSH1 0x00 000014df: DUP1 000014e0: REVERT 000014e1: JUMPDEST 000014e2: PUSH2 0x02c6 000014e5: GAS 000014e6: SUB 000014e7: CALL 000014e8: ISZERO 000014e9: ISZERO 000014ea: PUSH2 0x14f2 000014ed: JUMPI 000014ee: PUSH1 0x00 000014f0: DUP1 000014f1: REVERT 000014f2: JUMPDEST 000014f3: POP 000014f4: POP 000014f5: POP 000014f6: POP 000014f7: POP 000014f8: POP 000014f9: POP 000014fa: JUMP 000014fb: JUMPDEST 000014fc: PUSH2 0x1505 000014ff: DUP4 00001500: DUP4 00001501: PUSH2 0x1603 00001504: JUMP 00001505: JUMPDEST 00001506: PUSH2 0x1510 00001509: DUP4 0000150a: DUP3 0000150b: DUP5 0000150c: PUSH2 0x1432 0000150f: JUMP 00001510: JUMPDEST 00001511: PUSH32 0x2452afeb78bce69058d5c8acc23c10fc66fb8765130614822181719bfa1348e9 00001532: DUP2 00001533: DUP5 00001534: DUP5 00001535: PUSH1 0x40 00001537: MLOAD 00001538: DUP1 00001539: DUP5 0000153a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000154f: AND 00001550: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001565: AND 00001566: DUP2 00001567: MSTORE 00001568: PUSH1 0x20 0000156a: ADD 0000156b: DUP4 0000156c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001581: AND 00001582: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001597: AND 00001598: DUP2 00001599: MSTORE 0000159a: PUSH1 0x20 0000159c: ADD 0000159d: DUP3 0000159e: DUP2 0000159f: MSTORE 000015a0: PUSH1 0x20 000015a2: ADD 000015a3: SWAP4 000015a4: POP 000015a5: POP 000015a6: POP 000015a7: POP 000015a8: PUSH1 0x40 000015aa: MLOAD 000015ab: DUP1 000015ac: SWAP2 000015ad: SUB 000015ae: SWAP1 000015af: LOG1 000015b0: POP 000015b1: POP 000015b2: POP 000015b3: JUMP 000015b4: JUMPDEST 000015b5: PUSH1 0x00 000015b7: DUP1 000015b8: DUP3 000015b9: SWAP1 000015ba: POP 000015bb: DUP1 000015bc: SWAP2 000015bd: POP 000015be: POP 000015bf: SWAP2 000015c0: SWAP1 000015c1: POP 000015c2: JUMP 000015c3: JUMPDEST 000015c4: PUSH1 0x00 000015c6: DUP1 000015c7: PUSH1 0x00 000015c9: DUP1 000015ca: DUP6 000015cb: DUP6 000015cc: LT 000015cd: ISZERO 000015ce: ISZERO 000015cf: PUSH2 0x15da 000015d2: JUMPI 000015d3: DUP7 000015d4: SWAP4 000015d5: POP 000015d6: PUSH2 0x15f8 000015d9: JUMP 000015da: JUMPDEST 000015db: DUP8 000015dc: DUP8 000015dd: SUB 000015de: SWAP3 000015df: POP 000015e0: DUP6 000015e1: DUP6 000015e2: DUP5 000015e3: MUL 000015e4: DUP2 000015e5: ISZERO 000015e6: ISZERO 000015e7: PUSH2 0x15ec 000015ea: JUMPI 000015eb: INVALID 000015ec: JUMPDEST 000015ed: SDIV 000015ee: SWAP2 000015ef: POP 000015f0: DUP2 000015f1: DUP9 000015f2: ADD 000015f3: SWAP1 000015f4: POP 000015f5: DUP1 000015f6: SWAP4 000015f7: POP 000015f8: JUMPDEST 000015f9: POP 000015fa: POP 000015fb: POP 000015fc: SWAP5 000015fd: SWAP4 000015fe: POP 000015ff: POP 00001600: POP 00001601: POP 00001602: JUMP 00001603: JUMPDEST 00001604: PUSH1 0x02 00001606: PUSH1 0x00 00001608: DUP4 00001609: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000161e: AND 0000161f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001634: AND 00001635: DUP2 00001636: MSTORE 00001637: PUSH1 0x20 00001639: ADD 0000163a: SWAP1 0000163b: DUP2 0000163c: MSTORE 0000163d: PUSH1 0x20 0000163f: ADD 00001640: PUSH1 0x00 00001642: KECCAK256 00001643: PUSH1 0x00 00001645: DUP3 00001646: DUP2 00001647: MSTORE 00001648: PUSH1 0x20 0000164a: ADD 0000164b: SWAP1 0000164c: DUP2 0000164d: MSTORE 0000164e: PUSH1 0x20 00001650: ADD 00001651: PUSH1 0x00 00001653: KECCAK256 00001654: PUSH1 0x00 00001656: DUP1 00001657: DUP3 00001658: ADD 00001659: PUSH1 0x00 0000165b: PUSH2 0x0100 0000165e: EXP 0000165f: DUP2 00001660: SLOAD 00001661: SWAP1 00001662: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001677: MUL 00001678: NOT 00001679: AND 0000167a: SWAP1 0000167b: SSTORE 0000167c: PUSH1 0x01 0000167e: DUP3 0000167f: ADD 00001680: PUSH1 0x00 00001682: PUSH2 0x0100 00001685: EXP 00001686: DUP2 00001687: SLOAD 00001688: SWAP1 00001689: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000169e: MUL 0000169f: NOT 000016a0: AND 000016a1: SWAP1 000016a2: SSTORE 000016a3: PUSH1 0x02 000016a5: DUP3 000016a6: ADD 000016a7: PUSH1 0x00 000016a9: PUSH2 0x0100 000016ac: EXP 000016ad: DUP2 000016ae: SLOAD 000016af: SWAP1 000016b0: PUSH16 0xffffffffffffffffffffffffffffffff 000016c1: MUL 000016c2: NOT 000016c3: AND 000016c4: SWAP1 000016c5: SSTORE 000016c6: PUSH1 0x02 000016c8: DUP3 000016c9: ADD 000016ca: PUSH1 0x10 000016cc: PUSH2 0x0100 000016cf: EXP 000016d0: DUP2 000016d1: SLOAD 000016d2: SWAP1 000016d3: PUSH16 0xffffffffffffffffffffffffffffffff 000016e4: MUL 000016e5: NOT 000016e6: AND 000016e7: SWAP1 000016e8: SSTORE 000016e9: PUSH1 0x03 000016eb: DUP3 000016ec: ADD 000016ed: PUSH1 0x00 000016ef: PUSH2 0x0100 000016f2: EXP 000016f3: DUP2 000016f4: SLOAD 000016f5: SWAP1 000016f6: PUSH8 0xffffffffffffffff 000016ff: MUL 00001700: NOT 00001701: AND 00001702: SWAP1 00001703: SSTORE 00001704: PUSH1 0x03 00001706: DUP3 00001707: ADD 00001708: PUSH1 0x08 0000170a: PUSH2 0x0100 0000170d: EXP 0000170e: DUP2 0000170f: SLOAD 00001710: SWAP1 00001711: PUSH8 0xffffffffffffffff 0000171a: MUL 0000171b: NOT 0000171c: AND 0000171d: SWAP1 0000171e: SSTORE 0000171f: POP 00001720: POP 00001721: POP 00001722: POP 00001723: JUMP 00001724: JUMPDEST 00001725: PUSH1 0x00 00001727: PUSH2 0x2710 0000172a: PUSH1 0x01 0000172c: SLOAD 0000172d: DUP4 0000172e: MUL 0000172f: DUP2 00001730: ISZERO 00001731: ISZERO 00001732: PUSH2 0x1737 00001735: JUMPI 00001736: INVALID 00001737: JUMPDEST 00001738: DIV 00001739: SWAP1 0000173a: POP 0000173b: SWAP2 0000173c: SWAP1 0000173d: POP 0000173e: JUMP 0000173f: JUMPDEST 00001740: PUSH1 0xc0 00001742: PUSH1 0x40 00001744: MLOAD 00001745: SWAP1 00001746: DUP2 00001747: ADD 00001748: PUSH1 0x40 0000174a: MSTORE 0000174b: DUP1 0000174c: PUSH1 0x00 0000174e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001763: AND 00001764: DUP2 00001765: MSTORE 00001766: PUSH1 0x20 00001768: ADD 00001769: PUSH1 0x00 0000176b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001780: AND 00001781: DUP2 00001782: MSTORE 00001783: PUSH1 0x20 00001785: ADD 00001786: PUSH1 0x00 00001788: PUSH16 0xffffffffffffffffffffffffffffffff 00001799: AND 0000179a: DUP2 0000179b: MSTORE 0000179c: PUSH1 0x20 0000179e: ADD 0000179f: PUSH1 0x00 000017a1: PUSH16 0xffffffffffffffffffffffffffffffff 000017b2: AND 000017b3: DUP2 000017b4: MSTORE 000017b5: PUSH1 0x20 000017b7: ADD 000017b8: PUSH1 0x00 000017ba: PUSH8 0xffffffffffffffff 000017c3: AND 000017c4: DUP2 000017c5: MSTORE 000017c6: PUSH1 0x20 000017c8: ADD 000017c9: PUSH1 0x00 000017cb: PUSH8 0xffffffffffffffff 000017d4: AND 000017d5: DUP2 000017d6: MSTORE 000017d7: POP 000017d8: SWAP1 000017d9: JUMP 000017da: STOP 000017db: LOG1 000017dc: PUSH6 0x627a7a723058 000017e3: KECCAK256 000017e4: CODESIZE 000017e5: PUSH14 0x0e23c631dce41c370570c9221419 000017f4: LOG4 000017f5: SGT 000017f6: UNKNOWN(0xA5) 000017f7: GASPRICE 000017f8: SWAP6 000017f9: EXTCODECOPY 000017fa: STOP 000017fb: UNKNOWN(0xD8) 000017fc: UNKNOWN(0x0E) 000017fd: PUSH9
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x0174d77383ba94cfb8b3c70c28dec51f6f10fd606d072cb548be1452151388bc
call_targets:
0x23b45c658737b12f1748ce56e9b6784b5e9f3ff8
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x0174d77383ba94cfb8b3c70c28dec51f6f10fd606d072cb548be1452151388bc",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x23b45c658737b12f1748ce56e9b6784b5e9f3ff8"
],
"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": "0x065da698",
"selector": "0x065da698",
"calldata_variants": [
"0x065da698",
"0x065da6980000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3f4ba83a",
"selector": "0x3f4ba83a",
"calldata_variants": [
"0x3f4ba83a",
"0x3f4ba83a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5c975abb",
"selector": "0x5c975abb",
"calldata_variants": [
"0x5c975abb",
"0x5c975abb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5fd8c710",
"selector": "0x5fd8c710",
"calldata_variants": [
"0x5fd8c710",
"0x5fd8c7100000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6c54df52",
"selector": "0x6c54df52",
"calldata_variants": [
"0x6c54df52",
"0x6c54df520000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x83b5ff8b",
"selector": "0x83b5ff8b",
"calldata_variants": [
"0x83b5ff8b",
"0x83b5ff8b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8456cb59",
"selector": "0x8456cb59",
"calldata_variants": [
"0x8456cb59",
"0x8456cb590000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1676,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3518,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4813,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 5,
"guards_detected": [
{
"pc": 1362,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1571,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1880,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2371,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2479,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3201,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 5
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x0174d77383ba94cfb8b3c70c28dec51f6f10fd606d072cb548be1452151388bc
call_targets:
0x23b45c658737b12f1748ce56e9b6784b5e9f3ff8
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x0174d77383ba94cfb8b3c70c28dec51f6f10fd606d072cb548be1452151388bc",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x23b45c658737b12f1748ce56e9b6784b5e9f3ff8"
],
"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": "0x065da698",
"selector": "0x065da698",
"calldata_variants": [
"0x065da698",
"0x065da6980000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3f4ba83a",
"selector": "0x3f4ba83a",
"calldata_variants": [
"0x3f4ba83a",
"0x3f4ba83a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5c975abb",
"selector": "0x5c975abb",
"calldata_variants": [
"0x5c975abb",
"0x5c975abb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5fd8c710",
"selector": "0x5fd8c710",
"calldata_variants": [
"0x5fd8c710",
"0x5fd8c7100000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6c54df52",
"selector": "0x6c54df52",
"calldata_variants": [
"0x6c54df52",
"0x6c54df520000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x83b5ff8b",
"selector": "0x83b5ff8b",
"calldata_variants": [
"0x83b5ff8b",
"0x83b5ff8b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8456cb59",
"selector": "0x8456cb59",
"calldata_variants": [
"0x8456cb59",
"0x8456cb590000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1676,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3518,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4813,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 5,
"guards_detected": [
{
"pc": 1362,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1571,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1880,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2371,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2479,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3201,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|