【分析】

既然不等式存在解集,说明一元二次方程x^2-a*x+a=0有解;

解之间横跨三个整数,说明Δ大于0;

三个整数必然是连续的,因为f(x)=x^2-a*x+a最多只与x轴存在两个交点,这是题设里的隐含条件。

【传统解法】

因为Δ>0,有a^2-4a>0,得到a∈(-∞,0)∪(4,+∞);

下面就这两段进行讨论。

(1)当a∈(-∞,0)即a<0时

若x取0,0^2-a*0+a=a<0,符合x^2-a*x+a<0,这说明3个连续整数中有一个是0;

若x取1,1^2-a*1+a=1>0,不符合x^2-a*x+a<0,这说明3个连续整数不会在0的右边,只可以向左走;

由于0是最右边的一个数,故三个连续整数是-2,-1,0;

由于f(x)=x^2-a*x+a开口向上,从图线上看,抛物线与x轴的交点一个在(0,1)之间,一个在(-3,-2)之间;

当交点在(0,1)之间时,必有f(1)>0,f(0)<0;

而f(1)=1-a+a=1>0,f(0)=0-0+a<0,这两个值是符合条件f(1)>0,f(0)<0的;

当交点在(-3,-2)之间,必有f(-3)>0,f(-2)<0;

而f(-3)=9+3a+a=9+4a>0,得到a>-9/4;

f(-2)=4+2a+a=4+3a<0,得到a<-4/3;

故a<0时,范围缩小为(-9/4,-4/3)

(2)当a∈(4,+∞)即a>4时

若x取0,f(0)=a>4>0,不符合x^2-a*x+a<0,说明0不是三整数之一;

若x取1,f(1)=1>0,不符合x^2-a*x+a<0,说明1也不是三整数之一;

若x取2,f(0)=4-a<0,符合x^2-a*x+a<0,说明2是三整数之一;

既然一直在向右走,三整数又是连续的,2是打头的数,故连续三整数是2,3,4;

由于f(x)=x^2-a*x+a开口向上,从图线上看,抛物线与x轴的交点一个在(1,2)之间,一个在(4,5)之间;

当交点在(1,2)之间,f(1)=1-a+a=1>0,f(2)=4-a<0,这两个值是符合条件的;

当交点在(4,5)之间,

f(4)=16-4a+a=16-3a<0,得到a>16/3;

f(5)=25-5a+a=25-4a>0,得到a<25/4;

故a>4时,范围缩小为(16/3,25/4)

最后,a的范围就是(-9/4,-4/3)∪(16/3,25/4)。

【得不到正确结论的传统解法】

方程x^2-a*x+a=0的右根是(a+(a^2-4*a)^0.5)/2,左根是(a-(a^2-4*a)^0.5)/2;

两根之间有三个连续整数,故2<(a^2-4*a)^0.5<3;

解此不等式得到a∈(-1.6,-0.828)∪(4.828,5.6)。

从中取值如5代入a,发现方程x^2-5x+5=0的两根间只有两个整数,说明此法是不正确的。

此法错在只是判断两根间距离在2到3个标准长度之间,并不是正好卡三个整数。因此结果不正确。

【程序思路】

 程序解此题几乎可以直译。

首先用求根公式得到两个根;

其次设定a从-100变化到+100,步长为0.001,分别得到真实的两根值;

再取两根间的整数,如果是3个就符合条件了。

【Java代码】

import java.io.BufferedWriter;
import java.io.FileOutputStream;
import java.io.OutputStreamWriter;
import java.util.ArrayList;
import java.util.List;

/**
 * 若不等式x^2-a*x+a<0的解集中恰有3个整数,求a的范围?
 * @author ufo
 *
 */
public class Test {
    public static void main(String[] args) throws Exception{
        StringBuilder sb=new StringBuilder();
        double a;
        for(a=-100;a<100;a+=0.001) {
            double min=(a-Math.sqrt(a*a-4*a))/2;
            double max=(a+Math.sqrt(a*a-4*a))/2;
            
            int realMin=(int)Math.ceil(min);// 大于min的最小整数
            int realMax=(int)Math.floor(max);// 小于max最大整数
            
            List ls=new ArrayList<Integer>();
            for(int i=realMin;i<=realMax;i++){
                ls.add(i);
            }
            
            if(ls.size()==3) {
                System.out.println("a="+a+" min="+min+" min="+max+" ls="+ls);
                sb.append("a="+a+" min="+min+" min="+max+" ls="+ls+"\n");
            }
        }
        
        FileOutputStream writerStream = new FileOutputStream("240331.txt");
        BufferedWriter writer = new BufferedWriter(new OutputStreamWriter(writerStream, "UTF-8"));
        writer.write(sb.toString());
        writer.close();
    }
}

从上看出,代码很简明,考虑到控制台输出有限,特地把结果输入到了文件中。

【结果文件240331.txt内容】

a=-2.2499999998864255 min=-2.9999999998788542 min=0.7499999999924285 ls=[-2, -1, 0]
a=-2.2489999998864256 min=-2.9989333142434873 min=0.7499333143570615 ls=[-2, -1, 0]
a=-2.2479999998864257 min=-2.997866590647783 min=0.7498665907613571 ls=[-2, -1, 0]
a=-2.246999999886426 min=-2.996799829057289 min=0.7497998291708627 ls=[-2, -1, 0]
a=-2.245999999886426 min=-2.995733029437509 min=0.7497330295510827 ls=[-2, -1, 0]
a=-2.244999999886426 min=-2.9946661917539026 min=0.7496661918674765 ls=[-2, -1, 0]
a=-2.243999999886426 min=-2.9935993159718857 min=0.7495993160854597 ls=[-2, -1, 0]
a=-2.2429999998864263 min=-2.9925324020568302 min=0.7495324021704042 ls=[-2, -1, 0]
a=-2.2419999998864264 min=-2.991465449974063 min=0.7494654500876368 ls=[-2, -1, 0]
a=-2.2409999998864265 min=-2.990398459688867 min=0.7493984598024404 ls=[-2, -1, 0]
a=-2.2399999998864266 min=-2.9893314311664794 min=0.7493314312800528 ls=[-2, -1, 0]
a=-2.2389999998864267 min=-2.988264364372095 min=0.7492643644856682 ls=[-2, -1, 0]
a=-2.237999999886427 min=-2.9871972592708627 min=0.7491972593844356 ls=[-2, -1, 0]
a=-2.236999999886427 min=-2.986130115827886 min=0.7491301159414592 ls=[-2, -1, 0]
a=-2.235999999886427 min=-2.985062934008226 min=0.7490629341217989 ls=[-2, -1, 0]
a=-2.234999999886427 min=-2.9839957137768964 min=0.7489957138904693 ls=[-2, -1, 0]
a=-2.2339999998864273 min=-2.982928455098868 min=0.7489284552124407 ls=[-2, -1, 0]
a=-2.2329999998864274 min=-2.981861157939065 min=0.7488611580526376 ls=[-2, -1, 0]
a=-2.2319999998864275 min=-2.9807938222623678 min=0.7487938223759403 ls=[-2, -1, 0]
a=-2.2309999998864276 min=-2.9797264480336105 min=0.7487264481471831 ls=[-2, -1, 0]
a=-2.2299999998864277 min=-2.978659035217584 min=0.748659035331156 ls=[-2, -1, 0]
a=-2.228999999886428 min=-2.9775915837790308 min=0.7485915838926027 ls=[-2, -1, 0]
a=-2.227999999886428 min=-2.9765240936826505 min=0.7485240937962223 ls=[-2, -1, 0]
a=-2.226999999886428 min=-2.975456564893096 min=0.7484565650066684 ls=[-2, -1, 0]
a=-2.225999999886428 min=-2.9743889973749766 min=0.7483889974885487 ls=[-2, -1, 0]
a=-2.2249999998864283 min=-2.9733213910928535 min=0.7483213912064253 ls=[-2, -1, 0]
a=-2.2239999998864284 min=-2.9722537460112437 min=0.7482537461248153 ls=[-2, -1, 0]
a=-2.2229999998864285 min=-2.9711860620946178 min=0.7481860622081893 ls=[-2, -1, 0]
a=-2.2219999998864286 min=-2.970118339307401 min=0.7481183394209723 ls=[-2, -1, 0]
a=-2.2209999998864287 min=-2.969050577613972 min=0.7480505777275435 ls=[-2, -1, 0]
a=-2.219999999886429 min=-2.9679827769786646 min=0.747982777092236 ls=[-2, -1, 0]
a=-2.218999999886429 min=-2.9669149373657664 min=0.7479149374793372 ls=[-2, -1, 0]
a=-2.217999999886429 min=-2.965847058739517 min=0.7478470588530879 ls=[-2, -1, 0]
a=-2.216999999886429 min=-2.9647791410641116 min=0.7477791411776826 ls=[-2, -1, 0]
a=-2.2159999998864293 min=-2.9637111843036994 min=0.7477111844172701 ls=[-2, -1, 0]
a=-2.2149999998864294 min=-2.9626431884223816 min=0.7476431885359522 ls=[-2, -1, 0]
a=-2.2139999998864295 min=-2.9615751533842145 min=0.7475751534977848 ls=[-2, -1, 0]
a=-2.2129999998864296 min=-2.9605070791532064 min=0.7475070792667768 ls=[-2, -1, 0]
a=-2.2119999998864297 min=-2.9594389656933204 min=0.7474389658068907 ls=[-2, -1, 0]
a=-2.21099999988643 min=-2.9583708129684725 min=0.7473708130820425 ls=[-2, -1, 0]
a=-2.20999999988643 min=-2.9573026209425306 min=0.7473026210561009 ls=[-2, -1, 0]
a=-2.20899999988643 min=-2.9562343895793184 min=0.7472343896928884 ls=[-2, -1, 0]
a=-2.20799999988643 min=-2.95516611884261 min=0.74716611895618 ls=[-2, -1, 0]
a=-2.2069999998864303 min=-2.954097808696134 min=0.747097808809704 ls=[-2, -1, 0]
a=-2.2059999998864304 min=-2.953029459103572 min=0.7470294592171418 ls=[-2, -1, 0]
a=-2.2049999998864305 min=-2.951961070028558 min=0.7469610701421272 ls=[-2, -1, 0]
a=-2.2039999998864306 min=-2.9508926414346774 min=0.7468926415482471 ls=[-2, -1, 0]
a=-2.2029999998864307 min=-2.9498241732854713 min=0.7468241733990406 ls=[-2, -1, 0]
a=-2.201999999886431 min=-2.948755665544431 min=0.7467556656580001 ls=[-2, -1, 0]
a=-2.200999999886431 min=-2.9476871181750006 min=0.7466871182885699 ls=[-2, -1, 0]
a=-2.199999999886431 min=-2.946618531140578 min=0.7466185312541471 ls=[-2, -1, 0]
a=-2.198999999886431 min=-2.945549904404512 min=0.746549904518081 ls=[-2, -1, 0]
a=-2.1979999998864312 min=-2.9444812379301046 min=0.7464812380436732 ls=[-2, -1, 0]
a=-2.1969999998864314 min=-2.9434125316806083 min=0.746412531794177 ls=[-2, -1, 0]
a=-2.1959999998864315 min=-2.9423437856192303 min=0.746343785732799 ls=[-2, -1, 0]
a=-2.1949999998864316 min=-2.9412749997091283 min=0.7462749998226967 ls=[-2, -1, 0]
a=-2.1939999998864317 min=-2.9402061739134115 min=0.7462061740269799 ls=[-2, -1, 0]
a=-2.192999999886432 min=-2.939137308195142 min=0.7461373083087104 ls=[-2, -1, 0]
a=-2.191999999886432 min=-2.9380684025173336 min=0.7460684026309017 ls=[-2, -1, 0]
a=-2.190999999886432 min=-2.9369994568429507 min=0.7459994569565187 ls=[-2, -1, 0]
a=-2.189999999886432 min=-2.9359304711349106 min=0.7459304712484787 ls=[-2, -1, 0]
a=-2.1889999998864322 min=-2.9348614453560815 min=0.7458614454696495 ls=[-2, -1, 0]
a=-2.1879999998864323 min=-2.9337923794692835 min=0.7457923795828512 ls=[-2, -1, 0]
a=-2.1869999998864325 min=-2.9327232734372872 min=0.7457232735508548 ls=[-2, -1, 0]
a=-2.1859999998864326 min=-2.9316541272228154 min=0.7456541273363826 ls=[-2, -1, 0]
a=-2.1849999998864327 min=-2.930584940788541 min=0.7455849409021083 ls=[-2, -1, 0]
a=-2.183999999886433 min=-2.9295157140970893 min=0.7455157142106563 ls=[-2, -1, 0]
a=-2.182999999886433 min=-2.928446447111036 min=0.745446447224603 ls=[-2, -1, 0]
a=-2.181999999886433 min=-2.9273771397929074 min=0.7453771399064744 ls=[-2, -1, 0]
a=-2.180999999886433 min=-2.9263077921051814 min=0.7453077922187483 ls=[-2, -1, 0]
a=-2.1799999998864332 min=-2.925238404010287 min=0.7452384041238533 ls=[-2, -1, 0]
a=-2.1789999998864333 min=-2.924168975470601 min=0.7451689755841677 ls=[-2, -1, 0]
a=-2.1779999998864334 min=-2.9230995064484553 min=0.7450995065620218 ls=[-2, -1, 0]
a=-2.1769999998864336 min=-2.9220299969061285 min=0.7450299970196952 ls=[-2, -1, 0]
a=-2.1759999998864337 min=-2.9209604468058528 min=0.7449604469194189 ls=[-2, -1, 0]
a=-2.1749999998864338 min=-2.9198908561098076 min=0.7448908562233736 ls=[-2, -1, 0]
a=-2.173999999886434 min=-2.9188212247801246 min=0.7448212248936905 ls=[-2, -1, 0]
a=-2.172999999886434 min=-2.917751552778885 min=0.7447515528924509 ls=[-2, -1, 0]
a=-2.171999999886434 min=-2.9166818400681205 min=0.7446818401816861 ls=[-2, -1, 0]
a=-2.170999999886434 min=-2.915612086609812 min=0.7446120867233779 ls=[-2, -1, 0]
a=-2.1699999998864343 min=-2.914542292365892 min=0.7445422924794576 ls=[-2, -1, 0]
a=-2.1689999998864344 min=-2.9134724572982407 min=0.744472457411806 ls=[-2, -1, 0]
a=-2.1679999998864345 min=-2.9124025813686893 min=0.7444025814822546 ls=[-2, -1, 0]
a=-2.1669999998864347 min=-2.9113326645390183 min=0.7443326646525839 ls=[-2, -1, 0]
a=-2.1659999998864348 min=-2.9102627067709586 min=0.7442627068845238 ls=[-2, -1, 0]
a=-2.164999999886435 min=-2.909192708026189 min=0.7441927081397541 ls=[-2, -1, 0]
a=-2.163999999886435 min=-2.908122668266339 min=0.744122668379904 ls=[-2, -1, 0]
a=-2.162999999886435 min=-2.907052587452987 min=0.744052587566552 ls=[-2, -1, 0]
a=-2.161999999886435 min=-2.9059824655476607 min=0.7439824656612253 ls=[-2, -1, 0]
a=-2.1609999998864353 min=-2.9049123025118364 min=0.7439123026254009 ls=[-2, -1, 0]
a=-2.1599999998864354 min=-2.90384209830694 min=0.7438420984205045 ls=[-2, -1, 0]
a=-2.1589999998864355 min=-2.9027718528943467 min=0.7437718530079109 ls=[-2, -1, 0]
a=-2.1579999998864356 min=-2.9017015662353796 min=0.7437015663489439 ls=[-2, -1, 0]
a=-2.1569999998864358 min=-2.9006312382913118 min=0.7436312384048758 ls=[-2, -1, 0]
a=-2.155999999886436 min=-2.8995608690233627 min=0.7435608691369271 ls=[-2, -1, 0]
a=-2.154999999886436 min=-2.898490458392704 min=0.7434904585062683 ls=[-2, -1, 0]
a=-2.153999999886436 min=-2.897420006360454 min=0.7434200064740175 ls=[-2, -1, 0]
a=-2.152999999886436 min=-2.896349512887677 min=0.7433495130012409 ls=[-2, -1, 0]
a=-2.1519999998864363 min=-2.89527897793539 min=0.7432789780489537 ls=[-2, -1, 0]
a=-2.1509999998864364 min=-2.8942084014645557 min=0.7432084015781193 ls=[-2, -1, 0]
a=-2.1499999998864365 min=-2.893137783436085 min=0.7431377835496489 ls=[-2, -1, 0]
a=-2.1489999998864366 min=-2.892067123810839 min=0.743067123924402 ls=[-2, -1, 0]
a=-2.1479999998864368 min=-2.8909964225496223 min=0.7429964226631856 ls=[-2, -1, 0]
a=-2.146999999886437 min=-2.8899256796131922 min=0.7429256797267556 ls=[-2, -1, 0]
a=-2.145999999886437 min=-2.8888548949622517 min=0.7428548950758147 ls=[-2, -1, 0]
a=-2.144999999886437 min=-2.887784068557451 min=0.7427840686710139 ls=[-2, -1, 0]
a=-2.143999999886437 min=-2.8867132003593885 min=0.7427132004729513 ls=[-2, -1, 0]
a=-2.1429999998864373 min=-2.8856422903286103 min=0.742642290442173 ls=[-2, -1, 0]
a=-2.1419999998864374 min=-2.8845713384256095 min=0.7425713385391723 ls=[-2, -1, 0]
a=-2.1409999998864375 min=-2.8835003446108276 min=0.7425003447243903 ls=[-2, -1, 0]
a=-2.1399999998864376 min=-2.8824293088446518 min=0.7424293089582141 ls=[-2, -1, 0]
a=-2.1389999998864377 min=-2.8813582310874173 min=0.7423582312009793 ls=[-2, -1, 0]
a=-2.137999999886438 min=-2.880287111299406 min=0.7422871114129681 ls=[-2, -1, 0]
a=-2.136999999886438 min=-2.879215949440847 min=0.7422159495544092 ls=[-2, -1, 0]
a=-2.135999999886438 min=-2.878144745471917 min=0.7421447455854788 ls=[-2, -1, 0]
a=-2.134999999886438 min=-2.8770734993527376 min=0.7420734994662994 ls=[-2, -1, 0]
a=-2.1339999998864383 min=-2.876002211043379 min=0.7420022111569409 ls=[-2, -1, 0]
a=-2.1329999998864384 min=-2.8749308805038574 min=0.741930880617419 ls=[-2, -1, 0]
a=-2.1319999998864385 min=-2.8738595076941347 min=0.7418595078076962 ls=[-2, -1, 0]
a=-2.1309999998864386 min=-2.87278809257412 min=0.7417880926876814 ls=[-2, -1, 0]
a=-2.1299999998864387 min=-2.8717166351036685 min=0.7417166352172297 ls=[-2, -1, 0]
a=-2.128999999886439 min=-2.870645135242582 min=0.7416451353561433 ls=[-2, -1, 0]
a=-2.127999999886439 min=-2.8695735929506077 min=0.7415735930641689 ls=[-2, -1, 0]
a=-2.126999999886439 min=-2.8685020081874395 min=0.7415020083010004 ls=[-2, -1, 0]
a=-2.125999999886439 min=-2.867430380912716 min=0.7414303810262772 ls=[-2, -1, 0]
a=-2.1249999998864393 min=-2.8663587110860247 min=0.7413587111995852 ls=[-2, -1, 0]
a=-2.1239999998864394 min=-2.8652869986668943 min=0.7412869987804549 ls=[-2, -1, 0]
a=-2.1229999998864395 min=-2.8642152436148027 min=0.7412152437283632 ls=[-2, -1, 0]
a=-2.1219999998864396 min=-2.8631434458891722 min=0.7411434460027326 ls=[-2, -1, 0]
a=-2.1209999998864397 min=-2.8620716054493704 min=0.7410716055629307 ls=[-2, -1, 0]
a=-2.11999999988644 min=-2.8609997222547108 min=0.7409997223682707 ls=[-2, -1, 0]
a=-2.11899999988644 min=-2.8599277962644507 min=0.7409277963780108 ls=[-2, -1, 0]
a=-2.11799999988644 min=-2.858855827437795 min=0.7408558275513546 ls=[-2, -1, 0]
a=-2.11699999988644 min=-2.857783815733891 min=0.7407838158474509 ls=[-2, -1, 0]
a=-2.1159999998864403 min=-2.8567117611118333 min=0.7407117612253931 ls=[-2, -1, 0]
a=-2.1149999998864404 min=-2.85563966353066 min=0.7406396636442196 ls=[-2, -1, 0]
a=-2.1139999998864405 min=-2.8545675229493543 min=0.7405675230629138 ls=[-2, -1, 0]
a=-2.1129999998864406 min=-2.853495339326844 min=0.7404953394404035 ls=[-2, -1, 0]
a=-2.1119999998864407 min=-2.852423112622002 min=0.7404231127355612 ls=[-2, -1, 0]
a=-2.110999999886441 min=-2.8513508427936447 min=0.7403508429072039 ls=[-2, -1, 0]
a=-2.109999999886441 min=-2.8502785298005335 min=0.7402785299140928 ls=[-2, -1, 0]
a=-2.108999999886441 min=-2.8492061736013747 min=0.7402061737149337 ls=[-2, -1, 0]
a=-2.107999999886441 min=-2.848133774154818 min=0.7401337742683767 ls=[-2, -1, 0]
a=-2.1069999998864413 min=-2.8470613314194564 min=0.7400613315330149 ls=[-2, -1, 0]
a=-2.1059999998864414 min=-2.8459888453538285 min=0.7399888454673871 ls=[-2, -1, 0]
a=-2.1049999998864415 min=-2.844916315916416 min=0.7399163160299744 ls=[-2, -1, 0]
a=-2.1039999998864416 min=-2.8438437430656442 min=0.7398437431792029 ls=[-2, -1, 0]
a=-2.1029999998864417 min=-2.8427711267598834 min=0.7397711268734415 ls=[-2, -1, 0]
a=-2.101999999886442 min=-2.841698466957445 min=0.7396984670710032 ls=[-2, -1, 0]
a=-2.100999999886442 min=-2.840625763616586 min=0.7396257637301444 ls=[-2, -1, 0]
a=-2.099999999886442 min=-2.8395530166955067 min=0.7395530168090647 ls=[-2, -1, 0]
a=-2.098999999886442 min=-2.838480226152349 min=0.739480226265907 ls=[-2, -1, 0]
a=-2.0979999998864423 min=-2.8374073919452 min=0.7394073920587578 ls=[-2, -1, 0]
a=-2.0969999998864424 min=-2.836334514032089 min=0.7393345141456464 ls=[-2, -1, 0]
a=-2.0959999998864425 min=-2.8352615923709874 min=0.7392615924845449 ls=[-2, -1, 0]
a=-2.0949999998864426 min=-2.834188626919811 min=0.7391886270333683 ls=[-2, -1, 0]
a=-2.0939999998864427 min=-2.833115617636418 min=0.7391156177499749 ls=[-2, -1, 0]
a=-2.092999999886443 min=-2.8320425644786082 min=0.7390425645921652 ls=[-2, -1, 0]
a=-2.091999999886443 min=-2.8309694674041253 min=0.7389694675176823 ls=[-2, -1, 0]
a=-2.090999999886443 min=-2.8298963263706547 min=0.7388963264842119 ls=[-2, -1, 0]
a=-2.089999999886443 min=-2.828823141335825 min=0.738823141449382 ls=[-2, -1, 0]
a=-2.0889999998864432 min=-2.827749912257206 min=0.7387499123707628 ls=[-2, -1, 0]
a=-2.0879999998864434 min=-2.8266766390923106 min=0.738676639205867 ls=[-2, -1, 0]
a=-2.0869999998864435 min=-2.8256033217985923 min=0.7386033219121491 ls=[-2, -1, 0]
a=-2.0859999998864436 min=-2.824529960333449 min=0.7385299604470053 ls=[-2, -1, 0]
a=-2.0849999998864437 min=-2.823456554654218 min=0.7384565547677744 ls=[-2, -1, 0]
a=-2.083999999886444 min=-2.8223831047181793 min=0.7383831048317357 ls=[-2, -1, 0]
a=-2.082999999886444 min=-2.821309610482556 min=0.738309610596112 ls=[-2, -1, 0]
a=-2.081999999886444 min=-2.8202360719045094 min=0.7382360720180656 ls=[-2, -1, 0]
a=-2.080999999886444 min=-2.8191624889411457 min=0.7381624890547016 ls=[-2, -1, 0]
a=-2.0799999998864442 min=-2.8180888615495103 min=0.7380888616630661 ls=[-2, -1, 0]
a=-2.0789999998864443 min=-2.8170151896865905 min=0.7380151898001464 ls=[-2, -1, 0]
a=-2.0779999998864445 min=-2.815941473309315 min=0.7379414734228704 ls=[-2, -1, 0]
a=-2.0769999998864446 min=-2.8148677123745527 min=0.7378677124881079 ls=[-2, -1, 0]
a=-2.0759999998864447 min=-2.8137939068391136 min=0.7377939069526691 ls=[-2, -1, 0]
a=-2.074999999886445 min=-2.81272005665975 min=0.7377200567733051 ls=[-2, -1, 0]
a=-2.073999999886445 min=-2.8116461617931527 min=0.7376461619067076 ls=[-2, -1, 0]
a=-2.072999999886445 min=-2.8105722221959537 min=0.7375722223095089 ls=[-2, -1, 0]
a=-2.071999999886445 min=-2.8094982378247275 min=0.7374982379382822 ls=[-2, -1, 0]
a=-2.0709999998864452 min=-2.8084242086359854 min=0.7374242087495404 ls=[-2, -1, 0]
a=-2.0699999998864453 min=-2.8073501345861818 min=0.7373501346997366 ls=[-2, -1, 0]
a=-2.0689999998864455 min=-2.8062760156317106 min=0.7372760157452654 ls=[-2, -1, 0]
a=-2.0679999998864456 min=-2.805201851728905 min=0.7372018518424595 ls=[-2, -1, 0]
a=-2.0669999998864457 min=-2.8041276428340387 min=0.7371276429475933 ls=[-2, -1, 0]
a=-2.065999999886446 min=-2.803053388903326 min=0.7370533890168798 ls=[-2, -1, 0]
a=-2.064999999886446 min=-2.801979089892918 min=0.7369790900064723 ls=[-2, -1, 0]
a=-2.063999999886446 min=-2.80090474575891 min=0.7369047458724636 ls=[-2, -1, 0]
a=-2.062999999886446 min=-2.799830356457332 min=0.7368303565708858 ls=[-2, -1, 0]
a=-2.0619999998864462 min=-2.7987559219441573 min=0.7367559220577109 ls=[-2, -1, 0]
a=-2.0609999998864463 min=-2.7976814421752962 min=0.7366814422888497 ls=[-2, -1, 0]
a=-2.0599999998864464 min=-2.7966069171065993 min=0.7366069172201526 ls=[-2, -1, 0]
a=-2.0589999998864466 min=-2.7955323466938546 min=0.7365323468074083 ls=[-2, -1, 0]
a=-2.0579999998864467 min=-2.794457730892792 min=0.7364577310063456 ls=[-2, -1, 0]
a=-2.0569999998864468 min=-2.793383069659078 min=0.736383069772631 ls=[-2, -1, 0]
a=-2.055999999886447 min=-2.7923083629483174 min=0.7363083630618705 ls=[-2, -1, 0]
a=-2.054999999886447 min=-2.7912336107160556 min=0.7362336108296084 ls=[-2, -1, 0]
a=-2.053999999886447 min=-2.790158812917775 min=0.7361588130313275 ls=[-2, -1, 0]
a=-2.052999999886447 min=-2.7890839695088965 min=0.7360839696224493 ls=[-2, -1, 0]
a=-2.0519999998864473 min=-2.7880090804447804 min=0.7360090805583333 ls=[-2, -1, 0]
a=-2.0509999998864474 min=-2.7869341456807244 min=0.735934145794277 ls=[-2, -1, 0]
a=-2.0499999998864475 min=-2.7858591651719644 min=0.7358591652855166 ls=[-2, -1, 0]
a=-2.0489999998864477 min=-2.784784138873673 min=0.7357841389872255 ls=[-2, -1, 0]
a=-2.0479999998864478 min=-2.783709066740963 min=0.7357090668545154 ls=[-2, -1, 0]
a=-2.046999999886448 min=-2.7826339487288836 min=0.7356339488424355 ls=[-2, -1, 0]
a=-2.045999999886448 min=-2.781558784792421 min=0.7355587849059728 ls=[-2, -1, 0]
a=-2.044999999886448 min=-2.7804835748865004 min=0.7354835750000521 ls=[-2, -1, 0]
a=-2.043999999886448 min=-2.7794083189659826 min=0.7354083190795344 ls=[-2, -1, 0]
a=-2.0429999998864483 min=-2.778333016985668 min=0.7353330170992194 ls=[-2, -1, 0]
a=-2.0419999998864484 min=-2.7772576689002917 min=0.7352576690138433 ls=[-2, -1, 0]
a=-2.0409999998864485 min=-2.7761822746645275 min=0.735182274778079 ls=[-2, -1, 0]
a=-2.0399999998864486 min=-2.775106834232985 min=0.7351068343465366 ls=[-2, -1, 0]
a=-2.0389999998864488 min=-2.7740313475602125 min=0.7350313476737635 ls=[-2, -1, 0]
a=-2.037999999886449 min=-2.772955814600692 min=0.734955814714243 ls=[-2, -1, 0]
a=-2.036999999886449 min=-2.7718802353088448 min=0.7348802354223956 ls=[-2, -1, 0]
a=-2.035999999886449 min=-2.7708046096390273 min=0.734804609752578 ls=[-2, -1, 0]
a=-2.034999999886449 min=-2.769728937545532 min=0.7347289376590829 ls=[-2, -1, 0]
a=-2.0339999998864493 min=-2.768653218982589 min=0.7346532190961399 ls=[-2, -1, 0]
a=-2.0329999998864494 min=-2.767577453904364 min=0.7345774540179144 ls=[-2, -1, 0]
a=-2.0319999998864495 min=-2.766501642264957 min=0.7345016423785076 ls=[-2, -1, 0]
a=-2.0309999998864496 min=-2.765425784018406 min=0.7344257841319568 ls=[-2, -1, 0]
a=-2.0299999998864497 min=-2.7643498791186847 min=0.7343498792322352 ls=[-2, -1, 0]
a=-2.02899999988645 min=-2.763273927519701 min=0.7342739276332511 ls=[-2, -1, 0]
a=-2.02799999988645 min=-2.7621979291752985 min=0.7341979292888485 ls=[-2, -1, 0]
a=-2.02699999988645 min=-2.761121884039258 min=0.7341218841528077 ls=[-2, -1, 0]
a=-2.02599999988645 min=-2.760045792065293 min=0.734045792178843 ls=[-2, -1, 0]
a=-2.0249999998864503 min=-2.7589696532070547 min=0.7339696533206044 ls=[-2, -1, 0]
a=-2.0239999998864504 min=-2.7578934674181275 min=0.7338934675316773 ls=[-2, -1, 0]
a=-2.0229999998864505 min=-2.756817234652032 min=0.7338172347655814 ls=[-2, -1, 0]
a=-2.0219999998864506 min=-2.755740954862222 min=0.7337409549757714 ls=[-2, -1, 0]
a=-2.0209999998864507 min=-2.7546646280020877 min=0.7336646281156369 ls=[-2, -1, 0]
a=-2.019999999886451 min=-2.7535882540249528 min=0.7335882541385019 ls=[-2, -1, 0]
a=-2.018999999886451 min=-2.7525118328840756 min=0.7335118329976249 ls=[-2, -1, 0]
a=-2.017999999886451 min=-2.75143536453265 min=0.7334353646461989 ls=[-2, -1, 0]
a=-2.016999999886451 min=-2.750358848923802 min=0.7333588490373506 ls=[-2, -1, 0]
a=-2.0159999998864513 min=-2.749282286010592 min=0.7332822861241408 ls=[-2, -1, 0]
a=-2.0149999998864514 min=-2.748205675746017 min=0.7332056758595653 ls=[-2, -1, 0]
a=-2.0139999998864515 min=-2.7471290180830037 min=0.7331290181965524 ls=[-2, -1, 0]
a=-2.0129999998864516 min=-2.7460523129744163 min=0.7330523130879647 ls=[-2, -1, 0]
a=-2.0119999998864517 min=-2.7449755603730503 min=0.7329755604865986 ls=[-2, -1, 0]
a=-2.010999999886452 min=-2.7438987602316356 min=0.7328987603451838 ls=[-2, -1, 0]
a=-2.009999999886452 min=-2.7428219125028344 min=0.7328219126163826 ls=[-2, -1, 0]
a=-2.008999999886452 min=-2.741745017139244 min=0.7327450172527921 ls=[-2, -1, 0]
a=-2.007999999886452 min=-2.740668074093393 min=0.7326680742069409 ls=[-2, -1, 0]
a=-2.0069999998864523 min=-2.7395910833177437 min=0.7325910834312916 ls=[-2, -1, 0]
a=-2.0059999998864524 min=-2.738514044764692 min=0.7325140448782395 ls=[-2, -1, 0]
a=-2.0049999998864525 min=-2.7374369583865645 min=0.7324369585001118 ls=[-2, -1, 0]
a=-2.0039999998864526 min=-2.736359824135622 min=0.7323598242491696 ls=[-2, -1, 0]
a=-2.0029999998864527 min=-2.735282641964058 min=0.7322826420776054 ls=[-2, -1, 0]
a=-2.001999999886453 min=-2.7342054118239973 min=0.7322054119375443 ls=[-2, -1, 0]
a=-2.000999999886453 min=-2.7331281336674973 min=0.7321281337810441 ls=[-2, -1, 0]
a=-1.999999999886453 min=-2.7320508074465475 min=0.7320508075600944 ls=[-2, -1, 0]
a=-1.9989999998864532 min=-2.7309734331130695 min=0.7319734332266166 ls=[-2, -1, 0]
a=-1.9979999998864533 min=-2.7298960106189174 min=0.7318960107324639 ls=[-2, -1, 0]
a=-1.9969999998864534 min=-2.728818539915875 min=0.7318185400294215 ls=[-2, -1, 0]
a=-1.9959999998864535 min=-2.7277410209556594 min=0.7317410210692061 ls=[-2, -1, 0]
a=-1.9949999998864536 min=-2.7266634536899197 min=0.7316634538034661 ls=[-2, -1, 0]
a=-1.9939999998864537 min=-2.7255858380702342 min=0.7315858381837803 ls=[-2, -1, 0]
a=-1.9929999998864538 min=-2.724508174048114 min=0.7315081741616598 ls=[-2, -1, 0]
a=-1.991999999886454 min=-2.7234304615750005 min=0.7314304616885465 ls=[-2, -1, 0]
a=-1.990999999886454 min=-2.7223527006022668 min=0.7313527007158127 ls=[-2, -1, 0]
a=-1.9899999998864542 min=-2.721274891081216 min=0.731274891194762 ls=[-2, -1, 0]
a=-1.9889999998864543 min=-2.7201970329630827 min=0.7311970330766286 ls=[-2, -1, 0]
a=-1.9879999998864544 min=-2.7191191261990317 min=0.7311191263125771 ls=[-2, -1, 0]
a=-1.9869999998864545 min=-2.7180411707401575 min=0.731041170853703 ls=[-2, -1, 0]
a=-1.9859999998864546 min=-2.716963166537486 min=0.7309631666510314 ls=[-2, -1, 0]
a=-1.9849999998864547 min=-2.7158851135419733 min=0.7308851136555183 ls=[-2, -1, 0]
a=-1.9839999998864548 min=-2.7148070117045036 min=0.7308070118180487 ls=[-2, -1, 0]
a=-1.982999999886455 min=-2.713728860975894 min=0.7307288610894389 ls=[-2, -1, 0]
a=-1.981999999886455 min=-2.712650661306889 min=0.7306506614204338 ls=[-2, -1, 0]
a=-1.9809999998864551 min=-2.711572412648163 min=0.7305724127617081 ls=[-2, -1, 0]
a=-1.9799999998864553 min=-2.7104941149503223 min=0.7304941150638671 ls=[-2, -1, 0]
a=-1.9789999998864554 min=-2.7094157681638995 min=0.7304157682774439 ls=[-2, -1, 0]
a=-1.9779999998864555 min=-2.7083373722393573 min=0.7303373723529019 ls=[-2, -1, 0]
a=-1.9769999998864556 min=-2.707258927127089 min=0.7302589272406332 ls=[-2, -1, 0]
a=-1.9759999998864557 min=-2.7061804327774146 min=0.7301804328909591 ls=[-2, -1, 0]
a=-1.9749999998864558 min=-2.705101889140585 min=0.7301018892541293 ls=[-2, -1, 0]
a=-1.973999999886456 min=-2.704023296166779 min=0.730023296280323 ls=[-2, -1, 0]
a=-1.972999999886456 min=-2.702944653806103 min=0.729944653919647 ls=[-2, -1, 0]
a=-1.9719999998864561 min=-2.7018659620085934 min=0.7298659621221373 ls=[-2, -1, 0]
a=-1.9709999998864562 min=-2.700787220724214 min=0.7297872208377578 ls=[-2, -1, 0]
a=-1.9699999998864564 min=-2.699708429902857 min=0.7297084300164007 ls=[-2, -1, 0]
a=-1.9689999998864565 min=-2.6986295894943426 min=0.7296295896078864 ls=[-2, -1, 0]
a=-1.9679999998864566 min=-2.6975506994484193 min=0.7295506995619627 ls=[-2, -1, 0]
a=-1.9669999998864567 min=-2.6964717597147625 min=0.7294717598283058 ls=[-2, -1, 0]
a=-1.9659999998864568 min=-2.695392770242976 min=0.7293927703565191 ls=[-2, -1, 0]
a=-1.964999999886457 min=-2.69431373098259 min=0.7293137310961335 ls=[-2, -1, 0]
a=-1.963999999886457 min=-2.6932346418830644 min=0.7292346419966071 ls=[-2, -1, 0]
a=-1.9629999998864571 min=-2.692155502893783 min=0.729155503007326 ls=[-2, -1, 0]
a=-1.9619999998864572 min=-2.69107631396406 min=0.7290763140776024 ls=[-2, -1, 0]
a=-1.9609999998864573 min=-2.6899970750431335 min=0.7289970751566759 ls=[-2, -1, 0]
a=-1.9599999998864575 min=-2.6889177860801707 min=0.7289177861937131 ls=[-2, -1, 0]
a=-1.9589999998864576 min=-2.687838447024264 min=0.7288384471378062 ls=[-2, -1, 0]
a=-1.9579999998864577 min=-2.6867590578244336 min=0.7287590579379757 ls=[-2, -1, 0]
a=-1.9569999998864578 min=-2.685679618429625 min=0.7286796185431672 ls=[-2, -1, 0]
a=-1.955999999886458 min=-2.68460012878871 min=0.7286001289022523 ls=[-2, -1, 0]
a=-1.954999999886458 min=-2.683520588850488 min=0.72852058896403 ls=[-2, -1, 0]
a=-1.9539999998864581 min=-2.682440998563682 min=0.7284409986772238 ls=[-2, -1, 0]
a=-1.9529999998864582 min=-2.681361357876942 min=0.7283613579904842 ls=[-2, -1, 0]
a=-1.9519999998864583 min=-2.6802816667388445 min=0.7282816668523864 ls=[-2, -1, 0]
a=-1.9509999998864584 min=-2.6792019250978902 min=0.7282019252114318 ls=[-2, -1, 0]
a=-1.9499999998864586 min=-2.678122132902506 min=0.7281221330160472 ls=[-2, -1, 0]
a=-1.9489999998864587 min=-2.677042290101043 min=0.7280422902145842 ls=[-2, -1, 0]
a=-1.9479999998864588 min=-2.6759623966417783 min=0.7279623967553197 ls=[-2, -1, 0]
a=-1.9469999998864589 min=-2.6748824524729145 min=0.7278824525864558 ls=[-2, -1, 0]
a=-1.945999999886459 min=-2.6738024575425783 min=0.7278024576561191 ls=[-2, -1, 0]
a=-1.944999999886459 min=-2.6727224117988198 min=0.7277224119123606 ls=[-2, -1, 0]
a=-1.9439999998864592 min=-2.671642315189616 min=0.727642315303157 ls=[-2, -1, 0]
a=-1.9429999998864593 min=-2.6705621676628675 min=0.7275621677764081 ls=[-2, -1, 0]
a=-1.9419999998864594 min=-2.669481969166398 min=0.7274819692799386 ls=[-2, -1, 0]
a=-1.9409999998864595 min=-2.6684017196479566 min=0.727401719761497 ls=[-2, -1, 0]
a=-1.9399999998864597 min=-2.6673214190552157 min=0.727321419168756 ls=[-2, -1, 0]
a=-1.9389999998864598 min=-2.666241067335772 min=0.7272410674493122 ls=[-2, -1, 0]
a=-1.9379999998864599 min=-2.665160664437145 min=0.7271606645506852 ls=[-2, -1, 0]
a=-1.93699999988646 min=-2.664080210306779 min=0.7270802104203189 ls=[-2, -1, 0]
a=-1.93599999988646 min=-2.66299970489204 min=0.7269997050055801 ls=[-2, -1, 0]
a=-1.9349999998864602 min=-2.6619191481402193 min=0.7269191482537591 ls=[-2, -1, 0]
a=-1.9339999998864603 min=-2.6608385399985295 min=0.7268385401120689 ls=[-2, -1, 0]
a=-1.9329999998864604 min=-2.6597578804141064 min=0.726757880527646 ls=[-2, -1, 0]
a=-1.9319999998864605 min=-2.65867716933401 min=0.7266771694475491 ls=[-2, -1, 0]
a=-1.9309999998864606 min=-2.6575964067052205 min=0.7265964068187598 ls=[-2, -1, 0]
a=-1.9299999998864608 min=-2.656515592474643 min=0.7265155925881821 ls=[-2, -1, 0]
a=-1.9289999998864609 min=-2.655434726589103 min=0.7264347267026423 ls=[-2, -1, 0]
a=-1.927999999886461 min=-2.6543538089953502 min=0.726353809108889 ls=[-2, -1, 0]
a=-1.926999999886461 min=-2.653272839640054 min=0.7262728397535929 ls=[-2, -1, 0]
a=-1.9259999998864612 min=-2.6521918184698077 min=0.7261918185833462 ls=[-2, -1, 0]
a=-1.9249999998864613 min=-2.6511107454311245 min=0.7261107455446631 ls=[-2, -1, 0]
a=-1.9239999998864614 min=-2.650029620470441 min=0.7260296205839796 ls=[-2, -1, 0]
a=-1.9229999998864615 min=-2.648948443534114 min=0.7259484436476524 ls=[-2, -1, 0]
a=-1.9219999998864616 min=-2.6478672145684223 min=0.7258672146819605 ls=[-2, -1, 0]
a=-1.9209999998864618 min=-2.646785933519565 min=0.7257859336331032 ls=[-2, -1, 0]
a=-1.9199999998864619 min=-2.6457046003336626 min=0.7257046004472008 ls=[-2, -1, 0]
a=-1.918999999886462 min=-2.644623214956757 min=0.725623215070295 ls=[-2, -1, 0]
a=-1.917999999886462 min=-2.6435417773348098 min=0.7255417774483477 ls=[-2, -1, 0]
a=-1.9169999998864622 min=-2.6424602874137033 min=0.7254602875272413 ls=[-2, -1, 0]
a=-1.9159999998864623 min=-2.6413787451392414 min=0.7253787452527789 ls=[-2, -1, 0]
a=-1.9149999998864624 min=-2.6402971504571457 min=0.7252971505706833 ls=[-2, -1, 0]
a=-1.9139999998864625 min=-2.63921550331306 min=0.7252155034265977 ls=[-2, -1, 0]
a=-1.9129999998864626 min=-2.638133803652548 min=0.7251338037660853 ls=[-2, -1, 0]
a=-1.9119999998864627 min=-2.637052051421091 min=0.7250520515346286 ls=[-2, -1, 0]
a=-1.9109999998864629 min=-2.6359702465640926 min=0.7249702466776298 ls=[-2, -1, 0]
a=-1.909999999886463 min=-2.634888389026874 min=0.724888389140411 ls=[-2, -1, 0]
a=-1.908999999886463 min=-2.6338064787546758 min=0.7248064788682127 ls=[-2, -1, 0]
a=-1.9079999998864632 min=-2.632724515692659 min=0.7247245158061957 ls=[-2, -1, 0]
a=-1.9069999998864633 min=-2.631642499785902 min=0.7246424998994385 ls=[-2, -1, 0]
a=-1.9059999998864634 min=-2.6305604309794024 min=0.724560431092939 ls=[-2, -1, 0]
a=-1.9049999998864635 min=-2.6294783092180776 min=0.7244783093316138 ls=[-2, -1, 0]
a=-1.9039999998864636 min=-2.6283961344467617 min=0.724396134560298 ls=[-2, -1, 0]
a=-1.9029999998864637 min=-2.6273139066102082 min=0.7243139067237447 ls=[-2, -1, 0]
a=-1.9019999998864638 min=-2.626231625653089 min=0.7242316257666253 ls=[-2, -1, 0]
a=-1.900999999886464 min=-2.6251492915199934 min=0.7241492916335293 ls=[-2, -1, 0]
a=-1.899999999886464 min=-2.624066904155428 min=0.7240669042689636 ls=[-2, -1, 0]
a=-1.8989999998864642 min=-2.622984463503818 min=0.7239844636173538 ls=[-2, -1, 0]
a=-1.8979999998864643 min=-2.6219019695095063 min=0.723901969623042 ls=[-2, -1, 0]
a=-1.8969999998864644 min=-2.6208194221167522 min=0.7238194222302878 ls=[-2, -1, 0]
a=-1.8959999998864645 min=-2.6197368212697327 min=0.7237368213832684 ls=[-2, -1, 0]
a=-1.8949999998864646 min=-2.6186541669125427 min=0.7236541670260781 ls=[-2, -1, 0]
a=-1.8939999998864647 min=-2.6175714589891923 min=0.7235714591027274 ls=[-2, -1, 0]
a=-1.8929999998864648 min=-2.616488697443609 min=0.723488697557144 ls=[-2, -1, 0]
a=-1.891999999886465 min=-2.615405882219637 min=0.7234058823331722 ls=[-2, -1, 0]
a=-1.890999999886465 min=-2.6143230132610373 min=0.7233230133745723 ls=[-2, -1, 0]
a=-1.8899999998864652 min=-2.613240090511486 min=0.7232400906250209 ls=[-2, -1, 0]
a=-1.8889999998864653 min=-2.6121571139145763 min=0.7231571140281112 ls=[-2, -1, 0]
a=-1.8879999998864654 min=-2.611074083413817 min=0.7230740835273517 ls=[-2, -1, 0]
a=-1.8869999998864655 min=-2.609990998952632 min=0.7229909990661665 ls=[-2, -1, 0]
a=-1.8859999998864656 min=-2.6089078604743614 min=0.722907860587896 ls=[-2, -1, 0]
a=-1.8849999998864657 min=-2.6078246679222605 min=0.722824668035795 ls=[-2, -1, 0]
a=-1.8839999998864658 min=-2.6067414212395006 min=0.7227414213530345 ls=[-2, -1, 0]
a=-1.882999999886466 min=-2.6056581203691658 min=0.7226581204826998 ls=[-2, -1, 0]
a=-1.881999999886466 min=-2.6045747652542577 min=0.7225747653677916 ls=[-2, -1, 0]
a=-1.8809999998864662 min=-2.603491355837691 min=0.7224913559512249 ls=[-2, -1, 0]
a=-1.8799999998864663 min=-2.6024078920622955 min=0.7224078921758292 ls=[-2, -1, 0]
a=-1.8789999998864664 min=-2.6013243738708156 min=0.7223243739843492 ls=[-2, -1, 0]
a=-1.8779999998864665 min=-2.6002408012059095 min=0.722240801319443 ls=[-2, -1, 0]
a=-1.8769999998864666 min=-2.5991571740101493 min=0.7221571741236827 ls=[-2, -1, 0]
a=-1.8759999998864667 min=-2.5980734922260216 min=0.7220734923395549 ls=[-2, -1, 0]
a=-1.8749999998864668 min=-2.596989755795926 min=0.7219897559094592 ls=[-2, -1, 0]
a=-1.873999999886467 min=-2.595905964662176 min=0.7219059647757093 ls=[-2, -1, 0]
a=-1.872999999886467 min=-2.594822118766999 min=0.721822118880532 ls=[-2, -1, 0]
a=-1.8719999998864671 min=-2.5937382180525344 min=0.7217382181660674 ls=[-2, -1, 0]
a=-1.8709999998864673 min=-2.5926542624608357 min=0.7216542625743685 ls=[-2, -1, 0]
a=-1.8699999998864674 min=-2.5915702519338684 min=0.721570252047401 ls=[-2, -1, 0]
a=-1.8689999998864675 min=-2.5904861864135107 min=0.7214861865270432 ls=[-2, -1, 0]
a=-1.8679999998864676 min=-2.5894020658415546 min=0.721402065955087 ls=[-2, -1, 0]
a=-1.8669999998864677 min=-2.5883178901597024 min=0.7213178902732349 ls=[-2, -1, 0]
a=-1.8659999998864678 min=-2.587233659309571 min=0.721233659423103 ls=[-2, -1, 0]
a=-1.864999999886468 min=-2.5861493732326863 min=0.7211493733462186 ls=[-2, -1, 0]
a=-1.863999999886468 min=-2.5850650318704886 min=0.7210650319840208 ls=[-2, -1, 0]
a=-1.8629999998864681 min=-2.583980635164329 min=0.7209806352778609 ls=[-2, -1, 0]
a=-1.8619999998864682 min=-2.582896183055469 min=0.7208961831690006 ls=[-2, -1, 0]
a=-1.8609999998864684 min=-2.5818116754850826 min=0.7208116755986143 ls=[-2, -1, 0]
a=-1.8599999998864685 min=-2.580727112394255 min=0.7207271125077863 ls=[-2, -1, 0]
a=-1.8589999998864686 min=-2.5796424937239806 min=0.7206424938375122 ls=[-2, -1, 0]
a=-1.8579999998864687 min=-2.5785578194151673 min=0.7205578195286986 ls=[-2, -1, 0]
a=-1.8569999998864688 min=-2.577473089408631 min=0.7204730895221623 ls=[-2, -1, 0]
a=-1.855999999886469 min=-2.5763883036450994 min=0.7203883037586305 ls=[-2, -1, 0]
a=-1.854999999886469 min=-2.57530346206521 min=0.7203034621787412 ls=[-2, -1, 0]
a=-1.8539999998864691 min=-2.5742185646095104 min=0.7202185647230412 ls=[-2, -1, 0]
a=-1.8529999998864692 min=-2.5731336112184575 min=0.7201336113319885 ls=[-2, -1, 0]
a=-1.8519999998864694 min=-2.572048601832419 min=0.72004860194595 ls=[-2, -1, 0]
a=-1.8509999998864695 min=-2.5709635363916714 min=0.7199635365052022 ls=[-2, -1, 0]
a=-1.8499999998864696 min=-2.569878414836401 min=0.7198784149499311 ls=[-2, -1, 0]
a=-1.8489999998864697 min=-2.568793237106701 min=0.7197932372202314 ls=[-2, -1, 0]
a=-1.8479999998864698 min=-2.5677080031425765 min=0.719708003256107 ls=[-2, -1, 0]
a=-1.84699999988647 min=-2.566622712883941 min=0.7196227129974708 ls=[-2, -1, 0]
a=-1.84599999988647 min=-2.565537366270614 min=0.7195373663841438 ls=[-2, -1, 0]
a=-1.8449999998864701 min=-2.564451963242326 min=0.7194519633558558 ls=[-2, -1, 0]
a=-1.8439999998864702 min=-2.563366503738715 min=0.7193665038522445 ls=[-2, -1, 0]
a=-1.8429999998864703 min=-2.5622809876993258 min=0.7192809878128554 ls=[-2, -1, 0]
a=-1.8419999998864705 min=-2.5611954150636134 min=0.7191954151771429 ls=[-2, -1, 0]
a=-1.8409999998864706 min=-2.5601097857709387 min=0.719109785884468 ls=[-2, -1, 0]
a=-1.8399999998864707 min=-2.5590240997605695 min=0.7190240998740991 ls=[-2, -1, 0]
a=-1.8389999998864708 min=-2.5579383569716834 min=0.7189383570852128 ls=[-2, -1, 0]
a=-1.837999999886471 min=-2.5568525573433627 min=0.718852557456892 ls=[-2, -1, 0]
a=-1.836999999886471 min=-2.5557667008145977 min=0.7187667009281267 ls=[-2, -1, 0]
a=-1.8359999998864711 min=-2.5546807873242847 min=0.7186807874378136 ls=[-2, -1, 0]
a=-1.8349999998864712 min=-2.553594816811228 min=0.7185948169247565 ls=[-2, -1, 0]
a=-1.8339999998864713 min=-2.552508789214136 min=0.7185087893276645 ls=[-2, -1, 0]
a=-1.8329999998864714 min=-2.5514227044716247 min=0.7184227045851534 ls=[-2, -1, 0]
a=-1.8319999998864716 min=-2.550336562522217 min=0.7183365626357452 ls=[-2, -1, 0]
a=-1.8309999998864717 min=-2.549250363304339 min=0.7182503634178672 ls=[-2, -1, 0]
a=-1.8299999998864718 min=-2.5481641067563245 min=0.7181641068698528 ls=[-2, -1, 0]
a=-1.8289999998864719 min=-2.547077792816412 min=0.71807779292994 ls=[-2, -1, 0]
a=-1.827999999886472 min=-2.5459914214227446 min=0.7179914215362726 ls=[-2, -1, 0]
a=-1.826999999886472 min=-2.5449049925133718 min=0.7179049926268997 ls=[-2, -1, 0]
a=-1.8259999998864722 min=-2.5438185060262466 min=0.7178185061397742 ls=[-2, -1, 0]
a=-1.8249999998864723 min=-2.542731961899227 min=0.7177319620127545 ls=[-2, -1, 0]
a=-1.8239999998864724 min=-2.5416453600700755 min=0.717645360183603 ls=[-2, -1, 0]
a=-1.8229999998864725 min=-2.540558700476459 min=0.7175587005899864 ls=[-2, -1, 0]
a=-1.8219999998864727 min=-2.5394719830559485 min=0.7174719831694758 ls=[-2, -1, 0]
a=-1.8209999998864728 min=-2.5383852077460185 min=0.7173852078595455 ls=[-2, -1, 0]
a=-1.8199999998864729 min=-2.5372983744840467 min=0.7172983745975738 ls=[-2, -1, 0]
a=-1.818999999886473 min=-2.5362114832073157 min=0.7172114833208425 ls=[-2, -1, 0]
a=-1.817999999886473 min=-2.5351245338530095 min=0.7171245339665366 ls=[-2, -1, 0]
a=-1.8169999998864732 min=-2.534037526358217 min=0.7170375264717441 ls=[-2, -1, 0]
a=-1.8159999998864733 min=-2.5329504606599293 min=0.7169504607734558 ls=[-2, -1, 0]
a=-1.8149999998864734 min=-2.5318633366950385 min=0.7168633368085653 ls=[-2, -1, 0]
a=-1.8139999998864735 min=-2.5307761544003418 min=0.7167761545138684 ls=[-2, -1, 0]
a=-1.8129999998864736 min=-2.5296889137125373 min=0.7166889138260637 ls=[-2, -1, 0]
a=-1.8119999998864738 min=-2.528601614568225 min=0.7166016146817513 ls=[-2, -1, 0]
a=-1.8109999998864739 min=-2.527514256903907 min=0.7165142570174334 ls=[-2, -1, 0]
a=-1.809999999886474 min=-2.526426840655988 min=0.716426840769514 ls=[-2, -1, 0]
a=-1.808999999886474 min=-2.5253393657607726 min=0.7163393658742983 ls=[-2, -1, 0]
a=-1.8079999998864742 min=-2.5242518321544667 min=0.7162518322679925 ls=[-2, -1, 0]
a=-1.8069999998864743 min=-2.5231642397731795 min=0.716164239886705 ls=[-2, -1, 0]
a=-1.8059999998864744 min=-2.5220765885529177 min=0.7160765886664433 ls=[-2, -1, 0]
a=-1.8049999998864745 min=-2.5209888784295917 min=0.7159888785431172 ls=[-2, -1, 0]
a=-1.8039999998864746 min=-2.5199011093390107 min=0.7159011094525363 ls=[-2, -1, 0]
a=-1.8029999998864747 min=-2.5188132812168846 min=0.7158132813304099 ls=[-2, -1, 0]
a=-1.8019999998864749 min=-2.5177253939988233 min=0.7157253941123483 ls=[-2, -1, 0]
a=-1.800999999886475 min=-2.5166374476203357 min=0.7156374477338607 ls=[-2, -1, 0]
a=-1.799999999886475 min=-2.515549442016832 min=0.715549442130357 ls=[-2, -1, 0]
a=-1.7989999998864752 min=-2.514461377123621 min=0.7154613772371456 ls=[-2, -1, 0]
a=-1.7979999998864753 min=-2.513373252875909 min=0.7153732529894341 ls=[-2, -1, 0]
a=-1.7969999998864754 min=-2.5122850692088057 min=0.7152850693223303 ls=[-2, -1, 0]
a=-1.7959999998864755 min=-2.5111968260573145 min=0.715196826170839 ls=[-2, -1, 0]
a=-1.7949999998864756 min=-2.5101085233563403 min=0.7151085234698649 ls=[-2, -1, 0]
a=-1.7939999998864757 min=-2.5090201610406866 min=0.7150201611542109 ls=[-2, -1, 0]
a=-1.7929999998864758 min=-2.5079317390450537 min=0.7149317391585777 ls=[-2, -1, 0]
a=-1.791999999886476 min=-2.50684325730404 min=0.7148432574175638 ls=[-2, -1, 0]
a=-1.790999999886476 min=-2.5057547157521425 min=0.7147547158656664 ls=[-2, -1, 0]
a=-1.7899999998864762 min=-2.504666114323755 min=0.714666114437279 ls=[-2, -1, 0]
a=-1.7889999998864763 min=-2.50357745295317 min=0.7145774530666937 ls=[-2, -1, 0]
a=-1.7879999998864764 min=-2.5024887315745747 min=0.7144887316880983 ls=[-2, -1, 0]
a=-1.7869999998864765 min=-2.501399950122056 min=0.7143999502355791 ls=[-2, -1, 0]
a=-1.7859999998864766 min=-2.500311108529594 min=0.7143111086431175 ls=[-2, -1, 0]
a=-1.7849999998864767 min=-2.499222206731069 min=0.7142222068445925 ls=[-2, -1, 0]
a=-1.7839999998864768 min=-2.4981332446602558 min=0.7141332447737789 ls=[-2, -1, 0]
a=-1.782999999886477 min=-2.4970442222508247 min=0.7140442223643475 ls=[-2, -1, 0]
a=-1.781999999886477 min=-2.495955139436342 min=0.7139551395498651 ls=[-2, -1, 0]
a=-1.7809999998864772 min=-2.4948659961502715 min=0.7138659962637943 ls=[-2, -1, 0]
a=-1.7799999998864773 min=-2.4937767923259697 min=0.7137767924394927 ls=[-2, -1, 0]
a=-1.7789999998864774 min=-2.49268752789669 min=0.7136875280102128 ls=[-2, -1, 0]
a=-1.7779999998864775 min=-2.491598202795581 min=0.7135982029091033 ls=[-2, -1, 0]
a=-1.7769999998864776 min=-2.4905088169556837 min=0.7135088170692061 ls=[-2, -1, 0]
a=-1.7759999998864777 min=-2.4894193703099363 min=0.7134193704234586 ls=[-2, -1, 0]
a=-1.7749999998864778 min=-2.4883298627911703 min=0.7133298629046925 ls=[-2, -1, 0]
a=-1.773999999886478 min=-2.487240294332111 min=0.7132402944456331 ls=[-2, -1, 0]
a=-1.772999999886478 min=-2.486150664865378 min=0.7131506649788999 ls=[-2, -1, 0]
a=-1.7719999998864782 min=-2.485060974323484 min=0.7130609744370058 ls=[-2, -1, 0]
a=-1.7709999998864783 min=-2.4839712226388357 min=0.7129712227523572 ls=[-2, -1, 0]
a=-1.7699999998864784 min=-2.482881409743732 min=0.712881409857254 ls=[-2, -1, 0]
a=-1.7689999998864785 min=-2.481791535570367 min=0.7127915356838888 ls=[-2, -1, 0]
a=-1.7679999998864786 min=-2.4807016000508257 min=0.7127016001643469 ls=[-2, -1, 0]
a=-1.7669999998864787 min=-2.4796116031170845 min=0.712611603230606 ls=[-2, -1, 0]
a=-1.7659999998864788 min=-2.4785215447010156 min=0.7125215448145366 ls=[-2, -1, 0]
a=-1.764999999886479 min=-2.4774314247343794 min=0.7124314248479007 ls=[-2, -1, 0]
a=-1.763999999886479 min=-2.476341243148832 min=0.7123412432623528 ls=[-2, -1, 0]
a=-1.7629999998864792 min=-2.4752509998759176 min=0.7122509999894384 ls=[-2, -1, 0]
a=-1.7619999998864793 min=-2.4741606948470736 min=0.7121606949605943 ls=[-2, -1, 0]
a=-1.7609999998864794 min=-2.473070327993629 min=0.7120703281071497 ls=[-2, -1, 0]
a=-1.7599999998864795 min=-2.4719798992468025 min=0.711979899360323 ls=[-2, -1, 0]
a=-1.7589999998864796 min=-2.470889408537704 min=0.7118894086512244 ls=[-2, -1, 0]
a=-1.7579999998864797 min=-2.4697988557973343 min=0.7117988559108543 ls=[-2, -1, 0]
a=-1.7569999998864798 min=-2.468708240956584 min=0.7117082410701039 ls=[-2, -1, 0]
a=-1.75599999988648 min=-2.467617563946233 min=0.7116175640597531 ls=[-2, -1, 0]
a=-1.75499999988648 min=-2.4665268246969525 min=0.7115268248104727 ls=[-2, -1, 0]
a=-1.7539999998864801 min=-2.465436023139303 min=0.7114360232528227 ls=[-2, -1, 0]
a=-1.7529999998864803 min=-2.464345159203733 min=0.7113451593172528 ls=[-2, -1, 0]
a=-1.7519999998864804 min=-2.4632542328205815 min=0.7112542329341012 ls=[-2, -1, 0]
a=-1.7509999998864805 min=-2.4621632439200756 min=0.7111632440335951 ls=[-2, -1, 0]
a=-1.7499999998864806 min=-2.461072192432331 min=0.7110721925458503 ls=[-2, -1, 0]
a=-1.7489999998864807 min=-2.4599810782873526 min=0.7109810784008717 ls=[-2, -1, 0]
a=-1.7479999998864808 min=-2.458889901415032 min=0.7108899015285512 ls=[-2, -1, 0]
a=-1.746999999886481 min=-2.45779866174515 min=0.7107986618586692 ls=[-2, -1, 0]
a=-1.745999999886481 min=-2.456707359207375 min=0.7107073593208941 ls=[-2, -1, 0]
a=-1.7449999998864811 min=-2.4556159937312625 min=0.7106159938447811 ls=[-2, -1, 0]
a=-1.7439999998864812 min=-2.4545245652462544 min=0.7105245653597732 ls=[-2, -1, 0]
a=-1.7429999998864814 min=-2.453433073681681 min=0.7104330737951998 ls=[-2, -1, 0]
a=-1.7419999998864815 min=-2.4523415189667586 min=0.7103415190802771 ls=[-2, -1, 0]
a=-1.7409999998864816 min=-2.45124990103059 min=0.7102499011441084 ls=[-2, -1, 0]
a=-1.7399999998864817 min=-2.450158219802164 min=0.7101582199156822 ls=[-2, -1, 0]
a=-1.7389999998864818 min=-2.449066475210356 min=0.7100664753238743 ls=[-2, -1, 0]
a=-1.737999999886482 min=-2.447974667183927 min=0.709974667297445 ls=[-2, -1, 0]
a=-1.736999999886482 min=-2.446882795651523 min=0.7098827957650409 ls=[-2, -1, 0]
a=-1.7359999998864821 min=-2.445790860541676 min=0.7097908606551935 ls=[-2, -1, 0]
a=-1.7349999998864822 min=-2.444698861782802 min=0.7096988618963196 ls=[-2, -1, 0]
a=-1.7339999998864823 min=-2.443606799303203 min=0.7096067994167206 ls=[-2, -1, 0]
a=-1.7329999998864825 min=-2.4425146730310647 min=0.7095146731445823 ls=[-2, -1, 0]
a=-1.7319999998864826 min=-2.441422482894458 min=0.7094224830079754 ls=[-2, -1, 0]
a=-1.7309999998864827 min=-2.4403302288213364 min=0.7093302289348538 ls=[-2, -1, 0]
a=-1.7299999998864828 min=-2.4392379107395383 min=0.7092379108530558 ls=[-2, -1, 0]
a=-1.728999999886483 min=-2.438145528576786 min=0.709145528690303 ls=[-2, -1, 0]
a=-1.727999999886483 min=-2.4370530822606833 min=0.7090530823742003 ls=[-2, -1, 0]
a=-1.7269999998864831 min=-2.435960571718719 min=0.7089605718322358 ls=[-2, -1, 0]
a=-1.7259999998864832 min=-2.4348679968782636 min=0.7088679969917804 ls=[-2, -1, 0]
a=-1.7249999998864833 min=-2.433775357666571 min=0.7087753577800873 ls=[-2, -1, 0]
a=-1.7239999998864834 min=-2.4326826540107755 min=0.7086826541242921 ls=[-2, -1, 0]
a=-1.7229999998864836 min=-2.431589885837896 min=0.7085898859514128 ls=[-2, -1, 0]
a=-1.7219999998864837 min=-2.4304970530748324 min=0.7084970531883485 ls=[-2, -1, 0]
a=-1.7209999998864838 min=-2.4294041556483643 min=0.7084041557618805 ls=[-2, -1, 0]
a=-1.7199999998864839 min=-2.428311193485155 min=0.7083111935986712 ls=[-2, -1, 0]
a=-1.718999999886484 min=-2.4272181665117474 min=0.7082181666252636 ls=[-2, -1, 0]
a=-1.717999999886484 min=-2.4261250746545664 min=0.7081250747680823 ls=[-2, -1, 0]
a=-1.7169999998864842 min=-2.425031917839916 min=0.7080319179534316 ls=[-2, -1, 0]
a=-1.7159999998864843 min=-2.423938695993981 min=0.7079386961074965 ls=[-2, -1, 0]
a=-1.7149999998864844 min=-2.4228454090428264 min=0.707845409156342 ls=[-2, -1, 0]
a=-1.7139999998864845 min=-2.421752056912397 min=0.7077520570259126 ls=[-2, -1, 0]
a=-1.7129999998864847 min=-2.4206586395285177 min=0.7076586396420328 ls=[-2, -1, 0]
a=-1.7119999998864848 min=-2.4195651568168905 min=0.7075651569304058 ls=[-2, -1, 0]
a=-1.7109999998864849 min=-2.418471608703099 min=0.7074716088166138 ls=[-2, -1, 0]
a=-1.709999999886485 min=-2.417377995112603 min=0.7073779952261179 ls=[-2, -1, 0]
a=-1.708999999886485 min=-2.416284315970743 min=0.7072843160842577 ls=[-2, -1, 0]
a=-1.7079999998864852 min=-2.4151905712027357 min=0.7071905713162507 ls=[-2, -1, 0]
a=-1.7069999998864853 min=-2.4140967607336785 min=0.7070967608471932 ls=[-2, -1, 0]
a=-1.7059999998864854 min=-2.4130028844885434 min=0.7070028846020577 ls=[-2, -1, 0]
a=-1.7049999998864855 min=-2.4119089423921807 min=0.7069089425056949 ls=[-2, -1, 0]
a=-1.7039999998864857 min=-2.410814934369319 min=0.7068149344828332 ls=[-2, -1, 0]
a=-1.7029999998864858 min=-2.4097208603445623 min=0.7067208604580766 ls=[-2, -1, 0]
a=-1.7019999998864859 min=-2.4086267202423928 min=0.7066267203559067 ls=[-2, -1, 0]
a=-1.700999999886486 min=-2.407532513987167 min=0.7065325141006809 ls=[-2, -1, 0]
a=-1.699999999886486 min=-2.4064382415031194 min=0.706438241616633 ls=[-2, -1, 0]
a=-1.6989999998864862 min=-2.4053439027143586 min=0.7063439028278724 ls=[-2, -1, 0]
a=-1.6979999998864863 min=-2.4042494975448703 min=0.7062494976583837 ls=[-2, -1, 0]
a=-1.6969999998864864 min=-2.4031550259185144 min=0.7061550260320277 ls=[-2, -1, 0]
a=-1.6959999998864865 min=-2.4020604877590257 min=0.7060604878725389 ls=[-2, -1, 0]
a=-1.6949999998864866 min=-2.4009658829900147 min=0.7059658831035278 ls=[-2, -1, 0]
a=-1.6939999998864868 min=-2.3998712115349647 min=0.705871211648478 ls=[-2, -1, 0]
a=-1.6929999998864869 min=-2.3987764733172354 min=0.7057764734307486 ls=[-2, -1, 0]
a=-1.691999999886487 min=-2.397681668260059 min=0.7056816683735718 ls=[-2, -1, 0]
a=-1.690999999886487 min=-2.3965867962865404 min=0.7055867964000533 ls=[-2, -1, 0]
a=-1.6899999998864872 min=-2.3954918573196595 min=0.7054918574331726 ls=[-2, -1, 0]
a=-1.6889999998864873 min=-2.394396851282269 min=0.705396851395782 ls=[-2, -1, 0]
a=-1.6879999998864874 min=-2.3933017780970944 min=0.7053017782106068 ls=[-2, -1, 0]
a=-1.6869999998864875 min=-2.3922066376867317 min=0.7052066378002444 ls=[-2, -1, 0]
a=-1.6859999998864876 min=-2.3911114299736527 min=0.7051114300871648 ls=[-2, -1, 0]
a=-1.6849999998864877 min=-2.3900161548801977 min=0.70501615499371 ls=[-2, -1, 0]
a=-1.6839999998864879 min=-2.388920812328581 min=0.7049208124420929 ls=[-2, -1, 0]
a=-1.682999999886488 min=-2.387825402240887 min=0.7048254023543992 ls=[-2, -1, 0]
a=-1.681999999886488 min=-2.386729924539072 min=0.704729924652584 ls=[-2, -1, 0]
a=-1.6809999998864882 min=-2.385634379144963 min=0.7046343792584748 ls=[-2, -1, 0]
a=-1.6799999998864883 min=-2.384538765980257 min=0.7045387660937688 ls=[-2, -1, 0]
a=-1.6789999998864884 min=-2.3834430849665216 min=0.7044430850800332 ls=[-2, -1, 0]
a=-1.6779999998864885 min=-2.3823473360251946 min=0.704347336138706 ls=[-2, -1, 0]
a=-1.6769999998864886 min=-2.381251519077583 min=0.7042515191910943 ls=[-2, -1, 0]
a=-1.6759999998864887 min=-2.380155634044863 min=0.7041556341583746 ls=[-2, -1, 0]
a=-1.6749999998864888 min=-2.3790596808480817 min=0.7040596809615927 ls=[-2, -1, 0]
a=-1.673999999886489 min=-2.3779636594081524 min=0.7039636595216634 ls=[-2, -1, 0]
a=-1.672999999886489 min=-2.3768675696458583 min=0.7038675697593695 ls=[-2, -1, 0]
a=-1.6719999998864892 min=-2.3757714114818516 min=0.7037714115953624 ls=[-2, -1, 0]
a=-1.6709999998864893 min=-2.3746751848366507 min=0.7036751849501615 ls=[-2, -1, 0]
a=-1.6699999998864894 min=-2.373578889630643 min=0.703578889744154 ls=[-2, -1, 0]
a=-1.6689999998864895 min=-2.372482525784083 min=0.7034825258975936 ls=[-2, -1, 0]
a=-1.6679999998864896 min=-2.371386093217092 min=0.7033860933306022 ls=[-2, -1, 0]
a=-1.6669999998864897 min=-2.370289591849658 min=0.7032895919631681 ls=[-2, -1, 0]
a=-1.6659999998864898 min=-2.3691930216016353 min=0.7031930217151456 ls=[-2, -1, 0]
a=-1.66499999988649 min=-2.3680963823927454 min=0.7030963825062555 ls=[-2, -1, 0]
a=-1.66399999988649 min=-2.3669996741425754 min=0.7029996742560851 ls=[-2, -1, 0]
a=-1.6629999998864902 min=-2.3659028967705766 min=0.7029028968840865 ls=[-2, -1, 0]
a=-1.6619999998864903 min=-2.3648060501960675 min=0.7028060503095772 ls=[-2, -1, 0]
a=-1.6609999998864904 min=-2.3637091343382304 min=0.7027091344517402 ls=[-2, -1, 0]
a=-1.6599999998864905 min=-2.3626121491161136 min=0.7026121492296229 ls=[-2, -1, 0]
a=-1.6589999998864906 min=-2.3615150944486274 min=0.7025150945621368 ls=[-2, -1, 0]
a=-1.6579999998864907 min=-2.3604179702545487 min=0.7024179703680578 ls=[-2, -1, 0]
a=-1.6569999998864908 min=-2.359320776452517 min=0.702320776566026 ls=[-2, -1, 0]
a=-1.655999999886491 min=-2.358223512961035 min=0.7022235130745442 ls=[-2, -1, 0]
a=-1.654999999886491 min=-2.35712617969847 min=0.7021261798119789 ls=[-2, -1, 0]
a=-1.6539999998864912 min=-2.3560287765830505 min=0.7020287766965596 ls=[-2, -1, 0]
a=-1.6529999998864913 min=-2.354931303532869 min=0.7019313036463779 ls=[-2, -1, 0]
a=-1.6519999998864914 min=-2.3538337604658794 min=0.7018337605793883 ls=[-2, -1, 0]
a=-1.6509999998864915 min=-2.3527361472998978 min=0.7017361474134065 ls=[-2, -1, 0]
a=-1.6499999998864916 min=-2.351638463952602 min=0.7016384640661106 ls=[-2, -1, 0]
a=-1.6489999998864917 min=-2.3505407103415314 min=0.7015407104550397 ls=[-2, -1, 0]
a=-1.6479999998864918 min=-2.349442886384086 min=0.7014428864975941 ls=[-2, -1, 0]
a=-1.646999999886492 min=-2.348344991997526 min=0.7013449921110342 ls=[-2, -1, 0]
a=-1.645999999886492 min=-2.347247027098974 min=0.7012470272124822 ls=[-2, -1, 0]
a=-1.6449999998864921 min=-2.346148991605411 min=0.7011489917189189 ls=[-2, -1, 0]
a=-1.6439999998864923 min=-2.345050885433678 min=0.701050885547186 ls=[-2, -1, 0]
a=-1.6429999998864924 min=-2.343952708500476 min=0.7009527086139837 ls=[-2, -1, 0]
a=-1.6419999998864925 min=-2.342854460722365 min=0.7008544608358727 ls=[-2, -1, 0]
a=-1.6409999998864926 min=-2.3417561420157638 min=0.7007561421292714 ls=[-2, -1, 0]
a=-1.6399999998864927 min=-2.3406577522969494 min=0.7006577524104569 ls=[-2, -1, 0]
a=-1.6389999998864928 min=-2.339559291482058 min=0.7005592915955652 ls=[-2, -1, 0]
a=-1.637999999886493 min=-2.3384607594870825 min=0.7004607596005894 ls=[-2, -1, 0]
a=-1.636999999886493 min=-2.337362156227874 min=0.7003621563413807 ls=[-2, -1, 0]
a=-1.6359999998864931 min=-2.336263481620141 min=0.7002634817336475 ls=[-2, -1, 0]
a=-1.6349999998864932 min=-2.335164735579448 min=0.7001647356929548 ls=[-2, -1, 0]
a=-1.6339999998864934 min=-2.334065918021218 min=0.7000659181347249 ls=[-2, -1, 0]
a=-1.6329999998864935 min=-2.332967028860729 min=0.6999670289742352 ls=[-2, -1, 0]
a=-1.6319999998864936 min=-2.3318680680131143 min=0.6998680681266207 ls=[-2, -1, 0]
a=-1.6309999998864937 min=-2.3307690353933643 min=0.6997690355068706 ls=[-2, -1, 0]
a=-1.6299999998864938 min=-2.329669930916324 min=0.6996699310298302 ls=[-2, -1, 0]
a=-1.628999999886494 min=-2.3285707544966936 min=0.6995707546101997 ls=[-2, -1, 0]
a=-1.627999999886494 min=-2.3274715060490276 min=0.6994715061625336 ls=[-2, -1, 0]
a=-1.6269999998864941 min=-2.3263721854877355 min=0.6993721856012414 ls=[-2, -1, 0]
a=-1.6259999998864942 min=-2.3252727927270804 min=0.699272792840586 ls=[-2, -1, 0]
a=-1.6249999998864944 min=-2.3241733276811782 min=0.6991733277946841 ls=[-2, -1, 0]
a=-1.6239999998864945 min=-2.323073790264001 min=0.6990737903775062 ls=[-2, -1, 0]
a=-1.6229999998864946 min=-2.3219741803893696 min=0.6989741805028751 ls=[-2, -1, 0]
a=-1.6219999998864947 min=-2.3208744979709617 min=0.698874498084467 ls=[-2, -1, 0]
a=-1.6209999998864948 min=-2.3197747429223043 min=0.6987747430358096 ls=[-2, -1, 0]
a=-1.619999999886495 min=-2.3186749151567785 min=0.6986749152702838 ls=[-2, -1, 0]
a=-1.618999999886495 min=-2.317575014587616 min=0.6985750147011212 ls=[-2, -1, 0]
a=-1.6179999998864951 min=-2.3164750411279 min=0.6984750412414049 ls=[-2, -1, 0]
a=-1.6169999998864952 min=-2.315374994690565 min=0.6983749948040694 ls=[-2, -1, 0]
a=-1.6159999998864953 min=-2.314274875188395 min=0.6982748753018995 ls=[-2, -1, 0]
a=-1.6149999998864955 min=-2.313174682534026 min=0.6981746826475304 ls=[-2, -1, 0]
a=-1.6139999998864956 min=-2.312074416639943 min=0.6980744167534474 ls=[-2, -1, 0]
a=-1.6129999998864957 min=-2.3109740774184813 min=0.6979740775319856 ls=[-2, -1, 0]
a=-1.6119999998864958 min=-2.3098736647818248 min=0.6978736648953288 ls=[-2, -1, 0]
a=-1.610999999886496 min=-2.308773178642006 min=0.6977731787555101 ls=[-2, -1, 0]
a=-1.609999999886496 min=-2.3076726189109076 min=0.6976726190244116 ls=[-2, -1, 0]
a=-1.6089999998864961 min=-2.306571985500259 min=0.6975719856137632 ls=[-2, -1, 0]
a=-1.6079999998864962 min=-2.305471278321639 min=0.6974712784351427 ls=[-2, -1, 0]
a=-1.6069999998864963 min=-2.304370497286472 min=0.6973704973999757 ls=[-2, -1, 0]
a=-1.6059999998864964 min=-2.3032696423060317 min=0.697269642419535 ls=[-2, -1, 0]
a=-1.6049999998864966 min=-2.3021687132914366 min=0.6971687134049398 ls=[-2, -1, 0]
a=-1.6039999998864967 min=-2.3010677101536534 min=0.6970677102671567 ls=[-2, -1, 0]
a=-1.6029999998864968 min=-2.2999666328034944 min=0.6969666329169979 ls=[-2, -1, 0]
a=-1.6019999998864969 min=-2.2988654811516183 min=0.6968654812651212 ls=[-2, -1, 0]
a=-1.600999999886497 min=-2.2977642551085276 min=0.6967642552220306 ls=[-2, -1, 0]
a=-1.599999999886497 min=-2.296662954584572 min=0.6966629546980745 ls=[-2, -1, 0]
a=-1.5989999998864972 min=-2.2955615794899433 min=0.6965615796034463 ls=[-2, -1, 0]
a=-1.5979999998864973 min=-2.2944601297346816 min=0.6964601298481841 ls=[-2, -1, 0]
a=-1.5969999998864974 min=-2.2933586052286667 min=0.6963586053421693 ls=[-2, -1, 0]
a=-1.5959999998864975 min=-2.2922570058816256 min=0.6962570059951281 ls=[-2, -1, 0]
a=-1.5949999998864977 min=-2.2911553316031266 min=0.6961553317166289 ls=[-2, -1, 0]
a=-1.5939999998864978 min=-2.2900535823025816 min=0.6960535824160838 ls=[-2, -1, 0]
a=-1.5929999998864979 min=-2.2889517578892447 min=0.6959517580027468 ls=[-2, -1, 0]
a=-1.591999999886498 min=-2.287849858272213 min=0.6958498583857151 ls=[-2, -1, 0]
a=-1.590999999886498 min=-2.286747883360425 min=0.6957478834739268 ls=[-2, -1, 0]
a=-1.5899999998864982 min=-2.2856458330626603 min=0.6956458331761624 ls=[-2, -1, 0]
a=-1.5889999998864983 min=-2.2845437072875407 min=0.6955437074010427 ls=[-2, -1, 0]
a=-1.5879999998864984 min=-2.283441505943528 min=0.6954415060570294 ls=[-2, -1, 0]
a=-1.5869999998864985 min=-2.282339228938924 min=0.6953392290524254 ls=[-2, -1, 0]
a=-1.5859999998864986 min=-2.2812368761818718 min=0.6952368762953729 ls=[-2, -1, 0]
a=-1.5849999998864988 min=-2.2801344475803527 min=0.6951344476938539 ls=[-2, -1, 0]
a=-1.5839999998864989 min=-2.279031943042188 min=0.6950319431556895 ls=[-2, -1, 0]
a=-1.582999999886499 min=-2.277929362475039 min=0.6949293625885402 ls=[-2, -1, 0]
a=-1.581999999886499 min=-2.2768267057864042 min=0.6948267058999049 ls=[-2, -1, 0]
a=-1.5809999998864992 min=-2.2757239728836196 min=0.6947239729971204 ls=[-2, -1, 0]
a=-1.5799999998864993 min=-2.274621163673861 min=0.6946211637873614 ls=[-2, -1, 0]
a=-1.5789999998864994 min=-2.2735182780641394 min=0.69451827817764 ls=[-2, -1, 0]
a=-1.5779999998864995 min=-2.272415315961305 min=0.6944153160748057 ls=[-2, -1, 0]
a=-1.5769999998864996 min=-2.271312277272044 min=0.6943122773855444 ls=[-2, -1, 0]
a=-1.5759999998864997 min=-2.2702091619028772 min=0.6942091620163777 ls=[-2, -1, 0]
a=-1.5749999998864999 min=-2.269105969760164 min=0.694105969873664 ls=[-2, -1, 0]
a=-1.5739999998865 min=-2.268002700750097 min=0.6940027008635969 ls=[-2, -1, 0]
a=-1.5729999998865 min=-2.2668993547787055 min=0.6938993548922052 ls=[-2, -1, 0]
a=-1.5719999998865002 min=-2.2657959317518523 min=0.6937959318653522 ls=[-2, -1, 0]
a=-1.5709999998865003 min=-2.2646924315752357 min=0.6936924316887354 ls=[-2, -1, 0]
a=-1.5699999998865004 min=-2.2635888541543876 min=0.693588854267887 ls=[-2, -1, 0]
a=-1.5689999998865005 min=-2.262485199394672 min=0.6934851995081719 ls=[-2, -1, 0]
a=-1.5679999998865006 min=-2.2613814672012897 min=0.6933814673147891 ls=[-2, -1, 0]
a=-1.5669999998865007 min=-2.2602776574792705 min=0.6932776575927695 ls=[-2, -1, 0]
a=-1.5659999998865008 min=-2.259173770133478 min=0.6931737702469771 ls=[-2, -1, 0]
a=-1.564999999886501 min=-2.258069805068609 min=0.6930698051821078 ls=[-2, -1, 0]
a=-1.563999999886501 min=-2.25696576218919 min=0.6929657623026888 ls=[-2, -1, 0]
a=-1.5629999998865012 min=-2.25586164139958 min=0.6928616415130788 ls=[-2, -1, 0]
a=-1.5619999998865013 min=-2.2547574426039683 min=0.6927574427174672 ls=[-2, -1, 0]
a=-1.5609999998865014 min=-2.253653165706375 min=0.6926531658198738 ls=[-2, -1, 0]
a=-1.5599999998865015 min=-2.2525488106106506 min=0.6925488107241489 ls=[-2, -1, 0]
a=-1.5589999998865016 min=-2.251444377220473 min=0.6924443773339715 ls=[-2, -1, 0]
a=-1.5579999998865017 min=-2.2503398654393525 min=0.6923398655528508 ls=[-2, -1, 0]
a=-1.5569999998865018 min=-2.2492352751706264 min=0.6922352752841245 ls=[-2, -1, 0]
a=-1.555999999886502 min=-2.2481306063174604 min=0.6921306064309585 ls=[-2, -1, 0]
a=-1.554999999886502 min=-2.247025858782849 min=0.6920258588963468 ls=[-2, -1, 0]
a=-1.5539999998865022 min=-2.2459210324696137 min=0.6919210325831113 ls=[-2, -1, 0]
a=-1.5529999998865023 min=-2.2448161272804033 min=0.6918161273939007 ls=[-2, -1, 0]
a=-1.5519999998865024 min=-2.2437111431176935 min=0.6917111432311911 ls=[-2, -1, 0]
a=-1.5509999998865025 min=-2.242606079883787 min=0.6916060799972843 ls=[-2, -1, 0]
a=-1.5499999998865026 min=-2.2415009374808115 min=0.6915009375943086 ls=[-2, -1, 0]
a=-1.5489999998865027 min=-2.2403957158107204 min=0.6913957159242174 ls=[-2, -1, 0]
a=-1.5479999998865028 min=-2.239290414775293 min=0.69129041488879 ls=[-2, -1, 0]
a=-1.546999999886503 min=-2.2381850342761327 min=0.6911850343896295 ls=[-2, -1, 0]
a=-1.545999999886503 min=-2.2370795742146674 min=0.6910795743281641 ls=[-2, -1, 0]
a=-1.5449999998865032 min=-2.235974034492149 min=0.6909740346056457 ls=[-2, -1, 0]
a=-1.5439999998865033 min=-2.2348684150096525 min=0.6908684151231492 ls=[-2, -1, 0]
a=-1.5429999998865034 min=-2.233762715668077 min=0.6907627157815734 ls=[-2, -1, 0]
a=-1.5419999998865035 min=-2.2326569363681426 min=0.6906569364816393 ls=[-2, -1, 0]
a=-1.5409999998865036 min=-2.2315510770103932 min=0.6905510771238899 ls=[-2, -1, 0]
a=-1.5399999998865037 min=-2.2304451374951944 min=0.6904451376086904 ls=[-2, -1, 0]
a=-1.5389999998865038 min=-2.2293391177227315 min=0.6903391178362275 ls=[-2, -1, 0]
a=-1.537999999886504 min=-2.228233017593012 min=0.6902330177065081 ls=[-2, -1, 0]
a=-1.536999999886504 min=-2.227126837005865 min=0.690126837119361 ls=[-2, -1, 0]
a=-1.5359999998865042 min=-2.2260205758609377 min=0.6900205759744333 ls=[-2, -1, 0]
a=-1.5349999998865043 min=-2.2249142340576977 min=0.6899142341711935 ls=[-2, -1, 0]
a=-1.5339999998865044 min=-2.2238078114954325 min=0.6898078116089281 ls=[-2, -1, 0]
a=-1.5329999998865045 min=-2.2227013080732476 min=0.6897013081867434 ls=[-2, -1, 0]
a=-1.5319999998865046 min=-2.2215947236900675 min=0.6895947238035627 ls=[-2, -1, 0]
a=-1.5309999998865047 min=-2.2204880582446336 min=0.6894880583581291 ls=[-2, -1, 0]
a=-1.5299999998865048 min=-2.219381311635506 min=0.6893813117490015 ls=[-2, -1, 0]
a=-1.528999999886505 min=-2.218274483761062 min=0.689274483874557 ls=[-2, -1, 0]
a=-1.527999999886505 min=-2.2171675745194936 min=0.6891675746329886 ls=[-2, -1, 0]
a=-1.5269999998865051 min=-2.2160605838088108 min=0.6890605839223056 ls=[-2, -1, 0]
a=-1.5259999998865053 min=-2.214953511526839 min=0.688953511640334 ls=[-2, -1, 0]
a=-1.5249999998865054 min=-2.213846357571219 min=0.6888463576847139 ls=[-2, -1, 0]
a=-1.5239999998865055 min=-2.212739121839406 min=0.6887391219529009 ls=[-2, -1, 0]
a=-1.5229999998865056 min=-2.21163180422867 min=0.6886318043421644 ls=[-2, -1, 0]
a=-1.5219999998865057 min=-2.2105244046360943 min=0.6885244047495886 ls=[-2, -1, 0]
a=-1.5209999998865058 min=-2.2094169229585763 min=0.6884169230720707 ls=[-2, -1, 0]
a=-1.519999999886506 min=-2.2083093590928273 min=0.6883093592063212 ls=[-2, -1, 0]
a=-1.518999999886506 min=-2.207201712935369 min=0.6882017130488631 ls=[-2, -1, 0]
a=-1.5179999998865061 min=-2.2060939843825373 min=0.6880939844960314 ls=[-2, -1, 0]
a=-1.5169999998865062 min=-2.2049861733304796 min=0.6879861734439734 ls=[-2, -1, 0]
a=-1.5159999998865064 min=-2.203878279675153 min=0.6878782797886467 ls=[-2, -1, 0]
a=-1.5149999998865065 min=-2.2027703033123274 min=0.6877703034258207 ls=[-2, -1, 0]
a=-1.5139999998865066 min=-2.201662244137581 min=0.6876622442510747 ls=[-2, -1, 0]
a=-1.5129999998865067 min=-2.200554102046304 min=0.6875541021597977 ls=[-2, -1, 0]
a=-1.5119999998865068 min=-2.1994458769336953 min=0.6874458770471885 ls=[-2, -1, 0]
a=-1.510999999886507 min=-2.1983375686947615 min=0.6873375688082546 ls=[-2, -1, 0]
a=-1.509999999886507 min=-2.1972291772243193 min=0.6872291773378123 ls=[-2, -1, 0]
a=-1.5089999998865071 min=-2.1961207024169926 min=0.6871207025304855 ls=[-2, -1, 0]
a=-1.5079999998865072 min=-2.1950121441672135 min=0.687012144280706 ls=[-2, -1, 0]
a=-1.5069999998865073 min=-2.1939035023692197 min=0.6869035024827126 ls=[-2, -1, 0]
a=-1.5059999998865075 min=-2.192794776917058 min=0.6867947770305507 ls=[-2, -1, 0]
a=-1.5049999998865076 min=-2.19168596770458 min=0.6866859678180723 ls=[-2, -1, 0]
a=-1.5039999998865077 min=-2.190577074625442 min=0.6865770747389341 ls=[-2, -1, 0]
a=-1.5029999998865078 min=-2.1894680975731067 min=0.6864680976865991 ls=[-2, -1, 0]
a=-1.501999999886508 min=-2.1883590364408425 min=0.6863590365543344 ls=[-2, -1, 0]
a=-1.500999999886508 min=-2.1872498911217195 min=0.6862498912352115 ls=[-2, -1, 0]
a=-1.4999999998865081 min=-2.186140661508614 min=0.6861406616221057 ls=[-2, -1, 0]
a=-1.4989999998865082 min=-2.185031347494204 min=0.6860313476076958 ls=[-2, -1, 0]
a=-1.4979999998865083 min=-2.183921948970972 min=0.6859219490844632 ls=[-2, -1, 0]
a=-1.4969999998865084 min=-2.1828124658312 min=0.6858124659446916 ls=[-2, -1, 0]
a=-1.4959999998865086 min=-2.1817028979669755 min=0.6857028980804669 ls=[-2, -1, 0]
a=-1.4949999998865087 min=-2.1805932452701846 min=0.6855932453836762 ls=[-2, -1, 0]
a=-1.4939999998865088 min=-2.179483507632516 min=0.6854835077460073 ls=[-2, -1, 0]
a=-1.4929999998865089 min=-2.1783736849454574 min=0.6853736850589485 ls=[-2, -1, 0]
a=-1.491999999886509 min=-2.177263777100297 min=0.6852637772137882 ls=[-2, -1, 0]
a=-1.490999999886509 min=-2.1761537839881235 min=0.6851537841016142 ls=[-2, -1, 0]
a=-1.4899999998865092 min=-2.175043705499822 min=0.685043705613313 ls=[-2, -1, 0]
a=-1.4889999998865093 min=-2.173933541526079 min=0.6849335416395697 ls=[-2, -1, 0]
a=-1.4879999998865094 min=-2.1728232919573767 min=0.684823292070867 ls=[-2, -1, 0]
a=-1.4869999998865095 min=-2.1717129566839954 min=0.6847129567974861 ls=[-2, -1, 0]
a=-1.4859999998865097 min=-2.1706025355960135 min=0.6846025357095038 ls=[-2, -1, 0]
a=-1.4849999998865098 min=-2.1694920285833046 min=0.6844920286967946 ls=[-2, -1, 0]
a=-1.4839999998865099 min=-2.168381435535537 min=0.6843814356490272 ls=[-2, -1, 0]
a=-1.48299999988651 min=-2.167270756342178 min=0.684270756455668 ls=[-2, -1, 0]
a=-1.48199999988651 min=-2.1661599908924867 min=0.6841599910059766 ls=[-2, -1, 0]
a=-1.4809999998865102 min=-2.165049139075518 min=0.6840491391890078 ls=[-2, -1, 0]
a=-1.4799999998865103 min=-2.16393820078012 min=0.6839382008936097 ls=[-2, -1, 0]
a=-1.4789999998865104 min=-2.162827175894935 min=0.6838271760084249 ls=[-2, -1, 0]
a=-1.4779999998865105 min=-2.1617160643083984 min=0.6837160644218878 ls=[-2, -1, 0]
a=-1.4769999998865107 min=-2.1606048659087365 min=0.6836048660222258 ls=[-2, -1, 0]
a=-1.4759999998865108 min=-2.159493580583969 min=0.6834935806974578 ls=[-2, -1, 0]
a=-1.4749999998865109 min=-2.158382208221905 min=0.6833822083353944 ls=[-2, -1, 0]
a=-1.473999999886511 min=-2.157270748710148 min=0.6832707488236371 ls=[-2, -1, 0]
a=-1.472999999886511 min=-2.156159201936088 min=0.6831592020495771 ls=[-2, -1, 0]
a=-1.4719999998865112 min=-2.155047567786907 min=0.683047567900396 ls=[-2, -1, 0]
a=-1.4709999998865113 min=-2.153935846149576 min=0.6829358462630648 ls=[-2, -1, 0]
a=-1.4699999998865114 min=-2.1528240369108538 min=0.6828240370243426 ls=[-2, -1, 0]
a=-1.4689999998865115 min=-2.1517121399572883 min=0.682712140070777 ls=[-2, -1, 0]
a=-1.4679999998865116 min=-2.1506001551752147 min=0.6826001552887033 ls=[-2, -1, 0]
a=-1.4669999998865118 min=-2.1494880824507563 min=0.6824880825642448 ls=[-2, -1, 0]
a=-1.4659999998865119 min=-2.1483759216698215 min=0.6823759217833096 ls=[-2, -1, 0]
a=-1.464999999886512 min=-2.147263672718106 min=0.6822636728315936 ls=[-2, -1, 0]
a=-1.463999999886512 min=-2.1461513354810897 min=0.6821513355945776 ls=[-2, -1, 0]
a=-1.4629999998865122 min=-2.1450389098440397 min=0.6820389099575277 ls=[-2, -1, 0]
a=-1.4619999998865123 min=-2.143926395692006 min=0.6819263958054937 ls=[-2, -1, 0]
a=-1.4609999998865124 min=-2.1428137929098225 min=0.6818137930233104 ls=[-2, -1, 0]
a=-1.4599999998865125 min=-2.1417011013821075 min=0.6817011014955952 ls=[-2, -1, 0]
a=-1.4589999998865126 min=-2.140588320993262 min=0.6815883211067493 ls=[-2, -1, 0]
a=-1.4579999998865127 min=-2.139475451627468 min=0.6814754517409551 ls=[-2, -1, 0]
a=-1.4569999998865129 min=-2.1383624931686906 min=0.6813624932821778 ls=[-2, -1, 0]
a=-1.455999999886513 min=-2.137249445500676 min=0.6812494456141631 ls=[-2, -1, 0]
a=-1.454999999886513 min=-2.136136308506951 min=0.6811363086204378 ls=[-2, -1, 0]
a=-1.4539999998865132 min=-2.1350230820708216 min=0.6810230821843086 ls=[-2, -1, 0]
a=-1.4529999998865133 min=-2.1339097660753756 min=0.6809097661888621 ls=[-2, -1, 0]
a=-1.4519999998865134 min=-2.1327963604034768 min=0.6807963605169636 ls=[-2, -1, 0]
a=-1.4509999998865135 min=-2.131682864937771 min=0.6806828650512571 ls=[-2, -1, 0]
a=-1.4499999998865136 min=-2.130569279560678 min=0.6805692796741643 ls=[-2, -1, 0]
a=-1.4489999998865137 min=-2.1294556041543977 min=0.6804556042678842 ls=[-2, -1, 0]
a=-1.4479999998865138 min=-2.128341838600907 min=0.6803418387143934 ls=[-2, -1, 0]
a=-1.446999999886514 min=-2.1272279827819576 min=0.6802279828954434 ls=[-2, -1, 0]
a=-1.445999999886514 min=-2.1261140365790765 min=0.6801140366925624 ls=[-2, -1, 0]
a=-1.4449999998865142 min=-2.124999999873568 min=0.6799999999870534 ls=[-2, -1, 0]
a=-1.4439999998865143 min=-2.123885872546508 min=0.6798858726599937 ls=[-2, -1, 0]
a=-1.4429999998865144 min=-2.1227716544787487 min=0.6797716545922345 ls=[-2, -1, 0]
a=-1.4419999998865145 min=-2.121657345550916 min=0.6796573456644013 ls=[-2, -1, 0]
a=-1.4409999998865146 min=-2.1205429456434057 min=0.6795429457568909 ls=[-2, -1, 0]
a=-1.4399999998865147 min=-2.1194284546363886 min=0.6794284547498739 ls=[-2, -1, 0]
a=-1.4389999998865148 min=-2.1183138724098063 min=0.6793138725232912 ls=[-2, -1, 0]
a=-1.437999999886515 min=-2.117199198843371 min=0.679199198956856 ls=[-2, -1, 0]
a=-1.436999999886515 min=-2.116084433816566 min=0.679084433930051 ls=[-2, -1, 0]
a=-1.4359999998865152 min=-2.1149695772086443 min=0.6789695773221291 ls=[-2, -1, 0]
a=-1.4349999998865153 min=-2.113854628898628 min=0.6788546290121127 ls=[-2, -1, 0]
a=-1.4339999998865154 min=-2.112739588765308 min=0.6787395888787928 ls=[-2, -1, 0]
a=-1.4329999998865155 min=-2.1116244566872444 min=0.6786244568007289 ls=[-2, -1, 0]
a=-1.4319999998865156 min=-2.1105092325427632 min=0.6785092326562474 ls=[-2, -1, 0]
a=-1.4309999998865157 min=-2.1093939162099575 min=0.678393916323442 ls=[-2, -1, 0]
a=-1.4299999998865158 min=-2.1082785075666886 min=0.678278507680173 ls=[-2, -1, 0]
a=-1.428999999886516 min=-2.107163006490582 min=0.678163006604066 ls=[-2, -1, 0]
a=-1.427999999886516 min=-2.106047412859028 min=0.678047412972512 ls=[-2, -1, 0]
a=-1.4269999998865162 min=-2.104931726549183 min=0.6779317266626668 ls=[-2, -1, 0]
a=-1.4259999998865163 min=-2.1038159474379663 min=0.6778159475514498 ls=[-2, -1, 0]
a=-1.4249999998865164 min=-2.10270007540206 min=0.677700075515544 ls=[-2, -1, 0]
a=-1.4239999998865165 min=-2.101584110317911 min=0.6775841104313949 ls=[-2, -1, 0]
a=-1.4229999998865166 min=-2.1004680520617267 min=0.6774680521752103 ls=[-2, -1, 0]
a=-1.4219999998865167 min=-2.0993519005094763 min=0.6773519006229598 ls=[-2, -1, 0]
a=-1.4209999998865168 min=-2.0982356555368904 min=0.6772356556503734 ls=[-2, -1, 0]
a=-1.419999999886517 min=-2.097119317019459 min=0.6771193171329417 ls=[-2, -1, 0]
a=-1.418999999886517 min=-2.096002884832432 min=0.6770028849459151 ls=[-2, -1, 0]
a=-1.4179999998865171 min=-2.09488635885082 min=0.6768863589643028 ls=[-2, -1, 0]
a=-1.4169999998865173 min=-2.0937697389493897 min=0.6767697390628724 ls=[-2, -1, 0]
a=-1.4159999998865174 min=-2.092653025002668 min=0.6766530251161502 ls=[-2, -1, 0]
a=-1.4149999998865175 min=-2.0915362168849354 min=0.6765362169984181 ls=[-2, -1, 0]
a=-1.4139999998865176 min=-2.0904193144702337 min=0.6764193145837163 ls=[-2, -1, 0]
a=-1.4129999998865177 min=-2.0893023176323573 min=0.6763023177458396 ls=[-2, -1, 0]
a=-1.4119999998865178 min=-2.088185226244857 min=0.676185226358339 ls=[-2, -1, 0]
a=-1.410999999886518 min=-2.0870680401810375 min=0.6760680402945196 ls=[-2, -1, 0]
a=-1.409999999886518 min=-2.085950759313959 min=0.675950759427441 ls=[-2, -1, 0]
a=-1.4089999998865181 min=-2.0848333835164343 min=0.675833383629916 ls=[-2, -1, 0]
a=-1.4079999998865182 min=-2.0837159126610283 min=0.67571591277451 ls=[-2, -1, 0]
a=-1.4069999998865184 min=-2.0825983466200597 min=0.6755983467335411 ls=[-2, -1, 0]
a=-1.4059999998865185 min=-2.0814806852655967 min=0.6754806853790782 ls=[-2, -1, 0]
a=-1.4049999998865186 min=-2.08036292846946 min=0.6753629285829414 ls=[-2, -1, 0]
a=-1.4039999998865187 min=-2.07924507610322 min=0.675245076216701 ls=[-2, -1, 0]
a=-1.4029999998865188 min=-2.0781271280381954 min=0.6751271281516766 ls=[-2, -1, 0]
a=-1.401999999886519 min=-2.0770090841454563 min=0.6750090842589376 ls=[-2, -1, 0]
a=-1.400999999886519 min=-2.075890944295819 min=0.6748909444093001 ls=[-2, -1, 0]
a=-1.3999999998865191 min=-2.0747727083598484 min=0.674772708473329 ls=[-2, -1, 0]
a=-1.3989999998865192 min=-2.0736543762078554 min=0.674654376321336 ls=[-2, -1, 0]
a=-1.3979999998865194 min=-2.0725359477098975 min=0.6745359478233783 ls=[-2, -1, 0]
a=-1.3969999998865195 min=-2.071417422735779 min=0.6744174228492597 ls=[-2, -1, 0]
a=-1.3959999998865196 min=-2.0702988011550474 min=0.674298801268528 ls=[-2, -1, 0]
a=-1.3949999998865197 min=-2.069180082836996 min=0.6741800829504765 ls=[-2, -1, 0]
a=-1.3939999998865198 min=-2.0680612676506605 min=0.6740612677641407 ls=[-2, -1, 0]
a=-1.39299999988652 min=-2.0669423554648194 min=0.6739423555782997 ls=[-2, -1, 0]
a=-1.39199999988652 min=-2.065823346147995 min=0.6738233462614751 ls=[-2, -1, 0]
a=-1.3909999998865201 min=-2.0647042395684503 min=0.6737042396819299 ls=[-2, -1, 0]
a=-1.3899999998865202 min=-2.063585035594188 min=0.6735850357076678 ls=[-2, -1, 0]
a=-1.3889999998865203 min=-2.062465734092953 min=0.673465734206433 ls=[-2, -1, 0]
a=-1.3879999998865205 min=-2.061346334932229 min=0.6733463350457087 ls=[-2, -1, 0]
a=-1.3869999998865206 min=-2.060226837979238 min=0.6732268380927178 ls=[-2, -1, 0]
a=-1.3859999998865207 min=-2.059107243100941 min=0.6731072432144207 ls=[-2, -1, 0]
a=-1.3849999998865208 min=-2.057987550164037 min=0.6729875502775158 ls=[-2, -1, 0]
a=-1.383999999886521 min=-2.0568677590349584 min=0.6728677591484375 ls=[-2, -1, 0]
a=-1.382999999886521 min=-2.0557478695798785 min=0.6727478696933573 ls=[-2, -1, 0]
a=-1.3819999998865211 min=-2.0546278816647026 min=0.6726278817781814 ls=[-2, -1, 0]
a=-1.3809999998865212 min=-2.053507795155072 min=0.6725077952685512 ls=[-2, -1, 0]
a=-1.3799999998865213 min=-2.0523876099163627 min=0.6723876100298414 ls=[-2, -1, 0]
a=-1.3789999998865214 min=-2.051267325813682 min=0.6722673259271605 ls=[-2, -1, 0]
a=-1.3779999998865216 min=-2.050146942711871 min=0.6721469428253497 ls=[-2, -1, 0]
a=-1.3769999998865217 min=-2.0490264604755035 min=0.6720264605889816 ls=[-2, -1, 0]
a=-1.3759999998865218 min=-2.0479058789688827 min=0.6719058790823607 ls=[-2, -1, 0]
a=-1.3749999998865219 min=-2.0467851980560434 min=0.6717851981695213 ls=[-2, -1, 0]
a=-1.373999999886522 min=-2.04566441760075 min=0.6716644177142277 ls=[-2, -1, 0]
a=-1.372999999886522 min=-2.0445435374664953 min=0.671543537579973 ls=[-2, -1, 0]
a=-1.3719999998865222 min=-2.043422557516501 min=0.671422557629979 ls=[-2, -1, 0]
a=-1.3709999998865223 min=-2.0423014776137176 min=0.6713014777271951 ls=[-2, -1, 0]
a=-1.3699999998865224 min=-2.0411802976208193 min=0.6711802977342969 ls=[-2, -1, 0]
a=-1.3689999998865225 min=-2.0400590174002096 min=0.671059017513687 ls=[-2, -1, 0]
a=-1.3679999998865227 min=-2.0389376368140155 min=0.6709376369274931 ls=[-2, -1, 0]
a=-1.3669999998865228 min=-2.03781615572409 min=0.6708161558375672 ls=[-2, -1, 0]
a=-1.3659999998865229 min=-2.0366945739920084 min=0.6706945741054853 ls=[-2, -1, 0]
a=-1.364999999886523 min=-2.0355728914790703 min=0.6705728915925475 ls=[-2, -1, 0]
a=-1.363999999886523 min=-2.0344511080462984 min=0.6704511081597753 ls=[-2, -1, 0]
a=-1.3629999998865232 min=-2.0333292235544356 min=0.6703292236679121 ls=[-2, -1, 0]
a=-1.3619999998865233 min=-2.032207237863946 min=0.6702072379774229 ls=[-2, -1, 0]
a=-1.3609999998865234 min=-2.0310851508350156 min=0.6700851509484924 ls=[-2, -1, 0]
a=-1.3599999998865235 min=-2.0299629623275486 min=0.669962962441025 ls=[-2, -1, 0]
a=-1.3589999998865236 min=-2.0288406722011674 min=0.6698406723146437 ls=[-2, -1, 0]
a=-1.3579999998865238 min=-2.027718280315213 min=0.6697182804286894 ls=[-2, -1, 0]
a=-1.3569999998865239 min=-2.0265957865287443 min=0.6695957866422204 ls=[-2, -1, 0]
a=-1.355999999886524 min=-2.025473190700535 min=0.6694731908140115 ls=[-2, -1, 0]
a=-1.354999999886524 min=-2.0243504926890767 min=0.6693504928025527 ls=[-2, -1, 0]
a=-1.3539999998865242 min=-2.023227692352574 min=0.6692276924660499 ls=[-2, -1, 0]
a=-1.3529999998865243 min=-2.0221047895489463 min=0.669104789662422 ls=[-2, -1, 0]
a=-1.3519999998865244 min=-2.0209817841358273 min=0.6689817842493027 ls=[-2, -1, 0]
a=-1.3509999998865245 min=-2.019858675970561 min=0.6688586760840365 ls=[-2, -1, 0]
a=-1.3499999998865246 min=-2.018735464910206 min=0.6687354650236814 ls=[-2, -1, 0]
a=-1.3489999998865247 min=-2.0176121508115306 min=0.6686121509250058 ls=[-2, -1, 0]
a=-1.3479999998865249 min=-2.016488733531013 min=0.6684887336444882 ls=[-2, -1, 0]
a=-1.346999999886525 min=-2.015365212924842 min=0.6683652130383169 ls=[-2, -1, 0]
a=-1.345999999886525 min=-2.014241588848914 min=0.6682415889623889 ls=[-2, -1, 0]
a=-1.3449999998865252 min=-2.0131178611588343 min=0.6681178612723089 ls=[-2, -1, 0]
a=-1.3439999998865253 min=-2.011994029709914 min=0.6679940298233891 ls=[-2, -1, 0]
a=-1.3429999998865254 min=-2.0108700943571733 min=0.6678700944706477 ls=[-2, -1, 0]
a=-1.3419999998865255 min=-2.0097460549553343 min=0.6677460550688086 ls=[-2, -1, 0]
a=-1.3409999998865256 min=-2.0086219113588264 min=0.6676219114723005 ls=[-2, -1, 0]
a=-1.3399999998865257 min=-2.0074976634217823 min=0.6674976635352563 ls=[-2, -1, 0]
a=-1.3389999998865258 min=-2.006373310998037 min=0.6673733111115112 ls=[-2, -1, 0]
a=-1.337999999886526 min=-2.0052488539411293 min=0.6672488540546035 ls=[-2, -1, 0]
a=-1.336999999886526 min=-2.004124292104299 min=0.6671242922177731 ls=[-2, -1, 0]
a=-1.3359999998865262 min=-2.002999625340486 min=0.6669996254539599 ls=[-2, -1, 0]
a=-1.3349999998865263 min=-2.0018748535023305 min=0.6668748536158042 ls=[-2, -1, 0]
a=-1.3339999998865264 min=-2.000749976442172 min=0.6667499765556455 ls=[-2, -1, 0]
a=5.334000000113554 min=1.333250023415992 min=4.000749976697562 ls=[2, 3, 4]
a=5.3350000001135545 min=1.333125146355857 min=4.001874853757697 ls=[2, 3, 4]
a=5.336000000113555 min=1.3330003745177252 min=4.002999625595829 ls=[2, 3, 4]
a=5.337000000113555 min=1.3328757077539357 min=4.004124292359619 ls=[2, 3, 4]
a=5.3380000001135555 min=1.332751145917129 min=4.005248854196426 ls=[2, 3, 4]
a=5.339000000113556 min=1.3326266888602454 min=4.00637331125331 ls=[2, 3, 4]
a=5.340000000113556 min=1.332502336436524 min=4.007497663677032 ls=[2, 3, 4]
a=5.3410000001135565 min=1.3323780884995031 min=4.008621911614053 ls=[2, 3, 4]
a=5.342000000113557 min=1.3322539449030186 min=4.009746055210538 ls=[2, 3, 4]
a=5.343000000113557 min=1.3321299055012032 min=4.010870094612354 ls=[2, 3, 4]
a=5.3440000001135575 min=1.3320059701484852 min=4.011994029965072 ls=[2, 3, 4]
a=5.345000000113558 min=1.331882138699589 min=4.013117861413969 ls=[2, 3, 4]
a=5.346000000113558 min=1.3317584110095326 min=4.014241589104025 ls=[2, 3, 4]
a=5.3470000001135585 min=1.331634786933628 min=4.015365213179931 ls=[2, 3, 4]
a=5.348000000113559 min=1.33151126632748 min=4.016488733786079 ls=[2, 3, 4]
a=5.349000000113559 min=1.3313878490469857 min=4.017612151066573 ls=[2, 3, 4]
a=5.3500000001135595 min=1.3312645349483334 min=4.018735465165226 ls=[2, 3, 4]
a=5.35100000011356 min=1.3311413238880019 min=4.019858676225558 ls=[2, 3, 4]
a=5.35200000011356 min=1.331018215722759 min=4.020981784390801 ls=[2, 3, 4]
a=5.3530000001135605 min=1.3308952103096627 min=4.0221047898038975 ls=[2, 3, 4]
a=5.354000000113561 min=1.3307723075060582 min=4.023227692607502 ls=[2, 3, 4]
a=5.355000000113561 min=1.3306495071695787 min=4.024350492943983 ls=[2, 3, 4]
a=5.3560000001135615 min=1.3305268091581433 min=4.0254731909554184 ls=[2, 3, 4]
a=5.357000000113562 min=1.3304042133299574 min=4.026595786783604 ls=[2, 3, 4]
a=5.358000000113562 min=1.3302817195435113 min=4.027718280570051 ls=[2, 3, 4]
a=5.3590000001135625 min=1.33015932765758 min=4.028840672455982 ls=[2, 3, 4]
a=5.360000000113563 min=1.3300370375312218 min=4.029962962582341 ls=[2, 3, 4]
a=5.361000000113563 min=1.3299148490237773 min=4.031085151089786 ls=[2, 3, 4]
a=5.3620000001135635 min=1.3297927619948697 min=4.032207238118694 ls=[2, 3, 4]
a=5.363000000113564 min=1.3296707763044038 min=4.03332922380916 ls=[2, 3, 4]
a=5.364000000113564 min=1.3295488918125637 min=4.034451108301001 ls=[2, 3, 4]
a=5.3650000001135645 min=1.3294271083798141 min=4.03557289173375 ls=[2, 3, 4]
a=5.366000000113565 min=1.329305425866899 min=4.036694574246666 ls=[2, 3, 4]
a=5.367000000113565 min=1.3291838441348403 min=4.0378161559787245 ls=[2, 3, 4]
a=5.3680000001135655 min=1.329062363044937 min=4.038937637068629 ls=[2, 3, 4]
a=5.369000000113566 min=1.328940982458766 min=4.0400590176548 ls=[2, 3, 4]
a=5.370000000113566 min=1.3288197022381785 min=4.041180297875387 ls=[2, 3, 4]
a=5.3710000001135665 min=1.3286985222453032 min=4.042301477868263 ls=[2, 3, 4]
a=5.372000000113567 min=1.3285774423425416 min=4.043422557771025 ls=[2, 3, 4]
a=5.373000000113567 min=1.3284564623925703 min=4.044543537720997 ls=[2, 3, 4]
a=5.3740000001135675 min=1.3283355822583385 min=4.045664417855229 ls=[2, 3, 4]
a=5.375000000113568 min=1.3282148018030673 min=4.0467851983105 ls=[2, 3, 4]
a=5.376000000113568 min=1.3280941208902504 min=4.047905879223318 ls=[2, 3, 4]
a=5.3770000001135685 min=1.3279735393836518 min=4.049026460729917 ls=[2, 3, 4]
a=5.378000000113569 min=1.3278530571473064 min=4.050146942966262 ls=[2, 3, 4]
a=5.379000000113569 min=1.3277326740455182 min=4.051267326068051 ls=[2, 3, 4]
a=5.3800000001135695 min=1.3276123899428596 min=4.05238761017071 ls=[2, 3, 4]
a=5.38100000011357 min=1.3274922047041724 min=4.053507795409398 ls=[2, 3, 4]
a=5.38200000011357 min=1.3273721181945641 min=4.054627881919006 ls=[2, 3, 4]
a=5.3830000001135705 min=1.3272521302794107 min=4.05574786983416 ls=[2, 3, 4]
a=5.384000000113571 min=1.3271322408243527 min=4.056867759289219 ls=[2, 3, 4]
a=5.385000000113571 min=1.3270124496952969 min=4.057987550418274 ls=[2, 3, 4]
a=5.3860000001135715 min=1.3268927567584141 min=4.059107243355157 ls=[2, 3, 4]
a=5.387000000113572 min=1.3267731618801393 min=4.060226838233433 ls=[2, 3, 4]
a=5.388000000113572 min=1.3266536649271705 min=4.061346335186402 ls=[2, 3, 4]
a=5.3890000001135725 min=1.3265342657664685 min=4.062465734347104 ls=[2, 3, 4]
a=5.390000000113573 min=1.3264149642652556 min=4.063585035848317 ls=[2, 3, 4]
a=5.391000000113573 min=1.3262957602910155 min=4.064704239822557 ls=[2, 3, 4]
a=5.3920000001135735 min=1.326176653711492 min=4.065823346402081 ls=[2, 3, 4]
a=5.393000000113574 min=1.3260576443946899 min=4.066942355718884 ls=[2, 3, 4]
a=5.394000000113574 min=1.325938732208871 min=4.068061267904703 ls=[2, 3, 4]
a=5.3950000001135745 min=1.325819917022557 min=4.069180083091018 ls=[2, 3, 4]
a=5.396000000113575 min=1.325701198704527 min=4.070298801409048 ls=[2, 3, 4]
a=5.397000000113575 min=1.3255825771238177 min=4.071417422989757 ls=[2, 3, 4]
a=5.3980000001135755 min=1.325464052149721 min=4.072535947963854 ls=[2, 3, 4]
a=5.399000000113576 min=1.325345623651785 min=4.073654376461791 ls=[2, 3, 4]
a=5.400000000113576 min=1.3252272914998136 min=4.074772708613763 ls=[2, 3, 4]
a=5.4010000001135765 min=1.3251090555638645 min=4.0758909445497125 ls=[2, 3, 4]
a=5.402000000113577 min=1.324990915714249 min=4.077009084399328 ls=[2, 3, 4]
a=5.403000000113577 min=1.3248728718215312 min=4.078127128292046 ls=[2, 3, 4]
a=5.4040000001135775 min=1.3247549237565288 min=4.079245076357049 ls=[2, 3, 4]
a=5.405000000113578 min=1.3246370713903102 min=4.080362928723268 ls=[2, 3, 4]
a=5.406000000113578 min=1.324519314594195 min=4.0814806855193835 ls=[2, 3, 4]
a=5.4070000001135785 min=1.3244016532397533 min=4.082598346873825 ls=[2, 3, 4]
a=5.408000000113579 min=1.3242840871988062 min=4.083715912914773 ls=[2, 3, 4]
a=5.409000000113579 min=1.3241666163434218 min=4.084833383770158 ls=[2, 3, 4]
a=5.4100000001135795 min=1.324049240545918 min=4.085950759567662 ls=[2, 3, 4]
a=5.41100000011358 min=1.323931959678861 min=4.087068040434719 ls=[2, 3, 4]
a=5.41200000011358 min=1.3238147736150634 min=4.088185226498517 ls=[2, 3, 4]
a=5.4130000001135805 min=1.323697682227584 min=4.089302317885997 ls=[2, 3, 4]
a=5.414000000113581 min=1.323580685389729 min=4.090419314723852 ls=[2, 3, 4]
a=5.415000000113581 min=1.3234637829750482 min=4.0915362171385325 ls=[2, 3, 4]
a=5.4160000001135815 min=1.3233469748573377 min=4.092653025256244 ls=[2, 3, 4]
a=5.417000000113582 min=1.3232302609106363 min=4.093769739202946 ls=[2, 3, 4]
a=5.418000000113582 min=1.3231136410092275 min=4.094886359104355 ls=[2, 3, 4]
a=5.4190000001135825 min=1.3229971150276365 min=4.096002885085946 ls=[2, 3, 4]
a=5.420000000113583 min=1.322880682840631 min=4.097119317272952 ls=[2, 3, 4]
a=5.421000000113583 min=1.3227643443232207 min=4.098235655790362 ls=[2, 3, 4]
a=5.4220000001135835 min=1.3226480993506555 min=4.099351900762928 ls=[2, 3, 4]
a=5.423000000113584 min=1.322531947798426 min=4.100468052315158 ls=[2, 3, 4]
a=5.424000000113584 min=1.3224158895422626 min=4.101584110571322 ls=[2, 3, 4]
a=5.4250000001135845 min=1.3222999244581346 min=4.10270007565545 ls=[2, 3, 4]
a=5.426000000113585 min=1.32218405242225 min=4.103815947691335 ls=[2, 3, 4]
a=5.427000000113585 min=1.3220682733110538 min=4.104931726802532 ls=[2, 3, 4]
a=5.4280000001135855 min=1.3219525870012296 min=4.106047413112356 ls=[2, 3, 4]
a=5.429000000113586 min=1.321836993369697 min=4.107163006743889 ls=[2, 3, 4]
a=5.430000000113586 min=1.321721492293611 min=4.108278507819975 ls=[2, 3, 4]
a=5.4310000001135865 min=1.3216060836503625 min=4.109393916463224 ls=[2, 3, 4]
a=5.432000000113587 min=1.321490767317578 min=4.110509232796009 ls=[2, 3, 4]
a=5.433000000113587 min=1.3213755431731173 min=4.11162445694047 ls=[2, 3, 4]
a=5.4340000001135875 min=1.321260411095074 min=4.112739589018513 ls=[2, 3, 4]
a=5.435000000113588 min=1.321145370961775 min=4.113854629151813 ls=[2, 3, 4]
a=5.436000000113588 min=1.3210304226517797 min=4.1149695774618085 ls=[2, 3, 4]
a=5.4370000001135885 min=1.3209155660438785 min=4.11608443406971 ls=[2, 3, 4]
a=5.438000000113589 min=1.3208008010170944 min=4.117199199096494 ls=[2, 3, 4]
a=5.439000000113589 min=1.3206861274506796 min=4.11831387266291 ls=[2, 3, 4]
a=5.4400000001135895 min=1.3205715452241178 min=4.119428454889472 ls=[2, 3, 4]
a=5.44100000011359 min=1.3204570542171212 min=4.120542945896469 ls=[2, 3, 4]
a=5.44200000011359 min=1.3203426543096317 min=4.121657345803959 ls=[2, 3, 4]
a=5.4430000001135905 min=1.3202283453818189 min=4.122771654731771 ls=[2, 3, 4]
a=5.444000000113591 min=1.3201141273140806 min=4.1238858727995105 ls=[2, 3, 4]
a=5.445000000113591 min=1.319999999987041 min=4.12500000012655 ls=[2, 3, 4]
a=5.4460000001135915 min=1.3198859632815527 min=4.126114036832039 ls=[2, 3, 4]
a=5.447000000113592 min=1.319772017078692 min=4.1272279830349 ls=[2, 3, 4]
a=5.448000000113592 min=1.3196581612597627 min=4.12834183885383 ls=[2, 3, 4]
a=5.4490000001135925 min=1.3195443957062922 min=4.1294556044073 ls=[2, 3, 4]
a=5.450000000113593 min=1.3194307203000326 min=4.13056927981356 ls=[2, 3, 4]
a=5.451000000113593 min=1.3193171349229604 min=4.1316828651906325 ls=[2, 3, 4]
a=5.4520000001135935 min=1.319203639457274 min=4.13279636065632 ls=[2, 3, 4]
a=5.453000000113594 min=1.319090233785396 min=4.133909766328198 ls=[2, 3, 4]
a=5.454000000113594 min=1.3189769177899697 min=4.135023082323625 ls=[2, 3, 4]
a=5.4550000001135945 min=1.3188636913538607 min=4.136136308759734 ls=[2, 3, 4]
a=5.456000000113595 min=1.3187505543601556 min=4.137249445753439 ls=[2, 3, 4]
a=5.457000000113595 min=1.3186375066921614 min=4.138362493421434 ls=[2, 3, 4]
a=5.4580000001135955 min=1.318524548233404 min=4.139475451880191 ls=[2, 3, 4]
a=5.459000000113596 min=1.31841167886763 min=4.140588321245966 ls=[2, 3, 4]
a=5.460000000113596 min=1.3182988984788042 min=4.141701101634792 ls=[2, 3, 4]
a=5.4610000001135965 min=1.3181862069511092 min=4.142813793162487 ls=[2, 3, 4]
a=5.462000000113597 min=1.3180736041689463 min=4.143926395944651 ls=[2, 3, 4]
a=5.463000000113597 min=1.3179610900169323 min=4.145038910096665 ls=[2, 3, 4]
a=5.4640000001135975 min=1.317848664379902 min=4.146151335733696 ls=[2, 3, 4]
a=5.465000000113598 min=1.3177363271429061 min=4.147263672970691 ls=[2, 3, 4]
a=5.466000000113598 min=1.3176240781912103 min=4.148375921922388 ls=[2, 3, 4]
a=5.4670000001135985 min=1.3175119174102952 min=4.149488082703304 ls=[2, 3, 4]
a=5.468000000113599 min=1.3173998446858561 min=4.1506001554277425 ls=[2, 3, 4]
a=5.469000000113599 min=1.317287859903803 min=4.1517121402097965 ls=[2, 3, 4]
a=5.4700000001135995 min=1.317175962950257 min=4.1528240371633425 ls=[2, 3, 4]
a=5.4710000001136 min=1.3170641537115544 min=4.153935846402046 ls=[2, 3, 4]
a=5.4720000001136 min=1.3169524320742432 min=4.1550475680393575 ls=[2, 3, 4]
a=5.4730000001136005 min=1.316840797925082 min=4.156159202188519 ls=[2, 3, 4]
a=5.474000000113601 min=1.3167292511510418 min=4.157270748962559 ls=[2, 3, 4]
a=5.475000000113601 min=1.316617791639304 min=4.158382208474297 ls=[2, 3, 4]
a=5.4760000001136016 min=1.3165064192772606 min=4.159493580836341 ls=[2, 3, 4]
a=5.477000000113602 min=1.3163951339525122 min=4.16060486616109 ls=[2, 3, 4]
a=5.478000000113602 min=1.31628393555287 min=4.161716064560732 ls=[2, 3, 4]
a=5.4790000001136026 min=1.3161728239663524 min=4.16282717614725 ls=[2, 3, 4]
a=5.480000000113603 min=1.3160617990811871 min=4.1639382010324155 ls=[2, 3, 4]
a=5.481000000113603 min=1.315950860785809 min=4.165049139327794 ls=[2, 3, 4]
a=5.4820000001136036 min=1.3158400089688596 min=4.166159991144744 ls=[2, 3, 4]
a=5.483000000113604 min=1.3157292435191874 min=4.167270756594417 ls=[2, 3, 4]
a=5.484000000113604 min=1.315618564325848 min=4.168381435787756 ls=[2, 3, 4]
a=5.485000000113605 min=1.3155079712781002 min=4.169492028835505 ls=[2, 3, 4]
a=5.486000000113605 min=1.3153974642654103 min=4.170602535848195 ls=[2, 3, 4]
a=5.487000000113605 min=1.3152870431774475 min=4.171712956936158 ls=[2, 3, 4]
a=5.488000000113606 min=1.3151767079040857 min=4.17282329220952 ls=[2, 3, 4]
a=5.489000000113606 min=1.315066458335403 min=4.173933541778203 ls=[2, 3, 4]
a=5.490000000113606 min=1.3149562943616788 min=4.175043705751928 ls=[2, 3, 4]
a=5.491000000113607 min=1.3148462158733971 min=4.17615378424021 ls=[2, 3, 4]
a=5.492000000113607 min=1.3147362227612422 min=4.177263777352365 ls=[2, 3, 4]
a=5.493000000113607 min=1.3146263149161013 min=4.178373685197506 ls=[2, 3, 4]
a=5.494000000113608 min=1.314516492229062 min=4.179483507884545 ls=[2, 3, 4]
a=5.495000000113608 min=1.3144067545914122 min=4.1805932455221955 ls=[2, 3, 4]
a=5.496000000113608 min=1.3142971018946406 min=4.181702898218967 ls=[2, 3, 4]
a=5.497000000113609 min=1.314187534030435 min=4.182812466083174 ls=[2, 3, 4]
a=5.498000000113609 min=1.3140780508906829 min=4.183921949222926 ls=[2, 3, 4]
a=5.499000000113609 min=1.3139686523674694 min=4.18503134774614 ls=[2, 3, 4]
a=5.50000000011361 min=1.3138593383530783 min=4.186140661760531 ls=[2, 3, 4]
a=5.50100000011361 min=1.3137501087399919 min=4.187249891373618 ls=[2, 3, 4]
a=5.50200000011361 min=1.313640963420888 min=4.188359036692722 ls=[2, 3, 4]
a=5.503000000113611 min=1.3135319022886423 min=4.189468097824968 ls=[2, 3, 4]
a=5.504000000113611 min=1.3134229252363263 min=4.190577074877284 ls=[2, 3, 4]
a=5.505000000113611 min=1.3133140321572072 min=4.1916859679564045 ls=[2, 3, 4]
a=5.506000000113612 min=1.3132052229447475 min=4.192794777168864 ls=[2, 3, 4]
a=5.507000000113612 min=1.313096497492605 min=4.193903502621007 ls=[2, 3, 4]
a=5.508000000113612 min=1.3129878556946304 min=4.195012144418982 ls=[2, 3, 4]
a=5.509000000113613 min=1.31287929744487 min=4.196120702668742 ls=[2, 3, 4]
a=5.510000000113613 min=1.3127708226375618 min=4.197229177476051 ls=[2, 3, 4]
a=5.511000000113613 min=1.3126624311671384 min=4.198337568946474 ls=[2, 3, 4]
a=5.512000000113614 min=1.3125541229282234 min=4.19944587718539 ls=[2, 3, 4]
a=5.513000000113614 min=1.3124458978156328 min=4.200554102297981 ls=[2, 3, 4]
a=5.514000000113614 min=1.312337755724375 min=4.201662244389239 ls=[2, 3, 4]
a=5.515000000113615 min=1.3122296965496474 min=4.202770303563967 ls=[2, 3, 4]
a=5.516000000113615 min=1.3121217201868403 min=4.203878279926775 ls=[2, 3, 4]
a=5.517000000113615 min=1.3120138265315324 min=4.204986173582083 ls=[2, 3, 4]
a=5.518000000113616 min=1.3119060154794928 min=4.206093984634123 ls=[2, 3, 4]
a=5.519000000113616 min=1.3117982869266802 min=4.207201713186936 ls=[2, 3, 4]
a=5.520000000113616 min=1.3116906407692406 min=4.2083093593443754 ls=[2, 3, 4]
a=5.521000000113617 min=1.3115830769035095 min=4.209416923210107 ls=[2, 3, 4]
a=5.522000000113617 min=1.3114755952260104 min=4.2105244048876065 ls=[2, 3, 4]
a=5.523000000113617 min=1.311368195633453 min=4.211631804480164 ls=[2, 3, 4]
a=5.524000000113618 min=1.3112608780227355 min=4.212739122090882 ls=[2, 3, 4]
a=5.525000000113618 min=1.311153642290941 min=4.213846357822677 ls=[2, 3, 4]
a=5.526000000113618 min=1.311046488335339 min=4.21495351177828 ls=[2, 3, 4]
a=5.527000000113619 min=1.3109394160533858 min=4.216060584060233 ls=[2, 3, 4]
a=5.528000000113619 min=1.3108324253427217 min=4.217167574770897 ls=[2, 3, 4]
a=5.529000000113619 min=1.3107255161011717 min=4.218274484012447 ls=[2, 3, 4]
a=5.53000000011362 min=1.3106186882267454 min=4.219381311886874 ls=[2, 3, 4]
a=5.53100000011362 min=1.3105119416176365 min=4.220488058495984 ls=[2, 3, 4]
a=5.53200000011362 min=1.3104052761722211 min=4.221594723941399 ls=[2, 3, 4]
a=5.533000000113621 min=1.310298691789059 min=4.222701308324561 ls=[2, 3, 4]
a=5.534000000113621 min=1.310192188366892 min=4.223807811746729 ls=[2, 3, 4]
a=5.535000000113621 min=1.3100857658046452 min=4.224914234308976 ls=[2, 3, 4]
a=5.536000000113622 min=1.3099794240014238 min=4.226020576112198 ls=[2, 3, 4]
a=5.537000000113622 min=1.3098731628565143 min=4.227126837257107 ls=[2, 3, 4]
a=5.538000000113622 min=1.3097669822693854 min=4.228233017844237 ls=[2, 3, 4]
a=5.539000000113623 min=1.3096608821396845 min=4.229339117973938 ls=[2, 3, 4]
a=5.540000000113623 min=1.3095548623672397 min=4.230445137746383 ls=[2, 3, 4]
a=5.541000000113623 min=1.3094489228520583 min=4.231551077261565 ls=[2, 3, 4]
a=5.542000000113624 min=1.3093430634943273 min=4.232656936619296 ls=[2, 3, 4]
a=5.543000000113624 min=1.309237284194411 min=4.233762715919212 ls=[2, 3, 4]
a=5.544000000113624 min=1.3091315848528533 min=4.234868415260771 ls=[2, 3, 4]
a=5.545000000113625 min=1.3090259653703749 min=4.23597403474325 ls=[2, 3, 4]
a=5.546000000113625 min=1.3089204256478746 min=4.23707957446575 ls=[2, 3, 4]
a=5.547000000113625 min=1.308814965586427 min=4.2381850345271985 ls=[2, 3, 4]
a=5.548000000113626 min=1.3087095850872847 min=4.239290415026341 ls=[2, 3, 4]
a=5.549000000113626 min=1.308604284051875 min=4.240395716061751 ls=[2, 3, 4]
a=5.550000000113626 min=1.3084990623818022 min=4.241500937731824 ls=[2, 3, 4]
a=5.551000000113627 min=1.3083939199788444 min=4.242606080134783 ls=[2, 3, 4]
a=5.552000000113627 min=1.3082888567449553 min=4.243711143368672 ls=[2, 3, 4]
a=5.553000000113627 min=1.3081838725822639 min=4.244816127531363 ls=[2, 3, 4]
a=5.554000000113628 min=1.308078967393071 min=4.245921032720556 ls=[2, 3, 4]
a=5.555000000113628 min=1.3079741410798535 min=4.247025859033775 ls=[2, 3, 4]
a=5.556000000113628 min=1.3078693935452594 min=4.248130606568369 ls=[2, 3, 4]
a=5.557000000113629 min=1.3077647246921114 min=4.249235275421517 ls=[2, 3, 4]
a=5.558000000113629 min=1.307660134423403 min=4.250339865690226 ls=[2, 3, 4]
a=5.559000000113629 min=1.3075556226423 min=4.251444377471329 ls=[2, 3, 4]
a=5.56000000011363 min=1.3074511892521405 min=4.252548810861489 ls=[2, 3, 4]
a=5.56100000011363 min=1.3073468341564332 min=4.253653165957196 ls=[2, 3, 4]
a=5.56200000011363 min=1.3072425572588575 min=4.254757442854773 ls=[2, 3, 4]
a=5.563000000113631 min=1.3071383584632634 min=4.255861641650367 ls=[2, 3, 4]
a=5.564000000113631 min=1.307034237673671 min=4.25696576243996 ls=[2, 3, 4]
a=5.565000000113631 min=1.3069301947942698 min=4.258069805319361 ls=[2, 3, 4]
a=5.566000000113632 min=1.306826229729418 min=4.259173770384214 ls=[2, 3, 4]
a=5.567000000113632 min=1.3067223423836432 min=4.260277657729989 ls=[2, 3, 4]
a=5.568000000113632 min=1.3066185326616413 min=4.261381467451991 ls=[2, 3, 4]
a=5.569000000113633 min=1.306514800468276 min=4.262485199645356 ls=[2, 3, 4]
a=5.570000000113633 min=1.3064111457085785 min=4.263588854405055 ls=[2, 3, 4]
a=5.571000000113633 min=1.3063075682877474 min=4.264692431825885 ls=[2, 3, 4]
a=5.572000000113634 min=1.3062040681111482 min=4.265795932002486 ls=[2, 3, 4]
a=5.573000000113634 min=1.3061006450843125 min=4.266899355029322 ls=[2, 3, 4]
a=5.574000000113634 min=1.305997299112938 min=4.268002701000697 ls=[2, 3, 4]
a=5.575000000113635 min=1.3058940301028885 min=4.269105970010746 ls=[2, 3, 4]
a=5.576000000113635 min=1.3057908379601926 min=4.270209162153442 ls=[2, 3, 4]
a=5.577000000113635 min=1.3056877225910433 min=4.271312277522592 ls=[2, 3, 4]
a=5.578000000113636 min=1.305584683901799 min=4.272415316211837 ls=[2, 3, 4]
a=5.579000000113636 min=1.3054817217989823 min=4.273518278314654 ls=[2, 3, 4]
a=5.580000000113636 min=1.3053788361892782 min=4.274621163924358 ls=[2, 3, 4]
a=5.581000000113637 min=1.3052760269795365 min=4.275723973134101 ls=[2, 3, 4]
a=5.582000000113637 min=1.3051732940767693 min=4.276826706036868 ls=[2, 3, 4]
a=5.583000000113637 min=1.305070637388151 min=4.277929362725486 ls=[2, 3, 4]
a=5.584000000113638 min=1.3049680568210191 min=4.279031943292619 ls=[2, 3, 4]
a=5.585000000113638 min=1.304865552282872 min=4.280134447830766 ls=[2, 3, 4]
a=5.586000000113638 min=1.3047631236813702 min=4.281236876432268 ls=[2, 3, 4]
a=5.587000000113639 min=1.3046607709243347 min=4.282339229189304 ls=[2, 3, 4]
a=5.588000000113639 min=1.3045584939197479 min=4.283441506193891 ls=[2, 3, 4]
a=5.589000000113639 min=1.304456292575752 min=4.284543707537887 ls=[2, 3, 4]
a=5.59000000011364 min=1.3043541668006493 min=4.285645833312991 ls=[2, 3, 4]
a=5.59100000011364 min=1.3042521165029017 min=4.286747883610738 ls=[2, 3, 4]
a=5.59200000011364 min=1.3041501415911307 min=4.2878498585225095 ls=[2, 3, 4]
a=5.593000000113641 min=1.304048241974116 min=4.2889517581395245 ls=[2, 3, 4]
a=5.594000000113641 min=1.3039464175607962 min=4.2900535825528445 ls=[2, 3, 4]
a=5.595000000113641 min=1.3038446682602678 min=4.291155331853373 ls=[2, 3, 4]
a=5.596000000113642 min=1.3037429939817855 min=4.292257006131856 ls=[2, 3, 4]
a=5.597000000113642 min=1.3036413946347614 min=4.293358605478881 ls=[2, 3, 4]
a=5.598000000113642 min=1.3035398701287637 min=4.294460129984879 ls=[2, 3, 4]
a=5.599000000113643 min=1.3034384203735183 min=4.2955615797401245 ls=[2, 3, 4]
a=5.600000000113643 min=1.303337045278907 min=4.296662954834736 ls=[2, 3, 4]
a=5.601000000113643 min=1.3032357447549678 min=4.2977642553586755 ls=[2, 3, 4]
a=5.602000000113644 min=1.3031345187118941 min=4.29886548140175 ls=[2, 3, 4]
a=5.603000000113644 min=1.3030333670600345 min=4.299966633053609 ls=[2, 3, 4]
a=5.604000000113644 min=1.302932289709892 min=4.3010677104037525 ls=[2, 3, 4]
a=5.605000000113645 min=1.302831286572126 min=4.302168713541518 ls=[2, 3, 4]
a=5.606000000113645 min=1.3027303575575475 min=4.3032696425560975 ls=[2, 3, 4]
a=5.607000000113645 min=1.3026295025771237 min=4.304370497536522 ls=[2, 3, 4]
a=5.608000000113646 min=1.3025287215419734 min=4.305471278571672 ls=[2, 3, 4]
a=5.609000000113646 min=1.3024280143633695 min=4.306571985750276 ls=[2, 3, 4]
a=5.610000000113646 min=1.3023273809527378 min=4.3076726191609085 ls=[2, 3, 4]
a=5.611000000113647 min=1.302226821221656 min=4.3087731788919905 ls=[2, 3, 4]
a=5.612000000113647 min=1.302126335081854 min=4.309873665031793 ls=[2, 3, 4]
a=5.613000000113647 min=1.302025922445214 min=4.310974077668433 ls=[2, 3, 4]
a=5.614000000113648 min=1.3019255832237686 min=4.312074416889879 ls=[2, 3, 4]
a=5.615000000113648 min=1.3018253173297023 min=4.313174682783946 ls=[2, 3, 4]
a=5.616000000113648 min=1.3017251246753498 min=4.314274875438299 ls=[2, 3, 4]
a=5.617000000113649 min=1.3016250051731963 min=4.315374994940452 ls=[2, 3, 4]
a=5.618000000113649 min=1.3015249587358775 min=4.316475041377771 ls=[2, 3, 4]
a=5.619000000113649 min=1.3014249852761777 min=4.317575014837471 ls=[2, 3, 4]
a=5.62000000011365 min=1.3013250847070315 min=4.318674915406618 ls=[2, 3, 4]
a=5.62100000011365 min=1.3012252569415221 min=4.319774743172128 ls=[2, 3, 4]
a=5.62200000011365 min=1.3011255018928816 min=4.3208744982207685 ls=[2, 3, 4]
a=5.623000000113651 min=1.3010258194744897 min=4.321974180639161 ls=[2, 3, 4]
a=5.624000000113651 min=1.3009262095998753 min=4.323073790513776 ls=[2, 3, 4]
a=5.625000000113651 min=1.3008266721827133 min=4.324173327930938 ls=[2, 3, 4]
a=5.626000000113652 min=1.300727207136828 min=4.325272792976824 ls=[2, 3, 4]
a=5.627000000113652 min=1.3006278143761891 min=4.326372185737463 ls=[2, 3, 4]
a=5.628000000113652 min=1.3005284938149129 min=4.327471506298739 ls=[2, 3, 4]
a=5.629000000113653 min=1.3004292453672632 min=4.328570754746389 ls=[2, 3, 4]
a=5.630000000113653 min=1.3003300689476491 min=4.329669931166004 ls=[2, 3, 4]
a=5.631000000113653 min=1.300230964470625 min=4.330769035643028 ls=[2, 3, 4]
a=5.632000000113654 min=1.300131931850891 min=4.331868068262763 ls=[2, 3, 4]
a=5.633000000113654 min=1.300032971003293 min=4.332967029110361 ls=[2, 3, 4]
a=5.634000000113654 min=1.2999340818428198 min=4.334065918270834 ls=[2, 3, 4]
a=5.635000000113655 min=1.2998352642846056 min=4.335164735829049 ls=[2, 3, 4]
a=5.636000000113655 min=1.299736518243929 min=4.336263481869726 ls=[2, 3, 4]
a=5.637000000113655 min=1.2996378436362122 min=4.337362156477443 ls=[2, 3, 4]
a=5.638000000113656 min=1.2995392403770196 min=4.338460759736636 ls=[2, 3, 4]
a=5.639000000113656 min=1.29944070838206 min=4.339559291731596 ls=[2, 3, 4]
a=5.640000000113656 min=1.2993422475671845 min=4.340657752546472 ls=[2, 3, 4]
a=5.641000000113657 min=1.2992438578483863 min=4.34175614226527 ls=[2, 3, 4]
a=5.642000000113657 min=1.2991455391418008 min=4.342854460971856 ls=[2, 3, 4]
a=5.643000000113657 min=1.299047291363706 min=4.343952708749951 ls=[2, 3, 4]
a=5.644000000113658 min=1.2989491144305196 min=4.345050885683138 ls=[2, 3, 4]
a=5.645000000113658 min=1.298851008258803 min=4.3461489918548555 ls=[2, 3, 4]
a=5.646000000113658 min=1.2987529727652556 min=4.347247027348403 ls=[2, 3, 4]
a=5.647000000113659 min=1.2986550078667192 min=4.34834499224694 ls=[2, 3, 4]
a=5.648000000113659 min=1.2985571134801754 min=4.349442886633484 ls=[2, 3, 4]
a=5.649000000113659 min=1.2984592895227458 min=4.350540710590914 ls=[2, 3, 4]
a=5.65000000011366 min=1.2983615359116907 min=4.351638464201969 ls=[2, 3, 4]
a=5.65100000011366 min=1.2982638525644108 min=4.352736147549249 ls=[2, 3, 4]
a=5.65200000011366 min=1.2981662393984452 min=4.353833760715215 ls=[2, 3, 4]
a=5.653000000113661 min=1.2980686963314714 min=4.354931303782189 ls=[2, 3, 4]
a=5.654000000113661 min=1.2979712232813054 min=4.356028776832355 ls=[2, 3, 4]
a=5.655000000113661 min=1.2978738201659017 min=4.35712617994776 ls=[2, 3, 4]
a=5.656000000113662 min=1.2977764869033526 min=4.358223513210309 ls=[2, 3, 4]
a=5.657000000113662 min=1.2976792234118868 min=4.359320776701775 ls=[2, 3, 4]
a=5.658000000113662 min=1.2975820296098706 min=4.360417970503792 ls=[2, 3, 4]
a=5.659000000113663 min=1.2974849054158075 min=4.361515094697856 ls=[2, 3, 4]
a=5.660000000113663 min=1.2973878507483367 min=4.362612149365326 ls=[2, 3, 4]
a=5.661000000113663 min=1.2972908655262352 min=4.363709134587428 ls=[2, 3, 4]
a=5.662000000113664 min=1.2971939496684137 min=4.3648060504452495 ls=[2, 3, 4]
a=5.663000000113664 min=1.2970971030939207 min=4.365902897019743 ls=[2, 3, 4]
a=5.664000000113664 min=1.2970003257219371 min=4.366999674391727 ls=[2, 3, 4]
a=5.665000000113665 min=1.2969036174717825 min=4.368096382641882 ls=[2, 3, 4]
a=5.666000000113665 min=1.2968069782629081 min=4.369193021850757 ls=[2, 3, 4]
a=5.667000000113665 min=1.2967104080149015 min=4.370289592098764 ls=[2, 3, 4]
a=5.668000000113666 min=1.2966139066474829 min=4.371386093466183 ls=[2, 3, 4]
a=5.669000000113666 min=1.296517474080507 min=4.372482526033159 ls=[2, 3, 4]
a=5.670000000113666 min=1.296421110233962 min=4.373578889879704 ls=[2, 3, 4]
a=5.671000000113667 min=1.29632481502797 min=4.374675185085697 ls=[2, 3, 4]
a=5.672000000113667 min=1.2962285883827849 min=4.375771411730883 ls=[2, 3, 4]
a=5.673000000113667 min=1.296132430218793 min=4.376867569894874 ls=[2, 3, 4]
a=5.674000000113668 min=1.296036340456515 min=4.377963659657153 ls=[2, 3, 4]
a=5.675000000113668 min=1.2959403190166012 min=4.379059681097067 ls=[2, 3, 4]
a=5.676000000113668 min=1.2958443658198346 min=4.380155634293834 ls=[2, 3, 4]
a=5.677000000113669 min=1.2957484807871302 min=4.381251519326538 ls=[2, 3, 4]
a=5.678000000113669 min=1.295652663839534 min=4.382347336274135 ls=[2, 3, 4]
a=5.679000000113669 min=1.295556914898222 min=4.383443085215447 ls=[2, 3, 4]
a=5.68000000011367 min=1.2954612338845017 min=4.384538766229168 ls=[2, 3, 4]
a=5.68100000011367 min=1.2953656207198112 min=4.385634379393859 ls=[2, 3, 4]
a=5.68200000011367 min=1.2952700753257174 min=4.386729924787953 ls=[2, 3, 4]
a=5.683000000113671 min=1.2951745976239177 min=4.387825402489753 ls=[2, 3, 4]
a=5.684000000113671 min=1.2950791875362389 min=4.388920812577432 ls=[2, 3, 4]
a=5.685000000113671 min=1.2949838449846374 min=4.390016155129034 ls=[2, 3, 4]
a=5.686000000113672 min=1.2948885698911978 min=4.391111430222474 ls=[2, 3, 4]
a=5.687000000113672 min=1.2947933621781338 min=4.392206637935538 ls=[2, 3, 4]
a=5.688000000113672 min=1.2946982217677863 min=4.3933017783458865 ls=[2, 3, 4]
a=5.689000000113673 min=1.2946031485826264 min=4.394396851531046 ls=[2, 3, 4]
a=5.690000000113673 min=1.294508142545251 min=4.395491857568422 ls=[2, 3, 4]
a=5.691000000113673 min=1.2944132035783857 min=4.396586796535288 ls=[2, 3, 4]
a=5.692000000113674 min=1.2943183316048825 min=4.397681668508791 ls=[2, 3, 4]
a=5.693000000113674 min=1.2942235265477207 min=4.398776473565953 ls=[2, 3, 4]
a=5.694000000113674 min=1.294128788330006 min=4.399871211783668 ls=[2, 3, 4]
a=5.695000000113675 min=1.2940341168749718 min=4.400965883238703 ls=[2, 3, 4]
a=5.696000000113675 min=1.2939395121059751 min=4.4020604880077 ls=[2, 3, 4]
a=5.697000000113675 min=1.293844973946502 min=4.403155026167173 ls=[2, 3, 4]
a=5.698000000113676 min=1.2937505023201605 min=4.404249497793515 ls=[2, 3, 4]
a=5.699000000113676 min=1.2936560971506872 min=4.405343902962989 ls=[2, 3, 4]
a=5.700000000113676 min=1.2935617583619416 min=4.406438241751735 ls=[2, 3, 4]
a=5.701000000113677 min=1.2934674858779085 min=4.407532514235768 ls=[2, 3, 4]
a=5.702000000113677 min=1.293373279622698 min=4.408626720490979 ls=[2, 3, 4]
a=5.703000000113677 min=1.293279139520543 min=4.409720860593135 ls=[2, 3, 4]
a=5.704000000113678 min=1.2931850654958013 min=4.410814934617877 ls=[2, 3, 4]
a=5.705000000113678 min=1.2930910574729546 min=4.411908942640723 ls=[2, 3, 4]
a=5.706000000113678 min=1.292997115376607 min=4.413002884737072 ls=[2, 3, 4]
a=5.707000000113679 min=1.2929032391314865 min=4.414096760982192 ls=[2, 3, 4]
a=5.708000000113679 min=1.2928094286624434 min=4.415190571451236 ls=[2, 3, 4]
a=5.709000000113679 min=1.2927156838944516 min=4.416284316219228 ls=[2, 3, 4]
a=5.71000000011368 min=1.2926220047526062 min=4.417377995361074 ls=[2, 3, 4]
a=5.71100000011368 min=1.2925283911621253 min=4.418471608951554 ls=[2, 3, 4]
a=5.71200000011368 min=1.2924348430483483 min=4.419565157065332 ls=[2, 3, 4]
a=5.713000000113681 min=1.2923413603367353 min=4.420658639776946 ls=[2, 3, 4]
a=5.714000000113681 min=1.2922479429528708 min=4.42175205716081 ls=[2, 3, 4]
a=5.715000000113681 min=1.292154590822456 min=4.4228454092912255 ls=[2, 3, 4]
a=5.716000000113682 min=1.2920613038713165 min=4.423938696242365 ls=[2, 3, 4]
a=5.717000000113682 min=1.291968082025396 min=4.425031918088286 ls=[2, 3, 4]
a=5.718000000113682 min=1.29187492521076 min=4.426125074902922 ls=[2, 3, 4]
a=5.719000000113683 min=1.2917818333535935 min=4.427218166760089 ls=[2, 3, 4]
a=5.720000000113683 min=1.2916888063802003 min=4.4283111937334825 ls=[2, 3, 4]
a=5.721000000113683 min=1.2915958442170061 min=4.429404155896677 ls=[2, 3, 4]
a=5.722000000113684 min=1.2915029467905526 min=4.430497053323132 ls=[2, 3, 4]
a=5.723000000113684 min=1.2914101140275032 min=4.431589886086181 ls=[2, 3, 4]
a=5.724000000113684 min=1.2913173458546383 min=4.432682654259046 ls=[2, 3, 4]
a=5.725000000113685 min=1.2912246421988576 min=4.433775357914827 ls=[2, 3, 4]
a=5.726000000113685 min=1.2911320029871793 min=4.4348679971265055 ls=[2, 3, 4]
a=5.727000000113685 min=1.2910394281467386 min=4.435960571966946 ls=[2, 3, 4]
a=5.728000000113686 min=1.2909469176047885 min=4.437053082508897 ls=[2, 3, 4]
a=5.729000000113686 min=1.2908544712887 min=4.438145528824986 ls=[2, 3, 4]
a=5.730000000113686 min=1.290762089125962 min=4.439237910987725 ls=[2, 3, 4]
a=5.731000000113687 min=1.2906697710441783 min=4.440330229069509 ls=[2, 3, 4]
a=5.732000000113687 min=1.2905775169710711 min=4.441422483142616 ls=[2, 3, 4]
a=5.733000000113687 min=1.2904853268344787 min=4.4425146732792085 ls=[2, 3, 4]
a=5.734000000113688 min=1.290393200562355 min=4.443606799551333 ls=[2, 3, 4]
a=5.735000000113688 min=1.2903011380827705 min=4.444698862030918 ls=[2, 3, 4]
a=5.736000000113688 min=1.2902091393239112 min=4.445790860789777 ls=[2, 3, 4]
a=5.737000000113689 min=1.2901172042140778 min=4.446882795899611 ls=[2, 3, 4]
a=5.738000000113689 min=1.2900253326816886 min=4.447974667432001 ls=[2, 3, 4]
a=5.739000000113689 min=1.2899335246552737 min=4.449066475458416 ls=[2, 3, 4]
a=5.74000000011369 min=1.28984178006348 min=4.450158220050209 ls=[2, 3, 4]
a=5.74100000011369 min=1.2897500988350679 min=4.451249901278622 ls=[2, 3, 4]
a=5.74200000011369 min=1.2896584808989138 min=4.452341519214777 ls=[2, 3, 4]
a=5.743000000113691 min=1.2895669261840053 min=4.453433073929686 ls=[2, 3, 4]
a=5.744000000113691 min=1.2894754346194461 min=4.4545245654942445 ls=[2, 3, 4]
a=5.745000000113691 min=1.2893840061344524 min=4.455615993979239 ls=[2, 3, 4]
a=5.746000000113692 min=1.289292640658354 min=4.456707359455338 ls=[2, 3, 4]
a=5.747000000113692 min=1.289201338120593 min=4.457798661993099 ls=[2, 3, 4]
a=5.748000000113692 min=1.2891100984507253 min=4.4588899016629675 ls=[2, 3, 4]
a=5.749000000113693 min=1.289018921578419 min=4.459981078535273 ls=[2, 3, 4]
a=5.750000000113693 min=1.2889278074334545 min=4.461072192680239 ls=[2, 3, 4]
a=5.751000000113693 min=1.288836755945724 min=4.46216324416797 ls=[2, 3, 4]
a=5.752000000113694 min=1.2887457670452322 min=4.4632542330684615 ls=[2, 3, 4]
a=5.753000000113694 min=1.2886548406620943 min=4.4643451594516 ls=[2, 3, 4]
a=5.754000000113694 min=1.2885639767265387 min=4.465436023387156 ls=[2, 3, 4]
a=5.755000000113695 min=1.288473175168903 min=4.466526824944792 ls=[2, 3, 4]
a=5.756000000113695 min=1.2883824359196367 min=4.467617564194058 ls=[2, 3, 4]
a=5.757000000113695 min=1.2882917589093001 min=4.4687082412043955 ls=[2, 3, 4]
a=5.758000000113696 min=1.2882011440685637 min=4.4697988560451325 ls=[2, 3, 4]
a=5.759000000113696 min=1.2881105913282078 min=4.470889408785489 ls=[2, 3, 4]
a=5.760000000113696 min=1.288020100619123 min=4.471979899494573 ls=[2, 3, 4]
a=5.761000000113697 min=1.2879296718723106 min=4.473070328241386 ls=[2, 3, 4]
a=5.762000000113697 min=1.2878393050188797 min=4.474160695094818 ls=[2, 3, 4]
a=5.763000000113697 min=1.2877489999900495 min=4.475251000123648 ls=[2, 3, 4]
a=5.764000000113698 min=1.2876587567171494 min=4.476341243396549 ls=[2, 3, 4]
a=5.765000000113698 min=1.2875685751316155 min=4.477431424982083 ls=[2, 3, 4]
a=5.766000000113698 min=1.2874784551649936 min=4.478521544948705 ls=[2, 3, 4]
a=5.767000000113699 min=1.2873883967489377 min=4.479611603364761 ls=[2, 3, 4]
a=5.768000000113699 min=1.287298399815211 min=4.480701600298488 ls=[2, 3, 4]
a=5.769000000113699 min=1.287208464295683 min=4.481791535818017 ls=[2, 3, 4]
a=5.7700000001137 min=1.2871185901223314 min=4.482881409991368 ls=[2, 3, 4]
a=5.7710000001137 min=1.2870287772272422 min=4.483971222886458 ls=[2, 3, 4]
a=5.7720000001137 min=1.2869390255426076 min=4.485060974571093 ls=[2, 3, 4]
a=5.773000000113701 min=1.2868493350007273 min=4.486150665112973 ls=[2, 3, 4]
a=5.774000000113701 min=1.286759705534008 min=4.487240294579693 ls=[2, 3, 4]
a=5.775000000113701 min=1.286670137074962 min=4.488329863038739 ls=[2, 3, 4]
a=5.776000000113702 min=1.2865806295562103 min=4.489419370557491 ls=[2, 3, 4]
a=5.777000000113702 min=1.2864911829104766 min=4.490508817203225 ls=[2, 3, 4]
a=5.778000000113702 min=1.2864017970705928 min=4.491598203043109 ls=[2, 3, 4]
a=5.779000000113703 min=1.286312471969497 min=4.492687528144206 ls=[2, 3, 4]
a=5.780000000113703 min=1.2862232075402313 min=4.493776792573472 ls=[2, 3, 4]
a=5.781000000113703 min=1.286134003715943 min=4.494865996397761 ls=[2, 3, 4]
a=5.782000000113704 min=1.286044860429886 min=4.495955139683818 ls=[2, 3, 4]
a=5.783000000113704 min=1.2859557776154174 min=4.497044222498287 ls=[2, 3, 4]
a=5.784000000113704 min=1.2858667552059995 min=4.498133244907705 ls=[2, 3, 4]
a=5.785000000113705 min=1.2857777931351997 min=4.499222206978505 ls=[2, 3, 4]
a=5.786000000113705 min=1.2856888913366882 min=4.500311108777017 ls=[2, 3, 4]
a=5.787000000113705 min=1.2856000497442401 min=4.501399950369465 ls=[2, 3, 4]
a=5.788000000113706 min=1.2855112682917347 min=4.5024887318219715 ls=[2, 3, 4]
a=5.789000000113706 min=1.2854225469131533 min=4.503577453200553 ls=[2, 3, 4]
a=5.790000000113706 min=1.2853338855425813 min=4.504666114571125 ls=[2, 3, 4]
a=5.791000000113707 min=1.2852452841142075 min=4.505754715999499 ls=[2, 3, 4]
a=5.792000000113707 min=1.2851567425623236 min=4.506843257551384 ls=[2, 3, 4]
a=5.793000000113707 min=1.2850682608213235 min=4.507931739292384 ls=[2, 3, 4]
a=5.794000000113708 min=1.2849798388257037 min=4.509020161288004 ls=[2, 3, 4]
a=5.795000000113708 min=1.2848914765100634 min=4.510108523603645 ls=[2, 3, 4]
a=5.796000000113708 min=1.2848031738091024 min=4.511196826304606 ls=[2, 3, 4]
a=5.797000000113709 min=1.284714930657625 min=4.512285069456084 ls=[2, 3, 4]
a=5.798000000113709 min=1.2846267469905341 min=4.513373253123175 ls=[2, 3, 4]
a=5.799000000113709 min=1.2845386227428366 min=4.514461377370873 ls=[2, 3, 4]
a=5.80000000011371 min=1.2844505578496386 min=4.515549442264071 ls=[2, 3, 4]
a=5.80100000011371 min=1.284362552246148 min=4.516637447867562 ls=[2, 3, 4]
a=5.80200000011371 min=1.2842746058676742 min=4.517725394246036 ls=[2, 3, 4]
a=5.803000000113711 min=1.2841867186496254 min=4.518813281464086 ls=[2, 3, 4]
a=5.804000000113711 min=1.284098890527513 min=4.519901109586198 ls=[2, 3, 4]
a=5.805000000113711 min=1.284011121436945 min=4.520988878676766 ls=[2, 3, 4]
a=5.806000000113712 min=1.2839234113136324 min=4.522076588800079 ls=[2, 3, 4]
a=5.807000000113712 min=1.2838357600933843 min=4.523164240020328 ls=[2, 3, 4]
a=5.808000000113712 min=1.2837481677121096 min=4.524251832401603 ls=[2, 3, 4]
a=5.809000000113713 min=1.2836606341058177 min=4.525339366007895 ls=[2, 3, 4]
a=5.810000000113713 min=1.2835731592106152 min=4.526426840903098 ls=[2, 3, 4]
a=5.811000000113713 min=1.283485742962709 min=4.5275142571510045 ls=[2, 3, 4]
a=5.812000000113714 min=1.2833983852984039 min=4.52860161481531 ls=[2, 3, 4]
a=5.813000000113714 min=1.283311086154105 min=4.529688913959609 ls=[2, 3, 4]
a=5.814000000113714 min=1.2832238454663134 min=4.530776154647401 ls=[2, 3, 4]
a=5.815000000113715 min=1.2831366631716297 min=4.531863336942085 ls=[2, 3, 4]
a=5.816000000113715 min=1.2830495392067527 min=4.532950460906962 ls=[2, 3, 4]
a=5.817000000113715 min=1.2829624735084775 min=4.534037526605238 ls=[2, 3, 4]
a=5.818000000113716 min=1.282875466013698 min=4.535124534100017 ls=[2, 3, 4]
a=5.819000000113716 min=1.2827885166594055 min=4.536211483454311 ls=[2, 3, 4]
a=5.820000000113716 min=1.282701625382687 min=4.537298374731029 ls=[2, 3, 4]
a=5.821000000113717 min=1.2826147921207285 min=4.538385207992988 ls=[2, 3, 4]
a=5.822000000113717 min=1.2825280168108117 min=4.539471983302906 ls=[2, 3, 4]
a=5.823000000113717 min=1.2824412993903138 min=4.540558700723404 ls=[2, 3, 4]
a=5.824000000113718 min=1.2823546397967105 min=4.541645360317007 ls=[2, 3, 4]
a=5.825000000113718 min=1.2822680379675724 min=4.542731962146146 ls=[2, 3, 4]
a=5.826000000113718 min=1.2821814938405656 min=4.543818506273153 ls=[2, 3, 4]
a=5.827000000113719 min=1.2820950073534532 min=4.544904992760266 ls=[2, 3, 4]
a=5.828000000113719 min=1.282008578444093 min=4.545991421669626 ls=[2, 3, 4]
a=5.829000000113719 min=1.2819222070504386 min=4.547077793063281 ls=[2, 3, 4]
a=5.83000000011372 min=1.2818358931105391 min=4.54816410700318 ls=[2, 3, 4]
a=5.83100000011372 min=1.2817496365625376 min=4.549250363551183 ls=[2, 3, 4]
a=5.83200000011372 min=1.2816634373446725 min=4.550336562769048 ls=[2, 3, 4]
a=5.833000000113721 min=1.2815772953952775 min=4.551422704718443 ls=[2, 3, 4]
a=5.834000000113721 min=1.2814912106527794 min=4.5525087894609415 ls=[2, 3, 4]
a=5.835000000113721 min=1.2814051830557003 min=4.553594817058022 ls=[2, 3, 4]
a=5.836000000113722 min=1.2813192125426558 min=4.5546807875710655 ls=[2, 3, 4]
a=5.837000000113722 min=1.2812332990523558 min=4.5557667010613665 ls=[2, 3, 4]
a=5.838000000113722 min=1.2811474425236036 min=4.556852557590119 ls=[2, 3, 4]
a=5.839000000113723 min=1.2810616428952954 min=4.557938357218427 ls=[2, 3, 4]
a=5.840000000113723 min=1.2809759001064223 min=4.559024100007301 ls=[2, 3, 4]
a=5.8410000001137234 min=1.2808902140960663 min=4.560109786017657 ls=[2, 3, 4]
a=5.842000000113724 min=1.280804584803404 min=4.56119541531032 ls=[2, 3, 4]
a=5.843000000113724 min=1.2807190121677041 min=4.5622809879460196 ls=[2, 3, 4]
a=5.8440000001137244 min=1.2806334961283283 min=4.563366503985396 ls=[2, 3, 4]
a=5.845000000113725 min=1.2805480366247297 min=4.564451963488995 ls=[2, 3, 4]
a=5.846000000113725 min=1.2804626335964542 min=4.565537366517271 ls=[2, 3, 4]
a=5.8470000001137254 min=1.2803772869831402 min=4.566622713130585 ls=[2, 3, 4]
a=5.848000000113726 min=1.2802919967245168 min=4.567708003389209 ls=[2, 3, 4]
a=5.849000000113726 min=1.2802067627604052 min=4.56879323735332 ls=[2, 3, 4]
a=5.8500000001137265 min=1.280121585030718 min=4.569878415083009 ls=[2, 3, 4]
a=5.851000000113727 min=1.2800364634754595 min=4.570963536638267 ls=[2, 3, 4]
a=5.852000000113727 min=1.2799513980347244 min=4.572048602079002 ls=[2, 3, 4]
a=5.8530000001137275 min=1.2798663886486985 min=4.573133611465029 ls=[2, 3, 4]
a=5.854000000113728 min=1.2797814352576586 min=4.57421856485607 ls=[2, 3, 4]
a=5.855000000113728 min=1.2796965378019716 min=4.575303462311757 ls=[2, 3, 4]
a=5.8560000001137285 min=1.2796116962220947 min=4.576388303891633 ls=[2, 3, 4]
a=5.857000000113729 min=1.2795269104585758 min=4.577473089655153 ls=[2, 3, 4]
a=5.858000000113729 min=1.2794421804520517 min=4.578557819661677 ls=[2, 3, 4]
a=5.8590000001137295 min=1.2793575061432507 min=4.5796424939704785 ls=[2, 3, 4]
a=5.86000000011373 min=1.2792728874729895 min=4.580727112640741 ls=[2, 3, 4]
a=5.86100000011373 min=1.2791883243821738 min=4.581811675731556 ls=[2, 3, 4]
a=5.8620000001137305 min=1.2791038168118 min=4.58289618330193 ls=[2, 3, 4]
a=5.863000000113731 min=1.2790193647029529 min=4.583980635410778 ls=[2, 3, 4]
a=5.864000000113731 min=1.2789349679968052 min=4.585065032116926 ls=[2, 3, 4]
a=5.8650000001137315 min=1.27885062663462 min=4.5861493734791114 ls=[2, 3, 4]
a=5.866000000113732 min=1.278766340557748 min=4.5872336595559835 ls=[2, 3, 4]
a=5.867000000113732 min=1.2786821097076284 min=4.5883178904061035 ls=[2, 3, 4]
a=5.8680000001137325 min=1.2785979340257891 min=4.589402066087944 ls=[2, 3, 4]
a=5.869000000113733 min=1.2785138134538452 min=4.590486186659888 ls=[2, 3, 4]
a=5.870000000113733 min=1.2784297479335 min=4.591570252180233 ls=[2, 3, 4]
a=5.8710000001137335 min=1.2783457374065452 min=4.592654262707188 ls=[2, 3, 4]
a=5.872000000113734 min=1.2782617818148583 min=4.593738218298876 ls=[2, 3, 4]
a=5.873000000113734 min=1.2781778811004065 min=4.594822119013328 ls=[2, 3, 4]
a=5.8740000001137345 min=1.2780940352052415 min=4.595905964908493 ls=[2, 3, 4]
a=5.875000000113735 min=1.2780102440715042 min=4.59698975604223 ls=[2, 3, 4]
a=5.876000000113735 min=1.2779265076414208 min=4.598073492472315 ls=[2, 3, 4]
a=5.8770000001137355 min=1.2778428258573051 min=4.599157174256431 ls=[2, 3, 4]
a=5.878000000113736 min=1.277759198661557 min=4.600240801452179 ls=[2, 3, 4]
a=5.879000000113736 min=1.277675625996663 min=4.601324374117073 ls=[2, 3, 4]
a=5.8800000001137365 min=1.2775921078051953 min=4.602407892308541 ls=[2, 3, 4]
a=5.881000000113737 min=1.2775086440298125 min=4.603491356083924 ls=[2, 3, 4]
a=5.882000000113737 min=1.2774252346132582 min=4.6045747655004785 ls=[2, 3, 4]
a=5.8830000001137375 min=1.2773418794983622 min=4.6056581206153755 ls=[2, 3, 4]
a=5.884000000113738 min=1.2772585786280397 min=4.606741421485698 ls=[2, 3, 4]
a=5.885000000113738 min=1.2771753319452912 min=4.607824668168447 ls=[2, 3, 4]
a=5.8860000001137385 min=1.2770921393932027 min=4.608907860720536 ls=[2, 3, 4]
a=5.887000000113739 min=1.2770090009149442 min=4.609990999198795 ls=[2, 3, 4]
a=5.888000000113739 min=1.2769259164537716 min=4.611074083659967 ls=[2, 3, 4]
a=5.8890000001137395 min=1.2768428859530243 min=4.612157114160715 ls=[2, 3, 4]
a=5.89000000011374 min=1.2767599093561268 min=4.613240090757613 ls=[2, 3, 4]
a=5.89100000011374 min=1.2766769866065877 min=4.6143230135071525 ls=[2, 3, 4]
a=5.8920000001137405 min=1.2765941176480002 min=4.6154058824657405 ls=[2, 3, 4]
a=5.893000000113741 min=1.27651130242404 min=4.616488697689701 ls=[2, 3, 4]
a=5.894000000113741 min=1.276428540878469 min=4.617571459235272 ls=[2, 3, 4]
a=5.8950000001137415 min=1.2763458329551303 min=4.618654167158612 ls=[2, 3, 4]
a=5.896000000113742 min=1.2762631785979521 min=4.61973682151579 ls=[2, 3, 4]
a=5.897000000113742 min=1.276180577750945 min=4.620819422362797 ls=[2, 3, 4]
a=5.8980000001137425 min=1.2760980303582028 min=4.621901969755539 ls=[2, 3, 4]
a=5.899000000113743 min=1.2760155363639032 min=4.622984463749839 ls=[2, 3, 4]
a=5.900000000113743 min=1.2759330957123054 min=4.624066904401438 ls=[2, 3, 4]
a=5.9010000001137435 min=1.275850708347752 min=4.625149291765991 ls=[2, 3, 4]
a=5.902000000113744 min=1.2757683742146682 min=4.626231625899075 ls=[2, 3, 4]
a=5.903000000113744 min=1.2756860932575604 min=4.627313906856184 ls=[2, 3, 4]
a=5.9040000001137445 min=1.275603865421019 min=4.628396134692726 ls=[2, 3, 4]
a=5.905000000113745 min=1.2755216906497155 min=4.629478309464029 ls=[2, 3, 4]
a=5.906000000113745 min=1.275439568888402 min=4.630560431225343 ls=[2, 3, 4]
a=5.9070000001137455 min=1.2753575000819146 min=4.63164250003183 ls=[2, 3, 4]
a=5.908000000113746 min=1.27527548417517 min=4.632724515938576 ls=[2, 3, 4]
a=5.909000000113746 min=1.2751935211131644 min=4.633806479000581 ls=[2, 3, 4]
a=5.9100000001137465 min=1.2751116108409783 min=4.634888389272768 ls=[2, 3, 4]
a=5.911000000113747 min=1.2750297533037713 min=4.6359702468099755 ls=[2, 3, 4]
a=5.912000000113747 min=1.2749479484467843 min=4.637052051666963 ls=[2, 3, 4]
a=5.9130000001137475 min=1.2748661962153398 min=4.638133803898407 ls=[2, 3, 4]
a=5.914000000113748 min=1.2747844965548392 min=4.639215503558908 ls=[2, 3, 4]
a=5.915000000113748 min=1.2747028494107653 min=4.640297150702983 ls=[2, 3, 4]
a=5.9160000001137485 min=1.274621254728682 min=4.641378745385067 ls=[2, 3, 4]
a=5.917000000113749 min=1.2745397124542313 min=4.642460287659517 ls=[2, 3, 4]
a=5.918000000113749 min=1.274458222533137 min=4.643541777580612 ls=[2, 3, 4]
a=5.9190000001137495 min=1.274376784911201 min=4.644623215202548 ls=[2, 3, 4]
a=5.92000000011375 min=1.2742953995343074 min=4.6457046005794425 ls=[2, 3, 4]
a=5.92100000011375 min=1.274214066348417 min=4.646785933765333 ls=[2, 3, 4]
a=5.9220000001137505 min=1.2741327852995712 min=4.6478672148141795 ls=[2, 3, 4]
a=5.923000000113751 min=1.2740515563338912 min=4.64894844377986 ls=[2, 3, 4]
a=5.924000000113751 min=1.273970379397576 min=4.650029620716175 ls=[2, 3, 4]
a=5.9250000001137515 min=1.273889254436904 min=4.6511107456768475 ls=[2, 3, 4]
a=5.926000000113752 min=1.2738081813982325 min=4.65219181871552 ls=[2, 3, 4]
a=5.927000000113752 min=1.2737271602279978 min=4.653272839885754 ls=[2, 3, 4]
a=5.9280000001137525 min=1.2736461908727132 min=4.654353809241039 ls=[2, 3, 4]
a=5.929000000113753 min=1.2735652732789715 min=4.655434726834781 ls=[2, 3, 4]
a=5.930000000113753 min=1.2734844073934437 min=4.656515592720309 ls=[2, 3, 4]
a=5.9310000001137535 min=1.2734035931628778 min=4.6575964069508755 ls=[2, 3, 4]
a=5.932000000113754 min=1.2733228305341 min=4.658677169579654 ls=[2, 3, 4]
a=5.933000000113754 min=1.2732421194540144 min=4.65975788065974 ls=[2, 3, 4]
a=5.9340000001137545 min=1.2731614598696033 min=4.660838540244152 ls=[2, 3, 4]
a=5.935000000113755 min=1.2730808517279248 min=4.66191914838583 ls=[2, 3, 4]
a=5.936000000113755 min=1.2730002949761154 min=4.66299970513764 ls=[2, 3, 4]
a=5.9370000001137555 min=1.2729197895613886 min=4.664080210552367 ls=[2, 3, 4]
a=5.938000000113756 min=1.272839335431034 min=4.6651606646827215 ls=[2, 3, 4]
a=5.939000000113756 min=1.2727589325324185 min=4.666241067581337 ls=[2, 3, 4]
a=5.9400000001137565 min=1.272678580812986 min=4.66732141930077 ls=[2, 3, 4]
a=5.941000000113757 min=1.2725982802202567 min=4.668401719893501 ls=[2, 3, 4]
a=5.942000000113757 min=1.2725180307018265 min=4.6694819694119305 ls=[2, 3, 4]
a=5.9430000001137575 min=1.2724378322053689 min=4.670562167908389 ls=[2, 3, 4]
a=5.944000000113758 min=1.272357684678631 min=4.671642315435127 ls=[2, 3, 4]
a=5.945000000113758 min=1.272277588069439 min=4.672722412044319 ls=[2, 3, 4]
a=5.9460000001137585 min=1.2721975423256922 min=4.673802457788066 ls=[2, 3, 4]
a=5.947000000113759 min=1.2721175473953672 min=4.674882452718392 ls=[2, 3, 4]
a=5.948000000113759 min=1.2720376032265148 min=4.675962396887244 ls=[2, 3, 4]
a=5.9490000001137595 min=1.2719577097672619 min=4.677042290346497 ls=[2, 3, 4]
a=5.95000000011376 min=1.27187786696581 min=4.67812213314795 ls=[2, 3, 4]
a=5.95100000011376 min=1.271798074770437 min=4.679201925343323 ls=[2, 3, 4]
a=5.9520000001137605 min=1.271718333129494 min=4.680281666984267 ls=[2, 3, 4]
a=5.953000000113761 min=1.2716386419914076 min=4.681361358122353 ls=[2, 3, 4]
a=5.954000000113761 min=1.2715590013046796 min=4.682440998809081 ls=[2, 3, 4]
a=5.9550000001137615 min=1.2714794110178844 min=4.6835205890958775 ls=[2, 3, 4]
a=5.956000000113762 min=1.2713998710796737 min=4.684600129034088 ls=[2, 3, 4]
a=5.957000000113762 min=1.2713203814387704 min=4.685679618674992 ls=[2, 3, 4]
a=5.9580000001137625 min=1.2712409420439732 min=4.686759058069789 ls=[2, 3, 4]
a=5.959000000113763 min=1.271161552844154 min=4.687838447269609 ls=[2, 3, 4]
a=5.960000000113763 min=1.2710822137882587 min=4.688917786325504 ls=[2, 3, 4]
a=5.9610000001137635 min=1.2710029248253067 min=4.689997075288456 ls=[2, 3, 4]
a=5.962000000113764 min=1.2709236859043918 min=4.691076314209372 ls=[2, 3, 4]
a=5.963000000113764 min=1.2708444969746793 min=4.692155503139085 ls=[2, 3, 4]
a=5.9640000001137645 min=1.2707653579854097 min=4.693234642128354 ls=[2, 3, 4]
a=5.965000000113765 min=1.2706862688858944 min=4.69431373122787 ls=[2, 3, 4]
a=5.966000000113765 min=1.27060722962552 min=4.695392770488246 ls=[2, 3, 4]
a=5.9670000001137655 min=1.2705282401537448 min=4.696471759960021 ls=[2, 3, 4]
a=5.968000000113766 min=1.270449300420099 min=4.697550699693667 ls=[2, 3, 4]
a=5.969000000113766 min=1.2703704103741866 min=4.698629589739579 ls=[2, 3, 4]
a=5.9700000001137665 min=1.2702915699656834 min=4.699708430148084 ls=[2, 3, 4]
a=5.971000000113767 min=1.2702127791443378 min=4.7007872209694295 ls=[2, 3, 4]
a=5.972000000113767 min=1.2701340378599697 min=4.701865962253797 ls=[2, 3, 4]
a=5.9730000001137675 min=1.2700553460624713 min=4.702944654051296 ls=[2, 3, 4]
a=5.974000000113768 min=1.2699767037018064 min=4.704023296411961 ls=[2, 3, 4]
a=5.975000000113768 min=1.2698981107280107 min=4.705101889385757 ls=[2, 3, 4]
a=5.9760000001137685 min=1.2698195670911923 min=4.706180433022576 ls=[2, 3, 4]
a=5.977000000113769 min=1.2697410727415297 min=4.707258927372239 ls=[2, 3, 4]
a=5.978000000113769 min=1.269662627629272 min=4.708337372484497 ls=[2, 3, 4]
a=5.9790000001137695 min=1.2695842317047412 min=4.709415768409029 ls=[2, 3, 4]
a=5.98000000011377 min=1.2695058849183292 min=4.7104941151954405 ls=[2, 3, 4]
a=5.98100000011377 min=1.269427587220499 min=4.711572412893271 ls=[2, 3, 4]
a=5.9820000001137705 min=1.269349338561785 min=4.712650661551986 ls=[2, 3, 4]
a=5.983000000113771 min=1.2692711388927909 min=4.7137288612209804 ls=[2, 3, 4]
a=5.984000000113771 min=1.269192988164192 min=4.7148070119495795 ls=[2, 3, 4]
a=5.9850000001137715 min=1.2691148863267334 min=4.715885113787039 ls=[2, 3, 4]
a=5.986000000113772 min=1.2690368333312312 min=4.7169631667825405 ls=[2, 3, 4]
a=5.987000000113772 min=1.2689588291285707 min=4.7180411709852015 ls=[2, 3, 4]
a=5.9880000001137725 min=1.268880873669708 min=4.719119126444065 ls=[2, 3, 4]
a=5.989000000113773 min=1.268802966905667 min=4.720197033208105 ls=[2, 3, 4]
a=5.990000000113773 min=1.2687251087875449 min=4.721274891326228 ls=[2, 3, 4]
a=5.9910000001137735 min=1.268647299266505 min=4.722352700847269 ls=[2, 3, 4]
a=5.992000000113774 min=1.2685695382937825 min=4.723430461819992 ls=[2, 3, 4]
a=5.993000000113774 min=1.26849182582068 min=4.724508174293094 ls=[2, 3, 4]
a=5.9940000001137745 min=1.2684141617985705 min=4.7255858383152045 ls=[2, 3, 4]
a=5.995000000113775 min=1.2683365461788956 min=4.726663453934879 ls=[2, 3, 4]
a=5.996000000113775 min=1.2682589789131666 min=4.727741021200608 ls=[2, 3, 4]
a=5.9970000001137755 min=1.2681814599529622 min=4.728818540160813 ls=[2, 3, 4]
a=5.998000000113776 min=1.2681039892499306 min=4.729896010863845 ls=[2, 3, 4]
a=5.999000000113776 min=1.2680265667557893 min=4.7309734333579865 ls=[2, 3, 4]
a=6.0000000001137765 min=1.2679491924223218 min=4.732050807691454 ls=[2, 3, 4]
a=6.001000000113777 min=1.2678718662013835 min=4.733128133912393 ls=[2, 3, 4]
a=6.002000000113777 min=1.267794588044894 min=4.734205412068883 ls=[2, 3, 4]
a=6.0030000001137775 min=1.267717357904844 min=4.735282642208934 ls=[2, 3, 4]
a=6.004000000113778 min=1.2676401757332907 min=4.736359824380488 ls=[2, 3, 4]
a=6.005000000113778 min=1.2675630414823589 min=4.737436958631419 ls=[2, 3, 4]
a=6.0060000001137785 min=1.2674859551042426 min=4.738514045009536 ls=[2, 3, 4]
a=6.007000000113779 min=1.2674089165512006 min=4.739591083562578 ls=[2, 3, 4]
a=6.008000000113779 min=1.2673319257755626 min=4.740668074338217 ls=[2, 3, 4]
a=6.0090000001137795 min=1.2672549827297221 min=4.741745017384058 ls=[2, 3, 4]
a=6.01000000011378 min=1.2671780873661425 min=4.742821912747638 ls=[2, 3, 4]
a=6.01100000011378 min=1.2671012396373522 min=4.743898760476428 ls=[2, 3, 4]
a=6.0120000001137806 min=1.2670244394959478 min=4.744975560617833 ls=[2, 3, 4]
a=6.013000000113781 min=1.2669476868945928 min=4.746052313219188 ls=[2, 3, 4]
a=6.014000000113781 min=1.2668709817860155 min=4.747129018327765 ls=[2, 3, 4]
a=6.0150000001137816 min=1.2667943241230137 min=4.748205675990768 ls=[2, 3, 4]
a=6.016000000113782 min=1.2667177138584484 min=4.749282286255333 ls=[2, 3, 4]
a=6.017000000113782 min=1.26664115094525 min=4.750358849168532 ls=[2, 3, 4]
a=6.0180000001137826 min=1.2665646353364122 min=4.75143536477737 ls=[2, 3, 4]
a=6.019000000113783 min=1.2664881669849966 min=4.7525118331287866 ls=[2, 3, 4]
a=6.020000000113783 min=1.2664117458441306 min=4.753588254269653 ls=[2, 3, 4]
a=6.021000000113784 min=1.2663353718670063 min=4.754664628246777 ls=[2, 3, 4]
a=6.022000000113784 min=1.2662590450068825 min=4.755740955106901 ls=[2, 3, 4]
a=6.023000000113784 min=1.266182765217083 min=4.756817234896701 ls=[2, 3, 4]
a=6.024000000113785 min=1.2661065324509977 min=4.757893467662787 ls=[2, 3, 4]
a=6.025000000113785 min=1.266030346662081 min=4.758969653451704 ls=[2, 3, 4]
a=6.026000000113785 min=1.2659542078038535 min=4.760045792309931 ls=[2, 3, 4]
a=6.027000000113786 min=1.265878115829899 min=4.761121884283886 ls=[2, 3, 4]
a=6.028000000113786 min=1.2658020706938689 min=4.7621979294199175 ls=[2, 3, 4]
a=6.029000000113786 min=1.265726072349477 min=4.76327392776431 ls=[2, 3, 4]
a=6.030000000113787 min=1.2656501207505038 min=4.764349879363283 ls=[2, 3, 4]
a=6.031000000113787 min=1.2655742158507925 min=4.765425784262995 ls=[2, 3, 4]
a=6.032000000113787 min=1.2654983576042524 min=4.766501642509535 ls=[2, 3, 4]
a=6.033000000113788 min=1.265422545964856 min=4.767577454148931 ls=[2, 3, 4]
a=6.034000000113788 min=1.2653467808866412 min=4.768653219227147 ls=[2, 3, 4]
a=6.035000000113788 min=1.2652710623237087 min=4.769728937790079 ls=[2, 3, 4]
a=6.036000000113789 min=1.2651953902302242 min=4.770804609883564 ls=[2, 3, 4]
a=6.037000000113789 min=1.2651197645604166 min=4.771880235553372 ls=[2, 3, 4]
a=6.038000000113789 min=1.2650441852685799 min=4.77295581484521 ls=[2, 3, 4]
a=6.03900000011379 min=1.26496865230907 min=4.774031347804719 ls=[2, 3, 4]
a=6.04000000011379 min=1.2648931656363076 min=4.775106834477482 ls=[2, 3, 4]
a=6.04100000011379 min=1.2648177252047759 min=4.776182274909014 ls=[2, 3, 4]
a=6.042000000113791 min=1.2647423309690216 min=4.777257669144769 ls=[2, 3, 4]
a=6.043000000113791 min=1.264666982883656 min=4.778333017230135 ls=[2, 3, 4]
a=6.044000000113791 min=1.264591680903351 min=4.77940831921044 ls=[2, 3, 4]
a=6.045000000113792 min=1.2645164249828442 min=4.780483575130948 ls=[2, 3, 4]
a=6.046000000113792 min=1.2644412150769335 min=4.781558785036858 ls=[2, 3, 4]
a=6.047000000113792 min=1.2643660511404817 min=4.78263394897331 ls=[2, 3, 4]
a=6.048000000113793 min=1.264290933128412 min=4.783709066985381 ls=[2, 3, 4]
a=6.049000000113793 min=1.2642158609957124 min=4.784784139118081 ls=[2, 3, 4]
a=6.050000000113793 min=1.2641408346974319 min=4.785859165416362 ls=[2, 3, 4]
a=6.051000000113794 min=1.2640658541886813 min=4.7869341459251125 ls=[2, 3, 4]
a=6.052000000113794 min=1.2639909194246357 min=4.788009080689158 ls=[2, 3, 4]
a=6.053000000113794 min=1.26391603036053 min=4.789083969753264 ls=[2, 3, 4]
a=6.054000000113795 min=1.2638411869516624 min=4.790158813162132 ls=[2, 3, 4]
a=6.055000000113795 min=1.2637663891533915 min=4.791233610960403 ls=[2, 3, 4]
a=6.056000000113795 min=1.2636916369211397 min=4.792308363192656 ls=[2, 3, 4]
a=6.057000000113796 min=1.26361693021039 min=4.793383069903406 ls=[2, 3, 4]
a=6.058000000113796 min=1.2635422689766853 min=4.79445773113711 ls=[2, 3, 4]
a=6.059000000113796 min=1.2634676531756328 min=4.795532346938163 ls=[2, 3, 4]
a=6.060000000113797 min=1.2633930827628987 min=4.796606917350898 ls=[2, 3, 4]
a=6.061000000113797 min=1.263318557694212 min=4.797681442419584 ls=[2, 3, 4]
a=6.062000000113797 min=1.2632440779253613 min=4.798755922188436 ls=[2, 3, 4]
a=6.063000000113798 min=1.2631696434121966 min=4.799830356701601 ls=[2, 3, 4]
a=6.064000000113798 min=1.263095254110629 min=4.800904746003169 ls=[2, 3, 4]
a=6.065000000113798 min=1.2630209099766307 min=4.801979090137167 ls=[2, 3, 4]
a=6.066000000113799 min=1.2629466109662335 min=4.803053389147565 ls=[2, 3, 4]
a=6.067000000113799 min=1.26287235703553 min=4.804127643078269 ls=[2, 3, 4]
a=6.068000000113799 min=1.2627981481406738 min=4.805201851973125 ls=[2, 3, 4]
a=6.0690000001138 min=1.2627239842378783 min=4.8062760158759215 ls=[2, 3, 4]
a=6.0700000001138 min=1.262649865283417 min=4.807350134830383 ls=[2, 3, 4]
a=6.0710000001138 min=1.262575791233624 min=4.808424208880176 ls=[2, 3, 4]
a=6.072000000113801 min=1.262501762044892 min=4.809498238068908 ls=[2, 3, 4]
a=6.073000000113801 min=1.2624277776736752 min=4.8105722224401255 ls=[2, 3, 4]
a=6.074000000113801 min=1.2623538380764867 min=4.811646162037315 ls=[2, 3, 4]
a=6.075000000113802 min=1.2622799432098994 min=4.812720056903903 ls=[2, 3, 4]
a=6.076000000113802 min=1.2622060930305457 min=4.813793907083256 ls=[2, 3, 4]
a=6.077000000113802 min=1.2621322874951169 min=4.814867712618685 ls=[2, 3, 4]
a=6.078000000113803 min=1.2620585265603643 min=4.815941473553439 ls=[2, 3, 4]
a=6.079000000113803 min=1.2619848101830988 min=4.817015189930704 ls=[2, 3, 4]
a=6.080000000113803 min=1.261911138320189 min=4.818088861793614 ls=[2, 3, 4]
a=6.081000000113804 min=1.2618375109285636 min=4.81916248918524 ls=[2, 3, 4]
a=6.082000000113804 min=1.2617639279652098 min=4.820236072148594 ls=[2, 3, 4]
a=6.083000000113804 min=1.2616903893871732 min=4.821309610726631 ls=[2, 3, 4]
a=6.084000000113805 min=1.2616168951515596 min=4.822383104962245 ls=[2, 3, 4]
a=6.085000000113805 min=1.2615434452155312 min=4.823456554898273 ls=[2, 3, 4]
a=6.086000000113805 min=1.2614700395363103 min=4.824529960577495 ls=[2, 3, 4]
a=6.087000000113806 min=1.2613966780711765 min=4.825603322042629 ls=[2, 3, 4]
a=6.088000000113806 min=1.2613233607774685 min=4.826676639336338 ls=[2, 3, 4]
a=6.089000000113806 min=1.2612500876125823 min=4.827749912501224 ls=[2, 3, 4]
a=6.090000000113807 min=1.2611768585339733 min=4.828823141579833 ls=[2, 3, 4]
a=6.091000000113807 min=1.2611036734991534 min=4.829896326614653 ls=[2, 3, 4]
a=6.092000000113807 min=1.2610305324656932 min=4.830969467648114 ls=[2, 3, 4]
a=6.093000000113808 min=1.2609574353912203 min=4.832042564722587 ls=[2, 3, 4]
a=6.094000000113808 min=1.2608843822334204 min=4.833115617880388 ls=[2, 3, 4]
a=6.095000000113808 min=1.2608113729500368 min=4.834188627163772 ls=[2, 3, 4]
a=6.096000000113809 min=1.2607384074988706 min=4.835261592614938 ls=[2, 3, 4]
a=6.097000000113809 min=1.2606654858377784 min=4.836334514276031 ls=[2, 3, 4]
a=6.098000000113809 min=1.2605926079246772 min=4.837407392189132 ls=[2, 3, 4]
a=6.09900000011381 min=1.2605197737175378 min=4.838480226396272 ls=[2, 3, 4]
a=6.10000000011381 min=1.2604469831743903 min=4.839553016939419 ls=[2, 3, 4]
a=6.10100000011381 min=1.2603742362533203 min=4.84062576386049 ls=[2, 3, 4]
a=6.102000000113811 min=1.2603015329124712 min=4.84169846720134 ls=[2, 3, 4]
a=6.103000000113811 min=1.260228873110043 min=4.842771127003768 ls=[2, 3, 4]
a=6.104000000113811 min=1.2601562568042914 min=4.84384374330952 ls=[2, 3, 4]
a=6.105000000113812 min=1.2600836839535297 min=4.8449163161602815 ls=[2, 3, 4]
a=6.106000000113812 min=1.2600111545161268 min=4.845988845597685 ls=[2, 3, 4]
a=6.107000000113812 min=1.2599386684505087 min=4.847061331663303 ls=[2, 3, 4]
a=6.108000000113813 min=1.259866225715157 min=4.848133774398656 ls=[2, 3, 4]
a=6.109000000113813 min=1.2597938262686093 min=4.849206173845204 ls=[2, 3, 4]
a=6.110000000113813 min=1.2597214700694603 min=4.850278530044353 ls=[2, 3, 4]
a=6.111000000113814 min=1.259649157076359 min=4.851350843037455 ls=[2, 3, 4]
a=6.112000000113814 min=1.2595768872480113 min=4.852423112865803 ls=[2, 3, 4]
a=6.113000000113814 min=1.2595046605431792 min=4.853495339570635 ls=[2, 3, 4]
a=6.114000000113815 min=1.2594324769206786 min=4.854567523193136 ls=[2, 3, 4]
a=6.115000000113815 min=1.2593603363393826 min=4.855639663774433 ls=[2, 3, 4]
a=6.116000000113815 min=1.2592882387582187 min=4.856711761355596 ls=[2, 3, 4]
a=6.117000000113816 min=1.2592161841361706 min=4.857783815977645 ls=[2, 3, 4]
a=6.118000000113816 min=1.2591441724322767 min=4.8588558276815395 ls=[2, 3, 4]
a=6.119000000113816 min=1.25907220360563 min=4.859927796508186 ls=[2, 3, 4]
a=6.120000000113817 min=1.2590002776153797 min=4.860999722498437 ls=[2, 3, 4]
a=6.121000000113817 min=1.2589283944207295 min=4.862071605693087 ls=[2, 3, 4]
a=6.122000000113817 min=1.258856553980937 min=4.86314344613288 ls=[2, 3, 4]
a=6.123000000113818 min=1.2587847562553165 min=4.864215243858501 ls=[2, 3, 4]
a=6.124000000113818 min=1.2587130012032341 min=4.865286998910584 ls=[2, 3, 4]
a=6.125000000113818 min=1.2586412887841136 min=4.866358711329704 ls=[2, 3, 4]
a=6.126000000113819 min=1.2585696189574314 min=4.867430381156387 ls=[2, 3, 4]
a=6.127000000113819 min=1.2584979916827177 min=4.8685020084311015 ls=[2, 3, 4]
a=6.128000000113819 min=1.258426406919559 min=4.869573593194261 ls=[2, 3, 4]
a=6.12900000011382 min=1.2583548646275942 min=4.8706451354862255 ls=[2, 3, 4]
a=6.13000000011382 min=1.2582833647665175 min=4.871716635347303 ls=[2, 3, 4]
a=6.13100000011382 min=1.2582119072960751 min=4.872788092817745 ls=[2, 3, 4]
a=6.132000000113821 min=1.2581404921760702 min=4.87385950793775 ls=[2, 3, 4]
a=6.133000000113821 min=1.2580691193663571 min=4.874930880747463 ls=[2, 3, 4]
a=6.134000000113821 min=1.2579977888268445 min=4.876002211286977 ls=[2, 3, 4]
a=6.135000000113822 min=1.2579265005174955 min=4.877073499596326 ls=[2, 3, 4]
a=6.136000000113822 min=1.2578552543983257 min=4.878144745715496 ls=[2, 3, 4]
a=6.137000000113822 min=1.257784050429405 min=4.879215949684417 ls=[2, 3, 4]
a=6.138000000113823 min=1.2577128885708555 min=4.880287111542967 ls=[2, 3, 4]
a=6.139000000113823 min=1.2576417687828536 min=4.881358231330969 ls=[2, 3, 4]
a=6.140000000113823 min=1.2575706910256288 min=4.882429309088194 ls=[2, 3, 4]
a=6.141000000113824 min=1.257499655259462 min=4.883500344854362 ls=[2, 3, 4]
a=6.142000000113824 min=1.2574286614446892 min=4.884571338669135 ls=[2, 3, 4]
a=6.143000000113824 min=1.257357709541698 min=4.885642290572126 ls=[2, 3, 4]
a=6.144000000113825 min=1.2572867995109296 min=4.886713200602895 ls=[2, 3, 4]
a=6.145000000113825 min=1.2572159313128766 min=4.887784068800949 ls=[2, 3, 4]
a=6.146000000113825 min=1.2571451049080853 min=4.88885489520574 ls=[2, 3, 4]
a=6.147000000113826 min=1.2570743202571535 min=4.889925679856672 ls=[2, 3, 4]
a=6.148000000113826 min=1.257003577320733 min=4.890996422793092 ls=[2, 3, 4]
a=6.149000000113826 min=1.2569328760595264 min=4.8920671240543 ls=[2, 3, 4]
a=6.150000000113827 min=1.2568622164342886 min=4.893137783679538 ls=[2, 3, 4]
a=6.151000000113827 min=1.2567915984058273 min=4.894208401707999 ls=[2, 3, 4]
a=6.152000000113827 min=1.2567210219350025 min=4.895278978178824 ls=[2, 3, 4]
a=6.153000000113828 min=1.2566504869827246 min=4.896349513131103 ls=[2, 3, 4]
a=6.154000000113828 min=1.2565799935099573 min=4.897420006603871 ls=[2, 3, 4]
a=6.155000000113828 min=1.256509541477716 min=4.898490458636112 ls=[2, 3, 4]
a=6.156000000113829 min=1.2564391308470666 min=4.899560869266762 ls=[2, 3, 4]
a=6.157000000113829 min=1.2563687615791275 min=4.900631238534702 ls=[2, 3, 4]
a=6.158000000113829 min=1.2562984336350687 min=4.901701566478761 ls=[2, 3, 4]
a=6.15900000011383 min=1.2562281469761112 min=4.902771853137718 ls=[2, 3, 4]
a=6.16000000011383 min=1.256157901563527 min=4.903842098550303 ls=[2, 3, 4]
a=6.16100000011383 min=1.2560876973586397 min=4.904912302755191 ls=[2, 3, 4]
a=6.162000000113831 min=1.2560175343228248 min=4.905982465791006 ls=[2, 3, 4]
a=6.163000000113831 min=1.2559474124175074 min=4.907052587696324 ls=[2, 3, 4]
a=6.164000000113831 min=1.2558773316041645 min=4.908122668509667 ls=[2, 3, 4]
a=6.165000000113832 min=1.2558072918443235 min=4.909192708269508 ls=[2, 3, 4]
a=6.166000000113832 min=1.2557372930995632 min=4.910262707014269 ls=[2, 3, 4]
a=6.167000000113832 min=1.2556673353315124 min=4.91133266478232 ls=[2, 3, 4]
a=6.168000000113833 min=1.255597418501851 min=4.912402581611982 ls=[2, 3, 4]
a=6.169000000113833 min=1.2555275425723091 min=4.913472457541523 ls=[2, 3, 4]
a=6.170000000113833 min=1.255457707504667 min=4.914542292609166 ls=[2, 3, 4]
a=6.171000000113834 min=1.2553879132607557 min=4.915612086853078 ls=[2, 3, 4]
a=6.172000000113834 min=1.2553181598024563 min=4.9166818403113774 ls=[2, 3, 4]
a=6.173000000113834 min=1.2552484470917011 min=4.917751553022133 ls=[2, 3, 4]
a=6.174000000113835 min=1.2551787750904706 min=4.918821225023364 ls=[2, 3, 4]
a=6.175000000113835 min=1.2551091437607969 min=4.919890856353038 ls=[2, 3, 4]
a=6.176000000113835 min=1.255039553064761 min=4.920960447049074 ls=[2, 3, 4]
a=6.177000000113836 min=1.2549700029644937 min=4.922029997149342 ls=[2, 3, 4]
a=6.178000000113836 min=1.2549004934221764 min=4.92309950669166 ls=[2, 3, 4]
a=6.179000000113836 min=1.2548310244000391 min=4.924168975713798 ls=[2, 3, 4]
a=6.180000000113837 min=1.254761595860363 min=4.925238404253474 ls=[2, 3, 4]
a=6.181000000113837 min=1.2546922077654767 min=4.926307792348361 ls=[2, 3, 4]
a=6.182000000113837 min=1.2546228600777602 min=4.927377140036077 ls=[2, 3, 4]
a=6.183000000113838 min=1.254553552759641 min=4.9284464473541965 ls=[2, 3, 4]
a=6.184000000113838 min=1.2544842857735965 min=4.9295157143402415 ls=[2, 3, 4]
a=6.185000000113838 min=1.254415059082154 min=4.930584941031684 ls=[2, 3, 4]
a=6.186000000113839 min=1.2543458726478887 min=4.93165412746595 ls=[2, 3, 4]
a=6.187000000113839 min=1.2542767264334258 min=4.932723273680413 ls=[2, 3, 4]
a=6.188000000113839 min=1.2542076204014383 min=4.933792379712401 ls=[2, 3, 4]
a=6.18900000011384 min=1.2541385545146488 min=4.934861445599191 ls=[2, 3, 4]
a=6.19000000011384 min=1.2540695287358288 min=4.935930471378011 ls=[2, 3, 4]
a=6.19100000011384 min=1.2540005430277978 min=4.936999457086042 ls=[2, 3, 4]
a=6.192000000113841 min=1.253931597353424 min=4.9380684027604165 ls=[2, 3, 4]
a=6.193000000113841 min=1.2538626916756244 min=4.939137308438217 ls=[2, 3, 4]
a=6.194000000113841 min=1.253793825957364 min=4.940206174156478 ls=[2, 3, 4]
a=6.195000000113842 min=1.2537250001616562 min=4.941274999952185 ls=[2, 3, 4]
a=6.196000000113842 min=1.253656214251563 min=4.942343785862279 ls=[2, 3, 4]
a=6.197000000113842 min=1.2535874681901937 min=4.943412531923649 ls=[2, 3, 4]
a=6.198000000113843 min=1.253518761940707 min=4.944481238173136 ls=[2, 3, 4]
a=6.199000000113843 min=1.253450095466308 min=4.945549904647535 ls=[2, 3, 4]
a=6.200000000113843 min=1.253381468730251 min=4.946618531383592 ls=[2, 3, 4]
a=6.201000000113844 min=1.2533128816958372 min=4.947687118418006 ls=[2, 3, 4]
a=6.202000000113844 min=1.253244334326416 min=4.948755665787428 ls=[2, 3, 4]
a=6.203000000113844 min=1.253175826585384 min=4.9498241735284605 ls=[2, 3, 4]
a=6.204000000113845 min=1.2531073584361867 min=4.950892641677658 ls=[2, 3, 4]
a=6.205000000113845 min=1.2530389298423155 min=4.95196107027153 ls=[2, 3, 4]
a=6.206000000113845 min=1.2529705407673102 min=4.953029459346535 ls=[2, 3, 4]
a=6.207000000113846 min=1.2529021911747564 min=4.954097808939089 ls=[2, 3, 4]
a=6.208000000113846 min=1.2528338810282895 min=4.955166119085557 ls=[2, 3, 4]
a=6.209000000113846 min=1.2527656102915905 min=4.956234389822256 ls=[2, 3, 4]
a=6.210000000113847 min=1.2526973789283866 min=4.95730262118546 ls=[2, 3, 4]
a=6.211000000113847 min=1.2526291869024542 min=4.958370813211393 ls=[2, 3, 4]
a=6.212000000113847 min=1.2525610341776146 min=4.959438965936233 ls=[2, 3, 4]
a=6.213000000113848 min=1.2524929207177373 min=4.960507079396111 ls=[2, 3, 4]
a=6.214000000113848 min=1.2524248464867382 min=4.96157515362711 ls=[2, 3, 4]
a=6.215000000113848 min=1.2523568114485797 min=4.962643188665268 ls=[2, 3, 4]
a=6.216000000113849 min=1.2522888155672705 min=4.963711184546578 ls=[2, 3, 4]
a=6.217000000113849 min=1.252220858806867 min=4.964779141306982 ls=[2, 3, 4]
a=6.218000000113849 min=1.2521529411314707 min=4.965847058982378 ls=[2, 3, 4]
a=6.21900000011385 min=1.2520850625052302 min=4.966914937608619 ls=[2, 3, 4]
a=6.22000000011385 min=1.2520172228923403 min=4.9679827772215095 ls=[2, 3, 4]
a=6.22100000011385 min=1.2519494222570415 min=4.969050577856809 ls=[2, 3, 4]
a=6.222000000113851 min=1.2518816605636216 min=4.970118339550229 ls=[2, 3, 4]
a=6.223000000113851 min=1.2518139377764137 min=4.971186062337438 ls=[2, 3, 4]
a=6.224000000113851 min=1.251746253859796 min=4.972253746254055 ls=[2, 3, 4]
a=6.225000000113852 min=1.2516786087781948 min=4.973321391335657 ls=[2, 3, 4]
a=6.226000000113852 min=1.2516110024960805 min=4.974388997617772 ls=[2, 3, 4]
a=6.227000000113852 min=1.2515434349779697 min=4.975456565135882 ls=[2, 3, 4]
a=6.228000000113853 min=1.251475906188424 min=4.976524093925429 ls=[2, 3, 4]
a=6.229000000113853 min=1.2514084160920529 min=4.9775915840218 ls=[2, 3, 4]
a=6.230000000113853 min=1.2513409646535083 min=4.978659035460345 ls=[2, 3, 4]
a=6.231000000113854 min=1.2512735518374896 min=4.979726448276364 ls=[2, 3, 4]
a=6.232000000113854 min=1.2512061776087413 min=4.980793822505113 ls=[2, 3, 4]
a=6.233000000113854 min=1.251138841932053 min=4.981861158181801 ls=[2, 3, 4]
a=6.234000000113855 min=1.2510715447722585 min=4.982928455341597 ls=[2, 3, 4]
a=6.235000000113855 min=1.2510042860942385 min=4.983995714019617 ls=[2, 3, 4]
a=6.236000000113855 min=1.2509370658629178 min=4.985062934250937 ls=[2, 3, 4]
a=6.237000000113856 min=1.250869884043266 min=4.98613011607059 ls=[2, 3, 4]
a=6.238000000113856 min=1.2508027406002986 min=4.987197259513557 ls=[2, 3, 4]
a=6.239000000113856 min=1.2507356354990746 min=4.988264364614782 ls=[2, 3, 4]
a=6.240000000113857 min=1.2506685687046986 min=4.989331431409158 ls=[2, 3, 4]
a=6.241000000113857 min=1.2506015401823198 min=4.990398459931537 ls=[2, 3, 4]
a=6.242000000113857 min=1.2505345498971316 min=4.991465450216726 ls=[2, 3, 4]
a=6.243000000113858 min=1.2504675978143733 min=4.992532402299484 ls=[2, 3, 4]
a=6.244000000113858 min=1.2504006838993262 min=4.993599316214532 ls=[2, 3, 4]
a=6.245000000113858 min=1.2503338081173183 min=4.99466619199654 ls=[2, 3, 4]
a=6.246000000113859 min=1.2502669704337208 min=4.995733029680138 ls=[2, 3, 4]
a=6.247000000113859 min=1.2502001708139492 min=4.99679982929991 ls=[2, 3, 4]
a=6.248000000113859 min=1.2501334092234633 min=4.997866590890396 ls=[2, 3, 4]
a=6.24900000011386 min=1.2500666856277673 min=4.998933314486092 ls=[2, 3, 4]

从以上结果来看,a∈(-2.25,-1.33)时,两根间的整数是[-2, -1, 0];

a∈(5.33,6.25时),两根间的整数是[2, 3, 4];

程序结果和传统解法是一致的。

【函数图像】

当a取6时,函数图像为

【240331-1】若不等式x^2-a*x+a<0的解集中恰有3个整数,求a的范围?_一元二次方程 不等式 整数

当取-2.5时,函数图像为

【240331-1】若不等式x^2-a*x+a<0的解集中恰有3个整数,求a的范围?_一元二次方程 不等式 整数_02

由图可见,两根间的整数确实符合题目和解答。

【勾画图线的Canvas代码】

<!DOCTYPE html>
<html lang="utf-8">
<meta http-equiv="Content-Type" content="text/html; charset=utf-8"/>
<head>
     <title>UNASSIGNED</title>
     <style type="text/css">
     .centerlize{
        margin:0 auto;
        border:0px solid red;
        width:1200px;height:600px;
     }
     </style>
     </head>

     <body onload="draw();">
        <div class="centerlize">
            <canvas id="myCanvas" width="1200px" height="600px" style="border:1px dashed black;">
                如果看到这段文字说您的浏览器尚不支持HTML5 Canvas,请更换浏览器再试.
            </canvas>
        </div>
     </body>
</html>
<script type="text/javascript">
<!--
/*****************************************************************
* 将全体代码(从<!DOCTYPE到script>)拷贝下来,粘贴到文本编辑器中,
* 另存为.html文件,再用chrome浏览器打开,就能看到实现效果。
******************************************************************/
// 画布宽度
const WIDTH=1200;

// 画布高度
const HEIGHT=600;

// 画布环境
var context=0;   

// 缩放比例
const ScaleUnit=50;

// 舞台对象
var stage;

// 消逝的时间
var timeElapsed=0;

// 图像标题,title
const TITLE=" y=x^2+2.5x-2.5";

// 核心勾画函数,由body_onload调用
function draw(){
    document.title="函数"+TITLE+" 图示";

    // 画图前初始化
    var canvas=document.getElementById('myCanvas');    
    canvas.width=WIDTH;
    canvas.height=HEIGHT; 
    context=canvas.getContext('2d');  
    
    // 进行屏幕坐标系到笛卡尔坐标系的变换
    // 处置完成前,原点在左上角,向右为X正向,向下为Y的正向
    // 处置完毕后,原点移动到画布中央,向右为X正向,向上为Y的正向
    context.translate(WIDTH/2,HEIGHT/2);
    context.rotate(getRad(180));
    context.scale(-1,1);

    //context.translate(0,0);
    //context.scale(1,1);

    // 初始化舞台
    stage=new Stage();

    // 开始动画
    animate();
};

//-------------------------------
// 画图
//-------------------------------
function animate(){    
    timeElapsed+=1;// 时间每轮增加1

    stage.update(timeElapsed);
    stage.paintBg(context);
    stage.paint(context);

    if(timeElapsed<2400){        
        window.requestAnimationFrame(animate);
    }
}

//-------------------------------
// 舞台对象定义处
//-------------------------------
function Stage(){
    var obj=new Object;

    obj.prpty={"x":-12,"y":0,"pts":[],"pts2":[],"max":-10,"min":10};

    // 随时间更新位置
    obj.update=function(t){
        // xy值是如何变化的
        obj.prpty.x+=0.01;
        let x=obj.prpty.x;
        obj.prpty.y=x*x+2.5*x-2.5;

        // 取极值
        if(obj.prpty.y<obj.prpty.min){
            obj.prpty.min=obj.prpty.y;
        }
        if(obj.prpty.y>obj.prpty.max){
            obj.prpty.max=obj.prpty.y;
        }

        // 放入数组
        let arr={"x":obj.prpty.x,"y":obj.prpty.y};

        //if(arr.x<5){
            this.prpty.pts.push(arr);
        //}else{
        //    this.prpty.pts2.push(arr);
        //}
        
    };

    // 画前景
    obj.paint=function(ctx){  
        // 写当前点坐标
        drawText(ctx,"当前 X:"+this.prpty.x.toFixed(3)+"  Y:"+this.prpty.y.toFixed(3),-400,125,"navy",18);

        // 写极值
        drawText(ctx,"max:"+this.prpty.max.toFixed(3)+"  min:"+this.prpty.min.toFixed(3),-400,105,"navy",18);

        // 绘制曲线
        paintCurve(ctx,"maroon",this.prpty.pts);
        //paintCurve(ctx,"orange",this.prpty.pts2);
    };

    // 画背景
    obj.paintBg=function(ctx){
        // 清屏
        ctx.clearRect(-600,-300,1200,600);

        // 画X轴
        drawAxisX(ctx,-600,600,50);

        // 画Y轴
        drawAxisY(ctx,-300,300,50);

        // 画网格线
        drawGrid(ctx,-600,-300,50,1200,600,50,"grey");
        
        // 标题
        drawText(ctx,"函数 "+TITLE+" 图示",-400,-160,"navy",18);

        // 作者,日期
        drawText(ctx,"逆火",-500,-200,"navy",16);
        drawText(ctx,(new Date()).toLocaleDateString(),-500,-220,"navy",16);
    };
    
    return obj;
}

// 连点成线画曲线
function paintCurve(ctx,color,cds){
    ctx.strokeStyle = color;
    ctx.beginPath(); 
    
    for(var i=0; i<cds.length; i++){
        let y=cds[i].y;
        if(Math.abs(cds[i].y*ScaleUnit)<300){
            ctx.lineTo(cds[i].x*ScaleUnit,cds[i].y*ScaleUnit);
        }
    }     
    
    ctx.stroke();
    ctx.closePath();
}

// 定点画实心圆
function drawSolidCircle(ctx,x,y,r,color){
      ctx.save();

      ctx.beginPath();
      ctx.arc(x,y,r,0,2*Math.PI);
      ctx.fillStyle=color;
      ctx.fill();
      ctx.stroke();
      ctx.restore();
}

// 两点之间画线段
function drawLine(ctx,x1,y1,x2,y2,color){
    ctx.save();

    ctx.lineWidth=0.25;
    ctx.strokeStyle=color;
    ctx.fillStyle=color;

    ctx.beginPath();
    ctx.moveTo(x1,y1);
    ctx.lineTo(x2,y2);
    ctx.stroke();
    ctx.closePath();

    ctx.restore();
}

// 画横轴
function drawAxisX(ctx,start,end,step){
    ctx.save();
    
    ctx.lineWidth=0.25;
    ctx.strokeStyle='navy';
    ctx.fillStyle='navy';

    // 画轴
    ctx.beginPath();
    ctx.moveTo(start, 0);
    ctx.lineTo(end, 0);
    ctx.stroke();
    ctx.closePath();

    // 画箭头
    ctx.beginPath();
    ctx.moveTo(end-Math.cos(getRad(15))*10, Math.sin(getRad(15))*10);
    ctx.lineTo(end, 0);
    ctx.lineTo(end-Math.cos(getRad(15))*10, -Math.sin(getRad(15))*10);
    ctx.stroke();
    ctx.closePath();
    
    // 画刻度
    var x,y;
    y=5;
    for(x=start;x<end;x+=step){
        ctx.beginPath();
        ctx.moveTo(x, 0);
        ctx.lineTo(x, y);
        
        ctx.stroke();
        ctx.closePath();

        drawText(ctx,x/ScaleUnit+"",x,y-20,"navy",12);
    }

    ctx.restore();
}

// 画纵轴
function drawAxisY(ctx,start,end,step){
    ctx.save();
    
    ctx.lineWidth=0.5;
    ctx.strokeStyle='navy';
    ctx.fillStyle='navy';

    // 画轴
    ctx.beginPath();
    ctx.moveTo(0, start);
    ctx.lineTo(0, end);
    ctx.stroke();
    ctx.closePath();

    // 画箭头
    ctx.beginPath();
    ctx.moveTo(Math.sin(getRad(15))*10, end-Math.cos(getRad(15))*10);
    ctx.lineTo(0, end);
    ctx.lineTo(-Math.sin(getRad(15))*10, end-Math.cos(getRad(15))*10);
    ctx.stroke();
    ctx.closePath();
    
    // 画刻度
    var x,y;
    x=5;
    for(y=start;y<end;y+=step){
        ctx.beginPath();
        ctx.moveTo(x, y);
        ctx.lineTo(0, y);
        
        drawText(ctx,y/ScaleUnit+"",x-15,y,"navy",12);

        ctx.stroke();
        ctx.closePath();
    }

    ctx.restore();
}

// 画网格线
function drawGrid(ctx,x1,y1,step1,x2,y2,step2,color){
    ctx.save();
    
    ctx.lineWidth=0.5;
    ctx.strokeStyle=color;
    ctx.fillStyle=color;

    var x,y;
    for(x=x1;x<x2;x+=step1){
        ctx.beginPath();
        ctx.moveTo(x, y1);
        ctx.lineTo(x, y2);
        ctx.stroke();
        ctx.closePath();
    }

    for(y=y1;y<y2;y+=step2){
        ctx.beginPath();
        ctx.moveTo(x1, y);
        ctx.lineTo(x2, y);
        ctx.stroke();
        ctx.closePath();
    }

    ctx.restore();
}

//-------------------------------
// 角度得到弧度
//-------------------------------
function getRad(degree){
    return degree/180*Math.PI;
}

//-------------------------------
// 得到颜色
//-------------------------------
function getColor(index){
    var arr=[
        "aqua"/* aqua湖绿色*/,
        "black"/* black黑色*/,
        "blue"/* blue蓝色*/,
        "fuchsia"/* fuchsia 紫红*/,
        "green"/* green 绿色*/,
        "grey"/* grey 草木灰*/,
        "lime"/* lime 亮绿色*/,
        "maroon"/* maroon 棕色*/,
        "navy"/* navy 海军蓝*/,
        "orange"/* orange 橙色*/,
        "purple"/* purple 紫色*/,
        "red"/* red 大红*/,        
        "skyblue"/* skyblue 天蓝*/,
        "teal"/* teal 蓝绿色*/,
        "yellow"/* yellow 亮黄*/,
        "#aa0000"/* #aa0000 铁锈红*/,        
    ];

    if(index>arr.length){
        index=index % arr.length;
    }

    return arr[index];
}

//-------------------------------------
// 绘制文字,指定颜色
// ctx:绘图环境
// text:文字
// x,y:坐标
// color:颜色
// size:字体大小
//-------------------------------------
function drawText(ctx,text,x,y,color,size){
    ctx.save();
    ctx.translate(x,y)
    ctx.rotate(getRad(180))
    ctx.scale(-1,1)

    ctx.textBaseline="bottom";
    ctx.textAlign="center";
    ctx.fillStyle=color;
    ctx.font = size+"px consolas";

    ctx.fillText(text,0,0);
    ctx.restore();
}
//-->
</script>

【结论】

一道数学题如果存在多种解法,那么最简洁的解法为最佳路径。

从这个意义上来说,程序解法已经比传统解法更优越。

END