#include <stdio.h>

#define  nil		 0
#define	 false		 0
#define  true		 1

    /* Puzzle */
#define size	 	 511
#define classmax 	 3
#define typemax 	 12
#define d 		 8

    /* global */
int    timer;
int    xtimes[11];
int    seed;

    /* Puzzle */
short	piececount[classmax+1],
	class[typemax+1],
	piecemax[typemax+1],
	puzzl[size+1],
	p[typemax+1][size+1],
	n,
	kount;

/* global procedures */

/* stanford Puzzle stub */
/*****************************************/
int puzzle_stub()
{
  int s;
  
  asm("* comment to defeat inlining");
  return s;
}
/****************************************/

/* A compute-bound program from Forest Baskett. */

short Fit (i, j) short i, j; {
    short k;
    for ( k = 0; k <= piecemax[i]; k++ )
	if ( p[i][k] ) if ( puzzl[j+k] ) return (false);
    return (true);
}

short Place (i, j) int i,j; {
    short k;
    for ( k = 0; k <= piecemax[i]; k++ ) {
	if ( p[i][k] ) puzzl[j+k] = true;
    }
    piececount[class[i]] = piececount[class[i]] - 1;
    for ( k = j; k <= size; k++ ) {
	if ( ! puzzl[k] ) {
	    return (k);
	}
    }
    return (0);
}

Remove (i, j) short i, j; {
    short k;
    for ( k = 0; k <= piecemax[i]; k++ ) {
	if ( p[i][k] ) puzzl[j+k] = false;
    }
    piececount[class[i]] = piececount[class[i]] + 1;
}

short Trial (j) short j; {
    short i, k;
    kount = kount + 1;
    for ( i = 0; i <= typemax; i++ ) {
	if ( piececount[class[i]] != 0 ) {
	    if ( Fit (i, j) ) {
		k = Place (i, j);
		if ( Trial(k) || (k == 0) ) {
		    return (true);
		} else {
		    Remove (i, j);
		}
	    }
	}
    }
    return (false);
}

int Puzzle () {
    short i, j, k, m;
    for ( m = 0; m <= size; m++ )
	puzzl[m] = true;
    for( i = 1; i <= 5; i++ )for( j = 1; j <= 5; j++ )for( k = 1; k <= 5; k++ )
	puzzl[i+d*(j+d*k)] = false;
    for( i = 0; i <= typemax; i++ )for( m = 0; m<= size; m++ )
	p[i][m] = false;
    for( i = 0; i <= 3; i++ )for( j = 0; j <= 1; j++ )for( k = 0; k <= 0; k++ )
	p[0][i+d*(j+d*k)] = true;
    class[0] = 0;
    piecemax[0] = 3+d*1+d*d*0;
    for( i = 0; i <= 1; i++ )for( j = 0; j <= 0; j++ )for( k = 0; k <= 3; k++ )
	p[1][i+d*(j+d*k)] = true;
    class[1] = 0;
    piecemax[1] = 1+d*0+d*d*3;
    for( i = 0; i <= 0; i++ )for( j = 0; j <= 3; j++ )for( k = 0; k <= 1; k++ )
	p[2][i+d*(j+d*k)] = true;
    class[2] = 0;
    piecemax[2] = 0+d*3+d*d*1;
    for( i = 0; i <= 1; i++ )for( j = 0; j <= 3; j++ )for( k = 0; k <= 0; k++ )
	p[3][i+d*(j+d*k)] = true;
    class[3] = 0;
    piecemax[3] = 1+d*3+d*d*0;
    for( i = 0; i <= 3; i++ )for( j = 0; j <= 0; j++ )for( k = 0; k <= 1; k++ )
	p[4][i+d*(j+d*k)] = true;
    class[4] = 0;
    piecemax[4] = 3+d*0+d*d*1;
    for( i = 0; i <= 0; i++ )for( j = 0; j <= 1; j++ )for( k = 0; k <= 3; k++ )
	p[5][i+d*(j+d*k)] = true;
    class[5] = 0;
    piecemax[5] = 0+d*1+d*d*3;
    for( i = 0; i <= 2; i++ )for( j = 0; j <= 0; j++ )for( k = 0; k <= 0; k++ )
	p[6][i+d*(j+d*k)] = true;
    class[6] = 1;
    piecemax[6] = 2+d*0+d*d*0;
    for( i = 0; i <= 0; i++ )for( j = 0; j <= 2; j++ )for( k = 0; k <= 0; k++ )
	p[7][i+d*(j+d*k)] = true;
    class[7] = 1;
    piecemax[7] = 0+d*2+d*d*0;
    for( i = 0; i <= 0; i++ )for( j = 0; j <= 0; j++ )for( k = 0; k <= 2; k++ )
	p[8][i+d*(j+d*k)] = true;
    class[8] = 1;
    piecemax[8] = 0+d*0+d*d*2;
    for( i = 0; i <= 1; i++ )for( j = 0; j <= 1; j++ )for( k = 0; k <= 0; k++ )
	p[9][i+d*(j+d*k)] = true;
    class[9] = 2;
    piecemax[9] = 1+d*1+d*d*0;
    for( i = 0; i <= 1; i++ )for( j = 0; j <= 0; j++ )for( k = 0; k <= 1; k++ )
	p[10][i+d*(j+d*k)] = true;
    class[10] = 2;
    piecemax[10] = 1+d*0+d*d*1;
    for( i = 0; i <= 0; i++ )for( j = 0; j <= 1; j++ )for( k = 0; k <= 1; k++ )
	p[11][i+d*(j+d*k)] = true;
    class[11] = 2;
    piecemax[11] = 0+d*1+d*d*1;
    for( i = 0; i <= 1; i++ )for( j = 0; j <= 1; j++ )for( k = 0; k <= 1; k++ )
	p[12][i+d*(j+d*k)] = true;
    class[12] = 3;
    piecemax[12] = 1+d*1+d*d*1;
    piececount[0] = 13;
    piececount[1] = 3;
    piececount[2] = 1;
    piececount[3] = 1;
    m = 1+d*(1+d*1);
    kount = 0;
    if ( Fit(0, m) ) {
	n = Place(0, m);
    } else {
#if PRINT
	printf("Error1 in Puzzle\n");
#endif
    }
    if ( ! Trial(n) ) {
#if PRINT
	printf ("Error2 in Puzzle.\n");
#endif
    } else if ( kount != 2005 ) {
#if PRINT
	printf ( "Error3 in Puzzle.\n");
#endif
    }
}