// This is the solution obtained with Tabu Search by Cristina C. B. Cavalcante
// and Cid Carvalho de Souza. The optimality of this solution was proved by
// Susanne Heipcke.

72

1 1
2 8
3 17
4 26
5 36
6 46
7 3
8 10
9 17
10 56
11 62
12 67
13 2
14 26
15 36
16 46
17 62
18 13
19 22
20 32
21 42
22 52
23 58
24 69