sample8.3min (100%)

Results

161.0ms	1979×	0	valid
484.0ms	1839×	1	valid
64.0ms	1839×	1	valid-sollya
1.1s	1052×	0	valid-sollya
1.1s	925×	0	invalid-sollya
500.0ms	1×	0	exit-sollya

Sollya Eval

Pt	Rival-out	Sollya-interval	Sollya-point	status	Sollya status	Rival iter	sollya-time	check
(4.0272670276038335e+37)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.681242	#f
(1.0503593166035476e+142)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.646909	#f
(1.190666335176351e+49)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.390785	#f
(1.5608215868063643e+121)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.745985	#f
(4.379175052871212e+214)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.764101	#f
(2.1353248495133174e+248)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.386149	#f
(3.6637334962704776e+289)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.389017	#f
(1.339154529407486e+94)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.402319	#f
(4.3024729953296646e+126)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.392264	#f
(1.8270027500869015e+52)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.388889	#f
(5.744361856665708e+294)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.392291	#f
(6.422440733823773e+165)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.7262609999999999	#f
(1.4626134511344742e+143)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.698569	#f
(5.705727362021448e+151)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.399987	#f
(1.793866382359796e+281)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.400846	#f
(2.7844229185813246e+88)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.613609	#f
(1.007120210653357e+184)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.747464	#f
(4.82583661206258e+178)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.684843	#f
(3.4087326654534775e+207)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.704344	#f
(5.802342035740621e+170)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.695492	#f
(7.06913651474627e+46)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.73394	#f
(3.8306001445621194e+261)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.388955	#f
(1.887196127463744e+238)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.409513	#f
(4.3873427048124303e+95)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.764841	#f
(8.573405078979858e+109)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.766683	#f
(6.907606312357903e+84)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.39042	#f
(1.0154145320872523e+256)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.391016	#f
(2647842560038.9595)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	13.337051	#f
(926249739796321.0)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	14.205616000000001	#f
(1.904969190769709e+190)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.40179400000000004	#f
(2.2115766414377488e+263)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.69465	#f
(3.50484059382283e+227)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.6963400000000001	#f
(9.702430037017567e+173)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.390332	#f
(7.79997351162706e+103)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.6955629999999999	#f
(2.9959454969440107e+152)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.754395	#f
(5.2045560251884405e+157)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.40314300000000003	#f
(2.7956036376575027e+86)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.403835	#f
(7.88861394037742e+162)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.402189	#f
(1.8125302442712954e+307)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.40696	#f
(397726244631.0888)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	13.021428	#f
(1.8291813715968634e+237)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.709744	#f
(3.6216440553212192e+25)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.7038030000000001	#f
(4.319407987657597e+183)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.7008	#f
(2.261251519274427e+33)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.6929930000000001	#f
(5.765824487455423e+125)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.405119	#f
(9.520175233518084e+32)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.3943	#f
(2.8516786698855234e+132)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.806403	#f
(1.8378048878547125e+127)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.401806	#f
(9.251564495629358e+57)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.397568	#f
(6.797304367713479e+166)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.405341	#f
(1.79798586577684e+49)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.415748	#f
(1.0939180626489808e+61)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.412981	#f
(8.81792337483219e+39)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.398447	#f
(4.879475859246393e+281)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.395086	#f
(9.386491508490725e+152)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.39812400000000003	#f
(4.767002489154092e+157)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.399206	#f
(3.1006641925770604e+143)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.41020199999999996	#f
(9.309100117977318e+215)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.771788	#f
(1.351994572600913e+255)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.397131	#f
(1.539227810406865e+138)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.39864700000000003	#f
(9.195795492142418e+161)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.403316	#f
(4034402877.456516)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	22.693516	#f
(9.745376860763593e+51)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.74104	#f
(2.5237425574098152e+129)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.74439	#f
(3.1344522704716547e+190)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.7540859999999999	#f
(8.585506768319001e+249)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.733416	#f
(1.5617791946087008e+173)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.745159	#f
(1.4670797949435259e+75)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.4079	#f
(47790947760735384.0)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	27.458119999999997	#f
(7.015275354458607e+58)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.40079200000000004	#f
(1.17265528599382e+289)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.40104700000000004	#f
(1.73701786540545e+166)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.77067	#f
(2.0812702205682316e+155)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.6619510000000001	#f
(1.777530004828643e+243)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.755743	#f
(7.282964322109776e+105)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.7915249999999999	#f
(3.7681533729519474e+26)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.810872	#f
(2.8710329212325913e+47)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.710342	#f
(1.16522172367423e+136)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.410472	#f
(3.434861705274575e+240)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.407822	#f
(3.683289378634957e+284)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.7341850000000001	#f
(1.4316500320684375e+111)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.750624	#f
(8.683087776962415e+110)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.702265	#f
(8.549232665749169e+220)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.757962	#f
(9.969097613574362e+59)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.774485	#f
(1.167945960064544e+132)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.7671439999999999	#f
(4.568561889786928e+213)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.7167509999999999	#f
(1.9315301671459636e+23)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.725728	#f
(1.954058791338049e+253)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.711013	#f
(1.3465124263750723e+300)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.405777	#f
(6.116022170432066e+242)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.7501289999999999	#f
(1.0925285703223061e+80)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.735324	#f
(1.1859328172769661e+300)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.740312	#f
(7.88003517205529e+104)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.771065	#f
(4.774598492822514e+301)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.748312	#f
(6.50509652258639e+137)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.739732	#f
(4.503041726758492e+269)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.4043	#f
(2.3397618540991086e+139)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.658492	#f
(2.1301932094836372e+247)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.709725	#f
(4.712881069157171e+62)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.701464	#f
(5.932153922233322e+100)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.757806	#f
(2.5974881747215687e+169)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.40601899999999996	#f
(8.474967287043655e+234)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.7389560000000001	#f
(3.844025753607084e+296)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.714314	#f
(4.8074829903723254e+92)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.7071179999999999	#f
(4.381643949824324e+199)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.716327	#f
(2.4823031877566004e+275)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.753501	#f
(7.40708643331997e+251)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.784713	#f
(5.1744032858560724e+265)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.720208	#f
(1.328185432879643e+146)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.405989	#f
(2.1858954770160446e+133)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.7217060000000001	#f
(2.26227555905883e+26)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.7788670000000001	#f
(8.774990053743561e+151)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.39487300000000003	#f
(2.3939459668878933e+193)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.393784	#f
(6.722461738234056e+204)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.78143	#f
(4.979454047325262e+169)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.778068	#f
(4.148916488428211e+114)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.727552	#f
(2.1771875393601096e+150)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.7414639999999999	#f
(5.252363608376024e+169)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.734484	#f
(1.0605405730671307e+65)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.744916	#f
(1.184172641061289e+229)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.763253	#f
(5.1190962067763075e+185)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.403412	#f
(1.6968388893449453e+96)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.393424	#f
(1.2077595025228265e+24)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.395522	#f
(1.6339735005537098e+70)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.41101499999999996	#f
(3.662367660673833e+283)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.696758	#f
(5.00491891662259e+297)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.7404310000000001	#f
(5.4009995619055284e+163)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.395623	#f
(1.5732901693222975e+195)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.78604	#f
(1.2008642687163121e+62)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.770482	#f
(4.171678241316335e+241)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.408657	#f
(4.409785566398777e+74)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.40057200000000004	#f
(1.4991710349465953e+100)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.709749	#f
(1.6394841668177022e+72)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.40736100000000003	#f
(3.750337807921334e+288)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.803631	#f
(1.2985235411869937e+140)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.709373	#f
(1.6326884812256705e+84)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.769555	#f
(1.1418232900866283e+269)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.722458	#f
(5.124677631076884e+252)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.401713	#f
(1.7029274814506183e+117)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.762189	#f
(1.8056881696312873e+163)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.39691	#f
(7.502018630326145e+201)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.409003	#f
(2.112315141009381e+281)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.39713299999999996	#f
(9.986159074735538e+231)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.39842700000000003	#f
(1.0524812754879137e+164)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.692856	#f
(9.760826893142883e+83)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.708746	#f
(1.7236881102808491e+187)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.396026	#f
(1.679997948492679e+150)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.42319999999999997	#f
(3.3146831909162204e+233)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.392661	#f
(8.715004305509845e+261)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.402474	#f
(1.2541188650398908e+216)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.400703	#f
(3.736449342183809e+206)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.396713	#f
(4.758187730409627e+219)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.404423	#f
(4.3677451903635864e+141)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.399928	#f
(1.0619921497507802e+28)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.404762	#f
(3.7898185427598137e+286)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.40013	#f
(2.6477793926339085e+184)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.394592	#f
(8.412500498212297e+153)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.695064	#f
(1.2073489973547626e+20)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.6919540000000001	#f
(3.509641202286076e+300)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.404203	#f
(3.6809197045837945e+40)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.408576	#f
(8.484533662735542e+156)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.396397	#f
(1.5163215490616193e+208)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.392182	#f
(2.056157543817406e+30)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.400991	#f
(2.267706368897229e+228)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.399135	#f
(4.0824916821138693e+300)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.39821700000000004	#f
(4.2331188407198765e+32)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.3977	#f
(5.688616744259807e+65)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.6881879999999999	#f
(3.354538007211285e+109)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.7622730000000001	#f
(3.0403989530968957e+147)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.7744730000000001	#f
(2.071017064264454e+83)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.695488	#f
(6.896642237070107e+185)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.711676	#f
(6.995062863635401e+111)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.692697	#f
(2.874874864130095e+115)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.40316599999999997	#f
(7.017974047638626e+106)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.39810399999999996	#f
(9.888777409545769e+178)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.395209	#f
(1.969438692111412e+175)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.404673	#f
(1.0013639470918192e+49)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.778554	#f
(1.1832153476164823e+121)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.40856200000000004	#f
(6.494142953404295e+37)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.6970299999999999	#f
(1.2386331108597007e+116)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.398094	#f
(9.85157063338303e+127)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.7048580000000001	#f
(2.810395955835572e+204)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.395212	#f
(1.445904805823616e+29)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.397222	#f
(5.982295608746629e+232)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.40315	#f
(2.605593071553648e+126)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.75318	#f
(1.3022477485023981e+147)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.396233	#f
(1.0935004358129812e+300)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.703083	#f
(4.77485034451828e+208)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.7098869999999999	#f
(9.904167647617317e+238)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.402638	#f
(2.4712480737754412e+23)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.39289799999999997	#f
(2.487928342220243e+193)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.396174	#f
(1.2882630521212647e+38)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.396594	#f
(2.526733336152535e+93)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.760112	#f
(2.225662281146685e+214)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.39750199999999997	#f
(1.2416462671622769e+240)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.394579	#f
(1.0228151524700966e+169)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.702654	#f
(1.5999561476061726e+122)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.399265	#f
(2.743113736715651e+210)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.703712	#f
(7.651047088631937e+99)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.402071	#f
(1.1290957405031914e+154)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.771659	#f
(2.230799366529322e+130)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.709355	#f
(5.154225544037879e+34)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.696806	#f
(5.448128284086879e+293)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.7595050000000001	#f
(2.2135931395780068e+212)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.40945800000000004	#f
(4.7478482987336944e+86)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.407572	#f
(5.709054382729118e+118)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.416303	#f
(8.487503779446202e+55)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.7160139999999999	#f
(5.9550840571793165e+242)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.77208	#f
(1.6790030119213506e+204)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.729341	#f
(1.0535553445645834e+157)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.392826	#f
(8.591258549373563e+53)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.395579	#f
(4.340164737062284e+131)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.39916	#f
(1.1640993099918115e+144)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.395975	#f
(1.8752771093887942e+292)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.397218	#f
(6.785498499630655e+121)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.395223	#f
(2.144523938863769e+78)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.688067	#f
(3.307612216784841e+29)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.39492	#f
(2.1136753089960042e+158)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.40336099999999997	#f
(4.542573438288852e+121)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.412093	#f
(7.904468707468032e+79)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.400439	#f
(7.719734214210426e+201)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.40142500000000003	#f
(2.203626351531714e+255)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.399827	#f
(3.957644744613104e+243)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.78884	#f
(71237700782634.4)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	23.511991	#f
(7.274088584387561e+285)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.748096	#f
(1.8487505838838705e+175)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.402165	#f
(3.6091578064188934e+50)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.732528	#f
(1.3160038447144545e+121)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.430255	#f
(9.2007809063415e+218)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.755626	#f
(1.8720572669882366e+146)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.783138	#f
(1.941758946972908e+125)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.771414	#f
(5.208978621488334e+71)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.762113	#f
(1.3959264717421637e+263)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.39985299999999996	#f
(7.213670165797138e+169)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.403032	#f
(1.9092326335522436e+29)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.793173	#f
(5.930956887324621e+104)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.404914	#f
(6.440195160027652e+49)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.709894	#f
(1.5122684231196383e+133)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.770284	#f
(6.1106759550967005e+246)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.7365689999999999	#f
(1.1140178350792942e+20)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.759975	#f
(1.2950172903073432e+32)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.392588	#f
(2.0568810215320444e+61)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.816137	#f
(1.786663952955004e+82)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.766947	#f
(2.6089846348501293e+94)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.39622	#f
(9.554864809564105e+68)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.397223	#f
(3.6466480161231287e+67)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.399604	#f
(2.9199598078331285e+47)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.397918	#f
(10938537165388622.0)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	29.153874	#f
(5.273871068101621e+57)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.394473	#f
(3.313686672893924e+213)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.73805	#f
(1.809263865431943e+59)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.39719400000000005	#f
(2.4097016615349373e+256)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.397507	#f
(4.608736333716321e+161)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.404787	#f
(2.6362561077701685e+206)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.411601	#f
(87319957866345.73)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	14.031531999999999	#f
(8.621239238561413e+217)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.400309	#f
(3.258035580134346e+116)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.395649	#f
(4.160893334267293e+19)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.6967059999999999	#f
(3.0155919449964647e+285)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.39625499999999997	#f
(1744740831473336.3)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	14.553409	#f
(8.087511670318887e+202)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.7257319999999999	#f
(2.5056413563159202e+63)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.76355	#f
(1.3618796932350444e+70)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.711958	#f
(1.9464577730905505e+22)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.815582	#f
(1.9120071391960843e+109)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.735264	#f
(1.9259521833921216e+303)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.397154	#f
(5.928908345770583e+69)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.76439	#f
(3.2693831824273444e+183)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.40665999999999997	#f
(3.9313302713286035e+237)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.39788300000000004	#f
(1.1273043174518954e+138)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.692957	#f
(1.450929102631108e+137)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.7701220000000001	#f
(1.1304470075441138e+39)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.396341	#f
(3.6541345874273457e+207)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.404147	#f
(8.337046784054664e+96)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.394921	#f
(6.875202857484331e+242)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.398339	#f
(3.993541386271928e+83)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.397452	#f
(5897683704496156000.0)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.399748	#f
(2.83240695056416e+285)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.403506	#f
(1.1538038484655891e+100)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.401402	#f
(6.217709941445494e+262)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.7918470000000001	#f
(9.815012579410687e+73)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.39080000000000004	#f
(8.563003807093296e+60)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.697438	#f
(8.477389603651512e+137)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.402701	#f
(155234466054201.88)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	14.493134	#f
(7.724696811244451e+76)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.402545	#f
(9.072234372193608e+156)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.394387	#f
(43126609651678.945)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	14.005721000000001	#f
(7.121870630760736e+293)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.742094	#f
(7.480523446822278e+55)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.40254199999999996	#f
(6.602501132137409e+57)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.744247	#f
(5.244235490162064e+270)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.403884	#f
(7.13849503455975e+262)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.768824	#f
(3.553061094255963e+54)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.40196699999999996	#f
(8.839336370192326e+237)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.7278169999999999	#f
(6.732189157992725e+211)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.681809	#f
(1.5585330541459494e+199)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.7167789999999999	#f
(1.0958581430189654e+190)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.400346	#f
(6.853844442939327e+184)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.40567000000000003	#f
(1.134828795639329e+26)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.775279	#f
(4.022134571061344e+274)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.389787	#f
(6.402719189467602e+216)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.392437	#f
(1.9186103772616285e+134)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.401847	#f
(1.88413728380938e+33)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.748574	#f
(2.9480848140480745e+283)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.397193	#f
(1.3698548878635166e+81)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.39017199999999996	#f
(8.648797663887635e+194)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.39703900000000003	#f
(8.339736563395197e+98)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.39905	#f
(1.0426774000516321e+85)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.400998	#f
(1.559582783683989e+143)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.7863049999999999	#f
(1.9263882235607885e+242)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.772118	#f
(9.341819803267471e+21)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.759247	#f
(1.232192886770058e+273)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.6931860000000001	#f
(1.031812189756391e+132)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.758754	#f
(5.227827430244323e+40)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.764426	#f
(3493611945882613.5)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	14.58818	#f
(3.1005135434938903e+144)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.39337900000000003	#f
(4.063275204854763e+178)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.400382	#f
(1.158877251657194e+191)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.780553	#f
(2.3862032714692852e+36)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.745228	#f
(5.897326590268804e+129)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.706167	#f
(3.0886717914286495e+223)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.399719	#f
(1.2754690217366901e+296)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.694832	#f
(4.618918018614639e+155)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.406084	#f
(3.745203230699333e+281)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.398033	#f
(2.0034624900505276e+65)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.779415	#f
(5.769081082034977e+263)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.703631	#f
(2.2221931761109273e+87)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.398332	#f
(2.9088270297630016e+214)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.699241	#f
(2.994364503420966e+191)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.769354	#f
(8.877963767956067e+241)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.39809999999999995	#f
(7.089693693667759e+137)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.761189	#f
(1.8221967494110708e+226)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.694118	#f
(2.1680184601449115e+87)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.400905	#f
(1.2468260331671794e+289)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.401458	#f
(3.56052959979565e+265)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.392756	#f
(3.902040835161851e+86)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.781634	#f
(5.556556689521321e+196)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.401021	#f
(1.4424160305654903e+133)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.78554	#f
(1.7591168522420332e+72)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.764263	#f
(1.2491275540676653e+67)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.402641	#f
(5.952355656846202e+166)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.417318	#f
(1.3888884310988693e+76)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.401514	#f
(4677235700840326.0)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	14.835823999999999	#f
(4.0027209302697166e+208)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.7906340000000001	#f
(1477000649030053000.0)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	15.669489000000002	#f
(1.0804453953063182e+145)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.755936	#f
(3.8264732485677597e+200)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.39791099999999996	#f
(9.273056334894839e+226)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.725456	#f
(2.1887560090201247e+264)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.764189	#f
(8.902945874697133e+41)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.772517	#f
(2.2307258260814233e+297)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.663116	#f
(9.308348457992756e+254)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.404889	#f
(1.0743611001314697e+134)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.400497	#f
(1.0779838662201049e+138)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.748995	#f
(4.548108727119526e+171)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.398005	#f
(7.850518020231976e+118)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.399826	#f
(5.822157930549928e+138)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.770501	#f
(8.972477741507798e+192)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.755893	#f
(6.565090414809956e+224)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.40219900000000003	#f
(4.864445976667704e+140)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.41874700000000004	#f
(7.141684806311308e+109)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.815263	#f
(5.353602188696966e+119)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.399587	#f
(1.404316186847991e+159)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.7760739999999999	#f
(8.397273028064149e+167)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.404977	#f
(2.804541178944423e+199)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.735395	#f
(1.7280487489760856e+250)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.402665	#f
(2.5727763797805643e+244)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.400547	#f
(1.284538869927631e+31)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.7869860000000001	#f
(5.1686034653247065e+297)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.397873	#f
(2.6796871628107147e+229)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.7482030000000001	#f
(6831335549.454176)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	25.918241000000002	#f
(1.6666234191426653e+187)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.39452200000000004	#f
(1.743607391093577e+291)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.7135400000000001	#f
(2.106006992142822e+272)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.744789	#f
(2.889432797904337e+262)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.403645	#f
(1.4075945924215467e+23)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.394208	#f
(5.494424301722961e+104)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.40472199999999997	#f
(4.345566540396702e+240)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.7494850000000001	#f
(7.5603525250564206e+230)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.39608	#f
(8.242640101651142e+124)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.40192100000000003	#f
(3.1395556344085185e+110)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.7522260000000001	#f
(5.519880457453961e+57)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.39681900000000003	#f
(4.543569874275636e+107)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.77281	#f
(3.057861448847795e+155)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.759005	#f
(4.02085509663016e+107)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.408344	#f
(65072448.429796755)	+inf.0	(+nan.0 +nan.0)	+nan.0	valid	exit	0	500.0	#f
(4.6160651248202286e+200)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.778645	#f
(6.740105125723524e+56)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.7648140000000001	#f
(2.3972572656440753e+43)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.808015	#f
(2.9731907343226693e+37)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.737352	#f
(3.8620723934558584e+94)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.398167	#f
(1.0436174168755638e+272)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.395854	#f
(9.193808385596484e+187)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.40107499999999996	#f
(2.3830972029788876e+37)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.396692	#f
(4.816865911974846e+213)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.39639599999999997	#f
(7.967716609888801e+206)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.399364	#f
(1.706220337352585e+252)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.699057	#f
(2.772884826566975e+299)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.407004	#f
(1.6688436774748434e+189)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.7891830000000001	#f
(3.4597901217817563e+103)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.397156	#f
(8.799803674482147e+259)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.40409700000000004	#f
(4.741623218445045e+230)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.39576599999999995	#f
(4.651593434519268e+228)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.396554	#f
(1.577447551609429e+270)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.397547	#f
(1.4018871328538873e+76)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.39714299999999997	#f
(1.071447927042559e+306)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.399702	#f
(3.2638802977595403e+299)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.795972	#f
(2.155422286652543e+124)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.781485	#f
(5.543665748814961e+27)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.742946	#f
(9.393851295981956e+154)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.7237520000000001	#f
(3.265927933146095e+26)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.720847	#f
(1.2578617797479777e+155)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.38855900000000004	#f
(1.6585464791082416e+73)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.801942	#f
(6.297780486800551e+27)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.39924	#f
(1.7033802387513597e+66)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.694354	#f
(1.7780879199566382e+65)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.39112	#f
(1.4927356137986734e+126)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.709758	#f
(6.2116671751076136e+203)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.397152	#f
(3.642180779959504e+215)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.7444609999999999	#f
(1.3755150627157917e+89)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.793228	#f
(5.616844748153502e+273)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.38863800000000004	#f
(5.168413477677184e+165)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.391779	#f
(1.0290820402295479e+37)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.7200219999999999	#f
(7.150463527601541e+230)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.39583	#f
(3.645769848435538e+30)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.7399330000000001	#f
(1.8138907719924584e+190)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.396758	#f
(9.43751710449271e+241)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.7706040000000001	#f
(6.711034264112334e+111)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.705952	#f
(8.552916285059695e+224)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.39545399999999997	#f
(3.980831089308524e+212)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.679509	#f
(2.002318585452832e+68)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.679076	#f
(6.200861414031063e+159)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.401119	#f
(6.29352803946558e+298)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.686972	#f
(3.8764069352793535e+230)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.8148409999999999	#f
(2.6796566154051146e+217)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.396221	#f
(4.043389404346621e+55)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.734849	#f
(2.060440601200003e+160)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.398745	#f
(2.134708695254656e+99)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.405635	#f
(1.451231832365435e+241)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.402101	#f
(5.873008511524761e+142)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.6872280000000001	#f
(3.606801054167496e+228)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.403961	#f
(3.5034513681722357e+120)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.6983020000000001	#f
(11520176770712.107)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	29.370755	#f
(7.553332824760229e+198)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.794002	#f
(3.891133581018607e+224)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.408856	#f
(1.3378210143431936e+238)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.77559	#f
(2.9752506473618116e+176)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.77167	#f
(5.252237384328414e+107)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.38954	#f
(1886982205.4192426)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	24.424491	#f
(6.562695856446118e+272)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.729858	#f
(4.601166234813061e+127)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.405794	#f
(2.0113832324138166e+43)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.385897	#f
(9.285967587603637e+133)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.427405	#f
(2502224835510.9224)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	28.38628	#f
(1.581756308146684e+198)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.39463699999999996	#f
(6.580755975856497e+213)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.756841	#f
(1.7668615252198017e+217)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.78934	#f
(19745775958126.418)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	29.355892	#f
(1.7594723485411332e+173)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.75553	#f
(1.985249779402386e+96)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.39676799999999995	#f
(1.364613363733839e+27)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.40037599999999995	#f
(1.0195308070503834e+91)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.39526900000000004	#f
(5.850497142623422e+75)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.39952	#f
(6.62240468224255e+209)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.395339	#f
(1.9944400622322407e+31)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.392741	#f
(1.538770604850536e+274)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.397306	#f
(2.09115502716446e+244)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.690222	#f
(8.108281079148295e+284)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.403817	#f
(1.8053687693051373e+188)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.400524	#f
(5.582746154268821e+200)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.397727	#f
(5.835685029698892e+34)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.6905249999999999	#f
(2.635144363385448e+171)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.401386	#f
(5.098891734918374e+95)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.40111399999999997	#f
(2.770527569371665e+300)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.391537	#f
(8.670346238560412e+240)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.699231	#f
(4.2811624759950775e+305)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.411926	#f
(1.572697715773367e+273)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.399887	#f
(1.311498952754822e+146)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.7890799999999999	#f
(4.6247618076029075e+50)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.74863	#f
(6.256337441066525e+39)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.39944999999999997	#f
(1.0319049635556362e+175)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.688458	#f
(8.382127080572727e+30)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.399398	#f
(6.346308753407361e+129)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.760015	#f
(9.605855645107072e+135)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.774677	#f
(2.9497654774867055e+251)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.7636630000000001	#f
(2.0937575794443886e+125)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.403318	#f
(3518706870266.3413)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	24.789287	#f
(1.1450788507531003e+173)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.751403	#f
(8.17142942324503e+175)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.698487	#f
(2.1496450971003928e+237)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.397833	#f
(2.094453012702812e+141)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.409194	#f
(5.6868358192979265e+268)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.755931	#f
(2.209463863019058e+193)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.397761	#f
(4.272501223403884e+104)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.39309	#f
(1.0186616765636048e+142)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.397107	#f
(3.1942349464659707e+180)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.400762	#f
(5.900635288629925e+192)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.699153	#f
(1.4090645024984735e+80)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.41279	#f
(1932365221068664600.0)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	15.619856	#f
(2037748622547.4165)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	13.368985	#f
(1.7921599612182396e+236)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.402808	#f
(8.506658831903063e+91)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.39358299999999996	#f
(2.858754025722009e+84)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.689809	#f
(9.478338917050026e+101)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.406753	#f
(4.677932022375579e+152)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.70355	#f
(2.045514695148258e+215)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.400483	#f
(5.144173345235473e+225)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.40123699999999995	#f
(9.050518072999534e+189)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.7881309999999999	#f
(1.5242581491557973e+93)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.393731	#f
(6.177703225655445e+64)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.398525	#f
(1.2297524594025879e+166)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.397779	#f
(1.2684578343846501e+225)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.396414	#f
(5.544472772669479e+142)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.39256	#f
(2.711258806577857e+33)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.696341	#f
(1.6366888062001892e+179)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.40075	#f
(7.039845394284806e+250)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.397888	#f
(1.0009153383709446e+242)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.720243	#f
(1.8161951233696692e+143)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.40988199999999997	#f
(4.292712149913277e+191)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.400157	#f
(5.363831588180397e+199)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.410246	#f
(4.257542955929377e+39)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.399437	#f
(7.72204861368471e+133)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.787888	#f
(1.7810486230854798e+103)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.39428599999999997	#f
(7.156835343757754e+227)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.763862	#f
(9.023086576775372e+251)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.39215099999999997	#f
(7.414732410024973e+98)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.766368	#f
(6.216732420887357e+238)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.40796400000000005	#f
(1.2606040737095106e+75)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.693608	#f
(1.107742952735562e+85)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.400497	#f
(3.9033137005539227e+254)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.40057200000000004	#f
(5.896636078980901e+138)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.39620099999999997	#f
(2.4270626881231483e+209)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.39299700000000004	#f
(1.0425083629371728e+275)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.396359	#f
(1.4646200467075035e+59)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.692153	#f
(2.5012190817025622e+190)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.398715	#f
(1.4530092653825724e+57)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.7567980000000001	#f
(2.4712072101876524e+50)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.394625	#f
(6.826475750817171e+227)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.397252	#f
(2.7932403635502217e+264)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.408034	#f
(3.0658125784898706e+302)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.728032	#f
(6.294688499037532e+100)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.706777	#f
(15943803896.3181)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	12.978282	#f
(1.7303473327205856e+172)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.742791	#f
(1.3933463548183278e+210)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.705773	#f
(2.965628262813352e+159)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.793075	#f
(7.304668038810453e+224)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.399036	#f
(2.2574385070392687e+194)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.760633	#f
(4.234247467996632e+38)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.394961	#f
(5.818108540319756e+194)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.730175	#f
(1.692873754897206e+119)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.749179	#f
(9.872717074500725e+161)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.757476	#f
(5.893451100897554e+225)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.7339650000000001	#f
(3.570354090258653e+173)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.401497	#f
(1.2799597643068126e+27)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.749558	#f
(8578670591373.24)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	28.103215000000002	#f
(3.362276840552251e+134)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.40046899999999996	#f
(9.789543256801074e+295)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.855224	#f
(4.9004592788222385e+262)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.799735	#f
(2.6291837615386245e+141)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.403922	#f
(6.211447442072654e+149)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.40664500000000003	#f
(1.7370105709996846e+259)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.7071189999999999	#f
(4.661054190933122e+157)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.703218	#f
(1.0458886725405168e+129)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.7060569999999999	#f
(9.02259046739341e+194)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.39921	#f
(1.1845892867662907e+265)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.7570749999999999	#f
(5.587003774726565e+220)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.408591	#f
(1.0397090853238635e+82)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.7239450000000001	#f
(1.5343841033361646e+293)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.402158	#f
(1.770616727266678e+117)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.4001	#f
(2.865931081758175e+92)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.721273	#f
(8.251724548152929e+189)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.41228400000000004	#f
(1.6510423031194342e+268)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.7936580000000001	#f
(2.035336190590107e+113)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.408051	#f
(3.1034636858104782e+177)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.405081	#f
(1.7458122757747678e+262)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.831555	#f
(4.1870911667830704e+80)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.6999000000000001	#f
(2.0472337679123862e+226)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.722595	#f
(2.6742103675000896e+237)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.775753	#f
(3.493505706783193e+301)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.7532030000000001	#f
(5.7451485426475817e+85)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.829009	#f
(1.829378482489256e+168)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.723776	#f
(6.1674172933407536e+150)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.7070069999999999	#f
(1.8208114109009254e+274)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.730243	#f
(9.920467260892411e+143)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.682358	#f
(1.2923421182447435e+76)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.65766	#f
(2.1825493872813753e+117)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.8122440000000001	#f
(1.9892815341561282e+55)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.429578	#f
(5.171918169934847e+295)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.405466	#f
(8.645357315095549e+50)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.39592499999999997	#f
(2.1523327481524558e+148)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.723108	#f
(1.8179324645221368e+54)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.721869	#f
(6.385623131487229e+301)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.801028	#f
(2.1781703427244928e+288)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.757548	#f
(8.269372353482805e+108)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.766874	#f
(1.3430106132340447e+159)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.7667740000000001	#f
(2.989878509887392e+102)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.793394	#f
(3.3373980584640013e+56)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.744175	#f
(4.8074719073467125e+59)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.7706850000000001	#f
(4.805158353390303e+106)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.387741	#f
(1.1865537795184981e+94)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.398901	#f
(1.3247608259259518e+123)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.698736	#f
(2.5658068717733184e+141)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.397517	#f
(6.341280398135768e+104)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.771582	#f
(7.581000827026662e+283)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.784614	#f
(3.11068728107725e+212)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.40432199999999996	#f
(1.4886625831836211e+88)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.7450669999999999	#f
(3.3946878799315073e+235)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.764101	#f
(4.84023622946558e+295)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.750074	#f
(5.654919081885619e+108)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.787406	#f
(1.8830747530290484e+106)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.753783	#f
(9.347025962368247e+243)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.7679549999999999	#f
(4.5014081822445123e+83)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.677737	#f
(2.2189360985635103e+148)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.706189	#f
(4.013432244048503e+167)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.713793	#f
(3.997991489319063e+168)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.39350799999999997	#f
(1.291482875073056e+45)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.759055	#f
(1.0293769380558655e+235)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.397056	#f
(8.4039038854153195e+37)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.398945	#f
(3.4571459548432174e+205)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.694532	#f
(1.3631234578903114e+238)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.402729	#f
(9.849549072302087e+222)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.39686499999999997	#f
(4.724345257140048e+76)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.766582	#f
(5.322715217529956e+194)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.396397	#f
(2.7827236943640387e+281)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.682431	#f
(1.5375379904256276e+218)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.755654	#f
(3.6428838852280203e+227)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.7011120000000001	#f
(1.417163937330022e+59)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.689704	#f
(3.396791350765281e+153)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.402303	#f
(4.350864130629607e+98)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.6916300000000001	#f
(3.123168691476979e+107)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.406385	#f
(2.3187045893905873e+302)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.712891	#f
(2.0154694490066673e+24)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.395359	#f
(7.253660241502e+202)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.399348	#f
(9.058194678483006e+64)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.390526	#f
(1.1570796514766146e+253)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.403163	#f
(5.538060608777312e+276)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.40389400000000003	#f
(7.082486019446704e+42)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.401767	#f
(6.246106578573676e+265)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.40232	#f
(6.535082146145386e+201)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.401453	#f
(2.3059100980633844e+155)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.40093	#f
(1.249033813934861e+66)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.402527	#f
(8.80198265572148e+45)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.397527	#f
(5.564452733137146e+239)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.393836	#f
(4.371620546893094e+49)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.759872	#f
(13029042091.804058)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	13.020336	#f
(8.419735621198002e+88)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.39404799999999995	#f
(4.3673288987581147e+102)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.39827999999999997	#f
(1.9239172462166552e+177)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.397731	#f
(6.21531626007395e+89)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.776068	#f
(1.656202584745672e+224)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.396116	#f
(6.483218857330655e+167)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.406134	#f
(6.352524323573743e+70)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.703215	#f
(5.171555940054744e+231)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.786116	#f
(6.864560974023652e+188)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.405983	#f
(1.5942698980875515e+204)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.399385	#f
(8.572853914964125e+158)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.39531	#f
(4.476067688915693e+108)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.401371	#f
(5.136195462356283e+201)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.705955	#f
(1.1296882427686797e+307)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.701789	#f
(2.702183710490302e+71)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.40320100000000003	#f
(2.2207834158564092e+274)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.40016999999999997	#f
(1.1902275383670118e+50)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.400418	#f
(2.2517992346436157e+129)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.821764	#f
(1.4042326880979675e+101)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.7151419999999999	#f
(5.800340413079703e+63)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.39582700000000004	#f
(4.667985032928296e+203)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.398681	#f
(8.751413224088754e+94)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.718056	#f
(1.6962073326738222e+68)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.40026100000000003	#f
(9.807184565222338e+252)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.406765	#f
(2601137135.3398404)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	22.669465	#f
(1.145389946432937e+36)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.400082	#f
(5.961142248838649e+113)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.713195	#f
(4.533029586039036e+215)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.394563	#f
(6.116358414437584e+83)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.717249	#f
(5.512785426160286e+28)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.778099	#f
(1.6694945477743384e+156)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.397445	#f
(8.53042776465701e+203)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.7541479999999999	#f
(5.891722850860263e+217)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.402888	#f
(1.6845895500383502e+257)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.706969	#f
(1.124707803491495e+110)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.711033	#f
(1.1064806658544855e+167)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.396222	#f
(4.032011986894514e+224)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.68942	#f
(2.0173886850376262e+235)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.812214	#f
(1.960152572767142e+84)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.406227	#f
(1.5740070736962374e+277)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.77337	#f
(4.18183350903285e+224)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.743958	#f
(1.1281645475852412e+262)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.39954999999999996	#f
(6.961450568686654e+167)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.7364620000000001	#f
(4.7721022587102837e+54)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.7618240000000001	#f
(5.726280715262435e+38)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.67138	#f
(2.679985935893349e+201)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.40044100000000005	#f
(4.02545774411558e+293)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.745056	#f
(8.292570091273046e+189)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.38967500000000005	#f
(1.814810837915159e+166)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.770692	#f
(2.6681143067465046e+46)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.39289799999999997	#f
(6.622292319853216e+84)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.38461700000000004	#f
(3.700764557023638e+129)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.7195889999999999	#f
(9.521079833850748e+159)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.403853	#f
(3.816470360574472e+41)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.675262	#f
(2.453288978674197e+131)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.756883	#f
(2.3406917075871544e+31)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.702828	#f
(3.3750695248741815e+143)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.7996019999999999	#f
(9.572547134478102e+157)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.768659	#f
(1.6185986768492056e+106)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.40739	#f
(1.1744521514252033e+235)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.835382	#f
(3.1459963301822526e+58)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.406437	#f
(5.9574332173535706e+35)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.727283	#f
(2.595337287095235e+298)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.7919350000000001	#f
(1.2508646787452642e+209)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.398404	#f
(4.0476573060791295e+249)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.76518	#f
(7.852885726847972e+245)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.404082	#f
(1.284306302297298e+51)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.684721	#f
(1.2056667308928877e+228)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.776765	#f
(1.3049049261620223e+28)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.6731750000000001	#f
(5.450040328195664e+200)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.39458899999999997	#f
(1.1770780338515794e+175)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.7944220000000001	#f
(6.675012360694625e+67)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.402233	#f
(2.518537630329495e+173)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.40292700000000004	#f
(5.226405134195522e+213)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.39902600000000005	#f
(2.575133605191568e+37)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.39474	#f
(1.3059532758215833e+174)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.746649	#f
(1.1125153290388083e+39)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.399895	#f
(4.74435682379418e+86)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.715238	#f
(1.0102374508753117e+162)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.767444	#f
(3.5226015449925763e+254)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.675431	#f
(2.061960344812907e+23)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.744298	#f
(3.4009898843985154e+30)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.390734	#f
(1.9704608135019394e+98)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.402302	#f
(2.47383464408231e+221)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.764077	#f
(3.1051217312852515e+190)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.783915	#f
(7.930672159344575e+261)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.39913600000000005	#f
(1.0462193633202464e+150)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.741949	#f
(2.405973812333404e+241)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.720186	#f
(1.1292744572686113e+270)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.402768	#f
(1.0044713498999872e+98)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.398808	#f
(6.261999392834954e+284)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.405358	#f
(3.16743548953994e+116)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.40244199999999997	#f
(1.5366153473327184e+86)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.679689	#f
(2.819556415744782e+111)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.390414	#f
(236770701445544.2)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	14.330429	#f
(7.249902935325105e+157)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.7600330000000001	#f
(5.978118417606438e+144)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.753721	#f
(6.03909780233545e+254)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.414029	#f
(1.0030633195890183e+127)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.688497	#f
(6.102548478255319e+70)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.410302	#f
(4.088835242726863e+122)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.392296	#f
(1.0772179608909515e+106)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.772233	#f
(1.0210149083892485e+46)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.380828	#f
(4.329885785954338e+187)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.794766	#f
(9.06479750644989e+204)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.40239699999999995	#f
(1.4872148979451407e+225)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.691077	#f
(4.6977727850335096e+113)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.7892	#f
(1.923551241112495e+36)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.760459	#f
(5.72227027714355e+254)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.76378	#f
(8.855734979143904e+264)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.779074	#f
(1.0060452845699233e+236)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.7655780000000001	#f
(1.5654733401575607e+180)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.713441	#f
(1.0563342128881217e+30)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.804897	#f
(2.458539914028623e+113)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.399366	#f
(1.405473649620566e+50)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.40228200000000003	#f
(1.7564089278742963e+244)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.681534	#f
(2.7285204798880035e+98)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.712554	#f
(118240563892030.92)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	14.315284	#f
(1.3596742155192713e+191)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.7742880000000001	#f
(2.6212373948206144e+126)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.747183	#f
(4.766938720088438e+126)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.401588	#f
(1.0537380603226862e+55)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.7173569999999999	#f
(5.384935985262198e+79)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.399183	#f
(1.7585308981436322e+67)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.741302	#f
(2.952510631928389e+246)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.722889	#f
(7.312580264089929e+205)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.404024	#f
(2.78788536334189e+140)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.404047	#f
(2.2110878738599589e+276)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.746179	#f
(2.746463517838908e+52)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.403525	#f
(1.1277880200286086e+291)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.701863	#f
(9.30266490691047e+19)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.400475	#f
(1601186289345315300.0)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	15.61415	#f
(1.6411039067532602e+302)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.417042	#f
(1.0430817381610114e+32)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.39580000000000004	#f
(8.715490392258954e+81)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.409661	#f
(4.6223499162639815e+216)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.400194	#f
(4.831544349175063e+296)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.398696	#f
(8.416583244497598e+166)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.768307	#f
(32915252252488.645)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	14.441690999999999	#f
(3.6484143773016716e+176)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.7487149999999999	#f
(9.778428223202587e+184)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.397613	#f
(3.548920916194967e+272)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.391781	#f
(5.876631276965469e+80)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.39635400000000004	#f
(1.0407219644402782e+195)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.406359	#f
(8.896715823767e+262)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.416592	#f
(1.2310073339303655e+165)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.757637	#f
(4.0696560160463335e+294)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.391581	#f
(9.317710111786608e+288)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.770451	#f
(8.183665502096119e+236)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.407009	#f
(7.519089034750338e+264)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.401403	#f
(6.928389400358949e+108)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.477528	#f
(3.6722585496517594e+108)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.39658899999999997	#f
(3.929392880045185e+97)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.696312	#f
(4.275718203723133e+167)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.403965	#f
(5.383548019474562e+156)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.40571999999999997	#f
(2.799490549804283e+116)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.39580000000000004	#f
(1.704346539575167e+170)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.767373	#f
(1.5137645678765304e+172)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.7978500000000001	#f
(1.2414534837986802e+240)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.397239	#f
(5.3164386372856004e+222)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.393553	#f
(2.2052104051158084e+189)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.40044	#f
(1.185063077078121e+22)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.388754	#f
(2.7384997799572703e+102)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.394106	#f
(2.122856124545776e+30)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.39560300000000004	#f
(3.862471934530823e+156)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.405102	#f
(5.382728023445168e+50)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.756311	#f
(5.396007519372752e+294)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.41139699999999996	#f
(3.730420885996949e+270)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.402364	#f
(1.2815435101353304e+250)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.398625	#f
(4.075378742754418e+154)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.413007	#f
(1.6589196023690474e+278)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.703825	#f
(9.725518171367893e+104)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.395148	#f
(6.442058055290107e+129)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.397569	#f
(3.2885083631147337e+243)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.39783100000000005	#f
(8.015669943164113e+248)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.781646	#f
(5.5994351994975407e+79)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.39183700000000005	#f
(1.0053022344393391e+65)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.39501400000000003	#f
(7689387039664733.0)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	14.625077000000001	#f
(5.320603976189515e+89)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.395059	#f
(1.296975896681157e+177)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.400236	#f
(4.185848502257415e+125)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.781554	#f
(6.32133149385248e+52)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.686871	#f
(9.637688368559719e+98)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.39805	#f
(8.454393345358517e+237)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.40026599999999996	#f
(6.684727333198734e+263)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.393509	#f
(4.0608133152757116e+52)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.778606	#f
(1.4481463125467978e+147)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.68911	#f
(9.534432848248442e+263)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.397663	#f
(9.608136585518017e+109)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.691725	#f
(5.382206074451211e+111)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.395534	#f
(1.2871812828955217e+125)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.7067599999999999	#f
(2.193058382716953e+74)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.40560999999999997	#f
(5.0262866703113746e+172)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.69479	#f
(1.7293712035814642e+196)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.754227	#f
(1.5285013416737938e+48)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.410099	#f
(4.769980947667424e+176)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.695547	#f
(3.364619826510961e+69)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.39247499999999996	#f
(1.83361653444683e+162)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.41213900000000003	#f
(6.9446751340905464e+246)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.401097	#f
(8.272671110500125e+200)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.402717	#f
(1.1845611031680644e+300)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.7524759999999999	#f
(1.6554220859313717e+42)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.790432	#f
(2.0893857626680842e+270)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.6878799999999999	#f
(2.733240818429434e+142)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.39912	#f
(2.445537274727604e+287)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.40206600000000003	#f
(4.664187087427002e+164)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.404148	#f
(6.808816322604251e+140)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.776985	#f
(4.192424701568655e+239)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.41912900000000003	#f
(1.8791526645878258e+124)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.68544	#f
(7.867966215066516e+242)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.399814	#f
(1.103788217241985e+164)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.41399600000000003	#f
(3.0354048526976074e+192)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.39215700000000003	#f
(6.643597006960744e+19)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.7867069999999999	#f
(8.302771261902594e+163)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.401886	#f
(1.9174455563728253e+81)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.40845	#f
(1.8901941776311537e+68)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.396317	#f
(7.8583806938949e+165)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.40161800000000003	#f
(4.316317122087289e+257)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.402653	#f
(6.438096977921385e+257)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.39595800000000003	#f
(2.298328976374622e+154)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.39761	#f
(4.9801677975682057e+272)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.402528	#f
(1.1998870969367382e+218)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.6910879999999999	#f
(2.795068928218921e+160)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.690684	#f
(6.487876424903202e+84)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.753615	#f
(3.5010227898877723e+289)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.779297	#f
(968235441092407.3)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	14.526859	#f
(2.3658864267680714e+261)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.703595	#f
(8.35923859898363e+175)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.407219	#f
(2.335038776920345e+205)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.400605	#f
(9.091729704458947e+99)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.39824400000000004	#f
(6.25084574875493e+236)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.407063	#f
(9.920607735195843e+268)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.40232100000000004	#f
(9.256532582497893e+121)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.399364	#f
(1.1057267922561071e+266)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.40172800000000003	#f
(8.702352318181148e+248)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.412586	#f
(1.5036321703512074e+229)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.7764490000000001	#f
(4.303004762934347e+274)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.704017	#f
(3.254137856451673e+230)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.39698100000000003	#f
(3.2619928699263108e+94)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.39666	#f
(3.5843094491184715e+132)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.398159	#f
(28090024892.356388)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	23.570420000000002	#f
(1.700114080894352e+32)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.396501	#f
(1.328944780081528e+273)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.696535	#f
(1.816703116289995e+307)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.787289	#f
(1.1450360794677648e+301)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.39787	#f
(7.362660877320246e+28)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.754959	#f
(1.860573934439128e+272)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.42964	#f
(1.5199835913998466e+60)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.389151	#f
(2.0184606965074033e+71)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.784697	#f
(2.5439135434590286e+144)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.399484	#f
(1.7404594624513058e+304)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.7764519999999999	#f
(7.816529895227156e+95)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.390903	#f
(3.1460351990232793e+38)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.398322	#f
(4.213398877802244e+213)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.6737460000000001	#f
(9.261254808080698e+197)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.39562	#f
(6.324800099223934e+301)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.7836120000000001	#f
(1.3364917867739136e+45)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.7912410000000001	#f
(1.3729823664267345e+28)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.704009	#f
(5.948959752507459e+226)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.399913	#f
(7.278403864379454e+306)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.404864	#f
(3.5255864153157075e+180)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.402781	#f
(9.051605556758295e+221)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.39293500000000003	#f
(2.1239015651751025e+169)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.401259	#f
(6.299084208382528e+58)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.40070999999999996	#f
(3.638308752022324e+62)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.39511199999999996	#f
(1.0121044676068778e+29)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.779239	#f
(8.844881586154337e+65)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.39422799999999997	#f
(5.722223584812801e+109)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.399209	#f
(116889988026.40334)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	13.065869000000001	#f
(1.4525282804096597e+25)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.39416	#f
(1.4781413109864199e+199)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.41007899999999997	#f
(7.940623997048597e+293)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.400063	#f
(3.5086871568334506e+208)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.7880349999999999	#f
(1.5802777880681376e+247)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.752944	#f
(1.0452938863177177e+215)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.39684600000000003	#f
(8.720684824512504e+176)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.755099	#f
(4.5369010612466817e+226)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.7774340000000001	#f
(7.13646648336412e+249)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.398906	#f
(1.4121073658575908e+272)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.7379290000000001	#f
(3.3288656871894277e+218)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.408678	#f
(4.145996178344822e+207)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	0.396938	#f

Sollya timings

Total time spent in Sollya 2.8s