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)]
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)]
