(
( 290 ((4000 0.0478606) (4500 0.0538432) (5000 0.0598258) (5500 0.0658083) (6000 0.0717909) (6500 0.0777735) (7000 0.0837561) (7500 0.0897386) (8000 0.0957212) ))
( 340 ((4000 0.0408223) (4500 0.0459251) (5000 0.0510279) (5500 0.0561306) (6000 0.0612334) (6500 0.0663362) (7000 0.071439) (7500 0.0765418) (8000 0.0816446) ))
( 390 ((4000 0.0355887) (4500 0.0400372) (5000 0.0444858) (5500 0.0489344) (6000 0.053383) (6500 0.0578316) (7000 0.0622801) (7500 0.0667287) (8000 0.0711773) ))
( 440 ((4000 0.0315445) (4500 0.0354876) (5000 0.0394306) (5500 0.0433737) (6000 0.0473167) (6500 0.0512598) (7000 0.0552029) (7500 0.0591459) (8000 0.063089) ))
( 490 ((4000 0.0283257) (4500 0.0318664) (5000 0.0354071) (5500 0.0389478) (6000 0.0424885) (6500 0.0460292) (7000 0.0495699) (7500 0.0531106) (8000 0.0566513) ))
( 540 ((4000 0.0257029) (4500 0.0289158) (5000 0.0321286) (5500 0.0353415) (6000 0.0385544) (6500 0.0417672) (7000 0.0449801) (7500 0.048193) (8000 0.0514058) ))
( 590 ((4000 0.0235247) (4500 0.0264653) (5000 0.0294059) (5500 0.0323465) (6000 0.0352871) (6500 0.0382276) (7000 0.0411682) (7500 0.0441088) (8000 0.0470494) ))
( 640 ((4000 0.0216868) (4500 0.0243977) (5000 0.0271085) (5500 0.0298194) (6000 0.0325303) (6500 0.0352411) (7000 0.037952) (7500 0.0406628) (8000 0.0433737) ))
( 690 ((4000 0.0201153) (4500 0.0226297) (5000 0.0251442) (5500 0.0276586) (6000 0.030173) (6500 0.0326874) (7000 0.0352018) (7500 0.0377162) (8000 0.0402307) ))
( 740 ((4000 0.0187562) (4500 0.0211007) (5000 0.0234452) (5500 0.0257898) (6000 0.0281343) (6500 0.0304788) (7000 0.0328233) (7500 0.0351678) (8000 0.0375124) ))
( 790 ((4000 0.0175691) (4500 0.0197652) (5000 0.0219614) (5500 0.0241575) (6000 0.0263536) (6500 0.0285498) (7000 0.0307459) (7500 0.032942) (8000 0.0351382) ))
( 840 ((4000 0.0165233) (4500 0.0185887) (5000 0.0206541) (5500 0.0227195) (6000 0.024785) (6500 0.0268504) (7000 0.0289158) (7500 0.0309812) (8000 0.0330466) ))
( 890 ((4000 0.015595) (4500 0.0175444) (5000 0.0194938) (5500 0.0214432) (6000 0.0233925) (6500 0.0253419) (7000 0.0272913) (7500 0.0292407) (8000 0.0311901) ))
( 940 ((4000 0.0147655) (4500 0.0166112) (5000 0.0184569) (5500 0.0203026) (6000 0.0221483) (6500 0.0239939) (7000 0.0258396) (7500 0.0276853) (8000 0.029531) ))
( 990 ((4000 0.0140198) (4500 0.0157722) (5000 0.0175247) (5500 0.0192772) (6000 0.0210297) (6500 0.0227821) (7000 0.0245346) (7500 0.0262871) (8000 0.0280395) ))
( 1040 ((4000 0.0133457) (4500 0.015014) (5000 0.0166822) (5500 0.0183504) (6000 0.0200186) (6500 0.0216868) (7000 0.0233551) (7500 0.0250233) (8000 0.0266915) ))
( 1090 ((4000 0.0127336) (4500 0.0143253) (5000 0.0159169) (5500 0.0175086) (6000 0.0191003) (6500 0.020692) (7000 0.0222837) (7500 0.0238754) (8000 0.0254671) ))
( 1140 ((4000 0.0121751) (4500 0.0136969) (5000 0.0152188) (5500 0.0167407) (6000 0.0182626) (6500 0.0197845) (7000 0.0213064) (7500 0.0228282) (8000 0.0243501) ))
( 1190 ((4000 0.0116635) (4500 0.0131214) (5000 0.0145794) (5500 0.0160373) (6000 0.0174953) (6500 0.0189532) (7000 0.0204111) (7500 0.0218691) (8000 0.023327) ))
( 1240 ((4000 0.0111932) (4500 0.0125924) (5000 0.0139915) (5500 0.0153907) (6000 0.0167898) (6500 0.018189) (7000 0.0195881) (7500 0.0209873) (8000 0.0223864) ))
( 1290 ((4000 0.0107594) (4500 0.0121043) (5000 0.0134492) (5500 0.0147941) (6000 0.016139) (6500 0.017484) (7000 0.0188289) (7500 0.0201738) (8000 0.0215187) ))
( 1340 ((4000 0.0103579) (4500 0.0116526) (5000 0.0129474) (5500 0.0142421) (6000 0.0155368) (6500 0.0168316) (7000 0.0181263) (7500 0.019421) (8000 0.0207158) ))
( 1390 ((4000 0.0099853) (4500 0.0112335) (5000 0.0124816) (5500 0.0137298) (6000 0.0149779) (6500 0.0162261) (7000 0.0174743) (7500 0.0187224) (8000 0.0199706) ))
( 1440 ((4000 0.00963857) (4500 0.0108434) (5000 0.0120482) (5500 0.013253) (6000 0.0144579) (6500 0.0156627) (7000 0.0168675) (7500 0.0180723) (8000 0.0192772) ))
( 1490 ((4000 0.00931511) (4500 0.0104795) (5000 0.0116439) (5500 0.0128083) (6000 0.0139727) (6500 0.0151371) (7000 0.0163015) (7500 0.0174659) (8000 0.0186302) ))
( 1540 ((4000 0.00901264) (4500 0.0101392) (5000 0.0112658) (5500 0.0123924) (6000 0.013519) (6500 0.0146456) (7000 0.0157722) (7500 0.0168987) (8000 0.0180253) ))
( 1590 ((4000 0.00872916) (4500 0.00982032) (5000 0.0109115) (5500 0.0120026) (6000 0.0130938) (6500 0.0141849) (7000 0.0152761) (7500 0.0163672) (8000 0.0174584) ))
( 1640 ((4000 0.00846293) (4500 0.00952081) (5000 0.0105787) (5500 0.0116366) (6000 0.0126945) (6500 0.0137523) (7000 0.0148102) (7500 0.0158681) (8000 0.016926) ))
( 1690 ((4000 0.00821239) (4500 0.00923896) (5000 0.0102655) (5500 0.0112921) (6000 0.0123187) (6500 0.0133453) (7000 0.0143718) (7500 0.0153984) (8000 0.016425) ))
( 1740 ((4000 0.00797615) (4500 0.00897321) (5000 0.00997027) (5500 0.0109673) (6000 0.0119644) (6500 0.0129615) (7000 0.0139585) (7500 0.0149556) (8000 0.0159527) ))
( 1790 ((4000 0.00775297) (4500 0.00872215) (5000 0.00969134) (5500 0.0106605) (6000 0.0116297) (6500 0.0125989) (7000 0.0135681) (7500 0.0145373) (8000 0.0155065) ))
( 1840 ((4000 0.00754172) (4500 0.00848454) (5000 0.00942736) (5500 0.0103702) (6000 0.011313) (6500 0.0122558) (7000 0.0131987) (7500 0.0141415) (8000 0.0150843) ))
( 1890 ((4000 0.00734139) (4500 0.00825921) (5000 0.00917704) (5500 0.0100949) (6000 0.0110127) (6500 0.0119306) (7000 0.0128484) (7500 0.0137663) (8000 0.0146841) ))
( 1940 ((4000 0.00715102) (4500 0.00804512) (5000 0.00893922) (5500 0.00983334) (6000 0.0107275) (6500 0.0116216) (7000 0.0125157) (7500 0.0134099) (8000 0.014304) ))
( 1990 ((4000 0.00696974) (4500 0.00784127) (5000 0.00871282) (5500 0.00958438) (6000 0.010456) (6500 0.0113275) (7000 0.0121991) (7500 0.0130707) (8000 0.0139424) ))
( 2040 ((4000 0.00679672) (4500 0.00764675) (5000 0.00849682) (5500 0.0093469) (6000 0.010197) (6500 0.0110471) (7000 0.0118972) (7500 0.0127474) (8000 0.0135975) ))
( 2090 ((4000 0.00663118) (4500 0.0074607) (5000 0.00829026) (5500 0.00911984) (6000 0.00994945) (6500 0.0107791) (7000 0.0116087) (7500 0.0124384) (8000 0.0132681) ))
( 2140 ((4000 0.00647238) (4500 0.00728228) (5000 0.00809223) (5500 0.00890222) (6000 0.00971224) (6500 0.0105223) (7000 0.0113324) (7500 0.0121425) (8000 0.0129526) ))
( 2190 ((4000 0.0063196) (4500 0.0071107) (5000 0.00790187) (5500 0.00869308) (6000 0.00948434) (6500 0.0102756) (7000 0.011067) (7500 0.0118583) (8000 0.0126497) ))
( 2240 ((4000 0.00617213) (4500 0.00694518) (5000 0.00771831) (5500 0.00849151) (6000 0.00926477) (6500 0.0100381) (7000 0.0108114) (7500 0.0115848) (8000 0.0123583) ))
( 2290 ((4000 0.00602931) (4500 0.00678498) (5000 0.00754076) (5500 0.00829662) (6000 0.00905257) (6500 0.00980858) (7000 0.0105646) (7500 0.0113208) (8000 0.012077) ))
( 2340 ((4000 0.00589047) (4500 0.00662937) (5000 0.0073684) (5500 0.00810755) (6000 0.0088468) (6500 0.00958614) (7000 0.0103256) (7500 0.011065) (8000 0.0118046) ))
( 2390 ((4000 0.00575499) (4500 0.00647765) (5000 0.00720048) (5500 0.00792346) (6000 0.00864658) (6500 0.00936981) (7000 0.0100931) (7500 0.0108166) (8000 0.0115401) ))
( 2440 ((4000 0.00562225) (4500 0.00632914) (5000 0.00703626) (5500 0.00774357) (6000 0.00845105) (6500 0.00915867) (7000 0.00986642) (7500 0.0105743) (8000 0.0112823) ))
( 2490 ((4000 0.0054917) (4500 0.00618324) (5000 0.00687506) (5500 0.00756713) (6000 0.0082594) (6500 0.00895185) (7000 0.00964447) (7500 0.0103372) (8000 0.0110301) ))
( 2540 ((4000 0.00536284) (4500 0.00603938) (5000 0.00671626) (5500 0.00739345) (6000 0.00807089) (6500 0.00874856) (7000 0.00942644) (7500 0.0101045) (8000 0.0107827) ))
( 2590 ((4000 0.00523525) (4500 0.00589706) (5000 0.00655931) (5500 0.00722192) (6000 0.00788486) (6500 0.00854808) (7000 0.00921155) (7500 0.00987525) (8000 0.0105391) ))
( 2640 ((4000 0.00510859) (4500 0.00575591) (5000 0.00640376) (5500 0.00705206) (6000 0.00770076) (6500 0.0083498) (7000 0.00899915) (7500 0.00964877) (8000 0.0102986) ))
( 2690 ((4000 0.00498266) (4500 0.00561566) (5000 0.00624931) (5500 0.0068835) (6000 0.00751817) (6500 0.00815325) (7000 0.0087887) (7500 0.00942449) (8000 0.0100606) ))
( 2740 ((4000 0.00485741) (4500 0.00547622) (5000 0.0060958) (5500 0.00671603) (6000 0.00733682) (6500 0.00795812) (7000 0.00857986) (7500 0.009202) (8000 0.0098245) ))
( 2790 ((4000 0.00473297) (4500 0.00533766) (5000 0.00594325) (5500 0.00654962) (6000 0.00715667) (6500 0.00776431) (7000 0.00837247) (7500 0.00898111) (8000 0.00959018) ))
( 2840 ((4000 0.00460961) (4500 0.00520023) (5000 0.0057919) (5500 0.00638448) (6000 0.00697786) (6500 0.00757192) (7000 0.00816661) (7500 0.00876185) (8000 0.0093576) ))
( 2890 ((4000 0.00448783) (4500 0.00506439) (5000 0.00564218) (5500 0.00622101) (6000 0.00680076) (6500 0.00738132) (7000 0.00796259) (7500 0.00854452) (8000 0.00912702) ))
( 2940 ((4000 0.00436825) (4500 0.00493079) (5000 0.00549471) (5500 0.00605983) (6000 0.00662599) (6500 0.00719308) (7000 0.00776099) (7500 0.00832964) (8000 0.00889896) ))
( 2990 ((4000 0.00425164) (4500 0.00480021) (5000 0.00535031) (5500 0.00590175) (6000 0.00645436) (6500 0.00700801) (7000 0.0075626) (7500 0.00811802) (8000 0.00867421) ))
( 3040 ((4000 0.00413883) (4500 0.00467351) (5000 0.00520987) (5500 0.0057477) (6000 0.00628682) (6500 0.0068271) (7000 0.00736842) (7500 0.00791067) (8000 0.00845377) ))
( 3090 ((4000 0.00403061) (4500 0.00455157) (5000 0.00507434) (5500 0.00559868) (6000 0.00612443) (6500 0.00665143) (7000 0.00717956) (7500 0.00770872) (8000 0.00823881) ))
( 3140 ((4000 0.00392768) (4500 0.0044352) (5000 0.0049446) (5500 0.00545567) (6000 0.00596822) (6500 0.0064821) (7000 0.00699719) (7500 0.00751338) (8000 0.00803059) ))
( 3190 ((4000 0.00383056) (4500 0.00432502) (5000 0.0048214) (5500 0.00531948) (6000 0.0058191) (6500 0.00632011) (7000 0.00682238) (7500 0.00732581) (8000 0.00783031) ))
( 3240 ((4000 0.00373952) (4500 0.00422142) (5000 0.00470523) (5500 0.00519074) (6000 0.00567779) (6500 0.00616626) (7000 0.00665603) (7500 0.00714698) (8000 0.00763903) ))
( 3290 ((4000 0.00365461) (4500 0.00412456) (5000 0.00459633) (5500 0.00506978) (6000 0.00554475) (6500 0.00602111) (7000 0.00649877) (7500 0.00697762) (8000 0.00745759) ))
( 3340 ((4000 0.00357564) (4500 0.0040343) (5000 0.00449468) (5500 0.00495666) (6000 0.00542009) (6500 0.00588488) (7000 0.00635093) (7500 0.00681815) (8000 0.00728647) ))
( 3390 ((4000 0.00350225) (4500 0.00395032) (5000 0.0044) (5500 0.00485115) (6000 0.00530367) (6500 0.00575748) (7000 0.00621249) (7500 0.00666862) (8000 0.00712581) ))
( 3440 ((4000 0.00343394) (4500 0.00387215) (5000 0.00431181) (5500 0.00475282) (6000 0.00519509) (6500 0.00563856) (7000 0.00608314) (7500 0.00652878) (8000 0.00697542) ))
( 3490 ((4000 0.00337019) (4500 0.00379923) (5000 0.00422955) (5500 0.0046611) (6000 0.00509378) (6500 0.00552755) (7000 0.00596235) (7500 0.00639812) (8000 0.00683482) ))
( 3540 ((4000 0.00331046) (4500 0.00373096) (5000 0.0041526) (5500 0.00457532) (6000 0.00499906) (6500 0.00542378) (7000 0.00584942) (7500 0.00627595) (8000 0.00670332) ))
( 3590 ((4000 0.00325423) (4500 0.00366678) (5000 0.00408033) (5500 0.00449483) (6000 0.00491023) (6500 0.0053265) (7000 0.0057436) (7500 0.00616149) (8000 0.00658014) ))
( 3640 ((4000 0.00320104) (4500 0.00360616) (5000 0.00401216) (5500 0.00441898) (6000 0.0048266) (6500 0.00523498) (7000 0.00564409) (7500 0.00605391) (8000 0.0064644) ))
( 3690 ((4000 0.00315048) (4500 0.00354864) (5000 0.00394755) (5500 0.00434719) (6000 0.00474752) (6500 0.00514851) (7000 0.00555016) (7500 0.00595242) (8000 0.00635529) ))
( 3740 ((4000 0.00310221) (4500 0.0034938) (5000 0.00388604) (5500 0.00427892) (6000 0.0046724) (6500 0.00506647) (7000 0.00546111) (7500 0.00585629) (8000 0.006252) ))
( 3790 ((4000 0.00305592) (4500 0.00344129) (5000 0.00382723) (5500 0.00421373) (6000 0.00460075) (6500 0.00498829) (7000 0.00537632) (7500 0.00576484) (8000 0.00615382) ))
( 3840 ((4000 0.00301136) (4500 0.00339081) (5000 0.00377077) (5500 0.00415121) (6000 0.00453212) (6500 0.00491348) (7000 0.00529527) (7500 0.00567749) (8000 0.00606012) ))
( 3890 ((4000 0.0029683) (4500 0.00334211) (5000 0.00371636) (5500 0.00409104) (6000 0.00446613) (6500 0.00484162) (7000 0.00521749) (7500 0.00559373) (8000 0.00597033) ))
( 3940 ((4000 0.00292658) (4500 0.00329497) (5000 0.00366376) (5500 0.00403292) (6000 0.00440245) (6500 0.00477234) (7000 0.00514256) (7500 0.00551311) (8000 0.00588399) ))
( 3990 ((4000 0.00288601) (4500 0.00324919) (5000 0.00361273) (5500 0.00397661) (6000 0.00434081) (6500 0.00470532) (7000 0.00507014) (7500 0.00543526) (8000 0.00580066) ))
( 4040 ((4000 0.00284647) (4500 0.00320462) (5000 0.00356309) (5500 0.00392187) (6000 0.00428095) (6500 0.00464031) (7000 0.00499994) (7500 0.00535984) (8000 0.00571999) ))
( 4090 ((4000 0.00280783) (4500 0.0031611) (5000 0.00351468) (5500 0.00386854) (6000 0.00422267) (6500 0.00457705) (7000 0.00493169) (7500 0.00528656) (8000 0.00564167) ))
( 4140 ((4000 0.00276997) (4500 0.00311851) (5000 0.00346734) (5500 0.00381643) (6000 0.00416577) (6500 0.00451535) (7000 0.00486515) (7500 0.00521518) (8000 0.00556542) ))
( 4190 ((4000 0.00273278) (4500 0.00307673) (5000 0.00342094) (5500 0.0037654) (6000 0.00411009) (6500 0.004455) (7000 0.00480013) (7500 0.00514546) (8000 0.00549098) ))
( 4240 ((4000 0.00269618) (4500 0.00303564) (5000 0.00337535) (5500 0.0037153) (6000 0.00405547) (6500 0.00439584) (7000 0.00473643) (7500 0.0050772) (8000 0.00541815) ))
( 4290 ((4000 0.00266007) (4500 0.00299514) (5000 0.00333046) (5500 0.003666) (6000 0.00400176) (6500 0.00433773) (7000 0.00467388) (7500 0.00501021) (8000 0.00534673) ))
( 4340 ((4000 0.00262437) (4500 0.00295514) (5000 0.00328615) (5500 0.0036174) (6000 0.00394885) (6500 0.0042805) (7000 0.00461233) (7500 0.00494434) (8000 0.00527652) ))
( 4390 ((4000 0.00258899) (4500 0.00291554) (5000 0.00324234) (5500 0.00356936) (6000 0.0038966) (6500 0.00422402) (7000 0.00455163) (7500 0.00487941) (8000 0.00520736) ))
( 4440 ((4000 0.00255385) (4500 0.00287626) (5000 0.00319891) (5500 0.00352179) (6000 0.00384489) (6500 0.00416818) (7000 0.00449165) (7500 0.00481529) (8000 0.00513909) ))
( 4490 ((4000 0.00251888) (4500 0.0028372) (5000 0.00315577) (5500 0.00347459) (6000 0.00379361) (6500 0.00411283) (7000 0.00443224) (7500 0.00475182) (8000 0.00507156) ))
( 4540 ((4000 0.00248401) (4500 0.00279829) (5000 0.00311284) (5500 0.00342764) (6000 0.00374266) (6500 0.00405788) (7000 0.00437329) (7500 0.00468887) (8000 0.00500462) ))
( 4590 ((4000 0.00244916) (4500 0.00275944) (5000 0.00307002) (5500 0.00338086) (6000 0.00369192) (6500 0.0040032) (7000 0.00431467) (7500 0.00462632) (8000 0.00493814) ))
( 4640 ((4000 0.00241426) (4500 0.00272059) (5000 0.00302723) (5500 0.00333415) (6000 0.00364131) (6500 0.00394869) (7000 0.00425628) (7500 0.00456405) (8000 0.00487199) ))
( 4690 ((4000 0.00237925) (4500 0.00268166) (5000 0.0029844) (5500 0.00328743) (6000 0.00359072) (6500 0.00389425) (7000 0.00419799) (7500 0.00450192) (8000 0.00480604) ))
( 4740 ((4000 0.00234406) (4500 0.00264257) (5000 0.00294143) (5500 0.00324061) (6000 0.00354006) (6500 0.00383977) (7000 0.0041397) (7500 0.00443984) (8000 0.00474017) ))
( 4790 ((4000 0.00230865) (4500 0.00260327) (5000 0.00289827) (5500 0.00319361) (6000 0.00348926) (6500 0.00378516) (7000 0.00408132) (7500 0.00437769) (8000 0.00467427) ))
( 4840 ((4000 0.00227296) (4500 0.00256369) (5000 0.00285485) (5500 0.00314637) (6000 0.00343821) (6500 0.00373035) (7000 0.00402274) (7500 0.00431537) (8000 0.00460822) ))
( 4890 ((4000 0.00223694) (4500 0.00252379) (5000 0.00281109) (5500 0.0030988) (6000 0.00338686) (6500 0.00367523) (7000 0.00396388) (7500 0.00425279) (8000 0.00454194) ))
( 4940 ((4000 0.00220055) (4500 0.00248351) (5000 0.00276697) (5500 0.00305086) (6000 0.00333513) (6500 0.00361975) (7000 0.00390467) (7500 0.00418986) (8000 0.00447531) ))
( 4990 ((4000 0.00216376) (4500 0.00244281) (5000 0.00272241) (5500 0.00300249) (6000 0.00328297) (6500 0.00356383) (7000 0.00384502) (7500 0.00412651) (8000 0.00440827) ))
( 5040 ((4000 0.00212655) (4500 0.00240168) (5000 0.0026774) (5500 0.00295364) (6000 0.00323033) (6500 0.00350743) (7000 0.00378488) (7500 0.00406266) (8000 0.00434073) ))
( 5090 ((4000 0.00208891) (4500 0.00236008) (5000 0.0026319) (5500 0.00290429) (6000 0.00317717) (6500 0.00345049) (7000 0.00372419) (7500 0.00399826) (8000 0.00427264) ))
( 5140 ((4000 0.00205084) (4500 0.00231802) (5000 0.00258591) (5500 0.00285442) (6000 0.00312346) (6500 0.00339298) (7000 0.00366293) (7500 0.00393326) (8000 0.00420394) ))
( 5190 ((4000 0.00201235) (4500 0.00227549) (5000 0.00253942) (5500 0.00280401) (6000 0.00306919) (6500 0.00333489) (7000 0.00360105) (7500 0.00386763) (8000 0.00413459) ))
( 5240 ((4000 0.00197346) (4500 0.00223252) (5000 0.00249244) (5500 0.00275308) (6000 0.00301437) (6500 0.00327621) (7000 0.00353856) (7500 0.00380137) (8000 0.00406458) ))
( 5290 ((4000 0.00193421) (4500 0.00218915) (5000 0.002445) (5500 0.00270166) (6000 0.002959) (6500 0.00321696) (7000 0.00347547) (7500 0.00373446) (8000 0.00399391) ))
( 5340 ((4000 0.00189466) (4500 0.00214541) (5000 0.00239716) (5500 0.00264977) (6000 0.00290314) (6500 0.00315717) (7000 0.00341179) (7500 0.00366694) (8000 0.00392258) ))
( 5390 ((4000 0.00185488) (4500 0.00210138) (5000 0.00234897) (5500 0.00259749) (6000 0.00284682) (6500 0.00309688) (7000 0.00334757) (7500 0.00359885) (8000 0.00385065) ))
( 5440 ((4000 0.00181495) (4500 0.00205715) (5000 0.00230051) (5500 0.00254489) (6000 0.00279014) (6500 0.00303617) (7000 0.00328289) (7500 0.00353024) (8000 0.00377815) ))
( 5490 ((4000 0.00177497) (4500 0.0020128) (5000 0.00225188) (5500 0.00249205) (6000 0.00273317) (6500 0.00297512) (7000 0.00321782) (7500 0.0034612) (8000 0.00370519) ))
( 5540 ((4000 0.00173506) (4500 0.00196846) (5000 0.0022032) (5500 0.00243911) (6000 0.00267603) (6500 0.00291385) (7000 0.00315248) (7500 0.00339184) (8000 0.00363185) ))
( 5590 ((4000 0.00169534) (4500 0.00192424) (5000 0.00215459) (5500 0.00238618) (6000 0.00261885) (6500 0.00285249) (7000 0.00308699) (7500 0.00332227) (8000 0.00355826) ))
( 5640 ((4000 0.00165594) (4500 0.0018803) (5000 0.0021062) (5500 0.00233341) (6000 0.00256178) (6500 0.00279119) (7000 0.00302151) (7500 0.00325266) (8000 0.00348457) ))
( 5690 ((4000 0.00161701) (4500 0.00183679) (5000 0.00205818) (5500 0.00228096) (6000 0.00250498) (6500 0.0027301) (7000 0.00295619) (7500 0.00318317) (8000 0.00341095) ))
( 5740 ((4000 0.00157871) (4500 0.00179385) (5000 0.0020107) (5500 0.00222902) (6000 0.00244864) (6500 0.00266941) (7000 0.00289123) (7500 0.00311398) (8000 0.00333759) ))
( 5790 ((4000 0.00154117) (4500 0.00175166) (5000 0.00196393) (5500 0.00217774) (6000 0.00239292) (6500 0.00260932) (7000 0.00282682) (7500 0.0030453) (8000 0.00326469) ))
( 5840 ((4000 0.00150454) (4500 0.00171037) (5000 0.00191804) (5500 0.00212732) (6000 0.00233803) (6500 0.00255002) (7000 0.00276316) (7500 0.00297734) (8000 0.00319248) ))
( 5890 ((4000 0.00146897) (4500 0.00167014) (5000 0.0018732) (5500 0.00207794) (6000 0.00228417) (6500 0.00249172) (7000 0.00270048) (7500 0.00291033) (8000 0.00312117) ))
( 5940 ((4000 0.00143458) (4500 0.00163111) (5000 0.00182959) (5500 0.00202979) (6000 0.00223152) (6500 0.00243463) (7000 0.00263899) (7500 0.00284448) (8000 0.00305101) ))
( 5990 ((4000 0.00140147) (4500 0.00159341) (5000 0.00178733) (5500 0.00198301) (6000 0.00218026) (6500 0.00237893) (7000 0.00257889) (7500 0.00278002) (8000 0.00298223) ))
( 6040 ((4000 0.00136975) (4500 0.00155716) (5000 0.00174658) (5500 0.00193778) (6000 0.00213058) (6500 0.00232483) (7000 0.00252039) (7500 0.00271717) (8000 0.00291505) ))
( 6090 ((4000 0.00133948) (4500 0.00152246) (5000 0.00170744) (5500 0.00189421) (6000 0.00208261) (6500 0.00227247) (7000 0.00246368) (7500 0.00265612) (8000 0.0028497) ))
( 6140 ((4000 0.00131071) (4500 0.00148936) (5000 0.00167) (5500 0.00185243) (6000 0.00203649) (6500 0.00222203) (7000 0.00240892) (7500 0.00259706) (8000 0.00278636) ))
( 6190 ((4000 0.00128347) (4500 0.00145793) (5000 0.00163434) (5500 0.00181252) (6000 0.00199232) (6500 0.00217361) (7000 0.00235625) (7500 0.00254016) (8000 0.00272523) ))
( 6240 ((4000 0.00125777) (4500 0.00142817) (5000 0.00160048) (5500 0.00177454) (6000 0.00195019) (6500 0.00212731) (7000 0.00230579) (7500 0.00248553) (8000 0.00266644) ))
( 6290 ((4000 0.00123358) (4500 0.00140008) (5000 0.00156845) (5500 0.00173851) (6000 0.00191014) (6500 0.00208321) (7000 0.00225762) (7500 0.00243328) (8000 0.00261011) ))
( 6340 ((4000 0.00121086) (4500 0.00137365) (5000 0.00153823) (5500 0.00170444) (6000 0.00187218) (6500 0.00204133) (7000 0.0022118) (7500 0.00238349) (8000 0.00255634) ))
( 6390 ((4000 0.00118956) (4500 0.00134882) (5000 0.00150978) (5500 0.00167232) (6000 0.00183632) (6500 0.00200169) (7000 0.00216834) (7500 0.00233619) (8000 0.00250517) ))
( 6440 ((4000 0.00116963) (4500 0.00132554) (5000 0.00148306) (5500 0.00164208) (6000 0.00180251) (6500 0.00196425) (7000 0.00212723) (7500 0.00229138) (8000 0.00245662) ))
( 6490 ((4000 0.00115097) (4500 0.00130372) (5000 0.00145799) (5500 0.00161368) (6000 0.0017707) (6500 0.00192898) (7000 0.00208844) (7500 0.00224903) (8000 0.00241068) ))
( 6540 ((4000 0.00113352) (4500 0.0012833) (5000 0.00143449) (5500 0.00158702) (6000 0.00174081) (6500 0.00189579) (7000 0.00205191) (7500 0.0022091) (8000 0.0023673) ))
( 6590 ((4000 0.00111718) (4500 0.00126417) (5000 0.00141247) (5500 0.00156202) (6000 0.00171276) (6500 0.00186462) (7000 0.00201755) (7500 0.0021715) (8000 0.00232642) ))
( 6640 ((4000 0.00110187) (4500 0.00124624) (5000 0.00139183) (5500 0.00153858) (6000 0.00168644) (6500 0.00183534) (7000 0.00198526) (7500 0.00213613) (8000 0.00228793) ))
( 6690 ((4000 0.0010875) (4500 0.00122943) (5000 0.00137248) (5500 0.0015166) (6000 0.00166174) (6500 0.00180786) (7000 0.00195493) (7500 0.0021029) (8000 0.00225174) ))
( 6740 ((4000 0.00107399) (4500 0.00121363) (5000 0.0013543) (5500 0.00149595) (6000 0.00163855) (6500 0.00178206) (7000 0.00192645) (7500 0.00207167) (8000 0.00221771) ))
( 6790 ((4000 0.00106127) (4500 0.00119877) (5000 0.00133721) (5500 0.00147655) (6000 0.00161676) (6500 0.00175782) (7000 0.00189968) (7500 0.00204232) (8000 0.00218573) ))
( 6840 ((4000 0.00104926) (4500 0.00118476) (5000 0.00132111) (5500 0.00145829) (6000 0.00159626) (6500 0.00173501) (7000 0.0018745) (7500 0.00201472) (8000 0.00215564) ))
( 6890 ((4000 0.00103789) (4500 0.00117151) (5000 0.00130591) (5500 0.00144106) (6000 0.00157694) (6500 0.00171352) (7000 0.0018508) (7500 0.00198874) (8000 0.00212732) ))
( 6940 ((4000 0.0010271) (4500 0.00115897) (5000 0.00129153) (5500 0.00142478) (6000 0.00155869) (6500 0.00169325) (7000 0.00182844) (7500 0.00196424) (8000 0.00210063) ))
( 6990 ((4000 0.00101683) (4500 0.00114705) (5000 0.0012779) (5500 0.00140936) (6000 0.00154143) (6500 0.00167408) (7000 0.00180731) (7500 0.0019411) (8000 0.00207544) ))
( 7040 ((4000 0.00100704) (4500 0.0011357) (5000 0.00126493) (5500 0.00139472) (6000 0.00152505) (6500 0.00165592) (7000 0.00178732) (7500 0.00191922) (8000 0.00205162) ))
( 7090 ((4000 0.000997672) (4500 0.00112487) (5000 0.00125257) (5500 0.00138078) (6000 0.00150949) (6500 0.00163868) (7000 0.00176834) (7500 0.00189847) (8000 0.00202906) ))
( 7140 ((4000 0.00098869) (4500 0.0011145) (5000 0.00124076) (5500 0.00136749) (6000 0.00149466) (6500 0.00162226) (7000 0.0017503) (7500 0.00187876) (8000 0.00200764) ))
( 7190 ((4000 0.000980056) (4500 0.00110455) (5000 0.00122945) (5500 0.00135477) (6000 0.00148049) (6500 0.0016066) (7000 0.00173311) (7500 0.00186) (8000 0.00198726) ))
( 7240 ((4000 0.000971738) (4500 0.00109498) (5000 0.00121859) (5500 0.00134257) (6000 0.00146692) (6500 0.00159162) (7000 0.00171668) (7500 0.00184208) (8000 0.00196783) ))
( 7290 ((4000 0.000963707) (4500 0.00108575) (5000 0.00120814) (5500 0.00133085) (6000 0.0014539) (6500 0.00157726) (7000 0.00170095) (7500 0.00182495) (8000 0.00194926) ))
( 7340 ((4000 0.000955937) (4500 0.00107685) (5000 0.00119806) (5500 0.00131957) (6000 0.00144137) (6500 0.00156347) (7000 0.00168585) (7500 0.00180852) (8000 0.00193147) ))
( 7390 ((4000 0.000948405) (4500 0.00106822) (5000 0.00118831) (5500 0.00130867) (6000 0.0014293) (6500 0.00155019) (7000 0.00167133) (7500 0.00179274) (8000 0.0019144) ))
( 7440 ((4000 0.000941091) (4500 0.00105986) (5000 0.00117888) (5500 0.00129814) (6000 0.00141763) (6500 0.00153737) (7000 0.00165734) (7500 0.00177754) (8000 0.00189797) ))
( 7490 ((4000 0.000933977) (4500 0.00105174) (5000 0.00116973) (5500 0.00128793) (6000 0.00140635) (6500 0.00152498) (7000 0.00164382) (7500 0.00176287) (8000 0.00188214) ))
( 7540 ((4000 0.000927048) (4500 0.00104384) (5000 0.00116083) (5500 0.00127802) (6000 0.0013954) (6500 0.00151298) (7000 0.00163074) (7500 0.0017487) (8000 0.00186684) ))
( 7590 ((4000 0.000920289) (4500 0.00103614) (5000 0.00115218) (5500 0.00126839) (6000 0.00138477) (6500 0.00150133) (7000 0.00161806) (7500 0.00173496) (8000 0.00185204) ))
( 7640 ((4000 0.000913688) (4500 0.00102864) (5000 0.00114374) (5500 0.00125901) (6000 0.00137443) (6500 0.00149001) (7000 0.00160575) (7500 0.00172164) (8000 0.00183769) ))
( 7690 ((4000 0.000907234) (4500 0.0010213) (5000 0.00113551) (5500 0.00124986) (6000 0.00136436) (6500 0.001479) (7000 0.00159378) (7500 0.0017087) (8000 0.00182375) ))
( 7740 ((4000 0.000900918) (4500 0.00101413) (5000 0.00112747) (5500 0.00124094) (6000 0.00135454) (6500 0.00146826) (7000 0.00158212) (7500 0.0016961) (8000 0.0018102) ))
( 7790 ((4000 0.00089473) (4500 0.00100711) (5000 0.0011196) (5500 0.00123221) (6000 0.00134494) (6500 0.00145779) (7000 0.00157075) (7500 0.00168382) (8000 0.00179701) ))
( 7840 ((4000 0.000888663) (4500 0.00100023) (5000 0.0011119) (5500 0.00122368) (6000 0.00133556) (6500 0.00144755) (7000 0.00155964) (7500 0.00167184) (8000 0.00178414) ))
( 7890 ((4000 0.00088271) (4500 0.000993485) (5000 0.00110436) (5500 0.00121532) (6000 0.00132638) (6500 0.00143754) (7000 0.00154879) (7500 0.00166013) (8000 0.00177157) ))
( 7940 ((4000 0.000876864) (4500 0.000986867) (5000 0.00109696) (5500 0.00120713) (6000 0.00131739) (6500 0.00142774) (7000 0.00153817) (7500 0.00164869) (8000 0.00175929) ))
( 7990 ((4000 0.000871121) (4500 0.000980368) (5000 0.00108969) (5500 0.0011991) (6000 0.00130858) (6500 0.00141814) (7000 0.00152777) (7500 0.00163749) (8000 0.00174728) ))
( 8040 ((4000 0.000865474) (4500 0.000973982) (5000 0.00108256) (5500 0.00119121) (6000 0.00129993) (6500 0.00140872) (7000 0.00151758) (7500 0.00162651) (8000 0.00173551) ))
( 8090 ((4000 0.00085992) (4500 0.000967703) (5000 0.00107555) (5500 0.00118346) (6000 0.00129144) (6500 0.00139948) (7000 0.00150758) (7500 0.00161575) (8000 0.00172397) ))
( 8140 ((4000 0.000854455) (4500 0.000961527) (5000 0.00106866) (5500 0.00117585) (6000 0.00128309) (6500 0.0013904) (7000 0.00149776) (7500 0.00160518) (8000 0.00171266) ))
( 8190 ((4000 0.000849073) (4500 0.000955448) (5000 0.00106188) (5500 0.00116836) (6000 0.00127489) (6500 0.00138148) (7000 0.00148812) (7500 0.00159481) (8000 0.00170155) ))
( 8240 ((4000 0.000843773) (4500 0.000949464) (5000 0.0010552) (5500 0.00116099) (6000 0.00126682) (6500 0.00137271) (7000 0.00147864) (7500 0.00158462) (8000 0.00169064) ))
( 8290 ((4000 0.000838551) (4500 0.000943569) (5000 0.00104863) (5500 0.00115374) (6000 0.00125889) (6500 0.00136408) (7000 0.00146932) (7500 0.0015746) (8000 0.00167992) ))
( 8340 ((4000 0.000833404) (4500 0.000937761) (5000 0.00104216) (5500 0.00114659) (6000 0.00125107) (6500 0.00135559) (7000 0.00146014) (7500 0.00156474) (8000 0.00166938) ))
( 8390 ((4000 0.00082833) (4500 0.000932037) (5000 0.00103578) (5500 0.00113956) (6000 0.00124337) (6500 0.00134723) (7000 0.00145112) (7500 0.00155504) (8000 0.001659) ))
( 8440 ((4000 0.000823326) (4500 0.000926392) (5000 0.00102949) (5500 0.00113262) (6000 0.00123579) (6500 0.00133899) (7000 0.00144222) (7500 0.00154549) (8000 0.00164879) ))
( 8490 ((4000 0.000818389) (4500 0.000920826) (5000 0.00102329) (5500 0.00112579) (6000 0.00122832) (6500 0.00133087) (7000 0.00143346) (7500 0.00153608) (8000 0.00163873) ))
( 8540 ((4000 0.000813519) (4500 0.000915334) (5000 0.00101718) (5500 0.00111905) (6000 0.00122095) (6500 0.00132287) (7000 0.00142483) (7500 0.00152681) (8000 0.00162882) ))
( 8590 ((4000 0.000808712) (4500 0.000909916) (5000 0.00101115) (5500 0.0011124) (6000 0.00121368) (6500 0.00131499) (7000 0.00141632) (7500 0.00151767) (8000 0.00161905) ))
( 8640 ((4000 0.000803967) (4500 0.000904568) (5000 0.00100519) (5500 0.00110584) (6000 0.00120651) (6500 0.00130721) (7000 0.00140792) (7500 0.00150866) (8000 0.00160943) ))
( 8690 ((4000 0.000799282) (4500 0.000899289) (5000 0.000999317) (5500 0.00109937) (6000 0.00119944) (6500 0.00129953) (7000 0.00139964) (7500 0.00149978) (8000 0.00159993) ))
( 8740 ((4000 0.000794657) (4500 0.000894077) (5000 0.000993517) (5500 0.00109298) (6000 0.00119246) (6500 0.00129196) (7000 0.00139147) (7500 0.00149101) (8000 0.00159057) ))
( 8790 ((4000 0.000790088) (4500 0.00088893) (5000 0.000987791) (5500 0.00108667) (6000 0.00118556) (6500 0.00128448) (7000 0.00138341) (7500 0.00148236) (8000 0.00158133) ))
( 8840 ((4000 0.000785575) (4500 0.000883847) (5000 0.000982135) (5500 0.00108044) (6000 0.00117876) (6500 0.0012771) (7000 0.00137545) (7500 0.00147382) (8000 0.00157221) ))
( 8890 ((4000 0.000781117) (4500 0.000878825) (5000 0.000976549) (5500 0.00107429) (6000 0.00117204) (6500 0.00126981) (7000 0.00136759) (7500 0.00146539) (8000 0.00156321) ))
( 8940 ((4000 0.000776712) (4500 0.000873864) (5000 0.000971031) (5500 0.00106821) (6000 0.0011654) (6500 0.00126261) (7000 0.00135983) (7500 0.00145707) (8000 0.00155432) ))
( 8990 ((4000 0.000772359) (4500 0.000868962) (5000 0.000965578) (5500 0.00106221) (6000 0.00115885) (6500 0.0012555) (7000 0.00135217) (7500 0.00144885) (8000 0.00154554) ))
( 9040 ((4000 0.000768057) (4500 0.000864118) (5000 0.000960191) (5500 0.00105628) (6000 0.00115237) (6500 0.00124848) (7000 0.0013446) (7500 0.00144073) (8000 0.00153688) ))
( 9090 ((4000 0.000763805) (4500 0.00085933) (5000 0.000954866) (5500 0.00105041) (6000 0.00114597) (6500 0.00124154) (7000 0.00133712) (7500 0.00143271) (8000 0.00152831) ))
( 9140 ((4000 0.000759601) (4500 0.000854597) (5000 0.000949603) (5500 0.00104462) (6000 0.00113965) (6500 0.00123468) (7000 0.00132973) (7500 0.00142478) (8000 0.00151985) ))
( 9190 ((4000 0.000755446) (4500 0.000849919) (5000 0.000944401) (5500 0.00103889) (6000 0.00113339) (6500 0.0012279) (7000 0.00132242) (7500 0.00141695) (8000 0.00151149) ))
( 9240 ((4000 0.000751337) (4500 0.000845293) (5000 0.000939258) (5500 0.00103323) (6000 0.00112721) (6500 0.0012212) (7000 0.0013152) (7500 0.00140921) (8000 0.00150323) ))
( 9290 ((4000 0.000747274) (4500 0.000840719) (5000 0.000934172) (5500 0.00102763) (6000 0.0011211) (6500 0.00121458) (7000 0.00130807) (7500 0.00140156) (8000 0.00149506) ))
( 9340 ((4000 0.000743256) (4500 0.000836196) (5000 0.000929144) (5500 0.0010221) (6000 0.00111506) (6500 0.00120803) (7000 0.00130101) (7500 0.00139399) (8000 0.00148699) ))
( 9390 ((4000 0.000739282) (4500 0.000831723) (5000 0.000924171) (5500 0.00101663) (6000 0.00110909) (6500 0.00120156) (7000 0.00129403) (7500 0.00138651) (8000 0.001479) ))
( 9440 ((4000 0.000735351) (4500 0.000827299) (5000 0.000919253) (5500 0.00101121) (6000 0.00110318) (6500 0.00119515) (7000 0.00128713) (7500 0.00137912) (8000 0.00147111) ))
( 9490 ((4000 0.000731463) (4500 0.000822923) (5000 0.000914388) (5500 0.00100586) (6000 0.00109734) (6500 0.00118882) (7000 0.00128031) (7500 0.0013718) (8000 0.00146331) ))
( 9540 ((4000 0.000727617) (4500 0.000818594) (5000 0.000909576) (5500 0.00100056) (6000 0.00109156) (6500 0.00118256) (7000 0.00127356) (7500 0.00136457) (8000 0.00145559) ))
( 9590 ((4000 0.000723812) (4500 0.000814311) (5000 0.000904816) (5500 0.000995326) (6000 0.00108584) (6500 0.00117636) (7000 0.00126689) (7500 0.00135742) (8000 0.00144795) ))
( 9640 ((4000 0.000720047) (4500 0.000810074) (5000 0.000900106) (5500 0.000990143) (6000 0.00108018) (6500 0.00117023) (7000 0.00126028) (7500 0.00135034) (8000 0.0014404) ))
( 9690 ((4000 0.000716322) (4500 0.000805882) (5000 0.000895447) (5500 0.000985016) (6000 0.00107459) (6500 0.00116417) (7000 0.00125375) (7500 0.00134334) (8000 0.00143293) ))
( 9740 ((4000 0.000712636) (4500 0.000801734) (5000 0.000890836) (5500 0.000979942) (6000 0.00106905) (6500 0.00115817) (7000 0.00124729) (7500 0.00133641) (8000 0.00142553) ))
( 9790 ((4000 0.000708988) (4500 0.000797629) (5000 0.000886273) (5500 0.000974922) (6000 0.00106357) (6500 0.00115223) (7000 0.00124089) (7500 0.00132955) (8000 0.00141822) ))
( 9840 ((4000 0.000705378) (4500 0.000793566) (5000 0.000881758) (5500 0.000969953) (6000 0.00105815) (6500 0.00114635) (7000 0.00123456) (7500 0.00132277) (8000 0.00141098) ))
( 9890 ((4000 0.000701804) (4500 0.000789545) (5000 0.000877289) (5500 0.000965036) (6000 0.00105279) (6500 0.00114054) (7000 0.0012283) (7500 0.00131606) (8000 0.00140382) ))
( 9940 ((4000 0.000698268) (4500 0.000785565) (5000 0.000872866) (5500 0.000960169) (6000 0.00104748) (6500 0.00113479) (7000 0.0012221) (7500 0.00130942) (8000 0.00139673) ))
( 9990 ((4000 0.000694767) (4500 0.000781626) (5000 0.000868488) (5500 0.000955352) (6000 0.00104222) (6500 0.00112909) (7000 0.00121596) (7500 0.00130284) (8000 0.00138972) ))
( 10040 ((4000 0.000691301) (4500 0.000777726) (5000 0.000864154) (5500 0.000950584) (6000 0.00103702) (6500 0.00112345) (7000 0.00120989) (7500 0.00129633) (8000 0.00138278) ))
( 10090 ((4000 0.00068787) (4500 0.000773865) (5000 0.000859863) (5500 0.000945864) (6000 0.00103187) (6500 0.00111787) (7000 0.00120388) (7500 0.00128989) (8000 0.0013759) ))
( 10140 ((4000 0.000684474) (4500 0.000770043) (5000 0.000855616) (5500 0.00094119) (6000 0.00102677) (6500 0.00111235) (7000 0.00119793) (7500 0.00128351) (8000 0.0013691) ))
( 10190 ((4000 0.000681111) (4500 0.000766259) (5000 0.00085141) (5500 0.000936564) (6000 0.00102172) (6500 0.00110688) (7000 0.00119204) (7500 0.0012772) (8000 0.00136236) ))
( 10240 ((4000 0.000677781) (4500 0.000762513) (5000 0.000847247) (5500 0.000931983) (6000 0.00101672) (6500 0.00110146) (7000 0.0011862) (7500 0.00127095) (8000 0.0013557) ))
( 10290 ((4000 0.000674483) (4500 0.000758803) (5000 0.000843124) (5500 0.000927447) (6000 0.00101177) (6500 0.0010961) (7000 0.00118043) (7500 0.00126476) (8000 0.00134909) ))
( 10340 ((4000 0.000671218) (4500 0.000755129) (5000 0.000839041) (5500 0.000922956) (6000 0.00100687) (6500 0.00109079) (7000 0.00117471) (7500 0.00125863) (8000 0.00134255) ))
( 10390 ((4000 0.000667985) (4500 0.000751491) (5000 0.000834998) (5500 0.000918508) (6000 0.00100202) (6500 0.00108553) (7000 0.00116905) (7500 0.00125256) (8000 0.00133608) ))
( 10440 ((4000 0.000664783) (4500 0.000747888) (5000 0.000830994) (5500 0.000914103) (6000 0.000997213) (6500 0.00108032) (7000 0.00116344) (7500 0.00124655) (8000 0.00132967) ))
( 10490 ((4000 0.000661611) (4500 0.000744319) (5000 0.000827029) (5500 0.00090974) (6000 0.000992453) (6500 0.00107517) (7000 0.00115788) (7500 0.0012406) (8000 0.00132332) ))
( 10540 ((4000 0.00065847) (4500 0.000740785) (5000 0.000823102) (5500 0.00090542) (6000 0.000987739) (6500 0.00107006) (7000 0.00115238) (7500 0.00123471) (8000 0.00131703) ))
( 10590 ((4000 0.000655358) (4500 0.000737284) (5000 0.000819211) (5500 0.00090114) (6000 0.00098307) (6500 0.001065) (7000 0.00114693) (7500 0.00122887) (8000 0.0013108) ))
( 10640 ((4000 0.000652276) (4500 0.000733817) (5000 0.000815358) (5500 0.000896901) (6000 0.000978445) (6500 0.00105999) (7000 0.00114154) (7500 0.00122308) (8000 0.00130463) ))
( 10690 ((4000 0.000649223) (4500 0.000730382) (5000 0.000811541) (5500 0.000892702) (6000 0.000973864) (6500 0.00105503) (7000 0.00113619) (7500 0.00121736) (8000 0.00129852) ))
( 10740 ((4000 0.000646199) (4500 0.000726979) (5000 0.00080776) (5500 0.000888542) (6000 0.000969325) (6500 0.00105011) (7000 0.0011309) (7500 0.00121168) (8000 0.00129247) ))
( 10790 ((4000 0.000643202) (4500 0.000723608) (5000 0.000804014) (5500 0.000884421) (6000 0.000964829) (6500 0.00104524) (7000 0.00112565) (7500 0.00120606) (8000 0.00128647) ))
( 10840 ((4000 0.000640234) (4500 0.000720268) (5000 0.000800302) (5500 0.000880338) (6000 0.000960375) (6500 0.00104041) (7000 0.00112045) (7500 0.00120049) (8000 0.00128053) ))
( 10890 ((4000 0.000637293) (4500 0.000716959) (5000 0.000796625) (5500 0.000876293) (6000 0.000955962) (6500 0.00103563) (7000 0.0011153) (7500 0.00119497) (8000 0.00127465) ))
( 10940 ((4000 0.000634378) (4500 0.00071368) (5000 0.000792982) (5500 0.000872285) (6000 0.000951589) (6500 0.00103089) (7000 0.0011102) (7500 0.00118951) (8000 0.00126881) ))
( 10990 ((4000 0.000631491) (4500 0.000710431) (5000 0.000789372) (5500 0.000868314) (6000 0.000947257) (6500 0.0010262) (7000 0.00110514) (7500 0.00118409) (8000 0.00126304) ))
( 11040 ((4000 0.000628629) (4500 0.000707212) (5000 0.000785795) (5500 0.000864379) (6000 0.000942963) (6500 0.00102155) (7000 0.00110014) (7500 0.00117872) (8000 0.00125731) ))
( 11090 ((4000 0.000625794) (4500 0.000704022) (5000 0.00078225) (5500 0.000860479) (6000 0.000938709) (6500 0.00101694) (7000 0.00109517) (7500 0.0011734) (8000 0.00125164) ))
( 11140 ((4000 0.000622984) (4500 0.00070086) (5000 0.000778737) (5500 0.000856615) (6000 0.000934493) (6500 0.00101237) (7000 0.00109025) (7500 0.00116813) (8000 0.00124601) ))
( 11190 ((4000 0.000620199) (4500 0.000697727) (5000 0.000775256) (5500 0.000852785) (6000 0.000930315) (6500 0.00100785) (7000 0.00108538) (7500 0.00116291) (8000 0.00124044) ))
( 11240 ((4000 0.000617439) (4500 0.000694622) (5000 0.000771806) (5500 0.00084899) (6000 0.000926174) (6500 0.00100336) (7000 0.00108055) (7500 0.00115773) (8000 0.00123492) ))
( 11290 ((4000 0.000614704) (4500 0.000691545) (5000 0.000768386) (5500 0.000845228) (6000 0.00092207) (6500 0.000998913) (7000 0.00107576) (7500 0.0011526) (8000 0.00122945) ))
( 11340 ((4000 0.000611993) (4500 0.000688494) (5000 0.000764996) (5500 0.000841499) (6000 0.000918003) (6500 0.000994507) (7000 0.00107101) (7500 0.00114752) (8000 0.00122402) ))
( 11390 ((4000 0.000609305) (4500 0.000685471) (5000 0.000761637) (5500 0.000837804) (6000 0.000913971) (6500 0.000990139) (7000 0.00106631) (7500 0.00114248) (8000 0.00121865) ))
( 11440 ((4000 0.000606641) (4500 0.000682474) (5000 0.000758307) (5500 0.00083414) (6000 0.000909974) (6500 0.000985809) (7000 0.00106164) (7500 0.00113748) (8000 0.00121332) ))
( 11490 ((4000 0.000604001) (4500 0.000679503) (5000 0.000755006) (5500 0.000830509) (6000 0.000906013) (6500 0.000981517) (7000 0.00105702) (7500 0.00113253) (8000 0.00120803) ))
( 11540 ((4000 0.000601383) (4500 0.000676558) (5000 0.000751733) (5500 0.000826909) (6000 0.000902086) (6500 0.000977262) (7000 0.00105244) (7500 0.00112762) (8000 0.0012028) ))
( 11590 ((4000 0.000598788) (4500 0.000673638) (5000 0.000748489) (5500 0.000823341) (6000 0.000898192) (6500 0.000973045) (7000 0.0010479) (7500 0.00112275) (8000 0.0011976) ))
( 11640 ((4000 0.000596215) (4500 0.000670744) (5000 0.000745273) (5500 0.000819803) (6000 0.000894333) (6500 0.000968863) (7000 0.00104339) (7500 0.00111793) (8000 0.00119246) ))
( 11690 ((4000 0.000593664) (4500 0.000667874) (5000 0.000742085) (5500 0.000816295) (6000 0.000890506) (6500 0.000964718) (7000 0.00103893) (7500 0.00111314) (8000 0.00118735) ))
( 11740 ((4000 0.000591135) (4500 0.000665029) (5000 0.000738923) (5500 0.000812818) (6000 0.000886712) (6500 0.000960607) (7000 0.0010345) (7500 0.0011084) (8000 0.0011823) ))
( 11790 ((4000 0.000588628) (4500 0.000662208) (5000 0.000735789) (5500 0.000809369) (6000 0.000882951) (6500 0.000956532) (7000 0.00103011) (7500 0.0011037) (8000 0.00117728) ))
( 11840 ((4000 0.000586142) (4500 0.000659411) (5000 0.000732681) (5500 0.000805951) (6000 0.000879221) (6500 0.000952491) (7000 0.00102576) (7500 0.00109903) (8000 0.00117231) ))
( 11890 ((4000 0.000583676) (4500 0.000656637) (5000 0.000729599) (5500 0.00080256) (6000 0.000875522) (6500 0.000948485) (7000 0.00102145) (7500 0.00109441) (8000 0.00116737) ))
( 11940 ((4000 0.000581232) (4500 0.000653887) (5000 0.000726543) (5500 0.000799199) (6000 0.000871855) (6500 0.000944512) (7000 0.00101717) (7500 0.00108983) (8000 0.00116248) ))
( 11990 ((4000 0.000578807) (4500 0.00065116) (5000 0.000723512) (5500 0.000795865) (6000 0.000868218) (6500 0.000940572) (7000 0.00101293) (7500 0.00108528) (8000 0.00115763) ))
( 12040 ((4000 0.000576403) (4500 0.000648455) (5000 0.000720507) (5500 0.000792559) (6000 0.000864612) (6500 0.000936665) (7000 0.00100872) (7500 0.00108077) (8000 0.00115282) ))
( 12090 ((4000 0.000574019) (4500 0.000645773) (5000 0.000717527) (5500 0.000789281) (6000 0.000861035) (6500 0.00093279) (7000 0.00100454) (7500 0.0010763) (8000 0.00114806) ))
( 12140 ((4000 0.000571655) (4500 0.000643113) (5000 0.000714571) (5500 0.000786029) (6000 0.000857488) (6500 0.000928947) (7000 0.00100041) (7500 0.00107187) (8000 0.00114333) ))
( 12190 ((4000 0.00056931) (4500 0.000640474) (5000 0.000711639) (5500 0.000782805) (6000 0.00085397) (6500 0.000925136) (7000 0.000996302) (7500 0.00106747) (8000 0.00113863) ))
( 12240 ((4000 0.000566984) (4500 0.000637858) (5000 0.000708732) (5500 0.000779606) (6000 0.000850481) (6500 0.000921356) (7000 0.000992231) (7500 0.00106311) (8000 0.00113398) ))
( 12290 ((4000 0.000564677) (4500 0.000635262) (5000 0.000705848) (5500 0.000776434) (6000 0.00084702) (6500 0.000917607) (7000 0.000988194) (7500 0.00105878) (8000 0.00112937) ))
( 12340 ((4000 0.000562388) (4500 0.000632688) (5000 0.000702988) (5500 0.000773288) (6000 0.000843588) (6500 0.000913888) (7000 0.000984189) (7500 0.00105449) (8000 0.00112479) ))
( 12390 ((4000 0.000560119) (4500 0.000630134) (5000 0.00070015) (5500 0.000770166) (6000 0.000840183) (6500 0.000910199) (7000 0.000980216) (7500 0.00105023) (8000 0.00112025) ))
( 12440 ((4000 0.000557867) (4500 0.000627601) (5000 0.000697336) (5500 0.00076707) (6000 0.000836805) (6500 0.00090654) (7000 0.000976276) (7500 0.00104601) (8000 0.00111575) ))
( 12490 ((4000 0.000555634) (4500 0.000625089) (5000 0.000694544) (5500 0.000763999) (6000 0.000833455) (6500 0.000902911) (7000 0.000972367) (7500 0.00104182) (8000 0.00111128) ))
( 12540 ((4000 0.000553418) (4500 0.000622596) (5000 0.000691774) (5500 0.000760952) (6000 0.000830131) (6500 0.00089931) (7000 0.000968489) (7500 0.00103767) (8000 0.00110685) ))
( 12590 ((4000 0.00055122) (4500 0.000620123) (5000 0.000689026) (5500 0.00075793) (6000 0.000826834) (6500 0.000895738) (7000 0.000964642) (7500 0.00103355) (8000 0.00110245) ))
( 12640 ((4000 0.000549039) (4500 0.00061767) (5000 0.000686301) (5500 0.000754931) (6000 0.000823563) (6500 0.000892194) (7000 0.000960825) (7500 0.00102946) (8000 0.00109809) ))
( 12690 ((4000 0.000546876) (4500 0.000615236) (5000 0.000683596) (5500 0.000751957) (6000 0.000820317) (6500 0.000888678) (7000 0.000957039) (7500 0.0010254) (8000 0.00109376) ))
( 12740 ((4000 0.000544729) (4500 0.000612821) (5000 0.000680913) (5500 0.000749005) (6000 0.000817097) (6500 0.00088519) (7000 0.000953282) (7500 0.00102138) (8000 0.00108947) ))
( 12790 ((4000 0.000542599) (4500 0.000610425) (5000 0.000678251) (5500 0.000746077) (6000 0.000813903) (6500 0.000881729) (7000 0.000949555) (7500 0.00101738) (8000 0.00108521) ))
( 12840 ((4000 0.000540486) (4500 0.000608048) (5000 0.000675609) (5500 0.000743171) (6000 0.000810733) (6500 0.000878295) (7000 0.000945857) (7500 0.00101342) (8000 0.00108098) ))
( 12890 ((4000 0.00053839) (4500 0.000605689) (5000 0.000672988) (5500 0.000740288) (6000 0.000807588) (6500 0.000874887) (7000 0.000942187) (7500 0.00100949) (8000 0.00107679) ))
( 12940 ((4000 0.000536309) (4500 0.000603348) (5000 0.000670388) (5500 0.000737427) (6000 0.000804467) (6500 0.000871507) (7000 0.000938546) (7500 0.00100559) (8000 0.00107263) ))
( 12990 ((4000 0.000534245) (4500 0.000601026) (5000 0.000667807) (5500 0.000734588) (6000 0.00080137) (6500 0.000868152) (7000 0.000934933) (7500 0.00100172) (8000 0.0010685) ))
( 13040 ((4000 0.000532196) (4500 0.000598721) (5000 0.000665246) (5500 0.000731772) (6000 0.000798297) (6500 0.000864822) (7000 0.000931348) (7500 0.000997874) (8000 0.0010644) ))
( 13090 ((4000 0.000530163) (4500 0.000596434) (5000 0.000662705) (5500 0.000728976) (6000 0.000795247) (6500 0.000861519) (7000 0.00092779) (7500 0.000994062) (8000 0.00106033) ))
( 13140 ((4000 0.000528146) (4500 0.000594164) (5000 0.000660183) (5500 0.000726202) (6000 0.000792221) (6500 0.00085824) (7000 0.000924259) (7500 0.000990279) (8000 0.0010563) ))
( 13190 ((4000 0.000526143) (4500 0.000591912) (5000 0.00065768) (5500 0.000723449) (6000 0.000789218) (6500 0.000854986) (7000 0.000920755) (7500 0.000986524) (8000 0.00105229) ))
( 13240 ((4000 0.000524156) (4500 0.000589676) (5000 0.000655196) (5500 0.000720717) (6000 0.000786237) (6500 0.000851757) (7000 0.000917278) (7500 0.000982798) (8000 0.00104832) ))
( 13290 ((4000 0.000522184) (4500 0.000587458) (5000 0.000652731) (5500 0.000718005) (6000 0.000783279) (6500 0.000848553) (7000 0.000913826) (7500 0.0009791) (8000 0.00104437) ))
( 13340 ((4000 0.000520227) (4500 0.000585256) (5000 0.000650285) (5500 0.000715314) (6000 0.000780343) (6500 0.000845372) (7000 0.000910401) (7500 0.00097543) (8000 0.00104046) ))
( 13390 ((4000 0.000518284) (4500 0.00058307) (5000 0.000647856) (5500 0.000712642) (6000 0.000777428) (6500 0.000842215) (7000 0.000907001) (7500 0.000971788) (8000 0.00103657) ))
( 13440 ((4000 0.000516356) (4500 0.000580901) (5000 0.000645446) (5500 0.000709991) (6000 0.000774536) (6500 0.000839081) (7000 0.000903627) (7500 0.000968172) (8000 0.00103272) ))
( 13490 ((4000 0.000514442) (4500 0.000578748) (5000 0.000643053) (5500 0.000707359) (6000 0.000771665) (6500 0.000835971) (7000 0.000900277) (7500 0.000964583) (8000 0.00102889) ))
( 13540 ((4000 0.000512542) (4500 0.00057661) (5000 0.000640679) (5500 0.000704747) (6000 0.000768815) (6500 0.000832884) (7000 0.000896952) (7500 0.000961021) (8000 0.00102509) ))
( 13590 ((4000 0.000510656) (4500 0.000574489) (5000 0.000638321) (5500 0.000702154) (6000 0.000765986) (6500 0.000829819) (7000 0.000893652) (7500 0.000957485) (8000 0.00102132) ))
( 13640 ((4000 0.000508784) (4500 0.000572383) (5000 0.000635981) (5500 0.00069958) (6000 0.000763178) (6500 0.000826777) (7000 0.000890376) (7500 0.000953975) (8000 0.00101757) ))
( 13690 ((4000 0.000506926) (4500 0.000570292) (5000 0.000633658) (5500 0.000697025) (6000 0.000760391) (6500 0.000823757) (7000 0.000887124) (7500 0.00095049) (8000 0.00101386) ))
( 13740 ((4000 0.000505081) (4500 0.000568217) (5000 0.000631352) (5500 0.000694488) (6000 0.000757624) (6500 0.000820759) (7000 0.000883895) (7500 0.000947031) (8000 0.00101017) ))
( 13790 ((4000 0.00050325) (4500 0.000566156) (5000 0.000629063) (5500 0.00069197) (6000 0.000754877) (6500 0.000817783) (7000 0.00088069) (7500 0.000943597) (8000 0.0010065) ))
( 13840 ((4000 0.000501432) (4500 0.000564111) (5000 0.00062679) (5500 0.00068947) (6000 0.000752149) (6500 0.000814829) (7000 0.000877508) (7500 0.000940188) (8000 0.00100287) ))
( 13890 ((4000 0.000499627) (4500 0.00056208) (5000 0.000624534) (5500 0.000686988) (6000 0.000749442) (6500 0.000811895) (7000 0.000874349) (7500 0.000936803) (8000 0.000999257) ))
( 13940 ((4000 0.000497835) (4500 0.000560064) (5000 0.000622294) (5500 0.000684524) (6000 0.000746753) (6500 0.000808983) (7000 0.000871213) (7500 0.000933443) (8000 0.000995673) ))
( 13990 ((4000 0.000496055) (4500 0.000558062) (5000 0.00062007) (5500 0.000682077) (6000 0.000744084) (6500 0.000806092) (7000 0.000868099) (7500 0.000930107) (8000 0.000992114) ))
( 14040 ((4000 0.000494289) (4500 0.000556075) (5000 0.000617861) (5500 0.000679648) (6000 0.000741434) (6500 0.000803221) (7000 0.000865007) (7500 0.000926794) (8000 0.000988581) ))
( 14090 ((4000 0.000492535) (4500 0.000554102) (5000 0.000615669) (5500 0.000677236) (6000 0.000738803) (6500 0.00080037) (7000 0.000861938) (7500 0.000923505) (8000 0.000985072) ))
( 14140 ((4000 0.000490793) (4500 0.000552142) (5000 0.000613492) (5500 0.000674841) (6000 0.000736191) (6500 0.00079754) (7000 0.00085889) (7500 0.000920239) (8000 0.000981589) ))
( 14190 ((4000 0.000489063) (4500 0.000550197) (5000 0.00061133) (5500 0.000672463) (6000 0.000733596) (6500 0.00079473) (7000 0.000855863) (7500 0.000916997) (8000 0.00097813) ))
( 14240 ((4000 0.000487346) (4500 0.000548265) (5000 0.000609183) (5500 0.000670102) (6000 0.00073102) (6500 0.000791939) (7000 0.000852858) (7500 0.000913777) (8000 0.000974695) ))
( 14290 ((4000 0.000485641) (4500 0.000546346) (5000 0.000607052) (5500 0.000667757) (6000 0.000728463) (6500 0.000789168) (7000 0.000849874) (7500 0.000910579) (8000 0.000971285) ))
( 14340 ((4000 0.000483948) (4500 0.000544441) (5000 0.000604935) (5500 0.000665429) (6000 0.000725922) (6500 0.000786416) (7000 0.00084691) (7500 0.000907404) (8000 0.000967898) ))
( 14390 ((4000 0.000482266) (4500 0.000542549) (5000 0.000602833) (5500 0.000663116) (6000 0.0007234) (6500 0.000783684) (7000 0.000843967) (7500 0.000904251) (8000 0.000964535) ))
( 14440 ((4000 0.000480596) (4500 0.000540671) (5000 0.000600745) (5500 0.00066082) (6000 0.000720895) (6500 0.00078097) (7000 0.000841045) (7500 0.00090112) (8000 0.000961195) ))
( 14490 ((4000 0.000478938) (4500 0.000538805) (5000 0.000598672) (5500 0.00065854) (6000 0.000718407) (6500 0.000778275) (7000 0.000838143) (7500 0.00089801) (8000 0.000957878) ))
( 14540 ((4000 0.000477291) (4500 0.000536952) (5000 0.000596614) (5500 0.000656275) (6000 0.000715937) (6500 0.000775599) (7000 0.00083526) (7500 0.000894922) (8000 0.000954584) ))
( 14590 ((4000 0.000475655) (4500 0.000535112) (5000 0.000594569) (5500 0.000654026) (6000 0.000713483) (6500 0.00077294) (7000 0.000832398) (7500 0.000891855) (8000 0.000951312) ))
( 14640 ((4000 0.00047403) (4500 0.000533284) (5000 0.000592538) (5500 0.000651792) (6000 0.000711046) (6500 0.000770301) (7000 0.000829555) (7500 0.000888809) (8000 0.000948063) ))
( 14690 ((4000 0.000472417) (4500 0.000531469) (5000 0.000590521) (5500 0.000649574) (6000 0.000708626) (6500 0.000767679) (7000 0.000826731) (7500 0.000885784) (8000 0.000944836) ))
( 14740 ((4000 0.000470814) (4500 0.000529666) (5000 0.000588518) (5500 0.00064737) (6000 0.000706222) (6500 0.000765074) (7000 0.000823927) (7500 0.000882779) (8000 0.000941631) ))
( 14790 ((4000 0.000469223) (4500 0.000527876) (5000 0.000586529) (5500 0.000645182) (6000 0.000703835) (6500 0.000762488) (7000 0.000821141) (7500 0.000879794) (8000 0.000938448) ))
( 14840 ((4000 0.000467642) (4500 0.000526097) (5000 0.000584552) (5500 0.000643008) (6000 0.000701463) (6500 0.000759919) (7000 0.000818374) (7500 0.00087683) (8000 0.000935286) ))
( 14890 ((4000 0.000466071) (4500 0.00052433) (5000 0.00058259) (5500 0.000640849) (6000 0.000699108) (6500 0.000757367) (7000 0.000815626) (7500 0.000873885) (8000 0.000932145) ))
( 14940 ((4000 0.000464512) (4500 0.000522576) (5000 0.00058064) (5500 0.000638704) (6000 0.000696768) (6500 0.000754832) (7000 0.000812896) (7500 0.000870961) (8000 0.000929025) ))
( 14990 ((4000 0.000462962) (4500 0.000520832) (5000 0.000578703) (5500 0.000636573) (6000 0.000694444) (6500 0.000752314) (7000 0.000810185) (7500 0.000868055) (8000 0.000925926) ))
)