Metrics for Migdal et al, Equation (51)

analyze126.0ms (0%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
0%	0%	99.9%	0.1%	0%	0%	0%	1
0%	0%	50%	0.1%	0%	50%	0%	2
50%	25%	25%	0.1%	0%	50%	0%	3
50%	25%	25%	0.1%	0%	50%	0%	4
50%	25%	25%	0.1%	0%	50%	0%	5
50%	25%	25%	0.1%	0%	50%	0%	6
51.6%	25%	23.4%	0.1%	0%	50%	1.6%	7
52.5%	25%	22.6%	0.1%	0%	50%	2.3%	8
53.8%	25%	21.5%	0.1%	0%	50%	3.5%	9
54.5%	25%	20.9%	0.1%	0%	50%	4.1%	10
55.3%	25%	20.2%	0.1%	0%	50%	4.8%	11
55.7%	25%	19.9%	0.1%	0%	50%	5.1%	12

Compiler

Compiled 19 to 14 computations (26.3% saved)

sample8.3min (100%)

Results

427.0ms	1886×	0	valid
663.0ms	1447×	0	valid-sollya
169.0ms	1162×	1	invalid-sollya
469.0ms	1162×	1	invalid
9.6s	571×	0	invalid-sollya
16.0ms	99×	2	invalid-sollya
67.0ms	99×	2	invalid
21.0ms	86×	0	invalid
13.0ms	51×	0	unsamplable
2.0s	4×	0	exit-sollya

Sollya Eval

Pt	Rival-out	Sollya-interval	Sollya-point	status	Sollya status	sollya-time	check
(6.051812851258752e+261 9.064557625362222e-215)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	27.02964	#f
(8.185691750627648e+194 1.051506075382978e-307)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.185983	#f
(1.0028561600917114e+171 1.5089946902524133e-232)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	27.434637000000002	#f
(2.573525271485753e+98 7.129397557193242e-202)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	31.198309000000002	#f
(1.5720795352160471e+63 1.336159294680875e-165)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.108454	#f
(2.6563707261313943e+29 1.2321366058613258e-76)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	21.748222000000002	#f
(3.5807183815229963e+189 1.6286001629974548e-126)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	14.960092	#f
(1.8529434511447784e+203 1.4743137461917915e-211)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	31.124941	#f
(1.8478776900727837e+115 2.38128025820506e-101)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	14.988002999999999	#f
(1.4296906290949204e+225 1.806658888616616e-211)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.073258000000001	#f
(5.3575527344519936e+97 2.7748874043968694e-32)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	27.258633	#f
(9.850481028987954e+20 4.002918753209797e-92)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	30.987517	#f
(1.830410950809666e+267 3.8848787114216134e-46)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	14.941055	#f
(1.3713770689416443e+113 5.8608335377534234e-208)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	31.192587	#f
(9.840554244599019e+85 1.2244375488440706e-146)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	31.809977000000003	#f
(2.0826170045991654e+73 1.7589509203524338e-119)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.072489999999998	#f
(9.145387128325056e+255 3.942524445946403e-17)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.240629	#f
(1.864524592137118e+52 7.223065666152922e-56)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	30.794086	#f
(5.303437659048688e+167 1.417464863751795e-222)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	30.810899	#f
(5.368106770737004e+20 2.190223475690268e-216)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	14.785055999999999	#f
(2.303737926791944e+120 2.4972555623251957e-68)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	26.620084	#f
(1.897148100908291e+258 3.397425723419021e-242)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.176331	#f
(2506411547.61329 2.732647883606743e-54)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	33.085668	#f
(2.3347220933204566e+244 6.806064580116506e-136)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.004847999999999	#f
(9.846419134988766e+259 7.424967050678295e-25)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	31.645979999999998	#f
(3.5225355107314615e+38 1.1987328994779632e-41)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	14.731264000000001	#f
(1.8481201915081042e+233 2.055847673894251e-303)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.097100000000001	#f
(8.109811028399481e+22 2.6571809701020993e-60)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	14.644444	#f
(6.821243943123441e+78 5.940020289422609e-300)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	27.854389	#f
(2.471670440567623e+244 5.388320590357027e-114)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.105992	#f
(2.2970487640563824e+274 5.940595724445614e-303)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.031472	#f
(9.973353922754741e+83 8.303356027866267e-132)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.238862000000001	#f
(1.4712594269643866e+240 2.3899143367023942e-79)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	27.30733	#f
(6.159000409053043e+125 1.0257128450446704e-98)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	32.043931	#f
(1.4112429598984949e+226 4.8971059709709365e-71)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.098177000000002	#f
(1.8478052224596518e+78 2.5303285602404826e-232)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	29.036085	#f
(2.2991455689745586e+212 4.017906568770066e-83)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	29.683266	#f
(2.102391408669943e+266 2.6507081609260106e-149)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	31.413104999999998	#f
(5.376564791781351e+280 1.25077704181683e-30)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	16.499567	#f
(1.744531533521645e+83 1.5592068622422168e-234)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	30.557741	#f
(3.472505172916333e+268 2.9354376045954925e-61)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.011359	#f
(2.0388373482215596e+251 6.681518298675991e-200)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	28.075182	#f
(4.620619431066789e+35 1.0641584250653615e-202)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	27.177266	#f
(1.1136067797470698e+225 1.5745720677655218e-202)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	27.395081	#f
(8.950241548051592e+268 2.045424507078589e-278)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	31.689555000000002	#f
(1159150459707.0288 2.8719721556641995e-17)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	19.824718	#f
(9.326805299281154e+44 2.127431071512193e-268)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.016194	#f
(2.1319877974248343e+251 9.018324071466082e-91)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	31.313202999999998	#f
(6.057518399889505e+39 4.948605767220776e-71)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	26.224892	#f
(7.54019771059728e+158 2.0996342034708713e-150)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	24.205331	#f
(6.002151323012922e+144 1.765383209641239e-100)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	28.142143	#f
(4.640862938634437e+61 4.9945560936932143e-306)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	31.058623	#f
(1.499570668023221e+22 3.531131680259275e-260)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	14.729478	#f
(8.979192601366445e+255 4.173311705989981e-165)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	14.960658	#f
(5.712223215417092e+111 2.1899265329719332e-107)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	31.252598	#f
(3.1200803143382856e+116 2.2390347044306932e-185)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	30.829544000000002	#f
(4.7779359372795834e+107 9.64077583719034e-20)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	14.908268000000001	#f
(500444181594409100.0 3.9470499617665714e-76)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	14.530354	#f
(6.434138212147275e+129 2.1685544395030092e-32)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	26.684467	#f
(4.876433057689134e+202 2.9301546174221787e-18)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.067665	#f
(8.205753513767436e+270 6.092741236851412e-30)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	14.931117	#f
(9.176026438400809e+287 5.6665323267604245e-47)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	29.649113	#f
(231274540544451900.0 9.122029300866004e-51)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	14.987052	#f
(9.477332560639809e+114 7.414512310150099e-273)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.261261999999999	#f
(3.821434621375145e+197 2.2033970623150261e-103)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.066483	#f
(1.467019542833901e+273 4.1599368007729385e-57)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	27.710175	#f
(3.4431240708132946e+132 2.410562387776111e-62)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.079968	#f
(4.432559108086646e+92 1.9463930830010886e-11)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.285174	#f
(8.097369690640549e+150 1.175267840010317e-153)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	30.783739	#f
(1.651921780011884e+227 1.772094074042284e-198)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.188447	#f
(5.009685095147327e+102 1.5610492011993619e-65)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.128021	#f
(8.413887568478078e+56 4.7847330497068e-252)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.044796	#f
(1.4392393401516782e+152 1.5579497010765686e-17)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	31.002404000000002	#f
(4.3777882288803555e+214 4.9379291074472007e-287)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	26.853115	#f
(42834322.47000929 1.7521890372374728e-290)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	38.229367	#f
(6.816089254232516e+217 2.8234785235990366e-64)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.196977	#f
(2.858334207630316e+304 4.2111531501452165e-106)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	30.401803	#f
(1.072804068999519e+28 1.3058020665320764e-278)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	14.687983	#f
(1.0444740075271355e+166 1.9653981641669117e-236)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	26.632572	#f
(7.696563095859888e+20 4.3211820607269305e-112)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	14.552737	#f
(9.97404750366095e+66 1.0820977771757016e-271)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.04709	#f
(5.402295731409734e+40 7.350989037918254e-135)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	14.854246	#f
(9.558093612195739e+212 7.509590002530982e-200)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.048048	#f
(3.4253234931337756e+106 9.070570872318815e-85)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	31.216502	#f
(2.1428661527094138e+92 2.2576814017814735e-116)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	31.825458	#f
(1.6899764288849135e+258 1.815886747306817e-306)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	27.449265	#f
(27208764253.760593 3.5121432935721025e-212)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	35.802216	#f
(3.29818906796105e+207 5.714084185607923e-98)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	31.338440000000002	#f
(3.779973605554584e+100 6.244915246441865e-171)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	18.78155	#f
(5.889928935317654e+66 8.12377766352615e-71)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.017892999999999	#f
(5.045498242102143e+192 6.314278250020305e-221)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.157373	#f
(1.0392585474318846e+217 1.3520908634862147e-184)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	31.99187	#f
(7.751769252902403e+174 7.111981357758103e-285)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.024108	#f
(2.5418079087457312e+135 3.471232753139679e-209)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	14.988161	#f
(8.172161628993681e+188 2.1585580090450326e-191)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	23.151422	#f
(1.6455248317674877e+141 6.590323682500577e-260)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	29.336738	#f
(33669629068.676857 1.316559798844783e-195)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	18.28185	#f
(2.4259872013364456e+151 2.3599061329788903e-300)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.115662	#f
(1.5678190337988724e+227 7.242184882510596e-58)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	27.689004999999998	#f
(2.5618475260416286e+180 1.060515510158649e-272)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	27.27199	#f
(8.922316600491435e+254 1.2128701829873107e-223)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	14.943212	#f
(1.2226204662219507e+237 8.422329804414582e-270)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	31.229479	#f
(7.357418983534598e+265 1.256854597679916e-202)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	26.529777	#f
(7.50405320581677e+63 4.3489696980310577e-184)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.106283	#f
(4.9458985956287114e+117 1.1742003783416875e-197)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.143619000000001	#f
(1.0089529416816621e+237 6.570531337124577e-272)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	31.317216000000002	#f
(1.2932761306283577e+107 4.580382601094322e-64)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	27.06362	#f
(1.25436664450943e+206 2.2754796541261343e-108)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	28.06874	#f
(8.674709261677616e+136 9.78787239245082e-201)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.114471	#f
(2.382889634341339e+113 7.975602858901347e-250)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	14.996286	#f
(5.435354055725844e+245 6.792281464275061e-59)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	30.630004999999997	#f
(2.448268133781133e+72 2.808973547040411e-53)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	27.286483	#f
(3.1731309514715275e+196 8.025530129099458e-45)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	26.909618	#f
(1.6480858947572974e+125 2.459488408033353e-29)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.1424	#f
(1873177.1854298506 7.425830999208883e-109)	+inf.0	(+nan.0 +nan.0)	+nan.0	valid	exit	500.0	#f
(3.608442021529116e+31 1.2275819783713107e-47)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	27.023446	#f
(1.4916737129727152e+295 2.4358610875015444e-30)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	28.420102	#f
(3.0163586487920765e+207 3.984606103865011e-117)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	14.924538	#f
(4.444104080001011e+104 1.4709517067456906e-297)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	31.383156000000003	#f
(6.875101940269617e+288 2.1774568141169626e-131)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	29.469725	#f
(2.057241664510248e+74 8.133925740856557e-24)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	26.770619	#f
(1.8994964999642582e+274 2.3158213058074315e-300)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.084606	#f
(1.1120742006444388e+234 1.9661994250564788e-171)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	30.555978	#f
(6.380713383518566e+277 1.2182926989766022e-221)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.143775999999999	#f
(1.6638504007938915e+66 2.471634645538062e-252)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.074765000000001	#f
(3.456460659183007e+80 1.5092511819669446e-56)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	31.613645	#f
(1.3781006318085955e+137 6.717997685050783e-169)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	31.617894	#f
(3.137694045564305e+76 2.004018135950768e-8)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.000022	#f
(2.6880224215851074e+132 5.780192299702296e-91)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.016483000000001	#f
(4.7313486075220954e+221 3.238207668206062e-220)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	26.641697	#f
(7.265644398257442e+188 8.037549968492847e-100)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.965805	#f
(3.533419735646954e+212 1.8520773566642715e-196)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	30.852263	#f
(3.258787083334876e+99 1.9129783870335934e-119)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	27.022164	#f
(3.042390375720315e+78 8.783119530003261e-189)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.174125	#f
(1.200380797997278e+136 0.04461026517125519)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.088172	#f
(5.401043649355257e+48 8.243680099121768e-104)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.045196	#f
(9.796794373261788e+69 2.10552649554007e-82)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.160986	#f
(1.3164195285591463e+166 3.836232862228088e-14)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.126254000000001	#f
(3.1042568573275803e+271 2.160003580741523e-251)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	25.042266	#f
(1.7374890476933795e+238 0.004666685130353113)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	14.9453	#f
(7.455783876590648e+182 2.882833799728256e-209)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	27.910139	#f
(9.37238692855653e+70 1.5500772564987678e-119)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	30.930832	#f
(8.128392104167167e+234 4.1984637884369985e-284)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.205618000000001	#f
(1.210454220428692e+253 1.7457935775470062e-199)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	31.078562	#f
(1.2504077555697773e+172 5.844102380822437e-295)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	27.502716	#f
(79746952683231.06 3.193009026502026e-9)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	18.430821	#f
(3.845261898921589e+120 2.6192838449120385e-202)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	14.877266	#f
(1.125308927235932e+60 6.170589800698531e-76)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	14.931505	#f
(314501568155793.9 6.609131444675412e-267)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	33.788581	#f
(9.254584590575613e+38 7.71348295748283e-275)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	14.837822000000001	#f
(9.11578146155112e+104 7.493997937183312e-270)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	14.896321	#f
(5.249882965086956e+61 4.708864717214261e-188)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	31.062116	#f
(1.1820808943113134e+245 2.9105278915079015e-243)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	30.835577	#f
(7.634381054656325e+135 1.3654266715190014e-133)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	21.167624999999997	#f
(1.1775717608828895e+238 1.4670909811198767e-112)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	23.753317	#f
(4.4438589113093823e+92 2.6273762270263768e-95)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	26.663599	#f
(2.71419191368726e+279 3.1277288597127043e-292)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	14.951719	#f
(1.1878605094841448e+281 6.584635823252161e-61)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	14.959261999999999	#f
(5.396576248011307e+75 6.045868212623435e-292)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	31.419365999999997	#f
(247452848885706.8 1.5170401455462035e-236)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	18.471115	#f
(53003194589615510.0 0.00024560498655493786)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	18.722184	#f
(1.6543330170569714e+308 8.641657879610925e-306)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.161601000000001	#f
(4.6393260014870465e+135 4.935479148380199e-45)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	14.988380000000001	#f
(7.124591891893872e+124 1.562495498717877e-62)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.057456	#f
(3.873980208396556e+303 1.984454543841969e-215)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	27.856597999999998	#f
(9.046118428809641e+30 1.8925919151571961e-19)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	30.739303999999997	#f
(4.415984928414496e+27 1.201977916747547e-234)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	14.702001	#f
(2.7101972424394945e+20 2.1980445709163068e-254)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	14.604648	#f
(1.234257715448311e+39 2.2003445518690747e-107)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	30.531036	#f
(3752383841323713.0 -2.943232578762299e-159)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	13.768811000000001	#f
(3.5776103621361105e+252 6.995797139690493e-242)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	14.764187999999999	#f
(3.30729536490731e+242 1.0944155885814997e-77)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	22.247031	#f
(4.421770343736221e+106 4.089797826145199e-8)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	14.969713	#f
(1.2948665753925918e+138 1.2266054789891028e-57)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.027533	#f
(4.573771549488113e+136 4.912555739934537e-154)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.045352	#f
(6.1746408006215195e+265 1.1013687352888946e-161)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	26.882948	#f
(1.077998050831387e+118 1.0960028997145084e-219)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	31.640115000000005	#f
(5.479965956237712e+75 1.2814840914083288e-202)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	14.910115	#f
(2.3452474427144265e+285 6.037444136488018e-124)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.372800000000002	#f
(5.2618017882489115e+137 8.471099392846343e-21)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	27.759109000000002	#f
(6.607936296424881e+101 1.0946842979769911e-110)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.059784	#f
(4.1502730624461684e+27 5.707797965324e-107)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	30.215608000000003	#f
(1.396149305327102e+24 3.290948721708366e-45)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	14.755415	#f
(7.76991829312122e+84 2.7589198045539057e-121)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.018777	#f
(3.418120391791176e+120 9.725979917191193e-88)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	14.948462	#f
(1.2421108722465067e+58 5.885696148046496e-183)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.085153	#f
(2.5892340282081497e+88 2.568111542381481e-161)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	14.913278	#f
(2.6477793926339085e+184 1.9364995052995592e-277)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.081424	#f
(6.742372547023714e+235 1.675037746202868e-300)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	30.89497	#f
(21058177958.768528 3.4146635120812778e-102)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	38.173958	#f
(1.492218327499963e+124 2.793735066230707e-151)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.297754	#f
(2.4354899105151734e+234 1.3065895572287341e-59)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	31.403256999999996	#f
(4.4257348484592553e+173 3.657145073118404e-228)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	31.594783	#f
(3.7147265835541943e+258 1.224755776701449e-286)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	20.526208	#f
(1.9421407739101096e+189 6.3563593027285116e-260)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	29.828447	#f
(3768212.9586593527 7.1041459371643115e+109)	0.0	(+nan.0 +nan.0)	+nan.0	valid	exit	500.0	#f
(5.171363360349794e+146 1.5034629894234277e-301)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	31.599333	#f
(1.0744067265969373e+226 3.367784609375318e-65)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	14.873367	#f
(2.2135931395780068e+212 8.044523068182422e-110)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	31.249687	#f
(5.232351342034373e+51 3.179585342677074e-63)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	26.941881000000002	#f
(4.135646704321475e+127 1.7543993659805627e-211)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	14.938803	#f
(1.4167532907965216e+229 2.556894962684122e-45)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	14.996258000000001	#f
(1.4699656846385324e+286 2.25220586443909e-55)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	30.751146	#f
(3.500115131677954e+272 4.829759194634379e-53)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.058968	#f
(1.2495909323602925e+205 2.475893074633374e-259)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	30.842124	#f
(8.14665766546822e+300 1.725810335482902e-50)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.298676	#f
(1.185627064639096e+32 4.467151563154576e-80)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	29.765297	#f
(1.0166832733730849e+263 1.0860697577611627e-222)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.015415	#f
(560284271717544.6 5.0733996419718437e-247)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	39.419470999999994	#f
(5.660206875362743e+234 1.1478241605726905e-151)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.163884000000001	#f
(1.3381440230592727e+250 4.961474157479225e-211)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.116643000000002	#f
(3.0845966760747284e+251 1.3675147303795736e-50)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.231314	#f
(1.2541387500569292e+172 5.214257339804422e-160)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	27.115809000000002	#f
(2.3708450102270776e+143 5.797883806495981e-209)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	27.664681	#f
(3.3976133423116483e+36 2.9453481561947715e-118)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	14.801159	#f
(3.2124634732528916e+50 2.7036901672879928e-235)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	31.372125	#f
(228140770595768.3 1.1825718560487426e-224)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	18.880911	#f
(1.6045974748593373e+160 3.641007664597142e-278)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.078526	#f
(7.713808501301135e+235 4.856169504317965e-116)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.04247	#f
(5.898434691289314e+198 4.1634648326374645e-199)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.002323	#f
(5.2608426326305436e+79 1.2306839361510235e-146)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.001574	#f
(1.7436534544359304e+300 1.1584216333266362e-187)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.128447999999999	#f
(4.101545816743464e+188 4.1662636587309815e-163)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	31.623130999999997	#f
(6.81508963912131e+194 2.637832478459737e-249)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.277202	#f
(4.899276718417788e+47 1.5265991982750948e-145)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	27.344034	#f
(5.8945938288147336e+215 3.3667212154465395e-214)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	28.350891	#f
(7.916438470059169e+28 2.3959712729693796e-77)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	14.786263	#f
(6.6290955649131695e+137 1.6631808215804568e-71)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	27.434131999999998	#f
(4.3039406594335814e+186 3.0056749482650416e-5)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	29.772533	#f
(1.1173491129079424e+204 5.434610113450304e-29)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.030217	#f
(1.258314997440373e+226 2.4003151024959948e-129)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	27.516964	#f
(1.49909123034513e+241 1.123627631156415e-168)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	30.322340999999998	#f
(3.2854151268668464e+176 2.6792329342393695e-266)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	31.965693	#f
(8.782347867992842e+196 1.3813003424594929e-68)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	26.668793	#f
(2.8094352781413384e+103 1.9836406387079454e-73)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	31.27568	#f
(1.4775713005965805e+303 4.652276723407741e-306)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.056198	#f
(3.926993218525104e+27 1.3647317696411186e-243)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	14.547538000000001	#f
(5.784494086378903e+158 1.2147680344719428e-173)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	31.317808000000003	#f
(2.2096362589271486e+29 1.2932364970970319e-36)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	14.699909	#f
(1.0884660563350499e+83 3.182314491597353e-17)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	16.701829	#f
(6.4887572665967715e+84 1.8576487052874725e-193)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	31.391408000000002	#f
(1.3928728169815526e+264 3.044474194471454e-176)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	27.843904	#f
(3.4683320898241104e+284 3.2393347696626366e-292)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	21.889115	#f
(9.275259137257482e+222 3.2236665462487525e-209)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.328792	#f
(2.9831998295617804e+286 4.2894104708841305e-147)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.09902	#f
(6.801578649389167e+128 3.158700658051147e-72)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	31.369394000000003	#f
(4.156851978823481e+64 1.8328821026857707e-205)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	28.053584999999998	#f
(4.885946728430521e+24 3.072011970204466e-242)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	14.944384	#f
(3.718431353985476e+68 8.470002360774602e-176)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	27.220733	#f
(4.034513102345527e+119 1.8483992542119992e-47)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	30.940092	#f
(1.0115370847012727e+203 2.7905433401248916e-9)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	14.940697	#f
(1.9915986691318412e+269 2.4717837189633163e-7)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	20.253533	#f
(7.723495536021521e+206 5.795709125096545e-85)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	27.379564	#f
(5.694050382508948e+299 8.077471985092775e-66)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	30.806827	#f
(9037703.626746174 7.329794770328202e-146)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	37.68544	#f
(1.7994806837241334e+255 2.1308891533758138e-52)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.069791	#f
(4.750189412568347e+109 1.4665269959312922e-248)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	31.088241	#f
(1.0274028750901125e+100 1.9629830095151874e-127)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.130799	#f
(6.73191420410984e+295 4.6478216503765654e-287)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	14.826575	#f
(3.068670902459665e+304 7.767771458892793e-165)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.152547	#f
(1.6644255832182302e+28 8.407059102582489e-103)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	14.729399	#f
(7.927588267615637e+141 1.888298980084438e-131)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	26.516826000000002	#f
(5.011457378668311e+30 2.613431257719914e-122)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	26.053649	#f
(4.2165564767044245e+199 1.0475680842062516e-287)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.099504999999999	#f
(4.8217855396808515e+25 5.65282707105714e-241)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	26.728348	#f
(1.2938349805932394e+156 1.9865670410809752e-140)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.019022999999999	#f
(2.3761186643557206e+170 2.2573161021272486e-143)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	31.468084	#f
(165832537.696299 2.0784507316636975e-302)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	32.891033	#f
(2.7968502292834912e+146 2.5006824923525353e-18)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	30.955786	#f
(5.008124875290503e+33 9.732685655071139e-129)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	30.224079	#f
(1.4827805268360112e+131 2.117740270115733e-107)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.042893	#f
(6.552228137706853e+140 2.371109101710541e-110)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	29.621776	#f
(6.57352224902707e+92 3.847987371744797e-45)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	14.928251	#f
(1.5758722320024773e+77 2.657420289185345e-29)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.14328	#f
(209698.56814206537 1.115990262752619e-183)	+inf.0	(+nan.0 +nan.0)	+nan.0	valid	exit	500.0	#f
(3.7005614405826124e+28 7.031806100742941e-86)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	30.455488	#f
(8.552916285059695e+224 2.4839058345209298e-57)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.049544999999998	#f
(6.457263850756551e+19 1.0205927758069718e-202)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	14.797346	#f
(6.499955808671513e+261 0.00021983671720575353)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.031453	#f
(1.1407990459124897e+288 7.781778948498905e-171)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.054112	#f
(2.2766128114016735e+178 1.9592500195238002e-44)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.05597	#f
(3.5034513681722357e+120 1.4093947717800752e-232)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	27.947283	#f
(4.2595726511841206e+287 5.220076320564507e-225)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	24.603865	#f
(3.198115337242437e+102 5.9688090257828594e-61)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	25.7549	#f
(72859048581461630.0 4.055198244054e-276)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	14.743971	#f
(8.263694085768329e+158 3.075091235752753e-136)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.21855	#f
(1.2738878269757623e+82 1.1521941380163538e-113)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	14.916752	#f
(5.245375640400684e+123 3.0849245646636524e-218)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	14.876334	#f
(9.304911653974884e+215 4.7352968799217434e-33)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	14.910888	#f
(1.5387479764590615e+132 5.563506476211081e-34)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	31.160009	#f
(7.554059252146588e+141 4.1866768213499526e-36)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.186789	#f
(2.7611951602164285e+97 6.666379233660445e-108)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	31.504469	#f
(3.902461113735502e+65 6.129581452242215e-17)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.082946999999999	#f
(8.979529951810233e+219 3.867090229935295e-294)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.103822	#f
(4.0267891035987694e+160 1.5569445650252861e-279)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	23.399194	#f
(2.424962442689028e+24 4.0384014284213504e-140)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	27.169158	#f
(2.454728908033903e+84 6.160002548260597e-27)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	29.976312	#f
(2.6964727495534014e+99 3.0165912033921873e-61)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	17.572971	#f
(881342255.9709202 5.875772852676807e-32)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	37.518355	#f
(1.027282207219005e+208 2.4996699611575272e-62)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	26.58407	#f
(5.485802397305486e+264 1.4214912940319704e-22)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.395736	#f
(2.9733665956826276e+225 3.0999223523021365e-30)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	30.642546	#f
(1.9402388303948252e+288 2.336296709244738e-198)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	14.946988	#f
(6.51193030976376e+75 4.048316581805318e-217)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	31.816151	#f
(2.4696777302487445e+292 6.914461939081943e-168)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.255246999999999	#f
(5.30717222983496e+49 3.877012689976344e-98)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	20.730482000000002	#f
(1.325478901995402e+301 4.1114496939484674e-230)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	14.998139	#f
(3.829452472170273e+91 9.591899776532639e-41)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	27.293255	#f
(3.2542273471403695e+189 1.0619148135709753e-186)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	26.006602	#f
(2.1299287300494634e+253 1.698722886654756e-269)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	27.405407999999998	#f
(1.0083443324389052e+141 2.1140578235300495e-125)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.108226	#f
(5.931239129188255e+161 6.750616168632078e-206)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	25.615827	#f
(2.2680055890005457e+125 2.127172391556794e-199)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	14.98985	#f
(2.210707746623497e+131 3.4664879287357898e-307)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	14.950023	#f
(5.228507305154683e+223 4.9090685771429335e-99)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.215977	#f
(1.5424527431495452e+89 1.8288741623452376e-93)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	31.161813	#f
(1.4516944625122892e+289 3.1485738127222825e-260)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	17.346452	#f
(6.535931695461542e+253 1.697716613806696e-200)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	31.258204	#f
(1.7779064566469783e+213 5.840812499791656e-184)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.067924999999999	#f
(1888301394881013.8 3.7628754201782685e-306)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	18.795795000000002	#f
(2.965628262813352e+159 1.3954072185743353e-89)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.038882	#f
(7.176018010313172e+168 0.006823901831820132)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	16.375632	#f
(1.0866635995801463e+188 8.412660743615668e-219)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	14.852661	#f
(4.049245586270048e+213 7.742326983123005e-213)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	27.057786	#f
(1.4780252301347226e+72 7.830639561962059e-284)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	22.316533	#f
(6.991636553048863e+137 9.063343302455203e-22)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	31.182056	#f
(5796762559.479791 1.1501623993533497e-42)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	38.549751	#f
(5.893451100897554e+225 9.822313802274164e-282)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.145396999999999	#f
(17757736536647664000.0 4.10024917013213e-143)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	14.787343	#f
(1.8127418325996908e+226 1.733364019337486e-142)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	31.505865	#f
(7.533915237691798e+155 6.425251166997163e-77)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.177747	#f
(4.347106038059032e+103 1.0670987303548875e-99)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.525897	#f
(1.8865782332281608e+38 4.944122950758117e-229)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	14.614009000000001	#f
(8.418674772906783e+278 2.535437413221836e-200)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.274211	#f
(5.663499745224802e+81 2.9918613337892197e-117)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	31.407306000000002	#f
(4.36538488606967e+305 4.736238820645524e-231)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	20.185349000000002	#f
(1.6510423031194342e+268 4.0774247955709884e-159)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.17756	#f
(4.70002393356129e+30 2.5940161903941073e-33)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	14.700002	#f
(8.704287637116297e+77 1.0021178922005634e-119)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	14.966683999999999	#f
(2.386972893085735e+117 3.8486829223401014e-21)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	27.587374	#f
(1.0709047110652295e+225 3.3540874717142743e-126)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	31.417922	#f
(4.007957422416397e+157 1.0232404874912375e-291)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.855397	#f
(4.759177865430271e+305 1.606589680886576e-254)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	27.090099	#f
(6.466576676988701e+123 2.3693399254315077e-113)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	27.320692	#f
(7.545653292135757e+202 3.1073303719497246e-163)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	27.223527	#f
(7.212478126323188e+190 3.1434776309550923e-195)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	31.386655	#f
(4718864019.372734 1.0941702962229405e-183)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	38.402237	#f
(3.629389166969422e+217 1.915707196073341e-8)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.046616	#f
(7.453127717189799e+50 1.3952403874903916e-158)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	14.937914	#f
(8.588242752207361e+127 5.0974976560580506e-52)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	31.127149	#f
(8.334563440600695e+117 4.542710986194506e-122)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	32.171993	#f
(1.1516064162539014e+232 8.255932424078856e-180)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	25.651002	#f
(3.958170024711436e+202 3.4503010534652663e-50)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	27.70945	#f
(1.1003385184107842e+247 8.928338647081383e-292)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	31.334373999999997	#f
(1.1135630178513773e+27 4.262672856137451e-77)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	30.74998	#f
(1.0674028187174376e+201 1.638056015308716e-215)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	14.927415	#f
(1.7082423820350924e+244 1.2184038272261304e-66)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	31.534672	#f
(1.5170499838346178e+236 4.50962483225632e-169)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	14.984988	#f
(4.640639147225527e+176 2.020161403199549e-207)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.031703	#f
(4810052355978.3125 4.5879896729153225e-178)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	18.479069	#f
(1.1514377065844059e+141 3.799372492957789e-179)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.025960999999999	#f
(5.803960780827124e+109 7.926167680650636e-26)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	28.508176	#f
(4.0424415156700175e+162 8.613316461547295e-87)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.041568	#f
(2.9860399798882e+19 2.4868752711427118e-186)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	30.226298	#f
(4.568679183953276e+36 8.649810416586238e-251)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	14.752938	#f
(3.64632058110301e+175 2.6606741058542427e-11)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	14.870398	#f
(3.65048952224605e+131 6.116946941558626e-212)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	14.935803	#f
(5.2444820673510635e+187 1.7212011419120727e-107)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	30.720863	#f
(2.1181781801892554e+52 3.278567922673107e-287)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	14.981428999999999	#f
(5.441363630636472e+187 6.987684217718474e-190)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.221382	#f
(2.154544606237998e+250 2.866870743588358e-157)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	27.5948	#f
(6.8386019093697564e+109 2.542568524514552e-56)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	14.843290999999999	#f
(4.426517849391467e+170 5.119502905087178e-137)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	14.884451	#f
(4.970118198638672e+100 1.5568759615417089e-298)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	16.452483	#f
(5.5728050413368615e+62 2.6336981321890984e-220)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.171616	#f
(1.9341301843791579e+61 5.798280384696823e-222)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	31.342717999999998	#f
(6.715904466550085e+238 1.4106455577685574e-70)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.170916	#f
(1.337403248584512e+179 2.0443791366988493e-20)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.057983	#f
(1.0105545719313681e+288 5.458185928927267e-154)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.180543	#f
(1182341339.0310616 3.416491467076818e-293)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	18.369252	#f
(4.817223816417249e+59 2.2493508464819954e-235)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	14.933774	#f
(1.437002193615367e+62 9.297895943873587e-18)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.068333999999998	#f
(1.1377671972065225e+182 1.5135801293029507e-243)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.032059	#f
(1.2442288302989345e+190 3.747913702322803e-135)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	14.943603999999999	#f
(8.521801418574839e+303 3.6015593875245236e-212)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	14.854611	#f
(6.565668183596873e+275 1.1300721110829258e-222)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.048755	#f
(6.020998665334282e+28 1.0216435500007662e-122)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	26.667379	#f
(6.785995039856505e+292 7.430630462862065e-66)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	26.856924	#f
(4.1098222856321214e+180 2.431545136585124e-268)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	25.424737999999998	#f
(2.1352604360069283e+137 6.307652988881161e-25)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	26.710065	#f
(9.991445881750324e+85 1.088419989701742e-16)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.286952	#f
(1.3676994646642444e+211 5.332443496595294e-239)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	27.269334999999998	#f
(3.450327063983323e+126 7.877422769154487e-295)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.023707	#f
(12525897801903.826 5.6650298023024774e-275)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	18.533341	#f
(2.528880938979454e+231 7.024914000944383e-63)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	14.961955000000001	#f
(1.2461662758289596e+32 3.769085742479084e-71)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	14.900715	#f
(3.3619455777274283e+176 3.5833145441984165e-191)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	14.888748999999999	#f
(1.803108834406308e+187 1.9172316623569171e-199)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.105542	#f
(5.465996117906036e+220 3.0989398321678653e-234)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	31.269629000000002	#f
(3.3154204329230475e+190 3.9316380512590858e-205)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	27.797662000000003	#f
(2.101205263588106e+211 2.487747272281133e-127)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	26.155484	#f
(6.400372105517056e+153 1.2781326078687257e-58)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	26.946023	#f
(1.150116694796992e+232 1.9552859187508076e-172)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	27.257874	#f
(5.010637023766802e+277 3.0308237946073846e-144)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.222878	#f
(2.5708832539739934e+29 1.8189891482182319e-69)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	30.009694	#f
(3.4263798674307866e+43 3.3334678024846754e-251)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	26.935351	#f
(9.67649850852857e+242 4.6863145540727096e-88)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	27.408384	#f
(8.660730156017259e+184 8.171851951944116e-94)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	30.644691	#f
(1.791044859280622e+159 1.4024614275156015e-256)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	31.257798000000005	#f
(1.3630240953449885e+251 3.3968359469883835e-97)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	30.96938	#f
(1.6110285682931269e+208 1.733797828368016e-38)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.009932000000001	#f
(7.083396116653162e+136 3.132696002258136e-210)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	30.830354	#f
(7.328588046245329e+113 1.2255743837372661e-79)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	30.813568	#f
(1846972.885174759 2.6285550096115397e-27)	+inf.0	(+nan.0 +nan.0)	+nan.0	valid	exit	500.0	#f
(1.0691617238467107e+179 3.271269202794614e-293)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	31.312512	#f
(1.2812090783096654e+301 6.0379021586865424e-34)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.103491	#f
(2.509461636401255e+239 1.9712940228393007e-268)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	29.639521	#f
(7.022283113438123e+104 8.012834564272473e-66)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	14.908463000000001	#f
(2.9607323749866177e+41 1.4080830554769574e-124)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	14.678338	#f
(1.6363905717593517e+204 1.2182081193524863e-9)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.093685	#f
(1.3277748465047288e+303 9.686609915430501e-279)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.026211	#f
(1.5136236928943291e+271 3.1000341015888352e-74)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	21.173179	#f
(4.3211036538822405e+106 1.248252747622424e-129)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	31.361712999999998	#f
(1.6819048497135762e+76 3.592361296104348e-129)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.073105	#f
(2.2786880172667924e+37 2.2678257768198553e-35)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	14.692729	#f
(5.086164809865659e+295 3.8317573785349323e-299)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	30.846714000000002	#f
(7.177815833530065e+92 4.187145473006965e-226)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	31.429803999999997	#f
(9.313575161529782e+226 2.5808619521374058e-39)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	31.835306	#f
(6.439528869421171e+302 3.1142972725493054e-283)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	31.572899000000003	#f
(1.0426282551437323e+133 4.331873075631715e-171)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	30.848411	#f
(2.6191579701423667e+110 6.4306944757330305e-183)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	14.936592000000001	#f
(5.4862053422776896e+66 3.3568448240699404e-285)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.047365	#f
(5.844755406402483e+43 1.0501678670841578e-79)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	20.929298	#f
(1.3527597810040452e+55 7.624200689712883e-222)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.050668	#f
(1.8228763427486584e+184 1.4572107430400118e-168)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	14.895636999999999	#f
(8.121446675601385e+148 1.286124317768058e-165)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.380899999999999	#f
(1.7235409771794538e+235 1.502519133271422e-237)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	22.441115	#f
(2.4717798409734433e+141 3.22967471450891e-163)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	15.146374	#f

Sollya timings

Total time spent in Sollya 12.4s

Migdal et al, Equation (51)

analyze126.0ms (0%)

sample8.3min (100%)

end0.0ms (0%)

Profiling