N=15;
M=60;
conflict=[|7,14,5275|
2,14,21363|
1,12,29331|
1,11,31214|
6,14,727|
10,14,10179|
4,12,5273|
1,8,25120|
4,5,8931|
3,14,27276|
12,15,23383|
3,13,21532|
1,15,657|
4,8,30300|
1,5,24052|
5,7,7828|
7,13,25428|
8,9,22505|
6,12,25035|
2,4,23232|
3,6,32016|
7,9,28665|
7,15,27650|
5,12,13684|
1,10,19978|
8,10,10999|
9,10,8160|
4,11,14447|
4,6,7381|
4,10,1171|
10,11,19599|
9,13,24808|
2,3,18232|
6,15,8073|
3,5,1519|
3,12,23742|
8,12,32269|
7,8,1916|
3,10,30198|
6,13,20347|
3,15,22062|
5,9,31769|
1,3,6591|
11,15,15090|
1,14,23636|
12,14,9353|
8,11,9671|
5,13,7370|
4,9,26859|
1,13,21690|
3,4,3203|
5,6,27957|
8,14,18830|
10,13,14407|
2,6,27102|
1,2,28128|
7,10,26865|
6,10,23984|
5,14,19121|
3,8,22299|];