LearningController_eval.xml

<?xml version="1.0" encoding="utf-8"?>
<!DOCTYPE nta PUBLIC '-//Uppaal Team//DTD Flat System 1.6//EN' 'http://www.it.uu.se/research/group/darts/uppaal/flat-1_6.dtd'>
<nta>
	<declaration>// Place global declarations here.

const bool learning = false;


import "./libcsvReaderLib.so" {
    int get_ocean_level(int year, int month, int day, int hour, int minute);
    int get_fjord_level(int year, int month, int day, int hour, int minute);
    double get_wind_speed(int year, int month, int day, int hour, int minute);
    int get_config();
    int get_year();
    int get_month();
    int get_day();
    int get_hour();
    int get_minutes();
};

clock global_time;
const int THREE_DAYS = 1440*3;


typedef int[1, 12] month_t;

int year;
month_t month;
int day = 0;
int hour = 0;
int minute = 0;


broadcast chan boatArrival;
broadcast chan letBoatPass;

clock boatWaitTime;
clock accumCostWait;
bool isBoatIncoming;


const int CHANGE_COST = 30;
int C_gates = 0;



// Hvide Sande value for inflow given month
// Values are in m^3/s
const double inflow_base = 59.3;
const double inflow_faktor[month_t] = {1.45, 1.39, 1.30, 1.01, 0.82, 0.71, 0.66, 0.64, 0.72, 0.87, 1.12, 1.29};


void set_configuration(){
    assert get_config();
    year = get_year();
    month = get_month();
    day = get_day();
    hour = get_hour();
    minute = get_minutes();

    // Ensures that the loading of year happended correctly.
    assert year &gt; 0;
}



void update_datetime(){
    minute = minute == 50 ? 0 : minute += 10;

    if (minute == 0){
        if (hour == 23){
            hour = 0;
            day++;
        }
        else {
            hour++;
        }
    }

    if (day == 31) {
        if (month == 4 || month == 6 || month == 9 || month == 11) {
            month++;
            day = 1;
        }
    }
    if (day == 32) {
        if (month == 1 || month == 3 || month == 5 || month == 7 || month == 8 || month == 10 || month == 12) {
            month++;
            day = 1;        
        }
    }
    if (month == 2 &amp;&amp; (day == 29 || day == 30)) {
        if (year % 4 == 0 &amp;&amp; day == 30) {
            month++;
            day = 0;
        }
        if (year % 4 != 0 &amp;&amp; day == 29) {
            month++;
            day = 0;
        }
    }
}

double get_next_wind_speed(){
    return get_wind_speed(year, month, day, hour, minute);
}

double get_next_level_in_m(){

    double new_level = get_ocean_level(year, month, day, hour, minute) / 100.0;

    update_datetime();

    return new_level;
}

double init_fjord_level() {
    return get_fjord_level(year, month, day, hour, minute) / 100.0;
}


// Heigh of ocean in meters compared to DVR90
double h_s = 0.0;
double wind_speed = 0.0;
int gates = 14;
// Area in square meters
const double A_f = 290000000;


broadcast chan done;
broadcast chan compare;
urgent broadcast chan range;

// Heigh of fjord in meters compared to DVR90

clock h_f;
clock outOfRange, noMigration;


double init_sluice_flow(){
    double A_s = gates * 6.25 * (h_f + 4.1);

    return 3.5 * 60 * A_s * sqrt(h_f - h_s);
}


bool run_started(double cur_time){
    return cur_time &gt; 0.0;
}


int isOutOfRange(){
    if (h_f &gt; 0.25)
        return 1;
    if (h_f &lt; 0.0)
        return 1; 
    
    return 0;
}


void change_cost(int chosen_config){
    if (chosen_config != gates)
        C_gates += 1;

}



int isNoMigration(){
    if (gates == 0 &amp;&amp; fabs(h_f - h_s) &lt;= 0.1)
        return 1;
    else
        return 0;
}


void configure(){
    set_configuration();
    wind_speed = get_next_wind_speed();
    h_f = init_fjord_level();
    h_s = get_next_level_in_m();
}</declaration>
	<template>
		<name>BoatArrival</name>
		<location id="id0" x="-238" y="0">
			<label kind="exponentialrate" x="-340" y="-8">1.0 / 480</label>
		</location>
		<init ref="id0"/>
		<transition id="id1" controllable="false">
			<source ref="id0"/>
			<target ref="id0"/>
			<label kind="synchronisation" x="-289" y="34">letBoatPass?</label>
			<label kind="assignment" x="-289" y="51">isBoatIncoming = false</label>
			<nail x="-306" y="34"/>
			<nail x="-170" y="34"/>
		</transition>
		<transition id="id2" controllable="false">
			<source ref="id0"/>
			<target ref="id0"/>
			<label kind="synchronisation" x="-289" y="-76">boatArrival!</label>
			<label kind="assignment" x="-289" y="-59">isBoatIncoming = true</label>
			<nail x="-306" y="-34"/>
			<nail x="-170" y="-34"/>
		</transition>
	</template>
	<template>
		<name>BoatWaitTimes</name>
		<location id="id3" x="-544" y="-102">
			<name x="-620" y="-119">NoBoats</name>
			<label kind="invariant" x="-646" y="-76">boatWaitTime' == 0 &amp;&amp;
accumCostWait' == 0</label>
		</location>
		<location id="id4" x="-374" y="-102">
			<name x="-357" y="-119">BoatWaiting</name>
			<label kind="invariant" x="-433" y="-76">boatWaitTime' == 1 &amp;&amp;
accumCostWait' == pow(boatWaitTime, 2)</label>
		</location>
		<init ref="id3"/>
		<transition id="id5" controllable="false">
			<source ref="id4"/>
			<target ref="id3"/>
			<label kind="synchronisation" x="-535" y="-212">letBoatPass?</label>
			<label kind="assignment" x="-535" y="-195">boatWaitTime = 0</label>
			<nail x="-374" y="-170"/>
			<nail x="-544" y="-170"/>
		</transition>
		<transition id="id6" controllable="false">
			<source ref="id3"/>
			<target ref="id4"/>
			<label kind="synchronisation" x="-510" y="-119">boatArrival?</label>
		</transition>
	</template>
	<template>
		<name>RangeAndMigrationObs</name>
		<declaration>

</declaration>
		<location id="id7" x="0" y="0">
			<label kind="invariant" x="-102" y="25">outOfRange' == isOutOfRange() &amp;&amp;
noMigration' == isNoMigration()</label>
		</location>
		<init ref="id7"/>
	</template>
	<template>
		<name>Controller</name>
		<declaration>
clock time;

void setNumOfGates(int num_of_gates){
    change_cost(num_of_gates);
    gates = num_of_gates;
}

bool safeToOperate(){
    return fabs(h_s - h_f) &lt;= 1.0;
}

void updateSeaAndWind(){
    if (learning) {
        wind_speed = get_next_wind_speed() + random(1.0) - 0.5;
        h_s = get_next_level_in_m() + random(0.001) - 0.0005;
    }
    else {
        wind_speed = get_next_wind_speed();
        h_s = get_next_level_in_m();
    }
}

bool hasInflow(double height_ocean, double height_fjord){
    return height_ocean &gt; height_fjord;
}

bool hasOutflow(double height_ocean, double height_fjord){
    return height_ocean &lt;= height_fjord;
}</declaration>
		<location id="id8" x="-2040" y="-1648">
			<committed/>
		</location>
		<location id="id9" x="-1989" y="-1938" color="#ffa500">
			<name x="-1963" y="-1955">Waiting</name>
			<label kind="invariant" x="-1980" y="-1980">time &lt;= 10</label>
		</location>
		<location id="id10" x="-2677" y="-1938">
			<name x="-2711" y="-1972">Setup</name>
			<committed/>
		</location>
		<location id="id11" x="-2541" y="-1938">
			<name x="-2524" y="-1972">SafetyCheck</name>
			<committed/>
		</location>
		<location id="id12" x="-2278" y="-1648" color="#ffff00">
			<name x="-2380" y="-1631">SeaHigher</name>
			<committed/>
		</location>
		<location id="id13" x="-2541" y="-1793">
			<name x="-2643" y="-1784">InOrOutflow</name>
			<committed/>
		</location>
		<location id="id14" x="-2278" y="-1793" color="#ffff00">
			<name x="-2380" y="-1776">FjordHigher</name>
			<committed/>
		</location>
		<location id="id15" x="-2040" y="-1793">
			<committed/>
		</location>
		<init ref="id10"/>
		<transition id="id16" controllable="false">
			<source ref="id15"/>
			<target ref="id9"/>
			<nail x="-1989" y="-1793"/>
		</transition>
		<transition id="id17" controllable="false">
			<source ref="id13"/>
			<target ref="id14"/>
			<label kind="guard" x="-2516" y="-1818">hasOutflow(h_s, h_f)</label>
		</transition>
		<transition id="id18" controllable="false">
			<source ref="id13"/>
			<target ref="id12"/>
			<label kind="guard" x="-2516" y="-1673">hasInflow(h_s, h_f)</label>
			<nail x="-2541" y="-1648"/>
		</transition>
		<transition id="id19" controllable="false">
			<source ref="id8"/>
			<target ref="id9"/>
			<nail x="-1963" y="-1648"/>
			<nail x="-1963" y="-1912"/>
		</transition>
		<transition id="id20">
			<source ref="id12"/>
			<target ref="id8"/>
			<label kind="guard" x="-2244" y="-1631">wind_speed &gt;= 8.0</label>
			<label kind="assignment" x="-2244" y="-1605">setNumOfGates(14)</label>
			<nail x="-2278" y="-1605"/>
			<nail x="-2040" y="-1605"/>
		</transition>
		<transition id="id21">
			<source ref="id12"/>
			<target ref="id8"/>
			<label kind="assignment" x="-2244" y="-1673">setNumOfGates(1)</label>
		</transition>
		<transition id="id22">
			<source ref="id12"/>
			<target ref="id8"/>
			<label kind="synchronisation" x="-2244" y="-1733">letBoatPass!</label>
			<label kind="assignment" x="-2244" y="-1716">setNumOfGates(0)</label>
			<nail x="-2278" y="-1690"/>
			<nail x="-2040" y="-1690"/>
		</transition>
		<transition id="id23" controllable="false">
			<source ref="id11"/>
			<target ref="id13"/>
			<label kind="guard" x="-2533" y="-1904">safeToOperate()</label>
		</transition>
		<transition id="id24" controllable="false">
			<source ref="id11"/>
			<target ref="id9"/>
			<label kind="guard" x="-2312" y="-2065">!safeToOperate()</label>
			<label kind="synchronisation" x="-2312" y="-2048">letBoatPass!</label>
			<label kind="assignment" x="-2312" y="-2031">setNumOfGates(0)</label>
			<nail x="-2541" y="-2006"/>
			<nail x="-1989" y="-2006"/>
		</transition>
		<transition id="id25" controllable="false">
			<source ref="id9"/>
			<target ref="id11"/>
			<label kind="guard" x="-2244" y="-1963">time &gt;= 10</label>
			<label kind="assignment" x="-2244" y="-1938">time = 0,
updateSeaAndWind()</label>
		</transition>
		<transition id="id26" controllable="false">
			<source ref="id10"/>
			<target ref="id11"/>
			<label kind="assignment" x="-2652" y="-1929">configure()</label>
		</transition>
		<transition id="id27">
			<source ref="id14"/>
			<target ref="id15"/>
			<label kind="assignment" x="-2244" y="-1776">setNumOfGates(14)</label>
			<nail x="-2278" y="-1750"/>
			<nail x="-2040" y="-1750"/>
		</transition>
		<transition id="id28">
			<source ref="id14"/>
			<target ref="id15"/>
			<label kind="assignment" x="-2244" y="-1818">setNumOfGates(1)</label>
		</transition>
		<transition id="id29">
			<source ref="id14"/>
			<target ref="id15"/>
			<label kind="synchronisation" x="-2244" y="-1878">letBoatPass!</label>
			<label kind="assignment" x="-2244" y="-1861">setNumOfGates(0)</label>
			<nail x="-2278" y="-1835"/>
			<nail x="-2040" y="-1835"/>
		</transition>
	</template>
	<template>
		<name>Baseline</name>
		<declaration>clock time;

void setNumOfGates(int num_of_gates){
    change_cost(num_of_gates);
    gates = num_of_gates;
}

bool safeToOperate(){
    return fabs(h_s - h_f) &lt;= 1.0;
}

void updateSeaAndWind(){
    wind_speed = get_next_wind_speed();
    h_s = get_next_level_in_m();
}

bool hasInflow(double height_ocean, double height_fjord){
    return height_ocean &gt; height_fjord;
}

bool hasOutflow(double height_ocean, double height_fjord){
    return height_ocean &lt;= height_fjord;
}</declaration>
		<location id="id30" x="-1488" y="-1012">
			<committed/>
		</location>
		<location id="id31" x="-1437" y="-1445" color="#ffa500">
			<name x="-1411" y="-1462">Waiting</name>
			<label kind="invariant" x="-1428" y="-1487">time &lt;= 10</label>
		</location>
		<location id="id32" x="-2269" y="-1445">
			<name x="-2303" y="-1479">Setup</name>
			<committed/>
		</location>
		<location id="id33" x="-1989" y="-1445">
			<name x="-1972" y="-1479">SafetyCheck</name>
			<committed/>
		</location>
		<location id="id34" x="-1726" y="-1012" color="#ffff00">
			<name x="-1828" y="-995">SeaHigher</name>
			<committed/>
		</location>
		<location id="id35" x="-1989" y="-1241">
			<name x="-2091" y="-1232">InOrOutflow</name>
			<committed/>
		</location>
		<location id="id36" x="-1726" y="-1241" color="#ffff00">
			<name x="-1828" y="-1224">FjordHigher</name>
			<committed/>
		</location>
		<location id="id37" x="-1488" y="-1241">
			<committed/>
		</location>
		<location id="id38" x="-2133" y="-1445">
			<name x="-2210" y="-1479">BoatCheck</name>
			<committed/>
		</location>
		<init ref="id32"/>
		<transition id="id39">
			<source ref="id38"/>
			<target ref="id31"/>
			<label kind="guard" x="-2074" y="-1683">isBoatIncoming</label>
			<label kind="synchronisation" x="-2074" y="-1666">letBoatPass!</label>
			<label kind="assignment" x="-2074" y="-1649">setNumOfGates(0)</label>
			<nail x="-2133" y="-1606"/>
			<nail x="-1436" y="-1606"/>
		</transition>
		<transition id="id40">
			<source ref="id38"/>
			<target ref="id33"/>
			<label kind="guard" x="-2116" y="-1436">!isBoatIncoming</label>
		</transition>
		<transition id="id41">
			<source ref="id32"/>
			<target ref="id38"/>
			<label kind="assignment" x="-2244" y="-1445">configure()</label>
		</transition>
		<transition id="id42">
			<source ref="id37"/>
			<target ref="id31"/>
			<nail x="-1437" y="-1241"/>
		</transition>
		<transition id="id43">
			<source ref="id35"/>
			<target ref="id36"/>
			<label kind="guard" x="-1964" y="-1266">hasOutflow(h_s, h_f)</label>
		</transition>
		<transition id="id44">
			<source ref="id35"/>
			<target ref="id34"/>
			<label kind="guard" x="-1964" y="-1037">hasInflow(h_s, h_f)</label>
			<nail x="-1989" y="-1012"/>
		</transition>
		<transition id="id45">
			<source ref="id30"/>
			<target ref="id31"/>
			<nail x="-1411" y="-1012"/>
			<nail x="-1411" y="-1419"/>
		</transition>
		<transition id="id46">
			<source ref="id34"/>
			<target ref="id30"/>
			<label kind="guard" x="-1692" y="-961">wind_speed &gt;= 8.0  &amp;&amp;
h_f &lt;= 0.25</label>
			<label kind="assignment" x="-1692" y="-918">setNumOfGates(14)</label>
			<nail x="-1726" y="-918"/>
			<nail x="-1488" y="-918"/>
		</transition>
		<transition id="id47">
			<source ref="id34"/>
			<target ref="id30"/>
			<label kind="guard" x="-1692" y="-1054">wind_speed &lt; 8.0 &amp;&amp;
h_f &lt;= 0.25</label>
			<label kind="assignment" x="-1692" y="-1012">setNumOfGates(1)</label>
		</transition>
		<transition id="id48">
			<source ref="id34"/>
			<target ref="id30"/>
			<label kind="guard" x="-1691" y="-1130">h_f &gt; 0.25</label>
			<label kind="synchronisation" x="-1692" y="-1148">letBoatPass!</label>
			<label kind="assignment" x="-1691" y="-1105">setNumOfGates(0)</label>
			<nail x="-1726" y="-1105"/>
			<nail x="-1488" y="-1105"/>
		</transition>
		<transition id="id49">
			<source ref="id33"/>
			<target ref="id35"/>
			<label kind="guard" x="-1980" y="-1411">safeToOperate()</label>
		</transition>
		<transition id="id50">
			<source ref="id33"/>
			<target ref="id31"/>
			<label kind="guard" x="-1760" y="-1572">!safeToOperate()</label>
			<label kind="synchronisation" x="-1760" y="-1555">letBoatPass!</label>
			<label kind="assignment" x="-1760" y="-1538">setNumOfGates(0)</label>
			<nail x="-1989" y="-1513"/>
			<nail x="-1437" y="-1513"/>
		</transition>
		<transition id="id51">
			<source ref="id31"/>
			<target ref="id38"/>
			<label kind="guard" x="-1692" y="-1470">time &gt;= 10</label>
			<label kind="assignment" x="-1692" y="-1445">time = 0,
updateSeaAndWind()</label>
			<nail x="-1700" y="-1445"/>
			<nail x="-1700" y="-1326"/>
			<nail x="-2133" y="-1326"/>
		</transition>
		<transition id="id52">
			<source ref="id36"/>
			<target ref="id37"/>
			<label kind="guard" x="-1683" y="-1232">h_f &gt;= 0.0</label>
			<label kind="assignment" x="-1684" y="-1207">setNumOfGates(14)</label>
			<nail x="-1726" y="-1207"/>
			<nail x="-1488" y="-1207"/>
		</transition>
		<transition id="id53">
			<source ref="id36"/>
			<target ref="id37"/>
			<label kind="guard" x="-1684" y="-1317">h_f &lt; 0.0</label>
			<label kind="synchronisation" x="-1684" y="-1300">letBoatPass!</label>
			<label kind="assignment" x="-1684" y="-1275">setNumOfGates(0)</label>
			<nail x="-1726" y="-1275"/>
			<nail x="-1488" y="-1275"/>
		</transition>
	</template>
	<template>
		<name x="5" y="5">WaterLevel</name>
		<declaration>// Place local declarations here.

double Q_streams(){
    return (inflow_base * inflow_faktor[month] * 60);
}

double A_gates_all(){
    return gates * 6.25 * (h_f + 4.1);
}

double flow_const(double height_fjord, double height_ocean){
    if (height_fjord &gt; height_ocean)
        return -3.5 * 60;
    else
        return 3.8 * 60;
}</declaration>
		<location id="id54" x="-731" y="-994">
			<label kind="invariant" x="-1011" y="-969">h_f' == flow_const(h_f, h_s) * A_gates_all() * sqrt(fabs(h_f - h_s)) / A_f +
	Q_streams() / A_f</label>
		</location>
		<init ref="id54"/>
	</template>
	<system>// Place template instantiations here.

// List one or more processes to be composed into a system.
system WaterLevel, Controller, RangeAndMigrationObs, BoatArrival, BoatWaitTimes;
//system WaterLevel, Baseline, RangeAndMigrationObs, BoatArrival, BoatWaitTimes;</system>
	<queries>
		<option key="--total-runs" value="4000"/>
		<option key="--max-iterations" value="3"/>
		<option key="--good-runs" value="4000"/>
		<option key="--runs-pr-state" value="4000"/>
		<query>
			<formula/>
			<comment/>
		</query>
		<query>
			<formula/>
			<comment/>
		</query>
		<query>
			<formula/>
			<comment/>
		</query>
		<query>
			<formula>simulate [&lt;=1440*3] {gates / (14.0 * 5.0), h_o, h_f, wind_speed / 8.0, not_open_for_equal_waters() / 10.0, isBoatIncomming / 10.0 + 1.1} </formula>
			<comment/>
		</query>
		<query>
			<formula/>
			<comment/>
		</query>
		<query>
			<formula/>
			<comment/>
		</query>
		<query>
			<formula/>
			<comment/>
		</query>
		<query>
			<formula/>
			<comment/>
		</query>
		<query>
			<formula/>
			<comment/>
		</query>
		<query>
			<formula/>
			<comment/>
		</query>
		<query>
			<formula/>
			<comment>Baseline Evaluation Queries:</comment>
		</query>
		<query>
			<formula>E[&lt;=THREE_DAYS ; 100](max: C_gates) </formula>
			<comment/>
		</query>
		<query>
			<formula>E[&lt;=THREE_DAYS ; 100](max: noMigration / (THREE_DAYS ))</formula>
			<comment/>
		</query>
		<query>
			<formula>E[&lt;=THREE_DAYS ; 100](max: boatWaitTime) </formula>
			<comment/>
		</query>
		<query>
			<formula>E[&lt;=THREE_DAYS ; 100](max: outOfRange / (THREE_DAYS )) </formula>
			<comment/>
		</query>
		<query>
			<formula/>
			<comment/>
		</query>
		<query>
			<formula/>
			<comment>Learning Evaluation Queries:</comment>
		</query>
		<query>
			<formula>simulate [&lt;=1440*3] {gates / (14.0 * 5.0), h_s, h_f, wind_speed / 8.0, isNoMigration(), isBoatIncoming / 10.0 + 1.1} under optOperations</formula>
			<comment/>
			<result outcome="success" type="quality" timestamp="2026-02-12 10:05:49 +0100">
				<option key="--total-runs" value="4000"/>
				<option key="--max-iterations" value="3"/>
				<option key="--good-runs" value="4000"/>
				<option key="--runs-pr-state" value="4000"/>
				<plot title="Simulations (1)" xaxis="time" yaxis="value">
					<series title="gates / (14.000000 * 5.000000)" type="l" color="0xff0000" encoding="csv">0.0,0.2
20.0,0.2
21.041217700800118,0.0
120.0,0.0
121.04121770079809,0.2
130.0,0.2
131.0412177007987,0.014285714285714285
210.0,0.014285714285714285
211.0361233323663,0.0
220.0,0.0
221.0412177007987,0.014285714285714285
390.0,0.014285714285714285
391.0412177007987,0.2
420.0,0.2
421.0412177007987,0.014285714285714285
540.0,0.014285714285714285
541.0412177007987,0.0
610.0,0.0
611.0412177007987,0.014285714285714285
640.0,0.014285714285714285
641.0412177007987,0.0
900.0,0.0
901.0412177007987,0.014285714285714285
1280.0,0.014285714285714285
1281.0412177008,0.2
1310.0,0.2
1311.0412177008,0.0
1640.0,0.0
1641.0412177008,0.2
1750.0,0.2
1751.0412177008,0.0
1940.0,0.0
1941.0412177008,0.2
2000.0,0.2
2001.0412177008,0.0
2580.0,0.0
2581.0412177008025,0.014285714285714285
2700.0,0.014285714285714285
2701.0412177008025,0.0
3230.0,0.0
3231.0412177007524,0.014285714285714285
3530.0,0.014285714285714285
3531.034909985385,0.0
3540.0,0.0
3541.0412177007524,0.014285714285714285
3630.0,0.014285714285714285
3631.0373719735608,0.0
3640.0,0.0
3641.0412177007524,0.014285714285714285
3840.0,0.014285714285714285
3841.0412177007524,0.2
3940.0,0.2
3941.0412177007524,0.014285714285714285
4320.0,0.014285714285714285
					</series>
					<series title="h_s" type="l" color="0xffff00" encoding="csv">0.0,0.0
1.034909985420628,0.38
10.0,0.38
11.041217700800118,0.36956751930806786
20.0,0.36956751930806786
21.041217700800118,0.3498034718942363
30.0,0.3498034718942363
31.041217700800118,0.339950251479866
40.0,0.339950251479866
41.041217700800196,0.31982025353028437
50.0,0.31982025353028437
51.041217700800196,0.2999891304105986
60.0,0.2999891304105986
61.03612333236822,0.28999712406820616
70.0,0.28999712406820616
71.04121770079809,0.2599340109860059
80.0,0.2599340109860059
81.04121770079809,0.25020399343059396
90.0,0.25020399343059396
91.04121770079809,0.22002645872160792
100.0,0.22002645872160792
101.04121770079809,0.21048337548738344
110.0,0.21048337548738344
111.04121770079809,0.20001861764420756
120.0,0.20001861764420756
121.04121770079809,0.18047744433605112
130.0,0.18047744433605112
131.0412177007987,0.15963715246599167
140.0,0.15963715246599167
141.0412177007987,0.14020479070115835
150.0,0.14020479070115835
151.0412177007987,0.12997899054526352
160.0,0.12997899054526352
161.0412177007987,0.11027908363519237
170.0,0.11027908363519237
171.0412177007987,0.08991021466208622
180.0,0.08991021466208622
181.0412177007987,0.07951424098387361
190.0,0.07951424098387361
191.0412177007987,0.05965904798847623
200.0,0.05965904798847623
201.0412177007987,0.0602149194444064
210.0,0.0602149194444064
211.0361233323663,0.05023491305275821
220.0,0.05023491305275821
221.0412177007987,0.03955108278687112
230.0,0.03955108278687112
231.0412177007987,0.02977738969400525
240.0,0.02977738969400525
241.0412177007987,0.029771332826931028
250.0,0.029771332826931028
251.0412177007987,0.020240334530128166
260.0,0.020240334530128166
261.0412177007987,3.294027715455741E-4
270.0,3.294027715455741E-4
271.0412177007987,1.6828944068402049E-4
280.0,1.6828944068402049E-4
281.0412177007987,2.1836907113902267E-4
290.0,2.1836907113902267E-4
291.0412177007987,-0.009883520085830242
300.0,-0.009883520085830242
301.0412177007987,-0.020102589659160005
310.0,-0.020102589659160005
311.0412177007987,-0.03003492297302
320.0,-0.03003492297302
321.0412177007987,-0.029901100955205036
330.0,-0.029901100955205036
331.0412177007987,-0.029825504000065846
340.0,-0.029825504000065846
341.0412177007987,-0.029654058578424156
350.0,-0.029654058578424156
351.0412177007987,-0.029507735044229776
360.0,-0.029507735044229776
361.0412177007987,-0.02993505006842315
370.0,-0.02993505006842315
371.0412177007987,-0.029577758858446032
380.0,-0.029577758858446032
381.0412177007987,-0.030225066512357443
390.0,-0.030225066512357443
391.0412177007987,-0.04007314161839895
400.0,-0.04007314161839895
401.0412177007987,-0.04034248097543605
410.0,-0.04034248097543605
411.0412177007987,-0.04004879597178661
420.0,-0.04004879597178661
421.0412177007987,-0.03022595278988592
430.0,-0.03022595278988592
431.0412177007987,-0.029997154515702278
440.0,-0.029997154515702278
441.0412177007987,-0.020081667098915207
450.0,-0.020081667098915207
451.0412177007987,-0.009695428781444207
460.0,-0.009695428781444207
461.0412177007987,0.010250839739339426
470.0,0.010250839739339426
471.0412177007987,0.030131397045217452
480.0,0.030131397045217452
481.0412177007987,0.050156264236662536
490.0,0.050156264236662536
491.0412177007987,0.07954028991260566
500.0,0.07954028991260566
501.0412177007987,0.0998752614944242
510.0,0.0998752614944242
511.0412177007987,0.12000532093876973
520.0,0.12000532093876973
521.0412177007987,0.14964151697279884
530.0,0.14964151697279884
531.0412177007987,0.18017131692473776
540.0,0.18017131692473776
541.0412177007987,0.20023658389528284
550.0,0.20023658389528284
551.0412177007987,0.2299813719787635
560.0,0.2299813719787635
561.0412177007987,0.259921672482742
570.0,0.259921672482742
571.0412177007987,0.279784431865206
580.0,0.279784431865206
581.0412177007987,0.30022076905192807
590.0,0.30022076905192807
591.0412177007987,0.3296596490177326
600.0,0.3296596490177326
601.0412177007987,0.34986210333183404
610.0,0.34986210333183404
611.0412177007987,0.36997385539137756
620.0,0.36997385539137756
621.0412177007987,0.38990815155557357
630.0,0.38990815155557357
631.0412177007987,0.4104471520932857
640.0,0.4104471520932857
641.0412177007987,0.42046291306451894
650.0,0.42046291306451894
651.0412177007987,0.4303165935073048
660.0,0.4303165935073048
661.0412177007987,0.4403064840552397
670.0,0.4403064840552397
671.0412177007987,0.4497457006634213
680.0,0.4497457006634213
681.0412177007987,0.4497724502449855
690.0,0.4497724502449855
691.0412177007987,0.4400637770150788
700.0,0.4400637770150788
701.0412177007987,0.4404261406143196
710.0,0.4404261406143196
711.0412177007987,0.4402877098848112
720.0,0.4402877098848112
721.0412177007987,0.4197370602497831
730.0,0.4197370602497831
731.0412177007987,0.40974384016287513
740.0,0.40974384016287513
741.0412177007987,0.39973914295458235
750.0,0.39973914295458235
751.0412177007987,0.39011523802857845
760.0,0.39011523802857845
761.0412177007987,0.3900186807923019
770.0,0.3900186807923019
771.0412177007987,0.3700706601603888
780.0,0.3700706601603888
781.0412177007987,0.36963850474124776
790.0,0.36963850474124776
791.0412177007987,0.35987489261478184
800.0,0.35987489261478184
801.0412177007987,0.36049734485941004
810.0,0.36049734485941004
811.0412177007987,0.3301019558957778
820.0,0.3301019558957778
821.0412177007987,0.3203553825910203
830.0,0.3203553825910203
831.0412177007987,0.2999722797155846
840.0,0.2999722797155846
841.0412177007987,0.269942337900633
850.0,0.269942337900633
851.0412177007987,0.25974842252000235
860.0,0.25974842252000235
861.0412177007987,0.24952317112707534
870.0,0.24952317112707534
871.0412177007987,0.2300047731695231
880.0,0.2300047731695231
881.0412177007987,0.219587256686762
890.0,0.219587256686762
891.0412177007987,0.1902552458480932
900.0,0.1902552458480932
901.0412177007987,0.1599777613210026
910.0,0.1599777613210026
911.0412177007987,0.13028681690315716
920.0,0.13028681690315716
921.0412177007987,0.10950796818151139
930.0,0.10950796818151139
931.0412177007987,0.08964827389200218
940.0,0.08964827389200218
941.0412177007987,0.07017200024030172
950.0,0.07017200024030172
951.0412177007987,0.05034716737829149
960.0,0.05034716737829149
961.0412177007987,0.04039454086124897
970.0,0.04039454086124897
971.0412177007987,0.029761128806741907
980.0,0.029761128806741907
981.0412177007987,-4.676830931566656E-4
990.0,-4.676830931566656E-4
991.0412177007987,-0.009516525753075258
1000.0,-0.009516525753075258
1001.0412177007987,-0.029622282150434328
1010.0,-0.029622282150434328
1011.0412177007987,-0.04027720872592181
1020.0,-0.04027720872592181
1021.0412177007987,-0.04955235496279784
1030.0,-0.04955235496279784
1031.0412177008,-0.049658431567251686
1040.0,-0.049658431567251686
1041.0412177008,-0.04976424921257422
1050.0,-0.04976424921257422
1051.0412177008,-0.050169499459443614
1060.0,-0.050169499459443614
1061.0412177008,-0.050455616854829716
1070.0,-0.050455616854829716
1071.0412177008,-0.06048659875779412
1080.0,-0.06048659875779412
1081.0412177008,-0.05996407497418113
1090.0,-0.05996407497418113
1091.0412177008,-0.0700872012609616
1100.0,-0.0700872012609616
1101.0412177008,-0.07008800970180892
1110.0,-0.07008800970180892
1111.0412177008,-0.07047352251689881
1120.0,-0.07047352251689881
1121.0412177008,-0.07016966628120282
1130.0,-0.07016966628120282
1131.0412177008,-0.06975313627580182
1140.0,-0.06975313627580182
1141.0412177008,-0.07026359264506028
1150.0,-0.07026359264506028
1151.0412177008,-0.06039511852711439
1160.0,-0.06039511852711439
1161.0412177008,-0.05968389903032221
1170.0,-0.05968389903032221
1171.0412177008,-0.060165996393188835
1180.0,-0.060165996393188835
1181.0412177008,-0.06968443678412588
1190.0,-0.06968443678412588
1191.0412177008,-0.06016849946673028
1200.0,-0.06016849946673028
1201.0412177008,-0.06032342487457208
1210.0,-0.06032342487457208
1211.0412177008,-0.05979668152541853
1220.0,-0.05979668152541853
1221.0412177008,-0.06032719309837557
1230.0,-0.06032719309837557
1231.0412177008,-0.07025108799966984
1240.0,-0.07025108799966984
1241.0412177008,-0.06021600828994997
1250.0,-0.06021600828994997
1251.0412177008,-0.06010030838032253
1260.0,-0.06010030838032253
1261.0412177008,-0.05967787038278766
1270.0,-0.05967787038278766
1271.0412177008,-0.04966672521620058
1280.0,-0.04966672521620058
1281.0412177008,-0.029701381402788683
1290.0,-0.029701381402788683
1291.0412177008,-5.147870606742798E-5
1300.0,-5.147870606742798E-5
1301.0412177008,0.05041935899970122
1310.0,0.05041935899970122
1311.0412177008,0.10024244296411053
1320.0,0.10024244296411053
1321.0412177008,0.11981276979600079
1330.0,0.11981276979600079
1331.0412177008,0.13996748692239636
1340.0,0.13996748692239636
1341.0412177008,0.1603167079114355
1350.0,0.1603167079114355
1351.0412177008,0.18041058700787835
1360.0,0.18041058700787835
1361.0412177008,0.18950725424545817
1370.0,0.18950725424545817
1371.0412177008,0.2101846113211941
1380.0,0.2101846113211941
1381.0412177008,0.2295680133746937
1390.0,0.2295680133746937
1391.0412177008,0.2504496114118956
1400.0,0.2504496114118956
1401.0412177008,0.23981730287685057
1410.0,0.23981730287685057
1411.0412177008,0.2598053628145717
1420.0,0.2598053628145717
1421.0412177008,0.2695786657554563
1430.0,0.2695786657554563
1431.0412177008,0.2802388875607867
1440.0,0.2802388875607867
1441.0412177008,0.2903842119646724
1450.0,0.2903842119646724
1451.0412177008,0.29982882787310516
1460.0,0.29982882787310516
1461.0412177008,0.30968747528735546
1470.0,0.30968747528735546
1471.0412177008,0.2900738737646025
1480.0,0.2900738737646025
1481.0412177008,0.2796157927180175
1490.0,0.2796157927180175
1491.0412177008,0.3003723023871425
1500.0,0.3003723023871425
1501.0412177008,0.27999265575688337
1510.0,0.27999265575688337
1511.0412177008,0.2604272124238778
1520.0,0.2604272124238778
1521.0412177008,0.26008063747780397
1530.0,0.26008063747780397
1531.0412177008,0.22962375152204187
1540.0,0.22962375152204187
1541.0412177008,0.21952829275187105
1550.0,0.21952829275187105
1551.0412177008,0.2099666917270515
1560.0,0.2099666917270515
1561.0412177008,0.18956698616337964
1570.0,0.18956698616337964
1571.0412177008,0.1699678762170952
1580.0,0.1699678762170952
1581.0412177008,0.15966494352556765
1590.0,0.15966494352556765
1591.0412177008,0.14019349387264812
1600.0,0.14019349387264812
1601.0412177008,0.11993394982558675
1610.0,0.11993394982558675
1611.0412177008,0.10973512018495239
1620.0,0.10973512018495239
1621.0412177008,0.09981384550803342
1630.0,0.09981384550803342
1631.0412177008,0.09038075027242302
1640.0,0.09038075027242302
1641.0412177008,0.079528590263566
1650.0,0.079528590263566
1651.0412177008,0.06959033231134527
1660.0,0.06959033231134527
1661.0412177008,0.0601487042736262
1670.0,0.0601487042736262
1671.0412177008,0.05979503004136495
1680.0,0.05979503004136495
1681.0412177008,0.04970567830768414
1690.0,0.04970567830768414
1691.0412177008,0.040486009657150136
1700.0,0.040486009657150136
1701.0412177008,0.029737063238630068
1710.0,0.029737063238630068
1711.0412177008,0.02019770605000667
1720.0,0.02019770605000667
1721.0412177008,-2.6344127813354137E-4
1730.0,-2.6344127813354137E-4
1731.0412177008,-0.019922129382379354
1740.0,-0.019922129382379354
1741.0412177008,-0.0502008744571358
1750.0,-0.0502008744571358
1751.0412177008,-0.06965133437979967
1760.0,-0.06965133437979967
1761.0412177008,-0.0899548513169866
1770.0,-0.0899548513169866
1771.0412177008,-0.10034773003403098
1780.0,-0.10034773003403098
1781.0412177008,-0.11004881554213353
1790.0,-0.11004881554213353
1791.0412177008,-0.12031194378109648
1800.0,-0.12031194378109648
1801.0412177008,-0.12049647685629315
1810.0,-0.12049647685629315
1811.0412177008,-0.1296510728127323
1820.0,-0.1296510728127323
1821.0412177008,-0.1300303550879471
1830.0,-0.1300303550879471
1831.0412177008,-0.12995257832668722
1840.0,-0.12995257832668722
1841.0412177008,-0.12977304823230953
1850.0,-0.12977304823230953
1851.0412177008,-0.11986201383941807
1860.0,-0.11986201383941807
1861.0412177008,-0.12048539259517566
1870.0,-0.12048539259517566
1871.0412177008,-0.11959833660186268
1880.0,-0.11959833660186268
1881.0412177008,-0.12044623894221149
1890.0,-0.12044623894221149
1891.0412177008,-0.11017892298474909
1900.0,-0.11017892298474909
1901.0412177008,-0.09955234321043827
1910.0,-0.09955234321043827
1911.0412177008,-0.09954411825863645
1920.0,-0.09954411825863645
1921.0412177008,-0.09027135983365588
1930.0,-0.09027135983365588
1931.0412177008,-0.07027187080704608
1940.0,-0.07027187080704608
1941.0412177008,-0.05023796441615559
1950.0,-0.05023796441615559
1951.0412177008,-0.030354655139381067
1960.0,-0.030354655139381067
1961.0412177008,-0.010245756034273655
1970.0,-0.010245756034273655
1971.0412177008,0.019693422512151303
1980.0,0.019693422512151303
1981.0412177008,0.05002657466731034
1990.0,0.05002657466731034
1991.0412177008,0.06956199189717882
2000.0,0.06956199189717882
2001.0412177008,0.09951967072067783
2010.0,0.09951967072067783
2011.0412177008,0.12959203385002913
2020.0,0.12959203385002913
2021.0412177008,0.15042306284839288
2030.0,0.15042306284839288
2031.0412177008,0.1699899218757637
2040.0,0.1699899218757637
2041.0412177008,0.17990100185456684
2050.0,0.17990100185456684
2051.0412177008025,0.20985596712864935
2060.0,0.20985596712864935
2061.0412177008025,0.23043167225690558
2070.0,0.23043167225690558
2071.0412177008025,0.23025555227859879
2080.0,0.23025555227859879
2081.0412177008025,0.2295102446638048
2090.0,0.2295102446638048
2091.0412177008025,0.230165083051892
2100.0,0.230165083051892
2101.0412177008025,0.23998804304609075
2110.0,0.23998804304609075
2111.0412177008025,0.24989619084633885
2120.0,0.24989619084633885
2121.0412177008025,0.26981501216231846
2130.0,0.26981501216231846
2131.0412177008025,0.28956909219687804
2140.0,0.28956909219687804
2141.0412177008025,0.3003768484420143
2150.0,0.3003768484420143
2151.0412177008025,0.30955529801151715
2160.0,0.30955529801151715
2161.0412177008025,0.31980863375240004
2170.0,0.31980863375240004
2171.0412177008025,0.3304618760959711
2180.0,0.3304618760959711
2181.0412177008025,0.31977705770195464
2190.0,0.31977705770195464
2191.0412177008025,0.3301985015780665
2200.0,0.3301985015780665
2201.0412177008025,0.3402681149679702
2210.0,0.3402681149679702
2211.0412177008025,0.3502277833772823
2220.0,0.3502277833772823
2221.0412177008025,0.36999752818048
2230.0,0.36999752818048
2231.0412177008025,0.38012710624514146
2240.0,0.38012710624514146
2241.0412177008025,0.39006510342611
2250.0,0.39006510342611
2251.0412177008025,0.4101077628303319
2260.0,0.4101077628303319
2261.0412177008025,0.42035514659807083
2270.0,0.42035514659807083
2271.0412177008025,0.4400136109022424
2280.0,0.4400136109022424
2281.0412177008025,0.4397086518048309
2290.0,0.4397086518048309
2291.0412177008025,0.45047587496601044
2300.0,0.45047587496601044
2301.0412177008025,0.46036778585403226
2310.0,0.46036778585403226
2311.0412177008025,0.46974505902896635
2320.0,0.46974505902896635
2321.0412177008025,0.4803861274169758
2330.0,0.4803861274169758
2331.0412177008025,0.49034523590817114
2340.0,0.49034523590817114
2341.0412177008025,0.4997036335545126
2350.0,0.4997036335545126
2351.0412177008025,0.5104923968701625
2360.0,0.5104923968701625
2361.0412177008025,0.5199042011045386
2370.0,0.5199042011045386
2371.0412177008025,0.5303664566455409
2380.0,0.5303664566455409
2381.0412177008025,0.5504531571536792
2390.0,0.5504531571536792
2391.0412177008025,0.5598020561172162
2400.0,0.5598020561172162
2401.0412177008025,0.5700941783247981
2410.0,0.5700941783247981
2411.0412177008025,0.5898948881702963
2420.0,0.5898948881702963
2421.0412177008025,0.6004125967114233
2430.0,0.6004125967114233
2431.0412177008025,0.6098624720796944
2440.0,0.6098624720796944
2441.0412177008025,0.6197465124381707
2450.0,0.6197465124381707
2451.0412177008025,0.6302472203914077
2460.0,0.6302472203914077
2461.0412177008025,0.6404240756914952
2470.0,0.6404240756914952
2471.0412177008025,0.6503104715268129
2480.0,0.6503104715268129
2481.0412177008025,0.6698550541463775
2490.0,0.6698550541463775
2491.0412177008025,0.6799489360509907
2500.0,0.6799489360509907
2501.0412177008025,0.6796849974656944
2510.0,0.6796849974656944
2511.0412177008025,0.6999194961029571
2520.0,0.6999194961029571
2521.0412177008025,0.720288584638387
2530.0,0.720288584638387
2531.0412177008025,0.7401230732714758
2540.0,0.7401230732714758
2541.0412177008025,0.7497002850549762
2550.0,0.7497002850549762
2551.0412177008025,0.7696705923555419
2560.0,0.7696705923555419
2561.0412177008025,0.7797795772841201
2570.0,0.7797795772841201
2571.0412177008025,0.7904534673544114
2580.0,0.7904534673544114
2581.0412177008025,0.820289989421377
2590.0,0.820289989421377
2591.0412177008025,0.8497302057035268
2600.0,0.8497302057035268
2601.0412177008025,0.8803821745440364
2610.0,0.8803821745440364
2611.0412177008025,0.8998398702593987
2620.0,0.8998398702593987
2621.0412177008025,0.9297123109095266
2630.0,0.9297123109095266
2631.0412177008025,0.9401683044733945
2640.0,0.9401683044733945
2641.0412177008025,0.9601015159112867
2650.0,0.9601015159112867
2651.0412177008025,0.9795468400137034
2660.0,0.9795468400137034
2661.0412177008025,1.009648358505452
2670.0,1.009648358505452
2671.0412177008025,1.029903135979781
2680.0,1.029903135979781
2681.0412177008025,1.0496871636400467
2690.0,1.0496871636400467
2691.0412177008025,1.0903075357687195
2700.0,1.0903075357687195
2701.0412177008025,1.109836168680573
2710.0,1.109836168680573
2711.0412177008025,1.1500076030353084
2720.0,1.1500076030353084
2721.0412177008025,1.1904990862451958
2730.0,1.1904990862451958
2731.0412177008025,1.2296639720073437
2740.0,1.2296639720073437
2741.0412177008025,1.2501440379298292
2750.0,1.2501440379298292
2751.0412177008025,1.290080782539677
2760.0,1.290080782539677
2761.0412177008025,1.3104588724917268
2770.0,1.3104588724917268
2771.0412177008025,1.3398403767417186
2780.0,1.3398403767417186
2781.0412177008025,1.3697774490588346
2790.0,1.3697774490588346
2791.0412177008025,1.400376681032125
2800.0,1.400376681032125
2801.0412177008025,1.419767108844826
2810.0,1.419767108844826
2811.0412177008025,1.450236935792258
2820.0,1.450236935792258
2821.0412177008025,1.4800498464412521
2830.0,1.4800498464412521
2831.0412177008025,1.510430001731962
2840.0,1.510430001731962
2841.0412177008025,1.52970581184607
2850.0,1.52970581184607
2851.0412177008025,1.5402287801946515
2860.0,1.5402287801946515
2861.0412177008025,1.5604119008451236
2870.0,1.5604119008451236
2871.0412177008025,1.5903523860920687
2880.0,1.5903523860920687
2881.0412177008025,1.6096336032347756
2890.0,1.6096336032347756
2891.0412177008025,1.630309267724864
2900.0,1.630309267724864
2901.0412177008025,1.6395572491583879
2910.0,1.6395572491583879
2911.0412177008025,1.6604411283270455
2920.0,1.6604411283270455
2921.034909985385,1.6695301918189507
2930.0,1.6695301918189507
2931.0412177007524,1.680153368978994
2940.0,1.680153368978994
2941.0412177007524,1.669663811696926
2950.0,1.669663811696926
2951.0412177007524,1.6803045621044002
2960.0,1.6803045621044002
2961.0412177007524,1.6797716549821198
2970.0,1.6797716549821198
2971.0412177007524,1.6901426884776447
2980.0,1.6901426884776447
2981.0412177007524,1.680388376822695
2990.0,1.680388376822695
2991.0412177007524,1.679845003911294
3000.0,1.679845003911294
3001.0412177007524,1.6604200463527814
3010.0,1.6604200463527814
3011.0412177007524,1.6501960046060848
3020.0,1.6501960046060848
3021.0412177007524,1.6303428129956592
3030.0,1.6303428129956592
3031.0412177007524,1.599979956464842
3040.0,1.599979956464842
3041.0412177007524,1.5895700170565399
3050.0,1.5895700170565399
3051.0412177007524,1.570365214855876
3060.0,1.570365214855876
3061.0412177007524,1.5502370578856208
3070.0,1.5502370578856208
3071.0412177007524,1.5297978517874145
3080.0,1.5297978517874145
3081.0412177007524,1.510315343269147
3090.0,1.510315343269147
3091.0412177007524,1.4896208666327875
3100.0,1.4896208666327875
3101.0412177007524,1.4703536305767484
3110.0,1.4703536305767484
3111.0412177007524,1.439942324372707
3120.0,1.439942324372707
3121.0412177007524,1.4201443956145086
3130.0,1.4201443956145086
3131.0412177007524,1.3997188649352175
3140.0,1.3997188649352175
3141.0412177007524,1.3696052915807815
3150.0,1.3696052915807815
3151.0412177007524,1.3399245704694187
3160.0,1.3399245704694187
3161.0412177007524,1.3104739503066523
3170.0,1.3104739503066523
3171.0412177007524,1.289515842871275
3180.0,1.289515842871275
3181.0412177007524,1.2603970349091105
3190.0,1.2603970349091105
3191.0412177007524,1.2297005627942272
3200.0,1.2297005627942272
3201.0412177007524,1.19029917293787
3210.0,1.19029917293787
3211.0412177007524,1.1399575981087982
3220.0,1.1399575981087982
3221.0412177007524,1.1095445378210862
3230.0,1.1095445378210862
3231.0412177007524,1.069695325272158
3240.0,1.069695325272158
3241.0412177007524,1.0300298128891736
3250.0,1.0300298128891736
3251.0412177007524,1.0000659847285134
3260.0,1.0000659847285134
3261.0412177007524,0.9798554815838579
3270.0,0.9798554815838579
3271.0412177007524,0.9795094255830628
3280.0,0.9795094255830628
3281.0412177007524,0.9796073214481585
3290.0,0.9796073214481585
3291.0412177007524,0.9697726430003532
3300.0,0.9697726430003532
3301.0412177007524,0.9595925106671639
3310.0,0.9595925106671639
3311.0412177007524,0.9502462936742231
3320.0,0.9502462936742231
3321.0412177007524,0.9195515621190425
3330.0,0.9195515621190425
3331.0412177007524,0.9096228738948704
3340.0,0.9096228738948704
3341.0412177007524,0.9004382103735116
3350.0,0.9004382103735116
3351.0412177007524,0.8897455034765881
3360.0,0.8897455034765881
3361.0412177007524,0.8901156453350559
3370.0,0.8901156453350559
3371.0412177007524,0.8900552640187089
3380.0,0.8900552640187089
3381.0412177007524,0.9103900380816777
3390.0,0.9103900380816777
3391.0412177007524,0.9201969438118396
3400.0,0.9201969438118396
3401.0412177007524,0.9003889697480482
3410.0,0.9003889697480482
3411.0412177007524,0.8902690191993025
3420.0,0.8902690191993025
3421.0412177007524,0.8600044241086581
3430.0,0.8600044241086581
3431.0412177007524,0.86049834068981
3440.0,0.86049834068981
3441.0412177007524,0.8501201018260327
3450.0,0.8501201018260327
3451.0412177007524,0.8602398283474614
3460.0,0.8602398283474614
3461.0412177007524,0.8498422373910435
3470.0,0.8498422373910435
3471.0412177007524,0.8503592361288611
3480.0,0.8503592361288611
3481.0412177007524,0.8704423248467502
3490.0,0.8704423248467502
3491.0412177007524,0.8898962259604596
3500.0,0.8898962259604596
3501.0412177007524,0.8897223719754257
3510.0,0.8897223719754257
3511.0412177007524,0.8696595387817361
3520.0,0.8696595387817361
3521.0412177007524,0.8602613122793846
3530.0,0.8602613122793846
3531.034909985385,0.8596250243021641
3540.0,0.8596250243021641
3541.0412177007524,0.8804835616867058
3550.0,0.8804835616867058
3551.0412177007524,0.9002574148396962
3560.0,0.9002574148396962
3561.0412177007524,0.9096873930303846
3570.0,0.9096873930303846
3571.0412177007524,0.9296174305365422
3580.0,0.9296174305365422
3581.0412177007524,0.9599184380830266
3590.0,0.9599184380830266
3591.0412177007524,0.9704683937947266
3600.0,0.9704683937947266
3601.0412177007524,0.9795940121179447
3610.0,0.9795940121179447
3611.0412177007524,0.9795068519213237
3620.0,0.9795068519213237
3621.0412177007524,1.0003151112764608
3630.0,1.0003151112764608
3631.0373719735608,1.0098522367568221
3640.0,1.0098522367568221
3641.0412177007524,1.0195780952565838
3650.0,1.0195780952565838
3651.0412177007524,1.009836943652248
3660.0,1.009836943652248
3661.0412177007524,1.0096763440181968
3670.0,1.0096763440181968
3671.0412177007524,1.0204113028002904
3680.0,1.0204113028002904
3681.0412177007524,1.0295073818126694
3690.0,1.0295073818126694
3691.0412177007524,1.0203136910884643
3700.0,1.0203136910884643
3701.0412177007524,1.0204167919007596
3710.0,1.0204167919007596
3711.0412177007524,1.0098871425073594
3720.0,1.0098871425073594
3721.0412177007524,0.999759231829783
3730.0,0.999759231829783
3731.0412177007524,1.0000282368559856
3740.0,1.0000282368559856
3741.0412177007524,0.9895711274680217
3750.0,0.9895711274680217
3751.0412177007524,0.9800105901299976
3760.0,0.9800105901299976
3761.0412177007524,0.9698982518173289
3770.0,0.9698982518173289
3771.0412177007524,0.9695284123215825
3780.0,0.9695284123215825
3781.0412177007524,0.9603446294874884
3790.0,0.9603446294874884
3791.0412177007524,0.9501054326333106
3800.0,0.9501054326333106
3801.0412177007524,0.9295612468172332
3810.0,0.9295612468172332
3811.0412177007524,0.9002022710188758
3820.0,0.9002022710188758
3821.0412177007524,0.8898704458693975
3830.0,0.8898704458693975
3831.0412177007524,0.8703747871923261
3840.0,0.8703747871923261
3841.0412177007524,0.8401184454420582
3850.0,0.8401184454420582
3851.0412177007524,0.8103120614897926
3860.0,0.8103120614897926
3861.0412177007524,0.7897349681530614
3870.0,0.7897349681530614
3871.0412177007524,0.7498887928889599
3880.0,0.7498887928889599
3881.0412177007524,0.7295990366162732
3890.0,0.7295990366162732
3891.0412177007524,0.7104431226532907
3900.0,0.7104431226532907
3901.0412177007524,0.689887940394925
3910.0,0.689887940394925
3911.0412177007524,0.6703908576609102
3920.0,0.6703908576609102
3921.0412177007524,0.640440094880527
3930.0,0.640440094880527
3931.0412177007524,0.609850331688067
3940.0,0.609850331688067
3941.0412177007524,0.5801298286905512
3950.0,0.5801298286905512
3951.0412177007524,0.5603077086834238
3960.0,0.5603077086834238
3961.0412177007524,0.5403539507770911
3970.0,0.5403539507770911
3971.0412177007524,0.5096185899600387
3980.0,0.5096185899600387
3981.0412177007524,0.4795570877592545
3990.0,0.4795570877592545
3991.0412177007524,0.44985250412276945
4000.0,0.44985250412276945
4001.0412177007524,0.429735271532787
4010.0,0.429735271532787
4011.0412177007524,0.40982976179406977
4020.0,0.40982976179406977
4021.0412177007524,0.3802780803102069
4030.0,0.3802780803102069
4031.0412177007524,0.36040214555594136
4040.0,0.36040214555594136
4041.0412177007524,0.3396893040926662
4050.0,0.3396893040926662
4051.0412177007524,0.3303468960854225
4060.0,0.3303468960854225
4061.0412177007524,0.32967639189260084
4070.0,0.32967639189260084
4071.0412177007524,0.32014574168249965
4080.0,0.32014574168249965
4081.0412177007524,0.3204819833666552
4090.0,0.3204819833666552
4091.0412177007524,0.3101551546456758
4100.0,0.3101551546456758
4101.0412177007875,0.310251465260284
4110.0,0.310251465260284
4111.0412177007875,0.30974254792695866
4120.0,0.30974254792695866
4121.0412177007875,0.3095097227205988
4130.0,0.3095097227205988
4131.0412177007875,0.3095166765898466
4140.0,0.3095166765898466
4141.0412177007875,0.3001117349672131
4150.0,0.3001117349672131
4151.0412177007875,0.27959708471246997
4160.0,0.27959708471246997
4161.0412177007875,0.26977993387216703
4170.0,0.26977993387216703
4171.0412177007875,0.2701428519391921
4180.0,0.2701428519391921
4181.0412177007875,0.2501481173359789
4190.0,0.2501481173359789
4191.0412177007875,0.2403197057121433
4200.0,0.2403197057121433
4201.0412177007875,0.2399283971406985
4210.0,0.2399283971406985
4211.0412177007875,0.23029351054062136
4220.0,0.23029351054062136
4221.0412177007875,0.23041723068617284
4230.0,0.23041723068617284
4231.0412177007875,0.23007834818097764
4240.0,0.23007834818097764
4241.0412177007875,0.23042995091504417
4250.0,0.23042995091504417
4251.0412177007875,0.22953235732275062
4260.0,0.22953235732275062
4261.0412177007875,0.2203852566499263
4270.0,0.2203852566499263
4271.0412177007875,0.2302320397081785
4280.0,0.2302320397081785
4281.0412177007875,0.239945837657433
4290.0,0.239945837657433
4291.0412177007875,0.2499617310462054
4300.0,0.2499617310462054
4301.0412177007875,0.2700339061368723
4310.0,0.2700339061368723
4311.0412177007875,0.2902085173432715
4320.0,0.2902085173432715
					</series>
					<series title="h_f" type="l" color="0x00ff00" encoding="csv">0.0,0.0
1.034909985420628,0.06018516593299447
2.0726910336342472,0.06037080420670934
3.1137631933916565,0.06055698972516013
4.154974746542375,0.060743158625753406
5.196192187694496,0.060929287019809854
6.237409877528416,0.06111537388945901
7.278627577865448,0.061301419182692045
8.319845278646083,0.0614874228882847
9.361062979445428,0.06167338499673509
10.37862461847277,0.061854071127182504
11.419842319272888,0.0620371711561318
12.461060020073006,0.06222022924648821
13.502277720873124,0.062403245388881444
14.543495421673242,0.06258621957394142
15.58471312247336,0.06276915179229821
16.625930823273478,0.06295204203458206
17.667148524073596,0.06313489029142336
18.708366224873714,0.06331769655345271
19.749583925673832,0.06350046081130085
20.75724923694554,0.06355732389744348
120.0,0.06524979608030189
121.04121770079809,0.06536880174583311
122.08243540159617,0.06548775798653401
123.12365310239426,0.06560666479290737
124.16487080319234,0.06572552215545303
125.20608850399043,0.06584433006466799
126.24730620478852,0.0659630885110463
127.2885239055866,0.0660817974850792
128.32974160638483,0.06620045697725493
129.37095930718354,0.0663190669780589
130.37862461847226,0.06639952389151037
135.67936927708388,0.06652304816322253
140.0,0.066623717129933
145.1114323493755,0.06673926331773593
150.0,0.06684975141830111
154.92212004013936,0.06695900340369032
159.84424008027872,0.06706823412383649
160.85190539156258,0.06708984415193096
165.39540081322968,0.06718665172284129
170.0,0.06728473954816215
173.97555849395872,0.0673647724336711
177.95111698791743,0.0674447838600984
180.0,0.06748601094556231
183.40762156625033,0.06755176655812964
186.81524313250065,0.06761750131676171
190.0,0.06767891800120525
193.59693387548646,0.06773417293000776
197.1938677509729,0.06778940692359506
200.0,0.06783248299402511
203.59693387548646,0.06788789175144351
207.20894327322807,0.06794351106930127
210.0,0.06798647429634712
220.0,0.06815701291703677
225.20608850399356,0.06822917543712974
230.0,0.0682956059393081
235.67936927708388,0.0683714226479493
241.0412177007987,0.0684429809882656
246.7205869778826,0.06851875513913444
250.0,0.06856249950344444
256.1526500501742,0.06864189844776472
260.0,0.06869153697869526
266.81524313250065,0.06877413314154596
270.0,0.06881272306488213
276.81524313250065,0.06889524893390873
285.3007446586116,0.06899798031749545
290.0,0.06905486201228334
297.1938677509729,0.06913939759710876
300.0,0.06917236688696182
307.4778362148271,0.06925772307484268
310.0,0.06928650771878059
317.7618046786813,0.06937270781780264
328.3297416063897,0.06949007155263331
337.38318006020904,0.06959060926246267
340.0,0.06961966461415928
347.7618046786813,0.0697058721086344
358.6137100702439,0.0698264027616903
360.0,0.06984179839422582
367.7618046786813,0.06992788666302453
370.0,0.06995270720658943
377.7618046786813,0.0700388513904117
380.0,0.07006368805065592
387.85646083329937,0.0701507036007285
390.0,0.07017444102201029
391.0412177007987,0.0701008650823276
392.0824354015974,0.07002732123845273
393.12365310239613,0.06995380948548291
394.16487080319484,0.06988032981851529
395.20608850399356,0.06980688223264685
396.24730620479227,0.06973346672297448
397.288523905591,0.06966008328459494
398.3297416063897,0.06958673191260482
399.3709593071884,0.06951341260210064
400.37862461847226,0.06944244582631642
401.41984231927097,0.0693690777463542
402.4610600200697,0.0692957417267932
403.5022777208684,0.06922243776273058
404.5434954216671,0.06914916584926338
405.5847131224658,0.06907592598148854
406.6259308232645,0.06900271815450285
407.66714852406324,0.06892954236340293
408.70836622486195,0.06885639860328532
409.74958392566066,0.0687832868692464
410.7572492369445,0.0687126505968048
411.7984669377432,0.06863972419696507
412.83968463854194,0.06856682979387067
413.88090233934065,0.06849396738261601
414.92212004013936,0.06842113695829541
415.9633377409381,0.06834833851600303
417.0045554417368,0.06827557205083287
418.0457731425355,0.06820283755787877
419.0869908433342,0.06813013503223443
420.09465615461806,0.06806746537287042
427.85646083329937,0.06815391831661961
430.0,0.06817778987382281
437.7618046786813,0.0682642692670478
440.0,0.06828920255037682
447.4778362148271,0.06837478156400453
450.0,0.06840364133014805
457.1938677509729,0.0684883860490132
460.0,0.06852143687445462
466.53127466864646,0.06860306501402746
470.0,0.06864640858366348
475.6793692770839,0.06872222439627045
480.0,0.06877988784542736
484.5434954216671,0.06884566279498823
489.0869908433342,0.06891141694091435
490.09465615461806,0.06892644165977271
493.4076215662503,0.06898992169261803
496.7205869778826,0.06905338086227376
500.0,0.06911617673749502
504.2595269578129,0.06920411124104689
508.5190539156258,0.06929202416162446
510.0,0.06932258453426107
514.7328077309032,0.06942511506315739
519.3709593071884,0.06952557405988019
520.3786246184723,0.06954784948320522
525.4900569678477,0.06966464646739322
530.0,0.06976768206318061
535.4900569678477,0.06989867443634035
540.0,0.07000626563956612
610.0,0.07120003598439396
616.8152431325007,0.07139260528564657
620.0,0.07148258551310123
626.9098992871187,0.07168034038416589
630.0,0.07176876937583458
637.0045554417368,0.0719717759630616
640.0,0.07205858377096949
900.0,0.07649258790890148
905.2060885039936,0.07661223159091604
910.0,0.07672238403542044
914.7328077309032,0.07682556660971221
919.4656154618065,0.07692872806682607
920.4732807730903,0.07695019889725283
924.7328077309032,0.0770386043371405
928.9923346887161,0.07712698866606507
930.0,0.07714789442716101
933.5022777208684,0.07721564793552621
936.9098992871187,0.07728154943221427
940.0,0.07734129244233977
943.5022777208684,0.07739540243830137
947.0045554417368,0.07744949128836527
950.0,0.07749573594058373
955.1114323493755,0.07756697151745494
960.0,0.07763508136463942
965.5847131224658,0.07770993467616744
970.0,0.07776909913461011
976.0579938955561,0.07784730316446312
980.0,0.07789818020085354
987.1938677509729,0.07798277366864236
990.0,0.07801576550193508
997.4778362148271,0.07810144648743539
1000.0,0.07813034060979782
1008.0457731425355,0.07821759946485406
1010.0,0.07823879044003405
1018.3297416063897,0.07832660709280827
1020.0,0.07834421330761962
1028.5190539156313,0.07843187170979178
1035.2060885039998,0.07850064994279443
1040.0,0.07854994590554308
1048.6137100702542,0.07863848029417837
1050.0,0.07865272701692452
1058.6137100702542,0.07874114459883517
1060.0,0.0787553725287778
1068.6137100702542,0.07884370053960492
1070.0,0.07885791405859596
1078.8030223794906,0.07894587979658603
1080.0,0.07895783918846587
1088.8030223794906,0.07904589773056003
1090.0,0.0790578697374462
1099.0869908433451,0.07914645240185088
1108.1404292971633,0.07923468683251196
1110.0,0.07925280753331536
1119.0869908433451,0.07934125791405951
1130.0,0.07944752872477999
1139.0869908433451,0.07953609283268252
1140.0946561546182,0.07954591131125568
1149.1816469979633,0.07963433856095144
1150.1893123092364,0.07964418946401561
1159.0869908433451,0.07973293273499503
1160.0946561546182,0.07974298330332326
1168.8976785341088,0.07983091751268301
1170.0,0.07984192723083777
1178.8976785341088,0.07993067457858695
1180.0,0.07994166788583512
1189.0869908433451,0.08003012956526273
1190.0946561546182,0.08003996025091863
1198.992334688727,0.08012865953585369
1206.0579938955634,0.0801990569240387
1210.0,0.0802383243523873
1218.8976785341088,0.08032705963698548
1220.0,0.08033805144994113
1228.8976785341088,0.08042664367147699
1230.0,0.08043761776579884
1239.0869908433451,0.08052583588831363
1240.0946561546182,0.08053564073210619
1248.992334688727,0.08062421058547117
1258.992334688727,0.08072375415949103
1260.0,0.0807337836304468
1268.8976785341088,0.08082242680198354
1270.0,0.08083340720628676
1278.6137100702542,0.08092141463877005
1280.0,0.080935576578831
1281.0412177008,0.08086160342926219
1282.0824354016,0.08078766257661325
1283.1236531023999,0.08071375401595415
1284.1648708031998,0.08063987774235469
1285.2060885039998,0.08056603375088461
1286.2473062047998,0.0804922220366135
1287.2885239055997,0.08041844259461083
1288.3297416063997,0.08034469541994593
1289.3709593071997,0.08027098050768806
1290.3786246184727,0.08020450737134315
1291.4198423192727,0.08014415271919943
1292.4610600200726,0.08008382857454283
1293.5022777208726,0.08002353493215297
1294.5434954216726,0.07996327178680865
1295.5847131224725,0.0799030391332878
1296.6259308232725,0.07984283696636754
1297.6671485240724,0.0797826652808241
1298.7083662248724,0.07972252407143288
1299.7495839256724,0.07966241333296842
1300.7572492369454,0.07962659664771889
1301.7984669377454,0.079597241288074
1302.8396846385454,0.07956790994291055
1303.8809023393453,0.07953860260414936
1304.9221200401453,0.07950931926370712
1305.9633377409452,0.07948005991349641
1307.0045554417452,0.07945082454542575
1308.0457731425452,0.07942161315139945
1309.0869908433451,0.07939242572331782
1310.0946561546182,0.07936846622918395
1640.0,0.08499462645893345
1642.177091556218,0.08498908434907501
1644.3541831124362,0.08498356390023805
1646.5312746686543,0.08497806503856861
1648.7083662248724,0.08497258769039104
1650.0,0.08496934820950361
1651.1358738554181,0.08495137897262532
1652.2717477108363,0.08493343171627295
1653.4076215662544,0.08491550642610639
1654.5434954216726,0.0848976030877793
1655.6793692770907,0.08487972168693891
1656.8152431325088,0.08486186220922601
1657.951116987927,0.08484402464027509
1659.0869908433451,0.08482620896571426
1660.0946561546182,0.08480957748811264
1661.1358738554181,0.08478399052739469
1662.177091556218,0.08475842632479508
1663.218309257018,0.08473288487146108
1664.259526957818,0.08470736615853541
1665.300744658618,0.0846818701771561
1666.341962359418,0.08465639691845668
1667.383180060218,0.08463094637356602
1668.4243977610179,0.08460551853360843
1669.4656154618178,0.08458011338970356
1670.473280773091,0.08455540704644171
1671.5144984738909,0.08452973535971055
1672.5557161746908,0.08450408646024547
1673.5969338754908,0.08447846033921357
1674.6381515762907,0.08445285698777741
1675.6793692770907,0.08442727639709492
1676.7205869778907,0.08440171855831945
1677.7618046786906,0.08437618346259976
1678.8030223794906,0.08435067110108
1679.8442400802905,0.08432518146489976
1680.8519053915636,0.0842938855081757
1681.8931230923636,0.08426031596349022
1682.9343407931635,0.08422677174655585
1683.9755584939635,0.08419325284995266
1685.0167761947635,0.08415975926625713
1686.0579938955634,0.08412629098804218
1687.0992115963634,0.08409284800787721
1688.1404292971633,0.08405943031832798
1689.1816469979633,0.08402603791195672
1690.1893123092364,0.08399257063500919
1691.2305300100363,0.08395276639378726
1692.2717477108363,0.0839129890405379
1693.3129654116362,0.08387323856864588
1694.3541831124362,0.08383351497149331
1695.3954008132362,0.08379381824245956
1696.4366185140361,0.08375414837492116
1697.477836214836,0.08371450536225199
1698.519053915636,0.08367488919782307
1699.560271616436,0.0836352998750027
1700.567936927709,0.0835933326439118
1701.609154628509,0.08354705197449389
1702.650372329309,0.08350079953747622
1703.691590030109,0.08345457532685402
1704.732807730909,0.08340837933662047
1705.7740254317089,0.08336221156076673
1706.8152431325088,0.08331607199328196
1707.8564608333088,0.08326996062815324
1708.8976785341088,0.08322387745936569
1710.0,0.08317512065096008
1711.0412177008,0.0831236354389666
1712.0824354016,0.08307217939155499
1713.1236531023999,0.08302075250308152
1714.1648708031998,0.08296935476790095
1715.2060885039998,0.08291798618036647
1716.2473062047998,0.08286664673482981
1717.2885239055997,0.0828153364256411
1718.3297416063997,0.08276405524714897
1719.3709593071997,0.08271280319370058
1720.3786246184727,0.08265941409102256
1721.4198423192727,0.08259772545077357
1722.4610600200726,0.0825360675417975
1723.5022777208726,0.0824744403589097
1724.5434954216726,0.08241284389692481
1725.5847131224725,0.08235127815065668
1726.6259308232725,0.08228974311491842
1727.6671485240724,0.08222823878452233
1728.7083662248724,0.08216676515428
1729.7495839256724,0.08210532221900213
1730.7572492369454,0.08203938334930015
1731.7984669377454,0.08196905726495692
1732.8396846385454,0.08189876304690644
1733.8809023393453,0.08182850069016805
1734.9221200401453,0.08175827018976074
1735.9633377409452,0.08168807154070326
1737.0045554417452,0.08161790473801409
1738.0457731425452,0.08154776977671135
1739.0869908433451,0.08147766665181293
1740.0946561546182,0.08140873805811193
1741.1358738554181,0.08132643528586865
1742.177091556218,0.08124416577712995
1743.218309257018,0.08116192952700695
1744.259526957818,0.081079726530611
1745.300744658618,0.08099755678305369
1746.341962359418,0.08091542027944675
1747.383180060218,0.08083331701490218
1748.4243977610179,0.08075124698453215
1749.4656154618178,0.080669210183449
1750.473280773091,0.08063519060465162
1940.0,0.08386735313272842
1941.0412177008,0.08378404661341719
1942.0824354016,0.0837007735043934
1943.1236531023999,0.08361753380076153
1944.1648708031998,0.0835343274976264
1945.2060885039998,0.08345115459009302
1946.2473062047998,0.08336801507326659
1947.2885239055997,0.08328490894225267
1948.3297416063997,0.08320183619215697
1949.3709593071997,0.08311879681808543
1950.3786246184727,0.08304130787327024
1951.4198423192727,0.08296615110457285
1952.4610600200726,0.0828910268040081
1953.5022777208726,0.08281593496665111
1954.5434954216726,0.08274087558757699
1955.5847131224725,0.08266584866186076
1956.6259308232725,0.0825908541845773
1957.6671485240724,0.08251589215080152
1958.7083662248724,0.08244096255560819
1959.7495839256724,0.08236606539407204
1960.7572492369454,0.08229991744241279
1961.7984669377454,0.08223375225516874
1962.8396846385454,0.08216761840395659
1963.8809023393453,0.0821015158837149
1964.9221200401453,0.08203544468938175
1965.9633377409452,0.08196940481589465
1967.0045554417452,0.08190339625819067
1968.0457731425452,0.08183741901120634
1969.0869908433451,0.08177147306987768
1970.0946561546182,0.08170904158691288
1971.1358738554181,0.08165811128990358
1972.177091556218,0.08160721004312917
1973.218309257018,0.08155633784091854
1974.259526957818,0.081505494677599
1975.300744658618,0.0814546805474963
1976.341962359418,0.08140389544493461
1977.383180060218,0.08135313936423652
1978.4243977610179,0.08130241229972308
1979.4656154618178,0.08125171424571372
1980.473280773091,0.08121163264669903
1981.5144984738909,0.08118068965071167
1982.5557161746908,0.08114977118430564
1983.5969338754908,0.08111887723966599
1984.6381515762907,0.08108800780897389
1985.6793692770907,0.08105716288440662
1986.7205869778907,0.08102634245813752
1987.7618046786906,0.08099554652233601
1988.8030223794906,0.08096477506916766
1989.8442400802905,0.08093402809079409
1990.8519053915636,0.08091990294580695
1992.0824354016,0.08090615859433989
1993.3129654116362,0.0808924353729217
1994.5434954216726,0.0808787332616232
1995.7740254317089,0.0808650522405107
1997.0045554417452,0.08085139228964615
1998.2350854517815,0.08083775338908715
1999.4656154618178,0.08082413551888691
2000.473280773091,0.08082629948499173
2580.0,0.09070946821996002
2588.8030223795117,0.09101441940786166
2590.0,0.09105588305339289
2598.9923346887485,0.09137052857298754
2600.0,0.09140578586973384
2609.086990843367,0.09172698087028194
2610.0946561546184,0.09176261842731326
2619.2763031526038,0.09208919486714258
2620.283968463855,0.09212513094990803
2629.6549277710774,0.09246159609243199
2630.662593082329,0.09249785288706416
2640.0,0.09283418563465833
2649.4656154618406,0.09317721454141834
2650.473280773092,0.09321383182633466
2660.0,0.09356109021682854
2669.749583925696,0.09391963653447884
2670.7572492369472,0.09395685702601436
2680.0,0.09429874767785146
2690.0,0.09467072502800544
2700.0,0.0950469206289111
3230.0,0.10408546752547576
3240.0,0.10445899225605193
3249.7495839252274,0.10481903365405598
3250.757249236911,0.10485599871397046
3260.0,0.10519430239775644
3269.465615461386,0.1055386415092227
3277.951116987564,0.10584727784732542
3288.4243977606334,0.10622819734518443
3290.0,0.10628550104440919
3299.465615461386,0.10662871497234679
3300.4732807730693,0.10666519691414952
3309.8442400798413,0.10700389092549162
3310.8519053915247,0.10704022027769407
3320.0,0.10736987684328872
3329.1816469975442,0.10769751903271738
3330.1893123092277,0.1077334541099669
3339.276303152158,0.10805665689371659
3340.2839684638416,0.10809246566769361
3349.370959306772,0.10841467843032396
3350.3786246184554,0.10845036041513754
3359.370959306772,0.10876807252467384
3369.465615461386,0.10912474718567462
3378.3297416060195,0.10943791816585095
3380.0,0.10949692629947332
3389.0869908429304,0.1098200949799982
3390.094656154614,0.10985594087414571
3399.276303152158,0.11018349003486158
3400.2839684638416,0.1102193714814705
3409.370959306772,0.11054143878990805
3410.3786246184554,0.11057710709253463
3419.370959306772,0.11089473342102413
3420.3786246184554,0.11093018913938196
3429.276303152158,0.1112412615376365
3439.7495839252274,0.11160744893448739
3440.757249236911,0.11164258546037263
3449.5602716159997,0.11194925599726652
3450.567936927683,0.11198442763659533
3459.465615461386,0.11229545277572521
3460.4732807730693,0.1123306160439973
3469.276303152158,0.11263720970782745
3479.7495839252274,0.11300200872218309
3480.757249236911,0.11303728806076255
3489.6549277706135,0.11334932433441762
3490.662593082297,0.11338481360502041
3499.6549277706135,0.11370221379448006
3508.3297416060195,0.11400836943667118
3510.0,0.11406731458741999
3518.8976785337027,0.11437919802219758
3520.0,0.11441783536609638
3530.0,0.11476720600501798
3540.0,0.11493774462570783
3548.8976785337027,0.11525071289029386
3550.0,0.11528948464719914
3558.9923346883165,0.11560785039048006
3560.0,0.11564352459004505
3569.0869908429304,0.11596621690906848
3570.094656154614,0.11600202106515543
3579.276303152158,0.1163301654402264
3580.2839684638416,0.11636627519746902
3589.5602716159997,0.11670097820207259
3590.567936927683,0.11673740241054102
3600.0,0.11707882091469576
3609.370959306772,0.11741896298626762
3618.5190539152472,0.11775098706497976
3620.0,0.11780473504473463
3630.0,0.11816996062987668
3640.0,0.11834049925056653
3649.5602716159997,0.11869165401180008
3650.567936927683,0.11872860438618742
3660.0,0.11907402100149465
3669.5602716159997,0.11942409484864257
3670.567936927683,0.11946105864498995
3680.0,0.1198075240597265
3689.6549277706135,0.12016311184237059
3690.662593082297,0.12020015619221554
3704.1648708030098,0.12069605315150982
3710.0,0.12091035097976253
3719.5602716159997,0.12126033535781063
3720.567936927683,0.12129715946799516
3730.0,0.12164137312088921
3739.465615461386,0.12198681832180774
3740.4732807730693,0.12202353661076866
3749.8442400798413,0.12236441612893682
3750.8519053915247,0.12240097889159339
3760.0,0.12273275188940613
3769.276303152158,0.12306809964958283
3777.0992115960394,0.12335085978076148
3780.0,0.12345570426833283
3789.276303152158,0.12379000424248707
3790.2839684638416,0.1238262841744257
3799.465615461386,0.12415607962044227
3800.4732807730693,0.12419216091770938
3809.5602716159997,0.12451638781614914
3810.567936927683,0.124552145676251
3819.5602716159997,0.1248698893691061
3820.567936927683,0.12490542443767814
3829.465615461386,0.12521871262920858
3830.4732807730693,0.12525408105224656
3839.276303152158,0.12556196242697662
3840.2839684638416,0.12566189064243782
3841.325186164594,0.12593547012498024
3842.3664038653465,0.1262090171737398
3843.407621566099,0.12648253177683552
3844.4488392668513,0.12675601392238608
3845.490056967604,0.12702946359851008
3846.531274668356,0.12730288079332577
3847.5724923691087,0.12757626549495135
3848.613710069861,0.12784961769150469
3849.6549277706135,0.12812293737110347
3850.662593082297,0.12838397775909308
3851.7038107830494,0.12865182586717505
3852.745028483802,0.1289196406850973
3853.7862461845543,0.12918742220112253
3854.8274638853068,0.12945517040351331
3855.868681586059,0.12972288528053205
3856.9098992868117,0.12999056682044097
3857.951116987564,0.1302582150115022
3858.9923346883165,0.13052582984197772
3860.0,0.1307847891953542
3861.0412177007524,0.1310485266726739
3862.082435401505,0.13131223024146096
3863.1236531022573,0.1315758998900801
3864.1648708030098,0.13183953560689568
3865.206088503762,0.13210313738027232
3866.2473062045146,0.13236670519857435
3867.288523905267,0.13263023905016605
3868.3297416060195,0.1328937389234116
3869.370959306772,0.13315720480667506
3870.3786246184554,0.1334093943361932
3871.419842319208,0.13366521919059074
3872.4610600199603,0.13392100901787907
3873.5022777207128,0.1341767638066277
3874.543495421465,0.13443248354540627
3875.5847131222176,0.13468816822278415
3876.62593082297,0.1349438178273309
3877.6671485237225,0.13519943234761597
3878.708366224475,0.13545501177220895
3879.7495839252274,0.13571055608967927
3880.757249236911,0.13595495155987353
3881.7984669376633,0.13620646539687195
3882.8396846384157,0.13645794357724822
3883.880902339168,0.13670938608967959
3884.9221200399206,0.13696079292284333
3885.963337740673,0.13721216406541667
3887.0045554414255,0.1374634995060769
3888.045773142178,0.1377147992335014
3889.0869908429304,0.13796606323636754
3890.094656154614,0.13820884985079837
3891.1358738553663,0.13845623119835146
3892.1770915561187,0.13870357629718422
3893.218309256871,0.13895088513607778
3894.2595269576236,0.1391981577038134
3895.300744658376,0.13944539398917244
3896.3419623591285,0.13969259398093614
3897.383180059881,0.13993975766788602
3898.4243977606334,0.14018688503880353
3899.465615461386,0.1404339760824702
3900.4732807730693,0.1406711731678185
3901.5144984738217,0.14091401887281677
3902.555716174574,0.14115682768653853
3903.5969338753266,0.14139959959787884
3904.638151576079,0.1416423345957329
3905.6793692768315,0.14188503266899608
3906.720586977584,0.1421276938065638
3907.7618046783364,0.1423703179973316
3908.803022379089,0.14261290523019515
3909.8442400798413,0.1428554554940503
3910.8519053915247,0.14308684707734248
3911.893123092277,0.1433252816613724
3912.9343407930296,0.1435636787354981
3913.975558493782,0.14380203828872515
3915.0167761945345,0.14404036031005915
3916.057993895287,0.14427864478850588
3917.0992115960394,0.14451689171307133
3918.140429296792,0.1447551010727615
3919.1816469975442,0.14499327285658264
3920.1893123092277,0.14522257470196817
3921.23053000998,0.14545429632263163
3922.2717477107326,0.14568597954502924
3923.312965411485,0.14591762435833883
3924.3541831122375,0.1461492307517384
3925.39540081299,0.1463807987144062
3926.4366185137424,0.14661232823552062
3927.477836214495,0.14684381930426024
3928.5190539152472,0.1470752719098039
3929.5602716159997,0.14730668604133054
3930.567936927683,0.14752693361337718
3931.6091546284356,0.14775153800131716
3932.650372329188,0.14797610306347897
3933.6915900299405,0.14820062878922044
3934.732807730693,0.14842511516789963
3935.7740254314454,0.14864956218887485
3936.815243132198,0.1488739698415047
3937.8564608329502,0.14909833811514792
3938.8976785337027,0.1493226669991635
3939.938896234455,0.14954695648291075
3940.9465615461386,0.1495892297121243
3948.3297416060195,0.1498162919574181
3950.0,0.14986765611567007
3957.288523905267,0.1500894545268013
3960.0,0.15017196252686146
3967.193867750653,0.1503884817756097
3970.0,0.15047293428292774
3977.0045554414255,0.15068005219302613
3980.0,0.15076861816740214
3986.9098992868117,0.15096920664825417
3990.0,0.15105890272726208
3996.720586977584,0.15125024133965503
4000.0,0.1513436002675881
4006.62593082297,0.1515296200455313
4010.0,0.15162433724129729
4016.531274668356,0.15180504486209995
4020.0,0.15190100905076412
4026.3419623591285,0.15207247454741407
4030.0,0.15217136602406903
4036.2473062045146,0.1523374610810566
4040.0,0.15243722239852175
4046.057993895287,0.15259530071647848
4050.0,0.15269815276129883
4055.963337740673,0.15285236337400923
4060.0,0.15295673871569396
4065.963337740673,0.15311081496279744
4070.0,0.15321509932337207
4075.963337740673,0.1533677067477495
4080.0,0.15347099655389881
4085.963337740673,0.1536236192965606
4090.0,0.15372691947327283
4095.868681586059,0.15387550826703944
4104.070214648533,0.1540831369689557
4110.0,0.15423323608363418
4115.868681586257,0.15438168789560994
4120.0,0.15448617922291774
4125.868681586257,0.15463455827133077
4131.893123092341,0.15478685347232599
4137.761804678597,0.15493519013753904
4140.0,0.15499175705878118
4145.7740254316395,0.15513620506613401
4150.0,0.1552419121719936
4155.584713122405,0.15537832110578162
4160.0,0.15548615125774792
4165.490056967788,0.15561857805125673
4170.0,0.1557273473871547
4175.490056967788,0.15585979704666242
4180.0,0.15596858517214227
4185.300744658554,0.15609299210422162
4190.0,0.15620326428703582
4195.11143234932,0.15632142762012047
4200.0,0.1564344193049815
4205.11143234932,0.1565524693530344
4210.0,0.15666535263104317
4215.016776194703,0.15677937018395297
4220.0,0.15689260409570902
4225.016776194703,0.15700660313510884
4230.0,0.15711981864351068
4235.016776194703,0.1572337094073441
4240.0,0.15734681729564276
4245.016776194703,0.1574607337747409
4250.0,0.15757386721973507
4255.016776194703,0.15768756598191258
4260.0,0.15780048302912222
4264.827463885469,0.15790806629140255
4269.654927770938,0.15801562845715153
4270.662593082319,0.158038341208601
4275.6793692770225,0.15815208903640385
4280.0,0.15825003559871112
4285.11143234932,0.15836776412427558
4290.0,0.15848033971119938
4295.206088503937,0.15860206248959904
4300.0,0.15871412965245793
4305.395400813171,0.15884380232540843
4310.0,0.15895445247354115
4315.584713122405,0.15909202537053133
4320.0,0.1592007760680199
					</series>
					<series title="wind_speed / 8.000000" type="l" color="0x00ffff" encoding="csv">0.0,0.0
1.034909985420628,1.025
10.0,1.025
11.041217700800118,1.0707073423953262
20.0,1.0707073423953262
21.041217700800118,1.0270137589017394
30.0,1.0270137589017394
31.041217700800118,1.0049643248436042
40.0,1.0049643248436042
41.041217700800196,1.1117305706138723
50.0,1.1117305706138723
51.041217700800196,1.1781054654798937
60.0,1.1781054654798937
61.03612333236822,1.2034246936091222
70.0,1.2034246936091222
71.04121770079809,1.2990059182862752
80.0,1.2990059182862752
81.04121770079809,1.316951025929302
90.0,1.316951025929302
91.04121770079809,1.1924447706493084
100.0,1.1924447706493084
101.04121770079809,1.2169590749719645
110.0,1.2169590749719645
111.04121770079809,1.2853739453072195
120.0,1.2853739453072195
121.04121770079809,1.1255840904486831
130.0,1.1255840904486831
131.0412177007987,1.0766626331373117
140.0,1.0766626331373117
141.0412177007987,0.9470265599957202
150.0,0.9470265599957202
151.0412177007987,1.0370526279264596
160.0,1.0370526279264596
161.0412177007987,0.9592967136064545
170.0,0.9592967136064545
171.0412177007987,1.0228531123080757
180.0,1.0228531123080757
181.0412177007987,1.1414786881126928
190.0,1.1414786881126928
191.0412177007987,0.9820495684980415
200.0,0.9820495684980415
201.0412177007987,0.9205804146127775
210.0,0.9205804146127775
211.0361233323663,0.9043261563288979
220.0,0.9043261563288979
221.0412177007987,0.9074157513212413
230.0,0.9074157513212413
231.0412177007987,0.9874081001093145
240.0,0.9874081001093145
241.0412177007987,0.9292057364073116
250.0,0.9292057364073116
251.0412177007987,0.8725792250479572
260.0,0.8725792250479572
261.0412177007987,0.8143101416528225
270.0,0.8143101416528225
271.0412177007987,0.9831086317833979
280.0,0.9831086317833979
281.0412177007987,1.088653664017329
290.0,1.088653664017329
291.0412177007987,0.9783331010723486
300.0,0.9783331010723486
301.0412177007987,0.914970992540475
310.0,0.914970992540475
311.0412177007987,0.8869347994041163
320.0,0.8869347994041163
321.0412177007987,1.032378223835258
330.0,1.032378223835258
331.0412177007987,0.9785387241456192
340.0,0.9785387241456192
341.0412177007987,1.0674015603319276
350.0,1.0674015603319276
351.0412177007987,0.9170793002936989
360.0,0.9170793002936989
361.0412177007987,0.9934532703773584
370.0,0.9934532703773584
371.0412177007987,0.9943804606213233
380.0,0.9943804606213233
381.0412177007987,0.9903964485216421
390.0,0.9903964485216421
391.0412177007987,0.9120002704032231
400.0,0.9120002704032231
401.0412177007987,0.8660468791960738
410.0,0.8660468791960738
411.0412177007987,0.9230920027301182
420.0,0.9230920027301182
421.0412177007987,1.019828332378529
430.0,1.019828332378529
431.0412177007987,0.9220277125365101
440.0,0.9220277125365101
441.0412177007987,0.9486905105703045
450.0,0.9486905105703045
451.0412177007987,0.9158950722252485
460.0,0.9158950722252485
461.0412177007987,0.916237764962716
470.0,0.916237764962716
471.0412177007987,0.8901064641657286
480.0,0.8901064641657286
481.0412177007987,0.9021258232765831
490.0,0.9021258232765831
491.0412177007987,0.9564384655153844
500.0,0.9564384655153844
501.0412177007987,0.8788006306218449
510.0,0.8788006306218449
511.0412177007987,0.9853548452374525
520.0,0.9853548452374525
521.0412177007987,1.024280306469882
530.0,1.024280306469882
531.0412177007987,1.041700975544518
540.0,1.041700975544518
541.0412177007987,0.9373606471752283
550.0,0.9373606471752283
551.0412177007987,0.9521054886863567
560.0,0.9521054886863567
561.0412177007987,0.8752029612485785
570.0,0.8752029612485785
571.0412177007987,0.8329166655777953
580.0,0.8329166655777953
581.0412177007987,0.9434570433397311
590.0,0.9434570433397311
591.0412177007987,0.9360939402598888
600.0,0.9360939402598888
601.0412177007987,0.9449596372782252
610.0,0.9449596372782252
611.0412177007987,0.9124359810492024
620.0,0.9124359810492024
621.0412177007987,0.8243418663623743
630.0,0.8243418663623743
631.0412177007987,0.9453123126237188
640.0,0.9453123126237188
641.0412177007987,0.8113356620422565
650.0,0.8113356620422565
651.0412177007987,0.9075546391541138
660.0,0.9075546391541138
661.0412177007987,0.8682534607709386
670.0,0.8682534607709386
671.0412177007987,0.8386983354575932
680.0,0.8386983354575932
681.0412177007987,0.832064954820089
690.0,0.832064954820089
691.0412177007987,0.7976329122437165
700.0,0.7976329122437165
701.0412177007987,0.7681134290178306
710.0,0.7681134290178306
711.0412177007987,0.8216653947078157
720.0,0.8216653947078157
721.0412177007987,0.7379524794989265
730.0,0.7379524794989265
731.0412177007987,0.7126721622189507
740.0,0.7126721622189507
741.0412177007987,0.7428380990226288
750.0,0.7428380990226288
751.0412177007987,0.7029492105997633
760.0,0.7029492105997633
761.0412177007987,0.8231163277640008
770.0,0.8231163277640008
771.0412177007987,0.7814814934914466
780.0,0.7814814934914466
781.0412177007987,0.7417335842037573
790.0,0.7417335842037573
791.0412177007987,0.7078352948767133
800.0,0.7078352948767133
801.0412177007987,0.7495527988416143
810.0,0.7495527988416143
811.0412177007987,0.7806729653791991
820.0,0.7806729653791991
821.0412177007987,0.8563976364210248
830.0,0.8563976364210248
831.0412177007987,0.9204424684401602
840.0,0.9204424684401602
841.0412177007987,0.8097781612654217
850.0,0.8097781612654217
851.0412177007987,0.862769219733309
860.0,0.862769219733309
861.0412177007987,0.7816177455417346
870.0,0.7816177455417346
871.0412177007987,0.8578579166263808
880.0,0.8578579166263808
881.0412177007987,0.8854407479346265
890.0,0.8854407479346265
891.0412177007987,0.8287609074031934
900.0,0.8287609074031934
901.0412177007987,0.8757314166345168
910.0,0.8757314166345168
911.0412177007987,0.8914996771491133
920.0,0.8914996771491133
921.0412177007987,0.9856595190358348
930.0,0.9856595190358348
931.0412177007987,0.9105694501253311
940.0,0.9105694501253311
941.0412177007987,0.91601841316442
950.0,0.91601841316442
951.0412177007987,0.9954139725887217
960.0,0.9954139725887217
961.0412177007987,0.8391740100982134
970.0,0.8391740100982134
971.0412177007987,0.7620539792987984
980.0,0.7620539792987984
981.0412177007987,0.8379323042638134
990.0,0.8379323042638134
991.0412177007987,0.781438928632997
1000.0,0.781438928632997
1001.0412177007987,0.8974662782624364
1010.0,0.8974662782624364
1011.0412177007987,0.8523592079465743
1020.0,0.8523592079465743
1021.0412177007987,0.9134435731801205
1030.0,0.9134435731801205
1031.0412177008,0.9256704751343932
1040.0,0.9256704751343932
1041.0412177008,0.790171923226444
1050.0,0.790171923226444
1051.0412177008,0.6791003875958268
1060.0,0.6791003875958268
1061.0412177008,0.7638201257097534
1070.0,0.7638201257097534
1071.0412177008,0.8104259637882933
1080.0,0.8104259637882933
1081.0412177008,0.8350565752014518
1090.0,0.8350565752014518
1091.0412177008,0.6795074273599312
1100.0,0.6795074273599312
1101.0412177008,0.8124507192871533
1110.0,0.8124507192871533
1111.0412177008,0.9812020194134674
1120.0,0.9812020194134674
1121.0412177008,0.9161758050613571
1130.0,0.9161758050613571
1131.0412177008,0.9917616478225681
1140.0,0.9917616478225681
1141.0412177008,0.9980098608648404
1150.0,0.9980098608648404
1151.0412177008,1.0501716424943879
1160.0,1.0501716424943879
1161.0412177008,1.0975889952213038
1170.0,1.0975889952213038
1171.0412177008,1.0994833688717336
1180.0,1.0994833688717336
1181.0412177008,1.0625285625224934
1190.0,1.0625285625224934
1191.0412177008,1.0742245604516938
1200.0,1.0742245604516938
1201.0412177008,1.0457553171901963
1210.0,1.0457553171901963
1211.0412177008,1.020120218140073
1220.0,1.020120218140073
1221.0412177008,0.9728601197130047
1230.0,0.9728601197130047
1231.0412177008,1.0039393107523211
1240.0,1.0039393107523211
1241.0412177008,1.1305767804326023
1250.0,1.1305767804326023
1251.0412177008,1.11131332089426
1260.0,1.11131332089426
1261.0412177008,1.211013438476948
1270.0,1.211013438476948
1271.0412177008,1.1461760149977636
1280.0,1.1461760149977636
1281.0412177008,1.1606131770065986
1290.0,1.1606131770065986
1291.0412177008,0.9714440890296827
1300.0,0.9714440890296827
1301.0412177008,0.9969718944805208
1310.0,0.9969718944805208
1311.0412177008,1.0218170804786495
1320.0,1.0218170804786495
1321.0412177008,0.9605422101274599
1330.0,0.9605422101274599
1331.0412177008,0.9557271909958218
1340.0,0.9557271909958218
1341.0412177008,0.9310571393114515
1350.0,0.9310571393114515
1351.0412177008,1.0324886443268042
1360.0,1.0324886443268042
1361.0412177008,0.8933480779523961
1370.0,0.8933480779523961
1371.0412177008,0.9224869536585174
1380.0,0.9224869536585174
1381.0412177008,1.0266440765582956
1390.0,1.0266440765582956
1391.0412177008,1.1171360074717085
1400.0,1.1171360074717085
1401.0412177008,1.1061374013428575
1410.0,1.1061374013428575
1411.0412177008,1.2114832738647237
1420.0,1.2114832738647237
1421.0412177008,1.0415500871662515
1430.0,1.0415500871662515
1431.0412177008,1.1069745267159306
1440.0,1.1069745267159306
1441.0412177008,1.1062104317359627
1450.0,1.1062104317359627
1451.0412177008,1.161808290105546
1460.0,1.161808290105546
1461.0412177008,1.124708464439027
1470.0,1.124708464439027
1471.0412177008,1.0869124943041242
1480.0,1.0869124943041242
1481.0412177008,1.1908413155353628
1490.0,1.1908413155353628
1491.0412177008,1.2158478771103547
1500.0,1.2158478771103547
1501.0412177008,1.189192505221581
1510.0,1.189192505221581
1511.0412177008,1.2408334795502014
1520.0,1.2408334795502014
1521.0412177008,1.2136663119425066
1530.0,1.2136663119425066
1531.0412177008,1.2569183505664114
1540.0,1.2569183505664114
1541.0412177008,1.2124922600167338
1550.0,1.2124922600167338
1551.0412177008,1.2807364836684427
1560.0,1.2807364836684427
1561.0412177008,1.2431088203098626
1570.0,1.2431088203098626
1571.0412177008,1.4150503767130431
1580.0,1.4150503767130431
1581.0412177008,1.3489857748150826
1590.0,1.3489857748150826
1591.0412177008,1.387593110027956
1600.0,1.387593110027956
1601.0412177008,1.253469641500851
1610.0,1.253469641500851
1611.0412177008,1.2507424489303958
1620.0,1.2507424489303958
1621.0412177008,1.4498085203871596
1630.0,1.4498085203871596
1631.0412177008,1.486902507004561
1640.0,1.486902507004561
1641.0412177008,1.3455306932213715
1650.0,1.3455306932213715
1651.0412177008,1.326676240656525
1660.0,1.326676240656525
1661.0412177008,1.2971549773821607
1670.0,1.2971549773821607
1671.0412177008,1.3760467666143086
1680.0,1.3760467666143086
1681.0412177008,1.5487657702004072
1690.0,1.5487657702004072
1691.0412177008,1.4010922067565843
1700.0,1.4010922067565843
1701.0412177008,1.477108759188559
1710.0,1.477108759188559
1711.0412177008,1.6009158010070679
1720.0,1.6009158010070679
1721.0412177008,1.6388212560326791
1730.0,1.6388212560326791
1731.0412177008,1.6978691703639925
1740.0,1.6978691703639925
1741.0412177008,1.651410168915754
1750.0,1.651410168915754
1751.0412177008,1.69926864807494
1760.0,1.69926864807494
1761.0412177008,1.7228681665379555
1770.0,1.7228681665379555
1771.0412177008,1.7830175190465525
1780.0,1.7830175190465525
1781.0412177008,1.8265052226313856
1790.0,1.8265052226313856
1791.0412177008,1.8220823996816762
1800.0,1.8220823996816762
1801.0412177008,1.8476358652464113
1810.0,1.8476358652464113
1811.0412177008,1.7443247741670347
1820.0,1.7443247741670347
1821.0412177008,1.8202570373716298
1830.0,1.8202570373716298
1831.0412177008,1.7350300973048434
1840.0,1.7350300973048434
1841.0412177008,1.7040911656047684
1850.0,1.7040911656047684
1851.0412177008,1.697479174437467
1860.0,1.697479174437467
1861.0412177008,1.7160622615541796
1870.0,1.7160622615541796
1871.0412177008,1.7879328375216574
1880.0,1.7879328375216574
1881.0412177008,1.7944087324140128
1890.0,1.7944087324140128
1891.0412177008,1.7051567717513536
1900.0,1.7051567717513536
1901.0412177008,1.7561853331688326
1910.0,1.7561853331688326
1911.0412177008,1.727009835874196
1920.0,1.727009835874196
1921.0412177008,1.7289685660391114
1930.0,1.7289685660391114
1931.0412177008,1.7841954196395817
1940.0,1.7841954196395817
1941.0412177008,1.8436020094435661
1950.0,1.8436020094435661
1951.0412177008,1.8234327458951156
1960.0,1.8234327458951156
1961.0412177008,1.7694756984594278
1970.0,1.7694756984594278
1971.0412177008,1.8445663296617567
1980.0,1.8445663296617567
1981.0412177008,2.0036741239309777
1990.0,2.0036741239309777
1991.0412177008,2.0478330466023182
2000.0,2.0478330466023182
2001.0412177008,2.092397085094126
2010.0,2.092397085094126
2011.0412177008,2.1219046658894514
2020.0,2.1219046658894514
2021.0412177008,2.0232143983826973
2030.0,2.0232143983826973
2031.0412177008,2.242349023767747
2040.0,2.242349023767747
2041.0412177008,2.249386247259099
2050.0,2.249386247259099
2051.0412177008025,2.239961188822053
2060.0,2.239961188822053
2061.0412177008025,2.293481935089221
2070.0,2.293481935089221
2071.0412177008025,2.078203003841918
2080.0,2.078203003841918
2081.0412177008025,2.0705816563160626
2090.0,2.0705816563160626
2091.0412177008025,2.0226669656170997
2100.0,2.0226669656170997
2101.0412177008025,1.8103811312874314
2110.0,1.8103811312874314
2111.0412177008025,1.8005243300751317
2120.0,1.8005243300751317
2121.0412177008025,1.7853713840362615
2130.0,1.7853713840362615
2131.0412177008025,2.0662416295555888
2140.0,2.0662416295555888
2141.0412177008025,1.913542715535732
2150.0,1.913542715535732
2151.0412177008025,1.9688172400172332
2160.0,1.9688172400172332
2161.0412177008025,1.7649816270102747
2170.0,1.7649816270102747
2171.0412177008025,1.6664499500999228
2180.0,1.6664499500999228
2181.0412177008025,1.690915707871318
2190.0,1.690915707871318
2191.0412177008025,1.9534563291643279
2200.0,1.9534563291643279
2201.0412177008025,2.0285405763890596
2210.0,2.0285405763890596
2211.0412177008025,2.0087120426876934
2220.0,2.0087120426876934
2221.0412177008025,1.8165577720792498
2230.0,1.8165577720792498
2231.0412177008025,1.550374044268392
2240.0,1.550374044268392
2241.0412177008025,1.5601431450399104
2250.0,1.5601431450399104
2251.0412177008025,1.548615259019425
2260.0,1.548615259019425
2261.0412177008025,1.3695122391101904
2270.0,1.3695122391101904
2271.0412177008025,1.5590332947438583
2280.0,1.5590332947438583
2281.0412177008025,1.755968653137097
2290.0,1.755968653137097
2291.0412177008025,1.8850262545689476
2300.0,1.8850262545689476
2301.0412177008025,1.7924030878872146
2310.0,1.7924030878872146
2311.0412177008025,1.9112867188057863
2320.0,1.9112867188057863
2321.0412177008025,1.7172462698363233
2330.0,1.7172462698363233
2331.0412177008025,1.7369651831162627
2340.0,1.7369651831162627
2341.0412177008025,1.648619511880679
2350.0,1.648619511880679
2351.0412177008025,1.7433671063277871
2360.0,1.7433671063277871
2361.0412177008025,2.0503305032034405
2370.0,2.0503305032034405
2371.0412177008025,2.0328853835584595
2380.0,2.0328853835584595
2381.0412177008025,1.8392290574149228
2390.0,1.8392290574149228
2391.0412177008025,1.824376302928431
2400.0,1.824376302928431
2401.0412177008025,1.7501051084022037
2410.0,1.7501051084022037
2411.0412177008025,1.4456313525384759
2420.0,1.4456313525384759
2421.0412177008025,1.5287796243559568
2430.0,1.5287796243559568
2431.0412177008025,1.265626157267252
2440.0,1.265626157267252
2441.0412177008025,1.1703015164181125
2450.0,1.1703015164181125
2451.0412177008025,1.3751130842545536
2460.0,1.3751130842545536
2461.0412177008025,1.4665762848046142
2470.0,1.4665762848046142
2471.0412177008025,1.4390609359077644
2480.0,1.4390609359077644
2481.0412177008025,1.952945325267501
2490.0,1.952945325267501
2491.0412177008025,1.8603572704072575
2500.0,1.8603572704072575
2501.0412177008025,1.8113748204777949
2510.0,1.8113748204777949
2511.0412177008025,1.88590685070958
2520.0,1.88590685070958
2521.0412177008025,1.7296228286460973
2530.0,1.7296228286460973
2531.0412177008025,1.794424706272548
2540.0,1.794424706272548
2541.0412177008025,1.7917335803562309
2550.0,1.7917335803562309
2551.0412177008025,1.9107720390777103
2560.0,1.9107720390777103
2561.0412177008025,1.7329644408833702
2570.0,1.7329644408833702
2571.0412177008025,1.788392018864397
2580.0,1.788392018864397
2581.0412177008025,1.978638506110292
2590.0,1.978638506110292
2591.0412177008025,1.9384819019818678
2600.0,1.9384819019818678
2601.0412177008025,1.8609824780083728
2610.0,1.8609824780083728
2611.0412177008025,2.0245107691909654
2620.0,2.0245107691909654
2621.0412177008025,1.894147691485705
2630.0,1.894147691485705
2631.0412177008025,1.9455247047008015
2640.0,1.9455247047008015
2641.0412177008025,2.1518730669049546
2650.0,2.1518730669049546
2651.0412177008025,2.0858280336193276
2660.0,2.0858280336193276
2661.0412177008025,2.145174998336006
2670.0,2.145174998336006
2671.0412177008025,2.1510591831989587
2680.0,2.1510591831989587
2681.0412177008025,1.927509880962316
2690.0,1.927509880962316
2691.0412177008025,2.1828743973281233
2700.0,2.1828743973281233
2701.0412177008025,2.02715988077689
2710.0,2.02715988077689
2711.0412177008025,1.9318545126006939
2720.0,1.9318545126006939
2721.0412177008025,2.035286476614419
2730.0,2.035286476614419
2731.0412177008025,2.0110169643652624
2740.0,2.0110169643652624
2741.0412177008025,2.0379204941214994
2750.0,2.0379204941214994
2751.0412177008025,2.230766191740986
2760.0,2.230766191740986
2761.0412177008025,2.0572647949738894
2770.0,2.0572647949738894
2771.0412177008025,2.0338440948806236
2780.0,2.0338440948806236
2781.0412177008025,2.1521081274957394
2790.0,2.1521081274957394
2791.0412177008025,2.1421049372293055
2800.0,2.1421049372293055
2801.0412177008025,2.034119977342198
2810.0,2.034119977342198
2811.0412177008025,2.2526202820066827
2820.0,2.2526202820066827
2821.0412177008025,2.248733944405103
2830.0,2.248733944405103
2831.0412177008025,2.1944372349826153
2840.0,2.1944372349826153
2841.0412177008025,2.2174054007628
2850.0,2.2174054007628
2851.0412177008025,2.070820839179214
2860.0,2.070820839179214
2861.0412177008025,2.230722244811477
2870.0,2.230722244811477
2871.0412177008025,2.271908452839125
2880.0,2.271908452839125
2881.0412177008025,2.289709798025433
2890.0,2.289709798025433
2891.0412177008025,2.114003101887647
2900.0,2.114003101887647
2901.0412177008025,2.2550799750781154
2910.0,2.2550799750781154
2911.0412177008025,2.0165595378028227
2920.0,2.0165595378028227
2921.034909985385,2.204577332170447
2930.0,2.204577332170447
2931.0412177007524,2.122633308416698
2940.0,2.122633308416698
2941.0412177007524,2.3302757055149415
2950.0,2.3302757055149415
2951.0412177007524,2.263842160295462
2960.0,2.263842160295462
2961.0412177007524,2.1560940329218283
2970.0,2.1560940329218283
2971.0412177007524,2.003068237402476
2980.0,2.003068237402476
2981.0412177007524,1.9555252790858502
2990.0,1.9555252790858502
2991.0412177007524,2.295377135818126
3000.0,2.295377135818126
3001.0412177007524,1.8349685244145804
3010.0,1.8349685244145804
3011.0412177007524,1.7379134814837016
3020.0,1.7379134814837016
3021.0412177007524,2.0334258174290882
3030.0,2.0334258174290882
3031.0412177007524,1.9412255741073752
3040.0,1.9412255741073752
3041.0412177007524,1.7728864094009622
3050.0,1.7728864094009622
3051.0412177007524,1.9332599655666853
3060.0,1.9332599655666853
3061.0412177007524,1.7506970044516492
3070.0,1.7506970044516492
3071.0412177007524,1.6077320352836977
3080.0,1.6077320352836977
3081.0412177007524,1.6145709777076263
3090.0,1.6145709777076263
3091.0412177007524,1.8683526385691949
3100.0,1.8683526385691949
3101.0412177007524,1.7929314181907103
3110.0,1.7929314181907103
3111.0412177007524,1.6626830440596678
3120.0,1.6626830440596678
3121.0412177007524,1.6146593063138426
3130.0,1.6146593063138426
3131.0412177007524,1.787302026897669
3140.0,1.787302026897669
3141.0412177007524,1.9762259277165866
3150.0,1.9762259277165866
3151.0412177007524,1.6315380120417102
3160.0,1.6315380120417102
3161.0412177007524,1.7344540855730883
3170.0,1.7344540855730883
3171.0412177007524,1.7260660331696271
3180.0,1.7260660331696271
3181.0412177007524,1.8428688017535024
3190.0,1.8428688017535024
3191.0412177007524,1.5452556040429044
3200.0,1.5452556040429044
3201.0412177007524,1.8859347935242112
3210.0,1.8859347935242112
3211.0412177007524,1.9556338834052438
3220.0,1.9556338834052438
3221.0412177007524,1.6666784287663177
3230.0,1.6666784287663177
3231.0412177007524,1.6501525846484584
3240.0,1.6501525846484584
3241.0412177007524,1.7724960561608896
3250.0,1.7724960561608896
3251.0412177007524,1.9762732816510833
3260.0,1.9762732816510833
3261.0412177007524,1.7179658285167534
3270.0,1.7179658285167534
3271.0412177007524,1.5036389808519743
3280.0,1.5036389808519743
3281.0412177007524,1.6158379893167876
3290.0,1.6158379893167876
3291.0412177007524,1.4378909266495612
3300.0,1.4378909266495612
3301.0412177007524,1.7405643536825663
3310.0,1.7405643536825663
3311.0412177007524,1.94128223429434
3320.0,1.94128223429434
3321.0412177007524,1.7430552873411216
3330.0,1.7430552873411216
3331.0412177007524,1.8191603665647562
3340.0,1.8191603665647562
3341.0412177007524,2.11082370733493
3350.0,2.11082370733493
3351.0412177007524,1.9967458221653942
3360.0,1.9967458221653942
3361.0412177007524,1.9804706711380278
3370.0,1.9804706711380278
3371.0412177007524,1.8788043756969273
3380.0,1.8788043756969273
3381.0412177007524,1.7218435684742872
3390.0,1.7218435684742872
3391.0412177007524,1.641045292757917
3400.0,1.641045292757917
3401.0412177007524,1.528848064894555
3410.0,1.528848064894555
3411.0412177007524,1.6044842097675427
3420.0,1.6044842097675427
3421.0412177007524,1.7893719690269791
3430.0,1.7893719690269791
3431.0412177007524,2.019205296348082
3440.0,2.019205296348082
3441.0412177007524,2.0890606517496053
3450.0,2.0890606517496053
3451.0412177007524,2.080692387279123
3460.0,2.080692387279123
3461.0412177007524,1.7753782729909289
3470.0,1.7753782729909289
3471.0412177007524,1.9061553320556412
3480.0,1.9061553320556412
3481.0412177007524,2.053613025782397
3490.0,2.053613025782397
3491.0412177007524,2.4737404612358658
3500.0,2.4737404612358658
3501.0412177007524,1.7944132924138103
3510.0,1.7944132924138103
3511.0412177007524,1.6739556168729905
3520.0,1.6739556168729905
3521.0412177007524,1.5079754496691748
3530.0,1.5079754496691748
3531.034909985385,1.4698465534602292
3540.0,1.4698465534602292
3541.0412177007524,1.535196632379666
3550.0,1.535196632379666
3551.0412177007524,1.748980269988533
3560.0,1.748980269988533
3561.0412177007524,1.6034304862783757
3570.0,1.6034304862783757
3571.0412177007524,1.5798074407561216
3580.0,1.5798074407561216
3581.0412177007524,1.7296225228987168
3590.0,1.7296225228987168
3591.0412177007524,1.65143026636797
3600.0,1.65143026636797
3601.0412177007524,1.4170388017315418
3610.0,1.4170388017315418
3611.0412177007524,1.5564218128332867
3620.0,1.5564218128332867
3621.0412177007524,1.5591773741762154
3630.0,1.5591773741762154
3631.0373719735608,1.5451421145291533
3640.0,1.5451421145291533
3641.0412177007524,1.819863765622722
3650.0,1.819863765622722
3651.0412177007524,1.7104900637990794
3660.0,1.7104900637990794
3661.0412177007524,1.5806281393917743
3670.0,1.5806281393917743
3671.0412177007524,1.6840831676672678
3680.0,1.6840831676672678
3681.0412177007524,1.5315995970973746
3690.0,1.5315995970973746
3691.0412177007524,1.5028862982813735
3700.0,1.5028862982813735
3701.0412177007524,1.4695250029908493
3710.0,1.4695250029908493
3711.0412177007524,1.2517839588515927
3720.0,1.2517839588515927
3721.0412177007524,1.4291589735657908
3730.0,1.4291589735657908
3731.0412177007524,1.4360772347834427
3740.0,1.4360772347834427
3741.0412177007524,1.5579033148125745
3750.0,1.5579033148125745
3751.0412177007524,1.5940935121267104
3760.0,1.5940935121267104
3761.0412177007524,1.474894119030796
3770.0,1.474894119030796
3771.0412177007524,1.5185096490604337
3780.0,1.5185096490604337
3781.0412177007524,1.4218357446487062
3790.0,1.4218357446487062
3791.0412177007524,1.3132531975163146
3800.0,1.3132531975163146
3801.0412177007524,1.4291351104504428
3810.0,1.4291351104504428
3811.0412177007524,1.3237198065675329
3820.0,1.3237198065675329
3821.0412177007524,1.4123138745315373
3830.0,1.4123138745315373
3831.0412177007524,1.5079193290206603
3840.0,1.5079193290206603
3841.0412177007524,1.444604202505434
3850.0,1.444604202505434
3851.0412177007524,1.39173674529884
3860.0,1.39173674529884
3861.0412177007524,1.3426555577956605
3870.0,1.3426555577956605
3871.0412177007524,1.445743685303023
3880.0,1.445743685303023
3881.0412177007524,1.3297007315093652
3890.0,1.3297007315093652
3891.0412177007524,1.3107806348765734
3900.0,1.3107806348765734
3901.0412177007524,1.290318327199202
3910.0,1.290318327199202
3911.0412177007524,1.3027388333983254
3920.0,1.3027388333983254
3921.0412177007524,1.3899021512945182
3930.0,1.3899021512945182
3931.0412177007524,1.2740359757677653
3940.0,1.2740359757677653
3941.0412177007524,0.8270179594866931
3950.0,0.8270179594866931
3951.0412177007524,1.160787476063706
3960.0,1.160787476063706
3961.0412177007524,1.1673331833735574
3970.0,1.1673331833735574
3971.0412177007524,0.9663312455581035
3980.0,0.9663312455581035
3981.0412177007524,1.3515775323437993
3990.0,1.3515775323437993
3991.0412177007524,1.30581766924588
4000.0,1.30581766924588
4001.0412177007524,1.3385176258976572
4010.0,1.3385176258976572
4011.0412177007524,0.9230808294727467
4020.0,0.9230808294727467
4021.0412177007524,0.709169555612607
4030.0,0.709169555612607
4031.0412177007524,0.7312474624603056
4040.0,0.7312474624603056
4041.0412177007524,0.4908406519563868
4050.0,0.4908406519563868
4051.0412177007524,0.43205652382457627
4060.0,0.43205652382457627
4061.0412177007524,0.6220930544775911
4070.0,0.6220930544775911
4071.0412177007524,0.8514669204887468
4080.0,0.8514669204887468
4081.0412177007524,0.7877209271362517
4090.0,0.7877209271362517
4091.0412177007524,0.6488627315091435
4100.0,0.6488627315091435
4101.0412177007875,0.6663001119915861
4110.0,0.6663001119915861
4111.0412177007875,0.799065405514557
4120.0,0.799065405514557
4121.0412177007875,0.8992263964843005
4130.0,0.8992263964843005
4131.0412177007875,0.8766782684193458
4140.0,0.8766782684193458
4141.0412177007875,0.9065663268207572
4150.0,0.9065663268207572
4151.0412177007875,0.8985643422813154
4160.0,0.8985643422813154
4161.0412177007875,0.7516224157006945
4170.0,0.7516224157006945
4171.0412177007875,0.9520457455946598
4180.0,0.9520457455946598
4181.0412177007875,0.7899945985176601
4190.0,0.7899945985176601
4191.0412177007875,0.8450725044880528
4200.0,0.8450725044880528
4201.0412177007875,0.938091465953039
4210.0,0.938091465953039
4211.0412177007875,0.8986094815016259
4220.0,0.8986094815016259
4221.0412177007875,0.8702108834520914
4230.0,0.8702108834520914
4231.0412177007875,0.8746221757901367
4240.0,0.8746221757901367
4241.0412177007875,0.8669042692112271
4250.0,0.8669042692112271
4251.0412177007875,0.7395893416367472
4260.0,0.7395893416367472
4261.0412177007875,0.6537620732269716
4270.0,0.6537620732269716
4271.0412177007875,0.9166223131469451
4280.0,0.9166223131469451
4281.0412177007875,0.9264199835190083
4290.0,0.9264199835190083
4291.0412177007875,0.6846582698461134
4300.0,0.6846582698461134
4301.0412177007875,0.5939787710260134
4310.0,0.5939787710260134
4311.0412177007875,0.720889890746912
4320.0,0.720889890746912
					</series>
					<series title="isNoMigration()" type="l" color="0x0000ff" encoding="csv">0.0,0.0
210.0,0.0
211.0361233323663,1.0
220.0,1.0
221.0412177007987,0.0
900.0,0.0
1310.0,0.0
1311.0412177008,1.0
1350.0,1.0
1351.0412177008,0.0
1570.0,0.0
1571.0412177008,1.0
1640.0,1.0
1641.0412177008,0.0
2000.0,0.0
2001.0412177008,1.0
2050.0,1.0
2051.0412177008025,0.0
4320.0,0.0
					</series>
					<series title="isBoatIncoming / 10.000000 + 1.100000" type="l" color="0xff00ff" encoding="csv">0.0,1.1
56.53033373045488,1.1
57.571551431255074,1.2000000000000002
60.0,1.2000000000000002
61.03612333236822,1.1
206.45169403628356,1.1
207.49291173708227,1.2000000000000002
210.0,1.2000000000000002
211.0361233323663,1.1
2913.022941142369,1.1
2914.0641588431713,1.2000000000000002
2920.0,1.2000000000000002
2921.034909985385,1.1
3522.7655846872785,1.1
3523.806802388031,1.2000000000000002
3530.0,1.2000000000000002
3531.034909985385,1.1
3627.6977809201385,1.1
3628.738998620891,1.2000000000000002
3630.0,1.2000000000000002
3631.0373719735608,1.1
4320.0,1.1
					</series>
					<comment/>
				</plot>
			</result>
		</query>
		<query>
			<formula>E[&lt;=THREE_DAYS ; 100](max: C_gates) under optOperations</formula>
			<comment/>
		</query>
		<query>
			<formula>E[&lt;=THREE_DAYS ; 100](max: noMigration / (THREE_DAYS )) under optOperations</formula>
			<comment/>
		</query>
		<query>
			<formula>E[&lt;=THREE_DAYS ; 100](max: boatWaitTime) under optOperations</formula>
			<comment/>
		</query>
		<query>
			<formula>E[&lt;=THREE_DAYS ; 100](max: outOfRange / (THREE_DAYS )) under optOperations </formula>
			<comment/>
		</query>
		<query>
			<formula>E[&lt;=THREE_DAYS ; 100](max: !run_started(global_time)*(-10000)+h_f) under optOperations </formula>
			<comment/>
		</query>
		<query>
			<formula>E[&lt;=THREE_DAYS ; 100](min: !run_started(global_time)*(10000)+h_f) under optOperations </formula>
			<comment/>
		</query>
		<query>
			<formula/>
			<comment/>
		</query>
		<query>
			<formula/>
			<comment/>
		</query>
		<query>
			<formula/>
			<comment>Learning Query:</comment>
		</query>
		<query>
			<formula>strategy optOperations = minE(10e6 * outOfRange + 0.1 * accumCostWait + CHANGE_COST * C_gates + 1 * noMigration)[&lt;=THREE_DAYS] {Controller.FjordHigher, Controller.SeaHigher, isBoatIncoming} -&gt; {h_f, h_s, wind_speed} : &lt;&gt; global_time &gt;= THREE_DAYS</formula>
			<comment/>
			<result outcome="success" type="quality" timestamp="2026-02-12 09:56:47 +0100">
				<option key="--total-runs" value="4000"/>
				<option key="--max-iterations" value="3"/>
				<option key="--good-runs" value="4000"/>
				<option key="--runs-pr-state" value="4000"/>
			</result>
		</query>
		<query>
			<formula/>
			<comment/>
		</query>
		<query>
			<formula/>
			<comment/>
		</query>
		<query>
			<formula>Store Strategy Query:</formula>
			<comment/>
		</query>
		<query>
			<formula>saveStrategy("./optOperations.json", optOperations)</formula>
			<comment/>
			<result outcome="success" type="quality" timestamp="2026-02-12 10:00:54 +0100">
				<option key="--total-runs" value="4000"/>
				<option key="--max-iterations" value="3"/>
				<option key="--good-runs" value="4000"/>
				<option key="--runs-pr-state" value="4000"/>
			</result>
		</query>
		<query>
			<formula/>
			<comment/>
		</query>
		<query>
			<formula>Load Strategy Query:</formula>
			<comment/>
		</query>
		<query>
			<formula>strategy optOperations = loadStrategy{Controller.FjordHigher, Controller.SeaHigher, isBoatIncoming}-&gt;{h_f, h_s, wind_speed}("./optOperations.json")</formula>
			<comment/>
		</query>
		<query>
			<formula/>
			<comment/>
		</query>
		<query>
			<formula/>
			<comment/>
		</query>
		<query>
			<formula/>
			<comment/>
		</query>
		<query>
			<formula/>
			<comment/>
		</query>
		<query>
			<formula/>
			<comment/>
		</query>
		<query>
			<formula/>
			<comment/>
		</query>
		<query>
			<formula/>
			<comment/>
		</query>
		<query>
			<formula/>
			<comment/>
		</query>
		<query>
			<formula/>
			<comment/>
		</query>
		<query>
			<formula/>
			<comment/>
		</query>
		<query>
			<formula/>
			<comment/>
		</query>
	</queries>
</nta>