m6_n1_nominrule_t353: engine=../mutB/fps_final_n1_nominrule group=t353 slices=15 J=1 inadm=1 opts='-fd 2 -F 16 -F2 12 -dr 3 -br 1' not_DONE=0 raw_solutions=73 trials=68136 complete_rejected=0 | canon: 73 solutions, 7 classes | verify: TOTAL solutions read: 73 ; classes up to conjugacy in W: 7 
m7_n1_nominrule_t353: engine=../mutB/fps_v7_n1_nominrule group=t353 slices=15 J=1 inadm=1 opts='-fd 2 -F 16 -F2 12 -dr 3 -br 1 -bw 200 -sym' not_DONE=0 raw_solutions=43 trials=47910 complete_rejected=0 | canon: 43 solutions, 7 classes | verify: TOTAL solutions read: 43 ; classes up to conjugacy in W: 7 
m6_n2a_thr_minus1_t353: engine=../mutB/fps_final_n2a_thr_minus1 group=t353 slices=15 J=1 inadm=1 opts='-fd 2 -F 16 -F2 12 -dr 3 -br 1' not_DONE=0 raw_solutions=18 trials=21825 complete_rejected=0 | canon: 18 solutions, 7 classes | verify: TOTAL solutions read: 18 ; classes up to conjugacy in W: 7 
m7_n2a_thr_minus1_t353: engine=../mutB/fps_v7_n2a_thr_minus1 group=t353 slices=15 J=1 inadm=1 opts='-fd 2 -F 16 -F2 12 -dr 3 -br 1 -bw 200 -sym' not_DONE=0 raw_solutions=14 trials=20005 complete_rejected=0 | canon: 14 solutions, 7 classes | verify: TOTAL solutions read: 14 ; classes up to conjugacy in W: 7 
m6_n2b_thr_plus1_t353: engine=../mutB/fps_final_n2b_thr_plus1 group=t353 slices=15 J=1 inadm=1 opts='-fd 2 -F 16 -F2 12 -dr 3 -br 1' not_DONE=0 raw_solutions=4 trials=11510 complete_rejected=0 | canon: 4 solutions, 2 classes | verify: TOTAL solutions read: 4 ; classes up to conjugacy in W: 2 
m7_n2b_thr_plus1_t353: engine=../mutB/fps_v7_n2b_thr_plus1 group=t353 slices=15 J=1 inadm=1 opts='-fd 2 -F 16 -F2 12 -dr 3 -br 1 -bw 200 -sym' not_DONE=0 raw_solutions=2 trials=10579 complete_rejected=0 | canon: 2 solutions, 2 classes | verify: TOTAL solutions read: 2 ; classes up to conjugacy in W: 2 
m6_n5_inadm_extra_t353: engine=../mutB/fps_final_n5_inadm_extra group=t353 slices=14 J=1 inadm=1 opts='-fd 2 -F 16 -F2 12 -dr 3 -br 1' not_DONE=0 raw_solutions=11 trials=17315 complete_rejected=0 | canon: 11 solutions, 6 classes | verify: TOTAL solutions read: 11 ; classes up to conjugacy in W: 6 
m7_n5_inadm_extra_t353: engine=../mutB/fps_v7_n5_inadm_extra group=t353 slices=14 J=1 inadm=1 opts='-fd 2 -F 16 -F2 12 -dr 3 -br 1 -bw 200 -sym' not_DONE=0 raw_solutions=7 trials=15888 complete_rejected=0 | canon: 7 solutions, 6 classes | verify: TOTAL solutions read: 7 ; classes up to conjugacy in W: 6 
m6_n3_dropsub_t353_J2: engine=../mutB/fps_final_n3_dropsub group=t353 slices=15 J=2 inadm=1 opts='-fd 2 -F 16 -F2 12 -dr 3 -br 1' not_DONE=0 raw_solutions=7 trials=28211 complete_rejected=0 | canon: 7 solutions, 4 classes | verify: TOTAL solutions read: 7 ; classes up to conjugacy in W: 4 
m7_n3_dropsub_t353_J2: engine=../mutB/fps_v7_n3_dropsub group=t353 slices=15 J=2 inadm=1 opts='-fd 2 -F 16 -F2 12 -dr 3 -br 1 -bw 200 -sym' not_DONE=0 raw_solutions=5 trials=27394 complete_rejected=0 | canon: 5 solutions, 4 classes | verify: TOTAL solutions read: 5 ; classes up to conjugacy in W: 4 
m6_n3_dropsub_t353_J3: engine=../mutB/fps_final_n3_dropsub group=t353 slices=15 J=3 inadm=1 opts='-fd 2 -F 16 -F2 12 -dr 3 -br 1' not_DONE=0 raw_solutions=10 trials=42570 complete_rejected=0 | canon: 10 solutions, 7 classes | verify: TOTAL solutions read: 10 ; classes up to conjugacy in W: 7 
m7_n3_dropsub_t353_J3: engine=../mutB/fps_v7_n3_dropsub group=t353 slices=15 J=3 inadm=1 opts='-fd 2 -F 16 -F2 12 -dr 3 -br 1 -bw 200 -sym' not_DONE=0 raw_solutions=7 trials=41249 complete_rejected=0 | canon: 7 solutions, 7 classes | verify: TOTAL solutions read: 7 ; classes up to conjugacy in W: 7 
m7_n4_sym_strict_t353: engine=../mutB/fps_v7_n4_sym_strict group=t353 slices=15 J=1 inadm=1 opts='-fd 2 -F 16 -F2 12 -dr 3 -br 1 -bw 200 -sym' not_DONE=0 raw_solutions=7 trials=16107 complete_rejected=0 | canon: 7 solutions, 7 classes | verify: TOTAL solutions read: 7 ; classes up to conjugacy in W: 7 
m7_n4b_symfilter_strict_t353: engine=../mutB/fps_v7_n4b_symfilter_strict group=t353 slices=15 J=1 inadm=1 opts='-fd 2 -F 16 -F2 12 -dr 3 -br 1 -bw 200 -sym' not_DONE=0 raw_solutions=8 trials=16667 complete_rejected=0 | canon: 8 solutions, 7 classes | verify: TOTAL solutions read: 8 ; classes up to conjugacy in W: 7 
m6_n6_noholonomy_t353: engine=../mutB/fps_final_n6_noholonomy group=t353 slices=15 J=1 inadm=1 opts='-fd 2 -F 16 -F2 12 -dr 3 -br 1' not_DONE=0 raw_solutions=12 trials=52558 complete_rejected=171 | canon: 12 solutions, 7 classes | verify: TOTAL solutions read: 12 ; classes up to conjugacy in W: 7 
m6_n7_noholonomy_noleaf_t353: engine=../mutB/fps_final_n7_noholonomy_noleaf group=t353 slices=15 J=1 inadm=1 opts='-fd 2 -F 16 -F2 12 -dr 3 -br 1' not_DONE=0 raw_solutions=12 trials=52558 complete_rejected=171 | canon: 12 solutions, 7 classes | verify: TOTAL solutions read: 12 ; classes up to conjugacy in W: 7 
m6_n1_nominrule_t535: engine=../mutB/fps_final_n1_nominrule group=t535 slices=13 J=1 inadm=1 opts='-fd 2 -F 16 -F2 12 -dr 3 -br 1' not_DONE=0 raw_solutions=127 trials=386575 complete_rejected=0 | canon: 127 solutions, 12 classes | verify: TOTAL solutions read: 127 ; classes up to conjugacy in W: 12 
m7_n1_nominrule_t535: engine=../mutB/fps_v7_n1_nominrule group=t535 slices=13 J=1 inadm=1 opts='-fd 2 -F 16 -F2 12 -dr 3 -br 1 -bw 200 -sym' not_DONE=0 raw_solutions=50 trials=241923 complete_rejected=0 | canon: 50 solutions, 12 classes | verify: TOTAL solutions read: 50 ; classes up to conjugacy in W: 12 
m6_n2a_thr_minus1_t535: engine=../mutB/fps_final_n2a_thr_minus1 group=t535 slices=13 J=1 inadm=1 opts='-fd 2 -F 16 -F2 12 -dr 3 -br 1' not_DONE=0 raw_solutions=26 trials=124675 complete_rejected=0 | canon: 26 solutions, 12 classes | verify: TOTAL solutions read: 26 ; classes up to conjugacy in W: 12 
m7_n2a_thr_minus1_t535: engine=../mutB/fps_v7_n2a_thr_minus1 group=t535 slices=13 J=1 inadm=1 opts='-fd 2 -F 16 -F2 12 -dr 3 -br 1 -bw 200 -sym' not_DONE=0 raw_solutions=16 trials=90951 complete_rejected=0 | canon: 16 solutions, 12 classes | verify: TOTAL solutions read: 16 ; classes up to conjugacy in W: 12 
m6_n2b_thr_plus1_t535: engine=../mutB/fps_final_n2b_thr_plus1 group=t535 slices=13 J=1 inadm=1 opts='-fd 2 -F 16 -F2 12 -dr 3 -br 1' not_DONE=0 raw_solutions=3 trials=64725 complete_rejected=0 | canon: 3 solutions, 2 classes | verify: TOTAL solutions read: 3 ; classes up to conjugacy in W: 2 
m7_n2b_thr_plus1_t535: engine=../mutB/fps_v7_n2b_thr_plus1 group=t535 slices=13 J=1 inadm=1 opts='-fd 2 -F 16 -F2 12 -dr 3 -br 1 -bw 200 -sym' not_DONE=0 raw_solutions=2 trials=54232 complete_rejected=0 | canon: 2 solutions, 2 classes | verify: TOTAL solutions read: 2 ; classes up to conjugacy in W: 2 
m6_n5_inadm_extra_t535: engine=../mutB/fps_final_n5_inadm_extra group=t535 slices=12 J=1 inadm=1 opts='-fd 2 -F 16 -F2 12 -dr 3 -br 1' not_DONE=0 raw_solutions=22 trials=93701 complete_rejected=0 | canon: 22 solutions, 11 classes | verify: TOTAL solutions read: 22 ; classes up to conjugacy in W: 11 
m7_n5_inadm_extra_t535: engine=../mutB/fps_v7_n5_inadm_extra group=t535 slices=12 J=1 inadm=1 opts='-fd 2 -F 16 -F2 12 -dr 3 -br 1 -bw 200 -sym' not_DONE=0 raw_solutions=14 trials=70166 complete_rejected=0 | canon: 14 solutions, 11 classes | verify: TOTAL solutions read: 14 ; classes up to conjugacy in W: 11 
m6_n3_dropsub_t535_J2: engine=../mutB/fps_final_n3_dropsub group=t535 slices=13 J=2 inadm=1 opts='-fd 2 -F 16 -F2 12 -dr 3 -br 1' not_DONE=0 raw_solutions=21 trials=79658 complete_rejected=0 | canon: 21 solutions, 12 classes | verify: TOTAL solutions read: 21 ; classes up to conjugacy in W: 12 
m7_n3_dropsub_t535_J2: engine=../mutB/fps_v7_n3_dropsub group=t535 slices=13 J=2 inadm=1 opts='-fd 2 -F 16 -F2 12 -dr 3 -br 1 -bw 200 -sym' not_DONE=0 raw_solutions=15 trials=63546 complete_rejected=0 | canon: 15 solutions, 12 classes | verify: TOTAL solutions read: 15 ; classes up to conjugacy in W: 12 
m6_n3_dropsub_t535_J3: engine=../mutB/fps_final_n3_dropsub group=t535 slices=13 J=3 inadm=1 opts='-fd 2 -F 16 -F2 12 -dr 3 -br 1' not_DONE=0 raw_solutions=19 trials=96972 complete_rejected=0 | canon: 19 solutions, 11 classes | verify: TOTAL solutions read: 19 ; classes up to conjugacy in W: 11 
m7_n3_dropsub_t535_J3: engine=../mutB/fps_v7_n3_dropsub group=t535 slices=13 J=3 inadm=1 opts='-fd 2 -F 16 -F2 12 -dr 3 -br 1 -bw 200 -sym' not_DONE=0 raw_solutions=8 trials=78672 complete_rejected=0 | canon: 8 solutions, 7 classes | verify: TOTAL solutions read: 8 ; classes up to conjugacy in W: 7 
m7_n4_sym_strict_t535: engine=../mutB/fps_v7_n4_sym_strict group=t535 slices=13 J=1 inadm=1 opts='-fd 2 -F 16 -F2 12 -dr 3 -br 1 -bw 200 -sym' not_DONE=0 raw_solutions=10 trials=69340 complete_rejected=0 | canon: 10 solutions, 7 classes | verify: TOTAL solutions read: 10 ; classes up to conjugacy in W: 7 
m7_n4b_symfilter_strict_t535: engine=../mutB/fps_v7_n4b_symfilter_strict group=t535 slices=13 J=1 inadm=1 opts='-fd 2 -F 16 -F2 12 -dr 3 -br 1 -bw 200 -sym' not_DONE=0 raw_solutions=16 trials=70479 complete_rejected=0 | canon: 16 solutions, 12 classes | verify: TOTAL solutions read: 16 ; classes up to conjugacy in W: 12 
m6_n6_noholonomy_t535: engine=../mutB/fps_final_n6_noholonomy group=t535 slices=13 J=1 inadm=1 opts='-fd 2 -F 16 -F2 12 -dr 3 -br 1' not_DONE=0 raw_solutions=26 trials=224591 complete_rejected=936 | canon: 26 solutions, 12 classes | verify: TOTAL solutions read: 26 ; classes up to conjugacy in W: 12 
m6_n7_noholonomy_noleaf_t535: engine=../mutB/fps_final_n7_noholonomy_noleaf group=t535 slices=13 J=1 inadm=1 opts='-fd 2 -F 16 -F2 12 -dr 3 -br 1' not_DONE=0 raw_solutions=26 trials=224591 complete_rejected=936 | canon: 26 solutions, 12 classes | verify: TOTAL solutions read: 26 ; classes up to conjugacy in W: 12 
