#include <stdio.h>

int main(void) {
 printf("%s", "Found the mpfr and gmp libraries");
 return 0;
}