void polyomino_lp_write ( char *filename, char *label, int m, int n, int a[], 
  int b[] );
void timestamp ( );