019b3836-281a-70f2-97df-b93bd86347cd
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 |
|---|---|---|---|---|
| 1199 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 1200 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 44539 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 44540 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 44541 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 44542 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x60 00000002: PUSH1 0x40 00000004: MSTORE 00000005: CALLDATASIZE 00000006: ISZERO 00000007: PUSH2 0x0132 0000000a: JUMPI 0000000b: PUSH1 0xe0 0000000d: PUSH1 0x02 0000000f: EXP 00000010: PUSH1 0x00 00000012: CALLDATALOAD 00000013: DIV 00000014: PUSH4 0x013cf08b 00000019: DUP2 0000001a: EQ 0000001b: PUSH2 0x0140 0000001e: JUMPI 0000001f: DUP1 00000020: PUSH4 0x0e65fa15 00000025: EQ 00000026: PUSH2 0x02bb 00000029: JUMPI 0000002a: DUP1 0000002b: PUSH4 0x13bb7fa8 00000030: EQ 00000031: PUSH2 0x02bd 00000034: JUMPI 00000035: DUP1 00000036: PUSH4 0x13d4bc24 0000003b: EQ 0000003c: PUSH2 0x0357 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x181670e6 00000046: EQ 00000047: PUSH2 0x0430 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x1bd29b6c 00000051: EQ 00000052: PUSH2 0x0466 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x1fa03a2b 0000005c: EQ 0000005d: PUSH2 0x046f 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0x22b22bac 00000067: EQ 00000068: PUSH2 0x04a6 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0x237e9492 00000072: EQ 00000073: PUSH2 0x04ba 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0x400e3949 0000007d: EQ 0000007e: PUSH2 0x05ef 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0x43a7219f 00000088: EQ 00000089: PUSH2 0x02bb 0000008c: JUMPI 0000008d: DUP1 0000008e: PUSH4 0x4b6753bc 00000093: EQ 00000094: PUSH2 0x05f8 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0x590e1ae3 0000009e: EQ 0000009f: PUSH2 0x0601 000000a2: JUMPI 000000a3: DUP1 000000a4: PUSH4 0x70a08231 000000a9: EQ 000000aa: PUSH2 0x06a3 000000ad: JUMPI 000000ae: DUP1 000000af: PUSH4 0x81788e2b 000000b4: EQ 000000b5: PUSH2 0x06c9 000000b8: JUMPI 000000b9: DUP1 000000ba: PUSH4 0x8c915b92 000000bf: EQ 000000c0: PUSH2 0x06ec 000000c3: JUMPI 000000c4: DUP1 000000c5: PUSH4 0x930b7a23 000000ca: EQ 000000cb: PUSH2 0x0748 000000ce: JUMPI 000000cf: DUP1 000000d0: PUSH4 0x963e63c7 000000d5: EQ 000000d6: PUSH2 0x07ba 000000d9: JUMPI 000000da: DUP1 000000db: PUSH4 0xa4821719 000000e0: EQ 000000e1: PUSH2 0x07c3 000000e4: JUMPI 000000e5: DUP1 000000e6: PUSH4 0xb7760c8f 000000eb: EQ 000000ec: PUSH2 0x07cf 000000ef: JUMPI 000000f0: DUP1 000000f1: PUSH4 0xc9d27afe 000000f6: EQ 000000f7: PUSH2 0x085c 000000fa: JUMPI 000000fb: DUP1 000000fc: PUSH4 0xdaea85c5 00000101: EQ 00000102: PUSH2 0x0872 00000105: JUMPI 00000106: DUP1 00000107: PUSH4 0xe33734fd 0000010c: EQ 0000010d: PUSH2 0x08e6 00000110: JUMPI 00000111: DUP1 00000112: PUSH4 0xeceb2945 00000117: EQ 00000118: PUSH2 0x0909 0000011b: JUMPI 0000011c: DUP1 0000011d: PUSH4 0xf3a504f2 00000122: EQ 00000123: PUSH2 0x09e9 00000126: JUMPI 00000127: DUP1 00000128: PUSH4 0xfbf1f78a 0000012d: EQ 0000012e: PUSH2 0x09f5 00000131: JUMPI 00000132: JUMPDEST 00000133: PUSH2 0x02bb 00000136: PUSH1 0x09 00000138: DUP1 00000139: SLOAD 0000013a: CALLVALUE 0000013b: ADD 0000013c: SWAP1 0000013d: SSTORE 0000013e: JUMPDEST 0000013f: JUMP 00000140: JUMPDEST 00000141: PUSH2 0x0ac7 00000144: PUSH1 0x04 00000146: CALLDATALOAD 00000147: PUSH1 0x07 00000149: DUP1 0000014a: SLOAD 0000014b: DUP3 0000014c: SWAP1 0000014d: DUP2 0000014e: LT 0000014f: ISZERO 00000150: PUSH2 0x0002 00000153: JUMPI 00000154: POP 00000155: PUSH1 0x00 00000157: MSTORE 00000158: PUSH1 0x00 0000015a: DUP1 0000015b: MLOAD 0000015c: PUSH1 0x20 0000015e: PUSH2 0x1844 00000161: DUP4 00000162: CODECOPY 00000163: DUP2 00000164: MLOAD 00000165: SWAP2 00000166: MSTORE 00000167: PUSH1 0x0b 00000169: SWAP1 0000016a: SWAP2 0000016b: MUL 0000016c: SWAP1 0000016d: DUP2 0000016e: ADD 0000016f: SLOAD 00000170: PUSH32 0xa66cc928b5edb82af9bd49922954155ab7b0942694bea4ce44661d9a8736c68f 00000191: DUP3 00000192: ADD 00000193: SLOAD 00000194: PUSH32 0xa66cc928b5edb82af9bd49922954155ab7b0942694bea4ce44661d9a8736c68b 000001b5: DUP4 000001b6: ADD 000001b7: SLOAD 000001b8: PUSH32 0xa66cc928b5edb82af9bd49922954155ab7b0942694bea4ce44661d9a8736c68c 000001d9: DUP5 000001da: ADD 000001db: SLOAD 000001dc: PUSH32 0xa66cc928b5edb82af9bd49922954155ab7b0942694bea4ce44661d9a8736c689 000001fd: DUP6 000001fe: ADD 000001ff: SLOAD 00000200: PUSH32 0xa66cc928b5edb82af9bd49922954155ab7b0942694bea4ce44661d9a8736c68d 00000221: DUP7 00000222: ADD 00000223: SLOAD 00000224: PUSH32 0xa66cc928b5edb82af9bd49922954155ab7b0942694bea4ce44661d9a8736c68e 00000245: DUP8 00000246: ADD 00000247: SLOAD 00000248: PUSH32 0xa66cc928b5edb82af9bd49922954155ab7b0942694bea4ce44661d9a8736c692 00000269: DUP9 0000026a: ADD 0000026b: SLOAD 0000026c: PUSH1 0x01 0000026e: PUSH1 0xa0 00000270: PUSH1 0x02 00000272: EXP 00000273: SUB 00000274: SWAP8 00000275: DUP9 00000276: AND 00000277: SWAP9 00000278: SWAP4 00000279: SWAP8 0000027a: PUSH32 0xa66cc928b5edb82af9bd49922954155ab7b0942694bea4ce44661d9a8736c68a 0000029b: SWAP1 0000029c: SWAP5 0000029d: ADD 0000029e: SWAP7 0000029f: PUSH1 0xff 000002a1: DUP7 000002a2: DUP2 000002a3: AND 000002a4: SWAP7 000002a5: PUSH2 0x0100 000002a8: SWAP1 000002a9: DUP2 000002aa: SWAP1 000002ab: DIV 000002ac: DUP3 000002ad: AND 000002ae: SWAP7 000002af: SWAP2 000002b0: DUP4 000002b1: AND 000002b2: SWAP4 000002b3: SWAP3 000002b4: DIV 000002b5: DUP2 000002b6: AND 000002b7: SWAP2 000002b8: AND 000002b9: DUP12 000002ba: JUMP 000002bb: JUMPDEST 000002bc: STOP 000002bd: JUMPDEST 000002be: PUSH1 0x40 000002c0: DUP1 000002c1: MLOAD 000002c2: PUSH1 0x20 000002c4: PUSH1 0x44 000002c6: CALLDATALOAD 000002c7: PUSH1 0x04 000002c9: DUP2 000002ca: DUP2 000002cb: ADD 000002cc: CALLDATALOAD 000002cd: PUSH1 0x1f 000002cf: DUP2 000002d0: ADD 000002d1: DUP5 000002d2: SWAP1 000002d3: DIV 000002d4: DUP5 000002d5: MUL 000002d6: DUP6 000002d7: ADD 000002d8: DUP5 000002d9: ADD 000002da: SWAP1 000002db: SWAP6 000002dc: MSTORE 000002dd: DUP5 000002de: DUP5 000002df: MSTORE 000002e0: PUSH2 0x0bc0 000002e3: SWAP5 000002e4: DUP2 000002e5: CALLDATALOAD 000002e6: SWAP5 000002e7: PUSH1 0x24 000002e9: DUP1 000002ea: CALLDATALOAD 000002eb: SWAP6 000002ec: SWAP4 000002ed: SWAP5 000002ee: PUSH1 0x64 000002f0: SWAP5 000002f1: SWAP3 000002f2: SWAP4 000002f3: SWAP2 000002f4: ADD 000002f5: SWAP2 000002f6: DUP2 000002f7: SWAP1 000002f8: DUP5 000002f9: ADD 000002fa: DUP4 000002fb: DUP3 000002fc: DUP1 000002fd: DUP3 000002fe: DUP5 000002ff: CALLDATACOPY 00000300: POP 00000301: POP 00000302: PUSH1 0x40 00000304: DUP1 00000305: MLOAD 00000306: PUSH1 0x20 00000308: SWAP8 00000309: CALLDATALOAD 0000030a: DUP1 0000030b: DUP11 0000030c: ADD 0000030d: CALLDATALOAD 0000030e: PUSH1 0x1f 00000310: DUP2 00000311: ADD 00000312: DUP11 00000313: SWAP1 00000314: DIV 00000315: DUP11 00000316: MUL 00000317: DUP4 00000318: ADD 00000319: DUP11 0000031a: ADD 0000031b: SWAP1 0000031c: SWAP4 0000031d: MSTORE 0000031e: DUP3 0000031f: DUP3 00000320: MSTORE 00000321: SWAP7 00000322: SWAP9 00000323: SWAP8 00000324: PUSH1 0x84 00000326: SWAP8 00000327: SWAP2 00000328: SWAP7 00000329: POP 0000032a: PUSH1 0x24 0000032c: SWAP1 0000032d: SWAP2 0000032e: ADD 0000032f: SWAP5 00000330: POP 00000331: SWAP1 00000332: SWAP3 00000333: POP 00000334: DUP3 00000335: SWAP2 00000336: POP 00000337: DUP5 00000338: ADD 00000339: DUP4 0000033a: DUP3 0000033b: DUP1 0000033c: DUP3 0000033d: DUP5 0000033e: CALLDATACOPY 0000033f: POP 00000340: SWAP5 00000341: SWAP7 00000342: POP 00000343: POP 00000344: SWAP4 00000345: CALLDATALOAD 00000346: SWAP4 00000347: POP 00000348: POP 00000349: POP 0000034a: POP 0000034b: PUSH1 0x00 0000034d: PUSH1 0x00 0000034f: PUSH2 0x0bd2 00000352: CALLER 00000353: PUSH2 0x06aa 00000356: JUMP 00000357: JUMPDEST 00000358: PUSH2 0x02bb 0000035b: PUSH1 0x04 0000035d: CALLDATALOAD 0000035e: JUMPDEST 0000035f: PUSH1 0x03 00000361: SLOAD 00000362: TIMESTAMP 00000363: LT 00000364: ISZERO 00000365: PUSH2 0x042d 00000368: JUMPI 00000369: PUSH1 0x01 0000036b: PUSH1 0xa0 0000036d: PUSH1 0x02 0000036f: EXP 00000370: SUB 00000371: DUP2 00000372: AND 00000373: PUSH1 0x00 00000375: DUP2 00000376: DUP2 00000377: MSTORE 00000378: PUSH1 0x20 0000037a: DUP2 0000037b: DUP2 0000037c: MSTORE 0000037d: PUSH1 0x40 0000037f: SWAP2 00000380: DUP3 00000381: SWAP1 00000382: KECCAK256 00000383: DUP1 00000384: SLOAD 00000385: CALLVALUE 00000386: SWAP1 00000387: DUP2 00000388: ADD 00000389: SWAP1 0000038a: SWAP2 0000038b: SSTORE 0000038c: PUSH1 0x05 0000038e: DUP1 0000038f: SLOAD 00000390: DUP3 00000391: ADD 00000392: SWAP1 00000393: SSTORE 00000394: DUP3 00000395: MLOAD 00000396: SWAP4 00000397: DUP5 00000398: MSTORE 00000399: SWAP1 0000039a: DUP4 0000039b: ADD 0000039c: MSTORE 0000039d: DUP1 0000039e: MLOAD 0000039f: PUSH32 0x8338662358e4188b6716fe38d845443fe23e7dc9dcb10134fd37212b629d1429 000003c0: SWAP3 000003c1: DUP2 000003c2: SWAP1 000003c3: SUB 000003c4: SWAP1 000003c5: SWAP2 000003c6: ADD 000003c7: SWAP1 000003c8: LOG1 000003c9: PUSH1 0x04 000003cb: PUSH1 0x00 000003cd: POP 000003ce: SLOAD 000003cf: PUSH1 0x05 000003d1: PUSH1 0x00 000003d3: POP 000003d4: SLOAD 000003d5: LT 000003d6: ISZERO 000003d7: DUP1 000003d8: ISZERO 000003d9: PUSH2 0x03e5 000003dc: JUMPI 000003dd: POP 000003de: PUSH1 0x06 000003e0: SLOAD 000003e1: PUSH1 0xff 000003e3: AND 000003e4: ISZERO 000003e5: JUMPDEST 000003e6: ISZERO 000003e7: PUSH2 0x042d 000003ea: JUMPI 000003eb: PUSH1 0x06 000003ed: DUP1 000003ee: SLOAD 000003ef: PUSH1 0xff 000003f1: NOT 000003f2: AND 000003f3: PUSH1 0x01 000003f5: OR 000003f6: SWAP1 000003f7: SSTORE 000003f8: PUSH1 0x40 000003fa: DUP1 000003fb: MLOAD 000003fc: PUSH1 0x05 000003fe: SLOAD 000003ff: DUP2 00000400: MSTORE 00000401: SWAP1 00000402: MLOAD 00000403: PUSH32 0xc4c14883ae9fd8e26d5d59e3485ed29fd126d781d7e498a4ca5c54c8268e4936 00000424: SWAP2 00000425: DUP2 00000426: SWAP1 00000427: SUB 00000428: PUSH1 0x20 0000042a: ADD 0000042b: SWAP1 0000042c: LOG1 0000042d: JUMPDEST 0000042e: POP 0000042f: JUMP 00000430: JUMPDEST 00000431: PUSH2 0x0bc0 00000434: PUSH1 0x04 00000436: CALLDATALOAD 00000437: PUSH1 0x24 00000439: CALLDATALOAD 0000043a: PUSH1 0x01 0000043c: PUSH1 0xa0 0000043e: PUSH1 0x02 00000440: EXP 00000441: SUB 00000442: DUP3 00000443: DUP2 00000444: AND 00000445: PUSH1 0x00 00000447: SWAP1 00000448: DUP2 00000449: MSTORE 0000044a: PUSH1 0x02 0000044c: PUSH1 0x20 0000044e: SWAP1 0000044f: DUP2 00000450: MSTORE 00000451: PUSH1 0x40 00000453: DUP1 00000454: DUP4 00000455: KECCAK256 00000456: SWAP4 00000457: DUP6 00000458: AND 00000459: DUP4 0000045a: MSTORE 0000045b: SWAP3 0000045c: SWAP1 0000045d: MSTORE 0000045e: KECCAK256 0000045f: SLOAD 00000460: JUMPDEST 00000461: SWAP3 00000462: SWAP2 00000463: POP 00000464: POP 00000465: JUMP 00000466: JUMPDEST 00000467: PUSH2 0x0bc0 0000046a: PUSH1 0x05 0000046c: SLOAD 0000046d: DUP2 0000046e: JUMP 0000046f: JUMPDEST 00000470: PUSH2 0x0bc0 00000473: PUSH1 0x04 00000475: CALLDATALOAD 00000476: PUSH1 0x24 00000478: CALLDATALOAD 00000479: PUSH1 0x01 0000047b: PUSH1 0xa0 0000047d: PUSH1 0x02 0000047f: EXP 00000480: SUB 00000481: DUP3 00000482: DUP2 00000483: AND 00000484: PUSH1 0x00 00000486: SWAP1 00000487: DUP2 00000488: MSTORE 00000489: PUSH1 0x01 0000048b: PUSH1 0x20 0000048d: SWAP1 0000048e: DUP2 0000048f: MSTORE 00000490: PUSH1 0x40 00000492: DUP1 00000493: DUP4 00000494: KECCAK256 00000495: SWAP4 00000496: DUP6 00000497: AND 00000498: DUP4 00000499: MSTORE 0000049a: SWAP3 0000049b: SWAP1 0000049c: MSTORE 0000049d: KECCAK256 0000049e: SLOAD 0000049f: PUSH1 0xff 000004a1: AND 000004a2: PUSH2 0x0460 000004a5: JUMP 000004a6: JUMPDEST 000004a7: PUSH2 0x02bb 000004aa: PUSH1 0x04 000004ac: CALLDATALOAD 000004ad: PUSH1 0x24 000004af: CALLDATALOAD 000004b0: PUSH1 0x00 000004b2: PUSH2 0x13de 000004b5: CALLER 000004b6: PUSH2 0x06aa 000004b9: JUMP 000004ba: JUMPDEST 000004bb: PUSH1 0x40 000004bd: DUP1 000004be: MLOAD 000004bf: PUSH1 0x20 000004c1: PUSH1 0x24 000004c3: DUP1 000004c4: CALLDATALOAD 000004c5: PUSH1 0x04 000004c7: DUP2 000004c8: DUP2 000004c9: ADD 000004ca: CALLDATALOAD 000004cb: PUSH1 0x1f 000004cd: DUP2 000004ce: ADD 000004cf: DUP6 000004d0: SWAP1 000004d1: DIV 000004d2: DUP6 000004d3: MUL 000004d4: DUP7 000004d5: ADD 000004d6: DUP6 000004d7: ADD 000004d8: SWAP1 000004d9: SWAP7 000004da: MSTORE 000004db: DUP6 000004dc: DUP6 000004dd: MSTORE 000004de: PUSH2 0x0bc0 000004e1: SWAP6 000004e2: DUP2 000004e3: CALLDATALOAD 000004e4: SWAP6 000004e5: SWAP2 000004e6: SWAP5 000004e7: PUSH1 0x44 000004e9: SWAP5 000004ea: SWAP3 000004eb: SWAP4 000004ec: SWAP1 000004ed: SWAP3 000004ee: ADD 000004ef: SWAP2 000004f0: DUP2 000004f1: SWAP1 000004f2: DUP5 000004f3: ADD 000004f4: DUP4 000004f5: DUP3 000004f6: DUP1 000004f7: DUP3 000004f8: DUP5 000004f9: CALLDATACOPY 000004fa: POP 000004fb: SWAP5 000004fc: SWAP7 000004fd: POP 000004fe: POP 000004ff: POP 00000500: POP 00000501: POP 00000502: POP 00000503: POP 00000504: PUSH1 0x00 00000506: PUSH1 0x00 00000508: PUSH1 0x00 0000050a: PUSH1 0x00 0000050c: PUSH1 0x00 0000050e: PUSH1 0x00 00000510: PUSH1 0x00 00000512: PUSH1 0x00 00000514: PUSH1 0x07 00000516: PUSH1 0x00 00000518: POP 00000519: DUP11 0000051a: DUP2 0000051b: SLOAD 0000051c: DUP2 0000051d: LT 0000051e: ISZERO 0000051f: PUSH2 0x0002 00000522: JUMPI 00000523: POP 00000524: DUP2 00000525: MSTORE 00000526: PUSH1 0x0b 00000528: DUP11 00000529: MUL 0000052a: PUSH1 0x00 0000052c: DUP1 0000052d: MLOAD 0000052e: PUSH1 0x20 00000530: PUSH2 0x1844 00000533: DUP4 00000534: CODECOPY 00000535: DUP2 00000536: MLOAD 00000537: SWAP2 00000538: MSTORE 00000539: ADD 0000053a: DUP2 0000053b: POP 0000053c: PUSH1 0x03 0000053e: DUP2 0000053f: ADD 00000540: SLOAD 00000541: SWAP1 00000542: SWAP8 00000543: POP 00000544: TIMESTAMP 00000545: LT 00000546: DUP1 00000547: PUSH2 0x0555 0000054a: JUMPI 0000054b: POP 0000054c: PUSH1 0x04 0000054e: DUP8 0000054f: ADD 00000550: SLOAD 00000551: PUSH1 0xff 00000553: AND 00000554: ISZERO 00000555: JUMPDEST 00000556: DUP1 00000557: PUSH2 0x05d6 0000055a: JUMPI 0000055b: POP 0000055c: DUP7 0000055d: PUSH1 0x00 0000055f: ADD 00000560: PUSH1 0x00 00000562: SWAP1 00000563: SLOAD 00000564: SWAP1 00000565: PUSH2 0x0100 00000568: EXP 00000569: SWAP1 0000056a: DIV 0000056b: PUSH1 0x01 0000056d: PUSH1 0xa0 0000056f: PUSH1 0x02 00000571: EXP 00000572: SUB 00000573: AND 00000574: DUP8 00000575: PUSH1 0x01 00000577: ADD 00000578: PUSH1 0x00 0000057a: POP 0000057b: SLOAD 0000057c: DUP11 0000057d: PUSH1 0x40 0000057f: MLOAD 00000580: DUP1 00000581: DUP5 00000582: PUSH1 0x01 00000584: PUSH1 0xa0 00000586: PUSH1 0x02 00000588: EXP 00000589: SUB 0000058a: AND 0000058b: PUSH1 0x60 0000058d: PUSH1 0x02 0000058f: EXP 00000590: MUL 00000591: DUP2 00000592: MSTORE 00000593: PUSH1 0x14 00000595: ADD 00000596: DUP4 00000597: DUP2 00000598: MSTORE 00000599: PUSH1 0x20 0000059b: ADD 0000059c: DUP3 0000059d: DUP1 0000059e: MLOAD 0000059f: SWAP1 000005a0: PUSH1 0x20 000005a2: ADD 000005a3: SWAP1 000005a4: DUP1 000005a5: DUP4 000005a6: DUP4 000005a7: DUP3 000005a8: SWAP1 000005a9: PUSH1 0x00 000005ab: PUSH1 0x04 000005ad: PUSH1 0x20 000005af: DUP5 000005b0: PUSH1 0x1f 000005b2: ADD 000005b3: DIV 000005b4: PUSH1 0x0f 000005b6: MUL 000005b7: PUSH1 0x03 000005b9: ADD 000005ba: CALL 000005bb: POP 000005bc: SWAP1 000005bd: POP 000005be: ADD 000005bf: SWAP4 000005c0: POP 000005c1: POP 000005c2: POP 000005c3: POP 000005c4: PUSH1 0x40 000005c6: MLOAD 000005c7: DUP1 000005c8: SWAP2 000005c9: SUB 000005ca: SWAP1 000005cb: KECCAK256 000005cc: DUP8 000005cd: PUSH1 0x06 000005cf: ADD 000005d0: PUSH1 0x00 000005d2: POP 000005d3: SLOAD 000005d4: EQ 000005d5: ISZERO 000005d6: JUMPDEST 000005d7: DUP1 000005d8: PUSH2 0x05e5 000005db: JUMPI 000005dc: POP 000005dd: PUSH1 0x07 000005df: DUP8 000005e0: ADD 000005e1: SLOAD 000005e2: PUSH1 0xff 000005e4: AND 000005e5: JUMPDEST 000005e6: ISZERO 000005e7: PUSH2 0x118a 000005ea: JUMPI 000005eb: PUSH2 0x0002 000005ee: JUMP 000005ef: JUMPDEST 000005f0: PUSH2 0x0bc0 000005f3: PUSH1 0x08 000005f5: SLOAD 000005f6: DUP2 000005f7: JUMP 000005f8: JUMPDEST 000005f9: PUSH2 0x0bc0 000005fc: PUSH1 0x03 000005fe: SLOAD 000005ff: DUP2 00000600: JUMP 00000601: JUMPDEST 00000602: PUSH2 0x02bb 00000605: PUSH1 0x03 00000607: SLOAD 00000608: TIMESTAMP 00000609: GT 0000060a: DUP1 0000060b: ISZERO 0000060c: PUSH2 0x0618 0000060f: JUMPI 00000610: POP 00000611: PUSH1 0x06 00000613: SLOAD 00000614: PUSH1 0xff 00000616: AND 00000617: ISZERO 00000618: JUMPDEST 00000619: DUP1 0000061a: ISZERO 0000061b: PUSH2 0x0649 0000061e: JUMPI 0000061f: POP 00000620: PUSH1 0x01 00000622: PUSH1 0xa0 00000624: PUSH1 0x02 00000626: EXP 00000627: SUB 00000628: CALLER 00000629: AND 0000062a: PUSH1 0x00 0000062c: DUP2 0000062d: DUP2 0000062e: MSTORE 0000062f: PUSH1 0x20 00000631: DUP2 00000632: SWAP1 00000633: MSTORE 00000634: PUSH1 0x40 00000636: DUP1 00000637: DUP3 00000638: KECCAK256 00000639: SLOAD 0000063a: SWAP1 0000063b: MLOAD 0000063c: DUP3 0000063d: DUP2 0000063e: DUP2 0000063f: DUP2 00000640: DUP6 00000641: DUP9 00000642: DUP4 00000643: CALL 00000644: SWAP4 00000645: POP 00000646: POP 00000647: POP 00000648: POP 00000649: JUMPDEST 0000064a: ISZERO 0000064b: PUSH2 0x013e 0000064e: JUMPI 0000064f: PUSH1 0x01 00000651: PUSH1 0xa0 00000653: PUSH1 0x02 00000655: EXP 00000656: SUB 00000657: CALLER 00000658: AND 00000659: PUSH1 0x00 0000065b: DUP2 0000065c: DUP2 0000065d: MSTORE 0000065e: PUSH1 0x20 00000660: DUP2 00000661: DUP2 00000662: MSTORE 00000663: PUSH1 0x40 00000665: DUP1 00000666: DUP4 00000667: KECCAK256 00000668: SWAP3 00000669: SWAP1 0000066a: SWAP3 0000066b: SSTORE 0000066c: DUP2 0000066d: MLOAD 0000066e: SWAP3 0000066f: DUP4 00000670: MSTORE 00000671: CALLVALUE 00000672: SWAP1 00000673: DUP4 00000674: ADD 00000675: MSTORE 00000676: DUP1 00000677: MLOAD 00000678: PUSH32 0xbb28353e4598c3b9199101a66e0989549b659a59a54d2c27fbb183f1932c8e6d 00000699: SWAP3 0000069a: DUP2 0000069b: SWAP1 0000069c: SUB 0000069d: SWAP1 0000069e: SWAP2 0000069f: ADD 000006a0: SWAP1 000006a1: LOG1 000006a2: JUMP 000006a3: JUMPDEST 000006a4: PUSH2 0x0bc0 000006a7: PUSH1 0x04 000006a9: CALLDATALOAD 000006aa: JUMPDEST 000006ab: PUSH1 0x01 000006ad: PUSH1 0xa0 000006af: PUSH1 0x02 000006b1: EXP 000006b2: SUB 000006b3: DUP2 000006b4: AND 000006b5: PUSH1 0x00 000006b7: SWAP1 000006b8: DUP2 000006b9: MSTORE 000006ba: PUSH1 0x20 000006bc: DUP2 000006bd: SWAP1 000006be: MSTORE 000006bf: PUSH1 0x40 000006c1: SWAP1 000006c2: KECCAK256 000006c3: SLOAD 000006c4: JUMPDEST 000006c5: SWAP2 000006c6: SWAP1 000006c7: POP 000006c8: JUMP 000006c9: JUMPDEST 000006ca: PUSH2 0x02bb 000006cd: PUSH1 0x04 000006cf: CALLDATALOAD 000006d0: PUSH1 0x0a 000006d2: SLOAD 000006d3: PUSH1 0x01 000006d5: PUSH1 0xa0 000006d7: PUSH1 0x02 000006d9: EXP 000006da: SUB 000006db: SWAP1 000006dc: DUP2 000006dd: AND 000006de: CALLER 000006df: SWAP2 000006e0: SWAP1 000006e1: SWAP2 000006e2: AND 000006e3: EQ 000006e4: PUSH2 0x164b 000006e7: JUMPI 000006e8: PUSH2 0x0002 000006eb: JUMP 000006ec: JUMPDEST 000006ed: PUSH2 0x0bc0 000006f0: PUSH1 0x04 000006f2: CALLDATALOAD 000006f3: PUSH1 0x24 000006f5: CALLDATALOAD 000006f6: PUSH1 0x44 000006f8: CALLDATALOAD 000006f9: PUSH1 0x01 000006fb: PUSH1 0xa0 000006fd: PUSH1 0x02 000006ff: EXP 00000700: SUB 00000701: DUP4 00000702: AND 00000703: PUSH1 0x00 00000705: SWAP1 00000706: DUP2 00000707: MSTORE 00000708: PUSH1 0x20 0000070a: DUP2 0000070b: SWAP1 0000070c: MSTORE 0000070d: PUSH1 0x40 0000070f: DUP2 00000710: KECCAK256 00000711: SLOAD 00000712: DUP2 00000713: SWAP1 00000714: DUP5 00000715: SWAP1 00000716: LT 00000717: PUSH2 0x179a 0000071a: JUMPI 0000071b: PUSH1 0x01 0000071d: PUSH1 0x20 0000071f: SWAP1 00000720: DUP2 00000721: MSTORE 00000722: PUSH1 0x40 00000724: DUP1 00000725: DUP4 00000726: KECCAK256 00000727: PUSH1 0x01 00000729: PUSH1 0xa0 0000072b: PUSH1 0x02 0000072d: EXP 0000072e: SUB 0000072f: CALLER 00000730: AND 00000731: DUP5 00000732: MSTORE 00000733: SWAP1 00000734: SWAP2 00000735: MSTORE 00000736: DUP2 00000737: KECCAK256 00000738: SLOAD 00000739: PUSH1 0xff 0000073b: AND 0000073c: ISZERO 0000073d: PUSH2 0x16aa 00000740: JUMPI 00000741: POP 00000742: PUSH1 0x01 00000744: PUSH2 0x1723 00000747: JUMP 00000748: JUMPDEST 00000749: PUSH2 0x0bc0 0000074c: PUSH1 0x04 0000074e: CALLDATALOAD 0000074f: PUSH1 0x24 00000751: CALLDATALOAD 00000752: PUSH1 0x01 00000754: PUSH1 0xa0 00000756: PUSH1 0x02 00000758: EXP 00000759: SUB 0000075a: CALLER 0000075b: DUP2 0000075c: AND 0000075d: PUSH1 0x00 0000075f: DUP2 00000760: DUP2 00000761: MSTORE 00000762: PUSH1 0x02 00000764: PUSH1 0x20 00000766: SWAP1 00000767: DUP2 00000768: MSTORE 00000769: PUSH1 0x40 0000076b: DUP1 0000076c: DUP4 0000076d: KECCAK256 0000076e: SWAP5 0000076f: DUP8 00000770: AND 00000771: DUP1 00000772: DUP5 00000773: MSTORE 00000774: SWAP5 00000775: DUP3 00000776: MSTORE 00000777: DUP1 00000778: DUP4 00000779: KECCAK256 0000077a: DUP7 0000077b: SWAP1 0000077c: SSTORE 0000077d: DUP1 0000077e: MLOAD 0000077f: DUP7 00000780: DUP2 00000781: MSTORE 00000782: SWAP1 00000783: MLOAD 00000784: SWAP3 00000785: SWAP5 00000786: SWAP4 00000787: SWAP3 00000788: PUSH32 0xcc92c05edef6bc5dcdfab43862409620fd81888eec1be99935f19375c4ef704e 000007a9: SWAP3 000007aa: SWAP2 000007ab: DUP2 000007ac: SWAP1 000007ad: SUB 000007ae: SWAP1 000007af: SWAP2 000007b0: ADD 000007b1: SWAP1 000007b2: LOG3 000007b3: POP 000007b4: PUSH1 0x01 000007b6: PUSH2 0x0460 000007b9: JUMP 000007ba: JUMPDEST 000007bb: PUSH2 0x0bc0 000007be: PUSH1 0x04 000007c0: SLOAD 000007c1: DUP2 000007c2: JUMP 000007c3: JUMPDEST 000007c4: PUSH2 0x02bb 000007c7: PUSH2 0x013e 000007ca: CALLER 000007cb: PUSH2 0x035e 000007ce: JUMP 000007cf: JUMPDEST 000007d0: PUSH2 0x0bc0 000007d3: PUSH1 0x04 000007d5: CALLDATALOAD 000007d6: PUSH1 0x24 000007d8: CALLDATALOAD 000007d9: PUSH1 0x01 000007db: PUSH1 0xa0 000007dd: PUSH1 0x02 000007df: EXP 000007e0: SUB 000007e1: CALLER 000007e2: AND 000007e3: PUSH1 0x00 000007e5: SWAP1 000007e6: DUP2 000007e7: MSTORE 000007e8: PUSH1 0x20 000007ea: DUP2 000007eb: SWAP1 000007ec: MSTORE 000007ed: PUSH1 0x40 000007ef: DUP2 000007f0: KECCAK256 000007f1: SLOAD 000007f2: DUP4 000007f3: SWAP1 000007f4: LT 000007f5: PUSH2 0x16a2 000007f8: JUMPI 000007f9: PUSH1 0x40 000007fb: DUP1 000007fc: DUP3 000007fd: KECCAK256 000007fe: DUP1 000007ff: SLOAD 00000800: DUP6 00000801: SWAP1 00000802: SUB 00000803: SWAP1 00000804: SSTORE 00000805: PUSH1 0x01 00000807: PUSH1 0xa0 00000809: PUSH1 0x02 0000080b: EXP 0000080c: SUB 0000080d: DUP4 0000080e: DUP2 0000080f: AND 00000810: DUP1 00000811: DUP5 00000812: MSTORE 00000813: DUP3 00000814: DUP5 00000815: KECCAK256 00000816: DUP1 00000817: SLOAD 00000818: DUP8 00000819: ADD 0000081a: SWAP1 0000081b: SSTORE 0000081c: DUP3 0000081d: MLOAD 0000081e: DUP7 0000081f: DUP2 00000820: MSTORE 00000821: SWAP3 00000822: MLOAD 00000823: SWAP1 00000824: SWAP3 00000825: CALLER 00000826: SWAP1 00000827: SWAP3 00000828: AND 00000829: SWAP2 0000082a: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 0000084b: SWAP2 0000084c: SWAP1 0000084d: DUP2 0000084e: SWAP1 0000084f: SUB 00000850: PUSH1 0x20 00000852: ADD 00000853: SWAP1 00000854: LOG3 00000855: POP 00000856: PUSH1 0x01 00000858: PUSH2 0x0460 0000085b: JUMP 0000085c: JUMPDEST 0000085d: PUSH2 0x0bc0 00000860: PUSH1 0x04 00000862: CALLDATALOAD 00000863: PUSH1 0x24 00000865: CALLDATALOAD 00000866: PUSH1 0x00 00000868: PUSH1 0x00 0000086a: PUSH2 0x1019 0000086d: CALLER 0000086e: PUSH2 0x06aa 00000871: JUMP 00000872: JUMPDEST 00000873: PUSH2 0x0bc0 00000876: PUSH1 0x04 00000878: CALLDATALOAD 00000879: PUSH1 0x01 0000087b: PUSH1 0xa0 0000087d: PUSH1 0x02 0000087f: EXP 00000880: SUB 00000881: CALLER 00000882: DUP2 00000883: AND 00000884: PUSH1 0x00 00000886: DUP2 00000887: DUP2 00000888: MSTORE 00000889: PUSH1 0x01 0000088b: PUSH1 0x20 0000088d: DUP2 0000088e: DUP2 0000088f: MSTORE 00000890: PUSH1 0x40 00000892: DUP1 00000893: DUP5 00000894: KECCAK256 00000895: SWAP6 00000896: DUP8 00000897: AND 00000898: DUP1 00000899: DUP6 0000089a: MSTORE 0000089b: SWAP6 0000089c: DUP3 0000089d: MSTORE 0000089e: DUP1 0000089f: DUP5 000008a0: KECCAK256 000008a1: DUP1 000008a2: SLOAD 000008a3: PUSH1 0xff 000008a5: NOT 000008a6: AND 000008a7: DUP5 000008a8: OR 000008a9: SWAP1 000008aa: SSTORE 000008ab: DUP1 000008ac: MLOAD 000008ad: SWAP3 000008ae: DUP4 000008af: MSTORE 000008b0: MLOAD 000008b1: SWAP3 000008b2: SWAP5 000008b3: SWAP4 000008b4: SWAP3 000008b5: PUSH32 0x0e40f4b0b06b7d270eb92aed48caf256e6bbe4f83c5492e7433958cf55661920 000008d6: SWAP3 000008d7: DUP2 000008d8: SWAP1 000008d9: SUB 000008da: SWAP1 000008db: SWAP2 000008dc: ADD 000008dd: SWAP1 000008de: LOG3 000008df: POP 000008e0: PUSH1 0x01 000008e2: PUSH2 0x06c4 000008e5: JUMP 000008e6: JUMPDEST 000008e7: PUSH2 0x02bb 000008ea: PUSH1 0x04 000008ec: CALLDATALOAD 000008ed: PUSH1 0x0a 000008ef: SLOAD 000008f0: PUSH1 0x01 000008f2: PUSH1 0xa0 000008f4: PUSH1 0x02 000008f6: EXP 000008f7: SUB 000008f8: SWAP1 000008f9: DUP2 000008fa: AND 000008fb: CALLER 000008fc: SWAP2 000008fd: SWAP1 000008fe: SWAP2 000008ff: AND 00000900: EQ 00000901: PUSH2 0x169d 00000904: JUMPI 00000905: PUSH2 0x0002 00000908: JUMP 00000909: JUMPDEST 0000090a: PUSH1 0x40 0000090c: DUP1 0000090d: MLOAD 0000090e: PUSH1 0x20 00000910: PUSH1 0x64 00000912: CALLDATALOAD 00000913: PUSH1 0x04 00000915: DUP2 00000916: DUP2 00000917: ADD 00000918: CALLDATALOAD 00000919: PUSH1 0x1f 0000091b: DUP2 0000091c: ADD 0000091d: DUP5 0000091e: SWAP1 0000091f: DIV 00000920: DUP5 00000921: MUL 00000922: DUP6 00000923: ADD 00000924: DUP5 00000925: ADD 00000926: SWAP1 00000927: SWAP6 00000928: MSTORE 00000929: DUP5 0000092a: DUP5 0000092b: MSTORE 0000092c: PUSH2 0x0bc0 0000092f: SWAP5 00000930: DUP2 00000931: CALLDATALOAD 00000932: SWAP5 00000933: PUSH1 0x24 00000935: DUP1 00000936: CALLDATALOAD 00000937: SWAP6 00000938: PUSH1 0x44 0000093a: CALLDATALOAD 0000093b: SWAP6 0000093c: PUSH1 0x84 0000093e: SWAP5 0000093f: SWAP3 00000940: ADD 00000941: SWAP2 00000942: SWAP1 00000943: DUP2 00000944: SWAP1 00000945: DUP5 00000946: ADD 00000947: DUP4 00000948: DUP3 00000949: DUP1 0000094a: DUP3 0000094b: DUP5 0000094c: CALLDATACOPY 0000094d: POP 0000094e: SWAP5 0000094f: SWAP7 00000950: POP 00000951: POP 00000952: POP 00000953: POP 00000954: POP 00000955: POP 00000956: POP 00000957: PUSH1 0x00 00000959: PUSH1 0x00 0000095b: PUSH1 0x07 0000095d: PUSH1 0x00 0000095f: POP 00000960: DUP7 00000961: DUP2 00000962: SLOAD 00000963: DUP2 00000964: LT 00000965: ISZERO 00000966: PUSH2 0x0002 00000969: JUMPI 0000096a: SWAP1 0000096b: DUP3 0000096c: MSTORE 0000096d: PUSH1 0x0b 0000096f: MUL 00000970: PUSH1 0x00 00000972: DUP1 00000973: MLOAD 00000974: PUSH1 0x20 00000976: PUSH2 0x1844 00000979: DUP4 0000097a: CODECOPY 0000097b: DUP2 0000097c: MLOAD 0000097d: SWAP2 0000097e: MSTORE 0000097f: ADD 00000980: DUP2 00000981: POP 00000982: SWAP1 00000983: POP 00000984: DUP5 00000985: DUP5 00000986: DUP5 00000987: PUSH1 0x40 00000989: MLOAD 0000098a: DUP1 0000098b: DUP5 0000098c: PUSH1 0x01 0000098e: PUSH1 0xa0 00000990: PUSH1 0x02 00000992: EXP 00000993: SUB 00000994: AND 00000995: PUSH1 0x60 00000997: PUSH1 0x02 00000999: EXP 0000099a: MUL 0000099b: DUP2 0000099c: MSTORE 0000099d: PUSH1 0x14 0000099f: ADD 000009a0: DUP4 000009a1: DUP2 000009a2: MSTORE 000009a3: PUSH1 0x20 000009a5: ADD 000009a6: DUP3 000009a7: DUP1 000009a8: MLOAD 000009a9: SWAP1 000009aa: PUSH1 0x20 000009ac: ADD 000009ad: SWAP1 000009ae: DUP1 000009af: DUP4 000009b0: DUP4 000009b1: DUP3 000009b2: SWAP1 000009b3: PUSH1 0x00 000009b5: PUSH1 0x04 000009b7: PUSH1 0x20 000009b9: DUP5 000009ba: PUSH1 0x1f 000009bc: ADD 000009bd: DIV 000009be: PUSH1 0x0f 000009c0: MUL 000009c1: PUSH1 0x03 000009c3: ADD 000009c4: CALL 000009c5: POP 000009c6: SWAP1 000009c7: POP 000009c8: ADD 000009c9: SWAP4 000009ca: POP 000009cb: POP 000009cc: POP 000009cd: POP 000009ce: PUSH1 0x40 000009d0: MLOAD 000009d1: DUP1 000009d2: SWAP2 000009d3: SUB 000009d4: SWAP1 000009d5: KECCAK256 000009d6: DUP2 000009d7: PUSH1 0x06 000009d9: ADD 000009da: PUSH1 0x00 000009dc: POP 000009dd: SLOAD 000009de: EQ 000009df: SWAP2 000009e0: POP 000009e1: POP 000009e2: SWAP5 000009e3: SWAP4 000009e4: POP 000009e5: POP 000009e6: POP 000009e7: POP 000009e8: JUMP 000009e9: JUMPDEST 000009ea: PUSH2 0x0bc0 000009ed: PUSH1 0x06 000009ef: SLOAD 000009f0: PUSH1 0xff 000009f2: AND 000009f3: DUP2 000009f4: JUMP 000009f5: JUMPDEST 000009f6: PUSH2 0x0bc0 000009f9: PUSH1 0x04 000009fb: CALLDATALOAD 000009fc: PUSH1 0x01 000009fe: PUSH1 0xa0 00000a00: PUSH1 0x02 00000a02: EXP 00000a03: SUB 00000a04: CALLER 00000a05: DUP2 00000a06: AND 00000a07: PUSH1 0x00 00000a09: DUP2 00000a0a: DUP2 00000a0b: MSTORE 00000a0c: PUSH1 0x01 00000a0e: PUSH1 0x20 00000a10: SWAP1 00000a11: DUP2 00000a12: MSTORE 00000a13: PUSH1 0x40 00000a15: DUP1 00000a16: DUP4 00000a17: KECCAK256 00000a18: SWAP5 00000a19: DUP7 00000a1a: AND 00000a1b: DUP1 00000a1c: DUP5 00000a1d: MSTORE 00000a1e: SWAP5 00000a1f: DUP3 00000a20: MSTORE 00000a21: DUP1 00000a22: DUP4 00000a23: KECCAK256 00000a24: DUP1 00000a25: SLOAD 00000a26: PUSH1 0xff 00000a28: NOT 00000a29: AND 00000a2a: SWAP1 00000a2b: SSTORE 00000a2c: DUP4 00000a2d: DUP4 00000a2e: MSTORE 00000a2f: PUSH1 0x02 00000a31: DUP3 00000a32: MSTORE 00000a33: DUP1 00000a34: DUP4 00000a35: KECCAK256 00000a36: DUP6 00000a37: DUP5 00000a38: MSTORE 00000a39: DUP3 00000a3a: MSTORE 00000a3b: DUP1 00000a3c: DUP4 00000a3d: KECCAK256 00000a3e: DUP4 00000a3f: SWAP1 00000a40: SSTORE 00000a41: DUP1 00000a42: MLOAD 00000a43: DUP4 00000a44: DUP2 00000a45: MSTORE 00000a46: SWAP1 00000a47: MLOAD 00000a48: SWAP3 00000a49: SWAP5 00000a4a: SWAP4 00000a4b: SWAP3 00000a4c: PUSH32 0x0e40f4b0b06b7d270eb92aed48caf256e6bbe4f83c5492e7433958cf55661920 00000a6d: SWAP3 00000a6e: SWAP2 00000a6f: DUP2 00000a70: SWAP1 00000a71: SUB 00000a72: SWAP1 00000a73: SWAP2 00000a74: ADD 00000a75: SWAP1 00000a76: LOG3 00000a77: DUP2 00000a78: PUSH1 0x01 00000a7a: PUSH1 0xa0 00000a7c: PUSH1 0x02 00000a7e: EXP 00000a7f: SUB 00000a80: AND 00000a81: CALLER 00000a82: PUSH1 0x01 00000a84: PUSH1 0xa0 00000a86: PUSH1 0x02 00000a88: EXP 00000a89: SUB 00000a8a: AND 00000a8b: PUSH32 0xcc92c05edef6bc5dcdfab43862409620fd81888eec1be99935f19375c4ef704e 00000aac: PUSH1 0x00 00000aae: PUSH1 0x40 00000ab0: MLOAD 00000ab1: DUP1 00000ab2: DUP3 00000ab3: DUP2 00000ab4: MSTORE 00000ab5: PUSH1 0x20 00000ab7: ADD 00000ab8: SWAP2 00000ab9: POP 00000aba: POP 00000abb: PUSH1 0x40 00000abd: MLOAD 00000abe: DUP1 00000abf: SWAP2 00000ac0: SUB 00000ac1: SWAP1 00000ac2: LOG3 00000ac3: SWAP2 00000ac4: SWAP1 00000ac5: POP 00000ac6: JUMP 00000ac7: JUMPDEST 00000ac8: PUSH1 0x40 00000aca: MLOAD 00000acb: DUP1 00000acc: DUP13 00000acd: PUSH1 0x01 00000acf: PUSH1 0xa0 00000ad1: PUSH1 0x02 00000ad3: EXP 00000ad4: SUB 00000ad5: AND 00000ad6: DUP2 00000ad7: MSTORE 00000ad8: PUSH1 0x20 00000ada: ADD 00000adb: DUP12 00000adc: DUP2 00000add: MSTORE 00000ade: PUSH1 0x20 00000ae0: ADD 00000ae1: DUP1 00000ae2: PUSH1 0x20 00000ae4: ADD 00000ae5: DUP11 00000ae6: DUP2 00000ae7: MSTORE 00000ae8: PUSH1 0x20 00000aea: ADD 00000aeb: DUP10 00000aec: DUP2 00000aed: MSTORE 00000aee: PUSH1 0x20 00000af0: ADD 00000af1: DUP9 00000af2: DUP2 00000af3: MSTORE 00000af4: PUSH1 0x20 00000af6: ADD 00000af7: DUP8 00000af8: DUP2 00000af9: MSTORE 00000afa: PUSH1 0x20 00000afc: ADD 00000afd: DUP7 00000afe: DUP2 00000aff: MSTORE 00000b00: PUSH1 0x20 00000b02: ADD 00000b03: DUP6 00000b04: DUP2 00000b05: MSTORE 00000b06: PUSH1 0x20 00000b08: ADD 00000b09: DUP5 00000b0a: PUSH1 0x01 00000b0c: PUSH1 0xa0 00000b0e: PUSH1 0x02 00000b10: EXP 00000b11: SUB 00000b12: AND 00000b13: DUP2 00000b14: MSTORE 00000b15: PUSH1 0x20 00000b17: ADD 00000b18: DUP4 00000b19: PUSH1 0x01 00000b1b: PUSH1 0xa0 00000b1d: PUSH1 0x02 00000b1f: EXP 00000b20: SUB 00000b21: AND 00000b22: DUP2 00000b23: MSTORE 00000b24: PUSH1 0x20 00000b26: ADD 00000b27: DUP3 00000b28: DUP2 00000b29: SUB 00000b2a: DUP3 00000b2b: MSTORE 00000b2c: DUP12 00000b2d: DUP2 00000b2e: DUP2 00000b2f: SLOAD 00000b30: PUSH1 0x01 00000b32: DUP2 00000b33: PUSH1 0x01 00000b35: AND 00000b36: ISZERO 00000b37: PUSH2 0x0100 00000b3a: MUL 00000b3b: SUB 00000b3c: AND 00000b3d: PUSH1 0x02 00000b3f: SWAP1 00000b40: DIV 00000b41: DUP2 00000b42: MSTORE 00000b43: PUSH1 0x20 00000b45: ADD 00000b46: SWAP2 00000b47: POP 00000b48: DUP1 00000b49: SLOAD 00000b4a: PUSH1 0x01 00000b4c: DUP2 00000b4d: PUSH1 0x01 00000b4f: AND 00000b50: ISZERO 00000b51: PUSH2 0x0100 00000b54: MUL 00000b55: SUB 00000b56: AND 00000b57: PUSH1 0x02 00000b59: SWAP1 00000b5a: DIV 00000b5b: DUP1 00000b5c: ISZERO 00000b5d: PUSH2 0x0ba7 00000b60: JUMPI 00000b61: DUP1 00000b62: PUSH1 0x1f 00000b64: LT 00000b65: PUSH2 0x0b7c 00000b68: JUMPI 00000b69: PUSH2 0x0100 00000b6c: DUP1 00000b6d: DUP4 00000b6e: SLOAD 00000b6f: DIV 00000b70: MUL 00000b71: DUP4 00000b72: MSTORE 00000b73: SWAP2 00000b74: PUSH1 0x20 00000b76: ADD 00000b77: SWAP2 00000b78: PUSH2 0x0ba7 00000b7b: JUMP 00000b7c: JUMPDEST 00000b7d: DUP3 00000b7e: ADD 00000b7f: SWAP2 00000b80: SWAP1 00000b81: PUSH1 0x00 00000b83: MSTORE 00000b84: PUSH1 0x20 00000b86: PUSH1 0x00 00000b88: KECCAK256 00000b89: SWAP1 00000b8a: JUMPDEST 00000b8b: DUP2 00000b8c: SLOAD 00000b8d: DUP2 00000b8e: MSTORE 00000b8f: SWAP1 00000b90: PUSH1 0x01 00000b92: ADD 00000b93: SWAP1 00000b94: PUSH1 0x20 00000b96: ADD 00000b97: DUP1 00000b98: DUP4 00000b99: GT 00000b9a: PUSH2 0x0b8a 00000b9d: JUMPI 00000b9e: DUP3 00000b9f: SWAP1 00000ba0: SUB 00000ba1: PUSH1 0x1f 00000ba3: AND 00000ba4: DUP3 00000ba5: ADD 00000ba6: SWAP2 00000ba7: JUMPDEST 00000ba8: POP 00000ba9: POP 00000baa: SWAP13 00000bab: POP 00000bac: POP 00000bad: POP 00000bae: POP 00000baf: POP 00000bb0: POP 00000bb1: POP 00000bb2: POP 00000bb3: POP 00000bb4: POP 00000bb5: POP 00000bb6: POP 00000bb7: POP 00000bb8: PUSH1 0x40 00000bba: MLOAD 00000bbb: DUP1 00000bbc: SWAP2 00000bbd: SUB 00000bbe: SWAP1 00000bbf: RETURN 00000bc0: JUMPDEST 00000bc1: PUSH1 0x40 00000bc3: DUP1 00000bc4: MLOAD 00000bc5: SWAP2 00000bc6: DUP3 00000bc7: MSTORE 00000bc8: MLOAD 00000bc9: SWAP1 00000bca: DUP2 00000bcb: SWAP1 00000bcc: SUB 00000bcd: PUSH1 0x20 00000bcf: ADD 00000bd0: SWAP1 00000bd1: RETURN 00000bd2: JUMPDEST 00000bd3: PUSH1 0x00 00000bd5: EQ 00000bd6: ISZERO 00000bd7: PUSH2 0x0bdf 00000bda: JUMPI 00000bdb: PUSH2 0x0002 00000bde: JUMP 00000bdf: JUMPDEST 00000be0: DUP3 00000be1: DUP1 00000be2: ISZERO 00000be3: PUSH2 0x0c12 00000be6: JUMPI 00000be7: POP 00000be8: DUP6 00000be9: PUSH1 0x00 00000beb: EQ 00000bec: ISZERO 00000bed: DUP1 00000bee: PUSH2 0x0bf9 00000bf1: JUMPI 00000bf2: POP 00000bf3: DUP4 00000bf4: MLOAD 00000bf5: PUSH1 0x00 00000bf7: EQ 00000bf8: ISZERO 00000bf9: JUMPDEST 00000bfa: DUP1 00000bfb: PUSH2 0x0c12 00000bfe: JUMPI 00000bff: POP 00000c00: PUSH1 0x0a 00000c02: SLOAD 00000c03: PUSH1 0x01 00000c05: PUSH1 0xa0 00000c07: PUSH1 0x02 00000c09: EXP 00000c0a: SUB 00000c0b: SWAP1 00000c0c: DUP2 00000c0d: AND 00000c0e: SWAP1 00000c0f: DUP9 00000c10: AND 00000c11: EQ 00000c12: JUMPDEST 00000c13: ISZERO 00000c14: PUSH2 0x0c1c 00000c17: JUMPI 00000c18: PUSH2 0x0002 00000c1b: JUMP 00000c1c: JUMPDEST 00000c1d: PUSH2 0x0c45 00000c20: DUP8 00000c21: PUSH1 0x0a 00000c23: SLOAD 00000c24: PUSH1 0x00 00000c26: SWAP1 00000c27: DUP2 00000c28: SWAP1 00000c29: PUSH1 0x01 00000c2b: PUSH1 0xa0 00000c2d: PUSH1 0x02 00000c2f: EXP 00000c30: SUB 00000c31: SWAP1 00000c32: DUP2 00000c33: AND 00000c34: SWAP1 00000c35: DUP5 00000c36: AND 00000c37: EQ 00000c38: ISZERO 00000c39: PUSH2 0x17b2 00000c3c: JUMPI 00000c3d: PUSH1 0x01 00000c3f: SWAP2 00000c40: POP 00000c41: PUSH2 0x17ac 00000c44: JUMP 00000c45: JUMPDEST 00000c46: ISZERO 00000c47: ISZERO 00000c48: PUSH2 0x0c50 00000c4b: JUMPI 00000c4c: PUSH2 0x0002 00000c4f: JUMP 00000c50: JUMPDEST 00000c51: PUSH1 0x06 00000c53: SLOAD 00000c54: PUSH1 0xff 00000c56: AND 00000c57: ISZERO 00000c58: DUP1 00000c59: PUSH2 0x0c63 00000c5c: JUMPI 00000c5d: POP 00000c5e: PUSH1 0x0c 00000c60: SLOAD 00000c61: CALLVALUE 00000c62: LT 00000c63: JUMPDEST 00000c64: ISZERO 00000c65: PUSH2 0x0c6d 00000c68: JUMPI 00000c69: PUSH2 0x0002 00000c6c: JUMP 00000c6d: JUMPDEST 00000c6e: PUSH1 0x07 00000c70: DUP1 00000c71: SLOAD 00000c72: PUSH1 0x01 00000c74: DUP2 00000c75: ADD 00000c76: DUP1 00000c77: DUP4 00000c78: SSTORE 00000c79: SWAP1 00000c7a: SWAP2 00000c7b: SWAP1 00000c7c: DUP3 00000c7d: DUP1 00000c7e: ISZERO 00000c7f: DUP3 00000c80: SWAP1 00000c81: GT 00000c82: PUSH2 0x0ca4 00000c85: JUMPI 00000c86: PUSH1 0x0b 00000c88: MUL 00000c89: DUP2 00000c8a: PUSH1 0x0b 00000c8c: MUL 00000c8d: DUP4 00000c8e: PUSH1 0x00 00000c90: MSTORE 00000c91: PUSH1 0x20 00000c93: PUSH1 0x00 00000c95: KECCAK256 00000c96: SWAP2 00000c97: DUP3 00000c98: ADD 00000c99: SWAP2 00000c9a: ADD 00000c9b: PUSH2 0x0ca4 00000c9e: SWAP2 00000c9f: SWAP1 00000ca0: PUSH2 0x0d52 00000ca3: JUMP 00000ca4: JUMPDEST 00000ca5: POP 00000ca6: POP 00000ca7: PUSH1 0x07 00000ca9: DUP1 00000caa: SLOAD 00000cab: SWAP3 00000cac: SWAP5 00000cad: POP 00000cae: SWAP2 00000caf: DUP5 00000cb0: SWAP2 00000cb1: POP 00000cb2: DUP2 00000cb3: LT 00000cb4: ISZERO 00000cb5: PUSH2 0x0002 00000cb8: JUMPI 00000cb9: SWAP1 00000cba: PUSH1 0x00 00000cbc: MSTORE 00000cbd: PUSH1 0x20 00000cbf: PUSH1 0x00 00000cc1: KECCAK256 00000cc2: SWAP1 00000cc3: PUSH1 0x0b 00000cc5: MUL 00000cc6: ADD 00000cc7: PUSH1 0x00 00000cc9: POP 00000cca: DUP1 00000ccb: SLOAD 00000ccc: PUSH1 0x01 00000cce: PUSH1 0xa0 00000cd0: PUSH1 0x02 00000cd2: EXP 00000cd3: SUB 00000cd4: NOT 00000cd5: AND 00000cd6: DUP9 00000cd7: OR 00000cd8: DUP2 00000cd9: SSTORE 00000cda: PUSH1 0x01 00000cdc: DUP2 00000cdd: DUP2 00000cde: ADD 00000cdf: DUP9 00000ce0: SWAP1 00000ce1: SSTORE 00000ce2: DUP7 00000ce3: MLOAD 00000ce4: PUSH1 0x02 00000ce6: DUP4 00000ce7: DUP2 00000ce8: ADD 00000ce9: DUP1 00000cea: SLOAD 00000ceb: PUSH1 0x00 00000ced: DUP3 00000cee: DUP2 00000cef: MSTORE 00000cf0: PUSH1 0x20 00000cf2: SWAP1 00000cf3: DUP2 00000cf4: SWAP1 00000cf5: KECCAK256 00000cf6: SWAP7 00000cf7: SWAP8 00000cf8: POP 00000cf9: SWAP2 00000cfa: SWAP6 00000cfb: SWAP5 00000cfc: DUP2 00000cfd: AND 00000cfe: ISZERO 00000cff: PUSH2 0x0100 00000d02: MUL 00000d03: PUSH1 0x00 00000d05: NOT 00000d06: ADD 00000d07: AND 00000d08: SWAP2 00000d09: SWAP1 00000d0a: SWAP2 00000d0b: DIV 00000d0c: PUSH1 0x1f 00000d0e: SWAP1 00000d0f: DUP2 00000d10: ADD 00000d11: DUP3 00000d12: SWAP1 00000d13: DIV 00000d14: DUP5 00000d15: ADD 00000d16: SWAP4 00000d17: SWAP2 00000d18: DUP11 00000d19: ADD 00000d1a: SWAP1 00000d1b: DUP4 00000d1c: SWAP1 00000d1d: LT 00000d1e: PUSH2 0x0e52 00000d21: JUMPI 00000d22: DUP1 00000d23: MLOAD 00000d24: PUSH1 0xff 00000d26: NOT 00000d27: AND 00000d28: DUP4 00000d29: DUP1 00000d2a: ADD 00000d2b: OR 00000d2c: DUP6 00000d2d: SSTORE 00000d2e: JUMPDEST 00000d2f: POP 00000d30: PUSH2 0x0e82 00000d33: SWAP3 00000d34: SWAP2 00000d35: POP 00000d36: PUSH2 0x0e3a 00000d39: JUMP 00000d3a: JUMPDEST 00000d3b: POP 00000d3c: POP 00000d3d: PUSH1 0x0a 00000d3f: DUP2 00000d40: ADD 00000d41: DUP1 00000d42: SLOAD 00000d43: PUSH1 0x01 00000d45: PUSH1 0xa0 00000d47: PUSH1 0x02 00000d49: EXP 00000d4a: SUB 00000d4b: NOT 00000d4c: AND 00000d4d: SWAP1 00000d4e: SSTORE 00000d4f: PUSH1 0x01 00000d51: ADD 00000d52: JUMPDEST 00000d53: DUP1 00000d54: DUP3 00000d55: GT 00000d56: ISZERO 00000d57: PUSH2 0x0e4e 00000d5a: JUMPI 00000d5b: DUP1 00000d5c: SLOAD 00000d5d: PUSH1 0x01 00000d5f: PUSH1 0xa0 00000d61: PUSH1 0x02 00000d63: EXP 00000d64: SUB 00000d65: NOT 00000d66: AND 00000d67: DUP2 00000d68: SSTORE 00000d69: PUSH1 0x00 00000d6b: PUSH1 0x01 00000d6d: DUP3 00000d6e: DUP2 00000d6f: ADD 00000d70: DUP3 00000d71: SWAP1 00000d72: SSTORE 00000d73: PUSH1 0x02 00000d75: DUP4 00000d76: DUP2 00000d77: ADD 00000d78: DUP1 00000d79: SLOAD 00000d7a: DUP5 00000d7b: DUP3 00000d7c: SSTORE 00000d7d: SWAP1 00000d7e: SWAP3 00000d7f: DUP2 00000d80: AND 00000d81: ISZERO 00000d82: PUSH2 0x0100 00000d85: MUL 00000d86: PUSH1 0x00 00000d88: NOT 00000d89: ADD 00000d8a: AND 00000d8b: DIV 00000d8c: PUSH1 0x1f 00000d8e: DUP2 00000d8f: SWAP1 00000d90: LT 00000d91: PUSH2 0x0e20 00000d94: JUMPI 00000d95: POP 00000d96: JUMPDEST 00000d97: POP 00000d98: PUSH1 0x00 00000d9a: PUSH1 0x03 00000d9c: DUP4 00000d9d: ADD 00000d9e: DUP2 00000d9f: SWAP1 00000da0: SSTORE 00000da1: PUSH1 0x04 00000da3: DUP4 00000da4: ADD 00000da5: DUP1 00000da6: SLOAD 00000da7: PUSH2 0xffff 00000daa: NOT 00000dab: AND 00000dac: SWAP1 00000dad: SSTORE 00000dae: PUSH1 0x05 00000db0: DUP4 00000db1: ADD 00000db2: DUP2 00000db3: SWAP1 00000db4: SSTORE 00000db5: PUSH1 0x06 00000db7: DUP4 00000db8: ADD 00000db9: DUP2 00000dba: SWAP1 00000dbb: SSTORE 00000dbc: PUSH1 0x07 00000dbe: DUP4 00000dbf: ADD 00000dc0: DUP1 00000dc1: SLOAD 00000dc2: PUSH21 0xffffffffffffffffffffffffffffffffffffffffff 00000dd8: NOT 00000dd9: AND 00000dda: SWAP1 00000ddb: SSTORE 00000ddc: PUSH1 0x08 00000dde: DUP4 00000ddf: ADD 00000de0: DUP1 00000de1: SLOAD 00000de2: DUP3 00000de3: DUP3 00000de4: SSTORE 00000de5: SWAP1 00000de6: DUP3 00000de7: MSTORE 00000de8: PUSH1 0x20 00000dea: SWAP1 00000deb: SWAP2 00000dec: KECCAK256 00000ded: PUSH2 0x0d3a 00000df0: SWAP2 00000df1: DUP2 00000df2: ADD 00000df3: SWAP1 00000df4: JUMPDEST 00000df5: DUP1 00000df6: DUP3 00000df7: GT 00000df8: ISZERO 00000df9: PUSH2 0x0e4e 00000dfc: JUMPI 00000dfd: DUP1 00000dfe: SLOAD 00000dff: PUSH21 0xffffffffffffffffffffffffffffffffffffffffff 00000e15: NOT 00000e16: AND 00000e17: DUP2 00000e18: SSTORE 00000e19: PUSH1 0x01 00000e1b: ADD 00000e1c: PUSH2 0x0df4 00000e1f: JUMP 00000e20: JUMPDEST 00000e21: PUSH1 0x1f 00000e23: ADD 00000e24: PUSH1 0x20 00000e26: SWAP1 00000e27: DIV 00000e28: SWAP1 00000e29: PUSH1 0x00 00000e2b: MSTORE 00000e2c: PUSH1 0x20 00000e2e: PUSH1 0x00 00000e30: KECCAK256 00000e31: SWAP1 00000e32: DUP2 00000e33: ADD 00000e34: SWAP1 00000e35: PUSH2 0x0d96 00000e38: SWAP2 00000e39: SWAP1 00000e3a: JUMPDEST 00000e3b: DUP1 00000e3c: DUP3 00000e3d: GT 00000e3e: ISZERO 00000e3f: PUSH2 0x0e4e 00000e42: JUMPI 00000e43: PUSH1 0x00 00000e45: DUP2 00000e46: SSTORE 00000e47: PUSH1 0x01 00000e49: ADD 00000e4a: PUSH2 0x0e3a 00000e4d: JUMP 00000e4e: JUMPDEST 00000e4f: POP 00000e50: SWAP1 00000e51: JUMP 00000e52: JUMPDEST 00000e53: DUP3 00000e54: DUP1 00000e55: ADD 00000e56: PUSH1 0x01 00000e58: ADD 00000e59: DUP6 00000e5a: SSTORE 00000e5b: DUP3 00000e5c: ISZERO 00000e5d: PUSH2 0x0d2e 00000e60: JUMPI 00000e61: SWAP2 00000e62: DUP3 00000e63: ADD 00000e64: JUMPDEST 00000e65: DUP3 00000e66: DUP2 00000e67: GT 00000e68: ISZERO 00000e69: PUSH2 0x0d2e 00000e6c: JUMPI 00000e6d: DUP3 00000e6e: MLOAD 00000e6f: DUP3 00000e70: PUSH1 0x00 00000e72: POP 00000e73: SSTORE 00000e74: SWAP2 00000e75: PUSH1 0x20 00000e77: ADD 00000e78: SWAP2 00000e79: SWAP1 00000e7a: PUSH1 0x01 00000e7c: ADD 00000e7d: SWAP1 00000e7e: PUSH2 0x0e64 00000e81: JUMP 00000e82: JUMPDEST 00000e83: POP 00000e84: POP 00000e85: DUP7 00000e86: DUP7 00000e87: DUP6 00000e88: PUSH1 0x40 00000e8a: MLOAD 00000e8b: DUP1 00000e8c: DUP5 00000e8d: PUSH1 0x01 00000e8f: PUSH1 0xa0 00000e91: PUSH1 0x02 00000e93: EXP 00000e94: SUB 00000e95: AND 00000e96: PUSH1 0x60 00000e98: PUSH1 0x02 00000e9a: EXP 00000e9b: MUL 00000e9c: DUP2 00000e9d: MSTORE 00000e9e: PUSH1 0x14 00000ea0: ADD 00000ea1: DUP4 00000ea2: DUP2 00000ea3: MSTORE 00000ea4: PUSH1 0x20 00000ea6: ADD 00000ea7: DUP3 00000ea8: DUP1 00000ea9: MLOAD 00000eaa: SWAP1 00000eab: PUSH1 0x20 00000ead: ADD 00000eae: SWAP1 00000eaf: DUP1 00000eb0: DUP4 00000eb1: DUP4 00000eb2: DUP3 00000eb3: SWAP1 00000eb4: PUSH1 0x00 00000eb6: PUSH1 0x04 00000eb8: PUSH1 0x20 00000eba: DUP5 00000ebb: PUSH1 0x1f 00000ebd: ADD 00000ebe: DIV 00000ebf: PUSH1 0x0f 00000ec1: MUL 00000ec2: PUSH1 0x03 00000ec4: ADD 00000ec5: CALL 00000ec6: POP 00000ec7: SWAP1 00000ec8: POP 00000ec9: ADD 00000eca: SWAP4 00000ecb: POP 00000ecc: POP 00000ecd: POP 00000ece: POP 00000ecf: PUSH1 0x40 00000ed1: MLOAD 00000ed2: DUP1 00000ed3: SWAP2 00000ed4: SUB 00000ed5: SWAP1 00000ed6: KECCAK256 00000ed7: DUP2 00000ed8: PUSH1 0x06 00000eda: ADD 00000edb: PUSH1 0x00 00000edd: POP 00000ede: DUP2 00000edf: SWAP1 00000ee0: SSTORE 00000ee1: POP 00000ee2: PUSH2 0x0f02 00000ee5: DUP4 00000ee6: DUP8 00000ee7: PUSH8 0x0de0b6b3a7640000 00000ef0: MUL 00000ef1: PUSH1 0x00 00000ef3: DUP3 00000ef4: ISZERO 00000ef5: PUSH2 0x181b 00000ef8: JUMPI 00000ef9: POP 00000efa: PUSH3 0x506b80 00000efe: PUSH2 0x0460 00000f01: JUMP 00000f02: JUMPDEST 00000f03: TIMESTAMP 00000f04: ADD 00000f05: PUSH1 0x03 00000f07: DUP3 00000f08: DUP2 00000f09: ADD 00000f0a: SWAP2 00000f0b: SWAP1 00000f0c: SWAP2 00000f0d: SSTORE 00000f0e: PUSH1 0x04 00000f10: DUP3 00000f11: DUP2 00000f12: ADD 00000f13: DUP1 00000f14: SLOAD 00000f15: PUSH1 0xff 00000f17: NOT 00000f18: SWAP1 00000f19: DUP2 00000f1a: AND 00000f1b: PUSH1 0x01 00000f1d: OR 00000f1e: PUSH2 0xff00 00000f21: NOT 00000f22: AND 00000f23: SWAP1 00000f24: SWAP2 00000f25: SSTORE 00000f26: PUSH1 0x00 00000f28: PUSH1 0x05 00000f2a: DUP6 00000f2b: ADD 00000f2c: DUP2 00000f2d: SWAP1 00000f2e: SSTORE 00000f2f: PUSH1 0x07 00000f31: DUP6 00000f32: ADD 00000f33: DUP1 00000f34: SLOAD 00000f35: SWAP1 00000f36: SWAP3 00000f37: AND 00000f38: DUP8 00000f39: OR 00000f3a: SWAP1 00000f3b: SWAP2 00000f3c: SSTORE 00000f3d: PUSH1 0x0a 00000f3f: DUP5 00000f40: ADD 00000f41: DUP1 00000f42: SLOAD 00000f43: PUSH1 0x01 00000f45: PUSH1 0xa0 00000f47: PUSH1 0x02 00000f49: EXP 00000f4a: SUB 00000f4b: NOT 00000f4c: AND 00000f4d: CALLER 00000f4e: OR 00000f4f: SWAP1 00000f50: SSTORE 00000f51: PUSH1 0x40 00000f53: DUP1 00000f54: MLOAD 00000f55: DUP7 00000f56: DUP2 00000f57: MSTORE 00000f58: PUSH1 0x01 00000f5a: PUSH1 0xa0 00000f5c: PUSH1 0x02 00000f5e: EXP 00000f5f: SUB 00000f60: DUP13 00000f61: AND 00000f62: PUSH1 0x20 00000f64: DUP3 00000f65: DUP2 00000f66: ADD 00000f67: SWAP2 00000f68: SWAP1 00000f69: SWAP2 00000f6a: MSTORE 00000f6b: SWAP2 00000f6c: DUP2 00000f6d: ADD 00000f6e: DUP12 00000f6f: SWAP1 00000f70: MSTORE 00000f71: PUSH1 0x80 00000f73: PUSH1 0x60 00000f75: DUP3 00000f76: ADD 00000f77: DUP2 00000f78: DUP2 00000f79: MSTORE 00000f7a: DUP12 00000f7b: MLOAD 00000f7c: SWAP2 00000f7d: DUP4 00000f7e: ADD 00000f7f: SWAP2 00000f80: SWAP1 00000f81: SWAP2 00000f82: MSTORE 00000f83: DUP11 00000f84: MLOAD 00000f85: PUSH32 0x646fec02522b41e7125cfc859a64fd4f4cefd5dc3b6237ca0abe251ded1fa881 00000fa6: SWAP7 00000fa7: DUP10 00000fa8: SWAP7 00000fa9: DUP16 00000faa: SWAP7 00000fab: DUP16 00000fac: SWAP7 00000fad: DUP16 00000fae: SWAP7 00000faf: SWAP6 00000fb0: SWAP5 00000fb1: PUSH1 0xa0 00000fb3: DUP8 00000fb4: ADD 00000fb5: SWAP5 00000fb6: DUP9 00000fb7: DUP4 00000fb8: ADD 00000fb9: SWAP5 00000fba: SWAP2 00000fbb: SWAP4 00000fbc: DUP5 00000fbd: SWAP4 00000fbe: DUP8 00000fbf: SWAP4 00000fc0: DUP6 00000fc1: SWAP4 00000fc2: DUP9 00000fc3: SWAP4 00000fc4: SWAP3 00000fc5: PUSH1 0x1f 00000fc7: DUP7 00000fc8: ADD 00000fc9: DIV 00000fca: PUSH1 0x0f 00000fcc: MUL 00000fcd: ADD 00000fce: CALL 00000fcf: POP 00000fd0: SWAP1 00000fd1: POP 00000fd2: SWAP1 00000fd3: DUP2 00000fd4: ADD 00000fd5: SWAP1 00000fd6: PUSH1 0x1f 00000fd8: AND 00000fd9: DUP1 00000fda: ISZERO 00000fdb: PUSH2 0x0ff8 00000fde: JUMPI 00000fdf: DUP1 00000fe0: DUP3 00000fe1: SUB 00000fe2: DUP1 00000fe3: MLOAD 00000fe4: PUSH1 0x01 00000fe6: DUP4 00000fe7: PUSH1 0x20 00000fe9: SUB 00000fea: PUSH2 0x0100 00000fed: EXP 00000fee: SUB 00000fef: NOT 00000ff0: AND 00000ff1: DUP2 00000ff2: MSTORE 00000ff3: PUSH1 0x20 00000ff5: ADD 00000ff6: SWAP2 00000ff7: POP 00000ff8: JUMPDEST 00000ff9: POP 00000ffa: SWAP6 00000ffb: POP 00000ffc: POP 00000ffd: POP 00000ffe: POP 00000fff: POP 00001000: POP 00001001: PUSH1 0x40 00001003: MLOAD 00001004: DUP1 00001005: SWAP2 00001006: SUB 00001007: SWAP1 00001008: LOG1 00001009: PUSH1 0x01 0000100b: DUP3 0000100c: ADD 0000100d: PUSH1 0x08 0000100f: SSTORE 00001010: POP 00001011: SWAP6 00001012: SWAP5 00001013: POP 00001014: POP 00001015: POP 00001016: POP 00001017: POP 00001018: JUMP 00001019: JUMPDEST 0000101a: PUSH1 0x00 0000101c: EQ 0000101d: ISZERO 0000101e: PUSH2 0x1026 00001021: JUMPI 00001022: PUSH2 0x0002 00001025: JUMP 00001026: JUMPDEST 00001027: PUSH1 0x07 00001029: DUP1 0000102a: SLOAD 0000102b: DUP6 0000102c: SWAP1 0000102d: DUP2 0000102e: LT 0000102f: ISZERO 00001030: PUSH2 0x0002 00001033: JUMPI 00001034: PUSH1 0x00 00001036: SWAP2 00001037: DUP3 00001038: MSTORE 00001039: PUSH1 0x0b 0000103b: MUL 0000103c: PUSH1 0x00 0000103e: DUP1 0000103f: MLOAD 00001040: PUSH1 0x20 00001042: PUSH2 0x1844 00001045: DUP4 00001046: CODECOPY 00001047: DUP2 00001048: MLOAD 00001049: SWAP2 0000104a: MSTORE 0000104b: ADD 0000104c: SWAP1 0000104d: POP 0000104e: PUSH1 0x01 00001050: PUSH1 0xa0 00001052: PUSH1 0x02 00001054: EXP 00001055: SUB 00001056: CALLER 00001057: AND 00001058: PUSH1 0x00 0000105a: SWAP1 0000105b: DUP2 0000105c: MSTORE 0000105d: PUSH1 0x09 0000105f: DUP3 00001060: ADD 00001061: PUSH1 0x20 00001063: MSTORE 00001064: PUSH1 0x40 00001066: SWAP1 00001067: KECCAK256 00001068: SLOAD 00001069: SWAP1 0000106a: SWAP2 0000106b: POP 0000106c: PUSH1 0xff 0000106e: AND 0000106f: PUSH1 0x01 00001071: EQ 00001072: ISZERO 00001073: PUSH2 0x107b 00001076: JUMPI 00001077: PUSH2 0x0002 0000107a: JUMP 0000107b: JUMPDEST 0000107c: PUSH1 0x08 0000107e: DUP2 0000107f: ADD 00001080: DUP1 00001081: SLOAD 00001082: PUSH1 0x01 00001084: DUP2 00001085: ADD 00001086: DUP1 00001087: DUP4 00001088: SSTORE 00001089: SWAP1 0000108a: SWAP2 0000108b: SWAP1 0000108c: DUP3 0000108d: DUP1 0000108e: ISZERO 0000108f: DUP3 00001090: SWAP1 00001091: GT 00001092: PUSH2 0x10ac 00001095: JUMPI 00001096: PUSH1 0x00 00001098: DUP4 00001099: DUP2 0000109a: MSTORE 0000109b: PUSH1 0x20 0000109d: SWAP1 0000109e: KECCAK256 0000109f: PUSH2 0x10ac 000010a2: SWAP2 000010a3: DUP2 000010a4: ADD 000010a5: SWAP1 000010a6: DUP4 000010a7: ADD 000010a8: PUSH2 0x0df4 000010ab: JUMP 000010ac: JUMPDEST 000010ad: POP 000010ae: POP 000010af: PUSH1 0x40 000010b1: DUP1 000010b2: MLOAD 000010b3: DUP1 000010b4: DUP3 000010b5: ADD 000010b6: SWAP1 000010b7: SWAP2 000010b8: MSTORE 000010b9: DUP6 000010ba: DUP2 000010bb: MSTORE 000010bc: CALLER 000010bd: PUSH1 0x20 000010bf: DUP3 000010c0: ADD 000010c1: MSTORE 000010c2: PUSH1 0x08 000010c4: DUP5 000010c5: ADD 000010c6: DUP1 000010c7: SLOAD 000010c8: SWAP4 000010c9: SWAP6 000010ca: POP 000010cb: SWAP1 000010cc: SWAP3 000010cd: SWAP1 000010ce: SWAP2 000010cf: POP 000010d0: DUP5 000010d1: SWAP1 000010d2: DUP2 000010d3: LT 000010d4: ISZERO 000010d5: PUSH2 0x0002 000010d8: JUMPI 000010d9: SWAP1 000010da: PUSH1 0x00 000010dc: MSTORE 000010dd: PUSH1 0x20 000010df: PUSH1 0x00 000010e1: KECCAK256 000010e2: SWAP1 000010e3: ADD 000010e4: PUSH1 0x00 000010e6: POP 000010e7: DUP1 000010e8: SLOAD 000010e9: DUP3 000010ea: MLOAD 000010eb: PUSH1 0x20 000010ed: SWAP4 000010ee: DUP5 000010ef: ADD 000010f0: MLOAD 000010f1: PUSH2 0x0100 000010f4: MUL 000010f5: PUSH1 0xff 000010f7: NOT 000010f8: SWAP3 000010f9: DUP4 000010fa: AND 000010fb: SWAP1 000010fc: SWAP2 000010fd: OR 000010fe: PUSH21 0xffffffffffffffffffffffffffffffffffffffff00 00001114: NOT 00001115: AND 00001116: OR 00001117: SWAP1 00001118: SWAP2 00001119: SSTORE 0000111a: PUSH1 0x01 0000111c: PUSH1 0xa0 0000111e: PUSH1 0x02 00001120: EXP 00001121: SUB 00001122: CALLER 00001123: AND 00001124: PUSH1 0x00 00001126: DUP2 00001127: DUP2 00001128: MSTORE 00001129: PUSH1 0x09 0000112b: DUP6 0000112c: ADD 0000112d: DUP5 0000112e: MSTORE 0000112f: PUSH1 0x40 00001131: SWAP1 00001132: DUP2 00001133: SWAP1 00001134: KECCAK256 00001135: DUP1 00001136: SLOAD 00001137: SWAP1 00001138: SWAP4 00001139: AND 0000113a: PUSH1 0x01 0000113c: SWAP1 0000113d: DUP2 0000113e: OR 0000113f: SWAP1 00001140: SWAP4 00001141: SSTORE 00001142: SWAP2 00001143: DUP6 00001144: ADD 00001145: PUSH1 0x05 00001147: DUP6 00001148: ADD 00001149: SSTORE 0000114a: DUP2 0000114b: MLOAD 0000114c: DUP8 0000114d: DUP2 0000114e: MSTORE 0000114f: SWAP3 00001150: DUP4 00001151: ADD 00001152: DUP7 00001153: SWAP1 00001154: MSTORE 00001155: DUP3 00001156: DUP3 00001157: ADD 00001158: MSTORE 00001159: MLOAD 0000115a: PUSH32 0x86abfce99b7dd908bec0169288797f85049ec73cbe046ed9de818fab3a497ae0 0000117b: SWAP2 0000117c: DUP2 0000117d: SWAP1 0000117e: SUB 0000117f: PUSH1 0x60 00001181: ADD 00001182: SWAP1 00001183: LOG1 00001184: POP 00001185: SWAP3 00001186: SWAP2 00001187: POP 00001188: POP 00001189: JUMP 0000118a: JUMPDEST 0000118b: PUSH1 0x00 0000118d: SWAP6 0000118e: POP 0000118f: PUSH1 0x00 00001191: SWAP5 00001192: POP 00001193: PUSH1 0x00 00001195: SWAP4 00001196: POP 00001197: PUSH1 0x00 00001199: SWAP3 0000119a: POP 0000119b: JUMPDEST 0000119c: PUSH1 0x08 0000119e: DUP8 0000119f: ADD 000011a0: SLOAD 000011a1: DUP4 000011a2: LT 000011a3: ISZERO 000011a4: PUSH2 0x11dd 000011a7: JUMPI 000011a8: PUSH1 0x08 000011aa: DUP8 000011ab: ADD 000011ac: DUP1 000011ad: SLOAD 000011ae: DUP5 000011af: SWAP1 000011b0: DUP2 000011b1: LT 000011b2: ISZERO 000011b3: PUSH2 0x0002 000011b6: JUMPI 000011b7: PUSH1 0x00 000011b9: SWAP2 000011ba: DUP3 000011bb: MSTORE 000011bc: PUSH1 0x20 000011be: SWAP1 000011bf: SWAP2 000011c0: KECCAK256 000011c1: ADD 000011c2: DUP1 000011c3: SLOAD 000011c4: SWAP1 000011c5: SWAP3 000011c6: POP 000011c7: PUSH2 0x1205 000011ca: SWAP1 000011cb: PUSH2 0x0100 000011ce: SWAP1 000011cf: DIV 000011d0: PUSH1 0x01 000011d2: PUSH1 0xa0 000011d4: PUSH1 0x02 000011d6: EXP 000011d7: SUB 000011d8: AND 000011d9: PUSH2 0x06aa 000011dc: JUMP 000011dd: JUMPDEST 000011de: PUSH1 0x07 000011e0: DUP8 000011e1: ADD 000011e2: SLOAD 000011e3: PUSH1 0x01 000011e5: DUP9 000011e6: ADD 000011e7: SLOAD 000011e8: PUSH2 0x1230 000011eb: SWAP2 000011ec: PUSH1 0xff 000011ee: AND 000011ef: SWAP1 000011f0: JUMPDEST 000011f1: PUSH1 0x00 000011f3: DUP3 000011f4: ISZERO 000011f5: PUSH2 0x1834 000011f8: JUMPI 000011f9: POP 000011fa: PUSH1 0x05 000011fc: SLOAD 000011fd: PUSH1 0x02 000011ff: SWAP1 00001200: DIV 00001201: PUSH2 0x0460 00001204: JUMP 00001205: JUMPDEST 00001206: DUP3 00001207: SLOAD 00001208: SWAP7 00001209: DUP2 0000120a: ADD 0000120b: SWAP7 0000120c: SWAP1 0000120d: SWAP2 0000120e: POP 0000120f: PUSH1 0xff 00001211: AND 00001212: ISZERO 00001213: PUSH2 0x121f 00001216: JUMPI 00001217: SWAP4 00001218: DUP5 00001219: ADD 0000121a: SWAP4 0000121b: PUSH2 0x1224 0000121e: JUMP 0000121f: JUMPDEST 00001220: SWAP3 00001221: DUP4 00001222: ADD 00001223: SWAP3 00001224: JUMPDEST 00001225: PUSH1 0x01 00001227: SWAP3 00001228: SWAP1 00001229: SWAP3 0000122a: ADD 0000122b: SWAP2 0000122c: PUSH2 0x119b 0000122f: JUMP 00001230: JUMPDEST 00001231: DUP7 00001232: LT 00001233: ISZERO 00001234: DUP1 00001235: ISZERO 00001236: PUSH2 0x123e 00001239: JUMPI 0000123a: POP 0000123b: DUP4 0000123c: DUP6 0000123d: GT 0000123e: JUMPDEST 0000123f: ISZERO 00001240: PUSH2 0x1323 00001243: JUMPI 00001244: DUP7 00001245: PUSH1 0x00 00001247: ADD 00001248: PUSH1 0x00 0000124a: SWAP1 0000124b: SLOAD 0000124c: SWAP1 0000124d: PUSH2 0x0100 00001250: EXP 00001251: SWAP1 00001252: DIV 00001253: PUSH1 0x01 00001255: PUSH1 0xa0 00001257: PUSH1 0x02 00001259: EXP 0000125a: SUB 0000125b: AND 0000125c: PUSH1 0x01 0000125e: PUSH1 0xa0 00001260: PUSH1 0x02 00001262: EXP 00001263: SUB 00001264: AND 00001265: DUP8 00001266: PUSH1 0x01 00001268: ADD 00001269: PUSH1 0x00 0000126b: POP 0000126c: SLOAD 0000126d: PUSH8 0x0de0b6b3a7640000 00001276: MUL 00001277: DUP11 00001278: PUSH1 0x40 0000127a: MLOAD 0000127b: DUP1 0000127c: DUP3 0000127d: DUP1 0000127e: MLOAD 0000127f: SWAP1 00001280: PUSH1 0x20 00001282: ADD 00001283: SWAP1 00001284: DUP1 00001285: DUP4 00001286: DUP4 00001287: DUP3 00001288: SWAP1 00001289: PUSH1 0x00 0000128b: PUSH1 0x04 0000128d: PUSH1 0x20 0000128f: DUP5 00001290: PUSH1 0x1f 00001292: ADD 00001293: DIV 00001294: PUSH1 0x0f 00001296: MUL 00001297: PUSH1 0x03 00001299: ADD 0000129a: CALL 0000129b: POP 0000129c: SWAP1 0000129d: POP 0000129e: SWAP1 0000129f: DUP2 000012a0: ADD 000012a1: SWAP1 000012a2: PUSH1 0x1f 000012a4: AND 000012a5: DUP1 000012a6: ISZERO 000012a7: PUSH2 0x12c4 000012aa: JUMPI 000012ab: DUP1 000012ac: DUP3 000012ad: SUB 000012ae: DUP1 000012af: MLOAD 000012b0: PUSH1 0x01 000012b2: DUP4 000012b3: PUSH1 0x20 000012b5: SUB 000012b6: PUSH2 0x0100 000012b9: EXP 000012ba: SUB 000012bb: NOT 000012bc: AND 000012bd: DUP2 000012be: MSTORE 000012bf: PUSH1 0x20 000012c1: ADD 000012c2: SWAP2 000012c3: POP 000012c4: JUMPDEST 000012c5: POP 000012c6: SWAP2 000012c7: POP 000012c8: POP 000012c9: PUSH1 0x00 000012cb: PUSH1 0x40 000012cd: MLOAD 000012ce: DUP1 000012cf: DUP4 000012d0: SUB 000012d1: DUP2 000012d2: DUP6 000012d3: DUP8 000012d4: PUSH2 0x8502 000012d7: GAS 000012d8: SUB 000012d9: CALL 000012da: SWAP3 000012db: POP 000012dc: POP 000012dd: POP 000012de: ISZERO 000012df: PUSH2 0x131e 000012e2: JUMPI 000012e3: PUSH1 0x04 000012e5: DUP8 000012e6: ADD 000012e7: DUP1 000012e8: SLOAD 000012e9: PUSH2 0xffff 000012ec: NOT 000012ed: AND 000012ee: PUSH2 0x0100 000012f1: OR 000012f2: SWAP1 000012f3: SSTORE 000012f4: PUSH1 0x40 000012f6: MLOAD 000012f7: PUSH1 0x0c 000012f9: SLOAD 000012fa: PUSH1 0x0a 000012fc: DUP10 000012fd: ADD 000012fe: SLOAD 000012ff: PUSH1 0x01 00001301: SWAP11 00001302: POP 00001303: PUSH1 0x01 00001305: PUSH1 0xa0 00001307: PUSH1 0x02 00001309: EXP 0000130a: SUB 0000130b: AND 0000130c: SWAP2 0000130d: PUSH1 0x00 0000130f: SWAP2 00001310: SWAP1 00001311: DUP3 00001312: DUP2 00001313: DUP2 00001314: DUP2 00001315: DUP6 00001316: DUP9 00001317: DUP4 00001318: CALL 00001319: POP 0000131a: POP 0000131b: POP 0000131c: POP 0000131d: POP 0000131e: JUMPDEST 0000131f: PUSH2 0x1384 00001322: JUMP 00001323: JUMPDEST 00001324: PUSH1 0x07 00001326: DUP8 00001327: ADD 00001328: SLOAD 00001329: PUSH1 0x01 0000132b: DUP9 0000132c: ADD 0000132d: SLOAD 0000132e: PUSH2 0x133a 00001331: SWAP2 00001332: PUSH1 0xff 00001334: AND 00001335: SWAP1 00001336: PUSH2 0x11f0 00001339: JUMP 0000133a: JUMPDEST 0000133b: DUP7 0000133c: LT 0000133d: ISZERO 0000133e: DUP1 0000133f: ISZERO 00001340: PUSH2 0x1348 00001343: JUMPI 00001344: POP 00001345: DUP5 00001346: DUP5 00001347: GT 00001348: JUMPDEST 00001349: ISZERO 0000134a: PUSH2 0x1384 0000134d: JUMPI 0000134e: PUSH1 0x04 00001350: DUP8 00001351: ADD 00001352: DUP1 00001353: SLOAD 00001354: PUSH2 0xffff 00001357: NOT 00001358: AND 00001359: SWAP1 0000135a: SSTORE 0000135b: PUSH1 0x40 0000135d: MLOAD 0000135e: PUSH1 0x0a 00001360: DUP9 00001361: ADD 00001362: SLOAD 00001363: PUSH1 0x0c 00001365: SLOAD 00001366: PUSH1 0x01 00001368: PUSH1 0xa0 0000136a: PUSH1 0x02 0000136c: EXP 0000136d: SUB 0000136e: SWAP2 0000136f: SWAP1 00001370: SWAP2 00001371: AND 00001372: SWAP2 00001373: PUSH1 0x00 00001375: SWAP2 00001376: SWAP1 00001377: DUP3 00001378: DUP2 00001379: DUP2 0000137a: DUP2 0000137b: DUP6 0000137c: DUP9 0000137d: DUP4 0000137e: CALL 0000137f: POP 00001380: POP 00001381: POP 00001382: POP 00001383: POP 00001384: JUMPDEST 00001385: PUSH1 0x40 00001387: DUP1 00001388: MLOAD 00001389: PUSH1 0x04 0000138b: DUP10 0000138c: ADD 0000138d: SLOAD 0000138e: DUP13 0000138f: DUP3 00001390: MSTORE 00001391: PUSH1 0x20 00001393: DUP3 00001394: ADD 00001395: DUP12 00001396: SWAP1 00001397: MSTORE 00001398: DUP2 00001399: DUP4 0000139a: ADD 0000139b: DUP10 0000139c: SWAP1 0000139d: MSTORE 0000139e: PUSH1 0xff 000013a0: AND 000013a1: PUSH1 0x60 000013a3: DUP3 000013a4: ADD 000013a5: MSTORE 000013a6: SWAP1 000013a7: MLOAD 000013a8: PUSH32 0x4e345d985fc7722276ac9ff9bc73102ccc2a8847fc6736c60df3a165aef65fd9 000013c9: SWAP2 000013ca: DUP2 000013cb: SWAP1 000013cc: SUB 000013cd: PUSH1 0x80 000013cf: ADD 000013d0: SWAP1 000013d1: LOG1 000013d2: POP 000013d3: POP 000013d4: POP 000013d5: POP 000013d6: POP 000013d7: POP 000013d8: POP 000013d9: SWAP3 000013da: SWAP2 000013db: POP 000013dc: POP 000013dd: JUMP 000013de: JUMPDEST 000013df: PUSH1 0x00 000013e1: EQ 000013e2: ISZERO 000013e3: PUSH2 0x13eb 000013e6: JUMPI 000013e7: PUSH2 0x0002 000013ea: JUMP 000013eb: JUMPDEST 000013ec: PUSH1 0x07 000013ee: DUP1 000013ef: SLOAD 000013f0: DUP5 000013f1: SWAP1 000013f2: DUP2 000013f3: LT 000013f4: ISZERO 000013f5: PUSH2 0x0002 000013f8: JUMPI 000013f9: POP 000013fa: PUSH1 0x00 000013fc: MSTORE 000013fd: POP 000013fe: PUSH32 0xa66cc928b5edb82af9bd49922954155ab7b0942694bea4ce44661d9a8736c68b 0000141f: PUSH1 0x0b 00001421: DUP4 00001422: MUL 00001423: SWAP1 00001424: DUP2 00001425: ADD 00001426: SLOAD 00001427: PUSH1 0x00 00001429: DUP1 0000142a: MLOAD 0000142b: PUSH1 0x20 0000142d: PUSH2 0x1844 00001430: DUP4 00001431: CODECOPY 00001432: DUP2 00001433: MLOAD 00001434: SWAP2 00001435: MSTORE 00001436: SWAP2 00001437: SWAP1 00001438: SWAP2 00001439: ADD 0000143a: SWAP1 0000143b: TIMESTAMP 0000143c: LT 0000143d: DUP1 0000143e: PUSH2 0x147c 00001441: JUMPI 00001442: POP 00001443: DUP1 00001444: SLOAD 00001445: PUSH1 0x40 00001447: DUP1 00001448: MLOAD 00001449: PUSH1 0x01 0000144b: PUSH1 0xa0 0000144d: PUSH1 0x02 0000144f: EXP 00001450: SUB 00001451: SWAP3 00001452: SWAP1 00001453: SWAP3 00001454: AND 00001455: PUSH1 0x60 00001457: PUSH1 0x02 00001459: EXP 0000145a: MUL 0000145b: DUP3 0000145c: MSTORE 0000145d: PUSH1 0x00 0000145f: PUSH1 0x14 00001461: DUP4 00001462: ADD 00001463: DUP2 00001464: SWAP1 00001465: MSTORE 00001466: PUSH1 0x15 00001468: DUP4 00001469: ADD 0000146a: MSTORE 0000146b: MLOAD 0000146c: SWAP1 0000146d: DUP2 0000146e: SWAP1 0000146f: SUB 00001470: PUSH1 0x16 00001472: ADD 00001473: SWAP1 00001474: KECCAK256 00001475: PUSH1 0x06 00001477: DUP3 00001478: ADD 00001479: SLOAD 0000147a: EQ 0000147b: ISZERO 0000147c: JUMPDEST 0000147d: DUP1 0000147e: PUSH2 0x148c 00001481: JUMPI 00001482: POP 00001483: PUSH1 0x07 00001485: DUP2 00001486: ADD 00001487: SLOAD 00001488: PUSH1 0xff 0000148a: AND 0000148b: ISZERO 0000148c: JUMPDEST 0000148d: DUP1 0000148e: PUSH2 0x14a5 00001491: JUMPI 00001492: POP 00001493: DUP1 00001494: SLOAD 00001495: PUSH1 0x01 00001497: PUSH1 0xa0 00001499: PUSH1 0x02 0000149b: EXP 0000149c: SUB 0000149d: SWAP1 0000149e: DUP2 0000149f: AND 000014a0: SWAP1 000014a1: DUP4 000014a2: AND 000014a3: EQ 000014a4: ISZERO 000014a5: JUMPDEST 000014a6: ISZERO 000014a7: PUSH2 0x14af 000014aa: JUMPI 000014ab: PUSH2 0x0002 000014ae: JUMP 000014af: JUMPDEST 000014b0: PUSH1 0x07 000014b2: DUP2 000014b3: ADD 000014b4: SLOAD 000014b5: PUSH2 0x0100 000014b8: SWAP1 000014b9: DIV 000014ba: PUSH1 0x01 000014bc: PUSH1 0xa0 000014be: PUSH1 0x02 000014c0: EXP 000014c1: SUB 000014c2: AND 000014c3: PUSH1 0x00 000014c5: EQ 000014c6: ISZERO 000014c7: PUSH2 0x15a5 000014ca: JUMPI 000014cb: PUSH2 0x1585 000014ce: DUP3 000014cf: PUSH1 0x40 000014d1: DUP1 000014d2: MLOAD 000014d3: PUSH1 0x01 000014d5: PUSH1 0xa0 000014d7: PUSH1 0x02 000014d9: EXP 000014da: SUB 000014db: DUP4 000014dc: AND 000014dd: DUP2 000014de: MSTORE 000014df: SWAP1 000014e0: MLOAD 000014e1: PUSH1 0x00 000014e3: SWAP2 000014e4: PUSH32 0xeaa602bff84cc95bf1b06084485d789e35140c4931eeca8a3b6eb0ed87d74917 00001505: SWAP2 00001506: SWAP1 00001507: DUP2 00001508: SWAP1 00001509: SUB 0000150a: PUSH1 0x20 0000150c: ADD 0000150d: SWAP1 0000150e: LOG1 0000150f: PUSH1 0x40 00001511: DUP1 00001512: MLOAD 00001513: PUSH1 0x0d 00001515: SLOAD 00001516: PUSH32 0xa32b9d3100000000000000000000000000000000000000000000000000000000 00001537: DUP3 00001538: MSTORE 00001539: PUSH1 0x01 0000153b: PUSH1 0xa0 0000153d: PUSH1 0x02 0000153f: EXP 00001540: SUB 00001541: DUP6 00001542: DUP2 00001543: AND 00001544: PUSH1 0x04 00001546: DUP5 00001547: ADD 00001548: MSTORE 00001549: AND 0000154a: PUSH1 0x24 0000154c: DUP3 0000154d: ADD 0000154e: DUP2 0000154f: SWAP1 00001550: MSTORE 00001551: SWAP2 00001552: MLOAD 00001553: PUSH4 0xa32b9d31 00001558: SWAP2 00001559: PUSH1 0x44 0000155b: DUP2 0000155c: DUP2 0000155d: ADD 0000155e: SWAP3 0000155f: PUSH1 0x20 00001561: SWAP3 00001562: SWAP1 00001563: SWAP2 00001564: SWAP1 00001565: DUP3 00001566: SWAP1 00001567: SUB 00001568: ADD 00001569: DUP2 0000156a: DUP8 0000156b: DUP8 0000156c: PUSH2 0x61da 0000156f: GAS 00001570: SUB 00001571: CALL 00001572: ISZERO 00001573: PUSH2 0x0002 00001576: JUMPI 00001577: POP 00001578: POP 00001579: PUSH1 0x40 0000157b: MLOAD 0000157c: MLOAD 0000157d: SWAP2 0000157e: POP 0000157f: PUSH2 0x06c4 00001582: SWAP1 00001583: POP 00001584: JUMP 00001585: JUMPDEST 00001586: DUP2 00001587: PUSH1 0x07 00001589: ADD 0000158a: PUSH1 0x01 0000158c: PUSH2 0x0100 0000158f: EXP 00001590: DUP2 00001591: SLOAD 00001592: DUP2 00001593: PUSH1 0x01 00001595: PUSH1 0xa0 00001597: PUSH1 0x02 00001599: EXP 0000159a: SUB 0000159b: MUL 0000159c: NOT 0000159d: AND 0000159e: SWAP1 0000159f: DUP4 000015a0: MUL 000015a1: OR 000015a2: SWAP1 000015a3: SSTORE 000015a4: POP 000015a5: JUMPDEST 000015a6: PUSH1 0x05 000015a8: SLOAD 000015a9: PUSH1 0x07 000015ab: DUP3 000015ac: ADD 000015ad: SLOAD 000015ae: PUSH1 0x09 000015b0: SLOAD 000015b1: PUSH2 0x0100 000015b4: SWAP1 000015b5: SWAP2 000015b6: DIV 000015b7: PUSH1 0x01 000015b9: PUSH1 0xa0 000015bb: PUSH1 0x02 000015bd: EXP 000015be: SUB 000015bf: SWAP1 000015c0: DUP2 000015c1: AND 000015c2: SWAP3 000015c3: PUSH4 0x13d4bc24 000015c8: SWAP3 000015c9: ADD 000015ca: SWAP1 000015cb: ADDRESS 000015cc: AND 000015cd: BALANCE 000015ce: PUSH2 0x15d6 000015d1: CALLER 000015d2: PUSH2 0x06aa 000015d5: JUMP 000015d6: JUMPDEST 000015d7: MUL 000015d8: DIV 000015d9: CALLER 000015da: PUSH1 0x40 000015dc: MLOAD 000015dd: DUP4 000015de: PUSH1 0xe0 000015e0: PUSH1 0x02 000015e2: EXP 000015e3: MUL 000015e4: DUP2 000015e5: MSTORE 000015e6: PUSH1 0x04 000015e8: ADD 000015e9: DUP1 000015ea: DUP3 000015eb: PUSH1 0x01 000015ed: PUSH1 0xa0 000015ef: PUSH1 0x02 000015f1: EXP 000015f2: SUB 000015f3: AND 000015f4: DUP2 000015f5: MSTORE 000015f6: PUSH1 0x20 000015f8: ADD 000015f9: SWAP2 000015fa: POP 000015fb: POP 000015fc: PUSH1 0x00 000015fe: PUSH1 0x40 00001600: MLOAD 00001601: DUP1 00001602: DUP4 00001603: SUB 00001604: DUP2 00001605: DUP6 00001606: DUP9 00001607: PUSH2 0x8502 0000160a: GAS 0000160b: SUB 0000160c: CALL 0000160d: ISZERO 0000160e: PUSH2 0x0002 00001611: JUMPI 00001612: POP 00001613: POP 00001614: PUSH1 0x09 00001616: SLOAD 00001617: PUSH1 0x05 00001619: SLOAD 0000161a: PUSH1 0x01 0000161c: PUSH1 0xa0 0000161e: PUSH1 0x02 00001620: EXP 00001621: SUB 00001622: CALLER 00001623: DUP2 00001624: AND 00001625: PUSH1 0x00 00001627: SWAP1 00001628: DUP2 00001629: MSTORE 0000162a: PUSH1 0x20 0000162c: DUP2 0000162d: SWAP1 0000162e: MSTORE 0000162f: PUSH1 0x40 00001631: SWAP1 00001632: KECCAK256 00001633: DUP1 00001634: SLOAD 00001635: SWAP3 00001636: SWAP1 00001637: SWAP4 00001638: ADD 00001639: ADDRESS 0000163a: SWAP1 0000163b: SWAP2 0000163c: AND 0000163d: BALANCE 0000163e: DIV 0000163f: PUSH1 0x01 00001641: SUB 00001642: MUL 00001643: SWAP1 00001644: SSTORE 00001645: POP 00001646: POP 00001647: POP 00001648: POP 00001649: POP 0000164a: JUMP 0000164b: JUMPDEST 0000164c: PUSH1 0x0b 0000164e: DUP1 0000164f: SLOAD 00001650: PUSH1 0x01 00001652: DUP2 00001653: ADD 00001654: DUP1 00001655: DUP4 00001656: SSTORE 00001657: DUP3 00001658: DUP2 00001659: DUP4 0000165a: DUP1 0000165b: ISZERO 0000165c: DUP3 0000165d: SWAP1 0000165e: GT 0000165f: PUSH2 0x167b 00001662: JUMPI 00001663: DUP2 00001664: DUP4 00001665: PUSH1 0x00 00001667: MSTORE 00001668: PUSH1 0x20 0000166a: PUSH1 0x00 0000166c: KECCAK256 0000166d: SWAP2 0000166e: DUP3 0000166f: ADD 00001670: SWAP2 00001671: ADD 00001672: PUSH2 0x167b 00001675: SWAP2 00001676: SWAP1 00001677: PUSH2 0x0e3a 0000167a: JUMP 0000167b: JUMPDEST 0000167c: POP 0000167d: POP 0000167e: POP 0000167f: PUSH1 0x00 00001681: SWAP3 00001682: DUP4 00001683: MSTORE 00001684: POP 00001685: PUSH1 0x20 00001687: SWAP1 00001688: SWAP2 00001689: KECCAK256 0000168a: ADD 0000168b: DUP1 0000168c: SLOAD 0000168d: PUSH1 0x01 0000168f: PUSH1 0xa0 00001691: PUSH1 0x02 00001693: EXP 00001694: SUB 00001695: NOT 00001696: AND 00001697: SWAP1 00001698: SWAP2 00001699: OR 0000169a: SWAP1 0000169b: SSTORE 0000169c: JUMP 0000169d: JUMPDEST 0000169e: PUSH1 0x0c 000016a0: SSTORE 000016a1: JUMP 000016a2: JUMPDEST 000016a3: POP 000016a4: PUSH1 0x00 000016a6: PUSH2 0x0460 000016a9: JUMP 000016aa: JUMPDEST 000016ab: PUSH1 0x01 000016ad: PUSH1 0xa0 000016af: PUSH1 0x02 000016b1: EXP 000016b2: SUB 000016b3: DUP6 000016b4: DUP2 000016b5: AND 000016b6: PUSH1 0x00 000016b8: SWAP1 000016b9: DUP2 000016ba: MSTORE 000016bb: PUSH1 0x02 000016bd: PUSH1 0x20 000016bf: SWAP1 000016c0: DUP2 000016c1: MSTORE 000016c2: PUSH1 0x40 000016c4: DUP1 000016c5: DUP4 000016c6: KECCAK256 000016c7: CALLER 000016c8: SWAP1 000016c9: SWAP5 000016ca: AND 000016cb: DUP4 000016cc: MSTORE 000016cd: SWAP3 000016ce: SWAP1 000016cf: MSTORE 000016d0: KECCAK256 000016d1: SLOAD 000016d2: DUP5 000016d3: GT 000016d4: PUSH2 0x1723 000016d7: JUMPI 000016d8: PUSH1 0x01 000016da: SWAP1 000016db: POP 000016dc: DUP1 000016dd: POP 000016de: PUSH1 0x00 000016e0: PUSH1 0x02 000016e2: PUSH1 0x00 000016e4: POP 000016e5: PUSH1 0x00 000016e7: DUP8 000016e8: PUSH1 0x01 000016ea: PUSH1 0xa0 000016ec: PUSH1 0x02 000016ee: EXP 000016ef: SUB 000016f0: AND 000016f1: DUP2 000016f2: MSTORE 000016f3: PUSH1 0x20 000016f5: ADD 000016f6: SWAP1 000016f7: DUP2 000016f8: MSTORE 000016f9: PUSH1 0x20 000016fb: ADD 000016fc: PUSH1 0x00 000016fe: KECCAK256 000016ff: PUSH1 0x00 00001701: POP 00001702: PUSH1 0x00 00001704: CALLER 00001705: PUSH1 0x01 00001707: PUSH1 0xa0 00001709: PUSH1 0x02 0000170b: EXP 0000170c: SUB 0000170d: AND 0000170e: DUP2 0000170f: MSTORE 00001710: PUSH1 0x20 00001712: ADD 00001713: SWAP1 00001714: DUP2 00001715: MSTORE 00001716: PUSH1 0x20 00001718: ADD 00001719: PUSH1 0x00 0000171b: KECCAK256 0000171c: PUSH1 0x00 0000171e: POP 0000171f: DUP2 00001720: SWAP1 00001721: SSTORE 00001722: POP 00001723: JUMPDEST 00001724: DUP1 00001725: PUSH1 0x01 00001727: EQ 00001728: ISZERO 00001729: PUSH2 0x179a 0000172c: JUMPI 0000172d: PUSH1 0x01 0000172f: PUSH1 0xa0 00001731: PUSH1 0x02 00001733: EXP 00001734: SUB 00001735: DUP6 00001736: DUP2 00001737: AND 00001738: PUSH1 0x00 0000173a: DUP2 0000173b: DUP2 0000173c: MSTORE 0000173d: PUSH1 0x20 0000173f: DUP2 00001740: DUP2 00001741: MSTORE 00001742: PUSH1 0x40 00001744: DUP1 00001745: DUP4 00001746: KECCAK256 00001747: DUP1 00001748: SLOAD 00001749: DUP11 0000174a: SWAP1 0000174b: SUB 0000174c: SWAP1 0000174d: SSTORE 0000174e: SWAP4 0000174f: DUP8 00001750: AND 00001751: DUP1 00001752: DUP4 00001753: MSTORE 00001754: SWAP2 00001755: DUP5 00001756: SWAP1 00001757: KECCAK256 00001758: DUP1 00001759: SLOAD 0000175a: DUP10 0000175b: ADD 0000175c: SWAP1 0000175d: SSTORE 0000175e: DUP4 0000175f: MLOAD 00001760: DUP9 00001761: DUP2 00001762: MSTORE 00001763: SWAP4 00001764: MLOAD 00001765: SWAP2 00001766: SWAP4 00001767: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00001788: SWAP3 00001789: SWAP1 0000178a: DUP2 0000178b: SWAP1 0000178c: SUB 0000178d: SWAP1 0000178e: SWAP2 0000178f: ADD 00001790: SWAP1 00001791: LOG3 00001792: PUSH1 0x01 00001794: SWAP2 00001795: POP 00001796: PUSH2 0x179f 00001799: JUMP 0000179a: JUMPDEST 0000179b: PUSH1 0x00 0000179d: SWAP2 0000179e: POP 0000179f: JUMPDEST 000017a0: POP 000017a1: SWAP4 000017a2: SWAP3 000017a3: POP 000017a4: POP 000017a5: POP 000017a6: JUMP 000017a7: JUMPDEST 000017a8: PUSH1 0x00 000017aa: SWAP2 000017ab: POP 000017ac: JUMPDEST 000017ad: POP 000017ae: SWAP2 000017af: SWAP1 000017b0: POP 000017b1: JUMP 000017b2: JUMPDEST 000017b3: POP 000017b4: PUSH1 0x00 000017b6: JUMPDEST 000017b7: PUSH1 0x0b 000017b9: SLOAD 000017ba: DUP2 000017bb: LT 000017bc: ISZERO 000017bd: PUSH2 0x17a7 000017c0: JUMPI 000017c1: PUSH1 0x0b 000017c3: DUP1 000017c4: SLOAD 000017c5: DUP3 000017c6: SWAP1 000017c7: DUP2 000017c8: LT 000017c9: ISZERO 000017ca: PUSH2 0x0002 000017cd: JUMPI 000017ce: PUSH1 0x00 000017d0: SWAP2 000017d1: SWAP1 000017d2: SWAP2 000017d3: MSTORE 000017d4: PUSH32 0x0175b7a638427703f0dbe7bb9bbf987a2551717b34e79f33b5b1008d1fa01db9 000017f5: ADD 000017f6: SLOAD 000017f7: PUSH1 0x01 000017f9: PUSH1 0xa0 000017fb: PUSH1 0x02 000017fd: EXP 000017fe: SUB 000017ff: SWAP1 00001800: DUP2 00001801: AND 00001802: SWAP1 00001803: DUP5 00001804: AND 00001805: EQ 00001806: ISZERO 00001807: PUSH2 0x1813 0000180a: JUMPI 0000180b: PUSH1 0x01 0000180d: SWAP2 0000180e: POP 0000180f: PUSH2 0x17ac 00001812: JUMP 00001813: JUMPDEST 00001814: PUSH1 0x01 00001816: ADD 00001817: PUSH2 0x17b6 0000181a: JUMP 0000181b: JUMPDEST 0000181c: PUSH1 0x05 0000181e: PUSH1 0x00 00001820: POP 00001821: SLOAD 00001822: DUP3 00001823: PUSH3 0x28de80 00001827: MUL 00001828: DIV 00001829: PUSH3 0x093a80 0000182d: ADD 0000182e: SWAP1 0000182f: POP 00001830: PUSH2 0x0460 00001833: JUMP 00001834: JUMPDEST 00001835: POP 00001836: PUSH1 0x05 00001838: DUP1 00001839: SLOAD 0000183a: DIV 0000183b: PUSH1 0x03 0000183d: DUP3 0000183e: DIV 0000183f: ADD 00001840: PUSH2 0x0460 00001843: JUMP 00001844: UNKNOWN(0xA6) 00001845: PUSH13 0xc928b5edb82af9bd4992295415 00001853: GAS 00001854: UNKNOWN(0xB7) 00001855: UNKNOWN(0xB0) 00001856: SWAP5 00001857: UNKNOWN(0x26) 00001858: SWAP5 00001859: UNKNOWN(0xBE) 0000185a: LOG4 0000185b: UNKNOWN(0xCE) 0000185c: DIFFICULTY 0000185d: PUSH7
Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x8836b6732d641c68c55cc500111075cc5cd0f5eaf702dd7fd82b8f1fbc07871b
call_targets:
0x54715db7a8a57bc9bab660eb8e7b195774cb564d
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x8836b6732d641c68c55cc500111075cc5cd0f5eaf702dd7fd82b8f1fbc07871b",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x54715db7a8a57bc9bab660eb8e7b195774cb564d"
],
"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": "0x013cf08b",
"selector": "0x013cf08b",
"calldata_variants": [
"0x013cf08b",
"0x013cf08b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0e65fa15",
"selector": "0x0e65fa15",
"calldata_variants": [
"0x0e65fa15",
"0x0e65fa150000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x13bb7fa8",
"selector": "0x13bb7fa8",
"calldata_variants": [
"0x13bb7fa8",
"0x13bb7fa80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x13d4bc24",
"selector": "0x13d4bc24",
"calldata_variants": [
"0x13d4bc24",
"0x13d4bc240000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x181670e6",
"selector": "0x181670e6",
"calldata_variants": [
"0x181670e6",
"0x181670e60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1bd29b6c",
"selector": "0x1bd29b6c",
"calldata_variants": [
"0x1bd29b6c",
"0x1bd29b6c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1fa03a2b",
"selector": "0x1fa03a2b",
"calldata_variants": [
"0x1fa03a2b",
"0x1fa03a2b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x22b22bac",
"selector": "0x22b22bac",
"calldata_variants": [
"0x22b22bac",
"0x22b22bac0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1466,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1603,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2500,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 11,
"guards_detected": [],
"untrusted_call_count": 11
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x8836b6732d641c68c55cc500111075cc5cd0f5eaf702dd7fd82b8f1fbc07871b
call_targets:
0x54715db7a8a57bc9bab660eb8e7b195774cb564d
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x8836b6732d641c68c55cc500111075cc5cd0f5eaf702dd7fd82b8f1fbc07871b",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x54715db7a8a57bc9bab660eb8e7b195774cb564d"
],
"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": "0x013cf08b",
"selector": "0x013cf08b",
"calldata_variants": [
"0x013cf08b",
"0x013cf08b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0e65fa15",
"selector": "0x0e65fa15",
"calldata_variants": [
"0x0e65fa15",
"0x0e65fa150000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x13bb7fa8",
"selector": "0x13bb7fa8",
"calldata_variants": [
"0x13bb7fa8",
"0x13bb7fa80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x13d4bc24",
"selector": "0x13d4bc24",
"calldata_variants": [
"0x13d4bc24",
"0x13d4bc240000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x181670e6",
"selector": "0x181670e6",
"calldata_variants": [
"0x181670e6",
"0x181670e60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1bd29b6c",
"selector": "0x1bd29b6c",
"calldata_variants": [
"0x1bd29b6c",
"0x1bd29b6c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1fa03a2b",
"selector": "0x1fa03a2b",
"calldata_variants": [
"0x1fa03a2b",
"0x1fa03a2b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x22b22bac",
"selector": "0x22b22bac",
"calldata_variants": [
"0x22b22bac",
"0x22b22bac0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1466,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1603,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2500,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 11,
"guards_detected": []
}
|