计算机验证歌德巴赫猜想：文本文件输出证明

/*本程序用来验证哥德巴赫猜想--假如你的计算机足够强大的话。。。。
哥德巴赫猜想的一种命题加强是一个大于5的偶数可以表示成两个素数的和，本程序就是基于这一增强型命题来编写的，具体做法是输入一个上限值a1，
然后由计算机产生从6至a1之间的偶数表示成两个素数之和的效果，如果表示不成功即系统会发出警告，有兴趣的同学可以试一试。
            练洋-------2012/12/25-----*/
#include<stdio.h>
#include<stdlib.h>
#include<math.h>
#include<string.h>
void main()
{
int a1,count=0,i,j,state,*p,*p1,b1,b2,k;
FILE*fp;
fp=fopen("ctest.txt","w");
if(fp==NULL)
{printf("open data error,please check!!\a");return;}
printf("please enter a1:");//输入一个上限值
scanf("%d",&a1);

for(i=2;i<=a1;i++)//找出上限值内的所有素数
   {
state=0;
for(j=2;j<=(int)sqrt(i);j++)
   if(i%j==0){state=1;break;}
   if(state==0)count++;
   }
p=(int*)calloc(count,sizeof(int));
p1=p;
for(i=2;i<=a1;i++)
   {
state=0;