BN-NoHeartDisease.bif

network "unnamedBN" {
// written by aGrUM 1.0.0
}

variable age {
   type discrete[10] {[0;10[, [10;20[, [20;30[, [30;40[, [40;50[, [50;60[, [60;70[, [70;80[, [80;90[, [90;100]};
}

variable bmi {
   type discrete[5] {[0;10[, [10;20[, [20;30[, [30;40[, [40;50]};
}

variable smoking_status {
   type discrete[3] {formerly smoked, never smoked, smokes};
}

variable glucose {
   type discrete[28] {[0;10[, [10;20[, [20;30[, [30;40[, [40;50[, [50;60[, [60;70[, [70;80[, [80;90[, [90;100[, [100;110[, [110;120[, [120;130[, [130;140[, [140;150[, [150;160[, [160;170[, [170;180[, [180;190[, [190;200[, [200;210[, [210;220[, [220;230[, [230;240[, [240;250[, [250;260[, [260;270[, [270;280]};
}

variable hypertension {
   type discrete[2] {no, yes};
}

variable stroke {
   type discrete[2] {yes, no};
}

probability (age) {
   default 2.97e-14 0.0677161 0.123255 0.14553 0.162162 0.190377 0.14256 0.124146 0.044253 2.97e-14;
}
probability (bmi) {
   default 2.97e-14 0.029997 0.53074 0.356697 0.0825661;
}
probability (smoking_status) {
   default 0.244431 0.540244 0.215325;
}
probability (glucose | bmi) {
   ([0;10[) 0.0357143 0.0357143 0.0357143 0.0357143 0.0357143 0.0357143 0.0357143 0.0357143 0.0357143 0.0357143 0.0357143 0.0357143 0.0357143 0.0357143 0.0357143 0.0357143 0.0357143 0.0357143 0.0357143 0.0357143 0.0357143 0.0357143 0.0357143 0.0357143 0.0357143 0.0357143 0.0357143 0.0357143;
   ([10;20[) 9.90099e-13 9.90099e-13 9.90099e-13 9.90099e-13 9.90099e-13 0.0594059 0.128713 0.108911 0.227723 0.108911 0.138614 0.0693069 0.049505 0.039604 0.019802 0.00990099 0.00990099 0.00990099 9.90099e-13 9.90099e-13 9.90099e-13 0.00990099 9.90099e-13 9.90099e-13 0.00990099 9.90099e-13 9.90099e-13 9.90099e-13;
   ([20;30[) 5.59597e-14 5.59597e-14 5.59597e-14 5.59597e-14 5.59597e-14 0.0503637 0.111919 0.15221 0.168998 0.151651 0.102406 0.0710688 0.037493 0.0195859 0.0195859 0.0106323 0.0100727 0.00671517 0.00727476 0.0195859 0.0151091 0.0151091 0.0106323 0.00895355 0.00559597 0.00279799 0.00223839 5.59597e-14;
   ([30;40[) 8.32639e-14 8.32639e-14 8.32639e-14 8.32639e-14 8.32639e-14 0.0333056 0.0949209 0.149875 0.163197 0.129892 0.0865945 0.0724396 0.0316403 0.0158201 0.0149875 0.0166528 0.00915903 0.00999167 0.0183181 0.020816 0.0349709 0.0333056 0.0274771 0.0191507 0.00915903 0.00582848 0.00166528 0.000832639;
   ([40;50]) 3.59712e-13 3.59712e-13 3.59712e-13 3.59712e-13 3.59712e-13 0.0359712 0.0899281 0.122302 0.151079 0.115108 0.100719 0.0467626 0.0215827 0.0251799 0.0179856 0.00719424 0.00359712 0.00359712 0.0143885 0.0323741 0.0539568 0.0395683 0.0539568 0.0431655 0.0179856 3.59712e-13 0.00359712 3.59712e-13;
}
probability (hypertension | age, bmi, smoking_status) {
   ([0;10[, [0;10[, formerly smoked) 0.5 0.5;
   ([10;20[, [0;10[, formerly smoked) 0.5 0.5;
   ([20;30[, [0;10[, formerly smoked) 0.5 0.5;
   ([30;40[, [0;10[, formerly smoked) 0.5 0.5;
   ([40;50[, [0;10[, formerly smoked) 0.5 0.5;
   ([50;60[, [0;10[, formerly smoked) 0.5 0.5;
   ([60;70[, [0;10[, formerly smoked) 0.5 0.5;
   ([70;80[, [0;10[, formerly smoked) 0.5 0.5;
   ([80;90[, [0;10[, formerly smoked) 0.5 0.5;
   ([90;100], [0;10[, formerly smoked) 0.5 0.5;
   ([0;10[, [10;20[, formerly smoked) 0.5 0.5;
   ([10;20[, [10;20[, formerly smoked) 1 1.66667e-11;
   ([20;30[, [10;20[, formerly smoked) 1 5e-11;
   ([30;40[, [10;20[, formerly smoked) 1 5e-11;
   ([40;50[, [10;20[, formerly smoked) 1 3.33333e-11;
   ([50;60[, [10;20[, formerly smoked) 1 3.33333e-11;
   ([60;70[, [10;20[, formerly smoked) 1 2e-11;
   ([70;80[, [10;20[, formerly smoked) 1e-10 1;
   ([80;90[, [10;20[, formerly smoked) 1 3.33333e-11;
   ([90;100], [10;20[, formerly smoked) 0.5 0.5;
   ([0;10[, [20;30[, formerly smoked) 0.5 0.5;
   ([10;20[, [20;30[, formerly smoked) 1 5.88235e-12;
   ([20;30[, [20;30[, formerly smoked) 1 2.63158e-12;
   ([30;40[, [20;30[, formerly smoked) 1 2.94118e-12;
   ([40;50[, [20;30[, formerly smoked) 0.977778 0.0222222;
   ([50;60[, [20;30[, formerly smoked) 0.888889 0.111111;
   ([60;70[, [20;30[, formerly smoked) 0.945205 0.0547945;
   ([70;80[, [20;30[, formerly smoked) 0.758242 0.241758;
   ([80;90[, [20;30[, formerly smoked) 0.740741 0.259259;
   ([90;100], [20;30[, formerly smoked) 0.5 0.5;
   ([0;10[, [30;40[, formerly smoked) 0.5 0.5;
   ([10;20[, [30;40[, formerly smoked) 1 3.33333e-11;
   ([20;30[, [30;40[, formerly smoked) 1 5.55556e-12;
   ([30;40[, [30;40[, formerly smoked) 1 2.94118e-12;
   ([40;50[, [30;40[, formerly smoked) 0.932203 0.0677966;
   ([50;60[, [30;40[, formerly smoked) 0.902778 0.0972222;
   ([60;70[, [30;40[, formerly smoked) 0.8 0.2;
   ([70;80[, [30;40[, formerly smoked) 0.754098 0.245902;
   ([80;90[, [30;40[, formerly smoked) 0.6875 0.3125;
   ([90;100], [30;40[, formerly smoked) 0.5 0.5;
   ([0;10[, [40;50], formerly smoked) 0.5 0.5;
   ([10;20[, [40;50], formerly smoked) 1 1e-10;
   ([20;30[, [40;50], formerly smoked) 1 5e-11;
   ([30;40[, [40;50], formerly smoked) 1 1e-11;
   ([40;50[, [40;50], formerly smoked) 0.8 0.2;
   ([50;60[, [40;50], formerly smoked) 0.714286 0.285714;
   ([60;70[, [40;50], formerly smoked) 0.5625 0.4375;
   ([70;80[, [40;50], formerly smoked) 0.8 0.2;
   ([80;90[, [40;50], formerly smoked) 1 1e-10;
   ([90;100], [40;50], formerly smoked) 0.5 0.5;
   ([0;10[, [0;10[, never smoked) 0.5 0.5;
   ([10;20[, [0;10[, never smoked) 0.5 0.5;
   ([20;30[, [0;10[, never smoked) 0.5 0.5;
   ([30;40[, [0;10[, never smoked) 0.5 0.5;
   ([40;50[, [0;10[, never smoked) 0.5 0.5;
   ([50;60[, [0;10[, never smoked) 0.5 0.5;
   ([60;70[, [0;10[, never smoked) 0.5 0.5;
   ([70;80[, [0;10[, never smoked) 0.5 0.5;
   ([80;90[, [0;10[, never smoked) 0.5 0.5;
   ([90;100], [0;10[, never smoked) 0.5 0.5;
   ([0;10[, [10;20[, never smoked) 0.5 0.5;
   ([10;20[, [10;20[, never smoked) 1 4.34783e-12;
   ([20;30[, [10;20[, never smoked) 1 7.69231e-12;
   ([30;40[, [10;20[, never smoked) 1 3.33333e-11;
   ([40;50[, [10;20[, never smoked) 1 2e-11;
   ([50;60[, [10;20[, never smoked) 1 2.5e-11;
   ([60;70[, [10;20[, never smoked) 1 2e-11;
   ([70;80[, [10;20[, never smoked) 0.666667 0.333333;
   ([80;90[, [10;20[, never smoked) 1 1e-10;
   ([90;100], [10;20[, never smoked) 0.5 0.5;
   ([0;10[, [20;30[, never smoked) 0.5 0.5;
   ([10;20[, [20;30[, never smoked) 0.991736 0.00826446;
   ([20;30[, [20;30[, never smoked) 1 5.91716e-13;
   ([30;40[, [20;30[, never smoked) 0.986014 0.013986;
   ([40;50[, [20;30[, never smoked) 0.954248 0.0457516;
   ([50;60[, [20;30[, never smoked) 0.906667 0.0933333;
   ([60;70[, [20;30[, never smoked) 0.803922 0.196078;
   ([70;80[, [20;30[, never smoked) 0.803571 0.196429;
   ([80;90[, [20;30[, never smoked) 0.711538 0.288462;
   ([90;100], [20;30[, never smoked) 0.5 0.5;
   ([0;10[, [30;40[, never smoked) 0.5 0.5;
   ([10;20[, [30;40[, never smoked) 1 3.44828e-12;
   ([20;30[, [30;40[, never smoked) 0.982456 0.0175439;
   ([30;40[, [30;40[, never smoked) 0.93617 0.0638298;
   ([40;50[, [30;40[, never smoked) 0.901961 0.0980392;
   ([50;60[, [30;40[, never smoked) 0.807692 0.192308;
   ([60;70[, [30;40[, never smoked) 0.752577 0.247423;
   ([70;80[, [30;40[, never smoked) 0.679012 0.320988;
   ([80;90[, [30;40[, never smoked) 0.592593 0.407407;
   ([90;100], [30;40[, never smoked) 0.5 0.5;
   ([0;10[, [40;50], never smoked) 0.5 0.5;
   ([10;20[, [40;50], never smoked) 1 9.09091e-12;
   ([20;30[, [40;50], never smoked) 0.9 0.1;
   ([30;40[, [40;50], never smoked) 0.902439 0.097561;
   ([40;50[, [40;50], never smoked) 0.791667 0.208333;
   ([50;60[, [40;50], never smoked) 0.769231 0.230769;
   ([60;70[, [40;50], never smoked) 0.857143 0.142857;
   ([70;80[, [40;50], never smoked) 0.6 0.4;
   ([80;90[, [40;50], never smoked) 0.75 0.25;
   ([90;100], [40;50], never smoked) 0.5 0.5;
   ([0;10[, [0;10[, smokes) 0.5 0.5;
   ([10;20[, [0;10[, smokes) 0.5 0.5;
   ([20;30[, [0;10[, smokes) 0.5 0.5;
   ([30;40[, [0;10[, smokes) 0.5 0.5;
   ([40;50[, [0;10[, smokes) 0.5 0.5;
   ([50;60[, [0;10[, smokes) 0.5 0.5;
   ([60;70[, [0;10[, smokes) 0.5 0.5;
   ([70;80[, [0;10[, smokes) 0.5 0.5;
   ([80;90[, [0;10[, smokes) 0.5 0.5;
   ([90;100], [0;10[, smokes) 0.5 0.5;
   ([0;10[, [10;20[, smokes) 0.5 0.5;
   ([10;20[, [10;20[, smokes) 1 3.33333e-11;
   ([20;30[, [10;20[, smokes) 1 2.5e-11;
   ([30;40[, [10;20[, smokes) 1 3.33333e-11;
   ([40;50[, [10;20[, smokes) 1 1e-10;
   ([50;60[, [10;20[, smokes) 1 5e-11;
   ([60;70[, [10;20[, smokes) 1 5e-11;
   ([70;80[, [10;20[, smokes) 0.5 0.5;
   ([80;90[, [10;20[, smokes) 1 1e-10;
   ([90;100], [10;20[, smokes) 0.5 0.5;
   ([0;10[, [20;30[, smokes) 0.5 0.5;
   ([10;20[, [20;30[, smokes) 1 9.09091e-12;
   ([20;30[, [20;30[, smokes) 0.986486 0.0135135;
   ([30;40[, [20;30[, smokes) 1 1.5873e-12;
   ([40;50[, [20;30[, smokes) 0.986486 0.0135135;
   ([50;60[, [20;30[, smokes) 0.828571 0.171429;
   ([60;70[, [20;30[, smokes) 0.84 0.16;
   ([70;80[, [20;30[, smokes) 0.818182 0.181818;
   ([80;90[, [20;30[, smokes) 0.769231 0.230769;
   ([90;100], [20;30[, smokes) 0.5 0.5;
   ([0;10[, [30;40[, smokes) 0.5 0.5;
   ([10;20[, [30;40[, smokes) 1 3.33333e-11;
   ([20;30[, [30;40[, smokes) 0.842105 0.157895;
   ([30;40[, [30;40[, smokes) 0.886364 0.113636;
   ([40;50[, [30;40[, smokes) 0.944444 0.0555556;
   ([50;60[, [30;40[, smokes) 0.760563 0.239437;
   ([60;70[, [30;40[, smokes) 0.847826 0.152174;
   ([70;80[, [30;40[, smokes) 0.666667 0.333333;
   ([80;90[, [30;40[, smokes) 0.75 0.25;
   ([90;100], [30;40[, smokes) 0.5 0.5;
   ([0;10[, [40;50], smokes) 0.5 0.5;
   ([10;20[, [40;50], smokes) 0.5 0.5;
   ([20;30[, [40;50], smokes) 1 1.11111e-11;
   ([30;40[, [40;50], smokes) 0.947368 0.0526316;
   ([40;50[, [40;50], smokes) 0.9375 0.0625;
   ([50;60[, [40;50], smokes) 0.846154 0.153846;
   ([60;70[, [40;50], smokes) 0.6 0.4;
   ([70;80[, [40;50], smokes) 0.666667 0.333333;
   ([80;90[, [40;50], smokes) 0.5 0.5;
   ([90;100], [40;50], smokes) 0.5 0.5;
}
probability (stroke | age, glucose, hypertension) {
   ([0;10[, [0;10[, no) 0.5 0.5;
   ([10;20[, [0;10[, no) 0.5 0.5;
   ([20;30[, [0;10[, no) 0.5 0.5;
   ([30;40[, [0;10[, no) 0.5 0.5;
   ([40;50[, [0;10[, no) 0.5 0.5;
   ([50;60[, [0;10[, no) 0.5 0.5;
   ([60;70[, [0;10[, no) 0.5 0.5;
   ([70;80[, [0;10[, no) 0.5 0.5;
   ([80;90[, [0;10[, no) 0.5 0.5;
   ([90;100], [0;10[, no) 0.5 0.5;
   ([0;10[, [10;20[, no) 0.5 0.5;
   ([10;20[, [10;20[, no) 0.5 0.5;
   ([20;30[, [10;20[, no) 0.5 0.5;
   ([30;40[, [10;20[, no) 0.5 0.5;
   ([40;50[, [10;20[, no) 0.5 0.5;
   ([50;60[, [10;20[, no) 0.5 0.5;
   ([60;70[, [10;20[, no) 0.5 0.5;
   ([70;80[, [10;20[, no) 0.5 0.5;
   ([80;90[, [10;20[, no) 0.5 0.5;
   ([90;100], [10;20[, no) 0.5 0.5;
   ([0;10[, [20;30[, no) 0.5 0.5;
   ([10;20[, [20;30[, no) 0.5 0.5;
   ([20;30[, [20;30[, no) 0.5 0.5;
   ([30;40[, [20;30[, no) 0.5 0.5;
   ([40;50[, [20;30[, no) 0.5 0.5;
   ([50;60[, [20;30[, no) 0.5 0.5;
   ([60;70[, [20;30[, no) 0.5 0.5;
   ([70;80[, [20;30[, no) 0.5 0.5;
   ([80;90[, [20;30[, no) 0.5 0.5;
   ([90;100], [20;30[, no) 0.5 0.5;
   ([0;10[, [30;40[, no) 0.5 0.5;
   ([10;20[, [30;40[, no) 0.5 0.5;
   ([20;30[, [30;40[, no) 0.5 0.5;
   ([30;40[, [30;40[, no) 0.5 0.5;
   ([40;50[, [30;40[, no) 0.5 0.5;
   ([50;60[, [30;40[, no) 0.5 0.5;
   ([60;70[, [30;40[, no) 0.5 0.5;
   ([70;80[, [30;40[, no) 0.5 0.5;
   ([80;90[, [30;40[, no) 0.5 0.5;
   ([90;100], [30;40[, no) 0.5 0.5;
   ([0;10[, [40;50[, no) 0.5 0.5;
   ([10;20[, [40;50[, no) 0.5 0.5;
   ([20;30[, [40;50[, no) 0.5 0.5;
   ([30;40[, [40;50[, no) 0.5 0.5;
   ([40;50[, [40;50[, no) 0.5 0.5;
   ([50;60[, [40;50[, no) 0.5 0.5;
   ([60;70[, [40;50[, no) 0.5 0.5;
   ([70;80[, [40;50[, no) 0.5 0.5;
   ([80;90[, [40;50[, no) 0.5 0.5;
   ([90;100], [40;50[, no) 0.5 0.5;
   ([0;10[, [50;60[, no) 0.5 0.5;
   ([10;20[, [50;60[, no) 1.42857e-11 1;
   ([20;30[, [50;60[, no) 4.16667e-12 1;
   ([30;40[, [50;60[, no) 5.55556e-12 1;
   ([40;50[, [50;60[, no) 3.84615e-12 1;
   ([50;60[, [50;60[, no) 0.0588235 0.941176;
   ([60;70[, [50;60[, no) 5.88235e-12 1;
   ([70;80[, [50;60[, no) 0.0909091 0.909091;
   ([80;90[, [50;60[, no) 0.111111 0.888889;
   ([90;100], [50;60[, no) 0.5 0.5;
   ([0;10[, [60;70[, no) 0.5 0.5;
   ([10;20[, [60;70[, no) 4e-12 1;
   ([20;30[, [60;70[, no) 1.92308e-12 1;
   ([30;40[, [60;70[, no) 1.81818e-12 1;
   ([40;50[, [60;70[, no) 0.0327869 0.967213;
   ([50;60[, [60;70[, no) 0.0357143 0.964286;
   ([60;70[, [60;70[, no) 2.38095e-12 1;
   ([70;80[, [60;70[, no) 0.0384615 0.961538;
   ([80;90[, [60;70[, no) 0.428571 0.571429;
   ([90;100], [60;70[, no) 0.5 0.5;
   ([0;10[, [70;80[, no) 0.5 0.5;
   ([10;20[, [70;80[, no) 3.44828e-12 1;
   ([20;30[, [70;80[, no) 1.38889e-12 1;
   ([30;40[, [70;80[, no) 0.0119048 0.988095;
   ([40;50[, [70;80[, no) 0.0235294 0.976471;
   ([50;60[, [70;80[, no) 0.0142857 0.985714;
   ([60;70[, [70;80[, no) 0.0434783 0.956522;
   ([70;80[, [70;80[, no) 0.159091 0.840909;
   ([80;90[, [70;80[, no) 0.1875 0.8125;
   ([90;100], [70;80[, no) 0.5 0.5;
   ([0;10[, [80;90[, no) 0.5 0.5;
   ([10;20[, [80;90[, no) 2.08333e-12 1;
   ([20;30[, [80;90[, no) 1.49254e-12 1;
   ([30;40[, [80;90[, no) 0.0208333 0.979167;
   ([40;50[, [80;90[, no) 0.0222222 0.977778;
   ([50;60[, [80;90[, no) 0.0222222 0.977778;
   ([60;70[, [80;90[, no) 0.030303 0.969697;
   ([70;80[, [80;90[, no) 0.0232558 0.976744;
   ([80;90[, [80;90[, no) 0.1875 0.8125;
   ([90;100], [80;90[, no) 0.5 0.5;
   ([0;10[, [90;100[, no) 0.5 0.5;
   ([10;20[, [90;100[, no) 3.0303e-12 1;
   ([20;30[, [90;100[, no) 1.6129e-12 1;
   ([30;40[, [90;100[, no) 0.0147059 0.985294;
   ([40;50[, [90;100[, no) 0.0151515 0.984848;
   ([50;60[, [90;100[, no) 0.0340909 0.965909;
   ([60;70[, [90;100[, no) 0.0576923 0.942308;
   ([70;80[, [90;100[, no) 0.111111 0.888889;
   ([80;90[, [90;100[, no) 0.272727 0.727273;
   ([90;100], [90;100[, no) 0.5 0.5;
   ([0;10[, [100;110[, no) 0.5 0.5;
   ([10;20[, [100;110[, no) 4.34783e-12 1;
   ([20;30[, [100;110[, no) 2.43902e-12 1;
   ([30;40[, [100;110[, no) 1.88679e-12 1;
   ([40;50[, [100;110[, no) 0.0175439 0.982456;
   ([50;60[, [100;110[, no) 0.0677966 0.932203;
   ([60;70[, [100;110[, no) 0.03125 0.96875;
   ([70;80[, [100;110[, no) 0.148148 0.851852;
   ([80;90[, [100;110[, no) 0.333333 0.666667;
   ([90;100], [100;110[, no) 0.5 0.5;
   ([0;10[, [110;120[, no) 0.5 0.5;
   ([10;20[, [110;120[, no) 5.26316e-12 1;
   ([20;30[, [110;120[, no) 2.85714e-12 1;
   ([30;40[, [110;120[, no) 4.16667e-12 1;
   ([40;50[, [110;120[, no) 2.32558e-12 1;
   ([50;60[, [110;120[, no) 0.0769231 0.923077;
   ([60;70[, [110;120[, no) 0.0769231 0.923077;
   ([70;80[, [110;120[, no) 0.133333 0.866667;
   ([80;90[, [110;120[, no) 2.5e-11 1;
   ([90;100], [110;120[, no) 0.5 0.5;
   ([0;10[, [120;130[, no) 0.5 0.5;
   ([10;20[, [120;130[, no) 6.66667e-12 1;
   ([20;30[, [120;130[, no) 6.66667e-12 1;
   ([30;40[, [120;130[, no) 5.26316e-12 1;
   ([40;50[, [120;130[, no) 7.14286e-12 1;
   ([50;60[, [120;130[, no) 4.16667e-12 1;
   ([60;70[, [120;130[, no) 0.0833333 0.916667;
   ([70;80[, [120;130[, no) 0.333333 0.666667;
   ([80;90[, [120;130[, no) 2.5e-11 1;
   ([90;100], [120;130[, no) 0.5 0.5;
   ([0;10[, [130;140[, no) 0.5 0.5;
   ([10;20[, [130;140[, no) 1.25e-11 1;
   ([20;30[, [130;140[, no) 7.14286e-12 1;
   ([30;40[, [130;140[, no) 1e-11 1;
   ([40;50[, [130;140[, no) 5.88235e-12 1;
   ([50;60[, [130;140[, no) 1.25e-11 1;
   ([60;70[, [130;140[, no) 0.5 0.5;
   ([70;80[, [130;140[, no) 0.666667 0.333333;
   ([80;90[, [130;140[, no) 0.5 0.5;
   ([90;100], [130;140[, no) 0.5 0.5;
   ([0;10[, [140;150[, no) 0.5 0.5;
   ([10;20[, [140;150[, no) 1.11111e-11 1;
   ([20;30[, [140;150[, no) 1.66667e-11 1;
   ([30;40[, [140;150[, no) 2e-11 1;
   ([40;50[, [140;150[, no) 7.69231e-12 1;
   ([50;60[, [140;150[, no) 1.42857e-11 1;
   ([60;70[, [140;150[, no) 1.25e-11 1;
   ([70;80[, [140;150[, no) 0.2 0.8;
   ([80;90[, [140;150[, no) 0.25 0.75;
   ([90;100], [140;150[, no) 0.5 0.5;
   ([0;10[, [150;160[, no) 0.5 0.5;
   ([10;20[, [150;160[, no) 5e-11 1;
   ([20;30[, [150;160[, no) 2.5e-11 1;
   ([30;40[, [150;160[, no) 1.66667e-11 1;
   ([40;50[, [150;160[, no) 1.66667e-11 1;
   ([50;60[, [150;160[, no) 1.25e-11 1;
   ([60;70[, [150;160[, no) 0.166667 0.833333;
   ([70;80[, [150;160[, no) 2e-11 1;
   ([80;90[, [150;160[, no) 0.5 0.5;
   ([90;100], [150;160[, no) 0.5 0.5;
   ([0;10[, [160;170[, no) 0.5 0.5;
   ([10;20[, [160;170[, no) 1e-10 1;
   ([20;30[, [160;170[, no) 2.5e-11 1;
   ([30;40[, [160;170[, no) 1.25e-11 1;
   ([40;50[, [160;170[, no) 5e-11 1;
   ([50;60[, [160;170[, no) 2e-11 1;
   ([60;70[, [160;170[, no) 5e-11 1;
   ([70;80[, [160;170[, no) 0.333333 0.666667;
   ([80;90[, [160;170[, no) 5e-11 1;
   ([90;100], [160;170[, no) 0.5 0.5;
   ([0;10[, [170;180[, no) 0.5 0.5;
   ([10;20[, [170;180[, no) 5e-11 1;
   ([20;30[, [170;180[, no) 0.5 0.5;
   ([30;40[, [170;180[, no) 1e-10 1;
   ([40;50[, [170;180[, no) 0.166667 0.833333;
   ([50;60[, [170;180[, no) 5e-11 1;
   ([60;70[, [170;180[, no) 5e-11 1;
   ([70;80[, [170;180[, no) 1e-10 1;
   ([80;90[, [170;180[, no) 0.5 0.5;
   ([90;100], [170;180[, no) 0.5 0.5;
   ([0;10[, [180;190[, no) 0.5 0.5;
   ([10;20[, [180;190[, no) 0.5 0.5;
   ([20;30[, [180;190[, no) 2e-11 1;
   ([30;40[, [180;190[, no) 1e-10 1;
   ([40;50[, [180;190[, no) 3.33333e-11 1;
   ([50;60[, [180;190[, no) 0.2 0.8;
   ([60;70[, [180;190[, no) 1.66667e-11 1;
   ([70;80[, [180;190[, no) 2.5e-11 1;
   ([80;90[, [180;190[, no) 0.666667 0.333333;
   ([90;100], [180;190[, no) 0.5 0.5;
   ([0;10[, [190;200[, no) 0.5 0.5;
   ([10;20[, [190;200[, no) 5e-11 1;
   ([20;30[, [190;200[, no) 5e-11 1;
   ([30;40[, [190;200[, no) 3.33333e-11 1;
   ([40;50[, [190;200[, no) 2e-11 1;
   ([50;60[, [190;200[, no) 0.181818 0.818182;
   ([60;70[, [190;200[, no) 0.1875 0.8125;
   ([70;80[, [190;200[, no) 0.333333 0.666667;
   ([80;90[, [190;200[, no) 1e-10 1;
   ([90;100], [190;200[, no) 0.5 0.5;
   ([0;10[, [200;210[, no) 0.5 0.5;
   ([10;20[, [200;210[, no) 5e-11 1;
   ([20;30[, [200;210[, no) 2.5e-11 1;
   ([30;40[, [200;210[, no) 2e-11 1;
   ([40;50[, [200;210[, no) 3.33333e-11 1;
   ([50;60[, [200;210[, no) 0.0833333 0.916667;
   ([60;70[, [200;210[, no) 0.166667 0.833333;
   ([70;80[, [200;210[, no) 0.047619 0.952381;
   ([80;90[, [200;210[, no) 0.5 0.5;
   ([90;100], [200;210[, no) 0.5 0.5;
   ([0;10[, [210;220[, no) 0.5 0.5;
   ([10;20[, [210;220[, no) 1e-10 1;
   ([20;30[, [210;220[, no) 0.5 0.5;
   ([30;40[, [210;220[, no) 2e-11 1;
   ([40;50[, [210;220[, no) 1.25e-11 1;
   ([50;60[, [210;220[, no) 1e-11 1;
   ([60;70[, [210;220[, no) 8.33333e-12 1;
   ([70;80[, [210;220[, no) 0.230769 0.769231;
   ([80;90[, [210;220[, no) 1.42857e-11 1;
   ([90;100], [210;220[, no) 0.5 0.5;
   ([0;10[, [220;230[, no) 0.5 0.5;
   ([10;20[, [220;230[, no) 0.5 0.5;
   ([20;30[, [220;230[, no) 1e-10 1;
   ([30;40[, [220;230[, no) 3.33333e-11 1;
   ([40;50[, [220;230[, no) 2e-11 1;
   ([50;60[, [220;230[, no) 0.0666667 0.933333;
   ([60;70[, [220;230[, no) 0.272727 0.727273;
   ([70;80[, [220;230[, no) 0.25 0.75;
   ([80;90[, [220;230[, no) 3.33333e-11 1;
   ([90;100], [220;230[, no) 0.5 0.5;
   ([0;10[, [230;240[, no) 0.5 0.5;
   ([10;20[, [230;240[, no) 1e-10 1;
   ([20;30[, [230;240[, no) 0.5 0.5;
   ([30;40[, [230;240[, no) 2.5e-11 1;
   ([40;50[, [230;240[, no) 0.5 0.5;
   ([50;60[, [230;240[, no) 9.09091e-12 1;
   ([60;70[, [230;240[, no) 0.1 0.9;
   ([70;80[, [230;240[, no) 0.4 0.6;
   ([80;90[, [230;240[, no) 2.5e-11 1;
   ([90;100], [230;240[, no) 0.5 0.5;
   ([0;10[, [240;250[, no) 0.5 0.5;
   ([10;20[, [240;250[, no) 0.5 0.5;
   ([20;30[, [240;250[, no) 0.5 0.5;
   ([30;40[, [240;250[, no) 3.33333e-11 1;
   ([40;50[, [240;250[, no) 0.5 0.5;
   ([50;60[, [240;250[, no) 0.2 0.8;
   ([60;70[, [240;250[, no) 2e-11 1;
   ([70;80[, [240;250[, no) 2e-11 1;
   ([80;90[, [240;250[, no) 5e-11 1;
   ([90;100], [240;250[, no) 0.5 0.5;
   ([0;10[, [250;260[, no) 0.5 0.5;
   ([10;20[, [250;260[, no) 0.5 0.5;
   ([20;30[, [250;260[, no) 1e-10 1;
   ([30;40[, [250;260[, no) 1e-10 1;
   ([40;50[, [250;260[, no) 1e-10 1;
   ([50;60[, [250;260[, no) 0.5 0.5;
   ([60;70[, [250;260[, no) 1e-10 1;
   ([70;80[, [250;260[, no) 3.33333e-11 1;
   ([80;90[, [250;260[, no) 1 5e-11;
   ([90;100], [250;260[, no) 0.5 0.5;
   ([0;10[, [260;270[, no) 0.5 0.5;
   ([10;20[, [260;270[, no) 0.5 0.5;
   ([20;30[, [260;270[, no) 0.5 0.5;
   ([30;40[, [260;270[, no) 0.5 0.5;
   ([40;50[, [260;270[, no) 1e-10 1;
   ([50;60[, [260;270[, no) 0.5 0.5;
   ([60;70[, [260;270[, no) 1e-10 1;
   ([70;80[, [260;270[, no) 0.5 0.5;
   ([80;90[, [260;270[, no) 0.5 0.5;
   ([90;100], [260;270[, no) 0.5 0.5;
   ([0;10[, [270;280], no) 0.5 0.5;
   ([10;20[, [270;280], no) 0.5 0.5;
   ([20;30[, [270;280], no) 0.5 0.5;
   ([30;40[, [270;280], no) 0.5 0.5;
   ([40;50[, [270;280], no) 0.5 0.5;
   ([50;60[, [270;280], no) 0.5 0.5;
   ([60;70[, [270;280], no) 0.5 0.5;
   ([70;80[, [270;280], no) 0.5 0.5;
   ([80;90[, [270;280], no) 0.5 0.5;
   ([90;100], [270;280], no) 0.5 0.5;
   ([0;10[, [0;10[, yes) 0.5 0.5;
   ([10;20[, [0;10[, yes) 0.5 0.5;
   ([20;30[, [0;10[, yes) 0.5 0.5;
   ([30;40[, [0;10[, yes) 0.5 0.5;
   ([40;50[, [0;10[, yes) 0.5 0.5;
   ([50;60[, [0;10[, yes) 0.5 0.5;
   ([60;70[, [0;10[, yes) 0.5 0.5;
   ([70;80[, [0;10[, yes) 0.5 0.5;
   ([80;90[, [0;10[, yes) 0.5 0.5;
   ([90;100], [0;10[, yes) 0.5 0.5;
   ([0;10[, [10;20[, yes) 0.5 0.5;
   ([10;20[, [10;20[, yes) 0.5 0.5;
   ([20;30[, [10;20[, yes) 0.5 0.5;
   ([30;40[, [10;20[, yes) 0.5 0.5;
   ([40;50[, [10;20[, yes) 0.5 0.5;
   ([50;60[, [10;20[, yes) 0.5 0.5;
   ([60;70[, [10;20[, yes) 0.5 0.5;
   ([70;80[, [10;20[, yes) 0.5 0.5;
   ([80;90[, [10;20[, yes) 0.5 0.5;
   ([90;100], [10;20[, yes) 0.5 0.5;
   ([0;10[, [20;30[, yes) 0.5 0.5;
   ([10;20[, [20;30[, yes) 0.5 0.5;
   ([20;30[, [20;30[, yes) 0.5 0.5;
   ([30;40[, [20;30[, yes) 0.5 0.5;
   ([40;50[, [20;30[, yes) 0.5 0.5;
   ([50;60[, [20;30[, yes) 0.5 0.5;
   ([60;70[, [20;30[, yes) 0.5 0.5;
   ([70;80[, [20;30[, yes) 0.5 0.5;
   ([80;90[, [20;30[, yes) 0.5 0.5;
   ([90;100], [20;30[, yes) 0.5 0.5;
   ([0;10[, [30;40[, yes) 0.5 0.5;
   ([10;20[, [30;40[, yes) 0.5 0.5;
   ([20;30[, [30;40[, yes) 0.5 0.5;
   ([30;40[, [30;40[, yes) 0.5 0.5;
   ([40;50[, [30;40[, yes) 0.5 0.5;
   ([50;60[, [30;40[, yes) 0.5 0.5;
   ([60;70[, [30;40[, yes) 0.5 0.5;
   ([70;80[, [30;40[, yes) 0.5 0.5;
   ([80;90[, [30;40[, yes) 0.5 0.5;
   ([90;100], [30;40[, yes) 0.5 0.5;
   ([0;10[, [40;50[, yes) 0.5 0.5;
   ([10;20[, [40;50[, yes) 0.5 0.5;
   ([20;30[, [40;50[, yes) 0.5 0.5;
   ([30;40[, [40;50[, yes) 0.5 0.5;
   ([40;50[, [40;50[, yes) 0.5 0.5;
   ([50;60[, [40;50[, yes) 0.5 0.5;
   ([60;70[, [40;50[, yes) 0.5 0.5;
   ([70;80[, [40;50[, yes) 0.5 0.5;
   ([80;90[, [40;50[, yes) 0.5 0.5;
   ([90;100], [40;50[, yes) 0.5 0.5;
   ([0;10[, [50;60[, yes) 0.5 0.5;
   ([10;20[, [50;60[, yes) 0.5 0.5;
   ([20;30[, [50;60[, yes) 0.5 0.5;
   ([30;40[, [50;60[, yes) 1 1e-10;
   ([40;50[, [50;60[, yes) 1e-10 1;
   ([50;60[, [50;60[, yes) 1.66667e-11 1;
   ([60;70[, [50;60[, yes) 5e-11 1;
   ([70;80[, [50;60[, yes) 0.25 0.75;
   ([80;90[, [50;60[, yes) 3.33333e-11 1;
   ([90;100], [50;60[, yes) 0.5 0.5;
   ([0;10[, [60;70[, yes) 0.5 0.5;
   ([10;20[, [60;70[, yes) 1e-10 1;
   ([20;30[, [60;70[, yes) 0.5 0.5;
   ([30;40[, [60;70[, yes) 1e-10 1;
   ([40;50[, [60;70[, yes) 2e-11 1;
   ([50;60[, [60;70[, yes) 0.2 0.8;
   ([60;70[, [60;70[, yes) 0.2 0.8;
   ([70;80[, [60;70[, yes) 1.25e-11 1;
   ([80;90[, [60;70[, yes) 0.333333 0.666667;
   ([90;100], [60;70[, yes) 0.5 0.5;
   ([0;10[, [70;80[, yes) 0.5 0.5;
   ([10;20[, [70;80[, yes) 0.5 0.5;
   ([20;30[, [70;80[, yes) 1e-10 1;
   ([30;40[, [70;80[, yes) 5e-11 1;
   ([40;50[, [70;80[, yes) 3.33333e-11 1;
   ([50;60[, [70;80[, yes) 0.153846 0.846154;
   ([60;70[, [70;80[, yes) 0.214286 0.785714;
   ([70;80[, [70;80[, yes) 0.230769 0.769231;
   ([80;90[, [70;80[, yes) 0.6 0.4;
   ([90;100], [70;80[, yes) 0.5 0.5;
   ([0;10[, [80;90[, yes) 0.5 0.5;
   ([10;20[, [80;90[, yes) 0.5 0.5;
   ([20;30[, [80;90[, yes) 3.33333e-11 1;
   ([30;40[, [80;90[, yes) 5e-11 1;
   ([40;50[, [80;90[, yes) 1.42857e-11 1;
   ([50;60[, [80;90[, yes) 0.0769231 0.923077;
   ([60;70[, [80;90[, yes) 1.25e-11 1;
   ([70;80[, [80;90[, yes) 0.111111 0.888889;
   ([80;90[, [80;90[, yes) 0.4 0.6;
   ([90;100], [80;90[, yes) 0.5 0.5;
   ([0;10[, [90;100[, yes) 0.5 0.5;
   ([10;20[, [90;100[, yes) 0.5 0.5;
   ([20;30[, [90;100[, yes) 0.5 0.5;
   ([30;40[, [90;100[, yes) 3.33333e-11 1;
   ([40;50[, [90;100[, yes) 1.42857e-11 1;
   ([50;60[, [90;100[, yes) 1e-11 1;
   ([60;70[, [90;100[, yes) 7.14286e-12 1;
   ([70;80[, [90;100[, yes) 0.111111 0.888889;
   ([80;90[, [90;100[, yes) 0.5 0.5;
   ([90;100], [90;100[, yes) 0.5 0.5;
   ([0;10[, [100;110[, yes) 0.5 0.5;
   ([10;20[, [100;110[, yes) 0.5 0.5;
   ([20;30[, [100;110[, yes) 5e-11 1;
   ([30;40[, [100;110[, yes) 1e-10 1;
   ([40;50[, [100;110[, yes) 1e-10 1;
   ([50;60[, [100;110[, yes) 1.11111e-11 1;
   ([60;70[, [100;110[, yes) 1.66667e-11 1;
   ([70;80[, [100;110[, yes) 1.66667e-11 1;
   ([80;90[, [100;110[, yes) 3.33333e-11 1;
   ([90;100], [100;110[, yes) 0.5 0.5;
   ([0;10[, [110;120[, yes) 0.5 0.5;
   ([10;20[, [110;120[, yes) 0.5 0.5;
   ([20;30[, [110;120[, yes) 0.5 0.5;
   ([30;40[, [110;120[, yes) 3.33333e-11 1;
   ([40;50[, [110;120[, yes) 2.5e-11 1;
   ([50;60[, [110;120[, yes) 0.2 0.8;
   ([60;70[, [110;120[, yes) 0.333333 0.666667;
   ([70;80[, [110;120[, yes) 0.125 0.875;
   ([80;90[, [110;120[, yes) 3.33333e-11 1;
   ([90;100], [110;120[, yes) 0.5 0.5;
   ([0;10[, [120;130[, yes) 0.5 0.5;
   ([10;20[, [120;130[, yes) 0.5 0.5;
   ([20;30[, [120;130[, yes) 0.5 0.5;
   ([30;40[, [120;130[, yes) 1e-10 1;
   ([40;50[, [120;130[, yes) 0.5 0.5;
   ([50;60[, [120;130[, yes) 0.5 0.5;
   ([60;70[, [120;130[, yes) 1e-10 1;
   ([70;80[, [120;130[, yes) 0.333333 0.666667;
   ([80;90[, [120;130[, yes) 5e-11 1;
   ([90;100], [120;130[, yes) 0.5 0.5;
   ([0;10[, [130;140[, yes) 0.5 0.5;
   ([10;20[, [130;140[, yes) 0.5 0.5;
   ([20;30[, [130;140[, yes) 0.5 0.5;
   ([30;40[, [130;140[, yes) 1e-10 1;
   ([40;50[, [130;140[, yes) 1e-10 1;
   ([50;60[, [130;140[, yes) 0.5 0.5;
   ([60;70[, [130;140[, yes) 0.5 0.5;
   ([70;80[, [130;140[, yes) 1 1e-10;
   ([80;90[, [130;140[, yes) 0.5 0.5;
   ([90;100], [130;140[, yes) 0.5 0.5;
   ([0;10[, [140;150[, yes) 0.5 0.5;
   ([10;20[, [140;150[, yes) 0.5 0.5;
   ([20;30[, [140;150[, yes) 0.5 0.5;
   ([30;40[, [140;150[, yes) 1e-10 1;
   ([40;50[, [140;150[, yes) 0.5 0.5;
   ([50;60[, [140;150[, yes) 0.5 0.5;
   ([60;70[, [140;150[, yes) 1e-10 1;
   ([70;80[, [140;150[, yes) 1e-10 1;
   ([80;90[, [140;150[, yes) 0.5 0.5;
   ([90;100], [140;150[, yes) 0.5 0.5;
   ([0;10[, [150;160[, yes) 0.5 0.5;
   ([10;20[, [150;160[, yes) 0.5 0.5;
   ([20;30[, [150;160[, yes) 0.5 0.5;
   ([30;40[, [150;160[, yes) 0.5 0.5;
   ([40;50[, [150;160[, yes) 0.5 0.5;
   ([50;60[, [150;160[, yes) 1e-10 1;
   ([60;70[, [150;160[, yes) 5e-11 1;
   ([70;80[, [150;160[, yes) 5e-11 1;
   ([80;90[, [150;160[, yes) 0.5 0.5;
   ([90;100], [150;160[, yes) 0.5 0.5;
   ([0;10[, [160;170[, yes) 0.5 0.5;
   ([10;20[, [160;170[, yes) 0.5 0.5;
   ([20;30[, [160;170[, yes) 0.5 0.5;
   ([30;40[, [160;170[, yes) 1e-10 1;
   ([40;50[, [160;170[, yes) 0.5 0.5;
   ([50;60[, [160;170[, yes) 0.5 0.5;
   ([60;70[, [160;170[, yes) 0.5 0.5;
   ([70;80[, [160;170[, yes) 0.5 0.5;
   ([80;90[, [160;170[, yes) 1e-10 1;
   ([90;100], [160;170[, yes) 0.5 0.5;
   ([0;10[, [170;180[, yes) 0.5 0.5;
   ([10;20[, [170;180[, yes) 0.5 0.5;
   ([20;30[, [170;180[, yes) 0.5 0.5;
   ([30;40[, [170;180[, yes) 0.5 0.5;
   ([40;50[, [170;180[, yes) 1e-10 1;
   ([50;60[, [170;180[, yes) 2.5e-11 1;
   ([60;70[, [170;180[, yes) 0.333333 0.666667;
   ([70;80[, [170;180[, yes) 0.5 0.5;
   ([80;90[, [170;180[, yes) 0.5 0.5;
   ([90;100], [170;180[, yes) 0.5 0.5;
   ([0;10[, [180;190[, yes) 0.5 0.5;
   ([10;20[, [180;190[, yes) 0.5 0.5;
   ([20;30[, [180;190[, yes) 0.5 0.5;
   ([30;40[, [180;190[, yes) 0.5 0.5;
   ([40;50[, [180;190[, yes) 5e-11 1;
   ([50;60[, [180;190[, yes) 0.25 0.75;
   ([60;70[, [180;190[, yes) 0.5 0.5;
   ([70;80[, [180;190[, yes) 0.333333 0.666667;
   ([80;90[, [180;190[, yes) 1e-10 1;
   ([90;100], [180;190[, yes) 0.5 0.5;
   ([0;10[, [190;200[, yes) 0.5 0.5;
   ([10;20[, [190;200[, yes) 0.5 0.5;
   ([20;30[, [190;200[, yes) 0.5 0.5;
   ([30;40[, [190;200[, yes) 1e-10 1;
   ([40;50[, [190;200[, yes) 0.5 0.5;
   ([50;60[, [190;200[, yes) 3.33333e-11 1;
   ([60;70[, [190;200[, yes) 5e-11 1;
   ([70;80[, [190;200[, yes) 0.307692 0.692308;
   ([80;90[, [190;200[, yes) 1 1e-10;
   ([90;100], [190;200[, yes) 0.5 0.5;
   ([0;10[, [200;210[, yes) 0.5 0.5;
   ([10;20[, [200;210[, yes) 0.5 0.5;
   ([20;30[, [200;210[, yes) 0.5 0.5;
   ([30;40[, [200;210[, yes) 0.5 0.5;
   ([40;50[, [200;210[, yes) 0.5 0.5;
   ([50;60[, [200;210[, yes) 1.66667e-11 1;
   ([60;70[, [200;210[, yes) 0.2 0.8;
   ([70;80[, [200;210[, yes) 0.166667 0.833333;
   ([80;90[, [200;210[, yes) 0.5 0.5;
   ([90;100], [200;210[, yes) 0.5 0.5;
   ([0;10[, [210;220[, yes) 0.5 0.5;
   ([10;20[, [210;220[, yes) 0.5 0.5;
   ([20;30[, [210;220[, yes) 0.5 0.5;
   ([30;40[, [210;220[, yes) 0.5 0.5;
   ([40;50[, [210;220[, yes) 5e-11 1;
   ([50;60[, [210;220[, yes) 0.333333 0.666667;
   ([60;70[, [210;220[, yes) 0.333333 0.666667;
   ([70;80[, [210;220[, yes) 0.166667 0.833333;
   ([80;90[, [210;220[, yes) 0.166667 0.833333;
   ([90;100], [210;220[, yes) 0.5 0.5;
   ([0;10[, [220;230[, yes) 0.5 0.5;
   ([10;20[, [220;230[, yes) 0.5 0.5;
   ([20;30[, [220;230[, yes) 0.5 0.5;
   ([30;40[, [220;230[, yes) 0.5 0.5;
   ([40;50[, [220;230[, yes) 0.5 0.5;
   ([50;60[, [220;230[, yes) 2e-11 1;
   ([60;70[, [220;230[, yes) 2e-11 1;
   ([70;80[, [220;230[, yes) 0.4 0.6;
   ([80;90[, [220;230[, yes) 5e-11 1;
   ([90;100], [220;230[, yes) 0.5 0.5;
   ([0;10[, [230;240[, yes) 0.5 0.5;
   ([10;20[, [230;240[, yes) 0.5 0.5;
   ([20;30[, [230;240[, yes) 0.5 0.5;
   ([30;40[, [230;240[, yes) 0.5 0.5;
   ([40;50[, [230;240[, yes) 0.5 0.5;
   ([50;60[, [230;240[, yes) 0.25 0.75;
   ([60;70[, [230;240[, yes) 3.33333e-11 1;
   ([70;80[, [230;240[, yes) 5e-11 1;
   ([80;90[, [230;240[, yes) 5e-11 1;
   ([90;100], [230;240[, yes) 0.5 0.5;
   ([0;10[, [240;250[, yes) 0.5 0.5;
   ([10;20[, [240;250[, yes) 0.5 0.5;
   ([20;30[, [240;250[, yes) 0.5 0.5;
   ([30;40[, [240;250[, yes) 0.5 0.5;
   ([40;50[, [240;250[, yes) 0.5 0.5;
   ([50;60[, [240;250[, yes) 0.333333 0.666667;
   ([60;70[, [240;250[, yes) 1 1e-10;
   ([70;80[, [240;250[, yes) 1 5e-11;
   ([80;90[, [240;250[, yes) 1 1e-10;
   ([90;100], [240;250[, yes) 0.5 0.5;
   ([0;10[, [250;260[, yes) 0.5 0.5;
   ([10;20[, [250;260[, yes) 0.5 0.5;
   ([20;30[, [250;260[, yes) 0.5 0.5;
   ([30;40[, [250;260[, yes) 0.5 0.5;
   ([40;50[, [250;260[, yes) 0.5 0.5;
   ([50;60[, [250;260[, yes) 0.5 0.5;
   ([60;70[, [250;260[, yes) 1e-10 1;
   ([70;80[, [250;260[, yes) 1e-10 1;
   ([80;90[, [250;260[, yes) 1 1e-10;
   ([90;100], [250;260[, yes) 0.5 0.5;
   ([0;10[, [260;270[, yes) 0.5 0.5;
   ([10;20[, [260;270[, yes) 0.5 0.5;
   ([20;30[, [260;270[, yes) 0.5 0.5;
   ([30;40[, [260;270[, yes) 0.5 0.5;
   ([40;50[, [260;270[, yes) 0.5 0.5;
   ([50;60[, [260;270[, yes) 0.5 0.5;
   ([60;70[, [260;270[, yes) 5e-11 1;
   ([70;80[, [260;270[, yes) 1e-10 1;
   ([80;90[, [260;270[, yes) 0.5 0.5;
   ([90;100], [260;270[, yes) 0.5 0.5;
   ([0;10[, [270;280], yes) 0.5 0.5;
   ([10;20[, [270;280], yes) 0.5 0.5;
   ([20;30[, [270;280], yes) 0.5 0.5;
   ([30;40[, [270;280], yes) 0.5 0.5;
   ([40;50[, [270;280], yes) 0.5 0.5;
   ([50;60[, [270;280], yes) 0.5 0.5;
   ([60;70[, [270;280], yes) 1 1e-10;
   ([70;80[, [270;280], yes) 0.5 0.5;
   ([80;90[, [270;280], yes) 0.5 0.5;
   ([90;100], [270;280], yes) 0.5 0.5;
}