sample8.3min (100%)

Results

235.0ms	927×	0	valid
2.4s	911×	0	invalid-sollya
6.0ms	11×	0	valid-sollya
2.0s	4×	0	exit-sollya

Sollya Eval

Pt	Rival-out	Sollya-interval	Sollya-point	status	Sollya status	Rival iter	sollya-time	check
(4364872242651685400.0)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.247178	#f
(1.320741680445297e+268)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.27054	#f
(1.0730985921405949e+85)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2484409999999997	#f
(5.903849023418571e+47)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.252436	#f
(7.350145395027588e+109)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.240775	#f
(9.188978163714077e+116)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.329744	#f
(1.3779478778496333e+299)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2727	#f
(1465345294860325400.0)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.23874	#f
(9.325571972561413e+167)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2475479999999997	#f
(5.44505527967296e+49)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2409529999999998	#f
(4.064044745428776e+73)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.330216	#f
(2.2611383836002983e+167)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2439920000000004	#f
(2.3754912482725026e+56)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.237014	#f
(2.6469669276363027e+254)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2592820000000002	#f
(2.0912188993903684e+140)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.239456	#f
(5.457680256351042e+219)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.252357	#f
(3.1569380728320446e+127)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.24946	#f
(6.86708254295326e+232)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2644990000000003	#f
(3.785698548051331e+241)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2782810000000002	#f
(7.196052134504861e+187)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.259181	#f
(6.7760977261588014e+44)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2397609999999997	#f
(7.809803511073964e+47)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.235894	#f
(1.811219373134272e+261)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.266479	#f
(5.36834634375681e+129)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2515840000000003	#f
(1.6463598208879035e+240)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2614520000000002	#f
(1.8756979093729926e+185)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2619279999999997	#f
(2.815293268231456e+195)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.261826	#f
(9.057445919142934e+88)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2518569999999998	#f
(5.604040966141857e+240)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2625140000000004	#f
(3.95287599431889e+243)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.266483	#f
(1.790423702602268e+154)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2748809999999997	#f
(1.0008445878805881e+119)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.263503	#f
(8.56182614740212e+260)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2653980000000002	#f
(4.470694182635132e+172)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2604859999999998	#f
(1.2225400584786965e+241)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2726119999999996	#f
(1.7005071586093165e+192)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.259926	#f
(1.095586089040059e+173)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.259064	#f
(1.0650537202320721e+260)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.27926	#f
(7.091808652614431e+112)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2640249999999997	#f
(4.872541595553855e+105)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.244598	#f
(3804809378517863000.0)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.245645	#f
(4.005224892145113e+55)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.257707	#f
(2.902188939609955e+128)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.249551	#f
(5.316677381493223e+125)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.259426	#f
(3.986987200723654e+86)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.236386	#f
(3.6935006440944484e+142)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.252049	#f
(2.8492765684894655e+99)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.241981	#f
(8.10333975596131e+107)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.252923	#f
(2.0541554248224e+60)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.246264	#f
(8.450665309948027e+29)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2570379999999997	#f
(2.8739160907474513e+173)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.257155	#f
(3.1836649964713477e+174)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2584210000000002	#f
(2.1148339688227296e+197)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.262078	#f
(1.0844436157744435e+235)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.270228	#f
(2.494054196968381e+32)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.247651	#f
(7.598571719569473e+52)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.256999	#f
(10008.514918796476)	+inf.0	(+nan.0 +nan.0)	+nan.0	valid	exit	0	500.0	#f
(1.769749257958746e+299)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.282817	#f
(1.1759416854269828e+105)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.261391	#f
(1.863634507325607e+233)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.272824	#f
(2.0950975549572353e+66)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.262341	#f
(1.932333606722695e+40)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.256678	#f
(1.7639015456153996e+161)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2591170000000003	#f
(2.3438298521297717e+66)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.294296	#f
(1.8498323621893405e+143)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2557139999999998	#f
(2.2525067151609123e+58)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.258899	#f
(1.5265011713851596e+286)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.280529	#f
(2.5178551633780688e+82)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.245376	#f
(2.3524140116149006e+281)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.270581	#f
(1.634260637928044e+95)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2592	#f
(4.766453937316128e+26)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2650840000000003	#f
(1.3459649546283644e+273)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.268707	#f
(5.956416669624156e+247)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.269246	#f
(1.9849947382728154e+242)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.278334	#f
(7.954711219030752e+78)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.254589	#f
(6.634408473015156e+68)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.254247	#f
(1.8088509127130979e+177)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2652789999999996	#f
(3.6644478312514164e+165)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2772539999999997	#f
(1.16603429826256e+115)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.252235	#f
(2.000229889164338e+188)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2526479999999998	#f
(6.930012699561538e+204)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.272393	#f
(1.5055253622106895e+169)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.255271	#f
(5.893474054664989e+227)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2737909999999997	#f
(8.410241658198714e+98)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.246734	#f
(9.105904332635179e+286)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.30173	#f
(2.6319146493863255e+181)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.267422	#f
(1.3399825710796967e+203)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2549520000000003	#f
(2.1931812114258015e+131)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.259917	#f
(7.120535060160681e+57)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.239588	#f
(5.936507648220891e+264)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.258295	#f
(3.5580559100754624e+134)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.255166	#f
(1.6697132048286498e+109)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.237583	#f
(1.9410753933105963e+249)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.26223	#f
(6.120450257974704e+120)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.252974	#f
(1.5542458110001196e+44)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.255995	#f
(6.849893571750119e+268)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2692039999999998	#f
(1.9355897816339606e+203)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.270654	#f
(1.1247029100788501e+285)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.280199	#f
(1.4317897795235538e+257)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.264777	#f
(1.5843325865346537e+186)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2500720000000003	#f
(3.5245180726013386e+214)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.252323	#f
(1.0327513742959527e+117)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2617819999999997	#f
(4.46193770026701e+80)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.248545	#f
(20382643528.904)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.241019	#f
(1.4510641744262559e+54)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2956130000000003	#f
(1.9352116187259787e+121)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.258231	#f
(1.4101988076696848e+217)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2692200000000002	#f
(1.0637105909741533e+229)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.25436	#f
(2.1784785747787278e+99)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.237837	#f
(1.6831972499250636e+82)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.248233	#f
(1.9832785695116955e+99)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.267261	#f
(6.021640972276276e+274)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2776170000000002	#f
(1.4046736152188716e+289)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.278693	#f
(2.83203413506981e+146)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.255093	#f
(9.586610940782707e+83)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.273138	#f
(9.58545975451722e+202)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.251203	#f
(1.1188416004408402e+105)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2538359999999997	#f
(3.219743492400525e+296)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2709129999999997	#f
(1.743244111038438e+212)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.262399	#f
(1.5420832930420703e+160)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.251029	#f
(6.76401598084958e+134)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.263719	#f
(1.9380008752033258e+111)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2576430000000003	#f
(3.796690248203088e+305)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.277574	#f
(1.9351639240561584e+172)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2556339999999997	#f
(1.5538549263303307e+84)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.252116	#f
(1.7022725425548724e+175)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.259154	#f
(6.4531478156751036e+181)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2621149999999997	#f
(2.6485912283538927e+300)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.269984	#f
(1056022.081672157)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.242552	#f
(8.446847596112291e+145)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.259801	#f
(6.038491790264334e+129)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.250522	#f
(5.944544858675453e+95)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.245806	#f
(3.6669985819590676e+53)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.292429	#f
(6.6136102735177826e+162)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2592749999999997	#f
(9.895175621302963e+34)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.247573	#f
(9.960938376396244e+228)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2681060000000004	#f
(4.002476782444594e+117)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.248241	#f
(1.248495999768539e+257)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.261485	#f
(1.0033690717355065e+34)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.263976	#f
(1.5314402410341793e+172)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.254174	#f
(4.346816275726109e+259)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.271664	#f
(3.150138633506822e+261)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2675870000000002	#f
(1.266913561270721e+269)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2650159999999997	#f
(2.3249876122405324e+198)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.257401	#f
(2.0321252322974502e+256)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2676369999999997	#f
(1.8695170702032761e+217)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.272543	#f
(6304527.401138032)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.25215	#f
(1.3705233267184492e+115)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.297821	#f
(9.293621534097161e+244)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.272811	#f
(1.6100715131361397e+69)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.248148	#f
(8.367951130982407e+28)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.243049	#f
(1.1773938795288795e+52)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2334	#f
(1.5847991454193405e+136)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2465990000000002	#f
(1.2822981108037801e+160)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.265898	#f
(2.9706672552555305e+127)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.25536	#f
(1.7237826636440537e+202)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2613220000000003	#f
(6.107265382712657e+138)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2578530000000003	#f
(2.8026387148330105e+160)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.253748	#f
(2.509986833518201e+226)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2562469999999997	#f
(4.969574225198634e+88)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.240727	#f
(1.885540534856877e+79)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.242677	#f
(2.9429604648236195e+281)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.271308	#f
(4.713049486094834e+178)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.253177	#f
(5.391992772902037e+157)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.26085	#f
(7.540112351483408e+36)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.265773	#f
(1.2135263717596774e+227)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.259287	#f
(478810516094.126)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2377920000000002	#f
(1.3685588465074764e+129)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.245666	#f
(1.0449664246794844e+136)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.265178	#f
(1.7841535487495261e+68)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.252694	#f
(1.5543550059266588e+273)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.271973	#f
(8.759056536091121e+143)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2650069999999998	#f
(1.1285763176846578e+177)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2533459999999996	#f
(3.27604281064759e+217)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.262749	#f
(2038327.0536934761)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2422280000000003	#f
(1.7978324279748768e+301)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.271328	#f
(1.6100680701174005e+212)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2725039999999996	#f
(1.2030072743600825e+107)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2620639999999996	#f
(2.199396198330097e+189)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.248565	#f
(2.5827200078327715e+180)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.255244	#f
(1.577626585083687e+129)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.236974	#f
(2142564755692386.0)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.23768	#f
(1.2425563901466656e+87)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2596510000000003	#f
(5647589314517395.0)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.244439	#f
(2.010764685127309e+215)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.322722	#f
(1.0240337909976304e+207)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.257371	#f
(2.10321365442609e+131)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.266641	#f
(6.251626138340194e+115)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.244608	#f
(8.893753712308427e+176)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.276248	#f
(7.429834158486719e+247)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.272634	#f
(1.0343562607746847e+94)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.267474	#f
(2.9868600187857404e+273)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.281065	#f
(2.5582295891213577e+287)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2679549999999997	#f
(6.2937390819452136e+299)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.271594	#f
(3.459527395496465e+256)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.331466	#f
(2.7160739790868963e+90)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.247462	#f
(1.008447516230984e+285)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.263722	#f
(6.064105893849417e+214)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2681289999999996	#f
(2.1634868430236238e+255)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.268104	#f
(4.323106726050696e+262)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2693280000000002	#f
(2.525334062035045e+181)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.25969	#f
(1.3903109284195038e+116)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.25473	#f
(189919523044.83524)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.247477	#f
(2.9727323399826317e+118)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2545439999999997	#f
(1.797009722477648e+67)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.24444	#f
(4.643190655044772e+266)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.27035	#f
(6.782041593904295e+210)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.281605	#f
(1.206859799783005e+172)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.252568	#f
(2.8745466457076334e+281)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.273332	#f
(1.4670074430889956e+85)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.265166	#f
(7.111226356066073e+186)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.254276	#f
(3.8246680046321986e+38)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.238814	#f
(6.018070958966371e+122)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.256916	#f
(7.02882630678699e+42)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2524770000000003	#f
(34326684268784054000.0)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.245776	#f
(3.086892474257866e+252)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.261466	#f
(1.8897458859627283e+169)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.24973	#f
(7.390516442354327e+34)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.24898	#f
(1.4760232180471662e+115)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.256944	#f
(3.6998652476541957e+286)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.276161	#f
(3.7686528104053007e+155)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.259297	#f
(7.399162308275781e+175)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.267429	#f
(8.565629817077525e+150)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.255568	#f
(4.2976838712863606e+158)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.247732	#f
(3.4933215295140965e+217)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2697149999999997	#f
(5.9805684700350835e+252)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.270114	#f
(1.2259133238706582e+272)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2705960000000003	#f
(2.92578254775193e+152)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.252335	#f
(3752052.632857137)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2428209999999997	#f
(4.8467455375623236e+151)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.246934	#f
(2.0414474182241388e+248)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.255784	#f
(1.0391992658368341e+304)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.273797	#f
(3.9680221335960294e+256)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.27818	#f
(1.326513292015607e+244)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.267185	#f
(8.72515984686709e+168)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.317988	#f
(4.797952216596997e+210)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2587800000000002	#f
(9.348654143699866e+248)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.261722	#f
(2.2164128016115074e+144)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.254607	#f
(1.1165054734049146e+58)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2388339999999998	#f
(2.092921182132434e+97)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2484699999999997	#f
(2.9307711057099254e+65)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2454229999999997	#f
(6.677304920142584e+139)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.251564	#f
(3.146510236959065e+280)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.301078	#f
(6.081063930285951e+155)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.254182	#f
(6.596443890008982e+93)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.272118	#f
(3.5359342274528125e+248)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.269445	#f
(1.8296108148930482e+78)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.257145	#f
(1.6258936281430152e+143)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2517639999999997	#f
(3.2257037285919417e+115)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2588410000000003	#f
(1.1694131189749137e+109)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.267155	#f
(1.69221038410155e+48)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.244555	#f
(1.0522545205036924e+179)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.268567	#f
(8.428778611374023e+99)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.25141	#f
(3.870071800584849e+99)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.275401	#f
(2.521212403089433e+296)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.282714	#f
(7.779904749671821e+232)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2683880000000003	#f
(1.6477048681836288e+276)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2670199999999996	#f
(1.5376063109656042e+293)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.254244	#f
(4.414780355115481e+21)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.250648	#f
(3.9452136095540805e+138)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2546	#f
(3.308973020302817e+230)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.280593	#f
(2.1832441371021516e+135)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.253929	#f
(5.9811121707366315e+66)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.245809	#f
(9.827939186713652e+190)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.269543	#f
(9.877083748438773e+94)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.246682	#f
(3.737359101054682e+251)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.264983	#f
(1.6974442232307572e+243)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.269678	#f
(1.4566010110880543e+243)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.271995	#f
(3.6536817456927406e+145)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2604539999999997	#f
(5.359846585034165e+289)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.266567	#f
(4.6423186140205444e+201)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.25216	#f
(5.3569431202844115e+215)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2660620000000002	#f
(5.142189929633493e+200)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.262743	#f
(1.4776601760732209e+224)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.250484	#f
(1.395227185142028e+151)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.261663	#f
(3.310114452710631e+25)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.245809	#f
(5.20299197223606e+84)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.251204	#f
(2.2358065887282214e+234)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.261965	#f
(1406193423796054.8)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2560800000000003	#f
(2.89307807687316e+181)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.27443	#f
(2.9303330750694e+74)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2568509999999997	#f
(5.724056882913497e+128)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.251177	#f
(3.5953545882831568e+59)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.244888	#f
(5.965882075735775e+81)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.253671	#f
(5.39728121923724e+41)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.262012	#f
(3.6491398308769255e+153)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.257022	#f
(9.645329181953716e+294)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2825599999999997	#f
(1.9635350834088055e+270)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.268934	#f
(6.759678502696281e+193)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.3011860000000004	#f
(3.7090088978231895e+187)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.263728	#f
(2.5337598323623997e+168)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2715520000000002	#f
(8.495271835327769e+58)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.255155	#f
(9.984484828417835e+98)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.257314	#f
(2.9360164930251932e+141)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.24886	#f
(1.6096414904796605e+99)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.244962	#f
(1.532362380705011e+276)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.275267	#f
(2.116739009064479e+277)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2823409999999997	#f
(3.4385305490240636e+173)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.267579	#f
(3.399792302476277e+112)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.254818	#f
(2.2738757370340165e+213)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2548429999999997	#f
(9.980784144422388e+256)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.272866	#f
(1.7814217140836625e+298)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.275873	#f
(1.7116871567563736e+95)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.259989	#f
(7.135708060674801e+146)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.266405	#f
(7.940072960759963e+161)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.288896	#f
(9.878104703904829e+153)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.253372	#f
(6.165104164976757e+22)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2465520000000003	#f
(4.634882876950776e+146)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.245098	#f
(8.368856077589592e+167)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.254556	#f
(1.5557041875883907e+243)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.261748	#f
(1.4687028577167326e+105)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2548820000000003	#f
(4.4754270958535706e+135)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2490259999999997	#f
(9.341513838262808e+213)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.270897	#f
(5.376778041685739e+269)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.277239	#f
(3.3592591331459275e+133)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.243238	#f
(1.668750887653713e+70)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.254482	#f
(7.346160703196095e+292)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2761169999999997	#f
(8.309581984322387e+39)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.253483	#f
(4.166483128017634e+217)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.268333	#f
(1.6869889865969028e+224)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.272606	#f
(1.4230716206798764e+49)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.246723	#f
(1.0848181662023202e+40)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.288325	#f
(1.9161893841330218e+292)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.275115	#f
(1.5049601211288161e+180)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.259986	#f
(7633261.912679488)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.257365	#f
(1.4334295898317663e+161)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.255073	#f
(2.376537762398682e+232)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2616419999999997	#f
(4.5612844093261195e+299)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2978970000000003	#f
(16318921658.175251)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.274673	#f
(2.804287790881856e+302)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.278731	#f
(2.580710927224308e+39)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2477590000000003	#f
(7.470596998951357e+151)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.306059	#f
(5.42040731067668e+259)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2706660000000003	#f
(2.300850037151946e+52)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2464389999999996	#f
(2.082540340829005e+285)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.281399	#f
(1.370403859228679e+270)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.266969	#f
(1837715.6024775954)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.259132	#f
(1.7051056572820226e+305)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2731019999999997	#f
(1.4344447233882976e+59)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.242423	#f
(3.991146986868344e+209)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.249666	#f
(1.5439185221588256e+74)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.248489	#f
(8.878571844962241e+169)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.252284	#f
(8.454683093188185e+268)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.263832	#f
(8.896021386515684e+194)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.257523	#f
(2.542784088014837e+262)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.268227	#f
(2.9325788499269097e+302)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.29348	#f
(8.154789835281058e+37)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.247814	#f
(4.618175261600945e+270)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.269566	#f
(1.8979756910633072e+46)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.254006	#f
(3.04352131911628e+237)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.3037729999999996	#f
(4.8307703044613417e+160)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.252811	#f
(4.1957051162441517e+40)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2450740000000002	#f
(2.0266897576749452e+242)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.280956	#f
(3.665707979116099e+96)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.243417	#f
(3.321549442630286e+65)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.325339	#f
(1.3578314401520495e+113)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.254035	#f
(5.660605850076231e+110)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.256143	#f
(6.668383075216584e+119)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2443139999999997	#f
(8380233806.270818)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.242478	#f
(3.3544351270866455e+246)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.280137	#f
(2.446545756341422e+290)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.279122	#f
(1.9574121794113997e+253)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.27255	#f
(2.285921211047779e+194)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2467580000000003	#f
(3.70096163549862e+251)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.259675	#f
(3.797227808873058e+285)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.265927	#f
(3.70246668863343e+236)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.265625	#f
(2.7071407812291654e+301)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.280319	#f
(3.995471213867382e+298)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.284062	#f
(6.959233632984916e+171)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.259785	#f
(4.495374178187934e+88)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.251537	#f
(3.594872240096025e+272)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.270944	#f
(4.64429110813483e+92)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.26387	#f
(118752743433823.9)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.247782	#f
(1.9023645486091378e+142)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.259952	#f
(2.841572143705132e+278)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.273156	#f
(4.994963952336553e+194)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.268408	#f
(5.890239928892413e+146)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.244931	#f
(2.5954058697439854e+84)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.245782	#f
(2.391682935091994e+157)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.253873	#f
(4.0518444191915105e+62)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.242014	#f
(4.772863729638907e+33)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.257846	#f
(5.02193173727607e+39)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.264603	#f
(4.39393077812154e+242)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.262495	#f
(3.4777434207000327e+286)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.259856	#f
(2.572607683266425e+208)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.264783	#f
(1.8448116285715658e+208)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.293857	#f
(6.121815145850994e+202)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.27313	#f
(1.953593725554666e+244)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2626730000000004	#f
(1.355693505965346e+165)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.263019	#f
(1.815168091940455e+95)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.248999	#f
(6.928589512545331e+237)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2580769999999997	#f
(2.378856272073948e+232)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2626209999999998	#f
(1.7288583099787148e+249)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.260197	#f
(1.6169013074021837e+212)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.263448	#f
(7.103851412602597e+131)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2540970000000002	#f
(1.253237591670334e+32)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.248008	#f
(1.426945601644477e+239)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2506660000000003	#f
(1.4007752643522938e+132)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.260945	#f
(1.2281239051362201e+83)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.38059	#f
(1.373627238443455e+240)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.269746	#f
(1.3664899659938129e+274)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.271791	#f
(2.8502401682775944e+108)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.249486	#f
(385662527918853.3)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.254328	#f
(3.402906475814809e+45)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.250887	#f
(232531391848484500.0)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.257112	#f
(3637467608432001500.0)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.242029	#f
(3.107600086729182e+194)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.252569	#f
(1.9578865746012755e+256)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.26884	#f
(2.758523278268775e+265)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.275581	#f
(1.138596909336794e+21)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.251027	#f
(1.1190938666635475e+45)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2414140000000002	#f
(3.0687171024658938e+140)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.250338	#f
(4.544858355913835e+116)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.247391	#f
(426594472559.32043)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.248174	#f
(5.371663517079858e+248)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.255398	#f
(2.4683362835034606e+21)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2374169999999998	#f
(3.853296531408501e+216)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.277261	#f
(8.894427652832491e+164)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.268035	#f
(5.570216323503543e+272)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2788079999999997	#f
(5.712809627871102e+292)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.266499	#f
(5.931553083071287e+122)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2441969999999998	#f
(1.3553618947275338e+85)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2507040000000003	#f
(1.3458855819330282e+195)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.270543	#f
(4.9865907422280487e+191)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2593180000000004	#f
(1.6155837465428265e+205)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.249184	#f
(1.2535027806265005e+169)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.261027	#f
(2.867381404298927e+81)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.259451	#f
(2.765319423039046e+40)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.23208	#f
(3.8543414160944775e+218)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.260588	#f
(1.7517204369377963e+64)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2443099999999996	#f
(1.4429849554739808e+91)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.258855	#f
(2.1032520460592517e+232)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.254679	#f
(198757447500.81125)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.300367	#f
(1.0660361972941471e+57)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2403850000000003	#f
(3.5381097908816594e+56)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.242865	#f
(2.0649031057639358e+179)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.257996	#f
(3.2040639384898546e+301)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.287331	#f
(4.3326070529832516e+110)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.244389	#f
(7.981796621020144e+119)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.25889	#f
(1.4559605998390854e+255)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.274758	#f
(1.261392583506658e+53)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2476290000000003	#f
(2.829029562207186e+167)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2537529999999997	#f
(2.516019996127785e+289)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2688539999999997	#f
(4.501520749189071e+54)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.244657	#f
(1240734270.5435426)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2520230000000003	#f
(8.24951594830193e+264)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2704560000000003	#f
(4633687696.204713)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.247761	#f
(3.741640258734613e+127)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2440279999999997	#f
(1.4219717856773158e+279)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2669080000000004	#f
(1.4799752199795491e+110)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.254934	#f
(2.2324578394978363e+51)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2550339999999998	#f
(2.1515099231651792e+231)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.256698	#f
(1.6681069548288908e+214)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2541089999999997	#f
(1.6154225995809975e+293)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.268168	#f
(3.271513340982465e+96)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.246613	#f
(1.7962490673297714e+264)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2594160000000003	#f
(5.997352108543595e+96)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.251281	#f
(6.094828671263676e+219)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.27898	#f
(5.581038299214269e+100)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.255548	#f
(5.823293681092607e+91)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2439560000000003	#f
(3.5291369027467625e+217)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.259032	#f
(2.9749523419889427e+206)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2665770000000003	#f
(2.7185739561022196e+301)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2701420000000003	#f
(8.093860578234812e+218)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.255665	#f
(2.0236746390649368e+77)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.252946	#f
(2.865965666823775e+72)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.254483	#f
(8.396382963392556e+266)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.272421	#f
(1.939953581536094e+53)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.237747	#f
(2.532237922875232e+151)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2565839999999997	#f
(4.777745716801998e+113)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.255394	#f
(4.038876484636567e+160)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.252246	#f
(6.537822794877667e+58)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.237844	#f
(2.594009408063378e+178)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2593959999999997	#f
(1.4109900001356851e+206)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.263269	#f
(7.232650169015351e+275)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.279699	#f
(3.4436890043162894e+255)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.270114	#f
(3.353172677466766e+271)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.261991	#f
(3.5485276142437706e+278)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.271075	#f
(1.0618778191948902e+193)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.267624	#f
(5.377137551930054e+134)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2588600000000003	#f
(1.2026124006637281e+77)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.252334	#f
(6.891929843875955e+193)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.244033	#f
(4.031643320638753e+290)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.319744	#f
(5.6718200577613636e+60)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.256777	#f
(3.68037343965914e+115)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.271809	#f
(6.473276305852114e+261)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2855190000000003	#f
(2.0776458012324696e+154)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.25656	#f
(2.6498440599578264e+86)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.239635	#f
(1.0793334719279943e+52)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2563169999999997	#f
(1.516714246257053e+261)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.266193	#f
(2.250791412628824e+89)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.252697	#f
(5.973522925782082e+125)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.253135	#f
(2.9640422435093743e+186)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.24785	#f
(1.0722628724695053e+47)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2540669999999996	#f
(2.7362939817702455e+181)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.264954	#f
(1.2974807661612785e+164)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.253366	#f
(2.499276697666579e+76)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.248724	#f
(3.8541013972997517e+118)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2518019999999996	#f
(2.954656711215313e+22)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2676369999999997	#f
(6.607303342729174e+21)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.239274	#f
(6.750874793771344e+68)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.253503	#f
(1.4803190983323452e+258)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.269342	#f
(2.1371936713049714e+226)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.273649	#f
(7.386991351150783e+161)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.245611	#f
(8.77899954342967e+188)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.25238	#f
(5308.0519694141085)	+inf.0	(+nan.0 +nan.0)	+nan.0	valid	exit	0	500.0	#f
(2.3718671470840133e+307)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.27658	#f
(8.581779787705542e+98)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.247876	#f
(1.823372647263472e+299)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.33054	#f
(4.8509049727929265e+125)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	4.732101	#f
(7.130274940483954e+198)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.236402	#f
(3.547547785869178e+29)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	3.764873	#f
(8.106582579998215e+74)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	3.785942	#f
(5.434048153964375e+111)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.243188	#f
(1.9181140215376816e+215)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2611630000000003	#f
(4.232473706326759e+68)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	4.64585	#f
(8.498674310549566e+82)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2447980000000003	#f
(6.540448578043405e+48)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	3.808525	#f
(73251104150972.83)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	3.7801359999999997	#f
(9.298922238227238e+188)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.24916	#f
(1.7037330687237193e+103)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2982110000000002	#f
(3.885239562313741e+242)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.264673	#f
(6.473951632095644e+216)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.298387	#f
(2.153769359683931e+180)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.242422	#f
(1.3603001156144643e+24)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	3.789296	#f
(2.934320752347879e+203)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.242323	#f
(2.573113775257185e+132)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.262408	#f
(5.821443154278009e+78)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	4.594018	#f
(1.091716200435382e+84)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.241923	#f
(1.9820469671087646e+166)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.25647	#f
(1.0699994394781209e+273)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	4.792832000000001	#f
(1.004215770231e+286)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.261887	#f
(4.0653029911220745e+216)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	3.856004	#f
(1.3246568245166606e+20)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.253286	#f
(1.4473496016349656e+240)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.258085	#f
(5.497149762067003e+277)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2689709999999996	#f
(1.501178884123671e+41)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.228405	#f
(1.7900850216766856e+180)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2394390000000004	#f
(5.855166829771011e+88)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.235039	#f
(1.860064150595995e+294)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.27365	#f
(1.227743260708704e+286)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	4.581712	#f
(7.091365814781447e+115)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.245215	#f
(4.485593790902882e+20)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	4.675078	#f
(3.8428586621582965e+227)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.268232	#f
(6.158755696163723e+153)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.255589	#f
(313589812230.6566)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2330259999999997	#f
(2.738198305222577e+73)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	3.7903659999999997	#f
(1.273757297452837e+286)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	3.824662	#f
(2.072496728756587e+164)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.260356	#f
(2.865506105918911e+94)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.242396	#f
(1.0136959376816071e+105)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	3.795011	#f
(2.7028879192390387e+134)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.251742	#f
(1.63120280489803e+136)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.285048	#f
(3.7168610121599826e+240)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	4.7896090000000004	#f
(8.47057034343642e+249)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.27658	#f
(8.518364644031463e+30)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.251411	#f
(2.808994496194788e+67)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.239203	#f
(9.310933074666671e+201)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.184791	#f
(9.505538642660634e+208)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.265067	#f
(7.108313914511463e+209)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.244984	#f
(928551798609.1603)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	3.628546	#f
(5.596294165306278e+47)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.251797	#f
(3.6257918389275604e+216)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.256222	#f
(4.2615461683113366e+86)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	3.780685	#f
(1.3546844556919566e+191)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.248996	#f
(2.117345665627324e+261)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.249127	#f
(2.815716510687821e+204)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	4.7124250000000005	#f
(3.0974907738215257e+130)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.241496	#f
(1.5656575399397484e+148)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	4.607168	#f
(2.3801907345118964e+236)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.253928	#f
(5.615848409555235e+113)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	4.211792	#f
(3.447789556497588e+243)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.301909	#f
(1.8194957314254474e+71)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2235549999999997	#f
(2.471934812527567e+240)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.23806	#f
(28308.35239994467)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	4.681075	#f
(1.9515142057739776e+183)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.257292	#f
(4.596570167280175e+33)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	4.528395	#f
(3.0569129092079065e+20)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.261429	#f
(9.399140706203514e+200)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	4.635987999999999	#f
(8.114452203135038e+92)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	3.78479	#f
(7.627335015780118e+143)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	3.798477	#f
(4.6371757946289145e+188)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.25238	#f
(2.6028616397247497e+65)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.236324	#f
(2.6865805048835855e+80)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	4.695813	#f
(7.890898477774257e+257)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.265454	#f
(1.5146084801040885e+252)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.262749	#f
(3.4160726529753965e+118)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2418440000000004	#f
(1.7124996802192663e+75)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	4.667255	#f
(4.272378895922404e+25)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	4.683016	#f
(7.57130959171688e+165)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	3.775499	#f
(4.565609221863724e+83)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.261172	#f
(1.1263936846168781e+178)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.272786	#f
(8.782773362252068e+154)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.238144	#f
(2.392766296647245e+242)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2640339999999997	#f
(5.273858442178065e+188)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	4.033833	#f
(9.368091631375992e+118)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.241333	#f
(1.3157708627437805e+283)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2671319999999997	#f
(1.4677809843689082e+235)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.261989	#f
(3.2683389939094495e+277)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.249572	#f
(1.0268816730957509e+32)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	4.4174679999999995	#f
(6.7221364019235666e+38)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.246382	#f
(3.317686296037819e+254)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.276027	#f
(8.487215646111815e+104)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	3.782713	#f
(1.4971103330238807e+304)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.258526	#f
(7.577954491832407e+104)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.234826	#f
(1.8364738373038216e+239)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.280024	#f
(4.321555752729742e+295)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	4.322747	#f
(1.1446164965212183e+175)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2484800000000003	#f
(6.130975116915726e+141)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	3.80904	#f
(2.347839484823665e+42)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	4.647508	#f
(1.8480957139317135e+289)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.257275	#f
(2.2923154058829316e+282)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	4.7060640000000005	#f
(1.7125729415831714e+225)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.249108	#f
(6.551340395548013e+297)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	3.7692200000000002	#f
(5.773363995827809e+51)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	3.763699	#f
(4.459316654169874e+71)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.239341	#f
(4.858454364969495e+271)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2528330000000003	#f
(3.2459141257270124e+97)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	4.5686729999999995	#f
(2.8160556068346057e+305)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	4.355226	#f
(2.353771830823819e+236)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	4.761861	#f
(2.749825008328109e+224)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	4.758764	#f
(9867.203222677776)	+inf.0	(+nan.0 +nan.0)	+nan.0	valid	exit	0	500.0	#f
(7.945473544017368e+273)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.271396	#f
(2.1604595416307572e+252)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	4.751378	#f
(1.3378469572040727e+216)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2660150000000003	#f
(2.2465034783404607e+128)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	4.680877	#f
(3.497443840417307e+275)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.311153	#f
(2.127628301687713e+304)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.292259	#f
(1.3209884472083992e+188)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	4.7577169999999995	#f
(1.8220145398202165e+224)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2438800000000003	#f
(7.943586257424295e+77)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.173088	#f
(1.081071920948618e+86)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	3.768774	#f
(1.1266502147876107e+236)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	4.748203999999999	#f
(4.877302365416769e+119)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.1995370000000003	#f
(3.9823144974879686e+74)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	3.802082	#f
(9.263366362944891e+285)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	4.685517	#f
(1.9809887235633443e+250)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.261012	#f
(5.0427082765546174e+181)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	3.803176	#f
(1.481183426207704e+155)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.245569	#f
(92803.4846066767)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	4.740187	#f
(4.274763633126471e+228)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	3.819263	#f
(2.8962936287170964e+168)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.260916	#f
(3.8534203479370524e+267)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	3.841896	#f
(3.674767895587975e+58)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.238716	#f
(9.510641100559164e+235)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.27446	#f
(1.6653989255194736e+21)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2499260000000003	#f
(7.463391694846667e+300)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.255128	#f
(4.242249943040233e+194)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.25764	#f
(1.2476700504609132e+188)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.260561	#f
(4.9367343745432676e+216)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	4.7836479999999995	#f
(2.405592687035766e+95)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.238308	#f
(9.657737220715736e+236)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2473229999999997	#f
(1.428158465039509e+45)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2426749999999998	#f
(8.274054778199067e+155)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	3.784068	#f
(8.248651939088754e+282)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	3.844936	#f
(9.731649635539002e+282)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	4.542216	#f
(1.2008354677815372e+135)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.250513	#f
(1.5388762452752808e+231)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2445880000000002	#f
(2.15392409039984e+156)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2460090000000004	#f
(3.9764582811577857e+96)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.247639	#f
(2.3808787290594954e+140)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.250254	#f
(2.8012041193255017e+243)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2630250000000003	#f
(2.8596791688072523e+290)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.273873	#f
(1.2345180764108816e+263)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2679169999999997	#f
(3.828719116898681e+120)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.3376629999999996	#f
(1.803188286815118e+234)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2541089999999997	#f
(2.4125024634248338e+196)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	3.8013149999999998	#f
(495300973526260.1)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	4.73644	#f
(5.8284987500189115e+81)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	4.771624	#f
(7.753989482985726e+298)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	4.767045	#f
(2.5779522628713743e+161)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	4.870724	#f
(1.2904343906115093e+297)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.251964	#f
(4.868936161382836e+131)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.225547	#f
(6.2727342042494145e+159)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2408620000000004	#f
(5.855109498683291e+119)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	3.3605620000000003	#f
(83593494235697090.0)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.242526	#f
(5.90913190897706e+284)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	4.706192	#f
(1.442911535815172e+35)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	4.816536	#f
(1.1932105328149303e+142)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2248799999999997	#f
(4.06177179147275e+84)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.236586	#f
(2.803476368088197e+151)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	4.772272	#f
(2.496230608453444e+261)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.288005	#f
(2.2930080867096735e+89)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.231176	#f
(255567759360436.16)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2341990000000003	#f
(2.0053407527635e+33)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2443150000000003	#f
(3.2060132397244776e+197)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	4.6947730000000005	#f
(1.1244640713983789e+188)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2374780000000003	#f
(2.025317323161958e+89)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	4.761764	#f
(3.9232801984592796e+291)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.25947	#f
(7.66244980806678e+89)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.241041	#f
(6.024990295159629e+269)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.255135	#f
(5.262524253169796e+178)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	4.75361	#f
(2.300442143635568e+196)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	4.021402999999999	#f
(5.032723554638795e+180)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.247062	#f
(1.2342023594304254e+241)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.25505	#f
(1.357108131715229e+254)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	3.812232	#f
(4.799475313812284e+144)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.33419	#f
(225331008832607.16)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.241762	#f
(1.414115455932645e+260)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2556999999999996	#f
(3.148094221538248e+47)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2422	#f
(5.082765977293471e+202)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	3.798465	#f
(1.0070510461822654e+275)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	3.813089	#f
(3.12279152910958e+235)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.251988	#f
(3.3931763678507947e+241)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.258473	#f
(1434480833154400800.0)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	4.698518	#f
(2.1861869089734162e+281)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.240025	#f
(1.116006769050753e+45)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.247527	#f
(5.2144779892815265e+206)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	4.691313	#f
(31554712205.901722)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2352629999999998	#f
(1.996888926347894e+79)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.253504	#f
(1.5930385855629995e+285)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.256548	#f
(2.401724913955789e+241)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	3.818311	#f
(7.613626078940641e+254)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.273638	#f
(5.446386405374648e+252)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.267308	#f
(1.5370823450630553e+88)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	4.769386	#f
(4.2549102683468444e+172)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.257775	#f
(49252588338300.97)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	3.044672	#f
(6.153179752466378e+45)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	3.7847530000000003	#f
(1.5378441020120757e+131)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	4.619954	#f
(9.536935932078484e+214)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2507680000000003	#f
(2.304812726621677e+225)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.262894	#f
(1.3934912484079874e+79)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.307114	#f
(1.0546511630167192e+186)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.242427	#f
(1.3357927960819324e+287)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	3.798774	#f
(5.68612796369371e+193)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	4.791513	#f
(1.0353878423081533e+21)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2598369999999997	#f
(1.0857334065520293e+265)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	4.794052	#f
(2.305458815637165e+256)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.250339	#f
(3.7664648780390567e+278)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.261223	#f
(3.0395031374085326e+108)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	4.643489	#f
(2.7100333298682278e+190)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.26616	#f
(3.726320233899639e+84)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2511229999999998	#f
(1.1972425645220737e+184)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	3.793	#f
(2.1302235208125353e+83)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	4.778269	#f
(6.213318277797014e+303)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	4.628303000000001	#f
(4.7127245760536754e+268)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	3.79029	#f
(6.541362850035387e+61)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.231555	#f
(1.0208866809803332e+120)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	3.787719	#f
(2.5934134228255727e+291)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	4.8337520000000005	#f
(1.4060670038506307e+89)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	4.45055	#f
(4.392251638111886e+122)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.242454	#f
(1.258992005831303e+119)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2288799999999998	#f
(2.1780546389811054e+269)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.27634	#f
(3.4682037601149235e+104)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2609549999999996	#f
(1.7845105333455303e+201)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	3.839915	#f
(2.5253356005283775e+163)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	4.717934	#f
(1.9242425757270473e+220)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.260053	#f
(4.6518397471206414e+63)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.223341	#f
(3.2636504045495404e+93)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.25306	#f
(1.2718561090903478e+263)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	3.837193	#f
(1.3993562025343393e+159)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	3.799382	#f
(2.825149847894139e+163)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.240893	#f
(7.437520620360259e+187)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.248679	#f
(4.453113153601395e+47)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.259197	#f
(429611486906469.25)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.241089	#f
(2.7528870011510223e+125)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.247695	#f
(3.3061530878538548e+168)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.245018	#f
(6.0276143867293335e+140)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.248566	#f
(2.979975391485975e+225)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2515009999999998	#f
(1.1182788945620216e+170)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	4.760758	#f
(1.0139747368038292e+152)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.327989	#f
(4.7668681027656206e+290)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.256725	#f
(4.280312703781761e+21)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.420302	#f
(3.151330484815052e+150)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	4.708366000000001	#f
(5.869381211206284e+307)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.256747	#f
(5.5750335265183475e+82)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.240268	#f
(4.462517900098644e+304)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.252198	#f
(8.132265269985475e+136)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2483239999999998	#f
(2.3701076012225853e+299)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	3.820539	#f
(4.620113121195856e+159)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	4.665561	#f
(1.2416730498699222e+140)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.258261	#f
(6.0306924364264375e+81)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	4.70803	#f
(2.8804945684935057e+143)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.185845	#f
(2.3498130183117914e+150)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	3.809914	#f
(1.85430731097378e+124)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2496780000000003	#f
(2.357170310439059e+168)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	4.809809	#f
(4.305861935879029e+94)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	4.697419	#f
(3.996454744418047e+141)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.23635	#f
(1.715491839784951e+290)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	4.783627	#f
(1.7676897304146306e+218)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.245762	#f
(1.1350150336104715e+245)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	4.712771999999999	#f
(5.918223258734162e+141)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.247173	#f
(2.5265687691135764e+92)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	4.717344	#f
(4.75741240709738e+112)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	4.703532	#f
(3.129517805587025e+102)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2705130000000002	#f
(1.1404580982065519e+184)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.254225	#f
(2.053593161568119e+179)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.369644	#f
(4.0926136335470435e+189)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.303486	#f
(1.9073349616349183e+301)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	4.877923	#f
(1.677216059329736e+226)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2574840000000003	#f
(3.300354073926325e+224)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.255166	#f
(3.9480868711704905e+195)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.247099	#f
(2.18939047675168e+116)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2526550000000003	#f
(2.3481871987502186e+160)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.250641	#f
(1.0364632575308597e+181)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.251575	#f
(5.799115940573518e+105)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.244064	#f
(3.7646021272136035e+248)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.243347	#f
(3.398211490102828e+172)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2583249999999997	#f
(8.109857852230288e+108)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.24007	#f
(6.829229753303169e+38)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2483690000000003	#f
(1.9060731383749193e+86)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.382301	#f
(3.6492622401162656e+143)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2474499999999997	#f
(3.1781066680685487e+151)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.238163	#f
(1.7692496433454883e+74)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2613529999999997	#f
(64060450.08664546)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2215339999999997	#f
(2.9231534296486696e+48)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2323880000000003	#f
(2.0950668136928504e+232)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	3.7963419999999997	#f
(5.2615445739350915e+234)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.411966	#f
(4.883264293994863e+240)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.270772	#f
(330294842366343900.0)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	3.868303	#f
(6.525383354438158e+61)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	3.735078	#f
(2.0651807681680526e+97)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.7659730000000002	#f
(4.543553148930792e+84)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.246249	#f
(7.160043501551415e+207)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.258371	#f
(7.871186919352136e+214)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2689199999999996	#f
(3.351991969832678e+122)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.196634	#f
(1.8317600795535099e+40)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	3.0908889999999998	#f
(6.563153454417716e+154)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	4.18805	#f
(7.634314813196301e+304)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2536549999999997	#f
(1.7082835690268072e+50)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.219094	#f
(1.1365523186908268e+78)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2377130000000003	#f
(5.8591378311697586e+174)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.243447	#f
(7.244719134825102e+231)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.25544	#f
(3.613138614823092e+188)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	3.398491	#f
(3.9767692054457768e+245)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2595739999999997	#f
(6.047400129360643e+38)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	3.4399360000000003	#f
(4.611105936483229e+75)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	4.171347	#f
(1.3621227069421321e+240)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	3.4180859999999997	#f
(9.979660911678758e+293)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.257175	#f
(7.192841415565043e+240)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.254149	#f
(919804855.0406145)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.264912	#f
(3.3364838812205358e+84)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	4.6661589999999995	#f
(6317.70318239645)	+inf.0	(+nan.0 +nan.0)	+nan.0	valid	exit	0	500.0	#f
(1593362008012634.3)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	4.164813	#f
(3.72982084178995e+137)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	4.166925	#f
(4.125107848363832e+53)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	3.298998	#f
(1.0516892148318367e+184)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	3.414993	#f
(5.348049475861941e+74)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	3.360633	#f
(2153971.2575366413)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	4.084651	#f
(32491071234636993000.0)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	4.171844	#f
(6.270535082022094e+145)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.235491	#f
(6.205830516059869e+107)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.238219	#f
(9.6258982316066e+285)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	3.79582	#f
(3.681556164198505e+299)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	3.7852390000000002	#f
(2.8851706057674585e+206)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.240705	#f
(1.4521901088942912e+306)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.257154	#f
(1.3718526736182986e+142)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.231828	#f
(1.4748656259439938e+28)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.246727	#f
(7.018514106088945e+241)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.251754	#f
(1.2075903417524098e+247)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	3.833196	#f
(3.044618300764638e+200)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.24721	#f
(1.9313251984334297e+269)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2562070000000003	#f
(4.9719948409568925e+70)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	4.160940999999999	#f
(1.4160070439948855e+94)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	3.7813090000000003	#f
(8.724745141193729e+306)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	3.219533	#f
(2.053619081130335e+53)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.212854	#f
(2647772246206599.0)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.232043	#f
(2.089833192169643e+169)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	3.206606	#f
(2.6850784765673932e+79)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	4.1124480000000005	#f
(1.839745436027278e+48)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	4.128426999999999	#f
(1.0698581305812342e+181)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	3.244159	#f
(1.1613861194879356e+94)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.23998	#f
(5.2822688308376596e+299)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.259666	#f
(1.878322914006745e+143)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.389494	#f
(4.759592836707801e+147)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.238092	#f
(3.267898003868871e+164)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	4.071725	#f
(7.889584499298335e+305)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	4.69009	#f
(4.535017437208383e+127)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	3.78329	#f
(2.5540231476754393e+104)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	4.086315	#f
(1.469475434582801e+38)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	3.787238	#f
(7.422304101121002e+99)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.242046	#f
(2.6648937271102827e+78)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.319454	#f
(1.0437906687331219e+239)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	3.8277039999999998	#f
(1.3063931287818222e+38)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	4.292942	#f
(1.4320895728599616e+201)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.254392	#f
(1.1133618254076388e+42)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.245215	#f
(4.7101195997666866e+55)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.249782	#f
(151150214681.05545)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	4.674874	#f
(240208071.4673439)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.338196	#f
(1.9050221031836856e+156)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.332108	#f
(2.623797690007261e+51)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.228003	#f
(9.554637036784213e+242)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.232493	#f
(3.4265719919487026e+42)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	3.2866340000000003	#f
(1.4449239434713158e+116)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	3.174565	#f
(1.2284313296022663e+69)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	4.578891	#f
(6.52637150961801e+60)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	4.136313	#f
(1.3154817897272683e+233)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.300209	#f
(2247958366338546400.0)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	3.26046	#f
(2.1933577602034906e+259)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.197744	#f
(2.893892989166273e+185)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	4.701613	#f
(8.402512205930377e+53)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.815909	#f
(1.263562555345288e+305)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	4.068683	#f
(9.431726251574539e+236)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	4.450524	#f
(2.992773320767225e+130)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.245228	#f
(1.187196345090623e+206)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.245784	#f
(4.922968944530944e+268)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	4.624618	#f
(1.0611320205042122e+248)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	3.830063	#f
(4.234780444049148e+250)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	4.112644	#f
(8.032019123552521e+192)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	4.105273	#f
(5.5001521751842495e+245)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2582169999999997	#f
(8.474787447070903e+61)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.905743	#f
(2.5203841405316557e+235)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.253485	#f
(8.744137233948992e+212)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	3.024296	#f
(2.7020527406502394e+84)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.2737640000000003	#f
(1.3618008746661113e+216)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.6461959999999998	#f
(2.1660323982181633e+129)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	4.120559	#f
(2.597989543262251e+267)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.954614	#f
(1.0520182453999007e+279)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	3.8245839999999998	#f
(1.507919912375001e+290)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	3.080561	#f
(2.1721797413291346e+263)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.250816	#f
(5.138484697012518e+144)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	3.224008	#f
(7.50548600153476e+257)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.36708	#f
(3.5509567251001935e+47)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	3.354463	#f
(3.147463108890008e+29)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.307504	#f
(5.745833608057183e+78)	+inf.0	(+nan.0 +nan.0)	NaN	valid	invalid	0	2.354053	#f

Sollya timings

Total time spent in Sollya 4.4s