#NEXUS begin trees; translate Seq0 tex0, Seq1 tex1, Seq2 tex2, Seq3 tex3, Seq4 tex4, Seq5 tex5, Seq6 tex6, Seq7 tex7, Seq8 tex8, Seq9 tex9, Seq10 tex10, Seq11 tex11, Seq12 tex12, Seq13 tex13; tree t1 = (Seq9:Seq4,((((((Seq10:Seq0,(Seq2:Seq0,Seq0:Seq4):Seq2):Seq0,Seq8:Seq2):Seq0,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq12,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0,Seq7:Seq13):Seq0); tree t2 = (Seq9:Seq4,((((((Seq10:Seq0,(Seq2:Seq0,Seq0:Seq4):Seq2):Seq0,Seq8:Seq2):Seq0,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq12,Seq7:Seq13):Seq0,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0); tree t3 = (Seq9:Seq4,(((((Seq10:Seq0,(Seq2:Seq0,Seq0:Seq4):Seq2):Seq0,Seq8:Seq2):Seq0,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq12,((Seq3:Seq5,Seq4:Seq8):Seq6,Seq7:Seq13):Seq0):Seq0); tree t4 = (Seq9:Seq4,((((((Seq10:Seq0,(Seq2:Seq0,Seq0:Seq4):Seq2):Seq0,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0,Seq8:Seq2):Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq12,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0,Seq7:Seq13):Seq0); tree t5 = (Seq9:Seq4,((((((Seq10:Seq0,(Seq2:Seq0,Seq0:Seq4):Seq2):Seq0,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0,Seq8:Seq2):Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq12,Seq7:Seq13):Seq0,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0); tree t6 = (Seq9:Seq4,(((((Seq10:Seq0,(Seq2:Seq0,Seq0:Seq4):Seq2):Seq0,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0,Seq8:Seq2):Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq12,((Seq3:Seq5,Seq4:Seq8):Seq6,Seq7:Seq13):Seq0):Seq0); tree t7 = (Seq9:Seq4,((((((Seq10:Seq0,(Seq2:Seq0,Seq0:Seq4):Seq2):Seq0,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0,Seq8:Seq2):Seq12,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0,Seq7:Seq13):Seq0); tree t8 = (Seq9:Seq4,((((((Seq10:Seq0,(Seq2:Seq0,Seq0:Seq4):Seq2):Seq0,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0,Seq8:Seq2):Seq12,Seq7:Seq13):Seq0,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0); tree t9 = (Seq9:Seq4,(((((Seq10:Seq0,(Seq2:Seq0,Seq0:Seq4):Seq2):Seq0,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0,Seq8:Seq2):Seq12,((Seq3:Seq5,Seq4:Seq8):Seq6,Seq7:Seq13):Seq0):Seq0); tree t10 = (Seq9:Seq4,(((((Seq10:Seq0,((Seq2:Seq0,Seq0:Seq4):Seq2,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0):Seq0,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0,Seq8:Seq2):Seq12,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0,Seq7:Seq13):Seq0); tree t11 = (Seq9:Seq4,(((((Seq10:Seq0,((Seq2:Seq0,Seq0:Seq4):Seq2,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0):Seq0,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0,Seq8:Seq2):Seq12,Seq7:Seq13):Seq0,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0); tree t12 = (Seq9:Seq4,((((Seq10:Seq0,((Seq2:Seq0,Seq0:Seq4):Seq2,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0):Seq0,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0,Seq8:Seq2):Seq12,((Seq3:Seq5,Seq4:Seq8):Seq6,Seq7:Seq13):Seq0):Seq0); tree t13 = (Seq9:Seq4,(((((Seq10:Seq0,(Seq2:Seq0,Seq0:Seq4):Seq2):Seq0,((Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0):Seq0,Seq8:Seq2):Seq12,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0,Seq7:Seq13):Seq0); tree t14 = (Seq9:Seq4,(((((Seq10:Seq0,(Seq2:Seq0,Seq0:Seq4):Seq2):Seq0,((Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0):Seq0,Seq8:Seq2):Seq12,Seq7:Seq13):Seq0,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0); tree t15 = (Seq9:Seq4,((((Seq10:Seq0,(Seq2:Seq0,Seq0:Seq4):Seq2):Seq0,((Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0):Seq0,Seq8:Seq2):Seq12,((Seq3:Seq5,Seq4:Seq8):Seq6,Seq7:Seq13):Seq0):Seq0); tree t16 = (Seq9:Seq4,(((((Seq10:Seq0,(Seq2:Seq0,Seq0:Seq4):Seq2):Seq0,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0,(Seq8:Seq2,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0):Seq12,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0,Seq7:Seq13):Seq0); tree t17 = (Seq9:Seq4,(((((Seq10:Seq0,(Seq2:Seq0,Seq0:Seq4):Seq2):Seq0,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0,(Seq8:Seq2,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0):Seq12,Seq7:Seq13):Seq0,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0); tree t18 = (Seq9:Seq4,((((Seq10:Seq0,(Seq2:Seq0,Seq0:Seq4):Seq2):Seq0,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0,(Seq8:Seq2,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0):Seq12,((Seq3:Seq5,Seq4:Seq8):Seq6,Seq7:Seq13):Seq0):Seq0); tree t19 = (Seq9:Seq4,((((((Seq10:Seq0,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0,(Seq2:Seq0,Seq0:Seq4):Seq2):Seq0,Seq8:Seq2):Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq12,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0,Seq7:Seq13):Seq0); tree t20 = (Seq9:Seq4,((((((Seq10:Seq0,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0,(Seq2:Seq0,Seq0:Seq4):Seq2):Seq0,Seq8:Seq2):Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq12,Seq7:Seq13):Seq0,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0); tree t21 = (Seq9:Seq4,(((((Seq10:Seq0,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0,(Seq2:Seq0,Seq0:Seq4):Seq2):Seq0,Seq8:Seq2):Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq12,((Seq3:Seq5,Seq4:Seq8):Seq6,Seq7:Seq13):Seq0):Seq0); tree t22 = (Seq9:Seq4,((((((Seq10:Seq0,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0,(Seq2:Seq0,Seq0:Seq4):Seq2):Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0,Seq8:Seq2):Seq12,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0,Seq7:Seq13):Seq0); tree t23 = (Seq9:Seq4,((((((Seq10:Seq0,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0,(Seq2:Seq0,Seq0:Seq4):Seq2):Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0,Seq8:Seq2):Seq12,Seq7:Seq13):Seq0,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0); tree t24 = (Seq9:Seq4,(((((Seq10:Seq0,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0,(Seq2:Seq0,Seq0:Seq4):Seq2):Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0,Seq8:Seq2):Seq12,((Seq3:Seq5,Seq4:Seq8):Seq6,Seq7:Seq13):Seq0):Seq0); tree t25 = (Seq9:Seq4,(((((Seq10:Seq0,((Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0):Seq0,(Seq2:Seq0,Seq0:Seq4):Seq2):Seq0,Seq8:Seq2):Seq12,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0,Seq7:Seq13):Seq0); tree t26 = (Seq9:Seq4,(((((Seq10:Seq0,((Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0):Seq0,(Seq2:Seq0,Seq0:Seq4):Seq2):Seq0,Seq8:Seq2):Seq12,Seq7:Seq13):Seq0,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0); tree t27 = (Seq9:Seq4,((((Seq10:Seq0,((Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0):Seq0,(Seq2:Seq0,Seq0:Seq4):Seq2):Seq0,Seq8:Seq2):Seq12,((Seq3:Seq5,Seq4:Seq8):Seq6,Seq7:Seq13):Seq0):Seq0); tree t28 = (Seq9:Seq4,(((((Seq10:Seq0,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0,((Seq2:Seq0,Seq0:Seq4):Seq2,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0):Seq0,Seq8:Seq2):Seq12,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0,Seq7:Seq13):Seq0); tree t29 = (Seq9:Seq4,(((((Seq10:Seq0,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0,((Seq2:Seq0,Seq0:Seq4):Seq2,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0):Seq0,Seq8:Seq2):Seq12,Seq7:Seq13):Seq0,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0); tree t30 = (Seq9:Seq4,((((Seq10:Seq0,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0,((Seq2:Seq0,Seq0:Seq4):Seq2,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0):Seq0,Seq8:Seq2):Seq12,((Seq3:Seq5,Seq4:Seq8):Seq6,Seq7:Seq13):Seq0):Seq0); tree t31 = (Seq9:Seq4,(((((Seq10:Seq0,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0,(Seq2:Seq0,Seq0:Seq4):Seq2):Seq0,(Seq8:Seq2,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0):Seq12,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0,Seq7:Seq13):Seq0); tree t32 = (Seq9:Seq4,(((((Seq10:Seq0,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0,(Seq2:Seq0,Seq0:Seq4):Seq2):Seq0,(Seq8:Seq2,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0):Seq12,Seq7:Seq13):Seq0,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0); tree t33 = (Seq9:Seq4,((((Seq10:Seq0,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0,(Seq2:Seq0,Seq0:Seq4):Seq2):Seq0,(Seq8:Seq2,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0):Seq12,((Seq3:Seq5,Seq4:Seq8):Seq6,Seq7:Seq13):Seq0):Seq0); tree t34 = (Seq9:Seq4,(((((Seq10:Seq0,((Seq2:Seq0,Seq0:Seq4):Seq2,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0):Seq0,Seq8:Seq2):Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq12,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0,Seq7:Seq13):Seq0); tree t35 = (Seq9:Seq4,(((((Seq10:Seq0,((Seq2:Seq0,Seq0:Seq4):Seq2,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0):Seq0,Seq8:Seq2):Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq12,Seq7:Seq13):Seq0,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0); tree t36 = (Seq9:Seq4,((((Seq10:Seq0,((Seq2:Seq0,Seq0:Seq4):Seq2,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0):Seq0,Seq8:Seq2):Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq12,((Seq3:Seq5,Seq4:Seq8):Seq6,Seq7:Seq13):Seq0):Seq0); tree t37 = (Seq9:Seq4,(((((Seq10:Seq0,((Seq2:Seq0,Seq0:Seq4):Seq2,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0):Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0,Seq8:Seq2):Seq12,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0,Seq7:Seq13):Seq0); tree t38 = (Seq9:Seq4,(((((Seq10:Seq0,((Seq2:Seq0,Seq0:Seq4):Seq2,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0):Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0,Seq8:Seq2):Seq12,Seq7:Seq13):Seq0,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0); tree t39 = (Seq9:Seq4,((((Seq10:Seq0,((Seq2:Seq0,Seq0:Seq4):Seq2,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0):Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0,Seq8:Seq2):Seq12,((Seq3:Seq5,Seq4:Seq8):Seq6,Seq7:Seq13):Seq0):Seq0); tree t40 = (Seq9:Seq4,(((((Seq10:Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0,((Seq2:Seq0,Seq0:Seq4):Seq2,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0):Seq0,Seq8:Seq2):Seq12,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0,Seq7:Seq13):Seq0); tree t41 = (Seq9:Seq4,(((((Seq10:Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0,((Seq2:Seq0,Seq0:Seq4):Seq2,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0):Seq0,Seq8:Seq2):Seq12,Seq7:Seq13):Seq0,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0); tree t42 = (Seq9:Seq4,((((Seq10:Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0,((Seq2:Seq0,Seq0:Seq4):Seq2,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0):Seq0,Seq8:Seq2):Seq12,((Seq3:Seq5,Seq4:Seq8):Seq6,Seq7:Seq13):Seq0):Seq0); tree t43 = (Seq9:Seq4,((((Seq10:Seq0,(((Seq2:Seq0,Seq0:Seq4):Seq2,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0):Seq0,Seq8:Seq2):Seq12,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0,Seq7:Seq13):Seq0); tree t44 = (Seq9:Seq4,((((Seq10:Seq0,(((Seq2:Seq0,Seq0:Seq4):Seq2,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0):Seq0,Seq8:Seq2):Seq12,Seq7:Seq13):Seq0,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0); tree t45 = (Seq9:Seq4,(((Seq10:Seq0,(((Seq2:Seq0,Seq0:Seq4):Seq2,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0):Seq0,Seq8:Seq2):Seq12,((Seq3:Seq5,Seq4:Seq8):Seq6,Seq7:Seq13):Seq0):Seq0); tree t46 = (Seq9:Seq4,((((Seq10:Seq0,(((Seq2:Seq0,Seq0:Seq4):Seq2,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0):Seq0,Seq8:Seq2):Seq12,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0,Seq7:Seq13):Seq0); tree t47 = (Seq9:Seq4,((((Seq10:Seq0,(((Seq2:Seq0,Seq0:Seq4):Seq2,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0):Seq0,Seq8:Seq2):Seq12,Seq7:Seq13):Seq0,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0); tree t48 = (Seq9:Seq4,(((Seq10:Seq0,(((Seq2:Seq0,Seq0:Seq4):Seq2,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0):Seq0,Seq8:Seq2):Seq12,((Seq3:Seq5,Seq4:Seq8):Seq6,Seq7:Seq13):Seq0):Seq0); tree t49 = (Seq9:Seq4,((((Seq10:Seq0,((Seq2:Seq0,Seq0:Seq4):Seq2,((Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0):Seq0):Seq0,Seq8:Seq2):Seq12,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0,Seq7:Seq13):Seq0); tree t50 = (Seq9:Seq4,((((Seq10:Seq0,((Seq2:Seq0,Seq0:Seq4):Seq2,((Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0):Seq0):Seq0,Seq8:Seq2):Seq12,Seq7:Seq13):Seq0,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0); tree t51 = (Seq9:Seq4,(((Seq10:Seq0,((Seq2:Seq0,Seq0:Seq4):Seq2,((Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0):Seq0):Seq0,Seq8:Seq2):Seq12,((Seq3:Seq5,Seq4:Seq8):Seq6,Seq7:Seq13):Seq0):Seq0); tree t52 = (Seq9:Seq4,((((Seq10:Seq0,((Seq2:Seq0,Seq0:Seq4):Seq2,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0):Seq0,(Seq8:Seq2,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0):Seq12,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0,Seq7:Seq13):Seq0); tree t53 = (Seq9:Seq4,((((Seq10:Seq0,((Seq2:Seq0,Seq0:Seq4):Seq2,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0):Seq0,(Seq8:Seq2,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0):Seq12,Seq7:Seq13):Seq0,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0); tree t54 = (Seq9:Seq4,(((Seq10:Seq0,((Seq2:Seq0,Seq0:Seq4):Seq2,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0):Seq0,(Seq8:Seq2,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0):Seq12,((Seq3:Seq5,Seq4:Seq8):Seq6,Seq7:Seq13):Seq0):Seq0); tree t55 = (Seq9:Seq4,(((((Seq10:Seq0,(Seq2:Seq0,Seq0:Seq4):Seq2):Seq0,(Seq8:Seq2,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0):Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq12,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0,Seq7:Seq13):Seq0); tree t56 = (Seq9:Seq4,(((((Seq10:Seq0,(Seq2:Seq0,Seq0:Seq4):Seq2):Seq0,(Seq8:Seq2,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0):Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq12,Seq7:Seq13):Seq0,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0); tree t57 = (Seq9:Seq4,((((Seq10:Seq0,(Seq2:Seq0,Seq0:Seq4):Seq2):Seq0,(Seq8:Seq2,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0):Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq12,((Seq3:Seq5,Seq4:Seq8):Seq6,Seq7:Seq13):Seq0):Seq0); tree t58 = (Seq9:Seq4,(((((Seq10:Seq0,(Seq2:Seq0,Seq0:Seq4):Seq2):Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0,(Seq8:Seq2,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0):Seq12,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0,Seq7:Seq13):Seq0); tree t59 = (Seq9:Seq4,(((((Seq10:Seq0,(Seq2:Seq0,Seq0:Seq4):Seq2):Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0,(Seq8:Seq2,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0):Seq12,Seq7:Seq13):Seq0,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0); tree t60 = (Seq9:Seq4,((((Seq10:Seq0,(Seq2:Seq0,Seq0:Seq4):Seq2):Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0,(Seq8:Seq2,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0):Seq12,((Seq3:Seq5,Seq4:Seq8):Seq6,Seq7:Seq13):Seq0):Seq0); tree t61 = (Seq9:Seq4,(((((Seq10:Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0,(Seq2:Seq0,Seq0:Seq4):Seq2):Seq0,(Seq8:Seq2,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0):Seq12,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0,Seq7:Seq13):Seq0); tree t62 = (Seq9:Seq4,(((((Seq10:Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0,(Seq2:Seq0,Seq0:Seq4):Seq2):Seq0,(Seq8:Seq2,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0):Seq12,Seq7:Seq13):Seq0,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0); tree t63 = (Seq9:Seq4,((((Seq10:Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0,(Seq2:Seq0,Seq0:Seq4):Seq2):Seq0,(Seq8:Seq2,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0):Seq12,((Seq3:Seq5,Seq4:Seq8):Seq6,Seq7:Seq13):Seq0):Seq0); tree t64 = (Seq9:Seq4,((((Seq10:Seq0,((Seq2:Seq0,Seq0:Seq4):Seq2,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0):Seq0,(Seq8:Seq2,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0):Seq12,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0,Seq7:Seq13):Seq0); tree t65 = (Seq9:Seq4,((((Seq10:Seq0,((Seq2:Seq0,Seq0:Seq4):Seq2,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0):Seq0,(Seq8:Seq2,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0):Seq12,Seq7:Seq13):Seq0,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0); tree t66 = (Seq9:Seq4,(((Seq10:Seq0,((Seq2:Seq0,Seq0:Seq4):Seq2,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0):Seq0,(Seq8:Seq2,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0):Seq12,((Seq3:Seq5,Seq4:Seq8):Seq6,Seq7:Seq13):Seq0):Seq0); tree t67 = (Seq9:Seq4,((((Seq10:Seq0,(Seq2:Seq0,Seq0:Seq4):Seq2):Seq0,((Seq8:Seq2,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0):Seq12,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0,Seq7:Seq13):Seq0); tree t68 = (Seq9:Seq4,((((Seq10:Seq0,(Seq2:Seq0,Seq0:Seq4):Seq2):Seq0,((Seq8:Seq2,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0):Seq12,Seq7:Seq13):Seq0,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0); tree t69 = (Seq9:Seq4,(((Seq10:Seq0,(Seq2:Seq0,Seq0:Seq4):Seq2):Seq0,((Seq8:Seq2,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0):Seq12,((Seq3:Seq5,Seq4:Seq8):Seq6,Seq7:Seq13):Seq0):Seq0); tree t70 = (Seq9:Seq4,((((Seq10:Seq0,(Seq2:Seq0,Seq0:Seq4):Seq2):Seq0,((Seq8:Seq2,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0):Seq12,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0,Seq7:Seq13):Seq0); tree t71 = (Seq9:Seq4,((((Seq10:Seq0,(Seq2:Seq0,Seq0:Seq4):Seq2):Seq0,((Seq8:Seq2,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0):Seq12,Seq7:Seq13):Seq0,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0); tree t72 = (Seq9:Seq4,(((Seq10:Seq0,(Seq2:Seq0,Seq0:Seq4):Seq2):Seq0,((Seq8:Seq2,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0):Seq12,((Seq3:Seq5,Seq4:Seq8):Seq6,Seq7:Seq13):Seq0):Seq0); tree t73 = (Seq9:Seq4,((((Seq10:Seq0,(Seq2:Seq0,Seq0:Seq4):Seq2):Seq0,(Seq8:Seq2,((Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0):Seq0):Seq12,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0,Seq7:Seq13):Seq0); tree t74 = (Seq9:Seq4,((((Seq10:Seq0,(Seq2:Seq0,Seq0:Seq4):Seq2):Seq0,(Seq8:Seq2,((Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0):Seq0):Seq12,Seq7:Seq13):Seq0,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0); tree t75 = (Seq9:Seq4,(((Seq10:Seq0,(Seq2:Seq0,Seq0:Seq4):Seq2):Seq0,(Seq8:Seq2,((Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0):Seq0):Seq12,((Seq3:Seq5,Seq4:Seq8):Seq6,Seq7:Seq13):Seq0):Seq0); tree t76 = (Seq9:Seq4,((((((Seq10:Seq0,Seq8:Seq2):Seq0,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0,(Seq2:Seq0,Seq0:Seq4):Seq2):Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq12,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0,Seq7:Seq13):Seq0); tree t77 = (Seq9:Seq4,((((((Seq10:Seq0,Seq8:Seq2):Seq0,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0,(Seq2:Seq0,Seq0:Seq4):Seq2):Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq12,Seq7:Seq13):Seq0,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0); tree t78 = (Seq9:Seq4,(((((Seq10:Seq0,Seq8:Seq2):Seq0,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0,(Seq2:Seq0,Seq0:Seq4):Seq2):Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq12,((Seq3:Seq5,Seq4:Seq8):Seq6,Seq7:Seq13):Seq0):Seq0); tree t79 = (Seq9:Seq4,((((((Seq10:Seq0,Seq8:Seq2):Seq0,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0,(Seq2:Seq0,Seq0:Seq4):Seq2):Seq12,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0,Seq7:Seq13):Seq0); tree t80 = (Seq9:Seq4,((((((Seq10:Seq0,Seq8:Seq2):Seq0,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0,(Seq2:Seq0,Seq0:Seq4):Seq2):Seq12,Seq7:Seq13):Seq0,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0); tree t81 = (Seq9:Seq4,(((((Seq10:Seq0,Seq8:Seq2):Seq0,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0,(Seq2:Seq0,Seq0:Seq4):Seq2):Seq12,((Seq3:Seq5,Seq4:Seq8):Seq6,Seq7:Seq13):Seq0):Seq0); tree t82 = (Seq9:Seq4,(((((Seq10:Seq0,(Seq8:Seq2,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0):Seq0,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0,(Seq2:Seq0,Seq0:Seq4):Seq2):Seq12,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0,Seq7:Seq13):Seq0); tree t83 = (Seq9:Seq4,(((((Seq10:Seq0,(Seq8:Seq2,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0):Seq0,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0,(Seq2:Seq0,Seq0:Seq4):Seq2):Seq12,Seq7:Seq13):Seq0,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0); tree t84 = (Seq9:Seq4,((((Seq10:Seq0,(Seq8:Seq2,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0):Seq0,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0,(Seq2:Seq0,Seq0:Seq4):Seq2):Seq12,((Seq3:Seq5,Seq4:Seq8):Seq6,Seq7:Seq13):Seq0):Seq0); tree t85 = (Seq9:Seq4,(((((Seq10:Seq0,Seq8:Seq2):Seq0,((Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0):Seq0,(Seq2:Seq0,Seq0:Seq4):Seq2):Seq12,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0,Seq7:Seq13):Seq0); tree t86 = (Seq9:Seq4,(((((Seq10:Seq0,Seq8:Seq2):Seq0,((Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0):Seq0,(Seq2:Seq0,Seq0:Seq4):Seq2):Seq12,Seq7:Seq13):Seq0,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0); tree t87 = (Seq9:Seq4,((((Seq10:Seq0,Seq8:Seq2):Seq0,((Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0):Seq0,(Seq2:Seq0,Seq0:Seq4):Seq2):Seq12,((Seq3:Seq5,Seq4:Seq8):Seq6,Seq7:Seq13):Seq0):Seq0); tree t88 = (Seq9:Seq4,(((((Seq10:Seq0,Seq8:Seq2):Seq0,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0,((Seq2:Seq0,Seq0:Seq4):Seq2,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0):Seq12,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0,Seq7:Seq13):Seq0); tree t89 = (Seq9:Seq4,(((((Seq10:Seq0,Seq8:Seq2):Seq0,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0,((Seq2:Seq0,Seq0:Seq4):Seq2,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0):Seq12,Seq7:Seq13):Seq0,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0); tree t90 = (Seq9:Seq4,((((Seq10:Seq0,Seq8:Seq2):Seq0,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0,((Seq2:Seq0,Seq0:Seq4):Seq2,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0):Seq12,((Seq3:Seq5,Seq4:Seq8):Seq6,Seq7:Seq13):Seq0):Seq0); tree t91 = (Seq9:Seq4,((((((Seq10:Seq0,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0,Seq8:Seq2):Seq0,(Seq2:Seq0,Seq0:Seq4):Seq2):Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq12,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0,Seq7:Seq13):Seq0); tree t92 = (Seq9:Seq4,((((((Seq10:Seq0,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0,Seq8:Seq2):Seq0,(Seq2:Seq0,Seq0:Seq4):Seq2):Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq12,Seq7:Seq13):Seq0,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0); tree t93 = (Seq9:Seq4,(((((Seq10:Seq0,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0,Seq8:Seq2):Seq0,(Seq2:Seq0,Seq0:Seq4):Seq2):Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq12,((Seq3:Seq5,Seq4:Seq8):Seq6,Seq7:Seq13):Seq0):Seq0); tree t94 = (Seq9:Seq4,(((((Seq10:Seq0,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0,(Seq8:Seq2,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0):Seq0,(Seq2:Seq0,Seq0:Seq4):Seq2):Seq12,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0,Seq7:Seq13):Seq0); tree t95 = (Seq9:Seq4,(((((Seq10:Seq0,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0,(Seq8:Seq2,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0):Seq0,(Seq2:Seq0,Seq0:Seq4):Seq2):Seq12,Seq7:Seq13):Seq0,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0); tree t96 = (Seq9:Seq4,((((Seq10:Seq0,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0,(Seq8:Seq2,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0):Seq0,(Seq2:Seq0,Seq0:Seq4):Seq2):Seq12,((Seq3:Seq5,Seq4:Seq8):Seq6,Seq7:Seq13):Seq0):Seq0); tree t97 = (Seq9:Seq4,(((((Seq10:Seq0,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0,Seq8:Seq2):Seq0,((Seq2:Seq0,Seq0:Seq4):Seq2,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0):Seq12,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0,Seq7:Seq13):Seq0); tree t98 = (Seq9:Seq4,(((((Seq10:Seq0,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0,Seq8:Seq2):Seq0,((Seq2:Seq0,Seq0:Seq4):Seq2,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0):Seq12,Seq7:Seq13):Seq0,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0); tree t99 = (Seq9:Seq4,((((Seq10:Seq0,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0,Seq8:Seq2):Seq0,((Seq2:Seq0,Seq0:Seq4):Seq2,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0):Seq12,((Seq3:Seq5,Seq4:Seq8):Seq6,Seq7:Seq13):Seq0):Seq0); tree t100 = (Seq9:Seq4,(((((Seq10:Seq0,(Seq8:Seq2,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0):Seq0,(Seq2:Seq0,Seq0:Seq4):Seq2):Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq12,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0,Seq7:Seq13):Seq0); tree t101 = (Seq9:Seq4,(((((Seq10:Seq0,(Seq8:Seq2,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0):Seq0,(Seq2:Seq0,Seq0:Seq4):Seq2):Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq12,Seq7:Seq13):Seq0,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0); tree t102 = (Seq9:Seq4,((((Seq10:Seq0,(Seq8:Seq2,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0):Seq0,(Seq2:Seq0,Seq0:Seq4):Seq2):Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq12,((Seq3:Seq5,Seq4:Seq8):Seq6,Seq7:Seq13):Seq0):Seq0); tree t103 = (Seq9:Seq4,(((((Seq10:Seq0,(Seq8:Seq2,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0):Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0,(Seq2:Seq0,Seq0:Seq4):Seq2):Seq12,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0,Seq7:Seq13):Seq0); tree t104 = (Seq9:Seq4,(((((Seq10:Seq0,(Seq8:Seq2,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0):Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0,(Seq2:Seq0,Seq0:Seq4):Seq2):Seq12,Seq7:Seq13):Seq0,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0); tree t105 = (Seq9:Seq4,((((Seq10:Seq0,(Seq8:Seq2,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0):Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0,(Seq2:Seq0,Seq0:Seq4):Seq2):Seq12,((Seq3:Seq5,Seq4:Seq8):Seq6,Seq7:Seq13):Seq0):Seq0); tree t106 = (Seq9:Seq4,(((((Seq10:Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0,(Seq8:Seq2,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0):Seq0,(Seq2:Seq0,Seq0:Seq4):Seq2):Seq12,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0,Seq7:Seq13):Seq0); tree t107 = (Seq9:Seq4,(((((Seq10:Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0,(Seq8:Seq2,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0):Seq0,(Seq2:Seq0,Seq0:Seq4):Seq2):Seq12,Seq7:Seq13):Seq0,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0); tree t108 = (Seq9:Seq4,((((Seq10:Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0,(Seq8:Seq2,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0):Seq0,(Seq2:Seq0,Seq0:Seq4):Seq2):Seq12,((Seq3:Seq5,Seq4:Seq8):Seq6,Seq7:Seq13):Seq0):Seq0); tree t109 = (Seq9:Seq4,((((Seq10:Seq0,((Seq8:Seq2,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0):Seq0,(Seq2:Seq0,Seq0:Seq4):Seq2):Seq12,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0,Seq7:Seq13):Seq0); tree t110 = (Seq9:Seq4,((((Seq10:Seq0,((Seq8:Seq2,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0):Seq0,(Seq2:Seq0,Seq0:Seq4):Seq2):Seq12,Seq7:Seq13):Seq0,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0); tree t111 = (Seq9:Seq4,(((Seq10:Seq0,((Seq8:Seq2,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0):Seq0,(Seq2:Seq0,Seq0:Seq4):Seq2):Seq12,((Seq3:Seq5,Seq4:Seq8):Seq6,Seq7:Seq13):Seq0):Seq0); tree t112 = (Seq9:Seq4,((((Seq10:Seq0,((Seq8:Seq2,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0):Seq0,(Seq2:Seq0,Seq0:Seq4):Seq2):Seq12,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0,Seq7:Seq13):Seq0); tree t113 = (Seq9:Seq4,((((Seq10:Seq0,((Seq8:Seq2,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0):Seq0,(Seq2:Seq0,Seq0:Seq4):Seq2):Seq12,Seq7:Seq13):Seq0,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0); tree t114 = (Seq9:Seq4,(((Seq10:Seq0,((Seq8:Seq2,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0):Seq0,(Seq2:Seq0,Seq0:Seq4):Seq2):Seq12,((Seq3:Seq5,Seq4:Seq8):Seq6,Seq7:Seq13):Seq0):Seq0); tree t115 = (Seq9:Seq4,((((Seq10:Seq0,(Seq8:Seq2,((Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0):Seq0):Seq0,(Seq2:Seq0,Seq0:Seq4):Seq2):Seq12,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0,Seq7:Seq13):Seq0); tree t116 = (Seq9:Seq4,((((Seq10:Seq0,(Seq8:Seq2,((Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0):Seq0):Seq0,(Seq2:Seq0,Seq0:Seq4):Seq2):Seq12,Seq7:Seq13):Seq0,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0); tree t117 = (Seq9:Seq4,(((Seq10:Seq0,(Seq8:Seq2,((Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0):Seq0):Seq0,(Seq2:Seq0,Seq0:Seq4):Seq2):Seq12,((Seq3:Seq5,Seq4:Seq8):Seq6,Seq7:Seq13):Seq0):Seq0); tree t118 = (Seq9:Seq4,((((Seq10:Seq0,(Seq8:Seq2,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0):Seq0,((Seq2:Seq0,Seq0:Seq4):Seq2,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0):Seq12,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0,Seq7:Seq13):Seq0); tree t119 = (Seq9:Seq4,((((Seq10:Seq0,(Seq8:Seq2,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0):Seq0,((Seq2:Seq0,Seq0:Seq4):Seq2,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0):Seq12,Seq7:Seq13):Seq0,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0); tree t120 = (Seq9:Seq4,(((Seq10:Seq0,(Seq8:Seq2,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0):Seq0,((Seq2:Seq0,Seq0:Seq4):Seq2,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0):Seq12,((Seq3:Seq5,Seq4:Seq8):Seq6,Seq7:Seq13):Seq0):Seq0); tree t121 = (Seq9:Seq4,(((((Seq10:Seq0,Seq8:Seq2):Seq0,((Seq2:Seq0,Seq0:Seq4):Seq2,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0):Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq12,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0,Seq7:Seq13):Seq0); tree t122 = (Seq9:Seq4,(((((Seq10:Seq0,Seq8:Seq2):Seq0,((Seq2:Seq0,Seq0:Seq4):Seq2,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0):Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq12,Seq7:Seq13):Seq0,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0); tree t123 = (Seq9:Seq4,((((Seq10:Seq0,Seq8:Seq2):Seq0,((Seq2:Seq0,Seq0:Seq4):Seq2,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0):Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq12,((Seq3:Seq5,Seq4:Seq8):Seq6,Seq7:Seq13):Seq0):Seq0); tree t124 = (Seq9:Seq4,(((((Seq10:Seq0,Seq8:Seq2):Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0,((Seq2:Seq0,Seq0:Seq4):Seq2,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0):Seq12,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0,Seq7:Seq13):Seq0); tree t125 = (Seq9:Seq4,(((((Seq10:Seq0,Seq8:Seq2):Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0,((Seq2:Seq0,Seq0:Seq4):Seq2,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0):Seq12,Seq7:Seq13):Seq0,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0); tree t126 = (Seq9:Seq4,((((Seq10:Seq0,Seq8:Seq2):Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0,((Seq2:Seq0,Seq0:Seq4):Seq2,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0):Seq12,((Seq3:Seq5,Seq4:Seq8):Seq6,Seq7:Seq13):Seq0):Seq0); tree t127 = (Seq9:Seq4,((((Seq10:Seq0,(Seq8:Seq2,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0):Seq0,((Seq2:Seq0,Seq0:Seq4):Seq2,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0):Seq12,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0,Seq7:Seq13):Seq0); tree t128 = (Seq9:Seq4,((((Seq10:Seq0,(Seq8:Seq2,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0):Seq0,((Seq2:Seq0,Seq0:Seq4):Seq2,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0):Seq12,Seq7:Seq13):Seq0,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0); tree t129 = (Seq9:Seq4,(((Seq10:Seq0,(Seq8:Seq2,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0):Seq0,((Seq2:Seq0,Seq0:Seq4):Seq2,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0):Seq12,((Seq3:Seq5,Seq4:Seq8):Seq6,Seq7:Seq13):Seq0):Seq0); tree t130 = (Seq9:Seq4,((((Seq10:Seq0,Seq8:Seq2):Seq0,(((Seq2:Seq0,Seq0:Seq4):Seq2,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0):Seq12,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0,Seq7:Seq13):Seq0); tree t131 = (Seq9:Seq4,((((Seq10:Seq0,Seq8:Seq2):Seq0,(((Seq2:Seq0,Seq0:Seq4):Seq2,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0):Seq12,Seq7:Seq13):Seq0,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0); tree t132 = (Seq9:Seq4,(((Seq10:Seq0,Seq8:Seq2):Seq0,(((Seq2:Seq0,Seq0:Seq4):Seq2,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0):Seq12,((Seq3:Seq5,Seq4:Seq8):Seq6,Seq7:Seq13):Seq0):Seq0); tree t133 = (Seq9:Seq4,((((Seq10:Seq0,Seq8:Seq2):Seq0,((Seq2:Seq0,Seq0:Seq4):Seq2,((Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0):Seq0):Seq12,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0,Seq7:Seq13):Seq0); tree t134 = (Seq9:Seq4,((((Seq10:Seq0,Seq8:Seq2):Seq0,((Seq2:Seq0,Seq0:Seq4):Seq2,((Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0):Seq0):Seq12,Seq7:Seq13):Seq0,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0); tree t135 = (Seq9:Seq4,(((Seq10:Seq0,Seq8:Seq2):Seq0,((Seq2:Seq0,Seq0:Seq4):Seq2,((Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0):Seq0):Seq12,((Seq3:Seq5,Seq4:Seq8):Seq6,Seq7:Seq13):Seq0):Seq0); tree t136 = (Seq9:Seq4,(((((Seq10:Seq0,((Seq2:Seq0,Seq0:Seq4):Seq2,Seq8:Seq2):Seq0):Seq0,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq12,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0,Seq7:Seq13):Seq0); tree t137 = (Seq9:Seq4,(((((Seq10:Seq0,((Seq2:Seq0,Seq0:Seq4):Seq2,Seq8:Seq2):Seq0):Seq0,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq12,Seq7:Seq13):Seq0,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0); tree t138 = (Seq9:Seq4,((((Seq10:Seq0,((Seq2:Seq0,Seq0:Seq4):Seq2,Seq8:Seq2):Seq0):Seq0,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq12,((Seq3:Seq5,Seq4:Seq8):Seq6,Seq7:Seq13):Seq0):Seq0); tree t139 = (Seq9:Seq4,(((((Seq10:Seq0,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0,((Seq2:Seq0,Seq0:Seq4):Seq2,Seq8:Seq2):Seq0):Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq12,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0,Seq7:Seq13):Seq0); tree t140 = (Seq9:Seq4,(((((Seq10:Seq0,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0,((Seq2:Seq0,Seq0:Seq4):Seq2,Seq8:Seq2):Seq0):Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq12,Seq7:Seq13):Seq0,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0); tree t141 = (Seq9:Seq4,((((Seq10:Seq0,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0,((Seq2:Seq0,Seq0:Seq4):Seq2,Seq8:Seq2):Seq0):Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq12,((Seq3:Seq5,Seq4:Seq8):Seq6,Seq7:Seq13):Seq0):Seq0); tree t142 = (Seq9:Seq4,(((((Seq10:Seq0,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0,((Seq2:Seq0,Seq0:Seq4):Seq2,Seq8:Seq2):Seq0):Seq12,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0,Seq7:Seq13):Seq0); tree t143 = (Seq9:Seq4,(((((Seq10:Seq0,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0,((Seq2:Seq0,Seq0:Seq4):Seq2,Seq8:Seq2):Seq0):Seq12,Seq7:Seq13):Seq0,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0); tree t144 = (Seq9:Seq4,((((Seq10:Seq0,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0,((Seq2:Seq0,Seq0:Seq4):Seq2,Seq8:Seq2):Seq0):Seq12,((Seq3:Seq5,Seq4:Seq8):Seq6,Seq7:Seq13):Seq0):Seq0); tree t145 = (Seq9:Seq4,(((((Seq10:Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0,((Seq2:Seq0,Seq0:Seq4):Seq2,Seq8:Seq2):Seq0):Seq12,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0,Seq7:Seq13):Seq0); tree t146 = (Seq9:Seq4,(((((Seq10:Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0,((Seq2:Seq0,Seq0:Seq4):Seq2,Seq8:Seq2):Seq0):Seq12,Seq7:Seq13):Seq0,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0); tree t147 = (Seq9:Seq4,((((Seq10:Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0,((Seq2:Seq0,Seq0:Seq4):Seq2,Seq8:Seq2):Seq0):Seq12,((Seq3:Seq5,Seq4:Seq8):Seq6,Seq7:Seq13):Seq0):Seq0); tree t148 = (Seq9:Seq4,((((Seq10:Seq0,((Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0):Seq0,((Seq2:Seq0,Seq0:Seq4):Seq2,Seq8:Seq2):Seq0):Seq12,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0,Seq7:Seq13):Seq0); tree t149 = (Seq9:Seq4,((((Seq10:Seq0,((Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0):Seq0,((Seq2:Seq0,Seq0:Seq4):Seq2,Seq8:Seq2):Seq0):Seq12,Seq7:Seq13):Seq0,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0); tree t150 = (Seq9:Seq4,(((Seq10:Seq0,((Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0):Seq0,((Seq2:Seq0,Seq0:Seq4):Seq2,Seq8:Seq2):Seq0):Seq12,((Seq3:Seq5,Seq4:Seq8):Seq6,Seq7:Seq13):Seq0):Seq0); tree t151 = (Seq9:Seq4,((((Seq10:Seq0,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0,(((Seq2:Seq0,Seq0:Seq4):Seq2,Seq8:Seq2):Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0):Seq12,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0,Seq7:Seq13):Seq0); tree t152 = (Seq9:Seq4,((((Seq10:Seq0,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0,(((Seq2:Seq0,Seq0:Seq4):Seq2,Seq8:Seq2):Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0):Seq12,Seq7:Seq13):Seq0,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0); tree t153 = (Seq9:Seq4,(((Seq10:Seq0,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0,(((Seq2:Seq0,Seq0:Seq4):Seq2,Seq8:Seq2):Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0):Seq12,((Seq3:Seq5,Seq4:Seq8):Seq6,Seq7:Seq13):Seq0):Seq0); tree t154 = (Seq9:Seq4,((((Seq10:Seq0,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0,(((Seq2:Seq0,Seq0:Seq4):Seq2,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0,Seq8:Seq2):Seq0):Seq12,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0,Seq7:Seq13):Seq0); tree t155 = (Seq9:Seq4,((((Seq10:Seq0,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0,(((Seq2:Seq0,Seq0:Seq4):Seq2,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0,Seq8:Seq2):Seq0):Seq12,Seq7:Seq13):Seq0,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0); tree t156 = (Seq9:Seq4,(((Seq10:Seq0,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0,(((Seq2:Seq0,Seq0:Seq4):Seq2,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0,Seq8:Seq2):Seq0):Seq12,((Seq3:Seq5,Seq4:Seq8):Seq6,Seq7:Seq13):Seq0):Seq0); tree t157 = (Seq9:Seq4,((((Seq10:Seq0,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0,((Seq2:Seq0,Seq0:Seq4):Seq2,(Seq8:Seq2,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0):Seq0):Seq12,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0,Seq7:Seq13):Seq0); tree t158 = (Seq9:Seq4,((((Seq10:Seq0,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0,((Seq2:Seq0,Seq0:Seq4):Seq2,(Seq8:Seq2,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0):Seq0):Seq12,Seq7:Seq13):Seq0,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0); tree t159 = (Seq9:Seq4,(((Seq10:Seq0,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0,((Seq2:Seq0,Seq0:Seq4):Seq2,(Seq8:Seq2,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0):Seq0):Seq12,((Seq3:Seq5,Seq4:Seq8):Seq6,Seq7:Seq13):Seq0):Seq0); tree t160 = (Seq9:Seq4,((((Seq10:Seq0,(((Seq2:Seq0,Seq0:Seq4):Seq2,Seq8:Seq2):Seq0,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0):Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq12,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0,Seq7:Seq13):Seq0); tree t161 = (Seq9:Seq4,((((Seq10:Seq0,(((Seq2:Seq0,Seq0:Seq4):Seq2,Seq8:Seq2):Seq0,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0):Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq12,Seq7:Seq13):Seq0,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0); tree t162 = (Seq9:Seq4,(((Seq10:Seq0,(((Seq2:Seq0,Seq0:Seq4):Seq2,Seq8:Seq2):Seq0,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0):Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq12,((Seq3:Seq5,Seq4:Seq8):Seq6,Seq7:Seq13):Seq0):Seq0); tree t163 = (Seq9:Seq4,((((Seq10:Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0,(((Seq2:Seq0,Seq0:Seq4):Seq2,Seq8:Seq2):Seq0,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0):Seq12,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0,Seq7:Seq13):Seq0); tree t164 = (Seq9:Seq4,((((Seq10:Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0,(((Seq2:Seq0,Seq0:Seq4):Seq2,Seq8:Seq2):Seq0,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0):Seq12,Seq7:Seq13):Seq0,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0); tree t165 = (Seq9:Seq4,(((Seq10:Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0,(((Seq2:Seq0,Seq0:Seq4):Seq2,Seq8:Seq2):Seq0,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0):Seq12,((Seq3:Seq5,Seq4:Seq8):Seq6,Seq7:Seq13):Seq0):Seq0); tree t166 = (Seq9:Seq4,(((Seq10:Seq0,((((Seq2:Seq0,Seq0:Seq4):Seq2,Seq8:Seq2):Seq0,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0):Seq12,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0,Seq7:Seq13):Seq0); tree t167 = (Seq9:Seq4,(((Seq10:Seq0,((((Seq2:Seq0,Seq0:Seq4):Seq2,Seq8:Seq2):Seq0,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0):Seq12,Seq7:Seq13):Seq0,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0); tree t168 = (Seq9:Seq4,((Seq10:Seq0,((((Seq2:Seq0,Seq0:Seq4):Seq2,Seq8:Seq2):Seq0,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0):Seq12,((Seq3:Seq5,Seq4:Seq8):Seq6,Seq7:Seq13):Seq0):Seq0); tree t169 = (Seq9:Seq4,(((Seq10:Seq0,((((Seq2:Seq0,Seq0:Seq4):Seq2,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0,Seq8:Seq2):Seq0,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0):Seq12,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0,Seq7:Seq13):Seq0); tree t170 = (Seq9:Seq4,(((Seq10:Seq0,((((Seq2:Seq0,Seq0:Seq4):Seq2,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0,Seq8:Seq2):Seq0,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0):Seq12,Seq7:Seq13):Seq0,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0); tree t171 = (Seq9:Seq4,((Seq10:Seq0,((((Seq2:Seq0,Seq0:Seq4):Seq2,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0,Seq8:Seq2):Seq0,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0):Seq12,((Seq3:Seq5,Seq4:Seq8):Seq6,Seq7:Seq13):Seq0):Seq0); tree t172 = (Seq9:Seq4,(((Seq10:Seq0,(((Seq2:Seq0,Seq0:Seq4):Seq2,Seq8:Seq2):Seq0,((Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0):Seq0):Seq12,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0,Seq7:Seq13):Seq0); tree t173 = (Seq9:Seq4,(((Seq10:Seq0,(((Seq2:Seq0,Seq0:Seq4):Seq2,Seq8:Seq2):Seq0,((Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0):Seq0):Seq12,Seq7:Seq13):Seq0,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0); tree t174 = (Seq9:Seq4,((Seq10:Seq0,(((Seq2:Seq0,Seq0:Seq4):Seq2,Seq8:Seq2):Seq0,((Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0):Seq0):Seq12,((Seq3:Seq5,Seq4:Seq8):Seq6,Seq7:Seq13):Seq0):Seq0); tree t175 = (Seq9:Seq4,((((Seq10:Seq0,(((Seq2:Seq0,Seq0:Seq4):Seq2,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0,Seq8:Seq2):Seq0):Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq12,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0,Seq7:Seq13):Seq0); tree t176 = (Seq9:Seq4,((((Seq10:Seq0,(((Seq2:Seq0,Seq0:Seq4):Seq2,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0,Seq8:Seq2):Seq0):Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq12,Seq7:Seq13):Seq0,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0); tree t177 = (Seq9:Seq4,(((Seq10:Seq0,(((Seq2:Seq0,Seq0:Seq4):Seq2,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0,Seq8:Seq2):Seq0):Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq12,((Seq3:Seq5,Seq4:Seq8):Seq6,Seq7:Seq13):Seq0):Seq0); tree t178 = (Seq9:Seq4,((((Seq10:Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0,(((Seq2:Seq0,Seq0:Seq4):Seq2,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0,Seq8:Seq2):Seq0):Seq12,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0,Seq7:Seq13):Seq0); tree t179 = (Seq9:Seq4,((((Seq10:Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0,(((Seq2:Seq0,Seq0:Seq4):Seq2,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0,Seq8:Seq2):Seq0):Seq12,Seq7:Seq13):Seq0,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0); tree t180 = (Seq9:Seq4,(((Seq10:Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0,(((Seq2:Seq0,Seq0:Seq4):Seq2,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0,Seq8:Seq2):Seq0):Seq12,((Seq3:Seq5,Seq4:Seq8):Seq6,Seq7:Seq13):Seq0):Seq0); tree t181 = (Seq9:Seq4,(((Seq10:Seq0,((((Seq2:Seq0,Seq0:Seq4):Seq2,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0,Seq8:Seq2):Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0):Seq12,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0,Seq7:Seq13):Seq0); tree t182 = (Seq9:Seq4,(((Seq10:Seq0,((((Seq2:Seq0,Seq0:Seq4):Seq2,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0,Seq8:Seq2):Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0):Seq12,Seq7:Seq13):Seq0,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0); tree t183 = (Seq9:Seq4,((Seq10:Seq0,((((Seq2:Seq0,Seq0:Seq4):Seq2,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0,Seq8:Seq2):Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0):Seq12,((Seq3:Seq5,Seq4:Seq8):Seq6,Seq7:Seq13):Seq0):Seq0); tree t184 = (Seq9:Seq4,(((Seq10:Seq0,((((Seq2:Seq0,Seq0:Seq4):Seq2,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0,Seq8:Seq2):Seq0):Seq12,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0,Seq7:Seq13):Seq0); tree t185 = (Seq9:Seq4,(((Seq10:Seq0,((((Seq2:Seq0,Seq0:Seq4):Seq2,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0,Seq8:Seq2):Seq0):Seq12,Seq7:Seq13):Seq0,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0); tree t186 = (Seq9:Seq4,((Seq10:Seq0,((((Seq2:Seq0,Seq0:Seq4):Seq2,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0,Seq8:Seq2):Seq0):Seq12,((Seq3:Seq5,Seq4:Seq8):Seq6,Seq7:Seq13):Seq0):Seq0); tree t187 = (Seq9:Seq4,(((Seq10:Seq0,((((Seq2:Seq0,Seq0:Seq4):Seq2,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0,Seq8:Seq2):Seq0):Seq12,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0,Seq7:Seq13):Seq0); tree t188 = (Seq9:Seq4,(((Seq10:Seq0,((((Seq2:Seq0,Seq0:Seq4):Seq2,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0,Seq8:Seq2):Seq0):Seq12,Seq7:Seq13):Seq0,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0); tree t189 = (Seq9:Seq4,((Seq10:Seq0,((((Seq2:Seq0,Seq0:Seq4):Seq2,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0,Seq8:Seq2):Seq0):Seq12,((Seq3:Seq5,Seq4:Seq8):Seq6,Seq7:Seq13):Seq0):Seq0); tree t190 = (Seq9:Seq4,(((Seq10:Seq0,(((Seq2:Seq0,Seq0:Seq4):Seq2,((Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0):Seq0,Seq8:Seq2):Seq0):Seq12,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0,Seq7:Seq13):Seq0); tree t191 = (Seq9:Seq4,(((Seq10:Seq0,(((Seq2:Seq0,Seq0:Seq4):Seq2,((Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0):Seq0,Seq8:Seq2):Seq0):Seq12,Seq7:Seq13):Seq0,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0); tree t192 = (Seq9:Seq4,((Seq10:Seq0,(((Seq2:Seq0,Seq0:Seq4):Seq2,((Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0):Seq0,Seq8:Seq2):Seq0):Seq12,((Seq3:Seq5,Seq4:Seq8):Seq6,Seq7:Seq13):Seq0):Seq0); tree t193 = (Seq9:Seq4,(((Seq10:Seq0,(((Seq2:Seq0,Seq0:Seq4):Seq2,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0,(Seq8:Seq2,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0):Seq0):Seq12,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0,Seq7:Seq13):Seq0); tree t194 = (Seq9:Seq4,(((Seq10:Seq0,(((Seq2:Seq0,Seq0:Seq4):Seq2,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0,(Seq8:Seq2,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0):Seq0):Seq12,Seq7:Seq13):Seq0,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0); tree t195 = (Seq9:Seq4,((Seq10:Seq0,(((Seq2:Seq0,Seq0:Seq4):Seq2,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0,(Seq8:Seq2,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0):Seq0):Seq12,((Seq3:Seq5,Seq4:Seq8):Seq6,Seq7:Seq13):Seq0):Seq0); tree t196 = (Seq9:Seq4,((((Seq10:Seq0,((Seq2:Seq0,Seq0:Seq4):Seq2,(Seq8:Seq2,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0):Seq0):Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq12,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0,Seq7:Seq13):Seq0); tree t197 = (Seq9:Seq4,((((Seq10:Seq0,((Seq2:Seq0,Seq0:Seq4):Seq2,(Seq8:Seq2,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0):Seq0):Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq12,Seq7:Seq13):Seq0,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0); tree t198 = (Seq9:Seq4,(((Seq10:Seq0,((Seq2:Seq0,Seq0:Seq4):Seq2,(Seq8:Seq2,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0):Seq0):Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq12,((Seq3:Seq5,Seq4:Seq8):Seq6,Seq7:Seq13):Seq0):Seq0); tree t199 = (Seq9:Seq4,((((Seq10:Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0,((Seq2:Seq0,Seq0:Seq4):Seq2,(Seq8:Seq2,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0):Seq0):Seq12,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0,Seq7:Seq13):Seq0); tree t200 = (Seq9:Seq4,((((Seq10:Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0,((Seq2:Seq0,Seq0:Seq4):Seq2,(Seq8:Seq2,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0):Seq0):Seq12,Seq7:Seq13):Seq0,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0); tree t201 = (Seq9:Seq4,(((Seq10:Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0,((Seq2:Seq0,Seq0:Seq4):Seq2,(Seq8:Seq2,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0):Seq0):Seq12,((Seq3:Seq5,Seq4:Seq8):Seq6,Seq7:Seq13):Seq0):Seq0); tree t202 = (Seq9:Seq4,(((Seq10:Seq0,(((Seq2:Seq0,Seq0:Seq4):Seq2,(Seq8:Seq2,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0):Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0):Seq12,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0,Seq7:Seq13):Seq0); tree t203 = (Seq9:Seq4,(((Seq10:Seq0,(((Seq2:Seq0,Seq0:Seq4):Seq2,(Seq8:Seq2,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0):Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0):Seq12,Seq7:Seq13):Seq0,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0); tree t204 = (Seq9:Seq4,((Seq10:Seq0,(((Seq2:Seq0,Seq0:Seq4):Seq2,(Seq8:Seq2,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0):Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0):Seq12,((Seq3:Seq5,Seq4:Seq8):Seq6,Seq7:Seq13):Seq0):Seq0); tree t205 = (Seq9:Seq4,(((Seq10:Seq0,(((Seq2:Seq0,Seq0:Seq4):Seq2,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0,(Seq8:Seq2,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0):Seq0):Seq12,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0,Seq7:Seq13):Seq0); tree t206 = (Seq9:Seq4,(((Seq10:Seq0,(((Seq2:Seq0,Seq0:Seq4):Seq2,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0,(Seq8:Seq2,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0):Seq0):Seq12,Seq7:Seq13):Seq0,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0); tree t207 = (Seq9:Seq4,((Seq10:Seq0,(((Seq2:Seq0,Seq0:Seq4):Seq2,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0,(Seq8:Seq2,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0):Seq0):Seq12,((Seq3:Seq5,Seq4:Seq8):Seq6,Seq7:Seq13):Seq0):Seq0); tree t208 = (Seq9:Seq4,(((Seq10:Seq0,((Seq2:Seq0,Seq0:Seq4):Seq2,((Seq8:Seq2,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0):Seq0):Seq12,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0,Seq7:Seq13):Seq0); tree t209 = (Seq9:Seq4,(((Seq10:Seq0,((Seq2:Seq0,Seq0:Seq4):Seq2,((Seq8:Seq2,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0):Seq0):Seq12,Seq7:Seq13):Seq0,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0); tree t210 = (Seq9:Seq4,((Seq10:Seq0,((Seq2:Seq0,Seq0:Seq4):Seq2,((Seq8:Seq2,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0):Seq0):Seq12,((Seq3:Seq5,Seq4:Seq8):Seq6,Seq7:Seq13):Seq0):Seq0); tree t211 = (Seq9:Seq4,(((Seq10:Seq0,((Seq2:Seq0,Seq0:Seq4):Seq2,((Seq8:Seq2,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0):Seq0):Seq12,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0,Seq7:Seq13):Seq0); tree t212 = (Seq9:Seq4,(((Seq10:Seq0,((Seq2:Seq0,Seq0:Seq4):Seq2,((Seq8:Seq2,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0):Seq0):Seq12,Seq7:Seq13):Seq0,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0); tree t213 = (Seq9:Seq4,((Seq10:Seq0,((Seq2:Seq0,Seq0:Seq4):Seq2,((Seq8:Seq2,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0,(Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8):Seq0):Seq0):Seq12,((Seq3:Seq5,Seq4:Seq8):Seq6,Seq7:Seq13):Seq0):Seq0); tree t214 = (Seq9:Seq4,(((Seq10:Seq0,((Seq2:Seq0,Seq0:Seq4):Seq2,(Seq8:Seq2,((Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0):Seq0):Seq0):Seq12,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0,Seq7:Seq13):Seq0); tree t215 = (Seq9:Seq4,(((Seq10:Seq0,((Seq2:Seq0,Seq0:Seq4):Seq2,(Seq8:Seq2,((Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0):Seq0):Seq0):Seq12,Seq7:Seq13):Seq0,(Seq3:Seq5,Seq4:Seq8):Seq6):Seq0); tree t216 = (Seq9:Seq4,((Seq10:Seq0,((Seq2:Seq0,Seq0:Seq4):Seq2,(Seq8:Seq2,((Seq5:Seq3,(Seq1:Seq5,Seq11:Seq0):Seq3):Seq8,(Seq12:Seq0,Seq6:Seq8):Seq6):Seq0):Seq0):Seq0):Seq12,((Seq3:Seq5,Seq4:Seq8):Seq6,Seq7:Seq13):Seq0):Seq0);