((1_392:0.671793,2_241:0.802987):0.350018,0_153:1.141078,3_145:0.781983);

