019b3844-8b5f-727f-87ef-123abdc6da45
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 |
|---|---|---|---|---|
| 11789 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 11790 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 54312 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 54313 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 54314 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 54315 | 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 0x00fc 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000002e: SWAP1 0000002f: DIV 00000030: PUSH4 0xffffffff 00000035: AND 00000036: DUP1 00000037: PUSH4 0x02c3d7f6 0000003c: EQ 0000003d: PUSH2 0x0259 00000040: JUMPI 00000041: DUP1 00000042: PUSH4 0x06fdde03 00000047: EQ 00000048: PUSH2 0x026e 0000004b: JUMPI 0000004c: DUP1 0000004d: PUSH4 0x095ea7b3 00000052: EQ 00000053: PUSH2 0x02fc 00000056: JUMPI 00000057: DUP1 00000058: PUSH4 0x18160ddd 0000005d: EQ 0000005e: PUSH2 0x0356 00000061: JUMPI 00000062: DUP1 00000063: PUSH4 0x23b872dd 00000068: EQ 00000069: PUSH2 0x037f 0000006c: JUMPI 0000006d: DUP1 0000006e: PUSH4 0x313ce567 00000073: EQ 00000074: PUSH2 0x03f8 00000077: JUMPI 00000078: DUP1 00000079: PUSH4 0x4e97bcfc 0000007e: EQ 0000007f: PUSH2 0x0427 00000082: JUMPI 00000083: DUP1 00000084: PUSH4 0x53c3cc1f 00000089: EQ 0000008a: PUSH2 0x043c 0000008d: JUMPI 0000008e: DUP1 0000008f: PUSH4 0x6a6b8077 00000094: EQ 00000095: PUSH2 0x0451 00000098: JUMPI 00000099: DUP1 0000009a: PUSH4 0x70a08231 0000009f: EQ 000000a0: PUSH2 0x0466 000000a3: JUMPI 000000a4: DUP1 000000a5: PUSH4 0x8666107c 000000aa: EQ 000000ab: PUSH2 0x04b3 000000ae: JUMPI 000000af: DUP1 000000b0: PUSH4 0x8da5cb5b 000000b5: EQ 000000b6: PUSH2 0x04dc 000000b9: JUMPI 000000ba: DUP1 000000bb: PUSH4 0x95d89b41 000000c0: EQ 000000c1: PUSH2 0x0531 000000c4: JUMPI 000000c5: DUP1 000000c6: PUSH4 0x9890220b 000000cb: EQ 000000cc: PUSH2 0x05bf 000000cf: JUMPI 000000d0: DUP1 000000d1: PUSH4 0xa9059cbb 000000d6: EQ 000000d7: PUSH2 0x05d4 000000da: JUMPI 000000db: DUP1 000000dc: PUSH4 0xc040e6b8 000000e1: EQ 000000e2: PUSH2 0x062e 000000e5: JUMPI 000000e6: DUP1 000000e7: PUSH4 0xdd62ed3e 000000ec: EQ 000000ed: PUSH2 0x0665 000000f0: JUMPI 000000f1: DUP1 000000f2: PUSH4 0xf2fde38b 000000f7: EQ 000000f8: PUSH2 0x06d1 000000fb: JUMPI 000000fc: JUMPDEST 000000fd: PUSH1 0x01 000000ff: DUP1 00000100: PUSH1 0x03 00000102: DUP2 00000103: GT 00000104: ISZERO 00000105: PUSH2 0x010a 00000108: JUMPI 00000109: INVALID 0000010a: JUMPDEST 0000010b: PUSH1 0x07 0000010d: PUSH1 0x00 0000010f: SWAP1 00000110: SLOAD 00000111: SWAP1 00000112: PUSH2 0x0100 00000115: EXP 00000116: SWAP1 00000117: DIV 00000118: PUSH1 0xff 0000011a: AND 0000011b: PUSH1 0x03 0000011d: DUP2 0000011e: GT 0000011f: ISZERO 00000120: PUSH2 0x0125 00000123: JUMPI 00000124: INVALID 00000125: JUMPDEST 00000126: EQ 00000127: ISZERO 00000128: ISZERO 00000129: PUSH2 0x0131 0000012c: JUMPI 0000012d: PUSH1 0x00 0000012f: DUP1 00000130: REVERT 00000131: JUMPDEST 00000132: PUSH10 0x09513ea9de0243800000 0000013d: PUSH1 0x08 0000013f: SLOAD 00000140: LT 00000141: ISZERO 00000142: ISZERO 00000143: PUSH2 0x014b 00000146: JUMPI 00000147: PUSH1 0x00 00000149: DUP1 0000014a: REVERT 0000014b: JUMPDEST 0000014c: PUSH1 0x0a 0000014e: PUSH1 0x00 00000150: SWAP1 00000151: SLOAD 00000152: SWAP1 00000153: PUSH2 0x0100 00000156: EXP 00000157: SWAP1 00000158: DIV 00000159: PUSH1 0xff 0000015b: AND 0000015c: ISZERO 0000015d: DUP1 0000015e: ISZERO 0000015f: PUSH2 0x0175 00000162: JUMPI 00000163: POP 00000164: PUSH1 0x01 00000166: PUSH1 0x14 00000168: SWAP1 00000169: SLOAD 0000016a: SWAP1 0000016b: PUSH2 0x0100 0000016e: EXP 0000016f: SWAP1 00000170: DIV 00000171: PUSH1 0xff 00000173: AND 00000174: ISZERO 00000175: JUMPDEST 00000176: DUP1 00000177: ISZERO 00000178: PUSH2 0x0183 0000017b: JUMPI 0000017c: POP 0000017d: PUSH1 0x04 0000017f: SLOAD 00000180: TIMESTAMP 00000181: GT 00000182: ISZERO 00000183: JUMPDEST 00000184: ISZERO 00000185: ISZERO 00000186: PUSH2 0x018e 00000189: JUMPI 0000018a: PUSH1 0x00 0000018c: DUP1 0000018d: REVERT 0000018e: JUMPDEST 0000018f: PUSH2 0x01a3 00000192: CALLVALUE 00000193: PUSH1 0x02 00000195: SLOAD 00000196: PUSH2 0x070a 00000199: SWAP1 0000019a: SWAP2 0000019b: SWAP1 0000019c: PUSH4 0xffffffff 000001a1: AND 000001a2: JUMP 000001a3: JUMPDEST 000001a4: PUSH1 0x08 000001a6: DUP2 000001a7: SWAP1 000001a8: SSTORE 000001a9: POP 000001aa: PUSH10 0x09513ea9de0243800000 000001b5: PUSH1 0x08 000001b7: SLOAD 000001b8: GT 000001b9: ISZERO 000001ba: PUSH2 0x023a 000001bd: JUMPI 000001be: PUSH2 0x01dc 000001c1: PUSH10 0x09513ea9de0243800000 000001cc: PUSH1 0x08 000001ce: SLOAD 000001cf: PUSH2 0x0728 000001d2: SWAP1 000001d3: SWAP2 000001d4: SWAP1 000001d5: PUSH4 0xffffffff 000001da: AND 000001db: JUMP 000001dc: JUMPDEST 000001dd: PUSH1 0x09 000001df: DUP2 000001e0: SWAP1 000001e1: SSTORE 000001e2: POP 000001e3: CALLER 000001e4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001f9: AND 000001fa: PUSH2 0x08fc 000001fd: PUSH1 0x09 000001ff: SLOAD 00000200: SWAP1 00000201: DUP2 00000202: ISZERO 00000203: MUL 00000204: SWAP1 00000205: PUSH1 0x40 00000207: MLOAD 00000208: PUSH1 0x00 0000020a: PUSH1 0x40 0000020c: MLOAD 0000020d: DUP1 0000020e: DUP4 0000020f: SUB 00000210: DUP2 00000211: DUP6 00000212: DUP9 00000213: DUP9 00000214: CALL 00000215: SWAP4 00000216: POP 00000217: POP 00000218: POP 00000219: POP 0000021a: ISZERO 0000021b: ISZERO 0000021c: PUSH2 0x0224 0000021f: JUMPI 00000220: PUSH1 0x00 00000222: DUP1 00000223: REVERT 00000224: JUMPDEST 00000225: PUSH10 0x09513ea9de0243800000 00000230: PUSH1 0x02 00000232: DUP2 00000233: SWAP1 00000234: SSTORE 00000235: POP 00000236: PUSH2 0x0256 00000239: JUMP 0000023a: JUMPDEST 0000023b: PUSH2 0x024f 0000023e: CALLVALUE 0000023f: PUSH1 0x02 00000241: SLOAD 00000242: PUSH2 0x070a 00000245: SWAP1 00000246: SWAP2 00000247: SWAP1 00000248: PUSH4 0xffffffff 0000024d: AND 0000024e: JUMP 0000024f: JUMPDEST 00000250: PUSH1 0x02 00000252: DUP2 00000253: SWAP1 00000254: SSTORE 00000255: POP 00000256: JUMPDEST 00000257: POP 00000258: STOP 00000259: JUMPDEST 0000025a: CALLVALUE 0000025b: ISZERO 0000025c: PUSH2 0x0264 0000025f: JUMPI 00000260: PUSH1 0x00 00000262: DUP1 00000263: REVERT 00000264: JUMPDEST 00000265: PUSH2 0x026c 00000268: PUSH2 0x0741 0000026b: JUMP 0000026c: JUMPDEST 0000026d: STOP 0000026e: JUMPDEST 0000026f: CALLVALUE 00000270: ISZERO 00000271: PUSH2 0x0279 00000274: JUMPI 00000275: PUSH1 0x00 00000277: DUP1 00000278: REVERT 00000279: JUMPDEST 0000027a: PUSH2 0x0281 0000027d: PUSH2 0x0824 00000280: JUMP 00000281: JUMPDEST 00000282: PUSH1 0x40 00000284: MLOAD 00000285: DUP1 00000286: DUP1 00000287: PUSH1 0x20 00000289: ADD 0000028a: DUP3 0000028b: DUP2 0000028c: SUB 0000028d: DUP3 0000028e: MSTORE 0000028f: DUP4 00000290: DUP2 00000291: DUP2 00000292: MLOAD 00000293: DUP2 00000294: MSTORE 00000295: PUSH1 0x20 00000297: ADD 00000298: SWAP2 00000299: POP 0000029a: DUP1 0000029b: MLOAD 0000029c: SWAP1 0000029d: PUSH1 0x20 0000029f: ADD 000002a0: SWAP1 000002a1: DUP1 000002a2: DUP4 000002a3: DUP4 000002a4: PUSH1 0x00 000002a6: JUMPDEST 000002a7: DUP4 000002a8: DUP2 000002a9: LT 000002aa: ISZERO 000002ab: PUSH2 0x02c1 000002ae: JUMPI 000002af: DUP1 000002b0: DUP3 000002b1: ADD 000002b2: MLOAD 000002b3: DUP2 000002b4: DUP5 000002b5: ADD 000002b6: MSTORE 000002b7: PUSH1 0x20 000002b9: DUP2 000002ba: ADD 000002bb: SWAP1 000002bc: POP 000002bd: PUSH2 0x02a6 000002c0: JUMP 000002c1: JUMPDEST 000002c2: POP 000002c3: POP 000002c4: POP 000002c5: POP 000002c6: SWAP1 000002c7: POP 000002c8: SWAP1 000002c9: DUP2 000002ca: ADD 000002cb: SWAP1 000002cc: PUSH1 0x1f 000002ce: AND 000002cf: DUP1 000002d0: ISZERO 000002d1: PUSH2 0x02ee 000002d4: JUMPI 000002d5: DUP1 000002d6: DUP3 000002d7: SUB 000002d8: DUP1 000002d9: MLOAD 000002da: PUSH1 0x01 000002dc: DUP4 000002dd: PUSH1 0x20 000002df: SUB 000002e0: PUSH2 0x0100 000002e3: EXP 000002e4: SUB 000002e5: NOT 000002e6: AND 000002e7: DUP2 000002e8: MSTORE 000002e9: PUSH1 0x20 000002eb: ADD 000002ec: SWAP2 000002ed: POP 000002ee: JUMPDEST 000002ef: POP 000002f0: SWAP3 000002f1: POP 000002f2: POP 000002f3: POP 000002f4: PUSH1 0x40 000002f6: MLOAD 000002f7: DUP1 000002f8: SWAP2 000002f9: SUB 000002fa: SWAP1 000002fb: RETURN 000002fc: JUMPDEST 000002fd: CALLVALUE 000002fe: ISZERO 000002ff: PUSH2 0x0307 00000302: JUMPI 00000303: PUSH1 0x00 00000305: DUP1 00000306: REVERT 00000307: JUMPDEST 00000308: PUSH2 0x033c 0000030b: PUSH1 0x04 0000030d: DUP1 0000030e: DUP1 0000030f: CALLDATALOAD 00000310: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000325: AND 00000326: SWAP1 00000327: PUSH1 0x20 00000329: ADD 0000032a: SWAP1 0000032b: SWAP2 0000032c: SWAP1 0000032d: DUP1 0000032e: CALLDATALOAD 0000032f: SWAP1 00000330: PUSH1 0x20 00000332: ADD 00000333: SWAP1 00000334: SWAP2 00000335: SWAP1 00000336: POP 00000337: POP 00000338: PUSH2 0x085d 0000033b: JUMP 0000033c: JUMPDEST 0000033d: PUSH1 0x40 0000033f: MLOAD 00000340: DUP1 00000341: DUP3 00000342: ISZERO 00000343: ISZERO 00000344: ISZERO 00000345: ISZERO 00000346: DUP2 00000347: MSTORE 00000348: PUSH1 0x20 0000034a: ADD 0000034b: SWAP2 0000034c: POP 0000034d: POP 0000034e: PUSH1 0x40 00000350: MLOAD 00000351: DUP1 00000352: SWAP2 00000353: SUB 00000354: SWAP1 00000355: RETURN 00000356: JUMPDEST 00000357: CALLVALUE 00000358: ISZERO 00000359: PUSH2 0x0361 0000035c: JUMPI 0000035d: PUSH1 0x00 0000035f: DUP1 00000360: REVERT 00000361: JUMPDEST 00000362: PUSH2 0x0369 00000365: PUSH2 0x0974 00000368: JUMP 00000369: JUMPDEST 0000036a: PUSH1 0x40 0000036c: MLOAD 0000036d: DUP1 0000036e: DUP3 0000036f: DUP2 00000370: MSTORE 00000371: PUSH1 0x20 00000373: ADD 00000374: SWAP2 00000375: POP 00000376: POP 00000377: PUSH1 0x40 00000379: MLOAD 0000037a: DUP1 0000037b: SWAP2 0000037c: SUB 0000037d: SWAP1 0000037e: RETURN 0000037f: JUMPDEST 00000380: CALLVALUE 00000381: ISZERO 00000382: PUSH2 0x038a 00000385: JUMPI 00000386: PUSH1 0x00 00000388: DUP1 00000389: REVERT 0000038a: JUMPDEST 0000038b: PUSH2 0x03de 0000038e: PUSH1 0x04 00000390: DUP1 00000391: DUP1 00000392: CALLDATALOAD 00000393: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003a8: AND 000003a9: SWAP1 000003aa: PUSH1 0x20 000003ac: ADD 000003ad: SWAP1 000003ae: SWAP2 000003af: SWAP1 000003b0: DUP1 000003b1: CALLDATALOAD 000003b2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003c7: AND 000003c8: SWAP1 000003c9: PUSH1 0x20 000003cb: ADD 000003cc: SWAP1 000003cd: SWAP2 000003ce: SWAP1 000003cf: DUP1 000003d0: CALLDATALOAD 000003d1: SWAP1 000003d2: PUSH1 0x20 000003d4: ADD 000003d5: SWAP1 000003d6: SWAP2 000003d7: SWAP1 000003d8: POP 000003d9: POP 000003da: PUSH2 0x097d 000003dd: JUMP 000003de: JUMPDEST 000003df: PUSH1 0x40 000003e1: MLOAD 000003e2: DUP1 000003e3: DUP3 000003e4: ISZERO 000003e5: ISZERO 000003e6: ISZERO 000003e7: ISZERO 000003e8: DUP2 000003e9: MSTORE 000003ea: PUSH1 0x20 000003ec: ADD 000003ed: SWAP2 000003ee: POP 000003ef: POP 000003f0: PUSH1 0x40 000003f2: MLOAD 000003f3: DUP1 000003f4: SWAP2 000003f5: SUB 000003f6: SWAP1 000003f7: RETURN 000003f8: JUMPDEST 000003f9: CALLVALUE 000003fa: ISZERO 000003fb: PUSH2 0x0403 000003fe: JUMPI 000003ff: PUSH1 0x00 00000401: DUP1 00000402: REVERT 00000403: JUMPDEST 00000404: PUSH2 0x040b 00000407: PUSH2 0x0d30 0000040a: JUMP 0000040b: JUMPDEST 0000040c: PUSH1 0x40 0000040e: MLOAD 0000040f: DUP1 00000410: DUP3 00000411: PUSH1 0xff 00000413: AND 00000414: PUSH1 0xff 00000416: AND 00000417: DUP2 00000418: MSTORE 00000419: PUSH1 0x20 0000041b: ADD 0000041c: SWAP2 0000041d: POP 0000041e: POP 0000041f: PUSH1 0x40 00000421: MLOAD 00000422: DUP1 00000423: SWAP2 00000424: SUB 00000425: SWAP1 00000426: RETURN 00000427: JUMPDEST 00000428: CALLVALUE 00000429: ISZERO 0000042a: PUSH2 0x0432 0000042d: JUMPI 0000042e: PUSH1 0x00 00000430: DUP1 00000431: REVERT 00000432: JUMPDEST 00000433: PUSH2 0x043a 00000436: PUSH2 0x0d35 00000439: JUMP 0000043a: JUMPDEST 0000043b: STOP 0000043c: JUMPDEST 0000043d: CALLVALUE 0000043e: ISZERO 0000043f: PUSH2 0x0447 00000442: JUMPI 00000443: PUSH1 0x00 00000445: DUP1 00000446: REVERT 00000447: JUMPDEST 00000448: PUSH2 0x044f 0000044b: PUSH2 0x0e07 0000044e: JUMP 0000044f: JUMPDEST 00000450: STOP 00000451: JUMPDEST 00000452: CALLVALUE 00000453: ISZERO 00000454: PUSH2 0x045c 00000457: JUMPI 00000458: PUSH1 0x00 0000045a: DUP1 0000045b: REVERT 0000045c: JUMPDEST 0000045d: PUSH2 0x0464 00000460: PUSH2 0x0eda 00000463: JUMP 00000464: JUMPDEST 00000465: STOP 00000466: JUMPDEST 00000467: CALLVALUE 00000468: ISZERO 00000469: PUSH2 0x0471 0000046c: JUMPI 0000046d: PUSH1 0x00 0000046f: DUP1 00000470: REVERT 00000471: JUMPDEST 00000472: PUSH2 0x049d 00000475: PUSH1 0x04 00000477: DUP1 00000478: DUP1 00000479: CALLDATALOAD 0000047a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000048f: AND 00000490: SWAP1 00000491: PUSH1 0x20 00000493: ADD 00000494: SWAP1 00000495: SWAP2 00000496: SWAP1 00000497: POP 00000498: POP 00000499: PUSH2 0x0fd0 0000049c: JUMP 0000049d: JUMPDEST 0000049e: PUSH1 0x40 000004a0: MLOAD 000004a1: DUP1 000004a2: DUP3 000004a3: DUP2 000004a4: MSTORE 000004a5: PUSH1 0x20 000004a7: ADD 000004a8: SWAP2 000004a9: POP 000004aa: POP 000004ab: PUSH1 0x40 000004ad: MLOAD 000004ae: DUP1 000004af: SWAP2 000004b0: SUB 000004b1: SWAP1 000004b2: RETURN 000004b3: JUMPDEST 000004b4: CALLVALUE 000004b5: ISZERO 000004b6: PUSH2 0x04be 000004b9: JUMPI 000004ba: PUSH1 0x00 000004bc: DUP1 000004bd: REVERT 000004be: JUMPDEST 000004bf: PUSH2 0x04c6 000004c2: PUSH2 0x1019 000004c5: JUMP 000004c6: JUMPDEST 000004c7: PUSH1 0x40 000004c9: MLOAD 000004ca: DUP1 000004cb: DUP3 000004cc: DUP2 000004cd: MSTORE 000004ce: PUSH1 0x20 000004d0: ADD 000004d1: SWAP2 000004d2: POP 000004d3: POP 000004d4: PUSH1 0x40 000004d6: MLOAD 000004d7: DUP1 000004d8: SWAP2 000004d9: SUB 000004da: SWAP1 000004db: RETURN 000004dc: JUMPDEST 000004dd: CALLVALUE 000004de: ISZERO 000004df: PUSH2 0x04e7 000004e2: JUMPI 000004e3: PUSH1 0x00 000004e5: DUP1 000004e6: REVERT 000004e7: JUMPDEST 000004e8: PUSH2 0x04ef 000004eb: PUSH2 0x101f 000004ee: JUMP 000004ef: JUMPDEST 000004f0: PUSH1 0x40 000004f2: MLOAD 000004f3: DUP1 000004f4: DUP3 000004f5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000050a: AND 0000050b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000520: AND 00000521: DUP2 00000522: MSTORE 00000523: PUSH1 0x20 00000525: ADD 00000526: SWAP2 00000527: POP 00000528: POP 00000529: PUSH1 0x40 0000052b: MLOAD 0000052c: DUP1 0000052d: SWAP2 0000052e: SUB 0000052f: SWAP1 00000530: RETURN 00000531: JUMPDEST 00000532: CALLVALUE 00000533: ISZERO 00000534: PUSH2 0x053c 00000537: JUMPI 00000538: PUSH1 0x00 0000053a: DUP1 0000053b: REVERT 0000053c: JUMPDEST 0000053d: PUSH2 0x0544 00000540: PUSH2 0x1045 00000543: JUMP 00000544: JUMPDEST 00000545: PUSH1 0x40 00000547: MLOAD 00000548: DUP1 00000549: DUP1 0000054a: PUSH1 0x20 0000054c: ADD 0000054d: DUP3 0000054e: DUP2 0000054f: SUB 00000550: DUP3 00000551: MSTORE 00000552: DUP4 00000553: DUP2 00000554: DUP2 00000555: MLOAD 00000556: DUP2 00000557: MSTORE 00000558: PUSH1 0x20 0000055a: ADD 0000055b: SWAP2 0000055c: POP 0000055d: DUP1 0000055e: MLOAD 0000055f: SWAP1 00000560: PUSH1 0x20 00000562: ADD 00000563: SWAP1 00000564: DUP1 00000565: DUP4 00000566: DUP4 00000567: PUSH1 0x00 00000569: JUMPDEST 0000056a: DUP4 0000056b: DUP2 0000056c: LT 0000056d: ISZERO 0000056e: PUSH2 0x0584 00000571: JUMPI 00000572: DUP1 00000573: DUP3 00000574: ADD 00000575: MLOAD 00000576: DUP2 00000577: DUP5 00000578: ADD 00000579: MSTORE 0000057a: PUSH1 0x20 0000057c: DUP2 0000057d: ADD 0000057e: SWAP1 0000057f: POP 00000580: PUSH2 0x0569 00000583: JUMP 00000584: JUMPDEST 00000585: POP 00000586: POP 00000587: POP 00000588: POP 00000589: SWAP1 0000058a: POP 0000058b: SWAP1 0000058c: DUP2 0000058d: ADD 0000058e: SWAP1 0000058f: PUSH1 0x1f 00000591: AND 00000592: DUP1 00000593: ISZERO 00000594: PUSH2 0x05b1 00000597: JUMPI 00000598: DUP1 00000599: DUP3 0000059a: SUB 0000059b: DUP1 0000059c: MLOAD 0000059d: PUSH1 0x01 0000059f: DUP4 000005a0: PUSH1 0x20 000005a2: SUB 000005a3: PUSH2 0x0100 000005a6: EXP 000005a7: SUB 000005a8: NOT 000005a9: AND 000005aa: DUP2 000005ab: MSTORE 000005ac: PUSH1 0x20 000005ae: ADD 000005af: SWAP2 000005b0: POP 000005b1: JUMPDEST 000005b2: POP 000005b3: SWAP3 000005b4: POP 000005b5: POP 000005b6: POP 000005b7: PUSH1 0x40 000005b9: MLOAD 000005ba: DUP1 000005bb: SWAP2 000005bc: SUB 000005bd: SWAP1 000005be: RETURN 000005bf: JUMPDEST 000005c0: CALLVALUE 000005c1: ISZERO 000005c2: PUSH2 0x05ca 000005c5: JUMPI 000005c6: PUSH1 0x00 000005c8: DUP1 000005c9: REVERT 000005ca: JUMPDEST 000005cb: PUSH2 0x05d2 000005ce: PUSH2 0x107e 000005d1: JUMP 000005d2: JUMPDEST 000005d3: STOP 000005d4: JUMPDEST 000005d5: CALLVALUE 000005d6: ISZERO 000005d7: PUSH2 0x05df 000005da: JUMPI 000005db: PUSH1 0x00 000005dd: DUP1 000005de: REVERT 000005df: JUMPDEST 000005e0: PUSH2 0x0614 000005e3: PUSH1 0x04 000005e5: DUP1 000005e6: DUP1 000005e7: CALLDATALOAD 000005e8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005fd: AND 000005fe: SWAP1 000005ff: PUSH1 0x20 00000601: ADD 00000602: SWAP1 00000603: SWAP2 00000604: SWAP1 00000605: DUP1 00000606: CALLDATALOAD 00000607: SWAP1 00000608: PUSH1 0x20 0000060a: ADD 0000060b: SWAP1 0000060c: SWAP2 0000060d: SWAP1 0000060e: POP 0000060f: POP 00000610: PUSH2 0x1155 00000613: JUMP 00000614: JUMPDEST 00000615: PUSH1 0x40 00000617: MLOAD 00000618: DUP1 00000619: DUP3 0000061a: ISZERO 0000061b: ISZERO 0000061c: ISZERO 0000061d: ISZERO 0000061e: DUP2 0000061f: MSTORE 00000620: PUSH1 0x20 00000622: ADD 00000623: SWAP2 00000624: POP 00000625: POP 00000626: PUSH1 0x40 00000628: MLOAD 00000629: DUP1 0000062a: SWAP2 0000062b: SUB 0000062c: SWAP1 0000062d: RETURN 0000062e: JUMPDEST 0000062f: CALLVALUE 00000630: ISZERO 00000631: PUSH2 0x0639 00000634: JUMPI 00000635: PUSH1 0x00 00000637: DUP1 00000638: REVERT 00000639: JUMPDEST 0000063a: PUSH2 0x0641 0000063d: PUSH2 0x1370 00000640: JUMP 00000641: JUMPDEST 00000642: PUSH1 0x40 00000644: MLOAD 00000645: DUP1 00000646: DUP3 00000647: PUSH1 0x03 00000649: DUP2 0000064a: GT 0000064b: ISZERO 0000064c: PUSH2 0x0651 0000064f: JUMPI 00000650: INVALID 00000651: JUMPDEST 00000652: PUSH1 0xff 00000654: AND 00000655: DUP2 00000656: MSTORE 00000657: PUSH1 0x20 00000659: ADD 0000065a: SWAP2 0000065b: POP 0000065c: POP 0000065d: PUSH1 0x40 0000065f: MLOAD 00000660: DUP1 00000661: SWAP2 00000662: SUB 00000663: SWAP1 00000664: RETURN 00000665: JUMPDEST 00000666: CALLVALUE 00000667: ISZERO 00000668: PUSH2 0x0670 0000066b: JUMPI 0000066c: PUSH1 0x00 0000066e: DUP1 0000066f: REVERT 00000670: JUMPDEST 00000671: PUSH2 0x06bb 00000674: PUSH1 0x04 00000676: DUP1 00000677: DUP1 00000678: CALLDATALOAD 00000679: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000068e: AND 0000068f: SWAP1 00000690: PUSH1 0x20 00000692: ADD 00000693: SWAP1 00000694: SWAP2 00000695: SWAP1 00000696: DUP1 00000697: CALLDATALOAD 00000698: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006ad: AND 000006ae: SWAP1 000006af: PUSH1 0x20 000006b1: ADD 000006b2: SWAP1 000006b3: SWAP2 000006b4: SWAP1 000006b5: POP 000006b6: POP 000006b7: PUSH2 0x1383 000006ba: JUMP 000006bb: JUMPDEST 000006bc: PUSH1 0x40 000006be: MLOAD 000006bf: DUP1 000006c0: DUP3 000006c1: DUP2 000006c2: MSTORE 000006c3: PUSH1 0x20 000006c5: ADD 000006c6: SWAP2 000006c7: POP 000006c8: POP 000006c9: PUSH1 0x40 000006cb: MLOAD 000006cc: DUP1 000006cd: SWAP2 000006ce: SUB 000006cf: SWAP1 000006d0: RETURN 000006d1: JUMPDEST 000006d2: CALLVALUE 000006d3: ISZERO 000006d4: PUSH2 0x06dc 000006d7: JUMPI 000006d8: PUSH1 0x00 000006da: DUP1 000006db: REVERT 000006dc: JUMPDEST 000006dd: PUSH2 0x0708 000006e0: PUSH1 0x04 000006e2: DUP1 000006e3: DUP1 000006e4: CALLDATALOAD 000006e5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006fa: AND 000006fb: SWAP1 000006fc: PUSH1 0x20 000006fe: ADD 000006ff: SWAP1 00000700: SWAP2 00000701: SWAP1 00000702: POP 00000703: POP 00000704: PUSH2 0x1452 00000707: JUMP 00000708: JUMPDEST 00000709: STOP 0000070a: JUMPDEST 0000070b: PUSH1 0x00 0000070d: DUP1 0000070e: DUP3 0000070f: DUP5 00000710: ADD 00000711: SWAP1 00000712: POP 00000713: DUP4 00000714: DUP2 00000715: LT 00000716: ISZERO 00000717: ISZERO 00000718: ISZERO 00000719: PUSH2 0x071e 0000071c: JUMPI 0000071d: INVALID 0000071e: JUMPDEST 0000071f: DUP1 00000720: SWAP2 00000721: POP 00000722: POP 00000723: SWAP3 00000724: SWAP2 00000725: POP 00000726: POP 00000727: JUMP 00000728: JUMPDEST 00000729: PUSH1 0x00 0000072b: DUP3 0000072c: DUP3 0000072d: GT 0000072e: ISZERO 0000072f: ISZERO 00000730: ISZERO 00000731: PUSH2 0x0736 00000734: JUMPI 00000735: INVALID 00000736: JUMPDEST 00000737: DUP2 00000738: DUP4 00000739: SUB 0000073a: SWAP1 0000073b: POP 0000073c: SWAP3 0000073d: SWAP2 0000073e: POP 0000073f: POP 00000740: JUMP 00000741: JUMPDEST 00000742: PUSH1 0x01 00000744: PUSH1 0x00 00000746: SWAP1 00000747: SLOAD 00000748: SWAP1 00000749: PUSH2 0x0100 0000074c: EXP 0000074d: SWAP1 0000074e: DIV 0000074f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000764: AND 00000765: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000077a: AND 0000077b: CALLER 0000077c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000791: AND 00000792: EQ 00000793: ISZERO 00000794: ISZERO 00000795: PUSH2 0x079d 00000798: JUMPI 00000799: PUSH1 0x00 0000079b: DUP1 0000079c: REVERT 0000079d: JUMPDEST 0000079e: PUSH1 0x01 000007a0: DUP1 000007a1: PUSH1 0x03 000007a3: DUP2 000007a4: GT 000007a5: ISZERO 000007a6: PUSH2 0x07ab 000007a9: JUMPI 000007aa: INVALID 000007ab: JUMPDEST 000007ac: PUSH1 0x07 000007ae: PUSH1 0x00 000007b0: SWAP1 000007b1: SLOAD 000007b2: SWAP1 000007b3: PUSH2 0x0100 000007b6: EXP 000007b7: SWAP1 000007b8: DIV 000007b9: PUSH1 0xff 000007bb: AND 000007bc: PUSH1 0x03 000007be: DUP2 000007bf: GT 000007c0: ISZERO 000007c1: PUSH2 0x07c6 000007c4: JUMPI 000007c5: INVALID 000007c6: JUMPDEST 000007c7: EQ 000007c8: ISZERO 000007c9: ISZERO 000007ca: PUSH2 0x07d2 000007cd: JUMPI 000007ce: PUSH1 0x00 000007d0: DUP1 000007d1: REVERT 000007d2: JUMPDEST 000007d3: PUSH1 0x04 000007d5: SLOAD 000007d6: TIMESTAMP 000007d7: GT 000007d8: ISZERO 000007d9: ISZERO 000007da: PUSH2 0x07e2 000007dd: JUMPI 000007de: PUSH1 0x00 000007e0: DUP1 000007e1: REVERT 000007e2: JUMPDEST 000007e3: PUSH1 0x01 000007e5: PUSH1 0x0a 000007e7: PUSH1 0x00 000007e9: PUSH2 0x0100 000007ec: EXP 000007ed: DUP2 000007ee: SLOAD 000007ef: DUP2 000007f0: PUSH1 0xff 000007f2: MUL 000007f3: NOT 000007f4: AND 000007f5: SWAP1 000007f6: DUP4 000007f7: ISZERO 000007f8: ISZERO 000007f9: MUL 000007fa: OR 000007fb: SWAP1 000007fc: SSTORE 000007fd: POP 000007fe: PUSH1 0x03 00000800: PUSH1 0x07 00000802: PUSH1 0x00 00000804: PUSH2 0x0100 00000807: EXP 00000808: DUP2 00000809: SLOAD 0000080a: DUP2 0000080b: PUSH1 0xff 0000080d: MUL 0000080e: NOT 0000080f: AND 00000810: SWAP1 00000811: DUP4 00000812: PUSH1 0x03 00000814: DUP2 00000815: GT 00000816: ISZERO 00000817: PUSH2 0x081c 0000081a: JUMPI 0000081b: INVALID 0000081c: JUMPDEST 0000081d: MUL 0000081e: OR 0000081f: SWAP1 00000820: SSTORE 00000821: POP 00000822: POP 00000823: JUMP 00000824: JUMPDEST 00000825: PUSH1 0x40 00000827: DUP1 00000828: MLOAD 00000829: SWAP1 0000082a: DUP2 0000082b: ADD 0000082c: PUSH1 0x40 0000082e: MSTORE 0000082f: DUP1 00000830: PUSH1 0x06 00000832: DUP2 00000833: MSTORE 00000834: PUSH1 0x20 00000836: ADD 00000837: PUSH32 0x416442616e6b0000000000000000000000000000000000000000000000000000 00000858: DUP2 00000859: MSTORE 0000085a: POP 0000085b: DUP2 0000085c: JUMP 0000085d: JUMPDEST 0000085e: PUSH1 0x00 00000860: DUP1 00000861: DUP4 00000862: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000877: AND 00000878: EQ 00000879: ISZERO 0000087a: ISZERO 0000087b: ISZERO 0000087c: PUSH2 0x0884 0000087f: JUMPI 00000880: PUSH1 0x00 00000882: DUP1 00000883: REVERT 00000884: JUMPDEST 00000885: DUP2 00000886: PUSH1 0x06 00000888: PUSH1 0x00 0000088a: CALLER 0000088b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008a0: AND 000008a1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008b6: AND 000008b7: DUP2 000008b8: MSTORE 000008b9: PUSH1 0x20 000008bb: ADD 000008bc: SWAP1 000008bd: DUP2 000008be: MSTORE 000008bf: PUSH1 0x20 000008c1: ADD 000008c2: PUSH1 0x00 000008c4: KECCAK256 000008c5: PUSH1 0x00 000008c7: DUP6 000008c8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008dd: AND 000008de: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008f3: AND 000008f4: DUP2 000008f5: MSTORE 000008f6: PUSH1 0x20 000008f8: ADD 000008f9: SWAP1 000008fa: DUP2 000008fb: MSTORE 000008fc: PUSH1 0x20 000008fe: ADD 000008ff: PUSH1 0x00 00000901: KECCAK256 00000902: DUP2 00000903: SWAP1 00000904: SSTORE 00000905: POP 00000906: DUP3 00000907: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000091c: AND 0000091d: CALLER 0000091e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000933: AND 00000934: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 00000955: DUP5 00000956: PUSH1 0x40 00000958: MLOAD 00000959: DUP1 0000095a: DUP3 0000095b: DUP2 0000095c: MSTORE 0000095d: PUSH1 0x20 0000095f: ADD 00000960: SWAP2 00000961: POP 00000962: POP 00000963: PUSH1 0x40 00000965: MLOAD 00000966: DUP1 00000967: SWAP2 00000968: SUB 00000969: SWAP1 0000096a: LOG3 0000096b: PUSH1 0x01 0000096d: SWAP1 0000096e: POP 0000096f: SWAP3 00000970: SWAP2 00000971: POP 00000972: POP 00000973: JUMP 00000974: JUMPDEST 00000975: PUSH1 0x00 00000977: DUP1 00000978: SLOAD 00000979: SWAP1 0000097a: POP 0000097b: SWAP1 0000097c: JUMP 0000097d: JUMPDEST 0000097e: PUSH1 0x00 00000980: DUP1 00000981: DUP4 00000982: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000997: AND 00000998: EQ 00000999: ISZERO 0000099a: ISZERO 0000099b: ISZERO 0000099c: PUSH2 0x09a4 0000099f: JUMPI 000009a0: PUSH1 0x00 000009a2: DUP1 000009a3: REVERT 000009a4: JUMPDEST 000009a5: DUP2 000009a6: PUSH1 0x05 000009a8: PUSH1 0x00 000009aa: DUP7 000009ab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009c0: AND 000009c1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009d6: AND 000009d7: DUP2 000009d8: MSTORE 000009d9: PUSH1 0x20 000009db: ADD 000009dc: SWAP1 000009dd: DUP2 000009de: MSTORE 000009df: PUSH1 0x20 000009e1: ADD 000009e2: PUSH1 0x00 000009e4: KECCAK256 000009e5: SLOAD 000009e6: LT 000009e7: ISZERO 000009e8: DUP1 000009e9: ISZERO 000009ea: PUSH2 0x0a6f 000009ed: JUMPI 000009ee: POP 000009ef: DUP2 000009f0: PUSH1 0x06 000009f2: PUSH1 0x00 000009f4: DUP7 000009f5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a0a: AND 00000a0b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a20: AND 00000a21: DUP2 00000a22: MSTORE 00000a23: PUSH1 0x20 00000a25: ADD 00000a26: SWAP1 00000a27: DUP2 00000a28: MSTORE 00000a29: PUSH1 0x20 00000a2b: ADD 00000a2c: PUSH1 0x00 00000a2e: KECCAK256 00000a2f: PUSH1 0x00 00000a31: CALLER 00000a32: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a47: AND 00000a48: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a5d: AND 00000a5e: DUP2 00000a5f: MSTORE 00000a60: PUSH1 0x20 00000a62: ADD 00000a63: SWAP1 00000a64: DUP2 00000a65: MSTORE 00000a66: PUSH1 0x20 00000a68: ADD 00000a69: PUSH1 0x00 00000a6b: KECCAK256 00000a6c: SLOAD 00000a6d: LT 00000a6e: ISZERO 00000a6f: JUMPDEST 00000a70: DUP1 00000a71: ISZERO 00000a72: PUSH2 0x0a7c 00000a75: JUMPI 00000a76: POP 00000a77: PUSH1 0x00 00000a79: DUP3 00000a7a: LT 00000a7b: ISZERO 00000a7c: JUMPDEST 00000a7d: ISZERO 00000a7e: ISZERO 00000a7f: PUSH2 0x0a87 00000a82: JUMPI 00000a83: PUSH1 0x00 00000a85: DUP1 00000a86: REVERT 00000a87: JUMPDEST 00000a88: PUSH2 0x0ad9 00000a8b: DUP3 00000a8c: PUSH1 0x05 00000a8e: PUSH1 0x00 00000a90: DUP8 00000a91: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000aa6: AND 00000aa7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000abc: AND 00000abd: DUP2 00000abe: MSTORE 00000abf: PUSH1 0x20 00000ac1: ADD 00000ac2: SWAP1 00000ac3: DUP2 00000ac4: MSTORE 00000ac5: PUSH1 0x20 00000ac7: ADD 00000ac8: PUSH1 0x00 00000aca: KECCAK256 00000acb: SLOAD 00000acc: PUSH2 0x0728 00000acf: SWAP1 00000ad0: SWAP2 00000ad1: SWAP1 00000ad2: PUSH4 0xffffffff 00000ad7: AND 00000ad8: JUMP 00000ad9: JUMPDEST 00000ada: PUSH1 0x05 00000adc: PUSH1 0x00 00000ade: DUP7 00000adf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000af4: AND 00000af5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b0a: AND 00000b0b: DUP2 00000b0c: MSTORE 00000b0d: PUSH1 0x20 00000b0f: ADD 00000b10: SWAP1 00000b11: DUP2 00000b12: MSTORE 00000b13: PUSH1 0x20 00000b15: ADD 00000b16: PUSH1 0x00 00000b18: KECCAK256 00000b19: DUP2 00000b1a: SWAP1 00000b1b: SSTORE 00000b1c: POP 00000b1d: PUSH2 0x0bab 00000b20: DUP3 00000b21: PUSH1 0x06 00000b23: PUSH1 0x00 00000b25: DUP8 00000b26: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b3b: AND 00000b3c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b51: AND 00000b52: DUP2 00000b53: MSTORE 00000b54: PUSH1 0x20 00000b56: ADD 00000b57: SWAP1 00000b58: DUP2 00000b59: MSTORE 00000b5a: PUSH1 0x20 00000b5c: ADD 00000b5d: PUSH1 0x00 00000b5f: KECCAK256 00000b60: PUSH1 0x00 00000b62: CALLER 00000b63: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b78: AND 00000b79: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b8e: AND 00000b8f: DUP2 00000b90: MSTORE 00000b91: PUSH1 0x20 00000b93: ADD 00000b94: SWAP1 00000b95: DUP2 00000b96: MSTORE 00000b97: PUSH1 0x20 00000b99: ADD 00000b9a: PUSH1 0x00 00000b9c: KECCAK256 00000b9d: SLOAD 00000b9e: PUSH2 0x0728 00000ba1: SWAP1 00000ba2: SWAP2 00000ba3: SWAP1 00000ba4: PUSH4 0xffffffff 00000ba9: AND 00000baa: JUMP 00000bab: JUMPDEST 00000bac: PUSH1 0x06 00000bae: PUSH1 0x00 00000bb0: DUP7 00000bb1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bc6: AND 00000bc7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bdc: AND 00000bdd: DUP2 00000bde: MSTORE 00000bdf: PUSH1 0x20 00000be1: ADD 00000be2: SWAP1 00000be3: DUP2 00000be4: MSTORE 00000be5: PUSH1 0x20 00000be7: ADD 00000be8: PUSH1 0x00 00000bea: KECCAK256 00000beb: PUSH1 0x00 00000bed: CALLER 00000bee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c03: AND 00000c04: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c19: AND 00000c1a: DUP2 00000c1b: MSTORE 00000c1c: PUSH1 0x20 00000c1e: ADD 00000c1f: SWAP1 00000c20: DUP2 00000c21: MSTORE 00000c22: PUSH1 0x20 00000c24: ADD 00000c25: PUSH1 0x00 00000c27: KECCAK256 00000c28: DUP2 00000c29: SWAP1 00000c2a: SSTORE 00000c2b: POP 00000c2c: PUSH2 0x0c7d 00000c2f: DUP3 00000c30: PUSH1 0x05 00000c32: PUSH1 0x00 00000c34: DUP7 00000c35: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c4a: AND 00000c4b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c60: AND 00000c61: DUP2 00000c62: MSTORE 00000c63: PUSH1 0x20 00000c65: ADD 00000c66: SWAP1 00000c67: DUP2 00000c68: MSTORE 00000c69: PUSH1 0x20 00000c6b: ADD 00000c6c: PUSH1 0x00 00000c6e: KECCAK256 00000c6f: SLOAD 00000c70: PUSH2 0x070a 00000c73: SWAP1 00000c74: SWAP2 00000c75: SWAP1 00000c76: PUSH4 0xffffffff 00000c7b: AND 00000c7c: JUMP 00000c7d: JUMPDEST 00000c7e: PUSH1 0x05 00000c80: PUSH1 0x00 00000c82: DUP6 00000c83: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c98: AND 00000c99: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cae: AND 00000caf: DUP2 00000cb0: MSTORE 00000cb1: PUSH1 0x20 00000cb3: ADD 00000cb4: SWAP1 00000cb5: DUP2 00000cb6: MSTORE 00000cb7: PUSH1 0x20 00000cb9: ADD 00000cba: PUSH1 0x00 00000cbc: KECCAK256 00000cbd: DUP2 00000cbe: SWAP1 00000cbf: SSTORE 00000cc0: POP 00000cc1: DUP3 00000cc2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cd7: AND 00000cd8: DUP5 00000cd9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cee: AND 00000cef: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00000d10: DUP5 00000d11: PUSH1 0x40 00000d13: MLOAD 00000d14: DUP1 00000d15: DUP3 00000d16: DUP2 00000d17: MSTORE 00000d18: PUSH1 0x20 00000d1a: ADD 00000d1b: SWAP2 00000d1c: POP 00000d1d: POP 00000d1e: PUSH1 0x40 00000d20: MLOAD 00000d21: DUP1 00000d22: SWAP2 00000d23: SUB 00000d24: SWAP1 00000d25: LOG3 00000d26: PUSH1 0x01 00000d28: SWAP1 00000d29: POP 00000d2a: SWAP4 00000d2b: SWAP3 00000d2c: POP 00000d2d: POP 00000d2e: POP 00000d2f: JUMP 00000d30: JUMPDEST 00000d31: PUSH1 0x12 00000d33: DUP2 00000d34: JUMP 00000d35: JUMPDEST 00000d36: PUSH1 0x01 00000d38: PUSH1 0x00 00000d3a: SWAP1 00000d3b: SLOAD 00000d3c: SWAP1 00000d3d: PUSH2 0x0100 00000d40: EXP 00000d41: SWAP1 00000d42: DIV 00000d43: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d58: AND 00000d59: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d6e: AND 00000d6f: CALLER 00000d70: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d85: AND 00000d86: EQ 00000d87: ISZERO 00000d88: ISZERO 00000d89: PUSH2 0x0d91 00000d8c: JUMPI 00000d8d: PUSH1 0x00 00000d8f: DUP1 00000d90: REVERT 00000d91: JUMPDEST 00000d92: PUSH1 0x01 00000d94: DUP1 00000d95: PUSH1 0x03 00000d97: DUP2 00000d98: GT 00000d99: ISZERO 00000d9a: PUSH2 0x0d9f 00000d9d: JUMPI 00000d9e: INVALID 00000d9f: JUMPDEST 00000da0: PUSH1 0x07 00000da2: PUSH1 0x00 00000da4: SWAP1 00000da5: SLOAD 00000da6: SWAP1 00000da7: PUSH2 0x0100 00000daa: EXP 00000dab: SWAP1 00000dac: DIV 00000dad: PUSH1 0xff 00000daf: AND 00000db0: PUSH1 0x03 00000db2: DUP2 00000db3: GT 00000db4: ISZERO 00000db5: PUSH2 0x0dba 00000db8: JUMPI 00000db9: INVALID 00000dba: JUMPDEST 00000dbb: EQ 00000dbc: ISZERO 00000dbd: ISZERO 00000dbe: PUSH2 0x0dc6 00000dc1: JUMPI 00000dc2: PUSH1 0x00 00000dc4: DUP1 00000dc5: REVERT 00000dc6: JUMPDEST 00000dc7: PUSH1 0x01 00000dc9: DUP1 00000dca: PUSH1 0x14 00000dcc: PUSH2 0x0100 00000dcf: EXP 00000dd0: DUP2 00000dd1: SLOAD 00000dd2: DUP2 00000dd3: PUSH1 0xff 00000dd5: MUL 00000dd6: NOT 00000dd7: AND 00000dd8: SWAP1 00000dd9: DUP4 00000dda: ISZERO 00000ddb: ISZERO 00000ddc: MUL 00000ddd: OR 00000dde: SWAP1 00000ddf: SSTORE 00000de0: POP 00000de1: PUSH1 0x02 00000de3: PUSH1 0x07 00000de5: PUSH1 0x00 00000de7: PUSH2 0x0100 00000dea: EXP 00000deb: DUP2 00000dec: SLOAD 00000ded: DUP2 00000dee: PUSH1 0xff 00000df0: MUL 00000df1: NOT 00000df2: AND 00000df3: SWAP1 00000df4: DUP4 00000df5: PUSH1 0x03 00000df7: DUP2 00000df8: GT 00000df9: ISZERO 00000dfa: PUSH2 0x0dff 00000dfd: JUMPI 00000dfe: INVALID 00000dff: JUMPDEST 00000e00: MUL 00000e01: OR 00000e02: SWAP1 00000e03: SSTORE 00000e04: POP 00000e05: POP 00000e06: JUMP 00000e07: JUMPDEST 00000e08: PUSH1 0x01 00000e0a: PUSH1 0x00 00000e0c: SWAP1 00000e0d: SLOAD 00000e0e: SWAP1 00000e0f: PUSH2 0x0100 00000e12: EXP 00000e13: SWAP1 00000e14: DIV 00000e15: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e2a: AND 00000e2b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e40: AND 00000e41: CALLER 00000e42: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e57: AND 00000e58: EQ 00000e59: ISZERO 00000e5a: ISZERO 00000e5b: PUSH2 0x0e63 00000e5e: JUMPI 00000e5f: PUSH1 0x00 00000e61: DUP1 00000e62: REVERT 00000e63: JUMPDEST 00000e64: PUSH1 0x02 00000e66: DUP1 00000e67: PUSH1 0x03 00000e69: DUP2 00000e6a: GT 00000e6b: ISZERO 00000e6c: PUSH2 0x0e71 00000e6f: JUMPI 00000e70: INVALID 00000e71: JUMPDEST 00000e72: PUSH1 0x07 00000e74: PUSH1 0x00 00000e76: SWAP1 00000e77: SLOAD 00000e78: SWAP1 00000e79: PUSH2 0x0100 00000e7c: EXP 00000e7d: SWAP1 00000e7e: DIV 00000e7f: PUSH1 0xff 00000e81: AND 00000e82: PUSH1 0x03 00000e84: DUP2 00000e85: GT 00000e86: ISZERO 00000e87: PUSH2 0x0e8c 00000e8a: JUMPI 00000e8b: INVALID 00000e8c: JUMPDEST 00000e8d: EQ 00000e8e: ISZERO 00000e8f: ISZERO 00000e90: PUSH2 0x0e98 00000e93: JUMPI 00000e94: PUSH1 0x00 00000e96: DUP1 00000e97: REVERT 00000e98: JUMPDEST 00000e99: PUSH1 0x00 00000e9b: PUSH1 0x01 00000e9d: PUSH1 0x14 00000e9f: PUSH2 0x0100 00000ea2: EXP 00000ea3: DUP2 00000ea4: SLOAD 00000ea5: DUP2 00000ea6: PUSH1 0xff 00000ea8: MUL 00000ea9: NOT 00000eaa: AND 00000eab: SWAP1 00000eac: DUP4 00000ead: ISZERO 00000eae: ISZERO 00000eaf: MUL 00000eb0: OR 00000eb1: SWAP1 00000eb2: SSTORE 00000eb3: POP 00000eb4: PUSH1 0x01 00000eb6: PUSH1 0x07 00000eb8: PUSH1 0x00 00000eba: PUSH2 0x0100 00000ebd: EXP 00000ebe: DUP2 00000ebf: SLOAD 00000ec0: DUP2 00000ec1: PUSH1 0xff 00000ec3: MUL 00000ec4: NOT 00000ec5: AND 00000ec6: SWAP1 00000ec7: DUP4 00000ec8: PUSH1 0x03 00000eca: DUP2 00000ecb: GT 00000ecc: ISZERO 00000ecd: PUSH2 0x0ed2 00000ed0: JUMPI 00000ed1: INVALID 00000ed2: JUMPDEST 00000ed3: MUL 00000ed4: OR 00000ed5: SWAP1 00000ed6: SSTORE 00000ed7: POP 00000ed8: POP 00000ed9: JUMP 00000eda: JUMPDEST 00000edb: PUSH1 0x01 00000edd: PUSH1 0x00 00000edf: SWAP1 00000ee0: SLOAD 00000ee1: SWAP1 00000ee2: PUSH2 0x0100 00000ee5: EXP 00000ee6: SWAP1 00000ee7: DIV 00000ee8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000efd: AND 00000efe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f13: AND 00000f14: CALLER 00000f15: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f2a: AND 00000f2b: EQ 00000f2c: ISZERO 00000f2d: ISZERO 00000f2e: PUSH2 0x0f36 00000f31: JUMPI 00000f32: PUSH1 0x00 00000f34: DUP1 00000f35: REVERT 00000f36: JUMPDEST 00000f37: PUSH1 0x00 00000f39: DUP1 00000f3a: PUSH1 0x03 00000f3c: DUP2 00000f3d: GT 00000f3e: ISZERO 00000f3f: PUSH2 0x0f44 00000f42: JUMPI 00000f43: INVALID 00000f44: JUMPDEST 00000f45: PUSH1 0x07 00000f47: PUSH1 0x00 00000f49: SWAP1 00000f4a: SLOAD 00000f4b: SWAP1 00000f4c: PUSH2 0x0100 00000f4f: EXP 00000f50: SWAP1 00000f51: DIV 00000f52: PUSH1 0xff 00000f54: AND 00000f55: PUSH1 0x03 00000f57: DUP2 00000f58: GT 00000f59: ISZERO 00000f5a: PUSH2 0x0f5f 00000f5d: JUMPI 00000f5e: INVALID 00000f5f: JUMPDEST 00000f60: EQ 00000f61: ISZERO 00000f62: ISZERO 00000f63: PUSH2 0x0f6b 00000f66: JUMPI 00000f67: PUSH1 0x00 00000f69: DUP1 00000f6a: REVERT 00000f6b: JUMPDEST 00000f6c: PUSH1 0x01 00000f6e: PUSH1 0x07 00000f70: PUSH1 0x00 00000f72: PUSH2 0x0100 00000f75: EXP 00000f76: DUP2 00000f77: SLOAD 00000f78: DUP2 00000f79: PUSH1 0xff 00000f7b: MUL 00000f7c: NOT 00000f7d: AND 00000f7e: SWAP1 00000f7f: DUP4 00000f80: PUSH1 0x03 00000f82: DUP2 00000f83: GT 00000f84: ISZERO 00000f85: PUSH2 0x0f8a 00000f88: JUMPI 00000f89: INVALID 00000f8a: JUMPDEST 00000f8b: MUL 00000f8c: OR 00000f8d: SWAP1 00000f8e: SSTORE 00000f8f: POP 00000f90: PUSH1 0x00 00000f92: PUSH1 0x01 00000f94: PUSH1 0x14 00000f96: PUSH2 0x0100 00000f99: EXP 00000f9a: DUP2 00000f9b: SLOAD 00000f9c: DUP2 00000f9d: PUSH1 0xff 00000f9f: MUL 00000fa0: NOT 00000fa1: AND 00000fa2: SWAP1 00000fa3: DUP4 00000fa4: ISZERO 00000fa5: ISZERO 00000fa6: MUL 00000fa7: OR 00000fa8: SWAP1 00000fa9: SSTORE 00000faa: POP 00000fab: TIMESTAMP 00000fac: PUSH1 0x03 00000fae: DUP2 00000faf: SWAP1 00000fb0: SSTORE 00000fb1: POP 00000fb2: PUSH2 0x0fc7 00000fb5: PUSH3 0x336a80 00000fb9: TIMESTAMP 00000fba: PUSH2 0x070a 00000fbd: SWAP1 00000fbe: SWAP2 00000fbf: SWAP1 00000fc0: PUSH4 0xffffffff 00000fc5: AND 00000fc6: JUMP 00000fc7: JUMPDEST 00000fc8: PUSH1 0x04 00000fca: DUP2 00000fcb: SWAP1 00000fcc: SSTORE 00000fcd: POP 00000fce: POP 00000fcf: JUMP 00000fd0: JUMPDEST 00000fd1: PUSH1 0x00 00000fd3: PUSH1 0x05 00000fd5: PUSH1 0x00 00000fd7: DUP4 00000fd8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fed: AND 00000fee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001003: AND 00001004: DUP2 00001005: MSTORE 00001006: PUSH1 0x20 00001008: ADD 00001009: SWAP1 0000100a: DUP2 0000100b: MSTORE 0000100c: PUSH1 0x20 0000100e: ADD 0000100f: PUSH1 0x00 00001011: KECCAK256 00001012: SLOAD 00001013: SWAP1 00001014: POP 00001015: SWAP2 00001016: SWAP1 00001017: POP 00001018: JUMP 00001019: JUMPDEST 0000101a: PUSH1 0x02 0000101c: SLOAD 0000101d: DUP2 0000101e: JUMP 0000101f: JUMPDEST 00001020: PUSH1 0x01 00001022: PUSH1 0x00 00001024: SWAP1 00001025: SLOAD 00001026: SWAP1 00001027: PUSH2 0x0100 0000102a: EXP 0000102b: SWAP1 0000102c: DIV 0000102d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001042: AND 00001043: DUP2 00001044: JUMP 00001045: JUMPDEST 00001046: PUSH1 0x40 00001048: DUP1 00001049: MLOAD 0000104a: SWAP1 0000104b: DUP2 0000104c: ADD 0000104d: PUSH1 0x40 0000104f: MSTORE 00001050: DUP1 00001051: PUSH1 0x03 00001053: DUP2 00001054: MSTORE 00001055: PUSH1 0x20 00001057: ADD 00001058: PUSH32 0x4144420000000000000000000000000000000000000000000000000000000000 00001079: DUP2 0000107a: MSTORE 0000107b: POP 0000107c: DUP2 0000107d: JUMP 0000107e: JUMPDEST 0000107f: PUSH1 0x01 00001081: PUSH1 0x00 00001083: SWAP1 00001084: SLOAD 00001085: SWAP1 00001086: PUSH2 0x0100 00001089: EXP 0000108a: SWAP1 0000108b: DIV 0000108c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010a1: AND 000010a2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010b7: AND 000010b8: CALLER 000010b9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010ce: AND 000010cf: EQ 000010d0: ISZERO 000010d1: ISZERO 000010d2: PUSH2 0x10da 000010d5: JUMPI 000010d6: PUSH1 0x00 000010d8: DUP1 000010d9: REVERT 000010da: JUMPDEST 000010db: PUSH1 0x01 000010dd: PUSH1 0x00 000010df: SWAP1 000010e0: SLOAD 000010e1: SWAP1 000010e2: PUSH2 0x0100 000010e5: EXP 000010e6: SWAP1 000010e7: DIV 000010e8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010fd: AND 000010fe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001113: AND 00001114: PUSH2 0x08fc 00001117: ADDRESS 00001118: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000112d: AND 0000112e: BALANCE 0000112f: SWAP1 00001130: DUP2 00001131: ISZERO 00001132: MUL 00001133: SWAP1 00001134: PUSH1 0x40 00001136: MLOAD 00001137: PUSH1 0x00 00001139: PUSH1 0x40 0000113b: MLOAD 0000113c: DUP1 0000113d: DUP4 0000113e: SUB 0000113f: DUP2 00001140: DUP6 00001141: DUP9 00001142: DUP9 00001143: CALL 00001144: SWAP4 00001145: POP 00001146: POP 00001147: POP 00001148: POP 00001149: ISZERO 0000114a: ISZERO 0000114b: PUSH2 0x1153 0000114e: JUMPI 0000114f: PUSH1 0x00 00001151: DUP1 00001152: REVERT 00001153: JUMPDEST 00001154: JUMP 00001155: JUMPDEST 00001156: PUSH1 0x00 00001158: DUP1 00001159: DUP4 0000115a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000116f: AND 00001170: EQ 00001171: ISZERO 00001172: ISZERO 00001173: ISZERO 00001174: PUSH2 0x117c 00001177: JUMPI 00001178: PUSH1 0x00 0000117a: DUP1 0000117b: REVERT 0000117c: JUMPDEST 0000117d: DUP2 0000117e: PUSH1 0x05 00001180: PUSH1 0x00 00001182: CALLER 00001183: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001198: AND 00001199: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011ae: AND 000011af: DUP2 000011b0: MSTORE 000011b1: PUSH1 0x20 000011b3: ADD 000011b4: SWAP1 000011b5: DUP2 000011b6: MSTORE 000011b7: PUSH1 0x20 000011b9: ADD 000011ba: PUSH1 0x00 000011bc: KECCAK256 000011bd: SLOAD 000011be: LT 000011bf: ISZERO 000011c0: DUP1 000011c1: ISZERO 000011c2: PUSH2 0x11cc 000011c5: JUMPI 000011c6: POP 000011c7: PUSH1 0x00 000011c9: DUP3 000011ca: LT 000011cb: ISZERO 000011cc: JUMPDEST 000011cd: ISZERO 000011ce: ISZERO 000011cf: PUSH2 0x11d7 000011d2: JUMPI 000011d3: PUSH1 0x00 000011d5: DUP1 000011d6: REVERT 000011d7: JUMPDEST 000011d8: PUSH2 0x1229 000011db: DUP3 000011dc: PUSH1 0x05 000011de: PUSH1 0x00 000011e0: CALLER 000011e1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011f6: AND 000011f7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000120c: AND 0000120d: DUP2 0000120e: MSTORE 0000120f: PUSH1 0x20 00001211: ADD 00001212: SWAP1 00001213: DUP2 00001214: MSTORE 00001215: PUSH1 0x20 00001217: ADD 00001218: PUSH1 0x00 0000121a: KECCAK256 0000121b: SLOAD 0000121c: PUSH2 0x0728 0000121f: SWAP1 00001220: SWAP2 00001221: SWAP1 00001222: PUSH4 0xffffffff 00001227: AND 00001228: JUMP 00001229: JUMPDEST 0000122a: PUSH1 0x05 0000122c: PUSH1 0x00 0000122e: CALLER 0000122f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001244: AND 00001245: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000125a: AND 0000125b: DUP2 0000125c: MSTORE 0000125d: PUSH1 0x20 0000125f: ADD 00001260: SWAP1 00001261: DUP2 00001262: MSTORE 00001263: PUSH1 0x20 00001265: ADD 00001266: PUSH1 0x00 00001268: KECCAK256 00001269: DUP2 0000126a: SWAP1 0000126b: SSTORE 0000126c: POP 0000126d: PUSH2 0x12be 00001270: DUP3 00001271: PUSH1 0x05 00001273: PUSH1 0x00 00001275: DUP7 00001276: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000128b: AND 0000128c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012a1: AND 000012a2: DUP2 000012a3: MSTORE 000012a4: PUSH1 0x20 000012a6: ADD 000012a7: SWAP1 000012a8: DUP2 000012a9: MSTORE 000012aa: PUSH1 0x20 000012ac: ADD 000012ad: PUSH1 0x00 000012af: KECCAK256 000012b0: SLOAD 000012b1: PUSH2 0x070a 000012b4: SWAP1 000012b5: SWAP2 000012b6: SWAP1 000012b7: PUSH4 0xffffffff 000012bc: AND 000012bd: JUMP 000012be: JUMPDEST 000012bf: PUSH1 0x05 000012c1: PUSH1 0x00 000012c3: DUP6 000012c4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012d9: AND 000012da: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012ef: AND 000012f0: DUP2 000012f1: MSTORE 000012f2: PUSH1 0x20 000012f4: ADD 000012f5: SWAP1 000012f6: DUP2 000012f7: MSTORE 000012f8: PUSH1 0x20 000012fa: ADD 000012fb: PUSH1 0x00 000012fd: KECCAK256 000012fe: DUP2 000012ff: SWAP1 00001300: SSTORE 00001301: POP 00001302: DUP3 00001303: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001318: AND 00001319: CALLER 0000131a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000132f: AND 00001330: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00001351: DUP5 00001352: PUSH1 0x40 00001354: MLOAD 00001355: DUP1 00001356: DUP3 00001357: DUP2 00001358: MSTORE 00001359: PUSH1 0x20 0000135b: ADD 0000135c: SWAP2 0000135d: POP 0000135e: POP 0000135f: PUSH1 0x40 00001361: MLOAD 00001362: DUP1 00001363: SWAP2 00001364: SUB 00001365: SWAP1 00001366: LOG3 00001367: PUSH1 0x01 00001369: SWAP1 0000136a: POP 0000136b: SWAP3 0000136c: SWAP2 0000136d: POP 0000136e: POP 0000136f: JUMP 00001370: JUMPDEST 00001371: PUSH1 0x07 00001373: PUSH1 0x00 00001375: SWAP1 00001376: SLOAD 00001377: SWAP1 00001378: PUSH2 0x0100 0000137b: EXP 0000137c: SWAP1 0000137d: DIV 0000137e: PUSH1 0xff 00001380: AND 00001381: DUP2 00001382: JUMP 00001383: JUMPDEST 00001384: PUSH1 0x00 00001386: DUP1 00001387: DUP4 00001388: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000139d: AND 0000139e: EQ 0000139f: ISZERO 000013a0: DUP1 000013a1: ISZERO 000013a2: PUSH2 0x13c2 000013a5: JUMPI 000013a6: POP 000013a7: PUSH1 0x00 000013a9: DUP3 000013aa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013bf: AND 000013c0: EQ 000013c1: ISZERO 000013c2: JUMPDEST 000013c3: ISZERO 000013c4: ISZERO 000013c5: PUSH2 0x13cd 000013c8: JUMPI 000013c9: PUSH1 0x00 000013cb: DUP1 000013cc: REVERT 000013cd: JUMPDEST 000013ce: PUSH1 0x06 000013d0: PUSH1 0x00 000013d2: DUP5 000013d3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013e8: AND 000013e9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013fe: AND 000013ff: DUP2 00001400: MSTORE 00001401: PUSH1 0x20 00001403: ADD 00001404: SWAP1 00001405: DUP2 00001406: MSTORE 00001407: PUSH1 0x20 00001409: ADD 0000140a: PUSH1 0x00 0000140c: KECCAK256 0000140d: PUSH1 0x00 0000140f: DUP4 00001410: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001425: AND 00001426: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000143b: AND 0000143c: DUP2 0000143d: MSTORE 0000143e: PUSH1 0x20 00001440: ADD 00001441: SWAP1 00001442: DUP2 00001443: MSTORE 00001444: PUSH1 0x20 00001446: ADD 00001447: PUSH1 0x00 00001449: KECCAK256 0000144a: SLOAD 0000144b: SWAP1 0000144c: POP 0000144d: SWAP3 0000144e: SWAP2 0000144f: POP 00001450: POP 00001451: JUMP 00001452: JUMPDEST 00001453: PUSH1 0x01 00001455: PUSH1 0x00 00001457: SWAP1 00001458: SLOAD 00001459: SWAP1 0000145a: PUSH2 0x0100 0000145d: EXP 0000145e: SWAP1 0000145f: DIV 00001460: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001475: AND 00001476: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000148b: AND 0000148c: CALLER 0000148d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014a2: AND 000014a3: EQ 000014a4: ISZERO 000014a5: ISZERO 000014a6: PUSH2 0x14ae 000014a9: JUMPI 000014aa: PUSH1 0x00 000014ac: DUP1 000014ad: REVERT 000014ae: JUMPDEST 000014af: PUSH1 0x00 000014b1: DUP2 000014b2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014c7: AND 000014c8: EQ 000014c9: ISZERO 000014ca: ISZERO 000014cb: ISZERO 000014cc: PUSH2 0x14d4 000014cf: JUMPI 000014d0: PUSH1 0x00 000014d2: DUP1 000014d3: REVERT 000014d4: JUMPDEST 000014d5: PUSH2 0x1587 000014d8: PUSH1 0x05 000014da: PUSH1 0x00 000014dc: PUSH1 0x01 000014de: PUSH1 0x00 000014e0: SWAP1 000014e1: SLOAD 000014e2: SWAP1 000014e3: PUSH2 0x0100 000014e6: EXP 000014e7: SWAP1 000014e8: DIV 000014e9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014fe: AND 000014ff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001514: AND 00001515: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000152a: AND 0000152b: DUP2 0000152c: MSTORE 0000152d: PUSH1 0x20 0000152f: ADD 00001530: SWAP1 00001531: DUP2 00001532: MSTORE 00001533: PUSH1 0x20 00001535: ADD 00001536: PUSH1 0x00 00001538: KECCAK256 00001539: SLOAD 0000153a: PUSH1 0x05 0000153c: PUSH1 0x00 0000153e: DUP5 0000153f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001554: AND 00001555: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000156a: AND 0000156b: DUP2 0000156c: MSTORE 0000156d: PUSH1 0x20 0000156f: ADD 00001570: SWAP1 00001571: DUP2 00001572: MSTORE 00001573: PUSH1 0x20 00001575: ADD 00001576: PUSH1 0x00 00001578: KECCAK256 00001579: SLOAD 0000157a: PUSH2 0x070a 0000157d: SWAP1 0000157e: SWAP2 0000157f: SWAP1 00001580: PUSH4 0xffffffff 00001585: AND 00001586: JUMP 00001587: JUMPDEST 00001588: PUSH1 0x05 0000158a: PUSH1 0x00 0000158c: DUP4 0000158d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015a2: AND 000015a3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015b8: AND 000015b9: DUP2 000015ba: MSTORE 000015bb: PUSH1 0x20 000015bd: ADD 000015be: SWAP1 000015bf: DUP2 000015c0: MSTORE 000015c1: PUSH1 0x20 000015c3: ADD 000015c4: PUSH1 0x00 000015c6: KECCAK256 000015c7: DUP2 000015c8: SWAP1 000015c9: SSTORE 000015ca: POP 000015cb: PUSH1 0x00 000015cd: PUSH1 0x05 000015cf: PUSH1 0x00 000015d1: PUSH1 0x01 000015d3: PUSH1 0x00 000015d5: SWAP1 000015d6: SLOAD 000015d7: SWAP1 000015d8: PUSH2 0x0100 000015db: EXP 000015dc: SWAP1 000015dd: DIV 000015de: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015f3: AND 000015f4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001609: AND 0000160a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000161f: AND 00001620: DUP2 00001621: MSTORE 00001622: PUSH1 0x20 00001624: ADD 00001625: SWAP1 00001626: DUP2 00001627: MSTORE 00001628: PUSH1 0x20 0000162a: ADD 0000162b: PUSH1 0x00 0000162d: KECCAK256 0000162e: DUP2 0000162f: SWAP1 00001630: SSTORE 00001631: POP 00001632: DUP1 00001633: PUSH1 0x01 00001635: PUSH1 0x00 00001637: PUSH2 0x0100 0000163a: EXP 0000163b: DUP2 0000163c: SLOAD 0000163d: DUP2 0000163e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001653: MUL 00001654: NOT 00001655: AND 00001656: SWAP1 00001657: DUP4 00001658: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000166d: AND 0000166e: MUL 0000166f: OR 00001670: SWAP1 00001671: SSTORE 00001672: POP 00001673: POP 00001674: JUMP 00001675: STOP 00001676: LOG1 00001677: PUSH6 0x627a7a723058 0000167e: KECCAK256 0000167f: PUSH30 0x9a9ff8e1e4691539c8514f17c57e98c8f6e38d3a618a8dc9c41692f53ced 0000169e: LOG2 0000169f: STOP 000016a0: UNKNOWN(0x29)
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 |
|---|---|---|---|---|---|---|---|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x055b615f360e3e4bf777a6cc46960f84f1a8b1e8d35462b134ec91461bc6add8
call_targets:
0x2baac9330cf9ac479d819195794d79ad0c7616e3
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x055b615f360e3e4bf777a6cc46960f84f1a8b1e8d35462b134ec91461bc6add8",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x2baac9330cf9ac479d819195794d79ad0c7616e3"
],
"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": "0x02c3d7f6",
"selector": "0x02c3d7f6",
"calldata_variants": [
"0x02c3d7f6",
"0x02c3d7f60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x095ea7b3",
"selector": "0x095ea7b3",
"calldata_variants": [
"0x095ea7b3",
"0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23b872dd",
"selector": "0x23b872dd",
"calldata_variants": [
"0x23b872dd",
"0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4e97bcfc",
"selector": "0x4e97bcfc",
"calldata_variants": [
"0x4e97bcfc",
"0x4e97bcfc0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 532,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4419,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [
{
"pc": 1915,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3439,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3649,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3860,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4280,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5260,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 2
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x055b615f360e3e4bf777a6cc46960f84f1a8b1e8d35462b134ec91461bc6add8
call_targets:
0x2baac9330cf9ac479d819195794d79ad0c7616e3
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x055b615f360e3e4bf777a6cc46960f84f1a8b1e8d35462b134ec91461bc6add8",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x2baac9330cf9ac479d819195794d79ad0c7616e3"
],
"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": "0x02c3d7f6",
"selector": "0x02c3d7f6",
"calldata_variants": [
"0x02c3d7f6",
"0x02c3d7f60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x095ea7b3",
"selector": "0x095ea7b3",
"calldata_variants": [
"0x095ea7b3",
"0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23b872dd",
"selector": "0x23b872dd",
"calldata_variants": [
"0x23b872dd",
"0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4e97bcfc",
"selector": "0x4e97bcfc",
"calldata_variants": [
"0x4e97bcfc",
"0x4e97bcfc0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 532,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4419,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": [
{
"pc": 1915,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3439,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3649,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3860,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4280,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5260,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|