019b3844-8b10-7324-a826-48e921d36045
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 |
|---|---|---|---|---|
| 11737 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 11738 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 98866 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 98867 | capability.graph | complete | 1 / 3 | 1 week ago |
| 98868 | detector.run | complete | 1 / 3 | 1 week ago |
| 98869 | validation.fork | complete | 1 / 3 | 1 week ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x60 00000002: PUSH1 0x40 00000004: MSTORE 00000005: CALLDATASIZE 00000006: ISZERO 00000007: PUSH2 0x0126 0000000a: JUMPI 0000000b: PUSH1 0x00 0000000d: CALLDATALOAD 0000000e: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000002c: SWAP1 0000002d: DIV 0000002e: PUSH4 0xffffffff 00000033: AND 00000034: DUP1 00000035: PUSH4 0x02fc1f85 0000003a: EQ 0000003b: PUSH2 0x012b 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0x2b1fd58a 00000045: EQ 00000046: PUSH2 0x01ba 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0x2d087944 00000050: EQ 00000051: PUSH2 0x01dd 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0x30ef3d56 0000005b: EQ 0000005c: PUSH2 0x0218 0000005f: JUMPI 00000060: DUP1 00000061: PUSH4 0x41883b78 00000066: EQ 00000067: PUSH2 0x023b 0000006a: JUMPI 0000006b: DUP1 0000006c: PUSH4 0x543fd313 00000071: EQ 00000072: PUSH2 0x0250 00000075: JUMPI 00000076: DUP1 00000077: PUSH4 0x5bd9279c 0000007c: EQ 0000007d: PUSH2 0x029d 00000080: JUMPI 00000081: DUP1 00000082: PUSH4 0x655b97db 00000087: EQ 00000088: PUSH2 0x02c9 0000008b: JUMPI 0000008c: DUP1 0000008d: PUSH4 0x7f949386 00000092: EQ 00000093: PUSH2 0x031f 00000096: JUMPI 00000097: DUP1 00000098: PUSH4 0x81086763 0000009d: EQ 0000009e: PUSH2 0x0385 000000a1: JUMPI 000000a2: DUP1 000000a3: PUSH4 0x8df3a24c 000000a8: EQ 000000a9: PUSH2 0x039d 000000ac: JUMPI 000000ad: DUP1 000000ae: PUSH4 0x9703ef35 000000b3: EQ 000000b4: PUSH2 0x03f7 000000b7: JUMPI 000000b8: DUP1 000000b9: PUSH4 0xa0f45b69 000000be: EQ 000000bf: PUSH2 0x041a 000000c2: JUMPI 000000c3: DUP1 000000c4: PUSH4 0xb73c6ce9 000000c9: EQ 000000ca: PUSH2 0x0559 000000cd: JUMPI 000000ce: DUP1 000000cf: PUSH4 0xc7daceb1 000000d4: EQ 000000d5: PUSH2 0x056e 000000d8: JUMPI 000000d9: DUP1 000000da: PUSH4 0xcfe30939 000000df: EQ 000000e0: PUSH2 0x0586 000000e3: JUMPI 000000e4: DUP1 000000e5: PUSH4 0xddb22537 000000ea: EQ 000000eb: PUSH2 0x05af 000000ee: JUMPI 000000ef: DUP1 000000f0: PUSH4 0xe327a6af 000000f5: EQ 000000f6: PUSH2 0x05c4 000000f9: JUMPI 000000fa: DUP1 000000fb: PUSH4 0xe45be8eb 00000100: EQ 00000101: PUSH2 0x061e 00000104: JUMPI 00000105: DUP1 00000106: PUSH4 0xf047d077 0000010b: EQ 0000010c: PUSH2 0x0647 0000010f: JUMPI 00000110: DUP1 00000111: PUSH4 0xf48d60ca 00000116: EQ 00000117: PUSH2 0x066a 0000011a: JUMPI 0000011b: DUP1 0000011c: PUSH4 0xff1ad781 00000121: EQ 00000122: PUSH2 0x06a5 00000125: JUMPI 00000126: JUMPDEST 00000127: PUSH1 0x00 00000129: DUP1 0000012a: REVERT 0000012b: JUMPDEST 0000012c: CALLVALUE 0000012d: ISZERO 0000012e: PUSH2 0x0136 00000131: JUMPI 00000132: PUSH1 0x00 00000134: DUP1 00000135: REVERT 00000136: JUMPDEST 00000137: PUSH2 0x0162 0000013a: PUSH1 0x04 0000013c: DUP1 0000013d: DUP1 0000013e: CALLDATALOAD 0000013f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000154: AND 00000155: SWAP1 00000156: PUSH1 0x20 00000158: ADD 00000159: SWAP1 0000015a: SWAP2 0000015b: SWAP1 0000015c: POP 0000015d: POP 0000015e: PUSH2 0x06f2 00000161: JUMP 00000162: JUMPDEST 00000163: PUSH1 0x40 00000165: MLOAD 00000166: DUP1 00000167: DUP1 00000168: PUSH1 0x20 0000016a: ADD 0000016b: DUP3 0000016c: DUP2 0000016d: SUB 0000016e: DUP3 0000016f: MSTORE 00000170: DUP4 00000171: DUP2 00000172: DUP2 00000173: MLOAD 00000174: DUP2 00000175: MSTORE 00000176: PUSH1 0x20 00000178: ADD 00000179: SWAP2 0000017a: POP 0000017b: DUP1 0000017c: MLOAD 0000017d: SWAP1 0000017e: PUSH1 0x20 00000180: ADD 00000181: SWAP1 00000182: PUSH1 0x20 00000184: MUL 00000185: DUP1 00000186: DUP4 00000187: DUP4 00000188: PUSH1 0x00 0000018a: JUMPDEST 0000018b: DUP4 0000018c: DUP2 0000018d: LT 0000018e: ISZERO 0000018f: PUSH2 0x01a6 00000192: JUMPI 00000193: DUP1 00000194: DUP3 00000195: ADD 00000196: MLOAD 00000197: DUP2 00000198: DUP5 00000199: ADD 0000019a: MSTORE 0000019b: JUMPDEST 0000019c: PUSH1 0x20 0000019e: DUP2 0000019f: ADD 000001a0: SWAP1 000001a1: POP 000001a2: PUSH2 0x018a 000001a5: JUMP 000001a6: JUMPDEST 000001a7: POP 000001a8: POP 000001a9: POP 000001aa: POP 000001ab: SWAP1 000001ac: POP 000001ad: ADD 000001ae: SWAP3 000001af: POP 000001b0: POP 000001b1: POP 000001b2: PUSH1 0x40 000001b4: MLOAD 000001b5: DUP1 000001b6: SWAP2 000001b7: SUB 000001b8: SWAP1 000001b9: RETURN 000001ba: JUMPDEST 000001bb: CALLVALUE 000001bc: ISZERO 000001bd: PUSH2 0x01c5 000001c0: JUMPI 000001c1: PUSH1 0x00 000001c3: DUP1 000001c4: REVERT 000001c5: JUMPDEST 000001c6: PUSH2 0x01db 000001c9: PUSH1 0x04 000001cb: DUP1 000001cc: DUP1 000001cd: CALLDATALOAD 000001ce: SWAP1 000001cf: PUSH1 0x20 000001d1: ADD 000001d2: SWAP1 000001d3: SWAP2 000001d4: SWAP1 000001d5: POP 000001d6: POP 000001d7: PUSH2 0x080c 000001da: JUMP 000001db: JUMPDEST 000001dc: STOP 000001dd: JUMPDEST 000001de: CALLVALUE 000001df: ISZERO 000001e0: PUSH2 0x01e8 000001e3: JUMPI 000001e4: PUSH1 0x00 000001e6: DUP1 000001e7: REVERT 000001e8: JUMPDEST 000001e9: PUSH2 0x01fe 000001ec: PUSH1 0x04 000001ee: DUP1 000001ef: DUP1 000001f0: CALLDATALOAD 000001f1: SWAP1 000001f2: PUSH1 0x20 000001f4: ADD 000001f5: SWAP1 000001f6: SWAP2 000001f7: SWAP1 000001f8: POP 000001f9: POP 000001fa: PUSH2 0x09a9 000001fd: JUMP 000001fe: JUMPDEST 000001ff: PUSH1 0x40 00000201: MLOAD 00000202: DUP1 00000203: DUP3 00000204: ISZERO 00000205: ISZERO 00000206: ISZERO 00000207: ISZERO 00000208: DUP2 00000209: MSTORE 0000020a: PUSH1 0x20 0000020c: ADD 0000020d: SWAP2 0000020e: POP 0000020f: POP 00000210: PUSH1 0x40 00000212: MLOAD 00000213: DUP1 00000214: SWAP2 00000215: SUB 00000216: SWAP1 00000217: RETURN 00000218: JUMPDEST 00000219: CALLVALUE 0000021a: ISZERO 0000021b: PUSH2 0x0223 0000021e: JUMPI 0000021f: PUSH1 0x00 00000221: DUP1 00000222: REVERT 00000223: JUMPDEST 00000224: PUSH2 0x0239 00000227: PUSH1 0x04 00000229: DUP1 0000022a: DUP1 0000022b: CALLDATALOAD 0000022c: SWAP1 0000022d: PUSH1 0x20 0000022f: ADD 00000230: SWAP1 00000231: SWAP2 00000232: SWAP1 00000233: POP 00000234: POP 00000235: PUSH2 0x09d6 00000238: JUMP 00000239: JUMPDEST 0000023a: STOP 0000023b: JUMPDEST 0000023c: CALLVALUE 0000023d: ISZERO 0000023e: PUSH2 0x0246 00000241: JUMPI 00000242: PUSH1 0x00 00000244: DUP1 00000245: REVERT 00000246: JUMPDEST 00000247: PUSH2 0x024e 0000024a: PUSH2 0x0c6c 0000024d: JUMP 0000024e: JUMPDEST 0000024f: STOP 00000250: JUMPDEST 00000251: CALLVALUE 00000252: ISZERO 00000253: PUSH2 0x025b 00000256: JUMPI 00000257: PUSH1 0x00 00000259: DUP1 0000025a: REVERT 0000025b: JUMPDEST 0000025c: PUSH2 0x0287 0000025f: PUSH1 0x04 00000261: DUP1 00000262: DUP1 00000263: CALLDATALOAD 00000264: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000279: AND 0000027a: SWAP1 0000027b: PUSH1 0x20 0000027d: ADD 0000027e: SWAP1 0000027f: SWAP2 00000280: SWAP1 00000281: POP 00000282: POP 00000283: PUSH2 0x0d1b 00000286: JUMP 00000287: JUMPDEST 00000288: PUSH1 0x40 0000028a: MLOAD 0000028b: DUP1 0000028c: DUP3 0000028d: DUP2 0000028e: MSTORE 0000028f: PUSH1 0x20 00000291: ADD 00000292: SWAP2 00000293: POP 00000294: POP 00000295: PUSH1 0x40 00000297: MLOAD 00000298: DUP1 00000299: SWAP2 0000029a: SUB 0000029b: SWAP1 0000029c: RETURN 0000029d: JUMPDEST 0000029e: CALLVALUE 0000029f: ISZERO 000002a0: PUSH2 0x02a8 000002a3: JUMPI 000002a4: PUSH1 0x00 000002a6: DUP1 000002a7: REVERT 000002a8: JUMPDEST 000002a9: PUSH2 0x02c7 000002ac: PUSH1 0x04 000002ae: DUP1 000002af: DUP1 000002b0: CALLDATALOAD 000002b1: SWAP1 000002b2: PUSH1 0x20 000002b4: ADD 000002b5: SWAP1 000002b6: SWAP2 000002b7: SWAP1 000002b8: DUP1 000002b9: CALLDATALOAD 000002ba: SWAP1 000002bb: PUSH1 0x20 000002bd: ADD 000002be: SWAP1 000002bf: SWAP2 000002c0: SWAP1 000002c1: POP 000002c2: POP 000002c3: PUSH2 0x0d33 000002c6: JUMP 000002c7: JUMPDEST 000002c8: STOP 000002c9: JUMPDEST 000002ca: CALLVALUE 000002cb: ISZERO 000002cc: PUSH2 0x02d4 000002cf: JUMPI 000002d0: PUSH1 0x00 000002d2: DUP1 000002d3: REVERT 000002d4: JUMPDEST 000002d5: PUSH2 0x0309 000002d8: PUSH1 0x04 000002da: DUP1 000002db: DUP1 000002dc: CALLDATALOAD 000002dd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002f2: AND 000002f3: SWAP1 000002f4: PUSH1 0x20 000002f6: ADD 000002f7: SWAP1 000002f8: SWAP2 000002f9: SWAP1 000002fa: DUP1 000002fb: CALLDATALOAD 000002fc: SWAP1 000002fd: PUSH1 0x20 000002ff: ADD 00000300: SWAP1 00000301: SWAP2 00000302: SWAP1 00000303: POP 00000304: POP 00000305: PUSH2 0x0dd8 00000308: JUMP 00000309: JUMPDEST 0000030a: PUSH1 0x40 0000030c: MLOAD 0000030d: DUP1 0000030e: DUP3 0000030f: DUP2 00000310: MSTORE 00000311: PUSH1 0x20 00000313: ADD 00000314: SWAP2 00000315: POP 00000316: POP 00000317: PUSH1 0x40 00000319: MLOAD 0000031a: DUP1 0000031b: SWAP2 0000031c: SUB 0000031d: SWAP1 0000031e: RETURN 0000031f: JUMPDEST 00000320: CALLVALUE 00000321: ISZERO 00000322: PUSH2 0x032a 00000325: JUMPI 00000326: PUSH1 0x00 00000328: DUP1 00000329: REVERT 0000032a: JUMPDEST 0000032b: PUSH2 0x0383 0000032e: PUSH1 0x04 00000330: DUP1 00000331: DUP1 00000332: CALLDATALOAD 00000333: SWAP1 00000334: PUSH1 0x20 00000336: ADD 00000337: SWAP1 00000338: SWAP2 00000339: SWAP1 0000033a: DUP1 0000033b: CALLDATALOAD 0000033c: SWAP1 0000033d: PUSH1 0x20 0000033f: ADD 00000340: SWAP1 00000341: DUP3 00000342: ADD 00000343: DUP1 00000344: CALLDATALOAD 00000345: SWAP1 00000346: PUSH1 0x20 00000348: ADD 00000349: SWAP1 0000034a: DUP1 0000034b: DUP1 0000034c: PUSH1 0x1f 0000034e: ADD 0000034f: PUSH1 0x20 00000351: DUP1 00000352: SWAP2 00000353: DIV 00000354: MUL 00000355: PUSH1 0x20 00000357: ADD 00000358: PUSH1 0x40 0000035a: MLOAD 0000035b: SWAP1 0000035c: DUP2 0000035d: ADD 0000035e: PUSH1 0x40 00000360: MSTORE 00000361: DUP1 00000362: SWAP4 00000363: SWAP3 00000364: SWAP2 00000365: SWAP1 00000366: DUP2 00000367: DUP2 00000368: MSTORE 00000369: PUSH1 0x20 0000036b: ADD 0000036c: DUP4 0000036d: DUP4 0000036e: DUP1 0000036f: DUP3 00000370: DUP5 00000371: CALLDATACOPY 00000372: DUP3 00000373: ADD 00000374: SWAP2 00000375: POP 00000376: POP 00000377: POP 00000378: POP 00000379: POP 0000037a: POP 0000037b: SWAP2 0000037c: SWAP1 0000037d: POP 0000037e: POP 0000037f: PUSH2 0x0e0a 00000382: JUMP 00000383: JUMPDEST 00000384: STOP 00000385: JUMPDEST 00000386: PUSH2 0x039b 00000389: PUSH1 0x04 0000038b: DUP1 0000038c: DUP1 0000038d: CALLDATALOAD 0000038e: SWAP1 0000038f: PUSH1 0x20 00000391: ADD 00000392: SWAP1 00000393: SWAP2 00000394: SWAP1 00000395: POP 00000396: POP 00000397: PUSH2 0x0e4e 0000039a: JUMP 0000039b: JUMPDEST 0000039c: STOP 0000039d: JUMPDEST 0000039e: CALLVALUE 0000039f: ISZERO 000003a0: PUSH2 0x03a8 000003a3: JUMPI 000003a4: PUSH1 0x00 000003a6: DUP1 000003a7: REVERT 000003a8: JUMPDEST 000003a9: PUSH2 0x03dd 000003ac: PUSH1 0x04 000003ae: DUP1 000003af: DUP1 000003b0: CALLDATALOAD 000003b1: SWAP1 000003b2: PUSH1 0x20 000003b4: ADD 000003b5: SWAP1 000003b6: SWAP2 000003b7: SWAP1 000003b8: DUP1 000003b9: CALLDATALOAD 000003ba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003cf: AND 000003d0: SWAP1 000003d1: PUSH1 0x20 000003d3: ADD 000003d4: SWAP1 000003d5: SWAP2 000003d6: SWAP1 000003d7: POP 000003d8: POP 000003d9: PUSH2 0x0fbd 000003dc: JUMP 000003dd: JUMPDEST 000003de: PUSH1 0x40 000003e0: MLOAD 000003e1: DUP1 000003e2: DUP3 000003e3: ISZERO 000003e4: ISZERO 000003e5: ISZERO 000003e6: ISZERO 000003e7: DUP2 000003e8: MSTORE 000003e9: PUSH1 0x20 000003eb: ADD 000003ec: SWAP2 000003ed: POP 000003ee: POP 000003ef: PUSH1 0x40 000003f1: MLOAD 000003f2: DUP1 000003f3: SWAP2 000003f4: SUB 000003f5: SWAP1 000003f6: RETURN 000003f7: JUMPDEST 000003f8: CALLVALUE 000003f9: ISZERO 000003fa: PUSH2 0x0402 000003fd: JUMPI 000003fe: PUSH1 0x00 00000400: DUP1 00000401: REVERT 00000402: JUMPDEST 00000403: PUSH2 0x0418 00000406: PUSH1 0x04 00000408: DUP1 00000409: DUP1 0000040a: CALLDATALOAD 0000040b: SWAP1 0000040c: PUSH1 0x20 0000040e: ADD 0000040f: SWAP1 00000410: SWAP2 00000411: SWAP1 00000412: POP 00000413: POP 00000414: PUSH2 0x103e 00000417: JUMP 00000418: JUMPDEST 00000419: STOP 0000041a: JUMPDEST 0000041b: CALLVALUE 0000041c: ISZERO 0000041d: PUSH2 0x0425 00000420: JUMPI 00000421: PUSH1 0x00 00000423: DUP1 00000424: REVERT 00000425: JUMPDEST 00000426: PUSH2 0x043b 00000429: PUSH1 0x04 0000042b: DUP1 0000042c: DUP1 0000042d: CALLDATALOAD 0000042e: SWAP1 0000042f: PUSH1 0x20 00000431: ADD 00000432: SWAP1 00000433: SWAP2 00000434: SWAP1 00000435: POP 00000436: POP 00000437: PUSH2 0x1101 0000043a: JUMP 0000043b: JUMPDEST 0000043c: PUSH1 0x40 0000043e: MLOAD 0000043f: DUP1 00000440: DUP9 00000441: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000456: AND 00000457: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000046c: AND 0000046d: DUP2 0000046e: MSTORE 0000046f: PUSH1 0x20 00000471: ADD 00000472: DUP8 00000473: DUP2 00000474: MSTORE 00000475: PUSH1 0x20 00000477: ADD 00000478: DUP1 00000479: PUSH1 0x20 0000047b: ADD 0000047c: DUP7 0000047d: ISZERO 0000047e: ISZERO 0000047f: ISZERO 00000480: ISZERO 00000481: DUP2 00000482: MSTORE 00000483: PUSH1 0x20 00000485: ADD 00000486: DUP6 00000487: DUP2 00000488: MSTORE 00000489: PUSH1 0x20 0000048b: ADD 0000048c: DUP5 0000048d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004a2: AND 000004a3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004b8: AND 000004b9: DUP2 000004ba: MSTORE 000004bb: PUSH1 0x20 000004bd: ADD 000004be: DUP4 000004bf: DUP2 000004c0: MSTORE 000004c1: PUSH1 0x20 000004c3: ADD 000004c4: DUP3 000004c5: DUP2 000004c6: SUB 000004c7: DUP3 000004c8: MSTORE 000004c9: DUP8 000004ca: DUP2 000004cb: DUP2 000004cc: SLOAD 000004cd: PUSH1 0x01 000004cf: DUP2 000004d0: PUSH1 0x01 000004d2: AND 000004d3: ISZERO 000004d4: PUSH2 0x0100 000004d7: MUL 000004d8: SUB 000004d9: AND 000004da: PUSH1 0x02 000004dc: SWAP1 000004dd: DIV 000004de: DUP2 000004df: MSTORE 000004e0: PUSH1 0x20 000004e2: ADD 000004e3: SWAP2 000004e4: POP 000004e5: DUP1 000004e6: SLOAD 000004e7: PUSH1 0x01 000004e9: DUP2 000004ea: PUSH1 0x01 000004ec: AND 000004ed: ISZERO 000004ee: PUSH2 0x0100 000004f1: MUL 000004f2: SUB 000004f3: AND 000004f4: PUSH1 0x02 000004f6: SWAP1 000004f7: DIV 000004f8: DUP1 000004f9: ISZERO 000004fa: PUSH2 0x0544 000004fd: JUMPI 000004fe: DUP1 000004ff: PUSH1 0x1f 00000501: LT 00000502: PUSH2 0x0519 00000505: JUMPI 00000506: PUSH2 0x0100 00000509: DUP1 0000050a: DUP4 0000050b: SLOAD 0000050c: DIV 0000050d: MUL 0000050e: DUP4 0000050f: MSTORE 00000510: SWAP2 00000511: PUSH1 0x20 00000513: ADD 00000514: SWAP2 00000515: PUSH2 0x0544 00000518: JUMP 00000519: JUMPDEST 0000051a: DUP3 0000051b: ADD 0000051c: SWAP2 0000051d: SWAP1 0000051e: PUSH1 0x00 00000520: MSTORE 00000521: PUSH1 0x20 00000523: PUSH1 0x00 00000525: KECCAK256 00000526: SWAP1 00000527: JUMPDEST 00000528: DUP2 00000529: SLOAD 0000052a: DUP2 0000052b: MSTORE 0000052c: SWAP1 0000052d: PUSH1 0x01 0000052f: ADD 00000530: SWAP1 00000531: PUSH1 0x20 00000533: ADD 00000534: DUP1 00000535: DUP4 00000536: GT 00000537: PUSH2 0x0527 0000053a: JUMPI 0000053b: DUP3 0000053c: SWAP1 0000053d: SUB 0000053e: PUSH1 0x1f 00000540: AND 00000541: DUP3 00000542: ADD 00000543: SWAP2 00000544: JUMPDEST 00000545: POP 00000546: POP 00000547: SWAP9 00000548: POP 00000549: POP 0000054a: POP 0000054b: POP 0000054c: POP 0000054d: POP 0000054e: POP 0000054f: POP 00000550: POP 00000551: PUSH1 0x40 00000553: MLOAD 00000554: DUP1 00000555: SWAP2 00000556: SUB 00000557: SWAP1 00000558: RETURN 00000559: JUMPDEST 0000055a: CALLVALUE 0000055b: ISZERO 0000055c: PUSH2 0x0564 0000055f: JUMPI 00000560: PUSH1 0x00 00000562: DUP1 00000563: REVERT 00000564: JUMPDEST 00000565: PUSH2 0x056c 00000568: PUSH2 0x118f 0000056b: JUMP 0000056c: JUMPDEST 0000056d: STOP 0000056e: JUMPDEST 0000056f: PUSH2 0x0584 00000572: PUSH1 0x04 00000574: DUP1 00000575: DUP1 00000576: CALLDATALOAD 00000577: SWAP1 00000578: PUSH1 0x20 0000057a: ADD 0000057b: SWAP1 0000057c: SWAP2 0000057d: SWAP1 0000057e: POP 0000057f: POP 00000580: PUSH2 0x125c 00000583: JUMP 00000584: JUMPDEST 00000585: STOP 00000586: JUMPDEST 00000587: CALLVALUE 00000588: ISZERO 00000589: PUSH2 0x0591 0000058c: JUMPI 0000058d: PUSH1 0x00 0000058f: DUP1 00000590: REVERT 00000591: JUMPDEST 00000592: PUSH2 0x0599 00000595: PUSH2 0x1345 00000598: JUMP 00000599: JUMPDEST 0000059a: PUSH1 0x40 0000059c: MLOAD 0000059d: DUP1 0000059e: DUP3 0000059f: DUP2 000005a0: MSTORE 000005a1: PUSH1 0x20 000005a3: ADD 000005a4: SWAP2 000005a5: POP 000005a6: POP 000005a7: PUSH1 0x40 000005a9: MLOAD 000005aa: DUP1 000005ab: SWAP2 000005ac: SUB 000005ad: SWAP1 000005ae: RETURN 000005af: JUMPDEST 000005b0: CALLVALUE 000005b1: ISZERO 000005b2: PUSH2 0x05ba 000005b5: JUMPI 000005b6: PUSH1 0x00 000005b8: DUP1 000005b9: REVERT 000005ba: JUMPDEST 000005bb: PUSH2 0x05c2 000005be: PUSH2 0x134b 000005c1: JUMP 000005c2: JUMPDEST 000005c3: STOP 000005c4: JUMPDEST 000005c5: CALLVALUE 000005c6: ISZERO 000005c7: PUSH2 0x05cf 000005ca: JUMPI 000005cb: PUSH1 0x00 000005cd: DUP1 000005ce: REVERT 000005cf: JUMPDEST 000005d0: PUSH2 0x0604 000005d3: PUSH1 0x04 000005d5: DUP1 000005d6: DUP1 000005d7: CALLDATALOAD 000005d8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005ed: AND 000005ee: SWAP1 000005ef: PUSH1 0x20 000005f1: ADD 000005f2: SWAP1 000005f3: SWAP2 000005f4: SWAP1 000005f5: DUP1 000005f6: CALLDATALOAD 000005f7: SWAP1 000005f8: PUSH1 0x20 000005fa: ADD 000005fb: SWAP1 000005fc: SWAP2 000005fd: SWAP1 000005fe: POP 000005ff: POP 00000600: PUSH2 0x1418 00000603: JUMP 00000604: JUMPDEST 00000605: PUSH1 0x40 00000607: MLOAD 00000608: DUP1 00000609: DUP3 0000060a: ISZERO 0000060b: ISZERO 0000060c: ISZERO 0000060d: ISZERO 0000060e: DUP2 0000060f: MSTORE 00000610: PUSH1 0x20 00000612: ADD 00000613: SWAP2 00000614: POP 00000615: POP 00000616: PUSH1 0x40 00000618: MLOAD 00000619: DUP1 0000061a: SWAP2 0000061b: SUB 0000061c: SWAP1 0000061d: RETURN 0000061e: JUMPDEST 0000061f: CALLVALUE 00000620: ISZERO 00000621: PUSH2 0x0629 00000624: JUMPI 00000625: PUSH1 0x00 00000627: DUP1 00000628: REVERT 00000629: JUMPDEST 0000062a: PUSH2 0x0631 0000062d: PUSH2 0x1487 00000630: JUMP 00000631: JUMPDEST 00000632: PUSH1 0x40 00000634: MLOAD 00000635: DUP1 00000636: DUP3 00000637: DUP2 00000638: MSTORE 00000639: PUSH1 0x20 0000063b: ADD 0000063c: SWAP2 0000063d: POP 0000063e: POP 0000063f: PUSH1 0x40 00000641: MLOAD 00000642: DUP1 00000643: SWAP2 00000644: SUB 00000645: SWAP1 00000646: RETURN 00000647: JUMPDEST 00000648: CALLVALUE 00000649: ISZERO 0000064a: PUSH2 0x0652 0000064d: JUMPI 0000064e: PUSH1 0x00 00000650: DUP1 00000651: REVERT 00000652: JUMPDEST 00000653: PUSH2 0x0668 00000656: PUSH1 0x04 00000658: DUP1 00000659: DUP1 0000065a: CALLDATALOAD 0000065b: SWAP1 0000065c: PUSH1 0x20 0000065e: ADD 0000065f: SWAP1 00000660: SWAP2 00000661: SWAP1 00000662: POP 00000663: POP 00000664: PUSH2 0x1492 00000667: JUMP 00000668: JUMPDEST 00000669: STOP 0000066a: JUMPDEST 0000066b: CALLVALUE 0000066c: ISZERO 0000066d: PUSH2 0x0675 00000670: JUMPI 00000671: PUSH1 0x00 00000673: DUP1 00000674: REVERT 00000675: JUMPDEST 00000676: PUSH2 0x068b 00000679: PUSH1 0x04 0000067b: DUP1 0000067c: DUP1 0000067d: CALLDATALOAD 0000067e: SWAP1 0000067f: PUSH1 0x20 00000681: ADD 00000682: SWAP1 00000683: SWAP2 00000684: SWAP1 00000685: POP 00000686: POP 00000687: PUSH2 0x14c5 0000068a: JUMP 0000068b: JUMPDEST 0000068c: PUSH1 0x40 0000068e: MLOAD 0000068f: DUP1 00000690: DUP3 00000691: ISZERO 00000692: ISZERO 00000693: ISZERO 00000694: ISZERO 00000695: DUP2 00000696: MSTORE 00000697: PUSH1 0x20 00000699: ADD 0000069a: SWAP2 0000069b: POP 0000069c: POP 0000069d: PUSH1 0x40 0000069f: MLOAD 000006a0: DUP1 000006a1: SWAP2 000006a2: SUB 000006a3: SWAP1 000006a4: RETURN 000006a5: JUMPDEST 000006a6: CALLVALUE 000006a7: ISZERO 000006a8: PUSH2 0x06b0 000006ab: JUMPI 000006ac: PUSH1 0x00 000006ae: DUP1 000006af: REVERT 000006b0: JUMPDEST 000006b1: PUSH2 0x06dc 000006b4: PUSH1 0x04 000006b6: DUP1 000006b7: DUP1 000006b8: CALLDATALOAD 000006b9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006ce: AND 000006cf: SWAP1 000006d0: PUSH1 0x20 000006d2: ADD 000006d3: SWAP1 000006d4: SWAP2 000006d5: SWAP1 000006d6: POP 000006d7: POP 000006d8: PUSH2 0x151d 000006db: JUMP 000006dc: JUMPDEST 000006dd: PUSH1 0x40 000006df: MLOAD 000006e0: DUP1 000006e1: DUP3 000006e2: DUP2 000006e3: MSTORE 000006e4: PUSH1 0x20 000006e6: ADD 000006e7: SWAP2 000006e8: POP 000006e9: POP 000006ea: PUSH1 0x40 000006ec: MLOAD 000006ed: DUP1 000006ee: SWAP2 000006ef: SUB 000006f0: SWAP1 000006f1: RETURN 000006f2: JUMPDEST 000006f3: PUSH2 0x06fa 000006f6: PUSH2 0x194a 000006f9: JUMP 000006fa: JUMPDEST 000006fb: PUSH1 0x00 000006fd: PUSH2 0x0704 00000700: PUSH2 0x194a 00000703: JUMP 00000704: JUMPDEST 00000705: PUSH1 0x00 00000707: PUSH1 0x01 00000709: PUSH1 0x00 0000070b: DUP7 0000070c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000721: AND 00000722: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000737: AND 00000738: DUP2 00000739: MSTORE 0000073a: PUSH1 0x20 0000073c: ADD 0000073d: SWAP1 0000073e: DUP2 0000073f: MSTORE 00000740: PUSH1 0x20 00000742: ADD 00000743: PUSH1 0x00 00000745: KECCAK256 00000746: DUP1 00000747: SLOAD 00000748: SWAP1 00000749: POP 0000074a: SWAP3 0000074b: POP 0000074c: DUP3 0000074d: PUSH1 0x40 0000074f: MLOAD 00000750: DUP1 00000751: MSIZE 00000752: LT 00000753: PUSH2 0x0759 00000756: JUMPI 00000757: POP 00000758: MSIZE 00000759: JUMPDEST 0000075a: SWAP1 0000075b: DUP1 0000075c: DUP3 0000075d: MSTORE 0000075e: DUP1 0000075f: PUSH1 0x20 00000761: MUL 00000762: PUSH1 0x20 00000764: ADD 00000765: DUP3 00000766: ADD 00000767: PUSH1 0x40 00000769: MSTORE 0000076a: JUMPDEST 0000076b: POP 0000076c: SWAP2 0000076d: POP 0000076e: PUSH1 0x00 00000770: SWAP1 00000771: POP 00000772: JUMPDEST 00000773: DUP3 00000774: DUP2 00000775: LT 00000776: ISZERO 00000777: PUSH2 0x0800 0000077a: JUMPI 0000077b: PUSH1 0x01 0000077d: PUSH1 0x00 0000077f: DUP7 00000780: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000795: AND 00000796: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007ab: AND 000007ac: DUP2 000007ad: MSTORE 000007ae: PUSH1 0x20 000007b0: ADD 000007b1: SWAP1 000007b2: DUP2 000007b3: MSTORE 000007b4: PUSH1 0x20 000007b6: ADD 000007b7: PUSH1 0x00 000007b9: KECCAK256 000007ba: DUP2 000007bb: DUP2 000007bc: SLOAD 000007bd: DUP2 000007be: LT 000007bf: ISZERO 000007c0: ISZERO 000007c1: PUSH2 0x07c6 000007c4: JUMPI 000007c5: INVALID 000007c6: JUMPDEST 000007c7: SWAP1 000007c8: PUSH1 0x00 000007ca: MSTORE 000007cb: PUSH1 0x20 000007cd: PUSH1 0x00 000007cf: KECCAK256 000007d0: SWAP1 000007d1: ADD 000007d2: PUSH1 0x00 000007d4: JUMPDEST 000007d5: POP 000007d6: SLOAD 000007d7: DUP3 000007d8: DUP3 000007d9: DUP2 000007da: MLOAD 000007db: DUP2 000007dc: LT 000007dd: ISZERO 000007de: ISZERO 000007df: PUSH2 0x07e4 000007e2: JUMPI 000007e3: INVALID 000007e4: JUMPDEST 000007e5: SWAP1 000007e6: PUSH1 0x20 000007e8: ADD 000007e9: SWAP1 000007ea: PUSH1 0x20 000007ec: MUL 000007ed: ADD 000007ee: DUP2 000007ef: DUP2 000007f0: MSTORE 000007f1: POP 000007f2: POP 000007f3: JUMPDEST 000007f4: DUP1 000007f5: DUP1 000007f6: PUSH1 0x01 000007f8: ADD 000007f9: SWAP2 000007fa: POP 000007fb: POP 000007fc: PUSH2 0x0772 000007ff: JUMP 00000800: JUMPDEST 00000801: DUP2 00000802: SWAP4 00000803: POP 00000804: JUMPDEST 00000805: POP 00000806: POP 00000807: POP 00000808: SWAP2 00000809: SWAP1 0000080a: POP 0000080b: JUMP 0000080c: JUMPDEST 0000080d: PUSH1 0x00 0000080f: DUP1 00000810: PUSH2 0x0819 00000813: CALLER 00000814: DUP5 00000815: PUSH2 0x1418 00000818: JUMP 00000819: JUMPDEST 0000081a: ISZERO 0000081b: ISZERO 0000081c: PUSH2 0x0824 0000081f: JUMPI 00000820: PUSH1 0x00 00000822: DUP1 00000823: REVERT 00000824: JUMPDEST 00000825: PUSH1 0x00 00000827: DUP1 00000828: DUP5 00000829: DUP2 0000082a: MSTORE 0000082b: PUSH1 0x20 0000082d: ADD 0000082e: SWAP1 0000082f: DUP2 00000830: MSTORE 00000831: PUSH1 0x20 00000833: ADD 00000834: PUSH1 0x00 00000836: KECCAK256 00000837: SWAP2 00000838: POP 00000839: PUSH1 0x00 0000083b: DUP3 0000083c: PUSH1 0x06 0000083e: ADD 0000083f: SLOAD 00000840: GT 00000841: ISZERO 00000842: ISZERO 00000843: PUSH2 0x084b 00000846: JUMPI 00000847: PUSH1 0x00 00000849: DUP1 0000084a: REVERT 0000084b: JUMPDEST 0000084c: PUSH1 0x00 0000084e: DUP3 0000084f: PUSH1 0x05 00000851: ADD 00000852: PUSH1 0x00 00000854: SWAP1 00000855: SLOAD 00000856: SWAP1 00000857: PUSH2 0x0100 0000085a: EXP 0000085b: SWAP1 0000085c: DIV 0000085d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000872: AND 00000873: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000888: AND 00000889: EQ 0000088a: ISZERO 0000088b: ISZERO 0000088c: ISZERO 0000088d: PUSH2 0x0895 00000890: JUMPI 00000891: PUSH1 0x00 00000893: DUP1 00000894: REVERT 00000895: JUMPDEST 00000896: DUP2 00000897: PUSH1 0x06 00000899: ADD 0000089a: SLOAD 0000089b: SWAP1 0000089c: POP 0000089d: PUSH2 0x08ca 000008a0: DUP2 000008a1: DUP4 000008a2: PUSH1 0x00 000008a4: ADD 000008a5: PUSH1 0x00 000008a7: SWAP1 000008a8: SLOAD 000008a9: SWAP1 000008aa: PUSH2 0x0100 000008ad: EXP 000008ae: SWAP1 000008af: DIV 000008b0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008c5: AND 000008c6: PUSH2 0x1535 000008c9: JUMP 000008ca: JUMPDEST 000008cb: PUSH2 0x091d 000008ce: DUP4 000008cf: DUP4 000008d0: PUSH1 0x00 000008d2: ADD 000008d3: PUSH1 0x00 000008d5: SWAP1 000008d6: SLOAD 000008d7: SWAP1 000008d8: PUSH2 0x0100 000008db: EXP 000008dc: SWAP1 000008dd: DIV 000008de: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008f3: AND 000008f4: DUP5 000008f5: PUSH1 0x05 000008f7: ADD 000008f8: PUSH1 0x00 000008fa: SWAP1 000008fb: SLOAD 000008fc: SWAP1 000008fd: PUSH2 0x0100 00000900: EXP 00000901: SWAP1 00000902: DIV 00000903: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000918: AND 00000919: PUSH2 0x15ab 0000091c: JUMP 0000091d: JUMPDEST 0000091e: PUSH1 0x00 00000920: DUP3 00000921: PUSH1 0x05 00000923: ADD 00000924: PUSH1 0x00 00000926: PUSH2 0x0100 00000929: EXP 0000092a: DUP2 0000092b: SLOAD 0000092c: DUP2 0000092d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000942: MUL 00000943: NOT 00000944: AND 00000945: SWAP1 00000946: DUP4 00000947: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000095c: AND 0000095d: MUL 0000095e: OR 0000095f: SWAP1 00000960: SSTORE 00000961: POP 00000962: PUSH1 0x00 00000964: DUP3 00000965: PUSH1 0x06 00000967: ADD 00000968: DUP2 00000969: SWAP1 0000096a: SSTORE 0000096b: POP 0000096c: DUP3 0000096d: PUSH32 0xeeb046b305fcff3538cfdefcb3ce223663ef84836df9830a1de00bc00817631e 0000098e: DUP3 0000098f: PUSH1 0x40 00000991: MLOAD 00000992: DUP1 00000993: DUP3 00000994: DUP2 00000995: MSTORE 00000996: PUSH1 0x20 00000998: ADD 00000999: SWAP2 0000099a: POP 0000099b: POP 0000099c: PUSH1 0x40 0000099e: MLOAD 0000099f: DUP1 000009a0: SWAP2 000009a1: SUB 000009a2: SWAP1 000009a3: LOG2 000009a4: JUMPDEST 000009a5: POP 000009a6: POP 000009a7: POP 000009a8: JUMP 000009a9: JUMPDEST 000009aa: PUSH1 0x00 000009ac: DUP1 000009ad: PUSH1 0x00 000009af: DUP4 000009b0: DUP2 000009b1: MSTORE 000009b2: PUSH1 0x20 000009b4: ADD 000009b5: SWAP1 000009b6: DUP2 000009b7: MSTORE 000009b8: PUSH1 0x20 000009ba: ADD 000009bb: PUSH1 0x00 000009bd: KECCAK256 000009be: PUSH1 0x03 000009c0: ADD 000009c1: PUSH1 0x00 000009c3: SWAP1 000009c4: SLOAD 000009c5: SWAP1 000009c6: PUSH2 0x0100 000009c9: EXP 000009ca: SWAP1 000009cb: DIV 000009cc: PUSH1 0xff 000009ce: AND 000009cf: SWAP1 000009d0: POP 000009d1: JUMPDEST 000009d2: SWAP2 000009d3: SWAP1 000009d4: POP 000009d5: JUMP 000009d6: JUMPDEST 000009d7: PUSH2 0x09df 000009da: DUP2 000009db: PUSH2 0x14c5 000009de: JUMP 000009df: JUMPDEST 000009e0: ISZERO 000009e1: ISZERO 000009e2: ISZERO 000009e3: PUSH2 0x09eb 000009e6: JUMPI 000009e7: PUSH1 0x00 000009e9: DUP1 000009ea: REVERT 000009eb: JUMPDEST 000009ec: PUSH2 0x09f5 000009ef: CALLER 000009f0: DUP3 000009f1: PUSH2 0x1418 000009f4: JUMP 000009f5: JUMPDEST 000009f6: ISZERO 000009f7: ISZERO 000009f8: ISZERO 000009f9: PUSH2 0x0a01 000009fc: JUMPI 000009fd: PUSH1 0x00 000009ff: DUP1 00000a00: REVERT 00000a01: JUMPDEST 00000a02: PUSH1 0xe0 00000a04: PUSH1 0x40 00000a06: MLOAD 00000a07: SWAP1 00000a08: DUP2 00000a09: ADD 00000a0a: PUSH1 0x40 00000a0c: MSTORE 00000a0d: DUP1 00000a0e: CALLER 00000a0f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a24: AND 00000a25: DUP2 00000a26: MSTORE 00000a27: PUSH1 0x20 00000a29: ADD 00000a2a: PUSH1 0x00 00000a2c: DUP2 00000a2d: MSTORE 00000a2e: PUSH1 0x20 00000a30: ADD 00000a31: PUSH1 0x20 00000a33: PUSH1 0x40 00000a35: MLOAD 00000a36: SWAP1 00000a37: DUP2 00000a38: ADD 00000a39: PUSH1 0x40 00000a3b: MSTORE 00000a3c: DUP1 00000a3d: PUSH1 0x00 00000a3f: DUP2 00000a40: MSTORE 00000a41: POP 00000a42: DUP2 00000a43: MSTORE 00000a44: PUSH1 0x20 00000a46: ADD 00000a47: PUSH1 0x00 00000a49: ISZERO 00000a4a: ISZERO 00000a4b: DUP2 00000a4c: MSTORE 00000a4d: PUSH1 0x20 00000a4f: ADD 00000a50: PUSH1 0x00 00000a52: DUP2 00000a53: MSTORE 00000a54: PUSH1 0x20 00000a56: ADD 00000a57: PUSH1 0x00 00000a59: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a6e: AND 00000a6f: DUP2 00000a70: MSTORE 00000a71: PUSH1 0x20 00000a73: ADD 00000a74: PUSH1 0x00 00000a76: DUP2 00000a77: MSTORE 00000a78: POP 00000a79: PUSH1 0x00 00000a7b: DUP1 00000a7c: DUP4 00000a7d: DUP2 00000a7e: MSTORE 00000a7f: PUSH1 0x20 00000a81: ADD 00000a82: SWAP1 00000a83: DUP2 00000a84: MSTORE 00000a85: PUSH1 0x20 00000a87: ADD 00000a88: PUSH1 0x00 00000a8a: KECCAK256 00000a8b: PUSH1 0x00 00000a8d: DUP3 00000a8e: ADD 00000a8f: MLOAD 00000a90: DUP2 00000a91: PUSH1 0x00 00000a93: ADD 00000a94: PUSH1 0x00 00000a96: PUSH2 0x0100 00000a99: EXP 00000a9a: DUP2 00000a9b: SLOAD 00000a9c: DUP2 00000a9d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ab2: MUL 00000ab3: NOT 00000ab4: AND 00000ab5: SWAP1 00000ab6: DUP4 00000ab7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000acc: AND 00000acd: MUL 00000ace: OR 00000acf: SWAP1 00000ad0: SSTORE 00000ad1: POP 00000ad2: PUSH1 0x20 00000ad4: DUP3 00000ad5: ADD 00000ad6: MLOAD 00000ad7: DUP2 00000ad8: PUSH1 0x01 00000ada: ADD 00000adb: SSTORE 00000adc: PUSH1 0x40 00000ade: DUP3 00000adf: ADD 00000ae0: MLOAD 00000ae1: DUP2 00000ae2: PUSH1 0x02 00000ae4: ADD 00000ae5: SWAP1 00000ae6: DUP1 00000ae7: MLOAD 00000ae8: SWAP1 00000ae9: PUSH1 0x20 00000aeb: ADD 00000aec: SWAP1 00000aed: PUSH2 0x0af7 00000af0: SWAP3 00000af1: SWAP2 00000af2: SWAP1 00000af3: PUSH2 0x195e 00000af6: JUMP 00000af7: JUMPDEST 00000af8: POP 00000af9: PUSH1 0x60 00000afb: DUP3 00000afc: ADD 00000afd: MLOAD 00000afe: DUP2 00000aff: PUSH1 0x03 00000b01: ADD 00000b02: PUSH1 0x00 00000b04: PUSH2 0x0100 00000b07: EXP 00000b08: DUP2 00000b09: SLOAD 00000b0a: DUP2 00000b0b: PUSH1 0xff 00000b0d: MUL 00000b0e: NOT 00000b0f: AND 00000b10: SWAP1 00000b11: DUP4 00000b12: ISZERO 00000b13: ISZERO 00000b14: MUL 00000b15: OR 00000b16: SWAP1 00000b17: SSTORE 00000b18: POP 00000b19: PUSH1 0x80 00000b1b: DUP3 00000b1c: ADD 00000b1d: MLOAD 00000b1e: DUP2 00000b1f: PUSH1 0x04 00000b21: ADD 00000b22: SSTORE 00000b23: PUSH1 0xa0 00000b25: DUP3 00000b26: ADD 00000b27: MLOAD 00000b28: DUP2 00000b29: PUSH1 0x05 00000b2b: ADD 00000b2c: PUSH1 0x00 00000b2e: PUSH2 0x0100 00000b31: EXP 00000b32: DUP2 00000b33: SLOAD 00000b34: DUP2 00000b35: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b4a: MUL 00000b4b: NOT 00000b4c: AND 00000b4d: SWAP1 00000b4e: DUP4 00000b4f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b64: AND 00000b65: MUL 00000b66: OR 00000b67: SWAP1 00000b68: SSTORE 00000b69: POP 00000b6a: PUSH1 0xc0 00000b6c: DUP3 00000b6d: ADD 00000b6e: MLOAD 00000b6f: DUP2 00000b70: PUSH1 0x06 00000b72: ADD 00000b73: SSTORE 00000b74: SWAP1 00000b75: POP 00000b76: POP 00000b77: PUSH1 0x01 00000b79: PUSH1 0x00 00000b7b: CALLER 00000b7c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b91: AND 00000b92: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ba7: AND 00000ba8: DUP2 00000ba9: MSTORE 00000baa: PUSH1 0x20 00000bac: ADD 00000bad: SWAP1 00000bae: DUP2 00000baf: MSTORE 00000bb0: PUSH1 0x20 00000bb2: ADD 00000bb3: PUSH1 0x00 00000bb5: KECCAK256 00000bb6: DUP1 00000bb7: SLOAD 00000bb8: DUP1 00000bb9: PUSH1 0x01 00000bbb: ADD 00000bbc: DUP3 00000bbd: DUP2 00000bbe: PUSH2 0x0bc7 00000bc1: SWAP2 00000bc2: SWAP1 00000bc3: PUSH2 0x19de 00000bc6: JUMP 00000bc7: JUMPDEST 00000bc8: SWAP2 00000bc9: PUSH1 0x00 00000bcb: MSTORE 00000bcc: PUSH1 0x20 00000bce: PUSH1 0x00 00000bd0: KECCAK256 00000bd1: SWAP1 00000bd2: ADD 00000bd3: PUSH1 0x00 00000bd5: JUMPDEST 00000bd6: DUP4 00000bd7: SWAP1 00000bd8: SWAP2 00000bd9: SWAP1 00000bda: SWAP2 00000bdb: POP 00000bdc: SSTORE 00000bdd: POP 00000bde: PUSH1 0x01 00000be0: DUP1 00000be1: PUSH1 0x00 00000be3: CALLER 00000be4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bf9: AND 00000bfa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c0f: AND 00000c10: DUP2 00000c11: MSTORE 00000c12: PUSH1 0x20 00000c14: ADD 00000c15: SWAP1 00000c16: DUP2 00000c17: MSTORE 00000c18: PUSH1 0x20 00000c1a: ADD 00000c1b: PUSH1 0x00 00000c1d: KECCAK256 00000c1e: DUP1 00000c1f: SLOAD 00000c20: SWAP1 00000c21: POP 00000c22: SUB 00000c23: PUSH1 0x00 00000c25: DUP1 00000c26: DUP4 00000c27: DUP2 00000c28: MSTORE 00000c29: PUSH1 0x20 00000c2b: ADD 00000c2c: SWAP1 00000c2d: DUP2 00000c2e: MSTORE 00000c2f: PUSH1 0x20 00000c31: ADD 00000c32: PUSH1 0x00 00000c34: KECCAK256 00000c35: PUSH1 0x01 00000c37: ADD 00000c38: DUP2 00000c39: SWAP1 00000c3a: SSTORE 00000c3b: POP 00000c3c: DUP1 00000c3d: PUSH32 0x9ada7a4ceef780fdb0068b7de6d49551c1922466a3fdb952554f20aee9cfaa4f 00000c5e: PUSH1 0x40 00000c60: MLOAD 00000c61: PUSH1 0x40 00000c63: MLOAD 00000c64: DUP1 00000c65: SWAP2 00000c66: SUB 00000c67: SWAP1 00000c68: LOG2 00000c69: JUMPDEST 00000c6a: POP 00000c6b: JUMP 00000c6c: JUMPDEST 00000c6d: PUSH1 0x00 00000c6f: PUSH1 0x05 00000c71: PUSH1 0x00 00000c73: SWAP1 00000c74: SLOAD 00000c75: SWAP1 00000c76: PUSH2 0x0100 00000c79: EXP 00000c7a: SWAP1 00000c7b: DIV 00000c7c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c91: AND 00000c92: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ca7: AND 00000ca8: CALLER 00000ca9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cbe: AND 00000cbf: EQ 00000cc0: ISZERO 00000cc1: ISZERO 00000cc2: PUSH2 0x0cca 00000cc5: JUMPI 00000cc6: PUSH1 0x00 00000cc8: DUP1 00000cc9: REVERT 00000cca: JUMPDEST 00000ccb: PUSH1 0x02 00000ccd: SLOAD 00000cce: SWAP1 00000ccf: POP 00000cd0: PUSH1 0x00 00000cd2: PUSH1 0x02 00000cd4: DUP2 00000cd5: SWAP1 00000cd6: SSTORE 00000cd7: POP 00000cd8: CALLER 00000cd9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cee: AND 00000cef: PUSH2 0x08fc 00000cf2: DUP3 00000cf3: SWAP1 00000cf4: DUP2 00000cf5: ISZERO 00000cf6: MUL 00000cf7: SWAP1 00000cf8: PUSH1 0x40 00000cfa: MLOAD 00000cfb: PUSH1 0x00 00000cfd: PUSH1 0x40 00000cff: MLOAD 00000d00: DUP1 00000d01: DUP4 00000d02: SUB 00000d03: DUP2 00000d04: DUP6 00000d05: DUP9 00000d06: DUP9 00000d07: CALL 00000d08: SWAP4 00000d09: POP 00000d0a: POP 00000d0b: POP 00000d0c: POP 00000d0d: ISZERO 00000d0e: ISZERO 00000d0f: PUSH2 0x0d17 00000d12: JUMPI 00000d13: PUSH1 0x00 00000d15: DUP1 00000d16: REVERT 00000d17: JUMPDEST 00000d18: JUMPDEST 00000d19: POP 00000d1a: JUMP 00000d1b: JUMPDEST 00000d1c: PUSH1 0x03 00000d1e: PUSH1 0x20 00000d20: MSTORE 00000d21: DUP1 00000d22: PUSH1 0x00 00000d24: MSTORE 00000d25: PUSH1 0x40 00000d27: PUSH1 0x00 00000d29: KECCAK256 00000d2a: PUSH1 0x00 00000d2c: SWAP2 00000d2d: POP 00000d2e: SWAP1 00000d2f: POP 00000d30: SLOAD 00000d31: DUP2 00000d32: JUMP 00000d33: JUMPDEST 00000d34: PUSH1 0x00 00000d36: PUSH2 0x0d3f 00000d39: CALLER 00000d3a: DUP5 00000d3b: PUSH2 0x1418 00000d3e: JUMP 00000d3f: JUMPDEST 00000d40: ISZERO 00000d41: ISZERO 00000d42: PUSH2 0x0d4a 00000d45: JUMPI 00000d46: PUSH1 0x00 00000d48: DUP1 00000d49: REVERT 00000d4a: JUMPDEST 00000d4b: PUSH7 0x038d7ea4c68000 00000d53: DUP3 00000d54: LT 00000d55: ISZERO 00000d56: ISZERO 00000d57: ISZERO 00000d58: PUSH2 0x0d60 00000d5b: JUMPI 00000d5c: PUSH1 0x00 00000d5e: DUP1 00000d5f: REVERT 00000d60: JUMPDEST 00000d61: PUSH1 0x00 00000d63: DUP1 00000d64: DUP5 00000d65: DUP2 00000d66: MSTORE 00000d67: PUSH1 0x20 00000d69: ADD 00000d6a: SWAP1 00000d6b: DUP2 00000d6c: MSTORE 00000d6d: PUSH1 0x20 00000d6f: ADD 00000d70: PUSH1 0x00 00000d72: KECCAK256 00000d73: SWAP1 00000d74: POP 00000d75: DUP2 00000d76: DUP2 00000d77: PUSH1 0x04 00000d79: ADD 00000d7a: DUP2 00000d7b: SWAP1 00000d7c: SSTORE 00000d7d: POP 00000d7e: PUSH1 0x01 00000d80: DUP2 00000d81: PUSH1 0x03 00000d83: ADD 00000d84: PUSH1 0x00 00000d86: PUSH2 0x0100 00000d89: EXP 00000d8a: DUP2 00000d8b: SLOAD 00000d8c: DUP2 00000d8d: PUSH1 0xff 00000d8f: MUL 00000d90: NOT 00000d91: AND 00000d92: SWAP1 00000d93: DUP4 00000d94: ISZERO 00000d95: ISZERO 00000d96: MUL 00000d97: OR 00000d98: SWAP1 00000d99: SSTORE 00000d9a: POP 00000d9b: DUP3 00000d9c: PUSH32 0xa0f1665b7b659537b52deec61ea64d134a3bccda74c7f4e79f2246e7a8187a8a 00000dbd: DUP4 00000dbe: PUSH1 0x40 00000dc0: MLOAD 00000dc1: DUP1 00000dc2: DUP3 00000dc3: DUP2 00000dc4: MSTORE 00000dc5: PUSH1 0x20 00000dc7: ADD 00000dc8: SWAP2 00000dc9: POP 00000dca: POP 00000dcb: PUSH1 0x40 00000dcd: MLOAD 00000dce: DUP1 00000dcf: SWAP2 00000dd0: SUB 00000dd1: SWAP1 00000dd2: LOG2 00000dd3: JUMPDEST 00000dd4: POP 00000dd5: POP 00000dd6: POP 00000dd7: JUMP 00000dd8: JUMPDEST 00000dd9: PUSH1 0x01 00000ddb: PUSH1 0x20 00000ddd: MSTORE 00000dde: DUP2 00000ddf: PUSH1 0x00 00000de1: MSTORE 00000de2: PUSH1 0x40 00000de4: PUSH1 0x00 00000de6: KECCAK256 00000de7: DUP2 00000de8: DUP2 00000de9: SLOAD 00000dea: DUP2 00000deb: LT 00000dec: ISZERO 00000ded: ISZERO 00000dee: PUSH2 0x0df3 00000df1: JUMPI 00000df2: INVALID 00000df3: JUMPDEST 00000df4: SWAP1 00000df5: PUSH1 0x00 00000df7: MSTORE 00000df8: PUSH1 0x20 00000dfa: PUSH1 0x00 00000dfc: KECCAK256 00000dfd: SWAP1 00000dfe: ADD 00000dff: PUSH1 0x00 00000e01: JUMPDEST 00000e02: SWAP2 00000e03: POP 00000e04: SWAP2 00000e05: POP 00000e06: POP 00000e07: SLOAD 00000e08: DUP2 00000e09: JUMP 00000e0a: JUMPDEST 00000e0b: PUSH2 0x0e14 00000e0e: CALLER 00000e0f: DUP4 00000e10: PUSH2 0x1418 00000e13: JUMP 00000e14: JUMPDEST 00000e15: ISZERO 00000e16: ISZERO 00000e17: PUSH2 0x0e1f 00000e1a: JUMPI 00000e1b: PUSH1 0x00 00000e1d: DUP1 00000e1e: REVERT 00000e1f: JUMPDEST 00000e20: DUP1 00000e21: PUSH1 0x00 00000e23: DUP1 00000e24: DUP5 00000e25: DUP2 00000e26: MSTORE 00000e27: PUSH1 0x20 00000e29: ADD 00000e2a: SWAP1 00000e2b: DUP2 00000e2c: MSTORE 00000e2d: PUSH1 0x20 00000e2f: ADD 00000e30: PUSH1 0x00 00000e32: KECCAK256 00000e33: PUSH1 0x02 00000e35: ADD 00000e36: SWAP1 00000e37: DUP1 00000e38: MLOAD 00000e39: SWAP1 00000e3a: PUSH1 0x20 00000e3c: ADD 00000e3d: SWAP1 00000e3e: PUSH2 0x0e48 00000e41: SWAP3 00000e42: SWAP2 00000e43: SWAP1 00000e44: PUSH2 0x1a0a 00000e47: JUMP 00000e48: JUMPDEST 00000e49: POP 00000e4a: JUMPDEST 00000e4b: POP 00000e4c: POP 00000e4d: JUMP 00000e4e: JUMPDEST 00000e4f: PUSH1 0x00 00000e51: PUSH2 0x0e59 00000e54: DUP3 00000e55: PUSH2 0x14c5 00000e58: JUMP 00000e59: JUMPDEST 00000e5a: ISZERO 00000e5b: ISZERO 00000e5c: PUSH2 0x0e64 00000e5f: JUMPI 00000e60: PUSH1 0x00 00000e62: DUP1 00000e63: REVERT 00000e64: JUMPDEST 00000e65: PUSH2 0x0e6e 00000e68: CALLER 00000e69: DUP4 00000e6a: PUSH2 0x1418 00000e6d: JUMP 00000e6e: JUMPDEST 00000e6f: ISZERO 00000e70: ISZERO 00000e71: ISZERO 00000e72: PUSH2 0x0e7a 00000e75: JUMPI 00000e76: PUSH1 0x00 00000e78: DUP1 00000e79: REVERT 00000e7a: JUMPDEST 00000e7b: PUSH7 0x038d7ea4c68000 00000e83: CALLVALUE 00000e84: LT 00000e85: ISZERO 00000e86: ISZERO 00000e87: ISZERO 00000e88: PUSH2 0x0e90 00000e8b: JUMPI 00000e8c: PUSH1 0x00 00000e8e: DUP1 00000e8f: REVERT 00000e90: JUMPDEST 00000e91: PUSH1 0x00 00000e93: DUP1 00000e94: DUP4 00000e95: DUP2 00000e96: MSTORE 00000e97: PUSH1 0x20 00000e99: ADD 00000e9a: SWAP1 00000e9b: DUP2 00000e9c: MSTORE 00000e9d: PUSH1 0x20 00000e9f: ADD 00000ea0: PUSH1 0x00 00000ea2: KECCAK256 00000ea3: SWAP1 00000ea4: POP 00000ea5: PUSH7 0x038d7ea4c68000 00000ead: DUP2 00000eae: PUSH1 0x06 00000eb0: ADD 00000eb1: SLOAD 00000eb2: ADD 00000eb3: CALLVALUE 00000eb4: GT 00000eb5: ISZERO 00000eb6: ISZERO 00000eb7: PUSH2 0x0ebf 00000eba: JUMPI 00000ebb: PUSH1 0x00 00000ebd: DUP1 00000ebe: REVERT 00000ebf: JUMPDEST 00000ec0: DUP1 00000ec1: PUSH1 0x06 00000ec3: ADD 00000ec4: SLOAD 00000ec5: PUSH1 0x04 00000ec7: PUSH1 0x00 00000ec9: DUP4 00000eca: PUSH1 0x05 00000ecc: ADD 00000ecd: PUSH1 0x00 00000ecf: SWAP1 00000ed0: SLOAD 00000ed1: SWAP1 00000ed2: PUSH2 0x0100 00000ed5: EXP 00000ed6: SWAP1 00000ed7: DIV 00000ed8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000eed: AND 00000eee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f03: AND 00000f04: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f19: AND 00000f1a: DUP2 00000f1b: MSTORE 00000f1c: PUSH1 0x20 00000f1e: ADD 00000f1f: SWAP1 00000f20: DUP2 00000f21: MSTORE 00000f22: PUSH1 0x20 00000f24: ADD 00000f25: PUSH1 0x00 00000f27: KECCAK256 00000f28: PUSH1 0x00 00000f2a: DUP3 00000f2b: DUP3 00000f2c: SLOAD 00000f2d: ADD 00000f2e: SWAP3 00000f2f: POP 00000f30: POP 00000f31: DUP2 00000f32: SWAP1 00000f33: SSTORE 00000f34: POP 00000f35: CALLVALUE 00000f36: DUP2 00000f37: PUSH1 0x06 00000f39: ADD 00000f3a: DUP2 00000f3b: SWAP1 00000f3c: SSTORE 00000f3d: POP 00000f3e: CALLER 00000f3f: DUP2 00000f40: PUSH1 0x05 00000f42: ADD 00000f43: PUSH1 0x00 00000f45: PUSH2 0x0100 00000f48: EXP 00000f49: DUP2 00000f4a: SLOAD 00000f4b: DUP2 00000f4c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f61: MUL 00000f62: NOT 00000f63: AND 00000f64: SWAP1 00000f65: DUP4 00000f66: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f7b: AND 00000f7c: MUL 00000f7d: OR 00000f7e: SWAP1 00000f7f: SSTORE 00000f80: POP 00000f81: DUP2 00000f82: PUSH32 0x0fc69407039e8ba8cdd517e2a4cae9dd19697b0a500ff37a2425c59ebc649b31 00000fa3: CALLVALUE 00000fa4: PUSH1 0x40 00000fa6: MLOAD 00000fa7: DUP1 00000fa8: DUP3 00000fa9: DUP2 00000faa: MSTORE 00000fab: PUSH1 0x20 00000fad: ADD 00000fae: SWAP2 00000faf: POP 00000fb0: POP 00000fb1: PUSH1 0x40 00000fb3: MLOAD 00000fb4: DUP1 00000fb5: SWAP2 00000fb6: SUB 00000fb7: SWAP1 00000fb8: LOG2 00000fb9: JUMPDEST 00000fba: POP 00000fbb: POP 00000fbc: JUMP 00000fbd: JUMPDEST 00000fbe: PUSH1 0x00 00000fc0: DUP2 00000fc1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fd6: AND 00000fd7: PUSH1 0x00 00000fd9: DUP1 00000fda: DUP6 00000fdb: DUP2 00000fdc: MSTORE 00000fdd: PUSH1 0x20 00000fdf: ADD 00000fe0: SWAP1 00000fe1: DUP2 00000fe2: MSTORE 00000fe3: PUSH1 0x20 00000fe5: ADD 00000fe6: PUSH1 0x00 00000fe8: KECCAK256 00000fe9: PUSH1 0x00 00000feb: ADD 00000fec: PUSH1 0x00 00000fee: SWAP1 00000fef: SLOAD 00000ff0: SWAP1 00000ff1: PUSH2 0x0100 00000ff4: EXP 00000ff5: SWAP1 00000ff6: DIV 00000ff7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000100c: AND 0000100d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001022: AND 00001023: EQ 00001024: ISZERO 00001025: DUP1 00001026: ISZERO 00001027: PUSH2 0x1035 0000102a: JUMPI 0000102b: POP 0000102c: PUSH2 0x1034 0000102f: DUP4 00001030: PUSH2 0x09a9 00001033: JUMP 00001034: JUMPDEST 00001035: JUMPDEST 00001036: SWAP1 00001037: POP 00001038: JUMPDEST 00001039: SWAP3 0000103a: SWAP2 0000103b: POP 0000103c: POP 0000103d: JUMP 0000103e: JUMPDEST 0000103f: PUSH1 0x00 00001041: DUP1 00001042: PUSH1 0x00 00001044: DUP1 00001045: DUP5 00001046: DUP2 00001047: MSTORE 00001048: PUSH1 0x20 0000104a: ADD 0000104b: SWAP1 0000104c: DUP2 0000104d: MSTORE 0000104e: PUSH1 0x20 00001050: ADD 00001051: PUSH1 0x00 00001053: KECCAK256 00001054: SWAP2 00001055: POP 00001056: DUP2 00001057: PUSH1 0x05 00001059: ADD 0000105a: PUSH1 0x00 0000105c: SWAP1 0000105d: SLOAD 0000105e: SWAP1 0000105f: PUSH2 0x0100 00001062: EXP 00001063: SWAP1 00001064: DIV 00001065: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000107a: AND 0000107b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001090: AND 00001091: CALLER 00001092: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010a7: AND 000010a8: EQ 000010a9: ISZERO 000010aa: ISZERO 000010ab: PUSH2 0x10b3 000010ae: JUMPI 000010af: PUSH1 0x00 000010b1: DUP1 000010b2: REVERT 000010b3: JUMPDEST 000010b4: DUP2 000010b5: PUSH1 0x06 000010b7: ADD 000010b8: SLOAD 000010b9: SWAP1 000010ba: POP 000010bb: PUSH2 0x10c3 000010be: DUP4 000010bf: PUSH2 0x1841 000010c2: JUMP 000010c3: JUMPDEST 000010c4: DUP3 000010c5: PUSH32 0x2a0a5f509bc9b1f09c4172bec62e98d404d2f98b3977aa9b9a2bb243671f5fe2 000010e6: DUP3 000010e7: PUSH1 0x40 000010e9: MLOAD 000010ea: DUP1 000010eb: DUP3 000010ec: DUP2 000010ed: MSTORE 000010ee: PUSH1 0x20 000010f0: ADD 000010f1: SWAP2 000010f2: POP 000010f3: POP 000010f4: PUSH1 0x40 000010f6: MLOAD 000010f7: DUP1 000010f8: SWAP2 000010f9: SUB 000010fa: SWAP1 000010fb: LOG2 000010fc: JUMPDEST 000010fd: POP 000010fe: POP 000010ff: POP 00001100: JUMP 00001101: JUMPDEST 00001102: PUSH1 0x00 00001104: PUSH1 0x20 00001106: MSTORE 00001107: DUP1 00001108: PUSH1 0x00 0000110a: MSTORE 0000110b: PUSH1 0x40 0000110d: PUSH1 0x00 0000110f: KECCAK256 00001110: PUSH1 0x00 00001112: SWAP2 00001113: POP 00001114: SWAP1 00001115: POP 00001116: DUP1 00001117: PUSH1 0x00 00001119: ADD 0000111a: PUSH1 0x00 0000111c: SWAP1 0000111d: SLOAD 0000111e: SWAP1 0000111f: PUSH2 0x0100 00001122: EXP 00001123: SWAP1 00001124: DIV 00001125: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000113a: AND 0000113b: SWAP1 0000113c: DUP1 0000113d: PUSH1 0x01 0000113f: ADD 00001140: SLOAD 00001141: SWAP1 00001142: DUP1 00001143: PUSH1 0x02 00001145: ADD 00001146: SWAP1 00001147: DUP1 00001148: PUSH1 0x03 0000114a: ADD 0000114b: PUSH1 0x00 0000114d: SWAP1 0000114e: SLOAD 0000114f: SWAP1 00001150: PUSH2 0x0100 00001153: EXP 00001154: SWAP1 00001155: DIV 00001156: PUSH1 0xff 00001158: AND 00001159: SWAP1 0000115a: DUP1 0000115b: PUSH1 0x04 0000115d: ADD 0000115e: SLOAD 0000115f: SWAP1 00001160: DUP1 00001161: PUSH1 0x05 00001163: ADD 00001164: PUSH1 0x00 00001166: SWAP1 00001167: SLOAD 00001168: SWAP1 00001169: PUSH2 0x0100 0000116c: EXP 0000116d: SWAP1 0000116e: DIV 0000116f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001184: AND 00001185: SWAP1 00001186: DUP1 00001187: PUSH1 0x06 00001189: ADD 0000118a: SLOAD 0000118b: SWAP1 0000118c: POP 0000118d: DUP8 0000118e: JUMP 0000118f: JUMPDEST 00001190: PUSH1 0x00 00001192: PUSH1 0x03 00001194: PUSH1 0x00 00001196: CALLER 00001197: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011ac: AND 000011ad: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011c2: AND 000011c3: DUP2 000011c4: MSTORE 000011c5: PUSH1 0x20 000011c7: ADD 000011c8: SWAP1 000011c9: DUP2 000011ca: MSTORE 000011cb: PUSH1 0x20 000011cd: ADD 000011ce: PUSH1 0x00 000011d0: KECCAK256 000011d1: SLOAD 000011d2: SWAP1 000011d3: POP 000011d4: PUSH1 0x00 000011d6: PUSH1 0x03 000011d8: PUSH1 0x00 000011da: CALLER 000011db: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011f0: AND 000011f1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001206: AND 00001207: DUP2 00001208: MSTORE 00001209: PUSH1 0x20 0000120b: ADD 0000120c: SWAP1 0000120d: DUP2 0000120e: MSTORE 0000120f: PUSH1 0x20 00001211: ADD 00001212: PUSH1 0x00 00001214: KECCAK256 00001215: DUP2 00001216: SWAP1 00001217: SSTORE 00001218: POP 00001219: CALLER 0000121a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000122f: AND 00001230: PUSH2 0x08fc 00001233: DUP3 00001234: SWAP1 00001235: DUP2 00001236: ISZERO 00001237: MUL 00001238: SWAP1 00001239: PUSH1 0x40 0000123b: MLOAD 0000123c: PUSH1 0x00 0000123e: PUSH1 0x40 00001240: MLOAD 00001241: DUP1 00001242: DUP4 00001243: SUB 00001244: DUP2 00001245: DUP6 00001246: DUP9 00001247: DUP9 00001248: CALL 00001249: SWAP4 0000124a: POP 0000124b: POP 0000124c: POP 0000124d: POP 0000124e: ISZERO 0000124f: ISZERO 00001250: PUSH2 0x1258 00001253: JUMPI 00001254: PUSH1 0x00 00001256: DUP1 00001257: REVERT 00001258: JUMPDEST 00001259: JUMPDEST 0000125a: POP 0000125b: JUMP 0000125c: JUMPDEST 0000125d: PUSH1 0x00 0000125f: PUSH2 0x1268 00001262: DUP3 00001263: CALLER 00001264: PUSH2 0x0fbd 00001267: JUMP 00001268: JUMPDEST 00001269: ISZERO 0000126a: ISZERO 0000126b: PUSH2 0x1273 0000126e: JUMPI 0000126f: PUSH1 0x00 00001271: DUP1 00001272: REVERT 00001273: JUMPDEST 00001274: PUSH1 0x00 00001276: DUP1 00001277: DUP4 00001278: DUP2 00001279: MSTORE 0000127a: PUSH1 0x20 0000127c: ADD 0000127d: SWAP1 0000127e: DUP2 0000127f: MSTORE 00001280: PUSH1 0x20 00001282: ADD 00001283: PUSH1 0x00 00001285: KECCAK256 00001286: SWAP1 00001287: POP 00001288: DUP1 00001289: PUSH1 0x04 0000128b: ADD 0000128c: SLOAD 0000128d: CALLVALUE 0000128e: EQ 0000128f: ISZERO 00001290: ISZERO 00001291: PUSH2 0x1299 00001294: JUMPI 00001295: PUSH1 0x00 00001297: DUP1 00001298: REVERT 00001299: JUMPDEST 0000129a: PUSH2 0x12c7 0000129d: CALLVALUE 0000129e: DUP3 0000129f: PUSH1 0x00 000012a1: ADD 000012a2: PUSH1 0x00 000012a4: SWAP1 000012a5: SLOAD 000012a6: SWAP1 000012a7: PUSH2 0x0100 000012aa: EXP 000012ab: SWAP1 000012ac: DIV 000012ad: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012c2: AND 000012c3: PUSH2 0x1535 000012c6: JUMP 000012c7: JUMPDEST 000012c8: PUSH2 0x12d0 000012cb: DUP3 000012cc: PUSH2 0x1841 000012cf: JUMP 000012d0: JUMPDEST 000012d1: PUSH2 0x12ff 000012d4: DUP3 000012d5: DUP3 000012d6: PUSH1 0x00 000012d8: ADD 000012d9: PUSH1 0x00 000012db: SWAP1 000012dc: SLOAD 000012dd: SWAP1 000012de: PUSH2 0x0100 000012e1: EXP 000012e2: SWAP1 000012e3: DIV 000012e4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012f9: AND 000012fa: CALLER 000012fb: PUSH2 0x15ab 000012fe: JUMP 000012ff: JUMPDEST 00001300: PUSH2 0x1308 00001303: DUP2 00001304: PUSH2 0x191f 00001307: JUMP 00001308: JUMPDEST 00001309: DUP2 0000130a: PUSH32 0xfbdd8508825d37ca4a6c9a25fda096c88f19774025d4289975fe037e7581306f 0000132b: CALLVALUE 0000132c: PUSH1 0x40 0000132e: MLOAD 0000132f: DUP1 00001330: DUP3 00001331: DUP2 00001332: MSTORE 00001333: PUSH1 0x20 00001335: ADD 00001336: SWAP2 00001337: POP 00001338: POP 00001339: PUSH1 0x40 0000133b: MLOAD 0000133c: DUP1 0000133d: SWAP2 0000133e: SUB 0000133f: SWAP1 00001340: LOG2 00001341: JUMPDEST 00001342: POP 00001343: POP 00001344: JUMP 00001345: JUMPDEST 00001346: PUSH1 0x02 00001348: SLOAD 00001349: DUP2 0000134a: JUMP 0000134b: JUMPDEST 0000134c: PUSH1 0x00 0000134e: PUSH1 0x04 00001350: PUSH1 0x00 00001352: CALLER 00001353: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001368: AND 00001369: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000137e: AND 0000137f: DUP2 00001380: MSTORE 00001381: PUSH1 0x20 00001383: ADD 00001384: SWAP1 00001385: DUP2 00001386: MSTORE 00001387: PUSH1 0x20 00001389: ADD 0000138a: PUSH1 0x00 0000138c: KECCAK256 0000138d: SLOAD 0000138e: SWAP1 0000138f: POP 00001390: PUSH1 0x00 00001392: PUSH1 0x04 00001394: PUSH1 0x00 00001396: CALLER 00001397: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013ac: AND 000013ad: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013c2: AND 000013c3: DUP2 000013c4: MSTORE 000013c5: PUSH1 0x20 000013c7: ADD 000013c8: SWAP1 000013c9: DUP2 000013ca: MSTORE 000013cb: PUSH1 0x20 000013cd: ADD 000013ce: PUSH1 0x00 000013d0: KECCAK256 000013d1: DUP2 000013d2: SWAP1 000013d3: SSTORE 000013d4: POP 000013d5: CALLER 000013d6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013eb: AND 000013ec: PUSH2 0x08fc 000013ef: DUP3 000013f0: SWAP1 000013f1: DUP2 000013f2: ISZERO 000013f3: MUL 000013f4: SWAP1 000013f5: PUSH1 0x40 000013f7: MLOAD 000013f8: PUSH1 0x00 000013fa: PUSH1 0x40 000013fc: MLOAD 000013fd: DUP1 000013fe: DUP4 000013ff: SUB 00001400: DUP2 00001401: DUP6 00001402: DUP9 00001403: DUP9 00001404: CALL 00001405: SWAP4 00001406: POP 00001407: POP 00001408: POP 00001409: POP 0000140a: ISZERO 0000140b: ISZERO 0000140c: PUSH2 0x1414 0000140f: JUMPI 00001410: PUSH1 0x00 00001412: DUP1 00001413: REVERT 00001414: JUMPDEST 00001415: JUMPDEST 00001416: POP 00001417: JUMP 00001418: JUMPDEST 00001419: PUSH1 0x00 0000141b: DUP3 0000141c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001431: AND 00001432: PUSH1 0x00 00001434: DUP1 00001435: DUP5 00001436: DUP2 00001437: MSTORE 00001438: PUSH1 0x20 0000143a: ADD 0000143b: SWAP1 0000143c: DUP2 0000143d: MSTORE 0000143e: PUSH1 0x20 00001440: ADD 00001441: PUSH1 0x00 00001443: KECCAK256 00001444: PUSH1 0x00 00001446: ADD 00001447: PUSH1 0x00 00001449: SWAP1 0000144a: SLOAD 0000144b: SWAP1 0000144c: PUSH2 0x0100 0000144f: EXP 00001450: SWAP1 00001451: DIV 00001452: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001467: AND 00001468: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000147d: AND 0000147e: EQ 0000147f: SWAP1 00001480: POP 00001481: JUMPDEST 00001482: SWAP3 00001483: SWAP2 00001484: POP 00001485: POP 00001486: JUMP 00001487: JUMPDEST 00001488: PUSH7 0x038d7ea4c68000 00001490: DUP2 00001491: JUMP 00001492: JUMPDEST 00001493: PUSH2 0x149c 00001496: CALLER 00001497: DUP3 00001498: PUSH2 0x1418 0000149b: JUMP 0000149c: JUMPDEST 0000149d: ISZERO 0000149e: ISZERO 0000149f: PUSH2 0x14a7 000014a2: JUMPI 000014a3: PUSH1 0x00 000014a5: DUP1 000014a6: REVERT 000014a7: JUMPDEST 000014a8: PUSH2 0x14c1 000014ab: PUSH1 0x00 000014ad: DUP1 000014ae: DUP4 000014af: DUP2 000014b0: MSTORE 000014b1: PUSH1 0x20 000014b3: ADD 000014b4: SWAP1 000014b5: DUP2 000014b6: MSTORE 000014b7: PUSH1 0x20 000014b9: ADD 000014ba: PUSH1 0x00 000014bc: KECCAK256 000014bd: PUSH2 0x191f 000014c0: JUMP 000014c1: JUMPDEST 000014c2: JUMPDEST 000014c3: POP 000014c4: JUMP 000014c5: JUMPDEST 000014c6: PUSH1 0x00 000014c8: DUP1 000014c9: PUSH1 0x00 000014cb: DUP1 000014cc: DUP5 000014cd: DUP2 000014ce: MSTORE 000014cf: PUSH1 0x20 000014d1: ADD 000014d2: SWAP1 000014d3: DUP2 000014d4: MSTORE 000014d5: PUSH1 0x20 000014d7: ADD 000014d8: PUSH1 0x00 000014da: KECCAK256 000014db: PUSH1 0x00 000014dd: ADD 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: GT 00001516: SWAP1 00001517: POP 00001518: JUMPDEST 00001519: SWAP2 0000151a: SWAP1 0000151b: POP 0000151c: JUMP 0000151d: JUMPDEST 0000151e: PUSH1 0x04 00001520: PUSH1 0x20 00001522: MSTORE 00001523: DUP1 00001524: PUSH1 0x00 00001526: MSTORE 00001527: PUSH1 0x40 00001529: PUSH1 0x00 0000152b: KECCAK256 0000152c: PUSH1 0x00 0000152e: SWAP2 0000152f: POP 00001530: SWAP1 00001531: POP 00001532: SLOAD 00001533: DUP2 00001534: JUMP 00001535: JUMPDEST 00001536: PUSH1 0x00 00001538: PUSH1 0x64 0000153a: DUP4 0000153b: DUP2 0000153c: ISZERO 0000153d: ISZERO 0000153e: PUSH2 0x1543 00001541: JUMPI 00001542: INVALID 00001543: JUMPDEST 00001544: DIV 00001545: SWAP1 00001546: POP 00001547: DUP1 00001548: DUP4 00001549: SUB 0000154a: PUSH1 0x03 0000154c: PUSH1 0x00 0000154e: DUP5 0000154f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001564: AND 00001565: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000157a: AND 0000157b: DUP2 0000157c: MSTORE 0000157d: PUSH1 0x20 0000157f: ADD 00001580: SWAP1 00001581: DUP2 00001582: MSTORE 00001583: PUSH1 0x20 00001585: ADD 00001586: PUSH1 0x00 00001588: KECCAK256 00001589: PUSH1 0x00 0000158b: DUP3 0000158c: DUP3 0000158d: SLOAD 0000158e: ADD 0000158f: SWAP3 00001590: POP 00001591: POP 00001592: DUP2 00001593: SWAP1 00001594: SSTORE 00001595: POP 00001596: DUP1 00001597: PUSH1 0x02 00001599: PUSH1 0x00 0000159b: DUP3 0000159c: DUP3 0000159d: SLOAD 0000159e: ADD 0000159f: SWAP3 000015a0: POP 000015a1: POP 000015a2: DUP2 000015a3: SWAP1 000015a4: SSTORE 000015a5: POP 000015a6: JUMPDEST 000015a7: POP 000015a8: POP 000015a9: POP 000015aa: JUMP 000015ab: JUMPDEST 000015ac: PUSH1 0x00 000015ae: DUP1 000015af: PUSH2 0x15b8 000015b2: DUP5 000015b3: DUP7 000015b4: PUSH2 0x1418 000015b7: JUMP 000015b8: JUMPDEST 000015b9: ISZERO 000015ba: ISZERO 000015bb: PUSH2 0x15c3 000015be: JUMPI 000015bf: PUSH1 0x00 000015c1: DUP1 000015c2: REVERT 000015c3: JUMPDEST 000015c4: PUSH1 0x00 000015c6: DUP1 000015c7: DUP7 000015c8: DUP2 000015c9: MSTORE 000015ca: PUSH1 0x20 000015cc: ADD 000015cd: SWAP1 000015ce: DUP2 000015cf: MSTORE 000015d0: PUSH1 0x20 000015d2: ADD 000015d3: PUSH1 0x00 000015d5: KECCAK256 000015d6: SWAP2 000015d7: POP 000015d8: DUP3 000015d9: DUP3 000015da: PUSH1 0x00 000015dc: ADD 000015dd: PUSH1 0x00 000015df: PUSH2 0x0100 000015e2: EXP 000015e3: DUP2 000015e4: SLOAD 000015e5: DUP2 000015e6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015fb: MUL 000015fc: NOT 000015fd: AND 000015fe: SWAP1 000015ff: DUP4 00001600: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001615: AND 00001616: MUL 00001617: OR 00001618: SWAP1 00001619: SSTORE 0000161a: POP 0000161b: PUSH1 0x01 0000161d: PUSH1 0x00 0000161f: DUP6 00001620: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001635: AND 00001636: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000164b: AND 0000164c: DUP2 0000164d: MSTORE 0000164e: PUSH1 0x20 00001650: ADD 00001651: SWAP1 00001652: DUP2 00001653: MSTORE 00001654: PUSH1 0x20 00001656: ADD 00001657: PUSH1 0x00 00001659: KECCAK256 0000165a: DUP1 0000165b: SLOAD 0000165c: SWAP1 0000165d: POP 0000165e: SWAP1 0000165f: POP 00001660: PUSH1 0x01 00001662: PUSH1 0x00 00001664: DUP6 00001665: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000167a: AND 0000167b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001690: AND 00001691: DUP2 00001692: MSTORE 00001693: PUSH1 0x20 00001695: ADD 00001696: SWAP1 00001697: DUP2 00001698: MSTORE 00001699: PUSH1 0x20 0000169b: ADD 0000169c: PUSH1 0x00 0000169e: KECCAK256 0000169f: PUSH1 0x01 000016a1: DUP3 000016a2: SUB 000016a3: DUP2 000016a4: SLOAD 000016a5: DUP2 000016a6: LT 000016a7: ISZERO 000016a8: ISZERO 000016a9: PUSH2 0x16ae 000016ac: JUMPI 000016ad: INVALID 000016ae: JUMPDEST 000016af: SWAP1 000016b0: PUSH1 0x00 000016b2: MSTORE 000016b3: PUSH1 0x20 000016b5: PUSH1 0x00 000016b7: KECCAK256 000016b8: SWAP1 000016b9: ADD 000016ba: PUSH1 0x00 000016bc: JUMPDEST 000016bd: POP 000016be: SLOAD 000016bf: PUSH1 0x01 000016c1: PUSH1 0x00 000016c3: DUP7 000016c4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016d9: AND 000016da: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016ef: AND 000016f0: DUP2 000016f1: MSTORE 000016f2: PUSH1 0x20 000016f4: ADD 000016f5: SWAP1 000016f6: DUP2 000016f7: MSTORE 000016f8: PUSH1 0x20 000016fa: ADD 000016fb: PUSH1 0x00 000016fd: KECCAK256 000016fe: DUP4 000016ff: PUSH1 0x01 00001701: ADD 00001702: SLOAD 00001703: DUP2 00001704: SLOAD 00001705: DUP2 00001706: LT 00001707: ISZERO 00001708: ISZERO 00001709: PUSH2 0x170e 0000170c: JUMPI 0000170d: INVALID 0000170e: JUMPDEST 0000170f: SWAP1 00001710: PUSH1 0x00 00001712: MSTORE 00001713: PUSH1 0x20 00001715: PUSH1 0x00 00001717: KECCAK256 00001718: SWAP1 00001719: ADD 0000171a: PUSH1 0x00 0000171c: JUMPDEST 0000171d: POP 0000171e: DUP2 0000171f: SWAP1 00001720: SSTORE 00001721: POP 00001722: PUSH1 0x01 00001724: PUSH1 0x00 00001726: DUP6 00001727: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000173c: AND 0000173d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001752: AND 00001753: DUP2 00001754: MSTORE 00001755: PUSH1 0x20 00001757: ADD 00001758: SWAP1 00001759: DUP2 0000175a: MSTORE 0000175b: PUSH1 0x20 0000175d: ADD 0000175e: PUSH1 0x00 00001760: KECCAK256 00001761: DUP1 00001762: SLOAD 00001763: DUP1 00001764: SWAP2 00001765: SWAP1 00001766: PUSH1 0x01 00001768: SWAP1 00001769: SUB 0000176a: PUSH2 0x1773 0000176d: SWAP2 0000176e: SWAP1 0000176f: PUSH2 0x1a8a 00001772: JUMP 00001773: JUMPDEST 00001774: POP 00001775: PUSH1 0x01 00001777: PUSH1 0x00 00001779: DUP5 0000177a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000178f: AND 00001790: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000017a5: AND 000017a6: DUP2 000017a7: MSTORE 000017a8: PUSH1 0x20 000017aa: ADD 000017ab: SWAP1 000017ac: DUP2 000017ad: MSTORE 000017ae: PUSH1 0x20 000017b0: ADD 000017b1: PUSH1 0x00 000017b3: KECCAK256 000017b4: DUP1 000017b5: SLOAD 000017b6: DUP1 000017b7: PUSH1 0x01 000017b9: ADD 000017ba: DUP3 000017bb: DUP2 000017bc: PUSH2 0x17c5 000017bf: SWAP2 000017c0: SWAP1 000017c1: PUSH2 0x19de 000017c4: JUMP 000017c5: JUMPDEST 000017c6: SWAP2 000017c7: PUSH1 0x00 000017c9: MSTORE 000017ca: PUSH1 0x20 000017cc: PUSH1 0x00 000017ce: KECCAK256 000017cf: SWAP1 000017d0: ADD 000017d1: PUSH1 0x00 000017d3: JUMPDEST 000017d4: DUP8 000017d5: SWAP1 000017d6: SWAP2 000017d7: SWAP1 000017d8: SWAP2 000017d9: POP 000017da: SSTORE 000017db: POP 000017dc: PUSH1 0x01 000017de: DUP1 000017df: PUSH1 0x00 000017e1: DUP6 000017e2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000017f7: AND 000017f8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000180d: AND 0000180e: DUP2 0000180f: MSTORE 00001810: PUSH1 0x20 00001812: ADD 00001813: SWAP1 00001814: DUP2 00001815: MSTORE 00001816: PUSH1 0x20 00001818: ADD 00001819: PUSH1 0x00 0000181b: KECCAK256 0000181c: DUP1 0000181d: SLOAD 0000181e: SWAP1 0000181f: POP 00001820: SUB 00001821: PUSH1 0x00 00001823: DUP1 00001824: DUP8 00001825: DUP2 00001826: MSTORE 00001827: PUSH1 0x20 00001829: ADD 0000182a: SWAP1 0000182b: DUP2 0000182c: MSTORE 0000182d: PUSH1 0x20 0000182f: ADD 00001830: PUSH1 0x00 00001832: KECCAK256 00001833: PUSH1 0x01 00001835: ADD 00001836: DUP2 00001837: SWAP1 00001838: SSTORE 00001839: POP 0000183a: JUMPDEST 0000183b: POP 0000183c: POP 0000183d: POP 0000183e: POP 0000183f: POP 00001840: JUMP 00001841: JUMPDEST 00001842: PUSH1 0x00 00001844: DUP1 00001845: PUSH1 0x00 00001847: DUP4 00001848: DUP2 00001849: MSTORE 0000184a: PUSH1 0x20 0000184c: ADD 0000184d: SWAP1 0000184e: DUP2 0000184f: MSTORE 00001850: PUSH1 0x20 00001852: ADD 00001853: PUSH1 0x00 00001855: KECCAK256 00001856: SWAP1 00001857: POP 00001858: DUP1 00001859: PUSH1 0x06 0000185b: ADD 0000185c: SLOAD 0000185d: PUSH1 0x04 0000185f: PUSH1 0x00 00001861: DUP4 00001862: PUSH1 0x05 00001864: ADD 00001865: PUSH1 0x00 00001867: SWAP1 00001868: SLOAD 00001869: SWAP1 0000186a: PUSH2 0x0100 0000186d: EXP 0000186e: SWAP1 0000186f: DIV 00001870: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001885: AND 00001886: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000189b: AND 0000189c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000018b1: AND 000018b2: DUP2 000018b3: MSTORE 000018b4: PUSH1 0x20 000018b6: ADD 000018b7: SWAP1 000018b8: DUP2 000018b9: MSTORE 000018ba: PUSH1 0x20 000018bc: ADD 000018bd: PUSH1 0x00 000018bf: KECCAK256 000018c0: PUSH1 0x00 000018c2: DUP3 000018c3: DUP3 000018c4: SLOAD 000018c5: ADD 000018c6: SWAP3 000018c7: POP 000018c8: POP 000018c9: DUP2 000018ca: SWAP1 000018cb: SSTORE 000018cc: POP 000018cd: PUSH1 0x00 000018cf: DUP2 000018d0: PUSH1 0x06 000018d2: ADD 000018d3: DUP2 000018d4: SWAP1 000018d5: SSTORE 000018d6: POP 000018d7: PUSH1 0x00 000018d9: DUP2 000018da: PUSH1 0x05 000018dc: ADD 000018dd: PUSH1 0x00 000018df: PUSH2 0x0100 000018e2: EXP 000018e3: DUP2 000018e4: SLOAD 000018e5: DUP2 000018e6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000018fb: MUL 000018fc: NOT 000018fd: AND 000018fe: SWAP1 000018ff: DUP4 00001900: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001915: AND 00001916: MUL 00001917: OR 00001918: SWAP1 00001919: SSTORE 0000191a: POP 0000191b: JUMPDEST 0000191c: POP 0000191d: POP 0000191e: JUMP 0000191f: JUMPDEST 00001920: PUSH1 0x00 00001922: DUP2 00001923: PUSH1 0x04 00001925: ADD 00001926: DUP2 00001927: SWAP1 00001928: SSTORE 00001929: POP 0000192a: PUSH1 0x00 0000192c: DUP2 0000192d: PUSH1 0x03 0000192f: ADD 00001930: PUSH1 0x00 00001932: PUSH2 0x0100 00001935: EXP 00001936: DUP2 00001937: SLOAD 00001938: DUP2 00001939: PUSH1 0xff 0000193b: MUL 0000193c: NOT 0000193d: AND 0000193e: SWAP1 0000193f: DUP4 00001940: ISZERO 00001941: ISZERO 00001942: MUL 00001943: OR 00001944: SWAP1 00001945: SSTORE 00001946: POP 00001947: JUMPDEST 00001948: POP 00001949: JUMP 0000194a: JUMPDEST 0000194b: PUSH1 0x20 0000194d: PUSH1 0x40 0000194f: MLOAD 00001950: SWAP1 00001951: DUP2 00001952: ADD 00001953: PUSH1 0x40 00001955: MSTORE 00001956: DUP1 00001957: PUSH1 0x00 00001959: DUP2 0000195a: MSTORE 0000195b: POP 0000195c: SWAP1 0000195d: JUMP 0000195e: JUMPDEST 0000195f: DUP3 00001960: DUP1 00001961: SLOAD 00001962: PUSH1 0x01 00001964: DUP2 00001965: PUSH1 0x01 00001967: AND 00001968: ISZERO 00001969: PUSH2 0x0100 0000196c: MUL 0000196d: SUB 0000196e: AND 0000196f: PUSH1 0x02 00001971: SWAP1 00001972: DIV 00001973: SWAP1 00001974: PUSH1 0x00 00001976: MSTORE 00001977: PUSH1 0x20 00001979: PUSH1 0x00 0000197b: KECCAK256 0000197c: SWAP1 0000197d: PUSH1 0x1f 0000197f: ADD 00001980: PUSH1 0x20 00001982: SWAP1 00001983: DIV 00001984: DUP2 00001985: ADD 00001986: SWAP3 00001987: DUP3 00001988: PUSH1 0x1f 0000198a: LT 0000198b: PUSH2 0x199f 0000198e: JUMPI 0000198f: DUP1 00001990: MLOAD 00001991: PUSH1 0xff 00001993: NOT 00001994: AND 00001995: DUP4 00001996: DUP1 00001997: ADD 00001998: OR 00001999: DUP6 0000199a: SSTORE 0000199b: PUSH2 0x19cd 0000199e: JUMP 0000199f: JUMPDEST 000019a0: DUP3 000019a1: DUP1 000019a2: ADD 000019a3: PUSH1 0x01 000019a5: ADD 000019a6: DUP6 000019a7: SSTORE 000019a8: DUP3 000019a9: ISZERO 000019aa: PUSH2 0x19cd 000019ad: JUMPI 000019ae: SWAP2 000019af: DUP3 000019b0: ADD 000019b1: JUMPDEST 000019b2: DUP3 000019b3: DUP2 000019b4: GT 000019b5: ISZERO 000019b6: PUSH2 0x19cc 000019b9: JUMPI 000019ba: DUP3 000019bb: MLOAD 000019bc: DUP3 000019bd: SSTORE 000019be: SWAP2 000019bf: PUSH1 0x20 000019c1: ADD 000019c2: SWAP2 000019c3: SWAP1 000019c4: PUSH1 0x01 000019c6: ADD 000019c7: SWAP1 000019c8: PUSH2 0x19b1 000019cb: JUMP 000019cc: JUMPDEST 000019cd: JUMPDEST 000019ce: POP 000019cf: SWAP1 000019d0: POP 000019d1: PUSH2 0x19da 000019d4: SWAP2 000019d5: SWAP1 000019d6: PUSH2 0x1ab6 000019d9: JUMP 000019da: JUMPDEST 000019db: POP 000019dc: SWAP1 000019dd: JUMP 000019de: JUMPDEST 000019df: DUP2 000019e0: SLOAD 000019e1: DUP2 000019e2: DUP4 000019e3: SSTORE 000019e4: DUP2 000019e5: DUP2 000019e6: ISZERO 000019e7: GT 000019e8: PUSH2 0x1a05 000019eb: JUMPI 000019ec: DUP2 000019ed: DUP4 000019ee: PUSH1 0x00 000019f0: MSTORE 000019f1: PUSH1 0x20 000019f3: PUSH1 0x00 000019f5: KECCAK256 000019f6: SWAP2 000019f7: DUP3 000019f8: ADD 000019f9: SWAP2 000019fa: ADD 000019fb: PUSH2 0x1a04 000019fe: SWAP2 000019ff: SWAP1 00001a00: PUSH2 0x1ab6 00001a03: JUMP 00001a04: JUMPDEST 00001a05: JUMPDEST 00001a06: POP 00001a07: POP 00001a08: POP 00001a09: JUMP 00001a0a: JUMPDEST 00001a0b: DUP3 00001a0c: DUP1 00001a0d: SLOAD 00001a0e: PUSH1 0x01 00001a10: DUP2 00001a11: PUSH1 0x01 00001a13: AND 00001a14: ISZERO 00001a15: PUSH2 0x0100 00001a18: MUL 00001a19: SUB 00001a1a: AND 00001a1b: PUSH1 0x02 00001a1d: SWAP1 00001a1e: DIV 00001a1f: SWAP1 00001a20: PUSH1 0x00 00001a22: MSTORE 00001a23: PUSH1 0x20 00001a25: PUSH1 0x00 00001a27: KECCAK256 00001a28: SWAP1 00001a29: PUSH1 0x1f 00001a2b: ADD 00001a2c: PUSH1 0x20 00001a2e: SWAP1 00001a2f: DIV 00001a30: DUP2 00001a31: ADD 00001a32: SWAP3 00001a33: DUP3 00001a34: PUSH1 0x1f 00001a36: LT 00001a37: PUSH2 0x1a4b 00001a3a: JUMPI 00001a3b: DUP1 00001a3c: MLOAD 00001a3d: PUSH1 0xff 00001a3f: NOT 00001a40: AND 00001a41: DUP4 00001a42: DUP1 00001a43: ADD 00001a44: OR 00001a45: DUP6 00001a46: SSTORE 00001a47: PUSH2 0x1a79 00001a4a: JUMP 00001a4b: JUMPDEST 00001a4c: DUP3 00001a4d: DUP1 00001a4e: ADD 00001a4f: PUSH1 0x01 00001a51: ADD 00001a52: DUP6 00001a53: SSTORE 00001a54: DUP3 00001a55: ISZERO 00001a56: PUSH2 0x1a79 00001a59: JUMPI 00001a5a: SWAP2 00001a5b: DUP3 00001a5c: ADD 00001a5d: JUMPDEST 00001a5e: DUP3 00001a5f: DUP2 00001a60: GT 00001a61: ISZERO 00001a62: PUSH2 0x1a78 00001a65: JUMPI 00001a66: DUP3 00001a67: MLOAD 00001a68: DUP3 00001a69: SSTORE 00001a6a: SWAP2 00001a6b: PUSH1 0x20 00001a6d: ADD 00001a6e: SWAP2 00001a6f: SWAP1 00001a70: PUSH1 0x01 00001a72: ADD 00001a73: SWAP1 00001a74: PUSH2 0x1a5d 00001a77: JUMP 00001a78: JUMPDEST 00001a79: JUMPDEST 00001a7a: POP 00001a7b: SWAP1 00001a7c: POP 00001a7d: PUSH2 0x1a86 00001a80: SWAP2 00001a81: SWAP1 00001a82: PUSH2 0x1ab6 00001a85: JUMP 00001a86: JUMPDEST 00001a87: POP 00001a88: SWAP1 00001a89: JUMP 00001a8a: JUMPDEST 00001a8b: DUP2 00001a8c: SLOAD 00001a8d: DUP2 00001a8e: DUP4 00001a8f: SSTORE 00001a90: DUP2 00001a91: DUP2 00001a92: ISZERO 00001a93: GT 00001a94: PUSH2 0x1ab1 00001a97: JUMPI 00001a98: DUP2 00001a99: DUP4 00001a9a: PUSH1 0x00 00001a9c: MSTORE 00001a9d: PUSH1 0x20 00001a9f: PUSH1 0x00 00001aa1: KECCAK256 00001aa2: SWAP2 00001aa3: DUP3 00001aa4: ADD 00001aa5: SWAP2 00001aa6: ADD 00001aa7: PUSH2 0x1ab0 00001aaa: SWAP2 00001aab: SWAP1 00001aac: PUSH2 0x1ab6 00001aaf: JUMP 00001ab0: JUMPDEST 00001ab1: JUMPDEST 00001ab2: POP 00001ab3: POP 00001ab4: POP 00001ab5: JUMP 00001ab6: JUMPDEST 00001ab7: PUSH2 0x1ad8 00001aba: SWAP2 00001abb: SWAP1 00001abc: JUMPDEST 00001abd: DUP1 00001abe: DUP3 00001abf: GT 00001ac0: ISZERO 00001ac1: PUSH2 0x1ad4 00001ac4: JUMPI 00001ac5: PUSH1 0x00 00001ac7: DUP2 00001ac8: PUSH1 0x00 00001aca: SWAP1 00001acb: SSTORE 00001acc: POP 00001acd: PUSH1 0x01 00001acf: ADD 00001ad0: PUSH2 0x1abc 00001ad3: JUMP 00001ad4: JUMPDEST 00001ad5: POP 00001ad6: SWAP1 00001ad7: JUMP 00001ad8: JUMPDEST 00001ad9: SWAP1 00001ada: JUMP 00001adb: STOP 00001adc: LOG1 00001add: PUSH6 0x627a7a723058 00001ae4: KECCAK256 00001ae5: SWAP13 00001ae6: OR 00001ae7: SWAP4 00001ae8: UNKNOWN(0xC8) 00001ae9: UNKNOWN(0x28) 00001aea: CALLDATACOPY 00001aeb: UNKNOWN(0xCE) 00001aec: PUSH2 0x7238 00001aef: PUSH0 00001af0: UNKNOWN(0xE2) 00001af1: DUP12 00001af2: UNKNOWN(0xC9) 00001af3: UNKNOWN(0x22) 00001af4: UNKNOWN(0xE0) 00001af5: PUSH28
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: 0x79c737627fba2f8c13a61daa3e2f7cf47af08a5cfc55b9fdf611107b6e4d6f90
call_targets:
0x9249133819102b2ed31680468c8c67f6fe9e7505
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x79c737627fba2f8c13a61daa3e2f7cf47af08a5cfc55b9fdf611107b6e4d6f90",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x9249133819102b2ed31680468c8c67f6fe9e7505"
],
"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": "0x02fc1f85",
"selector": "0x02fc1f85",
"calldata_variants": [
"0x02fc1f85",
"0x02fc1f850000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2b1fd58a",
"selector": "0x2b1fd58a",
"calldata_variants": [
"0x2b1fd58a",
"0x2b1fd58a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2d087944",
"selector": "0x2d087944",
"calldata_variants": [
"0x2d087944",
"0x2d0879440000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x30ef3d56",
"selector": "0x30ef3d56",
"calldata_variants": [
"0x30ef3d56",
"0x30ef3d560000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x41883b78",
"selector": "0x41883b78",
"calldata_variants": [
"0x41883b78",
"0x41883b780000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x543fd313",
"selector": "0x543fd313",
"calldata_variants": [
"0x543fd313",
"0x543fd3130000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5bd9279c",
"selector": "0x5bd9279c",
"calldata_variants": [
"0x5bd9279c",
"0x5bd9279c0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3335,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4680,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 5124,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 3,
"guards_detected": [
{
"pc": 3240,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4241,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 3
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x79c737627fba2f8c13a61daa3e2f7cf47af08a5cfc55b9fdf611107b6e4d6f90
call_targets:
0x9249133819102b2ed31680468c8c67f6fe9e7505
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x79c737627fba2f8c13a61daa3e2f7cf47af08a5cfc55b9fdf611107b6e4d6f90",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x9249133819102b2ed31680468c8c67f6fe9e7505"
],
"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": "0x02fc1f85",
"selector": "0x02fc1f85",
"calldata_variants": [
"0x02fc1f85",
"0x02fc1f850000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2b1fd58a",
"selector": "0x2b1fd58a",
"calldata_variants": [
"0x2b1fd58a",
"0x2b1fd58a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2d087944",
"selector": "0x2d087944",
"calldata_variants": [
"0x2d087944",
"0x2d0879440000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x30ef3d56",
"selector": "0x30ef3d56",
"calldata_variants": [
"0x30ef3d56",
"0x30ef3d560000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x41883b78",
"selector": "0x41883b78",
"calldata_variants": [
"0x41883b78",
"0x41883b780000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x543fd313",
"selector": "0x543fd313",
"calldata_variants": [
"0x543fd313",
"0x543fd3130000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5bd9279c",
"selector": "0x5bd9279c",
"calldata_variants": [
"0x5bd9279c",
"0x5bd9279c0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3335,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4680,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 5124,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 3,
"guards_detected": [
{
"pc": 3240,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4241,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|