half-reif-benchmarks/data/prize/25-5-5-4.dzn

n = 25;
p = array2d(1..25, 0..25, [
0, -1000, 7, -1000, -1000, -1000, -6, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, 0, 7, -1000, -1, -1000, -1000, -1000, 5, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, 0, -1000, -1, -1000, 3, -1000, -1000, -1000, -5, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, 0, -1000, -1000, 3, -1000, 3, -1000, -1000, -1000, 3, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, 0, -1000, -1000, -1000, 3, -1000, -1000, -1000, -1000, -1000, -6, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, 0, -6, -1000, -1000, -1000, -1000, -1000, 1, -1000, -1000, -1000, -7, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, 0, -1000, 5, -1000, -1000, -1000, 1, -1000, 2, -1000, -1000, -1000, 6, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, 0, -1000, -1000, -5, -1000, -1000, -1000, 2, -1000, -2, -1000, -1000, -1000, -6, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, 0, -1000, -1000, -1000, 3, -1000, -1000, -1000, -2, -1000, 0, -1000, -1000, -1000, -5, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, 0, -1000, -1000, -1000, -1000, -6, -1000, -1000, -1000, 0, -1000, -1000, -1000, -1000, -1000, -1, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, 0, -1000, -1000, -1000, -1000, -1000, -7, -1000, -1000, -1000, -1000, -1000, -1, -1000, -1000, -1000, 2, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, 0, -1000, -1000, -1000, -1000, -1000, -1000, 6, -1000, -1000, -1000, -1, -1000, 3, -1000, -1000, -1000, -1, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, 0, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -6, -1000, -1000, -1000, 3, -1000, 8, -1000, -1000, -1000, -2, -1000, -1000, -1000, -1000, -1000, -1000, -1000, 0, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -5, -1000, -1000, -1000, 8, -1000, 3, -1000, -1000, -1000, 2, -1000, -1000, -1000, -1000, -1000, -1000, 0, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1, -1000, -1000, -1000, 3, -1000, -1000, -1000, -1000, -1000, 0, -1000, -1000, -1000, -1000, -1000, 0, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, 2, -1000, -1000, -1000, -1000, -1000, 3, -1000, -1000, -1000, -1, -1000, -1000, -1000, -1000, 0, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1, -1000, -1000, -1000, 3, -1000, 7, -1000, -1000, -1000, -1, -1000, -1000, -1000, 0, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -2, -1000, -1000, -1000, 7, -1000, 1, -1000, -1000, -1000, -4, -1000, -1000, 0, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, 2, -1000, -1000, -1000, 1, -1000, -2, -1000, -1000, -1000, -5, -1000, 0, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, 0, -1000, -1000, -1000, -2, -1000, -1000, -1000, -1000, -1000, 0, 0, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1, -1000, -1000, -1000, -1000, -1000, 4, -1000, -1000, -1000, 0, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1, -1000, -1000, -1000, 4, -1000, -5, -1000, -1000, 0, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -4, -1000, -1000, -1000, -5, -1000, 1, -1000, 0, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -5, -1000, -1000, -1000, 1, -1000, -4, 0, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, -1000, 0, -1000, -1000, -1000, -4, -1000 ]);