[2000](ST1:0.1,((ST11:0.1,(ST24:0.1,((ST30:0.1,ST31:0.1):0.1,(ST32:0.1,(ST33:0.1,(ST34:0.1,(ST29:0.1,ST35:0.1):0.1):0.1):0.1):0.1):0.1):0.1):0.1,(((ST3:0.1,(ST4:0.1,(ST6:0.1,((ST27:0.1,ST28:0.1):0.1,ST7:0.1):0.1):0.1):0.1):0.1,((ST17:0.1,ST18:0.1):0.1,(((ST13:0.1,(ST14:0.1,(ST15:0.1,(ST12:0.1,ST16:0.1):0.1):0.1):0.1):0.1,((ST25:0.1,ST26:0.1):0.1,ST23:0.1):0.1):0.1,(ST5:0.1,(ST2:0.1,(ST19:0.1,ST20:0.1):0.1):0.1):0.1):0.1):0.1):0.1,((ST21:0.1,ST22:0.1):0.1,(ST8:0.1,(ST9:0.1,ST10:0.1):0.1):0.1):0.1):0.1):0.1);
[2000](ST1:0.1,((ST11:0.1,(ST24:0.1,((ST30:0.1,(ST29:0.1,ST31:0.1):0.1):0.1,(ST32:0.1,(ST33:0.1,(ST34:0.1,ST35:0.1):0.1):0.1):0.1):0.1):0.1):0.1,(((ST3:0.1,(ST4:0.1,(ST2:0.1,(ST6:0.1,((ST27:0.1,ST28:0.1):0.1,ST7:0.1):0.1):0.1):0.1):0.1):0.1,((ST17:0.1,ST18:0.1):0.1,((((ST12:0.1,ST13:0.1):0.1,(ST14:0.1,(ST15:0.1,ST16:0.1):0.1):0.1):0.1,((ST25:0.1,ST26:0.1):0.1,ST23:0.1):0.1):0.1,(ST5:0.1,(ST19:0.1,ST20:0.1):0.1):0.1):0.1):0.1):0.1,((ST21:0.1,ST22:0.1):0.1,(ST8:0.1,(ST9:0.1,ST10:0.1):0.1):0.1):0.1):0.1):0.1);