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