#FILE a3 1
18
4 1 3 2
6 1 5 2
6 3 5 4
7 1 5 3
7 2 5 4
7 2 6 3
7 1 6 4
8 2 5 3
8 1 5 4
8 1 6 3
8 2 6 4
8 1 7 2
8 3 7 4
8 5 7 6
10 1 9 2
10 3 9 4
10 5 9 6
10 7 9 8
