019b477e-b448-73dc-b94d-6dded6ca11b1
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 |
|---|---|---|---|---|
| 22699 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 22700 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 89541 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 89542 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 89543 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 89544 | 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 0x0218 0000000c: JUMPI 0000000d: PUSH4 0xffffffff 00000012: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000030: PUSH1 0x00 00000032: CALLDATALOAD 00000033: DIV 00000034: AND 00000035: PUSH3 0x4038a9 00000039: DUP2 0000003a: EQ 0000003b: PUSH2 0x04cd 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0x03a66f32 00000045: EQ 00000046: PUSH2 0x04f4 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0x06fdde03 00000050: EQ 00000051: PUSH2 0x0509 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0x15b73a1d 0000005b: EQ 0000005c: PUSH2 0x0593 0000005f: JUMPI 00000060: DUP1 00000061: PUSH4 0x18160ddd 00000066: EQ 00000067: PUSH2 0x05a8 0000006a: JUMPI 0000006b: DUP1 0000006c: PUSH4 0x263ef09a 00000071: EQ 00000072: PUSH2 0x05bd 00000075: JUMPI 00000076: DUP1 00000077: PUSH4 0x279994be 0000007c: EQ 0000007d: PUSH2 0x05d2 00000080: JUMPI 00000081: DUP1 00000082: PUSH4 0x2ff2e9dc 00000087: EQ 00000088: PUSH2 0x05e7 0000008b: JUMPI 0000008c: DUP1 0000008d: PUSH4 0x313ce567 00000092: EQ 00000093: PUSH2 0x05fc 00000096: JUMPI 00000097: DUP1 00000098: PUSH4 0x33360978 0000009d: EQ 0000009e: PUSH2 0x0611 000000a1: JUMPI 000000a2: DUP1 000000a3: PUSH4 0x3f4ba83a 000000a8: EQ 000000a9: PUSH2 0x0626 000000ac: JUMPI 000000ad: DUP1 000000ae: PUSH4 0x42966c68 000000b3: EQ 000000b4: PUSH2 0x063d 000000b7: JUMPI 000000b8: DUP1 000000b9: PUSH4 0x4760d3e8 000000be: EQ 000000bf: PUSH2 0x0655 000000c2: JUMPI 000000c3: DUP1 000000c4: PUSH4 0x4c013bd7 000000c9: EQ 000000ca: PUSH2 0x0689 000000cd: JUMPI 000000ce: DUP1 000000cf: PUSH4 0x4e9e8279 000000d4: EQ 000000d5: PUSH2 0x06b2 000000d8: JUMPI 000000d9: DUP1 000000da: PUSH4 0x5040c6e7 000000df: EQ 000000e0: PUSH2 0x06c7 000000e3: JUMPI 000000e4: DUP1 000000e5: PUSH4 0x5097e51f 000000ea: EQ 000000eb: PUSH2 0x06dc 000000ee: JUMPI 000000ef: DUP1 000000f0: PUSH4 0x5c975abb 000000f5: EQ 000000f6: PUSH2 0x06f1 000000f9: JUMPI 000000fa: DUP1 000000fb: PUSH4 0x629c1b67 00000100: EQ 00000101: PUSH2 0x0706 00000104: JUMPI 00000105: DUP1 00000106: PUSH4 0x70a08231 0000010b: EQ 0000010c: PUSH2 0x071b 0000010f: JUMPI 00000110: DUP1 00000111: PUSH4 0x7c89e7a9 00000116: EQ 00000117: PUSH2 0x073c 0000011a: JUMPI 0000011b: DUP1 0000011c: PUSH4 0x7d42af97 00000121: EQ 00000122: PUSH2 0x0751 00000125: JUMPI 00000126: DUP1 00000127: PUSH4 0x8456cb59 0000012c: EQ 0000012d: PUSH2 0x0766 00000130: JUMPI 00000131: DUP1 00000132: PUSH4 0x8ab1d681 00000137: EQ 00000138: PUSH2 0x077b 0000013b: JUMPI 0000013c: DUP1 0000013d: PUSH4 0x8c10671c 00000142: EQ 00000143: PUSH2 0x079c 00000146: JUMPI 00000147: DUP1 00000148: PUSH4 0x8da5cb5b 0000014d: EQ 0000014e: PUSH2 0x07bc 00000151: JUMPI 00000152: DUP1 00000153: PUSH4 0x95d89b41 00000158: EQ 00000159: PUSH2 0x07d1 0000015c: JUMPI 0000015d: DUP1 0000015e: PUSH4 0x96f1daff 00000163: EQ 00000164: PUSH2 0x07e6 00000167: JUMPI 00000168: DUP1 00000169: PUSH4 0x9788c342 0000016e: EQ 0000016f: PUSH2 0x07fb 00000172: JUMPI 00000173: DUP1 00000174: PUSH4 0x9b19251a 00000179: EQ 0000017a: PUSH2 0x0810 0000017d: JUMPI 0000017e: DUP1 0000017f: PUSH4 0x9d8a711d 00000184: EQ 00000185: PUSH2 0x0831 00000188: JUMPI 00000189: DUP1 0000018a: PUSH4 0xa9059cbb 0000018f: EQ 00000190: PUSH2 0x0846 00000193: JUMPI 00000194: DUP1 00000195: PUSH4 0xaa8d08af 0000019a: EQ 0000019b: PUSH2 0x086a 0000019e: JUMPI 0000019f: DUP1 000001a0: PUSH4 0xb39a325e 000001a5: EQ 000001a6: PUSH2 0x087f 000001a9: JUMPI 000001aa: DUP1 000001ab: PUSH4 0xbd9d053c 000001b0: EQ 000001b1: PUSH2 0x0894 000001b4: JUMPI 000001b5: DUP1 000001b6: PUSH4 0xbe45fd62 000001bb: EQ 000001bc: PUSH2 0x08a9 000001bf: JUMPI 000001c0: DUP1 000001c1: PUSH4 0xce7c5d7f 000001c6: EQ 000001c7: PUSH2 0x0912 000001ca: JUMPI 000001cb: DUP1 000001cc: PUSH4 0xdb483de5 000001d1: EQ 000001d2: PUSH2 0x092a 000001d5: JUMPI 000001d6: DUP1 000001d7: PUSH4 0xe43252d7 000001dc: EQ 000001dd: PUSH2 0x0973 000001e0: JUMPI 000001e1: DUP1 000001e2: PUSH4 0xf0b53256 000001e7: EQ 000001e8: PUSH2 0x0994 000001eb: JUMPI 000001ec: DUP1 000001ed: PUSH4 0xf2fde38b 000001f2: EQ 000001f3: PUSH2 0x09a9 000001f6: JUMPI 000001f7: DUP1 000001f8: PUSH4 0xf76dd6ad 000001fd: EQ 000001fe: PUSH2 0x09ca 00000201: JUMPI 00000202: DUP1 00000203: PUSH4 0xfc4a4a1e 00000208: EQ 00000209: PUSH2 0x09df 0000020c: JUMPI 0000020d: DUP1 0000020e: PUSH4 0xfd6b7ef8 00000213: EQ 00000214: PUSH2 0x09f4 00000217: JUMPI 00000218: JUMPDEST 00000219: CALLER 0000021a: PUSH1 0x00 0000021c: DUP2 0000021d: DUP2 0000021e: MSTORE 0000021f: PUSH1 0x08 00000221: PUSH1 0x20 00000223: MSTORE 00000224: PUSH1 0x40 00000226: DUP2 00000227: KECCAK256 00000228: SLOAD 00000229: SWAP1 0000022a: SWAP2 0000022b: DUP3 0000022c: SWAP2 0000022d: DUP3 0000022e: SWAP2 0000022f: DUP3 00000230: SWAP2 00000231: DUP3 00000232: SWAP2 00000233: DUP3 00000234: SWAP2 00000235: PUSH1 0xff 00000237: AND 00000238: ISZERO 00000239: ISZERO 0000023a: PUSH2 0x0242 0000023d: JUMPI 0000023e: PUSH1 0x00 00000240: DUP1 00000241: REVERT 00000242: JUMPDEST 00000243: PUSH1 0x01 00000245: SLOAD 00000246: PUSH1 0xa0 00000248: PUSH1 0x02 0000024a: EXP 0000024b: SWAP1 0000024c: DIV 0000024d: PUSH1 0xff 0000024f: AND 00000250: ISZERO 00000251: PUSH2 0x0259 00000254: JUMPI 00000255: PUSH1 0x00 00000257: DUP1 00000258: REVERT 00000259: JUMPDEST 0000025a: PUSH1 0x0a 0000025c: SLOAD 0000025d: TIMESTAMP 0000025e: LT 0000025f: PUSH2 0x0267 00000262: JUMPI 00000263: PUSH1 0x00 00000265: DUP1 00000266: REVERT 00000267: JUMPDEST 00000268: PUSH1 0x09 0000026a: SLOAD 0000026b: TIMESTAMP 0000026c: LT 0000026d: ISZERO 0000026e: PUSH2 0x0276 00000271: JUMPI 00000272: PUSH1 0x00 00000274: DUP1 00000275: REVERT 00000276: JUMPDEST 00000277: PUSH1 0x0d 00000279: SLOAD 0000027a: PUSH3 0x010000 0000027e: SWAP1 0000027f: DIV 00000280: PUSH1 0xff 00000282: AND 00000283: ISZERO 00000284: PUSH2 0x028c 00000287: JUMPI 00000288: PUSH1 0x00 0000028a: DUP1 0000028b: REVERT 0000028c: JUMPDEST 0000028d: PUSH1 0x0d 0000028f: SLOAD 00000290: PUSH4 0x01000000 00000295: SWAP1 00000296: DIV 00000297: PUSH1 0xff 00000299: AND 0000029a: ISZERO 0000029b: PUSH2 0x02a3 0000029e: JUMPI 0000029f: PUSH1 0x00 000002a1: DUP1 000002a2: REVERT 000002a3: JUMPDEST 000002a4: PUSH1 0x0d 000002a6: DUP1 000002a7: SLOAD 000002a8: PUSH4 0xff000000 000002ad: NOT 000002ae: AND 000002af: PUSH4 0x01000000 000002b4: OR 000002b5: SWAP1 000002b6: SSTORE 000002b7: PUSH1 0x0e 000002b9: SLOAD 000002ba: CALLVALUE 000002bb: LT 000002bc: ISZERO 000002bd: PUSH2 0x02c5 000002c0: JUMPI 000002c1: PUSH1 0x00 000002c3: DUP1 000002c4: REVERT 000002c5: JUMPDEST 000002c6: CALLER 000002c7: PUSH1 0x00 000002c9: DUP2 000002ca: DUP2 000002cb: MSTORE 000002cc: PUSH1 0x15 000002ce: PUSH1 0x20 000002d0: MSTORE 000002d1: PUSH1 0x40 000002d3: SWAP1 000002d4: KECCAK256 000002d5: SLOAD 000002d6: CALLVALUE 000002d7: SWAP9 000002d8: POP 000002d9: TIMESTAMP 000002da: SWAP8 000002db: POP 000002dc: SWAP1 000002dd: SWAP6 000002de: POP 000002df: SWAP3 000002e0: POP 000002e1: PUSH2 0x02f0 000002e4: DUP4 000002e5: DUP9 000002e6: PUSH4 0xffffffff 000002eb: PUSH2 0x0a09 000002ee: AND 000002ef: JUMP 000002f0: JUMPDEST 000002f1: PUSH1 0x01 000002f3: PUSH1 0xa0 000002f5: PUSH1 0x02 000002f7: EXP 000002f8: SUB 000002f9: DUP7 000002fa: AND 000002fb: PUSH1 0x00 000002fd: SWAP1 000002fe: DUP2 000002ff: MSTORE 00000300: PUSH1 0x15 00000302: PUSH1 0x20 00000304: MSTORE 00000305: PUSH1 0x40 00000307: SWAP1 00000308: KECCAK256 00000309: SSTORE 0000030a: PUSH1 0x09 0000030c: SLOAD 0000030d: PUSH2 0x0320 00000310: SWAP1 00000311: PUSH4 0x0163f500 00000316: PUSH4 0xffffffff 0000031b: PUSH2 0x0a09 0000031e: AND 0000031f: JUMP 00000320: JUMPDEST 00000321: PUSH1 0x01 00000323: PUSH1 0xa0 00000325: PUSH1 0x02 00000327: EXP 00000328: SUB 00000329: DUP7 0000032a: AND 0000032b: PUSH1 0x00 0000032d: SWAP1 0000032e: DUP2 0000032f: MSTORE 00000330: PUSH1 0x15 00000332: PUSH1 0x20 00000334: MSTORE 00000335: PUSH1 0x40 00000337: SWAP1 00000338: KECCAK256 00000339: PUSH1 0x02 0000033b: DUP2 0000033c: ADD 0000033d: SWAP2 0000033e: SWAP1 0000033f: SWAP2 00000340: SSTORE 00000341: PUSH1 0x03 00000343: ADD 00000344: DUP1 00000345: SLOAD 00000346: PUSH1 0xff 00000348: NOT 00000349: AND 0000034a: SWAP1 0000034b: SSTORE 0000034c: PUSH1 0x11 0000034e: SLOAD 0000034f: PUSH2 0x035e 00000352: SWAP1 00000353: DUP9 00000354: PUSH4 0xffffffff 00000359: PUSH2 0x0a09 0000035c: AND 0000035d: JUMP 0000035e: JUMPDEST 0000035f: PUSH1 0x11 00000361: SSTORE 00000362: PUSH1 0x0b 00000364: SLOAD 00000365: DUP7 00000366: LT 00000367: ISZERO 00000368: PUSH2 0x0375 0000036b: JUMPI 0000036c: PUSH2 0xab63 0000036f: SWAP4 00000370: POP 00000371: PUSH2 0x038f 00000374: JUMP 00000375: JUMPDEST 00000376: PUSH1 0x0c 00000378: SLOAD 00000379: DUP7 0000037a: LT 0000037b: ISZERO 0000037c: PUSH2 0x0389 0000037f: JUMPI 00000380: PUSH2 0x979d 00000383: SWAP4 00000384: POP 00000385: PUSH2 0x038f 00000388: JUMP 00000389: JUMPDEST 0000038a: PUSH2 0x8a6e 0000038d: SWAP4 0000038e: POP 0000038f: JUMPDEST 00000390: PUSH2 0x039f 00000393: DUP8 00000394: DUP6 00000395: PUSH4 0xffffffff 0000039a: PUSH2 0x0a23 0000039d: AND 0000039e: JUMP 0000039f: JUMPDEST 000003a0: PUSH1 0x05 000003a2: SLOAD 000003a3: SWAP1 000003a4: SWAP3 000003a5: POP 000003a6: PUSH2 0x03b5 000003a9: SWAP1 000003aa: DUP4 000003ab: PUSH4 0xffffffff 000003b0: PUSH2 0x0a4e 000003b3: AND 000003b4: JUMP 000003b5: JUMPDEST 000003b6: PUSH1 0x05 000003b8: DUP2 000003b9: SWAP1 000003ba: SSTORE 000003bb: PUSH1 0x00 000003bd: LT 000003be: ISZERO 000003bf: PUSH2 0x04b2 000003c2: JUMPI 000003c3: PUSH1 0x01 000003c5: PUSH1 0xa0 000003c7: PUSH1 0x02 000003c9: EXP 000003ca: SUB 000003cb: DUP6 000003cc: AND 000003cd: PUSH1 0x00 000003cf: SWAP1 000003d0: DUP2 000003d1: MSTORE 000003d2: PUSH1 0x15 000003d4: PUSH1 0x20 000003d6: MSTORE 000003d7: PUSH1 0x40 000003d9: SWAP1 000003da: KECCAK256 000003db: PUSH1 0x01 000003dd: ADD 000003de: SLOAD 000003df: PUSH2 0x03ee 000003e2: SWAP1 000003e3: DUP4 000003e4: PUSH4 0xffffffff 000003e9: PUSH2 0x0a09 000003ec: AND 000003ed: JUMP 000003ee: JUMPDEST 000003ef: PUSH1 0x01 000003f1: PUSH1 0xa0 000003f3: PUSH1 0x02 000003f5: EXP 000003f6: SUB 000003f7: DUP7 000003f8: AND 000003f9: PUSH1 0x00 000003fb: SWAP1 000003fc: DUP2 000003fd: MSTORE 000003fe: PUSH1 0x15 00000400: PUSH1 0x20 00000402: MSTORE 00000403: PUSH1 0x40 00000405: SWAP1 00000406: KECCAK256 00000407: PUSH1 0x01 00000409: ADD 0000040a: SSTORE 0000040b: PUSH1 0x12 0000040d: SLOAD 0000040e: PUSH2 0x041d 00000411: SWAP1 00000412: DUP4 00000413: PUSH4 0xffffffff 00000418: PUSH2 0x0a09 0000041b: AND 0000041c: JUMP 0000041d: JUMPDEST 0000041e: PUSH1 0x12 00000420: SSTORE 00000421: PUSH2 0x0428 00000424: PUSH2 0x0a60 00000427: JUMP 00000428: JUMPDEST 00000429: PUSH2 0x0430 0000042c: PUSH2 0x0ad7 0000042f: JUMP 00000430: JUMPDEST 00000431: PUSH1 0x14 00000433: DUP1 00000434: SLOAD 00000435: PUSH1 0x00 00000437: SWAP1 00000438: DUP2 00000439: MSTORE 0000043a: PUSH1 0x16 0000043c: PUSH1 0x20 0000043e: SWAP1 0000043f: DUP2 00000440: MSTORE 00000441: PUSH1 0x40 00000443: SWAP2 00000444: DUP3 00000445: SWAP1 00000446: KECCAK256 00000447: DUP1 00000448: SLOAD 00000449: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000045e: NOT 0000045f: AND 00000460: PUSH1 0x01 00000462: PUSH1 0xa0 00000464: PUSH1 0x02 00000466: EXP 00000467: SUB 00000468: DUP11 00000469: AND 0000046a: OR 0000046b: SWAP1 0000046c: SSTORE 0000046d: DUP3 0000046e: SLOAD 0000046f: PUSH1 0x01 00000471: ADD 00000472: SWAP1 00000473: SWAP3 00000474: SSTORE 00000475: DUP1 00000476: MLOAD 00000477: CALLER 00000478: DUP2 00000479: MSTORE 0000047a: CALLVALUE 0000047b: SWAP3 0000047c: DUP2 0000047d: ADD 0000047e: SWAP3 0000047f: SWAP1 00000480: SWAP3 00000481: MSTORE 00000482: DUP1 00000483: MLOAD 00000484: PUSH32 0x8229f13679f542f5c6e53731ec9f251ebbe68491eb99f53c3b0453578915f032 000004a5: SWAP3 000004a6: DUP2 000004a7: SWAP1 000004a8: SUB 000004a9: SWAP1 000004aa: SWAP2 000004ab: ADD 000004ac: SWAP1 000004ad: LOG1 000004ae: PUSH2 0x04b7 000004b1: JUMP 000004b2: JUMPDEST 000004b3: PUSH1 0x00 000004b5: DUP1 000004b6: REVERT 000004b7: JUMPDEST 000004b8: POP 000004b9: POP 000004ba: PUSH1 0x0d 000004bc: DUP1 000004bd: SLOAD 000004be: PUSH4 0xff000000 000004c3: NOT 000004c4: AND 000004c5: SWAP1 000004c6: SSTORE 000004c7: POP 000004c8: POP 000004c9: POP 000004ca: POP 000004cb: POP 000004cc: STOP 000004cd: JUMPDEST 000004ce: CALLVALUE 000004cf: DUP1 000004d0: ISZERO 000004d1: PUSH2 0x04d9 000004d4: JUMPI 000004d5: PUSH1 0x00 000004d7: DUP1 000004d8: REVERT 000004d9: JUMPDEST 000004da: POP 000004db: PUSH2 0x04e2 000004de: PUSH2 0x0b39 000004e1: JUMP 000004e2: JUMPDEST 000004e3: PUSH1 0x40 000004e5: DUP1 000004e6: MLOAD 000004e7: SWAP2 000004e8: DUP3 000004e9: MSTORE 000004ea: MLOAD 000004eb: SWAP1 000004ec: DUP2 000004ed: SWAP1 000004ee: SUB 000004ef: PUSH1 0x20 000004f1: ADD 000004f2: SWAP1 000004f3: RETURN 000004f4: JUMPDEST 000004f5: CALLVALUE 000004f6: DUP1 000004f7: ISZERO 000004f8: PUSH2 0x0500 000004fb: JUMPI 000004fc: PUSH1 0x00 000004fe: DUP1 000004ff: REVERT 00000500: JUMPDEST 00000501: POP 00000502: PUSH2 0x04e2 00000505: PUSH2 0x0b3f 00000508: JUMP 00000509: JUMPDEST 0000050a: CALLVALUE 0000050b: DUP1 0000050c: ISZERO 0000050d: PUSH2 0x0515 00000510: JUMPI 00000511: PUSH1 0x00 00000513: DUP1 00000514: REVERT 00000515: JUMPDEST 00000516: POP 00000517: PUSH2 0x051e 0000051a: PUSH2 0x0b45 0000051d: JUMP 0000051e: JUMPDEST 0000051f: PUSH1 0x40 00000521: DUP1 00000522: MLOAD 00000523: PUSH1 0x20 00000525: DUP1 00000526: DUP3 00000527: MSTORE 00000528: DUP4 00000529: MLOAD 0000052a: DUP2 0000052b: DUP4 0000052c: ADD 0000052d: MSTORE 0000052e: DUP4 0000052f: MLOAD 00000530: SWAP2 00000531: SWAP3 00000532: DUP4 00000533: SWAP3 00000534: SWAP1 00000535: DUP4 00000536: ADD 00000537: SWAP2 00000538: DUP6 00000539: ADD 0000053a: SWAP1 0000053b: DUP1 0000053c: DUP4 0000053d: DUP4 0000053e: PUSH1 0x00 00000540: JUMPDEST 00000541: DUP4 00000542: DUP2 00000543: LT 00000544: ISZERO 00000545: PUSH2 0x0558 00000548: JUMPI 00000549: DUP2 0000054a: DUP2 0000054b: ADD 0000054c: MLOAD 0000054d: DUP4 0000054e: DUP3 0000054f: ADD 00000550: MSTORE 00000551: PUSH1 0x20 00000553: ADD 00000554: PUSH2 0x0540 00000557: JUMP 00000558: JUMPDEST 00000559: POP 0000055a: POP 0000055b: POP 0000055c: POP 0000055d: SWAP1 0000055e: POP 0000055f: SWAP1 00000560: DUP2 00000561: ADD 00000562: SWAP1 00000563: PUSH1 0x1f 00000565: AND 00000566: DUP1 00000567: ISZERO 00000568: PUSH2 0x0585 0000056b: JUMPI 0000056c: DUP1 0000056d: DUP3 0000056e: SUB 0000056f: DUP1 00000570: MLOAD 00000571: PUSH1 0x01 00000573: DUP4 00000574: PUSH1 0x20 00000576: SUB 00000577: PUSH2 0x0100 0000057a: EXP 0000057b: SUB 0000057c: NOT 0000057d: AND 0000057e: DUP2 0000057f: MSTORE 00000580: PUSH1 0x20 00000582: ADD 00000583: SWAP2 00000584: POP 00000585: JUMPDEST 00000586: POP 00000587: SWAP3 00000588: POP 00000589: POP 0000058a: POP 0000058b: PUSH1 0x40 0000058d: MLOAD 0000058e: DUP1 0000058f: SWAP2 00000590: SUB 00000591: SWAP1 00000592: RETURN 00000593: JUMPDEST 00000594: CALLVALUE 00000595: DUP1 00000596: ISZERO 00000597: PUSH2 0x059f 0000059a: JUMPI 0000059b: PUSH1 0x00 0000059d: DUP1 0000059e: REVERT 0000059f: JUMPDEST 000005a0: POP 000005a1: PUSH2 0x04e2 000005a4: PUSH2 0x0b7c 000005a7: JUMP 000005a8: JUMPDEST 000005a9: CALLVALUE 000005aa: DUP1 000005ab: ISZERO 000005ac: PUSH2 0x05b4 000005af: JUMPI 000005b0: PUSH1 0x00 000005b2: DUP1 000005b3: REVERT 000005b4: JUMPDEST 000005b5: POP 000005b6: PUSH2 0x04e2 000005b9: PUSH2 0x0b82 000005bc: JUMP 000005bd: JUMPDEST 000005be: CALLVALUE 000005bf: DUP1 000005c0: ISZERO 000005c1: PUSH2 0x05c9 000005c4: JUMPI 000005c5: PUSH1 0x00 000005c7: DUP1 000005c8: REVERT 000005c9: JUMPDEST 000005ca: POP 000005cb: PUSH2 0x04e2 000005ce: PUSH2 0x0b88 000005d1: JUMP 000005d2: JUMPDEST 000005d3: CALLVALUE 000005d4: DUP1 000005d5: ISZERO 000005d6: PUSH2 0x05de 000005d9: JUMPI 000005da: PUSH1 0x00 000005dc: DUP1 000005dd: REVERT 000005de: JUMPDEST 000005df: POP 000005e0: PUSH2 0x04e2 000005e3: PUSH2 0x0b8e 000005e6: JUMP 000005e7: JUMPDEST 000005e8: CALLVALUE 000005e9: DUP1 000005ea: ISZERO 000005eb: PUSH2 0x05f3 000005ee: JUMPI 000005ef: PUSH1 0x00 000005f1: DUP1 000005f2: REVERT 000005f3: JUMPDEST 000005f4: POP 000005f5: PUSH2 0x04e2 000005f8: PUSH2 0x0b94 000005fb: JUMP 000005fc: JUMPDEST 000005fd: CALLVALUE 000005fe: DUP1 000005ff: ISZERO 00000600: PUSH2 0x0608 00000603: JUMPI 00000604: PUSH1 0x00 00000606: DUP1 00000607: REVERT 00000608: JUMPDEST 00000609: POP 0000060a: PUSH2 0x04e2 0000060d: PUSH2 0x0ba5 00000610: JUMP 00000611: JUMPDEST 00000612: CALLVALUE 00000613: DUP1 00000614: ISZERO 00000615: PUSH2 0x061d 00000618: JUMPI 00000619: PUSH1 0x00 0000061b: DUP1 0000061c: REVERT 0000061d: JUMPDEST 0000061e: POP 0000061f: PUSH2 0x04e2 00000622: PUSH2 0x0baa 00000625: JUMP 00000626: JUMPDEST 00000627: CALLVALUE 00000628: DUP1 00000629: ISZERO 0000062a: PUSH2 0x0632 0000062d: JUMPI 0000062e: PUSH1 0x00 00000630: DUP1 00000631: REVERT 00000632: JUMPDEST 00000633: POP 00000634: PUSH2 0x063b 00000637: PUSH2 0x0bb0 0000063a: JUMP 0000063b: JUMPDEST 0000063c: STOP 0000063d: JUMPDEST 0000063e: CALLVALUE 0000063f: DUP1 00000640: ISZERO 00000641: PUSH2 0x0649 00000644: JUMPI 00000645: PUSH1 0x00 00000647: DUP1 00000648: REVERT 00000649: JUMPDEST 0000064a: POP 0000064b: PUSH2 0x063b 0000064e: PUSH1 0x04 00000650: CALLDATALOAD 00000651: PUSH2 0x0c28 00000654: JUMP 00000655: JUMPDEST 00000656: CALLVALUE 00000657: DUP1 00000658: ISZERO 00000659: PUSH2 0x0661 0000065c: JUMPI 0000065d: PUSH1 0x00 0000065f: DUP1 00000660: REVERT 00000661: JUMPDEST 00000662: POP 00000663: PUSH2 0x066d 00000666: PUSH1 0x04 00000668: CALLDATALOAD 00000669: PUSH2 0x0d0e 0000066c: JUMP 0000066d: JUMPDEST 0000066e: PUSH1 0x40 00000670: DUP1 00000671: MLOAD 00000672: PUSH1 0x01 00000674: PUSH1 0xa0 00000676: PUSH1 0x02 00000678: EXP 00000679: SUB 0000067a: SWAP1 0000067b: SWAP3 0000067c: AND 0000067d: DUP3 0000067e: MSTORE 0000067f: MLOAD 00000680: SWAP1 00000681: DUP2 00000682: SWAP1 00000683: SUB 00000684: PUSH1 0x20 00000686: ADD 00000687: SWAP1 00000688: RETURN 00000689: JUMPDEST 0000068a: CALLVALUE 0000068b: DUP1 0000068c: ISZERO 0000068d: PUSH2 0x0695 00000690: JUMPI 00000691: PUSH1 0x00 00000693: DUP1 00000694: REVERT 00000695: JUMPDEST 00000696: POP 00000697: PUSH2 0x069e 0000069a: PUSH2 0x0d29 0000069d: JUMP 0000069e: JUMPDEST 0000069f: PUSH1 0x40 000006a1: DUP1 000006a2: MLOAD 000006a3: SWAP2 000006a4: ISZERO 000006a5: ISZERO 000006a6: DUP3 000006a7: MSTORE 000006a8: MLOAD 000006a9: SWAP1 000006aa: DUP2 000006ab: SWAP1 000006ac: SUB 000006ad: PUSH1 0x20 000006af: ADD 000006b0: SWAP1 000006b1: RETURN 000006b2: JUMPDEST 000006b3: CALLVALUE 000006b4: DUP1 000006b5: ISZERO 000006b6: PUSH2 0x06be 000006b9: JUMPI 000006ba: PUSH1 0x00 000006bc: DUP1 000006bd: REVERT 000006be: JUMPDEST 000006bf: POP 000006c0: PUSH2 0x063b 000006c3: PUSH2 0x0d38 000006c6: JUMP 000006c7: JUMPDEST 000006c8: CALLVALUE 000006c9: DUP1 000006ca: ISZERO 000006cb: PUSH2 0x06d3 000006ce: JUMPI 000006cf: PUSH1 0x00 000006d1: DUP1 000006d2: REVERT 000006d3: JUMPDEST 000006d4: POP 000006d5: PUSH2 0x04e2 000006d8: PUSH2 0x0f19 000006db: JUMP 000006dc: JUMPDEST 000006dd: CALLVALUE 000006de: DUP1 000006df: ISZERO 000006e0: PUSH2 0x06e8 000006e3: JUMPI 000006e4: PUSH1 0x00 000006e6: DUP1 000006e7: REVERT 000006e8: JUMPDEST 000006e9: POP 000006ea: PUSH2 0x04e2 000006ed: PUSH2 0x0f1f 000006f0: JUMP 000006f1: JUMPDEST 000006f2: CALLVALUE 000006f3: DUP1 000006f4: ISZERO 000006f5: PUSH2 0x06fd 000006f8: JUMPI 000006f9: PUSH1 0x00 000006fb: DUP1 000006fc: REVERT 000006fd: JUMPDEST 000006fe: POP 000006ff: PUSH2 0x069e 00000702: PUSH2 0x0f25 00000705: JUMP 00000706: JUMPDEST 00000707: CALLVALUE 00000708: DUP1 00000709: ISZERO 0000070a: PUSH2 0x0712 0000070d: JUMPI 0000070e: PUSH1 0x00 00000710: DUP1 00000711: REVERT 00000712: JUMPDEST 00000713: POP 00000714: PUSH2 0x069e 00000717: PUSH2 0x0f35 0000071a: JUMP 0000071b: JUMPDEST 0000071c: CALLVALUE 0000071d: DUP1 0000071e: ISZERO 0000071f: PUSH2 0x0727 00000722: JUMPI 00000723: PUSH1 0x00 00000725: DUP1 00000726: REVERT 00000727: JUMPDEST 00000728: POP 00000729: PUSH2 0x04e2 0000072c: PUSH1 0x01 0000072e: PUSH1 0xa0 00000730: PUSH1 0x02 00000732: EXP 00000733: SUB 00000734: PUSH1 0x04 00000736: CALLDATALOAD 00000737: AND 00000738: PUSH2 0x0f3e 0000073b: JUMP 0000073c: JUMPDEST 0000073d: CALLVALUE 0000073e: DUP1 0000073f: ISZERO 00000740: PUSH2 0x0748 00000743: JUMPI 00000744: PUSH1 0x00 00000746: DUP1 00000747: REVERT 00000748: JUMPDEST 00000749: POP 0000074a: PUSH2 0x04e2 0000074d: PUSH2 0x0f74 00000750: JUMP 00000751: JUMPDEST 00000752: CALLVALUE 00000753: DUP1 00000754: ISZERO 00000755: PUSH2 0x075d 00000758: JUMPI 00000759: PUSH1 0x00 0000075b: DUP1 0000075c: REVERT 0000075d: JUMPDEST 0000075e: POP 0000075f: PUSH2 0x04e2 00000762: PUSH2 0x0f7a 00000765: JUMP 00000766: JUMPDEST 00000767: CALLVALUE 00000768: DUP1 00000769: ISZERO 0000076a: PUSH2 0x0772 0000076d: JUMPI 0000076e: PUSH1 0x00 00000770: DUP1 00000771: REVERT 00000772: JUMPDEST 00000773: POP 00000774: PUSH2 0x063b 00000777: PUSH2 0x0f80 0000077a: JUMP 0000077b: JUMPDEST 0000077c: CALLVALUE 0000077d: DUP1 0000077e: ISZERO 0000077f: PUSH2 0x0787 00000782: JUMPI 00000783: PUSH1 0x00 00000785: DUP1 00000786: REVERT 00000787: JUMPDEST 00000788: POP 00000789: PUSH2 0x063b 0000078c: PUSH1 0x01 0000078e: PUSH1 0xa0 00000790: PUSH1 0x02 00000792: EXP 00000793: SUB 00000794: PUSH1 0x04 00000796: CALLDATALOAD 00000797: AND 00000798: PUSH2 0x0ffd 0000079b: JUMP 0000079c: JUMPDEST 0000079d: CALLVALUE 0000079e: DUP1 0000079f: ISZERO 000007a0: PUSH2 0x07a8 000007a3: JUMPI 000007a4: PUSH1 0x00 000007a6: DUP1 000007a7: REVERT 000007a8: JUMPDEST 000007a9: POP 000007aa: PUSH2 0x063b 000007ad: PUSH1 0x04 000007af: DUP1 000007b0: CALLDATALOAD 000007b1: PUSH1 0x24 000007b3: DUP2 000007b4: ADD 000007b5: SWAP2 000007b6: ADD 000007b7: CALLDATALOAD 000007b8: PUSH2 0x106c 000007bb: JUMP 000007bc: JUMPDEST 000007bd: CALLVALUE 000007be: DUP1 000007bf: ISZERO 000007c0: PUSH2 0x07c8 000007c3: JUMPI 000007c4: PUSH1 0x00 000007c6: DUP1 000007c7: REVERT 000007c8: JUMPDEST 000007c9: POP 000007ca: PUSH2 0x066d 000007cd: PUSH2 0x10e2 000007d0: JUMP 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 0x051e 000007e2: PUSH2 0x10f1 000007e5: JUMP 000007e6: JUMPDEST 000007e7: CALLVALUE 000007e8: DUP1 000007e9: ISZERO 000007ea: PUSH2 0x07f2 000007ed: JUMPI 000007ee: PUSH1 0x00 000007f0: DUP1 000007f1: REVERT 000007f2: JUMPDEST 000007f3: POP 000007f4: PUSH2 0x063b 000007f7: PUSH2 0x1128 000007fa: JUMP 000007fb: JUMPDEST 000007fc: CALLVALUE 000007fd: DUP1 000007fe: ISZERO 000007ff: PUSH2 0x0807 00000802: JUMPI 00000803: PUSH1 0x00 00000805: DUP1 00000806: REVERT 00000807: JUMPDEST 00000808: POP 00000809: PUSH2 0x069e 0000080c: PUSH2 0x12f7 0000080f: JUMP 00000810: JUMPDEST 00000811: CALLVALUE 00000812: DUP1 00000813: ISZERO 00000814: PUSH2 0x081c 00000817: JUMPI 00000818: PUSH1 0x00 0000081a: DUP1 0000081b: REVERT 0000081c: JUMPDEST 0000081d: POP 0000081e: PUSH2 0x069e 00000821: PUSH1 0x01 00000823: PUSH1 0xa0 00000825: PUSH1 0x02 00000827: EXP 00000828: SUB 00000829: PUSH1 0x04 0000082b: CALLDATALOAD 0000082c: AND 0000082d: PUSH2 0x1305 00000830: JUMP 00000831: JUMPDEST 00000832: CALLVALUE 00000833: DUP1 00000834: ISZERO 00000835: PUSH2 0x083d 00000838: JUMPI 00000839: PUSH1 0x00 0000083b: DUP1 0000083c: REVERT 0000083d: JUMPDEST 0000083e: POP 0000083f: PUSH2 0x04e2 00000842: PUSH2 0x131a 00000845: JUMP 00000846: JUMPDEST 00000847: CALLVALUE 00000848: DUP1 00000849: ISZERO 0000084a: PUSH2 0x0852 0000084d: JUMPI 0000084e: PUSH1 0x00 00000850: DUP1 00000851: REVERT 00000852: JUMPDEST 00000853: POP 00000854: PUSH2 0x063b 00000857: PUSH1 0x01 00000859: PUSH1 0xa0 0000085b: PUSH1 0x02 0000085d: EXP 0000085e: SUB 0000085f: PUSH1 0x04 00000861: CALLDATALOAD 00000862: AND 00000863: PUSH1 0x24 00000865: CALLDATALOAD 00000866: PUSH2 0x1320 00000869: JUMP 0000086a: JUMPDEST 0000086b: CALLVALUE 0000086c: DUP1 0000086d: ISZERO 0000086e: PUSH2 0x0876 00000871: JUMPI 00000872: PUSH1 0x00 00000874: DUP1 00000875: REVERT 00000876: JUMPDEST 00000877: POP 00000878: PUSH2 0x063b 0000087b: PUSH2 0x1563 0000087e: JUMP 0000087f: JUMPDEST 00000880: CALLVALUE 00000881: DUP1 00000882: ISZERO 00000883: PUSH2 0x088b 00000886: JUMPI 00000887: PUSH1 0x00 00000889: DUP1 0000088a: REVERT 0000088b: JUMPDEST 0000088c: POP 0000088d: PUSH2 0x04e2 00000890: PUSH2 0x1621 00000893: JUMP 00000894: JUMPDEST 00000895: CALLVALUE 00000896: DUP1 00000897: ISZERO 00000898: PUSH2 0x08a0 0000089b: JUMPI 0000089c: PUSH1 0x00 0000089e: DUP1 0000089f: REVERT 000008a0: JUMPDEST 000008a1: POP 000008a2: PUSH2 0x04e2 000008a5: PUSH2 0x1627 000008a8: JUMP 000008a9: JUMPDEST 000008aa: CALLVALUE 000008ab: DUP1 000008ac: ISZERO 000008ad: PUSH2 0x08b5 000008b0: JUMPI 000008b1: PUSH1 0x00 000008b3: DUP1 000008b4: REVERT 000008b5: JUMPDEST 000008b6: POP 000008b7: PUSH1 0x40 000008b9: DUP1 000008ba: MLOAD 000008bb: PUSH1 0x20 000008bd: PUSH1 0x04 000008bf: PUSH1 0x44 000008c1: CALLDATALOAD 000008c2: DUP2 000008c3: DUP2 000008c4: ADD 000008c5: CALLDATALOAD 000008c6: PUSH1 0x1f 000008c8: DUP2 000008c9: ADD 000008ca: DUP5 000008cb: SWAP1 000008cc: DIV 000008cd: DUP5 000008ce: MUL 000008cf: DUP6 000008d0: ADD 000008d1: DUP5 000008d2: ADD 000008d3: SWAP1 000008d4: SWAP6 000008d5: MSTORE 000008d6: DUP5 000008d7: DUP5 000008d8: MSTORE 000008d9: PUSH2 0x063b 000008dc: SWAP5 000008dd: DUP3 000008de: CALLDATALOAD 000008df: PUSH1 0x01 000008e1: PUSH1 0xa0 000008e3: PUSH1 0x02 000008e5: EXP 000008e6: SUB 000008e7: AND 000008e8: SWAP5 000008e9: PUSH1 0x24 000008eb: DUP1 000008ec: CALLDATALOAD 000008ed: SWAP6 000008ee: CALLDATASIZE 000008ef: SWAP6 000008f0: SWAP5 000008f1: PUSH1 0x64 000008f3: SWAP5 000008f4: SWAP3 000008f5: ADD 000008f6: SWAP2 000008f7: SWAP1 000008f8: DUP2 000008f9: SWAP1 000008fa: DUP5 000008fb: ADD 000008fc: DUP4 000008fd: DUP3 000008fe: DUP1 000008ff: DUP3 00000900: DUP5 00000901: CALLDATACOPY 00000902: POP 00000903: SWAP5 00000904: SWAP8 00000905: POP 00000906: PUSH2 0x162d 00000909: SWAP7 0000090a: POP 0000090b: POP 0000090c: POP 0000090d: POP 0000090e: POP 0000090f: POP 00000910: POP 00000911: JUMP 00000912: JUMPDEST 00000913: CALLVALUE 00000914: DUP1 00000915: ISZERO 00000916: PUSH2 0x091e 00000919: JUMPI 0000091a: PUSH1 0x00 0000091c: DUP1 0000091d: REVERT 0000091e: JUMPDEST 0000091f: POP 00000920: PUSH2 0x063b 00000923: PUSH1 0x04 00000925: CALLDATALOAD 00000926: PUSH2 0x182a 00000929: JUMP 0000092a: JUMPDEST 0000092b: CALLVALUE 0000092c: DUP1 0000092d: ISZERO 0000092e: PUSH2 0x0936 00000931: JUMPI 00000932: PUSH1 0x00 00000934: DUP1 00000935: REVERT 00000936: JUMPDEST 00000937: POP 00000938: PUSH2 0x094b 0000093b: PUSH1 0x01 0000093d: PUSH1 0xa0 0000093f: PUSH1 0x02 00000941: EXP 00000942: SUB 00000943: PUSH1 0x04 00000945: CALLDATALOAD 00000946: AND 00000947: PUSH2 0x1953 0000094a: JUMP 0000094b: JUMPDEST 0000094c: PUSH1 0x40 0000094e: DUP1 0000094f: MLOAD 00000950: SWAP5 00000951: DUP6 00000952: MSTORE 00000953: PUSH1 0x20 00000955: DUP6 00000956: ADD 00000957: SWAP4 00000958: SWAP1 00000959: SWAP4 0000095a: MSTORE 0000095b: DUP4 0000095c: DUP4 0000095d: ADD 0000095e: SWAP2 0000095f: SWAP1 00000960: SWAP2 00000961: MSTORE 00000962: ISZERO 00000963: ISZERO 00000964: PUSH1 0x60 00000966: DUP4 00000967: ADD 00000968: MSTORE 00000969: MLOAD 0000096a: SWAP1 0000096b: DUP2 0000096c: SWAP1 0000096d: SUB 0000096e: PUSH1 0x80 00000970: ADD 00000971: SWAP1 00000972: RETURN 00000973: JUMPDEST 00000974: CALLVALUE 00000975: DUP1 00000976: ISZERO 00000977: PUSH2 0x097f 0000097a: JUMPI 0000097b: PUSH1 0x00 0000097d: DUP1 0000097e: REVERT 0000097f: JUMPDEST 00000980: POP 00000981: PUSH2 0x063b 00000984: PUSH1 0x01 00000986: PUSH1 0xa0 00000988: PUSH1 0x02 0000098a: EXP 0000098b: SUB 0000098c: PUSH1 0x04 0000098e: CALLDATALOAD 0000098f: AND 00000990: PUSH2 0x197d 00000993: JUMP 00000994: JUMPDEST 00000995: CALLVALUE 00000996: DUP1 00000997: ISZERO 00000998: PUSH2 0x09a0 0000099b: JUMPI 0000099c: PUSH1 0x00 0000099e: DUP1 0000099f: REVERT 000009a0: JUMPDEST 000009a1: POP 000009a2: PUSH2 0x04e2 000009a5: PUSH2 0x19ef 000009a8: JUMP 000009a9: JUMPDEST 000009aa: CALLVALUE 000009ab: DUP1 000009ac: ISZERO 000009ad: PUSH2 0x09b5 000009b0: JUMPI 000009b1: PUSH1 0x00 000009b3: DUP1 000009b4: REVERT 000009b5: JUMPDEST 000009b6: POP 000009b7: PUSH2 0x063b 000009ba: PUSH1 0x01 000009bc: PUSH1 0xa0 000009be: PUSH1 0x02 000009c0: EXP 000009c1: SUB 000009c2: PUSH1 0x04 000009c4: CALLDATALOAD 000009c5: AND 000009c6: PUSH2 0x19f5 000009c9: JUMP 000009ca: JUMPDEST 000009cb: CALLVALUE 000009cc: DUP1 000009cd: ISZERO 000009ce: PUSH2 0x09d6 000009d1: JUMPI 000009d2: PUSH1 0x00 000009d4: DUP1 000009d5: REVERT 000009d6: JUMPDEST 000009d7: POP 000009d8: PUSH2 0x04e2 000009db: PUSH2 0x1a8a 000009de: JUMP 000009df: JUMPDEST 000009e0: CALLVALUE 000009e1: DUP1 000009e2: ISZERO 000009e3: PUSH2 0x09eb 000009e6: JUMPI 000009e7: PUSH1 0x00 000009e9: DUP1 000009ea: REVERT 000009eb: JUMPDEST 000009ec: POP 000009ed: PUSH2 0x04e2 000009f0: PUSH2 0x1a90 000009f3: JUMP 000009f4: JUMPDEST 000009f5: CALLVALUE 000009f6: DUP1 000009f7: ISZERO 000009f8: PUSH2 0x0a00 000009fb: JUMPI 000009fc: PUSH1 0x00 000009fe: DUP1 000009ff: REVERT 00000a00: JUMPDEST 00000a01: POP 00000a02: PUSH2 0x063b 00000a05: PUSH2 0x1a96 00000a08: JUMP 00000a09: JUMPDEST 00000a0a: PUSH1 0x00 00000a0c: DUP3 00000a0d: DUP3 00000a0e: ADD 00000a0f: DUP4 00000a10: DUP2 00000a11: LT 00000a12: ISZERO 00000a13: PUSH2 0x0a18 00000a16: JUMPI 00000a17: INVALID 00000a18: JUMPDEST 00000a19: DUP1 00000a1a: SWAP2 00000a1b: POP 00000a1c: JUMPDEST 00000a1d: POP 00000a1e: SWAP3 00000a1f: SWAP2 00000a20: POP 00000a21: POP 00000a22: JUMP 00000a23: JUMPDEST 00000a24: PUSH1 0x00 00000a26: DUP1 00000a27: DUP4 00000a28: ISZERO 00000a29: ISZERO 00000a2a: PUSH2 0x0a36 00000a2d: JUMPI 00000a2e: PUSH1 0x00 00000a30: SWAP2 00000a31: POP 00000a32: PUSH2 0x0a1c 00000a35: JUMP 00000a36: JUMPDEST 00000a37: POP 00000a38: DUP3 00000a39: DUP3 00000a3a: MUL 00000a3b: DUP3 00000a3c: DUP5 00000a3d: DUP3 00000a3e: DUP2 00000a3f: ISZERO 00000a40: ISZERO 00000a41: PUSH2 0x0a46 00000a44: JUMPI 00000a45: INVALID 00000a46: JUMPDEST 00000a47: DIV 00000a48: EQ 00000a49: PUSH2 0x0a18 00000a4c: JUMPI 00000a4d: INVALID 00000a4e: JUMPDEST 00000a4f: PUSH1 0x00 00000a51: DUP3 00000a52: DUP3 00000a53: GT 00000a54: ISZERO 00000a55: PUSH2 0x0a5a 00000a58: JUMPI 00000a59: INVALID 00000a5a: JUMPDEST 00000a5b: POP 00000a5c: SWAP1 00000a5d: SUB 00000a5e: SWAP1 00000a5f: JUMP 00000a60: JUMPDEST 00000a61: PUSH1 0x0d 00000a63: SLOAD 00000a64: PUSH2 0x0100 00000a67: SWAP1 00000a68: DIV 00000a69: PUSH1 0xff 00000a6b: AND 00000a6c: ISZERO 00000a6d: ISZERO 00000a6e: PUSH2 0x0ad5 00000a71: JUMPI 00000a72: PUSH1 0x0f 00000a74: SLOAD 00000a75: PUSH1 0x12 00000a77: SLOAD 00000a78: LT 00000a79: PUSH2 0x0ad5 00000a7c: JUMPI 00000a7d: PUSH1 0x0d 00000a7f: DUP1 00000a80: SLOAD 00000a81: PUSH3 0xff0000 00000a85: NOT 00000a86: PUSH2 0xff00 00000a89: NOT 00000a8a: SWAP1 00000a8b: SWAP2 00000a8c: AND 00000a8d: PUSH2 0x0100 00000a90: OR 00000a91: AND 00000a92: PUSH3 0x010000 00000a96: OR 00000a97: SWAP1 00000a98: SSTORE 00000a99: PUSH1 0x12 00000a9b: SLOAD 00000a9c: PUSH1 0x40 00000a9e: DUP1 00000a9f: MLOAD 00000aa0: SWAP2 00000aa1: DUP3 00000aa2: MSTORE 00000aa3: TIMESTAMP 00000aa4: PUSH1 0x20 00000aa6: DUP4 00000aa7: ADD 00000aa8: MSTORE 00000aa9: DUP1 00000aaa: MLOAD 00000aab: PUSH32 0x8e54c57aca451853eb315b53582bd0e497b78f91bfc415e34e7efdf7a5e6fc92 00000acc: SWAP3 00000acd: DUP2 00000ace: SWAP1 00000acf: SUB 00000ad0: SWAP1 00000ad1: SWAP2 00000ad2: ADD 00000ad3: SWAP1 00000ad4: LOG1 00000ad5: JUMPDEST 00000ad6: JUMP 00000ad7: JUMPDEST 00000ad8: PUSH1 0x0d 00000ada: SLOAD 00000adb: PUSH1 0xff 00000add: AND 00000ade: ISZERO 00000adf: ISZERO 00000ae0: PUSH2 0x0ad5 00000ae3: JUMPI 00000ae4: PUSH1 0x10 00000ae6: SLOAD 00000ae7: PUSH1 0x12 00000ae9: SLOAD 00000aea: LT 00000aeb: PUSH2 0x0ad5 00000aee: JUMPI 00000aef: PUSH1 0x0d 00000af1: DUP1 00000af2: SLOAD 00000af3: PUSH1 0xff 00000af5: NOT 00000af6: AND 00000af7: PUSH1 0x01 00000af9: OR 00000afa: SWAP1 00000afb: SSTORE 00000afc: PUSH1 0x12 00000afe: SLOAD 00000aff: PUSH1 0x40 00000b01: DUP1 00000b02: MLOAD 00000b03: SWAP2 00000b04: DUP3 00000b05: MSTORE 00000b06: TIMESTAMP 00000b07: PUSH1 0x20 00000b09: DUP4 00000b0a: ADD 00000b0b: MSTORE 00000b0c: DUP1 00000b0d: MLOAD 00000b0e: PUSH32 0xef3862d7b1b48d8ad94257f68245bb9a3cf866f48d5a48af3c2f83ef4870b8e7 00000b2f: SWAP3 00000b30: DUP2 00000b31: SWAP1 00000b32: SUB 00000b33: SWAP1 00000b34: SWAP2 00000b35: ADD 00000b36: SWAP1 00000b37: LOG1 00000b38: JUMP 00000b39: JUMPDEST 00000b3a: PUSH2 0x979d 00000b3d: DUP2 00000b3e: JUMP 00000b3f: JUMPDEST 00000b40: PUSH1 0x12 00000b42: SLOAD 00000b43: DUP2 00000b44: JUMP 00000b45: JUMPDEST 00000b46: PUSH1 0x40 00000b48: DUP1 00000b49: MLOAD 00000b4a: DUP1 00000b4b: DUP3 00000b4c: ADD 00000b4d: SWAP1 00000b4e: SWAP2 00000b4f: MSTORE 00000b50: PUSH1 0x08 00000b52: DUP2 00000b53: MSTORE 00000b54: PUSH32 0x444f4e53434f494e000000000000000000000000000000000000000000000000 00000b75: PUSH1 0x20 00000b77: DUP3 00000b78: ADD 00000b79: MSTORE 00000b7a: DUP2 00000b7b: JUMP 00000b7c: JUMPDEST 00000b7d: PUSH1 0x05 00000b7f: SLOAD 00000b80: DUP2 00000b81: JUMP 00000b82: JUMPDEST 00000b83: PUSH1 0x03 00000b85: SLOAD 00000b86: DUP2 00000b87: JUMP 00000b88: JUMPDEST 00000b89: PUSH2 0xab63 00000b8c: DUP2 00000b8d: JUMP 00000b8e: JUMPDEST 00000b8f: PUSH1 0x14 00000b91: SLOAD 00000b92: DUP2 00000b93: JUMP 00000b94: JUMPDEST 00000b95: PUSH13 0x02c6dbbc19572e345760000000 00000ba3: DUP2 00000ba4: JUMP 00000ba5: JUMPDEST 00000ba6: PUSH1 0x12 00000ba8: DUP2 00000ba9: JUMP 00000baa: JUMPDEST 00000bab: PUSH1 0x0a 00000bad: SLOAD 00000bae: DUP2 00000baf: JUMP 00000bb0: JUMPDEST 00000bb1: PUSH1 0x01 00000bb3: SLOAD 00000bb4: PUSH1 0x01 00000bb6: PUSH1 0xa0 00000bb8: PUSH1 0x02 00000bba: EXP 00000bbb: SUB 00000bbc: AND 00000bbd: CALLER 00000bbe: EQ 00000bbf: PUSH2 0x0bc7 00000bc2: JUMPI 00000bc3: PUSH1 0x00 00000bc5: DUP1 00000bc6: REVERT 00000bc7: JUMPDEST 00000bc8: PUSH1 0x01 00000bca: SLOAD 00000bcb: PUSH1 0xa0 00000bcd: PUSH1 0x02 00000bcf: EXP 00000bd0: SWAP1 00000bd1: DIV 00000bd2: PUSH1 0xff 00000bd4: AND 00000bd5: ISZERO 00000bd6: ISZERO 00000bd7: PUSH2 0x0bdf 00000bda: JUMPI 00000bdb: PUSH1 0x00 00000bdd: DUP1 00000bde: REVERT 00000bdf: JUMPDEST 00000be0: PUSH1 0x01 00000be2: DUP1 00000be3: SLOAD 00000be4: PUSH21 0xff0000000000000000000000000000000000000000 00000bfa: NOT 00000bfb: AND 00000bfc: SWAP1 00000bfd: SSTORE 00000bfe: PUSH1 0x40 00000c00: MLOAD 00000c01: PUSH32 0x7805862f689e2f13df9f062ff482ad3ad112aca9e0847911ed832e158c525b33 00000c22: SWAP1 00000c23: PUSH1 0x00 00000c25: SWAP1 00000c26: LOG1 00000c27: JUMP 00000c28: JUMPDEST 00000c29: PUSH1 0x01 00000c2b: SLOAD 00000c2c: PUSH1 0x00 00000c2e: SWAP1 00000c2f: PUSH1 0x01 00000c31: PUSH1 0xa0 00000c33: PUSH1 0x02 00000c35: EXP 00000c36: SUB 00000c37: AND 00000c38: CALLER 00000c39: EQ 00000c3a: PUSH2 0x0c42 00000c3d: JUMPI 00000c3e: PUSH1 0x00 00000c40: DUP1 00000c41: REVERT 00000c42: JUMPDEST 00000c43: PUSH1 0x0a 00000c45: SLOAD 00000c46: TIMESTAMP 00000c47: LT 00000c48: ISZERO 00000c49: PUSH2 0x0c51 00000c4c: JUMPI 00000c4d: PUSH1 0x00 00000c4f: DUP1 00000c50: REVERT 00000c51: JUMPDEST 00000c52: PUSH1 0x0d 00000c54: SLOAD 00000c55: PUSH4 0x01000000 00000c5a: SWAP1 00000c5b: DIV 00000c5c: PUSH1 0xff 00000c5e: AND 00000c5f: ISZERO 00000c60: PUSH2 0x0c68 00000c63: JUMPI 00000c64: PUSH1 0x00 00000c66: DUP1 00000c67: REVERT 00000c68: JUMPDEST 00000c69: PUSH1 0x0d 00000c6b: DUP1 00000c6c: SLOAD 00000c6d: PUSH4 0xff000000 00000c72: NOT 00000c73: AND 00000c74: PUSH4 0x01000000 00000c79: OR 00000c7a: SWAP1 00000c7b: SSTORE 00000c7c: PUSH1 0x05 00000c7e: SLOAD 00000c7f: DUP3 00000c80: GT 00000c81: ISZERO 00000c82: PUSH2 0x0c8a 00000c85: JUMPI 00000c86: PUSH1 0x00 00000c88: DUP1 00000c89: REVERT 00000c8a: JUMPDEST 00000c8b: POP 00000c8c: PUSH1 0x05 00000c8e: SLOAD 00000c8f: CALLER 00000c90: SWAP1 00000c91: PUSH2 0x0ca0 00000c94: SWAP1 00000c95: DUP4 00000c96: PUSH4 0xffffffff 00000c9b: PUSH2 0x0a4e 00000c9e: AND 00000c9f: JUMP 00000ca0: JUMPDEST 00000ca1: PUSH1 0x05 00000ca3: SSTORE 00000ca4: PUSH1 0x03 00000ca6: SLOAD 00000ca7: PUSH2 0x0cb6 00000caa: SWAP1 00000cab: DUP4 00000cac: PUSH4 0xffffffff 00000cb1: PUSH2 0x0a4e 00000cb4: AND 00000cb5: JUMP 00000cb6: JUMPDEST 00000cb7: PUSH1 0x03 00000cb9: SSTORE 00000cba: PUSH1 0x40 00000cbc: DUP1 00000cbd: MLOAD 00000cbe: PUSH1 0x01 00000cc0: PUSH1 0xa0 00000cc2: PUSH1 0x02 00000cc4: EXP 00000cc5: SUB 00000cc6: DUP4 00000cc7: AND 00000cc8: DUP2 00000cc9: MSTORE 00000cca: PUSH1 0x20 00000ccc: DUP2 00000ccd: ADD 00000cce: DUP5 00000ccf: SWAP1 00000cd0: MSTORE 00000cd1: DUP2 00000cd2: MLOAD 00000cd3: PUSH32 0xcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca5 00000cf4: SWAP3 00000cf5: SWAP2 00000cf6: DUP2 00000cf7: SWAP1 00000cf8: SUB 00000cf9: SWAP1 00000cfa: SWAP2 00000cfb: ADD 00000cfc: SWAP1 00000cfd: LOG1 00000cfe: POP 00000cff: POP 00000d00: PUSH1 0x0d 00000d02: DUP1 00000d03: SLOAD 00000d04: PUSH4 0xff000000 00000d09: NOT 00000d0a: AND 00000d0b: SWAP1 00000d0c: SSTORE 00000d0d: JUMP 00000d0e: JUMPDEST 00000d0f: PUSH1 0x16 00000d11: PUSH1 0x20 00000d13: MSTORE 00000d14: PUSH1 0x00 00000d16: SWAP1 00000d17: DUP2 00000d18: MSTORE 00000d19: PUSH1 0x40 00000d1b: SWAP1 00000d1c: KECCAK256 00000d1d: SLOAD 00000d1e: PUSH1 0x01 00000d20: PUSH1 0xa0 00000d22: PUSH1 0x02 00000d24: EXP 00000d25: SUB 00000d26: AND 00000d27: DUP2 00000d28: JUMP 00000d29: JUMPDEST 00000d2a: PUSH1 0x0d 00000d2c: SLOAD 00000d2d: PUSH3 0x010000 00000d31: SWAP1 00000d32: DIV 00000d33: PUSH1 0xff 00000d35: AND 00000d36: DUP2 00000d37: JUMP 00000d38: JUMPDEST 00000d39: PUSH1 0x01 00000d3b: SLOAD 00000d3c: PUSH1 0x00 00000d3e: SWAP1 00000d3f: DUP2 00000d40: SWAP1 00000d41: DUP2 00000d42: SWAP1 00000d43: DUP2 00000d44: SWAP1 00000d45: PUSH1 0x01 00000d47: PUSH1 0xa0 00000d49: PUSH1 0x02 00000d4b: EXP 00000d4c: SUB 00000d4d: AND 00000d4e: CALLER 00000d4f: EQ 00000d50: PUSH2 0x0d58 00000d53: JUMPI 00000d54: PUSH1 0x00 00000d56: DUP1 00000d57: REVERT 00000d58: JUMPDEST 00000d59: PUSH1 0x0a 00000d5b: SLOAD 00000d5c: TIMESTAMP 00000d5d: LT 00000d5e: ISZERO 00000d5f: PUSH2 0x0d67 00000d62: JUMPI 00000d63: PUSH1 0x00 00000d65: DUP1 00000d66: REVERT 00000d67: JUMPDEST 00000d68: PUSH1 0x0d 00000d6a: SLOAD 00000d6b: PUSH4 0x01000000 00000d70: SWAP1 00000d71: DIV 00000d72: PUSH1 0xff 00000d74: AND 00000d75: ISZERO 00000d76: PUSH2 0x0d7e 00000d79: JUMPI 00000d7a: PUSH1 0x00 00000d7c: DUP1 00000d7d: REVERT 00000d7e: JUMPDEST 00000d7f: PUSH1 0x0d 00000d81: DUP1 00000d82: SLOAD 00000d83: PUSH4 0xff000000 00000d88: NOT 00000d89: AND 00000d8a: PUSH4 0x01000000 00000d8f: OR 00000d90: SWAP1 00000d91: DUP2 00000d92: SWAP1 00000d93: SSTORE 00000d94: PUSH1 0xff 00000d96: AND 00000d97: ISZERO 00000d98: ISZERO 00000d99: PUSH2 0x0da1 00000d9c: JUMPI 00000d9d: PUSH1 0x00 00000d9f: DUP1 00000da0: REVERT 00000da1: JUMPDEST 00000da2: PUSH1 0x00 00000da4: SWAP4 00000da5: POP 00000da6: JUMPDEST 00000da7: PUSH1 0x01 00000da9: DUP5 00000daa: LT 00000dab: ISZERO 00000dac: PUSH2 0x0f06 00000daf: JUMPI 00000db0: POP 00000db1: POP 00000db2: POP 00000db3: PUSH1 0x00 00000db5: DUP2 00000db6: DUP2 00000db7: MSTORE 00000db8: PUSH1 0x16 00000dba: PUSH1 0x20 00000dbc: SWAP1 00000dbd: DUP2 00000dbe: MSTORE 00000dbf: PUSH1 0x40 00000dc1: DUP1 00000dc2: DUP4 00000dc3: KECCAK256 00000dc4: SLOAD 00000dc5: PUSH1 0x01 00000dc7: PUSH1 0xa0 00000dc9: PUSH1 0x02 00000dcb: EXP 00000dcc: SUB 00000dcd: AND 00000dce: DUP1 00000dcf: DUP5 00000dd0: MSTORE 00000dd1: PUSH1 0x15 00000dd3: SWAP1 00000dd4: SWAP3 00000dd5: MSTORE 00000dd6: SWAP1 00000dd7: SWAP2 00000dd8: KECCAK256 00000dd9: PUSH1 0x02 00000ddb: DUP2 00000ddc: ADD 00000ddd: SLOAD 00000dde: PUSH1 0x01 00000de0: SWAP1 00000de1: SWAP2 00000de2: ADD 00000de3: SLOAD 00000de4: SWAP1 00000de5: SWAP2 00000de6: SWAP1 00000de7: TIMESTAMP 00000de8: DUP4 00000de9: LT 00000dea: DUP1 00000deb: ISZERO 00000dec: PUSH2 0x0df5 00000def: JUMPI 00000df0: POP 00000df1: PUSH1 0x00 00000df3: DUP2 00000df4: GT 00000df5: JUMPDEST 00000df6: ISZERO 00000df7: PUSH2 0x0eab 00000dfa: JUMPI 00000dfb: PUSH1 0x01 00000dfd: PUSH1 0xa0 00000dff: PUSH1 0x02 00000e01: EXP 00000e02: SUB 00000e03: DUP3 00000e04: AND 00000e05: PUSH1 0x00 00000e07: SWAP1 00000e08: DUP2 00000e09: MSTORE 00000e0a: PUSH1 0x02 00000e0c: PUSH1 0x20 00000e0e: SWAP1 00000e0f: DUP2 00000e10: MSTORE 00000e11: PUSH1 0x40 00000e13: DUP1 00000e14: DUP4 00000e15: KECCAK256 00000e16: DUP1 00000e17: SLOAD 00000e18: DUP6 00000e19: ADD 00000e1a: SWAP1 00000e1b: SSTORE 00000e1c: PUSH1 0x15 00000e1e: SWAP1 00000e1f: SWAP2 00000e20: MSTORE 00000e21: SWAP1 00000e22: KECCAK256 00000e23: PUSH1 0x01 00000e25: ADD 00000e26: SLOAD 00000e27: PUSH2 0x0e36 00000e2a: SWAP1 00000e2b: DUP3 00000e2c: PUSH4 0xffffffff 00000e31: PUSH2 0x0a4e 00000e34: AND 00000e35: JUMP 00000e36: JUMPDEST 00000e37: PUSH1 0x01 00000e39: PUSH1 0xa0 00000e3b: PUSH1 0x02 00000e3d: EXP 00000e3e: SUB 00000e3f: DUP4 00000e40: AND 00000e41: PUSH1 0x00 00000e43: DUP2 00000e44: DUP2 00000e45: MSTORE 00000e46: PUSH1 0x15 00000e48: PUSH1 0x20 00000e4a: SWAP1 00000e4b: DUP2 00000e4c: MSTORE 00000e4d: PUSH1 0x40 00000e4f: SWAP2 00000e50: DUP3 00000e51: SWAP1 00000e52: KECCAK256 00000e53: PUSH1 0x01 00000e55: DUP1 00000e56: DUP3 00000e57: ADD 00000e58: SWAP6 00000e59: SWAP1 00000e5a: SWAP6 00000e5b: SSTORE 00000e5c: PUSH1 0x03 00000e5e: ADD 00000e5f: DUP1 00000e60: SLOAD 00000e61: PUSH1 0xff 00000e63: NOT 00000e64: AND 00000e65: SWAP1 00000e66: SWAP5 00000e67: OR 00000e68: SWAP1 00000e69: SWAP4 00000e6a: SSTORE 00000e6b: DUP1 00000e6c: MLOAD 00000e6d: SWAP2 00000e6e: DUP3 00000e6f: MSTORE 00000e70: SWAP2 00000e71: DUP2 00000e72: ADD 00000e73: DUP4 00000e74: SWAP1 00000e75: MSTORE 00000e76: TIMESTAMP 00000e77: DUP2 00000e78: DUP4 00000e79: ADD 00000e7a: MSTORE 00000e7b: SWAP1 00000e7c: MLOAD 00000e7d: PUSH32 0xfeb59e114405e8be250d1c7cea56370c010bc8a6bfcb957f4df4db0bd80ed6fc 00000e9e: SWAP2 00000e9f: DUP2 00000ea0: SWAP1 00000ea1: SUB 00000ea2: PUSH1 0x60 00000ea4: ADD 00000ea5: SWAP1 00000ea6: LOG1 00000ea7: PUSH2 0x0efb 00000eaa: JUMP 00000eab: JUMPDEST 00000eac: PUSH1 0x40 00000eae: DUP1 00000eaf: MLOAD 00000eb0: PUSH1 0x01 00000eb2: PUSH1 0xa0 00000eb4: PUSH1 0x02 00000eb6: EXP 00000eb7: SUB 00000eb8: DUP5 00000eb9: AND 00000eba: DUP2 00000ebb: MSTORE 00000ebc: PUSH1 0x20 00000ebe: DUP2 00000ebf: ADD 00000ec0: DUP4 00000ec1: SWAP1 00000ec2: MSTORE 00000ec3: TIMESTAMP 00000ec4: DUP2 00000ec5: DUP4 00000ec6: ADD 00000ec7: MSTORE 00000ec8: PUSH1 0x60 00000eca: DUP2 00000ecb: ADD 00000ecc: DUP6 00000ecd: SWAP1 00000ece: MSTORE 00000ecf: SWAP1 00000ed0: MLOAD 00000ed1: PUSH32 0x13b234edc914dab5906b096ebf7522be052268f730cba952fb48edbeeaac5292 00000ef2: SWAP2 00000ef3: DUP2 00000ef4: SWAP1 00000ef5: SUB 00000ef6: PUSH1 0x80 00000ef8: ADD 00000ef9: SWAP1 00000efa: LOG1 00000efb: JUMPDEST 00000efc: PUSH1 0x01 00000efe: SWAP1 00000eff: SWAP4 00000f00: ADD 00000f01: SWAP3 00000f02: PUSH2 0x0da6 00000f05: JUMP 00000f06: JUMPDEST 00000f07: POP 00000f08: POP 00000f09: PUSH1 0x0d 00000f0b: DUP1 00000f0c: SLOAD 00000f0d: PUSH4 0xff000000 00000f12: NOT 00000f13: AND 00000f14: SWAP1 00000f15: SSTORE 00000f16: POP 00000f17: POP 00000f18: JUMP 00000f19: JUMPDEST 00000f1a: PUSH1 0x0f 00000f1c: SLOAD 00000f1d: DUP2 00000f1e: JUMP 00000f1f: JUMPDEST 00000f20: PUSH2 0x8a6e 00000f23: DUP2 00000f24: JUMP 00000f25: JUMPDEST 00000f26: PUSH1 0x01 00000f28: SLOAD 00000f29: PUSH1 0xa0 00000f2b: PUSH1 0x02 00000f2d: EXP 00000f2e: SWAP1 00000f2f: DIV 00000f30: PUSH1 0xff 00000f32: AND 00000f33: DUP2 00000f34: JUMP 00000f35: JUMPDEST 00000f36: PUSH1 0x0d 00000f38: SLOAD 00000f39: PUSH1 0xff 00000f3b: AND 00000f3c: DUP2 00000f3d: JUMP 00000f3e: JUMPDEST 00000f3f: PUSH1 0x01 00000f41: SLOAD 00000f42: PUSH1 0x00 00000f44: SWAP1 00000f45: PUSH1 0xa0 00000f47: PUSH1 0x02 00000f49: EXP 00000f4a: SWAP1 00000f4b: DIV 00000f4c: PUSH1 0xff 00000f4e: AND 00000f4f: ISZERO 00000f50: PUSH2 0x0f58 00000f53: JUMPI 00000f54: PUSH1 0x00 00000f56: DUP1 00000f57: REVERT 00000f58: JUMPDEST 00000f59: POP 00000f5a: PUSH1 0x01 00000f5c: PUSH1 0xa0 00000f5e: PUSH1 0x02 00000f60: EXP 00000f61: SUB 00000f62: AND 00000f63: PUSH1 0x00 00000f65: SWAP1 00000f66: DUP2 00000f67: MSTORE 00000f68: PUSH1 0x02 00000f6a: PUSH1 0x20 00000f6c: MSTORE 00000f6d: PUSH1 0x40 00000f6f: SWAP1 00000f70: KECCAK256 00000f71: SLOAD 00000f72: SWAP1 00000f73: JUMP 00000f74: JUMPDEST 00000f75: PUSH1 0x06 00000f77: SLOAD 00000f78: DUP2 00000f79: JUMP 00000f7a: JUMPDEST 00000f7b: PUSH1 0x0b 00000f7d: SLOAD 00000f7e: DUP2 00000f7f: JUMP 00000f80: JUMPDEST 00000f81: PUSH1 0x01 00000f83: SLOAD 00000f84: PUSH1 0x01 00000f86: PUSH1 0xa0 00000f88: PUSH1 0x02 00000f8a: EXP 00000f8b: SUB 00000f8c: AND 00000f8d: CALLER 00000f8e: EQ 00000f8f: PUSH2 0x0f97 00000f92: JUMPI 00000f93: PUSH1 0x00 00000f95: DUP1 00000f96: REVERT 00000f97: JUMPDEST 00000f98: PUSH1 0x01 00000f9a: SLOAD 00000f9b: PUSH1 0xa0 00000f9d: PUSH1 0x02 00000f9f: EXP 00000fa0: SWAP1 00000fa1: DIV 00000fa2: PUSH1 0xff 00000fa4: AND 00000fa5: ISZERO 00000fa6: PUSH2 0x0fae 00000fa9: JUMPI 00000faa: PUSH1 0x00 00000fac: DUP1 00000fad: REVERT 00000fae: JUMPDEST 00000faf: PUSH1 0x01 00000fb1: DUP1 00000fb2: SLOAD 00000fb3: PUSH21 0xff0000000000000000000000000000000000000000 00000fc9: NOT 00000fca: AND 00000fcb: PUSH1 0xa0 00000fcd: PUSH1 0x02 00000fcf: EXP 00000fd0: OR 00000fd1: SWAP1 00000fd2: SSTORE 00000fd3: PUSH1 0x40 00000fd5: MLOAD 00000fd6: PUSH32 0x6985a02210a168e66602d3235cb6db0e70f92b3ba4d376a33c0f3d9434bff625 00000ff7: SWAP1 00000ff8: PUSH1 0x00 00000ffa: SWAP1 00000ffb: LOG1 00000ffc: JUMP 00000ffd: JUMPDEST 00000ffe: PUSH1 0x01 00001000: SLOAD 00001001: PUSH1 0x01 00001003: PUSH1 0xa0 00001005: PUSH1 0x02 00001007: EXP 00001008: SUB 00001009: AND 0000100a: CALLER 0000100b: EQ 0000100c: PUSH2 0x1014 0000100f: JUMPI 00001010: PUSH1 0x00 00001012: DUP1 00001013: REVERT 00001014: JUMPDEST 00001015: PUSH1 0x01 00001017: PUSH1 0xa0 00001019: PUSH1 0x02 0000101b: EXP 0000101c: SUB 0000101d: DUP2 0000101e: AND 0000101f: PUSH1 0x00 00001021: DUP2 00001022: DUP2 00001023: MSTORE 00001024: PUSH1 0x08 00001026: PUSH1 0x20 00001028: SWAP1 00001029: DUP2 0000102a: MSTORE 0000102b: PUSH1 0x40 0000102d: SWAP2 0000102e: DUP3 0000102f: SWAP1 00001030: KECCAK256 00001031: DUP1 00001032: SLOAD 00001033: PUSH1 0xff 00001035: NOT 00001036: AND 00001037: SWAP1 00001038: SSTORE 00001039: DUP2 0000103a: MLOAD 0000103b: SWAP3 0000103c: DUP4 0000103d: MSTORE 0000103e: SWAP1 0000103f: MLOAD 00001040: PUSH32 0x4be8d593c63e0ba664ad9b6f5158c6dbb2553758fbeb4e947d2e0fb93e34c0ab 00001061: SWAP3 00001062: DUP2 00001063: SWAP1 00001064: SUB 00001065: SWAP1 00001066: SWAP2 00001067: ADD 00001068: SWAP1 00001069: LOG1 0000106a: POP 0000106b: JUMP 0000106c: JUMPDEST 0000106d: PUSH1 0x01 0000106f: SLOAD 00001070: PUSH1 0x00 00001072: SWAP1 00001073: PUSH1 0x01 00001075: PUSH1 0xa0 00001077: PUSH1 0x02 00001079: EXP 0000107a: SUB 0000107b: AND 0000107c: CALLER 0000107d: EQ 0000107e: PUSH2 0x1086 00001081: JUMPI 00001082: PUSH1 0x00 00001084: DUP1 00001085: REVERT 00001086: JUMPDEST 00001087: POP 00001088: PUSH1 0x00 0000108a: JUMPDEST 0000108b: DUP2 0000108c: DUP2 0000108d: LT 0000108e: ISZERO 0000108f: PUSH2 0x10dd 00001092: JUMPI 00001093: PUSH1 0x01 00001095: PUSH1 0x08 00001097: PUSH1 0x00 00001099: DUP6 0000109a: DUP6 0000109b: DUP6 0000109c: DUP2 0000109d: DUP2 0000109e: LT 0000109f: PUSH2 0x10a4 000010a2: JUMPI 000010a3: INVALID 000010a4: JUMPDEST 000010a5: PUSH1 0x20 000010a7: SWAP1 000010a8: DUP2 000010a9: MUL 000010aa: SWAP3 000010ab: SWAP1 000010ac: SWAP3 000010ad: ADD 000010ae: CALLDATALOAD 000010af: PUSH1 0x01 000010b1: PUSH1 0xa0 000010b3: PUSH1 0x02 000010b5: EXP 000010b6: SUB 000010b7: AND 000010b8: DUP4 000010b9: MSTORE 000010ba: POP 000010bb: DUP2 000010bc: ADD 000010bd: SWAP2 000010be: SWAP1 000010bf: SWAP2 000010c0: MSTORE 000010c1: PUSH1 0x40 000010c3: ADD 000010c4: PUSH1 0x00 000010c6: KECCAK256 000010c7: DUP1 000010c8: SLOAD 000010c9: PUSH1 0xff 000010cb: NOT 000010cc: AND 000010cd: SWAP2 000010ce: ISZERO 000010cf: ISZERO 000010d0: SWAP2 000010d1: SWAP1 000010d2: SWAP2 000010d3: OR 000010d4: SWAP1 000010d5: SSTORE 000010d6: PUSH1 0x01 000010d8: ADD 000010d9: PUSH2 0x108a 000010dc: JUMP 000010dd: JUMPDEST 000010de: POP 000010df: POP 000010e0: POP 000010e1: JUMP 000010e2: JUMPDEST 000010e3: PUSH1 0x01 000010e5: SLOAD 000010e6: PUSH1 0x01 000010e8: PUSH1 0xa0 000010ea: PUSH1 0x02 000010ec: EXP 000010ed: SUB 000010ee: AND 000010ef: DUP2 000010f0: JUMP 000010f1: JUMPDEST 000010f2: PUSH1 0x40 000010f4: DUP1 000010f5: MLOAD 000010f6: DUP1 000010f7: DUP3 000010f8: ADD 000010f9: SWAP1 000010fa: SWAP2 000010fb: MSTORE 000010fc: PUSH1 0x03 000010fe: DUP2 000010ff: MSTORE 00001100: PUSH32 0x44534b0000000000000000000000000000000000000000000000000000000000 00001121: PUSH1 0x20 00001123: DUP3 00001124: ADD 00001125: MSTORE 00001126: DUP2 00001127: JUMP 00001128: JUMPDEST 00001129: PUSH1 0x01 0000112b: SLOAD 0000112c: PUSH1 0x00 0000112e: SWAP1 0000112f: DUP2 00001130: SWAP1 00001131: DUP2 00001132: SWAP1 00001133: DUP2 00001134: SWAP1 00001135: PUSH1 0x01 00001137: PUSH1 0xa0 00001139: PUSH1 0x02 0000113b: EXP 0000113c: SUB 0000113d: AND 0000113e: CALLER 0000113f: EQ 00001140: PUSH2 0x1148 00001143: JUMPI 00001144: PUSH1 0x00 00001146: DUP1 00001147: REVERT 00001148: JUMPDEST 00001149: PUSH1 0x0a 0000114b: SLOAD 0000114c: TIMESTAMP 0000114d: LT 0000114e: ISZERO 0000114f: PUSH2 0x1157 00001152: JUMPI 00001153: PUSH1 0x00 00001155: DUP1 00001156: REVERT 00001157: JUMPDEST 00001158: PUSH1 0x0d 0000115a: SLOAD 0000115b: PUSH4 0x01000000 00001160: SWAP1 00001161: DIV 00001162: PUSH1 0xff 00001164: AND 00001165: ISZERO 00001166: PUSH2 0x116e 00001169: JUMPI 0000116a: PUSH1 0x00 0000116c: DUP1 0000116d: REVERT 0000116e: JUMPDEST 0000116f: PUSH1 0x0d 00001171: DUP1 00001172: SLOAD 00001173: PUSH4 0xff000000 00001178: NOT 00001179: AND 0000117a: PUSH4 0x01000000 0000117f: OR 00001180: SWAP1 00001181: DUP2 00001182: SWAP1 00001183: SSTORE 00001184: PUSH1 0xff 00001186: AND 00001187: ISZERO 00001188: ISZERO 00001189: PUSH2 0x1191 0000118c: JUMPI 0000118d: PUSH1 0x00 0000118f: DUP1 00001190: REVERT 00001191: JUMPDEST 00001192: PUSH1 0x01 00001194: SWAP4 00001195: POP 00001196: JUMPDEST 00001197: PUSH1 0x14 00001199: SLOAD 0000119a: DUP5 0000119b: LT 0000119c: ISZERO 0000119d: PUSH2 0x0f06 000011a0: JUMPI 000011a1: POP 000011a2: POP 000011a3: POP 000011a4: PUSH1 0x00 000011a6: DUP2 000011a7: DUP2 000011a8: MSTORE 000011a9: PUSH1 0x16 000011ab: PUSH1 0x20 000011ad: SWAP1 000011ae: DUP2 000011af: MSTORE 000011b0: PUSH1 0x40 000011b2: DUP1 000011b3: DUP4 000011b4: KECCAK256 000011b5: SLOAD 000011b6: PUSH1 0x01 000011b8: PUSH1 0xa0 000011ba: PUSH1 0x02 000011bc: EXP 000011bd: SUB 000011be: AND 000011bf: DUP1 000011c0: DUP5 000011c1: MSTORE 000011c2: PUSH1 0x15 000011c4: SWAP1 000011c5: SWAP3 000011c6: MSTORE 000011c7: SWAP1 000011c8: SWAP2 000011c9: KECCAK256 000011ca: PUSH1 0x02 000011cc: DUP2 000011cd: ADD 000011ce: SLOAD 000011cf: PUSH1 0x01 000011d1: SWAP1 000011d2: SWAP2 000011d3: ADD 000011d4: SLOAD 000011d5: SWAP1 000011d6: SWAP2 000011d7: SWAP1 000011d8: TIMESTAMP 000011d9: DUP4 000011da: LT 000011db: DUP1 000011dc: ISZERO 000011dd: PUSH2 0x11e6 000011e0: JUMPI 000011e1: POP 000011e2: PUSH1 0x00 000011e4: DUP2 000011e5: GT 000011e6: JUMPDEST 000011e7: ISZERO 000011e8: PUSH2 0x129c 000011eb: JUMPI 000011ec: PUSH1 0x01 000011ee: PUSH1 0xa0 000011f0: PUSH1 0x02 000011f2: EXP 000011f3: SUB 000011f4: DUP3 000011f5: AND 000011f6: PUSH1 0x00 000011f8: SWAP1 000011f9: DUP2 000011fa: MSTORE 000011fb: PUSH1 0x02 000011fd: PUSH1 0x20 000011ff: SWAP1 00001200: DUP2 00001201: MSTORE 00001202: PUSH1 0x40 00001204: DUP1 00001205: DUP4 00001206: KECCAK256 00001207: DUP1 00001208: SLOAD 00001209: DUP6 0000120a: ADD 0000120b: SWAP1 0000120c: SSTORE 0000120d: PUSH1 0x15 0000120f: SWAP1 00001210: SWAP2 00001211: MSTORE 00001212: SWAP1 00001213: KECCAK256 00001214: PUSH1 0x01 00001216: ADD 00001217: SLOAD 00001218: PUSH2 0x1227 0000121b: SWAP1 0000121c: DUP3 0000121d: PUSH4 0xffffffff 00001222: PUSH2 0x0a4e 00001225: AND 00001226: JUMP 00001227: JUMPDEST 00001228: PUSH1 0x01 0000122a: PUSH1 0xa0 0000122c: PUSH1 0x02 0000122e: EXP 0000122f: SUB 00001230: DUP4 00001231: AND 00001232: PUSH1 0x00 00001234: DUP2 00001235: DUP2 00001236: MSTORE 00001237: PUSH1 0x15 00001239: PUSH1 0x20 0000123b: SWAP1 0000123c: DUP2 0000123d: MSTORE 0000123e: PUSH1 0x40 00001240: SWAP2 00001241: DUP3 00001242: SWAP1 00001243: KECCAK256 00001244: PUSH1 0x01 00001246: DUP1 00001247: DUP3 00001248: ADD 00001249: SWAP6 0000124a: SWAP1 0000124b: SWAP6 0000124c: SSTORE 0000124d: PUSH1 0x03 0000124f: ADD 00001250: DUP1 00001251: SLOAD 00001252: PUSH1 0xff 00001254: NOT 00001255: AND 00001256: SWAP1 00001257: SWAP5 00001258: OR 00001259: SWAP1 0000125a: SWAP4 0000125b: SSTORE 0000125c: DUP1 0000125d: MLOAD 0000125e: SWAP2 0000125f: DUP3 00001260: MSTORE 00001261: SWAP2 00001262: DUP2 00001263: ADD 00001264: DUP4 00001265: SWAP1 00001266: MSTORE 00001267: TIMESTAMP 00001268: DUP2 00001269: DUP4 0000126a: ADD 0000126b: MSTORE 0000126c: SWAP1 0000126d: MLOAD 0000126e: PUSH32 0xe5f9a0f9d36677fd3f2d82797f185f9021b4ce697a82f9b339c846cae821179e 0000128f: SWAP2 00001290: DUP2 00001291: SWAP1 00001292: SUB 00001293: PUSH1 0x60 00001295: ADD 00001296: SWAP1 00001297: LOG1 00001298: PUSH2 0x12ec 0000129b: JUMP 0000129c: JUMPDEST 0000129d: PUSH1 0x40 0000129f: DUP1 000012a0: MLOAD 000012a1: PUSH1 0x01 000012a3: PUSH1 0xa0 000012a5: PUSH1 0x02 000012a7: EXP 000012a8: SUB 000012a9: DUP5 000012aa: AND 000012ab: DUP2 000012ac: MSTORE 000012ad: PUSH1 0x20 000012af: DUP2 000012b0: ADD 000012b1: DUP4 000012b2: SWAP1 000012b3: MSTORE 000012b4: TIMESTAMP 000012b5: DUP2 000012b6: DUP4 000012b7: ADD 000012b8: MSTORE 000012b9: PUSH1 0x60 000012bb: DUP2 000012bc: ADD 000012bd: DUP6 000012be: SWAP1 000012bf: MSTORE 000012c0: SWAP1 000012c1: MLOAD 000012c2: PUSH32 0x69c22338494c88dc4a80031749f2520d85d2f4df22117c7711ad0845fa460e02 000012e3: SWAP2 000012e4: DUP2 000012e5: SWAP1 000012e6: SUB 000012e7: PUSH1 0x80 000012e9: ADD 000012ea: SWAP1 000012eb: LOG1 000012ec: JUMPDEST 000012ed: PUSH1 0x01 000012ef: SWAP1 000012f0: SWAP4 000012f1: ADD 000012f2: SWAP3 000012f3: PUSH2 0x1196 000012f6: JUMP 000012f7: JUMPDEST 000012f8: PUSH1 0x0d 000012fa: SLOAD 000012fb: PUSH2 0x0100 000012fe: SWAP1 000012ff: DIV 00001300: PUSH1 0xff 00001302: AND 00001303: DUP2 00001304: JUMP 00001305: JUMPDEST 00001306: PUSH1 0x08 00001308: PUSH1 0x20 0000130a: MSTORE 0000130b: PUSH1 0x00 0000130d: SWAP1 0000130e: DUP2 0000130f: MSTORE 00001310: PUSH1 0x40 00001312: SWAP1 00001313: KECCAK256 00001314: SLOAD 00001315: PUSH1 0xff 00001317: AND 00001318: DUP2 00001319: JUMP 0000131a: JUMPDEST 0000131b: PUSH1 0x13 0000131d: SLOAD 0000131e: DUP2 0000131f: JUMP 00001320: JUMPDEST 00001321: PUSH1 0x01 00001323: SLOAD 00001324: PUSH1 0x00 00001326: SWAP1 00001327: PUSH1 0x60 00001329: SWAP1 0000132a: DUP3 0000132b: SWAP1 0000132c: PUSH1 0xa0 0000132e: PUSH1 0x02 00001330: EXP 00001331: SWAP1 00001332: DIV 00001333: PUSH1 0xff 00001335: AND 00001336: ISZERO 00001337: PUSH2 0x133f 0000133a: JUMPI 0000133b: PUSH1 0x00 0000133d: DUP1 0000133e: REVERT 0000133f: JUMPDEST 00001340: CALLER 00001341: PUSH1 0x00 00001343: SWAP1 00001344: DUP2 00001345: MSTORE 00001346: PUSH1 0x02 00001348: PUSH1 0x20 0000134a: MSTORE 0000134b: PUSH1 0x40 0000134d: SWAP1 0000134e: KECCAK256 0000134f: SLOAD 00001350: DUP6 00001351: EXTCODESIZE 00001352: SWAP4 00001353: POP 00001354: PUSH2 0x1363 00001357: SWAP1 00001358: DUP6 00001359: PUSH4 0xffffffff 0000135e: PUSH2 0x0a4e 00001361: AND 00001362: JUMP 00001363: JUMPDEST 00001364: CALLER 00001365: PUSH1 0x00 00001367: SWAP1 00001368: DUP2 00001369: MSTORE 0000136a: PUSH1 0x02 0000136c: PUSH1 0x20 0000136e: MSTORE 0000136f: PUSH1 0x40 00001371: DUP1 00001372: DUP3 00001373: KECCAK256 00001374: SWAP3 00001375: SWAP1 00001376: SWAP3 00001377: SSTORE 00001378: PUSH1 0x01 0000137a: PUSH1 0xa0 0000137c: PUSH1 0x02 0000137e: EXP 0000137f: SUB 00001380: DUP8 00001381: AND 00001382: DUP2 00001383: MSTORE 00001384: KECCAK256 00001385: SLOAD 00001386: PUSH2 0x1395 00001389: SWAP1 0000138a: DUP6 0000138b: PUSH4 0xffffffff 00001390: PUSH2 0x0a09 00001393: AND 00001394: JUMP 00001395: JUMPDEST 00001396: PUSH1 0x01 00001398: PUSH1 0xa0 0000139a: PUSH1 0x02 0000139c: EXP 0000139d: SUB 0000139e: DUP7 0000139f: AND 000013a0: PUSH1 0x00 000013a2: SWAP1 000013a3: DUP2 000013a4: MSTORE 000013a5: PUSH1 0x02 000013a7: PUSH1 0x20 000013a9: MSTORE 000013aa: PUSH1 0x40 000013ac: DUP2 000013ad: KECCAK256 000013ae: SWAP2 000013af: SWAP1 000013b0: SWAP2 000013b1: SSTORE 000013b2: DUP4 000013b3: GT 000013b4: ISZERO 000013b5: PUSH2 0x14a7 000013b8: JUMPI 000013b9: POP 000013ba: PUSH1 0x40 000013bc: MLOAD 000013bd: PUSH32 0xc0ee0b8a00000000000000000000000000000000000000000000000000000000 000013de: DUP2 000013df: MSTORE 000013e0: CALLER 000013e1: PUSH1 0x04 000013e3: DUP3 000013e4: ADD 000013e5: DUP2 000013e6: DUP2 000013e7: MSTORE 000013e8: PUSH1 0x24 000013ea: DUP4 000013eb: ADD 000013ec: DUP7 000013ed: SWAP1 000013ee: MSTORE 000013ef: PUSH1 0x60 000013f1: PUSH1 0x44 000013f3: DUP5 000013f4: ADD 000013f5: SWAP1 000013f6: DUP2 000013f7: MSTORE 000013f8: DUP5 000013f9: MLOAD 000013fa: PUSH1 0x64 000013fc: DUP6 000013fd: ADD 000013fe: MSTORE 000013ff: DUP5 00001400: MLOAD 00001401: DUP9 00001402: SWAP5 00001403: PUSH1 0x01 00001405: PUSH1 0xa0 00001407: PUSH1 0x02 00001409: EXP 0000140a: SUB 0000140b: DUP7 0000140c: AND 0000140d: SWAP5 0000140e: PUSH4 0xc0ee0b8a 00001413: SWAP5 00001414: SWAP1 00001415: SWAP4 00001416: DUP11 00001417: SWAP4 00001418: DUP10 00001419: SWAP4 0000141a: PUSH1 0x84 0000141c: ADD 0000141d: SWAP1 0000141e: PUSH1 0x20 00001420: DUP6 00001421: ADD 00001422: SWAP1 00001423: DUP1 00001424: DUP4 00001425: DUP4 00001426: PUSH1 0x00 00001428: JUMPDEST 00001429: DUP4 0000142a: DUP2 0000142b: LT 0000142c: ISZERO 0000142d: PUSH2 0x1440 00001430: JUMPI 00001431: DUP2 00001432: DUP2 00001433: ADD 00001434: MLOAD 00001435: DUP4 00001436: DUP3 00001437: ADD 00001438: MSTORE 00001439: PUSH1 0x20 0000143b: ADD 0000143c: PUSH2 0x1428 0000143f: JUMP 00001440: JUMPDEST 00001441: POP 00001442: POP 00001443: POP 00001444: POP 00001445: SWAP1 00001446: POP 00001447: SWAP1 00001448: DUP2 00001449: ADD 0000144a: SWAP1 0000144b: PUSH1 0x1f 0000144d: AND 0000144e: DUP1 0000144f: ISZERO 00001450: PUSH2 0x146d 00001453: JUMPI 00001454: DUP1 00001455: DUP3 00001456: SUB 00001457: DUP1 00001458: MLOAD 00001459: PUSH1 0x01 0000145b: DUP4 0000145c: PUSH1 0x20 0000145e: SUB 0000145f: PUSH2 0x0100 00001462: EXP 00001463: SUB 00001464: NOT 00001465: AND 00001466: DUP2 00001467: MSTORE 00001468: PUSH1 0x20 0000146a: ADD 0000146b: SWAP2 0000146c: POP 0000146d: JUMPDEST 0000146e: POP 0000146f: SWAP5 00001470: POP 00001471: POP 00001472: POP 00001473: POP 00001474: POP 00001475: PUSH1 0x00 00001477: PUSH1 0x40 00001479: MLOAD 0000147a: DUP1 0000147b: DUP4 0000147c: SUB 0000147d: DUP2 0000147e: PUSH1 0x00 00001480: DUP8 00001481: DUP1 00001482: EXTCODESIZE 00001483: ISZERO 00001484: DUP1 00001485: ISZERO 00001486: PUSH2 0x148e 00001489: JUMPI 0000148a: PUSH1 0x00 0000148c: DUP1 0000148d: REVERT 0000148e: JUMPDEST 0000148f: POP 00001490: GAS 00001491: CALL 00001492: ISZERO 00001493: DUP1 00001494: ISZERO 00001495: PUSH2 0x14a2 00001498: JUMPI 00001499: RETURNDATASIZE 0000149a: PUSH1 0x00 0000149c: DUP1 0000149d: RETURNDATACOPY 0000149e: RETURNDATASIZE 0000149f: PUSH1 0x00 000014a1: REVERT 000014a2: JUMPDEST 000014a3: POP 000014a4: POP 000014a5: POP 000014a6: POP 000014a7: JUMPDEST 000014a8: DUP5 000014a9: PUSH1 0x01 000014ab: PUSH1 0xa0 000014ad: PUSH1 0x02 000014af: EXP 000014b0: SUB 000014b1: AND 000014b2: CALLER 000014b3: PUSH1 0x01 000014b5: PUSH1 0xa0 000014b7: PUSH1 0x02 000014b9: EXP 000014ba: SUB 000014bb: AND 000014bc: PUSH32 0xe19260aff97b920c7df27010903aeb9c8d2be5d310a2c67824cf3f15396e4c16 000014dd: DUP7 000014de: DUP6 000014df: PUSH1 0x40 000014e1: MLOAD 000014e2: DUP1 000014e3: DUP4 000014e4: DUP2 000014e5: MSTORE 000014e6: PUSH1 0x20 000014e8: ADD 000014e9: DUP1 000014ea: PUSH1 0x20 000014ec: ADD 000014ed: DUP3 000014ee: DUP2 000014ef: SUB 000014f0: DUP3 000014f1: MSTORE 000014f2: DUP4 000014f3: DUP2 000014f4: DUP2 000014f5: MLOAD 000014f6: DUP2 000014f7: MSTORE 000014f8: PUSH1 0x20 000014fa: ADD 000014fb: SWAP2 000014fc: POP 000014fd: DUP1 000014fe: MLOAD 000014ff: SWAP1 00001500: PUSH1 0x20 00001502: ADD 00001503: SWAP1 00001504: DUP1 00001505: DUP4 00001506: DUP4 00001507: PUSH1 0x00 00001509: JUMPDEST 0000150a: DUP4 0000150b: DUP2 0000150c: LT 0000150d: ISZERO 0000150e: PUSH2 0x1521 00001511: JUMPI 00001512: DUP2 00001513: DUP2 00001514: ADD 00001515: MLOAD 00001516: DUP4 00001517: DUP3 00001518: ADD 00001519: MSTORE 0000151a: PUSH1 0x20 0000151c: ADD 0000151d: PUSH2 0x1509 00001520: JUMP 00001521: JUMPDEST 00001522: POP 00001523: POP 00001524: POP 00001525: POP 00001526: SWAP1 00001527: POP 00001528: SWAP1 00001529: DUP2 0000152a: ADD 0000152b: SWAP1 0000152c: PUSH1 0x1f 0000152e: AND 0000152f: DUP1 00001530: ISZERO 00001531: PUSH2 0x154e 00001534: JUMPI 00001535: DUP1 00001536: DUP3 00001537: SUB 00001538: DUP1 00001539: MLOAD 0000153a: PUSH1 0x01 0000153c: DUP4 0000153d: PUSH1 0x20 0000153f: SUB 00001540: PUSH2 0x0100 00001543: EXP 00001544: SUB 00001545: NOT 00001546: AND 00001547: DUP2 00001548: MSTORE 00001549: PUSH1 0x20 0000154b: ADD 0000154c: SWAP2 0000154d: POP 0000154e: JUMPDEST 0000154f: POP 00001550: SWAP4 00001551: POP 00001552: POP 00001553: POP 00001554: POP 00001555: PUSH1 0x40 00001557: MLOAD 00001558: DUP1 00001559: SWAP2 0000155a: SUB 0000155b: SWAP1 0000155c: LOG3 0000155d: POP 0000155e: POP 0000155f: POP 00001560: POP 00001561: POP 00001562: JUMP 00001563: JUMPDEST 00001564: PUSH1 0x01 00001566: SLOAD 00001567: PUSH1 0x00 00001569: SWAP1 0000156a: PUSH1 0x01 0000156c: PUSH1 0xa0 0000156e: PUSH1 0x02 00001570: EXP 00001571: SUB 00001572: AND 00001573: CALLER 00001574: EQ 00001575: PUSH2 0x157d 00001578: JUMPI 00001579: PUSH1 0x00 0000157b: DUP1 0000157c: REVERT 0000157d: JUMPDEST 0000157e: PUSH1 0x0a 00001580: SLOAD 00001581: TIMESTAMP 00001582: LT 00001583: ISZERO 00001584: PUSH2 0x158c 00001587: JUMPI 00001588: PUSH1 0x00 0000158a: DUP1 0000158b: REVERT 0000158c: JUMPDEST 0000158d: PUSH1 0x0d 0000158f: SLOAD 00001590: PUSH4 0x01000000 00001595: SWAP1 00001596: DIV 00001597: PUSH1 0xff 00001599: AND 0000159a: ISZERO 0000159b: PUSH2 0x15a3 0000159e: JUMPI 0000159f: PUSH1 0x00 000015a1: DUP1 000015a2: REVERT 000015a3: JUMPDEST 000015a4: POP 000015a5: PUSH1 0x0d 000015a7: DUP1 000015a8: SLOAD 000015a9: PUSH4 0xff000000 000015ae: NOT 000015af: AND 000015b0: PUSH4 0x01000000 000015b5: OR 000015b6: SWAP1 000015b7: SSTORE 000015b8: PUSH1 0x05 000015ba: SLOAD 000015bb: CALLER 000015bc: PUSH1 0x00 000015be: DUP2 000015bf: DUP2 000015c0: MSTORE 000015c1: PUSH1 0x15 000015c3: PUSH1 0x20 000015c5: MSTORE 000015c6: PUSH1 0x40 000015c8: SWAP1 000015c9: KECCAK256 000015ca: PUSH1 0x01 000015cc: ADD 000015cd: SLOAD 000015ce: SWAP1 000015cf: SWAP2 000015d0: PUSH2 0x15df 000015d3: SWAP2 000015d4: SWAP1 000015d5: PUSH4 0xffffffff 000015da: PUSH2 0x0a09 000015dd: AND 000015de: JUMP 000015df: JUMPDEST 000015e0: PUSH1 0x01 000015e2: PUSH1 0xa0 000015e4: PUSH1 0x02 000015e6: EXP 000015e7: SUB 000015e8: DUP3 000015e9: AND 000015ea: PUSH1 0x00 000015ec: SWAP1 000015ed: DUP2 000015ee: MSTORE 000015ef: PUSH1 0x15 000015f1: PUSH1 0x20 000015f3: MSTORE 000015f4: PUSH1 0x40 000015f6: SWAP1 000015f7: KECCAK256 000015f8: PUSH1 0x01 000015fa: ADD 000015fb: SSTORE 000015fc: PUSH1 0x05 000015fe: SLOAD 000015ff: PUSH2 0x160e 00001602: SWAP1 00001603: DUP1 00001604: PUSH4 0xffffffff 00001609: PUSH2 0x0a4e 0000160c: AND 0000160d: JUMP 0000160e: JUMPDEST 0000160f: PUSH1 0x05 00001611: SSTORE 00001612: POP 00001613: PUSH1 0x0d 00001615: DUP1 00001616: SLOAD 00001617: PUSH4 0xff000000 0000161c: NOT 0000161d: AND 0000161e: SWAP1 0000161f: SSTORE 00001620: JUMP 00001621: JUMPDEST 00001622: PUSH1 0x0e 00001624: SLOAD 00001625: DUP2 00001626: JUMP 00001627: JUMPDEST 00001628: PUSH1 0x0c 0000162a: SLOAD 0000162b: DUP2 0000162c: JUMP 0000162d: JUMPDEST 0000162e: PUSH1 0x01 00001630: SLOAD 00001631: PUSH1 0x00 00001633: SWAP1 00001634: DUP2 00001635: SWAP1 00001636: PUSH1 0xa0 00001638: PUSH1 0x02 0000163a: EXP 0000163b: SWAP1 0000163c: DIV 0000163d: PUSH1 0xff 0000163f: AND 00001640: ISZERO 00001641: PUSH2 0x1649 00001644: JUMPI 00001645: PUSH1 0x00 00001647: DUP1 00001648: REVERT 00001649: JUMPDEST 0000164a: CALLER 0000164b: PUSH1 0x00 0000164d: SWAP1 0000164e: DUP2 0000164f: MSTORE 00001650: PUSH1 0x02 00001652: PUSH1 0x20 00001654: MSTORE 00001655: PUSH1 0x40 00001657: SWAP1 00001658: KECCAK256 00001659: SLOAD 0000165a: DUP6 0000165b: EXTCODESIZE 0000165c: SWAP3 0000165d: POP 0000165e: PUSH2 0x166d 00001661: SWAP1 00001662: DUP6 00001663: PUSH4 0xffffffff 00001668: PUSH2 0x0a4e 0000166b: AND 0000166c: JUMP 0000166d: JUMPDEST 0000166e: CALLER 0000166f: PUSH1 0x00 00001671: SWAP1 00001672: DUP2 00001673: MSTORE 00001674: PUSH1 0x02 00001676: PUSH1 0x20 00001678: MSTORE 00001679: PUSH1 0x40 0000167b: DUP1 0000167c: DUP3 0000167d: KECCAK256 0000167e: SWAP3 0000167f: SWAP1 00001680: SWAP3 00001681: SSTORE 00001682: PUSH1 0x01 00001684: PUSH1 0xa0 00001686: PUSH1 0x02 00001688: EXP 00001689: SUB 0000168a: DUP8 0000168b: AND 0000168c: DUP2 0000168d: MSTORE 0000168e: KECCAK256 0000168f: SLOAD 00001690: PUSH2 0x169f 00001693: SWAP1 00001694: DUP6 00001695: PUSH4 0xffffffff 0000169a: PUSH2 0x0a09 0000169d: AND 0000169e: JUMP 0000169f: JUMPDEST 000016a0: PUSH1 0x01 000016a2: PUSH1 0xa0 000016a4: PUSH1 0x02 000016a6: EXP 000016a7: SUB 000016a8: DUP7 000016a9: AND 000016aa: PUSH1 0x00 000016ac: SWAP1 000016ad: DUP2 000016ae: MSTORE 000016af: PUSH1 0x02 000016b1: PUSH1 0x20 000016b3: MSTORE 000016b4: PUSH1 0x40 000016b6: DUP2 000016b7: KECCAK256 000016b8: SWAP2 000016b9: SWAP1 000016ba: SWAP2 000016bb: SSTORE 000016bc: DUP3 000016bd: GT 000016be: ISZERO 000016bf: PUSH2 0x17b1 000016c2: JUMPI 000016c3: POP 000016c4: PUSH1 0x40 000016c6: MLOAD 000016c7: PUSH32 0xc0ee0b8a00000000000000000000000000000000000000000000000000000000 000016e8: DUP2 000016e9: MSTORE 000016ea: CALLER 000016eb: PUSH1 0x04 000016ed: DUP3 000016ee: ADD 000016ef: DUP2 000016f0: DUP2 000016f1: MSTORE 000016f2: PUSH1 0x24 000016f4: DUP4 000016f5: ADD 000016f6: DUP7 000016f7: SWAP1 000016f8: MSTORE 000016f9: PUSH1 0x60 000016fb: PUSH1 0x44 000016fd: DUP5 000016fe: ADD 000016ff: SWAP1 00001700: DUP2 00001701: MSTORE 00001702: DUP6 00001703: MLOAD 00001704: PUSH1 0x64 00001706: DUP6 00001707: ADD 00001708: MSTORE 00001709: DUP6 0000170a: MLOAD 0000170b: DUP9 0000170c: SWAP5 0000170d: PUSH1 0x01 0000170f: PUSH1 0xa0 00001711: PUSH1 0x02 00001713: EXP 00001714: SUB 00001715: DUP7 00001716: AND 00001717: SWAP5 00001718: PUSH4 0xc0ee0b8a 0000171d: SWAP5 0000171e: SWAP1 0000171f: SWAP4 00001720: DUP11 00001721: SWAP4 00001722: DUP11 00001723: SWAP4 00001724: PUSH1 0x84 00001726: ADD 00001727: SWAP1 00001728: PUSH1 0x20 0000172a: DUP6 0000172b: ADD 0000172c: SWAP1 0000172d: DUP1 0000172e: DUP4 0000172f: DUP4 00001730: PUSH1 0x00 00001732: JUMPDEST 00001733: DUP4 00001734: DUP2 00001735: LT 00001736: ISZERO 00001737: PUSH2 0x174a 0000173a: JUMPI 0000173b: DUP2 0000173c: DUP2 0000173d: ADD 0000173e: MLOAD 0000173f: DUP4 00001740: DUP3 00001741: ADD 00001742: MSTORE 00001743: PUSH1 0x20 00001745: ADD 00001746: PUSH2 0x1732 00001749: JUMP 0000174a: JUMPDEST 0000174b: POP 0000174c: POP 0000174d: POP 0000174e: POP 0000174f: SWAP1 00001750: POP 00001751: SWAP1 00001752: DUP2 00001753: ADD 00001754: SWAP1 00001755: PUSH1 0x1f 00001757: AND 00001758: DUP1 00001759: ISZERO 0000175a: PUSH2 0x1777 0000175d: JUMPI 0000175e: DUP1 0000175f: DUP3 00001760: SUB 00001761: DUP1 00001762: MLOAD 00001763: PUSH1 0x01 00001765: DUP4 00001766: PUSH1 0x20 00001768: SUB 00001769: PUSH2 0x0100 0000176c: EXP 0000176d: SUB 0000176e: NOT 0000176f: AND 00001770: DUP2 00001771: MSTORE 00001772: PUSH1 0x20 00001774: ADD 00001775: SWAP2 00001776: POP 00001777: JUMPDEST 00001778: POP 00001779: SWAP5 0000177a: POP 0000177b: POP 0000177c: POP 0000177d: POP 0000177e: POP 0000177f: PUSH1 0x00 00001781: PUSH1 0x40 00001783: MLOAD 00001784: DUP1 00001785: DUP4 00001786: SUB 00001787: DUP2 00001788: PUSH1 0x00 0000178a: DUP8 0000178b: DUP1 0000178c: EXTCODESIZE 0000178d: ISZERO 0000178e: DUP1 0000178f: ISZERO 00001790: PUSH2 0x1798 00001793: JUMPI 00001794: PUSH1 0x00 00001796: DUP1 00001797: REVERT 00001798: JUMPDEST 00001799: POP 0000179a: GAS 0000179b: CALL 0000179c: ISZERO 0000179d: DUP1 0000179e: ISZERO 0000179f: PUSH2 0x17ac 000017a2: JUMPI 000017a3: RETURNDATASIZE 000017a4: PUSH1 0x00 000017a6: DUP1 000017a7: RETURNDATACOPY 000017a8: RETURNDATASIZE 000017a9: PUSH1 0x00 000017ab: REVERT 000017ac: JUMPDEST 000017ad: POP 000017ae: POP 000017af: POP 000017b0: POP 000017b1: JUMPDEST 000017b2: DUP5 000017b3: PUSH1 0x01 000017b5: PUSH1 0xa0 000017b7: PUSH1 0x02 000017b9: EXP 000017ba: SUB 000017bb: AND 000017bc: CALLER 000017bd: PUSH1 0x01 000017bf: PUSH1 0xa0 000017c1: PUSH1 0x02 000017c3: EXP 000017c4: SUB 000017c5: AND 000017c6: PUSH32 0xe19260aff97b920c7df27010903aeb9c8d2be5d310a2c67824cf3f15396e4c16 000017e7: DUP7 000017e8: DUP7 000017e9: PUSH1 0x40 000017eb: MLOAD 000017ec: DUP1 000017ed: DUP4 000017ee: DUP2 000017ef: MSTORE 000017f0: PUSH1 0x20 000017f2: ADD 000017f3: DUP1 000017f4: PUSH1 0x20 000017f6: ADD 000017f7: DUP3 000017f8: DUP2 000017f9: SUB 000017fa: DUP3 000017fb: MSTORE 000017fc: DUP4 000017fd: DUP2 000017fe: DUP2 000017ff: MLOAD 00001800: DUP2 00001801: MSTORE 00001802: PUSH1 0x20 00001804: ADD 00001805: SWAP2 00001806: POP 00001807: DUP1 00001808: MLOAD 00001809: SWAP1 0000180a: PUSH1 0x20 0000180c: ADD 0000180d: SWAP1 0000180e: DUP1 0000180f: DUP4 00001810: DUP4 00001811: PUSH1 0x00 00001813: DUP4 00001814: DUP2 00001815: LT 00001816: ISZERO 00001817: PUSH2 0x1521 0000181a: JUMPI 0000181b: DUP2 0000181c: DUP2 0000181d: ADD 0000181e: MLOAD 0000181f: DUP4 00001820: DUP3 00001821: ADD 00001822: MSTORE 00001823: PUSH1 0x20 00001825: ADD 00001826: PUSH2 0x1509 00001829: JUMP 0000182a: JUMPDEST 0000182b: PUSH1 0x01 0000182d: SLOAD 0000182e: PUSH1 0x01 00001830: PUSH1 0xa0 00001832: PUSH1 0x02 00001834: EXP 00001835: SUB 00001836: AND 00001837: CALLER 00001838: EQ 00001839: PUSH2 0x1841 0000183c: JUMPI 0000183d: PUSH1 0x00 0000183f: DUP1 00001840: REVERT 00001841: JUMPDEST 00001842: PUSH1 0x0a 00001844: SLOAD 00001845: TIMESTAMP 00001846: LT 00001847: ISZERO 00001848: PUSH2 0x1850 0000184b: JUMPI 0000184c: PUSH1 0x00 0000184e: DUP1 0000184f: REVERT 00001850: JUMPDEST 00001851: PUSH1 0x0d 00001853: SLOAD 00001854: PUSH4 0x01000000 00001859: SWAP1 0000185a: DIV 0000185b: PUSH1 0xff 0000185d: AND 0000185e: ISZERO 0000185f: PUSH2 0x1867 00001862: JUMPI 00001863: PUSH1 0x00 00001865: DUP1 00001866: REVERT 00001867: JUMPDEST 00001868: PUSH1 0x0d 0000186a: DUP1 0000186b: SLOAD 0000186c: PUSH4 0xff000000 00001871: NOT 00001872: AND 00001873: PUSH4 0x01000000 00001878: OR 00001879: SWAP1 0000187a: DUP2 0000187b: SWAP1 0000187c: SSTORE 0000187d: PUSH1 0xff 0000187f: AND 00001880: ISZERO 00001881: PUSH2 0x1903 00001884: JUMPI 00001885: PUSH1 0x01 00001887: SLOAD 00001888: PUSH1 0x40 0000188a: MLOAD 0000188b: PUSH1 0x01 0000188d: PUSH1 0xa0 0000188f: PUSH1 0x02 00001891: EXP 00001892: SUB 00001893: SWAP1 00001894: SWAP2 00001895: AND 00001896: SWAP1 00001897: DUP3 00001898: ISZERO 00001899: PUSH2 0x08fc 0000189c: MUL 0000189d: SWAP1 0000189e: DUP4 0000189f: SWAP1 000018a0: PUSH1 0x00 000018a2: DUP2 000018a3: DUP2 000018a4: DUP2 000018a5: DUP6 000018a6: DUP9 000018a7: DUP9 000018a8: CALL 000018a9: SWAP4 000018aa: POP 000018ab: POP 000018ac: POP 000018ad: POP 000018ae: ISZERO 000018af: DUP1 000018b0: ISZERO 000018b1: PUSH2 0x18be 000018b4: JUMPI 000018b5: RETURNDATASIZE 000018b6: PUSH1 0x00 000018b8: DUP1 000018b9: RETURNDATACOPY 000018ba: RETURNDATASIZE 000018bb: PUSH1 0x00 000018bd: REVERT 000018be: JUMPDEST 000018bf: POP 000018c0: PUSH1 0x40 000018c2: DUP1 000018c3: MLOAD 000018c4: CALLER 000018c5: DUP2 000018c6: MSTORE 000018c7: PUSH1 0x20 000018c9: DUP2 000018ca: ADD 000018cb: DUP4 000018cc: SWAP1 000018cd: MSTORE 000018ce: TIMESTAMP 000018cf: DUP2 000018d0: DUP4 000018d1: ADD 000018d2: MSTORE 000018d3: SWAP1 000018d4: MLOAD 000018d5: PUSH32 0x261559be5a579606b998b62ae8271e6fc3548a978d13c53f18afe67241ec4c58 000018f6: SWAP2 000018f7: DUP2 000018f8: SWAP1 000018f9: SUB 000018fa: PUSH1 0x60 000018fc: ADD 000018fd: SWAP1 000018fe: LOG1 000018ff: PUSH2 0x1943 00001902: JUMP 00001903: JUMPDEST 00001904: PUSH1 0x40 00001906: DUP1 00001907: MLOAD 00001908: CALLER 00001909: DUP2 0000190a: MSTORE 0000190b: PUSH1 0x20 0000190d: DUP2 0000190e: ADD 0000190f: DUP4 00001910: SWAP1 00001911: MSTORE 00001912: TIMESTAMP 00001913: DUP2 00001914: DUP4 00001915: ADD 00001916: MSTORE 00001917: SWAP1 00001918: MLOAD 00001919: PUSH32 0xf760c9ca289173b691c2b9a6fab790f3b8c9ba85ede0deb21e300d7978e40fb3 0000193a: SWAP2 0000193b: DUP2 0000193c: SWAP1 0000193d: SUB 0000193e: PUSH1 0x60 00001940: ADD 00001941: SWAP1 00001942: LOG1 00001943: JUMPDEST 00001944: POP 00001945: PUSH1 0x0d 00001947: DUP1 00001948: SLOAD 00001949: PUSH4 0xff000000 0000194e: NOT 0000194f: AND 00001950: SWAP1 00001951: SSTORE 00001952: JUMP 00001953: JUMPDEST 00001954: PUSH1 0x15 00001956: PUSH1 0x20 00001958: MSTORE 00001959: PUSH1 0x00 0000195b: SWAP1 0000195c: DUP2 0000195d: MSTORE 0000195e: PUSH1 0x40 00001960: SWAP1 00001961: KECCAK256 00001962: DUP1 00001963: SLOAD 00001964: PUSH1 0x01 00001966: DUP3 00001967: ADD 00001968: SLOAD 00001969: PUSH1 0x02 0000196b: DUP4 0000196c: ADD 0000196d: SLOAD 0000196e: PUSH1 0x03 00001970: SWAP1 00001971: SWAP4 00001972: ADD 00001973: SLOAD 00001974: SWAP2 00001975: SWAP3 00001976: SWAP1 00001977: SWAP2 00001978: PUSH1 0xff 0000197a: AND 0000197b: DUP5 0000197c: JUMP 0000197d: JUMPDEST 0000197e: PUSH1 0x01 00001980: SLOAD 00001981: PUSH1 0x01 00001983: PUSH1 0xa0 00001985: PUSH1 0x02 00001987: EXP 00001988: SUB 00001989: AND 0000198a: CALLER 0000198b: EQ 0000198c: PUSH2 0x1994 0000198f: JUMPI 00001990: PUSH1 0x00 00001992: DUP1 00001993: REVERT 00001994: JUMPDEST 00001995: PUSH1 0x01 00001997: PUSH1 0xa0 00001999: PUSH1 0x02 0000199b: EXP 0000199c: SUB 0000199d: DUP2 0000199e: AND 0000199f: PUSH1 0x00 000019a1: DUP2 000019a2: DUP2 000019a3: MSTORE 000019a4: PUSH1 0x08 000019a6: PUSH1 0x20 000019a8: SWAP1 000019a9: DUP2 000019aa: MSTORE 000019ab: PUSH1 0x40 000019ad: SWAP2 000019ae: DUP3 000019af: SWAP1 000019b0: KECCAK256 000019b1: DUP1 000019b2: SLOAD 000019b3: PUSH1 0xff 000019b5: NOT 000019b6: AND 000019b7: PUSH1 0x01 000019b9: OR 000019ba: SWAP1 000019bb: SSTORE 000019bc: DUP2 000019bd: MLOAD 000019be: SWAP3 000019bf: DUP4 000019c0: MSTORE 000019c1: SWAP1 000019c2: MLOAD 000019c3: PUSH32 0xf8d5f40934646cedded2cab1b5960f020db583f154fabcf831277b87d1803d13 000019e4: SWAP3 000019e5: DUP2 000019e6: SWAP1 000019e7: SUB 000019e8: SWAP1 000019e9: SWAP2 000019ea: ADD 000019eb: SWAP1 000019ec: LOG1 000019ed: POP 000019ee: JUMP 000019ef: JUMPDEST 000019f0: PUSH1 0x10 000019f2: SLOAD 000019f3: DUP2 000019f4: JUMP 000019f5: JUMPDEST 000019f6: PUSH1 0x01 000019f8: SLOAD 000019f9: PUSH1 0x01 000019fb: PUSH1 0xa0 000019fd: PUSH1 0x02 000019ff: EXP 00001a00: SUB 00001a01: AND 00001a02: CALLER 00001a03: EQ 00001a04: PUSH2 0x1a0c 00001a07: JUMPI 00001a08: PUSH1 0x00 00001a0a: DUP1 00001a0b: REVERT 00001a0c: JUMPDEST 00001a0d: PUSH1 0x01 00001a0f: PUSH1 0xa0 00001a11: PUSH1 0x02 00001a13: EXP 00001a14: SUB 00001a15: DUP2 00001a16: AND 00001a17: ISZERO 00001a18: ISZERO 00001a19: PUSH2 0x1a21 00001a1c: JUMPI 00001a1d: PUSH1 0x00 00001a1f: DUP1 00001a20: REVERT 00001a21: JUMPDEST 00001a22: PUSH1 0x01 00001a24: SLOAD 00001a25: PUSH1 0x40 00001a27: MLOAD 00001a28: PUSH1 0x01 00001a2a: PUSH1 0xa0 00001a2c: PUSH1 0x02 00001a2e: EXP 00001a2f: SUB 00001a30: DUP1 00001a31: DUP5 00001a32: AND 00001a33: SWAP3 00001a34: AND 00001a35: SWAP1 00001a36: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00001a57: SWAP1 00001a58: PUSH1 0x00 00001a5a: SWAP1 00001a5b: LOG3 00001a5c: PUSH1 0x01 00001a5e: DUP1 00001a5f: SLOAD 00001a60: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a75: NOT 00001a76: AND 00001a77: PUSH1 0x01 00001a79: PUSH1 0xa0 00001a7b: PUSH1 0x02 00001a7d: EXP 00001a7e: SUB 00001a7f: SWAP3 00001a80: SWAP1 00001a81: SWAP3 00001a82: AND 00001a83: SWAP2 00001a84: SWAP1 00001a85: SWAP2 00001a86: OR 00001a87: SWAP1 00001a88: SSTORE 00001a89: JUMP 00001a8a: JUMPDEST 00001a8b: PUSH1 0x11 00001a8d: SLOAD 00001a8e: DUP2 00001a8f: JUMP 00001a90: JUMPDEST 00001a91: PUSH1 0x09 00001a93: SLOAD 00001a94: DUP2 00001a95: JUMP 00001a96: JUMPDEST 00001a97: PUSH1 0x0a 00001a99: SLOAD 00001a9a: PUSH1 0x00 00001a9c: SWAP1 00001a9d: TIMESTAMP 00001a9e: LT 00001a9f: ISZERO 00001aa0: PUSH2 0x1aa8 00001aa3: JUMPI 00001aa4: PUSH1 0x00 00001aa6: DUP1 00001aa7: REVERT 00001aa8: JUMPDEST 00001aa9: PUSH1 0x0d 00001aab: SLOAD 00001aac: PUSH4 0x01000000 00001ab1: SWAP1 00001ab2: DIV 00001ab3: PUSH1 0xff 00001ab5: AND 00001ab6: ISZERO 00001ab7: PUSH2 0x1abf 00001aba: JUMPI 00001abb: PUSH1 0x00 00001abd: DUP1 00001abe: REVERT 00001abf: JUMPDEST 00001ac0: PUSH1 0x0d 00001ac2: DUP1 00001ac3: SLOAD 00001ac4: PUSH4 0xff000000 00001ac9: NOT 00001aca: AND 00001acb: PUSH4 0x01000000 00001ad0: OR 00001ad1: SWAP1 00001ad2: DUP2 00001ad3: SWAP1 00001ad4: SSTORE 00001ad5: PUSH1 0xff 00001ad7: AND 00001ad8: ISZERO 00001ad9: ISZERO 00001ada: PUSH2 0x1bc8 00001add: JUMPI 00001ade: POP 00001adf: CALLER 00001ae0: PUSH1 0x00 00001ae2: SWAP1 00001ae3: DUP2 00001ae4: MSTORE 00001ae5: PUSH1 0x15 00001ae7: PUSH1 0x20 00001ae9: MSTORE 00001aea: PUSH1 0x40 00001aec: DUP2 00001aed: KECCAK256 00001aee: DUP1 00001aef: SLOAD 00001af0: SWAP1 00001af1: DUP3 00001af2: SWAP1 00001af3: SSTORE 00001af4: SWAP1 00001af5: DUP2 00001af6: GT 00001af7: ISZERO 00001af8: PUSH2 0x1b83 00001afb: JUMPI 00001afc: PUSH1 0x40 00001afe: MLOAD 00001aff: CALLER 00001b00: SWAP1 00001b01: DUP3 00001b02: ISZERO 00001b03: PUSH2 0x08fc 00001b06: MUL 00001b07: SWAP1 00001b08: DUP4 00001b09: SWAP1 00001b0a: PUSH1 0x00 00001b0c: DUP2 00001b0d: DUP2 00001b0e: DUP2 00001b0f: DUP6 00001b10: DUP9 00001b11: DUP9 00001b12: CALL 00001b13: SWAP4 00001b14: POP 00001b15: POP 00001b16: POP 00001b17: POP 00001b18: ISZERO 00001b19: DUP1 00001b1a: ISZERO 00001b1b: PUSH2 0x1b28 00001b1e: JUMPI 00001b1f: RETURNDATASIZE 00001b20: PUSH1 0x00 00001b22: DUP1 00001b23: RETURNDATACOPY 00001b24: RETURNDATASIZE 00001b25: PUSH1 0x00 00001b27: REVERT 00001b28: JUMPDEST 00001b29: POP 00001b2a: PUSH1 0x13 00001b2c: SLOAD 00001b2d: PUSH2 0x1b3c 00001b30: SWAP1 00001b31: DUP3 00001b32: PUSH4 0xffffffff 00001b37: PUSH2 0x0a09 00001b3a: AND 00001b3b: JUMP 00001b3c: JUMPDEST 00001b3d: PUSH1 0x13 00001b3f: SSTORE 00001b40: PUSH1 0x40 00001b42: DUP1 00001b43: MLOAD 00001b44: CALLER 00001b45: DUP2 00001b46: MSTORE 00001b47: PUSH1 0x20 00001b49: DUP2 00001b4a: ADD 00001b4b: DUP4 00001b4c: SWAP1 00001b4d: MSTORE 00001b4e: TIMESTAMP 00001b4f: DUP2 00001b50: DUP4 00001b51: ADD 00001b52: MSTORE 00001b53: SWAP1 00001b54: MLOAD 00001b55: PUSH32 0x44fcb9182d1736e75d442f1dfccc29fe455af9fea509340838a91f78c38ae06e 00001b76: SWAP2 00001b77: DUP2 00001b78: SWAP1 00001b79: SUB 00001b7a: PUSH1 0x60 00001b7c: ADD 00001b7d: SWAP1 00001b7e: LOG1 00001b7f: PUSH2 0x1bc3 00001b82: JUMP 00001b83: JUMPDEST 00001b84: PUSH1 0x40 00001b86: DUP1 00001b87: MLOAD 00001b88: CALLER 00001b89: DUP2 00001b8a: MSTORE 00001b8b: PUSH1 0x20 00001b8d: DUP2 00001b8e: ADD 00001b8f: DUP4 00001b90: SWAP1 00001b91: MSTORE 00001b92: TIMESTAMP 00001b93: DUP2 00001b94: DUP4 00001b95: ADD 00001b96: MSTORE 00001b97: SWAP1 00001b98: MLOAD 00001b99: PUSH32 0x023e0896a429821a2538d6323c3b5443c91be3110d3ecbb1df75a80a56adcdf1 00001bba: SWAP2 00001bbb: DUP2 00001bbc: SWAP1 00001bbd: SUB 00001bbe: PUSH1 0x60 00001bc0: ADD 00001bc1: SWAP1 00001bc2: LOG1 00001bc3: JUMPDEST 00001bc4: PUSH2 0x1943 00001bc7: JUMP 00001bc8: JUMPDEST 00001bc9: PUSH1 0x40 00001bcb: DUP1 00001bcc: MLOAD 00001bcd: CALLER 00001bce: DUP2 00001bcf: MSTORE 00001bd0: SWAP1 00001bd1: MLOAD 00001bd2: PUSH32 0x7c3d161a6e8650cf2605a763220094a4d9d7c01d1856fc2be43c8ccd7717b04e 00001bf3: SWAP2 00001bf4: DUP2 00001bf5: SWAP1 00001bf6: SUB 00001bf7: PUSH1 0x20 00001bf9: ADD 00001bfa: SWAP1 00001bfb: LOG1 00001bfc: POP 00001bfd: PUSH1 0x0d 00001bff: DUP1 00001c00: SLOAD 00001c01: PUSH4 0xff000000 00001c06: NOT 00001c07: AND 00001c08: SWAP1 00001c09: SSTORE 00001c0a: JUMP 00001c0b: JUMPDEST 00001c0c: PUSH1 0x00 00001c0e: DUP1 00001c0f: DUP3 00001c10: DUP5 00001c11: DUP2 00001c12: ISZERO 00001c13: ISZERO 00001c14: PUSH2 0x1c19 00001c17: JUMPI 00001c18: INVALID 00001c19: JUMPDEST 00001c1a: DIV 00001c1b: SWAP5 00001c1c: SWAP4 00001c1d: POP 00001c1e: POP 00001c1f: POP 00001c20: POP 00001c21: JUMP 00001c22: STOP 00001c23: LOG1 00001c24: PUSH6 0x627a7a723058 00001c2b: KECCAK256 00001c2c: UNKNOWN(0xB1) 00001c2d: UNKNOWN(0xD5) 00001c2e: PUSH3 0x2ec885 00001c32: CALLDATACOPY 00001c33: TIMESTAMP 00001c34: SGT 00001c35: LOG1 00001c36: UNKNOWN(0x24) 00001c37: JUMP 00001c38: PUSH29
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x97baa83d73cbdad0281b2c9bca9148d099a9ed86a8faa52cc34b64fba64340c7
call_targets:
0xbc542f8ab85e4a708be556b18ae5bb215158186d
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x97baa83d73cbdad0281b2c9bca9148d099a9ed86a8faa52cc34b64fba64340c7",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xbc542f8ab85e4a708be556b18ae5bb215158186d"
],
"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": "0x03a66f32",
"selector": "0x03a66f32",
"calldata_variants": [
"0x03a66f32",
"0x03a66f320000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x15b73a1d",
"selector": "0x15b73a1d",
"calldata_variants": [
"0x15b73a1d",
"0x15b73a1d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x263ef09a",
"selector": "0x263ef09a",
"calldata_variants": [
"0x263ef09a",
"0x263ef09a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x279994be",
"selector": "0x279994be",
"calldata_variants": [
"0x279994be",
"0x279994be0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2ff2e9dc",
"selector": "0x2ff2e9dc",
"calldata_variants": [
"0x2ff2e9dc",
"0x2ff2e9dc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 5265,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 6043,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 6312,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 4,
"guards_detected": [],
"untrusted_call_count": 4
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x97baa83d73cbdad0281b2c9bca9148d099a9ed86a8faa52cc34b64fba64340c7
call_targets:
0xbc542f8ab85e4a708be556b18ae5bb215158186d
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x97baa83d73cbdad0281b2c9bca9148d099a9ed86a8faa52cc34b64fba64340c7",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xbc542f8ab85e4a708be556b18ae5bb215158186d"
],
"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": "0x03a66f32",
"selector": "0x03a66f32",
"calldata_variants": [
"0x03a66f32",
"0x03a66f320000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x15b73a1d",
"selector": "0x15b73a1d",
"calldata_variants": [
"0x15b73a1d",
"0x15b73a1d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x263ef09a",
"selector": "0x263ef09a",
"calldata_variants": [
"0x263ef09a",
"0x263ef09a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x279994be",
"selector": "0x279994be",
"calldata_variants": [
"0x279994be",
"0x279994be0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2ff2e9dc",
"selector": "0x2ff2e9dc",
"calldata_variants": [
"0x2ff2e9dc",
"0x2ff2e9dc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 5265,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 6043,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 6312,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 4,
"guards_detected": []
}
|