bytecode-benchmarks/mzn-rewriting/depot-placement/ts225_6.dzn

PSize = 6;
AllDist = [|
 0,  500,  1000,  1500,  2000,  2500,  3000,  3500,  4000,  4500,  5000,  5500,  6000,  6500
|500,  0,  500,  1000,  1500,  2000,  2500,  3000,  3500,  4000,  4500,  5000,  5500,  6000
|1000,  500,  0,  500,  1000,  1500,  2000,  2500,  3000,  3500,  4000,  4500,  5000,  5500
|1500,  1000,  500,  0,  500,  1000,  1500,  2000,  2500,  3000,  3500,  4000,  4500,  5000
|2000,  1500,  1000,  500,  0,  500,  1000,  1500,  2000,  2500,  3000,  3500,  4000,  4500
|2500,  2000,  1500,  1000,  500,  0,  500,  1000,  1500,  2000,  2500,  3000,  3500,  4000
|3000,  2500,  2000,  1500,  1000,  500,  0,  500,  1000,  1500,  2000,  2500,  3000,  3500
|3500,  3000,  2500,  2000,  1500,  1000,  500,  0,  500,  1000,  1500,  2000,  2500,  3000
|4000,  3500,  3000,  2500,  2000,  1500,  1000,  500,  0,  500,  1000,  1500,  2000,  2500
|4500,  4000,  3500,  3000,  2500,  2000,  1500,  1000,  500,  0,  500,  1000,  1500,  2000
|5000,  4500,  4000,  3500,  3000,  2500,  2000,  1500,  1000,  500,  0,  500,  1000,  1500
|5500,  5000,  4500,  4000,  3500,  3000,  2500,  2000,  1500,  1000,  500,  0,  500,  1000
|6000,  5500,  5000,  4500,  4000,  3500,  3000,  2500,  2000,  1500,  1000,  500,  0,  500
|6500,  6000,  5500,  5000,  4500,  4000,  3500,  3000,  2500,  2000,  1500,  1000,  500,  0
|] ;