/* I1(x) */

//[0,7.75):
P1[14] = {
8.3333333333333333311567967e-02,
6.9444444444444450632369337e-03,
3.4722222222221933634809047e-04,
1.1574074074079326676719210e-05,
2.7557319223490964726712181e-07,
4.9209498642000488498034902e-09,
6.8346524852208360284643288e-11,
7.5940608652484019265663823e-13,
6.9036483611746228414130722e-15,
5.2305536429160706017626195e-17,
3.3486060280590464196327437e-19,
1.8645262719811753663834319e-21,
7.9611250107842314599760659e-24,
5.3251032089995165438568695e-26};

//[7.75,Inf):
P2[23] = {
 3.9894228040143270388374079e-01,
-1.4960335515072058522575487e-01,
-4.6751048269476797374239762e-02,
-4.0907267094886972971863462e-02,
-5.7501487840859800117669379e-02,
-1.1428156617865937773864845e-01,
 6.7988447242260666801129937e-02,
-2.2694203870019250176636896e+01,
 9.7548286270114208672947525e+02,
-2.9286459257939415083570152e+04,
 4.9934855620495985742805154e+05,
 5.7682364160056137069002930e+05,
-3.1576840778898356890175020e+08,
 1.0484906321376589515223174e+10,
-2.0918193917759394367113655e+11,
 2.9320804098307168426392082e+12,
-3.0147278411132255281401004e+13,
 2.2950466603697814797615042e+14,
-1.2816007548999035598180100e+15,
 5.1086996139908353110844064e+15,
-1.3774917783425787550429723e+16,
 2.2531580094188348024267027e+16,
-1.6895178303473738478791245e+16};