float starts: 864 (two per family, all pairs with denominators <= 12); mismatches: 0
