019b3844-8a60-703a-b3d1-27fa84c13f41
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 |
|---|---|---|---|---|
| 11613 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 11614 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 54452 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 54453 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 54454 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 54455 | 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 0x0175 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0x173825d9 00000045: EQ 00000046: PUSH2 0x01d8 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0x20ea8d86 00000050: EQ 00000051: PUSH2 0x0211 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0x2f54bf6e 0000005b: EQ 0000005c: PUSH2 0x0234 0000005f: JUMPI 00000060: DUP1 00000061: PUSH4 0x3411c81c 00000066: EQ 00000067: PUSH2 0x0285 0000006a: JUMPI 0000006b: DUP1 0000006c: PUSH4 0x54741525 00000071: EQ 00000072: PUSH2 0x02df 00000075: JUMPI 00000076: DUP1 00000077: PUSH4 0x7065cb48 0000007c: EQ 0000007d: PUSH2 0x0323 00000080: JUMPI 00000081: DUP1 00000082: PUSH4 0x784547a7 00000087: EQ 00000088: PUSH2 0x035c 0000008b: JUMPI 0000008c: DUP1 0000008d: PUSH4 0x8b51d13f 00000092: EQ 00000093: PUSH2 0x0397 00000096: JUMPI 00000097: DUP1 00000098: PUSH4 0x9ace38c2 0000009d: EQ 0000009e: PUSH2 0x03ce 000000a1: JUMPI 000000a2: DUP1 000000a3: PUSH4 0xa0e67e2b 000000a8: EQ 000000a9: PUSH2 0x04cc 000000ac: JUMPI 000000ad: DUP1 000000ae: PUSH4 0xa8abe69a 000000b3: EQ 000000b4: PUSH2 0x0536 000000b7: JUMPI 000000b8: DUP1 000000b9: PUSH4 0xb5dc40c3 000000be: EQ 000000bf: PUSH2 0x05cd 000000c2: JUMPI 000000c3: DUP1 000000c4: PUSH4 0xb77bf600 000000c9: EQ 000000ca: PUSH2 0x0645 000000cd: JUMPI 000000ce: DUP1 000000cf: PUSH4 0xba51a6df 000000d4: EQ 000000d5: PUSH2 0x066e 000000d8: JUMPI 000000d9: DUP1 000000da: PUSH4 0xc01a8c84 000000df: EQ 000000e0: PUSH2 0x0691 000000e3: JUMPI 000000e4: DUP1 000000e5: PUSH4 0xc6427474 000000ea: EQ 000000eb: PUSH2 0x06b4 000000ee: JUMPI 000000ef: DUP1 000000f0: PUSH4 0xd74f8edd 000000f5: EQ 000000f6: PUSH2 0x074d 000000f9: JUMPI 000000fa: DUP1 000000fb: PUSH4 0xdc8452cd 00000100: EQ 00000101: PUSH2 0x0776 00000104: JUMPI 00000105: DUP1 00000106: PUSH4 0xe20056e6 0000010b: EQ 0000010c: PUSH2 0x079f 0000010f: JUMPI 00000110: DUP1 00000111: PUSH4 0xee22610b 00000116: EQ 00000117: PUSH2 0x07f7 0000011a: JUMPI 0000011b: JUMPDEST 0000011c: PUSH1 0x00 0000011e: CALLVALUE 0000011f: GT 00000120: ISZERO 00000121: PUSH2 0x0173 00000124: JUMPI 00000125: CALLER 00000126: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000013b: AND 0000013c: PUSH32 0xe1fffcc4923d04b559f4d29a8bfc6cda04eb5b0d3c460751c2402c5c5cc9109c 0000015d: CALLVALUE 0000015e: PUSH1 0x40 00000160: MLOAD 00000161: DUP1 00000162: DUP3 00000163: DUP2 00000164: MSTORE 00000165: PUSH1 0x20 00000167: ADD 00000168: SWAP2 00000169: POP 0000016a: POP 0000016b: PUSH1 0x40 0000016d: MLOAD 0000016e: DUP1 0000016f: SWAP2 00000170: SUB 00000171: SWAP1 00000172: LOG2 00000173: JUMPDEST 00000174: STOP 00000175: JUMPDEST 00000176: CALLVALUE 00000177: ISZERO 00000178: PUSH2 0x0180 0000017b: JUMPI 0000017c: PUSH1 0x00 0000017e: DUP1 0000017f: REVERT 00000180: JUMPDEST 00000181: PUSH2 0x0196 00000184: PUSH1 0x04 00000186: DUP1 00000187: DUP1 00000188: CALLDATALOAD 00000189: SWAP1 0000018a: PUSH1 0x20 0000018c: ADD 0000018d: SWAP1 0000018e: SWAP2 0000018f: SWAP1 00000190: POP 00000191: POP 00000192: PUSH2 0x081a 00000195: JUMP 00000196: JUMPDEST 00000197: PUSH1 0x40 00000199: MLOAD 0000019a: DUP1 0000019b: DUP3 0000019c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001b1: AND 000001b2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001c7: AND 000001c8: DUP2 000001c9: MSTORE 000001ca: PUSH1 0x20 000001cc: ADD 000001cd: SWAP2 000001ce: POP 000001cf: POP 000001d0: PUSH1 0x40 000001d2: MLOAD 000001d3: DUP1 000001d4: SWAP2 000001d5: SUB 000001d6: SWAP1 000001d7: RETURN 000001d8: JUMPDEST 000001d9: CALLVALUE 000001da: ISZERO 000001db: PUSH2 0x01e3 000001de: JUMPI 000001df: PUSH1 0x00 000001e1: DUP1 000001e2: REVERT 000001e3: JUMPDEST 000001e4: PUSH2 0x020f 000001e7: PUSH1 0x04 000001e9: DUP1 000001ea: DUP1 000001eb: CALLDATALOAD 000001ec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000201: AND 00000202: SWAP1 00000203: PUSH1 0x20 00000205: ADD 00000206: SWAP1 00000207: SWAP2 00000208: SWAP1 00000209: POP 0000020a: POP 0000020b: PUSH2 0x0859 0000020e: JUMP 0000020f: JUMPDEST 00000210: STOP 00000211: JUMPDEST 00000212: CALLVALUE 00000213: ISZERO 00000214: PUSH2 0x021c 00000217: JUMPI 00000218: PUSH1 0x00 0000021a: DUP1 0000021b: REVERT 0000021c: JUMPDEST 0000021d: PUSH2 0x0232 00000220: PUSH1 0x04 00000222: DUP1 00000223: DUP1 00000224: CALLDATALOAD 00000225: SWAP1 00000226: PUSH1 0x20 00000228: ADD 00000229: SWAP1 0000022a: SWAP2 0000022b: SWAP1 0000022c: POP 0000022d: POP 0000022e: PUSH2 0x0af5 00000231: JUMP 00000232: JUMPDEST 00000233: STOP 00000234: JUMPDEST 00000235: CALLVALUE 00000236: ISZERO 00000237: PUSH2 0x023f 0000023a: JUMPI 0000023b: PUSH1 0x00 0000023d: DUP1 0000023e: REVERT 0000023f: JUMPDEST 00000240: PUSH2 0x026b 00000243: PUSH1 0x04 00000245: DUP1 00000246: DUP1 00000247: CALLDATALOAD 00000248: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000025d: AND 0000025e: SWAP1 0000025f: PUSH1 0x20 00000261: ADD 00000262: SWAP1 00000263: SWAP2 00000264: SWAP1 00000265: POP 00000266: POP 00000267: PUSH2 0x0c9b 0000026a: JUMP 0000026b: JUMPDEST 0000026c: PUSH1 0x40 0000026e: MLOAD 0000026f: DUP1 00000270: DUP3 00000271: ISZERO 00000272: ISZERO 00000273: ISZERO 00000274: ISZERO 00000275: DUP2 00000276: MSTORE 00000277: PUSH1 0x20 00000279: ADD 0000027a: SWAP2 0000027b: POP 0000027c: POP 0000027d: PUSH1 0x40 0000027f: MLOAD 00000280: DUP1 00000281: SWAP2 00000282: SUB 00000283: SWAP1 00000284: RETURN 00000285: JUMPDEST 00000286: CALLVALUE 00000287: ISZERO 00000288: PUSH2 0x0290 0000028b: JUMPI 0000028c: PUSH1 0x00 0000028e: DUP1 0000028f: REVERT 00000290: JUMPDEST 00000291: PUSH2 0x02c5 00000294: PUSH1 0x04 00000296: DUP1 00000297: DUP1 00000298: CALLDATALOAD 00000299: SWAP1 0000029a: PUSH1 0x20 0000029c: ADD 0000029d: SWAP1 0000029e: SWAP2 0000029f: SWAP1 000002a0: DUP1 000002a1: CALLDATALOAD 000002a2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002b7: AND 000002b8: SWAP1 000002b9: PUSH1 0x20 000002bb: ADD 000002bc: SWAP1 000002bd: SWAP2 000002be: SWAP1 000002bf: POP 000002c0: POP 000002c1: PUSH2 0x0cbb 000002c4: JUMP 000002c5: JUMPDEST 000002c6: PUSH1 0x40 000002c8: MLOAD 000002c9: DUP1 000002ca: DUP3 000002cb: ISZERO 000002cc: ISZERO 000002cd: ISZERO 000002ce: ISZERO 000002cf: DUP2 000002d0: MSTORE 000002d1: PUSH1 0x20 000002d3: ADD 000002d4: SWAP2 000002d5: POP 000002d6: POP 000002d7: PUSH1 0x40 000002d9: MLOAD 000002da: DUP1 000002db: SWAP2 000002dc: SUB 000002dd: SWAP1 000002de: RETURN 000002df: JUMPDEST 000002e0: CALLVALUE 000002e1: ISZERO 000002e2: PUSH2 0x02ea 000002e5: JUMPI 000002e6: PUSH1 0x00 000002e8: DUP1 000002e9: REVERT 000002ea: JUMPDEST 000002eb: PUSH2 0x030d 000002ee: PUSH1 0x04 000002f0: DUP1 000002f1: DUP1 000002f2: CALLDATALOAD 000002f3: ISZERO 000002f4: ISZERO 000002f5: SWAP1 000002f6: PUSH1 0x20 000002f8: ADD 000002f9: SWAP1 000002fa: SWAP2 000002fb: SWAP1 000002fc: DUP1 000002fd: CALLDATALOAD 000002fe: ISZERO 000002ff: ISZERO 00000300: SWAP1 00000301: PUSH1 0x20 00000303: ADD 00000304: SWAP1 00000305: SWAP2 00000306: SWAP1 00000307: POP 00000308: POP 00000309: PUSH2 0x0cea 0000030c: JUMP 0000030d: JUMPDEST 0000030e: PUSH1 0x40 00000310: MLOAD 00000311: DUP1 00000312: DUP3 00000313: DUP2 00000314: MSTORE 00000315: PUSH1 0x20 00000317: ADD 00000318: SWAP2 00000319: POP 0000031a: POP 0000031b: PUSH1 0x40 0000031d: MLOAD 0000031e: DUP1 0000031f: SWAP2 00000320: SUB 00000321: SWAP1 00000322: RETURN 00000323: JUMPDEST 00000324: CALLVALUE 00000325: ISZERO 00000326: PUSH2 0x032e 00000329: JUMPI 0000032a: PUSH1 0x00 0000032c: DUP1 0000032d: REVERT 0000032e: JUMPDEST 0000032f: PUSH2 0x035a 00000332: PUSH1 0x04 00000334: DUP1 00000335: DUP1 00000336: CALLDATALOAD 00000337: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000034c: AND 0000034d: SWAP1 0000034e: PUSH1 0x20 00000350: ADD 00000351: SWAP1 00000352: SWAP2 00000353: SWAP1 00000354: POP 00000355: POP 00000356: PUSH2 0x0d7c 00000359: JUMP 0000035a: JUMPDEST 0000035b: STOP 0000035c: JUMPDEST 0000035d: CALLVALUE 0000035e: ISZERO 0000035f: PUSH2 0x0367 00000362: JUMPI 00000363: PUSH1 0x00 00000365: DUP1 00000366: REVERT 00000367: JUMPDEST 00000368: PUSH2 0x037d 0000036b: PUSH1 0x04 0000036d: DUP1 0000036e: DUP1 0000036f: CALLDATALOAD 00000370: SWAP1 00000371: PUSH1 0x20 00000373: ADD 00000374: SWAP1 00000375: SWAP2 00000376: SWAP1 00000377: POP 00000378: POP 00000379: PUSH2 0x0f72 0000037c: JUMP 0000037d: JUMPDEST 0000037e: PUSH1 0x40 00000380: MLOAD 00000381: DUP1 00000382: DUP3 00000383: ISZERO 00000384: ISZERO 00000385: ISZERO 00000386: ISZERO 00000387: DUP2 00000388: MSTORE 00000389: PUSH1 0x20 0000038b: ADD 0000038c: SWAP2 0000038d: POP 0000038e: POP 0000038f: PUSH1 0x40 00000391: MLOAD 00000392: DUP1 00000393: SWAP2 00000394: SUB 00000395: SWAP1 00000396: RETURN 00000397: JUMPDEST 00000398: CALLVALUE 00000399: ISZERO 0000039a: PUSH2 0x03a2 0000039d: JUMPI 0000039e: PUSH1 0x00 000003a0: DUP1 000003a1: REVERT 000003a2: JUMPDEST 000003a3: PUSH2 0x03b8 000003a6: PUSH1 0x04 000003a8: DUP1 000003a9: DUP1 000003aa: CALLDATALOAD 000003ab: SWAP1 000003ac: PUSH1 0x20 000003ae: ADD 000003af: SWAP1 000003b0: SWAP2 000003b1: SWAP1 000003b2: POP 000003b3: POP 000003b4: PUSH2 0x1058 000003b7: JUMP 000003b8: JUMPDEST 000003b9: PUSH1 0x40 000003bb: MLOAD 000003bc: DUP1 000003bd: DUP3 000003be: DUP2 000003bf: MSTORE 000003c0: PUSH1 0x20 000003c2: ADD 000003c3: SWAP2 000003c4: POP 000003c5: POP 000003c6: PUSH1 0x40 000003c8: MLOAD 000003c9: DUP1 000003ca: SWAP2 000003cb: SUB 000003cc: SWAP1 000003cd: RETURN 000003ce: JUMPDEST 000003cf: CALLVALUE 000003d0: ISZERO 000003d1: PUSH2 0x03d9 000003d4: JUMPI 000003d5: PUSH1 0x00 000003d7: DUP1 000003d8: REVERT 000003d9: JUMPDEST 000003da: PUSH2 0x03ef 000003dd: PUSH1 0x04 000003df: DUP1 000003e0: DUP1 000003e1: CALLDATALOAD 000003e2: SWAP1 000003e3: PUSH1 0x20 000003e5: ADD 000003e6: SWAP1 000003e7: SWAP2 000003e8: SWAP1 000003e9: POP 000003ea: POP 000003eb: PUSH2 0x1124 000003ee: JUMP 000003ef: JUMPDEST 000003f0: PUSH1 0x40 000003f2: MLOAD 000003f3: DUP1 000003f4: DUP6 000003f5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000040a: AND 0000040b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000420: AND 00000421: DUP2 00000422: MSTORE 00000423: PUSH1 0x20 00000425: ADD 00000426: DUP5 00000427: DUP2 00000428: MSTORE 00000429: PUSH1 0x20 0000042b: ADD 0000042c: DUP1 0000042d: PUSH1 0x20 0000042f: ADD 00000430: DUP4 00000431: ISZERO 00000432: ISZERO 00000433: ISZERO 00000434: ISZERO 00000435: DUP2 00000436: MSTORE 00000437: PUSH1 0x20 00000439: ADD 0000043a: DUP3 0000043b: DUP2 0000043c: SUB 0000043d: DUP3 0000043e: MSTORE 0000043f: DUP5 00000440: DUP2 00000441: DUP2 00000442: SLOAD 00000443: PUSH1 0x01 00000445: DUP2 00000446: PUSH1 0x01 00000448: AND 00000449: ISZERO 0000044a: PUSH2 0x0100 0000044d: MUL 0000044e: SUB 0000044f: AND 00000450: PUSH1 0x02 00000452: SWAP1 00000453: DIV 00000454: DUP2 00000455: MSTORE 00000456: PUSH1 0x20 00000458: ADD 00000459: SWAP2 0000045a: POP 0000045b: DUP1 0000045c: SLOAD 0000045d: PUSH1 0x01 0000045f: DUP2 00000460: PUSH1 0x01 00000462: AND 00000463: ISZERO 00000464: PUSH2 0x0100 00000467: MUL 00000468: SUB 00000469: AND 0000046a: PUSH1 0x02 0000046c: SWAP1 0000046d: DIV 0000046e: DUP1 0000046f: ISZERO 00000470: PUSH2 0x04ba 00000473: JUMPI 00000474: DUP1 00000475: PUSH1 0x1f 00000477: LT 00000478: PUSH2 0x048f 0000047b: JUMPI 0000047c: PUSH2 0x0100 0000047f: DUP1 00000480: DUP4 00000481: SLOAD 00000482: DIV 00000483: MUL 00000484: DUP4 00000485: MSTORE 00000486: SWAP2 00000487: PUSH1 0x20 00000489: ADD 0000048a: SWAP2 0000048b: PUSH2 0x04ba 0000048e: JUMP 0000048f: JUMPDEST 00000490: DUP3 00000491: ADD 00000492: SWAP2 00000493: SWAP1 00000494: PUSH1 0x00 00000496: MSTORE 00000497: PUSH1 0x20 00000499: PUSH1 0x00 0000049b: KECCAK256 0000049c: SWAP1 0000049d: JUMPDEST 0000049e: DUP2 0000049f: SLOAD 000004a0: DUP2 000004a1: MSTORE 000004a2: SWAP1 000004a3: PUSH1 0x01 000004a5: ADD 000004a6: SWAP1 000004a7: PUSH1 0x20 000004a9: ADD 000004aa: DUP1 000004ab: DUP4 000004ac: GT 000004ad: PUSH2 0x049d 000004b0: JUMPI 000004b1: DUP3 000004b2: SWAP1 000004b3: SUB 000004b4: PUSH1 0x1f 000004b6: AND 000004b7: DUP3 000004b8: ADD 000004b9: SWAP2 000004ba: JUMPDEST 000004bb: POP 000004bc: POP 000004bd: SWAP6 000004be: POP 000004bf: POP 000004c0: POP 000004c1: POP 000004c2: POP 000004c3: POP 000004c4: PUSH1 0x40 000004c6: MLOAD 000004c7: DUP1 000004c8: SWAP2 000004c9: SUB 000004ca: SWAP1 000004cb: RETURN 000004cc: JUMPDEST 000004cd: CALLVALUE 000004ce: ISZERO 000004cf: PUSH2 0x04d7 000004d2: JUMPI 000004d3: PUSH1 0x00 000004d5: DUP1 000004d6: REVERT 000004d7: JUMPDEST 000004d8: PUSH2 0x04df 000004db: PUSH2 0x1180 000004de: JUMP 000004df: JUMPDEST 000004e0: PUSH1 0x40 000004e2: MLOAD 000004e3: DUP1 000004e4: DUP1 000004e5: PUSH1 0x20 000004e7: ADD 000004e8: DUP3 000004e9: DUP2 000004ea: SUB 000004eb: DUP3 000004ec: MSTORE 000004ed: DUP4 000004ee: DUP2 000004ef: DUP2 000004f0: MLOAD 000004f1: DUP2 000004f2: MSTORE 000004f3: PUSH1 0x20 000004f5: ADD 000004f6: SWAP2 000004f7: POP 000004f8: DUP1 000004f9: MLOAD 000004fa: SWAP1 000004fb: PUSH1 0x20 000004fd: ADD 000004fe: SWAP1 000004ff: PUSH1 0x20 00000501: MUL 00000502: DUP1 00000503: DUP4 00000504: DUP4 00000505: PUSH1 0x00 00000507: JUMPDEST 00000508: DUP4 00000509: DUP2 0000050a: LT 0000050b: ISZERO 0000050c: PUSH2 0x0522 0000050f: JUMPI 00000510: DUP1 00000511: DUP3 00000512: ADD 00000513: MLOAD 00000514: DUP2 00000515: DUP5 00000516: ADD 00000517: MSTORE 00000518: PUSH1 0x20 0000051a: DUP2 0000051b: ADD 0000051c: SWAP1 0000051d: POP 0000051e: PUSH2 0x0507 00000521: JUMP 00000522: JUMPDEST 00000523: POP 00000524: POP 00000525: POP 00000526: POP 00000527: SWAP1 00000528: POP 00000529: ADD 0000052a: SWAP3 0000052b: POP 0000052c: POP 0000052d: POP 0000052e: PUSH1 0x40 00000530: MLOAD 00000531: DUP1 00000532: SWAP2 00000533: SUB 00000534: SWAP1 00000535: RETURN 00000536: JUMPDEST 00000537: CALLVALUE 00000538: ISZERO 00000539: PUSH2 0x0541 0000053c: JUMPI 0000053d: PUSH1 0x00 0000053f: DUP1 00000540: REVERT 00000541: JUMPDEST 00000542: PUSH2 0x0576 00000545: PUSH1 0x04 00000547: DUP1 00000548: DUP1 00000549: CALLDATALOAD 0000054a: SWAP1 0000054b: PUSH1 0x20 0000054d: ADD 0000054e: SWAP1 0000054f: SWAP2 00000550: SWAP1 00000551: DUP1 00000552: CALLDATALOAD 00000553: SWAP1 00000554: PUSH1 0x20 00000556: ADD 00000557: SWAP1 00000558: SWAP2 00000559: SWAP1 0000055a: DUP1 0000055b: CALLDATALOAD 0000055c: ISZERO 0000055d: ISZERO 0000055e: SWAP1 0000055f: PUSH1 0x20 00000561: ADD 00000562: SWAP1 00000563: SWAP2 00000564: SWAP1 00000565: DUP1 00000566: CALLDATALOAD 00000567: ISZERO 00000568: ISZERO 00000569: SWAP1 0000056a: PUSH1 0x20 0000056c: ADD 0000056d: SWAP1 0000056e: SWAP2 0000056f: SWAP1 00000570: POP 00000571: POP 00000572: PUSH2 0x1214 00000575: JUMP 00000576: JUMPDEST 00000577: PUSH1 0x40 00000579: MLOAD 0000057a: DUP1 0000057b: DUP1 0000057c: PUSH1 0x20 0000057e: ADD 0000057f: DUP3 00000580: DUP2 00000581: SUB 00000582: DUP3 00000583: MSTORE 00000584: DUP4 00000585: DUP2 00000586: DUP2 00000587: MLOAD 00000588: DUP2 00000589: MSTORE 0000058a: PUSH1 0x20 0000058c: ADD 0000058d: SWAP2 0000058e: POP 0000058f: DUP1 00000590: MLOAD 00000591: SWAP1 00000592: PUSH1 0x20 00000594: ADD 00000595: SWAP1 00000596: PUSH1 0x20 00000598: MUL 00000599: DUP1 0000059a: DUP4 0000059b: DUP4 0000059c: PUSH1 0x00 0000059e: JUMPDEST 0000059f: DUP4 000005a0: DUP2 000005a1: LT 000005a2: ISZERO 000005a3: PUSH2 0x05b9 000005a6: JUMPI 000005a7: DUP1 000005a8: DUP3 000005a9: ADD 000005aa: MLOAD 000005ab: DUP2 000005ac: DUP5 000005ad: ADD 000005ae: MSTORE 000005af: PUSH1 0x20 000005b1: DUP2 000005b2: ADD 000005b3: SWAP1 000005b4: POP 000005b5: PUSH2 0x059e 000005b8: JUMP 000005b9: JUMPDEST 000005ba: POP 000005bb: POP 000005bc: POP 000005bd: POP 000005be: SWAP1 000005bf: POP 000005c0: ADD 000005c1: SWAP3 000005c2: POP 000005c3: POP 000005c4: POP 000005c5: PUSH1 0x40 000005c7: MLOAD 000005c8: DUP1 000005c9: SWAP2 000005ca: SUB 000005cb: SWAP1 000005cc: RETURN 000005cd: JUMPDEST 000005ce: CALLVALUE 000005cf: ISZERO 000005d0: PUSH2 0x05d8 000005d3: JUMPI 000005d4: PUSH1 0x00 000005d6: DUP1 000005d7: REVERT 000005d8: JUMPDEST 000005d9: PUSH2 0x05ee 000005dc: PUSH1 0x04 000005de: DUP1 000005df: DUP1 000005e0: CALLDATALOAD 000005e1: SWAP1 000005e2: PUSH1 0x20 000005e4: ADD 000005e5: SWAP1 000005e6: SWAP2 000005e7: SWAP1 000005e8: POP 000005e9: POP 000005ea: PUSH2 0x1370 000005ed: JUMP 000005ee: JUMPDEST 000005ef: PUSH1 0x40 000005f1: MLOAD 000005f2: DUP1 000005f3: DUP1 000005f4: PUSH1 0x20 000005f6: ADD 000005f7: DUP3 000005f8: DUP2 000005f9: SUB 000005fa: DUP3 000005fb: MSTORE 000005fc: DUP4 000005fd: DUP2 000005fe: DUP2 000005ff: MLOAD 00000600: DUP2 00000601: MSTORE 00000602: PUSH1 0x20 00000604: ADD 00000605: SWAP2 00000606: POP 00000607: DUP1 00000608: MLOAD 00000609: SWAP1 0000060a: PUSH1 0x20 0000060c: ADD 0000060d: SWAP1 0000060e: PUSH1 0x20 00000610: MUL 00000611: DUP1 00000612: DUP4 00000613: DUP4 00000614: PUSH1 0x00 00000616: JUMPDEST 00000617: DUP4 00000618: DUP2 00000619: LT 0000061a: ISZERO 0000061b: PUSH2 0x0631 0000061e: JUMPI 0000061f: DUP1 00000620: DUP3 00000621: ADD 00000622: MLOAD 00000623: DUP2 00000624: DUP5 00000625: ADD 00000626: MSTORE 00000627: PUSH1 0x20 00000629: DUP2 0000062a: ADD 0000062b: SWAP1 0000062c: POP 0000062d: PUSH2 0x0616 00000630: JUMP 00000631: JUMPDEST 00000632: POP 00000633: POP 00000634: POP 00000635: POP 00000636: SWAP1 00000637: POP 00000638: ADD 00000639: SWAP3 0000063a: POP 0000063b: POP 0000063c: POP 0000063d: PUSH1 0x40 0000063f: MLOAD 00000640: DUP1 00000641: SWAP2 00000642: SUB 00000643: SWAP1 00000644: RETURN 00000645: JUMPDEST 00000646: CALLVALUE 00000647: ISZERO 00000648: PUSH2 0x0650 0000064b: JUMPI 0000064c: PUSH1 0x00 0000064e: DUP1 0000064f: REVERT 00000650: JUMPDEST 00000651: PUSH2 0x0658 00000654: PUSH2 0x159a 00000657: JUMP 00000658: JUMPDEST 00000659: PUSH1 0x40 0000065b: MLOAD 0000065c: DUP1 0000065d: DUP3 0000065e: DUP2 0000065f: MSTORE 00000660: PUSH1 0x20 00000662: ADD 00000663: SWAP2 00000664: POP 00000665: POP 00000666: PUSH1 0x40 00000668: MLOAD 00000669: DUP1 0000066a: SWAP2 0000066b: SUB 0000066c: SWAP1 0000066d: RETURN 0000066e: JUMPDEST 0000066f: CALLVALUE 00000670: ISZERO 00000671: PUSH2 0x0679 00000674: JUMPI 00000675: PUSH1 0x00 00000677: DUP1 00000678: REVERT 00000679: JUMPDEST 0000067a: PUSH2 0x068f 0000067d: PUSH1 0x04 0000067f: DUP1 00000680: DUP1 00000681: CALLDATALOAD 00000682: SWAP1 00000683: PUSH1 0x20 00000685: ADD 00000686: SWAP1 00000687: SWAP2 00000688: SWAP1 00000689: POP 0000068a: POP 0000068b: PUSH2 0x15a0 0000068e: JUMP 0000068f: JUMPDEST 00000690: STOP 00000691: JUMPDEST 00000692: CALLVALUE 00000693: ISZERO 00000694: PUSH2 0x069c 00000697: JUMPI 00000698: PUSH1 0x00 0000069a: DUP1 0000069b: REVERT 0000069c: JUMPDEST 0000069d: PUSH2 0x06b2 000006a0: PUSH1 0x04 000006a2: DUP1 000006a3: DUP1 000006a4: CALLDATALOAD 000006a5: SWAP1 000006a6: PUSH1 0x20 000006a8: ADD 000006a9: SWAP1 000006aa: SWAP2 000006ab: SWAP1 000006ac: POP 000006ad: POP 000006ae: PUSH2 0x1652 000006b1: JUMP 000006b2: JUMPDEST 000006b3: STOP 000006b4: JUMPDEST 000006b5: CALLVALUE 000006b6: ISZERO 000006b7: PUSH2 0x06bf 000006ba: JUMPI 000006bb: PUSH1 0x00 000006bd: DUP1 000006be: REVERT 000006bf: JUMPDEST 000006c0: PUSH2 0x0737 000006c3: PUSH1 0x04 000006c5: DUP1 000006c6: DUP1 000006c7: CALLDATALOAD 000006c8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006dd: AND 000006de: SWAP1 000006df: PUSH1 0x20 000006e1: ADD 000006e2: SWAP1 000006e3: SWAP2 000006e4: SWAP1 000006e5: DUP1 000006e6: CALLDATALOAD 000006e7: SWAP1 000006e8: PUSH1 0x20 000006ea: ADD 000006eb: SWAP1 000006ec: SWAP2 000006ed: SWAP1 000006ee: DUP1 000006ef: CALLDATALOAD 000006f0: SWAP1 000006f1: PUSH1 0x20 000006f3: ADD 000006f4: SWAP1 000006f5: DUP3 000006f6: ADD 000006f7: DUP1 000006f8: CALLDATALOAD 000006f9: SWAP1 000006fa: PUSH1 0x20 000006fc: ADD 000006fd: SWAP1 000006fe: DUP1 000006ff: DUP1 00000700: PUSH1 0x1f 00000702: ADD 00000703: PUSH1 0x20 00000705: DUP1 00000706: SWAP2 00000707: DIV 00000708: MUL 00000709: PUSH1 0x20 0000070b: ADD 0000070c: PUSH1 0x40 0000070e: MLOAD 0000070f: SWAP1 00000710: DUP2 00000711: ADD 00000712: PUSH1 0x40 00000714: MSTORE 00000715: DUP1 00000716: SWAP4 00000717: SWAP3 00000718: SWAP2 00000719: SWAP1 0000071a: DUP2 0000071b: DUP2 0000071c: MSTORE 0000071d: PUSH1 0x20 0000071f: ADD 00000720: DUP4 00000721: DUP4 00000722: DUP1 00000723: DUP3 00000724: DUP5 00000725: CALLDATACOPY 00000726: DUP3 00000727: ADD 00000728: SWAP2 00000729: POP 0000072a: POP 0000072b: POP 0000072c: POP 0000072d: POP 0000072e: POP 0000072f: SWAP2 00000730: SWAP1 00000731: POP 00000732: POP 00000733: PUSH2 0x182b 00000736: JUMP 00000737: JUMPDEST 00000738: PUSH1 0x40 0000073a: MLOAD 0000073b: DUP1 0000073c: DUP3 0000073d: DUP2 0000073e: MSTORE 0000073f: PUSH1 0x20 00000741: ADD 00000742: SWAP2 00000743: POP 00000744: POP 00000745: PUSH1 0x40 00000747: MLOAD 00000748: DUP1 00000749: SWAP2 0000074a: SUB 0000074b: SWAP1 0000074c: RETURN 0000074d: JUMPDEST 0000074e: CALLVALUE 0000074f: ISZERO 00000750: PUSH2 0x0758 00000753: JUMPI 00000754: PUSH1 0x00 00000756: DUP1 00000757: REVERT 00000758: JUMPDEST 00000759: PUSH2 0x0760 0000075c: PUSH2 0x184a 0000075f: JUMP 00000760: JUMPDEST 00000761: PUSH1 0x40 00000763: MLOAD 00000764: DUP1 00000765: DUP3 00000766: DUP2 00000767: MSTORE 00000768: PUSH1 0x20 0000076a: ADD 0000076b: SWAP2 0000076c: POP 0000076d: POP 0000076e: PUSH1 0x40 00000770: MLOAD 00000771: DUP1 00000772: SWAP2 00000773: SUB 00000774: SWAP1 00000775: RETURN 00000776: JUMPDEST 00000777: CALLVALUE 00000778: ISZERO 00000779: PUSH2 0x0781 0000077c: JUMPI 0000077d: PUSH1 0x00 0000077f: DUP1 00000780: REVERT 00000781: JUMPDEST 00000782: PUSH2 0x0789 00000785: PUSH2 0x184f 00000788: JUMP 00000789: JUMPDEST 0000078a: PUSH1 0x40 0000078c: MLOAD 0000078d: DUP1 0000078e: DUP3 0000078f: DUP2 00000790: MSTORE 00000791: PUSH1 0x20 00000793: ADD 00000794: SWAP2 00000795: POP 00000796: POP 00000797: PUSH1 0x40 00000799: MLOAD 0000079a: DUP1 0000079b: SWAP2 0000079c: SUB 0000079d: SWAP1 0000079e: RETURN 0000079f: JUMPDEST 000007a0: CALLVALUE 000007a1: ISZERO 000007a2: PUSH2 0x07aa 000007a5: JUMPI 000007a6: PUSH1 0x00 000007a8: DUP1 000007a9: REVERT 000007aa: JUMPDEST 000007ab: PUSH2 0x07f5 000007ae: PUSH1 0x04 000007b0: DUP1 000007b1: DUP1 000007b2: CALLDATALOAD 000007b3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007c8: AND 000007c9: SWAP1 000007ca: PUSH1 0x20 000007cc: ADD 000007cd: SWAP1 000007ce: SWAP2 000007cf: SWAP1 000007d0: DUP1 000007d1: CALLDATALOAD 000007d2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007e7: AND 000007e8: SWAP1 000007e9: PUSH1 0x20 000007eb: ADD 000007ec: SWAP1 000007ed: SWAP2 000007ee: SWAP1 000007ef: POP 000007f0: POP 000007f1: PUSH2 0x1855 000007f4: JUMP 000007f5: JUMPDEST 000007f6: STOP 000007f7: JUMPDEST 000007f8: CALLVALUE 000007f9: ISZERO 000007fa: PUSH2 0x0802 000007fd: JUMPI 000007fe: PUSH1 0x00 00000800: DUP1 00000801: REVERT 00000802: JUMPDEST 00000803: PUSH2 0x0818 00000806: PUSH1 0x04 00000808: DUP1 00000809: DUP1 0000080a: CALLDATALOAD 0000080b: SWAP1 0000080c: PUSH1 0x20 0000080e: ADD 0000080f: SWAP1 00000810: SWAP2 00000811: SWAP1 00000812: POP 00000813: POP 00000814: PUSH2 0x1b6a 00000817: JUMP 00000818: JUMPDEST 00000819: STOP 0000081a: JUMPDEST 0000081b: PUSH1 0x03 0000081d: DUP2 0000081e: DUP2 0000081f: SLOAD 00000820: DUP2 00000821: LT 00000822: ISZERO 00000823: ISZERO 00000824: PUSH2 0x0829 00000827: JUMPI 00000828: INVALID 00000829: JUMPDEST 0000082a: SWAP1 0000082b: PUSH1 0x00 0000082d: MSTORE 0000082e: PUSH1 0x20 00000830: PUSH1 0x00 00000832: KECCAK256 00000833: SWAP1 00000834: ADD 00000835: PUSH1 0x00 00000837: SWAP2 00000838: POP 00000839: SLOAD 0000083a: SWAP1 0000083b: PUSH2 0x0100 0000083e: EXP 0000083f: SWAP1 00000840: DIV 00000841: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000856: AND 00000857: DUP2 00000858: JUMP 00000859: JUMPDEST 0000085a: PUSH1 0x00 0000085c: ADDRESS 0000085d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000872: AND 00000873: CALLER 00000874: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000889: AND 0000088a: EQ 0000088b: ISZERO 0000088c: ISZERO 0000088d: PUSH2 0x0895 00000890: JUMPI 00000891: PUSH1 0x00 00000893: DUP1 00000894: REVERT 00000895: JUMPDEST 00000896: DUP2 00000897: PUSH1 0x02 00000899: PUSH1 0x00 0000089b: DUP3 0000089c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008b1: AND 000008b2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008c7: AND 000008c8: DUP2 000008c9: MSTORE 000008ca: PUSH1 0x20 000008cc: ADD 000008cd: SWAP1 000008ce: DUP2 000008cf: MSTORE 000008d0: PUSH1 0x20 000008d2: ADD 000008d3: PUSH1 0x00 000008d5: KECCAK256 000008d6: PUSH1 0x00 000008d8: SWAP1 000008d9: SLOAD 000008da: SWAP1 000008db: PUSH2 0x0100 000008de: EXP 000008df: SWAP1 000008e0: DIV 000008e1: PUSH1 0xff 000008e3: AND 000008e4: ISZERO 000008e5: ISZERO 000008e6: PUSH2 0x08ee 000008e9: JUMPI 000008ea: PUSH1 0x00 000008ec: DUP1 000008ed: REVERT 000008ee: JUMPDEST 000008ef: PUSH1 0x00 000008f1: PUSH1 0x02 000008f3: PUSH1 0x00 000008f5: DUP6 000008f6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000090b: AND 0000090c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000921: AND 00000922: DUP2 00000923: MSTORE 00000924: PUSH1 0x20 00000926: ADD 00000927: SWAP1 00000928: DUP2 00000929: MSTORE 0000092a: PUSH1 0x20 0000092c: ADD 0000092d: PUSH1 0x00 0000092f: KECCAK256 00000930: PUSH1 0x00 00000932: PUSH2 0x0100 00000935: EXP 00000936: DUP2 00000937: SLOAD 00000938: DUP2 00000939: PUSH1 0xff 0000093b: MUL 0000093c: NOT 0000093d: AND 0000093e: SWAP1 0000093f: DUP4 00000940: ISZERO 00000941: ISZERO 00000942: MUL 00000943: OR 00000944: SWAP1 00000945: SSTORE 00000946: POP 00000947: PUSH1 0x00 00000949: SWAP2 0000094a: POP 0000094b: JUMPDEST 0000094c: PUSH1 0x01 0000094e: PUSH1 0x03 00000950: DUP1 00000951: SLOAD 00000952: SWAP1 00000953: POP 00000954: SUB 00000955: DUP3 00000956: LT 00000957: ISZERO 00000958: PUSH2 0x0a76 0000095b: JUMPI 0000095c: DUP3 0000095d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000972: AND 00000973: PUSH1 0x03 00000975: DUP4 00000976: DUP2 00000977: SLOAD 00000978: DUP2 00000979: LT 0000097a: ISZERO 0000097b: ISZERO 0000097c: PUSH2 0x0981 0000097f: JUMPI 00000980: INVALID 00000981: JUMPDEST 00000982: SWAP1 00000983: PUSH1 0x00 00000985: MSTORE 00000986: PUSH1 0x20 00000988: PUSH1 0x00 0000098a: KECCAK256 0000098b: SWAP1 0000098c: ADD 0000098d: PUSH1 0x00 0000098f: SWAP1 00000990: SLOAD 00000991: SWAP1 00000992: PUSH2 0x0100 00000995: EXP 00000996: SWAP1 00000997: DIV 00000998: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009ad: AND 000009ae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009c3: AND 000009c4: EQ 000009c5: ISZERO 000009c6: PUSH2 0x0a69 000009c9: JUMPI 000009ca: PUSH1 0x03 000009cc: PUSH1 0x01 000009ce: PUSH1 0x03 000009d0: DUP1 000009d1: SLOAD 000009d2: SWAP1 000009d3: POP 000009d4: SUB 000009d5: DUP2 000009d6: SLOAD 000009d7: DUP2 000009d8: LT 000009d9: ISZERO 000009da: ISZERO 000009db: PUSH2 0x09e0 000009de: JUMPI 000009df: INVALID 000009e0: JUMPDEST 000009e1: SWAP1 000009e2: PUSH1 0x00 000009e4: MSTORE 000009e5: PUSH1 0x20 000009e7: PUSH1 0x00 000009e9: KECCAK256 000009ea: SWAP1 000009eb: ADD 000009ec: PUSH1 0x00 000009ee: SWAP1 000009ef: SLOAD 000009f0: SWAP1 000009f1: PUSH2 0x0100 000009f4: EXP 000009f5: SWAP1 000009f6: DIV 000009f7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a0c: AND 00000a0d: PUSH1 0x03 00000a0f: DUP4 00000a10: DUP2 00000a11: SLOAD 00000a12: DUP2 00000a13: LT 00000a14: ISZERO 00000a15: ISZERO 00000a16: PUSH2 0x0a1b 00000a19: JUMPI 00000a1a: INVALID 00000a1b: JUMPDEST 00000a1c: SWAP1 00000a1d: PUSH1 0x00 00000a1f: MSTORE 00000a20: PUSH1 0x20 00000a22: PUSH1 0x00 00000a24: KECCAK256 00000a25: SWAP1 00000a26: ADD 00000a27: PUSH1 0x00 00000a29: PUSH2 0x0100 00000a2c: EXP 00000a2d: DUP2 00000a2e: SLOAD 00000a2f: DUP2 00000a30: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a45: MUL 00000a46: NOT 00000a47: AND 00000a48: SWAP1 00000a49: DUP4 00000a4a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a5f: AND 00000a60: MUL 00000a61: OR 00000a62: SWAP1 00000a63: SSTORE 00000a64: POP 00000a65: PUSH2 0x0a76 00000a68: JUMP 00000a69: JUMPDEST 00000a6a: DUP2 00000a6b: DUP1 00000a6c: PUSH1 0x01 00000a6e: ADD 00000a6f: SWAP3 00000a70: POP 00000a71: POP 00000a72: PUSH2 0x094b 00000a75: JUMP 00000a76: JUMPDEST 00000a77: PUSH1 0x01 00000a79: PUSH1 0x03 00000a7b: DUP2 00000a7c: DUP2 00000a7d: DUP1 00000a7e: SLOAD 00000a7f: SWAP1 00000a80: POP 00000a81: SUB 00000a82: SWAP2 00000a83: POP 00000a84: DUP2 00000a85: PUSH2 0x0a8e 00000a88: SWAP2 00000a89: SWAP1 00000a8a: PUSH2 0x1e74 00000a8d: JUMP 00000a8e: JUMPDEST 00000a8f: POP 00000a90: PUSH1 0x03 00000a92: DUP1 00000a93: SLOAD 00000a94: SWAP1 00000a95: POP 00000a96: PUSH1 0x04 00000a98: SLOAD 00000a99: GT 00000a9a: ISZERO 00000a9b: PUSH2 0x0aad 00000a9e: JUMPI 00000a9f: PUSH2 0x0aac 00000aa2: PUSH1 0x03 00000aa4: DUP1 00000aa5: SLOAD 00000aa6: SWAP1 00000aa7: POP 00000aa8: PUSH2 0x15a0 00000aab: JUMP 00000aac: JUMPDEST 00000aad: JUMPDEST 00000aae: DUP3 00000aaf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ac4: AND 00000ac5: PUSH32 0x8001553a916ef2f495d26a907cc54d96ed840d7bda71e73194bf5a9df7a76b90 00000ae6: PUSH1 0x40 00000ae8: MLOAD 00000ae9: PUSH1 0x40 00000aeb: MLOAD 00000aec: DUP1 00000aed: SWAP2 00000aee: SUB 00000aef: SWAP1 00000af0: LOG2 00000af1: POP 00000af2: POP 00000af3: POP 00000af4: JUMP 00000af5: JUMPDEST 00000af6: CALLER 00000af7: PUSH1 0x02 00000af9: PUSH1 0x00 00000afb: DUP3 00000afc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b11: AND 00000b12: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b27: AND 00000b28: DUP2 00000b29: MSTORE 00000b2a: PUSH1 0x20 00000b2c: ADD 00000b2d: SWAP1 00000b2e: DUP2 00000b2f: MSTORE 00000b30: PUSH1 0x20 00000b32: ADD 00000b33: PUSH1 0x00 00000b35: KECCAK256 00000b36: PUSH1 0x00 00000b38: SWAP1 00000b39: SLOAD 00000b3a: SWAP1 00000b3b: PUSH2 0x0100 00000b3e: EXP 00000b3f: SWAP1 00000b40: DIV 00000b41: PUSH1 0xff 00000b43: AND 00000b44: ISZERO 00000b45: ISZERO 00000b46: PUSH2 0x0b4e 00000b49: JUMPI 00000b4a: PUSH1 0x00 00000b4c: DUP1 00000b4d: REVERT 00000b4e: JUMPDEST 00000b4f: DUP2 00000b50: CALLER 00000b51: PUSH1 0x01 00000b53: PUSH1 0x00 00000b55: DUP4 00000b56: DUP2 00000b57: MSTORE 00000b58: PUSH1 0x20 00000b5a: ADD 00000b5b: SWAP1 00000b5c: DUP2 00000b5d: MSTORE 00000b5e: PUSH1 0x20 00000b60: ADD 00000b61: PUSH1 0x00 00000b63: KECCAK256 00000b64: PUSH1 0x00 00000b66: DUP3 00000b67: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b7c: AND 00000b7d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b92: AND 00000b93: DUP2 00000b94: MSTORE 00000b95: PUSH1 0x20 00000b97: ADD 00000b98: SWAP1 00000b99: DUP2 00000b9a: MSTORE 00000b9b: PUSH1 0x20 00000b9d: ADD 00000b9e: PUSH1 0x00 00000ba0: KECCAK256 00000ba1: PUSH1 0x00 00000ba3: SWAP1 00000ba4: SLOAD 00000ba5: SWAP1 00000ba6: PUSH2 0x0100 00000ba9: EXP 00000baa: SWAP1 00000bab: DIV 00000bac: PUSH1 0xff 00000bae: AND 00000baf: ISZERO 00000bb0: ISZERO 00000bb1: PUSH2 0x0bb9 00000bb4: JUMPI 00000bb5: PUSH1 0x00 00000bb7: DUP1 00000bb8: REVERT 00000bb9: JUMPDEST 00000bba: DUP4 00000bbb: PUSH1 0x00 00000bbd: DUP1 00000bbe: DUP3 00000bbf: DUP2 00000bc0: MSTORE 00000bc1: PUSH1 0x20 00000bc3: ADD 00000bc4: SWAP1 00000bc5: DUP2 00000bc6: MSTORE 00000bc7: PUSH1 0x20 00000bc9: ADD 00000bca: PUSH1 0x00 00000bcc: KECCAK256 00000bcd: PUSH1 0x03 00000bcf: ADD 00000bd0: PUSH1 0x00 00000bd2: SWAP1 00000bd3: SLOAD 00000bd4: SWAP1 00000bd5: PUSH2 0x0100 00000bd8: EXP 00000bd9: SWAP1 00000bda: DIV 00000bdb: PUSH1 0xff 00000bdd: AND 00000bde: ISZERO 00000bdf: PUSH2 0x0be7 00000be2: JUMPI 00000be3: PUSH1 0x00 00000be5: DUP1 00000be6: REVERT 00000be7: JUMPDEST 00000be8: PUSH1 0x00 00000bea: PUSH1 0x01 00000bec: PUSH1 0x00 00000bee: DUP8 00000bef: DUP2 00000bf0: MSTORE 00000bf1: PUSH1 0x20 00000bf3: ADD 00000bf4: SWAP1 00000bf5: DUP2 00000bf6: MSTORE 00000bf7: PUSH1 0x20 00000bf9: ADD 00000bfa: PUSH1 0x00 00000bfc: KECCAK256 00000bfd: PUSH1 0x00 00000bff: CALLER 00000c00: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c15: AND 00000c16: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c2b: AND 00000c2c: DUP2 00000c2d: MSTORE 00000c2e: PUSH1 0x20 00000c30: ADD 00000c31: SWAP1 00000c32: DUP2 00000c33: MSTORE 00000c34: PUSH1 0x20 00000c36: ADD 00000c37: PUSH1 0x00 00000c39: KECCAK256 00000c3a: PUSH1 0x00 00000c3c: PUSH2 0x0100 00000c3f: EXP 00000c40: DUP2 00000c41: SLOAD 00000c42: DUP2 00000c43: PUSH1 0xff 00000c45: MUL 00000c46: NOT 00000c47: AND 00000c48: SWAP1 00000c49: DUP4 00000c4a: ISZERO 00000c4b: ISZERO 00000c4c: MUL 00000c4d: OR 00000c4e: SWAP1 00000c4f: SSTORE 00000c50: POP 00000c51: DUP5 00000c52: CALLER 00000c53: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c68: AND 00000c69: PUSH32 0xf6a317157440607f36269043eb55f1287a5a19ba2216afeab88cd46cbcfb88e9 00000c8a: PUSH1 0x40 00000c8c: MLOAD 00000c8d: PUSH1 0x40 00000c8f: MLOAD 00000c90: DUP1 00000c91: SWAP2 00000c92: SUB 00000c93: SWAP1 00000c94: LOG3 00000c95: POP 00000c96: POP 00000c97: POP 00000c98: POP 00000c99: POP 00000c9a: JUMP 00000c9b: JUMPDEST 00000c9c: PUSH1 0x02 00000c9e: PUSH1 0x20 00000ca0: MSTORE 00000ca1: DUP1 00000ca2: PUSH1 0x00 00000ca4: MSTORE 00000ca5: PUSH1 0x40 00000ca7: PUSH1 0x00 00000ca9: KECCAK256 00000caa: PUSH1 0x00 00000cac: SWAP2 00000cad: POP 00000cae: SLOAD 00000caf: SWAP1 00000cb0: PUSH2 0x0100 00000cb3: EXP 00000cb4: SWAP1 00000cb5: DIV 00000cb6: PUSH1 0xff 00000cb8: AND 00000cb9: DUP2 00000cba: JUMP 00000cbb: JUMPDEST 00000cbc: PUSH1 0x01 00000cbe: PUSH1 0x20 00000cc0: MSTORE 00000cc1: DUP2 00000cc2: PUSH1 0x00 00000cc4: MSTORE 00000cc5: PUSH1 0x40 00000cc7: PUSH1 0x00 00000cc9: KECCAK256 00000cca: PUSH1 0x20 00000ccc: MSTORE 00000ccd: DUP1 00000cce: PUSH1 0x00 00000cd0: MSTORE 00000cd1: PUSH1 0x40 00000cd3: PUSH1 0x00 00000cd5: KECCAK256 00000cd6: PUSH1 0x00 00000cd8: SWAP2 00000cd9: POP 00000cda: SWAP2 00000cdb: POP 00000cdc: SWAP1 00000cdd: SLOAD 00000cde: SWAP1 00000cdf: PUSH2 0x0100 00000ce2: EXP 00000ce3: SWAP1 00000ce4: DIV 00000ce5: PUSH1 0xff 00000ce7: AND 00000ce8: DUP2 00000ce9: JUMP 00000cea: JUMPDEST 00000ceb: PUSH1 0x00 00000ced: DUP1 00000cee: PUSH1 0x00 00000cf0: SWAP1 00000cf1: POP 00000cf2: JUMPDEST 00000cf3: PUSH1 0x05 00000cf5: SLOAD 00000cf6: DUP2 00000cf7: LT 00000cf8: ISZERO 00000cf9: PUSH2 0x0d75 00000cfc: JUMPI 00000cfd: DUP4 00000cfe: DUP1 00000cff: ISZERO 00000d00: PUSH2 0x0d29 00000d03: JUMPI 00000d04: POP 00000d05: PUSH1 0x00 00000d07: DUP1 00000d08: DUP3 00000d09: DUP2 00000d0a: MSTORE 00000d0b: PUSH1 0x20 00000d0d: ADD 00000d0e: SWAP1 00000d0f: DUP2 00000d10: MSTORE 00000d11: PUSH1 0x20 00000d13: ADD 00000d14: PUSH1 0x00 00000d16: KECCAK256 00000d17: PUSH1 0x03 00000d19: ADD 00000d1a: PUSH1 0x00 00000d1c: SWAP1 00000d1d: SLOAD 00000d1e: SWAP1 00000d1f: PUSH2 0x0100 00000d22: EXP 00000d23: SWAP1 00000d24: DIV 00000d25: PUSH1 0xff 00000d27: AND 00000d28: ISZERO 00000d29: JUMPDEST 00000d2a: DUP1 00000d2b: PUSH2 0x0d5c 00000d2e: JUMPI 00000d2f: POP 00000d30: DUP3 00000d31: DUP1 00000d32: ISZERO 00000d33: PUSH2 0x0d5b 00000d36: JUMPI 00000d37: POP 00000d38: PUSH1 0x00 00000d3a: DUP1 00000d3b: DUP3 00000d3c: DUP2 00000d3d: MSTORE 00000d3e: PUSH1 0x20 00000d40: ADD 00000d41: SWAP1 00000d42: DUP2 00000d43: MSTORE 00000d44: PUSH1 0x20 00000d46: ADD 00000d47: PUSH1 0x00 00000d49: KECCAK256 00000d4a: PUSH1 0x03 00000d4c: ADD 00000d4d: PUSH1 0x00 00000d4f: SWAP1 00000d50: SLOAD 00000d51: SWAP1 00000d52: PUSH2 0x0100 00000d55: EXP 00000d56: SWAP1 00000d57: DIV 00000d58: PUSH1 0xff 00000d5a: AND 00000d5b: JUMPDEST 00000d5c: JUMPDEST 00000d5d: ISZERO 00000d5e: PUSH2 0x0d68 00000d61: JUMPI 00000d62: PUSH1 0x01 00000d64: DUP3 00000d65: ADD 00000d66: SWAP2 00000d67: POP 00000d68: JUMPDEST 00000d69: DUP1 00000d6a: DUP1 00000d6b: PUSH1 0x01 00000d6d: ADD 00000d6e: SWAP2 00000d6f: POP 00000d70: POP 00000d71: PUSH2 0x0cf2 00000d74: JUMP 00000d75: JUMPDEST 00000d76: POP 00000d77: SWAP3 00000d78: SWAP2 00000d79: POP 00000d7a: POP 00000d7b: JUMP 00000d7c: JUMPDEST 00000d7d: ADDRESS 00000d7e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d93: AND 00000d94: CALLER 00000d95: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000daa: AND 00000dab: EQ 00000dac: ISZERO 00000dad: ISZERO 00000dae: PUSH2 0x0db6 00000db1: JUMPI 00000db2: PUSH1 0x00 00000db4: DUP1 00000db5: REVERT 00000db6: JUMPDEST 00000db7: DUP1 00000db8: PUSH1 0x02 00000dba: PUSH1 0x00 00000dbc: DUP3 00000dbd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000dd2: AND 00000dd3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000de8: AND 00000de9: DUP2 00000dea: MSTORE 00000deb: PUSH1 0x20 00000ded: ADD 00000dee: SWAP1 00000def: DUP2 00000df0: MSTORE 00000df1: PUSH1 0x20 00000df3: ADD 00000df4: PUSH1 0x00 00000df6: KECCAK256 00000df7: PUSH1 0x00 00000df9: SWAP1 00000dfa: SLOAD 00000dfb: SWAP1 00000dfc: PUSH2 0x0100 00000dff: EXP 00000e00: SWAP1 00000e01: DIV 00000e02: PUSH1 0xff 00000e04: AND 00000e05: ISZERO 00000e06: PUSH2 0x0e0e 00000e09: JUMPI 00000e0a: PUSH1 0x00 00000e0c: DUP1 00000e0d: REVERT 00000e0e: JUMPDEST 00000e0f: DUP2 00000e10: PUSH1 0x00 00000e12: DUP2 00000e13: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e28: AND 00000e29: EQ 00000e2a: ISZERO 00000e2b: PUSH2 0x0e33 00000e2e: JUMPI 00000e2f: PUSH1 0x00 00000e31: DUP1 00000e32: REVERT 00000e33: JUMPDEST 00000e34: PUSH1 0x01 00000e36: PUSH1 0x03 00000e38: DUP1 00000e39: SLOAD 00000e3a: SWAP1 00000e3b: POP 00000e3c: ADD 00000e3d: PUSH1 0x04 00000e3f: SLOAD 00000e40: PUSH1 0x32 00000e42: DUP3 00000e43: GT 00000e44: DUP1 00000e45: PUSH2 0x0e4d 00000e48: JUMPI 00000e49: POP 00000e4a: DUP2 00000e4b: DUP2 00000e4c: GT 00000e4d: JUMPDEST 00000e4e: DUP1 00000e4f: PUSH2 0x0e58 00000e52: JUMPI 00000e53: POP 00000e54: PUSH1 0x00 00000e56: DUP2 00000e57: EQ 00000e58: JUMPDEST 00000e59: DUP1 00000e5a: PUSH2 0x0e63 00000e5d: JUMPI 00000e5e: POP 00000e5f: PUSH1 0x00 00000e61: DUP3 00000e62: EQ 00000e63: JUMPDEST 00000e64: ISZERO 00000e65: PUSH2 0x0e6d 00000e68: JUMPI 00000e69: PUSH1 0x00 00000e6b: DUP1 00000e6c: REVERT 00000e6d: JUMPDEST 00000e6e: PUSH1 0x01 00000e70: PUSH1 0x02 00000e72: PUSH1 0x00 00000e74: DUP8 00000e75: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e8a: AND 00000e8b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ea0: AND 00000ea1: DUP2 00000ea2: MSTORE 00000ea3: PUSH1 0x20 00000ea5: ADD 00000ea6: SWAP1 00000ea7: DUP2 00000ea8: MSTORE 00000ea9: PUSH1 0x20 00000eab: ADD 00000eac: PUSH1 0x00 00000eae: KECCAK256 00000eaf: PUSH1 0x00 00000eb1: PUSH2 0x0100 00000eb4: EXP 00000eb5: DUP2 00000eb6: SLOAD 00000eb7: DUP2 00000eb8: PUSH1 0xff 00000eba: MUL 00000ebb: NOT 00000ebc: AND 00000ebd: SWAP1 00000ebe: DUP4 00000ebf: ISZERO 00000ec0: ISZERO 00000ec1: MUL 00000ec2: OR 00000ec3: SWAP1 00000ec4: SSTORE 00000ec5: POP 00000ec6: PUSH1 0x03 00000ec8: DUP1 00000ec9: SLOAD 00000eca: DUP1 00000ecb: PUSH1 0x01 00000ecd: ADD 00000ece: DUP3 00000ecf: DUP2 00000ed0: PUSH2 0x0ed9 00000ed3: SWAP2 00000ed4: SWAP1 00000ed5: PUSH2 0x1ea0 00000ed8: JUMP 00000ed9: JUMPDEST 00000eda: SWAP2 00000edb: PUSH1 0x00 00000edd: MSTORE 00000ede: PUSH1 0x20 00000ee0: PUSH1 0x00 00000ee2: KECCAK256 00000ee3: SWAP1 00000ee4: ADD 00000ee5: PUSH1 0x00 00000ee7: DUP8 00000ee8: SWAP1 00000ee9: SWAP2 00000eea: SWAP1 00000eeb: SWAP2 00000eec: PUSH2 0x0100 00000eef: EXP 00000ef0: DUP2 00000ef1: SLOAD 00000ef2: DUP2 00000ef3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f08: MUL 00000f09: NOT 00000f0a: AND 00000f0b: SWAP1 00000f0c: DUP4 00000f0d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f22: AND 00000f23: MUL 00000f24: OR 00000f25: SWAP1 00000f26: SSTORE 00000f27: POP 00000f28: POP 00000f29: DUP5 00000f2a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f3f: AND 00000f40: PUSH32 0xf39e6e1eb0edcf53c221607b54b00cd28f3196fed0a24994dc308b8f611b682d 00000f61: PUSH1 0x40 00000f63: MLOAD 00000f64: PUSH1 0x40 00000f66: MLOAD 00000f67: DUP1 00000f68: SWAP2 00000f69: SUB 00000f6a: SWAP1 00000f6b: LOG2 00000f6c: POP 00000f6d: POP 00000f6e: POP 00000f6f: POP 00000f70: POP 00000f71: JUMP 00000f72: JUMPDEST 00000f73: PUSH1 0x00 00000f75: DUP1 00000f76: PUSH1 0x00 00000f78: DUP1 00000f79: SWAP2 00000f7a: POP 00000f7b: PUSH1 0x00 00000f7d: SWAP1 00000f7e: POP 00000f7f: JUMPDEST 00000f80: PUSH1 0x03 00000f82: DUP1 00000f83: SLOAD 00000f84: SWAP1 00000f85: POP 00000f86: DUP2 00000f87: LT 00000f88: ISZERO 00000f89: PUSH2 0x1050 00000f8c: JUMPI 00000f8d: PUSH1 0x01 00000f8f: PUSH1 0x00 00000f91: DUP6 00000f92: DUP2 00000f93: MSTORE 00000f94: PUSH1 0x20 00000f96: ADD 00000f97: SWAP1 00000f98: DUP2 00000f99: MSTORE 00000f9a: PUSH1 0x20 00000f9c: ADD 00000f9d: PUSH1 0x00 00000f9f: KECCAK256 00000fa0: PUSH1 0x00 00000fa2: PUSH1 0x03 00000fa4: DUP4 00000fa5: DUP2 00000fa6: SLOAD 00000fa7: DUP2 00000fa8: LT 00000fa9: ISZERO 00000faa: ISZERO 00000fab: PUSH2 0x0fb0 00000fae: JUMPI 00000faf: INVALID 00000fb0: JUMPDEST 00000fb1: SWAP1 00000fb2: PUSH1 0x00 00000fb4: MSTORE 00000fb5: PUSH1 0x20 00000fb7: PUSH1 0x00 00000fb9: KECCAK256 00000fba: SWAP1 00000fbb: ADD 00000fbc: PUSH1 0x00 00000fbe: SWAP1 00000fbf: SLOAD 00000fc0: SWAP1 00000fc1: PUSH2 0x0100 00000fc4: EXP 00000fc5: SWAP1 00000fc6: DIV 00000fc7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fdc: AND 00000fdd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ff2: AND 00000ff3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001008: AND 00001009: DUP2 0000100a: MSTORE 0000100b: PUSH1 0x20 0000100d: ADD 0000100e: SWAP1 0000100f: DUP2 00001010: MSTORE 00001011: PUSH1 0x20 00001013: ADD 00001014: PUSH1 0x00 00001016: KECCAK256 00001017: PUSH1 0x00 00001019: SWAP1 0000101a: SLOAD 0000101b: SWAP1 0000101c: PUSH2 0x0100 0000101f: EXP 00001020: SWAP1 00001021: DIV 00001022: PUSH1 0xff 00001024: AND 00001025: ISZERO 00001026: PUSH2 0x1030 00001029: JUMPI 0000102a: PUSH1 0x01 0000102c: DUP3 0000102d: ADD 0000102e: SWAP2 0000102f: POP 00001030: JUMPDEST 00001031: PUSH1 0x04 00001033: SLOAD 00001034: DUP3 00001035: EQ 00001036: ISZERO 00001037: PUSH2 0x1043 0000103a: JUMPI 0000103b: PUSH1 0x01 0000103d: SWAP3 0000103e: POP 0000103f: PUSH2 0x1051 00001042: JUMP 00001043: JUMPDEST 00001044: DUP1 00001045: DUP1 00001046: PUSH1 0x01 00001048: ADD 00001049: SWAP2 0000104a: POP 0000104b: POP 0000104c: PUSH2 0x0f7f 0000104f: JUMP 00001050: JUMPDEST 00001051: JUMPDEST 00001052: POP 00001053: POP 00001054: SWAP2 00001055: SWAP1 00001056: POP 00001057: JUMP 00001058: JUMPDEST 00001059: PUSH1 0x00 0000105b: DUP1 0000105c: PUSH1 0x00 0000105e: SWAP1 0000105f: POP 00001060: JUMPDEST 00001061: PUSH1 0x03 00001063: DUP1 00001064: SLOAD 00001065: SWAP1 00001066: POP 00001067: DUP2 00001068: LT 00001069: ISZERO 0000106a: PUSH2 0x111e 0000106d: JUMPI 0000106e: PUSH1 0x01 00001070: PUSH1 0x00 00001072: DUP5 00001073: DUP2 00001074: MSTORE 00001075: PUSH1 0x20 00001077: ADD 00001078: SWAP1 00001079: DUP2 0000107a: MSTORE 0000107b: PUSH1 0x20 0000107d: ADD 0000107e: PUSH1 0x00 00001080: KECCAK256 00001081: PUSH1 0x00 00001083: PUSH1 0x03 00001085: DUP4 00001086: DUP2 00001087: SLOAD 00001088: DUP2 00001089: LT 0000108a: ISZERO 0000108b: ISZERO 0000108c: PUSH2 0x1091 0000108f: JUMPI 00001090: INVALID 00001091: JUMPDEST 00001092: SWAP1 00001093: PUSH1 0x00 00001095: MSTORE 00001096: PUSH1 0x20 00001098: PUSH1 0x00 0000109a: KECCAK256 0000109b: SWAP1 0000109c: ADD 0000109d: PUSH1 0x00 0000109f: SWAP1 000010a0: SLOAD 000010a1: SWAP1 000010a2: PUSH2 0x0100 000010a5: EXP 000010a6: SWAP1 000010a7: DIV 000010a8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010bd: AND 000010be: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010d3: AND 000010d4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010e9: AND 000010ea: DUP2 000010eb: MSTORE 000010ec: PUSH1 0x20 000010ee: ADD 000010ef: SWAP1 000010f0: DUP2 000010f1: MSTORE 000010f2: PUSH1 0x20 000010f4: ADD 000010f5: PUSH1 0x00 000010f7: KECCAK256 000010f8: PUSH1 0x00 000010fa: SWAP1 000010fb: SLOAD 000010fc: SWAP1 000010fd: PUSH2 0x0100 00001100: EXP 00001101: SWAP1 00001102: DIV 00001103: PUSH1 0xff 00001105: AND 00001106: ISZERO 00001107: PUSH2 0x1111 0000110a: JUMPI 0000110b: PUSH1 0x01 0000110d: DUP3 0000110e: ADD 0000110f: SWAP2 00001110: POP 00001111: JUMPDEST 00001112: DUP1 00001113: DUP1 00001114: PUSH1 0x01 00001116: ADD 00001117: SWAP2 00001118: POP 00001119: POP 0000111a: PUSH2 0x1060 0000111d: JUMP 0000111e: JUMPDEST 0000111f: POP 00001120: SWAP2 00001121: SWAP1 00001122: POP 00001123: JUMP 00001124: JUMPDEST 00001125: PUSH1 0x00 00001127: PUSH1 0x20 00001129: MSTORE 0000112a: DUP1 0000112b: PUSH1 0x00 0000112d: MSTORE 0000112e: PUSH1 0x40 00001130: PUSH1 0x00 00001132: KECCAK256 00001133: PUSH1 0x00 00001135: SWAP2 00001136: POP 00001137: SWAP1 00001138: POP 00001139: DUP1 0000113a: PUSH1 0x00 0000113c: ADD 0000113d: PUSH1 0x00 0000113f: SWAP1 00001140: SLOAD 00001141: SWAP1 00001142: PUSH2 0x0100 00001145: EXP 00001146: SWAP1 00001147: DIV 00001148: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000115d: AND 0000115e: SWAP1 0000115f: DUP1 00001160: PUSH1 0x01 00001162: ADD 00001163: SLOAD 00001164: SWAP1 00001165: DUP1 00001166: PUSH1 0x02 00001168: ADD 00001169: SWAP1 0000116a: DUP1 0000116b: PUSH1 0x03 0000116d: ADD 0000116e: PUSH1 0x00 00001170: SWAP1 00001171: SLOAD 00001172: SWAP1 00001173: PUSH2 0x0100 00001176: EXP 00001177: SWAP1 00001178: DIV 00001179: PUSH1 0xff 0000117b: AND 0000117c: SWAP1 0000117d: POP 0000117e: DUP5 0000117f: JUMP 00001180: JUMPDEST 00001181: PUSH2 0x1188 00001184: PUSH2 0x1ecc 00001187: JUMP 00001188: JUMPDEST 00001189: PUSH1 0x03 0000118b: DUP1 0000118c: SLOAD 0000118d: DUP1 0000118e: PUSH1 0x20 00001190: MUL 00001191: PUSH1 0x20 00001193: ADD 00001194: PUSH1 0x40 00001196: MLOAD 00001197: SWAP1 00001198: DUP2 00001199: ADD 0000119a: PUSH1 0x40 0000119c: MSTORE 0000119d: DUP1 0000119e: SWAP3 0000119f: SWAP2 000011a0: SWAP1 000011a1: DUP2 000011a2: DUP2 000011a3: MSTORE 000011a4: PUSH1 0x20 000011a6: ADD 000011a7: DUP3 000011a8: DUP1 000011a9: SLOAD 000011aa: DUP1 000011ab: ISZERO 000011ac: PUSH2 0x120a 000011af: JUMPI 000011b0: PUSH1 0x20 000011b2: MUL 000011b3: DUP3 000011b4: ADD 000011b5: SWAP2 000011b6: SWAP1 000011b7: PUSH1 0x00 000011b9: MSTORE 000011ba: PUSH1 0x20 000011bc: PUSH1 0x00 000011be: KECCAK256 000011bf: SWAP1 000011c0: JUMPDEST 000011c1: DUP2 000011c2: PUSH1 0x00 000011c4: SWAP1 000011c5: SLOAD 000011c6: SWAP1 000011c7: PUSH2 0x0100 000011ca: EXP 000011cb: SWAP1 000011cc: DIV 000011cd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011e2: AND 000011e3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011f8: AND 000011f9: DUP2 000011fa: MSTORE 000011fb: PUSH1 0x20 000011fd: ADD 000011fe: SWAP1 000011ff: PUSH1 0x01 00001201: ADD 00001202: SWAP1 00001203: DUP1 00001204: DUP4 00001205: GT 00001206: PUSH2 0x11c0 00001209: JUMPI 0000120a: JUMPDEST 0000120b: POP 0000120c: POP 0000120d: POP 0000120e: POP 0000120f: POP 00001210: SWAP1 00001211: POP 00001212: SWAP1 00001213: JUMP 00001214: JUMPDEST 00001215: PUSH2 0x121c 00001218: PUSH2 0x1ee0 0000121b: JUMP 0000121c: JUMPDEST 0000121d: PUSH2 0x1224 00001220: PUSH2 0x1ee0 00001223: JUMP 00001224: JUMPDEST 00001225: PUSH1 0x00 00001227: DUP1 00001228: PUSH1 0x05 0000122a: SLOAD 0000122b: PUSH1 0x40 0000122d: MLOAD 0000122e: DUP1 0000122f: MSIZE 00001230: LT 00001231: PUSH2 0x1237 00001234: JUMPI 00001235: POP 00001236: MSIZE 00001237: JUMPDEST 00001238: SWAP1 00001239: DUP1 0000123a: DUP3 0000123b: MSTORE 0000123c: DUP1 0000123d: PUSH1 0x20 0000123f: MUL 00001240: PUSH1 0x20 00001242: ADD 00001243: DUP3 00001244: ADD 00001245: PUSH1 0x40 00001247: MSTORE 00001248: POP 00001249: SWAP3 0000124a: POP 0000124b: PUSH1 0x00 0000124d: SWAP2 0000124e: POP 0000124f: PUSH1 0x00 00001251: SWAP1 00001252: POP 00001253: JUMPDEST 00001254: PUSH1 0x05 00001256: SLOAD 00001257: DUP2 00001258: LT 00001259: ISZERO 0000125a: PUSH2 0x12f3 0000125d: JUMPI 0000125e: DUP6 0000125f: DUP1 00001260: ISZERO 00001261: PUSH2 0x128a 00001264: JUMPI 00001265: POP 00001266: PUSH1 0x00 00001268: DUP1 00001269: DUP3 0000126a: DUP2 0000126b: MSTORE 0000126c: PUSH1 0x20 0000126e: ADD 0000126f: SWAP1 00001270: DUP2 00001271: MSTORE 00001272: PUSH1 0x20 00001274: ADD 00001275: PUSH1 0x00 00001277: KECCAK256 00001278: PUSH1 0x03 0000127a: ADD 0000127b: PUSH1 0x00 0000127d: SWAP1 0000127e: SLOAD 0000127f: SWAP1 00001280: PUSH2 0x0100 00001283: EXP 00001284: SWAP1 00001285: DIV 00001286: PUSH1 0xff 00001288: AND 00001289: ISZERO 0000128a: JUMPDEST 0000128b: DUP1 0000128c: PUSH2 0x12bd 0000128f: JUMPI 00001290: POP 00001291: DUP5 00001292: DUP1 00001293: ISZERO 00001294: PUSH2 0x12bc 00001297: JUMPI 00001298: POP 00001299: PUSH1 0x00 0000129b: DUP1 0000129c: DUP3 0000129d: DUP2 0000129e: MSTORE 0000129f: PUSH1 0x20 000012a1: ADD 000012a2: SWAP1 000012a3: DUP2 000012a4: MSTORE 000012a5: PUSH1 0x20 000012a7: ADD 000012a8: PUSH1 0x00 000012aa: KECCAK256 000012ab: PUSH1 0x03 000012ad: ADD 000012ae: PUSH1 0x00 000012b0: SWAP1 000012b1: SLOAD 000012b2: SWAP1 000012b3: PUSH2 0x0100 000012b6: EXP 000012b7: SWAP1 000012b8: DIV 000012b9: PUSH1 0xff 000012bb: AND 000012bc: JUMPDEST 000012bd: JUMPDEST 000012be: ISZERO 000012bf: PUSH2 0x12e6 000012c2: JUMPI 000012c3: DUP1 000012c4: DUP4 000012c5: DUP4 000012c6: DUP2 000012c7: MLOAD 000012c8: DUP2 000012c9: LT 000012ca: ISZERO 000012cb: ISZERO 000012cc: PUSH2 0x12d1 000012cf: JUMPI 000012d0: INVALID 000012d1: JUMPDEST 000012d2: SWAP1 000012d3: PUSH1 0x20 000012d5: ADD 000012d6: SWAP1 000012d7: PUSH1 0x20 000012d9: MUL 000012da: ADD 000012db: DUP2 000012dc: DUP2 000012dd: MSTORE 000012de: POP 000012df: POP 000012e0: PUSH1 0x01 000012e2: DUP3 000012e3: ADD 000012e4: SWAP2 000012e5: POP 000012e6: JUMPDEST 000012e7: DUP1 000012e8: DUP1 000012e9: PUSH1 0x01 000012eb: ADD 000012ec: SWAP2 000012ed: POP 000012ee: POP 000012ef: PUSH2 0x1253 000012f2: JUMP 000012f3: JUMPDEST 000012f4: DUP8 000012f5: DUP8 000012f6: SUB 000012f7: PUSH1 0x40 000012f9: MLOAD 000012fa: DUP1 000012fb: MSIZE 000012fc: LT 000012fd: PUSH2 0x1303 00001300: JUMPI 00001301: POP 00001302: MSIZE 00001303: JUMPDEST 00001304: SWAP1 00001305: DUP1 00001306: DUP3 00001307: MSTORE 00001308: DUP1 00001309: PUSH1 0x20 0000130b: MUL 0000130c: PUSH1 0x20 0000130e: ADD 0000130f: DUP3 00001310: ADD 00001311: PUSH1 0x40 00001313: MSTORE 00001314: POP 00001315: SWAP4 00001316: POP 00001317: DUP8 00001318: SWAP1 00001319: POP 0000131a: JUMPDEST 0000131b: DUP7 0000131c: DUP2 0000131d: LT 0000131e: ISZERO 0000131f: PUSH2 0x1365 00001322: JUMPI 00001323: DUP3 00001324: DUP2 00001325: DUP2 00001326: MLOAD 00001327: DUP2 00001328: LT 00001329: ISZERO 0000132a: ISZERO 0000132b: PUSH2 0x1330 0000132e: JUMPI 0000132f: INVALID 00001330: JUMPDEST 00001331: SWAP1 00001332: PUSH1 0x20 00001334: ADD 00001335: SWAP1 00001336: PUSH1 0x20 00001338: MUL 00001339: ADD 0000133a: MLOAD 0000133b: DUP5 0000133c: DUP10 0000133d: DUP4 0000133e: SUB 0000133f: DUP2 00001340: MLOAD 00001341: DUP2 00001342: LT 00001343: ISZERO 00001344: ISZERO 00001345: PUSH2 0x134a 00001348: JUMPI 00001349: INVALID 0000134a: JUMPDEST 0000134b: SWAP1 0000134c: PUSH1 0x20 0000134e: ADD 0000134f: SWAP1 00001350: PUSH1 0x20 00001352: MUL 00001353: ADD 00001354: DUP2 00001355: DUP2 00001356: MSTORE 00001357: POP 00001358: POP 00001359: DUP1 0000135a: DUP1 0000135b: PUSH1 0x01 0000135d: ADD 0000135e: SWAP2 0000135f: POP 00001360: POP 00001361: PUSH2 0x131a 00001364: JUMP 00001365: JUMPDEST 00001366: POP 00001367: POP 00001368: POP 00001369: SWAP5 0000136a: SWAP4 0000136b: POP 0000136c: POP 0000136d: POP 0000136e: POP 0000136f: JUMP 00001370: JUMPDEST 00001371: PUSH2 0x1378 00001374: PUSH2 0x1ecc 00001377: JUMP 00001378: JUMPDEST 00001379: PUSH2 0x1380 0000137c: PUSH2 0x1ecc 0000137f: JUMP 00001380: JUMPDEST 00001381: PUSH1 0x00 00001383: DUP1 00001384: PUSH1 0x03 00001386: DUP1 00001387: SLOAD 00001388: SWAP1 00001389: POP 0000138a: PUSH1 0x40 0000138c: MLOAD 0000138d: DUP1 0000138e: MSIZE 0000138f: LT 00001390: PUSH2 0x1396 00001393: JUMPI 00001394: POP 00001395: MSIZE 00001396: JUMPDEST 00001397: SWAP1 00001398: DUP1 00001399: DUP3 0000139a: MSTORE 0000139b: DUP1 0000139c: PUSH1 0x20 0000139e: MUL 0000139f: PUSH1 0x20 000013a1: ADD 000013a2: DUP3 000013a3: ADD 000013a4: PUSH1 0x40 000013a6: MSTORE 000013a7: POP 000013a8: SWAP3 000013a9: POP 000013aa: PUSH1 0x00 000013ac: SWAP2 000013ad: POP 000013ae: PUSH1 0x00 000013b0: SWAP1 000013b1: POP 000013b2: JUMPDEST 000013b3: PUSH1 0x03 000013b5: DUP1 000013b6: SLOAD 000013b7: SWAP1 000013b8: POP 000013b9: DUP2 000013ba: LT 000013bb: ISZERO 000013bc: PUSH2 0x14f5 000013bf: JUMPI 000013c0: PUSH1 0x01 000013c2: PUSH1 0x00 000013c4: DUP7 000013c5: DUP2 000013c6: MSTORE 000013c7: PUSH1 0x20 000013c9: ADD 000013ca: SWAP1 000013cb: DUP2 000013cc: MSTORE 000013cd: PUSH1 0x20 000013cf: ADD 000013d0: PUSH1 0x00 000013d2: KECCAK256 000013d3: PUSH1 0x00 000013d5: PUSH1 0x03 000013d7: DUP4 000013d8: DUP2 000013d9: SLOAD 000013da: DUP2 000013db: LT 000013dc: ISZERO 000013dd: ISZERO 000013de: PUSH2 0x13e3 000013e1: JUMPI 000013e2: INVALID 000013e3: JUMPDEST 000013e4: SWAP1 000013e5: PUSH1 0x00 000013e7: MSTORE 000013e8: PUSH1 0x20 000013ea: PUSH1 0x00 000013ec: KECCAK256 000013ed: SWAP1 000013ee: ADD 000013ef: PUSH1 0x00 000013f1: SWAP1 000013f2: SLOAD 000013f3: SWAP1 000013f4: PUSH2 0x0100 000013f7: EXP 000013f8: SWAP1 000013f9: DIV 000013fa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000140f: AND 00001410: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001425: AND 00001426: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000143b: AND 0000143c: DUP2 0000143d: MSTORE 0000143e: PUSH1 0x20 00001440: ADD 00001441: SWAP1 00001442: DUP2 00001443: MSTORE 00001444: PUSH1 0x20 00001446: ADD 00001447: PUSH1 0x00 00001449: KECCAK256 0000144a: PUSH1 0x00 0000144c: SWAP1 0000144d: SLOAD 0000144e: SWAP1 0000144f: PUSH2 0x0100 00001452: EXP 00001453: SWAP1 00001454: DIV 00001455: PUSH1 0xff 00001457: AND 00001458: ISZERO 00001459: PUSH2 0x14e8 0000145c: JUMPI 0000145d: PUSH1 0x03 0000145f: DUP2 00001460: DUP2 00001461: SLOAD 00001462: DUP2 00001463: LT 00001464: ISZERO 00001465: ISZERO 00001466: PUSH2 0x146b 00001469: JUMPI 0000146a: INVALID 0000146b: JUMPDEST 0000146c: SWAP1 0000146d: PUSH1 0x00 0000146f: MSTORE 00001470: PUSH1 0x20 00001472: PUSH1 0x00 00001474: KECCAK256 00001475: SWAP1 00001476: ADD 00001477: PUSH1 0x00 00001479: SWAP1 0000147a: SLOAD 0000147b: SWAP1 0000147c: PUSH2 0x0100 0000147f: EXP 00001480: SWAP1 00001481: DIV 00001482: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001497: AND 00001498: DUP4 00001499: DUP4 0000149a: DUP2 0000149b: MLOAD 0000149c: DUP2 0000149d: LT 0000149e: ISZERO 0000149f: ISZERO 000014a0: PUSH2 0x14a5 000014a3: JUMPI 000014a4: INVALID 000014a5: JUMPDEST 000014a6: SWAP1 000014a7: PUSH1 0x20 000014a9: ADD 000014aa: SWAP1 000014ab: PUSH1 0x20 000014ad: MUL 000014ae: ADD 000014af: SWAP1 000014b0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014c5: AND 000014c6: SWAP1 000014c7: DUP2 000014c8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014dd: AND 000014de: DUP2 000014df: MSTORE 000014e0: POP 000014e1: POP 000014e2: PUSH1 0x01 000014e4: DUP3 000014e5: ADD 000014e6: SWAP2 000014e7: POP 000014e8: JUMPDEST 000014e9: DUP1 000014ea: DUP1 000014eb: PUSH1 0x01 000014ed: ADD 000014ee: SWAP2 000014ef: POP 000014f0: POP 000014f1: PUSH2 0x13b2 000014f4: JUMP 000014f5: JUMPDEST 000014f6: DUP2 000014f7: PUSH1 0x40 000014f9: MLOAD 000014fa: DUP1 000014fb: MSIZE 000014fc: LT 000014fd: PUSH2 0x1503 00001500: JUMPI 00001501: POP 00001502: MSIZE 00001503: JUMPDEST 00001504: SWAP1 00001505: DUP1 00001506: DUP3 00001507: MSTORE 00001508: DUP1 00001509: PUSH1 0x20 0000150b: MUL 0000150c: PUSH1 0x20 0000150e: ADD 0000150f: DUP3 00001510: ADD 00001511: PUSH1 0x40 00001513: MSTORE 00001514: POP 00001515: SWAP4 00001516: POP 00001517: PUSH1 0x00 00001519: SWAP1 0000151a: POP 0000151b: JUMPDEST 0000151c: DUP2 0000151d: DUP2 0000151e: LT 0000151f: ISZERO 00001520: PUSH2 0x1592 00001523: JUMPI 00001524: DUP3 00001525: DUP2 00001526: DUP2 00001527: MLOAD 00001528: DUP2 00001529: LT 0000152a: ISZERO 0000152b: ISZERO 0000152c: PUSH2 0x1531 0000152f: JUMPI 00001530: INVALID 00001531: JUMPDEST 00001532: SWAP1 00001533: PUSH1 0x20 00001535: ADD 00001536: SWAP1 00001537: PUSH1 0x20 00001539: MUL 0000153a: ADD 0000153b: MLOAD 0000153c: DUP5 0000153d: DUP3 0000153e: DUP2 0000153f: MLOAD 00001540: DUP2 00001541: LT 00001542: ISZERO 00001543: ISZERO 00001544: PUSH2 0x1549 00001547: JUMPI 00001548: INVALID 00001549: JUMPDEST 0000154a: SWAP1 0000154b: PUSH1 0x20 0000154d: ADD 0000154e: SWAP1 0000154f: PUSH1 0x20 00001551: MUL 00001552: ADD 00001553: SWAP1 00001554: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001569: AND 0000156a: SWAP1 0000156b: DUP2 0000156c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001581: AND 00001582: DUP2 00001583: MSTORE 00001584: POP 00001585: POP 00001586: DUP1 00001587: DUP1 00001588: PUSH1 0x01 0000158a: ADD 0000158b: SWAP2 0000158c: POP 0000158d: POP 0000158e: PUSH2 0x151b 00001591: JUMP 00001592: JUMPDEST 00001593: POP 00001594: POP 00001595: POP 00001596: SWAP2 00001597: SWAP1 00001598: POP 00001599: JUMP 0000159a: JUMPDEST 0000159b: PUSH1 0x05 0000159d: SLOAD 0000159e: DUP2 0000159f: JUMP 000015a0: JUMPDEST 000015a1: ADDRESS 000015a2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015b7: AND 000015b8: CALLER 000015b9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015ce: AND 000015cf: EQ 000015d0: ISZERO 000015d1: ISZERO 000015d2: PUSH2 0x15da 000015d5: JUMPI 000015d6: PUSH1 0x00 000015d8: DUP1 000015d9: REVERT 000015da: JUMPDEST 000015db: PUSH1 0x03 000015dd: DUP1 000015de: SLOAD 000015df: SWAP1 000015e0: POP 000015e1: DUP2 000015e2: PUSH1 0x32 000015e4: DUP3 000015e5: GT 000015e6: DUP1 000015e7: PUSH2 0x15ef 000015ea: JUMPI 000015eb: POP 000015ec: DUP2 000015ed: DUP2 000015ee: GT 000015ef: JUMPDEST 000015f0: DUP1 000015f1: PUSH2 0x15fa 000015f4: JUMPI 000015f5: POP 000015f6: PUSH1 0x00 000015f8: DUP2 000015f9: EQ 000015fa: JUMPDEST 000015fb: DUP1 000015fc: PUSH2 0x1605 000015ff: JUMPI 00001600: POP 00001601: PUSH1 0x00 00001603: DUP3 00001604: EQ 00001605: JUMPDEST 00001606: ISZERO 00001607: PUSH2 0x160f 0000160a: JUMPI 0000160b: PUSH1 0x00 0000160d: DUP1 0000160e: REVERT 0000160f: JUMPDEST 00001610: DUP3 00001611: PUSH1 0x04 00001613: DUP2 00001614: SWAP1 00001615: SSTORE 00001616: POP 00001617: PUSH32 0xa3f1ee9126a074d9326c682f561767f710e927faa811f7a99829d49dc421797a 00001638: DUP4 00001639: PUSH1 0x40 0000163b: MLOAD 0000163c: DUP1 0000163d: DUP3 0000163e: DUP2 0000163f: MSTORE 00001640: PUSH1 0x20 00001642: ADD 00001643: SWAP2 00001644: POP 00001645: POP 00001646: PUSH1 0x40 00001648: MLOAD 00001649: DUP1 0000164a: SWAP2 0000164b: SUB 0000164c: SWAP1 0000164d: LOG1 0000164e: POP 0000164f: POP 00001650: POP 00001651: JUMP 00001652: JUMPDEST 00001653: CALLER 00001654: PUSH1 0x02 00001656: PUSH1 0x00 00001658: DUP3 00001659: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000166e: AND 0000166f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001684: AND 00001685: DUP2 00001686: MSTORE 00001687: PUSH1 0x20 00001689: ADD 0000168a: SWAP1 0000168b: DUP2 0000168c: MSTORE 0000168d: PUSH1 0x20 0000168f: ADD 00001690: PUSH1 0x00 00001692: KECCAK256 00001693: PUSH1 0x00 00001695: SWAP1 00001696: SLOAD 00001697: SWAP1 00001698: PUSH2 0x0100 0000169b: EXP 0000169c: SWAP1 0000169d: DIV 0000169e: PUSH1 0xff 000016a0: AND 000016a1: ISZERO 000016a2: ISZERO 000016a3: PUSH2 0x16ab 000016a6: JUMPI 000016a7: PUSH1 0x00 000016a9: DUP1 000016aa: REVERT 000016ab: JUMPDEST 000016ac: DUP2 000016ad: PUSH1 0x00 000016af: DUP1 000016b0: PUSH1 0x00 000016b2: DUP4 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: ADD 000016c4: PUSH1 0x00 000016c6: SWAP1 000016c7: SLOAD 000016c8: SWAP1 000016c9: PUSH2 0x0100 000016cc: EXP 000016cd: SWAP1 000016ce: DIV 000016cf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016e4: AND 000016e5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016fa: AND 000016fb: EQ 000016fc: ISZERO 000016fd: PUSH2 0x1705 00001700: JUMPI 00001701: PUSH1 0x00 00001703: DUP1 00001704: REVERT 00001705: JUMPDEST 00001706: DUP3 00001707: CALLER 00001708: PUSH1 0x01 0000170a: PUSH1 0x00 0000170c: DUP4 0000170d: DUP2 0000170e: MSTORE 0000170f: PUSH1 0x20 00001711: ADD 00001712: SWAP1 00001713: DUP2 00001714: MSTORE 00001715: PUSH1 0x20 00001717: ADD 00001718: PUSH1 0x00 0000171a: KECCAK256 0000171b: PUSH1 0x00 0000171d: DUP3 0000171e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001733: AND 00001734: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001749: AND 0000174a: DUP2 0000174b: MSTORE 0000174c: PUSH1 0x20 0000174e: ADD 0000174f: SWAP1 00001750: DUP2 00001751: MSTORE 00001752: PUSH1 0x20 00001754: ADD 00001755: PUSH1 0x00 00001757: KECCAK256 00001758: PUSH1 0x00 0000175a: SWAP1 0000175b: SLOAD 0000175c: SWAP1 0000175d: PUSH2 0x0100 00001760: EXP 00001761: SWAP1 00001762: DIV 00001763: PUSH1 0xff 00001765: AND 00001766: ISZERO 00001767: PUSH2 0x176f 0000176a: JUMPI 0000176b: PUSH1 0x00 0000176d: DUP1 0000176e: REVERT 0000176f: JUMPDEST 00001770: PUSH1 0x01 00001772: DUP1 00001773: PUSH1 0x00 00001775: DUP8 00001776: DUP2 00001777: MSTORE 00001778: PUSH1 0x20 0000177a: ADD 0000177b: SWAP1 0000177c: DUP2 0000177d: MSTORE 0000177e: PUSH1 0x20 00001780: ADD 00001781: PUSH1 0x00 00001783: KECCAK256 00001784: PUSH1 0x00 00001786: CALLER 00001787: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000179c: AND 0000179d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000017b2: AND 000017b3: DUP2 000017b4: MSTORE 000017b5: PUSH1 0x20 000017b7: ADD 000017b8: SWAP1 000017b9: DUP2 000017ba: MSTORE 000017bb: PUSH1 0x20 000017bd: ADD 000017be: PUSH1 0x00 000017c0: KECCAK256 000017c1: PUSH1 0x00 000017c3: PUSH2 0x0100 000017c6: EXP 000017c7: DUP2 000017c8: SLOAD 000017c9: DUP2 000017ca: PUSH1 0xff 000017cc: MUL 000017cd: NOT 000017ce: AND 000017cf: SWAP1 000017d0: DUP4 000017d1: ISZERO 000017d2: ISZERO 000017d3: MUL 000017d4: OR 000017d5: SWAP1 000017d6: SSTORE 000017d7: POP 000017d8: DUP5 000017d9: CALLER 000017da: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000017ef: AND 000017f0: PUSH32 0x4a504a94899432a9846e1aa406dceb1bcfd538bb839071d49d1e5e23f5be30ef 00001811: PUSH1 0x40 00001813: MLOAD 00001814: PUSH1 0x40 00001816: MLOAD 00001817: DUP1 00001818: SWAP2 00001819: SUB 0000181a: SWAP1 0000181b: LOG3 0000181c: PUSH2 0x1824 0000181f: DUP6 00001820: PUSH2 0x1b6a 00001823: JUMP 00001824: JUMPDEST 00001825: POP 00001826: POP 00001827: POP 00001828: POP 00001829: POP 0000182a: JUMP 0000182b: JUMPDEST 0000182c: PUSH1 0x00 0000182e: PUSH2 0x1838 00001831: DUP5 00001832: DUP5 00001833: DUP5 00001834: PUSH2 0x1d24 00001837: JUMP 00001838: JUMPDEST 00001839: SWAP1 0000183a: POP 0000183b: PUSH2 0x1843 0000183e: DUP2 0000183f: PUSH2 0x1652 00001842: JUMP 00001843: JUMPDEST 00001844: SWAP4 00001845: SWAP3 00001846: POP 00001847: POP 00001848: POP 00001849: JUMP 0000184a: JUMPDEST 0000184b: PUSH1 0x32 0000184d: DUP2 0000184e: JUMP 0000184f: JUMPDEST 00001850: PUSH1 0x04 00001852: SLOAD 00001853: DUP2 00001854: JUMP 00001855: JUMPDEST 00001856: PUSH1 0x00 00001858: ADDRESS 00001859: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000186e: AND 0000186f: CALLER 00001870: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001885: AND 00001886: EQ 00001887: ISZERO 00001888: ISZERO 00001889: PUSH2 0x1891 0000188c: JUMPI 0000188d: PUSH1 0x00 0000188f: DUP1 00001890: REVERT 00001891: JUMPDEST 00001892: DUP3 00001893: PUSH1 0x02 00001895: PUSH1 0x00 00001897: DUP3 00001898: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000018ad: AND 000018ae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000018c3: AND 000018c4: DUP2 000018c5: MSTORE 000018c6: PUSH1 0x20 000018c8: ADD 000018c9: SWAP1 000018ca: DUP2 000018cb: MSTORE 000018cc: PUSH1 0x20 000018ce: ADD 000018cf: PUSH1 0x00 000018d1: KECCAK256 000018d2: PUSH1 0x00 000018d4: SWAP1 000018d5: SLOAD 000018d6: SWAP1 000018d7: PUSH2 0x0100 000018da: EXP 000018db: SWAP1 000018dc: DIV 000018dd: PUSH1 0xff 000018df: AND 000018e0: ISZERO 000018e1: ISZERO 000018e2: PUSH2 0x18ea 000018e5: JUMPI 000018e6: PUSH1 0x00 000018e8: DUP1 000018e9: REVERT 000018ea: JUMPDEST 000018eb: DUP3 000018ec: PUSH1 0x02 000018ee: PUSH1 0x00 000018f0: DUP3 000018f1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001906: AND 00001907: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000191c: AND 0000191d: DUP2 0000191e: MSTORE 0000191f: PUSH1 0x20 00001921: ADD 00001922: SWAP1 00001923: DUP2 00001924: MSTORE 00001925: PUSH1 0x20 00001927: ADD 00001928: PUSH1 0x00 0000192a: KECCAK256 0000192b: PUSH1 0x00 0000192d: SWAP1 0000192e: SLOAD 0000192f: SWAP1 00001930: PUSH2 0x0100 00001933: EXP 00001934: SWAP1 00001935: DIV 00001936: PUSH1 0xff 00001938: AND 00001939: ISZERO 0000193a: PUSH2 0x1942 0000193d: JUMPI 0000193e: PUSH1 0x00 00001940: DUP1 00001941: REVERT 00001942: JUMPDEST 00001943: PUSH1 0x00 00001945: SWAP3 00001946: POP 00001947: JUMPDEST 00001948: PUSH1 0x03 0000194a: DUP1 0000194b: SLOAD 0000194c: SWAP1 0000194d: POP 0000194e: DUP4 0000194f: LT 00001950: ISZERO 00001951: PUSH2 0x1a2d 00001954: JUMPI 00001955: DUP5 00001956: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000196b: AND 0000196c: PUSH1 0x03 0000196e: DUP5 0000196f: DUP2 00001970: SLOAD 00001971: DUP2 00001972: LT 00001973: ISZERO 00001974: ISZERO 00001975: PUSH2 0x197a 00001978: JUMPI 00001979: INVALID 0000197a: JUMPDEST 0000197b: SWAP1 0000197c: PUSH1 0x00 0000197e: MSTORE 0000197f: PUSH1 0x20 00001981: PUSH1 0x00 00001983: KECCAK256 00001984: SWAP1 00001985: ADD 00001986: PUSH1 0x00 00001988: SWAP1 00001989: SLOAD 0000198a: SWAP1 0000198b: PUSH2 0x0100 0000198e: EXP 0000198f: SWAP1 00001990: DIV 00001991: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000019a6: AND 000019a7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000019bc: AND 000019bd: EQ 000019be: ISZERO 000019bf: PUSH2 0x1a20 000019c2: JUMPI 000019c3: DUP4 000019c4: PUSH1 0x03 000019c6: DUP5 000019c7: DUP2 000019c8: SLOAD 000019c9: DUP2 000019ca: LT 000019cb: ISZERO 000019cc: ISZERO 000019cd: PUSH2 0x19d2 000019d0: JUMPI 000019d1: INVALID 000019d2: JUMPDEST 000019d3: SWAP1 000019d4: PUSH1 0x00 000019d6: MSTORE 000019d7: PUSH1 0x20 000019d9: PUSH1 0x00 000019db: KECCAK256 000019dc: SWAP1 000019dd: ADD 000019de: PUSH1 0x00 000019e0: PUSH2 0x0100 000019e3: EXP 000019e4: DUP2 000019e5: SLOAD 000019e6: DUP2 000019e7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000019fc: MUL 000019fd: NOT 000019fe: AND 000019ff: SWAP1 00001a00: DUP4 00001a01: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a16: AND 00001a17: MUL 00001a18: OR 00001a19: SWAP1 00001a1a: SSTORE 00001a1b: POP 00001a1c: PUSH2 0x1a2d 00001a1f: JUMP 00001a20: JUMPDEST 00001a21: DUP3 00001a22: DUP1 00001a23: PUSH1 0x01 00001a25: ADD 00001a26: SWAP4 00001a27: POP 00001a28: POP 00001a29: PUSH2 0x1947 00001a2c: JUMP 00001a2d: JUMPDEST 00001a2e: PUSH1 0x00 00001a30: PUSH1 0x02 00001a32: PUSH1 0x00 00001a34: DUP8 00001a35: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a4a: AND 00001a4b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a60: AND 00001a61: DUP2 00001a62: MSTORE 00001a63: PUSH1 0x20 00001a65: ADD 00001a66: SWAP1 00001a67: DUP2 00001a68: MSTORE 00001a69: PUSH1 0x20 00001a6b: ADD 00001a6c: PUSH1 0x00 00001a6e: KECCAK256 00001a6f: PUSH1 0x00 00001a71: PUSH2 0x0100 00001a74: EXP 00001a75: DUP2 00001a76: SLOAD 00001a77: DUP2 00001a78: PUSH1 0xff 00001a7a: MUL 00001a7b: NOT 00001a7c: AND 00001a7d: SWAP1 00001a7e: DUP4 00001a7f: ISZERO 00001a80: ISZERO 00001a81: MUL 00001a82: OR 00001a83: SWAP1 00001a84: SSTORE 00001a85: POP 00001a86: PUSH1 0x01 00001a88: PUSH1 0x02 00001a8a: PUSH1 0x00 00001a8c: DUP7 00001a8d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001aa2: AND 00001aa3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ab8: AND 00001ab9: DUP2 00001aba: MSTORE 00001abb: PUSH1 0x20 00001abd: ADD 00001abe: SWAP1 00001abf: DUP2 00001ac0: MSTORE 00001ac1: PUSH1 0x20 00001ac3: ADD 00001ac4: PUSH1 0x00 00001ac6: KECCAK256 00001ac7: PUSH1 0x00 00001ac9: PUSH2 0x0100 00001acc: EXP 00001acd: DUP2 00001ace: SLOAD 00001acf: DUP2 00001ad0: PUSH1 0xff 00001ad2: MUL 00001ad3: NOT 00001ad4: AND 00001ad5: SWAP1 00001ad6: DUP4 00001ad7: ISZERO 00001ad8: ISZERO 00001ad9: MUL 00001ada: OR 00001adb: SWAP1 00001adc: SSTORE 00001add: POP 00001ade: DUP5 00001adf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001af4: AND 00001af5: PUSH32 0x8001553a916ef2f495d26a907cc54d96ed840d7bda71e73194bf5a9df7a76b90 00001b16: PUSH1 0x40 00001b18: MLOAD 00001b19: PUSH1 0x40 00001b1b: MLOAD 00001b1c: DUP1 00001b1d: SWAP2 00001b1e: SUB 00001b1f: SWAP1 00001b20: LOG2 00001b21: DUP4 00001b22: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b37: AND 00001b38: PUSH32 0xf39e6e1eb0edcf53c221607b54b00cd28f3196fed0a24994dc308b8f611b682d 00001b59: PUSH1 0x40 00001b5b: MLOAD 00001b5c: PUSH1 0x40 00001b5e: MLOAD 00001b5f: DUP1 00001b60: SWAP2 00001b61: SUB 00001b62: SWAP1 00001b63: LOG2 00001b64: POP 00001b65: POP 00001b66: POP 00001b67: POP 00001b68: POP 00001b69: JUMP 00001b6a: JUMPDEST 00001b6b: PUSH1 0x00 00001b6d: DUP2 00001b6e: PUSH1 0x00 00001b70: DUP1 00001b71: DUP3 00001b72: DUP2 00001b73: MSTORE 00001b74: PUSH1 0x20 00001b76: ADD 00001b77: SWAP1 00001b78: DUP2 00001b79: MSTORE 00001b7a: PUSH1 0x20 00001b7c: ADD 00001b7d: PUSH1 0x00 00001b7f: KECCAK256 00001b80: PUSH1 0x03 00001b82: ADD 00001b83: PUSH1 0x00 00001b85: SWAP1 00001b86: SLOAD 00001b87: SWAP1 00001b88: PUSH2 0x0100 00001b8b: EXP 00001b8c: SWAP1 00001b8d: DIV 00001b8e: PUSH1 0xff 00001b90: AND 00001b91: ISZERO 00001b92: PUSH2 0x1b9a 00001b95: JUMPI 00001b96: PUSH1 0x00 00001b98: DUP1 00001b99: REVERT 00001b9a: JUMPDEST 00001b9b: PUSH2 0x1ba3 00001b9e: DUP4 00001b9f: PUSH2 0x0f72 00001ba2: JUMP 00001ba3: JUMPDEST 00001ba4: ISZERO 00001ba5: PUSH2 0x1d1f 00001ba8: JUMPI 00001ba9: PUSH1 0x00 00001bab: DUP1 00001bac: DUP5 00001bad: DUP2 00001bae: MSTORE 00001baf: PUSH1 0x20 00001bb1: ADD 00001bb2: SWAP1 00001bb3: DUP2 00001bb4: MSTORE 00001bb5: PUSH1 0x20 00001bb7: ADD 00001bb8: PUSH1 0x00 00001bba: KECCAK256 00001bbb: SWAP2 00001bbc: POP 00001bbd: PUSH1 0x01 00001bbf: DUP3 00001bc0: PUSH1 0x03 00001bc2: ADD 00001bc3: PUSH1 0x00 00001bc5: PUSH2 0x0100 00001bc8: EXP 00001bc9: DUP2 00001bca: SLOAD 00001bcb: DUP2 00001bcc: PUSH1 0xff 00001bce: MUL 00001bcf: NOT 00001bd0: AND 00001bd1: SWAP1 00001bd2: DUP4 00001bd3: ISZERO 00001bd4: ISZERO 00001bd5: MUL 00001bd6: OR 00001bd7: SWAP1 00001bd8: SSTORE 00001bd9: POP 00001bda: DUP2 00001bdb: PUSH1 0x00 00001bdd: ADD 00001bde: PUSH1 0x00 00001be0: SWAP1 00001be1: SLOAD 00001be2: SWAP1 00001be3: PUSH2 0x0100 00001be6: EXP 00001be7: SWAP1 00001be8: DIV 00001be9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001bfe: AND 00001bff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c14: AND 00001c15: DUP3 00001c16: PUSH1 0x01 00001c18: ADD 00001c19: SLOAD 00001c1a: DUP4 00001c1b: PUSH1 0x02 00001c1d: ADD 00001c1e: PUSH1 0x40 00001c20: MLOAD 00001c21: DUP1 00001c22: DUP3 00001c23: DUP1 00001c24: SLOAD 00001c25: PUSH1 0x01 00001c27: DUP2 00001c28: PUSH1 0x01 00001c2a: AND 00001c2b: ISZERO 00001c2c: PUSH2 0x0100 00001c2f: MUL 00001c30: SUB 00001c31: AND 00001c32: PUSH1 0x02 00001c34: SWAP1 00001c35: DIV 00001c36: DUP1 00001c37: ISZERO 00001c38: PUSH2 0x1c82 00001c3b: JUMPI 00001c3c: DUP1 00001c3d: PUSH1 0x1f 00001c3f: LT 00001c40: PUSH2 0x1c57 00001c43: JUMPI 00001c44: PUSH2 0x0100 00001c47: DUP1 00001c48: DUP4 00001c49: SLOAD 00001c4a: DIV 00001c4b: MUL 00001c4c: DUP4 00001c4d: MSTORE 00001c4e: SWAP2 00001c4f: PUSH1 0x20 00001c51: ADD 00001c52: SWAP2 00001c53: PUSH2 0x1c82 00001c56: JUMP 00001c57: JUMPDEST 00001c58: DUP3 00001c59: ADD 00001c5a: SWAP2 00001c5b: SWAP1 00001c5c: PUSH1 0x00 00001c5e: MSTORE 00001c5f: PUSH1 0x20 00001c61: PUSH1 0x00 00001c63: KECCAK256 00001c64: SWAP1 00001c65: JUMPDEST 00001c66: DUP2 00001c67: SLOAD 00001c68: DUP2 00001c69: MSTORE 00001c6a: SWAP1 00001c6b: PUSH1 0x01 00001c6d: ADD 00001c6e: SWAP1 00001c6f: PUSH1 0x20 00001c71: ADD 00001c72: DUP1 00001c73: DUP4 00001c74: GT 00001c75: PUSH2 0x1c65 00001c78: JUMPI 00001c79: DUP3 00001c7a: SWAP1 00001c7b: SUB 00001c7c: PUSH1 0x1f 00001c7e: AND 00001c7f: DUP3 00001c80: ADD 00001c81: SWAP2 00001c82: JUMPDEST 00001c83: POP 00001c84: POP 00001c85: SWAP2 00001c86: POP 00001c87: POP 00001c88: PUSH1 0x00 00001c8a: PUSH1 0x40 00001c8c: MLOAD 00001c8d: DUP1 00001c8e: DUP4 00001c8f: SUB 00001c90: DUP2 00001c91: DUP6 00001c92: DUP8 00001c93: PUSH2 0x8796 00001c96: GAS 00001c97: SUB 00001c98: CALL 00001c99: SWAP3 00001c9a: POP 00001c9b: POP 00001c9c: POP 00001c9d: ISZERO 00001c9e: PUSH2 0x1cd3 00001ca1: JUMPI 00001ca2: DUP3 00001ca3: PUSH32 0x33e13ecb54c3076d8e8bb8c2881800a4d972b792045ffae98fdf46df365fed75 00001cc4: PUSH1 0x40 00001cc6: MLOAD 00001cc7: PUSH1 0x40 00001cc9: MLOAD 00001cca: DUP1 00001ccb: SWAP2 00001ccc: SUB 00001ccd: SWAP1 00001cce: LOG2 00001ccf: PUSH2 0x1d1e 00001cd2: JUMP 00001cd3: JUMPDEST 00001cd4: DUP3 00001cd5: PUSH32 0x526441bb6c1aba3c9a4a6ca1d6545da9c2333c8c48343ef398eb858d72b79236 00001cf6: PUSH1 0x40 00001cf8: MLOAD 00001cf9: PUSH1 0x40 00001cfb: MLOAD 00001cfc: DUP1 00001cfd: SWAP2 00001cfe: SUB 00001cff: SWAP1 00001d00: LOG2 00001d01: PUSH1 0x00 00001d03: DUP3 00001d04: PUSH1 0x03 00001d06: ADD 00001d07: PUSH1 0x00 00001d09: PUSH2 0x0100 00001d0c: EXP 00001d0d: DUP2 00001d0e: SLOAD 00001d0f: DUP2 00001d10: PUSH1 0xff 00001d12: MUL 00001d13: NOT 00001d14: AND 00001d15: SWAP1 00001d16: DUP4 00001d17: ISZERO 00001d18: ISZERO 00001d19: MUL 00001d1a: OR 00001d1b: SWAP1 00001d1c: SSTORE 00001d1d: POP 00001d1e: JUMPDEST 00001d1f: JUMPDEST 00001d20: POP 00001d21: POP 00001d22: POP 00001d23: JUMP 00001d24: JUMPDEST 00001d25: PUSH1 0x00 00001d27: DUP4 00001d28: PUSH1 0x00 00001d2a: DUP2 00001d2b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d40: AND 00001d41: EQ 00001d42: ISZERO 00001d43: PUSH2 0x1d4b 00001d46: JUMPI 00001d47: PUSH1 0x00 00001d49: DUP1 00001d4a: REVERT 00001d4b: JUMPDEST 00001d4c: PUSH1 0x05 00001d4e: SLOAD 00001d4f: SWAP2 00001d50: POP 00001d51: PUSH1 0x80 00001d53: PUSH1 0x40 00001d55: MLOAD 00001d56: SWAP1 00001d57: DUP2 00001d58: ADD 00001d59: PUSH1 0x40 00001d5b: MSTORE 00001d5c: DUP1 00001d5d: DUP7 00001d5e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d73: AND 00001d74: DUP2 00001d75: MSTORE 00001d76: PUSH1 0x20 00001d78: ADD 00001d79: DUP6 00001d7a: DUP2 00001d7b: MSTORE 00001d7c: PUSH1 0x20 00001d7e: ADD 00001d7f: DUP5 00001d80: DUP2 00001d81: MSTORE 00001d82: PUSH1 0x20 00001d84: ADD 00001d85: PUSH1 0x00 00001d87: ISZERO 00001d88: ISZERO 00001d89: DUP2 00001d8a: MSTORE 00001d8b: POP 00001d8c: PUSH1 0x00 00001d8e: DUP1 00001d8f: DUP5 00001d90: DUP2 00001d91: MSTORE 00001d92: PUSH1 0x20 00001d94: ADD 00001d95: SWAP1 00001d96: DUP2 00001d97: MSTORE 00001d98: PUSH1 0x20 00001d9a: ADD 00001d9b: PUSH1 0x00 00001d9d: KECCAK256 00001d9e: PUSH1 0x00 00001da0: DUP3 00001da1: ADD 00001da2: MLOAD 00001da3: DUP2 00001da4: PUSH1 0x00 00001da6: ADD 00001da7: PUSH1 0x00 00001da9: PUSH2 0x0100 00001dac: EXP 00001dad: DUP2 00001dae: SLOAD 00001daf: DUP2 00001db0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001dc5: MUL 00001dc6: NOT 00001dc7: AND 00001dc8: SWAP1 00001dc9: DUP4 00001dca: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ddf: AND 00001de0: MUL 00001de1: OR 00001de2: SWAP1 00001de3: SSTORE 00001de4: POP 00001de5: PUSH1 0x20 00001de7: DUP3 00001de8: ADD 00001de9: MLOAD 00001dea: DUP2 00001deb: PUSH1 0x01 00001ded: ADD 00001dee: SSTORE 00001def: PUSH1 0x40 00001df1: DUP3 00001df2: ADD 00001df3: MLOAD 00001df4: DUP2 00001df5: PUSH1 0x02 00001df7: ADD 00001df8: SWAP1 00001df9: DUP1 00001dfa: MLOAD 00001dfb: SWAP1 00001dfc: PUSH1 0x20 00001dfe: ADD 00001dff: SWAP1 00001e00: PUSH2 0x1e0a 00001e03: SWAP3 00001e04: SWAP2 00001e05: SWAP1 00001e06: PUSH2 0x1ef4 00001e09: JUMP 00001e0a: JUMPDEST 00001e0b: POP 00001e0c: PUSH1 0x60 00001e0e: DUP3 00001e0f: ADD 00001e10: MLOAD 00001e11: DUP2 00001e12: PUSH1 0x03 00001e14: ADD 00001e15: PUSH1 0x00 00001e17: PUSH2 0x0100 00001e1a: EXP 00001e1b: DUP2 00001e1c: SLOAD 00001e1d: DUP2 00001e1e: PUSH1 0xff 00001e20: MUL 00001e21: NOT 00001e22: AND 00001e23: SWAP1 00001e24: DUP4 00001e25: ISZERO 00001e26: ISZERO 00001e27: MUL 00001e28: OR 00001e29: SWAP1 00001e2a: SSTORE 00001e2b: POP 00001e2c: SWAP1 00001e2d: POP 00001e2e: POP 00001e2f: PUSH1 0x01 00001e31: PUSH1 0x05 00001e33: PUSH1 0x00 00001e35: DUP3 00001e36: DUP3 00001e37: SLOAD 00001e38: ADD 00001e39: SWAP3 00001e3a: POP 00001e3b: POP 00001e3c: DUP2 00001e3d: SWAP1 00001e3e: SSTORE 00001e3f: POP 00001e40: DUP2 00001e41: PUSH32 0xc0ba8fe4b176c1714197d43b9cc6bcf797a4a7461c5fe8d0ef6e184ae7601e51 00001e62: PUSH1 0x40 00001e64: MLOAD 00001e65: PUSH1 0x40 00001e67: MLOAD 00001e68: DUP1 00001e69: SWAP2 00001e6a: SUB 00001e6b: SWAP1 00001e6c: LOG2 00001e6d: POP 00001e6e: SWAP4 00001e6f: SWAP3 00001e70: POP 00001e71: POP 00001e72: POP 00001e73: JUMP 00001e74: JUMPDEST 00001e75: DUP2 00001e76: SLOAD 00001e77: DUP2 00001e78: DUP4 00001e79: SSTORE 00001e7a: DUP2 00001e7b: DUP2 00001e7c: ISZERO 00001e7d: GT 00001e7e: PUSH2 0x1e9b 00001e81: JUMPI 00001e82: DUP2 00001e83: DUP4 00001e84: PUSH1 0x00 00001e86: MSTORE 00001e87: PUSH1 0x20 00001e89: PUSH1 0x00 00001e8b: KECCAK256 00001e8c: SWAP2 00001e8d: DUP3 00001e8e: ADD 00001e8f: SWAP2 00001e90: ADD 00001e91: PUSH2 0x1e9a 00001e94: SWAP2 00001e95: SWAP1 00001e96: PUSH2 0x1f74 00001e99: JUMP 00001e9a: JUMPDEST 00001e9b: JUMPDEST 00001e9c: POP 00001e9d: POP 00001e9e: POP 00001e9f: JUMP 00001ea0: JUMPDEST 00001ea1: DUP2 00001ea2: SLOAD 00001ea3: DUP2 00001ea4: DUP4 00001ea5: SSTORE 00001ea6: DUP2 00001ea7: DUP2 00001ea8: ISZERO 00001ea9: GT 00001eaa: PUSH2 0x1ec7 00001ead: JUMPI 00001eae: DUP2 00001eaf: DUP4 00001eb0: PUSH1 0x00 00001eb2: MSTORE 00001eb3: PUSH1 0x20 00001eb5: PUSH1 0x00 00001eb7: KECCAK256 00001eb8: SWAP2 00001eb9: DUP3 00001eba: ADD 00001ebb: SWAP2 00001ebc: ADD 00001ebd: PUSH2 0x1ec6 00001ec0: SWAP2 00001ec1: SWAP1 00001ec2: PUSH2 0x1f74 00001ec5: JUMP 00001ec6: JUMPDEST 00001ec7: JUMPDEST 00001ec8: POP 00001ec9: POP 00001eca: POP 00001ecb: JUMP 00001ecc: JUMPDEST 00001ecd: PUSH1 0x20 00001ecf: PUSH1 0x40 00001ed1: MLOAD 00001ed2: SWAP1 00001ed3: DUP2 00001ed4: ADD 00001ed5: PUSH1 0x40 00001ed7: MSTORE 00001ed8: DUP1 00001ed9: PUSH1 0x00 00001edb: DUP2 00001edc: MSTORE 00001edd: POP 00001ede: SWAP1 00001edf: JUMP 00001ee0: JUMPDEST 00001ee1: PUSH1 0x20 00001ee3: PUSH1 0x40 00001ee5: MLOAD 00001ee6: SWAP1 00001ee7: DUP2 00001ee8: ADD 00001ee9: PUSH1 0x40 00001eeb: MSTORE 00001eec: DUP1 00001eed: PUSH1 0x00 00001eef: DUP2 00001ef0: MSTORE 00001ef1: POP 00001ef2: SWAP1 00001ef3: JUMP 00001ef4: JUMPDEST 00001ef5: DUP3 00001ef6: DUP1 00001ef7: SLOAD 00001ef8: PUSH1 0x01 00001efa: DUP2 00001efb: PUSH1 0x01 00001efd: AND 00001efe: ISZERO 00001eff: PUSH2 0x0100 00001f02: MUL 00001f03: SUB 00001f04: AND 00001f05: PUSH1 0x02 00001f07: SWAP1 00001f08: DIV 00001f09: SWAP1 00001f0a: PUSH1 0x00 00001f0c: MSTORE 00001f0d: PUSH1 0x20 00001f0f: PUSH1 0x00 00001f11: KECCAK256 00001f12: SWAP1 00001f13: PUSH1 0x1f 00001f15: ADD 00001f16: PUSH1 0x20 00001f18: SWAP1 00001f19: DIV 00001f1a: DUP2 00001f1b: ADD 00001f1c: SWAP3 00001f1d: DUP3 00001f1e: PUSH1 0x1f 00001f20: LT 00001f21: PUSH2 0x1f35 00001f24: JUMPI 00001f25: DUP1 00001f26: MLOAD 00001f27: PUSH1 0xff 00001f29: NOT 00001f2a: AND 00001f2b: DUP4 00001f2c: DUP1 00001f2d: ADD 00001f2e: OR 00001f2f: DUP6 00001f30: SSTORE 00001f31: PUSH2 0x1f63 00001f34: JUMP 00001f35: JUMPDEST 00001f36: DUP3 00001f37: DUP1 00001f38: ADD 00001f39: PUSH1 0x01 00001f3b: ADD 00001f3c: DUP6 00001f3d: SSTORE 00001f3e: DUP3 00001f3f: ISZERO 00001f40: PUSH2 0x1f63 00001f43: JUMPI 00001f44: SWAP2 00001f45: DUP3 00001f46: ADD 00001f47: JUMPDEST 00001f48: DUP3 00001f49: DUP2 00001f4a: GT 00001f4b: ISZERO 00001f4c: PUSH2 0x1f62 00001f4f: JUMPI 00001f50: DUP3 00001f51: MLOAD 00001f52: DUP3 00001f53: SSTORE 00001f54: SWAP2 00001f55: PUSH1 0x20 00001f57: ADD 00001f58: SWAP2 00001f59: SWAP1 00001f5a: PUSH1 0x01 00001f5c: ADD 00001f5d: SWAP1 00001f5e: PUSH2 0x1f47 00001f61: JUMP 00001f62: JUMPDEST 00001f63: JUMPDEST 00001f64: POP 00001f65: SWAP1 00001f66: POP 00001f67: PUSH2 0x1f70 00001f6a: SWAP2 00001f6b: SWAP1 00001f6c: PUSH2 0x1f74 00001f6f: JUMP 00001f70: JUMPDEST 00001f71: POP 00001f72: SWAP1 00001f73: JUMP 00001f74: JUMPDEST 00001f75: PUSH2 0x1f96 00001f78: SWAP2 00001f79: SWAP1 00001f7a: JUMPDEST 00001f7b: DUP1 00001f7c: DUP3 00001f7d: GT 00001f7e: ISZERO 00001f7f: PUSH2 0x1f92 00001f82: JUMPI 00001f83: PUSH1 0x00 00001f85: DUP2 00001f86: PUSH1 0x00 00001f88: SWAP1 00001f89: SSTORE 00001f8a: POP 00001f8b: PUSH1 0x01 00001f8d: ADD 00001f8e: PUSH2 0x1f7a 00001f91: JUMP 00001f92: JUMPDEST 00001f93: POP 00001f94: SWAP1 00001f95: JUMP 00001f96: JUMPDEST 00001f97: SWAP1 00001f98: JUMP 00001f99: STOP 00001f9a: LOG1 00001f9b: PUSH6 0x627a7a723058 00001fa2: KECCAK256 00001fa3: UNKNOWN(0xBD) 00001fa4: SELFBALANCE 00001fa5: UNKNOWN(0xF7) 00001fa6: PUSH25 0xe3a3bda094eb5aa14d0aa09cd2f3c34d4291dc51fbd064af11 00001fc0: INVALID 00001fc1: DELEGATECALL 00001fc2: UNKNOWN(0x2C) 00001fc3: STOP 00001fc4: UNKNOWN(0x29)
Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | upgradeability | detector | Untrusted DELEGATECALL target reachable | 55 | no | no |
viewtrace_id: 0x847ad4606500ba6521645dd49fd0143b7612b61694cfb08594705b3a79954e99
validation_json{
"sink": "DELEGATECALL",
"errors": 0,
"status": "unknown",
"attempts": 192,
"trace_id": "0x847ad4606500ba6521645dd49fd0143b7612b61694cfb08594705b3a79954e99",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": null,
"matched_probe": null,
"target_varies": null,
"classification": "no_sink"
}
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": 8129,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
}
],
"guards_detected": [
{
"pc": 2163,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3476,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5560,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 6255,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"delegatecall_count": 1,
"untrusted_delegatecall_count": 1
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x84eebeb02439fe67aa2a83519c19829ed90b302b2764608268d30aedcd52b12a
call_targets:
0x8ad5c7c1368617ebadb4677ceb7433f59992f2ac
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x84eebeb02439fe67aa2a83519c19829ed90b302b2764608268d30aedcd52b12a",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x8ad5c7c1368617ebadb4677ceb7433f59992f2ac"
],
"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": 7320,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 1,
"guards_detected": [
{
"pc": 2163,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3476,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5560,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 6255,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 1
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x84eebeb02439fe67aa2a83519c19829ed90b302b2764608268d30aedcd52b12a
call_targets:
0x8ad5c7c1368617ebadb4677ceb7433f59992f2ac
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x84eebeb02439fe67aa2a83519c19829ed90b302b2764608268d30aedcd52b12a",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x8ad5c7c1368617ebadb4677ceb7433f59992f2ac"
],
"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": 7320,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 1,
"guards_detected": [
{
"pc": 2163,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3476,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5560,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 6255,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|