M=8_K=2_Q=16_minh=2_ineq=0.txt

0 1
0 2
0 3
0 7
1 2
1 4
1 6
2 3
2 4
3 5
3 7
4 5
4 6
5 6
5 7
6 7