| Pt | Rival-out | Sollya-interval | Sollya-point | status | Sollya status | Rival iter | sollya-time | check |
|---|
| (1.435719008643235e-263) | 4.7857300288107835e-264 | (-6.828046779268971e+243 1.3656093558537942e+244) | +nan.0 | valid | exit | 3 | 0.382189 | #f |
| (-4.2308915252885576e-196) | -1.4102971750961859e-196 | (-2.5326633110845904e+176 2.5326633110845904e+176) | +nan.0 | valid | exit | 2 | 0.16129100000000002 | #f |
| (2.0744581508107365e-285) | 6.914860502702455e-286 | (-3.224453925388582e+265 6.448907850777164e+265) | +nan.0 | valid | exit | 3 | 0.191535 | #f |
| (-2.931934144844945e-305) | -9.773113816149817e-306 | (-4.758454107128906e+285 2.379227053564453e+285) | +nan.0 | valid | exit | 3 | 0.124964 | #f |
| (-4.1482059417433697e-259) | -1.3827353139144566e-259 | (-4.167509020549909e+239 2.0837545102749545e+239) | +nan.0 | valid | exit | 3 | 0.16772700000000001 | #f |
| (1.5076109536871795e-301) | 5.025369845623932e-302 | (-5.80865979874134e+281 1.161731959748268e+282) | +nan.0 | valid | exit | 3 | 0.108985 | #f |
| (4.4630206564172e-306) | 1.4876735521390667e-306 | (-1.9033816428515623e+286 3.806763285703125e+286) | +nan.0 | valid | exit | 3 | 0.13006199999999998 | #f |
| (1.9228336660920923e-267) | 6.409445553640308e-268 | (-5.593535921577141e+247 5.593535921577141e+247) | +nan.0 | valid | exit | 3 | 0.205956 | #f |
| (4.11125266654512e-285) | 1.37041755551504e-285 | (-1.612226962694291e+265 3.224453925388582e+265) | +nan.0 | valid | exit | 3 | 0.11695900000000001 | #f |
| (-1.4392598675516808e-287) | -4.797532891838936e-288 | (-1.2381903073492154e+268 4.127301024497385e+267) | +nan.0 | valid | exit | 3 | 0.112327 | #f |
| (2.707437348789445e-288) | 9.024791162631484e-289 | (-3.301840819597908e+268 3.301840819597908e+268) | +nan.0 | valid | exit | 3 | 0.17114100000000002 | #f |
| (-1.3514611719865972e-270) | -4.5048705732886573e-271 | (-1.1455561567389984e+251 5.727780783694992e+250) | +nan.0 | valid | exit | 3 | 0.098931 | #f |
| (-3.0511991123680425e-301) | -1.0170663707893475e-301 | (-5.80865979874134e+281 2.90432989937067e+281) | +nan.0 | valid | exit | 3 | 0.210516 | #f |
| (-9.942489388479185e-289) | -3.3141631294930617e-289 | (-1.3207363278391631e+269 6.603681639195816e+268) | +nan.0 | valid | exit | 3 | 0.183672 | #f |
| (4.375329101590011e-237) | 1.458443033863337e-237 | (-2.206260905240795e+217 2.206260905240795e+217) | +nan.0 | valid | exit | 2 | 0.23932 | #f |
| (6.477617164134601e-305) | 2.1592057213782005e-305 | (-1.1896135267822265e+285 2.379227053564453e+285) | +nan.0 | valid | exit | 3 | 0.125162 | #f |
| (8.614821998158485e-284) | 2.871607332719495e-284 | (-1.0076418516839318e+264 2.0152837033678636e+264) | +nan.0 | valid | exit | 3 | 0.20031700000000002 | #f |
| (-9.576068234159129e-268) | -3.1920227447197097e-268 | (-2.2374143686308563e+248 1.1187071843154282e+248) | +nan.0 | valid | exit | 3 | 0.282287 | #f |
| (9.708904870007662e-200) | 3.2363016233358874e-200 | (-1.0373788922202482e+180 2.0747577844404965e+180) | +nan.0 | valid | exit | 2 | 0.10383 | #f |
| (-1.4995342999235851e-93) | -4.998447666411951e-94 | (-1.130782121458166e+74 5.65391060729083e+73) | +nan.0 | valid | exit | 2 | 0.17831999999999998 | #f |
| (5.504389672797772e-307) | 1.8347965575992572e-307 | (-1.52270531428125e+287 3.0454106285625e+287) | +nan.0 | valid | exit | 3 | 0.107722 | #f |
| (2.4070633218174127e-269) | 8.023544406058042e-270 | (-3.57986298980937e+249 7.15972597961874e+249) | +nan.0 | valid | exit | 3 | 0.20289900000000002 | #f |
| (6.668062297037375e-241) | 2.2226874323457917e-241 | (-9.036844667866296e+220 2.7110534003598888e+221) | +nan.0 | valid | exit | 2 | 0.102731 | #f |
| (3.3641764419586508e-301) | 1.1213921473195503e-301 | (-2.90432989937067e+281 2.90432989937067e+281) | +nan.0 | valid | exit | 3 | 0.10625 | #f |
| (-2.662903349357893e-266) | -8.876344497859644e-267 | (-6.991919901971426e+246 3.495959950985713e+246) | +nan.0 | valid | exit | 3 | 0.10162500000000001 | #f |
| (7.078855421284759e-254) | 2.359618473761586e-254 | (-7.94889263257963e+233 2.384667789773889e+234) | +nan.0 | valid | exit | 2 | 0.197226 | #f |
| (-3.644092503987495e-121) | -1.214697501329165e-121 | (-5.599361855444511e+101 2.7996809277222553e+101) | +nan.0 | valid | exit | 2 | 0.187582 | #f |
| (-1.9056191283701971e-299) | -6.35206376123399e-300 | (-9.076030935533344e+279 4.538015467766672e+279) | +nan.0 | valid | exit | 3 | 0.164499 | #f |
| (-2.0345510362183373e-261) | -6.781836787394458e-262 | (-8.001617319455825e+241 2.667205773151942e+241) | +nan.0 | valid | exit | 3 | 0.102759 | #f |
| (-4.685527748097714e-189) | -1.5618425826992381e-189 | (-3.019169939857233e+169 1.5095849699286165e+169) | +nan.0 | valid | exit | 2 | 0.116396 | #f |
| (2.7718051151346616e-183) | 9.239350383782205e-184 | (-2.879304828507646e+163 2.879304828507646e+163) | +nan.0 | valid | exit | 2 | 0.15787099999999998 | #f |
| (-4.5418221663428465e-295) | -1.5139407221142822e-295 | (-2.7697848314005566e+275 1.3848924157002783e+275) | +nan.0 | valid | exit | 3 | 0.10523400000000001 | #f |
| (-2.0096726406130955e-303) | -6.6989088020436516e-304 | (-7.435084542388915e+283 3.717542271194458e+283) | +nan.0 | valid | exit | 3 | 0.110553 | #f |
| (2.006900640842342e-283) | 6.689668802807807e-284 | (-5.038209258419659e+263 1.0076418516839318e+264) | +nan.0 | valid | exit | 3 | 0.099828 | #f |
| (-3.50105457479363e-292) | -1.1670181915978766e-292 | (-2.704867999414606e+272 2.704867999414606e+272) | +nan.0 | valid | exit | 3 | 0.10251099999999999 | #f |
| (6.219531699834739e-304) | 2.0731772332782462e-304 | (-1.487016908477783e+284 1.487016908477783e+284) | +nan.0 | valid | exit | 3 | 0.109664 | #f |
| (8.027694120955544e-286) | 2.675898040318515e-286 | (-1.2897815701554327e+266 1.2897815701554327e+266) | +nan.0 | valid | exit | 3 | 0.192804 | #f |
| (1.745798410484401e-128) | 5.819328034948003e-129 | (-4.6970851655476665e+108 9.394170331095333e+108) | +nan.0 | valid | exit | 2 | 0.161339 | #f |
| (3.2404659489340744e-98) | 1.080155316311358e-98 | (-1.8526734277970591e+78 5.558020283391177e+78) | +nan.0 | valid | exit | 2 | 0.163402 | #f |
| (-2.92524148553645e-253) | -9.750804951788167e-254 | (-5.961669474434722e+233 1.9872231581449074e+233) | +nan.0 | valid | exit | 2 | 0.21340199999999998 | #f |
| (1.3888363025014594e-266) | 4.629454341671531e-267 | (-6.991919901971426e+246 1.3983839803942852e+247) | +nan.0 | valid | exit | 3 | 0.103802 | #f |
| (1.2143584355090095e-272) | 4.0478614516966985e-273 | (-7.33155940312959e+252 1.466311880625918e+253) | +nan.0 | valid | exit | 3 | 0.179977 | #f |
| (-3.8762263800476426e-259) | -1.2920754600158809e-259 | (-4.167509020549909e+239 2.0837545102749545e+239) | +nan.0 | valid | exit | 3 | 0.17099899999999998 | #f |
| (3.1788800854716276e-293) | 1.0596266951572092e-293 | (-2.163894399531685e+273 6.491683198595055e+273) | +nan.0 | valid | exit | 3 | 0.103445 | #f |
| (-1.3881682266354278e-268) | -4.627227422118093e-269 | (-1.3424486211785138e+249 4.474828737261713e+248) | +nan.0 | valid | exit | 3 | 0.20868899999999999 | #f |
| (-3.4572298620414807e-236) | -1.152409954013827e-236 | (-5.515652263101987e+216 2.7578261315509936e+216) | +nan.0 | valid | exit | 2 | 0.184158 | #f |
| (1.4929989558703917e-174) | 4.976663186234639e-175 | (-5.363123171977039e+154 1.0726246343954078e+155) | +nan.0 | valid | exit | 2 | 0.160682 | #f |
| (-2.50885134783579e-144) | -8.3628378261193e-145 | (-8.461516400515182e+124 4.230758200257591e+124) | +nan.0 | valid | exit | 2 | 0.09635200000000001 | #f |
| (-1.32527334543866e-296) | -4.417577818128867e-297 | (-1.3294967190722672e+277 4.431655730240891e+276) | +nan.0 | valid | exit | 3 | 0.10364999999999999 | #f |
| (5.451234544901675e-292) | 1.8170781816338916e-292 | (-1.352433999707303e+272 2.704867999414606e+272) | +nan.0 | valid | exit | 3 | 0.162996 | #f |
| (-5.098729812340665e-288) | -1.699576604113555e-288 | (-3.301840819597908e+268 1.650920409798954e+268) | +nan.0 | valid | exit | 3 | 0.102838 | #f |
| (4.230380044212941e-278) | 1.4101266814043136e-278 | (-1.9219243081740033e+258 3.8438486163480065e+258) | +nan.0 | valid | exit | 3 | 0.172252 | #f |
| (2.75115114941685e-307) | 9.1705038313895e-308 | (-3.0454106285625e+287 6.090821257125e+287) | +nan.0 | valid | exit | 3 | 0.155945 | #f |
| (2.5799697236407874e-300) | 8.599899078802625e-301 | (-3.6304123742133376e+280 7.260824748426675e+280) | +nan.0 | valid | exit | 3 | 0.107082 | #f |
| (8.21660094066429e-272) | 2.7388669802214298e-272 | (-9.164449253911988e+251 1.8328898507823975e+252) | +nan.0 | valid | exit | 3 | 0.17450000000000002 | #f |
| (1.097203528095942e-287) | 3.65734509365314e-288 | (-8.25460204899477e+267 1.650920409798954e+268) | +nan.0 | valid | exit | 3 | 0.173929 | #f |
| (3.2634902759053486e-267) | 1.0878300919684495e-267 | (-2.7967679607885704e+247 5.593535921577141e+247) | +nan.0 | valid | exit | 3 | 0.16905499999999998 | #f |
| (3.0413749071473022e-239) | 1.0137916357157674e-239 | (-2.8240139587082175e+219 5.648027917416435e+219) | +nan.0 | valid | exit | 2 | 0.101862 | #f |
| (2.903291469915023e-268) | 9.677638233050077e-269 | (-2.2374143686308563e+248 6.712243105892569e+248) | +nan.0 | valid | exit | 3 | 0.24213500000000002 | #f |
| (3.53435826888566e-283) | 1.1781194229618867e-283 | (-2.5191046292098296e+263 5.038209258419659e+263) | +nan.0 | valid | exit | 3 | 0.105999 | #f |
| (2.6448194280624037e-297) | 8.816064760208012e-298 | (-3.5453245841927125e+277 7.090649168385425e+277) | +nan.0 | valid | exit | 3 | 0.20231200000000002 | #f |
| (-1.6363957168840073e-263) | -5.454652389613358e-264 | (-1.0242070168903456e+244 3.4140233896344854e+243) | +nan.0 | valid | exit | 3 | 0.179757 | #f |
| (1.0814463155997862e-254) | 3.6048210519992872e-255 | (-6.359114106063704e+234 1.2718228212127408e+235) | +nan.0 | valid | exit | 2 | 0.191113 | #f |
| (1.4592397837950424e-220) | 4.864132612650141e-221 | (-6.123604138321678e+200 6.123604138321678e+200) | +nan.0 | valid | exit | 2 | 0.106612 | #f |
| (6.912118566773063e-287) | 2.3040395222576875e-287 | (-1.0318252561243462e+267 2.0636505122486924e+267) | +nan.0 | valid | exit | 3 | 0.19680199999999998 | #f |
| (-1.1244214787859613e-251) | -3.7480715959532043e-252 | (-1.2420144738405671e+232 6.210072369202836e+231) | +nan.0 | valid | exit | 2 | 0.22717700000000002 | #f |
| (4.51431110619843e-265) | 1.50477036873281e-265 | (-2.1849749693660706e+245 2.1849749693660706e+245) | +nan.0 | valid | exit | 3 | 0.099262 | #f |
| (5.119377813539733e-285) | 1.706459271179911e-285 | (-1.612226962694291e+265 3.224453925388582e+265) | +nan.0 | valid | exit | 3 | 0.190277 | #f |
| (-4.7801702392633026e-281) | -1.5933900797544342e-281 | (-3.936100983140359e+261 1.9680504915701793e+261) | +nan.0 | valid | exit | 3 | 0.104394 | #f |
| (2.169412792811758e-245) | 7.231375976039193e-246 | (-2.961193260766428e+225 5.922386521532856e+225) | +nan.0 | valid | exit | 2 | 0.107964 | #f |
| (1.4811415665233425e-276) | 4.937138555077808e-277 | (-6.00601346304376e+256 6.00601346304376e+256) | +nan.0 | valid | exit | 3 | 0.153086 | #f |
| (1.499712352248316e-278) | 4.9990411741610535e-279 | (-3.8438486163480065e+258 1.153154584904402e+259) | +nan.0 | valid | exit | 3 | 0.16683099999999998 | #f |
| (-3.08706074157949e-247) | -1.0290202471931633e-247 | (-5.6854910606715415e+227 1.895163686890514e+227) | +nan.0 | valid | exit | 2 | 0.100848 | #f |
| (-7.266596587638697e-283) | -2.4221988625462323e-283 | (-1.2595523146049148e+263 1.2595523146049148e+263) | +nan.0 | valid | exit | 3 | 0.102047 | #f |
| (1.582392794657564e-296) | 5.2746426488585465e-297 | (-4.431655730240891e+276 8.863311460481781e+276) | +nan.0 | valid | exit | 3 | 0.164515 | #f |
| (8.866690896368352e-274) | 2.955563632122784e-274 | (-1.1730495045007344e+254 1.1730495045007344e+254) | +nan.0 | valid | exit | 3 | 0.161194 | #f |
| (2.670120365504089e-308) | 8.900401218346963e-309 | (-2.43632850285e+288 4.8726570057e+288) | +nan.0 | valid | exit | 3 | 0.12939900000000001 | #f |
| (1.289553449135352e-295) | 4.29851149711784e-296 | (-5.539569662801113e+275 1.1079139325602226e+276) | +nan.0 | valid | exit | 3 | 0.211589 | #f |
| (9.059409141217235e-247) | 3.0198030470724116e-247 | (-9.47581843445257e+226 1.895163686890514e+227) | +nan.0 | valid | exit | 2 | 0.29131799999999997 | #f |
| (-2.8213098613290622e-18) | -9.404366204430208e-19 | (-0.0625 0.03125) | +nan.0 | valid | exit | 1 | 0.133227 | #f |
| (2.2916195822321192e-304) | 7.638731940773731e-305 | (-2.974033816955566e+284 5.948067633911132e+284) | +nan.0 | valid | exit | 3 | 0.12160399999999999 | #f |
| (1.3241120581459497e-202) | 4.413706860486499e-203 | (-5.311379928167671e+182 1.0622759856335342e+183) | +nan.0 | valid | exit | 2 | 0.189234 | #f |
| (2.852474955427764e-284) | 9.50824985142588e-285 | (-2.0152837033678636e+264 6.045851110103591e+264) | +nan.0 | valid | exit | 3 | 0.100333 | #f |
| (1.5739553869951132e-298) | 5.246517956650377e-299 | (-5.67251933470834e+278 1.134503866941668e+279) | +nan.0 | valid | exit | 3 | 0.10098399999999999 | #f |
| (-6.620003661491458e-289) | -2.2066678871638194e-289 | (-2.6414726556783262e+269 1.3207363278391631e+269) | +nan.0 | valid | exit | 3 | 0.105099 | #f |
| (-1.0669872461492397e-239) | -3.556624153830799e-240 | (-1.6944083752249305e+220 5.648027917416435e+219) | +nan.0 | valid | exit | 2 | 0.166185 | #f |
| (-2.0569728939704668e-228) | -6.85657631323489e-229 | (-4.109481173084667e+208 4.109481173084667e+208) | +nan.0 | valid | exit | 2 | 0.118282 | #f |
| (5.4431169580789836e-291) | 1.8143723193596612e-291 | (-1.6905424996341288e+271 3.3810849992682576e+271) | +nan.0 | valid | exit | 3 | 0.115943 | #f |
| (-4.1604164331681446e-262) | -1.3868054777227149e-262 | (-4.267529237043107e+242 2.1337646185215534e+242) | +nan.0 | valid | exit | 3 | 0.101859 | #f |
| (1.8431170580302904e-271) | 6.143723526767635e-272 | (-4.582224626955994e+251 4.582224626955994e+251) | +nan.0 | valid | exit | 3 | 0.12444499999999999 | #f |
| (8.743686870953226e-253) | 2.914562290317742e-253 | (-9.936115790724537e+232 1.9872231581449074e+233) | +nan.0 | valid | exit | 2 | 0.099761 | #f |
| (-8.859103897536765e-56) | -2.953034632512255e-56 | (-1.9938419936773738e+36 6.64613997892458e+35) | +nan.0 | valid | exit | 1 | 0.046803 | #f |
| (-4.5699999978829346e-235) | -1.5233333326276449e-235 | (-3.447282664438742e+215 1.723641332219371e+215) | +nan.0 | valid | exit | 2 | 0.10274699999999999 | #f |
| (-1.8900008128250956e-245) | -6.300002709416985e-246 | (-8.883579782299284e+225 2.961193260766428e+225) | +nan.0 | valid | exit | 2 | 0.097996 | #f |
| (-1.9200519024771912e-292) | -6.400173008257304e-293 | (-1.0819471997658424e+273 5.409735998829212e+272) | +nan.0 | valid | exit | 3 | 0.094774 | #f |
| (0.020614351414690684) | 0.006871645148314239 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 0 | 5.0 | #f |
| (1.6480914399392163e-241) | 5.493638133130721e-242 | (-3.6147378671465184e+221 1.0844213601439555e+222) | +nan.0 | valid | exit | 2 | 0.122867 | #f |
| (-5.892698685062377e-252) | -1.9642328950207923e-252 | (-2.4840289476811343e+232 1.2420144738405671e+232) | +nan.0 | valid | exit | 2 | 0.105078 | #f |
| (-2.356274520956906e-308) | -7.854248403189687e-309 | (-7.308985508549999e+288 2.43632850285e+288) | +nan.0 | valid | exit | 3 | 0.104744 | #f |
| (9.484640168269152e-255) | 3.161546722756384e-255 | (-6.359114106063704e+234 1.2718228212127408e+235) | +nan.0 | valid | exit | 2 | 0.134208 | #f |
| (2.7776866240272983e-238) | 9.258955413424328e-239 | (-3.530017448385272e+218 3.530017448385272e+218) | +nan.0 | valid | exit | 2 | 0.105275 | #f |
| (-2.2442514605945465e-292) | -7.480838201981822e-293 | (-8.114603998243818e+272 2.704867999414606e+272) | +nan.0 | valid | exit | 3 | 0.105869 | #f |
| (1.940625691130223e-264) | 6.46875230376741e-265 | (-5.462437423415177e+244 5.462437423415177e+244) | +nan.0 | valid | exit | 3 | 0.10954 | #f |
| (1.0135155816347999e-291) | 3.3783852721159997e-292 | (-6.762169998536515e+271 1.352433999707303e+272) | +nan.0 | valid | exit | 3 | 0.106242 | #f |
| (7.711466310913515e-251) | 2.570488770304505e-251 | (-7.762590461503545e+230 2.3287771384510634e+231) | +nan.0 | valid | exit | 2 | 0.09919 | #f |
| (4.104394567076094e-250) | 1.368131522358698e-250 | (-1.9406476153758862e+230 1.9406476153758862e+230) | +nan.0 | valid | exit | 2 | 0.095358 | #f |
| (-1.2810081877449233e-264) | -4.270027292483078e-265 | (-1.0924874846830353e+245 5.462437423415177e+244) | +nan.0 | valid | exit | 3 | 0.11739300000000001 | #f |
| (-5.99718197377032e-272) | -1.99906065792344e-272 | (-2.7493347761735963e+252 9.164449253911988e+251) | +nan.0 | valid | exit | 3 | 0.206818 | #f |
| (-2.3835713983636657e-191) | -7.945237994545552e-192 | (-7.729075046034517e+171 3.8645375230172583e+171) | +nan.0 | valid | exit | 2 | 0.163657 | #f |
| (-8.711590775715622e-246) | -2.9038635919052074e-246 | (-2.3689546086131423e+226 1.1844773043065711e+226) | +nan.0 | valid | exit | 2 | 0.116239 | #f |
| (4.4072100839239824e-268) | 1.4690700279746608e-268 | (-2.2374143686308563e+248 4.474828737261713e+248) | +nan.0 | valid | exit | 3 | 0.201637 | #f |
| (-2.3608685708924704e-193) | -7.869561902974901e-194 | (-4.946608029462091e+173 2.4733040147310453e+173) | +nan.0 | valid | exit | 2 | 0.117298 | #f |
| (2.3858834224562292e-182) | 7.952944741520763e-183 | (-3.599131035634557e+162 7.198262071269114e+162) | +nan.0 | valid | exit | 2 | 0.16639199999999998 | #f |
| (-1.391425632520346e-155) | -4.638085441734487e-156 | (-1.162941958872971e+136 5.814709794364855e+135) | +nan.0 | valid | exit | 2 | 0.191836 | #f |
| (8.725145484071147e-172) | 2.9083818280237156e-172 | (-1.0474849945267654e+152 2.094969989053531e+152) | +nan.0 | valid | exit | 2 | 0.105309 | #f |
| (3.822053166363743e-280) | 1.2740177221212476e-280 | (-2.4600631144627242e+260 2.4600631144627242e+260) | +nan.0 | valid | exit | 3 | 0.20067500000000002 | #f |
| (3.300075760953903e-275) | 1.1000252536513011e-275 | (-1.876879207201175e+255 3.75375841440235e+255) | +nan.0 | valid | exit | 3 | 0.107034 | #f |
| (-2.0408320970877916e-263) | -6.8027736569593054e-264 | (-6.828046779268971e+243 3.4140233896344854e+243) | +nan.0 | valid | exit | 3 | 0.15076799999999999 | #f |
| (-1.0764289846375435e-293) | -3.588096615458478e-294 | (-1.731115519625348e+274 8.65557759812674e+273) | +nan.0 | valid | exit | 3 | 0.104313 | #f |
| (-3.86054454193546e-259) | -1.2868481806451532e-259 | (-2.0837545102749545e+239 2.0837545102749545e+239) | +nan.0 | valid | exit | 3 | 0.19511699999999998 | #f |
| (-3.3025768368200934e-228) | -1.1008589456066978e-228 | (-4.109481173084667e+208 2.0547405865423334e+208) | +nan.0 | valid | exit | 2 | 0.13151300000000002 | #f |
| (-1.0629372167194787e-276) | -3.543124055731596e-277 | (-1.801804038913128e+257 6.00601346304376e+256) | +nan.0 | valid | exit | 3 | 0.175034 | #f |
| (-2.0727961247348038e-293) | -6.90932041578268e-294 | (-4.32778879906337e+273 4.32778879906337e+273) | +nan.0 | valid | exit | 3 | 0.212717 | #f |
| (1.2168542491039818e-257) | 4.056180830346606e-258 | (-6.511732844609233e+237 1.3023465689218465e+238) | +nan.0 | valid | exit | 2 | 0.18698700000000001 | #f |
| (-2.8834822382445234e-305) | -9.611607460815078e-306 | (-7.137681160693359e+285 2.379227053564453e+285) | +nan.0 | valid | exit | 3 | 0.209708 | #f |
| (1.2094107028667748e-235) | 4.031369009555916e-236 | (-6.894565328877484e+215 1.3789130657754968e+216) | +nan.0 | valid | exit | 2 | 0.192599 | #f |
| (-3.003392436428165e-272) | -1.0011308121427217e-272 | (-5.4986695523471926e+252 1.8328898507823975e+252) | +nan.0 | valid | exit | 3 | 0.169103 | #f |
| (2.492102024795157e-282) | 8.30700674931719e-283 | (-3.148880786512287e+262 6.297761573024574e+262) | +nan.0 | valid | exit | 3 | 0.097185 | #f |
| (-5.236640969931655e-273) | -1.7455469899772184e-273 | (-2.932623761251836e+253 1.466311880625918e+253) | +nan.0 | valid | exit | 3 | 0.106617 | #f |
| (7.348146948405156e-272) | 2.449382316135052e-272 | (-9.164449253911988e+251 1.8328898507823975e+252) | +nan.0 | valid | exit | 3 | 0.121384 | #f |
| (-9.737456970592312e-212) | -3.2458189901974374e-212 | (-1.7109152316083232e+192 5.703050772027744e+191) | +nan.0 | valid | exit | 2 | 0.182985 | #f |
| (2.595828184336962e-279) | 8.65276061445654e-280 | (-3.0750788930784052e+259 6.150157786156811e+259) | +nan.0 | valid | exit | 3 | 0.114676 | #f |
| (4.569217265389556e-309) | 1.52307242179652e-309 | (-1.94906280228e+289 1.94906280228e+289) | +nan.0 | valid | exit | 3 | 0.106673 | #f |
| (4.887446216457672e-306) | 1.629148738819224e-306 | (-1.9033816428515623e+286 3.806763285703125e+286) | +nan.0 | valid | exit | 3 | 0.10676899999999999 | #f |
| (7.243374842051773e-247) | 2.4144582806839244e-247 | (-9.47581843445257e+226 1.895163686890514e+227) | +nan.0 | valid | exit | 2 | 0.10841 | #f |
| (-8.228203777459286e-134) | -2.742734592486429e-134 | (-1.2313126936373275e+114 1.2313126936373275e+114) | +nan.0 | valid | exit | 2 | 0.215054 | #f |
| (1.4647232250639983e-240) | 4.882410750213328e-241 | (-4.518422333933148e+220 1.3555267001799444e+221) | +nan.0 | valid | exit | 2 | 0.158353 | #f |
| (3.0878889819459868e-298) | 1.029296327315329e-298 | (-2.83625966735417e+278 2.83625966735417e+278) | +nan.0 | valid | exit | 3 | 0.136543 | #f |
| (2.3876788277426734e-286) | 7.958929425808911e-287 | (-2.5795631403108655e+266 7.738689420932596e+266) | +nan.0 | valid | exit | 3 | 0.099268 | #f |
| (-8.641392094851834e-284) | -2.880464031617278e-284 | (-1.0076418516839318e+264 1.0076418516839318e+264) | +nan.0 | valid | exit | 3 | 0.17976 | #f |
| (-1.2001908437267535e-251) | -4.000636145755845e-252 | (-1.8630217107608507e+232 6.210072369202836e+231) | +nan.0 | valid | exit | 2 | 0.249143 | #f |
| (9.685701002365135e-229) | 3.2285670007883784e-229 | (-8.218962346169334e+208 1.6437924692338667e+209) | +nan.0 | valid | exit | 2 | 0.15179399999999998 | #f |
| (-3.1157694872643027e-273) | -1.0385898290881009e-273 | (-5.865247522503672e+253 2.932623761251836e+253) | +nan.0 | valid | exit | 3 | 0.104783 | #f |
| (-1.4588521118911845e-241) | -4.862840372970615e-242 | (-1.4458951468586074e+222 7.229475734293037e+221) | +nan.0 | valid | exit | 2 | 0.14984899999999998 | #f |
| (-2.511897271932742e-232) | -8.372990906442473e-233 | (-6.732973953981918e+212 3.366486976990959e+212) | +nan.0 | valid | exit | 2 | 0.19815 | #f |
| (-3.16774059919519e-265) | -1.0559135330650633e-265 | (-4.3699499387321413e+245 2.1849749693660706e+245) | +nan.0 | valid | exit | 3 | 0.174302 | #f |
| (-9.077043118852877e-242) | -3.0256810396176256e-242 | (-1.4458951468586074e+222 7.229475734293037e+221) | +nan.0 | valid | exit | 2 | 0.097204 | #f |
| (-1.3121104842003722e-301) | -4.3737016140012406e-302 | (-1.161731959748268e+282 5.80865979874134e+281) | +nan.0 | valid | exit | 3 | 0.10630099999999999 | #f |
| (5.226065558986772e-303) | 1.7420218529955907e-303 | (-1.858771135597229e+283 3.717542271194458e+283) | +nan.0 | valid | exit | 3 | 0.103644 | #f |
| (6.631752823472945e-305) | 2.2105842744909817e-305 | (-1.1896135267822265e+285 2.379227053564453e+285) | +nan.0 | valid | exit | 3 | 0.21075 | #f |
| (-5.62088703313866e-284) | -1.87362901104622e-284 | (-3.0229255550517955e+264 1.0076418516839318e+264) | +nan.0 | valid | exit | 3 | 0.172507 | #f |
| (4.190196792673166e-287) | 1.3967322642243887e-287 | (-2.0636505122486924e+267 4.127301024497385e+267) | +nan.0 | valid | exit | 3 | 0.10132 | #f |
| (-4.5711411758439897e-215) | -1.52371372528133e-215 | (-2.335969596222564e+195 2.335969596222564e+195) | +nan.0 | valid | exit | 2 | 0.102452 | #f |
| (-2.0437956560162377e-280) | -6.812652186720792e-281 | (-9.840252457850897e+260 4.9201262289254483e+260) | +nan.0 | valid | exit | 3 | 0.20605600000000002 | #f |
| (-3.1115459838182557e-156) | -1.0371819946060852e-156 | (-4.651767835491884e+136 2.325883917745942e+136) | +nan.0 | valid | exit | 2 | 0.200059 | #f |
| (-4.455546139760127e-291) | -1.485182046586709e-291 | (-3.3810849992682576e+271 1.6905424996341288e+271) | +nan.0 | valid | exit | 3 | 0.10177499999999999 | #f |
| (-9.992913277376611e-294) | -3.3309710924588705e-294 | (-8.65557759812674e+273 8.65557759812674e+273) | +nan.0 | valid | exit | 3 | 0.103404 | #f |
| (1.3624494316189996e-192) | 4.541498105396665e-193 | (-6.183260036827614e+172 1.2366520073655227e+173) | +nan.0 | valid | exit | 2 | 0.107947 | #f |
| (2.2906137054269868e-229) | 7.635379018089956e-230 | (-3.2875849384677334e+209 6.575169876935467e+209) | +nan.0 | valid | exit | 2 | 0.10134800000000001 | #f |
| (-4.216539887604478e-305) | -1.4055132958681593e-305 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 3 | 5.0 | #f |
| (-4.242481755168255e-124) | -1.414160585056085e-124 | (-4.300309904981384e+104 1.4334366349937947e+104) | +nan.0 | valid | exit | 2 | 0.097624 | #f |
| (6.0098966578093116e-297) | 2.0032988859364372e-297 | (-1.7726622920963562e+277 1.7726622920963562e+277) | +nan.0 | valid | exit | 3 | 0.11599799999999999 | #f |
| (3.583968192285444e-212) | 1.194656064095148e-212 | (-2.2812203088110976e+192 4.562440617622195e+192) | +nan.0 | valid | exit | 2 | 0.089608 | #f |
| (-4.008023717088641e-283) | -1.3360079056962136e-283 | (-5.038209258419659e+263 2.5191046292098296e+263) | +nan.0 | valid | exit | 3 | 0.152798 | #f |
| (-1.0101304670244733e-251) | -3.3671015567482444e-252 | (-1.8630217107608507e+232 6.210072369202836e+231) | +nan.0 | valid | exit | 2 | 0.197286 | #f |
| (7.052312000945992e-264) | 2.3507706669819973e-264 | (-1.3656093558537942e+244 1.3656093558537942e+244) | +nan.0 | valid | exit | 3 | 0.099489 | #f |
| (-6.032378768087573e-269) | -2.0107929226958576e-269 | (-3.57986298980937e+249 1.789931494904685e+249) | +nan.0 | valid | exit | 3 | 0.122055 | #f |
| (3.535575109590778e-193) | 1.1785250365302594e-193 | (-2.4733040147310453e+173 4.946608029462091e+173) | +nan.0 | valid | exit | 2 | 0.117209 | #f |
| (1.2211659579395258e-256) | 4.0705531931317525e-257 | (-8.139666055761541e+236 1.6279332111523082e+237) | +nan.0 | valid | exit | 2 | 0.101651 | #f |
| (3.258950478428349e-273) | 1.086316826142783e-273 | (-2.932623761251836e+253 5.865247522503672e+253) | +nan.0 | valid | exit | 3 | 0.19104 | #f |
| (-6.439355154527731e-277) | -2.1464517181759103e-277 | (-2.402405385217504e+257 1.201202692608752e+257) | +nan.0 | valid | exit | 3 | 0.231467 | #f |
| (6.983614648435372e-216) | 2.3278715494784574e-216 | (-9.343878384890256e+195 1.8687756769780512e+196) | +nan.0 | valid | exit | 2 | 0.174687 | #f |
| (9.232866806662553e-211) | 3.0776222688875175e-211 | (-7.12881346503468e+190 1.425762693006936e+191) | +nan.0 | valid | exit | 2 | 0.195668 | #f |
| (9.343872294189535e-203) | 3.1146240980631785e-203 | (-1.0622759856335342e+183 2.1245519712670684e+183) | +nan.0 | valid | exit | 2 | 0.121654 | #f |
| (-3.1586271055736765e-257) | -1.0528757018578922e-257 | (-6.511732844609233e+237 3.2558664223046163e+237) | +nan.0 | valid | exit | 2 | 0.201903 | #f |
| (5.412125464197334e-303) | 1.8040418213991114e-303 | (-1.858771135597229e+283 3.717542271194458e+283) | +nan.0 | valid | exit | 3 | 0.22238 | #f |
| (-3.5198867195213935e-280) | -1.1732955731737978e-280 | (-4.9201262289254483e+260 2.4600631144627242e+260) | +nan.0 | valid | exit | 3 | 0.105424 | #f |
| (8.765395595917676e-285) | 2.9217985319725586e-285 | (-8.061134813471455e+264 1.612226962694291e+265) | +nan.0 | valid | exit | 3 | 0.11144 | #f |
| (-1.1566203577268346e-287) | -3.855401192422782e-288 | (-1.650920409798954e+268 8.25460204899477e+267) | +nan.0 | valid | exit | 3 | 0.10322 | #f |
| (2.0903606773930794e-285) | 6.967868924643598e-286 | (-3.224453925388582e+265 9.673361776165745e+265) | +nan.0 | valid | exit | 3 | 0.158717 | #f |
| (4.428916171412875e-298) | 1.4763053904709583e-298 | (-1.418129833677085e+278 2.83625966735417e+278) | +nan.0 | valid | exit | 3 | 0.114035 | #f |
| (-1.87706531504167e-296) | -6.256884383472234e-297 | (-8.863311460481781e+276 4.431655730240891e+276) | +nan.0 | valid | exit | 3 | 0.100686 | #f |
| (3.6945422956561625e-242) | 1.2315140985520542e-242 | (-2.891790293717215e+222 2.891790293717215e+222) | +nan.0 | valid | exit | 2 | 0.110976 | #f |
| (-7.353419617383799e-213) | -2.4511398724612664e-213 | (-1.824976247048878e+193 9.12488123524439e+192) | +nan.0 | valid | exit | 2 | 0.226533 | #f |
| (2.74186616350403e-299) | 9.139553878346767e-300 | (-2.269007733883336e+279 4.538015467766672e+279) | +nan.0 | valid | exit | 3 | 0.113182 | #f |
| (-2.2156636200046686e-280) | -7.385545400015562e-281 | (-7.380189343388173e+260 2.4600631144627242e+260) | +nan.0 | valid | exit | 3 | 0.16197299999999998 | #f |
| (-1.0394572999573941e-249) | -3.464857666524647e-250 | (-1.9406476153758862e+230 9.703238076879431e+229) | +nan.0 | valid | exit | 2 | 0.101976 | #f |
| (-4.389403053933639e-202) | -1.463134351311213e-202 | (-3.983534946125753e+182 1.3278449820419177e+182) | +nan.0 | valid | exit | 2 | 0.241831 | #f |
| (3.235061515556439e-230) | 1.078353838518813e-230 | (-2.630067950774187e+210 2.630067950774187e+210) | +nan.0 | valid | exit | 2 | 0.24050100000000002 | #f |
| (-2.093931484480679e-278) | -6.979771614935597e-279 | (-7.687697232696013e+258 3.8438486163480065e+258) | +nan.0 | valid | exit | 3 | 0.167551 | #f |
| (6.026214169051753e-249) | 2.0087380563505844e-249 | (-1.2129047596099289e+229 2.4258095192198577e+229) | +nan.0 | valid | exit | 2 | 0.09826800000000001 | #f |
| (1.2260387935857454e-304) | 4.0867959786191513e-305 | (-5.948067633911132e+284 1.7844202901733397e+285) | +nan.0 | valid | exit | 3 | 0.137286 | #f |
| (3.401454795561905e-296) | 1.1338182651873016e-296 | (-2.2158278651204453e+276 4.431655730240891e+276) | +nan.0 | valid | exit | 3 | 0.090863 | #f |
| (2.6815387349424745e-247) | 8.938462449808248e-248 | (-3.790327373781028e+227 3.790327373781028e+227) | +nan.0 | valid | exit | 2 | 0.161698 | #f |
| (-5.406460752576045e-276) | -1.802153584192015e-276 | (-3.00300673152188e+256 1.50150336576094e+256) | +nan.0 | valid | exit | 3 | 0.145086 | #f |
| (8.353762685959491e-252) | 2.784587561986497e-252 | (-1.2420144738405671e+232 2.4840289476811343e+232) | +nan.0 | valid | exit | 2 | 0.190313 | #f |
| (-1.0295910250565449e-281) | -3.4319700835218163e-282 | (-1.5744403932561435e+262 7.872201966280717e+261) | +nan.0 | valid | exit | 3 | 0.11937700000000001 | #f |
| (-1.518635663682116e-282) | -5.062118878940386e-283 | (-6.297761573024574e+262 6.297761573024574e+262) | +nan.0 | valid | exit | 3 | 0.1918 | #f |
| (6.7756894103152e-298) | 2.2585631367717333e-298 | (-1.418129833677085e+278 1.418129833677085e+278) | +nan.0 | valid | exit | 3 | 0.107581 | #f |
| (2.6849622774529103e-265) | 8.949874258176368e-266 | (-2.1849749693660706e+245 6.554924908098212e+245) | +nan.0 | valid | exit | 3 | 0.167066 | #f |
| (1.348818541828074e-307) | 4.49606180609358e-308 | (-6.090821257125e+287 1.218164251425e+288) | +nan.0 | valid | exit | 3 | 0.111546 | #f |
| (-3.233386515119122e-210) | -1.0777955050397074e-210 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 2 | 5.0 | #f |
| (-1.0238047526924657e-275) | -3.4126825089748857e-276 | (-1.50150336576094e+256 7.5075168288047e+255) | +nan.0 | valid | exit | 3 | 0.11224300000000001 | #f |
| (-1.0970152557768746e-269) | -3.6567175192562486e-270 | (-1.431945195923748e+250 7.15972597961874e+249) | +nan.0 | valid | exit | 3 | 0.120939 | #f |
| (8.434431559984817e-278) | 2.8114771866616058e-278 | (-9.609621540870016e+257 1.9219243081740033e+258) | +nan.0 | valid | exit | 3 | 0.10315300000000001 | #f |
| (4.158359713860929e-281) | 1.3861199046203096e-281 | (-1.9680504915701793e+261 3.936100983140359e+261) | +nan.0 | valid | exit | 3 | 0.10907 | #f |
| (1.0477729863817926e-306) | 3.492576621272642e-307 | (-7.61352657140625e+286 1.52270531428125e+287) | +nan.0 | valid | exit | 3 | 0.109387 | #f |
| (-1.575936718016608e-297) | -5.253122393388694e-298 | (-1.0635973752578137e+278 3.5453245841927125e+277) | +nan.0 | valid | exit | 3 | 0.129274 | #f |
| (-6.959221680508967e-295) | -2.3197405601696557e-295 | (-2.7697848314005566e+275 1.3848924157002783e+275) | +nan.0 | valid | exit | 3 | 0.102479 | #f |
| (-1.3285206295025336e-300) | -4.4284020983417785e-301 | (-7.260824748426675e+280 7.260824748426675e+280) | +nan.0 | valid | exit | 3 | 0.11428400000000001 | #f |
| (7.343826592778658e-287) | 2.447942197592886e-287 | (-1.0318252561243462e+267 2.0636505122486924e+267) | +nan.0 | valid | exit | 3 | 0.11658 | #f |
| (5.416083114055393e-302) | 1.8053610380184645e-302 | (-1.161731959748268e+282 3.485195879244804e+282) | +nan.0 | valid | exit | 3 | 0.112454 | #f |
| (3.0862358604845012e-291) | 1.028745286828167e-291 | (-3.3810849992682576e+271 3.3810849992682576e+271) | +nan.0 | valid | exit | 3 | 0.10442000000000001 | #f |
| (-8.55901600232252e-185) | -2.8530053341075067e-185 | (-1.8427550902448932e+165 9.213775451224466e+164) | +nan.0 | valid | exit | 2 | 0.191583 | #f |
| (4.9104322497993496e-294) | 1.6368107499331165e-294 | (-1.731115519625348e+274 3.462231039250696e+274) | +nan.0 | valid | exit | 3 | 0.10106 | #f |
| (2.3343657635501093e-286) | 7.781219211833698e-287 | (-2.5795631403108655e+266 7.738689420932596e+266) | +nan.0 | valid | exit | 3 | 0.116172 | #f |
| (8.713053450927117e-277) | 2.904351150309039e-277 | (-1.201202692608752e+257 1.201202692608752e+257) | +nan.0 | valid | exit | 3 | 0.156053 | #f |
| (-1.7469153749975665e-243) | -5.8230512499918884e-244 | (-9.253728939895087e+223 4.626864469947544e+223) | +nan.0 | valid | exit | 2 | 0.117009 | #f |
| (-6.835886119790224e-296) | -2.2786287065967413e-296 | (-2.2158278651204453e+276 1.1079139325602226e+276) | +nan.0 | valid | exit | 3 | 0.10320800000000001 | #f |
| (-1.2048672875830266e-291) | -4.016224291943422e-292 | (-1.352433999707303e+272 6.762169998536515e+271) | +nan.0 | valid | exit | 3 | 0.161404 | #f |
| (1.5859966899356955e-288) | 5.286655633118985e-289 | (-6.603681639195816e+268 6.603681639195816e+268) | +nan.0 | valid | exit | 3 | 0.159298 | #f |
| (1.889640621421979e-306) | 6.298802071406597e-307 | (-3.806763285703125e+286 7.61352657140625e+286) | +nan.0 | valid | exit | 3 | 0.103292 | #f |
| (4.1769556775721946e-300) | 1.3923185591907315e-300 | (-1.8152061871066688e+280 3.6304123742133376e+280) | +nan.0 | valid | exit | 3 | 0.16611800000000002 | #f |
| (4.215051171736887e-239) | 1.405017057245629e-239 | (-1.4120069793541087e+219 2.8240139587082175e+219) | +nan.0 | valid | exit | 2 | 0.12463400000000001 | #f |
| (2.1055494758887455e-301) | 7.018498252962485e-302 | (-2.90432989937067e+281 5.80865979874134e+281) | +nan.0 | valid | exit | 3 | 0.14782099999999998 | #f |
| (1.9426966698772318e-295) | 6.475655566257439e-296 | (-5.539569662801113e+275 5.539569662801113e+275) | +nan.0 | valid | exit | 3 | 0.237381 | #f |
| (4.980320168768004e-235) | 1.660106722922668e-235 | (-1.723641332219371e+215 3.447282664438742e+215) | +nan.0 | valid | exit | 2 | 0.233723 | #f |
| (6.132726751110958e-156) | 2.0442422503703193e-156 | (-1.162941958872971e+136 2.325883917745942e+136) | +nan.0 | valid | exit | 2 | 0.210287 | #f |
| (-2.3258439874964545e-303) | -7.752813291654848e-304 | (-7.435084542388915e+283 3.717542271194458e+283) | +nan.0 | valid | exit | 3 | 0.160212 | #f |
| (-5.299413873469649e-271) | -1.7664712911565497e-271 | (-3.4366684702169953e+251 1.1455561567389984e+251) | +nan.0 | valid | exit | 3 | 0.215689 | #f |
| (4.011383316313136e-264) | 1.3371277721043787e-264 | (-1.3656093558537942e+244 4.0968280675613825e+244) | +nan.0 | valid | exit | 3 | 0.16522299999999998 | #f |
| (-4.09204492238725e-248) | -1.3640149741290834e-248 | (-4.548392848537233e+228 1.516130949512411e+228) | +nan.0 | valid | exit | 2 | 0.118113 | #f |
| (3.590019278917519e-308) | 1.1966730929725063e-308 | (-2.43632850285e+288 2.43632850285e+288) | +nan.0 | valid | exit | 3 | 0.11152100000000001 | #f |
| (-5.73569865461534e-275) | -1.9118995515384468e-275 | (-3.75375841440235e+255 1.876879207201175e+255) | +nan.0 | valid | exit | 3 | 0.207187 | #f |
| (-1.4744149824818245e-265) | -4.9147166082727483e-266 | (-1.3109849816196424e+246 4.3699499387321413e+245) | +nan.0 | valid | exit | 3 | 0.162219 | #f |
| (-8.798357670394681e-266) | -2.9327858901315605e-266 | (-1.7479799754928565e+246 8.739899877464283e+245) | +nan.0 | valid | exit | 3 | 0.158645 | #f |
| (-5.793512716424096e-237) | -1.9311709054746987e-237 | (-3.3093913578611924e+217 1.1031304526203975e+217) | +nan.0 | valid | exit | 2 | 0.267292 | #f |
| (1.1364336678097422e-269) | 3.788112226032474e-270 | (-7.15972597961874e+249 1.431945195923748e+250) | +nan.0 | valid | exit | 3 | 0.190443 | #f |
| (-2.4330016959686585e-302) | -8.110005653228862e-303 | (-6.970391758489608e+282 2.323463919496536e+282) | +nan.0 | valid | exit | 3 | 0.165746 | #f |
| (2.323682281391208e-299) | 7.74560760463736e-300 | (-4.538015467766672e+279 4.538015467766672e+279) | +nan.0 | valid | exit | 3 | 0.10469 | #f |
| (-8.792744000311974e-282) | -2.930914666770658e-282 | (-1.5744403932561435e+262 7.872201966280717e+261) | +nan.0 | valid | exit | 3 | 0.12015 | #f |
| (3.966202634055665e-297) | 1.3220675446852217e-297 | (-1.7726622920963562e+277 3.5453245841927125e+277) | +nan.0 | valid | exit | 3 | 0.11634 | #f |
| (-1.7316619914840972e-290) | -5.772206638280324e-291 | (-8.452712498170644e+270 4.226356249085322e+270) | +nan.0 | valid | exit | 3 | 0.105588 | #f |
| (-9.12237936923623e-255) | -3.0407931230787435e-255 | (-1.2718228212127408e+235 6.359114106063704e+234) | +nan.0 | valid | exit | 2 | 0.170896 | #f |
| (-4.2038056705036135e-292) | -1.4012685568345378e-292 | (-4.057301999121909e+272 1.352433999707303e+272) | +nan.0 | valid | exit | 3 | 0.30017299999999997 | #f |
| (9.623293109507372e-237) | 3.207764369835791e-237 | (-1.1031304526203975e+217 1.1031304526203975e+217) | +nan.0 | valid | exit | 2 | 0.217607 | #f |
| (-2.5325425156598126e-295) | -8.441808385532709e-296 | (-8.30935449420167e+275 2.7697848314005566e+275) | +nan.0 | valid | exit | 3 | 0.16031800000000002 | #f |
| (2.0274478414954817e-289) | 6.758159471651606e-290 | (-5.282945311356653e+269 5.282945311356653e+269) | +nan.0 | valid | exit | 3 | 0.12997599999999998 | #f |
| (6.001302885120633e-271) | 2.0004342950402111e-271 | (-1.1455561567389984e+251 3.4366684702169953e+251) | +nan.0 | valid | exit | 3 | 0.268386 | #f |
| (2.6209116239521317e-275) | 8.736372079840439e-276 | (-3.75375841440235e+255 7.5075168288047e+255) | +nan.0 | valid | exit | 3 | 0.210497 | #f |
| (-3.1099185033065196e-297) | -1.0366395011021732e-297 | (-5.317986876289069e+277 1.7726622920963562e+277) | +nan.0 | valid | exit | 3 | 0.101803 | #f |
| (-6.469097539919575e-281) | -2.1563658466398583e-281 | (-2.952075737355269e+261 9.840252457850897e+260) | +nan.0 | valid | exit | 3 | 0.100247 | #f |
| (-2.856110578313155e-299) | -9.520368594377184e-300 | (-4.538015467766672e+279 2.269007733883336e+279) | +nan.0 | valid | exit | 3 | 0.113072 | #f |
| (-1.398738773836883e-299) | -4.6624625794562764e-300 | (-9.076030935533344e+279 4.538015467766672e+279) | +nan.0 | valid | exit | 3 | 0.124076 | #f |
| (2.691353115704065e-308) | 8.971177052346883e-309 | (-2.43632850285e+288 7.308985508549999e+288) | +nan.0 | valid | exit | 3 | 0.106051 | #f |
| (6.6352458494415e-245) | 2.2117486164805e-245 | (-1.480596630383214e+225 2.961193260766428e+225) | +nan.0 | valid | exit | 2 | 0.24843 | #f |
| (2.0650641826087294e-285) | 6.883547275362431e-286 | (-3.224453925388582e+265 6.448907850777164e+265) | +nan.0 | valid | exit | 3 | 0.10625699999999999 | #f |
| (-2.2292890108587246e-284) | -7.430963369529082e-285 | (-8.061134813471455e+264 4.0305674067357273e+264) | +nan.0 | valid | exit | 3 | 0.128233 | #f |
| (3.724338905817813e-281) | 1.241446301939271e-281 | (-1.9680504915701793e+261 3.936100983140359e+261) | +nan.0 | valid | exit | 3 | 0.274638 | #f |
| (-7.241629363696853e-272) | -2.4138764545656177e-272 | (-1.8328898507823975e+252 9.164449253911988e+251) | +nan.0 | valid | exit | 3 | 0.151006 | #f |
| (-3.916907720434048e-277) | -1.3056359068113493e-277 | (-4.804810770435008e+257 2.402405385217504e+257) | +nan.0 | valid | exit | 3 | 0.2609 | #f |
| (1.9361883133285604e-298) | 6.453961044428535e-299 | (-2.83625966735417e+278 8.50877900206251e+278) | +nan.0 | valid | exit | 3 | 0.25362399999999996 | #f |
| (4.631893008002375e-242) | 1.5439643360007918e-242 | (-1.4458951468586074e+222 4.337685440575822e+222) | +nan.0 | valid | exit | 2 | 0.09816699999999999 | #f |
| (1.0739590880815995e-290) | 3.579863626938665e-291 | (-8.452712498170644e+270 1.6905424996341288e+271) | +nan.0 | valid | exit | 3 | 0.110027 | #f |
| (-2.43863095155761e-253) | -8.128769838525367e-254 | (-7.94889263257963e+233 3.974446316289815e+233) | +nan.0 | valid | exit | 2 | 0.15827 | #f |
| (-4.614455124294749e-297) | -1.5381517080982496e-297 | (-3.5453245841927125e+277 1.7726622920963562e+277) | +nan.0 | valid | exit | 3 | 0.097509 | #f |
| (8.051665742453813e-303) | 2.6838885808179375e-303 | (-9.293855677986144e+282 1.858771135597229e+283) | +nan.0 | valid | exit | 3 | 0.10327099999999999 | #f |
| (1.621919552756174e-230) | 5.406398509187247e-231 | (-5.260135901548374e+210 1.0520271803096747e+211) | +nan.0 | valid | exit | 2 | 0.11396999999999999 | #f |
| (-1.2486869757106353e-282) | -4.162289919035451e-283 | (-1.2595523146049148e+263 6.297761573024574e+262) | +nan.0 | valid | exit | 3 | 0.10163299999999999 | #f |
| (4.351248727084165e-288) | 1.4504162423613882e-288 | (-1.650920409798954e+268 3.301840819597908e+268) | +nan.0 | valid | exit | 3 | 0.158863 | #f |
| (-4.0676076991521937e-293) | -1.3558692330507312e-293 | (-4.32778879906337e+273 2.163894399531685e+273) | +nan.0 | valid | exit | 3 | 0.101326 | #f |
| (2.9117971227885422e-264) | 9.705990409295141e-265 | (-2.7312187117075883e+244 5.462437423415177e+244) | +nan.0 | valid | exit | 3 | 0.185695 | #f |
| (2.6348008928201236e-271) | 8.782669642733745e-272 | (-2.291112313477997e+251 6.873336940433991e+251) | +nan.0 | valid | exit | 3 | 0.12781700000000001 | #f |
| (-8.565055394466908e-298) | -2.8550184648223026e-298 | (-2.1271947505156275e+278 7.090649168385425e+277) | +nan.0 | valid | exit | 3 | 0.16414 | #f |
| (7.6954785889921e-282) | 2.5651595296640333e-282 | (-7.872201966280717e+261 2.3616605898842152e+262) | +nan.0 | valid | exit | 3 | 0.100657 | #f |
| (-1.4341736362506825e-298) | -4.780578787502275e-299 | (-1.134503866941668e+279 5.67251933470834e+278) | +nan.0 | valid | exit | 3 | 0.101685 | #f |
| (-1.8144035395156233e-261) | -6.048011798385411e-262 | (-5.334411546303884e+241 5.334411546303884e+241) | +nan.0 | valid | exit | 3 | 0.215324 | #f |
| (-2.348337766644078e-290) | -7.82779255548026e-291 | (-8.452712498170644e+270 4.226356249085322e+270) | +nan.0 | valid | exit | 3 | 0.10150999999999999 | #f |
| (4.9893681713854433e-290) | 1.6631227237951478e-290 | (-2.113178124542661e+270 4.226356249085322e+270) | +nan.0 | valid | exit | 3 | 0.10147 | #f |
| (1.6182717390817657e-274) | 5.3942391302725524e-275 | (-4.692198018002938e+254 9.384396036005875e+254) | +nan.0 | valid | exit | 3 | 0.10665899999999999 | #f |
| (-7.484870175884021e-256) | -2.4949567252946737e-256 | (-2.0349165139403852e+236 1.0174582569701926e+236) | +nan.0 | valid | exit | 2 | 0.21706 | #f |
| (6.748841995714622e-228) | 2.2496139985715408e-228 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 2 | 5.0 | #f |
| (-1.2876780246594578e-273) | -4.292260082198193e-274 | (-1.1730495045007344e+254 5.865247522503672e+253) | +nan.0 | valid | exit | 3 | 0.158021 | #f |
| (6.225684850729797e-275) | 2.075228283576599e-275 | (-9.384396036005875e+254 1.876879207201175e+255) | +nan.0 | valid | exit | 3 | 0.23346 | #f |
| (2.8808209880018236e-296) | 9.602736626672745e-297 | (-2.2158278651204453e+276 4.431655730240891e+276) | +nan.0 | valid | exit | 3 | 0.154833 | #f |
| (6.8175684231646625e-255) | 2.272522807721554e-255 | (-1.2718228212127408e+235 2.5436456424254815e+235) | +nan.0 | valid | exit | 2 | 0.195134 | #f |
| (2.547994653195369e-301) | 8.49331551065123e-302 | (-2.90432989937067e+281 5.80865979874134e+281) | +nan.0 | valid | exit | 3 | 0.099485 | #f |
| (-8.02701586675074e-265) | -2.67567195558358e-265 | (-2.1849749693660706e+245 1.0924874846830353e+245) | +nan.0 | valid | exit | 3 | 0.213847 | #f |
| (4.1887304453074633e-234) | 1.3962434817691544e-234 | (-2.154551665274214e+214 4.309103330548428e+214) | +nan.0 | valid | exit | 2 | 0.103186 | #f |
| (-8.541038424800617e-306) | -2.8470128082668723e-306 | (-1.9033816428515623e+286 9.516908214257812e+285) | +nan.0 | valid | exit | 3 | 0.160134 | #f |
| (1.5584013389376018e-263) | 5.194671129792006e-264 | (-6.828046779268971e+243 6.828046779268971e+243) | +nan.0 | valid | exit | 3 | 0.21927200000000002 | #f |
| (-1.8223746358228555e-287) | -6.0745821194095184e-288 | (-8.25460204899477e+267 4.127301024497385e+267) | +nan.0 | valid | exit | 3 | 0.157348 | #f |
| (-1.1603305604133018e-286) | -3.867768534711006e-287 | (-1.5477378841865193e+267 5.159126280621731e+266) | +nan.0 | valid | exit | 3 | 0.174689 | #f |
| (1.7474700874888952e-293) | 5.824900291629651e-294 | (-4.32778879906337e+273 8.65557759812674e+273) | +nan.0 | valid | exit | 3 | 0.15357200000000001 | #f |
| (5.1047994751646905e-260) | 1.7015998250548968e-260 | (-1.6670036082199636e+240 3.334007216439927e+240) | +nan.0 | valid | exit | 3 | 0.176673 | #f |
| (2.822381441862148e-237) | 9.407938139540493e-238 | (-2.206260905240795e+217 6.618782715722385e+217) | +nan.0 | valid | exit | 2 | 0.215871 | #f |
| (7.321852582573443e-165) | 2.440617527524481e-165 | (-1.248699420126397e+145 1.248699420126397e+145) | +nan.0 | valid | exit | 2 | 0.093169 | #f |
| (2.0026097035742361e-299) | 6.675365678580787e-300 | (-4.538015467766672e+279 9.076030935533344e+279) | +nan.0 | valid | exit | 3 | 0.163679 | #f |
| (-4.574324870542776e-307) | -1.524774956847592e-307 | (-3.0454106285625e+287 1.52270531428125e+287) | +nan.0 | valid | exit | 3 | 0.15793400000000002 | #f |
| (-1.3108744668836242e-298) | -4.3695815562787473e-299 | (-1.134503866941668e+279 5.67251933470834e+278) | +nan.0 | valid | exit | 3 | 0.11251 | #f |
| (-3.310546091555529e-284) | -1.103515363851843e-284 | (-4.0305674067357273e+264 2.0152837033678636e+264) | +nan.0 | valid | exit | 3 | 0.135778 | #f |
| (4.1621296811552056e-293) | 1.3873765603850685e-293 | (-2.163894399531685e+273 2.163894399531685e+273) | +nan.0 | valid | exit | 3 | 0.09985999999999999 | #f |
| (1.9567210014211222e-304) | 6.522403338070407e-305 | (-2.974033816955566e+284 8.922101450866698e+284) | +nan.0 | valid | exit | 3 | 0.13181600000000002 | #f |
| (1.771923778476433e-303) | 5.906412594921443e-304 | (-3.717542271194458e+283 1.1152626813583373e+284) | +nan.0 | valid | exit | 3 | 0.10935299999999999 | #f |
| (-1.1203079006132183e-252) | -3.7343596687107275e-253 | (-1.4904173686086806e+233 4.968057895362269e+232) | +nan.0 | valid | exit | 2 | 0.21799300000000002 | #f |
| (-7.772769342299944e-152) | -2.590923114099981e-152 | (-2.1294103250847858e+132 7.098034416949286e+131) | +nan.0 | valid | exit | 2 | 0.208877 | #f |
| (1.70673689657633e-285) | 5.689122988587766e-286 | (-3.224453925388582e+265 9.673361776165745e+265) | +nan.0 | valid | exit | 3 | 0.145684 | #f |
| (1.3195710049478453e-273) | 4.3985700164928176e-274 | (-5.865247522503672e+253 1.1730495045007344e+254) | +nan.0 | valid | exit | 3 | 0.16542400000000002 | #f |
| (2.9216115744329044e-281) | 9.738705248109681e-282 | (-1.9680504915701793e+261 5.904151474710538e+261) | +nan.0 | valid | exit | 3 | 0.10456800000000001 | #f |
| (-7.40248767460902e-301) | -2.46749589153634e-301 | (-2.90432989937067e+281 1.452164949685335e+281) | +nan.0 | valid | exit | 3 | 0.101587 | #f |
| (-2.0242523105367096e-308) | -6.74750770178903e-309 | (-4.8726570057e+288 4.8726570057e+288) | +nan.0 | valid | exit | 3 | 0.10862 | #f |
| (-4.184106561275225e-301) | -1.3947021870917416e-301 | (-4.356494849056005e+281 1.452164949685335e+281) | +nan.0 | valid | exit | 3 | 0.10362 | #f |
| (-9.123218294717371e-241) | -3.04107276490579e-241 | (-9.036844667866296e+220 9.036844667866296e+220) | +nan.0 | valid | exit | 2 | 0.199792 | #f |
| (3.788611807983659e-308) | 1.2628706026612197e-308 | (-2.43632850285e+288 2.43632850285e+288) | +nan.0 | valid | exit | 3 | 0.117092 | #f |
| (-5.537239812523961e-289) | -1.8457466041746537e-289 | (-2.6414726556783262e+269 1.3207363278391631e+269) | +nan.0 | valid | exit | 3 | 0.152829 | #f |
| (-4.0596344840436117e-256) | -1.353211494681204e-256 | (-4.0698330278807704e+236 2.0349165139403852e+236) | +nan.0 | valid | exit | 2 | 0.200208 | #f |
| (8.94959314958998e-223) | 2.9831977165299932e-223 | (-7.838213297051748e+202 1.5676426594103496e+203) | +nan.0 | valid | exit | 2 | 0.202026 | #f |
| (-2.114823354120447e-279) | -7.04941118040149e-280 | (-6.150157786156811e+259 3.0750788930784052e+259) | +nan.0 | valid | exit | 3 | 0.182564 | #f |
| (-1.2893172658558005e-276) | -4.297724219519335e-277 | (-1.201202692608752e+257 6.00601346304376e+256) | +nan.0 | valid | exit | 3 | 0.16186299999999998 | #f |
| (-1.6616646438927353e-248) | -5.538882146309118e-249 | (-6.064523798049644e+228 6.064523798049644e+228) | +nan.0 | valid | exit | 2 | 0.177066 | #f |
| (-5.503497116070098e-285) | -1.8344990386900326e-285 | (-3.224453925388582e+265 1.612226962694291e+265) | +nan.0 | valid | exit | 3 | 0.155885 | #f |
| (-5.622696705161298e-152) | -1.874232235053766e-152 | (-2.8392137667797144e+132 1.4196068833898572e+132) | +nan.0 | valid | exit | 2 | 0.21532300000000001 | #f |
| (2.189886932711919e-299) | 7.29962310903973e-300 | (-4.538015467766672e+279 9.076030935533344e+279) | +nan.0 | valid | exit | 3 | 0.167956 | #f |
| (1.5831774122043046e-251) | 5.277258040681015e-252 | (-6.210072369202836e+231 1.2420144738405671e+232) | +nan.0 | valid | exit | 2 | 0.23835499999999998 | #f |
| (-1.7617532631756913e-294) | -5.872510877252304e-295 | (-6.924462078501392e+274 3.462231039250696e+274) | +nan.0 | valid | exit | 3 | 0.09882 | #f |
| (1.5620126838142249e-288) | 5.206708946047416e-289 | (-6.603681639195816e+268 6.603681639195816e+268) | +nan.0 | valid | exit | 3 | 0.155534 | #f |
| (-3.6855718817166694e-301) | -1.2285239605722231e-301 | (-2.90432989937067e+281 2.90432989937067e+281) | +nan.0 | valid | exit | 3 | 0.177974 | #f |
| (-1.7288458051469263e-255) | -5.762819350489754e-256 | (-1.0174582569701926e+236 5.087291284850963e+235) | +nan.0 | valid | exit | 2 | 0.173459 | #f |
| (-1.0514743791228094e-282) | -3.504914597076031e-283 | (-1.8893284719073722e+263 6.297761573024574e+262) | +nan.0 | valid | exit | 3 | 0.15508699999999997 | #f |
| (-1.9758784931689925e-297) | -6.586261643896642e-298 | (-7.090649168385425e+277 3.5453245841927125e+277) | +nan.0 | valid | exit | 3 | 0.102296 | #f |
| (9.78072309283632e-296) | 3.26024103094544e-296 | (-1.1079139325602226e+276 2.2158278651204453e+276) | +nan.0 | valid | exit | 3 | 0.111412 | #f |
| (-8.281356177174263e-225) | -2.7604520590580876e-225 | (-2.0065826040452475e+205 1.0032913020226237e+205) | +nan.0 | valid | exit | 2 | 0.125985 | #f |
| (-3.8149202785944e-291) | -1.2716400928648e-291 | (-3.3810849992682576e+271 1.6905424996341288e+271) | +nan.0 | valid | exit | 3 | 0.112823 | #f |
| (3.7961081754519913e-249) | 1.2653693918173304e-249 | (-2.4258095192198577e+229 4.8516190384397154e+229) | +nan.0 | valid | exit | 2 | 0.197706 | #f |
| (1.657115323779706e-238) | 5.523717745932353e-239 | (-3.530017448385272e+218 1.0590052345155816e+219) | +nan.0 | valid | exit | 2 | 0.17587899999999998 | #f |
| (3.783143210950182e-227) | 1.261047736983394e-227 | (-2.568425733177917e+207 2.568425733177917e+207) | +nan.0 | valid | exit | 2 | 0.232151 | #f |
| (4.0794165046370516e-299) | 1.3598055015456839e-299 | (-2.269007733883336e+279 2.269007733883336e+279) | +nan.0 | valid | exit | 3 | 0.225645 | #f |
| (1.278997070521986e-235) | 4.26332356840662e-236 | (-6.894565328877484e+215 6.894565328877484e+215) | +nan.0 | valid | exit | 2 | 0.107569 | #f |
| (-3.484507009244573e-286) | -1.1615023364148577e-286 | (-2.5795631403108655e+266 2.5795631403108655e+266) | +nan.0 | valid | exit | 3 | 0.127228 | #f |
| (4.0215481375931564e-190) | 1.3405160458643855e-190 | (-2.4153359518857865e+170 2.4153359518857865e+170) | +nan.0 | valid | exit | 2 | 0.100117 | #f |
| (1.3992589760950447e-283) | 4.664196586983482e-284 | (-5.038209258419659e+263 1.0076418516839318e+264) | +nan.0 | valid | exit | 3 | 0.10309199999999999 | #f |
| (-2.081648855061554e-292) | -6.938829516871847e-293 | (-8.114603998243818e+272 2.704867999414606e+272) | +nan.0 | valid | exit | 3 | 0.114803 | #f |
| (-1.2399375443296502e-271) | -4.133125147765501e-272 | (-1.3746673880867981e+252 4.582224626955994e+251) | +nan.0 | valid | exit | 3 | 0.191512 | #f |
| (-1.966573074864557e-290) | -6.555243582881857e-291 | (-4.226356249085322e+270 4.226356249085322e+270) | +nan.0 | valid | exit | 3 | 0.134607 | #f |
| (1.2522445096114032e-284) | 4.174148365371344e-285 | (-8.061134813471455e+264 1.612226962694291e+265) | +nan.0 | valid | exit | 3 | 0.1587 | #f |
| (6.585535638296884e-272) | 2.1951785460989613e-272 | (-9.164449253911988e+251 2.7493347761735963e+252) | +nan.0 | valid | exit | 3 | 0.210757 | #f |
| (1.6380256856601972e-257) | 5.460085618867324e-258 | (-6.511732844609233e+237 6.511732844609233e+237) | +nan.0 | valid | exit | 2 | 0.17676399999999998 | #f |
| (9.36996638296792e-253) | 3.123322127655973e-253 | (-9.936115790724537e+232 1.9872231581449074e+233) | +nan.0 | valid | exit | 2 | 0.185594 | #f |
| (6.009348702742741e-304) | 2.0031162342475804e-304 | (-1.487016908477783e+284 2.974033816955566e+284) | +nan.0 | valid | exit | 3 | 0.117601 | #f |
| (-2.1134009920759795e-284) | -7.044669973586598e-285 | (-8.061134813471455e+264 4.0305674067357273e+264) | +nan.0 | valid | exit | 3 | 0.18154900000000002 | #f |
| (1.2032756316570427e-275) | 4.010918772190142e-276 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 3 | 5.0 | #f |
| (3.688402618105894e-303) | 1.2294675393686314e-303 | (-1.858771135597229e+283 3.717542271194458e+283) | +nan.0 | valid | exit | 3 | 0.11348799999999999 | #f |
| (-1.7072211202406913e-297) | -5.690737067468971e-298 | (-7.090649168385425e+277 3.5453245841927125e+277) | +nan.0 | valid | exit | 3 | 0.106242 | #f |
| (1.4047910805826339e-269) | 4.682636935275446e-270 | (-7.15972597961874e+249 1.431945195923748e+250) | +nan.0 | valid | exit | 3 | 0.10844999999999999 | #f |
| (-7.62948751114262e-306) | -2.5431625037142067e-306 | (-1.9033816428515623e+286 9.516908214257812e+285) | +nan.0 | valid | exit | 3 | 0.188141 | #f |
| (-3.261969923925357e-196) | -1.087323307975119e-196 | (-5.065326622169181e+176 2.5326633110845904e+176) | +nan.0 | valid | exit | 2 | 0.160951 | #f |
| (-4.354957080060723e-287) | -1.451652360020241e-287 | (-4.127301024497385e+267 2.0636505122486924e+267) | +nan.0 | valid | exit | 3 | 0.17815999999999999 | #f |
| (3.690878146644117e-288) | 1.230292715548039e-288 | (-1.650920409798954e+268 4.952761229396862e+268) | +nan.0 | valid | exit | 3 | 0.09932 | #f |
| (-6.092905030102851e-291) | -2.030968343367617e-291 | (-3.3810849992682576e+271 1.6905424996341288e+271) | +nan.0 | valid | exit | 3 | 0.102669 | #f |
| (-1.4507078578161232e-288) | -4.835692859387077e-289 | (-6.603681639195816e+268 6.603681639195816e+268) | +nan.0 | valid | exit | 3 | 0.100342 | #f |
| (-8.215864575738817e-280) | -2.7386215252462724e-280 | (-2.4600631144627242e+260 1.2300315572313621e+260) | +nan.0 | valid | exit | 3 | 0.100637 | #f |
| (-1.773948229583063e-258) | -5.913160765276877e-259 | (-1.0418772551374772e+239 5.209386275687386e+238) | +nan.0 | valid | exit | 2 | 0.099195 | #f |
| (-1.2706743530946073e-282) | -4.2355811769820243e-283 | (-1.2595523146049148e+263 6.297761573024574e+262) | +nan.0 | valid | exit | 3 | 0.105047 | #f |
| (4.428363045735936e-285) | 1.476121015245312e-285 | (-1.612226962694291e+265 3.224453925388582e+265) | +nan.0 | valid | exit | 3 | 0.099833 | #f |
| (1.2283077046852621e-281) | 4.09435901561754e-282 | (-7.872201966280717e+261 1.5744403932561435e+262) | +nan.0 | valid | exit | 3 | 0.104139 | #f |
| (-4.881958423634582e-298) | -1.6273194745448606e-298 | (-2.83625966735417e+278 1.418129833677085e+278) | +nan.0 | valid | exit | 3 | 0.12384700000000001 | #f |
| (-1.7251703871987776e-296) | -5.750567957329259e-297 | (-8.863311460481781e+276 4.431655730240891e+276) | +nan.0 | valid | exit | 3 | 0.162736 | #f |
| (2.3416348721883375e-279) | 7.805449573961125e-280 | (-3.0750788930784052e+259 6.150157786156811e+259) | +nan.0 | valid | exit | 3 | 0.209743 | #f |
| (-6.038534827851039e-298) | -2.012844942617013e-298 | (-2.83625966735417e+278 1.418129833677085e+278) | +nan.0 | valid | exit | 3 | 0.12660500000000002 | #f |
| (1.8352291114793993e-297) | 6.1174303715979975e-298 | (-3.5453245841927125e+277 7.090649168385425e+277) | +nan.0 | valid | exit | 3 | 0.18526600000000001 | #f |
| (1.2464353463900854e-269) | 4.1547844879669514e-270 | (-7.15972597961874e+249 7.15972597961874e+249) | +nan.0 | valid | exit | 3 | 0.311454 | #f |
| (-8.817306340830188e-230) | -2.9391021136100626e-230 | (-1.3150339753870934e+210 6.575169876935467e+209) | +nan.0 | valid | exit | 2 | 0.118879 | #f |
| (-5.576661367375122e-280) | -1.858887122458374e-280 | (-2.4600631144627242e+260 1.2300315572313621e+260) | +nan.0 | valid | exit | 3 | 0.101518 | #f |
| (-1.507361454009448e-203) | -5.0245381800314934e-204 | (-1.274731182760241e+184 4.249103942534137e+183) | +nan.0 | valid | exit | 2 | 0.24988000000000002 | #f |
| (-8.559635122649164e-298) | -2.8532117075497213e-298 | (-2.1271947505156275e+278 7.090649168385425e+277) | +nan.0 | valid | exit | 3 | 0.181919 | #f |
| (-1.015033877196868e-300) | -3.383446257322893e-301 | (-1.452164949685335e+281 7.260824748426675e+280) | +nan.0 | valid | exit | 3 | 0.159307 | #f |
| (3.718014593461599e-234) | 1.239338197820533e-234 | (-2.154551665274214e+214 4.309103330548428e+214) | +nan.0 | valid | exit | 2 | 0.185523 | #f |
| (-2.123301905229536e-287) | -7.077673017431786e-288 | (-8.25460204899477e+267 4.127301024497385e+267) | +nan.0 | valid | exit | 3 | 0.102187 | #f |
| (3.1459830473125604e-304) | 1.0486610157708535e-304 | (-2.974033816955566e+284 5.948067633911132e+284) | +nan.0 | valid | exit | 3 | 0.156422 | #f |
| (2.7732640490481415e-244) | 9.244213496827138e-245 | (-3.701491575958035e+224 7.40298315191607e+224) | +nan.0 | valid | exit | 2 | 0.099344 | #f |
| (2.308481152642865e-257) | 7.694937175476216e-258 | (-3.2558664223046163e+237 6.511732844609233e+237) | +nan.0 | valid | exit | 2 | 0.11042 | #f |
| (-2.6498495915170773e-242) | -8.832831971723591e-243 | (-5.78358058743443e+222 2.891790293717215e+222) | +nan.0 | valid | exit | 2 | 0.105156 | #f |
| (-4.1715919411812185e-201) | -1.3905306470604062e-201 | (-3.3196124551047944e+181 1.6598062275523972e+181) | +nan.0 | valid | exit | 2 | 0.10986 | #f |
| (5.270313182376018e-306) | 1.756771060792006e-306 | (-1.9033816428515623e+286 1.9033816428515623e+286) | +nan.0 | valid | exit | 3 | 0.177038 | #f |
| (1.1155452038699267e-290) | 3.718484012899756e-291 | (-8.452712498170644e+270 1.6905424996341288e+271) | +nan.0 | valid | exit | 3 | 0.092138 | #f |
| (-1.3779491282164125e-285) | -4.593163760721375e-286 | (-6.448907850777164e+265 6.448907850777164e+265) | +nan.0 | valid | exit | 3 | 0.13390400000000002 | #f |
| (2.793602598961927e-301) | 9.312008663206423e-302 | (-2.90432989937067e+281 5.80865979874134e+281) | +nan.0 | valid | exit | 3 | 0.135833 | #f |
| (-2.9214006952460404e-260) | -9.738002317486801e-261 | (-3.334007216439927e+240 3.334007216439927e+240) | +nan.0 | valid | exit | 3 | 0.178657 | #f |
| (-6.103279569581208e-282) | -2.034426523193736e-282 | (-1.5744403932561435e+262 1.5744403932561435e+262) | +nan.0 | valid | exit | 3 | 0.104068 | #f |
| (-2.0340833086383597e-287) | -6.780277695461199e-288 | (-8.25460204899477e+267 4.127301024497385e+267) | +nan.0 | valid | exit | 3 | 0.20410599999999998 | #f |
| (1.9405448911861856e-224) | 6.468482970620619e-225 | (-5.016456510113119e+204 5.016456510113119e+204) | +nan.0 | valid | exit | 2 | 0.106228 | #f |
| (-8.528999287756243e-309) | -2.842999762585414e-309 | (-9.7453140114e+288 9.7453140114e+288) | +nan.0 | valid | exit | 3 | 0.11243 | #f |
| (2.771444627793824e-286) | 9.238148759312747e-287 | (-2.5795631403108655e+266 5.159126280621731e+266) | +nan.0 | valid | exit | 3 | 0.09555799999999999 | #f |
| (2.3261295786669257e-234) | 7.753765262223086e-235 | (-4.309103330548428e+214 8.618206661096855e+214) | +nan.0 | valid | exit | 2 | 0.231688 | #f |
| (-1.4975061355245091e-294) | -4.99168711841503e-295 | (-1.3848924157002783e+275 6.924462078501392e+274) | +nan.0 | valid | exit | 3 | 0.21132 | #f |
| (-5.0777736680721313e-287) | -1.6925912226907104e-287 | (-2.0636505122486924e+267 2.0636505122486924e+267) | +nan.0 | valid | exit | 3 | 0.090721 | #f |
| (-9.808530259730275e-300) | -3.269510086576758e-300 | (-1.8152061871066688e+280 9.076030935533344e+279) | +nan.0 | valid | exit | 3 | 0.133373 | #f |
| (-2.559420063430859e-273) | -8.531400211436196e-274 | (-5.865247522503672e+253 2.932623761251836e+253) | +nan.0 | valid | exit | 3 | 0.164389 | #f |
| (2.1693188121348947e-185) | 7.231062707116315e-186 | (-3.6855101804897865e+165 7.371020360979573e+165) | +nan.0 | valid | exit | 2 | 0.153398 | #f |
| (2.506813561309709e-280) | 8.356045204365697e-281 | (-2.4600631144627242e+260 7.380189343388173e+260) | +nan.0 | valid | exit | 3 | 0.163074 | #f |
| (-2.2108005253903887e-290) | -7.369335084634629e-291 | (-8.452712498170644e+270 4.226356249085322e+270) | +nan.0 | valid | exit | 3 | 0.290152 | #f |
| (-3.4701434725682526e-280) | -1.1567144908560842e-280 | (-2.4600631144627242e+260 2.4600631144627242e+260) | +nan.0 | valid | exit | 3 | 0.20034 | #f |
| (-2.315256958022624e-218) | -7.717523193408746e-219 | (-4.784065733063811e+198 2.3920328665319055e+198) | +nan.0 | valid | exit | 2 | 0.12430899999999999 | #f |
| (7.408553263131727e-292) | 2.469517754377242e-292 | (-1.352433999707303e+272 2.704867999414606e+272) | +nan.0 | valid | exit | 3 | 0.12596800000000002 | #f |
| (1.5562994680461423e-268) | 5.187664893487141e-269 | (-4.474828737261713e+248 1.3424486211785138e+249) | +nan.0 | valid | exit | 3 | 0.199372 | #f |
| (-1.6406032245354056e-264) | -5.468677415118019e-265 | (-1.0924874846830353e+245 5.462437423415177e+244) | +nan.0 | valid | exit | 3 | 0.16204300000000002 | #f |
| (7.4445155278051855e-295) | 2.481505175935062e-295 | (-1.3848924157002783e+275 2.7697848314005566e+275) | +nan.0 | valid | exit | 3 | 0.096168 | #f |
| (2.1842259909619217e-243) | 7.280753303206406e-244 | (-4.626864469947544e+223 4.626864469947544e+223) | +nan.0 | valid | exit | 2 | 0.216503 | #f |
| (-2.5469458308804205e-284) | -8.489819436268068e-285 | (-8.061134813471455e+264 4.0305674067357273e+264) | +nan.0 | valid | exit | 3 | 0.115703 | #f |
| (-8.719481443584952e-308) | -2.9064938145283175e-308 | (-2.43632850285e+288 1.218164251425e+288) | +nan.0 | valid | exit | 3 | 0.350586 | #f |
| (9.206346583212012e-284) | 3.068782194404004e-284 | (-1.0076418516839318e+264 2.0152837033678636e+264) | +nan.0 | valid | exit | 3 | 0.100635 | #f |
| (-1.338135900777996e-305) | -4.4604530025933196e-306 | (-1.4275362321386717e+286 4.758454107128906e+285) | +nan.0 | valid | exit | 3 | 0.13403500000000002 | #f |
| (-1.2988302664795377e-289) | -4.329434221598459e-290 | (-1.0565890622713305e+270 5.282945311356653e+269) | +nan.0 | valid | exit | 3 | 0.156406 | #f |
| (1.1171857960085164e-290) | 3.723952653361721e-291 | (-8.452712498170644e+270 8.452712498170644e+270) | +nan.0 | valid | exit | 3 | 0.161664 | #f |
| (8.166751174129818e-247) | 2.722250391376606e-247 | (-9.47581843445257e+226 1.895163686890514e+227) | +nan.0 | valid | exit | 2 | 0.155557 | #f |
| (3.412963980446742e-244) | 1.1376546601489141e-244 | (-1.8507457879790174e+224 3.701491575958035e+224) | +nan.0 | valid | exit | 2 | 0.16011899999999998 | #f |
| (-1.1101842450072681e-209) | -3.700614150024227e-210 | (-1.78220336625867e+190 8.91101683129335e+189) | +nan.0 | valid | exit | 2 | 0.237889 | #f |
| (-2.153474411926838e-229) | -7.178248039756127e-230 | (-9.8627548154032e+209 3.2875849384677334e+209) | +nan.0 | valid | exit | 2 | 0.21052 | #f |
| (-6.186844401323815e-302) | -2.0622814671079384e-302 | (-2.323463919496536e+282 1.161731959748268e+282) | +nan.0 | valid | exit | 3 | 0.155947 | #f |
| (-3.744801597529877e-261) | -1.2482671991766256e-261 | (-2.667205773151942e+241 2.667205773151942e+241) | +nan.0 | valid | exit | 3 | 0.3955 | #f |
| (7.174943179915751e-292) | 2.3916477266385835e-292 | (-1.352433999707303e+272 2.704867999414606e+272) | +nan.0 | valid | exit | 3 | 0.15249600000000002 | #f |
| (1.2105256099109037e-245) | 4.035085366369679e-246 | (-5.922386521532856e+225 1.7767159564598567e+226) | +nan.0 | valid | exit | 2 | 0.203551 | #f |
| (1.8849947130939343e-199) | 6.283315710313114e-200 | (-5.186894461101241e+179 1.0373788922202482e+180) | +nan.0 | valid | exit | 2 | 0.218385 | #f |
| (-5.179619856338915e-238) | -1.7265399521129717e-238 | (-3.530017448385272e+218 1.765008724192636e+218) | +nan.0 | valid | exit | 2 | 0.165914 | #f |
| (1.1768694571534776e-303) | 3.922898190511592e-304 | (-7.435084542388915e+283 7.435084542388915e+283) | +nan.0 | valid | exit | 3 | 0.12731 | #f |
| (-3.4383766616352426e-276) | -1.1461255538784142e-276 | (-6.00601346304376e+256 3.00300673152188e+256) | +nan.0 | valid | exit | 3 | 0.105921 | #f |
| (4.737042604881315e-296) | 1.579014201627105e-296 | (-2.2158278651204453e+276 2.2158278651204453e+276) | +nan.0 | valid | exit | 3 | 0.157676 | #f |
| (3.5931530492839387e-237) | 1.1977176830946462e-237 | (-2.206260905240795e+217 4.41252181048159e+217) | +nan.0 | valid | exit | 2 | 0.221637 | #f |
| (3.8123397997556053e-249) | 1.2707799332518684e-249 | (-2.4258095192198577e+229 4.8516190384397154e+229) | +nan.0 | valid | exit | 2 | 0.16663 | #f |
| (-2.668407467704512e-281) | -8.89469155901504e-282 | (-7.872201966280717e+261 3.936100983140359e+261) | +nan.0 | valid | exit | 3 | 0.30038 | #f |
| (-1.8785345983585764e-261) | -6.261781994528588e-262 | (-5.334411546303884e+241 5.334411546303884e+241) | +nan.0 | valid | exit | 3 | 0.212525 | #f |
| (7.238522939501476e-300) | 2.4128409798338253e-300 | (-9.076030935533344e+279 1.8152061871066688e+280) | +nan.0 | valid | exit | 3 | 0.14524800000000002 | #f |
| (-3.104460399068351e-281) | -1.0348201330227836e-281 | (-5.904151474710538e+261 1.9680504915701793e+261) | +nan.0 | valid | exit | 3 | 0.10302599999999999 | #f |
| (-6.111192224089884e-231) | -2.0370640746966279e-231 | (-3.156081540929024e+211 1.0520271803096747e+211) | +nan.0 | valid | exit | 2 | 0.164548 | #f |
| (-3.24090777042716e-297) | -1.0803025901423867e-297 | (-5.317986876289069e+277 1.7726622920963562e+277) | +nan.0 | valid | exit | 3 | 0.10302900000000001 | #f |
| (1.5974559718487313e-305) | 5.324853239495771e-306 | (-4.758454107128906e+285 9.516908214257812e+285) | +nan.0 | valid | exit | 3 | 0.181878 | #f |
| (-7.446867395247544e-221) | -2.4822891317491815e-221 | (-1.2247208276643356e+201 1.2247208276643356e+201) | +nan.0 | valid | exit | 2 | 0.138589 | #f |
| (5.280882710527422e-240) | 1.760294236842474e-240 | (-1.129605583483287e+220 2.259211166966574e+220) | +nan.0 | valid | exit | 2 | 0.118756 | #f |
| (-3.972513303260127e-289) | -1.324171101086709e-289 | (-5.282945311356653e+269 2.6414726556783262e+269) | +nan.0 | valid | exit | 3 | 0.210478 | #f |
| (2.32611282421466e-246) | 7.753709414048867e-247 | (-2.3689546086131423e+226 7.106863825839427e+226) | +nan.0 | valid | exit | 2 | 0.12305500000000001 | #f |
| (-7.437355398683995e-299) | -2.479118466227998e-299 | (-2.269007733883336e+279 1.134503866941668e+279) | +nan.0 | valid | exit | 3 | 0.13688 | #f |
| (4.091113778811226e-305) | 1.3637045929370753e-305 | (-2.379227053564453e+285 2.379227053564453e+285) | +nan.0 | valid | exit | 3 | 0.160317 | #f |
| (-3.416192425319418e-285) | -1.138730808439806e-285 | (-4.836680888082873e+265 1.612226962694291e+265) | +nan.0 | valid | exit | 3 | 0.11032 | #f |
| (7.222459265812162e-284) | 2.4074864219373873e-284 | (-1.0076418516839318e+264 2.0152837033678636e+264) | +nan.0 | valid | exit | 3 | 0.11011399999999999 | #f |
| (-1.151098317211237e-299) | -3.8369943907041234e-300 | (-9.076030935533344e+279 9.076030935533344e+279) | +nan.0 | valid | exit | 3 | 0.126263 | #f |
| (3.6342649612589533e-292) | 1.2114216537529844e-292 | (-2.704867999414606e+272 5.409735998829212e+272) | +nan.0 | valid | exit | 3 | 0.097858 | #f |
| (-1.3802911356382624e-295) | -4.6009704521275414e-296 | (-1.1079139325602226e+276 5.539569662801113e+275) | +nan.0 | valid | exit | 3 | 0.103308 | #f |
| (-2.282269226550327e-285) | -7.60756408850109e-286 | (-6.448907850777164e+265 3.224453925388582e+265) | +nan.0 | valid | exit | 3 | 0.097957 | #f |
| (-4.818034273046196e-301) | -1.606011424348732e-301 | (-2.90432989937067e+281 1.452164949685335e+281) | +nan.0 | valid | exit | 3 | 0.15276 | #f |
| (-2.3427988994902365e-301) | -7.809329664967455e-302 | (-5.80865979874134e+281 2.90432989937067e+281) | +nan.0 | valid | exit | 3 | 0.100451 | #f |
| (7.295448302788356e-288) | 2.431816100929452e-288 | (-8.25460204899477e+267 2.476380614698431e+268) | +nan.0 | valid | exit | 3 | 0.161115 | #f |
| (5.307103677321868e-285) | 1.7690345591072893e-285 | (-1.612226962694291e+265 3.224453925388582e+265) | +nan.0 | valid | exit | 3 | 0.097836 | #f |
| (3.9071837073114047e-296) | 1.3023945691038016e-296 | (-2.2158278651204453e+276 4.431655730240891e+276) | +nan.0 | valid | exit | 3 | 0.098868 | #f |
| (3.873302221793205e-294) | 1.291100740597735e-294 | (-1.731115519625348e+274 3.462231039250696e+274) | +nan.0 | valid | exit | 3 | 0.100811 | #f |
| (1.5459525083147458e-294) | 5.1531750277158194e-295 | (-6.924462078501392e+274 6.924462078501392e+274) | +nan.0 | valid | exit | 3 | 0.097381 | #f |
| (-1.9590674595379262e-299) | -6.530224865126421e-300 | (-4.538015467766672e+279 4.538015467766672e+279) | +nan.0 | valid | exit | 3 | 0.192415 | #f |
| (8.29210320699853e-283) | 2.7640344023328433e-283 | (-1.2595523146049148e+263 1.2595523146049148e+263) | +nan.0 | valid | exit | 3 | 0.175792 | #f |
| (1.0112448989554155e-301) | 3.370816329851385e-302 | (-5.80865979874134e+281 1.742597939622402e+282) | +nan.0 | valid | exit | 3 | 0.15590600000000002 | #f |
| (2.135041398399822e-303) | 7.11680466133274e-304 | (-3.717542271194458e+283 7.435084542388915e+283) | +nan.0 | valid | exit | 3 | 0.195464 | #f |
| (-3.117014519128236e-307) | -1.039004839709412e-307 | (-6.090821257125e+287 3.0454106285625e+287) | +nan.0 | valid | exit | 3 | 0.16567099999999998 | #f |
| (5.0758570261057354e-304) | 1.6919523420352451e-304 | (-1.487016908477783e+284 2.974033816955566e+284) | +nan.0 | valid | exit | 3 | 0.100374 | #f |
| (5.465339143261563e-273) | 1.821779714420521e-273 | (-1.466311880625918e+253 2.932623761251836e+253) | +nan.0 | valid | exit | 3 | 0.097593 | #f |
| (6.848916997632868e-298) | 2.2829723325442895e-298 | (-1.418129833677085e+278 1.418129833677085e+278) | +nan.0 | valid | exit | 3 | 0.101816 | #f |
| (-4.075442162741463e-304) | -1.358480720913821e-304 | (-2.974033816955566e+284 1.487016908477783e+284) | +nan.0 | valid | exit | 3 | 0.102446 | #f |
| (-2.6291491841758266e-273) | -8.763830613919422e-274 | (-5.865247522503672e+253 2.932623761251836e+253) | +nan.0 | valid | exit | 3 | 0.099643 | #f |
| (-5.008280858812482e-298) | -1.669426952937494e-298 | (-2.83625966735417e+278 1.418129833677085e+278) | +nan.0 | valid | exit | 3 | 0.116172 | #f |
| (4.196658323131068e-271) | 1.398886107710356e-271 | (-2.291112313477997e+251 4.582224626955994e+251) | +nan.0 | valid | exit | 3 | 0.098849 | #f |
| (8.641102259727802e-248) | 2.8803674199092672e-248 | (-7.580654747562055e+227 2.2741964242686166e+228) | +nan.0 | valid | exit | 2 | 0.147206 | #f |
| (-1.067236039228432e-250) | -3.557453464094773e-251 | (-1.552518092300709e+231 7.762590461503545e+230) | +nan.0 | valid | exit | 2 | 0.100066 | #f |
| (8.575995920601412e-256) | 2.858665306867137e-256 | (-1.0174582569701926e+236 2.0349165139403852e+236) | +nan.0 | valid | exit | 2 | 0.09933800000000001 | #f |
| (5.1145037137371524e-291) | 1.7048345712457175e-291 | (-1.6905424996341288e+271 1.6905424996341288e+271) | +nan.0 | valid | exit | 3 | 0.22215200000000002 | #f |
| (-1.098395898070328e-292) | -3.661319660234427e-293 | (-1.6229207996487636e+273 5.409735998829212e+272) | +nan.0 | valid | exit | 3 | 0.099773 | #f |
| (1.6969476195792724e-267) | 5.656492065264241e-268 | (-5.593535921577141e+247 1.1187071843154282e+248) | +nan.0 | valid | exit | 3 | 0.09998800000000001 | #f |
| (6.7551761089649e-293) | 2.2517253696549666e-293 | (-1.0819471997658424e+273 2.163894399531685e+273) | +nan.0 | valid | exit | 3 | 0.096283 | #f |
| (2.7062878589089247e-288) | 9.020959529696416e-289 | (-3.301840819597908e+268 6.603681639195816e+268) | +nan.0 | valid | exit | 3 | 0.098195 | #f |
| (1.6979358927172447e-304) | 5.659786309057482e-305 | (-5.948067633911132e+284 1.1896135267822265e+285) | +nan.0 | valid | exit | 3 | 0.101679 | #f |
| (5.0289683855214236e-288) | 1.676322795173808e-288 | (-1.650920409798954e+268 3.301840819597908e+268) | +nan.0 | valid | exit | 3 | 0.099396 | #f |
| (-3.59660171554638e-285) | -1.1988672385154601e-285 | (-4.836680888082873e+265 1.612226962694291e+265) | +nan.0 | valid | exit | 3 | 0.10042799999999999 | #f |
