GROUP PSL2_17 order=2448 family=511 mode=witness
BAD orbit#1 survivor_line=1 word=B1.B1.C.B2.B2 |<x,uxu^-1,v,wvw^-1>|=16 explored=1387
BAD orbit#2 survivor_line=2 joins orbit#1 (same orbit) explored=4062
BAD orbit#3 survivor_line=3 word=B1.C.B2.C.B1 |<x,uxu^-1,v,wvw^-1>|=8 explored=2053
BAD orbit#4 survivor_line=4 joins orbit#3 (same orbit) explored=204
BAD orbit#5 survivor_line=5 joins orbit#2 (same orbit) explored=392
BAD orbit#6 survivor_line=6 word=B2.C.B1.B2.B2 |<x,uxu^-1,v,wvw^-1>|=136 explored=2771
BAD orbit#7 survivor_line=7 joins orbit#2 (same orbit) explored=46
BAD orbit#8 survivor_line=8 word=B1.A1.B1 |<x,uxu^-1,v,wvw^-1>|=9 explored=155
BAD orbit#9 survivor_line=9 word=B1.A1.B1 |<x,uxu^-1,v,wvw^-1>|=9 explored=151
BAD orbit#10 survivor_line=10 joins orbit#2 (same orbit) explored=66
BAD orbit#11 survivor_line=11 joins orbit#3 (same orbit) explored=71
BAD orbit#12 survivor_line=12 joins orbit#3 (same orbit) explored=90
BAD orbit#13 survivor_line=13 word=B1.A2.B2.B2 |<x,uxu^-1,v,wvw^-1>|=136 explored=734
SUMMARY PSL2_17 survivors=13 distinct_starting_orbits_treated=13 good_orbits=0 tuples_visited=12182 exact_closure_failures_outside_family=0
