A5 conv=kourovka: |G|=60, classes=5, pairs never reaching 1: 480 of 3600 (0.1333); 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(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_4 conv=kourovka: |G|=60, classes=5, pairs never reaching 1: 480 of 3600 (0.1333); 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(3), np.int64(0), np.int64(0), np.int64(2)) (np.int64(0), np.int64(2), np.int64(3), np.int64(1))
PSL2_4 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(3), np.int64(2), np.int64(1), np.int64(1))
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_8 conv=kourovka: |G|=504, classes=9, pairs never reaching 1: 80136 of 254016 (0.3155); max Floyd steps 35; build 0.2s, total 0.2s
  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(5), np.int64(0), np.int64(4), np.int64(2))
PSL2_8 conv=other: |G|=504, classes=9, pairs never reaching 1: 84672 of 254016 (0.3333); max Floyd steps 34; build 0.2s, total 0.2s
  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(5), np.int64(0), np.int64(4), np.int64(2))
PSL2_9 conv=kourovka: |G|=360, classes=7, pairs never reaching 1: 30240 of 129600 (0.2333); max Floyd steps 21; 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(6), np.int64(1))
PSL2_9 conv=other: |G|=360, classes=7, pairs never reaching 1: 34560 of 129600 (0.2667); max Floyd steps 28; 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(3), np.int64(1))
PSL2_11 conv=kourovka: |G|=660, classes=8, pairs never reaching 1: 153120 of 435600 (0.3515); max Floyd steps 54; build 0.2s, total 0.3s
  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))
PSL2_11 conv=other: |G|=660, classes=8, pairs never reaching 1: 137280 of 435600 (0.3152); max Floyd steps 52; build 0.2s, total 0.3s
  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=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))
