(((((Xaut_0373:59.0685487330821,Xaut_0634:59.0685487330821):0,(Xaut_2558:18.3962656135481,(Xaut_2155:49.1447958375045,Xaut_3403:49.1447958375045):18.3962656135481):0):0,(Xaut_2423:16.028474161155,(Xaut_2845:16.0823995015531,(Xaut_0202:84.0437080885595,Xaut_1803:84.0437080885595):16.0823995015531):16.028474161155):0):0,((((Xaut_2264:74.7730018261939,Xaut_3399:74.7730018261939):0,(Xaut_1075:77.7608526213705,Xaut_1280:77.7608526213705):0):0,(Xaut_1771:9.6251715138479,(Xaut_1533:5.73273135648964,(Xaut_3488:10.1994931196986,(Xaut_3176:86.0379764952663,Xaut_3517:86.0379764952663):10.1994931196986):5.73273135648964):9.6251715138479):0):0,((Xaut_2024:79.8571741901283,Xaut_2532:79.8571741901283):0,((Xaut_2069:96.3616638280105,Xaut_2333:96.3616638280105):0,(Xaut_0306:100.600386787427,Xaut_3235:100.600386787427):0):0):0):0):0,(((Xaut_1086:64.5395211886291,Xaut_2506:64.5395211886291):0,((Xaut_0992:25.6442885980817,(Xaut_0058:122.025896588654,Xaut_1743:122.025896588654):25.6442885980817):0,(Xaut_2334:11.8801715037731,(((Xaut_0144:130.855295857466,Xaut_1450:130.855295857466):0,(Xaut_0640:132.473582064661,Xaut_2568:132.473582064661):0):0,(Xaut_0632:147.14899113628,Xaut_2184:147.14899113628):0):11.8801715037731):0):0):0,(((Xaut_3936:40.9305059560115,(Xaut_1776:68.7958087749719,Xaut_4048:68.7958087749719):40.9305059560115):0,(Xaut_1552:32.1390369312662,(Xaut_1744:90.5551465250043,Xaut_3389:90.5551465250043):32.1390369312662):0):0,((((Xaut_2026_1:99.1777180318619,Xaut_2569:99.1777180318619):0,(Xaut_0991:15.4185566600228,(Xaut_1114:108.535760444738,Xaut_4635:108.535760444738):15.4185566600228):0):0,((Xaut_1032:110.124415883411,Xaut_4397:110.124415883411):0,(Xaut_1292:113.634290411235,Xaut_2297:113.634290411235):0):0):0,((Xaut_2427:115.695916216423,Xaut_3859:115.695916216423):0,(Xaut_4399:11.9086075398494,(Xaut_3948:7.32803613398201,(Xaut_1115:8.98661699347529,(Xaut_2026_2:126.112057904587,Xaut_2816:126.112057904587):8.98661699347529):7.32803613398201):11.9086075398494):0):0):0):0):0);