GROUP PSL2_16 order=4080 family=341 mode=witness
BAD orbit#1 survivor_line=1 word=A1.B1.B2 |<x,uxu^-1,v,wvw^-1>|=60 explored=83
BAD orbit#2 survivor_line=2 word=C.C.B2.B2 |<x,uxu^-1,v,wvw^-1>|=60 explored=585
BAD orbit#3 survivor_line=3 word=C.A2.B2.B2 |<x,uxu^-1,v,wvw^-1>|=30 explored=616
BAD orbit#4 survivor_line=4 word=C.A2.B2.B2 |<x,uxu^-1,v,wvw^-1>|=34 explored=627
BAD orbit#5 survivor_line=5 word=A2.B2.B2 |<x,uxu^-1,v,wvw^-1>|=2 explored=232
BAD orbit#6 survivor_line=6 word=C.B2 |<x,uxu^-1,v,wvw^-1>|=34 explored=57
BAD orbit#7 survivor_line=7 word=C.A2.A2.B2 |<x,uxu^-1,v,wvw^-1>|=30 explored=635
BAD orbit#8 survivor_line=8 word=C.C.A2.B2 |<x,uxu^-1,v,wvw^-1>|=60 explored=570
BAD orbit#9 survivor_line=9 word=C.B2.B2.B2 |<x,uxu^-1,v,wvw^-1>|=34 explored=564
BAD orbit#10 survivor_line=10 word=C.B2 |<x,uxu^-1,v,wvw^-1>|=10 explored=57
BAD orbit#11 survivor_line=11 joins orbit#4 (same orbit) explored=13
BAD orbit#12 survivor_line=12 word=B2.B2.B2 |<x,uxu^-1,v,wvw^-1>|=2 explored=218
BAD orbit#13 survivor_line=13 word=C.B2 |<x,uxu^-1,v,wvw^-1>|=10 explored=57
BAD orbit#14 survivor_line=14 word=A2.A2.B2.B2 |<x,uxu^-1,v,wvw^-1>|=2 explored=735
BAD orbit#15 survivor_line=15 joins orbit#11 (same orbit) explored=22
BAD orbit#16 survivor_line=16 joins orbit#1 (same orbit) explored=87
BAD orbit#17 survivor_line=17 word=B1.C.B2 |<x,uxu^-1,v,wvw^-1>|=3 explored=177
BAD orbit#18 survivor_line=18 word=A1.A2.B2.C.B1 |<x,uxu^-1,v,wvw^-1>|=60 explored=1274
BAD orbit#19 survivor_line=19 word=B2.B2 |<x,uxu^-1,v,wvw^-1>|=34 explored=74
BAD orbit#20 survivor_line=20 word=C.B2.B2 |<x,uxu^-1,v,wvw^-1>|=30 explored=235
BAD orbit#21 survivor_line=21 word=A2.B2 |<x,uxu^-1,v,wvw^-1>|=34 explored=80
BAD orbit#22 survivor_line=22 word=B2.C.B2 |<x,uxu^-1,v,wvw^-1>|=2 explored=251
BAD orbit#23 survivor_line=23 word=B2.A2.B2 |<x,uxu^-1,v,wvw^-1>|=30 explored=268
BAD orbit#24 survivor_line=24 joins orbit#9 (same orbit) explored=5
BAD orbit#25 survivor_line=25 word=C.B2 |<x,uxu^-1,v,wvw^-1>|=10 explored=66
BAD orbit#26 survivor_line=26 word=B2.B2.C.B2 |<x,uxu^-1,v,wvw^-1>|=60 explored=830
BAD orbit#27 survivor_line=27 word=C.B2.B2 |<x,uxu^-1,v,wvw^-1>|=34 explored=213
BAD orbit#28 survivor_line=28 joins orbit#13 (same orbit) explored=21
BAD orbit#29 survivor_line=29 word=C.B2.A2.B2 |<x,uxu^-1,v,wvw^-1>|=34 explored=794
BAD orbit#30 survivor_line=30 word=C.C.B2 |<x,uxu^-1,v,wvw^-1>|=34 explored=215
BAD orbit#31 survivor_line=31 word=C.A2.A2.B2 |<x,uxu^-1,v,wvw^-1>|=30 explored=774
BAD orbit#32 survivor_line=32 word=B2.B2 |<x,uxu^-1,v,wvw^-1>|=240 explored=79
BAD orbit#33 survivor_line=33 joins orbit#32 (same orbit) explored=277
BAD orbit#34 survivor_line=34 word=A1.B1.B2.B2 |<x,uxu^-1,v,wvw^-1>|=34 explored=419
BAD orbit#35 survivor_line=35 word=A1.B1.B1.B2.B2 |<x,uxu^-1,v,wvw^-1>|=34 explored=1340
BAD orbit#36 survivor_line=36 joins orbit#31 (same orbit) explored=1442
BAD orbit#37 survivor_line=37 word=B1.A1.A1.A1.B1 |<x,uxu^-1,v,wvw^-1>|=240 explored=1653
BAD orbit#38 survivor_line=38 word=B1.B2.C.B1.B1 |<x,uxu^-1,v,wvw^-1>|=15 explored=2212
BAD orbit#39 survivor_line=39 word=B2.A2.B2.B2 |<x,uxu^-1,v,wvw^-1>|=60 explored=891
BAD orbit#40 survivor_line=40 joins orbit#18 (same orbit) explored=325
BAD orbit#41 survivor_line=41 word=B2.A2.B2 |<x,uxu^-1,v,wvw^-1>|=60 explored=287
BAD orbit#42 survivor_line=42 joins orbit#1 (same orbit) explored=1618
BAD orbit#43 survivor_line=43 word=A1.B1.B1.B1 |<x,uxu^-1,v,wvw^-1>|=80 explored=375
BAD orbit#44 survivor_line=44 joins orbit#42 (same orbit) explored=315
BAD orbit#45 survivor_line=45 word=A1.B1.B1.B1 |<x,uxu^-1,v,wvw^-1>|=48 explored=368
BAD orbit#46 survivor_line=46 joins orbit#42 (same orbit) explored=191
BAD orbit#47 survivor_line=47 word=C.B2.B2 |<x,uxu^-1,v,wvw^-1>|=48 explored=254
BAD orbit#48 survivor_line=48 word=B2.A2.B2 |<x,uxu^-1,v,wvw^-1>|=48 explored=287
BAD orbit#49 survivor_line=49 joins orbit#37 (same orbit) explored=15
BAD orbit#50 survivor_line=50 joins orbit#36 (same orbit) explored=269
BAD orbit#51 survivor_line=51 word=C.B2.B2 |<x,uxu^-1,v,wvw^-1>|=60 explored=248
BAD orbit#52 survivor_line=52 word=B1.A1.B1.B1 |<x,uxu^-1,v,wvw^-1>|=17 explored=529
BAD orbit#53 survivor_line=53 word=B2.B2.B2 |<x,uxu^-1,v,wvw^-1>|=3 explored=270
BAD orbit#54 survivor_line=54 joins orbit#39 (same orbit) explored=10
BAD orbit#55 survivor_line=56 word=B2.B2 |<x,uxu^-1,v,wvw^-1>|=3 explored=80
BAD orbit#56 survivor_line=57 word=B2.A2.B2 |<x,uxu^-1,v,wvw^-1>|=3 explored=284
BAD orbit#57 survivor_line=58 word=B1.A1.B1 |<x,uxu^-1,v,wvw^-1>|=17 explored=161
BAD orbit#58 survivor_line=59 word=A1.A1.A1.B1 |<x,uxu^-1,v,wvw^-1>|=17 explored=304
BAD orbit#59 survivor_line=60 word=B1.B1.A1.B1 |<x,uxu^-1,v,wvw^-1>|=17 explored=590
BAD orbit#60 survivor_line=61 word=A2.B2 |<x,uxu^-1,v,wvw^-1>|=17 explored=86
BAD orbit#61 survivor_line=62 word=B1.A1.B1 |<x,uxu^-1,v,wvw^-1>|=17 explored=161
BAD orbit#62 survivor_line=63 joins orbit#57 (same orbit) explored=41
BAD orbit#63 survivor_line=64 word=A2.B2 |<x,uxu^-1,v,wvw^-1>|=17 explored=86
BAD orbit#64 survivor_line=65 word=A1.B1.B1.B1 |<x,uxu^-1,v,wvw^-1>|=17 explored=398
BAD orbit#65 survivor_line=66 joins orbit#39 (same orbit) explored=290
BAD orbit#66 survivor_line=67 word=A1.B1.B1 |<x,uxu^-1,v,wvw^-1>|=240 explored=115
BAD orbit#67 survivor_line=68 word=A1.B1.B1 |<x,uxu^-1,v,wvw^-1>|=17 explored=114
BAD orbit#68 survivor_line=69 word=A2.B2 |<x,uxu^-1,v,wvw^-1>|=17 explored=86
BAD orbit#69 survivor_line=70 word=B1.B1.B1 |<x,uxu^-1,v,wvw^-1>|=17 explored=177
BAD orbit#70 survivor_line=71 word=A1.A1.B1.B1 |<x,uxu^-1,v,wvw^-1>|=17 explored=333
BAD orbit#71 survivor_line=72 joins orbit#67 (same orbit) explored=29
BAD orbit#72 survivor_line=73 word=A1.B1.B1.B1 |<x,uxu^-1,v,wvw^-1>|=17 explored=398
BAD orbit#73 survivor_line=74 word=A1.B1 |<x,uxu^-1,v,wvw^-1>|=17 explored=29
BAD orbit#74 survivor_line=75 joins orbit#37 (same orbit) explored=354
BAD orbit#75 survivor_line=76 joins orbit#63 (same orbit) explored=107
BAD orbit#76 survivor_line=77 joins orbit#38 (same orbit) explored=2187
BAD orbit#77 survivor_line=78 word=A1.B1.C.B1 |<x,uxu^-1,v,wvw^-1>|=17 explored=411
BAD orbit#78 survivor_line=79 word=A2.A2.B2.B2 |<x,uxu^-1,v,wvw^-1>|=80 explored=1004
BAD orbit#79 survivor_line=80 joins orbit#77 (same orbit) explored=1021
BAD orbit#80 survivor_line=81 joins orbit#37 (same orbit) explored=189
BAD orbit#81 survivor_line=82 word=A1.C.B1 |<x,uxu^-1,v,wvw^-1>|=60 explored=129
BAD orbit#82 survivor_line=83 word=B1.B1.A2.B2 |<x,uxu^-1,v,wvw^-1>|=60 explored=655
BAD orbit#83 survivor_line=84 joins orbit#31 (same orbit) explored=15
BAD orbit#84 survivor_line=85 word=A1.B1.C.B1.B2 |<x,uxu^-1,v,wvw^-1>|=240 explored=1384
BAD orbit#85 survivor_line=86 word=B1.B1.B1 |<x,uxu^-1,v,wvw^-1>|=17 explored=180
BAD orbit#86 survivor_line=87 word=A1.B1 |<x,uxu^-1,v,wvw^-1>|=17 explored=29
BAD orbit#87 survivor_line=88 joins orbit#12 (same orbit) explored=38
BAD orbit#88 survivor_line=89 word=B2.A2.B2.B2 |<x,uxu^-1,v,wvw^-1>|=17 explored=985
BAD orbit#89 survivor_line=90 word=B2.B2 |<x,uxu^-1,v,wvw^-1>|=17 explored=81
BAD orbit#90 survivor_line=91 word=B1.B1.B1 |<x,uxu^-1,v,wvw^-1>|=17 explored=180
BAD orbit#91 survivor_line=92 word=B2.A2.B2 |<x,uxu^-1,v,wvw^-1>|=17 explored=292
BAD orbit#92 survivor_line=94 joins orbit#78 (same orbit) explored=761
BAD orbit#93 survivor_line=95 word=A2.B2.C.B2 |<x,uxu^-1,v,wvw^-1>|=80 explored=976
BAD orbit#94 survivor_line=96 joins orbit#36 (same orbit) explored=396
BAD orbit#95 survivor_line=97 word=B1.C.C.B1 |<x,uxu^-1,v,wvw^-1>|=5 explored=676
BAD orbit#96 survivor_line=98 word=C.B1.A1.B1 |<x,uxu^-1,v,wvw^-1>|=17 explored=749
BAD orbit#97 survivor_line=99 word=A1.B2.C.B1 |<x,uxu^-1,v,wvw^-1>|=17 explored=456
BAD orbit#98 survivor_line=100 joins orbit#77 (same orbit) explored=393
BAD orbit#99 survivor_line=101 word=C.B1 |<x,uxu^-1,v,wvw^-1>|=60 explored=63
BAD orbit#100 survivor_line=102 joins orbit#93 (same orbit) explored=286
BAD orbit#101 survivor_line=103 word=B2.C.B1 |<x,uxu^-1,v,wvw^-1>|=240 explored=268
BAD orbit#102 survivor_line=104 joins orbit#37 (same orbit) explored=384
BAD orbit#103 survivor_line=105 word=B1.B1.B1 |<x,uxu^-1,v,wvw^-1>|=17 explored=180
BAD orbit#104 survivor_line=106 word=B1.B1.B1 |<x,uxu^-1,v,wvw^-1>|=17 explored=180
BAD orbit#105 survivor_line=107 word=A1.B1 |<x,uxu^-1,v,wvw^-1>|=15 explored=29
BAD orbit#106 survivor_line=108 joins orbit#76 (same orbit) explored=943
BAD orbit#107 survivor_line=109 word=C.C.A2.B2 |<x,uxu^-1,v,wvw^-1>|=15 explored=860
BAD orbit#108 survivor_line=110 word=A1.A1.A1.B1 |<x,uxu^-1,v,wvw^-1>|=17 explored=314
BAD orbit#109 survivor_line=111 word=B2.B2.B2.B2 |<x,uxu^-1,v,wvw^-1>|=17 explored=957
BAD orbit#110 survivor_line=112 word=B1.B1 |<x,uxu^-1,v,wvw^-1>|=17 explored=48
BAD orbit#111 survivor_line=113 joins orbit#110 (same orbit) explored=22
BAD orbit#112 survivor_line=114 joins orbit#7 (same orbit) explored=53
BAD orbit#113 survivor_line=115 joins orbit#74 (same orbit) explored=535
BAD orbit#114 survivor_line=116 joins orbit#76 (same orbit) explored=98
SUMMARY PSL2_16 survivors=116 distinct_starting_orbits_treated=114 good_orbits=0 tuples_visited=46739 exact_closure_failures_outside_family=0
