((t12,(t14,(((t11,((t2,t10),t5)),((t6,(t13,t1)),(t7,(t3,t8)))),t17))),(t4,(t16,(((t9,t19),t18),t15))),t0);
((t12,(t14,(((t11,(t2,t10)),t5),(((t13,(t1,t17)),(t7,(t3,t8))),t6)))),((t4,((t9,t19),(t18,t15))),t16),t0);
((t12,(t14,(((t11,(t2,t10)),t5),(((t1,((t7,(t3,t8)),t13)),t6),t17)))),(((t9,t18),(t15,t19)),(t16,t4)),t0);
(t16,((t4,((t18,(t19,t9)),t15)),(((t11,(t14,((t2,t10),t5))),((t1,((t7,(t3,t8)),(t6,t13))),t17)),t12)),t0);
((t4,(t16,(t9,(t18,(t19,t15))))),(((((t11,(t2,t10)),t5),(((t1,(t7,((t3,t8),t13))),t6),t17)),t14),t12),t0);
((t4,(((t18,(t9,t19)),t15),t16)),(((((t11,(t2,t10)),t5),((t1,((t7,(t3,t8)),(t13,t6))),t17)),t14),t12),t0);
((t16,(t4,((t19,(t18,t9)),t15))),(((t14,((t11,(t2,t10)),t5)),((((t7,t17),(t1,t13)),(t3,t8)),t6)),t12),t0);
((t4,(((t18,t9),(t15,t19)),t16)),((((t7,(t3,t8)),((t6,((t11,(t2,t10)),t5)),((t1,t17),t13))),t14),t12),t0);
(((t4,(t15,(t19,(t18,t9)))),t16),(((t14,((t11,(t2,t10)),t5)),(((t6,(t1,(t7,t13))),(t3,t8)),t17)),t12),t0);
(((t4,(t15,(t19,(t18,t9)))),t16),(((((t11,(t2,t10)),t5),((((t7,t13),(t6,t1)),(t3,t8)),t17)),t14),t12),t0);
(((t4,(t15,((t9,t18),t19))),t16),(t12,(((((t2,t10),t11),t5),(((t3,t8),(((t7,t13),t1),t6)),t17)),t14)),t0);
((t4,((t16,(t9,t18)),(t19,t15))),(t12,(((((t2,t10),t11),t5),(t6,((t17,((t3,t8),t7)),(t13,t1)))),t14)),t0);
(((t4,((t19,t15),t18)),(t9,t16)),(t12,(((t6,(t1,(((t3,t8),t7),t13))),t17),(t14,(((t2,t10),t11),t5)))),t0);
(((t4,(t9,((t19,t15),t18))),t16),(t12,((((t7,(t1,((t13,(t3,t8)),t6))),t17),(((t2,t10),t11),t5)),t14)),t0);
((t4,((t16,(t18,t9)),(t19,t15))),(t12,((((((t2,t10),t11),t5),((t1,((t7,t13),t6)),(t3,t8))),t17),t14)),t0);
((t4,((t15,((t9,t18),t19)),t16)),(t12,(((((t2,t10),t11),t5),((t6,(t1,(t7,t13))),(t3,t8))),(t17,t14))),t0);
((t16,(t4,((t18,(t19,t15)),t9))),(t12,(((((t2,t10),t11),t5),(t17,(t6,(t1,((t3,t8),(t7,t13)))))),t14)),t0);
((t16,(t4,((t19,t15),(t9,t18)))),(t12,(((((t2,t10),t11),t5),((((t8,t7),(t6,t13)),(t17,t1)),t3)),t14)),t0);
((t16,(t4,(t15,(t18,(t9,t19))))),(t12,((t17,(t14,(((t2,t10),t11),t5))),((((t3,t8),t7),(t6,t13)),t1))),t0);
((t16,(t4,(t15,(t18,(t9,t19))))),(t12,(((((t2,t10),t11),t5),((((t3,t8),t7),(t6,t13)),(t17,t1))),t14)),t0);
((t12,(((((t17,t1),((t3,t8),t6)),(t13,t7)),(t5,(t11,(t10,t2)))),t14)),((((t15,t19),(t18,t9)),t16),t4),t0);
((t12,((((t6,((((t3,t8),t13),t7),t1)),t17),(t5,(t11,(t10,t2)))),t14)),((((t15,t19),(t18,t9)),t16),t4),t0);
((t12,((((t1,t17),(t7,t13)),(t3,t8)),(t6,(t14,(t5,(t11,(t10,t2))))))),(t16,(t4,((t15,t19),(t18,t9)))),t0);
((t12,(((((t3,t1),((t8,(t7,t13)),t6)),(t5,(t11,(t10,t2)))),t17),t14)),(t16,(t4,((t15,t19),(t18,t9)))),t0);
((t16,(t4,(t9,((t15,t19),t18)))),((t12,((t17,((t6,(t1,(t7,(t3,t8)))),t13)),(t11,((t10,t2),t5)))),t14),t0);
((t4,((t15,t19),((t16,t18),t9))),(t12,((((t3,t8),((t17,t1),(t7,t13))),t6),(t5,(((t10,t2),t11),t14)))),t0);
(((t4,((t15,t19),(t18,t9))),t16),(t12,((((t6,((t7,(t3,t8)),t1)),t13),t17),((t5,((t10,t2),t11)),t14))),t0);
((t4,((t15,t19),(t18,(t16,t9)))),(t12,(t14,((((t7,((t3,t8),t13)),(t1,t17)),t6),(t5,((t10,t2),t11))))),t0);
((t16,(t4,(t15,(t18,(t19,t9))))),(t12,(((t5,((t10,t2),t11)),(t17,(((t7,(t3,t8)),t6),(t13,t1)))),t14)),t0);
((t16,(t4,(t15,(t18,(t19,t9))))),(t12,((t5,((t10,t2),(t14,t11))),(t17,((t7,t13),(t1,((t3,t8),t6)))))),t0);
((((((t8,t3),(t7,t13)),(t17,t1)),(((t5,(t11,(t2,t10))),t6),t14)),t12),((t16,((t9,t18),(t15,t19))),t4),t0);
(((t14,(((t6,((t8,t3),((t7,t13),t1))),t17),(t11,((t2,t10),t5)))),t12),((t4,((t9,t18),(t15,t19))),t16),t0);
(((t14,((((t13,t1),(t6,(t7,(t8,t3)))),t17),(t11,((t2,t10),t5)))),t12),(t4,(((t9,t18),(t15,t19)),t16)),t0);
(((((t6,((t14,(t7,(t8,t3))),(t13,t1))),t17),(t5,(t11,(t2,t10)))),t12),(t4,((t18,(t15,t19)),(t9,t16))),t0);
((((t17,((t5,(t11,(t2,t10))),((t6,t13),(t1,(t7,(t8,t3)))))),t14),t12),(((t9,(t19,t18)),t15),(t16,t4)),t0);
(((((t5,(t11,(t2,t10))),(t6,((t13,(t7,(t8,t3))),(t17,t1)))),t14),t12),(t16,(t4,((t18,t9),(t19,t15)))),t0);
(((((t5,(t11,(t2,t10))),((t13,t6),((t1,(t7,(t8,t3))),t17))),t14),t12),(t16,(t4,(t9,((t19,t15),t18)))),t0);
((((t14,(t5,(t11,(t2,t10)))),(((t8,t3),((t17,t1),(t7,t13))),t6)),t12),((t16,(t9,((t19,t15),t18))),t4),t0);
(((((t5,(t11,(t2,t10))),(((t1,((t7,t13),(t8,t3))),t6),t17)),t12),t14),(((t9,(t19,(t15,t18))),t4),t16),t0);
(((((((t8,t3),((t6,t1),(t7,t13))),t17),(t5,(t11,(t2,t10)))),t14),t12),((t9,(t15,(t18,t19))),(t4,t16)),t0);
(((t14,(((((t1,t17),t13),(t7,(t3,t8))),t6),(t5,(t11,(t2,t10))))),t12),((((t15,t19),(t18,t9)),t4),t16),t0);
(((t14,((t17,(t5,(t11,(t2,t10)))),(((t1,t6),(t7,t13)),(t3,t8)))),t12),((t15,(t19,(t18,t9))),(t4,t16)),t0);
(((((t5,(t11,(t2,t10))),t14),(t17,(((t6,t13),(t7,(t3,t8))),t1))),t12),(t4,(t16,((t18,(t15,t19)),t9))),t0);
(((t12,(t14,(t17,((((t6,(t13,(t3,t8))),t1),t7),(t5,(t11,(t2,t10))))))),(t4,((t19,(t18,t15)),t9))),t16,t0);
((t12,((t17,((((t3,t8),t7),t1),(t13,t6))),(((t14,t11),(t2,t10)),t5))),((t4,((t9,t18),(t15,t19))),t16),t0);
((t12,((t17,((((t3,t8),t7),t1),(t13,t6))),((t5,(t11,(t2,t10))),t14))),(t4,(t16,((t18,t9),(t15,t19)))),t0);
((t12,((((t3,t8),t7),((t1,(t17,t13)),(t6,((t11,(t2,t10)),t5)))),t14)),(t16,(((t15,(t19,t18)),t9),t4)),t0);
((t12,((((t11,(t2,t10)),t5),((((t7,t13),t1),((t3,t8),t6)),t17)),t14)),(t16,((t15,(t19,(t18,t9))),t4)),t0);
((t12,((((t11,(t2,t10)),t14),t5),((t1,(t6,((t7,t8),(t13,t3)))),t17))),(t16,((t18,(t9,t19)),(t4,t15))),t0);
(((t14,t12),(((t11,(t2,t10)),t5),(t6,((t7,t8),(t13,((t1,t3),t17)))))),((t16,(t9,((t15,t19),t18))),t4),t0);
((t16,(t4,(t15,((t9,t18),t19)))),((((((t7,(t3,t8)),(t6,t13)),t1),t17),(t14,(t5,(t11,(t2,t10))))),t12),t0);
((t16,(t4,((t9,(t19,t15)),t18))),((((((t1,t6),((t7,t13),(t3,t8))),t17),(t11,((t2,t10),t5))),t12),t14),t0);
((t4,(((t19,t15),(t18,t9)),t16)),(((((((t1,t17),t13),(t7,(t3,t8))),t6),(t5,(t11,(t2,t10)))),t12),t14),t0);
(((t9,((t18,(t4,t15)),t19)),t16),(((t17,((((t1,t6),(t13,(t7,(t3,t8)))),t5),(t11,(t2,t10)))),t12),t14),t0);
((((t18,t9),(t15,t19)),(t4,t16)),(t12,(t14,((((t2,t10),t11),t5),(t17,((t6,t13),((t7,(t3,t8)),t1)))))),t0);
((t16,(((t18,t9),(t15,t19)),t4)),(t12,(t14,((((t2,t10),t11),t5),(t6,(t13,((t7,(t3,t8)),(t17,t1))))))),t0);
(((t15,(t19,(t18,t9))),(t4,t16)),(t12,((((t2,t10),t11),t5),((t6,((t3,t8),((t14,t1),(t7,t13)))),t17))),t0);
(((t16,((t19,(t18,t15)),t9)),t4),(t12,(((((t2,t10),t11),t5),(((t6,((t3,t8),t13)),(t7,t1)),t17)),t14)),t0);
((t3,t8),(t13,((t7,((t17,((((t2,t10),(t11,t5)),((t16,((((t9,t19),t18),t15),t4)),t12)),t14)),t6)),t1)),t0);
((t4,(t16,((t19,(t18,t9)),t15))),((t14,t12),((((t1,t6),(t7,((t3,t8),t13))),t17),(t5,((t2,t10),t11)))),t0);
(t16,((((t19,(t15,t18)),t9),t4),(((((((t13,t1),(t7,(t3,t8))),t6),t17),((t11,(t10,t2)),t5)),t14),t12)),t0);
((t16,(((t15,t19),(t18,t9)),t4)),((((t6,((t7,(t17,t1)),(t13,(t3,t8)))),((t11,(t10,t2)),t5)),t14),t12),t0);
((t4,(t16,((t18,(t9,t19)),t15))),(((t6,((t17,t1),((t13,(t3,t8)),t7))),(((t11,(t10,t2)),t5),t14)),t12),t0);
((t4,((t9,t16),((t18,t19),t15))),((t14,((t6,((t17,t1),(t13,((t3,t8),t7)))),((t11,(t10,t2)),t5))),t12),t0);
(((t4,t16),(t9,(t18,(t19,t15)))),(((((t17,t1),t13),(((t11,(t10,t2)),t5),t6)),(t14,((t3,t8),t7))),t12),t0);
((t4,(t16,((t19,t15),(t9,t18)))),(((((((t17,t1),t13),((t11,(t10,t2)),t5)),(t3,t6)),(t8,t7)),t14),t12),t0);
((t14,(t12,(((((t17,t1),t13),(t6,((t11,(t10,t2)),t5))),t3),(t8,t7)))),((t4,(t15,((t9,t18),t19))),t16),t0);
((t14,(t12,(((t11,(t10,t2)),t5),(((t17,(t3,t8)),(t1,(t7,t13))),t6)))),(t4,(((t18,t16),t9),(t19,t15))),t0);
((t12,(((((t11,(t10,t2)),t5),((t3,t8),((t1,t7),(t13,t6)))),t17),t14)),((t16,t4),((t18,t9),(t19,t15))),t0);
((t12,((((t11,(t10,t2)),t5),(t14,((t3,t8),(t6,(t7,(t1,t13)))))),t17)),(t16,(t4,(t9,((t19,t15),t18)))),t0);
(((t16,(((t15,t18),t19),t9)),t4),((((t5,(t11,(t2,t10))),((((t13,t1),(t7,(t3,t8))),t6),t17)),t14),t12),t0);
(((t16,(t15,((t9,t18),t19))),t4),((((t5,(t11,(t2,t10))),(((t7,(t13,(t3,t8))),(t17,t1)),t6)),t14),t12),t0);
((((((t15,t19),t18),t4),t9),t16),((t14,((t5,(t11,(t2,t10))),((((t7,(t3,t8)),(t13,t6)),t1),t17))),t12),t0);
((((t15,t19),(t18,(t9,t16))),t4),((t14,((t5,(t11,(t2,t10))),(((t13,t6),(t1,(t7,(t3,t8)))),t17))),t12),t0);
(((((t15,t19),(t18,t9)),t4),t16),((t14,((t5,(t11,(t2,t10))),(((t1,t6),(t7,(t13,(t3,t8)))),t17))),t12),t0);
((t4,(t16,(t15,((t19,t9),t18)))),(((t14,(t11,((t2,t10),t5))),(((t6,(t13,(t3,t8))),(t1,t7)),t17)),t12),t0);
(((t15,((t19,t9),t18)),(t4,t16)),(((t14,(t5,(t11,(t2,t10)))),(((t3,t8),(t1,(t6,(t7,t13)))),t17)),t12),t0);
((t4,(t16,(t15,(t19,(t9,t18))))),(((((t1,t6),(t7,(t13,(t3,t8)))),(t17,(t5,(t11,(t2,t10))))),t14),t12),t0);
((t16,(t4,(t15,(t19,(t9,t18))))),((((t5,(t11,(t2,t10))),((t1,(t7,(t6,(t13,(t3,t8))))),t17)),t14),t12),t0);
((t16,(t4,((t9,t18),(t15,t19)))),((((t5,(t11,(t2,t10))),(((t6,t13),(t1,(t7,(t3,t8)))),t17)),t14),t12),t0);
((t3,t8),((((t14,((t12,(t16,(t4,((t19,t15),(t18,t9))))),(((t11,(t2,t10)),t5),t17))),(t1,t6)),t7),t13),t0);
(((((t19,t15),(t18,t9)),t4),t16),(((t14,((t11,(t2,t10)),t5)),((t6,((t7,(t3,t8)),(t13,t1))),t17)),t12),t0);
((((t19,t15),(t18,t9)),(t4,t16)),(((t14,((t11,(t2,t10)),t5)),(((t13,t6),((t7,(t3,t8)),t1)),t17)),t12),t0);
((((t19,t15),(t18,t9)),(t4,t16)),((t14,(((t11,(t2,t10)),t5),(((t6,t1),((t7,t13),(t3,t8))),t17))),t12),t0);
((t16,((t15,(t19,(t18,t9))),t4)),(((((((t11,(t2,t10)),t5),t6),((t1,t17),(t14,t13))),t3),(t7,t8)),t12),t0);
((t16,(((t18,t9),(t15,t19)),t4)),((((((t11,(t2,t10)),t5),t6),((t1,t17),(t14,t13))),(t7,(t3,t8))),t12),t0);
((t9,((t15,t19),t18)),(((((((t11,(t2,t10)),t5),(((t7,(t3,t8)),(t1,t13)),t6)),(t17,t14)),t12),t4),t16),t0);
((((((t2,t10),t5),(t14,t11)),(((t3,t1),((t6,t13),(t7,t8))),t17)),t12),(t4,(((t15,t19),(t18,t9)),t16)),t0);
((((((t11,(t2,t10)),t5),t14),((t1,((t7,t13),((t3,t8),t6))),t17)),t12),(t4,((t15,(t19,(t18,t9))),t16)),t0);
((((((t11,(t2,t10)),t5),t14),(((t6,t13),((t7,(t3,t8)),t1)),t17)),t12),(t16,(t4,(t15,(t19,(t18,t9))))),t0);
((((((t11,(t2,t10)),t5),((((t7,(t3,t8)),(t6,t13)),t1),t17)),t14),t12),(t16,((t9,t18),(t15,(t19,t4)))),t0);
(((((t11,(t2,t10)),t5),(((t1,(t14,t13)),((t7,(t3,t8)),t6)),t17)),t12),(((t15,t19),(t16,(t9,t18))),t4),t0);
((((t14,((t11,(t2,t10)),t5)),(((t3,t8),((t1,t17),(t7,t13))),t6)),t12),((((t15,t19),(t9,t18)),t4),t16),t0);
(((((t11,(t2,t10)),t5),(((t1,t17),(((t8,t13),t6),t7)),t3)),(t12,t14)),(((t18,(t19,t15)),(t16,t9)),t4),t0);
((t12,(t14,(((t11,(t2,t10)),t5),(((t3,t8),((t1,t17),(t13,t7))),t6)))),(((t9,t18),(t19,t15)),(t16,t4)),t0);
((t12,((((t14,t11),(t2,t10)),t5),((t1,((t13,t6),(t7,(t3,t8)))),t17))),(t4,(((t9,t18),t19),(t15,t16))),t0);
((t17,((t14,t12),(((t11,(t2,t10)),t5),((t13,t6),((t7,(t3,t8)),t1))))),((t4,(t15,((t9,t18),t19))),t16),t0);
(t6,(((t7,(t3,t8)),(((t11,(t2,t10)),t5),((t14,t17),(t12,(t4,(t16,((t18,(t19,t15)),t9))))))),(t1,t13)),t0);
((t4,(t16,((t19,t15),(t9,t18)))),((t17,(((t11,(t2,t10)),t5),(((t1,(t14,t13)),(t7,(t3,t8))),t6))),t12),t0);
(((t4,(t15,(t19,(t18,t9)))),t16),(t17,((((t11,(t2,t10)),t5),(((t1,t14),((t13,t7),(t3,t8))),t6)),t12)),t0);
((t12,(((t5,(t11,(t2,t10))),(((t1,((t7,t13),t6)),(t3,t8)),t17)),t14)),(t16,(t4,((t15,(t18,t9)),t19))),t0);
((t12,(((t5,(t11,(t2,t10))),((((t1,t6),(t7,(t3,t8))),t13),t17)),t14)),(t16,(t4,((t18,t9),(t19,t15)))),t0);
((t12,(((t5,(t11,(t2,t10))),(((t1,((t7,(t3,t8)),t13)),t6),t17)),t14)),(t16,(t4,(t15,((t18,t9),t19)))),t0);
((t12,((t17,((t5,(t11,(t2,t10))),((t7,t8),((t3,t6),(t1,t13))))),t14)),(((t9,t18),t19),(t16,(t4,t15))),t0);
((t12,((t17,((t5,(t11,(t2,t10))),(t6,((t1,(t13,t7)),(t3,t8))))),t14)),(((t15,t19),(t9,t18)),(t16,t4)),t0);
((t12,((t14,(t5,(t11,(t2,t10)))),(((t17,t1),((t6,t13),(t7,t8))),t3))),(t4,(((t18,t9),(t15,t19)),t16)),t0);
(((t9,((t15,t19),t18)),t16),((t12,(((t11,(t2,t10)),(t5,t14)),(t17,((t6,t13),(t1,(t7,(t3,t8))))))),t4),t0);
((t4,(((t19,(t18,t9)),t15),t16)),(t12,((((t11,(t2,t10)),t5),(((t1,t17),((t6,t13),(t7,t8))),t3)),t14)),t0);
((t16,(t4,(t9,(t19,(t15,t18))))),(t12,((((t11,(t2,t10)),t5),((t13,(((t7,t8),t17),(t3,t1))),t6)),t14)),t0);
(t6,((t17,((t14,((t16,(t4,(t9,(t15,(t18,t19))))),t12)),((t11,(t2,t10)),t5))),((t1,t13),(t7,(t3,t8)))),t0);
((t14,((((t5,((t10,t2),t11)),((t3,t1),((t7,t8),(t13,t6)))),t17),t12)),(((t9,t18),(t15,t19)),(t16,t4)),t0);
((t14,(((t5,((t10,t2),t11)),(t6,((t17,t1),((t7,(t3,t8)),t13)))),t12)),(t16,(t4,((t18,t9),(t15,t19)))),t0);
((t12,(t14,((t5,((t10,t2),t11)),(t17,((t1,(t7,(t3,t8))),(t13,t6)))))),(t4,((t9,((t15,t19),t18)),t16)),t0);
(((t12,(t14,((t5,((t10,t2),t11)),(t17,(((t1,t13),(t3,t6)),(t7,t8)))))),((t15,t19),(t18,t9))),(t16,t4),t0);
((t12,(((t14,(t5,((t10,t2),t11))),((t1,((t7,t13),(t8,t3))),t6)),t17)),(t16,(t4,(t15,(t19,(t18,t9))))),t0);
((t12,(((t5,((t10,t2),t11)),(t17,((t1,(t7,(t13,(t8,t3)))),t6))),t14)),(t16,(t4,(t15,(t19,(t18,t9))))),t0);
((t12,(((t5,((t10,t2),t11)),(t17,(((t13,(t3,t1)),(t7,t8)),t6))),t14)),(((t18,t9),(t15,t19)),(t16,t4)),t0);
((t12,((t17,((t3,t1),((t7,t8),(t6,t13)))),(t14,(t5,((t10,t2),t11))))),((t16,t4),(t9,((t19,t15),t18))),t0);
((t12,(((t5,((t10,t2),t11)),(t3,(t17,((t1,(t7,t8)),(t6,t13))))),t14)),(t4,((t18,(t16,t9)),(t19,t15))),t0);
((t12,((t5,((t10,t2),t11)),(t17,(t1,((t14,(t7,(t3,t8))),(t13,t6)))))),(t4,((t9,(t18,t16)),(t19,t15))),t0);
((t16,((t9,((t19,t15),t18)),t4)),((((t5,((t10,t2),t11)),(t6,(((t3,t8),(t7,t13)),(t17,t1)))),t14),t12),t0);
((t14,(t12,(((t5,((t10,t2),t11)),((t3,t8),((t6,(t7,t13)),t1))),t17))),((t16,(t9,((t19,t15),t18))),t4),t0);
((t14,(t12,(((t5,((t10,t2),t11)),(t1,((((t3,t8),t13),t6),t7))),t17))),(t16,((t9,((t19,t15),t18)),t4)),t0);
((t12,((t14,(t5,((t10,t2),t11))),(((t3,t8),t6),((t13,t7),(t17,t1))))),(t16,(((t19,t15),(t18,t9)),t4)),t0);
((t12,((t7,t8),(((t3,(t5,((t10,t2),t11))),t6),((t17,t1),(t14,t13))))),(t4,(t16,(t9,((t19,t15),t18)))),t0);
((t12,(((t5,((t10,t2),t11)),((((t7,t8),(t17,t1)),t13),(t6,t3))),t14)),(t16,((t15,((t18,t9),t19)),t4)),t0);
((t12,(((t5,((t10,t2),t11)),(((t3,t8),(t7,(t13,(t17,t1)))),t6)),t14)),(t4,(t16,(t9,((t19,t15),t18)))),t0);
((t12,(((t5,((t10,t2),t11)),((((t7,t13),(t17,t1)),(t3,t8)),t6)),t14)),((t15,((t18,t9),t19)),(t4,t16)),t0);
((t12,((((t10,t2),(t11,t5)),((t1,(((t7,(t3,t8)),t13),t6)),t17)),t14)),((((t18,t9),(t19,t15)),t4),t16),t0);
((t12,(((t11,(t5,(t10,t2))),((t6,((t3,t8),(t1,(t7,t13)))),t17)),t14)),((t9,(t19,(t18,t15))),(t4,t16)),t0);
((((((t5,(t11,(t10,t2))),((t7,(t3,t8)),((t13,t1),t6))),t17),t14),t12),((t4,((t19,(t15,t18)),t9)),t16),t0);
((((t11,((t10,t2),(t14,t5))),(((t3,t1),((t6,t13),(t7,t8))),t17)),t12),((t4,(t15,((t19,t9),t18))),t16),t0);
(((((t5,((t10,t2),t11)),((t6,((t7,t8),(t13,(t3,t1)))),t17)),t14),t12),(t4,((t15,(t19,(t9,t18))),t16)),t0);
(((((t5,((t10,t2),t11)),(((t3,t1),(t8,(t6,(t7,t13)))),t17)),t14),t12),(t4,(((t9,t18),(t15,t19)),t16)),t0);
(((((t14,(t17,t1)),((t13,(t7,t8)),t6)),((t5,((t10,t2),t11)),t3)),t12),(t16,(t4,(t9,(t18,(t15,t19))))),t0);
(((((((t3,t1),((t13,(t7,t8)),t6)),t17),(t5,((t10,t2),t11))),t14),t12),(t16,(t4,(t9,(t18,(t15,t19))))),t0);
(((((((t3,t1),((t13,(t7,t8)),t6)),t17),(t5,((t10,t2),t11))),t14),t12),(t16,(t4,(t9,(t18,(t15,t19))))),t0);
((t14,(t12,((((t6,((t7,t13),t1)),(t3,t8)),t17),(t5,((t10,t2),t11))))),(t4,((t19,(t9,(t15,t18))),t16)),t0);
((t12,(((((t6,t13),(t7,t8)),(t1,t17)),(t3,(t5,((t10,t2),t11)))),t14)),(t4,(((t19,(t9,t18)),t15),t16)),t0);
((t12,(((((t6,t13),(t1,(t7,(t3,t8)))),t17),(t5,((t10,t2),t11))),t14)),(t4,(((t19,(t9,t18)),t15),t16)),t0);
((t12,((((t8,t3),((t7,t13),(t1,t6))),(t17,(t11,((t2,t10),t5)))),t14)),((t16,t4),((t9,(t19,t18)),t15)),t0);
((t12,(t14,((t5,(t11,(t2,t10))),(t17,(t6,((t7,(t8,t3)),(t13,t1))))))),((t16,t4),(t9,((t15,t19),t18))),t0);
((t16,(t12,(((t14,t11),((t2,t10),t5)),(t17,(((t7,(t8,t3)),t13),(t1,t6)))))),(t4,(t15,((t9,t19),t18))),t0);
((t12,(((t11,(t2,t10)),t5),(t17,((t14,t13),(t1,((t7,(t8,t3)),t6)))))),(t16,(((t9,t19),t18),(t4,t15))),t0);
((t12,((((t11,(t2,t10)),t5),(t17,((((t8,t3),t7),(t6,t13)),t1))),t14)),((t16,((t19,t15),(t9,t18))),t4),t0);
((t12,(((t11,((t2,t10),t5)),(t17,(t6,(t13,(t1,((t8,t3),t7)))))),t14)),(((t19,t15),(t18,(t9,t16))),t4),t0);
((t12,(((t5,(t11,(t2,t10))),(t17,((((t8,t3),t7),(t6,t13)),t1))),t14)),(((t9,((t19,t15),t18)),t4),t16),t0);
((t12,((t5,(t11,(t2,t10))),(t17,((((t6,t13),(t7,t8)),(t3,t1)),t14)))),(((((t19,t15),t18),t9),t16),t4),t0);
(t16,((t12,(((t5,(t11,(t2,t10))),(t17,(((t6,t13),(t7,(t3,t8))),t1))),t14)),(((t19,(t18,t9)),t15),t4)),t0);
((t12,((t17,(((t13,t6),(t7,t8)),(t3,t1))),(t14,(t5,(t11,(t2,t10)))))),(((t18,t9),(t15,t19)),(t4,t16)),t0);
((((t14,(((t10,t2),t11),t5)),((t1,(((t3,t8),t7),(t6,t13))),t17)),t12),(((t9,t19),(t15,t18)),(t4,t16)),t0);
((((t14,(((t10,t2),t11),t5)),(((t1,t7),(t6,((t3,t8),t13))),t17)),t12),(t4,((t16,t9),(t18,(t15,t19)))),t0);
(((t14,(((t11,(t10,t2)),t5),(t17,((t3,t8),((t1,(t7,t13)),t6))))),t12),(t4,((t18,(t9,t16)),(t15,t19))),t0);
(((t14,(((t11,(t10,t2)),t5),(t17,(((t7,(t3,t8)),(t6,t13)),t1)))),t12),((t4,(t9,((t18,t15),t19))),t16),t0);
(((t14,(((t11,(t10,t2)),t5),(t17,((t6,(t13,(t7,t8))),(t3,t1))))),t12),(((t18,(t15,t19)),(t16,t9)),t4),t0);
(((t14,(((t11,(t10,t2)),t5),(t6,(((t3,t8),(t13,t7)),(t17,t1))))),t12),(((t18,(t15,t19)),(t16,t9)),t4),t0);
(((t14,(((t11,(t10,t2)),t5),((t1,(((t3,t8),t7),(t6,t13))),t17))),t12),(t4,(t16,((t15,t19),(t9,t18)))),t0);
(((t14,(((t7,t1),((t13,(t3,t8)),t6)),(t17,((t11,(t10,t2)),t5)))),t12),(t4,(t16,((t15,t19),(t9,t18)))),t0);
((((t17,(((t7,(t13,(t3,t8))),t1),t6)),(t14,((t11,(t10,t2)),t5))),t12),(t16,((((t18,t15),t19),t9),t4)),t0);
((((t17,((t3,t8),(((t7,t13),t6),t1))),((t11,(t10,t2)),(t5,t14))),t12),(t16,(((t19,(t9,t18)),t15),t4)),t0);
((((t6,((t7,t8),(((t3,t1),t13),t17))),((t5,((t2,t10),t11)),t14)),t12),(t16,((t9,(t18,(t19,t15))),t4)),t0);
((t12,(((t5,((t2,t10),t11)),(t17,((t3,t1),(((t7,t8),t6),t13)))),t14)),(t16,(((t19,(t9,t18)),t15),t4)),t0);
((t12,((t14,(t5,((t2,t10),t11))),(t6,((t13,(t1,t17)),(t7,(t3,t8)))))),(((t9,t18),(t15,t19)),(t4,t16)),t0);
((t12,((((t2,t10),t11),(t14,t5)),((((t7,(t3,t8)),t1),(t6,t13)),t17))),(t16,((t9,((t19,t15),t18)),t4)),t0);
((t12,(((t11,(t5,(t2,t10))),t14),((t1,((t7,(t3,t8)),(t6,t13))),t17))),(t16,((t9,((t19,t15),t18)),t4)),t0);
((t12,((t17,((t5,((t2,t10),t11)),((t13,t1),((t7,(t3,t8)),t6)))),t14)),(t16,(((t19,(t18,t9)),t15),t4)),t0);
((t12,((t17,((t1,(t7,t13)),((t3,t8),t6))),(t14,(t5,((t2,t10),t11))))),(t4,(t16,(t9,((t15,t19),t18)))),t0);
(t16,(((t15,t19),(t18,t9)),((t12,(t14,((t5,((t2,t10),t11)),(t17,(((t7,(t3,t8)),(t6,t13)),t1))))),t4)),t0);
((t12,((t14,(((t2,t10),t11),t5)),((((t17,t1),t7),(t13,(t3,t8))),t6))),((t4,((t15,t19),(t18,t9))),t16),t0);
((t4,(t12,(t14,((((t2,t10),t11),t5),(((t3,t8),((t13,t7),(t1,t6))),t17))))),(((t15,t19),(t18,t9)),t16),t0);
((t14,(t12,(((t3,t8),t7),((t17,t1),(t6,(t13,(t5,(t11,(t10,t2))))))))),((t16,(t4,((t18,t15),t19))),t9),t0);
((t12,(((t5,(t11,(t10,t2))),(((t13,((t3,t8),t7)),t1),t6)),(t14,t17))),(t16,(t4,(t15,((t19,t9),t18)))),t0);
(((t12,(((t5,(t11,(t10,t2))),((((t3,t8),t7),(t1,t13)),t6)),t17)),t14),(t16,(t4,(t15,((t19,t9),t18)))),t0);
((t12,(t14,((t5,(t11,(t10,t2))),(((t3,t8),((t7,t13),(t17,t1))),t6)))),(((t4,t15),t19),((t9,t16),t18)),t0);
((t14,(((t5,(t11,(t10,t2))),((((t7,(t3,t8)),(t6,t13)),t1),t17)),t12)),((((t15,t19),(t18,t9)),t4),t16),t0);
((t12,(t14,((t5,(t11,(t10,t2))),((((t1,(t8,t7)),(t3,t13)),t6),t17)))),(((t15,t19),(t18,t9)),(t4,t16)),t0);
((t12,(t14,((((t10,t2),(t5,t11)),((((t3,t8),t7),(t1,t13)),t6)),t17))),((((t15,t19),(t18,t9)),t4),t16),t0);
((t4,(t12,(t14,((t5,(t11,(t10,t2))),((t3,t8),(((t17,t1),(t7,t13)),t6)))))),(t15,(t19,((t16,t18),t9))),t0);
((t12,(((t5,(t11,(t10,t2))),(((t13,((t7,t8),t6)),(t3,t1)),t17)),t14)),(((t15,(t18,(t9,t19))),t4),t16),t0);
((t12,((t17,((t5,(t11,(t10,t2))),(((t6,(t13,(t3,t8))),t1),t7))),t14)),((((t15,t19),(t18,t9)),t16),t4),t0);
(((((((t2,t10),t11),t5),((t6,((t1,t13),((t3,t8),t7))),t17)),t14),t12),((((t19,(t18,t9)),t15),t4),t16),t0);
(((((((t2,t10),t11),t5),(((t1,(t6,(t7,t13))),(t3,t8)),t17)),t14),t12),((((t18,(t15,t19)),t4),t9),t16),t0);
(((((((t2,t10),t11),t5),(t6,(((t17,t1),(t7,(t3,t8))),t13))),t14),t12),((((t15,t19),(t9,t18)),t16),t4),t0);
(((((((t2,t10),t11),t5),((t1,((t13,t6),(t7,(t3,t8)))),t17)),t14),t12),(t16,(t4,(t9,((t15,t19),t18)))),t0);
(((((((t2,t10),t11),t5),(t6,((t7,(t3,t8)),(t1,t13)))),(t14,t12)),t17),(((t15,t19),(t18,t9)),(t16,t4)),t0);
((((((t2,t10),t11),(t14,t5)),((t1,((t6,t13),(t7,(t3,t8)))),t17)),t12),(t4,((t15,t19),(t18,(t9,t16)))),t0);
(t16,((((t14,(t5,((t2,t10),t11))),((((t6,(t7,t13)),(t3,t8)),t1),t17)),t12),(t4,((t15,t19),(t18,t9)))),t0);
((t4,((t15,(t18,(t9,t19))),t16)),(((t14,(t5,((t2,t10),t11))),(t6,(((t1,t17),t13),(t7,(t3,t8))))),t12),t0);
((t4,((t9,((t15,t19),t18)),t16)),(((t14,(t5,((t2,t10),t11))),((t6,(t1,((t13,t7),(t3,t8)))),t17)),t12),t0);
((t4,(((t15,t19),(t18,t9)),t16)),(((t14,(t5,((t2,t10),t11))),(((((t3,t8),t7),(t13,t6)),t1),t17)),t12),t0);
((t12,((t17,((t1,((t3,t8),(t13,t7))),t6)),(t5,(t11,(t14,(t2,t10)))))),(((t15,(t19,(t18,t9))),t16),t4),t0);
((t12,(((t17,((t3,t8),((t13,t7),(t6,t1)))),(t5,(t11,(t2,t10)))),t14)),(t16,(t4,(t15,(t19,(t18,t9))))),t0);
((t12,(((((t13,t6),((t17,t8),t7)),(t3,t1)),(t5,(t11,(t2,t10)))),t14)),(((t18,t9),(t15,t19)),(t16,t4)),t0);
((t12,(((t6,(((t1,t17),((t3,t8),t7)),t13)),(t5,(t11,(t2,t10)))),t14)),(((t15,(t19,(t18,t9))),t4),t16),t0);
((t12,(((((t3,t8),(t6,((t7,t13),t1))),t17),(t11,((t2,t10),t5))),t14)),((((t18,t9),(t15,t19)),t16),t4),t0);
((t12,(((((t3,t8),(t6,((t7,t13),t1))),t17),(t11,((t2,t10),t5))),t14)),(t16,(t4,((t18,t9),(t15,t19)))),t0);
((t13,(((t3,t8),t7),((t6,(t12,(t14,(t5,(t11,(t2,t10)))))),(t1,t17)))),(t4,((t15,(t19,(t18,t9))),t16)),t0);
((t12,((t11,((t2,t10),t5)),(t14,(((t1,t7),((t3,t8),(t6,t13))),t17)))),(t4,(((t18,t9),(t15,t19)),t16)),t0);
((t12,(((t5,(t11,(t2,t10))),(((t6,t13),(t1,(t7,(t3,t8)))),t17)),t14)),(t4,((t15,t19),(t9,(t18,t16)))),t0);
((t12,(((t5,(t11,(t2,t10))),((t6,((t1,t13),(t7,(t3,t8)))),t17)),t14)),(t16,(t4,(t15,(t19,(t9,t18))))),t0);
(((t14,((t5,(t11,(t10,t2))),((t6,((t13,t1),(t7,(t3,t8)))),t17))),t12),((t16,(t9,((t18,t15),t19))),t4),t0);
(((t14,((t5,(t11,(t10,t2))),(t6,((t13,t1),(t7,(t17,(t3,t8))))))),t12),(t16,(((t19,(t9,t18)),t15),t4)),t0);
((((((t3,t8),((t7,t13),(t6,t1))),t14),((t5,(t11,(t10,t2))),t17)),t12),(t4,(t16,(t9,(t18,(t15,t19))))),t0);
(((((((t10,t2),t11),t5),(t17,((t1,(t6,t13)),((t3,t8),t7)))),t14),t12),(t4,((t15,t19),(t9,(t16,t18)))),t0);
(((((((t10,t2),t11),t5),(t17,(((t1,t13),((t3,t8),t7)),t6))),t14),t12),((t4,(t15,((t18,t9),t19))),t16),t0);
(((((((t10,t2),t11),t5),(((t1,t6),(t7,t13)),((t3,t8),t17))),t14),t12),((t16,(t9,((t19,t15),t18))),t4),t0);
(((((((t10,t2),t11),t5),(((t6,(t7,(t3,t8))),(t1,t13)),t17)),t14),t12),((t16,(t9,((t15,t18),t19))),t4),t0);
((t14,(t12,((((t10,t2),t11),t5),(((t7,(t3,t8)),(t13,(t1,t17))),t6)))),((t16,(t9,(t18,(t19,t15)))),t4),t0);
((t12,(((((t10,t2),t11),t5),((((t7,(t3,t8)),(t13,t1)),t6),t17)),t14)),(t16,(((t19,(t9,t18)),t15),t4)),t0);
((t12,(((((t10,t2),t11),t5),((t7,((t13,(t3,t8)),(t6,t1))),t17)),t14)),(((t9,t18),(t15,t19)),(t4,t16)),t0);
((t14,((t12,(t5,(t11,(t10,t2)))),((t13,t1),((t3,t6),(t17,(t7,t8)))))),(t4,((t9,(t18,(t15,t19))),t16)),t0);
(((t14,((t11,((t10,t2),t5)),(t17,((t3,t8),(t6,((t13,t7),t1)))))),t12),(t16,(t4,(t9,(t19,(t18,t15))))),t0);
(((t14,((t5,(t11,(t10,t2))),(((t6,t13),(t7,(t3,t8))),(t1,t17)))),t12),(t4,((t16,t18),((t9,t15),t19))),t0);
(((t14,((t5,(t11,(t10,t2))),((((t17,t1),(t7,(t3,t8))),t13),t6))),t12),((t4,t16),((t19,(t15,t18)),t9)),t0);
((t14,(((t5,(t11,(t10,t2))),(((t17,t1),(t7,((t3,t8),t13))),t6)),t12)),(t4,(t16,(t9,((t19,t15),t18)))),t0);
((t12,(t14,(((t6,((t7,(t3,t8)),(t1,t13))),t17),(t11,((t10,t2),t5))))),(t4,(t16,((t19,(t18,t9)),t15))),t0);
((t12,(t14,((((t6,((t7,(t3,t8)),t13)),t1),t17),(t11,((t10,t2),t5))))),(t16,(((t18,t9),(t15,t19)),t4)),t0);
((t12,((((t6,((t3,t8),t13)),(t7,t1)),t17),((t5,(t11,(t10,t2))),t14))),(t16,(((t18,t9),(t15,t19)),t4)),t0);
((t12,((((t6,((t3,t8),t13)),(t7,t1)),t17),((t5,(t11,(t10,t2))),t14))),(t16,(((t18,t9),(t15,t19)),t4)),t0);
((t12,((t17,(((t5,(t10,t2)),t11),(t6,((t7,(t3,t8)),(t13,t1))))),t14)),(t4,(t16,(t9,((t18,t15),t19)))),t0);
(((t14,((t11,(t5,(t10,t2))),(t17,(((t3,t8),t7),(t6,(t1,t13)))))),t12),(t16,(t4,((t18,t9),(t19,t15)))),t0);
(t16,((t4,(t15,((t18,t9),t19))),(((t17,(t6,(((t3,t8),t1),(t7,t13)))),(t14,(t5,((t10,t2),t11)))),t12)),t0);
((((t17,(t1,(t7,(t6,(t13,(t3,t8)))))),(t14,(t5,((t10,t2),t11)))),t12),(t4,(t16,(t15,((t18,t9),t19)))),t0);
((((t17,((((t13,t7),t1),t6),(t3,t8))),(t14,(t5,((t10,t2),t11)))),t12),(t4,((t18,(t16,t9)),(t19,t15))),t0);
((t12,(((t17,((((t13,t7),t1),t6),(t3,t8))),(t5,((t10,t2),t11))),t14)),(t4,((t16,(t18,t9)),(t19,t15))),t0);
((t14,(t12,((t17,((((t13,t7),t1),t6),(t3,t8))),(t5,((t10,t2),t11))))),((t4,(t9,(t19,(t18,t15)))),t16),t0);
((t14,(t12,((t17,((t1,t3),((t13,t6),(t7,t8)))),(t5,((t10,t2),t11))))),((t4,((t19,(t18,t9)),t15)),t16),t0);
((t12,((((t7,(t3,t8)),((t1,t13),t6)),((t5,((t10,t2),t11)),t17)),t14)),((t4,((t19,(t18,t9)),t15)),t16),t0);
((t12,(((t5,((t10,t2),t11)),(t6,((t7,(t3,t8)),((t17,t1),t13)))),t14)),(t4,((t15,(t18,(t19,t9))),t16)),t0);
((t12,(((t5,((t10,t2),t11)),(t6,((t17,(t3,t8)),(t1,(t7,t13))))),t14)),(t16,(t4,((t18,(t19,t15)),t9))),t0);
(((((t11,(t10,t2)),(t5,t14)),(((((t13,t7),(t3,t8)),t6),t1),t17)),t12),((t16,((t18,t9),(t15,t19))),t4),t0);
((((t11,((t14,t5),(t10,t2))),(((t7,(t3,t8)),((t17,t1),t13)),t6)),t12),((((t19,(t15,t9)),t18),t4),t16),t0);
(t16,((t14,(t12,((t11,(t5,(t10,t2))),(((t6,t17),(t1,(t7,(t3,t8)))),t13)))),((t9,((t15,t18),t19)),t4)),t0);
(((((t6,((t13,(t1,t3)),(t7,t8))),(t11,(t5,(t10,t2)))),(t14,t12)),t17),((((t9,t18),(t19,t15)),t4),t16),t0);
(((((((((t7,t1),t13),t6),(t3,t8)),(t5,((t10,t2),t11))),t17),t14),t12),(((t9,t18),(t19,t15)),(t4,t16)),t0);
((((((((t6,t13),t1),(t7,(t3,t8))),t17),(t5,((t10,t2),t11))),t14),t12),(t16,((t9,((t15,t18),t19)),t4)),t0);
(((((((t17,t1),((t13,(t3,t8)),t7)),t6),(t5,((t10,t2),t11))),t14),t12),(t16,((((t19,t15),t18),t9),t4)),t0);
(((((((t1,t13),((t7,t17),(t3,t8))),t6),(t5,((t10,t2),t11))),t14),t12),(t16,(((t19,t15),(t18,t9)),t4)),t0);
((((((t6,((t7,t13),t1)),(t17,(t11,(t5,(t10,t2))))),(t3,t8)),t14),t12),((t16,((t19,t15),(t18,t9))),t4),t0);
(((((t5,((t10,t2),t11)),(((t1,t17),(t13,(t3,(t7,t8)))),t6)),t14),t12),((((t19,(t15,t18)),t9),t4),t16),t0);
((((t17,(((t11,(t10,t2)),t5),((t1,(t7,(t3,t8))),(t13,t6)))),t14),t12),((t4,((t18,(t19,t15)),t9)),t16),t0);
((((((t11,(t10,t2)),t5),(t6,((t7,(t3,t8)),(t17,(t1,t13))))),t14),t12),(t4,((t15,((t18,t9),t19)),t16)),t0);
((((t1,(((t7,t8),t6),t13)),(t3,((t11,(t10,t2)),t5))),t17),(t14,(t12,((t15,((t18,t9),t19)),(t16,t4)))),t0);
(((t16,((t19,(t15,t18)),t9)),t4),((((((t7,t8),((t13,t6),(t3,t1))),((t11,(t10,t2)),t5)),t17),t14),t12),t0);
((t16,((t15,(t19,(t18,t9))),t4)),(((t17,((t3,t1),((t7,t8),(t13,t6)))),(((t11,(t10,t2)),t5),t14)),t12),t0);
((((t18,(t15,t19)),t9),(t4,t16)),(((t17,((((t3,t8),t7),t1),(t13,t6))),(((t11,(t10,t2)),t5),t14)),t12),t0);
((t4,(t16,((t18,(t15,t19)),t9))),((t14,(((((t3,(t8,t17)),t1),(t7,t13)),t6),((t11,(t10,t2)),t5))),t12),t0);
((((t18,(t15,t19)),t9),(t4,t16)),((t12,((t6,((t1,t7),((t8,t3),(t14,t13)))),((t11,(t10,t2)),t5))),t17),t0);
((t12,((t5,((t11,(t10,t2)),t14)),(((t1,t7),(((t8,t3),t13),t6)),t17))),((((t15,t19),(t9,t18)),t4),t16),t0);
(((t12,((t5,((t10,t2),t11)),((t1,((t7,(t8,t3)),(t13,t6))),t17))),t14),(t4,(t16,(t9,(t18,(t15,t19))))),t0);
(((t14,(t5,((t2,t10),t11))),(t12,((((t13,t7),(t8,t3)),(t1,t6)),t17))),(t4,(((t9,t16),t18),(t15,t19))),t0);
((t12,(((t1,(t6,((t13,t7),(t8,t3)))),t17),(t14,(t5,((t2,t10),t11))))),(t4,((t15,(t18,(t9,t19))),t16)),t0);
(((t12,((((t17,t1),t7),(t6,((t8,t3),t13))),(t5,((t2,t10),t11)))),t14),(t4,((t19,t15),(t18,(t9,t16)))),t0);
((t12,((((t17,t1),((t8,t3),(t7,t13))),(t6,(t5,((t2,t10),t11)))),t14)),(t4,((t19,(t15,t18)),(t9,t16))),t0);
((t12,((((t7,t13),(t6,((t17,t1),(t8,t3)))),(t5,((t2,t10),t11))),t14)),((t4,t16),((t18,(t19,t15)),t9)),t0);
((t12,((((((t5,((t2,t10),t11)),t6),(t13,t1)),t17),(t7,(t8,t3))),t14)),(t4,(t16,((t19,t15),(t9,t18)))),t0);
(((t12,((t5,((t2,t10),t11)),(((t1,(t7,(t8,t3))),(t6,t13)),t17))),t14),(t16,((t9,((t15,t18),t19)),t4)),t0);
((t12,(t14,((t5,((t2,t10),t11)),(((t1,(t6,(t13,(t8,t3)))),t7),t17)))),(t16,(((t9,t18),(t19,t15)),t4)),t0);
((t12,((((t6,(t13,(t8,t3))),t7),(t1,t17)),(t14,(t5,((t2,t10),t11))))),(t16,(((t9,t18),(t19,t15)),t4)),t0);
((t17,((t14,t12),((t5,((t2,t10),t11)),(((t7,t8),t3),(t1,(t6,t13)))))),(t16,(((t9,t18),(t19,t15)),t4)),t0);
((((((t1,(t6,t13)),(t7,(t3,t8))),t17),(t14,(((t10,t2),t11),t5))),t12),((t4,((t18,(t9,t19)),t15)),t16),t0);
(((((t1,(((t13,(t3,t8)),t6),t7)),t17),((t11,t14),((t10,t2),t5))),t12),(t4,(((t19,(t18,t9)),t15),t16)),t0);
((t12,((((((t7,(t3,t8)),(t1,t13)),t6),t17),((t11,(t10,t2)),t5)),t14)),((t4,((t19,(t18,t9)),t15)),t16),t0);
((t14,(t12,(((((t7,(t3,t8)),(t1,t13)),t6),t17),(t11,((t10,t2),t5))))),(t4,((t9,(t18,(t19,t15))),t16)),t0);
((t12,((t5,(t11,(t10,t2))),(((t1,t7),(t6,((t14,t13),(t3,t8)))),t17))),(t4,((t9,(t18,(t19,t15))),t16)),t0);
((t12,(((t11,((t10,t2),t5)),((((t1,(t7,t13)),(t3,t8)),t6),t17)),t14)),(t4,((t19,t15),(t16,(t9,t18)))),t0);
((t12,(((t5,(t11,(t10,t2))),(((((t7,t13),t6),t1),(t3,t8)),t17)),t14)),((t16,t4),((t9,t18),(t19,t15))),t0);
((t12,((t5,(t11,(t10,t2))),(((t3,t1),t13),(t6,(t17,((t14,t8),t7)))))),(t16,(t4,(t9,(t18,(t19,t15))))),t0);
((t12,(t14,((t6,((t1,(t7,t13)),(t17,(t3,t8)))),(t5,(t11,(t10,t2)))))),(t16,(t4,(t9,(t18,(t19,t15))))),t0);
(((((t6,((t13,t1),(t7,(t3,t8)))),t17),(t5,(t11,(t10,t2)))),(t12,t14)),(t4,((t9,(t18,(t19,t15))),t16)),t0);
((t12,((t17,((t3,t1),((t7,t8),(t13,t6)))),(((t11,(t10,t2)),t5),t14))),((t16,t4),((t19,t15),(t18,t9))),t0);
((t12,(((t7,(t3,t8)),((((t11,(t10,t2)),t5),t6),((t1,t17),t13))),t14)),(t4,((t15,((t18,t9),t19)),t16)),t0);
((t12,(((t14,(t11,(t10,t2))),t5),((((t1,t17),t13),((t3,t8),t7)),t6))),(t16,(t4,(t15,((t18,t9),t19)))),t0);
((t12,((((t11,(t10,t2)),t5),((((t1,t17),t13),((t3,t8),t7)),t6)),t14)),(t16,(t4,((t19,(t15,t18)),t9))),t0);
((t12,((((t11,(t10,t2)),t5),(((t6,(t13,((t3,t8),t7))),t1),t17)),t14)),(t4,(((t9,t18),(t19,t15)),t16)),t0);
((t12,(((t14,(t11,(t10,t2))),t5),(((t6,(t13,((t3,t8),t7))),t1),t17))),((t15,((t9,t18),t19)),(t16,t4)),t0);
((t12,(((t11,(t10,t2)),t5),((t14,(t6,(((t3,t8),(t7,t13)),t1))),t17))),((((t19,t18),t15),t9),(t16,t4)),t0);
(((t12,(((t11,(t10,t2)),t5),((t7,t13),(((t17,t1),t6),(t3,t8))))),t14),(t16,(t4,((t9,t18),(t15,t19)))),t0);
((((t14,((t11,(t10,t2)),t5)),((t6,(((t8,t7),t13),(t1,t3))),t12)),t17),((t16,(t15,((t9,t19),t18))),t4),t0);
((((t14,((t11,(t10,t2)),t5)),(((t7,(t6,(t8,t13))),(t1,t3)),t17)),t12),(t16,(((t18,(t15,t19)),t9),t4)),t0);
((((t9,t16),((t19,t15),t18)),t4),(t12,((((t14,(t7,(t8,t3))),t1),(t13,t6)),(t17,(((t2,t10),t5),t11)))),t0);
(((t12,(((t13,((t7,(t8,t3)),(t17,t1))),t6),(t5,(t11,(t2,t10))))),t14),(t4,(t16,(t15,((t9,t18),t19)))),t0);
(((t12,(((t13,((t7,(t8,t3)),(t17,t1))),t6),(t5,(t11,(t2,t10))))),t14),(t16,(((t9,t18),(t19,t15)),t4)),t0);
((t12,((((t11,(t2,t10)),t5),((((t7,(t8,t3)),t1),(t6,t13)),t17)),t14)),(t16,((t9,(t18,(t19,t15))),t4)),t0);
(((t11,(t2,t10)),t5),(((t8,t3),(t1,(t6,(t7,t13)))),(t17,(t14,((t4,(t16,(t9,(t18,(t19,t15))))),t12)))),t0);
((t4,(t16,((t19,t15),(t9,t18)))),((t14,t12),(((t11,(t2,t10)),t5),(t6,((t3,(t7,t8)),((t17,t1),t13))))),t0);
((t4,(((t15,(t19,t18)),t9),t16)),(t12,((((t11,(t2,t10)),t5),t14),(((t1,(t7,(t13,(t3,t8)))),t6),t17))),t0);
((t16,(t4,(t15,(t19,(t9,t18))))),(t12,((((t11,(t2,t10)),t5),((((t7,(t8,t3)),t13),(t17,t1)),t6)),t14)),t0);
(((t15,(t19,(t9,t18))),(t16,t4)),(t12,(((((t11,(t2,t10)),t5),((t8,t3),(t6,((t7,t13),t1)))),t17),t14)),t0);
(t16,(t4,((t12,((((t11,(t2,t10)),t5),(t14,((t6,(t7,(t13,(t8,t3)))),t1))),t17)),(t15,(t19,(t9,t18))))),t0);
(((t12,(((t6,(t1,((t13,(t3,t8)),t7))),t17),(((t10,t2),t11),t5))),t14),((t4,((t9,(t19,t15)),t18)),t16),t0);
((t12,(((((t10,t2),t11),t5),(((((t7,t13),t6),t8),(t3,t1)),t17)),t14)),((t4,(t9,(t18,(t19,t15)))),t16),t0);
((t12,((t14,(((t10,t2),t11),t5)),((t7,t13),(((t1,t17),(t8,t3)),t6)))),((t4,((t19,(t9,t18)),t15)),t16),t0);
((t12,((t14,(((t10,t2),t11),t5)),(t6,((t1,t17),((t7,t13),(t8,t3)))))),((t4,((t19,(t9,t18)),t15)),t16),t0);
((t12,(((t14,(t7,(t3,t8))),((t13,t6),t1)),(t17,(((t10,t2),t11),t5)))),(((t9,t18),(t15,t19)),(t16,t4)),t0);
((t12,(((((t10,t2),t11),t5),((t7,(((t13,(t3,t8)),t6),t1)),t17)),t14)),(t16,(t4,((t9,t18),(t15,t19)))),t0);
((t12,(((((t3,t8),t7),((t13,t6),t1)),t17),(t14,(((t10,t2),t11),t5)))),(t4,(((t9,t18),(t15,t19)),t16)),t0);
((t12,(((t3,t8),((t14,(((t10,t2),t11),t5)),t6)),((t7,t13),(t17,t1)))),(t16,(t4,(t15,(t19,(t9,t18))))),t0);
((t12,((((((t10,t2),t11),t5),(t6,((t13,t1),(t7,(t3,t8))))),t17),t14)),(t16,(t4,((t15,t18),(t19,t9)))),t0);
((t12,(((((t10,t2),t11),t5),((t1,((t7,(t3,t8)),(t13,t6))),t17)),t14)),(t16,(t4,(t9,(t18,(t15,t19))))),t0);