/* reformat output from deal */

#include <stdio.h>
main()
{

char *page[14];
int i;
char line[100];
int lineno,colno;
int n;
int printed;

for (i=0;i<14;i++) page[i] = malloc(200);
lineno = 0;
colno = 0;
printed = 0;
while (gets(line) != (char *)0)
    {
    if (lineno >= 14)
	{
	colno++;
  	lineno = 0;
	}
    if (colno == 3)
	{
	if (printed == 4)
	   {
	   /* printf("\n\n\n\n\n\n\n\n"); */
	   printf("");
	   printed = 0;
	   }
        for (i=0;i<14;i++) printf("%s\n",page[i]);
	printed++;
	colno = 0;
	}
    if (colno == 0) 
	{
	strcpy(page[lineno],line);
	n = strlen(line);
	for (i=0;i<30-n;i++) strcat(page[lineno]," ");
	lineno++;
	}
    else	
	{
	strcat(page[lineno],line);
	n = strlen(line);
	for (i=0;i<30-n;i++) strcat(page[lineno]," ");
	lineno++;
	}
    }

if (printed == 4) printf("");
for (i=0;i<14;i++) printf("%s\n",page[i]);
}