019b3844-8ce0-7148-a71e-5831f1537a59
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 |
|---|---|---|---|---|
| 12037 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 12038 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 84272 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 84273 | capability.graph | complete | 1 / 3 | 1 week ago |
| 84274 | detector.run | complete | 1 / 3 | 1 week ago |
| 84275 | validation.fork | complete | 1 / 3 | 1 week ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x60 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x01d7 0000000c: JUMPI 0000000d: PUSH4 0xffffffff 00000012: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000030: PUSH1 0x00 00000032: CALLDATALOAD 00000033: DIV 00000034: AND 00000035: PUSH4 0x02884909 0000003a: DUP2 0000003b: EQ 0000003c: PUSH2 0x021d 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x0aa0fbe5 00000046: EQ 00000047: PUSH2 0x024c 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x0d2f2971 00000051: EQ 00000052: PUSH2 0x0271 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x144be7eb 0000005c: EQ 0000005d: PUSH2 0x0287 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0x25d83bb3 00000067: EQ 00000068: PUSH2 0x029a 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0x3519932e 00000072: EQ 00000073: PUSH2 0x02bc 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0x3f4ba83a 0000007d: EQ 0000007e: PUSH2 0x02c7 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0x41994140 00000088: EQ 00000089: PUSH2 0x02da 0000008c: JUMPI 0000008d: DUP1 0000008e: PUSH4 0x51c81f01 00000093: EQ 00000094: PUSH2 0x02f0 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0x51ebe2f1 0000009e: EQ 0000009f: PUSH2 0x030f 000000a2: JUMPI 000000a3: DUP1 000000a4: PUSH4 0x5c975abb 000000a9: EQ 000000aa: PUSH2 0x0322 000000ad: JUMPI 000000ae: DUP1 000000af: PUSH4 0x634c5c51 000000b4: EQ 000000b5: PUSH2 0x0349 000000b8: JUMPI 000000b9: DUP1 000000ba: PUSH4 0x7a424135 000000bf: EQ 000000c0: PUSH2 0x035f 000000c3: JUMPI 000000c4: DUP1 000000c5: PUSH4 0x7bf20b73 000000ca: EQ 000000cb: PUSH2 0x0399 000000ce: JUMPI 000000cf: DUP1 000000d0: PUSH4 0x81081184 000000d5: EQ 000000d6: PUSH2 0x03b8 000000d9: JUMPI 000000da: DUP1 000000db: PUSH4 0x82abcc20 000000e0: EQ 000000e1: PUSH2 0x03d7 000000e4: JUMPI 000000e5: DUP1 000000e6: PUSH4 0x83197ef0 000000eb: EQ 000000ec: PUSH2 0x0409 000000ef: JUMPI 000000f0: DUP1 000000f1: PUSH4 0x8456cb59 000000f6: EQ 000000f7: PUSH2 0x041c 000000fa: JUMPI 000000fb: DUP1 000000fc: PUSH4 0x8462151c 00000101: EQ 00000102: PUSH2 0x042f 00000105: JUMPI 00000106: DUP1 00000107: PUSH4 0x8de04f87 0000010c: EQ 0000010d: PUSH2 0x04a1 00000110: JUMPI 00000111: DUP1 00000112: PUSH4 0x94644764 00000117: EQ 00000118: PUSH2 0x04bd 0000011b: JUMPI 0000011c: DUP1 0000011d: PUSH4 0x9bf407c8 00000122: EQ 00000123: PUSH2 0x04df 00000126: JUMPI 00000127: DUP1 00000128: PUSH4 0xa92f0cb9 0000012d: EQ 0000012e: PUSH2 0x056c 00000131: JUMPI 00000132: DUP1 00000133: PUSH4 0xaa82b592 00000138: EQ 00000139: PUSH2 0x057f 0000013c: JUMPI 0000013d: DUP1 0000013e: PUSH4 0xaa99474f 00000143: EQ 00000144: PUSH2 0x05e1 00000147: JUMPI 00000148: DUP1 00000149: PUSH4 0xb4cec530 0000014e: EQ 0000014f: PUSH2 0x0609 00000152: JUMPI 00000153: DUP1 00000154: PUSH4 0xc682d0bb 00000159: EQ 0000015a: PUSH2 0x061c 0000015d: JUMPI 0000015e: DUP1 0000015f: PUSH4 0xca5a899c 00000164: EQ 00000165: PUSH2 0x0635 00000168: JUMPI 00000169: DUP1 0000016a: PUSH4 0xcf73a1bc 0000016f: EQ 00000170: PUSH2 0x0648 00000173: JUMPI 00000174: DUP1 00000175: PUSH4 0xd04d8667 0000017a: EQ 0000017b: PUSH2 0x065b 0000017e: JUMPI 0000017f: DUP1 00000180: PUSH4 0xd0ebdbe7 00000185: EQ 00000186: PUSH2 0x0663 00000189: JUMPI 0000018a: DUP1 0000018b: PUSH4 0xd2dd8d2a 00000190: EQ 00000191: PUSH2 0x0682 00000194: JUMPI 00000195: DUP1 00000196: PUSH4 0xd67b534e 0000019b: EQ 0000019c: PUSH2 0x06a4 0000019f: JUMPI 000001a0: DUP1 000001a1: PUSH4 0xdbb183c2 000001a6: EQ 000001a7: PUSH2 0x06bd 000001aa: JUMPI 000001ab: DUP1 000001ac: PUSH4 0xe14a6b95 000001b1: EQ 000001b2: PUSH2 0x06dc 000001b5: JUMPI 000001b6: DUP1 000001b7: PUSH4 0xf8900ddd 000001bc: EQ 000001bd: PUSH2 0x06f2 000001c0: JUMPI 000001c1: DUP1 000001c2: PUSH4 0xf985f5fc 000001c7: EQ 000001c8: PUSH2 0x0705 000001cb: JUMPI 000001cc: DUP1 000001cd: PUSH4 0xf9f2c161 000001d2: EQ 000001d3: PUSH2 0x0730 000001d6: JUMPI 000001d7: JUMPDEST 000001d8: PUSH32 0x1f11d1f170e7a65b56e69d3a148ad21884b852129edf68fa6f2ddab106b3096e 000001f9: CALLER 000001fa: CALLVALUE 000001fb: PUSH1 0x40 000001fd: MLOAD 000001fe: PUSH1 0x01 00000200: PUSH1 0xa0 00000202: PUSH1 0x02 00000204: EXP 00000205: SUB 00000206: SWAP1 00000207: SWAP3 00000208: AND 00000209: DUP3 0000020a: MSTORE 0000020b: PUSH1 0x20 0000020d: DUP3 0000020e: ADD 0000020f: MSTORE 00000210: PUSH1 0x40 00000212: SWAP1 00000213: DUP2 00000214: ADD 00000215: SWAP1 00000216: MLOAD 00000217: DUP1 00000218: SWAP2 00000219: SUB 0000021a: SWAP1 0000021b: LOG1 0000021c: STOP 0000021d: JUMPDEST 0000021e: CALLVALUE 0000021f: ISZERO 00000220: PUSH2 0x0228 00000223: JUMPI 00000224: PUSH1 0x00 00000226: DUP1 00000227: REVERT 00000228: JUMPDEST 00000229: PUSH2 0x0230 0000022c: PUSH2 0x074f 0000022f: JUMP 00000230: JUMPDEST 00000231: PUSH1 0x40 00000233: MLOAD 00000234: PUSH1 0x01 00000236: PUSH1 0xa0 00000238: PUSH1 0x02 0000023a: EXP 0000023b: SUB 0000023c: SWAP1 0000023d: SWAP2 0000023e: AND 0000023f: DUP2 00000240: MSTORE 00000241: PUSH1 0x20 00000243: ADD 00000244: PUSH1 0x40 00000246: MLOAD 00000247: DUP1 00000248: SWAP2 00000249: SUB 0000024a: SWAP1 0000024b: RETURN 0000024c: JUMPDEST 0000024d: CALLVALUE 0000024e: ISZERO 0000024f: PUSH2 0x0257 00000252: JUMPI 00000253: PUSH1 0x00 00000255: DUP1 00000256: REVERT 00000257: JUMPDEST 00000258: PUSH2 0x025f 0000025b: PUSH2 0x075e 0000025e: JUMP 0000025f: JUMPDEST 00000260: PUSH1 0x40 00000262: MLOAD 00000263: SWAP1 00000264: DUP2 00000265: MSTORE 00000266: PUSH1 0x20 00000268: ADD 00000269: PUSH1 0x40 0000026b: MLOAD 0000026c: DUP1 0000026d: SWAP2 0000026e: SUB 0000026f: SWAP1 00000270: RETURN 00000271: JUMPDEST 00000272: PUSH2 0x0285 00000275: PUSH1 0x01 00000277: PUSH1 0xa0 00000279: PUSH1 0x02 0000027b: EXP 0000027c: SUB 0000027d: PUSH1 0x04 0000027f: CALLDATALOAD 00000280: AND 00000281: PUSH2 0x0775 00000284: JUMP 00000285: JUMPDEST 00000286: STOP 00000287: JUMPDEST 00000288: CALLVALUE 00000289: ISZERO 0000028a: PUSH2 0x0292 0000028d: JUMPI 0000028e: PUSH1 0x00 00000290: DUP1 00000291: REVERT 00000292: JUMPDEST 00000293: PUSH2 0x025f 00000296: PUSH2 0x07bb 00000299: JUMP 0000029a: JUMPDEST 0000029b: CALLVALUE 0000029c: ISZERO 0000029d: PUSH2 0x02a5 000002a0: JUMPI 000002a1: PUSH1 0x00 000002a3: DUP1 000002a4: REVERT 000002a5: JUMPDEST 000002a6: PUSH2 0x0285 000002a9: PUSH1 0x04 000002ab: DUP1 000002ac: CALLDATALOAD 000002ad: SWAP1 000002ae: PUSH1 0x24 000002b0: DUP1 000002b1: CALLDATALOAD 000002b2: SWAP1 000002b3: DUP2 000002b4: ADD 000002b5: SWAP2 000002b6: ADD 000002b7: CALLDATALOAD 000002b8: PUSH2 0x07c5 000002bb: JUMP 000002bc: JUMPDEST 000002bd: PUSH2 0x0285 000002c0: PUSH1 0x04 000002c2: CALLDATALOAD 000002c3: PUSH2 0x07ff 000002c6: JUMP 000002c7: JUMPDEST 000002c8: CALLVALUE 000002c9: ISZERO 000002ca: PUSH2 0x02d2 000002cd: JUMPI 000002ce: PUSH1 0x00 000002d0: DUP1 000002d1: REVERT 000002d2: JUMPDEST 000002d3: PUSH2 0x0285 000002d6: PUSH2 0x083c 000002d9: JUMP 000002da: JUMPDEST 000002db: CALLVALUE 000002dc: ISZERO 000002dd: PUSH2 0x02e5 000002e0: JUMPI 000002e1: PUSH1 0x00 000002e3: DUP1 000002e4: REVERT 000002e5: JUMPDEST 000002e6: PUSH2 0x0230 000002e9: PUSH1 0x04 000002eb: CALLDATALOAD 000002ec: PUSH2 0x088f 000002ef: JUMP 000002f0: JUMPDEST 000002f1: CALLVALUE 000002f2: ISZERO 000002f3: PUSH2 0x02fb 000002f6: JUMPI 000002f7: PUSH1 0x00 000002f9: DUP1 000002fa: REVERT 000002fb: JUMPDEST 000002fc: PUSH2 0x0285 000002ff: PUSH1 0x01 00000301: PUSH1 0xa0 00000303: PUSH1 0x02 00000305: EXP 00000306: SUB 00000307: PUSH1 0x04 00000309: CALLDATALOAD 0000030a: AND 0000030b: PUSH2 0x08aa 0000030e: JUMP 0000030f: JUMPDEST 00000310: CALLVALUE 00000311: ISZERO 00000312: PUSH2 0x031a 00000315: JUMPI 00000316: PUSH1 0x00 00000318: DUP1 00000319: REVERT 0000031a: JUMPDEST 0000031b: PUSH2 0x0230 0000031e: PUSH2 0x0909 00000321: JUMP 00000322: JUMPDEST 00000323: CALLVALUE 00000324: ISZERO 00000325: PUSH2 0x032d 00000328: JUMPI 00000329: PUSH1 0x00 0000032b: DUP1 0000032c: REVERT 0000032d: JUMPDEST 0000032e: PUSH2 0x0335 00000331: PUSH2 0x0918 00000334: JUMP 00000335: JUMPDEST 00000336: PUSH1 0x40 00000338: MLOAD 00000339: SWAP1 0000033a: ISZERO 0000033b: ISZERO 0000033c: DUP2 0000033d: MSTORE 0000033e: PUSH1 0x20 00000340: ADD 00000341: PUSH1 0x40 00000343: MLOAD 00000344: DUP1 00000345: SWAP2 00000346: SUB 00000347: SWAP1 00000348: RETURN 00000349: JUMPDEST 0000034a: CALLVALUE 0000034b: ISZERO 0000034c: PUSH2 0x0354 0000034f: JUMPI 00000350: PUSH1 0x00 00000352: DUP1 00000353: REVERT 00000354: JUMPDEST 00000355: PUSH2 0x0285 00000358: PUSH1 0x04 0000035a: CALLDATALOAD 0000035b: PUSH2 0x0928 0000035e: JUMP 0000035f: JUMPDEST 00000360: CALLVALUE 00000361: ISZERO 00000362: PUSH2 0x036a 00000365: JUMPI 00000366: PUSH1 0x00 00000368: DUP1 00000369: REVERT 0000036a: JUMPDEST 0000036b: PUSH2 0x0375 0000036e: PUSH1 0x04 00000370: CALLDATALOAD 00000371: PUSH2 0x09f6 00000374: JUMP 00000375: JUMPDEST 00000376: PUSH1 0x40 00000378: MLOAD 00000379: PUSH1 0x01 0000037b: PUSH1 0x80 0000037d: PUSH1 0x02 0000037f: EXP 00000380: SUB 00000381: SWAP3 00000382: DUP4 00000383: AND 00000384: DUP2 00000385: MSTORE 00000386: SWAP2 00000387: AND 00000388: PUSH1 0x20 0000038a: DUP3 0000038b: ADD 0000038c: MSTORE 0000038d: PUSH1 0x40 0000038f: SWAP1 00000390: DUP2 00000391: ADD 00000392: SWAP1 00000393: MLOAD 00000394: DUP1 00000395: SWAP2 00000396: SUB 00000397: SWAP1 00000398: RETURN 00000399: JUMPDEST 0000039a: CALLVALUE 0000039b: ISZERO 0000039c: PUSH2 0x03a4 0000039f: JUMPI 000003a0: PUSH1 0x00 000003a2: DUP1 000003a3: REVERT 000003a4: JUMPDEST 000003a5: PUSH2 0x025f 000003a8: PUSH1 0x01 000003aa: PUSH1 0xa0 000003ac: PUSH1 0x02 000003ae: EXP 000003af: SUB 000003b0: PUSH1 0x04 000003b2: CALLDATALOAD 000003b3: AND 000003b4: PUSH2 0x0a29 000003b7: JUMP 000003b8: JUMPDEST 000003b9: CALLVALUE 000003ba: ISZERO 000003bb: PUSH2 0x03c3 000003be: JUMPI 000003bf: PUSH1 0x00 000003c1: DUP1 000003c2: REVERT 000003c3: JUMPDEST 000003c4: PUSH2 0x0285 000003c7: PUSH1 0x01 000003c9: PUSH1 0xa0 000003cb: PUSH1 0x02 000003cd: EXP 000003ce: SUB 000003cf: PUSH1 0x04 000003d1: CALLDATALOAD 000003d2: AND 000003d3: PUSH2 0x0a3b 000003d6: JUMP 000003d7: JUMPDEST 000003d8: CALLVALUE 000003d9: ISZERO 000003da: PUSH2 0x03e2 000003dd: JUMPI 000003de: PUSH1 0x00 000003e0: DUP1 000003e1: REVERT 000003e2: JUMPDEST 000003e3: PUSH2 0x03ed 000003e6: PUSH1 0x04 000003e8: CALLDATALOAD 000003e9: PUSH2 0x0ae0 000003ec: JUMP 000003ed: JUMPDEST 000003ee: PUSH1 0x40 000003f0: MLOAD 000003f1: PUSH1 0x01 000003f3: PUSH1 0x80 000003f5: PUSH1 0x02 000003f7: EXP 000003f8: SUB 000003f9: SWAP1 000003fa: SWAP2 000003fb: AND 000003fc: DUP2 000003fd: MSTORE 000003fe: PUSH1 0x20 00000400: ADD 00000401: PUSH1 0x40 00000403: MLOAD 00000404: DUP1 00000405: SWAP2 00000406: SUB 00000407: SWAP1 00000408: RETURN 00000409: JUMPDEST 0000040a: CALLVALUE 0000040b: ISZERO 0000040c: PUSH2 0x0414 0000040f: JUMPI 00000410: PUSH1 0x00 00000412: DUP1 00000413: REVERT 00000414: JUMPDEST 00000415: PUSH2 0x0285 00000418: PUSH2 0x0afb 0000041b: JUMP 0000041c: JUMPDEST 0000041d: CALLVALUE 0000041e: ISZERO 0000041f: PUSH2 0x0427 00000422: JUMPI 00000423: PUSH1 0x00 00000425: DUP1 00000426: REVERT 00000427: JUMPDEST 00000428: PUSH2 0x0285 0000042b: PUSH2 0x0b24 0000042e: JUMP 0000042f: JUMPDEST 00000430: CALLVALUE 00000431: ISZERO 00000432: PUSH2 0x043a 00000435: JUMPI 00000436: PUSH1 0x00 00000438: DUP1 00000439: REVERT 0000043a: JUMPDEST 0000043b: PUSH2 0x044e 0000043e: PUSH1 0x01 00000440: PUSH1 0xa0 00000442: PUSH1 0x02 00000444: EXP 00000445: SUB 00000446: PUSH1 0x04 00000448: CALLDATALOAD 00000449: AND 0000044a: PUSH2 0x0b97 0000044d: JUMP 0000044e: JUMPDEST 0000044f: PUSH1 0x40 00000451: MLOAD 00000452: PUSH1 0x20 00000454: DUP1 00000455: DUP3 00000456: MSTORE 00000457: DUP2 00000458: SWAP1 00000459: DUP2 0000045a: ADD 0000045b: DUP4 0000045c: DUP2 0000045d: DUP2 0000045e: MLOAD 0000045f: DUP2 00000460: MSTORE 00000461: PUSH1 0x20 00000463: ADD 00000464: SWAP2 00000465: POP 00000466: DUP1 00000467: MLOAD 00000468: SWAP1 00000469: PUSH1 0x20 0000046b: ADD 0000046c: SWAP1 0000046d: PUSH1 0x20 0000046f: MUL 00000470: DUP1 00000471: DUP4 00000472: DUP4 00000473: PUSH1 0x00 00000475: JUMPDEST 00000476: DUP4 00000477: DUP2 00000478: LT 00000479: ISZERO 0000047a: PUSH2 0x048d 0000047d: JUMPI 0000047e: DUP1 0000047f: DUP3 00000480: ADD 00000481: MLOAD 00000482: DUP4 00000483: DUP3 00000484: ADD 00000485: MSTORE 00000486: PUSH1 0x20 00000488: ADD 00000489: PUSH2 0x0475 0000048c: JUMP 0000048d: JUMPDEST 0000048e: POP 0000048f: POP 00000490: POP 00000491: POP 00000492: SWAP1 00000493: POP 00000494: ADD 00000495: SWAP3 00000496: POP 00000497: POP 00000498: POP 00000499: PUSH1 0x40 0000049b: MLOAD 0000049c: DUP1 0000049d: SWAP2 0000049e: SUB 0000049f: SWAP1 000004a0: RETURN 000004a1: JUMPDEST 000004a2: CALLVALUE 000004a3: ISZERO 000004a4: PUSH2 0x04ac 000004a7: JUMPI 000004a8: PUSH1 0x00 000004aa: DUP1 000004ab: REVERT 000004ac: JUMPDEST 000004ad: PUSH2 0x0285 000004b0: PUSH1 0x04 000004b2: CALLDATALOAD 000004b3: PUSH1 0xff 000004b5: PUSH1 0x24 000004b7: CALLDATALOAD 000004b8: AND 000004b9: PUSH2 0x0c85 000004bc: JUMP 000004bd: JUMPDEST 000004be: CALLVALUE 000004bf: ISZERO 000004c0: PUSH2 0x04c8 000004c3: JUMPI 000004c4: PUSH1 0x00 000004c6: DUP1 000004c7: REVERT 000004c8: JUMPDEST 000004c9: PUSH2 0x025f 000004cc: PUSH1 0x04 000004ce: CALLDATALOAD 000004cf: PUSH1 0x01 000004d1: PUSH1 0xa0 000004d3: PUSH1 0x02 000004d5: EXP 000004d6: SUB 000004d7: PUSH1 0x24 000004d9: CALLDATALOAD 000004da: AND 000004db: PUSH2 0x0cfd 000004de: JUMP 000004df: JUMPDEST 000004e0: CALLVALUE 000004e1: ISZERO 000004e2: PUSH2 0x04ea 000004e5: JUMPI 000004e6: PUSH1 0x00 000004e8: DUP1 000004e9: REVERT 000004ea: JUMPDEST 000004eb: PUSH2 0x04f5 000004ee: PUSH1 0x04 000004f0: CALLDATALOAD 000004f1: PUSH2 0x0d3f 000004f4: JUMP 000004f5: JUMPDEST 000004f6: PUSH1 0x40 000004f8: MLOAD 000004f9: PUSH1 0x20 000004fb: DUP1 000004fc: DUP3 000004fd: MSTORE 000004fe: DUP2 000004ff: SWAP1 00000500: DUP2 00000501: ADD 00000502: DUP4 00000503: DUP2 00000504: DUP2 00000505: MLOAD 00000506: DUP2 00000507: MSTORE 00000508: PUSH1 0x20 0000050a: ADD 0000050b: SWAP2 0000050c: POP 0000050d: DUP1 0000050e: MLOAD 0000050f: SWAP1 00000510: PUSH1 0x20 00000512: ADD 00000513: SWAP1 00000514: DUP1 00000515: DUP4 00000516: DUP4 00000517: PUSH1 0x00 00000519: JUMPDEST 0000051a: DUP4 0000051b: DUP2 0000051c: LT 0000051d: ISZERO 0000051e: PUSH2 0x0531 00000521: JUMPI 00000522: DUP1 00000523: DUP3 00000524: ADD 00000525: MLOAD 00000526: DUP4 00000527: DUP3 00000528: ADD 00000529: MSTORE 0000052a: PUSH1 0x20 0000052c: ADD 0000052d: PUSH2 0x0519 00000530: JUMP 00000531: JUMPDEST 00000532: POP 00000533: POP 00000534: POP 00000535: POP 00000536: SWAP1 00000537: POP 00000538: SWAP1 00000539: DUP2 0000053a: ADD 0000053b: SWAP1 0000053c: PUSH1 0x1f 0000053e: AND 0000053f: DUP1 00000540: ISZERO 00000541: PUSH2 0x055e 00000544: JUMPI 00000545: DUP1 00000546: DUP3 00000547: SUB 00000548: DUP1 00000549: MLOAD 0000054a: PUSH1 0x01 0000054c: DUP4 0000054d: PUSH1 0x20 0000054f: SUB 00000550: PUSH2 0x0100 00000553: EXP 00000554: SUB 00000555: NOT 00000556: AND 00000557: DUP2 00000558: MSTORE 00000559: PUSH1 0x20 0000055b: ADD 0000055c: SWAP2 0000055d: POP 0000055e: JUMPDEST 0000055f: POP 00000560: SWAP3 00000561: POP 00000562: POP 00000563: POP 00000564: PUSH1 0x40 00000566: MLOAD 00000567: DUP1 00000568: SWAP2 00000569: SUB 0000056a: SWAP1 0000056b: RETURN 0000056c: JUMPDEST 0000056d: CALLVALUE 0000056e: ISZERO 0000056f: PUSH2 0x0577 00000572: JUMPI 00000573: PUSH1 0x00 00000575: DUP1 00000576: REVERT 00000577: JUMPDEST 00000578: PUSH2 0x0285 0000057b: PUSH2 0x0def 0000057e: JUMP 0000057f: JUMPDEST 00000580: CALLVALUE 00000581: ISZERO 00000582: PUSH2 0x058a 00000585: JUMPI 00000586: PUSH1 0x00 00000588: DUP1 00000589: REVERT 0000058a: JUMPDEST 0000058b: PUSH2 0x0595 0000058e: PUSH1 0x04 00000590: CALLDATALOAD 00000591: PUSH2 0x0e7f 00000594: JUMP 00000595: JUMPDEST 00000596: PUSH1 0x40 00000598: MLOAD 00000599: PUSH1 0xff 0000059b: SWAP6 0000059c: DUP7 0000059d: AND 0000059e: DUP2 0000059f: MSTORE 000005a0: PUSH8 0xffffffffffffffff 000005a9: SWAP1 000005aa: SWAP5 000005ab: AND 000005ac: PUSH1 0x20 000005ae: DUP6 000005af: ADD 000005b0: MSTORE 000005b1: PUSH1 0x01 000005b3: PUSH1 0xa0 000005b5: PUSH1 0x02 000005b7: EXP 000005b8: SUB 000005b9: SWAP1 000005ba: SWAP3 000005bb: AND 000005bc: PUSH1 0x40 000005be: DUP1 000005bf: DUP6 000005c0: ADD 000005c1: SWAP2 000005c2: SWAP1 000005c3: SWAP2 000005c4: MSTORE 000005c5: PUSH2 0xffff 000005c8: SWAP1 000005c9: SWAP2 000005ca: AND 000005cb: PUSH1 0x60 000005cd: DUP5 000005ce: ADD 000005cf: MSTORE 000005d0: SWAP3 000005d1: AND 000005d2: PUSH1 0x80 000005d4: DUP3 000005d5: ADD 000005d6: MSTORE 000005d7: PUSH1 0xa0 000005d9: ADD 000005da: SWAP1 000005db: MLOAD 000005dc: DUP1 000005dd: SWAP2 000005de: SUB 000005df: SWAP1 000005e0: RETURN 000005e1: JUMPDEST 000005e2: CALLVALUE 000005e3: ISZERO 000005e4: PUSH2 0x05ec 000005e7: JUMPI 000005e8: PUSH1 0x00 000005ea: DUP1 000005eb: REVERT 000005ec: JUMPDEST 000005ed: PUSH2 0x0285 000005f0: PUSH1 0x01 000005f2: PUSH1 0xa0 000005f4: PUSH1 0x02 000005f6: EXP 000005f7: SUB 000005f8: PUSH1 0x04 000005fa: CALLDATALOAD 000005fb: DUP2 000005fc: AND 000005fd: SWAP1 000005fe: PUSH1 0x24 00000600: CALLDATALOAD 00000601: AND 00000602: PUSH1 0x44 00000604: CALLDATALOAD 00000605: PUSH2 0x0ede 00000608: JUMP 00000609: JUMPDEST 0000060a: CALLVALUE 0000060b: ISZERO 0000060c: PUSH2 0x0614 0000060f: JUMPI 00000610: PUSH1 0x00 00000612: DUP1 00000613: REVERT 00000614: JUMPDEST 00000615: PUSH2 0x025f 00000618: PUSH2 0x0f09 0000061b: JUMP 0000061c: JUMPDEST 0000061d: CALLVALUE 0000061e: ISZERO 0000061f: PUSH2 0x0627 00000622: JUMPI 00000623: PUSH1 0x00 00000625: DUP1 00000626: REVERT 00000627: JUMPDEST 00000628: PUSH2 0x0285 0000062b: PUSH1 0x04 0000062d: CALLDATALOAD 0000062e: PUSH1 0x24 00000630: CALLDATALOAD 00000631: PUSH2 0x0f0f 00000634: JUMP 00000635: JUMPDEST 00000636: CALLVALUE 00000637: ISZERO 00000638: PUSH2 0x0640 0000063b: JUMPI 0000063c: PUSH1 0x00 0000063e: DUP1 0000063f: REVERT 00000640: JUMPDEST 00000641: PUSH2 0x025f 00000644: PUSH2 0x0fae 00000647: JUMP 00000648: JUMPDEST 00000649: CALLVALUE 0000064a: ISZERO 0000064b: PUSH2 0x0653 0000064e: JUMPI 0000064f: PUSH1 0x00 00000651: DUP1 00000652: REVERT 00000653: JUMPDEST 00000654: PUSH2 0x0230 00000657: PUSH2 0x0fb4 0000065a: JUMP 0000065b: JUMPDEST 0000065c: PUSH2 0x0285 0000065f: PUSH2 0x0fc3 00000662: JUMP 00000663: JUMPDEST 00000664: CALLVALUE 00000665: ISZERO 00000666: PUSH2 0x066e 00000669: JUMPI 0000066a: PUSH1 0x00 0000066c: DUP1 0000066d: REVERT 0000066e: JUMPDEST 0000066f: PUSH2 0x0285 00000672: PUSH1 0x01 00000674: PUSH1 0xa0 00000676: PUSH1 0x02 00000678: EXP 00000679: SUB 0000067a: PUSH1 0x04 0000067c: CALLDATALOAD 0000067d: AND 0000067e: PUSH2 0x0fe0 00000681: JUMP 00000682: JUMPDEST 00000683: CALLVALUE 00000684: ISZERO 00000685: PUSH2 0x068d 00000688: JUMPI 00000689: PUSH1 0x00 0000068b: DUP1 0000068c: REVERT 0000068d: JUMPDEST 0000068e: PUSH2 0x0285 00000691: PUSH1 0x04 00000693: CALLDATALOAD 00000694: PUSH1 0x01 00000696: PUSH1 0xa0 00000698: PUSH1 0x02 0000069a: EXP 0000069b: SUB 0000069c: PUSH1 0x24 0000069e: CALLDATALOAD 0000069f: AND 000006a0: PUSH2 0x103f 000006a3: JUMP 000006a4: JUMPDEST 000006a5: CALLVALUE 000006a6: ISZERO 000006a7: PUSH2 0x06af 000006aa: JUMPI 000006ab: PUSH1 0x00 000006ad: DUP1 000006ae: REVERT 000006af: JUMPDEST 000006b0: PUSH2 0x025f 000006b3: PUSH1 0x04 000006b5: CALLDATALOAD 000006b6: PUSH1 0x24 000006b8: CALLDATALOAD 000006b9: PUSH2 0x1122 000006bc: JUMP 000006bd: JUMPDEST 000006be: CALLVALUE 000006bf: ISZERO 000006c0: PUSH2 0x06c8 000006c3: JUMPI 000006c4: PUSH1 0x00 000006c6: DUP1 000006c7: REVERT 000006c8: JUMPDEST 000006c9: PUSH2 0x0285 000006cc: PUSH1 0x01 000006ce: PUSH1 0xa0 000006d0: PUSH1 0x02 000006d2: EXP 000006d3: SUB 000006d4: PUSH1 0x04 000006d6: CALLDATALOAD 000006d7: AND 000006d8: PUSH2 0x117f 000006db: JUMP 000006dc: JUMPDEST 000006dd: CALLVALUE 000006de: ISZERO 000006df: PUSH2 0x06e7 000006e2: JUMPI 000006e3: PUSH1 0x00 000006e5: DUP1 000006e6: REVERT 000006e7: JUMPDEST 000006e8: PUSH2 0x025f 000006eb: PUSH1 0x04 000006ed: CALLDATALOAD 000006ee: PUSH2 0x11c9 000006f1: JUMP 000006f2: JUMPDEST 000006f3: CALLVALUE 000006f4: ISZERO 000006f5: PUSH2 0x06fd 000006f8: JUMPI 000006f9: PUSH1 0x00 000006fb: DUP1 000006fc: REVERT 000006fd: JUMPDEST 000006fe: PUSH2 0x0230 00000701: PUSH2 0x11db 00000704: JUMP 00000705: JUMPDEST 00000706: CALLVALUE 00000707: ISZERO 00000708: PUSH2 0x0710 0000070b: JUMPI 0000070c: PUSH1 0x00 0000070e: DUP1 0000070f: REVERT 00000710: JUMPDEST 00000711: PUSH2 0x025f 00000714: PUSH1 0x04 00000716: CALLDATALOAD 00000717: PUSH1 0x24 00000719: CALLDATALOAD 0000071a: PUSH1 0x01 0000071c: PUSH1 0xa0 0000071e: PUSH1 0x02 00000720: EXP 00000721: SUB 00000722: PUSH1 0x44 00000724: CALLDATALOAD 00000725: DUP2 00000726: AND 00000727: SWAP1 00000728: PUSH1 0x64 0000072a: CALLDATALOAD 0000072b: AND 0000072c: PUSH2 0x11ea 0000072f: JUMP 00000730: JUMPDEST 00000731: CALLVALUE 00000732: ISZERO 00000733: PUSH2 0x073b 00000736: JUMPI 00000737: PUSH1 0x00 00000739: DUP1 0000073a: REVERT 0000073b: JUMPDEST 0000073c: PUSH2 0x0285 0000073f: PUSH1 0x01 00000741: PUSH1 0xa0 00000743: PUSH1 0x02 00000745: EXP 00000746: SUB 00000747: PUSH1 0x04 00000749: CALLDATALOAD 0000074a: AND 0000074b: PUSH2 0x121d 0000074e: JUMP 0000074f: JUMPDEST 00000750: PUSH1 0x09 00000752: SLOAD 00000753: PUSH1 0x01 00000755: PUSH1 0xa0 00000757: PUSH1 0x02 00000759: EXP 0000075a: SUB 0000075b: AND 0000075c: DUP2 0000075d: JUMP 0000075e: JUMPDEST 0000075f: PUSH1 0x0e 00000761: SLOAD 00000762: PUSH1 0x0c 00000764: SLOAD 00000765: PUSH1 0x01 00000767: PUSH1 0xa0 00000769: PUSH1 0x02 0000076b: EXP 0000076c: SUB 0000076d: ADDRESS 0000076e: AND 0000076f: BALANCE 00000770: SUB 00000771: SUB 00000772: JUMPDEST 00000773: SWAP1 00000774: JUMP 00000775: JUMPDEST 00000776: PUSH1 0x09 00000778: SLOAD 00000779: CALLER 0000077a: PUSH1 0x01 0000077c: PUSH1 0xa0 0000077e: PUSH1 0x02 00000780: EXP 00000781: SUB 00000782: SWAP1 00000783: DUP2 00000784: AND 00000785: SWAP2 00000786: AND 00000787: EQ 00000788: PUSH2 0x0790 0000078b: JUMPI 0000078c: PUSH1 0x00 0000078e: DUP1 0000078f: REVERT 00000790: JUMPDEST 00000791: PUSH1 0x01 00000793: PUSH1 0xa0 00000795: PUSH1 0x02 00000797: EXP 00000798: SUB 00000799: AND 0000079a: PUSH1 0x00 0000079c: SWAP1 0000079d: DUP2 0000079e: MSTORE 0000079f: PUSH1 0x0d 000007a1: PUSH1 0x20 000007a3: MSTORE 000007a4: PUSH1 0x40 000007a6: SWAP1 000007a7: KECCAK256 000007a8: DUP1 000007a9: SLOAD 000007aa: CALLVALUE 000007ab: SWAP1 000007ac: DUP2 000007ad: ADD 000007ae: SWAP1 000007af: SWAP2 000007b0: SSTORE 000007b1: PUSH1 0x0e 000007b3: DUP1 000007b4: SLOAD 000007b5: SWAP1 000007b6: SWAP2 000007b7: ADD 000007b8: SWAP1 000007b9: SSTORE 000007ba: JUMP 000007bb: JUMPDEST 000007bc: PUSH1 0x03 000007be: SLOAD 000007bf: PUSH1 0x00 000007c1: NOT 000007c2: ADD 000007c3: SWAP1 000007c4: JUMP 000007c5: JUMPDEST 000007c6: PUSH1 0x09 000007c8: SLOAD 000007c9: CALLER 000007ca: PUSH1 0x01 000007cc: PUSH1 0xa0 000007ce: PUSH1 0x02 000007d0: EXP 000007d1: SUB 000007d2: SWAP1 000007d3: DUP2 000007d4: AND 000007d5: SWAP2 000007d6: AND 000007d7: EQ 000007d8: PUSH2 0x07e0 000007db: JUMPI 000007dc: PUSH1 0x00 000007de: DUP1 000007df: REVERT 000007e0: JUMPDEST 000007e1: PUSH1 0x00 000007e3: DUP4 000007e4: DUP2 000007e5: MSTORE 000007e6: PUSH1 0x0f 000007e8: PUSH1 0x20 000007ea: MSTORE 000007eb: PUSH1 0x40 000007ed: SWAP1 000007ee: KECCAK256 000007ef: PUSH2 0x07f9 000007f2: SWAP1 000007f3: DUP4 000007f4: DUP4 000007f5: PUSH2 0x15ed 000007f8: JUMP 000007f9: JUMPDEST 000007fa: POP 000007fb: POP 000007fc: POP 000007fd: POP 000007fe: JUMP 000007ff: JUMPDEST 00000800: PUSH1 0x09 00000802: SLOAD 00000803: CALLER 00000804: PUSH1 0x01 00000806: PUSH1 0xa0 00000808: PUSH1 0x02 0000080a: EXP 0000080b: SUB 0000080c: SWAP1 0000080d: DUP2 0000080e: AND 0000080f: SWAP2 00000810: AND 00000811: EQ 00000812: PUSH2 0x081a 00000815: JUMPI 00000816: PUSH1 0x00 00000818: DUP1 00000819: REVERT 0000081a: JUMPDEST 0000081b: PUSH1 0x00 0000081d: SWAP1 0000081e: DUP2 0000081f: MSTORE 00000820: PUSH1 0x0b 00000822: PUSH1 0x20 00000824: MSTORE 00000825: PUSH1 0x40 00000827: SWAP1 00000828: KECCAK256 00000829: DUP1 0000082a: SLOAD 0000082b: CALLVALUE 0000082c: SWAP1 0000082d: DUP2 0000082e: ADD 0000082f: SWAP1 00000830: SWAP2 00000831: SSTORE 00000832: PUSH1 0x0c 00000834: DUP1 00000835: SLOAD 00000836: SWAP1 00000837: SWAP2 00000838: ADD 00000839: SWAP1 0000083a: SSTORE 0000083b: JUMP 0000083c: JUMPDEST 0000083d: PUSH1 0x00 0000083f: SLOAD 00000840: CALLER 00000841: PUSH1 0x01 00000843: PUSH1 0xa0 00000845: PUSH1 0x02 00000847: EXP 00000848: SUB 00000849: SWAP1 0000084a: DUP2 0000084b: AND 0000084c: SWAP2 0000084d: AND 0000084e: EQ 0000084f: PUSH2 0x0857 00000852: JUMPI 00000853: PUSH1 0x00 00000855: DUP1 00000856: REVERT 00000857: JUMPDEST 00000858: PUSH1 0x02 0000085a: SLOAD 0000085b: PUSH1 0xa0 0000085d: PUSH1 0x02 0000085f: EXP 00000860: SWAP1 00000861: DIV 00000862: PUSH1 0xff 00000864: AND 00000865: ISZERO 00000866: ISZERO 00000867: PUSH2 0x086f 0000086a: JUMPI 0000086b: PUSH1 0x00 0000086d: DUP1 0000086e: REVERT 0000086f: JUMPDEST 00000870: PUSH1 0x02 00000872: DUP1 00000873: SLOAD 00000874: PUSH21 0xff0000000000000000000000000000000000000000 0000088a: NOT 0000088b: AND 0000088c: SWAP1 0000088d: SSTORE 0000088e: JUMP 0000088f: JUMPDEST 00000890: PUSH1 0x07 00000892: PUSH1 0x20 00000894: MSTORE 00000895: PUSH1 0x00 00000897: SWAP1 00000898: DUP2 00000899: MSTORE 0000089a: PUSH1 0x40 0000089c: SWAP1 0000089d: KECCAK256 0000089e: SLOAD 0000089f: PUSH1 0x01 000008a1: PUSH1 0xa0 000008a3: PUSH1 0x02 000008a5: EXP 000008a6: SUB 000008a7: AND 000008a8: DUP2 000008a9: JUMP 000008aa: JUMPDEST 000008ab: PUSH1 0x00 000008ad: SLOAD 000008ae: CALLER 000008af: PUSH1 0x01 000008b1: PUSH1 0xa0 000008b3: PUSH1 0x02 000008b5: EXP 000008b6: SUB 000008b7: SWAP1 000008b8: DUP2 000008b9: AND 000008ba: SWAP2 000008bb: AND 000008bc: EQ 000008bd: PUSH2 0x08c5 000008c0: JUMPI 000008c1: PUSH1 0x00 000008c3: DUP1 000008c4: REVERT 000008c5: JUMPDEST 000008c6: PUSH1 0x01 000008c8: PUSH1 0xa0 000008ca: PUSH1 0x02 000008cc: EXP 000008cd: SUB 000008ce: DUP2 000008cf: AND 000008d0: ISZERO 000008d1: ISZERO 000008d2: PUSH2 0x08da 000008d5: JUMPI 000008d6: PUSH1 0x00 000008d8: DUP1 000008d9: REVERT 000008da: JUMPDEST 000008db: PUSH1 0x02 000008dd: DUP1 000008de: SLOAD 000008df: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008f4: NOT 000008f5: AND 000008f6: PUSH1 0x01 000008f8: PUSH1 0xa0 000008fa: PUSH1 0x02 000008fc: EXP 000008fd: SUB 000008fe: SWAP3 000008ff: SWAP1 00000900: SWAP3 00000901: AND 00000902: SWAP2 00000903: SWAP1 00000904: SWAP2 00000905: OR 00000906: SWAP1 00000907: SSTORE 00000908: JUMP 00000909: JUMPDEST 0000090a: PUSH1 0x02 0000090c: SLOAD 0000090d: PUSH1 0x01 0000090f: PUSH1 0xa0 00000911: PUSH1 0x02 00000913: EXP 00000914: SUB 00000915: AND 00000916: DUP2 00000917: JUMP 00000918: JUMPDEST 00000919: PUSH1 0x02 0000091b: SLOAD 0000091c: PUSH1 0xa0 0000091e: PUSH1 0x02 00000920: EXP 00000921: SWAP1 00000922: DIV 00000923: PUSH1 0xff 00000925: AND 00000926: DUP2 00000927: JUMP 00000928: JUMPDEST 00000929: PUSH1 0x09 0000092b: SLOAD 0000092c: PUSH1 0x00 0000092e: SWAP1 0000092f: DUP2 00000930: SWAP1 00000931: DUP2 00000932: SWAP1 00000933: CALLER 00000934: PUSH1 0x01 00000936: PUSH1 0xa0 00000938: PUSH1 0x02 0000093a: EXP 0000093b: SUB 0000093c: SWAP1 0000093d: DUP2 0000093e: AND 0000093f: SWAP2 00000940: AND 00000941: EQ 00000942: PUSH2 0x094a 00000945: JUMPI 00000946: PUSH1 0x00 00000948: DUP1 00000949: REVERT 0000094a: JUMPDEST 0000094b: PUSH1 0x03 0000094d: DUP1 0000094e: SLOAD 0000094f: DUP6 00000950: SWAP1 00000951: DUP2 00000952: LT 00000953: PUSH2 0x0958 00000956: JUMPI 00000957: INVALID 00000958: JUMPDEST 00000959: PUSH1 0x00 0000095b: SWAP2 0000095c: DUP3 0000095d: MSTORE 0000095e: PUSH1 0x20 00000960: SWAP1 00000961: SWAP2 00000962: KECCAK256 00000963: ADD 00000964: DUP1 00000965: SLOAD 00000966: SWAP1 00000967: SWAP4 00000968: POP 00000969: PUSH10 0x01000000000000000000 00000974: SWAP1 00000975: DIV 00000976: PUSH1 0x01 00000978: PUSH1 0xa0 0000097a: PUSH1 0x02 0000097c: EXP 0000097d: SUB 0000097e: AND 0000097f: SWAP2 00000980: POP 00000981: DUP2 00000982: ISZERO 00000983: ISZERO 00000984: PUSH2 0x098c 00000987: JUMPI 00000988: PUSH1 0x00 0000098a: DUP1 0000098b: REVERT 0000098c: JUMPDEST 0000098d: POP 0000098e: PUSH1 0x00 00000990: DUP4 00000991: DUP2 00000992: MSTORE 00000993: PUSH1 0x0b 00000995: PUSH1 0x20 00000997: MSTORE 00000998: PUSH1 0x40 0000099a: DUP2 0000099b: KECCAK256 0000099c: SLOAD 0000099d: SWAP1 0000099e: DUP2 0000099f: GT 000009a0: PUSH2 0x09a8 000009a3: JUMPI 000009a4: PUSH1 0x00 000009a6: DUP1 000009a7: REVERT 000009a8: JUMPDEST 000009a9: PUSH1 0x00 000009ab: DUP5 000009ac: DUP2 000009ad: MSTORE 000009ae: PUSH1 0x0b 000009b0: PUSH1 0x20 000009b2: MSTORE 000009b3: PUSH1 0x40 000009b5: DUP1 000009b6: DUP3 000009b7: KECCAK256 000009b8: SWAP2 000009b9: SWAP1 000009ba: SWAP2 000009bb: SSTORE 000009bc: PUSH1 0x0c 000009be: DUP1 000009bf: SLOAD 000009c0: DUP4 000009c1: SWAP1 000009c2: SUB 000009c3: SWAP1 000009c4: SSTORE 000009c5: PUSH1 0x01 000009c7: PUSH1 0xa0 000009c9: PUSH1 0x02 000009cb: EXP 000009cc: SUB 000009cd: DUP4 000009ce: AND 000009cf: SWAP1 000009d0: DUP3 000009d1: ISZERO 000009d2: PUSH2 0x08fc 000009d5: MUL 000009d6: SWAP1 000009d7: DUP4 000009d8: SWAP1 000009d9: MLOAD 000009da: PUSH1 0x00 000009dc: PUSH1 0x40 000009de: MLOAD 000009df: DUP1 000009e0: DUP4 000009e1: SUB 000009e2: DUP2 000009e3: DUP6 000009e4: DUP9 000009e5: DUP9 000009e6: CALL 000009e7: SWAP4 000009e8: POP 000009e9: POP 000009ea: POP 000009eb: POP 000009ec: ISZERO 000009ed: ISZERO 000009ee: PUSH2 0x07f9 000009f1: JUMPI 000009f2: PUSH1 0x00 000009f4: DUP1 000009f5: REVERT 000009f6: JUMPDEST 000009f7: PUSH1 0x0a 000009f9: PUSH1 0x20 000009fb: MSTORE 000009fc: PUSH1 0x00 000009fe: SWAP1 000009ff: DUP2 00000a00: MSTORE 00000a01: PUSH1 0x40 00000a03: SWAP1 00000a04: KECCAK256 00000a05: SLOAD 00000a06: PUSH1 0x01 00000a08: PUSH1 0x80 00000a0a: PUSH1 0x02 00000a0c: EXP 00000a0d: SUB 00000a0e: DUP1 00000a0f: DUP3 00000a10: AND 00000a11: SWAP2 00000a12: PUSH17 0x0100000000000000000000000000000000 00000a24: SWAP1 00000a25: DIV 00000a26: AND 00000a27: DUP3 00000a28: JUMP 00000a29: JUMPDEST 00000a2a: PUSH1 0x0d 00000a2c: PUSH1 0x20 00000a2e: MSTORE 00000a2f: PUSH1 0x00 00000a31: SWAP1 00000a32: DUP2 00000a33: MSTORE 00000a34: PUSH1 0x40 00000a36: SWAP1 00000a37: KECCAK256 00000a38: SLOAD 00000a39: DUP2 00000a3a: JUMP 00000a3b: JUMPDEST 00000a3c: PUSH1 0x02 00000a3e: SLOAD 00000a3f: PUSH1 0x00 00000a41: SWAP1 00000a42: CALLER 00000a43: PUSH1 0x01 00000a45: PUSH1 0xa0 00000a47: PUSH1 0x02 00000a49: EXP 00000a4a: SUB 00000a4b: SWAP1 00000a4c: DUP2 00000a4d: AND 00000a4e: SWAP2 00000a4f: AND 00000a50: EQ 00000a51: PUSH2 0x0a59 00000a54: JUMPI 00000a55: PUSH1 0x00 00000a57: DUP1 00000a58: REVERT 00000a59: JUMPDEST 00000a5a: PUSH2 0x0a61 00000a5d: PUSH2 0x075e 00000a60: JUMP 00000a61: JUMPDEST 00000a62: SWAP1 00000a63: POP 00000a64: PUSH1 0x01 00000a66: PUSH1 0xa0 00000a68: PUSH1 0x02 00000a6a: EXP 00000a6b: SUB 00000a6c: DUP3 00000a6d: AND 00000a6e: ISZERO 00000a6f: ISZERO 00000a70: PUSH2 0x0aab 00000a73: JUMPI 00000a74: PUSH1 0x02 00000a76: SLOAD 00000a77: PUSH1 0x01 00000a79: PUSH1 0xa0 00000a7b: PUSH1 0x02 00000a7d: EXP 00000a7e: SUB 00000a7f: AND 00000a80: DUP2 00000a81: ISZERO 00000a82: PUSH2 0x08fc 00000a85: MUL 00000a86: DUP3 00000a87: PUSH1 0x40 00000a89: MLOAD 00000a8a: PUSH1 0x00 00000a8c: PUSH1 0x40 00000a8e: MLOAD 00000a8f: DUP1 00000a90: DUP4 00000a91: SUB 00000a92: DUP2 00000a93: DUP6 00000a94: DUP9 00000a95: DUP9 00000a96: CALL 00000a97: SWAP4 00000a98: POP 00000a99: POP 00000a9a: POP 00000a9b: POP 00000a9c: ISZERO 00000a9d: ISZERO 00000a9e: PUSH2 0x0aa6 00000aa1: JUMPI 00000aa2: PUSH1 0x00 00000aa4: DUP1 00000aa5: REVERT 00000aa6: JUMPDEST 00000aa7: PUSH2 0x0adc 00000aaa: JUMP 00000aab: JUMPDEST 00000aac: PUSH1 0x01 00000aae: PUSH1 0xa0 00000ab0: PUSH1 0x02 00000ab2: EXP 00000ab3: SUB 00000ab4: DUP3 00000ab5: AND 00000ab6: DUP2 00000ab7: ISZERO 00000ab8: PUSH2 0x08fc 00000abb: MUL 00000abc: DUP3 00000abd: PUSH1 0x40 00000abf: MLOAD 00000ac0: PUSH1 0x00 00000ac2: PUSH1 0x40 00000ac4: MLOAD 00000ac5: DUP1 00000ac6: DUP4 00000ac7: SUB 00000ac8: DUP2 00000ac9: DUP6 00000aca: DUP9 00000acb: DUP9 00000acc: CALL 00000acd: SWAP4 00000ace: POP 00000acf: POP 00000ad0: POP 00000ad1: POP 00000ad2: ISZERO 00000ad3: ISZERO 00000ad4: PUSH2 0x0adc 00000ad7: JUMPI 00000ad8: PUSH1 0x00 00000ada: DUP1 00000adb: REVERT 00000adc: JUMPDEST 00000add: POP 00000ade: POP 00000adf: JUMP 00000ae0: JUMPDEST 00000ae1: PUSH1 0x06 00000ae3: PUSH1 0x20 00000ae5: MSTORE 00000ae6: PUSH1 0x00 00000ae8: SWAP1 00000ae9: DUP2 00000aea: MSTORE 00000aeb: PUSH1 0x40 00000aed: SWAP1 00000aee: KECCAK256 00000aef: SLOAD 00000af0: PUSH1 0x01 00000af2: PUSH1 0x80 00000af4: PUSH1 0x02 00000af6: EXP 00000af7: SUB 00000af8: AND 00000af9: DUP2 00000afa: JUMP 00000afb: JUMPDEST 00000afc: PUSH1 0x00 00000afe: SLOAD 00000aff: CALLER 00000b00: PUSH1 0x01 00000b02: PUSH1 0xa0 00000b04: PUSH1 0x02 00000b06: EXP 00000b07: SUB 00000b08: SWAP1 00000b09: DUP2 00000b0a: AND 00000b0b: SWAP2 00000b0c: AND 00000b0d: EQ 00000b0e: PUSH2 0x0b16 00000b11: JUMPI 00000b12: PUSH1 0x00 00000b14: DUP1 00000b15: REVERT 00000b16: JUMPDEST 00000b17: PUSH1 0x00 00000b19: SLOAD 00000b1a: PUSH1 0x01 00000b1c: PUSH1 0xa0 00000b1e: PUSH1 0x02 00000b20: EXP 00000b21: SUB 00000b22: AND 00000b23: SELFDESTRUCT 00000b24: JUMPDEST 00000b25: PUSH1 0x01 00000b27: SLOAD 00000b28: CALLER 00000b29: PUSH1 0x01 00000b2b: PUSH1 0xa0 00000b2d: PUSH1 0x02 00000b2f: EXP 00000b30: SUB 00000b31: SWAP1 00000b32: DUP2 00000b33: AND 00000b34: SWAP2 00000b35: AND 00000b36: EQ 00000b37: DUP1 00000b38: PUSH2 0x0b4f 00000b3b: JUMPI 00000b3c: POP 00000b3d: PUSH1 0x00 00000b3f: SLOAD 00000b40: CALLER 00000b41: PUSH1 0x01 00000b43: PUSH1 0xa0 00000b45: PUSH1 0x02 00000b47: EXP 00000b48: SUB 00000b49: SWAP1 00000b4a: DUP2 00000b4b: AND 00000b4c: SWAP2 00000b4d: AND 00000b4e: EQ 00000b4f: JUMPDEST 00000b50: ISZERO 00000b51: ISZERO 00000b52: PUSH2 0x0b5a 00000b55: JUMPI 00000b56: PUSH1 0x00 00000b58: DUP1 00000b59: REVERT 00000b5a: JUMPDEST 00000b5b: PUSH1 0x02 00000b5d: SLOAD 00000b5e: PUSH1 0xa0 00000b60: PUSH1 0x02 00000b62: EXP 00000b63: SWAP1 00000b64: DIV 00000b65: PUSH1 0xff 00000b67: AND 00000b68: ISZERO 00000b69: PUSH2 0x0b71 00000b6c: JUMPI 00000b6d: PUSH1 0x00 00000b6f: DUP1 00000b70: REVERT 00000b71: JUMPDEST 00000b72: PUSH1 0x02 00000b74: DUP1 00000b75: SLOAD 00000b76: PUSH21 0xff0000000000000000000000000000000000000000 00000b8c: NOT 00000b8d: AND 00000b8e: PUSH1 0xa0 00000b90: PUSH1 0x02 00000b92: EXP 00000b93: OR 00000b94: SWAP1 00000b95: SSTORE 00000b96: JUMP 00000b97: JUMPDEST 00000b98: PUSH2 0x0b9f 00000b9b: PUSH2 0x166b 00000b9e: JUMP 00000b9f: JUMPDEST 00000ba0: PUSH1 0x00 00000ba2: PUSH2 0x0ba9 00000ba5: PUSH2 0x166b 00000ba8: JUMP 00000ba9: JUMPDEST 00000baa: PUSH1 0x01 00000bac: PUSH1 0xa0 00000bae: PUSH1 0x02 00000bb0: EXP 00000bb1: SUB 00000bb2: DUP5 00000bb3: AND 00000bb4: PUSH1 0x00 00000bb6: SWAP1 00000bb7: DUP2 00000bb8: MSTORE 00000bb9: PUSH1 0x08 00000bbb: PUSH1 0x20 00000bbd: MSTORE 00000bbe: PUSH1 0x40 00000bc0: DUP2 00000bc1: KECCAK256 00000bc2: SLOAD 00000bc3: SWAP3 00000bc4: POP 00000bc5: DUP1 00000bc6: DUP1 00000bc7: DUP5 00000bc8: ISZERO 00000bc9: ISZERO 00000bca: PUSH2 0x0bf4 00000bcd: JUMPI 00000bce: PUSH1 0x00 00000bd0: PUSH1 0x40 00000bd2: MLOAD 00000bd3: DUP1 00000bd4: MSIZE 00000bd5: LT 00000bd6: PUSH2 0x0bdc 00000bd9: JUMPI 00000bda: POP 00000bdb: MSIZE 00000bdc: JUMPDEST 00000bdd: SWAP1 00000bde: DUP1 00000bdf: DUP3 00000be0: MSTORE 00000be1: DUP1 00000be2: PUSH1 0x20 00000be4: MUL 00000be5: PUSH1 0x20 00000be7: ADD 00000be8: DUP3 00000be9: ADD 00000bea: PUSH1 0x40 00000bec: MSTORE 00000bed: POP 00000bee: SWAP6 00000bef: POP 00000bf0: PUSH2 0x0c7b 00000bf3: JUMP 00000bf4: JUMPDEST 00000bf5: DUP5 00000bf6: PUSH1 0x40 00000bf8: MLOAD 00000bf9: DUP1 00000bfa: MSIZE 00000bfb: LT 00000bfc: PUSH2 0x0c02 00000bff: JUMPI 00000c00: POP 00000c01: MSIZE 00000c02: JUMPDEST 00000c03: SWAP1 00000c04: DUP1 00000c05: DUP3 00000c06: MSTORE 00000c07: DUP1 00000c08: PUSH1 0x20 00000c0a: MUL 00000c0b: PUSH1 0x20 00000c0d: ADD 00000c0e: DUP3 00000c0f: ADD 00000c10: PUSH1 0x40 00000c12: MSTORE 00000c13: POP 00000c14: SWAP4 00000c15: POP 00000c16: PUSH2 0x0c1d 00000c19: PUSH2 0x07bb 00000c1c: JUMP 00000c1d: JUMPDEST 00000c1e: SWAP3 00000c1f: POP 00000c20: PUSH1 0x00 00000c22: SWAP2 00000c23: POP 00000c24: PUSH1 0x01 00000c26: SWAP1 00000c27: POP 00000c28: JUMPDEST 00000c29: DUP3 00000c2a: DUP2 00000c2b: GT 00000c2c: PUSH2 0x0c77 00000c2f: JUMPI 00000c30: PUSH1 0x00 00000c32: DUP2 00000c33: DUP2 00000c34: MSTORE 00000c35: PUSH1 0x07 00000c37: PUSH1 0x20 00000c39: MSTORE 00000c3a: PUSH1 0x40 00000c3c: SWAP1 00000c3d: KECCAK256 00000c3e: SLOAD 00000c3f: PUSH1 0x01 00000c41: PUSH1 0xa0 00000c43: PUSH1 0x02 00000c45: EXP 00000c46: SUB 00000c47: DUP9 00000c48: DUP2 00000c49: AND 00000c4a: SWAP2 00000c4b: AND 00000c4c: EQ 00000c4d: ISZERO 00000c4e: PUSH2 0x0c6f 00000c51: JUMPI 00000c52: DUP1 00000c53: DUP5 00000c54: DUP4 00000c55: DUP2 00000c56: MLOAD 00000c57: DUP2 00000c58: LT 00000c59: PUSH2 0x0c5e 00000c5c: JUMPI 00000c5d: INVALID 00000c5e: JUMPDEST 00000c5f: PUSH1 0x20 00000c61: SWAP1 00000c62: DUP2 00000c63: MUL 00000c64: SWAP1 00000c65: SWAP2 00000c66: ADD 00000c67: ADD 00000c68: MSTORE 00000c69: PUSH1 0x01 00000c6b: SWAP1 00000c6c: SWAP2 00000c6d: ADD 00000c6e: SWAP1 00000c6f: JUMPDEST 00000c70: PUSH1 0x01 00000c72: ADD 00000c73: PUSH2 0x0c28 00000c76: JUMP 00000c77: JUMPDEST 00000c78: DUP4 00000c79: SWAP6 00000c7a: POP 00000c7b: JUMPDEST 00000c7c: POP 00000c7d: POP 00000c7e: POP 00000c7f: POP 00000c80: POP 00000c81: SWAP2 00000c82: SWAP1 00000c83: POP 00000c84: JUMP 00000c85: JUMPDEST 00000c86: PUSH1 0x09 00000c88: SLOAD 00000c89: PUSH1 0x00 00000c8b: SWAP1 00000c8c: DUP2 00000c8d: SWAP1 00000c8e: CALLER 00000c8f: PUSH1 0x01 00000c91: PUSH1 0xa0 00000c93: PUSH1 0x02 00000c95: EXP 00000c96: SUB 00000c97: SWAP1 00000c98: DUP2 00000c99: AND 00000c9a: SWAP2 00000c9b: AND 00000c9c: EQ 00000c9d: PUSH2 0x0ca5 00000ca0: JUMPI 00000ca1: PUSH1 0x00 00000ca3: DUP1 00000ca4: REVERT 00000ca5: JUMPDEST 00000ca6: DUP3 00000ca7: SWAP2 00000ca8: POP 00000ca9: PUSH1 0x03 00000cab: DUP1 00000cac: SLOAD 00000cad: DUP6 00000cae: SWAP1 00000caf: DUP2 00000cb0: LT 00000cb1: PUSH2 0x0cb6 00000cb4: JUMPI 00000cb5: INVALID 00000cb6: JUMPDEST 00000cb7: PUSH1 0x00 00000cb9: SWAP2 00000cba: DUP3 00000cbb: MSTORE 00000cbc: PUSH1 0x20 00000cbe: SWAP1 00000cbf: SWAP2 00000cc0: KECCAK256 00000cc1: ADD 00000cc2: DUP1 00000cc3: SLOAD 00000cc4: PUSH1 0xff 00000cc6: SWAP1 00000cc7: SWAP4 00000cc8: AND 00000cc9: PUSH1 0xf8 00000ccb: PUSH1 0x02 00000ccd: EXP 00000cce: MUL 00000ccf: PUSH31 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00000cef: SWAP1 00000cf0: SWAP4 00000cf1: AND 00000cf2: SWAP3 00000cf3: SWAP1 00000cf4: SWAP3 00000cf5: OR 00000cf6: SWAP1 00000cf7: SWAP2 00000cf8: SSTORE 00000cf9: POP 00000cfa: POP 00000cfb: POP 00000cfc: JUMP 00000cfd: JUMPDEST 00000cfe: PUSH1 0x00 00000d00: DUP3 00000d01: PUSH1 0xff 00000d03: DUP2 00000d04: AND 00000d05: DUP2 00000d06: EQ 00000d07: PUSH2 0x0d0f 00000d0a: JUMPI 00000d0b: PUSH1 0x00 00000d0d: DUP1 00000d0e: REVERT 00000d0f: JUMPDEST 00000d10: PUSH1 0xff 00000d12: DUP2 00000d13: AND 00000d14: PUSH1 0x00 00000d16: SWAP1 00000d17: DUP2 00000d18: MSTORE 00000d19: PUSH1 0x05 00000d1b: PUSH1 0x20 00000d1d: SWAP1 00000d1e: DUP2 00000d1f: MSTORE 00000d20: PUSH1 0x40 00000d22: DUP1 00000d23: DUP4 00000d24: KECCAK256 00000d25: PUSH1 0x01 00000d27: PUSH1 0xa0 00000d29: PUSH1 0x02 00000d2b: EXP 00000d2c: SUB 00000d2d: DUP8 00000d2e: AND 00000d2f: DUP5 00000d30: MSTORE 00000d31: SWAP1 00000d32: SWAP2 00000d33: MSTORE 00000d34: SWAP1 00000d35: KECCAK256 00000d36: SLOAD 00000d37: SWAP2 00000d38: POP 00000d39: POP 00000d3a: SWAP3 00000d3b: SWAP2 00000d3c: POP 00000d3d: POP 00000d3e: JUMP 00000d3f: JUMPDEST 00000d40: PUSH1 0x0f 00000d42: PUSH1 0x20 00000d44: MSTORE 00000d45: DUP1 00000d46: PUSH1 0x00 00000d48: MSTORE 00000d49: PUSH1 0x40 00000d4b: PUSH1 0x00 00000d4d: KECCAK256 00000d4e: PUSH1 0x00 00000d50: SWAP2 00000d51: POP 00000d52: SWAP1 00000d53: POP 00000d54: DUP1 00000d55: SLOAD 00000d56: PUSH1 0x01 00000d58: DUP2 00000d59: PUSH1 0x01 00000d5b: AND 00000d5c: ISZERO 00000d5d: PUSH2 0x0100 00000d60: MUL 00000d61: SUB 00000d62: AND 00000d63: PUSH1 0x02 00000d65: SWAP1 00000d66: DIV 00000d67: DUP1 00000d68: PUSH1 0x1f 00000d6a: ADD 00000d6b: PUSH1 0x20 00000d6d: DUP1 00000d6e: SWAP2 00000d6f: DIV 00000d70: MUL 00000d71: PUSH1 0x20 00000d73: ADD 00000d74: PUSH1 0x40 00000d76: MLOAD 00000d77: SWAP1 00000d78: DUP2 00000d79: ADD 00000d7a: PUSH1 0x40 00000d7c: MSTORE 00000d7d: DUP1 00000d7e: SWAP3 00000d7f: SWAP2 00000d80: SWAP1 00000d81: DUP2 00000d82: DUP2 00000d83: MSTORE 00000d84: PUSH1 0x20 00000d86: ADD 00000d87: DUP3 00000d88: DUP1 00000d89: SLOAD 00000d8a: PUSH1 0x01 00000d8c: DUP2 00000d8d: PUSH1 0x01 00000d8f: AND 00000d90: ISZERO 00000d91: PUSH2 0x0100 00000d94: MUL 00000d95: SUB 00000d96: AND 00000d97: PUSH1 0x02 00000d99: SWAP1 00000d9a: DIV 00000d9b: DUP1 00000d9c: ISZERO 00000d9d: PUSH2 0x0de7 00000da0: JUMPI 00000da1: DUP1 00000da2: PUSH1 0x1f 00000da4: LT 00000da5: PUSH2 0x0dbc 00000da8: JUMPI 00000da9: PUSH2 0x0100 00000dac: DUP1 00000dad: DUP4 00000dae: SLOAD 00000daf: DIV 00000db0: MUL 00000db1: DUP4 00000db2: MSTORE 00000db3: SWAP2 00000db4: PUSH1 0x20 00000db6: ADD 00000db7: SWAP2 00000db8: PUSH2 0x0de7 00000dbb: JUMP 00000dbc: JUMPDEST 00000dbd: DUP3 00000dbe: ADD 00000dbf: SWAP2 00000dc0: SWAP1 00000dc1: PUSH1 0x00 00000dc3: MSTORE 00000dc4: PUSH1 0x20 00000dc6: PUSH1 0x00 00000dc8: KECCAK256 00000dc9: SWAP1 00000dca: JUMPDEST 00000dcb: DUP2 00000dcc: SLOAD 00000dcd: DUP2 00000dce: MSTORE 00000dcf: SWAP1 00000dd0: PUSH1 0x01 00000dd2: ADD 00000dd3: SWAP1 00000dd4: PUSH1 0x20 00000dd6: ADD 00000dd7: DUP1 00000dd8: DUP4 00000dd9: GT 00000dda: PUSH2 0x0dca 00000ddd: JUMPI 00000dde: DUP3 00000ddf: SWAP1 00000de0: SUB 00000de1: PUSH1 0x1f 00000de3: AND 00000de4: DUP3 00000de5: ADD 00000de6: SWAP2 00000de7: JUMPDEST 00000de8: POP 00000de9: POP 00000dea: POP 00000deb: POP 00000dec: POP 00000ded: DUP2 00000dee: JUMP 00000def: JUMPDEST 00000df0: PUSH1 0x02 00000df2: SLOAD 00000df3: PUSH1 0x00 00000df5: SWAP1 00000df6: PUSH1 0xa0 00000df8: PUSH1 0x02 00000dfa: EXP 00000dfb: SWAP1 00000dfc: DIV 00000dfd: PUSH1 0xff 00000dff: AND 00000e00: ISZERO 00000e01: PUSH2 0x0e09 00000e04: JUMPI 00000e05: PUSH1 0x00 00000e07: DUP1 00000e08: REVERT 00000e09: JUMPDEST 00000e0a: POP 00000e0b: PUSH1 0x01 00000e0d: PUSH1 0xa0 00000e0f: PUSH1 0x02 00000e11: EXP 00000e12: SUB 00000e13: CALLER 00000e14: AND 00000e15: PUSH1 0x00 00000e17: SWAP1 00000e18: DUP2 00000e19: MSTORE 00000e1a: PUSH1 0x0d 00000e1c: PUSH1 0x20 00000e1e: MSTORE 00000e1f: PUSH1 0x40 00000e21: DUP2 00000e22: KECCAK256 00000e23: SLOAD 00000e24: SWAP1 00000e25: DUP2 00000e26: GT 00000e27: PUSH2 0x0e2f 00000e2a: JUMPI 00000e2b: PUSH1 0x00 00000e2d: DUP1 00000e2e: REVERT 00000e2f: JUMPDEST 00000e30: PUSH1 0x01 00000e32: PUSH1 0xa0 00000e34: PUSH1 0x02 00000e36: EXP 00000e37: SUB 00000e38: CALLER 00000e39: AND 00000e3a: PUSH1 0x00 00000e3c: DUP2 00000e3d: DUP2 00000e3e: MSTORE 00000e3f: PUSH1 0x0d 00000e41: PUSH1 0x20 00000e43: MSTORE 00000e44: PUSH1 0x40 00000e46: DUP1 00000e47: DUP3 00000e48: KECCAK256 00000e49: SWAP2 00000e4a: SWAP1 00000e4b: SWAP2 00000e4c: SSTORE 00000e4d: PUSH1 0x0e 00000e4f: DUP1 00000e50: SLOAD 00000e51: DUP5 00000e52: SWAP1 00000e53: SUB 00000e54: SWAP1 00000e55: SSTORE 00000e56: DUP3 00000e57: ISZERO 00000e58: PUSH2 0x08fc 00000e5b: MUL 00000e5c: SWAP1 00000e5d: DUP4 00000e5e: SWAP1 00000e5f: MLOAD 00000e60: PUSH1 0x00 00000e62: PUSH1 0x40 00000e64: MLOAD 00000e65: DUP1 00000e66: DUP4 00000e67: SUB 00000e68: DUP2 00000e69: DUP6 00000e6a: DUP9 00000e6b: DUP9 00000e6c: CALL 00000e6d: SWAP4 00000e6e: POP 00000e6f: POP 00000e70: POP 00000e71: POP 00000e72: ISZERO 00000e73: ISZERO 00000e74: PUSH2 0x0e7c 00000e77: JUMPI 00000e78: PUSH1 0x00 00000e7a: DUP1 00000e7b: REVERT 00000e7c: JUMPDEST 00000e7d: POP 00000e7e: JUMP 00000e7f: JUMPDEST 00000e80: PUSH1 0x03 00000e82: DUP1 00000e83: SLOAD 00000e84: DUP3 00000e85: SWAP1 00000e86: DUP2 00000e87: LT 00000e88: PUSH2 0x0e8d 00000e8b: JUMPI 00000e8c: INVALID 00000e8d: JUMPDEST 00000e8e: PUSH1 0x00 00000e90: SWAP2 00000e91: DUP3 00000e92: MSTORE 00000e93: PUSH1 0x20 00000e95: SWAP1 00000e96: SWAP2 00000e97: KECCAK256 00000e98: ADD 00000e99: SLOAD 00000e9a: PUSH1 0xff 00000e9c: DUP1 00000e9d: DUP3 00000e9e: AND 00000e9f: SWAP3 00000ea0: POP 00000ea1: PUSH8 0xffffffffffffffff 00000eaa: PUSH2 0x0100 00000ead: DUP4 00000eae: DIV 00000eaf: AND 00000eb0: SWAP2 00000eb1: PUSH1 0x01 00000eb3: PUSH1 0xa0 00000eb5: PUSH1 0x02 00000eb7: EXP 00000eb8: SUB 00000eb9: PUSH10 0x01000000000000000000 00000ec4: DUP3 00000ec5: DIV 00000ec6: AND 00000ec7: SWAP2 00000ec8: PUSH2 0xffff 00000ecb: PUSH1 0xe8 00000ecd: PUSH1 0x02 00000ecf: EXP 00000ed0: DUP4 00000ed1: DIV 00000ed2: AND 00000ed3: SWAP2 00000ed4: PUSH1 0xf8 00000ed6: PUSH1 0x02 00000ed8: EXP 00000ed9: SWAP1 00000eda: DIV 00000edb: AND 00000edc: DUP6 00000edd: JUMP 00000ede: JUMPDEST 00000edf: PUSH1 0x09 00000ee1: SLOAD 00000ee2: CALLER 00000ee3: PUSH1 0x01 00000ee5: PUSH1 0xa0 00000ee7: PUSH1 0x02 00000ee9: EXP 00000eea: SUB 00000eeb: SWAP1 00000eec: DUP2 00000eed: AND 00000eee: SWAP2 00000eef: AND 00000ef0: EQ 00000ef1: PUSH2 0x0ef9 00000ef4: JUMPI 00000ef5: PUSH1 0x00 00000ef7: DUP1 00000ef8: REVERT 00000ef9: JUMPDEST 00000efa: PUSH2 0x0f04 00000efd: DUP4 00000efe: DUP4 00000eff: DUP4 00000f00: PUSH2 0x127c 00000f03: JUMP 00000f04: JUMPDEST 00000f05: POP 00000f06: POP 00000f07: POP 00000f08: JUMP 00000f09: JUMPDEST 00000f0a: PUSH1 0x0e 00000f0c: SLOAD 00000f0d: DUP2 00000f0e: JUMP 00000f0f: JUMPDEST 00000f10: PUSH1 0x09 00000f12: SLOAD 00000f13: CALLER 00000f14: PUSH1 0x01 00000f16: PUSH1 0xa0 00000f18: PUSH1 0x02 00000f1a: EXP 00000f1b: SUB 00000f1c: SWAP1 00000f1d: DUP2 00000f1e: AND 00000f1f: SWAP2 00000f20: AND 00000f21: EQ 00000f22: PUSH2 0x0f2a 00000f25: JUMPI 00000f26: PUSH1 0x00 00000f28: DUP1 00000f29: REVERT 00000f2a: JUMPDEST 00000f2b: PUSH1 0x40 00000f2d: DUP1 00000f2e: MLOAD 00000f2f: SWAP1 00000f30: DUP2 00000f31: ADD 00000f32: PUSH1 0x40 00000f34: SWAP1 00000f35: DUP2 00000f36: MSTORE 00000f37: PUSH1 0x01 00000f39: PUSH1 0x80 00000f3b: PUSH1 0x02 00000f3d: EXP 00000f3e: SUB 00000f3f: TIMESTAMP 00000f40: DUP2 00000f41: AND 00000f42: DUP4 00000f43: MSTORE 00000f44: DUP4 00000f45: AND 00000f46: PUSH1 0x20 00000f48: DUP1 00000f49: DUP5 00000f4a: ADD 00000f4b: SWAP2 00000f4c: SWAP1 00000f4d: SWAP2 00000f4e: MSTORE 00000f4f: PUSH1 0x00 00000f51: DUP6 00000f52: DUP2 00000f53: MSTORE 00000f54: PUSH1 0x0a 00000f56: SWAP1 00000f57: SWAP2 00000f58: MSTORE 00000f59: KECCAK256 00000f5a: DUP2 00000f5b: MLOAD 00000f5c: DUP2 00000f5d: SLOAD 00000f5e: PUSH16 0xffffffffffffffffffffffffffffffff 00000f6f: NOT 00000f70: AND 00000f71: PUSH1 0x01 00000f73: PUSH1 0x80 00000f75: PUSH1 0x02 00000f77: EXP 00000f78: SUB 00000f79: SWAP2 00000f7a: SWAP1 00000f7b: SWAP2 00000f7c: AND 00000f7d: OR 00000f7e: DUP2 00000f7f: SSTORE 00000f80: PUSH1 0x20 00000f82: DUP3 00000f83: ADD 00000f84: MLOAD 00000f85: DUP2 00000f86: SLOAD 00000f87: PUSH1 0x01 00000f89: PUSH1 0x80 00000f8b: PUSH1 0x02 00000f8d: EXP 00000f8e: SUB 00000f8f: SWAP2 00000f90: DUP3 00000f91: AND 00000f92: PUSH17 0x0100000000000000000000000000000000 00000fa4: MUL 00000fa5: SWAP2 00000fa6: AND 00000fa7: OR 00000fa8: SWAP1 00000fa9: SSTORE 00000faa: POP 00000fab: POP 00000fac: POP 00000fad: JUMP 00000fae: JUMPDEST 00000faf: PUSH1 0x0c 00000fb1: SLOAD 00000fb2: DUP2 00000fb3: JUMP 00000fb4: JUMPDEST 00000fb5: PUSH1 0x01 00000fb7: SLOAD 00000fb8: PUSH1 0x01 00000fba: PUSH1 0xa0 00000fbc: PUSH1 0x02 00000fbe: EXP 00000fbf: SUB 00000fc0: AND 00000fc1: DUP2 00000fc2: JUMP 00000fc3: JUMPDEST 00000fc4: PUSH1 0x09 00000fc6: SLOAD 00000fc7: CALLER 00000fc8: PUSH1 0x01 00000fca: PUSH1 0xa0 00000fcc: PUSH1 0x02 00000fce: EXP 00000fcf: SUB 00000fd0: SWAP1 00000fd1: DUP2 00000fd2: AND 00000fd3: SWAP2 00000fd4: AND 00000fd5: EQ 00000fd6: PUSH2 0x0fde 00000fd9: JUMPI 00000fda: PUSH1 0x00 00000fdc: DUP1 00000fdd: REVERT 00000fde: JUMPDEST 00000fdf: JUMP 00000fe0: JUMPDEST 00000fe1: PUSH1 0x00 00000fe3: SLOAD 00000fe4: CALLER 00000fe5: PUSH1 0x01 00000fe7: PUSH1 0xa0 00000fe9: PUSH1 0x02 00000feb: EXP 00000fec: SUB 00000fed: SWAP1 00000fee: DUP2 00000fef: AND 00000ff0: SWAP2 00000ff1: AND 00000ff2: EQ 00000ff3: PUSH2 0x0ffb 00000ff6: JUMPI 00000ff7: PUSH1 0x00 00000ff9: DUP1 00000ffa: REVERT 00000ffb: JUMPDEST 00000ffc: PUSH1 0x01 00000ffe: PUSH1 0xa0 00001000: PUSH1 0x02 00001002: EXP 00001003: SUB 00001004: DUP2 00001005: AND 00001006: ISZERO 00001007: ISZERO 00001008: PUSH2 0x1010 0000100b: JUMPI 0000100c: PUSH1 0x00 0000100e: DUP1 0000100f: REVERT 00001010: JUMPDEST 00001011: PUSH1 0x01 00001013: DUP1 00001014: SLOAD 00001015: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000102a: NOT 0000102b: AND 0000102c: PUSH1 0x01 0000102e: PUSH1 0xa0 00001030: PUSH1 0x02 00001032: EXP 00001033: SUB 00001034: SWAP3 00001035: SWAP1 00001036: SWAP3 00001037: AND 00001038: SWAP2 00001039: SWAP1 0000103a: SWAP2 0000103b: OR 0000103c: SWAP1 0000103d: SSTORE 0000103e: JUMP 0000103f: JUMPDEST 00001040: PUSH1 0x09 00001042: SLOAD 00001043: PUSH1 0x00 00001045: SWAP1 00001046: CALLER 00001047: PUSH1 0x01 00001049: PUSH1 0xa0 0000104b: PUSH1 0x02 0000104d: EXP 0000104e: SUB 0000104f: SWAP1 00001050: DUP2 00001051: AND 00001052: SWAP2 00001053: AND 00001054: EQ 00001055: PUSH2 0x105d 00001058: JUMPI 00001059: PUSH1 0x00 0000105b: DUP1 0000105c: REVERT 0000105d: JUMPDEST 0000105e: PUSH1 0x03 00001060: DUP1 00001061: SLOAD 00001062: DUP5 00001063: SWAP1 00001064: DUP2 00001065: LT 00001066: PUSH2 0x106b 00001069: JUMPI 0000106a: INVALID 0000106b: JUMPDEST 0000106c: PUSH1 0x00 0000106e: SWAP2 0000106f: DUP3 00001070: MSTORE 00001071: PUSH1 0x20 00001073: SWAP1 00001074: SWAP2 00001075: KECCAK256 00001076: ADD 00001077: DUP1 00001078: SLOAD 00001079: SWAP1 0000107a: SWAP2 0000107b: POP 0000107c: PUSH10 0x01000000000000000000 00001087: SWAP1 00001088: DIV 00001089: PUSH1 0x01 0000108b: PUSH1 0xa0 0000108d: PUSH1 0x02 0000108f: EXP 00001090: SUB 00001091: AND 00001092: ISZERO 00001093: ISZERO 00001094: PUSH2 0x10a0 00001097: JUMPI 00001098: PUSH2 0x10a0 0000109b: DUP4 0000109c: PUSH2 0x1308 0000109f: JUMP 000010a0: JUMPDEST 000010a1: DUP1 000010a2: SLOAD 000010a3: PUSH2 0xffff 000010a6: PUSH1 0xe8 000010a8: PUSH1 0x02 000010aa: EXP 000010ab: PUSH1 0x01 000010ad: PUSH1 0xa0 000010af: PUSH1 0x02 000010b1: EXP 000010b2: SUB 000010b3: SWAP1 000010b4: SWAP5 000010b5: AND 000010b6: PUSH10 0x01000000000000000000 000010c1: MUL 000010c2: PUSH29 0xffffffffffffffffffffffffffffffffffffffff000000000000000000 000010e0: NOT 000010e1: SWAP1 000010e2: SWAP3 000010e3: AND 000010e4: SWAP2 000010e5: SWAP1 000010e6: SWAP2 000010e7: OR 000010e8: DUP4 000010e9: DUP2 000010ea: DIV 000010eb: DUP3 000010ec: AND 000010ed: PUSH1 0x01 000010ef: ADD 000010f0: SWAP1 000010f1: SWAP2 000010f2: AND 000010f3: SWAP1 000010f4: SWAP3 000010f5: MUL 000010f6: PUSH32 0xff0000ffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00001117: SWAP1 00001118: SWAP3 00001119: AND 0000111a: SWAP2 0000111b: SWAP1 0000111c: SWAP2 0000111d: OR 0000111e: SWAP1 0000111f: SSTORE 00001120: POP 00001121: JUMP 00001122: JUMPDEST 00001123: PUSH1 0x00 00001125: DUP3 00001126: DUP2 00001127: PUSH1 0xff 00001129: DUP3 0000112a: AND 0000112b: DUP3 0000112c: EQ 0000112d: PUSH2 0x1135 00001130: JUMPI 00001131: PUSH1 0x00 00001133: DUP1 00001134: REVERT 00001135: JUMPDEST 00001136: POP 00001137: DUP3 00001138: PUSH8 0xffffffffffffffff 00001141: DUP2 00001142: AND 00001143: DUP2 00001144: EQ 00001145: PUSH2 0x114d 00001148: JUMPI 00001149: PUSH1 0x00 0000114b: DUP1 0000114c: REVERT 0000114d: JUMPDEST 0000114e: PUSH1 0xff 00001150: DUP3 00001151: AND 00001152: PUSH1 0x00 00001154: SWAP1 00001155: DUP2 00001156: MSTORE 00001157: PUSH1 0x04 00001159: PUSH1 0x20 0000115b: SWAP1 0000115c: DUP2 0000115d: MSTORE 0000115e: PUSH1 0x40 00001160: DUP1 00001161: DUP4 00001162: KECCAK256 00001163: PUSH8 0xffffffffffffffff 0000116c: DUP6 0000116d: AND 0000116e: DUP5 0000116f: MSTORE 00001170: SWAP1 00001171: SWAP2 00001172: MSTORE 00001173: SWAP1 00001174: KECCAK256 00001175: SLOAD 00001176: SWAP3 00001177: POP 00001178: POP 00001179: POP 0000117a: SWAP3 0000117b: SWAP2 0000117c: POP 0000117d: POP 0000117e: JUMP 0000117f: JUMPDEST 00001180: PUSH1 0x00 00001182: SLOAD 00001183: CALLER 00001184: PUSH1 0x01 00001186: PUSH1 0xa0 00001188: PUSH1 0x02 0000118a: EXP 0000118b: SUB 0000118c: SWAP1 0000118d: DUP2 0000118e: AND 0000118f: SWAP2 00001190: AND 00001191: EQ 00001192: PUSH2 0x119a 00001195: JUMPI 00001196: PUSH1 0x00 00001198: DUP1 00001199: REVERT 0000119a: JUMPDEST 0000119b: PUSH1 0x09 0000119d: DUP1 0000119e: SLOAD 0000119f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011b4: NOT 000011b5: AND 000011b6: PUSH1 0x01 000011b8: PUSH1 0xa0 000011ba: PUSH1 0x02 000011bc: EXP 000011bd: SUB 000011be: SWAP3 000011bf: SWAP1 000011c0: SWAP3 000011c1: AND 000011c2: SWAP2 000011c3: SWAP1 000011c4: SWAP2 000011c5: OR 000011c6: SWAP1 000011c7: SSTORE 000011c8: JUMP 000011c9: JUMPDEST 000011ca: PUSH1 0x0b 000011cc: PUSH1 0x20 000011ce: MSTORE 000011cf: PUSH1 0x00 000011d1: SWAP1 000011d2: DUP2 000011d3: MSTORE 000011d4: PUSH1 0x40 000011d6: SWAP1 000011d7: KECCAK256 000011d8: SLOAD 000011d9: DUP2 000011da: JUMP 000011db: JUMPDEST 000011dc: PUSH1 0x00 000011de: SLOAD 000011df: PUSH1 0x01 000011e1: PUSH1 0xa0 000011e3: PUSH1 0x02 000011e5: EXP 000011e6: SUB 000011e7: AND 000011e8: DUP2 000011e9: JUMP 000011ea: JUMPDEST 000011eb: PUSH1 0x09 000011ed: SLOAD 000011ee: PUSH1 0x00 000011f0: SWAP1 000011f1: CALLER 000011f2: PUSH1 0x01 000011f4: PUSH1 0xa0 000011f6: PUSH1 0x02 000011f8: EXP 000011f9: SUB 000011fa: SWAP1 000011fb: DUP2 000011fc: AND 000011fd: SWAP2 000011fe: AND 000011ff: EQ 00001200: PUSH2 0x1208 00001203: JUMPI 00001204: PUSH1 0x00 00001206: DUP1 00001207: REVERT 00001208: JUMPDEST 00001209: PUSH2 0x1214 0000120c: DUP6 0000120d: DUP6 0000120e: DUP6 0000120f: DUP6 00001210: PUSH2 0x133a 00001213: JUMP 00001214: JUMPDEST 00001215: SWAP6 00001216: SWAP5 00001217: POP 00001218: POP 00001219: POP 0000121a: POP 0000121b: POP 0000121c: JUMP 0000121d: JUMPDEST 0000121e: PUSH1 0x00 00001220: SLOAD 00001221: CALLER 00001222: PUSH1 0x01 00001224: PUSH1 0xa0 00001226: PUSH1 0x02 00001228: EXP 00001229: SUB 0000122a: SWAP1 0000122b: DUP2 0000122c: AND 0000122d: SWAP2 0000122e: AND 0000122f: EQ 00001230: PUSH2 0x1238 00001233: JUMPI 00001234: PUSH1 0x00 00001236: DUP1 00001237: REVERT 00001238: JUMPDEST 00001239: PUSH1 0x01 0000123b: PUSH1 0xa0 0000123d: PUSH1 0x02 0000123f: EXP 00001240: SUB 00001241: DUP2 00001242: AND 00001243: ISZERO 00001244: ISZERO 00001245: PUSH2 0x124d 00001248: JUMPI 00001249: PUSH1 0x00 0000124b: DUP1 0000124c: REVERT 0000124d: JUMPDEST 0000124e: PUSH1 0x00 00001250: DUP1 00001251: SLOAD 00001252: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001267: NOT 00001268: AND 00001269: PUSH1 0x01 0000126b: PUSH1 0xa0 0000126d: PUSH1 0x02 0000126f: EXP 00001270: SUB 00001271: SWAP3 00001272: SWAP1 00001273: SWAP3 00001274: AND 00001275: SWAP2 00001276: SWAP1 00001277: SWAP2 00001278: OR 00001279: SWAP1 0000127a: SSTORE 0000127b: JUMP 0000127c: JUMPDEST 0000127d: PUSH1 0x02 0000127f: SLOAD 00001280: PUSH1 0xa0 00001282: PUSH1 0x02 00001284: EXP 00001285: SWAP1 00001286: DIV 00001287: PUSH1 0xff 00001289: AND 0000128a: ISZERO 0000128b: PUSH2 0x1293 0000128e: JUMPI 0000128f: PUSH1 0x00 00001291: DUP1 00001292: REVERT 00001293: JUMPDEST 00001294: PUSH1 0x01 00001296: PUSH1 0xa0 00001298: PUSH1 0x02 0000129a: EXP 0000129b: SUB 0000129c: DUP1 0000129d: DUP4 0000129e: AND 0000129f: PUSH1 0x00 000012a1: DUP2 000012a2: DUP2 000012a3: MSTORE 000012a4: PUSH1 0x08 000012a6: PUSH1 0x20 000012a8: SWAP1 000012a9: DUP2 000012aa: MSTORE 000012ab: PUSH1 0x40 000012ad: DUP1 000012ae: DUP4 000012af: KECCAK256 000012b0: DUP1 000012b1: SLOAD 000012b2: PUSH1 0x01 000012b4: ADD 000012b5: SWAP1 000012b6: SSTORE 000012b7: DUP6 000012b8: DUP4 000012b9: MSTORE 000012ba: PUSH1 0x07 000012bc: SWAP1 000012bd: SWAP2 000012be: MSTORE 000012bf: SWAP1 000012c0: KECCAK256 000012c1: DUP1 000012c2: SLOAD 000012c3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012d8: NOT 000012d9: AND 000012da: SWAP1 000012db: SWAP2 000012dc: OR 000012dd: SWAP1 000012de: SSTORE 000012df: DUP4 000012e0: AND 000012e1: ISZERO 000012e2: PUSH2 0x0f04 000012e5: JUMPI 000012e6: POP 000012e7: POP 000012e8: PUSH1 0x01 000012ea: PUSH1 0xa0 000012ec: PUSH1 0x02 000012ee: EXP 000012ef: SUB 000012f0: AND 000012f1: PUSH1 0x00 000012f3: SWAP1 000012f4: DUP2 000012f5: MSTORE 000012f6: PUSH1 0x08 000012f8: PUSH1 0x20 000012fa: MSTORE 000012fb: PUSH1 0x40 000012fd: SWAP1 000012fe: KECCAK256 000012ff: DUP1 00001300: SLOAD 00001301: PUSH1 0x00 00001303: NOT 00001304: ADD 00001305: SWAP1 00001306: SSTORE 00001307: JUMP 00001308: JUMPDEST 00001309: PUSH1 0x00 0000130b: SWAP1 0000130c: DUP2 0000130d: MSTORE 0000130e: PUSH1 0x06 00001310: PUSH1 0x20 00001312: MSTORE 00001313: PUSH1 0x40 00001315: SWAP1 00001316: KECCAK256 00001317: DUP1 00001318: SLOAD 00001319: PUSH16 0xffffffffffffffffffffffffffffffff 0000132a: NOT 0000132b: AND 0000132c: TIMESTAMP 0000132d: PUSH1 0x01 0000132f: PUSH1 0x80 00001331: PUSH1 0x02 00001333: EXP 00001334: SUB 00001335: AND 00001336: OR 00001337: SWAP1 00001338: SSTORE 00001339: JUMP 0000133a: JUMPDEST 0000133b: PUSH1 0x00 0000133d: DUP1 0000133e: PUSH1 0x00 00001340: DUP1 00001341: PUSH2 0x1348 00001344: PUSH2 0x167d 00001347: JUMP 00001348: JUMPDEST 00001349: PUSH1 0x02 0000134b: SLOAD 0000134c: PUSH1 0x00 0000134e: SWAP1 0000134f: PUSH1 0xa0 00001351: PUSH1 0x02 00001353: EXP 00001354: SWAP1 00001355: DIV 00001356: PUSH1 0xff 00001358: AND 00001359: ISZERO 0000135a: PUSH2 0x1362 0000135d: JUMPI 0000135e: PUSH1 0x00 00001360: DUP1 00001361: REVERT 00001362: JUMPDEST 00001363: DUP10 00001364: SWAP5 00001365: POP 00001366: PUSH1 0xff 00001368: DUP6 00001369: AND 0000136a: DUP6 0000136b: EQ 0000136c: PUSH2 0x1374 0000136f: JUMPI 00001370: PUSH1 0x00 00001372: DUP1 00001373: REVERT 00001374: JUMPDEST 00001375: DUP9 00001376: SWAP4 00001377: POP 00001378: PUSH8 0xffffffffffffffff 00001381: DUP5 00001382: AND 00001383: DUP5 00001384: EQ 00001385: PUSH2 0x138d 00001388: JUMPI 00001389: PUSH1 0x00 0000138b: DUP1 0000138c: REVERT 0000138d: JUMPDEST 0000138e: PUSH1 0x00 00001390: SWAP3 00001391: POP 00001392: PUSH1 0x01 00001394: PUSH1 0xa0 00001396: PUSH1 0x02 00001398: EXP 00001399: SUB 0000139a: DUP8 0000139b: AND 0000139c: ISZERO 0000139d: PUSH2 0x13a5 000013a0: JUMPI 000013a1: PUSH1 0x01 000013a3: SWAP3 000013a4: POP 000013a5: JUMPDEST 000013a6: PUSH1 0xa0 000013a8: PUSH1 0x40 000013aa: MLOAD 000013ab: SWAP1 000013ac: DUP2 000013ad: ADD 000013ae: PUSH1 0x40 000013b0: SWAP1 000013b1: DUP2 000013b2: MSTORE 000013b3: PUSH1 0xff 000013b5: DUP8 000013b6: AND 000013b7: DUP3 000013b8: MSTORE 000013b9: PUSH8 0xffffffffffffffff 000013c2: DUP7 000013c3: AND 000013c4: PUSH1 0x20 000013c6: DUP4 000013c7: ADD 000013c8: MSTORE 000013c9: PUSH1 0x01 000013cb: PUSH1 0xa0 000013cd: PUSH1 0x02 000013cf: EXP 000013d0: SUB 000013d1: DUP10 000013d2: AND 000013d3: SWAP1 000013d4: DUP3 000013d5: ADD 000013d6: MSTORE 000013d7: PUSH2 0xffff 000013da: DUP5 000013db: AND 000013dc: PUSH1 0x60 000013de: DUP3 000013df: ADD 000013e0: MSTORE 000013e1: PUSH1 0x00 000013e3: PUSH1 0x80 000013e5: DUP3 000013e6: ADD 000013e7: MSTORE 000013e8: PUSH1 0x03 000013ea: DUP1 000013eb: SLOAD 000013ec: SWAP2 000013ed: SWAP4 000013ee: POP 000013ef: PUSH1 0x01 000013f1: SWAP2 000013f2: DUP1 000013f3: DUP4 000013f4: ADD 000013f5: PUSH2 0x13fe 000013f8: DUP4 000013f9: DUP3 000013fa: PUSH2 0x16ab 000013fd: JUMP 000013fe: JUMPDEST 000013ff: PUSH1 0x00 00001401: SWAP3 00001402: DUP4 00001403: MSTORE 00001404: PUSH1 0x20 00001406: SWAP1 00001407: SWAP3 00001408: KECCAK256 00001409: DUP6 0000140a: SWAP2 0000140b: ADD 0000140c: DUP2 0000140d: MLOAD 0000140e: DUP2 0000140f: SLOAD 00001410: PUSH1 0xff 00001412: NOT 00001413: AND 00001414: PUSH1 0xff 00001416: SWAP2 00001417: SWAP1 00001418: SWAP2 00001419: AND 0000141a: OR 0000141b: DUP2 0000141c: SSTORE 0000141d: PUSH1 0x20 0000141f: DUP3 00001420: ADD 00001421: MLOAD 00001422: DUP2 00001423: SLOAD 00001424: PUSH8 0xffffffffffffffff 0000142d: SWAP2 0000142e: SWAP1 0000142f: SWAP2 00001430: AND 00001431: PUSH2 0x0100 00001434: MUL 00001435: PUSH9 0xffffffffffffffff00 0000143f: NOT 00001440: SWAP1 00001441: SWAP2 00001442: AND 00001443: OR 00001444: DUP2 00001445: SSTORE 00001446: PUSH1 0x40 00001448: DUP3 00001449: ADD 0000144a: MLOAD 0000144b: DUP2 0000144c: SLOAD 0000144d: PUSH1 0x01 0000144f: PUSH1 0xa0 00001451: PUSH1 0x02 00001453: EXP 00001454: SUB 00001455: SWAP2 00001456: SWAP1 00001457: SWAP2 00001458: AND 00001459: PUSH10 0x01000000000000000000 00001464: MUL 00001465: PUSH29 0xffffffffffffffffffffffffffffffffffffffff000000000000000000 00001483: NOT 00001484: SWAP1 00001485: SWAP2 00001486: AND 00001487: OR 00001488: DUP2 00001489: SSTORE 0000148a: PUSH1 0x60 0000148c: DUP3 0000148d: ADD 0000148e: MLOAD 0000148f: DUP2 00001490: SLOAD 00001491: PUSH2 0xffff 00001494: SWAP2 00001495: SWAP1 00001496: SWAP2 00001497: AND 00001498: PUSH1 0xe8 0000149a: PUSH1 0x02 0000149c: EXP 0000149d: MUL 0000149e: PUSH32 0xff0000ffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 000014bf: SWAP1 000014c0: SWAP2 000014c1: AND 000014c2: OR 000014c3: DUP2 000014c4: SSTORE 000014c5: PUSH1 0x80 000014c7: DUP3 000014c8: ADD 000014c9: MLOAD 000014ca: DUP2 000014cb: SLOAD 000014cc: PUSH31 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 000014ec: AND 000014ed: PUSH1 0xf8 000014ef: PUSH1 0x02 000014f1: EXP 000014f2: PUSH1 0xff 000014f4: SWAP3 000014f5: DUP4 000014f6: AND 000014f7: MUL 000014f8: OR 000014f9: SWAP1 000014fa: SWAP2 000014fb: SSTORE 000014fc: DUP9 000014fd: AND 000014fe: PUSH1 0x00 00001500: SWAP1 00001501: DUP2 00001502: MSTORE 00001503: PUSH1 0x04 00001505: PUSH1 0x20 00001507: SWAP1 00001508: DUP2 00001509: MSTORE 0000150a: PUSH1 0x40 0000150c: DUP1 0000150d: DUP4 0000150e: KECCAK256 0000150f: PUSH8 0xffffffffffffffff 00001518: DUP12 00001519: AND 0000151a: DUP5 0000151b: MSTORE 0000151c: SWAP1 0000151d: SWAP2 0000151e: MSTORE 0000151f: SWAP1 00001520: KECCAK256 00001521: SWAP3 00001522: SWAP1 00001523: SWAP2 00001524: SUB 00001525: SWAP2 00001526: DUP3 00001527: SWAP1 00001528: SSTORE 00001529: POP 0000152a: SWAP1 0000152b: POP 0000152c: PUSH1 0x01 0000152e: PUSH1 0xa0 00001530: PUSH1 0x02 00001532: EXP 00001533: SUB 00001534: DUP8 00001535: AND 00001536: ISZERO 00001537: PUSH2 0x156c 0000153a: JUMPI 0000153b: PUSH1 0xff 0000153d: DUP6 0000153e: AND 0000153f: PUSH1 0x00 00001541: SWAP1 00001542: DUP2 00001543: MSTORE 00001544: PUSH1 0x05 00001546: PUSH1 0x20 00001548: SWAP1 00001549: DUP2 0000154a: MSTORE 0000154b: PUSH1 0x40 0000154d: DUP1 0000154e: DUP4 0000154f: KECCAK256 00001550: PUSH1 0x01 00001552: PUSH1 0xa0 00001554: PUSH1 0x02 00001556: EXP 00001557: SUB 00001558: DUP12 00001559: AND 0000155a: DUP5 0000155b: MSTORE 0000155c: SWAP1 0000155d: SWAP2 0000155e: MSTORE 0000155f: SWAP1 00001560: KECCAK256 00001561: DUP2 00001562: SWAP1 00001563: SSTORE 00001564: PUSH2 0x156c 00001567: DUP2 00001568: PUSH2 0x1308 0000156b: JUMP 0000156c: JUMPDEST 0000156d: DUP8 0000156e: PUSH1 0x01 00001570: PUSH1 0xa0 00001572: PUSH1 0x02 00001574: EXP 00001575: SUB 00001576: AND 00001577: DUP2 00001578: PUSH32 0xec07560f0d67d22e7a3e674802a543c4c15d8fdd9e4c54b52252c19f3ce6fbcb 00001599: DUP8 0000159a: DUP8 0000159b: DUP12 0000159c: PUSH1 0x40 0000159e: MLOAD 0000159f: PUSH1 0xff 000015a1: SWAP1 000015a2: SWAP4 000015a3: AND 000015a4: DUP4 000015a5: MSTORE 000015a6: PUSH8 0xffffffffffffffff 000015af: SWAP1 000015b0: SWAP2 000015b1: AND 000015b2: PUSH1 0x20 000015b4: DUP4 000015b5: ADD 000015b6: MSTORE 000015b7: PUSH1 0x01 000015b9: PUSH1 0xa0 000015bb: PUSH1 0x02 000015bd: EXP 000015be: SUB 000015bf: AND 000015c0: PUSH1 0x40 000015c2: DUP1 000015c3: DUP4 000015c4: ADD 000015c5: SWAP2 000015c6: SWAP1 000015c7: SWAP2 000015c8: MSTORE 000015c9: PUSH1 0x60 000015cb: SWAP1 000015cc: SWAP2 000015cd: ADD 000015ce: SWAP1 000015cf: MLOAD 000015d0: DUP1 000015d1: SWAP2 000015d2: SUB 000015d3: SWAP1 000015d4: LOG3 000015d5: PUSH2 0x15e0 000015d8: PUSH1 0x00 000015da: DUP10 000015db: DUP4 000015dc: PUSH2 0x127c 000015df: JUMP 000015e0: JUMPDEST 000015e1: SWAP10 000015e2: SWAP9 000015e3: POP 000015e4: POP 000015e5: POP 000015e6: POP 000015e7: POP 000015e8: POP 000015e9: POP 000015ea: POP 000015eb: POP 000015ec: JUMP 000015ed: JUMPDEST 000015ee: DUP3 000015ef: DUP1 000015f0: SLOAD 000015f1: PUSH1 0x01 000015f3: DUP2 000015f4: PUSH1 0x01 000015f6: AND 000015f7: ISZERO 000015f8: PUSH2 0x0100 000015fb: MUL 000015fc: SUB 000015fd: AND 000015fe: PUSH1 0x02 00001600: SWAP1 00001601: DIV 00001602: SWAP1 00001603: PUSH1 0x00 00001605: MSTORE 00001606: PUSH1 0x20 00001608: PUSH1 0x00 0000160a: KECCAK256 0000160b: SWAP1 0000160c: PUSH1 0x1f 0000160e: ADD 0000160f: PUSH1 0x20 00001611: SWAP1 00001612: DIV 00001613: DUP2 00001614: ADD 00001615: SWAP3 00001616: DUP3 00001617: PUSH1 0x1f 00001619: LT 0000161a: PUSH2 0x162e 0000161d: JUMPI 0000161e: DUP3 0000161f: DUP1 00001620: ADD 00001621: PUSH1 0xff 00001623: NOT 00001624: DUP3 00001625: CALLDATALOAD 00001626: AND 00001627: OR 00001628: DUP6 00001629: SSTORE 0000162a: PUSH2 0x165b 0000162d: JUMP 0000162e: JUMPDEST 0000162f: DUP3 00001630: DUP1 00001631: ADD 00001632: PUSH1 0x01 00001634: ADD 00001635: DUP6 00001636: SSTORE 00001637: DUP3 00001638: ISZERO 00001639: PUSH2 0x165b 0000163c: JUMPI 0000163d: SWAP2 0000163e: DUP3 0000163f: ADD 00001640: JUMPDEST 00001641: DUP3 00001642: DUP2 00001643: GT 00001644: ISZERO 00001645: PUSH2 0x165b 00001648: JUMPI 00001649: DUP3 0000164a: CALLDATALOAD 0000164b: DUP3 0000164c: SSTORE 0000164d: SWAP2 0000164e: PUSH1 0x20 00001650: ADD 00001651: SWAP2 00001652: SWAP1 00001653: PUSH1 0x01 00001655: ADD 00001656: SWAP1 00001657: PUSH2 0x1640 0000165a: JUMP 0000165b: JUMPDEST 0000165c: POP 0000165d: PUSH2 0x1667 00001660: SWAP3 00001661: SWAP2 00001662: POP 00001663: PUSH2 0x16cb 00001666: JUMP 00001667: JUMPDEST 00001668: POP 00001669: SWAP1 0000166a: JUMP 0000166b: JUMPDEST 0000166c: PUSH1 0x20 0000166e: PUSH1 0x40 00001670: MLOAD 00001671: SWAP1 00001672: DUP2 00001673: ADD 00001674: PUSH1 0x40 00001676: MSTORE 00001677: PUSH1 0x00 00001679: DUP2 0000167a: MSTORE 0000167b: SWAP1 0000167c: JUMP 0000167d: JUMPDEST 0000167e: PUSH1 0xa0 00001680: PUSH1 0x40 00001682: MLOAD 00001683: SWAP1 00001684: DUP2 00001685: ADD 00001686: PUSH1 0x40 00001688: SWAP1 00001689: DUP2 0000168a: MSTORE 0000168b: PUSH1 0x00 0000168d: DUP1 0000168e: DUP4 0000168f: MSTORE 00001690: PUSH1 0x20 00001692: DUP4 00001693: ADD 00001694: DUP2 00001695: SWAP1 00001696: MSTORE 00001697: SWAP1 00001698: DUP3 00001699: ADD 0000169a: DUP2 0000169b: SWAP1 0000169c: MSTORE 0000169d: PUSH1 0x60 0000169f: DUP3 000016a0: ADD 000016a1: DUP2 000016a2: SWAP1 000016a3: MSTORE 000016a4: PUSH1 0x80 000016a6: DUP3 000016a7: ADD 000016a8: MSTORE 000016a9: SWAP1 000016aa: JUMP 000016ab: JUMPDEST 000016ac: DUP2 000016ad: SLOAD 000016ae: DUP2 000016af: DUP4 000016b0: SSTORE 000016b1: DUP2 000016b2: DUP2 000016b3: ISZERO 000016b4: GT 000016b5: PUSH2 0x0f04 000016b8: JUMPI 000016b9: PUSH1 0x00 000016bb: DUP4 000016bc: DUP2 000016bd: MSTORE 000016be: PUSH1 0x20 000016c0: SWAP1 000016c1: KECCAK256 000016c2: PUSH2 0x0f04 000016c5: SWAP2 000016c6: DUP2 000016c7: ADD 000016c8: SWAP1 000016c9: DUP4 000016ca: ADD 000016cb: JUMPDEST 000016cc: PUSH2 0x0772 000016cf: SWAP2 000016d0: SWAP1 000016d1: JUMPDEST 000016d2: DUP1 000016d3: DUP3 000016d4: GT 000016d5: ISZERO 000016d6: PUSH2 0x1667 000016d9: JUMPI 000016da: PUSH1 0x00 000016dc: DUP2 000016dd: SSTORE 000016de: PUSH1 0x01 000016e0: ADD 000016e1: PUSH2 0x16d1 000016e4: JUMP 000016e5: STOP 000016e6: LOG1 000016e7: PUSH6 0x627a7a723058 000016ee: KECCAK256 000016ef: CALLDATACOPY 000016f0: OR 000016f1: DUP3 000016f2: EXTCODEHASH 000016f3: DUP5 000016f4: DUP8 000016f5: UNKNOWN(0xEB) 000016f6: POP 000016f7: SWAP15 000016f8: UNKNOWN(0xD8) 000016f9: UNKNOWN(0x4B) 000016fa: UNKNOWN(0xB2) 000016fb: UNKNOWN(0x0E) 000016fc: PUSH1 0xb8 000016fe: PUSH26
Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x8d18b344de264290ea62c2105d6b015e3aa5218147434149bcf55874c120ff34
call_targets:
0xf953990d2d8388bfca220141fad56e74d66184ac
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x8d18b344de264290ea62c2105d6b015e3aa5218147434149bcf55874c120ff34",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xf953990d2d8388bfca220141fad56e74d66184ac"
],
"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": "0x02884909",
"selector": "0x02884909",
"calldata_variants": [
"0x02884909",
"0x028849090000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0aa0fbe5",
"selector": "0x0aa0fbe5",
"calldata_variants": [
"0x0aa0fbe5",
"0x0aa0fbe50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0d2f2971",
"selector": "0x0d2f2971",
"calldata_variants": [
"0x0d2f2971",
"0x0d2f29710000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x144be7eb",
"selector": "0x144be7eb",
"calldata_variants": [
"0x144be7eb",
"0x144be7eb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x25d83bb3",
"selector": "0x25d83bb3",
"calldata_variants": [
"0x25d83bb3",
"0x25d83bb30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3519932e",
"selector": "0x3519932e",
"calldata_variants": [
"0x3519932e",
"0x3519932e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3f4ba83a",
"selector": "0x3f4ba83a",
"calldata_variants": [
"0x3f4ba83a",
"0x3f4ba83a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x41994140",
"selector": "0x41994140",
"calldata_variants": [
"0x41994140",
"0x419941400000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2534,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2710,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2764,
"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: 0x8d18b344de264290ea62c2105d6b015e3aa5218147434149bcf55874c120ff34
call_targets:
0xf953990d2d8388bfca220141fad56e74d66184ac
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x8d18b344de264290ea62c2105d6b015e3aa5218147434149bcf55874c120ff34",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xf953990d2d8388bfca220141fad56e74d66184ac"
],
"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": "0x02884909",
"selector": "0x02884909",
"calldata_variants": [
"0x02884909",
"0x028849090000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0aa0fbe5",
"selector": "0x0aa0fbe5",
"calldata_variants": [
"0x0aa0fbe5",
"0x0aa0fbe50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0d2f2971",
"selector": "0x0d2f2971",
"calldata_variants": [
"0x0d2f2971",
"0x0d2f29710000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x144be7eb",
"selector": "0x144be7eb",
"calldata_variants": [
"0x144be7eb",
"0x144be7eb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x25d83bb3",
"selector": "0x25d83bb3",
"calldata_variants": [
"0x25d83bb3",
"0x25d83bb30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3519932e",
"selector": "0x3519932e",
"calldata_variants": [
"0x3519932e",
"0x3519932e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3f4ba83a",
"selector": "0x3f4ba83a",
"calldata_variants": [
"0x3f4ba83a",
"0x3f4ba83a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x41994140",
"selector": "0x41994140",
"calldata_variants": [
"0x41994140",
"0x419941400000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2534,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2710,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2764,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 4,
"guards_detected": []
}
|
| high | other | detector | SELFDESTRUCT reachable | 65 | no | no |
viewtrace_id: 0x8126846fb537986a5735c07a856d3d982fd52c26a34a5be71fe541626a7301b1
validation_json{
"sink": "SELFDESTRUCT",
"errors": 0,
"status": "unknown",
"attempts": 32,
"trace_id": "0x8126846fb537986a5735c07a856d3d982fd52c26a34a5be71fe541626a7301b1",
"confirmed": false,
"trace_mode": "structLogs",
"call_targets": null,
"matched_probe": null,
"target_varies": null,
"classification": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x02884909",
"selector": "0x02884909",
"calldata_variants": [
"0x02884909",
"0x028849090000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0aa0fbe5",
"selector": "0x0aa0fbe5",
"calldata_variants": [
"0x0aa0fbe5",
"0x0aa0fbe50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0d2f2971",
"selector": "0x0d2f2971",
"calldata_variants": [
"0x0d2f2971",
"0x0d2f29710000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x144be7eb",
"selector": "0x144be7eb",
"calldata_variants": [
"0x144be7eb",
"0x144be7eb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x25d83bb3",
"selector": "0x25d83bb3",
"calldata_variants": [
"0x25d83bb3",
"0x25d83bb30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3519932e",
"selector": "0x3519932e",
"calldata_variants": [
"0x3519932e",
"0x3519932e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3f4ba83a",
"selector": "0x3f4ba83a",
"calldata_variants": [
"0x3f4ba83a",
"0x3f4ba83a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x41994140",
"selector": "0x41994140",
"calldata_variants": [
"0x41994140",
"0x419941400000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [],
"selfdestruct_count": 1
}
|