((19952_1#71:0.003956285375244839,(19789_5#185:0.015235983898826078,((19952_3#87:0.01868527150834076,(19952_3#28:0.0033172628993671793,(19647_7#14:0.0010079592132714588,(19647_8#131:0.0020529222235965428,(19789_7#67:1.168878531920825E-5,((19789_7#34:1.0000005001842283E-6,(19789_7#123:1.0000005001842283E-6,19789_7#66:1.0000005001842283E-6):1.0000005001842283E-6):1.0000005001842283E-6,((19789_7#35:1.0000005001842283E-6,(19789_5#19:1.0000005001842283E-6,19789_7#122:1.0000005001842283E-6):1.0000005001842283E-6):1.0000005001842283E-6,(19789_7#124:1.0000005001842283E-6,(19789_7#128:1.0000005001842283E-6,19789_7#33:1.1689078105892037E-5):1.0000005001842283E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.0000005001842283E-6):7.603217555631758E-4):1.0000005001842283E-6):0.0018569858497325953):0.021731449160764527):0.0158804857373247,(((19647_8#144:8.967825565124876E-4,19952_3#138:9.500936659443404E-4):0.018688782171973006,(19647_6#95:1.1761653087027923E-5,((19647_6#97:1.0000005001842283E-6,19647_6#96:1.0000005001842283E-6):1.0000005001842283E-6,(19647_6#94:1.0000005001842283E-6,(19647_6#93:1.0000005001842283E-6,19647_6#101:1.0000005001842283E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.0000005001842283E-6):0.021890842976225233):0.01897901352208997,(19647_7#128:0.016160725060212933,((19647_8#61:1.1787353251246913E-5,(19647_6#146:1.0000005001842283E-6,(19647_6#145:1.0000005001842283E-6,(19647_7#17:1.0000005001842283E-6,19647_6#147:1.0000005001842283E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.0000005001842283E-6):0.029114075347831392,((19789_5#26:1.1719302325907677E-5,(19647_8#16:1.0000005001842283E-6,(19789_7#161:1.0000005001842283E-6,(19789_7#159:1.0000005001842283E-6,(19789_7#162:1.0000005001842283E-6,(19789_5#25:1.0000005001842283E-6,19789_7#160:1.0000005001842283E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.0000005001842283E-6):0.05115494458140679,(19952_4#148:0.04617827837435362,(((19789_6#59:0.012536853498994915,19647_7#36:0.026213811438491774):0.008766979068702163,(19952_3#53:1.1712123756613124E-5,19647_7#28:1.0000005001842283E-6):0.01480314922875392):0.007500832461193596,((19952_1#69:0.02053647535326908,(19952_1#17:0.05495097937263482,19647_7#20:0.03619837454714547):0.007086367719836062):0.00295081356840754,(19952_2#9:0.012784084587306843,(19647_6#77:0.015780254607772992,(19952_1#58:1.1783477568361178E-5,((19952_1#59:1.0000005001842283E-6,19952_1#63:1.0000005001842283E-6):1.0000005001842283E-6,(19952_1#62:1.0000005001842283E-6,(19952_1#61:1.0000005001842283E-6,19952_1#60:1.0000005001842283E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.0000005001842283E-6):0.01654309414188848):0.0034075265283126654):0.004122658808138446):0.007180943661297512):0.09705856054095507):0.0948466255933913):0.03533605766677628):0.042066002447119555):0.030554753878848206):0.01991707034406298):0.013263910283468405):0.027532763451836306):0.8947473810434416,((19647_8#22:2.1952514789669308E-4,19952_1#70:5.254691293470337E-4):0.005107702240707113,((19789_7#137:1.1665377486647088E-5,(19789_7#136:1.0000005001842283E-6,(19789_7#50:1.000000499740139E-6,(19789_7#47:1.0000005001842283E-6,(19789_7#48:1.000000499740139E-6,19789_7#49:1.000000499740139E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):0.041378005438113874,(19952_3#54:0.038387655157330336,(19647_6#148:0.03389077313463984,(((19647_6#21:1.000000499740139E-6,((19647_6#20:1.000000499740139E-6,19647_6#22:1.000000499740139E-6):1.0000005001842283E-6,(19647_6#19:1.000000499740139E-6,19647_6#23:1.000000499740139E-6):1.0000005001842283E-6):1.000000499740139E-6):0.0366053654193319,((19789_5#170:0.017353855582067812,19952_2#140:0.013435512011771511):0.004953447423726054,((19647_6#67:0.03315263824535242,19952_3#161:0.03713945992627021):0.04590949270808231,(19789_5#5:1.0000005001842283E-6,(19789_7#102:1.0000005001842283E-6,(19789_7#103:1.000000499740139E-6,(19789_7#104:1.0000005001842283E-6,19789_5#85:1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):0.0076492366157960845):0.020680300025338383):0.00827840937265023):0.012401282349105536,(19952_3#105:0.013791135070093219,(19647_8#3:0.006476391188174446,(19647_7#9:0.006240377111883522,(19952_1#150:0.0075407640145428445,(19789_5#57:0.03118808152291974,(19789_7#147:0.00583802647860221,(((19952_1#146:0.015983377927937692,(((19647_8#40:1.0000005001842283E-6,19789_5#114:1.0000005001842283E-6):1.1816476427117806E-5,((19647_8#44:1.0000005001842283E-6,19952_2#48:1.170478416057108E-5):1.0000005001842283E-6,(19952_2#49:1.0000005001842283E-6,(19789_8#47:1.000000499740139E-6,(19952_2#62:1.0000005001842283E-6,19952_2#103:1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):8.309877965473333E-5,((19952_1#145:2.331900854457558E-5,((19789_7#99:1.000000499740139E-6,19789_7#170:1.000000499740139E-6):1.0000005001842283E-6,(19789_7#91:1.000000499740139E-6,((19789_5#8:1.0000005001842283E-6,19789_7#100:1.0000005001842283E-6):1.0000005001842283E-6,(19789_7#98:2.3320611362454002E-5,19647_8#107:2.3321080231397673E-5):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):9.48455539990789E-5,(19789_5#105:3.502470498917276E-5,((19952_3#42:1.0000005001842283E-6,(19952_2#24:2.332313552066978E-5,(19952_2#23:1.0000005001842283E-6,(19952_2#139:1.0000005001842283E-6,19952_2#25:1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):0.0017688292208188905,(((19952_3#27:1.1669312034445767E-5,19647_8#50:1.0000005001842283E-6):5.834991016806512E-5,(19647_8#20:1.0497507709983367E-4,((19647_8#124:2.3317289646662687E-5,(19647_6#99:1.0000005001842283E-6,(19647_6#8:1.000000499740139E-6,19647_8#105:1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6,(19952_4#94:1.1658987679297184E-5,(19952_4#65:1.0000005001842283E-6,(19789_8#9:1.000000499740139E-6,(19647_6#9:1.0000005001842283E-6,(19647_8#108:1.0000005001842283E-6,((19647_8#143:1.0000005001842283E-6,19647_7#123:1.0000005001842283E-6):1.000000499740139E-6,(19789_8#8:1.0000005001842283E-6,((19952_4#89:2.3327766478509204E-5,(19647_6#98:1.0000005001842283E-6,19952_4#90:1.0000005001842283E-6):2.3318716330322786E-5):1.0000005001842283E-6,(19647_7#124:1.1659185931822691E-5,(19952_4#93:1.0000005001842283E-6,(19647_6#107:1.000000499740139E-6,19647_6#106:1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.165925384283284E-5):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.165781611556227E-5):1.000000499740139E-6):1.1657843484780273E-5,((19647_6#76:2.3332333951575635E-5,(19789_5#121:5.829549601665818E-5,19789_7#175:1.1657543481202737E-5):2.3318096537661148E-5):1.0000005001842283E-6,((19647_6#52:1.1658603867648054E-5,((19647_8#26:1.0000005001842283E-6,(19647_8#54:1.1659609506331492E-5,19647_8#60:1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6,((19952_1#47:1.0000005001842283E-6,19952_1#152:1.0000005001842283E-6):1.0000005001842283E-6,(19952_4#14:1.0000005001842283E-6,((19647_6#7:1.1658705238559719E-5,19789_7#169:1.165875383657422E-5):1.000000499740139E-6,(19789_7#171:1.0000005001842283E-6,(19789_7#41:1.0000005001842283E-6,((19952_3#160:1.0000005001842283E-6,19789_5#88:1.0000005001842283E-6):1.000000499740139E-6,(19789_7#44:1.1658706768002958E-5,(19789_7#43:1.0000005001842283E-6,(19789_7#42:1.0000005001842283E-6,((19789_7#46:1.0000005001842283E-6,19789_7#80:1.0000005001842283E-6):1.000000499740139E-6,(19952_1#14:1.0000005001842283E-6,19789_7#45:1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.165876208775174E-5):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):6.996432096828542E-5,(19789_5#4:1.1657911005880095E-5,((19952_1#90:1.000000499740139E-6,(19789_5#1:1.0000005001842283E-6,((19952_2#163:1.000000499740139E-6,(19952_1#45:1.0000005001842283E-6,(19952_1#151:1.0000005001842283E-6,(19952_1#43:1.1669040216766291E-5,19952_2#162:1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6,((19952_2#121:1.0000005001842283E-6,19952_2#165:1.0000005001842283E-6):1.000000499740139E-6,(19952_2#164:1.0000005001842283E-6,(19952_1#102:1.0000005001842283E-6,19952_2#117:1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6,(19952_1#44:1.000000499740139E-6,((19789_5#2:1.0000005001842283E-6,19952_2#166:1.0000005001842283E-6):1.0000005001842283E-6,(19952_1#42:1.0000005001842283E-6,((19952_2#120:1.0000005001842283E-6,19789_7#184:1.0000005001842283E-6):1.000000499740139E-6,((19952_1#86:1.1658012480708635E-5,19952_1#103:1.0000005001842283E-6):1.0000005001842283E-6,(19952_1#88:1.0000005001842283E-6,((19952_1#87:1.0000005001842283E-6,(19952_1#89:1.0000005001842283E-6,(19789_5#3:1.000000499740139E-6,19952_1#46:1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6,(19952_2#185:1.0000005001842283E-6,(19952_2#183:2.3320045522634558E-5,(19952_2#184:1.000000499740139E-6,(19952_2#181:1.0000005001842283E-6,19952_2#182:1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.8657440132674452E-4):1.165257607604886E-5):1.1658147535786867E-5):8.203553488073112E-6):2.3318342440070694E-5):1.0103297884089812E-5):6.349376334133794E-4):0.004767283468558592):0.005397516101750988,(((19952_2#38:1.000000499740139E-6,(19952_1#55:1.0000005001842283E-6,19952_2#123:1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6,((19647_7#1:1.0000005001842283E-6,((19647_8#66:1.0000005001842283E-6,19952_3#164:1.0000005001842283E-6):1.000000499740139E-6,(19952_4#55:1.0000005001842283E-6,(19952_3#166:1.0000005001842283E-6,(19952_3#162:1.000000499740139E-6,(19952_3#163:1.0000005001842283E-6,19952_3#165:1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):0.0024342547478117815,((19952_4#128:4.675087712513459E-5,((19647_7#111:1.0000005001842283E-6,(19647_7#112:1.000000499740139E-6,(19647_7#78:1.1685128772587206E-5,(19952_4#141:2.3376249114637204E-5,(19789_8#36:1.0000005001842283E-6,(19952_1#165:1.0000005001842283E-6,(19647_7#30:1.000000499740139E-6,(19952_4#140:1.0000005001842283E-6,19647_7#77:1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.1685108378234332E-5):1.0000005001842283E-6):1.0000005001842283E-6,((19952_4#113:1.000000499740139E-6,19647_7#34:1.000000499740139E-6):1.0000005001842283E-6,(19647_7#139:1.000000499740139E-6,((19647_8#89:1.0000005001842283E-6,19952_4#146:1.0000005001842283E-6):1.0000005001842283E-6,((19647_7#110:1.000000499740139E-6,(19647_7#114:1.0000005001842283E-6,(19952_4#139:1.0000005001842283E-6,(19789_8#35:1.000000499740139E-6,19789_5#152:1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6,((19952_4#144:1.1685325937982327E-5,19647_8#91:2.3370918766474347E-5):1.000000499740139E-6,(19647_8#79:1.0000005001842283E-6,((19647_7#122:1.168537632256772E-5,19647_8#80:1.1685316802623191E-5):1.0000005001842283E-6,(19952_1#173:1.000000499740139E-6,(19647_8#92:1.0000005001842283E-6,(19647_7#121:1.0000005001842283E-6,(19952_1#7:1.000000499740139E-6,(19647_7#115:1.0000005001842283E-6,19647_7#113:1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):3.4729815323153446E-5,((19952_3#88:1.166293204102331E-5,((19952_3#148:1.0000005001842283E-6,(19952_4#19:1.0000005001842283E-6,19952_3#119:1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6,((19952_4#35:1.0000005001842283E-6,(19952_3#149:1.000000499740139E-6,(19952_3#145:1.0000005001842283E-6,((19952_3#147:1.1663201073819351E-5,19647_6#29:1.000000499740139E-6):1.0000005001842283E-6,((19647_8#53:1.1664018882751037E-5,19952_4#51:1.0000005001842283E-6):1.000000499740139E-6,(19647_8#133:1.0000005001842283E-6,(19952_3#146:1.0000005001842283E-6,19647_8#52:1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6,((19647_8#51:1.000000499740139E-6,19647_8#63:1.000000499740139E-6):1.0000005001842283E-6,((19952_4#21:1.0000005001842283E-6,(19952_3#96:1.0000005001842283E-6,19952_3#104:1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6,(19952_3#97:1.0000005001842283E-6,(19952_3#95:1.0000005001842283E-6,(19952_3#94:1.000000499740139E-6,(19647_8#59:1.0000005001842283E-6,(19952_3#102:1.0000005001842283E-6,19952_3#98:1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.1662973219195294E-5):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.1662933478984172E-5,(19647_6#81:1.0000005001842283E-6,((19647_6#82:1.0000005001842283E-6,(19647_6#80:1.0000005001842283E-6,19647_8#25:1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6,((19647_6#79:1.0000005001842283E-6,(19952_1#124:1.000000499740139E-6,(19952_1#130:1.0000005001842283E-6,((19647_6#47:1.000000499740139E-6,(19952_1#131:1.0000005001842283E-6,(19952_3#44:1.0000005001842283E-6,((19952_1#21:1.000000499740139E-6,19789_6#96:1.000000499740139E-6):1.1663216305191071E-5,(19952_2#80:1.1680879225206553E-5,19789_5#143:1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6,((19952_1#132:1.0000005001842283E-6,19952_2#130:1.0000005001842283E-6):1.1663483775237182E-5,((19952_3#155:1.0000005001842283E-6,(19952_3#156:1.000000499740139E-6,(19952_3#158:1.0000005001842283E-6,19952_3#157:1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.1664903138530747E-5,(19789_5#55:1.1664839153713302E-5,((19647_8#19:1.0000005001842283E-6,(19789_7#84:1.0000005001842283E-6,19789_7#83:1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6,((19952_1#91:2.3329930446180924E-5,19952_1#41:2.337574959510036E-5):1.0000005001842283E-6,((19789_5#97:1.000000499740139E-6,19789_7#101:1.000000499740139E-6):1.0000005001842283E-6,(19647_8#135:1.000000499740139E-6,(19789_5#9:1.1665952273975932E-5,19789_7#69:1.1665114559633594E-5):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):2.3330208091199012E-5):1.1664722511461889E-5):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6,(((19952_4#72:2.334776575541042E-5,((19647_7#27:1.000000499740139E-6,19647_6#111:1.000000499740139E-6):1.0000005001842283E-6,(19952_4#77:1.000000499740139E-6,(19647_8#73:1.0000005001842283E-6,19647_8#74:1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):3.036224361685491E-4,(19647_6#69:1.0000005001842283E-6,(19647_6#73:1.000000499740139E-6,(19647_6#72:1.0000005001842283E-6,((19647_6#71:1.000000499740139E-6,19647_6#125:1.000000499740139E-6):1.0000005001842283E-6,((19647_6#128:1.0000005001842283E-6,19952_4#142:1.0000005001842283E-6):1.000000499740139E-6,(19647_7#25:1.0000005001842283E-6,(19647_8#87:1.0000005001842283E-6,19647_6#92:1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.5312710507631166E-4):2.55255880076799E-4,(((19952_3#123:1.000000499740139E-6,(19952_3#152:1.1664031688063403E-5,(19789_5#123:1.0000005001842283E-6,19952_3#121:1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6,(19952_3#60:1.000000499740139E-6,((19952_3#150:1.0000005001842283E-6,(19952_3#154:1.0000005001842283E-6,(19952_3#153:1.000000499740139E-6,19952_3#151:1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.1662964583880608E-5,(19647_6#143:1.0000005001842283E-6,(19789_5#125:1.000000499740139E-6,(19952_4#12:1.0000005001842283E-6,(19952_3#122:1.0000005001842283E-6,19952_3#124:1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6,(((19952_4#11:1.0000005001842283E-6,(19647_6#151:1.1663067937206506E-5,(19952_4#50:1.166321556977934E-5,19647_8#55:1.0000005001842283E-6):1.000000499740139E-6):1.1662990637706372E-5):1.000000499740139E-6,((19952_4#68:1.0000005001842283E-6,(19647_8#141:1.000000499740139E-6,19952_3#64:1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6,(19789_5#116:1.0000005001842283E-6,(19952_3#65:1.000000499740139E-6,(19952_3#63:1.1663282699636568E-5,(19952_4#24:1.000000499740139E-6,19952_3#66:1.000000499740139E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6,((19647_7#134:1.0000005001842283E-6,((19952_4#80:1.000000499740139E-6,(19952_4#84:1.0000005001842283E-6,19789_8#32:1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6,(19647_6#85:1.1663278832507729E-5,(19647_6#86:1.0000005001842283E-6,(19647_6#87:1.000000499740139E-6,(19647_7#19:1.0000005001842283E-6,19647_6#88:1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):5.832818815054708E-5):1.0000005001842283E-6):1.000000499740139E-6,(19647_7#132:6.1027398918778175E-5,(19647_7#136:1.0000005001842283E-6,(19647_7#133:1.0000005001842283E-6,(19647_6#10:1.5175645970089136E-4,((19647_7#135:1.0000005001842283E-6,19647_7#45:1.0000005001842283E-6):1.1670698057297813E-5,((19647_7#75:1.000000499740139E-6,19647_8#27:1.000000499740139E-6):1.0000005001842283E-6,(19647_7#64:1.000000499740139E-6,(19647_8#117:1.1671715126393423E-5,19647_7#76:1.1671432277537974E-5):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0163464426460322E-4):1.0000005001842283E-6):3.109693157918869E-4):2.726803713524184E-4):1.16627150745785E-5):1.283147491961678E-4):2.3325967330123376E-5):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):0.007769335258422494):0.013985742605156837,(19952_4#78:1.0000005001842283E-6,((((19952_4#86:1.0000005001842283E-6,19952_1#156:1.0000005001842283E-6):1.000000499740139E-6,(19952_4#58:1.0000005001842283E-6,(19952_3#126:1.0000005001842283E-6,19952_4#88:1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6,((19952_4#66:1.166192142409983E-5,19952_4#36:1.0000005001842283E-6):1.000000499740139E-6,(19647_6#138:1.0000005001842283E-6,(19952_4#104:1.1662184789429375E-5,((19647_6#3:1.0000005001842283E-6,(19647_6#90:1.0000005001842283E-6,19647_8#65:1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6,(19952_1#158:1.0000005001842283E-6,((19952_4#27:1.000000499740139E-6,(19952_4#44:1.0000005001842283E-6,(19952_4#91:1.0000005001842283E-6,(19952_4#70:1.000000499740139E-6,19789_5#118:1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6,(19952_4#37:1.000000499740139E-6,((19647_6#6:1.0000005001842283E-6,19952_4#73:1.0000005001842283E-6):1.0000005001842283E-6,(19952_1#23:1.0000005001842283E-6,(19952_3#49:1.000000499740139E-6,(19952_1#157:1.0000005001842283E-6,19952_4#43:1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6,(19647_6#48:1.1665305625863098E-4,(((19952_1#27:1.000000499740139E-6,19789_6#151:1.000000499740139E-6):1.1660594554374626E-5,(19647_8#122:1.1669505684430703E-5,(19647_6#30:1.1660162506199612E-5,((19789_6#177:1.0000005001842283E-6,19789_6#176:1.0000005001842283E-6):1.000000499740139E-6,(((19789_5#142:1.000000499740139E-6,19789_6#147:1.000000499740139E-6):1.0000005001842283E-6,((19952_4#92:1.0000005001842283E-6,(19647_6#115:1.0000005001842283E-6,19952_4#109:1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6,(19952_4#83:1.0000005001842283E-6,(19647_7#88:1.0000005001842283E-6,(19952_4#96:5.838000322855308E-5,19647_6#110:1.1660934829293979E-5):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6,(19952_4#99:1.0000005001842283E-6,(((19647_6#32:1.0000005001842283E-6,19789_6#150:1.0000005001842283E-6):1.0000005001842283E-6,(19789_5#11:1.0000005001842283E-6,19647_6#113:1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6,(19647_6#116:1.1661134027285414E-5,(19789_6#161:1.0000005001842283E-6,(19647_6#114:1.000000499740139E-6,(19647_7#21:1.0000005001842283E-6,(19647_6#108:1.0000005001842283E-6,(19789_8#31:1.000000499740139E-6,(19789_6#149:1.0000005001842283E-6,19647_6#109:1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.9840961300232607E-4,((19952_3#13:1.165829854610223E-5,(19952_4#106:1.000000499740139E-6,(19952_2#7:1.0000005001842283E-6,(19952_3#12:1.000000499740139E-6,(19789_8#30:1.0000005001842283E-6,(19952_2#150:1.1419670812529148E-5,((19952_2#27:1.0000005001842283E-6,(19952_2#26:1.0000005001842283E-6,19789_7#181:1.1659476063741181E-5):1.0000005001842283E-6):1.000000499740139E-6,(19647_8#49:1.0000005001842283E-6,((19952_2#155:1.000000499740139E-6,19952_2#151:1.000000499740139E-6):1.0000005001842283E-6,(19952_2#3:1.000000499740139E-6,((19952_2#94:1.0000005001842283E-6,(19952_2#93:1.000000499740139E-6,19952_2#153:1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6,((19952_3#43:1.000000499740139E-6,19952_3#25:1.000000499740139E-6):1.0000005001842283E-6,(((19952_2#156:1.0000005001842283E-6,19647_8#48:1.0000005001842283E-6):1.0000005001842283E-6,(19952_2#6:1.0000005001842283E-6,(19952_2#5:1.000000499740139E-6,(19789_5#87:1.0000005001842283E-6,(19952_2#154:1.0000005001842283E-6,19952_2#4:1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6,(19789_8#5:1.1659762046978273E-5,((19952_2#118:1.000000499740139E-6,(19952_1#93:1.0000005001842283E-6,(19647_6#63:1.0000005001842283E-6,(19952_1#15:1.000000499740139E-6,19789_8#2:1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6,(19647_6#56:1.000000499740139E-6,(19789_5#80:1.0000005001842283E-6,(((19789_5#164:1.0000005001842283E-6,(19789_5#81:1.0000005001842283E-6,19952_1#48:1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6,(19789_5#6:1.0000005001842283E-6,(19789_5#163:1.0000005001842283E-6,19647_7#15:1.165957925364225E-5):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6,(19952_3#11:1.000000499740139E-6,((19647_8#29:1.0000005001842283E-6,19952_2#128:1.0000005001842283E-6):1.0000005001842283E-6,(19647_8#41:1.1659535644081842E-5,(19647_6#40:1.1659387070483973E-5,19789_5#186:8.163245350578663E-5):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6,(((19789_5#7:1.000000499740139E-6,19789_7#85:3.4979928779765856E-5):1.166271736168234E-4,(19789_5#32:3.49809492758979E-5,(19789_7#86:1.000000499740139E-6,(19789_7#89:2.3320997960318834E-5,(19952_2#124:1.0000005001842283E-6,19789_7#87:1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):0.0018566691522217127,((19952_4#30:0.0028519806879963028,(((19789_7#126:1.0000005001842283E-6,(19789_7#125:1.0000005001842283E-6,19789_7#182:1.0000005001842283E-6):1.0000005001842283E-6):1.400165845044654E-4,(19789_7#115:1.1658882068665832E-5,(19789_7#117:1.0000005001842283E-6,(19789_7#131:1.000000499740139E-6,((19789_7#145:1.0000005001842283E-6,19789_7#114:1.0000005001842283E-6):1.0000005001842283E-6,(19789_7#127:1.0000005001842283E-6,19789_7#166:1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):5.135442892227893E-4,((19647_7#48:1.0000005001842283E-6,19647_8#93:1.0000005001842283E-6):1.1658625495680752E-5,(((19952_2#8:1.000000499740139E-6,19952_2#157:1.000000499740139E-6):1.0000005001842283E-6,(19952_1#141:1.000000499740139E-6,((19952_1#57:1.0000005001842283E-6,19952_4#97:1.0000005001842283E-6):1.0000005001842283E-6,(19647_7#5:1.1659460839474889E-5,(19952_1#139:1.1659461827129292E-5,19952_2#2:1.1659461827129292E-5):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6,(19952_2#161:1.0000005001842283E-6,((19952_1#138:1.0000005001842283E-6,((19952_2#158:1.000000499740139E-6,19952_2#160:1.000000499740139E-6):1.0000005001842283E-6,(19647_7#23:1.000000499740139E-6,19952_1#142:1.1658681073445365E-5):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6,((19952_1#140:1.1658917147716608E-5,19952_1#72:1.0000005001842283E-6):1.0000005001842283E-6,(19952_2#159:1.0000005001842283E-6,(19647_6#118:1.000000499740139E-6,(19952_4#115:7.010250311623167E-5,19647_6#117:3.4977842738204146E-5):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.1658577813378201E-5):4.642383365371927E-5):0.0010285533209044573):4.5311923444479874E-4,((19789_5#122:3.498265737844619E-5,(19952_2#147:1.165944763714677E-5,(19952_2#148:1.0000005001842283E-6,(19952_3#10:1.1660172774874411E-5,19952_2#149:1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):2.4492503814821376E-4):1.1570303322994135E-5,(((19647_7#129:1.0000005001842283E-6,19647_8#123:1.1659953104814491E-5):1.1659657865870088E-5,((19647_8#15:1.0000005001842283E-6,19952_1#114:1.166116781892157E-5):1.000000499740139E-6,((19647_6#134:1.0000005001842283E-6,19647_6#135:1.0000005001842283E-6):1.0000005001842283E-6,(19647_6#136:1.0000005001842283E-6,(19647_6#137:1.000000499740139E-6,19647_6#133:1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.1660983231909228E-5):4.664646085172919E-5):2.3319161178037007E-5,(((19952_2#69:1.0000005001842283E-6,19952_3#125:1.0000005001842283E-6):5.833588604842177E-5,((19789_5#151:1.1655897178108887E-5,(19952_1#161:1.000000499740139E-6,(19647_7#79:1.1656039738294766E-5,(19952_4#101:1.0000005001842283E-6,19952_1#169:3.497214095515844E-5):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):2.331729182536435E-4,(((19952_4#29:3.4969660734240904E-5,(19789_7#92:1.0000005001842283E-6,(19789_5#10:1.0000005001842283E-6,19789_7#178:1.0000005001842283E-6):2.3313175796513264E-5):3.497137833274877E-5):6.99531136549858E-5,((19789_5#161:1.0000005001842283E-6,(19952_3#4:1.1661754662384283E-5,19952_1#127:1.000000499740139E-6):2.9165813579323796E-4):4.6631712999012365E-5,(19789_5#117:1.2856078373557622E-4,(19789_7#112:2.3321178686419586E-5,(19789_5#48:0.0011101088270542014,(19789_7#94:4.663385215009086E-5,((19789_7#96:5.829342461804998E-5,19789_7#97:8.161270203288495E-5):1.000000499740139E-6,(19789_7#95:1.1680604166119934E-5,(19952_1#144:1.1684583670223958E-4,19952_1#143:8.177083218008363E-5):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.1657892600158704E-5):1.0000005001842283E-6):5.364441310633516E-4):1.1909870637261122E-5):8.160531777079427E-5):1.0000005001842283E-6,(((19952_1#119:1.0000005001842283E-6,19789_6#97:1.0000005001842283E-6):1.000000499740139E-6,((19789_6#98:1.0000005001842283E-6,19952_1#115:1.0000005001842283E-6):1.0000005001842283E-6,(19952_1#118:1.0000005001842283E-6,(19952_1#116:1.000000499740139E-6,19952_1#117:1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):3.5859346069422315E-5,(19789_7#54:1.400904608095388E-4,((19952_1#54:1.000000499740139E-6,19789_7#72:1.1672614009583526E-5):1.0000005001842283E-6,(19952_3#101:1.000000499740139E-6,(19647_8#43:1.0000005001842283E-6,(19647_8#47:1.0000005001842283E-6,((19789_7#75:1.0000005001842283E-6,(19789_7#74:1.0000005001842283E-6,19647_6#62:1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6,(19952_3#17:1.0000005001842283E-6,((19789_5#54:1.1673245429832946E-5,19952_1#121:1.1673317123594984E-5):1.0000005001842283E-6,(19952_2#111:1.000000499740139E-6,(19789_5#162:1.0000005001842283E-6,(19952_1#123:1.0000005001842283E-6,(19952_1#122:1.000000499740139E-6,(19789_7#77:1.0000005001842283E-6,(19952_1#120:1.000000499740139E-6,(19952_2#142:1.0000005001842283E-6,19952_3#103:1.167330854334736E-5):1.000000499740139E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.1672074613944261E-5):3.502618066475449E-5):4.582862182500591E-5):5.835853482016873E-5):1.0827232255206098E-5):3.498310274974159E-5):1.000000499740139E-6,(19952_4#118:1.1664057933780114E-4,((19789_7#62:8.161837586095899E-5,(19952_2#39:2.3320928384418238E-5,(19647_8#36:1.0000005001842283E-6,(((19952_1#171:1.0000005001842283E-6,19647_8#34:1.0000005001842283E-6):1.0000005001842283E-6,(19952_1#153:1.0000005001842283E-6,(19952_4#46:1.000000499740139E-6,19952_2#125:1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6,((19647_8#33:1.0000005001842283E-6,19647_8#35:1.0000005001842283E-6):1.0000005001842283E-6,(19952_1#172:1.0000005001842283E-6,(19647_8#37:1.000000499740139E-6,(19789_5#101:1.0000005001842283E-6,19952_1#162:1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):3.732847402151407E-4):3.498007508984102E-5,(((19952_4#61:1.0000005001842283E-6,19952_2#133:1.0000005001842283E-6):1.8044327366073531E-4,(19789_5#91:5.560046756905024E-4,((19952_2#63:8.182785709154317E-5,19952_2#66:1.0000005001842283E-6):8.181561210207633E-5,((19789_5#93:1.0000005001842283E-6,19952_3#128:1.0000005001842283E-6):1.1672281792218797E-5,((19952_2#64:1.0000005001842283E-6,19952_2#65:1.0000005001842283E-6):1.2844375992759893E-4,(((19952_1#30:1.000000499740139E-6,(19789_6#152:1.0000005001842283E-6,19789_6#153:1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6,(19789_6#168:1.000000499740139E-6,(19789_6#170:1.0000005001842283E-6,(19789_5#109:1.000000499740139E-6,(19952_3#93:1.0000005001842283E-6,(19952_3#91:1.0000005001842283E-6,19952_3#89:1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6,(19952_4#120:2.335013344900716E-5,((19789_7#70:1.0000005001842283E-6,(19789_6#173:1.000000499740139E-6,19789_7#68:1.000000499740139E-6):1.0000005001842283E-6):1.000000499740139E-6,(19647_6#54:1.0000005001842283E-6,((19952_3#92:1.0000005001842283E-6,19952_3#90:1.0000005001842283E-6):1.000000499740139E-6,(19789_7#93:1.0000005001842283E-6,(19789_7#73:1.0000005001842283E-6,(19789_5#53:1.000000499740139E-6,(19952_2#67:1.0000005001842283E-6,19952_1#40:1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):2.3343719478319258E-5):1.0000005001842283E-6):8.012548279210385E-4):0.002427678462480376):2.6617549328200596E-5,(19952_1#168:3.781177769823785E-5,((((19789_7#149:1.000000499740139E-6,(19952_4#38:1.0000005001842283E-6,(19952_4#32:1.0000005001842283E-6,(19789_5#23:1.000000499740139E-6,19789_5#135:1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):6.771187139262835E-4,(19789_5#168:1.1663055684785206E-5,(19789_5#169:1.000000499740139E-6,((19789_5#184:1.0000005001842283E-6,19952_2#127:1.0000005001842283E-6):1.0000005001842283E-6,((19647_8#126:1.000000499740139E-6,(19789_5#183:1.0000005001842283E-6,19952_1#148:1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6,(19952_2#113:1.000000499740139E-6,((19789_5#172:1.0000005001842283E-6,19789_5#167:1.0000005001842283E-6):1.0000005001842283E-6,(19789_5#181:1.0000005001842283E-6,19789_5#182:1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.9845389438843952E-4):1.2439777174133582E-5,(((19647_8#45:1.000000499740139E-6,(19789_5#113:1.1709966221573609E-5,19952_4#123:1.0000005001842283E-6):1.000000499740139E-6):1.8729178288179327E-4,(19789_5#49:1.0000005001842283E-6,(19789_7#155:1.000000499740139E-6,(19789_5#45:1.0000005001842283E-6,19789_7#154:1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):2.234956075346517E-4):0.0038560732534618225,(19647_6#35:1.1662002549428507E-5,((19647_7#12:1.0000005001842283E-6,(19647_6#89:1.000000499740139E-6,19647_7#13:1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6,((19789_5#145:1.000000499740139E-6,19647_7#8:1.1662153986069512E-5):1.0000005001842283E-6,(((19647_6#51:1.0000005001842283E-6,19789_8#24:1.0000005001842283E-6):1.0000005001842283E-6,((19789_8#14:1.000000499740139E-6,19647_6#75:1.000000499740139E-6):1.0000005001842283E-6,(19952_4#71:2.3325081237146605E-5,19647_7#11:1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6,(19789_8#26:1.0000005001842283E-6,(19789_8#25:1.0000005001842283E-6,((19647_6#16:1.0000005001842283E-6,19647_6#18:1.0000005001842283E-6):1.000000499740139E-6,((19647_6#34:1.0000005001842283E-6,19789_8#12:1.0000005001842283E-6):2.3326062933648473E-5,(19789_8#11:1.0000005001842283E-6,19647_6#17:1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):2.6356944552219375E-4):0.002650817058768684):2.2094362940983103E-5,((19952_3#111:8.549220477540587E-4,(19789_5#160:1.1669447398610089E-5,(19952_1#135:1.0000005001842283E-6,(19952_1#134:1.000000499740139E-6,(19952_2#131:1.0000005001842283E-6,(19952_1#133:1.0000005001842283E-6,19952_1#136:1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):3.1813573014227714E-4):1.6221287853124267E-4,((((19952_3#22:1.0000005001842283E-6,(19647_8#134:1.0000005001842283E-6,19952_4#110:1.0000005001842283E-6):1.0000005001842283E-6):7.036307552787946E-5,(19952_3#23:3.518162796556368E-5,(19952_3#19:1.0000005001842283E-6,(19952_3#21:1.0000005001842283E-6,19952_3#20:1.0000005001842283E-6):1.0000005001842283E-6):1.7608674820923653E-4):1.0000005001842283E-6):0.002914154808244973,(19647_8#128:1.3997158473255666E-4,((19952_2#145:1.1711982929707432E-5,(19952_1#92:2.3379869425355082E-5,((19952_1#84:1.0000005001842283E-6,19952_1#85:1.0000005001842283E-6):1.0000005001842283E-6,(19952_1#81:1.0000005001842283E-6,(19952_1#82:1.000000499740139E-6,(19952_1#83:1.0000005001842283E-6,19952_3#107:1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):4.561420537196881E-4,((((19647_7#24:1.0000005001842283E-6,19647_6#104:1.0000005001842283E-6):1.1682365933740613E-5,(19647_8#78:1.0000005001842283E-6,19952_4#62:1.0000005001842283E-6):1.0000005001842283E-6):1.518994355422798E-4,((19789_5#139:1.000000499740139E-6,(19789_6#174:1.0000005001842283E-6,19952_4#87:1.0000005001842283E-6):1.000000499740139E-6):2.3366778664435373E-5,((19952_4#114:1.000000499740139E-6,(19952_1#154:1.0000005001842283E-6,19647_8#24:1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6,(19952_1#149:1.000000499740139E-6,(19952_1#101:1.0000005001842283E-6,(19952_1#100:1.168327221101606E-5,(19952_2#18:1.1683218499758397E-5,(19952_2#19:1.0000005001842283E-6,(19952_2#20:1.0000005001842283E-6,(19952_3#32:1.000000499740139E-6,19647_8#129:1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.1683218333224943E-5):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):9.347738664322591E-5,((19647_8#21:1.0000005001842283E-6,(19952_3#109:1.000000499740139E-6,19789_7#51:1.000000499740139E-6):1.0000005001842283E-6):1.000000499740139E-6,(19789_6#12:1.1669996346608258E-5,(19789_6#11:1.0000005001842283E-6,(((19789_5#37:1.0000005001842283E-6,19789_6#13:1.1670040365174827E-5):1.0000005001842283E-6,(19789_6#10:1.0000005001842283E-6,(19789_6#24:1.000000499740139E-6,19789_6#14:1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6,((19789_6#26:1.0000005001842283E-6,19789_7#158:1.0000005001842283E-6):1.0000005001842283E-6,(19789_6#25:1.0000005001842283E-6,(19789_5#51:1.000000499740139E-6,(19789_6#9:1.167011724989564E-5,(19789_7#156:1.0000005001842283E-6,(19789_6#8:1.1670056209389656E-5,19789_6#180:2.334037440032688E-5):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.1669995601870653E-5):1.0000005001842283E-6):2.333977003212695E-4):1.000000499740139E-6):4.8771316155704625E-4):0.0016666022810625236,((19789_5#99:1.1675145873635273E-5,(19789_5#98:1.0000005001842283E-6,(19789_5#104:1.0000005001842283E-6,(19952_2#37:1.000000499740139E-6,(19952_3#110:1.0000005001842283E-6,(19789_5#108:1.0000005001842283E-6,19952_1#2:1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):2.1007460487387775E-4,(19647_7#6:0.0023212737068964984,(((19952_3#73:0.0019709256799926855,((19952_4#102:2.3363390833086584E-5,19789_5#153:1.0000005001842283E-6):0.02175808279794511,(19952_2#21:1.0000005001842283E-6,19952_2#14:1.0000005001842283E-6):0.0025482922726238755):0.007483167563894):0.010057620923638932,(19647_8#11:0.0020104018258662038,(19647_7#56:1.0000005001842283E-6,(19647_7#59:1.000000499740139E-6,(19647_7#57:1.0000005001842283E-6,(19647_7#55:1.0000005001842283E-6,19647_7#58:1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):0.004545310675869718):0.0013604770498769625):0.0012411390839597303,((19789_5#180:1.1663027916775093E-5,19789_5#165:1.0000005001842283E-6):5.8673838218537E-4,((19789_5#90:3.498753033515101E-5,(19952_1#111:1.000000499740139E-6,19952_1#110:1.000000499740139E-6):1.0000005001842283E-6):2.456087931967943E-5,((19789_7#32:1.166276548314471E-5,(19952_2#51:1.0000005001842283E-6,((19789_5#28:1.000000499740139E-6,(19789_7#120:1.0000005001842283E-6,19789_7#27:1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6,(19789_5#89:1.000000499740139E-6,((19789_5#178:3.498699350323875E-5,19952_2#50:1.1661993000178228E-5):1.0000005001842283E-6,(19789_7#29:1.0000005001842283E-6,((19789_7#119:1.0000005001842283E-6,19789_5#27:1.0000005001842283E-6):1.000000499740139E-6,((19789_7#28:1.0000005001842283E-6,19789_7#30:1.0000005001842283E-6):1.0000005001842283E-6,(19789_7#31:1.1662219691732645E-5,(19789_7#180:1.166199770308296E-5,(19952_1#155:1.0000005001842283E-6,19789_7#121:1.0000005001842283E-6):1.166205802638487E-5):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.3996806045346588E-4,(19789_7#172:1.1662068190254615E-5,(19789_5#128:3.396618233595383E-4,(19647_6#127:9.349945179693009E-5,((19952_4#98:1.000000499740139E-6,(19952_4#95:1.0000005001842283E-6,19789_5#150:1.0000005001842283E-6):1.000000499740139E-6):0.0011451634376826725,((19952_2#97:1.0000005001842283E-6,19952_2#99:1.0000005001842283E-6):1.1671217529762856E-5,(19789_6#160:1.167021985448713E-5,(19789_5#36:1.0000005001842283E-6,(19952_4#67:1.000000499740139E-6,(19789_6#148:1.0000005001842283E-6,(19647_6#27:1.0000005001842283E-6,((19647_6#28:1.0000005001842283E-6,19952_4#64:1.0000005001842283E-6):1.000000499740139E-6,(19952_1#26:1.0000005001842283E-6,((19647_6#25:1.000000499740139E-6,19789_8#13:1.000000499740139E-6):1.0000005001842283E-6,(19647_6#58:1.000000499740139E-6,((19952_4#63:1.0000005001842283E-6,19952_4#69:1.0000005001842283E-6):1.0000005001842283E-6,(19952_4#105:1.1671036545646274E-5,(19952_4#81:1.000000499740139E-6,19647_6#26:1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.167010130487256E-5):1.1674147710749594E-5):1.0491616943220095E-4):0.003225373224354122):2.2952978731005658E-5):1.000000499740139E-6):2.2095014821754688E-5):4.6752699292396116E-4):0.005827700248246526):0.007111685936441958):0.004619403485830453):0.007033294183079075):9.465862050865859E-4):1.4023381233130294E-5):3.9710788584867984E-4):7.050577018841153E-5):2.2446032490108792E-4):1.165768393152078E-5):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):3.790486146604266E-5):0.001209248167290955):0.006486788131258248):5.952554012296218E-4):2.2157916506193587E-4):1.0000005001842283E-6):2.2893188695416455E-5):0.007447979364447299):0.01615187138262897):0.0015653712856464885,((((19952_1#6:8.170594912693119E-5,(19647_8#85:1.1671311944461138E-5,(19647_8#13:1.1671314221750606E-5,((19647_7#74:1.0000005001842283E-6,19789_8#38:1.0000005001842283E-6):1.000000499740139E-6,(19647_8#10:1.0000005001842283E-6,(19647_8#9:1.0000005001842283E-6,19647_8#8:1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):6.559219118900117E-4,((19952_2#30:2.3446160411388917E-5,((19952_2#29:1.000000499740139E-6,19952_2#28:9.387940389915528E-5):1.0000005001842283E-6,(19952_2#152:1.000000499740139E-6,(19952_2#32:1.0000005001842283E-6,19952_2#31:1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.000000499740139E-6):4.6897542371304723E-5,((19647_7#42:1.166524995532825E-5,((19647_8#118:1.0000005001842283E-6,(19647_7#41:1.0000005001842283E-6,19647_7#44:1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6,(19647_7#43:1.0000005001842283E-6,(19647_8#114:1.0000005001842283E-6,(19647_7#40:1.000000499740139E-6,19647_7#63:1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):6.999665836415758E-5,(19789_5#47:1.000000499740139E-6,(19789_6#38:1.1664235545882917E-5,((19789_6#42:1.0000005001842283E-6,(19789_6#112:1.000000499740139E-6,((19789_6#31:1.0000005001842283E-6,19789_6#33:1.0000005001842283E-6):1.0000005001842283E-6,(19789_6#32:1.0000005001842283E-6,19789_6#34:1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6,(19952_3#3:1.0000005001842283E-6,((19952_1#50:5.837190818791527E-5,19789_6#117:1.166423858522947E-5):1.000000499740139E-6,(19647_8#31:1.0000005001842283E-6,(19789_6#57:1.0000005001842283E-6,((19789_6#58:1.0000005001842283E-6,19789_6#111:1.0000005001842283E-6):1.000000499740139E-6,((19789_6#39:1.0000005001842283E-6,19789_6#29:1.0000005001842283E-6):1.0000005001842283E-6,(19952_4#111:1.0000005001842283E-6,((19789_6#27:1.0000005001842283E-6,19789_6#104:1.0000005001842283E-6):1.000000499740139E-6,(19789_6#35:1.0000005001842283E-6,((19789_5#40:1.1664326901250632E-5,(19789_6#171:1.167631680676351E-5,(19789_6#108:1.0000005001842283E-6,(19789_6#110:1.000000499740139E-6,19789_6#107:1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.1676259162207714E-5):1.000000499740139E-6,(19952_1#137:1.0000005001842283E-6,(19789_6#28:1.0000005001842283E-6,((19952_1#18:1.1664322584259423E-5,19789_6#30:1.1664319696791381E-5):1.000000499740139E-6,((19789_6#115:1.0000005001842283E-6,(19789_6#113:1.000000499740139E-6,19789_6#114:1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6,(19789_5#41:1.0000005001842283E-6,(19789_6#40:1.000000499740139E-6,19789_6#44:1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):8.16585043108553E-5):1.0000005001842283E-6):1.1656933165848926E-5):2.4369021082781828E-4):0.0035462245626938227,(((19952_3#159:1.05607836915933E-4,(19952_3#59:2.3460226089788705E-5,19952_3#74:1.0000005001842283E-6):1.1756389097250519E-4):0.006949878915055052,((19952_4#41:1.0000005001842283E-6,19952_1#108:5.841612051016298E-5):0.005560588583215509,(((19952_2#98:1.000000499740139E-6,19952_2#141:1.1685026670260612E-5):1.9471795197256725E-4,(19952_2#119:1.0000005001842283E-6,(19952_2#17:1.0000005001842283E-6,(19952_2#16:1.000000499740139E-6,(19952_1#80:1.0000005001842283E-6,19952_3#2:1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):0.004659758764244959):0.006037676519973889,((19647_7#10:0.007205686784529153,((19789_7#56:1.000000499740139E-6,(19789_7#152:1.0000005001842283E-6,19789_7#57:1.0000005001842283E-6):1.000000499740139E-6):1.1665321935083739E-5,((19789_7#144:1.0000005001842283E-6,(19789_7#151:1.000000499740139E-6,19952_4#124:1.000000499740139E-6):1.0000005001842283E-6):1.1666862617332185E-5,(19789_7#150:1.0000005001842283E-6,(19789_7#64:1.000000499740139E-6,(19789_7#143:1.1667865921438647E-5,((19789_7#179:4.667266279057003E-5,19789_7#58:2.3335637354016114E-5):1.0000005001842283E-6,((19789_7#142:1.0000005001842283E-6,19789_7#140:1.1667689112204727E-5):1.000000499740139E-6,(19789_7#141:1.0000005001842283E-6,(19647_8#14:1.0000005001842283E-6,(19789_7#139:1.000000499740139E-6,19789_7#138:1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):0.0032593183747322563):0.0027640337877290477,(19952_3#99:2.3322988935703393E-5,(19952_3#79:1.1663648899151724E-5,((19952_4#134:2.3327709280263065E-5,19952_2#175:7.004200212801237E-5):1.0000005001842283E-6,((19952_2#176:1.0000005001842283E-6,19952_2#177:1.0000005001842283E-6):1.000000499740139E-6,(19647_8#121:1.0000005001842283E-6,(19952_3#78:1.0000005001842283E-6,(19647_8#39:1.000000499740139E-6,(19789_5#100:1.0000005001842283E-6,(19952_2#57:1.0000005001842283E-6,((19952_3#77:1.0000005001842283E-6,(19952_3#112:1.0000005001842283E-6,19952_3#75:1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6,(19952_4#47:1.0000005001842283E-6,(19952_3#76:1.0000005001842283E-6,(19952_2#179:1.000000499740139E-6,(19952_4#130:1.0000005001842283E-6,19952_2#178:1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):9.099022851826177E-4):0.006730962856499101):0.0030658158368774835):0.0033175784624779325):0.007387586277500802,(((19952_4#40:1.0000005001842283E-6,(19952_4#39:1.0000005001842283E-6,19952_3#132:1.0000005001842283E-6):1.0000005001842283E-6):1.165615013576371E-5,(19647_8#4:1.0000005001842283E-6,(19952_1#163:1.1657328690795055E-5,(19952_1#175:1.0000005001842283E-6,(19952_1#9:1.0000005001842283E-6,(19647_7#148:1.000000499740139E-6,(19952_1#179:1.0000005001842283E-6,(19952_1#180:1.0000005001842283E-6,19952_1#181:1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):0.0024767846215536515,(((19952_1#176:5.5148561212359226E-5,(19647_7#119:1.1663156401553465E-5,(19647_7#117:1.0000005001842283E-6,(19647_7#116:1.0000005001842283E-6,(19647_7#120:1.000000499740139E-6,19647_7#118:1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):3.816513980359204E-5):0.002334895243783386,(19952_3#36:1.1688593767100741E-5,((19952_1#107:1.0000005001842283E-6,19952_1#104:1.0000005001842283E-6):1.000000499740139E-6,((19952_1#105:1.0000005001842283E-6,19952_2#122:1.0000005001842283E-6):1.0000005001842283E-6,(19952_1#75:1.1679683712184641E-5,(19952_1#73:1.0000005001842283E-6,(19952_1#74:1.0000005001842283E-6,(19952_1#77:1.000000499740139E-6,(19952_1#76:1.0000005001842283E-6,19789_5#111:1.169082067731253E-5):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.1679504384076722E-5):1.000000499740139E-6):1.0000005001842283E-6):0.0026050191284294755):0.0038424387207718347,(((19789_5#70:1.000000499740139E-6,19789_5#71:1.000000499740139E-6):1.0000005001842283E-6,(19789_5#166:1.000000499740139E-6,19789_5#74:1.000000499740139E-6):1.0000005001842283E-6):0.005064542585234033,(((19789_7#168:1.0000005001842283E-6,(19789_5#30:1.0000005001842283E-6,19789_7#79:1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6,(19952_4#108:3.504249481611765E-5,(19647_8#18:1.0000005001842283E-6,19789_7#78:1.0000005001842283E-6):1.000000499740139E-6):5.84092657565094E-5):7.137278144782044E-4,(((19647_6#120:1.1660674907876256E-5,(19952_1#56:1.0000005001842283E-6,19789_8#33:1.1661492709258425E-5):1.000000499740139E-6):1.0000005001842283E-6,(19647_6#124:4.665025922712118E-5,(19647_6#130:1.0000005001842283E-6,(19647_7#29:1.0000005001842283E-6,(19647_6#122:1.000000499740139E-6,(19647_6#123:1.0000005001842283E-6,19647_6#121:1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):6.99731991931074E-5):2.6835060143337586E-4,(19952_4#112:1.1663074057199907E-5,(19952_1#183:1.1660627137199953E-5,(19789_7#146:1.1662953188107394E-5,(19952_1#49:1.166053161583136E-5,(19789_5#68:1.0000005001842283E-6,(19789_5#76:1.0000005001842283E-6,((19789_5#77:1.0000005001842283E-6,(19952_1#64:1.0000005001842283E-6,19789_5#78:1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6,(19789_5#75:1.0000005001842283E-6,(19789_5#79:1.1660523748346918E-5,(19952_3#86:1.0000005001842283E-6,19789_5#127:1.0000005001842283E-6):6.996891433841412E-5):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):5.830583487931307E-5):1.0000005001842283E-6):2.3273140009383297E-5):0.0013676344082012015):6.613894891063232E-4):0.0022913357729326123):0.009457466106235657):0.0020749792815353274):0.006650013146138889):0.0018517838057929836,((((19647_6#14:1.000000499740139E-6,19647_6#15:1.000000499740139E-6):1.0000005001842283E-6,(19647_6#13:1.000000499740139E-6,((19789_8#27:1.0000005001842283E-6,19789_8#10:1.0000005001842283E-6):1.0000005001842283E-6,(19647_6#12:1.0000005001842283E-6,19952_3#140:1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):0.0040561726827390565,(((19789_6#36:1.0000005001842283E-6,(19952_1#22:1.0000005001842283E-6,(19789_6#55:1.000000499740139E-6,19789_6#37:1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6,(19647_8#23:1.0000005001842283E-6,(19789_6#120:1.0000005001842283E-6,(19789_6#56:1.000000499740139E-6,(19789_6#109:1.0000005001842283E-6,(19789_6#43:1.0000005001842283E-6,19789_6#116:1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):0.0012101460001816555,(19647_6#74:0.003325658757509675,(((19789_7#76:1.000000499740139E-6,(19647_6#38:1.0000005001842283E-6,(19647_6#139:1.0000005001842283E-6,19647_6#129:1.0000005001842283E-6):1.1664999447713598E-5):1.000000499740139E-6):1.0000005001842283E-6,(((19647_6#119:1.000000499740139E-6,19789_8#20:1.000000499740139E-6):1.0000005001842283E-6,(19647_6#68:1.000000499740139E-6,19952_3#31:1.000000499740139E-6):1.0000005001842283E-6):1.000000499740139E-6,((19789_5#86:1.000000499740139E-6,(19789_7#71:1.0000005001842283E-6,(19952_3#33:1.0000005001842283E-6,19952_1#112:1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6,(19647_6#64:1.000000499740139E-6,((19647_6#31:1.0000005001842283E-6,19952_2#112:1.0000005001842283E-6):1.0000005001842283E-6,((19952_3#30:1.000000499740139E-6,19647_6#140:1.000000499740139E-6):1.0000005001842283E-6,(19952_3#29:1.000000499740139E-6,19952_4#57:1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6,((19952_3#15:1.1665942632799187E-5,((19952_3#16:1.0000005001842283E-6,19952_1#160:1.166588756307263E-5):1.0000005001842283E-6,(19789_5#124:1.0000005001842283E-6,(19952_3#14:1.000000499740139E-6,19952_3#139:1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.1670857809953361E-5,((19789_7#113:7.003388643056496E-5,(19789_7#134:1.0000005001842283E-6,(19789_7#167:1.000000499740139E-6,19789_7#116:1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.6339462637082747E-4,((19952_4#20:1.7524792306433667E-4,(19647_6#50:2.333248453911807E-5,(19789_8#21:1.000000499740139E-6,((19647_6#83:1.0000005001842283E-6,19647_6#49:1.0000005001842283E-6):1.0000005001842283E-6,(19789_8#23:1.0000005001842283E-6,19647_6#84:1.166349446668491E-5):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.1662270143375508E-5):1.0000005001842283E-6,(19647_8#119:1.000000499740139E-6,(((19647_7#49:1.000000499740139E-6,19647_8#109:1.000000499740139E-6):1.0000005001842283E-6,(19647_7#50:1.1663564959185635E-5,(19647_7#31:1.0000005001842283E-6,(19789_8#22:1.0000005001842283E-6,19647_6#103:1.0000005001842283E-6):1.0000005001842283E-6):1.166356815396341E-5):1.0000005001842283E-6):1.0000005001842283E-6,((19647_7#53:1.166285406473122E-5,(19647_8#104:1.0000005001842283E-6,(19647_7#51:1.0000005001842283E-6,19647_6#131:1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6,((19647_7#52:1.0000005001842283E-6,19789_5#59:1.0000005001842283E-6):1.000000499740139E-6,(19647_7#54:1.0000005001842283E-6,(19789_7#105:1.0000005001842283E-6,19789_6#175:1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.166646041372843E-5):3.1502093784308016E-4):1.1651392340716882E-5):0.0036668826681078848):0.003891372365915302):0.013478653047370504):0.004422678690448212,((19952_2#109:6.476463482925077E-4,((19952_2#59:4.712830973323534E-4,((19952_3#58:1.1670284039144718E-5,(19952_3#57:1.0000005001842283E-6,(19952_3#69:1.0000005001842283E-6,(19952_3#56:1.000000499740139E-6,19952_3#55:1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):4.668764054915897E-5,((19647_6#78:1.1684027584557555E-5,19647_6#70:1.1683885898339241E-5):1.1683838562870363E-5,(19789_5#16:1.000000499740139E-6,(19789_8#6:1.0000005001842283E-6,(19952_3#171:1.0000005001842283E-6,(19952_3#170:1.000000499740139E-6,19952_3#169:1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):8.180321187634121E-5):3.13555114144215E-5):2.976079015328814E-4,((19789_5#31:1.167987318506647E-5,(19789_5#24:2.3483406816904306E-5,(19789_5#56:1.0000005001842283E-6,19789_7#157:1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):0.01662142488481999,((19647_7#18:1.1670662177554192E-5,(19952_2#104:1.0000005001842283E-6,(19952_2#105:1.0000005001842283E-6,(19952_2#106:1.000000499740139E-6,(19952_2#108:1.0000005001842283E-6,19952_2#107:1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):0.0031287866438485246,((19952_2#68:4.916282492071211E-4,((19647_8#67:1.0000005001842283E-6,(19647_8#70:1.000000499740139E-6,(19647_7#2:1.0000005001842283E-6,(19647_8#69:1.0000005001842283E-6,19647_8#68:1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):5.835700612699668E-5,(19952_2#89:1.0000005001842283E-6,(19952_2#90:1.0000005001842283E-6,((19789_5#103:1.0000005001842283E-6,(19789_5#102:1.0000005001842283E-6,19952_2#95:1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6,(19952_2#87:1.0000005001842283E-6,(19952_2#88:1.0000005001842283E-6,19952_2#86:1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.6356483687429701E-4):1.1541927162905807E-5,(((19647_8#71:1.1670372124239492E-5,((19647_7#3:1.0000005001842283E-6,19647_8#72:1.0000005001842283E-6):1.0000005001842283E-6,(19952_4#76:1.0000005001842283E-6,(19952_4#74:1.000000499740139E-6,(19647_6#55:1.0000005001842283E-6,(19647_6#57:1.0000005001842283E-6,19952_4#75:1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):2.334112358903795E-5,((19647_7#131:1.000000499740139E-6,(19647_7#130:1.0000005001842283E-6,19789_8#34:1.0000005001842283E-6):1.000000499740139E-6):1.516569143782398E-4,(19647_8#42:1.4027269900385164E-4,(19647_7#26:7.010455356670775E-5,((19647_6#53:1.193046881953208E-5,19647_6#39:1.0000005001842283E-6):1.000000499740139E-6,(19647_7#4:1.166894077186953E-5,(19789_6#172:1.0000005001842283E-6,(19647_7#22:2.333873537585518E-5,19647_6#33:1.1669233374700383E-5):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0481320563826557E-4):4.668167761900932E-5):1.0000005001842283E-6):1.0000005001842283E-6,(19789_5#144:1.0519631344552138E-4,((19952_2#74:1.0000005001842283E-6,(19952_2#72:1.0000005001842283E-6,(19952_2#71:1.000000499740139E-6,(19952_2#70:1.0000005001842283E-6,19952_2#73:1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.1683977306997662E-5,(((19952_4#100:1.000000499740139E-6,19789_7#176:1.000000499740139E-6):1.0000005001842283E-6,(19789_5#174:1.000000499740139E-6,(19647_7#138:1.170027690866604E-5,19647_7#137:1.1692754949610418E-5):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6,((19647_8#125:1.000000499740139E-6,19789_7#174:1.000000499740139E-6):1.0000005001842283E-6,((19647_7#105:1.0000005001842283E-6,(19952_1#147:1.1687406419103041E-5,(19789_5#94:1.1684638120623703E-5,(19789_7#177:1.0000005001842283E-6,19789_5#179:1.0000005001842283E-6):1.000000499740139E-6):1.1684566560532517E-5):1.0000005001842283E-6):1.000000499740139E-6,(19952_4#28:1.0000005001842283E-6,(19952_1#125:1.000000499740139E-6,(19952_4#25:1.0000005001842283E-6,((19952_4#26:1.000000499740139E-6,19952_4#126:1.000000499740139E-6):1.0000005001842283E-6,((19647_7#109:1.0000005001842283E-6,(19647_7#107:1.0000005001842283E-6,(19647_8#28:1.000000499740139E-6,(19789_5#177:1.0000005001842283E-6,19789_5#147:1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6,(19789_5#95:1.1684876629391994E-5,(19789_5#173:1.0000005001842283E-6,((19789_5#96:1.0000005001842283E-6,19647_7#108:1.0000005001842283E-6):1.000000499740139E-6,((19789_5#171:1.0000005001842283E-6,(19647_7#106:1.000000499740139E-6,19952_3#26:1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6,(19789_5#133:1.0000005001842283E-6,(19789_7#173:1.000000499740139E-6,(19789_7#59:1.0000005001842283E-6,19789_7#153:1.1687597632814573E-5):2.3369975020504086E-5):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.4025021124863812E-4):2.918227518584615E-4):1.1143943757119246E-5):1.583362779111752E-5):0.0012614150421534909):9.235746816349533E-5):0.0031423832879706737,((19789_5#20:1.1668778400864E-5,(19789_7#135:1.0000005001842283E-6,(19789_5#18:1.0000005001842283E-6,((19789_7#163:1.0000005001842283E-6,19789_5#13:1.0000005001842283E-6):1.000000499740139E-6,(19789_7#164:1.0000005001842283E-6,(19789_7#165:1.0000005001842283E-6,((19789_7#132:1.0000005001842283E-6,19789_7#133:1.0000005001842283E-6):1.000000499740139E-6,(19789_7#118:1.0000005001842283E-6,19789_5#17:1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):0.001577612431880926,((19647_8#132:9.950923992549932E-4,(((19952_2#34:1.1691381542444645E-5,(19952_2#36:1.0000005001842283E-6,19952_2#33:1.0000005001842283E-6):1.000000499740139E-6):2.3383077003558128E-5,(19952_3#68:1.16908189911058E-5,((19952_2#35:1.000000499740139E-6,19952_3#100:1.000000499740139E-6):1.0000005001842283E-6,(19952_3#24:1.000000499740139E-6,(19952_3#51:1.1690842469214147E-5,19952_2#110:1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):4.676434524775175E-5):1.2027361071975662E-5,(19647_8#120:2.3381644076447827E-5,((19647_6#1:1.000000499740139E-6,((19789_6#159:1.0000005001842283E-6,19952_2#96:1.1690774016415162E-5):1.0000005001842283E-6,(19952_2#100:1.0000005001842283E-6,19647_6#2:1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6,((19952_2#134:1.0000005001842283E-6,(19647_6#126:3.5115174572997176E-5,(19789_6#154:1.0000005001842283E-6,(19789_6#155:1.0000005001842283E-6,19789_6#169:1.0000005001842283E-6):1.0000005001842283E-6):4.676365738154331E-5):1.0000005001842283E-6):1.000000499740139E-6,((19952_4#82:1.1690749313508775E-5,(19647_6#24:1.0000005001842283E-6,(19952_4#85:1.000000499740139E-6,19647_6#102:1.000000499740139E-6):1.1691013764636438E-5):1.000000499740139E-6):4.676414912507809E-5,((19647_6#91:1.0000005001842283E-6,19952_4#121:1.0000005001842283E-6):1.000000499740139E-6,((19647_6#60:1.0000005001842283E-6,19647_7#16:1.0000005001842283E-6):1.0000005001842283E-6,(19789_7#106:1.0000005001842283E-6,(19647_6#59:1.000000499740139E-6,19952_4#122:1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):2.338141335034294E-5):1.000000499740139E-6):1.0000005001842283E-6):1.000000499740139E-6):1.516930526959115E-4):1.5439420947194193E-4):0.01080798837202357,(((19647_7#73:0.008545295498290528,(19952_4#9:7.006047809321458E-5,(19952_3#1:1.0000005001842283E-6,(19647_8#46:1.000000499740139E-6,(19952_4#119:1.0000005001842283E-6,(19647_8#5:1.0000005001842283E-6,(19952_1#5:1.000000499740139E-6,(19789_5#106:1.0000005001842283E-6,(19952_1#3:1.0000005001842283E-6,(19952_2#61:1.000000499740139E-6,(19952_2#60:1.0000005001842283E-6,(19789_5#107:1.2083392724626663E-5,(19789_7#9:1.0000005001842283E-6,((19952_1#33:1.0000005001842283E-6,(19789_7#10:1.0000005001842283E-6,19647_8#115:1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6,((19647_8#112:1.0000005001842283E-6,19789_7#7:1.0000005001842283E-6):1.0000005001842283E-6,(19952_1#4:1.0000005001842283E-6,(19647_8#113:1.000000499740139E-6,(19647_8#111:1.0000005001842283E-6,19789_7#8:1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.1664233604324892E-5):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.7124638618204457E-4):1.2369765927289222E-4,((19789_5#146:0.005757574168817836,((19789_8#43:1.000000499740139E-6,19647_7#66:1.000000499740139E-6):0.0019457910000819645,(19647_7#68:1.1738748677103672E-5,(19647_7#70:1.000000499740139E-6,(19647_7#69:1.1770718027825922E-5,(19647_7#67:1.0000005001842283E-6,19647_7#71:1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.7759690374408166E-4):0.007455539008169865):0.00569358911013973,((19789_7#90:1.0000005001842283E-6,(19789_5#33:1.0000005001842283E-6,19789_8#45:1.0000005001842283E-6):1.0000005001842283E-6):5.71426960936261E-4,((19647_8#58:1.000000499740139E-6,(19952_3#127:1.0000005001842283E-6,(19952_3#113:1.0000005001842283E-6,(19952_3#116:1.000000499740139E-6,(19952_3#117:1.0000005001842283E-6,19952_3#115:1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.1681548570230404E-5,(19647_6#149:1.0000005001842283E-6,(19952_3#120:1.000000499740139E-6,(19789_6#136:1.0000005001842283E-6,(19952_3#131:1.0000005001842283E-6,(19647_8#57:1.000000499740139E-6,(19952_3#108:1.0000005001842283E-6,(19952_4#54:1.0000005001842283E-6,(19952_4#136:1.000000499740139E-6,(19952_3#70:1.0000005001842283E-6,(19789_5#137:1.0000005001842283E-6,(19952_3#118:1.1681932858831345E-5,(19952_3#62:1.0000005001842283E-6,(19789_5#132:1.0000005001842283E-6,(19952_4#31:1.000000499740139E-6,(19952_4#13:1.0000005001842283E-6,(19789_5#82:1.168193018630248E-5,(19789_6#137:1.000000499740139E-6,(19647_6#141:3.5046272443661763E-5,(19952_4#53:1.0000005001842283E-6,(19952_3#168:1.000000499740139E-6,(19952_4#42:1.0000005001842283E-6,(19952_4#22:1.0000005001842283E-6,(19789_5#138:1.000000499740139E-6,(19952_4#116:1.0000005001842283E-6,(19647_6#4:1.000000499740139E-6,(19789_5#134:1.0000005001842283E-6,(19789_5#130:1.0000005001842283E-6,(19647_8#64:1.000000499740139E-6,(19952_4#49:1.0000005001842283E-6,(19952_3#71:1.0000005001842283E-6,(19952_4#48:1.000000499740139E-6,(19647_6#144:1.0000005001842283E-6,(19952_3#61:1.0000005001842283E-6,(19789_8#29:1.000000499740139E-6,(19789_8#7:1.0000005001842283E-6,19952_3#72:1.0000005001842283E-6):1.000000499740139E-6):1.0458678128033583E-4):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):5.160545630156221E-4):8.812349904405714E-4):0.004569828676495469):0.017976845953152853,(19952_1#13:0.002699801324146822,((19789_8#16:1.000000499740139E-6,(19647_6#41:1.0000005001842283E-6,((19789_8#28:1.000000499740139E-6,19647_6#44:1.000000499740139E-6):1.0000005001842283E-6,(19647_6#42:1.000000499740139E-6,19647_6#43:1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):0.01741369311082197,(((19647_7#65:1.0000005001842283E-6,(19647_8#12:1.000000499740139E-6,19647_8#98:1.000000499740139E-6):1.0000005001842283E-6):0.007046787400679211,((19647_7#126:2.3340845442643143E-5,19952_2#101:1.1667546201632462E-5):2.24795554092605E-4,(((19789_5#14:1.0000005001842283E-6,(19789_5#43:3.5066342780609716E-5,(19789_7#129:1.0000005001842283E-6,(19789_5#15:1.000000499740139E-6,19789_7#130:1.000000499740139E-6):1.0000005001842283E-6):1.1668185465385505E-5):1.0000005001842283E-6):1.000000499740139E-6,((19789_7#55:1.2838999039122E-4,((19789_7#88:1.000000499740139E-6,19789_7#63:1.000000499740139E-6):1.0000005001842283E-6,(19789_5#22:1.166813995512328E-5,(19789_7#53:1.0000005001842283E-6,19789_7#52:1.0000005001842283E-6):1.0000005001842283E-6):1.1668195305514217E-5):1.000000499740139E-6):1.1666872612448032E-5,(19952_2#44:1.000000499740139E-6,(19952_2#46:2.33366373687538E-5,(19952_2#45:1.0000005001842283E-6,(19952_2#43:1.000000499740139E-6,(19952_3#18:1.1669312317774683E-5,(19952_2#91:4.68105043274214E-5,(19952_2#92:2.3353259898772905E-5,(19647_7#93:1.1676101253854654E-5,(19647_7#92:1.000000499740139E-6,(19647_7#95:1.1676450378139691E-5,(19647_7#91:1.0000005001842283E-6,(19647_6#112:1.000000499740139E-6,((19647_7#90:1.0000005001842283E-6,19647_7#94:1.0000005001842283E-6):1.0000005001842283E-6,(19647_7#87:1.0000005001842283E-6,19647_7#89:1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):8.174190453713592E-5):1.0000005001842283E-6):6.326679855246375E-4):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):4.677185439261322E-5):6.924445469902452E-4,(((19789_5#112:1.1678919209945349E-5,(19952_4#107:1.1696846295983221E-5,((19789_5#175:1.0000005001842283E-6,19952_2#116:1.0000005001842283E-6):1.0000005001842283E-6,(19952_2#115:1.0000005001842283E-6,19789_5#176:1.1696963027052476E-5):1.0000005001842283E-6):1.000000499740139E-6):1.1698277797123069E-4):5.799463645583813E-5,((19952_2#22:1.000000499740139E-6,19952_2#138:1.000000499740139E-6):1.0000005001842283E-6,((19647_7#83:1.0000005001842283E-6,19647_8#81:1.169775089771008E-5):1.000000499740139E-6,(19647_7#80:1.0000005001842283E-6,(19647_7#81:1.0000005001842283E-6,19647_7#82:1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):8.215688575452518E-5):0.01443902876018166,((19789_7#65:1.0000005001842283E-6,19789_7#60:1.0000005001842283E-6):2.786242416021878E-4,(((19952_2#82:1.1691490505949531E-5,(19952_2#83:1.0000005001842283E-6,(19952_2#85:1.000000499740139E-6,(19952_2#81:1.0000005001842283E-6,19952_2#84:1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):4.676777552381495E-5,(19789_8#41:1.0000005001842283E-6,((19647_8#88:1.000000499740139E-6,(19789_8#40:1.1685379693648912E-4,19647_8#96:1.1682615562946808E-5):1.000000499740139E-6):1.0000005001842283E-6,(19647_8#90:1.000000499740139E-6,(19789_8#42:1.0000005001842283E-6,(19647_7#60:1.0000005001842283E-6,(19647_7#62:1.000000499740139E-6,19647_7#61:1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.1681568205634818E-5):1.168192218914399E-5,(((19789_5#50:1.2851260114876695E-4,19789_7#148:1.0000005001842283E-6):1.1684482172080735E-4,(19789_5#21:1.000000499740139E-6,(19952_2#76:1.0000005001842283E-6,(19952_2#78:1.0000005001842283E-6,(19952_2#79:1.000000499740139E-6,19952_2#77:1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):3.504184395763943E-5):1.0000005001842283E-6):0.0025540532529917392,(((19952_1#78:1.000000499740139E-6,((19952_1#95:1.168465346035319E-5,19952_1#98:1.0000005001842283E-6):1.0000005001842283E-6,(19952_1#97:1.0000005001842283E-6,19952_1#99:1.0000005001842283E-6):1.1684645717657816E-5):1.000000499740139E-6):1.0516674375837809E-4,(19952_2#143:1.000000499740139E-6,((19952_1#96:1.0000005001842283E-6,19952_2#135:1.0000005001842283E-6):1.0000005001842283E-6,((19952_1#79:1.000000499740139E-6,19647_8#30:1.1683761187875064E-5):1.0000005001842283E-6,(19789_5#29:1.000000499740139E-6,((19789_7#39:1.0000005001842283E-6,19789_7#38:1.0000005001842283E-6):1.0000005001842283E-6,(19789_7#37:1.0000005001842283E-6,19789_7#36:1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.1686920681563961E-4,(19952_1#53:1.0000005001842283E-6,((19952_2#53:1.1691103090072374E-5,(19952_2#55:1.0000005001842283E-6,(19952_2#54:1.0000005001842283E-6,(19789_7#40:1.000000499740139E-6,(19647_8#130:1.0000005001842283E-6,(19952_2#56:1.0000005001842283E-6,(19952_3#67:1.000000499740139E-6,19647_6#61:1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):7.428491315852881E-5,((19647_8#38:1.000000499740139E-6,19647_7#7:1.1690114149809361E-4):0.006373497341547463,(19952_2#10:1.0000005001842283E-6,(19789_5#52:5.384173032121353E-4,((19952_3#45:1.0000005001842283E-6,(19952_2#12:1.000000499740139E-6,19789_7#61:1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6,(19952_2#146:1.0000005001842283E-6,(19952_2#15:1.000000499740139E-6,(19952_2#102:1.0000005001842283E-6,(19952_2#11:1.0000005001842283E-6,19952_2#13:1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):7.232247040027673E-4):0.00823465816414215):0.008622811683574039):0.005039102348967095):5.697506751629611E-4):1.000000499740139E-6):7.722076073588546E-4):1.0000005001842283E-6):2.8282083040753747E-4):0.004734568657217331):8.33746234023991E-4):0.0028950438770123377):0.00744002487444595):0.004990518695967339,((19952_1#11:1.0000005001842283E-6,((19789_7#11:1.0000005001842283E-6,19952_2#126:1.0000005001842283E-6):1.000000499740139E-6,(19952_2#58:1.0000005001842283E-6,((19789_8#44:1.000000499740139E-6,(19952_1#8:1.0000005001842283E-6,((19789_5#42:1.0000005001842283E-6,19789_6#119:1.0000005001842283E-6):1.000000499740139E-6,(19789_6#118:1.0000005001842283E-6,19789_8#1:1.0000005001842283E-6):1.000000499740139E-6):1.166381300876651E-5):1.000000499740139E-6):1.0000005001842283E-6,((19789_8#48:2.332836191909493E-5,19952_2#52:2.332810941574337E-5):4.66609541658336E-5,((19952_4#103:1.1665579245700997E-5,((19647_6#105:1.0000005001842283E-6,(19647_8#84:1.0000005001842283E-6,(19647_7#97:1.000000499740139E-6,19647_7#104:1.1665796589177546E-5):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6,(19952_1#167:1.0000005001842283E-6,(19647_7#98:1.0000005001842283E-6,(19647_7#103:1.1665785670356144E-5,19647_7#96:5.8344960928380374E-5):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):2.3337784610033552E-4,(19647_8#101:1.166385549300486E-5,((19647_8#2:1.000000499740139E-6,19647_7#102:1.000000499740139E-6):1.0000005001842283E-6,((19647_7#149:1.0000005001842283E-6,19952_4#6:1.0000005001842283E-6):1.000000499740139E-6,(19647_7#100:1.0000005001842283E-6,(19647_7#140:1.0000005001842283E-6,(((19647_7#125:1.9834697088683129E-4,19647_7#99:2.3327543053230926E-5):1.0000005001842283E-6,(19647_7#151:1.0000005001842283E-6,(19952_1#170:1.000000499740139E-6,19647_7#101:1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6,(19647_7#150:1.0000005001842283E-6,(19647_8#99:1.0000005001842283E-6,(19952_1#182:1.000000499740139E-6,(19647_8#102:1.0000005001842283E-6,(19647_8#1:1.0000005001842283E-6,19647_7#46:1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.000000499740139E-6):1.1664493184682101E-5):1.1662978780968558E-5):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):6.999258421025445E-5,(((19647_8#148:1.000000499740139E-6,(19647_8#149:1.0000005001842283E-6,(19647_8#6:1.0000005001842283E-6,19952_1#174:1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.1668335048398149E-5,(19647_8#82:1.000000499740139E-6,(19952_4#3:1.0000005001842283E-6,(19647_7#47:1.0000005001842283E-6,((19647_7#144:1.0000005001842283E-6,(19952_1#10:1.0000005001842283E-6,19647_8#7:1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6,((19952_1#1:1.000000499740139E-6,(19647_7#143:1.0000005001842283E-6,19952_4#117:1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6,((19952_1#184:1.0000005001842283E-6,19647_8#147:1.0000005001842283E-6):1.000000499740139E-6,(19952_4#4:1.0000005001842283E-6,(19647_7#84:1.0000005001842283E-6,((19647_7#142:1.0000005001842283E-6,19647_7#145:1.0000005001842283E-6):1.000000499740139E-6,(19952_1#185:1.0000005001842283E-6,(19952_1#186:1.0000005001842283E-6,(19647_7#141:1.000000499740139E-6,(19647_7#37:1.0000005001842283E-6,((19647_8#83:1.1669090157706563E-5,(19647_8#146:1.1669287856008737E-5,19647_8#97:2.333852306835027E-5):1.1669181408269225E-5):1.0000005001842283E-6,((19952_4#2:1.0000005001842283E-6,19952_4#131:1.0000005001842283E-6):1.000000499740139E-6,(19647_7#86:1.0000005001842283E-6,(19952_4#5:1.000000499740139E-6,19647_7#85:1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):4.085978838972437E-4,((19952_4#52:1.0000005001842283E-6,(19789_5#120:1.000000499740139E-6,(((19789_8#4:1.000000499740139E-6,(19789_5#119:1.166880362424294E-5,19952_4#129:1.1668875010695245E-5):1.000000499740139E-6):1.0000005001842283E-6,((19789_5#115:1.0000005001842283E-6,19789_8#19:1.0000005001842283E-6):1.000000499740139E-6,(19647_6#100:1.0000005001842283E-6,(19952_4#132:1.0000005001842283E-6,(19952_4#59:1.000000499740139E-6,19789_5#126:1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6,((19789_6#145:1.0000005001842283E-6,(19952_4#79:1.000000499740139E-6,19952_4#56:1.000000499740139E-6):1.0000005001842283E-6):2.3337616234186953E-5,((19952_4#15:1.0000005001842283E-6,((19647_8#56:1.0000005001842283E-6,(19952_3#85:1.000000499740139E-6,19952_1#159:1.000000499740139E-6):1.0000005001842283E-6):1.1668698348898943E-5,(19647_6#36:1.0000005001842283E-6,(19789_8#15:1.000000499740139E-6,(19647_6#37:1.0000005001842283E-6,(19647_6#11:1.0000005001842283E-6,19952_3#167:1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.1668752140536753E-5):1.0000005001842283E-6):1.000000499740139E-6,(19647_8#138:1.0000005001842283E-6,(19789_5#83:1.0000005001842283E-6,(19647_6#46:1.000000499740139E-6,((19647_8#136:1.0000005001842283E-6,19952_3#47:1.0000005001842283E-6):1.0000005001842283E-6,((19952_4#34:1.1668696517475041E-5,(19647_6#45:1.000000499740139E-6,19789_8#17:1.000000499740139E-6):1.1668745233617273E-5):1.0000005001842283E-6,((19952_3#46:1.0000005001842283E-6,19647_8#137:1.0000005001842283E-6):1.000000499740139E-6,(19952_4#60:1.0000005001842283E-6,(19952_4#23:1.166876281555318E-5,19789_8#18:1.000000499740139E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):3.5003542097733487E-5,(19789_8#3:1.0000005001842283E-6,(19952_3#5:1.000000499740139E-6,((19647_8#86:1.0000005001842283E-6,19647_8#100:1.0000005001842283E-6):2.3335953503789142E-5,(((19647_8#139:1.0000005001842283E-6,(19952_4#33:1.166860150103588E-5,(19789_5#72:1.000000499740139E-6,((19952_1#65:1.0000005001842283E-6,19789_5#129:1.0000005001842283E-6):1.0000005001842283E-6,(19647_6#142:1.0000005001842283E-6,(19952_1#66:1.000000499740139E-6,(19789_5#67:1.0000005001842283E-6,(19952_4#16:1.0000005001842283E-6,19952_2#1:1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6,(((19789_7#183:1.000000499740139E-6,19952_3#81:1.000000499740139E-6):1.0000005001842283E-6,(((19952_1#68:1.0000005001842283E-6,19789_5#92:1.0000005001842283E-6):1.0000005001842283E-6,(19952_1#113:1.0000005001842283E-6,(19952_4#18:1.000000499740139E-6,(19952_4#17:1.0000005001842283E-6,(19952_2#144:1.0000005001842283E-6,19789_5#69:1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6,((19789_5#136:1.0000005001842283E-6,19647_6#66:1.0000005001842283E-6):1.0000005001842283E-6,(19952_4#45:1.0000005001842283E-6,((19952_1#16:1.0000005001842283E-6,19952_3#80:1.0000005001842283E-6):1.000000499740139E-6,((19952_3#83:1.0000005001842283E-6,(19952_1#67:1.000000499740139E-6,(19789_5#73:1.1668796509933799E-5,19647_6#65:1.1668888330262916E-5):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6,(19952_3#50:1.0000005001842283E-6,(19952_3#39:1.000000499740139E-6,(19789_5#84:1.166842188116135E-5,(19952_3#40:1.0000005001842283E-6,(19952_3#41:1.000000499740139E-6,19952_3#84:1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6,((19952_1#128:1.0000005001842283E-6,(19789_5#159:1.0000005001842283E-6,(19952_2#129:1.000000499740139E-6,(19952_1#126:1.0000005001842283E-6,19952_1#129:5.8373111605725114E-5):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.1668431213696095E-5,(19952_3#136:3.3855862834331063E-4,((19952_3#174:1.0000005001842283E-6,(19789_5#12:1.0000005001842283E-6,(19789_6#157:1.166854036904752E-5,(19952_3#106:1.0000005001842283E-6,19789_6#158:1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6,(19789_6#156:1.0000005001842283E-6,((19789_6#125:1.1668866253700116E-5,19952_3#172:1.1668869737135878E-5):1.0000005001842283E-6,((19952_3#130:1.0000005001842283E-6,(19789_6#133:1.000000499740139E-6,(19952_4#133:1.0000005001842283E-6,(19952_3#133:1.0000005001842283E-6,19789_6#123:1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.000000499740139E-6,(19952_3#134:1.0000005001842283E-6,(19789_6#121:1.000000499740139E-6,(19789_6#135:1.0000005001842283E-6,(19789_6#134:1.0000005001842283E-6,(19952_3#137:1.000000499740139E-6,(19952_3#82:1.0000005001842283E-6,((19647_6#5:1.000000499740139E-6,19952_3#135:1.000000499740139E-6):1.0000005001842283E-6,(19789_6#124:1.000000499740139E-6,(19789_6#122:1.0000005001842283E-6,19952_3#173:1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.1668233939499117E-5):1.0000005001842283E-6):1.000000499740139E-6):1.1668436814105121E-5,(19952_3#9:1.000000499740139E-6,(19952_3#6:1.0000005001842283E-6,(19952_2#173:1.0000005001842283E-6,((19647_8#145:1.1668713702395195E-5,((19952_1#177:1.0000005001842283E-6,(19952_2#137:1.1671367137200406E-5,(19952_2#136:1.0000005001842283E-6,19647_8#32:1.0000005001842283E-6):1.0000005001842283E-6):2.3342983567431475E-5):1.0000005001842283E-6,(19952_3#129:1.0000005001842283E-6,((19952_3#141:1.0000005001842283E-6,(19952_3#142:1.0000005001842283E-6,19952_3#143:1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6,((19952_3#144:1.0000005001842283E-6,19647_8#62:1.0000005001842283E-6):1.0000005001842283E-6,((19952_1#166:1.0000005001842283E-6,19647_8#116:1.0000005001842283E-6):1.000000499740139E-6,(19952_1#178:1.0000005001842283E-6,19647_7#127:1.0000005001842283E-6):1.000000499740139E-6):1.1684577879478297E-5):1.000000499740139E-6):1.0000005001842283E-6):7.011746141172281E-5):1.000000499740139E-6):1.1668433472333817E-5,((19952_2#114:1.1668826202626548E-5,(19647_7#146:1.000000499740139E-6,(19647_7#147:1.0000005001842283E-6,19789_8#37:1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):2.3337677078849595E-5,((19789_6#99:1.166881997960445E-5,(19647_8#95:1.1676574953600749E-5,19952_2#132:1.1668756951355164E-5):1.0000005001842283E-6):1.1668712284418348E-5,(19952_1#35:1.1668712673884585E-5,(19789_8#46:1.0000005001842283E-6,(19952_2#171:1.0000005001842283E-6,(19952_3#7:1.000000499740139E-6,(19952_1#37:1.0000005001842283E-6,(19952_1#36:1.0000005001842283E-6,(19952_2#172:1.1668829877908848E-5,(19952_2#174:1.0000005001842283E-6,(19952_2#170:1.0000005001842283E-6,(19952_3#8:1.000000499740139E-6,((19647_7#38:1.000000499740139E-6,(19952_2#40:1.0000005001842283E-6,19647_7#39:1.0000005001842283E-6):1.000000499740139E-6):1.1668717163626496E-5,(19952_3#48:1.0000005001842283E-6,(19952_2#75:1.000000499740139E-6,(19952_2#167:1.0000005001842283E-6,(19952_2#41:1.000000499740139E-6,(19952_2#42:1.0000005001842283E-6,(19952_1#39:1.0000005001842283E-6,(19952_2#47:1.000000499740139E-6,(19952_1#38:1.0000005001842283E-6,(19952_2#180:1.0000005001842283E-6,(19647_8#140:1.000000499740139E-6,(19952_1#51:1.0000005001842283E-6,(19952_3#37:1.0000005001842283E-6,(19952_3#35:1.000000499740139E-6,(19952_3#34:1.0000005001842283E-6,(19952_2#168:1.0000005001842283E-6,(19952_3#38:1.000000499740139E-6,(19952_1#52:1.0000005001842283E-6,(19952_2#169:1.0000005001842283E-6,((19647_8#110:1.000000499740139E-6,(19647_8#103:1.0000005001842283E-6,19952_4#145:1.0000005001842283E-6):1.000000499740139E-6):1.1668719126944893E-5,(19647_7#35:1.9119124038580182E-4,(19952_4#1:6.764917326926856E-4,(19647_7#33:1.0000005001842283E-6,(19647_7#32:1.0000005001842283E-6,19789_8#39:1.0506129714737966E-4):1.0000005001842283E-6):2.2233542886773705E-5):1.000000499740139E-6):1.0000005001842283E-6):2.373539918920642E-5):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.0000005001842283E-6):1.000000499740139E-6):1.0000005001842283E-6):1.000000499740139E-6):2.3726927575573598E-5):7.474939883822529E-5):1.4670639786729112E-4):0.008875871770539945):0.00462449813917587):0.0013630808763531732):0.0038638211650701138):0.00478324018949472):0.01706317748291175):0.007533472460267809):0.003832544961956952):0.004597403398288957):0.0060874317566654845):0.006968526277479903):0.006114341116111532):0.0028137652824993253):0.004913993463556476):0.006064800119566449):0.021279997255605476):0.007733379291596787):0.013529511074078737):0.02763016946086516):0.10350336830515383):1.0191703573690545);