g3 =_d g7: 0.062500 
proportion of matches (g3, 1/3,1/2,1): 0.745313, 0.254688, 0.000000 
proportion of matches (g7, 1/3,1/2,1): 0.755938, 0.244062, 0.000000 
Running time: 18999.450905 
