#include<gmp.h>

main()
{
  int i,j,k; 

  i=__GNU_MP_VERSION ;  
  j=__GNU_MP_VERSION_MINOR; 
  k=__GNU_MP_VERSION_PATCHLEVEL ;

  printf("%d.%d.%d",i,j,k);

}