#include <stdio.h>

int main(_, v) 
	char *v; 
	int _; 
{ 
	int a = 0;
	char f[32]; 
	double h[2];
	h[0] = 2191444119706963415345639101882402617070952317017776099732075945943680039407307212501870429040900672146338833938303659439237740635160500855813030357492372682887858054616489605441589829740433065995076650229152079883597110973562880.000000;
	h[1] = 1867980801.569119;
	printf("%s\n",(char *)h);
}

