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