TGb p rho1 + rho2 = n/2            cases=  809  failures=0  with family: 139, absence certified: 670, K histogram [(16, 521), (32, 75), (64, 35), (128, 30), (256, 5), (512, 4)]
T0 engines agree (rational)        cases=  493  failures=0  families: {1: 211, 2: 282}
SUMMARY
TGb p rho1 + rho2 = n/2            cases=  809  failures=0  with family: 139, absence certified: 670, K histogram [(16, 521), (32, 75), (64, 35), (128, 30), (256, 5), (512, 4)]
T0 engines agree (rational)        cases=  493  failures=0  families: {1: 211, 2: 282}
