Lemma 3 (Fricke recursion), q=4: mismatches = 0 (300 random pairs, k <= 12)
Lemma 3 (Fricke recursion), q=8: mismatches = 0 (300 random pairs, k <= 12)
Lemma 3 (Fricke recursion), q=17: mismatches = 0 (300 random pairs, k <= 12)
Lemma 3 (Fricke recursion), q=19: mismatches = 0 (300 random pairs, k <= 12)
Lemma 3 (Fricke recursion), q=23: mismatches = 0 (300 random pairs, k <= 12)
Lemma 3 (Fricke recursion), q=125: mismatches = 0 (300 random pairs, k <= 12)
Lemma 3 (Fricke recursion), q=128: mismatches = 0 (300 random pairs, k <= 12)
time 0.1s
Lemma 3 (Fricke recursion), q=5: mismatches = 0 (300 random pairs, k <= 12)
Lemma 3 (Fricke recursion), q=7: mismatches = 0 (300 random pairs, k <= 12)
Lemma 3 (Fricke recursion), q=9: mismatches = 0 (300 random pairs, k <= 12)
Lemma 3 (Fricke recursion), q=11: mismatches = 0 (300 random pairs, k <= 12)
Lemma 3 (Fricke recursion), q=13: mismatches = 0 (300 random pairs, k <= 12)
Lemma 3 (Fricke recursion), q=16: mismatches = 0 (300 random pairs, k <= 12)
Lemma 3 (Fricke recursion), q=25: mismatches = 0 (300 random pairs, k <= 12)
Lemma 3 (Fricke recursion), q=27: mismatches = 0 (300 random pairs, k <= 12)
Lemma 3 (Fricke recursion), q=32: mismatches = 0 (300 random pairs, k <= 12)
Lemma 3 (Fricke recursion), q=49: mismatches = 0 (300 random pairs, k <= 12)
Lemma 3 (Fricke recursion), q=64: mismatches = 0 (300 random pairs, k <= 12)
Lemma 3 (Fricke recursion), q=81: mismatches = 0 (300 random pairs, k <= 12)
time 0.2s
