#include <stdio.h>
#include <limits.h>
#include <float.h>
#include <math.h>

int main(void) {
double d1 = 0x1.9fe2693112e14p+62;
double d2 = 0x1.3c5a02407b71cp+62;
double product = (double)(d1) * (double)(d2);
printf("%d %a %La\n%a\n", FLT_EVAL_METHOD, DBL_MAX, LDBL_MAX, product);
return 0;
}