建议加上实数的最高小数位数，不然：

#include <bits/stdc++.h>
using namespace std;
int main()
{
	freopen("in.txt","w",stdout);
    printf("1 0 0 0.");
    for(int i=1;i<=1e9;i++)
    	putchar('3');
    return 0;
}

用这个代码生成的输入文件合法，但是目前我还没有看到一份通过的代码。