#include <cstdio>
double d[] = {2.8426980001238509642e+172,
6.4704452263706933253e+159,
1.3499792212073959761e+300, 2018};
int main() {
d[3]-- ?
d[0] *= (int)d[3] % 333 == 0 ? 2 : 1,
d[1] *= (int)d[3] % 444 == 0 ? 2 : 1,
d[2] /= (int)d[3] % 555 == 0 ? 2 : 1,
main() : printf("%s\n", (const char*)d);
}