(((b,#H5),a),((c,(d,e)))#H5);
((#H2,(c,d)),((b,(a,e)))#H2);
((a,(((c,#H6),b),e)),(d)#H6);
((((c,(b,e)),#H5),a),(d)#H5);
(((c,#H5),(b,a)),((d,e))#H5);
((((c,d))#H5,b),(#H5,(a,e)));
((((d)#H6,(c,e)),b),(a,#H6));
((#H2,a),(((b,(c,e)),d)#H2));
(((c,d))#H5,((a,(b,#H5)),e));
((e,((a,b),#H5)),((c,d))#H5);
(((d)#H6,c),((b,#H6),(a,e)));
(((c,d))#H2,((#H2,(a,b)),e));
((d)#H6,((a,(b,(c,#H6))),e));
((d)#H6,((a,b),(#H6,(c,e))));
((d)#H6,(a,((c,(b,e)),#H6)));
(((b,(c,d)))#H3,(e,(a,#H3)));
((((c,(d,e)),b))#H3,(a,#H3));
((((b,(c,e)),d))#H2,(a,#H2));
((((a,#H3),e),b),((c,d))#H3);
(((c,d))#H3,(((a,#H3),b),e));
(((b,(#H6,(c,e))),a),(d)#H6);
((((b,(c,e)),#H6),a),(d)#H6);
(((c,d))#H4,(a,(#H4,(b,e))));
((#H5,(b,(a,e))),((c,d))#H5);
(((c,d))#H4,(a,(#H4,(b,e))));
(((c,(d,e)))#H3,((a,b),#H3));
(((a,b),((c,#H6),e)),(d)#H6);
(((a,b),((c,#H6),e)),(d)#H6);
((d)#H5,(a,((b,(c,#H5)),e)));
((d)#H4,(((b,c),#H4),(a,e)));
((d)#H4,((a,(b,e)),(c,#H4)));
((a,(b,#H5)),(e,((c,d))#H5));
((a,((c,#H6),b)),((d,e))#H6);
((a,((b,c),#H6)),((d,e))#H6);
((a,(((c,d),e))#H5),(b,#H5));
((#H3,b),((((c,e),d))#H3,a));
((a,(d)#H6),(e,(b,(c,#H6))));
((#H3,((b,c),e)),((d)#H3,a));
((((c,(d,e)))#H4,a),(b,#H4));
(((((c,d),e))#H4,a),(b,#H4));
(((#H6,(c,e)),b),(a,(d)#H6));
(((d)#H5,a),(b,((c,#H5),e)));
(((d)#H4,a),((b,(c,e)),#H4));
((a,((b,#H5),e)),((c,d))#H5);
(((a,b),#H5),(e,((c,d))#H5));
(((b,((c,#H6),e)),a),(d)#H6);
(((a,b),(#H6,(c,e))),(d)#H6);
(((b,((d,e))#H6),a),(c,#H6));
(((a,b),(d)#H6),((c,#H6),e));
((a,(((d)#H5,b),e)),(c,#H5));
(((d)#H5,(a,b)),((c,#H5),e));
((a,(b,(c,#H6))),(e,(d)#H6));
(((b,a),((c,e),#H6)),(d)#H6);
((a,((c,b),#H6)),(e,(d)#H6));
((a,(e,(b,#H4))),((c,d))#H4);
((a,(d)#H6),((#H6,(c,e)),b));
(((b,c))#H3,((a,(#H3,d)),e));
(((#H3,b),(a,e)),((c,d))#H3);
(((#H3,b),(a,e)),((c,d))#H3);
((a,(b,(#H6,(c,e)))),(d)#H6);
(((#H3,(b,c)),(a,e)),(d)#H3);
((a,(e,(b,#H4))),((c,d))#H4);
((c)#H4,((a,((b,#H4),d)),e));
((a,((c,#H6),(b,e))),(d)#H6);
((a,(e,(b,(c,#H5)))),(d)#H5);
((a,(((b,c),#H4),e)),(d)#H4);
(a,((d,(c,e))#H5),(b,(#H5)));
((a,(d)#H6),((b,e),(c,#H6)));
((a,(e,(c,#H6))),(b,(d)#H6));
((a,(#H5,(c,e))),(b,(d)#H5));
((a,((d,e))#H6),(b,(c,#H6)));
((a,(d)#H6),((b,(c,e)),#H6));
(((b,#H5),(a,e)),((c,d))#H5);
(((a,b),(e,#H5)),((c,d))#H5);
((a,((#H4,d),(b,e))),(c)#H4);
(((#H4,d),((a,b),e)),(c)#H4);
((a,(b,((#H4,c),e))),(d)#H4);
(((a,b),((c,#H6),e)),(d)#H6);
((a,((#H6,c),(b,e))),(d)#H6);
(((#H6,c),((a,b),e)),(d)#H6);
((a,((b,(d)#H6),e)),(c,#H6));
((c,#H6),(((a,b),(d)#H6),e));
((a,((b,(c,#H6)),e)),(d)#H6);
(((a,(b,e)),(c,#H6)),(d)#H6);
((a,((b,c),(e,#H6))),(d)#H6);
((((b,e))#H5,(a,#H5)),(c,d));
((((c,(b,e)))#H5,(a,#H5)),d);
(((c)#H6,((a,#H6),(b,e))),d);
(((c)#H5,((b,(a,e)),#H5)),d);
((b,(a,#H4)),((d,(c,e)))#H4);
(((b,(c,e)),(a,#H4)),(d)#H4);
((((b,#H4),a),(c,e)),(d)#H4);
((c,(a,(#H5,(b,e)))),(d)#H5);
((c,(((a,b),#H5),e)),(d)#H5);
(((a,b),(e,#H3)),((c,d))#H3);
(((a,(b,c)),(e,#H3)),(d)#H3);
(((a,((c,e))#H5),(b,#H5)),d);
(((a,c),(#H4,(b,e))),(d)#H4);
((((a,e),b),(#H3,c)),(d)#H3);
(((((a,b),c),e),#H3),(d)#H3);
((((a,e),#H4),b),((c,d))#H4);
(((a,#H4),(c,(b,e))),(d)#H4);
((((c,e))#H5,(a,(b,#H5))),d);
((((a,(b,#H5)),e),c),(d)#H5);
(((a,(#H4,c)),(b,e)),(d)#H4);
(((a,((b,#H6),e)),c),(d)#H6);
((((a,(b,e)),#H6),c),(d)#H6);
((b,((c,(d,e))#H4)),(a,#H4));
((((b,c))#H5,((#H5,d),e)),a);
((((c,e))#H5,((b,#H5),d)),a);
(((c,e),(b,#H5)),(a,(d)#H5));
(((b,(c,e)),(d)#H5),(a,#H5));
(((c)#H6,(b,((#H6,d),e))),a);
(((e,(d)#H6),c),((b,#H6),a));
(((b,a),#H5),((c,(d)#H5),e));
(((b,#H4),(a,e)),((c,d))#H4);
((a,((e,#H4),(b,c))),(d)#H4);
((((c)#H6,(a,e)),(b,#H6)),d);
((a,((e,(b,#H5)),c)),(d)#H5);
((((b,c),(d)#H4),(a,e)),#H4);
(a,(#H6,((((c)#H6,d),b),e)));
((a,(e,((d)#H6,c))),(b,#H6));
(((b,((d)#H5,c)),(a,e)),#H5);
(((a,(b,e)),((d)#H5,c)),#H5);
(((a,#H5),(b,e)),((c,d))#H5);
((((a,#H6),(b,c)),e),(d)#H6);
((((a,(b,#H6)),c),e),(d)#H6);
((((b,(a,e)),#H6),c),(d)#H6);
((((c,d))#H5,(b,e)),(a,#H5));
(((d)#H5,(b,c)),(#H5,(a,e)));
((((a,(d)#H6),e),c),(b,#H6));
(((d)#H6,c),((b,#H6),(a,e)));
((((d)#H6,c),e),((b,a),#H6));
(((a,#H2),(c,(d,e))),(b)#H2);
(((a,#H2),(d,e)),((b,c))#H2);
(((b,#H6),c),(((d,e))#H6,a));
(((d)#H6,(c,e)),((b,#H6),a));
((((c)#H2,d),e),((a,#H2),b));
((((c,e))#H2,d),((b,a),#H2));
(((a,(b)#H3),(c,(d,e))),#H3);
((((a,(b,c)),#H5),e),(d)#H5);
(((a,c),(#H6,(b,e))),(d)#H6);
((((a,e),c),(d)#H6),(b,#H6));
((((a,(c)#H3),d),e),(b,#H3));
((((a,(b,c)),#H6),e),(d)#H6);
((((a,(b,e)),c),#H6),(d)#H6);
((((d,(c,e)))#H5,b),(a,#H5));
(((d)#H5,(c,(b,e))),(a,#H5));
(((#H6,(b,e)),c),(a,(d)#H6));
((a,(b,#H6)),(((d)#H6,c),e));
((((c,e))#H3,d),(a,(b,#H3)));
((((c)#H4,(b,e)),d),(a,#H4));
(((b,#H6),a),(((d)#H6,c),e));
(((d)#H6,c),((a,(b,e)),#H6));
((a,(#H6,(d,(c,e)))),(b)#H6);
((a,(#H6,b)),((c,(d,e)))#H6);
((a,(((b,#H6),c),e)),(d)#H6);
(((#H6,c),(a,e)),((d)#H6,b));
(((d)#H6,b),((a,(#H6,c)),e));
(((a,((b,c),#H6)),e),(d)#H6);
((b,#H6),((a,((d)#H6,c)),e));
((((#H6,c),b),(a,e)),(d)#H6);
(((b,(a,e)),(#H6,c)),(d)#H6);
(((c,d))#H5,((b,#H5),(a,e)));
(((c,d))#H5,((b,(a,e)),#H5));
((d)#H6,(a,(((c,#H6),b),e)));
((d)#H6,((b,(a,e)),(c,#H6)));
((d)#H6,(a,((c,(b,e)),#H6)));
((a,#H5),(b,((c,(d,e)))#H5));
((a,#H6),(b,(((d,e))#H6,c)));
((a,#H6),((b,c),((d,e))#H6));
(((b,#H5),a),(e,((c,d))#H5));
(((b,a),#H5),(e,((c,d))#H5));
(((b,#H6),a),((d)#H6,(c,e)));
(((b,a),#H6),((c,(d)#H6),e));
(((b,((c,#H6),e)),a),(d)#H6);
(((c,#H6),(b,a)),(e,(d)#H6));
((((b,c),#H6),a),(e,(d)#H6));
(((c,d))#H5,((a,(b,#H5)),e));
((d)#H6,(a,(((c,#H6),b),e)));
((d)#H6,((a,((b,c),#H6)),e));
((#H3,((a,((c,d))#H3),e)),b);
((b,#H6),(a,(((d,e))#H6,c)));
((b,((c,#H6),e)),(a,(d)#H6));
(((b,c),#H6),((a,e),(d)#H6));
(#H5,(a,(b,((d,(c,e)))#H5)));
(((b,(a,e)),((c,d))#H4),#H4);
((d)#H6,(a,((b,e),(c,#H6))));
((d)#H6,(((a,b),(c,#H6)),e));
(((a,(((d)#H4,b),e)),#H4),c);
((c,#H6),(e,((a,b),(d)#H6)));
(#H6,(((c,(d)#H6),b),(a,e)));
(((a,(b,e)),((d)#H5,c)),#H5);
(#H6,(a,((b,c),((d,e))#H6)));
(((d,(c,e)))#H5,(a,(b,#H5)));
((d)#H6,(a,((c,#H6),(b,e))));
((d)#H6,(a,((b,(c,e)),#H6)));
((b,#H5),((a,e),((c,d))#H5));
((b,#H6),(a,(((d)#H6,c),e)));
(((c,#H6),b),((a,e),(d)#H6));
(((b,c),#H6),((a,(d)#H6),e));
((((c,d))#H4,(a,e)),(b,#H4));
(((a,(#H6,(c,e))),b),(d)#H6);
((((a,(d)#H4),(b,#H4)),e),c);
((a,((d,e))#H5),((c,#H5),b));
((a,(d)#H5),((c,(b,e)),#H5));
((a,(((d,(c,e)))#H4,b)),#H4);
(((a,b),(((c,d),e))#H4),#H4);
((d)#H6,(a,(b,((c,#H6),e))));
((d)#H6,((b,(a,e)),(c,#H6)));
((c,#H6),(a,((b,e),(d)#H6)));
((c,#H6),(e,((a,b),(d)#H6)));
((((d)#H5,b),(a,e)),(c,#H5));
(((((a,b),(d)#H6),e),c),#H6);
(#H6,(a,(((c,(d)#H6),b),e)));
((a,((d)#H5,((b,c),e))),#H5);
(#H6,((a,(b,e)),(c,(d)#H6)));
((a,(b,#H5)),((d,(c,e)))#H5);
((a,(b,((c,#H6),e))),(d)#H6);
((a,(((b,c),#H6),e)),(d)#H6);
((a,(e,((c,d))#H5)),(b,#H5));
((a,(c,#H6)),(((d,e))#H6,b));
((a,(d)#H6),((#H6,(c,e)),b));
((a,(e,(d)#H6)),((b,c),#H6));
(a,(#H4,((((c,d))#H4,b),e)));
((a,(b,(((d)#H6,c),e))),#H6);
((a,((b,e),(d)#H6)),(c,#H6));
(a,((((d)#H5,c),(b,e)),#H5));
((a,((b,c),((d,e))#H6)),#H6);
((a,(b,((d,(c,e)))#H5)),#H5);
((a,(b,((d)#H6,(c,e)))),#H6);
((a,(e,(b,(d)#H6))),(c,#H6));
((a,((b,((d,e))#H6),c)),#H6);
(((((d)#H5,c),b),#H5),(a,e));
((a,((b,c),((d,e))#H6)),#H6);
(((b,((c,d))#H5),(a,e)),#H5);
(((b,(a,e)),((c,d))#H5),#H5);
(((b,(c,#H6)),(a,e)),(d)#H6);
(((a,b),(((d)#H6,c),e)),#H6);
((c,#H6),((a,(b,(d)#H6)),e));
(((a,b),((d,e))#H6),(#H6,c));
((a,(b,(c,((d,e))#H6))),#H6);
((((a,b),e),(c,(d)#H6)),#H6);
(a,((#H5,(((d)#H5,c),e)),b));
((a,b),(#H5,(((d)#H5,c),e)));
((a,(b,((c,(d)#H6),e))),#H6);
((a,((b,c),((d,e))#H6)),#H6);
(((a,b),((c,e),(d)#H6)),#H6);
