#include <stdio.h>
#include <math.h>

int i,j,k,l,flag;
long seed;
FILE* fp;
FILE* fp1;
char buf[81];

float myrand()
{
return(rand()*1.0/32767);
}

char rgen(x)
float x;
{
if(0<=x&&x<1.5/k)return('0');
if(1.5/k<=x&&x<3.0/k)return('1');
if(3.0/k<=x&&x<=1)return('b');
}

main(argc,argv)
int argc;
char** argv;
{if(argc<3){printf("Usage: satgen3 int1 int2\n");return;}
 printf("Seed__");
 scanf("%d",&seed);
 srand(seed);
 k=atoi(argv[1]);
 l=atoi(argv[2]);
 fp=fopen("sat3.in","w+");
 for(i=1;i<l;i++) 
 {
  for(j=1;j<=k;j++)fprintf(fp,"%c",rgen(myrand()));
  fprintf(fp,"%c",'\n');
 }
  for(j=1;j<=k;j++)
   fprintf(fp,"%c",rgen(myrand())); 
  rewind(fp);
  fp1=fopen("sat.in","w");
  while(fgets(buf,80,fp)!=NULL)
   {flag=0;
    for(i=0;i<strlen(buf);i++)
    if(buf[i]!='b'&&buf[i]!='\n')flag=1;
    if(flag==1)fputs(buf,fp1); 
   }
 /*  if(strchr(buf,'b')==NULL)fputs(buf,fp1); */
  fclose(fp);
  fclose(fp1);
 fp1=fopen("sat.in","r");
 while(fgets(buf,80,fp1)!=NULL)fputs(buf,stdout);
 fclose(fp1);
 return;
}