(((((2_y,1_z),((2_B,((4_B,5_B),3_B)),1_B)),1_A),(((1_x,2_x),1_y),1_C)),1_D); (((((((4_x,5_x),(3_y,4_y)),3_z),1_B),1_A),(((((6_x,5_y),(7_x,6_y)),4_z),2_C),((2_x,1_y),(3_C,4_C)))),((((3_x,2_y),1_z),(2_B,(3_B,4_B))),((1_x,2_z),1_C))); ((((((2_x,2_y),2_z),1_B),1_A),(((1_x,1_y),1_z),(1_C,2_C))),((2_D,3_D),1_D)); ((1_B,1_A),(1_x,(1_y,2_y))); (((((((3_x,4_x),2_x),2_y),(2_z,3_z)),1_B),1_A),(((1_x,1_y),1_z),1_C)); (1_D,2_D); (((1_A,2_A),((1_x,1_y),1_z)),1_D); (((1_z,2_z),1_B),((1_y,3_z),(((1_x,2_y),4_z),1_C))); ((((((2_x,2_y),1_z),1_B),1_A),((1_x,1_y),1_C)),1_D); ((((((1_x,1_y),(2_z,3_z)),(1_B,2_B)),1_A),(1_C,((((2_x,3_x),(2_y,3_y)),1_z),2_C))),1_D); (((((2_x,2_y),(3_x,3_y)),1_z),(1_B,(2_B,3_B))),(((1_x,1_y),2_z),1_C)); (((((((1_x,1_y),(3_z,4_z)),((2_x,2_y),2_z)),1_B),1_A),(1_z,1_C)),1_D); (((((3_x,3_y),2_z),(1_B,2_B)),1_A),(((2_x,2_y),1_z),(1_x,1_y))); ((((((1_x,2_x),2_z),1_B),1_A),((((3_x,4_x),1_y),1_z),1_C)),((2_D,3_D),1_D)); ((((1_B,1_A),(((2_x,2_y),2_z),2_C)),(((1_x,1_y),1_z),1_C)),1_D); (1_A,1_D); (((((1_x,(2_z,3_z)),1_B),1_A),(((2_x,1_y),1_z),1_C)),1_D); ((((((2_x,2_y),1_z),1_B),(1_A,2_A)),((1_x,1_y),(1_C,2_C))),1_D); ((((2_x,2_y),1_z),1_B),(1_x,1_y)); (((1_x,1_y),1_A),(((2_x,3_x),1_z),1_C)); ((((((2_x,2_y),2_z),(1_B,2_B)),1_A),(((1_x,1_y),1_z),1_C)),(1_D,(2_D,3_D))); ((((1_x,1_y),1_z),(1_C,2_C)),1_D); (((1_x,1_B),1_A),(((2_x,1_y),1_z),1_C)); (((((((2_x,2_y),3_z),(1_B,2_B)),((1_x,1_y),2_z)),1_A),(1_z,1_C)),((2_D,3_D),1_D)); (((((1_z,((4_x,2_y),(5_z,6_z))),1_B),1_A),((((1_x,1_y),2_z),((2_x,3_x),(3_z,4_z))),1_C)),1_D); (((((((2_x,2_y),(3_x,3_y)),3_z),2_z),1_A),((1_x,1_y),1_z)),(1_D,((3_D,4_D),2_D))); (((((1_x,1_y),1_z),1_B),(1_A,2_A)),1_D); (((((((2_x,2_y),(3_x,3_y)),(2_z,3_z)),(1_x,1_y)),(1_A,2_A)),(1_z,1_C)),1_D); (((((1_x,1_y),1_z),(((2_x,3_x),2_y),(2_z,3_z))),1_B),(1_A,2_A)); (((((2_x,2_y),(2_z,3_z)),1_B),(1_A,2_A)),(((1_x,1_y),1_z),(1_C,2_C))); ((1_x,1_y),(1_z,2_z)); (((((((2_x,2_y),(3_x,(4_y,5_y))),1_z),1_B),(((1_x,1_y),(3_z,4_z)),(1_C,2_C))),(((2_z,2_B),(((4_x,3_y),5_z),3_B)),(1_A,2_A))),1_D); ((((1_z,1_B),1_A),(((1_x,1_y),2_z),1_C)),1_D); (((((1_y,2_z),((2_B,3_B),1_B)),1_A),((((1_x,2_y),3_z),1_C),(1_z,(2_C,3_C)))),1_D); ((1_A,(((1_x,1_y),(1_z,2_z)),1_C)),1_D); (((((1_x,(2_z,3_z)),((2_y,4_z),1_B)),1_A),((1_y,1_z),1_C)),1_D); (((1_B,(1_A,2_A)),((((2_x,(3_y,4_y)),2_z),2_B),(3_A,4_A))),((1_x,(1_y,2_y)),1_z)); (((((1_x,1_y),2_z),1_A),(1_z,1_C)),(1_D,2_D)); ((((1_y,(2_z,3_z)),1_B),1_A),(((1_x,2_y),1_z),(1_C,2_C))); (((((1_x,1_y),1_z),1_B),((((2_x,3_y),2_y),2_z),1_C)),(1_D,(2_D,3_D))); ((((((1_y,((4_x,5_x),5_y)),(1_x,2_y)),1_z),(1_A,2_A)),((((2_x,3_y),(3_x,4_y)),2_z),1_C)),(1_D,2_D)); (((1_A,(((((1_x,2_x),2_y),3_z),((((3_x,4_x),3_y),4_z),1_C)),(1_y,2_z))),((1_z,1_B),2_A)),(1_D,2_D)); (((((2_x,1_y),1_z),1_B),1_A),(((1_x,(2_y,3_y)),(2_z,3_z)),1_C)); (((((((1_x,1_y),2_z),1_B),(1_z,2_B)),2_A),1_A),1_D); (((((1_x,1_y),(1_z,2_z)),1_B),1_A),(((4_D,(5_D,6_D)),1_D),(2_D,3_D))); (((((1_x,1_y),1_z),1_B),(1_A,2_A)),1_C); (((((1_x,1_y),1_z),1_C),((((2_x,(2_z,3_z)),1_B),1_A),2_C)),1_D); (((((1_x,1_y),((3_z,4_z),2_z)),((2_x,2_y),1_z)),1_B),1_A); ((1_B,(1_A,2_A)),((((1_y,2_y),(1_x,3_y)),1_z),(1_C,2_C))); (((((1_x,1_y),1_z),1_A),((((2_x,2_y),(3_x,3_y)),2_z),1_C)),1_D); ((((1_x,1_y),1_z),((2_C,3_C),1_C)),1_D); (((((2_x,(2_y,3_y)),1_z),1_A),((1_x,1_y),1_C)),1_D); ((((3_B,4_B),1_A),(((((2_x,3_y),3_z),(1_C,2_C)),1_y),1_z)),(((1_x,2_y),2_z),(1_B,2_B))); (((((1_x,1_y),1_z),1_B),(1_A,2_A)),(1_D,2_D)); ((((((2_x,2_y),(2_z,3_z)),1_B),1_A),((1_x,1_y),1_z)),((2_D,3_D),1_D)); (((((2_y,(2_x,3_x)),2_z),(1_B,2_B)),1_A),(((1_x,1_y),1_z),1_C)); (((1_A,2_A),(1_C,2_C)),1_D); ((((((2_x,3_y),1_y),1_z),1_B),(((1_x,2_y),2_z),1_C)),1_D); ((((1_y,1_B),(1_A,((2_A,3_A),(4_A,5_A)))),((1_x,2_y),(1_C,2_C))),(1_D,2_D)); ((((1_x,1_y),1_z),1_C),1_D); (((1_A,2_A),(((1_x,2_x),1_y),1_z)),1_D); (((((1_x,2_y),2_z),1_B),(1_A,2_A)),(1_y,1_z)); ((((((2_x,2_y),(3_x,3_y)),1_z),(((4_x,4_y),(4_z,5_z)),(1_C,2_C))),((((5_x,6_x),((6_y,7_y),5_y)),2_z),((1_x,1_y),3_z))),(1_D,2_D)); ((((((1_x,2_x),2_y),2_z),(1_B,2_B)),1_A),((1_y,1_z),1_C)); ((((((((4_x,5_x),3_y),(3_z,4_z)),1_B),(((3_x,4_y),2_z),2_B)),(((3_A,4_A),2_A),1_A)),((((1_x,1_y),(2_x,2_y)),1_z),1_C)),1_D); ((1_x,1_B),1_A); (1_B,((((((4_x,5_x),2_y),1_z),2_B),1_A),((((1_x,(3_y,4_y)),(2_z,3_z)),(2_C,3_C)),(((2_x,3_x),1_y),1_C)))); (((((1_x,1_z),1_B),1_A),1_C),((2_D,3_D),1_D)); ((((1_B,2_B),1_A),(1_C,2_C)),1_D); ((((((2_x,3_x),1_y),(1_x,2_y)),1_z),1_C),1_D); ((((1_x,1_y),1_z),(2_z,1_B)),1_D); (((((1_x,2_y),1_B),1_A),((1_y,1_z),1_C)),(1_D,2_D)); ((((2_x,1_y),2_z),1_A),((1_x,(2_y,3_y)),1_z)); ((((1_x,1_y),1_z),(1_B,2_B)),1_D); ((((1_z,(((1_x,2_x),1_y),3_z)),(1_A,2_A)),((2_z,(4_z,5_z)),1_C)),(1_D,(2_D,3_D))); ((1_D,2_D),(3_D,4_D)); ((1_B,(((1_x,(2_y,3_y)),1_z),(2_B,3_B))),((((2_x,1_y),2_z),1_C),((3_z,4_z),(2_C,((4_C,5_C),3_C))))); (((((1_x,1_y),2_z),1_B),(1_A,2_A)),(1_z,1_C)); (((((2_x,3_x),1_y),(2_z,3_z)),(1_B,2_B)),(((1_x,2_y),1_z),(((4_x,3_y),4_z),1_C))); (((((2_x,2_y),(1_z,2_z)),1_B),1_A),((1_x,1_y),(1_C,2_C))); (((1_x,1_B),(1_C,2_C)),(1_D,2_D)); (((1_x,1_z),1_B),(((2_x,1_y),((3_z,4_z),2_z)),1_C)); ((((1_x,1_y),2_z),1_A),(((2_x,3_x),(2_y,3_y)),1_z)); ((((1_B,2_B),(1_x,1_y)),(1_z,1_C)),1_D); ((((((1_x,1_y),1_z),1_B),(1_A,2_A)),((((2_x,2_y),2_z),1_C),(((3_x,3_y),3_z),2_C))),1_D); ((((((2_y,3_z),1_B),(((2_x,4_y),4_z),2_B)),1_A),((1_y,1_z),(((1_x,3_y),2_z),1_C))),(1_D,2_D)); (((((1_x,1_y),1_z),(1_B,2_B)),1_A),(1_D,2_D)); (((((2_x,2_y),2_z),1_B),1_A),((1_x,1_y),1_z)); (((1_z,(1_B,2_B)),1_A),((2_z,3_z),1_C)); (1_D,2_D); (((1_x,(1_z,2_z)),1_C),1_D); ((((((2_x,2_y),3_z),1_B),1_A),(((1_x,1_y),1_z),(2_A,3_A))),(((((3_x,3_y),(4_x,(4_y,5_y))),2_z),(2_C,3_C)),1_C)); ((((((((2_x,3_x),2_y),2_z),1_B),((((4_x,3_y),(5_x,4_y)),3_z),(2_B,3_B))),1_A),((2_A,3_A),(((1_x,1_y),1_z),1_C))),(1_D,(2_D,3_D))); (((1_x,1_y),1_z),(1_C,2_C)); ((((1_x,1_y),(2_z,3_z)),((2_x,2_y),1_z)),1_B); (((((2_x,2_y),1_B),1_A),(((3_x,3_y),1_z),1_C)),(((((4_x,4_y),2_z),(2_B,3_B)),2_A),((1_x,1_y),2_C))); (1_A,1_D); ((((1_y,1_z),1_B),1_A),(((2_z,((2_x,3_y),4_z)),1_C),((1_x,2_y),((5_z,6_z),3_z)))); (1_z,((((1_x,1_y),2_z),((2_x,2_y),3_z)),1_C)); (((((1_x,1_y),1_z),(1_B,2_B)),1_A),1_D); ((1_z,1_C),1_D); (1_A,1_D); ((((1_z,1_B),1_A),((1_y,2_z),(((1_x,2_y),3_z),1_C))),1_D); ((1_A,(2_A,(3_A,4_A))),1_D); (((((((((4_x,3_y),(5_x,4_y)),3_z),(3_B,4_B)),2_B),1_B),1_A),((((1_x,2_y),2_z),(1_C,2_C)),(((2_x,3_x),1_y),1_z))),1_D); ((1_z,2_z),1_C); ((((((2_x,(2_y,3_y)),2_z),1_A),1_C),(((1_x,1_y),1_z),2_C)),(1_D,(2_D,3_D))); ((((((2_x,2_y),(((4_x,5_x),3_x),3_y)),(2_z,3_z)),1_B),1_A),(((1_x,1_y),1_z),(1_C,(2_C,3_C)))); ((((((2_x,(3_z,4_z)),1_B),1_A),((1_x,(1_y,2_y)),1_C)),(((((5_x,3_y),2_z),2_B),2_A),(((3_x,4_x),1_z),2_C))),1_D); ((((2_x,1_y),1_z),1_B),(1_x,(2_z,3_z))); ((1_x,1_y),1_C); (((1_x,1_z),1_B),1_A); ((1_B,(((1_x,1_y),(1_z,2_z)),1_C)),1_D); ((((((2_x,2_y),2_z),1_B),1_A),((((3_x,3_y),3_z),(1_C,2_C)),((1_x,1_y),1_z))),1_D); (((((((3_x,4_x),2_x),1_y),1_z),(1_B,2_B)),((1_x,(2_z,3_z)),1_C)),1_D); ((((((2_x,2_y),2_z),1_B),(2_A,3_A)),(((((4_x,5_x),3_y),(3_x,4_y)),2_B),1_A)),(((1_x,1_y),1_z),1_C)); (1_D,2_D); (((((1_x,((3_z,4_z),2_z)),1_B),(1_A,2_A)),(1_z,(1_C,2_C))),((2_D,3_D),1_D)); (((1_B,1_A),((1_x,1_y),1_z)),(1_D,2_D)); (((1_z,1_B),(1_x,1_C)),1_D); ((((((2_x,2_y),1_z),1_B),1_A),(((1_x,1_y),(2_z,3_z)),1_C)),(1_D,(2_D,(3_D,4_D)))); ((((1_z,1_A),(((2_x,(2_y,3_y)),(3_x,1_y)),2_z)),(((1_x,4_z),1_C),(3_z,2_C))),1_D); ((((1_x,1_y),1_z),(1_B,2_B)),(1_A,((((2_x,2_y),2_z),(2_C,3_C)),(((3_x,3_y),3_z),1_C)))); ((((1_x,1_y),1_z),1_B),1_D); ((1_A,2_A),(((((2_x,2_y),2_z),1_C),(((3_x,3_y),((4_z,5_z),3_z)),2_C)),((1_x,1_y),1_z))); ((((1_B,2_B),(1_A,2_A)),((((1_x,2_y),1_z),1_C),((1_y,2_z),2_C))),1_D); (((((((2_x,3_y),1_y),2_z),1_B),(((1_x,2_y),3_z),2_B)),(1_z,1_C)),1_D); (((((2_x,2_y),2_z),1_B),((1_x,1_y),1_z)),1_D); ((((((2_x,2_y),((3_x,4_x),(3_y,4_y))),1_B),1_A),((1_x,1_y),(1_z,2_z))),1_D); (((((2_x,2_y),1_z),1_B),1_A),(((1_x,1_y),(2_z,3_z)),1_C)); (((1_x,1_y),(2_x,1_C)),(1_D,2_D)); ((((1_x,1_y),1_B),((2_A,3_A),1_A)),(1_D,2_D)); (((((((3_x,3_y),2_z),(1_B,2_B)),(1_A,2_A)),((((4_x,5_x),1_y),(4_A,5_A)),(((((6_x,7_x),6_y),5_z),3_B),3_A))),((((1_x,2_y),(3_z,4_z)),1_C),(((2_x,(4_y,5_y)),1_z),2_C))),(1_D,2_D)); ((((1_x,((3_y,4_y),2_y)),1_z),((2_x,3_x),1_y)),1_A); (((((2_x,1_y),1_z),1_B),1_A),(((1_x,(2_y,3_y)),(2_z,3_z)),1_C)); ((((1_x,1_y),(2_z,3_z)),1_B),((((2_x,3_x),(2_y,3_y)),1_z),1_C)); (((((1_x,1_y),(1_z,2_z)),1_B),1_A),1_D); (((((1_x,2_y),1_z),(1_B,2_B)),((1_y,2_z),1_C)),((1_D,(3_D,4_D)),(2_D,(5_D,6_D)))); ((1_A,((1_x,1_y),1_C)),(1_D,2_D)); ((((1_x,(1_y,2_y)),(1_z,2_z)),(1_C,2_C)),1_D); (((((((4_x,1_y),1_z),(3_x,((3_z,4_z),2_z))),1_B),1_C),((1_x,2_x),2_C)),1_D); ((((1_x,1_y),1_B),1_A),(((2_x,2_y),1_z),((3_x,3_y),2_z))); (((((1_y,1_z),1_B),1_A),(((1_x,2_y),1_C),(((2_x,3_y),2_z),2_C))),(1_D,2_D)); (((1_y,1_B),(((1_x,2_y),1_z),2_B)),1_A); ((((((1_x,1_y),((3_B,4_B),2_B)),1_A),((((4_y,5_y),3_z),1_B),(2_A,3_A))),((((2_x,2_y),1_z),((3_x,3_y),2_z)),(1_C,(2_C,3_C)))),1_D); ((1_A,(1_x,1_y)),1_D); ((((((2_z,3_z),1_B),((3_A,4_A),2_A)),((1_y,(2_B,3_B)),1_A)),(((1_x,2_y),1_z),(1_C,2_C))),1_D); ((((1_x,1_y),1_z),1_C),1_D); ((((1_x,1_y),1_z),1_B),1_D); ((((((2_x,1_y),1_B),1_A),((1_x,1_z),1_C)),(((((3_x,2_y),3_B),2_A),2_C),((((4_x,3_y),2_z),2_B),(((5_x,4_y),3_z),(3_C,4_C))))),1_D); ((((((((2_x,3_y),4_z),2_y),((1_x,(4_y,5_y)),3_z)),1_B),1_A),((1_y,(1_z,2_z)),1_C)),(1_D,2_D)); (((((2_x,2_y),((3_z,4_z),(5_z,6_z))),1_A),((1_x,1_y),(1_z,2_z))),(1_D,(2_D,3_D))); ((((1_x,1_y),1_z),1_B),1_A); ((((((2_x,3_y),2_z),(1_B,2_B)),1_A),((1_x,(1_y,2_y)),1_z)),1_D); ((((1_z,1_B),((2_x,(1_y,2_y)),2_B)),(1_x,(2_z,3_z))),(1_D,((3_D,4_D),2_D))); (1_x,1_z); ((((((1_x,2_y),(2_z,3_z)),1_B),1_A),((1_y,1_z),(1_C,2_C))),1_D); ((1_x,1_y),1_D); (((((1_x,1_y),1_z),1_B),1_A),(((((3_x,3_y),3_z),2_B),2_A),(((2_x,2_y),2_z),1_C))); ((((1_z,1_B),((2_A,3_A),1_A)),1_C),(1_D,2_D)); (((1_y,1_z),1_C),1_D); (((1_A,2_A),(((1_x,1_y),1_z),1_C)),1_D); (((1_x,1_y),1_A),(((2_x,2_y),1_z),1_C)); ((((((((5_x,6_x),3_y),3_z),2_B),1_A),((((4_x,4_y),4_z),3_B),2_A)),(((1_x,2_x),1_y),1_z)),((((3_x,2_y),2_z),1_B),1_C)); (((((2_x,2_y),1_z),(1_A,2_A)),((1_x,1_y),(2_z,3_z))),(1_D,2_D)); (((((((3_x,4_x),2_y),2_z),1_A),(1_z,1_C)),((1_x,1_y),(((2_x,3_y),(3_z,4_z)),2_C))),1_D); ((((((3_x,3_y),3_z),2_B),2_A),(((1_x,1_y),1_z),(1_C,2_C))),((((2_x,2_y),2_z),1_B),1_A)); ((((1_x,1_y),1_z),(2_z,(1_C,(2_C,3_C)))),(1_D,2_D)); ((((((2_x,3_y),2_z),2_B),1_B),(1_A,(2_A,3_A))),((((1_x,1_y),1_z),(1_C,2_C)),(((2_y,(3_x,4_y)),(3_z,4_z)),(3_C,(4_C,5_C))))); (((((1_x,1_y),1_z),1_A),((((2_x,2_y),2_z),2_C),1_C)),((1_D,2_D),(3_D,(4_D,5_D)))); ((1_A,((1_z,(2_z,3_z)),1_B)),((1_x,1_y),((2_C,3_C),1_C))); ((((1_y,((2_B,3_B),1_B)),1_A),(((((2_x,3_y),2_z),(((4_x,4_y),3_z),(3_x,(4_z,5_z)))),1_C),((1_x,2_y),1_z))),1_D); (1_A,1_D); ((((1_y,1_B),1_A),(((1_x,2_y),1_z),(1_C,2_C))),(1_D,2_D)); ((((2_y,2_z),1_B),1_A),(1_y,1_z)); (((1_z,2_z),((1_x,(3_z,4_z)),1_C)),1_D); ((((((4_x,4_y),(5_x,5_y)),(1_x,1_y)),1_z),(((2_x,2_y),(2_z,3_z)),1_C)),(((((((7_x,7_y),6_z),2_B),1_A),(1_B,(5_A,6_A))),((((6_x,6_y),5_z),4_z),2_C)),(((2_A,3_A),((((8_x,8_y),7_z),3_B),4_A)),((3_x,3_y),3_C)))); ((((((1_x,1_y),1_z),1_B),1_A),((((2_x,2_y),2_z),((3_x,3_y),(3_z,4_z))),1_C)),(1_D,(((5_D,6_D),2_D),(3_D,4_D)))); (((1_x,1_y),1_z),(1_D,(2_D,3_D))); ((((1_y,1_z),1_B),((((1_x,2_y),(2_x,3_y)),2_z),2_B)),1_D); ((((1_z,((1_x,1_y),2_z)),1_B),(((((3_x,3_y),(4_x,4_y)),(2_x,2_y)),(3_z,(4_z,5_z))),1_C)),1_D); ((1_x,1_z),1_C); ((((((1_x,1_y),1_z),1_B),1_A),((((2_x,2_y),2_z),2_B),(2_A,3_A))),1_D); ((1_B,1_A),((1_x,1_y),1_z)); ((1_B,2_B),(1_C,2_C)); ((((((2_x,2_y),1_z),(1_B,2_B)),1_A),(((1_x,1_y),(2_z,3_z)),1_C)),((2_D,3_D),1_D)); ((((1_x,1_y),1_z),1_C),(((2_x,2_y),(1_B,2_B)),((2_z,2_C),(((3_x,3_y),(3_z,4_z)),3_C)))); ((((((3_x,(3_y,4_y)),(2_z,3_z)),1_B),1_A),(((1_x,1_y),1_z),((2_x,2_y),1_C))),1_D); ((((((1_x,1_y),(3_z,4_z)),1_C),(((2_x,2_y),1_B),(((4_x,4_y),5_z),2_B))),(((((5_x,5_y),(6_x,6_y)),1_z),((3_B,4_B),(5_B,6_B))),(((3_x,3_y),2_z),2_C))),1_D); (((1_x,1_y),(1_z,2_z)),1_C); ((((1_x,(1_y,2_y)),1_z),1_A),((((2_x,3_y),(3_x,4_y)),2_z),1_C)); (1_x,1_y); (((1_x,1_y),1_z),1_D); ((((1_x,2_y),2_z),(1_B,2_B)),(1_y,1_z)); ((1_x,1_y),1_B); ((((((3_y,2_z),1_B),1_A),((1_z,2_B),2_A)),(((2_x,3_x),1_y),(1_x,2_y))),1_D); ((((1_y,(2_z,3_z)),1_B),1_A),(1_z,1_C)); (((1_x,2_x),1_B),1_C); ((((((1_x,1_y),(3_z,4_z)),1_B),1_A),(((2_z,((2_x,(2_y,3_y)),5_z)),1_z),1_C)),(1_D,2_D)); (((((1_x,1_y),1_z),1_B),1_A),1_D); (((((1_x,1_y),1_z),1_B),(1_A,2_A)),(1_D,2_D)); (((((1_y,2_z),1_B),1_A),(((1_x,2_y),1_z),1_C)),1_D); ((((((1_x,1_y),2_z),2_B),1_B),(1_A,2_A)),(1_z,(1_C,2_C))); ((((1_x,1_y),1_z),(1_A,2_A)),(((2_x,2_y),(2_z,(3_z,4_z))),(1_C,2_C))); (1_B,(((1_x,1_y),(1_z,2_z)),(1_C,2_C))); ((((1_x,1_y),1_z),1_A),(1_D,(2_D,3_D))); ((((1_x,1_z),1_B),(1_A,2_A)),1_D); ((((((2_x,3_y),(3_x,4_y)),1_B),1_A),(((1_x,2_y),1_y),1_z)),1_D); (1_D,2_D); ((((((2_x,2_y),1_z),1_B),(1_A,2_A)),((1_x,1_y),(1_C,2_C))),1_D); ((((((2_z,3_z),2_B),1_B),1_A),(((1_x,1_y),1_z),1_C)),(1_D,2_D)); ((1_B,(1_A,2_A)),1_D); (((1_x,1_z),1_A),(((2_x,1_y),2_z),1_C)); (1_x,(1_y,2_y)); (((1_z,1_B),1_A),(1_x,1_y)); (((((1_x,1_y),1_B),1_A),(((2_x,2_y),(1_z,2_z)),1_C)),1_D); (((1_x,1_y),(1_B,2_B)),(((2_x,2_y),1_z),(1_C,2_C))); ((((1_y,1_z),((1_x,2_y),2_z)),(1_B,2_B)),1_A); (1_A,((1_x,1_y),1_C)); ((((((1_x,1_y),1_z),((2_x,2_y),2_z)),1_B),(1_A,(((4_A,5_A),(6_A,7_A)),(2_A,3_A)))),(1_D,2_D)); (((((((2_x,2_y),2_z),1_B),1_A),(((((4_x,5_x),3_y),(3_x,4_y)),2_B),2_A)),((1_x,1_y),1_z)),(1_D,2_D)); ((((((1_x,(3_y,4_y)),(3_z,(4_z,5_z))),((2_x,2_y),2_z)),1_B),((((3_x,4_x),1_y),1_z),1_C)),1_D); (((((1_x,(2_y,3_y)),1_B),1_A),((1_z,(1_C,2_C)),((2_x,1_y),2_z))),(1_D,2_D)); (((1_z,1_B),(1_x,1_y)),((2_D,3_D),1_D)); (((((1_x,1_y),1_z),1_B),(1_C,2_C)),(1_D,(2_D,(3_D,4_D)))); (((((2_x,3_x),1_y),(1_x,2_y)),1_z),(1_D,2_D)); (((((1_x,1_y),3_z),1_B),(1_z,2_z)),1_D); ((((((3_x,3_y),(4_x,5_x)),1_z),1_B),(((1_x,1_y),2_B),((2_x,2_y),2_z))),1_D); ((((1_y,(2_z,3_z)),2_B),1_B),(((((1_x,2_y),4_z),((2_x,3_y),5_z)),(((3_x,4_y),(4_x,5_y)),1_z)),1_C)); ((((((1_x,1_y),(2_z,3_z)),1_B),1_A),(((((4_x,4_y),4_z),((5_x,5_y),5_z)),1_C),(((2_x,2_y),(3_x,3_y)),1_z))),1_D); ((1_A,(((((1_x,2_y),(2_x,3_x)),1_z),1_C),((1_y,2_z),2_C))),(1_D,2_D)); (((1_y,1_z),((1_x,2_y),2_z)),((2_D,3_D),1_D)); ((((((1_x,2_x),1_y),1_z),1_B),1_C),1_D); (((((((2_x,3_x),2_y),((4_x,5_x),3_y)),(2_z,3_z)),1_B),1_A),(((1_x,1_y),1_z),1_C)); ((((1_x,1_z),1_B),((2_x,1_y),(2_z,3_z))),((2_D,3_D),1_D)); ((((1_x,1_y),1_z),1_A),(((2_x,2_y),2_z),(1_C,2_C))); ((((((2_x,2_y),3_z),1_B),(((3_x,3_y),4_z),2_B)),1_A),(((1_x,1_y),(1_z,2_z)),1_C)); (((1_x,1_y),1_z),1_D); ((((1_x,(2_z,3_z)),(1_A,2_A)),(((2_x,1_y),1_z),(1_C,2_C))),(1_D,2_D)); (((((1_x,1_y),1_z),(1_B,2_B)),((((3_x,3_y),3_z),3_B),1_A)),((((2_x,2_y),2_z),1_C),((((4_x,4_y),4_z),(5_z,6_z)),2_C))); ((1_A,(1_x,1_y)),(1_D,2_D)); ((1_x,1_y),1_z); (((1_x,1_y),(1_z,2_z)),1_B); (((((((2_x,3_y),4_z),2_B),(1_A,2_A)),((1_z,2_z),1_C)),((((((4_x,5_x),4_y),(3_x,5_y)),3_z),1_B),(1_x,(1_y,2_y)))),1_D); ((1_A,((((1_x,1_y),1_z),((2_x,2_y),(2_z,3_z))),1_C)),(1_D,(2_D,3_D))); ((((((1_x,1_y),1_z),1_B),(1_A,2_A)),1_C),1_D); (((((1_x,1_y),1_z),1_A),(((((3_x,3_y),(4_x,4_y)),2_z),(2_x,2_y)),(1_C,2_C))),(1_D,2_D)); ((((((2_x,1_y),1_x),(1_z,2_z)),1_C),(((((3_x,2_y),(3_z,4_z)),1_B),1_A),2_C)),1_D); ((((((2_x,2_y),(3_z,4_z)),1_B),(1_A,2_A)),(((1_x,1_y),(1_z,2_z)),1_C)),(1_D,2_D)); ((((((4_x,4_y),(5_x,5_y)),1_z),1_A),(((2_x,2_y),2_z),(((6_x,7_x),3_y),3_z))),(((1_x,1_y),2_A),(((3_x,4_z),((8_x,6_y),(5_z,6_z))),1_C))); (((((1_x,(2_y,3_y)),2_z),1_B),1_A),((1_y,1_z),((((2_x,4_y),3_z),(((3_x,5_y),(4_x,6_y)),4_z)),1_C))); (((((1_x,1_y),2_z),1_B),(((2_x,2_y),(3_x,3_y)),1_z)),1_D); (((1_x,1_B),(1_A,2_A)),((((2_x,2_y),(1_z,2_z)),1_C),(1_y,(2_C,3_C)))); ((((2_x,2_y),1_z),1_B),((1_x,1_y),1_C)); ((((((3_x,2_y),2_z),1_B),(1_A,2_A)),(((1_x,2_x),1_y),1_z)),1_D); (((((1_x,1_y),1_z),1_A),(((2_x,2_y),2_z),1_C)),1_D); ((((((1_x,2_x),1_y),1_z),1_A),((((3_x,2_y),2_z),1_C),(((4_x,3_y),3_z),2_C))),1_D); ((((1_A,2_A),(3_A,4_A)),(((1_y,((4_z,5_z),1_z)),1_C),(((1_x,2_y),(2_z,3_z)),2_C))),1_D); (((((1_x,1_y),1_z),1_B),(((2_x,2_y),2_z),2_B)),(1_A,2_A)); ((((2_z,1_B),(1_A,2_A)),1_C),(((((2_x,2_y),3_z),2_B),(3_A,4_A)),((1_x,1_y),1_z))); ((((1_y,1_z),1_B),(((1_x,2_y),2_z),((2_C,3_C),1_C))),(1_D,(2_D,3_D))); (((((2_x,(3_x,2_y)),(1_z,2_z)),1_B),((1_x,1_y),1_C)),1_D); (((((2_x,(3_y,4_y)),1_z),1_B),((2_A,3_A),1_A)),((((3_x,((6_y,7_y),5_y)),1_C),((((6_x,8_y),(7_x,9_y)),2_z),2_C)),((1_x,1_y),((4_x,5_x),2_y)))); ((((2_B,3_B),1_B),1_A),((((1_x,1_y),1_z),1_C),((((2_x,2_y),(2_z,3_z)),((3_x,3_y),(4_z,5_z))),2_C))); (1_D,2_D); (1_D,2_D); (1_D,(2_D,3_D)); ((((((3_x,2_y),3_z),(((4_x,5_y),(5_x,6_y)),4_z)),(1_B,2_B)),1_A),((((1_x,1_y),1_z),((2_x,(3_y,4_y)),2_z)),1_C)); ((1_z,1_B),1_C); ((((((1_y,(3_x,4_y)),2_z),(1_B,2_B)),1_A),((((1_x,2_y),(2_x,3_y)),1_z),(1_C,2_C))),1_D); (1_D,2_D); (((1_z,(((3_x,2_y),4_z),1_B)),(1_A,2_A)),(((1_x,2_z),(3_A,4_A)),(((2_x,1_y),3_z),1_C))); ((((1_x,1_y),1_z),1_B),(((((4_x,4_y),(5_x,5_y)),(2_x,2_y)),2_z),(((3_x,3_y),3_z),1_C))); (((1_x,1_y),((((2_x,3_x),3_y),1_z),1_C)),(((1_B,2_B),(1_A,2_A)),((2_y,2_z),2_C))); ((((((2_x,2_y),2_z),1_B),(1_A,2_A)),((1_x,1_y),1_z)),1_D); (((((1_x,2_x),1_y),1_B),((((3_x,2_y),(4_x,3_y)),(1_z,2_z)),(1_C,2_C))),1_D); (((((3_x,3_y),2_z),1_B),((1_x,1_y),1_z)),(((2_x,2_y),(3_z,4_z)),1_C)); (((1_x,1_y),1_z),1_C); ((1_z,(1_B,2_B)),(((1_x,1_y),2_z),1_C)); ((1_B,2_B),1_D); ((((1_x,1_y),1_z),1_B),1_D); ((((1_B,2_B),(1_y,1_z)),(((1_x,2_y),2_z),1_C)),1_D); (((((2_x,2_y),1_z),1_B),((1_x,1_y),1_C)),1_D); ((((((2_x,2_y),(2_z,3_z)),1_A),((((3_x,3_y),4_z),(1_B,2_B)),2_A)),(((1_x,1_y),1_z),1_C)),(1_D,2_D)); ((((1_B,2_B),(1_A,2_A)),((((1_x,1_y),1_z),(((2_x,2_y),(3_x,(3_y,4_y))),2_z)),((1_C,2_C),(3_C,(4_C,5_C))))),((2_D,3_D),1_D)); (((1_x,1_y),1_z),1_C); (((1_x,1_y),(1_B,2_B)),((2_x,2_y),1_z)); (((1_B,(1_A,2_A)),(((1_x,1_y),1_z),1_C)),1_D); ((((((1_x,1_y),1_z),1_B),((((4_x,4_y),4_z),((((7_x,5_y),(8_x,6_y)),(5_x,6_x)),5_z)),1_A)),((((2_x,2_y),2_z),1_C),(((3_x,3_y),3_z),(2_C,3_C)))),(1_D,2_D)); ((((((2_x,2_y),1_z),(1_B,2_B)),1_A),((1_x,1_y),1_C)),1_D); (((((1_x,(3_x,1_y)),1_z),1_A),(((2_x,(3_z,4_z)),(((4_x,5_x),(2_y,3_y)),2_z)),1_B)),(1_D,2_D)); (((((1_x,1_y),(2_z,(((5_z,6_z),4_z),3_z))),(1_A,2_A)),(((2_x,2_y),1_z),1_C)),1_D); (((((2_x,2_y),(3_x,3_y)),(1_z,2_z)),(1_A,2_A)),(((1_x,1_y),(2_C,3_C)),1_C)); ((((((((1_x,(4_y,5_y)),(2_x,1_y)),2_z),(1_B,2_B)),(1_A,2_A)),(((((((5_x,6_y),5_z),((6_x,7_y),6_z)),3_B),((3_x,2_y),3_z)),3_A),((((4_x,3_y),4_z),(4_B,(5_B,6_B))),4_A))),1_z),1_D); ((((((2_x,3_x),2_y),(1_z,2_z)),1_A),(((((5_x,3_y),4_x),3_z),(1_C,2_C)),(1_x,1_y))),((2_D,3_D),1_D)); ((((2_x,2_y),2_z),1_A),((1_x,1_y),1_z)); ((((2_x,1_y),(((3_B,4_B),2_B),1_B)),(1_x,((2_z,3_z),1_z))),(1_D,2_D)); (((((2_x,2_y),2_z),1_B),((3_z,2_B),(1_A,2_A))),(((1_x,1_y),1_z),1_C)); ((((1_B,2_B),(1_A,2_A)),(1_C,2_C)),(1_D,((3_D,4_D),2_D))); (1_z,1_B); (1_z,((1_y,2_y),1_C)); ((((((1_x,2_y),2_z),1_B),(1_A,2_A)),((((2_x,3_x),1_y),1_z),(1_C,2_C))),1_D); (((((((3_x,(4_y,5_y)),(4_x,3_y)),1_z),(2_B,3_B)),(1_A,2_A)),((((2_x,2_y),2_z),1_B),((1_x,1_y),(3_z,4_z)))),1_D); ((((1_x,1_y),(2_z,3_z)),(1_A,2_A)),(((2_x,(2_y,3_y)),1_z),((2_C,3_C),1_C))); ((1_A,(((1_x,1_y),(1_z,2_z)),1_C)),1_D); (((((1_x,2_z),1_B),(1_A,((3_A,4_A),2_A))),(((2_x,1_y),1_z),1_C)),1_D); (((((1_x,(2_y,3_y)),(3_z,4_z)),(((3_x,4_y),(5_z,6_z)),1_z)),(((2_x,1_y),2_z),1_C)),1_D); ((((1_x,1_y),1_z),1_B),((((2_x,2_y),(3_x,3_y)),((3_z,4_z),2_z)),1_C)); ((((1_B,2_A),(((1_x,1_y),1_z),1_C)),1_A),(1_D,2_D)); ((((((2_x,2_y),1_z),1_B),((2_A,3_A),1_A)),(((1_x,1_y),1_C),((((3_x,3_y),2_z),((((5_x,5_y),(6_x,6_y)),(4_x,4_y)),3_z)),(2_C,3_C)))),1_D); (((((2_x,2_y),2_z),(1_B,2_B)),(1_A,2_A)),(((1_x,1_y),1_z),1_C)); ((((((2_x,(5_y,6_y)),2_z),1_B),1_A),((1_x,1_y),1_z)),(((((3_x,2_y),3_z),2_B),2_A),(((((6_x,7_y),5_z),(4_x,3_y)),1_C),(((5_x,4_y),4_z),2_C)))); (((((3_x,2_y),1_z),1_B),((1_x,1_y),2_B)),(((2_x,3_B),1_A),((2_z,1_C),(((4_x,3_y),3_z),(2_C,3_C))))); ((((((2_x,2_y),(1_z,2_z)),((2_B,3_B),1_B)),1_A),((1_x,1_y),1_C)),1_D); (((1_y,(2_z,3_z)),1_B),(((1_x,2_y),1_z),1_C)); (((((1_x,1_y),1_B),1_A),(((2_x,2_y),1_z),1_C)),(1_D,2_D)); ((((((1_x,1_y),(1_z,2_z)),2_B),(1_A,2_A)),(1_B,((4_A,5_A),3_A))),(1_D,(2_D,3_D))); (((((1_x,2_x),1_y),(1_z,2_z)),(((3_x,2_y),3_z),1_C)),1_D); (((1_x,1_z),(1_C,2_C)),1_D); (((((2_x,1_y),2_z),1_B),1_A),(((1_x,(2_y,3_y)),1_z),1_C)); (((((1_x,1_y),1_z),(((3_x,3_y),2_z),(2_x,2_y))),1_B),1_D); (((((2_z,3_z),1_B),(1_A,2_A)),((1_x,1_y),1_z)),1_D); (((((3_x,3_y),2_z),1_B),((2_x,2_y),(1_A,2_A))),((1_x,1_y),1_z)); ((((((3_x,4_x),1_y),1_z),1_B),(((1_x,2_y),(2_x,3_y)),1_C)),1_D); ((((((2_x,2_y),2_z),1_A),((3_z,(1_B,2_B)),2_A)),(((1_x,1_y),1_z),1_C)),1_D); (1_D,2_D); ((1_B,1_A),1_D); (((((2_x,2_y),2_z),(1_B,2_B)),1_A),(((1_x,1_y),1_z),1_C)); ((((2_x,1_y),2_z),1_B),(1_x,1_z)); ((((1_x,(2_z,3_z)),1_A),(((2_x,1_y),1_z),1_C)),(1_D,2_D)); ((((2_x,2_y),1_z),(1_A,2_A)),((1_x,1_y),1_C)); ((((1_x,1_y),1_z),1_B),(((2_x,2_y),2_z),(((3_y,3_z),((3_x,4_y),4_z)),1_C))); ((((2_z,3_z),1_B),((2_A,3_A),1_A)),(((1_x,1_y),1_z),(1_C,(2_C,3_C)))); (1_D,((3_D,4_D),2_D)); ((((((2_x,3_y),3_z),(2_B,3_B)),(((3_x,4_y),(4_z,5_z)),1_B)),(1_A,(2_A,3_A))),((((((5_x,(6_x,7_x)),4_x),1_y),1_z),1_C),(((1_x,2_y),2_z),2_C))); ((((1_x,1_y),1_z),1_C),(1_D,2_D)); (((1_y,(1_B,2_B)),(((1_x,2_y),1_z),1_C)),1_D); (((((((3_x,4_x),2_y),2_z),1_B),((2_x,3_z),(2_B,3_B))),(1_A,2_A)),((1_x,1_y),1_z)); ((((((2_x,2_y),1_z),(2_B,3_B)),((((3_x,3_y),((4_x,5_x),4_y)),2_z),1_B)),(((1_x,1_y),(3_z,4_z)),(1_C,2_C))),(1_D,2_D)); ((((((((3_x,(5_x,6_x)),2_y),3_z),1_B),(((2_x,3_y),4_z),(((4_x,4_y),5_z),2_B))),1_A),(((1_x,1_y),(1_z,2_z)),1_C)),1_D); (((((1_y,2_z),1_B),1_A),(((1_x,2_y),1_z),1_C)),1_D); (((((1_x,(2_y,3_y)),1_B),1_A),(((2_x,1_y),1_z),(1_C,2_C))),1_D); ((((((((3_x,6_y),4_z),2_B),(1_x,2_y)),(1_A,2_A)),(((3_y,4_y),1_z),1_C)),((((2_x,5_y),2_z),1_B),((1_y,3_z),2_C))),1_D); (1_D,2_D); (((1_B,(((2_x,2_y),(2_z,3_z)),((3_x,3_y),1_z))),(1_x,1_y)),1_D); (((1_z,1_B),(((1_x,1_y),2_z),1_C)),(1_D,2_D)); (((((((2_x,2_y),3_z),(2_B,3_B)),(((3_x,3_y),4_z),1_B)),(1_A,((3_A,4_A),2_A))),((((1_x,1_y),1_z),1_C),((2_z,(((4_x,5_x),4_y),5_z)),2_C))),1_D); ((((((3_x,2_y),2_z),1_B),1_A),(((1_x,2_x),1_y),1_z)),(1_D,(2_D,3_D))); (((1_x,1_y),1_C),1_D); (((((((2_x,3_x),2_y),1_z),(((4_x,3_y),(4_z,(6_z,7_z))),2_C)),((((5_x,(6_y,7_y)),(6_x,4_y)),2_z),(1_B,2_B))),(((((7_x,5_y),3_z),((((8_x,8_y),(9_x,9_y)),5_z),3_B)),1_A),((1_x,1_y),1_C))),1_D); ((((((3_x,2_y),2_z),((4_x,3_y),3_z)),1_B),(1_A,2_A)),((((1_x,2_x),1_y),1_z),(1_C,2_C))); (1_A,1_D); (((((1_x,1_z),1_B),(((2_x,1_y),(2_z,3_z)),2_B)),(1_A,(2_A,3_A))),1_D); ((((((1_x,(3_y,4_y)),(2_x,1_y)),1_z),1_C),((((2_y,2_z),1_B),((((5_y,(4_x,7_y)),(3_x,6_y)),3_z),2_B)),(1_A,2_A))),((1_D,2_D),(3_D,4_D))); ((1_B,(1_C,2_C)),1_D); ((((((2_x,2_y),2_z),1_B),(1_A,2_A)),(((1_x,1_y),1_z),(1_C,2_C))),1_D); ((1_x,1_z),1_C); ((1_x,(1_z,2_z)),1_B); (((((1_x,2_z),1_A),(((3_x,2_y),3_z),1_C)),(((2_x,1_y),1_z),(((4_x,3_y),4_z),2_C))),1_D); (((((1_B,(2_B,3_B)),(2_A,3_A)),1_A),1_C),1_D); (((((2_y,1_z),(1_B,2_B)),1_A),1_y),1_D); (((((1_x,1_y),2_z),1_B),1_A),(1_z,1_C)); (((1_x,1_y),1_B),((2_x,2_y),(1_z,2_z))); (((((2_x,2_y),1_z),1_B),(1_A,2_A)),(((1_x,1_y),(2_z,3_z)),1_C)); (((((2_x,3_x),1_y),1_B),((1_x,1_z),((2_C,3_C),1_C))),1_D); ((((1_x,1_y),1_z),((((2_x,3_x),2_y),2_z),1_C)),(1_D,(2_D,3_D))); (((((2_x,2_y),1_z),1_B),(1_A,(2_A,3_A))),(((1_x,1_y),(2_z,3_z)),1_C)); (((((2_x,2_y),1_z),1_B),1_A),(((1_x,1_y),(2_z,3_z)),1_C)); (((1_x,1_y),1_z),(1_A,2_A)); (((((1_y,1_z),1_B),1_A),(((1_x,2_y),1_C),(((2_x,3_y),2_z),2_C))),1_D); ((((1_x,1_y),((2_z,3_z),1_z)),1_C),1_D); ((((((2_x,2_y),1_z),1_B),1_A),(((1_x,1_y),(2_z,3_z)),(1_C,2_C))),1_D); ((((((1_x,(4_y,5_y)),1_z),1_B),1_A),((((2_x,1_y),(((6_z,7_z),3_z),(4_z,5_z))),((2_y,3_y),2_z)),1_C)),(1_D,2_D)); (((1_z,((1_A,(4_A,5_A)),(2_A,3_A))),((1_x,1_y),2_z)),(1_D,2_D)); ((((1_x,(2_y,3_y)),1_C),((2_x,1_y),1_z)),1_D); ((((((1_x,1_y),1_B),1_A),(((2_x,2_y),1_z),1_C)),((((3_x,3_y),(2_z,3_z)),((3_A,(4_A,(5_A,6_A))),2_A)),((2_C,3_C),(((4_x,((5_y,6_y),4_y)),4_z),(4_C,5_C))))),(1_D,2_D)); ((((1_x,1_y),1_B),1_A),(((2_x,2_y),1_z),1_C)); (((((1_x,1_y),1_z),1_B),1_A),(1_D,2_D)); ((((1_x,1_y),1_z),1_B),(((2_x,2_y),(2_z,3_z)),1_C)); (((((1_x,1_y),1_z),1_B),1_A),1_D); ((((1_x,1_y),1_z),1_A),1_D); (((((1_x,1_y),3_z),1_A),(1_z,2_z)),(1_D,((3_D,(4_D,5_D)),2_D))); (1_A,(((1_x,1_y),1_z),1_C)); ((((((((3_x,3_y),2_z),((4_x,4_y),3_z)),1_B),(2_A,3_A)),(1_x,1_y)),(1_A,(((((5_x,5_y),4_z),2_B),4_A),(((2_x,2_y),1_z),1_C)))),1_D); ((((((2_x,2_y),(4_z,5_z)),(1_B,2_B)),(1_A,2_A)),(((1_x,1_y),(2_z,3_z)),1_z)),1_D); (((1_x,1_B),(1_A,(2_A,(3_A,4_A)))),1_D); (((((2_x,2_y),2_z),((2_B,3_B),1_B)),1_A),(((1_x,1_y),1_z),((2_C,3_C),1_C))); ((((1_x,1_y),(1_z,(3_z,4_z))),((2_B,3_B),(4_B,5_B))),((((2_x,2_y),2_z),1_B),1_A)); (((1_y,(1_z,(4_z,5_z))),1_A),(((1_x,(2_y,3_y)),(2_z,3_z)),(1_C,2_C))); ((1_z,(1_A,2_A)),(((1_x,1_y),2_z),1_C)); ((((((2_x,(3_y,4_y)),(3_x,2_y)),2_z),1_B),1_A),(((1_x,1_y),1_z),1_C)); (((((1_x,1_y),(1_z,2_z)),(1_B,2_B)),1_C),1_D); ((((((2_y,3_y),3_z),(1_B,2_B)),1_A),((1_x,1_y),(1_z,2_z))),1_D); ((((1_x,1_y),1_z),1_C),1_D); ((((((1_x,2_y),2_z),1_B),1_A),((1_y,1_z),1_C)),1_D); ((((1_y,1_z),1_B),((2_y,(2_z,(3_z,4_z))),1_C)),(1_D,2_D)); (((1_A,2_A),((1_x,1_y),1_C)),1_D); ((((1_x,1_y),(1_z,2_z)),1_B),1_D); (((1_x,1_y),(1_z,2_z)),(1_A,((3_A,4_A),2_A))); (((((1_x,2_x),1_y),1_z),1_B),((((3_x,2_y),((4_x,3_y),2_z)),(2_C,3_C)),((((5_x,4_y),3_z),(((6_x,5_y),5_z),4_z)),1_C))); ((((((3_x,4_x),2_y),(2_z,3_z)),(1_B,((3_B,4_B),2_B))),1_A),((((2_x,3_y),(4_z,5_z)),(1_C,2_C)),((1_x,1_y),1_z))); ((((1_x,1_y),1_z),1_A),((((2_x,2_y),2_z),((3_y,4_y),3_z)),1_C)); (((((((2_x,2_y),2_z),1_B),2_A),(((1_x,1_y),1_z),1_C)),(1_A,(((((4_x,5_x),3_y),3_z),2_C),(((3_x,4_y),4_z),3_C)))),(1_D,2_D)); ((2_D,3_D),1_D); ((((((2_x,3_y),1_z),(2_z,1_y)),1_B),(((1_x,2_y),(3_z,4_z)),1_C)),(1_D,2_D)); ((((((1_x,1_y),1_z),1_B),((2_A,3_A),1_A)),((((2_y,2_z),(2_C,(5_C,6_C))),(((2_x,3_y),3_z),(3_C,4_C))),1_C)),(1_D,2_D)); (((((((2_x,2_y),(5_z,6_z)),1_B),1_A),((((3_x,3_y),2_z),2_B),2_A)),(((1_x,1_y),((3_z,4_z),1_z)),1_C)),1_D); ((((1_x,1_z),1_B),(((2_x,1_y),2_z),1_C)),1_D); (((((((2_x,1_y),3_z),1_B),1_A),(1_z,1_C)),((((1_x,(2_y,3_y)),2_z),(2_B,3_B)),(2_C,3_C))),(1_D,2_D)); ((1_A,1_z),1_D); (((((((5_x,3_y),3_z),1_B),1_A),(((1_x,1_y),(4_z,5_z)),((2_x,2_y),1_z))),((((3_x,6_z),2_B),2_A),(((4_x,7_z),1_C),(2_z,2_C)))),(1_D,(2_D,3_D))); ((((2_y,(1_z,2_z)),(1_B,2_B)),1_A),((1_x,1_y),1_C)); (((((2_x,2_y),1_z),(1_B,2_B)),1_A),((1_x,1_y),1_C)); ((((((4_x,4_y),1_B),(1_x,1_y)),(1_A,2_A)),(((2_x,2_y),(3_x,3_y)),1_C)),(1_D,(2_D,3_D))); ((((((2_x,1_y),1_z),1_B),1_A),(((1_x,(3_z,4_z)),1_C),(((3_x,(2_y,3_y)),2_z),2_C))),1_D); ((((((1_x,2_x),1_y),1_z),1_B),(1_A,2_A)),(1_D,2_D)); (((((1_x,1_y),(1_z,2_z)),1_B),(((2_x,2_y),(3_z,4_z)),1_C)),(1_D,2_D)); ((1_B,(((1_x,1_y),1_z),(1_C,2_C))),1_D); ((((((1_x,1_y),2_z),((2_B,(3_B,4_B)),1_B)),(1_A,2_A)),(1_z,1_C)),1_D); (((1_z,1_B),1_A),((1_D,2_D),(3_D,4_D))); ((((1_x,1_y),1_z),1_B),1_A); ((((1_B,2_B),(1_A,2_A)),((((1_x,1_y),1_z),((2_x,2_y),2_z)),1_C)),(1_D,2_D)); ((((1_B,2_B),1_A),1_C),1_D); ((((((((3_x,(5_x,6_x)),3_z),2_B),(((4_x,3_y),(4_z,5_z)),(3_B,4_B))),1_A),((((2_x,2_y),2_z),1_B),2_A)),(((1_x,1_y),1_z),1_C)),1_D); ((((1_x,1_z),1_A),((2_x,1_y),1_C)),(1_D,2_D)); (((1_z,1_B),1_A),(1_D,(2_D,(3_D,4_D)))); (((1_B,(2_B,3_B)),1_A),((1_x,1_z),1_C)); ((((((3_x,3_y),(4_z,5_z)),((((((7_x,8_x),6_x),5_y),(5_x,6_y)),(6_z,7_z)),(2_B,3_B))),(1_A,2_A)),(((2_x,2_y),2_z),(((4_x,4_y),3_z),1_B))),((1_x,1_y),1_z)); ((((1_x,1_y),1_z),1_C),(1_D,(2_D,3_D))); ((((1_x,(1_y,2_y)),1_B),(((2_x,3_y),1_z),1_C)),1_D); ((((((3_x,3_y),(4_x,4_y)),1_B),((2_x,2_y),2_z)),(1_A,(2_A,3_A))),(((1_x,1_y),1_z),((2_C,3_C),1_C))); ((((((1_x,1_y),(2_x,(2_y,3_y))),1_z),1_B),(1_A,((3_A,4_A),2_A))),1_D); ((((2_x,2_y),1_z),(1_B,2_B)),((1_x,1_y),1_C)); ((((((2_x,2_y),2_z),1_B),1_A),((1_x,1_y),1_z)),1_D); (1_C,((2_D,3_D),1_D)); (((1_x,2_x),1_y),((((3_x,2_y),2_z),1_z),1_C)); (((((((3_x,4_x),2_y),((5_x,3_y),((6_x,4_y),2_z))),1_B),(1_A,2_A)),((1_x,1_z),(2_x,1_y))),((2_D,3_D),1_D)); ((((1_x,1_z),1_A),(((1_y,(2_x,2_y)),2_z),(1_C,2_C))),((2_D,3_D),1_D)); (((((1_x,1_y),2_z),(1_B,2_B)),1_A),(((((3_x,4_x),2_y),(2_x,3_y)),1_z),1_C)); ((((((((3_x,3_y),2_z),((((5_x,4_y),(6_x,5_y)),(4_x,(6_y,(7_y,8_y)))),3_z)),(2_x,2_y)),1_B),1_A),((1_x,1_y),1_z)),1_D); ((((((2_x,1_y),2_z),1_A),((((4_x,3_y),3_z),2_C),((3_x,2_y),3_C))),((1_x,1_z),1_C)),1_D); ((((2_x,1_y),1_z),1_B),((1_x,2_z),1_C)); (((1_z,1_A),(1_y,2_z)),1_D); (((((((4_x,4_y),2_z),3_B),((1_x,2_y),(4_B,5_B))),(((2_x,(5_y,6_y)),(3_x,3_y)),2_B)),(1_B,1_A)),(1_y,1_z)); (((1_x,1_y),(1_z,2_z)),1_C); ((((((1_x,2_y),2_z),(1_B,2_B)),(((((4_x,5_x),3_y),3_z),3_B),1_A)),((((2_x,3_x),1_y),1_z),(1_C,2_C))),1_D); ((((((2_x,2_y),(3_x,3_y)),1_z),(1_C,(2_C,3_C))),(((((4_x,5_x),4_y),(4_z,5_z)),1_B),((1_x,1_y),(2_z,3_z)))),1_D); ((((1_x,1_y),1_z),((2_y,3_y),(2_z,3_z))),1_D); ((((1_x,2_z),1_B),(((1_y,2_y),3_z),2_B)),((((2_x,3_y),(3_x,4_y)),1_z),1_C)); (((((1_x,2_x),1_y),1_z),1_C),1_D); (((((1_x,1_z),1_B),1_A),(((((3_x,1_y),(4_z,5_z)),((4_x,2_y),3_z)),2_A),(((2_x,(3_y,4_y)),2_z),1_C))),1_D); ((1_A,((1_x,1_y),1_C)),1_D); (((((((3_x,4_y),3_z),1_B),1_A),(((1_x,1_y),1_z),1_C)),((((2_x,2_y),(4_z,5_z)),2_C),(((((5_x,6_x),4_x),3_y),2_z),(3_C,4_C)))),1_D); ((((((2_x,1_y),(2_z,3_z)),(1_B,2_B)),(1_A,(2_A,3_A))),(1_x,1_z)),(1_D,(2_D,3_D))); (((((1_x,1_y),1_z),(1_B,2_B)),1_A),1_C); ((((((2_x,1_y),2_z),((2_y,3_z),(1_B,(2_B,(3_B,4_B))))),1_A),(((1_x,(3_y,4_y)),1_z),(1_C,2_C))),1_D); ((((1_x,(1_y,2_y)),1_A),((2_x,(3_y,4_y)),1_C)),1_D); ((((((1_x,1_y),2_z),1_B),1_A),(1_z,1_C)),(1_D,2_D)); ((((((((2_x,3_y),3_z),2_B),1_A),(((((3_x,4_x),4_y),4_z),3_B),2_A)),(1_y,1_z)),(((1_x,2_y),2_z),1_B)),1_D); (((((((2_x,2_y),1_z),1_B),1_A),((((3_x,3_y),2_z),(2_B,3_B)),2_A)),((1_x,1_y),1_C)),1_D); ((((1_z,(1_B,2_B)),1_A),(((1_x,1_y),2_z),1_C)),(1_D,2_D)); (((((((4_x,5_x),4_y),2_z),((3_x,5_y),3_z)),1_B),1_A),((((2_x,1_y),1_z),(1_x,(2_y,3_y))),1_C)); ((((((2_x,(3_y,4_y)),1_y),(1_z,(2_z,(3_z,4_z)))),1_B),(((1_x,2_y),2_B),((2_A,3_A),1_A))),(1_C,2_C)); (((((((2_x,3_y),1_z),1_B),1_A),1_C),(1_y,(1_x,2_y))),(1_D,2_D)); ((((((3_x,1_y),2_z),(2_x,3_z)),1_B),1_A),((1_x,1_z),(1_C,2_C))); (((1_x,1_y),1_B),((((2_y,(4_z,5_z)),((4_x,4_y),3_z)),(((5_x,6_x),2_x),1_z)),(((3_x,3_y),2_z),1_C))); (((((1_x,2_x),1_y),(((3_x,2_y),1_z),(1_C,2_C))),(((((5_x,4_y),3_z),(1_B,2_B)),(1_A,2_A)),(((4_x,3_y),2_z),(3_C,4_C)))),(1_D,2_D)); (((((2_x,(3_x,4_x)),1_y),1_z),(1_B,(2_B,3_B))),(((1_x,2_y),2_z),(1_C,2_C))); ((1_x,1_y),1_B); ((((((2_x,2_y),(1_z,2_z)),1_B),1_A),((1_x,1_y),1_C)),(1_D,2_D)); ((((1_x,1_y),1_z),1_A),((((2_x,2_y),(3_x,3_y)),2_z),1_C)); (((((1_x,1_y),1_z),1_B),1_A),(1_D,(2_D,3_D))); (((((1_x,1_y),(2_z,(3_z,4_z))),(1_A,2_A)),((((2_x,3_x),(2_y,3_y)),1_z),1_C)),(1_D,2_D)); (((((1_x,1_y),1_z),1_B),1_A),1_D); (1_C,2_C); ((((((3_x,(2_y,3_y)),1_z),(2_x,2_z)),1_B),((1_x,1_y),1_C)),(1_D,2_D)); ((((((3_x,3_y),2_z),1_B),1_A),(((1_x,1_y),1_C),((2_x,2_y),1_z))),(1_D,2_D)); ((((((2_x,3_x),1_y),1_z),1_B),(((1_x,2_y),2_z),(1_C,(2_C,3_C)))),1_D); ((((2_y,2_z),(1_B,2_B)),1_A),(((1_x,(2_x,3_x)),1_y),1_z)); ((((1_x,2_x),(3_x,2_y)),1_B),((1_y,1_z),1_C)); ((((1_x,1_y),1_z),1_B),(((2_x,2_z),1_C),(((3_x,2_y),(3_z,(4_z,5_z))),2_C))); (1_A,((((1_y,(3_x,4_y)),1_z),1_C),(((1_x,2_y),2_z),((2_x,3_y),3_z)))); (1_B,(1_A,2_A)); (1_x,((2_x,1_y),1_z)); ((((((2_x,1_y),1_z),(2_A,3_A)),(((3_x,4_z),1_B),1_A)),((((4_x,2_y),2_z),1_C),((1_x,3_z),2_C))),1_D); ((1_x,1_y),1_z); (((((((3_x,4_x),2_y),2_z),(1_B,(2_B,3_B))),1_A),(((1_x,2_x),1_y),1_z)),(1_D,2_D)); (1_C,1_D); ((1_A,2_A),(((1_x,2_z),1_C),((2_x,1_y),1_z))); ((((1_x,1_y),1_B),1_A),((((2_x,2_y),1_z),1_C),(((3_x,3_y),(2_z,3_z)),(2_C,3_C)))); (((1_y,1_z),((((((3_x,4_x),2_y),3_z),(1_x,4_z)),1_C),(((2_x,(3_y,4_y)),2_z),2_C))),1_D); ((((((2_x,2_y),(2_z,3_z)),(1_B,2_B)),1_A),(((1_x,1_y),1_z),1_C)),1_D); ((((((3_x,2_y),2_z),1_B),1_A),(((1_x,1_y),(2_x,(3_y,4_y))),1_z)),1_D); ((((1_x,1_y),1_z),1_C),(1_D,2_D)); (((((1_x,2_x),1_y),1_z),(1_C,2_C)),1_D); ((((((2_x,2_y),1_z),(1_B,2_B)),(1_A,2_A)),(((1_x,1_y),(2_z,(3_z,4_z))),1_C)),(1_D,(2_D,3_D))); (((((1_x,1_y),(2_x,2_y)),1_z),1_C),1_D); ((((1_x,((2_B,3_B),1_B)),1_A),(((((3_x,1_y),2_z),(2_x,3_z)),1_C),((1_z,(4_z,5_z)),2_C))),1_D); ((1_A,(1_z,1_C)),1_D); (((((1_x,1_y),1_B),1_A),((((2_x,(3_y,4_y)),1_z),((3_C,4_C),2_C)),(((3_x,2_y),2_z),1_C))),1_D); (((((((2_x,(4_y,5_y)),2_z),((3_x,2_y),3_z)),(1_B,(3_B,4_B))),(((1_x,1_y),1_z),1_C)),(((((4_x,3_y),4_z),2_B),(1_A,2_A)),(2_C,3_C))),1_D); ((((((4_x,5_x),2_y),2_z),1_B),(1_A,(2_A,3_A))),(((1_x,(2_x,3_x)),1_y),1_z)); (((((((4_x,3_y),3_z),1_B),((2_y,4_z),(2_B,3_B))),1_A),((1_x,((2_x,3_x),1_y)),(1_z,2_z))),((2_D,3_D),1_D)); (((1_B,((2_A,3_A),1_A)),((((1_x,1_y),(2_x,2_y)),1_z),(1_C,2_C))),(1_D,2_D)); ((1_A,((((1_x,1_y),1_z),1_C),(((2_x,2_y),2_z),(2_C,3_C)))),(1_D,2_D)); ((((1_x,1_y),1_A),((((2_x,2_y),(3_x,3_y)),1_z),1_C)),1_D); ((((((2_x,2_y),(3_x,3_y)),(2_z,(3_z,4_z))),1_B),1_A),(((1_x,1_y),1_z),1_C)); (1_A,((((1_x,1_y),(2_x,(2_y,3_y))),1_z),1_C)); (((((3_z,1_B),((3_x,2_y),(4_z,5_z))),1_A),(((1_x,(3_y,4_y)),1_z),((2_x,1_y),2_z))),1_D); ((((1_x,2_z),1_B),1_A),(((2_x,((2_y,3_y),1_y)),1_z),(1_C,(2_C,3_C)))); ((((1_x,2_x),1_y),1_C),1_D); (((((2_x,2_y),2_z),1_A),((1_x,1_y),1_z)),(1_D,(2_D,3_D))); ((((((2_x,2_y),2_z),1_B),1_A),((1_x,1_y),1_z)),1_D); (((1_B,1_A),((1_x,1_y),1_C)),1_D); (((((3_x,1_z),1_B),((3_A,4_A),2_A)),(((((5_x,2_y),6_z),(4_x,1_y)),(2_B,(3_B,4_B))),1_A)),(((1_x,(2_z,3_z)),(2_x,(4_z,5_z))),(1_C,2_C))); ((1_z,(1_B,2_B)),1_A); ((((1_x,1_y),2_z),1_B),(1_z,1_C)); (((((((2_x,3_x),1_y),2_z),1_B),(1_A,2_A)),((1_x,1_z),1_C)),1_D); (((((1_x,1_y),2_z),1_B),(((((2_x,3_x),2_y),3_z),1_C),1_z)),(1_D,2_D)); ((1_z,1_C),(1_D,(2_D,3_D))); ((((((2_x,2_y),2_z),1_B),((1_x,1_y),1_z)),((((3_x,3_y),3_z),1_A),((((4_x,5_x),4_y),4_z),(((6_x,5_y),5_z),(1_C,2_C))))),1_D); (((((1_x,1_y),(2_z,3_z)),1_A),1_z),1_D); ((((((2_x,2_y),2_z),1_B),1_A),((1_x,1_y),1_z)),1_D); ((((1_x,1_y),(2_z,3_z)),1_B),(((2_x,2_y),(3_x,3_y)),1_z)); ((((((1_B,2_B),1_A),(((1_y,3_z),(6_B,7_B)),2_A)),(1_z,(1_C,2_C))),((((((1_x,2_y),(2_x,(5_y,6_y))),3_B),3_A),(((((4_x,7_y),6_z),((5_x,8_y),7_z)),4_B),4_A)),(((2_z,5_B),(5_A,(6_A,7_A))),((((3_x,3_y),4_z),(((6_x,7_x),4_y),5_z)),(3_C,4_C))))),1_D); ((1_A,((((1_x,2_x),1_y),1_z),1_C)),1_D); ((((2_x,1_y),1_z),(1_B,2_B)),((((3_x,2_y),(2_z,3_z)),1_x),1_C)); (((1_x,1_y),1_z),1_C); ((((1_x,1_y),1_z),1_C),(((2_x,2_y),2_z),2_C)); ((((1_x,1_y),1_z),1_A),(((2_x,2_y),2_z),1_C)); ((((1_y,(1_x,2_y)),1_z),(1_A,2_A)),1_C); ((1_A,(((1_x,1_y),1_z),1_C)),1_D); ((((1_A,((((4_x,4_y),3_z),1_B),(3_A,((5_A,6_A),4_A)))),(((1_x,1_y),2_z),2_A)),((((2_x,3_x),(2_y,3_y)),1_z),1_C)),1_D); (((((2_x,1_y),(3_x,2_y)),1_A),(((4_x,3_y),1_x),1_C)),1_D); ((((1_x,1_y),((2_x,2_y),1_z)),((((3_x,3_y),(4_x,4_y)),2_z),1_B)),(1_D,(2_D,3_D))); ((((((2_x,1_y),1_B),((((4_x,3_y),2_z),2_B),((3_x,2_y),(3_z,4_z)))),1_A),((1_x,1_z),(1_C,2_C))),1_D); ((1_B,(1_A,2_A)),((((1_x,2_x),1_y),1_z),1_C)); (((((1_x,1_y),1_z),(1_B,2_B)),((((2_x,3_x),2_y),2_z),(1_C,2_C))),(1_D,(2_D,3_D))); ((((((2_x,2_y),2_z),1_B),1_A),((1_x,1_y),1_z)),1_D); ((((1_x,1_y),(1_B,((3_B,4_B),2_B))),(1_A,(2_A,3_A))),(((2_x,2_y),(1_z,2_z)),1_C)); ((((((2_x,3_x),1_y),1_z),1_B),(((1_x,2_y),1_C),(2_C,(3_C,4_C)))),1_D); (((((1_x,1_y),((3_x,3_y),1_z)),1_B),(((2_x,2_y),(2_z,3_z)),1_C)),(1_D,(2_D,3_D))); (((((((3_x,3_y),2_z),(2_y,(3_z,4_z))),(1_B,2_B)),1_A),((((1_x,2_x),1_y),1_z),1_C)),(1_D,2_D)); ((((2_x,2_y),2_z),(((3_y,3_z),1_B),1_A)),((1_x,1_y),1_z)); ((((1_x,1_y),(2_x,2_y)),(1_B,(2_B,3_B))),1_D); ((((1_x,1_y),1_z),1_B),((((2_x,2_y),(3_x,3_y)),2_z),1_C)); ((((1_A,(((3_x,3_y),2_z),1_B)),(((2_x,2_y),(3_z,4_z)),(((4_B,5_B),3_B),2_B))),(((1_x,1_y),1_z),1_C)),1_D); (((1_x,1_z),(1_C,2_C)),1_D); ((((1_x,1_y),1_z),1_B),(((2_x,2_y),(2_z,3_z)),2_B)); ((((((2_x,1_y),2_z),1_B),1_A),((1_x,1_z),1_C)),(1_D,2_D)); (1_B,(((1_x,1_y),(2_z,3_z)),(1_z,1_C))); ((((((3_x,2_y),2_z),2_B),1_B),(1_A,2_A)),(((1_x,1_z),((3_C,4_C),(5_C,6_C))),((2_x,1_y),(1_C,2_C)))); ((((1_x,1_y),1_z),1_B),1_D); (1_A,(1_D,2_D)); (((((1_x,(2_x,1_y)),1_z),1_B),((2_B,1_A),(((3_x,(3_z,4_z)),((4_x,2_y),2_z)),(1_C,2_C)))),1_D); (((((2_x,3_x),1_y),1_z),(1_B,2_B)),(((1_x,2_y),2_z),1_C)); (((((1_x,(1_y,2_y)),(1_z,2_z)),(1_B,2_B)),(((2_x,((4_y,5_y),3_y)),((4_z,5_z),3_z)),(1_C,2_C))),1_D); ((((((2_x,3_y),1_y),((3_x,4_y),2_z)),1_B),(((1_x,2_y),1_z),(((4_x,5_y),3_z),1_C))),1_D); ((((1_x,1_y),1_B),((((2_x,2_y),(2_z,3_z)),((3_x,3_y),1_z)),1_C)),(1_D,((3_D,4_D),2_D))); (((((1_x,(1_y,2_y)),1_z),1_A),(((((3_x,4_x),3_y),(2_x,4_y)),2_z),1_C)),(1_D,2_D)); ((2_D,3_D),1_D); ((((((3_x,(4_y,5_y)),(4_z,5_z)),(1_B,2_B)),1_A),((((4_x,2_y),1_x),(2_z,(6_z,7_z))),(2_C,3_C))),((((((((8_x,7_y),(9_x,8_y)),8_z),(6_x,9_z)),2_A),((((7_x,6_y),10_z),3_B),(5_A,6_A))),(((5_x,3_y),3_z),(3_A,4_A))),(((2_x,1_y),1_z),1_C))); ((((2_x,2_y),1_z),((1_A,(3_A,4_A)),((5_A,6_A),2_A))),((1_x,1_y),(((3_x,3_y),2_z),1_C))); ((((((2_x,(3_x,1_y)),2_z),(1_x,3_z)),1_B),1_A),1_z); (1_D,2_D); ((1_A,(1_x,1_y)),(((2_x,2_y),1_z),1_C)); ((((1_x,1_y),(1_z,2_z)),1_B),(2_B,1_A)); ((((((3_x,3_y),2_z),1_B),(1_A,2_A)),(((1_x,1_y),(2_x,2_y)),1_z)),1_D); ((((((1_x,1_y),2_z),1_B),(1_A,2_A)),((((2_x,2_y),3_z),(2_C,3_C)),(1_z,1_C))),1_D); ((((1_y,1_z),1_B),1_A),1_D); ((((1_x,1_y),1_z),1_A),1_C); ((((1_y,2_z),(1_B,2_B)),(1_A,2_A)),(((1_x,2_y),1_z),1_C)); ((1_A,2_A),((1_x,1_y),1_C)); ((((1_x,1_y),((2_z,3_z),1_z)),1_B),1_A); (((((2_x,2_y),(2_z,3_z)),1_B),(1_A,2_A)),(((1_x,1_y),1_z),(1_C,2_C))); (((((((5_x,5_y),(6_x,6_y)),2_z),((3_B,4_B),2_B)),1_A),((1_x,1_y),1_z)),((((2_x,2_y),(3_z,4_z)),1_C),((((4_x,4_y),5_z),1_B),((3_x,3_y),2_C)))); ((((((2_x,1_y),2_z),(1_B,2_B)),1_A),((1_x,1_z),(((3_C,4_C),2_C),1_C))),((1_D,2_D),(3_D,(4_D,5_D)))); (((((1_x,2_x),1_y),1_B),((2_y,1_z),1_C)),1_D); ((1_x,1_B),1_A); ((((((2_x,2_z),((3_x,2_y),3_z)),1_B),1_A),(((1_x,1_y),1_z),1_C)),1_D); (((((1_y,(4_x,7_y)),1_z),1_B),(((1_x,2_y),(((6_x,9_y),7_z),3_C)),((3_y,4_z),2_C))),((((2_x,4_y),2_z),((5_y,5_z),(3_x,6_y))),((((5_x,8_y),6_z),3_z),1_C))); ((((2_x,1_y),(((4_z,5_z),3_z),2_z)),(1_A,2_A)),((1_x,1_z),1_C)); ((((1_x,1_y),1_z),1_C),1_D); (((((1_y,(2_z,3_z)),1_B),1_A),(((1_x,(2_y,3_y)),1_z),1_C)),1_D); ((((1_x,2_y),1_B),(((2_x,3_y),(1_z,2_z)),1_y)),(1_D,2_D)); (((((2_x,2_y),((3_z,4_z),2_z)),1_B),((1_x,1_y),1_z)),1_D); (((((1_z,((1_x,2_x),(2_z,3_z))),1_B),1_A),1_C),(1_D,2_D)); ((1_B,1_A),((((2_x,1_y),1_z),(1_x,2_z)),(1_C,2_C))); ((1_z,(1_C,2_C)),1_D); (((((1_x,1_y),(2_x,1_z)),1_B),((1_A,2_A),(3_A,4_A))),1_C); (((((2_x,2_y),2_z),1_B),1_A),(((1_x,1_y),1_z),1_C)); ((((((2_x,2_y),2_z),1_B),1_A),(((1_x,1_y),1_z),(1_C,2_C))),1_D); (((((1_x,(2_y,3_y)),2_z),(1_B,2_B)),(((2_x,3_x),1_y),1_z)),(1_D,2_D)); ((((2_A,3_A),1_A),(((1_x,1_y),(1_z,2_z)),1_C)),1_D); ((1_z,((3_z,4_z),2_z)),1_C); (((((1_x,1_y),1_B),(2_A,3_A)),(((((5_x,6_x),4_y),2_z),(2_x,2_y)),(1_C,2_C))),((((3_x,3_y),1_z),(4_A,5_A)),((((4_x,5_y),3_z),2_B),1_A))); ((1_C,(((1_x,1_y),1_z),2_C)),(1_D,(2_D,3_D))); ((((((1_x,(1_y,(2_y,3_y))),1_z),1_B),(1_A,2_A)),1_C),1_D); ((((1_x,(2_z,3_z)),1_A),1_z),1_D); (((((2_x,2_y),2_z),1_A),((1_x,1_y),1_z)),1_D); ((((((1_x,1_y),1_z),(2_z,3_z)),1_B),1_C),1_D); (((((1_x,2_y),2_z),1_B),1_A),(1_y,1_z)); ((1_A,((1_x,1_y),((2_x,2_y),1_z))),1_D); ((((((2_x,2_y),2_z),(1_B,2_B)),1_A),((1_x,1_y),1_z)),1_D); ((((((3_x,4_x),2_y),2_z),1_B),(((2_x,3_y),3_z),2_B)),(((1_x,1_y),1_z),1_C)); ((((1_x,1_y),1_z),1_C),(1_D,2_D)); ((((((1_x,1_y),1_z),1_B),1_A),1_C),(1_D,(2_D,3_D))); (((((1_x,2_y),((2_x,3_y),3_z)),1_B),1_A),((1_y,(1_z,2_z)),(1_C,2_C))); ((((((2_x,2_y),(3_x,3_y)),(1_B,2_B)),(1_A,2_A)),(((1_x,1_y),1_z),1_C)),1_D); ((((((2_x,2_y),2_z),1_B),1_A),(((1_x,1_y),1_z),1_C)),1_D); ((((1_x,1_y),1_z),1_C),(1_D,2_D)); ((((((2_x,2_y),2_z),1_B),1_A),(((1_x,1_y),1_z),1_C)),1_D); (((((((2_x,2_y),1_z),1_B),(1_A,2_A)),((((3_x,3_y),2_z),(2_B,(3_B,4_B))),(3_A,4_A))),((1_x,1_y),(1_C,2_C))),1_D); (((((((3_x,3_y),2_z),1_B),1_A),(((2_x,2_y),((4_z,5_z),3_z)),2_A)),((1_x,1_y),1_z)),((2_D,3_D),1_D)); ((((1_x,1_y),1_z),1_A),1_D); (((((2_x,1_y),1_z),1_B),(1_x,1_C)),(((3_D,4_D),2_D),1_D)); ((((1_x,1_y),1_z),((((3_x,4_x),2_x),2_y),2_z)),1_C); (((((1_x,3_y),(2_x,4_y)),1_z),1_B),(((1_y,2_z),(2_y,(3_z,4_z))),1_C)); (((1_x,1_y),1_z),1_C); (1_A,1_D); (((((1_x,(4_z,5_z)),2_B),2_A),((((3_x,2_y),1_z),((4_x,3_y),(6_z,7_z))),(1_C,2_C))),((((2_x,1_y),(2_z,3_z)),1_B),1_A)); ((1_y,1_z),1_C); ((((((2_x,2_y),2_z),1_B),((1_x,1_y),2_B)),((((3_x,3_y),(4_x,4_y)),1_z),((2_C,3_C),1_C))),1_D); (((1_x,1_B),((1_y,1_z),(1_C,2_C))),(1_D,2_D)); ((((3_A,4_A),1_A),(((((4_x,5_x),3_y),3_z),((3_x,4_y),4_z)),1_C)),((((1_x,1_y),1_z),2_A),(((2_x,2_y),2_z),2_C))); (((((((2_x,2_y),2_z),2_B),(((3_x,3_y),(3_z,4_z)),3_B)),1_A),((1_x,1_y),1_z)),1_B); ((((((1_x,1_y),2_z),1_B),(((2_x,2_y),2_B),1_A)),1_z),(1_D,2_D)); (((((2_x,2_y),1_z),1_A),((1_x,1_y),1_C)),1_D); ((((1_x,(1_y,2_y)),1_z),(((3_y,2_z),((2_x,4_y),3_z)),1_C)),1_D); (((1_z,2_z),1_B),(1_A,2_A)); (((((1_x,1_y),1_z),1_B),1_A),1_D); ((((((2_x,1_y),1_z),1_B),1_x),1_A),1_C); (((((2_y,(1_x,3_y)),1_z),1_B),1_A),((2_B,3_B),((1_y,2_z),1_C))); (((1_x,1_y),1_z),(((2_x,2_y),((4_z,(5_z,6_z)),2_z)),((3_x,3_z),(1_C,2_C)))); ((((((2_x,2_y),((3_x,4_x),3_y)),1_z),((((5_x,5_y),(6_x,6_y)),((7_x,(8_x,9_x)),4_y)),2_z)),(((1_x,1_y),1_A),((1_C,2_C),(3_C,4_C)))),((1_D,2_D),(3_D,4_D))); ((((((1_x,2_x),1_B),((((5_x,2_y),4_z),((6_x,3_y),5_z)),2_B)),1_A),((((3_x,1_y),1_z),((4_x,2_z),(3_z,((7_x,4_y),6_z)))),1_C)),((2_D,3_D),1_D)); (((((1_x,1_y),((2_z,3_z),1_z)),1_B),1_A),1_D); (((((1_x,1_y),1_z),1_B),(1_A,2_A)),(1_C,2_C)); ((((1_x,1_y),1_B),1_A),((1_z,1_C),(((2_x,2_y),2_z),(2_C,(3_C,4_C))))); (((((1_x,1_y),1_z),1_B),(((2_y,(2_x,3_y)),2_z),1_C)),1_D); (((((2_x,2_y),2_z),1_B),(1_A,2_A)),((1_x,1_y),1_z)); ((((1_y,(1_z,2_z)),1_A),(((1_x,2_y),(2_x,(3_y,4_y))),1_C)),1_D); (((((1_x,1_y),1_z),1_A),(((2_x,(2_y,3_y)),2_z),(1_C,2_C))),1_D); (1_y,1_B); ((((((((5_x,5_y),(4_z,5_z)),1_B),((3_y,3_z),2_B)),(((4_x,4_y),2_z),2_A)),(1_x,1_y)),((1_z,1_A),((2_x,3_x),2_y))),(1_D,2_D)); (1_D,(2_D,3_D)); ((((((((3_x,4_x),3_y),1_z),1_B),1_A),((1_x,1_y),(2_C,3_C))),((((((5_x,6_x),4_y),2_z),2_B),2_A),((2_x,2_y),1_C))),1_D); (1_B,1_C); (((1_x,1_y),1_z),((((3_x,3_y),2_z),1_C),((2_x,2_y),2_C))); (((((1_x,1_y),(2_x,2_y)),1_z),1_C),(1_D,2_D)); ((((1_x,1_y),1_z),1_B),(1_A,2_A)); ((1_B,((1_x,(1_z,2_z)),1_C)),1_D); (((((2_x,2_y),1_z),1_B),1_A),((1_x,1_y),(1_C,2_C))); (1_z,(((1_x,1_y),(2_z,(3_z,(4_z,5_z)))),1_C)); (1_A,1_D); (((((1_x,1_y),1_z),(1_B,2_B)),1_A),1_D); ((1_A,((1_y,(1_z,2_z)),1_C)),1_D); (((((1_x,1_y),1_z),1_B),1_A),(1_D,2_D)); (((1_y,(2_z,3_z)),(((1_x,(2_y,3_y)),(2_x,3_x)),1_z)),1_D); (((((((3_x,4_x),1_y),((3_B,4_B),2_B)),((2_x,2_y),1_B)),1_A),(((1_x,(3_y,4_y)),(1_z,2_z)),1_C)),(1_D,2_D)); (((((1_x,1_y),1_z),(((3_x,3_y),3_z),1_A)),(((2_x,2_y),2_z),1_B)),(1_D,2_D)); (1_A,((((1_x,2_y),1_z),((2_x,3_x),1_y)),(1_C,2_C))); ((1_x,1_y),1_z); ((((1_z,((2_A,3_A),(4_A,5_A))),((((3_x,(5_y,6_y)),6_z),2_z),(1_C,2_C))),(((((4_x,3_y),(5_x,4_y)),3_z),(((((6_x,7_y),(7_x,8_y)),1_B),(((8_x,9_y),7_z),2_B)),1_A)),(((1_x,1_y),4_z),((2_x,2_y),5_z)))),1_D); ((((1_x,1_y),((2_x,2_y),1_z)),1_B),1_A); ((1_z,1_B),1_A); (((((1_x,1_y),1_z),(2_z,1_C)),(((((2_x,3_y),4_z),1_B),((2_A,3_A),1_A)),((((3_x,4_x),2_y),3_z),2_C))),(1_D,(2_D,3_D))); (((1_x,1_y),1_z),1_B); (((1_y,1_z),((1_x,(2_y,3_y)),1_C)),1_D); (((((1_x,1_y),(2_x,2_y)),1_A),(((3_x,3_y),1_z),1_C)),1_D); ((((1_x,1_y),(1_z,2_z)),1_B),1_C); (((1_z,(1_A,2_A)),1_C),(1_D,(2_D,3_D))); (((((((2_x,1_y),2_z),1_B),((1_x,(2_y,3_y)),1_z)),1_A),(1_C,2_C)),(1_D,2_D)); ((1_A,(((1_x,1_y),1_z),1_C)),1_D); ((((1_x,2_x),2_z),((2_A,3_A),1_A)),(1_z,(1_C,2_C))); (((((2_x,2_y),1_B),(1_A,2_A)),((((3_x,1_z),(4_x,3_y)),2_B),(3_A,4_A))),(1_x,1_y)); ((1_A,((((1_x,1_y),(2_x,2_y)),1_z),(((3_x,3_y),2_z),((4_x,4_y),(3_z,4_z))))),(1_D,((2_D,3_D),(4_D,5_D)))); ((1_A,2_A),1_D); (((((1_x,1_y),2_z),(1_B,2_B)),(1_z,1_C)),1_D); (((1_B,1_A),((1_x,1_y),1_z)),1_D); (((((((3_x,3_y),3_z),(2_x,2_y)),1_B),((((4_x,4_y),(5_x,5_y)),2_z),2_B)),((1_x,1_y),1_z)),1_D); ((1_A,(1_C,(((1_x,1_y),1_z),2_C))),1_D); ((((1_x,1_y),1_z),((((2_x,2_y),(3_x,3_y)),(2_z,3_z)),1_C)),1_D); ((((((2_x,2_y),1_z),(1_B,2_B)),1_A),((1_x,1_y),1_C)),1_D); (((((1_x,1_y),1_z),1_C),(((((3_x,2_y),2_z),1_B),(1_A,2_A)),(((2_x,((3_A,4_A),(5_A,(6_A,7_A)))),(((4_x,4_y),(5_z,6_z)),2_B)),(((3_y,3_z),2_C),(((5_x,5_y),4_z),(3_C,4_C)))))),(1_D,2_D)); ((((((((4_x,5_x),5_y),(3_z,4_z)),2_B),1_A),((1_x,(1_y,2_y)),1_B)),((((2_x,3_y),1_z),1_C),(((3_x,4_y),2_z),(2_C,3_C)))),1_D); ((((((3_x,3_y),((4_z,5_z),(6_z,7_z))),1_B),1_A),((((4_x,4_y),(2_z,3_z)),2_B),2_A)),((((2_x,2_y),1_z),1_C),((1_x,1_y),2_C))); (((((((2_x,3_y),2_z),1_z),1_B),((((3_x,4_y),3_z),2_B),(1_A,2_A))),(((1_x,2_y),1_C),(1_y,2_C))),1_D); (((((((2_x,2_y),2_z),1_B),1_A),(((1_x,1_y),(3_z,4_z)),(1_C,2_C))),((((((3_x,3_y),(4_x,4_y)),(5_z,6_z)),2_B),2_A),1_z)),1_D); (((((2_z,1_B),((3_z,4_z),2_B)),(1_A,2_A)),(((1_x,1_y),1_z),(1_C,(((2_x,2_y),5_z),2_C)))),1_D); (((1_x,1_y),1_z),1_A); ((((1_x,1_B),(1_A,(2_A,3_A))),((((2_x,(2_y,3_y)),1_y),1_z),1_C)),1_D); (((1_z,1_B),(((1_x,1_y),2_z),1_C)),1_D); (((((1_x,1_y),(3_z,4_z)),1_B),1_A),((1_z,2_z),1_C)); (1_D,2_D); (((((1_x,1_y),1_B),((((3_x,4_x),2_y),3_C),1_C)),(((1_z,(2_B,3_B)),1_A),(((2_x,3_y),2_z),2_C))),1_D); (((1_x,(1_z,2_z)),((2_C,(3_C,4_C)),1_C)),1_D); ((((1_y,1_z),1_B),((2_y,(2_z,3_z)),1_C)),((2_D,3_D),1_D)); (((((1_x,1_y),1_z),1_B),1_C),1_D); (((1_A,2_A),((1_x,1_z),1_C)),1_D); (((((2_x,2_y),1_z),1_B),(1_A,2_A)),(((1_x,1_y),(2_z,3_z)),1_C)); (((((((4_x,5_x),3_y),1_z),((3_x,4_y),(2_z,3_z))),1_B),(1_A,(2_A,3_A))),(((1_x,1_y),(2_x,2_y)),1_C)); ((((1_x,1_y),1_z),1_C),((((3_x,3_y),3_z),1_B),((2_x,2_y),2_z))); ((1_A,(((2_x,1_y),(3_z,4_z)),1_B)),(((1_x,(2_y,3_y)),(1_z,2_z)),1_C)); (((((1_x,1_y),2_z),((2_x,2_y),3_z)),(1_z,1_C)),1_D); (((((1_x,1_y),1_z),1_B),1_C),((2_D,((4_D,5_D),3_D)),1_D)); (((1_B,(1_A,2_A)),(((1_x,1_y),(1_z,(4_z,5_z))),(((2_x,2_y),(3_x,3_y)),(2_z,3_z)))),1_D); (((1_x,1_y),1_A),(((2_x,2_y),1_z),(((3_x,3_y),2_z),1_C))); ((1_A,((((2_x,1_y),1_z),(1_x,2_z)),1_C)),1_D); ((((((2_x,2_y),1_z),(2_B,3_B)),((1_x,1_y),1_B)),1_C),(1_D,2_D)); ((((2_x,1_y),(3_z,4_z)),1_A),(1_x,(1_z,2_z))); ((((((1_x,1_y),2_z),(((2_x,2_y),3_z),1_B)),1_A),1_z),((1_D,2_D),((4_D,(5_D,6_D)),3_D))); (((((1_x,2_x),1_y),1_z),1_B),(((2_y,(3_x,3_y)),(2_z,(3_z,4_z))),1_C)); (((((2_x,1_y),2_z),1_B),((2_A,3_A),1_A)),(1_x,1_z)); ((((2_z,(1_B,2_B)),1_A),(1_z,1_C)),(1_D,2_D)); (((1_x,1_z),1_A),(((2_x,1_y),2_z),1_C)); ((((((3_x,3_y),(2_z,3_z)),2_B),1_B),(1_A,2_A)),(((1_x,2_x),(1_y,2_y)),1_z)); (((1_x,1_y),1_z),1_A); ((((1_y,1_B),(1_A,2_A)),((((1_x,2_y),2_B),(4_A,(5_A,6_A))),((3_B,(4_B,5_B)),3_A))),1_D); (((((3_x,3_y),2_z),1_B),(1_A,(2_A,3_A))),(((2_x,2_y),1_z),(1_x,1_y))); ((1_A,(((1_x,1_y),1_z),1_C)),1_D); ((((((((4_x,4_y),3_z),2_B),((2_x,2_y),2_z)),(((3_x,3_y),(4_z,5_z)),1_B)),1_A),((1_x,1_y),1_z)),1_D); ((((1_z,1_B),1_A),((1_y,2_z),(1_C,2_C))),1_D); ((((((2_x,2_y),(3_z,4_z)),(1_B,2_B)),(1_A,2_A)),(((1_x,1_y),(1_z,2_z)),1_C)),1_D); ((((((3_x,3_y),((5_x,6_x),4_x)),2_z),(1_B,2_B)),(((1_x,1_y),(2_x,2_y)),1_z)),1_D); ((1_B,((2_A,3_A),1_A)),(((1_x,1_y),1_z),1_C)); (((((2_x,2_y),1_z),((3_x,3_y),(2_z,3_z))),1_B),((1_x,1_y),(1_C,2_C))); (((1_x,2_x),1_y),1_D); ((((1_x,1_y),1_z),1_B),(1_A,2_A)); (((((1_x,1_y),(4_z,5_z)),1_A),(((2_x,2_y),1_z),((3_x,3_y),(4_x,4_y)))),((((5_x,5_y),2_z),2_A),((((6_x,7_x),6_y),3_z),1_C))); ((((1_x,1_y),1_z),1_B),(1_D,(2_D,3_D))); (((((((4_x,3_y),(5_x,4_y)),1_z),1_x),1_B),(((2_x,1_y),((3_x,2_y),2_z)),(1_C,2_C))),1_D); (((((((3_x,3_y),(4_x,(4_y,5_y))),2_z),((2_x,2_y),3_z)),1_A),(((1_x,1_y),1_z),1_C)),(1_D,2_D)); ((((((((((3_x,4_x),(5_x,2_y)),((3_y,4_y),(6_x,5_y))),(3_z,4_z)),((2_x,1_y),2_z)),1_B),1_A),((1_x,1_z),2_A)),1_C),(1_D,2_D)); (((((1_x,1_y),1_z),1_A),(((2_x,2_y),2_z),(1_C,2_C))),(1_D,2_D)); (((((((3_x,3_y),(2_z,3_z)),1_B),((2_x,(4_z,5_z)),2_B)),1_A),(((1_x,(1_y,2_y)),1_z),1_C)),1_D); ((((((2_x,1_y),(5_z,6_z)),1_A),((1_z,2_z),1_C)),(((1_x,3_z),1_B),((((3_x,4_x),2_y),4_z),2_C))),1_D); (((1_B,1_A),(((1_x,1_y),1_z),1_C)),1_D); (((((1_x,1_y),1_B),((3_A,(5_A,6_A)),((7_A,8_A),4_A))),(((2_x,2_y),(2_z,3_z)),(1_A,2_A))),(((((((6_x,7_x),5_y),(5_x,(6_y,7_y))),4_z),((4_x,4_y),5_z)),1_C),(((3_x,3_y),1_z),2_C))); ((1_B,1_A),1_z); ((((((1_x,2_x),2_y),2_z),1_B),(1_A,2_A)),((1_y,1_z),1_C)); (((((((3_x,3_y),(4_z,5_z)),1_B),1_A),(((2_x,2_y),(2_z,3_z)),1_C)),((1_z,2_A),((1_x,1_y),((3_C,4_C),2_C)))),1_D); (((1_x,1_y),(1_z,2_z)),((2_D,3_D),1_D)); ((((((2_x,1_y),(3_z,4_z)),((3_x,2_y),2_z)),(1_B,2_B)),(((1_x,(3_y,4_y)),1_z),(1_C,(2_C,3_C)))),(1_D,(2_D,3_D))); (((((((2_x,2_y),2_z),1_B),1_z),1_A),((1_x,1_y),1_C)),1_D); (((((((3_x,4_y),2_z),(1_B,2_B)),(2_x,(2_y,3_y))),(1_A,2_A)),1_C),((1_x,1_y),1_z)); ((((((1_x,(3_y,4_y)),(1_z,2_z)),(1_B,2_B)),(((2_x,1_y),(3_z,4_z)),1_C)),((((((3_x,(6_x,8_y)),7_z),3_B),((5_y,6_y),5_z)),(1_A,2_A)),(((((4_x,5_x),7_y),6_z),(2_y,(8_z,9_z))),2_C))),1_D); ((((1_y,2_y),1_z),1_B),1_D); ((((1_y,1_z),(1_A,2_A)),((1_x,(2_y,3_y)),1_C)),1_D); ((1_A,2_A),((2_D,3_D),1_D)); (((((2_x,2_y),2_z),1_A),((1_x,1_y),1_z)),1_D); (((((1_x,1_y),(2_z,3_z)),1_B),(((2_x,2_y),1_z),1_C)),1_D); ((((1_x,1_y),1_z),1_A),(((2_x,2_y),(2_z,3_z)),1_C)); (((((2_x,2_y),2_z),(1_B,2_B)),1_A),(((1_x,1_y),1_z),((2_C,3_C),1_C))); (((((1_x,1_y),1_z),1_B),(((2_x,2_y),2_z),(2_B,3_B))),(1_A,(2_A,3_A))); ((((((2_x,2_y),1_z),1_B),1_A),((1_x,1_y),1_C)),1_D); (((((1_y,(2_z,3_z)),1_B),(1_z,2_B)),1_A),1_D); (1_D,(2_D,(3_D,(4_D,5_D)))); (((1_x,2_x),1_y),((((3_x,2_y),(4_x,3_y)),(1_z,2_z)),1_C)); (((((1_B,2_B),(((1_x,(2_x,1_y)),1_z),3_B)),1_A),(1_C,2_C)),1_D); (((((1_y,2_y),(3_z,(4_z,5_z))),((2_B,3_B),1_B)),((((2_x,3_x),3_y),1_z),2_C)),((((1_x,4_y),2_z),(1_A,2_A)),1_C)); (((1_x,((2_y,3_y),1_y)),1_B),(1_D,2_D)); ((((((2_x,3_y),(3_z,4_z)),(2_B,3_B)),((2_y,2_z),1_B)),1_A),(((1_x,1_y),1_z),1_C)); (((((((2_x,2_y),((3_x,4_x),3_y)),2_z),1_B),1_A),(((1_x,1_y),1_z),(1_C,2_C))),1_D); (((((((2_x,(6_y,(7_y,8_y))),2_z),1_B),1_A),(((1_y,(3_x,3_y)),1_z),1_C)),((((((4_x,5_x),4_y),3_z),2_B),2_A),((((5_y,((6_x,(9_y,10_y)),(7_x,(11_y,12_y)))),4_z),2_C),((1_x,2_y),3_C)))),1_D); ((((1_B,1_A),(1_z,1_C)),((((1_x,2_z),2_B),2_A),((((2_x,1_y),(3_z,4_z)),(3_C,4_C)),2_C))),1_D); (((1_A,2_A),(((1_x,1_y),1_z),(1_C,2_C))),(1_D,2_D)); (((1_A,2_A),((1_x,1_z),1_C)),(1_D,2_D)); (((((1_x,1_y),(1_z,2_z)),1_B),1_A),((2_D,3_D),1_D)); (((((1_x,1_y),1_z),((2_A,3_A),1_A)),1_C),(1_D,2_D)); ((1_B,((1_x,1_y),(1_z,2_z))),1_D); ((((((2_x,2_y),2_z),1_B),1_A),(((1_x,1_y),1_z),1_C)),1_D); (((((1_x,(1_y,2_y)),1_z),1_A),((((2_x,3_y),2_z),1_C),(((3_x,4_y),3_z),2_C))),(1_D,2_D)); ((((((1_x,3_y),1_z),1_B),((2_y,(3_z,4_z)),(2_B,3_B))),((1_y,(2_z,(5_z,6_z))),1_C)),(1_D,2_D)); ((((1_x,1_z),(1_B,2_B)),(((2_x,1_y),2_z),(((3_x,2_y),3_z),1_C))),1_D); ((((1_x,1_y),1_z),1_A),(((2_x,2_y),2_z),((3_x,3_y),1_C))); ((((((2_x,2_y),2_z),1_B),1_A),(((1_x,1_y),1_z),1_C)),1_D); ((((((1_x,1_y),2_z),(1_B,2_B)),1_A),(1_z,1_C)),1_D); (((1_B,(1_A,2_A)),(((((2_x,2_y),3_z),2_C),1_C),((1_x,1_y),(1_z,2_z)))),1_D); (1_B,(((1_x,1_y),(1_z,2_z)),1_C)); ((((((2_x,2_z),1_B),(((4_x,2_y),2_B),(3_x,1_y))),1_A),((1_x,1_z),1_C)),1_D); ((((((2_x,2_y),2_z),1_B),((2_A,3_A),1_A)),(((((3_x,3_y),(4_x,(4_y,5_y))),3_z),1_C),((1_x,1_y),1_z))),1_D); ((1_x,(1_y,2_y)),1_D); (((1_x,1_y),1_z),1_C); (((((((((6_x,7_x),6_y),5_z),1_B),((3_y,(6_z,7_z)),((5_x,7_y),(8_z,9_z)))),1_A),(((2_x,2_y),2_z),(1_C,2_C))),(((1_x,1_y),1_z),((((3_x,4_y),3_z),(4_C,((6_C,7_C),5_C))),(((4_x,5_y),4_z),3_C)))),1_D); ((((((1_x,1_y),2_z),(1_B,2_B)),1_A),((((2_x,2_y),(3_x,3_y)),1_z),1_C)),1_D); ((((1_x,1_z),1_B),((((3_x,((3_y,4_y),2_y)),3_z),1_A),((2_x,1_y),2_z))),(1_D,2_D)); ((((((2_x,2_y),1_z),(1_B,2_B)),1_A),((1_x,1_y),1_C)),1_D); ((((1_z,1_B),1_A),((((1_x,1_y),(2_x,2_y)),2_z),(1_C,2_C))),1_D); (((((1_B,((4_x,3_y),(3_z,4_z))),1_A),((1_x,1_y),((3_A,4_A),2_A))),((((3_x,2_y),1_z),(2_x,2_z)),1_C)),1_D); (1_D,2_D); (((((1_x,(2_y,(3_y,4_y))),1_z),(1_A,2_A)),(((2_x,1_y),2_z),1_C)),1_D); ((((((3_x,(3_y,4_y)),3_z),1_B),(1_A,(2_A,3_A))),(((1_x,1_y),(2_x,2_y)),(1_z,2_z))),1_D); ((((1_x,1_y),1_z),((2_B,3_B),1_B)),1_C); (((1_B,(1_A,2_A)),(((1_y,(1_z,2_z)),2_C),1_C)),(1_D,2_D)); (((((2_x,3_x),(2_y,3_y)),1_z),((1_x,1_y),1_C)),((2_D,3_D),1_D)); (((1_z,(1_A,2_A)),((((3_x,3_y),((4_x,5_y),4_y)),2_z),1_C)),((1_x,1_y),(((2_x,2_y),3_z),2_C))); ((((1_x,1_y),1_B),(((2_x,2_y),1_z),1_C)),1_D); (((((((1_x,1_y),(2_x,2_y)),2_z),1_B),1_A),(1_z,1_C)),1_D); ((((((2_x,1_y),((3_x,2_y),3_z)),1_B),1_A),((1_x,(1_z,2_z)),1_C)),1_D); ((((1_x,1_y),1_z),1_C),(((((3_x,3_y),3_z),1_B),1_A),((2_x,2_y),2_z))); (((1_x,1_y),(1_z,2_z)),1_C); ((((1_y,2_y),(1_z,(2_z,3_z))),1_B),1_D); ((2_D,3_D),1_D); (((((((2_x,3_y),3_z),((3_x,(5_y,6_y)),4_z)),1_A),(((1_x,1_y),1_z),1_C)),(((((4_x,4_y),5_z),1_B),2_A),((((5_x,((7_x,8_x),6_x)),2_y),2_z),2_C))),1_D); (1_C,1_D); (((((1_y,2_y),1_z),1_B),(1_A,2_A)),((((2_x,3_y),2_z),1_C),((1_x,3_z),(2_C,3_C)))); (((1_x,1_y),1_B),((2_y,1_z),(1_C,2_C))); ((((1_x,1_y),(1_B,2_B)),1_A),(1_D,2_D)); ((((2_x,1_y),1_z),1_B),((1_x,2_z),1_C)); ((((((2_x,3_y),3_z),(((3_x,4_y),(5_z,6_z)),((4_x,5_y),4_z))),1_B),1_A),(((1_y,1_z),((1_x,2_y),2_z)),1_C)); (((1_y,(1_B,(2_B,3_B))),1_A),((2_y,1_z),1_C)); (1_B,1_A); ((1_D,2_D),(3_D,4_D)); (((((((1_x,2_y),(3_z,4_z)),1_B),(((2_x,3_y),2_z),2_B)),1_A),((1_y,1_z),1_C)),1_D); ((1_C,2_C),1_D); ((1_B,1_A),(1_D,2_D)); (1_C,1_D); (((1_B,1_A),(((1_x,1_y),1_z),1_C)),1_D); (1_A,(1_D,2_D)); ((((((2_x,2_y),2_z),1_B),1_A),(1_C,((1_x,1_y),1_z))),(1_D,2_D)); ((((1_x,1_y),(2_x,(3_y,4_y))),1_z),(((3_x,2_y),2_z),1_C)); ((1_B,((1_y,1_z),((1_x,2_z),1_C))),(1_D,2_D)); ((((((1_x,2_y),2_z),((2_x,3_y),3_z)),1_B),((((3_x,4_x),1_y),1_z),(1_C,2_C))),1_D); ((((((2_x,(2_y,3_y)),2_z),(((3_x,4_y),5_z),((((6_x,6_y),7_z),3_B),2_B))),((3_z,4_z),1_C)),((((((4_x,5_x),5_y),6_z),1_B),1_A),((1_x,1_y),1_z))),1_D); (((((1_x,1_y),1_z),((2_x,2_y),2_z)),(((((4_x,4_y),(5_x,5_y)),(4_z,5_z)),1_B),(((3_x,3_y),3_z),(((6_x,6_y),(6_z,7_z)),1_C)))),(1_D,2_D)); (((((((3_x,2_y),3_z),((4_x,(3_y,4_y)),4_z)),1_B),((2_A,(3_A,4_A)),1_A)),(((2_x,1_y),1_z),(1_x,2_z))),(1_D,2_D)); ((((1_x,1_y),1_z),1_B),(((2_x,2_y),2_z),1_C)); (((((2_x,1_y),1_z),1_B),(1_A,2_A)),((1_x,1_C),(((3_x,(2_y,3_y)),2_z),2_C))); ((((((((5_x,6_x),(5_y,6_y)),2_z),(3_B,4_B)),((2_x,2_y),1_B)),(((3_x,3_y),1_z),1_C)),((((4_x,4_y),2_B),((1_A,(4_A,5_A)),(2_A,3_A))),((1_x,1_y),2_C))),((2_D,3_D),1_D)); (((((((3_x,3_y),(4_x,4_y)),2_z),1_B),1_A),(((1_x,1_y),1_z),(((2_x,2_y),3_z),1_C))),1_D); ((1_z,1_B),((1_x,1_y),1_C)); (((1_x,1_y),1_B),1_D); (1_A,(1_D,2_D)); ((((((2_x,2_y),1_z),1_B),1_A),(((1_x,1_y),(2_C,3_C)),(((3_x,3_y),(2_z,3_z)),1_C))),(1_D,(2_D,3_D))); (((((1_x,1_y),1_z),1_B),((((2_x,2_y),(3_x,3_y)),2_z),1_C)),(1_D,(2_D,3_D))); (1_C,1_D); ((1_B,(1_A,2_A)),1_D); (((((1_B,2_B),(((2_x,2_y),2_z),3_B)),(1_A,2_A)),((1_x,1_y),1_z)),1_D); ((((((2_x,(3_x,4_x)),2_y),2_z),1_A),((1_x,1_y),1_z)),1_D); (((((1_x,1_y),1_B),1_A),(((2_x,2_y),(1_z,2_z)),1_C)),1_D); (((1_B,1_A),((1_x,1_z),1_C)),1_D); (((1_z,1_B),1_A),1_D); (((1_y,1_z),1_B),1_D); (((1_x,(1_y,2_y)),(1_z,2_z)),(((2_x,3_y),3_z),(((3_x,(5_y,6_y)),(4_x,4_y)),4_z))); (((((2_z,3_z),1_B),(1_A,2_A)),((1_y,1_z),1_C)),(1_D,2_D)); ((((1_x,1_y),1_z),1_C),1_D); (((((1_x,1_y),1_z),1_B),((((2_x,2_y),2_z),1_C),(((3_x,3_y),3_z),(2_C,3_C)))),1_D); (((1_x,2_x),(1_z,1_C)),1_D); (((((1_x,2_x),1_y),1_z),1_B),1_A); (((((1_x,1_y),1_z),(2_C,3_C)),(((2_x,2_y),2_z),1_C)),(1_D,2_D)); ((((1_x,1_y),1_z),1_B),((2_z,1_C),(((((3_x,4_x),2_y),(2_x,3_y)),3_z),2_C))); (((((1_x,3_z),2_B),1_A),(((2_x,1_y),(4_z,5_z)),1_C)),((((3_x,2_y),1_z),1_B),(((4_x,3_y),2_z),2_C))); (((((1_x,1_y),(2_x,2_y)),1_z),1_A),1_D); ((1_A,(((1_x,1_y),(2_x,2_y)),(1_z,2_z))),1_D); ((((2_x,1_y),1_x),1_C),1_D); (((((1_x,1_y),(2_x,2_y)),1_z),1_C),(1_D,2_D)); (((((((2_x,2_y),(3_x,3_y)),2_z),1_B),(1_A,(2_A,3_A))),((1_z,1_C),(((1_x,1_y),3_z),2_C))),1_D); ((((((2_x,2_y),1_z),1_B),(1_A,2_A)),((((3_x,4_x),1_x),1_y),1_C)),1_D); ((((((1_x,1_y),3_z),2_B),(1_A,2_A)),((((2_x,2_y),(3_x,3_y)),2_z),1_B)),((1_z,2_C),1_C)); (((((1_y,1_z),1_B),1_A),(((2_y,2_z),((1_x,3_y),3_z)),1_C)),1_D); (((((1_x,(3_x,2_y)),1_z),1_B),1_A),((((2_x,1_y),(2_z,3_z)),2_B),2_A)); ((((((3_x,3_y),2_z),(2_y,3_z)),(1_B,2_B)),1_A),((((1_x,2_x),1_y),1_z),(1_C,2_C))); ((((1_x,1_y),1_B),1_A),((1_z,2_B),2_A)); ((1_B,1_A),(1_D,2_D)); ((((1_x,1_y),1_z),1_B),1_A); ((((1_x,1_y),1_C),((((4_x,4_y),1_z),(((5_x,5_y),(5_z,6_z)),((6_x,6_y),4_z))),1_B)),((((2_x,2_y),(2_B,3_B)),(1_A,2_A)),(((3_x,3_y),(2_z,3_z)),2_C))); ((((1_x,2_x),1_z),1_C),1_D); (((((3_z,1_B),2_A),1_A),((1_x,1_y),(1_z,2_z))),1_D); ((((((2_y,3_y),(2_z,3_z)),1_B),(2_A,3_A)),(((1_x,1_y),1_z),1_A)),((1_D,2_D),(3_D,4_D))); (((1_x,1_y),(1_z,2_z)),1_D); ((((1_x,(2_y,3_y)),1_B),1_A),(((2_x,1_y),1_z),1_C)); (1_A,((1_y,1_z),(1_C,2_C))); (((((1_z,1_B),((1_x,2_x),(4_B,5_B))),(((3_x,1_y),2_z),(2_B,3_B))),((((4_x,(6_x,3_y)),3_z),1_C),(((5_x,2_y),4_z),2_C))),1_D); ((((1_x,1_z),1_B),(1_A,2_A)),1_D); (1_D,2_D); ((((((((5_x,5_y),4_z),((6_x,6_y),5_z)),(3_B,4_B)),1_A),((((3_x,4_y),1_z),1_B),((1_x,2_y),2_B))),((((((7_x,7_y),((8_z,9_z),7_z)),3_C),((4_x,6_z),(4_C,5_C))),((2_x,3_y),2_C)),((1_y,(2_z,3_z)),1_C))),((1_D,2_D),((4_D,5_D),3_D))); (((((1_x,1_y),1_z),1_A),1_C),1_D); ((((((2_x,3_z),(2_B,3_B)),((3_x,2_y),1_B)),1_A),((1_x,1_y),(1_z,2_z))),(1_D,((3_D,4_D),2_D))); ((((((2_x,2_y),2_z),((3_B,4_B),1_B)),1_A),(((1_x,1_y),1_z),2_C)),(((((3_x,3_y),3_z),(2_B,(5_B,6_B))),2_A),1_C)); ((((((1_x,1_y),1_z),1_B),(((2_x,2_y),2_z),2_B)),1_A),1_D); (((1_x,(2_y,3_y)),1_A),((2_x,1_y),1_B)); ((((((1_x,2_y),1_z),1_B),1_A),((1_y,(2_z,3_z)),(1_C,2_C))),1_D); ((1_A,(((1_x,1_y),1_z),1_C)),(1_D,2_D)); ((1_B,1_A),(1_x,1_z)); ((((1_x,1_y),1_B),1_C),1_D); ((((((((5_x,6_x),4_x),2_y),(3_x,3_y)),2_z),1_B),(1_A,2_A)),((((1_x,2_x),1_y),1_z),(1_C,(2_C,3_C)))); (((((((2_x,3_y),2_z),1_B),1_A),((1_x,1_y),1_C)),((((2_y,(3_z,4_z)),(2_B,3_B)),(2_A,3_A)),(1_z,(2_C,(3_C,4_C))))),1_D); (((((((2_x,3_y),((3_x,4_x),4_y)),3_z),2_B),1_A),((1_y,2_z),1_B)),(((1_x,2_y),1_z),(1_C,2_C))); (1_D,2_D); (((1_y,1_A),((((2_x,3_y),1_z),(1_x,2_y)),1_C)),1_D); ((((1_x,2_z),1_B),1_A),(((2_x,1_y),1_z),1_C)); ((((1_x,1_z),1_B),1_A),(1_C,(((2_x,(1_y,2_y)),((3_z,4_z),2_z)),2_C))); (((((2_x,1_y),2_z),1_B),(1_A,2_A)),(((1_x,((3_y,(4_y,5_y)),2_y)),1_z),1_C)); (1_B,((((((2_x,2_y),(3_x,3_y)),1_z),2_B),1_A),(((1_x,1_y),(2_z,3_z)),1_C))); ((((1_x,(1_y,2_y)),1_z),((2_A,3_A),1_A)),((((2_x,3_y),(3_x,4_y)),2_z),1_C)); (1_z,1_A); (((1_x,1_y),1_A),(((2_x,2_y),1_z),1_C)); ((((1_z,1_B),1_A),((1_x,1_y),((3_C,4_C),2_C))),((2_A,3_A),(((2_x,3_x),2_y),1_C))); (((1_x,1_y),1_z),1_A); (((((1_x,1_y),(2_x,2_y)),1_z),(1_C,2_C)),1_D); (((1_B,(1_A,(2_A,3_A))),((((1_x,2_x),(3_x,1_y)),1_z),1_C)),1_D); (((((((((8_x,10_y),6_z),2_B),((5_x,7_y),(7_z,8_z))),((5_A,6_A),2_A)),((2_x,(4_y,5_y)),2_z)),((1_x,1_y),1_z)),(((((4_x,6_y),5_z),1_B),(1_A,(3_A,4_A))),(((2_y,((6_x,8_y),(7_x,9_y))),3_z),((3_x,3_y),4_z)))),1_D); ((1_A,((1_x,1_y),1_z)),(1_D,2_D)); (((1_x,1_y),1_C),1_D); ((((1_B,1_A),1_C),((((2_x,2_y),1_z),(2_B,3_B)),((1_x,1_y),2_C))),(1_D,2_D)); ((((1_y,1_z),(((1_x,2_y),2_z),1_B)),1_C),1_D); (1_D,2_D); (((1_z,1_B),1_A),(((1_x,1_y),2_z),1_C)); (((((((2_x,2_y),2_z),1_B),1_A),((((3_x,3_y),3_z),2_B),((((5_x,6_y),6_z),(3_B,4_B)),2_A))),((((((6_x,7_x),4_y),4_z),((4_x,5_y),5_z)),1_C),(((1_x,1_y),1_z),2_C))),(1_D,2_D)); ((((1_y,(1_z,2_z)),1_A),((((1_x,3_y),3_z),1_C),((2_y,4_z),2_C))),1_D); (1_C,1_D); (1_D,2_D); (((1_y,1_B),(1_A,2_A)),1_D); (((((1_x,2_y),1_z),1_B),(1_A,2_A)),((((2_x,3_x),1_y),(2_z,3_z)),(1_C,2_C))); ((((1_y,2_y),(2_z,3_z)),1_A),(((1_x,3_y),1_z),(1_C,2_C))); ((1_A,((((1_x,1_y),(2_x,2_y)),1_z),1_C)),(1_D,(2_D,3_D))); (((((1_x,1_y),1_z),(1_B,2_B)),((((2_x,2_y),(2_z,3_z)),1_C),((((3_x,4_y),4_z),2_C),(((4_x,5_x),3_C),(3_y,4_C))))),1_D); ((((((1_x,3_y),2_y),2_z),1_B),(1_A,(2_A,(3_A,4_A)))),((1_y,1_z),((2_C,3_C),1_C))); (((((1_x,(1_z,2_z)),1_B),1_A),1_C),(1_D,2_D)); ((((((1_x,(3_x,2_y)),2_z),(1_B,2_B)),1_A),(1_z,(((2_x,1_y),3_z),1_C))),(1_D,2_D)); (((1_z,2_z),1_B),(((1_x,1_y),3_z),1_C)); ((((2_B,3_B),1_B),(1_x,1_y)),1_D); (((1_B,1_A),(((1_x,1_y),1_z),1_C)),1_D); ((((1_x,(1_y,2_y)),1_B),(((2_x,3_y),1_z),1_C)),1_D); ((((1_y,2_z),1_B),1_A),((((2_x,3_y),3_z),2_B),((1_x,2_y),1_z))); ((((((1_x,1_y),3_z),1_B),1_A),((2_z,1_C),1_z)),1_D); (((((2_x,2_y),1_z),1_B),((1_x,1_y),1_C)),1_D); (((((2_x,2_z),1_B),((((4_A,(7_A,8_A)),2_A),(3_A,(5_A,6_A))),1_A)),((1_x,1_y),1_z)),1_D); ((((((2_x,1_y),1_z),1_B),1_A),(((1_x,(2_y,3_y)),((3_x,4_y),2_z)),(1_C,2_C))),1_D); (((((((1_x,(2_y,3_y)),(2_z,3_z)),1_B),1_A),(((((2_x,4_y),4_z),(2_B,3_B)),((((4_x,5_y),5_z),4_B),((3_x,6_z),(5_B,6_B)))),2_A)),((1_y,1_z),(1_C,2_C))),1_D); ((((((2_x,3_x),1_y),1_B),1_A),((((4_x,3_y),2_z),(1_C,(2_C,3_C))),((1_x,2_y),1_z))),1_D); ((((((1_x,(2_x,3_x)),2_y),1_z),1_B),(1_A,2_A)),(1_y,1_C)); ((((2_z,(1_B,2_B)),1_A),(1_z,1_C)),(1_D,2_D)); (((((1_x,1_y),1_z),1_C),((((2_x,2_y),(((4_x,5_x),(4_y,5_y)),(3_x,3_y))),2_z),2_C)),(1_D,2_D)); (((((1_x,1_y),(2_y,2_z)),1_A),(((2_x,3_y),1_z),1_C)),1_D); ((((((2_x,3_y),2_z),1_B),(1_A,2_A)),(((1_x,1_y),((3_x,4_x),2_y)),1_z)),1_D); ((((((2_x,2_z),1_B),1_A),((((3_x,2_y),3_z),2_B),2_A)),(((1_x,1_y),1_z),1_C)),1_D); ((((1_x,1_z),1_B),(((2_x,1_y),2_z),(2_B,3_B))),(1_A,2_A)); (((((1_x,1_y),1_z),1_A),(((2_z,3_z),(((2_x,3_x),2_y),(4_z,5_z))),(1_C,2_C))),1_D); (((1_x,1_y),1_z),1_C); (((((1_x,1_y),1_z),1_B),1_A),((1_C,((2_x,2_y),2_z)),(2_C,3_C))); (((((1_x,(1_y,(2_y,3_y))),(((3_x,4_y),2_x),(1_z,2_z))),1_B),1_A),(1_D,(2_D,3_D))); ((1_B,(((1_x,1_y),((2_x,2_y),1_z)),1_C)),1_D); (((((2_x,2_y),(((3_x,3_y),(3_z,4_z)),(((4_x,4_y),((5_x,6_x),5_y)),2_z))),1_B),(1_A,(2_A,3_A))),(((1_x,1_y),1_z),((2_C,3_C),1_C))); (1_D,2_D); (((1_y,1_z),1_B),1_A); ((1_A,2_A),(((1_x,1_y),1_z),1_C)); (1_B,1_D); (((((1_x,1_y),2_z),1_B),((2_A,3_A),1_A)),((((2_x,3_x),(2_y,3_y)),((4_x,4_y),(5_x,5_y))),1_z)); ((((1_y,1_z),(1_B,2_B)),1_A),(((2_z,3_z),1_C),(((2_y,(1_x,(3_y,4_y))),4_z),(2_C,(3_C,4_C))))); ((1_B,1_A),(1_x,1_y)); (((((((4_x,4_y),3_z),1_B),1_A),(((1_x,2_x),1_y),1_z)),((((2_y,4_z),2_B),(2_A,(3_A,4_A))),(((3_x,3_y),2_z),1_C))),1_D); ((((((1_x,2_y),2_z),(1_B,2_B)),((1_A,(4_A,5_A)),(2_A,3_A))),((((2_x,3_x),1_y),1_z),1_C)),1_D); ((((((((4_x,5_y),(5_x,6_y)),2_z),3_B),1_A),((1_x,1_y),(2_x,2_y))),(((3_x,(3_y,4_y)),1_z),(1_B,2_B))),(1_D,2_D)); (((((1_B,(2_B,3_B)),(1_x,(2_z,3_z))),1_A),(((2_x,(1_y,2_y)),1_z),1_C)),1_D); (((((((4_x,4_y),3_z),(3_x,3_y)),(1_B,2_B)),1_A),(((1_x,1_y),1_z),((2_x,2_y),2_z))),1_D); ((((((1_x,1_y),1_z),1_B),1_A),((((2_x,2_y),2_z),1_C),(((3_x,3_y),3_z),2_C))),1_D); (((((((1_x,6_z),(2_B,3_B)),2_A),1_C),((((2_x,2_y),1_z),3_A),(3_C,((3_x,3_y),2_z)))),((((((4_x,5_x),4_y),3_z),1_B),1_A),((1_y,(4_z,5_z)),2_C))),(1_D,2_D)); ((((((2_x,2_y),1_z),1_B),1_A),(((1_x,1_y),(2_z,3_z)),(((3_x,3_y),4_z),(1_C,2_C)))),1_D); (((((2_x,2_y),(2_z,3_z)),(1_B,2_B)),1_A),(((1_x,1_y),1_z),1_C)); ((1_z,1_C),((2_D,3_D),1_D)); ((((((1_x,1_y),1_z),1_B),1_A),(((2_z,((3_x,(3_y,4_y)),4_z)),1_C),(((2_x,2_y),3_z),2_C))),((2_D,(3_D,4_D)),1_D)); ((((2_B,3_B),1_B),(1_A,2_A)),(((1_x,1_y),1_z),1_C)); ((((1_x,1_y),1_z),1_B),(1_A,2_A)); ((((1_x,1_z),1_A),(((2_x,1_y),(2_z,3_z)),1_C)),(1_D,2_D)); (((1_x,1_y),1_z),1_C); (((((2_x,2_y),2_z),1_B),1_A),(((1_x,1_y),1_z),1_C)); (((((((2_x,(3_y,4_y)),(3_z,4_z)),1_B),(((3_x,2_y),2_z),2_B)),1_A),(((1_x,1_y),1_z),1_C)),(1_D,(2_D,3_D))); (((((((2_x,2_y),2_z),(1_B,2_B)),1_A),(((((3_x,3_y),(4_x,4_y)),((4_z,5_z),3_z)),(3_B,(4_B,5_B))),2_A)),((1_x,1_y),1_z)),1_D); (((((((2_x,2_y),((4_x,5_x),(6_x,(4_y,5_y)))),1_B),(((3_x,3_y),2_z),2_B)),1_A),(((1_x,1_y),1_z),1_C)),1_D); ((1_A,(((((3_x,4_x),2_y),2_z),(1_x,(((5_z,6_z),4_z),3_z))),((2_x,1_y),1_z))),((1_D,2_D),(3_D,(4_D,5_D)))); ((((1_x,1_y),1_B),((2_x,2_y),1_z)),(1_D,2_D)); (((((1_x,1_y),1_z),1_B),1_A),(1_D,(((5_D,6_D),2_D),(3_D,4_D)))); (((1_x,1_z),(2_C,3_C)),((2_x,1_y),1_C)); ((1_B,(1_A,((2_A,3_A),(4_A,5_A)))),(((1_x,1_y),1_z),1_C)); (1_C,(1_D,2_D)); (((((1_x,1_y),2_z),1_B),((3_z,((2_x,2_y),4_z)),(1_C,2_C))),(1_A,1_z)); ((((1_B,2_B),1_A),1_C),1_D); (((((1_x,1_y),((3_x,3_y),1_z)),1_A),(((2_x,2_y),(2_z,3_z)),(1_C,((3_C,4_C),2_C)))),1_D); ((((1_B,(2_B,3_B)),((1_x,(1_y,2_y)),1_C)),(1_A,((((2_x,(4_y,5_y)),(1_z,2_z)),2_C),(((3_x,3_y),(3_z,4_z)),3_C)))),(1_D,((2_D,3_D),(4_D,5_D)))); ((1_z,1_B),1_A); ((((1_x,1_B),(((4_x,(3_y,4_y)),1_z),2_B)),(((2_x,1_y),(3_x,2_y)),1_C)),1_D); ((1_B,2_B),((1_x,1_y),1_z)); ((((2_x,2_y),1_z),(1_x,1_y)),1_D); (((1_y,1_z),1_C),1_D); (((((1_x,2_y),1_z),1_B),1_A),((((2_x,3_y),2_z),(2_C,3_C)),((1_y,(3_x,4_y)),1_C))); (((((1_x,1_y),1_z),1_B),1_A),(1_D,2_D)); (((((((1_x,1_y),3_z),1_B),(2_z,2_B)),(1_A,(2_A,3_A))),(1_z,1_C)),(1_D,2_D)); ((((((3_x,3_y),(4_x,4_y)),2_z),1_B),((1_x,1_y),1_z)),(((2_x,2_y),(3_z,(4_z,5_z))),1_C)); ((((1_x,1_y),1_z),1_B),(((((3_x,3_y),(4_x,4_y)),(2_x,2_y)),(2_z,3_z)),1_C)); ((((((2_x,2_y),2_z),(1_B,2_B)),1_A),(((1_x,1_y),1_z),1_C)),1_D); (((((2_x,2_y),1_z),((3_x,(3_y,4_y)),2_z)),1_B),(((1_x,1_y),(3_z,4_z)),1_C)); ((((1_B,2_B),1_A),(((1_x,1_y),1_z),1_C)),1_D); (((1_z,2_z),1_B),(1_A,(2_A,3_A))); ((((1_B,((((3_x,2_y),3_z),((4_x,3_y),4_z)),2_B)),1_A),((((1_x,2_x),1_y),(1_z,2_z)),1_C)),1_D); ((((((2_x,2_y),(3_x,3_y)),1_z),1_A),(((1_x,1_y),2_z),1_C)),1_D); ((1_B,1_A),((1_x,1_y),1_z)); (((1_A,2_A),((1_x,1_z),1_C)),1_D); (((((2_x,2_y),2_z),1_B),((2_B,3_B),1_A)),((1_x,1_y),1_z));