Java tutorial
/** * This file is part of impotch/calcul. * * impotch/calcul is free software: you can redistribute it and/or modify * it under the terms of the GNU General Public License as published by * the Free Software Foundation, either version 3 of the License. * * impotch/calcul is distributed in the hope that it will be useful, * but WITHOUT ANY WARRANTY; without even the implied warranty of * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the * GNU General Public License for more details. * * You should have received a copy of the GNU General Public License * along with impotch/calcul. If not, see <http://www.gnu.org/licenses/>. */ package org.impotch.calcul.impot.cantonal.ge.pp.avant2010; import java.math.BigDecimal; import javax.annotation.Resource; import org.junit.Before; import org.junit.Test; import org.junit.runner.RunWith; import org.impotch.calcul.impot.ProducteurImpotDerivePourcent; import org.springframework.test.context.ContextConfiguration; import org.springframework.test.context.TestExecutionListeners; import org.springframework.test.context.junit4.SpringJUnit4ClassRunner; import org.impotch.calcul.impot.taxation.pp.ProducteurImpotBaseProgressif; import org.impotch.calcul.impot.cantonal.ge.pp.FournisseurRegleImpotCantonalGE; import org.impotch.calcul.impot.taxation.pp.FournisseurAssiettePeriodique; import org.impotch.calcul.impot.taxation.pp.ProducteurImpot; import org.impotch.calcul.impot.taxation.pp.RecepteurImpotSomme; import org.impotch.calcul.impot.taxation.pp.RecepteurMultipleImpot; import org.impotch.calcul.impot.taxation.pp.RecepteurUniqueImpot; import org.impotch.calcul.util.ExplicationDetailleTexteBuilder; import org.impotch.calcul.util.IExplicationDetailleeBuilder; import org.impotch.util.TypeArrondi; import org.springframework.test.context.support.DependencyInjectionTestExecutionListener; import static org.junit.Assert.*; /** * @author <a href="mailto:patrick.giroud@etat.ge.ch">Patrick Giroud</a> * */ @RunWith(SpringJUnit4ClassRunner.class) @ContextConfiguration(locations = { "/beansCH_GE.xml", "/beansAssurancesSociales.xml" }) @TestExecutionListeners(DependencyInjectionTestExecutionListener.class) public class BaremePrestationCapital2009Test extends ProducteurImpotGEAvant2010 { @Resource(name = "fournisseurRegleImpotCantonalGE") private FournisseurRegleImpotCantonalGE fournisseur; private ProducteurImpot producteur2009; private SituationFamilialeGE situationCelibataire; private BigDecimal deltaSurMontantImpotCalcule; private IExplicationDetailleeBuilder getNewExplicationBuilder() { return new ExplicationDetailleTexteBuilder(); } @Before public void init() throws Exception { ProducteurImpotBaseProgressif producteurImpotBase = new ProducteurImpotBaseProgressif(); producteurImpotBase.setBareme(fournisseur.getBaremeRevenu(2009)); producteurImpotBase.setTypeArrondiImposable(TypeArrondi.FRANC); producteurImpotBase.setTypeArrondiDeterminant(TypeArrondi.FRANC); producteurImpotBase.setTypeArrondiImpot(TypeArrondi.CINQ_CTS); ProducteurImpot producteur; String codeBeneficiaire = "CAN-GE"; producteur = new ProducteurImpot("IBR", codeBeneficiaire) { @Override protected IExplicationDetailleeBuilder createExplicationBuilder() { return getNewExplicationBuilder(); } }; producteur.setProducteurBase(producteurImpotBase); IExplicationDetailleeBuilder explication = getNewExplicationBuilder(); explication.ajouter("Rduction de {1,number,percent} sur impt de base sur revenu {0,number,#,##0.00}"); explication.ajouter("{2,number,#,##0.00}"); ProducteurImpotDerivePourcent prodRIBR = new ProducteurImpotDerivePourcent("RIBR", "-12 %", codeBeneficiaire); prodRIBR.setExplicationDetailleePattern(explication.getTexte()); producteur.ajouteProducteurDerive(prodRIBR); explication.reset(); explication .ajouter("Rduction de {1,number,percent} sur cts add. cantonaux sur revenu {0,number,#,##0.00}"); explication.ajouter("{2,number,#,##0.00}"); ProducteurImpotDerivePourcent prodRCAR = new ProducteurImpotDerivePourcent("RCAR", "-12 %", codeBeneficiaire); prodRCAR.setExplicationDetailleePattern(explication.getTexte()); explication.reset(); explication.ajouter("CA Revenu :"); explication.ajouter("Total impt de base revenu ({0,number,#,##0.00}) * {1,number,percent}"); explication.ajouter("{2,number,#,##0.00}"); ProducteurImpotDerivePourcent ctsAddCantonaux = new ProducteurImpotDerivePourcent("CAR", "47.5 %", codeBeneficiaire); ctsAddCantonaux.setProducteurDerive(prodRCAR); ctsAddCantonaux.setExplicationDetailleePattern(explication.getTexte()); producteur.ajouteProducteurDerive(ctsAddCantonaux); explication.reset(); explication.ajouter("CA Aide domicile Revenu :"); explication.ajouter("Total impt de base revenu ({0,number,#,##0.00}) * {1,number,percent}"); explication.ajouter("{2,number,#,##0.00}"); ProducteurImpotDerivePourcent prodADR = new ProducteurImpotDerivePourcent("ADR", "1 %", codeBeneficiaire); prodADR.setExplicationDetailleePattern(explication.getTexte()); producteur.ajouteProducteurDerive(prodADR); ProducteurImpotDerivePourcent prodCOR = new ProducteurImpotDerivePourcent("COR", "44.5 %", "COM"); explication = getNewExplicationBuilder(); explication.ajouter("Cts additionnels communaux :"); explication.ajouter("impt de base revenu ({0,number,#,##0.00}) * {1,number,percent}"); explication.ajouter("{2,number,#,##0.00}"); prodCOR.setExplicationDetailleePattern(explication.getTexte()); producteur.ajouteProducteurDerive(prodCOR); producteur2009 = producteur; situationCelibataire = (SituationFamilialeGE) creerSituationCelibataireSansEnfant(); deltaSurMontantImpotCalcule = new BigDecimal("0.10"); } private RecepteurMultipleImpot recepteur(String... codesImpot) { RecepteurMultipleImpot recepteur = new RecepteurMultipleImpot(); for (String code : codesImpot) { recepteur.ajouteRecepteur(code, new RecepteurUniqueImpot(code)); } recepteur.ajouteRecepteur("TOTAL", new RecepteurImpotSomme()); return recepteur; } private BigDecimal getValeur(RecepteurMultipleImpot recepteur, String code) { if ("TOTAL".equals(code)) { return ((RecepteurImpotSomme) recepteur.getRecepteur(code)).getValeur(); } else { return ((RecepteurUniqueImpot) recepteur.getRecepteur(code)).getValeur().getMontant(); } } private void test(int revenu, String tauxEnPourcent) { RecepteurMultipleImpot recepteur = recepteur("IBR", "RIBR", "CAR", "RCAR", "ADR", "COR"); FournisseurAssiettePeriodique fournisseur = this.creerAssiettes(2009, revenu); producteur2009.produireImpot(situationCelibataire, fournisseur, recepteur); BigDecimal valeurImpot = getValeur(recepteur, "TOTAL"); // On prend les bornes Sup et Inf BigDecimal borneSup = valeurImpot.add(deltaSurMontantImpotCalcule); BigDecimal borneInf = valeurImpot.subtract(deltaSurMontantImpotCalcule); BigDecimal tauxCalculeSup = borneSup.multiply(new BigDecimal(20)).divide(new BigDecimal(revenu), 5, BigDecimal.ROUND_HALF_UP); BigDecimal tauxCalculeInf = borneInf.multiply(new BigDecimal(20)).divide(new BigDecimal(revenu), 5, BigDecimal.ROUND_HALF_UP); BigDecimal tauxAttendu = new BigDecimal(tauxEnPourcent); assertTrue("Comparaison taux attendu : " + tauxEnPourcent + ", tauxSup " + tauxCalculeSup, 0 >= tauxAttendu.compareTo(tauxCalculeSup)); assertTrue("Comparaison taux attendu : " + tauxEnPourcent + ", tauxInf " + tauxCalculeInf, 0 >= tauxCalculeInf.compareTo(tauxAttendu)); } @Test public void exhaustif() { test(8500, "1.59294"); test(8600, "1.60628"); test(8700, "1.61954"); test(8800, "1.63261"); test(8900, "1.64584"); test(9000, "1.65878"); test(9100, "1.67187"); test(9200, "1.68457"); test(9300, "1.69731"); test(9400, "1.71000"); test(9500, "1.72253"); test(9600, "1.73510"); test(9700, "1.74763"); test(9800, "1.75990"); test(9900, "1.77212"); test(10000, "1.78450"); test(10100, "1.79663"); test(10200, "1.80863"); test(10300, "1.82049"); test(10400, "1.83250"); test(10500, "1.84419"); test(10600, "1.85623"); test(10700, "1.86785"); test(10800, "1.87954"); test(10900, "1.89101"); test(11000, "1.90236"); test(11100, "1.91396"); test(11200, "1.92536"); test(11300, "1.93664"); test(11400, "1.94789"); test(11500, "1.95904"); test(11600, "1.97017"); test(11700, "1.98103"); test(11800, "1.99203"); test(11900, "2.00294"); test(12000, "2.01375"); test(12100, "2.02446"); test(12200, "2.03516"); test(12300, "2.04585"); test(12400, "2.05629"); test(12500, "2.06696"); test(12600, "2.07746"); test(12700, "2.08772"); test(12800, "2.09812"); test(12900, "2.10829"); test(13000, "2.11854"); test(13100, "2.12878"); test(13200, "2.13879"); test(13300, "2.14887"); test(13400, "2.15881"); test(13500, "2.16867"); test(13600, "2.17860"); test(13700, "2.18832"); test(13800, "2.19812"); test(13900, "2.20770"); test(14000, "2.21743"); test(14100, "2.22695"); test(14200, "2.23655"); test(14300, "2.24587"); test(14400, "2.25542"); test(14500, "2.26469"); test(14600, "2.27390"); test(14700, "2.28320"); test(14800, "2.29250"); test(14900, "2.30161"); test(15000, "2.31073"); test(15100, "2.31974"); test(15200, "2.32868"); test(15300, "2.33771"); test(15400, "2.34649"); test(15500, "2.35535"); test(15600, "2.36410"); test(15700, "2.37293"); test(15800, "2.38165"); test(15900, "2.39025"); test(16000, "2.39888"); test(16100, "2.40739"); test(16200, "2.41586"); test(16300, "2.42429"); test(16400, "2.43274"); test(16500, "2.44103"); test(16600, "2.44934"); test(16700, "2.45760"); test(16800, "2.46583"); test(16900, "2.47408"); test(17000, "2.48212"); test(17100, "2.49029"); test(17200, "2.49826"); test(17300, "2.50630"); test(17400, "2.51420"); test(17500, "2.52217"); test(17600, "2.53000"); test(17700, "2.53780"); test(17800, "2.54551"); test(17900, "2.55330"); test(18000, "2.56100"); test(18100, "2.56862"); test(18200, "2.57615"); test(18300, "2.58383"); test(18400, "2.59141"); test(18500, "2.59892"); test(18600, "2.60640"); test(18700, "2.61374"); test(18800, "2.62112"); test(18900, "2.62831"); test(19000, "2.63568"); test(19100, "2.64298"); test(19200, "2.65021"); test(19300, "2.65736"); test(19400, "2.66454"); test(19500, "2.67159"); test(19600, "2.67872"); test(19700, "2.68569"); test(19800, "2.69268"); test(19900, "2.69955"); test(20000, "2.70660"); test(20100, "2.71343"); test(20200, "2.72020"); test(20300, "2.72704"); test(20400, "2.73377"); test(20500, "2.74054"); test(20600, "2.74728"); test(20700, "2.75401"); test(20800, "2.76053"); test(20900, "2.76722"); test(21000, "2.77371"); test(21100, "2.78028"); test(21200, "2.78679"); test(21300, "2.79324"); test(21400, "2.79977"); test(21500, "2.80609"); test(21600, "2.81250"); test(21700, "2.81876"); test(21800, "2.82505"); test(21900, "2.83137"); test(22000, "2.83764"); test(22100, "2.84385"); test(22200, "2.84995"); test(22300, "2.85610"); test(22400, "2.86223"); test(22500, "2.86831"); test(22600, "2.87438"); test(22700, "2.88040"); test(22800, "2.88636"); test(22900, "2.89240"); test(23000, "2.89830"); test(23100, "2.90424"); test(23200, "2.91000"); test(23300, "2.91592"); test(23400, "2.92171"); test(23500, "2.92753"); test(23600, "2.93331"); test(23700, "2.93903"); test(23800, "2.94471"); test(23900, "2.95038"); test(24000, "2.95608"); test(24100, "2.96170"); test(24200, "2.96727"); test(24300, "2.97280"); test(24400, "2.97836"); test(24500, "2.98392"); test(24600, "2.98939"); test(24700, "2.99478"); test(24800, "3.00024"); test(24900, "3.00566"); test(25000, "3.01100"); test(25100, "3.01641"); test(25200, "3.02167"); test(25300, "3.02704"); test(25400, "3.03236"); test(25500, "3.03761"); test(25600, "3.04281"); test(25700, "3.04798"); test(25800, "3.05322"); test(25900, "3.05838"); test(26000, "3.06350"); test(26100, "3.06858"); test(26200, "3.07359"); test(26300, "3.07875"); test(26400, "3.08371"); test(26500, "3.08879"); test(26600, "3.09380"); test(26700, "3.09873"); test(26800, "3.10366"); test(26900, "3.10862"); test(27000, "3.11352"); test(27100, "3.11841"); test(27200, "3.12327"); test(27300, "3.12802"); test(27400, "3.13292"); test(27500, "3.13767"); test(27600, "3.14246"); test(27700, "3.14715"); test(27800, "3.15187"); test(27900, "3.15656"); test(28000, "3.16132"); test(28100, "3.16591"); test(28200, "3.17060"); test(28300, "3.17516"); test(28400, "3.17975"); test(28500, "3.18435"); test(28600, "3.18892"); test(28700, "3.19345"); test(28800, "3.19792"); test(28900, "3.20246"); test(29000, "3.20693"); test(29100, "3.21137"); test(29200, "3.21582"); test(29300, "3.22024"); test(29400, "3.22463"); test(29500, "3.22902"); test(29600, "3.23331"); test(29700, "3.23771"); test(29800, "3.24201"); test(29900, "3.24632"); test(30000, "3.25060"); test(30100, "3.25485"); test(30200, "3.25907"); test(30300, "3.26337"); test(30400, "3.26757"); test(30500, "3.27170"); test(30600, "3.27595"); test(30700, "3.28003"); test(30800, "3.28422"); test(30900, "3.28832"); test(31000, "3.29239"); test(31100, "3.29650"); test(31200, "3.30058"); test(31300, "3.30463"); test(31400, "3.30866"); test(31500, "3.31267"); test(31600, "3.31668"); test(31700, "3.32060"); test(31800, "3.32465"); test(31900, "3.32853"); test(32000, "3.33250"); test(32100, "3.33645"); test(32200, "3.34034"); test(32300, "3.34421"); test(32400, "3.34806"); test(32500, "3.35191"); test(32600, "3.35577"); test(32700, "3.35963"); test(32800, "3.36332"); test(32900, "3.36714"); test(33000, "3.37091"); test(33100, "3.37468"); test(33200, "3.37843"); test(33300, "3.38216"); test(33400, "3.38587"); test(33500, "3.38958"); test(33600, "3.39321"); test(33700, "3.39694"); test(33800, "3.40056"); test(33900, "3.40422"); test(34000, "3.40782"); test(34100, "3.41150"); test(34200, "3.41500"); test(34300, "3.41860"); test(34400, "3.42218"); test(34500, "3.42574"); test(34600, "3.42931"); test(34700, "3.43282"); test(34800, "3.43626"); test(34900, "3.43977"); test(35000, "3.44329"); test(35100, "3.44675"); test(35200, "3.45023"); test(35300, "3.45363"); test(35400, "3.45709"); test(35500, "3.46051"); test(35600, "3.46390"); test(35700, "3.46728"); test(35800, "3.47067"); test(35900, "3.47404"); test(36000, "3.47736"); test(36100, "3.48072"); test(36200, "3.48398"); test(36300, "3.48733"); test(36400, "3.49063"); test(36500, "3.49392"); test(36600, "3.49719"); test(36700, "3.50046"); test(36800, "3.50375"); test(36900, "3.50696"); test(37000, "3.51016"); test(37100, "3.51337"); test(37200, "3.51659"); test(37300, "3.51976"); test(37400, "3.52299"); test(37500, "3.52608"); test(37600, "3.52926"); test(37700, "3.53244"); test(37800, "3.53553"); test(37900, "3.53863"); test(38000, "3.54176"); test(38100, "3.54486"); test(38200, "3.54793"); test(38300, "3.55099"); test(38400, "3.55411"); test(38500, "3.55712"); test(38600, "3.56018"); test(38700, "3.56320"); test(38800, "3.56619"); test(38900, "3.56923"); test(39000, "3.57221"); test(39100, "3.57519"); test(39200, "3.57816"); test(39300, "3.58112"); test(39400, "3.58409"); test(39500, "3.58704"); test(39600, "3.58992"); test(39700, "3.59285"); test(39800, "3.59573"); test(39900, "3.59870"); test(40000, "3.60160"); test(40100, "3.60446"); test(40200, "3.60734"); test(40300, "3.61020"); test(40400, "3.61307"); test(40500, "3.61583"); test(40600, "3.61869"); test(40700, "3.62150"); test(40800, "3.62436"); test(40900, "3.62714"); test(41000, "3.62990"); test(41100, "3.63270"); test(41200, "3.63546"); test(41300, "3.63821"); test(41400, "3.64099"); test(41500, "3.64376"); test(41600, "3.64644"); test(41700, "3.64918"); test(41800, "3.65191"); test(41900, "3.65463"); test(42000, "3.65729"); test(42100, "3.65998"); test(42200, "3.66270"); test(42300, "3.66534"); test(42400, "3.66804"); test(42500, "3.67066"); test(42600, "3.67331"); test(42700, "3.67590"); test(42800, "3.67855"); test(42900, "3.68121"); test(43000, "3.68381"); test(43100, "3.68640"); test(43200, "3.68898"); test(43300, "3.69152"); test(43400, "3.69415"); test(43500, "3.69669"); test(43600, "3.69927"); test(43700, "3.70178"); test(43800, "3.70434"); test(43900, "3.70688"); test(44000, "3.70939"); test(44100, "3.71190"); test(44200, "3.71441"); test(44300, "3.71691"); test(44400, "3.71944"); test(44500, "3.72191"); test(44600, "3.72437"); test(44700, "3.72682"); test(44800, "3.72931"); test(44900, "3.73178"); test(45000, "3.73422"); test(45100, "3.73665"); test(45200, "3.73907"); test(45300, "3.74152"); test(45400, "3.74392"); test(45500, "3.74631"); test(45600, "3.74873"); test(45700, "3.75112"); test(45800, "3.75349"); test(45900, "3.75584"); test(46000, "3.75824"); test(46100, "3.76059"); test(46200, "3.76297"); test(46300, "3.76531"); test(46400, "3.76763"); test(46500, "3.76998"); test(46600, "3.77232"); test(46700, "3.77460"); test(46800, "3.77692"); test(46900, "3.77923"); test(47000, "3.78153"); test(47100, "3.78384"); test(47200, "3.78610"); test(47300, "3.78837"); test(47400, "3.79065"); test(47500, "3.79288"); test(47600, "3.79519"); test(47700, "3.79742"); test(47800, "3.79969"); test(47900, "3.80190"); test(48000, "3.80412"); test(48100, "3.80632"); test(48200, "3.80857"); test(48300, "3.81079"); test(48400, "3.81300"); test(48500, "3.81522"); test(48600, "3.81739"); test(48700, "3.81957"); test(48800, "3.82170"); test(48900, "3.82391"); test(49000, "3.82606"); test(49100, "3.82821"); test(49200, "3.83039"); test(49300, "3.83252"); test(49400, "3.83470"); test(49500, "3.83681"); test(49600, "3.83893"); test(49700, "3.84105"); test(49800, "3.84321"); test(49900, "3.84529"); test(50000, "3.84738"); test(50100, "3.84950"); test(50200, "3.85157"); test(50300, "3.85368"); test(50400, "3.85571"); test(50500, "3.85782"); test(50600, "3.85988"); test(50700, "3.86197"); test(50800, "3.86404"); test(50900, "3.86605"); test(51000, "3.86812"); test(51100, "3.87016"); test(51200, "3.87219"); test(51300, "3.87421"); test(51400, "3.87625"); test(51500, "3.87825"); test(51600, "3.88023"); test(51700, "3.88226"); test(51800, "3.88429"); test(51900, "3.88626"); test(52000, "3.88825"); test(52100, "3.89025"); test(52200, "3.89224"); test(52300, "3.89421"); test(52400, "3.89616"); test(52500, "3.89813"); test(52600, "3.90008"); test(52700, "3.90203"); test(52800, "3.90400"); test(52900, "3.90595"); test(53000, "3.90789"); test(53100, "3.90977"); test(53200, "3.91171"); test(53300, "3.91364"); test(53400, "3.91556"); test(53500, "3.91748"); test(53600, "3.91938"); test(53700, "3.92125"); test(53800, "3.92318"); test(53900, "3.92506"); test(54000, "3.92694"); test(54100, "3.92887"); test(54200, "3.93072"); test(54300, "3.93258"); test(54400, "3.93445"); test(54500, "3.93637"); test(54600, "3.93819"); test(54700, "3.94002"); test(54800, "3.94190"); test(54900, "3.94375"); test(55000, "3.94556"); test(55100, "3.94740"); test(55200, "3.94924"); test(55300, "3.95105"); test(55400, "3.95289"); test(55500, "3.95470"); test(55600, "3.95651"); test(55700, "3.95833"); test(55800, "3.96011"); test(55900, "3.96188"); test(56000, "3.96366"); test(56100, "3.96549"); test(56200, "3.96726"); test(56300, "3.96906"); test(56400, "3.97082"); test(56500, "3.97258"); test(56600, "3.97438"); test(56700, "3.97612"); test(56800, "3.97789"); test(56900, "3.97965"); test(57000, "3.98140"); test(57100, "3.98313"); test(57200, "3.98490"); test(57300, "3.98663"); test(57400, "3.98834"); test(57500, "3.99009"); test(57600, "3.99182"); test(57700, "3.99352"); test(57800, "3.99521"); test(57900, "3.99696"); test(58000, "3.99866"); test(58100, "4.00038"); test(58200, "4.00206"); test(58300, "4.00379"); test(58400, "4.00543"); test(58500, "4.00715"); test(58600, "4.00884"); test(58700, "4.01053"); test(58800, "4.01221"); test(58900, "4.01385"); test(59000, "4.01551"); test(59100, "4.01717"); test(59200, "4.01885"); test(59300, "4.02051"); test(59400, "4.02215"); test(59500, "4.02380"); test(59600, "4.02547"); test(59700, "4.02707"); test(59800, "4.02873"); test(59900, "4.03035"); test(60000, "4.03198"); test(60100, "4.03363"); test(60200, "4.03525"); test(60300, "4.03688"); test(60400, "4.03844"); test(60500, "4.04007"); test(60600, "4.04172"); test(60700, "4.04330"); test(60800, "4.04490"); test(60900, "4.04650"); test(61000, "4.04808"); test(61100, "4.04971"); test(61200, "4.05126"); test(61300, "4.05282"); test(61400, "4.05443"); test(61500, "4.05602"); test(61600, "4.05756"); test(61700, "4.05916"); test(61800, "4.06071"); test(61900, "4.06226"); test(62000, "4.06382"); test(62100, "4.06538"); test(62200, "4.06695"); test(62300, "4.06849"); test(62400, "4.07003"); test(62500, "4.07155"); test(62600, "4.07313"); test(62700, "4.07464"); test(62800, "4.07618"); test(62900, "4.07768"); test(63000, "4.07922"); test(63100, "4.08073"); test(63200, "4.08228"); test(63300, "4.08376"); test(63400, "4.08530"); test(63500, "4.08679"); test(63700, "4.08980"); test(63800, "4.09130"); test(63900, "4.09280"); test(64000, "4.09431"); test(64100, "4.09579"); test(64200, "4.09729"); test(64300, "4.09874"); test(64400, "4.10025"); test(64500, "4.10172"); test(64600, "4.10317"); test(64700, "4.10465"); test(64800, "4.10614"); test(64900, "4.10758"); test(65000, "4.10908"); test(65100, "4.11049"); test(65200, "4.11195"); test(65300, "4.11343"); test(65400, "4.11489"); test(65500, "4.11632"); test(65600, "4.11776"); test(65700, "4.11921"); test(65800, "4.12064"); test(65900, "4.12208"); test(66000, "4.12350"); test(66100, "4.12492"); test(66200, "4.12637"); test(66300, "4.12780"); test(66400, "4.12922"); test(66500, "4.13063"); test(66600, "4.13206"); test(66700, "4.13345"); test(66800, "4.13488"); test(66900, "4.13629"); test(67000, "4.13769"); test(67100, "4.13909"); test(67200, "4.14046"); test(67300, "4.14187"); test(67400, "4.14326"); test(67500, "4.14465"); test(67600, "4.14605"); test(67700, "4.14744"); test(67800, "4.14883"); test(67900, "4.15021"); test(68000, "4.15157"); test(68100, "4.15294"); test(68200, "4.15431"); test(68300, "4.15567"); test(68400, "4.15705"); test(68500, "4.15844"); test(68600, "4.15978"); test(68700, "4.16114"); test(68800, "4.16247"); test(68900, "4.16385"); test(69000, "4.16519"); test(69100, "4.16653"); test(69200, "4.16789"); test(69300, "4.16922"); test(69400, "4.17058"); test(69500, "4.17191"); test(69600, "4.17325"); test(69700, "4.17458"); test(69800, "4.17590"); test(69900, "4.17722"); test(70000, "4.17856"); test(70100, "4.17989"); test(70200, "4.18118"); test(70300, "4.18250"); test(70400, "4.18384"); test(70500, "4.18513"); test(70600, "4.18646"); test(70700, "4.18775"); test(70800, "4.18907"); test(70900, "4.19038"); test(71000, "4.19166"); test(71100, "4.19297"); test(71200, "4.19427"); test(71300, "4.19555"); test(71400, "4.19685"); test(71500, "4.19814"); test(71600, "4.19944"); test(71700, "4.20073"); test(71800, "4.20201"); test(71900, "4.20328"); test(72000, "4.20457"); test(72100, "4.20584"); test(72200, "4.20711"); test(72300, "4.20840"); test(72400, "4.20965"); test(72500, "4.21095"); test(72600, "4.21215"); test(72700, "4.21344"); test(72800, "4.21468"); test(72900, "4.21594"); test(73000, "4.21722"); test(73100, "4.21847"); test(73200, "4.21973"); test(73300, "4.22097"); test(73400, "4.22222"); test(73500, "4.22346"); test(73600, "4.22471"); test(73700, "4.22594"); test(73800, "4.22720"); test(73900, "4.22842"); test(74000, "4.22961"); test(74100, "4.23088"); test(74200, "4.23210"); test(74300, "4.23334"); test(74400, "4.23454"); test(74500, "4.23579"); test(74600, "4.23700"); test(74700, "4.23823"); test(74800, "4.23943"); test(74900, "4.24064"); test(75000, "4.24187"); test(75100, "4.24309"); test(75200, "4.24428"); test(75300, "4.24548"); test(75400, "4.24671"); test(75500, "4.24792"); test(75600, "4.24909"); test(75700, "4.25029"); test(75800, "4.25149"); test(75900, "4.25267"); test(76000, "4.25388"); test(76100, "4.25507"); test(76200, "4.25625"); test(76300, "4.25744"); test(76400, "4.25861"); test(76500, "4.25980"); test(76600, "4.26098"); test(76700, "4.26218"); test(76800, "4.26335"); test(76900, "4.26451"); test(77000, "4.26569"); test(77100, "4.26685"); test(77200, "4.26804"); test(77300, "4.26921"); test(77400, "4.27035"); test(77500, "4.27154"); test(77600, "4.27268"); test(77700, "4.27384"); test(77800, "4.27500"); test(77900, "4.27615"); test(78000, "4.27732"); test(78100, "4.27846"); test(78200, "4.27960"); test(78300, "4.28077"); test(78400, "4.28190"); test(78500, "4.28306"); test(78600, "4.28419"); test(78700, "4.28534"); test(78800, "4.28648"); test(78900, "4.28762"); test(79000, "4.28875"); test(79100, "4.28987"); test(79200, "4.29102"); test(79300, "4.29216"); test(79400, "4.29329"); test(79500, "4.29440"); test(79600, "4.29554"); test(79700, "4.29664"); test(79800, "4.29777"); test(79900, "4.29887"); test(80000, "4.30003"); test(80100, "4.30112"); test(80200, "4.30223"); test(80300, "4.30336"); test(80400, "4.30445"); test(80500, "4.30559"); test(80600, "4.30667"); test(80700, "4.30779"); test(80800, "4.30891"); test(80900, "4.31000"); test(81000, "4.31110"); test(81100, "4.31221"); test(81200, "4.31333"); test(81300, "4.31438"); test(81400, "4.31548"); test(81500, "4.31658"); test(81600, "4.31766"); test(81700, "4.31878"); test(81800, "4.31987"); test(81900, "4.32094"); test(82000, "4.32201"); test(82100, "4.32311"); test(82200, "4.32420"); test(82300, "4.32526"); test(82400, "4.32635"); test(82500, "4.32743"); test(82600, "4.32849"); test(82700, "4.32959"); test(82800, "4.33065"); test(82900, "4.33169"); test(83000, "4.33277"); test(83100, "4.33386"); test(83200, "4.33490"); test(83300, "4.33595"); test(83400, "4.33704"); test(83500, "4.33811"); test(83600, "4.33915"); test(83700, "4.34020"); test(83800, "4.34126"); test(83900, "4.34232"); test(84000, "4.34339"); test(84100, "4.34444"); test(84200, "4.34547"); test(84300, "4.34654"); test(84400, "4.34758"); test(84500, "4.34863"); test(84600, "4.34968"); test(84700, "4.35070"); test(84800, "4.35175"); test(84900, "4.35279"); test(85000, "4.35384"); test(85100, "4.35488"); test(85200, "4.35589"); test(85300, "4.35693"); test(85400, "4.35796"); test(85500, "4.35902"); test(85600, "4.36005"); test(85700, "4.36107"); test(85800, "4.36209"); test(85900, "4.36311"); test(86000, "4.36413"); test(86100, "4.36515"); test(86200, "4.36616"); test(86300, "4.36721"); test(86400, "4.36822"); test(86500, "4.36924"); test(86600, "4.37025"); test(86700, "4.37126"); test(86800, "4.37229"); test(86900, "4.37329"); test(87000, "4.37430"); test(87100, "4.37529"); test(87200, "4.37631"); test(87300, "4.37732"); test(87400, "4.37833"); test(87500, "4.37931"); test(87600, "4.38031"); test(87700, "4.38132"); test(87800, "4.38231"); test(87900, "4.38332"); test(88000, "4.38431"); test(88100, "4.38530"); test(88200, "4.38632"); test(88300, "4.38730"); test(88400, "4.38829"); test(88500, "4.38927"); test(88600, "4.39027"); test(88700, "4.39126"); test(88800, "4.39223"); test(88900, "4.39323"); test(89000, "4.39420"); test(89100, "4.39520"); test(89200, "4.39617"); test(89300, "4.39713"); test(89400, "4.39812"); test(89500, "4.39911"); test(89600, "4.40007"); test(89700, "4.40105"); test(89800, "4.40203"); test(89900, "4.40299"); test(90000, "4.40397"); test(90100, "4.40494"); test(90200, "4.40591"); test(90300, "4.40685"); test(90400, "4.40782"); test(90500, "4.40878"); test(90600, "4.40977"); test(90700, "4.41072"); test(90800, "4.41167"); test(90900, "4.41264"); test(91000, "4.41359"); test(91100, "4.41456"); test(91200, "4.41550"); test(91300, "4.41646"); test(91400, "4.41741"); test(91500, "4.41836"); test(91600, "4.41931"); test(91700, "4.42025"); test(91800, "4.42121"); test(91900, "4.42217"); test(92000, "4.42310"); test(92100, "4.42405"); test(92200, "4.42499"); test(92300, "4.42594"); test(92400, "4.42687"); test(92500, "4.42781"); test(92600, "4.42875"); test(92700, "4.42969"); test(92800, "4.43059"); test(92900, "4.43156"); test(93000, "4.43251"); test(93100, "4.43343"); test(93200, "4.43436"); test(93300, "4.43528"); test(93400, "4.43623"); test(93500, "4.43712"); test(93600, "4.43807"); test(93700, "4.43901"); test(93800, "4.43991"); test(93900, "4.44084"); test(94000, "4.44178"); test(94100, "4.44269"); test(94200, "4.44359"); test(94300, "4.44452"); test(94400, "4.44542"); test(94500, "4.44635"); test(94600, "4.44727"); test(94700, "4.44817"); test(94800, "4.44911"); test(94900, "4.45001"); test(95000, "4.45093"); test(95100, "4.45183"); test(95200, "4.45272"); test(95300, "4.45365"); test(95400, "4.45454"); test(95500, "4.45547"); test(95600, "4.45636"); test(95700, "4.45727"); test(95800, "4.45817"); test(95900, "4.45906"); test(96000, "4.45996"); test(96100, "4.46085"); test(96200, "4.46177"); test(96300, "4.46269"); test(96400, "4.46357"); test(96500, "4.46446"); test(96600, "4.46534"); test(96700, "4.46624"); test(96800, "4.46712"); test(96900, "4.46803"); test(97000, "4.46890"); test(97100, "4.46981"); test(97200, "4.47069"); test(97300, "4.47157"); test(97400, "4.47245"); test(97500, "4.47335"); test(97600, "4.47423"); test(97700, "4.47511"); test(97800, "4.47599"); test(97900, "4.47687"); test(98000, "4.47776"); test(98100, "4.47862"); test(98200, "4.47950"); test(98300, "4.48038"); test(98400, "4.48125"); test(98500, "4.48211"); test(98600, "4.48301"); test(98700, "4.48388"); test(98800, "4.48476"); test(98900, "4.48561"); test(99000, "4.48647"); test(99100, "4.48735"); test(99200, "4.48823"); test(99300, "4.48908"); test(99400, "4.48996"); test(99500, "4.49081"); test(99600, "4.49168"); test(99700, "4.49253"); test(99800, "4.49340"); test(99900, "4.49426"); test(100000, "4.49511"); test(100500, "4.49941"); test(101000, "4.50366"); test(101500, "4.50791"); test(102000, "4.51210"); test(102500, "4.51628"); test(103000, "4.52046"); test(103500, "4.52459"); test(104000, "4.52872"); test(104500, "4.53282"); test(105000, "4.53690"); test(105500, "4.54098"); test(106000, "4.54500"); test(106500, "4.54901"); test(107000, "4.55300"); test(107500, "4.55699"); test(108000, "4.56094"); test(108500, "4.56487"); test(109000, "4.56879"); test(109500, "4.57268"); test(110000, "4.57656"); test(110500, "4.58041"); test(111000, "4.58423"); test(111500, "4.58806"); test(112000, "4.59186"); test(112500, "4.59565"); test(113000, "4.59940"); test(113500, "4.60316"); test(114000, "4.60688"); test(114500, "4.61059"); test(115000, "4.61429"); test(115500, "4.61796"); test(116000, "4.62163"); test(116500, "4.62528"); test(117000, "4.62890"); test(117500, "4.63251"); test(118000, "4.63610"); test(118500, "4.63969"); test(119000, "4.64324"); test(119500, "4.64680"); test(120000, "4.65033"); test(120500, "4.65384"); test(121000, "4.65735"); test(121500, "4.66082"); test(122000, "4.66430"); test(122500, "4.66776"); test(123000, "4.67119"); test(123500, "4.67462"); test(124000, "4.67803"); test(124500, "4.68142"); test(125000, "4.68482"); test(125500, "4.68818"); test(126000, "4.69154"); test(126500, "4.69488"); test(127000, "4.69820"); test(127500, "4.70155"); test(128000, "4.70484"); test(128500, "4.70812"); test(129000, "4.71140"); test(129500, "4.71466"); test(130000, "4.71790"); test(130500, "4.72115"); test(131000, "4.72435"); test(131500, "4.72758"); test(132000, "4.73077"); test(132500, "4.73396"); test(133000, "4.73714"); test(133500, "4.74029"); test(134000, "4.74345"); test(134500, "4.74659"); test(135000, "4.74972"); test(135500, "4.75283"); test(136000, "4.75593"); test(136500, "4.75903"); test(137000, "4.76211"); test(137500, "4.76518"); test(138000, "4.76822"); test(138500, "4.77128"); test(139000, "4.77432"); test(139500, "4.77734"); test(140000, "4.78034"); test(140500, "4.78335"); test(141000, "4.78633"); test(141500, "4.78932"); test(142000, "4.79230"); test(142500, "4.79525"); test(143000, "4.79821"); test(143500, "4.80115"); test(144000, "4.80406"); test(144500, "4.80699"); test(145000, "4.80990"); test(145500, "4.81280"); test(146000, "4.81569"); test(146500, "4.81856"); test(147000, "4.82143"); test(147500, "4.82429"); test(148000, "4.82714"); test(148500, "4.82999"); test(149000, "4.83281"); test(149500, "4.83563"); test(150000, "4.83844"); test(150500, "4.84126"); test(151000, "4.84404"); test(151500, "4.84683"); test(152000, "4.84959"); test(152500, "4.85236"); test(153000, "4.85513"); test(153500, "4.85787"); test(154000, "4.86060"); test(154500, "4.86333"); test(155000, "4.86606"); test(155500, "4.86878"); test(156000, "4.87147"); test(156500, "4.87417"); test(157000, "4.87686"); test(157500, "4.87954"); test(158000, "4.88220"); test(158500, "4.88486"); test(159000, "4.88752"); test(159500, "4.89016"); test(160000, "4.89280"); test(160500, "4.89543"); test(161000, "4.89806"); test(161500, "4.90067"); test(162000, "4.90327"); test(162500, "4.90586"); test(163000, "4.90845"); test(163500, "4.91103"); test(164000, "4.91361"); test(164500, "4.91617"); test(165000, "4.91873"); test(165500, "4.92127"); test(166000, "4.92383"); test(166500, "4.92636"); test(167000, "4.92890"); test(167500, "4.93140"); test(168000, "4.93391"); test(168500, "4.93643"); test(169000, "4.93891"); test(169500, "4.94141"); test(170000, "4.94389"); test(170500, "4.94637"); test(171000, "4.94885"); test(171500, "4.95130"); test(172000, "4.95376"); test(172500, "4.95621"); test(173000, "4.95864"); test(173500, "4.96108"); test(174000, "4.96351"); test(174500, "4.96592"); test(175000, "4.96833"); test(175500, "4.97073"); test(176000, "4.97314"); test(176500, "4.97554"); test(177000, "4.97793"); test(177500, "4.98030"); test(178000, "4.98267"); test(178500, "4.98505"); test(179000, "4.98741"); test(179500, "4.98975"); test(180000, "4.99209"); test(180500, "4.99444"); test(181000, "4.99678"); test(181500, "4.99910"); test(182000, "5.00143"); test(182500, "5.00374"); test(183000, "5.00605"); test(183500, "5.00835"); test(184000, "5.01065"); test(184500, "5.01294"); test(185000, "5.01522"); test(185500, "5.01750"); test(186000, "5.01977"); test(186500, "5.02203"); test(187000, "5.02429"); test(187500, "5.02654"); test(188000, "5.02880"); test(188500, "5.03104"); test(189000, "5.03327"); test(189500, "5.03550"); test(190000, "5.03773"); test(190500, "5.03995"); test(191000, "5.04216"); test(191500, "5.04437"); test(192000, "5.04656"); test(192500, "5.04875"); test(193000, "5.05096"); test(193500, "5.05313"); test(194000, "5.05532"); test(194500, "5.05749"); test(195000, "5.05965"); test(195500, "5.06182"); test(196000, "5.06397"); test(196500, "5.06613"); test(197000, "5.06827"); test(197500, "5.07042"); test(198000, "5.07254"); test(198500, "5.07468"); test(199000, "5.07680"); test(199500, "5.07892"); test(200000, "5.08103"); test(200500, "5.08315"); test(201000, "5.08524"); test(201500, "5.08734"); test(202000, "5.08943"); test(202500, "5.09152"); test(203000, "5.09360"); test(203500, "5.09567"); test(204000, "5.09775"); test(204500, "5.09981"); test(205000, "5.10188"); test(205500, "5.10393"); test(206000, "5.10599"); test(206500, "5.10803"); test(207000, "5.11007"); test(207500, "5.11211"); test(208000, "5.11414"); test(208500, "5.11617"); test(209000, "5.11819"); test(209500, "5.12020"); test(210000, "5.12222"); test(210500, "5.12423"); test(211000, "5.12623"); test(211500, "5.12823"); test(212000, "5.13022"); test(212500, "5.13221"); test(213000, "5.13419"); test(213500, "5.13617"); test(214000, "5.13814"); test(214500, "5.14012"); test(215000, "5.14208"); test(215500, "5.14405"); test(216000, "5.14600"); test(216500, "5.14795"); test(217000, "5.14990"); test(217500, "5.15184"); test(218000, "5.15378"); test(218500, "5.15570"); test(219000, "5.15764"); test(219500, "5.15956"); test(220000, "5.16149"); test(220500, "5.16340"); test(221000, "5.16530"); test(221500, "5.16721"); test(222000, "5.16912"); test(222500, "5.17101"); test(223000, "5.17290"); test(223500, "5.17479"); test(224000, "5.17668"); test(224500, "5.17856"); test(225000, "5.18044"); test(225500, "5.18231"); test(226000, "5.18419"); test(226500, "5.18604"); test(227000, "5.18790"); test(227500, "5.18975"); test(228000, "5.19160"); test(228500, "5.19345"); test(229000, "5.19530"); test(229500, "5.19713"); test(230000, "5.19896"); test(230500, "5.20079"); test(231000, "5.20262"); test(231500, "5.20444"); test(232000, "5.20626"); test(232500, "5.20807"); test(233000, "5.20988"); test(233500, "5.21169"); test(234000, "5.21349"); test(234500, "5.21530"); test(235000, "5.21709"); test(235500, "5.21887"); test(236000, "5.22065"); test(236500, "5.22245"); test(237000, "5.22422"); test(237500, "5.22599"); test(238000, "5.22776"); test(238500, "5.22953"); test(239000, "5.23129"); test(239500, "5.23305"); test(240000, "5.23480"); test(240500, "5.23655"); test(241000, "5.23831"); test(241500, "5.24005"); test(242000, "5.24179"); test(242500, "5.24353"); test(243000, "5.24526"); test(243500, "5.24698"); test(244000, "5.24872"); test(244500, "5.25043"); test(245000, "5.25215"); test(245500, "5.25387"); test(246000, "5.25557"); test(246500, "5.25728"); test(247000, "5.25898"); test(247500, "5.26068"); test(248000, "5.26238"); test(248500, "5.26407"); test(249000, "5.26576"); test(249500, "5.26745"); test(250000, "5.26913"); test(250500, "5.27080"); test(251000, "5.27248"); test(251500, "5.27414"); test(252000, "5.27581"); test(252500, "5.27748"); test(253000, "5.27913"); test(253500, "5.28080"); test(254000, "5.28244"); test(254500, "5.28410"); test(255000, "5.28574"); test(255500, "5.28738"); test(256000, "5.28903"); test(256500, "5.29066"); test(257000, "5.29229"); test(257500, "5.29392"); test(258000, "5.29555"); test(258500, "5.29717"); test(259000, "5.29880"); test(259500, "5.30040"); test(260000, "5.30202"); test(260500, "5.30363"); test(261000, "5.30524"); test(261500, "5.30684"); test(262000, "5.30844"); test(262500, "5.31003"); test(263000, "5.31162"); test(263500, "5.31321"); test(264000, "5.31481"); test(264500, "5.31639"); test(265000, "5.31797"); test(265500, "5.31954"); test(266000, "5.32111"); test(266500, "5.32269"); test(267000, "5.32425"); test(267500, "5.32582"); test(268000, "5.32738"); test(268500, "5.32894"); test(269000, "5.33049"); test(269500, "5.33204"); test(270000, "5.33359"); test(270500, "5.33513"); test(271000, "5.33668"); test(271500, "5.33822"); test(272000, "5.33975"); test(272500, "5.34128"); test(273000, "5.34281"); test(273500, "5.34433"); test(274000, "5.34586"); test(274500, "5.34738"); test(275000, "5.34890"); test(275500, "5.35042"); test(276000, "5.35193"); test(276500, "5.35344"); test(277000, "5.35494"); test(277500, "5.35644"); test(278000, "5.35794"); test(278500, "5.35944"); test(279000, "5.36093"); test(279500, "5.36243"); test(280000, "5.36391"); test(280500, "5.36539"); test(281000, "5.36688"); test(281500, "5.36836"); test(282000, "5.36983"); test(282500, "5.37130"); test(283000, "5.37278"); test(283500, "5.37424"); test(284000, "5.37571"); test(284500, "5.37717"); test(285000, "5.37863"); test(285500, "5.38008"); test(286000, "5.38154"); test(286500, "5.38299"); test(287000, "5.38444"); test(287500, "5.38588"); test(288000, "5.38732"); test(288500, "5.38876"); test(289000, "5.39020"); test(289500, "5.39163"); test(290000, "5.39307"); test(290500, "5.39450"); test(291000, "5.39591"); test(291500, "5.39734"); test(292000, "5.39876"); test(292500, "5.40017"); test(293000, "5.40159"); test(293500, "5.40300"); test(294000, "5.40441"); test(294500, "5.40582"); test(295000, "5.40722"); test(295500, "5.40862"); test(296000, "5.41002"); test(296500, "5.41142"); test(297000, "5.41280"); test(297500, "5.41419"); test(298000, "5.41558"); test(298500, "5.41697"); test(299000, "5.41835"); test(299500, "5.41974"); test(300000, "5.42110"); test(300500, "5.42248"); test(301000, "5.42385"); test(301500, "5.42522"); test(302000, "5.42659"); test(302500, "5.42795"); test(303000, "5.42931"); test(303500, "5.43067"); test(304000, "5.43203"); test(304500, "5.43339"); test(305000, "5.43474"); test(305500, "5.43609"); test(306000, "5.43743"); test(306500, "5.43878"); test(307000, "5.44012"); test(307500, "5.44145"); test(308000, "5.44279"); test(308500, "5.44413"); test(309000, "5.44546"); test(309500, "5.44679"); test(310000, "5.44811"); test(310500, "5.44943"); test(311000, "5.45076"); test(311500, "5.45208"); test(312000, "5.45339"); test(312500, "5.45471"); test(313000, "5.45602"); test(313500, "5.45733"); test(314000, "5.45864"); test(314500, "5.45994"); test(315000, "5.46124"); test(315500, "5.46254"); test(316000, "5.46384"); test(316500, "5.46513"); test(317000, "5.46643"); test(317500, "5.46771"); test(318000, "5.46900"); test(318500, "5.47029"); test(319000, "5.47157"); test(319500, "5.47285"); test(320000, "5.47413"); test(320500, "5.47540"); test(321000, "5.47668"); test(321500, "5.47795"); test(322000, "5.47922"); test(322500, "5.48048"); test(323000, "5.48175"); test(323500, "5.48301"); test(324000, "5.48427"); test(324500, "5.48553"); test(325000, "5.48678"); test(325500, "5.48804"); test(326000, "5.48929"); test(326500, "5.49054"); test(327000, "5.49178"); test(327500, "5.49303"); test(328000, "5.49427"); test(328500, "5.49551"); test(329000, "5.49675"); test(329500, "5.49798"); test(330000, "5.49922"); test(330500, "5.50044"); test(331000, "5.50167"); test(331500, "5.50290"); test(332000, "5.50412"); test(332500, "5.50534"); test(333000, "5.50656"); test(333500, "5.50778"); test(334000, "5.50899"); test(334500, "5.51021"); test(335000, "5.51142"); test(335500, "5.51263"); test(336000, "5.51384"); test(336500, "5.51504"); test(337000, "5.51625"); test(337500, "5.51744"); test(338000, "5.51865"); test(338500, "5.51984"); test(339000, "5.52103"); test(339500, "5.52222"); test(340000, "5.52341"); test(340500, "5.52460"); test(341000, "5.52578"); test(341500, "5.52697"); test(342000, "5.52815"); test(342500, "5.52933"); test(343000, "5.53050"); test(343500, "5.53167"); test(344000, "5.53285"); test(344500, "5.53401"); test(345000, "5.53519"); test(345500, "5.53635"); test(346000, "5.53752"); test(346500, "5.53868"); test(347000, "5.53984"); test(347500, "5.54100"); test(348000, "5.54216"); test(348500, "5.54331"); test(349000, "5.54447"); test(349500, "5.54561"); test(350000, "5.54677"); test(350500, "5.54791"); test(351000, "5.54905"); test(351500, "5.55020"); test(352000, "5.55134"); test(352500, "5.55247"); test(353000, "5.55361"); test(353500, "5.55475"); test(354000, "5.55588"); test(354500, "5.55701"); test(355000, "5.55814"); test(355500, "5.55926"); test(356000, "5.56039"); test(356500, "5.56151"); test(357000, "5.56263"); test(357500, "5.56375"); test(358000, "5.56487"); test(358500, "5.56598"); test(359000, "5.56710"); test(359500, "5.56821"); test(360000, "5.56932"); test(360500, "5.57042"); test(361000, "5.57153"); test(361500, "5.57264"); test(362000, "5.57374"); test(362500, "5.57484"); test(363000, "5.57593"); test(363500, "5.57702"); test(364000, "5.57812"); test(364500, "5.57921"); test(365000, "5.58030"); test(365500, "5.58140"); test(366000, "5.58248"); test(366500, "5.58356"); test(367000, "5.58465"); test(367500, "5.58573"); test(368000, "5.58681"); test(368500, "5.58789"); test(369000, "5.58896"); test(369500, "5.59004"); test(370000, "5.59110"); test(370500, "5.59217"); test(371000, "5.59324"); test(371500, "5.59431"); test(372000, "5.59537"); test(372500, "5.59644"); test(373000, "5.59750"); test(373500, "5.59855"); test(374000, "5.59961"); test(374500, "5.60067"); test(375000, "5.60172"); test(375500, "5.60277"); test(376000, "5.60383"); test(376500, "5.60487"); test(377000, "5.60592"); test(377500, "5.60697"); test(378000, "5.60801"); test(378500, "5.60905"); test(379000, "5.61009"); test(379500, "5.61113"); test(380000, "5.61216"); test(380500, "5.61320"); test(381000, "5.61423"); test(381500, "5.61526"); test(382000, "5.61629"); test(382500, "5.61732"); test(383000, "5.61835"); test(383500, "5.61937"); test(384000, "5.62039"); test(384500, "5.62141"); test(385000, "5.62243"); test(385500, "5.62345"); test(386000, "5.62446"); test(386500, "5.62548"); test(387000, "5.62649"); test(387500, "5.62750"); test(388000, "5.62852"); test(388500, "5.62952"); test(389000, "5.63052"); test(389500, "5.63153"); test(390000, "5.63253"); test(390500, "5.63353"); test(391000, "5.63453"); test(391500, "5.63553"); test(392000, "5.63652"); test(392500, "5.63752"); test(393000, "5.63851"); test(393500, "5.63950"); test(394000, "5.64048"); test(394500, "5.64147"); test(395000, "5.64246"); test(395500, "5.64345"); test(396000, "5.64443"); test(396500, "5.64541"); test(397000, "5.64638"); test(397500, "5.64737"); test(398000, "5.64834"); test(398500, "5.64932"); test(399000, "5.65029"); test(399500, "5.65126"); test(400000, "5.65223"); test(400500, "5.65320"); test(401000, "5.65416"); test(401500, "5.65513"); test(402000, "5.65610"); test(402500, "5.65705"); test(403000, "5.65801"); test(403500, "5.65897"); test(404000, "5.65993"); test(404500, "5.66089"); test(405000, "5.66184"); test(405500, "5.66279"); test(406000, "5.66374"); test(406500, "5.66470"); test(407000, "5.66564"); test(407500, "5.66659"); test(408000, "5.66753"); test(408500, "5.66848"); test(409000, "5.66942"); test(409500, "5.67036"); test(410000, "5.67130"); test(410500, "5.67224"); test(411000, "5.67317"); test(411500, "5.67410"); test(412000, "5.67504"); test(412500, "5.67597"); test(413000, "5.67690"); test(413500, "5.67783"); test(414000, "5.67875"); test(414500, "5.67968"); test(415000, "5.68060"); test(415500, "5.68152"); test(416000, "5.68245"); test(416500, "5.68336"); test(417000, "5.68428"); test(417500, "5.68520"); test(418000, "5.68611"); test(418500, "5.68703"); test(419000, "5.68794"); test(419500, "5.68885"); test(420000, "5.68976"); test(420500, "5.69066"); test(421000, "5.69157"); test(421500, "5.69248"); test(422000, "5.69338"); test(422500, "5.69428"); test(423000, "5.69518"); test(423500, "5.69608"); test(424000, "5.69698"); test(424500, "5.69787"); test(425000, "5.69877"); test(425500, "5.69966"); test(426000, "5.70056"); test(426500, "5.70144"); test(427000, "5.70233"); test(427500, "5.70322"); test(428000, "5.70411"); test(428500, "5.70499"); test(429000, "5.70588"); test(429500, "5.70676"); test(430000, "5.70763"); test(430500, "5.70852"); test(431000, "5.70940"); test(431500, "5.71027"); test(432000, "5.71114"); test(432500, "5.71202"); test(433000, "5.71289"); test(433500, "5.71376"); test(434000, "5.71463"); test(434500, "5.71550"); test(435000, "5.71637"); test(435500, "5.71723"); test(436000, "5.71810"); test(436500, "5.71895"); test(437000, "5.71982"); test(437500, "5.72068"); test(438000, "5.72154"); test(438500, "5.72239"); test(439000, "5.72326"); test(439500, "5.72410"); test(440000, "5.72496"); test(440500, "5.72581"); test(441000, "5.72666"); test(441500, "5.72751"); test(442000, "5.72836"); test(442500, "5.72920"); test(443500, "5.73090"); test(443000, "5.73005"); test(444000, "5.73174"); test(445000, "5.73342"); test(446000, "5.73510"); test(447000, "5.73677"); test(448000, "5.73843"); test(444500, "5.73258"); test(445500, "5.73426"); test(446500, "5.73594"); test(447500, "5.73760"); test(448500, "5.73926"); test(449000, "5.74010"); test(449500, "5.74092"); test(450000, "5.74175"); test(451000, "5.74340"); test(452000, "5.74504"); test(453000, "5.74668"); test(454000, "5.74832"); test(455000, "5.74995"); test(456000, "5.75157"); test(457000, "5.75320"); test(458000, "5.75481"); test(459000, "5.75642"); test(460000, "5.75802"); test(450500, "5.74257"); test(451500, "5.74422"); test(452500, "5.74587"); test(453500, "5.74750"); test(454500, "5.74914"); test(455500, "5.75076"); test(456500, "5.75239"); test(457500, "5.75401"); test(458500, "5.75562"); test(459500, "5.75723"); test(460500, "5.75883"); test(461000, "5.75963"); test(461500, "5.76043"); test(462000, "5.76123"); test(462500, "5.76202"); test(463000, "5.76282"); test(463500, "5.76361"); test(464000, "5.76440"); test(464500, "5.76519"); test(465000, "5.76598"); test(465500, "5.76677"); test(466000, "5.76756"); test(466500, "5.76835"); test(467000, "5.76913"); test(467500, "5.76991"); test(468000, "5.77070"); test(468500, "5.77148"); test(469000, "5.77226"); test(469500, "5.77304"); test(470000, "5.77381"); test(470500, "5.77459"); test(471000, "5.77536"); test(471500, "5.77614"); test(472000, "5.77692"); test(472500, "5.77769"); test(473000, "5.77846"); test(473500, "5.77923"); test(474000, "5.78000"); test(474500, "5.78076"); test(475000, "5.78153"); test(475500, "5.78229"); test(476000, "5.78306"); test(476500, "5.78382"); test(477000, "5.78458"); test(477500, "5.78534"); test(478000, "5.78610"); test(478500, "5.78686"); test(479000, "5.78762"); test(479500, "5.78837"); test(480000, "5.78913"); test(480500, "5.78988"); test(481000, "5.79064"); test(481500, "5.79139"); test(482000, "5.79214"); test(482500, "5.79288"); test(483000, "5.79364"); test(483500, "5.79438"); test(484000, "5.79513"); test(484500, "5.79587"); test(485000, "5.79662"); test(485500, "5.79736"); test(486000, "5.79810"); test(486500, "5.79884"); test(487000, "5.79958"); test(487500, "5.80032"); test(488000, "5.80106"); test(488500, "5.80179"); test(489000, "5.80253"); test(489500, "5.80326"); test(490000, "5.80399"); test(490500, "5.80472"); test(491000, "5.80545"); test(491500, "5.80619"); test(492000, "5.80691"); test(492500, "5.80764"); test(493000, "5.80837"); test(493500, "5.80909"); test(494000, "5.80981"); test(494500, "5.81054"); test(495000, "5.81126"); test(495500, "5.81198"); test(496000, "5.81270"); test(496500, "5.81342"); test(497000, "5.81413"); test(497500, "5.81486"); test(498000, "5.81557"); test(498500, "5.81629"); test(499000, "5.81700"); test(499500, "5.81771"); test(500000, "5.81842"); test(501000, "5.81984"); test(502000, "5.82126"); test(503000, "5.82267"); test(504000, "5.82407"); test(505000, "5.82548"); test(506000, "5.82688"); test(507000, "5.82827"); test(508000, "5.82966"); test(509000, "5.83105"); test(510000, "5.83244"); test(511000, "5.83381"); test(512000, "5.83519"); test(513000, "5.83656"); test(514000, "5.83792"); test(515000, "5.83929"); test(516000, "5.84065"); test(517000, "5.84200"); test(518000, "5.84335"); test(519000, "5.84470"); test(520000, "5.84604"); test(521000, "5.84738"); test(522000, "5.84872"); test(523000, "5.85005"); test(524000, "5.85138"); test(525000, "5.85270"); test(526000, "5.85402"); test(527000, "5.85534"); test(528000, "5.85665"); test(529000, "5.85796"); test(530000, "5.85927"); test(531000, "5.86057"); test(532000, "5.86186"); test(533000, "5.86316"); test(534000, "5.86445"); test(535000, "5.86574"); test(536000, "5.86702"); test(537000, "5.86830"); test(538000, "5.86958"); test(539000, "5.87085"); test(540000, "5.87211"); test(541000, "5.87338"); test(542000, "5.87464"); test(543000, "5.87590"); test(544000, "5.87716"); test(545000, "5.87841"); test(546000, "5.87965"); test(547000, "5.88090"); test(548000, "5.88214"); test(549000, "5.88337"); test(550000, "5.88461"); test(551000, "5.88584"); test(552000, "5.88707"); test(553000, "5.88829"); test(554000, "5.88951"); test(555000, "5.89073"); test(556000, "5.89194"); test(557000, "5.89315"); test(558000, "5.89435"); test(559000, "5.89556"); test(560000, "5.89676"); test(561000, "5.89795"); test(562000, "5.89915"); test(563000, "5.90034"); test(564000, "5.90152"); test(565000, "5.90271"); test(566000, "5.90389"); test(567000, "5.90506"); test(568000, "5.90623"); test(569000, "5.90740"); test(570000, "5.90857"); test(571000, "5.90974"); test(572000, "5.91090"); test(573000, "5.91205"); test(574000, "5.91321"); test(575000, "5.91436"); test(576000, "5.91551"); test(577000, "5.91665"); test(578000, "5.91779"); test(579000, "5.91893"); test(580000, "5.92006"); test(581000, "5.92120"); test(582000, "5.92233"); test(583000, "5.92345"); test(584000, "5.92458"); test(585000, "5.92570"); test(586000, "5.92681"); test(587000, "5.92793"); test(588000, "5.92904"); test(589000, "5.93015"); test(590000, "5.93125"); test(591000, "5.93235"); test(592000, "5.93346"); test(593000, "5.93455"); test(594000, "5.93564"); test(595000, "5.93673"); test(596000, "5.93782"); test(597000, "5.93890"); test(598000, "5.93999"); test(599000, "5.94107"); test(600000, "5.94214"); test(601000, "5.94322"); test(602000, "5.94428"); test(603000, "5.94535"); test(604000, "5.94642"); test(605000, "5.94748"); test(606000, "5.94854"); test(607000, "5.94959"); test(608000, "5.95065"); test(609000, "5.95169"); test(610000, "5.95274"); test(611000, "5.95379"); test(612000, "5.95483"); test(613000, "5.95587"); test(614000, "5.95690"); test(615000, "5.95794"); test(616000, "5.95897"); test(617000, "5.96000"); test(618000, "5.96102"); test(619000, "5.96205"); test(620000, "5.96307"); test(621000, "5.96408"); test(622000, "5.96510"); test(623000, "5.96611"); test(624000, "5.96712"); test(625000, "5.96813"); test(626000, "5.96913"); test(627000, "5.97014"); test(628000, "5.97113"); test(629000, "5.97213"); test(630000, "5.97313"); test(631000, "5.97412"); test(632000, "5.97510"); test(633000, "5.97609"); test(634000, "5.97708"); test(635000, "5.97806"); test(636000, "5.97903"); test(637000, "5.98001"); test(638000, "5.98098"); test(639000, "5.98195"); test(640000, "5.98292"); test(641000, "5.98389"); test(642000, "5.98485"); test(643000, "5.98582"); test(644000, "5.98677"); test(645000, "5.98773"); test(646000, "5.98868"); test(647000, "5.98963"); test(648000, "5.99058"); test(649000, "5.99153"); test(650000, "5.99247"); test(651000, "5.99341"); test(652000, "5.99435"); test(653000, "5.99529"); test(654000, "5.99622"); test(655000, "5.99716"); test(656000, "5.99809"); test(657000, "5.99901"); test(658000, "5.99994"); test(659000, "6.00086"); test(660000, "6.00178"); test(661000, "6.00270"); test(662000, "6.00362"); test(663000, "6.00453"); test(664000, "6.00544"); test(665000, "6.00635"); test(666000, "6.00725"); test(667000, "6.00815"); test(668000, "6.00906"); test(669000, "6.00996"); test(670000, "6.01086"); test(671000, "6.01175"); test(672000, "6.01264"); test(673000, "6.01354"); test(674000, "6.01442"); test(675000, "6.01531"); test(676000, "6.01619"); test(677000, "6.01708"); test(678000, "6.01795"); test(679000, "6.01883"); test(680000, "6.01971"); test(681000, "6.02058"); test(682000, "6.02145"); test(683000, "6.02232"); test(684000, "6.02319"); test(685000, "6.02405"); test(686000, "6.02491"); test(687000, "6.02577"); test(688000, "6.02663"); test(689000, "6.02748"); test(690000, "6.02834"); test(691000, "6.02919"); test(692000, "6.03004"); test(693000, "6.03089"); test(694000, "6.03173"); test(695000, "6.03258"); test(696000, "6.03342"); test(697000, "6.03426"); test(698000, "6.03509"); test(699000, "6.03593"); test(700000, "6.03676"); test(701000, "6.03759"); test(702000, "6.03842"); test(703000, "6.03925"); test(704000, "6.04007"); test(705000, "6.04090"); test(706000, "6.04172"); test(707000, "6.04254"); test(708000, "6.04335"); test(709000, "6.04417"); test(710000, "6.04498"); test(711000, "6.04579"); test(712000, "6.04660"); test(713000, "6.04741"); test(714000, "6.04821"); test(715000, "6.04902"); test(716000, "6.04982"); test(717000, "6.05062"); test(718000, "6.05141"); test(719000, "6.05221"); test(720000, "6.05300"); test(721000, "6.05380"); test(722000, "6.05459"); test(723000, "6.05538"); test(724000, "6.05616"); test(725000, "6.05694"); test(726000, "6.05773"); test(727000, "6.05851"); test(728000, "6.05928"); test(729000, "6.06006"); test(730000, "6.06084"); test(731000, "6.06161"); test(732000, "6.06238"); test(733000, "6.06315"); test(734000, "6.06392"); test(735000, "6.06468"); test(736000, "6.06545"); test(737000, "6.06621"); test(738000, "6.06697"); test(739000, "6.06773"); test(740000, "6.06849"); test(741000, "6.06924"); test(742000, "6.06999"); test(743000, "6.07075"); test(744000, "6.07149"); test(745000, "6.07224"); test(746000, "6.07299"); test(747000, "6.07373"); test(748000, "6.07448"); test(749000, "6.07521"); test(750000, "6.07595"); test(751000, "6.07669"); test(752000, "6.07743"); test(753000, "6.07816"); test(754000, "6.07890"); test(755000, "6.07963"); test(756000, "6.08035"); test(757000, "6.08108"); test(758000, "6.08181"); test(759000, "6.08253"); test(760000, "6.08325"); test(761000, "6.08397"); test(762000, "6.08469"); test(763000, "6.08541"); test(764000, "6.08612"); test(765000, "6.08684"); test(766000, "6.08755"); test(767000, "6.08826"); test(768000, "6.08897"); test(769000, "6.08967"); test(770000, "6.09038"); test(771000, "6.09108"); test(772000, "6.09178"); test(773000, "6.09249"); test(774000, "6.09319"); test(775000, "6.09389"); test(776000, "6.09458"); test(777000, "6.09528"); test(778000, "6.09597"); test(779000, "6.09666"); test(780000, "6.09735"); test(781000, "6.09804"); test(782000, "6.09872"); test(783000, "6.09941"); test(784000, "6.10009"); test(785000, "6.10077"); test(786000, "6.10145"); test(787000, "6.10213"); test(788000, "6.10281"); test(789000, "6.10348"); test(790000, "6.10416"); test(791000, "6.10483"); test(792000, "6.10550"); test(793000, "6.10617"); test(794000, "6.10684"); test(795000, "6.10751"); test(796000, "6.10817"); test(797000, "6.10884"); test(798000, "6.10950"); test(799000, "6.11016"); test(800000, "6.11082"); test(801000, "6.11147"); test(802000, "6.11213"); test(803000, "6.11279"); test(804000, "6.11344"); test(805000, "6.11409"); test(806000, "6.11474"); test(807000, "6.11539"); test(808000, "6.11604"); test(809000, "6.11668"); test(810000, "6.11733"); test(811000, "6.11797"); test(812000, "6.11861"); test(813000, "6.11925"); test(814000, "6.11989"); test(815000, "6.12053"); test(816000, "6.12117"); test(817000, "6.12180"); test(818000, "6.12243"); test(819000, "6.12306"); test(820000, "6.12370"); test(821000, "6.12432"); test(822000, "6.12495"); test(823000, "6.12558"); test(824000, "6.12620"); test(825000, "6.12683"); test(826000, "6.12745"); test(827000, "6.12807"); test(828000, "6.12869"); test(829000, "6.12931"); test(830000, "6.12992"); test(831000, "6.13054"); test(832000, "6.13115"); test(833000, "6.13176"); test(834000, "6.13238"); //test(835000,"6.13298"); test(836000, "6.13359"); test(837000, "6.13420"); test(838000, "6.13481"); test(839000, "6.13541"); test(840000, "6.13601"); test(841000, "6.13662"); test(842000, "6.13722"); test(843000, "6.13782"); test(844000, "6.13842"); test(845000, "6.13901"); test(846000, "6.13961"); test(847000, "6.14020"); test(848000, "6.14080"); test(849000, "6.14139"); test(850000, "6.14198"); test(851000, "6.14257"); test(852000, "6.14315"); test(853000, "6.14374"); test(854000, "6.14433"); test(855000, "6.14491"); test(856000, "6.14550"); test(857000, "6.14608"); test(858000, "6.14666"); test(859000, "6.14724"); test(860000, "6.14782"); test(861000, "6.14839"); test(862000, "6.14897"); test(863000, "6.14954"); test(864000, "6.15012"); test(865000, "6.15069"); test(866000, "6.15126"); test(867000, "6.15183"); test(868000, "6.15240"); test(869000, "6.15296"); test(870000, "6.15353"); test(871000, "6.15409"); test(872000, "6.15466"); test(873000, "6.15522"); test(874000, "6.15578"); test(875000, "6.15634"); test(876000, "6.15690"); test(877000, "6.15746"); test(878000, "6.15801"); test(879000, "6.15857"); test(880000, "6.15912"); test(881000, "6.15968"); test(882000, "6.16023"); test(883000, "6.16078"); test(884000, "6.16133"); test(885000, "6.16188"); test(886000, "6.16242"); test(887000, "6.16297"); test(888000, "6.16351"); test(889000, "6.16406"); test(890000, "6.16460"); test(891000, "6.16514"); test(892000, "6.16568"); test(893000, "6.16622"); test(894000, "6.16676"); test(895000, "6.16730"); test(896000, "6.16783"); test(897000, "6.16837"); test(898000, "6.16890"); test(899000, "6.16944"); test(900000, "6.16997"); test(901000, "6.17050"); test(902000, "6.17103"); test(903000, "6.17155"); test(904000, "6.17208"); test(905000, "6.17261"); test(906000, "6.17313"); test(907000, "6.17366"); test(908000, "6.17418"); test(909000, "6.17470"); test(910000, "6.17522"); test(911000, "6.17574"); test(912000, "6.17626"); test(913000, "6.17678"); test(914000, "6.17729"); test(915000, "6.17781"); test(916000, "6.17833"); test(917000, "6.17884"); test(918000, "6.17935"); test(919000, "6.17986"); test(920000, "6.18037"); test(921000, "6.18088"); test(922000, "6.18139"); test(923000, "6.18189"); test(924000, "6.18240"); test(925000, "6.18291"); test(926000, "6.18341"); test(927000, "6.18391"); test(928000, "6.18442"); test(929000, "6.18491"); test(930000, "6.18542"); test(931000, "6.18592"); test(932000, "6.18642"); test(933000, "6.18691"); test(934000, "6.18741"); test(935000, "6.18790"); test(936000, "6.18840"); test(937000, "6.18889"); test(938000, "6.18938"); test(939000, "6.18987"); test(940000, "6.19036"); test(941000, "6.19085"); test(942000, "6.19134"); test(943000, "6.19183"); test(944000, "6.19231"); test(945000, "6.19280"); test(946000, "6.19328"); test(947000, "6.19377"); test(948000, "6.19425"); test(949000, "6.19473"); test(950000, "6.19521"); test(951000, "6.19569"); test(952000, "6.19617"); test(953000, "6.19665"); test(954000, "6.19712"); test(955000, "6.19760"); test(956000, "6.19807"); test(957000, "6.19855"); test(958000, "6.19902"); test(959000, "6.19949"); test(960000, "6.19996"); test(961000, "6.20043"); test(962000, "6.20090"); test(963000, "6.20137"); test(964000, "6.20184"); test(965000, "6.20230"); test(966000, "6.20277"); test(967000, "6.20323"); test(968000, "6.20370"); test(969000, "6.20416"); test(970000, "6.20462"); test(971000, "6.20508"); test(972000, "6.20554"); test(973000, "6.20600"); test(974000, "6.20646"); test(975000, "6.20692"); test(976000, "6.20738"); test(977000, "6.20783"); test(978000, "6.20829"); test(979000, "6.20874"); test(980000, "6.20919"); test(981000, "6.20965"); test(982000, "6.21010"); test(983000, "6.21055"); test(984000, "6.21100"); test(985000, "6.21144"); test(986000, "6.21189"); test(987000, "6.21234"); test(988000, "6.21279"); test(989000, "6.21323"); test(990000, "6.21368"); test(991000, "6.21412"); test(992000, "6.21456"); test(993000, "6.21501"); test(994000, "6.21545"); test(995000, "6.21589"); test(996000, "6.21633"); test(997000, "6.21676"); test(998000, "6.21720"); test(999000, "6.21764"); test(1000000, "6.21807"); test(1010000, "6.22239"); test(1020000, "6.22662"); test(1030000, "6.23078"); test(1040000, "6.23486"); test(1050000, "6.23887"); test(1060000, "6.24280"); test(1070000, "6.24666"); test(1080000, "6.25046"); test(1090000, "6.25418"); test(1100000, "6.25784"); test(1110000, "6.26144"); test(1120000, "6.26498"); test(1130000, "6.26845"); test(1140000, "6.27187"); test(1150000, "6.27523"); test(1160000, "6.27852"); test(1170000, "6.28177"); test(1180000, "6.28497"); test(1190000, "6.28811"); test(1200000, "6.29119"); test(1210000, "6.29424"); test(1220000, "6.29723"); test(1230000, "6.30017"); test(1240000, "6.30307"); test(1250000, "6.30592"); test(1260000, "6.30872"); test(1270000, "6.31149"); test(1280000, "6.31421"); test(1290000, "6.31689"); test(1300000, "6.31953"); test(1310000, "6.32213"); test(1320000, "6.32469"); test(1330000, "6.32721"); test(1340000, "6.32969"); test(1350000, "6.33214"); test(1360000, "6.33456"); test(1370000, "6.33694"); test(1380000, "6.33928"); test(1390000, "6.34159"); test(1400000, "6.34387"); test(1410000, "6.34612"); test(1420000, "6.34833"); test(1430000, "6.35052"); test(1440000, "6.35267"); test(1450000, "6.35479"); test(1460000, "6.35689"); test(1470000, "6.35896"); test(1480000, "6.36100"); test(1490000, "6.36301"); test(1500000, "6.36500"); test(1510000, "6.36696"); test(1520000, "6.36889"); test(1530000, "6.37080"); test(1540000, "6.37269"); test(1550000, "6.37455"); test(1560000, "6.37638"); test(1570000, "6.37820"); test(1580000, "6.37999"); test(1590000, "6.38175"); test(1600000, "6.38350"); test(1610000, "6.38523"); test(1620000, "6.38693"); test(1630000, "6.38861"); test(1640000, "6.39027"); test(1650000, "6.39191"); test(1660000, "6.39354"); test(1670000, "6.39514"); test(1680000, "6.39672"); test(1690000, "6.39829"); test(1700000, "6.39984"); test(1710000, "6.40136"); test(1720000, "6.40288"); test(1730000, "6.40437"); test(1740000, "6.40585"); test(1750000, "6.40730"); test(1760000, "6.40875"); test(1770000, "6.41018"); test(1780000, "6.41158"); test(1790000, "6.41298"); test(1800000, "6.41436"); test(1810000, "6.41573"); test(1820000, "6.41708"); test(1830000, "6.41841"); test(1840000, "6.41973"); test(1850000, "6.42104"); test(1860000, "6.42233"); test(1870000, "6.42361"); test(1880000, "6.42487"); test(1890000, "6.42612"); test(1900000, "6.42736"); test(1910000, "6.42858"); test(1920000, "6.42980"); test(1930000, "6.43100"); test(1940000, "6.43218"); test(1950000, "6.43336"); test(1960000, "6.43452"); test(1970000, "6.43567"); test(1980000, "6.43681"); test(1990000, "6.43794"); test(2000000, "6.43906"); } }