#FILE a3 1
8
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
