A5 conv=kourovka: |G|=60, classes=5, pairs never reaching 1: 480 of 3600 (0.1333); max Floyd steps 7; build 0.1s, total 0.1s
  witness pair (x, y) as matrices (entries row-wise, field elements as integers): (np.int64(1), np.int64(1), np.int64(0), np.int64(1)) (np.int64(1), np.int64(0), np.int64(2), np.int64(1))
A5 conv=other: |G|=60, classes=5, pairs never reaching 1: 720 of 3600 (0.2000); max Floyd steps 7; build 0.0s, total 0.0s
  witness pair (x, y) as matrices (entries row-wise, field elements as integers): (np.int64(1), np.int64(1), np.int64(0), np.int64(1)) (np.int64(2), np.int64(2), np.int64(1), np.int64(4))
PSL2_7 conv=kourovka: |G|=168, classes=6, pairs never reaching 1: 6720 of 28224 (0.2381); max Floyd steps 18; build 0.0s, total 0.0s
  witness pair (x, y) as matrices (entries row-wise, field elements as integers): (np.int64(1), np.int64(1), np.int64(0), np.int64(1)) (np.int64(1), np.int64(0), np.int64(3), np.int64(1))
PSL2_7 conv=other: |G|=168, classes=6, pairs never reaching 1: 6384 of 28224 (0.2262); max Floyd steps 17; build 0.0s, total 0.0s
  witness pair (x, y) as matrices (entries row-wise, field elements as integers): (np.int64(1), np.int64(1), np.int64(0), np.int64(1)) (np.int64(1), np.int64(2), np.int64(3), np.int64(0))
PSL2_13 conv=kourovka: |G|=1092, classes=9, pairs never reaching 1: 480480 of 1192464 (0.4029); max Floyd steps 84; build 0.6s, total 0.7s
  witness pair (x, y) as matrices (entries row-wise, field elements as integers): (np.int64(1), np.int64(1), np.int64(0), np.int64(1)) (np.int64(1), np.int64(1), np.int64(2), np.int64(3))
PSL2_13 conv=other: |G|=1092, classes=9, pairs never reaching 1: 452088 of 1192464 (0.3791); max Floyd steps 85; build 0.6s, total 0.7s
  witness pair (x, y) as matrices (entries row-wise, field elements as integers): (np.int64(1), np.int64(1), np.int64(0), np.int64(1)) (np.int64(1), np.int64(0), np.int64(2), np.int64(1))
