alpar@9: /* knot.dat */
alpar@9: 
alpar@9: /***********************************************************************
alpar@9: *  Web Paint-by-Number Puzzle #16 from <www.webpbn.com>.
alpar@9: *  Copyright (C) 2004 by Jan Wolter. Used by permission.
alpar@9: *
alpar@9: *  Probably Not
alpar@9: *
alpar@9: *  created by Jan Wolter
alpar@9: *  Mar 27, 2004
alpar@9: *
alpar@9: *  Encoded in GNU MathProg by Andrew Makhorin <mao@gnu.org>.
alpar@9: ***********************************************************************/
alpar@9: 
alpar@9: data;
alpar@9: 
alpar@9: param m := 34;
alpar@9: 
alpar@9: param n := 34;
alpar@9: 
alpar@9: param row : 1  2  3  4  5  6  7  8 :=
alpar@9:       1     1  1  .  .  .  .  .  .
alpar@9:       2     2  2  .  .  .  .  .  .
alpar@9:       3     3  3  .  .  .  .  .  .
alpar@9:       4     2  1  1  2  .  .  .  .
alpar@9:       5     2  1  1  2  .  .  .  .
alpar@9:       6     1  1  1  1  .  .  .  .
alpar@9:       7     1  1  1  1  .  .  .  .
alpar@9:       8     18 .  .  .  .  .  .  .
alpar@9:       9     2  1  1  1  1  2  .  .
alpar@9:       10    1  1  1  1  1  1  .  .
alpar@9:       11    1  1  1  1  1  1  .  .
alpar@9:       12    26 .  .  .  .  .  .  .
alpar@9:       13    2  1  1  1  1  1  1  2
alpar@9:       14    2  1  1  2  2  1  1  2
alpar@9:       15    2  1  1  2  2  1  1  2
alpar@9:       16    14 14 .  .  .  .  .  .
alpar@9:       17    1  1  1  1  .  .  .  .
alpar@9:       18    1  1  1  1  .  .  .  .
alpar@9:       19    14 14 .  .  .  .  .  .
alpar@9:       20    2  1  1  2  2  1  1  2
alpar@9:       21    2  1  1  2  2  1  1  2
alpar@9:       22    2  1  1  1  1  1  1  2
alpar@9:       23    26 .  .  .  .  .  .  .
alpar@9:       24    1  1  1  1  1  1  .  .
alpar@9:       25    1  1  1  1  1  1  .  .
alpar@9:       26    2  1  1  1  1  2  .  .
alpar@9:       27    18 .  .  .  .  .  .  .
alpar@9:       28    1  1  1  1  .  .  .  .
alpar@9:       29    1  1  1  1  .  .  .  .
alpar@9:       30    2  1  1  2  .  .  .  .
alpar@9:       31    2  1  1  2  .  .  .  .
alpar@9:       32    3  3  .  .  .  .  .  .
alpar@9:       33    2  2  .  .  .  .  .  .
alpar@9:       34    1  1  .  .  .  .  .  .
alpar@9: ;
alpar@9: 
alpar@9: param col : 1  2  3  4  5  6  7  8 :=
alpar@9:       1     1  1  .  .  .  .  .  .
alpar@9:       2     2  2  .  .  .  .  .  .
alpar@9:       3     3  3  .  .  .  .  .  .
alpar@9:       4     2  1  1  2  .  .  .  .
alpar@9:       5     2  1  1  2  .  .  .  .
alpar@9:       6     1  1  1  1  .  .  .  .
alpar@9:       7     1  1  1  1  .  .  .  .
alpar@9:       8     18 .  .  .  .  .  .  .
alpar@9:       9     2  1  1  1  1  2  .  .
alpar@9:       10    1  1  1  1  1  1  .  .
alpar@9:       11    1  1  1  1  1  1  .  .
alpar@9:       12    26 .  .  .  .  .  .  .
alpar@9:       13    2  1  1  1  1  1  1  2
alpar@9:       14    2  1  1  2  2  1  1  2
alpar@9:       15    2  1  1  2  2  1  1  2
alpar@9:       16    14 14 .  .  .  .  .  .
alpar@9:       17    1  1  1  1  .  .  .  .
alpar@9:       18    1  1  1  1  .  .  .  .
alpar@9:       19    14 14 .  .  .  .  .  .
alpar@9:       20    2  1  1  2  2  1  1  2
alpar@9:       21    2  1  1  2  2  1  1  2
alpar@9:       22    2  1  1  1  1  1  1  2
alpar@9:       23    26 .  .  .  .  .  .  .
alpar@9:       24    1  1  1  1  1  1  .  .
alpar@9:       25    1  1  1  1  1  1  .  .
alpar@9:       26    2  1  1  1  1  2  .  .
alpar@9:       27    18 .  .  .  .  .  .  .
alpar@9:       28    1  1  1  1  .  .  .  .
alpar@9:       29    1  1  1  1  .  .  .  .
alpar@9:       30    2  1  1  2  .  .  .  .
alpar@9:       31    2  1  1  2  .  .  .  .
alpar@9:       32    3  3  .  .  .  .  .  .
alpar@9:       33    2  2  .  .  .  .  .  .
alpar@9:       34    1  1  .  .  .  .  .  .
alpar@9: ;
alpar@9: 
alpar@9: end;