calcium2_java.xml | searchcode

/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
Possible License(s): LGPL-3.0, Apache-2.0
   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[
  814.958207044270614E-4,0,0,0
  829.973782029303233E-4,0,0,0
  830.0014856566564184974,0,0,0
  840.0019942404568697495,0,0,0
  850.0024950493139746957,0,0,0
  860.002992657297283721,0,0,0
  870.003480847664978184,0,0,0
  880.003968386719617892,0,0,0
  890.00448944556056938,0,0,0
  900.004966082553377439,0,0,0
  910.005498522020764849,0,0,0
  920.005968002463658435,0,0,0
  930.006499870598519532,0,0,0
  940.006996077173988772,0,0,0
  950.007461139781429464,0,0,0
  960.007998272115962522,0,0,0
  970.008488840608575842,0,0,0
  980.008988583374687123,0,0,0
  990.009496053416725462,0,0,0
 1000.009989942672086378,0,0,0
 1010.010494597153386314,0,0,0
 1020.010993092437756265,0,0,0
 1030.011479891903032557,0,0,0
 1040.01199959407485203,0,0,0
 1050.012492845231011074,0,0,0
 1060.012979716551468918,0,0,0
 1070.013497111756802873,0,0,0
 1080.013997973227315339,0,0,0
 1090.014493663946948154,0,0,0
 1100.014999376024519832,0,0,0
 1110.015497008742963973,0,0,0
 1120.015995708645140976,0,0,0
 1130.016495526118561865,0,0,0
 1140.016998475605245096,0,0,0
 1150.017497178215129028,0,0,0
 1160.017995254711360213,0,0,1
 1170.018497372786533513,0,0,2
 1180.018995047481743126,0,0,2
 1190.01949986440468281,0,0,2
 1200.01999365624380629,0,1,4
 1210.02049072517518534,0,1,4
 1220.020993506871481434,0,2,4
 1230.0214996237946386,0,2,4
 1240.021999799040785917,0,2,4
 1250.02249910183664751,0,3,4
 1260.02299905603071359,0,3,4
 1270.023497983457393776,0,3,4
 1280.023996010417465713,0,3,4
 1290.024490807987999404,1,2,4
 1300.0249955337297868,1,2,5
 1310.025492232804318917,1,3,5
 1320.025999900835862143,1,3,5
 1330.026496981704590875,1,3,7
 1340.026991887961029196,2,4,7
 1350.027499661468459995,2,4,9
 1360.027998359368786745,2,4,9
 1370.028498994798303236,2,4,10
 1380.028999739328981592,2,5,10
 1390.029498323367415986,2,6,10
 1400.02998617266957734,2,7,11
 1410.030495790707163548,2,7,11
 1420.03099520640303478,2,7,12
 1430.031491273292347396,3,7,12
 1440.03199966233413573,3,7,13
 1450.03249786865486464,3,8,13
 1460.032999112684347714,3,8,13
 1470.03349785288047103,3,9,14
 1480.03399761497227762,3,11,16
 1490.03449885440953312,3,11,17
 1500.03499824417892278,3,13,17
 1510.03548974546706696,3,14,17
 1520.035997814532957875,3,14,18
 1530.036494120591549564,3,16,18
 1540.03699894062080799,3,16,18
 1550.03748232339401269,4,16,19
 1560.037994738262900354,5,15,22
 1570.038499406336351814,5,16,22
 1580.038999411219368695,5,16,24
 1590.03949819985847825,5,17,26
 1600.039997510105147537,5,18,29
 1610.04049765954470145,5,18,31
 1620.04099929174773355,5,18,32
 1630.04149276340451295,5,19,33
 1640.041993898933988964,5,19,34
 1650.04249946641006409,5,20,35
 1660.04299661539952524,5,21,36
 1670.043495544400353574,5,22,38
 1680.04398880407019761,7,21,38
 1690.04449016664617137,7,22,40
 1700.04499949367168243,7,22,41
 1710.04549876849148923,8,21,42
 1720.04599915930102527,8,21,43
 1730.046499857807723616,9,20,44
 1740.04699855235259837,9,22,47
 1750.04749449122631278,9,23,49
 1760.047996683899652885,9,23,50
 1770.04849859151150109,9,23,52
 1780.04899982513408489,9,23,52
 1790.04949894151500651,9,23,54
 1800.04999852434880882,9,24,55
 1810.05048570303580225,10,23,57
 1820.05099976704340681,10,24,60
 1830.05149823029878936,11,24,62
 1840.05199973826618399,11,24,64
 1850.052488543513860564,13,24,62
 1860.0529964688249013,15,24,61
 1870.053497925810268056,16,25,62
 1880.0539911169634267,19,23,62
 1890.054498736861386246,19,25,64
 1900.05498324104740521,19,25,65
 1910.05549487627895364,20,25,65
 1920.05599530114975212,21,25,67
 1930.05649858326424733,23,24,70
 1940.056997974113872966,24,23,73
 1950.05749862005105414,25,22,74
 1960.057991767857231355,27,23,73
 1970.05849632527231832,28,22,74
 1980.05899419505215961,28,22,74
 1990.05949459507982955,32,20,73
 2000.05999815618183163,32,21,77
 2010.06049087101095581,33,21,78
 2020.0609983746351697,34,21,80
 2030.06149746456718216,35,21,79
 2040.06199804643716211,36,22,80
 2050.06249559701482605,36,22,80
 2060.06299910409491473,36,23,84
 2070.06349909379298334,37,22,85
 2080.06399860535112044,37,23,89
 2090.06449173328437996,38,23,89
 2100.06499042206874404,38,23,91
 2110.06549208206796019,42,23,90
 2120.06599801765341695,45,23,87
 2130.06649105571579714,45,24,88
 2140.06699881619455003,45,24,89
 2150.06749534202734898,46,25,89
 2160.06799086286324214,46,27,89
 2170.06849095818768482,49,26,91
 2180.06899650291705567,49,26,91
 2190.06949827839508382,50,25,92
 2200.06999706779419522,52,24,91
 2210.07047964427969995,54,24,92
 2220.0709992994763099,54,24,93
 2230.07149486647168027,57,23,93
 2240.07199637964232117,60,22,93
 2250.07249083372431445,61,21,94
 2260.07299127959721856,61,21,94
 2270.07349646832165245,63,21,93
 2280.07399935623167156,66,21,91
 2290.07449928260549256,66,23,92
 2300.0749862863777877,66,25,93
 2310.0754966606826096,68,23,95
 2320.07599711732273032,69,22,98
 2330.07649762375401495,70,22,97
 2340.07699529122930907,71,24,97
 2350.07749762434709848,71,24,98
 2360.0779978246956105,72,24,100
 2370.078499967918555,75,24,98
 2380.07899962445910291,77,24,97
 2390.07949957665953765,77,24,97
 2400.07999914767001184,78,25,96
 2410.08049731466001936,80,23,98
 2420.08099710836276189,81,23,99
 2430.08149570230267272,81,24,100
 2440.08199294658712024,83,23,99
 2450.0824992754109801,84,22,100
 2460.08299234359423013,84,23,100
 2470.08349955072206655,86,22,100
 2480.083995597513687,88,23,98
 2490.08449645838204925,91,23,98
 2500.08499499480467193,91,23,98
 2510.08549855831613391,92,23,97
 2520.08599975715756421,95,23,95
 2530.086496898198992,99,23,92
 2540.0869971692708802,99,23,92
 2550.08749963112684729,101,25,91
 2560.08799416057525555,102,25,90
 2570.08849658011870881,104,23,90
 2580.08899465201364115,104,23,90
 2590.08949234381305576,106,24,88
 2600.08999880197942599,107,23,89
 2610.09049757869504325,107,23,89
 2620.0909972943334712,107,23,89
 2630.09149407525233107,108,24,88
 2640.09199901684266404,110,24,86
 2650.0924971849735367,112,25,84
 2660.09299609158214647,113,26,84
 2670.09349862568475496,113,26,84
 2680.093997196320059,113,27,85
 2690.09449711368030698,114,27,84
 2700.09499856569357061,115,28,85
 2710.09549807176823208,116,28,84
 2720.09599796313832942,116,28,84
 2730.09649726512805883,119,28,83
 2740.09699656013148254,120,28,82
 2750.09749475397526391,122,27,81
 2760.09799983777706552,123,26,81
 2770.09849236289787795,126,25,79
 2780.09899696651788709,128,24,81
 2790.0994999190740134,129,24,80
 2800.09998838292805663,130,24,79
 2810.10049864420742666,130,24,79
 2820.10099931728233127,131,23,79
 2830.10149702071534963,131,23,79
 2840.10199928330747524,133,23,77
 2850.10249848446777071,134,22,77
 2860.1029967681227197,136,22,75
 2870.10349674547376762,136,22,76
 2880.10399839223971978,139,21,75
 2890.10449928018107271,140,21,75
 2900.10499775190749049,141,22,74
 2910.10549848472023673,143,22,73
 2920.105996520689059,144,22,72
 2930.10649381648359706,147,20,72
 2940.10699942548086039,150,18,71
 2950.10749563166019917,151,19,70
 2960.10799900435625047,151,19,71
 2970.10849738733199328,152,18,71
 2980.10899966171549565,153,18,70
 2990.10949634595936743,154,18,70
 3000.10999234089414966,155,17,70
 3010.11049946010025337,157,17,68
 3020.11099924642043979,158,17,67
 3030.11149178025674077,160,17,65
 3040.11199782853888819,162,16,64
 3050.1124919422699494,162,16,64
 3060.11299829566639309,163,15,64
 3070.11349899015915346,163,15,64
 3080.1139999430522566,164,15,64
 3090.11448707711659956,164,15,64
 3100.11499482335415506,167,14,62
 3110.1154869322060919,167,14,62
 3120.11599666008600688,168,14,61
 3130.11649728919605046,169,14,61
 3140.11699996795530236,172,14,58
 3150.11748948316221268,175,14,55
 3160.11799900574368026,175,14,55
 3170.1184934116078697,178,12,54
 3180.11899850245649113,179,12,53
 3190.11949890045520696,179,12,54
 3200.11999477701976917,180,12,53
 3210.12049635941218721,181,11,53
 3220.12099832511954782,181,12,53
 3230.1214994288058747,183,12,51
 3240.12199585023834404,186,11,49
 3250.12249134714512959,186,11,49
 3260.12299770134390094,186,11,49
 3270.12349937039143473,186,11,49
 3280.12399393443396219,187,11,48
 3290.12449834866305753,189,10,47
 3300.12499527695497793,191,10,45
 3310.1254994897350119,193,9,44
 3320.12599668157900396,194,9,44
 3330.1264985053171071,194,9,44
 3340.12699962428790318,195,9,43
 3350.1274813599055704,196,9,42
 3360.1279983050399284,196,9,42
 3370.12849800005324694,197,9,42
 3380.12899304604166761,197,9,42
 3390.1294990345248325,197,9,42
 3400.1299985580286781,198,8,42
 3410.13049618147913022,198,8,42
 3420.13099753066579414,198,8,42
 3430.13149554092260976,199,7,43
 3440.13199952090365963,199,7,43
 3450.13248223268771395,199,7,43
 3460.13299464107618592,202,6,41
 3470.13349670332609054,204,6,39
 3480.13399429920629766,204,6,39
 3490.13449661206625851,204,6,39
 3500.13498789550291335,205,6,39
 3510.13549747078704624,206,5,39
 3520.13598885287195842,207,5,38
 3530.1364998146531777,207,5,38
 3540.13699388244807834,208,5,37
 3550.13749983122852194,210,5,35
 3560.13799965228667552,210,5,35
 3570.1384970838942696,211,5,34
 3580.1389995873749626,211,5,34
 3590.13949466823984327,213,4,33
 3600.13999914960099866,213,4,33
 3610.14049011226111882,213,4,33
 3620.14099342795867262,213,4,33
 3630.14149648052855948,214,4,32
 3640.1419946346067825,214,4,32
 3650.1424968148833849,215,3,32
 3660.14299803902795094,217,2,31
 3670.14349818546059545,218,2,30
 3680.1439984073825922,218,2,30
 3690.14449225754680659,220,2,28
 3700.144991535221946,220,2,28
 3710.14549651748397846,220,2,28
 3720.1459999622316285,220,2,28
 3730.14649870532772039,220,2,28
 3740.14699707637043544,222,2,26
 3750.14749901135591567,222,2,26
 3760.14799470985833138,223,2,25
 3770.14849736729370397,223,2,25
 3780.1489979824986438,225,2,23
 3790.14949126596524062,225,2,23
 3800.1499987297312671,226,2,22
 3810.15049894502283298,226,2,22
 3820.1509962920712034,226,2,22
 3830.15149689380950482,226,2,22
 3840.15199879222489807,227,2,21
 3850.15249995830930396,227,2,21
 3860.15299921230033392,227,2,21
 3870.1534975161475144,227,2,21
 3880.1539997952253654,227,2,21
 3890.15449786193475304,227,2,21
 3900.15499829772403603,227,2,21
 3910.15549935915678703,227,2,21
 3920.1559974618372596,227,2,21
 3930.15648932991581896,227,2,21
 3940.15699420339169903,228,2,20
 3950.15749481779339525,228,2,20
 3960.15799649697398144,228,2,20
 3970.15849470521367628,228,2,20
 3980.1589920518523367,228,2,20
 3990.15949928632162402,229,2,19
 4000.15999882523774162,229,2,19
 4010.16049874825160643,230,2,18
 4020.16099885578851042,231,2,17
 4030.1614977636060155,231,2,17
 4040.1619916733904027,232,1,17
 4050.16249271769282952,232,1,17
 4060.16299781783225584,232,1,17
 4070.1634975628964345,232,1,17
 4080.16398237813578373,232,1,17
 4090.16449903414030503,232,1,17
 4100.16499944112937578,232,1,17
 4110.1654980550542378,232,1,17
 4120.16598664911554797,232,1,17
 4130.16649816790796634,232,1,17
 4140.1669939751239584,232,1,17
 4150.16749404291332876,232,1,17
 4160.16799915469501595,232,1,17
 4170.16849699162481452,234,1,15
 4180.16899736708594132,234,1,15
 4190.16949562130443582,234,1,15
 4200.16999839561105148,234,1,15
 4210.17049873743654229,235,1,14
 4220.1709998389644906,235,1,14
 4230.1714899899907178,235,1,14
 4240.17199871577597584,235,1,14
 4250.1724985587184033,236,1,13
 4260.17299795895266892,236,1,13
 4270.1734909376604904,236,1,13
 4280.17399974899204831,236,1,13
 4290.17449377110380246,236,1,13
 4300.17499913500300748,236,1,13
 4310.1754832400783442,237,1,12
 4320.1759991479159118,237,1,12
 4330.176492633988494,237,1,12
 4340.17698649779817174,237,1,12
 4350.17749446938916216,237,1,12
 4360.17799989940481786,237,1,12
 4370.1784879609330076,237,1,12
 4380.1789998125394602,237,1,12
 4390.1794894159241918,237,1,12
 4400.17999765306575566,237,1,12
 4410.18049552272869074,238,1,11
 4420.1809857652676557,238,1,11
 4430.1814978851430833,238,1,11
 4440.18199328588153585,238,1,11
 4450.18248696647759866,238,1,11
 4460.18299857368516734,239,1,10
 4470.18349666563418426,240,1,9
 4480.18399969300572133,240,1,9
 4490.1844996050047207,240,1,9
 4500.1849979449144478,240,1,9
 4510.18549952620125115,241,1,8
 4520.1859994825628808,241,1,8
 4530.1864755399596754,241,1,8
 4540.18698254676819426,241,1,8
 4550.18749926339995704,241,1,8
 4560.18799713138977353,241,1,8
 4570.18849842039851425,241,1,8
 4580.18899654408626265,241,1,8
 4590.1894960311075588,242,1,7
 4600.189999038609469,242,1,7
 4610.1904832453155231,242,1,7
 4620.19099988378583452,242,1,7
 4630.19149756007554364,242,1,7
 4640.19199969187102472,242,1,7
 4650.19249824659895404,242,1,7
 4660.1929952434714552,242,1,7
 4670.19349925570662613,242,1,7
 4680.1939979041650681,242,1,7
 4690.19449799619128125,243,1,6
 4700.1949970965667558,243,1,6
 4710.19548681883396943,243,1,6
 4720.19599020702319542,243,1,6
 4730.19649853494480748,243,1,6
 4740.19699639300113506,243,1,6
 4750.19748990707284805,243,1,6
 4760.19798526149056148,243,1,6
 4770.19849852273925625,243,1,6
 4780.19899854745084916,243,1,6
 4790.19949710175894134,244,1,5
 4800.19999837234938553,244,1,5
 4810.20049791876732004,244,1,5
 4820.20099407673501132,245,1,4
 4830.2014998811388614,245,1,4
 4840.2019933639395449,245,1,4
 4850.2024978483366489,246,1,3
 4860.2029950116501881,246,1,3
 4870.20349559677459572,246,1,3
 4880.2039983123611102,246,1,3
 4890.20449913254259505,247,0,3
 4900.2049953393600436,247,0,3
 4910.20549452862674142,247,0,3
 4920.2059974591053016,247,0,3
 4930.2064987982020539,247,0,3
 4940.2069990565352073,247,0,3
 4950.20749650779254014,247,0,3
 4960.2079988426993855,247,0,3
 4970.2084879614385541,247,0,3
 4980.20899980808440927,247,0,3
 4990.20949831773435068,247,0,3
 5000.2099988958028376,247,0,3
 5010.2104970785531388,247,0,3
 5020.2109997997031802,247,0,3
 5030.21149799407967168,248,0,2
 5040.21199906650242734,248,0,2
 5050.21249795011437733,248,0,2
 5060.21299213201902265,248,0,2
 5070.21349741470337086,248,0,2
 5080.2139995608511187,248,0,2
 5090.21449480021277925,249,0,1
 5100.21499721769199806,250,0,0
 5110.2154991303351652,250,0,0
 5120.21599862002674852,250,0,0
 5130.21649486523752504,250,0,0
 5140.21699942279021278,250,0,0
 5150.2174993627988082,250,0,0
 5160.21799963388339672,250,0,0
 5170.2184933884394287,250,0,0
 5180.21899322673472657,250,0,0
 5190.21949270723124223,250,0,0
 5200.21999851421131608,250,0,0
 5210.22049677266069162,250,0,0
 5220.22099612924217252,250,0,0
 5230.22149890328570468,250,0,0
 5240.22199913034049903,250,0,0
 5250.22249710568541445,250,0,0
 5260.22299828416923173,250,0,0
 5270.22349548447654202,250,0,0
 5280.2239846403543025,250,0,0
 5290.22449832997178729,250,0,0
 5300.22499815577338372,250,0,0
 5310.22548751391709287,250,0,0
 5320.2259994648050567,250,0,0
 5330.2264995208844932,250,0,0
 5340.22699958788014818,250,0,0
 5350.22749784763143527,250,0,0
 5360.22799712864828833,250,0,0
 5370.2284989466500739,250,0,0
 5380.22899795615472454,250,0,0
 5390.2294995333363549,250,0,0
 5400.2299983065336135,250,0,0
 5410.230499360619862,250,0,0
 5420.2309943393763265,250,0,0
 5430.23149404547634353,250,0,0
 5440.2319996506563039,250,0,0
 5450.2324985102619244,250,0,0
 5460.23299922043253066,250,0,0
 5470.23349981072997184,250,0,0
 5480.2339983113221338,250,0,0
 5490.23449463333306675,250,0,0
 5500.23499070469888034,250,0,0
 5510.23549435673562172,250,0,0
 5520.23599540210191874,250,0,0
 5530.2364985457545072,250,0,0
 5540.23699640933653016,250,0,0
 5550.2374854734839194,250,0,0
 5560.23799401032103618,250,0,0
 5570.23849683569237604,250,0,0
 5580.23899744352760705,250,0,0
 5590.23949966539925802,250,0,0
 5600.2399997826533308,250,0,0
 5610.24049435045574277,250,0,0
 5620.24099997660496247,250,0,0
 5630.2414982041928621,250,0,0
 5640.24199960379015797,250,0,0
 5650.24249883602794325,250,0,0
 5660.24299809629363173,250,0,0
 5670.24349811379170339,250,0,0
 5680.2439983611003563,250,0,0
 5690.2444992477798562,250,0,0
 5700.24499823577658475,250,0,0
 5710.2454971717927675,250,0,0
 5720.24598913040976333,250,0,0
 5730.2464981596570032,250,0,0
 5740.24699850967962947,250,0,0
 5750.24749790737093902,250,0,0
 5760.2479979770373552,250,0,0
 5770.24849319326303315,250,0,0
 5780.24899712321555617,250,0,0
 5790.24949897126391887,250,0,0
 5800.24999683685917015,250,0,0
 5810.2504902387239261,250,0,0
 5820.25099358606043165,250,0,0
 5830.2514973499244281,250,0,0
 5840.2519958815075264,250,0,0
 5850.2524893714897781,250,0,0
 5860.25299969661128996,250,0,0
 5870.2534987303510508,250,0,0
 5880.2539904335288653,250,0,0
 5890.2544909781410352,250,0,0
 5900.2549907841184678,250,0,0
 5910.2554982178049761,250,0,0
 5920.25599838739589637,250,0,0
 5930.2564933989837403,250,0,0
 5940.2569890670447711,250,0,0
 5950.25749781021433277,250,0,0
 5960.2579896261110008,250,0,0
 5970.2584936976449286,250,0,0
 5980.2589982874896469,250,0,0
 5990.2594994177758466,250,0,0
 6000.25999733608033515,250,0,0
 6010.2604967401821835,250,0,0
 6020.2609934298289385,250,0,0
 6030.26149704136094276,250,0,0
 6040.2619978734475374,250,0,0
 6050.26249861489179954,250,0,0
 6060.26299980130402334,250,0,0
 6070.2634934876785393,250,0,0
 6080.2639934813696191,250,0,0
 6090.26449822121408717,250,0,0
 6100.2649952896256005,250,0,0
 6110.26549291423952,250,0,0
 6120.26599683993887424,250,0,0
 6130.2664995260029199,250,0,0
 6140.2669952484412221,250,0,0
 6150.26749859522436276,250,0,0
 6160.26799167873527135,250,0,0
 6170.26849891186779323,250,0,0
 6180.2689934069025098,250,0,0
 6190.2694964778121393,250,0,0
 6200.26999778154381493,250,0,0
 6210.2704991696682408,250,0,0
 6220.2709934238750335,250,0,0
 6230.2714980536625799,250,0,0
 6240.27199315540457963,250,0,0
 6250.272492402965454,250,0,0
 6260.27299995403460087,250,0,0
 6270.2734914821440477,250,0,0
 6280.2739997592570557,250,0,0
 6290.2744987321185492,250,0,0
 6300.27499650536733294,250,0,0
 6310.275488195047301,250,0,0
 6320.27599729968135583,250,0,0
 6330.2764918984026956,250,0,0
 6340.276997645802491,250,0,0
 6350.2774998279642239,250,0,0
 6360.2779958057503394,250,0,0
 6370.27849762971392866,250,0,0
 6380.27899948177757666,250,0,0
 6390.27949169874080204,250,0,0
 6400.2799995319551197,250,0,0
 6410.28049011119472955,250,0,0
 6420.28099431768938327,250,0,0
 6430.28149699722805227,250,0,0
 6440.28199668472440553,250,0,0
 6450.2824912783170216,250,0,0
 6460.28299032219360426,250,0,0
 6470.28349921466834466,250,0,0
 6480.28399891887012846,250,0,0
 6490.2844961943950204,250,0,0
 6500.28499112875494187,250,0,0
 6510.28549970261860513,250,0,0
 6520.2859956362133587,250,0,0
 6530.28649832937648706,250,0,0
 6540.2869913171043849,250,0,0
 6550.287499062054554,250,0,0
 6560.287999959415386,250,0,0
 6570.2884966775343071,250,0,0
 6580.288998858553678,250,0,0
 6590.28949905064954323,250,0,0
 6600.2899995185739804,250,0,0
 6610.2904976846247765,250,0,0
 6620.290996406313663,250,0,0
 6630.29149812656254676,250,0,0
 6640.29199541513483696,250,0,0
 6650.2924960851944486,250,0,0
 6660.29297434705916026,250,0,0
 6670.2934989468824999,250,0,0
 6680.2939974138490051,250,0,0
 6690.2944943651341335,250,0,0
 6700.29499899568666266,250,0,0
 6710.29549904242774105,250,0,0
 6720.29599903491558566,250,0,0
 6730.2964871245940689,250,0,0
 6740.2969893596669396,250,0,0
 6750.2974957976292929,250,0,0
 6760.2979978642011921,250,0,0
 6770.29849953560372583,250,0,0
 6780.29899690287357616,250,0,0
 6790.2994990018517902,250,0,0
 6800.2999931862378017,250,0,0
 6810.300498662093075,250,0,0
 6820.3009968082765332,250,0,0
 6830.30149894938161415,250,0,0
 6840.30199518902116457,250,0,0
 6850.3024952220886354,250,0,0
 6860.3029943381415782,250,0,0
 6870.3034979765670144,250,0,0
 6880.3039946612756511,250,0,0
 6890.30449809915075116,250,0,0
 6900.30499957553271256,250,0,0
 6910.3054991037946962,250,0,0
 6920.30599637400379043,250,0,0
 6930.30648608567195906,250,0,0
 6940.3069987996523571,250,0,0
 6950.3074948791079966,250,0,0
 6960.30799475141416666,250,0,0
 6970.30849956525089606,250,0,0
 6980.30899963820582244,250,0,0
 6990.3094953807046367,250,0,0
 7000.30999804799039427,250,0,0
 7010.3104974811603386,250,0,0
 7020.3109992503132238,250,0,0
 7030.31149881964354803,250,0,0
 7040.3119996503426826,250,0,0
 7050.31249525740199335,250,0,0
 7060.3129931943905726,250,0,0
 7070.31349649158456877,250,0,0
 7080.31399927931452676,250,0,0
 7090.31449341784411805,250,0,0
 7100.31499878819192395,250,0,0
 7110.3154954413902962,250,0,0
 7120.3159955691899735,250,0,0
 7130.31649873663365174,250,0,0
 7140.3169990217610964,250,0,0
 7150.31749136608748646,250,0,0
 7160.31799828852652634,250,0,0
 7170.3184966260725497,250,0,0
 7180.31899970066838396,250,0,0
 7190.3194987262381077,250,0,0
 7200.3199990189415161,250,0,0
 7210.32049734766666305,250,0,0
 7220.32099737560910274,250,0,0
 7230.3214982930821855,250,0,0
 7240.32198168484162026,250,0,0
 7250.32249965613907655,250,0,0
 7260.3229975622195381,250,0,0
 7270.3234954798846789,250,0,0
 7280.32399981744341644,250,0,0
 7290.3244937895838079,250,0,0
 7300.3249985172148352,250,0,0
 7310.3254963819101225,250,0,0
 7320.3259953840779257,250,0,0
 7330.32649340137955146,250,0,0
 7340.3269914703840341,250,0,0
 7350.32749732521020347,250,0,0
 7360.3279817370525462,250,0,0
 7370.32849948398344786,250,0,0
 7380.3289994307395789,250,0,0
 7390.3294915568247072,250,0,0
 7400.3299992253131384,250,0,0
 7410.3304923960038645,250,0,0
 7420.33099573152349243,250,0,0
 7430.33149639813982823,250,0,0
 7440.33199784084195827,250,0,0
 7450.3324957444623901,250,0,0
 7460.33299777337737346,250,0,0
 7470.3334940009155389,250,0,0
 7480.333996105104681,250,0,0
 7490.33449989749803677,250,0,0
 7500.334998692296941,250,0,0
 7510.3354909624534242,250,0,0
 7520.3359990632045767,250,0,0
 7530.33649847655805104,250,0,0
 7540.3369811706372839,250,0,0
 7550.3374994190767657,250,0,0
 7560.33799731933718463,250,0,0
 7570.33849966287124594,250,0,0
 7580.33899614016915025,250,0,0
 7590.3394946095659161,250,0,0
 7600.33999773643890957,250,0,0
 7610.3404998327996035,250,0,0
 7620.3409963842652969,250,0,0
 7630.34149528620290637,250,0,0
 7640.3419985077957086,250,0,0
 7650.3424799404571979,250,0,0
 7660.3429877488573771,250,0,0
 7670.34349552944426537,250,0,0
 7680.3439961560164944,250,0,0
 7690.34449991149314146,250,0,0
 7700.34499765917554104,250,0,0
 7710.3454950835745646,250,0,0
 7720.3459997185621333,250,0,0
 7730.346499199550158,250,0,0
 7740.34699299327510646,250,0,0
 7750.3474938848526355,250,0,0
 7760.34799810563799755,250,0,0
 7770.34849934251359604,250,0,0
 7780.3489977062307338,250,0,0
 7790.3494914211280811,250,0,0
 7800.349999971060992,250,0,0
 7810.3504970687374942,250,0,0
 7820.3509989166839812,250,0,0
 7830.35149577364520324,250,0,0
 7840.35199647409315593,250,0,0
 7850.352494894931639,250,0,0
 7860.35299916033934275,250,0,0
 7870.35349468230400716,250,0,0
 7880.35399912507899584,250,0,0
 7890.3544971198293678,250,0,0
 7900.35499351997059925,250,0,0
 7910.3554986157772717,250,0,0
 7920.35599448098047193,250,0,0
 7930.35649797718707416,250,0,0
 7940.3569963070484972,250,0,0
 7950.357499366576444,250,0,0
 7960.35799810739090876,250,0,0
 7970.358497816386196,250,0,0
 7980.3589938093015713,250,0,0
 7990.35949887882446463,250,0,0
 8000.3599958904185615,250,0,0
 8010.3604981789195643,250,0,0
 8020.3609995239637652,250,0,0
 8030.36149581089210814,250,0,0
 8040.36198550286302666,250,0,0
 8050.36249915575788416,250,0,0
 8060.36299685349126887,250,0,0
 8070.3634990698857151,250,0,0
 8080.36399682629939734,250,0,0
 8090.3644993066688323,250,0,0
 8100.36499679289681775,250,0,0
 8110.3654981694419061,250,0,0
 8120.36599627746726715,250,0,0
 8130.3664986239299468,250,0,0
 8140.3669967227558922,250,0,0
 8150.36749990103208235,250,0,0
 8160.3679958531570002,250,0,0
 8170.36849389307053454,250,0,0
 8180.3689977585176658,250,0,0
 8190.3694991018078672,250,0,0
 8200.3699993250425109,250,0,0
 8210.3704939476497447,250,0,0
 8220.3709924074576884,250,0,0
 8230.3714992344038543,250,0,0
 8240.37199683033758446,250,0,0
 8250.3724995252052766,250,0,0
 8260.3729965092178223,250,0,0
 8270.3734990698426817,250,0,0
 8280.3739936773299512,250,0,0
 8290.374495757426045,250,0,0
 8300.37499655496210826,250,0,0
 8310.37549700609247394,250,0,0
 8320.37599871990606704,250,0,0
 8330.3764988132538705,250,0,0
 8340.3769922406557724,250,0,0
 8350.3774974942558562,250,0,0
 8360.3779862888749038,250,0,0
 8370.37849616091110816,250,0,0
 8380.378998178924578,250,0,0
 8390.3794997361136626,250,0,0
 8400.37998755179051447,250,0,0
 8410.3804986650977173,250,0,0
 8420.3809982327129594,250,0,0
 8430.3814988040725106,250,0,0
 8440.38199844198773375,250,0,0
 8450.3824983648337408,250,0,0
 8460.38299837595916114,250,0,0
 8470.3834974129691328,250,0,0
 8480.3839933466145382,250,0,0
 8490.3844995647218713,250,0,0
 8500.3849927008820571,250,0,0
 8510.3854998539064246,250,0,0
 8520.3859906652333554,250,0,0
 8530.38648569373020875,250,0,0
 8540.3869985596728699,250,0,0
 8550.38749155690997467,250,0,0
 8560.3879834733707832,250,0,0
 8570.38848702673993407,250,0,0
 8580.388996422397827,250,0,0
 8590.3894955753266759,250,0,0
 8600.38999802803564276,250,0,0
 8610.39049093762820264,250,0,0
 8620.39099283376780575,250,0,0
 8630.3914928249334823,250,0,0
 8640.391999060416722,250,0,0
 8650.39249821648263805,250,0,0
 8660.39299852309765626,250,0,0
 8670.3934986765178125,250,0,0
 8680.3939986072371425,250,0,0
 8690.39449832061415774,250,0,0
 8700.3949931626465905,250,0,0
 8710.3954956469891602,250,0,0
 8720.39599954935636333,250,0,0
 8730.3964976363556236,250,0,0
 8740.39699706451741,250,0,0
 8750.39749852970474303,250,0,0
 8760.3979986227142975,250,0,0
 8770.39849851034547373,250,0,0
 8780.3989962011462554,250,0,0
 8790.39949085546134583,250,0,0
 8800.3999994783666381,250,0,0
 8810.40049822819805103,250,0,0
 8820.4009900605294113,250,0,0
 8830.401497973464248,250,0,0
 8840.4019994221906407,250,0,0
 8850.4024999730165267,250,0,0
 8860.4029961648346743,250,0,0
 8870.4034917792166439,250,0,0
 8880.4039975837460065,250,0,0
 8890.40449967253132535,250,0,0
 8900.4049940604082673,250,0,0
 8910.40549907589217166,250,0,0
 8920.40599344266972875,250,0,0
 8930.40649938804659436,250,0,0
 8940.4069969870307988,250,0,0
 8950.4074993407999855,250,0,0
 8960.4079986980951926,250,0,0
 8970.40849368267913055,250,0,0
 8980.4089969073806068,250,0,0
 8990.4094925324616786,250,0,0
 9000.4099885962922959,250,0,0
 9010.4104986182724451,250,0,0
 9020.4109904738488396,250,0,0
 9030.4114976857046693,250,0,0
 9040.4119991530683447,250,0,0
 9050.41249611342388054,250,0,0
 9060.41299853269152015,250,0,0
 9070.41349803217991965,250,0,0
 9080.413997782486119,250,0,0
 9090.4144973481194234,250,0,0
 9100.41499696507547446,250,0,0
 9110.41549283242792034,250,0,0
 9120.41599934384448506,250,0,0
 9130.4164991584604097,250,0,0
 9140.4169983617818422,250,0,0
 9150.4174913017785194,250,0,0
 9160.41799563467770706,250,0,0
 9170.41849879822205405,250,0,0
 9180.41899191966463517,250,0,0
 9190.41949801108427864,250,0,0
 9200.419995621688307,250,0,0
 9210.4204970955915295,250,0,0
 9220.4209962894194136,250,0,0
 9230.42149883621700795,250,0,0
 9240.42199264511496776,250,0,0
 9250.42249397410332773,250,0,0
 9260.4229988378226493,250,0,0
 9270.42349876155454874,250,0,0
 9280.4239927259851439,250,0,0
 9290.42448942083940205,250,0,0
 9300.42499978226567986,250,0,0
 9310.4254990329744615,250,0,0
 9320.42598926428501305,250,0,0
 9330.42649978840248126,250,0,0
 9340.42699918066582315,250,0,0
 9350.42749468855635864,250,0,0
 9360.4279954437617689,250,0,0
 9370.4284891950926932,250,0,0
 9380.42898460527722365,250,0,0
 9390.42949444488452204,250,0,0
 9400.42999881672238605,250,0,0
 9410.43049947428721114,250,0,0
 9420.4309873169710554,250,0,0
 9430.4314924055636883,250,0,0
 9440.43199775127529866,250,0,0
 9450.4324948568562808,250,0,0
 9460.43299186471857626,250,0,0
 9470.43349539604043863,250,0,0
 9480.43399710423085636,250,0,0
 9490.4344962794101898,250,0,0
 9500.4349984247359435,250,0,0
 9510.43549065776383017,250,0,0
 9520.4359993537554448,250,0,0
 9530.4364981103744798,250,0,0
 9540.43699377044876353,250,0,0
 9550.4374960788458189,250,0,0
 9560.4379997952874684,250,0,0
 9570.4384990046871277,250,0,0
 9580.4389916849859819,250,0,0
 9590.43949785561419136,250,0,0
 9600.43999601207798367,250,0,0
 9610.44049733457584384,250,0,0
 9620.4409969297922742,250,0,0
 9630.4414869275952023,250,0,0
 9640.4419987358130043,250,0,0
 9650.44249328784105024,250,0,0
 9660.44299870660353013,250,0,0
 9670.4434925482901588,250,0,0
 9680.44399290348124615,250,0,0
 9690.44449948599443406,250,0,0
 9700.4449950031953076,250,0,0
 9710.4454982946720876,250,0,0
 9720.4459917499100915,250,0,0
 9730.4464962552023678,250,0,0
 9740.44699806340618853,250,0,0
 9750.4474978629264003,250,0,0
 9760.4479989789201676,250,0,0
 9770.4484990294602079,250,0,0
 9780.4489930838518595,250,0,0
 9790.44948990942412,250,0,0
 9800.44999927622139885,250,0,0
 9810.45049503330330365,250,0,0
 9820.4509964680715785,250,0,0
 9830.45149432991637867,250,0,0
 9840.45199926232989923,250,0,0
 9850.4524823907158311,250,0,0
 9860.452996975680205,250,0,0
 9870.4534942617095819,250,0,0
 9880.45399958958743547,250,0,0
 9890.4544993797277693,250,0,0
 9900.4549974700705878,250,0,0
 9910.4554915566646827,250,0,0
 9920.45599328421523005,250,0,0
 9930.45649280403234566,250,0,0
 9940.4569889893280232,250,0,0
 9950.45749257932285786,250,0,0
 9960.4579950150566924,250,0,0
 9970.4584962293937812,250,0,0
 9980.45899437532763165,250,0,0
 9990.4594959401202285,250,0,0
10000.45999378127435614,250,0,0
10010.460493620406958,250,0,0
10020.46099619178581597,250,0,0
10030.46148606658398994,250,0,0
10040.4619991333224827,250,0,0
10050.4624992991344694,250,0,0
10060.46299812210150154,250,0,0
10070.4634979139477303,250,0,0
10080.46399877397982886,250,0,0
10090.4644980837809388,250,0,0
10100.4649908873846984,250,0,0
10110.465494052720904,250,0,0
10120.46599161541257206,250,0,0
10130.46649779400540425,250,0,0
10140.4669969358778617,250,0,0
10150.46749820380273505,250,0,0
10160.46799767966274025,250,0,0
10170.46849976898925644,250,0,0
10180.46899626684339113,250,0,0
10190.4694934327319714,250,0,0
10200.4699847000705716,250,0,0
10210.4704989204483259,250,0,0
10220.4709972551876501,250,0,0
10230.471496678842318,250,0,0
10240.47199923020504597,250,0,0
10250.47249914294856465,250,0,0
10260.4729967579955309,250,0,0
10270.4734986048990986,250,0,0
10280.47399721991735466,250,0,0
10290.47448802125009776,250,0,0
10300.4749991464103281,250,0,0
10310.4754948278316458,250,0,0
10320.4759981645975066,250,0,0
10330.47649952464800654,250,0,0
10340.47699893002983795,250,0,0
10350.4774957956328751,250,0,0
10360.4779886994023619,250,0,0
10370.47849599222772027,250,0,0
10380.47899786837084135,250,0,0
10390.4794986464459121,250,0,0
10400.4799899010264176,250,0,0
10410.48049620134226007,250,0,0
10420.4809960272738808,250,0,0
10430.48149763356083053,250,0,0
10440.4819979492830126,250,0,0
10450.48249426633814596,250,0,0
10460.4829899487866038,250,0,0
10470.48349670307899417,250,0,0
10480.4839984002363911,250,0,0
10490.4844981029738943,250,0,0
10500.4849930532523166,250,0,0
10510.4854948684807901,250,0,0
10520.48599990631208656,250,0,0
10530.4864979113961126,250,0,0
10540.4869982555683755,250,0,0
10550.4874983606498759,250,0,0
10560.4879931221780346,250,0,0
10570.48849653291315026,250,0,0
10580.4889973122582665,250,0,0
10590.4894964857052501,250,0,0
10600.48999852449384906,250,0,0
10610.49049832295085216,250,0,0
10620.49099323755679897,250,0,0
10630.49149637114884837,250,0,0
10640.4919987982304591,250,0,0
10650.49249929446161017,250,0,0
10660.49299988748878976,250,0,0
10670.49349055611659404,250,0,0
10680.4939948724905572,250,0,0
10690.49449934355874403,250,0,0
10700.49499990780907976,250,0,0
10710.49549647746118003,250,0,0
10720.49599907979634605,250,0,0
10730.49648873311921304,250,0,0
10740.4969989648913355,250,0,0
10750.49749940396245673,250,0,0
10760.49799990365584923,250,0,0
10770.4984958663917934,250,0,0
10780.4989991825974467,250,0,0
10790.49949951049686003,250,0,0
10800.499997576048443,250,0,0
10810.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>