(((((2_x,1_y)<1>,1_z)<2>,(1_x,(2_z,3_z)<3>)<4>)<5>,1_C)<6>,(1_D,2_D)<7>)<8> ((((1_B,2_B)<1>,1_A)<2>,((((2_x,1_y)<3>,1_z)<4>,1_x)<5>,(1_C,2_C)<6>)<7>)<8>,1_D)<9> (((1_B,1_A)<1>,(((((2_x,2_y)<2>,(3_x,3_y)<3>)<4>,1_z)<5>,((1_x,1_y)<6>,2_z)<7>)<8>,1_C)<9>)<10>,1_D)<11> ((((1_B,1_A)<1>,(((3_B,4_B)<2>,2_A)<3>,(2_B,(5_B,3_A)<4>)<5>)<6>)<7>,((((1_x,(1_y,2_y)<8>)<9>,1_z)<10>,(((((5_x,(6_x,7_x)<11>)<12>,2_x)<13>,3_y)<14>,((3_x,4_x)<15>,4_y)<16>)<17>,2_z)<18>)<19>,1_C)<20>)<21>,(1_D,2_D)<22>)<23> ((1_A,(1_B,2_A)<1>)<2>,1_D)<3> ((((1_x,1_y)<1>,1_z)<2>,1_C)<3>,1_D)<4> ((1_B,1_A)<1>,1_D)<2> # Number of groups over group globs.cap (-c set to 8) -- Filtering. (((((1_x,1_y)<1>,1_z)<2>,((2_x,2_y)<3>,2_z)<4>)<5>,(1_C,(2_C,3_C)<6>)<7>)<8>,1_D)<9> (((((2_x,2_y)<1>,1_z)<2>,(1_x,1_y)<3>)<4>,1_C)<5>,(1_D,(2_D,3_D)<6>)<7>)<8> ((1_B,1_A)<1>,((((1_x,2_y)<2>,1_z)<3>,((2_x,3_y)<4>,2_z)<5>)<6>,((1_y,((4_y,5_y)<7>,3_z)<8>)<9>,1_C)<10>)<11>)<12> (((1_B,(1_A,2_A)<1>)<2>,(((1_x,1_y)<3>,(2_x,2_y)<4>)<5>,1_z)<6>)<7>,1_D)<8> ((((1_x,((3_y,4_y)<1>,2_y)<2>)<3>,(2_x,1_y)<4>)<5>,(1_B,1_A)<6>)<7>,(1_D,2_D)<8>)<9> (((1_B,2_A)<1>,(((1_x,1_y)<2>,1_z)<3>,((2_x,2_y)<4>,2_z)<5>)<6>)<7>,(1_A,(((((3_x,3_y)<8>,3_z)<9>,(((6_x,6_y)<10>,(7_x,7_y)<11>)<12>,(6_z,7_z)<13>)<14>)<15>,(((4_x,4_y)<16>,4_z)<17>,((5_x,5_y)<18>,5_z)<19>)<20>)<21>,(1_C,2_C)<22>)<23>)<24>)<25> (1_D,(2_D,3_D)<1>)<2> (((1_B,1_A)<1>,(2_B,2_A)<2>)<3>,(((1_y,1_z)<4>,(((1_x,2_y)<5>,2_z)<6>,((2_x,3_y)<7>,3_z)<8>)<9>)<10>,1_C)<11>)<12> (((((2_B,2_A)<1>,(3_B,3_A)<2>)<3>,(1_B,1_A)<4>)<5>,((((1_x,1_y)<6>,1_z)<7>,((2_x,2_y)<8>,2_z)<9>)<10>,1_C)<11>)<12>,1_D)<13> (((1_B,1_A)<1>,((((1_x,1_y)<2>,1_z)<3>,((2_x,2_y)<4>,(2_z,(3_z,4_z)<5>)<6>)<7>)<8>,1_C)<9>)<10>,1_D)<11> ((((((2_x,3_x)<1>,2_y)<2>,1_z)<3>,(1_x,1_y)<4>)<5>,1_C)<6>,1_D)<7> # Number of groups over group globs.cap (-c set to 8) -- Filtering. ((1_D,2_D)<1>,(3_D,4_D)<2>)<3> (((1_y,(1_x,2_y)<1>)<2>,((2_x,3_y)<3>,1_z)<4>)<5>,1_D)<6> (1_D,2_D)<1> (((1_B,1_A)<1>,1_C)<2>,((2_D,(3_D,4_D)<3>)<4>,1_D)<5>)<6> (((1_y,(2_y,1_z)<1>)<2>,1_C)<3>,(1_D,2_D)<4>)<5> ((((2_B,2_A)<1>,(3_B,3_A)<2>)<3>,(1_B,1_A)<4>)<5>,1_D)<6> ((((1_B,1_A)<1>,((1_x,1_y)<2>,((2_C,3_C)<3>,1_C)<4>)<5>)<6>,((2_B,2_A)<7>,(((3_x,3_y)<8>,(1_z,(2_z,3_z)<9>)<10>)<11>,(2_x,2_y)<12>)<13>)<14>)<15>,(((4_D,5_D)<16>,1_D)<17>,(2_D,3_D)<18>)<19>)<20> (((1_B,(1_A,2_A)<1>)<2>,((((2_x,2_y)<3>,(1_z,(2_z,3_z)<4>)<5>)<6>,(1_x,1_y)<7>)<8>,(1_C,2_C)<9>)<10>)<11>,(1_D,2_D)<12>)<13> (1_A,((1_z,((1_x,1_y)<1>,2_z)<2>)<3>,(1_C,(2_C,3_C)<4>)<5>)<6>)<7> (((((1_x,1_y)<1>,1_z)<2>,(2_z,3_z)<3>)<4>,1_C)<5>,1_D)<6> (((1_x,1_y)<1>,1_z)<2>,1_C)<3> (((1_B,1_A)<1>,1_C)<2>,((2_D,3_D)<3>,1_D)<4>)<5> (((1_B,1_A)<1>,(((1_z,2_z)<2>,((1_x,1_y)<3>,((4_z,(5_z,6_z)<4>)<5>,3_z)<6>)<7>)<8>,(1_C,2_C)<9>)<10>)<11>,1_D)<12> (((1_B,1_A)<1>,((((1_x,1_y)<2>,1_z)<3>,(((2_x,3_x)<4>,2_y)<5>,2_z)<6>)<7>,1_C)<8>)<9>,1_D)<10> (((1_B,1_A)<1>,(((1_x,2_y)<2>,1_z)<3>,1_y)<4>)<5>,1_D)<6> # Number of groups over group globs.cap (-c set to 8) -- Filtering. (((2_B,1_A)<1>,((1_x,1_y)<2>,((2_x,2_y)<3>,1_z)<4>)<5>)<6>,(1_B,(2_A,3_A)<7>)<8>)<9> ((1_B,1_A)<1>,((1_y,1_z)<2>,((1_x,2_y)<3>,2_z)<4>)<5>)<6> (((((1_x,2_x)<1>,2_y)<2>,1_z)<3>,(1_y,2_z)<4>)<5>,1_C)<6> (((1_B,1_A)<1>,(((2_x,2_y)<2>,((4_x,4_y)<3>,2_z)<4>)<5>,2_C)<6>)<7>,((((3_x,3_y)<8>,1_z)<9>,(1_x,1_y)<10>)<11>,1_C)<12>)<13> (((1_B,1_A)<1>,((((1_x,1_y)<2>,1_z)<3>,((2_x,2_y)<4>,(2_z,3_z)<5>)<6>)<7>,1_C)<8>)<9>,1_D)<10> ((1_B,1_A)<1>,((((((4_x,5_x)<2>,(4_y,5_y)<3>)<4>,3_z)<5>,((3_x,3_y)<6>,4_z)<7>)<8>,1_C)<9>,(((1_x,1_y)<10>,1_z)<11>,((2_x,2_y)<12>,2_z)<13>)<14>)<15>)<16> (((((2_B,2_A)<1>,(3_A,4_A)<2>)<3>,((((1_y,1_z)<4>,((1_x,3_y)<5>,(4_z,5_z)<6>)<7>)<8>,((2_y,2_z)<9>,((((3_x,4_x)<10>,4_y)<11>,(2_x,5_y)<12>)<13>,3_z)<14>)<15>)<16>,(1_C,2_C)<17>)<18>)<19>,(1_B,1_A)<20>)<21>,1_D)<22> # Number of groups over group globs.cap (-c set to 8) -- Filtering. (((((2_x,((3_x,4_x)<1>,2_y)<2>)<3>,1_z)<4>,(1_x,1_y)<5>)<6>,1_C)<7>,1_D)<8> ((((1_B,(1_A,2_A)<1>)<2>,(((3_B,4_B)<3>,3_A)<4>,(2_B,4_A)<5>)<6>)<7>,(((1_x,1_y)<8>,1_z)<9>,((2_x,2_y)<10>,(2_z,3_z)<11>)<12>)<13>)<14>,1_D)<15> # Number of groups over group globs.cap (-c set to 8) -- Filtering. ((2_B,1_A)<1>,1_B)<2> (((1_B,2_B)<1>,1_A)<2>,(((1_x,1_y)<3>,1_z)<4>,((2_x,2_y)<5>,(2_z,3_z)<6>)<7>)<8>)<9> (((((1_x,(3_y,4_y)<1>)<2>,1_y)<3>,((2_x,2_y)<4>,1_z)<5>)<6>,(((1_B,2_B)<7>,1_A)<8>,((((3_x,5_y)<9>,2_z)<10>,((4_x,3_z)<11>,((5_x,6_y)<12>,4_z)<13>)<14>)<15>,1_C)<16>)<17>)<18>,1_D)<19> (((1_x,1_y)<1>,1_z)<2>,(((2_x,3_x)<3>,2_y)<4>,(2_z,3_z)<5>)<6>)<7> ((1_B,1_A)<1>,(((1_x,1_y)<2>,(2_z,3_z)<3>)<4>,(((2_x,2_y)<5>,(3_x,3_y)<6>)<7>,1_z)<8>)<9>)<10> (((1_B,1_A)<1>,((1_y,1_z)<2>,(1_x,2_y)<3>)<4>)<5>,1_D)<6> (((1_x,1_y)<1>,(1_z,(3_z,4_z)<2>)<3>)<4>,(((5_z,2_x)<5>,2_z)<6>,(1_C,(2_C,3_C)<7>)<8>)<9>)<10> ((((1_B,1_A)<1>,(2_B,2_A)<2>)<3>,((((2_x,2_y)<4>,1_z)<5>,(1_x,1_y)<6>)<7>,1_C)<8>)<9>,1_D)<10> (((1_B,1_A)<1>,(((((1_x,1_y)<2>,(2_x,2_y)<3>)<4>,(1_z,2_z)<5>)<6>,(((3_x,3_y)<7>,3_z)<8>,((4_x,4_y)<9>,4_z)<10>)<11>)<12>,1_C)<13>)<14>,1_D)<15> (((1_B,1_A)<1>,(1_x,1_y)<2>)<3>,((2_D,3_D)<4>,1_D)<5>)<6> (((((2_B,3_B)<1>,1_A)<2>,(1_B,2_A)<3>)<4>,(((((2_x,3_x)<5>,1_y)<6>,(2_z,3_z)<7>)<8>,((1_x,2_y)<9>,1_z)<10>)<11>,((2_C,3_C)<12>,1_C)<13>)<14>)<15>,1_D)<16> (1_D,2_D)<1> ((((1_x,1_y)<1>,1_z)<2>,((2_x,2_y)<3>,2_z)<4>)<5>,1_C)<6> (((((1_x,1_y)<1>,(2_z,3_z)<2>)<3>,1_C)<4>,((1_z,(((2_x,2_y)<5>,(3_x,(3_y,4_y)<6>)<7>)<8>,(4_z,(5_z,6_z)<9>)<10>)<11>)<12>,((3_C,4_C)<13>,2_C)<14>)<15>)<16>,1_D)<17> ((((((2_x,1_y)<1>,2_z)<2>,((((4_x,5_x)<3>,(3_y,4_y)<4>)<5>,3_z)<6>,((3_x,2_y)<7>,4_z)<8>)<9>)<10>,(1_x,1_z)<11>)<12>,1_C)<13>,1_D)<14> ((1_B,1_A)<1>,((((1_x,2_y)<2>,(1_z,2_z)<3>)<4>,1_y)<5>,1_C)<6>)<7> (1_B,1_A)<1> ((1_B,(1_A,2_A)<1>)<2>,(1_D,2_D)<3>)<4> (((1_B,1_A)<1>,((((1_x,1_y)<2>,(2_z,3_z)<3>)<4>,((2_x,2_y)<5>,1_z)<6>)<7>,1_C)<8>)<9>,1_D)<10> (1_D,2_D)<1> ((((2_B,1_A)<1>,(1_x,1_y)<2>)<3>,(1_B,((2_x,((3_x,2_y)<4>,1_z)<5>)<6>,1_C)<7>)<8>)<9>,1_D)<10> (((1_B,1_A)<1>,(((((2_x,2_y)<2>,1_z)<3>,(1_x,1_y)<4>)<5>,(2_C,3_C)<6>)<7>,((((3_x,3_y)<8>,2_z)<9>,((4_x,4_y)<10>,(3_z,4_z)<11>)<12>)<13>,1_C)<14>)<15>)<16>,1_D)<17> ((((1_x,1_y)<1>,1_z)<2>,(((2_x,3_x)<3>,2_y)<4>,2_z)<5>)<6>,1_C)<7> (((1_B,2_B)<1>,((((3_x,4_y)<2>,3_z)<3>,(1_x,2_y)<4>)<5>,2_C)<6>)<7>,(((1_y,1_z)<8>,((2_x,3_y)<9>,2_z)<10>)<11>,1_C)<12>)<13> ((((1_B,1_A)<1>,(2_B,3_B)<2>)<3>,(((1_x,1_y)<4>,((2_x,2_y)<5>,1_z)<6>)<7>,(1_C,2_C)<8>)<9>)<10>,1_D)<11> (((1_B,1_A)<1>,((((1_x,1_y)<2>,1_z)<3>,((2_x,2_y)<4>,2_z)<5>)<6>,1_C)<7>)<8>,((1_D,(4_D,5_D)<9>)<10>,(2_D,3_D)<11>)<12>)<13> (((1_B,(1_A,2_A)<1>)<2>,((1_z,((2_z,3_z)<3>,((1_x,(1_y,2_y)<4>)<5>,4_z)<6>)<7>)<8>,1_C)<9>)<10>,1_D)<11> ((1_B,(1_A,2_A)<1>)<2>,(((1_y,(2_z,3_z)<3>)<4>,(((1_x,2_x)<5>,2_y)<6>,1_z)<7>)<8>,(1_C,2_C)<9>)<10>)<11> ((1_B,((((1_x,1_y)<1>,(2_x,2_y)<2>)<3>,((3_x,3_y)<4>,1_z)<5>)<6>,1_C)<7>)<8>,1_D)<9> ((((1_x,1_y)<1>,1_z)<2>,((2_x,2_y)<3>,(2_z,3_z)<4>)<5>)<6>,1_D)<7> (1_A,((((1_x,1_y)<1>,1_z)<2>,(((2_x,2_y)<3>,(3_x,3_y)<4>)<5>,2_z)<6>)<7>,1_C)<8>)<9> ((1_B,1_A)<1>,((((1_x,1_y)<2>,(2_x,2_y)<3>)<4>,1_z)<5>,1_C)<6>)<7> ((((1_x,((3_x,4_x)<1>,2_y)<2>)<3>,1_z)<4>,((2_x,1_y)<5>,2_z)<6>)<7>,(1_C,2_C)<8>)<9> (1_B,1_A)<1> (((1_B,1_A)<1>,((((1_x,1_y)<2>,(1_z,2_z)<3>)<4>,((((3_x,4_x)<5>,2_y)<6>,(3_z,4_z)<7>)<8>,((2_x,3_y)<9>,(5_z,6_z)<10>)<11>)<12>)<13>,1_C)<14>)<15>,(1_D,2_D)<16>)<17> (((1_x,1_y)<1>,(((2_x,2_y)<2>,1_z)<3>,((((4_x,5_x)<4>,3_y)<5>,2_z)<6>,((3_x,4_y)<7>,3_z)<8>)<9>)<10>)<11>,(1_C,2_C)<12>)<13> (1_B,((((2_x,1_y)<1>,1_z)<2>,(1_x,2_z)<3>)<4>,1_C)<5>)<6> (((((2_B,2_A)<1>,((3_B,4_A)<2>,3_A)<3>)<4>,(1_B,1_A)<5>)<6>,((((1_x,1_y)<7>,1_z)<8>,((2_x,2_y)<9>,2_z)<10>)<11>,1_C)<12>)<13>,1_D)<14> ((((2_x,2_y)<1>,1_z)<2>,(1_x,1_y)<3>)<4>,1_D)<5> (((((1_z,((3_x,3_y)<1>,3_z)<2>)<3>,3_C)<4>,1_C)<5>,((2_B,2_A)<6>,(((((4_x,5_x)<7>,4_y)<8>,4_z)<9>,(((6_x,(6_y,7_y)<10>)<11>,5_y)<12>,5_z)<13>)<14>,4_C)<15>)<16>)<17>,((1_B,1_A)<18>,((((1_x,1_y)<19>,2_z)<20>,((2_y,2_x)<21>,(6_z,7_z)<22>)<23>)<24>,2_C)<25>)<26>)<27> ((1_x,1_y)<1>,(1_z,2_z)<2>)<3> (((((1_x,1_y)<1>,1_z)<2>,((2_x,2_y)<3>,2_z)<4>)<5>,1_C)<6>,1_D)<7> ((1_B,1_A)<1>,(2_B,(2_A,3_A)<2>)<3>)<4> (((1_B,1_A)<1>,(((1_x,1_z)<2>,(2_y,2_z)<3>)<4>,(1_y,(3_z,4_z)<5>)<6>)<7>)<8>,((2_D,3_D)<9>,1_D)<10>)<11> ((((1_B,2_B)<1>,1_A)<2>,(((1_x,1_y)<3>,1_z)<4>,(((2_x,2_y)<5>,3_z)<6>,2_z)<7>)<8>)<9>,(((3_D,4_D)<10>,2_D)<11>,1_D)<12>)<13> ((1_B,(1_A,2_A)<1>)<2>,(((((2_x,3_y)<3>,1_z)<4>,(1_x,1_y)<5>)<6>,((((3_x,4_y)<7>,3_z)<8>,((4_x,(5_y,6_y)<9>)<10>,4_z)<11>)<12>,(2_y,2_z)<13>)<14>)<15>,1_C)<16>)<17> ((((1_B,1_A)<1>,((1_x,1_y)<2>,1_z)<3>)<4>,((2_B,2_A)<5>,((((2_x,3_y)<6>,2_z)<7>,(((5_x,5_y)<8>,4_z)<9>,((6_x,6_y)<10>,5_z)<11>)<12>)<13>,((((7_x,8_x)<14>,4_y)<15>,3_z)<16>,((3_x,4_x)<17>,2_y)<18>)<19>)<20>)<21>)<22>,1_D)<23> (((((((4_x,3_y)<1>,3_z)<2>,(3_x,2_y)<3>)<4>,(2_x,1_y)<5>)<6>,(1_x,(1_z,2_z)<7>)<8>)<9>,1_C)<10>,1_D)<11> ((1_B,1_A)<1>,(((1_z,2_z)<2>,(1_x,(1_y,2_y)<3>)<4>)<5>,(1_C,2_C)<6>)<7>)<8> ((1_B,1_A)<1>,(((((1_x,1_y)<2>,2_z)<3>,(((4_x,3_y)<4>,(5_x,4_y)<5>)<6>,3_z)<7>)<8>,(((2_x,2_y)<9>,(3_x,(5_y,6_y)<10>)<11>)<12>,1_z)<13>)<14>,1_C)<15>)<16> ((((1_B,1_A)<1>,1_C)<2>,((2_B,2_A)<3>,(((1_y,1_z)<4>,((1_x,2_y)<5>,2_z)<6>)<7>,(2_C,(3_C,4_C)<8>)<9>)<10>)<11>)<12>,(1_D,2_D)<13>)<14> ((1_B,(((1_x,2_x)<1>,1_z)<2>,(1_C,(2_C,3_C)<3>)<4>)<5>)<6>,(1_D,2_D)<7>)<8> ((((1_x,1_y)<1>,1_z)<2>,((2_x,2_y)<3>,2_z)<4>)<5>,1_C)<6> ((((((2_x,2_y)<1>,2_z)<2>,((3_x,3_y)<3>,3_z)<4>)<5>,((1_x,1_y)<6>,1_z)<7>)<8>,(1_C,2_C)<9>)<10>,((1_A,(1_B,2_A)<11>)<12>,((((4_x,4_y)<13>,4_z)<14>,((5_x,5_y)<15>,(5_z,6_z)<16>)<17>)<18>,3_C)<19>)<20>)<21> ((1_B,1_C)<1>,(((1_x,(1_y,2_y)<2>)<3>,1_z)<4>,(((2_x,3_y)<5>,(3_x,4_y)<6>)<7>,2_z)<8>)<9>)<10> ((((1_B,1_A)<1>,(2_B,2_A)<2>)<3>,((1_x,1_y)<4>,(((2_x,3_x)<5>,2_y)<6>,1_z)<7>)<8>)<9>,((2_D,3_D)<10>,1_D)<11>)<12> (1_A,((((1_y,2_z)<1>,((2_x,3_y)<2>,3_z)<3>)<4>,((1_x,2_y)<5>,1_z)<6>)<7>,1_C)<8>)<9> (1_D,2_D)<1> ((((2_B,2_A)<1>,(((4_B,5_B)<2>,3_A)<3>,3_B)<4>)<5>,(((1_x,1_y)<6>,((3_x,3_y)<7>,1_z)<8>)<9>,1_C)<10>)<11>,((1_B,1_A)<12>,(((2_x,2_y)<13>,((4_x,4_y)<14>,2_z)<15>)<16>,(2_C,3_C)<17>)<18>)<19>)<20> ((1_B,1_A)<1>,((((1_x,1_y)<2>,1_z)<3>,(((2_x,2_y)<4>,(2_z,3_z)<5>)<6>,((3_x,3_y)<7>,(4_z,5_z)<8>)<9>)<10>)<11>,1_C)<12>)<13> (((1_B,1_A)<1>,(((1_y,1_z)<2>,((1_x,2_y)<3>,2_z)<4>)<5>,1_C)<6>)<7>,(1_D,2_D)<8>)<9> (((1_B,2_B)<1>,1_A)<2>,(((1_x,1_y)<3>,((2_x,(2_y,3_y)<4>)<5>,1_z)<6>)<7>,((((3_x,4_y)<8>,(3_z,4_z)<9>)<10>,((4_x,5_y)<11>,2_z)<12>)<13>,(1_C,2_C)<14>)<15>)<16>)<17> (1_D,2_D)<1> (((1_B,1_A)<1>,(((1_x,1_y)<2>,((3_x,2_y)<3>,(4_x,3_y)<4>)<5>)<6>,(2_C,3_C)<7>)<8>)<9>,((2_B,2_A)<10>,(((2_x,1_z)<11>,((5_x,4_y)<12>,2_z)<13>)<14>,1_C)<15>)<16>)<17> (((1_B,2_B)<1>,1_A)<2>,1_D)<3> (1_A,((((1_x,1_y)<1>,(2_z,3_z)<2>)<3>,((2_x,(2_y,3_y)<4>)<5>,1_z)<6>)<7>,1_C)<8>)<9> ((((((1_x,2_x)<1>,1_y)<2>,1_z)<3>,(((3_x,4_x)<4>,2_y)<5>,2_z)<6>)<7>,((1_A,(1_B,2_A)<8>)<9>,(((2_B,3_B)<10>,3_A)<11>,((((5_x,3_y)<12>,((6_x,4_y)<13>,(7_x,(5_y,6_y)<14>)<15>)<16>)<17>,3_z)<18>,(1_C,2_C)<19>)<20>)<21>)<22>)<23>,(1_D,2_D)<24>)<25> (((1_B,1_A)<1>,(((((3_x,3_y)<2>,(2_z,3_z)<3>)<4>,(1_x,1_y)<5>)<6>,((2_x,2_y)<7>,1_z)<8>)<9>,1_C)<10>)<11>,1_D)<12> ((1_B,(((1_x,1_y)<1>,1_z)<2>,(((2_x,3_x)<3>,2_y)<4>,((4_x,3_y)<5>,2_z)<6>)<7>)<8>)<9>,(1_D,2_D)<10>)<11> ((((1_B,1_A)<1>,(2_B,2_A)<2>)<3>,((((1_x,1_y)<4>,1_z)<5>,((2_x,2_y)<6>,2_z)<7>)<8>,1_C)<9>)<10>,((2_D,(3_D,4_D)<11>)<12>,1_D)<13>)<14> (((1_B,1_A)<1>,(2_A,(2_B,3_A)<2>)<3>)<4>,(((((2_x,(3_y,4_y)<5>)<6>,(3_x,2_y)<7>)<8>,1_z)<9>,(1_x,1_y)<10>)<11>,(1_C,2_C)<12>)<13>)<14> (((((2_B,2_A)<1>,(((4_B,5_B)<2>,3_A)<3>,(3_B,(4_A,5_A)<4>)<5>)<6>)<7>,(1_B,1_A)<8>)<9>,((((2_x,1_y)<10>,1_z)<11>,(1_x,2_z)<12>)<13>,1_C)<14>)<15>,1_D)<16> (((1_x,1_y)<1>,1_z)<2>,1_C)<3> (((1_B,1_A)<1>,(2_B,2_A)<2>)<3>,((1_x,1_y)<4>,(1_z,2_z)<5>)<6>)<7> ((((1_x,1_z)<1>,((2_x,1_y)<2>,2_z)<3>)<4>,((((3_B,2_A)<5>,1_B)<6>,(2_B,1_A)<7>)<8>,((((3_x,4_x)<9>,2_y)<10>,3_z)<11>,(((5_x,6_x)<12>,3_y)<13>,4_z)<14>)<15>)<16>)<17>,(1_D,(2_D,3_D)<18>)<19>)<20> ((((1_B,1_A)<1>,(((1_x,1_y)<2>,2_z)<3>,((2_x,2_y)<4>,3_z)<5>)<6>)<7>,(1_z,1_C)<8>)<9>,((2_D,3_D)<10>,1_D)<11>)<12> ((1_B,1_A)<1>,(1_D,(2_D,3_D)<2>)<3>)<4> (((1_B,1_A)<1>,((((1_x,1_y)<2>,1_z)<3>,((2_x,2_y)<4>,2_z)<5>)<6>,1_C)<7>)<8>,(1_D,2_D)<9>)<10> ((1_B,1_A)<1>,((((1_x,2_y)<2>,2_z)<3>,1_z)<4>,((1_y,3_z)<5>,((3_y,(2_x,4_y)<6>)<7>,4_z)<8>)<9>)<10>)<11> ((((2_x,1_y)<1>,1_z)<2>,(1_x,2_z)<3>)<4>,1_C)<5> ((1_A,((((1_x,(2_y,3_y)<1>)<2>,1_z)<3>,((2_x,1_y)<4>,(2_z,3_z)<5>)<6>)<7>,1_C)<8>)<9>,(1_D,(2_D,3_D)<10>)<11>)<12> (((1_B,1_A)<1>,(2_B,2_A)<2>)<3>,((((((3_x,((7_y,8_y)<4>,6_y)<5>)<6>,((6_x,7_x)<7>,3_y)<8>)<9>,1_z)<10>,(((4_x,4_y)<11>,4_z)<12>,((5_x,5_y)<13>,5_z)<14>)<15>)<16>,(((1_x,1_y)<17>,2_z)<18>,((2_x,2_y)<19>,3_z)<20>)<21>)<22>,1_C)<23>)<24> ((1_B,1_A)<1>,(1_C,(((1_x,1_y)<2>,(((2_x,2_y)<3>,(3_x,3_y)<4>)<5>,1_z)<6>)<7>,2_C)<8>)<9>)<10> (((1_B,1_A)<1>,((((3_x,3_y)<2>,3_z)<3>,((4_x,4_y)<4>,4_z)<5>)<6>,1_C)<7>)<8>,(((1_x,1_y)<9>,1_z)<10>,((2_x,2_y)<11>,2_z)<12>)<13>)<14> (1_D,2_D)<1> (((((1_x,1_y)<1>,(2_x,2_y)<2>)<3>,((3_x,3_y)<4>,1_z)<5>)<6>,1_C)<7>,(1_D,2_D)<8>)<9> (((1_B,1_A)<1>,((((((3_x,4_x)<2>,1_y)<3>,2_z)<4>,((2_x,4_z)<5>,3_z)<6>)<7>,(1_x,1_z)<8>)<9>,1_C)<10>)<11>,(1_D,2_D)<12>)<13> ((1_A,(2_A,((1_B,2_B)<1>,3_A)<2>)<3>)<4>,(((((3_x,1_y)<5>,1_z)<6>,(1_x,(4_z,5_z)<7>)<8>)<9>,((2_x,2_z)<10>,(((4_x,2_y)<11>,6_z)<12>,3_z)<13>)<14>)<15>,(1_C,2_C)<16>)<17>)<18> (((((((5_B,6_B)<1>,3_A)<2>,(4_B,4_A)<3>)<4>,(1_B,2_A)<5>)<6>,(((1_y,1_z)<7>,(((3_x,(4_y,5_y)<8>)<9>,(4_x,(6_y,7_y)<10>)<11>)<12>,2_z)<13>)<14>,1_C)<15>)<16>,(((2_B,3_B)<17>,1_A)<18>,(((1_x,2_y)<19>,((2_x,3_y)<20>,3_z)<21>)<22>,2_C)<23>)<24>)<25>,1_D)<26> (((1_B,1_A)<1>,((((1_x,(1_y,(3_y,4_y)<2>)<3>)<4>,1_z)<5>,(((2_x,2_y)<6>,(((4_x,5_x)<7>,5_y)<8>,(3_x,6_y)<9>)<10>)<11>,2_z)<12>)<13>,(1_C,2_C)<14>)<15>)<16>,1_D)<17> ((1_A,(((((1_x,1_y)<1>,3_z)<2>,((2_x,2_y)<3>,4_z)<4>)<5>,1_C)<6>,((1_z,2_z)<7>,2_C)<8>)<9>)<10>,1_D)<11> (((1_x,1_y)<1>,1_z)<2>,((2_x,2_y)<3>,2_z)<4>)<5> (((1_z,((1_x,1_y)<1>,2_z)<2>)<3>,(1_C,2_C)<4>)<5>,1_D)<6> (((1_B,1_A)<1>,(((1_x,1_y)<2>,1_z)<3>,((2_x,2_y)<4>,(2_z,(3_z,4_z)<5>)<6>)<7>)<8>)<9>,(1_D,2_D)<10>)<11> (((1_B,1_A)<1>,(((1_x,2_z)<2>,1_z)<3>,1_C)<4>)<5>,1_D)<6> (((1_B,1_A)<1>,(2_B,2_A)<2>)<3>,((1_z,2_z)<4>,((1_x,1_y)<5>,3_z)<6>)<7>)<8> (((1_x,1_z)<1>,(2_x,1_y)<2>)<3>,1_C)<4> ((((((4_x,4_y)<1>,1_z)<2>,(((5_x,5_y)<3>,((6_x,7_x)<4>,6_y)<5>)<6>,2_z)<7>)<8>,(1_C,2_C)<9>)<10>,(((3_x,3_y)<11>,(3_z,(4_z,5_z)<12>)<13>)<14>,(2_x,2_y)<15>)<16>)<17>,((1_B,1_A)<18>,(1_x,1_y)<19>)<20>)<21> ((1_A,(((1_y,1_z)<1>,((1_x,2_y)<2>,2_z)<3>)<4>,1_C)<5>)<6>,1_D)<7> ((1_x,1_y)<1>,1_C)<2> (((1_B,1_A)<1>,((1_z,(2_z,3_z)<2>)<3>,(1_C,2_C)<4>)<5>)<6>,(1_D,2_D)<7>)<8> (((1_B,1_A)<1>,(((((1_x,1_y)<2>,1_z)<3>,(((4_x,5_y)<4>,2_y)<5>,((6_z,7_z)<6>,3_z)<7>)<8>)<9>,(2_C,3_C)<10>)<11>,((((2_x,3_y)<12>,(4_z,5_z)<13>)<14>,((3_x,4_y)<15>,2_z)<16>)<17>,1_C)<18>)<19>)<20>,1_D)<21> (((1_B,1_A)<1>,(((2_x,2_y)<2>,1_z)<3>,(1_x,1_y)<4>)<5>)<6>,1_D)<7> (((1_y,1_z)<1>,((1_x,(2_y,3_y)<2>)<3>,2_z)<4>)<5>,1_C)<6> ((((1_B,1_A)<1>,((((3_x,4_y)<2>,3_z)<3>,1_y)<4>,1_C)<5>)<6>,((2_B,2_A)<7>,(((1_x,2_y)<8>,1_z)<9>,((2_x,3_y)<10>,2_z)<11>)<12>)<13>)<14>,(1_D,2_D)<15>)<16> (((1_B,2_B)<1>,1_A)<2>,(((((1_x,2_x)<3>,1_y)<4>,2_z)<5>,1_z)<6>,(1_C,2_C)<7>)<8>)<9> ((1_B,1_A)<1>,(((1_z,2_z)<2>,(1_x,1_y)<3>)<4>,(1_C,(2_C,3_C)<5>)<6>)<7>)<8> (((1_B,1_A)<1>,((((2_x,3_x)<2>,(2_y,3_y)<3>)<4>,1_z)<5>,((1_x,1_y)<6>,(2_z,3_z)<7>)<8>)<9>)<10>,1_D)<11> (1_B,((((1_x,1_y)<1>,1_z)<2>,(2_z,3_z)<3>)<4>,(1_C,2_C)<5>)<6>)<7> (((1_B,1_A)<1>,(((((2_x,2_y)<2>,(3_x,3_y)<3>)<4>,((3_z,4_z)<5>,2_z)<6>)<7>,((1_x,1_y)<8>,1_z)<9>)<10>,(1_C,2_C)<11>)<12>)<13>,(1_D,2_D)<14>)<15> ((1_A,(((1_z,(1_x,1_y)<1>)<2>,(2_C,(3_C,4_C)<3>)<4>)<5>,(((2_y,2_z)<6>,((2_x,3_y)<7>,3_z)<8>)<9>,1_C)<10>)<11>)<12>,1_D)<13> ((1_B,1_A)<1>,(((1_x,1_y)<2>,((2_x,2_y)<3>,1_z)<4>)<5>,(1_C,2_C)<6>)<7>)<8> (((((((4_B,5_B)<1>,3_A)<2>,(3_B,4_A)<3>)<4>,(2_B,2_A)<5>)<6>,(1_B,1_A)<7>)<8>,((((1_x,1_y)<9>,1_z)<10>,((2_x,2_y)<11>,(2_z,3_z)<12>)<13>)<14>,1_C)<15>)<16>,((2_D,3_D)<17>,1_D)<18>)<19> (((1_B,1_A)<1>,((((1_x,1_y)<2>,1_z)<3>,((2_x,2_y)<4>,2_z)<5>)<6>,(1_C,2_C)<7>)<8>)<9>,(1_D,(2_D,3_D)<10>)<11>)<12> ((((1_B,1_A)<1>,(2_B,2_A)<2>)<3>,(((((4_x,3_y)<4>,3_z)<5>,(2_x,1_y)<6>)<7>,(1_C,2_C)<8>)<9>,((1_x,1_z)<10>,((3_x,2_y)<11>,2_z)<12>)<13>)<14>)<15>,(1_D,((2_D,3_D)<16>,((5_D,6_D)<17>,4_D)<18>)<19>)<20>)<21> (((((1_x,1_y)<1>,1_z)<2>,((2_x,(2_y,3_y)<3>)<4>,2_z)<5>)<6>,(1_C,2_C)<7>)<8>,1_D)<9> (((((2_B,2_A)<1>,(3_B,3_A)<2>)<3>,(((1_x,(4_z,5_z)<4>)<5>,(1_y,1_z)<6>)<7>,(2_C,3_C)<8>)<9>)<10>,((1_B,1_A)<11>,((((2_x,2_y)<12>,2_z)<13>,(((4_x,3_y)<14>,3_x)<15>,3_z)<16>)<17>,1_C)<18>)<19>)<20>,(1_D,2_D)<21>)<22> ((((1_x,1_y)<1>,1_z)<2>,1_C)<3>,1_D)<4> ((1_B,1_A)<1>,(1_D,(2_D,3_D)<2>)<3>)<4> (((1_z,2_z)<1>,(((1_x,1_y)<2>,4_z)<3>,3_z)<4>)<5>,1_C)<6> ((2_D,3_D)<1>,1_D)<2> (((((2_B,2_A)<1>,(3_B,3_A)<2>)<3>,((((2_x,1_y)<4>,1_z)<5>,(1_x,2_z)<6>)<7>,1_C)<8>)<9>,((1_B,1_A)<10>,((((3_x,2_y)<11>,3_z)<12>,((4_x,3_y)<13>,(4_z,(5_z,6_z)<14>)<15>)<16>)<17>,2_C)<18>)<19>)<20>,1_D)<21> ((((1_B,1_A)<1>,(2_B,2_A)<2>)<3>,((((1_x,1_y)<4>,1_z)<5>,((2_x,2_y)<6>,2_z)<7>)<8>,(((3_x,3_y)<9>,3_z)<10>,(((4_y,5_y)<11>,(4_x,6_y)<12>)<13>,4_z)<14>)<15>)<16>)<17>,(1_D,((2_D,(5_D,6_D)<18>)<19>,(3_D,4_D)<20>)<21>)<22>)<23> (((1_B,1_A)<1>,((((1_x,1_y)<2>,1_z)<3>,((2_x,2_y)<4>,2_z)<5>)<6>,1_C)<7>)<8>,(1_D,(((4_D,5_D)<9>,3_D)<10>,2_D)<11>)<12>)<13> (((1_B,1_A)<1>,(((1_y,1_z)<2>,(((1_x,2_x)<3>,2_y)<4>,2_z)<5>)<6>,1_C)<7>)<8>,1_D)<9> ((1_D,2_D)<1>,(3_D,(4_D,5_D)<2>)<3>)<4> (1_D,2_D)<1> (((1_B,1_A)<1>,(2_B,2_A)<2>)<3>,((1_x,1_y)<4>,1_z)<5>)<6> (((1_B,1_A)<1>,(((1_x,1_y)<2>,(2_z,3_z)<3>)<4>,((2_x,2_y)<5>,1_z)<6>)<7>)<8>,1_D)<9> ((((1_x,2_x)<1>,(1_y,2_y)<2>)<3>,(1_C,2_C)<4>)<5>,1_D)<6> (1_D,2_D)<1> (((1_B,1_A)<1>,(((((2_x,2_y)<2>,2_z)<3>,1_z)<4>,((((3_x,4_x)<5>,3_y)<6>,3_z)<7>,(1_x,1_y)<8>)<9>)<10>,1_C)<11>)<12>,1_D)<13> ((1_B,((4_A,5_A)<1>,1_A)<2>)<3>,((2_B,2_A)<4>,(3_B,3_A)<5>)<6>)<7> ((1_A,2_A)<1>,((1_x,1_y)<2>,(1_z,2_z)<3>)<4>)<5> (((1_B,1_A)<1>,(1_C,2_C)<2>)<3>,1_D)<4> (1_D,2_D)<1> (((1_B,1_A)<1>,(((1_x,1_y)<2>,1_z)<3>,((2_x,2_y)<4>,2_z)<5>)<6>)<7>,((1_D,2_D)<8>,((4_D,5_D)<9>,3_D)<10>)<11>)<12> ((1_B,1_A)<1>,(((1_x,2_y)<2>,1_z)<3>,((2_x,3_x)<4>,1_y)<5>)<6>)<7> (((1_B,(((1_x,1_y)<1>,1_z)<2>,1_C)<3>)<4>,(((2_B,1_A)<5>,(3_B,2_A)<6>)<7>,(((2_x,2_y)<8>,2_z)<9>,(((3_x,4_x)<10>,3_y)<11>,3_z)<12>)<13>)<14>)<15>,(1_D,2_D)<16>)<17> (((((1_x,1_y)<1>,2_z)<2>,1_z)<3>,1_C)<4>,1_D)<5> (1_B,1_A)<1> ((1_B,1_A)<1>,((1_x,1_y)<2>,(((2_x,3_x)<3>,2_y)<4>,1_z)<5>)<6>)<7> (((((1_x,1_y)<1>,1_z)<2>,((2_x,2_y)<3>,2_z)<4>)<5>,2_C)<6>,1_C)<7> (((1_B,1_A)<1>,((1_C,2_C)<2>,((1_x,1_z)<3>,((2_x,1_y)<4>,2_z)<5>)<6>)<7>)<8>,1_D)<9> (1_C,1_D)<1> ((((1_x,2_x)<1>,1_y)<2>,((3_x,2_y)<3>,1_z)<4>)<5>,(1_D,2_D)<6>)<7> # Number of groups over group globs.cap (-c set to 8) -- Filtering. ((((2_x,2_y)<1>,(1_z,2_z)<2>)<3>,(1_x,1_y)<4>)<5>,((1_B,1_A)<6>,((3_x,3_y)<7>,1_C)<8>)<9>)<10> (((1_B,1_A)<1>,1_z)<2>,(1_D,(2_D,3_D)<3>)<4>)<5> (((1_B,1_A)<1>,(((1_x,1_y)<2>,1_z)<3>,(((2_x,2_y)<4>,((3_x,(4_x,5_x)<5>)<6>,3_y)<7>)<8>,2_z)<9>)<10>)<11>,1_D)<12> ((((2_B,3_B)<1>,1_A)<2>,(1_B,2_A)<3>)<4>,(1_z,(1_x,2_z)<5>)<6>)<7> (((1_B,1_A)<1>,(1_x,1_z)<2>)<3>,(((2_x,1_y)<4>,((3_x,2_y)<5>,(2_z,3_z)<6>)<7>)<8>,1_C)<9>)<10> ((1_A,((((2_x,2_y)<1>,(1_z,2_z)<2>)<3>,(((3_x,3_y)<4>,3_z)<5>,((4_x,4_y)<6>,(4_z,5_z)<7>)<8>)<9>)<10>,(1_x,1_y)<11>)<12>)<13>,1_D)<14> ((1_B,1_A)<1>,((((2_x,3_y)<2>,2_z)<3>,(1_y,3_z)<4>)<5>,((1_x,2_y)<6>,1_z)<7>)<8>)<9> (1_C,((2_D,3_D)<1>,1_D)<2>)<3> ((((1_B,1_A)<1>,(2_B,2_A)<2>)<3>,((1_x,1_y)<4>,((2_x,2_y)<5>,1_z)<6>)<7>)<8>,(1_D,2_D)<9>)<10> (((((1_z,2_z)<1>,((2_x,2_y)<2>,((4_z,5_z)<3>,(6_z,7_z)<4>)<5>)<6>)<7>,((1_x,1_y)<8>,((3_x,3_y)<9>,3_z)<10>)<11>)<12>,1_C)<13>,1_D)<14> ((((((1_x,1_y)<1>,1_z)<2>,((2_x,2_y)<3>,2_z)<4>)<5>,(((3_x,3_y)<6>,3_z)<7>,((4_x,4_y)<8>,4_z)<9>)<10>)<11>,1_C)<12>,(1_D,(2_D,3_D)<13>)<14>)<15> (((1_x,1_y)<1>,((2_y,3_y)<2>,1_z)<3>)<4>,1_C)<5> (((1_z,(1_x,2_z)<1>)<2>,(1_C,2_C)<3>)<4>,1_D)<5> (((((2_B,2_A)<1>,(((2_x,2_y)<2>,2_z)<3>,1_y)<4>)<5>,((1_x,1_z)<6>,(2_C,3_C)<7>)<8>)<9>,((1_B,1_A)<10>,1_C)<11>)<12>,(1_D,2_D)<13>)<14> ((2_C,3_C)<1>,1_C)<2> ((1_C,((1_B,1_A)<1>,(1_z,(((1_x,2_x)<2>,1_y)<3>,2_z)<4>)<5>)<6>)<7>,1_D)<8> (((1_B,1_A)<1>,((((1_x,1_y)<2>,1_z)<3>,((2_x,2_y)<4>,(2_z,3_z)<5>)<6>)<7>,(1_C,2_C)<8>)<9>)<10>,(1_D,2_D)<11>)<12> ((1_B,1_A)<1>,((((1_x,1_y)<2>,1_z)<3>,(((2_x,(3_y,4_y)<4>)<5>,2_z)<6>,((3_x,2_y)<7>,3_z)<8>)<9>)<10>,1_C)<11>)<12> (((1_B,1_A)<1>,(2_B,2_A)<2>)<3>,((((1_x,1_y)<4>,1_z)<5>,(((3_x,2_y)<6>,3_z)<7>,((4_x,3_y)<8>,4_z)<9>)<10>)<11>,(((2_x,(4_y,5_y)<12>)<13>,2_z)<14>,(((5_x,6_y)<15>,(6_x,(7_y,8_y)<16>)<17>)<18>,(5_z,6_z)<19>)<20>)<21>)<22>)<23> ((1_B,1_C)<1>,1_D)<2> (((1_B,1_A)<1>,((1_z,((1_x,1_y)<2>,2_z)<3>)<4>,1_C)<5>)<6>,1_D)<7> (((1_B,1_A)<1>,(2_B,2_A)<2>)<3>,(((((2_x,3_x)<4>,(1_y,2_y)<5>)<6>,(1_x,(3_y,4_y)<7>)<8>)<9>,(((4_x,5_y)<10>,1_z)<11>,((6_y,(5_x,(7_y,8_y)<12>)<13>)<14>,2_z)<15>)<16>)<17>,1_C)<18>)<19> (((1_B,1_A)<1>,(((1_x,1_y)<2>,1_z)<3>,((2_x,2_y)<4>,(2_z,3_z)<5>)<6>)<7>)<8>,1_D)<9> ((((2_B,3_B)<1>,1_A)<2>,1_B)<3>,(((1_x,1_y)<4>,(2_z,3_z)<5>)<6>,((2_x,2_y)<7>,1_z)<8>)<9>)<10> ((((1_B,1_A)<1>,(2_B,2_A)<2>)<3>,1_z)<4>,1_D)<5> (((1_B,1_A)<1>,((((1_x,1_y)<2>,1_z)<3>,1_C)<4>,(((((3_x,(4_y,5_y)<5>)<6>,(4_x,3_y)<7>)<8>,2_z)<9>,((2_x,2_y)<10>,3_z)<11>)<12>,2_C)<13>)<14>)<15>,(1_D,(2_D,3_D)<16>)<17>)<18> (1_B,((((1_x,1_y)<1>,(2_z,3_z)<2>)<3>,((2_x,2_y)<4>,1_z)<5>)<6>,1_C)<7>)<8> ((((((4_x,5_x)<1>,(1_y,2_y)<2>)<3>,1_z)<4>,(((6_x,3_y)<5>,4_z)<6>,(1_x,5_z)<7>)<8>)<9>,(((2_x,((7_y,8_y)<10>,4_y)<11>)<12>,2_z)<13>,((3_x,(5_y,6_y)<14>)<15>,3_z)<16>)<17>)<18>,1_C)<19> (((1_A,(1_z,1_C)<1>)<2>,((1_B,(2_A,3_A)<3>)<4>,(2_z,((1_x,1_y)<5>,3_z)<6>)<7>)<8>)<9>,1_D)<10> (((1_B,(1_A,2_A)<1>)<2>,(((1_x,1_y)<3>,1_z)<4>,1_C)<5>)<6>,(1_D,(2_D,(3_D,(4_D,5_D)<7>)<8>)<9>)<10>)<11> (((1_B,2_B)<1>,(3_B,1_A)<2>)<3>,((((1_x,1_y)<4>,1_z)<5>,(((2_x,2_y)<6>,((3_x,4_x)<7>,3_y)<8>)<9>,2_z)<10>)<11>,1_C)<12>)<13> (((1_B,(2_A,3_A)<1>)<2>,(2_B,1_A)<3>)<4>,(((1_x,1_y)<5>,1_z)<6>,((2_x,2_y)<7>,2_z)<8>)<9>)<10> ((1_B,1_A)<1>,(((1_x,1_y)<2>,1_z)<3>,1_C)<4>)<5> ((1_B,1_A)<1>,((((2_x,2_y)<2>,1_z)<3>,((3_x,3_y)<4>,(2_z,3_z)<5>)<6>)<7>,(1_x,1_y)<8>)<9>)<10> (1_B,(((1_x,1_y)<1>,1_z)<2>,((2_x,2_y)<3>,2_z)<4>)<5>)<6> (((1_B,1_A)<1>,(((1_x,2_y)<2>,1_z)<3>,(1_y,2_z)<4>)<5>)<6>,(1_D,2_D)<7>)<8> ((1_A,(((((2_x,2_y)<1>,(3_x,3_y)<2>)<3>,1_z)<4>,((1_x,1_y)<5>,2_z)<6>)<7>,1_C)<8>)<9>,1_D)<10> (((1_B,1_A)<1>,(((((4_x,(6_y,7_y)<2>)<3>,1_z)<4>,(3_x,4_y)<5>)<6>,(1_y,((5_x,5_y)<7>,2_z)<8>)<9>)<10>,((1_x,2_y)<11>,(2_x,3_y)<12>)<13>)<14>)<15>,1_D)<16> ((((1_A,(1_B,2_A)<1>)<2>,((2_B,3_A)<3>,(3_B,4_A)<4>)<5>)<6>,(((((2_x,2_y)<7>,(2_z,3_z)<8>)<9>,(((3_x,4_x)<10>,3_y)<11>,(4_z,(5_z,6_z)<12>)<13>)<14>)<15>,((1_x,1_y)<16>,1_z)<17>)<18>,1_C)<19>)<20>,1_D)<21> ((1_B,1_A)<1>,(((((1_x,1_y)<2>,2_z)<3>,((2_x,2_y)<4>,3_z)<5>)<6>,(((3_x,3_y)<7>,(4_x,4_y)<8>)<9>,1_z)<10>)<11>,1_C)<12>)<13> ((1_B,1_A)<1>,(((((2_x,2_y)<2>,((3_x,4_x)<3>,3_y)<4>)<5>,1_z)<6>,((1_x,1_y)<7>,(2_z,3_z)<8>)<9>)<10>,1_C)<11>)<12> (((1_B,1_A)<1>,(1_C,2_C)<2>)<3>,1_D)<4> (((1_B,1_A)<1>,(((1_x,1_y)<2>,1_z)<3>,(1_C,2_C)<4>)<5>)<6>,(((2_B,2_A)<7>,((3_B,3_A)<8>,(4_B,4_A)<9>)<10>)<11>,((((2_x,2_z)<12>,((3_x,2_y)<13>,3_z)<14>)<15>,(((4_x,3_y)<16>,4_z)<17>,((5_x,4_y)<18>,((6_z,7_z)<19>,5_z)<20>)<21>)<22>)<23>,(3_C,4_C)<24>)<25>)<26>)<27> # Number of groups over group globs.cap (-c set to 8) -- Filtering. ((((1_B,2_B)<1>,1_A)<2>,(((1_x,3_y)<3>,1_z)<4>,(1_y,(2_z,3_z)<5>)<6>)<7>)<8>,(((3_B,2_A)<9>,(4_B,3_A)<10>)<11>,((((2_x,4_y)<12>,4_z)<13>,2_y)<14>,1_C)<15>)<16>)<17> ((1_B,1_A)<1>,(1_D,2_D)<2>)<3> (((((1_x,1_y)<1>,1_z)<2>,1_C)<3>,((((2_x,(3_y,4_y)<4>)<5>,2_z)<6>,((3_x,2_y)<7>,3_z)<8>)<9>,2_C)<10>)<11>,1_D)<12> ((((((1_x,1_y)<1>,(1_z,2_z)<2>)<3>,(((2_x,2_y)<4>,3_z)<5>,((3_x,3_y)<6>,4_z)<7>)<8>)<9>,1_C)<10>,(((((4_x,4_y)<11>,5_z)<12>,((5_x,5_y)<13>,6_z)<14>)<15>,(((6_x,(7_y,8_y)<16>)<17>,7_z)<18>,((7_x,6_y)<19>,8_z)<20>)<21>)<22>,2_C)<23>)<24>,(1_D,(2_D,3_D)<25>)<26>)<27> ((((1_B,1_A)<1>,(((1_y,(4_z,5_z)<2>)<3>,1_z)<4>,1_C)<5>)<6>,(((2_B,(3_A,4_A)<7>)<8>,(3_B,2_A)<9>)<10>,((((1_x,2_y)<11>,2_z)<12>,((2_x,3_y)<13>,3_z)<14>)<15>,2_C)<16>)<17>)<18>,1_D)<19> ((((1_A,(1_B,(4_B,3_A)<1>)<2>)<3>,((2_B,3_B)<4>,2_A)<5>)<6>,(((1_x,(2_z,3_z)<7>)<8>,((2_x,1_y)<9>,1_z)<10>)<11>,1_C)<12>)<13>,(1_D,2_D)<14>)<15> (((1_B,1_A)<1>,(((1_x,1_y)<2>,1_z)<3>,((2_x,2_y)<4>,(2_z,3_z)<5>)<6>)<7>)<8>,(1_D,2_D)<9>)<10> (((1_B,2_A)<1>,1_z)<2>,(1_A,((2_z,((1_x,1_y)<3>,3_z)<4>)<5>,1_C)<6>)<7>)<8> ((1_B,1_A)<1>,((((1_x,1_z)<2>,(((3_x,4_y)<3>,4_z)<4>,(2_y,(((7_z,8_z)<5>,6_z)<6>,5_z)<7>)<8>)<9>)<10>,1_C)<11>,((((2_x,3_y)<12>,2_z)<13>,(1_y,3_z)<14>)<15>,(2_C,3_C)<16>)<17>)<18>)<19> ((1_A,((((1_x,1_y)<1>,(2_x,2_y)<2>)<3>,(((3_x,3_y)<4>,1_z)<5>,((4_x,4_y)<6>,2_z)<7>)<8>)<9>,1_C)<10>)<11>,1_D)<12> ((((1_B,1_A)<1>,(2_B,2_A)<2>)<3>,((((1_x,1_y)<4>,1_z)<5>,((2_x,2_y)<6>,2_z)<7>)<8>,((2_C,3_C)<9>,1_C)<10>)<11>)<12>,1_D)<13> (1_D,2_D)<1> ((((1_B,1_A)<1>,(((((2_x,2_y)<2>,1_z)<3>,(1_y,2_z)<4>)<5>,2_C)<6>,((((3_x,3_y)<7>,3_z)<8>,((4_x,4_y)<9>,4_z)<10>)<11>,3_C)<12>)<13>)<14>,(((2_B,2_A)<15>,((3_B,4_B)<16>,3_A)<17>)<18>,(1_x,1_C)<19>)<20>)<21>,1_D)<22> (((1_B,1_A)<1>,((((2_y,2_z)<2>,((1_x,3_y)<3>,3_z)<4>)<5>,(1_y,1_z)<6>)<7>,1_C)<8>)<9>,1_D)<10> (((((((2_x,2_y)<1>,(3_x,3_y)<2>)<3>,3_z)<4>,1_z)<5>,(((1_x,1_y)<6>,4_z)<7>,2_z)<8>)<9>,1_C)<10>,1_D)<11> (((1_B,(2_A,3_A)<1>)<2>,(2_B,1_A)<3>)<4>,(((((3_x,3_y)<5>,(2_z,3_z)<6>)<7>,(1_x,1_y)<8>)<9>,((2_x,2_y)<10>,1_z)<11>)<12>,1_C)<13>)<14> ((((1_B,1_A)<1>,(2_B,2_A)<2>)<3>,((1_y,1_z)<4>,((1_x,2_y)<5>,2_z)<6>)<7>)<8>,(1_D,2_D)<9>)<10> (((((2_x,(1_y,2_y)<1>)<2>,1_z)<3>,(1_x,(2_z,3_z)<4>)<5>)<6>,1_C)<7>,(1_D,2_D)<8>)<9> ((1_B,1_A)<1>,(2_A,(((((2_x,1_y)<2>,(2_z,3_z)<3>)<4>,1_x)<5>,((((4_x,3_y)<6>,4_z)<7>,((5_x,4_y)<8>,5_z)<9>)<10>,((3_x,2_y)<11>,1_z)<12>)<13>)<14>,1_C)<15>)<16>)<17> (((1_B,1_A)<1>,((1_y,1_z)<2>,1_C)<3>)<4>,1_D)<5> (((1_B,1_A)<1>,((((((2_x,3_y)<2>,3_z)<3>,(1_y,4_z)<4>)<5>,(((3_x,4_y)<6>,5_z)<7>,((4_x,5_y)<8>,6_z)<9>)<10>)<11>,(((1_x,2_y)<12>,1_z)<13>,((((6_x,7_y)<14>,(7_x,8_y)<15>)<16>,(5_x,6_y)<17>)<18>,2_z)<19>)<20>)<21>,(1_C,(2_C,3_C)<22>)<23>)<24>)<25>,(1_D,2_D)<26>)<27> (((1_B,(1_A,2_A)<1>)<2>,((((1_x,1_y)<3>,1_z)<4>,((2_x,2_y)<5>,2_z)<6>)<7>,1_C)<8>)<9>,1_D)<10> ((2_D,3_D)<1>,1_D)<2> (((1_B,1_A)<1>,((((2_x,4_y)<2>,3_z)<3>,1_z)<4>,1_C)<5>)<6>,((2_B,2_A)<7>,((1_y,2_z)<8>,(1_x,(2_y,3_y)<9>)<10>)<11>)<12>)<13> ((1_B,1_A)<1>,((1_x,((2_x,1_y)<2>,1_z)<3>)<4>,1_C)<5>)<6> ((1_B,1_A)<1>,1_D)<2> (((1_B,1_A)<1>,((((1_x,1_y)<2>,1_z)<3>,((2_x,2_y)<4>,2_z)<5>)<6>,(1_C,2_C)<7>)<8>)<9>,1_D)<10> ((((1_y,1_z)<1>,((1_x,2_y)<2>,2_z)<3>)<4>,1_C)<5>,1_D)<6> ((((1_B,2_A)<1>,1_A)<2>,(1_C,2_C)<3>)<4>,((1_D,2_D)<5>,(3_D,4_D)<6>)<7>)<8> ((((1_A,((2_B,3_A)<1>,((3_B,4_B)<2>,4_A)<3>)<4>)<5>,(1_B,2_A)<6>)<7>,(((1_z,2_z)<8>,((1_x,1_y)<9>,(3_z,4_z)<10>)<11>)<12>,1_C)<13>)<14>,((2_D,3_D)<15>,1_D)<16>)<17> (((((3_x,1_y)<1>,1_z)<2>,(1_x,2_x)<3>)<4>,1_C)<5>,((2_D,3_D)<6>,1_D)<7>)<8> (((((4_z,((4_x,4_y)<1>,6_z)<2>)<3>,((3_x,3_y)<4>,5_z)<5>)<6>,((2_x,2_y)<7>,1_z)<8>)<9>,((1_x,1_y)<10>,(2_z,3_z)<11>)<12>)<13>,1_C)<14> ((((((2_x,2_y)<1>,((3_x,4_x)<2>,3_y)<3>)<4>,1_z)<5>,((1_x,1_y)<6>,2_z)<7>)<8>,(1_C,2_C)<9>)<10>,1_D)<11> ((((1_B,1_A)<1>,(1_y,1_z)<2>)<3>,((2_A,(1_C,((3_C,4_C)<4>,(5_C,6_C)<5>)<6>)<7>)<8>,((2_B,3_A)<9>,(((1_x,(2_x,2_y)<10>)<11>,2_z)<12>,2_C)<13>)<14>)<15>)<16>,1_D)<17> ((((1_B,1_A)<1>,(((1_x,1_y)<2>,1_z)<3>,((2_x,2_y)<4>,2_z)<5>)<6>)<7>,(((((4_B,5_A)<8>,(((6_B,7_B)<9>,6_A)<10>,(5_B,7_A)<11>)<12>)<13>,(3_B,4_A)<14>)<15>,1_C)<16>,(2_B,(2_A,3_A)<17>)<18>)<19>)<20>,(1_D,2_D)<21>)<22> ((((1_B,2_B)<1>,1_A)<2>,(((((2_x,2_y)<3>,3_z)<4>,1_z)<5>,((1_x,1_y)<6>,2_z)<7>)<8>,1_C)<9>)<10>,1_D)<11> (((1_x,1_y)<1>,1_C)<2>,1_D)<3> (1_D,2_D)<1> ((1_B,2_B)<1>,(1_C,2_C)<2>)<3> ((2_D,3_D)<1>,1_D)<2> (((1_B,1_A)<1>,((((1_x,1_y)<2>,(5_z,6_z)<3>)<4>,((2_x,2_y)<5>,((6_x,6_y)<6>,(7_x,7_y)<7>)<8>)<9>)<10>,((4_C,(5_C,6_C)<11>)<12>,3_C)<13>)<14>)<15>,(((((3_x,3_y)<16>,2_z)<17>,((4_x,4_y)<18>,3_z)<19>)<20>,1_C)<21>,((((5_x,5_y)<22>,4_z)<23>,1_z)<24>,2_C)<25>)<26>)<27> (((((3_B,4_A)<1>,(4_B,5_A)<2>)<3>,(1_B,1_A)<4>)<5>,(1_C,((((3_x,3_y)<6>,2_z)<7>,((4_x,4_y)<8>,3_z)<9>)<10>,3_C)<11>)<12>)<13>,(((2_B,2_A)<14>,((5_B,6_B)<15>,3_A)<16>)<17>,((((2_x,2_y)<18>,1_z)<19>,(1_x,1_y)<20>)<21>,2_C)<22>)<23>)<24> (1_B,1_A)<1> (((1_B,1_A)<1>,(((1_y,(2_z,3_z)<2>)<3>,((1_x,2_y)<4>,1_z)<5>)<6>,(1_C,(2_C,3_C)<7>)<8>)<9>)<10>,(1_D,2_D)<11>)<12> ((1_B,1_A)<1>,(((((1_x,1_y)<2>,1_z)<3>,((2_x,2_y)<4>,2_z)<5>)<6>,1_C)<7>,((((((6_x,6_y)<8>,(7_x,(7_y,8_y)<9>)<10>)<11>,3_z)<12>,((3_x,3_y)<13>,4_z)<14>)<15>,(((4_x,4_y)<16>,5_z)<17>,((5_x,5_y)<18>,6_z)<19>)<20>)<21>,(2_C,3_C)<22>)<23>)<24>)<25> (((1_x,1_y)<1>,(1_z,2_z)<2>)<3>,1_C)<4> ((((1_B,2_B)<1>,1_A)<2>,((((2_x,3_x)<3>,1_y)<4>,1_z)<5>,((1_x,2_y)<6>,(2_z,3_z)<7>)<8>)<9>)<10>,1_D)<11> (((((2_x,2_y)<1>,(3_x,3_y)<2>)<3>,1_z)<4>,((1_x,1_y)<5>,2_z)<6>)<7>,1_C)<8> (1_z,((2_D,3_D)<1>,1_D)<2>)<3> ((((((2_B,3_B)<1>,1_A)<2>,(1_B,(4_B,2_A)<3>)<4>)<5>,((2_y,3_y)<6>,(2_x,4_y)<7>)<8>)<9>,(1_x,1_y)<10>)<11>,(1_D,(2_D,3_D)<12>)<13>)<14> ((((1_x,1_y)<1>,(2_z,(3_z,4_z)<2>)<3>)<4>,1_z)<5>,(1_D,2_D)<6>)<7> (((((2_x,2_y)<1>,1_z)<2>,((3_x,(4_x,3_y)<3>)<4>,(2_z,3_z)<5>)<6>)<7>,(1_x,1_y)<8>)<9>,((1_B,1_A)<10>,((((5_x,4_y)<11>,4_z)<12>,((6_x,5_y)<13>,5_z)<14>)<15>,1_C)<16>)<17>)<18> (1_B,(1_A,2_A)<1>)<2> ((1_y,((1_x,2_y)<1>,1_z)<2>)<3>,(1_C,2_C)<4>)<5> ((((1_B,1_A)<1>,(2_B,(2_A,3_A)<2>)<3>)<4>,(((((2_x,1_y)<5>,1_z)<6>,(((3_x,2_y)<7>,(4_x,3_y)<8>)<9>,2_z)<10>)<11>,1_x)<12>,1_C)<13>)<14>,((2_D,3_D)<15>,1_D)<16>)<17> (((1_B,1_A)<1>,(((1_x,1_y)<2>,(1_z,2_z)<3>)<4>,((2_x,(3_y,4_y)<5>)<6>,(3_x,2_y)<7>)<8>)<9>)<10>,(1_D,2_D)<11>)<12> ((((1_B,1_A)<1>,(((1_x,1_y)<2>,1_z)<3>,((2_x,2_y)<4>,2_z)<5>)<6>)<7>,(((2_B,(3_A,4_A)<8>)<9>,(3_B,2_A)<10>)<11>,(1_C,2_C)<12>)<13>)<14>,(1_D,(2_D,3_D)<15>)<16>)<17> (1_A,(1_D,2_D)<1>)<2> (((1_B,1_A)<1>,1_C)<2>,1_D)<3> (((1_B,1_A)<1>,(2_B,3_B)<2>)<3>,(((2_y,3_y)<4>,1_z)<5>,(1_x,1_y)<6>)<7>)<8> ((((1_x,(((4_x,5_x)<1>,1_y)<2>,1_z)<3>)<4>,1_C)<5>,((1_B,1_A)<6>,(((2_x,2_y)<7>,2_z)<8>,((3_x,3_y)<9>,3_z)<10>)<11>)<12>)<13>,1_D)<14> (((1_B,1_A)<1>,1_C)<2>,1_D)<3> (((2_B,1_A)<1>,1_B)<2>,(((1_x,1_y)<3>,1_z)<4>,1_C)<5>)<6> ((((2_B,2_A)<1>,(((1_x,1_y)<2>,(2_x,1_z)<3>)<4>,1_C)<5>)<6>,(1_B,1_A)<7>)<8>,1_D)<9> (1_B,(((1_z,2_z)<1>,((1_x,1_y)<2>,3_z)<3>)<4>,1_C)<5>)<6> (1_D,(2_D,3_D)<1>)<2> ((1_B,1_A)<1>,((((2_x,1_y)<2>,(2_z,3_z)<3>)<4>,(1_x,1_z)<5>)<6>,1_C)<7>)<8> # Number of groups over group globs.cap (-c set to 8) -- Filtering. (((((2_B,2_A)<1>,(3_B,3_A)<2>)<3>,((((1_x,3_z)<4>,((3_x,2_y)<5>,4_z)<6>)<7>,(((4_x,3_y)<8>,5_z)<9>,((4_y,5_y)<10>,6_z)<11>)<12>)<13>,1_C)<14>)<15>,((1_B,1_A)<16>,(((((5_x,6_y)<17>,(6_x,7_y)<18>)<19>,1_z)<20>,((2_x,1_y)<21>,2_z)<22>)<23>,2_C)<24>)<25>)<26>,(((3_D,4_D)<27>,2_D)<28>,1_D)<29>)<30> (1_D,2_D)<1> (1_B,1_C)<1> (((1_B,1_A)<1>,(2_B,(2_A,3_A)<2>)<3>)<4>,((((1_x,1_z)<5>,((2_x,1_y)<6>,2_z)<7>)<8>,1_C)<9>,((((2_y,4_z)<10>,3_z)<11>,(((3_x,3_y)<12>,5_z)<13>,((4_x,4_y)<14>,6_z)<15>)<16>)<17>,2_C)<18>)<19>)<20> ((((((1_x,2_x)<1>,2_y)<2>,1_z)<3>,(1_y,2_z)<4>)<5>,1_C)<6>,1_D)<7> (((1_B,2_A)<1>,(((1_x,1_y)<2>,((2_x,2_y)<3>,3_z)<4>)<5>,1_C)<6>)<7>,(1_A,((((3_x,3_y)<8>,(4_x,4_y)<9>)<10>,1_z)<11>,((((6_x,7_x)<12>,5_y)<13>,(5_x,6_y)<14>)<15>,2_z)<16>)<17>)<18>)<19> (((1_B,1_A)<1>,((((1_x,1_y)<2>,1_z)<3>,((2_x,2_y)<4>,2_z)<5>)<6>,1_C)<7>)<8>,(((((5_D,6_D)<9>,4_D)<10>,3_D)<11>,2_D)<12>,1_D)<13>)<14> ((((1_x,1_y)<1>,((2_x,2_y)<2>,1_z)<3>)<4>,1_C)<5>,(1_D,2_D)<6>)<7> (1_B,1_A)<1> (((1_A,((((2_x,3_x)<1>,1_y)<2>,1_z)<3>,(((4_x,2_y)<4>,(5_x,(7_y,8_y)<5>)<6>)<7>,2_z)<8>)<9>)<10>,(((((6_x,3_y)<11>,(7_x,4_y)<12>)<13>,3_z)<14>,((1_x,(5_y,6_y)<15>)<16>,4_z)<17>)<18>,1_C)<19>)<20>,(1_D,2_D)<21>)<22> (((((1_x,1_y)<1>,(1_z,2_z)<2>)<3>,((2_x,2_y)<4>,(3_z,4_z)<5>)<6>)<7>,1_C)<8>,((1_D,2_D)<9>,(3_D,4_D)<10>)<11>)<12> ((1_B,1_A)<1>,1_D)<2> (1_A,(((1_y,1_z)<1>,((1_x,2_y)<2>,2_z)<3>)<4>,(1_C,2_C)<5>)<6>)<7> (((((1_x,1_y)<1>,((3_x,2_y)<2>,1_z)<3>)<4>,(((((5_x,6_x)<5>,4_x)<6>,3_y)<7>,2_z)<8>,(2_x,3_z)<9>)<10>)<11>,1_C)<12>,(1_D,2_D)<13>)<14> ((1_B,1_A)<1>,1_C)<2> ((1_B,2_B)<1>,((((1_x,1_y)<2>,((2_x,2_y)<3>,1_z)<4>)<5>,1_C)<6>,((((3_x,3_y)<7>,2_z)<8>,((4_x,4_y)<9>,3_z)<10>)<11>,2_C)<12>)<13>)<14> ((1_B,1_A)<1>,((1_x,1_y)<2>,1_z)<3>)<4> (((1_B,(2_A,3_A)<1>)<2>,(1_A,(2_B,4_A)<3>)<4>)<5>,1_D)<6> ((1_B,1_A)<1>,((((2_x,2_y)<2>,1_z)<3>,(1_x,1_y)<4>)<5>,1_C)<6>)<7> ((1_B,(1_A,2_A)<1>)<2>,((((1_x,1_y)<3>,(1_z,2_z)<4>)<5>,(((2_x,3_y)<6>,3_z)<7>,(2_y,4_z)<8>)<9>)<10>,1_C)<11>)<12> (((1_B,1_A)<1>,((1_x,1_y)<2>,(1_z,(2_z,3_z)<3>)<4>)<5>)<6>,1_D)<7> ((1_B,1_A)<1>,(1_D,(2_D,3_D)<2>)<3>)<4> # Number of groups over group globs.cap (-c set to 8) -- Filtering. (((1_B,1_A)<1>,((((((2_x,3_x)<2>,2_y)<3>,3_z)<4>,1_z)<5>,((1_x,1_y)<6>,2_z)<7>)<8>,1_C)<9>)<10>,1_D)<11> (((1_B,1_A)<1>,(((((((5_y,(5_x,6_y)<2>)<3>,7_z)<4>,((4_x,(7_y,8_y)<5>)<6>,8_z)<7>)<8>,3_z)<9>,(((3_x,4_y)<10>,5_z)<11>,(2_y,6_z)<12>)<13>)<14>,(1_C,2_C)<15>)<16>,((1_z,((2_x,3_y)<17>,4_z)<18>)<19>,((1_x,1_y)<20>,2_z)<21>)<22>)<23>)<24>,1_D)<25> ((((1_B,1_A)<1>,(((1_x,1_y)<2>,1_z)<3>,(((2_x,3_x)<4>,2_y)<5>,2_z)<6>)<7>)<8>,((2_B,2_A)<9>,((((4_x,3_y)<10>,(5_x,4_y)<11>)<12>,(3_z,4_z)<13>)<14>,1_C)<15>)<16>)<17>,1_D)<18> ((((1_x,(2_y,3_y)<1>)<2>,1_z)<3>,((2_x,1_y)<4>,2_z)<5>)<6>,(1_D,2_D)<7>)<8> (((1_x,1_y)<1>,((((3_x,2_y)<2>,((4_x,(4_y,(5_y,6_y)<3>)<4>)<5>,((5_x,6_x)<6>,3_y)<7>)<8>)<9>,((3_z,4_z)<10>,1_z)<11>)<12>,(2_x,((5_z,6_z)<13>,2_z)<14>)<15>)<16>)<17>,(1_C,(2_C,3_C)<18>)<19>)<20> ((1_C,(1_B,1_A)<1>)<2>,1_D)<3> (((1_B,1_A)<1>,((((1_x,1_y)<2>,1_z)<3>,(((2_x,2_y)<4>,2_z)<5>,((3_x,3_y)<6>,3_z)<7>)<8>)<9>,1_C)<10>)<11>,1_D)<12> (((((1_x,1_y)<1>,1_z)<2>,((2_x,2_y)<3>,2_z)<4>)<5>,1_C)<6>,1_D)<7> (((((2_x,1_y)<1>,1_z)<2>,(1_x,(2_y,3_y)<3>)<4>)<5>,(1_C,2_C)<6>)<7>,1_D)<8> (1_D,2_D)<1> (((1_B,(2_A,3_A)<1>)<2>,((1_x,1_z)<3>,(((2_x,1_y)<4>,(3_x,2_y)<5>)<6>,2_z)<7>)<8>)<9>,((2_B,1_A)<10>,((3_z,(((4_x,3_y)<11>,(5_x,(4_y,5_y)<12>)<13>)<14>,4_z)<15>)<16>,1_C)<17>)<18>)<19> (((1_B,1_A)<1>,(((((1_x,1_y)<2>,2_z)<3>,((2_x,5_z)<4>,((4_x,5_y)<5>,2_y)<6>)<7>)<8>,1_C)<9>,(1_z,((((5_x,6_y)<10>,3_y)<11>,3_z)<12>,((3_x,4_y)<13>,4_z)<14>)<15>)<16>)<17>)<18>,((2_D,3_D)<19>,1_D)<20>)<21> ((1_A,(1_B,(2_A,3_A)<1>)<2>)<3>,(1_z,((1_x,(1_y,2_y)<4>)<5>,2_z)<6>)<7>)<8> ((((2_B,2_A)<1>,(3_B,3_A)<2>)<3>,(1_B,1_A)<4>)<5>,((((1_x,1_y)<6>,1_z)<7>,((2_y,3_y)<8>,2_z)<9>)<10>,1_C)<11>)<12> (((1_B,1_A)<1>,(2_B,2_A)<2>)<3>,1_C)<4> ((1_B,(1_A,2_A)<1>)<2>,((((2_x,(3_y,4_y)<3>)<4>,(3_x,2_y)<5>)<6>,((3_z,4_z)<7>,2_z)<8>)<9>,((1_x,1_y)<10>,1_z)<11>)<12>)<13> ((1_B,1_A)<1>,(((((2_x,2_y)<2>,(3_x,3_y)<3>)<4>,(2_z,3_z)<5>)<6>,((1_x,1_y)<7>,1_z)<8>)<9>,1_C)<10>)<11> (((1_B,(1_A,2_A)<1>)<2>,1_C)<3>,1_D)<4> ((((((1_x,2_x)<1>,1_y)<2>,1_z)<3>,((((4_x,3_y)<4>,2_z)<5>,(2_y,3_z)<6>)<7>,(((5_x,4_y)<8>,4_z)<9>,(3_x,(5_y,6_y)<10>)<11>)<12>)<13>)<14>,1_C)<15>,(1_D,2_D)<16>)<17> ((2_D,3_D)<1>,1_D)<2> (((((2_B,(3_A,4_A)<1>)<2>,(3_B,2_A)<3>)<4>,(1_B,1_A)<5>)<6>,(1_x,(((2_x,3_x)<7>,1_y)<8>,1_z)<9>)<10>)<11>,1_D)<12> ((((1_B,1_A)<1>,(2_B,2_A)<2>)<3>,((((1_x,2_y)<4>,1_z)<5>,(1_y,2_z)<6>)<7>,1_C)<8>)<9>,1_D)<10> (((1_y,(2_y,1_z)<1>)<2>,1_C)<3>,(1_D,2_D)<4>)<5> (((((1_x,1_y)<1>,1_z)<2>,((2_x,2_y)<3>,(2_z,3_z)<4>)<5>)<6>,(1_C,(2_C,3_C)<7>)<8>)<9>,(1_D,2_D)<10>)<11> (((1_B,1_A)<1>,((1_x,2_z)<2>,1_z)<3>)<4>,(1_D,2_D)<5>)<6> # Number of groups over group globs.cap (-c set to 8) -- Filtering. ((((1_B,1_A)<1>,((2_B,3_B)<2>,2_A)<3>)<4>,(1_C,2_C)<5>)<6>,1_D)<7> (1_A,((1_x,1_y)<1>,((2_x,2_y)<2>,1_z)<3>)<4>)<5> (((1_B,2_A)<1>,1_A)<2>,(((((1_x,2_x)<3>,1_y)<4>,((3_x,2_y)<5>,1_z)<6>)<7>,(((4_x,3_y)<8>,2_z)<9>,((5_x,4_y)<10>,3_z)<11>)<12>)<13>,1_C)<14>)<15> # Number of groups over group globs.cap (-c set to 8) -- Filtering. (((1_x,1_y)<1>,1_C)<2>,1_D)<3> (((1_A,(1_B,2_A)<1>)<2>,(((1_x,1_y)<3>,1_z)<4>,1_C)<5>)<6>,1_D)<7> ((1_B,1_A)<1>,(((2_x,(2_y,3_y)<2>)<3>,1_z)<4>,(1_x,1_y)<5>)<6>)<7> (((1_B,1_A)<1>,((((2_x,1_y)<2>,1_z)<3>,1_x)<4>,(1_C,2_C)<5>)<6>)<7>,(1_D,((3_D,4_D)<8>,2_D)<9>)<10>)<11> (((1_x,1_z)<1>,(((2_x,1_y)<2>,((4_z,5_z)<3>,3_z)<4>)<5>,((3_x,((3_y,4_y)<6>,2_y)<7>)<8>,2_z)<9>)<10>)<11>,(1_C,2_C)<12>)<13> (((1_B,(1_A,2_A)<1>)<2>,1_C)<3>,1_D)<4> (1_D,2_D)<1> (((((2_x,2_y)<1>,1_z)<2>,(1_x,1_y)<3>)<4>,(1_C,((3_C,4_C)<5>,2_C)<6>)<7>)<8>,1_D)<9> (((1_B,1_A)<1>,(2_B,2_A)<2>)<3>,(((1_x,1_y)<4>,1_z)<5>,1_C)<6>)<7> ((((1_B,1_A)<1>,(2_B,(2_A,3_A)<2>)<3>)<4>,(((((1_x,1_y)<5>,2_z)<6>,(((4_x,5_x)<7>,2_y)<8>,3_z)<9>)<10>,1_C)<11>,((((2_x,3_y)<12>,(3_x,4_y)<13>)<14>,1_z)<15>,2_C)<16>)<17>)<18>,1_D)<19> ((1_B,1_C)<1>,1_D)<2> (((1_B,1_A)<1>,((1_x,(1_y,(2_y,3_y)<2>)<3>)<4>,1_z)<5>)<6>,1_D)<7> (((1_B,1_A)<1>,1_C)<2>,1_D)<3> # Number of groups over group globs.cap (-c set to 8) -- Filtering. (((1_B,1_A)<1>,(((1_x,1_y)<2>,(1_z,2_z)<3>)<4>,((2_x,2_y)<5>,(3_z,4_z)<6>)<7>)<8>)<9>,1_D)<10> ((1_B,(1_A,2_A)<1>)<2>,(((((1_x,2_y)<3>,1_z)<4>,(2_z,3_z)<5>)<6>,((1_y,4_z)<7>,(5_z,6_z)<8>)<9>)<10>,1_C)<11>)<12> # Number of groups over group globs.cap (-c set to 8) -- Filtering. (((1_A,(1_B,2_A)<1>)<2>,((((1_x,1_y)<3>,1_z)<4>,((2_x,2_y)<5>,2_z)<6>)<7>,(1_C,(2_C,(3_C,4_C)<8>)<9>)<10>)<11>)<12>,(1_D,(2_D,3_D)<13>)<14>)<15> # Number of groups over group globs.cap (-c set to 8) -- Filtering. (((1_B,1_A)<1>,((1_z,(1_x,(1_y,2_y)<2>)<3>)<4>,(1_C,2_C)<5>)<6>)<7>,(1_D,2_D)<8>)<9> (1_D,2_D)<1> (((((2_x,1_y)<1>,1_z)<2>,(1_x,(2_y,3_y)<3>)<4>)<5>,1_C)<6>,(1_D,2_D)<7>)<8> ((1_B,1_A)<1>,1_C)<2> ((((((1_x,2_x)<1>,2_y)<2>,(2_z,((4_z,5_z)<3>,3_z)<4>)<5>)<6>,(1_y,1_z)<7>)<8>,(1_C,2_C)<9>)<10>,1_D)<11> ((1_B,1_A)<1>,((((2_x,3_x)<2>,1_y)<3>,1_z)<4>,(1_x,2_z)<5>)<6>)<7> (((((1_x,1_y)<1>,(2_z,3_z)<2>)<3>,((2_x,2_y)<4>,1_z)<5>)<6>,1_C)<7>,1_D)<8> ((((1_x,2_x)<1>,(3_x,1_z)<2>)<3>,1_C)<4>,1_D)<5> (((1_B,1_A)<1>,(((1_x,1_z)<2>,(2_x,1_y)<3>)<4>,1_C)<5>)<6>,1_D)<7> ((((1_B,1_A)<1>,((2_B,3_B)<2>,2_A)<3>)<4>,(((((2_x,(3_y,4_y)<5>)<6>,(3_x,2_y)<7>)<8>,1_z)<9>,((1_x,1_y)<10>,2_z)<11>)<12>,1_C)<13>)<14>,1_D)<15> ((((1_B,2_B)<1>,1_A)<2>,1_C)<3>,(1_D,2_D)<4>)<5> ((1_B,1_A)<1>,((((1_y,(1_x,3_y)<2>)<3>,((2_x,4_y)<4>,2_z)<5>)<6>,(((3_x,4_x)<7>,2_y)<8>,1_z)<9>)<10>,1_C)<11>)<12> (((((2_x,2_y)<1>,(3_x,3_y)<2>)<3>,1_z)<4>,((1_x,1_y)<5>,2_z)<6>)<7>,((1_B,(1_A,2_A)<8>)<9>,((((4_x,(5_y,6_y)<10>)<11>,3_z)<12>,((5_x,4_y)<13>,4_z)<14>)<15>,1_C)<16>)<17>)<18> (((((1_x,1_y)<1>,1_z)<2>,((2_x,2_y)<3>,2_z)<4>)<5>,1_C)<6>,(1_D,2_D)<7>)<8> ((((((2_x,2_y)<1>,2_z)<2>,((3_x,3_y)<3>,3_z)<4>)<5>,1_C)<6>,((1_x,1_y)<7>,1_z)<8>)<9>,1_D)<10> (((1_B,1_A)<1>,(((1_x,1_y)<2>,1_z)<3>,((2_x,2_y)<4>,2_z)<5>)<6>)<7>,((2_D,((4_D,5_D)<8>,3_D)<9>)<10>,1_D)<11>)<12> (((1_B,(1_A,2_A)<1>)<2>,((1_z,((1_x,(1_y,2_y)<3>)<4>,(2_z,3_z)<5>)<6>)<7>,1_C)<8>)<9>,1_D)<10> (((1_B,1_A)<1>,(2_B,2_A)<2>)<3>,(((((2_x,3_x)<4>,2_y)<5>,(2_z,3_z)<6>)<7>,(1_x,1_y)<8>)<9>,1_z)<10>)<11> ((1_B,1_A)<1>,(((1_x,1_y)<2>,1_z)<3>,(1_C,2_C)<4>)<5>)<6> ((((((1_x,1_y)<1>,(2_x,(2_y,2_z)<2>)<3>)<4>,(((3_x,3_y)<5>,1_z)<6>,((4_x,4_y)<7>,(3_z,4_z)<8>)<9>)<10>)<11>,1_C)<12>,(1_B,1_A)<13>)<14>,1_D)<15> # Number of groups over group globs.cap (-c set to 8) -- Filtering. ((((1_B,2_A)<1>,1_A)<2>,(1_C,2_C)<3>)<4>,(1_D,2_D)<5>)<6> (((1_B,(1_A,2_A)<1>)<2>,(1_z,1_C)<3>)<4>,1_D)<5> ((1_B,1_A)<1>,1_C)<2> (((1_B,1_A)<1>,((2_z,((1_x,1_y)<2>,3_z)<3>)<4>,1_z)<5>)<6>,1_D)<7> ((1_B,1_A)<1>,((((1_x,1_y)<2>,1_z)<3>,((2_x,2_y)<4>,2_z)<5>)<6>,1_C)<7>)<8> ((1_B,1_A)<1>,(2_B,2_A)<2>)<3> ((1_A,((((1_x,2_y)<1>,1_z)<2>,((2_x,3_y)<3>,(3_z,4_z)<4>)<5>)<6>,(2_C,3_C)<7>)<8>)<9>,(2_A,((1_y,((3_x,4_y)<10>,2_z)<11>)<12>,1_C)<13>)<14>)<15> (1_B,((((1_x,1_y)<1>,1_z)<2>,(((2_x,3_x)<3>,2_y)<4>,2_z)<5>)<6>,1_C)<7>)<8> ((1_B,((1_z,((1_x,1_y)<1>,2_z)<2>)<3>,1_C)<4>)<5>,1_D)<6> (((1_B,1_A)<1>,(((1_x,1_y)<2>,(2_x,2_y)<3>)<4>,(1_C,2_C)<5>)<6>)<7>,1_D)<8> (((1_B,((((2_x,3_x)<1>,1_y)<2>,(2_z,3_z)<3>)<4>,((1_x,2_y)<5>,1_z)<6>)<7>)<8>,((2_B,1_A)<9>,((((4_x,3_y)<10>,4_z)<11>,((4_y,5_z)<12>,((5_x,(5_y,6_y)<13>)<14>,(6_z,7_z)<15>)<16>)<17>)<18>,1_C)<19>)<20>)<21>,(1_D,2_D)<22>)<23> (((((1_B,(4_A,5_A)<1>)<2>,(2_B,2_A)<3>)<4>,((3_B,3_A)<5>,1_A)<6>)<7>,(((1_x,1_y)<8>,1_z)<9>,(((2_x,3_x)<10>,2_y)<11>,2_z)<12>)<13>)<14>,1_D)<15> (((((1_x,1_y)<1>,(2_z,3_z)<2>)<3>,((2_x,2_y)<4>,1_z)<5>)<6>,1_C)<7>,1_D)<8> (((1_B,2_A)<1>,1_A)<2>,(((((1_x,1_y)<3>,2_z)<4>,((2_x,2_y)<5>,3_z)<6>)<7>,(2_C,3_C)<8>)<9>,(((((3_x,3_y)<10>,(4_x,4_y)<11>)<12>,4_z)<13>,1_z)<14>,1_C)<15>)<16>)<17> ((1_B,1_A)<1>,(((((1_x,1_y)<2>,(2_x,2_y)<3>)<4>,(2_z,3_z)<5>)<6>,1_z)<7>,1_C)<8>)<9> ((1_B,1_A)<1>,((1_x,1_y)<2>,1_z)<3>)<4> ((((((2_B,3_B)<1>,1_A)<2>,1_B)<3>,1_C)<4>,((1_x,1_z)<5>,(2_x,2_z)<6>)<7>)<8>,1_D)<9> (((1_B,1_A)<1>,((((2_x,2_y)<2>,1_z)<3>,(1_x,1_y)<4>)<5>,1_C)<6>)<7>,(1_D,2_D)<8>)<9> ((((((6_x,5_y)<1>,2_x)<2>,3_z)<3>,((3_x,2_y)<4>,4_z)<5>)<6>,1_C)<7>,(((1_x,(3_y,4_y)<8>)<9>,1_z)<10>,(((4_x,5_x)<11>,1_y)<12>,2_z)<13>)<14>)<15> (((1_B,((2_B,3_B)<1>,1_A)<2>)<3>,((((((4_x,4_y)<4>,((5_x,5_y)<5>,(6_x,6_y)<6>)<7>)<8>,(1_z,2_z)<9>)<10>,((3_x,3_y)<11>,(3_z,4_z)<12>)<13>)<14>,(2_C,3_C)<15>)<16>,(((1_x,1_y)<17>,(2_x,2_y)<18>)<19>,1_C)<20>)<21>)<22>,(1_D,2_D)<23>)<24> (1_D,2_D)<1> ((1_B,1_A)<1>,((1_x,1_z)<2>,((2_x,1_y)<3>,2_z)<4>)<5>)<6> ((((((2_x,3_x)<1>,1_y)<2>,(2_z,3_z)<3>)<4>,((1_x,2_y)<5>,1_z)<6>)<7>,1_C)<8>,1_D)<9> ((1_A,(1_C,(((1_x,1_y)<1>,1_z)<2>,((2_x,2_y)<3>,2_z)<4>)<5>)<6>)<7>,1_D)<8> ((1_B,1_A)<1>,(((((1_x,2_y)<2>,1_z)<3>,((2_x,3_y)<4>,2_z)<5>)<6>,(((3_x,4_x)<7>,1_y)<8>,((5_x,4_y)<9>,3_z)<10>)<11>)<12>,(1_C,(2_C,3_C)<13>)<14>)<15>)<16> (((1_B,(1_A,2_A)<1>)<2>,((((3_z,4_z)<3>,((2_x,2_y)<4>,5_z)<5>)<6>,1_C)<7>,(((1_x,1_y)<8>,2_z)<9>,1_z)<10>)<11>)<12>,(1_D,2_D)<13>)<14> (((1_B,1_A)<1>,(((1_x,1_y)<2>,1_z)<3>,1_C)<4>)<5>,(1_D,2_D)<6>)<7> ((1_B,1_A)<1>,((1_x,1_y)<2>,1_z)<3>)<4> ((1_B,1_A)<1>,((1_x,1_y)<2>,((2_z,3_z)<3>,1_z)<4>)<5>)<6> (1_A,((((2_x,2_y)<1>,1_z)<2>,(1_x,1_y)<3>)<4>,1_C)<5>)<6> ((1_A,(1_B,2_A)<1>)<2>,1_D)<3> (((1_B,1_A)<1>,((1_x,1_y)<2>,1_C)<3>)<4>,(((2_B,3_B)<5>,2_A)<6>,((2_y,1_z)<7>,(((2_x,(4_y,5_y)<8>)<9>,(3_z,(4_z,5_z)<10>)<11>)<12>,((3_x,3_y)<13>,2_z)<14>)<15>)<16>)<17>)<18> (((1_B,1_A)<1>,(((1_x,1_y)<2>,(1_z,2_z)<3>)<4>,(1_C,2_C)<5>)<6>)<7>,((1_D,(4_D,5_D)<8>)<9>,(2_D,3_D)<10>)<11>)<12> ((1_B,1_A)<1>,((((1_x,2_x)<2>,1_y)<3>,((3_x,2_y)<4>,1_z)<5>)<6>,1_C)<7>)<8> (((1_B,1_A)<1>,(((1_x,1_y)<2>,(((4_x,4_y)<3>,(5_x,5_y)<4>)<5>,1_z)<6>)<7>,(((((7_x,8_y)<8>,6_y)<9>,3_z)<10>,((6_x,7_y)<11>,4_z)<12>)<13>,2_C)<14>)<15>)<16>,((2_B,2_A)<17>,((((3_x,3_y)<18>,2_z)<19>,(2_x,2_y)<20>)<21>,1_C)<22>)<23>)<24> (((1_B,1_A)<1>,(((((2_x,3_y)<2>,2_z)<3>,((3_x,4_y)<4>,3_z)<5>)<6>,(((4_x,5_x)<7>,1_y)<8>,(4_z,5_z)<9>)<10>)<11>,(((1_x,2_y)<12>,1_z)<13>,((2_C,3_C)<14>,1_C)<15>)<16>)<17>)<18>,1_D)<19> (((1_z,((1_x,1_y)<1>,(2_z,3_z)<2>)<3>)<4>,2_C)<5>,1_C)<6> ((1_B,1_A)<1>,(((1_x,1_y)<2>,1_z)<3>,1_C)<4>)<5> ((((1_x,1_y)<1>,(1_z,2_z)<2>)<3>,((((((3_x,4_x)<4>,2_y)<5>,(2_x,3_y)<6>)<7>,4_z)<8>,3_z)<9>,1_C)<10>)<11>,1_D)<12> (((1_B,1_A)<1>,1_C)<2>,(1_D,2_D)<3>)<4> ((1_B,1_A)<1>,1_D)<2> ((1_B,(1_A,2_A)<1>)<2>,(((((3_x,2_y)<3>,((5_x,6_x)<4>,3_y)<5>)<6>,((4_x,4_y)<7>,1_z)<8>)<9>,((1_x,2_x)<10>,1_y)<11>)<12>,((2_C,3_C)<13>,1_C)<14>)<15>)<16> (((3_D,4_D)<1>,2_D)<2>,1_D)<3> (1_D,(2_D,(3_D,4_D)<1>)<2>)<3> ((1_B,1_A)<1>,(1_D,(2_D,3_D)<2>)<3>)<4> ((((1_x,((3_y,4_y)<1>,1_y)<2>)<3>,(((2_x,3_x)<4>,2_y)<5>,1_z)<6>)<7>,1_C)<8>,1_D)<9> # Number of groups over group globs.cap (-c set to 8) -- Filtering. ((((2_B,1_A)<1>,1_B)<2>,((((1_x,(3_y,4_y)<3>)<4>,1_z)<5>,((2_x,(5_y,6_y)<6>)<7>,2_z)<8>)<9>,1_C)<10>)<11>,(((3_B,2_A)<12>,(4_B,3_A)<13>)<14>,((((3_x,1_y)<15>,(3_z,4_z)<16>)<17>,(((5_x,7_y)<18>,(5_z,6_z)<19>)<20>,(4_x,2_y)<21>)<22>)<23>,2_C)<24>)<25>)<26> ((((1_x,2_x)<1>,1_z)<2>,(1_C,2_C)<3>)<4>,1_D)<5> ((((1_x,(2_y,3_y)<1>)<2>,1_z)<3>,((2_x,1_y)<4>,2_z)<5>)<6>,(1_D,2_D)<7>)<8> ((1_B,1_A)<1>,(((1_x,2_x)<2>,1_z)<3>,1_C)<4>)<5> (((1_A,2_A)<1>,(((((2_x,2_y)<2>,2_z)<3>,((3_x,3_y)<4>,3_z)<5>)<6>,((1_x,1_y)<7>,1_z)<8>)<9>,(1_C,2_C)<10>)<11>)<12>,1_D)<13> # Number of groups over group globs.cap (-c set to 8) -- Filtering. (1_z,(1_x,2_z)<1>)<2> (((1_B,1_A)<1>,((((1_x,1_y)<2>,1_z)<3>,((2_x,2_y)<4>,2_z)<5>)<6>,1_C)<7>)<8>,1_D)<9> ((1_B,1_A)<1>,(((((((5_x,4_y)<2>,4_z)<3>,((6_x,5_y)<4>,5_z)<5>)<6>,((4_x,(6_y,7_y)<7>)<8>,3_z)<9>)<10>,((2_x,2_y)<11>,1_z)<12>)<13>,((1_x,1_y)<14>,((3_x,3_y)<15>,2_z)<16>)<17>)<18>,1_C)<19>)<20> ((((1_B,2_B)<1>,1_A)<2>,(((1_x,1_y)<3>,1_z)<4>,(2_z,((2_x,2_y)<5>,3_z)<6>)<7>)<8>)<9>,1_D)<10> ((((1_x,1_y)<1>,2_z)<2>,(3_z,((2_x,(3_x,2_y)<3>)<4>,(4_z,5_z)<5>)<6>)<7>)<8>,1_z)<9> (((1_B,1_A)<1>,(((1_y,1_z)<2>,((1_x,2_y)<3>,2_z)<4>)<5>,1_C)<6>)<7>,1_D)<8> # Number of groups over group globs.cap (-c set to 8) -- Filtering. (1_B,(1_D,2_D)<1>)<2> (((1_B,((1_z,((3_x,2_y)<1>,2_z)<2>)<3>,1_C)<4>)<5>,((2_B,1_A)<6>,(((2_x,(3_y,4_y)<7>)<8>,((4_x,5_y)<9>,(3_z,4_z)<10>)<11>)<12>,(1_x,1_y)<13>)<14>)<15>)<16>,1_D)<17> ((((1_B,2_B)<1>,(1_A,2_A)<2>)<3>,(1_y,1_C)<4>)<5>,1_D)<6> ((((((2_B,2_A)<1>,(3_B,3_A)<2>)<3>,(1_B,1_A)<4>)<5>,1_C)<6>,(((2_x,1_y)<7>,1_z)<8>,(1_x,(2_y,3_y)<9>)<10>)<11>)<12>,1_D)<13> ((((1_B,1_A)<1>,(2_B,2_A)<2>)<3>,((((1_x,1_y)<4>,1_z)<5>,((2_x,2_y)<6>,2_z)<7>)<8>,1_C)<9>)<10>,1_D)<11> (((2_B,3_B)<1>,1_B)<2>,1_C)<3> ((((1_x,2_z)<1>,1_z)<2>,(1_C,2_C)<3>)<4>,(1_D,2_D)<5>)<6> ((1_B,1_A)<1>,((((1_x,1_y)<2>,1_z)<3>,(((2_x,2_y)<4>,(3_z,4_z)<5>)<6>,((3_x,3_y)<7>,2_z)<8>)<9>)<10>,1_C)<11>)<12> ((1_B,1_A)<1>,((((1_x,1_y)<2>,1_z)<3>,(((2_x,3_x)<4>,2_y)<5>,2_z)<6>)<7>,(1_C,2_C)<8>)<9>)<10> (1_D,2_D)<1> ((1_B,1_A)<1>,1_C)<2> (((1_x,1_y)<1>,1_z)<2>,((2_x,2_y)<3>,2_z)<4>)<5> (((1_B,1_A)<1>,(((((2_x,3_x)<2>,1_x)<3>,1_y)<4>,1_z)<5>,(1_C,2_C)<6>)<7>)<8>,(1_D,(2_D,3_D)<9>)<10>)<11> (((1_B,1_A)<1>,((((1_x,(3_y,4_y)<2>)<3>,1_z)<4>,1_y)<5>,(((2_x,2_y)<6>,2_z)<7>,((3_x,(5_y,6_y)<8>)<9>,3_z)<10>)<11>)<12>)<13>,(1_D,2_D)<14>)<15> ((((2_B,3_B)<1>,1_B)<2>,1_A)<3>,1_C)<4> (((1_B,1_A)<1>,(((2_x,1_y)<2>,1_z)<3>,(1_x,(2_z,3_z)<4>)<5>)<6>)<7>,(1_D,2_D)<8>)<9> ((1_A,(((1_x,2_y)<1>,1_z)<2>,1_y)<3>)<4>,1_D)<5> ((((1_x,1_z)<1>,((2_x,1_y)<2>,2_z)<3>)<4>,1_C)<5>,1_D)<6> ((1_B,1_A)<1>,((((((3_x,4_x)<2>,2_x)<3>,1_y)<4>,(1_x,2_y)<5>)<6>,1_z)<7>,1_C)<8>)<9> (((1_B,2_A)<1>,1_A)<2>,((((1_x,1_y)<3>,1_z)<4>,((2_x,2_y)<5>,2_z)<6>)<7>,1_C)<8>)<9> ((1_B,1_A)<1>,1_D)<2> ((1_x,1_y)<1>,((2_x,2_y)<2>,(1_z,(2_z,3_z)<3>)<4>)<5>)<6> (((1_B,1_A)<1>,((((1_x,(2_z,3_z)<2>)<3>,(2_x,1_y)<4>)<5>,1_z)<6>,1_C)<7>)<8>,1_D)<9> (1_D,2_D)<1> (((1_B,1_A)<1>,(((1_x,1_y)<2>,1_z)<3>,(2_z,3_z)<4>)<5>)<6>,(1_D,2_D)<7>)<8> (1_D,(2_D,3_D)<1>)<2> (1_B,(1_A,2_A)<1>)<2> ((((1_x,2_y)<1>,1_z)<2>,((2_x,3_x)<3>,1_y)<4>)<5>,1_C)<6> (((1_B,1_A)<1>,((((1_x,1_y)<2>,1_z)<3>,((2_x,2_y)<4>,2_z)<5>)<6>,1_C)<7>)<8>,((2_D,(3_D,4_D)<9>)<10>,1_D)<11>)<12> (((1_B,1_A)<1>,((((2_x,1_y)<2>,1_z)<3>,(1_x,2_z)<4>)<5>,((2_C,3_C)<6>,1_C)<7>)<8>)<9>,1_D)<10> (((((1_x,1_y)<1>,1_z)<2>,((2_x,2_y)<3>,2_z)<4>)<5>,1_C)<6>,(1_D,(2_D,3_D)<7>)<8>)<9> (((1_B,1_A)<1>,(2_B,(2_A,3_A)<2>)<3>)<4>,(((2_y,3_y)<5>,1_y)<6>,((2_z,3_z)<7>,1_z)<8>)<9>)<10> ((((1_x,1_y)<1>,1_z)<2>,((2_x,2_y)<3>,((3_z,4_z)<4>,2_z)<5>)<6>)<7>,1_D)<8> (((((1_x,1_y)<1>,1_z)<2>,(((2_x,2_y)<3>,2_z)<4>,((3_x,3_y)<5>,(3_z,4_z)<6>)<7>)<8>)<9>,(1_C,2_C)<10>)<11>,1_D)<12> ((1_B,(1_x,1_z)<1>)<2>,1_D)<3> ((((1_x,1_y)<1>,(((4_x,5_x)<2>,3_x)<3>,1_z)<4>)<5>,((2_x,(2_y,3_y)<6>)<7>,(2_z,3_z)<8>)<9>)<10>,(1_D,2_D)<11>)<12> ((((1_x,1_y)<1>,1_z)<2>,((2_x,2_y)<3>,2_z)<4>)<5>,1_C)<6> (1_D,2_D)<1> ((1_B,1_A)<1>,((((1_x,1_y)<2>,(1_z,2_z)<3>)<4>,((2_x,2_y)<5>,(3_z,4_z)<6>)<7>)<8>,1_C)<9>)<10> (((1_B,(2_A,3_A)<1>)<2>,(2_B,1_A)<3>)<4>,(((1_x,1_y)<5>,1_z)<6>,((2_y,3_y)<7>,2_z)<8>)<9>)<10> (((1_B,1_A)<1>,(((1_x,1_y)<2>,1_z)<3>,1_C)<4>)<5>,1_D)<6> (((1_B,1_A)<1>,(((((1_x,1_y)<2>,(2_x,2_y)<3>)<4>,(1_z,2_z)<5>)<6>,(((3_x,(4_y,5_y)<7>)<8>,3_z)<9>,((4_x,3_y)<10>,4_z)<11>)<12>)<13>,1_C)<14>)<15>,(1_D,2_D)<16>)<17> ((1_x,((2_x,1_y)<1>,1_z)<2>)<3>,1_C)<4> ((1_B,1_A)<1>,((1_x,(1_y,2_y)<2>)<3>,(1_C,2_C)<4>)<5>)<6> ((((1_B,1_A)<1>,(2_B,2_A)<2>)<3>,1_C)<4>,(1_D,2_D)<5>)<6> ((((((2_x,(3_y,4_y)<1>)<2>,(3_z,4_z)<3>)<4>,(1_y,2_z)<5>)<6>,((1_x,2_y)<7>,1_z)<8>)<9>,1_C)<10>,1_D)<11> (((1_B,1_A)<1>,((2_x,1_y)<2>,1_x)<3>)<4>,1_D)<5> ((1_B,((((2_y,(1_x,3_y)<1>)<2>,1_z)<3>,(1_y,2_z)<4>)<5>,1_C)<6>)<7>,1_D)<8> ((1_B,1_A)<1>,((((1_x,1_y)<2>,2_z)<3>,1_z)<4>,(1_C,2_C)<5>)<6>)<7> (((1_B,((2_z,(((2_x,3_y)<1>,2_y)<2>,3_z)<3>)<4>,1_C)<5>)<6>,((1_x,1_y)<7>,1_z)<8>)<9>,1_D)<10> (((1_A,2_A)<1>,((((1_x,1_y)<2>,1_z)<3>,(((2_x,3_x)<4>,2_y)<5>,(2_z,3_z)<6>)<7>)<8>,1_C)<9>)<10>,1_D)<11> (1_D,2_D)<1> (1_A,((1_z,((1_x,1_y)<1>,2_z)<2>)<3>,1_C)<4>)<5> ((1_B,1_A)<1>,(((1_x,1_y)<2>,1_z)<3>,((2_x,2_y)<4>,2_z)<5>)<6>)<7> (((1_B,(2_A,3_A)<1>)<2>,(2_B,1_A)<3>)<4>,1_C)<5> ((((2_x,1_y)<1>,1_z)<2>,1_x)<3>,1_D)<4> ((((1_B,1_A)<1>,(2_B,(2_A,3_A)<2>)<3>)<4>,(((1_x,1_y)<5>,1_z)<6>,(((2_x,3_x)<7>,2_y)<8>,2_z)<9>)<10>)<11>,((2_D,3_D)<12>,1_D)<13>)<14> (((2_C,3_C)<1>,1_C)<2>,1_D)<3> # Number of groups over group globs.cap (-c set to 8) -- Filtering. # Number of groups over group globs.cap (-c set to 8) -- Filtering. (((2_C,3_C)<1>,1_C)<2>,(1_D,2_D)<3>)<4> ((((1_B,((3_B,4_B)<1>,2_B)<2>)<3>,1_A)<4>,((((((4_x,5_x)<5>,3_x)<6>,1_y)<7>,1_z)<8>,((1_x,2_x)<9>,(2_z,3_z)<10>)<11>)<12>,1_C)<13>)<14>,1_D)<15> ((((1_B,(3_B,4_B)<1>)<2>,(2_B,1_A)<3>)<4>,(((1_x,1_y)<5>,1_z)<6>,1_C)<7>)<8>,(1_D,((3_D,(4_D,(5_D,6_D)<9>)<10>)<11>,2_D)<12>)<13>)<14> (1_D,2_D)<1> (1_B,1_A)<1> (1_B,(((1_x,1_y)<1>,1_z)<2>,1_C)<3>)<4> ((1_y,1_z)<1>,1_C)<2> (1_D,2_D)<1> (1_B,((1_x,1_z)<1>,1_C)<2>)<3> ((((1_B,1_A)<1>,((2_B,2_A)<2>,((3_B,4_B)<3>,3_A)<4>)<5>)<6>,(((1_x,1_y)<7>,2_z)<8>,1_z)<9>)<10>,1_D)<11> (1_D,2_D)<1> (1_B,1_A)<1> (((1_B,1_A)<1>,(((((1_x,2_x)<2>,1_y)<3>,2_z)<4>,1_z)<5>,1_C)<6>)<7>,1_D)<8> (((((((2_x,(3_y,4_y)<1>)<2>,2_z)<3>,2_y)<4>,1_C)<5>,((1_B,1_A)<6>,(((((4_x,6_y)<7>,4_z)<8>,((5_x,7_y)<9>,5_z)<10>)<11>,((3_x,5_y)<12>,3_z)<13>)<14>,2_C)<15>)<16>)<17>,((1_x,1_y)<18>,1_z)<19>)<20>,1_D)<21> (((1_B,1_A)<1>,((((((3_x,3_y)<2>,(4_x,4_y)<3>)<4>,1_z)<5>,((((6_x,7_x)<6>,5_y)<7>,4_z)<8>,((5_x,6_y)<9>,5_z)<10>)<11>)<12>,(((1_x,1_y)<13>,2_z)<14>,((2_x,2_y)<15>,3_z)<16>)<17>)<18>,1_C)<19>)<20>,1_D)<21> (((((1_x,1_y)<1>,1_z)<2>,((2_x,2_y)<3>,2_z)<4>)<5>,1_C)<6>,(1_D,2_D)<7>)<8> (((1_B,1_A)<1>,((((1_x,1_y)<2>,1_z)<3>,((2_x,2_y)<4>,2_z)<5>)<6>,1_C)<7>)<8>,1_D)<9> ((((1_B,2_B)<1>,1_A)<2>,((3_B,2_A)<3>,(((((2_x,((4_y,(5_y,6_y)<4>)<5>,3_y)<6>)<7>,1_z)<8>,((3_x,2_y)<9>,2_z)<10>)<11>,1_C)<12>,(((1_x,3_z)<13>,((4_x,5_x)<14>,1_y)<15>)<16>,2_C)<17>)<18>)<19>)<20>,((2_D,3_D)<21>,1_D)<22>)<23> ((((1_B,1_A)<1>,(2_B,2_A)<2>)<3>,((((1_x,1_y)<4>,(2_x,(3_y,4_y)<5>)<6>)<7>,((3_x,2_y)<8>,1_z)<9>)<10>,1_C)<11>)<12>,(1_D,2_D)<13>)<14> ((((1_B,2_B)<1>,1_A)<2>,((((2_x,(2_y,3_y)<3>)<4>,1_z)<5>,(1_x,1_y)<6>)<7>,1_C)<8>)<9>,1_D)<10> ((((1_B,1_A)<1>,(2_B,2_A)<2>)<3>,(((1_x,1_y)<4>,1_z)<5>,(((2_x,2_y)<6>,(3_x,3_y)<7>)<8>,2_z)<9>)<10>)<11>,(1_D,(2_D,3_D)<12>)<13>)<14> (((1_B,1_A)<1>,((1_x,1_y)<2>,1_C)<3>)<4>,1_D)<5> ((1_D,2_D)<1>,(3_D,4_D)<2>)<3> (1_B,(((1_y,1_z)<1>,((1_x,2_y)<2>,(2_z,3_z)<3>)<4>)<5>,(1_C,2_C)<6>)<7>)<8> (((((1_B,1_A)<1>,(2_B,2_A)<2>)<3>,(((2_x,1_y)<4>,1_z)<5>,((3_x,3_z)<6>,((4_x,2_y)<7>,(4_z,5_z)<8>)<9>)<10>)<11>)<12>,(((3_B,3_A)<13>,(4_B,4_A)<14>)<15>,((1_x,2_z)<16>,1_C)<17>)<18>)<19>,((2_D,3_D)<20>,1_D)<21>)<22> (((1_B,1_A)<1>,(((((4_x,5_x)<2>,2_x)<3>,1_y)<4>,(1_x,2_y)<5>)<6>,1_C)<7>)<8>,(((2_B,2_A)<9>,(3_B,3_A)<10>)<11>,(((((6_x,3_y)<12>,(7_x,4_y)<13>)<14>,(3_x,(5_y,6_y)<15>)<16>)<17>,1_z)<18>,(2_C,3_C)<19>)<20>)<21>)<22> ((((1_B,1_A)<1>,((2_B,3_B)<2>,2_A)<3>)<4>,((((1_x,1_y)<5>,1_z)<6>,((2_x,2_y)<7>,2_z)<8>)<9>,1_C)<10>)<11>,1_D)<12> (((1_B,1_A)<1>,((((1_y,2_z)<2>,(((2_x,3_x)<3>,3_y)<4>,(3_z,4_z)<5>)<6>)<7>,((1_x,2_y)<8>,1_z)<9>)<10>,1_C)<11>)<12>,1_D)<13> (((((1_x,1_y)<1>,1_z)<2>,((2_x,2_y)<3>,2_z)<4>)<5>,((2_C,3_C)<6>,1_C)<7>)<8>,(1_D,2_D)<9>)<10> (((1_B,1_A)<1>,1_C)<2>,(1_D,(2_D,3_D)<3>)<4>)<5> ((((1_x,1_y)<1>,2_z)<2>,1_z)<3>,1_C)<4> (1_D,(2_D,3_D)<1>)<2> (((((2_z,3_z)<1>,1_z)<2>,((1_x,1_y)<3>,(4_z,5_z)<4>)<5>)<6>,1_C)<7>,1_D)<8> (((1_B,1_A)<1>,(1_C,2_C)<2>)<3>,1_D)<4> (1_C,2_C)<1> (((1_B,(3_B,(5_B,6_B)<1>)<2>)<3>,1_A)<4>,(((((7_B,8_B)<5>,2_A)<6>,4_B)<7>,2_B)<8>,1_C)<9>)<10> ((((1_y,1_z)<1>,(((1_x,2_y)<2>,((3_x,4_y)<3>,(4_z,(5_z,6_z)<4>)<5>)<6>)<7>,((2_x,3_y)<8>,(2_z,3_z)<9>)<10>)<11>)<12>,1_C)<13>,1_D)<14> (((1_B,1_A)<1>,((((3_x,3_y)<2>,1_z)<3>,((4_x,4_y)<4>,2_z)<5>)<6>,((1_x,1_y)<7>,(2_x,2_y)<8>)<9>)<10>)<11>,1_D)<12> ((1_B,1_A)<1>,((2_B,2_A)<2>,((3_B,4_B)<3>,3_A)<4>)<5>)<6> (((1_B,1_A)<1>,((((1_x,2_x)<2>,1_y)<3>,((2_y,1_z)<4>,((3_x,2_z)<5>,(4_x,3_y)<6>)<7>)<8>)<9>,(1_C,2_C)<10>)<11>)<12>,1_D)<13> (((((2_B,2_A)<1>,(3_B,3_A)<2>)<3>,(1_B,1_A)<4>)<5>,(((1_x,1_y)<6>,((4_z,5_z)<7>,1_z)<8>)<9>,((2_x,2_y)<10>,(2_z,3_z)<11>)<12>)<13>)<14>,1_D)<15> (((1_B,1_A)<1>,(((1_x,1_y)<2>,1_z)<3>,((2_x,2_y)<4>,(2_z,3_z)<5>)<6>)<7>)<8>,(1_D,(2_D,3_D)<9>)<10>)<11> (1_D,(2_D,(3_D,4_D)<1>)<2>)<3> ((1_D,2_D)<1>,(((5_D,6_D)<2>,4_D)<3>,3_D)<4>)<5> (((((1_x,2_y)<1>,2_z)<2>,1_z)<3>,1_C)<4>,(((1_B,(1_A,2_A)<5>)<6>,(((3_B,4_A)<7>,(4_B,5_A)<8>)<9>,(2_B,3_A)<10>)<11>)<12>,((1_y,3_z)<13>,(2_C,3_C)<14>)<15>)<16>)<17> (((1_B,1_A)<1>,(2_B,2_A)<2>)<3>,(((1_x,1_y)<4>,1_z)<5>,1_C)<6>)<7> (1_A,(1_D,2_D)<1>)<2> ((((1_y,1_z)<1>,((1_x,2_y)<2>,2_z)<3>)<4>,1_C)<5>,1_D)<6> ((1_x,1_y)<1>,1_z)<2> ((((1_B,1_A)<1>,(2_B,2_A)<2>)<3>,((((1_x,1_y)<4>,1_z)<5>,(((2_x,2_y)<6>,(3_x,3_y)<7>)<8>,2_z)<9>)<10>,1_C)<11>)<12>,(1_D,2_D)<13>)<14> (((1_B,1_A)<1>,(2_B,2_A)<2>)<3>,((((2_x,1_y)<4>,1_z)<5>,(((4_x,5_x)<6>,2_y)<7>,2_z)<8>)<9>,((1_x,(3_z,4_z)<10>)<11>,((3_x,3_y)<12>,((6_z,7_z)<13>,5_z)<14>)<15>)<16>)<17>)<18> ((((1_B,1_A)<1>,(2_B,2_A)<2>)<3>,(((1_x,(1_y,2_y)<4>)<5>,1_z)<6>,1_C)<7>)<8>,1_D)<9> (((((2_x,3_x)<1>,1_y)<2>,(2_z,3_z)<3>)<4>,((1_x,2_y)<5>,1_z)<6>)<7>,1_C)<8> (((((1_x,(1_y,2_y)<1>)<2>,1_z)<3>,(((3_x,3_y)<4>,2_x)<5>,2_z)<6>)<7>,1_C)<8>,1_D)<9> ((1_B,(1_A,2_A)<1>)<2>,(((((2_x,2_y)<3>,1_z)<4>,((3_x,3_y)<5>,2_z)<6>)<7>,((1_x,1_y)<8>,(3_z,4_z)<9>)<10>)<11>,1_C)<12>)<13> ((((1_B,1_A)<1>,((((2_x,1_y)<2>,2_z)<3>,((3_x,2_y)<4>,3_z)<5>)<6>,1_C)<7>)<8>,((2_B,2_A)<9>,((1_x,1_z)<10>,2_C)<11>)<12>)<13>,(1_D,(2_D,3_D)<14>)<15>)<16> ((((1_x,(2_y,3_y)<1>)<2>,1_z)<3>,((2_x,1_y)<4>,(2_z,3_z)<5>)<6>)<7>,1_D)<8> (((1_B,1_A)<1>,(2_B,2_A)<2>)<3>,((((1_x,1_y)<4>,1_z)<5>,((2_x,2_y)<6>,2_z)<7>)<8>,1_C)<9>)<10> (((((1_B,2_A)<1>,(3_A,((2_B,3_B)<2>,4_A)<3>)<4>)<5>,(((1_x,1_y)<6>,(2_z,3_z)<7>)<8>,1_C)<9>)<10>,(1_A,((((2_x,2_y)<11>,4_z)<12>,1_z)<13>,((3_C,4_C)<14>,2_C)<15>)<16>)<17>)<18>,((2_D,3_D)<19>,1_D)<20>)<21> # Number of groups over group globs.cap (-c set to 8) -- Filtering. ((1_B,1_A)<1>,((((1_z,2_z)<2>,(1_x,1_y)<3>)<4>,1_C)<5>,((((2_x,(4_y,5_y)<6>)<7>,3_z)<8>,((3_x,2_y)<9>,4_z)<10>)<11>,(((4_x,3_y)<12>,5_z)<13>,((5_x,(6_y,7_y)<14>)<15>,(6_z,7_z)<16>)<17>)<18>)<19>)<20>)<21> (((1_B,1_A)<1>,((((2_x,2_y)<2>,1_z)<3>,((3_x,3_y)<4>,2_z)<5>)<6>,(((4_x,4_y)<7>,3_z)<8>,(1_x,1_y)<9>)<10>)<11>)<12>,1_D)<13> (((1_B,(2_B,1_A)<1>)<2>,((1_z,((1_x,1_y)<3>,2_z)<4>)<5>,(1_C,2_C)<6>)<7>)<8>,1_D)<9> ((1_B,1_A)<1>,(1_z,2_z)<2>)<3> (1_D,2_D)<1> ((1_B,1_A)<1>,((((((3_x,4_x)<2>,2_y)<3>,(2_x,3_y)<4>)<5>,(1_z,2_z)<6>)<7>,(1_x,1_y)<8>)<9>,1_C)<10>)<11> (((1_B,1_A)<1>,((((1_x,1_y)<2>,1_z)<3>,((((3_x,(4_x,5_x)<4>)<5>,2_y)<6>,(2_x,3_y)<7>)<8>,2_z)<9>)<10>,((1_C,2_C)<11>,(3_C,4_C)<12>)<13>)<14>)<15>,1_D)<16> (((((4_B,5_B)<1>,1_B)<2>,(2_A,3_A)<3>)<4>,((2_B,3_B)<5>,1_A)<6>)<7>,((1_z,((1_x,1_y)<8>,2_z)<9>)<10>,1_C)<11>)<12> ((((((2_x,2_y)<1>,(3_z,4_z)<2>)<3>,((3_x,3_y)<4>,1_z)<5>)<6>,(((4_x,4_y)<7>,2_z)<8>,(1_x,1_y)<9>)<10>)<11>,((1_B,1_A)<12>,(((5_y,5_z)<13>,(((5_x,6_x)<14>,6_y)<15>,6_z)<16>)<17>,(1_C,2_C)<18>)<19>)<20>)<21>,1_D)<22> ((1_A,(((((2_x,3_x)<1>,1_y)<2>,(2_z,3_z)<3>)<4>,((1_x,(2_y,3_y)<5>)<6>,1_z)<7>)<8>,1_C)<9>)<10>,(1_D,2_D)<11>)<12> (1_A,(((1_y,1_z)<1>,((1_x,2_y)<2>,2_z)<3>)<4>,1_C)<5>)<6> (((((1_x,1_y)<1>,1_z)<2>,((2_x,(2_y,3_y)<3>)<4>,2_z)<5>)<6>,(1_C,2_C)<7>)<8>,1_D)<9> (((1_B,(1_A,2_A)<1>)<2>,(((1_x,1_y)<3>,1_z)<4>,1_C)<5>)<6>,1_D)<7> ((1_A,(1_x,((2_x,1_y)<1>,(1_z,2_z)<2>)<3>)<4>)<5>,(1_D,2_D)<6>)<7> ((1_B,1_A)<1>,(((1_x,1_y)<2>,1_z)<3>,((2_x,2_y)<4>,2_z)<5>)<6>)<7> (((1_B,1_A)<1>,((((1_x,1_y)<2>,2_z)<3>,1_z)<4>,1_C)<5>)<6>,1_D)<7> (((((1_x,2_y)<1>,1_z)<2>,((((5_C,6_C)<3>,4_C)<4>,3_C)<5>,1_C)<6>)<7>,((1_B,1_A)<8>,(1_y,2_C)<9>)<10>)<11>,(1_D,2_D)<12>)<13> ((((1_B,1_A)<1>,(2_B,2_A)<2>)<3>,((((1_x,1_y)<4>,((2_x,2_y)<5>,2_z)<6>)<7>,(((3_x,3_y)<8>,(4_x,4_y)<9>)<10>,1_z)<11>)<12>,1_C)<13>)<14>,(1_D,2_D)<15>)<16> ((((((((4_x,4_y)<1>,3_z)<2>,(((7_x,7_y)<3>,5_z)<4>,(5_x,5_y)<5>)<6>)<7>,((3_y,(6_z,7_z)<8>)<9>,((6_x,6_y)<10>,4_z)<11>)<12>)<13>,(1_x,1_y)<14>)<15>,1_C)<16>,((1_z,(((2_x,3_x)<17>,2_y)<18>,2_z)<19>)<20>,2_C)<21>)<22>,1_D)<23> (((1_B,1_A)<1>,((((2_y,(3_z,4_z)<2>)<3>,(((4_x,4_y)<4>,(5_x,5_y)<5>)<6>,2_z)<7>)<8>,1_C)<9>,((1_x,1_y)<10>,(((2_x,3_y)<11>,(3_x,(6_y,7_y)<12>)<13>)<14>,1_z)<15>)<16>)<17>)<18>,1_D)<19> (((((1_x,1_y)<1>,2_z)<2>,1_z)<3>,1_C)<4>,((1_B,1_A)<5>,2_C)<6>)<7> (((1_B,1_A)<1>,((((1_x,1_y)<2>,1_z)<3>,((2_x,2_y)<4>,2_z)<5>)<6>,1_C)<7>)<8>,1_D)<9> ((((1_B,1_A)<1>,((((3_x,3_y)<2>,2_z)<3>,((4_x,4_y)<4>,3_z)<5>)<6>,1_C)<7>)<8>,((((3_B,4_B)<9>,2_A)<10>,(2_B,3_A)<11>)<12>,(((1_x,1_y)<13>,(4_z,5_z)<14>)<15>,((2_x,2_y)<16>,1_z)<17>)<18>)<19>)<20>,1_D)<21> ((((1_B,(2_A,3_A)<1>)<2>,(2_B,1_A)<3>)<4>,(((1_x,1_y)<5>,(2_z,3_z)<6>)<7>,((2_x,2_y)<8>,1_z)<9>)<10>)<11>,((1_D,2_D)<12>,(3_D,4_D)<13>)<14>)<15> (((1_B,(((1_x,1_z)<1>,(((4_y,(5_x,6_x)<2>)<3>,4_z)<4>,(2_x,1_y)<5>)<6>)<7>,1_C)<8>)<9>,((2_B,1_A)<10>,((((3_x,2_y)<11>,2_z)<12>,((4_x,3_y)<13>,3_z)<14>)<15>,2_C)<16>)<17>)<18>,((2_D,3_D)<19>,1_D)<20>)<21> (1_B,(((((1_x,1_y)<1>,2_z)<2>,((2_x,2_y)<3>,(3_z,4_z)<4>)<5>)<6>,(((3_x,3_y)<7>,((4_x,(5_y,6_y)<8>)<9>,(5_x,4_y)<10>)<11>)<12>,1_z)<13>)<14>,1_C)<15>)<16> ((((1_B,2_B)<1>,1_A)<2>,1_C)<3>,(1_D,2_D)<4>)<5> ((1_B,1_A)<1>,(((((2_x,3_x)<2>,1_y)<3>,(1_x,2_y)<4>)<5>,1_C)<6>,((((3_y,1_z)<7>,((4_x,4_y)<8>,2_z)<9>)<10>,(((5_x,5_y)<11>,(4_z,5_z)<12>)<13>,((6_x,6_y)<14>,3_z)<15>)<16>)<17>,2_C)<18>)<19>)<20> (1_D,2_D)<1> (((1_B,1_A)<1>,((((2_x,1_y)<2>,(4_z,5_z)<3>)<4>,((3_x,2_y)<5>,1_z)<6>)<7>,1_C)<8>)<9>,(((3_B,2_A)<10>,2_B)<11>,((((4_x,3_y)<12>,2_z)<13>,(1_x,3_z)<14>)<15>,2_C)<16>)<17>)<18> (1_C,1_D)<1> (1_D,2_D)<1> ((1_A,(1_B,2_A)<1>)<2>,(((1_x,1_z)<3>,(2_x,2_z)<4>)<5>,1_C)<6>)<7> (((((1_x,(3_y,4_y)<1>)<2>,1_z)<3>,((2_x,1_y)<4>,2_z)<5>)<6>,(1_A,((3_x,2_y)<7>,(1_C,2_C)<8>)<9>)<10>)<11>,(1_D,2_D)<12>)<13> (((1_B,1_A)<1>,((1_C,2_C)<2>,(((2_x,(2_y,3_y)<3>)<4>,1_z)<5>,(1_x,1_y)<6>)<7>)<8>)<9>,((((4_D,5_D)<10>,3_D)<11>,2_D)<12>,1_D)<13>)<14> ((((((1_x,1_y)<1>,((5_z,6_z)<2>,2_z)<3>)<4>,((2_x,2_y)<5>,(3_x,3_y)<6>)<7>)<8>,1_C)<9>,((((4_x,4_y)<10>,1_z)<11>,((5_y,3_z)<12>,((5_x,(6_y,7_y)<13>)<14>,4_z)<15>)<16>)<17>,2_C)<18>)<19>,(1_D,2_D)<20>)<21> # Number of groups over group globs.cap (-c set to 8) -- Filtering. ((((1_B,1_A)<1>,(2_A,(2_B,3_A)<2>)<3>)<4>,(((1_x,2_x)<5>,1_y)<6>,((3_x,2_y)<7>,1_z)<8>)<9>)<10>,((2_D,(3_D,4_D)<11>)<12>,1_D)<13>)<14> (((1_B,1_A)<1>,(((1_x,2_z)<2>,1_z)<3>,1_C)<4>)<5>,1_D)<6> ((((1_B,1_A)<1>,(2_B,2_A)<2>)<3>,(((((1_x,1_y)<4>,(2_x,2_y)<5>)<6>,(((4_x,4_y)<7>,(5_x,5_y)<8>)<9>,1_z)<10>)<11>,(((3_x,3_y)<12>,(3_z,4_z)<13>)<14>,(2_z,((6_x,(6_y,7_y)<15>)<16>,5_z)<17>)<18>)<19>)<20>,1_C)<21>)<22>,1_D)<23> (((((1_x,1_y)<1>,(2_x,2_y)<2>)<3>,(((3_x,3_y)<4>,1_z)<5>,((4_x,4_y)<6>,2_z)<7>)<8>)<9>,((((5_x,5_y)<10>,3_z)<11>,1_C)<12>,(((((7_x,8_x)<13>,6_y)<14>,4_z)<15>,((6_x,7_y)<16>,5_z)<17>)<18>,2_C)<19>)<20>)<21>,1_D)<22> (((1_B,1_A)<1>,1_C)<2>,1_D)<3> ((((1_B,2_B)<1>,1_A)<2>,(((((3_x,4_y)<3>,1_y)<4>,((4_x,5_y)<5>,1_z)<6>)<7>,((1_x,2_y)<8>,(2_x,3_y)<9>)<10>)<11>,1_C)<12>)<13>,1_D)<14> ((1_B,1_A)<1>,((((((2_x,2_y)<2>,2_z)<3>,(((5_x,6_x)<4>,3_y)<5>,3_z)<6>)<7>,(((3_x,4_y)<8>,4_z)<9>,((4_x,5_y)<10>,5_z)<11>)<12>)<13>,(1_C,2_C)<14>)<15>,((1_x,1_y)<16>,1_z)<17>)<18>)<19> (((1_B,1_A)<1>,((1_x,(1_y,2_y)<2>)<3>,(1_C,2_C)<4>)<5>)<6>,1_D)<7> (((((1_x,1_y)<1>,1_z)<2>,((2_x,2_y)<3>,2_z)<4>)<5>,(1_C,2_C)<6>)<7>,(1_D,((3_D,4_D)<8>,2_D)<9>)<10>)<11> (((1_B,2_B)<1>,1_A)<2>,(1_D,2_D)<3>)<4> (1_B,((((1_x,1_y)<1>,((2_x,3_x)<2>,2_y)<3>)<4>,(1_z,2_z)<5>)<6>,(1_C,(2_C,3_C)<7>)<8>)<9>)<10> (((1_z,(1_x,1_y)<1>)<2>,(1_A,(((2_x,2_y)<3>,((3_x,3_y)<4>,(2_z,(3_z,4_z)<5>)<6>)<7>)<8>,1_C)<9>)<10>)<11>,1_D)<12> (((1_B,1_A)<1>,(((1_x,2_x)<2>,1_y)<3>,1_z)<4>)<5>,1_D)<6> (((1_x,2_y)<1>,1_y)<2>,1_C)<3> ((((1_B,1_A)<1>,(2_B,2_A)<2>)<3>,((((2_x,(2_y,3_y)<4>)<5>,(3_z,4_z)<6>)<7>,(1_x,1_y)<8>)<9>,1_C)<10>)<11>,(((3_B,3_A)<12>,(4_B,4_A)<13>)<14>,((((3_x,4_x)<15>,1_z)<16>,(((((7_x,6_y)<17>,(8_x,7_y)<18>)<19>,(6_x,5_y)<20>)<21>,(5_x,4_y)<22>)<23>,2_z)<24>)<25>,(2_C,3_C)<26>)<27>)<28>)<29> (((1_B,1_A)<1>,(((1_x,2_y)<2>,1_z)<3>,(1_y,2_z)<4>)<5>)<6>,1_D)<7> (((1_B,1_A)<1>,(((1_x,1_y)<2>,1_z)<3>,(1_C,(2_C,3_C)<4>)<5>)<6>)<7>,1_D)<8> (((1_B,1_A)<1>,((2_B,2_A)<2>,((((2_x,2_y)<3>,1_z)<4>,((3_x,3_y)<5>,2_z)<6>)<7>,((1_x,1_y)<8>,((4_x,(4_y,5_y)<9>)<10>,3_z)<11>)<12>)<13>)<14>)<15>,1_D)<16> ((1_B,(2_B,(1_A,2_A)<1>)<2>)<3>,(((1_x,2_x)<4>,((1_z,2_z)<5>,(3_z,4_z)<6>)<7>)<8>,1_C)<9>)<10> ((1_x,1_y)<1>,1_z)<2> ((1_A,((((1_x,2_y)<1>,1_z)<2>,(1_y,2_z)<3>)<4>,1_C)<5>)<6>,(1_D,2_D)<7>)<8> (((2_B,1_A)<1>,1_B)<2>,(1_D,2_D)<3>)<4> ((((1_B,3_A)<1>,(2_B,4_A)<2>)<3>,(1_A,2_A)<4>)<5>,(((1_x,(2_y,3_y)<6>)<7>,1_z)<8>,((2_x,1_y)<9>,2_z)<10>)<11>)<12> (((((((4_x,1_y)<1>,(5_x,2_y)<2>)<3>,2_z)<4>,(((6_x,3_y)<5>,1_x)<6>,3_z)<7>)<8>,(((2_x,3_x)<9>,(4_z,5_z)<10>)<11>,1_z)<12>)<13>,1_C)<14>,1_D)<15> ((((((3_B,3_A)<1>,(4_B,4_A)<2>)<3>,(2_B,2_A)<4>)<5>,(1_B,1_A)<6>)<7>,((((2_x,2_y)<8>,(3_z,4_z)<9>)<10>,((3_x,(4_y,5_y)<11>)<12>,1_z)<13>)<14>,((1_x,1_y)<15>,((4_x,3_y)<16>,2_z)<17>)<18>)<19>)<20>,((2_D,3_D)<21>,1_D)<22>)<23> (((((1_x,2_y)<1>,1_z)<2>,(((2_x,3_y)<3>,2_z)<4>,(((3_x,4_y)<5>,4_z)<6>,3_z)<7>)<8>)<9>,1_y)<10>,(1_C,2_C)<11>)<12> ((((1_B,2_B)<1>,1_A)<2>,(((1_x,1_y)<3>,((2_x,(4_y,5_y)<4>)<5>,1_z)<6>)<7>,1_C)<8>)<9>,(((3_B,2_A)<10>,(4_B,3_A)<11>)<12>,(((((4_x,5_x)<13>,2_y)<14>,2_z)<15>,((3_x,3_y)<16>,3_z)<17>)<18>,2_C)<19>)<20>)<21> (1_B,(1_A,(2_A,3_A)<1>)<2>)<3> (((1_B,1_A)<1>,((2_B,3_B)<2>,2_A)<3>)<4>,((((1_x,1_y)<5>,(2_z,3_z)<6>)<7>,((2_x,(2_y,3_y)<8>)<9>,1_z)<10>)<11>,(1_C,2_C)<12>)<13>)<14> (((1_B,1_A)<1>,(((1_x,(1_z,2_z)<2>)<3>,((2_x,(1_y,2_y)<4>)<5>,(3_z,4_z)<6>)<7>)<8>,1_C)<9>)<10>,(1_D,(2_D,3_D)<11>)<12>)<13> ((1_B,1_A)<1>,1_C)<2> ((((1_x,1_y)<1>,(2_x,1_z)<2>)<3>,1_C)<4>,(1_D,2_D)<5>)<6> (((1_B,1_A)<1>,((((1_x,1_y)<2>,1_z)<3>,((2_x,(2_y,3_y)<4>)<5>,2_z)<6>)<7>,1_C)<8>)<9>,(1_D,2_D)<10>)<11> (1_D,2_D)<1> ((((1_x,1_y)<1>,(2_x,((3_y,4_y)<2>,(5_y,6_y)<3>)<4>)<5>)<6>,((3_x,2_y)<7>,1_z)<8>)<9>,1_C)<10> ((1_z,((1_x,(1_y,2_y)<1>)<2>,2_z)<3>)<4>,(1_C,2_C)<5>)<6> ((1_B,1_A)<1>,((2_B,2_A)<2>,(1_z,1_C)<3>)<4>)<5> ((((1_B,3_A)<1>,1_A)<2>,((((2_x,2_y)<3>,3_z)<4>,((3_x,3_y)<5>,(4_z,(5_z,6_z)<6>)<7>)<8>)<9>,1_C)<10>)<11>,(((2_B,3_B)<12>,2_A)<13>,(((1_x,1_y)<14>,2_z)<15>,1_z)<16>)<17>)<18> ((((1_B,1_A)<1>,((((1_x,1_y)<2>,2_z)<3>,((2_x,2_y)<4>,3_z)<5>)<6>,(2_C,3_C)<7>)<8>)<9>,((2_B,2_A)<10>,((((3_x,3_y)<11>,(4_z,5_z)<12>)<13>,1_z)<14>,1_C)<15>)<16>)<17>,1_D)<18> ((1_C,(1_z,2_C)<1>)<2>,(1_D,2_D)<3>)<4> (((1_B,1_A)<1>,(2_B,(2_A,3_A)<2>)<3>)<4>,1_D)<5> ((1_B,1_A)<1>,(((1_x,1_y)<2>,2_z)<3>,1_z)<4>)<5> (((1_B,1_A)<1>,((((1_x,2_y)<2>,(2_x,3_y)<3>)<4>,(1_y,1_z)<5>)<6>,1_C)<7>)<8>,1_D)<9> (((1_B,1_A)<1>,((((1_x,1_y)<2>,(2_z,(3_z,4_z)<3>)<4>)<5>,((2_x,2_y)<6>,1_z)<7>)<8>,(1_C,2_C)<9>)<10>)<11>,1_D)<12> (((1_B,1_A)<1>,(((1_x,1_y)<2>,(2_y,2_x)<3>)<4>,((2_C,3_C)<5>,1_C)<6>)<7>)<8>,1_D)<9> ((((1_B,(2_A,3_A)<1>)<2>,(2_B,1_A)<3>)<4>,(((1_y,1_z)<5>,((1_x,2_y)<6>,2_z)<7>)<8>,1_C)<9>)<10>,1_D)<11> ((((((2_x,(3_y,4_y)<1>)<2>,1_z)<3>,(1_x,1_y)<4>)<5>,1_C)<6>,((((3_x,(5_y,6_y)<7>)<8>,2_z)<9>,((4_x,2_y)<10>,3_z)<11>)<12>,2_C)<13>)<14>,(1_D,2_D)<15>)<16> ((1_B,1_A)<1>,(2_B,2_A)<2>)<3> ((((((2_x,3_x)<1>,1_y)<2>,((4_x,3_y)<3>,(5_x,4_y)<4>)<5>)<6>,(1_C,2_C)<7>)<8>,(((1_x,2_y)<9>,1_z)<10>,(3_C,((5_C,6_C)<11>,4_C)<12>)<13>)<14>)<15>,((2_D,3_D)<16>,1_D)<17>)<18> ((1_B,1_A)<1>,((1_x,1_y)<2>,(1_z,2_z)<3>)<4>)<5> (((((1_x,1_y)<1>,1_z)<2>,(((3_x,2_y)<3>,2_z)<4>,(2_x,3_z)<5>)<6>)<7>,1_C)<8>,(1_D,(2_D,3_D)<9>)<10>)<11> (((1_B,1_A)<1>,(((((2_x,2_y)<2>,(3_x,3_y)<3>)<4>,2_z)<5>,(((4_x,5_x)<6>,(4_y,5_y)<7>)<8>,3_z)<9>)<10>,((((6_x,7_x)<11>,1_x)<12>,1_y)<13>,1_z)<14>)<15>)<16>,1_D)<17> ((((((2_x,2_y)<1>,2_z)<2>,((3_x,3_y)<3>,3_z)<4>)<5>,((1_x,1_y)<6>,1_z)<7>)<8>,(1_C,2_C)<9>)<10>,1_D)<11> (((((1_x,1_y)<1>,1_z)<2>,(((2_x,2_y)<3>,2_z)<4>,(((3_x,4_x)<5>,3_y)<6>,3_z)<7>)<8>)<9>,1_C)<10>,1_D)<11> (((1_B,1_A)<1>,((((1_x,1_y)<2>,1_z)<3>,(2_z,(2_x,3_z)<4>)<5>)<6>,(1_C,(2_C,3_C)<7>)<8>)<9>)<10>,(1_D,(2_D,3_D)<11>)<12>)<13> ((((1_B,2_B)<1>,1_A)<2>,((1_x,((2_x,1_y)<3>,1_z)<4>)<5>,1_C)<6>)<7>,1_D)<8> ((1_B,1_A)<1>,((((1_x,1_y)<2>,1_z)<3>,((2_x,(2_y,3_y)<4>)<5>,2_z)<6>)<7>,1_C)<8>)<9> ((1_B,1_A)<1>,((((2_x,(3_y,4_y)<2>)<3>,((3_x,4_x)<4>,2_y)<5>)<6>,1_z)<7>,((1_x,1_y)<8>,2_z)<9>)<10>)<11> (((1_B,1_A)<1>,((1_z,((2_x,2_y)<2>,2_z)<3>)<4>,(2_C,3_C)<5>)<6>)<7>,(((2_B,3_A)<8>,2_A)<9>,(((1_x,1_y)<10>,((4_z,5_z)<11>,3_z)<12>)<13>,1_C)<14>)<15>)<16> ((((1_x,1_y)<1>,(2_z,3_z)<2>)<3>,((2_x,2_y)<4>,1_z)<5>)<6>,1_C)<7> ((1_B,2_B)<1>,(((((3_x,2_y)<2>,2_z)<3>,(1_x,3_z)<4>)<5>,((2_x,1_y)<6>,1_z)<7>)<8>,1_C)<9>)<10> (1_D,2_D)<1> (((1_B,(1_A,2_A)<1>)<2>,((1_y,1_z)<3>,1_C)<4>)<5>,1_D)<6> (((((1_x,1_y)<1>,1_z)<2>,((2_x,(2_y,3_y)<3>)<4>,2_z)<5>)<6>,(1_C,2_C)<7>)<8>,(1_D,2_D)<9>)<10> ((2_D,3_D)<1>,1_D)<2> ((((((1_x,1_y)<1>,2_z)<2>,1_z)<3>,1_C)<4>,((((3_B,4_B)<5>,1_A)<6>,(((2_y,5_z)<7>,3_z)<8>,2_C)<9>)<10>,((1_B,2_B)<11>,(((3_y,4_y)<12>,(6_z,7_z)<13>)<14>,((2_x,5_y)<15>,4_z)<16>)<17>)<18>)<19>)<20>,1_D)<21> ((((2_B,1_A)<1>,1_B)<2>,((((2_x,2_y)<3>,1_z)<4>,(1_C,2_C)<5>)<6>,((((3_x,3_y)<7>,((4_x,4_y)<8>,(5_x,5_y)<9>)<10>)<11>,2_z)<12>,(1_x,1_y)<13>)<14>)<15>)<16>,1_D)<17> (((1_B,1_A)<1>,(((1_x,1_y)<2>,1_z)<3>,((1_C,2_C)<4>,(3_C,4_C)<5>)<6>)<7>)<8>,1_D)<9> (((1_B,2_B)<1>,1_A)<2>,((((1_x,1_y)<3>,1_z)<4>,((2_y,(2_x,(3_y,4_y)<5>)<6>)<7>,2_z)<8>)<9>,1_C)<10>)<11> (1_D,2_D)<1> (((((1_B,1_A)<1>,((((2_y,3_x)<2>,2_z)<3>,((4_x,(5_z,6_z)<4>)<5>,((6_x,(5_y,6_y)<6>)<7>,(7_z,8_z)<8>)<9>)<10>)<11>,1_C)<12>)<13>,((2_B,(2_A,3_A)<14>)<15>,(((((7_x,8_x)<16>,3_y)<17>,3_z)<18>,((5_x,4_y)<19>,4_z)<20>)<21>,(2_C,3_C)<22>)<23>)<24>)<25>,(((1_x,2_x)<26>,1_y)<27>,1_z)<28>)<29>,1_D)<30> (((((1_x,2_x)<1>,1_y)<2>,2_z)<3>,1_z)<4>,1_D)<5> (((1_B,1_A)<1>,((((1_x,1_y)<2>,1_z)<3>,((2_x,2_y)<4>,(2_z,3_z)<5>)<6>)<7>,1_C)<8>)<9>,1_D)<10> (((1_B,1_A)<1>,((((1_x,1_y)<2>,1_z)<3>,((2_x,2_y)<4>,2_z)<5>)<6>,1_C)<7>)<8>,(1_D,2_D)<9>)<10> ((((1_x,(3_z,4_z)<1>)<2>,(2_x,2_z)<3>)<4>,1_z)<5>,1_C)<6> ((1_B,1_A)<1>,(((((2_x,(3_y,4_y)<2>)<3>,(3_z,(4_z,5_z)<4>)<5>)<6>,(((3_x,4_x)<7>,2_y)<8>,2_z)<9>)<10>,((1_x,1_y)<11>,1_z)<12>)<13>,1_C)<14>)<15> (1_D,2_D)<1> (((1_B,1_A)<1>,(((1_x,1_z)<2>,((2_x,1_y)<3>,2_z)<4>)<5>,1_C)<6>)<7>,1_D)<8> ((1_B,(((3_B,2_A)<1>,(4_B,3_A)<2>)<3>,(2_B,1_A)<4>)<5>)<6>,((((1_x,1_y)<7>,(1_z,2_z)<8>)<9>,(((2_x,2_y)<10>,3_z)<11>,((3_x,3_y)<12>,(4_z,5_z)<13>)<14>)<15>)<16>,1_C)<17>)<18> (((1_B,1_A)<1>,(1_C,2_C)<2>)<3>,1_D)<4> (((1_x,2_z)<1>,1_z)<2>,1_C)<3> (((1_B,1_A)<1>,((((1_x,1_y)<2>,2_z)<3>,1_z)<4>,1_C)<5>)<6>,1_D)<7> ((((1_x,1_y)<1>,1_z)<2>,((2_x,2_y)<3>,2_z)<4>)<5>,1_C)<6> ((((1_x,1_y)<1>,1_z)<2>,1_C)<3>,1_D)<4> ((1_B,1_A)<1>,(((((2_x,3_x)<2>,1_y)<3>,1_z)<4>,((1_x,2_y)<5>,(2_z,3_z)<6>)<7>)<8>,((2_C,3_C)<9>,1_C)<10>)<11>)<12> ((1_B,1_A)<1>,((((1_x,1_y)<2>,(((3_x,3_y)<3>,2_z)<4>,((4_x,4_y)<5>,3_z)<6>)<7>)<8>,((2_x,2_y)<9>,1_z)<10>)<11>,1_C)<12>)<13> (((1_B,(1_A,2_A)<1>)<2>,((((1_x,1_y)<3>,1_z)<4>,(((2_x,2_y)<5>,2_z)<6>,((3_x,3_y)<7>,3_z)<8>)<9>)<10>,1_C)<11>)<12>,(1_D,((3_D,4_D)<13>,2_D)<14>)<15>)<16> (((1_B,1_A)<1>,(((((1_x,2_x)<2>,1_y)<3>,(2_z,3_z)<4>)<5>,((((4_x,5_x)<6>,2_y)<7>,(3_x,3_y)<8>)<9>,1_z)<10>)<11>,1_C)<12>)<13>,1_D)<14> (((((1_x,(1_y,2_y)<1>)<2>,((2_x,3_y)<3>,1_z)<4>)<5>,1_C)<6>,((((3_x,4_x)<7>,2_z)<8>,((5_x,4_y)<9>,3_z)<10>)<11>,2_C)<12>)<13>,1_D)<14> ((((1_x,1_y)<1>,1_z)<2>,((2_x,2_y)<3>,2_z)<4>)<5>,1_C)<6> ((1_B,1_A)<1>,((((1_x,2_x)<2>,1_z)<3>,((3_x,1_y)<4>,2_z)<5>)<6>,1_C)<7>)<8> (((1_B,1_A)<1>,(2_B,2_A)<2>)<3>,((((2_x,3_x)<4>,1_y)<5>,(2_z,3_z)<6>)<7>,(1_x,1_z)<8>)<9>)<10> (((1_B,1_A)<1>,(2_B,2_A)<2>)<3>,1_D)<4> (((((2_B,3_B)<1>,1_A)<2>,((((2_x,1_y)<3>,(((6_x,7_x)<4>,(5_y,6_y)<5>)<6>,(4_z,5_z)<7>)<8>)<9>,((3_x,2_y)<10>,1_z)<11>)<12>,1_C)<13>)<14>,((1_B,2_A)<15>,((1_x,(((4_x,3_y)<16>,2_z)<17>,((5_x,4_y)<18>,3_z)<19>)<20>)<21>,2_C)<22>)<23>)<24>,(1_D,(2_D,3_D)<25>)<26>)<27> ((((1_x,(2_y,3_y)<1>)<2>,1_z)<3>,((2_x,1_y)<4>,2_z)<5>)<6>,1_D)<7> ((1_B,1_A)<1>,1_D)<2> ((((1_x,1_z)<1>,((2_x,(1_y,2_y)<2>)<3>,2_z)<4>)<5>,((1_B,1_A)<6>,(((3_x,(4_y,5_y)<7>)<8>,(4_z,5_z)<9>)<10>,((4_x,3_y)<11>,3_z)<12>)<13>)<14>)<15>,1_D)<16> (((1_B,((2_A,3_A)<1>,1_A)<2>)<3>,(((1_x,1_y)<4>,1_z)<5>,((2_x,(2_y,3_y)<6>)<7>,2_z)<8>)<9>)<10>,(1_D,(2_D,((4_D,5_D)<11>,3_D)<12>)<13>)<14>)<15> (((((1_B,1_A)<1>,(2_B,2_A)<2>)<3>,1_C)<4>,(2_C,3_C)<5>)<6>,1_D)<7> ((((((3_x,3_y)<1>,(((5_x,6_x)<2>,4_x)<3>,4_y)<4>)<5>,1_z)<6>,((2_x,2_y)<7>,2_z)<8>)<9>,((1_x,1_y)<10>,(3_z,4_z)<11>)<12>)<13>,(1_D,2_D)<14>)<15> ((1_B,1_A)<1>,((((1_x,1_y)<2>,1_z)<3>,((2_x,2_y)<4>,2_z)<5>)<6>,1_C)<7>)<8> ((((2_B,3_A)<1>,1_A)<2>,(((2_x,1_y)<3>,1_z)<4>,(1_x,2_z)<5>)<6>)<7>,((1_B,2_A)<8>,(((3_x,2_y)<9>,3_z)<10>,((4_x,3_y)<11>,4_z)<12>)<13>)<14>)<15> ((1_B,1_A)<1>,((((1_x,1_y)<2>,1_z)<3>,((2_x,2_y)<4>,2_z)<5>)<6>,(1_C,2_C)<7>)<8>)<9> ((((((2_x,2_y)<1>,(3_x,3_y)<2>)<3>,1_z)<4>,((1_x,1_y)<5>,2_z)<6>)<7>,(1_C,((3_C,4_C)<8>,2_C)<9>)<10>)<11>,((2_D,(3_D,4_D)<12>)<13>,1_D)<14>)<15> ((1_B,(1_A,2_A)<1>)<2>,((((1_x,1_y)<3>,1_z)<4>,((2_x,2_y)<5>,2_z)<6>)<7>,1_C)<8>)<9> (1_D,2_D)<1> (((((1_x,1_y)<1>,1_z)<2>,((2_x,2_y)<3>,(2_z,3_z)<4>)<5>)<6>,1_C)<7>,1_D)<8> (1_D,2_D)<1> ((((1_B,1_A)<1>,(2_B,2_A)<2>)<3>,((1_x,(1_y,2_y)<4>)<5>,1_z)<6>)<7>,1_D)<8> ((((1_B,1_A)<1>,(2_B,2_A)<2>)<3>,((((2_x,2_y)<4>,2_z)<5>,((3_x,3_y)<6>,3_z)<7>)<8>,((1_x,1_y)<9>,1_z)<10>)<11>)<12>,((1_D,2_D)<13>,(3_D,4_D)<14>)<15>)<16> # Number of groups over group globs.cap (-c set to 8) -- Filtering. ((((((2_x,3_x)<1>,2_y)<2>,1_z)<3>,(1_x,1_y)<4>)<5>,(1_C,2_C)<6>)<7>,(1_D,2_D)<8>)<9> (1_D,2_D)<1> (((1_B,(1_A,2_A)<1>)<2>,((((1_x,1_y)<3>,1_z)<4>,(((2_x,(3_x,4_x)<5>)<6>,2_y)<7>,2_z)<8>)<9>,1_C)<10>)<11>,1_D)<12> # Number of groups over group globs.cap (-c set to 8) -- Filtering. ((1_B,1_A)<1>,(((1_x,1_y)<2>,1_z)<3>,((2_x,(3_z,4_z)<4>)<5>,((3_x,2_y)<6>,2_z)<7>)<8>)<9>)<10> (1_C,1_D)<1> ((((((2_x,2_y)<1>,(3_x,3_y)<2>)<3>,1_z)<4>,((1_x,1_y)<5>,2_z)<6>)<7>,1_C)<8>,1_D)<9> (1_D,(2_D,(3_D,4_D)<1>)<2>)<3> ((((((3_B,2_A)<1>,(4_B,3_A)<2>)<3>,1_B)<4>,(2_B,1_A)<5>)<6>,(((1_x,1_y)<7>,1_z)<8>,1_C)<9>)<10>,1_D)<11> ((((1_B,1_A)<1>,(((2_x,3_y)<2>,(5_z,6_z)<3>)<4>,((3_x,4_y)<5>,2_z)<6>)<7>)<8>,((1_y,1_z)<9>,((1_x,2_y)<10>,(3_z,4_z)<11>)<12>)<13>)<14>,1_D)<15> (((1_B,1_A)<1>,(1_C,2_C)<2>)<3>,1_D)<4> (((((1_x,1_y)<1>,1_z)<2>,((2_y,(2_x,3_y)<3>)<4>,2_z)<5>)<6>,1_C)<7>,1_D)<8> ((((1_B,1_A)<1>,(2_B,2_A)<2>)<3>,(((((2_x,2_y)<4>,1_z)<5>,((3_x,3_y)<6>,2_z)<7>)<8>,(((4_x,4_y)<9>,(3_z,4_z)<10>)<11>,(1_x,1_y)<12>)<13>)<14>,1_C)<15>)<16>,1_D)<17> (((1_B,1_A)<1>,((((1_x,(1_y,2_y)<2>)<3>,2_z)<4>,1_z)<5>,1_C)<6>)<7>,(1_D,2_D)<8>)<9> (1_D,2_D)<1> (1_B,1_A)<1> ((1_B,1_A)<1>,((((1_x,1_y)<2>,(2_x,2_y)<3>)<4>,1_z)<5>,1_C)<6>)<7> ((1_B,1_A)<1>,(((1_x,(1_y,2_y)<2>)<3>,1_z)<4>,((2_C,3_C)<5>,1_C)<6>)<7>)<8> (((1_z,2_z)<1>,1_C)<2>,1_D)<3> ((((1_y,1_z)<1>,(1_x,2_y)<2>)<3>,((2_C,3_C)<4>,1_C)<5>)<6>,(1_D,2_D)<7>)<8> ((((((3_B,3_A)<1>,(4_B,4_A)<2>)<3>,(2_B,2_A)<4>)<5>,(1_B,1_A)<6>)<7>,(((1_x,(1_y,2_y)<8>)<9>,(2_z,3_z)<10>)<11>,1_z)<12>)<13>,1_D)<14> (((1_B,1_A)<1>,(((1_x,2_x)<2>,1_z)<3>,1_C)<4>)<5>,((2_D,3_D)<6>,1_D)<7>)<8> ((1_B,(1_A,2_A)<1>)<2>,((((2_x,2_y)<3>,1_z)<4>,(1_x,1_y)<5>)<6>,1_C)<7>)<8> ((1_B,1_A)<1>,(((1_x,1_z)<2>,((2_x,1_y)<3>,2_z)<4>)<5>,1_C)<6>)<7> (((1_z,((1_x,1_y)<1>,2_z)<2>)<3>,1_C)<4>,((((2_x,2_y)<5>,(4_z,5_z)<6>)<7>,(((3_x,(5_x,6_x)<8>)<9>,(4_x,3_y)<10>)<11>,3_z)<12>)<13>,2_C)<14>)<15> ((((1_x,2_y)<1>,1_z)<2>,(1_y,2_z)<3>)<4>,(1_C,2_C)<5>)<6> (1_B,1_C)<1> (((1_B,1_A)<1>,(((1_x,1_y)<2>,((2_x,2_y)<3>,1_z)<4>)<5>,1_C)<6>)<7>,1_D)<8> (1_A,(((((2_x,2_y)<1>,(3_x,3_y)<2>)<3>,1_z)<4>,((1_x,1_y)<5>,2_z)<6>)<7>,1_C)<8>)<9> (((1_B,1_A)<1>,((1_x,2_z)<2>,1_z)<3>)<4>,(1_D,2_D)<5>)<6> (((1_B,1_A)<1>,(2_B,(2_A,3_A)<2>)<3>)<4>,(((1_x,1_y)<5>,1_z)<6>,((2_x,2_y)<7>,2_z)<8>)<9>)<10> (((1_B,1_A)<1>,(((1_x,1_y)<2>,((2_x,2_y)<3>,1_z)<4>)<5>,1_C)<6>)<7>,(1_D,2_D)<8>)<9> ((1_A,(1_B,2_A)<1>)<2>,((((1_x,2_x)<3>,1_y)<4>,(1_z,2_z)<5>)<6>,(1_C,2_C)<7>)<8>)<9> (1_D,2_D)<1> ((1_B,(((((1_x,2_y)<1>,(2_x,3_y)<2>)<3>,1_z)<4>,(1_y,2_z)<5>)<6>,1_C)<7>)<8>,1_D)<9> (((1_B,1_A)<1>,((((1_x,1_y)<2>,1_z)<3>,((2_x,2_z)<4>,((3_x,(2_y,3_y)<5>)<6>,(3_z,4_z)<7>)<8>)<9>)<10>,1_C)<11>)<12>,(1_D,2_D)<13>)<14> (((1_B,1_A)<1>,(((((2_x,3_x)<2>,1_y)<3>,1_z)<4>,((1_x,2_y)<5>,2_z)<6>)<7>,1_C)<8>)<9>,(1_D,2_D)<10>)<11> (((1_B,1_A)<1>,1_C)<2>,((((3_B,4_B)<3>,2_A)<4>,(2_B,(3_A,4_A)<5>)<6>)<7>,((((1_x,(1_y,2_y)<8>)<9>,1_z)<10>,(((2_x,3_y)<11>,(3_x,4_y)<12>)<13>,2_z)<14>)<15>,(2_C,3_C)<16>)<17>)<18>)<19> (1_D,2_D)<1> ((1_B,1_A)<1>,1_C)<2> ((((1_B,2_B)<1>,1_A)<2>,(1_x,1_z)<3>)<4>,(1_D,2_D)<5>)<6> (((((1_x,1_y)<1>,1_z)<2>,((2_x,2_y)<3>,(2_z,3_z)<4>)<5>)<6>,(1_C,2_C)<7>)<8>,(1_D,(2_D,(3_D,4_D)<9>)<10>)<11>)<12> (1_C,(((1_B,1_A)<1>,((((1_x,1_y)<2>,1_z)<3>,((2_x,2_y)<4>,(3_z,4_z)<5>)<6>)<7>,(2_C,3_C)<8>)<9>)<10>,((2_B,2_A)<11>,((((3_x,3_y)<12>,2_z)<13>,(((4_x,4_y)<14>,5_z)<15>,(((5_x,5_y)<16>,(6_x,6_y)<17>)<18>,(6_z,7_z)<19>)<20>)<21>)<22>,(4_C,5_C)<23>)<24>)<25>)<26>)<27> ((1_A,((((1_x,(1_y,(3_y,4_y)<1>)<2>)<3>,1_z)<4>,((2_z,((3_x,5_y)<5>,4_z)<6>)<7>,((2_x,2_y)<8>,3_z)<9>)<10>)<11>,1_C)<12>)<13>,1_D)<14> (((1_B,1_A)<1>,(2_B,(2_A,3_A)<2>)<3>)<4>,((((1_x,1_y)<5>,((2_x,2_y)<6>,(3_z,4_z)<7>)<8>)<9>,(2_C,(3_C,4_C)<10>)<11>)<12>,(((((3_x,4_x)<13>,3_y)<14>,1_z)<15>,(((5_x,4_y)<16>,(6_x,5_y)<17>)<18>,2_z)<19>)<20>,1_C)<21>)<22>)<23> ((((1_x,1_y)<1>,1_z)<2>,1_C)<3>,(1_D,2_D)<4>)<5> ((((((3_x,2_y)<1>,((5_z,6_z)<2>,3_z)<3>)<4>,1_z)<5>,1_C)<6>,((1_B,2_A)<7>,((((4_y,5_y)<8>,4_z)<9>,1_x)<10>,3_C)<11>)<12>)<13>,(1_A,((((4_x,3_y)<14>,2_z)<15>,(2_x,1_y)<16>)<17>,2_C)<18>)<19>)<20> (((1_B,1_A)<1>,((((1_x,1_y)<2>,1_z)<3>,((2_x,(2_y,3_y)<4>)<5>,2_z)<6>)<7>,1_C)<8>)<9>,1_D)<10> (((1_B,1_A)<1>,(((1_y,1_z)<2>,(1_x,2_y)<3>)<4>,(1_C,2_C)<5>)<6>)<7>,1_D)<8> (((1_B,1_A)<1>,(((((1_x,1_y)<2>,2_z)<3>,((2_x,2_y)<4>,(3_z,4_z)<5>)<6>)<7>,1_z)<8>,1_C)<9>)<10>,1_D)<11> (1_D,2_D)<1> # Number of groups over group globs.cap (-c set to 8) -- Filtering. (1_D,2_D)<1> ((1_B,1_A)<1>,((((1_x,1_y)<2>,2_z)<3>,1_z)<4>,1_C)<5>)<6> ((((1_x,1_y)<1>,1_z)<2>,(((2_x,2_y)<3>,3_z)<4>,2_z)<5>)<6>,((2_D,3_D)<7>,1_D)<8>)<9> ((1_B,1_A)<1>,(2_B,2_A)<2>)<3> (((((((3_x,4_x)<1>,1_y)<2>,(1_x,2_y)<3>)<4>,1_z)<5>,(1_C,2_C)<6>)<7>,((1_B,1_A)<8>,(((2_x,(3_y,4_y)<9>)<10>,2_z)<11>,((((6_x,7_x)<12>,5_y)<13>,3_z)<14>,((5_x,6_y)<15>,4_z)<16>)<17>)<18>)<19>)<20>,1_D)<21> ((((((1_x,2_x)<1>,1_y)<2>,1_z)<3>,(((3_x,2_y)<4>,(4_x,3_y)<5>)<6>,(2_z,3_z)<7>)<8>)<9>,1_C)<10>,1_D)<11> (((1_B,1_A)<1>,(2_B,2_A)<2>)<3>,(1_D,2_D)<4>)<5> (1_D,2_D)<1> ((((2_B,(1_A,2_A)<1>)<2>,1_B)<3>,((((1_x,1_y)<4>,1_z)<5>,((2_x,2_y)<6>,2_z)<7>)<8>,(1_C,2_C)<9>)<10>)<11>,(1_D,2_D)<12>)<13> (((((1_x,1_y)<1>,1_z)<2>,((2_x,2_y)<3>,2_z)<4>)<5>,1_C)<6>,(1_D,2_D)<7>)<8> (((((2_x,1_y)<1>,1_z)<2>,(1_x,((3_x,2_y)<3>,2_z)<4>)<5>)<6>,1_C)<7>,1_D)<8> ((((1_B,(3_B,4_B)<1>)<2>,(2_B,(1_A,2_A)<3>)<4>)<5>,(((1_y,2_z)<6>,1_z)<7>,1_C)<8>)<9>,1_D)<10> ((((((((5_x,6_x)<1>,4_x)<2>,2_y)<3>,2_z)<4>,(1_x,1_y)<5>)<6>,(((2_x,((5_y,6_y)<7>,4_y)<8>)<9>,(3_x,3_y)<10>)<11>,1_z)<12>)<13>,1_C)<14>,1_D)<15> (((((1_x,2_z)<1>,((2_x,2_y)<2>,3_z)<3>)<4>,(((3_x,4_x)<5>,1_y)<6>,1_z)<7>)<8>,(((1_B,(3_B,4_B)<9>)<10>,(2_B,1_A)<11>)<12>,(((((6_x,5_y)<13>,(7_z,8_z)<14>)<15>,(((7_x,6_y)<16>,(8_x,7_y)<17>)<18>,6_z)<19>)<20>,1_C)<21>,((3_y,4_z)<22>,((5_x,4_y)<23>,5_z)<24>)<25>)<26>)<27>)<28>,(1_D,2_D)<29>)<30> ((((1_B,1_A)<1>,(2_B,2_A)<2>)<3>,(((1_x,1_y)<4>,((2_x,2_y)<5>,1_z)<6>)<7>,(1_C,2_C)<8>)<9>)<10>,(1_D,(2_D,3_D)<11>)<12>)<13> ((1_A,(((((3_x,4_x)<1>,2_x)<2>,1_y)<3>,1_z)<4>,((1_x,(2_y,3_y)<5>)<6>,2_z)<7>)<8>)<9>,((2_D,(((6_D,7_D)<10>,3_D)<11>,(4_D,5_D)<12>)<13>)<14>,1_D)<15>)<16> (((1_B,1_A)<1>,(2_B,2_A)<2>)<3>,1_C)<4> (((1_B,1_A)<1>,(((1_x,1_y)<2>,1_z)<3>,((2_x,2_y)<4>,(2_z,3_z)<5>)<6>)<7>)<8>,1_D)<9> (((1_B,1_A)<1>,((1_x,((1_y,2_z)<2>,1_z)<3>)<4>,(1_C,2_C)<5>)<6>)<7>,(1_D,2_D)<8>)<9> ((1_A,(((1_y,1_z)<1>,(((1_x,2_x)<2>,2_y)<3>,2_z)<4>)<5>,1_C)<6>)<7>,(1_D,(2_D,3_D)<8>)<9>)<10> ((1_z,((1_x,(1_y,2_y)<1>)<2>,2_z)<3>)<4>,1_C)<5> ((1_B,1_A)<1>,(((1_x,(1_y,2_y)<2>)<3>,1_z)<4>,1_C)<5>)<6> ((((1_B,(2_A,3_A)<1>)<2>,(2_B,1_A)<3>)<4>,(((((2_x,2_y)<5>,2_z)<6>,((3_x,3_y)<7>,3_z)<8>)<9>,((1_x,1_y)<10>,1_z)<11>)<12>,1_C)<13>)<14>,(1_D,2_D)<15>)<16> ((((2_B,1_A)<1>,(3_B,(2_A,3_A)<2>)<3>)<4>,((1_x,1_y)<5>,1_z)<6>)<7>,(1_B,((((2_x,2_y)<8>,(3_z,4_z)<9>)<10>,((3_x,3_y)<11>,2_z)<12>)<13>,1_C)<14>)<15>)<16> (1_A,((((((3_x,4_x)<1>,1_x)<2>,2_y)<3>,((2_x,3_y)<4>,((3_z,4_z)<5>,2_z)<6>)<7>)<8>,(1_y,1_z)<9>)<10>,(1_C,2_C)<11>)<12>)<13> (((1_B,1_A)<1>,((1_x,1_y)<2>,1_z)<3>)<4>,1_D)<5> ((1_A,((1_B,2_B)<1>,2_A)<2>)<3>,(((1_y,(1_z,2_z)<4>)<5>,(1_x,2_y)<6>)<7>,1_C)<8>)<9> ((1_B,(((((2_x,2_y)<1>,2_z)<2>,((3_x,3_y)<3>,3_z)<4>)<5>,((1_x,1_y)<6>,1_z)<7>)<8>,(1_C,(2_C,(3_C,4_C)<9>)<10>)<11>)<12>)<13>,(1_D,2_D)<14>)<15> (((1_B,1_A)<1>,((((1_x,1_y)<2>,1_z)<3>,((2_y,3_y)<4>,2_z)<5>)<6>,((2_C,3_C)<7>,1_C)<8>)<9>)<10>,((1_D,2_D)<11>,(3_D,4_D)<12>)<13>)<14> ((((1_B,(2_A,3_A)<1>)<2>,(2_B,1_A)<3>)<4>,(((1_x,1_y)<5>,((2_x,3_x)<6>,1_z)<7>)<8>,1_C)<9>)<10>,(1_D,(2_D,3_D)<11>)<12>)<13> (1_A,((((((5_x,6_x)<1>,1_y)<2>,(1_x,2_y)<3>)<4>,1_z)<5>,(((2_x,3_y)<6>,(2_z,3_z)<7>)<8>,((3_x,4_z)<9>,(4_x,4_y)<10>)<11>)<12>)<13>,(1_C,2_C)<14>)<15>)<16> (((((((2_x,2_y)<1>,(7_z,8_z)<2>)<3>,((3_x,3_y)<4>,2_z)<5>)<6>,(((4_x,4_y)<7>,3_z)<8>,((5_x,5_y)<9>,4_z)<10>)<11>)<12>,((3_C,4_C)<13>,2_C)<14>)<15>,(((1_x,1_y)<16>,((5_z,6_z)<17>,1_z)<18>)<19>,1_C)<20>)<21>,(1_D,2_D)<22>)<23> ((((1_B,1_A)<1>,((3_B,2_A)<2>,2_B)<3>)<4>,(((1_x,1_y)<5>,(2_x,(1_z,2_z)<6>)<7>)<8>,1_C)<9>)<10>,1_D)<11> (1_B,1_A)<1> (((1_B,(1_A,2_A)<1>)<2>,((((2_x,2_y)<3>,1_z)<4>,(1_x,1_y)<5>)<6>,(1_C,2_C)<7>)<8>)<9>,1_D)<10> ((1_B,(1_A,2_A)<1>)<2>,((((2_x,3_x)<3>,1_y)<4>,1_z)<5>,((1_x,2_y)<6>,2_z)<7>)<8>)<9> ((1_B,(((1_x,(1_y,2_y)<1>)<2>,((2_x,((4_y,5_y)<3>,3_y)<4>)<5>,1_z)<6>)<7>,(1_C,2_C)<8>)<9>)<10>,1_D)<11> (((1_B,1_A)<1>,((((1_x,2_x)<2>,1_y)<3>,(1_z,2_z)<4>)<5>,(1_C,2_C)<6>)<7>)<8>,1_D)<9> (((1_B,1_A)<1>,((((3_x,4_x)<2>,1_y)<3>,(((7_x,4_y)<4>,(6_z,(7_z,8_z)<5>)<6>)<7>,(4_z,5_z)<8>)<9>)<10>,(((5_x,6_x)<11>,2_y)<12>,1_z)<13>)<14>)<15>,((2_B,2_A)<16>,((1_x,2_z)<17>,((2_x,3_y)<18>,3_z)<19>)<20>)<21>)<22> ((((1_B,2_B)<1>,1_A)<2>,1_C)<3>,(1_D,(2_D,3_D)<4>)<5>)<6> ((((1_B,1_A)<1>,(2_B,2_A)<2>)<3>,((((1_x,2_y)<4>,1_z)<5>,(1_y,2_z)<6>)<7>,1_C)<8>)<9>,1_D)<10> ((((((3_x,4_x)<1>,2_y)<2>,1_z)<3>,(1_x,(3_z,4_z)<4>)<5>)<6>,(1_C,((6_C,7_C)<7>,3_C)<8>)<9>)<10>,(((1_y,2_z)<11>,((((5_x,4_y)<12>,(6_x,7_x)<13>)<14>,(5_z,6_z)<15>)<16>,(2_x,3_y)<17>)<18>)<19>,(2_C,(4_C,5_C)<20>)<21>)<22>)<23> (((1_B,1_A)<1>,1_C)<2>,1_D)<3> (((((1_B,1_A)<1>,((2_B,(3_B,4_B)<2>)<3>,2_A)<4>)<5>,((((3_x,3_y)<6>,2_z)<7>,((4_x,4_y)<8>,3_z)<9>)<10>,2_C)<11>)<12>,(((1_x,1_y)<13>,((2_x,2_y)<14>,1_z)<15>)<16>,1_C)<17>)<18>,(1_D,2_D)<19>)<20> (((1_B,1_A)<1>,((((1_x,1_y)<2>,2_z)<3>,1_z)<4>,(1_C,2_C)<5>)<6>)<7>,1_D)<8> ((((1_B,1_A)<1>,(2_B,2_A)<2>)<3>,((((1_x,1_y)<4>,1_z)<5>,((2_x,2_y)<6>,(2_z,3_z)<7>)<8>)<9>,(1_C,2_C)<10>)<11>)<12>,(1_D,2_D)<13>)<14> ((((((2_x,3_x)<1>,1_y)<2>,1_z)<3>,((1_x,2_y)<4>,2_z)<5>)<6>,((((4_x,3_y)<7>,3_z)<8>,(4_z,5_z)<9>)<10>,1_C)<11>)<12>,(1_D,(2_D,3_D)<13>)<14>)<15> ((1_B,1_A)<1>,1_C)<2> (((1_B,1_A)<1>,((((((4_y,5_y)<2>,(6_z,7_z)<3>)<4>,1_z)<5>,((1_x,1_y)<6>,(4_z,5_z)<7>)<8>)<9>,(((2_x,2_y)<10>,2_z)<11>,((3_x,3_y)<12>,3_z)<13>)<14>)<15>,1_C)<16>)<17>,1_D)<18> ((1_A,((1_x,1_y)<1>,(1_C,(2_C,3_C)<2>)<3>)<4>)<5>,(1_D,(2_D,3_D)<6>)<7>)<8> ((1_B,((((2_x,(3_y,(4_y,5_y)<1>)<2>)<3>,(3_x,2_y)<4>)<5>,1_z)<6>,((1_x,1_y)<7>,2_z)<8>)<9>)<10>,(2_B,1_A)<11>)<12> (((((1_y,1_z)<1>,((1_x,2_y)<2>,2_z)<3>)<4>,1_C)<5>,((1_B,1_A)<6>,(((2_x,3_z)<7>,((3_x,3_y)<8>,4_z)<9>)<10>,2_C)<11>)<12>)<13>,1_D)<14> ((1_B,1_A)<1>,1_D)<2> (1_A,((((1_y,1_z)<1>,((1_x,4_z)<2>,((((5_x,6_x)<3>,4_y)<4>,(4_x,5_y)<5>)<6>,5_z)<7>)<8>)<9>,1_C)<10>,((((2_x,2_y)<11>,2_z)<12>,((3_x,3_y)<13>,3_z)<14>)<15>,(2_C,3_C)<16>)<17>)<18>)<19> ((((1_B,1_A)<1>,(2_B,2_A)<2>)<3>,(((1_y,(4_z,5_z)<4>)<5>,((2_x,3_y)<6>,1_z)<7>)<8>,((1_x,2_y)<9>,(2_z,3_z)<10>)<11>)<12>)<13>,(1_D,(2_D,3_D)<14>)<15>)<16> ((((1_B,(3_B,2_A)<1>)<2>,(2_B,1_A)<3>)<4>,(((2_x,2_y)<5>,(1_z,2_z)<6>)<7>,(1_x,1_y)<8>)<9>)<10>,((1_D,2_D)<11>,(3_D,4_D)<12>)<13>)<14> (((1_B,1_A)<1>,(((2_x,1_y)<2>,1_z)<3>,(1_x,2_z)<4>)<5>)<6>,((2_D,3_D)<7>,1_D)<8>)<9> ((((1_B,1_A)<1>,(2_B,2_A)<2>)<3>,((((2_x,1_y)<4>,1_z)<5>,(1_x,2_z)<6>)<7>,1_C)<8>)<9>,1_D)<10> ((1_A,(((2_x,2_y)<1>,1_z)<2>,(1_x,1_y)<3>)<4>)<5>,1_D)<6> ((1_B,1_A)<1>,(((((2_x,3_x)<2>,1_y)<3>,(1_z,2_z)<4>)<5>,((((5_x,(2_y,3_y)<6>)<7>,4_z)<8>,(4_x,5_z)<9>)<10>,(1_x,3_z)<11>)<12>)<13>,1_C)<14>)<15> ((1_B,((1_z,(1_x,((3_z,4_z)<1>,2_z)<2>)<3>)<4>,1_C)<5>)<6>,1_D)<7> ((1_B,1_A)<1>,(2_B,2_A)<2>)<3> ((1_y,(2_x,2_y)<1>)<2>,(1_x,1_z)<3>)<4> (((1_B,1_A)<1>,((1_x,1_y)<2>,((2_x,2_y)<3>,1_z)<4>)<5>)<6>,(1_D,2_D)<7>)<8> ((((1_B,1_A)<1>,(2_B,2_A)<2>)<3>,1_C)<4>,1_D)<5> ((1_x,1_y)<1>,1_C)<2> ((((1_B,1_A)<1>,(2_B,2_A)<2>)<3>,(1_C,2_C)<4>)<5>,(((((1_x,2_y)<6>,1_z)<7>,(1_y,2_z)<8>)<9>,3_C)<10>,((((2_x,3_y)<11>,3_z)<12>,((3_x,4_y)<13>,4_z)<14>)<15>,4_C)<16>)<17>)<18> ((2_D,3_D)<1>,1_D)<2> (((1_x,1_y)<1>,1_z)<2>,((2_x,3_z)<3>,2_z)<4>)<5> (((2_D,3_D)<1>,(4_D,5_D)<2>)<3>,1_D)<4> (((1_B,1_A)<1>,(2_B,2_A)<2>)<3>,(((1_z,((1_y,(4_z,5_z)<4>)<5>,((3_x,3_y)<6>,(6_z,7_z)<7>)<8>)<9>)<10>,((4_C,5_C)<11>,1_C)<12>)<13>,((((2_x,2_y)<14>,2_z)<15>,(1_x,3_z)<16>)<17>,(2_C,3_C)<18>)<19>)<20>)<21> ((1_A,2_A)<1>,((((2_x,1_y)<2>,1_z)<3>,(1_x,2_z)<4>)<5>,((((3_x,(3_y,4_y)<6>)<7>,(3_z,(5_z,6_z)<8>)<9>)<10>,((4_x,4_z)<11>,(5_x,2_y)<12>)<13>)<14>,(1_C,(2_C,3_C)<15>)<16>)<17>)<18>)<19> ((1_B,1_A)<1>,1_C)<2> (((((1_x,1_y)<1>,1_z)<2>,((2_x,2_y)<3>,(2_z,3_z)<4>)<5>)<6>,(1_C,2_C)<7>)<8>,(1_D,(2_D,3_D)<9>)<10>)<11> ((1_B,1_A)<1>,((((1_x,1_z)<2>,((2_x,1_y)<3>,2_z)<4>)<5>,1_C)<6>,(((((3_x,4_x)<7>,2_y)<8>,3_z)<9>,(((5_x,6_x)<10>,3_y)<11>,4_z)<12>)<13>,(2_C,3_C)<14>)<15>)<16>)<17> (((1_B,1_A)<1>,((((2_x,2_y)<2>,1_z)<3>,(1_x,1_y)<4>)<5>,1_C)<6>)<7>,1_D)<8> (((((((3_x,3_y)<1>,4_z)<2>,((4_x,4_y)<3>,5_z)<4>)<5>,((1_x,1_y)<6>,2_z)<7>)<8>,(((2_x,2_y)<9>,3_z)<10>,1_z)<11>)<12>,1_C)<13>,1_D)<14> (((1_B,1_A)<1>,(((1_y,2_y)<2>,1_z)<3>,1_C)<4>)<5>,(((2_B,3_A)<6>,(((1_x,3_z)<7>,(((3_x,4_y)<8>,(4_x,5_y)<9>)<10>,4_z)<11>)<12>,2_C)<13>)<14>,(2_A,((((2_x,3_y)<15>,5_z)<16>,3_C)<17>,2_z)<18>)<19>)<20>)<21> ((((1_B,1_A)<1>,(((2_x,2_y)<2>,3_z)<3>,(((3_x,3_y)<4>,(4_z,5_z)<5>)<6>,((4_x,4_y)<7>,(6_z,7_z)<8>)<9>)<10>)<11>)<12>,(1_z,((1_x,1_y)<13>,2_z)<14>)<15>)<16>,1_D)<17> ((((1_B,2_B)<1>,(3_B,1_A)<2>)<3>,(((2_x,2_y)<4>,1_z)<5>,(1_x,1_y)<6>)<7>)<8>,(1_D,2_D)<9>)<10> ((1_B,1_A)<1>,((((1_x,1_y)<2>,1_z)<3>,((2_x,2_y)<4>,2_z)<5>)<6>,(1_C,2_C)<7>)<8>)<9> ((((1_B,1_A)<1>,(2_B,2_A)<2>)<3>,((1_x,1_y)<4>,(1_C,2_C)<5>)<6>)<7>,1_D)<8> (((1_B,1_A)<1>,((((1_x,2_y)<2>,1_z)<3>,1_y)<4>,((1_C,2_C)<5>,(3_C,4_C)<6>)<7>)<8>)<9>,1_D)<10> ((((1_B,1_A)<1>,((((2_x,4_y)<2>,3_z)<3>,((3_x,5_y)<4>,4_z)<5>)<6>,1_C)<7>)<8>,((2_B,2_A)<9>,(((1_x,1_y)<10>,1_z)<11>,((2_y,3_y)<12>,2_z)<13>)<14>)<15>)<16>,1_D)<17> (((2_B,3_B)<1>,1_A)<2>,((4_B,2_A)<3>,1_B)<4>)<5> ((((1_B,1_A)<1>,(2_B,2_A)<2>)<3>,((((1_x,1_y)<4>,1_z)<5>,(((2_x,2_y)<6>,(3_x,3_y)<7>)<8>,2_z)<9>)<10>,1_C)<11>)<12>,1_D)<13> # Number of groups over group globs.cap (-c set to 8) -- Filtering. (((((2_B,2_A)<1>,((3_B,3_A)<2>,(4_B,4_A)<3>)<4>)<5>,((((1_x,1_y)<6>,1_z)<7>,(((3_y,(6_x,6_y)<8>)<9>,2_x)<10>,2_z)<11>)<12>,1_C)<13>)<14>,((1_B,1_A)<15>,(((((4_x,5_x)<16>,(4_y,5_y)<17>)<18>,3_z)<19>,((3_x,2_y)<20>,4_z)<21>)<22>,2_C)<23>)<24>)<25>,1_D)<26> (((1_x,2_x)<1>,1_y)<2>,1_z)<3> ((((2_x,(1_y,2_y)<1>)<2>,1_z)<3>,1_x)<4>,(1_D,2_D)<5>)<6> # Number of groups over group globs.cap (-c set to 8) -- Filtering. (((((2_B,2_A)<1>,(3_B,3_A)<2>)<3>,(1_B,1_A)<4>)<5>,((1_z,(1_x,2_z)<6>)<7>,(1_C,2_C)<8>)<9>)<10>,1_D)<11> (((1_B,1_A)<1>,(1_z,(1_C,2_C)<2>)<3>)<4>,(1_D,2_D)<5>)<6> ((1_C,2_C)<1>,(((1_x,1_y)<2>,1_z)<3>,3_C)<4>)<5> (((1_B,1_A)<1>,(((1_x,1_y)<2>,(1_z,2_z)<3>)<4>,(((((4_x,5_x)<5>,3_y)<6>,3_z)<7>,((3_x,4_y)<8>,4_z)<9>)<10>,((2_x,2_y)<11>,((6_z,(7_z,8_z)<12>)<13>,5_z)<14>)<15>)<16>)<17>)<18>,((2_D,3_D)<19>,1_D)<20>)<21> (((1_B,1_A)<1>,((((2_x,2_y)<2>,(2_z,3_z)<3>)<4>,((3_x,4_z)<5>,((5_x,4_y)<6>,5_z)<7>)<8>)<9>,((1_x,1_y)<10>,((4_x,3_y)<11>,1_z)<12>)<13>)<14>)<15>,1_D)<16> # Number of groups over group globs.cap (-c set to 8) -- Filtering. ((((1_x,(2_y,3_y)<1>)<2>,1_z)<3>,((2_x,1_y)<4>,2_z)<5>)<6>,1_D)<7> (((1_B,1_A)<1>,((((1_x,2_y)<2>,1_z)<3>,1_y)<4>,1_C)<5>)<6>,((2_D,3_D)<7>,1_D)<8>)<9> (((((((1_x,(3_y,4_y)<1>)<2>,3_z)<3>,((2_x,1_y)<4>,4_z)<5>)<6>,1_C)<7>,((((3_x,2_y)<8>,5_z)<9>,1_z)<10>,2_C)<11>)<12>,((1_B,(2_B,1_A)<13>)<14>,((2_z,(6_z,((4_x,5_y)<15>,(7_z,8_z)<16>)<17>)<18>)<19>,3_C)<20>)<21>)<22>,1_D)<23> (((((1_B,1_A)<1>,(2_B,2_A)<2>)<3>,((3_B,3_A)<4>,(4_B,4_A)<5>)<6>)<7>,((((1_x,(2_y,3_y)<8>)<9>,1_z)<10>,(1_y,2_z)<11>)<12>,(1_C,(2_C,3_C)<13>)<14>)<15>)<16>,((((4_D,5_D)<17>,3_D)<18>,2_D)<19>,1_D)<20>)<21> (((1_B,1_A)<1>,((1_x,((2_x,1_y)<2>,(1_z,2_z)<3>)<4>)<5>,1_C)<6>)<7>,1_D)<8> ((((1_B,1_A)<1>,(2_B,2_A)<2>)<3>,((((1_y,2_z)<4>,((3_x,4_y)<5>,3_z)<6>)<7>,((1_x,2_y)<8>,(4_z,5_z)<9>)<10>)<11>,((1_z,(2_x,3_y)<12>)<13>,1_C)<14>)<15>)<16>,(1_D,2_D)<17>)<18> (1_D,2_D)<1> (((1_x,1_y)<1>,(((2_y,(2_z,3_z)<2>)<3>,((3_x,3_y)<4>,1_z)<5>)<6>,2_x)<7>)<8>,((2_C,3_C)<9>,1_C)<10>)<11> ((((1_B,2_B)<1>,1_A)<2>,(((((2_x,3_x)<3>,(2_y,(3_y,4_y)<4>)<5>)<6>,1_z)<7>,((1_x,1_y)<8>,(2_z,3_z)<9>)<10>)<11>,1_C)<12>)<13>,((2_D,3_D)<14>,1_D)<15>)<16> ((((1_B,1_A)<1>,(2_B,2_A)<2>)<3>,(((((2_x,(3_y,4_y)<4>)<5>,(3_z,4_z)<6>)<7>,(((3_x,5_y)<8>,2_y)<9>,2_z)<10>)<11>,((1_x,1_y)<12>,1_z)<13>)<14>,1_C)<15>)<16>,1_D)<17> ((1_B,(((1_x,1_y)<1>,1_z)<2>,((((2_x,2_y)<3>,2_z)<4>,((3_x,3_y)<5>,3_z)<6>)<7>,(((4_x,4_y)<8>,4_z)<9>,((5_x,5_y)<10>,5_z)<11>)<12>)<13>)<14>)<15>,1_D)<16> (((1_B,1_A)<1>,(2_B,2_A)<2>)<3>,((((1_x,1_y)<4>,1_z)<5>,(((2_x,2_y)<6>,2_z)<7>,((3_x,(3_y,4_y)<8>)<9>,3_z)<10>)<11>)<12>,1_C)<13>)<14> (((1_B,1_A)<1>,(((1_x,1_y)<2>,1_z)<3>,1_C)<4>)<5>,1_D)<6> # Number of groups over group globs.cap (-c set to 8) -- Filtering. (((1_B,2_B)<1>,1_A)<2>,1_D)<3> ((1_A,(((2_x,1_y)<1>,1_z)<2>,(1_x,(2_y,3_y)<3>)<4>)<5>)<6>,(1_D,2_D)<7>)<8> (((((1_y,(2_x,3_y)<1>)<2>,1_z)<3>,((1_x,2_y)<4>,((3_x,4_y)<5>,2_z)<6>)<7>)<8>,(1_C,2_C)<9>)<10>,(1_D,2_D)<11>)<12> ((((((4_x,5_x)<1>,2_y)<2>,2_z)<3>,((2_x,3_x)<4>,(3_z,(4_z,5_z)<5>)<6>)<7>)<8>,((1_x,1_y)<9>,1_z)<10>)<11>,1_C)<12> ((((1_B,1_A)<1>,(2_B,2_A)<2>)<3>,(1_C,2_C)<4>)<5>,1_D)<6> (((1_B,1_A)<1>,(1_z,((1_x,(2_x,1_y)<2>)<3>,2_z)<4>)<5>)<6>,1_D)<7> (((1_B,1_A)<1>,((((1_x,1_y)<2>,((3_y,2_z)<3>,((5_x,5_y)<4>,3_z)<5>)<6>)<7>,(((2_x,4_y)<8>,1_z)<9>,((3_x,4_x)<10>,2_y)<11>)<12>)<13>,1_C)<14>)<15>,(1_D,2_D)<16>)<17> (1_D,2_D)<1> ((((1_x,1_y)<1>,2_z)<2>,1_z)<3>,1_C)<4> (((1_B,1_A)<1>,((((1_x,1_z)<2>,((4_x,3_y)<3>,(5_x,4_y)<4>)<5>)<6>,((2_x,1_y)<7>,(3_x,2_y)<8>)<9>)<10>,(1_C,2_C)<11>)<12>)<13>,1_D)<14> (((1_B,1_A)<1>,((((1_x,1_y)<2>,1_z)<3>,((2_x,2_y)<4>,2_z)<5>)<6>,((3_C,4_C)<7>,1_C)<8>)<9>)<10>,(((2_B,2_A)<11>,(((3_x,3_y)<12>,3_z)<13>,((4_x,4_y)<14>,4_z)<15>)<16>)<17>,(((3_B,3_A)<18>,(4_B,4_A)<19>)<20>,((((5_x,5_y)<21>,(5_z,6_z)<22>)<23>,((6_x,(6_y,7_y)<24>)<25>,(7_z,8_z)<26>)<27>)<28>,2_C)<29>)<30>)<31>)<32> ((1_B,1_A)<1>,((((1_x,1_y)<2>,1_z)<3>,((2_x,2_y)<4>,2_z)<5>)<6>,1_C)<7>)<8> ((((2_B,(2_A,3_A)<1>)<2>,(3_B,(4_A,5_A)<3>)<4>)<5>,(1_B,1_A)<6>)<7>,(((1_z,(((2_x,3_x)<8>,2_y)<9>,2_z)<10>)<11>,(1_x,1_y)<12>)<13>,1_C)<14>)<15> ((((2_B,3_B)<1>,1_A)<2>,1_B)<3>,1_D)<4> ((1_x,1_y)<1>,(1_C,2_C)<2>)<3> (1_D,2_D)<1> ((((1_x,1_y)<1>,(((2_x,2_y)<2>,((3_x,4_x)<3>,3_y)<4>)<5>,(1_z,2_z)<6>)<7>)<8>,1_C)<9>,1_D)<10> (1_D,2_D)<1> ((1_B,((((1_x,1_y)<1>,2_z)<2>,1_z)<3>,((2_C,(3_C,4_C)<4>)<5>,1_C)<6>)<7>)<8>,(1_D,2_D)<9>)<10> (1_B,((((2_x,1_y)<1>,(1_z,2_z)<2>)<3>,1_x)<4>,(1_C,2_C)<5>)<6>)<7> (((1_B,1_A)<1>,(((2_x,2_y)<2>,(1_z,2_z)<3>)<4>,(1_x,1_y)<5>)<6>)<7>,((((((5_x,5_y)<8>,5_z)<9>,((6_x,6_y)<10>,6_z)<11>)<12>,(((7_x,7_y)<13>,7_z)<14>,((8_x,8_y)<15>,8_z)<16>)<17>)<18>,1_C)<19>,((((3_x,3_y)<20>,3_z)<21>,((4_x,4_y)<22>,4_z)<23>)<24>,((3_C,4_C)<25>,2_C)<26>)<27>)<28>)<29> ((((1_x,1_y)<1>,(2_x,2_y)<2>)<3>,(((3_x,3_y)<4>,(4_x,4_y)<5>)<6>,1_z)<7>)<8>,1_C)<9> ((1_B,(2_A,3_A)<1>)<2>,(2_B,1_A)<3>)<4> ((1_B,1_A)<1>,(((1_x,(1_y,2_y)<2>)<3>,1_z)<4>,1_C)<5>)<6> (((((3_B,4_B)<1>,(3_A,4_A)<2>)<3>,(2_B,2_A)<4>)<5>,(1_B,1_A)<6>)<7>,((((1_x,1_y)<8>,1_z)<9>,((2_x,(2_y,3_y)<10>)<11>,2_z)<12>)<13>,1_C)<14>)<15> ((((1_B,1_A)<1>,(2_B,2_A)<2>)<3>,(1_C,2_C)<4>)<5>,(1_D,2_D)<6>)<7> ((1_B,1_A)<1>,(((1_x,(2_z,3_z)<2>)<3>,((2_x,1_y)<4>,1_z)<5>)<6>,(1_C,2_C)<7>)<8>)<9> (((1_B,(((1_x,1_y)<1>,((5_x,5_y)<2>,2_z)<3>)<4>,2_C)<5>)<6>,((((2_x,2_y)<7>,(3_x,3_y)<8>)<9>,((4_x,4_y)<10>,1_z)<11>)<12>,1_C)<13>)<14>,(1_D,2_D)<15>)<16> (((1_B,1_A)<1>,((((1_x,1_y)<2>,1_z)<3>,((2_x,(3_y,4_y)<4>)<5>,(3_x,2_y)<6>)<7>)<8>,1_C)<9>)<10>,(1_D,2_D)<11>)<12> ((1_B,1_A)<1>,(((1_z,((2_x,2_y)<2>,2_z)<3>)<4>,((1_x,1_y)<5>,((3_x,3_y)<6>,3_z)<7>)<8>)<9>,((2_C,3_C)<10>,1_C)<11>)<12>)<13> (((((1_x,1_y)<1>,1_z)<2>,((((3_x,4_x)<3>,2_y)<4>,(2_x,((5_x,6_x)<5>,3_y)<6>)<7>)<8>,(2_z,3_z)<9>)<10>)<11>,1_C)<12>,1_D)<13> ((((1_B,1_A)<1>,(((((2_x,2_y)<2>,1_z)<3>,(1_x,1_y)<4>)<5>,2_C)<6>,((((3_x,3_y)<7>,2_z)<8>,(((4_x,5_x)<9>,4_y)<10>,3_z)<11>)<12>,3_C)<13>)<14>)<15>,((((3_B,3_A)<16>,(4_B,4_A)<17>)<18>,(2_B,2_A)<19>)<20>,1_C)<21>)<22>,(1_D,2_D)<23>)<24> (((1_B,(1_A,(2_A,3_A)<1>)<2>)<3>,((((1_x,1_y)<4>,1_z)<5>,((2_x,2_y)<6>,2_z)<7>)<8>,1_C)<9>)<10>,1_D)<11> ((((1_B,(3_A,4_A)<1>)<2>,(2_B,1_A)<3>)<4>,((3_B,2_A)<5>,(((((2_x,3_x)<6>,1_y)<7>,1_z)<8>,((1_x,2_y)<9>,2_z)<10>)<11>,(1_C,2_C)<12>)<13>)<14>)<15>,(1_D,2_D)<16>)<17> ((((((2_x,1_y)<1>,2_z)<2>,((3_x,(4_y,5_y)<3>)<4>,3_z)<5>)<6>,((1_x,(2_y,3_y)<7>)<8>,1_z)<9>)<10>,1_C)<11>,1_D)<12> (1_D,2_D)<1> (((((((3_x,3_y)<1>,3_z)<2>,((4_y,5_z)<3>,(4_x,(6_y,7_y)<4>)<5>)<6>)<7>,(1_C,2_C)<8>)<9>,((((5_x,5_y)<10>,4_z)<11>,(2_x,2_y)<12>)<13>,(3_C,4_C)<14>)<15>)<16>,(((1_x,1_y)<17>,2_z)<18>,1_z)<19>)<20>,(1_D,2_D)<21>)<22> (((1_B,1_A)<1>,(((1_x,1_y)<2>,(2_x,2_y)<3>)<4>,1_z)<5>)<6>,1_D)<7> (((1_B,1_A)<1>,((((1_x,2_y)<2>,1_z)<3>,(1_y,(2_z,3_z)<4>)<5>)<6>,1_C)<7>)<8>,1_D)<9> ((((1_B,1_A)<1>,((2_B,2_A)<2>,((3_B,4_B)<3>,(3_A,4_A)<4>)<5>)<6>)<7>,((((1_x,1_y)<8>,1_z)<9>,((((3_x,4_x)<10>,2_y)<11>,(2_x,3_y)<12>)<13>,2_z)<14>)<15>,1_C)<16>)<17>,((2_D,(3_D,4_D)<18>)<19>,1_D)<20>)<21> (1_B,1_A)<1> ((1_B,1_A)<1>,((((1_x,1_y)<2>,1_z)<3>,((2_x,(2_y,3_y)<4>)<5>,2_z)<6>)<7>,((((3_x,4_y)<8>,3_z)<9>,((4_x,5_y)<10>,4_z)<11>)<12>,1_C)<13>)<14>)<15> (((((2_x,1_y)<1>,2_z)<2>,1_z)<3>,(1_C,(2_C,3_C)<4>)<5>)<6>,((1_B,1_A)<7>,1_x)<8>)<9> (((1_B,1_A)<1>,((1_x,1_y)<2>,1_z)<3>)<4>,(1_D,2_D)<5>)<6> (1_B,1_A)<1> ((((1_x,(1_y,2_y)<1>)<2>,1_z)<3>,1_C)<4>,1_D)<5> (((((1_x,2_x)<1>,1_y)<2>,1_z)<3>,(((3_x,(3_y,4_y)<4>)<5>,2_z)<6>,((4_x,2_y)<7>,3_z)<8>)<9>)<10>,(1_C,2_C)<11>)<12> ((1_B,1_A)<1>,(((1_x,1_y)<2>,1_z)<3>,(1_C,2_C)<4>)<5>)<6> (1_B,(((1_x,2_y)<1>,1_z)<2>,(1_y,2_z)<3>)<4>)<5> # Number of groups over group globs.cap (-c set to 8) -- Filtering. (((((1_x,1_y)<1>,1_z)<2>,((2_y,(2_x,3_y)<3>)<4>,2_z)<5>)<6>,1_C)<7>,1_D)<8> ((1_B,1_A)<1>,1_D)<2> (((1_B,1_A)<1>,((((1_x,2_y)<2>,(1_z,2_z)<3>)<4>,((2_x,3_x)<5>,1_y)<6>)<7>,(1_C,2_C)<8>)<9>)<10>,(1_D,2_D)<11>)<12> (((1_B,1_A)<1>,((((1_x,1_y)<2>,1_z)<3>,((2_x,(2_y,3_y)<4>)<5>,2_z)<6>)<7>,1_C)<8>)<9>,1_D)<10> ((1_B,1_A)<1>,((((((2_x,3_x)<2>,1_x)<3>,1_y)<4>,2_z)<5>,1_z)<6>,(1_C,(2_C,(3_C,4_C)<7>)<8>)<9>)<10>)<11> (((1_A,2_A)<1>,(((1_x,1_y)<2>,1_z)<3>,1_C)<4>)<5>,((1_D,2_D)<6>,((4_D,(5_D,6_D)<7>)<8>,3_D)<9>)<10>)<11> (((1_B,1_A)<1>,(2_B,2_A)<2>)<3>,((((1_x,1_y)<4>,1_z)<5>,(2_z,((2_x,2_y)<6>,3_z)<7>)<8>)<9>,1_C)<10>)<11> ((1_B,(((1_x,1_y)<1>,1_z)<2>,(((2_x,2_y)<3>,2_z)<4>,((3_x,3_y)<5>,3_z)<6>)<7>)<8>)<9>,1_D)<10> (((((1_B,1_A)<1>,(2_B,2_A)<2>)<3>,1_C)<4>,(((((6_B,5_A)<5>,(7_B,6_A)<6>)<7>,(3_B,(7_A,8_A)<8>)<9>)<10>,((4_B,3_A)<11>,(5_B,4_A)<12>)<13>)<14>,((((1_x,1_y)<15>,((3_x,4_x)<16>,(3_y,4_y)<17>)<18>)<19>,((2_x,2_y)<20>,1_z)<21>)<22>,2_C)<23>)<24>)<25>,(1_D,2_D)<26>)<27> (((((2_B,3_B)<1>,1_A)<2>,(1_B,2_A)<3>)<4>,((1_x,1_y)<5>,1_z)<6>)<7>,1_D)<8> (1_A,(((1_x,1_y)<1>,1_z)<2>,((2_x,2_y)<3>,2_z)<4>)<5>)<6> (((1_B,(2_B,(2_A,3_A)<1>)<2>)<3>,((1_y,1_z)<4>,1_C)<5>)<6>,(((3_B,1_A)<7>,(4_B,(4_A,5_A)<8>)<9>)<10>,((((4_y,(2_x,5_y)<11>)<12>,2_z)<13>,(2_y,3_z)<14>)<15>,((1_x,3_y)<16>,(4_z,5_z)<17>)<18>)<19>)<20>)<21> (1_B,1_A)<1> (((1_B,2_B)<1>,1_A)<2>,(((1_x,1_y)<3>,1_z)<4>,((2_x,2_y)<5>,2_z)<6>)<7>)<8> ((((1_B,2_B)<1>,(2_A,3_A)<2>)<3>,1_A)<4>,(1_D,2_D)<5>)<6> (((1_B,1_A)<1>,(2_B,2_A)<2>)<3>,((((1_x,1_y)<4>,1_z)<5>,((2_x,2_y)<6>,(2_z,(((5_z,6_z)<7>,4_z)<8>,3_z)<9>)<10>)<11>)<12>,1_C)<13>)<14> (((1_B,1_A)<1>,(((1_x,1_y)<2>,1_z)<3>,1_C)<4>)<5>,1_D)<6> ((((1_B,1_A)<1>,(2_B,2_A)<2>)<3>,(((1_x,1_y)<4>,1_z)<5>,1_C)<6>)<7>,1_D)<8> (1_A,((((2_x,2_y)<1>,1_z)<2>,(1_x,1_y)<3>)<4>,(1_C,2_C)<5>)<6>)<7> ((1_B,1_A)<1>,((1_x,1_y)<2>,1_C)<3>)<4> ((((1_B,1_A)<1>,(2_B,2_A)<2>)<3>,((((((4_x,4_y)<4>,((7_z,8_z)<5>,4_z)<6>)<7>,(((5_x,6_x)<8>,5_y)<9>,(5_z,6_z)<10>)<11>)<12>,((1_x,1_y)<13>,1_z)<14>)<15>,(((2_x,2_y)<16>,2_z)<17>,((3_x,3_y)<18>,3_z)<19>)<20>)<21>,(1_C,2_C)<22>)<23>)<24>,1_D)<25> (((((2_B,2_A)<1>,(3_B,3_A)<2>)<3>,(1_B,1_A)<4>)<5>,((((1_x,1_y)<6>,1_z)<7>,(2_z,(2_x,2_y)<8>)<9>)<10>,1_C)<11>)<12>,1_D)<13> ((((((3_B,4_B)<1>,2_A)<2>,(2_B,3_A)<3>)<4>,(1_C,(2_C,3_C)<5>)<6>)<7>,((1_B,1_A)<8>,(((1_x,1_y)<9>,1_z)<10>,(4_C,5_C)<11>)<12>)<13>)<14>,1_D)<15> (((1_B,1_A)<1>,(2_B,2_A)<2>)<3>,(((1_y,1_z)<4>,(((1_x,2_x)<5>,2_y)<6>,2_z)<7>)<8>,((2_C,3_C)<9>,1_C)<10>)<11>)<12> # Number of groups over group globs.cap (-c set to 8) -- Filtering. (((((2_B,1_A)<1>,(3_B,2_A)<2>)<3>,(((1_x,1_y)<4>,(1_z,2_z)<5>)<6>,1_C)<7>)<8>,((1_B,((4_A,5_A)<9>,3_A)<10>)<11>,((((2_x,2_y)<12>,3_z)<13>,((3_x,3_y)<14>,4_z)<15>)<16>,(2_C,3_C)<17>)<18>)<19>)<20>,(1_D,2_D)<21>)<22> ((((1_B,1_A)<1>,(2_B,(2_A,3_A)<2>)<3>)<4>,((1_x,1_z)<5>,((2_x,1_y)<6>,2_z)<7>)<8>)<9>,1_D)<10> (((1_x,(3_y,4_y)<1>)<2>,1_z)<3>,(1_y,2_y)<4>)<5> (1_A,(((((2_x,2_y)<1>,((3_x,4_x)<2>,3_y)<3>)<4>,1_z)<5>,((1_x,1_y)<6>,2_z)<7>)<8>,1_C)<9>)<10> ((1_B,1_A)<1>,(((1_x,(2_z,3_z)<2>)<3>,((2_x,1_y)<4>,1_z)<5>)<6>,(1_C,(2_C,3_C)<7>)<8>)<9>)<10> ((1_B,1_A)<1>,((((3_x,1_y)<2>,1_z)<3>,(1_x,2_x)<4>)<5>,((1_C,2_C)<6>,(3_C,4_C)<7>)<8>)<9>)<10> ((((1_x,1_y)<1>,(2_z,3_z)<2>)<3>,((2_x,2_y)<4>,1_z)<5>)<6>,1_D)<7> (((1_B,1_A)<1>,(2_B,2_A)<2>)<3>,(((1_x,1_y)<4>,1_z)<5>,(1_C,2_C)<6>)<7>)<8> (((1_B,1_A)<1>,((((1_x,1_y)<2>,2_z)<3>,1_z)<4>,1_C)<5>)<6>,1_D)<7> ((1_B,1_A)<1>,((((1_x,1_y)<2>,(1_z,2_z)<3>)<4>,((2_x,2_y)<5>,(3_z,4_z)<6>)<7>)<8>,1_C)<9>)<10> ((1_B,1_A)<1>,((2_B,2_A)<2>,(((((2_x,2_y)<3>,1_z)<4>,(((3_x,4_x)<5>,3_y)<6>,2_z)<7>)<8>,((1_x,1_y)<9>,(3_z,4_z)<10>)<11>)<12>,(1_C,2_C)<13>)<14>)<15>)<16> ((1_B,1_A)<1>,((((2_x,2_y)<2>,1_z)<3>,(1_x,1_y)<4>)<5>,1_C)<6>)<7> (((((2_x,1_y)<1>,(3_z,4_z)<2>)<3>,(((3_x,4_x)<4>,2_y)<5>,1_z)<6>)<7>,1_C)<8>,((1_x,(((5_x,3_y)<9>,(6_x,4_y)<10>)<11>,2_z)<12>)<13>,(2_C,3_C)<14>)<15>)<16> (((1_B,1_A)<1>,(((((((6_x,5_y)<2>,(7_x,6_y)<3>)<4>,(5_x,4_y)<5>)<6>,(4_x,3_y)<7>)<8>,1_z)<9>,((3_x,2_y)<10>,2_z)<11>)<12>,1_C)<13>)<14>,(((2_A,3_A)<15>,(2_B,4_A)<16>)<17>,(((1_x,2_x)<18>,1_y)<19>,(2_C,3_C)<20>)<21>)<22>)<23> (((1_x,1_z)<1>,1_C)<2>,(1_D,2_D)<3>)<4> ((1_B,1_A)<1>,((1_z,((1_x,1_y)<2>,2_z)<3>)<4>,((2_C,3_C)<5>,1_C)<6>)<7>)<8> (((1_B,1_A)<1>,(2_B,2_A)<2>)<3>,(((1_x,2_y)<4>,1_z)<5>,(1_y,2_z)<6>)<7>)<8> (((1_B,1_A)<1>,((((1_y,(3_z,(4_z,5_z)<2>)<3>)<4>,(1_x,2_y)<5>)<6>,(1_C,2_C)<7>)<8>,(((2_x,3_y)<9>,1_z)<10>,((3_x,(4_y,5_y)<11>)<12>,2_z)<13>)<14>)<15>)<16>,1_D)<17> (((1_B,2_B)<1>,((3_B,2_A)<2>,1_A)<3>)<4>,((((1_x,1_y)<5>,(2_z,3_z)<6>)<7>,((2_x,2_y)<8>,1_z)<9>)<10>,1_C)<11>)<12> (((1_B,1_A)<1>,((2_B,2_A)<2>,(1_z,1_C)<3>)<4>)<5>,1_D)<6> (((1_B,1_A)<1>,((2_C,(3_C,4_C)<2>)<3>,1_C)<4>)<5>,((1_D,2_D)<6>,(3_D,4_D)<7>)<8>)<9> (((((1_x,1_y)<1>,1_z)<2>,((2_x,2_y)<3>,2_z)<4>)<5>,1_C)<6>,1_D)<7> ((1_B,1_A)<1>,(((2_x,2_y)<2>,1_z)<3>,(1_x,1_y)<4>)<5>)<6> ((((1_x,1_y)<1>,1_z)<2>,((2_x,2_y)<3>,2_z)<4>)<5>,1_D)<6> (1_D,2_D)<1> (((1_B,1_A)<1>,(2_B,2_A)<2>)<3>,(((1_x,1_y)<4>,((2_x,(3_x,2_y)<5>)<6>,((2_z,3_z)<7>,1_z)<8>)<9>)<10>,1_C)<11>)<12> ((((1_B,1_A)<1>,(2_B,(2_A,3_A)<2>)<3>)<4>,((((2_x,3_x)<5>,1_y)<6>,1_z)<7>,((1_x,2_y)<8>,2_z)<9>)<10>)<11>,((2_D,3_D)<12>,1_D)<13>)<14> (((((2_B,2_A)<1>,(3_B,3_A)<2>)<3>,(1_z,((1_x,1_y)<4>,2_z)<5>)<6>)<7>,((1_B,1_A)<8>,(((2_y,3_z)<9>,((2_x,3_y)<10>,4_z)<11>)<12>,1_C)<13>)<14>)<15>,(1_D,2_D)<16>)<17> ((((1_x,1_z)<1>,((2_x,1_y)<2>,(2_z,3_z)<3>)<4>)<5>,1_C)<6>,(1_D,2_D)<7>)<8> ((((1_B,1_A)<1>,(2_B,2_A)<2>)<3>,((3_B,3_A)<4>,(4_B,4_A)<5>)<6>)<7>,((((2_x,2_y)<8>,(3_x,(3_y,4_y)<9>)<10>)<11>,(2_z,3_z)<12>)<13>,((1_x,1_y)<14>,1_z)<15>)<16>)<17> (1_D,2_D)<1> ((1_B,1_A)<1>,(((((2_x,2_y)<2>,1_z)<3>,(((4_x,4_y)<4>,(5_x,5_y)<5>)<6>,((6_x,7_x)<7>,(3_z,4_z)<8>)<9>)<10>)<11>,(((3_x,3_y)<12>,(2_z,(5_z,(6_z,7_z)<13>)<14>)<15>)<16>,(1_x,1_y)<17>)<18>)<19>,(1_C,2_C)<20>)<21>)<22> ((1_B,(((1_x,1_y)<1>,(2_z,(3_z,4_z)<2>)<3>)<4>,((2_x,3_x)<5>,1_z)<6>)<7>)<8>,((1_D,2_D)<9>,(3_D,4_D)<10>)<11>)<12> (1_x,1_y)<1> (((((1_x,2_x)<1>,(1_y,2_y)<2>)<3>,1_z)<4>,1_C)<5>,(1_D,2_D)<6>)<7>