param n:= 8; param dist: 1 2 3 4 5 6 7 8 := 1 0 1 5 6 2 7 5 5 2 1 0 2 7 3 5 4 3 3 5 2 0 4 6 1 8 4 4 6 7 4 0 4 3 5 2 5 2 3 6 4 0 4 2 1 6 7 5 1 3 4 0 3 6 7 5 4 8 5 2 3 0 7 8 5 3 4 2 1 6 7 0 ;