(((nfa5460:89.2459393149487,nfa6930:89.2459393149487):0,((nfa9970:16.0910903538367,(nfa46110:63.6617805020603,nfa51860:63.6617805020603):16.0910903538367):0,((nfa49640:55.7020140796991,nfa6640:55.7020140796991):0,(nfa28150:7.67545853079457,(nfa15700:79.6918324403449,nfa27150:79.6918324403449):7.67545853079457):0):0):0):0,((nfa28740:14.1876893076657,(nfa1540:0.598881589170105,(nfa22890:17.5100566938197,(nfa28370:137.3728009233,nfa52850:137.3728009233):17.5100566938197):0.598881589170105):14.1876893076657):0,((nfa38740:5.50465848105742,(nfa17970:16.9568772708712,(nfa18700:9.82060260021201,(nfa1520:94.1115591648949,nfa46350:94.1115591648949):9.82060260021201):16.9568772708712):5.50465848105742):0,(((nfa30350:12.4555787933811,(nfa31210:4.0226960714777,(nfa4180:57.6977575135941,nfa42530:57.6977575135941):4.0226960714777):12.4555787933811):0,(nfa42460:5.49994869704659,(nfa37250:90.3613465248692,nfa7810:90.3613465248692):5.49994869704659):0):0,(nfa22370:3.09152453945663,((nfa19100:39.7058075412779,nfa28950:39.7058075412779):0,(nfa54910:82.2490632840885,nfa9030:82.2490632840885):0):3.09152453945663):0):0):0):0);