((((nfa4190:21.1439775526035,nfa4220:21.1439775526035):0,(nfa42540:20.665201145867,(nfa30360:7.63895639375246,(nfa31230:41.2573879543713,nfa42470:41.2573879543713):7.63895639375246):20.665201145867):0):0,((nfa45810:14.5289522899068,(nfa37240:54.1118338621045,nfa9020:54.1118338621045):14.5289522899068):0,(nfa22360:11.5413639902904,(nfa28940:5.95381787630049,(nfa22880:61.2168031801523,nfa7820:61.2168031801523):5.95381787630049):11.5413639902904):0):0):0,((((nfa28140:47.4286350460352,nfa9980:47.4286350460352):0,(nfa6940:3.47990081125582,(nfa15690:55.809759719291,nfa6630:55.809759719291):3.47990081125582):0):0,(nfa51870:8.70544202259256,(nfa5450:7.11741561520429,(nfa46100:54.5480883867849,nfa49630:54.5480883867849):7.11741561520429):8.70544202259256):0):0,(nfa17980:21.4744644210431,(nfa1530:83.4249282112817,nfa28420:83.4249282112817):21.4744644210431):0):0);