/test.data/simplx_compare/out_java/calcium2_java.xml

http://github.com/kappamodeler/jkappa · XML · 1096 lines · 1096 code · 0 blank · 0 comment · 0 complexity · c42cf251f80fbf9351a3107f297c8834 MD5 · raw file

  1. <SimplxSession xmlns="http://plectix.synthesisstudios.com/schemas/kappasession" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" CommandLine="--sim test.data/simplx_compare/source_ka/calcium2.ka --time 0.5" InputFile="test.data/simplx_compare/source_ka/calcium2.ka" TimeStamp="2009-01-15 17:03:27" xsi:schemaLocation="http://plectix.synthesisstudios.com SimplxSession.xsd">
  2. <InfluenceMap>
  3. <Node Data="CREB(s142~p,s133~p)" Id="28" Name="[CREB-P]" Text="[CREB-P]" Type="OBSERVABLE"></Node>
  4. <Node Data="CREB(s142~p,s133~u)" Id="27" Name="[CREB142]" Text="[CREB142]" Type="OBSERVABLE"></Node>
  5. <Node Data="CREB(s133~p,s142~u)" Id="26" Name="[CREB133]" Text="[CREB133]" Type="OBSERVABLE"></Node>
  6. <Node Data="CamKII(loc~N,cat~a),CREB(s142~u)->CamKII(loc~N,cat~a),CREB(s142~p)" Id="25" Name="CREB_CamKII_phos" Text="CREB_CamKII_phos" Type="RULE"></Node>
  7. <Node Data="CamKIV(loc~N,cat~a),CREB(s133~u)->CamKIV(loc~N,cat~a),CREB(s133~p)" Id="24" Name="CREB_CamKIV_phos" Text="CREB_CamKIV_phos" Type="RULE"></Node>
  8. <Node Data="CamKII(loc~cp,cat~a)->CamKII(loc~N,cat~a)" Id="23" Name="" Text="" Type="RULE"></Node>
  9. <Node Data="CamKIV(loc~cp,cat~a)->CamKIV(loc~N,cat~a)" Id="22" Name="" Text="" Type="RULE"></Node>
  10. <Node Data="CaMKK(cat~a),CamKII(cat~i)->CaMKK(cat~a),CamKII(cat~a)" Id="21" Name="CaMKII_act" Text="CaMKII_act" Type="RULE"></Node>
  11. <Node Data="CaMKK(cat~a),CamKIV(cat~i)->CaMKK(cat~a),CamKIV(cat~a)" Id="20" Name="CaMKIV_act" Text="CaMKIV_act" Type="RULE"></Node>
  12. <Node Data="CaM(ca!_),CaMKK(cat~i)->CaM(ca!_),CaMKK(cat~a)" Id="19" Name="CaMKK_act" Text="CaMKK_act" Type="RULE"></Node>
  13. <Node Data="PKA(loc~N),CREB(s133~u)->PKA(loc~N),CREB(s133~p)" Id="18" Name="CREB_PKA_phos" Text="CREB_PKA_phos" Type="RULE"></Node>
  14. <Node Data="PKA(y!_,loc~cp)->PKA(y!_,loc~N)" Id="17" Name="" Text="" Type="RULE"></Node>
  15. <Node Data="cAMP(x!0),PKA(y!0,loc~cp)->cAMP(x),PKA(y,loc~cp)" Id="16" Name="PKA activation_op" Text="PKA activation_op" Type="RULE"></Node>
  16. <Node Data="cAMP(x),PKA(y,loc~cp)->cAMP(x!0),PKA(y!0,loc~cp)" Id="15" Name="PKA activation" Text="PKA activation" Type="RULE"></Node>
  17. <Node Data="AC(cat~a)->AC(cat~a),cAMP(x~u)" Id="14" Name="cAMP synthesis" Text="cAMP synthesis" Type="RULE"></Node>
  18. <Node Data="CaM(ca!_),AC(cat~i)->CaM(ca!_),AC(cat~a)" Id="13" Name="AC activation" Text="AC activation" Type="RULE"></Node>
  19. <Node Data="Ca(loc~cp,l)->Ca(loc~sr,l)" Id="12" Name="" Text="" Type="RULE"></Node>
  20. <Node Data="VGCC(ch~a),Ca(loc~ec,l)->VGCC(ch~a),Ca(loc~cp,l)" Id="11" Name="" Text="" Type="RULE"></Node>
  21. <Node Data="NMDA(ch~u)->NMDA(ch~mg)" Id="10" Name="" Text="" Type="RULE"></Node>
  22. <Node Data="VGCC(ch~a)->VGCC(ch~i)" Id="9" Name="" Text="" Type="RULE"></Node>
  23. <Node Data="NMDA(g!_,ch~u),VGCC(ch~i)->NMDA(g!_,ch~u),VGCC(ch~a)" Id="8" Name="" Text="" Type="RULE"></Node>
  24. <Node Data="AMPA(g!_),NMDA(g!_,ch~mg)->AMPA(g!_),NMDA(g!_,ch~u)" Id="7" Name="" Text="" Type="RULE"></Node>
  25. <Node Data="Glu(g!0),NMDA(g!0)->Glu(g),NMDA(g)" Id="6" Name="" Text="" Type="RULE"></Node>
  26. <Node Data="Glu(g),NMDA(g)->Glu(g!0),NMDA(g!0)" Id="5" Name="" Text="" Type="RULE"></Node>
  27. <Node Data="Glu(g!0),AMPA(g!0)->Glu(g),AMPA(g)" Id="4" Name="" Text="" Type="RULE"></Node>
  28. <Node Data="Glu(g),AMPA(g)->Glu(g!0),AMPA(g!0)" Id="3" Name="" Text="" Type="RULE"></Node>
  29. <Node Data="Ca(loc~cp,l!0),CaM(ca!0)->Ca(loc~cp,l),CaM(ca)" Id="2" Name="Ca_CaM_op" Text="Ca_CaM_op" Type="RULE"></Node>
  30. <Node Data="Ca(loc~cp,l),CaM(ca)->Ca(loc~cp,l!0),CaM(ca!0)" Id="1" Name="Ca_CaM" Text="Ca_CaM" Type="RULE"></Node>
  31. <Connection FromNode="25" Relation="POSITIVE" ToNode="28"></Connection>
  32. <Connection FromNode="25" Relation="POSITIVE" ToNode="27"></Connection>
  33. <Connection FromNode="24" Relation="POSITIVE" ToNode="28"></Connection>
  34. <Connection FromNode="24" Relation="POSITIVE" ToNode="26"></Connection>
  35. <Connection FromNode="23" Relation="POSITIVE" ToNode="25"></Connection>
  36. <Connection FromNode="22" Relation="POSITIVE" ToNode="24"></Connection>
  37. <Connection FromNode="21" Relation="POSITIVE" ToNode="25"></Connection>
  38. <Connection FromNode="21" Relation="POSITIVE" ToNode="23"></Connection>
  39. <Connection FromNode="20" Relation="POSITIVE" ToNode="24"></Connection>
  40. <Connection FromNode="20" Relation="POSITIVE" ToNode="22"></Connection>
  41. <Connection FromNode="19" Relation="POSITIVE" ToNode="21"></Connection>
  42. <Connection FromNode="19" Relation="POSITIVE" ToNode="20"></Connection>
  43. <Connection FromNode="18" Relation="POSITIVE" ToNode="28"></Connection>
  44. <Connection FromNode="18" Relation="POSITIVE" ToNode="26"></Connection>
  45. <Connection FromNode="17" Relation="POSITIVE" ToNode="18"></Connection>
  46. <Connection FromNode="16" Relation="POSITIVE" ToNode="15"></Connection>
  47. <Connection FromNode="15" Relation="POSITIVE" ToNode="17"></Connection>
  48. <Connection FromNode="15" Relation="POSITIVE" ToNode="16"></Connection>
  49. <Connection FromNode="14" Relation="POSITIVE" ToNode="15"></Connection>
  50. <Connection FromNode="13" Relation="POSITIVE" ToNode="14"></Connection>
  51. <Connection FromNode="11" Relation="POSITIVE" ToNode="12"></Connection>
  52. <Connection FromNode="11" Relation="POSITIVE" ToNode="2"></Connection>
  53. <Connection FromNode="11" Relation="POSITIVE" ToNode="1"></Connection>
  54. <Connection FromNode="10" Relation="POSITIVE" ToNode="7"></Connection>
  55. <Connection FromNode="9" Relation="POSITIVE" ToNode="8"></Connection>
  56. <Connection FromNode="8" Relation="POSITIVE" ToNode="11"></Connection>
  57. <Connection FromNode="8" Relation="POSITIVE" ToNode="9"></Connection>
  58. <Connection FromNode="7" Relation="POSITIVE" ToNode="10"></Connection>
  59. <Connection FromNode="7" Relation="POSITIVE" ToNode="8"></Connection>
  60. <Connection FromNode="6" Relation="POSITIVE" ToNode="5"></Connection>
  61. <Connection FromNode="6" Relation="POSITIVE" ToNode="3"></Connection>
  62. <Connection FromNode="5" Relation="POSITIVE" ToNode="8"></Connection>
  63. <Connection FromNode="5" Relation="POSITIVE" ToNode="7"></Connection>
  64. <Connection FromNode="5" Relation="POSITIVE" ToNode="6"></Connection>
  65. <Connection FromNode="4" Relation="POSITIVE" ToNode="5"></Connection>
  66. <Connection FromNode="4" Relation="POSITIVE" ToNode="3"></Connection>
  67. <Connection FromNode="3" Relation="POSITIVE" ToNode="7"></Connection>
  68. <Connection FromNode="3" Relation="POSITIVE" ToNode="4"></Connection>
  69. <Connection FromNode="2" Relation="POSITIVE" ToNode="12"></Connection>
  70. <Connection FromNode="2" Relation="POSITIVE" ToNode="11"></Connection>
  71. <Connection FromNode="2" Relation="POSITIVE" ToNode="1"></Connection>
  72. <Connection FromNode="1" Relation="POSITIVE" ToNode="19"></Connection>
  73. <Connection FromNode="1" Relation="POSITIVE" ToNode="13"></Connection>
  74. <Connection FromNode="1" Relation="POSITIVE" ToNode="2"></Connection>
  75. </InfluenceMap>
  76. <Simulation InitTime="0.0" TimeSample="5.0E-4" TotalEvents="125416" TotalTime="0.5000011296440222">
  77. <Plot Text="[CREB-P]" Type="OBSERVABLE"></Plot>
  78. <Plot Text="[CREB142]" Type="OBSERVABLE"></Plot>
  79. <Plot Text="[CREB133]" Type="OBSERVABLE"></Plot>
  80. <CSV><![CDATA[
  81. 4.958207044270614E-4,0,0,0
  82. 9.973782029303233E-4,0,0,0
  83. 0.0014856566564184974,0,0,0
  84. 0.0019942404568697495,0,0,0
  85. 0.0024950493139746957,0,0,0
  86. 0.002992657297283721,0,0,0
  87. 0.003480847664978184,0,0,0
  88. 0.003968386719617892,0,0,0
  89. 0.00448944556056938,0,0,0
  90. 0.004966082553377439,0,0,0
  91. 0.005498522020764849,0,0,0
  92. 0.005968002463658435,0,0,0
  93. 0.006499870598519532,0,0,0
  94. 0.006996077173988772,0,0,0
  95. 0.007461139781429464,0,0,0
  96. 0.007998272115962522,0,0,0
  97. 0.008488840608575842,0,0,0
  98. 0.008988583374687123,0,0,0
  99. 0.009496053416725462,0,0,0
  100. 0.009989942672086378,0,0,0
  101. 0.010494597153386314,0,0,0
  102. 0.010993092437756265,0,0,0
  103. 0.011479891903032557,0,0,0
  104. 0.01199959407485203,0,0,0
  105. 0.012492845231011074,0,0,0
  106. 0.012979716551468918,0,0,0
  107. 0.013497111756802873,0,0,0
  108. 0.013997973227315339,0,0,0
  109. 0.014493663946948154,0,0,0
  110. 0.014999376024519832,0,0,0
  111. 0.015497008742963973,0,0,0
  112. 0.015995708645140976,0,0,0
  113. 0.016495526118561865,0,0,0
  114. 0.016998475605245096,0,0,0
  115. 0.017497178215129028,0,0,0
  116. 0.017995254711360213,0,0,1
  117. 0.018497372786533513,0,0,2
  118. 0.018995047481743126,0,0,2
  119. 0.01949986440468281,0,0,2
  120. 0.01999365624380629,0,1,4
  121. 0.02049072517518534,0,1,4
  122. 0.020993506871481434,0,2,4
  123. 0.0214996237946386,0,2,4
  124. 0.021999799040785917,0,2,4
  125. 0.02249910183664751,0,3,4
  126. 0.02299905603071359,0,3,4
  127. 0.023497983457393776,0,3,4
  128. 0.023996010417465713,0,3,4
  129. 0.024490807987999404,1,2,4
  130. 0.0249955337297868,1,2,5
  131. 0.025492232804318917,1,3,5
  132. 0.025999900835862143,1,3,5
  133. 0.026496981704590875,1,3,7
  134. 0.026991887961029196,2,4,7
  135. 0.027499661468459995,2,4,9
  136. 0.027998359368786745,2,4,9
  137. 0.028498994798303236,2,4,10
  138. 0.028999739328981592,2,5,10
  139. 0.029498323367415986,2,6,10
  140. 0.02998617266957734,2,7,11
  141. 0.030495790707163548,2,7,11
  142. 0.03099520640303478,2,7,12
  143. 0.031491273292347396,3,7,12
  144. 0.03199966233413573,3,7,13
  145. 0.03249786865486464,3,8,13
  146. 0.032999112684347714,3,8,13
  147. 0.03349785288047103,3,9,14
  148. 0.03399761497227762,3,11,16
  149. 0.03449885440953312,3,11,17
  150. 0.03499824417892278,3,13,17
  151. 0.03548974546706696,3,14,17
  152. 0.035997814532957875,3,14,18
  153. 0.036494120591549564,3,16,18
  154. 0.03699894062080799,3,16,18
  155. 0.03748232339401269,4,16,19
  156. 0.037994738262900354,5,15,22
  157. 0.038499406336351814,5,16,22
  158. 0.038999411219368695,5,16,24
  159. 0.03949819985847825,5,17,26
  160. 0.039997510105147537,5,18,29
  161. 0.04049765954470145,5,18,31
  162. 0.04099929174773355,5,18,32
  163. 0.04149276340451295,5,19,33
  164. 0.041993898933988964,5,19,34
  165. 0.04249946641006409,5,20,35
  166. 0.04299661539952524,5,21,36
  167. 0.043495544400353574,5,22,38
  168. 0.04398880407019761,7,21,38
  169. 0.04449016664617137,7,22,40
  170. 0.04499949367168243,7,22,41
  171. 0.04549876849148923,8,21,42
  172. 0.04599915930102527,8,21,43
  173. 0.046499857807723616,9,20,44
  174. 0.04699855235259837,9,22,47
  175. 0.04749449122631278,9,23,49
  176. 0.047996683899652885,9,23,50
  177. 0.04849859151150109,9,23,52
  178. 0.04899982513408489,9,23,52
  179. 0.04949894151500651,9,23,54
  180. 0.04999852434880882,9,24,55
  181. 0.05048570303580225,10,23,57
  182. 0.05099976704340681,10,24,60
  183. 0.05149823029878936,11,24,62
  184. 0.05199973826618399,11,24,64
  185. 0.052488543513860564,13,24,62
  186. 0.0529964688249013,15,24,61
  187. 0.053497925810268056,16,25,62
  188. 0.0539911169634267,19,23,62
  189. 0.054498736861386246,19,25,64
  190. 0.05498324104740521,19,25,65
  191. 0.05549487627895364,20,25,65
  192. 0.05599530114975212,21,25,67
  193. 0.05649858326424733,23,24,70
  194. 0.056997974113872966,24,23,73
  195. 0.05749862005105414,25,22,74
  196. 0.057991767857231355,27,23,73
  197. 0.05849632527231832,28,22,74
  198. 0.05899419505215961,28,22,74
  199. 0.05949459507982955,32,20,73
  200. 0.05999815618183163,32,21,77
  201. 0.06049087101095581,33,21,78
  202. 0.0609983746351697,34,21,80
  203. 0.06149746456718216,35,21,79
  204. 0.06199804643716211,36,22,80
  205. 0.06249559701482605,36,22,80
  206. 0.06299910409491473,36,23,84
  207. 0.06349909379298334,37,22,85
  208. 0.06399860535112044,37,23,89
  209. 0.06449173328437996,38,23,89
  210. 0.06499042206874404,38,23,91
  211. 0.06549208206796019,42,23,90
  212. 0.06599801765341695,45,23,87
  213. 0.06649105571579714,45,24,88
  214. 0.06699881619455003,45,24,89
  215. 0.06749534202734898,46,25,89
  216. 0.06799086286324214,46,27,89
  217. 0.06849095818768482,49,26,91
  218. 0.06899650291705567,49,26,91
  219. 0.06949827839508382,50,25,92
  220. 0.06999706779419522,52,24,91
  221. 0.07047964427969995,54,24,92
  222. 0.0709992994763099,54,24,93
  223. 0.07149486647168027,57,23,93
  224. 0.07199637964232117,60,22,93
  225. 0.07249083372431445,61,21,94
  226. 0.07299127959721856,61,21,94
  227. 0.07349646832165245,63,21,93
  228. 0.07399935623167156,66,21,91
  229. 0.07449928260549256,66,23,92
  230. 0.0749862863777877,66,25,93
  231. 0.0754966606826096,68,23,95
  232. 0.07599711732273032,69,22,98
  233. 0.07649762375401495,70,22,97
  234. 0.07699529122930907,71,24,97
  235. 0.07749762434709848,71,24,98
  236. 0.0779978246956105,72,24,100
  237. 0.078499967918555,75,24,98
  238. 0.07899962445910291,77,24,97
  239. 0.07949957665953765,77,24,97
  240. 0.07999914767001184,78,25,96
  241. 0.08049731466001936,80,23,98
  242. 0.08099710836276189,81,23,99
  243. 0.08149570230267272,81,24,100
  244. 0.08199294658712024,83,23,99
  245. 0.0824992754109801,84,22,100
  246. 0.08299234359423013,84,23,100
  247. 0.08349955072206655,86,22,100
  248. 0.083995597513687,88,23,98
  249. 0.08449645838204925,91,23,98
  250. 0.08499499480467193,91,23,98
  251. 0.08549855831613391,92,23,97
  252. 0.08599975715756421,95,23,95
  253. 0.086496898198992,99,23,92
  254. 0.0869971692708802,99,23,92
  255. 0.08749963112684729,101,25,91
  256. 0.08799416057525555,102,25,90
  257. 0.08849658011870881,104,23,90
  258. 0.08899465201364115,104,23,90
  259. 0.08949234381305576,106,24,88
  260. 0.08999880197942599,107,23,89
  261. 0.09049757869504325,107,23,89
  262. 0.0909972943334712,107,23,89
  263. 0.09149407525233107,108,24,88
  264. 0.09199901684266404,110,24,86
  265. 0.0924971849735367,112,25,84
  266. 0.09299609158214647,113,26,84
  267. 0.09349862568475496,113,26,84
  268. 0.093997196320059,113,27,85
  269. 0.09449711368030698,114,27,84
  270. 0.09499856569357061,115,28,85
  271. 0.09549807176823208,116,28,84
  272. 0.09599796313832942,116,28,84
  273. 0.09649726512805883,119,28,83
  274. 0.09699656013148254,120,28,82
  275. 0.09749475397526391,122,27,81
  276. 0.09799983777706552,123,26,81
  277. 0.09849236289787795,126,25,79
  278. 0.09899696651788709,128,24,81
  279. 0.0994999190740134,129,24,80
  280. 0.09998838292805663,130,24,79
  281. 0.10049864420742666,130,24,79
  282. 0.10099931728233127,131,23,79
  283. 0.10149702071534963,131,23,79
  284. 0.10199928330747524,133,23,77
  285. 0.10249848446777071,134,22,77
  286. 0.1029967681227197,136,22,75
  287. 0.10349674547376762,136,22,76
  288. 0.10399839223971978,139,21,75
  289. 0.10449928018107271,140,21,75
  290. 0.10499775190749049,141,22,74
  291. 0.10549848472023673,143,22,73
  292. 0.105996520689059,144,22,72
  293. 0.10649381648359706,147,20,72
  294. 0.10699942548086039,150,18,71
  295. 0.10749563166019917,151,19,70
  296. 0.10799900435625047,151,19,71
  297. 0.10849738733199328,152,18,71
  298. 0.10899966171549565,153,18,70
  299. 0.10949634595936743,154,18,70
  300. 0.10999234089414966,155,17,70
  301. 0.11049946010025337,157,17,68
  302. 0.11099924642043979,158,17,67
  303. 0.11149178025674077,160,17,65
  304. 0.11199782853888819,162,16,64
  305. 0.1124919422699494,162,16,64
  306. 0.11299829566639309,163,15,64
  307. 0.11349899015915346,163,15,64
  308. 0.1139999430522566,164,15,64
  309. 0.11448707711659956,164,15,64
  310. 0.11499482335415506,167,14,62
  311. 0.1154869322060919,167,14,62
  312. 0.11599666008600688,168,14,61
  313. 0.11649728919605046,169,14,61
  314. 0.11699996795530236,172,14,58
  315. 0.11748948316221268,175,14,55
  316. 0.11799900574368026,175,14,55
  317. 0.1184934116078697,178,12,54
  318. 0.11899850245649113,179,12,53
  319. 0.11949890045520696,179,12,54
  320. 0.11999477701976917,180,12,53
  321. 0.12049635941218721,181,11,53
  322. 0.12099832511954782,181,12,53
  323. 0.1214994288058747,183,12,51
  324. 0.12199585023834404,186,11,49
  325. 0.12249134714512959,186,11,49
  326. 0.12299770134390094,186,11,49
  327. 0.12349937039143473,186,11,49
  328. 0.12399393443396219,187,11,48
  329. 0.12449834866305753,189,10,47
  330. 0.12499527695497793,191,10,45
  331. 0.1254994897350119,193,9,44
  332. 0.12599668157900396,194,9,44
  333. 0.1264985053171071,194,9,44
  334. 0.12699962428790318,195,9,43
  335. 0.1274813599055704,196,9,42
  336. 0.1279983050399284,196,9,42
  337. 0.12849800005324694,197,9,42
  338. 0.12899304604166761,197,9,42
  339. 0.1294990345248325,197,9,42
  340. 0.1299985580286781,198,8,42
  341. 0.13049618147913022,198,8,42
  342. 0.13099753066579414,198,8,42
  343. 0.13149554092260976,199,7,43
  344. 0.13199952090365963,199,7,43
  345. 0.13248223268771395,199,7,43
  346. 0.13299464107618592,202,6,41
  347. 0.13349670332609054,204,6,39
  348. 0.13399429920629766,204,6,39
  349. 0.13449661206625851,204,6,39
  350. 0.13498789550291335,205,6,39
  351. 0.13549747078704624,206,5,39
  352. 0.13598885287195842,207,5,38
  353. 0.1364998146531777,207,5,38
  354. 0.13699388244807834,208,5,37
  355. 0.13749983122852194,210,5,35
  356. 0.13799965228667552,210,5,35
  357. 0.1384970838942696,211,5,34
  358. 0.1389995873749626,211,5,34
  359. 0.13949466823984327,213,4,33
  360. 0.13999914960099866,213,4,33
  361. 0.14049011226111882,213,4,33
  362. 0.14099342795867262,213,4,33
  363. 0.14149648052855948,214,4,32
  364. 0.1419946346067825,214,4,32
  365. 0.1424968148833849,215,3,32
  366. 0.14299803902795094,217,2,31
  367. 0.14349818546059545,218,2,30
  368. 0.1439984073825922,218,2,30
  369. 0.14449225754680659,220,2,28
  370. 0.144991535221946,220,2,28
  371. 0.14549651748397846,220,2,28
  372. 0.1459999622316285,220,2,28
  373. 0.14649870532772039,220,2,28
  374. 0.14699707637043544,222,2,26
  375. 0.14749901135591567,222,2,26
  376. 0.14799470985833138,223,2,25
  377. 0.14849736729370397,223,2,25
  378. 0.1489979824986438,225,2,23
  379. 0.14949126596524062,225,2,23
  380. 0.1499987297312671,226,2,22
  381. 0.15049894502283298,226,2,22
  382. 0.1509962920712034,226,2,22
  383. 0.15149689380950482,226,2,22
  384. 0.15199879222489807,227,2,21
  385. 0.15249995830930396,227,2,21
  386. 0.15299921230033392,227,2,21
  387. 0.1534975161475144,227,2,21
  388. 0.1539997952253654,227,2,21
  389. 0.15449786193475304,227,2,21
  390. 0.15499829772403603,227,2,21
  391. 0.15549935915678703,227,2,21
  392. 0.1559974618372596,227,2,21
  393. 0.15648932991581896,227,2,21
  394. 0.15699420339169903,228,2,20
  395. 0.15749481779339525,228,2,20
  396. 0.15799649697398144,228,2,20
  397. 0.15849470521367628,228,2,20
  398. 0.1589920518523367,228,2,20
  399. 0.15949928632162402,229,2,19
  400. 0.15999882523774162,229,2,19
  401. 0.16049874825160643,230,2,18
  402. 0.16099885578851042,231,2,17
  403. 0.1614977636060155,231,2,17
  404. 0.1619916733904027,232,1,17
  405. 0.16249271769282952,232,1,17
  406. 0.16299781783225584,232,1,17
  407. 0.1634975628964345,232,1,17
  408. 0.16398237813578373,232,1,17
  409. 0.16449903414030503,232,1,17
  410. 0.16499944112937578,232,1,17
  411. 0.1654980550542378,232,1,17
  412. 0.16598664911554797,232,1,17
  413. 0.16649816790796634,232,1,17
  414. 0.1669939751239584,232,1,17
  415. 0.16749404291332876,232,1,17
  416. 0.16799915469501595,232,1,17
  417. 0.16849699162481452,234,1,15
  418. 0.16899736708594132,234,1,15
  419. 0.16949562130443582,234,1,15
  420. 0.16999839561105148,234,1,15
  421. 0.17049873743654229,235,1,14
  422. 0.1709998389644906,235,1,14
  423. 0.1714899899907178,235,1,14
  424. 0.17199871577597584,235,1,14
  425. 0.1724985587184033,236,1,13
  426. 0.17299795895266892,236,1,13
  427. 0.1734909376604904,236,1,13
  428. 0.17399974899204831,236,1,13
  429. 0.17449377110380246,236,1,13
  430. 0.17499913500300748,236,1,13
  431. 0.1754832400783442,237,1,12
  432. 0.1759991479159118,237,1,12
  433. 0.176492633988494,237,1,12
  434. 0.17698649779817174,237,1,12
  435. 0.17749446938916216,237,1,12
  436. 0.17799989940481786,237,1,12
  437. 0.1784879609330076,237,1,12
  438. 0.1789998125394602,237,1,12
  439. 0.1794894159241918,237,1,12
  440. 0.17999765306575566,237,1,12
  441. 0.18049552272869074,238,1,11
  442. 0.1809857652676557,238,1,11
  443. 0.1814978851430833,238,1,11
  444. 0.18199328588153585,238,1,11
  445. 0.18248696647759866,238,1,11
  446. 0.18299857368516734,239,1,10
  447. 0.18349666563418426,240,1,9
  448. 0.18399969300572133,240,1,9
  449. 0.1844996050047207,240,1,9
  450. 0.1849979449144478,240,1,9
  451. 0.18549952620125115,241,1,8
  452. 0.1859994825628808,241,1,8
  453. 0.1864755399596754,241,1,8
  454. 0.18698254676819426,241,1,8
  455. 0.18749926339995704,241,1,8
  456. 0.18799713138977353,241,1,8
  457. 0.18849842039851425,241,1,8
  458. 0.18899654408626265,241,1,8
  459. 0.1894960311075588,242,1,7
  460. 0.189999038609469,242,1,7
  461. 0.1904832453155231,242,1,7
  462. 0.19099988378583452,242,1,7
  463. 0.19149756007554364,242,1,7
  464. 0.19199969187102472,242,1,7
  465. 0.19249824659895404,242,1,7
  466. 0.1929952434714552,242,1,7
  467. 0.19349925570662613,242,1,7
  468. 0.1939979041650681,242,1,7
  469. 0.19449799619128125,243,1,6
  470. 0.1949970965667558,243,1,6
  471. 0.19548681883396943,243,1,6
  472. 0.19599020702319542,243,1,6
  473. 0.19649853494480748,243,1,6
  474. 0.19699639300113506,243,1,6
  475. 0.19748990707284805,243,1,6
  476. 0.19798526149056148,243,1,6
  477. 0.19849852273925625,243,1,6
  478. 0.19899854745084916,243,1,6
  479. 0.19949710175894134,244,1,5
  480. 0.19999837234938553,244,1,5
  481. 0.20049791876732004,244,1,5
  482. 0.20099407673501132,245,1,4
  483. 0.2014998811388614,245,1,4
  484. 0.2019933639395449,245,1,4
  485. 0.2024978483366489,246,1,3
  486. 0.2029950116501881,246,1,3
  487. 0.20349559677459572,246,1,3
  488. 0.2039983123611102,246,1,3
  489. 0.20449913254259505,247,0,3
  490. 0.2049953393600436,247,0,3
  491. 0.20549452862674142,247,0,3
  492. 0.2059974591053016,247,0,3
  493. 0.2064987982020539,247,0,3
  494. 0.2069990565352073,247,0,3
  495. 0.20749650779254014,247,0,3
  496. 0.2079988426993855,247,0,3
  497. 0.2084879614385541,247,0,3
  498. 0.20899980808440927,247,0,3
  499. 0.20949831773435068,247,0,3
  500. 0.2099988958028376,247,0,3
  501. 0.2104970785531388,247,0,3
  502. 0.2109997997031802,247,0,3
  503. 0.21149799407967168,248,0,2
  504. 0.21199906650242734,248,0,2
  505. 0.21249795011437733,248,0,2
  506. 0.21299213201902265,248,0,2
  507. 0.21349741470337086,248,0,2
  508. 0.2139995608511187,248,0,2
  509. 0.21449480021277925,249,0,1
  510. 0.21499721769199806,250,0,0
  511. 0.2154991303351652,250,0,0
  512. 0.21599862002674852,250,0,0
  513. 0.21649486523752504,250,0,0
  514. 0.21699942279021278,250,0,0
  515. 0.2174993627988082,250,0,0
  516. 0.21799963388339672,250,0,0
  517. 0.2184933884394287,250,0,0
  518. 0.21899322673472657,250,0,0
  519. 0.21949270723124223,250,0,0
  520. 0.21999851421131608,250,0,0
  521. 0.22049677266069162,250,0,0
  522. 0.22099612924217252,250,0,0
  523. 0.22149890328570468,250,0,0
  524. 0.22199913034049903,250,0,0
  525. 0.22249710568541445,250,0,0
  526. 0.22299828416923173,250,0,0
  527. 0.22349548447654202,250,0,0
  528. 0.2239846403543025,250,0,0
  529. 0.22449832997178729,250,0,0
  530. 0.22499815577338372,250,0,0
  531. 0.22548751391709287,250,0,0
  532. 0.2259994648050567,250,0,0
  533. 0.2264995208844932,250,0,0
  534. 0.22699958788014818,250,0,0
  535. 0.22749784763143527,250,0,0
  536. 0.22799712864828833,250,0,0
  537. 0.2284989466500739,250,0,0
  538. 0.22899795615472454,250,0,0
  539. 0.2294995333363549,250,0,0
  540. 0.2299983065336135,250,0,0
  541. 0.230499360619862,250,0,0
  542. 0.2309943393763265,250,0,0
  543. 0.23149404547634353,250,0,0
  544. 0.2319996506563039,250,0,0
  545. 0.2324985102619244,250,0,0
  546. 0.23299922043253066,250,0,0
  547. 0.23349981072997184,250,0,0
  548. 0.2339983113221338,250,0,0
  549. 0.23449463333306675,250,0,0
  550. 0.23499070469888034,250,0,0
  551. 0.23549435673562172,250,0,0
  552. 0.23599540210191874,250,0,0
  553. 0.2364985457545072,250,0,0
  554. 0.23699640933653016,250,0,0
  555. 0.2374854734839194,250,0,0
  556. 0.23799401032103618,250,0,0
  557. 0.23849683569237604,250,0,0
  558. 0.23899744352760705,250,0,0
  559. 0.23949966539925802,250,0,0
  560. 0.2399997826533308,250,0,0
  561. 0.24049435045574277,250,0,0
  562. 0.24099997660496247,250,0,0
  563. 0.2414982041928621,250,0,0
  564. 0.24199960379015797,250,0,0
  565. 0.24249883602794325,250,0,0
  566. 0.24299809629363173,250,0,0
  567. 0.24349811379170339,250,0,0
  568. 0.2439983611003563,250,0,0
  569. 0.2444992477798562,250,0,0
  570. 0.24499823577658475,250,0,0
  571. 0.2454971717927675,250,0,0
  572. 0.24598913040976333,250,0,0
  573. 0.2464981596570032,250,0,0
  574. 0.24699850967962947,250,0,0
  575. 0.24749790737093902,250,0,0
  576. 0.2479979770373552,250,0,0
  577. 0.24849319326303315,250,0,0
  578. 0.24899712321555617,250,0,0
  579. 0.24949897126391887,250,0,0
  580. 0.24999683685917015,250,0,0
  581. 0.2504902387239261,250,0,0
  582. 0.25099358606043165,250,0,0
  583. 0.2514973499244281,250,0,0
  584. 0.2519958815075264,250,0,0
  585. 0.2524893714897781,250,0,0
  586. 0.25299969661128996,250,0,0
  587. 0.2534987303510508,250,0,0
  588. 0.2539904335288653,250,0,0
  589. 0.2544909781410352,250,0,0
  590. 0.2549907841184678,250,0,0
  591. 0.2554982178049761,250,0,0
  592. 0.25599838739589637,250,0,0
  593. 0.2564933989837403,250,0,0
  594. 0.2569890670447711,250,0,0
  595. 0.25749781021433277,250,0,0
  596. 0.2579896261110008,250,0,0
  597. 0.2584936976449286,250,0,0
  598. 0.2589982874896469,250,0,0
  599. 0.2594994177758466,250,0,0
  600. 0.25999733608033515,250,0,0
  601. 0.2604967401821835,250,0,0
  602. 0.2609934298289385,250,0,0
  603. 0.26149704136094276,250,0,0
  604. 0.2619978734475374,250,0,0
  605. 0.26249861489179954,250,0,0
  606. 0.26299980130402334,250,0,0
  607. 0.2634934876785393,250,0,0
  608. 0.2639934813696191,250,0,0
  609. 0.26449822121408717,250,0,0
  610. 0.2649952896256005,250,0,0
  611. 0.26549291423952,250,0,0
  612. 0.26599683993887424,250,0,0
  613. 0.2664995260029199,250,0,0
  614. 0.2669952484412221,250,0,0
  615. 0.26749859522436276,250,0,0
  616. 0.26799167873527135,250,0,0
  617. 0.26849891186779323,250,0,0
  618. 0.2689934069025098,250,0,0
  619. 0.2694964778121393,250,0,0
  620. 0.26999778154381493,250,0,0
  621. 0.2704991696682408,250,0,0
  622. 0.2709934238750335,250,0,0
  623. 0.2714980536625799,250,0,0
  624. 0.27199315540457963,250,0,0
  625. 0.272492402965454,250,0,0
  626. 0.27299995403460087,250,0,0
  627. 0.2734914821440477,250,0,0
  628. 0.2739997592570557,250,0,0
  629. 0.2744987321185492,250,0,0
  630. 0.27499650536733294,250,0,0
  631. 0.275488195047301,250,0,0
  632. 0.27599729968135583,250,0,0
  633. 0.2764918984026956,250,0,0
  634. 0.276997645802491,250,0,0
  635. 0.2774998279642239,250,0,0
  636. 0.2779958057503394,250,0,0
  637. 0.27849762971392866,250,0,0
  638. 0.27899948177757666,250,0,0
  639. 0.27949169874080204,250,0,0
  640. 0.2799995319551197,250,0,0
  641. 0.28049011119472955,250,0,0
  642. 0.28099431768938327,250,0,0
  643. 0.28149699722805227,250,0,0
  644. 0.28199668472440553,250,0,0
  645. 0.2824912783170216,250,0,0
  646. 0.28299032219360426,250,0,0
  647. 0.28349921466834466,250,0,0
  648. 0.28399891887012846,250,0,0
  649. 0.2844961943950204,250,0,0
  650. 0.28499112875494187,250,0,0
  651. 0.28549970261860513,250,0,0
  652. 0.2859956362133587,250,0,0
  653. 0.28649832937648706,250,0,0
  654. 0.2869913171043849,250,0,0
  655. 0.287499062054554,250,0,0
  656. 0.287999959415386,250,0,0
  657. 0.2884966775343071,250,0,0
  658. 0.288998858553678,250,0,0
  659. 0.28949905064954323,250,0,0
  660. 0.2899995185739804,250,0,0
  661. 0.2904976846247765,250,0,0
  662. 0.290996406313663,250,0,0
  663. 0.29149812656254676,250,0,0
  664. 0.29199541513483696,250,0,0
  665. 0.2924960851944486,250,0,0
  666. 0.29297434705916026,250,0,0
  667. 0.2934989468824999,250,0,0
  668. 0.2939974138490051,250,0,0
  669. 0.2944943651341335,250,0,0
  670. 0.29499899568666266,250,0,0
  671. 0.29549904242774105,250,0,0
  672. 0.29599903491558566,250,0,0
  673. 0.2964871245940689,250,0,0
  674. 0.2969893596669396,250,0,0
  675. 0.2974957976292929,250,0,0
  676. 0.2979978642011921,250,0,0
  677. 0.29849953560372583,250,0,0
  678. 0.29899690287357616,250,0,0
  679. 0.2994990018517902,250,0,0
  680. 0.2999931862378017,250,0,0
  681. 0.300498662093075,250,0,0
  682. 0.3009968082765332,250,0,0
  683. 0.30149894938161415,250,0,0
  684. 0.30199518902116457,250,0,0
  685. 0.3024952220886354,250,0,0
  686. 0.3029943381415782,250,0,0
  687. 0.3034979765670144,250,0,0
  688. 0.3039946612756511,250,0,0
  689. 0.30449809915075116,250,0,0
  690. 0.30499957553271256,250,0,0
  691. 0.3054991037946962,250,0,0
  692. 0.30599637400379043,250,0,0
  693. 0.30648608567195906,250,0,0
  694. 0.3069987996523571,250,0,0
  695. 0.3074948791079966,250,0,0
  696. 0.30799475141416666,250,0,0
  697. 0.30849956525089606,250,0,0
  698. 0.30899963820582244,250,0,0
  699. 0.3094953807046367,250,0,0
  700. 0.30999804799039427,250,0,0
  701. 0.3104974811603386,250,0,0
  702. 0.3109992503132238,250,0,0
  703. 0.31149881964354803,250,0,0
  704. 0.3119996503426826,250,0,0
  705. 0.31249525740199335,250,0,0
  706. 0.3129931943905726,250,0,0
  707. 0.31349649158456877,250,0,0
  708. 0.31399927931452676,250,0,0
  709. 0.31449341784411805,250,0,0
  710. 0.31499878819192395,250,0,0
  711. 0.3154954413902962,250,0,0
  712. 0.3159955691899735,250,0,0
  713. 0.31649873663365174,250,0,0
  714. 0.3169990217610964,250,0,0
  715. 0.31749136608748646,250,0,0
  716. 0.31799828852652634,250,0,0
  717. 0.3184966260725497,250,0,0
  718. 0.31899970066838396,250,0,0
  719. 0.3194987262381077,250,0,0
  720. 0.3199990189415161,250,0,0
  721. 0.32049734766666305,250,0,0
  722. 0.32099737560910274,250,0,0
  723. 0.3214982930821855,250,0,0
  724. 0.32198168484162026,250,0,0
  725. 0.32249965613907655,250,0,0
  726. 0.3229975622195381,250,0,0
  727. 0.3234954798846789,250,0,0
  728. 0.32399981744341644,250,0,0
  729. 0.3244937895838079,250,0,0
  730. 0.3249985172148352,250,0,0
  731. 0.3254963819101225,250,0,0
  732. 0.3259953840779257,250,0,0
  733. 0.32649340137955146,250,0,0
  734. 0.3269914703840341,250,0,0
  735. 0.32749732521020347,250,0,0
  736. 0.3279817370525462,250,0,0
  737. 0.32849948398344786,250,0,0
  738. 0.3289994307395789,250,0,0
  739. 0.3294915568247072,250,0,0
  740. 0.3299992253131384,250,0,0
  741. 0.3304923960038645,250,0,0
  742. 0.33099573152349243,250,0,0
  743. 0.33149639813982823,250,0,0
  744. 0.33199784084195827,250,0,0
  745. 0.3324957444623901,250,0,0
  746. 0.33299777337737346,250,0,0
  747. 0.3334940009155389,250,0,0
  748. 0.333996105104681,250,0,0
  749. 0.33449989749803677,250,0,0
  750. 0.334998692296941,250,0,0
  751. 0.3354909624534242,250,0,0
  752. 0.3359990632045767,250,0,0
  753. 0.33649847655805104,250,0,0
  754. 0.3369811706372839,250,0,0
  755. 0.3374994190767657,250,0,0
  756. 0.33799731933718463,250,0,0
  757. 0.33849966287124594,250,0,0
  758. 0.33899614016915025,250,0,0
  759. 0.3394946095659161,250,0,0
  760. 0.33999773643890957,250,0,0
  761. 0.3404998327996035,250,0,0
  762. 0.3409963842652969,250,0,0
  763. 0.34149528620290637,250,0,0
  764. 0.3419985077957086,250,0,0
  765. 0.3424799404571979,250,0,0
  766. 0.3429877488573771,250,0,0
  767. 0.34349552944426537,250,0,0
  768. 0.3439961560164944,250,0,0
  769. 0.34449991149314146,250,0,0
  770. 0.34499765917554104,250,0,0
  771. 0.3454950835745646,250,0,0
  772. 0.3459997185621333,250,0,0
  773. 0.346499199550158,250,0,0
  774. 0.34699299327510646,250,0,0
  775. 0.3474938848526355,250,0,0
  776. 0.34799810563799755,250,0,0
  777. 0.34849934251359604,250,0,0
  778. 0.3489977062307338,250,0,0
  779. 0.3494914211280811,250,0,0
  780. 0.349999971060992,250,0,0
  781. 0.3504970687374942,250,0,0
  782. 0.3509989166839812,250,0,0
  783. 0.35149577364520324,250,0,0
  784. 0.35199647409315593,250,0,0
  785. 0.352494894931639,250,0,0
  786. 0.35299916033934275,250,0,0
  787. 0.35349468230400716,250,0,0
  788. 0.35399912507899584,250,0,0
  789. 0.3544971198293678,250,0,0
  790. 0.35499351997059925,250,0,0
  791. 0.3554986157772717,250,0,0
  792. 0.35599448098047193,250,0,0
  793. 0.35649797718707416,250,0,0
  794. 0.3569963070484972,250,0,0
  795. 0.357499366576444,250,0,0
  796. 0.35799810739090876,250,0,0
  797. 0.358497816386196,250,0,0
  798. 0.3589938093015713,250,0,0
  799. 0.35949887882446463,250,0,0
  800. 0.3599958904185615,250,0,0
  801. 0.3604981789195643,250,0,0
  802. 0.3609995239637652,250,0,0
  803. 0.36149581089210814,250,0,0
  804. 0.36198550286302666,250,0,0
  805. 0.36249915575788416,250,0,0
  806. 0.36299685349126887,250,0,0
  807. 0.3634990698857151,250,0,0
  808. 0.36399682629939734,250,0,0
  809. 0.3644993066688323,250,0,0
  810. 0.36499679289681775,250,0,0
  811. 0.3654981694419061,250,0,0
  812. 0.36599627746726715,250,0,0
  813. 0.3664986239299468,250,0,0
  814. 0.3669967227558922,250,0,0
  815. 0.36749990103208235,250,0,0
  816. 0.3679958531570002,250,0,0
  817. 0.36849389307053454,250,0,0
  818. 0.3689977585176658,250,0,0
  819. 0.3694991018078672,250,0,0
  820. 0.3699993250425109,250,0,0
  821. 0.3704939476497447,250,0,0
  822. 0.3709924074576884,250,0,0
  823. 0.3714992344038543,250,0,0
  824. 0.37199683033758446,250,0,0
  825. 0.3724995252052766,250,0,0
  826. 0.3729965092178223,250,0,0
  827. 0.3734990698426817,250,0,0
  828. 0.3739936773299512,250,0,0
  829. 0.374495757426045,250,0,0
  830. 0.37499655496210826,250,0,0
  831. 0.37549700609247394,250,0,0
  832. 0.37599871990606704,250,0,0
  833. 0.3764988132538705,250,0,0
  834. 0.3769922406557724,250,0,0
  835. 0.3774974942558562,250,0,0
  836. 0.3779862888749038,250,0,0
  837. 0.37849616091110816,250,0,0
  838. 0.378998178924578,250,0,0
  839. 0.3794997361136626,250,0,0
  840. 0.37998755179051447,250,0,0
  841. 0.3804986650977173,250,0,0
  842. 0.3809982327129594,250,0,0
  843. 0.3814988040725106,250,0,0
  844. 0.38199844198773375,250,0,0
  845. 0.3824983648337408,250,0,0
  846. 0.38299837595916114,250,0,0
  847. 0.3834974129691328,250,0,0
  848. 0.3839933466145382,250,0,0
  849. 0.3844995647218713,250,0,0
  850. 0.3849927008820571,250,0,0
  851. 0.3854998539064246,250,0,0
  852. 0.3859906652333554,250,0,0
  853. 0.38648569373020875,250,0,0
  854. 0.3869985596728699,250,0,0
  855. 0.38749155690997467,250,0,0
  856. 0.3879834733707832,250,0,0
  857. 0.38848702673993407,250,0,0
  858. 0.388996422397827,250,0,0
  859. 0.3894955753266759,250,0,0
  860. 0.38999802803564276,250,0,0
  861. 0.39049093762820264,250,0,0
  862. 0.39099283376780575,250,0,0
  863. 0.3914928249334823,250,0,0
  864. 0.391999060416722,250,0,0
  865. 0.39249821648263805,250,0,0
  866. 0.39299852309765626,250,0,0
  867. 0.3934986765178125,250,0,0
  868. 0.3939986072371425,250,0,0
  869. 0.39449832061415774,250,0,0
  870. 0.3949931626465905,250,0,0
  871. 0.3954956469891602,250,0,0
  872. 0.39599954935636333,250,0,0
  873. 0.3964976363556236,250,0,0
  874. 0.39699706451741,250,0,0
  875. 0.39749852970474303,250,0,0
  876. 0.3979986227142975,250,0,0
  877. 0.39849851034547373,250,0,0
  878. 0.3989962011462554,250,0,0
  879. 0.39949085546134583,250,0,0
  880. 0.3999994783666381,250,0,0
  881. 0.40049822819805103,250,0,0
  882. 0.4009900605294113,250,0,0
  883. 0.401497973464248,250,0,0
  884. 0.4019994221906407,250,0,0
  885. 0.4024999730165267,250,0,0
  886. 0.4029961648346743,250,0,0
  887. 0.4034917792166439,250,0,0
  888. 0.4039975837460065,250,0,0
  889. 0.40449967253132535,250,0,0
  890. 0.4049940604082673,250,0,0
  891. 0.40549907589217166,250,0,0
  892. 0.40599344266972875,250,0,0
  893. 0.40649938804659436,250,0,0
  894. 0.4069969870307988,250,0,0
  895. 0.4074993407999855,250,0,0
  896. 0.4079986980951926,250,0,0
  897. 0.40849368267913055,250,0,0
  898. 0.4089969073806068,250,0,0
  899. 0.4094925324616786,250,0,0
  900. 0.4099885962922959,250,0,0
  901. 0.4104986182724451,250,0,0
  902. 0.4109904738488396,250,0,0
  903. 0.4114976857046693,250,0,0
  904. 0.4119991530683447,250,0,0
  905. 0.41249611342388054,250,0,0
  906. 0.41299853269152015,250,0,0
  907. 0.41349803217991965,250,0,0
  908. 0.413997782486119,250,0,0
  909. 0.4144973481194234,250,0,0
  910. 0.41499696507547446,250,0,0
  911. 0.41549283242792034,250,0,0
  912. 0.41599934384448506,250,0,0
  913. 0.4164991584604097,250,0,0
  914. 0.4169983617818422,250,0,0
  915. 0.4174913017785194,250,0,0
  916. 0.41799563467770706,250,0,0
  917. 0.41849879822205405,250,0,0
  918. 0.41899191966463517,250,0,0
  919. 0.41949801108427864,250,0,0
  920. 0.419995621688307,250,0,0
  921. 0.4204970955915295,250,0,0
  922. 0.4209962894194136,250,0,0
  923. 0.42149883621700795,250,0,0
  924. 0.42199264511496776,250,0,0
  925. 0.42249397410332773,250,0,0
  926. 0.4229988378226493,250,0,0
  927. 0.42349876155454874,250,0,0
  928. 0.4239927259851439,250,0,0
  929. 0.42448942083940205,250,0,0
  930. 0.42499978226567986,250,0,0
  931. 0.4254990329744615,250,0,0
  932. 0.42598926428501305,250,0,0
  933. 0.42649978840248126,250,0,0
  934. 0.42699918066582315,250,0,0
  935. 0.42749468855635864,250,0,0
  936. 0.4279954437617689,250,0,0
  937. 0.4284891950926932,250,0,0
  938. 0.42898460527722365,250,0,0
  939. 0.42949444488452204,250,0,0
  940. 0.42999881672238605,250,0,0
  941. 0.43049947428721114,250,0,0
  942. 0.4309873169710554,250,0,0
  943. 0.4314924055636883,250,0,0
  944. 0.43199775127529866,250,0,0
  945. 0.4324948568562808,250,0,0
  946. 0.43299186471857626,250,0,0
  947. 0.43349539604043863,250,0,0
  948. 0.43399710423085636,250,0,0
  949. 0.4344962794101898,250,0,0
  950. 0.4349984247359435,250,0,0
  951. 0.43549065776383017,250,0,0
  952. 0.4359993537554448,250,0,0
  953. 0.4364981103744798,250,0,0
  954. 0.43699377044876353,250,0,0
  955. 0.4374960788458189,250,0,0
  956. 0.4379997952874684,250,0,0
  957. 0.4384990046871277,250,0,0
  958. 0.4389916849859819,250,0,0
  959. 0.43949785561419136,250,0,0
  960. 0.43999601207798367,250,0,0
  961. 0.44049733457584384,250,0,0
  962. 0.4409969297922742,250,0,0
  963. 0.4414869275952023,250,0,0
  964. 0.4419987358130043,250,0,0
  965. 0.44249328784105024,250,0,0
  966. 0.44299870660353013,250,0,0
  967. 0.4434925482901588,250,0,0
  968. 0.44399290348124615,250,0,0
  969. 0.44449948599443406,250,0,0
  970. 0.4449950031953076,250,0,0
  971. 0.4454982946720876,250,0,0
  972. 0.4459917499100915,250,0,0
  973. 0.4464962552023678,250,0,0
  974. 0.44699806340618853,250,0,0
  975. 0.4474978629264003,250,0,0
  976. 0.4479989789201676,250,0,0
  977. 0.4484990294602079,250,0,0
  978. 0.4489930838518595,250,0,0
  979. 0.44948990942412,250,0,0
  980. 0.44999927622139885,250,0,0
  981. 0.45049503330330365,250,0,0
  982. 0.4509964680715785,250,0,0
  983. 0.45149432991637867,250,0,0
  984. 0.45199926232989923,250,0,0
  985. 0.4524823907158311,250,0,0
  986. 0.452996975680205,250,0,0
  987. 0.4534942617095819,250,0,0
  988. 0.45399958958743547,250,0,0
  989. 0.4544993797277693,250,0,0
  990. 0.4549974700705878,250,0,0
  991. 0.4554915566646827,250,0,0
  992. 0.45599328421523005,250,0,0
  993. 0.45649280403234566,250,0,0
  994. 0.4569889893280232,250,0,0
  995. 0.45749257932285786,250,0,0
  996. 0.4579950150566924,250,0,0
  997. 0.4584962293937812,250,0,0
  998. 0.45899437532763165,250,0,0
  999. 0.4594959401202285,250,0,0
  1000. 0.45999378127435614,250,0,0
  1001. 0.460493620406958,250,0,0
  1002. 0.46099619178581597,250,0,0
  1003. 0.46148606658398994,250,0,0
  1004. 0.4619991333224827,250,0,0
  1005. 0.4624992991344694,250,0,0
  1006. 0.46299812210150154,250,0,0
  1007. 0.4634979139477303,250,0,0
  1008. 0.46399877397982886,250,0,0
  1009. 0.4644980837809388,250,0,0
  1010. 0.4649908873846984,250,0,0
  1011. 0.465494052720904,250,0,0
  1012. 0.46599161541257206,250,0,0
  1013. 0.46649779400540425,250,0,0
  1014. 0.4669969358778617,250,0,0
  1015. 0.46749820380273505,250,0,0
  1016. 0.46799767966274025,250,0,0
  1017. 0.46849976898925644,250,0,0
  1018. 0.46899626684339113,250,0,0
  1019. 0.4694934327319714,250,0,0
  1020. 0.4699847000705716,250,0,0
  1021. 0.4704989204483259,250,0,0
  1022. 0.4709972551876501,250,0,0
  1023. 0.471496678842318,250,0,0
  1024. 0.47199923020504597,250,0,0
  1025. 0.47249914294856465,250,0,0
  1026. 0.4729967579955309,250,0,0
  1027. 0.4734986048990986,250,0,0
  1028. 0.47399721991735466,250,0,0
  1029. 0.47448802125009776,250,0,0
  1030. 0.4749991464103281,250,0,0
  1031. 0.4754948278316458,250,0,0
  1032. 0.4759981645975066,250,0,0
  1033. 0.47649952464800654,250,0,0
  1034. 0.47699893002983795,250,0,0
  1035. 0.4774957956328751,250,0,0
  1036. 0.4779886994023619,250,0,0
  1037. 0.47849599222772027,250,0,0
  1038. 0.47899786837084135,250,0,0
  1039. 0.4794986464459121,250,0,0
  1040. 0.4799899010264176,250,0,0
  1041. 0.48049620134226007,250,0,0
  1042. 0.4809960272738808,250,0,0
  1043. 0.48149763356083053,250,0,0
  1044. 0.4819979492830126,250,0,0
  1045. 0.48249426633814596,250,0,0
  1046. 0.4829899487866038,250,0,0
  1047. 0.48349670307899417,250,0,0
  1048. 0.4839984002363911,250,0,0
  1049. 0.4844981029738943,250,0,0
  1050. 0.4849930532523166,250,0,0
  1051. 0.4854948684807901,250,0,0
  1052. 0.48599990631208656,250,0,0
  1053. 0.4864979113961126,250,0,0
  1054. 0.4869982555683755,250,0,0
  1055. 0.4874983606498759,250,0,0
  1056. 0.4879931221780346,250,0,0
  1057. 0.48849653291315026,250,0,0
  1058. 0.4889973122582665,250,0,0
  1059. 0.4894964857052501,250,0,0
  1060. 0.48999852449384906,250,0,0
  1061. 0.49049832295085216,250,0,0
  1062. 0.49099323755679897,250,0,0
  1063. 0.49149637114884837,250,0,0
  1064. 0.4919987982304591,250,0,0
  1065. 0.49249929446161017,250,0,0
  1066. 0.49299988748878976,250,0,0
  1067. 0.49349055611659404,250,0,0
  1068. 0.4939948724905572,250,0,0
  1069. 0.49449934355874403,250,0,0
  1070. 0.49499990780907976,250,0,0
  1071. 0.49549647746118003,250,0,0
  1072. 0.49599907979634605,250,0,0
  1073. 0.49648873311921304,250,0,0
  1074. 0.4969989648913355,250,0,0
  1075. 0.49749940396245673,250,0,0
  1076. 0.49799990365584923,250,0,0
  1077. 0.4984958663917934,250,0,0
  1078. 0.4989991825974467,250,0,0
  1079. 0.49949951049686003,250,0,0
  1080. 0.499997576048443,250,0,0
  1081. 0.5000011296440222,250,0,0
  1082. ]]></CSV>
  1083. </Simulation>
  1084. <Log>
  1085. <Entry Count="1" Message="-Initialization..." Position="1232028204.357" Type="INFO"></Entry>
  1086. <Entry Count="1" Message="--Computing initial state" Position="1232028204.357" Type="INFO"></Entry>
  1087. <Entry Count="1" Message="--Abstracting activation map..." Position="1232028204.389" Type="INFO"></Entry>
  1088. <Entry Count="1" Message="--Abstraction: 0.0 sec. CPU" Position="1232028204.389" Type="INFO"></Entry>
  1089. <Entry Count="1" Message="--Activation map computed" Position="1232028204.389" Type="INFO"></Entry>
  1090. <Entry Count="1" Message="-Initialization: 0.0625 sec. CPU" Position="1232028204.420" Type="INFO"></Entry>
  1091. <Entry Count="1" Message="-Simulation..." Position="1232028204.420" Type="INFO"></Entry>
  1092. <Entry Count="1" Message="-Simulation: 1.9218750000000002 sec. CPU" Position="1232028207.123" Type="INFO"></Entry>
  1093. <Entry Count="1" Message="-Building xml tree for influence map: 0.0 sec. CPU" Position="1232028207.123" Type="INFO"></Entry>
  1094. <Entry Count="1" Message="-Building xml tree for data points: 0.765625 sec. CPU" Position="1232028207.920" Type="INFO"></Entry>
  1095. </Log>
  1096. </SimplxSession>