#NEXUS Begin taxa; Dimensions ntax=4; Taxlabels kya coal fas eng ; End; Begin trees; Translate 1 kya, 2 coal, 3 fas, 4 eng ; tree STATE_0 = ((3:0.12329090060544011,1:0.12329090060544011):0.2736152316315746,(4:0.3535720560705871,2:0.3535720560705871):0.04333407616642759):0.0; tree STATE_10 = ((3:0.02066416707289811,1:0.02066416707289811):0.20592915932051847,(4:0.06986652115868985,2:0.06986652115868985):0.15672680523472673):0.0; tree STATE_20 = ((3:0.02066416707289811,1:0.02066416707289811):0.48038176156765666,(4:0.15860593245492588,2:0.15860593245492588):0.34243999618562887):0.0; tree STATE_30 = ((3:0.02066416707289811,1:0.02066416707289811):0.48038176156765666,(4:0.13551195249431494,2:0.13551195249431494):0.36553397614623984):0.0; tree STATE_40 = ((3:0.02066416707289811,1:0.02066416707289811):0.48038176156765666,(4:0.13551195249431494,2:0.13551195249431494):0.36553397614623984):0.0; tree STATE_50 = ((3:0.01861994578320097,1:0.01861994578320097):0.8139122394794047,(4:0.12210631086743205,2:0.12210631086743205):0.7104258743951736):0.0; tree STATE_60 = ((3:0.01861994578320097,1:0.01861994578320097):0.8139122394794047,(4:0.12210631086743205,2:0.12210631086743205):0.7104258743951736):0.0; tree STATE_70 = ((3:0.01861994578320097,1:0.01861994578320097):0.8139122394794047,(4:0.12210631086743205,2:0.12210631086743205):0.7104258743951736):0.0; tree STATE_80 = ((3:0.01861994578320097,1:0.01861994578320097):0.8139122394794047,(4:0.12210631086743205,2:0.12210631086743205):0.7104258743951736):0.0; tree STATE_90 = ((3:0.01861994578320097,1:0.01861994578320097):0.8139122394794047,(4:0.12210631086743205,2:0.12210631086743205):0.7104258743951736):0.0; tree STATE_100 = ((3:0.01861994578320097,1:0.01861994578320097):0.8139122394794047,(4:0.13032326990755166,2:0.13032326990755166):0.7022089153550539):0.0; tree STATE_110 = ((3:0.016330386663481317,1:0.016330386663481317):0.8162017985991243,(4:0.13032326990755166,2:0.13032326990755166):0.7022089153550539):0.0; tree STATE_120 = ((3:0.016330386663481317,1:0.016330386663481317):0.8162017985991243,(4:0.13032326990755166,2:0.13032326990755166):0.7022089153550539):0.0; tree STATE_130 = ((3:0.016330386663481317,1:0.016330386663481317):0.8162017985991243,(4:0.13032326990755166,2:0.13032326990755166):0.7022089153550539):0.0; tree STATE_140 = ((3:0.016330386663481317,1:0.016330386663481317):0.8162017985991243,(4:0.13032326990755166,2:0.13032326990755166):0.7022089153550539):0.0; tree STATE_150 = ((3:0.008553073031156983,1:0.008553073031156983):0.5184372671938147,(4:0.08249423333243028,2:0.08249423333243028):0.4444961068925413):0.0; tree STATE_160 = ((3:0.008553073031156983,1:0.008553073031156983):0.7824206993890873,(4:0.08249423333243028,2:0.08249423333243028):0.708479539087814):0.0; tree STATE_170 = ((3:0.0021436417900702596,1:0.0021436417900702596):0.1960967365199227,(4:0.04816712127982826,2:0.04816712127982826):0.15007325703016472):0.0; tree STATE_180 = ((3:0.057158746674102735,1:0.057158746674102735):0.14108163163589024,(4:0.04816712127982826,2:0.04816712127982826):0.15007325703016472):0.0; tree STATE_190 = ((3:0.057158746674102735,1:0.057158746674102735):0.32374752011489377,(4:0.16285661380822508,2:0.16285661380822508):0.21804965298077145):0.0; tree STATE_200 = ((3:0.057158746674102735,1:0.057158746674102735):0.32374752011489377,(4:0.16285661380822508,2:0.16285661380822508):0.21804965298077145):0.0; tree STATE_210 = ((3:0.057158746674102735,1:0.057158746674102735):0.40848764388356656,(4:0.16285661380822508,2:0.16285661380822508):0.30278977674944424):0.0; tree STATE_220 = ((3:0.057158746674102735,1:0.057158746674102735):0.40848764388356656,(4:0.16285661380822508,2:0.16285661380822508):0.30278977674944424):0.0; tree STATE_230 = ((3:0.057158746674102735,1:0.057158746674102735):0.40848764388356656,(4:0.11707090225559978,2:0.11707090225559978):0.3485754883020695):0.0; tree STATE_240 = ((3:0.057158746674102735,1:0.057158746674102735):0.40848764388356656,(4:0.11707090225559978,2:0.11707090225559978):0.3485754883020695):0.0; tree STATE_250 = ((3:0.057158746674102735,1:0.057158746674102735):0.40848764388356656,(4:0.11707090225559978,2:0.11707090225559978):0.3485754883020695):0.0; tree STATE_260 = ((3:0.057158746674102735,1:0.057158746674102735):0.40848764388356656,(4:0.11707090225559978,2:0.11707090225559978):0.3485754883020695):0.0; tree STATE_270 = ((3:0.057158746674102735,1:0.057158746674102735):0.40848764388356656,(4:0.11707090225559978,2:0.11707090225559978):0.3485754883020695):0.0; tree STATE_280 = ((3:0.05378501156635663,1:0.05378501156635663):0.3843770888864803,(4:0.11016091496551493,2:0.11016091496551493):0.328001185487322):0.0; tree STATE_290 = ((3:0.05378501156635663,1:0.05378501156635663):0.3843770888864803,(4:0.11016091496551493,2:0.11016091496551493):0.328001185487322):0.0; tree STATE_300 = ((3:0.05378501156635663,1:0.05378501156635663):0.3843770888864803,(4:0.11016091496551493,2:0.11016091496551493):0.328001185487322):0.0; tree STATE_310 = ((3:0.05378501156635663,1:0.05378501156635663):0.3843770888864803,(4:0.11113215463873105,2:0.11113215463873105):0.3270299458141059):0.0; tree STATE_320 = ((3:0.05378501156635663,1:0.05378501156635663):0.3843770888864803,(4:0.10113511334537174,2:0.10113511334537174):0.3370269871074652):0.0; tree STATE_330 = ((3:0.05378501156635663,1:0.05378501156635663):0.3843770888864803,(4:0.10113511334537174,2:0.10113511334537174):0.3370269871074652):0.0; tree STATE_340 = ((3:0.05378501156635663,1:0.05378501156635663):0.3843770888864803,(4:0.10113511334537174,2:0.10113511334537174):0.3370269871074652):0.0; tree STATE_350 = ((3:0.05378501156635663,1:0.05378501156635663):0.35457664972119785,(4:0.10673046417401434,2:0.10673046417401434):0.30163119711354014):0.0; tree STATE_360 = ((3:0.049415659807545455,1:0.049415659807545455):0.358946001480009,(4:0.10673046417401434,2:0.10673046417401434):0.30163119711354014):0.0; tree STATE_370 = ((3:0.049415659807545455,1:0.049415659807545455):0.5637051941444999,(4:0.10673046417401434,2:0.10673046417401434):0.5063903897780311):0.0; tree STATE_380 = ((3:0.049415659807545455,1:0.049415659807545455):0.5637051941444999,(4:0.10673046417401434,2:0.10673046417401434):0.5063903897780311):0.0; tree STATE_390 = ((3:0.049415659807545455,1:0.049415659807545455):0.5637051941444999,(4:0.13695956231991321,2:0.13695956231991321):0.47616129163213217):0.0; tree STATE_400 = ((3:0.049415659807545455,1:0.049415659807545455):0.5637051941444999,(4:0.13695956231991321,2:0.13695956231991321):0.47616129163213217):0.0; tree STATE_410 = ((3:0.049415659807545455,1:0.049415659807545455):0.5637051941444999,(4:0.13695956231991321,2:0.13695956231991321):0.47616129163213217):0.0; tree STATE_420 = ((3:0.049415659807545455,1:0.049415659807545455):0.46428094410195253,(4:0.13695956231991321,2:0.13695956231991321):0.37673704158958476):0.0; tree STATE_430 = ((3:0.049415659807545455,1:0.049415659807545455):0.46428094410195253,(4:0.13695956231991321,2:0.13695956231991321):0.37673704158958476):0.0; tree STATE_440 = ((3:0.049415659807545455,1:0.049415659807545455):0.46428094410195253,(4:0.1327086251433414,2:0.1327086251433414):0.38098797876615664):0.0; tree STATE_450 = ((3:0.021456111889925834,1:0.021456111889925834):0.49224049201957215,(4:0.10496524614272355,2:0.10496524614272355):0.40873135776677444):0.0; tree STATE_460 = ((3:0.021456111889925834,1:0.021456111889925834):0.49224049201957215,(4:0.10496524614272355,2:0.10496524614272355):0.40873135776677444):0.0; tree STATE_470 = ((3:0.021456111889925834,1:0.021456111889925834):0.49224049201957215,(4:0.10496524614272355,2:0.10496524614272355):0.40873135776677444):0.0; tree STATE_480 = ((3:0.021456111889925834,1:0.021456111889925834):0.5676720236024541,(4:0.10759310269329515,2:0.10759310269329515):0.4815350327990847):0.0; tree STATE_490 = ((3:0.021456111889925834,1:0.021456111889925834):0.5676720236024541,(4:0.1765886406476627,2:0.1765886406476627):0.4125394948447172):0.0; tree STATE_500 = ((3:0.021456111889925834,1:0.021456111889925834):0.38403026116343664,(4:0.1765886406476627,2:0.1765886406476627):0.2288977324056998):0.0; tree STATE_510 = ((3:0.025867854661643493,1:0.025867854661643493):0.379618518391719,(4:0.1765886406476627,2:0.1765886406476627):0.2288977324056998):0.0; tree STATE_520 = ((3:0.025867854661643493,1:0.025867854661643493):0.379618518391719,(4:0.1765886406476627,2:0.1765886406476627):0.2288977324056998):0.0; tree STATE_530 = ((3:0.025867854661643493,1:0.025867854661643493):0.6528557274124612,(4:0.1765886406476627,2:0.1765886406476627):0.5021349414264421):0.0; tree STATE_540 = ((3:0.02055557612444696,1:0.02055557612444696):0.5187838643228028,(4:0.14032401577267162,2:0.14032401577267162):0.39901542467457807):0.0; tree STATE_550 = ((3:0.02055557612444696,1:0.02055557612444696):0.49729717134301094,(4:0.14032401577267162,2:0.14032401577267162):0.3775287316947863):0.0; tree STATE_560 = ((3:0.048744621039295805,1:0.048744621039295805):0.46910812642816213,(4:0.14032401577267162,2:0.14032401577267162):0.3775287316947863):0.0; tree STATE_570 = ((3:0.048744621039295805,1:0.048744621039295805):0.49576514101938485,(4:0.14032401577267162,2:0.14032401577267162):0.404185746286009):0.0; tree STATE_580 = ((3:0.048744621039295805,1:0.048744621039295805):0.49576514101938485,(4:0.14032401577267162,2:0.14032401577267162):0.404185746286009):0.0; tree STATE_590 = ((3:0.048744621039295805,1:0.048744621039295805):0.49576514101938485,(4:0.10221915176522334,2:0.10221915176522334):0.4422906102934573):0.0; tree STATE_600 = ((3:0.048744621039295805,1:0.048744621039295805):0.49576514101938485,(4:0.10221915176522334,2:0.10221915176522334):0.4422906102934573):0.0; tree STATE_610 = ((3:0.048744621039295805,1:0.048744621039295805):0.49576514101938485,(4:0.12836607518749468,2:0.12836607518749468):0.41614368687118597):0.0; tree STATE_620 = ((3:0.048744621039295805,1:0.048744621039295805):0.49576514101938485,(4:0.09976546212498048,2:0.09976546212498048):0.4447442999337001):0.0; tree STATE_630 = ((3:0.048744621039295805,1:0.048744621039295805):0.5211862506348802,(4:0.09976546212498048,2:0.09976546212498048):0.4701654095491955):0.0; tree STATE_640 = ((3:0.048744621039295805,1:0.048744621039295805):0.5211862506348802,(4:0.14301861729965523,2:0.14301861729965523):0.42691225437452074):0.0; tree STATE_650 = ((3:0.048744621039295805,1:0.048744621039295805):0.5211862506348802,(4:0.14301861729965523,2:0.14301861729965523):0.42691225437452074):0.0; tree STATE_660 = ((3:0.048744621039295805,1:0.048744621039295805):0.3267413262039218,(4:0.14301861729965523,2:0.14301861729965523):0.23246732994356237):0.0; tree STATE_670 = ((3:0.048744621039295805,1:0.048744621039295805):0.3267413262039218,(4:0.14301861729965523,2:0.14301861729965523):0.23246732994356237):0.0; tree STATE_680 = ((3:0.048744621039295805,1:0.048744621039295805):0.3267413262039218,(4:0.11642885919056842,2:0.11642885919056842):0.25905708805264915):0.0; tree STATE_690 = ((3:0.048744621039295805,1:0.048744621039295805):0.3267413262039218,(4:0.11642885919056842,2:0.11642885919056842):0.25905708805264915):0.0; tree STATE_700 = ((3:0.048744621039295805,1:0.048744621039295805):0.3267413262039218,(4:0.11642885919056842,2:0.11642885919056842):0.25905708805264915):0.0; tree STATE_710 = ((3:0.048744621039295805,1:0.048744621039295805):0.4867918481855288,(4:0.11642885919056842,2:0.11642885919056842):0.4191076100342561):0.0; tree STATE_720 = ((3:0.048744621039295805,1:0.048744621039295805):0.4867918481855288,(4:0.11642885919056842,2:0.11642885919056842):0.4191076100342561):0.0; tree STATE_730 = ((3:0.048744621039295805,1:0.048744621039295805):0.4867918481855288,(4:0.11642885919056842,2:0.11642885919056842):0.4191076100342561):0.0; tree STATE_740 = ((3:0.048744621039295805,1:0.048744621039295805):0.37506133852251167,(4:0.11642885919056842,2:0.11642885919056842):0.307377100371239):0.0; tree STATE_750 = ((3:0.048744621039295805,1:0.048744621039295805):0.37506133852251167,(4:0.11642885919056842,2:0.11642885919056842):0.307377100371239):0.0; tree STATE_760 = ((3:0.014811877552515413,1:0.014811877552515413):0.40899408200929205,(4:0.11642885919056842,2:0.11642885919056842):0.307377100371239):0.0; tree STATE_770 = ((3:0.014811877552515413,1:0.014811877552515413):0.40899408200929205,(4:0.11642885919056842,2:0.11642885919056842):0.307377100371239):0.0; tree STATE_780 = ((3:0.030442380085156397,1:0.030442380085156397):0.39336357947665107,(4:0.11642885919056842,2:0.11642885919056842):0.307377100371239):0.0; tree STATE_790 = ((3:0.030442380085156397,1:0.030442380085156397):0.5792984580887577,(4:0.11642885919056842,2:0.11642885919056842):0.49331197898334567):0.0; tree STATE_800 = ((3:0.030442380085156397,1:0.030442380085156397):0.5792984580887577,(4:0.11642885919056842,2:0.11642885919056842):0.49331197898334567):0.0; tree STATE_810 = ((3:0.027571729396780705,1:0.027571729396780705):0.5246718647397599,(4:0.1054498692480189,2:0.1054498692480189):0.44679372488852165):0.0; tree STATE_820 = ((3:0.027571729396780705,1:0.027571729396780705):0.5246718647397599,(4:0.10705547518408863,2:0.10705547518408863):0.4451881189524519):0.0; tree STATE_830 = ((3:0.027571729396780705,1:0.027571729396780705):0.5246718647397599,(4:0.1129538521018249,2:0.1129538521018249):0.43928974203471566):0.0; tree STATE_840 = ((3:0.027571729396780705,1:0.027571729396780705):0.5246718647397599,(4:0.09541646333879204,2:0.09541646333879204):0.4568271307977485):0.0; tree STATE_850 = ((3:0.027571729396780705,1:0.027571729396780705):0.5246718647397599,(4:0.09541646333879204,2:0.09541646333879204):0.4568271307977485):0.0; tree STATE_860 = ((3:0.027571729396780705,1:0.027571729396780705):0.4681250246651249,(4:0.08551087719687575,2:0.08551087719687575):0.41018587686502983):0.0; tree STATE_870 = ((3:0.027571729396780705,1:0.027571729396780705):0.4681250246651249,(4:0.08551087719687575,2:0.08551087719687575):0.41018587686502983):0.0; tree STATE_880 = ((3:0.027571729396780705,1:0.027571729396780705):0.4681250246651249,(4:0.09562382566691909,2:0.09562382566691909):0.40007292839498654):0.0; tree STATE_890 = ((3:0.027571729396780705,1:0.027571729396780705):0.4681250246651249,(4:0.09562382566691909,2:0.09562382566691909):0.40007292839498654):0.0; tree STATE_900 = ((3:0.027571729396780705,1:0.027571729396780705):0.4681250246651249,(4:0.09562382566691909,2:0.09562382566691909):0.40007292839498654):0.0; tree STATE_910 = ((3:0.01867239157084808,1:0.01867239157084808):0.4770243624910575,(4:0.09562382566691909,2:0.09562382566691909):0.40007292839498654):0.0; tree STATE_920 = ((3:0.01867239157084808,1:0.01867239157084808):0.4770243624910575,(4:0.09562382566691909,2:0.09562382566691909):0.40007292839498654):0.0; tree STATE_930 = ((3:0.022752267731484078,1:0.022752267731484078):0.4729444863304215,(4:0.09562382566691909,2:0.09562382566691909):0.40007292839498654):0.0; tree STATE_940 = ((3:0.022752267731484078,1:0.022752267731484078):0.4979204751421904,(4:0.09562382566691909,2:0.09562382566691909):0.4250489172067554):0.0; tree STATE_950 = ((3:0.022752267731484078,1:0.022752267731484078):0.4979204751421904,(4:0.09562382566691909,2:0.09562382566691909):0.4250489172067554):0.0; tree STATE_960 = ((3:0.022752267731484078,1:0.022752267731484078):0.4979204751421904,(4:0.09562382566691909,2:0.09562382566691909):0.4250489172067554):0.0; tree STATE_970 = ((3:0.022752267731484078,1:0.022752267731484078):0.4979204751421904,(4:0.09562382566691909,2:0.09562382566691909):0.4250489172067554):0.0; tree STATE_980 = ((3:0.022752267731484078,1:0.022752267731484078):0.4979204751421904,(4:0.0776548833152178,2:0.0776548833152178):0.4430178595584567):0.0; tree STATE_990 = ((3:0.022752267731484078,1:0.022752267731484078):0.4979204751421904,(4:0.0776548833152178,2:0.0776548833152178):0.4430178595584567):0.0; tree STATE_1000 = ((3:0.026933880047882885,1:0.026933880047882885):0.4937388628257916,(4:0.13690845472486718,2:0.13690845472486718):0.3837642881488073):0.0; tree STATE_1010 = ((3:0.024808902520306576,1:0.024808902520306576):0.4958638403533679,(4:0.13690845472486718,2:0.13690845472486718):0.3837642881488073):0.0; tree STATE_1020 = ((3:0.024808902520306576,1:0.024808902520306576):0.4958638403533679,(4:0.08680607745251792,2:0.08680607745251792):0.4338666654211566):0.0; tree STATE_1030 = ((3:0.024808902520306576,1:0.024808902520306576):0.4958638403533679,(4:0.08680607745251792,2:0.08680607745251792):0.4338666654211566):0.0; tree STATE_1040 = ((3:0.024808902520306576,1:0.024808902520306576):0.4958638403533679,(4:0.08680607745251792,2:0.08680607745251792):0.4338666654211566):0.0; tree STATE_1050 = ((3:0.024808902520306576,1:0.024808902520306576):0.4958638403533679,(4:0.08680607745251792,2:0.08680607745251792):0.4338666654211566):0.0; tree STATE_1060 = ((3:0.024808902520306576,1:0.024808902520306576):0.4958638403533679,(4:0.08680607745251792,2:0.08680607745251792):0.4338666654211566):0.0; tree STATE_1070 = ((3:0.024808902520306576,1:0.024808902520306576):0.4958638403533679,(4:0.08680607745251792,2:0.08680607745251792):0.4338666654211566):0.0; tree STATE_1080 = ((3:0.024808902520306576,1:0.024808902520306576):0.4958638403533679,(4:0.08699848082419867,2:0.08699848082419867):0.4336742620494758):0.0; tree STATE_1090 = ((3:0.024808902520306576,1:0.024808902520306576):0.4958638403533679,(4:0.08699848082419867,2:0.08699848082419867):0.4336742620494758):0.0; tree STATE_1100 = ((3:0.024808902520306576,1:0.024808902520306576):0.4958638403533679,(4:0.08699848082419867,2:0.08699848082419867):0.4336742620494758):0.0; tree STATE_1110 = ((3:0.024808902520306576,1:0.024808902520306576):0.4958638403533679,(4:0.08699848082419867,2:0.08699848082419867):0.4336742620494758):0.0; tree STATE_1120 = ((3:0.024808902520306576,1:0.024808902520306576):0.4958638403533679,(4:0.08699848082419867,2:0.08699848082419867):0.4336742620494758):0.0; tree STATE_1130 = ((3:0.024808902520306576,1:0.024808902520306576):0.4958638403533679,(4:0.08699848082419867,2:0.08699848082419867):0.4336742620494758):0.0; tree STATE_1140 = ((3:0.024808902520306576,1:0.024808902520306576):0.4958638403533679,(4:0.08699848082419867,2:0.08699848082419867):0.4336742620494758):0.0; tree STATE_1150 = ((3:0.024808902520306576,1:0.024808902520306576):0.4958638403533679,(4:0.08699848082419867,2:0.08699848082419867):0.4336742620494758):0.0; tree STATE_1160 = ((3:0.024808902520306576,1:0.024808902520306576):0.4958638403533679,(4:0.15352668733009234,2:0.15352668733009234):0.36714605554358215):0.0; tree STATE_1170 = ((3:0.024808902520306576,1:0.024808902520306576):0.4958638403533679,(4:0.15352668733009234,2:0.15352668733009234):0.36714605554358215):0.0; tree STATE_1180 = ((3:0.020201428544360994,1:0.020201428544360994):0.4901437670109178,(4:0.12501393002825126,2:0.12501393002825126):0.38533126552702757):0.0; tree STATE_1190 = ((3:0.020201428544360994,1:0.020201428544360994):0.4901437670109178,(4:0.12501393002825126,2:0.12501393002825126):0.38533126552702757):0.0; tree STATE_1200 = ((3:0.020201428544360994,1:0.020201428544360994):0.4901437670109178,(4:0.12501393002825126,2:0.12501393002825126):0.38533126552702757):0.0; tree STATE_1210 = ((3:0.03993093550072126,1:0.03993093550072126):0.47041426005455755,(4:0.09451121300975071,2:0.09451121300975071):0.41583398254552806):0.0; tree STATE_1220 = ((3:0.03993093550072126,1:0.03993093550072126):0.47041426005455755,(4:0.11669318299451617,2:0.11669318299451617):0.39365201256076265):0.0; tree STATE_1230 = ((3:0.03993093550072126,1:0.03993093550072126):0.47041426005455755,(4:0.11669318299451617,2:0.11669318299451617):0.39365201256076265):0.0; tree STATE_1240 = ((3:0.03993093550072126,1:0.03993093550072126):0.47041426005455755,(4:0.09390066913970777,2:0.09390066913970777):0.41644452641557106):0.0; tree STATE_1250 = ((3:0.03993093550072126,1:0.03993093550072126):0.47041426005455755,(4:0.09390066913970777,2:0.09390066913970777):0.41644452641557106):0.0; tree STATE_1260 = ((3:0.03993093550072126,1:0.03993093550072126):0.47041426005455755,(4:0.09024235507924355,2:0.09024235507924355):0.42010284047603524):0.0; tree STATE_1270 = ((3:0.03993093550072126,1:0.03993093550072126):0.47041426005455755,(4:0.09024235507924355,2:0.09024235507924355):0.42010284047603524):0.0; tree STATE_1280 = ((3:0.03993093550072126,1:0.03993093550072126):0.37505735903898,(4:0.09024235507924355,2:0.09024235507924355):0.3247459394604577):0.0; tree STATE_1290 = ((3:0.03993093550072126,1:0.03993093550072126):0.37505735903898,(4:0.09024235507924355,2:0.09024235507924355):0.3247459394604577):0.0; tree STATE_1300 = ((3:0.03993093550072126,1:0.03993093550072126):0.37505735903898,(4:0.09331384898668174,2:0.09331384898668174):0.3216744455530195):0.0; tree STATE_1310 = ((3:0.03993093550072126,1:0.03993093550072126):0.37505735903898,(4:0.10613556197077523,2:0.10613556197077523):0.30885273256892604):0.0; tree STATE_1320 = ((3:0.03993093550072126,1:0.03993093550072126):0.3998221625880254,(4:0.10613556197077523,2:0.10613556197077523):0.3336175361179714):0.0; tree STATE_1330 = ((3:0.03993093550072126,1:0.03993093550072126):0.3998221625880254,(4:0.08153549089098934,2:0.08153549089098934):0.3582176071977573):0.0; tree STATE_1340 = ((3:0.03993093550072126,1:0.03993093550072126):0.3998221625880254,(4:0.08153549089098934,2:0.08153549089098934):0.3582176071977573):0.0; tree STATE_1350 = ((3:0.03993093550072126,1:0.03993093550072126):0.3998221625880254,(4:0.08153549089098934,2:0.08153549089098934):0.3582176071977573):0.0; tree STATE_1360 = ((3:0.03993093550072126,1:0.03993093550072126):0.3998221625880254,(4:0.08153549089098934,2:0.08153549089098934):0.3582176071977573):0.0; tree STATE_1370 = ((3:0.03993093550072126,1:0.03993093550072126):0.3998221625880254,(4:0.1287497152373715,2:0.1287497152373715):0.31100338285137513):0.0; tree STATE_1380 = ((3:0.03993093550072126,1:0.03993093550072126):0.3998221625880254,(4:0.1287497152373715,2:0.1287497152373715):0.31100338285137513):0.0; tree STATE_1390 = ((3:0.03993093550072126,1:0.03993093550072126):0.3998221625880254,(4:0.1287497152373715,2:0.1287497152373715):0.31100338285137513):0.0; tree STATE_1400 = ((3:0.03993093550072126,1:0.03993093550072126):0.3998221625880254,(4:0.1287497152373715,2:0.1287497152373715):0.31100338285137513):0.0; tree STATE_1410 = ((3:0.03993093550072126,1:0.03993093550072126):0.3998221625880254,(4:0.1287497152373715,2:0.1287497152373715):0.31100338285137513):0.0; tree STATE_1420 = ((3:0.03993093550072126,1:0.03993093550072126):0.3998221625880254,(4:0.1287497152373715,2:0.1287497152373715):0.31100338285137513):0.0; tree STATE_1430 = ((3:0.03993093550072126,1:0.03993093550072126):0.3540452735155088,(4:0.1287497152373715,2:0.1287497152373715):0.26522649377885854):0.0; tree STATE_1440 = ((3:0.04029696339504271,1:0.04029696339504271):0.3572906381515816,(4:0.1026611660297705,2:0.1026611660297705):0.2949264355168538):0.0; tree STATE_1450 = ((3:0.04029696339504271,1:0.04029696339504271):0.3572906381515816,(4:0.11714037397761042,2:0.11714037397761042):0.2804472275690139):0.0; tree STATE_1460 = ((3:0.04029696339504271,1:0.04029696339504271):0.3572906381515816,(4:0.11714037397761042,2:0.11714037397761042):0.2804472275690139):0.0; tree STATE_1470 = ((3:0.04029696339504271,1:0.04029696339504271):0.33484090641473285,(4:0.11714037397761042,2:0.11714037397761042):0.25799749583216514):0.0; tree STATE_1480 = ((3:0.04029696339504271,1:0.04029696339504271):0.33484090641473285,(4:0.11714037397761042,2:0.11714037397761042):0.25799749583216514):0.0; tree STATE_1490 = ((3:0.04029696339504271,1:0.04029696339504271):0.5499631225777177,(4:0.11714037397761042,2:0.11714037397761042):0.47311971199515007):0.0; tree STATE_1500 = ((3:0.0383222963812211,1:0.0383222963812211):0.5519377895915394,(4:0.11714037397761042,2:0.11714037397761042):0.47311971199515007):0.0; tree STATE_1510 = ((3:0.0383222963812211,1:0.0383222963812211):0.5519377895915394,(4:0.11714037397761042,2:0.11714037397761042):0.47311971199515007):0.0; tree STATE_1520 = ((3:0.0383222963812211,1:0.0383222963812211):0.5519377895915394,(4:0.11714037397761042,2:0.11714037397761042):0.47311971199515007):0.0; tree STATE_1530 = ((3:0.0383222963812211,1:0.0383222963812211):0.5519377895915394,(4:0.1026342880399418,2:0.1026342880399418):0.4876257979328187):0.0; tree STATE_1540 = ((3:0.0383222963812211,1:0.0383222963812211):0.5519377895915394,(4:0.1026342880399418,2:0.1026342880399418):0.4876257979328187):0.0; tree STATE_1550 = ((3:0.0383222963812211,1:0.0383222963812211):0.5220012168417456,(4:0.1026342880399418,2:0.1026342880399418):0.4576892251830249):0.0; tree STATE_1560 = ((3:0.0383222963812211,1:0.0383222963812211):0.5220012168417456,(4:0.1026342880399418,2:0.1026342880399418):0.4576892251830249):0.0; tree STATE_1570 = ((3:0.03977347227899001,1:0.03977347227899001):0.5205500409439767,(4:0.1385231444585655,2:0.1385231444585655):0.4218003687644012):0.0; tree STATE_1580 = ((3:0.03977347227899001,1:0.03977347227899001):0.40070962932893867,(4:0.1385231444585655,2:0.1385231444585655):0.3019599571493632):0.0; tree STATE_1590 = ((3:0.03977347227899001,1:0.03977347227899001):0.40070962932893867,(4:0.1385231444585655,2:0.1385231444585655):0.3019599571493632):0.0; tree STATE_1600 = ((3:0.03977347227899001,1:0.03977347227899001):0.40070962932893867,(4:0.1385231444585655,2:0.1385231444585655):0.3019599571493632):0.0; tree STATE_1610 = ((3:0.03752178355986388,1:0.03752178355986388):0.37802432426740895,(4:0.13068095759775186,2:0.13068095759775186):0.28486515022952097):0.0; tree STATE_1620 = ((3:0.03752178355986388,1:0.03752178355986388):0.37802432426740895,(4:0.13068095759775186,2:0.13068095759775186):0.28486515022952097):0.0; tree STATE_1630 = ((3:0.02973892154925434,1:0.02973892154925434):0.5057634643383586,(4:0.13068095759775186,2:0.13068095759775186):0.4048214282898611):0.0; tree STATE_1640 = ((3:0.02973892154925434,1:0.02973892154925434):0.5057634643383586,(4:0.13068095759775186,2:0.13068095759775186):0.4048214282898611):0.0; tree STATE_1650 = ((3:0.02973892154925434,1:0.02973892154925434):0.5057634643383586,(4:0.13068095759775186,2:0.13068095759775186):0.4048214282898611):0.0; tree STATE_1660 = ((3:0.02973892154925434,1:0.02973892154925434):0.47131749939816187,(4:0.13068095759775186,2:0.13068095759775186):0.3703754633496643):0.0; tree STATE_1670 = ((3:0.02899731790257324,1:0.02899731790257324):0.47205910304484294,(4:0.13068095759775186,2:0.13068095759775186):0.3703754633496643):0.0; tree STATE_1680 = ((3:0.02736012064475503,1:0.02736012064475503):0.44540650463454107,(4:0.12330267157326712,2:0.12330267157326712):0.34946395370602895):0.0; tree STATE_1690 = ((3:0.02736012064475503,1:0.02736012064475503):0.44540650463454107,(4:0.12330267157326712,2:0.12330267157326712):0.34946395370602895):0.0; tree STATE_1700 = ((3:0.02736012064475503,1:0.02736012064475503):0.44540650463454107,(4:0.12330267157326712,2:0.12330267157326712):0.34946395370602895):0.0; tree STATE_1710 = ((3:0.02736012064475503,1:0.02736012064475503):0.44540650463454107,(4:0.17551281821083067,2:0.17551281821083067):0.2972538070684654):0.0; tree STATE_1720 = ((3:0.02736012064475503,1:0.02736012064475503):0.46657763169183014,(4:0.15342664341210946,2:0.15342664341210946):0.34051110892447567):0.0; tree STATE_1730 = ((3:0.02736012064475503,1:0.02736012064475503):0.46657763169183014,(4:0.15342664341210946,2:0.15342664341210946):0.34051110892447567):0.0; tree STATE_1740 = ((3:0.02736012064475503,1:0.02736012064475503):0.46657763169183014,(4:0.15342664341210946,2:0.15342664341210946):0.34051110892447567):0.0; tree STATE_1750 = ((3:0.02736012064475503,1:0.02736012064475503):0.46657763169183014,(4:0.15342664341210946,2:0.15342664341210946):0.34051110892447567):0.0; tree STATE_1760 = ((3:0.02736012064475503,1:0.02736012064475503):0.46657763169183014,(4:0.15342664341210946,2:0.15342664341210946):0.34051110892447567):0.0; tree STATE_1770 = ((3:0.02543197654875164,1:0.02543197654875164):0.44838667431352247,(4:0.06926695862023703,2:0.06926695862023703):0.4045516922420371):0.0; tree STATE_1780 = ((3:0.02543197654875164,1:0.02543197654875164):0.44838667431352247,(4:0.06926695862023703,2:0.06926695862023703):0.4045516922420371):0.0; tree STATE_1790 = ((3:0.03481673007073324,1:0.03481673007073324):0.4390019207915409,(4:0.14180069239408066,2:0.14180069239408066):0.33201795846819343):0.0; tree STATE_1800 = ((3:0.03481673007073324,1:0.03481673007073324):0.4390019207915409,(4:0.14180069239408066,2:0.14180069239408066):0.33201795846819343):0.0; tree STATE_1810 = ((3:0.03481673007073324,1:0.03481673007073324):0.4390019207915409,(4:0.14180069239408066,2:0.14180069239408066):0.33201795846819343):0.0; tree STATE_1820 = ((3:0.03481673007073324,1:0.03481673007073324):0.4390019207915409,(4:0.14180069239408066,2:0.14180069239408066):0.33201795846819343):0.0; tree STATE_1830 = ((3:0.03481673007073324,1:0.03481673007073324):0.4390019207915409,(4:0.14180069239408066,2:0.14180069239408066):0.33201795846819343):0.0; tree STATE_1840 = ((3:0.03481673007073324,1:0.03481673007073324):0.4322530967470132,(4:0.14180069239408066,2:0.14180069239408066):0.32526913442366573):0.0; tree STATE_1850 = ((3:0.03481673007073324,1:0.03481673007073324):0.4322530967470132,(4:0.1522432259809744,2:0.1522432259809744):0.314826600836772):0.0; tree STATE_1860 = ((3:0.03481673007073324,1:0.03481673007073324):0.4837668135977774,(4:0.1522432259809744,2:0.1522432259809744):0.3663403176875363):0.0; tree STATE_1870 = ((3:0.024510094326231593,1:0.024510094326231593):0.340559558841199,(4:0.10717536717958905,2:0.10717536717958905):0.25789428598784153):0.0; tree STATE_1880 = ((3:0.024510094326231593,1:0.024510094326231593):0.340559558841199,(4:0.11245728079024803,2:0.11245728079024803):0.25261237237718254):0.0; tree STATE_1890 = ((3:0.024510094326231593,1:0.024510094326231593):0.340559558841199,(4:0.11245728079024803,2:0.11245728079024803):0.25261237237718254):0.0; tree STATE_1900 = ((3:0.024510094326231593,1:0.024510094326231593):0.340559558841199,(4:0.12266072112086052,2:0.12266072112086052):0.24240893204657005):0.0; tree STATE_1910 = ((3:0.024510094326231593,1:0.024510094326231593):0.49817658639932466,(4:0.12266072112086052,2:0.12266072112086052):0.4000259596046957):0.0; tree STATE_1920 = ((3:0.024510094326231593,1:0.024510094326231593):0.49817658639932466,(4:0.12266072112086052,2:0.12266072112086052):0.4000259596046957):0.0; tree STATE_1930 = ((3:0.024510094326231593,1:0.024510094326231593):0.49817658639932466,(4:0.12266072112086052,2:0.12266072112086052):0.4000259596046957):0.0; tree STATE_1940 = ((3:0.024510094326231593,1:0.024510094326231593):0.49817658639932466,(4:0.08359113494363492,2:0.08359113494363492):0.43909554578192134):0.0; tree STATE_1950 = ((3:0.024510094326231593,1:0.024510094326231593):0.49817658639932466,(4:0.08359113494363492,2:0.08359113494363492):0.43909554578192134):0.0; tree STATE_1960 = ((3:0.024510094326231593,1:0.024510094326231593):0.49817658639932466,(4:0.08359113494363492,2:0.08359113494363492):0.43909554578192134):0.0; tree STATE_1970 = ((3:0.024510094326231593,1:0.024510094326231593):0.49817658639932466,(4:0.12924512716916328,2:0.12924512716916328):0.393441553556393):0.0; tree STATE_1980 = ((3:0.024510094326231593,1:0.024510094326231593):0.49817658639932466,(4:0.12924512716916328,2:0.12924512716916328):0.393441553556393):0.0; tree STATE_1990 = ((3:0.024510094326231593,1:0.024510094326231593):0.49817658639932466,(4:0.12924512716916328,2:0.12924512716916328):0.393441553556393):0.0; tree STATE_2000 = ((3:0.024510094326231593,1:0.024510094326231593):0.49817658639932466,(4:0.12924512716916328,2:0.12924512716916328):0.393441553556393):0.0; tree STATE_2010 = ((3:0.024510094326231593,1:0.024510094326231593):0.48305835328005403,(4:0.09467938319339572,2:0.09467938319339572):0.41288906441288986):0.0; tree STATE_2020 = ((3:0.024510094326231593,1:0.024510094326231593):0.2891137283370185,(4:0.09467938319339572,2:0.09467938319339572):0.21894443946985434):0.0; tree STATE_2030 = ((3:0.024510094326231593,1:0.024510094326231593):0.43983342342320636,(4:0.09467938319339572,2:0.09467938319339572):0.3696641345560422):0.0; tree STATE_2040 = ((3:0.024510094326231593,1:0.024510094326231593):0.43983342342320636,(4:0.09467938319339572,2:0.09467938319339572):0.3696641345560422):0.0; tree STATE_2050 = ((3:0.024510094326231593,1:0.024510094326231593):0.43983342342320636,(4:0.09467938319339572,2:0.09467938319339572):0.3696641345560422):0.0; tree STATE_2060 = ((3:0.024510094326231593,1:0.024510094326231593):0.3843928048939242,(4:0.11389923098983035,2:0.11389923098983035):0.2950036682303254):0.0; tree STATE_2070 = ((3:0.024510094326231593,1:0.024510094326231593):0.46625892442865413,(4:0.11389923098983035,2:0.11389923098983035):0.37686978776505536):0.0; tree STATE_2080 = ((3:0.024510094326231593,1:0.024510094326231593):0.46625892442865413,(4:0.11389923098983035,2:0.11389923098983035):0.37686978776505536):0.0; tree STATE_2090 = ((3:0.024510094326231593,1:0.024510094326231593):0.46625892442865413,(4:0.11389923098983035,2:0.11389923098983035):0.37686978776505536):0.0; tree STATE_2100 = ((3:0.024510094326231593,1:0.024510094326231593):0.46625892442865413,(4:0.11389923098983035,2:0.11389923098983035):0.37686978776505536):0.0; tree STATE_2110 = ((3:0.02900806702909582,1:0.02900806702909582):0.4617609517257899,(4:0.11389923098983035,2:0.11389923098983035):0.37686978776505536):0.0; tree STATE_2120 = ((3:0.02900806702909582,1:0.02900806702909582):0.4617609517257899,(4:0.11389923098983035,2:0.11389923098983035):0.37686978776505536):0.0; tree STATE_2130 = ((3:0.02900806702909582,1:0.02900806702909582):0.4617609517257899,(4:0.11389923098983035,2:0.11389923098983035):0.37686978776505536):0.0; tree STATE_2140 = ((3:0.02900806702909582,1:0.02900806702909582):0.4617609517257899,(4:0.11389923098983035,2:0.11389923098983035):0.37686978776505536):0.0; tree STATE_2150 = ((3:0.02900806702909582,1:0.02900806702909582):0.4617609517257899,(4:0.11389923098983035,2:0.11389923098983035):0.37686978776505536):0.0; tree STATE_2160 = ((3:0.02900806702909582,1:0.02900806702909582):0.4617609517257899,(4:0.11389923098983035,2:0.11389923098983035):0.37686978776505536):0.0; tree STATE_2170 = ((3:0.02900806702909582,1:0.02900806702909582):0.4617609517257899,(4:0.11389923098983035,2:0.11389923098983035):0.37686978776505536):0.0; tree STATE_2180 = ((3:0.02900806702909582,1:0.02900806702909582):0.4617609517257899,(4:0.11389923098983035,2:0.11389923098983035):0.37686978776505536):0.0; tree STATE_2190 = ((3:0.02900806702909582,1:0.02900806702909582):0.3389483465602923,(4:0.11389923098983035,2:0.11389923098983035):0.2540571825995578):0.0; tree STATE_2200 = ((3:0.025719694046483693,1:0.025719694046483693):0.34223671954290447,(4:0.11389923098983035,2:0.11389923098983035):0.2540571825995578):0.0; tree STATE_2210 = ((3:0.025719694046483693,1:0.025719694046483693):0.4427551420255711,(4:0.11389923098983035,2:0.11389923098983035):0.3545756050822244):0.0; tree STATE_2220 = ((3:0.030399108742912694,1:0.030399108742912694):0.5233095574385033,(4:0.13462193999416397,2:0.13462193999416397):0.41908672618725207):0.0; tree STATE_2230 = ((3:0.030399108742912694,1:0.030399108742912694):0.44033102808081953,(4:0.13462193999416397,2:0.13462193999416397):0.3361081968295683):0.0; tree STATE_2240 = ((3:0.030399108742912694,1:0.030399108742912694):0.44033102808081953,(4:0.12241517084831946,2:0.12241517084831946):0.3483149659754128):0.0; tree STATE_2250 = ((3:0.030399108742912694,1:0.030399108742912694):0.44033102808081953,(4:0.12241517084831946,2:0.12241517084831946):0.3483149659754128):0.0; tree STATE_2260 = ((3:0.030399108742912694,1:0.030399108742912694):0.44033102808081953,(4:0.12241517084831946,2:0.12241517084831946):0.3483149659754128):0.0; tree STATE_2270 = ((3:0.030399108742912694,1:0.030399108742912694):0.44033102808081953,(4:0.12241517084831946,2:0.12241517084831946):0.3483149659754128):0.0; tree STATE_2280 = ((3:0.030399108742912694,1:0.030399108742912694):0.39354748706968845,(4:0.12241517084831946,2:0.12241517084831946):0.30153142496428165):0.0; tree STATE_2290 = ((3:0.030399108742912694,1:0.030399108742912694):0.39354748706968845,(4:0.12241517084831946,2:0.12241517084831946):0.30153142496428165):0.0; tree STATE_2300 = ((3:0.030399108742912694,1:0.030399108742912694):0.39354748706968845,(4:0.12241517084831946,2:0.12241517084831946):0.30153142496428165):0.0; tree STATE_2310 = ((3:0.030399108742912694,1:0.030399108742912694):0.4500669991868292,(4:0.12241517084831946,2:0.12241517084831946):0.35805093708142244):0.0; tree STATE_2320 = ((3:0.030399108742912694,1:0.030399108742912694):0.4500669991868292,(4:0.12241517084831946,2:0.12241517084831946):0.35805093708142244):0.0; tree STATE_2330 = ((3:0.030399108742912694,1:0.030399108742912694):0.4500669991868292,(4:0.12241517084831946,2:0.12241517084831946):0.35805093708142244):0.0; tree STATE_2340 = ((3:0.030399108742912694,1:0.030399108742912694):0.4500669991868292,(4:0.12241517084831946,2:0.12241517084831946):0.35805093708142244):0.0; tree STATE_2350 = ((3:0.030399108742912694,1:0.030399108742912694):0.4500669991868292,(4:0.12241517084831946,2:0.12241517084831946):0.35805093708142244):0.0; tree STATE_2360 = ((3:0.030399108742912694,1:0.030399108742912694):0.4500669991868292,(4:0.12241517084831946,2:0.12241517084831946):0.35805093708142244):0.0; tree STATE_2370 = ((3:0.030399108742912694,1:0.030399108742912694):0.4500669991868292,(4:0.12241517084831946,2:0.12241517084831946):0.35805093708142244):0.0; tree STATE_2380 = ((3:0.030399108742912694,1:0.030399108742912694):0.4500669991868292,(4:0.12241517084831946,2:0.12241517084831946):0.35805093708142244):0.0; tree STATE_2390 = ((3:0.030399108742912694,1:0.030399108742912694):0.4500669991868292,(4:0.12241517084831946,2:0.12241517084831946):0.35805093708142244):0.0; tree STATE_2400 = ((3:0.030399108742912694,1:0.030399108742912694):0.4500669991868292,(4:0.12241517084831946,2:0.12241517084831946):0.35805093708142244):0.0; tree STATE_2410 = ((3:0.030399108742912694,1:0.030399108742912694):0.4500669991868292,(4:0.12241517084831946,2:0.12241517084831946):0.35805093708142244):0.0; tree STATE_2420 = ((3:0.0282002610952847,1:0.0282002610952847):0.41751246705214373,(4:0.11356055893419348,2:0.11356055893419348):0.3321521692132349):0.0; tree STATE_2430 = ((3:0.0282002610952847,1:0.0282002610952847):0.41751246705214373,(4:0.10476825203118302,2:0.10476825203118302):0.3409444761162454):0.0; tree STATE_2440 = ((3:0.0282002610952847,1:0.0282002610952847):0.41751246705214373,(4:0.10476825203118302,2:0.10476825203118302):0.3409444761162454):0.0; tree STATE_2450 = ((3:0.0282002610952847,1:0.0282002610952847):0.41751246705214373,(4:0.10476825203118302,2:0.10476825203118302):0.3409444761162454):0.0; tree STATE_2460 = ((3:0.0282002610952847,1:0.0282002610952847):0.38629179116418566,(4:0.10476825203118302,2:0.10476825203118302):0.3097238002282873):0.0; tree STATE_2470 = ((3:0.0282002610952847,1:0.0282002610952847):0.38629179116418566,(4:0.10476825203118302,2:0.10476825203118302):0.3097238002282873):0.0; tree STATE_2480 = ((3:0.028982238358092542,1:0.028982238358092542):0.39700344367261636,(4:0.10767341630167289,2:0.10767341630167289):0.31831226572903604):0.0; tree STATE_2490 = ((3:0.028982238358092542,1:0.028982238358092542):0.39700344367261636,(4:0.10767341630167289,2:0.10767341630167289):0.31831226572903604):0.0; tree STATE_2500 = ((3:0.028982238358092542,1:0.028982238358092542):0.39700344367261636,(4:0.10767341630167289,2:0.10767341630167289):0.31831226572903604):0.0; tree STATE_2510 = ((3:0.028982238358092542,1:0.028982238358092542):0.39700344367261636,(4:0.09336119984512492,2:0.09336119984512492):0.332624482185584):0.0; tree STATE_2520 = ((3:0.028982238358092542,1:0.028982238358092542):0.39700344367261636,(4:0.11151170490193033,2:0.11151170490193033):0.31447397712877856):0.0; tree STATE_2530 = ((3:0.028982238358092542,1:0.028982238358092542):0.39700344367261636,(4:0.11398143207489628,2:0.11398143207489628):0.31200424995581266):0.0; tree STATE_2540 = ((3:0.028982238358092542,1:0.028982238358092542):0.39700344367261636,(4:0.11398143207489628,2:0.11398143207489628):0.31200424995581266):0.0; tree STATE_2550 = ((3:0.028982238358092542,1:0.028982238358092542):0.39700344367261636,(4:0.08667092733121477,2:0.08667092733121477):0.3393147546994941):0.0; tree STATE_2560 = ((3:0.028982238358092542,1:0.028982238358092542):0.4758538552468471,(4:0.10956553550832199,2:0.10956553550832199):0.39527055809661765):0.0; tree STATE_2570 = ((3:0.028982238358092542,1:0.028982238358092542):0.4758538552468471,(4:0.10956553550832199,2:0.10956553550832199):0.39527055809661765):0.0; tree STATE_2580 = ((3:0.028982238358092542,1:0.028982238358092542):0.4758538552468471,(4:0.10956553550832199,2:0.10956553550832199):0.39527055809661765):0.0; tree STATE_2590 = ((3:0.028982238358092542,1:0.028982238358092542):0.4758538552468471,(4:0.10956553550832199,2:0.10956553550832199):0.39527055809661765):0.0; tree STATE_2600 = ((3:0.028982238358092542,1:0.028982238358092542):0.4758538552468471,(4:0.10956553550832199,2:0.10956553550832199):0.39527055809661765):0.0; tree STATE_2610 = ((3:0.028982238358092542,1:0.028982238358092542):0.4758538552468471,(4:0.10956553550832199,2:0.10956553550832199):0.39527055809661765):0.0; tree STATE_2620 = ((3:0.028982238358092542,1:0.028982238358092542):0.4758538552468471,(4:0.10956553550832199,2:0.10956553550832199):0.39527055809661765):0.0; tree STATE_2630 = ((3:0.024085694361534796,1:0.024085694361534796):0.48075039924340485,(4:0.10956553550832199,2:0.10956553550832199):0.39527055809661765):0.0; tree STATE_2640 = ((3:0.024085694361534796,1:0.024085694361534796):0.48075039924340485,(4:0.10956553550832199,2:0.10956553550832199):0.39527055809661765):0.0; tree STATE_2650 = ((3:0.024085694361534796,1:0.024085694361534796):0.48075039924340485,(4:0.1126212849131703,2:0.1126212849131703):0.39221480869176933):0.0; tree STATE_2660 = ((3:0.024085694361534796,1:0.024085694361534796):0.48075039924340485,(4:0.1126212849131703,2:0.1126212849131703):0.39221480869176933):0.0; tree STATE_2670 = ((3:0.024085694361534796,1:0.024085694361534796):0.48075039924340485,(4:0.1126212849131703,2:0.1126212849131703):0.39221480869176933):0.0; tree STATE_2680 = ((3:0.024085694361534796,1:0.024085694361534796):0.4604823968212353,(4:0.1126212849131703,2:0.1126212849131703):0.3719468062695998):0.0; tree STATE_2690 = ((3:0.024085694361534796,1:0.024085694361534796):0.4604823968212353,(4:0.1126212849131703,2:0.1126212849131703):0.3719468062695998):0.0; tree STATE_2700 = ((3:0.024085694361534796,1:0.024085694361534796):0.4604823968212353,(4:0.1126212849131703,2:0.1126212849131703):0.3719468062695998):0.0; tree STATE_2710 = ((3:0.024085694361534796,1:0.024085694361534796):0.4604823968212353,(4:0.1126212849131703,2:0.1126212849131703):0.3719468062695998):0.0; tree STATE_2720 = ((3:0.024085694361534796,1:0.024085694361534796):0.4604823968212353,(4:0.11099749283022653,2:0.11099749283022653):0.3735705983525436):0.0; tree STATE_2730 = ((3:0.024085694361534796,1:0.024085694361534796):0.4604823968212353,(4:0.11099749283022653,2:0.11099749283022653):0.3735705983525436):0.0; tree STATE_2740 = ((3:0.024085694361534796,1:0.024085694361534796):0.4604823968212353,(4:0.10868929151082193,2:0.10868929151082193):0.37587879967194815):0.0; tree STATE_2750 = ((3:0.024085694361534796,1:0.024085694361534796):0.4604823968212353,(4:0.10868929151082193,2:0.10868929151082193):0.37587879967194815):0.0; tree STATE_2760 = ((3:0.024085694361534796,1:0.024085694361534796):0.4604823968212353,(4:0.10868929151082193,2:0.10868929151082193):0.37587879967194815):0.0; tree STATE_2770 = ((3:0.024085694361534796,1:0.024085694361534796):0.37632254382445113,(4:0.10868929151082193,2:0.10868929151082193):0.29171894667516396):0.0; tree STATE_2780 = ((3:0.024085694361534796,1:0.024085694361534796):0.37632254382445113,(4:0.09114168787249903,2:0.09114168787249903):0.3092665503134869):0.0; tree STATE_2790 = ((3:0.024085694361534796,1:0.024085694361534796):0.37632254382445113,(4:0.09114168787249903,2:0.09114168787249903):0.3092665503134869):0.0; tree STATE_2800 = ((3:0.021819141935004182,1:0.021819141935004182):0.46319797040409855,(4:0.08256491982484765,2:0.08256491982484765):0.40245219251425507):0.0; tree STATE_2810 = ((3:0.021819141935004182,1:0.021819141935004182):0.46319797040409855,(4:0.09317403646723493,2:0.09317403646723493):0.3918430758718678):0.0; tree STATE_2820 = ((3:0.021819141935004182,1:0.021819141935004182):0.46319797040409855,(4:0.09317403646723493,2:0.09317403646723493):0.3918430758718678):0.0; tree STATE_2830 = ((3:0.021819141935004182,1:0.021819141935004182):0.46319797040409855,(4:0.09317403646723493,2:0.09317403646723493):0.3918430758718678):0.0; tree STATE_2840 = ((3:0.021819141935004182,1:0.021819141935004182):0.46319797040409855,(4:0.09317403646723493,2:0.09317403646723493):0.3918430758718678):0.0; tree STATE_2850 = ((3:0.021819141935004182,1:0.021819141935004182):0.46319797040409855,(4:0.1467578230399836,2:0.1467578230399836):0.3382592892991191):0.0; tree STATE_2860 = ((3:0.021819141935004182,1:0.021819141935004182):0.47613567221513603,(4:0.1467578230399836,2:0.1467578230399836):0.35119699111015656):0.0; tree STATE_2870 = ((3:0.021819141935004182,1:0.021819141935004182):0.47613567221513603,(4:0.1467578230399836,2:0.1467578230399836):0.35119699111015656):0.0; tree STATE_2880 = ((3:0.021819141935004182,1:0.021819141935004182):0.47613567221513603,(4:0.1467578230399836,2:0.1467578230399836):0.35119699111015656):0.0; tree STATE_2890 = ((3:0.03053941096675755,1:0.03053941096675755):0.46741540318338265,(4:0.1467578230399836,2:0.1467578230399836):0.35119699111015656):0.0; tree STATE_2900 = ((3:0.03053941096675755,1:0.03053941096675755):0.46741540318338265,(4:0.1467578230399836,2:0.1467578230399836):0.35119699111015656):0.0; tree STATE_2910 = ((3:0.03053941096675755,1:0.03053941096675755):0.46741540318338265,(4:0.1467578230399836,2:0.1467578230399836):0.35119699111015656):0.0; tree STATE_2920 = ((3:0.03053941096675755,1:0.03053941096675755):0.46741540318338265,(4:0.1467578230399836,2:0.1467578230399836):0.35119699111015656):0.0; tree STATE_2930 = ((3:0.03053941096675755,1:0.03053941096675755):0.46741540318338265,(4:0.14764254690769898,2:0.14764254690769898):0.35031226724244124):0.0; tree STATE_2940 = ((3:0.028021444231540897,1:0.028021444231540897):0.38288556183989336,(4:0.13546945613587913,2:0.13546945613587913):0.27543754993555514):0.0; tree STATE_2950 = ((3:0.028021444231540897,1:0.028021444231540897):0.38288556183989336,(4:0.13546945613587913,2:0.13546945613587913):0.27543754993555514):0.0; tree STATE_2960 = ((3:0.028021444231540897,1:0.028021444231540897):0.3505642690453621,(4:0.13546945613587913,2:0.13546945613587913):0.24311625714102386):0.0; tree STATE_2970 = ((3:0.028021444231540897,1:0.028021444231540897):0.4952848294696514,(4:0.13546945613587913,2:0.13546945613587913):0.3878368175653132):0.0; tree STATE_2980 = ((3:0.028021444231540897,1:0.028021444231540897):0.4952848294696514,(4:0.13546945613587913,2:0.13546945613587913):0.3878368175653132):0.0; tree STATE_2990 = ((3:0.028021444231540897,1:0.028021444231540897):0.4952848294696514,(4:0.12395999597267757,2:0.12395999597267757):0.3993462777285147):0.0; tree STATE_3000 = ((3:0.026104929020967345,1:0.026104929020967345):0.497201344680225,(4:0.12395999597267757,2:0.12395999597267757):0.3993462777285147):0.0; tree STATE_3010 = ((3:0.026104929020967345,1:0.026104929020967345):0.497201344680225,(4:0.12395999597267757,2:0.12395999597267757):0.3993462777285147):0.0; tree STATE_3020 = ((3:0.026104929020967345,1:0.026104929020967345):0.497201344680225,(4:0.12395999597267757,2:0.12395999597267757):0.3993462777285147):0.0; tree STATE_3030 = ((3:0.026104929020967345,1:0.026104929020967345):0.497201344680225,(4:0.12395999597267757,2:0.12395999597267757):0.3993462777285147):0.0; tree STATE_3040 = ((3:0.026104929020967345,1:0.026104929020967345):0.497201344680225,(4:0.12395999597267757,2:0.12395999597267757):0.3993462777285147):0.0; tree STATE_3050 = ((3:0.04703767389679457,1:0.04703767389679457):0.4575296881983272,(4:0.12395999597267757,2:0.12395999597267757):0.38060736612244417):0.0; tree STATE_3060 = ((3:0.04703767389679457,1:0.04703767389679457):0.4575296881983272,(4:0.12395999597267757,2:0.12395999597267757):0.38060736612244417):0.0; tree STATE_3070 = ((3:0.04281127156382742,1:0.04281127156382742):0.46175609053129435,(4:0.09446572030577896,2:0.09446572030577896):0.41010164178934283):0.0; tree STATE_3080 = ((3:0.01805265252137704,1:0.01805265252137704):0.4232749944984551,(4:0.09446572030577896,2:0.09446572030577896):0.34686192671405325):0.0; tree STATE_3090 = ((3:0.01805265252137704,1:0.01805265252137704):0.4232749944984551,(4:0.1224931508203229,2:0.1224931508203229):0.31883449619950927):0.0; tree STATE_3100 = ((3:0.01805265252137704,1:0.01805265252137704):0.4232749944984551,(4:0.1224931508203229,2:0.1224931508203229):0.31883449619950927):0.0; tree STATE_3110 = ((3:0.01805265252137704,1:0.01805265252137704):0.4232749944984551,(4:0.1224931508203229,2:0.1224931508203229):0.31883449619950927):0.0; tree STATE_3120 = ((3:0.016446890000032844,1:0.016446890000032844):0.38562517425276277,(4:0.10044840264160748,2:0.10044840264160748):0.30162366161118814):0.0; tree STATE_3130 = ((3:0.03667344905214305,1:0.03667344905214305):0.5296663053974405,(4:0.10044840264160748,2:0.10044840264160748):0.46589135180797614):0.0; tree STATE_3140 = ((3:0.03667344905214305,1:0.03667344905214305):0.5296663053974405,(4:0.10044840264160748,2:0.10044840264160748):0.46589135180797614):0.0; tree STATE_3150 = ((3:0.03667344905214305,1:0.03667344905214305):0.5296663053974405,(4:0.10044840264160748,2:0.10044840264160748):0.46589135180797614):0.0; tree STATE_3160 = ((3:0.0340690135582886,1:0.0340690135582886):0.49205103436813347,(4:0.09331486620305704,2:0.09331486620305704):0.432805181723365):0.0; tree STATE_3170 = ((3:0.0340690135582886,1:0.0340690135582886):0.49205103436813347,(4:0.09331486620305704,2:0.09331486620305704):0.432805181723365):0.0; tree STATE_3180 = ((3:0.0340690135582886,1:0.0340690135582886):0.49205103436813347,(4:0.1186996277753211,2:0.1186996277753211):0.40742042015110097):0.0; tree STATE_3190 = ((3:0.0340690135582886,1:0.0340690135582886):0.49205103436813347,(4:0.1186996277753211,2:0.1186996277753211):0.40742042015110097):0.0; tree STATE_3200 = ((3:0.0340690135582886,1:0.0340690135582886):0.49205103436813347,(4:0.1186996277753211,2:0.1186996277753211):0.40742042015110097):0.0; tree STATE_3210 = ((3:0.0340690135582886,1:0.0340690135582886):0.49205103436813347,(4:0.11642066110358192,2:0.11642066110358192):0.4096993868228402):0.0; tree STATE_3220 = ((3:0.0340690135582886,1:0.0340690135582886):0.49205103436813347,(4:0.11642066110358192,2:0.11642066110358192):0.4096993868228402):0.0; tree STATE_3230 = ((3:0.0340690135582886,1:0.0340690135582886):0.49205103436813347,(4:0.18477258070785818,2:0.18477258070785818):0.3413474672185639):0.0; tree STATE_3240 = ((3:0.0340690135582886,1:0.0340690135582886):0.49205103436813347,(4:0.18477258070785818,2:0.18477258070785818):0.3413474672185639):0.0; tree STATE_3250 = ((3:0.03305716365398545,1:0.03305716365398545):0.47743711573541936,(4:0.12507046209747422,2:0.12507046209747422):0.38542381729193065):0.0; tree STATE_3260 = ((3:0.03305716365398545,1:0.03305716365398545):0.47743711573541936,(4:0.12507046209747422,2:0.12507046209747422):0.38542381729193065):0.0; tree STATE_3270 = ((3:0.03305716365398545,1:0.03305716365398545):0.47743711573541936,(4:0.12507046209747422,2:0.12507046209747422):0.38542381729193065):0.0; tree STATE_3280 = ((3:0.03305716365398545,1:0.03305716365398545):0.47743711573541936,(4:0.12507046209747422,2:0.12507046209747422):0.38542381729193065):0.0; tree STATE_3290 = ((3:0.03305716365398545,1:0.03305716365398545):0.47743711573541936,(4:0.12507046209747422,2:0.12507046209747422):0.38542381729193065):0.0; tree STATE_3300 = ((3:0.03305716365398545,1:0.03305716365398545):0.47743711573541936,(4:0.12507046209747422,2:0.12507046209747422):0.38542381729193065):0.0; tree STATE_3310 = ((3:0.018155443944883626,1:0.018155443944883626):0.4119725328328588,(4:0.12507046209747422,2:0.12507046209747422):0.3050575146802682):0.0; tree STATE_3320 = ((3:0.018155443944883626,1:0.018155443944883626):0.6087212536017268,(4:0.12507046209747422,2:0.12507046209747422):0.5018062354491363):0.0; tree STATE_3330 = ((3:0.018155443944883626,1:0.018155443944883626):0.6087212536017268,(4:0.12507046209747422,2:0.12507046209747422):0.5018062354491363):0.0; tree STATE_3340 = ((3:0.018155443944883626,1:0.018155443944883626):0.6087212536017268,(4:0.14431572943583953,2:0.14431572943583953):0.4825609681107709):0.0; tree STATE_3350 = ((3:0.018155443944883626,1:0.018155443944883626):0.6087212536017268,(4:0.14431572943583953,2:0.14431572943583953):0.4825609681107709):0.0; tree STATE_3360 = ((3:0.018155443944883626,1:0.018155443944883626):0.6087212536017268,(4:0.14431572943583953,2:0.14431572943583953):0.4825609681107709):0.0; tree STATE_3370 = ((3:0.018155443944883626,1:0.018155443944883626):0.6087212536017268,(4:0.10710641551758819,2:0.10710641551758819):0.5197702820290223):0.0; tree STATE_3380 = ((3:0.018155443944883626,1:0.018155443944883626):0.6087212536017268,(4:0.10710641551758819,2:0.10710641551758819):0.5197702820290223):0.0; tree STATE_3390 = ((3:0.018155443944883626,1:0.018155443944883626):0.6087212536017268,(4:0.10710641551758819,2:0.10710641551758819):0.5197702820290223):0.0; tree STATE_3400 = ((3:0.016854771684688907,1:0.016854771684688907):0.44032861537143425,(4:0.09943321600919088,2:0.09943321600919088):0.3577501710469323):0.0; tree STATE_3410 = ((3:0.016854771684688907,1:0.016854771684688907):0.44032861537143425,(4:0.09943321600919088,2:0.09943321600919088):0.3577501710469323):0.0; tree STATE_3420 = ((3:0.027276600046382785,1:0.027276600046382785):0.4299067870097404,(4:0.09579043729029998,2:0.09579043729029998):0.36139294976582315):0.0; tree STATE_3430 = ((3:0.027276600046382785,1:0.027276600046382785):0.4299067870097404,(4:0.09579043729029998,2:0.09579043729029998):0.36139294976582315):0.0; tree STATE_3440 = ((3:0.027276600046382785,1:0.027276600046382785):0.4299067870097404,(4:0.11766645644426474,2:0.11766645644426474):0.3395169306118584):0.0; tree STATE_3450 = ((3:0.027276600046382785,1:0.027276600046382785):0.4299067870097404,(4:0.11766645644426474,2:0.11766645644426474):0.3395169306118584):0.0; tree STATE_3460 = ((3:0.027276600046382785,1:0.027276600046382785):0.4299067870097404,(4:0.11766645644426474,2:0.11766645644426474):0.3395169306118584):0.0; tree STATE_3470 = ((3:0.027276600046382785,1:0.027276600046382785):0.4299067870097404,(4:0.11766645644426474,2:0.11766645644426474):0.3395169306118584):0.0; tree STATE_3480 = ((3:0.027276600046382785,1:0.027276600046382785):0.4299067870097404,(4:0.11766645644426474,2:0.11766645644426474):0.3395169306118584):0.0; tree STATE_3490 = ((3:0.024753329610354872,1:0.024753329610354872):0.3901374945002335,(4:0.11397704472328515,2:0.11397704472328515):0.30091377938730324):0.0; tree STATE_3500 = ((3:0.024753329610354872,1:0.024753329610354872):0.5683651663583411,(4:0.11397704472328515,2:0.11397704472328515):0.47914145124541085):0.0; tree STATE_3510 = ((3:0.021512203535089622,1:0.021512203535089622):0.5716062924336064,(4:0.11397704472328515,2:0.11397704472328515):0.47914145124541085):0.0; tree STATE_3520 = ((3:0.021512203535089622,1:0.021512203535089622):0.5716062924336064,(4:0.11397704472328515,2:0.11397704472328515):0.47914145124541085):0.0; tree STATE_3530 = ((3:0.021512203535089622,1:0.021512203535089622):0.5716062924336064,(4:0.13595134156775598,2:0.13595134156775598):0.45716715440094):0.0; tree STATE_3540 = ((3:0.021512203535089622,1:0.021512203535089622):0.5932446786872654,(4:0.13595134156775598,2:0.13595134156775598):0.478805540654599):0.0; tree STATE_3550 = ((3:0.021512203535089622,1:0.021512203535089622):0.5932446786872654,(4:0.11806273045745316,2:0.11806273045745316):0.49669415176490184):0.0; tree STATE_3560 = ((3:0.021512203535089622,1:0.021512203535089622):0.5932446786872654,(4:0.11806273045745316,2:0.11806273045745316):0.49669415176490184):0.0; tree STATE_3570 = ((3:0.021512203535089622,1:0.021512203535089622):0.616174218682019,(4:0.11806273045745316,2:0.11806273045745316):0.5196236917596555):0.0; tree STATE_3580 = ((3:0.021512203535089622,1:0.021512203535089622):0.616174218682019,(4:0.11306728543518174,2:0.11306728543518174):0.524619136781927):0.0; tree STATE_3590 = ((3:0.021512203535089622,1:0.021512203535089622):0.616174218682019,(4:0.11306728543518174,2:0.11306728543518174):0.524619136781927):0.0; tree STATE_3600 = ((3:0.021512203535089622,1:0.021512203535089622):0.616174218682019,(4:0.11306728543518174,2:0.11306728543518174):0.524619136781927):0.0; tree STATE_3610 = ((3:0.021512203535089622,1:0.021512203535089622):0.616174218682019,(4:0.11306728543518174,2:0.11306728543518174):0.524619136781927):0.0; tree STATE_3620 = ((3:0.021512203535089622,1:0.021512203535089622):0.616174218682019,(4:0.11130991026052674,2:0.11130991026052674):0.526376511956582):0.0; tree STATE_3630 = ((3:0.021839646149574638,1:0.021839646149574638):0.6255531601193477,(4:0.11300418616184701,2:0.11300418616184701):0.5343886201070753):0.0; tree STATE_3640 = ((3:0.021839646149574638,1:0.021839646149574638):0.6255531601193477,(4:0.11300418616184701,2:0.11300418616184701):0.5343886201070753):0.0; tree STATE_3650 = ((3:0.021839646149574638,1:0.021839646149574638):0.6255531601193477,(4:0.11300418616184701,2:0.11300418616184701):0.5343886201070753):0.0; tree STATE_3660 = ((3:0.021839646149574638,1:0.021839646149574638):0.6255531601193477,(4:0.11300418616184701,2:0.11300418616184701):0.5343886201070753):0.0; tree STATE_3670 = ((3:0.021839646149574638,1:0.021839646149574638):0.6255531601193477,(4:0.11300418616184701,2:0.11300418616184701):0.5343886201070753):0.0; tree STATE_3680 = ((3:0.021839646149574638,1:0.021839646149574638):0.6255531601193477,(4:0.11300418616184701,2:0.11300418616184701):0.5343886201070753):0.0; tree STATE_3690 = ((3:0.021839646149574638,1:0.021839646149574638):0.6255531601193477,(4:0.11300418616184701,2:0.11300418616184701):0.5343886201070753):0.0; tree STATE_3700 = ((3:0.021839646149574638,1:0.021839646149574638):0.49481039269154575,(4:0.11300418616184701,2:0.11300418616184701):0.40364585267927333):0.0; tree STATE_3710 = ((3:0.03828001889444371,1:0.03828001889444371):0.47837001994667666,(4:0.11300418616184701,2:0.11300418616184701):0.40364585267927333):0.0; tree STATE_3720 = ((3:0.03828001889444371,1:0.03828001889444371):0.47837001994667666,(4:0.11300418616184701,2:0.11300418616184701):0.40364585267927333):0.0; tree STATE_3730 = ((3:0.03828001889444371,1:0.03828001889444371):0.47837001994667666,(4:0.11300418616184701,2:0.11300418616184701):0.40364585267927333):0.0; tree STATE_3740 = ((3:0.03828001889444371,1:0.03828001889444371):0.47837001994667666,(4:0.11300418616184701,2:0.11300418616184701):0.40364585267927333):0.0; tree STATE_3750 = ((3:0.03828001889444371,1:0.03828001889444371):0.47837001994667666,(4:0.11300418616184701,2:0.11300418616184701):0.40364585267927333):0.0; tree STATE_3760 = ((3:0.026088560063604542,1:0.026088560063604542):0.4905614787775158,(4:0.11300418616184701,2:0.11300418616184701):0.40364585267927333):0.0; tree STATE_3770 = ((3:0.026088560063604542,1:0.026088560063604542):0.37436148095991956,(4:0.11300418616184701,2:0.11300418616184701):0.28744585486167706):0.0; tree STATE_3780 = ((3:0.026088560063604542,1:0.026088560063604542):0.37436148095991956,(4:0.11300418616184701,2:0.11300418616184701):0.28744585486167706):0.0; tree STATE_3790 = ((3:0.026088560063604542,1:0.026088560063604542):0.37436148095991956,(4:0.11300418616184701,2:0.11300418616184701):0.28744585486167706):0.0; tree STATE_3800 = ((3:0.020771191238574176,1:0.020771191238574176):0.35426510796934085,(4:0.10583260689602919,2:0.10583260689602919):0.26920369231188584):0.0; tree STATE_3810 = ((3:0.02732724435554792,1:0.02732724435554792):0.4660825207821493,(4:0.1392367667416923,2:0.1392367667416923):0.3541729983960049):0.0; tree STATE_3820 = ((3:0.02732724435554792,1:0.02732724435554792):0.4660825207821493,(4:0.1392367667416923,2:0.1392367667416923):0.3541729983960049):0.0; tree STATE_3830 = ((3:0.021977142284651908,1:0.021977142284651908):0.37483332539305153,(4:0.11197712415214013,2:0.11197712415214013):0.28483334352556333):0.0; tree STATE_3840 = ((3:0.021977142284651908,1:0.021977142284651908):0.37483332539305153,(4:0.11197712415214013,2:0.11197712415214013):0.28483334352556333):0.0; tree STATE_3850 = ((3:0.021977142284651908,1:0.021977142284651908):0.37483332539305153,(4:0.11197712415214013,2:0.11197712415214013):0.28483334352556333):0.0; tree STATE_3860 = ((3:0.021977142284651908,1:0.021977142284651908):0.37483332539305153,(4:0.12727635794192663,2:0.12727635794192663):0.26953410973577685):0.0; tree STATE_3870 = ((3:0.021977142284651908,1:0.021977142284651908):0.37483332539305153,(4:0.12727635794192663,2:0.12727635794192663):0.26953410973577685):0.0; tree STATE_3880 = ((3:0.021977142284651908,1:0.021977142284651908):0.37483332539305153,(4:0.12727635794192663,2:0.12727635794192663):0.26953410973577685):0.0; tree STATE_3890 = ((3:0.02839001038821676,1:0.02839001038821676):0.3684204572894867,(4:0.13074963985626104,2:0.13074963985626104):0.2660608278214424):0.0; tree STATE_3900 = ((3:0.02839001038821676,1:0.02839001038821676):0.3994152661648594,(4:0.13074963985626104,2:0.13074963985626104):0.2970556366968151):0.0; tree STATE_3910 = ((3:0.02839001038821676,1:0.02839001038821676):0.3994152661648594,(4:0.13074963985626104,2:0.13074963985626104):0.2970556366968151):0.0; tree STATE_3920 = ((3:0.02839001038821676,1:0.02839001038821676):0.3994152661648594,(4:0.13074963985626104,2:0.13074963985626104):0.2970556366968151):0.0; tree STATE_3930 = ((3:0.02839001038821676,1:0.02839001038821676):0.3994152661648594,(4:0.13074963985626104,2:0.13074963985626104):0.2970556366968151):0.0; tree STATE_3940 = ((3:0.02839001038821676,1:0.02839001038821676):0.3994152661648594,(4:0.13074963985626104,2:0.13074963985626104):0.2970556366968151):0.0; tree STATE_3950 = ((3:0.02839001038821676,1:0.02839001038821676):0.4340232208851262,(4:0.13074963985626104,2:0.13074963985626104):0.3316635914170819):0.0; tree STATE_3960 = ((3:0.02839001038821676,1:0.02839001038821676):0.4340232208851262,(4:0.13074963985626104,2:0.13074963985626104):0.3316635914170819):0.0; tree STATE_3970 = ((3:0.02839001038821676,1:0.02839001038821676):0.4340232208851262,(4:0.13074963985626104,2:0.13074963985626104):0.3316635914170819):0.0; tree STATE_3980 = ((3:0.02839001038821676,1:0.02839001038821676):0.4340232208851262,(4:0.09377190563831958,2:0.09377190563831958):0.3686413256350234):0.0; tree STATE_3990 = ((3:0.020930993568750278,1:0.020930993568750278):0.47219926108189625,(4:0.12420555094698722,2:0.12420555094698722):0.3689247037036593):0.0; tree STATE_4000 = ((3:0.020930993568750278,1:0.020930993568750278):0.47219926108189625,(4:0.12420555094698722,2:0.12420555094698722):0.3689247037036593):0.0; tree STATE_4010 = ((3:0.020930993568750278,1:0.020930993568750278):0.47219926108189625,(4:0.11899413349508528,2:0.11899413349508528):0.3741361211555613):0.0; tree STATE_4020 = ((3:0.04965561307176327,1:0.04965561307176327):0.4434746415788833,(4:0.11899413349508528,2:0.11899413349508528):0.3741361211555613):0.0; tree STATE_4030 = ((3:0.04965561307176327,1:0.04965561307176327):0.4434746415788833,(4:0.11899413349508528,2:0.11899413349508528):0.3741361211555613):0.0; tree STATE_4040 = ((3:0.04965561307176327,1:0.04965561307176327):0.4434746415788833,(4:0.11899413349508528,2:0.11899413349508528):0.3741361211555613):0.0; tree STATE_4050 = ((3:0.04965561307176327,1:0.04965561307176327):0.4434746415788833,(4:0.11899413349508528,2:0.11899413349508528):0.3741361211555613):0.0; tree STATE_4060 = ((3:0.04965561307176327,1:0.04965561307176327):0.4434746415788833,(4:0.11899413349508528,2:0.11899413349508528):0.3741361211555613):0.0; tree STATE_4070 = ((3:0.04965561307176327,1:0.04965561307176327):0.4434746415788833,(4:0.11899413349508528,2:0.11899413349508528):0.3741361211555613):0.0; tree STATE_4080 = ((3:0.02380880131602825,1:0.02380880131602825):0.4693214533346183,(4:0.11899413349508528,2:0.11899413349508528):0.3741361211555613):0.0; tree STATE_4090 = ((3:0.024301240916089924,1:0.024301240916089924):0.4790284715802145,(4:0.1214552999658457,2:0.1214552999658457):0.38187441253045873):0.0; tree STATE_4100 = ((3:0.024301240916089924,1:0.024301240916089924):0.4790284715802145,(4:0.1214552999658457,2:0.1214552999658457):0.38187441253045873):0.0; tree STATE_4110 = ((3:0.02060681786489981,1:0.02060681786489981):0.40620363791459846,(4:0.10299092354028055,2:0.10299092354028055):0.3238195322392177):0.0; tree STATE_4120 = ((3:0.03653744719576144,1:0.03653744719576144):0.3902730085837368,(4:0.10299092354028055,2:0.10299092354028055):0.3238195322392177):0.0; tree STATE_4130 = ((3:0.03653744719576144,1:0.03653744719576144):0.46850940646121486,(4:0.10299092354028055,2:0.10299092354028055):0.40205593011669577):0.0; tree STATE_4140 = ((3:0.03653744719576144,1:0.03653744719576144):0.4573805671098158,(4:0.10299092354028055,2:0.10299092354028055):0.3909270907652967):0.0; tree STATE_4150 = ((3:0.03653744719576144,1:0.03653744719576144):0.4573805671098158,(4:0.10299092354028055,2:0.10299092354028055):0.3909270907652967):0.0; tree STATE_4160 = ((3:0.03653744719576144,1:0.03653744719576144):0.4573805671098158,(4:0.10299092354028055,2:0.10299092354028055):0.3909270907652967):0.0; tree STATE_4170 = ((3:0.03653744719576144,1:0.03653744719576144):0.4573805671098158,(4:0.10299092354028055,2:0.10299092354028055):0.3909270907652967):0.0; tree STATE_4180 = ((3:0.035580557001260976,1:0.035580557001260976):0.4454020898648807,(4:0.10029366326563076,2:0.10029366326563076):0.3806889836005109):0.0; tree STATE_4190 = ((3:0.035580557001260976,1:0.035580557001260976):0.4454020898648807,(4:0.10029366326563076,2:0.10029366326563076):0.3806889836005109):0.0; tree STATE_4200 = ((3:0.035580557001260976,1:0.035580557001260976):0.4454020898648807,(4:0.10029366326563076,2:0.10029366326563076):0.3806889836005109):0.0; tree STATE_4210 = ((3:0.035580557001260976,1:0.035580557001260976):0.4454020898648807,(4:0.1163755370086133,2:0.1163755370086133):0.36460710985752837):0.0; tree STATE_4220 = ((3:0.03577016887506258,1:0.03577016887506258):0.4452124779910791,(4:0.1163755370086133,2:0.1163755370086133):0.36460710985752837):0.0; tree STATE_4230 = ((3:0.03577016887506258,1:0.03577016887506258):0.4452124779910791,(4:0.1163755370086133,2:0.1163755370086133):0.36460710985752837):0.0; tree STATE_4240 = ((3:0.03577016887506258,1:0.03577016887506258):0.4452124779910791,(4:0.1163755370086133,2:0.1163755370086133):0.36460710985752837):0.0; tree STATE_4250 = ((3:0.03577016887506258,1:0.03577016887506258):0.4452124779910791,(4:0.1163755370086133,2:0.1163755370086133):0.36460710985752837):0.0; tree STATE_4260 = ((3:0.03577016887506258,1:0.03577016887506258):0.4900055689691941,(4:0.1163755370086133,2:0.1163755370086133):0.4094002008356434):0.0; tree STATE_4270 = ((3:0.03577016887506258,1:0.03577016887506258):0.4900055689691941,(4:0.1163755370086133,2:0.1163755370086133):0.4094002008356434):0.0; tree STATE_4280 = ((3:0.03577016887506258,1:0.03577016887506258):0.4900055689691941,(4:0.12216413967545409,2:0.12216413967545409):0.4036115981688026):0.0; tree STATE_4290 = ((3:0.03577016887506258,1:0.03577016887506258):0.4900055689691941,(4:0.12216413967545409,2:0.12216413967545409):0.4036115981688026):0.0; tree STATE_4300 = ((3:0.02733662277362462,1:0.02733662277362462):0.49843911507063204,(4:0.12216413967545409,2:0.12216413967545409):0.4036115981688026):0.0; tree STATE_4310 = ((3:0.02733662277362462,1:0.02733662277362462):0.49843911507063204,(4:0.12216413967545409,2:0.12216413967545409):0.4036115981688026):0.0; tree STATE_4320 = ((3:0.02733662277362462,1:0.02733662277362462):0.49843911507063204,(4:0.12216413967545409,2:0.12216413967545409):0.4036115981688026):0.0; tree STATE_4330 = ((3:0.02733662277362462,1:0.02733662277362462):0.49843911507063204,(4:0.12216413967545409,2:0.12216413967545409):0.4036115981688026):0.0; tree STATE_4340 = ((3:0.02733662277362462,1:0.02733662277362462):0.3884117589354543,(4:0.12216413967545409,2:0.12216413967545409):0.2935842420336249):0.0; tree STATE_4350 = ((3:0.02733662277362462,1:0.02733662277362462):0.3884117589354543,(4:0.12216413967545409,2:0.12216413967545409):0.2935842420336249):0.0; tree STATE_4360 = ((3:0.02733662277362462,1:0.02733662277362462):0.3884117589354543,(4:0.12216413967545409,2:0.12216413967545409):0.2935842420336249):0.0; tree STATE_4370 = ((3:0.02733662277362462,1:0.02733662277362462):0.44807984116517346,(4:0.12216413967545409,2:0.12216413967545409):0.353252324263344):0.0; tree STATE_4380 = ((3:0.02733662277362462,1:0.02733662277362462):0.44807984116517346,(4:0.12216413967545409,2:0.12216413967545409):0.353252324263344):0.0; tree STATE_4390 = ((3:0.02733662277362462,1:0.02733662277362462):0.44807984116517346,(4:0.12216413967545409,2:0.12216413967545409):0.353252324263344):0.0; tree STATE_4400 = ((3:0.02733662277362462,1:0.02733662277362462):0.45382010585717353,(4:0.12216413967545409,2:0.12216413967545409):0.3589925889553441):0.0; tree STATE_4410 = ((3:0.02733662277362462,1:0.02733662277362462):0.45382010585717353,(4:0.12216413967545409,2:0.12216413967545409):0.3589925889553441):0.0; tree STATE_4420 = ((3:0.02733662277362462,1:0.02733662277362462):0.45382010585717353,(4:0.12216413967545409,2:0.12216413967545409):0.3589925889553441):0.0; tree STATE_4430 = ((3:0.02733662277362462,1:0.02733662277362462):0.45382010585717353,(4:0.12216413967545409,2:0.12216413967545409):0.3589925889553441):0.0; tree STATE_4440 = ((3:0.02733662277362462,1:0.02733662277362462):0.45382010585717353,(4:0.12216413967545409,2:0.12216413967545409):0.3589925889553441):0.0; tree STATE_4450 = ((3:0.02733662277362462,1:0.02733662277362462):0.42768595089570294,(4:0.12216413967545409,2:0.12216413967545409):0.3328584339938735):0.0; tree STATE_4460 = ((3:0.02733662277362462,1:0.02733662277362462):0.42768595089570294,(4:0.12216413967545409,2:0.12216413967545409):0.3328584339938735):0.0; tree STATE_4470 = ((3:0.02733662277362462,1:0.02733662277362462):0.42768595089570294,(4:0.12216413967545409,2:0.12216413967545409):0.3328584339938735):0.0; tree STATE_4480 = ((3:0.02733662277362462,1:0.02733662277362462):0.42768595089570294,(4:0.12216413967545409,2:0.12216413967545409):0.3328584339938735):0.0; tree STATE_4490 = ((3:0.02733662277362462,1:0.02733662277362462):0.42768595089570294,(4:0.12216413967545409,2:0.12216413967545409):0.3328584339938735):0.0; tree STATE_4500 = ((3:0.02733662277362462,1:0.02733662277362462):0.42768595089570294,(4:0.12216413967545409,2:0.12216413967545409):0.3328584339938735):0.0; tree STATE_4510 = ((3:0.02733662277362462,1:0.02733662277362462):0.42768595089570294,(4:0.12216413967545409,2:0.12216413967545409):0.3328584339938735):0.0; tree STATE_4520 = ((3:0.0497847352403451,1:0.0497847352403451):0.46206940997164914,(4:0.12216413967545409,2:0.12216413967545409):0.38969000553654015):0.0; tree STATE_4530 = ((3:0.016130328798290152,1:0.016130328798290152):0.4957238164137041,(4:0.12216413967545409,2:0.12216413967545409):0.38969000553654015):0.0; tree STATE_4540 = ((3:0.016130328798290152,1:0.016130328798290152):0.4957238164137041,(4:0.12216413967545409,2:0.12216413967545409):0.38969000553654015):0.0; tree STATE_4550 = ((3:0.018711604191535263,1:0.018711604191535263):0.5750526202561831,(4:0.14171360401834057,2:0.14171360401834057):0.4520506204293778):0.0; tree STATE_4560 = ((3:0.02161651150899198,1:0.02161651150899198):0.5721477129387263,(4:0.14171360401834057,2:0.14171360401834057):0.4520506204293778):0.0; tree STATE_4570 = ((3:0.02161651150899198,1:0.02161651150899198):0.5721477129387263,(4:0.1436868322766582,2:0.1436868322766582):0.45007739217106013):0.0; tree STATE_4580 = ((3:0.02597362159247289,1:0.02597362159247289):0.6874720828422084,(4:0.10331354206596464,2:0.10331354206596464):0.6101321623687166):0.0; tree STATE_4590 = ((3:0.02597362159247289,1:0.02597362159247289):0.6874720828422084,(4:0.10331354206596464,2:0.10331354206596464):0.6101321623687166):0.0; tree STATE_4600 = ((3:0.02597362159247289,1:0.02597362159247289):0.6874720828422084,(4:0.10331354206596464,2:0.10331354206596464):0.6101321623687166):0.0; tree STATE_4610 = ((3:0.02597362159247289,1:0.02597362159247289):0.6874720828422084,(4:0.10331354206596464,2:0.10331354206596464):0.6101321623687166):0.0; tree STATE_4620 = ((3:0.02597362159247289,1:0.02597362159247289):0.6874720828422084,(4:0.10331354206596464,2:0.10331354206596464):0.6101321623687166):0.0; tree STATE_4630 = ((3:0.02597362159247289,1:0.02597362159247289):0.28734269260736867,(4:0.10331354206596464,2:0.10331354206596464):0.2100027721338769):0.0; tree STATE_4640 = ((3:0.02597362159247289,1:0.02597362159247289):0.28734269260736867,(4:0.10331354206596464,2:0.10331354206596464):0.2100027721338769):0.0; tree STATE_4650 = ((3:0.0320117915488925,1:0.0320117915488925):0.3541421571149033,(4:0.08209527568171289,2:0.08209527568171289):0.30405867298208294):0.0; tree STATE_4660 = ((3:0.0320117915488925,1:0.0320117915488925):0.3541421571149033,(4:0.08209527568171289,2:0.08209527568171289):0.30405867298208294):0.0; tree STATE_4670 = ((3:0.0320117915488925,1:0.0320117915488925):0.3541421571149033,(4:0.08209527568171289,2:0.08209527568171289):0.30405867298208294):0.0; tree STATE_4680 = ((3:0.0320117915488925,1:0.0320117915488925):0.3541421571149033,(4:0.08209527568171289,2:0.08209527568171289):0.30405867298208294):0.0; tree STATE_4690 = ((3:0.0320117915488925,1:0.0320117915488925):0.3541421571149033,(4:0.08209527568171289,2:0.08209527568171289):0.30405867298208294):0.0; tree STATE_4700 = ((3:0.0320117915488925,1:0.0320117915488925):0.3541421571149033,(4:0.08209527568171289,2:0.08209527568171289):0.30405867298208294):0.0; tree STATE_4710 = ((3:0.0320117915488925,1:0.0320117915488925):0.4745718846272006,(4:0.14060813590619634,2:0.14060813590619634):0.36597554026989676):0.0; tree STATE_4720 = ((3:0.0320117915488925,1:0.0320117915488925):0.4745718846272006,(4:0.14060813590619634,2:0.14060813590619634):0.36597554026989676):0.0; tree STATE_4730 = ((3:0.0320117915488925,1:0.0320117915488925):0.38600362033167174,(4:0.15727389673543093,2:0.15727389673543093):0.26074151514513333):0.0; tree STATE_4740 = ((3:0.0320117915488925,1:0.0320117915488925):0.4272252942540687,(4:0.15727389673543093,2:0.15727389673543093):0.3019631890675303):0.0; tree STATE_4750 = ((3:0.0320117915488925,1:0.0320117915488925):0.4272252942540687,(4:0.15727389673543093,2:0.15727389673543093):0.3019631890675303):0.0; tree STATE_4760 = ((3:0.0320117915488925,1:0.0320117915488925):0.4272252942540687,(4:0.15727389673543093,2:0.15727389673543093):0.3019631890675303):0.0; tree STATE_4770 = ((3:0.0320117915488925,1:0.0320117915488925):0.4272252942540687,(4:0.15727389673543093,2:0.15727389673543093):0.3019631890675303):0.0; tree STATE_4780 = ((3:0.0320117915488925,1:0.0320117915488925):0.4272252942540687,(4:0.15727389673543093,2:0.15727389673543093):0.3019631890675303):0.0; tree STATE_4790 = ((3:0.0320117915488925,1:0.0320117915488925):0.48407148310598286,(4:0.09441920938407153,2:0.09441920938407153):0.4216640652708038):0.0; tree STATE_4800 = ((3:0.03238049775013446,1:0.03238049775013446):0.4837027769047409,(4:0.09441920938407153,2:0.09441920938407153):0.4216640652708038):0.0; tree STATE_4810 = ((3:0.03238049775013446,1:0.03238049775013446):0.3712760395829687,(4:0.09441920938407153,2:0.09441920938407153):0.3092373279490316):0.0; tree STATE_4820 = ((3:0.03238049775013446,1:0.03238049775013446):0.5433002302517458,(4:0.11283607972021685,2:0.11283607972021685):0.46284464828166344):0.0; tree STATE_4830 = ((3:0.03238049775013446,1:0.03238049775013446):0.38545261592180935,(4:0.11283607972021685,2:0.11283607972021685):0.30499703395172695):0.0; tree STATE_4840 = ((3:0.03238049775013446,1:0.03238049775013446):0.38545261592180935,(4:0.11283607972021685,2:0.11283607972021685):0.30499703395172695):0.0; tree STATE_4850 = ((3:0.03238049775013446,1:0.03238049775013446):0.38545261592180935,(4:0.11283607972021685,2:0.11283607972021685):0.30499703395172695):0.0; tree STATE_4860 = ((3:0.03238049775013446,1:0.03238049775013446):0.38545261592180935,(4:0.08244072825137558,2:0.08244072825137558):0.33539238542056826):0.0; tree STATE_4870 = ((3:0.0296725039194332,1:0.0296725039194332):0.3881606097525106,(4:0.10952210276005797,2:0.10952210276005797):0.30831101091188584):0.0; tree STATE_4880 = ((3:0.0296725039194332,1:0.0296725039194332):0.3881606097525106,(4:0.10952210276005797,2:0.10952210276005797):0.30831101091188584):0.0; tree STATE_4890 = ((3:0.0296725039194332,1:0.0296725039194332):0.5116211474649414,(4:0.10952210276005797,2:0.10952210276005797):0.4317715486243166):0.0; tree STATE_4900 = ((3:0.0296725039194332,1:0.0296725039194332):0.5116211474649414,(4:0.10952210276005797,2:0.10952210276005797):0.4317715486243166):0.0; tree STATE_4910 = ((3:0.0296725039194332,1:0.0296725039194332):0.5116211474649414,(4:0.10952210276005797,2:0.10952210276005797):0.4317715486243166):0.0; tree STATE_4920 = ((3:0.0296725039194332,1:0.0296725039194332):0.5116211474649414,(4:0.10952210276005797,2:0.10952210276005797):0.4317715486243166):0.0; tree STATE_4930 = ((3:0.0296725039194332,1:0.0296725039194332):0.5116211474649414,(4:0.10952210276005797,2:0.10952210276005797):0.4317715486243166):0.0; tree STATE_4940 = ((3:0.0296725039194332,1:0.0296725039194332):0.5116211474649414,(4:0.12066341466528423,2:0.12066341466528423):0.42063023671909033):0.0; tree STATE_4950 = ((3:0.0296725039194332,1:0.0296725039194332):0.5116211474649414,(4:0.12066341466528423,2:0.12066341466528423):0.42063023671909033):0.0; tree STATE_4960 = ((3:0.0296725039194332,1:0.0296725039194332):0.5116211474649414,(4:0.12066341466528423,2:0.12066341466528423):0.42063023671909033):0.0; tree STATE_4970 = ((3:0.0296725039194332,1:0.0296725039194332):0.5116211474649414,(4:0.12066341466528423,2:0.12066341466528423):0.42063023671909033):0.0; tree STATE_4980 = ((3:0.0296725039194332,1:0.0296725039194332):0.5116211474649414,(4:0.12066341466528423,2:0.12066341466528423):0.42063023671909033):0.0; tree STATE_4990 = ((3:0.0296725039194332,1:0.0296725039194332):0.5116211474649414,(4:0.12066341466528423,2:0.12066341466528423):0.42063023671909033):0.0; tree STATE_5000 = ((3:0.0296725039194332,1:0.0296725039194332):0.457917805899532,(4:0.11485203558782967,2:0.11485203558782967):0.3727382742311356):0.0; tree STATE_5010 = ((3:0.0296725039194332,1:0.0296725039194332):0.457917805899532,(4:0.11485203558782967,2:0.11485203558782967):0.3727382742311356):0.0; tree STATE_5020 = ((3:0.0296725039194332,1:0.0296725039194332):0.4929039066720238,(4:0.11485203558782967,2:0.11485203558782967):0.40772437500362735):0.0; tree STATE_5030 = ((3:0.0296725039194332,1:0.0296725039194332):0.4929039066720238,(4:0.10171032855423032,2:0.10171032855423032):0.42086608203722664):0.0; tree STATE_5040 = ((3:0.0296725039194332,1:0.0296725039194332):0.4929039066720238,(4:0.10171032855423032,2:0.10171032855423032):0.42086608203722664):0.0; tree STATE_5050 = ((3:0.0296725039194332,1:0.0296725039194332):0.4929039066720238,(4:0.10171032855423032,2:0.10171032855423032):0.42086608203722664):0.0; tree STATE_5060 = ((3:0.0296725039194332,1:0.0296725039194332):0.4929039066720238,(4:0.10171032855423032,2:0.10171032855423032):0.42086608203722664):0.0; tree STATE_5070 = ((3:0.0296725039194332,1:0.0296725039194332):0.4929039066720238,(4:0.10171032855423032,2:0.10171032855423032):0.42086608203722664):0.0; tree STATE_5080 = ((3:0.0296725039194332,1:0.0296725039194332):0.4929039066720238,(4:0.10171032855423032,2:0.10171032855423032):0.42086608203722664):0.0; tree STATE_5090 = ((3:0.0296725039194332,1:0.0296725039194332):0.4929039066720238,(4:0.1195831922934744,2:0.1195831922934744):0.40299321829798257):0.0; tree STATE_5100 = ((3:0.027258618649917254,1:0.027258618649917254):0.4877083516822422,(4:0.1195831922934744,2:0.1195831922934744):0.395383778038685):0.0; tree STATE_5110 = ((3:0.027258618649917254,1:0.027258618649917254):0.4877083516822422,(4:0.12266980313566617,2:0.12266980313566617):0.39229716719649327):0.0; tree STATE_5120 = ((3:0.027258618649917254,1:0.027258618649917254):0.45977269050231656,(4:0.12266980313566617,2:0.12266980313566617):0.36436150601656764):0.0; tree STATE_5130 = ((3:0.02662491602617405,1:0.02662491602617405):0.4490839918547908,(4:0.11981800139547161,2:0.11981800139547161):0.35589090648549326):0.0; tree STATE_5140 = ((3:0.02662491602617405,1:0.02662491602617405):0.4490839918547908,(4:0.11981800139547161,2:0.11981800139547161):0.35589090648549326):0.0; tree STATE_5150 = ((3:0.02662491602617405,1:0.02662491602617405):0.43440164482713756,(4:0.110744568082971,2:0.110744568082971):0.3502819927703406):0.0; tree STATE_5160 = ((3:0.02662491602617405,1:0.02662491602617405):0.43440164482713756,(4:0.110744568082971,2:0.110744568082971):0.3502819927703406):0.0; tree STATE_5170 = ((3:0.02662491602617405,1:0.02662491602617405):0.43440164482713756,(4:0.110744568082971,2:0.110744568082971):0.3502819927703406):0.0; tree STATE_5180 = ((3:0.02662491602617405,1:0.02662491602617405):0.4054673236484649,(4:0.110744568082971,2:0.110744568082971):0.32134767159166794):0.0; tree STATE_5190 = ((3:0.02662491602617405,1:0.02662491602617405):0.4054673236484649,(4:0.110744568082971,2:0.110744568082971):0.32134767159166794):0.0; tree STATE_5200 = ((3:0.025832130461668462,1:0.025832130461668462):0.39339409717326346,(4:0.10744702923487565,2:0.10744702923487565):0.3117791984000563):0.0; tree STATE_5210 = ((3:0.025431298259300177,1:0.025431298259300177):0.38728987659406555,(4:0.1284876584326729,2:0.1284876584326729):0.28423351642069283):0.0; tree STATE_5220 = ((3:0.025431298259300177,1:0.025431298259300177):0.38728987659406555,(4:0.1284876584326729,2:0.1284876584326729):0.28423351642069283):0.0; tree STATE_5230 = ((3:0.025431298259300177,1:0.025431298259300177):0.38728987659406555,(4:0.1284876584326729,2:0.1284876584326729):0.28423351642069283):0.0; tree STATE_5240 = ((3:0.025431298259300177,1:0.025431298259300177):0.38728987659406555,(4:0.1284876584326729,2:0.1284876584326729):0.28423351642069283):0.0; tree STATE_5250 = ((3:0.025431298259300177,1:0.025431298259300177):0.38728987659406555,(4:0.1284876584326729,2:0.1284876584326729):0.28423351642069283):0.0; tree STATE_5260 = ((3:0.026644912402093122,1:0.026644912402093122):0.413063045829011,(4:0.1284876584326729,2:0.1284876584326729):0.3112202997984312):0.0; tree STATE_5270 = ((3:0.026644912402093122,1:0.026644912402093122):0.413063045829011,(4:0.11236850545036889,2:0.11236850545036889):0.3273394527807352):0.0; tree STATE_5280 = ((3:0.026644912402093122,1:0.026644912402093122):0.413063045829011,(4:0.11236850545036889,2:0.11236850545036889):0.3273394527807352):0.0; tree STATE_5290 = ((3:0.02637536313746623,1:0.02637536313746623):0.40888435540708234,(4:0.11123174629896743,2:0.11123174629896743):0.32402797224558116):0.0; tree STATE_5300 = ((3:0.02637536313746623,1:0.02637536313746623):0.40888435540708234,(4:0.11123174629896743,2:0.11123174629896743):0.32402797224558116):0.0; tree STATE_5310 = ((3:0.02637536313746623,1:0.02637536313746623):0.36685539745722434,(4:0.11123174629896743,2:0.11123174629896743):0.28199901429572316):0.0; tree STATE_5320 = ((3:0.02637536313746623,1:0.02637536313746623):0.36685539745722434,(4:0.11123174629896743,2:0.11123174629896743):0.28199901429572316):0.0; tree STATE_5330 = ((3:0.02637536313746623,1:0.02637536313746623):0.36685539745722434,(4:0.10013068969914134,2:0.10013068969914134):0.29310007089554924):0.0; tree STATE_5340 = ((3:0.025843119584433683,1:0.025843119584433683):0.4569590041838487,(4:0.09811009518541626,2:0.09811009518541626):0.38469202858286616):0.0; tree STATE_5350 = ((3:0.025843119584433683,1:0.025843119584433683):0.4569590041838487,(4:0.09811009518541626,2:0.09811009518541626):0.38469202858286616):0.0; tree STATE_5360 = ((3:0.025843119584433683,1:0.025843119584433683):0.32358443337835174,(4:0.09811009518541626,2:0.09811009518541626):0.2513174577773692):0.0; tree STATE_5370 = ((3:0.02552697726462,1:0.02552697726462):0.36816451937607353,(4:0.09690990133932419,2:0.09690990133932419):0.2967815953013693):0.0; tree STATE_5380 = ((3:0.03458712385271382,1:0.03458712385271382):0.4988350832859439,(4:0.129500164139005,2:0.129500164139005):0.40392204299965273):0.0; tree STATE_5390 = ((3:0.03458712385271382,1:0.03458712385271382):0.4988350832859439,(4:0.129500164139005,2:0.129500164139005):0.40392204299965273):0.0; tree STATE_5400 = ((3:0.03458712385271382,1:0.03458712385271382):0.4988350832859439,(4:0.14150000067713198,2:0.14150000067713198):0.39192220646152576):0.0; tree STATE_5410 = ((3:0.03458712385271382,1:0.03458712385271382):0.4988350832859439,(4:0.14150000067713198,2:0.14150000067713198):0.39192220646152576):0.0; tree STATE_5420 = ((3:0.03458712385271382,1:0.03458712385271382):0.4988350832859439,(4:0.14150000067713198,2:0.14150000067713198):0.39192220646152576):0.0; tree STATE_5430 = ((3:0.03458712385271382,1:0.03458712385271382):0.4988350832859439,(4:0.14150000067713198,2:0.14150000067713198):0.39192220646152576):0.0; tree STATE_5440 = ((3:0.03458712385271382,1:0.03458712385271382):0.41679766029974363,(4:0.14150000067713198,2:0.14150000067713198):0.3098847834753255):0.0; tree STATE_5450 = ((3:0.03582222575146892,1:0.03582222575146892):0.43168145300320965,(4:0.14655294813394865,2:0.14655294813394865):0.32095073062072993):0.0; tree STATE_5460 = ((3:0.03582222575146892,1:0.03582222575146892):0.43168145300320965,(4:0.14655294813394865,2:0.14655294813394865):0.32095073062072993):0.0; tree STATE_5470 = ((3:0.032521939014684746,1:0.032521939014684746):0.39191082055433696,(4:0.08559077919533122,2:0.08559077919533122):0.3388419803736905):0.0; tree STATE_5480 = ((3:0.032521939014684746,1:0.032521939014684746):0.39191082055433696,(4:0.14367817918110695,2:0.14367817918110695):0.2807545803879148):0.0; tree STATE_5490 = ((3:0.032521939014684746,1:0.032521939014684746):0.39191082055433696,(4:0.14367817918110695,2:0.14367817918110695):0.2807545803879148):0.0; tree STATE_5500 = ((3:0.032521939014684746,1:0.032521939014684746):0.39191082055433696,(4:0.14367817918110695,2:0.14367817918110695):0.2807545803879148):0.0; tree STATE_5510 = ((3:0.032521939014684746,1:0.032521939014684746):0.39191082055433696,(4:0.14367817918110695,2:0.14367817918110695):0.2807545803879148):0.0; tree STATE_5520 = ((3:0.032521939014684746,1:0.032521939014684746):0.39191082055433696,(4:0.14367817918110695,2:0.14367817918110695):0.2807545803879148):0.0; tree STATE_5530 = ((3:0.03074053190704554,1:0.03074053190704554):0.39369222766197615,(4:0.15682383007549805,2:0.15682383007549805):0.26760892949352366):0.0; tree STATE_5540 = ((3:0.03074053190704554,1:0.03074053190704554):0.39369222766197615,(4:0.11311212282160253,2:0.11311212282160253):0.31132063674741917):0.0; tree STATE_5550 = ((3:0.03838712584061302,1:0.03838712584061302):0.3860456337284087,(4:0.08062816081630209,2:0.08062816081630209):0.3438045987527196):0.0; tree STATE_5560 = ((3:0.03838712584061302,1:0.03838712584061302):0.5165089314806545,(4:0.1355726032221836,2:0.1355726032221836):0.4193234540990839):0.0; tree STATE_5570 = ((3:0.03838712584061302,1:0.03838712584061302):0.5165089314806545,(4:0.1355726032221836,2:0.1355726032221836):0.4193234540990839):0.0; tree STATE_5580 = ((3:0.03838712584061302,1:0.03838712584061302):0.5165089314806545,(4:0.1355726032221836,2:0.1355726032221836):0.4193234540990839):0.0; tree STATE_5590 = ((3:0.03838712584061302,1:0.03838712584061302):0.48532583756701353,(4:0.1355726032221836,2:0.1355726032221836):0.38814036018544296):0.0; tree STATE_5600 = ((3:0.03838712584061302,1:0.03838712584061302):0.48532583756701353,(4:0.08457726605418359,2:0.08457726605418359):0.43913569735344293):0.0; tree STATE_5610 = ((3:0.03838712584061302,1:0.03838712584061302):0.48532583756701353,(4:0.08457726605418359,2:0.08457726605418359):0.43913569735344293):0.0; tree STATE_5620 = ((3:0.03838712584061302,1:0.03838712584061302):0.48532583756701353,(4:0.08457726605418359,2:0.08457726605418359):0.43913569735344293):0.0; tree STATE_5630 = ((3:0.03838712584061302,1:0.03838712584061302):0.48532583756701353,(4:0.15434692224359273,2:0.15434692224359273):0.3693660411640338):0.0; tree STATE_5640 = ((3:0.03838712584061302,1:0.03838712584061302):0.48532583756701353,(4:0.11669075789311141,2:0.11669075789311141):0.4070222055145151):0.0; tree STATE_5650 = ((3:0.03838712584061302,1:0.03838712584061302):0.48532583756701353,(4:0.11669075789311141,2:0.11669075789311141):0.4070222055145151):0.0; tree STATE_5660 = ((3:0.03838712584061302,1:0.03838712584061302):0.4340661954622249,(4:0.11669075789311141,2:0.11669075789311141):0.3557625634097265):0.0; tree STATE_5670 = ((3:0.03838712584061302,1:0.03838712584061302):0.4340661954622249,(4:0.10468425295280429,2:0.10468425295280429):0.36776906835003365):0.0; tree STATE_5680 = ((3:0.03838712584061302,1:0.03838712584061302):0.4340661954622249,(4:0.10468425295280429,2:0.10468425295280429):0.36776906835003365):0.0; tree STATE_5690 = ((3:0.03838712584061302,1:0.03838712584061302):0.508101855866148,(4:0.10468425295280429,2:0.10468425295280429):0.4418047287539567):0.0; tree STATE_5700 = ((3:0.03838712584061302,1:0.03838712584061302):0.508101855866148,(4:0.11835164101998372,2:0.11835164101998372):0.4281373406867772):0.0; tree STATE_5710 = ((3:0.03838712584061302,1:0.03838712584061302):0.508101855866148,(4:0.11726302536195436,2:0.11726302536195436):0.4292259563448066):0.0; tree STATE_5720 = ((3:0.03838712584061302,1:0.03838712584061302):0.508101855866148,(4:0.12212138341501597,2:0.12212138341501597):0.424367598291745):0.0; tree STATE_5730 = ((3:0.03838712584061302,1:0.03838712584061302):0.508101855866148,(4:0.11843018413215282,2:0.11843018413215282):0.42805879757460813):0.0; tree STATE_5740 = ((3:0.03838712584061302,1:0.03838712584061302):0.508101855866148,(4:0.11843018413215282,2:0.11843018413215282):0.42805879757460813):0.0; tree STATE_5750 = ((3:0.03838712584061302,1:0.03838712584061302):0.508101855866148,(4:0.11843018413215282,2:0.11843018413215282):0.42805879757460813):0.0; tree STATE_5760 = ((3:0.03838712584061302,1:0.03838712584061302):0.508101855866148,(4:0.11843018413215282,2:0.11843018413215282):0.42805879757460813):0.0; tree STATE_5770 = ((3:0.035443215283660755,1:0.035443215283660755):0.46913549970543617,(4:0.10934776752258263,2:0.10934776752258263):0.39523094746651427):0.0; tree STATE_5780 = ((3:0.035443215283660755,1:0.035443215283660755):0.46913549970543617,(4:0.08754738099621052,2:0.08754738099621052):0.4170313339928864):0.0; tree STATE_5790 = ((3:0.035443215283660755,1:0.035443215283660755):0.46913549970543617,(4:0.08754738099621052,2:0.08754738099621052):0.4170313339928864):0.0; tree STATE_5800 = ((3:0.035443215283660755,1:0.035443215283660755):0.46913549970543617,(4:0.08754738099621052,2:0.08754738099621052):0.4170313339928864):0.0; tree STATE_5810 = ((3:0.035443215283660755,1:0.035443215283660755):0.46913549970543617,(4:0.08754738099621052,2:0.08754738099621052):0.4170313339928864):0.0; tree STATE_5820 = ((3:0.035443215283660755,1:0.035443215283660755):0.46913549970543617,(4:0.08754738099621052,2:0.08754738099621052):0.4170313339928864):0.0; tree STATE_5830 = ((3:0.03603605331768917,1:0.03603605331768917):0.47698245617122054,(4:0.08901173508538529,2:0.08901173508538529):0.4240067744035244):0.0; tree STATE_5840 = ((3:0.03603605331768917,1:0.03603605331768917):0.47698245617122054,(4:0.08901173508538529,2:0.08901173508538529):0.4240067744035244):0.0; tree STATE_5850 = ((3:0.03603605331768917,1:0.03603605331768917):0.47698245617122054,(4:0.09135041117808032,2:0.09135041117808032):0.4216680983108294):0.0; tree STATE_5860 = ((3:0.03603605331768917,1:0.03603605331768917):0.41944716101393165,(4:0.09135041117808032,2:0.09135041117808032):0.36413280315354046):0.0; tree STATE_5870 = ((3:0.03603605331768917,1:0.03603605331768917):0.4805652418539051,(4:0.10225000313318369,2:0.10225000313318369):0.4143512920384106):0.0; tree STATE_5880 = ((3:0.03603605331768917,1:0.03603605331768917):0.29988208754841583,(4:0.10225000313318369,2:0.10225000313318369):0.2336681377329213):0.0; tree STATE_5890 = ((3:0.03603605331768917,1:0.03603605331768917):0.29988208754841583,(4:0.10225000313318369,2:0.10225000313318369):0.2336681377329213):0.0; tree STATE_5900 = ((3:0.04217991312707112,1:0.04217991312707112):0.2937382277390339,(4:0.10225000313318369,2:0.10225000313318369):0.2336681377329213):0.0; tree STATE_5910 = ((3:0.04217991312707112,1:0.04217991312707112):0.2937382277390339,(4:0.11479955586464698,2:0.11479955586464698):0.22111858500145803):0.0; tree STATE_5920 = ((3:0.04217991312707112,1:0.04217991312707112):0.5458901480486722,(4:0.0825022609735684,2:0.0825022609735684):0.505567800202175):0.0; tree STATE_5930 = ((3:0.04217991312707112,1:0.04217991312707112):0.5458901480486722,(4:0.09301150188832256,2:0.09301150188832256):0.49505855928742076):0.0; tree STATE_5940 = ((3:0.04217991312707112,1:0.04217991312707112):0.5458901480486722,(4:0.09301150188832256,2:0.09301150188832256):0.49505855928742076):0.0; tree STATE_5950 = ((3:0.03728572211952444,1:0.03728572211952444):0.4825497934671109,(4:0.0822192545271472,2:0.0822192545271472):0.43761626105948814):0.0; tree STATE_5960 = ((3:0.03728572211952444,1:0.03728572211952444):0.4825497934671109,(4:0.0822192545271472,2:0.0822192545271472):0.43761626105948814):0.0; tree STATE_5970 = ((3:0.03728572211952444,1:0.03728572211952444):0.4825497934671109,(4:0.0822192545271472,2:0.0822192545271472):0.43761626105948814):0.0; tree STATE_5980 = ((3:0.04657425209631651,1:0.04657425209631651):0.5477577475785474,(4:0.09400191500911816,2:0.09400191500911816):0.5003300846657458):0.0; tree STATE_5990 = ((3:0.04657425209631651,1:0.04657425209631651):0.5477577475785474,(4:0.15402997334207658,2:0.15402997334207658):0.44030202633278737):0.0; tree STATE_6000 = ((3:0.04657425209631651,1:0.04657425209631651):0.5477577475785474,(4:0.15402997334207658,2:0.15402997334207658):0.44030202633278737):0.0; tree STATE_6010 = ((3:0.039158341469163714,1:0.039158341469163714):0.4605395461359892,(4:0.1295041363228299,2:0.1295041363228299):0.370193751282323):0.0; tree STATE_6020 = ((3:0.03095992628435745,1:0.03095992628435745):0.4687379613207954,(4:0.1295041363228299,2:0.1295041363228299):0.370193751282323):0.0; tree STATE_6030 = ((3:0.03095992628435745,1:0.03095992628435745):0.4687379613207954,(4:0.1295041363228299,2:0.1295041363228299):0.370193751282323):0.0; tree STATE_6040 = ((3:0.03095992628435745,1:0.03095992628435745):0.4687379613207954,(4:0.1295041363228299,2:0.1295041363228299):0.370193751282323):0.0; tree STATE_6050 = ((3:0.03095992628435745,1:0.03095992628435745):0.4687379613207954,(4:0.1295041363228299,2:0.1295041363228299):0.370193751282323):0.0; tree STATE_6060 = ((3:0.02950755962744594,1:0.02950755962744594):0.4467489107139481,(4:0.12342894454750478,2:0.12342894454750478):0.3528275257938893):0.0; tree STATE_6070 = ((3:0.02950755962744594,1:0.02950755962744594):0.4467489107139481,(4:0.10088411340343541,2:0.10088411340343541):0.3753723569379587):0.0; tree STATE_6080 = ((3:0.03605252155657609,1:0.03605252155657609):0.440203948784818,(4:0.10088411340343541,2:0.10088411340343541):0.3753723569379587):0.0; tree STATE_6090 = ((3:0.03449985367969917,1:0.03449985367969917):0.4212457594254419,(4:0.09653935427409371,2:0.09653935427409371):0.35920625883104734):0.0; tree STATE_6100 = ((3:0.03449985367969917,1:0.03449985367969917):0.4212457594254419,(4:0.09653935427409371,2:0.09653935427409371):0.35920625883104734):0.0; tree STATE_6110 = ((3:0.03449985367969917,1:0.03449985367969917):0.4212457594254419,(4:0.12349230340037921,2:0.12349230340037921):0.33225330970476186):0.0; tree STATE_6120 = ((3:0.03449985367969917,1:0.03449985367969917):0.4212457594254419,(4:0.12349230340037921,2:0.12349230340037921):0.33225330970476186):0.0; tree STATE_6130 = ((3:0.03449985367969917,1:0.03449985367969917):0.4212457594254419,(4:0.12349230340037921,2:0.12349230340037921):0.33225330970476186):0.0; tree STATE_6140 = ((3:0.03449985367969917,1:0.03449985367969917):0.4212457594254419,(4:0.12349230340037921,2:0.12349230340037921):0.33225330970476186):0.0; tree STATE_6150 = ((3:0.03449985367969917,1:0.03449985367969917):0.4212457594254419,(4:0.09549942047088524,2:0.09549942047088524):0.36024619263425584):0.0; tree STATE_6160 = ((3:0.03449985367969917,1:0.03449985367969917):0.4212457594254419,(4:0.09549942047088524,2:0.09549942047088524):0.36024619263425584):0.0; tree STATE_6170 = ((3:0.03343621036538758,1:0.03343621036538758):0.40825859606368453,(4:0.09255513783573134,2:0.09255513783573134):0.3491396685933408):0.0; tree STATE_6180 = ((3:0.03343621036538758,1:0.03343621036538758):0.40825859606368453,(4:0.09255513783573134,2:0.09255513783573134):0.3491396685933408):0.0; tree STATE_6190 = ((3:0.03343621036538758,1:0.03343621036538758):0.40825859606368453,(4:0.09255513783573134,2:0.09255513783573134):0.3491396685933408):0.0; tree STATE_6200 = ((3:0.03343621036538758,1:0.03343621036538758):0.40825859606368453,(4:0.09255513783573134,2:0.09255513783573134):0.3491396685933408):0.0; tree STATE_6210 = ((3:0.0324642784899731,1:0.0324642784899731):0.409230527939099,(4:0.09255513783573134,2:0.09255513783573134):0.3491396685933408):0.0; tree STATE_6220 = ((3:0.0324642784899731,1:0.0324642784899731):0.3873242022660751,(4:0.09255513783573134,2:0.09255513783573134):0.3272333429203169):0.0; tree STATE_6230 = ((3:0.0324642784899731,1:0.0324642784899731):0.3873242022660751,(4:0.09255513783573134,2:0.09255513783573134):0.3272333429203169):0.0; tree STATE_6240 = ((3:0.0324642784899731,1:0.0324642784899731):0.3873242022660751,(4:0.13577220896931744,2:0.13577220896931744):0.28401627178673083):0.0; tree STATE_6250 = ((3:0.0324642784899731,1:0.0324642784899731):0.3873242022660751,(4:0.1108050544922498,2:0.1108050544922498):0.30898342626379843):0.0; tree STATE_6260 = ((3:0.0324642784899731,1:0.0324642784899731):0.38561855768096065,(4:0.1108050544922498,2:0.1108050544922498):0.30727778167868397):0.0; tree STATE_6270 = ((3:0.0324642784899731,1:0.0324642784899731):0.38561855768096065,(4:0.1108050544922498,2:0.1108050544922498):0.30727778167868397):0.0; tree STATE_6280 = ((3:0.0324642784899731,1:0.0324642784899731):0.38561855768096065,(4:0.1108050544922498,2:0.1108050544922498):0.30727778167868397):0.0; tree STATE_6290 = ((3:0.0324642784899731,1:0.0324642784899731):0.38561855768096065,(4:0.1108050544922498,2:0.1108050544922498):0.30727778167868397):0.0; tree STATE_6300 = ((3:0.0324642784899731,1:0.0324642784899731):0.38561855768096065,(4:0.1108050544922498,2:0.1108050544922498):0.30727778167868397):0.0; tree STATE_6310 = ((3:0.0324642784899731,1:0.0324642784899731):0.4772636325156574,(4:0.1108050544922498,2:0.1108050544922498):0.3989228565133807):0.0; tree STATE_6320 = ((3:0.0324642784899731,1:0.0324642784899731):0.4772636325156574,(4:0.10232509227123845,2:0.10232509227123845):0.4074028187343921):0.0; tree STATE_6330 = ((3:0.0324642784899731,1:0.0324642784899731):0.3198133927478872,(4:0.10232509227123845,2:0.10232509227123845):0.24995257896662185):0.0; tree STATE_6340 = ((3:0.0324642784899731,1:0.0324642784899731):0.3944938807478541,(4:0.10232509227123845,2:0.10232509227123845):0.3246330669665888):0.0; tree STATE_6350 = ((3:0.0324642784899731,1:0.0324642784899731):0.3944938807478541,(4:0.10232509227123845,2:0.10232509227123845):0.3246330669665888):0.0; tree STATE_6360 = ((3:0.0324642784899731,1:0.0324642784899731):0.36105138288135585,(4:0.10954297658056948,2:0.10954297658056948):0.28397268479075943):0.0; tree STATE_6370 = ((3:0.0324642784899731,1:0.0324642784899731):0.36105138288135585,(4:0.10954297658056948,2:0.10954297658056948):0.28397268479075943):0.0; tree STATE_6380 = ((3:0.0324642784899731,1:0.0324642784899731):0.36105138288135585,(4:0.10954297658056948,2:0.10954297658056948):0.28397268479075943):0.0; tree STATE_6390 = ((3:0.0324642784899731,1:0.0324642784899731):0.36105138288135585,(4:0.10954297658056948,2:0.10954297658056948):0.28397268479075943):0.0; tree STATE_6400 = ((3:0.0324642784899731,1:0.0324642784899731):0.4305898970064723,(4:0.12494176983249942,2:0.12494176983249942):0.338112405663946):0.0; tree STATE_6410 = ((3:0.0324642784899731,1:0.0324642784899731):0.4305898970064723,(4:0.12494176983249942,2:0.12494176983249942):0.338112405663946):0.0; tree STATE_6420 = ((3:0.019157700177261268,1:0.019157700177261268):0.4438964753191842,(4:0.12494176983249942,2:0.12494176983249942):0.338112405663946):0.0; tree STATE_6430 = ((3:0.05219402440162684,1:0.05219402440162684):0.4108601510948186,(4:0.12494176983249942,2:0.12494176983249942):0.338112405663946):0.0; tree STATE_6440 = ((3:0.03965181271805793,1:0.03965181271805793):0.3121305542405529,(4:0.09491829217726598,2:0.09491829217726598):0.2568640747813449):0.0; tree STATE_6450 = ((3:0.03965181271805793,1:0.03965181271805793):0.3121305542405529,(4:0.09491829217726598,2:0.09491829217726598):0.2568640747813449):0.0; tree STATE_6460 = ((3:0.04945931835021846,1:0.04945931835021846):0.34163779405652184,(4:0.09491829217726598,2:0.09491829217726598):0.2961788202294743):0.0; tree STATE_6470 = ((3:0.04661027587374893,1:0.04661027587374893):0.34448683653299134,(4:0.09491829217726598,2:0.09491829217726598):0.2961788202294743):0.0; tree STATE_6480 = ((3:0.04661027587374893,1:0.04661027587374893):0.34448683653299134,(4:0.11209900231619258,2:0.11209900231619258):0.2789981100905477):0.0; tree STATE_6490 = ((3:0.04661027587374893,1:0.04661027587374893):0.34448683653299134,(4:0.11209900231619258,2:0.11209900231619258):0.2789981100905477):0.0; tree STATE_6500 = ((3:0.04661027587374893,1:0.04661027587374893):0.34448683653299134,(4:0.13697348605510862,2:0.13697348605510862):0.25412362635163166):0.0; tree STATE_6510 = ((3:0.023015801603971698,1:0.023015801603971698):0.44952348186173924,(4:0.1654968827460105,2:0.1654968827460105):0.30704240071970046):0.0; tree STATE_6520 = ((3:0.023015801603971698,1:0.023015801603971698):0.44952348186173924,(4:0.1654968827460105,2:0.1654968827460105):0.30704240071970046):0.0; tree STATE_6530 = ((3:0.023015801603971698,1:0.023015801603971698):0.44952348186173924,(4:0.16499226171086326,2:0.16499226171086326):0.3075470217548477):0.0; tree STATE_6540 = ((3:0.02411688264542676,1:0.02411688264542676):0.47102878470035153,(4:0.17288552801905363,2:0.17288552801905363):0.3222601393267247):0.0; tree STATE_6550 = ((3:0.02411688264542676,1:0.02411688264542676):0.5715631409473685,(4:0.14295107764170997,2:0.14295107764170997):0.45272894595108526):0.0; tree STATE_6560 = ((3:0.02411688264542676,1:0.02411688264542676):0.5715631409473685,(4:0.14295107764170997,2:0.14295107764170997):0.45272894595108526):0.0; tree STATE_6570 = ((3:0.02411688264542676,1:0.02411688264542676):0.5715631409473685,(4:0.14295107764170997,2:0.14295107764170997):0.45272894595108526):0.0; tree STATE_6580 = ((3:0.02411688264542676,1:0.02411688264542676):0.5715631409473685,(4:0.14295107764170997,2:0.14295107764170997):0.45272894595108526):0.0; tree STATE_6590 = ((3:0.02411688264542676,1:0.02411688264542676):0.5715631409473685,(4:0.14295107764170997,2:0.14295107764170997):0.45272894595108526):0.0; tree STATE_6600 = ((3:0.02411688264542676,1:0.02411688264542676):0.5715631409473685,(4:0.14570432489439294,2:0.14570432489439294):0.4499756986984023):0.0; tree STATE_6610 = ((3:0.02371455110217259,1:0.02371455110217259):0.45724939708802054,(4:0.14327360253464863,2:0.14327360253464863):0.33769034565554445):0.0; tree STATE_6620 = ((3:0.02371455110217259,1:0.02371455110217259):0.45724939708802054,(4:0.14327360253464863,2:0.14327360253464863):0.33769034565554445):0.0; tree STATE_6630 = ((3:0.02371455110217259,1:0.02371455110217259):0.45724939708802054,(4:0.14327360253464863,2:0.14327360253464863):0.33769034565554445):0.0; tree STATE_6640 = ((3:0.02371455110217259,1:0.02371455110217259):0.45724939708802054,(4:0.14327360253464863,2:0.14327360253464863):0.33769034565554445):0.0; tree STATE_6650 = ((3:0.022686243094580442,1:0.022686243094580442):0.43742219418350436,(4:0.14846422442178714,2:0.14846422442178714):0.3116442128562977):0.0; tree STATE_6660 = ((3:0.022686243094580442,1:0.022686243094580442):0.43742219418350436,(4:0.14846422442178714,2:0.14846422442178714):0.3116442128562977):0.0; tree STATE_6670 = ((3:0.022686243094580442,1:0.022686243094580442):0.43742219418350436,(4:0.14846422442178714,2:0.14846422442178714):0.3116442128562977):0.0; tree STATE_6680 = ((3:0.022686243094580442,1:0.022686243094580442):0.3708431543544766,(4:0.14846422442178714,2:0.14846422442178714):0.24506517302726993):0.0; tree STATE_6690 = ((3:0.022686243094580442,1:0.022686243094580442):0.39992748221146895,(4:0.09421232335441529,2:0.09421232335441529):0.32840140195163414):0.0; tree STATE_6700 = ((3:0.022686243094580442,1:0.022686243094580442):0.39992748221146895,(4:0.09421232335441529,2:0.09421232335441529):0.32840140195163414):0.0; tree STATE_6710 = ((3:0.022686243094580442,1:0.022686243094580442):0.39992748221146895,(4:0.12240894245136467,2:0.12240894245136467):0.3002047828546847):0.0; tree STATE_6720 = ((3:0.022686243094580442,1:0.022686243094580442):0.39992748221146895,(4:0.12240894245136467,2:0.12240894245136467):0.3002047828546847):0.0; tree STATE_6730 = ((3:0.022686243094580442,1:0.022686243094580442):0.39992748221146895,(4:0.12240894245136467,2:0.12240894245136467):0.3002047828546847):0.0; tree STATE_6740 = ((3:0.022686243094580442,1:0.022686243094580442):0.39992748221146895,(4:0.12240894245136467,2:0.12240894245136467):0.3002047828546847):0.0; tree STATE_6750 = ((3:0.022686243094580442,1:0.022686243094580442):0.39992748221146895,(4:0.12240894245136467,2:0.12240894245136467):0.3002047828546847):0.0; tree STATE_6760 = ((3:0.022686243094580442,1:0.022686243094580442):0.39992748221146895,(4:0.12240894245136467,2:0.12240894245136467):0.3002047828546847):0.0; tree STATE_6770 = ((3:0.028280625620595447,1:0.028280625620595447):0.39433309968545394,(4:0.12240894245136467,2:0.12240894245136467):0.3002047828546847):0.0; tree STATE_6780 = ((3:0.028280625620595447,1:0.028280625620595447):0.39433309968545394,(4:0.12240894245136467,2:0.12240894245136467):0.3002047828546847):0.0; tree STATE_6790 = ((3:0.028280625620595447,1:0.028280625620595447):0.39433309968545394,(4:0.12240894245136467,2:0.12240894245136467):0.3002047828546847):0.0; tree STATE_6800 = ((3:0.028280625620595447,1:0.028280625620595447):0.39433309968545394,(4:0.12240894245136467,2:0.12240894245136467):0.3002047828546847):0.0; tree STATE_6810 = ((3:0.027986091102889837,1:0.027986091102889837):0.39462763420315955,(4:0.12240894245136467,2:0.12240894245136467):0.3002047828546847):0.0; tree STATE_6820 = ((3:0.027986091102889837,1:0.027986091102889837):0.3410077662674259,(4:0.12240894245136467,2:0.12240894245136467):0.24658491491895107):0.0; tree STATE_6830 = ((3:0.048147950873841446,1:0.048147950873841446):0.3208459064964743,(4:0.1346363999250657,2:0.1346363999250657):0.23435745744525005):0.0; tree STATE_6840 = ((3:0.048147950873841446,1:0.048147950873841446):0.3208459064964743,(4:0.1346363999250657,2:0.1346363999250657):0.23435745744525005):0.0; tree STATE_6850 = ((3:0.048147950873841446,1:0.048147950873841446):0.3208459064964743,(4:0.1346363999250657,2:0.1346363999250657):0.23435745744525005):0.0; tree STATE_6860 = ((3:0.048147950873841446,1:0.048147950873841446):0.3208459064964743,(4:0.12729870988649633,2:0.12729870988649633):0.24169514748381943):0.0; tree STATE_6870 = ((3:0.048147950873841446,1:0.048147950873841446):0.3208459064964743,(4:0.11499231230203631,2:0.11499231230203631):0.25400154506827943):0.0; tree STATE_6880 = ((3:0.048147950873841446,1:0.048147950873841446):0.3208459064964743,(4:0.11499231230203631,2:0.11499231230203631):0.25400154506827943):0.0; tree STATE_6890 = ((3:0.05469811624387301,1:0.05469811624387301):0.31429574112644276,(4:0.11499231230203631,2:0.11499231230203631):0.25400154506827943):0.0; tree STATE_6900 = ((3:0.05469811624387301,1:0.05469811624387301):0.31429574112644276,(4:0.11499231230203631,2:0.11499231230203631):0.25400154506827943):0.0; tree STATE_6910 = ((3:0.05469811624387301,1:0.05469811624387301):0.31429574112644276,(4:0.11499231230203631,2:0.11499231230203631):0.25400154506827943):0.0; tree STATE_6920 = ((3:0.035025089529510646,1:0.035025089529510646):0.3339687678408051,(4:0.11499231230203631,2:0.11499231230203631):0.25400154506827943):0.0; tree STATE_6930 = ((3:0.035025089529510646,1:0.035025089529510646):0.3735006422407956,(4:0.11499231230203631,2:0.11499231230203631):0.29353341946826994):0.0; tree STATE_6940 = ((3:0.035025089529510646,1:0.035025089529510646):0.3627513783734118,(4:0.11499231230203631,2:0.11499231230203631):0.28278415560088616):0.0; tree STATE_6950 = ((3:0.035025089529510646,1:0.035025089529510646):0.3627513783734118,(4:0.11499231230203631,2:0.11499231230203631):0.28278415560088616):0.0; tree STATE_6960 = ((3:0.0460435613170467,1:0.0460435613170467):0.3578478558841358,(4:0.11499231230203631,2:0.11499231230203631):0.28889910489914616):0.0; tree STATE_6970 = ((3:0.0460435613170467,1:0.0460435613170467):0.3578478558841358,(4:0.11499231230203631,2:0.11499231230203631):0.28889910489914616):0.0; tree STATE_6980 = ((3:0.0460435613170467,1:0.0460435613170467):0.3578478558841358,(4:0.11499231230203631,2:0.11499231230203631):0.28889910489914616):0.0; tree STATE_6990 = ((3:0.0460435613170467,1:0.0460435613170467):0.3578478558841358,(4:0.11678284454176913,2:0.11678284454176913):0.28710857265941336):0.0; tree STATE_7000 = ((3:0.0460435613170467,1:0.0460435613170467):0.3578478558841358,(4:0.12146487153375793,2:0.12146487153375793):0.28242654566742453):0.0; tree STATE_7010 = ((3:0.0460435613170467,1:0.0460435613170467):0.3578478558841358,(4:0.12146487153375793,2:0.12146487153375793):0.28242654566742453):0.0; tree STATE_7020 = ((3:0.018188717462373934,1:0.018188717462373934):0.38570269973880855,(4:0.12146487153375793,2:0.12146487153375793):0.28242654566742453):0.0; tree STATE_7030 = ((3:0.018188717462373934,1:0.018188717462373934):0.38570269973880855,(4:0.11036966529736761,2:0.11036966529736761):0.2935217519038149):0.0; tree STATE_7040 = ((3:0.018188717462373934,1:0.018188717462373934):0.38570269973880855,(4:0.11036966529736761,2:0.11036966529736761):0.2935217519038149):0.0; tree STATE_7050 = ((3:0.018188717462373934,1:0.018188717462373934):0.38570269973880855,(4:0.11036966529736761,2:0.11036966529736761):0.2935217519038149):0.0; tree STATE_7060 = ((3:0.041866836970994865,1:0.041866836970994865):0.45009473360680874,(4:0.11036966529736761,2:0.11036966529736761):0.38159190528043596):0.0; tree STATE_7070 = ((3:0.041866836970994865,1:0.041866836970994865):0.45009473360680874,(4:0.11036966529736761,2:0.11036966529736761):0.38159190528043596):0.0; tree STATE_7080 = ((3:0.03423641359689542,1:0.03423641359689542):0.482061545127635,(4:0.11582943934261751,2:0.11582943934261751):0.4004685193819129):0.0; tree STATE_7090 = ((3:0.03423641359689542,1:0.03423641359689542):0.482061545127635,(4:0.11582943934261751,2:0.11582943934261751):0.4004685193819129):0.0; tree STATE_7100 = ((3:0.03423641359689542,1:0.03423641359689542):0.482061545127635,(4:0.11582943934261751,2:0.11582943934261751):0.4004685193819129):0.0; tree STATE_7110 = ((3:0.03423641359689542,1:0.03423641359689542):0.47927453851068846,(4:0.11582943934261751,2:0.11582943934261751):0.3976815127649664):0.0; tree STATE_7120 = ((3:0.03423641359689542,1:0.03423641359689542):0.47927453851068846,(4:0.11582943934261751,2:0.11582943934261751):0.3976815127649664):0.0; tree STATE_7130 = ((3:0.03423641359689542,1:0.03423641359689542):0.47927453851068846,(4:0.11582943934261751,2:0.11582943934261751):0.3976815127649664):0.0; tree STATE_7140 = ((3:0.03423641359689542,1:0.03423641359689542):0.47927453851068846,(4:0.11582943934261751,2:0.11582943934261751):0.3976815127649664):0.0; tree STATE_7150 = ((3:0.028818447319498206,1:0.028818447319498206):0.4003891311929853,(4:0.09749924846231352,2:0.09749924846231352):0.33170833005017003):0.0; tree STATE_7160 = ((3:0.028818447319498206,1:0.028818447319498206):0.4136215287437315,(4:0.09749924846231352,2:0.09749924846231352):0.3449407276009162):0.0; tree STATE_7170 = ((3:0.028818447319498206,1:0.028818447319498206):0.4136215287437315,(4:0.09749924846231352,2:0.09749924846231352):0.3449407276009162):0.0; tree STATE_7180 = ((3:0.028818447319498206,1:0.028818447319498206):0.4136215287437315,(4:0.09762755966888005,2:0.09762755966888005):0.3448124163943497):0.0; tree STATE_7190 = ((3:0.03430095995140341,1:0.03430095995140341):0.49231019753371036,(4:0.11620053562322907,2:0.11620053562322907):0.4104106218618847):0.0; tree STATE_7200 = ((3:0.034129138851746975,1:0.034129138851746975):0.4898441067994521,(4:0.11561846142356419,2:0.11561846142356419):0.4083547842276349):0.0; tree STATE_7210 = ((3:0.034129138851746975,1:0.034129138851746975):0.4898441067994521,(4:0.11561846142356419,2:0.11561846142356419):0.4083547842276349):0.0; tree STATE_7220 = ((3:0.034129138851746975,1:0.034129138851746975):0.4898441067994521,(4:0.11561846142356419,2:0.11561846142356419):0.4083547842276349):0.0; tree STATE_7230 = ((3:0.04034726435914898,1:0.04034726435914898):0.4836259812920501,(4:0.11561846142356419,2:0.11561846142356419):0.4083547842276349):0.0; tree STATE_7240 = ((3:0.04034726435914898,1:0.04034726435914898):0.4836259812920501,(4:0.11561846142356419,2:0.11561846142356419):0.4083547842276349):0.0; tree STATE_7250 = ((3:0.04034726435914898,1:0.04034726435914898):0.4836259812920501,(4:0.11561846142356419,2:0.11561846142356419):0.4083547842276349):0.0; tree STATE_7260 = ((3:0.04034726435914898,1:0.04034726435914898):0.4836259812920501,(4:0.11561846142356419,2:0.11561846142356419):0.4083547842276349):0.0; tree STATE_7270 = ((3:0.04034726435914898,1:0.04034726435914898):0.4836259812920501,(4:0.11561846142356419,2:0.11561846142356419):0.4083547842276349):0.0; tree STATE_7280 = ((3:0.04034726435914898,1:0.04034726435914898):0.4836259812920501,(4:0.11561846142356419,2:0.11561846142356419):0.4083547842276349):0.0; tree STATE_7290 = ((3:0.03452472310614048,1:0.03452472310614048):0.4138335859010314,(4:0.09893348235644128,2:0.09893348235644128):0.3494248266507306):0.0; tree STATE_7300 = ((3:0.03452472310614048,1:0.03452472310614048):0.4138335859010314,(4:0.09893348235644128,2:0.09893348235644128):0.3494248266507306):0.0; tree STATE_7310 = ((3:0.03452472310614048,1:0.03452472310614048):0.3814899254982462,(4:0.12078670796867073,2:0.12078670796867073):0.2952279406357159):0.0; tree STATE_7320 = ((3:0.03452472310614048,1:0.03452472310614048):0.3814899254982462,(4:0.12078670796867073,2:0.12078670796867073):0.2952279406357159):0.0; tree STATE_7330 = ((3:0.03452472310614048,1:0.03452472310614048):0.3814899254982462,(4:0.12078670796867073,2:0.12078670796867073):0.2952279406357159):0.0; tree STATE_7340 = ((3:0.03452472310614048,1:0.03452472310614048):0.31072113575937244,(4:0.1140173818803756,2:0.1140173818803756):0.2312284769851373):0.0; tree STATE_7350 = ((3:0.03452472310614048,1:0.03452472310614048):0.31072113575937244,(4:0.1140173818803756,2:0.1140173818803756):0.2312284769851373):0.0; tree STATE_7360 = ((3:0.03452472310614048,1:0.03452472310614048):0.31072113575937244,(4:0.1140173818803756,2:0.1140173818803756):0.2312284769851373):0.0; tree STATE_7370 = ((3:0.03452472310614048,1:0.03452472310614048):0.31072113575937244,(4:0.1140173818803756,2:0.1140173818803756):0.2312284769851373):0.0; tree STATE_7380 = ((3:0.038516138394561604,1:0.038516138394561604):0.34664371471511657,(4:0.12719897119490772,2:0.12719897119490772):0.2579608819147704):0.0; tree STATE_7390 = ((3:0.038516138394561604,1:0.038516138394561604):0.34664371471511657,(4:0.12719897119490772,2:0.12719897119490772):0.2579608819147704):0.0; tree STATE_7400 = ((3:0.038516138394561604,1:0.038516138394561604):0.34664371471511657,(4:0.12719897119490772,2:0.12719897119490772):0.2579608819147704):0.0; tree STATE_7410 = ((3:0.038516138394561604,1:0.038516138394561604):0.34664371471511657,(4:0.12719897119490772,2:0.12719897119490772):0.2579608819147704):0.0; tree STATE_7420 = ((3:0.038516138394561604,1:0.038516138394561604):0.34664371471511657,(4:0.12719897119490772,2:0.12719897119490772):0.2579608819147704):0.0; tree STATE_7430 = ((3:0.038516138394561604,1:0.038516138394561604):0.34664371471511657,(4:0.12719897119490772,2:0.12719897119490772):0.2579608819147704):0.0; tree STATE_7440 = ((3:0.038516138394561604,1:0.038516138394561604):0.4711818284519528,(4:0.12719897119490772,2:0.12719897119490772):0.3824989956516066):0.0; tree STATE_7450 = ((3:0.029163774296219008,1:0.029163774296219008):0.3567709814697518,(4:0.09631292858692551,2:0.09631292858692551):0.2896218271790453):0.0; tree STATE_7460 = ((3:0.029163774296219008,1:0.029163774296219008):0.3567709814697518,(4:0.09631292858692551,2:0.09631292858692551):0.2896218271790453):0.0; tree STATE_7470 = ((3:0.029163774296219008,1:0.029163774296219008):0.3567709814697518,(4:0.10756534167671035,2:0.10756534167671035):0.27836941408926047):0.0; tree STATE_7480 = ((3:0.029163774296219008,1:0.029163774296219008):0.3567709814697518,(4:0.10756534167671035,2:0.10756534167671035):0.27836941408926047):0.0; tree STATE_7490 = ((3:0.0308920112784924,1:0.0308920112784924):0.3550427444874784,(4:0.10756534167671035,2:0.10756534167671035):0.27836941408926047):0.0; tree STATE_7500 = ((3:0.0308920112784924,1:0.0308920112784924):0.3550427444874784,(4:0.10756534167671035,2:0.10756534167671035):0.27836941408926047):0.0; tree STATE_7510 = ((3:0.0308920112784924,1:0.0308920112784924):0.3550427444874784,(4:0.10756534167671035,2:0.10756534167671035):0.27836941408926047):0.0; tree STATE_7520 = ((3:0.03571179942388055,1:0.03571179942388055):0.4104367036428091,(4:0.12434774389695631,2:0.12434774389695631):0.32180075916973333):0.0; tree STATE_7530 = ((3:0.03573017244195736,1:0.03573017244195736):0.41041833062473226,(4:0.09266731476905746,2:0.09266731476905746):0.3534811882976322):0.0; tree STATE_7540 = ((3:0.03573017244195736,1:0.03573017244195736):0.41041833062473226,(4:0.09266731476905746,2:0.09266731476905746):0.3534811882976322):0.0; tree STATE_7550 = ((3:0.03573017244195736,1:0.03573017244195736):0.41041833062473226,(4:0.09266731476905746,2:0.09266731476905746):0.3534811882976322):0.0; tree STATE_7560 = ((3:0.03573017244195736,1:0.03573017244195736):0.41041833062473226,(4:0.09266731476905746,2:0.09266731476905746):0.3534811882976322):0.0; tree STATE_7570 = ((3:0.03573017244195736,1:0.03573017244195736):0.41041833062473226,(4:0.08717012837954917,2:0.08717012837954917):0.35897837468714044):0.0; tree STATE_7580 = ((3:0.03573017244195736,1:0.03573017244195736):0.41041833062473226,(4:0.08717012837954917,2:0.08717012837954917):0.35897837468714044):0.0; tree STATE_7590 = ((3:0.03573017244195736,1:0.03573017244195736):0.41041833062473226,(4:0.1747428443877039,2:0.1747428443877039):0.2714056586789857):0.0; tree STATE_7600 = ((3:0.03573017244195736,1:0.03573017244195736):0.41041833062473226,(4:0.15425367580030067,2:0.15425367580030067):0.29189482726638893):0.0; tree STATE_7610 = ((3:0.03130010216381725,1:0.03130010216381725):0.35953186901982137,(4:0.12662986802626428,2:0.12662986802626428):0.26420210315737436):0.0; tree STATE_7620 = ((3:0.03130010216381725,1:0.03130010216381725):0.35953186901982137,(4:0.12662986802626428,2:0.12662986802626428):0.26420210315737436):0.0; tree STATE_7630 = ((3:0.03130010216381725,1:0.03130010216381725):0.46473695637654255,(4:0.12662986802626428,2:0.12662986802626428):0.36940719051409554):0.0; tree STATE_7640 = ((3:0.03130010216381725,1:0.03130010216381725):0.46473695637654255,(4:0.12662986802626428,2:0.12662986802626428):0.36940719051409554):0.0; tree STATE_7650 = ((3:0.02118936948100999,1:0.02118936948100999):0.4748476890593498,(4:0.12662986802626428,2:0.12662986802626428):0.36940719051409554):0.0; tree STATE_7660 = ((3:0.02118936948100999,1:0.02118936948100999):0.4748476890593498,(4:0.12662986802626428,2:0.12662986802626428):0.36940719051409554):0.0; tree STATE_7670 = ((3:0.02118936948100999,1:0.02118936948100999):0.4748476890593498,(4:0.11735746553142662,2:0.11735746553142662):0.37867959300893317):0.0; tree STATE_7680 = ((3:0.02118936948100999,1:0.02118936948100999):0.4477745364224066,(4:0.11735746553142662,2:0.11735746553142662):0.35160644037198996):0.0; tree STATE_7690 = ((3:0.02118936948100999,1:0.02118936948100999):0.4477745364224066,(4:0.11735746553142662,2:0.11735746553142662):0.35160644037198996):0.0; tree STATE_7700 = ((3:0.02118936948100999,1:0.02118936948100999):0.4477745364224066,(4:0.11735746553142662,2:0.11735746553142662):0.35160644037198996):0.0; tree STATE_7710 = ((3:0.02118936948100999,1:0.02118936948100999):0.396670855524466,(4:0.11735746553142662,2:0.11735746553142662):0.30050275947404936):0.0; tree STATE_7720 = ((3:0.02118936948100999,1:0.02118936948100999):0.396670855524466,(4:0.11735746553142662,2:0.11735746553142662):0.30050275947404936):0.0; tree STATE_7730 = ((3:0.034503064321721,1:0.034503064321721):0.38335716068375497,(4:0.11735746553142662,2:0.11735746553142662):0.30050275947404936):0.0; tree STATE_7740 = ((3:0.034503064321721,1:0.034503064321721):0.38335716068375497,(4:0.11735746553142662,2:0.11735746553142662):0.30050275947404936):0.0; tree STATE_7750 = ((3:0.034503064321721,1:0.034503064321721):0.38335716068375497,(4:0.11786875634518562,2:0.11786875634518562):0.29999146866029036):0.0; tree STATE_7760 = ((3:0.02766889368745315,1:0.02766889368745315):0.39019133131802286,(4:0.11786875634518562,2:0.11786875634518562):0.29999146866029036):0.0; tree STATE_7770 = ((3:0.02766889368745315,1:0.02766889368745315):0.39019133131802286,(4:0.11786875634518562,2:0.11786875634518562):0.29999146866029036):0.0; tree STATE_7780 = ((3:0.02766889368745315,1:0.02766889368745315):0.39019133131802286,(4:0.11786875634518562,2:0.11786875634518562):0.29999146866029036):0.0; tree STATE_7790 = ((3:0.02766889368745315,1:0.02766889368745315):0.39019133131802286,(4:0.11786875634518562,2:0.11786875634518562):0.29999146866029036):0.0; tree STATE_7800 = ((3:0.02766889368745315,1:0.02766889368745315):0.39019133131802286,(4:0.12302833106845561,2:0.12302833106845561):0.29483189393702036):0.0; tree STATE_7810 = ((3:0.02766889368745315,1:0.02766889368745315):0.4811059763641887,(4:0.12302833106845561,2:0.12302833106845561):0.3857465389831863):0.0; tree STATE_7820 = ((3:0.02766889368745315,1:0.02766889368745315):0.4811059763641887,(4:0.12302833106845561,2:0.12302833106845561):0.3857465389831863):0.0; tree STATE_7830 = ((3:0.02766889368745315,1:0.02766889368745315):0.4811059763641887,(4:0.12302833106845561,2:0.12302833106845561):0.3857465389831863):0.0; tree STATE_7840 = ((3:0.02766889368745315,1:0.02766889368745315):0.4811059763641887,(4:0.12302833106845561,2:0.12302833106845561):0.3857465389831863):0.0; tree STATE_7850 = ((3:0.02766889368745315,1:0.02766889368745315):0.4811059763641887,(4:0.12302833106845561,2:0.12302833106845561):0.3857465389831863):0.0; tree STATE_7860 = ((3:0.030475361514590602,1:0.030475361514590602):0.35895576694325815,(4:0.12302833106845561,2:0.12302833106845561):0.26640279738939315):0.0; tree STATE_7870 = ((3:0.016663124081325555,1:0.016663124081325555):0.37276800437652324,(4:0.1040434722404463,2:0.1040434722404463):0.2853876562174025):0.0; tree STATE_7880 = ((3:0.016663124081325555,1:0.016663124081325555):0.37276800437652324,(4:0.1040434722404463,2:0.1040434722404463):0.2853876562174025):0.0; tree STATE_7890 = ((3:0.016663124081325555,1:0.016663124081325555):0.37276800437652324,(4:0.1040434722404463,2:0.1040434722404463):0.2853876562174025):0.0; tree STATE_7900 = ((3:0.016663124081325555,1:0.016663124081325555):0.37276800437652324,(4:0.1025494681423753,2:0.1025494681423753):0.28688166031547346):0.0; tree STATE_7910 = ((3:0.023294698327335186,1:0.023294698327335186):0.5211218596016777,(4:0.1433620077691499,2:0.1433620077691499):0.401054550159863):0.0; tree STATE_7920 = ((3:0.023294698327335186,1:0.023294698327335186):0.5211218596016777,(4:0.1433620077691499,2:0.1433620077691499):0.401054550159863):0.0; tree STATE_7930 = ((3:0.0448836704935855,1:0.0448836704935855):0.4995328874354274,(4:0.1433620077691499,2:0.1433620077691499):0.401054550159863):0.0; tree STATE_7940 = ((3:0.026070594660262226,1:0.026070594660262226):0.29015272780911733,(4:0.08327154961101091,2:0.08327154961101091):0.23295177285836866):0.0; tree STATE_7950 = ((3:0.026070594660262226,1:0.026070594660262226):0.29015272780911733,(4:0.08327154961101091,2:0.08327154961101091):0.23295177285836866):0.0; tree STATE_7960 = ((3:0.026070594660262226,1:0.026070594660262226):0.29015272780911733,(4:0.08327154961101091,2:0.08327154961101091):0.23295177285836866):0.0; tree STATE_7970 = ((3:0.026070594660262226,1:0.026070594660262226):0.5745124958221697,(4:0.10120036317578304,2:0.10120036317578304):0.4993827273066488):0.0; tree STATE_7980 = ((3:0.026070594660262226,1:0.026070594660262226):0.5745124958221697,(4:0.10120036317578304,2:0.10120036317578304):0.4993827273066488):0.0; tree STATE_7990 = ((3:0.026070594660262226,1:0.026070594660262226):0.5745124958221697,(4:0.10120036317578304,2:0.10120036317578304):0.4993827273066488):0.0; tree STATE_8000 = ((3:0.026070594660262226,1:0.026070594660262226):0.5745124958221697,(4:0.09750032188988589,2:0.09750032188988589):0.503082768592546):0.0; tree STATE_8010 = ((3:0.027578783497431675,1:0.027578783497431675):0.6077481524807448,(4:0.10314073397142891,2:0.10314073397142891):0.5321862020067476):0.0; tree STATE_8020 = ((3:0.025124825387340906,1:0.025124825387340906):0.5536707669495196,(4:0.11977035681711057,2:0.11977035681711057):0.45902523551974994):0.0; tree STATE_8030 = ((3:0.025124825387340906,1:0.025124825387340906):0.371972848174431,(4:0.11977035681711057,2:0.11977035681711057):0.2773273167446613):0.0; tree STATE_8040 = ((3:0.025124825387340906,1:0.025124825387340906):0.371972848174431,(4:0.11977035681711057,2:0.11977035681711057):0.2773273167446613):0.0; tree STATE_8050 = ((3:0.025124825387340906,1:0.025124825387340906):0.371972848174431,(4:0.12580820977396776,2:0.12580820977396776):0.27128946378780416):0.0; tree STATE_8060 = ((3:0.025124825387340906,1:0.025124825387340906):0.371972848174431,(4:0.12580820977396776,2:0.12580820977396776):0.27128946378780416):0.0; tree STATE_8070 = ((3:0.025124825387340906,1:0.025124825387340906):0.371972848174431,(4:0.12580820977396776,2:0.12580820977396776):0.27128946378780416):0.0; tree STATE_8080 = ((3:0.025124825387340906,1:0.025124825387340906):0.371972848174431,(4:0.12580820977396776,2:0.12580820977396776):0.27128946378780416):0.0; tree STATE_8090 = ((3:0.025124825387340906,1:0.025124825387340906):0.4916930686900706,(4:0.16093283422838953,2:0.16093283422838953):0.35588505984902197):0.0; tree STATE_8100 = ((3:0.025124825387340906,1:0.025124825387340906):0.4916930686900706,(4:0.16093283422838953,2:0.16093283422838953):0.35588505984902197):0.0; tree STATE_8110 = ((3:0.027186987271191627,1:0.027186987271191627):0.3157306874094365,(4:0.08858920007597457,2:0.08858920007597457):0.2543284746046536):0.0; tree STATE_8120 = ((3:0.027186987271191627,1:0.027186987271191627):0.34905025562547976,(4:0.08858920007597457,2:0.08858920007597457):0.2876480428206968):0.0; tree STATE_8130 = ((3:0.027186987271191627,1:0.027186987271191627):0.34905025562547976,(4:0.08858920007597457,2:0.08858920007597457):0.2876480428206968):0.0; tree STATE_8140 = ((3:0.027186987271191627,1:0.027186987271191627):0.34905025562547976,(4:0.10513280286506797,2:0.10513280286506797):0.2711044400316034):0.0; tree STATE_8150 = ((3:0.027186987271191627,1:0.027186987271191627):0.34905025562547976,(4:0.10513280286506797,2:0.10513280286506797):0.2711044400316034):0.0; tree STATE_8160 = ((3:0.027186987271191627,1:0.027186987271191627):0.34905025562547976,(4:0.10513280286506797,2:0.10513280286506797):0.2711044400316034):0.0; tree STATE_8170 = ((3:0.027186987271191627,1:0.027186987271191627):0.4883058524727095,(4:0.10513280286506797,2:0.10513280286506797):0.41036003687883316):0.0; tree STATE_8180 = ((3:0.027482213650559393,1:0.027482213650559393):0.49360841753486945,(4:0.1062744511261656,2:0.1062744511261656):0.41481618005926324):0.0; tree STATE_8190 = ((3:0.03511052864888315,1:0.03511052864888315):0.4859801025365457,(4:0.1062744511261656,2:0.1062744511261656):0.41481618005926324):0.0; tree STATE_8200 = ((3:0.03511052864888315,1:0.03511052864888315):0.4859801025365457,(4:0.1062744511261656,2:0.1062744511261656):0.41481618005926324):0.0; tree STATE_8210 = ((3:0.028107422949358384,1:0.028107422949358384):0.3890470697142794,(4:0.1078796020281319,2:0.1078796020281319):0.30927489063550584):0.0; tree STATE_8220 = ((3:0.028107422949358384,1:0.028107422949358384):0.3890470697142794,(4:0.1078796020281319,2:0.1078796020281319):0.30927489063550584):0.0; tree STATE_8230 = ((3:0.028107422949358384,1:0.028107422949358384):0.3857707845358376,(4:0.1078796020281319,2:0.1078796020281319):0.30599860545706403):0.0; tree STATE_8240 = ((3:0.028107422949358384,1:0.028107422949358384):0.3857707845358376,(4:0.1078796020281319,2:0.1078796020281319):0.30599860545706403):0.0; tree STATE_8250 = ((3:0.028107422949358384,1:0.028107422949358384):0.3857707845358376,(4:0.1078796020281319,2:0.1078796020281319):0.30599860545706403):0.0; tree STATE_8260 = ((3:0.028107422949358384,1:0.028107422949358384):0.3857707845358376,(4:0.1078796020281319,2:0.1078796020281319):0.30599860545706403):0.0; tree STATE_8270 = ((3:0.028107422949358384,1:0.028107422949358384):0.3857707845358376,(4:0.1078796020281319,2:0.1078796020281319):0.30599860545706403):0.0; tree STATE_8280 = ((3:0.028107422949358384,1:0.028107422949358384):0.3857707845358376,(4:0.1078796020281319,2:0.1078796020281319):0.30599860545706403):0.0; tree STATE_8290 = ((3:0.028107422949358384,1:0.028107422949358384):0.3857707845358376,(4:0.08421795509737325,2:0.08421795509737325):0.3296602523878227):0.0; tree STATE_8300 = ((3:0.028107422949358384,1:0.028107422949358384):0.3857707845358376,(4:0.0848582782527538,2:0.0848582782527538):0.32901992923244217):0.0; tree STATE_8310 = ((3:0.03252181720349174,1:0.03252181720349174):0.4463577809935257,(4:0.09818564364692477,2:0.09818564364692477):0.38069395455009264):0.0; tree STATE_8320 = ((3:0.03252181720349174,1:0.03252181720349174):0.4463577809935257,(4:0.12165859830842315,2:0.12165859830842315):0.35722099988859424):0.0; tree STATE_8330 = ((3:0.03252181720349174,1:0.03252181720349174):0.4463577809935257,(4:0.09906855520841275,2:0.09906855520841275):0.3798110429886047):0.0; tree STATE_8340 = ((3:0.03252181720349174,1:0.03252181720349174):0.4463577809935257,(4:0.09906855520841275,2:0.09906855520841275):0.3798110429886047):0.0; tree STATE_8350 = ((3:0.03252181720349174,1:0.03252181720349174):0.4463577809935257,(4:0.09906855520841275,2:0.09906855520841275):0.3798110429886047):0.0; tree STATE_8360 = ((3:0.03629240984014084,1:0.03629240984014084):0.4981086826050297,(4:0.1105546035572793,2:0.1105546035572793):0.4238464888878912):0.0; tree STATE_8370 = ((3:0.03629240984014084,1:0.03629240984014084):0.4981086826050297,(4:0.1105546035572793,2:0.1105546035572793):0.4238464888878912):0.0; tree STATE_8380 = ((3:0.03629240984014084,1:0.03629240984014084):0.4981086826050297,(4:0.1105546035572793,2:0.1105546035572793):0.4238464888878912):0.0; tree STATE_8390 = ((3:0.030730697937721468,1:0.030730697937721468):0.30090026338467385,(4:0.1105546035572793,2:0.1105546035572793):0.22107635776511603):0.0; tree STATE_8400 = ((3:0.030730697937721468,1:0.030730697937721468):0.3817038297370511,(4:0.10016162202508011,2:0.10016162202508011):0.31227290564969246):0.0; tree STATE_8410 = ((3:0.030730697937721468,1:0.030730697937721468):0.3817038297370511,(4:0.10016162202508011,2:0.10016162202508011):0.31227290564969246):0.0; tree STATE_8420 = ((3:0.030730697937721468,1:0.030730697937721468):0.3817038297370511,(4:0.10016162202508011,2:0.10016162202508011):0.31227290564969246):0.0; tree STATE_8430 = ((3:0.030730697937721468,1:0.030730697937721468):0.3817038297370511,(4:0.14362560560541654,2:0.14362560560541654):0.268808922069356):0.0; tree STATE_8440 = ((3:0.03070796227831835,1:0.03070796227831835):0.38142143171656506,(4:0.14351934629242505,2:0.14351934629242505):0.26861004770245833):0.0; tree STATE_8450 = ((3:0.03070796227831835,1:0.03070796227831835):0.38142143171656506,(4:0.12185454827429779,2:0.12185454827429779):0.2902748457205856):0.0; tree STATE_8460 = ((3:0.03070796227831835,1:0.03070796227831835):0.38142143171656506,(4:0.12185454827429779,2:0.12185454827429779):0.2902748457205856):0.0; tree STATE_8470 = ((3:0.03070796227831835,1:0.03070796227831835):0.38142143171656506,(4:0.12185454827429779,2:0.12185454827429779):0.2902748457205856):0.0; tree STATE_8480 = ((3:0.03070796227831835,1:0.03070796227831835):0.4048284104139882,(4:0.09736832514385799,2:0.09736832514385799):0.33816804754844854):0.0; tree STATE_8490 = ((3:0.03070796227831835,1:0.03070796227831835):0.4502432533400661,(4:0.12670757337494132,2:0.12670757337494132):0.3542436422434431):0.0; tree STATE_8500 = ((3:0.02679955955026142,1:0.02679955955026142):0.47029563785480766,(4:0.1478951769848285,2:0.1478951769848285):0.34920002042024056):0.0; tree STATE_8510 = ((3:0.02679955955026142,1:0.02679955955026142):0.4676256858736916,(4:0.09635327235410972,2:0.09635327235410972):0.39807197306984327):0.0; tree STATE_8520 = ((3:0.02679955955026142,1:0.02679955955026142):0.4676256858736916,(4:0.09635327235410972,2:0.09635327235410972):0.39807197306984327):0.0; tree STATE_8530 = ((3:0.02679955955026142,1:0.02679955955026142):0.4676256858736916,(4:0.10334362095154423,2:0.10334362095154423):0.3910816244724088):0.0; tree STATE_8540 = ((3:0.02679955955026142,1:0.02679955955026142):0.4676256858736916,(4:0.10334362095154423,2:0.10334362095154423):0.3910816244724088):0.0; tree STATE_8550 = ((3:0.02679955955026142,1:0.02679955955026142):0.4676256858736916,(4:0.10334362095154423,2:0.10334362095154423):0.3910816244724088):0.0; tree STATE_8560 = ((3:0.02679955955026142,1:0.02679955955026142):0.4676256858736916,(4:0.10334362095154423,2:0.10334362095154423):0.3910816244724088):0.0; tree STATE_8570 = ((3:0.027281255949051574,1:0.027281255949051574):0.4760308094147961,(4:0.10520112349582794,2:0.10520112349582794):0.3981109418680197):0.0; tree STATE_8580 = ((3:0.027281255949051574,1:0.027281255949051574):0.4489700059489015,(4:0.10520112349582794,2:0.10520112349582794):0.37105013840212514):0.0; tree STATE_8590 = ((3:0.027281255949051574,1:0.027281255949051574):0.42426550624423076,(4:0.10520112349582794,2:0.10520112349582794):0.3463456386974544):0.0; tree STATE_8600 = ((3:0.027281255949051574,1:0.027281255949051574):0.4691935043737123,(4:0.10520112349582794,2:0.10520112349582794):0.39127363682693594):0.0; tree STATE_8610 = ((3:0.03211454975944743,1:0.03211454975944743):0.5523183452828877,(4:0.12383911948797184,2:0.12383911948797184):0.46059377555436326):0.0; tree STATE_8620 = ((3:0.028341408052526034,1:0.028341408052526034):0.48742640690310035,(4:0.10928924878486383,2:0.10928924878486383):0.40647856617076256):0.0; tree STATE_8630 = ((3:0.028341408052526034,1:0.028341408052526034):0.48742640690310035,(4:0.10928924878486383,2:0.10928924878486383):0.40647856617076256):0.0; tree STATE_8640 = ((3:0.028341408052526034,1:0.028341408052526034):0.5041078709885236,(4:0.10928924878486383,2:0.10928924878486383):0.4231600302561858):0.0; tree STATE_8650 = ((3:0.024547531430139293,1:0.024547531430139293):0.362252801585351,(4:0.10928924878486383,2:0.10928924878486383):0.2775110842306264):0.0; tree STATE_8660 = ((3:0.024547531430139293,1:0.024547531430139293):0.362252801585351,(4:0.10928924878486383,2:0.10928924878486383):0.2775110842306264):0.0; tree STATE_8670 = ((3:0.024547531430139293,1:0.024547531430139293):0.362252801585351,(4:0.10928924878486383,2:0.10928924878486383):0.2775110842306264):0.0; tree STATE_8680 = ((3:0.024547531430139293,1:0.024547531430139293):0.362252801585351,(4:0.10928924878486383,2:0.10928924878486383):0.2775110842306264):0.0; tree STATE_8690 = ((3:0.024547531430139293,1:0.024547531430139293):0.362252801585351,(4:0.10928924878486383,2:0.10928924878486383):0.2775110842306264):0.0; tree STATE_8700 = ((3:0.024547531430139293,1:0.024547531430139293):0.362252801585351,(4:0.12460349294743976,2:0.12460349294743976):0.2621968400680505):0.0; tree STATE_8710 = ((3:0.024547531430139293,1:0.024547531430139293):0.362252801585351,(4:0.12460349294743976,2:0.12460349294743976):0.2621968400680505):0.0; tree STATE_8720 = ((3:0.024547531430139293,1:0.024547531430139293):0.5126671767136514,(4:0.12460349294743976,2:0.12460349294743976):0.4126112151963509):0.0; tree STATE_8730 = ((3:0.022607362660641363,1:0.022607362660641363):0.4721473856203089,(4:0.13428714495443708,2:0.13428714495443708):0.3604676033265132):0.0; tree STATE_8740 = ((3:0.022607362660641363,1:0.022607362660641363):0.4721473856203089,(4:0.09625449566283566,2:0.09625449566283566):0.39850025261811456):0.0; tree STATE_8750 = ((3:0.031079834791474956,1:0.031079834791474956):0.46367491348947526,(4:0.09625449566283566,2:0.09625449566283566):0.39850025261811456):0.0; tree STATE_8760 = ((3:0.032150799978295,1:0.032150799978295):0.4796524659340344,(4:0.0995712833684799,2:0.0995712833684799):0.4122319825438495):0.0; tree STATE_8770 = ((3:0.032150799978295,1:0.032150799978295):0.4796524659340344,(4:0.0995712833684799,2:0.0995712833684799):0.4122319825438495):0.0; tree STATE_8780 = ((3:0.032150799978295,1:0.032150799978295):0.4796524659340344,(4:0.0995712833684799,2:0.0995712833684799):0.4122319825438495):0.0; tree STATE_8790 = ((3:0.032150799978295,1:0.032150799978295):0.4796524659340344,(4:0.0995712833684799,2:0.0995712833684799):0.4122319825438495):0.0; tree STATE_8800 = ((3:0.032150799978295,1:0.032150799978295):0.5084523601693038,(4:0.0995712833684799,2:0.0995712833684799):0.4410318767791189):0.0; tree STATE_8810 = ((3:0.032150799978295,1:0.032150799978295):0.5084523601693038,(4:0.0995712833684799,2:0.0995712833684799):0.4410318767791189):0.0; tree STATE_8820 = ((3:0.032150799978295,1:0.032150799978295):0.5084523601693038,(4:0.0995712833684799,2:0.0995712833684799):0.4410318767791189):0.0; tree STATE_8830 = ((3:0.032150799978295,1:0.032150799978295):0.5084523601693038,(4:0.0995712833684799,2:0.0995712833684799):0.4410318767791189):0.0; tree STATE_8840 = ((3:0.032150799978295,1:0.032150799978295):0.5084523601693038,(4:0.10626247661988669,2:0.10626247661988669):0.4343406835277121):0.0; tree STATE_8850 = ((3:0.032150799978295,1:0.032150799978295):0.5084523601693038,(4:0.10626247661988669,2:0.10626247661988669):0.4343406835277121):0.0; tree STATE_8860 = ((3:0.032150799978295,1:0.032150799978295):0.5084523601693038,(4:0.10626247661988669,2:0.10626247661988669):0.4343406835277121):0.0; tree STATE_8870 = ((3:0.032150799978295,1:0.032150799978295):0.5084523601693038,(4:0.12773889926717363,2:0.12773889926717363):0.41286426088042516):0.0; tree STATE_8880 = ((3:0.032150799978295,1:0.032150799978295):0.5084523601693038,(4:0.12773889926717363,2:0.12773889926717363):0.41286426088042516):0.0; tree STATE_8890 = ((3:0.032150799978295,1:0.032150799978295):0.5160633014672023,(4:0.12773889926717363,2:0.12773889926717363):0.42047520217832357):0.0; tree STATE_8900 = ((3:0.032150799978295,1:0.032150799978295):0.5160633014672023,(4:0.12773889926717363,2:0.12773889926717363):0.42047520217832357):0.0; tree STATE_8910 = ((3:0.032150799978295,1:0.032150799978295):0.5160633014672023,(4:0.12773889926717363,2:0.12773889926717363):0.42047520217832357):0.0; tree STATE_8920 = ((3:0.032150799978295,1:0.032150799978295):0.5160633014672023,(4:0.12773889926717363,2:0.12773889926717363):0.42047520217832357):0.0; tree STATE_8930 = ((3:0.025197975756081376,1:0.025197975756081376):0.4044611819224624,(4:0.10011451313857657,2:0.10011451313857657):0.32954464453996724):0.0; tree STATE_8940 = ((3:0.02981474877952212,1:0.02981474877952212):0.4785665581560244,(4:0.11845749386001542,2:0.11845749386001542):0.3899238130755311):0.0; tree STATE_8950 = ((3:0.02981474877952212,1:0.02981474877952212):0.4785665581560244,(4:0.11845749386001542,2:0.11845749386001542):0.3899238130755311):0.0; tree STATE_8960 = ((3:0.05015915191924832,1:0.05015915191924832):0.4582221550162982,(4:0.09785447824553868,2:0.09785447824553868):0.41052682869000784):0.0; tree STATE_8970 = ((3:0.04309381840168939,1:0.04309381840168939):0.4652874885338571,(4:0.09785447824553868,2:0.09785447824553868):0.41052682869000784):0.0; tree STATE_8980 = ((3:0.04309381840168939,1:0.04309381840168939):0.4652874885338571,(4:0.09785447824553868,2:0.09785447824553868):0.41052682869000784):0.0; tree STATE_8990 = ((3:0.04309381840168939,1:0.04309381840168939):0.4652874885338571,(4:0.09785447824553868,2:0.09785447824553868):0.41052682869000784):0.0; tree STATE_9000 = ((3:0.019460333407100364,1:0.019460333407100364):0.4517595745935109,(4:0.09785447824553868,2:0.09785447824553868):0.3733654297550726):0.0; tree STATE_9010 = ((3:0.019460333407100364,1:0.019460333407100364):0.4517595745935109,(4:0.09785447824553868,2:0.09785447824553868):0.3733654297550726):0.0; tree STATE_9020 = ((3:0.019460333407100364,1:0.019460333407100364):0.4517595745935109,(4:0.10404220404530669,2:0.10404220404530669):0.3671777039553046):0.0; tree STATE_9030 = ((3:0.019460333407100364,1:0.019460333407100364):0.4517595745935109,(4:0.10404220404530669,2:0.10404220404530669):0.3671777039553046):0.0; tree STATE_9040 = ((3:0.019460333407100364,1:0.019460333407100364):0.4517595745935109,(4:0.10404220404530669,2:0.10404220404530669):0.3671777039553046):0.0; tree STATE_9050 = ((3:0.019460333407100364,1:0.019460333407100364):0.4517595745935109,(4:0.10404220404530669,2:0.10404220404530669):0.3671777039553046):0.0; tree STATE_9060 = ((3:0.019460333407100364,1:0.019460333407100364):0.4517595745935109,(4:0.10404220404530669,2:0.10404220404530669):0.3671777039553046):0.0; tree STATE_9070 = ((3:0.019460333407100364,1:0.019460333407100364):0.4517595745935109,(4:0.10404220404530669,2:0.10404220404530669):0.3671777039553046):0.0; tree STATE_9080 = ((3:0.019460333407100364,1:0.019460333407100364):0.4415659340679135,(4:0.10404220404530669,2:0.10404220404530669):0.3569840634297072):0.0; tree STATE_9090 = ((3:0.019460333407100364,1:0.019460333407100364):0.4415659340679135,(4:0.10404220404530669,2:0.10404220404530669):0.3569840634297072):0.0; tree STATE_9100 = ((3:0.019460333407100364,1:0.019460333407100364):0.4415659340679135,(4:0.10404220404530669,2:0.10404220404530669):0.3569840634297072):0.0; tree STATE_9110 = ((3:0.036406639421549244,1:0.036406639421549244):0.4246196280534646,(4:0.10404220404530669,2:0.10404220404530669):0.3569840634297072):0.0; tree STATE_9120 = ((3:0.03928342035850799,1:0.03928342035850799):0.4581722346892665,(4:0.1023534116041096,2:0.1023534116041096):0.39510224344366485):0.0; tree STATE_9130 = ((3:0.03928342035850799,1:0.03928342035850799):0.4581722346892665,(4:0.14000717536511711,2:0.14000717536511711):0.35744847968265736):0.0; tree STATE_9140 = ((3:0.03928342035850799,1:0.03928342035850799):0.4581722346892665,(4:0.10418293897784532,2:0.10418293897784532):0.39327271606992914):0.0; tree STATE_9150 = ((3:0.03928342035850799,1:0.03928342035850799):0.4581722346892665,(4:0.10418293897784532,2:0.10418293897784532):0.39327271606992914):0.0; tree STATE_9160 = ((3:0.03928342035850799,1:0.03928342035850799):0.4581722346892665,(4:0.10418293897784532,2:0.10418293897784532):0.39327271606992914):0.0; tree STATE_9170 = ((3:0.03639223422006985,1:0.03639223422006985):0.4244516166305098,(4:0.09651526986233623,2:0.09651526986233623):0.36432858098824344):0.0; tree STATE_9180 = ((3:0.03639223422006985,1:0.03639223422006985):0.4244516166305098,(4:0.09651526986233623,2:0.09651526986233623):0.36432858098824344):0.0; tree STATE_9190 = ((3:0.03639223422006985,1:0.03639223422006985):0.4244516166305098,(4:0.09651526986233623,2:0.09651526986233623):0.36432858098824344):0.0; tree STATE_9200 = ((3:0.03639223422006985,1:0.03639223422006985):0.4244516166305098,(4:0.12082204309545641,2:0.12082204309545641):0.34002180775512325):0.0; tree STATE_9210 = ((3:0.03639223422006985,1:0.03639223422006985):0.4244516166305098,(4:0.12301726549222092,2:0.12301726549222092):0.33782658535835874):0.0; tree STATE_9220 = ((3:0.01824579638309025,1:0.01824579638309025):0.4425980544674894,(4:0.12301726549222092,2:0.12301726549222092):0.33782658535835874):0.0; tree STATE_9230 = ((3:0.01824579638309025,1:0.01824579638309025):0.4425980544674894,(4:0.12301726549222092,2:0.12301726549222092):0.33782658535835874):0.0; tree STATE_9240 = ((3:0.01824579638309025,1:0.01824579638309025):0.4425980544674894,(4:0.12301726549222092,2:0.12301726549222092):0.33782658535835874):0.0; tree STATE_9250 = ((3:0.01824579638309025,1:0.01824579638309025):0.4425980544674894,(4:0.12301726549222092,2:0.12301726549222092):0.33782658535835874):0.0; tree STATE_9260 = ((3:0.01824579638309025,1:0.01824579638309025):0.4425980544674894,(4:0.12301726549222092,2:0.12301726549222092):0.33782658535835874):0.0; tree STATE_9270 = ((3:0.01824579638309025,1:0.01824579638309025):0.4425980544674894,(4:0.12301726549222092,2:0.12301726549222092):0.33782658535835874):0.0; tree STATE_9280 = ((3:0.01824579638309025,1:0.01824579638309025):0.4425980544674894,(4:0.12301726549222092,2:0.12301726549222092):0.33782658535835874):0.0; tree STATE_9290 = ((3:0.01824579638309025,1:0.01824579638309025):0.4425980544674894,(4:0.12301726549222092,2:0.12301726549222092):0.33782658535835874):0.0; tree STATE_9300 = ((3:0.01824579638309025,1:0.01824579638309025):0.4425980544674894,(4:0.12301726549222092,2:0.12301726549222092):0.33782658535835874):0.0; tree STATE_9310 = ((3:0.01824579638309025,1:0.01824579638309025):0.4425980544674894,(4:0.12301726549222092,2:0.12301726549222092):0.33782658535835874):0.0; tree STATE_9320 = ((3:0.01824579638309025,1:0.01824579638309025):0.4425980544674894,(4:0.12301726549222092,2:0.12301726549222092):0.33782658535835874):0.0; tree STATE_9330 = ((3:0.01911279716309517,1:0.01911279716309517):0.463629356713502,(4:0.1342317917779846,2:0.1342317917779846):0.3485103620986126):0.0; tree STATE_9340 = ((3:0.01911279716309517,1:0.01911279716309517):0.463629356713502,(4:0.1342317917779846,2:0.1342317917779846):0.3485103620986126):0.0; tree STATE_9350 = ((3:0.01911279716309517,1:0.01911279716309517):0.463629356713502,(4:0.1342317917779846,2:0.1342317917779846):0.3485103620986126):0.0; tree STATE_9360 = ((3:0.01911279716309517,1:0.01911279716309517):0.463629356713502,(4:0.1342317917779846,2:0.1342317917779846):0.3485103620986126):0.0; tree STATE_9370 = ((3:0.02171504362194981,1:0.02171504362194981):0.4610271102546474,(4:0.1342317917779846,2:0.1342317917779846):0.3485103620986126):0.0; tree STATE_9380 = ((3:0.020218961979435162,1:0.020218961979435162):0.42926414406579,(4:0.12498374590632454,2:0.12498374590632454):0.3244993601389006):0.0; tree STATE_9390 = ((3:0.020218961979435162,1:0.020218961979435162):0.42926414406579,(4:0.12498374590632454,2:0.12498374590632454):0.3244993601389006):0.0; tree STATE_9400 = ((3:0.020218961979435162,1:0.020218961979435162):0.42926414406579,(4:0.12498374590632454,2:0.12498374590632454):0.3244993601389006):0.0; tree STATE_9410 = ((3:0.020218961979435162,1:0.020218961979435162):0.42926414406579,(4:0.12498374590632454,2:0.12498374590632454):0.3244993601389006):0.0; tree STATE_9420 = ((3:0.020218961979435162,1:0.020218961979435162):0.42926414406579,(4:0.12498374590632454,2:0.12498374590632454):0.3244993601389006):0.0; tree STATE_9430 = ((3:0.020218961979435162,1:0.020218961979435162):0.42926414406579,(4:0.12498374590632454,2:0.12498374590632454):0.3244993601389006):0.0; tree STATE_9440 = ((3:0.02266833364861422,1:0.02266833364861422):0.4752236258921826,(4:0.13844436269822294,2:0.13844436269822294):0.3594475968425739):0.0; tree STATE_9450 = ((3:0.02266833364861422,1:0.02266833364861422):0.4752236258921826,(4:0.13844436269822294,2:0.13844436269822294):0.3594475968425739):0.0; tree STATE_9460 = ((3:0.02266833364861422,1:0.02266833364861422):0.4752236258921826,(4:0.13844436269822294,2:0.13844436269822294):0.3594475968425739):0.0; tree STATE_9470 = ((3:0.02004017992676797,1:0.02004017992676797):0.41158847600025605,(4:0.12239320195857104,2:0.12239320195857104):0.309235453968453):0.0; tree STATE_9480 = ((3:0.02004017992676797,1:0.02004017992676797):0.41158847600025605,(4:0.12239320195857104,2:0.12239320195857104):0.309235453968453):0.0; tree STATE_9490 = ((3:0.02004017992676797,1:0.02004017992676797):0.41158847600025605,(4:0.12239320195857104,2:0.12239320195857104):0.309235453968453):0.0; tree STATE_9500 = ((3:0.02004017992676797,1:0.02004017992676797):0.41158847600025605,(4:0.12239320195857104,2:0.12239320195857104):0.309235453968453):0.0; tree STATE_9510 = ((3:0.02004017992676797,1:0.02004017992676797):0.5185454699201894,(4:0.12239320195857104,2:0.12239320195857104):0.4161924478883863):0.0; tree STATE_9520 = ((3:0.02004017992676797,1:0.02004017992676797):0.5185454699201894,(4:0.12239320195857104,2:0.12239320195857104):0.4161924478883863):0.0; tree STATE_9530 = ((3:0.02004017992676797,1:0.02004017992676797):0.5185454699201894,(4:0.1305748975010397,2:0.1305748975010397):0.40801075234591766):0.0; tree STATE_9540 = ((3:0.04015433520986523,1:0.04015433520986523):0.4984313146370921,(4:0.1305748975010397,2:0.1305748975010397):0.40801075234591766):0.0; tree STATE_9550 = ((3:0.04015433520986523,1:0.04015433520986523):0.4984313146370921,(4:0.1305748975010397,2:0.1305748975010397):0.40801075234591766):0.0; tree STATE_9560 = ((3:0.04015433520986523,1:0.04015433520986523):0.4984313146370921,(4:0.1305748975010397,2:0.1305748975010397):0.40801075234591766):0.0; tree STATE_9570 = ((3:0.04015433520986523,1:0.04015433520986523):0.4984313146370921,(4:0.15605331361017483,2:0.15605331361017483):0.3825323362367825):0.0; tree STATE_9580 = ((3:0.04015433520986523,1:0.04015433520986523):0.4984313146370921,(4:0.15698305343745533,2:0.15698305343745533):0.381602596409502):0.0; tree STATE_9590 = ((3:0.04015433520986523,1:0.04015433520986523):0.4984313146370921,(4:0.08315074706561103,2:0.08315074706561103):0.4554349027813463):0.0; tree STATE_9600 = ((3:0.04015433520986523,1:0.04015433520986523):0.4984313146370921,(4:0.16833070929424138,2:0.16833070929424138):0.37025494055271596):0.0; tree STATE_9610 = ((3:0.04015433520986523,1:0.04015433520986523):0.4984313146370921,(4:0.16833070929424138,2:0.16833070929424138):0.37025494055271596):0.0; tree STATE_9620 = ((3:0.04015433520986523,1:0.04015433520986523):0.4984313146370921,(4:0.16641703289474905,2:0.16641703289474905):0.37216861695220826):0.0; tree STATE_9630 = ((3:0.031189893128711562,1:0.031189893128711562):0.3871566881703652,(4:0.1292644852331978,2:0.1292644852331978):0.289082096065879):0.0; tree STATE_9640 = ((3:0.031189893128711562,1:0.031189893128711562):0.3871566881703652,(4:0.1292644852331978,2:0.1292644852331978):0.289082096065879):0.0; tree STATE_9650 = ((3:0.031189893128711562,1:0.031189893128711562):0.3871566881703652,(4:0.1292644852331978,2:0.1292644852331978):0.289082096065879):0.0; tree STATE_9660 = ((3:0.031189893128711562,1:0.031189893128711562):0.4988794737315143,(4:0.1292644852331978,2:0.1292644852331978):0.4008048816270281):0.0; tree STATE_9670 = ((3:0.033823332529738716,1:0.033823332529738716):0.49624603433048714,(4:0.1292644852331978,2:0.1292644852331978):0.4008048816270281):0.0; tree STATE_9680 = ((3:0.026804764530725642,1:0.026804764530725642):0.3932716590785283,(4:0.10244123892330415,2:0.10244123892330415):0.3176351846859498):0.0; tree STATE_9690 = ((3:0.026804764530725642,1:0.026804764530725642):0.3932716590785283,(4:0.09898966815821486,2:0.09898966815821486):0.3210867554510391):0.0; tree STATE_9700 = ((3:0.026804764530725642,1:0.026804764530725642):0.3932716590785283,(4:0.09898966815821486,2:0.09898966815821486):0.3210867554510391):0.0; tree STATE_9710 = ((3:0.026804764530725642,1:0.026804764530725642):0.3932716590785283,(4:0.09898966815821486,2:0.09898966815821486):0.3210867554510391):0.0; tree STATE_9720 = ((3:0.026804764530725642,1:0.026804764530725642):0.5106184273814591,(4:0.09898966815821486,2:0.09898966815821486):0.43843352375396993):0.0; tree STATE_9730 = ((3:0.026804764530725642,1:0.026804764530725642):0.5106184273814591,(4:0.09898966815821486,2:0.09898966815821486):0.43843352375396993):0.0; tree STATE_9740 = ((3:0.026804764530725642,1:0.026804764530725642):0.5106184273814591,(4:0.09898966815821486,2:0.09898966815821486):0.43843352375396993):0.0; tree STATE_9750 = ((3:0.026804764530725642,1:0.026804764530725642):0.3873689925511465,(4:0.09898966815821486,2:0.09898966815821486):0.3151840889236573):0.0; tree STATE_9760 = ((3:0.031613982384519186,1:0.031613982384519186):0.4568693932298224,(4:0.11675005097754111,2:0.11675005097754111):0.3717333246368005):0.0; tree STATE_9770 = ((3:0.031613982384519186,1:0.031613982384519186):0.4568693932298224,(4:0.11675005097754111,2:0.11675005097754111):0.3717333246368005):0.0; tree STATE_9780 = ((3:0.031613982384519186,1:0.031613982384519186):0.4568693932298224,(4:0.11675005097754111,2:0.11675005097754111):0.3717333246368005):0.0; tree STATE_9790 = ((3:0.031613982384519186,1:0.031613982384519186):0.4568693932298224,(4:0.11675005097754111,2:0.11675005097754111):0.3717333246368005):0.0; tree STATE_9800 = ((3:0.031613982384519186,1:0.031613982384519186):0.4568693932298224,(4:0.09992169374203508,2:0.09992169374203508):0.3885616818723065):0.0; tree STATE_9810 = ((3:0.031613982384519186,1:0.031613982384519186):0.4568693932298224,(4:0.10445546378343629,2:0.10445546378343629):0.3840279118309053):0.0; tree STATE_9820 = ((3:0.031613982384519186,1:0.031613982384519186):0.4568693932298224,(4:0.10445546378343629,2:0.10445546378343629):0.3840279118309053):0.0; tree STATE_9830 = ((3:0.031613982384519186,1:0.031613982384519186):0.4568693932298224,(4:0.10445546378343629,2:0.10445546378343629):0.3840279118309053):0.0; tree STATE_9840 = ((3:0.031613982384519186,1:0.031613982384519186):0.4568693932298224,(4:0.10445546378343629,2:0.10445546378343629):0.3840279118309053):0.0; tree STATE_9850 = ((3:0.031613982384519186,1:0.031613982384519186):0.4568693932298224,(4:0.10445546378343629,2:0.10445546378343629):0.3840279118309053):0.0; tree STATE_9860 = ((3:0.031613982384519186,1:0.031613982384519186):0.5033942691755645,(4:0.09661778961676205,2:0.09661778961676205):0.43839046194332165):0.0; tree STATE_9870 = ((3:0.031613982384519186,1:0.031613982384519186):0.5033942691755645,(4:0.09661778961676205,2:0.09661778961676205):0.43839046194332165):0.0; tree STATE_9880 = ((3:0.031613982384519186,1:0.031613982384519186):0.4662783662068172,(4:0.09661778961676205,2:0.09661778961676205):0.4012745589745743):0.0; tree STATE_9890 = ((3:0.031613982384519186,1:0.031613982384519186):0.4662783662068172,(4:0.13835377477456093,2:0.13835377477456093):0.35953857381677545):0.0; tree STATE_9900 = ((3:0.028548500096580717,1:0.028548500096580717):0.4210652052873684,(4:0.12493815883341555,2:0.12493815883341555):0.32467554655053354):0.0; tree STATE_9910 = ((3:0.028548500096580717,1:0.028548500096580717):0.4210652052873684,(4:0.12493815883341555,2:0.12493815883341555):0.32467554655053354):0.0; tree STATE_9920 = ((3:0.028548500096580717,1:0.028548500096580717):0.4210652052873684,(4:0.15594363261977037,2:0.15594363261977037):0.2936700727641788):0.0; tree STATE_9930 = ((3:0.028548500096580717,1:0.028548500096580717):0.4210652052873684,(4:0.10262240185447125,2:0.10262240185447125):0.3469913035294779):0.0; tree STATE_9940 = ((3:0.028548500096580717,1:0.028548500096580717):0.4210652052873684,(4:0.10262240185447125,2:0.10262240185447125):0.3469913035294779):0.0; tree STATE_9950 = ((3:0.028548500096580717,1:0.028548500096580717):0.4210652052873684,(4:0.10262240185447125,2:0.10262240185447125):0.3469913035294779):0.0; tree STATE_9960 = ((3:0.028548500096580717,1:0.028548500096580717):0.4210652052873684,(4:0.10262240185447125,2:0.10262240185447125):0.3469913035294779):0.0; tree STATE_9970 = ((3:0.028548500096580717,1:0.028548500096580717):0.4210652052873684,(4:0.14380857119490648,2:0.14380857119490648):0.30580513418904265):0.0; tree STATE_9980 = ((3:0.036122225458722075,1:0.036122225458722075):0.4393543436723558,(4:0.14380857119490648,2:0.14380857119490648):0.3316679979361714):0.0; tree STATE_9990 = ((3:0.032006070649634795,1:0.032006070649634795):0.4434704984814431,(4:0.14380857119490648,2:0.14380857119490648):0.3316679979361714):0.0; tree STATE_10000 = ((3:0.032006070649634795,1:0.032006070649634795):0.4434704984814431,(4:0.14380857119490648,2:0.14380857119490648):0.3316679979361714):0.0; End;