Wrote code to extend K_16,16 to K_17,17, did not successfully show
that b(2,5) > 17