019b477e-ad68-7102-8933-88ce613d215c
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 |
|---|---|---|---|---|
| 21413 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 21414 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 101255 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 101256 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 101257 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 101258 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x60 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x011d 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000002e: SWAP1 0000002f: DIV 00000030: PUSH4 0xffffffff 00000035: AND 00000036: DUP1 00000037: PUSH4 0x0a95dbfa 0000003c: EQ 0000003d: PUSH2 0x019c 00000040: JUMPI 00000041: DUP1 00000042: PUSH4 0x10fe9ae8 00000047: EQ 00000048: PUSH2 0x01fa 0000004b: JUMPI 0000004c: DUP1 0000004d: PUSH4 0x17ffc320 00000052: EQ 00000053: PUSH2 0x024f 00000056: JUMPI 00000057: DUP1 00000058: PUSH4 0x1ab681e8 0000005d: EQ 0000005e: PUSH2 0x0288 00000061: JUMPI 00000062: DUP1 00000063: PUSH4 0x2014e5d1 00000068: EQ 00000069: PUSH2 0x02ef 0000006c: JUMPI 0000006d: DUP1 0000006e: PUSH4 0x26a4e8d2 00000073: EQ 00000074: PUSH2 0x031c 00000077: JUMPI 00000078: DUP1 00000079: PUSH4 0x306a2ea8 0000007e: EQ 0000007f: PUSH2 0x036d 00000082: JUMPI 00000083: DUP1 00000084: PUSH4 0x37d004b3 00000089: EQ 0000008a: PUSH2 0x03cb 0000008d: JUMPI 0000008e: DUP1 0000008f: PUSH4 0x4209fff1 00000094: EQ 00000095: PUSH2 0x048a 00000098: JUMPI 00000099: DUP1 0000009a: PUSH4 0x673448dd 0000009f: EQ 000000a0: PUSH2 0x04db 000000a3: JUMPI 000000a4: DUP1 000000a5: PUSH4 0x7641a8c6 000000aa: EQ 000000ab: PUSH2 0x052c 000000ae: JUMPI 000000af: DUP1 000000b0: PUSH4 0x7f2c4ca8 000000b5: EQ 000000b6: PUSH2 0x0567 000000b9: JUMPI 000000ba: DUP1 000000bb: PUSH4 0x85c3649f 000000c0: EQ 000000c1: PUSH2 0x0590 000000c4: JUMPI 000000c5: DUP1 000000c6: PUSH4 0x893d20e8 000000cb: EQ 000000cc: PUSH2 0x05cf 000000cf: JUMPI 000000d0: DUP1 000000d1: PUSH4 0x8b3df465 000000d6: EQ 000000d7: PUSH2 0x0624 000000da: JUMPI 000000db: DUP1 000000dc: PUSH4 0x8da5cb5b 000000e1: EQ 000000e2: PUSH2 0x0680 000000e5: JUMPI 000000e6: DUP1 000000e7: PUSH4 0xa6f9dae1 000000ec: EQ 000000ed: PUSH2 0x06d5 000000f0: JUMPI 000000f1: DUP1 000000f2: PUSH4 0xd7e0b6e3 000000f7: EQ 000000f8: PUSH2 0x0726 000000fb: JUMPI 000000fc: DUP1 000000fd: PUSH4 0xf17b6d9b 00000102: EQ 00000103: PUSH2 0x0784 00000106: JUMPI 00000107: DUP1 00000108: PUSH4 0xf2fde38b 0000010d: EQ 0000010e: PUSH2 0x07eb 00000111: JUMPI 00000112: DUP1 00000113: PUSH4 0xfb283111 00000118: EQ 00000119: PUSH2 0x0824 0000011c: JUMPI 0000011d: JUMPDEST 0000011e: PUSH1 0x02 00000120: PUSH1 0x14 00000122: SWAP1 00000123: SLOAD 00000124: SWAP1 00000125: PUSH2 0x0100 00000128: EXP 00000129: SWAP1 0000012a: DIV 0000012b: PUSH1 0xff 0000012d: AND 0000012e: ISZERO 0000012f: ISZERO 00000130: PUSH2 0x0138 00000133: JUMPI 00000134: PUSH1 0x00 00000136: DUP1 00000137: REVERT 00000138: JUMPDEST 00000139: PUSH2 0x0141 0000013c: CALLER 0000013d: PUSH2 0x0861 00000140: JUMP 00000141: JUMPDEST 00000142: ISZERO 00000143: ISZERO 00000144: PUSH2 0x014c 00000147: JUMPI 00000148: PUSH1 0x00 0000014a: DUP1 0000014b: REVERT 0000014c: JUMPDEST 0000014d: CALLER 0000014e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000163: AND 00000164: PUSH32 0x9f989b0392c81cb6bb0358162e1a39467776f69799ba0137b0fc0c3a5efac9bd 00000185: CALLVALUE 00000186: PUSH1 0x40 00000188: MLOAD 00000189: DUP1 0000018a: DUP3 0000018b: DUP2 0000018c: MSTORE 0000018d: PUSH1 0x20 0000018f: ADD 00000190: SWAP2 00000191: POP 00000192: POP 00000193: PUSH1 0x40 00000195: MLOAD 00000196: DUP1 00000197: SWAP2 00000198: SUB 00000199: SWAP1 0000019a: LOG2 0000019b: STOP 0000019c: JUMPDEST 0000019d: CALLVALUE 0000019e: ISZERO 0000019f: PUSH2 0x01a7 000001a2: JUMPI 000001a3: PUSH1 0x00 000001a5: DUP1 000001a6: REVERT 000001a7: JUMPDEST 000001a8: PUSH2 0x01e0 000001ab: PUSH1 0x04 000001ad: DUP1 000001ae: DUP1 000001af: CALLDATALOAD 000001b0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001c5: AND 000001c6: SWAP1 000001c7: PUSH1 0x20 000001c9: ADD 000001ca: SWAP1 000001cb: SWAP2 000001cc: SWAP1 000001cd: DUP1 000001ce: CALLDATALOAD 000001cf: PUSH1 0x00 000001d1: NOT 000001d2: AND 000001d3: SWAP1 000001d4: PUSH1 0x20 000001d6: ADD 000001d7: SWAP1 000001d8: SWAP2 000001d9: SWAP1 000001da: POP 000001db: POP 000001dc: PUSH2 0x08d3 000001df: JUMP 000001e0: JUMPDEST 000001e1: PUSH1 0x40 000001e3: MLOAD 000001e4: DUP1 000001e5: DUP3 000001e6: ISZERO 000001e7: ISZERO 000001e8: ISZERO 000001e9: ISZERO 000001ea: DUP2 000001eb: MSTORE 000001ec: PUSH1 0x20 000001ee: ADD 000001ef: SWAP2 000001f0: POP 000001f1: POP 000001f2: PUSH1 0x40 000001f4: MLOAD 000001f5: DUP1 000001f6: SWAP2 000001f7: SUB 000001f8: SWAP1 000001f9: RETURN 000001fa: JUMPDEST 000001fb: CALLVALUE 000001fc: ISZERO 000001fd: PUSH2 0x0205 00000200: JUMPI 00000201: PUSH1 0x00 00000203: DUP1 00000204: REVERT 00000205: JUMPDEST 00000206: PUSH2 0x020d 00000209: PUSH2 0x0a58 0000020c: JUMP 0000020d: JUMPDEST 0000020e: PUSH1 0x40 00000210: MLOAD 00000211: DUP1 00000212: DUP3 00000213: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000228: AND 00000229: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000023e: AND 0000023f: DUP2 00000240: MSTORE 00000241: PUSH1 0x20 00000243: ADD 00000244: SWAP2 00000245: POP 00000246: POP 00000247: PUSH1 0x40 00000249: MLOAD 0000024a: DUP1 0000024b: SWAP2 0000024c: SUB 0000024d: SWAP1 0000024e: RETURN 0000024f: JUMPDEST 00000250: CALLVALUE 00000251: ISZERO 00000252: PUSH2 0x025a 00000255: JUMPI 00000256: PUSH1 0x00 00000258: DUP1 00000259: REVERT 0000025a: JUMPDEST 0000025b: PUSH2 0x0286 0000025e: PUSH1 0x04 00000260: DUP1 00000261: DUP1 00000262: CALLDATALOAD 00000263: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000278: AND 00000279: SWAP1 0000027a: PUSH1 0x20 0000027c: ADD 0000027d: SWAP1 0000027e: SWAP2 0000027f: SWAP1 00000280: POP 00000281: POP 00000282: PUSH2 0x0a82 00000285: JUMP 00000286: JUMPDEST 00000287: STOP 00000288: JUMPDEST 00000289: CALLVALUE 0000028a: ISZERO 0000028b: PUSH2 0x0293 0000028e: JUMPI 0000028f: PUSH1 0x00 00000291: DUP1 00000292: REVERT 00000293: JUMPDEST 00000294: PUSH2 0x02d5 00000297: PUSH1 0x04 00000299: DUP1 0000029a: DUP1 0000029b: CALLDATALOAD 0000029c: SWAP1 0000029d: PUSH1 0x20 0000029f: ADD 000002a0: SWAP1 000002a1: SWAP2 000002a2: SWAP1 000002a3: DUP1 000002a4: CALLDATALOAD 000002a5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002ba: AND 000002bb: SWAP1 000002bc: PUSH1 0x20 000002be: ADD 000002bf: SWAP1 000002c0: SWAP2 000002c1: SWAP1 000002c2: DUP1 000002c3: CALLDATALOAD 000002c4: PUSH1 0x00 000002c6: NOT 000002c7: AND 000002c8: SWAP1 000002c9: PUSH1 0x20 000002cb: ADD 000002cc: SWAP1 000002cd: SWAP2 000002ce: SWAP1 000002cf: POP 000002d0: POP 000002d1: PUSH2 0x0bf0 000002d4: JUMP 000002d5: JUMPDEST 000002d6: PUSH1 0x40 000002d8: MLOAD 000002d9: DUP1 000002da: DUP3 000002db: ISZERO 000002dc: ISZERO 000002dd: ISZERO 000002de: ISZERO 000002df: DUP2 000002e0: MSTORE 000002e1: PUSH1 0x20 000002e3: ADD 000002e4: SWAP2 000002e5: POP 000002e6: POP 000002e7: PUSH1 0x40 000002e9: MLOAD 000002ea: DUP1 000002eb: SWAP2 000002ec: SUB 000002ed: SWAP1 000002ee: RETURN 000002ef: JUMPDEST 000002f0: CALLVALUE 000002f1: ISZERO 000002f2: PUSH2 0x02fa 000002f5: JUMPI 000002f6: PUSH1 0x00 000002f8: DUP1 000002f9: REVERT 000002fa: JUMPDEST 000002fb: PUSH2 0x0302 000002fe: PUSH2 0x0d03 00000301: JUMP 00000302: JUMPDEST 00000303: PUSH1 0x40 00000305: MLOAD 00000306: DUP1 00000307: DUP3 00000308: ISZERO 00000309: ISZERO 0000030a: ISZERO 0000030b: ISZERO 0000030c: DUP2 0000030d: MSTORE 0000030e: PUSH1 0x20 00000310: ADD 00000311: SWAP2 00000312: POP 00000313: POP 00000314: PUSH1 0x40 00000316: MLOAD 00000317: DUP1 00000318: SWAP2 00000319: SUB 0000031a: SWAP1 0000031b: RETURN 0000031c: JUMPDEST 0000031d: CALLVALUE 0000031e: ISZERO 0000031f: PUSH2 0x0327 00000322: JUMPI 00000323: PUSH1 0x00 00000325: DUP1 00000326: REVERT 00000327: JUMPDEST 00000328: PUSH2 0x0353 0000032b: PUSH1 0x04 0000032d: DUP1 0000032e: DUP1 0000032f: CALLDATALOAD 00000330: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000345: AND 00000346: SWAP1 00000347: PUSH1 0x20 00000349: ADD 0000034a: SWAP1 0000034b: SWAP2 0000034c: SWAP1 0000034d: POP 0000034e: POP 0000034f: PUSH2 0x0d28 00000352: JUMP 00000353: JUMPDEST 00000354: PUSH1 0x40 00000356: MLOAD 00000357: DUP1 00000358: DUP3 00000359: ISZERO 0000035a: ISZERO 0000035b: ISZERO 0000035c: ISZERO 0000035d: DUP2 0000035e: MSTORE 0000035f: PUSH1 0x20 00000361: ADD 00000362: SWAP2 00000363: POP 00000364: POP 00000365: PUSH1 0x40 00000367: MLOAD 00000368: DUP1 00000369: SWAP2 0000036a: SUB 0000036b: SWAP1 0000036c: RETURN 0000036d: JUMPDEST 0000036e: CALLVALUE 0000036f: ISZERO 00000370: PUSH2 0x0378 00000373: JUMPI 00000374: PUSH1 0x00 00000376: DUP1 00000377: REVERT 00000378: JUMPDEST 00000379: PUSH2 0x03b1 0000037c: PUSH1 0x04 0000037e: DUP1 0000037f: DUP1 00000380: CALLDATALOAD 00000381: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000396: AND 00000397: SWAP1 00000398: PUSH1 0x20 0000039a: ADD 0000039b: SWAP1 0000039c: SWAP2 0000039d: SWAP1 0000039e: DUP1 0000039f: CALLDATALOAD 000003a0: PUSH1 0x00 000003a2: NOT 000003a3: AND 000003a4: SWAP1 000003a5: PUSH1 0x20 000003a7: ADD 000003a8: SWAP1 000003a9: SWAP2 000003aa: SWAP1 000003ab: POP 000003ac: POP 000003ad: PUSH2 0x0e8d 000003b0: JUMP 000003b1: JUMPDEST 000003b2: PUSH1 0x40 000003b4: MLOAD 000003b5: DUP1 000003b6: DUP3 000003b7: ISZERO 000003b8: ISZERO 000003b9: ISZERO 000003ba: ISZERO 000003bb: DUP2 000003bc: MSTORE 000003bd: PUSH1 0x20 000003bf: ADD 000003c0: SWAP2 000003c1: POP 000003c2: POP 000003c3: PUSH1 0x40 000003c5: MLOAD 000003c6: DUP1 000003c7: SWAP2 000003c8: SUB 000003c9: SWAP1 000003ca: RETURN 000003cb: JUMPDEST 000003cc: CALLVALUE 000003cd: ISZERO 000003ce: PUSH2 0x03d6 000003d1: JUMPI 000003d2: PUSH1 0x00 000003d4: DUP1 000003d5: REVERT 000003d6: JUMPDEST 000003d7: PUSH2 0x0470 000003da: PUSH1 0x04 000003dc: DUP1 000003dd: DUP1 000003de: CALLDATALOAD 000003df: SWAP1 000003e0: PUSH1 0x20 000003e2: ADD 000003e3: SWAP1 000003e4: DUP3 000003e5: ADD 000003e6: DUP1 000003e7: CALLDATALOAD 000003e8: SWAP1 000003e9: PUSH1 0x20 000003eb: ADD 000003ec: SWAP1 000003ed: DUP1 000003ee: DUP1 000003ef: PUSH1 0x20 000003f1: MUL 000003f2: PUSH1 0x20 000003f4: ADD 000003f5: PUSH1 0x40 000003f7: MLOAD 000003f8: SWAP1 000003f9: DUP2 000003fa: ADD 000003fb: PUSH1 0x40 000003fd: MSTORE 000003fe: DUP1 000003ff: SWAP4 00000400: SWAP3 00000401: SWAP2 00000402: SWAP1 00000403: DUP2 00000404: DUP2 00000405: MSTORE 00000406: PUSH1 0x20 00000408: ADD 00000409: DUP4 0000040a: DUP4 0000040b: PUSH1 0x20 0000040d: MUL 0000040e: DUP1 0000040f: DUP3 00000410: DUP5 00000411: CALLDATACOPY 00000412: DUP3 00000413: ADD 00000414: SWAP2 00000415: POP 00000416: POP 00000417: POP 00000418: POP 00000419: POP 0000041a: POP 0000041b: SWAP2 0000041c: SWAP1 0000041d: DUP1 0000041e: CALLDATALOAD 0000041f: SWAP1 00000420: PUSH1 0x20 00000422: ADD 00000423: SWAP1 00000424: DUP3 00000425: ADD 00000426: DUP1 00000427: CALLDATALOAD 00000428: SWAP1 00000429: PUSH1 0x20 0000042b: ADD 0000042c: SWAP1 0000042d: DUP1 0000042e: DUP1 0000042f: PUSH1 0x20 00000431: MUL 00000432: PUSH1 0x20 00000434: ADD 00000435: PUSH1 0x40 00000437: MLOAD 00000438: SWAP1 00000439: DUP2 0000043a: ADD 0000043b: PUSH1 0x40 0000043d: MSTORE 0000043e: DUP1 0000043f: SWAP4 00000440: SWAP3 00000441: SWAP2 00000442: SWAP1 00000443: DUP2 00000444: DUP2 00000445: MSTORE 00000446: PUSH1 0x20 00000448: ADD 00000449: DUP4 0000044a: DUP4 0000044b: PUSH1 0x20 0000044d: MUL 0000044e: DUP1 0000044f: DUP3 00000450: DUP5 00000451: CALLDATACOPY 00000452: DUP3 00000453: ADD 00000454: SWAP2 00000455: POP 00000456: POP 00000457: POP 00000458: POP 00000459: POP 0000045a: POP 0000045b: SWAP2 0000045c: SWAP1 0000045d: DUP1 0000045e: CALLDATALOAD 0000045f: PUSH1 0x00 00000461: NOT 00000462: AND 00000463: SWAP1 00000464: PUSH1 0x20 00000466: ADD 00000467: SWAP1 00000468: SWAP2 00000469: SWAP1 0000046a: POP 0000046b: POP 0000046c: PUSH2 0x1012 0000046f: JUMP 00000470: JUMPDEST 00000471: PUSH1 0x40 00000473: MLOAD 00000474: DUP1 00000475: DUP3 00000476: ISZERO 00000477: ISZERO 00000478: ISZERO 00000479: ISZERO 0000047a: DUP2 0000047b: MSTORE 0000047c: PUSH1 0x20 0000047e: ADD 0000047f: SWAP2 00000480: POP 00000481: POP 00000482: PUSH1 0x40 00000484: MLOAD 00000485: DUP1 00000486: SWAP2 00000487: SUB 00000488: SWAP1 00000489: RETURN 0000048a: JUMPDEST 0000048b: CALLVALUE 0000048c: ISZERO 0000048d: PUSH2 0x0495 00000490: JUMPI 00000491: PUSH1 0x00 00000493: DUP1 00000494: REVERT 00000495: JUMPDEST 00000496: PUSH2 0x04c1 00000499: PUSH1 0x04 0000049b: DUP1 0000049c: DUP1 0000049d: CALLDATALOAD 0000049e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004b3: AND 000004b4: SWAP1 000004b5: PUSH1 0x20 000004b7: ADD 000004b8: SWAP1 000004b9: SWAP2 000004ba: SWAP1 000004bb: POP 000004bc: POP 000004bd: PUSH2 0x13e4 000004c0: JUMP 000004c1: JUMPDEST 000004c2: PUSH1 0x40 000004c4: MLOAD 000004c5: DUP1 000004c6: DUP3 000004c7: ISZERO 000004c8: ISZERO 000004c9: ISZERO 000004ca: ISZERO 000004cb: DUP2 000004cc: MSTORE 000004cd: PUSH1 0x20 000004cf: ADD 000004d0: SWAP2 000004d1: POP 000004d2: POP 000004d3: PUSH1 0x40 000004d5: MLOAD 000004d6: DUP1 000004d7: SWAP2 000004d8: SUB 000004d9: SWAP1 000004da: RETURN 000004db: JUMPDEST 000004dc: CALLVALUE 000004dd: ISZERO 000004de: PUSH2 0x04e6 000004e1: JUMPI 000004e2: PUSH1 0x00 000004e4: DUP1 000004e5: REVERT 000004e6: JUMPDEST 000004e7: PUSH2 0x0512 000004ea: PUSH1 0x04 000004ec: DUP1 000004ed: DUP1 000004ee: CALLDATALOAD 000004ef: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000504: AND 00000505: SWAP1 00000506: PUSH1 0x20 00000508: ADD 00000509: SWAP1 0000050a: SWAP2 0000050b: SWAP1 0000050c: POP 0000050d: POP 0000050e: PUSH2 0x0861 00000511: JUMP 00000512: JUMPDEST 00000513: PUSH1 0x40 00000515: MLOAD 00000516: DUP1 00000517: DUP3 00000518: ISZERO 00000519: ISZERO 0000051a: ISZERO 0000051b: ISZERO 0000051c: DUP2 0000051d: MSTORE 0000051e: PUSH1 0x20 00000520: ADD 00000521: SWAP2 00000522: POP 00000523: POP 00000524: PUSH1 0x40 00000526: MLOAD 00000527: DUP1 00000528: SWAP2 00000529: SUB 0000052a: SWAP1 0000052b: RETURN 0000052c: JUMPDEST 0000052d: CALLVALUE 0000052e: ISZERO 0000052f: PUSH2 0x0537 00000532: JUMPI 00000533: PUSH1 0x00 00000535: DUP1 00000536: REVERT 00000537: JUMPDEST 00000538: PUSH2 0x054d 0000053b: PUSH1 0x04 0000053d: DUP1 0000053e: DUP1 0000053f: CALLDATALOAD 00000540: SWAP1 00000541: PUSH1 0x20 00000543: ADD 00000544: SWAP1 00000545: SWAP2 00000546: SWAP1 00000547: POP 00000548: POP 00000549: PUSH2 0x143d 0000054c: JUMP 0000054d: JUMPDEST 0000054e: PUSH1 0x40 00000550: MLOAD 00000551: DUP1 00000552: DUP3 00000553: ISZERO 00000554: ISZERO 00000555: ISZERO 00000556: ISZERO 00000557: DUP2 00000558: MSTORE 00000559: PUSH1 0x20 0000055b: ADD 0000055c: SWAP2 0000055d: POP 0000055e: POP 0000055f: PUSH1 0x40 00000561: MLOAD 00000562: DUP1 00000563: SWAP2 00000564: SUB 00000565: SWAP1 00000566: RETURN 00000567: JUMPDEST 00000568: CALLVALUE 00000569: ISZERO 0000056a: PUSH2 0x0572 0000056d: JUMPI 0000056e: PUSH1 0x00 00000570: DUP1 00000571: REVERT 00000572: JUMPDEST 00000573: PUSH2 0x057a 00000576: PUSH2 0x1518 00000579: JUMP 0000057a: JUMPDEST 0000057b: PUSH1 0x40 0000057d: MLOAD 0000057e: DUP1 0000057f: DUP3 00000580: DUP2 00000581: MSTORE 00000582: PUSH1 0x20 00000584: ADD 00000585: SWAP2 00000586: POP 00000587: POP 00000588: PUSH1 0x40 0000058a: MLOAD 0000058b: DUP1 0000058c: SWAP2 0000058d: SUB 0000058e: SWAP1 0000058f: RETURN 00000590: JUMPDEST 00000591: CALLVALUE 00000592: ISZERO 00000593: PUSH2 0x059b 00000596: JUMPI 00000597: PUSH1 0x00 00000599: DUP1 0000059a: REVERT 0000059b: JUMPDEST 0000059c: PUSH2 0x05b5 0000059f: PUSH1 0x04 000005a1: DUP1 000005a2: DUP1 000005a3: CALLDATALOAD 000005a4: PUSH1 0x00 000005a6: NOT 000005a7: AND 000005a8: SWAP1 000005a9: PUSH1 0x20 000005ab: ADD 000005ac: SWAP1 000005ad: SWAP2 000005ae: SWAP1 000005af: POP 000005b0: POP 000005b1: PUSH2 0x1522 000005b4: JUMP 000005b5: JUMPDEST 000005b6: PUSH1 0x40 000005b8: MLOAD 000005b9: DUP1 000005ba: DUP3 000005bb: ISZERO 000005bc: ISZERO 000005bd: ISZERO 000005be: ISZERO 000005bf: DUP2 000005c0: MSTORE 000005c1: PUSH1 0x20 000005c3: ADD 000005c4: SWAP2 000005c5: POP 000005c6: POP 000005c7: PUSH1 0x40 000005c9: MLOAD 000005ca: DUP1 000005cb: SWAP2 000005cc: SUB 000005cd: SWAP1 000005ce: RETURN 000005cf: JUMPDEST 000005d0: CALLVALUE 000005d1: ISZERO 000005d2: PUSH2 0x05da 000005d5: JUMPI 000005d6: PUSH1 0x00 000005d8: DUP1 000005d9: REVERT 000005da: JUMPDEST 000005db: PUSH2 0x05e2 000005de: PUSH2 0x1616 000005e1: JUMP 000005e2: JUMPDEST 000005e3: PUSH1 0x40 000005e5: MLOAD 000005e6: DUP1 000005e7: DUP3 000005e8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005fd: AND 000005fe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000613: AND 00000614: DUP2 00000615: MSTORE 00000616: PUSH1 0x20 00000618: ADD 00000619: SWAP2 0000061a: POP 0000061b: POP 0000061c: PUSH1 0x40 0000061e: MLOAD 0000061f: DUP1 00000620: SWAP2 00000621: SUB 00000622: SWAP1 00000623: RETURN 00000624: JUMPDEST 00000625: CALLVALUE 00000626: ISZERO 00000627: PUSH2 0x062f 0000062a: JUMPI 0000062b: PUSH1 0x00 0000062d: DUP1 0000062e: REVERT 0000062f: JUMPDEST 00000630: PUSH2 0x065b 00000633: PUSH1 0x04 00000635: DUP1 00000636: DUP1 00000637: CALLDATALOAD 00000638: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000064d: AND 0000064e: SWAP1 0000064f: PUSH1 0x20 00000651: ADD 00000652: SWAP1 00000653: SWAP2 00000654: SWAP1 00000655: POP 00000656: POP 00000657: PUSH2 0x1640 0000065a: JUMP 0000065b: JUMPDEST 0000065c: PUSH1 0x40 0000065e: MLOAD 0000065f: DUP1 00000660: DUP4 00000661: ISZERO 00000662: ISZERO 00000663: ISZERO 00000664: ISZERO 00000665: DUP2 00000666: MSTORE 00000667: PUSH1 0x20 00000669: ADD 0000066a: DUP3 0000066b: ISZERO 0000066c: ISZERO 0000066d: ISZERO 0000066e: ISZERO 0000066f: DUP2 00000670: MSTORE 00000671: PUSH1 0x20 00000673: ADD 00000674: SWAP3 00000675: POP 00000676: POP 00000677: POP 00000678: PUSH1 0x40 0000067a: MLOAD 0000067b: DUP1 0000067c: SWAP2 0000067d: SUB 0000067e: SWAP1 0000067f: RETURN 00000680: JUMPDEST 00000681: CALLVALUE 00000682: ISZERO 00000683: PUSH2 0x068b 00000686: JUMPI 00000687: PUSH1 0x00 00000689: DUP1 0000068a: REVERT 0000068b: JUMPDEST 0000068c: PUSH2 0x0693 0000068f: PUSH2 0x167e 00000692: JUMP 00000693: JUMPDEST 00000694: PUSH1 0x40 00000696: MLOAD 00000697: DUP1 00000698: DUP3 00000699: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006ae: AND 000006af: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006c4: AND 000006c5: DUP2 000006c6: MSTORE 000006c7: PUSH1 0x20 000006c9: ADD 000006ca: SWAP2 000006cb: POP 000006cc: POP 000006cd: PUSH1 0x40 000006cf: MLOAD 000006d0: DUP1 000006d1: SWAP2 000006d2: SUB 000006d3: SWAP1 000006d4: RETURN 000006d5: JUMPDEST 000006d6: CALLVALUE 000006d7: ISZERO 000006d8: PUSH2 0x06e0 000006db: JUMPI 000006dc: PUSH1 0x00 000006de: DUP1 000006df: REVERT 000006e0: JUMPDEST 000006e1: PUSH2 0x070c 000006e4: PUSH1 0x04 000006e6: DUP1 000006e7: DUP1 000006e8: CALLDATALOAD 000006e9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006fe: AND 000006ff: SWAP1 00000700: PUSH1 0x20 00000702: ADD 00000703: SWAP1 00000704: SWAP2 00000705: SWAP1 00000706: POP 00000707: POP 00000708: PUSH2 0x16a3 0000070b: JUMP 0000070c: JUMPDEST 0000070d: PUSH1 0x40 0000070f: MLOAD 00000710: DUP1 00000711: DUP3 00000712: ISZERO 00000713: ISZERO 00000714: ISZERO 00000715: ISZERO 00000716: DUP2 00000717: MSTORE 00000718: PUSH1 0x20 0000071a: ADD 0000071b: SWAP2 0000071c: POP 0000071d: POP 0000071e: PUSH1 0x40 00000720: MLOAD 00000721: DUP1 00000722: SWAP2 00000723: SUB 00000724: SWAP1 00000725: RETURN 00000726: JUMPDEST 00000727: CALLVALUE 00000728: ISZERO 00000729: PUSH2 0x0731 0000072c: JUMPI 0000072d: PUSH1 0x00 0000072f: DUP1 00000730: REVERT 00000731: JUMPDEST 00000732: PUSH2 0x076a 00000735: PUSH1 0x04 00000737: DUP1 00000738: DUP1 00000739: CALLDATALOAD 0000073a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000074f: AND 00000750: SWAP1 00000751: PUSH1 0x20 00000753: ADD 00000754: SWAP1 00000755: SWAP2 00000756: SWAP1 00000757: DUP1 00000758: CALLDATALOAD 00000759: PUSH1 0x00 0000075b: NOT 0000075c: AND 0000075d: SWAP1 0000075e: PUSH1 0x20 00000760: ADD 00000761: SWAP1 00000762: SWAP2 00000763: SWAP1 00000764: POP 00000765: POP 00000766: PUSH2 0x182a 00000769: JUMP 0000076a: JUMPDEST 0000076b: PUSH1 0x40 0000076d: MLOAD 0000076e: DUP1 0000076f: DUP3 00000770: ISZERO 00000771: ISZERO 00000772: ISZERO 00000773: ISZERO 00000774: DUP2 00000775: MSTORE 00000776: PUSH1 0x20 00000778: ADD 00000779: SWAP2 0000077a: POP 0000077b: POP 0000077c: PUSH1 0x40 0000077e: MLOAD 0000077f: DUP1 00000780: SWAP2 00000781: SUB 00000782: SWAP1 00000783: RETURN 00000784: JUMPDEST 00000785: CALLVALUE 00000786: ISZERO 00000787: PUSH2 0x078f 0000078a: JUMPI 0000078b: PUSH1 0x00 0000078d: DUP1 0000078e: REVERT 0000078f: JUMPDEST 00000790: PUSH2 0x07d1 00000793: PUSH1 0x04 00000795: DUP1 00000796: DUP1 00000797: CALLDATALOAD 00000798: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007ad: AND 000007ae: SWAP1 000007af: PUSH1 0x20 000007b1: ADD 000007b2: SWAP1 000007b3: SWAP2 000007b4: SWAP1 000007b5: DUP1 000007b6: CALLDATALOAD 000007b7: SWAP1 000007b8: PUSH1 0x20 000007ba: ADD 000007bb: SWAP1 000007bc: SWAP2 000007bd: SWAP1 000007be: DUP1 000007bf: CALLDATALOAD 000007c0: PUSH1 0x00 000007c2: NOT 000007c3: AND 000007c4: SWAP1 000007c5: PUSH1 0x20 000007c7: ADD 000007c8: SWAP1 000007c9: SWAP2 000007ca: SWAP1 000007cb: POP 000007cc: POP 000007cd: PUSH2 0x197b 000007d0: JUMP 000007d1: JUMPDEST 000007d2: PUSH1 0x40 000007d4: MLOAD 000007d5: DUP1 000007d6: DUP3 000007d7: ISZERO 000007d8: ISZERO 000007d9: ISZERO 000007da: ISZERO 000007db: DUP2 000007dc: MSTORE 000007dd: PUSH1 0x20 000007df: ADD 000007e0: SWAP2 000007e1: POP 000007e2: POP 000007e3: PUSH1 0x40 000007e5: MLOAD 000007e6: DUP1 000007e7: SWAP2 000007e8: SUB 000007e9: SWAP1 000007ea: RETURN 000007eb: JUMPDEST 000007ec: CALLVALUE 000007ed: ISZERO 000007ee: PUSH2 0x07f6 000007f1: JUMPI 000007f2: PUSH1 0x00 000007f4: DUP1 000007f5: REVERT 000007f6: JUMPDEST 000007f7: PUSH2 0x0822 000007fa: PUSH1 0x04 000007fc: DUP1 000007fd: DUP1 000007fe: CALLDATALOAD 000007ff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000814: AND 00000815: SWAP1 00000816: PUSH1 0x20 00000818: ADD 00000819: SWAP1 0000081a: SWAP2 0000081b: SWAP1 0000081c: POP 0000081d: POP 0000081e: PUSH2 0x1c93 00000821: JUMP 00000822: JUMPDEST 00000823: STOP 00000824: JUMPDEST 00000825: CALLVALUE 00000826: ISZERO 00000827: PUSH2 0x082f 0000082a: JUMPI 0000082b: PUSH1 0x00 0000082d: DUP1 0000082e: REVERT 0000082f: JUMPDEST 00000830: PUSH2 0x0847 00000833: PUSH1 0x04 00000835: DUP1 00000836: DUP1 00000837: CALLDATALOAD 00000838: ISZERO 00000839: ISZERO 0000083a: SWAP1 0000083b: PUSH1 0x20 0000083d: ADD 0000083e: SWAP1 0000083f: SWAP2 00000840: SWAP1 00000841: POP 00000842: POP 00000843: PUSH2 0x1de9 00000846: JUMP 00000847: JUMPDEST 00000848: PUSH1 0x40 0000084a: MLOAD 0000084b: DUP1 0000084c: DUP3 0000084d: ISZERO 0000084e: ISZERO 0000084f: ISZERO 00000850: ISZERO 00000851: DUP2 00000852: MSTORE 00000853: PUSH1 0x20 00000855: ADD 00000856: SWAP2 00000857: POP 00000858: POP 00000859: PUSH1 0x40 0000085b: MLOAD 0000085c: DUP1 0000085d: SWAP2 0000085e: SUB 0000085f: SWAP1 00000860: RETURN 00000861: JUMPDEST 00000862: PUSH1 0x00 00000864: PUSH2 0x086c 00000867: DUP3 00000868: PUSH2 0x13e4 0000086b: JUMP 0000086c: JUMPDEST 0000086d: ISZERO 0000086e: ISZERO 0000086f: PUSH2 0x087b 00000872: JUMPI 00000873: PUSH1 0x00 00000875: SWAP1 00000876: POP 00000877: PUSH2 0x08ce 0000087a: JUMP 0000087b: JUMPDEST 0000087c: PUSH1 0x01 0000087e: PUSH1 0x00 00000880: DUP4 00000881: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000896: AND 00000897: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008ac: AND 000008ad: DUP2 000008ae: MSTORE 000008af: PUSH1 0x20 000008b1: ADD 000008b2: SWAP1 000008b3: DUP2 000008b4: MSTORE 000008b5: PUSH1 0x20 000008b7: ADD 000008b8: PUSH1 0x00 000008ba: KECCAK256 000008bb: PUSH1 0x00 000008bd: ADD 000008be: PUSH1 0x01 000008c0: SWAP1 000008c1: SLOAD 000008c2: SWAP1 000008c3: PUSH2 0x0100 000008c6: EXP 000008c7: SWAP1 000008c8: DIV 000008c9: PUSH1 0xff 000008cb: AND 000008cc: SWAP1 000008cd: POP 000008ce: JUMPDEST 000008cf: SWAP2 000008d0: SWAP1 000008d1: POP 000008d2: JUMP 000008d3: JUMPDEST 000008d4: PUSH1 0x00 000008d6: PUSH1 0x02 000008d8: PUSH1 0x00 000008da: SWAP1 000008db: SLOAD 000008dc: SWAP1 000008dd: PUSH2 0x0100 000008e0: EXP 000008e1: SWAP1 000008e2: DIV 000008e3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008f8: AND 000008f9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000090e: AND 0000090f: CALLER 00000910: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000925: AND 00000926: EQ 00000927: ISZERO 00000928: ISZERO 00000929: PUSH2 0x0931 0000092c: JUMPI 0000092d: PUSH1 0x00 0000092f: DUP1 00000930: REVERT 00000931: JUMPDEST 00000932: PUSH1 0x02 00000934: PUSH1 0x14 00000936: SWAP1 00000937: SLOAD 00000938: SWAP1 00000939: PUSH2 0x0100 0000093c: EXP 0000093d: SWAP1 0000093e: DIV 0000093f: PUSH1 0xff 00000941: AND 00000942: ISZERO 00000943: ISZERO 00000944: PUSH2 0x094c 00000947: JUMPI 00000948: PUSH1 0x00 0000094a: DUP1 0000094b: REVERT 0000094c: JUMPDEST 0000094d: PUSH2 0x0955 00000950: DUP4 00000951: PUSH2 0x13e4 00000954: JUMP 00000955: JUMPDEST 00000956: ISZERO 00000957: ISZERO 00000958: PUSH2 0x0960 0000095b: JUMPI 0000095c: PUSH1 0x00 0000095e: DUP1 0000095f: REVERT 00000960: JUMPDEST 00000961: PUSH2 0x0969 00000964: DUP4 00000965: PUSH2 0x0861 00000968: JUMP 00000969: JUMPDEST 0000096a: ISZERO 0000096b: ISZERO 0000096c: ISZERO 0000096d: PUSH2 0x0975 00000970: JUMPI 00000971: PUSH1 0x00 00000973: DUP1 00000974: REVERT 00000975: JUMPDEST 00000976: PUSH1 0x01 00000978: DUP1 00000979: PUSH1 0x00 0000097b: DUP6 0000097c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000991: AND 00000992: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009a7: AND 000009a8: DUP2 000009a9: MSTORE 000009aa: PUSH1 0x20 000009ac: ADD 000009ad: SWAP1 000009ae: DUP2 000009af: MSTORE 000009b0: PUSH1 0x20 000009b2: ADD 000009b3: PUSH1 0x00 000009b5: KECCAK256 000009b6: PUSH1 0x00 000009b8: ADD 000009b9: PUSH1 0x01 000009bb: PUSH2 0x0100 000009be: EXP 000009bf: DUP2 000009c0: SLOAD 000009c1: DUP2 000009c2: PUSH1 0xff 000009c4: MUL 000009c5: NOT 000009c6: AND 000009c7: SWAP1 000009c8: DUP4 000009c9: ISZERO 000009ca: ISZERO 000009cb: MUL 000009cc: OR 000009cd: SWAP1 000009ce: SSTORE 000009cf: POP 000009d0: DUP2 000009d1: PUSH1 0x00 000009d3: NOT 000009d4: AND 000009d5: CALLER 000009d6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009eb: AND 000009ec: PUSH32 0x1b750c43ab1bae9965df503c57ab73b27b282a538348ea8b801e7bf916e4c12b 00000a0d: DUP6 00000a0e: PUSH1 0x40 00000a10: MLOAD 00000a11: DUP1 00000a12: DUP3 00000a13: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a28: AND 00000a29: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a3e: AND 00000a3f: DUP2 00000a40: MSTORE 00000a41: PUSH1 0x20 00000a43: ADD 00000a44: SWAP2 00000a45: POP 00000a46: POP 00000a47: PUSH1 0x40 00000a49: MLOAD 00000a4a: DUP1 00000a4b: SWAP2 00000a4c: SUB 00000a4d: SWAP1 00000a4e: LOG3 00000a4f: PUSH1 0x01 00000a51: SWAP1 00000a52: POP 00000a53: SWAP3 00000a54: SWAP2 00000a55: POP 00000a56: POP 00000a57: JUMP 00000a58: JUMPDEST 00000a59: PUSH1 0x00 00000a5b: PUSH1 0x04 00000a5d: PUSH1 0x00 00000a5f: SWAP1 00000a60: SLOAD 00000a61: SWAP1 00000a62: PUSH2 0x0100 00000a65: EXP 00000a66: SWAP1 00000a67: DIV 00000a68: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a7d: AND 00000a7e: SWAP1 00000a7f: POP 00000a80: SWAP1 00000a81: JUMP 00000a82: JUMPDEST 00000a83: PUSH1 0x00 00000a85: PUSH1 0x02 00000a87: PUSH1 0x00 00000a89: SWAP1 00000a8a: SLOAD 00000a8b: SWAP1 00000a8c: PUSH2 0x0100 00000a8f: EXP 00000a90: SWAP1 00000a91: DIV 00000a92: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000aa7: AND 00000aa8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000abd: AND 00000abe: CALLER 00000abf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ad4: AND 00000ad5: EQ 00000ad6: ISZERO 00000ad7: ISZERO 00000ad8: PUSH2 0x0ae0 00000adb: JUMPI 00000adc: PUSH1 0x00 00000ade: DUP1 00000adf: REVERT 00000ae0: JUMPDEST 00000ae1: DUP2 00000ae2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000af7: AND 00000af8: PUSH4 0x70a08231 00000afd: ADDRESS 00000afe: PUSH1 0x00 00000b00: PUSH1 0x40 00000b02: MLOAD 00000b03: PUSH1 0x20 00000b05: ADD 00000b06: MSTORE 00000b07: PUSH1 0x40 00000b09: MLOAD 00000b0a: DUP3 00000b0b: PUSH4 0xffffffff 00000b10: AND 00000b11: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000b2f: MUL 00000b30: DUP2 00000b31: MSTORE 00000b32: PUSH1 0x04 00000b34: ADD 00000b35: DUP1 00000b36: DUP3 00000b37: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b4c: AND 00000b4d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b62: AND 00000b63: DUP2 00000b64: MSTORE 00000b65: PUSH1 0x20 00000b67: ADD 00000b68: SWAP2 00000b69: POP 00000b6a: POP 00000b6b: PUSH1 0x20 00000b6d: PUSH1 0x40 00000b6f: MLOAD 00000b70: DUP1 00000b71: DUP4 00000b72: SUB 00000b73: DUP2 00000b74: PUSH1 0x00 00000b76: DUP8 00000b77: DUP1 00000b78: EXTCODESIZE 00000b79: ISZERO 00000b7a: ISZERO 00000b7b: PUSH2 0x0b83 00000b7e: JUMPI 00000b7f: PUSH1 0x00 00000b81: DUP1 00000b82: REVERT 00000b83: JUMPDEST 00000b84: PUSH2 0x02c6 00000b87: GAS 00000b88: SUB 00000b89: CALL 00000b8a: ISZERO 00000b8b: ISZERO 00000b8c: PUSH2 0x0b94 00000b8f: JUMPI 00000b90: PUSH1 0x00 00000b92: DUP1 00000b93: REVERT 00000b94: JUMPDEST 00000b95: POP 00000b96: POP 00000b97: POP 00000b98: PUSH1 0x40 00000b9a: MLOAD 00000b9b: DUP1 00000b9c: MLOAD 00000b9d: SWAP1 00000b9e: POP 00000b9f: SWAP1 00000ba0: POP 00000ba1: PUSH2 0x0bec 00000ba4: PUSH1 0x00 00000ba6: DUP1 00000ba7: SWAP1 00000ba8: SLOAD 00000ba9: SWAP1 00000baa: PUSH2 0x0100 00000bad: EXP 00000bae: SWAP1 00000baf: DIV 00000bb0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bc5: AND 00000bc6: DUP3 00000bc7: DUP5 00000bc8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bdd: AND 00000bde: PUSH2 0x1ed9 00000be1: SWAP1 00000be2: SWAP3 00000be3: SWAP2 00000be4: SWAP1 00000be5: PUSH4 0xffffffff 00000bea: AND 00000beb: JUMP 00000bec: JUMPDEST 00000bed: POP 00000bee: POP 00000bef: JUMP 00000bf0: JUMPDEST 00000bf1: PUSH1 0x00 00000bf3: PUSH1 0x02 00000bf5: PUSH1 0x00 00000bf7: SWAP1 00000bf8: SLOAD 00000bf9: SWAP1 00000bfa: PUSH2 0x0100 00000bfd: EXP 00000bfe: SWAP1 00000bff: DIV 00000c00: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c15: AND 00000c16: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c2b: AND 00000c2c: CALLER 00000c2d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c42: AND 00000c43: EQ 00000c44: ISZERO 00000c45: ISZERO 00000c46: PUSH2 0x0c4e 00000c49: JUMPI 00000c4a: PUSH1 0x00 00000c4c: DUP1 00000c4d: REVERT 00000c4e: JUMPDEST 00000c4f: DUP2 00000c50: PUSH1 0x00 00000c52: NOT 00000c53: AND 00000c54: DUP4 00000c55: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c6a: AND 00000c6b: CALLER 00000c6c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c81: AND 00000c82: PUSH32 0x6eb2411330102036b435d8bd6d2501d17bea59bae28b7b245d7c56c91b67a397 00000ca3: DUP8 00000ca4: PUSH1 0x40 00000ca6: MLOAD 00000ca7: DUP1 00000ca8: DUP3 00000ca9: DUP2 00000caa: MSTORE 00000cab: PUSH1 0x20 00000cad: ADD 00000cae: SWAP2 00000caf: POP 00000cb0: POP 00000cb1: PUSH1 0x40 00000cb3: MLOAD 00000cb4: DUP1 00000cb5: SWAP2 00000cb6: SUB 00000cb7: SWAP1 00000cb8: LOG4 00000cb9: DUP3 00000cba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ccf: AND 00000cd0: PUSH2 0x08fc 00000cd3: DUP6 00000cd4: SWAP1 00000cd5: DUP2 00000cd6: ISZERO 00000cd7: MUL 00000cd8: SWAP1 00000cd9: PUSH1 0x40 00000cdb: MLOAD 00000cdc: PUSH1 0x00 00000cde: PUSH1 0x40 00000ce0: MLOAD 00000ce1: DUP1 00000ce2: DUP4 00000ce3: SUB 00000ce4: DUP2 00000ce5: DUP6 00000ce6: DUP9 00000ce7: DUP9 00000ce8: CALL 00000ce9: SWAP4 00000cea: POP 00000ceb: POP 00000cec: POP 00000ced: POP 00000cee: ISZERO 00000cef: ISZERO 00000cf0: PUSH2 0x0cf8 00000cf3: JUMPI 00000cf4: PUSH1 0x00 00000cf6: DUP1 00000cf7: REVERT 00000cf8: JUMPDEST 00000cf9: PUSH1 0x01 00000cfb: SWAP1 00000cfc: POP 00000cfd: SWAP4 00000cfe: SWAP3 00000cff: POP 00000d00: POP 00000d01: POP 00000d02: JUMP 00000d03: JUMPDEST 00000d04: PUSH1 0x00 00000d06: PUSH1 0x02 00000d08: PUSH1 0x14 00000d0a: SWAP1 00000d0b: SLOAD 00000d0c: SWAP1 00000d0d: PUSH2 0x0100 00000d10: EXP 00000d11: SWAP1 00000d12: DIV 00000d13: PUSH1 0xff 00000d15: AND 00000d16: DUP1 00000d17: ISZERO 00000d18: PUSH2 0x0d23 00000d1b: JUMPI 00000d1c: POP 00000d1d: PUSH1 0x03 00000d1f: SLOAD 00000d20: TIMESTAMP 00000d21: GT 00000d22: ISZERO 00000d23: JUMPDEST 00000d24: SWAP1 00000d25: POP 00000d26: SWAP1 00000d27: JUMP 00000d28: JUMPDEST 00000d29: PUSH1 0x00 00000d2b: PUSH1 0x02 00000d2d: PUSH1 0x00 00000d2f: SWAP1 00000d30: SLOAD 00000d31: SWAP1 00000d32: PUSH2 0x0100 00000d35: EXP 00000d36: SWAP1 00000d37: DIV 00000d38: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d4d: AND 00000d4e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d63: AND 00000d64: CALLER 00000d65: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d7a: AND 00000d7b: EQ 00000d7c: ISZERO 00000d7d: ISZERO 00000d7e: PUSH2 0x0d86 00000d81: JUMPI 00000d82: PUSH1 0x00 00000d84: DUP1 00000d85: REVERT 00000d86: JUMPDEST 00000d87: PUSH1 0x00 00000d89: DUP3 00000d8a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d9f: AND 00000da0: EQ 00000da1: ISZERO 00000da2: ISZERO 00000da3: ISZERO 00000da4: PUSH2 0x0dac 00000da7: JUMPI 00000da8: PUSH1 0x00 00000daa: DUP1 00000dab: REVERT 00000dac: JUMPDEST 00000dad: DUP2 00000dae: PUSH1 0x04 00000db0: PUSH1 0x00 00000db2: PUSH2 0x0100 00000db5: EXP 00000db6: DUP2 00000db7: SLOAD 00000db8: DUP2 00000db9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000dce: MUL 00000dcf: NOT 00000dd0: AND 00000dd1: SWAP1 00000dd2: DUP4 00000dd3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000de8: AND 00000de9: MUL 00000dea: OR 00000deb: SWAP1 00000dec: SSTORE 00000ded: POP 00000dee: PUSH32 0xfdb6df53ff1c9c878055d49bbba211e6662d3ab02cc345b189aed0b67f4808fc 00000e0f: CALLER 00000e10: DUP4 00000e11: PUSH1 0x40 00000e13: MLOAD 00000e14: DUP1 00000e15: DUP4 00000e16: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e2b: AND 00000e2c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e41: AND 00000e42: DUP2 00000e43: MSTORE 00000e44: PUSH1 0x20 00000e46: ADD 00000e47: DUP3 00000e48: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e5d: AND 00000e5e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e73: AND 00000e74: DUP2 00000e75: MSTORE 00000e76: PUSH1 0x20 00000e78: ADD 00000e79: SWAP3 00000e7a: POP 00000e7b: POP 00000e7c: POP 00000e7d: PUSH1 0x40 00000e7f: MLOAD 00000e80: DUP1 00000e81: SWAP2 00000e82: SUB 00000e83: SWAP1 00000e84: LOG1 00000e85: PUSH1 0x01 00000e87: SWAP1 00000e88: POP 00000e89: SWAP2 00000e8a: SWAP1 00000e8b: POP 00000e8c: JUMP 00000e8d: JUMPDEST 00000e8e: PUSH1 0x00 00000e90: PUSH1 0x02 00000e92: PUSH1 0x00 00000e94: SWAP1 00000e95: SLOAD 00000e96: SWAP1 00000e97: PUSH2 0x0100 00000e9a: EXP 00000e9b: SWAP1 00000e9c: DIV 00000e9d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000eb2: AND 00000eb3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ec8: AND 00000ec9: CALLER 00000eca: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000edf: AND 00000ee0: EQ 00000ee1: ISZERO 00000ee2: ISZERO 00000ee3: PUSH2 0x0eeb 00000ee6: JUMPI 00000ee7: PUSH1 0x00 00000ee9: DUP1 00000eea: REVERT 00000eeb: JUMPDEST 00000eec: PUSH1 0x02 00000eee: PUSH1 0x14 00000ef0: SWAP1 00000ef1: SLOAD 00000ef2: SWAP1 00000ef3: PUSH2 0x0100 00000ef6: EXP 00000ef7: SWAP1 00000ef8: DIV 00000ef9: PUSH1 0xff 00000efb: AND 00000efc: ISZERO 00000efd: ISZERO 00000efe: PUSH2 0x0f06 00000f01: JUMPI 00000f02: PUSH1 0x00 00000f04: DUP1 00000f05: REVERT 00000f06: JUMPDEST 00000f07: PUSH2 0x0f0f 00000f0a: DUP4 00000f0b: PUSH2 0x13e4 00000f0e: JUMP 00000f0f: JUMPDEST 00000f10: ISZERO 00000f11: ISZERO 00000f12: PUSH2 0x0f1a 00000f15: JUMPI 00000f16: PUSH1 0x00 00000f18: DUP1 00000f19: REVERT 00000f1a: JUMPDEST 00000f1b: PUSH2 0x0f23 00000f1e: DUP4 00000f1f: PUSH2 0x0861 00000f22: JUMP 00000f23: JUMPDEST 00000f24: ISZERO 00000f25: ISZERO 00000f26: PUSH2 0x0f2e 00000f29: JUMPI 00000f2a: PUSH1 0x00 00000f2c: DUP1 00000f2d: REVERT 00000f2e: JUMPDEST 00000f2f: PUSH1 0x00 00000f31: PUSH1 0x01 00000f33: PUSH1 0x00 00000f35: DUP6 00000f36: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f4b: AND 00000f4c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f61: AND 00000f62: DUP2 00000f63: MSTORE 00000f64: PUSH1 0x20 00000f66: ADD 00000f67: SWAP1 00000f68: DUP2 00000f69: MSTORE 00000f6a: PUSH1 0x20 00000f6c: ADD 00000f6d: PUSH1 0x00 00000f6f: KECCAK256 00000f70: PUSH1 0x00 00000f72: ADD 00000f73: PUSH1 0x01 00000f75: PUSH2 0x0100 00000f78: EXP 00000f79: DUP2 00000f7a: SLOAD 00000f7b: DUP2 00000f7c: PUSH1 0xff 00000f7e: MUL 00000f7f: NOT 00000f80: AND 00000f81: SWAP1 00000f82: DUP4 00000f83: ISZERO 00000f84: ISZERO 00000f85: MUL 00000f86: OR 00000f87: SWAP1 00000f88: SSTORE 00000f89: POP 00000f8a: DUP2 00000f8b: PUSH1 0x00 00000f8d: NOT 00000f8e: AND 00000f8f: CALLER 00000f90: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fa5: AND 00000fa6: PUSH32 0x3c819313b5f2577d5dcf2a85f7cadc08a1006ba018de3676047a1080a6d9e3a9 00000fc7: DUP6 00000fc8: PUSH1 0x40 00000fca: MLOAD 00000fcb: DUP1 00000fcc: DUP3 00000fcd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fe2: AND 00000fe3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ff8: AND 00000ff9: DUP2 00000ffa: MSTORE 00000ffb: PUSH1 0x20 00000ffd: ADD 00000ffe: SWAP2 00000fff: POP 00001000: POP 00001001: PUSH1 0x40 00001003: MLOAD 00001004: DUP1 00001005: SWAP2 00001006: SUB 00001007: SWAP1 00001008: LOG3 00001009: PUSH1 0x01 0000100b: SWAP1 0000100c: POP 0000100d: SWAP3 0000100e: SWAP2 0000100f: POP 00001010: POP 00001011: JUMP 00001012: JUMPDEST 00001013: PUSH1 0x00 00001015: DUP1 00001016: PUSH1 0x02 00001018: PUSH1 0x00 0000101a: SWAP1 0000101b: SLOAD 0000101c: SWAP1 0000101d: PUSH2 0x0100 00001020: EXP 00001021: SWAP1 00001022: DIV 00001023: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001038: AND 00001039: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000104e: AND 0000104f: CALLER 00001050: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001065: AND 00001066: EQ 00001067: ISZERO 00001068: ISZERO 00001069: PUSH2 0x1071 0000106c: JUMPI 0000106d: PUSH1 0x00 0000106f: DUP1 00001070: REVERT 00001071: JUMPDEST 00001072: PUSH1 0x02 00001074: PUSH1 0x14 00001076: SWAP1 00001077: SLOAD 00001078: SWAP1 00001079: PUSH2 0x0100 0000107c: EXP 0000107d: SWAP1 0000107e: DIV 0000107f: PUSH1 0xff 00001081: AND 00001082: ISZERO 00001083: ISZERO 00001084: PUSH2 0x108c 00001087: JUMPI 00001088: PUSH1 0x00 0000108a: DUP1 0000108b: REVERT 0000108c: JUMPDEST 0000108d: PUSH1 0x04 0000108f: PUSH1 0x00 00001091: SWAP1 00001092: SLOAD 00001093: SWAP1 00001094: PUSH2 0x0100 00001097: EXP 00001098: SWAP1 00001099: DIV 0000109a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010af: AND 000010b0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010c5: AND 000010c6: PUSH4 0xc46e614a 000010cb: PUSH1 0x00 000010cd: PUSH1 0x40 000010cf: MLOAD 000010d0: PUSH1 0x20 000010d2: ADD 000010d3: MSTORE 000010d4: PUSH1 0x40 000010d6: MLOAD 000010d7: DUP2 000010d8: PUSH4 0xffffffff 000010dd: AND 000010de: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 000010fc: MUL 000010fd: DUP2 000010fe: MSTORE 000010ff: PUSH1 0x04 00001101: ADD 00001102: PUSH1 0x20 00001104: PUSH1 0x40 00001106: MLOAD 00001107: DUP1 00001108: DUP4 00001109: SUB 0000110a: DUP2 0000110b: PUSH1 0x00 0000110d: DUP8 0000110e: DUP1 0000110f: EXTCODESIZE 00001110: ISZERO 00001111: ISZERO 00001112: PUSH2 0x111a 00001115: JUMPI 00001116: PUSH1 0x00 00001118: DUP1 00001119: REVERT 0000111a: JUMPDEST 0000111b: PUSH2 0x02c6 0000111e: GAS 0000111f: SUB 00001120: CALL 00001121: ISZERO 00001122: ISZERO 00001123: PUSH2 0x112b 00001126: JUMPI 00001127: PUSH1 0x00 00001129: DUP1 0000112a: REVERT 0000112b: JUMPDEST 0000112c: POP 0000112d: POP 0000112e: POP 0000112f: PUSH1 0x40 00001131: MLOAD 00001132: DUP1 00001133: MLOAD 00001134: SWAP1 00001135: POP 00001136: ISZERO 00001137: ISZERO 00001138: PUSH2 0x1140 0000113b: JUMPI 0000113c: PUSH1 0x00 0000113e: DUP1 0000113f: REVERT 00001140: JUMPDEST 00001141: PUSH1 0x00 00001143: SWAP1 00001144: POP 00001145: JUMPDEST 00001146: DUP5 00001147: MLOAD 00001148: DUP2 00001149: LT 0000114a: ISZERO 0000114b: PUSH2 0x13d8 0000114e: JUMPI 0000114f: PUSH2 0x116e 00001152: DUP6 00001153: DUP3 00001154: DUP2 00001155: MLOAD 00001156: DUP2 00001157: LT 00001158: ISZERO 00001159: ISZERO 0000115a: PUSH2 0x115f 0000115d: JUMPI 0000115e: INVALID 0000115f: JUMPDEST 00001160: SWAP1 00001161: PUSH1 0x20 00001163: ADD 00001164: SWAP1 00001165: PUSH1 0x20 00001167: MUL 00001168: ADD 00001169: MLOAD 0000116a: PUSH2 0x0861 0000116d: JUMP 0000116e: JUMPDEST 0000116f: ISZERO 00001170: ISZERO 00001171: PUSH2 0x1211 00001174: JUMPI 00001175: DUP3 00001176: PUSH1 0x00 00001178: NOT 00001179: AND 0000117a: DUP6 0000117b: DUP3 0000117c: DUP2 0000117d: MLOAD 0000117e: DUP2 0000117f: LT 00001180: ISZERO 00001181: ISZERO 00001182: PUSH2 0x1187 00001185: JUMPI 00001186: INVALID 00001187: JUMPDEST 00001188: SWAP1 00001189: PUSH1 0x20 0000118b: ADD 0000118c: SWAP1 0000118d: PUSH1 0x20 0000118f: MUL 00001190: ADD 00001191: MLOAD 00001192: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011a7: AND 000011a8: CALLER 000011a9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011be: AND 000011bf: PUSH32 0x8ac760e87e60a4c37170bf8340341983802895eefb6b715f24f23a044feb333f 000011e0: DUP8 000011e1: DUP6 000011e2: DUP2 000011e3: MLOAD 000011e4: DUP2 000011e5: LT 000011e6: ISZERO 000011e7: ISZERO 000011e8: PUSH2 0x11ed 000011eb: JUMPI 000011ec: INVALID 000011ed: JUMPDEST 000011ee: SWAP1 000011ef: PUSH1 0x20 000011f1: ADD 000011f2: SWAP1 000011f3: PUSH1 0x20 000011f5: MUL 000011f6: ADD 000011f7: MLOAD 000011f8: PUSH1 0x40 000011fa: MLOAD 000011fb: DUP1 000011fc: DUP3 000011fd: DUP2 000011fe: MSTORE 000011ff: PUSH1 0x20 00001201: ADD 00001202: SWAP2 00001203: POP 00001204: POP 00001205: PUSH1 0x40 00001207: MLOAD 00001208: DUP1 00001209: SWAP2 0000120a: SUB 0000120b: SWAP1 0000120c: LOG4 0000120d: PUSH2 0x13cb 00001210: JUMP 00001211: JUMPDEST 00001212: DUP3 00001213: PUSH1 0x00 00001215: NOT 00001216: AND 00001217: DUP6 00001218: DUP3 00001219: DUP2 0000121a: MLOAD 0000121b: DUP2 0000121c: LT 0000121d: ISZERO 0000121e: ISZERO 0000121f: PUSH2 0x1224 00001222: JUMPI 00001223: INVALID 00001224: JUMPDEST 00001225: SWAP1 00001226: PUSH1 0x20 00001228: ADD 00001229: SWAP1 0000122a: PUSH1 0x20 0000122c: MUL 0000122d: ADD 0000122e: MLOAD 0000122f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001244: AND 00001245: CALLER 00001246: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000125b: AND 0000125c: PUSH32 0x24ec9cd00c1d6cafa876fe4ef1118bc09ba5a030dda4142be5efe572c46e2970 0000127d: DUP8 0000127e: DUP6 0000127f: DUP2 00001280: MLOAD 00001281: DUP2 00001282: LT 00001283: ISZERO 00001284: ISZERO 00001285: PUSH2 0x128a 00001288: JUMPI 00001289: INVALID 0000128a: JUMPDEST 0000128b: SWAP1 0000128c: PUSH1 0x20 0000128e: ADD 0000128f: SWAP1 00001290: PUSH1 0x20 00001292: MUL 00001293: ADD 00001294: MLOAD 00001295: PUSH1 0x40 00001297: MLOAD 00001298: DUP1 00001299: DUP3 0000129a: DUP2 0000129b: MSTORE 0000129c: PUSH1 0x20 0000129e: ADD 0000129f: SWAP2 000012a0: POP 000012a1: POP 000012a2: PUSH1 0x40 000012a4: MLOAD 000012a5: DUP1 000012a6: SWAP2 000012a7: SUB 000012a8: SWAP1 000012a9: LOG4 000012aa: PUSH1 0x04 000012ac: PUSH1 0x00 000012ae: SWAP1 000012af: SLOAD 000012b0: SWAP1 000012b1: PUSH2 0x0100 000012b4: EXP 000012b5: SWAP1 000012b6: DIV 000012b7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012cc: AND 000012cd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012e2: AND 000012e3: PUSH4 0xa9059cbb 000012e8: DUP7 000012e9: DUP4 000012ea: DUP2 000012eb: MLOAD 000012ec: DUP2 000012ed: LT 000012ee: ISZERO 000012ef: ISZERO 000012f0: PUSH2 0x12f5 000012f3: JUMPI 000012f4: INVALID 000012f5: JUMPDEST 000012f6: SWAP1 000012f7: PUSH1 0x20 000012f9: ADD 000012fa: SWAP1 000012fb: PUSH1 0x20 000012fd: MUL 000012fe: ADD 000012ff: MLOAD 00001300: DUP7 00001301: DUP5 00001302: DUP2 00001303: MLOAD 00001304: DUP2 00001305: LT 00001306: ISZERO 00001307: ISZERO 00001308: PUSH2 0x130d 0000130b: JUMPI 0000130c: INVALID 0000130d: JUMPDEST 0000130e: SWAP1 0000130f: PUSH1 0x20 00001311: ADD 00001312: SWAP1 00001313: PUSH1 0x20 00001315: MUL 00001316: ADD 00001317: MLOAD 00001318: PUSH1 0x00 0000131a: PUSH1 0x40 0000131c: MLOAD 0000131d: PUSH1 0x20 0000131f: ADD 00001320: MSTORE 00001321: PUSH1 0x40 00001323: MLOAD 00001324: DUP4 00001325: PUSH4 0xffffffff 0000132a: AND 0000132b: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00001349: MUL 0000134a: DUP2 0000134b: MSTORE 0000134c: PUSH1 0x04 0000134e: ADD 0000134f: DUP1 00001350: DUP4 00001351: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001366: AND 00001367: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000137c: AND 0000137d: DUP2 0000137e: MSTORE 0000137f: PUSH1 0x20 00001381: ADD 00001382: DUP3 00001383: DUP2 00001384: MSTORE 00001385: PUSH1 0x20 00001387: ADD 00001388: SWAP3 00001389: POP 0000138a: POP 0000138b: POP 0000138c: PUSH1 0x20 0000138e: PUSH1 0x40 00001390: MLOAD 00001391: DUP1 00001392: DUP4 00001393: SUB 00001394: DUP2 00001395: PUSH1 0x00 00001397: DUP8 00001398: DUP1 00001399: EXTCODESIZE 0000139a: ISZERO 0000139b: ISZERO 0000139c: PUSH2 0x13a4 0000139f: JUMPI 000013a0: PUSH1 0x00 000013a2: DUP1 000013a3: REVERT 000013a4: JUMPDEST 000013a5: PUSH2 0x02c6 000013a8: GAS 000013a9: SUB 000013aa: CALL 000013ab: ISZERO 000013ac: ISZERO 000013ad: PUSH2 0x13b5 000013b0: JUMPI 000013b1: PUSH1 0x00 000013b3: DUP1 000013b4: REVERT 000013b5: JUMPDEST 000013b6: POP 000013b7: POP 000013b8: POP 000013b9: PUSH1 0x40 000013bb: MLOAD 000013bc: DUP1 000013bd: MLOAD 000013be: SWAP1 000013bf: POP 000013c0: ISZERO 000013c1: ISZERO 000013c2: PUSH2 0x13ca 000013c5: JUMPI 000013c6: PUSH1 0x00 000013c8: DUP1 000013c9: REVERT 000013ca: JUMPDEST 000013cb: JUMPDEST 000013cc: DUP1 000013cd: DUP1 000013ce: PUSH1 0x01 000013d0: ADD 000013d1: SWAP2 000013d2: POP 000013d3: POP 000013d4: PUSH2 0x1145 000013d7: JUMP 000013d8: JUMPDEST 000013d9: PUSH1 0x01 000013db: SWAP2 000013dc: POP 000013dd: POP 000013de: SWAP4 000013df: SWAP3 000013e0: POP 000013e1: POP 000013e2: POP 000013e3: JUMP 000013e4: JUMPDEST 000013e5: PUSH1 0x00 000013e7: PUSH1 0x01 000013e9: PUSH1 0x00 000013eb: DUP4 000013ec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001401: AND 00001402: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001417: AND 00001418: DUP2 00001419: MSTORE 0000141a: PUSH1 0x20 0000141c: ADD 0000141d: SWAP1 0000141e: DUP2 0000141f: MSTORE 00001420: PUSH1 0x20 00001422: ADD 00001423: PUSH1 0x00 00001425: KECCAK256 00001426: PUSH1 0x00 00001428: ADD 00001429: PUSH1 0x00 0000142b: SWAP1 0000142c: SLOAD 0000142d: SWAP1 0000142e: PUSH2 0x0100 00001431: EXP 00001432: SWAP1 00001433: DIV 00001434: PUSH1 0xff 00001436: AND 00001437: SWAP1 00001438: POP 00001439: SWAP2 0000143a: SWAP1 0000143b: POP 0000143c: JUMP 0000143d: JUMPDEST 0000143e: PUSH1 0x00 00001440: PUSH1 0x02 00001442: PUSH1 0x00 00001444: SWAP1 00001445: SLOAD 00001446: SWAP1 00001447: PUSH2 0x0100 0000144a: EXP 0000144b: SWAP1 0000144c: DIV 0000144d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001462: AND 00001463: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001478: AND 00001479: CALLER 0000147a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000148f: AND 00001490: EQ 00001491: ISZERO 00001492: ISZERO 00001493: PUSH2 0x149b 00001496: JUMPI 00001497: PUSH1 0x00 00001499: DUP1 0000149a: REVERT 0000149b: JUMPDEST 0000149c: DUP2 0000149d: PUSH1 0x03 0000149f: DUP2 000014a0: SWAP1 000014a1: SSTORE 000014a2: POP 000014a3: PUSH32 0xc60bdf48043ed7fd188355e5ea945c16b3193b41b064d1211be8ce9ba076a3c2 000014c4: CALLER 000014c5: PUSH1 0x03 000014c7: SLOAD 000014c8: PUSH1 0x40 000014ca: MLOAD 000014cb: DUP1 000014cc: DUP4 000014cd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014e2: AND 000014e3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014f8: AND 000014f9: DUP2 000014fa: MSTORE 000014fb: PUSH1 0x20 000014fd: ADD 000014fe: DUP3 000014ff: DUP2 00001500: MSTORE 00001501: PUSH1 0x20 00001503: ADD 00001504: SWAP3 00001505: POP 00001506: POP 00001507: POP 00001508: PUSH1 0x40 0000150a: MLOAD 0000150b: DUP1 0000150c: SWAP2 0000150d: SUB 0000150e: SWAP1 0000150f: LOG1 00001510: PUSH1 0x01 00001512: SWAP1 00001513: POP 00001514: SWAP2 00001515: SWAP1 00001516: POP 00001517: JUMP 00001518: JUMPDEST 00001519: PUSH1 0x00 0000151b: PUSH1 0x03 0000151d: SLOAD 0000151e: SWAP1 0000151f: POP 00001520: SWAP1 00001521: JUMP 00001522: JUMPDEST 00001523: PUSH1 0x00 00001525: PUSH1 0x02 00001527: PUSH1 0x14 00001529: SWAP1 0000152a: SLOAD 0000152b: SWAP1 0000152c: PUSH2 0x0100 0000152f: EXP 00001530: SWAP1 00001531: DIV 00001532: PUSH1 0xff 00001534: AND 00001535: ISZERO 00001536: ISZERO 00001537: PUSH2 0x153f 0000153a: JUMPI 0000153b: PUSH1 0x00 0000153d: DUP1 0000153e: REVERT 0000153f: JUMPDEST 00001540: PUSH2 0x1548 00001543: CALLER 00001544: PUSH2 0x13e4 00001547: JUMP 00001548: JUMPDEST 00001549: ISZERO 0000154a: ISZERO 0000154b: ISZERO 0000154c: PUSH2 0x1554 0000154f: JUMPI 00001550: PUSH1 0x00 00001552: DUP1 00001553: REVERT 00001554: JUMPDEST 00001555: PUSH1 0x01 00001557: DUP1 00001558: PUSH1 0x00 0000155a: CALLER 0000155b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001570: AND 00001571: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001586: AND 00001587: DUP2 00001588: MSTORE 00001589: PUSH1 0x20 0000158b: ADD 0000158c: SWAP1 0000158d: DUP2 0000158e: MSTORE 0000158f: PUSH1 0x20 00001591: ADD 00001592: PUSH1 0x00 00001594: KECCAK256 00001595: PUSH1 0x00 00001597: ADD 00001598: PUSH1 0x00 0000159a: PUSH2 0x0100 0000159d: EXP 0000159e: DUP2 0000159f: SLOAD 000015a0: DUP2 000015a1: PUSH1 0xff 000015a3: MUL 000015a4: NOT 000015a5: AND 000015a6: SWAP1 000015a7: DUP4 000015a8: ISZERO 000015a9: ISZERO 000015aa: MUL 000015ab: OR 000015ac: SWAP1 000015ad: SSTORE 000015ae: POP 000015af: DUP2 000015b0: PUSH1 0x00 000015b2: NOT 000015b3: AND 000015b4: CALLER 000015b5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015ca: AND 000015cb: CALLER 000015cc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015e1: AND 000015e2: PUSH32 0xe0dd4bf0dcd6c69b00d534782a6aab8e550e62cc63da27e1c3ec68630a3c7e07 00001603: PUSH1 0x40 00001605: MLOAD 00001606: PUSH1 0x40 00001608: MLOAD 00001609: DUP1 0000160a: SWAP2 0000160b: SUB 0000160c: SWAP1 0000160d: LOG4 0000160e: PUSH1 0x01 00001610: SWAP1 00001611: POP 00001612: SWAP2 00001613: SWAP1 00001614: POP 00001615: JUMP 00001616: JUMPDEST 00001617: PUSH1 0x00 00001619: PUSH1 0x02 0000161b: PUSH1 0x00 0000161d: SWAP1 0000161e: SLOAD 0000161f: SWAP1 00001620: PUSH2 0x0100 00001623: EXP 00001624: SWAP1 00001625: DIV 00001626: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000163b: AND 0000163c: SWAP1 0000163d: POP 0000163e: SWAP1 0000163f: JUMP 00001640: JUMPDEST 00001641: PUSH1 0x01 00001643: PUSH1 0x20 00001645: MSTORE 00001646: DUP1 00001647: PUSH1 0x00 00001649: MSTORE 0000164a: PUSH1 0x40 0000164c: PUSH1 0x00 0000164e: KECCAK256 0000164f: PUSH1 0x00 00001651: SWAP2 00001652: POP 00001653: SWAP1 00001654: POP 00001655: DUP1 00001656: PUSH1 0x00 00001658: ADD 00001659: PUSH1 0x00 0000165b: SWAP1 0000165c: SLOAD 0000165d: SWAP1 0000165e: PUSH2 0x0100 00001661: EXP 00001662: SWAP1 00001663: DIV 00001664: PUSH1 0xff 00001666: AND 00001667: SWAP1 00001668: DUP1 00001669: PUSH1 0x00 0000166b: ADD 0000166c: PUSH1 0x01 0000166e: SWAP1 0000166f: SLOAD 00001670: SWAP1 00001671: PUSH2 0x0100 00001674: EXP 00001675: SWAP1 00001676: DIV 00001677: PUSH1 0xff 00001679: AND 0000167a: SWAP1 0000167b: POP 0000167c: DUP3 0000167d: JUMP 0000167e: JUMPDEST 0000167f: PUSH1 0x00 00001681: DUP1 00001682: SWAP1 00001683: SLOAD 00001684: SWAP1 00001685: PUSH2 0x0100 00001688: EXP 00001689: SWAP1 0000168a: DIV 0000168b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016a0: AND 000016a1: DUP2 000016a2: JUMP 000016a3: JUMPDEST 000016a4: PUSH1 0x00 000016a6: PUSH1 0x02 000016a8: PUSH1 0x00 000016aa: SWAP1 000016ab: SLOAD 000016ac: SWAP1 000016ad: PUSH2 0x0100 000016b0: EXP 000016b1: SWAP1 000016b2: DIV 000016b3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016c8: AND 000016c9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016de: AND 000016df: CALLER 000016e0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016f5: AND 000016f6: EQ 000016f7: ISZERO 000016f8: ISZERO 000016f9: PUSH2 0x1701 000016fc: JUMPI 000016fd: PUSH1 0x00 000016ff: DUP1 00001700: REVERT 00001701: JUMPDEST 00001702: PUSH1 0x00 00001704: DUP3 00001705: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000171a: AND 0000171b: EQ 0000171c: ISZERO 0000171d: ISZERO 0000171e: ISZERO 0000171f: PUSH2 0x1727 00001722: JUMPI 00001723: PUSH1 0x00 00001725: DUP1 00001726: REVERT 00001727: JUMPDEST 00001728: PUSH32 0xfcf23a92150d56e85e3a3d33b357493246e55783095eb6a733eb8439ffc752c8 00001749: PUSH1 0x02 0000174b: PUSH1 0x00 0000174d: SWAP1 0000174e: SLOAD 0000174f: SWAP1 00001750: PUSH2 0x0100 00001753: EXP 00001754: SWAP1 00001755: DIV 00001756: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000176b: AND 0000176c: DUP4 0000176d: PUSH1 0x40 0000176f: MLOAD 00001770: DUP1 00001771: DUP4 00001772: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001787: AND 00001788: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000179d: AND 0000179e: DUP2 0000179f: MSTORE 000017a0: PUSH1 0x20 000017a2: ADD 000017a3: DUP3 000017a4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000017b9: AND 000017ba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000017cf: AND 000017d0: DUP2 000017d1: MSTORE 000017d2: PUSH1 0x20 000017d4: ADD 000017d5: SWAP3 000017d6: POP 000017d7: POP 000017d8: POP 000017d9: PUSH1 0x40 000017db: MLOAD 000017dc: DUP1 000017dd: SWAP2 000017de: SUB 000017df: SWAP1 000017e0: LOG1 000017e1: DUP2 000017e2: PUSH1 0x02 000017e4: PUSH1 0x00 000017e6: PUSH2 0x0100 000017e9: EXP 000017ea: DUP2 000017eb: SLOAD 000017ec: DUP2 000017ed: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001802: MUL 00001803: NOT 00001804: AND 00001805: SWAP1 00001806: DUP4 00001807: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000181c: AND 0000181d: MUL 0000181e: OR 0000181f: SWAP1 00001820: SSTORE 00001821: POP 00001822: PUSH1 0x01 00001824: SWAP1 00001825: POP 00001826: SWAP2 00001827: SWAP1 00001828: POP 00001829: JUMP 0000182a: JUMPDEST 0000182b: PUSH1 0x00 0000182d: PUSH1 0x02 0000182f: PUSH1 0x00 00001831: SWAP1 00001832: SLOAD 00001833: SWAP1 00001834: PUSH2 0x0100 00001837: EXP 00001838: SWAP1 00001839: DIV 0000183a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000184f: AND 00001850: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001865: AND 00001866: CALLER 00001867: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000187c: AND 0000187d: EQ 0000187e: ISZERO 0000187f: ISZERO 00001880: PUSH2 0x1888 00001883: JUMPI 00001884: PUSH1 0x00 00001886: DUP1 00001887: REVERT 00001888: JUMPDEST 00001889: PUSH1 0x02 0000188b: PUSH1 0x14 0000188d: SWAP1 0000188e: SLOAD 0000188f: SWAP1 00001890: PUSH2 0x0100 00001893: EXP 00001894: SWAP1 00001895: DIV 00001896: PUSH1 0xff 00001898: AND 00001899: ISZERO 0000189a: ISZERO 0000189b: PUSH2 0x18a3 0000189e: JUMPI 0000189f: PUSH1 0x00 000018a1: DUP1 000018a2: REVERT 000018a3: JUMPDEST 000018a4: PUSH2 0x18ac 000018a7: DUP4 000018a8: PUSH2 0x13e4 000018ab: JUMP 000018ac: JUMPDEST 000018ad: ISZERO 000018ae: ISZERO 000018af: ISZERO 000018b0: PUSH2 0x18b8 000018b3: JUMPI 000018b4: PUSH1 0x00 000018b6: DUP1 000018b7: REVERT 000018b8: JUMPDEST 000018b9: PUSH1 0x01 000018bb: DUP1 000018bc: PUSH1 0x00 000018be: DUP6 000018bf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000018d4: AND 000018d5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000018ea: AND 000018eb: DUP2 000018ec: MSTORE 000018ed: PUSH1 0x20 000018ef: ADD 000018f0: SWAP1 000018f1: DUP2 000018f2: MSTORE 000018f3: PUSH1 0x20 000018f5: ADD 000018f6: PUSH1 0x00 000018f8: KECCAK256 000018f9: PUSH1 0x00 000018fb: ADD 000018fc: PUSH1 0x00 000018fe: PUSH2 0x0100 00001901: EXP 00001902: DUP2 00001903: SLOAD 00001904: DUP2 00001905: PUSH1 0xff 00001907: MUL 00001908: NOT 00001909: AND 0000190a: SWAP1 0000190b: DUP4 0000190c: ISZERO 0000190d: ISZERO 0000190e: MUL 0000190f: OR 00001910: SWAP1 00001911: SSTORE 00001912: POP 00001913: DUP2 00001914: PUSH1 0x00 00001916: NOT 00001917: AND 00001918: DUP4 00001919: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000192e: AND 0000192f: CALLER 00001930: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001945: AND 00001946: PUSH32 0xe0dd4bf0dcd6c69b00d534782a6aab8e550e62cc63da27e1c3ec68630a3c7e07 00001967: PUSH1 0x40 00001969: MLOAD 0000196a: PUSH1 0x40 0000196c: MLOAD 0000196d: DUP1 0000196e: SWAP2 0000196f: SUB 00001970: SWAP1 00001971: LOG4 00001972: PUSH1 0x01 00001974: SWAP1 00001975: POP 00001976: SWAP3 00001977: SWAP2 00001978: POP 00001979: POP 0000197a: JUMP 0000197b: JUMPDEST 0000197c: PUSH1 0x00 0000197e: PUSH1 0x02 00001980: PUSH1 0x00 00001982: SWAP1 00001983: SLOAD 00001984: SWAP1 00001985: PUSH2 0x0100 00001988: EXP 00001989: SWAP1 0000198a: DIV 0000198b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000019a0: AND 000019a1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000019b6: AND 000019b7: CALLER 000019b8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000019cd: AND 000019ce: EQ 000019cf: ISZERO 000019d0: ISZERO 000019d1: PUSH2 0x19d9 000019d4: JUMPI 000019d5: PUSH1 0x00 000019d7: DUP1 000019d8: REVERT 000019d9: JUMPDEST 000019da: PUSH1 0x02 000019dc: PUSH1 0x14 000019de: SWAP1 000019df: SLOAD 000019e0: SWAP1 000019e1: PUSH2 0x0100 000019e4: EXP 000019e5: SWAP1 000019e6: DIV 000019e7: PUSH1 0xff 000019e9: AND 000019ea: ISZERO 000019eb: ISZERO 000019ec: PUSH2 0x19f4 000019ef: JUMPI 000019f0: PUSH1 0x00 000019f2: DUP1 000019f3: REVERT 000019f4: JUMPDEST 000019f5: PUSH1 0x04 000019f7: PUSH1 0x00 000019f9: SWAP1 000019fa: SLOAD 000019fb: SWAP1 000019fc: PUSH2 0x0100 000019ff: EXP 00001a00: SWAP1 00001a01: DIV 00001a02: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a17: AND 00001a18: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a2d: AND 00001a2e: PUSH4 0xc46e614a 00001a33: PUSH1 0x00 00001a35: PUSH1 0x40 00001a37: MLOAD 00001a38: PUSH1 0x20 00001a3a: ADD 00001a3b: MSTORE 00001a3c: PUSH1 0x40 00001a3e: MLOAD 00001a3f: DUP2 00001a40: PUSH4 0xffffffff 00001a45: AND 00001a46: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00001a64: MUL 00001a65: DUP2 00001a66: MSTORE 00001a67: PUSH1 0x04 00001a69: ADD 00001a6a: PUSH1 0x20 00001a6c: PUSH1 0x40 00001a6e: MLOAD 00001a6f: DUP1 00001a70: DUP4 00001a71: SUB 00001a72: DUP2 00001a73: PUSH1 0x00 00001a75: DUP8 00001a76: DUP1 00001a77: EXTCODESIZE 00001a78: ISZERO 00001a79: ISZERO 00001a7a: PUSH2 0x1a82 00001a7d: JUMPI 00001a7e: PUSH1 0x00 00001a80: DUP1 00001a81: REVERT 00001a82: JUMPDEST 00001a83: PUSH2 0x02c6 00001a86: GAS 00001a87: SUB 00001a88: CALL 00001a89: ISZERO 00001a8a: ISZERO 00001a8b: PUSH2 0x1a93 00001a8e: JUMPI 00001a8f: PUSH1 0x00 00001a91: DUP1 00001a92: REVERT 00001a93: JUMPDEST 00001a94: POP 00001a95: POP 00001a96: POP 00001a97: PUSH1 0x40 00001a99: MLOAD 00001a9a: DUP1 00001a9b: MLOAD 00001a9c: SWAP1 00001a9d: POP 00001a9e: ISZERO 00001a9f: ISZERO 00001aa0: PUSH2 0x1aa8 00001aa3: JUMPI 00001aa4: PUSH1 0x00 00001aa6: DUP1 00001aa7: REVERT 00001aa8: JUMPDEST 00001aa9: PUSH2 0x1ab1 00001aac: DUP5 00001aad: PUSH2 0x0861 00001ab0: JUMP 00001ab1: JUMPDEST 00001ab2: ISZERO 00001ab3: ISZERO 00001ab4: PUSH2 0x1b2a 00001ab7: JUMPI 00001ab8: DUP2 00001ab9: PUSH1 0x00 00001abb: NOT 00001abc: AND 00001abd: DUP5 00001abe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ad3: AND 00001ad4: CALLER 00001ad5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001aea: AND 00001aeb: PUSH32 0x8ac760e87e60a4c37170bf8340341983802895eefb6b715f24f23a044feb333f 00001b0c: DUP7 00001b0d: PUSH1 0x40 00001b0f: MLOAD 00001b10: DUP1 00001b11: DUP3 00001b12: DUP2 00001b13: MSTORE 00001b14: PUSH1 0x20 00001b16: ADD 00001b17: SWAP2 00001b18: POP 00001b19: POP 00001b1a: PUSH1 0x40 00001b1c: MLOAD 00001b1d: DUP1 00001b1e: SWAP2 00001b1f: SUB 00001b20: SWAP1 00001b21: LOG4 00001b22: PUSH1 0x00 00001b24: SWAP1 00001b25: POP 00001b26: PUSH2 0x1c8c 00001b29: JUMP 00001b2a: JUMPDEST 00001b2b: DUP2 00001b2c: PUSH1 0x00 00001b2e: NOT 00001b2f: AND 00001b30: DUP5 00001b31: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b46: AND 00001b47: CALLER 00001b48: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b5d: AND 00001b5e: PUSH32 0x24ec9cd00c1d6cafa876fe4ef1118bc09ba5a030dda4142be5efe572c46e2970 00001b7f: DUP7 00001b80: PUSH1 0x40 00001b82: MLOAD 00001b83: DUP1 00001b84: DUP3 00001b85: DUP2 00001b86: MSTORE 00001b87: PUSH1 0x20 00001b89: ADD 00001b8a: SWAP2 00001b8b: POP 00001b8c: POP 00001b8d: PUSH1 0x40 00001b8f: MLOAD 00001b90: DUP1 00001b91: SWAP2 00001b92: SUB 00001b93: SWAP1 00001b94: LOG4 00001b95: PUSH1 0x04 00001b97: PUSH1 0x00 00001b99: SWAP1 00001b9a: SLOAD 00001b9b: SWAP1 00001b9c: PUSH2 0x0100 00001b9f: EXP 00001ba0: SWAP1 00001ba1: DIV 00001ba2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001bb7: AND 00001bb8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001bcd: AND 00001bce: PUSH4 0xa9059cbb 00001bd3: DUP6 00001bd4: DUP6 00001bd5: PUSH1 0x00 00001bd7: PUSH1 0x40 00001bd9: MLOAD 00001bda: PUSH1 0x20 00001bdc: ADD 00001bdd: MSTORE 00001bde: PUSH1 0x40 00001be0: MLOAD 00001be1: DUP4 00001be2: PUSH4 0xffffffff 00001be7: AND 00001be8: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00001c06: MUL 00001c07: DUP2 00001c08: MSTORE 00001c09: PUSH1 0x04 00001c0b: ADD 00001c0c: DUP1 00001c0d: DUP4 00001c0e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c23: AND 00001c24: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c39: AND 00001c3a: DUP2 00001c3b: MSTORE 00001c3c: PUSH1 0x20 00001c3e: ADD 00001c3f: DUP3 00001c40: DUP2 00001c41: MSTORE 00001c42: PUSH1 0x20 00001c44: ADD 00001c45: SWAP3 00001c46: POP 00001c47: POP 00001c48: POP 00001c49: PUSH1 0x20 00001c4b: PUSH1 0x40 00001c4d: MLOAD 00001c4e: DUP1 00001c4f: DUP4 00001c50: SUB 00001c51: DUP2 00001c52: PUSH1 0x00 00001c54: DUP8 00001c55: DUP1 00001c56: EXTCODESIZE 00001c57: ISZERO 00001c58: ISZERO 00001c59: PUSH2 0x1c61 00001c5c: JUMPI 00001c5d: PUSH1 0x00 00001c5f: DUP1 00001c60: REVERT 00001c61: JUMPDEST 00001c62: PUSH2 0x02c6 00001c65: GAS 00001c66: SUB 00001c67: CALL 00001c68: ISZERO 00001c69: ISZERO 00001c6a: PUSH2 0x1c72 00001c6d: JUMPI 00001c6e: PUSH1 0x00 00001c70: DUP1 00001c71: REVERT 00001c72: JUMPDEST 00001c73: POP 00001c74: POP 00001c75: POP 00001c76: PUSH1 0x40 00001c78: MLOAD 00001c79: DUP1 00001c7a: MLOAD 00001c7b: SWAP1 00001c7c: POP 00001c7d: ISZERO 00001c7e: ISZERO 00001c7f: PUSH2 0x1c87 00001c82: JUMPI 00001c83: PUSH1 0x00 00001c85: DUP1 00001c86: REVERT 00001c87: JUMPDEST 00001c88: PUSH1 0x01 00001c8a: SWAP1 00001c8b: POP 00001c8c: JUMPDEST 00001c8d: SWAP4 00001c8e: SWAP3 00001c8f: POP 00001c90: POP 00001c91: POP 00001c92: JUMP 00001c93: JUMPDEST 00001c94: PUSH1 0x02 00001c96: PUSH1 0x00 00001c98: SWAP1 00001c99: SLOAD 00001c9a: SWAP1 00001c9b: PUSH2 0x0100 00001c9e: EXP 00001c9f: SWAP1 00001ca0: DIV 00001ca1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001cb6: AND 00001cb7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ccc: AND 00001ccd: CALLER 00001cce: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ce3: AND 00001ce4: EQ 00001ce5: ISZERO 00001ce6: ISZERO 00001ce7: PUSH2 0x1cef 00001cea: JUMPI 00001ceb: PUSH1 0x00 00001ced: DUP1 00001cee: REVERT 00001cef: JUMPDEST 00001cf0: PUSH1 0x00 00001cf2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d07: AND 00001d08: DUP2 00001d09: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d1e: AND 00001d1f: EQ 00001d20: ISZERO 00001d21: ISZERO 00001d22: ISZERO 00001d23: PUSH2 0x1d2b 00001d26: JUMPI 00001d27: PUSH1 0x00 00001d29: DUP1 00001d2a: REVERT 00001d2b: JUMPDEST 00001d2c: DUP1 00001d2d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d42: AND 00001d43: PUSH1 0x00 00001d45: DUP1 00001d46: SWAP1 00001d47: SLOAD 00001d48: SWAP1 00001d49: PUSH2 0x0100 00001d4c: EXP 00001d4d: SWAP1 00001d4e: DIV 00001d4f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d64: AND 00001d65: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d7a: AND 00001d7b: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00001d9c: PUSH1 0x40 00001d9e: MLOAD 00001d9f: PUSH1 0x40 00001da1: MLOAD 00001da2: DUP1 00001da3: SWAP2 00001da4: SUB 00001da5: SWAP1 00001da6: LOG3 00001da7: DUP1 00001da8: PUSH1 0x00 00001daa: DUP1 00001dab: PUSH2 0x0100 00001dae: EXP 00001daf: DUP2 00001db0: SLOAD 00001db1: DUP2 00001db2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001dc7: MUL 00001dc8: NOT 00001dc9: AND 00001dca: SWAP1 00001dcb: DUP4 00001dcc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001de1: AND 00001de2: MUL 00001de3: OR 00001de4: SWAP1 00001de5: SSTORE 00001de6: POP 00001de7: POP 00001de8: JUMP 00001de9: JUMPDEST 00001dea: PUSH1 0x00 00001dec: PUSH1 0x02 00001dee: PUSH1 0x00 00001df0: SWAP1 00001df1: SLOAD 00001df2: SWAP1 00001df3: PUSH2 0x0100 00001df6: EXP 00001df7: SWAP1 00001df8: DIV 00001df9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001e0e: AND 00001e0f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001e24: AND 00001e25: CALLER 00001e26: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001e3b: AND 00001e3c: EQ 00001e3d: ISZERO 00001e3e: ISZERO 00001e3f: PUSH2 0x1e47 00001e42: JUMPI 00001e43: PUSH1 0x00 00001e45: DUP1 00001e46: REVERT 00001e47: JUMPDEST 00001e48: PUSH32 0x1a4bf1c43a6ad6446028a55fd12073d9038139f809670168dabd91d041fddf4a 00001e69: CALLER 00001e6a: DUP4 00001e6b: PUSH1 0x40 00001e6d: MLOAD 00001e6e: DUP1 00001e6f: DUP4 00001e70: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001e85: AND 00001e86: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001e9b: AND 00001e9c: DUP2 00001e9d: MSTORE 00001e9e: PUSH1 0x20 00001ea0: ADD 00001ea1: DUP3 00001ea2: ISZERO 00001ea3: ISZERO 00001ea4: ISZERO 00001ea5: ISZERO 00001ea6: DUP2 00001ea7: MSTORE 00001ea8: PUSH1 0x20 00001eaa: ADD 00001eab: SWAP3 00001eac: POP 00001ead: POP 00001eae: POP 00001eaf: PUSH1 0x40 00001eb1: MLOAD 00001eb2: DUP1 00001eb3: SWAP2 00001eb4: SUB 00001eb5: SWAP1 00001eb6: LOG1 00001eb7: DUP2 00001eb8: PUSH1 0x02 00001eba: PUSH1 0x14 00001ebc: PUSH2 0x0100 00001ebf: EXP 00001ec0: DUP2 00001ec1: SLOAD 00001ec2: DUP2 00001ec3: PUSH1 0xff 00001ec5: MUL 00001ec6: NOT 00001ec7: AND 00001ec8: SWAP1 00001ec9: DUP4 00001eca: ISZERO 00001ecb: ISZERO 00001ecc: MUL 00001ecd: OR 00001ece: SWAP1 00001ecf: SSTORE 00001ed0: POP 00001ed1: PUSH1 0x01 00001ed3: SWAP1 00001ed4: POP 00001ed5: SWAP2 00001ed6: SWAP1 00001ed7: POP 00001ed8: JUMP 00001ed9: JUMPDEST 00001eda: DUP3 00001edb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ef0: AND 00001ef1: PUSH4 0xa9059cbb 00001ef6: DUP4 00001ef7: DUP4 00001ef8: PUSH1 0x00 00001efa: PUSH1 0x40 00001efc: MLOAD 00001efd: PUSH1 0x20 00001eff: ADD 00001f00: MSTORE 00001f01: PUSH1 0x40 00001f03: MLOAD 00001f04: DUP4 00001f05: PUSH4 0xffffffff 00001f0a: AND 00001f0b: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00001f29: MUL 00001f2a: DUP2 00001f2b: MSTORE 00001f2c: PUSH1 0x04 00001f2e: ADD 00001f2f: DUP1 00001f30: DUP4 00001f31: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001f46: AND 00001f47: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001f5c: AND 00001f5d: DUP2 00001f5e: MSTORE 00001f5f: PUSH1 0x20 00001f61: ADD 00001f62: DUP3 00001f63: DUP2 00001f64: MSTORE 00001f65: PUSH1 0x20 00001f67: ADD 00001f68: SWAP3 00001f69: POP 00001f6a: POP 00001f6b: POP 00001f6c: PUSH1 0x20 00001f6e: PUSH1 0x40 00001f70: MLOAD 00001f71: DUP1 00001f72: DUP4 00001f73: SUB 00001f74: DUP2 00001f75: PUSH1 0x00 00001f77: DUP8 00001f78: DUP1 00001f79: EXTCODESIZE 00001f7a: ISZERO 00001f7b: ISZERO 00001f7c: PUSH2 0x1f84 00001f7f: JUMPI 00001f80: PUSH1 0x00 00001f82: DUP1 00001f83: REVERT 00001f84: JUMPDEST 00001f85: PUSH2 0x02c6 00001f88: GAS 00001f89: SUB 00001f8a: CALL 00001f8b: ISZERO 00001f8c: ISZERO 00001f8d: PUSH2 0x1f95 00001f90: JUMPI 00001f91: PUSH1 0x00 00001f93: DUP1 00001f94: REVERT 00001f95: JUMPDEST 00001f96: POP 00001f97: POP 00001f98: POP 00001f99: PUSH1 0x40 00001f9b: MLOAD 00001f9c: DUP1 00001f9d: MLOAD 00001f9e: SWAP1 00001f9f: POP 00001fa0: ISZERO 00001fa1: ISZERO 00001fa2: PUSH2 0x1fa7 00001fa5: JUMPI 00001fa6: INVALID 00001fa7: JUMPDEST 00001fa8: POP 00001fa9: POP 00001faa: POP 00001fab: JUMP 00001fac: STOP 00001fad: LOG1 00001fae: PUSH6 0x627a7a723058 00001fb5: KECCAK256 00001fb6: UNKNOWN(0xEC) 00001fb7: UNKNOWN(0xBA) 00001fb8: GT 00001fb9: EXTCODESIZE 00001fba: UNKNOWN(0x4B) 00001fbb: UNKNOWN(0x4F) 00001fbc: UNKNOWN(0xC9) 00001fbd: UNKNOWN(0xA5) 00001fbe: UNKNOWN(0xEF) 00001fbf: PUSH31
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0xc80e3245ef08e530ed23862d4821a61b96621d6337845106e9b030929d044076
call_targets:
0x5fe56cb82b3d88b6e37d3a9dba8f5b40b28dda7e
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xc80e3245ef08e530ed23862d4821a61b96621d6337845106e9b030929d044076",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x5fe56cb82b3d88b6e37d3a9dba8f5b40b28dda7e"
],
"matched_probe": null,
"target_varies": false,
"classification": "constant_target"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xffffffff",
"selector": "0xffffffff",
"calldata_variants": [
"0xffffffff",
"0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0a95dbfa",
"selector": "0x0a95dbfa",
"calldata_variants": [
"0x0a95dbfa",
"0x0a95dbfa0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x10fe9ae8",
"selector": "0x10fe9ae8",
"calldata_variants": [
"0x10fe9ae8",
"0x10fe9ae80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x17ffc320",
"selector": "0x17ffc320",
"calldata_variants": [
"0x17ffc320",
"0x17ffc3200000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1ab681e8",
"selector": "0x1ab681e8",
"calldata_variants": [
"0x1ab681e8",
"0x1ab681e80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2014e5d1",
"selector": "0x2014e5d1",
"calldata_variants": [
"0x2014e5d1",
"0x2014e5d10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x26a4e8d2",
"selector": "0x26a4e8d2",
"calldata_variants": [
"0x26a4e8d2",
"0x26a4e8d20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x306a2ea8",
"selector": "0x306a2ea8",
"calldata_variants": [
"0x306a2ea8",
"0x306a2ea80000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2953,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3304,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4384,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 7,
"guards_detected": [
{
"pc": 2319,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2750,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3116,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3428,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3785,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4175,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5241,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5855,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 6246,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 6583,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 7373,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 7717,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 7
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0xc80e3245ef08e530ed23862d4821a61b96621d6337845106e9b030929d044076
call_targets:
0x5fe56cb82b3d88b6e37d3a9dba8f5b40b28dda7e
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xc80e3245ef08e530ed23862d4821a61b96621d6337845106e9b030929d044076",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x5fe56cb82b3d88b6e37d3a9dba8f5b40b28dda7e"
],
"matched_probe": null,
"target_varies": false,
"classification": "constant_target"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xffffffff",
"selector": "0xffffffff",
"calldata_variants": [
"0xffffffff",
"0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0a95dbfa",
"selector": "0x0a95dbfa",
"calldata_variants": [
"0x0a95dbfa",
"0x0a95dbfa0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x10fe9ae8",
"selector": "0x10fe9ae8",
"calldata_variants": [
"0x10fe9ae8",
"0x10fe9ae80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x17ffc320",
"selector": "0x17ffc320",
"calldata_variants": [
"0x17ffc320",
"0x17ffc3200000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1ab681e8",
"selector": "0x1ab681e8",
"calldata_variants": [
"0x1ab681e8",
"0x1ab681e80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2014e5d1",
"selector": "0x2014e5d1",
"calldata_variants": [
"0x2014e5d1",
"0x2014e5d10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x26a4e8d2",
"selector": "0x26a4e8d2",
"calldata_variants": [
"0x26a4e8d2",
"0x26a4e8d20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x306a2ea8",
"selector": "0x306a2ea8",
"calldata_variants": [
"0x306a2ea8",
"0x306a2ea80000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2953,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3304,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4384,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 7,
"guards_detected": [
{
"pc": 2319,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2750,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3116,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3428,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3785,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4175,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5241,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5855,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 6246,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 6583,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 7373,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 7717,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|