paper graphs (F, F+K1, blow-ups t<=5; k<30, c<60) violating the non-strict reading: []
Thm 5.3 does not exclude non-strict violations for (n,k), n<=400: [] (count 0)
