lemma.tex

1\begin{tikzpicture}[x=23cm,y=4.4cm]2\definecolor{tonebound}{HTML}{FF8F2C}3\definecolor{tonegasket}{HTML}{00CAD8}4\definecolor{tonecarpet}{HTML}{008CFF}5\draw[gray!45,line width=0.3pt] (0,0) rectangle (0.5,1);6\draw[tonebound,line width=0.4pt] plot coordinates {(0.00028,1.00000) (0.00083,1.00000) (0.00139,1.00000) (0.00194,1.00000) (0.00250,1.00000) (0.00306,1.00000) (0.00361,1.00000) (0.00417,1.00000) (0.00472,1.00000) (0.00528,1.00000) (0.00583,1.00000) (0.00639,1.00000) (0.00694,1.00000) (0.00750,1.00000) (0.00806,1.00000) (0.00861,1.00000) (0.00917,1.00000) (0.00972,1.00000) (0.01028,1.00000) (0.01083,1.00000) (0.01139,1.00000) (0.01194,0.99488) (0.01250,0.98521) (0.01306,0.97516) (0.01361,0.96475) (0.01417,0.95397) (0.01472,0.94284) (0.01528,0.93137) (0.01583,0.91956) (0.01639,0.90742) (0.01694,0.89497) (0.01750,0.88221) (0.01806,0.86916) (0.01861,0.85582) (0.01917,0.84220) (0.01972,0.82832) (0.02028,0.81418) (0.02083,0.79980) (0.02139,0.78519) (0.02194,0.77035) (0.02250,0.75530) (0.02306,0.74006) (0.02361,0.72463) (0.02417,0.70902) (0.02472,0.69325) (0.02528,0.67733) (0.02583,0.66127) (0.02639,0.64508) (0.02694,0.62878) (0.02750,0.61238) (0.02806,0.59588) (0.02861,0.57930) (0.02917,0.56266) (0.02972,0.54597) (0.03028,0.52923) (0.03083,0.51247) (0.03139,0.49568) (0.03194,0.47890) (0.03250,0.46212) (0.03306,0.44535) (0.03361,0.42862) (0.03417,0.41194) (0.03472,0.39530) (0.03528,0.37874) (0.03583,0.36225) (0.03639,0.34585) (0.03694,0.32955) (0.03750,0.31336) (0.03806,0.29730) (0.03861,0.28136) (0.03917,0.26558) (0.03972,0.24994) (0.04028,0.23448) (0.04083,0.21918) (0.04139,0.20407) (0.04194,0.18916) (0.04250,0.17445) (0.04306,0.15995) (0.04361,0.14568) (0.04417,0.13163) (0.04472,0.11782) (0.04528,0.10426) (0.04583,0.09096) (0.04639,0.07791) (0.04694,0.06514) (0.04750,0.05264) (0.04806,0.05957) (0.04861,0.07150) (0.04917,0.08313) (0.04972,0.09445) (0.05028,0.10547) (0.05083,0.11618) (0.05139,0.12657) (0.05194,0.13664) (0.05250,0.14638) (0.05306,0.15579) (0.05361,0.16487) (0.05417,0.17361) (0.05472,0.18201) (0.05528,0.19007) (0.05583,0.19778) (0.05639,0.20515) (0.05694,0.21217) (0.05750,0.21884) (0.05806,0.22516) (0.05861,0.23113) (0.05917,0.23675) (0.05972,0.24201) (0.06028,0.24693) (0.06083,0.25149) (0.06139,0.25571) (0.06194,0.25958) (0.06250,0.26310) (0.06306,0.26628) (0.06361,0.26911) (0.06417,0.27161) (0.06472,0.27376) (0.06528,0.27559) (0.06583,0.27709) (0.06639,0.27825) (0.06694,0.27910) (0.06750,0.27963) (0.06806,0.27984) (0.06861,0.27975) (0.06917,0.27935) (0.06972,0.27865) (0.07028,0.27766) (0.07083,0.27638) (0.07139,0.27482) (0.07194,0.27298) (0.07250,0.27088) (0.07306,0.26851) (0.07361,0.26589) (0.07417,0.26302) (0.07472,0.25991) (0.07528,0.25656) (0.07583,0.25299) (0.07639,0.24920) (0.07694,0.24519) (0.07750,0.24099) (0.07806,0.23658) (0.07861,0.23200) (0.07917,0.22723) (0.07972,0.22229) (0.08028,0.21718) (0.08083,0.21193) (0.08139,0.20653) (0.08194,0.20099) (0.08250,0.19532) (0.08306,0.18954) (0.08361,0.18364) (0.08417,0.17764) (0.08472,0.17155) (0.08528,0.16538) (0.08583,0.15913) (0.08639,0.15281) (0.08694,0.14643) (0.08750,0.14001) (0.08806,0.13354) (0.08861,0.12704) (0.08917,0.12052) (0.08972,0.11398) (0.09028,0.10743) (0.09083,0.10089) (0.09139,0.09436) (0.09194,0.08784) (0.09250,0.08135) (0.09306,0.07489) (0.09361,0.06848) (0.09417,0.06211) (0.09472,0.05580) (0.09528,0.05044) (0.09583,0.05662) (0.09639,0.06272) (0.09694,0.06873) (0.09750,0.07465) (0.09806,0.08048) (0.09861,0.08620) (0.09917,0.09181) (0.09972,0.09730) (0.10028,0.10267) (0.10083,0.10791) (0.10139,0.11303) (0.10194,0.11800) (0.10250,0.12283) (0.10306,0.12751) (0.10361,0.13204) (0.10417,0.13642) (0.10472,0.14063) (0.10528,0.14469) (0.10583,0.14857) (0.10639,0.15228) (0.10694,0.15583) (0.10750,0.15919) (0.10806,0.16237) (0.10861,0.16538) (0.10917,0.16820) (0.10972,0.17083) (0.11028,0.17328) (0.11083,0.17554) (0.11139,0.17762) (0.11194,0.17950) (0.11250,0.18119) (0.11306,0.18269) (0.11361,0.18400) (0.11417,0.18512) (0.11472,0.18605) (0.11528,0.18678) (0.11583,0.18733) (0.11639,0.18769) (0.11694,0.18787) (0.11750,0.18786) (0.11806,0.18766) (0.11861,0.18728) (0.11917,0.18672) (0.11972,0.18599) (0.12028,0.18508) (0.12083,0.18400) (0.12139,0.18274) (0.12194,0.18133) (0.12250,0.17975) (0.12306,0.17801) (0.12361,0.17611) (0.12417,0.17406) (0.12472,0.17186) (0.12528,0.16952) (0.12583,0.16704) (0.12639,0.16442) (0.12694,0.16168) (0.12750,0.15880) (0.12806,0.15581) (0.12861,0.15270) (0.12917,0.14947) (0.12972,0.14614) (0.13028,0.14271) (0.13083,0.13918) (0.13139,0.13556) (0.13194,0.13186) (0.13250,0.12807) (0.13306,0.12421) (0.13361,0.12028) (0.13417,0.11629) (0.13472,0.11224) (0.13528,0.10814) (0.13583,0.10400) (0.13639,0.09981) (0.13694,0.09559) (0.13750,0.09134) (0.13806,0.08706) (0.13861,0.08277) (0.13917,0.07847) (0.13972,0.07416) (0.14028,0.06985) (0.14083,0.06555) (0.14139,0.06125) (0.14194,0.05698) (0.14250,0.05272) (0.14306,0.05151) (0.14361,0.05570) (0.14417,0.05986) (0.14472,0.06397) (0.14528,0.06804) (0.14583,0.07205) (0.14639,0.07601) (0.14694,0.07990) (0.14750,0.08373) (0.14806,0.08749) (0.14861,0.09116) (0.14917,0.09476) (0.14972,0.09828) (0.15028,0.10170) (0.15083,0.10503) (0.15139,0.10827) (0.15194,0.11141) (0.15250,0.11444) (0.15306,0.11737) (0.15361,0.12019) (0.15417,0.12289) (0.15472,0.12548) (0.15528,0.12796) (0.15583,0.13031) (0.15639,0.13254) (0.15694,0.13464) (0.15750,0.13662) (0.15806,0.13847) (0.15861,0.14019) (0.15917,0.14178) (0.15972,0.14323) (0.16028,0.14455) (0.16083,0.14574) (0.16139,0.14679) (0.16194,0.14771) (0.16250,0.14849) (0.16306,0.14913) (0.16361,0.14964) (0.16417,0.15001) (0.16472,0.15024) (0.16528,0.15034) (0.16583,0.15030) (0.16639,0.15013) (0.16694,0.14983) (0.16750,0.14940) (0.16806,0.14883) (0.16861,0.14814) (0.16917,0.14732) (0.16972,0.14638) (0.17028,0.14531) (0.17083,0.14412) (0.17139,0.14281) (0.17194,0.14139) (0.17250,0.13985) (0.17306,0.13820) (0.17361,0.13644) (0.17417,0.13458) (0.17472,0.13261) (0.17528,0.13055) (0.17583,0.12839) (0.17639,0.12613) (0.17694,0.12379) (0.17750,0.12136) (0.17806,0.11885) (0.17861,0.11627) (0.17917,0.11360) (0.17972,0.11087) (0.18028,0.10807) (0.18083,0.10521) (0.18139,0.10229) (0.18194,0.09932) (0.18250,0.09630) (0.18306,0.09323) (0.18361,0.09012) (0.18417,0.08697) (0.18472,0.08379) (0.18528,0.08058) (0.18583,0.07735) (0.18639,0.07410) (0.18694,0.07083) (0.18750,0.06756) (0.18806,0.06427) (0.18861,0.06099) (0.18917,0.05771) (0.18972,0.05443) (0.19028,0.05116) (0.19083,0.05209) (0.19139,0.05532) (0.19194,0.05853) (0.19250,0.06171) (0.19306,0.06486) (0.19361,0.06797) (0.19417,0.07104) (0.19472,0.07407) (0.19528,0.07705) (0.19583,0.07999) (0.19639,0.08286) (0.19694,0.08568) (0.19750,0.08844) (0.19806,0.09113) (0.19861,0.09376) (0.19917,0.09631) (0.19972,0.09879) (0.20028,0.10119) (0.20083,0.10351) (0.20139,0.10575) (0.20194,0.10791) (0.20250,0.10997) (0.20306,0.11195) (0.20361,0.11384) (0.20417,0.11563) (0.20472,0.11732) (0.20528,0.11892) (0.20583,0.12041) (0.20639,0.12181) (0.20694,0.12310) (0.20750,0.12429) (0.20806,0.12538) (0.20861,0.12636) (0.20917,0.12723) (0.20972,0.12800) (0.21028,0.12865) (0.21083,0.12920) (0.21139,0.12965) (0.21194,0.12998) (0.21250,0.13020) (0.21306,0.13032) (0.21361,0.13033) (0.21417,0.13023) (0.21472,0.13002) (0.21528,0.12971) (0.21583,0.12929) (0.21639,0.12877) (0.21694,0.12815) (0.21750,0.12742) (0.21806,0.12659) (0.21861,0.12567) (0.21917,0.12465) (0.21972,0.12353) (0.22028,0.12231) (0.22083,0.12101) (0.22139,0.11962) (0.22194,0.11814) (0.22250,0.11657) (0.22306,0.11492) (0.22361,0.11320) (0.22417,0.11139) (0.22472,0.10951) (0.22528,0.10756) (0.22583,0.10554) (0.22639,0.10345) (0.22694,0.10130) (0.22750,0.09909) (0.22806,0.09682) (0.22861,0.09450) (0.22917,0.09213) (0.22972,0.08971) (0.23028,0.08725) (0.23083,0.08475) (0.23139,0.08221) (0.23194,0.07964) (0.23250,0.07704) (0.23306,0.07441) (0.23361,0.07176) (0.23417,0.06910) (0.23472,0.06641) (0.23528,0.06372) (0.23583,0.06101) (0.23639,0.05831) (0.23694,0.05560) (0.23750,0.05289) (0.23806,0.05019) (0.23861,0.05250) (0.23917,0.05517) (0.23972,0.05783) (0.24028,0.06047) (0.24083,0.06309) (0.24139,0.06567) (0.24194,0.06823) (0.24250,0.07076) (0.24306,0.07324) (0.24361,0.07569) (0.24417,0.07809) (0.24472,0.08045) (0.24528,0.08276) (0.24583,0.08501) (0.24639,0.08721) (0.24694,0.08936) (0.24750,0.09144) (0.24806,0.09346) (0.24861,0.09541) (0.24917,0.09730) (0.24972,0.09912) (0.25028,0.10086) (0.25083,0.10253) (0.25139,0.10413) (0.25194,0.10565) (0.25250,0.10708) (0.25306,0.10844) (0.25361,0.10971) (0.25417,0.11090) (0.25472,0.11201) (0.25528,0.11302) (0.25583,0.11395) (0.25639,0.11479) (0.25694,0.11554) (0.25750,0.11620) (0.25806,0.11677) (0.25861,0.11725) (0.25917,0.11764) (0.25972,0.11794) (0.26028,0.11814) (0.26083,0.11825) (0.26139,0.11827) (0.26194,0.11820) (0.26250,0.11804) (0.26306,0.11778) (0.26361,0.11744) (0.26417,0.11701) (0.26472,0.11649) (0.26528,0.11588) (0.26583,0.11519) (0.26639,0.11441) (0.26694,0.11355) (0.26750,0.11260) (0.26806,0.11158) (0.26861,0.11047) (0.26917,0.10929) (0.26972,0.10803) (0.27028,0.10670) (0.27083,0.10530) (0.27139,0.10382) (0.27194,0.10228) (0.27250,0.10068) (0.27306,0.09901) (0.27361,0.09728) (0.27417,0.09549) (0.27472,0.09365) (0.27528,0.09175) (0.27583,0.08980) (0.27639,0.08781) (0.27694,0.08577) (0.27750,0.08369) (0.27806,0.08157) (0.27861,0.07942) (0.27917,0.07723) (0.27972,0.07501) (0.28028,0.07276) (0.28083,0.07049) (0.28139,0.06820) (0.28194,0.06589) (0.28250,0.06357) (0.28306,0.06124) (0.28361,0.05889) (0.28417,0.05654) (0.28472,0.05419) (0.28528,0.05184) (0.28583,0.05050) (0.28639,0.05284) (0.28694,0.05517) (0.28750,0.05748) (0.28806,0.05978) (0.28861,0.06206) (0.28917,0.06432) (0.28972,0.06655) (0.29028,0.06875) (0.29083,0.07092) (0.29139,0.07306) (0.29194,0.07516) (0.29250,0.07723) (0.29306,0.07925) (0.29361,0.08122) (0.29417,0.08315) (0.29472,0.08503) (0.29528,0.08686) (0.29583,0.08863) (0.29639,0.09035) (0.29694,0.09201) (0.29750,0.09361) (0.29806,0.09514) (0.29861,0.09661) (0.29917,0.09802) (0.29972,0.09936) (0.30028,0.10063) (0.30083,0.10182) (0.30139,0.10295) (0.30194,0.10400) (0.30250,0.10497) (0.30306,0.10587) (0.30361,0.10670) (0.30417,0.10744) (0.30472,0.10811) (0.30528,0.10870) (0.30583,0.10920) (0.30639,0.10963) (0.30694,0.10997) (0.30750,0.11024) (0.30806,0.11042) (0.30861,0.11052) (0.30917,0.11054) (0.30972,0.11048) (0.31028,0.11034) (0.31083,0.11012) (0.31139,0.10982) (0.31194,0.10944) (0.31250,0.10898) (0.31306,0.10844) (0.31361,0.10783) (0.31417,0.10714) (0.31472,0.10637) (0.31528,0.10553) (0.31583,0.10462) (0.31639,0.10364) (0.31694,0.10259) (0.31750,0.10147) (0.31806,0.10028) (0.31861,0.09903) (0.31917,0.09771) (0.31972,0.09634) (0.32028,0.09490) (0.32083,0.09341) (0.32139,0.09187) (0.32194,0.09027) (0.32250,0.08862) (0.32306,0.08692) (0.32361,0.08518) (0.32417,0.08339) (0.32472,0.08157) (0.32528,0.07970) (0.32583,0.07780) (0.32639,0.07587) (0.32694,0.07390) (0.32750,0.07191) (0.32806,0.06989) (0.32861,0.06785) (0.32917,0.06579) (0.32972,0.06372) (0.33028,0.06162) (0.33083,0.05952) (0.33139,0.05741) (0.33194,0.05530) (0.33250,0.05318) (0.33306,0.05106) (0.33361,0.05106) (0.33417,0.05317) (0.33472,0.05527) (0.33528,0.05736) (0.33583,0.05944) (0.33639,0.06150) (0.33694,0.06354) (0.33750,0.06556) (0.33806,0.06755) (0.33861,0.06952) (0.33917,0.07145) (0.33972,0.07336) (0.34028,0.07522) (0.34083,0.07706) (0.34139,0.07885) (0.34194,0.08060) (0.34250,0.08230) (0.34306,0.08396) (0.34361,0.08557) (0.34417,0.08713) (0.34472,0.08864) (0.34528,0.09009) (0.34583,0.09149) (0.34639,0.09283) (0.34694,0.09410) (0.34750,0.09532) (0.34806,0.09648) (0.34861,0.09757) (0.34917,0.09859) (0.34972,0.09955) (0.35028,0.10044) (0.35083,0.10126) (0.35139,0.10201) (0.35194,0.10269) (0.35250,0.10329) (0.35306,0.10383) (0.35361,0.10429) (0.35417,0.10468) (0.35472,0.10499) (0.35528,0.10523) (0.35583,0.10540) (0.35639,0.10549) (0.35694,0.10551) (0.35750,0.10545) (0.35806,0.10532) (0.35861,0.10511) (0.35917,0.10484) (0.35972,0.10448) (0.36028,0.10406) (0.36083,0.10356) (0.36139,0.10300) (0.36194,0.10236) (0.36250,0.10165) (0.36306,0.10088) (0.36361,0.10004) (0.36417,0.09913) (0.36472,0.09816) (0.36528,0.09713) (0.36583,0.09603) (0.36639,0.09488) (0.36694,0.09367) (0.36750,0.09240) (0.36806,0.09107) (0.36861,0.08969) (0.36917,0.08826) (0.36972,0.08679) (0.37028,0.08526) (0.37083,0.08369) (0.37139,0.08208) (0.37194,0.08042) (0.37250,0.07873) (0.37306,0.07701) (0.37361,0.07524) (0.37417,0.07345) (0.37472,0.07163) (0.37528,0.06978) (0.37583,0.06791) (0.37639,0.06602) (0.37694,0.06411) (0.37750,0.06218) (0.37806,0.06024) (0.37861,0.05829) (0.37917,0.05633) (0.37972,0.05436) (0.38028,0.05239) (0.38083,0.05042) (0.38139,0.05155) (0.38194,0.05351) (0.38250,0.05546) (0.38306,0.05741) (0.38361,0.05934) (0.38417,0.06126) (0.38472,0.06316) (0.38528,0.06504) (0.38583,0.06690) (0.38639,0.06873) (0.38694,0.07054) (0.38750,0.07231) (0.38806,0.07406) (0.38861,0.07576) (0.38917,0.07744) (0.38972,0.07907) (0.39028,0.08066) (0.39083,0.08221) (0.39139,0.08371) (0.39194,0.08517) (0.39250,0.08658) (0.39306,0.08794) (0.39361,0.08924) (0.39417,0.09049) (0.39472,0.09169) (0.39528,0.09282) (0.39583,0.09390) (0.39639,0.09492) (0.39694,0.09588) (0.39750,0.09677) (0.39806,0.09761) (0.39861,0.09837) (0.39917,0.09907) (0.39972,0.09971) (0.40028,0.10028) (0.40083,0.10077) (0.40139,0.10120) (0.40194,0.10157) (0.40250,0.10186) (0.40306,0.10208) (0.40361,0.10223) (0.40417,0.10231) (0.40472,0.10233) (0.40528,0.10227) (0.40583,0.10214) (0.40639,0.10194) (0.40694,0.10168) (0.40750,0.10134) (0.40806,0.10093) (0.40861,0.10046) (0.40917,0.09992) (0.40972,0.09932) (0.41028,0.09865) (0.41083,0.09791) (0.41139,0.09711) (0.41194,0.09625) (0.41250,0.09533) (0.41306,0.09434) (0.41361,0.09330) (0.41417,0.09221) (0.41472,0.09105) (0.41528,0.08985) (0.41583,0.08859) (0.41639,0.08728) (0.41694,0.08592) (0.41750,0.08451) (0.41806,0.08306) (0.41861,0.08157) (0.41917,0.08003) (0.41972,0.07846) (0.42028,0.07685) (0.42083,0.07521) (0.42139,0.07353) (0.42194,0.07182) (0.42250,0.07009) (0.42306,0.06833) (0.42361,0.06655) (0.42417,0.06474) (0.42472,0.06292) (0.42528,0.06108) (0.42583,0.05923) (0.42639,0.05737) (0.42694,0.05550) (0.42750,0.05362) (0.42806,0.05175) (0.42861,0.05013) (0.42917,0.05201) (0.42972,0.05389) (0.43028,0.05575) (0.43083,0.05761) (0.43139,0.05946) (0.43194,0.06129) (0.43250,0.06311) (0.43306,0.06491) (0.43361,0.06668) (0.43417,0.06843) (0.43472,0.07016) (0.43528,0.07186) (0.43583,0.07353) (0.43639,0.07516) (0.43694,0.07676) (0.43750,0.07832) (0.43806,0.07985) (0.43861,0.08133) (0.43917,0.08277) (0.43972,0.08416) (0.44028,0.08551) (0.44083,0.08681) (0.44139,0.08806) (0.44194,0.08926) (0.44250,0.09040) (0.44306,0.09149) (0.44361,0.09253) (0.44417,0.09350) (0.44472,0.09442) (0.44528,0.09528) (0.44583,0.09607) (0.44639,0.09681) (0.44694,0.09748) (0.44750,0.09808) (0.44806,0.09862) (0.44861,0.09910) (0.44917,0.09951) (0.44972,0.09985) (0.45028,0.10013) (0.45083,0.10034) (0.45139,0.10048) (0.45194,0.10055) (0.45250,0.10056) (0.45306,0.10050) (0.45361,0.10037) (0.45417,0.10017) (0.45472,0.09991) (0.45528,0.09958) (0.45583,0.09918) (0.45639,0.09872) (0.45694,0.09819) (0.45750,0.09760) (0.45806,0.09694) (0.45861,0.09623) (0.45917,0.09545) (0.45972,0.09461) (0.46028,0.09371) (0.46083,0.09275) (0.46139,0.09173) (0.46194,0.09066) (0.46250,0.08954) (0.46306,0.08836) (0.46361,0.08714) (0.46417,0.08586) (0.46472,0.08453) (0.46528,0.08316) (0.46583,0.08175) (0.46639,0.08029) (0.46694,0.07880) (0.46750,0.07726) (0.46806,0.07569) (0.46861,0.07409) (0.46917,0.07245) (0.46972,0.07079) (0.47028,0.06910) (0.47083,0.06738) (0.47139,0.06564) (0.47194,0.06388) (0.47250,0.06210) (0.47306,0.06030) (0.47361,0.05850) (0.47417,0.05668) (0.47472,0.05485) (0.47528,0.05302) (0.47583,0.05118) (0.47639,0.05066) (0.47694,0.05249) (0.47750,0.05433) (0.47806,0.05615) (0.47861,0.05797) (0.47917,0.05978) (0.47972,0.06157) (0.48028,0.06335) (0.48083,0.06510) (0.48139,0.06684) (0.48194,0.06856) (0.48250,0.07025) (0.48306,0.07191) (0.48361,0.07354) (0.48417,0.07514) (0.48472,0.07671) (0.48528,0.07824) (0.48583,0.07974) (0.48639,0.08119) (0.48694,0.08260) (0.48750,0.08397) (0.48806,0.08529) (0.48861,0.08656) (0.48917,0.08779) (0.48972,0.08896) (0.49028,0.09008) (0.49083,0.09115) (0.49139,0.09216) (0.49194,0.09312) (0.49250,0.09402) (0.49306,0.09485) (0.49361,0.09563) (0.49417,0.09635) (0.49472,0.09701) (0.49528,0.09760) (0.49583,0.09813) (0.49639,0.09859) (0.49694,0.09899) (0.49750,0.09932) (0.49806,0.09959) (0.49861,0.09979) (0.49917,0.09992) (0.49972,0.09999)};7\draw[tonegasket,line width=0.4pt] plot coordinates {(0.00028,0.99995) (0.00083,0.99954) (0.00139,0.99873) (0.00194,0.99752) (0.00250,0.99590) (0.00306,0.99388) (0.00361,0.99146) (0.00417,0.98864) (0.00472,0.98543) (0.00528,0.98182) (0.00583,0.97782) (0.00639,0.97342) (0.00694,0.96865) (0.00750,0.96349) (0.00806,0.95795) (0.00861,0.95204) (0.00917,0.94575) (0.00972,0.93910) (0.01028,0.93209) (0.01083,0.92473) (0.01139,0.91701) (0.01194,0.90895) (0.01250,0.90055) (0.01306,0.89181) (0.01361,0.88275) (0.01417,0.87337) (0.01472,0.86367) (0.01528,0.85367) (0.01583,0.84337) (0.01639,0.83278) (0.01694,0.82190) (0.01750,0.81074) (0.01806,0.79931) (0.01861,0.78763) (0.01917,0.77569) (0.01972,0.76351) (0.02028,0.75109) (0.02083,0.73844) (0.02139,0.72558) (0.02194,0.71250) (0.02250,0.69923) (0.02306,0.68576) (0.02361,0.67212) (0.02417,0.65830) (0.02472,0.64432) (0.02528,0.63019) (0.02583,0.61592) (0.02639,0.60151) (0.02694,0.58698) (0.02750,0.57233) (0.02806,0.55758) (0.02861,0.54274) (0.02917,0.52782) (0.02972,0.51282) (0.03028,0.49776) (0.03083,0.48265) (0.03139,0.46749) (0.03194,0.45230) (0.03250,0.43709) (0.03306,0.42187) (0.03361,0.40664) (0.03417,0.39142) (0.03472,0.37622) (0.03528,0.36104) (0.03583,0.34590) (0.03639,0.33081) (0.03694,0.31577) (0.03750,0.30080) (0.03806,0.28590) (0.03861,0.27109) (0.03917,0.25637) (0.03972,0.24176) (0.04028,0.22725) (0.04083,0.21287) (0.04139,0.19861) (0.04194,0.18449) (0.04250,0.17052) (0.04306,0.15670) (0.04361,0.14304) (0.04417,0.12955) (0.04472,0.11624) (0.04528,0.10312) (0.04583,0.09019) (0.04639,0.07745) (0.04694,0.06492) (0.04750,0.05261) (0.04806,0.04052) (0.04861,0.02865) (0.04917,0.01701) (0.04972,0.00561) (0.05028,0.00555) (0.05083,0.01646) (0.05139,0.02711) (0.05194,0.03751) (0.05250,0.04764) (0.05306,0.05750) (0.05361,0.06710) (0.05417,0.07642) (0.05472,0.08545) (0.05528,0.09421) (0.05583,0.10268) (0.05639,0.11086) (0.05694,0.11875) (0.05750,0.12635) (0.05806,0.13365) (0.05861,0.14065) (0.05917,0.14735) (0.05972,0.15375) (0.06028,0.15985) (0.06083,0.16565) (0.06139,0.17115) (0.06194,0.17634) (0.06250,0.18123) (0.06306,0.18581) (0.06361,0.19009) (0.06417,0.19407) (0.06472,0.19775) (0.06528,0.20113) (0.06583,0.20420) (0.06639,0.20699) (0.06694,0.20947) (0.06750,0.21167) (0.06806,0.21357) (0.06861,0.21519) (0.06917,0.21652) (0.06972,0.21757) (0.07028,0.21834) (0.07083,0.21883) (0.07139,0.21906) (0.07194,0.21901) (0.07250,0.21871) (0.07306,0.21814) (0.07361,0.21732) (0.07417,0.21625) (0.07472,0.21493) (0.07528,0.21337) (0.07583,0.21158) (0.07639,0.20956) (0.07694,0.20732) (0.07750,0.20485) (0.07806,0.20217) (0.07861,0.19929) (0.07917,0.19620) (0.07972,0.19292) (0.08028,0.18946) (0.08083,0.18581) (0.08139,0.18198) (0.08194,0.17799) (0.08250,0.17383) (0.08306,0.16952) (0.08361,0.16505) (0.08417,0.16045) (0.08472,0.15571) (0.08528,0.15085) (0.08583,0.14586) (0.08639,0.14076) (0.08694,0.13556) (0.08750,0.13025) (0.08806,0.12485) (0.08861,0.11937) (0.08917,0.11381) (0.08972,0.10818) (0.09028,0.10249) (0.09083,0.09674) (0.09139,0.09094) (0.09194,0.08510) (0.09250,0.07922) (0.09306,0.07332) (0.09361,0.06740) (0.09417,0.06146) (0.09472,0.05552) (0.09528,0.04958) (0.09583,0.04364) (0.09639,0.03772) (0.09694,0.03181) (0.09750,0.02594) (0.09806,0.02010) (0.09861,0.01429) (0.09917,0.00854) (0.09972,0.00283) (0.10028,0.00282) (0.10083,0.00840) (0.10139,0.01392) (0.10194,0.01936) (0.10250,0.02471) (0.10306,0.02999) (0.10361,0.03517) (0.10417,0.04026) (0.10472,0.04525) (0.10528,0.05013) (0.10583,0.05490) (0.10639,0.05955) (0.10694,0.06409) (0.10750,0.06851) (0.10806,0.07280) (0.10861,0.07696) (0.10917,0.08098) (0.10972,0.08487) (0.11028,0.08862) (0.11083,0.09222) (0.11139,0.09568) (0.11194,0.09899) (0.11250,0.10215) (0.11306,0.10515) (0.11361,0.10800) (0.11417,0.11070) (0.11472,0.11323) (0.11528,0.11560) (0.11583,0.11782) (0.11639,0.11987) (0.11694,0.12175) (0.11750,0.12347) (0.11806,0.12503) (0.11861,0.12642) (0.11917,0.12765) (0.11972,0.12871) (0.12028,0.12960) (0.12083,0.13033) (0.12139,0.13090) (0.12194,0.13130) (0.12250,0.13155) (0.12306,0.13163) (0.12361,0.13155) (0.12417,0.13131) (0.12472,0.13091) (0.12528,0.13036) (0.12583,0.12966) (0.12639,0.12880) (0.12694,0.12780) (0.12750,0.12665) (0.12806,0.12536) (0.12861,0.12392) (0.12917,0.12235) (0.12972,0.12064) (0.13028,0.11880) (0.13083,0.11683) (0.13139,0.11473) (0.13194,0.11252) (0.13250,0.11018) (0.13306,0.10773) (0.13361,0.10517) (0.13417,0.10250) (0.13472,0.09972) (0.13528,0.09685) (0.13583,0.09388) (0.13639,0.09082) (0.13694,0.08768) (0.13750,0.08445) (0.13806,0.08114) (0.13861,0.07776) (0.13917,0.07432) (0.13972,0.07080) (0.14028,0.06723) (0.14083,0.06360) (0.14139,0.05993) (0.14194,0.05620) (0.14250,0.05244) (0.14306,0.04864) (0.14361,0.04481) (0.14417,0.04095) (0.14472,0.03707) (0.14528,0.03317) (0.14583,0.02926) (0.14639,0.02534) (0.14694,0.02142) (0.14750,0.01750) (0.14806,0.01359) (0.14861,0.00968) (0.14917,0.00579) (0.14972,0.00193) (0.15028,0.00192) (0.15083,0.00573) (0.15139,0.00952) (0.15194,0.01326) (0.15250,0.01697) (0.15306,0.02063) (0.15361,0.02424) (0.15417,0.02779) (0.15472,0.03129) (0.15528,0.03473) (0.15583,0.03810) (0.15639,0.04141) (0.15694,0.04464) (0.15750,0.04780) (0.15806,0.05088) (0.15861,0.05388) (0.15917,0.05680) (0.15972,0.05962) (0.16028,0.06236) (0.16083,0.06501) (0.16139,0.06756) (0.16194,0.07001) (0.16250,0.07236) (0.16306,0.07461) (0.16361,0.07675) (0.16417,0.07879) (0.16472,0.08072) (0.16528,0.08254) (0.16583,0.08425) (0.16639,0.08585) (0.16694,0.08733) (0.16750,0.08870) (0.16806,0.08995) (0.16861,0.09109) (0.16917,0.09211) (0.16972,0.09301) (0.17028,0.09379) (0.17083,0.09446) (0.17139,0.09501) (0.17194,0.09544) (0.17250,0.09575) (0.17306,0.09594) (0.17361,0.09601) (0.17417,0.09597) (0.17472,0.09582) (0.17528,0.09554) (0.17583,0.09516) (0.17639,0.09466) (0.17694,0.09405) (0.17750,0.09332) (0.17806,0.09249) (0.17861,0.09155) (0.17917,0.09051) (0.17972,0.08936) (0.18028,0.08811) (0.18083,0.08676) (0.18139,0.08531) (0.18194,0.08377) (0.18250,0.08213) (0.18306,0.08040) (0.18361,0.07859) (0.18417,0.07668) (0.18472,0.07470) (0.18528,0.07264) (0.18583,0.07049) (0.18639,0.06828) (0.18694,0.06599) (0.18750,0.06364) (0.18806,0.06122) (0.18861,0.05874) (0.18917,0.05620) (0.18972,0.05360) (0.19028,0.05096) (0.19083,0.04826) (0.19139,0.04552) (0.19194,0.04274) (0.19250,0.03992) (0.19306,0.03707) (0.19361,0.03419) (0.19417,0.03128) (0.19472,0.02835) (0.19528,0.02539) (0.19583,0.02242) (0.19639,0.01944) (0.19694,0.01645) (0.19750,0.01345) (0.19806,0.01045) (0.19861,0.00746) (0.19917,0.00447) (0.19972,0.00149) (0.20028,0.00148) (0.20083,0.00444) (0.20139,0.00737) (0.20194,0.01028) (0.20250,0.01317) (0.20306,0.01602) (0.20361,0.01884) (0.20417,0.02163) (0.20472,0.02438) (0.20528,0.02708) (0.20583,0.02974) (0.20639,0.03235) (0.20694,0.03491) (0.20750,0.03742) (0.20806,0.03986) (0.20861,0.04225) (0.20917,0.04458) (0.20972,0.04684) (0.21028,0.04904) (0.21083,0.05117) (0.21139,0.05322) (0.21194,0.05520) (0.21250,0.05711) (0.21306,0.05894) (0.21361,0.06068) (0.21417,0.06235) (0.21472,0.06394) (0.21528,0.06544) (0.21583,0.06685) (0.21639,0.06818) (0.21694,0.06941) (0.21750,0.07056) (0.21806,0.07162) (0.21861,0.07259) (0.21917,0.07346) (0.21972,0.07425) (0.22028,0.07493) (0.22083,0.07553) (0.22139,0.07603) (0.22194,0.07644) (0.22250,0.07675) (0.22306,0.07697) (0.22361,0.07709) (0.22417,0.07712) (0.22472,0.07706) (0.22528,0.07690) (0.22583,0.07665) (0.22639,0.07631) (0.22694,0.07587) (0.22750,0.07535) (0.22806,0.07474) (0.22861,0.07404) (0.22917,0.07325) (0.22972,0.07238) (0.23028,0.07142) (0.23083,0.07038) (0.23139,0.06925) (0.23194,0.06805) (0.23250,0.06677) (0.23306,0.06542) (0.23361,0.06399) (0.23417,0.06249) (0.23472,0.06092) (0.23528,0.05928) (0.23583,0.05757) (0.23639,0.05580) (0.23694,0.05397) (0.23750,0.05209) (0.23806,0.05014) (0.23861,0.04814) (0.23917,0.04609) (0.23972,0.04400) (0.24028,0.04186) (0.24083,0.03967) (0.24139,0.03745) (0.24194,0.03518) (0.24250,0.03289) (0.24306,0.03056) (0.24361,0.02820) (0.24417,0.02582) (0.24472,0.02341) (0.24528,0.02099) (0.24583,0.01855) (0.24639,0.01609) (0.24694,0.01362) (0.24750,0.01115) (0.24806,0.00867) (0.24861,0.00619) (0.24917,0.00371) (0.24972,0.00124) (0.25028,0.00123) (0.25083,0.00369) (0.25139,0.00614) (0.25194,0.00857) (0.25250,0.01098) (0.25306,0.01336) (0.25361,0.01573) (0.25417,0.01807) (0.25472,0.02037) (0.25528,0.02265) (0.25583,0.02489) (0.25639,0.02709) (0.25694,0.02925) (0.25750,0.03137) (0.25806,0.03345) (0.25861,0.03547) (0.25917,0.03745) (0.25972,0.03937) (0.26028,0.04124) (0.26083,0.04306) (0.26139,0.04482) (0.26194,0.04651) (0.26250,0.04815) (0.26306,0.04972) (0.26361,0.05122) (0.26417,0.05266) (0.26472,0.05403) (0.26528,0.05533) (0.26583,0.05656) (0.26639,0.05772) (0.26694,0.05880) (0.26750,0.05981) (0.26806,0.06074) (0.26861,0.06160) (0.26917,0.06237) (0.26972,0.06307) (0.27028,0.06370) (0.27083,0.06424) (0.27139,0.06470) (0.27194,0.06508) (0.27250,0.06539) (0.27306,0.06561) (0.27361,0.06575) (0.27417,0.06581) (0.27472,0.06579) (0.27528,0.06570) (0.27583,0.06552) (0.27639,0.06526) (0.27694,0.06493) (0.27750,0.06451) (0.27806,0.06402) (0.27861,0.06346) (0.27917,0.06282) (0.27972,0.06210) (0.28028,0.06131) (0.28083,0.06045) (0.28139,0.05952) (0.28194,0.05852) (0.28250,0.05745) (0.28306,0.05631) (0.28361,0.05511) (0.28417,0.05384) (0.28472,0.05252) (0.28528,0.05113) (0.28583,0.04969) (0.28639,0.04818) (0.28694,0.04663) (0.28750,0.04502) (0.28806,0.04336) (0.28861,0.04166) (0.28917,0.03990) (0.28972,0.03811) (0.29028,0.03627) (0.29083,0.03439) (0.29139,0.03248) (0.29194,0.03053) (0.29250,0.02855) (0.29306,0.02655) (0.29361,0.02451) (0.29417,0.02245) (0.29472,0.02037) (0.29528,0.01827) (0.29583,0.01615) (0.29639,0.01402) (0.29694,0.01188) (0.29750,0.00972) (0.29806,0.00757) (0.29861,0.00540) (0.29917,0.00324) (0.29972,0.00108) (0.30028,0.00108) (0.30083,0.00323) (0.30139,0.00537) (0.30194,0.00750) (0.30250,0.00961) (0.30306,0.01171) (0.30361,0.01379) (0.30417,0.01585) (0.30472,0.01788) (0.30528,0.01988) (0.30583,0.02186) (0.30639,0.02381) (0.30694,0.02572) (0.30750,0.02759) (0.30806,0.02943) (0.30861,0.03123) (0.30917,0.03298) (0.30972,0.03470) (0.31028,0.03636) (0.31083,0.03798) (0.31139,0.03954) (0.31194,0.04106) (0.31250,0.04252) (0.31306,0.04393) (0.31361,0.04528) (0.31417,0.04657) (0.31472,0.04780) (0.31528,0.04898) (0.31583,0.05009) (0.31639,0.05113) (0.31694,0.05211) (0.31750,0.05303) (0.31806,0.05388) (0.31861,0.05466) (0.31917,0.05538) (0.31972,0.05602) (0.32028,0.05660) (0.32083,0.05711) (0.32139,0.05754) (0.32194,0.05791) (0.32250,0.05820) (0.32306,0.05842) (0.32361,0.05858) (0.32417,0.05866) (0.32472,0.05866) (0.32528,0.05860) (0.32583,0.05847) (0.32639,0.05826) (0.32694,0.05799) (0.32750,0.05764) (0.32806,0.05723) (0.32861,0.05675) (0.32917,0.05620) (0.32972,0.05558) (0.33028,0.05490) (0.33083,0.05415) (0.33139,0.05333) (0.33194,0.05246) (0.33250,0.05152) (0.33306,0.05052) (0.33361,0.04946) (0.33417,0.04835) (0.33472,0.04718) (0.33528,0.04595) (0.33583,0.04467) (0.33639,0.04334) (0.33694,0.04195) (0.33750,0.04052) (0.33806,0.03905) (0.33861,0.03752) (0.33917,0.03596) (0.33972,0.03435) (0.34028,0.03271) (0.34083,0.03103) (0.34139,0.02932) (0.34194,0.02757) (0.34250,0.02579) (0.34306,0.02399) (0.34361,0.02216) (0.34417,0.02030) (0.34472,0.01843) (0.34528,0.01653) (0.34583,0.01462) (0.34639,0.01270) (0.34694,0.01076) (0.34750,0.00881) (0.34806,0.00686) (0.34861,0.00490) (0.34917,0.00294) (0.34972,0.00098) (0.35028,0.00098) (0.35083,0.00293) (0.35139,0.00488) (0.35194,0.00682) (0.35250,0.00874) (0.35306,0.01066) (0.35361,0.01255) (0.35417,0.01443) (0.35472,0.01629) (0.35528,0.01812) (0.35583,0.01993) (0.35639,0.02171) (0.35694,0.02346) (0.35750,0.02518) (0.35806,0.02687) (0.35861,0.02852) (0.35917,0.03013) (0.35972,0.03171) (0.36028,0.03324) (0.36083,0.03473) (0.36139,0.03618) (0.36194,0.03758) (0.36250,0.03893) (0.36306,0.04023) (0.36361,0.04149) (0.36417,0.04269) (0.36472,0.04383) (0.36528,0.04492) (0.36583,0.04596) (0.36639,0.04693) (0.36694,0.04785) (0.36750,0.04871) (0.36806,0.04951) (0.36861,0.05025) (0.36917,0.05092) (0.36972,0.05153) (0.37028,0.05208) (0.37083,0.05257) (0.37139,0.05298) (0.37194,0.05334) (0.37250,0.05363) (0.37306,0.05385) (0.37361,0.05401) (0.37417,0.05410) (0.37472,0.05413) (0.37528,0.05409) (0.37583,0.05399) (0.37639,0.05382) (0.37694,0.05358) (0.37750,0.05328) (0.37806,0.05292) (0.37861,0.05249) (0.37917,0.05200) (0.37972,0.05144) (0.38028,0.05083) (0.38083,0.05015) (0.38139,0.04942) (0.38194,0.04862) (0.38250,0.04777) (0.38306,0.04686) (0.38361,0.04589) (0.38417,0.04487) (0.38472,0.04380) (0.38528,0.04267) (0.38583,0.04150) (0.38639,0.04027) (0.38694,0.03900) (0.38750,0.03768) (0.38806,0.03632) (0.38861,0.03492) (0.38917,0.03347) (0.38972,0.03199) (0.39028,0.03047) (0.39083,0.02892) (0.39139,0.02733) (0.39194,0.02571) (0.39250,0.02406) (0.39306,0.02238) (0.39361,0.02068) (0.39417,0.01896) (0.39472,0.01721) (0.39528,0.01545) (0.39583,0.01367) (0.39639,0.01187) (0.39694,0.01006) (0.39750,0.00825) (0.39806,0.00642) (0.39861,0.00459) (0.39917,0.00275) (0.39972,0.00092) (0.40028,0.00092) (0.40083,0.00275) (0.40139,0.00458) (0.40194,0.00639) (0.40250,0.00820) (0.40306,0.01000) (0.40361,0.01178) (0.40417,0.01355) (0.40472,0.01530) (0.40528,0.01703) (0.40583,0.01873) (0.40639,0.02041) (0.40694,0.02207) (0.40750,0.02369) (0.40806,0.02529) (0.40861,0.02685) (0.40917,0.02838) (0.40972,0.02987) (0.41028,0.03133) (0.41083,0.03274) (0.41139,0.03412) (0.41194,0.03545) (0.41250,0.03673) (0.41306,0.03798) (0.41361,0.03917) (0.41417,0.04031) (0.41472,0.04141) (0.41528,0.04245) (0.41583,0.04344) (0.41639,0.04438) (0.41694,0.04526) (0.41750,0.04609) (0.41806,0.04686) (0.41861,0.04757) (0.41917,0.04823) (0.41972,0.04882) (0.42028,0.04936) (0.42083,0.04983) (0.42139,0.05024) (0.42194,0.05059) (0.42250,0.05089) (0.42306,0.05111) (0.42361,0.05128) (0.42417,0.05138) (0.42472,0.05142) (0.42528,0.05140) (0.42583,0.05132) (0.42639,0.05117) (0.42694,0.05096) (0.42750,0.05069) (0.42806,0.05036) (0.42861,0.04997) (0.42917,0.04952) (0.42972,0.04900) (0.43028,0.04843) (0.43083,0.04780) (0.43139,0.04712) (0.43194,0.04637) (0.43250,0.04557) (0.43306,0.04472) (0.43361,0.04381) (0.43417,0.04285) (0.43472,0.04183) (0.43528,0.04077) (0.43583,0.03966) (0.43639,0.03850) (0.43694,0.03730) (0.43750,0.03605) (0.43806,0.03476) (0.43861,0.03342) (0.43917,0.03205) (0.43972,0.03064) (0.44028,0.02919) (0.44083,0.02771) (0.44139,0.02619) (0.44194,0.02465) (0.44250,0.02307) (0.44306,0.02147) (0.44361,0.01985) (0.44417,0.01820) (0.44472,0.01653) (0.44528,0.01484) (0.44583,0.01313) (0.44639,0.01141) (0.44694,0.00967) (0.44750,0.00793) (0.44806,0.00618) (0.44861,0.00442) (0.44917,0.00265) (0.44972,0.00088) (0.45028,0.00088) (0.45083,0.00265) (0.45139,0.00441) (0.45194,0.00616) (0.45250,0.00791) (0.45306,0.00965) (0.45361,0.01137) (0.45417,0.01308) (0.45472,0.01477) (0.45528,0.01644) (0.45583,0.01809) (0.45639,0.01972) (0.45694,0.02133) (0.45750,0.02290) (0.45806,0.02445) (0.45861,0.02597) (0.45917,0.02746) (0.45972,0.02891) (0.46028,0.03033) (0.46083,0.03171) (0.46139,0.03305) (0.46194,0.03435) (0.46250,0.03560) (0.46306,0.03682) (0.46361,0.03798) (0.46417,0.03910) (0.46472,0.04018) (0.46528,0.04120) (0.46583,0.04218) (0.46639,0.04310) (0.46694,0.04397) (0.46750,0.04478) (0.46806,0.04554) (0.46861,0.04625) (0.46917,0.04690) (0.46972,0.04749) (0.47028,0.04802) (0.47083,0.04850) (0.47139,0.04892) (0.47194,0.04927) (0.47250,0.04957) (0.47306,0.04981) (0.47361,0.04998) (0.47417,0.05010) (0.47472,0.05015) (0.47528,0.05014) (0.47583,0.05008) (0.47639,0.04995) (0.47694,0.04976) (0.47750,0.04951) (0.47806,0.04920) (0.47861,0.04883) (0.47917,0.04840) (0.47972,0.04791) (0.48028,0.04737) (0.48083,0.04676) (0.48139,0.04610) (0.48194,0.04539) (0.48250,0.04462) (0.48306,0.04379) (0.48361,0.04292) (0.48417,0.04199) (0.48472,0.04100) (0.48528,0.03997) (0.48583,0.03890) (0.48639,0.03777) (0.48694,0.03660) (0.48750,0.03538) (0.48806,0.03412) (0.48861,0.03282) (0.48917,0.03148) (0.48972,0.03011) (0.49028,0.02869) (0.49083,0.02724) (0.49139,0.02576) (0.49194,0.02425) (0.49250,0.02271) (0.49306,0.02114) (0.49361,0.01954) (0.49417,0.01792) (0.49472,0.01628) (0.49528,0.01462) (0.49583,0.01294) (0.49639,0.01125) (0.49694,0.00954) (0.49750,0.00782) (0.49806,0.00609) (0.49861,0.00436) (0.49917,0.00262) (0.49972,0.00087)};8\draw[tonecarpet,line width=0.4pt] plot coordinates {(0.00028,0.99994) (0.00083,0.99947) (0.00139,0.99853) (0.00194,0.99713) (0.00250,0.99526) (0.00306,0.99292) (0.00361,0.99012) (0.00417,0.98686) (0.00472,0.98313) (0.00528,0.97896) (0.00583,0.97433) (0.00639,0.96925) (0.00694,0.96373) (0.00750,0.95777) (0.00806,0.95137) (0.00861,0.94455) (0.00917,0.93729) (0.00972,0.92962) (0.01028,0.92154) (0.01083,0.91305) (0.01139,0.90416) (0.01194,0.89488) (0.01250,0.88521) (0.01306,0.87516) (0.01361,0.86475) (0.01417,0.85397) (0.01472,0.84284) (0.01528,0.83137) (0.01583,0.81956) (0.01639,0.80742) (0.01694,0.79497) (0.01750,0.78221) (0.01806,0.76916) (0.01861,0.75582) (0.01917,0.74220) (0.01972,0.72832) (0.02028,0.71418) (0.02083,0.69980) (0.02139,0.68519) (0.02194,0.67035) (0.02250,0.65530) (0.02306,0.64006) (0.02361,0.62463) (0.02417,0.60902) (0.02472,0.59325) (0.02528,0.57733) (0.02583,0.56127) (0.02639,0.54508) (0.02694,0.52878) (0.02750,0.51238) (0.02806,0.49588) (0.02861,0.47930) (0.02917,0.46266) (0.02972,0.44597) (0.03028,0.42923) (0.03083,0.41247) (0.03139,0.39568) (0.03194,0.37890) (0.03250,0.36212) (0.03306,0.34535) (0.03361,0.32862) (0.03417,0.31194) (0.03472,0.29530) (0.03528,0.27874) (0.03583,0.26225) (0.03639,0.24585) (0.03694,0.22955) (0.03750,0.21336) (0.03806,0.19730) (0.03861,0.18136) (0.03917,0.16558) (0.03972,0.14994) (0.04028,0.13448) (0.04083,0.11918) (0.04139,0.10407) (0.04194,0.08916) (0.04250,0.07445) (0.04306,0.05995) (0.04361,0.04568) (0.04417,0.03163) (0.04472,0.01782) (0.04528,0.00426) (0.04583,0.00904) (0.04639,0.02209) (0.04694,0.03486) (0.04750,0.04736) (0.04806,0.05957) (0.04861,0.07150) (0.04917,0.08313) (0.04972,0.09445) (0.05028,0.10547) (0.05083,0.11618) (0.05139,0.12657) (0.05194,0.13664) (0.05250,0.14638) (0.05306,0.15579) (0.05361,0.16487) (0.05417,0.17361) (0.05472,0.18201) (0.05528,0.19007) (0.05583,0.19778) (0.05639,0.20515) (0.05694,0.21217) (0.05750,0.21884) (0.05806,0.22516) (0.05861,0.23113) (0.05917,0.23675) (0.05972,0.24201) (0.06028,0.24693) (0.06083,0.25149) (0.06139,0.25571) (0.06194,0.25958) (0.06250,0.26310) (0.06306,0.26628) (0.06361,0.26911) (0.06417,0.27161) (0.06472,0.27376) (0.06528,0.27559) (0.06583,0.27709) (0.06639,0.27825) (0.06694,0.27910) (0.06750,0.27963) (0.06806,0.27984) (0.06861,0.27975) (0.06917,0.27935) (0.06972,0.27865) (0.07028,0.27766) (0.07083,0.27638) (0.07139,0.27482) (0.07194,0.27298) (0.07250,0.27088) (0.07306,0.26851) (0.07361,0.26589) (0.07417,0.26302) (0.07472,0.25991) (0.07528,0.25656) (0.07583,0.25299) (0.07639,0.24920) (0.07694,0.24519) (0.07750,0.24099) (0.07806,0.23658) (0.07861,0.23200) (0.07917,0.22723) (0.07972,0.22229) (0.08028,0.21718) (0.08083,0.21193) (0.08139,0.20653) (0.08194,0.20099) (0.08250,0.19532) (0.08306,0.18954) (0.08361,0.18364) (0.08417,0.17764) (0.08472,0.17155) (0.08528,0.16538) (0.08583,0.15913) (0.08639,0.15281) (0.08694,0.14643) (0.08750,0.14001) (0.08806,0.13354) (0.08861,0.12704) (0.08917,0.12052) (0.08972,0.11398) (0.09028,0.10743) (0.09083,0.10089) (0.09139,0.09436) (0.09194,0.08784) (0.09250,0.08135) (0.09306,0.07489) (0.09361,0.06848) (0.09417,0.06211) (0.09472,0.05580) (0.09528,0.04956) (0.09583,0.04338) (0.09639,0.03728) (0.09694,0.03127) (0.09750,0.02535) (0.09806,0.01952) (0.09861,0.01380) (0.09917,0.00819) (0.09972,0.00270) (0.10028,0.00267) (0.10083,0.00791) (0.10139,0.01303) (0.10194,0.01800) (0.10250,0.02283) (0.10306,0.02751) (0.10361,0.03204) (0.10417,0.03642) (0.10472,0.04063) (0.10528,0.04469) (0.10583,0.04857) (0.10639,0.05228) (0.10694,0.05583) (0.10750,0.05919) (0.10806,0.06237) (0.10861,0.06538) (0.10917,0.06820) (0.10972,0.07083) (0.11028,0.07328) (0.11083,0.07554) (0.11139,0.07762) (0.11194,0.07950) (0.11250,0.08119) (0.11306,0.08269) (0.11361,0.08400) (0.11417,0.08512) (0.11472,0.08605) (0.11528,0.08678) (0.11583,0.08733) (0.11639,0.08769) (0.11694,0.08787) (0.11750,0.08786) (0.11806,0.08766) (0.11861,0.08728) (0.11917,0.08672) (0.11972,0.08599) (0.12028,0.08508) (0.12083,0.08400) (0.12139,0.08274) (0.12194,0.08133) (0.12250,0.07975) (0.12306,0.07801) (0.12361,0.07611) (0.12417,0.07406) (0.12472,0.07186) (0.12528,0.06952) (0.12583,0.06704) (0.12639,0.06442) (0.12694,0.06168) (0.12750,0.05880) (0.12806,0.05581) (0.12861,0.05270) (0.12917,0.04947) (0.12972,0.04614) (0.13028,0.04271) (0.13083,0.03918) (0.13139,0.03556) (0.13194,0.03186) (0.13250,0.02807) (0.13306,0.02421) (0.13361,0.02028) (0.13417,0.01629) (0.13472,0.01224) (0.13528,0.00814) (0.13583,0.00400) (0.13639,0.00019) (0.13694,0.00441) (0.13750,0.00866) (0.13806,0.01294) (0.13861,0.01723) (0.13917,0.02153) (0.13972,0.02584) (0.14028,0.03015) (0.14083,0.03445) (0.14139,0.03875) (0.14194,0.04302) (0.14250,0.04728) (0.14306,0.05151) (0.14361,0.05570) (0.14417,0.05986) (0.14472,0.06397) (0.14528,0.06804) (0.14583,0.07205) (0.14639,0.07601) (0.14694,0.07990) (0.14750,0.08373) (0.14806,0.08749) (0.14861,0.09116) (0.14917,0.09476) (0.14972,0.09828) (0.15028,0.10170) (0.15083,0.10503) (0.15139,0.10827) (0.15194,0.11141) (0.15250,0.11444) (0.15306,0.11737) (0.15361,0.12019) (0.15417,0.12289) (0.15472,0.12548) (0.15528,0.12796) (0.15583,0.13031) (0.15639,0.13254) (0.15694,0.13464) (0.15750,0.13662) (0.15806,0.13847) (0.15861,0.14019) (0.15917,0.14178) (0.15972,0.14323) (0.16028,0.14455) (0.16083,0.14574) (0.16139,0.14679) (0.16194,0.14771) (0.16250,0.14849) (0.16306,0.14913) (0.16361,0.14964) (0.16417,0.15001) (0.16472,0.15024) (0.16528,0.15034) (0.16583,0.15030) (0.16639,0.15013) (0.16694,0.14983) (0.16750,0.14940) (0.16806,0.14883) (0.16861,0.14814) (0.16917,0.14732) (0.16972,0.14638) (0.17028,0.14531) (0.17083,0.14412) (0.17139,0.14281) (0.17194,0.14139) (0.17250,0.13985) (0.17306,0.13820) (0.17361,0.13644) (0.17417,0.13458) (0.17472,0.13261) (0.17528,0.13055) (0.17583,0.12839) (0.17639,0.12613) (0.17694,0.12379) (0.17750,0.12136) (0.17806,0.11885) (0.17861,0.11627) (0.17917,0.11360) (0.17972,0.11087) (0.18028,0.10807) (0.18083,0.10521) (0.18139,0.10229) (0.18194,0.09932) (0.18250,0.09630) (0.18306,0.09323) (0.18361,0.09012) (0.18417,0.08697) (0.18472,0.08379) (0.18528,0.08058) (0.18583,0.07735) (0.18639,0.07410) (0.18694,0.07083) (0.18750,0.06756) (0.18806,0.06427) (0.18861,0.06099) (0.18917,0.05771) (0.18972,0.05443) (0.19028,0.05116) (0.19083,0.04791) (0.19139,0.04468) (0.19194,0.04147) (0.19250,0.03829) (0.19306,0.03514) (0.19361,0.03203) (0.19417,0.02896) (0.19472,0.02593) (0.19528,0.02295) (0.19583,0.02001) (0.19639,0.01714) (0.19694,0.01432) (0.19750,0.01156) (0.19806,0.00887) (0.19861,0.00624) (0.19917,0.00369) (0.19972,0.00121) (0.20028,0.00119) (0.20083,0.00351) (0.20139,0.00575) (0.20194,0.00791) (0.20250,0.00997) (0.20306,0.01195) (0.20361,0.01384) (0.20417,0.01563) (0.20472,0.01732) (0.20528,0.01892) (0.20583,0.02041) (0.20639,0.02181) (0.20694,0.02310) (0.20750,0.02429) (0.20806,0.02538) (0.20861,0.02636) (0.20917,0.02723) (0.20972,0.02800) (0.21028,0.02865) (0.21083,0.02920) (0.21139,0.02965) (0.21194,0.02998) (0.21250,0.03020) (0.21306,0.03032) (0.21361,0.03033) (0.21417,0.03023) (0.21472,0.03002) (0.21528,0.02971) (0.21583,0.02929) (0.21639,0.02877) (0.21694,0.02815) (0.21750,0.02742) (0.21806,0.02659) (0.21861,0.02567) (0.21917,0.02465) (0.21972,0.02353) (0.22028,0.02231) (0.22083,0.02101) (0.22139,0.01962) (0.22194,0.01814) (0.22250,0.01657) (0.22306,0.01492) (0.22361,0.01320) (0.22417,0.01139) (0.22472,0.00951) (0.22528,0.00756) (0.22583,0.00554) (0.22639,0.00345) (0.22694,0.00130) (0.22750,0.00091) (0.22806,0.00318) (0.22861,0.00550) (0.22917,0.00787) (0.22972,0.01029) (0.23028,0.01275) (0.23083,0.01525) (0.23139,0.01779) (0.23194,0.02036) (0.23250,0.02296) (0.23306,0.02559) (0.23361,0.02824) (0.23417,0.03090) (0.23472,0.03359) (0.23528,0.03628) (0.23583,0.03899) (0.23639,0.04169) (0.23694,0.04440) (0.23750,0.04711) (0.23806,0.04981) (0.23861,0.05250) (0.23917,0.05517) (0.23972,0.05783) (0.24028,0.06047) (0.24083,0.06309) (0.24139,0.06567) (0.24194,0.06823) (0.24250,0.07076) (0.24306,0.07324) (0.24361,0.07569) (0.24417,0.07809) (0.24472,0.08045) (0.24528,0.08276) (0.24583,0.08501) (0.24639,0.08721) (0.24694,0.08936) (0.24750,0.09144) (0.24806,0.09346) (0.24861,0.09541) (0.24917,0.09730) (0.24972,0.09912) (0.25028,0.10086) (0.25083,0.10253) (0.25139,0.10413) (0.25194,0.10565) (0.25250,0.10708) (0.25306,0.10844) (0.25361,0.10971) (0.25417,0.11090) (0.25472,0.11201) (0.25528,0.11302) (0.25583,0.11395) (0.25639,0.11479) (0.25694,0.11554) (0.25750,0.11620) (0.25806,0.11677) (0.25861,0.11725) (0.25917,0.11764) (0.25972,0.11794) (0.26028,0.11814) (0.26083,0.11825) (0.26139,0.11827) (0.26194,0.11820) (0.26250,0.11804) (0.26306,0.11778) (0.26361,0.11744) (0.26417,0.11701) (0.26472,0.11649) (0.26528,0.11588) (0.26583,0.11519) (0.26639,0.11441) (0.26694,0.11355) (0.26750,0.11260) (0.26806,0.11158) (0.26861,0.11047) (0.26917,0.10929) (0.26972,0.10803) (0.27028,0.10670) (0.27083,0.10530) (0.27139,0.10382) (0.27194,0.10228) (0.27250,0.10068) (0.27306,0.09901) (0.27361,0.09728) (0.27417,0.09549) (0.27472,0.09365) (0.27528,0.09175) (0.27583,0.08980) (0.27639,0.08781) (0.27694,0.08577) (0.27750,0.08369) (0.27806,0.08157) (0.27861,0.07942) (0.27917,0.07723) (0.27972,0.07501) (0.28028,0.07276) (0.28083,0.07049) (0.28139,0.06820) (0.28194,0.06589) (0.28250,0.06357) (0.28306,0.06124) (0.28361,0.05889) (0.28417,0.05654) (0.28472,0.05419) (0.28528,0.05184) (0.28583,0.04950) (0.28639,0.04716) (0.28694,0.04483) (0.28750,0.04252) (0.28806,0.04022) (0.28861,0.03794) (0.28917,0.03568) (0.28972,0.03345) (0.29028,0.03125) (0.29083,0.02908) (0.29139,0.02694) (0.29194,0.02484) (0.29250,0.02277) (0.29306,0.02075) (0.29361,0.01878) (0.29417,0.01685) (0.29472,0.01497) (0.29528,0.01314) (0.29583,0.01137) (0.29639,0.00965) (0.29694,0.00799) (0.29750,0.00639) (0.29806,0.00486) (0.29861,0.00339) (0.29917,0.00198) (0.29972,0.00064) (0.30028,0.00063) (0.30083,0.00182) (0.30139,0.00295) (0.30194,0.00400) (0.30250,0.00497) (0.30306,0.00587) (0.30361,0.00670) (0.30417,0.00744) (0.30472,0.00811) (0.30528,0.00870) (0.30583,0.00920) (0.30639,0.00963) (0.30694,0.00997) (0.30750,0.01024) (0.30806,0.01042) (0.30861,0.01052) (0.30917,0.01054) (0.30972,0.01048) (0.31028,0.01034) (0.31083,0.01012) (0.31139,0.00982) (0.31194,0.00944) (0.31250,0.00898) (0.31306,0.00844) (0.31361,0.00783) (0.31417,0.00714) (0.31472,0.00637) (0.31528,0.00553) (0.31583,0.00462) (0.31639,0.00364) (0.31694,0.00259) (0.31750,0.00147) (0.31806,0.00028) (0.31861,0.00097) (0.31917,0.00229) (0.31972,0.00366) (0.32028,0.00510) (0.32083,0.00659) (0.32139,0.00813) (0.32194,0.00973) (0.32250,0.01138) (0.32306,0.01308) (0.32361,0.01482) (0.32417,0.01661) (0.32472,0.01843) (0.32528,0.02030) (0.32583,0.02220) (0.32639,0.02413) (0.32694,0.02610) (0.32750,0.02809) (0.32806,0.03011) (0.32861,0.03215) (0.32917,0.03421) (0.32972,0.03628) (0.33028,0.03838) (0.33083,0.04048) (0.33139,0.04259) (0.33194,0.04470) (0.33250,0.04682) (0.33306,0.04894) (0.33361,0.05106) (0.33417,0.05317) (0.33472,0.05527) (0.33528,0.05736) (0.33583,0.05944) (0.33639,0.06150) (0.33694,0.06354) (0.33750,0.06556) (0.33806,0.06755) (0.33861,0.06952) (0.33917,0.07145) (0.33972,0.07336) (0.34028,0.07522) (0.34083,0.07706) (0.34139,0.07885) (0.34194,0.08060) (0.34250,0.08230) (0.34306,0.08396) (0.34361,0.08557) (0.34417,0.08713) (0.34472,0.08864) (0.34528,0.09009) (0.34583,0.09149) (0.34639,0.09283) (0.34694,0.09410) (0.34750,0.09532) (0.34806,0.09648) (0.34861,0.09757) (0.34917,0.09859) (0.34972,0.09955) (0.35028,0.10044) (0.35083,0.10126) (0.35139,0.10201) (0.35194,0.10269) (0.35250,0.10329) (0.35306,0.10383) (0.35361,0.10429) (0.35417,0.10468) (0.35472,0.10499) (0.35528,0.10523) (0.35583,0.10540) (0.35639,0.10549) (0.35694,0.10551) (0.35750,0.10545) (0.35806,0.10532) (0.35861,0.10511) (0.35917,0.10484) (0.35972,0.10448) (0.36028,0.10406) (0.36083,0.10356) (0.36139,0.10300) (0.36194,0.10236) (0.36250,0.10165) (0.36306,0.10088) (0.36361,0.10004) (0.36417,0.09913) (0.36472,0.09816) (0.36528,0.09713) (0.36583,0.09603) (0.36639,0.09488) (0.36694,0.09367) (0.36750,0.09240) (0.36806,0.09107) (0.36861,0.08969) (0.36917,0.08826) (0.36972,0.08679) (0.37028,0.08526) (0.37083,0.08369) (0.37139,0.08208) (0.37194,0.08042) (0.37250,0.07873) (0.37306,0.07701) (0.37361,0.07524) (0.37417,0.07345) (0.37472,0.07163) (0.37528,0.06978) (0.37583,0.06791) (0.37639,0.06602) (0.37694,0.06411) (0.37750,0.06218) (0.37806,0.06024) (0.37861,0.05829) (0.37917,0.05633) (0.37972,0.05436) (0.38028,0.05239) (0.38083,0.05042) (0.38139,0.04845) (0.38194,0.04649) (0.38250,0.04454) (0.38306,0.04259) (0.38361,0.04066) (0.38417,0.03874) (0.38472,0.03684) (0.38528,0.03496) (0.38583,0.03310) (0.38639,0.03127) (0.38694,0.02946) (0.38750,0.02769) (0.38806,0.02594) (0.38861,0.02424) (0.38917,0.02256) (0.38972,0.02093) (0.39028,0.01934) (0.39083,0.01779) (0.39139,0.01629) (0.39194,0.01483) (0.39250,0.01342) (0.39306,0.01206) (0.39361,0.01076) (0.39417,0.00951) (0.39472,0.00831) (0.39528,0.00718) (0.39583,0.00610) (0.39639,0.00508) (0.39694,0.00412) (0.39750,0.00323) (0.39806,0.00239) (0.39861,0.00163) (0.39917,0.00093) (0.39972,0.00029) (0.40028,0.00028) (0.40083,0.00077) (0.40139,0.00120) (0.40194,0.00157) (0.40250,0.00186) (0.40306,0.00208) (0.40361,0.00223) (0.40417,0.00231) (0.40472,0.00233) (0.40528,0.00227) (0.40583,0.00214) (0.40639,0.00194) (0.40694,0.00168) (0.40750,0.00134) (0.40806,0.00093) (0.40861,0.00046) (0.40917,0.00008) (0.40972,0.00068) (0.41028,0.00135) (0.41083,0.00209) (0.41139,0.00289) (0.41194,0.00375) (0.41250,0.00467) (0.41306,0.00566) (0.41361,0.00670) (0.41417,0.00779) (0.41472,0.00895) (0.41528,0.01015) (0.41583,0.01141) (0.41639,0.01272) (0.41694,0.01408) (0.41750,0.01549) (0.41806,0.01694) (0.41861,0.01843) (0.41917,0.01997) (0.41972,0.02154) (0.42028,0.02315) (0.42083,0.02479) (0.42139,0.02647) (0.42194,0.02818) (0.42250,0.02991) (0.42306,0.03167) (0.42361,0.03345) (0.42417,0.03526) (0.42472,0.03708) (0.42528,0.03892) (0.42583,0.04077) (0.42639,0.04263) (0.42694,0.04450) (0.42750,0.04638) (0.42806,0.04825) (0.42861,0.05013) (0.42917,0.05201) (0.42972,0.05389) (0.43028,0.05575) (0.43083,0.05761) (0.43139,0.05946) (0.43194,0.06129) (0.43250,0.06311) (0.43306,0.06491) (0.43361,0.06668) (0.43417,0.06843) (0.43472,0.07016) (0.43528,0.07186) (0.43583,0.07353) (0.43639,0.07516) (0.43694,0.07676) (0.43750,0.07832) (0.43806,0.07985) (0.43861,0.08133) (0.43917,0.08277) (0.43972,0.08416) (0.44028,0.08551) (0.44083,0.08681) (0.44139,0.08806) (0.44194,0.08926) (0.44250,0.09040) (0.44306,0.09149) (0.44361,0.09253) (0.44417,0.09350) (0.44472,0.09442) (0.44528,0.09528) (0.44583,0.09607) (0.44639,0.09681) (0.44694,0.09748) (0.44750,0.09808) (0.44806,0.09862) (0.44861,0.09910) (0.44917,0.09951) (0.44972,0.09985) (0.45028,0.10013) (0.45083,0.10034) (0.45139,0.10048) (0.45194,0.10055) (0.45250,0.10056) (0.45306,0.10050) (0.45361,0.10037) (0.45417,0.10017) (0.45472,0.09991) (0.45528,0.09958) (0.45583,0.09918) (0.45639,0.09872) (0.45694,0.09819) (0.45750,0.09760) (0.45806,0.09694) (0.45861,0.09623) (0.45917,0.09545) (0.45972,0.09461) (0.46028,0.09371) (0.46083,0.09275) (0.46139,0.09173) (0.46194,0.09066) (0.46250,0.08954) (0.46306,0.08836) (0.46361,0.08714) (0.46417,0.08586) (0.46472,0.08453) (0.46528,0.08316) (0.46583,0.08175) (0.46639,0.08029) (0.46694,0.07880) (0.46750,0.07726) (0.46806,0.07569) (0.46861,0.07409) (0.46917,0.07245) (0.46972,0.07079) (0.47028,0.06910) (0.47083,0.06738) (0.47139,0.06564) (0.47194,0.06388) (0.47250,0.06210) (0.47306,0.06030) (0.47361,0.05850) (0.47417,0.05668) (0.47472,0.05485) (0.47528,0.05302) (0.47583,0.05118) (0.47639,0.04934) (0.47694,0.04751) (0.47750,0.04567) (0.47806,0.04385) (0.47861,0.04203) (0.47917,0.04022) (0.47972,0.03843) (0.48028,0.03665) (0.48083,0.03490) (0.48139,0.03316) (0.48194,0.03144) (0.48250,0.02975) (0.48306,0.02809) (0.48361,0.02646) (0.48417,0.02486) (0.48472,0.02329) (0.48528,0.02176) (0.48583,0.02026) (0.48639,0.01881) (0.48694,0.01740) (0.48750,0.01603) (0.48806,0.01471) (0.48861,0.01344) (0.48917,0.01221) (0.48972,0.01104) (0.49028,0.00992) (0.49083,0.00885) (0.49139,0.00784) (0.49194,0.00688) (0.49250,0.00598) (0.49306,0.00515) (0.49361,0.00437) (0.49417,0.00365) (0.49472,0.00299) (0.49528,0.00240) (0.49583,0.00187) (0.49639,0.00141) (0.49694,0.00101) (0.49750,0.00068) (0.49806,0.00041) (0.49861,0.00021) (0.49917,0.00008) (0.49972,0.00001)};9\node[anchor=north] at (0,0) {\footnotesize $0$};10\node[anchor=north] at (0.5,0) {\footnotesize $\tfrac12$};11\node[anchor=east] at (0,1) {\footnotesize $1$};12\end{tikzpicture}