TC rho1+rho2=1/2 explicit families cases=  622  failures=0  
TB3 rho1 rational, rho2 irrational cases=  250  failures=0  certificates of absence: 156, K histogram [(16, 156)]
TGa rho1 + q rho2 = n/2            cases=  180  failures=0  with family: 73, absence certified: 107, K histogram [(16, 107)]
SUMMARY
TC rho1+rho2=1/2 explicit families cases=  622  failures=0  
TB3 rho1 rational, rho2 irrational cases=  250  failures=0  certificates of absence: 156, K histogram [(16, 156)]
TGa rho1 + q rho2 = n/2            cases=  180  failures=0  with family: 73, absence certified: 107, K histogram [(16, 107)]
