3 lines
1.3 KiB
MiniZinc
3 lines
1.3 KiB
MiniZinc
s = array1d(1..400, [5, 0, 7, 0, 6, 15, 10, 1, 18, 9, 0, 0, 0, 0, 2, 0, 0, 0, 12, 0, 0, 12, 0, 2, 0, 0, 11, 16, 8, 19, 0, 14, 9, 0, 0, 0, 0, 0, 15, 7, 0, 0, 1, 0, 0, 0, 5, 0, 0, 0, 0, 7, 12, 14, 8, 0, 19, 17, 0, 2, 0, 9, 15, 0, 0, 0, 16, 4, 0, 8, 14, 11, 0, 3, 0, 17, 0, 0, 18, 0, 0, 7, 0, 11, 10, 0, 0, 2, 0, 0, 18, 8, 0, 0, 19, 16, 4, 9, 6, 0, 0, 15, 0, 1, 0, 3, 0, 10, 14, 0, 0, 0, 0, 0, 12, 8, 17, 0, 0, 5, 2, 0, 0, 0, 0, 0, 0, 0, 13, 4, 0, 0, 0, 11, 7, 6, 14, 3, 0, 19, 12, 0, 10, 9, 4, 11, 0, 0, 0, 15, 0, 17, 5, 7, 0, 0, 3, 8, 0, 0, 4, 0, 0, 0, 2, 7, 0, 0, 11, 0, 10, 0, 0, 19, 0, 14, 15, 1, 0, 18, 14, 8, 0, 0, 7, 13, 3, 15, 16, 0, 12, 6, 1, 0, 0, 0, 5, 0, 0, 0, 8, 0, 14, 18, 0, 0, 9, 0, 5, 7, 6, 12, 0, 0, 0, 11, 0, 0, 0, 17, 17, 3, 18, 0, 13, 1, 0, 0, 0, 12, 5, 0, 6, 0, 0, 7, 0, 11, 10, 0, 0, 14, 0, 8, 1, 2, 0, 17, 0, 0, 0, 0, 13, 0, 10, 0, 0, 12, 5, 15, 15, 0, 0, 3, 0, 10, 4, 0, 0, 6, 11, 0, 17, 9, 18, 0, 2, 19, 0, 0, 1, 10, 0, 7, 0, 6, 0, 11, 17, 0, 0, 15, 19, 0, 0, 3, 13, 14, 0, 0, 0, 0, 0, 14, 3, 9, 1, 7, 0, 0, 0, 16, 15, 2, 0, 5, 8, 0, 0, 0, 0, 19, 5, 10, 12, 0, 0, 0, 3, 0, 9, 0, 0, 8, 13, 0, 0, 0, 16, 14, 0, 13, 0, 15, 0, 0, 18, 0, 0, 3, 16, 2, 8, 0, 11, 0, 0, 0, 7, 10, 0, 0, 16, 0, 0, 0, 0, 0, 2, 18, 1, 0, 7, 12, 17, 19, 0, 0, 14, 11, 0, 4, 17, 0, 19, 8, 14, 0, 0, 0, 3, 0, 0, 15, 1, 0, 0, 18, 13, 0]);
|
|
n = 20;
|