[9] | 1 | /* mum.dat */ |
---|
| 2 | |
---|
| 3 | /*********************************************************************** |
---|
| 4 | * Web Paint-by-Number Puzzle #65 from <www.webpbn.com>. |
---|
| 5 | * Copyright (C) 2004 by Jan Wolter. Used by permission. |
---|
| 6 | * |
---|
| 7 | * Mum's the Word [has only one solution] |
---|
| 8 | * |
---|
| 9 | * created by Jan Wolter |
---|
| 10 | * Jul 10, 2004 |
---|
| 11 | * |
---|
| 12 | * Encoded in GNU MathProg by Andrew Makhorin <mao@gnu.org>. |
---|
| 13 | ***********************************************************************/ |
---|
| 14 | |
---|
| 15 | data; |
---|
| 16 | |
---|
| 17 | param m := 40; |
---|
| 18 | |
---|
| 19 | param n := 34; |
---|
| 20 | |
---|
| 21 | param row : 1 2 3 4 5 6 7 8 9 := |
---|
| 22 | 1 12 . . . . . . . . |
---|
| 23 | 2 5 2 5 . . . . . . |
---|
| 24 | 3 5 2 2 5 . . . . . |
---|
| 25 | 4 1 2 2 2 2 2 1 . . |
---|
| 26 | 5 4 2 2 4 2 2 4 . . |
---|
| 27 | 6 4 2 2 4 2 2 4 . . |
---|
| 28 | 7 1 2 2 2 2 2 1 . . |
---|
| 29 | 8 6 2 2 2 2 2 6 . . |
---|
| 30 | 9 6 2 2 2 2 2 6 . . |
---|
| 31 | 10 1 14 1 . . . . . . |
---|
| 32 | 11 10 10 . . . . . . . |
---|
| 33 | 12 8 3 3 8 . . . . . |
---|
| 34 | 13 1 1 2 1 1 2 1 1 . |
---|
| 35 | 14 9 2 2 2 2 9 . . . |
---|
| 36 | 15 9 9 . . . . . . . |
---|
| 37 | 16 1 1 1 1 1 1 . . . |
---|
| 38 | 17 12 2 12 . . . . . . |
---|
| 39 | 18 12 12 . . . . . . . |
---|
| 40 | 19 1 1 4 1 1 . . . . |
---|
| 41 | 20 14 14 . . . . . . . |
---|
| 42 | 21 12 12 . . . . . . . |
---|
| 43 | 22 2 1 4 1 2 . . . . |
---|
| 44 | 23 9 4 9 . . . . . . |
---|
| 45 | 24 1 7 4 7 1 . . . . |
---|
| 46 | 25 1 1 1 4 1 1 1 . . |
---|
| 47 | 26 1 7 4 7 1 . . . . |
---|
| 48 | 27 1 7 4 7 1 . . . . |
---|
| 49 | 28 1 2 1 2 1 2 1 . . |
---|
| 50 | 29 1 7 2 7 1 . . . . |
---|
| 51 | 30 1 1 6 2 6 1 1 . . |
---|
| 52 | 31 1 1 1 1 2 1 1 1 1 |
---|
| 53 | 32 1 1 6 2 6 1 1 . . |
---|
| 54 | 33 1 1 5 5 1 1 . . . |
---|
| 55 | 34 1 1 1 8 1 1 1 . . |
---|
| 56 | 35 1 1 4 4 1 1 . . . |
---|
| 57 | 36 1 2 6 2 1 . . . . |
---|
| 58 | 37 2 4 4 2 . . . . . |
---|
| 59 | 38 2 6 2 . . . . . . |
---|
| 60 | 39 4 4 . . . . . . . |
---|
| 61 | 40 6 . . . . . . . . |
---|
| 62 | ; |
---|
| 63 | |
---|
| 64 | param col : 1 2 3 4 5 6 7 8 9 10 11 12 := |
---|
| 65 | 1 5 . . . . . . . . . . . |
---|
| 66 | 2 3 2 1 . . . . . . . . . |
---|
| 67 | 3 3 2 2 1 . . . . . . . . |
---|
| 68 | 4 3 2 2 2 2 . . . . . . . |
---|
| 69 | 5 3 2 2 2 2 3 . . . . . . |
---|
| 70 | 6 1 2 2 2 2 2 16 . . . . . |
---|
| 71 | 7 1 2 2 2 2 2 2 1 2 . . . |
---|
| 72 | 8 1 2 2 2 2 2 2 13 1 . . . |
---|
| 73 | 9 3 2 2 2 2 2 2 4 1 1 . . |
---|
| 74 | 10 6 5 2 2 2 2 6 1 1 . . . |
---|
| 75 | 11 1 7 3 2 2 2 2 2 1 1 1 . |
---|
| 76 | 12 3 4 1 2 2 2 2 2 2 1 1 1 |
---|
| 77 | 13 6 1 2 3 2 2 2 2 1 1 1 . |
---|
| 78 | 14 1 7 2 16 1 1 . . . . . . |
---|
| 79 | 15 1 4 1 1 1 1 1 1 1 1 1 . |
---|
| 80 | 16 1 2 1 3 1 1 6 1 1 1 1 . |
---|
| 81 | 17 2 7 1 1 11 1 1 1 1 . . . |
---|
| 82 | 18 2 7 1 1 11 1 1 1 1 . . . |
---|
| 83 | 19 1 2 1 3 1 1 6 1 1 1 1 . |
---|
| 84 | 20 1 4 1 1 1 1 1 1 1 1 1 . |
---|
| 85 | 21 1 7 2 16 1 1 . . . . . . |
---|
| 86 | 22 6 1 2 3 2 2 2 2 1 1 1 . |
---|
| 87 | 23 3 4 1 2 2 2 2 2 2 1 1 1 |
---|
| 88 | 24 1 7 3 2 2 2 2 2 1 1 1 . |
---|
| 89 | 25 6 5 2 2 2 2 6 1 1 . . . |
---|
| 90 | 26 3 2 2 2 2 2 2 4 1 1 . . |
---|
| 91 | 27 1 2 2 2 2 2 2 13 1 . . . |
---|
| 92 | 28 1 2 2 2 2 2 2 1 2 . . . |
---|
| 93 | 29 1 2 2 2 2 2 16 . . . . . |
---|
| 94 | 30 3 2 2 2 2 3 . . . . . . |
---|
| 95 | 31 3 2 2 2 2 . . . . . . . |
---|
| 96 | 32 3 2 2 1 . . . . . . . . |
---|
| 97 | 33 3 2 1 . . . . . . . . . |
---|
| 98 | 34 5 . . . . . . . . . . . |
---|
| 99 | ; |
---|
| 100 | |
---|
| 101 | end; |
---|