019b477e-b0ef-7241-a776-049089f895ea
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 |
|---|---|---|---|---|
| 22063 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 22064 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 89029 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 89030 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 89031 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 89032 | 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 0x0237 0000000c: JUMPI 0000000d: PUSH4 0xffffffff 00000012: PUSH1 0xe0 00000014: PUSH1 0x02 00000016: EXP 00000017: PUSH1 0x00 00000019: CALLDATALOAD 0000001a: DIV 0000001b: AND 0000001c: PUSH4 0x07da68f5 00000021: DUP2 00000022: EQ 00000023: PUSH2 0x0267 00000026: JUMPI 00000027: DUP1 00000028: PUSH4 0x0c846ea3 0000002d: EQ 0000002e: PUSH2 0x027e 00000031: JUMPI 00000032: DUP1 00000033: PUSH4 0x0dcec63d 00000038: EQ 00000039: PUSH2 0x029f 0000003c: JUMPI 0000003d: DUP1 0000003e: PUSH4 0x0fb5a6b4 00000043: EQ 00000044: PUSH2 0x02b7 00000047: JUMPI 00000048: DUP1 00000049: PUSH4 0x1510ca79 0000004e: EQ 0000004f: PUSH2 0x02de 00000052: JUMPI 00000053: DUP1 00000054: PUSH4 0x18c9ef97 00000059: EQ 0000005a: PUSH2 0x02f3 0000005d: JUMPI 0000005e: DUP1 0000005f: PUSH4 0x1f2698ab 00000064: EQ 00000065: PUSH2 0x0317 00000068: JUMPI 00000069: DUP1 0000006a: PUSH4 0x21df0da7 0000006f: EQ 00000070: PUSH2 0x0340 00000073: JUMPI 00000074: DUP1 00000075: PUSH4 0x22f3e2d4 0000007a: EQ 0000007b: PUSH2 0x0371 0000007e: JUMPI 0000007f: DUP1 00000080: PUSH4 0x29d684cb 00000085: EQ 00000086: PUSH2 0x0386 00000089: JUMPI 0000008a: DUP1 0000008b: PUSH4 0x3a740a63 00000090: EQ 00000091: PUSH2 0x039b 00000094: JUMPI 00000095: DUP1 00000096: PUSH4 0x3ccfd60b 0000009b: EQ 0000009c: PUSH2 0x03bc 0000009f: JUMPI 000000a0: DUP1 000000a1: PUSH4 0x3daf61a0 000000a6: EQ 000000a7: PUSH2 0x03d1 000000aa: JUMPI 000000ab: DUP1 000000ac: PUSH4 0x404ba54b 000000b1: EQ 000000b2: PUSH2 0x03e6 000000b5: JUMPI 000000b6: DUP1 000000b7: PUSH4 0x481c6a75 000000bc: EQ 000000bd: PUSH2 0x0407 000000c0: JUMPI 000000c1: DUP1 000000c2: PUSH4 0x590e1ae3 000000c7: EQ 000000c8: PUSH2 0x041c 000000cb: JUMPI 000000cc: DUP1 000000cd: PUSH4 0x6385cbbe 000000d2: EQ 000000d3: PUSH2 0x0431 000000d6: JUMPI 000000d7: DUP1 000000d8: PUSH4 0x6b78c67a 000000dd: EQ 000000de: PUSH2 0x0446 000000e1: JUMPI 000000e2: DUP1 000000e3: PUSH4 0x715018a6 000000e8: EQ 000000e9: PUSH2 0x047f 000000ec: JUMPI 000000ed: DUP1 000000ee: PUSH4 0x7234ba0c 000000f3: EQ 000000f4: PUSH2 0x0494 000000f7: JUMPI 000000f8: DUP1 000000f9: PUSH4 0x729dd6fc 000000fe: EQ 000000ff: PUSH2 0x04a9 00000102: JUMPI 00000103: DUP1 00000104: PUSH4 0x75f12b21 00000109: EQ 0000010a: PUSH2 0x04ca 0000010d: JUMPI 0000010e: DUP1 0000010f: PUSH4 0x76ddfc39 00000114: EQ 00000115: PUSH2 0x04df 00000118: JUMPI 00000119: DUP1 0000011a: PUSH4 0x7b7798ab 0000011f: EQ 00000120: PUSH2 0x04f4 00000123: JUMPI 00000124: DUP1 00000125: PUSH4 0x8d8f2adb 0000012a: EQ 0000012b: PUSH2 0x0515 0000012e: JUMPI 0000012f: DUP1 00000130: PUSH4 0x8da5cb5b 00000135: EQ 00000136: PUSH2 0x052a 00000139: JUMPI 0000013a: DUP1 0000013b: PUSH4 0x9106d7ba 00000140: EQ 00000141: PUSH2 0x053f 00000144: JUMPI 00000145: DUP1 00000146: PUSH4 0x93e59dc1 0000014b: EQ 0000014c: PUSH2 0x0554 0000014f: JUMPI 00000150: DUP1 00000151: PUSH4 0x9d7b8e68 00000156: EQ 00000157: PUSH2 0x0569 0000015a: JUMPI 0000015b: DUP1 0000015c: PUSH4 0xa4c1cf04 00000161: EQ 00000162: PUSH2 0x057e 00000165: JUMPI 00000166: DUP1 00000167: PUSH4 0xa51fe113 0000016c: EQ 0000016d: PUSH2 0x059f 00000170: JUMPI 00000171: DUP1 00000172: PUSH4 0xa85adeab 00000177: EQ 00000178: PUSH2 0x05c6 0000017b: JUMPI 0000017c: DUP1 0000017d: PUSH4 0xa96f8668 00000182: EQ 00000183: PUSH2 0x05db 00000186: JUMPI 00000187: DUP1 00000188: PUSH4 0xb23c1f19 0000018d: EQ 0000018e: PUSH2 0x05f0 00000191: JUMPI 00000192: DUP1 00000193: PUSH4 0xba0e930a 00000198: EQ 00000199: PUSH2 0x0614 0000019c: JUMPI 0000019d: DUP1 0000019e: PUSH4 0xcaf05e51 000001a3: EQ 000001a4: PUSH2 0x0635 000001a7: JUMPI 000001a8: DUP1 000001a9: PUSH4 0xd01f63f5 000001ae: EQ 000001af: PUSH2 0x064a 000001b2: JUMPI 000001b3: DUP1 000001b4: PUSH4 0xd0e30db0 000001b9: EQ 000001ba: PUSH2 0x065f 000001bd: JUMPI 000001be: DUP1 000001bf: PUSH4 0xd3b7bfb4 000001c4: EQ 000001c5: PUSH2 0x0667 000001c8: JUMPI 000001c9: DUP1 000001ca: PUSH4 0xd9193025 000001cf: EQ 000001d0: PUSH2 0x067c 000001d3: JUMPI 000001d4: DUP1 000001d5: PUSH4 0xd9c5642d 000001da: EQ 000001db: PUSH2 0x0694 000001de: JUMPI 000001df: DUP1 000001e0: PUSH4 0xe29eb836 000001e5: EQ 000001e6: PUSH2 0x06b8 000001e9: JUMPI 000001ea: DUP1 000001eb: PUSH4 0xe4005326 000001f0: EQ 000001f1: PUSH2 0x06cd 000001f4: JUMPI 000001f5: DUP1 000001f6: PUSH4 0xe6fd48bc 000001fb: EQ 000001fc: PUSH2 0x06ee 000001ff: JUMPI 00000200: DUP1 00000201: PUSH4 0xec4cd0cf 00000206: EQ 00000207: PUSH2 0x0703 0000020a: JUMPI 0000020b: DUP1 0000020c: PUSH4 0xf2fde38b 00000211: EQ 00000212: PUSH2 0x0718 00000215: JUMPI 00000216: DUP1 00000217: PUSH4 0xf4163340 0000021c: EQ 0000021d: PUSH2 0x0739 00000220: JUMPI 00000221: DUP1 00000222: PUSH4 0xfa65dfac 00000227: EQ 00000228: PUSH2 0x074e 0000022b: JUMPI 0000022c: DUP1 0000022d: PUSH4 0xfb86a404 00000232: EQ 00000233: PUSH2 0x0763 00000236: JUMPI 00000237: JUMPDEST 00000238: PUSH1 0x00 0000023a: CALLVALUE 0000023b: GT 0000023c: PUSH2 0x0244 0000023f: JUMPI 00000240: PUSH1 0x00 00000242: DUP1 00000243: REVERT 00000244: JUMPDEST 00000245: PUSH2 0x024e 00000248: CALLVALUE 00000249: CALLER 0000024a: PUSH2 0x0778 0000024d: JUMP 0000024e: JUMPDEST 0000024f: POP 00000250: PUSH1 0x0e 00000252: SLOAD 00000253: PUSH2 0x0262 00000256: SWAP1 00000257: CALLVALUE 00000258: PUSH4 0xffffffff 0000025d: PUSH2 0x0d3c 00000260: AND 00000261: JUMP 00000262: JUMPDEST 00000263: PUSH1 0x0e 00000265: SSTORE 00000266: STOP 00000267: JUMPDEST 00000268: CALLVALUE 00000269: DUP1 0000026a: ISZERO 0000026b: PUSH2 0x0273 0000026e: JUMPI 0000026f: PUSH1 0x00 00000271: DUP1 00000272: REVERT 00000273: JUMPDEST 00000274: POP 00000275: PUSH2 0x027c 00000278: PUSH2 0x0d4f 0000027b: JUMP 0000027c: JUMPDEST 0000027d: STOP 0000027e: JUMPDEST 0000027f: CALLVALUE 00000280: DUP1 00000281: ISZERO 00000282: PUSH2 0x028a 00000285: JUMPI 00000286: PUSH1 0x00 00000288: DUP1 00000289: REVERT 0000028a: JUMPDEST 0000028b: POP 0000028c: PUSH2 0x027c 0000028f: PUSH1 0x01 00000291: PUSH1 0xa0 00000293: PUSH1 0x02 00000295: EXP 00000296: SUB 00000297: PUSH1 0x04 00000299: CALLDATALOAD 0000029a: AND 0000029b: PUSH2 0x0dda 0000029e: JUMP 0000029f: JUMPDEST 000002a0: CALLVALUE 000002a1: DUP1 000002a2: ISZERO 000002a3: PUSH2 0x02ab 000002a6: JUMPI 000002a7: PUSH1 0x00 000002a9: DUP1 000002aa: REVERT 000002ab: JUMPDEST 000002ac: POP 000002ad: PUSH2 0x027c 000002b0: PUSH1 0x04 000002b2: CALLDATALOAD 000002b3: PUSH2 0x0e37 000002b6: JUMP 000002b7: JUMPDEST 000002b8: CALLVALUE 000002b9: DUP1 000002ba: ISZERO 000002bb: PUSH2 0x02c3 000002be: JUMPI 000002bf: PUSH1 0x00 000002c1: DUP1 000002c2: REVERT 000002c3: JUMPDEST 000002c4: POP 000002c5: PUSH2 0x02cc 000002c8: PUSH2 0x0e53 000002cb: JUMP 000002cc: JUMPDEST 000002cd: PUSH1 0x40 000002cf: DUP1 000002d0: MLOAD 000002d1: SWAP2 000002d2: DUP3 000002d3: MSTORE 000002d4: MLOAD 000002d5: SWAP1 000002d6: DUP2 000002d7: SWAP1 000002d8: SUB 000002d9: PUSH1 0x20 000002db: ADD 000002dc: SWAP1 000002dd: RETURN 000002de: JUMPDEST 000002df: CALLVALUE 000002e0: DUP1 000002e1: ISZERO 000002e2: PUSH2 0x02ea 000002e5: JUMPI 000002e6: PUSH1 0x00 000002e8: DUP1 000002e9: REVERT 000002ea: JUMPDEST 000002eb: POP 000002ec: PUSH2 0x02cc 000002ef: PUSH2 0x0e59 000002f2: JUMP 000002f3: JUMPDEST 000002f4: CALLVALUE 000002f5: DUP1 000002f6: ISZERO 000002f7: PUSH2 0x02ff 000002fa: JUMPI 000002fb: PUSH1 0x00 000002fd: DUP1 000002fe: REVERT 000002ff: JUMPDEST 00000300: POP 00000301: PUSH2 0x027c 00000304: PUSH1 0x01 00000306: PUSH1 0xa0 00000308: PUSH1 0x02 0000030a: EXP 0000030b: SUB 0000030c: PUSH1 0x04 0000030e: CALLDATALOAD 0000030f: AND 00000310: PUSH1 0x24 00000312: CALLDATALOAD 00000313: PUSH2 0x0e60 00000316: JUMP 00000317: JUMPDEST 00000318: CALLVALUE 00000319: DUP1 0000031a: ISZERO 0000031b: PUSH2 0x0323 0000031e: JUMPI 0000031f: PUSH1 0x00 00000321: DUP1 00000322: REVERT 00000323: JUMPDEST 00000324: POP 00000325: PUSH2 0x032c 00000328: PUSH2 0x0e7c 0000032b: JUMP 0000032c: JUMPDEST 0000032d: PUSH1 0x40 0000032f: DUP1 00000330: MLOAD 00000331: SWAP2 00000332: ISZERO 00000333: ISZERO 00000334: DUP3 00000335: MSTORE 00000336: MLOAD 00000337: SWAP1 00000338: DUP2 00000339: SWAP1 0000033a: SUB 0000033b: PUSH1 0x20 0000033d: ADD 0000033e: SWAP1 0000033f: RETURN 00000340: JUMPDEST 00000341: CALLVALUE 00000342: DUP1 00000343: ISZERO 00000344: PUSH2 0x034c 00000347: JUMPI 00000348: PUSH1 0x00 0000034a: DUP1 0000034b: REVERT 0000034c: JUMPDEST 0000034d: POP 0000034e: PUSH2 0x0355 00000351: PUSH2 0x0e8c 00000354: JUMP 00000355: JUMPDEST 00000356: PUSH1 0x40 00000358: DUP1 00000359: MLOAD 0000035a: PUSH1 0x01 0000035c: PUSH1 0xa0 0000035e: PUSH1 0x02 00000360: EXP 00000361: SUB 00000362: SWAP1 00000363: SWAP3 00000364: AND 00000365: DUP3 00000366: MSTORE 00000367: MLOAD 00000368: SWAP1 00000369: DUP2 0000036a: SWAP1 0000036b: SUB 0000036c: PUSH1 0x20 0000036e: ADD 0000036f: SWAP1 00000370: RETURN 00000371: JUMPDEST 00000372: CALLVALUE 00000373: DUP1 00000374: ISZERO 00000375: PUSH2 0x037d 00000378: JUMPI 00000379: PUSH1 0x00 0000037b: DUP1 0000037c: REVERT 0000037d: JUMPDEST 0000037e: POP 0000037f: PUSH2 0x032c 00000382: PUSH2 0x0e9b 00000385: JUMP 00000386: JUMPDEST 00000387: CALLVALUE 00000388: DUP1 00000389: ISZERO 0000038a: PUSH2 0x0392 0000038d: JUMPI 0000038e: PUSH1 0x00 00000390: DUP1 00000391: REVERT 00000392: JUMPDEST 00000393: POP 00000394: PUSH2 0x027c 00000397: PUSH2 0x0eda 0000039a: JUMP 0000039b: JUMPDEST 0000039c: CALLVALUE 0000039d: DUP1 0000039e: ISZERO 0000039f: PUSH2 0x03a7 000003a2: JUMPI 000003a3: PUSH1 0x00 000003a5: DUP1 000003a6: REVERT 000003a7: JUMPDEST 000003a8: POP 000003a9: PUSH2 0x02cc 000003ac: PUSH1 0x01 000003ae: PUSH1 0xa0 000003b0: PUSH1 0x02 000003b2: EXP 000003b3: SUB 000003b4: PUSH1 0x04 000003b6: CALLDATALOAD 000003b7: AND 000003b8: PUSH2 0x0f5e 000003bb: JUMP 000003bc: JUMPDEST 000003bd: CALLVALUE 000003be: DUP1 000003bf: ISZERO 000003c0: PUSH2 0x03c8 000003c3: JUMPI 000003c4: PUSH1 0x00 000003c6: DUP1 000003c7: REVERT 000003c8: JUMPDEST 000003c9: POP 000003ca: PUSH2 0x027c 000003cd: PUSH2 0x0f7c 000003d0: JUMP 000003d1: JUMPDEST 000003d2: CALLVALUE 000003d3: DUP1 000003d4: ISZERO 000003d5: PUSH2 0x03dd 000003d8: JUMPI 000003d9: PUSH1 0x00 000003db: DUP1 000003dc: REVERT 000003dd: JUMPDEST 000003de: POP 000003df: PUSH2 0x02cc 000003e2: PUSH2 0x0ffa 000003e5: JUMP 000003e6: JUMPDEST 000003e7: CALLVALUE 000003e8: DUP1 000003e9: ISZERO 000003ea: PUSH2 0x03f2 000003ed: JUMPI 000003ee: PUSH1 0x00 000003f0: DUP1 000003f1: REVERT 000003f2: JUMPDEST 000003f3: POP 000003f4: PUSH2 0x02cc 000003f7: PUSH1 0x01 000003f9: PUSH1 0xa0 000003fb: PUSH1 0x02 000003fd: EXP 000003fe: SUB 000003ff: PUSH1 0x04 00000401: CALLDATALOAD 00000402: AND 00000403: PUSH2 0x1000 00000406: JUMP 00000407: JUMPDEST 00000408: CALLVALUE 00000409: DUP1 0000040a: ISZERO 0000040b: PUSH2 0x0413 0000040e: JUMPI 0000040f: PUSH1 0x00 00000411: DUP1 00000412: REVERT 00000413: JUMPDEST 00000414: POP 00000415: PUSH2 0x0355 00000418: PUSH2 0x1117 0000041b: JUMP 0000041c: JUMPDEST 0000041d: CALLVALUE 0000041e: DUP1 0000041f: ISZERO 00000420: PUSH2 0x0428 00000423: JUMPI 00000424: PUSH1 0x00 00000426: DUP1 00000427: REVERT 00000428: JUMPDEST 00000429: POP 0000042a: PUSH2 0x027c 0000042d: PUSH2 0x1126 00000430: JUMP 00000431: JUMPDEST 00000432: CALLVALUE 00000433: DUP1 00000434: ISZERO 00000435: PUSH2 0x043d 00000438: JUMPI 00000439: PUSH1 0x00 0000043b: DUP1 0000043c: REVERT 0000043d: JUMPDEST 0000043e: POP 0000043f: PUSH2 0x02cc 00000442: PUSH2 0x11ab 00000445: JUMP 00000446: JUMPDEST 00000447: CALLVALUE 00000448: DUP1 00000449: ISZERO 0000044a: PUSH2 0x0452 0000044d: JUMPI 0000044e: PUSH1 0x00 00000450: DUP1 00000451: REVERT 00000452: JUMPDEST 00000453: POP 00000454: PUSH2 0x045b 00000457: PUSH2 0x11b1 0000045a: JUMP 0000045b: JUMPDEST 0000045c: PUSH1 0x40 0000045e: MLOAD 0000045f: DUP1 00000460: DUP3 00000461: PUSH1 0x04 00000463: DUP2 00000464: GT 00000465: ISZERO 00000466: PUSH2 0x046b 00000469: JUMPI 0000046a: INVALID 0000046b: JUMPDEST 0000046c: PUSH1 0xff 0000046e: AND 0000046f: DUP2 00000470: MSTORE 00000471: PUSH1 0x20 00000473: ADD 00000474: SWAP2 00000475: POP 00000476: POP 00000477: PUSH1 0x40 00000479: MLOAD 0000047a: DUP1 0000047b: SWAP2 0000047c: SUB 0000047d: SWAP1 0000047e: RETURN 0000047f: JUMPDEST 00000480: CALLVALUE 00000481: DUP1 00000482: ISZERO 00000483: PUSH2 0x048b 00000486: JUMPI 00000487: PUSH1 0x00 00000489: DUP1 0000048a: REVERT 0000048b: JUMPDEST 0000048c: POP 0000048d: PUSH2 0x027c 00000490: PUSH2 0x11ba 00000493: JUMP 00000494: JUMPDEST 00000495: CALLVALUE 00000496: DUP1 00000497: ISZERO 00000498: PUSH2 0x04a0 0000049b: JUMPI 0000049c: PUSH1 0x00 0000049e: DUP1 0000049f: REVERT 000004a0: JUMPDEST 000004a1: POP 000004a2: PUSH2 0x02cc 000004a5: PUSH2 0x1226 000004a8: JUMP 000004a9: JUMPDEST 000004aa: CALLVALUE 000004ab: DUP1 000004ac: ISZERO 000004ad: PUSH2 0x04b5 000004b0: JUMPI 000004b1: PUSH1 0x00 000004b3: DUP1 000004b4: REVERT 000004b5: JUMPDEST 000004b6: POP 000004b7: PUSH2 0x02cc 000004ba: PUSH1 0x01 000004bc: PUSH1 0xa0 000004be: PUSH1 0x02 000004c0: EXP 000004c1: SUB 000004c2: PUSH1 0x04 000004c4: CALLDATALOAD 000004c5: AND 000004c6: PUSH2 0x122d 000004c9: JUMP 000004ca: JUMPDEST 000004cb: CALLVALUE 000004cc: DUP1 000004cd: ISZERO 000004ce: PUSH2 0x04d6 000004d1: JUMPI 000004d2: PUSH1 0x00 000004d4: DUP1 000004d5: REVERT 000004d6: JUMPDEST 000004d7: POP 000004d8: PUSH2 0x032c 000004db: PUSH2 0x124b 000004de: JUMP 000004df: JUMPDEST 000004e0: CALLVALUE 000004e1: DUP1 000004e2: ISZERO 000004e3: PUSH2 0x04eb 000004e6: JUMPI 000004e7: PUSH1 0x00 000004e9: DUP1 000004ea: REVERT 000004eb: JUMPDEST 000004ec: POP 000004ed: PUSH2 0x02cc 000004f0: PUSH2 0x125b 000004f3: JUMP 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 0x02cc 00000505: PUSH1 0x01 00000507: PUSH1 0xa0 00000509: PUSH1 0x02 0000050b: EXP 0000050c: SUB 0000050d: PUSH1 0x04 0000050f: CALLDATALOAD 00000510: AND 00000511: PUSH2 0x1267 00000514: JUMP 00000515: JUMPDEST 00000516: CALLVALUE 00000517: DUP1 00000518: ISZERO 00000519: PUSH2 0x0521 0000051c: JUMPI 0000051d: PUSH1 0x00 0000051f: DUP1 00000520: REVERT 00000521: JUMPDEST 00000522: POP 00000523: PUSH2 0x027c 00000526: PUSH2 0x1285 00000529: JUMP 0000052a: JUMPDEST 0000052b: CALLVALUE 0000052c: DUP1 0000052d: ISZERO 0000052e: PUSH2 0x0536 00000531: JUMPI 00000532: PUSH1 0x00 00000534: DUP1 00000535: REVERT 00000536: JUMPDEST 00000537: POP 00000538: PUSH2 0x0355 0000053b: PUSH2 0x142f 0000053e: JUMP 0000053f: JUMPDEST 00000540: CALLVALUE 00000541: DUP1 00000542: ISZERO 00000543: PUSH2 0x054b 00000546: JUMPI 00000547: PUSH1 0x00 00000549: DUP1 0000054a: REVERT 0000054b: JUMPDEST 0000054c: POP 0000054d: PUSH2 0x02cc 00000550: PUSH2 0x143e 00000553: JUMP 00000554: JUMPDEST 00000555: CALLVALUE 00000556: DUP1 00000557: ISZERO 00000558: PUSH2 0x0560 0000055b: JUMPI 0000055c: PUSH1 0x00 0000055e: DUP1 0000055f: REVERT 00000560: JUMPDEST 00000561: POP 00000562: PUSH2 0x0355 00000565: PUSH2 0x1444 00000568: JUMP 00000569: JUMPDEST 0000056a: CALLVALUE 0000056b: DUP1 0000056c: ISZERO 0000056d: PUSH2 0x0575 00000570: JUMPI 00000571: PUSH1 0x00 00000573: DUP1 00000574: REVERT 00000575: JUMPDEST 00000576: POP 00000577: PUSH2 0x02cc 0000057a: PUSH2 0x1453 0000057d: JUMP 0000057e: JUMPDEST 0000057f: CALLVALUE 00000580: DUP1 00000581: ISZERO 00000582: PUSH2 0x058a 00000585: JUMPI 00000586: PUSH1 0x00 00000588: DUP1 00000589: REVERT 0000058a: JUMPDEST 0000058b: POP 0000058c: PUSH2 0x027c 0000058f: PUSH1 0x01 00000591: PUSH1 0xa0 00000593: PUSH1 0x02 00000595: EXP 00000596: SUB 00000597: PUSH1 0x04 00000599: CALLDATALOAD 0000059a: AND 0000059b: PUSH2 0x1459 0000059e: JUMP 0000059f: JUMPDEST 000005a0: CALLVALUE 000005a1: DUP1 000005a2: ISZERO 000005a3: PUSH2 0x05ab 000005a6: JUMPI 000005a7: PUSH1 0x00 000005a9: DUP1 000005aa: REVERT 000005ab: JUMPDEST 000005ac: POP 000005ad: PUSH2 0x027c 000005b0: PUSH1 0x04 000005b2: CALLDATALOAD 000005b3: PUSH1 0x24 000005b5: CALLDATALOAD 000005b6: PUSH1 0x01 000005b8: PUSH1 0xa0 000005ba: PUSH1 0x02 000005bc: EXP 000005bd: SUB 000005be: PUSH1 0x44 000005c0: CALLDATALOAD 000005c1: AND 000005c2: PUSH2 0x14b6 000005c5: JUMP 000005c6: JUMPDEST 000005c7: CALLVALUE 000005c8: DUP1 000005c9: ISZERO 000005ca: PUSH2 0x05d2 000005cd: JUMPI 000005ce: PUSH1 0x00 000005d0: DUP1 000005d1: REVERT 000005d2: JUMPDEST 000005d3: POP 000005d4: PUSH2 0x02cc 000005d7: PUSH2 0x15ce 000005da: JUMP 000005db: JUMPDEST 000005dc: CALLVALUE 000005dd: DUP1 000005de: ISZERO 000005df: PUSH2 0x05e7 000005e2: JUMPI 000005e3: PUSH1 0x00 000005e5: DUP1 000005e6: REVERT 000005e7: JUMPDEST 000005e8: POP 000005e9: PUSH2 0x027c 000005ec: PUSH2 0x15d4 000005ef: JUMP 000005f0: JUMPDEST 000005f1: CALLVALUE 000005f2: DUP1 000005f3: ISZERO 000005f4: PUSH2 0x05fc 000005f7: JUMPI 000005f8: PUSH1 0x00 000005fa: DUP1 000005fb: REVERT 000005fc: JUMPDEST 000005fd: POP 000005fe: PUSH2 0x027c 00000601: PUSH1 0x01 00000603: PUSH1 0xa0 00000605: PUSH1 0x02 00000607: EXP 00000608: SUB 00000609: PUSH1 0x04 0000060b: CALLDATALOAD 0000060c: AND 0000060d: PUSH1 0x24 0000060f: CALLDATALOAD 00000610: PUSH2 0x1668 00000613: JUMP 00000614: JUMPDEST 00000615: CALLVALUE 00000616: DUP1 00000617: ISZERO 00000618: PUSH2 0x0620 0000061b: JUMPI 0000061c: PUSH1 0x00 0000061e: DUP1 0000061f: REVERT 00000620: JUMPDEST 00000621: POP 00000622: PUSH2 0x027c 00000625: PUSH1 0x01 00000627: PUSH1 0xa0 00000629: PUSH1 0x02 0000062b: EXP 0000062c: SUB 0000062d: PUSH1 0x04 0000062f: CALLDATALOAD 00000630: AND 00000631: PUSH2 0x16f3 00000634: JUMP 00000635: JUMPDEST 00000636: CALLVALUE 00000637: DUP1 00000638: ISZERO 00000639: PUSH2 0x0641 0000063c: JUMPI 0000063d: PUSH1 0x00 0000063f: DUP1 00000640: REVERT 00000641: JUMPDEST 00000642: POP 00000643: PUSH2 0x02cc 00000646: PUSH2 0x174e 00000649: JUMP 0000064a: JUMPDEST 0000064b: CALLVALUE 0000064c: DUP1 0000064d: ISZERO 0000064e: PUSH2 0x0656 00000651: JUMPI 00000652: PUSH1 0x00 00000654: DUP1 00000655: REVERT 00000656: JUMPDEST 00000657: POP 00000658: PUSH2 0x0355 0000065b: PUSH2 0x1754 0000065e: JUMP 0000065f: JUMPDEST 00000660: PUSH2 0x027c 00000663: PUSH2 0x0e77 00000666: JUMP 00000667: JUMPDEST 00000668: CALLVALUE 00000669: DUP1 0000066a: ISZERO 0000066b: PUSH2 0x0673 0000066e: JUMPI 0000066f: PUSH1 0x00 00000671: DUP1 00000672: REVERT 00000673: JUMPDEST 00000674: POP 00000675: PUSH2 0x0355 00000678: PUSH2 0x1763 0000067b: JUMP 0000067c: JUMPDEST 0000067d: CALLVALUE 0000067e: DUP1 0000067f: ISZERO 00000680: PUSH2 0x0688 00000683: JUMPI 00000684: PUSH1 0x00 00000686: DUP1 00000687: REVERT 00000688: JUMPDEST 00000689: POP 0000068a: PUSH2 0x027c 0000068d: PUSH1 0x04 0000068f: CALLDATALOAD 00000690: PUSH2 0x1772 00000693: JUMP 00000694: JUMPDEST 00000695: CALLVALUE 00000696: DUP1 00000697: ISZERO 00000698: PUSH2 0x06a0 0000069b: JUMPI 0000069c: PUSH1 0x00 0000069e: DUP1 0000069f: REVERT 000006a0: JUMPDEST 000006a1: POP 000006a2: PUSH2 0x027c 000006a5: PUSH1 0x04 000006a7: CALLDATALOAD 000006a8: PUSH1 0x01 000006aa: PUSH1 0xa0 000006ac: PUSH1 0x02 000006ae: EXP 000006af: SUB 000006b0: PUSH1 0x24 000006b2: CALLDATALOAD 000006b3: AND 000006b4: PUSH2 0x185a 000006b7: JUMP 000006b8: JUMPDEST 000006b9: CALLVALUE 000006ba: DUP1 000006bb: ISZERO 000006bc: PUSH2 0x06c4 000006bf: JUMPI 000006c0: PUSH1 0x00 000006c2: DUP1 000006c3: REVERT 000006c4: JUMPDEST 000006c5: POP 000006c6: PUSH2 0x02cc 000006c9: PUSH2 0x1896 000006cc: JUMP 000006cd: JUMPDEST 000006ce: CALLVALUE 000006cf: DUP1 000006d0: ISZERO 000006d1: PUSH2 0x06d9 000006d4: JUMPI 000006d5: PUSH1 0x00 000006d7: DUP1 000006d8: REVERT 000006d9: JUMPDEST 000006da: POP 000006db: PUSH2 0x02cc 000006de: PUSH1 0x01 000006e0: PUSH1 0xa0 000006e2: PUSH1 0x02 000006e4: EXP 000006e5: SUB 000006e6: PUSH1 0x04 000006e8: CALLDATALOAD 000006e9: AND 000006ea: PUSH2 0x189c 000006ed: JUMP 000006ee: JUMPDEST 000006ef: CALLVALUE 000006f0: DUP1 000006f1: ISZERO 000006f2: PUSH2 0x06fa 000006f5: JUMPI 000006f6: PUSH1 0x00 000006f8: DUP1 000006f9: REVERT 000006fa: JUMPDEST 000006fb: POP 000006fc: PUSH2 0x02cc 000006ff: PUSH2 0x18bf 00000702: JUMP 00000703: JUMPDEST 00000704: CALLVALUE 00000705: DUP1 00000706: ISZERO 00000707: PUSH2 0x070f 0000070a: JUMPI 0000070b: PUSH1 0x00 0000070d: DUP1 0000070e: REVERT 0000070f: JUMPDEST 00000710: POP 00000711: PUSH2 0x032c 00000714: PUSH2 0x18c5 00000717: JUMP 00000718: JUMPDEST 00000719: CALLVALUE 0000071a: DUP1 0000071b: ISZERO 0000071c: PUSH2 0x0724 0000071f: JUMPI 00000720: PUSH1 0x00 00000722: DUP1 00000723: REVERT 00000724: JUMPDEST 00000725: POP 00000726: PUSH2 0x027c 00000729: PUSH1 0x01 0000072b: PUSH1 0xa0 0000072d: PUSH1 0x02 0000072f: EXP 00000730: SUB 00000731: PUSH1 0x04 00000733: CALLDATALOAD 00000734: AND 00000735: PUSH2 0x18ee 00000738: JUMP 00000739: JUMPDEST 0000073a: CALLVALUE 0000073b: DUP1 0000073c: ISZERO 0000073d: PUSH2 0x0745 00000740: JUMPI 00000741: PUSH1 0x00 00000743: DUP1 00000744: REVERT 00000745: JUMPDEST 00000746: POP 00000747: PUSH2 0x032c 0000074a: PUSH2 0x190e 0000074d: JUMP 0000074e: JUMPDEST 0000074f: CALLVALUE 00000750: DUP1 00000751: ISZERO 00000752: PUSH2 0x075a 00000755: JUMPI 00000756: PUSH1 0x00 00000758: DUP1 00000759: REVERT 0000075a: JUMPDEST 0000075b: POP 0000075c: PUSH2 0x0355 0000075f: PUSH2 0x193e 00000762: JUMP 00000763: JUMPDEST 00000764: CALLVALUE 00000765: DUP1 00000766: ISZERO 00000767: PUSH2 0x076f 0000076a: JUMPI 0000076b: PUSH1 0x00 0000076d: DUP1 0000076e: REVERT 0000076f: JUMPDEST 00000770: POP 00000771: PUSH2 0x02cc 00000774: PUSH2 0x194d 00000777: JUMP 00000778: JUMPDEST 00000779: PUSH1 0x00 0000077b: DUP1 0000077c: PUSH1 0x00 0000077e: DUP1 0000077f: PUSH1 0x00 00000781: DUP1 00000782: PUSH1 0x00 00000784: DUP1 00000785: PUSH1 0x01 00000787: PUSH1 0x14 00000789: SWAP1 0000078a: SLOAD 0000078b: SWAP1 0000078c: PUSH2 0x0100 0000078f: EXP 00000790: SWAP1 00000791: DIV 00000792: PUSH1 0xff 00000794: AND 00000795: ISZERO 00000796: ISZERO 00000797: PUSH2 0x079f 0000079a: JUMPI 0000079b: PUSH1 0x00 0000079d: DUP1 0000079e: REVERT 0000079f: JUMPDEST 000007a0: PUSH1 0x01 000007a2: SLOAD 000007a3: PUSH1 0xa8 000007a5: PUSH1 0x02 000007a7: EXP 000007a8: SWAP1 000007a9: DIV 000007aa: PUSH1 0xff 000007ac: AND 000007ad: ISZERO 000007ae: PUSH2 0x07b6 000007b1: JUMPI 000007b2: PUSH1 0x00 000007b4: DUP1 000007b5: REVERT 000007b6: JUMPDEST 000007b7: PUSH2 0x07be 000007ba: PUSH2 0x0e9b 000007bd: JUMP 000007be: JUMPDEST 000007bf: ISZERO 000007c0: ISZERO 000007c1: PUSH2 0x07c9 000007c4: JUMPI 000007c5: PUSH1 0x00 000007c7: DUP1 000007c8: REVERT 000007c9: JUMPDEST 000007ca: PUSH1 0x0b 000007cc: SLOAD 000007cd: PUSH1 0x40 000007cf: DUP1 000007d0: MLOAD 000007d1: PUSH32 0x673448dd00000000000000000000000000000000000000000000000000000000 000007f2: DUP2 000007f3: MSTORE 000007f4: PUSH1 0x01 000007f6: PUSH1 0xa0 000007f8: PUSH1 0x02 000007fa: EXP 000007fb: SUB 000007fc: DUP13 000007fd: DUP2 000007fe: AND 000007ff: PUSH1 0x04 00000801: DUP4 00000802: ADD 00000803: MSTORE 00000804: SWAP2 00000805: MLOAD 00000806: SWAP2 00000807: SWAP1 00000808: SWAP3 00000809: AND 0000080a: SWAP2 0000080b: PUSH4 0x673448dd 00000810: SWAP2 00000811: PUSH1 0x24 00000813: DUP1 00000814: DUP4 00000815: ADD 00000816: SWAP3 00000817: PUSH1 0x20 00000819: SWAP3 0000081a: SWAP2 0000081b: SWAP1 0000081c: DUP3 0000081d: SWAP1 0000081e: SUB 0000081f: ADD 00000820: DUP2 00000821: PUSH1 0x00 00000823: DUP8 00000824: DUP1 00000825: EXTCODESIZE 00000826: ISZERO 00000827: DUP1 00000828: ISZERO 00000829: PUSH2 0x0831 0000082c: JUMPI 0000082d: PUSH1 0x00 0000082f: DUP1 00000830: REVERT 00000831: JUMPDEST 00000832: POP 00000833: GAS 00000834: CALL 00000835: ISZERO 00000836: DUP1 00000837: ISZERO 00000838: PUSH2 0x0845 0000083b: JUMPI 0000083c: RETURNDATASIZE 0000083d: PUSH1 0x00 0000083f: DUP1 00000840: RETURNDATACOPY 00000841: RETURNDATASIZE 00000842: PUSH1 0x00 00000844: REVERT 00000845: JUMPDEST 00000846: POP 00000847: POP 00000848: POP 00000849: POP 0000084a: PUSH1 0x40 0000084c: MLOAD 0000084d: RETURNDATASIZE 0000084e: PUSH1 0x20 00000850: DUP2 00000851: LT 00000852: ISZERO 00000853: PUSH2 0x085b 00000856: JUMPI 00000857: PUSH1 0x00 00000859: DUP1 0000085a: REVERT 0000085b: JUMPDEST 0000085c: POP 0000085d: MLOAD 0000085e: ISZERO 0000085f: ISZERO 00000860: PUSH2 0x0868 00000863: JUMPI 00000864: PUSH1 0x00 00000866: DUP1 00000867: REVERT 00000868: JUMPDEST 00000869: PUSH1 0x11 0000086b: SLOAD 0000086c: PUSH2 0x0894 0000086f: SWAP1 00000870: PUSH2 0x0887 00000873: SWAP1 00000874: PUSH8 0x0de0b6b3a7640000 0000087d: PUSH4 0xffffffff 00000882: PUSH2 0x1953 00000885: AND 00000886: JUMP 00000887: JUMPDEST 00000888: DUP12 00000889: SWAP1 0000088a: PUSH4 0xffffffff 0000088f: PUSH2 0x1968 00000892: AND 00000893: JUMP 00000894: JUMPDEST 00000895: PUSH1 0x02 00000897: SLOAD 00000898: SWAP1 00000899: SWAP8 0000089a: POP 0000089b: PUSH2 0x08aa 0000089e: SWAP1 0000089f: DUP9 000008a0: PUSH4 0xffffffff 000008a5: PUSH2 0x0d3c 000008a8: AND 000008a9: JUMP 000008aa: JUMPDEST 000008ab: PUSH1 0x05 000008ad: SLOAD 000008ae: LT 000008af: ISZERO 000008b0: PUSH2 0x0974 000008b3: JUMPI 000008b4: PUSH1 0x11 000008b6: SLOAD 000008b7: PUSH2 0x0905 000008ba: SWAP1 000008bb: PUSH2 0x08d2 000008be: SWAP1 000008bf: PUSH8 0x0de0b6b3a7640000 000008c8: PUSH4 0xffffffff 000008cd: PUSH2 0x1953 000008d0: AND 000008d1: JUMP 000008d2: JUMPDEST 000008d3: PUSH2 0x08f9 000008d6: PUSH1 0x05 000008d8: SLOAD 000008d9: PUSH2 0x08ed 000008dc: PUSH1 0x02 000008de: SLOAD 000008df: DUP13 000008e0: PUSH2 0x0d3c 000008e3: SWAP1 000008e4: SWAP2 000008e5: SWAP1 000008e6: PUSH4 0xffffffff 000008eb: AND 000008ec: JUMP 000008ed: JUMPDEST 000008ee: SWAP1 000008ef: PUSH4 0xffffffff 000008f4: PUSH2 0x1991 000008f7: AND 000008f8: JUMP 000008f9: JUMPDEST 000008fa: SWAP1 000008fb: PUSH4 0xffffffff 00000900: PUSH2 0x1953 00000903: AND 00000904: JUMP 00000905: JUMPDEST 00000906: PUSH1 0x40 00000908: MLOAD 00000909: SWAP1 0000090a: SWAP7 0000090b: POP 0000090c: PUSH1 0x01 0000090e: PUSH1 0xa0 00000910: PUSH1 0x02 00000912: EXP 00000913: SUB 00000914: DUP11 00000915: AND 00000916: SWAP1 00000917: DUP8 00000918: ISZERO 00000919: PUSH2 0x08fc 0000091c: MUL 0000091d: SWAP1 0000091e: DUP9 0000091f: SWAP1 00000920: PUSH1 0x00 00000922: DUP2 00000923: DUP2 00000924: DUP2 00000925: DUP6 00000926: DUP9 00000927: DUP9 00000928: CALL 00000929: SWAP4 0000092a: POP 0000092b: POP 0000092c: POP 0000092d: POP 0000092e: ISZERO 0000092f: DUP1 00000930: ISZERO 00000931: PUSH2 0x093e 00000934: JUMPI 00000935: RETURNDATASIZE 00000936: PUSH1 0x00 00000938: DUP1 00000939: RETURNDATACOPY 0000093a: RETURNDATASIZE 0000093b: PUSH1 0x00 0000093d: REVERT 0000093e: JUMPDEST 0000093f: POP 00000940: PUSH2 0x094f 00000943: DUP11 00000944: DUP8 00000945: PUSH4 0xffffffff 0000094a: PUSH2 0x1991 0000094d: AND 0000094e: JUMP 0000094f: JUMPDEST 00000950: SWAP10 00000951: POP 00000952: PUSH2 0x0971 00000955: PUSH2 0x0887 00000958: PUSH8 0x0de0b6b3a7640000 00000961: PUSH1 0x11 00000963: SLOAD 00000964: PUSH2 0x1953 00000967: SWAP1 00000968: SWAP2 00000969: SWAP1 0000096a: PUSH4 0xffffffff 0000096f: AND 00000970: JUMP 00000971: JUMPDEST 00000972: SWAP7 00000973: POP 00000974: JUMPDEST 00000975: PUSH1 0x00 00000977: SWAP4 00000978: POP 00000979: JUMPDEST 0000097a: PUSH1 0x05 0000097c: DUP5 0000097d: PUSH1 0xff 0000097f: AND 00000980: LT 00000981: DUP1 00000982: ISZERO 00000983: PUSH2 0x098a 00000986: JUMPI 00000987: POP 00000988: DUP5 00000989: ISZERO 0000098a: JUMPDEST 0000098b: ISZERO 0000098c: PUSH2 0x0a62 0000098f: JUMPI 00000990: PUSH1 0x13 00000992: PUSH1 0xff 00000994: DUP6 00000995: AND 00000996: PUSH1 0x05 00000998: DUP2 00000999: LT 0000099a: PUSH2 0x099f 0000099d: JUMPI 0000099e: INVALID 0000099f: JUMPDEST 000009a0: ADD 000009a1: SLOAD 000009a2: PUSH1 0x02 000009a4: SLOAD 000009a5: LT 000009a6: DUP1 000009a7: ISZERO 000009a8: PUSH2 0x09d4 000009ab: JUMPI 000009ac: POP 000009ad: PUSH1 0x02 000009af: SLOAD 000009b0: PUSH2 0x09bf 000009b3: SWAP1 000009b4: DUP9 000009b5: PUSH4 0xffffffff 000009ba: PUSH2 0x0d3c 000009bd: AND 000009be: JUMP 000009bf: JUMPDEST 000009c0: PUSH1 0x13 000009c2: PUSH1 0xff 000009c4: DUP7 000009c5: AND 000009c6: PUSH1 0x05 000009c8: DUP2 000009c9: LT 000009ca: PUSH2 0x09cf 000009cd: JUMPI 000009ce: INVALID 000009cf: JUMPDEST 000009d0: ADD 000009d1: SLOAD 000009d2: GT 000009d3: ISZERO 000009d4: JUMPDEST 000009d5: ISZERO 000009d6: PUSH2 0x0a57 000009d9: JUMPI 000009da: PUSH1 0x11 000009dc: SLOAD 000009dd: PUSH2 0x0a1d 000009e0: SWAP1 000009e1: PUSH2 0x09f8 000009e4: SWAP1 000009e5: PUSH8 0x0de0b6b3a7640000 000009ee: PUSH4 0xffffffff 000009f3: PUSH2 0x1953 000009f6: AND 000009f7: JUMP 000009f8: JUMPDEST 000009f9: PUSH1 0x02 000009fb: SLOAD 000009fc: PUSH2 0x08f9 000009ff: SWAP1 00000a00: PUSH1 0x13 00000a02: PUSH1 0xff 00000a04: DUP10 00000a05: AND 00000a06: PUSH1 0x05 00000a08: DUP2 00000a09: LT 00000a0a: PUSH2 0x0a0f 00000a0d: JUMPI 00000a0e: INVALID 00000a0f: JUMPDEST 00000a10: ADD 00000a11: SLOAD 00000a12: SWAP1 00000a13: PUSH4 0xffffffff 00000a18: PUSH2 0x1991 00000a1b: AND 00000a1c: JUMP 00000a1d: JUMPDEST 00000a1e: SWAP3 00000a1f: POP 00000a20: PUSH2 0x0a2f 00000a23: DUP11 00000a24: DUP5 00000a25: PUSH4 0xffffffff 00000a2a: PUSH2 0x1991 00000a2d: AND 00000a2e: JUMP 00000a2f: JUMPDEST 00000a30: SWAP5 00000a31: POP 00000a32: DUP3 00000a33: SWAP10 00000a34: POP 00000a35: PUSH2 0x0a54 00000a38: PUSH2 0x0887 00000a3b: PUSH8 0x0de0b6b3a7640000 00000a44: PUSH1 0x11 00000a46: SLOAD 00000a47: PUSH2 0x1953 00000a4a: SWAP1 00000a4b: SWAP2 00000a4c: SWAP1 00000a4d: PUSH4 0xffffffff 00000a52: AND 00000a53: JUMP 00000a54: JUMPDEST 00000a55: SWAP7 00000a56: POP 00000a57: JUMPDEST 00000a58: DUP4 00000a59: PUSH1 0x01 00000a5b: ADD 00000a5c: SWAP4 00000a5d: POP 00000a5e: PUSH2 0x0979 00000a61: JUMP 00000a62: JUMPDEST 00000a63: PUSH2 0x0a85 00000a66: PUSH2 0x0a6d 00000a69: PUSH2 0x19a3 00000a6c: JUMP 00000a6d: JUMPDEST 00000a6e: PUSH2 0x08f9 00000a71: DUP13 00000a72: PUSH8 0x0de0b6b3a7640000 00000a7b: PUSH4 0xffffffff 00000a80: PUSH2 0x1968 00000a83: AND 00000a84: JUMP 00000a85: JUMPDEST 00000a86: PUSH1 0x01 00000a88: PUSH1 0xa0 00000a8a: PUSH1 0x02 00000a8c: EXP 00000a8d: SUB 00000a8e: DUP11 00000a8f: AND 00000a90: PUSH1 0x00 00000a92: SWAP1 00000a93: DUP2 00000a94: MSTORE 00000a95: PUSH1 0x19 00000a97: PUSH1 0x20 00000a99: MSTORE 00000a9a: PUSH1 0x40 00000a9c: SWAP1 00000a9d: KECCAK256 00000a9e: PUSH1 0x01 00000aa0: ADD 00000aa1: SLOAD 00000aa2: SWAP1 00000aa3: SWAP3 00000aa4: POP 00000aa5: PUSH2 0x0ab4 00000aa8: SWAP1 00000aa9: DUP4 00000aaa: PUSH4 0xffffffff 00000aaf: PUSH2 0x0d3c 00000ab2: AND 00000ab3: JUMP 00000ab4: JUMPDEST 00000ab5: PUSH1 0x01 00000ab7: PUSH1 0xa0 00000ab9: PUSH1 0x02 00000abb: EXP 00000abc: SUB 00000abd: DUP1 00000abe: DUP12 00000abf: AND 00000ac0: PUSH1 0x00 00000ac2: DUP2 00000ac3: DUP2 00000ac4: MSTORE 00000ac5: PUSH1 0x19 00000ac7: PUSH1 0x20 00000ac9: MSTORE 00000aca: PUSH1 0x40 00000acc: DUP1 00000acd: DUP3 00000ace: KECCAK256 00000acf: PUSH1 0x01 00000ad1: ADD 00000ad2: SWAP5 00000ad3: SWAP1 00000ad4: SWAP5 00000ad5: SSTORE 00000ad6: PUSH1 0x0a 00000ad8: SLOAD 00000ad9: DUP5 00000ada: MLOAD 00000adb: PUSH1 0xe0 00000add: PUSH1 0x02 00000adf: EXP 00000ae0: PUSH4 0xf00388f7 00000ae5: MUL 00000ae6: DUP2 00000ae7: MSTORE 00000ae8: PUSH1 0x04 00000aea: DUP2 00000aeb: ADD 00000aec: SWAP4 00000aed: SWAP1 00000aee: SWAP4 00000aef: MSTORE 00000af0: PUSH1 0x24 00000af2: DUP4 00000af3: ADD 00000af4: DUP8 00000af5: SWAP1 00000af6: MSTORE 00000af7: SWAP4 00000af8: MLOAD 00000af9: SWAP4 00000afa: SWAP1 00000afb: SWAP3 00000afc: AND 00000afd: SWAP3 00000afe: PUSH4 0xf00388f7 00000b03: SWAP3 00000b04: PUSH1 0x44 00000b06: DUP1 00000b07: DUP5 00000b08: ADD 00000b09: SWAP4 00000b0a: SWAP2 00000b0b: SWAP3 00000b0c: SWAP2 00000b0d: DUP3 00000b0e: SWAP1 00000b0f: SUB 00000b10: ADD 00000b11: DUP2 00000b12: DUP4 00000b13: DUP8 00000b14: DUP1 00000b15: EXTCODESIZE 00000b16: ISZERO 00000b17: DUP1 00000b18: ISZERO 00000b19: PUSH2 0x0b21 00000b1c: JUMPI 00000b1d: PUSH1 0x00 00000b1f: DUP1 00000b20: REVERT 00000b21: JUMPDEST 00000b22: POP 00000b23: GAS 00000b24: CALL 00000b25: ISZERO 00000b26: DUP1 00000b27: ISZERO 00000b28: PUSH2 0x0b35 00000b2b: JUMPI 00000b2c: RETURNDATASIZE 00000b2d: PUSH1 0x00 00000b2f: DUP1 00000b30: RETURNDATACOPY 00000b31: RETURNDATASIZE 00000b32: PUSH1 0x00 00000b34: REVERT 00000b35: JUMPDEST 00000b36: POP 00000b37: POP 00000b38: POP 00000b39: POP 00000b3a: PUSH1 0x00 00000b3c: SWAP1 00000b3d: POP 00000b3e: PUSH1 0x00 00000b40: SWAP4 00000b41: POP 00000b42: JUMPDEST 00000b43: PUSH1 0x05 00000b45: DUP5 00000b46: PUSH1 0xff 00000b48: AND 00000b49: LT 00000b4a: DUP1 00000b4b: ISZERO 00000b4c: PUSH2 0x0b53 00000b4f: JUMPI 00000b50: POP 00000b51: DUP1 00000b52: ISZERO 00000b53: JUMPDEST 00000b54: ISZERO 00000b55: PUSH2 0x0bc4 00000b58: JUMPI 00000b59: PUSH1 0x13 00000b5b: PUSH1 0xff 00000b5d: DUP6 00000b5e: AND 00000b5f: PUSH1 0x05 00000b61: DUP2 00000b62: LT 00000b63: PUSH2 0x0b68 00000b66: JUMPI 00000b67: INVALID 00000b68: JUMPDEST 00000b69: ADD 00000b6a: SLOAD 00000b6b: PUSH1 0x02 00000b6d: SLOAD 00000b6e: PUSH2 0x0b7d 00000b71: SWAP1 00000b72: DUP10 00000b73: PUSH4 0xffffffff 00000b78: PUSH2 0x0d3c 00000b7b: AND 00000b7c: JUMP 00000b7d: JUMPDEST 00000b7e: GT 00000b7f: PUSH2 0x0bb9 00000b82: JUMPI 00000b83: PUSH2 0x0bb6 00000b86: PUSH1 0x64 00000b88: PUSH2 0x08f9 00000b8b: PUSH1 0x18 00000b8d: PUSH1 0xff 00000b8f: DUP9 00000b90: AND 00000b91: PUSH1 0x06 00000b93: DUP2 00000b94: LT 00000b95: PUSH2 0x0b9a 00000b98: JUMPI 00000b99: INVALID 00000b9a: JUMPDEST 00000b9b: PUSH1 0x20 00000b9d: DUP2 00000b9e: DIV 00000b9f: SWAP2 00000ba0: SWAP1 00000ba1: SWAP2 00000ba2: ADD 00000ba3: SLOAD 00000ba4: DUP7 00000ba5: SWAP2 00000ba6: PUSH1 0x1f 00000ba8: AND 00000ba9: PUSH2 0x0100 00000bac: EXP 00000bad: SWAP1 00000bae: DIV 00000baf: PUSH1 0xff 00000bb1: AND 00000bb2: PUSH2 0x1968 00000bb5: JUMP 00000bb6: JUMPDEST 00000bb7: SWAP1 00000bb8: POP 00000bb9: JUMPDEST 00000bba: DUP4 00000bbb: PUSH1 0x01 00000bbd: ADD 00000bbe: SWAP4 00000bbf: POP 00000bc0: PUSH2 0x0b42 00000bc3: JUMP 00000bc4: JUMPDEST 00000bc5: PUSH1 0x00 00000bc7: DUP2 00000bc8: GT 00000bc9: ISZERO 00000bca: PUSH2 0x0c79 00000bcd: JUMPI 00000bce: PUSH1 0x01 00000bd0: PUSH1 0xa0 00000bd2: PUSH1 0x02 00000bd4: EXP 00000bd5: SUB 00000bd6: DUP10 00000bd7: AND 00000bd8: PUSH1 0x00 00000bda: SWAP1 00000bdb: DUP2 00000bdc: MSTORE 00000bdd: PUSH1 0x19 00000bdf: PUSH1 0x20 00000be1: MSTORE 00000be2: PUSH1 0x40 00000be4: SWAP1 00000be5: KECCAK256 00000be6: PUSH1 0x02 00000be8: ADD 00000be9: SLOAD 00000bea: PUSH2 0x0bf9 00000bed: SWAP1 00000bee: DUP3 00000bef: PUSH4 0xffffffff 00000bf4: PUSH2 0x0d3c 00000bf7: AND 00000bf8: JUMP 00000bf9: JUMPDEST 00000bfa: PUSH1 0x01 00000bfc: PUSH1 0xa0 00000bfe: PUSH1 0x02 00000c00: EXP 00000c01: SUB 00000c02: DUP1 00000c03: DUP12 00000c04: AND 00000c05: PUSH1 0x00 00000c07: SWAP1 00000c08: DUP2 00000c09: MSTORE 00000c0a: PUSH1 0x19 00000c0c: PUSH1 0x20 00000c0e: MSTORE 00000c0f: PUSH1 0x40 00000c11: DUP1 00000c12: DUP3 00000c13: KECCAK256 00000c14: PUSH1 0x02 00000c16: ADD 00000c17: SWAP4 00000c18: SWAP1 00000c19: SWAP4 00000c1a: SSTORE 00000c1b: PUSH1 0x0a 00000c1d: SLOAD 00000c1e: DUP4 00000c1f: MLOAD 00000c20: PUSH1 0xe0 00000c22: PUSH1 0x02 00000c24: EXP 00000c25: PUSH4 0xf00388f7 00000c2a: MUL 00000c2b: DUP2 00000c2c: MSTORE 00000c2d: ADDRESS 00000c2e: PUSH1 0x04 00000c30: DUP3 00000c31: ADD 00000c32: MSTORE 00000c33: PUSH1 0x24 00000c35: DUP2 00000c36: ADD 00000c37: DUP7 00000c38: SWAP1 00000c39: MSTORE 00000c3a: SWAP4 00000c3b: MLOAD 00000c3c: SWAP3 00000c3d: AND 00000c3e: SWAP3 00000c3f: PUSH4 0xf00388f7 00000c44: SWAP3 00000c45: PUSH1 0x44 00000c47: DUP1 00000c48: DUP4 00000c49: ADD 00000c4a: SWAP4 00000c4b: SWAP3 00000c4c: DUP3 00000c4d: SWAP1 00000c4e: SUB 00000c4f: ADD 00000c50: DUP2 00000c51: DUP4 00000c52: DUP8 00000c53: DUP1 00000c54: EXTCODESIZE 00000c55: ISZERO 00000c56: DUP1 00000c57: ISZERO 00000c58: PUSH2 0x0c60 00000c5b: JUMPI 00000c5c: PUSH1 0x00 00000c5e: DUP1 00000c5f: REVERT 00000c60: JUMPDEST 00000c61: POP 00000c62: GAS 00000c63: CALL 00000c64: ISZERO 00000c65: DUP1 00000c66: ISZERO 00000c67: PUSH2 0x0c74 00000c6a: JUMPI 00000c6b: RETURNDATASIZE 00000c6c: PUSH1 0x00 00000c6e: DUP1 00000c6f: RETURNDATACOPY 00000c70: RETURNDATASIZE 00000c71: PUSH1 0x00 00000c73: REVERT 00000c74: JUMPDEST 00000c75: POP 00000c76: POP 00000c77: POP 00000c78: POP 00000c79: JUMPDEST 00000c7a: PUSH1 0x02 00000c7c: SLOAD 00000c7d: PUSH2 0x0c8c 00000c80: SWAP1 00000c81: DUP9 00000c82: PUSH4 0xffffffff 00000c87: PUSH2 0x0d3c 00000c8a: AND 00000c8b: JUMP 00000c8c: JUMPDEST 00000c8d: PUSH1 0x02 00000c8f: SSTORE 00000c90: PUSH1 0x01 00000c92: PUSH1 0xa0 00000c94: PUSH1 0x02 00000c96: EXP 00000c97: SUB 00000c98: DUP10 00000c99: AND 00000c9a: PUSH1 0x00 00000c9c: SWAP1 00000c9d: DUP2 00000c9e: MSTORE 00000c9f: PUSH1 0x19 00000ca1: PUSH1 0x20 00000ca3: MSTORE 00000ca4: PUSH1 0x40 00000ca6: SWAP1 00000ca7: KECCAK256 00000ca8: SLOAD 00000ca9: PUSH2 0x0cb8 00000cac: SWAP1 00000cad: DUP12 00000cae: PUSH4 0xffffffff 00000cb3: PUSH2 0x0d3c 00000cb6: AND 00000cb7: JUMP 00000cb8: JUMPDEST 00000cb9: PUSH1 0x01 00000cbb: PUSH1 0xa0 00000cbd: PUSH1 0x02 00000cbf: EXP 00000cc0: SUB 00000cc1: DUP11 00000cc2: AND 00000cc3: PUSH1 0x00 00000cc5: SWAP1 00000cc6: DUP2 00000cc7: MSTORE 00000cc8: PUSH1 0x19 00000cca: PUSH1 0x20 00000ccc: MSTORE 00000ccd: PUSH1 0x40 00000ccf: SWAP1 00000cd0: KECCAK256 00000cd1: SSTORE 00000cd2: PUSH1 0x0d 00000cd4: SLOAD 00000cd5: PUSH2 0x0cf6 00000cd8: SWAP1 00000cd9: DUP3 00000cda: SWAP1 00000cdb: PUSH2 0x0cea 00000cde: SWAP1 00000cdf: DUP6 00000ce0: PUSH4 0xffffffff 00000ce5: PUSH2 0x0d3c 00000ce8: AND 00000ce9: JUMP 00000cea: JUMPDEST 00000ceb: SWAP1 00000cec: PUSH4 0xffffffff 00000cf1: PUSH2 0x0d3c 00000cf4: AND 00000cf5: JUMP 00000cf6: JUMPDEST 00000cf7: PUSH1 0x0d 00000cf9: SSTORE 00000cfa: PUSH2 0x0d01 00000cfd: PUSH2 0x19c8 00000d00: JUMP 00000d01: JUMPDEST 00000d02: PUSH1 0x00 00000d04: DUP6 00000d05: GT 00000d06: ISZERO 00000d07: PUSH2 0x0d2b 00000d0a: JUMPI 00000d0b: PUSH2 0x0d24 00000d0e: PUSH2 0x0d17 00000d11: DUP7 00000d12: DUP12 00000d13: PUSH2 0x0778 00000d16: JUMP 00000d17: JUMPDEST 00000d18: DUP12 00000d19: SWAP1 00000d1a: PUSH4 0xffffffff 00000d1f: PUSH2 0x0d3c 00000d22: AND 00000d23: JUMP 00000d24: JUMPDEST 00000d25: SWAP8 00000d26: POP 00000d27: PUSH2 0x0d2f 00000d2a: JUMP 00000d2b: JUMPDEST 00000d2c: DUP10 00000d2d: SWAP8 00000d2e: POP 00000d2f: JUMPDEST 00000d30: POP 00000d31: POP 00000d32: POP 00000d33: POP 00000d34: POP 00000d35: POP 00000d36: POP 00000d37: SWAP3 00000d38: SWAP2 00000d39: POP 00000d3a: POP 00000d3b: JUMP 00000d3c: JUMPDEST 00000d3d: DUP2 00000d3e: DUP2 00000d3f: ADD 00000d40: DUP3 00000d41: DUP2 00000d42: LT 00000d43: ISZERO 00000d44: PUSH2 0x0d49 00000d47: JUMPI 00000d48: INVALID 00000d49: JUMPDEST 00000d4a: SWAP3 00000d4b: SWAP2 00000d4c: POP 00000d4d: POP 00000d4e: JUMP 00000d4f: JUMPDEST 00000d50: PUSH1 0x01 00000d52: SLOAD 00000d53: PUSH1 0x01 00000d55: PUSH1 0xa0 00000d57: PUSH1 0x02 00000d59: EXP 00000d5a: SUB 00000d5b: AND 00000d5c: CALLER 00000d5d: EQ 00000d5e: PUSH2 0x0d66 00000d61: JUMPI 00000d62: PUSH1 0x00 00000d64: DUP1 00000d65: REVERT 00000d66: JUMPDEST 00000d67: PUSH1 0x01 00000d69: SLOAD 00000d6a: PUSH1 0xa8 00000d6c: PUSH1 0x02 00000d6e: EXP 00000d6f: SWAP1 00000d70: DIV 00000d71: PUSH1 0xff 00000d73: AND 00000d74: ISZERO 00000d75: PUSH2 0x0d7d 00000d78: JUMPI 00000d79: PUSH1 0x00 00000d7b: DUP1 00000d7c: REVERT 00000d7d: JUMPDEST 00000d7e: PUSH1 0x01 00000d80: SLOAD 00000d81: PUSH1 0xa0 00000d83: PUSH1 0x02 00000d85: EXP 00000d86: SWAP1 00000d87: DIV 00000d88: PUSH1 0xff 00000d8a: AND 00000d8b: ISZERO 00000d8c: PUSH2 0x0db3 00000d8f: JUMPI 00000d90: PUSH2 0x0d97 00000d93: PUSH2 0x190e 00000d96: JUMP 00000d97: JUMPDEST 00000d98: ISZERO 00000d99: PUSH2 0x0da1 00000d9c: JUMPI 00000d9d: PUSH1 0x00 00000d9f: DUP1 00000da0: REVERT 00000da1: JUMPDEST 00000da2: PUSH2 0x0da9 00000da5: PUSH2 0x18c5 00000da8: JUMP 00000da9: JUMPDEST 00000daa: ISZERO 00000dab: PUSH2 0x0db3 00000dae: JUMPI 00000daf: PUSH1 0x00 00000db1: DUP1 00000db2: REVERT 00000db3: JUMPDEST 00000db4: PUSH1 0x01 00000db6: DUP1 00000db7: SLOAD 00000db8: PUSH22 0xff000000000000000000000000000000000000000000 00000dcf: NOT 00000dd0: AND 00000dd1: PUSH1 0xa8 00000dd3: PUSH1 0x02 00000dd5: EXP 00000dd6: OR 00000dd7: SWAP1 00000dd8: SSTORE 00000dd9: JUMP 00000dda: JUMPDEST 00000ddb: PUSH1 0x01 00000ddd: SLOAD 00000dde: PUSH1 0x01 00000de0: PUSH1 0xa0 00000de2: PUSH1 0x02 00000de4: EXP 00000de5: SUB 00000de6: AND 00000de7: CALLER 00000de8: EQ 00000de9: PUSH2 0x0df1 00000dec: JUMPI 00000ded: PUSH1 0x00 00000def: DUP1 00000df0: REVERT 00000df1: JUMPDEST 00000df2: PUSH1 0x01 00000df4: SLOAD 00000df5: PUSH1 0xa8 00000df7: PUSH1 0x02 00000df9: EXP 00000dfa: SWAP1 00000dfb: DIV 00000dfc: PUSH1 0xff 00000dfe: AND 00000dff: ISZERO 00000e00: PUSH2 0x0e08 00000e03: JUMPI 00000e04: PUSH1 0x00 00000e06: DUP1 00000e07: REVERT 00000e08: JUMPDEST 00000e09: PUSH1 0x0c 00000e0b: DUP1 00000e0c: SLOAD 00000e0d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e22: NOT 00000e23: AND 00000e24: PUSH1 0x01 00000e26: PUSH1 0xa0 00000e28: PUSH1 0x02 00000e2a: EXP 00000e2b: SUB 00000e2c: SWAP3 00000e2d: SWAP1 00000e2e: SWAP3 00000e2f: AND 00000e30: SWAP2 00000e31: SWAP1 00000e32: SWAP2 00000e33: OR 00000e34: SWAP1 00000e35: SSTORE 00000e36: JUMP 00000e37: JUMPDEST 00000e38: PUSH1 0x01 00000e3a: SLOAD 00000e3b: PUSH1 0x01 00000e3d: PUSH1 0xa0 00000e3f: PUSH1 0x02 00000e41: EXP 00000e42: SUB 00000e43: AND 00000e44: CALLER 00000e45: EQ 00000e46: PUSH2 0x0e4e 00000e49: JUMPI 00000e4a: PUSH1 0x00 00000e4c: DUP1 00000e4d: REVERT 00000e4e: JUMPDEST 00000e4f: PUSH1 0x11 00000e51: SSTORE 00000e52: JUMP 00000e53: JUMPDEST 00000e54: PUSH1 0x06 00000e56: SLOAD 00000e57: DUP2 00000e58: JUMP 00000e59: JUMPDEST 00000e5a: PUSH3 0x41eb00 00000e5e: DUP2 00000e5f: JUMP 00000e60: JUMPDEST 00000e61: PUSH1 0x01 00000e63: SLOAD 00000e64: PUSH1 0x01 00000e66: PUSH1 0xa0 00000e68: PUSH1 0x02 00000e6a: EXP 00000e6b: SUB 00000e6c: AND 00000e6d: CALLER 00000e6e: EQ 00000e6f: PUSH2 0x0e77 00000e72: JUMPI 00000e73: PUSH1 0x00 00000e75: DUP1 00000e76: REVERT 00000e77: JUMPDEST 00000e78: PUSH1 0x00 00000e7a: DUP1 00000e7b: REVERT 00000e7c: JUMPDEST 00000e7d: PUSH1 0x01 00000e7f: SLOAD 00000e80: PUSH1 0xa0 00000e82: PUSH1 0x02 00000e84: EXP 00000e85: SWAP1 00000e86: DIV 00000e87: PUSH1 0xff 00000e89: AND 00000e8a: DUP2 00000e8b: JUMP 00000e8c: JUMPDEST 00000e8d: PUSH1 0x0a 00000e8f: SLOAD 00000e90: PUSH1 0x01 00000e92: PUSH1 0xa0 00000e94: PUSH1 0x02 00000e96: EXP 00000e97: SUB 00000e98: AND 00000e99: SWAP1 00000e9a: JUMP 00000e9b: JUMPDEST 00000e9c: PUSH1 0x01 00000e9e: SLOAD 00000e9f: PUSH1 0x00 00000ea1: SWAP1 00000ea2: PUSH1 0xa0 00000ea4: PUSH1 0x02 00000ea6: EXP 00000ea7: SWAP1 00000ea8: DIV 00000ea9: PUSH1 0xff 00000eab: AND 00000eac: DUP1 00000ead: ISZERO 00000eae: PUSH2 0x0eba 00000eb1: JUMPI 00000eb2: POP 00000eb3: PUSH1 0x05 00000eb5: SLOAD 00000eb6: PUSH1 0x02 00000eb8: SLOAD 00000eb9: LT 00000eba: JUMPDEST 00000ebb: DUP1 00000ebc: ISZERO 00000ebd: PUSH2 0x0ec8 00000ec0: JUMPI 00000ec1: POP 00000ec2: PUSH1 0x07 00000ec4: SLOAD 00000ec5: TIMESTAMP 00000ec6: LT 00000ec7: ISZERO 00000ec8: JUMPDEST 00000ec9: DUP1 00000eca: ISZERO 00000ecb: PUSH2 0x0ed5 00000ece: JUMPI 00000ecf: POP 00000ed0: PUSH1 0x08 00000ed2: SLOAD 00000ed3: TIMESTAMP 00000ed4: LT 00000ed5: JUMPDEST 00000ed6: SWAP1 00000ed7: POP 00000ed8: SWAP1 00000ed9: JUMP 00000eda: JUMPDEST 00000edb: PUSH1 0x01 00000edd: SLOAD 00000ede: PUSH1 0x01 00000ee0: PUSH1 0xa0 00000ee2: PUSH1 0x02 00000ee4: EXP 00000ee5: SUB 00000ee6: AND 00000ee7: CALLER 00000ee8: EQ 00000ee9: PUSH2 0x0ef1 00000eec: JUMPI 00000eed: PUSH1 0x00 00000eef: DUP1 00000ef0: REVERT 00000ef1: JUMPDEST 00000ef2: PUSH1 0x0a 00000ef4: PUSH1 0x00 00000ef6: SWAP1 00000ef7: SLOAD 00000ef8: SWAP1 00000ef9: PUSH2 0x0100 00000efc: EXP 00000efd: SWAP1 00000efe: DIV 00000eff: PUSH1 0x01 00000f01: PUSH1 0xa0 00000f03: PUSH1 0x02 00000f05: EXP 00000f06: SUB 00000f07: AND 00000f08: PUSH1 0x01 00000f0a: PUSH1 0xa0 00000f0c: PUSH1 0x02 00000f0e: EXP 00000f0f: SUB 00000f10: AND 00000f11: PUSH4 0x29d684cb 00000f16: PUSH1 0x40 00000f18: MLOAD 00000f19: DUP2 00000f1a: PUSH4 0xffffffff 00000f1f: AND 00000f20: PUSH1 0xe0 00000f22: PUSH1 0x02 00000f24: EXP 00000f25: MUL 00000f26: DUP2 00000f27: MSTORE 00000f28: PUSH1 0x04 00000f2a: ADD 00000f2b: PUSH1 0x00 00000f2d: PUSH1 0x40 00000f2f: MLOAD 00000f30: DUP1 00000f31: DUP4 00000f32: SUB 00000f33: DUP2 00000f34: PUSH1 0x00 00000f36: DUP8 00000f37: DUP1 00000f38: EXTCODESIZE 00000f39: ISZERO 00000f3a: DUP1 00000f3b: ISZERO 00000f3c: PUSH2 0x0f44 00000f3f: JUMPI 00000f40: PUSH1 0x00 00000f42: DUP1 00000f43: REVERT 00000f44: JUMPDEST 00000f45: POP 00000f46: GAS 00000f47: CALL 00000f48: ISZERO 00000f49: DUP1 00000f4a: ISZERO 00000f4b: PUSH2 0x0f58 00000f4e: JUMPI 00000f4f: RETURNDATASIZE 00000f50: PUSH1 0x00 00000f52: DUP1 00000f53: RETURNDATACOPY 00000f54: RETURNDATASIZE 00000f55: PUSH1 0x00 00000f57: REVERT 00000f58: JUMPDEST 00000f59: POP 00000f5a: POP 00000f5b: POP 00000f5c: POP 00000f5d: JUMP 00000f5e: JUMPDEST 00000f5f: PUSH1 0x01 00000f61: PUSH1 0xa0 00000f63: PUSH1 0x02 00000f65: EXP 00000f66: SUB 00000f67: AND 00000f68: PUSH1 0x00 00000f6a: SWAP1 00000f6b: DUP2 00000f6c: MSTORE 00000f6d: PUSH1 0x19 00000f6f: PUSH1 0x20 00000f71: MSTORE 00000f72: PUSH1 0x40 00000f74: SWAP1 00000f75: KECCAK256 00000f76: PUSH1 0x02 00000f78: ADD 00000f79: SLOAD 00000f7a: SWAP1 00000f7b: JUMP 00000f7c: JUMPDEST 00000f7d: PUSH1 0x00 00000f7f: SLOAD 00000f80: PUSH1 0x01 00000f82: PUSH1 0xa0 00000f84: PUSH1 0x02 00000f86: EXP 00000f87: SUB 00000f88: AND 00000f89: CALLER 00000f8a: EQ 00000f8b: PUSH2 0x0f93 00000f8e: JUMPI 00000f8f: PUSH1 0x00 00000f91: DUP1 00000f92: REVERT 00000f93: JUMPDEST 00000f94: PUSH1 0x01 00000f96: SLOAD 00000f97: PUSH1 0xa8 00000f99: PUSH1 0x02 00000f9b: EXP 00000f9c: SWAP1 00000f9d: DIV 00000f9e: PUSH1 0xff 00000fa0: AND 00000fa1: ISZERO 00000fa2: PUSH2 0x0faa 00000fa5: JUMPI 00000fa6: PUSH1 0x00 00000fa8: DUP1 00000fa9: REVERT 00000faa: JUMPDEST 00000fab: PUSH2 0x0fb2 00000fae: PUSH2 0x18c5 00000fb1: JUMP 00000fb2: JUMPDEST 00000fb3: ISZERO 00000fb4: ISZERO 00000fb5: PUSH2 0x0fbd 00000fb8: JUMPI 00000fb9: PUSH1 0x00 00000fbb: DUP1 00000fbc: REVERT 00000fbd: JUMPDEST 00000fbe: PUSH1 0x09 00000fc0: SLOAD 00000fc1: PUSH1 0x40 00000fc3: MLOAD 00000fc4: PUSH1 0x01 00000fc6: PUSH1 0xa0 00000fc8: PUSH1 0x02 00000fca: EXP 00000fcb: SUB 00000fcc: SWAP1 00000fcd: SWAP2 00000fce: AND 00000fcf: SWAP1 00000fd0: ADDRESS 00000fd1: BALANCE 00000fd2: DUP1 00000fd3: ISZERO 00000fd4: PUSH2 0x08fc 00000fd7: MUL 00000fd8: SWAP2 00000fd9: PUSH1 0x00 00000fdb: DUP2 00000fdc: DUP2 00000fdd: DUP2 00000fde: DUP6 00000fdf: DUP9 00000fe0: DUP9 00000fe1: CALL 00000fe2: SWAP4 00000fe3: POP 00000fe4: POP 00000fe5: POP 00000fe6: POP 00000fe7: ISZERO 00000fe8: DUP1 00000fe9: ISZERO 00000fea: PUSH2 0x0ff7 00000fed: JUMPI 00000fee: RETURNDATASIZE 00000fef: PUSH1 0x00 00000ff1: DUP1 00000ff2: RETURNDATACOPY 00000ff3: RETURNDATASIZE 00000ff4: PUSH1 0x00 00000ff6: REVERT 00000ff7: JUMPDEST 00000ff8: POP 00000ff9: JUMP 00000ffa: JUMPDEST 00000ffb: PUSH1 0x0e 00000ffd: SLOAD 00000ffe: SWAP1 00000fff: JUMP 00001000: JUMPDEST 00001001: PUSH1 0x00 00001003: DUP1 00001004: DUP1 00001005: JUMPDEST 00001006: PUSH1 0x05 00001008: DUP2 00001009: PUSH1 0xff 0000100b: AND 0000100c: LT 0000100d: ISZERO 0000100e: PUSH2 0x10a0 00001011: JUMPI 00001012: PUSH2 0x104a 00001015: PUSH2 0x103b 00001018: PUSH1 0xff 0000101a: DUP4 0000101b: AND 0000101c: PUSH2 0x102f 0000101f: PUSH3 0x015180 00001023: PUSH1 0x3c 00001025: PUSH4 0xffffffff 0000102a: PUSH2 0x1968 0000102d: AND 0000102e: JUMP 0000102f: JUMPDEST 00001030: SWAP1 00001031: PUSH4 0xffffffff 00001036: PUSH2 0x1968 00001039: AND 0000103a: JUMP 0000103b: JUMPDEST 0000103c: PUSH1 0x08 0000103e: SLOAD 0000103f: SWAP1 00001040: PUSH4 0xffffffff 00001045: PUSH2 0x0d3c 00001048: AND 00001049: JUMP 0000104a: JUMPDEST 0000104b: TIMESTAMP 0000104c: LT 0000104d: PUSH2 0x1098 00001050: JUMPI 00001051: PUSH1 0x01 00001053: PUSH1 0xa0 00001055: PUSH1 0x02 00001057: EXP 00001058: SUB 00001059: DUP5 0000105a: AND 0000105b: PUSH1 0x00 0000105d: SWAP1 0000105e: DUP2 0000105f: MSTORE 00001060: PUSH1 0x19 00001062: PUSH1 0x20 00001064: MSTORE 00001065: PUSH1 0x40 00001067: SWAP1 00001068: KECCAK256 00001069: PUSH1 0x01 0000106b: ADD 0000106c: SLOAD 0000106d: PUSH2 0x1095 00001070: SWAP1 00001071: PUSH2 0x1088 00001074: SWAP1 00001075: PUSH1 0x64 00001077: SWAP1 00001078: PUSH2 0x08f9 0000107b: SWAP1 0000107c: PUSH1 0x0f 0000107e: PUSH4 0xffffffff 00001083: PUSH2 0x1968 00001086: AND 00001087: JUMP 00001088: JUMPDEST 00001089: DUP4 0000108a: SWAP1 0000108b: PUSH4 0xffffffff 00001090: PUSH2 0x0d3c 00001093: AND 00001094: JUMP 00001095: JUMPDEST 00001096: SWAP2 00001097: POP 00001098: JUMPDEST 00001099: PUSH1 0x01 0000109b: ADD 0000109c: PUSH2 0x1005 0000109f: JUMP 000010a0: JUMPDEST 000010a1: PUSH1 0x01 000010a3: PUSH1 0xa0 000010a5: PUSH1 0x02 000010a7: EXP 000010a8: SUB 000010a9: DUP5 000010aa: AND 000010ab: PUSH1 0x00 000010ad: SWAP1 000010ae: DUP2 000010af: MSTORE 000010b0: PUSH1 0x19 000010b2: PUSH1 0x20 000010b4: MSTORE 000010b5: PUSH1 0x40 000010b7: SWAP1 000010b8: KECCAK256 000010b9: PUSH1 0x02 000010bb: ADD 000010bc: SLOAD 000010bd: DUP3 000010be: GT 000010bf: ISZERO 000010c0: PUSH2 0x10e2 000010c3: JUMPI 000010c4: PUSH1 0x01 000010c6: PUSH1 0xa0 000010c8: PUSH1 0x02 000010ca: EXP 000010cb: SUB 000010cc: DUP5 000010cd: AND 000010ce: PUSH1 0x00 000010d0: SWAP1 000010d1: DUP2 000010d2: MSTORE 000010d3: PUSH1 0x19 000010d5: PUSH1 0x20 000010d7: MSTORE 000010d8: PUSH1 0x40 000010da: SWAP1 000010db: KECCAK256 000010dc: PUSH1 0x02 000010de: ADD 000010df: SLOAD 000010e0: SWAP2 000010e1: POP 000010e2: JUMPDEST 000010e3: PUSH1 0x01 000010e5: PUSH1 0xa0 000010e7: PUSH1 0x02 000010e9: EXP 000010ea: SUB 000010eb: DUP5 000010ec: AND 000010ed: PUSH1 0x00 000010ef: SWAP1 000010f0: DUP2 000010f1: MSTORE 000010f2: PUSH1 0x19 000010f4: PUSH1 0x20 000010f6: MSTORE 000010f7: PUSH1 0x40 000010f9: SWAP1 000010fa: KECCAK256 000010fb: PUSH1 0x03 000010fd: ADD 000010fe: SLOAD 000010ff: PUSH2 0x110f 00001102: SWAP1 00001103: DUP4 00001104: SWAP1 00001105: PUSH4 0xffffffff 0000110a: PUSH2 0x1991 0000110d: AND 0000110e: JUMP 0000110f: JUMPDEST 00001110: SWAP5 00001111: SWAP4 00001112: POP 00001113: POP 00001114: POP 00001115: POP 00001116: JUMP 00001117: JUMPDEST 00001118: PUSH1 0x01 0000111a: SLOAD 0000111b: PUSH1 0x01 0000111d: PUSH1 0xa0 0000111f: PUSH1 0x02 00001121: EXP 00001122: SUB 00001123: AND 00001124: DUP2 00001125: JUMP 00001126: JUMPDEST 00001127: PUSH1 0x01 00001129: SLOAD 0000112a: PUSH1 0x00 0000112c: SWAP1 0000112d: PUSH1 0xa8 0000112f: PUSH1 0x02 00001131: EXP 00001132: SWAP1 00001133: DIV 00001134: PUSH1 0xff 00001136: AND 00001137: DUP1 00001138: PUSH2 0x1144 0000113b: JUMPI 0000113c: POP 0000113d: PUSH2 0x1144 00001140: PUSH2 0x190e 00001143: JUMP 00001144: JUMPDEST 00001145: ISZERO 00001146: ISZERO 00001147: PUSH2 0x114f 0000114a: JUMPI 0000114b: PUSH1 0x00 0000114d: DUP1 0000114e: REVERT 0000114f: JUMPDEST 00001150: POP 00001151: CALLER 00001152: PUSH1 0x00 00001154: SWAP1 00001155: DUP2 00001156: MSTORE 00001157: PUSH1 0x19 00001159: PUSH1 0x20 0000115b: MSTORE 0000115c: PUSH1 0x40 0000115e: DUP2 0000115f: KECCAK256 00001160: SLOAD 00001161: SWAP1 00001162: DUP2 00001163: GT 00001164: PUSH2 0x116c 00001167: JUMPI 00001168: PUSH1 0x00 0000116a: DUP1 0000116b: REVERT 0000116c: JUMPDEST 0000116d: CALLER 0000116e: PUSH1 0x00 00001170: DUP2 00001171: DUP2 00001172: MSTORE 00001173: PUSH1 0x19 00001175: PUSH1 0x20 00001177: MSTORE 00001178: PUSH1 0x40 0000117a: DUP1 0000117b: DUP3 0000117c: KECCAK256 0000117d: DUP3 0000117e: SWAP1 0000117f: SSTORE 00001180: MLOAD 00001181: DUP4 00001182: ISZERO 00001183: PUSH2 0x08fc 00001186: MUL 00001187: SWAP2 00001188: DUP5 00001189: SWAP2 0000118a: SWAP1 0000118b: DUP2 0000118c: DUP2 0000118d: DUP2 0000118e: DUP6 0000118f: DUP9 00001190: DUP9 00001191: CALL 00001192: SWAP4 00001193: POP 00001194: POP 00001195: POP 00001196: POP 00001197: ISZERO 00001198: DUP1 00001199: ISZERO 0000119a: PUSH2 0x11a7 0000119d: JUMPI 0000119e: RETURNDATASIZE 0000119f: PUSH1 0x00 000011a1: DUP1 000011a2: RETURNDATACOPY 000011a3: RETURNDATASIZE 000011a4: PUSH1 0x00 000011a6: REVERT 000011a7: JUMPDEST 000011a8: POP 000011a9: POP 000011aa: JUMP 000011ab: JUMPDEST 000011ac: PUSH1 0x04 000011ae: SLOAD 000011af: DUP2 000011b0: JUMP 000011b1: JUMPDEST 000011b2: PUSH1 0x12 000011b4: SLOAD 000011b5: PUSH1 0xff 000011b7: AND 000011b8: DUP2 000011b9: JUMP 000011ba: JUMPDEST 000011bb: PUSH1 0x00 000011bd: SLOAD 000011be: PUSH1 0x01 000011c0: PUSH1 0xa0 000011c2: PUSH1 0x02 000011c4: EXP 000011c5: SUB 000011c6: AND 000011c7: CALLER 000011c8: EQ 000011c9: PUSH2 0x11d1 000011cc: JUMPI 000011cd: PUSH1 0x00 000011cf: DUP1 000011d0: REVERT 000011d1: JUMPDEST 000011d2: PUSH1 0x00 000011d4: DUP1 000011d5: SLOAD 000011d6: PUSH1 0x40 000011d8: MLOAD 000011d9: PUSH1 0x01 000011db: PUSH1 0xa0 000011dd: PUSH1 0x02 000011df: EXP 000011e0: SUB 000011e1: SWAP1 000011e2: SWAP2 000011e3: AND 000011e4: SWAP2 000011e5: PUSH32 0xf8df31144d9c2f0f6b59d69b8b98abd5459d07f2742c4df920b25aae33c64820 00001206: SWAP2 00001207: LOG2 00001208: PUSH1 0x00 0000120a: DUP1 0000120b: SLOAD 0000120c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001221: NOT 00001222: AND 00001223: SWAP1 00001224: SSTORE 00001225: JUMP 00001226: JUMPDEST 00001227: PUSH3 0x03f480 0000122b: DUP2 0000122c: JUMP 0000122d: JUMPDEST 0000122e: PUSH1 0x01 00001230: PUSH1 0xa0 00001232: PUSH1 0x02 00001234: EXP 00001235: SUB 00001236: AND 00001237: PUSH1 0x00 00001239: SWAP1 0000123a: DUP2 0000123b: MSTORE 0000123c: PUSH1 0x19 0000123e: PUSH1 0x20 00001240: MSTORE 00001241: PUSH1 0x40 00001243: SWAP1 00001244: KECCAK256 00001245: PUSH1 0x03 00001247: ADD 00001248: SLOAD 00001249: SWAP1 0000124a: JUMP 0000124b: JUMPDEST 0000124c: PUSH1 0x01 0000124e: SLOAD 0000124f: PUSH1 0xa8 00001251: PUSH1 0x02 00001253: EXP 00001254: SWAP1 00001255: DIV 00001256: PUSH1 0xff 00001258: AND 00001259: DUP2 0000125a: JUMP 0000125b: JUMPDEST 0000125c: PUSH8 0x0de0b6b3a7640000 00001265: DUP2 00001266: JUMP 00001267: JUMPDEST 00001268: PUSH1 0x01 0000126a: PUSH1 0xa0 0000126c: PUSH1 0x02 0000126e: EXP 0000126f: SUB 00001270: AND 00001271: PUSH1 0x00 00001273: SWAP1 00001274: DUP2 00001275: MSTORE 00001276: PUSH1 0x19 00001278: PUSH1 0x20 0000127a: MSTORE 0000127b: PUSH1 0x40 0000127d: SWAP1 0000127e: KECCAK256 0000127f: PUSH1 0x01 00001281: ADD 00001282: SLOAD 00001283: SWAP1 00001284: JUMP 00001285: JUMPDEST 00001286: PUSH1 0x00 00001288: DUP1 00001289: SLOAD 0000128a: PUSH1 0x01 0000128c: PUSH1 0xa0 0000128e: PUSH1 0x02 00001290: EXP 00001291: SUB 00001292: AND 00001293: CALLER 00001294: EQ 00001295: PUSH2 0x129d 00001298: JUMPI 00001299: PUSH1 0x00 0000129b: DUP1 0000129c: REVERT 0000129d: JUMPDEST 0000129e: PUSH1 0x01 000012a0: SLOAD 000012a1: PUSH1 0xa8 000012a3: PUSH1 0x02 000012a5: EXP 000012a6: SWAP1 000012a7: DIV 000012a8: PUSH1 0xff 000012aa: AND 000012ab: ISZERO 000012ac: PUSH2 0x12b4 000012af: JUMPI 000012b0: PUSH1 0x00 000012b2: DUP1 000012b3: REVERT 000012b4: JUMPDEST 000012b5: PUSH2 0x12bc 000012b8: PUSH2 0x18c5 000012bb: JUMP 000012bc: JUMPDEST 000012bd: ISZERO 000012be: ISZERO 000012bf: PUSH2 0x12c7 000012c2: JUMPI 000012c3: PUSH1 0x00 000012c5: DUP1 000012c6: REVERT 000012c7: JUMPDEST 000012c8: PUSH1 0x0c 000012ca: SLOAD 000012cb: PUSH1 0x01 000012cd: PUSH1 0xa0 000012cf: PUSH1 0x02 000012d1: EXP 000012d2: SUB 000012d3: AND 000012d4: ISZERO 000012d5: ISZERO 000012d6: PUSH2 0x12de 000012d9: JUMPI 000012da: PUSH1 0x00 000012dc: DUP1 000012dd: REVERT 000012de: JUMPDEST 000012df: PUSH1 0x01 000012e1: PUSH1 0x12 000012e3: SLOAD 000012e4: PUSH1 0xff 000012e6: AND 000012e7: PUSH1 0x04 000012e9: DUP2 000012ea: GT 000012eb: ISZERO 000012ec: PUSH2 0x12f1 000012ef: JUMPI 000012f0: INVALID 000012f1: JUMPDEST 000012f2: EQ 000012f3: ISZERO 000012f4: PUSH2 0x1319 000012f7: JUMPI 000012f8: PUSH2 0x1312 000012fb: PUSH1 0x1c 000012fd: PUSH2 0x102f 00001300: PUSH1 0x48 00001302: PUSH1 0x0d 00001304: SLOAD 00001305: PUSH2 0x1953 00001308: SWAP1 00001309: SWAP2 0000130a: SWAP1 0000130b: PUSH4 0xffffffff 00001310: AND 00001311: JUMP 00001312: JUMPDEST 00001313: SWAP1 00001314: POP 00001315: PUSH2 0x13b9 00001318: JUMP 00001319: JUMPDEST 0000131a: PUSH1 0x02 0000131c: PUSH1 0x12 0000131e: SLOAD 0000131f: PUSH1 0xff 00001321: AND 00001322: PUSH1 0x04 00001324: DUP2 00001325: GT 00001326: ISZERO 00001327: PUSH2 0x132c 0000132a: JUMPI 0000132b: INVALID 0000132c: JUMPDEST 0000132d: EQ 0000132e: ISZERO 0000132f: PUSH2 0x134d 00001332: JUMPI 00001333: PUSH2 0x1312 00001336: PUSH1 0x20 00001338: PUSH2 0x102f 0000133b: PUSH1 0x44 0000133d: PUSH1 0x0d 0000133f: SLOAD 00001340: PUSH2 0x1953 00001343: SWAP1 00001344: SWAP2 00001345: SWAP1 00001346: PUSH4 0xffffffff 0000134b: AND 0000134c: JUMP 0000134d: JUMPDEST 0000134e: PUSH1 0x03 00001350: PUSH1 0x12 00001352: SLOAD 00001353: PUSH1 0xff 00001355: AND 00001356: PUSH1 0x04 00001358: DUP2 00001359: GT 0000135a: ISZERO 0000135b: PUSH2 0x1360 0000135e: JUMPI 0000135f: INVALID 00001360: JUMPDEST 00001361: EQ 00001362: ISZERO 00001363: PUSH2 0x1381 00001366: JUMPI 00001367: PUSH2 0x1312 0000136a: PUSH1 0x24 0000136c: PUSH2 0x102f 0000136f: PUSH1 0x40 00001371: PUSH1 0x0d 00001373: SLOAD 00001374: PUSH2 0x1953 00001377: SWAP1 00001378: SWAP2 00001379: SWAP1 0000137a: PUSH4 0xffffffff 0000137f: AND 00001380: JUMP 00001381: JUMPDEST 00001382: PUSH1 0x04 00001384: PUSH1 0x12 00001386: SLOAD 00001387: PUSH1 0xff 00001389: AND 0000138a: PUSH1 0x04 0000138c: DUP2 0000138d: GT 0000138e: ISZERO 0000138f: PUSH2 0x1394 00001392: JUMPI 00001393: INVALID 00001394: JUMPDEST 00001395: EQ 00001396: ISZERO 00001397: PUSH2 0x13b5 0000139a: JUMPI 0000139b: PUSH2 0x1312 0000139e: PUSH1 0x28 000013a0: PUSH2 0x102f 000013a3: PUSH1 0x3c 000013a5: PUSH1 0x0d 000013a7: SLOAD 000013a8: PUSH2 0x1953 000013ab: SWAP1 000013ac: SWAP2 000013ad: SWAP1 000013ae: PUSH4 0xffffffff 000013b3: AND 000013b4: JUMP 000013b5: JUMPDEST 000013b6: POP 000013b7: PUSH1 0x00 000013b9: JUMPDEST 000013ba: PUSH1 0x0a 000013bc: SLOAD 000013bd: PUSH1 0x0c 000013bf: SLOAD 000013c0: PUSH1 0x40 000013c2: DUP1 000013c3: MLOAD 000013c4: PUSH1 0xe0 000013c6: PUSH1 0x02 000013c8: EXP 000013c9: PUSH4 0xf00388f7 000013ce: MUL 000013cf: DUP2 000013d0: MSTORE 000013d1: PUSH1 0x01 000013d3: PUSH1 0xa0 000013d5: PUSH1 0x02 000013d7: EXP 000013d8: SUB 000013d9: SWAP3 000013da: DUP4 000013db: AND 000013dc: PUSH1 0x04 000013de: DUP3 000013df: ADD 000013e0: MSTORE 000013e1: PUSH1 0x24 000013e3: DUP2 000013e4: ADD 000013e5: DUP6 000013e6: SWAP1 000013e7: MSTORE 000013e8: SWAP1 000013e9: MLOAD 000013ea: SWAP2 000013eb: SWAP1 000013ec: SWAP3 000013ed: AND 000013ee: SWAP2 000013ef: PUSH4 0xf00388f7 000013f4: SWAP2 000013f5: PUSH1 0x44 000013f7: DUP1 000013f8: DUP4 000013f9: ADD 000013fa: SWAP3 000013fb: PUSH1 0x00 000013fd: SWAP3 000013fe: SWAP2 000013ff: SWAP1 00001400: DUP3 00001401: SWAP1 00001402: SUB 00001403: ADD 00001404: DUP2 00001405: DUP4 00001406: DUP8 00001407: DUP1 00001408: EXTCODESIZE 00001409: ISZERO 0000140a: DUP1 0000140b: ISZERO 0000140c: PUSH2 0x1414 0000140f: JUMPI 00001410: PUSH1 0x00 00001412: DUP1 00001413: REVERT 00001414: JUMPDEST 00001415: POP 00001416: GAS 00001417: CALL 00001418: ISZERO 00001419: DUP1 0000141a: ISZERO 0000141b: PUSH2 0x1428 0000141e: JUMPI 0000141f: RETURNDATASIZE 00001420: PUSH1 0x00 00001422: DUP1 00001423: RETURNDATACOPY 00001424: RETURNDATASIZE 00001425: PUSH1 0x00 00001427: REVERT 00001428: JUMPDEST 00001429: POP 0000142a: POP 0000142b: POP 0000142c: POP 0000142d: POP 0000142e: JUMP 0000142f: JUMPDEST 00001430: PUSH1 0x00 00001432: SLOAD 00001433: PUSH1 0x01 00001435: PUSH1 0xa0 00001437: PUSH1 0x02 00001439: EXP 0000143a: SUB 0000143b: AND 0000143c: DUP2 0000143d: JUMP 0000143e: JUMPDEST 0000143f: PUSH1 0x03 00001441: SLOAD 00001442: DUP2 00001443: JUMP 00001444: JUMPDEST 00001445: PUSH1 0x0b 00001447: SLOAD 00001448: PUSH1 0x01 0000144a: PUSH1 0xa0 0000144c: PUSH1 0x02 0000144e: EXP 0000144f: SUB 00001450: AND 00001451: DUP2 00001452: JUMP 00001453: JUMPDEST 00001454: PUSH1 0x0d 00001456: SLOAD 00001457: SWAP1 00001458: JUMP 00001459: JUMPDEST 0000145a: PUSH1 0x01 0000145c: SLOAD 0000145d: PUSH1 0x01 0000145f: PUSH1 0xa0 00001461: PUSH1 0x02 00001463: EXP 00001464: SUB 00001465: AND 00001466: CALLER 00001467: EQ 00001468: PUSH2 0x1470 0000146b: JUMPI 0000146c: PUSH1 0x00 0000146e: DUP1 0000146f: REVERT 00001470: JUMPDEST 00001471: PUSH1 0x01 00001473: SLOAD 00001474: PUSH1 0xa8 00001476: PUSH1 0x02 00001478: EXP 00001479: SWAP1 0000147a: DIV 0000147b: PUSH1 0xff 0000147d: AND 0000147e: ISZERO 0000147f: PUSH2 0x1487 00001482: JUMPI 00001483: PUSH1 0x00 00001485: DUP1 00001486: REVERT 00001487: JUMPDEST 00001488: PUSH1 0x09 0000148a: DUP1 0000148b: SLOAD 0000148c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014a1: NOT 000014a2: AND 000014a3: PUSH1 0x01 000014a5: PUSH1 0xa0 000014a7: PUSH1 0x02 000014a9: EXP 000014aa: SUB 000014ab: SWAP3 000014ac: SWAP1 000014ad: SWAP3 000014ae: AND 000014af: SWAP2 000014b0: SWAP1 000014b1: SWAP2 000014b2: OR 000014b3: SWAP1 000014b4: SSTORE 000014b5: JUMP 000014b6: JUMPDEST 000014b7: PUSH1 0x01 000014b9: SLOAD 000014ba: PUSH1 0x01 000014bc: PUSH1 0xa0 000014be: PUSH1 0x02 000014c0: EXP 000014c1: SUB 000014c2: AND 000014c3: CALLER 000014c4: EQ 000014c5: PUSH2 0x14cd 000014c8: JUMPI 000014c9: PUSH1 0x00 000014cb: DUP1 000014cc: REVERT 000014cd: JUMPDEST 000014ce: PUSH1 0x01 000014d0: SLOAD 000014d1: PUSH1 0xa0 000014d3: PUSH1 0x02 000014d5: EXP 000014d6: SWAP1 000014d7: DIV 000014d8: PUSH1 0xff 000014da: AND 000014db: ISZERO 000014dc: PUSH2 0x14e4 000014df: JUMPI 000014e0: PUSH1 0x00 000014e2: DUP1 000014e3: REVERT 000014e4: JUMPDEST 000014e5: PUSH1 0x01 000014e7: SLOAD 000014e8: PUSH1 0xa8 000014ea: PUSH1 0x02 000014ec: EXP 000014ed: SWAP1 000014ee: DIV 000014ef: PUSH1 0xff 000014f1: AND 000014f2: ISZERO 000014f3: PUSH2 0x14fb 000014f6: JUMPI 000014f7: PUSH1 0x00 000014f9: DUP1 000014fa: REVERT 000014fb: JUMPDEST 000014fc: PUSH1 0x01 000014fe: PUSH1 0xa0 00001500: PUSH1 0x02 00001502: EXP 00001503: SUB 00001504: DUP2 00001505: AND 00001506: ISZERO 00001507: ISZERO 00001508: PUSH2 0x1510 0000150b: JUMPI 0000150c: PUSH1 0x00 0000150e: DUP1 0000150f: REVERT 00001510: JUMPDEST 00001511: TIMESTAMP 00001512: DUP4 00001513: LT 00001514: ISZERO 00001515: PUSH2 0x151d 00001518: JUMPI 00001519: PUSH1 0x00 0000151b: DUP1 0000151c: REVERT 0000151d: JUMPDEST 0000151e: DUP3 0000151f: DUP3 00001520: GT 00001521: PUSH2 0x1529 00001524: JUMPI 00001525: PUSH1 0x00 00001527: DUP1 00001528: REVERT 00001529: JUMPDEST 0000152a: DUP3 0000152b: DUP3 0000152c: SUB 0000152d: PUSH1 0x06 0000152f: SSTORE 00001530: PUSH1 0x07 00001532: DUP4 00001533: SWAP1 00001534: SSTORE 00001535: PUSH1 0x08 00001537: DUP3 00001538: SWAP1 00001539: SSTORE 0000153a: PUSH1 0x09 0000153c: DUP1 0000153d: SLOAD 0000153e: PUSH1 0x01 00001540: PUSH1 0xa0 00001542: PUSH1 0x02 00001544: EXP 00001545: SUB 00001546: DUP4 00001547: AND 00001548: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000155d: NOT 0000155e: SWAP1 0000155f: SWAP2 00001560: AND 00001561: DUP2 00001562: OR 00001563: SWAP1 00001564: SWAP2 00001565: SSTORE 00001566: PUSH1 0x01 00001568: DUP1 00001569: SLOAD 0000156a: PUSH21 0xff0000000000000000000000000000000000000000 00001580: NOT 00001581: AND 00001582: PUSH1 0xa0 00001584: PUSH1 0x02 00001586: EXP 00001587: OR 00001588: SWAP1 00001589: SSTORE 0000158a: PUSH1 0x40 0000158c: DUP1 0000158d: MLOAD 0000158e: DUP6 0000158f: DUP2 00001590: MSTORE 00001591: PUSH1 0x20 00001593: DUP2 00001594: ADD 00001595: DUP6 00001596: SWAP1 00001597: MSTORE 00001598: DUP1 00001599: DUP3 0000159a: ADD 0000159b: SWAP3 0000159c: SWAP1 0000159d: SWAP3 0000159e: MSTORE 0000159f: MLOAD 000015a0: PUSH32 0xfccf552413932efea18979436cc8ce92942bdef118c2b5682351e1891bef8072 000015c1: SWAP2 000015c2: DUP2 000015c3: SWAP1 000015c4: SUB 000015c5: PUSH1 0x60 000015c7: ADD 000015c8: SWAP1 000015c9: LOG1 000015ca: POP 000015cb: POP 000015cc: POP 000015cd: JUMP 000015ce: JUMPDEST 000015cf: PUSH1 0x08 000015d1: SLOAD 000015d2: DUP2 000015d3: JUMP 000015d4: JUMPDEST 000015d5: PUSH1 0x01 000015d7: SLOAD 000015d8: PUSH1 0x01 000015da: PUSH1 0xa0 000015dc: PUSH1 0x02 000015de: EXP 000015df: SUB 000015e0: AND 000015e1: CALLER 000015e2: EQ 000015e3: PUSH2 0x15eb 000015e6: JUMPI 000015e7: PUSH1 0x00 000015e9: DUP1 000015ea: REVERT 000015eb: JUMPDEST 000015ec: PUSH1 0x01 000015ee: SLOAD 000015ef: PUSH1 0xa8 000015f1: PUSH1 0x02 000015f3: EXP 000015f4: SWAP1 000015f5: DIV 000015f6: PUSH1 0xff 000015f8: AND 000015f9: ISZERO 000015fa: PUSH2 0x1602 000015fd: JUMPI 000015fe: PUSH1 0x00 00001600: DUP1 00001601: REVERT 00001602: JUMPDEST 00001603: PUSH2 0x160a 00001606: PUSH2 0x18c5 00001609: JUMP 0000160a: JUMPDEST 0000160b: ISZERO 0000160c: ISZERO 0000160d: PUSH2 0x1615 00001610: JUMPI 00001611: PUSH1 0x00 00001613: DUP1 00001614: REVERT 00001615: JUMPDEST 00001616: PUSH1 0x0a 00001618: PUSH1 0x00 0000161a: SWAP1 0000161b: SLOAD 0000161c: SWAP1 0000161d: PUSH2 0x0100 00001620: EXP 00001621: SWAP1 00001622: DIV 00001623: PUSH1 0x01 00001625: PUSH1 0xa0 00001627: PUSH1 0x02 00001629: EXP 0000162a: SUB 0000162b: AND 0000162c: PUSH1 0x01 0000162e: PUSH1 0xa0 00001630: PUSH1 0x02 00001632: EXP 00001633: SUB 00001634: AND 00001635: PUSH4 0x86d1a69f 0000163a: PUSH1 0x40 0000163c: MLOAD 0000163d: DUP2 0000163e: PUSH4 0xffffffff 00001643: AND 00001644: PUSH1 0xe0 00001646: PUSH1 0x02 00001648: EXP 00001649: MUL 0000164a: DUP2 0000164b: MSTORE 0000164c: PUSH1 0x04 0000164e: ADD 0000164f: PUSH1 0x00 00001651: PUSH1 0x40 00001653: MLOAD 00001654: DUP1 00001655: DUP4 00001656: SUB 00001657: DUP2 00001658: PUSH1 0x00 0000165a: DUP8 0000165b: DUP1 0000165c: EXTCODESIZE 0000165d: ISZERO 0000165e: DUP1 0000165f: ISZERO 00001660: PUSH2 0x0f44 00001663: JUMPI 00001664: PUSH1 0x00 00001666: DUP1 00001667: REVERT 00001668: JUMPDEST 00001669: PUSH1 0x01 0000166b: SLOAD 0000166c: PUSH1 0x01 0000166e: PUSH1 0xa0 00001670: PUSH1 0x02 00001672: EXP 00001673: SUB 00001674: AND 00001675: CALLER 00001676: EQ 00001677: PUSH2 0x167f 0000167a: JUMPI 0000167b: PUSH1 0x00 0000167d: DUP1 0000167e: REVERT 0000167f: JUMPDEST 00001680: PUSH1 0x0a 00001682: SLOAD 00001683: PUSH1 0x40 00001685: DUP1 00001686: MLOAD 00001687: PUSH1 0xe0 00001689: PUSH1 0x02 0000168b: EXP 0000168c: PUSH4 0xf00388f7 00001691: MUL 00001692: DUP2 00001693: MSTORE 00001694: PUSH1 0x01 00001696: PUSH1 0xa0 00001698: PUSH1 0x02 0000169a: EXP 0000169b: SUB 0000169c: DUP6 0000169d: DUP2 0000169e: AND 0000169f: PUSH1 0x04 000016a1: DUP4 000016a2: ADD 000016a3: MSTORE 000016a4: PUSH1 0x24 000016a6: DUP3 000016a7: ADD 000016a8: DUP6 000016a9: SWAP1 000016aa: MSTORE 000016ab: SWAP2 000016ac: MLOAD 000016ad: SWAP2 000016ae: SWAP1 000016af: SWAP3 000016b0: AND 000016b1: SWAP2 000016b2: PUSH4 0xf00388f7 000016b7: SWAP2 000016b8: PUSH1 0x44 000016ba: DUP1 000016bb: DUP4 000016bc: ADD 000016bd: SWAP3 000016be: PUSH1 0x00 000016c0: SWAP3 000016c1: SWAP2 000016c2: SWAP1 000016c3: DUP3 000016c4: SWAP1 000016c5: SUB 000016c6: ADD 000016c7: DUP2 000016c8: DUP4 000016c9: DUP8 000016ca: DUP1 000016cb: EXTCODESIZE 000016cc: ISZERO 000016cd: DUP1 000016ce: ISZERO 000016cf: PUSH2 0x16d7 000016d2: JUMPI 000016d3: PUSH1 0x00 000016d5: DUP1 000016d6: REVERT 000016d7: JUMPDEST 000016d8: POP 000016d9: GAS 000016da: CALL 000016db: ISZERO 000016dc: DUP1 000016dd: ISZERO 000016de: PUSH2 0x16eb 000016e1: JUMPI 000016e2: RETURNDATASIZE 000016e3: PUSH1 0x00 000016e5: DUP1 000016e6: RETURNDATACOPY 000016e7: RETURNDATASIZE 000016e8: PUSH1 0x00 000016ea: REVERT 000016eb: JUMPDEST 000016ec: POP 000016ed: POP 000016ee: POP 000016ef: POP 000016f0: POP 000016f1: POP 000016f2: JUMP 000016f3: JUMPDEST 000016f4: PUSH1 0x01 000016f6: SLOAD 000016f7: PUSH1 0x01 000016f9: PUSH1 0xa0 000016fb: PUSH1 0x02 000016fd: EXP 000016fe: SUB 000016ff: AND 00001700: CALLER 00001701: EQ 00001702: PUSH2 0x170a 00001705: JUMPI 00001706: PUSH1 0x00 00001708: DUP1 00001709: REVERT 0000170a: JUMPDEST 0000170b: PUSH1 0x01 0000170d: PUSH1 0xa0 0000170f: PUSH1 0x02 00001711: EXP 00001712: SUB 00001713: DUP2 00001714: AND 00001715: ISZERO 00001716: ISZERO 00001717: PUSH2 0x171f 0000171a: JUMPI 0000171b: PUSH1 0x00 0000171d: DUP1 0000171e: REVERT 0000171f: JUMPDEST 00001720: PUSH1 0x01 00001722: DUP1 00001723: SLOAD 00001724: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001739: NOT 0000173a: AND 0000173b: PUSH1 0x01 0000173d: PUSH1 0xa0 0000173f: PUSH1 0x02 00001741: EXP 00001742: SUB 00001743: SWAP3 00001744: SWAP1 00001745: SWAP3 00001746: AND 00001747: SWAP2 00001748: SWAP1 00001749: SWAP2 0000174a: OR 0000174b: SWAP1 0000174c: SSTORE 0000174d: JUMP 0000174e: JUMPDEST 0000174f: PUSH1 0x0f 00001751: SLOAD 00001752: SWAP1 00001753: JUMP 00001754: JUMPDEST 00001755: PUSH1 0x0b 00001757: SLOAD 00001758: PUSH1 0x01 0000175a: PUSH1 0xa0 0000175c: PUSH1 0x02 0000175e: EXP 0000175f: SUB 00001760: AND 00001761: SWAP1 00001762: JUMP 00001763: JUMPDEST 00001764: PUSH1 0x09 00001766: SLOAD 00001767: PUSH1 0x01 00001769: PUSH1 0xa0 0000176b: PUSH1 0x02 0000176d: EXP 0000176e: SUB 0000176f: AND 00001770: DUP2 00001771: JUMP 00001772: JUMPDEST 00001773: DUP1 00001774: PUSH2 0x177c 00001777: CALLER 00001778: PUSH2 0x1000 0000177b: JUMP 0000177c: JUMPDEST 0000177d: LT 0000177e: ISZERO 0000177f: PUSH2 0x1787 00001782: JUMPI 00001783: PUSH1 0x00 00001785: DUP1 00001786: REVERT 00001787: JUMPDEST 00001788: CALLER 00001789: PUSH1 0x00 0000178b: SWAP1 0000178c: DUP2 0000178d: MSTORE 0000178e: PUSH1 0x19 00001790: PUSH1 0x20 00001792: MSTORE 00001793: PUSH1 0x40 00001795: SWAP1 00001796: KECCAK256 00001797: PUSH1 0x03 00001799: ADD 0000179a: SLOAD 0000179b: PUSH2 0x17aa 0000179e: SWAP1 0000179f: DUP3 000017a0: PUSH4 0xffffffff 000017a5: PUSH2 0x0d3c 000017a8: AND 000017a9: JUMP 000017aa: JUMPDEST 000017ab: CALLER 000017ac: PUSH1 0x00 000017ae: DUP2 000017af: DUP2 000017b0: MSTORE 000017b1: PUSH1 0x19 000017b3: PUSH1 0x20 000017b5: SWAP1 000017b6: DUP2 000017b7: MSTORE 000017b8: PUSH1 0x40 000017ba: DUP1 000017bb: DUP4 000017bc: KECCAK256 000017bd: PUSH1 0x03 000017bf: ADD 000017c0: SWAP5 000017c1: SWAP1 000017c2: SWAP5 000017c3: SSTORE 000017c4: PUSH1 0x0a 000017c6: SLOAD 000017c7: DUP5 000017c8: MLOAD 000017c9: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000 000017ea: DUP2 000017eb: MSTORE 000017ec: PUSH1 0x04 000017ee: DUP2 000017ef: ADD 000017f0: SWAP5 000017f1: SWAP1 000017f2: SWAP5 000017f3: MSTORE 000017f4: PUSH1 0x24 000017f6: DUP5 000017f7: ADD 000017f8: DUP7 000017f9: SWAP1 000017fa: MSTORE 000017fb: SWAP4 000017fc: MLOAD 000017fd: PUSH1 0x01 000017ff: PUSH1 0xa0 00001801: PUSH1 0x02 00001803: EXP 00001804: SUB 00001805: SWAP1 00001806: SWAP5 00001807: AND 00001808: SWAP4 00001809: PUSH4 0xa9059cbb 0000180e: SWAP4 0000180f: PUSH1 0x44 00001811: DUP1 00001812: DUP3 00001813: ADD 00001814: SWAP5 00001815: SWAP2 00001816: DUP4 00001817: SWAP1 00001818: SUB 00001819: ADD 0000181a: SWAP1 0000181b: DUP3 0000181c: SWAP1 0000181d: DUP8 0000181e: DUP1 0000181f: EXTCODESIZE 00001820: ISZERO 00001821: DUP1 00001822: ISZERO 00001823: PUSH2 0x182b 00001826: JUMPI 00001827: PUSH1 0x00 00001829: DUP1 0000182a: REVERT 0000182b: JUMPDEST 0000182c: POP 0000182d: GAS 0000182e: CALL 0000182f: ISZERO 00001830: DUP1 00001831: ISZERO 00001832: PUSH2 0x183f 00001835: JUMPI 00001836: RETURNDATASIZE 00001837: PUSH1 0x00 00001839: DUP1 0000183a: RETURNDATACOPY 0000183b: RETURNDATASIZE 0000183c: PUSH1 0x00 0000183e: REVERT 0000183f: JUMPDEST 00001840: POP 00001841: POP 00001842: POP 00001843: POP 00001844: PUSH1 0x40 00001846: MLOAD 00001847: RETURNDATASIZE 00001848: PUSH1 0x20 0000184a: DUP2 0000184b: LT 0000184c: ISZERO 0000184d: PUSH2 0x1855 00001850: JUMPI 00001851: PUSH1 0x00 00001853: DUP1 00001854: REVERT 00001855: JUMPDEST 00001856: POP 00001857: POP 00001858: POP 00001859: JUMP 0000185a: JUMPDEST 0000185b: PUSH1 0x00 0000185d: SLOAD 0000185e: PUSH1 0x01 00001860: PUSH1 0xa0 00001862: PUSH1 0x02 00001864: EXP 00001865: SUB 00001866: AND 00001867: CALLER 00001868: EQ 00001869: PUSH2 0x1871 0000186c: JUMPI 0000186d: PUSH1 0x00 0000186f: DUP1 00001870: REVERT 00001871: JUMPDEST 00001872: PUSH2 0x187b 00001875: DUP3 00001876: DUP3 00001877: PUSH2 0x0778 0000187a: JUMP 0000187b: JUMPDEST 0000187c: POP 0000187d: PUSH1 0x0f 0000187f: SLOAD 00001880: PUSH2 0x188f 00001883: SWAP1 00001884: DUP4 00001885: PUSH4 0xffffffff 0000188a: PUSH2 0x0d3c 0000188d: AND 0000188e: JUMP 0000188f: JUMPDEST 00001890: PUSH1 0x0f 00001892: SSTORE 00001893: POP 00001894: POP 00001895: JUMP 00001896: JUMPDEST 00001897: PUSH1 0x02 00001899: SLOAD 0000189a: DUP2 0000189b: JUMP 0000189c: JUMPDEST 0000189d: PUSH1 0x00 0000189f: PUSH2 0x0d49 000018a2: PUSH2 0x18aa 000018a5: DUP4 000018a6: PUSH2 0x122d 000018a9: JUMP 000018aa: JUMPDEST 000018ab: PUSH2 0x08ed 000018ae: PUSH2 0x18b6 000018b1: DUP6 000018b2: PUSH2 0x1000 000018b5: JUMP 000018b6: JUMPDEST 000018b7: PUSH2 0x08ed 000018ba: DUP7 000018bb: PUSH2 0x0f5e 000018be: JUMP 000018bf: JUMPDEST 000018c0: PUSH1 0x07 000018c2: SLOAD 000018c3: DUP2 000018c4: JUMP 000018c5: JUMPDEST 000018c6: PUSH1 0x00 000018c8: PUSH1 0x05 000018ca: SLOAD 000018cb: PUSH1 0x02 000018cd: SLOAD 000018ce: LT 000018cf: ISZERO 000018d0: DUP1 000018d1: PUSH2 0x0ed5 000018d4: JUMPI 000018d5: POP 000018d6: PUSH1 0x08 000018d8: SLOAD 000018d9: TIMESTAMP 000018da: LT 000018db: ISZERO 000018dc: DUP1 000018dd: ISZERO 000018de: PUSH2 0x0ed5 000018e1: JUMPI 000018e2: POP 000018e3: POP 000018e4: PUSH1 0x04 000018e6: SLOAD 000018e7: PUSH1 0x02 000018e9: SLOAD 000018ea: LT 000018eb: ISZERO 000018ec: SWAP1 000018ed: JUMP 000018ee: JUMPDEST 000018ef: PUSH1 0x00 000018f1: SLOAD 000018f2: PUSH1 0x01 000018f4: PUSH1 0xa0 000018f6: PUSH1 0x02 000018f8: EXP 000018f9: SUB 000018fa: AND 000018fb: CALLER 000018fc: EQ 000018fd: PUSH2 0x1905 00001900: JUMPI 00001901: PUSH1 0x00 00001903: DUP1 00001904: REVERT 00001905: JUMPDEST 00001906: PUSH2 0x0ff7 00001909: DUP2 0000190a: PUSH2 0x1a7a 0000190d: JUMP 0000190e: JUMPDEST 0000190f: PUSH1 0x01 00001911: SLOAD 00001912: PUSH1 0x00 00001914: SWAP1 00001915: PUSH1 0xa0 00001917: PUSH1 0x02 00001919: EXP 0000191a: SWAP1 0000191b: DIV 0000191c: PUSH1 0xff 0000191e: AND 0000191f: DUP1 00001920: ISZERO 00001921: PUSH2 0x192c 00001924: JUMPI 00001925: POP 00001926: PUSH1 0x08 00001928: SLOAD 00001929: TIMESTAMP 0000192a: LT 0000192b: ISZERO 0000192c: JUMPDEST 0000192d: DUP1 0000192e: ISZERO 0000192f: PUSH2 0x0ed5 00001932: JUMPI 00001933: POP 00001934: POP 00001935: PUSH1 0x04 00001937: SLOAD 00001938: PUSH1 0x02 0000193a: SLOAD 0000193b: LT 0000193c: SWAP1 0000193d: JUMP 0000193e: JUMPDEST 0000193f: PUSH1 0x0a 00001941: SLOAD 00001942: PUSH1 0x01 00001944: PUSH1 0xa0 00001946: PUSH1 0x02 00001948: EXP 00001949: SUB 0000194a: AND 0000194b: DUP2 0000194c: JUMP 0000194d: JUMPDEST 0000194e: PUSH1 0x05 00001950: SLOAD 00001951: DUP2 00001952: JUMP 00001953: JUMPDEST 00001954: PUSH1 0x00 00001956: DUP2 00001957: DUP4 00001958: DUP2 00001959: ISZERO 0000195a: ISZERO 0000195b: PUSH2 0x1960 0000195e: JUMPI 0000195f: INVALID 00001960: JUMPDEST 00001961: DIV 00001962: SWAP4 00001963: SWAP3 00001964: POP 00001965: POP 00001966: POP 00001967: JUMP 00001968: JUMPDEST 00001969: PUSH1 0x00 0000196b: DUP3 0000196c: ISZERO 0000196d: ISZERO 0000196e: PUSH2 0x1979 00001971: JUMPI 00001972: POP 00001973: PUSH1 0x00 00001975: PUSH2 0x0d49 00001978: JUMP 00001979: JUMPDEST 0000197a: POP 0000197b: DUP2 0000197c: DUP2 0000197d: MUL 0000197e: DUP2 0000197f: DUP4 00001980: DUP3 00001981: DUP2 00001982: ISZERO 00001983: ISZERO 00001984: PUSH2 0x1989 00001987: JUMPI 00001988: INVALID 00001989: JUMPDEST 0000198a: DIV 0000198b: EQ 0000198c: PUSH2 0x0d49 0000198f: JUMPI 00001990: INVALID 00001991: JUMPDEST 00001992: PUSH1 0x00 00001994: DUP3 00001995: DUP3 00001996: GT 00001997: ISZERO 00001998: PUSH2 0x199d 0000199b: JUMPI 0000199c: INVALID 0000199d: JUMPDEST 0000199e: POP 0000199f: SWAP1 000019a0: SUB 000019a1: SWAP1 000019a2: JUMP 000019a3: JUMPDEST 000019a4: PUSH1 0x00 000019a6: PUSH2 0x0ed5 000019a9: PUSH1 0x11 000019ab: SLOAD 000019ac: PUSH2 0x08f9 000019af: PUSH8 0x0de0b6b3a7640000 000019b8: PUSH1 0x10 000019ba: SLOAD 000019bb: PUSH2 0x1968 000019be: SWAP1 000019bf: SWAP2 000019c0: SWAP1 000019c1: PUSH4 0xffffffff 000019c6: AND 000019c7: JUMP 000019c8: JUMPDEST 000019c9: PUSH1 0x02 000019cb: SLOAD 000019cc: PUSH11 0x115eec47f6cf7e35000000 000019d8: GT 000019d9: PUSH2 0x19f6 000019dc: JUMPI 000019dd: PUSH1 0x12 000019df: DUP1 000019e0: SLOAD 000019e1: PUSH1 0x04 000019e3: SWAP2 000019e4: SWAP1 000019e5: PUSH1 0xff 000019e7: NOT 000019e8: AND 000019e9: PUSH1 0x01 000019eb: DUP4 000019ec: JUMPDEST 000019ed: MUL 000019ee: OR 000019ef: SWAP1 000019f0: SSTORE 000019f1: POP 000019f2: PUSH2 0x1a78 000019f5: JUMP 000019f6: JUMPDEST 000019f7: PUSH1 0x02 000019f9: SLOAD 000019fa: PUSH11 0x0d3c21bcecceda10000000 00001a06: GT 00001a07: PUSH2 0x1a1e 00001a0a: JUMPI 00001a0b: PUSH1 0x12 00001a0d: DUP1 00001a0e: SLOAD 00001a0f: PUSH1 0x03 00001a11: SWAP2 00001a12: SWAP1 00001a13: PUSH1 0xff 00001a15: NOT 00001a16: AND 00001a17: PUSH1 0x01 00001a19: DUP4 00001a1a: PUSH2 0x19ec 00001a1d: JUMP 00001a1e: JUMPDEST 00001a1f: PUSH1 0x02 00001a21: SLOAD 00001a22: PUSH11 0x09195731e2ce35eb000000 00001a2e: GT 00001a2f: PUSH2 0x1a46 00001a32: JUMPI 00001a33: PUSH1 0x12 00001a35: DUP1 00001a36: SLOAD 00001a37: PUSH1 0x02 00001a39: SWAP2 00001a3a: SWAP1 00001a3b: PUSH1 0xff 00001a3d: NOT 00001a3e: AND 00001a3f: PUSH1 0x01 00001a41: DUP4 00001a42: PUSH2 0x19ec 00001a45: JUMP 00001a46: JUMPDEST 00001a47: PUSH1 0x02 00001a49: SLOAD 00001a4a: PUSH11 0x04f68ca6d8cd91c6000000 00001a56: GT 00001a57: PUSH2 0x1a6d 00001a5a: JUMPI 00001a5b: PUSH1 0x12 00001a5d: DUP1 00001a5e: SLOAD 00001a5f: PUSH1 0x01 00001a61: SWAP2 00001a62: SWAP1 00001a63: PUSH1 0xff 00001a65: NOT 00001a66: AND 00001a67: DUP3 00001a68: DUP1 00001a69: PUSH2 0x19ec 00001a6c: JUMP 00001a6d: JUMPDEST 00001a6e: PUSH1 0x12 00001a70: DUP1 00001a71: SLOAD 00001a72: PUSH1 0xff 00001a74: NOT 00001a75: AND 00001a76: SWAP1 00001a77: SSTORE 00001a78: JUMPDEST 00001a79: JUMP 00001a7a: JUMPDEST 00001a7b: PUSH1 0x01 00001a7d: PUSH1 0xa0 00001a7f: PUSH1 0x02 00001a81: EXP 00001a82: SUB 00001a83: DUP2 00001a84: AND 00001a85: ISZERO 00001a86: ISZERO 00001a87: PUSH2 0x1a8f 00001a8a: JUMPI 00001a8b: PUSH1 0x00 00001a8d: DUP1 00001a8e: REVERT 00001a8f: JUMPDEST 00001a90: PUSH1 0x00 00001a92: DUP1 00001a93: SLOAD 00001a94: PUSH1 0x40 00001a96: MLOAD 00001a97: PUSH1 0x01 00001a99: PUSH1 0xa0 00001a9b: PUSH1 0x02 00001a9d: EXP 00001a9e: SUB 00001a9f: DUP1 00001aa0: DUP6 00001aa1: AND 00001aa2: SWAP4 00001aa3: SWAP3 00001aa4: AND 00001aa5: SWAP2 00001aa6: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00001ac7: SWAP2 00001ac8: LOG3 00001ac9: PUSH1 0x00 00001acb: DUP1 00001acc: SLOAD 00001acd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ae2: NOT 00001ae3: AND 00001ae4: PUSH1 0x01 00001ae6: PUSH1 0xa0 00001ae8: PUSH1 0x02 00001aea: EXP 00001aeb: SUB 00001aec: SWAP3 00001aed: SWAP1 00001aee: SWAP3 00001aef: AND 00001af0: SWAP2 00001af1: SWAP1 00001af2: SWAP2 00001af3: OR 00001af4: SWAP1 00001af5: SSTORE 00001af6: JUMP 00001af7: STOP 00001af8: LOG1 00001af9: PUSH6 0x627a7a723058 00001b00: KECCAK256 00001b01: PUSH25 0xd9669dacfec730f057bee27e20652e91df93e01a6438be8639 00001b1b: SHL 00001b1c: DUP16 00001b1d: REVERT 00001b1e: SWAP3 00001b1f: UNKNOWN(0xFB) 00001b20: UNKNOWN(0xC1) 00001b21: STOP 00001b22: UNKNOWN(0x29)
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x6269afbde58110e36014dbd3969a239e26c9d688e9d1f14cfdabceb30abc8498
call_targets:
0x84e0f7667ef8f9fa16c9cf67d8bc05cc504de7f2
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x6269afbde58110e36014dbd3969a239e26c9d688e9d1f14cfdabceb30abc8498",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x84e0f7667ef8f9fa16c9cf67d8bc05cc504de7f2"
],
"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": "0x07da68f5",
"selector": "0x07da68f5",
"calldata_variants": [
"0x07da68f5",
"0x07da68f50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0c846ea3",
"selector": "0x0c846ea3",
"calldata_variants": [
"0x0c846ea3",
"0x0c846ea30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0dcec63d",
"selector": "0x0dcec63d",
"calldata_variants": [
"0x0dcec63d",
"0x0dcec63d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0fb5a6b4",
"selector": "0x0fb5a6b4",
"calldata_variants": [
"0x0fb5a6b4",
"0x0fb5a6b40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1510ca79",
"selector": "0x1510ca79",
"calldata_variants": [
"0x1510ca79",
"0x1510ca790000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18c9ef97",
"selector": "0x18c9ef97",
"calldata_variants": [
"0x18c9ef97",
"0x18c9ef970000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1f2698ab",
"selector": "0x1f2698ab",
"calldata_variants": [
"0x1f2698ab",
"0x1f2698ab0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x21df0da7",
"selector": "0x21df0da7",
"calldata_variants": [
"0x21df0da7",
"0x21df0da70000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2100,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2344,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2852,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 10,
"guards_detected": [],
"untrusted_call_count": 10
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x6269afbde58110e36014dbd3969a239e26c9d688e9d1f14cfdabceb30abc8498
call_targets:
0x84e0f7667ef8f9fa16c9cf67d8bc05cc504de7f2
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x6269afbde58110e36014dbd3969a239e26c9d688e9d1f14cfdabceb30abc8498",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x84e0f7667ef8f9fa16c9cf67d8bc05cc504de7f2"
],
"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": "0x07da68f5",
"selector": "0x07da68f5",
"calldata_variants": [
"0x07da68f5",
"0x07da68f50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0c846ea3",
"selector": "0x0c846ea3",
"calldata_variants": [
"0x0c846ea3",
"0x0c846ea30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0dcec63d",
"selector": "0x0dcec63d",
"calldata_variants": [
"0x0dcec63d",
"0x0dcec63d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0fb5a6b4",
"selector": "0x0fb5a6b4",
"calldata_variants": [
"0x0fb5a6b4",
"0x0fb5a6b40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1510ca79",
"selector": "0x1510ca79",
"calldata_variants": [
"0x1510ca79",
"0x1510ca790000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18c9ef97",
"selector": "0x18c9ef97",
"calldata_variants": [
"0x18c9ef97",
"0x18c9ef970000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1f2698ab",
"selector": "0x1f2698ab",
"calldata_variants": [
"0x1f2698ab",
"0x1f2698ab0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x21df0da7",
"selector": "0x21df0da7",
"calldata_variants": [
"0x21df0da7",
"0x21df0da70000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2100,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2344,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2852,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 10,
"guards_detected": []
}
|