s5-04.dzn 858 Bytes
m=5;
n=40;
a=[|
70, 50, 88, 54,  8, 35,  3, 95, 44, 26, 87, 12, 69, 26, 70, 42, 55,  5, 80, 96,  0, 15, 90, 25, 39, 19, 84, 42, 47, 24, 98, 17, 75, 38, 23, 35, 25, 26, 30, 69, 	 918 |
 4, 70, 82, 25, 96,  4, 19,  3, 62, 99, 99, 14, 66, 89, 39, 57,  8, 24, 51,  7,  0, 49, 24, 75, 88, 99, 62, 13, 25, 93, 83, 81, 63, 17,  6, 11, 21, 77, 15, 83, 	 951 |
76, 14, 97, 94, 56, 37, 52, 64, 13,  3, 72, 13, 53, 48, 41, 93, 48,  3, 58, 25, 48, 41, 59, 11, 58, 17, 75, 32, 95, 42, 15, 71, 56, 65, 18, 64, 54, 70, 29, 67, 	 973 |
73, 53, 80, 78, 53, 73, 23, 53, 77, 82, 79, 25, 75, 38, 89, 86,  7, 16, 18,  2, 58, 85, 26, 66,  2, 44, 31, 56, 14, 12, 75, 39, 17, 56, 70, 22, 81, 93, 76, 10, 	1006 |
27,  7, 36,  3, 45, 77, 89, 52, 45, 59,  7, 55, 44, 33, 21, 99, 77,  4, 55, 91, 16, 31, 82, 85, 39,  4,  8, 20, 98, 84, 31, 77, 91, 19, 80, 88, 48, 21, 92, 45, 	 992 |];