019b3844-8e50-73c5-bb2f-63e77b060bd8
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 |
|---|---|---|---|---|
| 12261 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 12262 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 55448 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 55449 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 55450 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 55451 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x0230 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000002e: SWAP1 0000002f: DIV 00000030: PUSH4 0xffffffff 00000035: AND 00000036: DUP1 00000037: PUSH4 0x01ffc9a7 0000003c: EQ 0000003d: PUSH2 0x023b 00000040: JUMPI 00000041: DUP1 00000042: PUSH4 0x0560ff44 00000047: EQ 00000048: PUSH2 0x029f 0000004b: JUMPI 0000004c: DUP1 0000004d: PUSH4 0x06fdde03 00000052: EQ 00000053: PUSH2 0x038b 00000056: JUMPI 00000057: DUP1 00000058: PUSH4 0x095ea7b3 0000005d: EQ 0000005e: PUSH2 0x041b 00000061: JUMPI 00000062: DUP1 00000063: PUSH4 0x0c9daf45 00000068: EQ 00000069: PUSH2 0x0468 0000006c: JUMPI 0000006d: DUP1 0000006e: PUSH4 0x17ffc320 00000073: EQ 00000074: PUSH2 0x04bf 00000077: JUMPI 00000078: DUP1 00000079: PUSH4 0x18160ddd 0000007e: EQ 0000007f: PUSH2 0x0502 00000082: JUMPI 00000083: DUP1 00000084: PUSH4 0x210e734c 00000089: EQ 0000008a: PUSH2 0x052d 0000008d: JUMPI 0000008e: DUP1 0000008f: PUSH4 0x23b872dd 00000094: EQ 00000095: PUSH2 0x0572 00000098: JUMPI 00000099: DUP1 0000009a: PUSH4 0x25402e6c 0000009f: EQ 000000a0: PUSH2 0x05df 000000a3: JUMPI 000000a4: DUP1 000000a5: PUSH4 0x2ebb5056 000000aa: EQ 000000ab: PUSH2 0x060a 000000ae: JUMPI 000000af: DUP1 000000b0: PUSH4 0x3276249f 000000b5: EQ 000000b6: PUSH2 0x0665 000000b9: JUMPI 000000ba: DUP1 000000bb: PUSH4 0x3cb5d100 000000c0: EQ 000000c1: PUSH2 0x06bc 000000c4: JUMPI 000000c5: DUP1 000000c6: PUSH4 0x3e52d5c6 000000cb: EQ 000000cc: PUSH2 0x0729 000000cf: JUMPI 000000d0: DUP1 000000d1: PUSH4 0x3f4ba83a 000000d6: EQ 000000d7: PUSH2 0x078f 000000da: JUMPI 000000db: DUP1 000000dc: PUSH4 0x4042b66f 000000e1: EQ 000000e2: PUSH2 0x07a6 000000e5: JUMPI 000000e6: DUP1 000000e7: PUSH4 0x4ab994ad 000000ec: EQ 000000ed: PUSH2 0x07d1 000000f0: JUMPI 000000f1: DUP1 000000f2: PUSH4 0x56ddbe7a 000000f7: EQ 000000f8: PUSH2 0x0828 000000fb: JUMPI 000000fc: DUP1 000000fd: PUSH4 0x5c975abb 00000102: EQ 00000103: PUSH2 0x0895 00000106: JUMPI 00000107: DUP1 00000108: PUSH4 0x6352211e 0000010d: EQ 0000010e: PUSH2 0x08c4 00000111: JUMPI 00000112: DUP1 00000113: PUSH4 0x63fd9e38 00000118: EQ 00000119: PUSH2 0x0931 0000011c: JUMPI 0000011d: DUP1 0000011e: PUSH4 0x70a08231 00000123: EQ 00000124: PUSH2 0x095c 00000127: JUMPI 00000128: DUP1 00000129: PUSH4 0x7569b3d7 0000012e: EQ 0000012f: PUSH2 0x09b3 00000132: JUMPI 00000133: DUP1 00000134: PUSH4 0x835fc6ca 00000139: EQ 0000013a: PUSH2 0x09de 0000013d: JUMPI 0000013e: DUP1 0000013f: PUSH4 0x8456cb59 00000144: EQ 00000145: PUSH2 0x0a0b 00000148: JUMPI 00000149: DUP1 0000014a: PUSH4 0x8462151c 0000014f: EQ 00000150: PUSH2 0x0a22 00000153: JUMPI 00000154: DUP1 00000155: PUSH4 0x88072700 0000015a: EQ 0000015b: PUSH2 0x0aba 0000015e: JUMPI 0000015f: DUP1 00000160: PUSH4 0x8b157515 00000165: EQ 00000166: PUSH2 0x0b27 00000169: JUMPI 0000016a: DUP1 0000016b: PUSH4 0x8da5cb5b 00000170: EQ 00000171: PUSH2 0x0bbf 00000174: JUMPI 00000175: DUP1 00000176: PUSH4 0x95d89b41 0000017b: EQ 0000017c: PUSH2 0x0c16 0000017f: JUMPI 00000180: DUP1 00000181: PUSH4 0xa64e920d 00000186: EQ 00000187: PUSH2 0x0ca6 0000018a: JUMPI 0000018b: DUP1 0000018c: PUSH4 0xa731f31a 00000191: EQ 00000192: PUSH2 0x0cd1 00000195: JUMPI 00000196: DUP1 00000197: PUSH4 0xa9059cbb 0000019c: EQ 0000019d: PUSH2 0x0d69 000001a0: JUMPI 000001a1: DUP1 000001a2: PUSH4 0xb01454dd 000001a7: EQ 000001a8: PUSH2 0x0db6 000001ab: JUMPI 000001ac: DUP1 000001ad: PUSH4 0xbc4006f5 000001b2: EQ 000001b3: PUSH2 0x0e0d 000001b6: JUMPI 000001b7: DUP1 000001b8: PUSH4 0xbfb231d2 000001bd: EQ 000001be: PUSH2 0x0e64 000001c1: JUMPI 000001c2: DUP1 000001c3: PUSH4 0xcc33c875 000001c8: EQ 000001c9: PUSH2 0x0f00 000001cc: JUMPI 000001cd: DUP1 000001ce: PUSH4 0xcec21acb 000001d3: EQ 000001d4: PUSH2 0x0f82 000001d7: JUMPI 000001d8: DUP1 000001d9: PUSH4 0xdc45b93a 000001de: EQ 000001df: PUSH2 0x0fd9 000001e2: JUMPI 000001e3: DUP1 000001e4: PUSH4 0xe17b25af 000001e9: EQ 000001ea: PUSH2 0x1004 000001ed: JUMPI 000001ee: DUP1 000001ef: PUSH4 0xec39d6e6 000001f4: EQ 000001f5: PUSH2 0x1047 000001f8: JUMPI 000001f9: DUP1 000001fa: PUSH4 0xec8ac4d8 000001ff: EQ 00000200: PUSH2 0x109e 00000203: JUMPI 00000204: DUP1 00000205: PUSH4 0xf1317352 0000020a: EQ 0000020b: PUSH2 0x10d4 0000020e: JUMPI 0000020f: DUP1 00000210: PUSH4 0xfb7e54eb 00000215: EQ 00000216: PUSH2 0x1141 00000219: JUMPI 0000021a: DUP1 0000021b: PUSH4 0xfb86a404 00000220: EQ 00000221: PUSH2 0x1198 00000224: JUMPI 00000225: DUP1 00000226: PUSH4 0xfe9b1a89 0000022b: EQ 0000022c: PUSH2 0x11c3 0000022f: JUMPI 00000230: JUMPDEST 00000231: PUSH2 0x0239 00000234: CALLER 00000235: PUSH2 0x1230 00000238: JUMP 00000239: JUMPDEST 0000023a: STOP 0000023b: JUMPDEST 0000023c: CALLVALUE 0000023d: DUP1 0000023e: ISZERO 0000023f: PUSH2 0x0247 00000242: JUMPI 00000243: PUSH1 0x00 00000245: DUP1 00000246: REVERT 00000247: JUMPDEST 00000248: POP 00000249: PUSH2 0x0285 0000024c: PUSH1 0x04 0000024e: DUP1 0000024f: CALLDATASIZE 00000250: SUB 00000251: DUP2 00000252: ADD 00000253: SWAP1 00000254: DUP1 00000255: DUP1 00000256: CALLDATALOAD 00000257: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00000274: NOT 00000275: AND 00000276: SWAP1 00000277: PUSH1 0x20 00000279: ADD 0000027a: SWAP1 0000027b: SWAP3 0000027c: SWAP2 0000027d: SWAP1 0000027e: POP 0000027f: POP 00000280: POP 00000281: PUSH2 0x165c 00000284: JUMP 00000285: JUMPDEST 00000286: PUSH1 0x40 00000288: MLOAD 00000289: DUP1 0000028a: DUP3 0000028b: ISZERO 0000028c: ISZERO 0000028d: ISZERO 0000028e: ISZERO 0000028f: DUP2 00000290: MSTORE 00000291: PUSH1 0x20 00000293: ADD 00000294: SWAP2 00000295: POP 00000296: POP 00000297: PUSH1 0x40 00000299: MLOAD 0000029a: DUP1 0000029b: SWAP2 0000029c: SUB 0000029d: SWAP1 0000029e: RETURN 0000029f: JUMPDEST 000002a0: CALLVALUE 000002a1: DUP1 000002a2: ISZERO 000002a3: PUSH2 0x02ab 000002a6: JUMPI 000002a7: PUSH1 0x00 000002a9: DUP1 000002aa: REVERT 000002ab: JUMPDEST 000002ac: POP 000002ad: PUSH2 0x0310 000002b0: PUSH1 0x04 000002b2: DUP1 000002b3: CALLDATASIZE 000002b4: SUB 000002b5: DUP2 000002b6: ADD 000002b7: SWAP1 000002b8: DUP1 000002b9: DUP1 000002ba: CALLDATALOAD 000002bb: SWAP1 000002bc: PUSH1 0x20 000002be: ADD 000002bf: SWAP1 000002c0: SWAP3 000002c1: SWAP2 000002c2: SWAP1 000002c3: DUP1 000002c4: CALLDATALOAD 000002c5: SWAP1 000002c6: PUSH1 0x20 000002c8: ADD 000002c9: SWAP1 000002ca: DUP3 000002cb: ADD 000002cc: DUP1 000002cd: CALLDATALOAD 000002ce: SWAP1 000002cf: PUSH1 0x20 000002d1: ADD 000002d2: SWAP1 000002d3: DUP1 000002d4: DUP1 000002d5: PUSH1 0x1f 000002d7: ADD 000002d8: PUSH1 0x20 000002da: DUP1 000002db: SWAP2 000002dc: DIV 000002dd: MUL 000002de: PUSH1 0x20 000002e0: ADD 000002e1: PUSH1 0x40 000002e3: MLOAD 000002e4: SWAP1 000002e5: DUP2 000002e6: ADD 000002e7: PUSH1 0x40 000002e9: MSTORE 000002ea: DUP1 000002eb: SWAP4 000002ec: SWAP3 000002ed: SWAP2 000002ee: SWAP1 000002ef: DUP2 000002f0: DUP2 000002f1: MSTORE 000002f2: PUSH1 0x20 000002f4: ADD 000002f5: DUP4 000002f6: DUP4 000002f7: DUP1 000002f8: DUP3 000002f9: DUP5 000002fa: CALLDATACOPY 000002fb: DUP3 000002fc: ADD 000002fd: SWAP2 000002fe: POP 000002ff: POP 00000300: POP 00000301: POP 00000302: POP 00000303: POP 00000304: SWAP2 00000305: SWAP3 00000306: SWAP2 00000307: SWAP3 00000308: SWAP1 00000309: POP 0000030a: POP 0000030b: POP 0000030c: PUSH2 0x196d 0000030f: JUMP 00000310: JUMPDEST 00000311: PUSH1 0x40 00000313: MLOAD 00000314: DUP1 00000315: DUP1 00000316: PUSH1 0x20 00000318: ADD 00000319: DUP3 0000031a: DUP2 0000031b: SUB 0000031c: DUP3 0000031d: MSTORE 0000031e: DUP4 0000031f: DUP2 00000320: DUP2 00000321: MLOAD 00000322: DUP2 00000323: MSTORE 00000324: PUSH1 0x20 00000326: ADD 00000327: SWAP2 00000328: POP 00000329: DUP1 0000032a: MLOAD 0000032b: SWAP1 0000032c: PUSH1 0x20 0000032e: ADD 0000032f: SWAP1 00000330: DUP1 00000331: DUP4 00000332: DUP4 00000333: PUSH1 0x00 00000335: JUMPDEST 00000336: DUP4 00000337: DUP2 00000338: LT 00000339: ISZERO 0000033a: PUSH2 0x0350 0000033d: JUMPI 0000033e: DUP1 0000033f: DUP3 00000340: ADD 00000341: MLOAD 00000342: DUP2 00000343: DUP5 00000344: ADD 00000345: MSTORE 00000346: PUSH1 0x20 00000348: DUP2 00000349: ADD 0000034a: SWAP1 0000034b: POP 0000034c: PUSH2 0x0335 0000034f: JUMP 00000350: JUMPDEST 00000351: POP 00000352: POP 00000353: POP 00000354: POP 00000355: SWAP1 00000356: POP 00000357: SWAP1 00000358: DUP2 00000359: ADD 0000035a: SWAP1 0000035b: PUSH1 0x1f 0000035d: AND 0000035e: DUP1 0000035f: ISZERO 00000360: PUSH2 0x037d 00000363: JUMPI 00000364: DUP1 00000365: DUP3 00000366: SUB 00000367: DUP1 00000368: MLOAD 00000369: PUSH1 0x01 0000036b: DUP4 0000036c: PUSH1 0x20 0000036e: SUB 0000036f: PUSH2 0x0100 00000372: EXP 00000373: SUB 00000374: NOT 00000375: AND 00000376: DUP2 00000377: MSTORE 00000378: PUSH1 0x20 0000037a: ADD 0000037b: SWAP2 0000037c: POP 0000037d: JUMPDEST 0000037e: POP 0000037f: SWAP3 00000380: POP 00000381: POP 00000382: POP 00000383: PUSH1 0x40 00000385: MLOAD 00000386: DUP1 00000387: SWAP2 00000388: SUB 00000389: SWAP1 0000038a: RETURN 0000038b: JUMPDEST 0000038c: CALLVALUE 0000038d: DUP1 0000038e: ISZERO 0000038f: PUSH2 0x0397 00000392: JUMPI 00000393: PUSH1 0x00 00000395: DUP1 00000396: REVERT 00000397: JUMPDEST 00000398: POP 00000399: PUSH2 0x03a0 0000039c: PUSH2 0x1b40 0000039f: JUMP 000003a0: JUMPDEST 000003a1: PUSH1 0x40 000003a3: MLOAD 000003a4: DUP1 000003a5: DUP1 000003a6: PUSH1 0x20 000003a8: ADD 000003a9: DUP3 000003aa: DUP2 000003ab: SUB 000003ac: DUP3 000003ad: MSTORE 000003ae: DUP4 000003af: DUP2 000003b0: DUP2 000003b1: MLOAD 000003b2: DUP2 000003b3: MSTORE 000003b4: PUSH1 0x20 000003b6: ADD 000003b7: SWAP2 000003b8: POP 000003b9: DUP1 000003ba: MLOAD 000003bb: SWAP1 000003bc: PUSH1 0x20 000003be: ADD 000003bf: SWAP1 000003c0: DUP1 000003c1: DUP4 000003c2: DUP4 000003c3: PUSH1 0x00 000003c5: JUMPDEST 000003c6: DUP4 000003c7: DUP2 000003c8: LT 000003c9: ISZERO 000003ca: PUSH2 0x03e0 000003cd: JUMPI 000003ce: DUP1 000003cf: DUP3 000003d0: ADD 000003d1: MLOAD 000003d2: DUP2 000003d3: DUP5 000003d4: ADD 000003d5: MSTORE 000003d6: PUSH1 0x20 000003d8: DUP2 000003d9: ADD 000003da: SWAP1 000003db: POP 000003dc: PUSH2 0x03c5 000003df: JUMP 000003e0: JUMPDEST 000003e1: POP 000003e2: POP 000003e3: POP 000003e4: POP 000003e5: SWAP1 000003e6: POP 000003e7: SWAP1 000003e8: DUP2 000003e9: ADD 000003ea: SWAP1 000003eb: PUSH1 0x1f 000003ed: AND 000003ee: DUP1 000003ef: ISZERO 000003f0: PUSH2 0x040d 000003f3: JUMPI 000003f4: DUP1 000003f5: DUP3 000003f6: SUB 000003f7: DUP1 000003f8: MLOAD 000003f9: PUSH1 0x01 000003fb: DUP4 000003fc: PUSH1 0x20 000003fe: SUB 000003ff: PUSH2 0x0100 00000402: EXP 00000403: SUB 00000404: NOT 00000405: AND 00000406: DUP2 00000407: MSTORE 00000408: PUSH1 0x20 0000040a: ADD 0000040b: SWAP2 0000040c: POP 0000040d: JUMPDEST 0000040e: POP 0000040f: SWAP3 00000410: POP 00000411: POP 00000412: POP 00000413: PUSH1 0x40 00000415: MLOAD 00000416: DUP1 00000417: SWAP2 00000418: SUB 00000419: SWAP1 0000041a: RETURN 0000041b: JUMPDEST 0000041c: CALLVALUE 0000041d: DUP1 0000041e: ISZERO 0000041f: PUSH2 0x0427 00000422: JUMPI 00000423: PUSH1 0x00 00000425: DUP1 00000426: REVERT 00000427: JUMPDEST 00000428: POP 00000429: PUSH2 0x0466 0000042c: PUSH1 0x04 0000042e: DUP1 0000042f: CALLDATASIZE 00000430: SUB 00000431: DUP2 00000432: ADD 00000433: SWAP1 00000434: DUP1 00000435: DUP1 00000436: CALLDATALOAD 00000437: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000044c: AND 0000044d: SWAP1 0000044e: PUSH1 0x20 00000450: ADD 00000451: SWAP1 00000452: SWAP3 00000453: SWAP2 00000454: SWAP1 00000455: DUP1 00000456: CALLDATALOAD 00000457: SWAP1 00000458: PUSH1 0x20 0000045a: ADD 0000045b: SWAP1 0000045c: SWAP3 0000045d: SWAP2 0000045e: SWAP1 0000045f: POP 00000460: POP 00000461: POP 00000462: PUSH2 0x1ba3 00000465: JUMP 00000466: JUMPDEST 00000467: STOP 00000468: JUMPDEST 00000469: CALLVALUE 0000046a: DUP1 0000046b: ISZERO 0000046c: PUSH2 0x0474 0000046f: JUMPI 00000470: PUSH1 0x00 00000472: DUP1 00000473: REVERT 00000474: JUMPDEST 00000475: POP 00000476: PUSH2 0x047d 00000479: PUSH2 0x1c2b 0000047c: JUMP 0000047d: JUMPDEST 0000047e: PUSH1 0x40 00000480: MLOAD 00000481: DUP1 00000482: DUP3 00000483: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000498: AND 00000499: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004ae: AND 000004af: DUP2 000004b0: MSTORE 000004b1: PUSH1 0x20 000004b3: ADD 000004b4: SWAP2 000004b5: POP 000004b6: POP 000004b7: PUSH1 0x40 000004b9: MLOAD 000004ba: DUP1 000004bb: SWAP2 000004bc: SUB 000004bd: SWAP1 000004be: RETURN 000004bf: JUMPDEST 000004c0: CALLVALUE 000004c1: DUP1 000004c2: ISZERO 000004c3: PUSH2 0x04cb 000004c6: JUMPI 000004c7: PUSH1 0x00 000004c9: DUP1 000004ca: REVERT 000004cb: JUMPDEST 000004cc: POP 000004cd: PUSH2 0x0500 000004d0: PUSH1 0x04 000004d2: DUP1 000004d3: CALLDATASIZE 000004d4: SUB 000004d5: DUP2 000004d6: ADD 000004d7: SWAP1 000004d8: DUP1 000004d9: DUP1 000004da: CALLDATALOAD 000004db: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004f0: AND 000004f1: SWAP1 000004f2: PUSH1 0x20 000004f4: ADD 000004f5: SWAP1 000004f6: SWAP3 000004f7: SWAP2 000004f8: SWAP1 000004f9: POP 000004fa: POP 000004fb: POP 000004fc: PUSH2 0x1c51 000004ff: JUMP 00000500: JUMPDEST 00000501: STOP 00000502: JUMPDEST 00000503: CALLVALUE 00000504: DUP1 00000505: ISZERO 00000506: PUSH2 0x050e 00000509: JUMPI 0000050a: PUSH1 0x00 0000050c: DUP1 0000050d: REVERT 0000050e: JUMPDEST 0000050f: POP 00000510: PUSH2 0x0517 00000513: PUSH2 0x1e8a 00000516: JUMP 00000517: JUMPDEST 00000518: PUSH1 0x40 0000051a: MLOAD 0000051b: DUP1 0000051c: DUP3 0000051d: DUP2 0000051e: MSTORE 0000051f: PUSH1 0x20 00000521: ADD 00000522: SWAP2 00000523: POP 00000524: POP 00000525: PUSH1 0x40 00000527: MLOAD 00000528: DUP1 00000529: SWAP2 0000052a: SUB 0000052b: SWAP1 0000052c: RETURN 0000052d: JUMPDEST 0000052e: CALLVALUE 0000052f: DUP1 00000530: ISZERO 00000531: PUSH2 0x0539 00000534: JUMPI 00000535: PUSH1 0x00 00000537: DUP1 00000538: REVERT 00000539: JUMPDEST 0000053a: POP 0000053b: PUSH2 0x0558 0000053e: PUSH1 0x04 00000540: DUP1 00000541: CALLDATASIZE 00000542: SUB 00000543: DUP2 00000544: ADD 00000545: SWAP1 00000546: DUP1 00000547: DUP1 00000548: CALLDATALOAD 00000549: SWAP1 0000054a: PUSH1 0x20 0000054c: ADD 0000054d: SWAP1 0000054e: SWAP3 0000054f: SWAP2 00000550: SWAP1 00000551: POP 00000552: POP 00000553: POP 00000554: PUSH2 0x1e97 00000557: JUMP 00000558: JUMPDEST 00000559: PUSH1 0x40 0000055b: MLOAD 0000055c: DUP1 0000055d: DUP3 0000055e: ISZERO 0000055f: ISZERO 00000560: ISZERO 00000561: ISZERO 00000562: DUP2 00000563: MSTORE 00000564: PUSH1 0x20 00000566: ADD 00000567: SWAP2 00000568: POP 00000569: POP 0000056a: PUSH1 0x40 0000056c: MLOAD 0000056d: DUP1 0000056e: SWAP2 0000056f: SUB 00000570: SWAP1 00000571: RETURN 00000572: JUMPDEST 00000573: CALLVALUE 00000574: DUP1 00000575: ISZERO 00000576: PUSH2 0x057e 00000579: JUMPI 0000057a: PUSH1 0x00 0000057c: DUP1 0000057d: REVERT 0000057e: JUMPDEST 0000057f: POP 00000580: PUSH2 0x05dd 00000583: PUSH1 0x04 00000585: DUP1 00000586: CALLDATASIZE 00000587: SUB 00000588: DUP2 00000589: ADD 0000058a: SWAP1 0000058b: DUP1 0000058c: DUP1 0000058d: CALLDATALOAD 0000058e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005a3: AND 000005a4: SWAP1 000005a5: PUSH1 0x20 000005a7: ADD 000005a8: SWAP1 000005a9: SWAP3 000005aa: SWAP2 000005ab: SWAP1 000005ac: DUP1 000005ad: CALLDATALOAD 000005ae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005c3: AND 000005c4: SWAP1 000005c5: PUSH1 0x20 000005c7: ADD 000005c8: SWAP1 000005c9: SWAP3 000005ca: SWAP2 000005cb: SWAP1 000005cc: DUP1 000005cd: CALLDATALOAD 000005ce: SWAP1 000005cf: PUSH1 0x20 000005d1: ADD 000005d2: SWAP1 000005d3: SWAP3 000005d4: SWAP2 000005d5: SWAP1 000005d6: POP 000005d7: POP 000005d8: POP 000005d9: PUSH2 0x1f99 000005dc: JUMP 000005dd: JUMPDEST 000005de: STOP 000005df: JUMPDEST 000005e0: CALLVALUE 000005e1: DUP1 000005e2: ISZERO 000005e3: PUSH2 0x05eb 000005e6: JUMPI 000005e7: PUSH1 0x00 000005e9: DUP1 000005ea: REVERT 000005eb: JUMPDEST 000005ec: POP 000005ed: PUSH2 0x05f4 000005f0: PUSH2 0x204a 000005f3: JUMP 000005f4: JUMPDEST 000005f5: PUSH1 0x40 000005f7: MLOAD 000005f8: DUP1 000005f9: DUP3 000005fa: DUP2 000005fb: MSTORE 000005fc: PUSH1 0x20 000005fe: ADD 000005ff: SWAP2 00000600: POP 00000601: POP 00000602: PUSH1 0x40 00000604: MLOAD 00000605: DUP1 00000606: SWAP2 00000607: SUB 00000608: SWAP1 00000609: RETURN 0000060a: JUMPDEST 0000060b: CALLVALUE 0000060c: DUP1 0000060d: ISZERO 0000060e: PUSH2 0x0616 00000611: JUMPI 00000612: PUSH1 0x00 00000614: DUP1 00000615: REVERT 00000616: JUMPDEST 00000617: POP 00000618: PUSH2 0x064b 0000061b: PUSH1 0x04 0000061d: DUP1 0000061e: CALLDATASIZE 0000061f: SUB 00000620: DUP2 00000621: ADD 00000622: SWAP1 00000623: DUP1 00000624: DUP1 00000625: CALLDATALOAD 00000626: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000063b: AND 0000063c: SWAP1 0000063d: PUSH1 0x20 0000063f: ADD 00000640: SWAP1 00000641: SWAP3 00000642: SWAP2 00000643: SWAP1 00000644: POP 00000645: POP 00000646: POP 00000647: PUSH2 0x2050 0000064a: JUMP 0000064b: JUMPDEST 0000064c: PUSH1 0x40 0000064e: MLOAD 0000064f: DUP1 00000650: DUP3 00000651: ISZERO 00000652: ISZERO 00000653: ISZERO 00000654: ISZERO 00000655: DUP2 00000656: MSTORE 00000657: PUSH1 0x20 00000659: ADD 0000065a: SWAP2 0000065b: POP 0000065c: POP 0000065d: PUSH1 0x40 0000065f: MLOAD 00000660: DUP1 00000661: SWAP2 00000662: SUB 00000663: SWAP1 00000664: RETURN 00000665: JUMPDEST 00000666: CALLVALUE 00000667: DUP1 00000668: ISZERO 00000669: PUSH2 0x0671 0000066c: JUMPI 0000066d: PUSH1 0x00 0000066f: DUP1 00000670: REVERT 00000671: JUMPDEST 00000672: POP 00000673: PUSH2 0x067a 00000676: PUSH2 0x2070 00000679: JUMP 0000067a: JUMPDEST 0000067b: PUSH1 0x40 0000067d: MLOAD 0000067e: DUP1 0000067f: DUP3 00000680: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000695: AND 00000696: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006ab: AND 000006ac: DUP2 000006ad: MSTORE 000006ae: PUSH1 0x20 000006b0: ADD 000006b1: SWAP2 000006b2: POP 000006b3: POP 000006b4: PUSH1 0x40 000006b6: MLOAD 000006b7: DUP1 000006b8: SWAP2 000006b9: SUB 000006ba: SWAP1 000006bb: RETURN 000006bc: JUMPDEST 000006bd: CALLVALUE 000006be: DUP1 000006bf: ISZERO 000006c0: PUSH2 0x06c8 000006c3: JUMPI 000006c4: PUSH1 0x00 000006c6: DUP1 000006c7: REVERT 000006c8: JUMPDEST 000006c9: POP 000006ca: PUSH2 0x06e7 000006cd: PUSH1 0x04 000006cf: DUP1 000006d0: CALLDATASIZE 000006d1: SUB 000006d2: DUP2 000006d3: ADD 000006d4: SWAP1 000006d5: DUP1 000006d6: DUP1 000006d7: CALLDATALOAD 000006d8: SWAP1 000006d9: PUSH1 0x20 000006db: ADD 000006dc: SWAP1 000006dd: SWAP3 000006de: SWAP2 000006df: SWAP1 000006e0: POP 000006e1: POP 000006e2: POP 000006e3: PUSH2 0x2096 000006e6: JUMP 000006e7: JUMPDEST 000006e8: PUSH1 0x40 000006ea: MLOAD 000006eb: DUP1 000006ec: DUP3 000006ed: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000702: AND 00000703: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000718: AND 00000719: DUP2 0000071a: MSTORE 0000071b: PUSH1 0x20 0000071d: ADD 0000071e: SWAP2 0000071f: POP 00000720: POP 00000721: PUSH1 0x40 00000723: MLOAD 00000724: DUP1 00000725: SWAP2 00000726: SUB 00000727: SWAP1 00000728: RETURN 00000729: JUMPDEST 0000072a: CALLVALUE 0000072b: DUP1 0000072c: ISZERO 0000072d: PUSH2 0x0735 00000730: JUMPI 00000731: PUSH1 0x00 00000733: DUP1 00000734: REVERT 00000735: JUMPDEST 00000736: POP 00000737: PUSH2 0x078d 0000073a: PUSH1 0x04 0000073c: DUP1 0000073d: CALLDATASIZE 0000073e: SUB 0000073f: DUP2 00000740: ADD 00000741: SWAP1 00000742: DUP1 00000743: DUP1 00000744: CALLDATALOAD 00000745: SWAP1 00000746: PUSH1 0x20 00000748: ADD 00000749: SWAP1 0000074a: DUP3 0000074b: ADD 0000074c: DUP1 0000074d: CALLDATALOAD 0000074e: SWAP1 0000074f: PUSH1 0x20 00000751: ADD 00000752: SWAP1 00000753: DUP1 00000754: DUP1 00000755: PUSH1 0x20 00000757: MUL 00000758: PUSH1 0x20 0000075a: ADD 0000075b: PUSH1 0x40 0000075d: MLOAD 0000075e: SWAP1 0000075f: DUP2 00000760: ADD 00000761: PUSH1 0x40 00000763: MSTORE 00000764: DUP1 00000765: SWAP4 00000766: SWAP3 00000767: SWAP2 00000768: SWAP1 00000769: DUP2 0000076a: DUP2 0000076b: MSTORE 0000076c: PUSH1 0x20 0000076e: ADD 0000076f: DUP4 00000770: DUP4 00000771: PUSH1 0x20 00000773: MUL 00000774: DUP1 00000775: DUP3 00000776: DUP5 00000777: CALLDATACOPY 00000778: DUP3 00000779: ADD 0000077a: SWAP2 0000077b: POP 0000077c: POP 0000077d: POP 0000077e: POP 0000077f: POP 00000780: POP 00000781: SWAP2 00000782: SWAP3 00000783: SWAP2 00000784: SWAP3 00000785: SWAP1 00000786: POP 00000787: POP 00000788: POP 00000789: PUSH2 0x20d4 0000078c: JUMP 0000078d: JUMPDEST 0000078e: STOP 0000078f: JUMPDEST 00000790: CALLVALUE 00000791: DUP1 00000792: ISZERO 00000793: PUSH2 0x079b 00000796: JUMPI 00000797: PUSH1 0x00 00000799: DUP1 0000079a: REVERT 0000079b: JUMPDEST 0000079c: POP 0000079d: PUSH2 0x07a4 000007a0: PUSH2 0x2532 000007a3: JUMP 000007a4: JUMPDEST 000007a5: STOP 000007a6: JUMPDEST 000007a7: CALLVALUE 000007a8: DUP1 000007a9: ISZERO 000007aa: PUSH2 0x07b2 000007ad: JUMPI 000007ae: PUSH1 0x00 000007b0: DUP1 000007b1: REVERT 000007b2: JUMPDEST 000007b3: POP 000007b4: PUSH2 0x07bb 000007b7: PUSH2 0x25f0 000007ba: JUMP 000007bb: JUMPDEST 000007bc: PUSH1 0x40 000007be: MLOAD 000007bf: DUP1 000007c0: DUP3 000007c1: DUP2 000007c2: MSTORE 000007c3: PUSH1 0x20 000007c5: ADD 000007c6: SWAP2 000007c7: POP 000007c8: POP 000007c9: PUSH1 0x40 000007cb: MLOAD 000007cc: DUP1 000007cd: SWAP2 000007ce: SUB 000007cf: SWAP1 000007d0: RETURN 000007d1: JUMPDEST 000007d2: CALLVALUE 000007d3: DUP1 000007d4: ISZERO 000007d5: PUSH2 0x07dd 000007d8: JUMPI 000007d9: PUSH1 0x00 000007db: DUP1 000007dc: REVERT 000007dd: JUMPDEST 000007de: POP 000007df: PUSH2 0x0812 000007e2: PUSH1 0x04 000007e4: DUP1 000007e5: CALLDATASIZE 000007e6: SUB 000007e7: DUP2 000007e8: ADD 000007e9: SWAP1 000007ea: DUP1 000007eb: DUP1 000007ec: CALLDATALOAD 000007ed: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000802: AND 00000803: SWAP1 00000804: PUSH1 0x20 00000806: ADD 00000807: SWAP1 00000808: SWAP3 00000809: SWAP2 0000080a: SWAP1 0000080b: POP 0000080c: POP 0000080d: POP 0000080e: PUSH2 0x25f6 00000811: JUMP 00000812: JUMPDEST 00000813: PUSH1 0x40 00000815: MLOAD 00000816: DUP1 00000817: DUP3 00000818: DUP2 00000819: MSTORE 0000081a: PUSH1 0x20 0000081c: ADD 0000081d: SWAP2 0000081e: POP 0000081f: POP 00000820: PUSH1 0x40 00000822: MLOAD 00000823: DUP1 00000824: SWAP2 00000825: SUB 00000826: SWAP1 00000827: RETURN 00000828: JUMPDEST 00000829: CALLVALUE 0000082a: DUP1 0000082b: ISZERO 0000082c: PUSH2 0x0834 0000082f: JUMPI 00000830: PUSH1 0x00 00000832: DUP1 00000833: REVERT 00000834: JUMPDEST 00000835: POP 00000836: PUSH2 0x0893 00000839: PUSH1 0x04 0000083b: DUP1 0000083c: CALLDATASIZE 0000083d: SUB 0000083e: DUP2 0000083f: ADD 00000840: SWAP1 00000841: DUP1 00000842: DUP1 00000843: CALLDATALOAD 00000844: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000859: AND 0000085a: SWAP1 0000085b: PUSH1 0x20 0000085d: ADD 0000085e: SWAP1 0000085f: SWAP3 00000860: SWAP2 00000861: SWAP1 00000862: DUP1 00000863: CALLDATALOAD 00000864: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000879: AND 0000087a: SWAP1 0000087b: PUSH1 0x20 0000087d: ADD 0000087e: SWAP1 0000087f: SWAP3 00000880: SWAP2 00000881: SWAP1 00000882: DUP1 00000883: CALLDATALOAD 00000884: SWAP1 00000885: PUSH1 0x20 00000887: ADD 00000888: SWAP1 00000889: SWAP3 0000088a: SWAP2 0000088b: SWAP1 0000088c: POP 0000088d: POP 0000088e: POP 0000088f: PUSH2 0x260e 00000892: JUMP 00000893: JUMPDEST 00000894: STOP 00000895: JUMPDEST 00000896: CALLVALUE 00000897: DUP1 00000898: ISZERO 00000899: PUSH2 0x08a1 0000089c: JUMPI 0000089d: PUSH1 0x00 0000089f: DUP1 000008a0: REVERT 000008a1: JUMPDEST 000008a2: POP 000008a3: PUSH2 0x08aa 000008a6: PUSH2 0x277e 000008a9: JUMP 000008aa: JUMPDEST 000008ab: PUSH1 0x40 000008ad: MLOAD 000008ae: DUP1 000008af: DUP3 000008b0: ISZERO 000008b1: ISZERO 000008b2: ISZERO 000008b3: ISZERO 000008b4: DUP2 000008b5: MSTORE 000008b6: PUSH1 0x20 000008b8: ADD 000008b9: SWAP2 000008ba: POP 000008bb: POP 000008bc: PUSH1 0x40 000008be: MLOAD 000008bf: DUP1 000008c0: SWAP2 000008c1: SUB 000008c2: SWAP1 000008c3: RETURN 000008c4: JUMPDEST 000008c5: CALLVALUE 000008c6: DUP1 000008c7: ISZERO 000008c8: PUSH2 0x08d0 000008cb: JUMPI 000008cc: PUSH1 0x00 000008ce: DUP1 000008cf: REVERT 000008d0: JUMPDEST 000008d1: POP 000008d2: PUSH2 0x08ef 000008d5: PUSH1 0x04 000008d7: DUP1 000008d8: CALLDATASIZE 000008d9: SUB 000008da: DUP2 000008db: ADD 000008dc: SWAP1 000008dd: DUP1 000008de: DUP1 000008df: CALLDATALOAD 000008e0: SWAP1 000008e1: PUSH1 0x20 000008e3: ADD 000008e4: SWAP1 000008e5: SWAP3 000008e6: SWAP2 000008e7: SWAP1 000008e8: POP 000008e9: POP 000008ea: POP 000008eb: PUSH2 0x2791 000008ee: JUMP 000008ef: JUMPDEST 000008f0: PUSH1 0x40 000008f2: MLOAD 000008f3: DUP1 000008f4: DUP3 000008f5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000090a: AND 0000090b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000920: AND 00000921: DUP2 00000922: MSTORE 00000923: PUSH1 0x20 00000925: ADD 00000926: SWAP2 00000927: POP 00000928: POP 00000929: PUSH1 0x40 0000092b: MLOAD 0000092c: DUP1 0000092d: SWAP2 0000092e: SUB 0000092f: SWAP1 00000930: RETURN 00000931: JUMPDEST 00000932: CALLVALUE 00000933: DUP1 00000934: ISZERO 00000935: PUSH2 0x093d 00000938: JUMPI 00000939: PUSH1 0x00 0000093b: DUP1 0000093c: REVERT 0000093d: JUMPDEST 0000093e: POP 0000093f: PUSH2 0x0946 00000942: PUSH2 0x280a 00000945: JUMP 00000946: JUMPDEST 00000947: PUSH1 0x40 00000949: MLOAD 0000094a: DUP1 0000094b: DUP3 0000094c: DUP2 0000094d: MSTORE 0000094e: PUSH1 0x20 00000950: ADD 00000951: SWAP2 00000952: POP 00000953: POP 00000954: PUSH1 0x40 00000956: MLOAD 00000957: DUP1 00000958: SWAP2 00000959: SUB 0000095a: SWAP1 0000095b: RETURN 0000095c: JUMPDEST 0000095d: CALLVALUE 0000095e: DUP1 0000095f: ISZERO 00000960: PUSH2 0x0968 00000963: JUMPI 00000964: PUSH1 0x00 00000966: DUP1 00000967: REVERT 00000968: JUMPDEST 00000969: POP 0000096a: PUSH2 0x099d 0000096d: PUSH1 0x04 0000096f: DUP1 00000970: CALLDATASIZE 00000971: SUB 00000972: DUP2 00000973: ADD 00000974: SWAP1 00000975: DUP1 00000976: DUP1 00000977: CALLDATALOAD 00000978: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000098d: AND 0000098e: SWAP1 0000098f: PUSH1 0x20 00000991: ADD 00000992: SWAP1 00000993: SWAP3 00000994: SWAP2 00000995: SWAP1 00000996: POP 00000997: POP 00000998: POP 00000999: PUSH2 0x2816 0000099c: JUMP 0000099d: JUMPDEST 0000099e: PUSH1 0x40 000009a0: MLOAD 000009a1: DUP1 000009a2: DUP3 000009a3: DUP2 000009a4: MSTORE 000009a5: PUSH1 0x20 000009a7: ADD 000009a8: SWAP2 000009a9: POP 000009aa: POP 000009ab: PUSH1 0x40 000009ad: MLOAD 000009ae: DUP1 000009af: SWAP2 000009b0: SUB 000009b1: SWAP1 000009b2: RETURN 000009b3: JUMPDEST 000009b4: CALLVALUE 000009b5: DUP1 000009b6: ISZERO 000009b7: PUSH2 0x09bf 000009ba: JUMPI 000009bb: PUSH1 0x00 000009bd: DUP1 000009be: REVERT 000009bf: JUMPDEST 000009c0: POP 000009c1: PUSH2 0x09c8 000009c4: PUSH2 0x285f 000009c7: JUMP 000009c8: JUMPDEST 000009c9: PUSH1 0x40 000009cb: MLOAD 000009cc: DUP1 000009cd: DUP3 000009ce: DUP2 000009cf: MSTORE 000009d0: PUSH1 0x20 000009d2: ADD 000009d3: SWAP2 000009d4: POP 000009d5: POP 000009d6: PUSH1 0x40 000009d8: MLOAD 000009d9: DUP1 000009da: SWAP2 000009db: SUB 000009dc: SWAP1 000009dd: RETURN 000009de: JUMPDEST 000009df: CALLVALUE 000009e0: DUP1 000009e1: ISZERO 000009e2: PUSH2 0x09ea 000009e5: JUMPI 000009e6: PUSH1 0x00 000009e8: DUP1 000009e9: REVERT 000009ea: JUMPDEST 000009eb: POP 000009ec: PUSH2 0x0a09 000009ef: PUSH1 0x04 000009f1: DUP1 000009f2: CALLDATASIZE 000009f3: SUB 000009f4: DUP2 000009f5: ADD 000009f6: SWAP1 000009f7: DUP1 000009f8: DUP1 000009f9: CALLDATALOAD 000009fa: SWAP1 000009fb: PUSH1 0x20 000009fd: ADD 000009fe: SWAP1 000009ff: SWAP3 00000a00: SWAP2 00000a01: SWAP1 00000a02: POP 00000a03: POP 00000a04: POP 00000a05: PUSH2 0x286c 00000a08: JUMP 00000a09: JUMPDEST 00000a0a: STOP 00000a0b: JUMPDEST 00000a0c: CALLVALUE 00000a0d: DUP1 00000a0e: ISZERO 00000a0f: PUSH2 0x0a17 00000a12: JUMPI 00000a13: PUSH1 0x00 00000a15: DUP1 00000a16: REVERT 00000a17: JUMPDEST 00000a18: POP 00000a19: PUSH2 0x0a20 00000a1c: PUSH2 0x2932 00000a1f: JUMP 00000a20: JUMPDEST 00000a21: STOP 00000a22: JUMPDEST 00000a23: CALLVALUE 00000a24: DUP1 00000a25: ISZERO 00000a26: PUSH2 0x0a2e 00000a29: JUMPI 00000a2a: PUSH1 0x00 00000a2c: DUP1 00000a2d: REVERT 00000a2e: JUMPDEST 00000a2f: POP 00000a30: PUSH2 0x0a63 00000a33: PUSH1 0x04 00000a35: DUP1 00000a36: CALLDATASIZE 00000a37: SUB 00000a38: DUP2 00000a39: ADD 00000a3a: SWAP1 00000a3b: DUP1 00000a3c: DUP1 00000a3d: CALLDATALOAD 00000a3e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a53: AND 00000a54: SWAP1 00000a55: PUSH1 0x20 00000a57: ADD 00000a58: SWAP1 00000a59: SWAP3 00000a5a: SWAP2 00000a5b: SWAP1 00000a5c: POP 00000a5d: POP 00000a5e: POP 00000a5f: PUSH2 0x29f2 00000a62: JUMP 00000a63: JUMPDEST 00000a64: PUSH1 0x40 00000a66: MLOAD 00000a67: DUP1 00000a68: DUP1 00000a69: PUSH1 0x20 00000a6b: ADD 00000a6c: DUP3 00000a6d: DUP2 00000a6e: SUB 00000a6f: DUP3 00000a70: MSTORE 00000a71: DUP4 00000a72: DUP2 00000a73: DUP2 00000a74: MLOAD 00000a75: DUP2 00000a76: MSTORE 00000a77: PUSH1 0x20 00000a79: ADD 00000a7a: SWAP2 00000a7b: POP 00000a7c: DUP1 00000a7d: MLOAD 00000a7e: SWAP1 00000a7f: PUSH1 0x20 00000a81: ADD 00000a82: SWAP1 00000a83: PUSH1 0x20 00000a85: MUL 00000a86: DUP1 00000a87: DUP4 00000a88: DUP4 00000a89: PUSH1 0x00 00000a8b: JUMPDEST 00000a8c: DUP4 00000a8d: DUP2 00000a8e: LT 00000a8f: ISZERO 00000a90: PUSH2 0x0aa6 00000a93: JUMPI 00000a94: DUP1 00000a95: DUP3 00000a96: ADD 00000a97: MLOAD 00000a98: DUP2 00000a99: DUP5 00000a9a: ADD 00000a9b: MSTORE 00000a9c: PUSH1 0x20 00000a9e: DUP2 00000a9f: ADD 00000aa0: SWAP1 00000aa1: POP 00000aa2: PUSH2 0x0a8b 00000aa5: JUMP 00000aa6: JUMPDEST 00000aa7: POP 00000aa8: POP 00000aa9: POP 00000aaa: POP 00000aab: SWAP1 00000aac: POP 00000aad: ADD 00000aae: SWAP3 00000aaf: POP 00000ab0: POP 00000ab1: POP 00000ab2: PUSH1 0x40 00000ab4: MLOAD 00000ab5: DUP1 00000ab6: SWAP2 00000ab7: SUB 00000ab8: SWAP1 00000ab9: RETURN 00000aba: JUMPDEST 00000abb: CALLVALUE 00000abc: DUP1 00000abd: ISZERO 00000abe: PUSH2 0x0ac6 00000ac1: JUMPI 00000ac2: PUSH1 0x00 00000ac4: DUP1 00000ac5: REVERT 00000ac6: JUMPDEST 00000ac7: POP 00000ac8: PUSH2 0x0ae5 00000acb: PUSH1 0x04 00000acd: DUP1 00000ace: CALLDATASIZE 00000acf: SUB 00000ad0: DUP2 00000ad1: ADD 00000ad2: SWAP1 00000ad3: DUP1 00000ad4: DUP1 00000ad5: CALLDATALOAD 00000ad6: SWAP1 00000ad7: PUSH1 0x20 00000ad9: ADD 00000ada: SWAP1 00000adb: SWAP3 00000adc: SWAP2 00000add: SWAP1 00000ade: POP 00000adf: POP 00000ae0: POP 00000ae1: PUSH2 0x2b3a 00000ae4: JUMP 00000ae5: JUMPDEST 00000ae6: PUSH1 0x40 00000ae8: MLOAD 00000ae9: DUP1 00000aea: DUP3 00000aeb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b00: AND 00000b01: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b16: AND 00000b17: DUP2 00000b18: MSTORE 00000b19: PUSH1 0x20 00000b1b: ADD 00000b1c: SWAP2 00000b1d: POP 00000b1e: POP 00000b1f: PUSH1 0x40 00000b21: MLOAD 00000b22: DUP1 00000b23: SWAP2 00000b24: SUB 00000b25: SWAP1 00000b26: RETURN 00000b27: JUMPDEST 00000b28: CALLVALUE 00000b29: DUP1 00000b2a: ISZERO 00000b2b: PUSH2 0x0b33 00000b2e: JUMPI 00000b2f: PUSH1 0x00 00000b31: DUP1 00000b32: REVERT 00000b33: JUMPDEST 00000b34: POP 00000b35: PUSH2 0x0b68 00000b38: PUSH1 0x04 00000b3a: DUP1 00000b3b: CALLDATASIZE 00000b3c: SUB 00000b3d: DUP2 00000b3e: ADD 00000b3f: SWAP1 00000b40: DUP1 00000b41: DUP1 00000b42: CALLDATALOAD 00000b43: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b58: AND 00000b59: SWAP1 00000b5a: PUSH1 0x20 00000b5c: ADD 00000b5d: SWAP1 00000b5e: SWAP3 00000b5f: SWAP2 00000b60: SWAP1 00000b61: POP 00000b62: POP 00000b63: POP 00000b64: PUSH2 0x2b6d 00000b67: JUMP 00000b68: JUMPDEST 00000b69: PUSH1 0x40 00000b6b: MLOAD 00000b6c: DUP1 00000b6d: DUP1 00000b6e: PUSH1 0x20 00000b70: ADD 00000b71: DUP3 00000b72: DUP2 00000b73: SUB 00000b74: DUP3 00000b75: MSTORE 00000b76: DUP4 00000b77: DUP2 00000b78: DUP2 00000b79: MLOAD 00000b7a: DUP2 00000b7b: MSTORE 00000b7c: PUSH1 0x20 00000b7e: ADD 00000b7f: SWAP2 00000b80: POP 00000b81: DUP1 00000b82: MLOAD 00000b83: SWAP1 00000b84: PUSH1 0x20 00000b86: ADD 00000b87: SWAP1 00000b88: PUSH1 0x20 00000b8a: MUL 00000b8b: DUP1 00000b8c: DUP4 00000b8d: DUP4 00000b8e: PUSH1 0x00 00000b90: JUMPDEST 00000b91: DUP4 00000b92: DUP2 00000b93: LT 00000b94: ISZERO 00000b95: PUSH2 0x0bab 00000b98: JUMPI 00000b99: DUP1 00000b9a: DUP3 00000b9b: ADD 00000b9c: MLOAD 00000b9d: DUP2 00000b9e: DUP5 00000b9f: ADD 00000ba0: MSTORE 00000ba1: PUSH1 0x20 00000ba3: DUP2 00000ba4: ADD 00000ba5: SWAP1 00000ba6: POP 00000ba7: PUSH2 0x0b90 00000baa: JUMP 00000bab: JUMPDEST 00000bac: POP 00000bad: POP 00000bae: POP 00000baf: POP 00000bb0: SWAP1 00000bb1: POP 00000bb2: ADD 00000bb3: SWAP3 00000bb4: POP 00000bb5: POP 00000bb6: POP 00000bb7: PUSH1 0x40 00000bb9: MLOAD 00000bba: DUP1 00000bbb: SWAP2 00000bbc: SUB 00000bbd: SWAP1 00000bbe: RETURN 00000bbf: JUMPDEST 00000bc0: CALLVALUE 00000bc1: DUP1 00000bc2: ISZERO 00000bc3: PUSH2 0x0bcb 00000bc6: JUMPI 00000bc7: PUSH1 0x00 00000bc9: DUP1 00000bca: REVERT 00000bcb: JUMPDEST 00000bcc: POP 00000bcd: PUSH2 0x0bd4 00000bd0: PUSH2 0x2e22 00000bd3: JUMP 00000bd4: JUMPDEST 00000bd5: PUSH1 0x40 00000bd7: MLOAD 00000bd8: DUP1 00000bd9: DUP3 00000bda: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bef: AND 00000bf0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c05: AND 00000c06: DUP2 00000c07: MSTORE 00000c08: PUSH1 0x20 00000c0a: ADD 00000c0b: SWAP2 00000c0c: POP 00000c0d: POP 00000c0e: PUSH1 0x40 00000c10: MLOAD 00000c11: DUP1 00000c12: SWAP2 00000c13: SUB 00000c14: SWAP1 00000c15: RETURN 00000c16: JUMPDEST 00000c17: CALLVALUE 00000c18: DUP1 00000c19: ISZERO 00000c1a: PUSH2 0x0c22 00000c1d: JUMPI 00000c1e: PUSH1 0x00 00000c20: DUP1 00000c21: REVERT 00000c22: JUMPDEST 00000c23: POP 00000c24: PUSH2 0x0c2b 00000c27: PUSH2 0x2e47 00000c2a: JUMP 00000c2b: JUMPDEST 00000c2c: PUSH1 0x40 00000c2e: MLOAD 00000c2f: DUP1 00000c30: DUP1 00000c31: PUSH1 0x20 00000c33: ADD 00000c34: DUP3 00000c35: DUP2 00000c36: SUB 00000c37: DUP3 00000c38: MSTORE 00000c39: DUP4 00000c3a: DUP2 00000c3b: DUP2 00000c3c: MLOAD 00000c3d: DUP2 00000c3e: MSTORE 00000c3f: PUSH1 0x20 00000c41: ADD 00000c42: SWAP2 00000c43: POP 00000c44: DUP1 00000c45: MLOAD 00000c46: SWAP1 00000c47: PUSH1 0x20 00000c49: ADD 00000c4a: SWAP1 00000c4b: DUP1 00000c4c: DUP4 00000c4d: DUP4 00000c4e: PUSH1 0x00 00000c50: JUMPDEST 00000c51: DUP4 00000c52: DUP2 00000c53: LT 00000c54: ISZERO 00000c55: PUSH2 0x0c6b 00000c58: JUMPI 00000c59: DUP1 00000c5a: DUP3 00000c5b: ADD 00000c5c: MLOAD 00000c5d: DUP2 00000c5e: DUP5 00000c5f: ADD 00000c60: MSTORE 00000c61: PUSH1 0x20 00000c63: DUP2 00000c64: ADD 00000c65: SWAP1 00000c66: POP 00000c67: PUSH2 0x0c50 00000c6a: JUMP 00000c6b: JUMPDEST 00000c6c: POP 00000c6d: POP 00000c6e: POP 00000c6f: POP 00000c70: SWAP1 00000c71: POP 00000c72: SWAP1 00000c73: DUP2 00000c74: ADD 00000c75: SWAP1 00000c76: PUSH1 0x1f 00000c78: AND 00000c79: DUP1 00000c7a: ISZERO 00000c7b: PUSH2 0x0c98 00000c7e: JUMPI 00000c7f: DUP1 00000c80: DUP3 00000c81: SUB 00000c82: DUP1 00000c83: MLOAD 00000c84: PUSH1 0x01 00000c86: DUP4 00000c87: PUSH1 0x20 00000c89: SUB 00000c8a: PUSH2 0x0100 00000c8d: EXP 00000c8e: SUB 00000c8f: NOT 00000c90: AND 00000c91: DUP2 00000c92: MSTORE 00000c93: PUSH1 0x20 00000c95: ADD 00000c96: SWAP2 00000c97: POP 00000c98: JUMPDEST 00000c99: POP 00000c9a: SWAP3 00000c9b: POP 00000c9c: POP 00000c9d: POP 00000c9e: PUSH1 0x40 00000ca0: MLOAD 00000ca1: DUP1 00000ca2: SWAP2 00000ca3: SUB 00000ca4: SWAP1 00000ca5: RETURN 00000ca6: JUMPDEST 00000ca7: CALLVALUE 00000ca8: DUP1 00000ca9: ISZERO 00000caa: PUSH2 0x0cb2 00000cad: JUMPI 00000cae: PUSH1 0x00 00000cb0: DUP1 00000cb1: REVERT 00000cb2: JUMPDEST 00000cb3: POP 00000cb4: PUSH2 0x0cbb 00000cb7: PUSH2 0x2e84 00000cba: JUMP 00000cbb: JUMPDEST 00000cbc: PUSH1 0x40 00000cbe: MLOAD 00000cbf: DUP1 00000cc0: DUP3 00000cc1: DUP2 00000cc2: MSTORE 00000cc3: PUSH1 0x20 00000cc5: ADD 00000cc6: SWAP2 00000cc7: POP 00000cc8: POP 00000cc9: PUSH1 0x40 00000ccb: MLOAD 00000ccc: DUP1 00000ccd: SWAP2 00000cce: SUB 00000ccf: SWAP1 00000cd0: RETURN 00000cd1: JUMPDEST 00000cd2: CALLVALUE 00000cd3: DUP1 00000cd4: ISZERO 00000cd5: PUSH2 0x0cdd 00000cd8: JUMPI 00000cd9: PUSH1 0x00 00000cdb: DUP1 00000cdc: REVERT 00000cdd: JUMPDEST 00000cde: POP 00000cdf: PUSH2 0x0d12 00000ce2: PUSH1 0x04 00000ce4: DUP1 00000ce5: CALLDATASIZE 00000ce6: SUB 00000ce7: DUP2 00000ce8: ADD 00000ce9: SWAP1 00000cea: DUP1 00000ceb: DUP1 00000cec: CALLDATALOAD 00000ced: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d02: AND 00000d03: SWAP1 00000d04: PUSH1 0x20 00000d06: ADD 00000d07: SWAP1 00000d08: SWAP3 00000d09: SWAP2 00000d0a: SWAP1 00000d0b: POP 00000d0c: POP 00000d0d: POP 00000d0e: PUSH2 0x2e8a 00000d11: JUMP 00000d12: JUMPDEST 00000d13: PUSH1 0x40 00000d15: MLOAD 00000d16: DUP1 00000d17: DUP1 00000d18: PUSH1 0x20 00000d1a: ADD 00000d1b: DUP3 00000d1c: DUP2 00000d1d: SUB 00000d1e: DUP3 00000d1f: MSTORE 00000d20: DUP4 00000d21: DUP2 00000d22: DUP2 00000d23: MLOAD 00000d24: DUP2 00000d25: MSTORE 00000d26: PUSH1 0x20 00000d28: ADD 00000d29: SWAP2 00000d2a: POP 00000d2b: DUP1 00000d2c: MLOAD 00000d2d: SWAP1 00000d2e: PUSH1 0x20 00000d30: ADD 00000d31: SWAP1 00000d32: PUSH1 0x20 00000d34: MUL 00000d35: DUP1 00000d36: DUP4 00000d37: DUP4 00000d38: PUSH1 0x00 00000d3a: JUMPDEST 00000d3b: DUP4 00000d3c: DUP2 00000d3d: LT 00000d3e: ISZERO 00000d3f: PUSH2 0x0d55 00000d42: JUMPI 00000d43: DUP1 00000d44: DUP3 00000d45: ADD 00000d46: MLOAD 00000d47: DUP2 00000d48: DUP5 00000d49: ADD 00000d4a: MSTORE 00000d4b: PUSH1 0x20 00000d4d: DUP2 00000d4e: ADD 00000d4f: SWAP1 00000d50: POP 00000d51: PUSH2 0x0d3a 00000d54: JUMP 00000d55: JUMPDEST 00000d56: POP 00000d57: POP 00000d58: POP 00000d59: POP 00000d5a: SWAP1 00000d5b: POP 00000d5c: ADD 00000d5d: SWAP3 00000d5e: POP 00000d5f: POP 00000d60: POP 00000d61: PUSH1 0x40 00000d63: MLOAD 00000d64: DUP1 00000d65: SWAP2 00000d66: SUB 00000d67: SWAP1 00000d68: RETURN 00000d69: JUMPDEST 00000d6a: CALLVALUE 00000d6b: DUP1 00000d6c: ISZERO 00000d6d: PUSH2 0x0d75 00000d70: JUMPI 00000d71: PUSH1 0x00 00000d73: DUP1 00000d74: REVERT 00000d75: JUMPDEST 00000d76: POP 00000d77: PUSH2 0x0db4 00000d7a: PUSH1 0x04 00000d7c: DUP1 00000d7d: CALLDATASIZE 00000d7e: SUB 00000d7f: DUP2 00000d80: ADD 00000d81: SWAP1 00000d82: DUP1 00000d83: DUP1 00000d84: CALLDATALOAD 00000d85: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d9a: AND 00000d9b: SWAP1 00000d9c: PUSH1 0x20 00000d9e: ADD 00000d9f: SWAP1 00000da0: SWAP3 00000da1: SWAP2 00000da2: SWAP1 00000da3: DUP1 00000da4: CALLDATALOAD 00000da5: SWAP1 00000da6: PUSH1 0x20 00000da8: ADD 00000da9: SWAP1 00000daa: SWAP3 00000dab: SWAP2 00000dac: SWAP1 00000dad: POP 00000dae: POP 00000daf: POP 00000db0: PUSH2 0x3067 00000db3: JUMP 00000db4: JUMPDEST 00000db5: STOP 00000db6: JUMPDEST 00000db7: CALLVALUE 00000db8: DUP1 00000db9: ISZERO 00000dba: PUSH2 0x0dc2 00000dbd: JUMPI 00000dbe: PUSH1 0x00 00000dc0: DUP1 00000dc1: REVERT 00000dc2: JUMPDEST 00000dc3: POP 00000dc4: PUSH2 0x0dcb 00000dc7: PUSH2 0x30dd 00000dca: JUMP 00000dcb: JUMPDEST 00000dcc: PUSH1 0x40 00000dce: MLOAD 00000dcf: DUP1 00000dd0: DUP3 00000dd1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000de6: AND 00000de7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000dfc: AND 00000dfd: DUP2 00000dfe: MSTORE 00000dff: PUSH1 0x20 00000e01: ADD 00000e02: SWAP2 00000e03: POP 00000e04: POP 00000e05: PUSH1 0x40 00000e07: MLOAD 00000e08: DUP1 00000e09: SWAP2 00000e0a: SUB 00000e0b: SWAP1 00000e0c: RETURN 00000e0d: JUMPDEST 00000e0e: CALLVALUE 00000e0f: DUP1 00000e10: ISZERO 00000e11: PUSH2 0x0e19 00000e14: JUMPI 00000e15: PUSH1 0x00 00000e17: DUP1 00000e18: REVERT 00000e19: JUMPDEST 00000e1a: POP 00000e1b: PUSH2 0x0e22 00000e1e: PUSH2 0x3103 00000e21: JUMP 00000e22: JUMPDEST 00000e23: PUSH1 0x40 00000e25: MLOAD 00000e26: DUP1 00000e27: DUP3 00000e28: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e3d: AND 00000e3e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e53: AND 00000e54: DUP2 00000e55: MSTORE 00000e56: PUSH1 0x20 00000e58: ADD 00000e59: SWAP2 00000e5a: POP 00000e5b: POP 00000e5c: PUSH1 0x40 00000e5e: MLOAD 00000e5f: DUP1 00000e60: SWAP2 00000e61: SUB 00000e62: SWAP1 00000e63: RETURN 00000e64: JUMPDEST 00000e65: CALLVALUE 00000e66: DUP1 00000e67: ISZERO 00000e68: PUSH2 0x0e70 00000e6b: JUMPI 00000e6c: PUSH1 0x00 00000e6e: DUP1 00000e6f: REVERT 00000e70: JUMPDEST 00000e71: POP 00000e72: PUSH2 0x0e8f 00000e75: PUSH1 0x04 00000e77: DUP1 00000e78: CALLDATASIZE 00000e79: SUB 00000e7a: DUP2 00000e7b: ADD 00000e7c: SWAP1 00000e7d: DUP1 00000e7e: DUP1 00000e7f: CALLDATALOAD 00000e80: SWAP1 00000e81: PUSH1 0x20 00000e83: ADD 00000e84: SWAP1 00000e85: SWAP3 00000e86: SWAP2 00000e87: SWAP1 00000e88: POP 00000e89: POP 00000e8a: POP 00000e8b: PUSH2 0x3129 00000e8e: JUMP 00000e8f: JUMPDEST 00000e90: PUSH1 0x40 00000e92: MLOAD 00000e93: DUP1 00000e94: DUP8 00000e95: PUSH1 0x0a 00000e97: DUP2 00000e98: GT 00000e99: ISZERO 00000e9a: PUSH2 0x0e9f 00000e9d: JUMPI 00000e9e: INVALID 00000e9f: JUMPDEST 00000ea0: PUSH1 0xff 00000ea2: AND 00000ea3: DUP2 00000ea4: MSTORE 00000ea5: PUSH1 0x20 00000ea7: ADD 00000ea8: DUP7 00000ea9: PUSH1 0x15 00000eab: DUP2 00000eac: GT 00000ead: ISZERO 00000eae: PUSH2 0x0eb3 00000eb1: JUMPI 00000eb2: INVALID 00000eb3: JUMPDEST 00000eb4: PUSH1 0xff 00000eb6: AND 00000eb7: DUP2 00000eb8: MSTORE 00000eb9: PUSH1 0x20 00000ebb: ADD 00000ebc: DUP6 00000ebd: PUSH1 0x03 00000ebf: DUP2 00000ec0: GT 00000ec1: ISZERO 00000ec2: PUSH2 0x0ec7 00000ec5: JUMPI 00000ec6: INVALID 00000ec7: JUMPDEST 00000ec8: PUSH1 0xff 00000eca: AND 00000ecb: DUP2 00000ecc: MSTORE 00000ecd: PUSH1 0x20 00000ecf: ADD 00000ed0: DUP5 00000ed1: PUSH1 0x06 00000ed3: DUP2 00000ed4: GT 00000ed5: ISZERO 00000ed6: PUSH2 0x0edb 00000ed9: JUMPI 00000eda: INVALID 00000edb: JUMPDEST 00000edc: PUSH1 0xff 00000ede: AND 00000edf: DUP2 00000ee0: MSTORE 00000ee1: PUSH1 0x20 00000ee3: ADD 00000ee4: DUP4 00000ee5: DUP2 00000ee6: MSTORE 00000ee7: PUSH1 0x20 00000ee9: ADD 00000eea: DUP3 00000eeb: DUP2 00000eec: MSTORE 00000eed: PUSH1 0x20 00000eef: ADD 00000ef0: SWAP7 00000ef1: POP 00000ef2: POP 00000ef3: POP 00000ef4: POP 00000ef5: POP 00000ef6: POP 00000ef7: POP 00000ef8: PUSH1 0x40 00000efa: MLOAD 00000efb: DUP1 00000efc: SWAP2 00000efd: SUB 00000efe: SWAP1 00000eff: RETURN 00000f00: JUMPDEST 00000f01: CALLVALUE 00000f02: DUP1 00000f03: ISZERO 00000f04: PUSH2 0x0f0c 00000f07: JUMPI 00000f08: PUSH1 0x00 00000f0a: DUP1 00000f0b: REVERT 00000f0c: JUMPDEST 00000f0d: POP 00000f0e: PUSH2 0x0f2b 00000f11: PUSH1 0x04 00000f13: DUP1 00000f14: CALLDATASIZE 00000f15: SUB 00000f16: DUP2 00000f17: ADD 00000f18: SWAP1 00000f19: DUP1 00000f1a: DUP1 00000f1b: CALLDATALOAD 00000f1c: SWAP1 00000f1d: PUSH1 0x20 00000f1f: ADD 00000f20: SWAP1 00000f21: SWAP3 00000f22: SWAP2 00000f23: SWAP1 00000f24: POP 00000f25: POP 00000f26: POP 00000f27: PUSH2 0x31a8 00000f2a: JUMP 00000f2b: JUMPDEST 00000f2c: PUSH1 0x40 00000f2e: MLOAD 00000f2f: DUP1 00000f30: DUP1 00000f31: PUSH1 0x20 00000f33: ADD 00000f34: DUP3 00000f35: DUP2 00000f36: SUB 00000f37: DUP3 00000f38: MSTORE 00000f39: DUP4 00000f3a: DUP2 00000f3b: DUP2 00000f3c: MLOAD 00000f3d: DUP2 00000f3e: MSTORE 00000f3f: PUSH1 0x20 00000f41: ADD 00000f42: SWAP2 00000f43: POP 00000f44: DUP1 00000f45: MLOAD 00000f46: SWAP1 00000f47: PUSH1 0x20 00000f49: ADD 00000f4a: SWAP1 00000f4b: PUSH1 0x20 00000f4d: MUL 00000f4e: DUP1 00000f4f: DUP4 00000f50: DUP4 00000f51: PUSH1 0x00 00000f53: JUMPDEST 00000f54: DUP4 00000f55: DUP2 00000f56: LT 00000f57: ISZERO 00000f58: PUSH2 0x0f6e 00000f5b: JUMPI 00000f5c: DUP1 00000f5d: DUP3 00000f5e: ADD 00000f5f: MLOAD 00000f60: DUP2 00000f61: DUP5 00000f62: ADD 00000f63: MSTORE 00000f64: PUSH1 0x20 00000f66: DUP2 00000f67: ADD 00000f68: SWAP1 00000f69: POP 00000f6a: PUSH2 0x0f53 00000f6d: JUMP 00000f6e: JUMPDEST 00000f6f: POP 00000f70: POP 00000f71: POP 00000f72: POP 00000f73: SWAP1 00000f74: POP 00000f75: ADD 00000f76: SWAP3 00000f77: POP 00000f78: POP 00000f79: POP 00000f7a: PUSH1 0x40 00000f7c: MLOAD 00000f7d: DUP1 00000f7e: SWAP2 00000f7f: SUB 00000f80: SWAP1 00000f81: RETURN 00000f82: JUMPDEST 00000f83: CALLVALUE 00000f84: DUP1 00000f85: ISZERO 00000f86: PUSH2 0x0f8e 00000f89: JUMPI 00000f8a: PUSH1 0x00 00000f8c: DUP1 00000f8d: REVERT 00000f8e: JUMPDEST 00000f8f: POP 00000f90: PUSH2 0x0fc3 00000f93: PUSH1 0x04 00000f95: DUP1 00000f96: CALLDATASIZE 00000f97: SUB 00000f98: DUP2 00000f99: ADD 00000f9a: SWAP1 00000f9b: DUP1 00000f9c: DUP1 00000f9d: CALLDATALOAD 00000f9e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fb3: AND 00000fb4: SWAP1 00000fb5: PUSH1 0x20 00000fb7: ADD 00000fb8: SWAP1 00000fb9: SWAP3 00000fba: SWAP2 00000fbb: SWAP1 00000fbc: POP 00000fbd: POP 00000fbe: POP 00000fbf: PUSH2 0x3377 00000fc2: JUMP 00000fc3: JUMPDEST 00000fc4: PUSH1 0x40 00000fc6: MLOAD 00000fc7: DUP1 00000fc8: DUP3 00000fc9: DUP2 00000fca: MSTORE 00000fcb: PUSH1 0x20 00000fcd: ADD 00000fce: SWAP2 00000fcf: POP 00000fd0: POP 00000fd1: PUSH1 0x40 00000fd3: MLOAD 00000fd4: DUP1 00000fd5: SWAP2 00000fd6: SUB 00000fd7: SWAP1 00000fd8: RETURN 00000fd9: JUMPDEST 00000fda: CALLVALUE 00000fdb: DUP1 00000fdc: ISZERO 00000fdd: PUSH2 0x0fe5 00000fe0: JUMPI 00000fe1: PUSH1 0x00 00000fe3: DUP1 00000fe4: REVERT 00000fe5: JUMPDEST 00000fe6: POP 00000fe7: PUSH2 0x0fee 00000fea: PUSH2 0x338f 00000fed: JUMP 00000fee: JUMPDEST 00000fef: PUSH1 0x40 00000ff1: MLOAD 00000ff2: DUP1 00000ff3: DUP3 00000ff4: DUP2 00000ff5: MSTORE 00000ff6: PUSH1 0x20 00000ff8: ADD 00000ff9: SWAP2 00000ffa: POP 00000ffb: POP 00000ffc: PUSH1 0x40 00000ffe: MLOAD 00000fff: DUP1 00001000: SWAP2 00001001: SUB 00001002: SWAP1 00001003: RETURN 00001004: JUMPDEST 00001005: CALLVALUE 00001006: DUP1 00001007: ISZERO 00001008: PUSH2 0x1010 0000100b: JUMPI 0000100c: PUSH1 0x00 0000100e: DUP1 0000100f: REVERT 00001010: JUMPDEST 00001011: POP 00001012: PUSH2 0x1045 00001015: PUSH1 0x04 00001017: DUP1 00001018: CALLDATASIZE 00001019: SUB 0000101a: DUP2 0000101b: ADD 0000101c: SWAP1 0000101d: DUP1 0000101e: DUP1 0000101f: CALLDATALOAD 00001020: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001035: AND 00001036: SWAP1 00001037: PUSH1 0x20 00001039: ADD 0000103a: SWAP1 0000103b: SWAP3 0000103c: SWAP2 0000103d: SWAP1 0000103e: POP 0000103f: POP 00001040: POP 00001041: PUSH2 0x3395 00001044: JUMP 00001045: JUMPDEST 00001046: STOP 00001047: JUMPDEST 00001048: CALLVALUE 00001049: DUP1 0000104a: ISZERO 0000104b: PUSH2 0x1053 0000104e: JUMPI 0000104f: PUSH1 0x00 00001051: DUP1 00001052: REVERT 00001053: JUMPDEST 00001054: POP 00001055: PUSH2 0x1088 00001058: PUSH1 0x04 0000105a: DUP1 0000105b: CALLDATASIZE 0000105c: SUB 0000105d: DUP2 0000105e: ADD 0000105f: SWAP1 00001060: DUP1 00001061: DUP1 00001062: CALLDATALOAD 00001063: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001078: AND 00001079: SWAP1 0000107a: PUSH1 0x20 0000107c: ADD 0000107d: SWAP1 0000107e: SWAP3 0000107f: SWAP2 00001080: SWAP1 00001081: POP 00001082: POP 00001083: POP 00001084: PUSH2 0x3434 00001087: JUMP 00001088: JUMPDEST 00001089: PUSH1 0x40 0000108b: MLOAD 0000108c: DUP1 0000108d: DUP3 0000108e: DUP2 0000108f: MSTORE 00001090: PUSH1 0x20 00001092: ADD 00001093: SWAP2 00001094: POP 00001095: POP 00001096: PUSH1 0x40 00001098: MLOAD 00001099: DUP1 0000109a: SWAP2 0000109b: SUB 0000109c: SWAP1 0000109d: RETURN 0000109e: JUMPDEST 0000109f: PUSH2 0x10d2 000010a2: PUSH1 0x04 000010a4: DUP1 000010a5: CALLDATASIZE 000010a6: SUB 000010a7: DUP2 000010a8: ADD 000010a9: SWAP1 000010aa: DUP1 000010ab: DUP1 000010ac: CALLDATALOAD 000010ad: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010c2: AND 000010c3: SWAP1 000010c4: PUSH1 0x20 000010c6: ADD 000010c7: SWAP1 000010c8: SWAP3 000010c9: SWAP2 000010ca: SWAP1 000010cb: POP 000010cc: POP 000010cd: POP 000010ce: PUSH2 0x1230 000010d1: JUMP 000010d2: JUMPDEST 000010d3: STOP 000010d4: JUMPDEST 000010d5: CALLVALUE 000010d6: DUP1 000010d7: ISZERO 000010d8: PUSH2 0x10e0 000010db: JUMPI 000010dc: PUSH1 0x00 000010de: DUP1 000010df: REVERT 000010e0: JUMPDEST 000010e1: POP 000010e2: PUSH2 0x113f 000010e5: PUSH1 0x04 000010e7: DUP1 000010e8: CALLDATASIZE 000010e9: SUB 000010ea: DUP2 000010eb: ADD 000010ec: SWAP1 000010ed: DUP1 000010ee: DUP1 000010ef: CALLDATALOAD 000010f0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001105: AND 00001106: SWAP1 00001107: PUSH1 0x20 00001109: ADD 0000110a: SWAP1 0000110b: SWAP3 0000110c: SWAP2 0000110d: SWAP1 0000110e: DUP1 0000110f: CALLDATALOAD 00001110: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001125: AND 00001126: SWAP1 00001127: PUSH1 0x20 00001129: ADD 0000112a: SWAP1 0000112b: SWAP3 0000112c: SWAP2 0000112d: SWAP1 0000112e: DUP1 0000112f: CALLDATALOAD 00001130: SWAP1 00001131: PUSH1 0x20 00001133: ADD 00001134: SWAP1 00001135: SWAP3 00001136: SWAP2 00001137: SWAP1 00001138: POP 00001139: POP 0000113a: POP 0000113b: PUSH2 0x344c 0000113e: JUMP 0000113f: JUMPDEST 00001140: STOP 00001141: JUMPDEST 00001142: CALLVALUE 00001143: DUP1 00001144: ISZERO 00001145: PUSH2 0x114d 00001148: JUMPI 00001149: PUSH1 0x00 0000114b: DUP1 0000114c: REVERT 0000114d: JUMPDEST 0000114e: POP 0000114f: PUSH2 0x1156 00001152: PUSH2 0x35bc 00001155: JUMP 00001156: JUMPDEST 00001157: PUSH1 0x40 00001159: MLOAD 0000115a: DUP1 0000115b: DUP3 0000115c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001171: AND 00001172: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001187: AND 00001188: DUP2 00001189: MSTORE 0000118a: PUSH1 0x20 0000118c: ADD 0000118d: SWAP2 0000118e: POP 0000118f: POP 00001190: PUSH1 0x40 00001192: MLOAD 00001193: DUP1 00001194: SWAP2 00001195: SUB 00001196: SWAP1 00001197: RETURN 00001198: JUMPDEST 00001199: CALLVALUE 0000119a: DUP1 0000119b: ISZERO 0000119c: PUSH2 0x11a4 0000119f: JUMPI 000011a0: PUSH1 0x00 000011a2: DUP1 000011a3: REVERT 000011a4: JUMPDEST 000011a5: POP 000011a6: PUSH2 0x11ad 000011a9: PUSH2 0x35e2 000011ac: JUMP 000011ad: JUMPDEST 000011ae: PUSH1 0x40 000011b0: MLOAD 000011b1: DUP1 000011b2: DUP3 000011b3: DUP2 000011b4: MSTORE 000011b5: PUSH1 0x20 000011b7: ADD 000011b8: SWAP2 000011b9: POP 000011ba: POP 000011bb: PUSH1 0x40 000011bd: MLOAD 000011be: DUP1 000011bf: SWAP2 000011c0: SUB 000011c1: SWAP1 000011c2: RETURN 000011c3: JUMPDEST 000011c4: CALLVALUE 000011c5: DUP1 000011c6: ISZERO 000011c7: PUSH2 0x11cf 000011ca: JUMPI 000011cb: PUSH1 0x00 000011cd: DUP1 000011ce: REVERT 000011cf: JUMPDEST 000011d0: POP 000011d1: PUSH2 0x11ee 000011d4: PUSH1 0x04 000011d6: DUP1 000011d7: CALLDATASIZE 000011d8: SUB 000011d9: DUP2 000011da: ADD 000011db: SWAP1 000011dc: DUP1 000011dd: DUP1 000011de: CALLDATALOAD 000011df: SWAP1 000011e0: PUSH1 0x20 000011e2: ADD 000011e3: SWAP1 000011e4: SWAP3 000011e5: SWAP2 000011e6: SWAP1 000011e7: POP 000011e8: POP 000011e9: POP 000011ea: PUSH2 0x35f0 000011ed: JUMP 000011ee: JUMPDEST 000011ef: PUSH1 0x40 000011f1: MLOAD 000011f2: DUP1 000011f3: DUP3 000011f4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001209: AND 0000120a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000121f: AND 00001220: DUP2 00001221: MSTORE 00001222: PUSH1 0x20 00001224: ADD 00001225: SWAP2 00001226: POP 00001227: POP 00001228: PUSH1 0x40 0000122a: MLOAD 0000122b: DUP1 0000122c: SWAP2 0000122d: SUB 0000122e: SWAP1 0000122f: RETURN 00001230: JUMPDEST 00001231: PUSH1 0x00 00001233: DUP1 00001234: PUSH1 0x00 00001236: PUSH1 0x14 00001238: SWAP1 00001239: SLOAD 0000123a: SWAP1 0000123b: PUSH2 0x0100 0000123e: EXP 0000123f: SWAP1 00001240: DIV 00001241: PUSH1 0xff 00001243: AND 00001244: ISZERO 00001245: ISZERO 00001246: ISZERO 00001247: PUSH2 0x124f 0000124a: JUMPI 0000124b: PUSH1 0x00 0000124d: DUP1 0000124e: REVERT 0000124f: JUMPDEST 00001250: PUSH1 0x00 00001252: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001267: AND 00001268: DUP4 00001269: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000127e: AND 0000127f: EQ 00001280: ISZERO 00001281: ISZERO 00001282: ISZERO 00001283: PUSH2 0x128b 00001286: JUMPI 00001287: PUSH1 0x00 00001289: DUP1 0000128a: REVERT 0000128b: JUMPDEST 0000128c: CALLVALUE 0000128d: SWAP2 0000128e: POP 0000128f: PUSH8 0x016345785d8a0000 00001298: DUP3 00001299: LT 0000129a: ISZERO 0000129b: ISZERO 0000129c: ISZERO 0000129d: PUSH2 0x12a5 000012a0: JUMPI 000012a1: PUSH1 0x00 000012a3: DUP1 000012a4: REVERT 000012a5: JUMPDEST 000012a6: DUP2 000012a7: PUSH1 0x0c 000012a9: PUSH1 0x00 000012ab: DUP3 000012ac: DUP3 000012ad: SLOAD 000012ae: ADD 000012af: SWAP3 000012b0: POP 000012b1: POP 000012b2: DUP2 000012b3: SWAP1 000012b4: SSTORE 000012b5: POP 000012b6: PUSH10 0x0a968163f0a57b400000 000012c1: PUSH1 0x0c 000012c3: SLOAD 000012c4: GT 000012c5: ISZERO 000012c6: ISZERO 000012c7: ISZERO 000012c8: PUSH2 0x12d0 000012cb: JUMPI 000012cc: PUSH1 0x00 000012ce: DUP1 000012cf: REVERT 000012d0: JUMPDEST 000012d1: DUP3 000012d2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012e7: AND 000012e8: PUSH32 0x2499a5330ab0979cc612135e7883ebc3cd5c9f7a8508f042540c34723348f632 00001309: DUP4 0000130a: PUSH1 0x40 0000130c: MLOAD 0000130d: DUP1 0000130e: DUP3 0000130f: DUP2 00001310: MSTORE 00001311: PUSH1 0x20 00001313: ADD 00001314: SWAP2 00001315: POP 00001316: POP 00001317: PUSH1 0x40 00001319: MLOAD 0000131a: DUP1 0000131b: SWAP2 0000131c: SUB 0000131d: SWAP1 0000131e: LOG2 0000131f: PUSH1 0x00 00001321: PUSH1 0x0e 00001323: PUSH1 0x00 00001325: DUP6 00001326: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000133b: AND 0000133c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001351: AND 00001352: DUP2 00001353: MSTORE 00001354: PUSH1 0x20 00001356: ADD 00001357: SWAP1 00001358: DUP2 00001359: MSTORE 0000135a: PUSH1 0x20 0000135c: ADD 0000135d: PUSH1 0x00 0000135f: KECCAK256 00001360: SLOAD 00001361: EQ 00001362: ISZERO 00001363: PUSH2 0x1462 00001366: JUMPI 00001367: PUSH1 0x11 00001369: DUP4 0000136a: SWAP1 0000136b: DUP1 0000136c: PUSH1 0x01 0000136e: DUP2 0000136f: SLOAD 00001370: ADD 00001371: DUP1 00001372: DUP3 00001373: SSTORE 00001374: DUP1 00001375: SWAP2 00001376: POP 00001377: POP 00001378: SWAP1 00001379: PUSH1 0x01 0000137b: DUP3 0000137c: SUB 0000137d: SWAP1 0000137e: PUSH1 0x00 00001380: MSTORE 00001381: PUSH1 0x20 00001383: PUSH1 0x00 00001385: KECCAK256 00001386: ADD 00001387: PUSH1 0x00 00001389: SWAP1 0000138a: SWAP2 0000138b: SWAP3 0000138c: SWAP1 0000138d: SWAP2 0000138e: SWAP1 0000138f: SWAP2 00001390: PUSH2 0x0100 00001393: EXP 00001394: DUP2 00001395: SLOAD 00001396: DUP2 00001397: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013ac: MUL 000013ad: NOT 000013ae: AND 000013af: SWAP1 000013b0: DUP4 000013b1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013c6: AND 000013c7: MUL 000013c8: OR 000013c9: SWAP1 000013ca: SSTORE 000013cb: POP 000013cc: POP 000013cd: DUP2 000013ce: PUSH1 0x0e 000013d0: PUSH1 0x00 000013d2: DUP6 000013d3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013e8: AND 000013e9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013fe: AND 000013ff: DUP2 00001400: MSTORE 00001401: PUSH1 0x20 00001403: ADD 00001404: SWAP1 00001405: DUP2 00001406: MSTORE 00001407: PUSH1 0x20 00001409: ADD 0000140a: PUSH1 0x00 0000140c: KECCAK256 0000140d: PUSH1 0x00 0000140f: DUP3 00001410: DUP3 00001411: SLOAD 00001412: ADD 00001413: SWAP3 00001414: POP 00001415: POP 00001416: DUP2 00001417: SWAP1 00001418: SSTORE 00001419: POP 0000141a: TIMESTAMP 0000141b: PUSH1 0x10 0000141d: PUSH1 0x00 0000141f: DUP6 00001420: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001435: AND 00001436: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000144b: AND 0000144c: DUP2 0000144d: MSTORE 0000144e: PUSH1 0x20 00001450: ADD 00001451: SWAP1 00001452: DUP2 00001453: MSTORE 00001454: PUSH1 0x20 00001456: ADD 00001457: PUSH1 0x00 00001459: KECCAK256 0000145a: DUP2 0000145b: SWAP1 0000145c: SSTORE 0000145d: POP 0000145e: PUSH2 0x1657 00001461: JUMP 00001462: JUMPDEST 00001463: PUSH1 0x0f 00001465: PUSH1 0x00 00001467: DUP5 00001468: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000147d: AND 0000147e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001493: AND 00001494: DUP2 00001495: MSTORE 00001496: PUSH1 0x20 00001498: ADD 00001499: SWAP1 0000149a: DUP2 0000149b: MSTORE 0000149c: PUSH1 0x20 0000149e: ADD 0000149f: PUSH1 0x00 000014a1: KECCAK256 000014a2: PUSH1 0x00 000014a4: SWAP1 000014a5: SLOAD 000014a6: SWAP1 000014a7: PUSH2 0x0100 000014aa: EXP 000014ab: SWAP1 000014ac: DIV 000014ad: PUSH1 0xff 000014af: AND 000014b0: ISZERO 000014b1: ISZERO 000014b2: ISZERO 000014b3: PUSH2 0x14bb 000014b6: JUMPI 000014b7: PUSH1 0x00 000014b9: DUP1 000014ba: REVERT 000014bb: JUMPDEST 000014bc: PUSH1 0x63 000014be: PUSH1 0x0e 000014c0: PUSH1 0x00 000014c2: DUP6 000014c3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014d8: AND 000014d9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014ee: AND 000014ef: DUP2 000014f0: MSTORE 000014f1: PUSH1 0x20 000014f3: ADD 000014f4: SWAP1 000014f5: DUP2 000014f6: MSTORE 000014f7: PUSH1 0x20 000014f9: ADD 000014fa: PUSH1 0x00 000014fc: KECCAK256 000014fd: SLOAD 000014fe: MUL 000014ff: DUP3 00001500: LT 00001501: ISZERO 00001502: ISZERO 00001503: ISZERO 00001504: PUSH2 0x150c 00001507: JUMPI 00001508: PUSH1 0x00 0000150a: DUP1 0000150b: REVERT 0000150c: JUMPDEST 0000150d: PUSH3 0x03f480 00001511: PUSH1 0x10 00001513: PUSH1 0x00 00001515: DUP6 00001516: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000152b: AND 0000152c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001541: AND 00001542: DUP2 00001543: MSTORE 00001544: PUSH1 0x20 00001546: ADD 00001547: SWAP1 00001548: DUP2 00001549: MSTORE 0000154a: PUSH1 0x20 0000154c: ADD 0000154d: PUSH1 0x00 0000154f: KECCAK256 00001550: SLOAD 00001551: TIMESTAMP 00001552: SUB 00001553: LT 00001554: SWAP1 00001555: POP 00001556: DUP2 00001557: PUSH1 0x0e 00001559: PUSH1 0x00 0000155b: DUP6 0000155c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001571: AND 00001572: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001587: AND 00001588: DUP2 00001589: MSTORE 0000158a: PUSH1 0x20 0000158c: ADD 0000158d: SWAP1 0000158e: DUP2 0000158f: MSTORE 00001590: PUSH1 0x20 00001592: ADD 00001593: PUSH1 0x00 00001595: KECCAK256 00001596: PUSH1 0x00 00001598: DUP3 00001599: DUP3 0000159a: SLOAD 0000159b: ADD 0000159c: SWAP3 0000159d: POP 0000159e: POP 0000159f: DUP2 000015a0: SWAP1 000015a1: SSTORE 000015a2: POP 000015a3: PUSH2 0x15ec 000015a6: PUSH1 0x0e 000015a8: PUSH1 0x00 000015aa: DUP6 000015ab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015c0: AND 000015c1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015d6: AND 000015d7: DUP2 000015d8: MSTORE 000015d9: PUSH1 0x20 000015db: ADD 000015dc: SWAP1 000015dd: DUP2 000015de: MSTORE 000015df: PUSH1 0x20 000015e1: ADD 000015e2: PUSH1 0x00 000015e4: KECCAK256 000015e5: SLOAD 000015e6: DUP5 000015e7: DUP4 000015e8: PUSH2 0x3623 000015eb: JUMP 000015ec: JUMPDEST 000015ed: PUSH1 0x01 000015ef: PUSH1 0x0f 000015f1: PUSH1 0x00 000015f3: DUP6 000015f4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001609: AND 0000160a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000161f: AND 00001620: DUP2 00001621: MSTORE 00001622: PUSH1 0x20 00001624: ADD 00001625: SWAP1 00001626: DUP2 00001627: MSTORE 00001628: PUSH1 0x20 0000162a: ADD 0000162b: PUSH1 0x00 0000162d: KECCAK256 0000162e: PUSH1 0x00 00001630: PUSH2 0x0100 00001633: EXP 00001634: DUP2 00001635: SLOAD 00001636: DUP2 00001637: PUSH1 0xff 00001639: MUL 0000163a: NOT 0000163b: AND 0000163c: SWAP1 0000163d: DUP4 0000163e: ISZERO 0000163f: ISZERO 00001640: MUL 00001641: OR 00001642: SWAP1 00001643: SSTORE 00001644: POP 00001645: PUSH1 0x0d 00001647: PUSH1 0x00 00001649: DUP2 0000164a: SLOAD 0000164b: DUP1 0000164c: SWAP3 0000164d: SWAP2 0000164e: SWAP1 0000164f: PUSH1 0x01 00001651: ADD 00001652: SWAP2 00001653: SWAP1 00001654: POP 00001655: SSTORE 00001656: POP 00001657: JUMPDEST 00001658: POP 00001659: POP 0000165a: POP 0000165b: JUMP 0000165c: JUMPDEST 0000165d: PUSH1 0x00 0000165f: PUSH1 0x40 00001661: MLOAD 00001662: DUP1 00001663: DUP1 00001664: PUSH32 0x737570706f727473496e74657266616365286279746573342900000000000000 00001685: DUP2 00001686: MSTORE 00001687: POP 00001688: PUSH1 0x19 0000168a: ADD 0000168b: SWAP1 0000168c: POP 0000168d: PUSH1 0x40 0000168f: MLOAD 00001690: DUP1 00001691: SWAP2 00001692: SUB 00001693: SWAP1 00001694: KECCAK256 00001695: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 000016b2: NOT 000016b3: AND 000016b4: DUP3 000016b5: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 000016d2: NOT 000016d3: AND 000016d4: EQ 000016d5: DUP1 000016d6: PUSH2 0x1966 000016d9: JUMPI 000016da: POP 000016db: PUSH1 0x40 000016dd: MLOAD 000016de: DUP1 000016df: DUP1 000016e0: PUSH32 0x746f6b656e4d657461646174612875696e742c737472696e6729000000000000 00001701: DUP2 00001702: MSTORE 00001703: POP 00001704: PUSH1 0x1a 00001706: ADD 00001707: SWAP1 00001708: POP 00001709: PUSH1 0x40 0000170b: MLOAD 0000170c: DUP1 0000170d: SWAP2 0000170e: SUB 0000170f: SWAP1 00001710: KECCAK256 00001711: PUSH1 0x40 00001713: MLOAD 00001714: DUP1 00001715: DUP1 00001716: PUSH32 0x746f6b656e734f664f776e657228616464726573732900000000000000000000 00001737: DUP2 00001738: MSTORE 00001739: POP 0000173a: PUSH1 0x16 0000173c: ADD 0000173d: SWAP1 0000173e: POP 0000173f: PUSH1 0x40 00001741: MLOAD 00001742: DUP1 00001743: SWAP2 00001744: SUB 00001745: SWAP1 00001746: KECCAK256 00001747: PUSH1 0x40 00001749: MLOAD 0000174a: DUP1 0000174b: DUP1 0000174c: PUSH32 0x7472616e7366657246726f6d28616464726573732c616464726573732c75696e 0000176d: DUP2 0000176e: MSTORE 0000176f: PUSH1 0x20 00001771: ADD 00001772: PUSH32 0x7429000000000000000000000000000000000000000000000000000000000000 00001793: DUP2 00001794: MSTORE 00001795: POP 00001796: PUSH1 0x22 00001798: ADD 00001799: SWAP1 0000179a: POP 0000179b: PUSH1 0x40 0000179d: MLOAD 0000179e: DUP1 0000179f: SWAP2 000017a0: SUB 000017a1: SWAP1 000017a2: KECCAK256 000017a3: PUSH1 0x40 000017a5: MLOAD 000017a6: DUP1 000017a7: DUP1 000017a8: PUSH32 0x7472616e7366657228616464726573732c75696e742900000000000000000000 000017c9: DUP2 000017ca: MSTORE 000017cb: POP 000017cc: PUSH1 0x16 000017ce: ADD 000017cf: SWAP1 000017d0: POP 000017d1: PUSH1 0x40 000017d3: MLOAD 000017d4: DUP1 000017d5: SWAP2 000017d6: SUB 000017d7: SWAP1 000017d8: KECCAK256 000017d9: PUSH1 0x40 000017db: MLOAD 000017dc: DUP1 000017dd: DUP1 000017de: PUSH32 0x617070726f766528616464726573732c75696e74290000000000000000000000 000017ff: DUP2 00001800: MSTORE 00001801: POP 00001802: PUSH1 0x15 00001804: ADD 00001805: SWAP1 00001806: POP 00001807: PUSH1 0x40 00001809: MLOAD 0000180a: DUP1 0000180b: SWAP2 0000180c: SUB 0000180d: SWAP1 0000180e: KECCAK256 0000180f: PUSH1 0x40 00001811: MLOAD 00001812: DUP1 00001813: DUP1 00001814: PUSH32 0x6f776e65724f662875696e742900000000000000000000000000000000000000 00001835: DUP2 00001836: MSTORE 00001837: POP 00001838: PUSH1 0x0d 0000183a: ADD 0000183b: SWAP1 0000183c: POP 0000183d: PUSH1 0x40 0000183f: MLOAD 00001840: DUP1 00001841: SWAP2 00001842: SUB 00001843: SWAP1 00001844: KECCAK256 00001845: PUSH1 0x40 00001847: MLOAD 00001848: DUP1 00001849: DUP1 0000184a: PUSH32 0x62616c616e63654f662861646472657373290000000000000000000000000000 0000186b: DUP2 0000186c: MSTORE 0000186d: POP 0000186e: PUSH1 0x12 00001870: ADD 00001871: SWAP1 00001872: POP 00001873: PUSH1 0x40 00001875: MLOAD 00001876: DUP1 00001877: SWAP2 00001878: SUB 00001879: SWAP1 0000187a: KECCAK256 0000187b: PUSH1 0x40 0000187d: MLOAD 0000187e: DUP1 0000187f: DUP1 00001880: PUSH32 0x746f74616c537570706c79282900000000000000000000000000000000000000 000018a1: DUP2 000018a2: MSTORE 000018a3: POP 000018a4: PUSH1 0x0d 000018a6: ADD 000018a7: SWAP1 000018a8: POP 000018a9: PUSH1 0x40 000018ab: MLOAD 000018ac: DUP1 000018ad: SWAP2 000018ae: SUB 000018af: SWAP1 000018b0: KECCAK256 000018b1: PUSH1 0x40 000018b3: MLOAD 000018b4: DUP1 000018b5: DUP1 000018b6: PUSH32 0x73796d626f6c2829000000000000000000000000000000000000000000000000 000018d7: DUP2 000018d8: MSTORE 000018d9: POP 000018da: PUSH1 0x08 000018dc: ADD 000018dd: SWAP1 000018de: POP 000018df: PUSH1 0x40 000018e1: MLOAD 000018e2: DUP1 000018e3: SWAP2 000018e4: SUB 000018e5: SWAP1 000018e6: KECCAK256 000018e7: PUSH1 0x40 000018e9: MLOAD 000018ea: DUP1 000018eb: DUP1 000018ec: PUSH32 0x6e616d6528290000000000000000000000000000000000000000000000000000 0000190d: DUP2 0000190e: MSTORE 0000190f: POP 00001910: PUSH1 0x06 00001912: ADD 00001913: SWAP1 00001914: POP 00001915: PUSH1 0x40 00001917: MLOAD 00001918: DUP1 00001919: SWAP2 0000191a: SUB 0000191b: SWAP1 0000191c: KECCAK256 0000191d: XOR 0000191e: XOR 0000191f: XOR 00001920: XOR 00001921: XOR 00001922: XOR 00001923: XOR 00001924: XOR 00001925: XOR 00001926: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00001943: NOT 00001944: AND 00001945: DUP3 00001946: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00001963: NOT 00001964: AND 00001965: EQ 00001966: JUMPDEST 00001967: SWAP1 00001968: POP 00001969: SWAP2 0000196a: SWAP1 0000196b: POP 0000196c: JUMP 0000196d: JUMPDEST 0000196e: PUSH1 0x60 00001970: PUSH2 0x1977 00001973: PUSH2 0x4170 00001976: JUMP 00001977: JUMPDEST 00001978: PUSH1 0x00 0000197a: DUP1 0000197b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001990: AND 00001991: PUSH1 0x05 00001993: PUSH1 0x00 00001995: SWAP1 00001996: SLOAD 00001997: SWAP1 00001998: PUSH2 0x0100 0000199b: EXP 0000199c: SWAP1 0000199d: DIV 0000199e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000019b3: AND 000019b4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000019c9: AND 000019ca: EQ 000019cb: ISZERO 000019cc: ISZERO 000019cd: ISZERO 000019ce: PUSH2 0x19d6 000019d1: JUMPI 000019d2: PUSH1 0x00 000019d4: DUP1 000019d5: REVERT 000019d6: JUMPDEST 000019d7: PUSH1 0x05 000019d9: PUSH1 0x00 000019db: SWAP1 000019dc: SLOAD 000019dd: SWAP1 000019de: PUSH2 0x0100 000019e1: EXP 000019e2: SWAP1 000019e3: DIV 000019e4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000019f9: AND 000019fa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a0f: AND 00001a10: PUSH4 0xcb4799f2 00001a15: DUP7 00001a16: DUP7 00001a17: PUSH1 0x40 00001a19: MLOAD 00001a1a: DUP4 00001a1b: PUSH4 0xffffffff 00001a20: AND 00001a21: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00001a3f: MUL 00001a40: DUP2 00001a41: MSTORE 00001a42: PUSH1 0x04 00001a44: ADD 00001a45: DUP1 00001a46: DUP4 00001a47: DUP2 00001a48: MSTORE 00001a49: PUSH1 0x20 00001a4b: ADD 00001a4c: DUP1 00001a4d: PUSH1 0x20 00001a4f: ADD 00001a50: DUP3 00001a51: DUP2 00001a52: SUB 00001a53: DUP3 00001a54: MSTORE 00001a55: DUP4 00001a56: DUP2 00001a57: DUP2 00001a58: MLOAD 00001a59: DUP2 00001a5a: MSTORE 00001a5b: PUSH1 0x20 00001a5d: ADD 00001a5e: SWAP2 00001a5f: POP 00001a60: DUP1 00001a61: MLOAD 00001a62: SWAP1 00001a63: PUSH1 0x20 00001a65: ADD 00001a66: SWAP1 00001a67: DUP1 00001a68: DUP4 00001a69: DUP4 00001a6a: PUSH1 0x00 00001a6c: JUMPDEST 00001a6d: DUP4 00001a6e: DUP2 00001a6f: LT 00001a70: ISZERO 00001a71: PUSH2 0x1a87 00001a74: JUMPI 00001a75: DUP1 00001a76: DUP3 00001a77: ADD 00001a78: MLOAD 00001a79: DUP2 00001a7a: DUP5 00001a7b: ADD 00001a7c: MSTORE 00001a7d: PUSH1 0x20 00001a7f: DUP2 00001a80: ADD 00001a81: SWAP1 00001a82: POP 00001a83: PUSH2 0x1a6c 00001a86: JUMP 00001a87: JUMPDEST 00001a88: POP 00001a89: POP 00001a8a: POP 00001a8b: POP 00001a8c: SWAP1 00001a8d: POP 00001a8e: SWAP1 00001a8f: DUP2 00001a90: ADD 00001a91: SWAP1 00001a92: PUSH1 0x1f 00001a94: AND 00001a95: DUP1 00001a96: ISZERO 00001a97: PUSH2 0x1ab4 00001a9a: JUMPI 00001a9b: DUP1 00001a9c: DUP3 00001a9d: SUB 00001a9e: DUP1 00001a9f: MLOAD 00001aa0: PUSH1 0x01 00001aa2: DUP4 00001aa3: PUSH1 0x20 00001aa5: SUB 00001aa6: PUSH2 0x0100 00001aa9: EXP 00001aaa: SUB 00001aab: NOT 00001aac: AND 00001aad: DUP2 00001aae: MSTORE 00001aaf: PUSH1 0x20 00001ab1: ADD 00001ab2: SWAP2 00001ab3: POP 00001ab4: JUMPDEST 00001ab5: POP 00001ab6: SWAP4 00001ab7: POP 00001ab8: POP 00001ab9: POP 00001aba: POP 00001abb: PUSH1 0xa0 00001abd: PUSH1 0x40 00001abf: MLOAD 00001ac0: DUP1 00001ac1: DUP4 00001ac2: SUB 00001ac3: DUP2 00001ac4: PUSH1 0x00 00001ac6: DUP8 00001ac7: DUP1 00001ac8: EXTCODESIZE 00001ac9: ISZERO 00001aca: DUP1 00001acb: ISZERO 00001acc: PUSH2 0x1ad4 00001acf: JUMPI 00001ad0: PUSH1 0x00 00001ad2: DUP1 00001ad3: REVERT 00001ad4: JUMPDEST 00001ad5: POP 00001ad6: GAS 00001ad7: CALL 00001ad8: ISZERO 00001ad9: DUP1 00001ada: ISZERO 00001adb: PUSH2 0x1ae8 00001ade: JUMPI 00001adf: RETURNDATASIZE 00001ae0: PUSH1 0x00 00001ae2: DUP1 00001ae3: RETURNDATACOPY 00001ae4: RETURNDATASIZE 00001ae5: PUSH1 0x00 00001ae7: REVERT 00001ae8: JUMPDEST 00001ae9: POP 00001aea: POP 00001aeb: POP 00001aec: POP 00001aed: PUSH1 0x40 00001aef: MLOAD 00001af0: RETURNDATASIZE 00001af1: PUSH1 0x1f 00001af3: NOT 00001af4: PUSH1 0x1f 00001af6: DUP3 00001af7: ADD 00001af8: AND 00001af9: DUP3 00001afa: ADD 00001afb: DUP1 00001afc: PUSH1 0x40 00001afe: MSTORE 00001aff: POP 00001b00: PUSH1 0xa0 00001b02: DUP2 00001b03: LT 00001b04: ISZERO 00001b05: PUSH2 0x1b0d 00001b08: JUMPI 00001b09: PUSH1 0x00 00001b0b: DUP1 00001b0c: REVERT 00001b0d: JUMPDEST 00001b0e: DUP2 00001b0f: ADD 00001b10: SWAP1 00001b11: DUP1 00001b12: SWAP2 00001b13: SWAP1 00001b14: DUP3 00001b15: PUSH1 0x80 00001b17: ADD 00001b18: DUP1 00001b19: MLOAD 00001b1a: SWAP1 00001b1b: PUSH1 0x20 00001b1d: ADD 00001b1e: SWAP1 00001b1f: SWAP3 00001b20: SWAP2 00001b21: SWAP1 00001b22: POP 00001b23: POP 00001b24: POP 00001b25: DUP1 00001b26: SWAP3 00001b27: POP 00001b28: DUP2 00001b29: SWAP4 00001b2a: POP 00001b2b: POP 00001b2c: POP 00001b2d: PUSH2 0x1b36 00001b30: DUP3 00001b31: DUP3 00001b32: PUSH2 0x388d 00001b35: JUMP 00001b36: JUMPDEST 00001b37: SWAP3 00001b38: POP 00001b39: POP 00001b3a: POP 00001b3b: SWAP3 00001b3c: SWAP2 00001b3d: POP 00001b3e: POP 00001b3f: JUMP 00001b40: JUMPDEST 00001b41: PUSH1 0x60 00001b43: DUP1 00001b44: PUSH1 0x40 00001b46: MLOAD 00001b47: SWAP1 00001b48: DUP2 00001b49: ADD 00001b4a: PUSH1 0x40 00001b4c: MSTORE 00001b4d: DUP1 00001b4e: PUSH1 0x21 00001b50: DUP2 00001b51: MSTORE 00001b52: PUSH1 0x20 00001b54: ADD 00001b55: PUSH32 0x43727970746f7665727365205072656f7264657220426f6e7573204173736574 00001b76: DUP2 00001b77: MSTORE 00001b78: PUSH1 0x20 00001b7a: ADD 00001b7b: PUSH32 0x7300000000000000000000000000000000000000000000000000000000000000 00001b9c: DUP2 00001b9d: MSTORE 00001b9e: POP 00001b9f: SWAP1 00001ba0: POP 00001ba1: SWAP1 00001ba2: JUMP 00001ba3: JUMPDEST 00001ba4: PUSH2 0x1bad 00001ba7: CALLER 00001ba8: DUP3 00001ba9: PUSH2 0x38e9 00001bac: JUMP 00001bad: JUMPDEST 00001bae: ISZERO 00001baf: ISZERO 00001bb0: PUSH2 0x1bb8 00001bb3: JUMPI 00001bb4: PUSH1 0x00 00001bb6: DUP1 00001bb7: REVERT 00001bb8: JUMPDEST 00001bb9: PUSH2 0x1bc2 00001bbc: DUP2 00001bbd: DUP4 00001bbe: PUSH2 0x3955 00001bc1: JUMP 00001bc2: JUMPDEST 00001bc3: DUP2 00001bc4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001bd9: AND 00001bda: CALLER 00001bdb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001bf0: AND 00001bf1: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 00001c12: DUP4 00001c13: PUSH1 0x40 00001c15: MLOAD 00001c16: DUP1 00001c17: DUP3 00001c18: DUP2 00001c19: MSTORE 00001c1a: PUSH1 0x20 00001c1c: ADD 00001c1d: SWAP2 00001c1e: POP 00001c1f: POP 00001c20: PUSH1 0x40 00001c22: MLOAD 00001c23: DUP1 00001c24: SWAP2 00001c25: SUB 00001c26: SWAP1 00001c27: LOG3 00001c28: POP 00001c29: POP 00001c2a: JUMP 00001c2b: JUMPDEST 00001c2c: PUSH1 0x09 00001c2e: PUSH1 0x00 00001c30: SWAP1 00001c31: SLOAD 00001c32: SWAP1 00001c33: PUSH2 0x0100 00001c36: EXP 00001c37: SWAP1 00001c38: DIV 00001c39: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c4e: AND 00001c4f: DUP2 00001c50: JUMP 00001c51: JUMPDEST 00001c52: PUSH1 0x00 00001c54: DUP1 00001c55: PUSH1 0x00 00001c57: SWAP1 00001c58: SLOAD 00001c59: SWAP1 00001c5a: PUSH2 0x0100 00001c5d: EXP 00001c5e: SWAP1 00001c5f: DIV 00001c60: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c75: AND 00001c76: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c8b: AND 00001c8c: CALLER 00001c8d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ca2: AND 00001ca3: EQ 00001ca4: ISZERO 00001ca5: ISZERO 00001ca6: PUSH2 0x1cae 00001ca9: JUMPI 00001caa: PUSH1 0x00 00001cac: DUP1 00001cad: REVERT 00001cae: JUMPDEST 00001caf: DUP2 00001cb0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001cc5: AND 00001cc6: PUSH4 0x70a08231 00001ccb: ADDRESS 00001ccc: PUSH1 0x40 00001cce: MLOAD 00001ccf: DUP3 00001cd0: PUSH4 0xffffffff 00001cd5: AND 00001cd6: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00001cf4: MUL 00001cf5: DUP2 00001cf6: MSTORE 00001cf7: PUSH1 0x04 00001cf9: ADD 00001cfa: DUP1 00001cfb: DUP3 00001cfc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d11: AND 00001d12: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d27: AND 00001d28: DUP2 00001d29: MSTORE 00001d2a: PUSH1 0x20 00001d2c: ADD 00001d2d: SWAP2 00001d2e: POP 00001d2f: POP 00001d30: PUSH1 0x20 00001d32: PUSH1 0x40 00001d34: MLOAD 00001d35: DUP1 00001d36: DUP4 00001d37: SUB 00001d38: DUP2 00001d39: PUSH1 0x00 00001d3b: DUP8 00001d3c: DUP1 00001d3d: EXTCODESIZE 00001d3e: ISZERO 00001d3f: DUP1 00001d40: ISZERO 00001d41: PUSH2 0x1d49 00001d44: JUMPI 00001d45: PUSH1 0x00 00001d47: DUP1 00001d48: REVERT 00001d49: JUMPDEST 00001d4a: POP 00001d4b: GAS 00001d4c: CALL 00001d4d: ISZERO 00001d4e: DUP1 00001d4f: ISZERO 00001d50: PUSH2 0x1d5d 00001d53: JUMPI 00001d54: RETURNDATASIZE 00001d55: PUSH1 0x00 00001d57: DUP1 00001d58: RETURNDATACOPY 00001d59: RETURNDATASIZE 00001d5a: PUSH1 0x00 00001d5c: REVERT 00001d5d: JUMPDEST 00001d5e: POP 00001d5f: POP 00001d60: POP 00001d61: POP 00001d62: PUSH1 0x40 00001d64: MLOAD 00001d65: RETURNDATASIZE 00001d66: PUSH1 0x20 00001d68: DUP2 00001d69: LT 00001d6a: ISZERO 00001d6b: PUSH2 0x1d73 00001d6e: JUMPI 00001d6f: PUSH1 0x00 00001d71: DUP1 00001d72: REVERT 00001d73: JUMPDEST 00001d74: DUP2 00001d75: ADD 00001d76: SWAP1 00001d77: DUP1 00001d78: DUP1 00001d79: MLOAD 00001d7a: SWAP1 00001d7b: PUSH1 0x20 00001d7d: ADD 00001d7e: SWAP1 00001d7f: SWAP3 00001d80: SWAP2 00001d81: SWAP1 00001d82: POP 00001d83: POP 00001d84: POP 00001d85: SWAP1 00001d86: POP 00001d87: DUP2 00001d88: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d9d: AND 00001d9e: PUSH4 0xa9059cbb 00001da3: PUSH1 0x00 00001da5: DUP1 00001da6: SWAP1 00001da7: SLOAD 00001da8: SWAP1 00001da9: PUSH2 0x0100 00001dac: EXP 00001dad: SWAP1 00001dae: DIV 00001daf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001dc4: AND 00001dc5: DUP4 00001dc6: PUSH1 0x40 00001dc8: MLOAD 00001dc9: DUP4 00001dca: PUSH4 0xffffffff 00001dcf: AND 00001dd0: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00001dee: MUL 00001def: DUP2 00001df0: MSTORE 00001df1: PUSH1 0x04 00001df3: ADD 00001df4: DUP1 00001df5: DUP4 00001df6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001e0b: AND 00001e0c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001e21: AND 00001e22: DUP2 00001e23: MSTORE 00001e24: PUSH1 0x20 00001e26: ADD 00001e27: DUP3 00001e28: DUP2 00001e29: MSTORE 00001e2a: PUSH1 0x20 00001e2c: ADD 00001e2d: SWAP3 00001e2e: POP 00001e2f: POP 00001e30: POP 00001e31: PUSH1 0x20 00001e33: PUSH1 0x40 00001e35: MLOAD 00001e36: DUP1 00001e37: DUP4 00001e38: SUB 00001e39: DUP2 00001e3a: PUSH1 0x00 00001e3c: DUP8 00001e3d: DUP1 00001e3e: EXTCODESIZE 00001e3f: ISZERO 00001e40: DUP1 00001e41: ISZERO 00001e42: PUSH2 0x1e4a 00001e45: JUMPI 00001e46: PUSH1 0x00 00001e48: DUP1 00001e49: REVERT 00001e4a: JUMPDEST 00001e4b: POP 00001e4c: GAS 00001e4d: CALL 00001e4e: ISZERO 00001e4f: DUP1 00001e50: ISZERO 00001e51: PUSH2 0x1e5e 00001e54: JUMPI 00001e55: RETURNDATASIZE 00001e56: PUSH1 0x00 00001e58: DUP1 00001e59: RETURNDATACOPY 00001e5a: RETURNDATASIZE 00001e5b: PUSH1 0x00 00001e5d: REVERT 00001e5e: JUMPDEST 00001e5f: POP 00001e60: POP 00001e61: POP 00001e62: POP 00001e63: PUSH1 0x40 00001e65: MLOAD 00001e66: RETURNDATASIZE 00001e67: PUSH1 0x20 00001e69: DUP2 00001e6a: LT 00001e6b: ISZERO 00001e6c: PUSH2 0x1e74 00001e6f: JUMPI 00001e70: PUSH1 0x00 00001e72: DUP1 00001e73: REVERT 00001e74: JUMPDEST 00001e75: DUP2 00001e76: ADD 00001e77: SWAP1 00001e78: DUP1 00001e79: DUP1 00001e7a: MLOAD 00001e7b: SWAP1 00001e7c: PUSH1 0x20 00001e7e: ADD 00001e7f: SWAP1 00001e80: SWAP3 00001e81: SWAP2 00001e82: SWAP1 00001e83: POP 00001e84: POP 00001e85: POP 00001e86: POP 00001e87: POP 00001e88: POP 00001e89: JUMP 00001e8a: JUMPDEST 00001e8b: PUSH1 0x00 00001e8d: PUSH1 0x01 00001e8f: DUP1 00001e90: SLOAD 00001e91: SWAP1 00001e92: POP 00001e93: SWAP1 00001e94: POP 00001e95: SWAP1 00001e96: JUMP 00001e97: JUMPDEST 00001e98: PUSH1 0x00 00001e9a: PUSH2 0x1f92 00001e9d: PUSH1 0x01 00001e9f: DUP4 00001ea0: DUP2 00001ea1: SLOAD 00001ea2: DUP2 00001ea3: LT 00001ea4: ISZERO 00001ea5: ISZERO 00001ea6: PUSH2 0x1eab 00001ea9: JUMPI 00001eaa: INVALID 00001eab: JUMPDEST 00001eac: SWAP1 00001ead: PUSH1 0x00 00001eaf: MSTORE 00001eb0: PUSH1 0x20 00001eb2: PUSH1 0x00 00001eb4: KECCAK256 00001eb5: SWAP1 00001eb6: PUSH1 0x03 00001eb8: MUL 00001eb9: ADD 00001eba: PUSH1 0xc0 00001ebc: PUSH1 0x40 00001ebe: MLOAD 00001ebf: SWAP1 00001ec0: DUP2 00001ec1: ADD 00001ec2: PUSH1 0x40 00001ec4: MSTORE 00001ec5: SWAP1 00001ec6: DUP2 00001ec7: PUSH1 0x00 00001ec9: DUP3 00001eca: ADD 00001ecb: PUSH1 0x00 00001ecd: SWAP1 00001ece: SLOAD 00001ecf: SWAP1 00001ed0: PUSH2 0x0100 00001ed3: EXP 00001ed4: SWAP1 00001ed5: DIV 00001ed6: PUSH1 0xff 00001ed8: AND 00001ed9: PUSH1 0x0a 00001edb: DUP2 00001edc: GT 00001edd: ISZERO 00001ede: PUSH2 0x1ee3 00001ee1: JUMPI 00001ee2: INVALID 00001ee3: JUMPDEST 00001ee4: PUSH1 0x0a 00001ee6: DUP2 00001ee7: GT 00001ee8: ISZERO 00001ee9: PUSH2 0x1eee 00001eec: JUMPI 00001eed: INVALID 00001eee: JUMPDEST 00001eef: DUP2 00001ef0: MSTORE 00001ef1: PUSH1 0x20 00001ef3: ADD 00001ef4: PUSH1 0x00 00001ef6: DUP3 00001ef7: ADD 00001ef8: PUSH1 0x01 00001efa: SWAP1 00001efb: SLOAD 00001efc: SWAP1 00001efd: PUSH2 0x0100 00001f00: EXP 00001f01: SWAP1 00001f02: DIV 00001f03: PUSH1 0xff 00001f05: AND 00001f06: PUSH1 0x15 00001f08: DUP2 00001f09: GT 00001f0a: ISZERO 00001f0b: PUSH2 0x1f10 00001f0e: JUMPI 00001f0f: INVALID 00001f10: JUMPDEST 00001f11: PUSH1 0x15 00001f13: DUP2 00001f14: GT 00001f15: ISZERO 00001f16: PUSH2 0x1f1b 00001f19: JUMPI 00001f1a: INVALID 00001f1b: JUMPDEST 00001f1c: DUP2 00001f1d: MSTORE 00001f1e: PUSH1 0x20 00001f20: ADD 00001f21: PUSH1 0x00 00001f23: DUP3 00001f24: ADD 00001f25: PUSH1 0x02 00001f27: SWAP1 00001f28: SLOAD 00001f29: SWAP1 00001f2a: PUSH2 0x0100 00001f2d: EXP 00001f2e: SWAP1 00001f2f: DIV 00001f30: PUSH1 0xff 00001f32: AND 00001f33: PUSH1 0x03 00001f35: DUP2 00001f36: GT 00001f37: ISZERO 00001f38: PUSH2 0x1f3d 00001f3b: JUMPI 00001f3c: INVALID 00001f3d: JUMPDEST 00001f3e: PUSH1 0x03 00001f40: DUP2 00001f41: GT 00001f42: ISZERO 00001f43: PUSH2 0x1f48 00001f46: JUMPI 00001f47: INVALID 00001f48: JUMPDEST 00001f49: DUP2 00001f4a: MSTORE 00001f4b: PUSH1 0x20 00001f4d: ADD 00001f4e: PUSH1 0x00 00001f50: DUP3 00001f51: ADD 00001f52: PUSH1 0x03 00001f54: SWAP1 00001f55: SLOAD 00001f56: SWAP1 00001f57: PUSH2 0x0100 00001f5a: EXP 00001f5b: SWAP1 00001f5c: DIV 00001f5d: PUSH1 0xff 00001f5f: AND 00001f60: PUSH1 0x06 00001f62: DUP2 00001f63: GT 00001f64: ISZERO 00001f65: PUSH2 0x1f6a 00001f68: JUMPI 00001f69: INVALID 00001f6a: JUMPDEST 00001f6b: PUSH1 0x06 00001f6d: DUP2 00001f6e: GT 00001f6f: ISZERO 00001f70: PUSH2 0x1f75 00001f73: JUMPI 00001f74: INVALID 00001f75: JUMPDEST 00001f76: DUP2 00001f77: MSTORE 00001f78: PUSH1 0x20 00001f7a: ADD 00001f7b: PUSH1 0x01 00001f7d: DUP3 00001f7e: ADD 00001f7f: SLOAD 00001f80: DUP2 00001f81: MSTORE 00001f82: PUSH1 0x20 00001f84: ADD 00001f85: PUSH1 0x02 00001f87: DUP3 00001f88: ADD 00001f89: SLOAD 00001f8a: DUP2 00001f8b: MSTORE 00001f8c: POP 00001f8d: POP 00001f8e: PUSH2 0x39ab 00001f91: JUMP 00001f92: JUMPDEST 00001f93: SWAP1 00001f94: POP 00001f95: SWAP2 00001f96: SWAP1 00001f97: POP 00001f98: JUMP 00001f99: JUMPDEST 00001f9a: PUSH1 0x00 00001f9c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001fb1: AND 00001fb2: DUP3 00001fb3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001fc8: AND 00001fc9: EQ 00001fca: ISZERO 00001fcb: ISZERO 00001fcc: ISZERO 00001fcd: PUSH2 0x1fd5 00001fd0: JUMPI 00001fd1: PUSH1 0x00 00001fd3: DUP1 00001fd4: REVERT 00001fd5: JUMPDEST 00001fd6: ADDRESS 00001fd7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001fec: AND 00001fed: DUP3 00001fee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002003: AND 00002004: EQ 00002005: ISZERO 00002006: ISZERO 00002007: ISZERO 00002008: PUSH2 0x2010 0000200b: JUMPI 0000200c: PUSH1 0x00 0000200e: DUP1 0000200f: REVERT 00002010: JUMPDEST 00002011: PUSH2 0x201a 00002014: CALLER 00002015: DUP3 00002016: PUSH2 0x39f6 00002019: JUMP 0000201a: JUMPDEST 0000201b: ISZERO 0000201c: ISZERO 0000201d: PUSH2 0x2025 00002020: JUMPI 00002021: PUSH1 0x00 00002023: DUP1 00002024: REVERT 00002025: JUMPDEST 00002026: PUSH2 0x202f 00002029: DUP4 0000202a: DUP3 0000202b: PUSH2 0x38e9 0000202e: JUMP 0000202f: JUMPDEST 00002030: ISZERO 00002031: ISZERO 00002032: PUSH2 0x203a 00002035: JUMPI 00002036: PUSH1 0x00 00002038: DUP1 00002039: REVERT 0000203a: JUMPDEST 0000203b: PUSH2 0x2045 0000203e: DUP4 0000203f: DUP4 00002040: DUP4 00002041: PUSH2 0x3a62 00002044: JUMP 00002045: JUMPDEST 00002046: POP 00002047: POP 00002048: POP 00002049: JUMP 0000204a: JUMPDEST 0000204b: PUSH1 0x0b 0000204d: SLOAD 0000204e: DUP2 0000204f: JUMP 00002050: JUMPDEST 00002051: PUSH1 0x0f 00002053: PUSH1 0x20 00002055: MSTORE 00002056: DUP1 00002057: PUSH1 0x00 00002059: MSTORE 0000205a: PUSH1 0x40 0000205c: PUSH1 0x00 0000205e: KECCAK256 0000205f: PUSH1 0x00 00002061: SWAP2 00002062: POP 00002063: SLOAD 00002064: SWAP1 00002065: PUSH2 0x0100 00002068: EXP 00002069: SWAP1 0000206a: DIV 0000206b: PUSH1 0xff 0000206d: AND 0000206e: DUP2 0000206f: JUMP 00002070: JUMPDEST 00002071: PUSH1 0x08 00002073: PUSH1 0x00 00002075: SWAP1 00002076: SLOAD 00002077: SWAP1 00002078: PUSH2 0x0100 0000207b: EXP 0000207c: SWAP1 0000207d: DIV 0000207e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002093: AND 00002094: DUP2 00002095: JUMP 00002096: JUMPDEST 00002097: PUSH1 0x11 00002099: DUP2 0000209a: DUP2 0000209b: SLOAD 0000209c: DUP2 0000209d: LT 0000209e: ISZERO 0000209f: ISZERO 000020a0: PUSH2 0x20a5 000020a3: JUMPI 000020a4: INVALID 000020a5: JUMPDEST 000020a6: SWAP1 000020a7: PUSH1 0x00 000020a9: MSTORE 000020aa: PUSH1 0x20 000020ac: PUSH1 0x00 000020ae: KECCAK256 000020af: ADD 000020b0: PUSH1 0x00 000020b2: SWAP2 000020b3: POP 000020b4: SLOAD 000020b5: SWAP1 000020b6: PUSH2 0x0100 000020b9: EXP 000020ba: SWAP1 000020bb: DIV 000020bc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000020d1: AND 000020d2: DUP2 000020d3: JUMP 000020d4: JUMPDEST 000020d5: PUSH1 0x00 000020d7: DUP1 000020d8: PUSH1 0x00 000020da: DUP1 000020db: SWAP3 000020dc: POP 000020dd: JUMPDEST 000020de: DUP4 000020df: MLOAD 000020e0: DUP4 000020e1: LT 000020e2: ISZERO 000020e3: PUSH2 0x252c 000020e6: JUMPI 000020e7: DUP4 000020e8: DUP4 000020e9: DUP2 000020ea: MLOAD 000020eb: DUP2 000020ec: LT 000020ed: ISZERO 000020ee: ISZERO 000020ef: PUSH2 0x20f4 000020f2: JUMPI 000020f3: INVALID 000020f4: JUMPDEST 000020f5: SWAP1 000020f6: PUSH1 0x20 000020f8: ADD 000020f9: SWAP1 000020fa: PUSH1 0x20 000020fc: MUL 000020fd: ADD 000020fe: MLOAD 000020ff: SWAP2 00002100: POP 00002101: PUSH1 0x01 00002103: DUP3 00002104: DUP2 00002105: SLOAD 00002106: DUP2 00002107: LT 00002108: ISZERO 00002109: ISZERO 0000210a: PUSH2 0x210f 0000210d: JUMPI 0000210e: INVALID 0000210f: JUMPDEST 00002110: SWAP1 00002111: PUSH1 0x00 00002113: MSTORE 00002114: PUSH1 0x20 00002116: PUSH1 0x00 00002118: KECCAK256 00002119: SWAP1 0000211a: PUSH1 0x03 0000211c: MUL 0000211d: ADD 0000211e: SWAP1 0000211f: POP 00002120: PUSH2 0x21fc 00002123: DUP2 00002124: PUSH1 0xc0 00002126: PUSH1 0x40 00002128: MLOAD 00002129: SWAP1 0000212a: DUP2 0000212b: ADD 0000212c: PUSH1 0x40 0000212e: MSTORE 0000212f: SWAP1 00002130: DUP2 00002131: PUSH1 0x00 00002133: DUP3 00002134: ADD 00002135: PUSH1 0x00 00002137: SWAP1 00002138: SLOAD 00002139: SWAP1 0000213a: PUSH2 0x0100 0000213d: EXP 0000213e: SWAP1 0000213f: DIV 00002140: PUSH1 0xff 00002142: AND 00002143: PUSH1 0x0a 00002145: DUP2 00002146: GT 00002147: ISZERO 00002148: PUSH2 0x214d 0000214b: JUMPI 0000214c: INVALID 0000214d: JUMPDEST 0000214e: PUSH1 0x0a 00002150: DUP2 00002151: GT 00002152: ISZERO 00002153: PUSH2 0x2158 00002156: JUMPI 00002157: INVALID 00002158: JUMPDEST 00002159: DUP2 0000215a: MSTORE 0000215b: PUSH1 0x20 0000215d: ADD 0000215e: PUSH1 0x00 00002160: DUP3 00002161: ADD 00002162: PUSH1 0x01 00002164: SWAP1 00002165: SLOAD 00002166: SWAP1 00002167: PUSH2 0x0100 0000216a: EXP 0000216b: SWAP1 0000216c: DIV 0000216d: PUSH1 0xff 0000216f: AND 00002170: PUSH1 0x15 00002172: DUP2 00002173: GT 00002174: ISZERO 00002175: PUSH2 0x217a 00002178: JUMPI 00002179: INVALID 0000217a: JUMPDEST 0000217b: PUSH1 0x15 0000217d: DUP2 0000217e: GT 0000217f: ISZERO 00002180: PUSH2 0x2185 00002183: JUMPI 00002184: INVALID 00002185: JUMPDEST 00002186: DUP2 00002187: MSTORE 00002188: PUSH1 0x20 0000218a: ADD 0000218b: PUSH1 0x00 0000218d: DUP3 0000218e: ADD 0000218f: PUSH1 0x02 00002191: SWAP1 00002192: SLOAD 00002193: SWAP1 00002194: PUSH2 0x0100 00002197: EXP 00002198: SWAP1 00002199: DIV 0000219a: PUSH1 0xff 0000219c: AND 0000219d: PUSH1 0x03 0000219f: DUP2 000021a0: GT 000021a1: ISZERO 000021a2: PUSH2 0x21a7 000021a5: JUMPI 000021a6: INVALID 000021a7: JUMPDEST 000021a8: PUSH1 0x03 000021aa: DUP2 000021ab: GT 000021ac: ISZERO 000021ad: PUSH2 0x21b2 000021b0: JUMPI 000021b1: INVALID 000021b2: JUMPDEST 000021b3: DUP2 000021b4: MSTORE 000021b5: PUSH1 0x20 000021b7: ADD 000021b8: PUSH1 0x00 000021ba: DUP3 000021bb: ADD 000021bc: PUSH1 0x03 000021be: SWAP1 000021bf: SLOAD 000021c0: SWAP1 000021c1: PUSH2 0x0100 000021c4: EXP 000021c5: SWAP1 000021c6: DIV 000021c7: PUSH1 0xff 000021c9: AND 000021ca: PUSH1 0x06 000021cc: DUP2 000021cd: GT 000021ce: ISZERO 000021cf: PUSH2 0x21d4 000021d2: JUMPI 000021d3: INVALID 000021d4: JUMPDEST 000021d5: PUSH1 0x06 000021d7: DUP2 000021d8: GT 000021d9: ISZERO 000021da: PUSH2 0x21df 000021dd: JUMPI 000021de: INVALID 000021df: JUMPDEST 000021e0: DUP2 000021e1: MSTORE 000021e2: PUSH1 0x20 000021e4: ADD 000021e5: PUSH1 0x01 000021e7: DUP3 000021e8: ADD 000021e9: SLOAD 000021ea: DUP2 000021eb: MSTORE 000021ec: PUSH1 0x20 000021ee: ADD 000021ef: PUSH1 0x02 000021f1: DUP3 000021f2: ADD 000021f3: SLOAD 000021f4: DUP2 000021f5: MSTORE 000021f6: POP 000021f7: POP 000021f8: PUSH2 0x39ab 000021fb: JUMP 000021fc: JUMPDEST 000021fd: ISZERO 000021fe: ISZERO 000021ff: PUSH2 0x2207 00002202: JUMPI 00002203: PUSH1 0x00 00002205: DUP1 00002206: REVERT 00002207: JUMPDEST 00002208: PUSH2 0x2211 0000220b: ADDRESS 0000220c: DUP4 0000220d: PUSH2 0x3067 00002210: JUMP 00002211: JUMPDEST 00002212: PUSH1 0x00 00002214: PUSH1 0x0a 00002216: DUP2 00002217: GT 00002218: ISZERO 00002219: PUSH2 0x221e 0000221c: JUMPI 0000221d: INVALID 0000221e: JUMPDEST 0000221f: DUP2 00002220: PUSH1 0x00 00002222: ADD 00002223: PUSH1 0x00 00002225: SWAP1 00002226: SLOAD 00002227: SWAP1 00002228: PUSH2 0x0100 0000222b: EXP 0000222c: SWAP1 0000222d: DIV 0000222e: PUSH1 0xff 00002230: AND 00002231: PUSH1 0x0a 00002233: DUP2 00002234: GT 00002235: ISZERO 00002236: PUSH2 0x223b 00002239: JUMPI 0000223a: INVALID 0000223b: JUMPDEST 0000223c: EQ 0000223d: ISZERO 0000223e: PUSH2 0x23b2 00002241: JUMPI 00002242: PUSH1 0x06 00002244: PUSH1 0x00 00002246: SWAP1 00002247: SLOAD 00002248: SWAP1 00002249: PUSH2 0x0100 0000224c: EXP 0000224d: SWAP1 0000224e: DIV 0000224f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002264: AND 00002265: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000227a: AND 0000227b: PUSH4 0x23b872dd 00002280: PUSH1 0x08 00002282: PUSH1 0x00 00002284: SWAP1 00002285: SLOAD 00002286: SWAP1 00002287: PUSH2 0x0100 0000228a: EXP 0000228b: SWAP1 0000228c: DIV 0000228d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000022a2: AND 000022a3: CALLER 000022a4: PUSH1 0x0c 000022a6: SLOAD 000022a7: PUSH1 0x0a 000022a9: SLOAD 000022aa: DUP7 000022ab: PUSH1 0x02 000022ad: ADD 000022ae: SLOAD 000022af: MUL 000022b0: DUP2 000022b1: ISZERO 000022b2: ISZERO 000022b3: PUSH2 0x22b8 000022b6: JUMPI 000022b7: INVALID 000022b8: JUMPDEST 000022b9: DIV 000022ba: PUSH1 0x40 000022bc: MLOAD 000022bd: DUP5 000022be: PUSH4 0xffffffff 000022c3: AND 000022c4: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 000022e2: MUL 000022e3: DUP2 000022e4: MSTORE 000022e5: PUSH1 0x04 000022e7: ADD 000022e8: DUP1 000022e9: DUP5 000022ea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000022ff: AND 00002300: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002315: AND 00002316: DUP2 00002317: MSTORE 00002318: PUSH1 0x20 0000231a: ADD 0000231b: DUP4 0000231c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002331: AND 00002332: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002347: AND 00002348: DUP2 00002349: MSTORE 0000234a: PUSH1 0x20 0000234c: ADD 0000234d: DUP3 0000234e: DUP2 0000234f: MSTORE 00002350: PUSH1 0x20 00002352: ADD 00002353: SWAP4 00002354: POP 00002355: POP 00002356: POP 00002357: POP 00002358: PUSH1 0x20 0000235a: PUSH1 0x40 0000235c: MLOAD 0000235d: DUP1 0000235e: DUP4 0000235f: SUB 00002360: DUP2 00002361: PUSH1 0x00 00002363: DUP8 00002364: DUP1 00002365: EXTCODESIZE 00002366: ISZERO 00002367: DUP1 00002368: ISZERO 00002369: PUSH2 0x2371 0000236c: JUMPI 0000236d: PUSH1 0x00 0000236f: DUP1 00002370: REVERT 00002371: JUMPDEST 00002372: POP 00002373: GAS 00002374: CALL 00002375: ISZERO 00002376: DUP1 00002377: ISZERO 00002378: PUSH2 0x2385 0000237b: JUMPI 0000237c: RETURNDATASIZE 0000237d: PUSH1 0x00 0000237f: DUP1 00002380: RETURNDATACOPY 00002381: RETURNDATASIZE 00002382: PUSH1 0x00 00002384: REVERT 00002385: JUMPDEST 00002386: POP 00002387: POP 00002388: POP 00002389: POP 0000238a: PUSH1 0x40 0000238c: MLOAD 0000238d: RETURNDATASIZE 0000238e: PUSH1 0x20 00002390: DUP2 00002391: LT 00002392: ISZERO 00002393: PUSH2 0x239b 00002396: JUMPI 00002397: PUSH1 0x00 00002399: DUP1 0000239a: REVERT 0000239b: JUMPDEST 0000239c: DUP2 0000239d: ADD 0000239e: SWAP1 0000239f: DUP1 000023a0: DUP1 000023a1: MLOAD 000023a2: SWAP1 000023a3: PUSH1 0x20 000023a5: ADD 000023a6: SWAP1 000023a7: SWAP3 000023a8: SWAP2 000023a9: SWAP1 000023aa: POP 000023ab: POP 000023ac: POP 000023ad: POP 000023ae: PUSH2 0x251f 000023b1: JUMP 000023b2: JUMPDEST 000023b3: PUSH1 0x07 000023b5: PUSH1 0x00 000023b7: SWAP1 000023b8: SLOAD 000023b9: SWAP1 000023ba: PUSH2 0x0100 000023bd: EXP 000023be: SWAP1 000023bf: DIV 000023c0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000023d5: AND 000023d6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000023eb: AND 000023ec: PUSH4 0x23b872dd 000023f1: PUSH1 0x09 000023f3: PUSH1 0x00 000023f5: SWAP1 000023f6: SLOAD 000023f7: SWAP1 000023f8: PUSH2 0x0100 000023fb: EXP 000023fc: SWAP1 000023fd: DIV 000023fe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002413: AND 00002414: CALLER 00002415: PUSH1 0x0c 00002417: SLOAD 00002418: PUSH1 0x0b 0000241a: SLOAD 0000241b: DUP7 0000241c: PUSH1 0x02 0000241e: ADD 0000241f: SLOAD 00002420: MUL 00002421: DUP2 00002422: ISZERO 00002423: ISZERO 00002424: PUSH2 0x2429 00002427: JUMPI 00002428: INVALID 00002429: JUMPDEST 0000242a: DIV 0000242b: PUSH1 0x40 0000242d: MLOAD 0000242e: DUP5 0000242f: PUSH4 0xffffffff 00002434: AND 00002435: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00002453: MUL 00002454: DUP2 00002455: MSTORE 00002456: PUSH1 0x04 00002458: ADD 00002459: DUP1 0000245a: DUP5 0000245b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002470: AND 00002471: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002486: AND 00002487: DUP2 00002488: MSTORE 00002489: PUSH1 0x20 0000248b: ADD 0000248c: DUP4 0000248d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000024a2: AND 000024a3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000024b8: AND 000024b9: DUP2 000024ba: MSTORE 000024bb: PUSH1 0x20 000024bd: ADD 000024be: DUP3 000024bf: DUP2 000024c0: MSTORE 000024c1: PUSH1 0x20 000024c3: ADD 000024c4: SWAP4 000024c5: POP 000024c6: POP 000024c7: POP 000024c8: POP 000024c9: PUSH1 0x20 000024cb: PUSH1 0x40 000024cd: MLOAD 000024ce: DUP1 000024cf: DUP4 000024d0: SUB 000024d1: DUP2 000024d2: PUSH1 0x00 000024d4: DUP8 000024d5: DUP1 000024d6: EXTCODESIZE 000024d7: ISZERO 000024d8: DUP1 000024d9: ISZERO 000024da: PUSH2 0x24e2 000024dd: JUMPI 000024de: PUSH1 0x00 000024e0: DUP1 000024e1: REVERT 000024e2: JUMPDEST 000024e3: POP 000024e4: GAS 000024e5: CALL 000024e6: ISZERO 000024e7: DUP1 000024e8: ISZERO 000024e9: PUSH2 0x24f6 000024ec: JUMPI 000024ed: RETURNDATASIZE 000024ee: PUSH1 0x00 000024f0: DUP1 000024f1: RETURNDATACOPY 000024f2: RETURNDATASIZE 000024f3: PUSH1 0x00 000024f5: REVERT 000024f6: JUMPDEST 000024f7: POP 000024f8: POP 000024f9: POP 000024fa: POP 000024fb: PUSH1 0x40 000024fd: MLOAD 000024fe: RETURNDATASIZE 000024ff: PUSH1 0x20 00002501: DUP2 00002502: LT 00002503: ISZERO 00002504: PUSH2 0x250c 00002507: JUMPI 00002508: PUSH1 0x00 0000250a: DUP1 0000250b: REVERT 0000250c: JUMPDEST 0000250d: DUP2 0000250e: ADD 0000250f: SWAP1 00002510: DUP1 00002511: DUP1 00002512: MLOAD 00002513: SWAP1 00002514: PUSH1 0x20 00002516: ADD 00002517: SWAP1 00002518: SWAP3 00002519: SWAP2 0000251a: SWAP1 0000251b: POP 0000251c: POP 0000251d: POP 0000251e: POP 0000251f: JUMPDEST 00002520: DUP3 00002521: DUP1 00002522: PUSH1 0x01 00002524: ADD 00002525: SWAP4 00002526: POP 00002527: POP 00002528: PUSH2 0x20dd 0000252b: JUMP 0000252c: JUMPDEST 0000252d: POP 0000252e: POP 0000252f: POP 00002530: POP 00002531: JUMP 00002532: JUMPDEST 00002533: PUSH1 0x00 00002535: DUP1 00002536: SWAP1 00002537: SLOAD 00002538: SWAP1 00002539: PUSH2 0x0100 0000253c: EXP 0000253d: SWAP1 0000253e: DIV 0000253f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002554: AND 00002555: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000256a: AND 0000256b: CALLER 0000256c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002581: AND 00002582: EQ 00002583: ISZERO 00002584: ISZERO 00002585: PUSH2 0x258d 00002588: JUMPI 00002589: PUSH1 0x00 0000258b: DUP1 0000258c: REVERT 0000258d: JUMPDEST 0000258e: PUSH1 0x00 00002590: PUSH1 0x14 00002592: SWAP1 00002593: SLOAD 00002594: SWAP1 00002595: PUSH2 0x0100 00002598: EXP 00002599: SWAP1 0000259a: DIV 0000259b: PUSH1 0xff 0000259d: AND 0000259e: ISZERO 0000259f: ISZERO 000025a0: PUSH2 0x25a8 000025a3: JUMPI 000025a4: PUSH1 0x00 000025a6: DUP1 000025a7: REVERT 000025a8: JUMPDEST 000025a9: PUSH1 0x00 000025ab: DUP1 000025ac: PUSH1 0x14 000025ae: PUSH2 0x0100 000025b1: EXP 000025b2: DUP2 000025b3: SLOAD 000025b4: DUP2 000025b5: PUSH1 0xff 000025b7: MUL 000025b8: NOT 000025b9: AND 000025ba: SWAP1 000025bb: DUP4 000025bc: ISZERO 000025bd: ISZERO 000025be: MUL 000025bf: OR 000025c0: SWAP1 000025c1: SSTORE 000025c2: POP 000025c3: PUSH32 0x7805862f689e2f13df9f062ff482ad3ad112aca9e0847911ed832e158c525b33 000025e4: PUSH1 0x40 000025e6: MLOAD 000025e7: PUSH1 0x40 000025e9: MLOAD 000025ea: DUP1 000025eb: SWAP2 000025ec: SUB 000025ed: SWAP1 000025ee: LOG1 000025ef: JUMP 000025f0: JUMPDEST 000025f1: PUSH1 0x0c 000025f3: SLOAD 000025f4: DUP2 000025f5: JUMP 000025f6: JUMPDEST 000025f7: PUSH1 0x0e 000025f9: PUSH1 0x20 000025fb: MSTORE 000025fc: DUP1 000025fd: PUSH1 0x00 000025ff: MSTORE 00002600: PUSH1 0x40 00002602: PUSH1 0x00 00002604: KECCAK256 00002605: PUSH1 0x00 00002607: SWAP2 00002608: POP 00002609: SWAP1 0000260a: POP 0000260b: SLOAD 0000260c: DUP2 0000260d: JUMP 0000260e: JUMPDEST 0000260f: PUSH1 0x00 00002611: DUP1 00002612: SWAP1 00002613: SLOAD 00002614: SWAP1 00002615: PUSH2 0x0100 00002618: EXP 00002619: SWAP1 0000261a: DIV 0000261b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002630: AND 00002631: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002646: AND 00002647: CALLER 00002648: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000265d: AND 0000265e: EQ 0000265f: ISZERO 00002660: ISZERO 00002661: PUSH2 0x2669 00002664: JUMPI 00002665: PUSH1 0x00 00002667: DUP1 00002668: REVERT 00002669: JUMPDEST 0000266a: PUSH1 0x00 0000266c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002681: AND 00002682: DUP4 00002683: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002698: AND 00002699: EQ 0000269a: ISZERO 0000269b: ISZERO 0000269c: ISZERO 0000269d: PUSH2 0x26a5 000026a0: JUMPI 000026a1: PUSH1 0x00 000026a3: DUP1 000026a4: REVERT 000026a5: JUMPDEST 000026a6: PUSH1 0x00 000026a8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000026bd: AND 000026be: DUP3 000026bf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000026d4: AND 000026d5: EQ 000026d6: ISZERO 000026d7: ISZERO 000026d8: ISZERO 000026d9: PUSH2 0x26e1 000026dc: JUMPI 000026dd: PUSH1 0x00 000026df: DUP1 000026e0: REVERT 000026e1: JUMPDEST 000026e2: PUSH1 0x00 000026e4: DUP2 000026e5: GT 000026e6: ISZERO 000026e7: ISZERO 000026e8: PUSH2 0x26f0 000026eb: JUMPI 000026ec: PUSH1 0x00 000026ee: DUP1 000026ef: REVERT 000026f0: JUMPDEST 000026f1: DUP3 000026f2: PUSH1 0x06 000026f4: PUSH1 0x00 000026f6: PUSH2 0x0100 000026f9: EXP 000026fa: DUP2 000026fb: SLOAD 000026fc: DUP2 000026fd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002712: MUL 00002713: NOT 00002714: AND 00002715: SWAP1 00002716: DUP4 00002717: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000272c: AND 0000272d: MUL 0000272e: OR 0000272f: SWAP1 00002730: SSTORE 00002731: POP 00002732: DUP2 00002733: PUSH1 0x08 00002735: PUSH1 0x00 00002737: PUSH2 0x0100 0000273a: EXP 0000273b: DUP2 0000273c: SLOAD 0000273d: DUP2 0000273e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002753: MUL 00002754: NOT 00002755: AND 00002756: SWAP1 00002757: DUP4 00002758: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000276d: AND 0000276e: MUL 0000276f: OR 00002770: SWAP1 00002771: SSTORE 00002772: POP 00002773: DUP1 00002774: PUSH1 0x0a 00002776: DUP2 00002777: SWAP1 00002778: SSTORE 00002779: POP 0000277a: POP 0000277b: POP 0000277c: POP 0000277d: JUMP 0000277e: JUMPDEST 0000277f: PUSH1 0x00 00002781: PUSH1 0x14 00002783: SWAP1 00002784: SLOAD 00002785: SWAP1 00002786: PUSH2 0x0100 00002789: EXP 0000278a: SWAP1 0000278b: DIV 0000278c: PUSH1 0xff 0000278e: AND 0000278f: DUP2 00002790: JUMP 00002791: JUMPDEST 00002792: PUSH1 0x00 00002794: PUSH1 0x02 00002796: PUSH1 0x00 00002798: DUP4 00002799: DUP2 0000279a: MSTORE 0000279b: PUSH1 0x20 0000279d: ADD 0000279e: SWAP1 0000279f: DUP2 000027a0: MSTORE 000027a1: PUSH1 0x20 000027a3: ADD 000027a4: PUSH1 0x00 000027a6: KECCAK256 000027a7: PUSH1 0x00 000027a9: SWAP1 000027aa: SLOAD 000027ab: SWAP1 000027ac: PUSH2 0x0100 000027af: EXP 000027b0: SWAP1 000027b1: DIV 000027b2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000027c7: AND 000027c8: SWAP1 000027c9: POP 000027ca: PUSH1 0x00 000027cc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000027e1: AND 000027e2: DUP2 000027e3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000027f8: AND 000027f9: EQ 000027fa: ISZERO 000027fb: ISZERO 000027fc: ISZERO 000027fd: PUSH2 0x2805 00002800: JUMPI 00002801: PUSH1 0x00 00002803: DUP1 00002804: REVERT 00002805: JUMPDEST 00002806: SWAP2 00002807: SWAP1 00002808: POP 00002809: JUMP 0000280a: JUMPDEST 0000280b: PUSH8 0x016345785d8a0000 00002814: DUP2 00002815: JUMP 00002816: JUMPDEST 00002817: PUSH1 0x00 00002819: PUSH1 0x03 0000281b: PUSH1 0x00 0000281d: DUP4 0000281e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002833: AND 00002834: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002849: AND 0000284a: DUP2 0000284b: MSTORE 0000284c: PUSH1 0x20 0000284e: ADD 0000284f: SWAP1 00002850: DUP2 00002851: MSTORE 00002852: PUSH1 0x20 00002854: ADD 00002855: PUSH1 0x00 00002857: KECCAK256 00002858: SLOAD 00002859: SWAP1 0000285a: POP 0000285b: SWAP2 0000285c: SWAP1 0000285d: POP 0000285e: JUMP 0000285f: JUMPDEST 00002860: PUSH1 0x00 00002862: PUSH1 0x11 00002864: DUP1 00002865: SLOAD 00002866: SWAP1 00002867: POP 00002868: SWAP1 00002869: POP 0000286a: SWAP1 0000286b: JUMP 0000286c: JUMPDEST 0000286d: PUSH1 0x00 0000286f: DUP1 00002870: SWAP1 00002871: SLOAD 00002872: SWAP1 00002873: PUSH2 0x0100 00002876: EXP 00002877: SWAP1 00002878: DIV 00002879: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000288e: AND 0000288f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000028a4: AND 000028a5: CALLER 000028a6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000028bb: AND 000028bc: EQ 000028bd: ISZERO 000028be: ISZERO 000028bf: PUSH2 0x28c7 000028c2: JUMPI 000028c3: PUSH1 0x00 000028c5: DUP1 000028c6: REVERT 000028c7: JUMPDEST 000028c8: PUSH1 0x00 000028ca: DUP1 000028cb: SWAP1 000028cc: SLOAD 000028cd: SWAP1 000028ce: PUSH2 0x0100 000028d1: EXP 000028d2: SWAP1 000028d3: DIV 000028d4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000028e9: AND 000028ea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000028ff: AND 00002900: PUSH2 0x08fc 00002903: DUP3 00002904: SWAP1 00002905: DUP2 00002906: ISZERO 00002907: MUL 00002908: SWAP1 00002909: PUSH1 0x40 0000290b: MLOAD 0000290c: PUSH1 0x00 0000290e: PUSH1 0x40 00002910: MLOAD 00002911: DUP1 00002912: DUP4 00002913: SUB 00002914: DUP2 00002915: DUP6 00002916: DUP9 00002917: DUP9 00002918: CALL 00002919: SWAP4 0000291a: POP 0000291b: POP 0000291c: POP 0000291d: POP 0000291e: ISZERO 0000291f: DUP1 00002920: ISZERO 00002921: PUSH2 0x292e 00002924: JUMPI 00002925: RETURNDATASIZE 00002926: PUSH1 0x00 00002928: DUP1 00002929: RETURNDATACOPY 0000292a: RETURNDATASIZE 0000292b: PUSH1 0x00 0000292d: REVERT 0000292e: JUMPDEST 0000292f: POP 00002930: POP 00002931: JUMP 00002932: JUMPDEST 00002933: PUSH1 0x00 00002935: DUP1 00002936: SWAP1 00002937: SLOAD 00002938: SWAP1 00002939: PUSH2 0x0100 0000293c: EXP 0000293d: SWAP1 0000293e: DIV 0000293f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002954: AND 00002955: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000296a: AND 0000296b: CALLER 0000296c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002981: AND 00002982: EQ 00002983: ISZERO 00002984: ISZERO 00002985: PUSH2 0x298d 00002988: JUMPI 00002989: PUSH1 0x00 0000298b: DUP1 0000298c: REVERT 0000298d: JUMPDEST 0000298e: PUSH1 0x00 00002990: PUSH1 0x14 00002992: SWAP1 00002993: SLOAD 00002994: SWAP1 00002995: PUSH2 0x0100 00002998: EXP 00002999: SWAP1 0000299a: DIV 0000299b: PUSH1 0xff 0000299d: AND 0000299e: ISZERO 0000299f: ISZERO 000029a0: ISZERO 000029a1: PUSH2 0x29a9 000029a4: JUMPI 000029a5: PUSH1 0x00 000029a7: DUP1 000029a8: REVERT 000029a9: JUMPDEST 000029aa: PUSH1 0x01 000029ac: PUSH1 0x00 000029ae: PUSH1 0x14 000029b0: PUSH2 0x0100 000029b3: EXP 000029b4: DUP2 000029b5: SLOAD 000029b6: DUP2 000029b7: PUSH1 0xff 000029b9: MUL 000029ba: NOT 000029bb: AND 000029bc: SWAP1 000029bd: DUP4 000029be: ISZERO 000029bf: ISZERO 000029c0: MUL 000029c1: OR 000029c2: SWAP1 000029c3: SSTORE 000029c4: POP 000029c5: PUSH32 0x6985a02210a168e66602d3235cb6db0e70f92b3ba4d376a33c0f3d9434bff625 000029e6: PUSH1 0x40 000029e8: MLOAD 000029e9: PUSH1 0x40 000029eb: MLOAD 000029ec: DUP1 000029ed: SWAP2 000029ee: SUB 000029ef: SWAP1 000029f0: LOG1 000029f1: JUMP 000029f2: JUMPDEST 000029f3: PUSH1 0x60 000029f5: PUSH1 0x00 000029f7: DUP1 000029f8: PUSH1 0x00 000029fa: DUP1 000029fb: PUSH2 0x2a03 000029fe: DUP7 000029ff: PUSH2 0x2816 00002a02: JUMP 00002a03: JUMPDEST 00002a04: SWAP4 00002a05: POP 00002a06: PUSH1 0x00 00002a08: DUP5 00002a09: EQ 00002a0a: ISZERO 00002a0b: PUSH2 0x2a46 00002a0e: JUMPI 00002a0f: PUSH1 0x00 00002a11: PUSH1 0x40 00002a13: MLOAD 00002a14: SWAP1 00002a15: DUP1 00002a16: DUP3 00002a17: MSTORE 00002a18: DUP1 00002a19: PUSH1 0x20 00002a1b: MUL 00002a1c: PUSH1 0x20 00002a1e: ADD 00002a1f: DUP3 00002a20: ADD 00002a21: PUSH1 0x40 00002a23: MSTORE 00002a24: DUP1 00002a25: ISZERO 00002a26: PUSH2 0x2a3e 00002a29: JUMPI 00002a2a: DUP2 00002a2b: PUSH1 0x20 00002a2d: ADD 00002a2e: PUSH1 0x20 00002a30: DUP3 00002a31: MUL 00002a32: DUP1 00002a33: CODESIZE 00002a34: DUP4 00002a35: CODECOPY 00002a36: DUP1 00002a37: DUP3 00002a38: ADD 00002a39: SWAP2 00002a3a: POP 00002a3b: POP 00002a3c: SWAP1 00002a3d: POP 00002a3e: JUMPDEST 00002a3f: POP 00002a40: SWAP5 00002a41: POP 00002a42: PUSH2 0x2b31 00002a45: JUMP 00002a46: JUMPDEST 00002a47: DUP4 00002a48: PUSH1 0x40 00002a4a: MLOAD 00002a4b: SWAP1 00002a4c: DUP1 00002a4d: DUP3 00002a4e: MSTORE 00002a4f: DUP1 00002a50: PUSH1 0x20 00002a52: MUL 00002a53: PUSH1 0x20 00002a55: ADD 00002a56: DUP3 00002a57: ADD 00002a58: PUSH1 0x40 00002a5a: MSTORE 00002a5b: DUP1 00002a5c: ISZERO 00002a5d: PUSH2 0x2a75 00002a60: JUMPI 00002a61: DUP2 00002a62: PUSH1 0x20 00002a64: ADD 00002a65: PUSH1 0x20 00002a67: DUP3 00002a68: MUL 00002a69: DUP1 00002a6a: CODESIZE 00002a6b: DUP4 00002a6c: CODECOPY 00002a6d: DUP1 00002a6e: DUP3 00002a6f: ADD 00002a70: SWAP2 00002a71: POP 00002a72: POP 00002a73: SWAP1 00002a74: POP 00002a75: JUMPDEST 00002a76: POP 00002a77: SWAP5 00002a78: POP 00002a79: PUSH2 0x2a80 00002a7c: PUSH2 0x1e8a 00002a7f: JUMP 00002a80: JUMPDEST 00002a81: SWAP3 00002a82: POP 00002a83: PUSH1 0x00 00002a85: SWAP2 00002a86: POP 00002a87: PUSH1 0x00 00002a89: SWAP1 00002a8a: POP 00002a8b: JUMPDEST 00002a8c: DUP3 00002a8d: DUP2 00002a8e: LT 00002a8f: ISZERO 00002a90: PUSH2 0x2b2d 00002a93: JUMPI 00002a94: DUP6 00002a95: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002aaa: AND 00002aab: PUSH1 0x02 00002aad: PUSH1 0x00 00002aaf: DUP4 00002ab0: DUP2 00002ab1: MSTORE 00002ab2: PUSH1 0x20 00002ab4: ADD 00002ab5: SWAP1 00002ab6: DUP2 00002ab7: MSTORE 00002ab8: PUSH1 0x20 00002aba: ADD 00002abb: PUSH1 0x00 00002abd: KECCAK256 00002abe: PUSH1 0x00 00002ac0: SWAP1 00002ac1: SLOAD 00002ac2: SWAP1 00002ac3: PUSH2 0x0100 00002ac6: EXP 00002ac7: SWAP1 00002ac8: DIV 00002ac9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002ade: AND 00002adf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002af4: AND 00002af5: EQ 00002af6: ISZERO 00002af7: PUSH2 0x2b20 00002afa: JUMPI 00002afb: DUP1 00002afc: DUP6 00002afd: DUP4 00002afe: DUP2 00002aff: MLOAD 00002b00: DUP2 00002b01: LT 00002b02: ISZERO 00002b03: ISZERO 00002b04: PUSH2 0x2b09 00002b07: JUMPI 00002b08: INVALID 00002b09: JUMPDEST 00002b0a: SWAP1 00002b0b: PUSH1 0x20 00002b0d: ADD 00002b0e: SWAP1 00002b0f: PUSH1 0x20 00002b11: MUL 00002b12: ADD 00002b13: DUP2 00002b14: DUP2 00002b15: MSTORE 00002b16: POP 00002b17: POP 00002b18: DUP2 00002b19: DUP1 00002b1a: PUSH1 0x01 00002b1c: ADD 00002b1d: SWAP3 00002b1e: POP 00002b1f: POP 00002b20: JUMPDEST 00002b21: DUP1 00002b22: DUP1 00002b23: PUSH1 0x01 00002b25: ADD 00002b26: SWAP2 00002b27: POP 00002b28: POP 00002b29: PUSH2 0x2a8b 00002b2c: JUMP 00002b2d: JUMPDEST 00002b2e: DUP5 00002b2f: SWAP5 00002b30: POP 00002b31: JUMPDEST 00002b32: POP 00002b33: POP 00002b34: POP 00002b35: POP 00002b36: SWAP2 00002b37: SWAP1 00002b38: POP 00002b39: JUMP 00002b3a: JUMPDEST 00002b3b: PUSH1 0x04 00002b3d: PUSH1 0x20 00002b3f: MSTORE 00002b40: DUP1 00002b41: PUSH1 0x00 00002b43: MSTORE 00002b44: PUSH1 0x40 00002b46: PUSH1 0x00 00002b48: KECCAK256 00002b49: PUSH1 0x00 00002b4b: SWAP2 00002b4c: POP 00002b4d: SLOAD 00002b4e: SWAP1 00002b4f: PUSH2 0x0100 00002b52: EXP 00002b53: SWAP1 00002b54: DIV 00002b55: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002b6a: AND 00002b6b: DUP2 00002b6c: JUMP 00002b6d: JUMPDEST 00002b6e: PUSH1 0x60 00002b70: PUSH1 0x00 00002b72: DUP1 00002b73: PUSH1 0x00 00002b75: DUP1 00002b76: PUSH1 0x00 00002b78: PUSH2 0x2b80 00002b7b: DUP8 00002b7c: PUSH2 0x2816 00002b7f: JUMP 00002b80: JUMPDEST 00002b81: SWAP5 00002b82: POP 00002b83: PUSH1 0x00 00002b85: DUP6 00002b86: EQ 00002b87: ISZERO 00002b88: PUSH2 0x2bc3 00002b8b: JUMPI 00002b8c: PUSH1 0x00 00002b8e: PUSH1 0x40 00002b90: MLOAD 00002b91: SWAP1 00002b92: DUP1 00002b93: DUP3 00002b94: MSTORE 00002b95: DUP1 00002b96: PUSH1 0x20 00002b98: MUL 00002b99: PUSH1 0x20 00002b9b: ADD 00002b9c: DUP3 00002b9d: ADD 00002b9e: PUSH1 0x40 00002ba0: MSTORE 00002ba1: DUP1 00002ba2: ISZERO 00002ba3: PUSH2 0x2bbb 00002ba6: JUMPI 00002ba7: DUP2 00002ba8: PUSH1 0x20 00002baa: ADD 00002bab: PUSH1 0x20 00002bad: DUP3 00002bae: MUL 00002baf: DUP1 00002bb0: CODESIZE 00002bb1: DUP4 00002bb2: CODECOPY 00002bb3: DUP1 00002bb4: DUP3 00002bb5: ADD 00002bb6: SWAP2 00002bb7: POP 00002bb8: POP 00002bb9: SWAP1 00002bba: POP 00002bbb: JUMPDEST 00002bbc: POP 00002bbd: SWAP6 00002bbe: POP 00002bbf: PUSH2 0x2e18 00002bc2: JUMP 00002bc3: JUMPDEST 00002bc4: PUSH1 0x07 00002bc6: DUP6 00002bc7: MUL 00002bc8: PUSH1 0x40 00002bca: MLOAD 00002bcb: SWAP1 00002bcc: DUP1 00002bcd: DUP3 00002bce: MSTORE 00002bcf: DUP1 00002bd0: PUSH1 0x20 00002bd2: MUL 00002bd3: PUSH1 0x20 00002bd5: ADD 00002bd6: DUP3 00002bd7: ADD 00002bd8: PUSH1 0x40 00002bda: MSTORE 00002bdb: DUP1 00002bdc: ISZERO 00002bdd: PUSH2 0x2bf5 00002be0: JUMPI 00002be1: DUP2 00002be2: PUSH1 0x20 00002be4: ADD 00002be5: PUSH1 0x20 00002be7: DUP3 00002be8: MUL 00002be9: DUP1 00002bea: CODESIZE 00002beb: DUP4 00002bec: CODECOPY 00002bed: DUP1 00002bee: DUP3 00002bef: ADD 00002bf0: SWAP2 00002bf1: POP 00002bf2: POP 00002bf3: SWAP1 00002bf4: POP 00002bf5: JUMPDEST 00002bf6: POP 00002bf7: SWAP6 00002bf8: POP 00002bf9: PUSH2 0x2c00 00002bfc: PUSH2 0x1e8a 00002bff: JUMP 00002c00: JUMPDEST 00002c01: SWAP4 00002c02: POP 00002c03: PUSH1 0x00 00002c05: SWAP3 00002c06: POP 00002c07: PUSH1 0x00 00002c09: SWAP2 00002c0a: POP 00002c0b: JUMPDEST 00002c0c: DUP4 00002c0d: DUP3 00002c0e: LT 00002c0f: ISZERO 00002c10: PUSH2 0x2e14 00002c13: JUMPI 00002c14: DUP7 00002c15: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002c2a: AND 00002c2b: PUSH1 0x02 00002c2d: PUSH1 0x00 00002c2f: DUP5 00002c30: DUP2 00002c31: MSTORE 00002c32: PUSH1 0x20 00002c34: ADD 00002c35: SWAP1 00002c36: DUP2 00002c37: MSTORE 00002c38: PUSH1 0x20 00002c3a: ADD 00002c3b: PUSH1 0x00 00002c3d: KECCAK256 00002c3e: PUSH1 0x00 00002c40: SWAP1 00002c41: SLOAD 00002c42: SWAP1 00002c43: PUSH2 0x0100 00002c46: EXP 00002c47: SWAP1 00002c48: DIV 00002c49: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002c5e: AND 00002c5f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002c74: AND 00002c75: EQ 00002c76: ISZERO 00002c77: PUSH2 0x2e07 00002c7a: JUMPI 00002c7b: PUSH1 0x01 00002c7d: DUP3 00002c7e: DUP2 00002c7f: SLOAD 00002c80: DUP2 00002c81: LT 00002c82: ISZERO 00002c83: ISZERO 00002c84: PUSH2 0x2c89 00002c87: JUMPI 00002c88: INVALID 00002c89: JUMPDEST 00002c8a: SWAP1 00002c8b: PUSH1 0x00 00002c8d: MSTORE 00002c8e: PUSH1 0x20 00002c90: PUSH1 0x00 00002c92: KECCAK256 00002c93: SWAP1 00002c94: PUSH1 0x03 00002c96: MUL 00002c97: ADD 00002c98: SWAP1 00002c99: POP 00002c9a: DUP2 00002c9b: DUP7 00002c9c: DUP5 00002c9d: DUP1 00002c9e: PUSH1 0x01 00002ca0: ADD 00002ca1: SWAP6 00002ca2: POP 00002ca3: DUP2 00002ca4: MLOAD 00002ca5: DUP2 00002ca6: LT 00002ca7: ISZERO 00002ca8: ISZERO 00002ca9: PUSH2 0x2cae 00002cac: JUMPI 00002cad: INVALID 00002cae: JUMPDEST 00002caf: SWAP1 00002cb0: PUSH1 0x20 00002cb2: ADD 00002cb3: SWAP1 00002cb4: PUSH1 0x20 00002cb6: MUL 00002cb7: ADD 00002cb8: DUP2 00002cb9: DUP2 00002cba: MSTORE 00002cbb: POP 00002cbc: POP 00002cbd: DUP1 00002cbe: PUSH1 0x00 00002cc0: ADD 00002cc1: PUSH1 0x00 00002cc3: SWAP1 00002cc4: SLOAD 00002cc5: SWAP1 00002cc6: PUSH2 0x0100 00002cc9: EXP 00002cca: SWAP1 00002ccb: DIV 00002ccc: PUSH1 0xff 00002cce: AND 00002ccf: PUSH1 0x0a 00002cd1: DUP2 00002cd2: GT 00002cd3: ISZERO 00002cd4: PUSH2 0x2cd9 00002cd7: JUMPI 00002cd8: INVALID 00002cd9: JUMPDEST 00002cda: DUP7 00002cdb: DUP5 00002cdc: DUP1 00002cdd: PUSH1 0x01 00002cdf: ADD 00002ce0: SWAP6 00002ce1: POP 00002ce2: DUP2 00002ce3: MLOAD 00002ce4: DUP2 00002ce5: LT 00002ce6: ISZERO 00002ce7: ISZERO 00002ce8: PUSH2 0x2ced 00002ceb: JUMPI 00002cec: INVALID 00002ced: JUMPDEST 00002cee: SWAP1 00002cef: PUSH1 0x20 00002cf1: ADD 00002cf2: SWAP1 00002cf3: PUSH1 0x20 00002cf5: MUL 00002cf6: ADD 00002cf7: DUP2 00002cf8: DUP2 00002cf9: MSTORE 00002cfa: POP 00002cfb: POP 00002cfc: DUP1 00002cfd: PUSH1 0x00 00002cff: ADD 00002d00: PUSH1 0x01 00002d02: SWAP1 00002d03: SLOAD 00002d04: SWAP1 00002d05: PUSH2 0x0100 00002d08: EXP 00002d09: SWAP1 00002d0a: DIV 00002d0b: PUSH1 0xff 00002d0d: AND 00002d0e: PUSH1 0x15 00002d10: DUP2 00002d11: GT 00002d12: ISZERO 00002d13: PUSH2 0x2d18 00002d16: JUMPI 00002d17: INVALID 00002d18: JUMPDEST 00002d19: DUP7 00002d1a: DUP5 00002d1b: DUP1 00002d1c: PUSH1 0x01 00002d1e: ADD 00002d1f: SWAP6 00002d20: POP 00002d21: DUP2 00002d22: MLOAD 00002d23: DUP2 00002d24: LT 00002d25: ISZERO 00002d26: ISZERO 00002d27: PUSH2 0x2d2c 00002d2a: JUMPI 00002d2b: INVALID 00002d2c: JUMPDEST 00002d2d: SWAP1 00002d2e: PUSH1 0x20 00002d30: ADD 00002d31: SWAP1 00002d32: PUSH1 0x20 00002d34: MUL 00002d35: ADD 00002d36: DUP2 00002d37: DUP2 00002d38: MSTORE 00002d39: POP 00002d3a: POP 00002d3b: DUP1 00002d3c: PUSH1 0x00 00002d3e: ADD 00002d3f: PUSH1 0x02 00002d41: SWAP1 00002d42: SLOAD 00002d43: SWAP1 00002d44: PUSH2 0x0100 00002d47: EXP 00002d48: SWAP1 00002d49: DIV 00002d4a: PUSH1 0xff 00002d4c: AND 00002d4d: PUSH1 0x03 00002d4f: DUP2 00002d50: GT 00002d51: ISZERO 00002d52: PUSH2 0x2d57 00002d55: JUMPI 00002d56: INVALID 00002d57: JUMPDEST 00002d58: DUP7 00002d59: DUP5 00002d5a: DUP1 00002d5b: PUSH1 0x01 00002d5d: ADD 00002d5e: SWAP6 00002d5f: POP 00002d60: DUP2 00002d61: MLOAD 00002d62: DUP2 00002d63: LT 00002d64: ISZERO 00002d65: ISZERO 00002d66: PUSH2 0x2d6b 00002d69: JUMPI 00002d6a: INVALID 00002d6b: JUMPDEST 00002d6c: SWAP1 00002d6d: PUSH1 0x20 00002d6f: ADD 00002d70: SWAP1 00002d71: PUSH1 0x20 00002d73: MUL 00002d74: ADD 00002d75: DUP2 00002d76: DUP2 00002d77: MSTORE 00002d78: POP 00002d79: POP 00002d7a: DUP1 00002d7b: PUSH1 0x00 00002d7d: ADD 00002d7e: PUSH1 0x03 00002d80: SWAP1 00002d81: SLOAD 00002d82: SWAP1 00002d83: PUSH2 0x0100 00002d86: EXP 00002d87: SWAP1 00002d88: DIV 00002d89: PUSH1 0xff 00002d8b: AND 00002d8c: PUSH1 0x06 00002d8e: DUP2 00002d8f: GT 00002d90: ISZERO 00002d91: PUSH2 0x2d96 00002d94: JUMPI 00002d95: INVALID 00002d96: JUMPDEST 00002d97: DUP7 00002d98: DUP5 00002d99: DUP1 00002d9a: PUSH1 0x01 00002d9c: ADD 00002d9d: SWAP6 00002d9e: POP 00002d9f: DUP2 00002da0: MLOAD 00002da1: DUP2 00002da2: LT 00002da3: ISZERO 00002da4: ISZERO 00002da5: PUSH2 0x2daa 00002da8: JUMPI 00002da9: INVALID 00002daa: JUMPDEST 00002dab: SWAP1 00002dac: PUSH1 0x20 00002dae: ADD 00002daf: SWAP1 00002db0: PUSH1 0x20 00002db2: MUL 00002db3: ADD 00002db4: DUP2 00002db5: DUP2 00002db6: MSTORE 00002db7: POP 00002db8: POP 00002db9: DUP1 00002dba: PUSH1 0x01 00002dbc: ADD 00002dbd: SLOAD 00002dbe: DUP7 00002dbf: DUP5 00002dc0: DUP1 00002dc1: PUSH1 0x01 00002dc3: ADD 00002dc4: SWAP6 00002dc5: POP 00002dc6: DUP2 00002dc7: MLOAD 00002dc8: DUP2 00002dc9: LT 00002dca: ISZERO 00002dcb: ISZERO 00002dcc: PUSH2 0x2dd1 00002dcf: JUMPI 00002dd0: INVALID 00002dd1: JUMPDEST 00002dd2: SWAP1 00002dd3: PUSH1 0x20 00002dd5: ADD 00002dd6: SWAP1 00002dd7: PUSH1 0x20 00002dd9: MUL 00002dda: ADD 00002ddb: DUP2 00002ddc: DUP2 00002ddd: MSTORE 00002dde: POP 00002ddf: POP 00002de0: DUP1 00002de1: PUSH1 0x02 00002de3: ADD 00002de4: SLOAD 00002de5: DUP7 00002de6: DUP5 00002de7: DUP1 00002de8: PUSH1 0x01 00002dea: ADD 00002deb: SWAP6 00002dec: POP 00002ded: DUP2 00002dee: MLOAD 00002def: DUP2 00002df0: LT 00002df1: ISZERO 00002df2: ISZERO 00002df3: PUSH2 0x2df8 00002df6: JUMPI 00002df7: INVALID 00002df8: JUMPDEST 00002df9: SWAP1 00002dfa: PUSH1 0x20 00002dfc: ADD 00002dfd: SWAP1 00002dfe: PUSH1 0x20 00002e00: MUL 00002e01: ADD 00002e02: DUP2 00002e03: DUP2 00002e04: MSTORE 00002e05: POP 00002e06: POP 00002e07: JUMPDEST 00002e08: DUP2 00002e09: DUP1 00002e0a: PUSH1 0x01 00002e0c: ADD 00002e0d: SWAP3 00002e0e: POP 00002e0f: POP 00002e10: PUSH2 0x2c0b 00002e13: JUMP 00002e14: JUMPDEST 00002e15: DUP6 00002e16: SWAP6 00002e17: POP 00002e18: JUMPDEST 00002e19: POP 00002e1a: POP 00002e1b: POP 00002e1c: POP 00002e1d: POP 00002e1e: SWAP2 00002e1f: SWAP1 00002e20: POP 00002e21: JUMP 00002e22: JUMPDEST 00002e23: PUSH1 0x00 00002e25: DUP1 00002e26: SWAP1 00002e27: SLOAD 00002e28: SWAP1 00002e29: PUSH2 0x0100 00002e2c: EXP 00002e2d: SWAP1 00002e2e: DIV 00002e2f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002e44: AND 00002e45: DUP2 00002e46: JUMP 00002e47: JUMPDEST 00002e48: PUSH1 0x60 00002e4a: PUSH1 0x40 00002e4c: DUP1 00002e4d: MLOAD 00002e4e: SWAP1 00002e4f: DUP2 00002e50: ADD 00002e51: PUSH1 0x40 00002e53: MSTORE 00002e54: DUP1 00002e55: PUSH1 0x04 00002e57: DUP2 00002e58: MSTORE 00002e59: PUSH1 0x20 00002e5b: ADD 00002e5c: PUSH32 0x4350424100000000000000000000000000000000000000000000000000000000 00002e7d: DUP2 00002e7e: MSTORE 00002e7f: POP 00002e80: SWAP1 00002e81: POP 00002e82: SWAP1 00002e83: JUMP 00002e84: JUMPDEST 00002e85: PUSH1 0x0a 00002e87: SLOAD 00002e88: DUP2 00002e89: JUMP 00002e8a: JUMPDEST 00002e8b: PUSH1 0x60 00002e8d: PUSH1 0x00 00002e8f: PUSH1 0x60 00002e91: PUSH1 0x00 00002e93: DUP1 00002e94: PUSH1 0x00 00002e96: DUP1 00002e97: PUSH2 0x2e9f 00002e9a: DUP9 00002e9b: PUSH2 0x2816 00002e9e: JUMP 00002e9f: JUMPDEST 00002ea0: SWAP6 00002ea1: POP 00002ea2: PUSH1 0x00 00002ea4: DUP7 00002ea5: EQ 00002ea6: ISZERO 00002ea7: PUSH2 0x2ee2 00002eaa: JUMPI 00002eab: PUSH1 0x00 00002ead: PUSH1 0x40 00002eaf: MLOAD 00002eb0: SWAP1 00002eb1: DUP1 00002eb2: DUP3 00002eb3: MSTORE 00002eb4: DUP1 00002eb5: PUSH1 0x20 00002eb7: MUL 00002eb8: PUSH1 0x20 00002eba: ADD 00002ebb: DUP3 00002ebc: ADD 00002ebd: PUSH1 0x40 00002ebf: MSTORE 00002ec0: DUP1 00002ec1: ISZERO 00002ec2: PUSH2 0x2eda 00002ec5: JUMPI 00002ec6: DUP2 00002ec7: PUSH1 0x20 00002ec9: ADD 00002eca: PUSH1 0x20 00002ecc: DUP3 00002ecd: MUL 00002ece: DUP1 00002ecf: CODESIZE 00002ed0: DUP4 00002ed1: CODECOPY 00002ed2: DUP1 00002ed3: DUP3 00002ed4: ADD 00002ed5: SWAP2 00002ed6: POP 00002ed7: POP 00002ed8: SWAP1 00002ed9: POP 00002eda: JUMPDEST 00002edb: POP 00002edc: SWAP7 00002edd: POP 00002ede: PUSH2 0x305c 00002ee1: JUMP 00002ee2: JUMPDEST 00002ee3: DUP6 00002ee4: PUSH1 0x40 00002ee6: MLOAD 00002ee7: SWAP1 00002ee8: DUP1 00002ee9: DUP3 00002eea: MSTORE 00002eeb: DUP1 00002eec: PUSH1 0x20 00002eee: MUL 00002eef: PUSH1 0x20 00002ef1: ADD 00002ef2: DUP3 00002ef3: ADD 00002ef4: PUSH1 0x40 00002ef6: MSTORE 00002ef7: DUP1 00002ef8: ISZERO 00002ef9: PUSH2 0x2f11 00002efc: JUMPI 00002efd: DUP2 00002efe: PUSH1 0x20 00002f00: ADD 00002f01: PUSH1 0x20 00002f03: DUP3 00002f04: MUL 00002f05: DUP1 00002f06: CODESIZE 00002f07: DUP4 00002f08: CODECOPY 00002f09: DUP1 00002f0a: DUP3 00002f0b: ADD 00002f0c: SWAP2 00002f0d: POP 00002f0e: POP 00002f0f: SWAP1 00002f10: POP 00002f11: JUMPDEST 00002f12: POP 00002f13: SWAP5 00002f14: POP 00002f15: PUSH2 0x2f1c 00002f18: PUSH2 0x1e8a 00002f1b: JUMP 00002f1c: JUMPDEST 00002f1d: SWAP4 00002f1e: POP 00002f1f: PUSH1 0x00 00002f21: SWAP3 00002f22: POP 00002f23: PUSH1 0x00 00002f25: SWAP2 00002f26: POP 00002f27: JUMPDEST 00002f28: DUP4 00002f29: DUP3 00002f2a: LT 00002f2b: ISZERO 00002f2c: PUSH2 0x2fd8 00002f2f: JUMPI 00002f30: DUP8 00002f31: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002f46: AND 00002f47: PUSH1 0x02 00002f49: PUSH1 0x00 00002f4b: DUP5 00002f4c: DUP2 00002f4d: MSTORE 00002f4e: PUSH1 0x20 00002f50: ADD 00002f51: SWAP1 00002f52: DUP2 00002f53: MSTORE 00002f54: PUSH1 0x20 00002f56: ADD 00002f57: PUSH1 0x00 00002f59: KECCAK256 00002f5a: PUSH1 0x00 00002f5c: SWAP1 00002f5d: SLOAD 00002f5e: SWAP1 00002f5f: PUSH2 0x0100 00002f62: EXP 00002f63: SWAP1 00002f64: DIV 00002f65: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002f7a: AND 00002f7b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002f90: AND 00002f91: EQ 00002f92: DUP1 00002f93: ISZERO 00002f94: PUSH2 0x2fa2 00002f97: JUMPI 00002f98: POP 00002f99: PUSH2 0x2fa1 00002f9c: DUP3 00002f9d: PUSH2 0x1e97 00002fa0: JUMP 00002fa1: JUMPDEST 00002fa2: JUMPDEST 00002fa3: ISZERO 00002fa4: PUSH2 0x2fcb 00002fa7: JUMPI 00002fa8: DUP2 00002fa9: DUP6 00002faa: DUP5 00002fab: DUP1 00002fac: PUSH1 0x01 00002fae: ADD 00002faf: SWAP6 00002fb0: POP 00002fb1: DUP2 00002fb2: MLOAD 00002fb3: DUP2 00002fb4: LT 00002fb5: ISZERO 00002fb6: ISZERO 00002fb7: PUSH2 0x2fbc 00002fba: JUMPI 00002fbb: INVALID 00002fbc: JUMPDEST 00002fbd: SWAP1 00002fbe: PUSH1 0x20 00002fc0: ADD 00002fc1: SWAP1 00002fc2: PUSH1 0x20 00002fc4: MUL 00002fc5: ADD 00002fc6: DUP2 00002fc7: DUP2 00002fc8: MSTORE 00002fc9: POP 00002fca: POP 00002fcb: JUMPDEST 00002fcc: DUP2 00002fcd: DUP1 00002fce: PUSH1 0x01 00002fd0: ADD 00002fd1: SWAP3 00002fd2: POP 00002fd3: POP 00002fd4: PUSH2 0x2f27 00002fd7: JUMP 00002fd8: JUMPDEST 00002fd9: DUP3 00002fda: PUSH1 0x40 00002fdc: MLOAD 00002fdd: SWAP1 00002fde: DUP1 00002fdf: DUP3 00002fe0: MSTORE 00002fe1: DUP1 00002fe2: PUSH1 0x20 00002fe4: MUL 00002fe5: PUSH1 0x20 00002fe7: ADD 00002fe8: DUP3 00002fe9: ADD 00002fea: PUSH1 0x40 00002fec: MSTORE 00002fed: DUP1 00002fee: ISZERO 00002fef: PUSH2 0x3007 00002ff2: JUMPI 00002ff3: DUP2 00002ff4: PUSH1 0x20 00002ff6: ADD 00002ff7: PUSH1 0x20 00002ff9: DUP3 00002ffa: MUL 00002ffb: DUP1 00002ffc: CODESIZE 00002ffd: DUP4 00002ffe: CODECOPY 00002fff: DUP1 00003000: DUP3 00003001: ADD 00003002: SWAP2 00003003: POP 00003004: POP 00003005: SWAP1 00003006: POP 00003007: JUMPDEST 00003008: POP 00003009: SWAP7 0000300a: POP 0000300b: PUSH1 0x00 0000300d: SWAP1 0000300e: POP 0000300f: JUMPDEST 00003010: DUP3 00003011: DUP2 00003012: LT 00003013: ISZERO 00003014: PUSH2 0x3058 00003017: JUMPI 00003018: DUP5 00003019: DUP2 0000301a: DUP2 0000301b: MLOAD 0000301c: DUP2 0000301d: LT 0000301e: ISZERO 0000301f: ISZERO 00003020: PUSH2 0x3025 00003023: JUMPI 00003024: INVALID 00003025: JUMPDEST 00003026: SWAP1 00003027: PUSH1 0x20 00003029: ADD 0000302a: SWAP1 0000302b: PUSH1 0x20 0000302d: MUL 0000302e: ADD 0000302f: MLOAD 00003030: DUP8 00003031: DUP3 00003032: DUP2 00003033: MLOAD 00003034: DUP2 00003035: LT 00003036: ISZERO 00003037: ISZERO 00003038: PUSH2 0x303d 0000303b: JUMPI 0000303c: INVALID 0000303d: JUMPDEST 0000303e: SWAP1 0000303f: PUSH1 0x20 00003041: ADD 00003042: SWAP1 00003043: PUSH1 0x20 00003045: MUL 00003046: ADD 00003047: DUP2 00003048: DUP2 00003049: MSTORE 0000304a: POP 0000304b: POP 0000304c: DUP1 0000304d: DUP1 0000304e: PUSH1 0x01 00003050: ADD 00003051: SWAP2 00003052: POP 00003053: POP 00003054: PUSH2 0x300f 00003057: JUMP 00003058: JUMPDEST 00003059: DUP7 0000305a: SWAP7 0000305b: POP 0000305c: JUMPDEST 0000305d: POP 0000305e: POP 0000305f: POP 00003060: POP 00003061: POP 00003062: POP 00003063: SWAP2 00003064: SWAP1 00003065: POP 00003066: JUMP 00003067: JUMPDEST 00003068: PUSH1 0x00 0000306a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000307f: AND 00003080: DUP3 00003081: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00003096: AND 00003097: EQ 00003098: ISZERO 00003099: ISZERO 0000309a: ISZERO 0000309b: PUSH2 0x30a3 0000309e: JUMPI 0000309f: PUSH1 0x00 000030a1: DUP1 000030a2: REVERT 000030a3: JUMPDEST 000030a4: PUSH2 0x30ad 000030a7: CALLER 000030a8: DUP3 000030a9: PUSH2 0x38e9 000030ac: JUMP 000030ad: JUMPDEST 000030ae: ISZERO 000030af: ISZERO 000030b0: PUSH2 0x30b8 000030b3: JUMPI 000030b4: PUSH1 0x00 000030b6: DUP1 000030b7: REVERT 000030b8: JUMPDEST 000030b9: PUSH2 0x30c2 000030bc: DUP3 000030bd: DUP3 000030be: PUSH2 0x38e9 000030c1: JUMP 000030c2: JUMPDEST 000030c3: ISZERO 000030c4: ISZERO 000030c5: ISZERO 000030c6: PUSH2 0x30ce 000030c9: JUMPI 000030ca: PUSH1 0x00 000030cc: DUP1 000030cd: REVERT 000030ce: JUMPDEST 000030cf: PUSH2 0x30d9 000030d2: CALLER 000030d3: DUP4 000030d4: DUP4 000030d5: PUSH2 0x3a62 000030d8: JUMP 000030d9: JUMPDEST 000030da: POP 000030db: POP 000030dc: JUMP 000030dd: JUMPDEST 000030de: PUSH1 0x06 000030e0: PUSH1 0x00 000030e2: SWAP1 000030e3: SLOAD 000030e4: SWAP1 000030e5: PUSH2 0x0100 000030e8: EXP 000030e9: SWAP1 000030ea: DIV 000030eb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00003100: AND 00003101: DUP2 00003102: JUMP 00003103: JUMPDEST 00003104: PUSH1 0x05 00003106: PUSH1 0x00 00003108: SWAP1 00003109: SLOAD 0000310a: SWAP1 0000310b: PUSH2 0x0100 0000310e: EXP 0000310f: SWAP1 00003110: DIV 00003111: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00003126: AND 00003127: DUP2 00003128: JUMP 00003129: JUMPDEST 0000312a: PUSH1 0x01 0000312c: DUP2 0000312d: DUP2 0000312e: SLOAD 0000312f: DUP2 00003130: LT 00003131: ISZERO 00003132: ISZERO 00003133: PUSH2 0x3138 00003136: JUMPI 00003137: INVALID 00003138: JUMPDEST 00003139: SWAP1 0000313a: PUSH1 0x00 0000313c: MSTORE 0000313d: PUSH1 0x20 0000313f: PUSH1 0x00 00003141: KECCAK256 00003142: SWAP1 00003143: PUSH1 0x03 00003145: MUL 00003146: ADD 00003147: PUSH1 0x00 00003149: SWAP2 0000314a: POP 0000314b: SWAP1 0000314c: POP 0000314d: DUP1 0000314e: PUSH1 0x00 00003150: ADD 00003151: PUSH1 0x00 00003153: SWAP1 00003154: SLOAD 00003155: SWAP1 00003156: PUSH2 0x0100 00003159: EXP 0000315a: SWAP1 0000315b: DIV 0000315c: PUSH1 0xff 0000315e: AND 0000315f: SWAP1 00003160: DUP1 00003161: PUSH1 0x00 00003163: ADD 00003164: PUSH1 0x01 00003166: SWAP1 00003167: SLOAD 00003168: SWAP1 00003169: PUSH2 0x0100 0000316c: EXP 0000316d: SWAP1 0000316e: DIV 0000316f: PUSH1 0xff 00003171: AND 00003172: SWAP1 00003173: DUP1 00003174: PUSH1 0x00 00003176: ADD 00003177: PUSH1 0x02 00003179: SWAP1 0000317a: SLOAD 0000317b: SWAP1 0000317c: PUSH2 0x0100 0000317f: EXP 00003180: SWAP1 00003181: DIV 00003182: PUSH1 0xff 00003184: AND 00003185: SWAP1 00003186: DUP1 00003187: PUSH1 0x00 00003189: ADD 0000318a: PUSH1 0x03 0000318c: SWAP1 0000318d: SLOAD 0000318e: SWAP1 0000318f: PUSH2 0x0100 00003192: EXP 00003193: SWAP1 00003194: DIV 00003195: PUSH1 0xff 00003197: AND 00003198: SWAP1 00003199: DUP1 0000319a: PUSH1 0x01 0000319c: ADD 0000319d: SLOAD 0000319e: SWAP1 0000319f: DUP1 000031a0: PUSH1 0x02 000031a2: ADD 000031a3: SLOAD 000031a4: SWAP1 000031a5: POP 000031a6: DUP7 000031a7: JUMP 000031a8: JUMPDEST 000031a9: PUSH1 0x60 000031ab: PUSH1 0x00 000031ad: DUP1 000031ae: PUSH1 0x07 000031b0: PUSH1 0x40 000031b2: MLOAD 000031b3: SWAP1 000031b4: DUP1 000031b5: DUP3 000031b6: MSTORE 000031b7: DUP1 000031b8: PUSH1 0x20 000031ba: MUL 000031bb: PUSH1 0x20 000031bd: ADD 000031be: DUP3 000031bf: ADD 000031c0: PUSH1 0x40 000031c2: MSTORE 000031c3: DUP1 000031c4: ISZERO 000031c5: PUSH2 0x31dd 000031c8: JUMPI 000031c9: DUP2 000031ca: PUSH1 0x20 000031cc: ADD 000031cd: PUSH1 0x20 000031cf: DUP3 000031d0: MUL 000031d1: DUP1 000031d2: CODESIZE 000031d3: DUP4 000031d4: CODECOPY 000031d5: DUP1 000031d6: DUP3 000031d7: ADD 000031d8: SWAP2 000031d9: POP 000031da: POP 000031db: SWAP1 000031dc: POP 000031dd: JUMPDEST 000031de: POP 000031df: SWAP3 000031e0: POP 000031e1: PUSH1 0x00 000031e3: SWAP2 000031e4: POP 000031e5: PUSH1 0x01 000031e7: DUP5 000031e8: DUP2 000031e9: SLOAD 000031ea: DUP2 000031eb: LT 000031ec: ISZERO 000031ed: ISZERO 000031ee: PUSH2 0x31f3 000031f1: JUMPI 000031f2: INVALID 000031f3: JUMPDEST 000031f4: SWAP1 000031f5: PUSH1 0x00 000031f7: MSTORE 000031f8: PUSH1 0x20 000031fa: PUSH1 0x00 000031fc: KECCAK256 000031fd: SWAP1 000031fe: PUSH1 0x03 00003200: MUL 00003201: ADD 00003202: SWAP1 00003203: POP 00003204: DUP4 00003205: DUP4 00003206: DUP4 00003207: DUP1 00003208: PUSH1 0x01 0000320a: ADD 0000320b: SWAP5 0000320c: POP 0000320d: DUP2 0000320e: MLOAD 0000320f: DUP2 00003210: LT 00003211: ISZERO 00003212: ISZERO 00003213: PUSH2 0x3218 00003216: JUMPI 00003217: INVALID 00003218: JUMPDEST 00003219: SWAP1 0000321a: PUSH1 0x20 0000321c: ADD 0000321d: SWAP1 0000321e: PUSH1 0x20 00003220: MUL 00003221: ADD 00003222: DUP2 00003223: DUP2 00003224: MSTORE 00003225: POP 00003226: POP 00003227: DUP1 00003228: PUSH1 0x00 0000322a: ADD 0000322b: PUSH1 0x00 0000322d: SWAP1 0000322e: SLOAD 0000322f: SWAP1 00003230: PUSH2 0x0100 00003233: EXP 00003234: SWAP1 00003235: DIV 00003236: PUSH1 0xff 00003238: AND 00003239: PUSH1 0x0a 0000323b: DUP2 0000323c: GT 0000323d: ISZERO 0000323e: PUSH2 0x3243 00003241: JUMPI 00003242: INVALID 00003243: JUMPDEST 00003244: DUP4 00003245: DUP4 00003246: DUP1 00003247: PUSH1 0x01 00003249: ADD 0000324a: SWAP5 0000324b: POP 0000324c: DUP2 0000324d: MLOAD 0000324e: DUP2 0000324f: LT 00003250: ISZERO 00003251: ISZERO 00003252: PUSH2 0x3257 00003255: JUMPI 00003256: INVALID 00003257: JUMPDEST 00003258: SWAP1 00003259: PUSH1 0x20 0000325b: ADD 0000325c: SWAP1 0000325d: PUSH1 0x20 0000325f: MUL 00003260: ADD 00003261: DUP2 00003262: DUP2 00003263: MSTORE 00003264: POP 00003265: POP 00003266: DUP1 00003267: PUSH1 0x00 00003269: ADD 0000326a: PUSH1 0x01 0000326c: SWAP1 0000326d: SLOAD 0000326e: SWAP1 0000326f: PUSH2 0x0100 00003272: EXP 00003273: SWAP1 00003274: DIV 00003275: PUSH1 0xff 00003277: AND 00003278: PUSH1 0x15 0000327a: DUP2 0000327b: GT 0000327c: ISZERO 0000327d: PUSH2 0x3282 00003280: JUMPI 00003281: INVALID 00003282: JUMPDEST 00003283: DUP4 00003284: DUP4 00003285: DUP1 00003286: PUSH1 0x01 00003288: ADD 00003289: SWAP5 0000328a: POP 0000328b: DUP2 0000328c: MLOAD 0000328d: DUP2 0000328e: LT 0000328f: ISZERO 00003290: ISZERO 00003291: PUSH2 0x3296 00003294: JUMPI 00003295: INVALID 00003296: JUMPDEST 00003297: SWAP1 00003298: PUSH1 0x20 0000329a: ADD 0000329b: SWAP1 0000329c: PUSH1 0x20 0000329e: MUL 0000329f: ADD 000032a0: DUP2 000032a1: DUP2 000032a2: MSTORE 000032a3: POP 000032a4: POP 000032a5: DUP1 000032a6: PUSH1 0x00 000032a8: ADD 000032a9: PUSH1 0x02 000032ab: SWAP1 000032ac: SLOAD 000032ad: SWAP1 000032ae: PUSH2 0x0100 000032b1: EXP 000032b2: SWAP1 000032b3: DIV 000032b4: PUSH1 0xff 000032b6: AND 000032b7: PUSH1 0x03 000032b9: DUP2 000032ba: GT 000032bb: ISZERO 000032bc: PUSH2 0x32c1 000032bf: JUMPI 000032c0: INVALID 000032c1: JUMPDEST 000032c2: DUP4 000032c3: DUP4 000032c4: DUP1 000032c5: PUSH1 0x01 000032c7: ADD 000032c8: SWAP5 000032c9: POP 000032ca: DUP2 000032cb: MLOAD 000032cc: DUP2 000032cd: LT 000032ce: ISZERO 000032cf: ISZERO 000032d0: PUSH2 0x32d5 000032d3: JUMPI 000032d4: INVALID 000032d5: JUMPDEST 000032d6: SWAP1 000032d7: PUSH1 0x20 000032d9: ADD 000032da: SWAP1 000032db: PUSH1 0x20 000032dd: MUL 000032de: ADD 000032df: DUP2 000032e0: DUP2 000032e1: MSTORE 000032e2: POP 000032e3: POP 000032e4: DUP1 000032e5: PUSH1 0x00 000032e7: ADD 000032e8: PUSH1 0x03 000032ea: SWAP1 000032eb: SLOAD 000032ec: SWAP1 000032ed: PUSH2 0x0100 000032f0: EXP 000032f1: SWAP1 000032f2: DIV 000032f3: PUSH1 0xff 000032f5: AND 000032f6: PUSH1 0x06 000032f8: DUP2 000032f9: GT 000032fa: ISZERO 000032fb: PUSH2 0x3300 000032fe: JUMPI 000032ff: INVALID 00003300: JUMPDEST 00003301: DUP4 00003302: DUP4 00003303: DUP1 00003304: PUSH1 0x01 00003306: ADD 00003307: SWAP5 00003308: POP 00003309: DUP2 0000330a: MLOAD 0000330b: DUP2 0000330c: LT 0000330d: ISZERO 0000330e: ISZERO 0000330f: PUSH2 0x3314 00003312: JUMPI 00003313: INVALID 00003314: JUMPDEST 00003315: SWAP1 00003316: PUSH1 0x20 00003318: ADD 00003319: SWAP1 0000331a: PUSH1 0x20 0000331c: MUL 0000331d: ADD 0000331e: DUP2 0000331f: DUP2 00003320: MSTORE 00003321: POP 00003322: POP 00003323: DUP1 00003324: PUSH1 0x01 00003326: ADD 00003327: SLOAD 00003328: DUP4 00003329: DUP4 0000332a: DUP1 0000332b: PUSH1 0x01 0000332d: ADD 0000332e: SWAP5 0000332f: POP 00003330: DUP2 00003331: MLOAD 00003332: DUP2 00003333: LT 00003334: ISZERO 00003335: ISZERO 00003336: PUSH2 0x333b 00003339: JUMPI 0000333a: INVALID 0000333b: JUMPDEST 0000333c: SWAP1 0000333d: PUSH1 0x20 0000333f: ADD 00003340: SWAP1 00003341: PUSH1 0x20 00003343: MUL 00003344: ADD 00003345: DUP2 00003346: DUP2 00003347: MSTORE 00003348: POP 00003349: POP 0000334a: DUP1 0000334b: PUSH1 0x02 0000334d: ADD 0000334e: SLOAD 0000334f: DUP4 00003350: DUP4 00003351: DUP1 00003352: PUSH1 0x01 00003354: ADD 00003355: SWAP5 00003356: POP 00003357: DUP2 00003358: MLOAD 00003359: DUP2 0000335a: LT 0000335b: ISZERO 0000335c: ISZERO 0000335d: PUSH2 0x3362 00003360: JUMPI 00003361: INVALID 00003362: JUMPDEST 00003363: SWAP1 00003364: PUSH1 0x20 00003366: ADD 00003367: SWAP1 00003368: PUSH1 0x20 0000336a: MUL 0000336b: ADD 0000336c: DUP2 0000336d: DUP2 0000336e: MSTORE 0000336f: POP 00003370: POP 00003371: POP 00003372: POP 00003373: SWAP2 00003374: SWAP1 00003375: POP 00003376: JUMP 00003377: JUMPDEST 00003378: PUSH1 0x03 0000337a: PUSH1 0x20 0000337c: MSTORE 0000337d: DUP1 0000337e: PUSH1 0x00 00003380: MSTORE 00003381: PUSH1 0x40 00003383: PUSH1 0x00 00003385: KECCAK256 00003386: PUSH1 0x00 00003388: SWAP2 00003389: POP 0000338a: SWAP1 0000338b: POP 0000338c: SLOAD 0000338d: DUP2 0000338e: JUMP 0000338f: JUMPDEST 00003390: PUSH1 0x0d 00003392: SLOAD 00003393: DUP2 00003394: JUMP 00003395: JUMPDEST 00003396: PUSH1 0x00 00003398: DUP1 00003399: SWAP1 0000339a: SLOAD 0000339b: SWAP1 0000339c: PUSH2 0x0100 0000339f: EXP 000033a0: SWAP1 000033a1: DIV 000033a2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000033b7: AND 000033b8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000033cd: AND 000033ce: CALLER 000033cf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000033e4: AND 000033e5: EQ 000033e6: ISZERO 000033e7: ISZERO 000033e8: PUSH2 0x33f0 000033eb: JUMPI 000033ec: PUSH1 0x00 000033ee: DUP1 000033ef: REVERT 000033f0: JUMPDEST 000033f1: DUP1 000033f2: PUSH1 0x05 000033f4: PUSH1 0x00 000033f6: PUSH2 0x0100 000033f9: EXP 000033fa: DUP2 000033fb: SLOAD 000033fc: DUP2 000033fd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00003412: MUL 00003413: NOT 00003414: AND 00003415: SWAP1 00003416: DUP4 00003417: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000342c: AND 0000342d: MUL 0000342e: OR 0000342f: SWAP1 00003430: SSTORE 00003431: POP 00003432: POP 00003433: JUMP 00003434: JUMPDEST 00003435: PUSH1 0x10 00003437: PUSH1 0x20 00003439: MSTORE 0000343a: DUP1 0000343b: PUSH1 0x00 0000343d: MSTORE 0000343e: PUSH1 0x40 00003440: PUSH1 0x00 00003442: KECCAK256 00003443: PUSH1 0x00 00003445: SWAP2 00003446: POP 00003447: SWAP1 00003448: POP 00003449: SLOAD 0000344a: DUP2 0000344b: JUMP 0000344c: JUMPDEST 0000344d: PUSH1 0x00 0000344f: DUP1 00003450: SWAP1 00003451: SLOAD 00003452: SWAP1 00003453: PUSH2 0x0100 00003456: EXP 00003457: SWAP1 00003458: DIV 00003459: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000346e: AND 0000346f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00003484: AND 00003485: CALLER 00003486: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000349b: AND 0000349c: EQ 0000349d: ISZERO 0000349e: ISZERO 0000349f: PUSH2 0x34a7 000034a2: JUMPI 000034a3: PUSH1 0x00 000034a5: DUP1 000034a6: REVERT 000034a7: JUMPDEST 000034a8: PUSH1 0x00 000034aa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000034bf: AND 000034c0: DUP4 000034c1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000034d6: AND 000034d7: EQ 000034d8: ISZERO 000034d9: ISZERO 000034da: ISZERO 000034db: PUSH2 0x34e3 000034de: JUMPI 000034df: PUSH1 0x00 000034e1: DUP1 000034e2: REVERT 000034e3: JUMPDEST 000034e4: PUSH1 0x00 000034e6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000034fb: AND 000034fc: DUP3 000034fd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00003512: AND 00003513: EQ 00003514: ISZERO 00003515: ISZERO 00003516: ISZERO 00003517: PUSH2 0x351f 0000351a: JUMPI 0000351b: PUSH1 0x00 0000351d: DUP1 0000351e: REVERT 0000351f: JUMPDEST 00003520: PUSH1 0x00 00003522: DUP2 00003523: GT 00003524: ISZERO 00003525: ISZERO 00003526: PUSH2 0x352e 00003529: JUMPI 0000352a: PUSH1 0x00 0000352c: DUP1 0000352d: REVERT 0000352e: JUMPDEST 0000352f: DUP3 00003530: PUSH1 0x07 00003532: PUSH1 0x00 00003534: PUSH2 0x0100 00003537: EXP 00003538: DUP2 00003539: SLOAD 0000353a: DUP2 0000353b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00003550: MUL 00003551: NOT 00003552: AND 00003553: SWAP1 00003554: DUP4 00003555: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000356a: AND 0000356b: MUL 0000356c: OR 0000356d: SWAP1 0000356e: SSTORE 0000356f: POP 00003570: DUP2 00003571: PUSH1 0x09 00003573: PUSH1 0x00 00003575: PUSH2 0x0100 00003578: EXP 00003579: DUP2 0000357a: SLOAD 0000357b: DUP2 0000357c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00003591: MUL 00003592: NOT 00003593: AND 00003594: SWAP1 00003595: DUP4 00003596: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000035ab: AND 000035ac: MUL 000035ad: OR 000035ae: SWAP1 000035af: SSTORE 000035b0: POP 000035b1: DUP1 000035b2: PUSH1 0x0b 000035b4: DUP2 000035b5: SWAP1 000035b6: SSTORE 000035b7: POP 000035b8: POP 000035b9: POP 000035ba: POP 000035bb: JUMP 000035bc: JUMPDEST 000035bd: PUSH1 0x07 000035bf: PUSH1 0x00 000035c1: SWAP1 000035c2: SLOAD 000035c3: SWAP1 000035c4: PUSH2 0x0100 000035c7: EXP 000035c8: SWAP1 000035c9: DIV 000035ca: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000035df: AND 000035e0: DUP2 000035e1: JUMP 000035e2: JUMPDEST 000035e3: PUSH10 0x0a968163f0a57b400000 000035ee: DUP2 000035ef: JUMP 000035f0: JUMPDEST 000035f1: PUSH1 0x02 000035f3: PUSH1 0x20 000035f5: MSTORE 000035f6: DUP1 000035f7: PUSH1 0x00 000035f9: MSTORE 000035fa: PUSH1 0x40 000035fc: PUSH1 0x00 000035fe: KECCAK256 000035ff: PUSH1 0x00 00003601: SWAP2 00003602: POP 00003603: SLOAD 00003604: SWAP1 00003605: PUSH2 0x0100 00003608: EXP 00003609: SWAP1 0000360a: DIV 0000360b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00003620: AND 00003621: DUP2 00003622: JUMP 00003623: JUMPDEST 00003624: PUSH9 0x022b1c8c1227a00000 0000362e: DUP4 0000362f: LT 00003630: ISZERO 00003631: PUSH2 0x3663 00003634: JUMPI 00003635: PUSH2 0x363e 00003638: DUP4 00003639: DUP4 0000363a: PUSH2 0x3bf3 0000363d: JUMP 0000363e: JUMPDEST 0000363f: PUSH2 0x3648 00003642: DUP4 00003643: DUP4 00003644: PUSH2 0x3c65 00003647: JUMP 00003648: JUMPDEST 00003649: PUSH2 0x3654 0000364c: PUSH1 0x0f 0000364e: DUP5 0000364f: DUP5 00003650: PUSH2 0x3ca1 00003653: JUMP 00003654: JUMPDEST 00003655: PUSH2 0x365e 00003658: DUP4 00003659: DUP4 0000365a: PUSH2 0x3cb8 0000365d: JUMP 0000365e: JUMPDEST 0000365f: PUSH2 0x3888 00003662: JUMP 00003663: JUMPDEST 00003664: PUSH9 0x056bc75e2d63100000 0000366e: DUP4 0000366f: LT 00003670: ISZERO 00003671: PUSH2 0x36c8 00003674: JUMPI 00003675: PUSH2 0x367e 00003678: DUP4 00003679: DUP4 0000367a: PUSH2 0x3bf3 0000367d: JUMP 0000367e: JUMPDEST 0000367f: PUSH2 0x3688 00003682: DUP4 00003683: DUP4 00003684: PUSH2 0x3ccf 00003687: JUMP 00003688: JUMPDEST 00003689: PUSH2 0x3692 0000368c: DUP4 0000368d: DUP4 0000368e: PUSH2 0x3c65 00003691: JUMP 00003692: JUMPDEST 00003693: PUSH2 0x36b9 00003696: PUSH1 0x10 00003698: DUP3 00003699: PUSH2 0x36a2 0000369c: JUMPI 0000369d: DUP5 0000369e: PUSH2 0x36b3 000036a1: JUMP 000036a2: JUMPDEST 000036a3: PUSH1 0x64 000036a5: PUSH1 0x69 000036a7: DUP7 000036a8: MUL 000036a9: DUP2 000036aa: ISZERO 000036ab: ISZERO 000036ac: PUSH2 0x36b1 000036af: JUMPI 000036b0: INVALID 000036b1: JUMPDEST 000036b2: DIV 000036b3: JUMPDEST 000036b4: DUP5 000036b5: PUSH2 0x3ca1 000036b8: JUMP 000036b9: JUMPDEST 000036ba: PUSH2 0x36c3 000036bd: DUP4 000036be: DUP4 000036bf: PUSH2 0x3cb8 000036c2: JUMP 000036c3: JUMPDEST 000036c4: PUSH2 0x3887 000036c7: JUMP 000036c8: JUMPDEST 000036c9: PUSH9 0x1b1ae4d6e2ef500000 000036d3: DUP4 000036d4: LT 000036d5: ISZERO 000036d6: PUSH2 0x3737 000036d9: JUMPI 000036da: PUSH2 0x36e3 000036dd: DUP4 000036de: DUP4 000036df: PUSH2 0x3bf3 000036e2: JUMP 000036e3: JUMPDEST 000036e4: PUSH2 0x36ed 000036e7: DUP4 000036e8: DUP4 000036e9: PUSH2 0x3ccf 000036ec: JUMP 000036ed: JUMPDEST 000036ee: PUSH2 0x36f7 000036f1: DUP4 000036f2: DUP4 000036f3: PUSH2 0x3d42 000036f6: JUMP 000036f7: JUMPDEST 000036f8: PUSH2 0x3701 000036fb: DUP4 000036fc: DUP4 000036fd: PUSH2 0x3db4 00003700: JUMP 00003701: JUMPDEST 00003702: PUSH2 0x3728 00003705: PUSH1 0x11 00003707: DUP3 00003708: PUSH2 0x3711 0000370b: JUMPI 0000370c: DUP5 0000370d: PUSH2 0x3722 00003710: JUMP 00003711: JUMPDEST 00003712: PUSH1 0x64 00003714: PUSH1 0x6e 00003716: DUP7 00003717: MUL 00003718: DUP2 00003719: ISZERO 0000371a: ISZERO 0000371b: PUSH2 0x3720 0000371e: JUMPI 0000371f: INVALID 00003720: JUMPDEST 00003721: DIV 00003722: JUMPDEST 00003723: DUP5 00003724: PUSH2 0x3ca1 00003727: JUMP 00003728: JUMPDEST 00003729: PUSH2 0x3732 0000372c: DUP4 0000372d: DUP4 0000372e: PUSH2 0x3cb8 00003731: JUMP 00003732: JUMPDEST 00003733: PUSH2 0x3886 00003736: JUMP 00003737: JUMPDEST 00003738: PUSH9 0x3635c9adc5dea00000 00003742: DUP4 00003743: LT 00003744: ISZERO 00003745: PUSH2 0x37a6 00003748: JUMPI 00003749: PUSH2 0x3752 0000374c: DUP4 0000374d: DUP4 0000374e: PUSH2 0x3bf3 00003751: JUMP 00003752: JUMPDEST 00003753: PUSH2 0x375c 00003756: DUP4 00003757: DUP4 00003758: PUSH2 0x3ccf 0000375b: JUMP 0000375c: JUMPDEST 0000375d: PUSH2 0x3766 00003760: DUP4 00003761: DUP4 00003762: PUSH2 0x3d42 00003765: JUMP 00003766: JUMPDEST 00003767: PUSH2 0x3770 0000376a: DUP4 0000376b: DUP4 0000376c: PUSH2 0x3db4 0000376f: JUMP 00003770: JUMPDEST 00003771: PUSH2 0x3797 00003774: PUSH1 0x12 00003776: DUP3 00003777: PUSH2 0x3780 0000377a: JUMPI 0000377b: DUP5 0000377c: PUSH2 0x3791 0000377f: JUMP 00003780: JUMPDEST 00003781: PUSH1 0x64 00003783: PUSH1 0x73 00003785: DUP7 00003786: MUL 00003787: DUP2 00003788: ISZERO 00003789: ISZERO 0000378a: PUSH2 0x378f 0000378d: JUMPI 0000378e: INVALID 0000378f: JUMPDEST 00003790: DIV 00003791: JUMPDEST 00003792: DUP5 00003793: PUSH2 0x3ca1 00003796: JUMP 00003797: JUMPDEST 00003798: PUSH2 0x37a1 0000379b: DUP4 0000379c: DUP4 0000379d: PUSH2 0x3cb8 000037a0: JUMP 000037a1: JUMPDEST 000037a2: PUSH2 0x3885 000037a5: JUMP 000037a6: JUMPDEST 000037a7: PUSH10 0x010f0cf064dd59200000 000037b2: DUP4 000037b3: LT 000037b4: ISZERO 000037b5: PUSH2 0x3816 000037b8: JUMPI 000037b9: PUSH2 0x37c2 000037bc: DUP4 000037bd: DUP4 000037be: PUSH2 0x3bf3 000037c1: JUMP 000037c2: JUMPDEST 000037c3: PUSH2 0x37cc 000037c6: DUP4 000037c7: DUP4 000037c8: PUSH2 0x3ccf 000037cb: JUMP 000037cc: JUMPDEST 000037cd: PUSH2 0x37d6 000037d0: DUP4 000037d1: DUP4 000037d2: PUSH2 0x3d42 000037d5: JUMP 000037d6: JUMPDEST 000037d7: PUSH2 0x37e0 000037da: DUP4 000037db: DUP4 000037dc: PUSH2 0x3df0 000037df: JUMP 000037e0: JUMPDEST 000037e1: PUSH2 0x3807 000037e4: PUSH1 0x13 000037e6: DUP3 000037e7: PUSH2 0x37f0 000037ea: JUMPI 000037eb: DUP5 000037ec: PUSH2 0x3801 000037ef: JUMP 000037f0: JUMPDEST 000037f1: PUSH1 0x64 000037f3: PUSH1 0x78 000037f5: DUP7 000037f6: MUL 000037f7: DUP2 000037f8: ISZERO 000037f9: ISZERO 000037fa: PUSH2 0x37ff 000037fd: JUMPI 000037fe: INVALID 000037ff: JUMPDEST 00003800: DIV 00003801: JUMPDEST 00003802: DUP5 00003803: PUSH2 0x3ca1 00003806: JUMP 00003807: JUMPDEST 00003808: PUSH2 0x3811 0000380b: DUP4 0000380c: DUP4 0000380d: PUSH2 0x3cb8 00003810: JUMP 00003811: JUMPDEST 00003812: PUSH2 0x3884 00003815: JUMP 00003816: JUMPDEST 00003817: PUSH10 0x010f0cf064dd59200000 00003822: DUP4 00003823: LT 00003824: ISZERO 00003825: ISZERO 00003826: PUSH2 0x3883 00003829: JUMPI 0000382a: PUSH2 0x3833 0000382d: DUP4 0000382e: DUP4 0000382f: PUSH2 0x3bf3 00003832: JUMP 00003833: JUMPDEST 00003834: PUSH2 0x383d 00003837: DUP4 00003838: DUP4 00003839: PUSH2 0x3ccf 0000383c: JUMP 0000383d: JUMPDEST 0000383e: PUSH2 0x3847 00003841: DUP4 00003842: DUP4 00003843: PUSH2 0x3d42 00003846: JUMP 00003847: JUMPDEST 00003848: PUSH2 0x3851 0000384b: DUP4 0000384c: DUP4 0000384d: PUSH2 0x3df0 00003850: JUMP 00003851: JUMPDEST 00003852: PUSH2 0x3878 00003855: PUSH1 0x14 00003857: DUP3 00003858: PUSH2 0x3861 0000385b: JUMPI 0000385c: DUP5 0000385d: PUSH2 0x3872 00003860: JUMP 00003861: JUMPDEST 00003862: PUSH1 0x64 00003864: PUSH1 0x87 00003866: DUP7 00003867: MUL 00003868: DUP2 00003869: ISZERO 0000386a: ISZERO 0000386b: PUSH2 0x3870 0000386e: JUMPI 0000386f: INVALID 00003870: JUMPDEST 00003871: DIV 00003872: JUMPDEST 00003873: DUP5 00003874: PUSH2 0x3ca1 00003877: JUMP 00003878: JUMPDEST 00003879: PUSH2 0x3882 0000387c: DUP4 0000387d: DUP4 0000387e: PUSH2 0x3cb8 00003881: JUMP 00003882: JUMPDEST 00003883: JUMPDEST 00003884: JUMPDEST 00003885: JUMPDEST 00003886: JUMPDEST 00003887: JUMPDEST 00003888: JUMPDEST 00003889: POP 0000388a: POP 0000388b: POP 0000388c: JUMP 0000388d: JUMPDEST 0000388e: PUSH1 0x60 00003890: DUP1 00003891: PUSH1 0x00 00003893: DUP1 00003894: DUP5 00003895: PUSH1 0x40 00003897: MLOAD 00003898: SWAP1 00003899: DUP1 0000389a: DUP3 0000389b: MSTORE 0000389c: DUP1 0000389d: PUSH1 0x1f 0000389f: ADD 000038a0: PUSH1 0x1f 000038a2: NOT 000038a3: AND 000038a4: PUSH1 0x20 000038a6: ADD 000038a7: DUP3 000038a8: ADD 000038a9: PUSH1 0x40 000038ab: MSTORE 000038ac: DUP1 000038ad: ISZERO 000038ae: PUSH2 0x38c6 000038b1: JUMPI 000038b2: DUP2 000038b3: PUSH1 0x20 000038b5: ADD 000038b6: PUSH1 0x20 000038b8: DUP3 000038b9: MUL 000038ba: DUP1 000038bb: CODESIZE 000038bc: DUP4 000038bd: CODECOPY 000038be: DUP1 000038bf: DUP3 000038c0: ADD 000038c1: SWAP2 000038c2: POP 000038c3: POP 000038c4: SWAP1 000038c5: POP 000038c6: JUMPDEST 000038c7: POP 000038c8: SWAP3 000038c9: POP 000038ca: PUSH1 0x20 000038cc: DUP4 000038cd: ADD 000038ce: SWAP2 000038cf: POP 000038d0: DUP6 000038d1: SWAP1 000038d2: POP 000038d3: PUSH2 0x38dd 000038d6: DUP3 000038d7: DUP3 000038d8: DUP8 000038d9: PUSH2 0x3e2b 000038dc: JUMP 000038dd: JUMPDEST 000038de: DUP3 000038df: SWAP4 000038e0: POP 000038e1: POP 000038e2: POP 000038e3: POP 000038e4: SWAP3 000038e5: SWAP2 000038e6: POP 000038e7: POP 000038e8: JUMP 000038e9: JUMPDEST 000038ea: PUSH1 0x00 000038ec: DUP3 000038ed: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00003902: AND 00003903: PUSH1 0x02 00003905: PUSH1 0x00 00003907: DUP5 00003908: DUP2 00003909: MSTORE 0000390a: PUSH1 0x20 0000390c: ADD 0000390d: SWAP1 0000390e: DUP2 0000390f: MSTORE 00003910: PUSH1 0x20 00003912: ADD 00003913: PUSH1 0x00 00003915: KECCAK256 00003916: PUSH1 0x00 00003918: SWAP1 00003919: SLOAD 0000391a: SWAP1 0000391b: PUSH2 0x0100 0000391e: EXP 0000391f: SWAP1 00003920: DIV 00003921: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00003936: AND 00003937: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000394c: AND 0000394d: EQ 0000394e: SWAP1 0000394f: POP 00003950: SWAP3 00003951: SWAP2 00003952: POP 00003953: POP 00003954: JUMP 00003955: JUMPDEST 00003956: DUP1 00003957: PUSH1 0x04 00003959: PUSH1 0x00 0000395b: DUP5 0000395c: DUP2 0000395d: MSTORE 0000395e: PUSH1 0x20 00003960: ADD 00003961: SWAP1 00003962: DUP2 00003963: MSTORE 00003964: PUSH1 0x20 00003966: ADD 00003967: PUSH1 0x00 00003969: KECCAK256 0000396a: PUSH1 0x00 0000396c: PUSH2 0x0100 0000396f: EXP 00003970: DUP2 00003971: SLOAD 00003972: DUP2 00003973: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00003988: MUL 00003989: NOT 0000398a: AND 0000398b: SWAP1 0000398c: DUP4 0000398d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000039a2: AND 000039a3: MUL 000039a4: OR 000039a5: SWAP1 000039a6: SSTORE 000039a7: POP 000039a8: POP 000039a9: POP 000039aa: JUMP 000039ab: JUMPDEST 000039ac: PUSH1 0x00 000039ae: DUP1 000039af: PUSH1 0x0a 000039b1: DUP2 000039b2: GT 000039b3: ISZERO 000039b4: PUSH2 0x39b9 000039b7: JUMPI 000039b8: INVALID 000039b9: JUMPDEST 000039ba: DUP3 000039bb: PUSH1 0x00 000039bd: ADD 000039be: MLOAD 000039bf: PUSH1 0x0a 000039c1: DUP2 000039c2: GT 000039c3: ISZERO 000039c4: PUSH2 0x39c9 000039c7: JUMPI 000039c8: INVALID 000039c9: JUMPDEST 000039ca: EQ 000039cb: DUP1 000039cc: PUSH2 0x39ef 000039cf: JUMPI 000039d0: POP 000039d1: PUSH1 0x01 000039d3: PUSH1 0x0a 000039d5: DUP2 000039d6: GT 000039d7: ISZERO 000039d8: PUSH2 0x39dd 000039db: JUMPI 000039dc: INVALID 000039dd: JUMPDEST 000039de: DUP3 000039df: PUSH1 0x00 000039e1: ADD 000039e2: MLOAD 000039e3: PUSH1 0x0a 000039e5: DUP2 000039e6: GT 000039e7: ISZERO 000039e8: PUSH2 0x39ed 000039eb: JUMPI 000039ec: INVALID 000039ed: JUMPDEST 000039ee: EQ 000039ef: JUMPDEST 000039f0: SWAP1 000039f1: POP 000039f2: SWAP2 000039f3: SWAP1 000039f4: POP 000039f5: JUMP 000039f6: JUMPDEST 000039f7: PUSH1 0x00 000039f9: DUP3 000039fa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00003a0f: AND 00003a10: PUSH1 0x04 00003a12: PUSH1 0x00 00003a14: DUP5 00003a15: DUP2 00003a16: MSTORE 00003a17: PUSH1 0x20 00003a19: ADD 00003a1a: SWAP1 00003a1b: DUP2 00003a1c: MSTORE 00003a1d: PUSH1 0x20 00003a1f: ADD 00003a20: PUSH1 0x00 00003a22: KECCAK256 00003a23: PUSH1 0x00 00003a25: SWAP1 00003a26: SLOAD 00003a27: SWAP1 00003a28: PUSH2 0x0100 00003a2b: EXP 00003a2c: SWAP1 00003a2d: DIV 00003a2e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00003a43: AND 00003a44: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00003a59: AND 00003a5a: EQ 00003a5b: SWAP1 00003a5c: POP 00003a5d: SWAP3 00003a5e: SWAP2 00003a5f: POP 00003a60: POP 00003a61: JUMP 00003a62: JUMPDEST 00003a63: PUSH1 0x03 00003a65: PUSH1 0x00 00003a67: DUP5 00003a68: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00003a7d: AND 00003a7e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00003a93: AND 00003a94: DUP2 00003a95: MSTORE 00003a96: PUSH1 0x20 00003a98: ADD 00003a99: SWAP1 00003a9a: DUP2 00003a9b: MSTORE 00003a9c: PUSH1 0x20 00003a9e: ADD 00003a9f: PUSH1 0x00 00003aa1: KECCAK256 00003aa2: PUSH1 0x00 00003aa4: DUP2 00003aa5: SLOAD 00003aa6: DUP1 00003aa7: SWAP3 00003aa8: SWAP2 00003aa9: SWAP1 00003aaa: PUSH1 0x01 00003aac: SWAP1 00003aad: SUB 00003aae: SWAP2 00003aaf: SWAP1 00003ab0: POP 00003ab1: SSTORE 00003ab2: POP 00003ab3: PUSH1 0x03 00003ab5: PUSH1 0x00 00003ab7: DUP4 00003ab8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00003acd: AND 00003ace: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00003ae3: AND 00003ae4: DUP2 00003ae5: MSTORE 00003ae6: PUSH1 0x20 00003ae8: ADD 00003ae9: SWAP1 00003aea: DUP2 00003aeb: MSTORE 00003aec: PUSH1 0x20 00003aee: ADD 00003aef: PUSH1 0x00 00003af1: KECCAK256 00003af2: PUSH1 0x00 00003af4: DUP2 00003af5: SLOAD 00003af6: DUP1 00003af7: SWAP3 00003af8: SWAP2 00003af9: SWAP1 00003afa: PUSH1 0x01 00003afc: ADD 00003afd: SWAP2 00003afe: SWAP1 00003aff: POP 00003b00: SSTORE 00003b01: POP 00003b02: DUP2 00003b03: PUSH1 0x02 00003b05: PUSH1 0x00 00003b07: DUP4 00003b08: DUP2 00003b09: MSTORE 00003b0a: PUSH1 0x20 00003b0c: ADD 00003b0d: SWAP1 00003b0e: DUP2 00003b0f: MSTORE 00003b10: PUSH1 0x20 00003b12: ADD 00003b13: PUSH1 0x00 00003b15: KECCAK256 00003b16: PUSH1 0x00 00003b18: PUSH2 0x0100 00003b1b: EXP 00003b1c: DUP2 00003b1d: SLOAD 00003b1e: DUP2 00003b1f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00003b34: MUL 00003b35: NOT 00003b36: AND 00003b37: SWAP1 00003b38: DUP4 00003b39: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00003b4e: AND 00003b4f: MUL 00003b50: OR 00003b51: SWAP1 00003b52: SSTORE 00003b53: POP 00003b54: PUSH1 0x04 00003b56: PUSH1 0x00 00003b58: DUP3 00003b59: DUP2 00003b5a: MSTORE 00003b5b: PUSH1 0x20 00003b5d: ADD 00003b5e: SWAP1 00003b5f: DUP2 00003b60: MSTORE 00003b61: PUSH1 0x20 00003b63: ADD 00003b64: PUSH1 0x00 00003b66: KECCAK256 00003b67: PUSH1 0x00 00003b69: PUSH2 0x0100 00003b6c: EXP 00003b6d: DUP2 00003b6e: SLOAD 00003b6f: SWAP1 00003b70: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00003b85: MUL 00003b86: NOT 00003b87: AND 00003b88: SWAP1 00003b89: SSTORE 00003b8a: DUP2 00003b8b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00003ba0: AND 00003ba1: DUP4 00003ba2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00003bb7: AND 00003bb8: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00003bd9: DUP4 00003bda: PUSH1 0x40 00003bdc: MLOAD 00003bdd: DUP1 00003bde: DUP3 00003bdf: DUP2 00003be0: MSTORE 00003be1: PUSH1 0x20 00003be3: ADD 00003be4: SWAP2 00003be5: POP 00003be6: POP 00003be7: PUSH1 0x40 00003be9: MLOAD 00003bea: DUP1 00003beb: SWAP2 00003bec: SUB 00003bed: SWAP1 00003bee: LOG3 00003bef: POP 00003bf0: POP 00003bf1: POP 00003bf2: JUMP 00003bf3: JUMPDEST 00003bf4: PUSH2 0x3c04 00003bf7: PUSH1 0x05 00003bf9: PUSH1 0x00 00003bfb: DUP1 00003bfc: PUSH1 0x04 00003bfe: DUP7 00003bff: DUP7 00003c00: PUSH2 0x3e76 00003c03: JUMP 00003c04: JUMPDEST 00003c05: POP 00003c06: PUSH2 0x3c16 00003c09: PUSH1 0x06 00003c0b: PUSH1 0x00 00003c0d: DUP1 00003c0e: PUSH1 0x04 00003c10: DUP7 00003c11: DUP7 00003c12: PUSH2 0x3e76 00003c15: JUMP 00003c16: JUMPDEST 00003c17: POP 00003c18: PUSH2 0x3c28 00003c1b: PUSH1 0x07 00003c1d: PUSH1 0x00 00003c1f: DUP1 00003c20: PUSH1 0x04 00003c22: DUP7 00003c23: DUP7 00003c24: PUSH2 0x3e76 00003c27: JUMP 00003c28: JUMPDEST 00003c29: POP 00003c2a: PUSH2 0x3c3b 00003c2d: PUSH1 0x08 00003c2f: PUSH1 0x06 00003c31: PUSH1 0x00 00003c33: PUSH1 0x04 00003c35: DUP7 00003c36: DUP7 00003c37: PUSH2 0x3e76 00003c3a: JUMP 00003c3b: JUMPDEST 00003c3c: POP 00003c3d: PUSH2 0x3c4d 00003c40: PUSH1 0x09 00003c42: DUP1 00003c43: PUSH1 0x00 00003c45: PUSH1 0x04 00003c47: DUP7 00003c48: DUP7 00003c49: PUSH2 0x3e76 00003c4c: JUMP 00003c4d: JUMPDEST 00003c4e: POP 00003c4f: PUSH2 0x3c60 00003c52: PUSH1 0x0a 00003c54: PUSH1 0x0c 00003c56: PUSH1 0x00 00003c58: PUSH1 0x04 00003c5a: DUP7 00003c5b: DUP7 00003c5c: PUSH2 0x3e76 00003c5f: JUMP 00003c60: JUMPDEST 00003c61: POP 00003c62: POP 00003c63: POP 00003c64: JUMP 00003c65: JUMPDEST 00003c66: PUSH2 0x3c77 00003c69: PUSH1 0x02 00003c6b: PUSH1 0x05 00003c6d: PUSH1 0x03 00003c6f: PUSH1 0x04 00003c71: DUP7 00003c72: DUP7 00003c73: PUSH2 0x3e76 00003c76: JUMP 00003c77: JUMPDEST 00003c78: POP 00003c79: PUSH2 0x3c8a 00003c7c: PUSH1 0x03 00003c7e: PUSH1 0x05 00003c80: PUSH1 0x03 00003c82: PUSH1 0x04 00003c84: DUP7 00003c85: DUP7 00003c86: PUSH2 0x3e76 00003c89: JUMP 00003c8a: JUMPDEST 00003c8b: POP 00003c8c: PUSH2 0x3c9c 00003c8f: PUSH1 0x04 00003c91: PUSH1 0x03 00003c93: DUP1 00003c94: PUSH1 0x06 00003c96: DUP7 00003c97: DUP7 00003c98: PUSH2 0x3e76 00003c9b: JUMP 00003c9c: JUMPDEST 00003c9d: POP 00003c9e: POP 00003c9f: POP 00003ca0: JUMP 00003ca1: JUMPDEST 00003ca2: PUSH2 0x3cb2 00003ca5: PUSH1 0x00 00003ca7: DUP5 00003ca8: PUSH1 0x03 00003caa: PUSH1 0x05 00003cac: DUP7 00003cad: DUP7 00003cae: PUSH2 0x3e76 00003cb1: JUMP 00003cb2: JUMPDEST 00003cb3: POP 00003cb4: POP 00003cb5: POP 00003cb6: POP 00003cb7: JUMP 00003cb8: JUMPDEST 00003cb9: PUSH2 0x3cca 00003cbc: PUSH1 0x01 00003cbe: PUSH1 0x15 00003cc0: PUSH1 0x03 00003cc2: PUSH1 0x06 00003cc4: DUP7 00003cc5: DUP7 00003cc6: PUSH2 0x3e76 00003cc9: JUMP 00003cca: JUMPDEST 00003ccb: POP 00003ccc: POP 00003ccd: POP 00003cce: JUMP 00003ccf: JUMPDEST 00003cd0: PUSH2 0x3ce0 00003cd3: PUSH1 0x05 00003cd5: PUSH1 0x01 00003cd7: DUP1 00003cd8: PUSH1 0x05 00003cda: DUP7 00003cdb: DUP7 00003cdc: PUSH2 0x3e76 00003cdf: JUMP 00003ce0: JUMPDEST 00003ce1: POP 00003ce2: PUSH2 0x3cf2 00003ce5: PUSH1 0x06 00003ce7: PUSH1 0x01 00003ce9: DUP1 00003cea: PUSH1 0x05 00003cec: DUP7 00003ced: DUP7 00003cee: PUSH2 0x3e76 00003cf1: JUMP 00003cf2: JUMPDEST 00003cf3: POP 00003cf4: PUSH2 0x3d04 00003cf7: PUSH1 0x07 00003cf9: PUSH1 0x01 00003cfb: DUP1 00003cfc: PUSH1 0x05 00003cfe: DUP7 00003cff: DUP7 00003d00: PUSH2 0x3e76 00003d03: JUMP 00003d04: JUMPDEST 00003d05: POP 00003d06: PUSH2 0x3d17 00003d09: PUSH1 0x08 00003d0b: PUSH1 0x07 00003d0d: PUSH1 0x01 00003d0f: PUSH1 0x05 00003d11: DUP7 00003d12: DUP7 00003d13: PUSH2 0x3e76 00003d16: JUMP 00003d17: JUMPDEST 00003d18: POP 00003d19: PUSH2 0x3d2a 00003d1c: PUSH1 0x09 00003d1e: PUSH1 0x0a 00003d20: PUSH1 0x01 00003d22: PUSH1 0x05 00003d24: DUP7 00003d25: DUP7 00003d26: PUSH2 0x3e76 00003d29: JUMP 00003d2a: JUMPDEST 00003d2b: POP 00003d2c: PUSH2 0x3d3d 00003d2f: PUSH1 0x0a 00003d31: PUSH1 0x0d 00003d33: PUSH1 0x01 00003d35: PUSH1 0x05 00003d37: DUP7 00003d38: DUP7 00003d39: PUSH2 0x3e76 00003d3c: JUMP 00003d3d: JUMPDEST 00003d3e: POP 00003d3f: POP 00003d40: POP 00003d41: JUMP 00003d42: JUMPDEST 00003d43: PUSH2 0x3d53 00003d46: PUSH1 0x05 00003d48: PUSH1 0x02 00003d4a: DUP1 00003d4b: PUSH1 0x06 00003d4d: DUP7 00003d4e: DUP7 00003d4f: PUSH2 0x3e76 00003d52: JUMP 00003d53: JUMPDEST 00003d54: POP 00003d55: PUSH2 0x3d65 00003d58: PUSH1 0x06 00003d5a: PUSH1 0x02 00003d5c: DUP1 00003d5d: PUSH1 0x06 00003d5f: DUP7 00003d60: DUP7 00003d61: PUSH2 0x3e76 00003d64: JUMP 00003d65: JUMPDEST 00003d66: POP 00003d67: PUSH2 0x3d77 00003d6a: PUSH1 0x07 00003d6c: PUSH1 0x02 00003d6e: DUP1 00003d6f: PUSH1 0x06 00003d71: DUP7 00003d72: DUP7 00003d73: PUSH2 0x3e76 00003d76: JUMP 00003d77: JUMPDEST 00003d78: POP 00003d79: PUSH2 0x3d89 00003d7c: PUSH1 0x08 00003d7e: DUP1 00003d7f: PUSH1 0x02 00003d81: PUSH1 0x06 00003d83: DUP7 00003d84: DUP7 00003d85: PUSH2 0x3e76 00003d88: JUMP 00003d89: JUMPDEST 00003d8a: POP 00003d8b: PUSH2 0x3d9c 00003d8e: PUSH1 0x09 00003d90: PUSH1 0x0b 00003d92: PUSH1 0x02 00003d94: PUSH1 0x06 00003d96: DUP7 00003d97: DUP7 00003d98: PUSH2 0x3e76 00003d9b: JUMP 00003d9c: JUMPDEST 00003d9d: POP 00003d9e: PUSH2 0x3daf 00003da1: PUSH1 0x0a 00003da3: PUSH1 0x0e 00003da5: PUSH1 0x02 00003da7: PUSH1 0x06 00003da9: DUP7 00003daa: DUP7 00003dab: PUSH2 0x3e76 00003dae: JUMP 00003daf: JUMPDEST 00003db0: POP 00003db1: POP 00003db2: POP 00003db3: JUMP 00003db4: JUMPDEST 00003db5: PUSH2 0x3dc6 00003db8: PUSH1 0x02 00003dba: PUSH1 0x04 00003dbc: PUSH1 0x03 00003dbe: PUSH1 0x05 00003dc0: DUP7 00003dc1: DUP7 00003dc2: PUSH2 0x3e76 00003dc5: JUMP 00003dc6: JUMPDEST 00003dc7: POP 00003dc8: PUSH2 0x3dd9 00003dcb: PUSH1 0x03 00003dcd: PUSH1 0x04 00003dcf: PUSH1 0x03 00003dd1: PUSH1 0x05 00003dd3: DUP7 00003dd4: DUP7 00003dd5: PUSH2 0x3e76 00003dd8: JUMP 00003dd9: JUMPDEST 00003dda: POP 00003ddb: PUSH2 0x3deb 00003dde: PUSH1 0x04 00003de0: PUSH1 0x03 00003de2: DUP1 00003de3: PUSH1 0x06 00003de5: DUP7 00003de6: DUP7 00003de7: PUSH2 0x3e76 00003dea: JUMP 00003deb: JUMPDEST 00003dec: POP 00003ded: POP 00003dee: POP 00003def: JUMP 00003df0: JUMPDEST 00003df1: PUSH2 0x3e01 00003df4: PUSH1 0x02 00003df6: DUP1 00003df7: PUSH1 0x03 00003df9: PUSH1 0x06 00003dfb: DUP7 00003dfc: DUP7 00003dfd: PUSH2 0x3e76 00003e00: JUMP 00003e01: JUMPDEST 00003e02: POP 00003e03: PUSH2 0x3e14 00003e06: PUSH1 0x03 00003e08: PUSH1 0x02 00003e0a: PUSH1 0x03 00003e0c: PUSH1 0x06 00003e0e: DUP7 00003e0f: DUP7 00003e10: PUSH2 0x3e76 00003e13: JUMP 00003e14: JUMPDEST 00003e15: POP 00003e16: PUSH2 0x3e26 00003e19: PUSH1 0x04 00003e1b: PUSH1 0x03 00003e1d: DUP1 00003e1e: PUSH1 0x06 00003e20: DUP7 00003e21: DUP7 00003e22: PUSH2 0x3e76 00003e25: JUMP 00003e26: JUMPDEST 00003e27: POP 00003e28: POP 00003e29: POP 00003e2a: JUMP 00003e2b: JUMPDEST 00003e2c: PUSH1 0x00 00003e2e: JUMPDEST 00003e2f: PUSH1 0x20 00003e31: DUP3 00003e32: LT 00003e33: ISZERO 00003e34: ISZERO 00003e35: PUSH2 0x3e53 00003e38: JUMPI 00003e39: DUP3 00003e3a: MLOAD 00003e3b: DUP5 00003e3c: MSTORE 00003e3d: PUSH1 0x20 00003e3f: DUP5 00003e40: ADD 00003e41: SWAP4 00003e42: POP 00003e43: PUSH1 0x20 00003e45: DUP4 00003e46: ADD 00003e47: SWAP3 00003e48: POP 00003e49: PUSH1 0x20 00003e4b: DUP3 00003e4c: SUB 00003e4d: SWAP2 00003e4e: POP 00003e4f: PUSH2 0x3e2e 00003e52: JUMP 00003e53: JUMPDEST 00003e54: PUSH1 0x01 00003e56: DUP3 00003e57: PUSH1 0x20 00003e59: SUB 00003e5a: PUSH2 0x0100 00003e5d: EXP 00003e5e: SUB 00003e5f: SWAP1 00003e60: POP 00003e61: DUP1 00003e62: NOT 00003e63: DUP4 00003e64: MLOAD 00003e65: AND 00003e66: DUP2 00003e67: DUP6 00003e68: MLOAD 00003e69: AND 00003e6a: DUP2 00003e6b: DUP2 00003e6c: OR 00003e6d: DUP7 00003e6e: MSTORE 00003e6f: POP 00003e70: POP 00003e71: POP 00003e72: POP 00003e73: POP 00003e74: POP 00003e75: JUMP 00003e76: JUMPDEST 00003e77: PUSH1 0x00 00003e79: PUSH2 0x3e80 00003e7c: PUSH2 0x4193 00003e7f: JUMP 00003e80: JUMPDEST 00003e81: PUSH1 0x00 00003e83: DUP1 00003e84: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00003e99: AND 00003e9a: DUP5 00003e9b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00003eb0: AND 00003eb1: EQ 00003eb2: ISZERO 00003eb3: ISZERO 00003eb4: ISZERO 00003eb5: PUSH2 0x3ebd 00003eb8: JUMPI 00003eb9: PUSH1 0x00 00003ebb: DUP1 00003ebc: REVERT 00003ebd: JUMPDEST 00003ebe: PUSH1 0xc0 00003ec0: PUSH1 0x40 00003ec2: MLOAD 00003ec3: SWAP1 00003ec4: DUP2 00003ec5: ADD 00003ec6: PUSH1 0x40 00003ec8: MSTORE 00003ec9: DUP1 00003eca: DUP11 00003ecb: PUSH1 0x0a 00003ecd: DUP2 00003ece: GT 00003ecf: ISZERO 00003ed0: PUSH2 0x3ed5 00003ed3: JUMPI 00003ed4: INVALID 00003ed5: JUMPDEST 00003ed6: DUP2 00003ed7: MSTORE 00003ed8: PUSH1 0x20 00003eda: ADD 00003edb: DUP10 00003edc: PUSH1 0x15 00003ede: DUP2 00003edf: GT 00003ee0: ISZERO 00003ee1: PUSH2 0x3ee6 00003ee4: JUMPI 00003ee5: INVALID 00003ee6: JUMPDEST 00003ee7: DUP2 00003ee8: MSTORE 00003ee9: PUSH1 0x20 00003eeb: ADD 00003eec: DUP9 00003eed: PUSH1 0x03 00003eef: DUP2 00003ef0: GT 00003ef1: ISZERO 00003ef2: PUSH2 0x3ef7 00003ef5: JUMPI 00003ef6: INVALID 00003ef7: JUMPDEST 00003ef8: DUP2 00003ef9: MSTORE 00003efa: PUSH1 0x20 00003efc: ADD 00003efd: DUP8 00003efe: PUSH1 0x06 00003f00: DUP2 00003f01: GT 00003f02: ISZERO 00003f03: PUSH2 0x3f08 00003f06: JUMPI 00003f07: INVALID 00003f08: JUMPDEST 00003f09: DUP2 00003f0a: MSTORE 00003f0b: PUSH1 0x20 00003f0d: ADD 00003f0e: TIMESTAMP 00003f0f: DUP2 00003f10: MSTORE 00003f11: PUSH1 0x20 00003f13: ADD 00003f14: DUP7 00003f15: DUP2 00003f16: MSTORE 00003f17: POP 00003f18: SWAP2 00003f19: POP 00003f1a: PUSH1 0x01 00003f1c: DUP1 00003f1d: SLOAD 00003f1e: SWAP1 00003f1f: POP 00003f20: SWAP1 00003f21: POP 00003f22: PUSH1 0x01 00003f24: DUP3 00003f25: SWAP1 00003f26: DUP1 00003f27: PUSH1 0x01 00003f29: DUP2 00003f2a: SLOAD 00003f2b: ADD 00003f2c: DUP1 00003f2d: DUP3 00003f2e: SSTORE 00003f2f: DUP1 00003f30: SWAP2 00003f31: POP 00003f32: POP 00003f33: SWAP1 00003f34: PUSH1 0x01 00003f36: DUP3 00003f37: SUB 00003f38: SWAP1 00003f39: PUSH1 0x00 00003f3b: MSTORE 00003f3c: PUSH1 0x20 00003f3e: PUSH1 0x00 00003f40: KECCAK256 00003f41: SWAP1 00003f42: PUSH1 0x03 00003f44: MUL 00003f45: ADD 00003f46: PUSH1 0x00 00003f48: SWAP1 00003f49: SWAP2 00003f4a: SWAP3 00003f4b: SWAP1 00003f4c: SWAP2 00003f4d: SWAP1 00003f4e: SWAP2 00003f4f: POP 00003f50: PUSH1 0x00 00003f52: DUP3 00003f53: ADD 00003f54: MLOAD 00003f55: DUP2 00003f56: PUSH1 0x00 00003f58: ADD 00003f59: PUSH1 0x00 00003f5b: PUSH2 0x0100 00003f5e: EXP 00003f5f: DUP2 00003f60: SLOAD 00003f61: DUP2 00003f62: PUSH1 0xff 00003f64: MUL 00003f65: NOT 00003f66: AND 00003f67: SWAP1 00003f68: DUP4 00003f69: PUSH1 0x0a 00003f6b: DUP2 00003f6c: GT 00003f6d: ISZERO 00003f6e: PUSH2 0x3f73 00003f71: JUMPI 00003f72: INVALID 00003f73: JUMPDEST 00003f74: MUL 00003f75: OR 00003f76: SWAP1 00003f77: SSTORE 00003f78: POP 00003f79: PUSH1 0x20 00003f7b: DUP3 00003f7c: ADD 00003f7d: MLOAD 00003f7e: DUP2 00003f7f: PUSH1 0x00 00003f81: ADD 00003f82: PUSH1 0x01 00003f84: PUSH2 0x0100 00003f87: EXP 00003f88: DUP2 00003f89: SLOAD 00003f8a: DUP2 00003f8b: PUSH1 0xff 00003f8d: MUL 00003f8e: NOT 00003f8f: AND 00003f90: SWAP1 00003f91: DUP4 00003f92: PUSH1 0x15 00003f94: DUP2 00003f95: GT 00003f96: ISZERO 00003f97: PUSH2 0x3f9c 00003f9a: JUMPI 00003f9b: INVALID 00003f9c: JUMPDEST 00003f9d: MUL 00003f9e: OR 00003f9f: SWAP1 00003fa0: SSTORE 00003fa1: POP 00003fa2: PUSH1 0x40 00003fa4: DUP3 00003fa5: ADD 00003fa6: MLOAD 00003fa7: DUP2 00003fa8: PUSH1 0x00 00003faa: ADD 00003fab: PUSH1 0x02 00003fad: PUSH2 0x0100 00003fb0: EXP 00003fb1: DUP2 00003fb2: SLOAD 00003fb3: DUP2 00003fb4: PUSH1 0xff 00003fb6: MUL 00003fb7: NOT 00003fb8: AND 00003fb9: SWAP1 00003fba: DUP4 00003fbb: PUSH1 0x03 00003fbd: DUP2 00003fbe: GT 00003fbf: ISZERO 00003fc0: PUSH2 0x3fc5 00003fc3: JUMPI 00003fc4: INVALID 00003fc5: JUMPDEST 00003fc6: MUL 00003fc7: OR 00003fc8: SWAP1 00003fc9: SSTORE 00003fca: POP 00003fcb: PUSH1 0x60 00003fcd: DUP3 00003fce: ADD 00003fcf: MLOAD 00003fd0: DUP2 00003fd1: PUSH1 0x00 00003fd3: ADD 00003fd4: PUSH1 0x03 00003fd6: PUSH2 0x0100 00003fd9: EXP 00003fda: DUP2 00003fdb: SLOAD 00003fdc: DUP2 00003fdd: PUSH1 0xff 00003fdf: MUL 00003fe0: NOT 00003fe1: AND 00003fe2: SWAP1 00003fe3: DUP4 00003fe4: PUSH1 0x06 00003fe6: DUP2 00003fe7: GT 00003fe8: ISZERO 00003fe9: PUSH2 0x3fee 00003fec: JUMPI 00003fed: INVALID 00003fee: JUMPDEST 00003fef: MUL 00003ff0: OR 00003ff1: SWAP1 00003ff2: SSTORE 00003ff3: POP 00003ff4: PUSH1 0x80 00003ff6: DUP3 00003ff7: ADD 00003ff8: MLOAD 00003ff9: DUP2 00003ffa: PUSH1 0x01 00003ffc: ADD 00003ffd: SSTORE 00003ffe: PUSH1 0xa0 00004000: DUP3 00004001: ADD 00004002: MLOAD 00004003: DUP2 00004004: PUSH1 0x02 00004006: ADD 00004007: SSTORE 00004008: POP 00004009: POP 0000400a: POP 0000400b: DUP4 0000400c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00004021: AND 00004022: PUSH32 0x415a1f90c777219675a661a2b715cde655fe9f44ce8580a90dc84d33cc61f504 00004043: DUP3 00004044: DUP12 00004045: DUP12 00004046: DUP12 00004047: DUP12 00004048: TIMESTAMP 00004049: DUP13 0000404a: PUSH1 0x40 0000404c: MLOAD 0000404d: DUP1 0000404e: DUP9 0000404f: DUP2 00004050: MSTORE 00004051: PUSH1 0x20 00004053: ADD 00004054: DUP8 00004055: PUSH1 0x0a 00004057: DUP2 00004058: GT 00004059: ISZERO 0000405a: PUSH2 0x405f 0000405d: JUMPI 0000405e: INVALID 0000405f: JUMPDEST 00004060: PUSH1 0xff 00004062: AND 00004063: DUP2 00004064: MSTORE 00004065: PUSH1 0x20 00004067: ADD 00004068: DUP7 00004069: PUSH1 0x15 0000406b: DUP2 0000406c: GT 0000406d: ISZERO 0000406e: PUSH2 0x4073 00004071: JUMPI 00004072: INVALID 00004073: JUMPDEST 00004074: PUSH1 0xff 00004076: AND 00004077: DUP2 00004078: MSTORE 00004079: PUSH1 0x20 0000407b: ADD 0000407c: DUP6 0000407d: PUSH1 0x03 0000407f: DUP2 00004080: GT 00004081: ISZERO 00004082: PUSH2 0x4087 00004085: JUMPI 00004086: INVALID 00004087: JUMPDEST 00004088: PUSH1 0xff 0000408a: AND 0000408b: DUP2 0000408c: MSTORE 0000408d: PUSH1 0x20 0000408f: ADD 00004090: DUP5 00004091: PUSH1 0x06 00004093: DUP2 00004094: GT 00004095: ISZERO 00004096: PUSH2 0x409b 00004099: JUMPI 0000409a: INVALID 0000409b: JUMPDEST 0000409c: PUSH1 0xff 0000409e: AND 0000409f: DUP2 000040a0: MSTORE 000040a1: PUSH1 0x20 000040a3: ADD 000040a4: DUP4 000040a5: DUP2 000040a6: MSTORE 000040a7: PUSH1 0x20 000040a9: ADD 000040aa: DUP3 000040ab: DUP2 000040ac: MSTORE 000040ad: PUSH1 0x20 000040af: ADD 000040b0: SWAP8 000040b1: POP 000040b2: POP 000040b3: POP 000040b4: POP 000040b5: POP 000040b6: POP 000040b7: POP 000040b8: POP 000040b9: PUSH1 0x40 000040bb: MLOAD 000040bc: DUP1 000040bd: SWAP2 000040be: SUB 000040bf: SWAP1 000040c0: LOG2 000040c1: PUSH1 0x03 000040c3: PUSH1 0x00 000040c5: DUP6 000040c6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000040db: AND 000040dc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000040f1: AND 000040f2: DUP2 000040f3: MSTORE 000040f4: PUSH1 0x20 000040f6: ADD 000040f7: SWAP1 000040f8: DUP2 000040f9: MSTORE 000040fa: PUSH1 0x20 000040fc: ADD 000040fd: PUSH1 0x00 000040ff: KECCAK256 00004100: PUSH1 0x00 00004102: DUP2 00004103: SLOAD 00004104: DUP1 00004105: SWAP3 00004106: SWAP2 00004107: SWAP1 00004108: PUSH1 0x01 0000410a: ADD 0000410b: SWAP2 0000410c: SWAP1 0000410d: POP 0000410e: SSTORE 0000410f: POP 00004110: DUP4 00004111: PUSH1 0x02 00004113: PUSH1 0x00 00004115: DUP4 00004116: DUP2 00004117: MSTORE 00004118: PUSH1 0x20 0000411a: ADD 0000411b: SWAP1 0000411c: DUP2 0000411d: MSTORE 0000411e: PUSH1 0x20 00004120: ADD 00004121: PUSH1 0x00 00004123: KECCAK256 00004124: PUSH1 0x00 00004126: PUSH2 0x0100 00004129: EXP 0000412a: DUP2 0000412b: SLOAD 0000412c: DUP2 0000412d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00004142: MUL 00004143: NOT 00004144: AND 00004145: SWAP1 00004146: DUP4 00004147: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000415c: AND 0000415d: MUL 0000415e: OR 0000415f: SWAP1 00004160: SSTORE 00004161: POP 00004162: DUP1 00004163: SWAP3 00004164: POP 00004165: POP 00004166: POP 00004167: SWAP7 00004168: SWAP6 00004169: POP 0000416a: POP 0000416b: POP 0000416c: POP 0000416d: POP 0000416e: POP 0000416f: JUMP 00004170: JUMPDEST 00004171: PUSH1 0x80 00004173: PUSH1 0x40 00004175: MLOAD 00004176: SWAP1 00004177: DUP2 00004178: ADD 00004179: PUSH1 0x40 0000417b: MSTORE 0000417c: DUP1 0000417d: PUSH1 0x04 0000417f: SWAP1 00004180: PUSH1 0x20 00004182: DUP3 00004183: MUL 00004184: DUP1 00004185: CODESIZE 00004186: DUP4 00004187: CODECOPY 00004188: DUP1 00004189: DUP3 0000418a: ADD 0000418b: SWAP2 0000418c: POP 0000418d: POP 0000418e: SWAP1 0000418f: POP 00004190: POP 00004191: SWAP1 00004192: JUMP 00004193: JUMPDEST 00004194: PUSH1 0xc0 00004196: PUSH1 0x40 00004198: MLOAD 00004199: SWAP1 0000419a: DUP2 0000419b: ADD 0000419c: PUSH1 0x40 0000419e: MSTORE 0000419f: DUP1 000041a0: PUSH1 0x00 000041a2: PUSH1 0x0a 000041a4: DUP2 000041a5: GT 000041a6: ISZERO 000041a7: PUSH2 0x41ac 000041aa: JUMPI 000041ab: INVALID 000041ac: JUMPDEST 000041ad: DUP2 000041ae: MSTORE 000041af: PUSH1 0x20 000041b1: ADD 000041b2: PUSH1 0x00 000041b4: PUSH1 0x15 000041b6: DUP2 000041b7: GT 000041b8: ISZERO 000041b9: PUSH2 0x41be 000041bc: JUMPI 000041bd: INVALID 000041be: JUMPDEST 000041bf: DUP2 000041c0: MSTORE 000041c1: PUSH1 0x20 000041c3: ADD 000041c4: PUSH1 0x00 000041c6: PUSH1 0x03 000041c8: DUP2 000041c9: GT 000041ca: ISZERO 000041cb: PUSH2 0x41d0 000041ce: JUMPI 000041cf: INVALID 000041d0: JUMPDEST 000041d1: DUP2 000041d2: MSTORE 000041d3: PUSH1 0x20 000041d5: ADD 000041d6: PUSH1 0x00 000041d8: PUSH1 0x06 000041da: DUP2 000041db: GT 000041dc: ISZERO 000041dd: PUSH2 0x41e2 000041e0: JUMPI 000041e1: INVALID 000041e2: JUMPDEST 000041e3: DUP2 000041e4: MSTORE 000041e5: PUSH1 0x20 000041e7: ADD 000041e8: PUSH1 0x00 000041ea: DUP2 000041eb: MSTORE 000041ec: PUSH1 0x20 000041ee: ADD 000041ef: PUSH1 0x00 000041f1: DUP2 000041f2: MSTORE 000041f3: POP 000041f4: SWAP1 000041f5: JUMP 000041f6: STOP 000041f7: LOG1 000041f8: PUSH6 0x627a7a723058 000041ff: KECCAK256 00004200: UNKNOWN(0xB6) 00004201: NUMBER 00004202: SMOD 00004203: UNKNOWN(0x27) 00004204: UNKNOWN(0xA7) 00004205: UNKNOWN(0xE6) 00004206: UNKNOWN(0xCB) 00004207: UNKNOWN(0xC2) 00004208: NOT 00004209: UNKNOWN(0xAC) 0000420a: UNKNOWN(0xDA) 0000420b: DUP6 0000420c: UNKNOWN(0xD0) 0000420d: PUSH21
Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x695eeb107ec14ec381a09bfc2cedf9cea92f11f1a1008f1bf9bee151cf4b3c69
call_targets:
0x39a31ccd63cd1b186392654a2d520f73cc19274f
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x695eeb107ec14ec381a09bfc2cedf9cea92f11f1a1008f1bf9bee151cf4b3c69",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x39a31ccd63cd1b186392654a2d520f73cc19274f"
],
"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": "0x01ffc9a7",
"selector": "0x01ffc9a7",
"calldata_variants": [
"0x01ffc9a7",
"0x01ffc9a70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0560ff44",
"selector": "0x0560ff44",
"calldata_variants": [
"0x0560ff44",
"0x0560ff440000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x095ea7b3",
"selector": "0x095ea7b3",
"calldata_variants": [
"0x095ea7b3",
"0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0c9daf45",
"selector": "0x0c9daf45",
"calldata_variants": [
"0x0c9daf45",
"0x0c9daf450000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x17ffc320",
"selector": "0x17ffc320",
"calldata_variants": [
"0x17ffc320",
"0x17ffc3200000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 6871,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 7500,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 7757,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 6,
"guards_detected": [
{
"pc": 7308,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 9579,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 9799,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 10405,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 10603,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 13262,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 13445,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 6
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x695eeb107ec14ec381a09bfc2cedf9cea92f11f1a1008f1bf9bee151cf4b3c69
call_targets:
0x39a31ccd63cd1b186392654a2d520f73cc19274f
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x695eeb107ec14ec381a09bfc2cedf9cea92f11f1a1008f1bf9bee151cf4b3c69",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x39a31ccd63cd1b186392654a2d520f73cc19274f"
],
"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": "0x01ffc9a7",
"selector": "0x01ffc9a7",
"calldata_variants": [
"0x01ffc9a7",
"0x01ffc9a70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0560ff44",
"selector": "0x0560ff44",
"calldata_variants": [
"0x0560ff44",
"0x0560ff440000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x095ea7b3",
"selector": "0x095ea7b3",
"calldata_variants": [
"0x095ea7b3",
"0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0c9daf45",
"selector": "0x0c9daf45",
"calldata_variants": [
"0x0c9daf45",
"0x0c9daf450000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x17ffc320",
"selector": "0x17ffc320",
"calldata_variants": [
"0x17ffc320",
"0x17ffc3200000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 6871,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 7500,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 7757,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 6,
"guards_detected": [
{
"pc": 7308,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 9579,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 9799,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 10405,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 10603,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 13262,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 13445,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|