/* dragon.dat, a hard Paint-By-Numbers puzzle */

/* To reduce the solution time the clique cuts may be used. */

data;

param m := 20;

param n := 20;

param row :    1  2  3  4  5 :=
          1    7  1  .  .  .
          2    1  1  2  .  .
          3    2  1  2  .  .
          4    1  2  2  .  .
          5    4  2  3  .  .
          6    3  1  4  .  .
          7    3  1  3  .  .
          8    2  1  4  .  .
          9    2  9  .  .  .
          10   2  1  5  .  .
          11   2  7  .  .  .
          12   14 .  .  .  .
          13   8  2  .  .  .
          14   6  2  2  .  .
          15   2  8  1  3  .
          16   1  5  5  2  .
          17   1  3  2  4  1
          18   3  1  2  4  1
          19   1  1  3  1  3
          20   2  1  1  2  . ;

param col :    1  2  3  4  5 :=
          1    1  1  1  2  .
          2    3  1  2  1  1
          3    1  4  2  1  1
          4    1  3  2  4  .
          5    1  4  6  1  .
          6    1  11 1  .  .
          7    5  1  6  2  .
          8    14 .  .  .  .
          9    7  2  .  .  .
          10   7  2  .  .  .
          11   6  1  1  .  .
          12   9  2  .  .  .
          13   3  1  1  1  .
          14   3  1  3  .  .
          15   2  1  3  .  .
          16   2  1  5  .  .
          17   3  2  2  .  .
          18   3  3  2  .  .
          19   2  3  2  .  .
          20   2  6  .  .  . ;

end;