(((((SFUL_1958:16.6136726599847,(SFUL_3051:32.7069031296529,SFUL_3895:32.7069031296529):16.6136726599847):0,(SFUL_5177:27.6823586730743,(SFUL_3264:29.3365399073408,SFUL_5080:29.3365399073408):27.6823586730743):0):0,((SFUL_6201:1.44506389962974,(SFUL_2273:43.7271049565656,SFUL_2744:43.7271049565656):1.44506389962974):0,((SFUL_1735:38.0828687967109,SFUL_2262:38.0828687967109):0,(SFUL_1448:38.658227378108,SFUL_3828:38.658227378108):0):0):0):0,((SFUL_3617:11.5673902288769,(SFUL_422:27.9216064859277,SFUL_698:27.9216064859277):11.5673902288769):0,((SFUL_1780:49.444393588025,(SFUL_4416:8.47535525125643,SFUL_4417:8.47535525125643):49.444393588025):0,(((SFUL_1017:45.4225122590385,SFUL_6190:45.4225122590385):0,(SFUL_4074:51.230334110881,SFUL_5248:51.230334110881):0):0,((SFUL_1695:7.78400361029311,(SFUL_1375:50.543338946789,SFUL_6585:50.543338946789):7.78400361029311):0,(SFUL_3839:60.5254810264652,SFUL_4805:60.5254810264652):0):0):0):0):0):0,((SFUL_6715:61.0083912188914,((SFUL_4122:77.1457339066782,SFUL_6699:77.1457339066782):0,(SFUL_3674:85.9999366229272,SFUL_5054:85.9999366229272):0):61.0083912188914):0,(((SFUL_2606:16.1731775413149,(SFUL_4707:32.7970240828265,(SFUL_233:12.7646721600087,SFUL_3307:12.7646721600087):32.7970240828265):16.1731775413149):0,((SFUL_3339:10.6839631189765,(SFUL_3031:18.9384008401581,SFUL_5130:18.9384008401581):10.6839631189765):0,((SFUL_2399:3.67934217735572,(SFUL_5318:3.65094317959265,(SFUL_2661:47.0252975302124,SFUL_5702:47.0252975302124):3.65094317959265):3.67934217735572):0,(SFUL_5200:55.2218717056928,SFUL_5215:55.2218717056928):0):0):0):0,((SFUL_5769:11.3327644437389,(SFUL_3448:35.672766674033,SFUL_4271:35.672766674033):11.3327644437389):0,(((SFUL_6405:1.48262961099511,(SFUL_2893:51.1973483170515,SFUL_5104:51.1973483170515):1.48262961099511):0,((SFUL_1116:55.8541671762949,SFUL_5779:55.8541671762949):0,(SFUL_3953:6.9803019063118,(SFUL_276:61.0368368011277,SFUL_3755:61.0368368011277):6.9803019063118):0):0):0,((SFUL_3398:67.8680583479261,SFUL_4043:67.8680583479261):0,(SFUL_7017:25.1639866819026,(SFUL_4757:50.3992298289369,SFUL_5668:50.3992298289369):25.1639866819026):0):0):0):0):0):0);