019b477e-abb9-7296-b40e-98ed0075e16c
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 |
|---|---|---|---|---|
| 21071 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 21072 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 63906 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 63907 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 63908 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 63909 | 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 0x0107 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000002e: SWAP1 0000002f: DIV 00000030: PUSH4 0xffffffff 00000035: AND 00000036: DUP1 00000037: PUSH4 0x06fdde03 0000003c: EQ 0000003d: PUSH2 0x012d 00000040: JUMPI 00000041: DUP1 00000042: PUSH4 0x095ea7b3 00000047: EQ 00000048: PUSH2 0x01bb 0000004b: JUMPI 0000004c: DUP1 0000004d: PUSH4 0x18160ddd 00000052: EQ 00000053: PUSH2 0x0215 00000056: JUMPI 00000057: DUP1 00000058: PUSH4 0x205c2878 0000005d: EQ 0000005e: PUSH2 0x023e 00000061: JUMPI 00000062: DUP1 00000063: PUSH4 0x238dafe0 00000068: EQ 00000069: PUSH2 0x0280 0000006c: JUMPI 0000006d: DUP1 0000006e: PUSH4 0x23b872dd 00000073: EQ 00000074: PUSH2 0x02ad 00000077: JUMPI 00000078: DUP1 00000079: PUSH4 0x2e1a7d4d 0000007e: EQ 0000007f: PUSH2 0x0326 00000082: JUMPI 00000083: DUP1 00000084: PUSH4 0x313ce567 00000089: EQ 0000008a: PUSH2 0x0349 0000008d: JUMPI 0000008e: DUP1 0000008f: PUSH4 0x607b9f97 00000094: EQ 00000095: PUSH2 0x0372 00000098: JUMPI 00000099: DUP1 0000009a: PUSH4 0x66188463 0000009f: EQ 000000a0: PUSH2 0x03c7 000000a3: JUMPI 000000a4: DUP1 000000a5: PUSH4 0x70a08231 000000aa: EQ 000000ab: PUSH2 0x0421 000000ae: JUMPI 000000af: DUP1 000000b0: PUSH4 0x8da5cb5b 000000b5: EQ 000000b6: PUSH2 0x046e 000000b9: JUMPI 000000ba: DUP1 000000bb: PUSH4 0x95d89b41 000000c0: EQ 000000c1: PUSH2 0x04c3 000000c4: JUMPI 000000c5: DUP1 000000c6: PUSH4 0xa9059cbb 000000cb: EQ 000000cc: PUSH2 0x0551 000000cf: JUMPI 000000d0: DUP1 000000d1: PUSH4 0xb9b1c90c 000000d6: EQ 000000d7: PUSH2 0x05ab 000000da: JUMPI 000000db: DUP1 000000dc: PUSH4 0xbcb60fa9 000000e1: EQ 000000e2: PUSH2 0x05c0 000000e5: JUMPI 000000e6: DUP1 000000e7: PUSH4 0xd73dd623 000000ec: EQ 000000ed: PUSH2 0x05e5 000000f0: JUMPI 000000f1: DUP1 000000f2: PUSH4 0xdd62ed3e 000000f7: EQ 000000f8: PUSH2 0x063f 000000fb: JUMPI 000000fc: DUP1 000000fd: PUSH4 0xf340fa01 00000102: EQ 00000103: PUSH2 0x06ab 00000106: JUMPI 00000107: JUMPDEST 00000108: PUSH1 0x03 0000010a: PUSH1 0x14 0000010c: SWAP1 0000010d: SLOAD 0000010e: SWAP1 0000010f: PUSH2 0x0100 00000112: EXP 00000113: SWAP1 00000114: DIV 00000115: PUSH1 0xff 00000117: AND 00000118: ISZERO 00000119: ISZERO 0000011a: PUSH2 0x0122 0000011d: JUMPI 0000011e: PUSH1 0x00 00000120: DUP1 00000121: REVERT 00000122: JUMPDEST 00000123: PUSH2 0x012b 00000126: CALLER 00000127: PUSH2 0x06d9 0000012a: JUMP 0000012b: JUMPDEST 0000012c: STOP 0000012d: JUMPDEST 0000012e: CALLVALUE 0000012f: ISZERO 00000130: PUSH2 0x0138 00000133: JUMPI 00000134: PUSH1 0x00 00000136: DUP1 00000137: REVERT 00000138: JUMPDEST 00000139: PUSH2 0x0140 0000013c: PUSH2 0x0879 0000013f: JUMP 00000140: JUMPDEST 00000141: PUSH1 0x40 00000143: MLOAD 00000144: DUP1 00000145: DUP1 00000146: PUSH1 0x20 00000148: ADD 00000149: DUP3 0000014a: DUP2 0000014b: SUB 0000014c: DUP3 0000014d: MSTORE 0000014e: DUP4 0000014f: DUP2 00000150: DUP2 00000151: MLOAD 00000152: DUP2 00000153: MSTORE 00000154: PUSH1 0x20 00000156: ADD 00000157: SWAP2 00000158: POP 00000159: DUP1 0000015a: MLOAD 0000015b: SWAP1 0000015c: PUSH1 0x20 0000015e: ADD 0000015f: SWAP1 00000160: DUP1 00000161: DUP4 00000162: DUP4 00000163: PUSH1 0x00 00000165: JUMPDEST 00000166: DUP4 00000167: DUP2 00000168: LT 00000169: ISZERO 0000016a: PUSH2 0x0180 0000016d: JUMPI 0000016e: DUP1 0000016f: DUP3 00000170: ADD 00000171: MLOAD 00000172: DUP2 00000173: DUP5 00000174: ADD 00000175: MSTORE 00000176: PUSH1 0x20 00000178: DUP2 00000179: ADD 0000017a: SWAP1 0000017b: POP 0000017c: PUSH2 0x0165 0000017f: JUMP 00000180: JUMPDEST 00000181: POP 00000182: POP 00000183: POP 00000184: POP 00000185: SWAP1 00000186: POP 00000187: SWAP1 00000188: DUP2 00000189: ADD 0000018a: SWAP1 0000018b: PUSH1 0x1f 0000018d: AND 0000018e: DUP1 0000018f: ISZERO 00000190: PUSH2 0x01ad 00000193: JUMPI 00000194: DUP1 00000195: DUP3 00000196: SUB 00000197: DUP1 00000198: MLOAD 00000199: PUSH1 0x01 0000019b: DUP4 0000019c: PUSH1 0x20 0000019e: SUB 0000019f: PUSH2 0x0100 000001a2: EXP 000001a3: SUB 000001a4: NOT 000001a5: AND 000001a6: DUP2 000001a7: MSTORE 000001a8: PUSH1 0x20 000001aa: ADD 000001ab: SWAP2 000001ac: POP 000001ad: JUMPDEST 000001ae: POP 000001af: SWAP3 000001b0: POP 000001b1: POP 000001b2: POP 000001b3: PUSH1 0x40 000001b5: MLOAD 000001b6: DUP1 000001b7: SWAP2 000001b8: SUB 000001b9: SWAP1 000001ba: RETURN 000001bb: JUMPDEST 000001bc: CALLVALUE 000001bd: ISZERO 000001be: PUSH2 0x01c6 000001c1: JUMPI 000001c2: PUSH1 0x00 000001c4: DUP1 000001c5: REVERT 000001c6: JUMPDEST 000001c7: PUSH2 0x01fb 000001ca: PUSH1 0x04 000001cc: DUP1 000001cd: DUP1 000001ce: CALLDATALOAD 000001cf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001e4: AND 000001e5: SWAP1 000001e6: PUSH1 0x20 000001e8: ADD 000001e9: SWAP1 000001ea: SWAP2 000001eb: SWAP1 000001ec: DUP1 000001ed: CALLDATALOAD 000001ee: SWAP1 000001ef: PUSH1 0x20 000001f1: ADD 000001f2: SWAP1 000001f3: SWAP2 000001f4: SWAP1 000001f5: POP 000001f6: POP 000001f7: PUSH2 0x08b2 000001fa: JUMP 000001fb: JUMPDEST 000001fc: PUSH1 0x40 000001fe: MLOAD 000001ff: DUP1 00000200: DUP3 00000201: ISZERO 00000202: ISZERO 00000203: ISZERO 00000204: ISZERO 00000205: DUP2 00000206: MSTORE 00000207: PUSH1 0x20 00000209: ADD 0000020a: SWAP2 0000020b: POP 0000020c: POP 0000020d: PUSH1 0x40 0000020f: MLOAD 00000210: DUP1 00000211: SWAP2 00000212: SUB 00000213: SWAP1 00000214: RETURN 00000215: JUMPDEST 00000216: CALLVALUE 00000217: ISZERO 00000218: PUSH2 0x0220 0000021b: JUMPI 0000021c: PUSH1 0x00 0000021e: DUP1 0000021f: REVERT 00000220: JUMPDEST 00000221: PUSH2 0x0228 00000224: PUSH2 0x09a4 00000227: JUMP 00000228: JUMPDEST 00000229: PUSH1 0x40 0000022b: MLOAD 0000022c: DUP1 0000022d: DUP3 0000022e: DUP2 0000022f: MSTORE 00000230: PUSH1 0x20 00000232: ADD 00000233: SWAP2 00000234: POP 00000235: POP 00000236: PUSH1 0x40 00000238: MLOAD 00000239: DUP1 0000023a: SWAP2 0000023b: SUB 0000023c: SWAP1 0000023d: RETURN 0000023e: JUMPDEST 0000023f: CALLVALUE 00000240: ISZERO 00000241: PUSH2 0x0249 00000244: JUMPI 00000245: PUSH1 0x00 00000247: DUP1 00000248: REVERT 00000249: JUMPDEST 0000024a: PUSH2 0x027e 0000024d: PUSH1 0x04 0000024f: DUP1 00000250: DUP1 00000251: CALLDATALOAD 00000252: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000267: AND 00000268: SWAP1 00000269: PUSH1 0x20 0000026b: ADD 0000026c: SWAP1 0000026d: SWAP2 0000026e: SWAP1 0000026f: DUP1 00000270: CALLDATALOAD 00000271: SWAP1 00000272: PUSH1 0x20 00000274: ADD 00000275: SWAP1 00000276: SWAP2 00000277: SWAP1 00000278: POP 00000279: POP 0000027a: PUSH2 0x09aa 0000027d: JUMP 0000027e: JUMPDEST 0000027f: STOP 00000280: JUMPDEST 00000281: CALLVALUE 00000282: ISZERO 00000283: PUSH2 0x028b 00000286: JUMPI 00000287: PUSH1 0x00 00000289: DUP1 0000028a: REVERT 0000028b: JUMPDEST 0000028c: PUSH2 0x0293 0000028f: PUSH2 0x0c14 00000292: JUMP 00000293: JUMPDEST 00000294: PUSH1 0x40 00000296: MLOAD 00000297: DUP1 00000298: DUP3 00000299: ISZERO 0000029a: ISZERO 0000029b: ISZERO 0000029c: ISZERO 0000029d: DUP2 0000029e: MSTORE 0000029f: PUSH1 0x20 000002a1: ADD 000002a2: SWAP2 000002a3: POP 000002a4: POP 000002a5: PUSH1 0x40 000002a7: MLOAD 000002a8: DUP1 000002a9: SWAP2 000002aa: SUB 000002ab: SWAP1 000002ac: RETURN 000002ad: JUMPDEST 000002ae: CALLVALUE 000002af: ISZERO 000002b0: PUSH2 0x02b8 000002b3: JUMPI 000002b4: PUSH1 0x00 000002b6: DUP1 000002b7: REVERT 000002b8: JUMPDEST 000002b9: PUSH2 0x030c 000002bc: PUSH1 0x04 000002be: DUP1 000002bf: DUP1 000002c0: CALLDATALOAD 000002c1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002d6: AND 000002d7: SWAP1 000002d8: PUSH1 0x20 000002da: ADD 000002db: SWAP1 000002dc: SWAP2 000002dd: SWAP1 000002de: DUP1 000002df: CALLDATALOAD 000002e0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002f5: AND 000002f6: SWAP1 000002f7: PUSH1 0x20 000002f9: ADD 000002fa: SWAP1 000002fb: SWAP2 000002fc: SWAP1 000002fd: DUP1 000002fe: CALLDATALOAD 000002ff: SWAP1 00000300: PUSH1 0x20 00000302: ADD 00000303: SWAP1 00000304: SWAP2 00000305: SWAP1 00000306: POP 00000307: POP 00000308: PUSH2 0x0c27 0000030b: JUMP 0000030c: JUMPDEST 0000030d: PUSH1 0x40 0000030f: MLOAD 00000310: DUP1 00000311: DUP3 00000312: ISZERO 00000313: ISZERO 00000314: ISZERO 00000315: ISZERO 00000316: DUP2 00000317: MSTORE 00000318: PUSH1 0x20 0000031a: ADD 0000031b: SWAP2 0000031c: POP 0000031d: POP 0000031e: PUSH1 0x40 00000320: MLOAD 00000321: DUP1 00000322: SWAP2 00000323: SUB 00000324: SWAP1 00000325: RETURN 00000326: JUMPDEST 00000327: CALLVALUE 00000328: ISZERO 00000329: PUSH2 0x0331 0000032c: JUMPI 0000032d: PUSH1 0x00 0000032f: DUP1 00000330: REVERT 00000331: JUMPDEST 00000332: PUSH2 0x0347 00000335: PUSH1 0x04 00000337: DUP1 00000338: DUP1 00000339: CALLDATALOAD 0000033a: SWAP1 0000033b: PUSH1 0x20 0000033d: ADD 0000033e: SWAP1 0000033f: SWAP2 00000340: SWAP1 00000341: POP 00000342: POP 00000343: PUSH2 0x1078 00000346: JUMP 00000347: JUMPDEST 00000348: STOP 00000349: JUMPDEST 0000034a: CALLVALUE 0000034b: ISZERO 0000034c: PUSH2 0x0354 0000034f: JUMPI 00000350: PUSH1 0x00 00000352: DUP1 00000353: REVERT 00000354: JUMPDEST 00000355: PUSH2 0x035c 00000358: PUSH2 0x10a0 0000035b: JUMP 0000035c: JUMPDEST 0000035d: PUSH1 0x40 0000035f: MLOAD 00000360: DUP1 00000361: DUP3 00000362: DUP2 00000363: MSTORE 00000364: PUSH1 0x20 00000366: ADD 00000367: SWAP2 00000368: POP 00000369: POP 0000036a: PUSH1 0x40 0000036c: MLOAD 0000036d: DUP1 0000036e: SWAP2 0000036f: SUB 00000370: SWAP1 00000371: RETURN 00000372: JUMPDEST 00000373: CALLVALUE 00000374: ISZERO 00000375: PUSH2 0x037d 00000378: JUMPI 00000379: PUSH1 0x00 0000037b: DUP1 0000037c: REVERT 0000037d: JUMPDEST 0000037e: PUSH2 0x0385 00000381: PUSH2 0x10a5 00000384: JUMP 00000385: JUMPDEST 00000386: PUSH1 0x40 00000388: MLOAD 00000389: DUP1 0000038a: DUP3 0000038b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003a0: AND 000003a1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003b6: AND 000003b7: DUP2 000003b8: MSTORE 000003b9: PUSH1 0x20 000003bb: ADD 000003bc: SWAP2 000003bd: POP 000003be: POP 000003bf: PUSH1 0x40 000003c1: MLOAD 000003c2: DUP1 000003c3: SWAP2 000003c4: SUB 000003c5: SWAP1 000003c6: RETURN 000003c7: JUMPDEST 000003c8: CALLVALUE 000003c9: ISZERO 000003ca: PUSH2 0x03d2 000003cd: JUMPI 000003ce: PUSH1 0x00 000003d0: DUP1 000003d1: REVERT 000003d2: JUMPDEST 000003d3: PUSH2 0x0407 000003d6: PUSH1 0x04 000003d8: DUP1 000003d9: DUP1 000003da: CALLDATALOAD 000003db: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003f0: AND 000003f1: SWAP1 000003f2: PUSH1 0x20 000003f4: ADD 000003f5: SWAP1 000003f6: SWAP2 000003f7: SWAP1 000003f8: DUP1 000003f9: CALLDATALOAD 000003fa: SWAP1 000003fb: PUSH1 0x20 000003fd: ADD 000003fe: SWAP1 000003ff: SWAP2 00000400: SWAP1 00000401: POP 00000402: POP 00000403: PUSH2 0x10cb 00000406: JUMP 00000407: JUMPDEST 00000408: PUSH1 0x40 0000040a: MLOAD 0000040b: DUP1 0000040c: DUP3 0000040d: ISZERO 0000040e: ISZERO 0000040f: ISZERO 00000410: ISZERO 00000411: DUP2 00000412: MSTORE 00000413: PUSH1 0x20 00000415: ADD 00000416: SWAP2 00000417: POP 00000418: POP 00000419: PUSH1 0x40 0000041b: MLOAD 0000041c: DUP1 0000041d: SWAP2 0000041e: SUB 0000041f: SWAP1 00000420: RETURN 00000421: JUMPDEST 00000422: CALLVALUE 00000423: ISZERO 00000424: PUSH2 0x042c 00000427: JUMPI 00000428: PUSH1 0x00 0000042a: DUP1 0000042b: REVERT 0000042c: JUMPDEST 0000042d: PUSH2 0x0458 00000430: PUSH1 0x04 00000432: DUP1 00000433: DUP1 00000434: CALLDATALOAD 00000435: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000044a: AND 0000044b: SWAP1 0000044c: PUSH1 0x20 0000044e: ADD 0000044f: SWAP1 00000450: SWAP2 00000451: SWAP1 00000452: POP 00000453: POP 00000454: PUSH2 0x135c 00000457: JUMP 00000458: JUMPDEST 00000459: PUSH1 0x40 0000045b: MLOAD 0000045c: DUP1 0000045d: DUP3 0000045e: DUP2 0000045f: MSTORE 00000460: PUSH1 0x20 00000462: ADD 00000463: SWAP2 00000464: POP 00000465: POP 00000466: PUSH1 0x40 00000468: MLOAD 00000469: DUP1 0000046a: SWAP2 0000046b: SUB 0000046c: SWAP1 0000046d: RETURN 0000046e: JUMPDEST 0000046f: CALLVALUE 00000470: ISZERO 00000471: PUSH2 0x0479 00000474: JUMPI 00000475: PUSH1 0x00 00000477: DUP1 00000478: REVERT 00000479: JUMPDEST 0000047a: PUSH2 0x0481 0000047d: PUSH2 0x13a5 00000480: JUMP 00000481: JUMPDEST 00000482: PUSH1 0x40 00000484: MLOAD 00000485: DUP1 00000486: DUP3 00000487: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000049c: AND 0000049d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004b2: AND 000004b3: DUP2 000004b4: MSTORE 000004b5: PUSH1 0x20 000004b7: ADD 000004b8: SWAP2 000004b9: POP 000004ba: POP 000004bb: PUSH1 0x40 000004bd: MLOAD 000004be: DUP1 000004bf: SWAP2 000004c0: SUB 000004c1: SWAP1 000004c2: RETURN 000004c3: JUMPDEST 000004c4: CALLVALUE 000004c5: ISZERO 000004c6: PUSH2 0x04ce 000004c9: JUMPI 000004ca: PUSH1 0x00 000004cc: DUP1 000004cd: REVERT 000004ce: JUMPDEST 000004cf: PUSH2 0x04d6 000004d2: PUSH2 0x13cb 000004d5: JUMP 000004d6: JUMPDEST 000004d7: PUSH1 0x40 000004d9: MLOAD 000004da: DUP1 000004db: DUP1 000004dc: PUSH1 0x20 000004de: ADD 000004df: DUP3 000004e0: DUP2 000004e1: SUB 000004e2: DUP3 000004e3: MSTORE 000004e4: DUP4 000004e5: DUP2 000004e6: DUP2 000004e7: MLOAD 000004e8: DUP2 000004e9: MSTORE 000004ea: PUSH1 0x20 000004ec: ADD 000004ed: SWAP2 000004ee: POP 000004ef: DUP1 000004f0: MLOAD 000004f1: SWAP1 000004f2: PUSH1 0x20 000004f4: ADD 000004f5: SWAP1 000004f6: DUP1 000004f7: DUP4 000004f8: DUP4 000004f9: PUSH1 0x00 000004fb: JUMPDEST 000004fc: DUP4 000004fd: DUP2 000004fe: LT 000004ff: ISZERO 00000500: PUSH2 0x0516 00000503: JUMPI 00000504: DUP1 00000505: DUP3 00000506: ADD 00000507: MLOAD 00000508: DUP2 00000509: DUP5 0000050a: ADD 0000050b: MSTORE 0000050c: PUSH1 0x20 0000050e: DUP2 0000050f: ADD 00000510: SWAP1 00000511: POP 00000512: PUSH2 0x04fb 00000515: JUMP 00000516: JUMPDEST 00000517: POP 00000518: POP 00000519: POP 0000051a: POP 0000051b: SWAP1 0000051c: POP 0000051d: SWAP1 0000051e: DUP2 0000051f: ADD 00000520: SWAP1 00000521: PUSH1 0x1f 00000523: AND 00000524: DUP1 00000525: ISZERO 00000526: PUSH2 0x0543 00000529: JUMPI 0000052a: DUP1 0000052b: DUP3 0000052c: SUB 0000052d: DUP1 0000052e: MLOAD 0000052f: PUSH1 0x01 00000531: DUP4 00000532: PUSH1 0x20 00000534: SUB 00000535: PUSH2 0x0100 00000538: EXP 00000539: SUB 0000053a: NOT 0000053b: AND 0000053c: DUP2 0000053d: MSTORE 0000053e: PUSH1 0x20 00000540: ADD 00000541: SWAP2 00000542: POP 00000543: JUMPDEST 00000544: POP 00000545: SWAP3 00000546: POP 00000547: POP 00000548: POP 00000549: PUSH1 0x40 0000054b: MLOAD 0000054c: DUP1 0000054d: SWAP2 0000054e: SUB 0000054f: SWAP1 00000550: RETURN 00000551: JUMPDEST 00000552: CALLVALUE 00000553: ISZERO 00000554: PUSH2 0x055c 00000557: JUMPI 00000558: PUSH1 0x00 0000055a: DUP1 0000055b: REVERT 0000055c: JUMPDEST 0000055d: PUSH2 0x0591 00000560: PUSH1 0x04 00000562: DUP1 00000563: DUP1 00000564: CALLDATALOAD 00000565: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000057a: AND 0000057b: SWAP1 0000057c: PUSH1 0x20 0000057e: ADD 0000057f: SWAP1 00000580: SWAP2 00000581: SWAP1 00000582: DUP1 00000583: CALLDATALOAD 00000584: SWAP1 00000585: PUSH1 0x20 00000587: ADD 00000588: SWAP1 00000589: SWAP2 0000058a: SWAP1 0000058b: POP 0000058c: POP 0000058d: PUSH2 0x1404 00000590: JUMP 00000591: JUMPDEST 00000592: PUSH1 0x40 00000594: MLOAD 00000595: DUP1 00000596: DUP3 00000597: ISZERO 00000598: ISZERO 00000599: ISZERO 0000059a: ISZERO 0000059b: DUP2 0000059c: MSTORE 0000059d: PUSH1 0x20 0000059f: ADD 000005a0: SWAP2 000005a1: POP 000005a2: POP 000005a3: PUSH1 0x40 000005a5: MLOAD 000005a6: DUP1 000005a7: SWAP2 000005a8: SUB 000005a9: SWAP1 000005aa: RETURN 000005ab: JUMPDEST 000005ac: CALLVALUE 000005ad: ISZERO 000005ae: PUSH2 0x05b6 000005b1: JUMPI 000005b2: PUSH1 0x00 000005b4: DUP1 000005b5: REVERT 000005b6: JUMPDEST 000005b7: PUSH2 0x05be 000005ba: PUSH2 0x1628 000005bd: JUMP 000005be: JUMPDEST 000005bf: STOP 000005c0: JUMPDEST 000005c1: CALLVALUE 000005c2: ISZERO 000005c3: PUSH2 0x05cb 000005c6: JUMPI 000005c7: PUSH1 0x00 000005c9: DUP1 000005ca: REVERT 000005cb: JUMPDEST 000005cc: PUSH2 0x05e3 000005cf: PUSH1 0x04 000005d1: DUP1 000005d2: DUP1 000005d3: CALLDATALOAD 000005d4: ISZERO 000005d5: ISZERO 000005d6: SWAP1 000005d7: PUSH1 0x20 000005d9: ADD 000005da: SWAP1 000005db: SWAP2 000005dc: SWAP1 000005dd: POP 000005de: POP 000005df: PUSH2 0x1843 000005e2: JUMP 000005e3: JUMPDEST 000005e4: STOP 000005e5: JUMPDEST 000005e6: CALLVALUE 000005e7: ISZERO 000005e8: PUSH2 0x05f0 000005eb: JUMPI 000005ec: PUSH1 0x00 000005ee: DUP1 000005ef: REVERT 000005f0: JUMPDEST 000005f1: PUSH2 0x0625 000005f4: PUSH1 0x04 000005f6: DUP1 000005f7: DUP1 000005f8: CALLDATALOAD 000005f9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000060e: AND 0000060f: SWAP1 00000610: PUSH1 0x20 00000612: ADD 00000613: SWAP1 00000614: SWAP2 00000615: SWAP1 00000616: DUP1 00000617: CALLDATALOAD 00000618: SWAP1 00000619: PUSH1 0x20 0000061b: ADD 0000061c: SWAP1 0000061d: SWAP2 0000061e: SWAP1 0000061f: POP 00000620: POP 00000621: PUSH2 0x18bd 00000624: JUMP 00000625: JUMPDEST 00000626: PUSH1 0x40 00000628: MLOAD 00000629: DUP1 0000062a: DUP3 0000062b: ISZERO 0000062c: ISZERO 0000062d: ISZERO 0000062e: ISZERO 0000062f: DUP2 00000630: MSTORE 00000631: PUSH1 0x20 00000633: ADD 00000634: SWAP2 00000635: POP 00000636: POP 00000637: PUSH1 0x40 00000639: MLOAD 0000063a: DUP1 0000063b: SWAP2 0000063c: SUB 0000063d: SWAP1 0000063e: RETURN 0000063f: JUMPDEST 00000640: CALLVALUE 00000641: ISZERO 00000642: PUSH2 0x064a 00000645: JUMPI 00000646: PUSH1 0x00 00000648: DUP1 00000649: REVERT 0000064a: JUMPDEST 0000064b: PUSH2 0x0695 0000064e: PUSH1 0x04 00000650: DUP1 00000651: DUP1 00000652: CALLDATALOAD 00000653: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000668: AND 00000669: SWAP1 0000066a: PUSH1 0x20 0000066c: ADD 0000066d: SWAP1 0000066e: SWAP2 0000066f: SWAP1 00000670: DUP1 00000671: CALLDATALOAD 00000672: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000687: AND 00000688: SWAP1 00000689: PUSH1 0x20 0000068b: ADD 0000068c: SWAP1 0000068d: SWAP2 0000068e: SWAP1 0000068f: POP 00000690: POP 00000691: PUSH2 0x1ab9 00000694: JUMP 00000695: JUMPDEST 00000696: PUSH1 0x40 00000698: MLOAD 00000699: DUP1 0000069a: DUP3 0000069b: DUP2 0000069c: MSTORE 0000069d: PUSH1 0x20 0000069f: ADD 000006a0: SWAP2 000006a1: POP 000006a2: POP 000006a3: PUSH1 0x40 000006a5: MLOAD 000006a6: DUP1 000006a7: SWAP2 000006a8: SUB 000006a9: SWAP1 000006aa: RETURN 000006ab: JUMPDEST 000006ac: PUSH2 0x06d7 000006af: PUSH1 0x04 000006b1: DUP1 000006b2: DUP1 000006b3: CALLDATALOAD 000006b4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006c9: AND 000006ca: SWAP1 000006cb: PUSH1 0x20 000006cd: ADD 000006ce: SWAP1 000006cf: SWAP2 000006d0: SWAP1 000006d1: POP 000006d2: POP 000006d3: PUSH2 0x06d9 000006d6: JUMP 000006d7: JUMPDEST 000006d8: STOP 000006d9: JUMPDEST 000006da: PUSH1 0x03 000006dc: PUSH1 0x14 000006de: SWAP1 000006df: SLOAD 000006e0: SWAP1 000006e1: PUSH2 0x0100 000006e4: EXP 000006e5: SWAP1 000006e6: DIV 000006e7: PUSH1 0xff 000006e9: AND 000006ea: ISZERO 000006eb: ISZERO 000006ec: PUSH2 0x06f4 000006ef: JUMPI 000006f0: PUSH1 0x00 000006f2: DUP1 000006f3: REVERT 000006f4: JUMPDEST 000006f5: PUSH1 0x00 000006f7: DUP2 000006f8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000070d: AND 0000070e: EQ 0000070f: ISZERO 00000710: ISZERO 00000711: ISZERO 00000712: PUSH2 0x071a 00000715: JUMPI 00000716: PUSH1 0x00 00000718: DUP1 00000719: REVERT 0000071a: JUMPDEST 0000071b: PUSH1 0x00 0000071d: CALLVALUE 0000071e: EQ 0000071f: ISZERO 00000720: ISZERO 00000721: ISZERO 00000722: PUSH2 0x072a 00000725: JUMPI 00000726: PUSH1 0x00 00000728: DUP1 00000729: REVERT 0000072a: JUMPDEST 0000072b: PUSH2 0x077c 0000072e: CALLVALUE 0000072f: PUSH1 0x01 00000731: PUSH1 0x00 00000733: DUP5 00000734: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000749: AND 0000074a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000075f: AND 00000760: DUP2 00000761: MSTORE 00000762: PUSH1 0x20 00000764: ADD 00000765: SWAP1 00000766: DUP2 00000767: MSTORE 00000768: PUSH1 0x20 0000076a: ADD 0000076b: PUSH1 0x00 0000076d: KECCAK256 0000076e: SLOAD 0000076f: PUSH2 0x1b40 00000772: SWAP1 00000773: SWAP2 00000774: SWAP1 00000775: PUSH4 0xffffffff 0000077a: AND 0000077b: JUMP 0000077c: JUMPDEST 0000077d: PUSH1 0x01 0000077f: PUSH1 0x00 00000781: DUP4 00000782: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000797: AND 00000798: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007ad: AND 000007ae: DUP2 000007af: MSTORE 000007b0: PUSH1 0x20 000007b2: ADD 000007b3: SWAP1 000007b4: DUP2 000007b5: MSTORE 000007b6: PUSH1 0x20 000007b8: ADD 000007b9: PUSH1 0x00 000007bb: KECCAK256 000007bc: DUP2 000007bd: SWAP1 000007be: SSTORE 000007bf: POP 000007c0: PUSH2 0x07d4 000007c3: CALLVALUE 000007c4: PUSH1 0x00 000007c6: SLOAD 000007c7: PUSH2 0x1b40 000007ca: SWAP1 000007cb: SWAP2 000007cc: SWAP1 000007cd: PUSH4 0xffffffff 000007d2: AND 000007d3: JUMP 000007d4: JUMPDEST 000007d5: PUSH1 0x00 000007d7: DUP2 000007d8: SWAP1 000007d9: SSTORE 000007da: POP 000007db: PUSH32 0x9386c90217c323f58030f9dadcbc938f807a940f4ff41cd4cead9562f5da7dc3 000007fc: CALLVALUE 000007fd: PUSH1 0x40 000007ff: MLOAD 00000800: DUP1 00000801: DUP3 00000802: DUP2 00000803: MSTORE 00000804: PUSH1 0x20 00000806: ADD 00000807: SWAP2 00000808: POP 00000809: POP 0000080a: PUSH1 0x40 0000080c: MLOAD 0000080d: DUP1 0000080e: SWAP2 0000080f: SUB 00000810: SWAP1 00000811: LOG1 00000812: DUP1 00000813: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000828: AND 00000829: ADDRESS 0000082a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000083f: AND 00000840: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00000861: CALLVALUE 00000862: PUSH1 0x40 00000864: MLOAD 00000865: DUP1 00000866: DUP3 00000867: DUP2 00000868: MSTORE 00000869: PUSH1 0x20 0000086b: ADD 0000086c: SWAP2 0000086d: POP 0000086e: POP 0000086f: PUSH1 0x40 00000871: MLOAD 00000872: DUP1 00000873: SWAP2 00000874: SUB 00000875: SWAP1 00000876: LOG3 00000877: POP 00000878: JUMP 00000879: JUMPDEST 0000087a: PUSH1 0x40 0000087c: DUP1 0000087d: MLOAD 0000087e: SWAP1 0000087f: DUP2 00000880: ADD 00000881: PUSH1 0x40 00000883: MSTORE 00000884: DUP1 00000885: PUSH1 0x0b 00000887: DUP2 00000888: MSTORE 00000889: PUSH1 0x20 0000088b: ADD 0000088c: PUSH32 0x457468657220546f6b656e000000000000000000000000000000000000000000 000008ad: DUP2 000008ae: MSTORE 000008af: POP 000008b0: DUP2 000008b1: JUMP 000008b2: JUMPDEST 000008b3: PUSH1 0x00 000008b5: DUP2 000008b6: PUSH1 0x02 000008b8: PUSH1 0x00 000008ba: CALLER 000008bb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008d0: AND 000008d1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008e6: AND 000008e7: DUP2 000008e8: MSTORE 000008e9: PUSH1 0x20 000008eb: ADD 000008ec: SWAP1 000008ed: DUP2 000008ee: MSTORE 000008ef: PUSH1 0x20 000008f1: ADD 000008f2: PUSH1 0x00 000008f4: KECCAK256 000008f5: PUSH1 0x00 000008f7: DUP6 000008f8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000090d: AND 0000090e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000923: AND 00000924: DUP2 00000925: MSTORE 00000926: PUSH1 0x20 00000928: ADD 00000929: SWAP1 0000092a: DUP2 0000092b: MSTORE 0000092c: PUSH1 0x20 0000092e: ADD 0000092f: PUSH1 0x00 00000931: KECCAK256 00000932: DUP2 00000933: SWAP1 00000934: SSTORE 00000935: POP 00000936: DUP3 00000937: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000094c: AND 0000094d: CALLER 0000094e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000963: AND 00000964: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 00000985: DUP5 00000986: PUSH1 0x40 00000988: MLOAD 00000989: DUP1 0000098a: DUP3 0000098b: DUP2 0000098c: MSTORE 0000098d: PUSH1 0x20 0000098f: ADD 00000990: SWAP2 00000991: POP 00000992: POP 00000993: PUSH1 0x40 00000995: MLOAD 00000996: DUP1 00000997: SWAP2 00000998: SUB 00000999: SWAP1 0000099a: LOG3 0000099b: PUSH1 0x01 0000099d: SWAP1 0000099e: POP 0000099f: SWAP3 000009a0: SWAP2 000009a1: POP 000009a2: POP 000009a3: JUMP 000009a4: JUMPDEST 000009a5: PUSH1 0x00 000009a7: SLOAD 000009a8: DUP2 000009a9: JUMP 000009aa: JUMPDEST 000009ab: PUSH1 0x03 000009ad: PUSH1 0x14 000009af: SWAP1 000009b0: SLOAD 000009b1: SWAP1 000009b2: PUSH2 0x0100 000009b5: EXP 000009b6: SWAP1 000009b7: DIV 000009b8: PUSH1 0xff 000009ba: AND 000009bb: ISZERO 000009bc: ISZERO 000009bd: PUSH2 0x09c5 000009c0: JUMPI 000009c1: PUSH1 0x00 000009c3: DUP1 000009c4: REVERT 000009c5: JUMPDEST 000009c6: PUSH1 0x00 000009c8: DUP3 000009c9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009de: AND 000009df: EQ 000009e0: ISZERO 000009e1: ISZERO 000009e2: ISZERO 000009e3: PUSH2 0x09eb 000009e6: JUMPI 000009e7: PUSH1 0x00 000009e9: DUP1 000009ea: REVERT 000009eb: JUMPDEST 000009ec: PUSH1 0x00 000009ee: DUP2 000009ef: EQ 000009f0: ISZERO 000009f1: ISZERO 000009f2: ISZERO 000009f3: PUSH2 0x09fb 000009f6: JUMPI 000009f7: PUSH1 0x00 000009f9: DUP1 000009fa: REVERT 000009fb: JUMPDEST 000009fc: PUSH1 0x01 000009fe: PUSH1 0x00 00000a00: DUP4 00000a01: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a16: AND 00000a17: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a2c: AND 00000a2d: DUP2 00000a2e: MSTORE 00000a2f: PUSH1 0x20 00000a31: ADD 00000a32: SWAP1 00000a33: DUP2 00000a34: MSTORE 00000a35: PUSH1 0x20 00000a37: ADD 00000a38: PUSH1 0x00 00000a3a: KECCAK256 00000a3b: SLOAD 00000a3c: DUP2 00000a3d: GT 00000a3e: ISZERO 00000a3f: ISZERO 00000a40: ISZERO 00000a41: PUSH2 0x0a49 00000a44: JUMPI 00000a45: PUSH1 0x00 00000a47: DUP1 00000a48: REVERT 00000a49: JUMPDEST 00000a4a: DUP2 00000a4b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a60: AND 00000a61: ADDRESS 00000a62: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a77: AND 00000a78: EQ 00000a79: ISZERO 00000a7a: ISZERO 00000a7b: ISZERO 00000a7c: PUSH2 0x0a84 00000a7f: JUMPI 00000a80: PUSH1 0x00 00000a82: DUP1 00000a83: REVERT 00000a84: JUMPDEST 00000a85: PUSH2 0x0ad6 00000a88: DUP2 00000a89: PUSH1 0x01 00000a8b: PUSH1 0x00 00000a8d: DUP6 00000a8e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000aa3: AND 00000aa4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ab9: AND 00000aba: DUP2 00000abb: MSTORE 00000abc: PUSH1 0x20 00000abe: ADD 00000abf: SWAP1 00000ac0: DUP2 00000ac1: MSTORE 00000ac2: PUSH1 0x20 00000ac4: ADD 00000ac5: PUSH1 0x00 00000ac7: KECCAK256 00000ac8: SLOAD 00000ac9: PUSH2 0x1b5e 00000acc: SWAP1 00000acd: SWAP2 00000ace: SWAP1 00000acf: PUSH4 0xffffffff 00000ad4: AND 00000ad5: JUMP 00000ad6: JUMPDEST 00000ad7: PUSH1 0x01 00000ad9: PUSH1 0x00 00000adb: DUP5 00000adc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000af1: AND 00000af2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b07: AND 00000b08: DUP2 00000b09: MSTORE 00000b0a: PUSH1 0x20 00000b0c: ADD 00000b0d: SWAP1 00000b0e: DUP2 00000b0f: MSTORE 00000b10: PUSH1 0x20 00000b12: ADD 00000b13: PUSH1 0x00 00000b15: KECCAK256 00000b16: DUP2 00000b17: SWAP1 00000b18: SSTORE 00000b19: POP 00000b1a: PUSH2 0x0b2e 00000b1d: DUP2 00000b1e: PUSH1 0x00 00000b20: SLOAD 00000b21: PUSH2 0x1b5e 00000b24: SWAP1 00000b25: SWAP2 00000b26: SWAP1 00000b27: PUSH4 0xffffffff 00000b2c: AND 00000b2d: JUMP 00000b2e: JUMPDEST 00000b2f: PUSH1 0x00 00000b31: DUP2 00000b32: SWAP1 00000b33: SSTORE 00000b34: POP 00000b35: ADDRESS 00000b36: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b4b: AND 00000b4c: CALLER 00000b4d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b62: AND 00000b63: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00000b84: DUP4 00000b85: PUSH1 0x40 00000b87: MLOAD 00000b88: DUP1 00000b89: DUP3 00000b8a: DUP2 00000b8b: MSTORE 00000b8c: PUSH1 0x20 00000b8e: ADD 00000b8f: SWAP2 00000b90: POP 00000b91: POP 00000b92: PUSH1 0x40 00000b94: MLOAD 00000b95: DUP1 00000b96: SWAP2 00000b97: SUB 00000b98: SWAP1 00000b99: LOG3 00000b9a: PUSH32 0x9a1b418bc061a5d80270261562e6986a35d995f8051145f277be16103abd3453 00000bbb: DUP2 00000bbc: PUSH1 0x40 00000bbe: MLOAD 00000bbf: DUP1 00000bc0: DUP3 00000bc1: DUP2 00000bc2: MSTORE 00000bc3: PUSH1 0x20 00000bc5: ADD 00000bc6: SWAP2 00000bc7: POP 00000bc8: POP 00000bc9: PUSH1 0x40 00000bcb: MLOAD 00000bcc: DUP1 00000bcd: SWAP2 00000bce: SUB 00000bcf: SWAP1 00000bd0: LOG1 00000bd1: DUP2 00000bd2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000be7: AND 00000be8: PUSH2 0x08fc 00000beb: DUP3 00000bec: SWAP1 00000bed: DUP2 00000bee: ISZERO 00000bef: MUL 00000bf0: SWAP1 00000bf1: PUSH1 0x40 00000bf3: MLOAD 00000bf4: PUSH1 0x00 00000bf6: PUSH1 0x40 00000bf8: MLOAD 00000bf9: DUP1 00000bfa: DUP4 00000bfb: SUB 00000bfc: DUP2 00000bfd: DUP6 00000bfe: DUP9 00000bff: DUP9 00000c00: CALL 00000c01: SWAP4 00000c02: POP 00000c03: POP 00000c04: POP 00000c05: POP 00000c06: ISZERO 00000c07: ISZERO 00000c08: PUSH2 0x0c10 00000c0b: JUMPI 00000c0c: PUSH1 0x00 00000c0e: DUP1 00000c0f: REVERT 00000c10: JUMPDEST 00000c11: POP 00000c12: POP 00000c13: JUMP 00000c14: JUMPDEST 00000c15: PUSH1 0x03 00000c17: PUSH1 0x14 00000c19: SWAP1 00000c1a: SLOAD 00000c1b: SWAP1 00000c1c: PUSH2 0x0100 00000c1f: EXP 00000c20: SWAP1 00000c21: DIV 00000c22: PUSH1 0xff 00000c24: AND 00000c25: DUP2 00000c26: JUMP 00000c27: JUMPDEST 00000c28: PUSH1 0x00 00000c2a: DUP1 00000c2b: PUSH1 0x02 00000c2d: PUSH1 0x00 00000c2f: DUP7 00000c30: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c45: AND 00000c46: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c5b: AND 00000c5c: DUP2 00000c5d: MSTORE 00000c5e: PUSH1 0x20 00000c60: ADD 00000c61: SWAP1 00000c62: DUP2 00000c63: MSTORE 00000c64: PUSH1 0x20 00000c66: ADD 00000c67: PUSH1 0x00 00000c69: KECCAK256 00000c6a: PUSH1 0x00 00000c6c: CALLER 00000c6d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c82: AND 00000c83: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c98: AND 00000c99: DUP2 00000c9a: MSTORE 00000c9b: PUSH1 0x20 00000c9d: ADD 00000c9e: SWAP1 00000c9f: DUP2 00000ca0: MSTORE 00000ca1: PUSH1 0x20 00000ca3: ADD 00000ca4: PUSH1 0x00 00000ca6: KECCAK256 00000ca7: SLOAD 00000ca8: SWAP1 00000ca9: POP 00000caa: DUP3 00000cab: PUSH1 0x01 00000cad: PUSH1 0x00 00000caf: DUP8 00000cb0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cc5: AND 00000cc6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cdb: AND 00000cdc: DUP2 00000cdd: MSTORE 00000cde: PUSH1 0x20 00000ce0: ADD 00000ce1: SWAP1 00000ce2: DUP2 00000ce3: MSTORE 00000ce4: PUSH1 0x20 00000ce6: ADD 00000ce7: PUSH1 0x00 00000ce9: KECCAK256 00000cea: SLOAD 00000ceb: LT 00000cec: ISZERO 00000ced: ISZERO 00000cee: ISZERO 00000cef: PUSH2 0x0cf7 00000cf2: JUMPI 00000cf3: PUSH1 0x00 00000cf5: DUP1 00000cf6: REVERT 00000cf7: JUMPDEST 00000cf8: DUP3 00000cf9: DUP2 00000cfa: LT 00000cfb: ISZERO 00000cfc: ISZERO 00000cfd: ISZERO 00000cfe: PUSH2 0x0d06 00000d01: JUMPI 00000d02: PUSH1 0x00 00000d04: DUP1 00000d05: REVERT 00000d06: JUMPDEST 00000d07: PUSH1 0x01 00000d09: PUSH1 0x00 00000d0b: DUP6 00000d0c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d21: AND 00000d22: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d37: AND 00000d38: DUP2 00000d39: MSTORE 00000d3a: PUSH1 0x20 00000d3c: ADD 00000d3d: SWAP1 00000d3e: DUP2 00000d3f: MSTORE 00000d40: PUSH1 0x20 00000d42: ADD 00000d43: PUSH1 0x00 00000d45: KECCAK256 00000d46: SLOAD 00000d47: PUSH2 0x0d98 00000d4a: DUP5 00000d4b: PUSH1 0x01 00000d4d: PUSH1 0x00 00000d4f: DUP9 00000d50: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d65: AND 00000d66: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d7b: AND 00000d7c: DUP2 00000d7d: MSTORE 00000d7e: PUSH1 0x20 00000d80: ADD 00000d81: SWAP1 00000d82: DUP2 00000d83: MSTORE 00000d84: PUSH1 0x20 00000d86: ADD 00000d87: PUSH1 0x00 00000d89: KECCAK256 00000d8a: SLOAD 00000d8b: PUSH2 0x1b40 00000d8e: SWAP1 00000d8f: SWAP2 00000d90: SWAP1 00000d91: PUSH4 0xffffffff 00000d96: AND 00000d97: JUMP 00000d98: JUMPDEST 00000d99: LT 00000d9a: ISZERO 00000d9b: ISZERO 00000d9c: ISZERO 00000d9d: PUSH2 0x0da5 00000da0: JUMPI 00000da1: PUSH1 0x00 00000da3: DUP1 00000da4: REVERT 00000da5: JUMPDEST 00000da6: PUSH2 0x0df7 00000da9: DUP4 00000daa: PUSH1 0x01 00000dac: PUSH1 0x00 00000dae: DUP8 00000daf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000dc4: AND 00000dc5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000dda: AND 00000ddb: DUP2 00000ddc: MSTORE 00000ddd: PUSH1 0x20 00000ddf: ADD 00000de0: SWAP1 00000de1: DUP2 00000de2: MSTORE 00000de3: PUSH1 0x20 00000de5: ADD 00000de6: PUSH1 0x00 00000de8: KECCAK256 00000de9: SLOAD 00000dea: PUSH2 0x1b40 00000ded: SWAP1 00000dee: SWAP2 00000def: SWAP1 00000df0: PUSH4 0xffffffff 00000df5: AND 00000df6: JUMP 00000df7: JUMPDEST 00000df8: PUSH1 0x01 00000dfa: PUSH1 0x00 00000dfc: DUP7 00000dfd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e12: AND 00000e13: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e28: AND 00000e29: DUP2 00000e2a: MSTORE 00000e2b: PUSH1 0x20 00000e2d: ADD 00000e2e: SWAP1 00000e2f: DUP2 00000e30: MSTORE 00000e31: PUSH1 0x20 00000e33: ADD 00000e34: PUSH1 0x00 00000e36: KECCAK256 00000e37: DUP2 00000e38: SWAP1 00000e39: SSTORE 00000e3a: POP 00000e3b: PUSH2 0x0e8c 00000e3e: DUP4 00000e3f: PUSH1 0x01 00000e41: PUSH1 0x00 00000e43: DUP9 00000e44: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e59: AND 00000e5a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e6f: AND 00000e70: DUP2 00000e71: MSTORE 00000e72: PUSH1 0x20 00000e74: ADD 00000e75: SWAP1 00000e76: DUP2 00000e77: MSTORE 00000e78: PUSH1 0x20 00000e7a: ADD 00000e7b: PUSH1 0x00 00000e7d: KECCAK256 00000e7e: SLOAD 00000e7f: PUSH2 0x1b5e 00000e82: SWAP1 00000e83: SWAP2 00000e84: SWAP1 00000e85: PUSH4 0xffffffff 00000e8a: AND 00000e8b: JUMP 00000e8c: JUMPDEST 00000e8d: PUSH1 0x01 00000e8f: PUSH1 0x00 00000e91: DUP8 00000e92: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ea7: AND 00000ea8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ebd: AND 00000ebe: DUP2 00000ebf: MSTORE 00000ec0: PUSH1 0x20 00000ec2: ADD 00000ec3: SWAP1 00000ec4: DUP2 00000ec5: MSTORE 00000ec6: PUSH1 0x20 00000ec8: ADD 00000ec9: PUSH1 0x00 00000ecb: KECCAK256 00000ecc: DUP2 00000ecd: SWAP1 00000ece: SSTORE 00000ecf: POP 00000ed0: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00000ef1: DUP2 00000ef2: LT 00000ef3: ISZERO 00000ef4: PUSH2 0x1007 00000ef7: JUMPI 00000ef8: PUSH2 0x0f86 00000efb: DUP4 00000efc: PUSH1 0x02 00000efe: PUSH1 0x00 00000f00: DUP9 00000f01: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f16: AND 00000f17: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f2c: AND 00000f2d: DUP2 00000f2e: MSTORE 00000f2f: PUSH1 0x20 00000f31: ADD 00000f32: SWAP1 00000f33: DUP2 00000f34: MSTORE 00000f35: PUSH1 0x20 00000f37: ADD 00000f38: PUSH1 0x00 00000f3a: KECCAK256 00000f3b: PUSH1 0x00 00000f3d: CALLER 00000f3e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f53: AND 00000f54: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f69: AND 00000f6a: DUP2 00000f6b: MSTORE 00000f6c: PUSH1 0x20 00000f6e: ADD 00000f6f: SWAP1 00000f70: DUP2 00000f71: MSTORE 00000f72: PUSH1 0x20 00000f74: ADD 00000f75: PUSH1 0x00 00000f77: KECCAK256 00000f78: SLOAD 00000f79: PUSH2 0x1b5e 00000f7c: SWAP1 00000f7d: SWAP2 00000f7e: SWAP1 00000f7f: PUSH4 0xffffffff 00000f84: AND 00000f85: JUMP 00000f86: JUMPDEST 00000f87: PUSH1 0x02 00000f89: PUSH1 0x00 00000f8b: DUP8 00000f8c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fa1: AND 00000fa2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fb7: AND 00000fb8: DUP2 00000fb9: MSTORE 00000fba: PUSH1 0x20 00000fbc: ADD 00000fbd: SWAP1 00000fbe: DUP2 00000fbf: MSTORE 00000fc0: PUSH1 0x20 00000fc2: ADD 00000fc3: PUSH1 0x00 00000fc5: KECCAK256 00000fc6: PUSH1 0x00 00000fc8: CALLER 00000fc9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fde: AND 00000fdf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ff4: AND 00000ff5: DUP2 00000ff6: MSTORE 00000ff7: PUSH1 0x20 00000ff9: ADD 00000ffa: SWAP1 00000ffb: DUP2 00000ffc: MSTORE 00000ffd: PUSH1 0x20 00000fff: ADD 00001000: PUSH1 0x00 00001002: KECCAK256 00001003: DUP2 00001004: SWAP1 00001005: SSTORE 00001006: POP 00001007: JUMPDEST 00001008: DUP4 00001009: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000101e: AND 0000101f: DUP6 00001020: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001035: AND 00001036: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00001057: DUP6 00001058: PUSH1 0x40 0000105a: MLOAD 0000105b: DUP1 0000105c: DUP3 0000105d: DUP2 0000105e: MSTORE 0000105f: PUSH1 0x20 00001061: ADD 00001062: SWAP2 00001063: POP 00001064: POP 00001065: PUSH1 0x40 00001067: MLOAD 00001068: DUP1 00001069: SWAP2 0000106a: SUB 0000106b: SWAP1 0000106c: LOG3 0000106d: PUSH1 0x01 0000106f: SWAP2 00001070: POP 00001071: POP 00001072: SWAP4 00001073: SWAP3 00001074: POP 00001075: POP 00001076: POP 00001077: JUMP 00001078: JUMPDEST 00001079: PUSH1 0x03 0000107b: PUSH1 0x14 0000107d: SWAP1 0000107e: SLOAD 0000107f: SWAP1 00001080: PUSH2 0x0100 00001083: EXP 00001084: SWAP1 00001085: DIV 00001086: PUSH1 0xff 00001088: AND 00001089: ISZERO 0000108a: ISZERO 0000108b: PUSH2 0x1093 0000108e: JUMPI 0000108f: PUSH1 0x00 00001091: DUP1 00001092: REVERT 00001093: JUMPDEST 00001094: PUSH2 0x109d 00001097: CALLER 00001098: DUP3 00001099: PUSH2 0x09aa 0000109c: JUMP 0000109d: JUMPDEST 0000109e: POP 0000109f: JUMP 000010a0: JUMPDEST 000010a1: PUSH1 0x12 000010a3: DUP2 000010a4: JUMP 000010a5: JUMPDEST 000010a6: PUSH1 0x04 000010a8: PUSH1 0x00 000010aa: SWAP1 000010ab: SLOAD 000010ac: SWAP1 000010ad: PUSH2 0x0100 000010b0: EXP 000010b1: SWAP1 000010b2: DIV 000010b3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010c8: AND 000010c9: DUP2 000010ca: JUMP 000010cb: JUMPDEST 000010cc: PUSH1 0x00 000010ce: DUP1 000010cf: PUSH1 0x02 000010d1: PUSH1 0x00 000010d3: CALLER 000010d4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010e9: AND 000010ea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010ff: AND 00001100: DUP2 00001101: MSTORE 00001102: PUSH1 0x20 00001104: ADD 00001105: SWAP1 00001106: DUP2 00001107: MSTORE 00001108: PUSH1 0x20 0000110a: ADD 0000110b: PUSH1 0x00 0000110d: KECCAK256 0000110e: PUSH1 0x00 00001110: DUP6 00001111: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001126: AND 00001127: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000113c: AND 0000113d: DUP2 0000113e: MSTORE 0000113f: PUSH1 0x20 00001141: ADD 00001142: SWAP1 00001143: DUP2 00001144: MSTORE 00001145: PUSH1 0x20 00001147: ADD 00001148: PUSH1 0x00 0000114a: KECCAK256 0000114b: SLOAD 0000114c: SWAP1 0000114d: POP 0000114e: DUP1 0000114f: DUP4 00001150: GT 00001151: ISZERO 00001152: PUSH2 0x11dc 00001155: JUMPI 00001156: PUSH1 0x00 00001158: PUSH1 0x02 0000115a: PUSH1 0x00 0000115c: CALLER 0000115d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001172: AND 00001173: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001188: AND 00001189: DUP2 0000118a: MSTORE 0000118b: PUSH1 0x20 0000118d: ADD 0000118e: SWAP1 0000118f: DUP2 00001190: MSTORE 00001191: PUSH1 0x20 00001193: ADD 00001194: PUSH1 0x00 00001196: KECCAK256 00001197: PUSH1 0x00 00001199: DUP7 0000119a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011af: AND 000011b0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011c5: AND 000011c6: DUP2 000011c7: MSTORE 000011c8: PUSH1 0x20 000011ca: ADD 000011cb: SWAP1 000011cc: DUP2 000011cd: MSTORE 000011ce: PUSH1 0x20 000011d0: ADD 000011d1: PUSH1 0x00 000011d3: KECCAK256 000011d4: DUP2 000011d5: SWAP1 000011d6: SSTORE 000011d7: POP 000011d8: PUSH2 0x1270 000011db: JUMP 000011dc: JUMPDEST 000011dd: PUSH2 0x11ef 000011e0: DUP4 000011e1: DUP3 000011e2: PUSH2 0x1b5e 000011e5: SWAP1 000011e6: SWAP2 000011e7: SWAP1 000011e8: PUSH4 0xffffffff 000011ed: AND 000011ee: JUMP 000011ef: JUMPDEST 000011f0: PUSH1 0x02 000011f2: PUSH1 0x00 000011f4: CALLER 000011f5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000120a: AND 0000120b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001220: AND 00001221: DUP2 00001222: MSTORE 00001223: PUSH1 0x20 00001225: ADD 00001226: SWAP1 00001227: DUP2 00001228: MSTORE 00001229: PUSH1 0x20 0000122b: ADD 0000122c: PUSH1 0x00 0000122e: KECCAK256 0000122f: PUSH1 0x00 00001231: DUP7 00001232: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001247: AND 00001248: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000125d: AND 0000125e: DUP2 0000125f: MSTORE 00001260: PUSH1 0x20 00001262: ADD 00001263: SWAP1 00001264: DUP2 00001265: MSTORE 00001266: PUSH1 0x20 00001268: ADD 00001269: PUSH1 0x00 0000126b: KECCAK256 0000126c: DUP2 0000126d: SWAP1 0000126e: SSTORE 0000126f: POP 00001270: JUMPDEST 00001271: DUP4 00001272: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001287: AND 00001288: CALLER 00001289: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000129e: AND 0000129f: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 000012c0: PUSH1 0x02 000012c2: PUSH1 0x00 000012c4: CALLER 000012c5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012da: AND 000012db: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012f0: AND 000012f1: DUP2 000012f2: MSTORE 000012f3: PUSH1 0x20 000012f5: ADD 000012f6: SWAP1 000012f7: DUP2 000012f8: MSTORE 000012f9: PUSH1 0x20 000012fb: ADD 000012fc: PUSH1 0x00 000012fe: KECCAK256 000012ff: PUSH1 0x00 00001301: DUP9 00001302: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001317: AND 00001318: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000132d: AND 0000132e: DUP2 0000132f: MSTORE 00001330: PUSH1 0x20 00001332: ADD 00001333: SWAP1 00001334: DUP2 00001335: MSTORE 00001336: PUSH1 0x20 00001338: ADD 00001339: PUSH1 0x00 0000133b: KECCAK256 0000133c: SLOAD 0000133d: PUSH1 0x40 0000133f: MLOAD 00001340: DUP1 00001341: DUP3 00001342: DUP2 00001343: MSTORE 00001344: PUSH1 0x20 00001346: ADD 00001347: SWAP2 00001348: POP 00001349: POP 0000134a: PUSH1 0x40 0000134c: MLOAD 0000134d: DUP1 0000134e: SWAP2 0000134f: SUB 00001350: SWAP1 00001351: LOG3 00001352: PUSH1 0x01 00001354: SWAP2 00001355: POP 00001356: POP 00001357: SWAP3 00001358: SWAP2 00001359: POP 0000135a: POP 0000135b: JUMP 0000135c: JUMPDEST 0000135d: PUSH1 0x00 0000135f: PUSH1 0x01 00001361: PUSH1 0x00 00001363: DUP4 00001364: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001379: AND 0000137a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000138f: AND 00001390: DUP2 00001391: MSTORE 00001392: PUSH1 0x20 00001394: ADD 00001395: SWAP1 00001396: DUP2 00001397: MSTORE 00001398: PUSH1 0x20 0000139a: ADD 0000139b: PUSH1 0x00 0000139d: KECCAK256 0000139e: SLOAD 0000139f: SWAP1 000013a0: POP 000013a1: SWAP2 000013a2: SWAP1 000013a3: POP 000013a4: JUMP 000013a5: JUMPDEST 000013a6: PUSH1 0x03 000013a8: PUSH1 0x00 000013aa: SWAP1 000013ab: SLOAD 000013ac: SWAP1 000013ad: PUSH2 0x0100 000013b0: EXP 000013b1: SWAP1 000013b2: DIV 000013b3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013c8: AND 000013c9: DUP2 000013ca: JUMP 000013cb: JUMPDEST 000013cc: PUSH1 0x40 000013ce: DUP1 000013cf: MLOAD 000013d0: SWAP1 000013d1: DUP2 000013d2: ADD 000013d3: PUSH1 0x40 000013d5: MSTORE 000013d6: DUP1 000013d7: PUSH1 0x05 000013d9: DUP2 000013da: MSTORE 000013db: PUSH1 0x20 000013dd: ADD 000013de: PUSH32 0x5758455448000000000000000000000000000000000000000000000000000000 000013ff: DUP2 00001400: MSTORE 00001401: POP 00001402: DUP2 00001403: JUMP 00001404: JUMPDEST 00001405: PUSH1 0x00 00001407: DUP1 00001408: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000141d: AND 0000141e: DUP4 0000141f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001434: AND 00001435: EQ 00001436: ISZERO 00001437: ISZERO 00001438: ISZERO 00001439: PUSH2 0x1441 0000143c: JUMPI 0000143d: PUSH1 0x00 0000143f: DUP1 00001440: REVERT 00001441: JUMPDEST 00001442: PUSH1 0x01 00001444: PUSH1 0x00 00001446: CALLER 00001447: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000145c: AND 0000145d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001472: AND 00001473: DUP2 00001474: MSTORE 00001475: PUSH1 0x20 00001477: ADD 00001478: SWAP1 00001479: DUP2 0000147a: MSTORE 0000147b: PUSH1 0x20 0000147d: ADD 0000147e: PUSH1 0x00 00001480: KECCAK256 00001481: SLOAD 00001482: DUP3 00001483: GT 00001484: ISZERO 00001485: ISZERO 00001486: ISZERO 00001487: PUSH2 0x148f 0000148a: JUMPI 0000148b: PUSH1 0x00 0000148d: DUP1 0000148e: REVERT 0000148f: JUMPDEST 00001490: PUSH2 0x14e1 00001493: DUP3 00001494: PUSH1 0x01 00001496: PUSH1 0x00 00001498: CALLER 00001499: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014ae: AND 000014af: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014c4: AND 000014c5: DUP2 000014c6: MSTORE 000014c7: PUSH1 0x20 000014c9: ADD 000014ca: SWAP1 000014cb: DUP2 000014cc: MSTORE 000014cd: PUSH1 0x20 000014cf: ADD 000014d0: PUSH1 0x00 000014d2: KECCAK256 000014d3: SLOAD 000014d4: PUSH2 0x1b5e 000014d7: SWAP1 000014d8: SWAP2 000014d9: SWAP1 000014da: PUSH4 0xffffffff 000014df: AND 000014e0: JUMP 000014e1: JUMPDEST 000014e2: PUSH1 0x01 000014e4: PUSH1 0x00 000014e6: CALLER 000014e7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014fc: AND 000014fd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001512: AND 00001513: DUP2 00001514: MSTORE 00001515: PUSH1 0x20 00001517: ADD 00001518: SWAP1 00001519: DUP2 0000151a: MSTORE 0000151b: PUSH1 0x20 0000151d: ADD 0000151e: PUSH1 0x00 00001520: KECCAK256 00001521: DUP2 00001522: SWAP1 00001523: SSTORE 00001524: POP 00001525: PUSH2 0x1576 00001528: DUP3 00001529: PUSH1 0x01 0000152b: PUSH1 0x00 0000152d: DUP7 0000152e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001543: AND 00001544: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001559: AND 0000155a: DUP2 0000155b: MSTORE 0000155c: PUSH1 0x20 0000155e: ADD 0000155f: SWAP1 00001560: DUP2 00001561: MSTORE 00001562: PUSH1 0x20 00001564: ADD 00001565: PUSH1 0x00 00001567: KECCAK256 00001568: SLOAD 00001569: PUSH2 0x1b40 0000156c: SWAP1 0000156d: SWAP2 0000156e: SWAP1 0000156f: PUSH4 0xffffffff 00001574: AND 00001575: JUMP 00001576: JUMPDEST 00001577: PUSH1 0x01 00001579: PUSH1 0x00 0000157b: DUP6 0000157c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001591: AND 00001592: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015a7: AND 000015a8: DUP2 000015a9: MSTORE 000015aa: PUSH1 0x20 000015ac: ADD 000015ad: SWAP1 000015ae: DUP2 000015af: MSTORE 000015b0: PUSH1 0x20 000015b2: ADD 000015b3: PUSH1 0x00 000015b5: KECCAK256 000015b6: DUP2 000015b7: SWAP1 000015b8: SSTORE 000015b9: POP 000015ba: DUP3 000015bb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015d0: AND 000015d1: CALLER 000015d2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015e7: AND 000015e8: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00001609: DUP5 0000160a: PUSH1 0x40 0000160c: MLOAD 0000160d: DUP1 0000160e: DUP3 0000160f: DUP2 00001610: MSTORE 00001611: PUSH1 0x20 00001613: ADD 00001614: SWAP2 00001615: POP 00001616: POP 00001617: PUSH1 0x40 00001619: MLOAD 0000161a: DUP1 0000161b: SWAP2 0000161c: SUB 0000161d: SWAP1 0000161e: LOG3 0000161f: PUSH1 0x01 00001621: SWAP1 00001622: POP 00001623: SWAP3 00001624: SWAP2 00001625: POP 00001626: POP 00001627: JUMP 00001628: JUMPDEST 00001629: PUSH1 0x00 0000162b: PUSH1 0x03 0000162d: PUSH1 0x00 0000162f: SWAP1 00001630: SLOAD 00001631: SWAP1 00001632: PUSH2 0x0100 00001635: EXP 00001636: SWAP1 00001637: DIV 00001638: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000164d: AND 0000164e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001663: AND 00001664: CALLER 00001665: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000167a: AND 0000167b: EQ 0000167c: ISZERO 0000167d: ISZERO 0000167e: PUSH2 0x1686 00001681: JUMPI 00001682: PUSH1 0x00 00001684: DUP1 00001685: REVERT 00001686: JUMPDEST 00001687: PUSH1 0x03 00001689: PUSH1 0x14 0000168b: SWAP1 0000168c: SLOAD 0000168d: SWAP1 0000168e: PUSH2 0x0100 00001691: EXP 00001692: SWAP1 00001693: DIV 00001694: PUSH1 0xff 00001696: AND 00001697: ISZERO 00001698: ISZERO 00001699: ISZERO 0000169a: PUSH2 0x16a2 0000169d: JUMPI 0000169e: PUSH1 0x00 000016a0: DUP1 000016a1: REVERT 000016a2: JUMPDEST 000016a3: PUSH1 0x00 000016a5: DUP1 000016a6: SLOAD 000016a7: GT 000016a8: ISZERO 000016a9: ISZERO 000016aa: PUSH2 0x16b2 000016ad: JUMPI 000016ae: PUSH1 0x00 000016b0: DUP1 000016b1: REVERT 000016b2: JUMPDEST 000016b3: PUSH1 0x00 000016b5: PUSH1 0x04 000016b7: PUSH1 0x00 000016b9: SWAP1 000016ba: SLOAD 000016bb: SWAP1 000016bc: PUSH2 0x0100 000016bf: EXP 000016c0: SWAP1 000016c1: DIV 000016c2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016d7: AND 000016d8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016ed: AND 000016ee: EQ 000016ef: ISZERO 000016f0: ISZERO 000016f1: ISZERO 000016f2: PUSH2 0x16fa 000016f5: JUMPI 000016f6: PUSH1 0x00 000016f8: DUP1 000016f9: REVERT 000016fa: JUMPDEST 000016fb: PUSH1 0x00 000016fd: SLOAD 000016fe: SWAP1 000016ff: POP 00001700: PUSH2 0x1716 00001703: PUSH1 0x00 00001705: SLOAD 00001706: PUSH1 0x00 00001708: SLOAD 00001709: PUSH2 0x1b5e 0000170c: SWAP1 0000170d: SWAP2 0000170e: SWAP1 0000170f: PUSH4 0xffffffff 00001714: AND 00001715: JUMP 00001716: JUMPDEST 00001717: PUSH1 0x00 00001719: DUP2 0000171a: SWAP1 0000171b: SSTORE 0000171c: POP 0000171d: ADDRESS 0000171e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001733: AND 00001734: PUSH1 0x04 00001736: PUSH1 0x00 00001738: SWAP1 00001739: SLOAD 0000173a: SWAP1 0000173b: PUSH2 0x0100 0000173e: EXP 0000173f: SWAP1 00001740: DIV 00001741: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001756: AND 00001757: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000176c: AND 0000176d: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 0000178e: PUSH1 0x00 00001790: SLOAD 00001791: PUSH1 0x40 00001793: MLOAD 00001794: DUP1 00001795: DUP3 00001796: DUP2 00001797: MSTORE 00001798: PUSH1 0x20 0000179a: ADD 0000179b: SWAP2 0000179c: POP 0000179d: POP 0000179e: PUSH1 0x40 000017a0: MLOAD 000017a1: DUP1 000017a2: SWAP2 000017a3: SUB 000017a4: SWAP1 000017a5: LOG3 000017a6: PUSH32 0x9a1b418bc061a5d80270261562e6986a35d995f8051145f277be16103abd3453 000017c7: PUSH1 0x00 000017c9: SLOAD 000017ca: PUSH1 0x40 000017cc: MLOAD 000017cd: DUP1 000017ce: DUP3 000017cf: DUP2 000017d0: MSTORE 000017d1: PUSH1 0x20 000017d3: ADD 000017d4: SWAP2 000017d5: POP 000017d6: POP 000017d7: PUSH1 0x40 000017d9: MLOAD 000017da: DUP1 000017db: SWAP2 000017dc: SUB 000017dd: SWAP1 000017de: LOG1 000017df: PUSH1 0x04 000017e1: PUSH1 0x00 000017e3: SWAP1 000017e4: SLOAD 000017e5: SWAP1 000017e6: PUSH2 0x0100 000017e9: EXP 000017ea: SWAP1 000017eb: DIV 000017ec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001801: AND 00001802: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001817: AND 00001818: PUSH2 0x08fc 0000181b: DUP3 0000181c: SWAP1 0000181d: DUP2 0000181e: ISZERO 0000181f: MUL 00001820: SWAP1 00001821: PUSH1 0x40 00001823: MLOAD 00001824: PUSH1 0x00 00001826: PUSH1 0x40 00001828: MLOAD 00001829: DUP1 0000182a: DUP4 0000182b: SUB 0000182c: DUP2 0000182d: DUP6 0000182e: DUP9 0000182f: DUP9 00001830: CALL 00001831: SWAP4 00001832: POP 00001833: POP 00001834: POP 00001835: POP 00001836: ISZERO 00001837: ISZERO 00001838: PUSH2 0x1840 0000183b: JUMPI 0000183c: PUSH1 0x00 0000183e: DUP1 0000183f: REVERT 00001840: JUMPDEST 00001841: POP 00001842: JUMP 00001843: JUMPDEST 00001844: PUSH1 0x03 00001846: PUSH1 0x00 00001848: SWAP1 00001849: SLOAD 0000184a: SWAP1 0000184b: PUSH2 0x0100 0000184e: EXP 0000184f: SWAP1 00001850: DIV 00001851: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001866: AND 00001867: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000187c: AND 0000187d: CALLER 0000187e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001893: AND 00001894: EQ 00001895: ISZERO 00001896: ISZERO 00001897: PUSH2 0x189f 0000189a: JUMPI 0000189b: PUSH1 0x00 0000189d: DUP1 0000189e: REVERT 0000189f: JUMPDEST 000018a0: DUP1 000018a1: ISZERO 000018a2: PUSH1 0x03 000018a4: PUSH1 0x14 000018a6: PUSH2 0x0100 000018a9: EXP 000018aa: DUP2 000018ab: SLOAD 000018ac: DUP2 000018ad: PUSH1 0xff 000018af: MUL 000018b0: NOT 000018b1: AND 000018b2: SWAP1 000018b3: DUP4 000018b4: ISZERO 000018b5: ISZERO 000018b6: MUL 000018b7: OR 000018b8: SWAP1 000018b9: SSTORE 000018ba: POP 000018bb: POP 000018bc: JUMP 000018bd: JUMPDEST 000018be: PUSH1 0x00 000018c0: PUSH2 0x194e 000018c3: DUP3 000018c4: PUSH1 0x02 000018c6: PUSH1 0x00 000018c8: CALLER 000018c9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000018de: AND 000018df: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000018f4: AND 000018f5: DUP2 000018f6: MSTORE 000018f7: PUSH1 0x20 000018f9: ADD 000018fa: SWAP1 000018fb: DUP2 000018fc: MSTORE 000018fd: PUSH1 0x20 000018ff: ADD 00001900: PUSH1 0x00 00001902: KECCAK256 00001903: PUSH1 0x00 00001905: DUP7 00001906: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000191b: AND 0000191c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001931: AND 00001932: DUP2 00001933: MSTORE 00001934: PUSH1 0x20 00001936: ADD 00001937: SWAP1 00001938: DUP2 00001939: MSTORE 0000193a: PUSH1 0x20 0000193c: ADD 0000193d: PUSH1 0x00 0000193f: KECCAK256 00001940: SLOAD 00001941: PUSH2 0x1b40 00001944: SWAP1 00001945: SWAP2 00001946: SWAP1 00001947: PUSH4 0xffffffff 0000194c: AND 0000194d: JUMP 0000194e: JUMPDEST 0000194f: PUSH1 0x02 00001951: PUSH1 0x00 00001953: CALLER 00001954: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001969: AND 0000196a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000197f: AND 00001980: DUP2 00001981: MSTORE 00001982: PUSH1 0x20 00001984: ADD 00001985: SWAP1 00001986: DUP2 00001987: MSTORE 00001988: PUSH1 0x20 0000198a: ADD 0000198b: PUSH1 0x00 0000198d: KECCAK256 0000198e: PUSH1 0x00 00001990: DUP6 00001991: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000019a6: AND 000019a7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000019bc: AND 000019bd: DUP2 000019be: MSTORE 000019bf: PUSH1 0x20 000019c1: ADD 000019c2: SWAP1 000019c3: DUP2 000019c4: MSTORE 000019c5: PUSH1 0x20 000019c7: ADD 000019c8: PUSH1 0x00 000019ca: KECCAK256 000019cb: DUP2 000019cc: SWAP1 000019cd: SSTORE 000019ce: POP 000019cf: DUP3 000019d0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000019e5: AND 000019e6: CALLER 000019e7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000019fc: AND 000019fd: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 00001a1e: PUSH1 0x02 00001a20: PUSH1 0x00 00001a22: CALLER 00001a23: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a38: AND 00001a39: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a4e: AND 00001a4f: DUP2 00001a50: MSTORE 00001a51: PUSH1 0x20 00001a53: ADD 00001a54: SWAP1 00001a55: DUP2 00001a56: MSTORE 00001a57: PUSH1 0x20 00001a59: ADD 00001a5a: PUSH1 0x00 00001a5c: KECCAK256 00001a5d: PUSH1 0x00 00001a5f: DUP8 00001a60: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a75: AND 00001a76: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a8b: AND 00001a8c: DUP2 00001a8d: MSTORE 00001a8e: PUSH1 0x20 00001a90: ADD 00001a91: SWAP1 00001a92: DUP2 00001a93: MSTORE 00001a94: PUSH1 0x20 00001a96: ADD 00001a97: PUSH1 0x00 00001a99: KECCAK256 00001a9a: SLOAD 00001a9b: PUSH1 0x40 00001a9d: MLOAD 00001a9e: DUP1 00001a9f: DUP3 00001aa0: DUP2 00001aa1: MSTORE 00001aa2: PUSH1 0x20 00001aa4: ADD 00001aa5: SWAP2 00001aa6: POP 00001aa7: POP 00001aa8: PUSH1 0x40 00001aaa: MLOAD 00001aab: DUP1 00001aac: SWAP2 00001aad: SUB 00001aae: SWAP1 00001aaf: LOG3 00001ab0: PUSH1 0x01 00001ab2: SWAP1 00001ab3: POP 00001ab4: SWAP3 00001ab5: SWAP2 00001ab6: POP 00001ab7: POP 00001ab8: JUMP 00001ab9: JUMPDEST 00001aba: PUSH1 0x00 00001abc: PUSH1 0x02 00001abe: PUSH1 0x00 00001ac0: DUP5 00001ac1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ad6: AND 00001ad7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001aec: AND 00001aed: DUP2 00001aee: MSTORE 00001aef: PUSH1 0x20 00001af1: ADD 00001af2: SWAP1 00001af3: DUP2 00001af4: MSTORE 00001af5: PUSH1 0x20 00001af7: ADD 00001af8: PUSH1 0x00 00001afa: KECCAK256 00001afb: PUSH1 0x00 00001afd: DUP4 00001afe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b13: AND 00001b14: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b29: AND 00001b2a: DUP2 00001b2b: MSTORE 00001b2c: PUSH1 0x20 00001b2e: ADD 00001b2f: SWAP1 00001b30: DUP2 00001b31: MSTORE 00001b32: PUSH1 0x20 00001b34: ADD 00001b35: PUSH1 0x00 00001b37: KECCAK256 00001b38: SLOAD 00001b39: SWAP1 00001b3a: POP 00001b3b: SWAP3 00001b3c: SWAP2 00001b3d: POP 00001b3e: POP 00001b3f: JUMP 00001b40: JUMPDEST 00001b41: PUSH1 0x00 00001b43: DUP1 00001b44: DUP3 00001b45: DUP5 00001b46: ADD 00001b47: SWAP1 00001b48: POP 00001b49: DUP4 00001b4a: DUP2 00001b4b: LT 00001b4c: ISZERO 00001b4d: ISZERO 00001b4e: ISZERO 00001b4f: PUSH2 0x1b54 00001b52: JUMPI 00001b53: INVALID 00001b54: JUMPDEST 00001b55: DUP1 00001b56: SWAP2 00001b57: POP 00001b58: POP 00001b59: SWAP3 00001b5a: SWAP2 00001b5b: POP 00001b5c: POP 00001b5d: JUMP 00001b5e: JUMPDEST 00001b5f: PUSH1 0x00 00001b61: DUP3 00001b62: DUP3 00001b63: GT 00001b64: ISZERO 00001b65: ISZERO 00001b66: ISZERO 00001b67: PUSH2 0x1b6c 00001b6a: JUMPI 00001b6b: INVALID 00001b6c: JUMPDEST 00001b6d: DUP2 00001b6e: DUP4 00001b6f: SUB 00001b70: SWAP1 00001b71: POP 00001b72: SWAP3 00001b73: SWAP2 00001b74: POP 00001b75: POP 00001b76: JUMP 00001b77: STOP 00001b78: LOG1 00001b79: PUSH6 0x627a7a723058 00001b80: KECCAK256 00001b81: DUP1 00001b82: UNKNOWN(0x26) 00001b83: UNKNOWN(0xD0) 00001b84: SWAP11 00001b85: DIFFICULTY 00001b86: TSTORE 00001b87: SELFBALANCE 00001b88: UNKNOWN(0xD3) 00001b89: UNKNOWN(0x4B) 00001b8a: UNKNOWN(0xCA) 00001b8b: XOR 00001b8c: DUP7 00001b8d: CALLDATACOPY 00001b8e: PUSH19 0x9886934f6ce7eb5f400bb9ee26dc3f8d77a500 00001ba2: UNKNOWN(0x29)
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0xb82ae979777269af37239fd0a58cc77d2ae6481c3850e4fb7873d60e4b6df6c9
call_targets:
0x47423b0fdb181ecab813c908307e9795c0272db7
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xb82ae979777269af37239fd0a58cc77d2ae6481c3850e4fb7873d60e4b6df6c9",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x47423b0fdb181ecab813c908307e9795c0272db7"
],
"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": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x095ea7b3",
"selector": "0x095ea7b3",
"calldata_variants": [
"0x095ea7b3",
"0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x205c2878",
"selector": "0x205c2878",
"calldata_variants": [
"0x205c2878",
"0x205c28780000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x238dafe0",
"selector": "0x238dafe0",
"calldata_variants": [
"0x238dafe0",
"0x238dafe00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23b872dd",
"selector": "0x23b872dd",
"calldata_variants": [
"0x23b872dd",
"0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2e1a7d4d",
"selector": "0x2e1a7d4d",
"calldata_variants": [
"0x2e1a7d4d",
"0x2e1a7d4d0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3072,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 6192,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [
{
"pc": 5732,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 6269,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 2
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0xb82ae979777269af37239fd0a58cc77d2ae6481c3850e4fb7873d60e4b6df6c9
call_targets:
0x47423b0fdb181ecab813c908307e9795c0272db7
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xb82ae979777269af37239fd0a58cc77d2ae6481c3850e4fb7873d60e4b6df6c9",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x47423b0fdb181ecab813c908307e9795c0272db7"
],
"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": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x095ea7b3",
"selector": "0x095ea7b3",
"calldata_variants": [
"0x095ea7b3",
"0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x205c2878",
"selector": "0x205c2878",
"calldata_variants": [
"0x205c2878",
"0x205c28780000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x238dafe0",
"selector": "0x238dafe0",
"calldata_variants": [
"0x238dafe0",
"0x238dafe00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23b872dd",
"selector": "0x23b872dd",
"calldata_variants": [
"0x23b872dd",
"0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2e1a7d4d",
"selector": "0x2e1a7d4d",
"calldata_variants": [
"0x2e1a7d4d",
"0x2e1a7d4d0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3072,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 6192,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": [
{
"pc": 5732,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 6269,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|