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