1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/deps/glpk/examples/pbn/mum.dat	Sun Nov 06 20:59:10 2011 +0100
     1.3 @@ -0,0 +1,101 @@
     1.4 +/* mum.dat */
     1.5 +
     1.6 +/***********************************************************************
     1.7 +*  Web Paint-by-Number Puzzle #65 from <www.webpbn.com>.
     1.8 +*  Copyright (C) 2004 by Jan Wolter. Used by permission.
     1.9 +*
    1.10 +*  Mum's the Word [has only one solution]
    1.11 +*
    1.12 +*  created by Jan Wolter
    1.13 +*  Jul 10, 2004
    1.14 +*
    1.15 +*  Encoded in GNU MathProg by Andrew Makhorin <mao@gnu.org>.
    1.16 +***********************************************************************/
    1.17 +
    1.18 +data;
    1.19 +
    1.20 +param m := 40;
    1.21 +
    1.22 +param n := 34;
    1.23 +
    1.24 +param row : 1  2  3  4  5  6  7  8  9  :=
    1.25 +      1     12 .  .  .  .  .  .  .  .
    1.26 +      2     5  2  5  .  .  .  .  .  .
    1.27 +      3     5  2  2  5  .  .  .  .  .
    1.28 +      4     1  2  2  2  2  2  1  .  .
    1.29 +      5     4  2  2  4  2  2  4  .  .
    1.30 +      6     4  2  2  4  2  2  4  .  .
    1.31 +      7     1  2  2  2  2  2  1  .  .
    1.32 +      8     6  2  2  2  2  2  6  .  .
    1.33 +      9     6  2  2  2  2  2  6  .  .
    1.34 +      10    1  14 1  .  .  .  .  .  .
    1.35 +      11    10 10 .  .  .  .  .  .  .
    1.36 +      12    8  3  3  8  .  .  .  .  .
    1.37 +      13    1  1  2  1  1  2  1  1  .
    1.38 +      14    9  2  2  2  2  9  .  .  .
    1.39 +      15    9  9  .  .  .  .  .  .  .
    1.40 +      16    1  1  1  1  1  1  .  .  .
    1.41 +      17    12 2  12 .  .  .  .  .  .
    1.42 +      18    12 12 .  .  .  .  .  .  .
    1.43 +      19    1  1  4  1  1  .  .  .  .
    1.44 +      20    14 14 .  .  .  .  .  .  .
    1.45 +      21    12 12 .  .  .  .  .  .  .
    1.46 +      22    2  1  4  1  2  .  .  .  .
    1.47 +      23    9  4  9  .  .  .  .  .  .
    1.48 +      24    1  7  4  7  1  .  .  .  .
    1.49 +      25    1  1  1  4  1  1  1  .  .
    1.50 +      26    1  7  4  7  1  .  .  .  .
    1.51 +      27    1  7  4  7  1  .  .  .  .
    1.52 +      28    1  2  1  2  1  2  1  .  .
    1.53 +      29    1  7  2  7  1  .  .  .  .
    1.54 +      30    1  1  6  2  6  1  1  .  .
    1.55 +      31    1  1  1  1  2  1  1  1  1
    1.56 +      32    1  1  6  2  6  1  1  .  .
    1.57 +      33    1  1  5  5  1  1  .  .  .
    1.58 +      34    1  1  1  8  1  1  1  .  .
    1.59 +      35    1  1  4  4  1  1  .  .  .
    1.60 +      36    1  2  6  2  1  .  .  .  .
    1.61 +      37    2  4  4  2  .  .  .  .  .
    1.62 +      38    2  6  2  .  .  .  .  .  .
    1.63 +      39    4  4  .  .  .  .  .  .  .
    1.64 +      40    6  .  .  .  .  .  .  .  .
    1.65 +;
    1.66 +
    1.67 +param col : 1  2  3  4  5  6  7  8  9  10 11 12 :=
    1.68 +      1     5  .  .  .  .  .  .  .  .  .  .  .
    1.69 +      2     3  2  1  .  .  .  .  .  .  .  .  .
    1.70 +      3     3  2  2  1  .  .  .  .  .  .  .  .
    1.71 +      4     3  2  2  2  2  .  .  .  .  .  .  .
    1.72 +      5     3  2  2  2  2  3  .  .  .  .  .  .
    1.73 +      6     1  2  2  2  2  2  16 .  .  .  .  .
    1.74 +      7     1  2  2  2  2  2  2  1  2  .  .  .
    1.75 +      8     1  2  2  2  2  2  2  13 1  .  .  .
    1.76 +      9     3  2  2  2  2  2  2  4  1  1  .  .
    1.77 +      10    6  5  2  2  2  2  6  1  1  .  .  .
    1.78 +      11    1  7  3  2  2  2  2  2  1  1  1  .
    1.79 +      12    3  4  1  2  2  2  2  2  2  1  1  1
    1.80 +      13    6  1  2  3  2  2  2  2  1  1  1  .
    1.81 +      14    1  7  2  16 1  1  .  .  .  .  .  .
    1.82 +      15    1  4  1  1  1  1  1  1  1  1  1  .
    1.83 +      16    1  2  1  3  1  1  6  1  1  1  1  .
    1.84 +      17    2  7  1  1  11 1  1  1  1  .  .  .
    1.85 +      18    2  7  1  1  11 1  1  1  1  .  .  .
    1.86 +      19    1  2  1  3  1  1  6  1  1  1  1  .
    1.87 +      20    1  4  1  1  1  1  1  1  1  1  1  .
    1.88 +      21    1  7  2  16 1  1  .  .  .  .  .  .
    1.89 +      22    6  1  2  3  2  2  2  2  1  1  1  .
    1.90 +      23    3  4  1  2  2  2  2  2  2  1  1  1
    1.91 +      24    1  7  3  2  2  2  2  2  1  1  1  .
    1.92 +      25    6  5  2  2  2  2  6  1  1  .  .  .
    1.93 +      26    3  2  2  2  2  2  2  4  1  1  .  .
    1.94 +      27    1  2  2  2  2  2  2  13 1  .  .  .
    1.95 +      28    1  2  2  2  2  2  2  1  2  .  .  .
    1.96 +      29    1  2  2  2  2  2  16 .  .  .  .  .
    1.97 +      30    3  2  2  2  2  3  .  .  .  .  .  .
    1.98 +      31    3  2  2  2  2  .  .  .  .  .  .  .
    1.99 +      32    3  2  2  1  .  .  .  .  .  .  .  .
   1.100 +      33    3  2  1  .  .  .  .  .  .  .  .  .
   1.101 +      34    5  .  .  .  .  .  .  .  .  .  .  .
   1.102 +;
   1.103 +
   1.104 +end;