( ( Sequence0:0.15000, ( ( Sequence1:0.00000, Sequence5:0.00000) :0.09500, Sequence6:0.09500) :0.05500) :0.00000, ( ( Sequence2:0.14812, ( Sequence4:0.13500, Sequence7:0.13500) :0.01187) :0.00125, Sequence8:0.14875) :0.00125, Sequence3:0.15000);