019b3844-8ab2-7107-9afe-f3f4f6fbb499
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 |
|---|---|---|---|---|
| 11675 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 11676 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 99106 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 99107 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 99108 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 99109 | 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: CALLDATASIZE 00000006: ISZERO 00000007: PUSH2 0x011b 0000000a: JUMPI 0000000b: PUSH1 0x00 0000000d: CALLDATALOAD 0000000e: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000002c: SWAP1 0000002d: DIV 0000002e: PUSH4 0xffffffff 00000033: AND 00000034: DUP1 00000035: PUSH4 0x025e7c27 0000003a: EQ 0000003b: PUSH2 0x0177 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0x173825d9 00000045: EQ 00000046: PUSH2 0x01da 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0x20ea8d86 00000050: EQ 00000051: PUSH2 0x0213 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0x2f54bf6e 0000005b: EQ 0000005c: PUSH2 0x0236 0000005f: JUMPI 00000060: DUP1 00000061: PUSH4 0x3411c81c 00000066: EQ 00000067: PUSH2 0x0287 0000006a: JUMPI 0000006b: DUP1 0000006c: PUSH4 0x54741525 00000071: EQ 00000072: PUSH2 0x02e1 00000075: JUMPI 00000076: DUP1 00000077: PUSH4 0x7065cb48 0000007c: EQ 0000007d: PUSH2 0x0325 00000080: JUMPI 00000081: DUP1 00000082: PUSH4 0x784547a7 00000087: EQ 00000088: PUSH2 0x035e 0000008b: JUMPI 0000008c: DUP1 0000008d: PUSH4 0x8b51d13f 00000092: EQ 00000093: PUSH2 0x0399 00000096: JUMPI 00000097: DUP1 00000098: PUSH4 0x9ace38c2 0000009d: EQ 0000009e: PUSH2 0x03d0 000000a1: JUMPI 000000a2: DUP1 000000a3: PUSH4 0xa0e67e2b 000000a8: EQ 000000a9: PUSH2 0x04ce 000000ac: JUMPI 000000ad: DUP1 000000ae: PUSH4 0xa8abe69a 000000b3: EQ 000000b4: PUSH2 0x0539 000000b7: JUMPI 000000b8: DUP1 000000b9: PUSH4 0xb5dc40c3 000000be: EQ 000000bf: PUSH2 0x05d1 000000c2: JUMPI 000000c3: DUP1 000000c4: PUSH4 0xb77bf600 000000c9: EQ 000000ca: PUSH2 0x064a 000000cd: JUMPI 000000ce: DUP1 000000cf: PUSH4 0xba51a6df 000000d4: EQ 000000d5: PUSH2 0x0673 000000d8: JUMPI 000000d9: DUP1 000000da: PUSH4 0xc01a8c84 000000df: EQ 000000e0: PUSH2 0x0696 000000e3: JUMPI 000000e4: DUP1 000000e5: PUSH4 0xc6427474 000000ea: EQ 000000eb: PUSH2 0x06b9 000000ee: JUMPI 000000ef: DUP1 000000f0: PUSH4 0xd74f8edd 000000f5: EQ 000000f6: PUSH2 0x0752 000000f9: JUMPI 000000fa: DUP1 000000fb: PUSH4 0xdc8452cd 00000100: EQ 00000101: PUSH2 0x077b 00000104: JUMPI 00000105: DUP1 00000106: PUSH4 0xe20056e6 0000010b: EQ 0000010c: PUSH2 0x07a4 0000010f: JUMPI 00000110: DUP1 00000111: PUSH4 0xee22610b 00000116: EQ 00000117: PUSH2 0x07fc 0000011a: JUMPI 0000011b: JUMPDEST 0000011c: JUMPDEST 0000011d: PUSH1 0x00 0000011f: CALLVALUE 00000120: GT 00000121: ISZERO 00000122: PUSH2 0x0174 00000125: JUMPI 00000126: CALLER 00000127: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000013c: AND 0000013d: PUSH32 0xe1fffcc4923d04b559f4d29a8bfc6cda04eb5b0d3c460751c2402c5c5cc9109c 0000015e: CALLVALUE 0000015f: PUSH1 0x40 00000161: MLOAD 00000162: DUP1 00000163: DUP3 00000164: DUP2 00000165: MSTORE 00000166: PUSH1 0x20 00000168: ADD 00000169: SWAP2 0000016a: POP 0000016b: POP 0000016c: PUSH1 0x40 0000016e: MLOAD 0000016f: DUP1 00000170: SWAP2 00000171: SUB 00000172: SWAP1 00000173: LOG2 00000174: JUMPDEST 00000175: JUMPDEST 00000176: STOP 00000177: JUMPDEST 00000178: CALLVALUE 00000179: ISZERO 0000017a: PUSH2 0x0182 0000017d: JUMPI 0000017e: PUSH1 0x00 00000180: DUP1 00000181: REVERT 00000182: JUMPDEST 00000183: PUSH2 0x0198 00000186: PUSH1 0x04 00000188: DUP1 00000189: DUP1 0000018a: CALLDATALOAD 0000018b: SWAP1 0000018c: PUSH1 0x20 0000018e: ADD 0000018f: SWAP1 00000190: SWAP2 00000191: SWAP1 00000192: POP 00000193: POP 00000194: PUSH2 0x081f 00000197: JUMP 00000198: JUMPDEST 00000199: PUSH1 0x40 0000019b: MLOAD 0000019c: DUP1 0000019d: DUP3 0000019e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001b3: AND 000001b4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001c9: AND 000001ca: DUP2 000001cb: MSTORE 000001cc: PUSH1 0x20 000001ce: ADD 000001cf: SWAP2 000001d0: POP 000001d1: POP 000001d2: PUSH1 0x40 000001d4: MLOAD 000001d5: DUP1 000001d6: SWAP2 000001d7: SUB 000001d8: SWAP1 000001d9: RETURN 000001da: JUMPDEST 000001db: CALLVALUE 000001dc: ISZERO 000001dd: PUSH2 0x01e5 000001e0: JUMPI 000001e1: PUSH1 0x00 000001e3: DUP1 000001e4: REVERT 000001e5: JUMPDEST 000001e6: PUSH2 0x0211 000001e9: PUSH1 0x04 000001eb: DUP1 000001ec: DUP1 000001ed: CALLDATALOAD 000001ee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000203: AND 00000204: SWAP1 00000205: PUSH1 0x20 00000207: ADD 00000208: SWAP1 00000209: SWAP2 0000020a: SWAP1 0000020b: POP 0000020c: POP 0000020d: PUSH2 0x085f 00000210: JUMP 00000211: JUMPDEST 00000212: STOP 00000213: JUMPDEST 00000214: CALLVALUE 00000215: ISZERO 00000216: PUSH2 0x021e 00000219: JUMPI 0000021a: PUSH1 0x00 0000021c: DUP1 0000021d: REVERT 0000021e: JUMPDEST 0000021f: PUSH2 0x0234 00000222: PUSH1 0x04 00000224: DUP1 00000225: DUP1 00000226: CALLDATALOAD 00000227: SWAP1 00000228: PUSH1 0x20 0000022a: ADD 0000022b: SWAP1 0000022c: SWAP2 0000022d: SWAP1 0000022e: POP 0000022f: POP 00000230: PUSH2 0x0b02 00000233: JUMP 00000234: JUMPDEST 00000235: STOP 00000236: JUMPDEST 00000237: CALLVALUE 00000238: ISZERO 00000239: PUSH2 0x0241 0000023c: JUMPI 0000023d: PUSH1 0x00 0000023f: DUP1 00000240: REVERT 00000241: JUMPDEST 00000242: PUSH2 0x026d 00000245: PUSH1 0x04 00000247: DUP1 00000248: DUP1 00000249: CALLDATALOAD 0000024a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000025f: AND 00000260: SWAP1 00000261: PUSH1 0x20 00000263: ADD 00000264: SWAP1 00000265: SWAP2 00000266: SWAP1 00000267: POP 00000268: POP 00000269: PUSH2 0x0cac 0000026c: JUMP 0000026d: JUMPDEST 0000026e: PUSH1 0x40 00000270: MLOAD 00000271: DUP1 00000272: DUP3 00000273: ISZERO 00000274: ISZERO 00000275: ISZERO 00000276: ISZERO 00000277: DUP2 00000278: MSTORE 00000279: PUSH1 0x20 0000027b: ADD 0000027c: SWAP2 0000027d: POP 0000027e: POP 0000027f: PUSH1 0x40 00000281: MLOAD 00000282: DUP1 00000283: SWAP2 00000284: SUB 00000285: SWAP1 00000286: RETURN 00000287: JUMPDEST 00000288: CALLVALUE 00000289: ISZERO 0000028a: PUSH2 0x0292 0000028d: JUMPI 0000028e: PUSH1 0x00 00000290: DUP1 00000291: REVERT 00000292: JUMPDEST 00000293: PUSH2 0x02c7 00000296: PUSH1 0x04 00000298: DUP1 00000299: DUP1 0000029a: CALLDATALOAD 0000029b: SWAP1 0000029c: PUSH1 0x20 0000029e: ADD 0000029f: SWAP1 000002a0: SWAP2 000002a1: SWAP1 000002a2: DUP1 000002a3: CALLDATALOAD 000002a4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002b9: AND 000002ba: SWAP1 000002bb: PUSH1 0x20 000002bd: ADD 000002be: SWAP1 000002bf: SWAP2 000002c0: SWAP1 000002c1: POP 000002c2: POP 000002c3: PUSH2 0x0ccc 000002c6: JUMP 000002c7: JUMPDEST 000002c8: PUSH1 0x40 000002ca: MLOAD 000002cb: DUP1 000002cc: DUP3 000002cd: ISZERO 000002ce: ISZERO 000002cf: ISZERO 000002d0: ISZERO 000002d1: DUP2 000002d2: MSTORE 000002d3: PUSH1 0x20 000002d5: ADD 000002d6: SWAP2 000002d7: POP 000002d8: POP 000002d9: PUSH1 0x40 000002db: MLOAD 000002dc: DUP1 000002dd: SWAP2 000002de: SUB 000002df: SWAP1 000002e0: RETURN 000002e1: JUMPDEST 000002e2: CALLVALUE 000002e3: ISZERO 000002e4: PUSH2 0x02ec 000002e7: JUMPI 000002e8: PUSH1 0x00 000002ea: DUP1 000002eb: REVERT 000002ec: JUMPDEST 000002ed: PUSH2 0x030f 000002f0: PUSH1 0x04 000002f2: DUP1 000002f3: DUP1 000002f4: CALLDATALOAD 000002f5: ISZERO 000002f6: ISZERO 000002f7: SWAP1 000002f8: PUSH1 0x20 000002fa: ADD 000002fb: SWAP1 000002fc: SWAP2 000002fd: SWAP1 000002fe: DUP1 000002ff: CALLDATALOAD 00000300: ISZERO 00000301: ISZERO 00000302: SWAP1 00000303: PUSH1 0x20 00000305: ADD 00000306: SWAP1 00000307: SWAP2 00000308: SWAP1 00000309: POP 0000030a: POP 0000030b: PUSH2 0x0cfb 0000030e: JUMP 0000030f: JUMPDEST 00000310: PUSH1 0x40 00000312: MLOAD 00000313: DUP1 00000314: DUP3 00000315: DUP2 00000316: MSTORE 00000317: PUSH1 0x20 00000319: ADD 0000031a: SWAP2 0000031b: POP 0000031c: POP 0000031d: PUSH1 0x40 0000031f: MLOAD 00000320: DUP1 00000321: SWAP2 00000322: SUB 00000323: SWAP1 00000324: RETURN 00000325: JUMPDEST 00000326: CALLVALUE 00000327: ISZERO 00000328: PUSH2 0x0330 0000032b: JUMPI 0000032c: PUSH1 0x00 0000032e: DUP1 0000032f: REVERT 00000330: JUMPDEST 00000331: PUSH2 0x035c 00000334: PUSH1 0x04 00000336: DUP1 00000337: DUP1 00000338: CALLDATALOAD 00000339: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000034e: AND 0000034f: SWAP1 00000350: PUSH1 0x20 00000352: ADD 00000353: SWAP1 00000354: SWAP2 00000355: SWAP1 00000356: POP 00000357: POP 00000358: PUSH2 0x0d8f 0000035b: JUMP 0000035c: JUMPDEST 0000035d: STOP 0000035e: JUMPDEST 0000035f: CALLVALUE 00000360: ISZERO 00000361: PUSH2 0x0369 00000364: JUMPI 00000365: PUSH1 0x00 00000367: DUP1 00000368: REVERT 00000369: JUMPDEST 0000036a: PUSH2 0x037f 0000036d: PUSH1 0x04 0000036f: DUP1 00000370: DUP1 00000371: CALLDATALOAD 00000372: SWAP1 00000373: PUSH1 0x20 00000375: ADD 00000376: SWAP1 00000377: SWAP2 00000378: SWAP1 00000379: POP 0000037a: POP 0000037b: PUSH2 0x0f8b 0000037e: JUMP 0000037f: JUMPDEST 00000380: PUSH1 0x40 00000382: MLOAD 00000383: DUP1 00000384: DUP3 00000385: ISZERO 00000386: ISZERO 00000387: ISZERO 00000388: ISZERO 00000389: DUP2 0000038a: MSTORE 0000038b: PUSH1 0x20 0000038d: ADD 0000038e: SWAP2 0000038f: POP 00000390: POP 00000391: PUSH1 0x40 00000393: MLOAD 00000394: DUP1 00000395: SWAP2 00000396: SUB 00000397: SWAP1 00000398: RETURN 00000399: JUMPDEST 0000039a: CALLVALUE 0000039b: ISZERO 0000039c: PUSH2 0x03a4 0000039f: JUMPI 000003a0: PUSH1 0x00 000003a2: DUP1 000003a3: REVERT 000003a4: JUMPDEST 000003a5: PUSH2 0x03ba 000003a8: PUSH1 0x04 000003aa: DUP1 000003ab: DUP1 000003ac: CALLDATALOAD 000003ad: SWAP1 000003ae: PUSH1 0x20 000003b0: ADD 000003b1: SWAP1 000003b2: SWAP2 000003b3: SWAP1 000003b4: POP 000003b5: POP 000003b6: PUSH2 0x1073 000003b9: JUMP 000003ba: JUMPDEST 000003bb: PUSH1 0x40 000003bd: MLOAD 000003be: DUP1 000003bf: DUP3 000003c0: DUP2 000003c1: MSTORE 000003c2: PUSH1 0x20 000003c4: ADD 000003c5: SWAP2 000003c6: POP 000003c7: POP 000003c8: PUSH1 0x40 000003ca: MLOAD 000003cb: DUP1 000003cc: SWAP2 000003cd: SUB 000003ce: SWAP1 000003cf: RETURN 000003d0: JUMPDEST 000003d1: CALLVALUE 000003d2: ISZERO 000003d3: PUSH2 0x03db 000003d6: JUMPI 000003d7: PUSH1 0x00 000003d9: DUP1 000003da: REVERT 000003db: JUMPDEST 000003dc: PUSH2 0x03f1 000003df: PUSH1 0x04 000003e1: DUP1 000003e2: DUP1 000003e3: CALLDATALOAD 000003e4: SWAP1 000003e5: PUSH1 0x20 000003e7: ADD 000003e8: SWAP1 000003e9: SWAP2 000003ea: SWAP1 000003eb: POP 000003ec: POP 000003ed: PUSH2 0x1142 000003f0: JUMP 000003f1: JUMPDEST 000003f2: PUSH1 0x40 000003f4: MLOAD 000003f5: DUP1 000003f6: DUP6 000003f7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000040c: AND 0000040d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000422: AND 00000423: DUP2 00000424: MSTORE 00000425: PUSH1 0x20 00000427: ADD 00000428: DUP5 00000429: DUP2 0000042a: MSTORE 0000042b: PUSH1 0x20 0000042d: ADD 0000042e: DUP1 0000042f: PUSH1 0x20 00000431: ADD 00000432: DUP4 00000433: ISZERO 00000434: ISZERO 00000435: ISZERO 00000436: ISZERO 00000437: DUP2 00000438: MSTORE 00000439: PUSH1 0x20 0000043b: ADD 0000043c: DUP3 0000043d: DUP2 0000043e: SUB 0000043f: DUP3 00000440: MSTORE 00000441: DUP5 00000442: DUP2 00000443: DUP2 00000444: SLOAD 00000445: PUSH1 0x01 00000447: DUP2 00000448: PUSH1 0x01 0000044a: AND 0000044b: ISZERO 0000044c: PUSH2 0x0100 0000044f: MUL 00000450: SUB 00000451: AND 00000452: PUSH1 0x02 00000454: SWAP1 00000455: DIV 00000456: DUP2 00000457: MSTORE 00000458: PUSH1 0x20 0000045a: ADD 0000045b: SWAP2 0000045c: POP 0000045d: DUP1 0000045e: SLOAD 0000045f: PUSH1 0x01 00000461: DUP2 00000462: PUSH1 0x01 00000464: AND 00000465: ISZERO 00000466: PUSH2 0x0100 00000469: MUL 0000046a: SUB 0000046b: AND 0000046c: PUSH1 0x02 0000046e: SWAP1 0000046f: DIV 00000470: DUP1 00000471: ISZERO 00000472: PUSH2 0x04bc 00000475: JUMPI 00000476: DUP1 00000477: PUSH1 0x1f 00000479: LT 0000047a: PUSH2 0x0491 0000047d: JUMPI 0000047e: PUSH2 0x0100 00000481: DUP1 00000482: DUP4 00000483: SLOAD 00000484: DIV 00000485: MUL 00000486: DUP4 00000487: MSTORE 00000488: SWAP2 00000489: PUSH1 0x20 0000048b: ADD 0000048c: SWAP2 0000048d: PUSH2 0x04bc 00000490: JUMP 00000491: JUMPDEST 00000492: DUP3 00000493: ADD 00000494: SWAP2 00000495: SWAP1 00000496: PUSH1 0x00 00000498: MSTORE 00000499: PUSH1 0x20 0000049b: PUSH1 0x00 0000049d: KECCAK256 0000049e: SWAP1 0000049f: JUMPDEST 000004a0: DUP2 000004a1: SLOAD 000004a2: DUP2 000004a3: MSTORE 000004a4: SWAP1 000004a5: PUSH1 0x01 000004a7: ADD 000004a8: SWAP1 000004a9: PUSH1 0x20 000004ab: ADD 000004ac: DUP1 000004ad: DUP4 000004ae: GT 000004af: PUSH2 0x049f 000004b2: JUMPI 000004b3: DUP3 000004b4: SWAP1 000004b5: SUB 000004b6: PUSH1 0x1f 000004b8: AND 000004b9: DUP3 000004ba: ADD 000004bb: SWAP2 000004bc: JUMPDEST 000004bd: POP 000004be: POP 000004bf: SWAP6 000004c0: POP 000004c1: POP 000004c2: POP 000004c3: POP 000004c4: POP 000004c5: POP 000004c6: PUSH1 0x40 000004c8: MLOAD 000004c9: DUP1 000004ca: SWAP2 000004cb: SUB 000004cc: SWAP1 000004cd: RETURN 000004ce: JUMPDEST 000004cf: CALLVALUE 000004d0: ISZERO 000004d1: PUSH2 0x04d9 000004d4: JUMPI 000004d5: PUSH1 0x00 000004d7: DUP1 000004d8: REVERT 000004d9: JUMPDEST 000004da: PUSH2 0x04e1 000004dd: PUSH2 0x119e 000004e0: JUMP 000004e1: JUMPDEST 000004e2: PUSH1 0x40 000004e4: MLOAD 000004e5: DUP1 000004e6: DUP1 000004e7: PUSH1 0x20 000004e9: ADD 000004ea: DUP3 000004eb: DUP2 000004ec: SUB 000004ed: DUP3 000004ee: MSTORE 000004ef: DUP4 000004f0: DUP2 000004f1: DUP2 000004f2: MLOAD 000004f3: DUP2 000004f4: MSTORE 000004f5: PUSH1 0x20 000004f7: ADD 000004f8: SWAP2 000004f9: POP 000004fa: DUP1 000004fb: MLOAD 000004fc: SWAP1 000004fd: PUSH1 0x20 000004ff: ADD 00000500: SWAP1 00000501: PUSH1 0x20 00000503: MUL 00000504: DUP1 00000505: DUP4 00000506: DUP4 00000507: PUSH1 0x00 00000509: JUMPDEST 0000050a: DUP4 0000050b: DUP2 0000050c: LT 0000050d: ISZERO 0000050e: PUSH2 0x0525 00000511: JUMPI 00000512: DUP1 00000513: DUP3 00000514: ADD 00000515: MLOAD 00000516: DUP2 00000517: DUP5 00000518: ADD 00000519: MSTORE 0000051a: JUMPDEST 0000051b: PUSH1 0x20 0000051d: DUP2 0000051e: ADD 0000051f: SWAP1 00000520: POP 00000521: PUSH2 0x0509 00000524: JUMP 00000525: JUMPDEST 00000526: POP 00000527: POP 00000528: POP 00000529: POP 0000052a: SWAP1 0000052b: POP 0000052c: ADD 0000052d: SWAP3 0000052e: POP 0000052f: POP 00000530: POP 00000531: PUSH1 0x40 00000533: MLOAD 00000534: DUP1 00000535: SWAP2 00000536: SUB 00000537: SWAP1 00000538: RETURN 00000539: JUMPDEST 0000053a: CALLVALUE 0000053b: ISZERO 0000053c: PUSH2 0x0544 0000053f: JUMPI 00000540: PUSH1 0x00 00000542: DUP1 00000543: REVERT 00000544: JUMPDEST 00000545: PUSH2 0x0579 00000548: PUSH1 0x04 0000054a: DUP1 0000054b: DUP1 0000054c: CALLDATALOAD 0000054d: SWAP1 0000054e: PUSH1 0x20 00000550: ADD 00000551: SWAP1 00000552: SWAP2 00000553: SWAP1 00000554: DUP1 00000555: CALLDATALOAD 00000556: SWAP1 00000557: PUSH1 0x20 00000559: ADD 0000055a: SWAP1 0000055b: SWAP2 0000055c: SWAP1 0000055d: DUP1 0000055e: CALLDATALOAD 0000055f: ISZERO 00000560: ISZERO 00000561: SWAP1 00000562: PUSH1 0x20 00000564: ADD 00000565: SWAP1 00000566: SWAP2 00000567: SWAP1 00000568: DUP1 00000569: CALLDATALOAD 0000056a: ISZERO 0000056b: ISZERO 0000056c: SWAP1 0000056d: PUSH1 0x20 0000056f: ADD 00000570: SWAP1 00000571: SWAP2 00000572: SWAP1 00000573: POP 00000574: POP 00000575: PUSH2 0x1233 00000578: JUMP 00000579: JUMPDEST 0000057a: PUSH1 0x40 0000057c: MLOAD 0000057d: DUP1 0000057e: DUP1 0000057f: PUSH1 0x20 00000581: ADD 00000582: DUP3 00000583: DUP2 00000584: SUB 00000585: DUP3 00000586: MSTORE 00000587: DUP4 00000588: DUP2 00000589: DUP2 0000058a: MLOAD 0000058b: DUP2 0000058c: MSTORE 0000058d: PUSH1 0x20 0000058f: ADD 00000590: SWAP2 00000591: POP 00000592: DUP1 00000593: MLOAD 00000594: SWAP1 00000595: PUSH1 0x20 00000597: ADD 00000598: SWAP1 00000599: PUSH1 0x20 0000059b: MUL 0000059c: DUP1 0000059d: DUP4 0000059e: DUP4 0000059f: PUSH1 0x00 000005a1: JUMPDEST 000005a2: DUP4 000005a3: DUP2 000005a4: LT 000005a5: ISZERO 000005a6: PUSH2 0x05bd 000005a9: JUMPI 000005aa: DUP1 000005ab: DUP3 000005ac: ADD 000005ad: MLOAD 000005ae: DUP2 000005af: DUP5 000005b0: ADD 000005b1: MSTORE 000005b2: JUMPDEST 000005b3: PUSH1 0x20 000005b5: DUP2 000005b6: ADD 000005b7: SWAP1 000005b8: POP 000005b9: PUSH2 0x05a1 000005bc: JUMP 000005bd: JUMPDEST 000005be: POP 000005bf: POP 000005c0: POP 000005c1: POP 000005c2: SWAP1 000005c3: POP 000005c4: ADD 000005c5: SWAP3 000005c6: POP 000005c7: POP 000005c8: POP 000005c9: PUSH1 0x40 000005cb: MLOAD 000005cc: DUP1 000005cd: SWAP2 000005ce: SUB 000005cf: SWAP1 000005d0: RETURN 000005d1: JUMPDEST 000005d2: CALLVALUE 000005d3: ISZERO 000005d4: PUSH2 0x05dc 000005d7: JUMPI 000005d8: PUSH1 0x00 000005da: DUP1 000005db: REVERT 000005dc: JUMPDEST 000005dd: PUSH2 0x05f2 000005e0: PUSH1 0x04 000005e2: DUP1 000005e3: DUP1 000005e4: CALLDATALOAD 000005e5: SWAP1 000005e6: PUSH1 0x20 000005e8: ADD 000005e9: SWAP1 000005ea: SWAP2 000005eb: SWAP1 000005ec: POP 000005ed: POP 000005ee: PUSH2 0x1394 000005f1: JUMP 000005f2: JUMPDEST 000005f3: PUSH1 0x40 000005f5: MLOAD 000005f6: DUP1 000005f7: DUP1 000005f8: PUSH1 0x20 000005fa: ADD 000005fb: DUP3 000005fc: DUP2 000005fd: SUB 000005fe: DUP3 000005ff: MSTORE 00000600: DUP4 00000601: DUP2 00000602: DUP2 00000603: MLOAD 00000604: DUP2 00000605: MSTORE 00000606: PUSH1 0x20 00000608: ADD 00000609: SWAP2 0000060a: POP 0000060b: DUP1 0000060c: MLOAD 0000060d: SWAP1 0000060e: PUSH1 0x20 00000610: ADD 00000611: SWAP1 00000612: PUSH1 0x20 00000614: MUL 00000615: DUP1 00000616: DUP4 00000617: DUP4 00000618: PUSH1 0x00 0000061a: JUMPDEST 0000061b: DUP4 0000061c: DUP2 0000061d: LT 0000061e: ISZERO 0000061f: PUSH2 0x0636 00000622: JUMPI 00000623: DUP1 00000624: DUP3 00000625: ADD 00000626: MLOAD 00000627: DUP2 00000628: DUP5 00000629: ADD 0000062a: MSTORE 0000062b: JUMPDEST 0000062c: PUSH1 0x20 0000062e: DUP2 0000062f: ADD 00000630: SWAP1 00000631: POP 00000632: PUSH2 0x061a 00000635: JUMP 00000636: JUMPDEST 00000637: POP 00000638: POP 00000639: POP 0000063a: POP 0000063b: SWAP1 0000063c: POP 0000063d: ADD 0000063e: SWAP3 0000063f: POP 00000640: POP 00000641: POP 00000642: PUSH1 0x40 00000644: MLOAD 00000645: DUP1 00000646: SWAP2 00000647: SUB 00000648: SWAP1 00000649: RETURN 0000064a: JUMPDEST 0000064b: CALLVALUE 0000064c: ISZERO 0000064d: PUSH2 0x0655 00000650: JUMPI 00000651: PUSH1 0x00 00000653: DUP1 00000654: REVERT 00000655: JUMPDEST 00000656: PUSH2 0x065d 00000659: PUSH2 0x15c5 0000065c: JUMP 0000065d: JUMPDEST 0000065e: PUSH1 0x40 00000660: MLOAD 00000661: DUP1 00000662: DUP3 00000663: DUP2 00000664: MSTORE 00000665: PUSH1 0x20 00000667: ADD 00000668: SWAP2 00000669: POP 0000066a: POP 0000066b: PUSH1 0x40 0000066d: MLOAD 0000066e: DUP1 0000066f: SWAP2 00000670: SUB 00000671: SWAP1 00000672: RETURN 00000673: JUMPDEST 00000674: CALLVALUE 00000675: ISZERO 00000676: PUSH2 0x067e 00000679: JUMPI 0000067a: PUSH1 0x00 0000067c: DUP1 0000067d: REVERT 0000067e: JUMPDEST 0000067f: PUSH2 0x0694 00000682: PUSH1 0x04 00000684: DUP1 00000685: DUP1 00000686: CALLDATALOAD 00000687: SWAP1 00000688: PUSH1 0x20 0000068a: ADD 0000068b: SWAP1 0000068c: SWAP2 0000068d: SWAP1 0000068e: POP 0000068f: POP 00000690: PUSH2 0x15cb 00000693: JUMP 00000694: JUMPDEST 00000695: STOP 00000696: JUMPDEST 00000697: CALLVALUE 00000698: ISZERO 00000699: PUSH2 0x06a1 0000069c: JUMPI 0000069d: PUSH1 0x00 0000069f: DUP1 000006a0: REVERT 000006a1: JUMPDEST 000006a2: PUSH2 0x06b7 000006a5: PUSH1 0x04 000006a7: DUP1 000006a8: DUP1 000006a9: CALLDATALOAD 000006aa: SWAP1 000006ab: PUSH1 0x20 000006ad: ADD 000006ae: SWAP1 000006af: SWAP2 000006b0: SWAP1 000006b1: POP 000006b2: POP 000006b3: PUSH2 0x1680 000006b6: JUMP 000006b7: JUMPDEST 000006b8: STOP 000006b9: JUMPDEST 000006ba: CALLVALUE 000006bb: ISZERO 000006bc: PUSH2 0x06c4 000006bf: JUMPI 000006c0: PUSH1 0x00 000006c2: DUP1 000006c3: REVERT 000006c4: JUMPDEST 000006c5: PUSH2 0x073c 000006c8: PUSH1 0x04 000006ca: DUP1 000006cb: DUP1 000006cc: CALLDATALOAD 000006cd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006e2: AND 000006e3: SWAP1 000006e4: PUSH1 0x20 000006e6: ADD 000006e7: SWAP1 000006e8: SWAP2 000006e9: SWAP1 000006ea: DUP1 000006eb: CALLDATALOAD 000006ec: SWAP1 000006ed: PUSH1 0x20 000006ef: ADD 000006f0: SWAP1 000006f1: SWAP2 000006f2: SWAP1 000006f3: DUP1 000006f4: CALLDATALOAD 000006f5: SWAP1 000006f6: PUSH1 0x20 000006f8: ADD 000006f9: SWAP1 000006fa: DUP3 000006fb: ADD 000006fc: DUP1 000006fd: CALLDATALOAD 000006fe: SWAP1 000006ff: PUSH1 0x20 00000701: ADD 00000702: SWAP1 00000703: DUP1 00000704: DUP1 00000705: PUSH1 0x1f 00000707: ADD 00000708: PUSH1 0x20 0000070a: DUP1 0000070b: SWAP2 0000070c: DIV 0000070d: MUL 0000070e: PUSH1 0x20 00000710: ADD 00000711: PUSH1 0x40 00000713: MLOAD 00000714: SWAP1 00000715: DUP2 00000716: ADD 00000717: PUSH1 0x40 00000719: MSTORE 0000071a: DUP1 0000071b: SWAP4 0000071c: SWAP3 0000071d: SWAP2 0000071e: SWAP1 0000071f: DUP2 00000720: DUP2 00000721: MSTORE 00000722: PUSH1 0x20 00000724: ADD 00000725: DUP4 00000726: DUP4 00000727: DUP1 00000728: DUP3 00000729: DUP5 0000072a: CALLDATACOPY 0000072b: DUP3 0000072c: ADD 0000072d: SWAP2 0000072e: POP 0000072f: POP 00000730: POP 00000731: POP 00000732: POP 00000733: POP 00000734: SWAP2 00000735: SWAP1 00000736: POP 00000737: POP 00000738: PUSH2 0x185d 0000073b: JUMP 0000073c: JUMPDEST 0000073d: PUSH1 0x40 0000073f: MLOAD 00000740: DUP1 00000741: DUP3 00000742: DUP2 00000743: MSTORE 00000744: PUSH1 0x20 00000746: ADD 00000747: SWAP2 00000748: POP 00000749: POP 0000074a: PUSH1 0x40 0000074c: MLOAD 0000074d: DUP1 0000074e: SWAP2 0000074f: SUB 00000750: SWAP1 00000751: RETURN 00000752: JUMPDEST 00000753: CALLVALUE 00000754: ISZERO 00000755: PUSH2 0x075d 00000758: JUMPI 00000759: PUSH1 0x00 0000075b: DUP1 0000075c: REVERT 0000075d: JUMPDEST 0000075e: PUSH2 0x0765 00000761: PUSH2 0x187d 00000764: JUMP 00000765: JUMPDEST 00000766: PUSH1 0x40 00000768: MLOAD 00000769: DUP1 0000076a: DUP3 0000076b: DUP2 0000076c: MSTORE 0000076d: PUSH1 0x20 0000076f: ADD 00000770: SWAP2 00000771: POP 00000772: POP 00000773: PUSH1 0x40 00000775: MLOAD 00000776: DUP1 00000777: SWAP2 00000778: SUB 00000779: SWAP1 0000077a: RETURN 0000077b: JUMPDEST 0000077c: CALLVALUE 0000077d: ISZERO 0000077e: PUSH2 0x0786 00000781: JUMPI 00000782: PUSH1 0x00 00000784: DUP1 00000785: REVERT 00000786: JUMPDEST 00000787: PUSH2 0x078e 0000078a: PUSH2 0x1882 0000078d: JUMP 0000078e: JUMPDEST 0000078f: PUSH1 0x40 00000791: MLOAD 00000792: DUP1 00000793: DUP3 00000794: DUP2 00000795: MSTORE 00000796: PUSH1 0x20 00000798: ADD 00000799: SWAP2 0000079a: POP 0000079b: POP 0000079c: PUSH1 0x40 0000079e: MLOAD 0000079f: DUP1 000007a0: SWAP2 000007a1: SUB 000007a2: SWAP1 000007a3: RETURN 000007a4: JUMPDEST 000007a5: CALLVALUE 000007a6: ISZERO 000007a7: PUSH2 0x07af 000007aa: JUMPI 000007ab: PUSH1 0x00 000007ad: DUP1 000007ae: REVERT 000007af: JUMPDEST 000007b0: PUSH2 0x07fa 000007b3: PUSH1 0x04 000007b5: DUP1 000007b6: DUP1 000007b7: CALLDATALOAD 000007b8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007cd: AND 000007ce: SWAP1 000007cf: PUSH1 0x20 000007d1: ADD 000007d2: SWAP1 000007d3: SWAP2 000007d4: SWAP1 000007d5: DUP1 000007d6: CALLDATALOAD 000007d7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007ec: AND 000007ed: SWAP1 000007ee: PUSH1 0x20 000007f0: ADD 000007f1: SWAP1 000007f2: SWAP2 000007f3: SWAP1 000007f4: POP 000007f5: POP 000007f6: PUSH2 0x1888 000007f9: JUMP 000007fa: JUMPDEST 000007fb: STOP 000007fc: JUMPDEST 000007fd: CALLVALUE 000007fe: ISZERO 000007ff: PUSH2 0x0807 00000802: JUMPI 00000803: PUSH1 0x00 00000805: DUP1 00000806: REVERT 00000807: JUMPDEST 00000808: PUSH2 0x081d 0000080b: PUSH1 0x04 0000080d: DUP1 0000080e: DUP1 0000080f: CALLDATALOAD 00000810: SWAP1 00000811: PUSH1 0x20 00000813: ADD 00000814: SWAP1 00000815: SWAP2 00000816: SWAP1 00000817: POP 00000818: POP 00000819: PUSH2 0x1ba4 0000081c: JUMP 0000081d: JUMPDEST 0000081e: STOP 0000081f: JUMPDEST 00000820: PUSH1 0x03 00000822: DUP2 00000823: DUP2 00000824: SLOAD 00000825: DUP2 00000826: LT 00000827: ISZERO 00000828: ISZERO 00000829: PUSH2 0x082e 0000082c: JUMPI 0000082d: INVALID 0000082e: JUMPDEST 0000082f: SWAP1 00000830: PUSH1 0x00 00000832: MSTORE 00000833: PUSH1 0x20 00000835: PUSH1 0x00 00000837: KECCAK256 00000838: SWAP1 00000839: ADD 0000083a: PUSH1 0x00 0000083c: JUMPDEST 0000083d: SWAP2 0000083e: POP 0000083f: SLOAD 00000840: SWAP1 00000841: PUSH2 0x0100 00000844: EXP 00000845: SWAP1 00000846: DIV 00000847: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000085c: AND 0000085d: DUP2 0000085e: JUMP 0000085f: JUMPDEST 00000860: PUSH1 0x00 00000862: ADDRESS 00000863: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000878: AND 00000879: CALLER 0000087a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000088f: AND 00000890: EQ 00000891: ISZERO 00000892: ISZERO 00000893: PUSH2 0x089b 00000896: JUMPI 00000897: PUSH1 0x00 00000899: DUP1 0000089a: REVERT 0000089b: JUMPDEST 0000089c: DUP2 0000089d: PUSH1 0x02 0000089f: PUSH1 0x00 000008a1: DUP3 000008a2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008b7: AND 000008b8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008cd: AND 000008ce: DUP2 000008cf: MSTORE 000008d0: PUSH1 0x20 000008d2: ADD 000008d3: SWAP1 000008d4: DUP2 000008d5: MSTORE 000008d6: PUSH1 0x20 000008d8: ADD 000008d9: PUSH1 0x00 000008db: KECCAK256 000008dc: PUSH1 0x00 000008de: SWAP1 000008df: SLOAD 000008e0: SWAP1 000008e1: PUSH2 0x0100 000008e4: EXP 000008e5: SWAP1 000008e6: DIV 000008e7: PUSH1 0xff 000008e9: AND 000008ea: ISZERO 000008eb: ISZERO 000008ec: PUSH2 0x08f4 000008ef: JUMPI 000008f0: PUSH1 0x00 000008f2: DUP1 000008f3: REVERT 000008f4: JUMPDEST 000008f5: PUSH1 0x00 000008f7: PUSH1 0x02 000008f9: PUSH1 0x00 000008fb: DUP6 000008fc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000911: AND 00000912: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000927: AND 00000928: DUP2 00000929: MSTORE 0000092a: PUSH1 0x20 0000092c: ADD 0000092d: SWAP1 0000092e: DUP2 0000092f: MSTORE 00000930: PUSH1 0x20 00000932: ADD 00000933: PUSH1 0x00 00000935: KECCAK256 00000936: PUSH1 0x00 00000938: PUSH2 0x0100 0000093b: EXP 0000093c: DUP2 0000093d: SLOAD 0000093e: DUP2 0000093f: PUSH1 0xff 00000941: MUL 00000942: NOT 00000943: AND 00000944: SWAP1 00000945: DUP4 00000946: ISZERO 00000947: ISZERO 00000948: MUL 00000949: OR 0000094a: SWAP1 0000094b: SSTORE 0000094c: POP 0000094d: PUSH1 0x00 0000094f: SWAP2 00000950: POP 00000951: JUMPDEST 00000952: PUSH1 0x01 00000954: PUSH1 0x03 00000956: DUP1 00000957: SLOAD 00000958: SWAP1 00000959: POP 0000095a: SUB 0000095b: DUP3 0000095c: LT 0000095d: ISZERO 0000095e: PUSH2 0x0a80 00000961: JUMPI 00000962: DUP3 00000963: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000978: AND 00000979: PUSH1 0x03 0000097b: DUP4 0000097c: DUP2 0000097d: SLOAD 0000097e: DUP2 0000097f: LT 00000980: ISZERO 00000981: ISZERO 00000982: PUSH2 0x0987 00000985: JUMPI 00000986: INVALID 00000987: JUMPDEST 00000988: SWAP1 00000989: PUSH1 0x00 0000098b: MSTORE 0000098c: PUSH1 0x20 0000098e: PUSH1 0x00 00000990: KECCAK256 00000991: SWAP1 00000992: ADD 00000993: PUSH1 0x00 00000995: JUMPDEST 00000996: SWAP1 00000997: SLOAD 00000998: SWAP1 00000999: PUSH2 0x0100 0000099c: EXP 0000099d: SWAP1 0000099e: DIV 0000099f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009b4: AND 000009b5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009ca: AND 000009cb: EQ 000009cc: ISZERO 000009cd: PUSH2 0x0a72 000009d0: JUMPI 000009d1: PUSH1 0x03 000009d3: PUSH1 0x01 000009d5: PUSH1 0x03 000009d7: DUP1 000009d8: SLOAD 000009d9: SWAP1 000009da: POP 000009db: SUB 000009dc: DUP2 000009dd: SLOAD 000009de: DUP2 000009df: LT 000009e0: ISZERO 000009e1: ISZERO 000009e2: PUSH2 0x09e7 000009e5: JUMPI 000009e6: INVALID 000009e7: JUMPDEST 000009e8: SWAP1 000009e9: PUSH1 0x00 000009eb: MSTORE 000009ec: PUSH1 0x20 000009ee: PUSH1 0x00 000009f0: KECCAK256 000009f1: SWAP1 000009f2: ADD 000009f3: PUSH1 0x00 000009f5: JUMPDEST 000009f6: SWAP1 000009f7: SLOAD 000009f8: SWAP1 000009f9: PUSH2 0x0100 000009fc: EXP 000009fd: SWAP1 000009fe: DIV 000009ff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a14: AND 00000a15: PUSH1 0x03 00000a17: DUP4 00000a18: DUP2 00000a19: SLOAD 00000a1a: DUP2 00000a1b: LT 00000a1c: ISZERO 00000a1d: ISZERO 00000a1e: PUSH2 0x0a23 00000a21: JUMPI 00000a22: INVALID 00000a23: JUMPDEST 00000a24: SWAP1 00000a25: PUSH1 0x00 00000a27: MSTORE 00000a28: PUSH1 0x20 00000a2a: PUSH1 0x00 00000a2c: KECCAK256 00000a2d: SWAP1 00000a2e: ADD 00000a2f: PUSH1 0x00 00000a31: JUMPDEST 00000a32: PUSH2 0x0100 00000a35: EXP 00000a36: DUP2 00000a37: SLOAD 00000a38: DUP2 00000a39: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a4e: MUL 00000a4f: NOT 00000a50: AND 00000a51: SWAP1 00000a52: DUP4 00000a53: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a68: AND 00000a69: MUL 00000a6a: OR 00000a6b: SWAP1 00000a6c: SSTORE 00000a6d: POP 00000a6e: PUSH2 0x0a80 00000a71: JUMP 00000a72: JUMPDEST 00000a73: JUMPDEST 00000a74: DUP2 00000a75: DUP1 00000a76: PUSH1 0x01 00000a78: ADD 00000a79: SWAP3 00000a7a: POP 00000a7b: POP 00000a7c: PUSH2 0x0951 00000a7f: JUMP 00000a80: JUMPDEST 00000a81: PUSH1 0x01 00000a83: PUSH1 0x03 00000a85: DUP2 00000a86: DUP2 00000a87: DUP1 00000a88: SLOAD 00000a89: SWAP1 00000a8a: POP 00000a8b: SUB 00000a8c: SWAP2 00000a8d: POP 00000a8e: DUP2 00000a8f: PUSH2 0x0a98 00000a92: SWAP2 00000a93: SWAP1 00000a94: PUSH2 0x1eb2 00000a97: JUMP 00000a98: JUMPDEST 00000a99: POP 00000a9a: PUSH1 0x03 00000a9c: DUP1 00000a9d: SLOAD 00000a9e: SWAP1 00000a9f: POP 00000aa0: PUSH1 0x04 00000aa2: SLOAD 00000aa3: GT 00000aa4: ISZERO 00000aa5: PUSH2 0x0ab7 00000aa8: JUMPI 00000aa9: PUSH2 0x0ab6 00000aac: PUSH1 0x03 00000aae: DUP1 00000aaf: SLOAD 00000ab0: SWAP1 00000ab1: POP 00000ab2: PUSH2 0x15cb 00000ab5: JUMP 00000ab6: JUMPDEST 00000ab7: JUMPDEST 00000ab8: DUP3 00000ab9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ace: AND 00000acf: PUSH32 0x8001553a916ef2f495d26a907cc54d96ed840d7bda71e73194bf5a9df7a76b90 00000af0: PUSH1 0x40 00000af2: MLOAD 00000af3: PUSH1 0x40 00000af5: MLOAD 00000af6: DUP1 00000af7: SWAP2 00000af8: SUB 00000af9: SWAP1 00000afa: LOG2 00000afb: JUMPDEST 00000afc: JUMPDEST 00000afd: POP 00000afe: JUMPDEST 00000aff: POP 00000b00: POP 00000b01: JUMP 00000b02: JUMPDEST 00000b03: CALLER 00000b04: PUSH1 0x02 00000b06: PUSH1 0x00 00000b08: DUP3 00000b09: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b1e: AND 00000b1f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b34: AND 00000b35: DUP2 00000b36: MSTORE 00000b37: PUSH1 0x20 00000b39: ADD 00000b3a: SWAP1 00000b3b: DUP2 00000b3c: MSTORE 00000b3d: PUSH1 0x20 00000b3f: ADD 00000b40: PUSH1 0x00 00000b42: KECCAK256 00000b43: PUSH1 0x00 00000b45: SWAP1 00000b46: SLOAD 00000b47: SWAP1 00000b48: PUSH2 0x0100 00000b4b: EXP 00000b4c: SWAP1 00000b4d: DIV 00000b4e: PUSH1 0xff 00000b50: AND 00000b51: ISZERO 00000b52: ISZERO 00000b53: PUSH2 0x0b5b 00000b56: JUMPI 00000b57: PUSH1 0x00 00000b59: DUP1 00000b5a: REVERT 00000b5b: JUMPDEST 00000b5c: DUP2 00000b5d: CALLER 00000b5e: PUSH1 0x01 00000b60: PUSH1 0x00 00000b62: DUP4 00000b63: DUP2 00000b64: MSTORE 00000b65: PUSH1 0x20 00000b67: ADD 00000b68: SWAP1 00000b69: DUP2 00000b6a: MSTORE 00000b6b: PUSH1 0x20 00000b6d: ADD 00000b6e: PUSH1 0x00 00000b70: KECCAK256 00000b71: PUSH1 0x00 00000b73: DUP3 00000b74: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b89: AND 00000b8a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b9f: AND 00000ba0: DUP2 00000ba1: MSTORE 00000ba2: PUSH1 0x20 00000ba4: ADD 00000ba5: SWAP1 00000ba6: DUP2 00000ba7: MSTORE 00000ba8: PUSH1 0x20 00000baa: ADD 00000bab: PUSH1 0x00 00000bad: KECCAK256 00000bae: PUSH1 0x00 00000bb0: SWAP1 00000bb1: SLOAD 00000bb2: SWAP1 00000bb3: PUSH2 0x0100 00000bb6: EXP 00000bb7: SWAP1 00000bb8: DIV 00000bb9: PUSH1 0xff 00000bbb: AND 00000bbc: ISZERO 00000bbd: ISZERO 00000bbe: PUSH2 0x0bc6 00000bc1: JUMPI 00000bc2: PUSH1 0x00 00000bc4: DUP1 00000bc5: REVERT 00000bc6: JUMPDEST 00000bc7: DUP4 00000bc8: PUSH1 0x00 00000bca: DUP1 00000bcb: DUP3 00000bcc: DUP2 00000bcd: MSTORE 00000bce: PUSH1 0x20 00000bd0: ADD 00000bd1: SWAP1 00000bd2: DUP2 00000bd3: MSTORE 00000bd4: PUSH1 0x20 00000bd6: ADD 00000bd7: PUSH1 0x00 00000bd9: KECCAK256 00000bda: PUSH1 0x03 00000bdc: ADD 00000bdd: PUSH1 0x00 00000bdf: SWAP1 00000be0: SLOAD 00000be1: SWAP1 00000be2: PUSH2 0x0100 00000be5: EXP 00000be6: SWAP1 00000be7: DIV 00000be8: PUSH1 0xff 00000bea: AND 00000beb: ISZERO 00000bec: PUSH2 0x0bf4 00000bef: JUMPI 00000bf0: PUSH1 0x00 00000bf2: DUP1 00000bf3: REVERT 00000bf4: JUMPDEST 00000bf5: PUSH1 0x00 00000bf7: PUSH1 0x01 00000bf9: PUSH1 0x00 00000bfb: DUP8 00000bfc: DUP2 00000bfd: MSTORE 00000bfe: PUSH1 0x20 00000c00: ADD 00000c01: SWAP1 00000c02: DUP2 00000c03: MSTORE 00000c04: PUSH1 0x20 00000c06: ADD 00000c07: PUSH1 0x00 00000c09: KECCAK256 00000c0a: PUSH1 0x00 00000c0c: CALLER 00000c0d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c22: AND 00000c23: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c38: AND 00000c39: DUP2 00000c3a: MSTORE 00000c3b: PUSH1 0x20 00000c3d: ADD 00000c3e: SWAP1 00000c3f: DUP2 00000c40: MSTORE 00000c41: PUSH1 0x20 00000c43: ADD 00000c44: PUSH1 0x00 00000c46: KECCAK256 00000c47: PUSH1 0x00 00000c49: PUSH2 0x0100 00000c4c: EXP 00000c4d: DUP2 00000c4e: SLOAD 00000c4f: DUP2 00000c50: PUSH1 0xff 00000c52: MUL 00000c53: NOT 00000c54: AND 00000c55: SWAP1 00000c56: DUP4 00000c57: ISZERO 00000c58: ISZERO 00000c59: MUL 00000c5a: OR 00000c5b: SWAP1 00000c5c: SSTORE 00000c5d: POP 00000c5e: DUP5 00000c5f: CALLER 00000c60: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c75: AND 00000c76: PUSH32 0xf6a317157440607f36269043eb55f1287a5a19ba2216afeab88cd46cbcfb88e9 00000c97: PUSH1 0x40 00000c99: MLOAD 00000c9a: PUSH1 0x40 00000c9c: MLOAD 00000c9d: DUP1 00000c9e: SWAP2 00000c9f: SUB 00000ca0: SWAP1 00000ca1: LOG3 00000ca2: JUMPDEST 00000ca3: JUMPDEST 00000ca4: POP 00000ca5: JUMPDEST 00000ca6: POP 00000ca7: POP 00000ca8: JUMPDEST 00000ca9: POP 00000caa: POP 00000cab: JUMP 00000cac: JUMPDEST 00000cad: PUSH1 0x02 00000caf: PUSH1 0x20 00000cb1: MSTORE 00000cb2: DUP1 00000cb3: PUSH1 0x00 00000cb5: MSTORE 00000cb6: PUSH1 0x40 00000cb8: PUSH1 0x00 00000cba: KECCAK256 00000cbb: PUSH1 0x00 00000cbd: SWAP2 00000cbe: POP 00000cbf: SLOAD 00000cc0: SWAP1 00000cc1: PUSH2 0x0100 00000cc4: EXP 00000cc5: SWAP1 00000cc6: DIV 00000cc7: PUSH1 0xff 00000cc9: AND 00000cca: DUP2 00000ccb: JUMP 00000ccc: JUMPDEST 00000ccd: PUSH1 0x01 00000ccf: PUSH1 0x20 00000cd1: MSTORE 00000cd2: DUP2 00000cd3: PUSH1 0x00 00000cd5: MSTORE 00000cd6: PUSH1 0x40 00000cd8: PUSH1 0x00 00000cda: KECCAK256 00000cdb: PUSH1 0x20 00000cdd: MSTORE 00000cde: DUP1 00000cdf: PUSH1 0x00 00000ce1: MSTORE 00000ce2: PUSH1 0x40 00000ce4: PUSH1 0x00 00000ce6: KECCAK256 00000ce7: PUSH1 0x00 00000ce9: SWAP2 00000cea: POP 00000ceb: SWAP2 00000cec: POP 00000ced: SWAP1 00000cee: SLOAD 00000cef: SWAP1 00000cf0: PUSH2 0x0100 00000cf3: EXP 00000cf4: SWAP1 00000cf5: DIV 00000cf6: PUSH1 0xff 00000cf8: AND 00000cf9: DUP2 00000cfa: JUMP 00000cfb: JUMPDEST 00000cfc: PUSH1 0x00 00000cfe: DUP1 00000cff: PUSH1 0x00 00000d01: SWAP1 00000d02: POP 00000d03: JUMPDEST 00000d04: PUSH1 0x05 00000d06: SLOAD 00000d07: DUP2 00000d08: LT 00000d09: ISZERO 00000d0a: PUSH2 0x0d87 00000d0d: JUMPI 00000d0e: DUP4 00000d0f: DUP1 00000d10: ISZERO 00000d11: PUSH2 0x0d3a 00000d14: JUMPI 00000d15: POP 00000d16: PUSH1 0x00 00000d18: DUP1 00000d19: DUP3 00000d1a: DUP2 00000d1b: MSTORE 00000d1c: PUSH1 0x20 00000d1e: ADD 00000d1f: SWAP1 00000d20: DUP2 00000d21: MSTORE 00000d22: PUSH1 0x20 00000d24: ADD 00000d25: PUSH1 0x00 00000d27: KECCAK256 00000d28: PUSH1 0x03 00000d2a: ADD 00000d2b: PUSH1 0x00 00000d2d: SWAP1 00000d2e: SLOAD 00000d2f: SWAP1 00000d30: PUSH2 0x0100 00000d33: EXP 00000d34: SWAP1 00000d35: DIV 00000d36: PUSH1 0xff 00000d38: AND 00000d39: ISZERO 00000d3a: JUMPDEST 00000d3b: DUP1 00000d3c: PUSH2 0x0d6d 00000d3f: JUMPI 00000d40: POP 00000d41: DUP3 00000d42: DUP1 00000d43: ISZERO 00000d44: PUSH2 0x0d6c 00000d47: JUMPI 00000d48: POP 00000d49: PUSH1 0x00 00000d4b: DUP1 00000d4c: DUP3 00000d4d: DUP2 00000d4e: MSTORE 00000d4f: PUSH1 0x20 00000d51: ADD 00000d52: SWAP1 00000d53: DUP2 00000d54: MSTORE 00000d55: PUSH1 0x20 00000d57: ADD 00000d58: PUSH1 0x00 00000d5a: KECCAK256 00000d5b: PUSH1 0x03 00000d5d: ADD 00000d5e: PUSH1 0x00 00000d60: SWAP1 00000d61: SLOAD 00000d62: SWAP1 00000d63: PUSH2 0x0100 00000d66: EXP 00000d67: SWAP1 00000d68: DIV 00000d69: PUSH1 0xff 00000d6b: AND 00000d6c: JUMPDEST 00000d6d: JUMPDEST 00000d6e: ISZERO 00000d6f: PUSH2 0x0d79 00000d72: JUMPI 00000d73: PUSH1 0x01 00000d75: DUP3 00000d76: ADD 00000d77: SWAP2 00000d78: POP 00000d79: JUMPDEST 00000d7a: JUMPDEST 00000d7b: DUP1 00000d7c: DUP1 00000d7d: PUSH1 0x01 00000d7f: ADD 00000d80: SWAP2 00000d81: POP 00000d82: POP 00000d83: PUSH2 0x0d03 00000d86: JUMP 00000d87: JUMPDEST 00000d88: JUMPDEST 00000d89: POP 00000d8a: SWAP3 00000d8b: SWAP2 00000d8c: POP 00000d8d: POP 00000d8e: JUMP 00000d8f: JUMPDEST 00000d90: ADDRESS 00000d91: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000da6: AND 00000da7: CALLER 00000da8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000dbd: AND 00000dbe: EQ 00000dbf: ISZERO 00000dc0: ISZERO 00000dc1: PUSH2 0x0dc9 00000dc4: JUMPI 00000dc5: PUSH1 0x00 00000dc7: DUP1 00000dc8: REVERT 00000dc9: JUMPDEST 00000dca: DUP1 00000dcb: PUSH1 0x02 00000dcd: PUSH1 0x00 00000dcf: DUP3 00000dd0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000de5: AND 00000de6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000dfb: AND 00000dfc: DUP2 00000dfd: MSTORE 00000dfe: PUSH1 0x20 00000e00: ADD 00000e01: SWAP1 00000e02: DUP2 00000e03: MSTORE 00000e04: PUSH1 0x20 00000e06: ADD 00000e07: PUSH1 0x00 00000e09: KECCAK256 00000e0a: PUSH1 0x00 00000e0c: SWAP1 00000e0d: SLOAD 00000e0e: SWAP1 00000e0f: PUSH2 0x0100 00000e12: EXP 00000e13: SWAP1 00000e14: DIV 00000e15: PUSH1 0xff 00000e17: AND 00000e18: ISZERO 00000e19: PUSH2 0x0e21 00000e1c: JUMPI 00000e1d: PUSH1 0x00 00000e1f: DUP1 00000e20: REVERT 00000e21: JUMPDEST 00000e22: DUP2 00000e23: PUSH1 0x00 00000e25: DUP2 00000e26: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e3b: AND 00000e3c: EQ 00000e3d: ISZERO 00000e3e: PUSH2 0x0e46 00000e41: JUMPI 00000e42: PUSH1 0x00 00000e44: DUP1 00000e45: REVERT 00000e46: JUMPDEST 00000e47: PUSH1 0x01 00000e49: PUSH1 0x03 00000e4b: DUP1 00000e4c: SLOAD 00000e4d: SWAP1 00000e4e: POP 00000e4f: ADD 00000e50: PUSH1 0x04 00000e52: SLOAD 00000e53: PUSH1 0x32 00000e55: DUP3 00000e56: GT 00000e57: DUP1 00000e58: PUSH2 0x0e60 00000e5b: JUMPI 00000e5c: POP 00000e5d: DUP2 00000e5e: DUP2 00000e5f: GT 00000e60: JUMPDEST 00000e61: DUP1 00000e62: PUSH2 0x0e6b 00000e65: JUMPI 00000e66: POP 00000e67: PUSH1 0x00 00000e69: DUP2 00000e6a: EQ 00000e6b: JUMPDEST 00000e6c: DUP1 00000e6d: PUSH2 0x0e76 00000e70: JUMPI 00000e71: POP 00000e72: PUSH1 0x00 00000e74: DUP3 00000e75: EQ 00000e76: JUMPDEST 00000e77: ISZERO 00000e78: PUSH2 0x0e80 00000e7b: JUMPI 00000e7c: PUSH1 0x00 00000e7e: DUP1 00000e7f: REVERT 00000e80: JUMPDEST 00000e81: PUSH1 0x01 00000e83: PUSH1 0x02 00000e85: PUSH1 0x00 00000e87: DUP8 00000e88: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e9d: AND 00000e9e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000eb3: AND 00000eb4: DUP2 00000eb5: MSTORE 00000eb6: PUSH1 0x20 00000eb8: ADD 00000eb9: SWAP1 00000eba: DUP2 00000ebb: MSTORE 00000ebc: PUSH1 0x20 00000ebe: ADD 00000ebf: PUSH1 0x00 00000ec1: KECCAK256 00000ec2: PUSH1 0x00 00000ec4: PUSH2 0x0100 00000ec7: EXP 00000ec8: DUP2 00000ec9: SLOAD 00000eca: DUP2 00000ecb: PUSH1 0xff 00000ecd: MUL 00000ece: NOT 00000ecf: AND 00000ed0: SWAP1 00000ed1: DUP4 00000ed2: ISZERO 00000ed3: ISZERO 00000ed4: MUL 00000ed5: OR 00000ed6: SWAP1 00000ed7: SSTORE 00000ed8: POP 00000ed9: PUSH1 0x03 00000edb: DUP1 00000edc: SLOAD 00000edd: DUP1 00000ede: PUSH1 0x01 00000ee0: ADD 00000ee1: DUP3 00000ee2: DUP2 00000ee3: PUSH2 0x0eec 00000ee6: SWAP2 00000ee7: SWAP1 00000ee8: PUSH2 0x1ede 00000eeb: JUMP 00000eec: JUMPDEST 00000eed: SWAP2 00000eee: PUSH1 0x00 00000ef0: MSTORE 00000ef1: PUSH1 0x20 00000ef3: PUSH1 0x00 00000ef5: KECCAK256 00000ef6: SWAP1 00000ef7: ADD 00000ef8: PUSH1 0x00 00000efa: JUMPDEST 00000efb: DUP8 00000efc: SWAP1 00000efd: SWAP2 00000efe: SWAP1 00000eff: SWAP2 00000f00: PUSH2 0x0100 00000f03: EXP 00000f04: DUP2 00000f05: SLOAD 00000f06: DUP2 00000f07: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f1c: MUL 00000f1d: NOT 00000f1e: AND 00000f1f: SWAP1 00000f20: DUP4 00000f21: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f36: AND 00000f37: MUL 00000f38: OR 00000f39: SWAP1 00000f3a: SSTORE 00000f3b: POP 00000f3c: POP 00000f3d: DUP5 00000f3e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f53: AND 00000f54: PUSH32 0xf39e6e1eb0edcf53c221607b54b00cd28f3196fed0a24994dc308b8f611b682d 00000f75: PUSH1 0x40 00000f77: MLOAD 00000f78: PUSH1 0x40 00000f7a: MLOAD 00000f7b: DUP1 00000f7c: SWAP2 00000f7d: SUB 00000f7e: SWAP1 00000f7f: LOG2 00000f80: JUMPDEST 00000f81: JUMPDEST 00000f82: POP 00000f83: POP 00000f84: JUMPDEST 00000f85: POP 00000f86: JUMPDEST 00000f87: POP 00000f88: JUMPDEST 00000f89: POP 00000f8a: JUMP 00000f8b: JUMPDEST 00000f8c: PUSH1 0x00 00000f8e: DUP1 00000f8f: PUSH1 0x00 00000f91: DUP1 00000f92: SWAP2 00000f93: POP 00000f94: PUSH1 0x00 00000f96: SWAP1 00000f97: POP 00000f98: JUMPDEST 00000f99: PUSH1 0x03 00000f9b: DUP1 00000f9c: SLOAD 00000f9d: SWAP1 00000f9e: POP 00000f9f: DUP2 00000fa0: LT 00000fa1: ISZERO 00000fa2: PUSH2 0x106b 00000fa5: JUMPI 00000fa6: PUSH1 0x01 00000fa8: PUSH1 0x00 00000faa: DUP6 00000fab: DUP2 00000fac: MSTORE 00000fad: PUSH1 0x20 00000faf: ADD 00000fb0: SWAP1 00000fb1: DUP2 00000fb2: MSTORE 00000fb3: PUSH1 0x20 00000fb5: ADD 00000fb6: PUSH1 0x00 00000fb8: KECCAK256 00000fb9: PUSH1 0x00 00000fbb: PUSH1 0x03 00000fbd: DUP4 00000fbe: DUP2 00000fbf: SLOAD 00000fc0: DUP2 00000fc1: LT 00000fc2: ISZERO 00000fc3: ISZERO 00000fc4: PUSH2 0x0fc9 00000fc7: JUMPI 00000fc8: INVALID 00000fc9: JUMPDEST 00000fca: SWAP1 00000fcb: PUSH1 0x00 00000fcd: MSTORE 00000fce: PUSH1 0x20 00000fd0: PUSH1 0x00 00000fd2: KECCAK256 00000fd3: SWAP1 00000fd4: ADD 00000fd5: PUSH1 0x00 00000fd7: JUMPDEST 00000fd8: SWAP1 00000fd9: SLOAD 00000fda: SWAP1 00000fdb: PUSH2 0x0100 00000fde: EXP 00000fdf: SWAP1 00000fe0: DIV 00000fe1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ff6: AND 00000ff7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000100c: AND 0000100d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001022: AND 00001023: DUP2 00001024: MSTORE 00001025: PUSH1 0x20 00001027: ADD 00001028: SWAP1 00001029: DUP2 0000102a: MSTORE 0000102b: PUSH1 0x20 0000102d: ADD 0000102e: PUSH1 0x00 00001030: KECCAK256 00001031: PUSH1 0x00 00001033: SWAP1 00001034: SLOAD 00001035: SWAP1 00001036: PUSH2 0x0100 00001039: EXP 0000103a: SWAP1 0000103b: DIV 0000103c: PUSH1 0xff 0000103e: AND 0000103f: ISZERO 00001040: PUSH2 0x104a 00001043: JUMPI 00001044: PUSH1 0x01 00001046: DUP3 00001047: ADD 00001048: SWAP2 00001049: POP 0000104a: JUMPDEST 0000104b: PUSH1 0x04 0000104d: SLOAD 0000104e: DUP3 0000104f: EQ 00001050: ISZERO 00001051: PUSH2 0x105d 00001054: JUMPI 00001055: PUSH1 0x01 00001057: SWAP3 00001058: POP 00001059: PUSH2 0x106c 0000105c: JUMP 0000105d: JUMPDEST 0000105e: JUMPDEST 0000105f: DUP1 00001060: DUP1 00001061: PUSH1 0x01 00001063: ADD 00001064: SWAP2 00001065: POP 00001066: POP 00001067: PUSH2 0x0f98 0000106a: JUMP 0000106b: JUMPDEST 0000106c: JUMPDEST 0000106d: POP 0000106e: POP 0000106f: SWAP2 00001070: SWAP1 00001071: POP 00001072: JUMP 00001073: JUMPDEST 00001074: PUSH1 0x00 00001076: DUP1 00001077: PUSH1 0x00 00001079: SWAP1 0000107a: POP 0000107b: JUMPDEST 0000107c: PUSH1 0x03 0000107e: DUP1 0000107f: SLOAD 00001080: SWAP1 00001081: POP 00001082: DUP2 00001083: LT 00001084: ISZERO 00001085: PUSH2 0x113b 00001088: JUMPI 00001089: PUSH1 0x01 0000108b: PUSH1 0x00 0000108d: DUP5 0000108e: DUP2 0000108f: MSTORE 00001090: PUSH1 0x20 00001092: ADD 00001093: SWAP1 00001094: DUP2 00001095: MSTORE 00001096: PUSH1 0x20 00001098: ADD 00001099: PUSH1 0x00 0000109b: KECCAK256 0000109c: PUSH1 0x00 0000109e: PUSH1 0x03 000010a0: DUP4 000010a1: DUP2 000010a2: SLOAD 000010a3: DUP2 000010a4: LT 000010a5: ISZERO 000010a6: ISZERO 000010a7: PUSH2 0x10ac 000010aa: JUMPI 000010ab: INVALID 000010ac: JUMPDEST 000010ad: SWAP1 000010ae: PUSH1 0x00 000010b0: MSTORE 000010b1: PUSH1 0x20 000010b3: PUSH1 0x00 000010b5: KECCAK256 000010b6: SWAP1 000010b7: ADD 000010b8: PUSH1 0x00 000010ba: JUMPDEST 000010bb: SWAP1 000010bc: SLOAD 000010bd: SWAP1 000010be: PUSH2 0x0100 000010c1: EXP 000010c2: SWAP1 000010c3: DIV 000010c4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010d9: AND 000010da: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010ef: AND 000010f0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001105: AND 00001106: DUP2 00001107: MSTORE 00001108: PUSH1 0x20 0000110a: ADD 0000110b: SWAP1 0000110c: DUP2 0000110d: MSTORE 0000110e: PUSH1 0x20 00001110: ADD 00001111: PUSH1 0x00 00001113: KECCAK256 00001114: PUSH1 0x00 00001116: SWAP1 00001117: SLOAD 00001118: SWAP1 00001119: PUSH2 0x0100 0000111c: EXP 0000111d: SWAP1 0000111e: DIV 0000111f: PUSH1 0xff 00001121: AND 00001122: ISZERO 00001123: PUSH2 0x112d 00001126: JUMPI 00001127: PUSH1 0x01 00001129: DUP3 0000112a: ADD 0000112b: SWAP2 0000112c: POP 0000112d: JUMPDEST 0000112e: JUMPDEST 0000112f: DUP1 00001130: DUP1 00001131: PUSH1 0x01 00001133: ADD 00001134: SWAP2 00001135: POP 00001136: POP 00001137: PUSH2 0x107b 0000113a: JUMP 0000113b: JUMPDEST 0000113c: JUMPDEST 0000113d: POP 0000113e: SWAP2 0000113f: SWAP1 00001140: POP 00001141: JUMP 00001142: JUMPDEST 00001143: PUSH1 0x00 00001145: PUSH1 0x20 00001147: MSTORE 00001148: DUP1 00001149: PUSH1 0x00 0000114b: MSTORE 0000114c: PUSH1 0x40 0000114e: PUSH1 0x00 00001150: KECCAK256 00001151: PUSH1 0x00 00001153: SWAP2 00001154: POP 00001155: SWAP1 00001156: POP 00001157: DUP1 00001158: PUSH1 0x00 0000115a: ADD 0000115b: PUSH1 0x00 0000115d: SWAP1 0000115e: SLOAD 0000115f: SWAP1 00001160: PUSH2 0x0100 00001163: EXP 00001164: SWAP1 00001165: DIV 00001166: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000117b: AND 0000117c: SWAP1 0000117d: DUP1 0000117e: PUSH1 0x01 00001180: ADD 00001181: SLOAD 00001182: SWAP1 00001183: DUP1 00001184: PUSH1 0x02 00001186: ADD 00001187: SWAP1 00001188: DUP1 00001189: PUSH1 0x03 0000118b: ADD 0000118c: PUSH1 0x00 0000118e: SWAP1 0000118f: SLOAD 00001190: SWAP1 00001191: PUSH2 0x0100 00001194: EXP 00001195: SWAP1 00001196: DIV 00001197: PUSH1 0xff 00001199: AND 0000119a: SWAP1 0000119b: POP 0000119c: DUP5 0000119d: JUMP 0000119e: JUMPDEST 0000119f: PUSH2 0x11a6 000011a2: PUSH2 0x1f0a 000011a5: JUMP 000011a6: JUMPDEST 000011a7: PUSH1 0x03 000011a9: DUP1 000011aa: SLOAD 000011ab: DUP1 000011ac: PUSH1 0x20 000011ae: MUL 000011af: PUSH1 0x20 000011b1: ADD 000011b2: PUSH1 0x40 000011b4: MLOAD 000011b5: SWAP1 000011b6: DUP2 000011b7: ADD 000011b8: PUSH1 0x40 000011ba: MSTORE 000011bb: DUP1 000011bc: SWAP3 000011bd: SWAP2 000011be: SWAP1 000011bf: DUP2 000011c0: DUP2 000011c1: MSTORE 000011c2: PUSH1 0x20 000011c4: ADD 000011c5: DUP3 000011c6: DUP1 000011c7: SLOAD 000011c8: DUP1 000011c9: ISZERO 000011ca: PUSH2 0x1228 000011cd: JUMPI 000011ce: PUSH1 0x20 000011d0: MUL 000011d1: DUP3 000011d2: ADD 000011d3: SWAP2 000011d4: SWAP1 000011d5: PUSH1 0x00 000011d7: MSTORE 000011d8: PUSH1 0x20 000011da: PUSH1 0x00 000011dc: KECCAK256 000011dd: SWAP1 000011de: JUMPDEST 000011df: DUP2 000011e0: PUSH1 0x00 000011e2: SWAP1 000011e3: SLOAD 000011e4: SWAP1 000011e5: PUSH2 0x0100 000011e8: EXP 000011e9: SWAP1 000011ea: DIV 000011eb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001200: AND 00001201: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001216: AND 00001217: DUP2 00001218: MSTORE 00001219: PUSH1 0x20 0000121b: ADD 0000121c: SWAP1 0000121d: PUSH1 0x01 0000121f: ADD 00001220: SWAP1 00001221: DUP1 00001222: DUP4 00001223: GT 00001224: PUSH2 0x11de 00001227: JUMPI 00001228: JUMPDEST 00001229: POP 0000122a: POP 0000122b: POP 0000122c: POP 0000122d: POP 0000122e: SWAP1 0000122f: POP 00001230: JUMPDEST 00001231: SWAP1 00001232: JUMP 00001233: JUMPDEST 00001234: PUSH2 0x123b 00001237: PUSH2 0x1f1e 0000123a: JUMP 0000123b: JUMPDEST 0000123c: PUSH2 0x1243 0000123f: PUSH2 0x1f1e 00001242: JUMP 00001243: JUMPDEST 00001244: PUSH1 0x00 00001246: DUP1 00001247: PUSH1 0x05 00001249: SLOAD 0000124a: PUSH1 0x40 0000124c: MLOAD 0000124d: DUP1 0000124e: MSIZE 0000124f: LT 00001250: PUSH2 0x1256 00001253: JUMPI 00001254: POP 00001255: MSIZE 00001256: JUMPDEST 00001257: SWAP1 00001258: DUP1 00001259: DUP3 0000125a: MSTORE 0000125b: DUP1 0000125c: PUSH1 0x20 0000125e: MUL 0000125f: PUSH1 0x20 00001261: ADD 00001262: DUP3 00001263: ADD 00001264: PUSH1 0x40 00001266: MSTORE 00001267: JUMPDEST 00001268: POP 00001269: SWAP3 0000126a: POP 0000126b: PUSH1 0x00 0000126d: SWAP2 0000126e: POP 0000126f: PUSH1 0x00 00001271: SWAP1 00001272: POP 00001273: JUMPDEST 00001274: PUSH1 0x05 00001276: SLOAD 00001277: DUP2 00001278: LT 00001279: ISZERO 0000127a: PUSH2 0x1314 0000127d: JUMPI 0000127e: DUP6 0000127f: DUP1 00001280: ISZERO 00001281: PUSH2 0x12aa 00001284: JUMPI 00001285: POP 00001286: PUSH1 0x00 00001288: DUP1 00001289: DUP3 0000128a: DUP2 0000128b: MSTORE 0000128c: PUSH1 0x20 0000128e: ADD 0000128f: SWAP1 00001290: DUP2 00001291: MSTORE 00001292: PUSH1 0x20 00001294: ADD 00001295: PUSH1 0x00 00001297: KECCAK256 00001298: PUSH1 0x03 0000129a: ADD 0000129b: PUSH1 0x00 0000129d: SWAP1 0000129e: SLOAD 0000129f: SWAP1 000012a0: PUSH2 0x0100 000012a3: EXP 000012a4: SWAP1 000012a5: DIV 000012a6: PUSH1 0xff 000012a8: AND 000012a9: ISZERO 000012aa: JUMPDEST 000012ab: DUP1 000012ac: PUSH2 0x12dd 000012af: JUMPI 000012b0: POP 000012b1: DUP5 000012b2: DUP1 000012b3: ISZERO 000012b4: PUSH2 0x12dc 000012b7: JUMPI 000012b8: POP 000012b9: PUSH1 0x00 000012bb: DUP1 000012bc: DUP3 000012bd: DUP2 000012be: MSTORE 000012bf: PUSH1 0x20 000012c1: ADD 000012c2: SWAP1 000012c3: DUP2 000012c4: MSTORE 000012c5: PUSH1 0x20 000012c7: ADD 000012c8: PUSH1 0x00 000012ca: KECCAK256 000012cb: PUSH1 0x03 000012cd: ADD 000012ce: PUSH1 0x00 000012d0: SWAP1 000012d1: SLOAD 000012d2: SWAP1 000012d3: PUSH2 0x0100 000012d6: EXP 000012d7: SWAP1 000012d8: DIV 000012d9: PUSH1 0xff 000012db: AND 000012dc: JUMPDEST 000012dd: JUMPDEST 000012de: ISZERO 000012df: PUSH2 0x1306 000012e2: JUMPI 000012e3: DUP1 000012e4: DUP4 000012e5: DUP4 000012e6: DUP2 000012e7: MLOAD 000012e8: DUP2 000012e9: LT 000012ea: ISZERO 000012eb: ISZERO 000012ec: PUSH2 0x12f1 000012ef: JUMPI 000012f0: INVALID 000012f1: JUMPDEST 000012f2: SWAP1 000012f3: PUSH1 0x20 000012f5: ADD 000012f6: SWAP1 000012f7: PUSH1 0x20 000012f9: MUL 000012fa: ADD 000012fb: DUP2 000012fc: DUP2 000012fd: MSTORE 000012fe: POP 000012ff: POP 00001300: PUSH1 0x01 00001302: DUP3 00001303: ADD 00001304: SWAP2 00001305: POP 00001306: JUMPDEST 00001307: JUMPDEST 00001308: DUP1 00001309: DUP1 0000130a: PUSH1 0x01 0000130c: ADD 0000130d: SWAP2 0000130e: POP 0000130f: POP 00001310: PUSH2 0x1273 00001313: JUMP 00001314: JUMPDEST 00001315: DUP8 00001316: DUP8 00001317: SUB 00001318: PUSH1 0x40 0000131a: MLOAD 0000131b: DUP1 0000131c: MSIZE 0000131d: LT 0000131e: PUSH2 0x1324 00001321: JUMPI 00001322: POP 00001323: MSIZE 00001324: JUMPDEST 00001325: SWAP1 00001326: DUP1 00001327: DUP3 00001328: MSTORE 00001329: DUP1 0000132a: PUSH1 0x20 0000132c: MUL 0000132d: PUSH1 0x20 0000132f: ADD 00001330: DUP3 00001331: ADD 00001332: PUSH1 0x40 00001334: MSTORE 00001335: JUMPDEST 00001336: POP 00001337: SWAP4 00001338: POP 00001339: DUP8 0000133a: SWAP1 0000133b: POP 0000133c: JUMPDEST 0000133d: DUP7 0000133e: DUP2 0000133f: LT 00001340: ISZERO 00001341: PUSH2 0x1388 00001344: JUMPI 00001345: DUP3 00001346: DUP2 00001347: DUP2 00001348: MLOAD 00001349: DUP2 0000134a: LT 0000134b: ISZERO 0000134c: ISZERO 0000134d: PUSH2 0x1352 00001350: JUMPI 00001351: INVALID 00001352: JUMPDEST 00001353: SWAP1 00001354: PUSH1 0x20 00001356: ADD 00001357: SWAP1 00001358: PUSH1 0x20 0000135a: MUL 0000135b: ADD 0000135c: MLOAD 0000135d: DUP5 0000135e: DUP10 0000135f: DUP4 00001360: SUB 00001361: DUP2 00001362: MLOAD 00001363: DUP2 00001364: LT 00001365: ISZERO 00001366: ISZERO 00001367: PUSH2 0x136c 0000136a: JUMPI 0000136b: INVALID 0000136c: JUMPDEST 0000136d: SWAP1 0000136e: PUSH1 0x20 00001370: ADD 00001371: SWAP1 00001372: PUSH1 0x20 00001374: MUL 00001375: ADD 00001376: DUP2 00001377: DUP2 00001378: MSTORE 00001379: POP 0000137a: POP 0000137b: JUMPDEST 0000137c: DUP1 0000137d: DUP1 0000137e: PUSH1 0x01 00001380: ADD 00001381: SWAP2 00001382: POP 00001383: POP 00001384: PUSH2 0x133c 00001387: JUMP 00001388: JUMPDEST 00001389: JUMPDEST 0000138a: POP 0000138b: POP 0000138c: POP 0000138d: SWAP5 0000138e: SWAP4 0000138f: POP 00001390: POP 00001391: POP 00001392: POP 00001393: JUMP 00001394: JUMPDEST 00001395: PUSH2 0x139c 00001398: PUSH2 0x1f0a 0000139b: JUMP 0000139c: JUMPDEST 0000139d: PUSH2 0x13a4 000013a0: PUSH2 0x1f0a 000013a3: JUMP 000013a4: JUMPDEST 000013a5: PUSH1 0x00 000013a7: DUP1 000013a8: PUSH1 0x03 000013aa: DUP1 000013ab: SLOAD 000013ac: SWAP1 000013ad: POP 000013ae: PUSH1 0x40 000013b0: MLOAD 000013b1: DUP1 000013b2: MSIZE 000013b3: LT 000013b4: PUSH2 0x13ba 000013b7: JUMPI 000013b8: POP 000013b9: MSIZE 000013ba: JUMPDEST 000013bb: SWAP1 000013bc: DUP1 000013bd: DUP3 000013be: MSTORE 000013bf: DUP1 000013c0: PUSH1 0x20 000013c2: MUL 000013c3: PUSH1 0x20 000013c5: ADD 000013c6: DUP3 000013c7: ADD 000013c8: PUSH1 0x40 000013ca: MSTORE 000013cb: JUMPDEST 000013cc: POP 000013cd: SWAP3 000013ce: POP 000013cf: PUSH1 0x00 000013d1: SWAP2 000013d2: POP 000013d3: PUSH1 0x00 000013d5: SWAP1 000013d6: POP 000013d7: JUMPDEST 000013d8: PUSH1 0x03 000013da: DUP1 000013db: SLOAD 000013dc: SWAP1 000013dd: POP 000013de: DUP2 000013df: LT 000013e0: ISZERO 000013e1: PUSH2 0x151d 000013e4: JUMPI 000013e5: PUSH1 0x01 000013e7: PUSH1 0x00 000013e9: DUP7 000013ea: DUP2 000013eb: MSTORE 000013ec: PUSH1 0x20 000013ee: ADD 000013ef: SWAP1 000013f0: DUP2 000013f1: MSTORE 000013f2: PUSH1 0x20 000013f4: ADD 000013f5: PUSH1 0x00 000013f7: KECCAK256 000013f8: PUSH1 0x00 000013fa: PUSH1 0x03 000013fc: DUP4 000013fd: DUP2 000013fe: SLOAD 000013ff: DUP2 00001400: LT 00001401: ISZERO 00001402: ISZERO 00001403: PUSH2 0x1408 00001406: JUMPI 00001407: INVALID 00001408: JUMPDEST 00001409: SWAP1 0000140a: PUSH1 0x00 0000140c: MSTORE 0000140d: PUSH1 0x20 0000140f: PUSH1 0x00 00001411: KECCAK256 00001412: SWAP1 00001413: ADD 00001414: PUSH1 0x00 00001416: JUMPDEST 00001417: SWAP1 00001418: SLOAD 00001419: SWAP1 0000141a: PUSH2 0x0100 0000141d: EXP 0000141e: SWAP1 0000141f: DIV 00001420: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001435: AND 00001436: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000144b: AND 0000144c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001461: AND 00001462: DUP2 00001463: MSTORE 00001464: PUSH1 0x20 00001466: ADD 00001467: SWAP1 00001468: DUP2 00001469: MSTORE 0000146a: PUSH1 0x20 0000146c: ADD 0000146d: PUSH1 0x00 0000146f: KECCAK256 00001470: PUSH1 0x00 00001472: SWAP1 00001473: SLOAD 00001474: SWAP1 00001475: PUSH2 0x0100 00001478: EXP 00001479: SWAP1 0000147a: DIV 0000147b: PUSH1 0xff 0000147d: AND 0000147e: ISZERO 0000147f: PUSH2 0x150f 00001482: JUMPI 00001483: PUSH1 0x03 00001485: DUP2 00001486: DUP2 00001487: SLOAD 00001488: DUP2 00001489: LT 0000148a: ISZERO 0000148b: ISZERO 0000148c: PUSH2 0x1491 0000148f: JUMPI 00001490: INVALID 00001491: JUMPDEST 00001492: SWAP1 00001493: PUSH1 0x00 00001495: MSTORE 00001496: PUSH1 0x20 00001498: PUSH1 0x00 0000149a: KECCAK256 0000149b: SWAP1 0000149c: ADD 0000149d: PUSH1 0x00 0000149f: JUMPDEST 000014a0: SWAP1 000014a1: SLOAD 000014a2: SWAP1 000014a3: PUSH2 0x0100 000014a6: EXP 000014a7: SWAP1 000014a8: DIV 000014a9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014be: AND 000014bf: DUP4 000014c0: DUP4 000014c1: DUP2 000014c2: MLOAD 000014c3: DUP2 000014c4: LT 000014c5: ISZERO 000014c6: ISZERO 000014c7: PUSH2 0x14cc 000014ca: JUMPI 000014cb: INVALID 000014cc: JUMPDEST 000014cd: SWAP1 000014ce: PUSH1 0x20 000014d0: ADD 000014d1: SWAP1 000014d2: PUSH1 0x20 000014d4: MUL 000014d5: ADD 000014d6: SWAP1 000014d7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014ec: AND 000014ed: SWAP1 000014ee: DUP2 000014ef: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001504: AND 00001505: DUP2 00001506: MSTORE 00001507: POP 00001508: POP 00001509: PUSH1 0x01 0000150b: DUP3 0000150c: ADD 0000150d: SWAP2 0000150e: POP 0000150f: JUMPDEST 00001510: JUMPDEST 00001511: DUP1 00001512: DUP1 00001513: PUSH1 0x01 00001515: ADD 00001516: SWAP2 00001517: POP 00001518: POP 00001519: PUSH2 0x13d7 0000151c: JUMP 0000151d: JUMPDEST 0000151e: DUP2 0000151f: PUSH1 0x40 00001521: MLOAD 00001522: DUP1 00001523: MSIZE 00001524: LT 00001525: PUSH2 0x152b 00001528: JUMPI 00001529: POP 0000152a: MSIZE 0000152b: JUMPDEST 0000152c: SWAP1 0000152d: DUP1 0000152e: DUP3 0000152f: MSTORE 00001530: DUP1 00001531: PUSH1 0x20 00001533: MUL 00001534: PUSH1 0x20 00001536: ADD 00001537: DUP3 00001538: ADD 00001539: PUSH1 0x40 0000153b: MSTORE 0000153c: JUMPDEST 0000153d: POP 0000153e: SWAP4 0000153f: POP 00001540: PUSH1 0x00 00001542: SWAP1 00001543: POP 00001544: JUMPDEST 00001545: DUP2 00001546: DUP2 00001547: LT 00001548: ISZERO 00001549: PUSH2 0x15bc 0000154c: JUMPI 0000154d: DUP3 0000154e: DUP2 0000154f: DUP2 00001550: MLOAD 00001551: DUP2 00001552: LT 00001553: ISZERO 00001554: ISZERO 00001555: PUSH2 0x155a 00001558: JUMPI 00001559: INVALID 0000155a: JUMPDEST 0000155b: SWAP1 0000155c: PUSH1 0x20 0000155e: ADD 0000155f: SWAP1 00001560: PUSH1 0x20 00001562: MUL 00001563: ADD 00001564: MLOAD 00001565: DUP5 00001566: DUP3 00001567: DUP2 00001568: MLOAD 00001569: DUP2 0000156a: LT 0000156b: ISZERO 0000156c: ISZERO 0000156d: PUSH2 0x1572 00001570: JUMPI 00001571: INVALID 00001572: JUMPDEST 00001573: SWAP1 00001574: PUSH1 0x20 00001576: ADD 00001577: SWAP1 00001578: PUSH1 0x20 0000157a: MUL 0000157b: ADD 0000157c: SWAP1 0000157d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001592: AND 00001593: SWAP1 00001594: DUP2 00001595: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015aa: AND 000015ab: DUP2 000015ac: MSTORE 000015ad: POP 000015ae: POP 000015af: JUMPDEST 000015b0: DUP1 000015b1: DUP1 000015b2: PUSH1 0x01 000015b4: ADD 000015b5: SWAP2 000015b6: POP 000015b7: POP 000015b8: PUSH2 0x1544 000015bb: JUMP 000015bc: JUMPDEST 000015bd: JUMPDEST 000015be: POP 000015bf: POP 000015c0: POP 000015c1: SWAP2 000015c2: SWAP1 000015c3: POP 000015c4: JUMP 000015c5: JUMPDEST 000015c6: PUSH1 0x05 000015c8: SLOAD 000015c9: DUP2 000015ca: JUMP 000015cb: JUMPDEST 000015cc: ADDRESS 000015cd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015e2: AND 000015e3: CALLER 000015e4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015f9: AND 000015fa: EQ 000015fb: ISZERO 000015fc: ISZERO 000015fd: PUSH2 0x1605 00001600: JUMPI 00001601: PUSH1 0x00 00001603: DUP1 00001604: REVERT 00001605: JUMPDEST 00001606: PUSH1 0x03 00001608: DUP1 00001609: SLOAD 0000160a: SWAP1 0000160b: POP 0000160c: DUP2 0000160d: PUSH1 0x32 0000160f: DUP3 00001610: GT 00001611: DUP1 00001612: PUSH2 0x161a 00001615: JUMPI 00001616: POP 00001617: DUP2 00001618: DUP2 00001619: GT 0000161a: JUMPDEST 0000161b: DUP1 0000161c: PUSH2 0x1625 0000161f: JUMPI 00001620: POP 00001621: PUSH1 0x00 00001623: DUP2 00001624: EQ 00001625: JUMPDEST 00001626: DUP1 00001627: PUSH2 0x1630 0000162a: JUMPI 0000162b: POP 0000162c: PUSH1 0x00 0000162e: DUP3 0000162f: EQ 00001630: JUMPDEST 00001631: ISZERO 00001632: PUSH2 0x163a 00001635: JUMPI 00001636: PUSH1 0x00 00001638: DUP1 00001639: REVERT 0000163a: JUMPDEST 0000163b: DUP3 0000163c: PUSH1 0x04 0000163e: DUP2 0000163f: SWAP1 00001640: SSTORE 00001641: POP 00001642: PUSH32 0xa3f1ee9126a074d9326c682f561767f710e927faa811f7a99829d49dc421797a 00001663: DUP4 00001664: PUSH1 0x40 00001666: MLOAD 00001667: DUP1 00001668: DUP3 00001669: DUP2 0000166a: MSTORE 0000166b: PUSH1 0x20 0000166d: ADD 0000166e: SWAP2 0000166f: POP 00001670: POP 00001671: PUSH1 0x40 00001673: MLOAD 00001674: DUP1 00001675: SWAP2 00001676: SUB 00001677: SWAP1 00001678: LOG1 00001679: JUMPDEST 0000167a: JUMPDEST 0000167b: POP 0000167c: POP 0000167d: JUMPDEST 0000167e: POP 0000167f: JUMP 00001680: JUMPDEST 00001681: CALLER 00001682: PUSH1 0x02 00001684: PUSH1 0x00 00001686: DUP3 00001687: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000169c: AND 0000169d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016b2: AND 000016b3: DUP2 000016b4: MSTORE 000016b5: PUSH1 0x20 000016b7: ADD 000016b8: SWAP1 000016b9: DUP2 000016ba: MSTORE 000016bb: PUSH1 0x20 000016bd: ADD 000016be: PUSH1 0x00 000016c0: KECCAK256 000016c1: PUSH1 0x00 000016c3: SWAP1 000016c4: SLOAD 000016c5: SWAP1 000016c6: PUSH2 0x0100 000016c9: EXP 000016ca: SWAP1 000016cb: DIV 000016cc: PUSH1 0xff 000016ce: AND 000016cf: ISZERO 000016d0: ISZERO 000016d1: PUSH2 0x16d9 000016d4: JUMPI 000016d5: PUSH1 0x00 000016d7: DUP1 000016d8: REVERT 000016d9: JUMPDEST 000016da: DUP2 000016db: PUSH1 0x00 000016dd: DUP1 000016de: PUSH1 0x00 000016e0: DUP4 000016e1: DUP2 000016e2: MSTORE 000016e3: PUSH1 0x20 000016e5: ADD 000016e6: SWAP1 000016e7: DUP2 000016e8: MSTORE 000016e9: PUSH1 0x20 000016eb: ADD 000016ec: PUSH1 0x00 000016ee: KECCAK256 000016ef: PUSH1 0x00 000016f1: ADD 000016f2: PUSH1 0x00 000016f4: SWAP1 000016f5: SLOAD 000016f6: SWAP1 000016f7: PUSH2 0x0100 000016fa: EXP 000016fb: SWAP1 000016fc: DIV 000016fd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001712: AND 00001713: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001728: AND 00001729: EQ 0000172a: ISZERO 0000172b: PUSH2 0x1733 0000172e: JUMPI 0000172f: PUSH1 0x00 00001731: DUP1 00001732: REVERT 00001733: JUMPDEST 00001734: DUP3 00001735: CALLER 00001736: PUSH1 0x01 00001738: PUSH1 0x00 0000173a: DUP4 0000173b: DUP2 0000173c: MSTORE 0000173d: PUSH1 0x20 0000173f: ADD 00001740: SWAP1 00001741: DUP2 00001742: MSTORE 00001743: PUSH1 0x20 00001745: ADD 00001746: PUSH1 0x00 00001748: KECCAK256 00001749: PUSH1 0x00 0000174b: DUP3 0000174c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001761: AND 00001762: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001777: AND 00001778: DUP2 00001779: MSTORE 0000177a: PUSH1 0x20 0000177c: ADD 0000177d: SWAP1 0000177e: DUP2 0000177f: MSTORE 00001780: PUSH1 0x20 00001782: ADD 00001783: PUSH1 0x00 00001785: KECCAK256 00001786: PUSH1 0x00 00001788: SWAP1 00001789: SLOAD 0000178a: SWAP1 0000178b: PUSH2 0x0100 0000178e: EXP 0000178f: SWAP1 00001790: DIV 00001791: PUSH1 0xff 00001793: AND 00001794: ISZERO 00001795: PUSH2 0x179d 00001798: JUMPI 00001799: PUSH1 0x00 0000179b: DUP1 0000179c: REVERT 0000179d: JUMPDEST 0000179e: PUSH1 0x01 000017a0: DUP1 000017a1: PUSH1 0x00 000017a3: DUP8 000017a4: DUP2 000017a5: MSTORE 000017a6: PUSH1 0x20 000017a8: ADD 000017a9: SWAP1 000017aa: DUP2 000017ab: MSTORE 000017ac: PUSH1 0x20 000017ae: ADD 000017af: PUSH1 0x00 000017b1: KECCAK256 000017b2: PUSH1 0x00 000017b4: CALLER 000017b5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000017ca: AND 000017cb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000017e0: AND 000017e1: DUP2 000017e2: MSTORE 000017e3: PUSH1 0x20 000017e5: ADD 000017e6: SWAP1 000017e7: DUP2 000017e8: MSTORE 000017e9: PUSH1 0x20 000017eb: ADD 000017ec: PUSH1 0x00 000017ee: KECCAK256 000017ef: PUSH1 0x00 000017f1: PUSH2 0x0100 000017f4: EXP 000017f5: DUP2 000017f6: SLOAD 000017f7: DUP2 000017f8: PUSH1 0xff 000017fa: MUL 000017fb: NOT 000017fc: AND 000017fd: SWAP1 000017fe: DUP4 000017ff: ISZERO 00001800: ISZERO 00001801: MUL 00001802: OR 00001803: SWAP1 00001804: SSTORE 00001805: POP 00001806: DUP5 00001807: CALLER 00001808: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000181d: AND 0000181e: PUSH32 0x4a504a94899432a9846e1aa406dceb1bcfd538bb839071d49d1e5e23f5be30ef 0000183f: PUSH1 0x40 00001841: MLOAD 00001842: PUSH1 0x40 00001844: MLOAD 00001845: DUP1 00001846: SWAP2 00001847: SUB 00001848: SWAP1 00001849: LOG3 0000184a: PUSH2 0x1852 0000184d: DUP6 0000184e: PUSH2 0x1ba4 00001851: JUMP 00001852: JUMPDEST 00001853: JUMPDEST 00001854: JUMPDEST 00001855: POP 00001856: POP 00001857: JUMPDEST 00001858: POP 00001859: JUMPDEST 0000185a: POP 0000185b: POP 0000185c: JUMP 0000185d: JUMPDEST 0000185e: PUSH1 0x00 00001860: PUSH2 0x186a 00001863: DUP5 00001864: DUP5 00001865: DUP5 00001866: PUSH2 0x1d60 00001869: JUMP 0000186a: JUMPDEST 0000186b: SWAP1 0000186c: POP 0000186d: PUSH2 0x1875 00001870: DUP2 00001871: PUSH2 0x1680 00001874: JUMP 00001875: JUMPDEST 00001876: JUMPDEST 00001877: SWAP4 00001878: SWAP3 00001879: POP 0000187a: POP 0000187b: POP 0000187c: JUMP 0000187d: JUMPDEST 0000187e: PUSH1 0x32 00001880: DUP2 00001881: JUMP 00001882: JUMPDEST 00001883: PUSH1 0x04 00001885: SLOAD 00001886: DUP2 00001887: JUMP 00001888: JUMPDEST 00001889: PUSH1 0x00 0000188b: ADDRESS 0000188c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000018a1: AND 000018a2: CALLER 000018a3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000018b8: AND 000018b9: EQ 000018ba: ISZERO 000018bb: ISZERO 000018bc: PUSH2 0x18c4 000018bf: JUMPI 000018c0: PUSH1 0x00 000018c2: DUP1 000018c3: REVERT 000018c4: JUMPDEST 000018c5: DUP3 000018c6: PUSH1 0x02 000018c8: PUSH1 0x00 000018ca: DUP3 000018cb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000018e0: AND 000018e1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000018f6: AND 000018f7: DUP2 000018f8: MSTORE 000018f9: PUSH1 0x20 000018fb: ADD 000018fc: SWAP1 000018fd: DUP2 000018fe: MSTORE 000018ff: PUSH1 0x20 00001901: ADD 00001902: PUSH1 0x00 00001904: KECCAK256 00001905: PUSH1 0x00 00001907: SWAP1 00001908: SLOAD 00001909: SWAP1 0000190a: PUSH2 0x0100 0000190d: EXP 0000190e: SWAP1 0000190f: DIV 00001910: PUSH1 0xff 00001912: AND 00001913: ISZERO 00001914: ISZERO 00001915: PUSH2 0x191d 00001918: JUMPI 00001919: PUSH1 0x00 0000191b: DUP1 0000191c: REVERT 0000191d: JUMPDEST 0000191e: DUP3 0000191f: PUSH1 0x02 00001921: PUSH1 0x00 00001923: DUP3 00001924: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001939: AND 0000193a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000194f: AND 00001950: DUP2 00001951: MSTORE 00001952: PUSH1 0x20 00001954: ADD 00001955: SWAP1 00001956: DUP2 00001957: MSTORE 00001958: PUSH1 0x20 0000195a: ADD 0000195b: PUSH1 0x00 0000195d: KECCAK256 0000195e: PUSH1 0x00 00001960: SWAP1 00001961: SLOAD 00001962: SWAP1 00001963: PUSH2 0x0100 00001966: EXP 00001967: SWAP1 00001968: DIV 00001969: PUSH1 0xff 0000196b: AND 0000196c: ISZERO 0000196d: PUSH2 0x1975 00001970: JUMPI 00001971: PUSH1 0x00 00001973: DUP1 00001974: REVERT 00001975: JUMPDEST 00001976: PUSH1 0x00 00001978: SWAP3 00001979: POP 0000197a: JUMPDEST 0000197b: PUSH1 0x03 0000197d: DUP1 0000197e: SLOAD 0000197f: SWAP1 00001980: POP 00001981: DUP4 00001982: LT 00001983: ISZERO 00001984: PUSH2 0x1a63 00001987: JUMPI 00001988: DUP5 00001989: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000199e: AND 0000199f: PUSH1 0x03 000019a1: DUP5 000019a2: DUP2 000019a3: SLOAD 000019a4: DUP2 000019a5: LT 000019a6: ISZERO 000019a7: ISZERO 000019a8: PUSH2 0x19ad 000019ab: JUMPI 000019ac: INVALID 000019ad: JUMPDEST 000019ae: SWAP1 000019af: PUSH1 0x00 000019b1: MSTORE 000019b2: PUSH1 0x20 000019b4: PUSH1 0x00 000019b6: KECCAK256 000019b7: SWAP1 000019b8: ADD 000019b9: PUSH1 0x00 000019bb: JUMPDEST 000019bc: SWAP1 000019bd: SLOAD 000019be: SWAP1 000019bf: PUSH2 0x0100 000019c2: EXP 000019c3: SWAP1 000019c4: DIV 000019c5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000019da: AND 000019db: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000019f0: AND 000019f1: EQ 000019f2: ISZERO 000019f3: PUSH2 0x1a55 000019f6: JUMPI 000019f7: DUP4 000019f8: PUSH1 0x03 000019fa: DUP5 000019fb: DUP2 000019fc: SLOAD 000019fd: DUP2 000019fe: LT 000019ff: ISZERO 00001a00: ISZERO 00001a01: PUSH2 0x1a06 00001a04: JUMPI 00001a05: INVALID 00001a06: JUMPDEST 00001a07: SWAP1 00001a08: PUSH1 0x00 00001a0a: MSTORE 00001a0b: PUSH1 0x20 00001a0d: PUSH1 0x00 00001a0f: KECCAK256 00001a10: SWAP1 00001a11: ADD 00001a12: PUSH1 0x00 00001a14: JUMPDEST 00001a15: PUSH2 0x0100 00001a18: EXP 00001a19: DUP2 00001a1a: SLOAD 00001a1b: DUP2 00001a1c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a31: MUL 00001a32: NOT 00001a33: AND 00001a34: SWAP1 00001a35: DUP4 00001a36: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a4b: AND 00001a4c: MUL 00001a4d: OR 00001a4e: SWAP1 00001a4f: SSTORE 00001a50: POP 00001a51: PUSH2 0x1a63 00001a54: JUMP 00001a55: JUMPDEST 00001a56: JUMPDEST 00001a57: DUP3 00001a58: DUP1 00001a59: PUSH1 0x01 00001a5b: ADD 00001a5c: SWAP4 00001a5d: POP 00001a5e: POP 00001a5f: PUSH2 0x197a 00001a62: JUMP 00001a63: JUMPDEST 00001a64: PUSH1 0x00 00001a66: PUSH1 0x02 00001a68: PUSH1 0x00 00001a6a: DUP8 00001a6b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a80: AND 00001a81: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a96: AND 00001a97: DUP2 00001a98: MSTORE 00001a99: PUSH1 0x20 00001a9b: ADD 00001a9c: SWAP1 00001a9d: DUP2 00001a9e: MSTORE 00001a9f: PUSH1 0x20 00001aa1: ADD 00001aa2: PUSH1 0x00 00001aa4: KECCAK256 00001aa5: PUSH1 0x00 00001aa7: PUSH2 0x0100 00001aaa: EXP 00001aab: DUP2 00001aac: SLOAD 00001aad: DUP2 00001aae: PUSH1 0xff 00001ab0: MUL 00001ab1: NOT 00001ab2: AND 00001ab3: SWAP1 00001ab4: DUP4 00001ab5: ISZERO 00001ab6: ISZERO 00001ab7: MUL 00001ab8: OR 00001ab9: SWAP1 00001aba: SSTORE 00001abb: POP 00001abc: PUSH1 0x01 00001abe: PUSH1 0x02 00001ac0: PUSH1 0x00 00001ac2: DUP7 00001ac3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ad8: AND 00001ad9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001aee: AND 00001aef: DUP2 00001af0: MSTORE 00001af1: PUSH1 0x20 00001af3: ADD 00001af4: SWAP1 00001af5: DUP2 00001af6: MSTORE 00001af7: PUSH1 0x20 00001af9: ADD 00001afa: PUSH1 0x00 00001afc: KECCAK256 00001afd: PUSH1 0x00 00001aff: PUSH2 0x0100 00001b02: EXP 00001b03: DUP2 00001b04: SLOAD 00001b05: DUP2 00001b06: PUSH1 0xff 00001b08: MUL 00001b09: NOT 00001b0a: AND 00001b0b: SWAP1 00001b0c: DUP4 00001b0d: ISZERO 00001b0e: ISZERO 00001b0f: MUL 00001b10: OR 00001b11: SWAP1 00001b12: SSTORE 00001b13: POP 00001b14: DUP5 00001b15: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b2a: AND 00001b2b: PUSH32 0x8001553a916ef2f495d26a907cc54d96ed840d7bda71e73194bf5a9df7a76b90 00001b4c: PUSH1 0x40 00001b4e: MLOAD 00001b4f: PUSH1 0x40 00001b51: MLOAD 00001b52: DUP1 00001b53: SWAP2 00001b54: SUB 00001b55: SWAP1 00001b56: LOG2 00001b57: DUP4 00001b58: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b6d: AND 00001b6e: PUSH32 0xf39e6e1eb0edcf53c221607b54b00cd28f3196fed0a24994dc308b8f611b682d 00001b8f: PUSH1 0x40 00001b91: MLOAD 00001b92: PUSH1 0x40 00001b94: MLOAD 00001b95: DUP1 00001b96: SWAP2 00001b97: SUB 00001b98: SWAP1 00001b99: LOG2 00001b9a: JUMPDEST 00001b9b: JUMPDEST 00001b9c: POP 00001b9d: JUMPDEST 00001b9e: POP 00001b9f: JUMPDEST 00001ba0: POP 00001ba1: POP 00001ba2: POP 00001ba3: JUMP 00001ba4: JUMPDEST 00001ba5: PUSH1 0x00 00001ba7: DUP2 00001ba8: PUSH1 0x00 00001baa: DUP1 00001bab: DUP3 00001bac: DUP2 00001bad: MSTORE 00001bae: PUSH1 0x20 00001bb0: ADD 00001bb1: SWAP1 00001bb2: DUP2 00001bb3: MSTORE 00001bb4: PUSH1 0x20 00001bb6: ADD 00001bb7: PUSH1 0x00 00001bb9: KECCAK256 00001bba: PUSH1 0x03 00001bbc: ADD 00001bbd: PUSH1 0x00 00001bbf: SWAP1 00001bc0: SLOAD 00001bc1: SWAP1 00001bc2: PUSH2 0x0100 00001bc5: EXP 00001bc6: SWAP1 00001bc7: DIV 00001bc8: PUSH1 0xff 00001bca: AND 00001bcb: ISZERO 00001bcc: PUSH2 0x1bd4 00001bcf: JUMPI 00001bd0: PUSH1 0x00 00001bd2: DUP1 00001bd3: REVERT 00001bd4: JUMPDEST 00001bd5: PUSH2 0x1bdd 00001bd8: DUP4 00001bd9: PUSH2 0x0f8b 00001bdc: JUMP 00001bdd: JUMPDEST 00001bde: ISZERO 00001bdf: PUSH2 0x1d59 00001be2: JUMPI 00001be3: PUSH1 0x00 00001be5: DUP1 00001be6: DUP5 00001be7: DUP2 00001be8: MSTORE 00001be9: PUSH1 0x20 00001beb: ADD 00001bec: SWAP1 00001bed: DUP2 00001bee: MSTORE 00001bef: PUSH1 0x20 00001bf1: ADD 00001bf2: PUSH1 0x00 00001bf4: KECCAK256 00001bf5: SWAP2 00001bf6: POP 00001bf7: PUSH1 0x01 00001bf9: DUP3 00001bfa: PUSH1 0x03 00001bfc: ADD 00001bfd: PUSH1 0x00 00001bff: PUSH2 0x0100 00001c02: EXP 00001c03: DUP2 00001c04: SLOAD 00001c05: DUP2 00001c06: PUSH1 0xff 00001c08: MUL 00001c09: NOT 00001c0a: AND 00001c0b: SWAP1 00001c0c: DUP4 00001c0d: ISZERO 00001c0e: ISZERO 00001c0f: MUL 00001c10: OR 00001c11: SWAP1 00001c12: SSTORE 00001c13: POP 00001c14: DUP2 00001c15: PUSH1 0x00 00001c17: ADD 00001c18: PUSH1 0x00 00001c1a: SWAP1 00001c1b: SLOAD 00001c1c: SWAP1 00001c1d: PUSH2 0x0100 00001c20: EXP 00001c21: SWAP1 00001c22: DIV 00001c23: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c38: AND 00001c39: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c4e: AND 00001c4f: DUP3 00001c50: PUSH1 0x01 00001c52: ADD 00001c53: SLOAD 00001c54: DUP4 00001c55: PUSH1 0x02 00001c57: ADD 00001c58: PUSH1 0x40 00001c5a: MLOAD 00001c5b: DUP1 00001c5c: DUP3 00001c5d: DUP1 00001c5e: SLOAD 00001c5f: PUSH1 0x01 00001c61: DUP2 00001c62: PUSH1 0x01 00001c64: AND 00001c65: ISZERO 00001c66: PUSH2 0x0100 00001c69: MUL 00001c6a: SUB 00001c6b: AND 00001c6c: PUSH1 0x02 00001c6e: SWAP1 00001c6f: DIV 00001c70: DUP1 00001c71: ISZERO 00001c72: PUSH2 0x1cbc 00001c75: JUMPI 00001c76: DUP1 00001c77: PUSH1 0x1f 00001c79: LT 00001c7a: PUSH2 0x1c91 00001c7d: JUMPI 00001c7e: PUSH2 0x0100 00001c81: DUP1 00001c82: DUP4 00001c83: SLOAD 00001c84: DIV 00001c85: MUL 00001c86: DUP4 00001c87: MSTORE 00001c88: SWAP2 00001c89: PUSH1 0x20 00001c8b: ADD 00001c8c: SWAP2 00001c8d: PUSH2 0x1cbc 00001c90: JUMP 00001c91: JUMPDEST 00001c92: DUP3 00001c93: ADD 00001c94: SWAP2 00001c95: SWAP1 00001c96: PUSH1 0x00 00001c98: MSTORE 00001c99: PUSH1 0x20 00001c9b: PUSH1 0x00 00001c9d: KECCAK256 00001c9e: SWAP1 00001c9f: JUMPDEST 00001ca0: DUP2 00001ca1: SLOAD 00001ca2: DUP2 00001ca3: MSTORE 00001ca4: SWAP1 00001ca5: PUSH1 0x01 00001ca7: ADD 00001ca8: SWAP1 00001ca9: PUSH1 0x20 00001cab: ADD 00001cac: DUP1 00001cad: DUP4 00001cae: GT 00001caf: PUSH2 0x1c9f 00001cb2: JUMPI 00001cb3: DUP3 00001cb4: SWAP1 00001cb5: SUB 00001cb6: PUSH1 0x1f 00001cb8: AND 00001cb9: DUP3 00001cba: ADD 00001cbb: SWAP2 00001cbc: JUMPDEST 00001cbd: POP 00001cbe: POP 00001cbf: SWAP2 00001cc0: POP 00001cc1: POP 00001cc2: PUSH1 0x00 00001cc4: PUSH1 0x40 00001cc6: MLOAD 00001cc7: DUP1 00001cc8: DUP4 00001cc9: SUB 00001cca: DUP2 00001ccb: DUP6 00001ccc: DUP8 00001ccd: PUSH2 0x8796 00001cd0: GAS 00001cd1: SUB 00001cd2: CALL 00001cd3: SWAP3 00001cd4: POP 00001cd5: POP 00001cd6: POP 00001cd7: ISZERO 00001cd8: PUSH2 0x1d0d 00001cdb: JUMPI 00001cdc: DUP3 00001cdd: PUSH32 0x33e13ecb54c3076d8e8bb8c2881800a4d972b792045ffae98fdf46df365fed75 00001cfe: PUSH1 0x40 00001d00: MLOAD 00001d01: PUSH1 0x40 00001d03: MLOAD 00001d04: DUP1 00001d05: SWAP2 00001d06: SUB 00001d07: SWAP1 00001d08: LOG2 00001d09: PUSH2 0x1d58 00001d0c: JUMP 00001d0d: JUMPDEST 00001d0e: DUP3 00001d0f: PUSH32 0x526441bb6c1aba3c9a4a6ca1d6545da9c2333c8c48343ef398eb858d72b79236 00001d30: PUSH1 0x40 00001d32: MLOAD 00001d33: PUSH1 0x40 00001d35: MLOAD 00001d36: DUP1 00001d37: SWAP2 00001d38: SUB 00001d39: SWAP1 00001d3a: LOG2 00001d3b: PUSH1 0x00 00001d3d: DUP3 00001d3e: PUSH1 0x03 00001d40: ADD 00001d41: PUSH1 0x00 00001d43: PUSH2 0x0100 00001d46: EXP 00001d47: DUP2 00001d48: SLOAD 00001d49: DUP2 00001d4a: PUSH1 0xff 00001d4c: MUL 00001d4d: NOT 00001d4e: AND 00001d4f: SWAP1 00001d50: DUP4 00001d51: ISZERO 00001d52: ISZERO 00001d53: MUL 00001d54: OR 00001d55: SWAP1 00001d56: SSTORE 00001d57: POP 00001d58: JUMPDEST 00001d59: JUMPDEST 00001d5a: JUMPDEST 00001d5b: JUMPDEST 00001d5c: POP 00001d5d: POP 00001d5e: POP 00001d5f: JUMP 00001d60: JUMPDEST 00001d61: PUSH1 0x00 00001d63: DUP4 00001d64: PUSH1 0x00 00001d66: DUP2 00001d67: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d7c: AND 00001d7d: EQ 00001d7e: ISZERO 00001d7f: PUSH2 0x1d87 00001d82: JUMPI 00001d83: PUSH1 0x00 00001d85: DUP1 00001d86: REVERT 00001d87: JUMPDEST 00001d88: PUSH1 0x05 00001d8a: SLOAD 00001d8b: SWAP2 00001d8c: POP 00001d8d: PUSH1 0x80 00001d8f: PUSH1 0x40 00001d91: MLOAD 00001d92: SWAP1 00001d93: DUP2 00001d94: ADD 00001d95: PUSH1 0x40 00001d97: MSTORE 00001d98: DUP1 00001d99: DUP7 00001d9a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001daf: AND 00001db0: DUP2 00001db1: MSTORE 00001db2: PUSH1 0x20 00001db4: ADD 00001db5: DUP6 00001db6: DUP2 00001db7: MSTORE 00001db8: PUSH1 0x20 00001dba: ADD 00001dbb: DUP5 00001dbc: DUP2 00001dbd: MSTORE 00001dbe: PUSH1 0x20 00001dc0: ADD 00001dc1: PUSH1 0x00 00001dc3: ISZERO 00001dc4: ISZERO 00001dc5: DUP2 00001dc6: MSTORE 00001dc7: POP 00001dc8: PUSH1 0x00 00001dca: DUP1 00001dcb: DUP5 00001dcc: DUP2 00001dcd: MSTORE 00001dce: PUSH1 0x20 00001dd0: ADD 00001dd1: SWAP1 00001dd2: DUP2 00001dd3: MSTORE 00001dd4: PUSH1 0x20 00001dd6: ADD 00001dd7: PUSH1 0x00 00001dd9: KECCAK256 00001dda: PUSH1 0x00 00001ddc: DUP3 00001ddd: ADD 00001dde: MLOAD 00001ddf: DUP2 00001de0: PUSH1 0x00 00001de2: ADD 00001de3: PUSH1 0x00 00001de5: PUSH2 0x0100 00001de8: EXP 00001de9: DUP2 00001dea: SLOAD 00001deb: DUP2 00001dec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001e01: MUL 00001e02: NOT 00001e03: AND 00001e04: SWAP1 00001e05: DUP4 00001e06: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001e1b: AND 00001e1c: MUL 00001e1d: OR 00001e1e: SWAP1 00001e1f: SSTORE 00001e20: POP 00001e21: PUSH1 0x20 00001e23: DUP3 00001e24: ADD 00001e25: MLOAD 00001e26: DUP2 00001e27: PUSH1 0x01 00001e29: ADD 00001e2a: SSTORE 00001e2b: PUSH1 0x40 00001e2d: DUP3 00001e2e: ADD 00001e2f: MLOAD 00001e30: DUP2 00001e31: PUSH1 0x02 00001e33: ADD 00001e34: SWAP1 00001e35: DUP1 00001e36: MLOAD 00001e37: SWAP1 00001e38: PUSH1 0x20 00001e3a: ADD 00001e3b: SWAP1 00001e3c: PUSH2 0x1e46 00001e3f: SWAP3 00001e40: SWAP2 00001e41: SWAP1 00001e42: PUSH2 0x1f32 00001e45: JUMP 00001e46: JUMPDEST 00001e47: POP 00001e48: PUSH1 0x60 00001e4a: DUP3 00001e4b: ADD 00001e4c: MLOAD 00001e4d: DUP2 00001e4e: PUSH1 0x03 00001e50: ADD 00001e51: PUSH1 0x00 00001e53: PUSH2 0x0100 00001e56: EXP 00001e57: DUP2 00001e58: SLOAD 00001e59: DUP2 00001e5a: PUSH1 0xff 00001e5c: MUL 00001e5d: NOT 00001e5e: AND 00001e5f: SWAP1 00001e60: DUP4 00001e61: ISZERO 00001e62: ISZERO 00001e63: MUL 00001e64: OR 00001e65: SWAP1 00001e66: SSTORE 00001e67: POP 00001e68: SWAP1 00001e69: POP 00001e6a: POP 00001e6b: PUSH1 0x01 00001e6d: PUSH1 0x05 00001e6f: PUSH1 0x00 00001e71: DUP3 00001e72: DUP3 00001e73: SLOAD 00001e74: ADD 00001e75: SWAP3 00001e76: POP 00001e77: POP 00001e78: DUP2 00001e79: SWAP1 00001e7a: SSTORE 00001e7b: POP 00001e7c: DUP2 00001e7d: PUSH32 0xc0ba8fe4b176c1714197d43b9cc6bcf797a4a7461c5fe8d0ef6e184ae7601e51 00001e9e: PUSH1 0x40 00001ea0: MLOAD 00001ea1: PUSH1 0x40 00001ea3: MLOAD 00001ea4: DUP1 00001ea5: SWAP2 00001ea6: SUB 00001ea7: SWAP1 00001ea8: LOG2 00001ea9: JUMPDEST 00001eaa: JUMPDEST 00001eab: POP 00001eac: SWAP4 00001ead: SWAP3 00001eae: POP 00001eaf: POP 00001eb0: POP 00001eb1: JUMP 00001eb2: JUMPDEST 00001eb3: DUP2 00001eb4: SLOAD 00001eb5: DUP2 00001eb6: DUP4 00001eb7: SSTORE 00001eb8: DUP2 00001eb9: DUP2 00001eba: ISZERO 00001ebb: GT 00001ebc: PUSH2 0x1ed9 00001ebf: JUMPI 00001ec0: DUP2 00001ec1: DUP4 00001ec2: PUSH1 0x00 00001ec4: MSTORE 00001ec5: PUSH1 0x20 00001ec7: PUSH1 0x00 00001ec9: KECCAK256 00001eca: SWAP2 00001ecb: DUP3 00001ecc: ADD 00001ecd: SWAP2 00001ece: ADD 00001ecf: PUSH2 0x1ed8 00001ed2: SWAP2 00001ed3: SWAP1 00001ed4: PUSH2 0x1fb2 00001ed7: JUMP 00001ed8: JUMPDEST 00001ed9: JUMPDEST 00001eda: POP 00001edb: POP 00001edc: POP 00001edd: JUMP 00001ede: JUMPDEST 00001edf: DUP2 00001ee0: SLOAD 00001ee1: DUP2 00001ee2: DUP4 00001ee3: SSTORE 00001ee4: DUP2 00001ee5: DUP2 00001ee6: ISZERO 00001ee7: GT 00001ee8: PUSH2 0x1f05 00001eeb: JUMPI 00001eec: DUP2 00001eed: DUP4 00001eee: PUSH1 0x00 00001ef0: MSTORE 00001ef1: PUSH1 0x20 00001ef3: PUSH1 0x00 00001ef5: KECCAK256 00001ef6: SWAP2 00001ef7: DUP3 00001ef8: ADD 00001ef9: SWAP2 00001efa: ADD 00001efb: PUSH2 0x1f04 00001efe: SWAP2 00001eff: SWAP1 00001f00: PUSH2 0x1fb2 00001f03: JUMP 00001f04: JUMPDEST 00001f05: JUMPDEST 00001f06: POP 00001f07: POP 00001f08: POP 00001f09: JUMP 00001f0a: JUMPDEST 00001f0b: PUSH1 0x20 00001f0d: PUSH1 0x40 00001f0f: MLOAD 00001f10: SWAP1 00001f11: DUP2 00001f12: ADD 00001f13: PUSH1 0x40 00001f15: MSTORE 00001f16: DUP1 00001f17: PUSH1 0x00 00001f19: DUP2 00001f1a: MSTORE 00001f1b: POP 00001f1c: SWAP1 00001f1d: JUMP 00001f1e: JUMPDEST 00001f1f: PUSH1 0x20 00001f21: PUSH1 0x40 00001f23: MLOAD 00001f24: SWAP1 00001f25: DUP2 00001f26: ADD 00001f27: PUSH1 0x40 00001f29: MSTORE 00001f2a: DUP1 00001f2b: PUSH1 0x00 00001f2d: DUP2 00001f2e: MSTORE 00001f2f: POP 00001f30: SWAP1 00001f31: JUMP 00001f32: JUMPDEST 00001f33: DUP3 00001f34: DUP1 00001f35: SLOAD 00001f36: PUSH1 0x01 00001f38: DUP2 00001f39: PUSH1 0x01 00001f3b: AND 00001f3c: ISZERO 00001f3d: PUSH2 0x0100 00001f40: MUL 00001f41: SUB 00001f42: AND 00001f43: PUSH1 0x02 00001f45: SWAP1 00001f46: DIV 00001f47: SWAP1 00001f48: PUSH1 0x00 00001f4a: MSTORE 00001f4b: PUSH1 0x20 00001f4d: PUSH1 0x00 00001f4f: KECCAK256 00001f50: SWAP1 00001f51: PUSH1 0x1f 00001f53: ADD 00001f54: PUSH1 0x20 00001f56: SWAP1 00001f57: DIV 00001f58: DUP2 00001f59: ADD 00001f5a: SWAP3 00001f5b: DUP3 00001f5c: PUSH1 0x1f 00001f5e: LT 00001f5f: PUSH2 0x1f73 00001f62: JUMPI 00001f63: DUP1 00001f64: MLOAD 00001f65: PUSH1 0xff 00001f67: NOT 00001f68: AND 00001f69: DUP4 00001f6a: DUP1 00001f6b: ADD 00001f6c: OR 00001f6d: DUP6 00001f6e: SSTORE 00001f6f: PUSH2 0x1fa1 00001f72: JUMP 00001f73: JUMPDEST 00001f74: DUP3 00001f75: DUP1 00001f76: ADD 00001f77: PUSH1 0x01 00001f79: ADD 00001f7a: DUP6 00001f7b: SSTORE 00001f7c: DUP3 00001f7d: ISZERO 00001f7e: PUSH2 0x1fa1 00001f81: JUMPI 00001f82: SWAP2 00001f83: DUP3 00001f84: ADD 00001f85: JUMPDEST 00001f86: DUP3 00001f87: DUP2 00001f88: GT 00001f89: ISZERO 00001f8a: PUSH2 0x1fa0 00001f8d: JUMPI 00001f8e: DUP3 00001f8f: MLOAD 00001f90: DUP3 00001f91: SSTORE 00001f92: SWAP2 00001f93: PUSH1 0x20 00001f95: ADD 00001f96: SWAP2 00001f97: SWAP1 00001f98: PUSH1 0x01 00001f9a: ADD 00001f9b: SWAP1 00001f9c: PUSH2 0x1f85 00001f9f: JUMP 00001fa0: JUMPDEST 00001fa1: JUMPDEST 00001fa2: POP 00001fa3: SWAP1 00001fa4: POP 00001fa5: PUSH2 0x1fae 00001fa8: SWAP2 00001fa9: SWAP1 00001faa: PUSH2 0x1fb2 00001fad: JUMP 00001fae: JUMPDEST 00001faf: POP 00001fb0: SWAP1 00001fb1: JUMP 00001fb2: JUMPDEST 00001fb3: PUSH2 0x1fd4 00001fb6: SWAP2 00001fb7: SWAP1 00001fb8: JUMPDEST 00001fb9: DUP1 00001fba: DUP3 00001fbb: GT 00001fbc: ISZERO 00001fbd: PUSH2 0x1fd0 00001fc0: JUMPI 00001fc1: PUSH1 0x00 00001fc3: DUP2 00001fc4: PUSH1 0x00 00001fc6: SWAP1 00001fc7: SSTORE 00001fc8: POP 00001fc9: PUSH1 0x01 00001fcb: ADD 00001fcc: PUSH2 0x1fb8 00001fcf: JUMP 00001fd0: JUMPDEST 00001fd1: POP 00001fd2: SWAP1 00001fd3: JUMP 00001fd4: JUMPDEST 00001fd5: SWAP1 00001fd6: JUMP 00001fd7: STOP 00001fd8: LOG1 00001fd9: PUSH6 0x627a7a723058 00001fe0: KECCAK256 00001fe1: PUSH6 0x644ab15aec5a 00001fe8: PUSH31
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 | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x39f459d50f8ae8ea7b1524f78d184a87cae5760f83624db8290d0a06f6edb1c3
call_targets:
0x4ef7a66326067e84b51a4a42d9229497efcfa881
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x39f459d50f8ae8ea7b1524f78d184a87cae5760f83624db8290d0a06f6edb1c3",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x4ef7a66326067e84b51a4a42d9229497efcfa881"
],
"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": "0x025e7c27",
"selector": "0x025e7c27",
"calldata_variants": [
"0x025e7c27",
"0x025e7c270000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x173825d9",
"selector": "0x173825d9",
"calldata_variants": [
"0x173825d9",
"0x173825d90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x20ea8d86",
"selector": "0x20ea8d86",
"calldata_variants": [
"0x20ea8d86",
"0x20ea8d860000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2f54bf6e",
"selector": "0x2f54bf6e",
"calldata_variants": [
"0x2f54bf6e",
"0x2f54bf6e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3411c81c",
"selector": "0x3411c81c",
"calldata_variants": [
"0x3411c81c",
"0x3411c81c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x54741525",
"selector": "0x54741525",
"calldata_variants": [
"0x54741525",
"0x547415250000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7065cb48",
"selector": "0x7065cb48",
"calldata_variants": [
"0x7065cb48",
"0x7065cb480000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 7378,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 1,
"guards_detected": [
{
"pc": 2169,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3495,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5603,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 6306,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x39f459d50f8ae8ea7b1524f78d184a87cae5760f83624db8290d0a06f6edb1c3
call_targets:
0x4ef7a66326067e84b51a4a42d9229497efcfa881
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x39f459d50f8ae8ea7b1524f78d184a87cae5760f83624db8290d0a06f6edb1c3",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x4ef7a66326067e84b51a4a42d9229497efcfa881"
],
"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": "0x025e7c27",
"selector": "0x025e7c27",
"calldata_variants": [
"0x025e7c27",
"0x025e7c270000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x173825d9",
"selector": "0x173825d9",
"calldata_variants": [
"0x173825d9",
"0x173825d90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x20ea8d86",
"selector": "0x20ea8d86",
"calldata_variants": [
"0x20ea8d86",
"0x20ea8d860000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2f54bf6e",
"selector": "0x2f54bf6e",
"calldata_variants": [
"0x2f54bf6e",
"0x2f54bf6e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3411c81c",
"selector": "0x3411c81c",
"calldata_variants": [
"0x3411c81c",
"0x3411c81c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x54741525",
"selector": "0x54741525",
"calldata_variants": [
"0x54741525",
"0x547415250000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7065cb48",
"selector": "0x7065cb48",
"calldata_variants": [
"0x7065cb48",
"0x7065cb480000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 7378,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 1,
"guards_detected": [
{
"pc": 2169,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3495,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5603,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 6306,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 1
}
|