|
@@ -581,4 +581,251 @@ namespace Lemma {
|
581
|
581
|
0.88448008694509986e+03, 0.11120656477437054e-07, 0.52194089326250459e-07,
|
582
|
582
|
0.99227471560502624e+03, -.19689609552964338e-08, -.90671074377795857e-08 ).finished();
|
583
|
583
|
|
|
584
|
+ template<>
|
|
585
|
+ const Eigen::Matrix<Real, Eigen::Dynamic, 3> FHT<FHTKONG241>::WT =
|
|
586
|
+ ( Eigen::Matrix<Real, 241, 3>() <<
|
|
587
|
+ // Base J0 J1
|
|
588
|
+ 0.40973497897978643e-03, 0.20521734894828349e+02, -.68036776043707992e+01,
|
|
589
|
+ 0.43725238042414673e-03, -.18902686822627982e+03, 0.12311367914708828e+03,
|
|
590
|
+ 0.46661782370309847e-03, 0.73615711333621391e+03, -.60393880274694629e+03,
|
|
591
|
+ 0.49795542150327349e-03, -.15743636401162100e+04, 0.14366739793969700e+04,
|
|
592
|
+ 0.53139762179825294e-03, 0.19044172285355407e+04, -.18485584122626103e+04,
|
|
593
|
+ 0.56708576763830356e-03, -.93177949828687565e+03, 0.10200389392810666e+04,
|
|
594
|
+ 0.60517069453505309e-03, -.84756674787751410e+03, 0.55616172944428206e+03,
|
|
595
|
+ 0.64581336796593124e-03, 0.18896580243120454e+04, -.13603216652028611e+04,
|
|
596
|
+ 0.68918556369279311e-03, -.14364973619770130e+04, 0.70167261135195611e+03,
|
|
597
|
+ 0.73547059377007120e-03, 0.39999475225222255e+03, 0.53402931472384910e+03,
|
|
598
|
+ 0.78486408131093165e-03, -.13542454844021287e+03, -.11429297666385887e+04,
|
|
599
|
+ 0.83757478728596971e-03, 0.92532241451272546e+03, 0.90089651035093164e+03,
|
|
600
|
+ 0.89382549284889267e-03, -.19710056537324476e+04, -.41234322841018411e+03,
|
|
601
|
+ 0.95385394091834482e-03, 0.24446279171484089e+04, 0.20384051761852257e+03,
|
|
602
|
+ 0.10179138409954376e-02, -.21906123203102729e+04, -.28956552394430940e+03,
|
|
603
|
+ 0.10862759414638579e-02, 0.15850478978775775e+04, 0.40377046372586426e+03,
|
|
604
|
+ 0.11592291739045914e-02, -.10505328230896389e+04, -.36323786432883537e+03,
|
|
605
|
+ 0.12370818742617167e-02, 0.76984613632493506e+03, 0.18298774315085831e+03,
|
|
606
|
+ 0.13201630860205026e-02, -.70040976495766233e+03, 0.19289907486739775e+02,
|
|
607
|
+ 0.14088239509056637e-02, 0.71606276337453505e+03, -.14580899521803201e+03,
|
|
608
|
+ 0.15034391929775724e-02, -.71676220487815579e+03, 0.16824962609150825e+03,
|
|
609
|
+ 0.16044087023989032e-02, 0.66234563164374151e+03, -.11236235241859872e+03,
|
|
610
|
+ 0.17121592255655228e-02, -.55792724680287802e+03, 0.22347944322515357e+02,
|
|
611
|
+ 0.18271461687448972e-02, 0.42758743543890813e+03, 0.64941329832499832e+02,
|
|
612
|
+ 0.19498555228451206e-02, -.29556591300691770e+03, -.12923900641568204e+03,
|
|
613
|
+ 0.20808059174495293e-02, 0.17825665706981184e+03, 0.16503157425386775e+03,
|
|
614
|
+ 0.22205508127982939e-02, -.83414675513698882e+02, -.17577683834104877e+03,
|
|
615
|
+ 0.23696808389813539e-02, 0.12417017098470755e+02, 0.16854431620724952e+03,
|
|
616
|
+ 0.25288262922292556e-02, 0.37033552727335611e+02, -.15058653072004714e+03,
|
|
617
|
+ 0.26986597988524685e-02, -.68808606022416711e+02, 0.12774003008692418e+03,
|
|
618
|
+ 0.28798991580882404e-02, 0.87059849275066583e+02, -.10402698302316379e+03,
|
|
619
|
+ 0.30733103758703055e-02, -.95546538383371242e+02, 0.81858707646356891e+02,
|
|
620
|
+ 0.32797109023435700e-02, 0.97381161313521631e+02, -.62444337865410809e+02,
|
|
621
|
+ 0.34999730868071656e-02, -.94989208296887298e+02, 0.46197726342228336e+02,
|
|
622
|
+ 0.37350278646880674e-02, 0.90188673544147917e+02, -.33061362052896769e+02,
|
|
623
|
+ 0.39858686921282905e-02, -.84292718636942382e+02, 0.22733224772330665e+02,
|
|
624
|
+ 0.42535557448151254e-02, 0.78226832173348868e+02, -.14810952273048434e+02,
|
|
625
|
+ 0.45392203988006852e-02, -.72614408878060885e+02, 0.88755599393231179e+01,
|
|
626
|
+ 0.48440700122489664e-02, 0.67859682477117360e+02, -.45352205696513836e+01,
|
|
627
|
+ 0.51693930283203291e-02, -.64196278592205076e+02, 0.14449219838043461e+01,
|
|
628
|
+ 0.55165644207607716e-02, 0.61741547025682522e+02, 0.68743711356557613e+00,
|
|
629
|
+ 0.58870515052116155e-02, -.60519141387284385e+02, -.21019399621163908e+01,
|
|
630
|
+ 0.62824201408011177e-02, 0.60491769334480402e+02, 0.29910240715100782e+01,
|
|
631
|
+ 0.67043413482289257e-02, -.61560425911383518e+02, -.35052807631070255e+01,
|
|
632
|
+ 0.71545983723145792e-02, 0.63581206383691445e+02, 0.37597471619400826e+01,
|
|
633
|
+ 0.76350942188599617e-02, -.66354594873531482e+02, -.38399078959004260e+01,
|
|
634
|
+ 0.81478596976799818e-02, 0.69646829420226268e+02, 0.38072695188293357e+01,
|
|
635
|
+ 0.86950620057954561e-02, -.73188103112902326e+02, -.37042465619688505e+01,
|
|
636
|
+ 0.92790138870647437e-02, 0.76708283429767803e+02, 0.35586759844836791e+01,
|
|
637
|
+ 0.99021834069673818e-02, -.79940731778724427e+02, -.33877703451391699e+01,
|
|
638
|
+ 0.10567204383852655e-01, 0.82660409124105158e+02, 0.32017608368233237e+01,
|
|
639
|
+ 0.11276887520740558e-01, -.84678217919647295e+02, -.30067309393330288e+01,
|
|
640
|
+ 0.12034232284723775e-01, 0.85870333056460041e+02, 0.28068645418014970e+01,
|
|
641
|
+ 0.12842439584178571e-01, -.86157409171557106e+02, -.26056123347708602e+01,
|
|
642
|
+ 0.13704925297364945e-01, 0.85526114160418373e+02, 0.24063835683466084e+01,
|
|
643
|
+ 0.14625334709594208e-01, -.83997300873449348e+02, -.22124155853618990e+01,
|
|
644
|
+ 0.15607557919982831e-01, 0.81646015415233720e+02, 0.20267333591783983e+01,
|
|
645
|
+ 0.16655746282908664e-01, -.78563495286564020e+02, -.18516694378892813e+01,
|
|
646
|
+ 0.17774329953659442e-01, 0.74879819626555161e+02, 0.16889204130272601e+01,
|
|
647
|
+ 0.18968036612429941e-01, -.70721125046688840e+02, -.15392291077389748e+01,
|
|
648
|
+ 0.20241911445804381e-01, 0.66236029868394425e+02, 0.14027911155907105e+01,
|
|
649
|
+ 0.21601338470175833e-01, -.61547931592552032e+02, -.12791049665324250e+01,
|
|
650
|
+ 0.23052063287225571e-01, 0.56787391190038285e+02, 0.11676349053464947e+01,
|
|
651
|
+ 0.24600217367638302e-01, -.52042250889790630e+02, -.10675953584302726e+01,
|
|
652
|
+ 0.26252343965687961e-01, 0.47401124144337359e+02, 0.97863461730665857e+00,
|
|
653
|
+ 0.28015425774221808e-01, -.42904131591225969e+02, -.90027354444851670e+00,
|
|
654
|
+ 0.29896914436926308e-01, 0.38598898252452933e+02, 0.83249709182475107e+00,
|
|
655
|
+ 0.31904762042607962e-01, -.34488213955995406e+02, -.77482174407455295e+00,
|
|
656
|
+ 0.34047454734599344e-01, 0.30594494176351635e+02, 0.72701622202684046e+00,
|
|
657
|
+ 0.36334048577339996e-01, -.26898802810010366e+02, -.68800213341352723e+00,
|
|
658
|
+ 0.38774207831722009e-01, 0.23412439481509015e+02, 0.65698937864345264e+00,
|
|
659
|
+ 0.41378245800970381e-01, -.20106495314306827e+02, -.63225165202126643e+00,
|
|
660
|
+ 0.44157168419692860e-01, 0.16993408313817032e+02, 0.61273246350052379e+00,
|
|
661
|
+ 0.47122720770327912e-01, -.14047029053019282e+02, -.59649977526660647e+00,
|
|
662
|
+ 0.50287436723591865e-01, 0.11294767677459204e+02, 0.58279442137494575e+00,
|
|
663
|
+ 0.53664691912730114e-01, -.87239710357940154e+01, -.56994253522747218e+00,
|
|
664
|
+ 0.57268760265467331e-01, 0.63824509509500222e+01, 0.55790401373575793e+00,
|
|
665
|
+ 0.61114874332588359e-01, -.42667780201601095e+01, -.54545052833277607e+00,
|
|
666
|
+ 0.65219289668127525e-01, 0.24325051404370148e+01, 0.53336442347695479e+00,
|
|
667
|
+ 0.69599353533269015e-01, -.86492951505166771e+00, -.52069797861987954e+00,
|
|
668
|
+ 0.74273578214333877e-01, -.39467042614078562e+00, 0.50887851227988856e+00,
|
|
669
|
+ 0.79261719264731550e-01, 0.13928518582065126e+01, -.49685712521558462e+00,
|
|
670
|
+ 0.84584859001564691e-01, -.21151897072040806e+01, 0.48646743314063406e+00,
|
|
671
|
+ 0.90265495609784266e-01, 0.26442660480353983e+01, -.47619096686921952e+00,
|
|
672
|
+ 0.96327638230493035e-01, -.29851029846728716e+01, 0.46816529269778301e+00,
|
|
673
|
+ 0.10279690843528640e+00, 0.32414793692894390e+01, -.46015156373071614e+00,
|
|
674
|
+ 0.10970064851551141e+00, -.34159478759422446e+01, 0.45466141540832178e+00,
|
|
675
|
+ 0.11706803704412637e+00, 0.36114813897567299e+01, -.44857363825706975e+00,
|
|
676
|
+ 0.12493021219858241e+00, -.38065481471148583e+01, 0.44499201335812283e+00,
|
|
677
|
+ 0.13332040336594936e+00, 0.40881401855578137e+01, -.43980181069680696e+00,
|
|
678
|
+ 0.14227407158651356e+00, -.43995650940379534e+01, 0.43704907382079500e+00,
|
|
679
|
+ 0.15182905942943059e+00, 0.48090112941999275e+01, -.43150722634129624e+00,
|
|
680
|
+ 0.16202575093388075e+00, -.52256078193681690e+01, 0.42859194645669874e+00,
|
|
681
|
+ 0.17290724229171636e+00, 0.57072204037420695e+01, -.42173773973311074e+00,
|
|
682
|
+ 0.18451952399298926e+00, -.61390449324831593e+01, 0.41817784119266610e+00,
|
|
683
|
+ 0.19691167520419406e+00, 0.65839615678399346e+01, -.40960162465920091e+00,
|
|
684
|
+ 0.21013607120076472e+00, -.69164266653291033e+01, 0.40553804034464430e+00,
|
|
685
|
+ 0.22424860473053532e+00, 0.72188877597238257e+01, -.39532815510851277e+00,
|
|
686
|
+ 0.23930892224375450e+00, -.73636288680068356e+01, 0.39136208758411489e+00,
|
|
687
|
+ 0.25538067598807768e+00, 0.74607479507817942e+01, -.37983009113722693e+00,
|
|
688
|
+ 0.27253179303401259e+00, -.73815887701068963e+01, 0.37671762005172676e+00,
|
|
689
|
+ 0.29083476236785155e+00, 0.72656732754121194e+01, -.36406330003120191e+00,
|
|
690
|
+ 0.31036694126548503e+00, -.69791586417386533e+01, 0.36244935256730459e+00,
|
|
691
|
+ 0.33121088224198103e+00, 0.66886849969172548e+01, -.34854450330689657e+00,
|
|
692
|
+ 0.35345468195878016e+00, -.62474308336775373e+01, 0.34888232036420985e+00,
|
|
693
|
+ 0.37719235356315689e+00, 0.58445619106015023e+01, -.33325449310423266e+00,
|
|
694
|
+ 0.40252422403363597e+00, -.53113072582819267e+01, 0.33591600342224537e+00,
|
|
695
|
+ 0.42955735821073915e+00, 0.48557012512460096e+01, -.31786716813473143e+00,
|
|
696
|
+ 0.45840601130522352e+00, -.42807487698944051e+01, 0.32333450491673743e+00,
|
|
697
|
+ 0.48919211179633149e+00, 0.38139742889863348e+01, -.30206709086775535e+00,
|
|
698
|
+ 0.52204577676101604e+00, -.32285888930306363e+01, 0.31108664637173294e+00,
|
|
699
|
+ 0.55710586181217392e+00, 0.27762320886023009e+01, -.28574426655786522e+00,
|
|
700
|
+ 0.59452054797019427e+00, -.22014921362632469e+01, 0.29938562076378405e+00,
|
|
701
|
+ 0.63444796794822822e+00, 0.17852627321359549e+01, -.26899179718067823e+00,
|
|
702
|
+ 0.67705687449816465e+00, -.12441166658179819e+01, 0.28862849386853856e+00,
|
|
703
|
+ 0.72252735364207221e+00, 0.89066883548526044e+00, -.25197407940080729e+00,
|
|
704
|
+ 0.77105158580356625e+00, -.41204139236605647e+00, 0.27924443578937680e+00,
|
|
705
|
+ 0.82283465805601841e+00, 0.15134230126345752e+00, -.23479292380166417e+00,
|
|
706
|
+ 0.87809543092056130e+00, 0.23623794557833316e+00, 0.27158086404171844e+00,
|
|
707
|
+ 0.93706746337740343e+00, -.38120367816755335e+00, -.21743177724854762e+00,
|
|
708
|
+ 0.10000000000000000e+01, 0.66106381680388782e+00, 0.26585734716833231e+00,
|
|
709
|
+ 0.10671590243841926e+01, -.68548466976773659e+00, -.19977886402875333e+00,
|
|
710
|
+ 0.11388283833246218e+01, 0.86073950596627435e+00, 0.26215186968647208e+00,
|
|
711
|
+ 0.12153109864897309e+01, -.78244282877711779e+00, -.18169913895160320e+00,
|
|
712
|
+ 0.12969300866657718e+01, 0.87517842089752496e+00, 0.26037686710257568e+00,
|
|
713
|
+ 0.13840306459807514e+01, -.73021880955390983e+00, -.16314391449016330e+00,
|
|
714
|
+ 0.14769807938826425e+01, 0.77262232832472633e+00, 0.26022362236599678e+00,
|
|
715
|
+ 0.15761733830339912e+01, -.60480748494904057e+00, -.14430969552882361e+00,
|
|
716
|
+ 0.16820276496988864e+01, 0.62658579242671697e+00, 0.26106112640293244e+00,
|
|
717
|
+ 0.17949909856399000e+01, -.47604045939428874e+00, -.12585051878275111e+00,
|
|
718
|
+ 0.19155408290138962e+01, 0.49376650403683020e+00, 0.26176557155826263e+00,
|
|
719
|
+ 0.20441866822585570e+01, -.38947933764667242e+00, -.10912157374630198e+00,
|
|
720
|
+ 0.21814722654982011e+01, 0.40212565692397595e+00, 0.26047541087804182e+00,
|
|
721
|
+ 0.23279778145702346e+01, -.36042458247357878e+00, -.96410349758274366e-01,
|
|
722
|
+ 0.24843225333848169e+01, 0.35204231781815948e+00, 0.25434822704405619e+00,
|
|
723
|
+ 0.26511672109826070e+01, -.37930843668720610e+00, -.91058907636613021e-01,
|
|
724
|
+ 0.28292170143515598e+01, 0.32733689195982146e+00, 0.23952590152331843e+00,
|
|
725
|
+ 0.30192244688065686e+01, -.42315508593901219e+00, -.97233907394681532e-01,
|
|
726
|
+ 0.32219926385284996e+01, 0.30989441332277490e+00, 0.21169127037476246e+00,
|
|
727
|
+ 0.34383785207051250e+01, -.46647831068082313e+00, -.11886530901829440e+00,
|
|
728
|
+ 0.36692966676192444e+01, 0.29127018318261688e+00, 0.16780342130647322e+00,
|
|
729
|
+ 0.39157230519927220e+01, -.48705387071535239e+00, -.15708700322500274e+00,
|
|
730
|
+ 0.41786991919232470e+01, 0.27698618486052751e+00, 0.10962587924131692e+00,
|
|
731
|
+ 0.44593365528478257e+01, -.46732646495222491e+00, -.20578176345887339e+00,
|
|
732
|
+ 0.47588212451378542e+01, 0.28247063840665948e+00, 0.48885661268589009e-01,
|
|
733
|
+ 0.50784190371800815e+01, -.39734195755492102e+00, -.24642892106977957e+00,
|
|
734
|
+ 0.54194807051312059e+01, 0.32057830222839734e+00, 0.11194065592765716e-01,
|
|
735
|
+ 0.57834477419567749e+01, -.28520009926766782e+00, -.24747581882772479e+00,
|
|
736
|
+ 0.61718584498835538e+01, 0.38137726386396886e+00, 0.30611266302904498e-01,
|
|
737
|
+ 0.65863544420150681e+01, -.17293887127458049e+00, -.17906330306689583e+00,
|
|
738
|
+ 0.70286875805892945e+01, 0.41451464616516831e+00, 0.12284053143305627e+00,
|
|
739
|
+ 0.75007273812029629e+01, -.13721835010891198e+00, -.52283741701101033e-01,
|
|
740
|
+ 0.80044689142963534e+01, 0.34710931937928907e+00, 0.23805370442772930e+00,
|
|
741
|
+ 0.85420412372940930e+01, -.23427502149669574e+00, 0.38699307341758679e-01,
|
|
742
|
+ 0.91157163930403051e+01, 0.17531537381430198e+00, 0.24690725918834208e+00,
|
|
743
|
+ 0.97279190125598838e+01, -.38202053727848895e+00, -.38424035688006668e-01,
|
|
744
|
+ 0.10381236562731843e+02, 0.69544164681199228e-01, 0.71201119703791560e-01,
|
|
745
|
+ 0.11078430282186428e+02, -.34148035441124835e+00, -.23889263981505893e+00,
|
|
746
|
+ 0.11822446851646363e+02, 0.22691549707658903e+00, -.77114690286621504e-01,
|
|
747
|
+ 0.12616430848036902e+02, -.77194405672412439e-01, -.21836754494419724e+00,
|
|
748
|
+ 0.13463738035001692e+02, 0.39072641204282460e+00, 0.12315414896678636e+00,
|
|
749
|
+ 0.14367949545996751e+02, -.83147250278941501e-01, 0.75338270471735747e-01,
|
|
750
|
+ 0.15332887019907195e+02, 0.92847198484461116e-01, 0.27696240054976468e+00,
|
|
751
|
+ 0.16362628753157214e+02, -.36217207710792204e+00, -.68197423407317256e-01,
|
|
752
|
+ 0.17461526936579997e+02, 0.10822725873639430e-01, -.92154357023181005e-01,
|
|
753
|
+ 0.18634226049899006e+02, 0.51804674714713058e-02, -.27364306064385413e+00,
|
|
754
|
+ 0.19885682491564729e+02, 0.31786543576503390e+00, 0.14776915895856893e+00,
|
|
755
|
+ 0.21221185526912038e+02, -.75374320952788773e-01, 0.15391397605873250e+00,
|
|
756
|
+ 0.22646379643175401e+02, -.19068492965240180e+00, 0.11202666775507018e+00,
|
|
757
|
+ 0.24167288405845099e+02, -.83243368421653877e-01, -.33501468763636766e+00,
|
|
758
|
+ 0.25790339917193062e+02, 0.28203125407893237e+00, 0.53448876160720617e-01,
|
|
759
|
+ 0.27522393984568446e+02, -.16118506235275606e-01, 0.18824613952112992e+00,
|
|
760
|
+ 0.29370771113289432e+02, -.26963245268577724e+00, -.46814043305072224e-02,
|
|
761
|
+ 0.31343283446669389e+02, 0.19777266987246947e+00, -.30449707752313021e+00,
|
|
762
|
+ 0.33448267783944921e+02, 0.83472930934463230e-01, 0.37651614016005935e+00,
|
|
763
|
+ 0.35694620815655881e+02, -.27664291725690993e+00, -.20743158205566595e+00,
|
|
764
|
+ 0.38091836725399020e+02, 0.28131050087465398e+00, -.11420479303107758e-01,
|
|
765
|
+ 0.40650047316878776e+02, -.17190500226396740e+00, 0.14728687125987736e+00,
|
|
766
|
+ 0.43380064835851620e+02, 0.47929281626787730e-01, -.18431611574819040e+00,
|
|
767
|
+ 0.46293427667950432e+02, 0.40609103740114338e-01, 0.16270659034524407e+00,
|
|
768
|
+ 0.49402449105530195e+02, -.88052363812875192e-01, -.12222143749935742e+00,
|
|
769
|
+ 0.52720269389647328e+02, 0.10655635530077956e+00, 0.84181157909789264e-01,
|
|
770
|
+ 0.56260911247127851e+02, -.10911039889769197e+00, -.55281360387327068e-01,
|
|
771
|
+ 0.60039339157450577e+02, 0.10429389492393636e+00, 0.35292561498256686e-01,
|
|
772
|
+ 0.64071522599936642e+02, -.96633502650203901e-01, -.21995586173467183e-01,
|
|
773
|
+ 0.68374503548558152e+02, 0.88193660973234708e-01, 0.13230592337602392e-01,
|
|
774
|
+ 0.72966468499632811e+02, -.79818272272792340e-01, -.74157047320195287e-02,
|
|
775
|
+ 0.77866825336828100e+02, 0.71826372817129266e-01, 0.35088522519723777e-02,
|
|
776
|
+ 0.83096285358343764e+02, -.64338746209327960e-01, -.85018538826118518e-03,
|
|
777
|
+ 0.88676950812960627e+02, 0.57410843811670373e-01, -.97550322159493529e-03,
|
|
778
|
+ 0.94632408314924064e+02, -.51077264811879450e-01, 0.22326305963338822e-02,
|
|
779
|
+ 0.10098782853248096e+03, 0.45360450730759908e-01, -.30933635050624424e-02,
|
|
780
|
+ 0.10777007257140046e+03, -.40267658416644959e-01, 0.36729552029512069e-02,
|
|
781
|
+ 0.11500780550310940e+03, 0.35786523769444523e-01, -.40509173928643906e-02,
|
|
782
|
+ 0.12273161751726525e+03, -.31883184387833892e-01, 0.42837535729585508e-02,
|
|
783
|
+ 0.13097415321081860e+03, 0.28503987928848736e-01, -.44126872566431202e-02,
|
|
784
|
+ 0.13977024956000301e+03, -.25580391582215669e-01, 0.44684173716055568e-02,
|
|
785
|
+ 0.14915708315838788e+03, 0.23035937972928848e-01, -.44741053242745125e-02,
|
|
786
|
+ 0.15917432734329714e+03, -.20793869607217731e-01, 0.44473069057176040e-02,
|
|
787
|
+ 0.16986431987468302e+03, 0.18783956187539304e-01, -.44012645981419867e-02,
|
|
788
|
+ 0.18127224187515122e+03, -.16947463041594817e-01, 0.43457940693551285e-02,
|
|
789
|
+ 0.19344630878742183e+03, 0.15239810059902827e-01, -.42878952176510369e-02,
|
|
790
|
+ 0.20643797415630826e+03, -.13631136080120022e-01, 0.42321726027587606e-02,
|
|
791
|
+ 0.22030214709649516e+03, 0.12105408954537602e-01, -.41811395672186466e-02,
|
|
792
|
+ 0.23509742436523857e+03, -.10658744979296539e-01, 0.41354762911556932e-02,
|
|
793
|
+ 0.25088633802084459e+03, 0.92973012802827770e-02, -.40942937154137878e-02,
|
|
794
|
+ 0.26773561971364717e+03, -.80347421903655229e-02, 0.40554223224550864e-02,
|
|
795
|
+ 0.28571648272651305e+03, 0.68891191289946248e-02, -.40157136359124266e-02,
|
|
796
|
+ 0.30490492295690876e+03, -.58791440085348362e-02, 0.39713297394453244e-02,
|
|
797
|
+ 0.32538204011263201e+03, 0.50201744968206546e-02, -.39180044788809047e-02,
|
|
798
|
+ 0.34723438047873475e+03, -.43205477515280673e-02, 0.38512768724064841e-02,
|
|
799
|
+ 0.37055430270433595e+03, 0.37790104974130003e-02, -.37667091650295829e-02,
|
|
800
|
+ 0.39544036815532411e+03, -.33838316346466528e-02, 0.36601079883520934e-02,
|
|
801
|
+ 0.42199775748276141e+03, 0.31138040173687830e-02, -.35277760443730628e-02,
|
|
802
|
+ 0.45033871516762099e+03, -.29408759849158255e-02, 0.33668346001750932e-02,
|
|
803
|
+ 0.48058302392070897e+03, 0.28337622799129800e-02, -.31756548702066185e-02,
|
|
804
|
+ 0.51285851094282907e+03, -.27617063348841968e-02, 0.29543911277564146e-02,
|
|
805
|
+ 0.54730158818487951e+03, 0.26976528553792770e-02, -.27055140265840505e-02,
|
|
806
|
+ 0.58405782889129489e+03, -.26203758209448719e-02, 0.24341413354852411e-02,
|
|
807
|
+ 0.62328258286358414e+03, 0.25154519816519300e-02, -.21479350621587340e-02,
|
|
808
|
+ 0.66514163304436181e+03, -.23752432671978732e-02, 0.18564376110443456e-02,
|
|
809
|
+ 0.70981189619693009e+03, 0.21981931889228849e-02, -.15699285271508928e-02,
|
|
810
|
+ 0.75748217064180938e+03, -.19877598903184075e-02, 0.12980859369581127e-02,
|
|
811
|
+ 0.80835393421053413e+03, 0.17512378319139862e-02, -.10488156933979571e-02,
|
|
812
|
+ 0.86264219578923701e+03, -.14986007967920582e-02, 0.82752974192331252e-03,
|
|
813
|
+ 0.92057640405108020e+03, 0.12413783399553321e-02, -.63697315746016306e-03,
|
|
814
|
+ 0.98240141721825944e+03, -.99151066433110242e-03, 0.47751718968428873e-03,
|
|
815
|
+ 0.10483785379522853e+04, 0.76014790547529541e-03, -.34772734444372060e-03,
|
|
816
|
+ 0.11187866177464875e+04, -.55645455379022023e-03, 0.24499928240303252e-03,
|
|
817
|
+ 0.11939232354884318e+04, 0.38658922048399793e-03, -.16610663484386119e-03,
|
|
818
|
+ 0.12741059551734540e+04, -.25308541294203246e-03, 0.10758513633705277e-03,
|
|
819
|
+ 0.13596736680849924e+04, 0.15481736123335846e-03, -.65954676827986505e-04,
|
|
820
|
+ 0.14509880251144575e+04, -.87598356988947244e-04, 0.37834534141493396e-04,
|
|
821
|
+ 0.15484349652742915e+04, 0.45276882194925013e-04, -.20025414475625305e-04,
|
|
822
|
+ 0.16524263468644833e+04, -.21044884609057091e-04, 0.96121169858568779e-05,
|
|
823
|
+ 0.17634016881866382e+04, 0.86194148443616213e-05, -.40939692455506115e-05,
|
|
824
|
+ 0.18818300251626902e+04, -.30265483432492266e-05, 0.15034842918522733e-05,
|
|
825
|
+ 0.20082118937094979e+04, 0.87586378588036060e-06, -.45718370169166360e-06,
|
|
826
|
+ 0.21430814452477584e+04, -.19631579670478718e-06, 0.10805490301555136e-06,
|
|
827
|
+ 0.22870087042864643e+04, 0.30405955678339503e-07, -.17684735514194769e-07,
|
|
828
|
+ 0.24406019776245007e+04, -.24535953018971818e-08, 0.15081394131412287e-08).finished();
|
|
829
|
+
|
|
830
|
+
|
584
|
831
|
} // ----- end of Lemma name -----
|