== F_k3_c3_plus_K1_edges.txt (n = 37)
1-colourable: False
2-colourable: False
3-colourable: True
n=37 |E|=263 w=30 n-w=7 chi=3 clique number=3 (clique [0, 6, 13])
Melnikov requires chi > 3: False;  (2chi-1)(n-w)=35 vs n-1=36
class sizes [8, 12, 17]
== F_k4_c3_plus_K1_edges.txt (n = 51)
1-colourable: False
2-colourable: False
3-colourable: False
4-colourable: True
n=51 |E|=543 w=44 n-w=7 chi=4 clique number=4 (clique [0, 6, 13, 20])
Melnikov requires chi > 4: False;  (2chi-1)(n-w)=49 vs n-1=50
class sizes [8, 12, 14, 17]
== F_k5_c3_plus_K1_edges.txt (n = 65)
1-colourable: False
2-colourable: False
3-colourable: False
4-colourable: False
5-colourable: True
n=65 |E|=921 w=58 n-w=7 chi=5 clique number=5 (clique [0, 6, 13, 20, 27])
Melnikov requires chi > 5: False;  (2chi-1)(n-w)=63 vs n-1=64
class sizes [8, 12, 14, 14, 17]
== F_k3_c4_edges.txt (n = 57)
1-colourable: False
2-colourable: False
3-colourable: True
n=57 |E|=656 w=46 n-w=11 chi=3 clique number=3 (clique [0, 10, 21])
Melnikov requires chi > 3: False;  (2chi-1)(n-w)=55 vs n-1=56
class sizes [11, 20, 26]
