GROUP PSL3_3 order=5616 family=404 mode=witness
BAD orbit#1 survivor_line=1 word=A1.B2.C.B1 |<x,uxu^-1,v,wvw^-1>|=432 explored=485
BAD orbit#2 survivor_line=2 joins orbit#1 (same orbit) explored=4649
BAD orbit#3 survivor_line=3 word=B1.B1.B2.C.B1 |<x,uxu^-1,v,wvw^-1>|=144 explored=2102
BAD orbit#4 survivor_line=4 word=B1.C.B2 |<x,uxu^-1,v,wvw^-1>|=432 explored=203
BAD orbit#5 survivor_line=5 joins orbit#2 (same orbit) explored=393
BAD orbit#6 survivor_line=6 joins orbit#3 (same orbit) explored=67
BAD orbit#7 survivor_line=7 word=B2.B2.B2 |<x,uxu^-1,v,wvw^-1>|=432 explored=280
BAD orbit#8 survivor_line=8 word=A2.B2.A2.B2 |<x,uxu^-1,v,wvw^-1>|=39 explored=945
BAD orbit#9 survivor_line=9 word=A1.B1.C.B1 |<x,uxu^-1,v,wvw^-1>|=432 explored=390
BAD orbit#10 survivor_line=10 joins orbit#2 (same orbit) explored=1505
BAD orbit#11 survivor_line=11 word=A2.B2.B2.B2.B2 |<x,uxu^-1,v,wvw^-1>|=39 explored=3118
BAD orbit#12 survivor_line=12 word=A1.B1.B1 |<x,uxu^-1,v,wvw^-1>|=108 explored=109
BAD orbit#13 survivor_line=13 word=A1.B2.C.B1 |<x,uxu^-1,v,wvw^-1>|=432 explored=486
BAD orbit#14 survivor_line=14 word=C.B1.C.C.B1 |<x,uxu^-1,v,wvw^-1>|=432 explored=2610
BAD orbit#15 survivor_line=15 word=B1.A2.B2.B2.B2 |<x,uxu^-1,v,wvw^-1>|=432 explored=2413
BAD orbit#16 survivor_line=16 word=C.B1 |<x,uxu^-1,v,wvw^-1>|=432 explored=63
BAD orbit#17 survivor_line=17 word=A2.A2.A2.B2 |<x,uxu^-1,v,wvw^-1>|=72 explored=1021
BAD orbit#18 survivor_line=18 word=C.C.A2.B2 |<x,uxu^-1,v,wvw^-1>|=432 explored=857
BAD orbit#19 survivor_line=19 word=A2.A2.B2 |<x,uxu^-1,v,wvw^-1>|=54 explored=282
BAD orbit#20 survivor_line=20 word=B1.A1.B1 |<x,uxu^-1,v,wvw^-1>|=13 explored=161
SUMMARY PSL3_3 survivors=20 distinct_starting_orbits_treated=20 good_orbits=0 tuples_visited=22139 exact_closure_failures_outside_family=0
