iq_table.h
上传用户:xjjlds
上传日期:2015-12-05
资源大小:22823k
文件大小:528k
源码类别:

多媒体编程

开发平台:

Visual C++

  1.     REAL_CONST(19026.256736080668/8.0),
  2.     REAL_CONST(19041.917817481048/8.0),
  3.     REAL_CONST(19057.582119669532/8.0),
  4.     REAL_CONST(19073.2496413222/8.0),
  5.     REAL_CONST(19088.920381116473/8.0),
  6.     REAL_CONST(19104.594337731145/8.0),
  7.     REAL_CONST(19120.271509846356/8.0),
  8.     REAL_CONST(19135.951896143604/8.0),
  9.     REAL_CONST(19151.635495305738/8.0),
  10.     REAL_CONST(19167.322306016948/8.0),
  11.     REAL_CONST(19183.012326962784/8.0),
  12.     REAL_CONST(19198.705556830122/8.0),
  13.     REAL_CONST(19214.401994307198/8.0),
  14.     REAL_CONST(19230.101638083579/8.0),
  15.     REAL_CONST(19245.804486850167/8.0),
  16.     REAL_CONST(19261.510539299208/8.0),
  17.     REAL_CONST(19277.219794124274/8.0),
  18.     REAL_CONST(19292.932250020265/8.0),
  19.     REAL_CONST(19308.647905683421/8.0),
  20.     REAL_CONST(19324.366759811302/8.0),
  21.     REAL_CONST(19340.088811102793/8.0),
  22.     REAL_CONST(19355.8140582581/8.0),
  23.     REAL_CONST(19371.542499978754/8.0),
  24.     REAL_CONST(19387.2741349676/8.0),
  25.     REAL_CONST(19403.008961928797/8.0),
  26.     REAL_CONST(19418.746979567823/8.0),
  27.     REAL_CONST(19434.488186591469/8.0),
  28.     REAL_CONST(19450.232581707827/8.0),
  29.     REAL_CONST(19465.980163626304/8.0),
  30.     REAL_CONST(19481.730931057613/8.0),
  31.     REAL_CONST(19497.484882713761/8.0),
  32.     REAL_CONST(19513.242017308068/8.0),
  33.     REAL_CONST(19529.002333555141/8.0),
  34.     REAL_CONST(19544.765830170898/8.0),
  35.     REAL_CONST(19560.532505872539/8.0),
  36.     REAL_CONST(19576.302359378566/8.0),
  37.     REAL_CONST(19592.075389408761/8.0),
  38.     REAL_CONST(19607.851594684209/8.0),
  39.     REAL_CONST(19623.630973927269/8.0),
  40.     REAL_CONST(19639.41352586159/8.0),
  41.     REAL_CONST(19655.199249212103/8.0),
  42.     REAL_CONST(19670.988142705017/8.0),
  43.     REAL_CONST(19686.780205067826/8.0),
  44.     REAL_CONST(19702.575435029288/8.0),
  45.     REAL_CONST(19718.373831319448/8.0),
  46.     REAL_CONST(19734.175392669615/8.0),
  47.     REAL_CONST(19749.980117812371/8.0),
  48.     REAL_CONST(19765.788005481569/8.0),
  49.     REAL_CONST(19781.599054412323/8.0),
  50.     REAL_CONST(19797.413263341008/8.0),
  51.     REAL_CONST(19813.230631005274/8.0),
  52.     REAL_CONST(19829.051156144014/8.0),
  53.     REAL_CONST(19844.874837497395/8.0),
  54.     REAL_CONST(19860.701673806827/8.0),
  55.     REAL_CONST(19876.531663814985/8.0),
  56.     REAL_CONST(19892.364806265789/8.0),
  57.     REAL_CONST(19908.201099904403/8.0),
  58.     REAL_CONST(19924.040543477258/8.0),
  59.     REAL_CONST(19939.883135732012/8.0),
  60.     REAL_CONST(19955.728875417579/8.0),
  61.     REAL_CONST(19971.577761284105/8.0),
  62.     REAL_CONST(19987.429792082985/8.0),
  63.     REAL_CONST(20003.284966566847/8.0),
  64.     REAL_CONST(20019.14328348956/8.0),
  65.     REAL_CONST(20035.004741606219/8.0),
  66.     REAL_CONST(20050.869339673161/8.0),
  67.     REAL_CONST(20066.737076447946/8.0),
  68.     REAL_CONST(20082.607950689362/8.0),
  69.     REAL_CONST(20098.481961157428/8.0),
  70.     REAL_CONST(20114.359106613385/8.0),
  71.     REAL_CONST(20130.239385819699/8.0),
  72.     REAL_CONST(20146.122797540058/8.0),
  73.     REAL_CONST(20162.009340539353/8.0),
  74.     REAL_CONST(20177.899013583716/8.0),
  75.     REAL_CONST(20193.791815440476/8.0),
  76.     REAL_CONST(20209.687744878182/8.0),
  77.     REAL_CONST(20225.586800666591/8.0),
  78.     REAL_CONST(20241.488981576669/8.0),
  79.     REAL_CONST(20257.394286380597/8.0),
  80.     REAL_CONST(20273.302713851754/8.0),
  81.     REAL_CONST(20289.214262764715/8.0),
  82.     REAL_CONST(20305.128931895277/8.0),
  83.     REAL_CONST(20321.046720020415/8.0),
  84.     REAL_CONST(20336.967625918318/8.0),
  85.     REAL_CONST(20352.891648368361/8.0),
  86.     REAL_CONST(20368.818786151114/8.0),
  87.     REAL_CONST(20384.749038048347/8.0),
  88.     REAL_CONST(20400.682402843009/8.0),
  89.     REAL_CONST(20416.618879319249/8.0),
  90.     REAL_CONST(20432.558466262391/8.0),
  91.     REAL_CONST(20448.501162458953/8.0),
  92.     REAL_CONST(20464.446966696629/8.0),
  93.     REAL_CONST(20480.395877764302/8.0),
  94.     REAL_CONST(20496.347894452025/8.0),
  95.     REAL_CONST(20512.303015551031/8.0),
  96.     REAL_CONST(20528.261239853735/8.0),
  97.     REAL_CONST(20544.22256615372/8.0),
  98.     REAL_CONST(20560.186993245738/8.0),
  99.     REAL_CONST(20576.15451992572/8.0),
  100.     REAL_CONST(20592.125144990758/8.0),
  101.     REAL_CONST(20608.098867239107/8.0),
  102.     REAL_CONST(20624.075685470198/8.0),
  103.     REAL_CONST(20640.055598484618/8.0),
  104.     REAL_CONST(20656.038605084115/8.0),
  105.     REAL_CONST(20672.024704071595/8.0),
  106.     REAL_CONST(20688.013894251126/8.0),
  107.     REAL_CONST(20704.006174427926/8.0),
  108.     REAL_CONST(20720.001543408373/8.0),
  109.     REAL_CONST(20735.999999999989/8.0),
  110.     REAL_CONST(20752.001543011454/8.0),
  111.     REAL_CONST(20768.006171252597/8.0),
  112.     REAL_CONST(20784.013883534382/8.0),
  113.     REAL_CONST(20800.024678668931/8.0),
  114.     REAL_CONST(20816.038555469506/8.0),
  115.     REAL_CONST(20832.055512750507/8.0),
  116.     REAL_CONST(20848.075549327474/8.0),
  117.     REAL_CONST(20864.098664017085/8.0),
  118.     REAL_CONST(20880.124855637161/8.0),
  119.     REAL_CONST(20896.154123006647/8.0),
  120.     REAL_CONST(20912.186464945626/8.0),
  121.     REAL_CONST(20928.221880275312/8.0),
  122.     REAL_CONST(20944.260367818049/8.0),
  123.     REAL_CONST(20960.301926397311/8.0),
  124.     REAL_CONST(20976.346554837684/8.0),
  125.     REAL_CONST(20992.394251964895/8.0),
  126.     REAL_CONST(21008.445016605787/8.0),
  127.     REAL_CONST(21024.498847588318/8.0),
  128.     REAL_CONST(21040.555743741574/8.0),
  129.     REAL_CONST(21056.615703895754/8.0),
  130.     REAL_CONST(21072.678726882168/8.0),
  131.     REAL_CONST(21088.744811533252/8.0),
  132.     REAL_CONST(21104.813956682538/8.0),
  133.     REAL_CONST(21120.886161164683/8.0),
  134.     REAL_CONST(21136.961423815443/8.0),
  135.     REAL_CONST(21153.039743471683/8.0),
  136.     REAL_CONST(21169.121118971379/8.0),
  137.     REAL_CONST(21185.205549153605/8.0),
  138.     REAL_CONST(21201.293032858535/8.0),
  139.     REAL_CONST(21217.383568927453/8.0),
  140.     REAL_CONST(21233.477156202731/8.0),
  141.     REAL_CONST(21249.573793527841/8.0),
  142.     REAL_CONST(21265.673479747358/8.0),
  143.     REAL_CONST(21281.776213706937/8.0),
  144.     REAL_CONST(21297.881994253334/8.0),
  145.     REAL_CONST(21313.990820234398/8.0),
  146.     REAL_CONST(21330.102690499054/8.0),
  147.     REAL_CONST(21346.21760389733/8.0),
  148.     REAL_CONST(21362.335559280327/8.0),
  149.     REAL_CONST(21378.456555500241/8.0),
  150.     REAL_CONST(21394.580591410333/8.0),
  151.     REAL_CONST(21410.707665864964/8.0),
  152.     REAL_CONST(21426.83777771956/8.0),
  153.     REAL_CONST(21442.970925830628/8.0),
  154.     REAL_CONST(21459.107109055756/8.0),
  155.     REAL_CONST(21475.246326253604/8.0),
  156.     REAL_CONST(21491.388576283895/8.0),
  157.     REAL_CONST(21507.533858007431/8.0),
  158.     REAL_CONST(21523.682170286087/8.0),
  159.     REAL_CONST(21539.833511982797/8.0),
  160.     REAL_CONST(21555.987881961566/8.0),
  161.     REAL_CONST(21572.145279087465/8.0),
  162.     REAL_CONST(21588.305702226615/8.0),
  163.     REAL_CONST(21604.469150246216/8.0),
  164.     REAL_CONST(21620.635622014521/8.0),
  165.     REAL_CONST(21636.805116400832/8.0),
  166.     REAL_CONST(21652.977632275521/8.0),
  167.     REAL_CONST(21669.153168510009/8.0),
  168.     REAL_CONST(21685.331723976764/8.0),
  169.     REAL_CONST(21701.513297549318/8.0),
  170.     REAL_CONST(21717.697888102244/8.0),
  171.     REAL_CONST(21733.885494511167/8.0),
  172.     REAL_CONST(21750.076115652759/8.0),
  173.     REAL_CONST(21766.269750404736/8.0),
  174.     REAL_CONST(21782.466397645861/8.0),
  175.     REAL_CONST(21798.666056255934/8.0),
  176.     REAL_CONST(21814.868725115801/8.0),
  177.     REAL_CONST(21831.074403107345/8.0),
  178.     REAL_CONST(21847.283089113484/8.0),
  179.     REAL_CONST(21863.494782018177/8.0),
  180.     REAL_CONST(21879.709480706417/8.0),
  181.     REAL_CONST(21895.927184064229/8.0),
  182.     REAL_CONST(21912.147890978667/8.0),
  183.     REAL_CONST(21928.371600337818/8.0),
  184.     REAL_CONST(21944.598311030797/8.0),
  185.     REAL_CONST(21960.828021947746/8.0),
  186.     REAL_CONST(21977.060731979829/8.0),
  187.     REAL_CONST(21993.296440019243/8.0),
  188.     REAL_CONST(22009.535144959198/8.0),
  189.     REAL_CONST(22025.77684569393/8.0),
  190.     REAL_CONST(22042.021541118691/8.0),
  191.     REAL_CONST(22058.269230129757/8.0),
  192.     REAL_CONST(22074.519911624411/8.0),
  193.     REAL_CONST(22090.773584500959/8.0),
  194.     REAL_CONST(22107.030247658717/8.0),
  195.     REAL_CONST(22123.289899998013/8.0),
  196.     REAL_CONST(22139.552540420187/8.0),
  197.     REAL_CONST(22155.818167827587/8.0),
  198.     REAL_CONST(22172.086781123569/8.0),
  199.     REAL_CONST(22188.358379212495/8.0),
  200.     REAL_CONST(22204.632960999726/8.0),
  201.     REAL_CONST(22220.910525391639/8.0),
  202.     REAL_CONST(22237.191071295601/8.0),
  203.     REAL_CONST(22253.474597619981/8.0),
  204.     REAL_CONST(22269.761103274148/8.0),
  205.     REAL_CONST(22286.050587168469/8.0),
  206.     REAL_CONST(22302.343048214312/8.0),
  207.     REAL_CONST(22318.638485324027/8.0),
  208.     REAL_CONST(22334.936897410968/8.0),
  209.     REAL_CONST(22351.23828338947/8.0),
  210.     REAL_CONST(22367.542642174871/8.0),
  211.     REAL_CONST(22383.849972683485/8.0),
  212.     REAL_CONST(22400.160273832618/8.0),
  213.     REAL_CONST(22416.473544540564/8.0),
  214.     REAL_CONST(22432.789783726603/8.0),
  215.     REAL_CONST(22449.108990310986/8.0),
  216.     REAL_CONST(22465.431163214958/8.0),
  217.     REAL_CONST(22481.75630136074/8.0),
  218.     REAL_CONST(22498.084403671528/8.0),
  219.     REAL_CONST(22514.415469071497/8.0),
  220.     REAL_CONST(22530.749496485802/8.0),
  221.     REAL_CONST(22547.086484840562/8.0),
  222.     REAL_CONST(22563.426433062879/8.0),
  223.     REAL_CONST(22579.769340080824/8.0),
  224.     REAL_CONST(22596.115204823436/8.0),
  225.     REAL_CONST(22612.464026220721/8.0),
  226.     REAL_CONST(22628.815803203655/8.0),
  227.     REAL_CONST(22645.170534704179/8.0),
  228.     REAL_CONST(22661.5282196552/8.0),
  229.     REAL_CONST(22677.888856990587/8.0),
  230.     REAL_CONST(22694.252445645168/8.0),
  231.     REAL_CONST(22710.618984554734/8.0),
  232.     REAL_CONST(22726.988472656034/8.0),
  233.     REAL_CONST(22743.360908886778/8.0),
  234.     REAL_CONST(22759.736292185622/8.0),
  235.     REAL_CONST(22776.114621492186/8.0),
  236.     REAL_CONST(22792.495895747044/8.0),
  237.     REAL_CONST(22808.880113891719/8.0),
  238.     REAL_CONST(22825.267274868678/8.0),
  239.     REAL_CONST(22841.657377621348/8.0),
  240.     REAL_CONST(22858.050421094096/8.0),
  241.     REAL_CONST(22874.446404232243/8.0),
  242.     REAL_CONST(22890.845325982053/8.0),
  243.     REAL_CONST(22907.247185290722/8.0),
  244.     REAL_CONST(22923.651981106406/8.0),
  245.     REAL_CONST(22940.059712378195/8.0),
  246.     REAL_CONST(22956.470378056114/8.0),
  247.     REAL_CONST(22972.883977091129/8.0),
  248.     REAL_CONST(22989.300508435153/8.0),
  249.     REAL_CONST(23005.719971041017/8.0),
  250.     REAL_CONST(23022.142363862498/8.0),
  251.     REAL_CONST(23038.567685854305/8.0),
  252.     REAL_CONST(23054.995935972078/8.0),
  253.     REAL_CONST(23071.427113172387/8.0),
  254.     REAL_CONST(23087.86121641273/8.0),
  255.     REAL_CONST(23104.298244651531/8.0),
  256.     REAL_CONST(23120.738196848146/8.0),
  257.     REAL_CONST(23137.181071962848/8.0),
  258.     REAL_CONST(23153.626868956846/8.0),
  259.     REAL_CONST(23170.075586792263/8.0),
  260.     REAL_CONST(23186.527224432142/8.0),
  261.     REAL_CONST(23202.981780840448/8.0),
  262.     REAL_CONST(23219.439254982066/8.0),
  263.     REAL_CONST(23235.899645822796/8.0),
  264.     REAL_CONST(23252.362952329357/8.0),
  265.     REAL_CONST(23268.829173469378/8.0),
  266.     REAL_CONST(23285.298308211408/8.0),
  267.     REAL_CONST(23301.770355524899/8.0),
  268.     REAL_CONST(23318.245314380223/8.0),
  269.     REAL_CONST(23334.723183748658/8.0),
  270.     REAL_CONST(23351.203962602387/8.0),
  271.     REAL_CONST(23367.687649914504/8.0),
  272.     REAL_CONST(23384.174244659007/8.0),
  273.     REAL_CONST(23400.663745810798/8.0),
  274.     REAL_CONST(23417.15615234568/8.0),
  275.     REAL_CONST(23433.651463240367/8.0),
  276.     REAL_CONST(23450.149677472462/8.0),
  277.     REAL_CONST(23466.650794020472/8.0),
  278.     REAL_CONST(23483.154811863806/8.0),
  279.     REAL_CONST(23499.661729982763/8.0),
  280.     REAL_CONST(23516.171547358543/8.0),
  281.     REAL_CONST(23532.684262973235/8.0),
  282.     REAL_CONST(23549.199875809823/8.0),
  283.     REAL_CONST(23565.718384852185/8.0),
  284.     REAL_CONST(23582.239789085092/8.0),
  285.     REAL_CONST(23598.764087494197/8.0),
  286.     REAL_CONST(23615.291279066041/8.0),
  287.     REAL_CONST(23631.821362788058/8.0),
  288.     REAL_CONST(23648.354337648565/8.0),
  289.     REAL_CONST(23664.890202636761/8.0),
  290.     REAL_CONST(23681.428956742733/8.0),
  291.     REAL_CONST(23697.970598957443/8.0),
  292.     REAL_CONST(23714.515128272738/8.0),
  293.     REAL_CONST(23731.062543681343/8.0),
  294.     REAL_CONST(23747.612844176863/8.0),
  295.     REAL_CONST(23764.166028753778/8.0),
  296.     REAL_CONST(23780.72209640744/8.0),
  297.     REAL_CONST(23797.281046134085/8.0),
  298.     REAL_CONST(23813.842876930816/8.0),
  299.     REAL_CONST(23830.407587795606/8.0),
  300.     REAL_CONST(23846.975177727301/8.0),
  301.     REAL_CONST(23863.545645725622/8.0),
  302.     REAL_CONST(23880.11899079115/8.0),
  303.     REAL_CONST(23896.695211925336/8.0),
  304.     REAL_CONST(23913.274308130498/8.0),
  305.     REAL_CONST(23929.856278409821/8.0),
  306.     REAL_CONST(23946.441121767348/8.0),
  307.     REAL_CONST(23963.028837207989/8.0),
  308.     REAL_CONST(23979.619423737513/8.0),
  309.     REAL_CONST(23996.212880362549/8.0),
  310.     REAL_CONST(24012.809206090584/8.0),
  311.     REAL_CONST(24029.408399929966/8.0),
  312.     REAL_CONST(24046.010460889898/8.0),
  313.     REAL_CONST(24062.615387980433/8.0),
  314.     REAL_CONST(24079.223180212492/8.0),
  315.     REAL_CONST(24095.833836597827/8.0),
  316.     REAL_CONST(24112.447356149063/8.0),
  317.     REAL_CONST(24129.063737879667/8.0),
  318.     REAL_CONST(24145.682980803951/8.0),
  319.     REAL_CONST(24162.305083937081/8.0),
  320.     REAL_CONST(24178.930046295067/8.0),
  321.     REAL_CONST(24195.557866894767/8.0),
  322.     REAL_CONST(24212.188544753884/8.0),
  323.     REAL_CONST(24228.822078890964/8.0),
  324.     REAL_CONST(24245.458468325389/8.0),
  325.     REAL_CONST(24262.097712077397/8.0),
  326.     REAL_CONST(24278.739809168052/8.0),
  327.     REAL_CONST(24295.384758619261/8.0),
  328.     REAL_CONST(24312.032559453768/8.0),
  329.     REAL_CONST(24328.683210695162/8.0),
  330.     REAL_CONST(24345.336711367858/8.0),
  331.     REAL_CONST(24361.993060497109/8.0),
  332.     REAL_CONST(24378.652257108995/8.0),
  333.     REAL_CONST(24395.314300230442/8.0),
  334.     REAL_CONST(24411.979188889192/8.0),
  335.     REAL_CONST(24428.646922113825/8.0),
  336.     REAL_CONST(24445.317498933746/8.0),
  337.     REAL_CONST(24461.990918379193/8.0),
  338.     REAL_CONST(24478.667179481225/8.0),
  339.     REAL_CONST(24495.346281271726/8.0),
  340.     REAL_CONST(24512.028222783407/8.0),
  341.     REAL_CONST(24528.713003049801/8.0),
  342.     REAL_CONST(24545.400621105266/8.0),
  343.     REAL_CONST(24562.091075984976/8.0),
  344.     REAL_CONST(24578.784366724925/8.0),
  345.     REAL_CONST(24595.480492361927/8.0),
  346.     REAL_CONST(24612.179451933614/8.0),
  347.     REAL_CONST(24628.881244478438/8.0),
  348.     REAL_CONST(24645.585869035654/8.0),
  349.     REAL_CONST(24662.293324645343/8.0),
  350.     REAL_CONST(24679.003610348394/8.0),
  351.     REAL_CONST(24695.716725186514/8.0),
  352.     REAL_CONST(24712.432668202211/8.0),
  353.     REAL_CONST(24729.151438438807/8.0),
  354.     REAL_CONST(24745.873034940436/8.0),
  355.     REAL_CONST(24762.597456752032/8.0),
  356.     REAL_CONST(24779.324702919344/8.0),
  357.     REAL_CONST(24796.054772488926/8.0),
  358.     REAL_CONST(24812.787664508123/8.0),
  359.     REAL_CONST(24829.5233780251/8.0),
  360.     REAL_CONST(24846.261912088819/8.0),
  361.     REAL_CONST(24863.003265749034/8.0),
  362.     REAL_CONST(24879.747438056307/8.0),
  363.     REAL_CONST(24896.494428062004/8.0),
  364.     REAL_CONST(24913.244234818278/8.0),
  365.     REAL_CONST(24929.996857378079/8.0),
  366.     REAL_CONST(24946.752294795166/8.0),
  367.     REAL_CONST(24963.510546124078/8.0),
  368.     REAL_CONST(24980.271610420157/8.0),
  369.     REAL_CONST(24997.035486739525/8.0),
  370.     REAL_CONST(25013.802174139113/8.0),
  371.     REAL_CONST(25030.571671676629/8.0),
  372.     REAL_CONST(25047.343978410572/8.0),
  373.     REAL_CONST(25064.119093400237/8.0),
  374.     REAL_CONST(25080.897015705697/8.0),
  375.     REAL_CONST(25097.677744387816/8.0),
  376.     REAL_CONST(25114.461278508239/8.0),
  377.     REAL_CONST(25131.2476171294/8.0),
  378.     REAL_CONST(25148.036759314517/8.0),
  379.     REAL_CONST(25164.828704127583/8.0),
  380.     REAL_CONST(25181.623450633375/8.0),
  381.     REAL_CONST(25198.42099789745/8.0),
  382.     REAL_CONST(25215.221344986145/8.0),
  383.     REAL_CONST(25232.024490966574/8.0),
  384.     REAL_CONST(25248.830434906627/8.0),
  385.     REAL_CONST(25265.639175874974/8.0),
  386.     REAL_CONST(25282.450712941049/8.0),
  387.     REAL_CONST(25299.265045175071/8.0),
  388.     REAL_CONST(25316.082171648024/8.0),
  389.     REAL_CONST(25332.902091431668/8.0),
  390.     REAL_CONST(25349.724803598532/8.0),
  391.     REAL_CONST(25366.550307221914/8.0),
  392.     REAL_CONST(25383.378601375884/8.0),
  393.     REAL_CONST(25400.209685135269/8.0),
  394.     REAL_CONST(25417.043557575678/8.0),
  395.     REAL_CONST(25433.880217773472/8.0),
  396.     REAL_CONST(25450.719664805783/8.0),
  397.     REAL_CONST(25467.561897750507/8.0),
  398.     REAL_CONST(25484.406915686297/8.0),
  399.     REAL_CONST(25501.254717692573/8.0),
  400.     REAL_CONST(25518.105302849512/8.0),
  401.     REAL_CONST(25534.958670238051/8.0),
  402.     REAL_CONST(25551.814818939893/8.0),
  403.     REAL_CONST(25568.67374803748/8.0),
  404.     REAL_CONST(25585.535456614027/8.0),
  405.     REAL_CONST(25602.399943753502/8.0),
  406.     REAL_CONST(25619.267208540619/8.0),
  407.     REAL_CONST(25636.137250060852/8.0),
  408.     REAL_CONST(25653.010067400432/8.0),
  409.     REAL_CONST(25669.885659646327/8.0),
  410.     REAL_CONST(25686.76402588627/8.0),
  411.     REAL_CONST(25703.645165208734/8.0),
  412.     REAL_CONST(25720.529076702944/8.0),
  413.     REAL_CONST(25737.415759458876/8.0),
  414.     REAL_CONST(25754.305212567244/8.0),
  415.     REAL_CONST(25771.197435119517/8.0),
  416.     REAL_CONST(25788.092426207899/8.0),
  417.     REAL_CONST(25804.990184925344/8.0),
  418.     REAL_CONST(25821.890710365547/8.0),
  419.     REAL_CONST(25838.794001622944/8.0),
  420.     REAL_CONST(25855.700057792714/8.0),
  421.     REAL_CONST(25872.608877970775/8.0),
  422.     REAL_CONST(25889.520461253778/8.0),
  423.     REAL_CONST(25906.434806739118/8.0),
  424.     REAL_CONST(25923.351913524923/8.0),
  425.     REAL_CONST(25940.271780710063/8.0),
  426.     REAL_CONST(25957.194407394138/8.0),
  427.     REAL_CONST(25974.11979267748/8.0),
  428.     REAL_CONST(25991.047935661154/8.0),
  429.     REAL_CONST(26007.978835446964/8.0),
  430.     REAL_CONST(26024.912491137442/8.0),
  431.     REAL_CONST(26041.848901835841/8.0),
  432.     REAL_CONST(26058.788066646157/8.0),
  433.     REAL_CONST(26075.729984673108/8.0),
  434.     REAL_CONST(26092.674655022136/8.0),
  435.     REAL_CONST(26109.622076799409/8.0),
  436.     REAL_CONST(26126.572249111829/8.0),
  437.     REAL_CONST(26143.525171067016/8.0),
  438.     REAL_CONST(26160.480841773315/8.0),
  439.     REAL_CONST(26177.43926033979/8.0),
  440.     REAL_CONST(26194.400425876229/8.0),
  441.     REAL_CONST(26211.364337493149/8.0),
  442.     REAL_CONST(26228.330994301767/8.0),
  443.     REAL_CONST(26245.30039541404/8.0),
  444.     REAL_CONST(26262.272539942627/8.0),
  445.     REAL_CONST(26279.247427000919/8.0),
  446.     REAL_CONST(26296.225055703002/8.0),
  447.     REAL_CONST(26313.205425163702/8.0),
  448.     REAL_CONST(26330.188534498539/8.0),
  449.     REAL_CONST(26347.174382823756/8.0),
  450.     REAL_CONST(26364.162969256304/8.0),
  451.     REAL_CONST(26381.154292913852/8.0),
  452.     REAL_CONST(26398.148352914774/8.0),
  453.     REAL_CONST(26415.145148378149/8.0),
  454.     REAL_CONST(26432.144678423778/8.0),
  455.     REAL_CONST(26449.146942172156/8.0),
  456.     REAL_CONST(26466.151938744493/8.0),
  457.     REAL_CONST(26483.159667262702/8.0),
  458.     REAL_CONST(26500.170126849403/8.0),
  459.     REAL_CONST(26517.183316627921/8.0),
  460.     REAL_CONST(26534.199235722277/8.0),
  461.     REAL_CONST(26551.217883257199/8.0),
  462.     REAL_CONST(26568.239258358124/8.0),
  463.     REAL_CONST(26585.263360151173/8.0),
  464.     REAL_CONST(26602.290187763181/8.0),
  465.     REAL_CONST(26619.319740321676/8.0),
  466.     REAL_CONST(26636.352016954883/8.0),
  467.     REAL_CONST(26653.387016791727/8.0),
  468.     REAL_CONST(26670.424738961825/8.0),
  469.     REAL_CONST(26687.465182595493/8.0),
  470.     REAL_CONST(26704.508346823739/8.0),
  471.     REAL_CONST(26721.554230778267/8.0),
  472.     REAL_CONST(26738.602833591467/8.0),
  473.     REAL_CONST(26755.65415439643/8.0),
  474.     REAL_CONST(26772.708192326929/8.0),
  475.     REAL_CONST(26789.764946517433/8.0),
  476.     REAL_CONST(26806.824416103096/8.0),
  477.     REAL_CONST(26823.886600219761/8.0),
  478.     REAL_CONST(26840.95149800396/8.0),
  479.     REAL_CONST(26858.019108592915/8.0),
  480.     REAL_CONST(26875.089431124517/8.0),
  481.     REAL_CONST(26892.162464737365/8.0),
  482.     REAL_CONST(26909.238208570721/8.0),
  483.     REAL_CONST(26926.316661764544/8.0),
  484.     REAL_CONST(26943.397823459472/8.0),
  485.     REAL_CONST(26960.481692796813/8.0),
  486.     REAL_CONST(26977.568268918571/8.0),
  487.     REAL_CONST(26994.657550967422/8.0),
  488.     REAL_CONST(27011.749538086722/8.0),
  489.     REAL_CONST(27028.844229420498/8.0),
  490.     REAL_CONST(27045.941624113464/8.0),
  491.     REAL_CONST(27063.041721311005/8.0),
  492.     REAL_CONST(27080.144520159181/8.0),
  493.     REAL_CONST(27097.250019804727/8.0),
  494.     REAL_CONST(27114.35821939505/8.0),
  495.     REAL_CONST(27131.469118078236/8.0),
  496.     REAL_CONST(27148.582715003027/8.0),
  497.     REAL_CONST(27165.699009318858/8.0),
  498.     REAL_CONST(27182.818000175819/8.0),
  499.     REAL_CONST(27199.939686724665/8.0),
  500.     REAL_CONST(27217.064068116837/8.0),
  501.     REAL_CONST(27234.191143504428/8.0),
  502.     REAL_CONST(27251.320912040203/8.0),
  503.     REAL_CONST(27268.453372877593/8.0),
  504.     REAL_CONST(27285.588525170693/8.0),
  505.     REAL_CONST(27302.726368074269/8.0),
  506.     REAL_CONST(27319.866900743735/8.0),
  507.     REAL_CONST(27337.010122335181/8.0),
  508.     REAL_CONST(27354.156032005358/8.0),
  509.     REAL_CONST(27371.304628911668/8.0),
  510.     REAL_CONST(27388.455912212183/8.0),
  511.     REAL_CONST(27405.609881065626/8.0),
  512.     REAL_CONST(27422.766534631384/8.0),
  513.     REAL_CONST(27439.925872069507/8.0),
  514.     REAL_CONST(27457.087892540683/8.0),
  515.     REAL_CONST(27474.252595206275/8.0),
  516.     REAL_CONST(27491.419979228293/8.0),
  517.     REAL_CONST(27508.5900437694/8.0),
  518.     REAL_CONST(27525.762787992917/8.0),
  519.     REAL_CONST(27542.93821106281/8.0),
  520.     REAL_CONST(27560.116312143706/8.0),
  521.     REAL_CONST(27577.297090400876/8.0),
  522.     REAL_CONST(27594.480545000242/8.0),
  523.     REAL_CONST(27611.666675108383/8.0),
  524.     REAL_CONST(27628.855479892518/8.0),
  525.     REAL_CONST(27646.046958520514/8.0),
  526.     REAL_CONST(27663.241110160889/8.0),
  527.     REAL_CONST(27680.437933982801/8.0),
  528.     REAL_CONST(27697.637429156068/8.0),
  529.     REAL_CONST(27714.839594851132/8.0),
  530.     REAL_CONST(27732.04443023909/8.0),
  531.     REAL_CONST(27749.251934491687/8.0),
  532.     REAL_CONST(27766.462106781299/8.0),
  533.     REAL_CONST(27783.674946280949/8.0),
  534.     REAL_CONST(27800.890452164302/8.0),
  535.     REAL_CONST(27818.108623605654/8.0),
  536.     REAL_CONST(27835.329459779954/8.0),
  537.     REAL_CONST(27852.55295986278/8.0),
  538.     REAL_CONST(27869.779123030345/8.0),
  539.     REAL_CONST(27887.007948459504/8.0),
  540.     REAL_CONST(27904.239435327745/8.0),
  541.     REAL_CONST(27921.473582813196/8.0),
  542.     REAL_CONST(27938.710390094613/8.0),
  543.     REAL_CONST(27955.949856351392/8.0),
  544.     REAL_CONST(27973.19198076355/8.0),
  545.     REAL_CONST(27990.436762511745/8.0),
  546.     REAL_CONST(28007.684200777272/8.0),
  547.     REAL_CONST(28024.934294742041/8.0),
  548.     REAL_CONST(28042.187043588601/8.0),
  549.     REAL_CONST(28059.442446500128/8.0),
  550.     REAL_CONST(28076.700502660427/8.0),
  551.     REAL_CONST(28093.961211253929/8.0),
  552.     REAL_CONST(28111.224571465693/8.0),
  553.     REAL_CONST(28128.490582481401/8.0),
  554.     REAL_CONST(28145.759243487362/8.0),
  555.     REAL_CONST(28163.030553670509/8.0),
  556.     REAL_CONST(28180.304512218394/8.0),
  557.     REAL_CONST(28197.581118319198/8.0),
  558.     REAL_CONST(28214.860371161725/8.0),
  559.     REAL_CONST(28232.14226993539/8.0),
  560.     REAL_CONST(28249.42681383024/8.0),
  561.     REAL_CONST(28266.71400203693/8.0),
  562.     REAL_CONST(28284.003833746745/8.0),
  563.     REAL_CONST(28301.296308151585/8.0),
  564.     REAL_CONST(28318.591424443959/8.0),
  565.     REAL_CONST(28335.889181817001/8.0),
  566.     REAL_CONST(28353.189579464462/8.0),
  567.     REAL_CONST(28370.492616580705/8.0),
  568.     REAL_CONST(28387.798292360701/8.0),
  569.     REAL_CONST(28405.106606000048/8.0),
  570.     REAL_CONST(28422.417556694945/8.0),
  571.     REAL_CONST(28439.731143642206/8.0),
  572.     REAL_CONST(28457.047366039264/8.0),
  573.     REAL_CONST(28474.366223084147/8.0),
  574.     REAL_CONST(28491.687713975512/8.0),
  575.     REAL_CONST(28509.011837912611/8.0),
  576.     REAL_CONST(28526.338594095305/8.0),
  577.     REAL_CONST(28543.667981724069/8.0),
  578.     REAL_CONST(28560.999999999982/8.0),
  579.     REAL_CONST(28578.334648124732/8.0),
  580.     REAL_CONST(28595.671925300605/8.0),
  581.     REAL_CONST(28613.011830730498/8.0),
  582.     REAL_CONST(28630.354363617909/8.0),
  583.     REAL_CONST(28647.699523166943/8.0),
  584.     REAL_CONST(28665.0473085823/8.0),
  585.     REAL_CONST(28682.397719069289/8.0),
  586.     REAL_CONST(28699.750753833818/8.0),
  587.     REAL_CONST(28717.10641208239/8.0),
  588.     REAL_CONST(28734.464693022121/8.0),
  589.     REAL_CONST(28751.825595860708/8.0),
  590.     REAL_CONST(28769.189119806462/8.0),
  591.     REAL_CONST(28786.55526406828/8.0),
  592.     REAL_CONST(28803.924027855664/8.0),
  593.     REAL_CONST(28821.295410378701/8.0),
  594.     REAL_CONST(28838.669410848088/8.0),
  595.     REAL_CONST(28856.046028475103/8.0),
  596.     REAL_CONST(28873.425262471628/8.0),
  597.     REAL_CONST(28890.80711205013/8.0),
  598.     REAL_CONST(28908.191576423673/8.0),
  599.     REAL_CONST(28925.578654805915/8.0),
  600.     REAL_CONST(28942.968346411097/8.0),
  601.     REAL_CONST(28960.360650454055/8.0),
  602.     REAL_CONST(28977.755566150216/8.0),
  603.     REAL_CONST(28995.153092715591/8.0),
  604.     REAL_CONST(29012.553229366786/8.0),
  605.     REAL_CONST(29029.955975320987/8.0),
  606.     REAL_CONST(29047.361329795975/8.0),
  607.     REAL_CONST(29064.769292010107/8.0),
  608.     REAL_CONST(29082.179861182336/8.0),
  609.     REAL_CONST(29099.593036532187/8.0),
  610.     REAL_CONST(29117.00881727978/8.0),
  611.     REAL_CONST(29134.427202645813/8.0),
  612.     REAL_CONST(29151.848191851568/8.0),
  613.     REAL_CONST(29169.271784118911/8.0),
  614.     REAL_CONST(29186.697978670283/8.0),
  615.     REAL_CONST(29204.126774728706/8.0),
  616.     REAL_CONST(29221.55817151779/8.0),
  617.     REAL_CONST(29238.992168261717/8.0),
  618.     REAL_CONST(29256.42876418525/8.0),
  619.     REAL_CONST(29273.867958513725/8.0),
  620.     REAL_CONST(29291.309750473058/8.0),
  621.     REAL_CONST(29308.754139289747/8.0),
  622.     REAL_CONST(29326.201124190855/8.0),
  623.     REAL_CONST(29343.65070440403/8.0),
  624.     REAL_CONST(29361.102879157483/8.0),
  625.     REAL_CONST(29378.557647680012/8.0),
  626.     REAL_CONST(29396.015009200975/8.0),
  627.     REAL_CONST(29413.474962950309/8.0),
  628.     REAL_CONST(29430.937508158524/8.0),
  629.     REAL_CONST(29448.402644056692/8.0),
  630.     REAL_CONST(29465.870369876469/8.0),
  631.     REAL_CONST(29483.340684850071/8.0),
  632.     REAL_CONST(29500.81358821028/8.0),
  633.     REAL_CONST(29518.289079190454/8.0),
  634.     REAL_CONST(29535.767157024511/8.0),
  635.     REAL_CONST(29553.247820946945/8.0),
  636.     REAL_CONST(29570.731070192807/8.0),
  637.     REAL_CONST(29588.216903997723/8.0),
  638.     REAL_CONST(29605.70532159787/8.0),
  639.     REAL_CONST(29623.19632223/8.0),
  640.     REAL_CONST(29640.689905131429/8.0),
  641.     REAL_CONST(29658.186069540028/8.0),
  642.     REAL_CONST(29675.684814694236/8.0),
  643.     REAL_CONST(29693.186139833047/8.0),
  644.     REAL_CONST(29710.690044196028/8.0),
  645.     REAL_CONST(29728.196527023298/8.0),
  646.     REAL_CONST(29745.705587555527/8.0),
  647.     REAL_CONST(29763.217225033964/8.0),
  648.     REAL_CONST(29780.731438700397/8.0),
  649.     REAL_CONST(29798.248227797183/8.0),
  650.     REAL_CONST(29815.76759156723/8.0),
  651.     REAL_CONST(29833.289529254005/8.0),
  652.     REAL_CONST(29850.81404010153/8.0),
  653.     REAL_CONST(29868.341123354381/8.0),
  654.     REAL_CONST(29885.870778257693/8.0),
  655.     REAL_CONST(29903.403004057145/8.0),
  656.     REAL_CONST(29920.937799998974/8.0),
  657.     REAL_CONST(29938.475165329975/8.0),
  658.     REAL_CONST(29956.015099297485/8.0),
  659.     REAL_CONST(29973.557601149394/8.0),
  660.     REAL_CONST(29991.102670134147/8.0),
  661.     REAL_CONST(30008.650305500738/8.0),
  662.     REAL_CONST(30026.200506498706/8.0),
  663.     REAL_CONST(30043.753272378144/8.0),
  664.     REAL_CONST(30061.308602389683/8.0),
  665.     REAL_CONST(30078.866495784507/8.0),
  666.     REAL_CONST(30096.426951814352/8.0),
  667.     REAL_CONST(30113.989969731494/8.0),
  668.     REAL_CONST(30131.55554878875/8.0),
  669.     REAL_CONST(30149.123688239491/8.0),
  670.     REAL_CONST(30166.694387337629/8.0),
  671.     REAL_CONST(30184.267645337608/8.0),
  672.     REAL_CONST(30201.843461494434/8.0),
  673.     REAL_CONST(30219.42183506364/8.0),
  674.     REAL_CONST(30237.002765301309/8.0),
  675.     REAL_CONST(30254.586251464058/8.0),
  676.     REAL_CONST(30272.172292809046/8.0),
  677.     REAL_CONST(30289.760888593977/8.0),
  678.     REAL_CONST(30307.35203807709/8.0),
  679.     REAL_CONST(30324.94574051716/8.0),
  680.     REAL_CONST(30342.541995173502/8.0),
  681.     REAL_CONST(30360.140801305966/8.0),
  682.     REAL_CONST(30377.742158174944/8.0),
  683.     REAL_CONST(30395.346065041358/8.0),
  684.     REAL_CONST(30412.952521166666/8.0),
  685.     REAL_CONST(30430.561525812864/8.0),
  686.     REAL_CONST(30448.173078242475/8.0),
  687.     REAL_CONST(30465.787177718561/8.0),
  688.     REAL_CONST(30483.403823504719/8.0),
  689.     REAL_CONST(30501.02301486507/8.0),
  690.     REAL_CONST(30518.644751064272/8.0),
  691.     REAL_CONST(30536.269031367516/8.0),
  692.     REAL_CONST(30553.895855040515/8.0),
  693.     REAL_CONST(30571.525221349519/8.0),
  694.     REAL_CONST(30589.157129561307/8.0),
  695.     REAL_CONST(30606.791578943175/8.0),
  696.     REAL_CONST(30624.428568762964/8.0),
  697.     REAL_CONST(30642.06809828903/8.0),
  698.     REAL_CONST(30659.710166790261/8.0),
  699.     REAL_CONST(30677.35477353607/8.0),
  700.     REAL_CONST(30695.001917796391/8.0),
  701.     REAL_CONST(30712.651598841687/8.0),
  702.     REAL_CONST(30730.303815942945/8.0),
  703.     REAL_CONST(30747.958568371676/8.0),
  704.     REAL_CONST(30765.615855399912/8.0),
  705.     REAL_CONST(30783.275676300211/8.0),
  706.     REAL_CONST(30800.938030345646/8.0),
  707.     REAL_CONST(30818.602916809814/8.0),
  708.     REAL_CONST(30836.270334966837/8.0),
  709.     REAL_CONST(30853.940284091354/8.0),
  710.     REAL_CONST(30871.612763458521/8.0),
  711.     REAL_CONST(30889.287772344011/8.0),
  712.     REAL_CONST(30906.965310024025/8.0),
  713.     REAL_CONST(30924.645375775272/8.0),
  714.     REAL_CONST(30942.327968874983/8.0),
  715.     REAL_CONST(30960.013088600903/8.0),
  716.     REAL_CONST(30977.700734231294/8.0),
  717.     REAL_CONST(30995.390905044929/8.0),
  718.     REAL_CONST(31013.083600321101/8.0),
  719.     REAL_CONST(31030.778819339619/8.0),
  720.     REAL_CONST(31048.476561380798/8.0),
  721.     REAL_CONST(31066.17682572547/8.0),
  722.     REAL_CONST(31083.879611654978/8.0),
  723.     REAL_CONST(31101.584918451179/8.0),
  724.     REAL_CONST(31119.29274539644/8.0),
  725.     REAL_CONST(31137.003091773637/8.0),
  726.     REAL_CONST(31154.715956866155/8.0),
  727.     REAL_CONST(31172.431339957893/8.0),
  728.     REAL_CONST(31190.14924033326/8.0),
  729.     REAL_CONST(31207.869657277162/8.0),
  730.     REAL_CONST(31225.592590075023/8.0),
  731.     REAL_CONST(31243.318038012771/8.0),
  732.     REAL_CONST(31261.046000376838/8.0),
  733.     REAL_CONST(31278.776476454172/8.0),
  734.     REAL_CONST(31296.50946553221/8.0),
  735.     REAL_CONST(31314.24496689891/8.0),
  736.     REAL_CONST(31331.98297984272/8.0),
  737.     REAL_CONST(31349.7235036526/8.0),
  738.     REAL_CONST(31367.466537618013/8.0),
  739.     REAL_CONST(31385.212081028923/8.0),
  740.     REAL_CONST(31402.960133175795/8.0),
  741.     REAL_CONST(31420.710693349596/8.0),
  742.     REAL_CONST(31438.463760841791/8.0),
  743.     REAL_CONST(31456.219334944351/8.0),
  744.     REAL_CONST(31473.977414949743/8.0),
  745.     REAL_CONST(31491.738000150934/8.0),
  746.     REAL_CONST(31509.501089841389/8.0),
  747.     REAL_CONST(31527.266683315069/8.0),
  748.     REAL_CONST(31545.034779866437/8.0),
  749.     REAL_CONST(31562.80537879045/8.0),
  750.     REAL_CONST(31580.578479382562/8.0),
  751.     REAL_CONST(31598.35408093872/8.0),
  752.     REAL_CONST(31616.132182755369/8.0),
  753.     REAL_CONST(31633.91278412945/8.0),
  754.     REAL_CONST(31651.695884358396/8.0),
  755.     REAL_CONST(31669.481482740131/8.0),
  756.     REAL_CONST(31687.269578573076/8.0),
  757.     REAL_CONST(31705.060171156143/8.0),
  758.     REAL_CONST(31722.853259788735/8.0),
  759.     REAL_CONST(31740.648843770748/8.0),
  760.     REAL_CONST(31758.446922402567/8.0),
  761.     REAL_CONST(31776.247494985066/8.0),
  762.     REAL_CONST(31794.050560819614/8.0),
  763.     REAL_CONST(31811.85611920806/8.0),
  764.     REAL_CONST(31829.664169452753/8.0),
  765.     REAL_CONST(31847.474710856521/8.0),
  766.     REAL_CONST(31865.287742722685/8.0),
  767.     REAL_CONST(31883.103264355046/8.0),
  768.     REAL_CONST(31900.921275057899/8.0),
  769.     REAL_CONST(31918.741774136019/8.0),
  770.     REAL_CONST(31936.564760894671/8.0),
  771.     REAL_CONST(31954.390234639599/8.0),
  772.     REAL_CONST(31972.21819467704/8.0),
  773.     REAL_CONST(31990.048640313704/8.0),
  774.     REAL_CONST(32007.881570856793/8.0),
  775.     REAL_CONST(32025.716985613984/8.0),
  776.     REAL_CONST(32043.554883893445/8.0),
  777.     REAL_CONST(32061.395265003815/8.0),
  778.     REAL_CONST(32079.238128254223/8.0),
  779.     REAL_CONST(32097.083472954269/8.0),
  780.     REAL_CONST(32114.931298414049/8.0),
  781.     REAL_CONST(32132.781603944117/8.0),
  782.     REAL_CONST(32150.634388855524/8.0),
  783.     REAL_CONST(32168.48965245979/8.0),
  784.     REAL_CONST(32186.347394068915/8.0),
  785.     REAL_CONST(32204.207612995371/8.0),
  786.     REAL_CONST(32222.07030855212/8.0),
  787.     REAL_CONST(32239.935480052583/8.0),
  788.     REAL_CONST(32257.803126810672/8.0),
  789.     REAL_CONST(32275.673248140767/8.0),
  790.     REAL_CONST(32293.545843357719/8.0),
  791.     REAL_CONST(32311.420911776862/8.0),
  792.     REAL_CONST(32329.298452713996/8.0),
  793.     REAL_CONST(32347.178465485395/8.0),
  794.     REAL_CONST(32365.060949407813/8.0),
  795.     REAL_CONST(32382.945903798463/8.0),
  796.     REAL_CONST(32400.83332797504/8.0),
  797.     REAL_CONST(32418.723221255706/8.0),
  798.     REAL_CONST(32436.615582959093/8.0),
  799.     REAL_CONST(32454.510412404306/8.0),
  800.     REAL_CONST(32472.407708910916/8.0),
  801.     REAL_CONST(32490.307471798966/8.0),
  802.     REAL_CONST(32508.209700388961/8.0),
  803.     REAL_CONST(32526.114394001877/8.0),
  804.     REAL_CONST(32544.021551959166/8.0),
  805.     REAL_CONST(32561.931173582732/8.0),
  806.     REAL_CONST(32579.843258194956/8.0),
  807.     REAL_CONST(32597.757805118679/8.0),
  808.     REAL_CONST(32615.674813677211/8.0),
  809.     REAL_CONST(32633.594283194328/8.0),
  810.     REAL_CONST(32651.516212994258/8.0),
  811.     REAL_CONST(32669.440602401712/8.0),
  812.     REAL_CONST(32687.367450741847/8.0),
  813.     REAL_CONST(32705.296757340297/8.0),
  814.     REAL_CONST(32723.228521523146/8.0),
  815.     REAL_CONST(32741.162742616943/8.0),
  816.     REAL_CONST(32759.099419948703/8.0),
  817.     REAL_CONST(32777.038552845901/8.0),
  818.     REAL_CONST(32794.980140636464/8.0),
  819.     REAL_CONST(32812.924182648792/8.0),
  820.     REAL_CONST(32830.87067821173/8.0),
  821.     REAL_CONST(32848.819626654593/8.0),
  822.     REAL_CONST(32866.77102730715/8.0),
  823.     REAL_CONST(32884.724879499619/8.0),
  824.     REAL_CONST(32902.681182562686/8.0),
  825.     REAL_CONST(32920.639935827494/8.0),
  826.     REAL_CONST(32938.601138625643/8.0),
  827.     REAL_CONST(32956.56479028918/8.0),
  828.     REAL_CONST(32974.530890150607/8.0),
  829.     REAL_CONST(32992.499437542894/8.0),
  830.     REAL_CONST(33010.470431799447/8.0),
  831.     REAL_CONST(33028.443872254145/8.0),
  832.     REAL_CONST(33046.419758241311/8.0),
  833.     REAL_CONST(33064.39808909571/8.0),
  834.     REAL_CONST(33082.378864152583/8.0),
  835.     REAL_CONST(33100.36208274759/8.0),
  836.     REAL_CONST(33118.347744216881/8.0),
  837.     REAL_CONST(33136.335847897026/8.0),
  838.     REAL_CONST(33154.326393125062/8.0),
  839.     REAL_CONST(33172.31937923847/8.0),
  840.     REAL_CONST(33190.314805575174/8.0),
  841.     REAL_CONST(33208.312671473555/8.0),
  842.     REAL_CONST(33226.312976272442/8.0),
  843.     REAL_CONST(33244.315719311111/8.0),
  844.     REAL_CONST(33262.320899929284/8.0),
  845.     REAL_CONST(33280.328517467125/8.0),
  846.     REAL_CONST(33298.33857126526/8.0),
  847.     REAL_CONST(33316.351060664747/8.0),
  848.     REAL_CONST(33334.365985007091/8.0),
  849.     REAL_CONST(33352.383343634239/8.0),
  850.     REAL_CONST(33370.403135888591/8.0),
  851.     REAL_CONST(33388.42536111299/8.0),
  852.     REAL_CONST(33406.450018650721/8.0),
  853.     REAL_CONST(33424.477107845501/8.0),
  854.     REAL_CONST(33442.506628041512/8.0),
  855.     REAL_CONST(33460.53857858335/8.0),
  856.     REAL_CONST(33478.572958816083/8.0),
  857.     REAL_CONST(33496.609768085189/8.0),
  858.     REAL_CONST(33514.649005736617/8.0),
  859.     REAL_CONST(33532.690671116739/8.0),
  860.     REAL_CONST(33550.734763572356/8.0),
  861.     REAL_CONST(33568.781282450735/8.0),
  862.     REAL_CONST(33586.830227099563/8.0),
  863.     REAL_CONST(33604.881596866973/8.0),
  864.     REAL_CONST(33622.935391101528/8.0),
  865.     REAL_CONST(33640.991609152239/8.0),
  866.     REAL_CONST(33659.050250368542/8.0),
  867.     REAL_CONST(33677.111314100322/8.0),
  868.     REAL_CONST(33695.174799697881/8.0),
  869.     REAL_CONST(33713.240706511984/8.0),
  870.     REAL_CONST(33731.309033893805/8.0),
  871.     REAL_CONST(33749.37978119497/8.0),
  872.     REAL_CONST(33767.452947767531/8.0),
  873.     REAL_CONST(33785.528532963974/8.0),
  874.     REAL_CONST(33803.606536137209/8.0),
  875.     REAL_CONST(33821.686956640602/8.0),
  876.     REAL_CONST(33839.769793827938/8.0),
  877.     REAL_CONST(33857.855047053425/8.0),
  878.     REAL_CONST(33875.942715671707/8.0),
  879.     REAL_CONST(33894.032799037872/8.0),
  880.     REAL_CONST(33912.125296507431/8.0),
  881.     REAL_CONST(33930.220207436316/8.0),
  882.     REAL_CONST(33948.317531180888/8.0),
  883.     REAL_CONST(33966.417267097961/8.0),
  884.     REAL_CONST(33984.519414544746/8.0),
  885.     REAL_CONST(34002.623972878901/8.0),
  886.     REAL_CONST(34020.730941458511/8.0),
  887.     REAL_CONST(34038.840319642077/8.0),
  888.     REAL_CONST(34056.952106788536/8.0),
  889.     REAL_CONST(34075.066302257255/8.0),
  890.     REAL_CONST(34093.182905408015/8.0),
  891.     REAL_CONST(34111.301915601027/8.0),
  892.     REAL_CONST(34129.42333219693/8.0),
  893.     REAL_CONST(34147.547154556785/8.0),
  894.     REAL_CONST(34165.673382042078/8.0),
  895.     REAL_CONST(34183.80201401472/8.0),
  896.     REAL_CONST(34201.933049837033/8.0),
  897.     REAL_CONST(34220.06648887178/8.0),
  898.     REAL_CONST(34238.202330482141/8.0),
  899.     REAL_CONST(34256.340574031703/8.0),
  900.     REAL_CONST(34274.481218884495/8.0),
  901.     REAL_CONST(34292.624264404949/8.0),
  902.     REAL_CONST(34310.769709957938/8.0),
  903.     REAL_CONST(34328.91755490873/8.0),
  904.     REAL_CONST(34347.067798623029/8.0),
  905.     REAL_CONST(34365.220440466954/8.0),
  906.     REAL_CONST(34383.375479807051/8.0),
  907.     REAL_CONST(34401.532916010263/8.0),
  908.     REAL_CONST(34419.692748443973/8.0),
  909.     REAL_CONST(34437.854976475966/8.0),
  910.     REAL_CONST(34456.01959947445/8.0),
  911.     REAL_CONST(34474.18661680806/8.0),
  912.     REAL_CONST(34492.356027845817/8.0),
  913.     REAL_CONST(34510.527831957188/8.0),
  914.     REAL_CONST(34528.702028512052/8.0),
  915.     REAL_CONST(34546.878616880676/8.0),
  916.     REAL_CONST(34565.05759643377/8.0),
  917.     REAL_CONST(34583.238966542449/8.0),
  918.     REAL_CONST(34601.422726578232/8.0),
  919.     REAL_CONST(34619.608875913065/8.0),
  920.     REAL_CONST(34637.797413919296/8.0),
  921.     REAL_CONST(34655.988339969692/8.0),
  922.     REAL_CONST(34674.181653437423/8.0),
  923.     REAL_CONST(34692.37735369608/8.0),
  924.     REAL_CONST(34710.575440119668/8.0),
  925.     REAL_CONST(34728.775912082579/8.0),
  926.     REAL_CONST(34746.978768959649/8.0),
  927.     REAL_CONST(34765.184010126082/8.0),
  928.     REAL_CONST(34783.391634957537/8.0),
  929.     REAL_CONST(34801.60164283005/8.0),
  930.     REAL_CONST(34819.814033120063/8.0),
  931.     REAL_CONST(34838.028805204456/8.0),
  932.     REAL_CONST(34856.24595846048/8.0),
  933.     REAL_CONST(34874.465492265823/8.0),
  934.     REAL_CONST(34892.687405998557/8.0),
  935.     REAL_CONST(34910.911699037177/8.0),
  936.     REAL_CONST(34929.138370760564/8.0),
  937.     REAL_CONST(34947.367420548027/8.0),
  938.     REAL_CONST(34965.598847779271/8.0),
  939.     REAL_CONST(34983.832651834389/8.0),
  940.     REAL_CONST(35002.068832093908/8.0),
  941.     REAL_CONST(35020.307387938738/8.0),
  942.     REAL_CONST(35038.548318750189/8.0),
  943.     REAL_CONST(35056.79162390998/8.0),
  944.     REAL_CONST(35075.03730280025/8.0),
  945.     REAL_CONST(35093.285354803513/8.0),
  946.     REAL_CONST(35111.535779302685/8.0),
  947.     REAL_CONST(35129.788575681116/8.0),
  948.     REAL_CONST(35148.043743322516/8.0),
  949.     REAL_CONST(35166.301281611013/8.0),
  950.     REAL_CONST(35184.561189931141/8.0),
  951.     REAL_CONST(35202.823467667826/8.0),
  952.     REAL_CONST(35221.088114206388/8.0),
  953.     REAL_CONST(35239.355128932555/8.0),
  954.     REAL_CONST(35257.624511232447/8.0),
  955.     REAL_CONST(35275.896260492584/8.0),
  956.     REAL_CONST(35294.170376099886/8.0),
  957.     REAL_CONST(35312.446857441668/8.0),
  958.     REAL_CONST(35330.725703905628/8.0),
  959.     REAL_CONST(35349.006914879887/8.0),
  960.     REAL_CONST(35367.290489752944/8.0),
  961.     REAL_CONST(35385.576427913686/8.0),
  962.     REAL_CONST(35403.864728751418/8.0),
  963.     REAL_CONST(35422.155391655811/8.0),
  964.     REAL_CONST(35440.448416016967/8.0),
  965.     REAL_CONST(35458.743801225341/8.0),
  966.     REAL_CONST(35477.041546671804/8.0),
  967.     REAL_CONST(35495.341651747622/8.0),
  968.     REAL_CONST(35513.644115844436/8.0),
  969.     REAL_CONST(35531.948938354304/8.0),
  970.     REAL_CONST(35550.256118669655/8.0),
  971.     REAL_CONST(35568.565656183309/8.0),
  972.     REAL_CONST(35586.877550288496/8.0),
  973.     REAL_CONST(35605.191800378816/8.0),
  974.     REAL_CONST(35623.508405848268/8.0),
  975.     REAL_CONST(35641.827366091238/8.0),
  976.     REAL_CONST(35660.148680502505/8.0),
  977.     REAL_CONST(35678.472348477233/8.0),
  978.     REAL_CONST(35696.798369410979/8.0),
  979.     REAL_CONST(35715.126742699678/8.0),
  980.     REAL_CONST(35733.457467739659/8.0),
  981.     REAL_CONST(35751.790543927644/8.0),
  982.     REAL_CONST(35770.125970660738/8.0),
  983.     REAL_CONST(35788.46374733642/8.0),
  984.     REAL_CONST(35806.803873352568/8.0),
  985.     REAL_CONST(35825.146348107453/8.0),
  986.     REAL_CONST(35843.49117099971/8.0),
  987.     REAL_CONST(35861.838341428367/8.0),
  988.     REAL_CONST(35880.187858792851/8.0),
  989.     REAL_CONST(35898.539722492955/8.0),
  990.     REAL_CONST(35916.893931928862/8.0),
  991.     REAL_CONST(35935.250486501129/8.0),
  992.     REAL_CONST(35953.609385610718/8.0),
  993.     REAL_CONST(35971.970628658957/8.0),
  994.     REAL_CONST(35990.334215047558/8.0),
  995.     REAL_CONST(36008.700144178612/8.0),
  996.     REAL_CONST(36027.068415454596/8.0),
  997.     REAL_CONST(36045.439028278372/8.0),
  998.     REAL_CONST(36063.811982053165/8.0),
  999.     REAL_CONST(36082.187276182609/8.0),
  1000.     REAL_CONST(36100.564910070694/8.0),
  1001.     REAL_CONST(36118.944883121789/8.0),
  1002.     REAL_CONST(36137.327194740654/8.0),
  1003.     REAL_CONST(36155.711844332429/8.0),
  1004.     REAL_CONST(36174.098831302617/8.0),
  1005.     REAL_CONST(36192.488155057115/8.0),
  1006.     REAL_CONST(36210.87981500219/8.0),
  1007.     REAL_CONST(36229.273810544473/8.0),
  1008.     REAL_CONST(36247.670141091003/8.0),
  1009.     REAL_CONST(36266.068806049167/8.0),
  1010.     REAL_CONST(36284.469804826738/8.0),
  1011.     REAL_CONST(36302.873136831862/8.0),
  1012.     REAL_CONST(36321.278801473069/8.0),
  1013.     REAL_CONST(36339.686798159251/8.0),
  1014.     REAL_CONST(36358.097126299683/8.0),
  1015.     REAL_CONST(36376.509785304013/8.0),
  1016.     REAL_CONST(36394.924774582258/8.0),
  1017.     REAL_CONST(36413.342093544816/8.0),
  1018.     REAL_CONST(36431.761741602444/8.0),
  1019.     REAL_CONST(36450.183718166292/8.0),
  1020.     REAL_CONST(36468.608022647859/8.0),
  1021.     REAL_CONST(36487.034654459028/8.0),
  1022.     REAL_CONST(36505.463613012063/8.0),
  1023.     REAL_CONST(36523.894897719583/8.0),
  1024.     REAL_CONST(36542.328507994578/8.0),
  1025.     REAL_CONST(36560.764443250409/8.0),
  1026.     REAL_CONST(36579.202702900831/8.0),
  1027.     REAL_CONST(36597.643286359926/8.0),
  1028.     REAL_CONST(36616.086193042182/8.0),
  1029.     REAL_CONST(36634.531422362437/8.0),
  1030.     REAL_CONST(36652.978973735895/8.0),
  1031.     REAL_CONST(36671.428846578143/8.0),
  1032.     REAL_CONST(36689.881040305125/8.0),
  1033.     REAL_CONST(36708.335554333149/8.0),
  1034.     REAL_CONST(36726.792388078902/8.0),
  1035.     REAL_CONST(36745.251540959427/8.0),
  1036.     REAL_CONST(36763.713012392138/8.0),
  1037.     REAL_CONST(36782.176801794812/8.0),
  1038.     REAL_CONST(36800.642908585593/8.0),
  1039.     REAL_CONST(36819.111332182983/8.0),
  1040.     REAL_CONST(36837.582072005869/8.0),
  1041.     REAL_CONST(36856.055127473483/8.0),
  1042.     REAL_CONST(36874.530498005421/8.0),
  1043.     REAL_CONST(36893.008183021651/8.0),
  1044.     REAL_CONST(36911.488181942506/8.0),
  1045.     REAL_CONST(36929.970494188674/8.0),
  1046.     REAL_CONST(36948.455119181206/8.0),
  1047.     REAL_CONST(36966.942056341519/8.0),
  1048.     REAL_CONST(36985.431305091392/8.0),
  1049.     REAL_CONST(37003.922864852961/8.0),
  1050.     REAL_CONST(37022.416735048733/8.0),
  1051.     REAL_CONST(37040.912915101559/8.0),
  1052.     REAL_CONST(37059.411404434657/8.0),
  1053.     REAL_CONST(37077.91220247162/8.0),
  1054.     REAL_CONST(37096.415308636388/8.0),
  1055.     REAL_CONST(37114.920722353243/8.0),
  1056.     REAL_CONST(37133.428443046862/8.0),
  1057.     REAL_CONST(37151.938470142253/8.0),
  1058.     REAL_CONST(37170.450803064785/8.0),
  1059.     REAL_CONST(37188.965441240209/8.0),
  1060.     REAL_CONST(37207.482384094597/8.0),
  1061.     REAL_CONST(37226.001631054402/8.0),
  1062.     REAL_CONST(37244.523181546429/8.0),
  1063.     REAL_CONST(37263.047034997842/8.0),
  1064.     REAL_CONST(37281.573190836149/8.0),
  1065.     REAL_CONST(37300.101648489224/8.0),
  1066.     REAL_CONST(37318.632407385296/8.0),
  1067.     REAL_CONST(37337.165466952945/8.0),
  1068.     REAL_CONST(37355.700826621112/8.0),
  1069.     REAL_CONST(37374.238485819085/8.0),
  1070.     REAL_CONST(37392.778443976509/8.0),
  1071.     REAL_CONST(37411.320700523385/8.0),
  1072.     REAL_CONST(37429.865254890057/8.0),
  1073.     REAL_CONST(37448.412106507232/8.0),
  1074.     REAL_CONST(37466.961254805974/8.0),
  1075.     REAL_CONST(37485.512699217681/8.0),
  1076.     REAL_CONST(37504.066439174116/8.0),
  1077.     REAL_CONST(37522.622474107404/8.0),
  1078.     REAL_CONST(37541.180803449992/8.0),
  1079.     REAL_CONST(37559.741426634704/8.0),
  1080.     REAL_CONST(37578.304343094693/8.0),
  1081.     REAL_CONST(37596.869552263488/8.0),
  1082.     REAL_CONST(37615.43705357494/8.0),
  1083.     REAL_CONST(37634.006846463279/8.0),
  1084.     REAL_CONST(37652.578930363044/8.0),
  1085.     REAL_CONST(37671.153304709165/8.0),
  1086.     REAL_CONST(37689.729968936896/8.0),
  1087.     REAL_CONST(37708.308922481847/8.0),
  1088.     REAL_CONST(37726.890164779965/8.0),
  1089.     REAL_CONST(37745.473695267559/8.0),
  1090.     REAL_CONST(37764.059513381275/8.0),
  1091.     REAL_CONST(37782.647618558112/8.0),
  1092.     REAL_CONST(37801.238010235415/8.0),
  1093.     REAL_CONST(37819.830687850859/8.0),
  1094.     REAL_CONST(37838.425650842495/8.0),
  1095.     REAL_CONST(37857.022898648691/8.0),
  1096.     REAL_CONST(37875.622430708172/8.0),
  1097.     REAL_CONST(37894.224246460013/8.0),
  1098.     REAL_CONST(37912.828345343616/8.0),
  1099.     REAL_CONST(37931.434726798747/8.0),
  1100.     REAL_CONST(37950.043390265506/8.0),
  1101.     REAL_CONST(37968.654335184328/8.0),
  1102.     REAL_CONST(37987.267560995999/8.0),
  1103.     REAL_CONST(38005.883067141665/8.0),
  1104.     REAL_CONST(38024.500853062775/8.0),
  1105.     REAL_CONST(38043.120918201159/8.0),
  1106.     REAL_CONST(38061.743261998963/8.0),
  1107.     REAL_CONST(38080.367883898682/8.0),
  1108.     REAL_CONST(38098.994783343158/8.0),
  1109.     REAL_CONST(38117.623959775563/8.0),
  1110.     REAL_CONST(38136.255412639417/8.0),
  1111.     REAL_CONST(38154.889141378575/8.0),
  1112.     REAL_CONST(38173.525145437234/8.0),
  1113.     REAL_CONST(38192.163424259939/8.0),
  1114.     REAL_CONST(38210.803977291551/8.0),
  1115.     REAL_CONST(38229.446803977284/8.0),
  1116.     REAL_CONST(38248.091903762703/8.0),
  1117.     REAL_CONST(38266.739276093685/8.0),
  1118.     REAL_CONST(38285.388920416466/8.0),
  1119.     REAL_CONST(38304.040836177606/8.0),
  1120.     REAL_CONST(38322.695022824002/8.0),
  1121.     REAL_CONST(38341.351479802899/8.0),
  1122.     REAL_CONST(38360.010206561863/8.0),
  1123.     REAL_CONST(38378.671202548816/8.0),
  1124.     REAL_CONST(38397.334467211993/8.0),
  1125.     REAL_CONST(38415.999999999978/8.0),
  1126.     REAL_CONST(38434.667800361683/8.0),
  1127.     REAL_CONST(38453.33786774637/8.0),
  1128.     REAL_CONST(38472.010201603611/8.0),
  1129.     REAL_CONST(38490.684801383337/8.0),
  1130.     REAL_CONST(38509.361666535784/8.0),
  1131.     REAL_CONST(38528.040796511552/8.0),
  1132.     REAL_CONST(38546.722190761553/8.0),
  1133.     REAL_CONST(38565.405848737035/8.0),
  1134.     REAL_CONST(38584.091769889594/8.0),
  1135.     REAL_CONST(38602.779953671132/8.0),
  1136.     REAL_CONST(38621.470399533908/8.0),
  1137.     REAL_CONST(38640.163106930493/8.0),
  1138.     REAL_CONST(38658.858075313794/8.0),
  1139.     REAL_CONST(38677.555304137059/8.0),
  1140.     REAL_CONST(38696.254792853862/8.0),
  1141.     REAL_CONST(38714.956540918094/8.0),
  1142.     REAL_CONST(38733.660547783991/8.0),
  1143.     REAL_CONST(38752.366812906112/8.0),
  1144.     REAL_CONST(38771.075335739348/8.0),
  1145.     REAL_CONST(38789.78611573892/8.0),
  1146.     REAL_CONST(38808.499152360368/8.0),
  1147.     REAL_CONST(38827.214445059573/8.0),
  1148.     REAL_CONST(38845.931993292739/8.0),
  1149.     REAL_CONST(38864.651796516388/8.0),
  1150.     REAL_CONST(38883.373854187383/8.0),
  1151.     REAL_CONST(38902.098165762916/8.0),
  1152.     REAL_CONST(38920.824730700486/8.0),
  1153.     REAL_CONST(38939.553548457938/8.0),
  1154.     REAL_CONST(38958.284618493431/8.0),
  1155.     REAL_CONST(38977.017940265461/8.0),
  1156.     REAL_CONST(38995.753513232834/8.0),
  1157.     REAL_CONST(39014.491336854699/8.0),
  1158.     REAL_CONST(39033.231410590517/8.0),
  1159.     REAL_CONST(39051.973733900079/8.0),
  1160.     REAL_CONST(39070.718306243485/8.0),
  1161.     REAL_CONST(39089.465127081188/8.0),
  1162.     REAL_CONST(39108.214195873945/8.0),
  1163.     REAL_CONST(39126.965512082832/8.0),
  1164.     REAL_CONST(39145.719075169261/8.0),
  1165.     REAL_CONST(39164.474884594965/8.0),
  1166.     REAL_CONST(39183.232939821988/8.0),
  1167.     REAL_CONST(39201.99324031271/8.0),
  1168.     REAL_CONST(39220.755785529815/8.0),
  1169.     REAL_CONST(39239.52057493633/8.0),
  1170.     REAL_CONST(39258.287607995589/8.0),
  1171.     REAL_CONST(39277.056884171245/8.0),
  1172.     REAL_CONST(39295.828402927284/8.0),
  1173.     REAL_CONST(39314.602163728006/8.0),
  1174.     REAL_CONST(39333.378166038019/8.0),
  1175.     REAL_CONST(39352.15640932227/8.0),
  1176.     REAL_CONST(39370.936893046004/8.0),
  1177.     REAL_CONST(39389.719616674811/8.0),
  1178.     REAL_CONST(39408.504579674584/8.0),
  1179.     REAL_CONST(39427.291781511522/8.0),
  1180.     REAL_CONST(39446.081221652174/8.0),
  1181.     REAL_CONST(39464.872899563372/8.0),
  1182.     REAL_CONST(39483.666814712291/8.0),
  1183.     REAL_CONST(39502.462966566411/8.0),
  1184.     REAL_CONST(39521.261354593538/8.0),
  1185.     REAL_CONST(39540.06197826178/8.0),
  1186.     REAL_CONST(39558.864837039568/8.0),
  1187.     REAL_CONST(39577.669930395656/8.0),
  1188.     REAL_CONST(39596.47725779911/8.0),
  1189.     REAL_CONST(39615.286818719302/8.0),
  1190.     REAL_CONST(39634.098612625923/8.0),
  1191.     REAL_CONST(39652.912638988993/8.0),
  1192.     REAL_CONST(39671.728897278823/8.0),
  1193.     REAL_CONST(39690.547386966064/8.0),
  1194.     REAL_CONST(39709.368107521652/8.0),
  1195.     REAL_CONST(39728.191058416858/8.0),
  1196.     REAL_CONST(39747.016239123259/8.0),
  1197.     REAL_CONST(39765.84364911275/8.0),
  1198.     REAL_CONST(39784.673287857528/8.0),
  1199.     REAL_CONST(39803.505154830105/8.0),
  1200.     REAL_CONST(39822.339249503319/8.0),
  1201.     REAL_CONST(39841.175571350293/8.0),
  1202.     REAL_CONST(39860.014119844491/8.0),
  1203.     REAL_CONST(39878.854894459677/8.0),
  1204.     REAL_CONST(39897.697894669909/8.0),
  1205.     REAL_CONST(39916.54311994958/8.0),
  1206.     REAL_CONST(39935.390569773372/8.0),
  1207.     REAL_CONST(39954.240243616303/8.0),
  1208.     REAL_CONST(39973.092140953675/8.0),
  1209.     REAL_CONST(39991.946261261117/8.0),
  1210.     REAL_CONST(40010.802604014549/8.0),
  1211.     REAL_CONST(40029.661168690225/8.0),
  1212.     REAL_CONST(40048.521954764678/8.0),
  1213.     REAL_CONST(40067.384961714779/8.0),
  1214.     REAL_CONST(40086.250189017679/8.0),
  1215.     REAL_CONST(40105.117636150855/8.0),
  1216.     REAL_CONST(40123.98730259209/8.0),
  1217.     REAL_CONST(40142.859187819471/8.0),
  1218.     REAL_CONST(40161.733291311379/8.0),
  1219.     REAL_CONST(40180.609612546526/8.0),
  1220.     REAL_CONST(40199.488151003912/8.0),
  1221.     REAL_CONST(40218.368906162854/8.0),
  1222.     REAL_CONST(40237.25187750296/8.0),
  1223.     REAL_CONST(40256.137064504153/8.0),
  1224.     REAL_CONST(40275.024466646668/8.0),
  1225.     REAL_CONST(40293.914083411029/8.0),
  1226.     REAL_CONST(40312.805914278084/8.0),
  1227.     REAL_CONST(40331.699958728961/8.0),
  1228.     REAL_CONST(40350.596216245103/8.0),
  1229.     REAL_CONST(40369.494686308273/8.0),
  1230.     REAL_CONST(40388.39536840051/8.0),
  1231.     REAL_CONST(40407.298262004173/8.0),
  1232.     REAL_CONST(40426.20336660192/8.0),
  1233.     REAL_CONST(40445.110681676706/8.0),
  1234.     REAL_CONST(40464.020206711793/8.0),
  1235.     REAL_CONST(40482.931941190756/8.0),
  1236.     REAL_CONST(40501.845884597446/8.0),
  1237.     REAL_CONST(40520.762036416032/8.0),
  1238.     REAL_CONST(40539.680396130985/8.0),
  1239.     REAL_CONST(40558.600963227072/8.0),
  1240.     REAL_CONST(40577.523737189367/8.0),
  1241.     REAL_CONST(40596.448717503234/8.0),
  1242.     REAL_CONST(40615.375903654342/8.0),
  1243.     REAL_CONST(40634.305295128659/8.0),
  1244.     REAL_CONST(40653.236891412453/8.0),
  1245.     REAL_CONST(40672.170691992294/8.0),
  1246.     REAL_CONST(40691.106696355047/8.0),
  1247.     REAL_CONST(40710.044903987873/8.0),
  1248.     REAL_CONST(40728.985314378238/8.0),
  1249.     REAL_CONST(40747.927927013901/8.0),
  1250.     REAL_CONST(40766.872741382918/8.0),
  1251.     REAL_CONST(40785.819756973651/8.0),
  1252.     REAL_CONST(40804.768973274746/8.0),
  1253.     REAL_CONST(40823.720389775161/8.0),
  1254.     REAL_CONST(40842.674005964131/8.0),
  1255.     REAL_CONST(40861.629821331211/8.0),
  1256.     REAL_CONST(40880.587835366234/8.0),
  1257.     REAL_CONST(40899.548047559321/8.0),
  1258.     REAL_CONST(40918.510457400931/8.0),
  1259.     REAL_CONST(40937.475064381761/8.0),
  1260.     REAL_CONST(40956.441867992849/8.0),
  1261.     REAL_CONST(40975.410867725499/8.0),
  1262.     REAL_CONST(40994.382063071331/8.0),
  1263.     REAL_CONST(41013.355453522236/8.0),
  1264.     REAL_CONST(41032.331038570417/8.0),
  1265.     REAL_CONST(41051.308817708363/8.0),
  1266.     REAL_CONST(41070.288790428858/8.0),
  1267.     REAL_CONST(41089.270956224987/8.0),
  1268.     REAL_CONST(41108.255314590111/8.0),
  1269.     REAL_CONST(41127.241865017888/8.0),
  1270.     REAL_CONST(41146.23060700229/8.0),
  1271.     REAL_CONST(41165.221540037543/8.0),
  1272.     REAL_CONST(41184.214663618193/8.0),
  1273.     REAL_CONST(41203.209977239079/8.0),
  1274.     REAL_CONST(41222.207480395307/8.0),
  1275.     REAL_CONST(41241.207172582297/8.0),
  1276.     REAL_CONST(41260.209053295752/8.0),
  1277.     REAL_CONST(41279.213122031659/8.0),
  1278.     REAL_CONST(41298.219378286303/8.0),
  1279.     REAL_CONST(41317.227821556255/8.0),
  1280.     REAL_CONST(41336.23845133838/8.0),
  1281.     REAL_CONST(41355.251267129832/8.0),
  1282.     REAL_CONST(41374.266268428037/8.0),
  1283.     REAL_CONST(41393.283454730743/8.0),
  1284.     REAL_CONST(41412.302825535953/8.0),
  1285.     REAL_CONST(41431.324380341983/8.0),
  1286.     REAL_CONST(41450.348118647416/8.0),
  1287.     REAL_CONST(41469.374039951144/8.0),
  1288.     REAL_CONST(41488.402143752326/8.0),
  1289.     REAL_CONST(41507.432429550427/8.0),
  1290.     REAL_CONST(41526.464896845187/8.0),
  1291.     REAL_CONST(41545.499545136627/8.0),
  1292.     REAL_CONST(41564.536373925075/8.0),
  1293.     REAL_CONST(41583.575382711126/8.0),
  1294.     REAL_CONST(41602.616570995662/8.0),
  1295.     REAL_CONST(41621.659938279874/8.0),
  1296.     REAL_CONST(41640.705484065205/8.0),
  1297.     REAL_CONST(41659.753207853406/8.0),
  1298.     REAL_CONST(41678.803109146495/8.0),
  1299.     REAL_CONST(41697.855187446803/8.0),
  1300.     REAL_CONST(41716.909442256911/8.0),
  1301.     REAL_CONST(41735.965873079709/8.0),
  1302.     REAL_CONST(41755.02447941836/8.0),
  1303.     REAL_CONST(41774.085260776315/8.0),
  1304.     REAL_CONST(41793.148216657297/8.0),
  1305.     REAL_CONST(41812.213346565331/8.0),
  1306.     REAL_CONST(41831.280650004708/8.0),
  1307.     REAL_CONST(41850.350126480014/8.0),
  1308.     REAL_CONST(41869.421775496106/8.0),
  1309.     REAL_CONST(41888.495596558132/8.0),
  1310.     REAL_CONST(41907.571589171515/8.0),
  1311.     REAL_CONST(41926.649752841957/8.0),
  1312.     REAL_CONST(41945.730087075463/8.0),
  1313.     REAL_CONST(41964.812591378286/8.0),
  1314.     REAL_CONST(41983.897265256979/8.0),
  1315.     REAL_CONST(42002.984108218378/8.0),
  1316.     REAL_CONST(42022.073119769593/8.0),
  1317.     REAL_CONST(42041.164299418015/8.0),
  1318.     REAL_CONST(42060.257646671307/8.0),
  1319.     REAL_CONST(42079.353161037419/8.0),
  1320.     REAL_CONST(42098.450842024591/8.0),
  1321.     REAL_CONST(42117.550689141324/8.0),
  1322.     REAL_CONST(42136.652701896404/8.0),
  1323.     REAL_CONST(42155.756879798893/8.0),
  1324.     REAL_CONST(42174.863222358137/8.0),
  1325.     REAL_CONST(42193.971729083758/8.0),
  1326.     REAL_CONST(42213.082399485655/8.0),
  1327.     REAL_CONST(42232.195233074002/8.0),
  1328.     REAL_CONST(42251.310229359246/8.0),
  1329.     REAL_CONST(42270.427387852127/8.0),
  1330.     REAL_CONST(42289.546708063644/8.0),
  1331.     REAL_CONST(42308.668189505079/8.0),
  1332.     REAL_CONST(42327.791831687995/8.0),
  1333.     REAL_CONST(42346.917634124227/8.0),
  1334.     REAL_CONST(42366.045596325886/8.0),
  1335.     REAL_CONST(42385.175717805352/8.0),
  1336.     REAL_CONST(42404.307998075295/8.0),
  1337.     REAL_CONST(42423.442436648642/8.0),
  1338.     REAL_CONST(42442.579033038608/8.0),
  1339.     REAL_CONST(42461.717786758672/8.0),
  1340.     REAL_CONST(42480.858697322597/8.0),
  1341.     REAL_CONST(42500.001764244422/8.0),
  1342.     REAL_CONST(42519.146987038446/8.0),
  1343.     REAL_CONST(42538.294365219248/8.0),
  1344.     REAL_CONST(42557.443898301688/8.0),
  1345.     REAL_CONST(42576.595585800882/8.0),
  1346.     REAL_CONST(42595.749427232236/8.0),
  1347.     REAL_CONST(42614.90542211142/8.0),
  1348.     REAL_CONST(42634.063569954378/8.0),
  1349.     REAL_CONST(42653.223870277317/8.0),
  1350.     REAL_CONST(42672.386322596729/8.0),
  1351.     REAL_CONST(42691.55092642938/8.0),
  1352.     REAL_CONST(42710.717681292292/8.0),
  1353.     REAL_CONST(42729.886586702756/8.0),
  1354.     REAL_CONST(42749.057642178363/8.0),
  1355.     REAL_CONST(42768.23084723694/8.0),
  1356.     REAL_CONST(42787.406201396603/8.0),
  1357.     REAL_CONST(42806.58370417574/8.0),
  1358.     REAL_CONST(42825.76335509299/8.0),
  1359.     REAL_CONST(42844.945153667286/8.0),
  1360.     REAL_CONST(42864.129099417805/8.0),
  1361.     REAL_CONST(42883.315191864014/8.0),
  1362.     REAL_CONST(42902.503430525649/8.0),
  1363.     REAL_CONST(42921.693814922692/8.0),
  1364.     REAL_CONST(42940.88634457541/8.0),
  1365.     REAL_CONST(42960.081019004348/8.0),
  1366.     REAL_CONST(42979.277837730297/8.0),
  1367.     REAL_CONST(42998.476800274322/8.0),
  1368.     REAL_CONST(43017.677906157769/8.0),
  1369.     REAL_CONST(43036.881154902228/8.0),
  1370.     REAL_CONST(43056.086546029583/8.0),
  1371.     REAL_CONST(43075.294079061961/8.0),
  1372.     REAL_CONST(43094.503753521763/8.0),
  1373.     REAL_CONST(43113.715568931671/8.0),
  1374.     REAL_CONST(43132.929524814601/8.0),
  1375.     REAL_CONST(43152.145620693766/8.0),
  1376.     REAL_CONST(43171.363856092619/8.0),
  1377.     REAL_CONST(43190.584230534907/8.0),
  1378.     REAL_CONST(43209.806743544621/8.0),
  1379.     REAL_CONST(43229.031394646016/8.0),
  1380.     REAL_CONST(43248.258183363621/8.0),
  1381.     REAL_CONST(43267.487109222224/8.0),
  1382.     REAL_CONST(43286.718171746885/8.0),
  1383.     REAL_CONST(43305.951370462906/8.0),
  1384.     REAL_CONST(43325.186704895881/8.0),
  1385.     REAL_CONST(43344.42417457165/8.0),
  1386.     REAL_CONST(43363.663779016322/8.0),
  1387.     REAL_CONST(43382.905517756262/8.0),
  1388.     REAL_CONST(43402.149390318104/8.0),
  1389.     REAL_CONST(43421.395396228749/8.0),
  1390.     REAL_CONST(43440.643535015348/8.0),
  1391.     REAL_CONST(43459.89380620532/8.0),
  1392.     REAL_CONST(43479.146209326354/8.0),
  1393.     REAL_CONST(43498.400743906379/8.0),
  1394.     REAL_CONST(43517.657409473606/8.0),
  1395.     REAL_CONST(43536.916205556496/8.0),
  1396.     REAL_CONST(43556.177131683784/8.0),
  1397.     REAL_CONST(43575.44018738444/8.0),
  1398.     REAL_CONST(43594.705372187724/8.0),
  1399.     REAL_CONST(43613.972685623135/8.0),
  1400.     REAL_CONST(43633.242127220445/8.0),
  1401.     REAL_CONST(43652.513696509668/8.0),
  1402.     REAL_CONST(43671.787393021099/8.0),
  1403.     REAL_CONST(43691.063216285271/8.0),
  1404.     REAL_CONST(43710.341165833001/8.0),
  1405.     REAL_CONST(43729.621241195346/8.0),
  1406.     REAL_CONST(43748.903441903625/8.0),
  1407.     REAL_CONST(43768.187767489413/8.0),
  1408.     REAL_CONST(43787.474217484552/8.0),
  1409.     REAL_CONST(43806.762791421126/8.0),
  1410.     REAL_CONST(43826.053488831501/8.0),
  1411.     REAL_CONST(43845.346309248278/8.0),
  1412.     REAL_CONST(43864.641252204325/8.0),
  1413.     REAL_CONST(43883.938317232765/8.0),
  1414.     REAL_CONST(43903.237503866971/8.0),
  1415.     REAL_CONST(43922.538811640596/8.0),
  1416.     REAL_CONST(43941.842240087513/8.0),
  1417.     REAL_CONST(43961.147788741881/8.0),
  1418.     REAL_CONST(43980.455457138101/8.0),
  1419.     REAL_CONST(43999.765244810835/8.0),
  1420.     REAL_CONST(44019.077151295001/8.0),
  1421.     REAL_CONST(44038.391176125755/8.0),
  1422.     REAL_CONST(44057.70731883854/8.0),
  1423.     REAL_CONST(44077.02557896902/8.0),
  1424.     REAL_CONST(44096.345956053141/8.0),
  1425.     REAL_CONST(44115.668449627083/8.0),
  1426.     REAL_CONST(44134.993059227287/8.0),
  1427.     REAL_CONST(44154.319784390456/8.0),
  1428.     REAL_CONST(44173.648624653535/8.0),
  1429.     REAL_CONST(44192.979579553728/8.0),
  1430.     REAL_CONST(44212.312648628489/8.0),
  1431.     REAL_CONST(44231.647831415532/8.0),
  1432.     REAL_CONST(44250.985127452805/8.0),
  1433.     REAL_CONST(44270.324536278538/8.0),
  1434.     REAL_CONST(44289.666057431183/8.0),
  1435.     REAL_CONST(44309.009690449464/8.0),
  1436.     REAL_CONST(44328.355434872348/8.0),
  1437.     REAL_CONST(44347.703290239064/8.0),
  1438.     REAL_CONST(44367.053256089079/8.0),
  1439.     REAL_CONST(44386.405331962109/8.0),
  1440.     REAL_CONST(44405.759517398139/8.0),
  1441.     REAL_CONST(44425.115811937387/8.0),
  1442.     REAL_CONST(44444.474215120332/8.0),
  1443.     REAL_CONST(44463.834726487694/8.0),
  1444.     REAL_CONST(44483.197345580462/8.0),
  1445.     REAL_CONST(44502.562071939843/8.0),
  1446.     REAL_CONST(44521.928905107328/8.0),
  1447.     REAL_CONST(44541.297844624634/8.0),
  1448.     REAL_CONST(44560.668890033732/8.0),
  1449.     REAL_CONST(44580.042040876848/8.0),
  1450.     REAL_CONST(44599.417296696454/8.0),
  1451.     REAL_CONST(44618.794657035272/8.0),
  1452.     REAL_CONST(44638.174121436256/8.0),
  1453.     REAL_CONST(44657.555689442641/8.0),
  1454.     REAL_CONST(44676.939360597877/8.0),
  1455.     REAL_CONST(44696.325134445673/8.0),
  1456.     REAL_CONST(44715.713010530002/8.0),
  1457.     REAL_CONST(44735.102988395054/8.0),
  1458.     REAL_CONST(44754.495067585296/8.0),
  1459.     REAL_CONST(44773.88924764542/8.0),
  1460.     REAL_CONST(44793.285528120374/8.0),
  1461.     REAL_CONST(44812.683908555344/8.0),
  1462.     REAL_CONST(44832.084388495779/8.0),
  1463.     REAL_CONST(44851.486967487363/8.0),
  1464.     REAL_CONST(44870.891645076015/8.0),
  1465.     REAL_CONST(44890.298420807922/8.0),
  1466.     REAL_CONST(44909.707294229491/8.0),
  1467.     REAL_CONST(44929.118264887409/8.0),
  1468.     REAL_CONST(44948.531332328566/8.0),
  1469.     REAL_CONST(44967.946496100136/8.0),
  1470.     REAL_CONST(44987.363755749502/8.0),
  1471.     REAL_CONST(45006.783110824319/8.0),
  1472.     REAL_CONST(45026.204560872473/8.0),
  1473.     REAL_CONST(45045.628105442098/8.0),
  1474.     REAL_CONST(45065.053744081561/8.0),
  1475.     REAL_CONST(45084.48147633949/8.0),
  1476.     REAL_CONST(45103.911301764747/8.0),
  1477.     REAL_CONST(45123.343219906426/8.0),
  1478.     REAL_CONST(45142.777230313885/8.0),
  1479.     REAL_CONST(45162.21333253671/8.0),
  1480.     REAL_CONST(45181.651526124733/8.0),
  1481.     REAL_CONST(45201.091810628037/8.0),
  1482.     REAL_CONST(45220.534185596924/8.0),
  1483.     REAL_CONST(45239.978650581965/8.0),
  1484.     REAL_CONST(45259.425205133957/8.0),
  1485.     REAL_CONST(45278.873848803938/8.0),
  1486.     REAL_CONST(45298.324581143192/8.0),
  1487.     REAL_CONST(45317.777401703235/8.0),
  1488.     REAL_CONST(45337.232310035848/8.0),
  1489.     REAL_CONST(45356.68930569302/8.0),
  1490.     REAL_CONST(45376.148388226997/8.0),
  1491.     REAL_CONST(45395.60955719027/8.0),
  1492.     REAL_CONST(45415.072812135557/8.0),
  1493.     REAL_CONST(45434.538152615823/8.0),
  1494.     REAL_CONST(45454.005578184282/8.0),
  1495.     REAL_CONST(45473.475088394356/8.0),
  1496.     REAL_CONST(45492.946682799746/8.0),
  1497.     REAL_CONST(45512.420360954362/8.0),
  1498.     REAL_CONST(45531.896122412363/8.0),
  1499.     REAL_CONST(45551.373966728155/8.0),
  1500.     REAL_CONST(45570.853893456362/8.0),
  1501.     REAL_CONST(45590.33590215187/8.0),
  1502.     REAL_CONST(45609.819992369776/8.0),
  1503.     REAL_CONST(45629.306163665438/8.0),
  1504.     REAL_CONST(45648.794415594442/8.0),
  1505.     REAL_CONST(45668.284747712612/8.0),
  1506.     REAL_CONST(45687.777159576006/8.0),
  1507.     REAL_CONST(45707.27165074092/8.0),
  1508.     REAL_CONST(45726.768220763894/8.0),
  1509.     REAL_CONST(45746.266869201696/8.0),
  1510.     REAL_CONST(45765.767595611323/8.0),
  1511.     REAL_CONST(45785.270399550034/8.0),
  1512.     REAL_CONST(45804.775280575297/8.0),
  1513.     REAL_CONST(45824.282238244828/8.0),
  1514.     REAL_CONST(45843.79127211657/8.0),
  1515.     REAL_CONST(45863.302381748719/8.0),
  1516.     REAL_CONST(45882.815566699683/8.0),
  1517.     REAL_CONST(45902.33082652813/8.0),
  1518.     REAL_CONST(45921.848160792935/8.0),
  1519.     REAL_CONST(45941.367569053225/8.0),
  1520.     REAL_CONST(45960.889050868354/8.0),
  1521.     REAL_CONST(45980.41260579793/8.0),
  1522.     REAL_CONST(45999.938233401757/8.0),
  1523.     REAL_CONST(46019.465933239902/8.0),
  1524.     REAL_CONST(46038.995704872657/8.0),
  1525.     REAL_CONST(46058.527547860547/8.0),
  1526.     REAL_CONST(46078.06146176433/8.0),
  1527.     REAL_CONST(46097.597446144995/8.0),
  1528.     REAL_CONST(46117.135500563774/8.0),
  1529.     REAL_CONST(46136.675624582109/8.0),
  1530.     REAL_CONST(46156.217817761702/8.0),
  1531.     REAL_CONST(46175.762079664462/8.0),
  1532.     REAL_CONST(46195.308409852543/8.0),
  1533.     REAL_CONST(46214.856807888333/8.0),
  1534.     REAL_CONST(46234.407273334444/8.0),
  1535.     REAL_CONST(46253.959805753715/8.0),
  1536.     REAL_CONST(46273.51440470924/8.0),
  1537.     REAL_CONST(46293.071069764315/8.0),
  1538.     REAL_CONST(46312.629800482478/8.0),
  1539.     REAL_CONST(46332.190596427499/8.0),
  1540.     REAL_CONST(46351.753457163381/8.0),
  1541.     REAL_CONST(46371.318382254351/8.0),
  1542.     REAL_CONST(46390.885371264863/8.0),
  1543.     REAL_CONST(46410.45442375962/8.0),
  1544.     REAL_CONST(46430.025539303526/8.0),
  1545.     REAL_CONST(46449.598717461733/8.0),
  1546.     REAL_CONST(46469.17395779962/8.0),
  1547.     REAL_CONST(46488.751259882782/8.0),
  1548.     REAL_CONST(46508.33062327707/8.0),
  1549.     REAL_CONST(46527.912047548532/8.0),
  1550.     REAL_CONST(46547.495532263471/8.0),
  1551.     REAL_CONST(46567.081076988397/8.0),
  1552.     REAL_CONST(46586.668681290059/8.0),
  1553.     REAL_CONST(46606.258344735434/8.0),
  1554.     REAL_CONST(46625.850066891719/8.0),
  1555.     REAL_CONST(46645.443847326351/8.0),
  1556.     REAL_CONST(46665.039685606986/8.0),
  1557.     REAL_CONST(46684.637581301497/8.0),
  1558.     REAL_CONST(46704.237533978005/8.0),
  1559.     REAL_CONST(46723.839543204842/8.0),
  1560.     REAL_CONST(46743.443608550573/8.0),
  1561.     REAL_CONST(46763.049729583989/8.0),
  1562.     REAL_CONST(46782.657905874104/8.0),
  1563.     REAL_CONST(46802.268136990162/8.0),
  1564.     REAL_CONST(46821.880422501628/8.0),
  1565.     REAL_CONST(46841.494761978196/8.0),
  1566.     REAL_CONST(46861.111154989776/8.0),
  1567.     REAL_CONST(46880.729601106526/8.0),
  1568.     REAL_CONST(46900.350099898795/8.0),
  1569.     REAL_CONST(46919.97265093719/8.0),
  1570.     REAL_CONST(46939.597253792526/8.0),
  1571.     REAL_CONST(46959.223908035841/8.0),
  1572.     REAL_CONST(46978.852613238392/8.0),
  1573.     REAL_CONST(46998.483368971691/8.0),
  1574.     REAL_CONST(47018.11617480743/8.0),
  1575.     REAL_CONST(47037.751030317551/8.0),
  1576.     REAL_CONST(47057.387935074221/8.0),
  1577.     REAL_CONST(47077.026888649809/8.0),
  1578.     REAL_CONST(47096.66789061694/8.0),
  1579.     REAL_CONST(47116.310940548428/8.0),
  1580.     REAL_CONST(47135.956038017328/8.0),
  1581.     REAL_CONST(47155.603182596918/8.0),
  1582.     REAL_CONST(47175.252373860698/8.0),
  1583.     REAL_CONST(47194.903611382375/8.0),
  1584.     REAL_CONST(47214.556894735892/8.0),
  1585.     REAL_CONST(47234.212223495422/8.0),
  1586.     REAL_CONST(47253.869597235338/8.0),
  1587.     REAL_CONST(47273.52901553025/8.0),
  1588.     REAL_CONST(47293.19047795498/8.0),
  1589.     REAL_CONST(47312.853984084577/8.0),
  1590.     REAL_CONST(47332.519533494306/8.0),
  1591.     REAL_CONST(47352.187125759658/8.0),
  1592.     REAL_CONST(47371.856760456343/8.0),
  1593.     REAL_CONST(47391.528437160297/8.0),
  1594.     REAL_CONST(47411.202155447652/8.0),
  1595.     REAL_CONST(47430.877914894787/8.0),
  1596.     REAL_CONST(47450.555715078299/8.0),
  1597.     REAL_CONST(47470.235555574982/8.0),
  1598.     REAL_CONST(47489.917435961863/8.0),
  1599.     REAL_CONST(47509.601355816201/8.0),
  1600.     REAL_CONST(47529.287314715453/8.0),
  1601.     REAL_CONST(47548.975312237308/8.0),
  1602.     REAL_CONST(47568.665347959672/8.0),
  1603.     REAL_CONST(47588.357421460656/8.0),
  1604.     REAL_CONST(47608.051532318605/8.0),
  1605.     REAL_CONST(47627.747680112072/8.0),
  1606.     REAL_CONST(47647.445864419846/8.0),
  1607.     REAL_CONST(47667.14608482091/8.0),
  1608.     REAL_CONST(47686.848340894474/8.0),
  1609.     REAL_CONST(47706.552632219973/8.0),
  1610.     REAL_CONST(47726.258958377046/8.0),
  1611.     REAL_CONST(47745.967318945557/8.0),
  1612.     REAL_CONST(47765.677713505589/8.0),
  1613.     REAL_CONST(47785.390141637428/8.0),
  1614.     REAL_CONST(47805.104602921601/8.0),
  1615.     REAL_CONST(47824.821096938824/8.0),
  1616.     REAL_CONST(47844.539623270044/8.0),
  1617.     REAL_CONST(47864.260181496429/8.0),
  1618.     REAL_CONST(47883.982771199349/8.0),
  1619.     REAL_CONST(47903.707391960394/8.0),
  1620.     REAL_CONST(47923.434043361369/8.0),
  1621.     REAL_CONST(47943.162724984308/8.0),
  1622.     REAL_CONST(47962.893436411439/8.0),
  1623.     REAL_CONST(47982.626177225218/8.0),
  1624.     REAL_CONST(48002.36094700831/8.0),
  1625.     REAL_CONST(48022.097745343599/8.0),
  1626.     REAL_CONST(48041.836571814172/8.0),
  1627.     REAL_CONST(48061.57742600335/8.0),
  1628.     REAL_CONST(48081.32030749465/8.0),
  1629.     REAL_CONST(48101.065215871815/8.0),
  1630.     REAL_CONST(48120.81215071879/8.0),
  1631.     REAL_CONST(48140.56111161974/8.0),
  1632.     REAL_CONST(48160.312098159047/8.0),
  1633.     REAL_CONST(48180.065109921306/8.0),
  1634.     REAL_CONST(48199.820146491307/8.0),
  1635.     REAL_CONST(48219.577207454073/8.0),
  1636.     REAL_CONST(48239.336292394844/8.0),
  1637.     REAL_CONST(48259.097400899045/8.0),
  1638.     REAL_CONST(48278.860532552339/8.0),
  1639.     REAL_CONST(48298.625686940592/8.0),
  1640.     REAL_CONST(48318.392863649875/8.0),
  1641.     REAL_CONST(48338.162062266485/8.0),
  1642.     REAL_CONST(48357.933282376915/8.0),
  1643.     REAL_CONST(48377.706523567889/8.0),
  1644.     REAL_CONST(48397.481785426316/8.0),
  1645.     REAL_CONST(48417.259067539344/8.0),
  1646.     REAL_CONST(48437.038369494308/8.0),
  1647.     REAL_CONST(48456.819690878765/8.0),
  1648.     REAL_CONST(48476.603031280487/8.0),
  1649.     REAL_CONST(48496.388390287451/8.0),
  1650.     REAL_CONST(48516.175767487839/8.0),
  1651.     REAL_CONST(48535.965162470042/8.0),
  1652.     REAL_CONST(48555.756574822684/8.0),
  1653.     REAL_CONST(48575.550004134566/8.0),
  1654.     REAL_CONST(48595.345449994718/8.0),
  1655.     REAL_CONST(48615.142911992378/8.0),
  1656.     REAL_CONST(48634.942389716991/8.0),
  1657.     REAL_CONST(48654.743882758201/8.0),
  1658.     REAL_CONST(48674.547390705877/8.0),
  1659.     REAL_CONST(48694.352913150084/8.0),
  1660.     REAL_CONST(48714.160449681112/8.0),
  1661.     REAL_CONST(48733.969999889443/8.0),
  1662.     REAL_CONST(48753.781563365759/8.0),
  1663.     REAL_CONST(48773.595139700978/8.0),
  1664.     REAL_CONST(48793.410728486211/8.0),
  1665.     REAL_CONST(48813.228329312769/8.0),
  1666.     REAL_CONST(48833.047941772187/8.0),
  1667.     REAL_CONST(48852.869565456189/8.0),
  1668.     REAL_CONST(48872.693199956717/8.0),
  1669.     REAL_CONST(48892.518844865925/8.0),
  1670.     REAL_CONST(48912.346499776155/8.0),
  1671.     REAL_CONST(48932.176164279976/8.0),
  1672.     REAL_CONST(48952.007837970152/8.0),
  1673.     REAL_CONST(48971.841520439666/8.0),
  1674.     REAL_CONST(48991.677211281676/8.0),
  1675.     REAL_CONST(49011.514910089587/8.0),
  1676.     REAL_CONST(49031.354616456978/8.0),
  1677.     REAL_CONST(49051.196329977654/8.0),
  1678.     REAL_CONST(49071.04005024561/8.0),
  1679.     REAL_CONST(49090.885776855059/8.0),
  1680.     REAL_CONST(49110.733509400408/8.0),
  1681.     REAL_CONST(49130.583247476279/8.0),
  1682.     REAL_CONST(49150.434990677488/8.0),
  1683.     REAL_CONST(49170.288738599062/8.0),
  1684.     REAL_CONST(49190.144490836232/8.0),
  1685.     REAL_CONST(49210.002246984441/8.0),
  1686.     REAL_CONST(49229.86200663932/8.0),
  1687.     REAL_CONST(49249.723769396718/8.0),
  1688.     REAL_CONST(49269.587534852675/8.0),
  1689.     REAL_CONST(49289.453302603448/8.0),
  1690.     REAL_CONST(49309.32107224549/8.0),
  1691.     REAL_CONST(49329.190843375451/8.0),
  1692.     REAL_CONST(49349.062615590192/8.0),
  1693.     REAL_CONST(49368.936388486785/8.0),
  1694.     REAL_CONST(49388.812161662492/8.0),
  1695.     REAL_CONST(49408.689934714785/8.0),
  1696.     REAL_CONST(49428.569707241324/8.0),
  1697.     REAL_CONST(49448.45147883999/8.0),
  1698.     REAL_CONST(49468.335249108866/8.0),
  1699.     REAL_CONST(49488.22101764621/8.0),
  1700.     REAL_CONST(49508.108784050521/8.0),
  1701.     REAL_CONST(49527.99854792047/8.0),
  1702.     REAL_CONST(49547.890308854934/8.0),
  1703.     REAL_CONST(49567.784066453009/8.0),
  1704.     REAL_CONST(49587.679820313977/8.0),
  1705.     REAL_CONST(49607.57757003732/8.0),
  1706.     REAL_CONST(49627.477315222721/8.0),
  1707.     REAL_CONST(49647.379055470075/8.0),
  1708.     REAL_CONST(49667.28279037946/8.0),
  1709.     REAL_CONST(49687.188519551179/8.0),
  1710.     REAL_CONST(49707.096242585707/8.0),
  1711.     REAL_CONST(49727.005959083741/8.0),
  1712.     REAL_CONST(49746.917668646165/8.0),
  1713.     REAL_CONST(49766.831370874068/8.0),
  1714.     REAL_CONST(49786.747065368734/8.0),
  1715.     REAL_CONST(49806.66475173166/8.0),
  1716.     REAL_CONST(49826.584429564515/8.0),
  1717.     REAL_CONST(49846.506098469203/8.0),
  1718.     REAL_CONST(49866.429758047794/8.0),
  1719.     REAL_CONST(49886.355407902578/8.0),
  1720.     REAL_CONST(49906.283047636032/8.0),
  1721.     REAL_CONST(49926.212676850846/8.0),
  1722.     REAL_CONST(49946.144295149883/8.0),
  1723.     REAL_CONST(49966.077902136225/8.0),
  1724.     REAL_CONST(49986.013497413151/8.0),
  1725.     REAL_CONST(50005.951080584135/8.0),
  1726.     REAL_CONST(50025.890651252834/8.0),
  1727.     REAL_CONST(50045.832209023123/8.0),
  1728.     REAL_CONST(50065.775753499074/8.0),
  1729.     REAL_CONST(50085.721284284933/8.0),
  1730.     REAL_CONST(50105.668800985164/8.0),
  1731.     REAL_CONST(50125.618303204428/8.0),
  1732.     REAL_CONST(50145.569790547575/8.0),
  1733.     REAL_CONST(50165.523262619652/8.0),
  1734.     REAL_CONST(50185.478719025901/8.0),
  1735.     REAL_CONST(50205.436159371769/8.0),
  1736.     REAL_CONST(50225.395583262893/8.0),
  1737.     REAL_CONST(50245.356990305103/8.0),
  1738.     REAL_CONST(50265.320380104429/8.0),
  1739.     REAL_CONST(50285.285752267104/8.0),
  1740.     REAL_CONST(50305.253106399534/8.0),
  1741.     REAL_CONST(50325.222442108337/8.0),
  1742.     REAL_CONST(50345.193759000336/8.0),
  1743.     REAL_CONST(50365.16705668252/8.0),
  1744.     REAL_CONST(50385.142334762102/8.0),
  1745.     REAL_CONST(50405.119592846473/8.0),
  1746.     REAL_CONST(50425.098830543218/8.0),
  1747.     REAL_CONST(50445.080047460127/8.0),
  1748.     REAL_CONST(50465.063243205179/8.0),
  1749.     REAL_CONST(50485.048417386541/8.0),
  1750.     REAL_CONST(50505.035569612577/8.0),
  1751.     REAL_CONST(50525.024699491856/8.0),
  1752.     REAL_CONST(50545.015806633128/8.0),
  1753.     REAL_CONST(50565.008890645338/8.0),
  1754.     REAL_CONST(50585.003951137631/8.0),
  1755.     REAL_CONST(50605.00098771933/8.0),
  1756.     REAL_CONST(50624.999999999971/8.0),
  1757.     REAL_CONST(50645.000987589265/8.0),
  1758.     REAL_CONST(50665.003950097132/8.0),
  1759.     REAL_CONST(50685.008887133677/8.0),
  1760.     REAL_CONST(50705.015798309192/8.0),
  1761.     REAL_CONST(50725.024683234165/8.0),
  1762.     REAL_CONST(50745.035541519283/8.0),
  1763.     REAL_CONST(50765.048372775411/8.0),
  1764.     REAL_CONST(50785.063176613621/8.0),
  1765.     REAL_CONST(50805.079952645159/8.0),
  1766.     REAL_CONST(50825.098700481489/8.0),
  1767.     REAL_CONST(50845.119419734241/8.0),
  1768.     REAL_CONST(50865.142110015244/8.0),
  1769.     REAL_CONST(50885.166770936521/8.0),
  1770.     REAL_CONST(50905.193402110279/8.0),
  1771.     REAL_CONST(50925.222003148934/8.0),
  1772.     REAL_CONST(50945.252573665071/8.0),
  1773.     REAL_CONST(50965.285113271471/8.0),
  1774.     REAL_CONST(50985.319621581119/8.0),
  1775.     REAL_CONST(51005.356098207172/8.0),
  1776.     REAL_CONST(51025.394542762981/8.0),
  1777.     REAL_CONST(51045.434954862096/8.0),
  1778.     REAL_CONST(51065.477334118244/8.0),
  1779.     REAL_CONST(51085.521680145357/8.0),
  1780.     REAL_CONST(51105.567992557546/8.0),
  1781.     REAL_CONST(51125.616270969113/8.0),
  1782.     REAL_CONST(51145.66651499454/8.0),
  1783.     REAL_CONST(51165.718724248516/8.0),
  1784.     REAL_CONST(51185.772898345916/8.0),
  1785.     REAL_CONST(51205.829036901778/8.0),
  1786.     REAL_CONST(51225.887139531362/8.0),
  1787.     REAL_CONST(51245.947205850105/8.0),
  1788.     REAL_CONST(51266.009235473619/8.0),
  1789.     REAL_CONST(51286.073228017718/8.0),
  1790.     REAL_CONST(51306.139183098399/8.0),
  1791.     REAL_CONST(51326.207100331856/8.0),
  1792.     REAL_CONST(51346.276979334456/8.0),
  1793.     REAL_CONST(51366.348819722756/8.0),
  1794.     REAL_CONST(51386.42262111351/8.0),
  1795.     REAL_CONST(51406.498383123653/8.0),
  1796.     REAL_CONST(51426.57610537031/8.0),
  1797.     REAL_CONST(51446.655787470787/8.0),
  1798.     REAL_CONST(51466.737429042587/8.0),
  1799.     REAL_CONST(51486.82102970338/8.0),
  1800.     REAL_CONST(51506.906589071048/8.0),
  1801.     REAL_CONST(51526.994106763632/8.0),
  1802.     REAL_CONST(51547.083582399391/8.0),
  1803.     REAL_CONST(51567.175015596738/8.0),
  1804.     REAL_CONST(51587.268405974297/8.0),
  1805.     REAL_CONST(51607.363753150858/8.0),
  1806.     REAL_CONST(51627.461056745415/8.0),
  1807.     REAL_CONST(51647.56031637713/8.0),
  1808.     REAL_CONST(51667.661531665362/8.0),
  1809.     REAL_CONST(51687.764702229651/8.0),
  1810.     REAL_CONST(51707.869827689727/8.0),
  1811.     REAL_CONST(51727.976907665499/8.0),
  1812.     REAL_CONST(51748.085941777055/8.0),
  1813.     REAL_CONST(51768.196929644677/8.0),
  1814.     REAL_CONST(51788.309870888836/8.0),
  1815.     REAL_CONST(51808.42476513017/8.0),
  1816.     REAL_CONST(51828.541611989524/8.0),
  1817.     REAL_CONST(51848.660411087905/8.0),
  1818.     REAL_CONST(51868.781162046515/8.0),
  1819.     REAL_CONST(51888.90386448674/8.0),
  1820.     REAL_CONST(51909.028518030143/8.0),
  1821.     REAL_CONST(51929.155122298485/8.0),
  1822.     REAL_CONST(51949.283676913685/8.0),
  1823.     REAL_CONST(51969.414181497872/8.0),
  1824.     REAL_CONST(51989.546635673345/8.0),
  1825.     REAL_CONST(52009.681039062583/8.0),
  1826.     REAL_CONST(52029.817391288263/8.0),
  1827.     REAL_CONST(52049.955691973213/8.0),
  1828.     REAL_CONST(52070.095940740481/8.0),
  1829.     REAL_CONST(52090.238137213273/8.0),
  1830.     REAL_CONST(52110.382281014987/8.0),
  1831.     REAL_CONST(52130.5283717692/8.0),
  1832.     REAL_CONST(52150.676409099666/8.0),
  1833.     REAL_CONST(52170.826392630333/8.0),
  1834.     REAL_CONST(52190.97832198532/8.0),
  1835.     REAL_CONST(52211.132196788931/8.0),
  1836.     REAL_CONST(52231.288016665654/8.0),
  1837.     REAL_CONST(52251.445781240145/8.0),
  1838.     REAL_CONST(52271.60549013727/8.0),
  1839.     REAL_CONST(52291.76714298204/8.0),
  1840.     REAL_CONST(52311.930739399664/8.0),
  1841.     REAL_CONST(52332.096279015546/8.0),
  1842.     REAL_CONST(52352.263761455244/8.0),
  1843.     REAL_CONST(52372.433186344519/8.0),
  1844.     REAL_CONST(52392.604553309284/8.0),
  1845.     REAL_CONST(52412.777861975665/8.0),
  1846.     REAL_CONST(52432.953111969946/8.0),
  1847.     REAL_CONST(52453.130302918595/8.0),
  1848.     REAL_CONST(52473.309434448267/8.0),
  1849.     REAL_CONST(52493.490506185793/8.0),
  1850.     REAL_CONST(52513.67351775818/8.0),
  1851.     REAL_CONST(52533.858468792605/8.0),
  1852.     REAL_CONST(52554.045358916446/8.0),
  1853.     REAL_CONST(52574.234187757254/8.0),
  1854.     REAL_CONST(52594.42495494274/8.0),
  1855.     REAL_CONST(52614.617660100812/8.0),
  1856.     REAL_CONST(52634.812302859558/8.0),
  1857.     REAL_CONST(52655.008882847229/8.0),
  1858.     REAL_CONST(52675.20739969227/8.0),
  1859.     REAL_CONST(52695.407853023295/8.0),
  1860.     REAL_CONST(52715.610242469098/8.0),
  1861.     REAL_CONST(52735.814567658657/8.0),
  1862.     REAL_CONST(52756.02082822111/8.0),
  1863.     REAL_CONST(52776.229023785803/8.0),
  1864.     REAL_CONST(52796.439153982225/8.0),
  1865.     REAL_CONST(52816.651218440056/8.0),
  1866.     REAL_CONST(52836.865216789171/8.0),
  1867.     REAL_CONST(52857.081148659599/8.0),
  1868.     REAL_CONST(52877.29901368155/8.0),
  1869.     REAL_CONST(52897.518811485425/8.0),
  1870.     REAL_CONST(52917.740541701773/8.0),
  1871.     REAL_CONST(52937.964203961354/8.0),
  1872.     REAL_CONST(52958.18979789508/8.0),
  1873.     REAL_CONST(52978.417323134046/8.0),
  1874.     REAL_CONST(52998.646779309529/8.0),
  1875.     REAL_CONST(53018.878166052978/8.0),
  1876.     REAL_CONST(53039.111482996006/8.0),
  1877.     REAL_CONST(53059.346729770419/8.0),
  1878.     REAL_CONST(53079.583906008193/8.0),
  1879.     REAL_CONST(53099.823011341483/8.0),
  1880.     REAL_CONST(53120.0640454026/8.0),
  1881.     REAL_CONST(53140.307007824063/8.0),
  1882.     REAL_CONST(53160.551898238533/8.0),
  1883.     REAL_CONST(53180.79871627887/8.0),
  1884.     REAL_CONST(53201.047461578091/8.0),
  1885.     REAL_CONST(53221.2981337694/8.0),
  1886.     REAL_CONST(53241.550732486176/8.0),
  1887.     REAL_CONST(53261.805257361964/8.0),
  1888.     REAL_CONST(53282.061708030487/8.0),
  1889.     REAL_CONST(53302.32008412564/8.0),
  1890.     REAL_CONST(53322.580385281493/8.0),
  1891.     REAL_CONST(53342.842611132299/8.0),
  1892.     REAL_CONST(53363.106761312469/8.0),
  1893.     REAL_CONST(53383.372835456597/8.0),
  1894.     REAL_CONST(53403.640833199453/8.0),
  1895.     REAL_CONST(53423.910754175973/8.0),
  1896.     REAL_CONST(53444.18259802126/8.0),
  1897.     REAL_CONST(53464.456364370613/8.0),
  1898.     REAL_CONST(53484.732052859479/8.0),
  1899.     REAL_CONST(53505.009663123499/8.0),
  1900.     REAL_CONST(53525.289194798468/8.0),
  1901.     REAL_CONST(53545.570647520362/8.0),
  1902.     REAL_CONST(53565.854020925333/8.0),
  1903.     REAL_CONST(53586.139314649699/8.0),
  1904.     REAL_CONST(53606.426528329954/8.0),
  1905.     REAL_CONST(53626.715661602764/8.0),
  1906.     REAL_CONST(53647.006714104959/8.0),
  1907.     REAL_CONST(53667.299685473547/8.0),
  1908.     REAL_CONST(53687.59457534572/8.0),
  1909.     REAL_CONST(53707.891383358816/8.0),
  1910.     REAL_CONST(53728.190109150361/8.0),
  1911.     REAL_CONST(53748.490752358055/8.0),
  1912.     REAL_CONST(53768.793312619753/8.0),
  1913.     REAL_CONST(53789.09778957349/8.0),
  1914.     REAL_CONST(53809.404182857485/8.0),
  1915.     REAL_CONST(53829.712492110106/8.0),
  1916.     REAL_CONST(53850.022716969899/8.0),
  1917.     REAL_CONST(53870.334857075584/8.0),
  1918.     REAL_CONST(53890.648912066055/8.0),
  1919.     REAL_CONST(53910.964881580367/8.0),
  1920.     REAL_CONST(53931.28276525774/8.0),
  1921.     REAL_CONST(53951.602562737586/8.0),
  1922.     REAL_CONST(53971.924273659461/8.0),
  1923.     REAL_CONST(53992.24789766311/8.0),
  1924.     REAL_CONST(54012.57343438844/8.0),
  1925.     REAL_CONST(54032.90088347553/8.0),
  1926.     REAL_CONST(54053.23024456462/8.0),
  1927.     REAL_CONST(54073.561517296133/8.0),
  1928.     REAL_CONST(54093.894701310644/8.0),
  1929.     REAL_CONST(54114.22979624891/8.0),
  1930.     REAL_CONST(54134.566801751855/8.0),
  1931.     REAL_CONST(54154.90571746057/8.0),
  1932.     REAL_CONST(54175.246543016314/8.0),
  1933.     REAL_CONST(54195.589278060506/8.0),
  1934.     REAL_CONST(54215.933922234755/8.0),
  1935.     REAL_CONST(54236.280475180814/8.0),
  1936.     REAL_CONST(54256.628936540626/8.0),
  1937.     REAL_CONST(54276.97930595628/8.0),
  1938.     REAL_CONST(54297.331583070045/8.0),
  1939.     REAL_CONST(54317.685767524359/8.0),
  1940.     REAL_CONST(54338.041858961828/8.0),
  1941.     REAL_CONST(54358.399857025215/8.0),
  1942.     REAL_CONST(54378.759761357462/8.0),
  1943.     REAL_CONST(54399.121571601667/8.0),
  1944.     REAL_CONST(54419.485287401105/8.0),
  1945.     REAL_CONST(54439.850908399218/8.0),
  1946.     REAL_CONST(54460.218434239614/8.0),
  1947.     REAL_CONST(54480.587864566056/8.0),
  1948.     REAL_CONST(54500.95919902248/8.0),
  1949.     REAL_CONST(54521.332437252997/8.0),
  1950.     REAL_CONST(54541.707578901878/8.0),
  1951.     REAL_CONST(54562.084623613555/8.0),
  1952.     REAL_CONST(54582.46357103264/8.0),
  1953.     REAL_CONST(54602.844420803893/8.0),
  1954.     REAL_CONST(54623.227172572246/8.0),
  1955.     REAL_CONST(54643.611825982807/8.0),
  1956.     REAL_CONST(54663.998380680838/8.0),
  1957.     REAL_CONST(54684.386836311773/8.0),
  1958.     REAL_CONST(54704.777192521207/8.0),
  1959.     REAL_CONST(54725.169448954897/8.0),
  1960.     REAL_CONST(54745.563605258772/8.0),
  1961.     REAL_CONST(54765.959661078923/8.0),
  1962.     REAL_CONST(54786.357616061614/8.0),
  1963.     REAL_CONST(54806.757469853255/8.0),
  1964.     REAL_CONST(54827.159222100439/8.0),
  1965.     REAL_CONST(54847.562872449904/8.0),
  1966.     REAL_CONST(54867.968420548583/8.0),
  1967.     REAL_CONST(54888.375866043534/8.0),
  1968.     REAL_CONST(54908.785208582012/8.0),
  1969.     REAL_CONST(54929.196447811417/8.0),
  1970.     REAL_CONST(54949.609583379322/8.0),
  1971.     REAL_CONST(54970.024614933463/8.0),
  1972.     REAL_CONST(54990.441542121727/8.0),
  1973.     REAL_CONST(55010.86036459219/8.0),
  1974.     REAL_CONST(55031.28108199306/8.0),
  1975.     REAL_CONST(55051.703693972733/8.0),
  1976.     REAL_CONST(55072.128200179759/8.0),
  1977.     REAL_CONST(55092.554600262847/8.0),
  1978.     REAL_CONST(55112.982893870874/8.0),
  1979.     REAL_CONST(55133.413080652877/8.0),
  1980.     REAL_CONST(55153.845160258061/8.0),
  1981.     REAL_CONST(55174.279132335789/8.0),
  1982.     REAL_CONST(55194.714996535586/8.0),
  1983.     REAL_CONST(55215.152752507143/8.0),
  1984.     REAL_CONST(55235.592399900306/8.0),
  1985.     REAL_CONST(55256.033938365079/8.0),
  1986.     REAL_CONST(55276.477367551655/8.0),
  1987.     REAL_CONST(55296.92268711036/8.0),
  1988.     REAL_CONST(55317.369896691685/8.0),
  1989.     REAL_CONST(55337.818995946305/8.0),
  1990.     REAL_CONST(55358.269984525024/8.0),
  1991.     REAL_CONST(55378.72286207883/8.0),
  1992.     REAL_CONST(55399.177628258869/8.0),
  1993.     REAL_CONST(55419.634282716441/8.0),
  1994.     REAL_CONST(55440.092825103013/8.0),
  1995.     REAL_CONST(55460.553255070205/8.0),
  1996.     REAL_CONST(55481.015572269804/8.0),
  1997.     REAL_CONST(55501.479776353764/8.0),
  1998.     REAL_CONST(55521.945866974187/8.0),
  1999.     REAL_CONST(55542.413843783339/8.0),
  2000.     REAL_CONST(55562.883706433655/8.0),
  2001.     REAL_CONST(55583.355454577715/8.0),
  2002.     REAL_CONST(55603.82908786826/8.0),
  2003.     REAL_CONST(55624.304605958219/8.0),
  2004.     REAL_CONST(55644.782008500639/8.0),
  2005.     REAL_CONST(55665.261295148754/8.0),
  2006.     REAL_CONST(55685.742465555952/8.0),
  2007.     REAL_CONST(55706.225519375774/8.0),
  2008.     REAL_CONST(55726.710456261928/8.0),
  2009.     REAL_CONST(55747.197275868275/8.0),
  2010.     REAL_CONST(55767.685977848843/8.0),
  2011.     REAL_CONST(55788.176561857814/8.0),
  2012.     REAL_CONST(55808.669027549528/8.0),
  2013.     REAL_CONST(55829.163374578478/8.0),
  2014.     REAL_CONST(55849.659602599328/8.0),
  2015.     REAL_CONST(55870.157711266889/8.0),
  2016.     REAL_CONST(55890.657700236145/8.0),
  2017.     REAL_CONST(55911.159569162221/8.0),
  2018.     REAL_CONST(55931.663317700411/8.0),
  2019.     REAL_CONST(55952.168945506164/8.0),
  2020.     REAL_CONST(55972.676452235086/8.0),
  2021.     REAL_CONST(55993.185837542944/8.0),
  2022.     REAL_CONST(56013.697101085651/8.0),
  2023.     REAL_CONST(56034.210242519301/8.0),
  2024.     REAL_CONST(56054.72526150012/8.0),
  2025.     REAL_CONST(56075.242157684508/8.0),
  2026.     REAL_CONST(56095.760930729011/8.0),
  2027.     REAL_CONST(56116.281580290342/8.0),
  2028.     REAL_CONST(56136.804106025367/8.0),
  2029.     REAL_CONST(56157.328507591104/8.0),
  2030.     REAL_CONST(56177.85478464474/8.0),
  2031.     REAL_CONST(56198.382936843598/8.0),
  2032.     REAL_CONST(56218.912963845185/8.0),
  2033.     REAL_CONST(56239.444865307138/8.0),
  2034.     REAL_CONST(56259.978640887268/8.0),
  2035.     REAL_CONST(56280.514290243525/8.0),
  2036.     REAL_CONST(56301.051813034042/8.0),
  2037.     REAL_CONST(56321.591208917082/8.0),
  2038.     REAL_CONST(56342.13247755108/8.0),
  2039.     REAL_CONST(56362.675618594607/8.0),
  2040.     REAL_CONST(56383.220631706419/8.0),
  2041.     REAL_CONST(56403.767516545398/8.0),
  2042.     REAL_CONST(56424.316272770608/8.0),
  2043.     REAL_CONST(56444.866900041241/8.0),
  2044.     REAL_CONST(56465.419398016667/8.0),
  2045.     REAL_CONST(56485.973766356394/8.0),
  2046.     REAL_CONST(56506.530004720102/8.0),
  2047.     REAL_CONST(56527.088112767611/8.0),
  2048.     REAL_CONST(56547.648090158902/8.0),
  2049.     REAL_CONST(56568.209936554107/8.0),
  2050.     REAL_CONST(56588.773651613519/8.0),
  2051.     REAL_CONST(56609.339234997584/8.0),
  2052.     REAL_CONST(56629.9066863669/8.0),
  2053.     REAL_CONST(56650.47600538221/8.0),
  2054.     REAL_CONST(56671.04719170442/8.0),
  2055.     REAL_CONST(56691.620244994599/8.0),
  2056.     REAL_CONST(56712.195164913959/8.0),
  2057.     REAL_CONST(56732.771951123868/8.0),
  2058.     REAL_CONST(56753.350603285835/8.0),
  2059.     REAL_CONST(56773.931121061541/8.0),
  2060.     REAL_CONST(56794.513504112823/8.0),
  2061.     REAL_CONST(56815.097752101647/8.0),
  2062.     REAL_CONST(56835.683864690152/8.0),
  2063.     REAL_CONST(56856.271841540627/8.0),
  2064.     REAL_CONST(56876.86168231551/8.0),
  2065.     REAL_CONST(56897.453386677393/8.0),
  2066.     REAL_CONST(56918.046954289028/8.0),
  2067.     REAL_CONST(56938.642384813298/8.0),
  2068.     REAL_CONST(56959.239677913261/8.0),
  2069.     REAL_CONST(56979.838833252121/8.0),
  2070.     REAL_CONST(57000.439850493225/8.0),
  2071.     REAL_CONST(57021.04272930009/8.0),
  2072.     REAL_CONST(57041.647469336371/8.0),
  2073.     REAL_CONST(57062.254070265873/8.0),
  2074.     REAL_CONST(57082.862531752558/8.0),
  2075.     REAL_CONST(57103.472853460553/8.0),
  2076.     REAL_CONST(57124.085035054108/8.0),
  2077.     REAL_CONST(57144.699076197649/8.0),
  2078.     REAL_CONST(57165.314976555739/8.0),
  2079.     REAL_CONST(57185.932735793103/8.0),
  2080.     REAL_CONST(57206.552353574611/8.0),
  2081.     REAL_CONST(57227.173829565276/8.0),
  2082.     REAL_CONST(57247.797163430281/8.0),
  2083.     REAL_CONST(57268.42235483494/8.0),
  2084.     REAL_CONST(57289.049403444733/8.0),
  2085.     REAL_CONST(57309.678308925286/8.0),
  2086.     REAL_CONST(57330.30907094237/8.0),
  2087.     REAL_CONST(57350.941689161911/8.0),
  2088.     REAL_CONST(57371.576163249985/8.0),
  2089.     REAL_CONST(57392.212492872815/8.0),
  2090.     REAL_CONST(57412.850677696784/8.0),
  2091.     REAL_CONST(57433.490717388406/8.0),
  2092.     REAL_CONST(57454.132611614368/8.0),
  2093.     REAL_CONST(57474.776360041491/8.0),
  2094.     REAL_CONST(57495.421962336746/8.0),
  2095.     REAL_CONST(57516.069418167266/8.0),
  2096.     REAL_CONST(57536.718727200314/8.0),
  2097.     REAL_CONST(57557.36988910332/8.0),
  2098.     REAL_CONST(57578.022903543861/8.0),
  2099.     REAL_CONST(57598.677770189643/8.0),
  2100.     REAL_CONST(57619.334488708548/8.0),
  2101.     REAL_CONST(57639.993058768589/8.0),
  2102.     REAL_CONST(57660.653480037938/8.0),
  2103.     REAL_CONST(57681.315752184906/8.0),
  2104.     REAL_CONST(57701.979874877965/8.0),
  2105.     REAL_CONST(57722.64584778573/8.0),
  2106.     REAL_CONST(57743.31367057695/8.0),
  2107.     REAL_CONST(57763.983342920546/8.0),
  2108.     REAL_CONST(57784.654864485572/8.0),
  2109.     REAL_CONST(57805.328234941233/8.0),
  2110.     REAL_CONST(57826.003453956881/8.0),
  2111.     REAL_CONST(57846.680521202026/8.0),
  2112.     REAL_CONST(57867.359436346305/8.0),
  2113.     REAL_CONST(57888.040199059527/8.0),
  2114.     REAL_CONST(57908.722809011633/8.0),
  2115.     REAL_CONST(57929.407265872709/8.0),
  2116.     REAL_CONST(57950.093569313001/8.0),
  2117.     REAL_CONST(57970.781719002895/8.0),
  2118.     REAL_CONST(57991.471714612911/8.0),
  2119.     REAL_CONST(58012.16355581375/8.0),
  2120.     REAL_CONST(58032.857242276223/8.0),
  2121.     REAL_CONST(58053.552773671312/8.0),
  2122.     REAL_CONST(58074.25014967013/8.0),
  2123.     REAL_CONST(58094.949369943948/8.0),
  2124.     REAL_CONST(58115.650434164185/8.0),
  2125.     REAL_CONST(58136.353342002389/8.0),
  2126.     REAL_CONST(58157.058093130276/8.0),
  2127.     REAL_CONST(58177.764687219693/8.0),
  2128.     REAL_CONST(58198.47312394264/8.0),
  2129.     REAL_CONST(58219.183402971255/8.0),
  2130.     REAL_CONST(58239.895523977837/8.0),
  2131.     REAL_CONST(58260.609486634821/8.0),
  2132.     REAL_CONST(58281.325290614775/8.0),
  2133.     REAL_CONST(58302.042935590434/8.0),
  2134.     REAL_CONST(58322.762421234678/8.0),
  2135.     REAL_CONST(58343.483747220511/8.0),
  2136.     REAL_CONST(58364.206913221096/8.0),
  2137.     REAL_CONST(58384.931918909751/8.0),
  2138.     REAL_CONST(58405.658763959924/8.0),
  2139.     REAL_CONST(58426.3874480452/8.0),
  2140.     REAL_CONST(58447.117970839339/8.0),
  2141.     REAL_CONST(58467.85033201622/8.0),
  2142.     REAL_CONST(58488.584531249864/8.0),
  2143.     REAL_CONST(58509.320568214462/8.0),
  2144.     REAL_CONST(58530.058442584334/8.0),
  2145.     REAL_CONST(58550.798154033931/8.0),
  2146.     REAL_CONST(58571.539702237875/8.0),
  2147.     REAL_CONST(58592.283086870906/8.0),
  2148.     REAL_CONST(58613.028307607929/8.0),
  2149.     REAL_CONST(58633.775364123983/8.0),
  2150.     REAL_CONST(58654.52425609425/8.0),
  2151.     REAL_CONST(58675.274983194053/8.0),
  2152.     REAL_CONST(58696.027545098877/8.0),
  2153.     REAL_CONST(58716.781941484325/8.0),
  2154.     REAL_CONST(58737.538172026158/8.0),
  2155.     REAL_CONST(58758.296236400274/8.0),
  2156.     REAL_CONST(58779.056134282728/8.0),
  2157.     REAL_CONST(58799.817865349694/8.0),
  2158.     REAL_CONST(58820.581429277503/8.0),
  2159.     REAL_CONST(58841.346825742643/8.0),
  2160.     REAL_CONST(58862.114054421712/8.0),
  2161.     REAL_CONST(58882.883114991484/8.0),
  2162.     REAL_CONST(58903.654007128847/8.0),
  2163.     REAL_CONST(58924.426730510851/8.0),
  2164.     REAL_CONST(58945.201284814684/8.0),
  2165.     REAL_CONST(58965.977669717664/8.0),
  2166.     REAL_CONST(58986.755884897269/8.0),
  2167.     REAL_CONST(59007.535930031117/8.0),
  2168.     REAL_CONST(59028.317804796949/8.0),
  2169.     REAL_CONST(59049.101508872664/8.0),
  2170.     REAL_CONST(59069.887041936301/8.0),
  2171.     REAL_CONST(59090.674403666046/8.0),
  2172.     REAL_CONST(59111.463593740213/8.0),
  2173.     REAL_CONST(59132.254611837263/8.0),
  2174.     REAL_CONST(59153.047457635803/8.0),
  2175.     REAL_CONST(59173.84213081457/8.0),
  2176.     REAL_CONST(59194.638631052461/8.0),
  2177.     REAL_CONST(59215.436958028506/8.0),
  2178.     REAL_CONST(59236.237111421855/8.0),
  2179.     REAL_CONST(59257.039090911829/8.0),
  2180.     REAL_CONST(59277.842896177877/8.0),
  2181.     REAL_CONST(59298.648526899589/8.0),
  2182.     REAL_CONST(59319.455982756685/8.0),
  2183.     REAL_CONST(59340.26526342905/8.0),
  2184.     REAL_CONST(59361.076368596696/8.0),
  2185.     REAL_CONST(59381.889297939757/8.0),
  2186.     REAL_CONST(59402.704051138542/8.0),
  2187.     REAL_CONST(59423.520627873484/8.0),
  2188.     REAL_CONST(59444.339027825139/8.0),
  2189.     REAL_CONST(59465.159250674224/8.0),
  2190.     REAL_CONST(59485.9812961016/8.0),
  2191.     REAL_CONST(59506.805163788253/8.0),
  2192.     REAL_CONST(59527.630853415307/8.0),
  2193.     REAL_CONST(59548.458364664046/8.0),
  2194.     REAL_CONST(59569.287697215863/8.0),
  2195.     REAL_CONST(59590.118850752311/8.0),
  2196.     REAL_CONST(59610.951824955089/8.0),
  2197.     REAL_CONST(59631.786619506012/8.0),
  2198.     REAL_CONST(59652.623234087048/8.0),
  2199.     REAL_CONST(59673.461668380311/8.0),
  2200.     REAL_CONST(59694.301922068029/8.0),
  2201.     REAL_CONST(59715.143994832593/8.0),
  2202.     REAL_CONST(59735.987886356525/8.0),
  2203.     REAL_CONST(59756.833596322482/8.0),
  2204.     REAL_CONST(59777.681124413255/8.0),
  2205.     REAL_CONST(59798.530470311794/8.0),
  2206.     REAL_CONST(59819.381633701159/8.0),
  2207.     REAL_CONST(59840.234614264569/8.0),
  2208.     REAL_CONST(59861.089411685381/8.0),
  2209.     REAL_CONST(59881.94602564707/8.0),
  2210.     REAL_CONST(59902.804455833269/8.0),
  2211.     REAL_CONST(59923.664701927737/8.0),
  2212.     REAL_CONST(59944.526763614384/8.0),
  2213.     REAL_CONST(59965.390640577243/8.0),
  2214.     REAL_CONST(59986.256332500488/8.0),
  2215.     REAL_CONST(60007.123839068438/8.0),
  2216.     REAL_CONST(60027.993159965539/8.0),
  2217.     REAL_CONST(60048.864294876381/8.0),
  2218.     REAL_CONST(60069.737243485688/8.0),
  2219.     REAL_CONST(60090.612005478324/8.0),
  2220.     REAL_CONST(60111.488580539284/8.0),
  2221.     REAL_CONST(60132.366968353708/8.0),
  2222.     REAL_CONST(60153.247168606867/8.0),
  2223.     REAL_CONST(60174.129180984164/8.0),
  2224.     REAL_CONST(60195.013005171153/8.0),
  2225.     REAL_CONST(60215.898640853513/8.0),
  2226.     REAL_CONST(60236.786087717061/8.0),
  2227.     REAL_CONST(60257.675345447751/8.0),
  2228.     REAL_CONST(60278.566413731671/8.0),
  2229.     REAL_CONST(60299.459292255044/8.0),
  2230.     REAL_CONST(60320.353980704247/8.0),
  2231.     REAL_CONST(60341.25047876576/8.0),
  2232.     REAL_CONST(60362.148786126229/8.0),
  2233.     REAL_CONST(60383.048902472423/8.0),
  2234.     REAL_CONST(60403.950827491237/8.0),
  2235.     REAL_CONST(60424.854560869717/8.0),
  2236.     REAL_CONST(60445.76010229504/8.0),
  2237.     REAL_CONST(60466.667451454516/8.0),
  2238.     REAL_CONST(60487.57660803559/8.0),
  2239.     REAL_CONST(60508.487571725847/8.0),
  2240.     REAL_CONST(60529.400342212997/8.0),
  2241.     REAL_CONST(60550.314919184893/8.0),
  2242.     REAL_CONST(60571.231302329521/8.0),
  2243.     REAL_CONST(60592.149491335003/8.0),
  2244.     REAL_CONST(60613.069485889588/8.0),
  2245.     REAL_CONST(60633.991285681674/8.0),
  2246.     REAL_CONST(60654.914890399785/8.0),
  2247.     REAL_CONST(60675.840299732568/8.0),
  2248.     REAL_CONST(60696.767513368832/8.0),
  2249.     REAL_CONST(60717.696530997484/8.0),
  2250.     REAL_CONST(60738.627352307602/8.0),
  2251.     REAL_CONST(60759.55997698837/8.0),
  2252.     REAL_CONST(60780.494404729128/8.0),
  2253.     REAL_CONST(60801.430635219323/8.0),
  2254.     REAL_CONST(60822.368668148556/8.0),
  2255.     REAL_CONST(60843.308503206565/8.0),
  2256.     REAL_CONST(60864.250140083204/8.0),
  2257.     REAL_CONST(60885.193578468468/8.0),
  2258.     REAL_CONST(60906.138818052495/8.0),
  2259.     REAL_CONST(60927.085858525541/8.0),
  2260.     REAL_CONST(60948.034699578006/8.0),
  2261.     REAL_CONST(60968.985340900421/8.0),
  2262.     REAL_CONST(60989.937782183442/8.0),
  2263.     REAL_CONST(61010.892023117864/8.0),
  2264.     REAL_CONST(61031.848063394616/8.0),
  2265.     REAL_CONST(61052.805902704764/8.0),
  2266.     REAL_CONST(61073.765540739492/8.0),
  2267.     REAL_CONST(61094.726977190134/8.0),
  2268.     REAL_CONST(61115.690211748137/8.0),
  2269.     REAL_CONST(61136.655244105103/8.0),
  2270.     REAL_CONST(61157.622073952742/8.0),
  2271.     REAL_CONST(61178.590700982917/8.0),
  2272.     REAL_CONST(61199.561124887616/8.0),
  2273.     REAL_CONST(61220.533345358948/8.0),
  2274.     REAL_CONST(61241.507362089171/8.0),
  2275.     REAL_CONST(61262.483174770663/8.0),
  2276.     REAL_CONST(61283.460783095943/8.0),
  2277.     REAL_CONST(61304.440186757645/8.0),
  2278.     REAL_CONST(61325.421385448557/8.0),
  2279.     REAL_CONST(61346.404378861582/8.0),
  2280.     REAL_CONST(61367.389166689762/8.0),
  2281.     REAL_CONST(61388.375748626262/8.0),
  2282.     REAL_CONST(61409.364124364387/8.0),
  2283.     REAL_CONST(61430.354293597571/8.0),
  2284.     REAL_CONST(61451.346256019373/8.0),
  2285.     REAL_CONST(61472.340011323497/8.0),
  2286.     REAL_CONST(61493.335559203762/8.0),
  2287.     REAL_CONST(61514.332899354122/8.0),
  2288.     REAL_CONST(61535.332031468672/8.0),
  2289.     REAL_CONST(61556.332955241618/8.0),
  2290.     REAL_CONST(61577.335670367313/8.0),
  2291.     REAL_CONST(61598.340176540238/8.0),
  2292.     REAL_CONST(61619.346473454993/8.0),
  2293.     REAL_CONST(61640.354560806329/8.0),
  2294.     REAL_CONST(61661.3644382891/8.0),
  2295.     REAL_CONST(61682.376105598312/8.0),
  2296.     REAL_CONST(61703.389562429089/8.0),
  2297.     REAL_CONST(61724.404808476691/8.0),
  2298.     REAL_CONST(61745.42184343651/8.0),
  2299.     REAL_CONST(61766.440667004063/8.0),
  2300.     REAL_CONST(61787.461278874987/8.0),
  2301.     REAL_CONST(61808.483678745069/8.0),
  2302.     REAL_CONST(61829.507866310203/8.0),
  2303.     REAL_CONST(61850.533841266435/8.0),
  2304.     REAL_CONST(61871.561603309929/8.0),
  2305.     REAL_CONST(61892.591152136971/8.0),
  2306.     REAL_CONST(61913.622487443987/8.0),
  2307.     REAL_CONST(61934.655608927525/8.0),
  2308.     REAL_CONST(61955.690516284267/8.0),
  2309.     REAL_CONST(61976.727209211022/8.0),
  2310.     REAL_CONST(61997.765687404724/8.0),
  2311.     REAL_CONST(62018.805950562448/8.0),
  2312.     REAL_CONST(62039.847998381381/8.0),
  2313.     REAL_CONST(62060.891830558845/8.0),
  2314.     REAL_CONST(62081.93744679229/8.0),
  2315.     REAL_CONST(62102.984846779298/8.0),
  2316.     REAL_CONST(62124.034030217575/8.0),
  2317.     REAL_CONST(62145.084996804966/8.0),
  2318.     REAL_CONST(62166.137746239416/8.0),
  2319.     REAL_CONST(62187.19227821903/8.0),
  2320.     REAL_CONST(62208.248592442025/8.0),
  2321.     REAL_CONST(62229.306688606739/8.0),
  2322.     REAL_CONST(62250.366566411656/8.0),
  2323.     REAL_CONST(62271.428225555377/8.0),
  2324.     REAL_CONST(62292.491665736627/8.0),
  2325.     REAL_CONST(62313.556886654267/8.0),
  2326.     REAL_CONST(62334.623888007271/8.0),
  2327.     REAL_CONST(62355.692669494762/8.0),
  2328.     REAL_CONST(62376.763230815974/8.0),
  2329.     REAL_CONST(62397.835571670272/8.0),
  2330.     REAL_CONST(62418.909691757144/8.0),
  2331.     REAL_CONST(62439.98559077621/8.0),
  2332.     REAL_CONST(62461.063268427228/8.0),
  2333.     REAL_CONST(62482.142724410049/8.0),
  2334.     REAL_CONST(62503.223958424685/8.0),
  2335.     REAL_CONST(62524.306970171267/8.0),
  2336.     REAL_CONST(62545.39175935003/8.0),
  2337.     REAL_CONST(62566.478325661366/8.0),
  2338.     REAL_CONST(62587.566668805768/8.0),
  2339.     REAL_CONST(62608.656788483881/8.0),
  2340.     REAL_CONST(62629.748684396451/8.0),
  2341.     REAL_CONST(62650.842356244357/8.0),
  2342.     REAL_CONST(62671.937803728622/8.0),
  2343.     REAL_CONST(62693.035026550366/8.0),
  2344.     REAL_CONST(62714.134024410858/8.0),
  2345.     REAL_CONST(62735.234797011479/8.0),
  2346.     REAL_CONST(62756.337344053733/8.0),
  2347.     REAL_CONST(62777.441665239276/8.0),
  2348.     REAL_CONST(62798.547760269852/8.0),
  2349.     REAL_CONST(62819.655628847358/8.0),
  2350.     REAL_CONST(62840.765270673801/8.0),
  2351.     REAL_CONST(62861.876685451323/8.0),
  2352.     REAL_CONST(62882.989872882186/8.0),
  2353.     REAL_CONST(62904.104832668774/8.0),
  2354.     REAL_CONST(62925.221564513602/8.0),
  2355.     REAL_CONST(62946.340068119309/8.0),
  2356.     REAL_CONST(62967.460343188657/8.0),
  2357.     REAL_CONST(62988.582389424526/8.0),
  2358.     REAL_CONST(63009.70620652994/8.0),
  2359.     REAL_CONST(63030.831794208025/8.0),
  2360.     REAL_CONST(63051.959152162039/8.0),
  2361.     REAL_CONST(63073.08828009537/8.0),
  2362.     REAL_CONST(63094.219177711529/8.0),
  2363.     REAL_CONST(63115.351844714154/8.0),
  2364.     REAL_CONST(63136.486280806988/8.0),
  2365.     REAL_CONST(63157.622485693922/8.0),
  2366.     REAL_CONST(63178.760459078956/8.0),
  2367.     REAL_CONST(63199.900200666219/8.0),
  2368.     REAL_CONST(63221.041710159967/8.0),
  2369.     REAL_CONST(63242.184987264569/8.0),
  2370.     REAL_CONST(63263.330031684534/8.0),
  2371.     REAL_CONST(63284.476843124474/8.0),
  2372.     REAL_CONST(63305.625421289144/8.0),
  2373.     REAL_CONST(63326.775765883409/8.0),
  2374.     REAL_CONST(63347.927876612259/8.0),
  2375.     REAL_CONST(63369.081753180813/8.0),
  2376.     REAL_CONST(63390.237395294316/8.0),
  2377.     REAL_CONST(63411.39480265812/8.0),
  2378.     REAL_CONST(63432.553974977716/8.0),
  2379.     REAL_CONST(63453.714911958712/8.0),
  2380.     REAL_CONST(63474.877613306839/8.0),
  2381.     REAL_CONST(63496.042078727944/8.0),
  2382.     REAL_CONST(63517.208307927998/8.0),
  2383.     REAL_CONST(63538.376300613119/8.0),
  2384.     REAL_CONST(63559.546056489504/8.0),
  2385.     REAL_CONST(63580.717575263516/8.0),
  2386.     REAL_CONST(63601.890856641607/8.0),
  2387.     REAL_CONST(63623.065900330374/8.0),
  2388.     REAL_CONST(63644.242706036515/8.0),
  2389.     REAL_CONST(63665.421273466869/8.0),
  2390.     REAL_CONST(63686.601602328381/8.0),
  2391.     REAL_CONST(63707.783692328136/8.0),
  2392.     REAL_CONST(63728.967543173334/8.0),
  2393.     REAL_CONST(63750.153154571279/8.0),
  2394.     REAL_CONST(63771.340526229418/8.0),
  2395.     REAL_CONST(63792.529657855317/8.0),
  2396.     REAL_CONST(63813.720549156649/8.0),
  2397.     REAL_CONST(63834.913199841227/8.0),
  2398.     REAL_CONST(63856.107609616978/8.0),
  2399.     REAL_CONST(63877.303778191941/8.0),
  2400.     REAL_CONST(63898.501705274284/8.0),
  2401.     REAL_CONST(63919.7013905723/8.0),
  2402.     REAL_CONST(63940.902833794404/8.0),
  2403.     REAL_CONST(63962.106034649114/8.0),
  2404.     REAL_CONST(63983.310992845094/8.0),
  2405.     REAL_CONST(64004.517708091109/8.0),
  2406.     REAL_CONST(64025.726180096048/8.0),
  2407.     REAL_CONST(64046.936408568938/8.0),
  2408.     REAL_CONST(64068.1483932189/8.0),
  2409.     REAL_CONST(64089.362133755196/8.0),
  2410.     REAL_CONST(64110.577629887193/8.0),
  2411.     REAL_CONST(64131.794881324393/8.0),
  2412.     REAL_CONST(64153.013887776404/8.0),
  2413.     REAL_CONST(64174.234648952966/8.0),
  2414.     REAL_CONST(64195.457164563937/8.0),
  2415.     REAL_CONST(64216.681434319289/8.0),
  2416.     REAL_CONST(64237.907457929112/8.0),
  2417.     REAL_CONST(64259.135235103626/8.0),
  2418.     REAL_CONST(64280.36476555316/8.0),
  2419.     REAL_CONST(64301.596048988169/8.0),
  2420.     REAL_CONST(64322.829085119236/8.0),
  2421.     REAL_CONST(64344.06387365704/8.0),
  2422.     REAL_CONST(64365.300414312398/8.0),
  2423.     REAL_CONST(64386.538706796251/8.0),
  2424.     REAL_CONST(64407.778750819634/8.0),
  2425.     REAL_CONST(64429.020546093721/8.0),
  2426.     REAL_CONST(64450.26409232981/8.0),
  2427.     REAL_CONST(64471.509389239291/8.0),
  2428.     REAL_CONST(64492.756436533709/8.0),
  2429.     REAL_CONST(64514.005233924705/8.0),
  2430.     REAL_CONST(64535.255781124033/8.0),
  2431.     REAL_CONST(64556.50807784358/8.0),
  2432.     REAL_CONST(64577.762123795357/8.0),
  2433.     REAL_CONST(64599.017918691468/8.0),
  2434.     REAL_CONST(64620.275462244172/8.0),
  2435.     REAL_CONST(64641.534754165805/8.0),
  2436.     REAL_CONST(64662.795794168844/8.0),
  2437.     REAL_CONST(64684.058581965895/8.0),
  2438.     REAL_CONST(64705.323117269661/8.0),
  2439.     REAL_CONST(64726.589399792974/8.0),
  2440.     REAL_CONST(64747.857429248776/8.0),
  2441.     REAL_CONST(64769.127205350138/8.0),
  2442.     REAL_CONST(64790.398727810236/8.0),
  2443.     REAL_CONST(64811.671996342375/8.0),
  2444.     REAL_CONST(64832.947010659969/8.0),
  2445.     REAL_CONST(64854.223770476558/8.0),
  2446.     REAL_CONST(64875.502275505794/8.0),
  2447.     REAL_CONST(64896.782525461451/8.0),
  2448.     REAL_CONST(64918.064520057414/8.0),
  2449.     REAL_CONST(64939.348259007682/8.0),
  2450.     REAL_CONST(64960.633742026388/8.0),
  2451.     REAL_CONST(64981.920968827762/8.0),
  2452.     REAL_CONST(65003.209939126165/8.0),
  2453.     REAL_CONST(65024.500652636067/8.0),
  2454.     REAL_CONST(65045.793109072067/8.0),
  2455.     REAL_CONST(65067.087308148861/8.0),
  2456.     REAL_CONST(65088.383249581282/8.0),
  2457.     REAL_CONST(65109.680933084259/8.0),
  2458.     REAL_CONST(65130.980358372864/8.0),
  2459.     REAL_CONST(65152.28152516226/8.0),
  2460.     REAL_CONST(65173.584433167736/8.0),
  2461.     REAL_CONST(65194.889082104703/8.0),
  2462.     REAL_CONST(65216.195471688683/8.0),
  2463.     REAL_CONST(65237.503601635319/8.0),
  2464.     REAL_CONST(65258.813471660353/8.0),
  2465.     REAL_CONST(65280.125081479666/8.0),
  2466.     REAL_CONST(65301.438430809241/8.0),
  2467.     REAL_CONST(65322.753519365178/8.0),
  2468.     REAL_CONST(65344.070346863708/8.0),
  2469.     REAL_CONST(65365.388913021146/8.0),
  2470.     REAL_CONST(65386.709217553958/8.0),
  2471.     REAL_CONST(65408.031260178701/8.0),
  2472.     REAL_CONST(65429.355040612056/8.0),
  2473.     REAL_CONST(65450.680558570821/8.0),
  2474.     REAL_CONST(65472.00781377191/8.0),
  2475.     REAL_CONST(65493.336805932355/8.0),
  2476.     REAL_CONST(65514.66753476928/8.0),
  2477.     REAL_CONST(65535.999999999956/8.0),
  2478.     REAL_CONST(65557.334201341757/8.0),
  2479.     REAL_CONST(65578.670138512171/8.0),
  2480.     REAL_CONST(65600.007811228788/8.0),
  2481.     REAL_CONST(65621.347219209332/8.0),
  2482.     REAL_CONST(65642.688362171626/8.0),
  2483.     REAL_CONST(65664.031239833639/8.0),
  2484.     REAL_CONST(65685.375851913413/8.0),
  2485.     REAL_CONST(65706.722198129137/8.0),
  2486.     REAL_CONST(65728.070278199084/8.0),
  2487.     REAL_CONST(65749.420091841661/8.0),
  2488.     REAL_CONST(65770.771638775404/8.0),
  2489.     REAL_CONST(65792.124918718939/8.0),
  2490.     REAL_CONST(65813.479931391004/8.0),
  2491.     REAL_CONST(65834.836676510458/8.0),
  2492.     REAL_CONST(65856.195153796303/8.0),
  2493.     REAL_CONST(65877.5553629676/8.0),
  2494.     REAL_CONST(65898.917303743554/8.0),
  2495.     REAL_CONST(65920.280975843489/8.0),
  2496.     REAL_CONST(65941.646378986843/8.0),
  2497.     REAL_CONST(65963.013512893158/8.0),
  2498.     REAL_CONST(65984.382377282076/8.0),
  2499.     REAL_CONST(66005.752971873386/8.0),
  2500.     REAL_CONST(66027.125296386963/8.0),
  2501.     REAL_CONST(66048.499350542799/8.0),
  2502.     REAL_CONST(66069.875134061018/8.0),
  2503.     REAL_CONST(66091.252646661844/8.0),
  2504.     REAL_CONST(66112.631888065618/8.0),
  2505.     REAL_CONST(66134.01285799277/8.0),
  2506.     REAL_CONST(66155.395556163887/8.0),
  2507.     REAL_CONST(66176.779982299631/8.0),
  2508.     REAL_CONST(66198.166136120795/8.0),
  2509.     REAL_CONST(66219.554017348273/8.0),
  2510.     REAL_CONST(66240.943625703105/8.0),
  2511.     REAL_CONST(66262.334960906388/8.0),
  2512.     REAL_CONST(66283.728022679396/8.0),
  2513.     REAL_CONST(66305.122810743444/8.0),
  2514.     REAL_CONST(66326.519324820023/8.0),
  2515.     REAL_CONST(66347.917564630698/8.0),
  2516.     REAL_CONST(66369.317529897162/8.0),
  2517.     REAL_CONST(66390.719220341227/8.0),
  2518.     REAL_CONST(66412.122635684791/8.0),
  2519.     REAL_CONST(66433.527775649884/8.0),
  2520.     REAL_CONST(66454.934639958636/8.0),
  2521.     REAL_CONST(66476.343228333324/8.0),
  2522.     REAL_CONST(66497.753540496284/8.0),
  2523.     REAL_CONST(66519.165576169995/8.0),
  2524.     REAL_CONST(66540.57933507704/8.0),
  2525.     REAL_CONST(66561.994816940118/8.0),
  2526.     REAL_CONST(66583.412021482043/8.0),
  2527.     REAL_CONST(66604.830948425733/8.0),
  2528.     REAL_CONST(66626.251597494222/8.0),
  2529.     REAL_CONST(66647.673968410629/8.0),
  2530.     REAL_CONST(66669.098060898235/8.0),
  2531.     REAL_CONST(66690.523874680381/8.0),
  2532.     REAL_CONST(66711.951409480564/8.0),
  2533.     REAL_CONST(66733.380665022371/8.0),
  2534.     REAL_CONST(66754.811641029475/8.0),
  2535.     REAL_CONST(66776.244337225711/8.0),
  2536.     REAL_CONST(66797.678753334985/8.0),
  2537.     REAL_CONST(66819.11488908132/8.0),
  2538.     REAL_CONST(66840.552744188884/8.0),
  2539.     REAL_CONST(66861.992318381905/8.0),
  2540.     REAL_CONST(66883.433611384738/8.0),
  2541.     REAL_CONST(66904.876622921889/8.0),
  2542.     REAL_CONST(66926.321352717903/8.0),
  2543.     REAL_CONST(66947.767800497502/8.0),
  2544.     REAL_CONST(66969.215965985466/8.0),
  2545.     REAL_CONST(66990.665848906734/8.0),
  2546.     REAL_CONST(67012.117448986304/8.0),
  2547.     REAL_CONST(67033.570765949335/8.0),
  2548.     REAL_CONST(67055.025799521056/8.0),
  2549.     REAL_CONST(67076.482549426815/8.0),
  2550.     REAL_CONST(67097.941015392076/8.0),
  2551.     REAL_CONST(67119.401197142433/8.0),
  2552.     REAL_CONST(67140.863094403554/8.0),
  2553.     REAL_CONST(67162.326706901222/8.0),
  2554.     REAL_CONST(67183.792034361351/8.0),
  2555.     REAL_CONST(67205.259076509959/8.0),
  2556.     REAL_CONST(67226.72783307315/8.0),
  2557.     REAL_CONST(67248.198303777172/8.0),
  2558.     REAL_CONST(67269.670488348347/8.0),
  2559.     REAL_CONST(67291.144386513144/8.0),
  2560.     REAL_CONST(67312.619997998088/8.0),
  2561.     REAL_CONST(67334.09732252988/8.0),
  2562.     REAL_CONST(67355.576359835293/8.0),
  2563.     REAL_CONST(67377.057109641188/8.0),
  2564.     REAL_CONST(67398.53957167457/8.0),
  2565.     REAL_CONST(67420.023745662547/8.0),
  2566.     REAL_CONST(67441.50963133233/8.0),
  2567.     REAL_CONST(67462.99722841123/8.0),
  2568.     REAL_CONST(67484.486536626689/8.0),
  2569.     REAL_CONST(67505.977555706224/8.0),
  2570.     REAL_CONST(67527.470285377494/8.0),
  2571.     REAL_CONST(67548.964725368263/8.0),
  2572.     REAL_CONST(67570.460875406367/8.0),
  2573.     REAL_CONST(67591.9587352198/8.0),
  2574.     REAL_CONST(67613.458304536631/8.0),
  2575.     REAL_CONST(67634.95958308503/8.0),
  2576.     REAL_CONST(67656.462570593329/8.0),
  2577.     REAL_CONST(67677.967266789899/8.0),
  2578.     REAL_CONST(67699.473671403248/8.0),
  2579.     REAL_CONST(67720.981784162024/8.0),
  2580.     REAL_CONST(67742.491604794923/8.0),
  2581.     REAL_CONST(67764.003133030797/8.0),
  2582.     REAL_CONST(67785.516368598575/8.0),
  2583.     REAL_CONST(67807.031311227314/8.0),
  2584.     REAL_CONST(67828.547960646174/8.0),
  2585.     REAL_CONST(67850.066316584402/8.0),
  2586.     REAL_CONST(67871.58637877139/8.0),
  2587.     REAL_CONST(67893.108146936589/8.0),
  2588.     REAL_CONST(67914.63162080961/8.0),
  2589.     REAL_CONST(67936.156800120138/8.0),
  2590.     REAL_CONST(67957.683684597971/8.0),
  2591.     REAL_CONST(67979.212273973011/8.0),
  2592.     REAL_CONST(68000.742567975263/8.0),
  2593.     REAL_CONST(68022.274566334876/8.0),
  2594.     REAL_CONST(68043.808268782057/8.0),
  2595.     REAL_CONST(68065.343675047145/8.0),
  2596.     REAL_CONST(68086.880784860579/8.0),
  2597.     REAL_CONST(68108.419597952918/8.0),
  2598.     REAL_CONST(68129.960114054789/8.0),
  2599.     REAL_CONST(68151.502332896969/8.0),
  2600.     REAL_CONST(68173.04625421032/8.0),
  2601.     REAL_CONST(68194.591877725834/8.0),
  2602.     REAL_CONST(68216.139203174564/8.0),
  2603.     REAL_CONST(68237.688230287706/8.0),
  2604.     REAL_CONST(68259.238958796544/8.0),
  2605.     REAL_CONST(68280.791388432481/8.0),
  2606.     REAL_CONST(68302.345518927032/8.0),
  2607.     REAL_CONST(68323.901350011787/8.0),
  2608.     REAL_CONST(68345.458881418483/8.0),
  2609.     REAL_CONST(68367.018112878912/8.0),
  2610.     REAL_CONST(68388.579044125028/8.0),
  2611.     REAL_CONST(68410.141674888844/8.0),
  2612.     REAL_CONST(68431.706004902502/8.0),
  2613.     REAL_CONST(68453.272033898262/8.0),
  2614.     REAL_CONST(68474.839761608455/8.0),
  2615.     REAL_CONST(68496.409187765545/8.0),
  2616.     REAL_CONST(68517.980312102081/8.0),
  2617.     REAL_CONST(68539.553134350732/8.0),
  2618.     REAL_CONST(68561.127654244279/8.0),
  2619.     REAL_CONST(68582.70387151558/8.0),
  2620.     REAL_CONST(68604.281785897634/8.0),
  2621.     REAL_CONST(68625.861397123503/8.0),
  2622.     REAL_CONST(68647.44270492639/8.0),
  2623.     REAL_CONST(68669.025709039604/8.0),
  2624.     REAL_CONST(68690.610409196524/8.0),
  2625.     REAL_CONST(68712.196805130661/8.0),
  2626.     REAL_CONST(68733.784896575627/8.0),
  2627.     REAL_CONST(68755.374683265123/8.0),
  2628.     REAL_CONST(68776.966164932994/8.0),
  2629.     REAL_CONST(68798.559341313128/8.0),
  2630.     REAL_CONST(68820.154212139591/8.0),
  2631.     REAL_CONST(68841.750777146473/8.0),
  2632.     REAL_CONST(68863.349036068044/8.0),
  2633.     REAL_CONST(68884.948988638629/8.0),
  2634.     REAL_CONST(68906.550634592684/8.0),
  2635.     REAL_CONST(68928.153973664739/8.0),
  2636.     REAL_CONST(68949.75900558944/8.0),
  2637.     REAL_CONST(68971.365730101577/8.0),
  2638.     REAL_CONST(68992.974146935987/8.0),
  2639.     REAL_CONST(69014.584255827634/8.0),
  2640.     REAL_CONST(69036.196056511588/8.0),
  2641.     REAL_CONST(69057.809548723017/8.0),
  2642.     REAL_CONST(69079.424732197207/8.0),
  2643.     REAL_CONST(69101.041606669532/8.0),
  2644.     REAL_CONST(69122.660171875468/8.0),
  2645.     REAL_CONST(69144.280427550606/8.0),
  2646.     REAL_CONST(69165.902373430625/8.0),
  2647.     REAL_CONST(69187.526009251334/8.0),
  2648.     REAL_CONST(69209.151334748618/8.0),
  2649.     REAL_CONST(69230.778349658474/8.0),
  2650.     REAL_CONST(69252.40705371699/8.0),
  2651.     REAL_CONST(69274.037446660412/8.0),
  2652.     REAL_CONST(69295.669528225/8.0),
  2653.     REAL_CONST(69317.303298147192/8.0),
  2654.     REAL_CONST(69338.938756163494/8.0),
  2655.     REAL_CONST(69360.575902010532/8.0),
  2656.     REAL_CONST(69382.214735425005/8.0),
  2657.     REAL_CONST(69403.855256143754/8.0),
  2658.     REAL_CONST(69425.497463903681/8.0),
  2659.     REAL_CONST(69447.141358441833/8.0),
  2660.     REAL_CONST(69468.78693949533/8.0),
  2661.     REAL_CONST(69490.434206801394/8.0),
  2662.     REAL_CONST(69512.083160097391/8.0),
  2663.     REAL_CONST(69533.733799120717/8.0),
  2664.     REAL_CONST(69555.386123608929/8.0),
  2665.     REAL_CONST(69577.04013329967/8.0),
  2666.     REAL_CONST(69598.695827930685/8.0),
  2667.     REAL_CONST(69620.353207239794/8.0),
  2668.     REAL_CONST(69642.012270964973/8.0),
  2669.     REAL_CONST(69663.67301884426/8.0),
  2670.     REAL_CONST(69685.335450615792/8.0),
  2671.     REAL_CONST(69706.999566017839/8.0),
  2672.     REAL_CONST(69728.665364788743/8.0),
  2673.     REAL_CONST(69750.332846666963/8.0),
  2674.     REAL_CONST(69772.002011391058/8.0),
  2675.     REAL_CONST(69793.672858699691/8.0),
  2676.     REAL_CONST(69815.345388331611/8.0),
  2677.     REAL_CONST(69837.019600025669/8.0),
  2678.     REAL_CONST(69858.695493520849/8.0),
  2679.     REAL_CONST(69880.373068556204/8.0),
  2680.     REAL_CONST(69902.052324870907/8.0),
  2681.     REAL_CONST(69923.733262204216/8.0),
  2682.     REAL_CONST(69945.415880295492/8.0),
  2683.     REAL_CONST(69967.100178884211/8.0),
  2684.     REAL_CONST(69988.786157709939/8.0),
  2685.     REAL_CONST(70010.473816512356/8.0),
  2686.     REAL_CONST(70032.163155031216/8.0),
  2687.     REAL_CONST(70053.854173006403/8.0),
  2688.     REAL_CONST(70075.546870177874/8.0),
  2689.     REAL_CONST(70097.241246285717/8.0),
  2690.     REAL_CONST(70118.937301070109/8.0),
  2691.     REAL_CONST(70140.635034271298/8.0),
  2692.     REAL_CONST(70162.334445629691/8.0),
  2693.     REAL_CONST(70184.035534885741/8.0),
  2694.     REAL_CONST(70205.738301780017/8.0),
  2695.     REAL_CONST(70227.442746053217/8.0),
  2696.     REAL_CONST(70249.1488674461/8.0),
  2697.     REAL_CONST(70270.856665699539/8.0),
  2698.     REAL_CONST(70292.566140554511/8.0),
  2699.     REAL_CONST(70314.277291752107/8.0),
  2700.     REAL_CONST(70335.990119033493/8.0),
  2701.     REAL_CONST(70357.704622139936/8.0),
  2702.     REAL_CONST(70379.420800812819/8.0),
  2703.     REAL_CONST(70401.138654793613/8.0),
  2704.     REAL_CONST(70422.85818382389/8.0),
  2705.     REAL_CONST(70444.579387645339/8.0),
  2706.     REAL_CONST(70466.302265999722/8.0),
  2707.     REAL_CONST(70488.026818628918/8.0),
  2708.     REAL_CONST(70509.753045274876/8.0),
  2709.     REAL_CONST(70531.480945679708/8.0),
  2710.     REAL_CONST(70553.210519585555/8.0),
  2711.     REAL_CONST(70574.941766734701/8.0),
  2712.     REAL_CONST(70596.674686869505/8.0),
  2713.     REAL_CONST(70618.409279732456/8.0),
  2714.     REAL_CONST(70640.145545066101/8.0),
  2715.     REAL_CONST(70661.883482613106/8.0),
  2716.     REAL_CONST(70683.623092116264/8.0),
  2717.     REAL_CONST(70705.364373318414/8.0),
  2718.     REAL_CONST(70727.107325962526/8.0),
  2719.     REAL_CONST(70748.851949791671/8.0),
  2720.     REAL_CONST(70770.598244549008/8.0),
  2721.     REAL_CONST(70792.346209977783/8.0),
  2722.     REAL_CONST(70814.095845821372/8.0),
  2723.     REAL_CONST(70835.847151823225/8.0),
  2724.     REAL_CONST(70857.600127726895/8.0),
  2725.     REAL_CONST(70879.354773276034/8.0),
  2726.     REAL_CONST(70901.111088214413/8.0),
  2727.     REAL_CONST(70922.869072285859/8.0),
  2728.     REAL_CONST(70944.628725234332/8.0),
  2729.     REAL_CONST(70966.390046803877/8.0),
  2730.     REAL_CONST(70988.153036738629/8.0),
  2731.     REAL_CONST(71009.917694782853/8.0),
  2732.     REAL_CONST(71031.684020680885/8.0),
  2733.     REAL_CONST(71053.45201417715/8.0),
  2734.     REAL_CONST(71075.221675016204/8.0),
  2735.     REAL_CONST(71096.993002942661/8.0),
  2736.     REAL_CONST(71118.765997701266/8.0),
  2737.     REAL_CONST(71140.540659036851/8.0),
  2738.     REAL_CONST(71162.316986694335/8.0),
  2739.     REAL_CONST(71184.09498041874/8.0),
  2740.     REAL_CONST(71205.874639955218/8.0),
  2741.     REAL_CONST(71227.655965048951/8.0),
  2742.     REAL_CONST(71249.438955445294/8.0),
  2743.     REAL_CONST(71271.223610889632/8.0),
  2744.     REAL_CONST(71293.009931127483/8.0),
  2745.     REAL_CONST(71314.797915904477/8.0),
  2746.     REAL_CONST(71336.587564966307/8.0),
  2747.     REAL_CONST(71358.378878058764/8.0),
  2748.     REAL_CONST(71380.171854927772/8.0),
  2749.     REAL_CONST(71401.966495319313/8.0),
  2750.     REAL_CONST(71423.762798979486/8.0),
  2751.     REAL_CONST(71445.560765654489/8.0),
  2752.     REAL_CONST(71467.360395090596/8.0),
  2753.     REAL_CONST(71489.161687034211/8.0),
  2754.     REAL_CONST(71510.964641231811/8.0),
  2755.     REAL_CONST(71532.769257429973/8.0),
  2756.     REAL_CONST(71554.575535375348/8.0),
  2757.     REAL_CONST(71576.383474814749/8.0),
  2758.     REAL_CONST(71598.19307549503/8.0),
  2759.     REAL_CONST(71620.004337163133/8.0),
  2760.     REAL_CONST(71641.817259566145/8.0),
  2761.     REAL_CONST(71663.631842451214/8.0),
  2762.     REAL_CONST(71685.4480855656/8.0),
  2763.     REAL_CONST(71707.26598865664/8.0),
  2764.     REAL_CONST(71729.085551471784/8.0),
  2765.     REAL_CONST(71750.906773758586/8.0),
  2766.     REAL_CONST(71772.729655264673/8.0),
  2767.     REAL_CONST(71794.554195737772/8.0),
  2768.     REAL_CONST(71816.380394925713/8.0),
  2769.     REAL_CONST(71838.208252576442/8.0),
  2770.     REAL_CONST(71860.037768437964/8.0),
  2771.     REAL_CONST(71881.868942258385/8.0),
  2772.     REAL_CONST(71903.701773785942/8.0),
  2773.     REAL_CONST(71925.536262768932/8.0),
  2774.     REAL_CONST(71947.372408955751/8.0),
  2775.     REAL_CONST(71969.210212094898/8.0),
  2776.     REAL_CONST(71991.049671934976/8.0),
  2777.     REAL_CONST(72012.890788224686/8.0),
  2778.     REAL_CONST(72034.73356071279/8.0),
  2779.     REAL_CONST(72056.577989148165/8.0),
  2780.     REAL_CONST(72078.424073279821/8.0),
  2781.     REAL_CONST(72100.271812856794/8.0),
  2782.     REAL_CONST(72122.121207628254/8.0),
  2783.     REAL_CONST(72143.97225734347/8.0),
  2784.     REAL_CONST(72165.824961751801/8.0),
  2785.     REAL_CONST(72187.679320602692/8.0),
  2786.     REAL_CONST(72209.53533364569/8.0),
  2787.     REAL_CONST(72231.393000630429/8.0),
  2788.     REAL_CONST(72253.252321306645/8.0),
  2789.     REAL_CONST(72275.113295424177/8.0),
  2790.     REAL_CONST(72296.975922732949/8.0),
  2791.     REAL_CONST(72318.840202982959/8.0),
  2792.     REAL_CONST(72340.706135924338/8.0),
  2793.     REAL_CONST(72362.573721307272/8.0),
  2794.     REAL_CONST(72384.442958882093/8.0),
  2795.     REAL_CONST(72406.313848399179/8.0),
  2796.     REAL_CONST(72428.186389609036/8.0),
  2797.     REAL_CONST(72450.060582262216/8.0),
  2798.     REAL_CONST(72471.936426109431/8.0),
  2799.     REAL_CONST(72493.813920901433/8.0),
  2800.     REAL_CONST(72515.693066389096/8.0),
  2801.     REAL_CONST(72537.573862323392/8.0),
  2802.     REAL_CONST(72559.456308455352/8.0),
  2803.     REAL_CONST(72581.340404536139/8.0),
  2804.     REAL_CONST(72603.226150316987/8.0),
  2805.     REAL_CONST(72625.113545549248/8.0),
  2806.     REAL_CONST(72647.002589984331/8.0),
  2807.     REAL_CONST(72668.893283373764/8.0),
  2808.     REAL_CONST(72690.785625469172/8.0),
  2809.     REAL_CONST(72712.679616022273/8.0),
  2810.     REAL_CONST(72734.575254784853/8.0),
  2811.     REAL_CONST(72756.472541508803/8.0),
  2812.     REAL_CONST(72778.371475946144/8.0),
  2813.     REAL_CONST(72800.272057848939/8.0),
  2814.     REAL_CONST(72822.174286969355/8.0),
  2815.     REAL_CONST(72844.07816305969/8.0),
  2816.     REAL_CONST(72865.983685872285/8.0),
  2817.     REAL_CONST(72887.890855159596/8.0),
  2818.     REAL_CONST(72909.799670674183/8.0),
  2819.     REAL_CONST(72931.710132168693/8.0),
  2820.     REAL_CONST(72953.622239395845/8.0),
  2821.     REAL_CONST(72975.535992108475/8.0),
  2822.     REAL_CONST(72997.451390059519/8.0),
  2823.     REAL_CONST(73019.368433001961/8.0),
  2824.     REAL_CONST(73041.287120688925/8.0),
  2825.     REAL_CONST(73063.207452873612/8.0),
  2826.     REAL_CONST(73085.129429309294/8.0),
  2827.     REAL_CONST(73107.053049749389/8.0),
  2828.     REAL_CONST(73128.978313947344/8.0),
  2829.     REAL_CONST(73150.905221656736/8.0),
  2830.     REAL_CONST(73172.833772631217/8.0),
  2831.     REAL_CONST(73194.763966624567/8.0),
  2832.     REAL_CONST(73216.695803390612/8.0),
  2833.     REAL_CONST(73238.62928268328/8.0),
  2834.     REAL_CONST(73260.564404256627/8.0),
  2835.     REAL_CONST(73282.501167864757/8.0),
  2836.     REAL_CONST(73304.439573261901/8.0),
  2837.     REAL_CONST(73326.379620202337/8.0),
  2838.     REAL_CONST(73348.321308440485/8.0),
  2839.     REAL_CONST(73370.264637730841/8.0),
  2840.     REAL_CONST(73392.209607827957/8.0),
  2841.     REAL_CONST(73414.156218486532/8.0),
  2842.     REAL_CONST(73436.104469461323/8.0),
  2843.     REAL_CONST(73458.054360507173/8.0),
  2844.     REAL_CONST(73480.005891379056/8.0),
  2845.     REAL_CONST(73501.959061831993/8.0),
  2846.     REAL_CONST(73523.913871621116/8.0),
  2847.     REAL_CONST(73545.870320501665/8.0),
  2848.     REAL_CONST(73567.828408228932/8.0),
  2849.     REAL_CONST(73589.78813455833/8.0),
  2850.     REAL_CONST(73611.749499245358/8.0),
  2851.     REAL_CONST(73633.712502045615/8.0),
  2852.     REAL_CONST(73655.677142714747/8.0),
  2853.     REAL_CONST(73677.643421008557/8.0),
  2854.     REAL_CONST(73699.611336682879/8.0),
  2855.     REAL_CONST(73721.580889493693/8.0),
  2856.     REAL_CONST(73743.552079197019/8.0),
  2857.     REAL_CONST(73765.524905548999/8.0),
  2858.     REAL_CONST(73787.499368305856/8.0),
  2859.     REAL_CONST(73809.475467223907/8.0),
  2860.     REAL_CONST(73831.453202059551/8.0),
  2861.     REAL_CONST(73853.432572569291/8.0),
  2862.     REAL_CONST(73875.413578509717/8.0),
  2863.     REAL_CONST(73897.396219637507/8.0),
  2864.     REAL_CONST(73919.380495709411/8.0),
  2865.     REAL_CONST(73941.36640648231/8.0),
  2866.     REAL_CONST(73963.353951713143/8.0),
  2867.     REAL_CONST(73985.343131158952/8.0),
  2868.     REAL_CONST(74007.333944576865/8.0),
  2869.     REAL_CONST(74029.326391724098/8.0),
  2870.     REAL_CONST(74051.320472357969/8.0),
  2871.     REAL_CONST(74073.316186235883/8.0),
  2872.     REAL_CONST(74095.313533115303/8.0),
  2873.     REAL_CONST(74117.312512753837/8.0),
  2874.     REAL_CONST(74139.313124909138/8.0),
  2875.     REAL_CONST(74161.315369338976/8.0),
  2876.     REAL_CONST(74183.319245801191/8.0),
  2877.     REAL_CONST(74205.324754053727/8.0),
  2878.     REAL_CONST(74227.331893854629/8.0),
  2879.     REAL_CONST(74249.340664961986/8.0),
  2880.     REAL_CONST(74271.351067134034/8.0),
  2881.     REAL_CONST(74293.363100129049/8.0),
  2882.     REAL_CONST(74315.376763705441/8.0),
  2883.     REAL_CONST(74337.392057621662/8.0),
  2884.     REAL_CONST(74359.408981636298/8.0),
  2885.     REAL_CONST(74381.427535508003/8.0),
  2886.     REAL_CONST(74403.447718995507/8.0),
  2887.     REAL_CONST(74425.469531857671/8.0),
  2888.     REAL_CONST(74447.492973853383/8.0),
  2889.     REAL_CONST(74469.518044741693/8.0),
  2890.     REAL_CONST(74491.54474428168/8.0),
  2891.     REAL_CONST(74513.573072232539/8.0),
  2892.     REAL_CONST(74535.603028353551/8.0),
  2893.     REAL_CONST(74557.634612404087/8.0),
  2894.     REAL_CONST(74579.667824143602/8.0),
  2895.     REAL_CONST(74601.702663331642/8.0),
  2896.     REAL_CONST(74623.739129727837/8.0),
  2897.     REAL_CONST(74645.777223091936/8.0),
  2898.     REAL_CONST(74667.816943183716/8.0),
  2899.     REAL_CONST(74689.858289763113/8.0),
  2900.     REAL_CONST(74711.901262590094/8.0),
  2901.     REAL_CONST(74733.945861424741/8.0),
  2902.     REAL_CONST(74755.992086027225/8.0),
  2903.     REAL_CONST(74778.039936157802/8.0),
  2904.     REAL_CONST(74800.089411576817/8.0),
  2905.     REAL_CONST(74822.140512044702/8.0),
  2906.     REAL_CONST(74844.193237321961/8.0),
  2907.     REAL_CONST(74866.24758716923/8.0),
  2908.     REAL_CONST(74888.303561347187/8.0),
  2909.     REAL_CONST(74910.36115961663/8.0),
  2910.     REAL_CONST(74932.420381738411/8.0),
  2911.     REAL_CONST(74954.481227473516/8.0),
  2912.     REAL_CONST(74976.543696582972/8.0),
  2913.     REAL_CONST(74998.607788827925/8.0),
  2914.     REAL_CONST(75020.673503969607/8.0),
  2915.     REAL_CONST(75042.740841769322/8.0),
  2916.     REAL_CONST(75064.809801988464/8.0),
  2917.     REAL_CONST(75086.88038438854/8.0),
  2918.     REAL_CONST(75108.952588731103/8.0),
  2919.     REAL_CONST(75131.026414777836/8.0),
  2920.     REAL_CONST(75153.101862290467/8.0),
  2921.     REAL_CONST(75175.178931030852/8.0),
  2922.     REAL_CONST(75197.257620760924/8.0),
  2923.     REAL_CONST(75219.33793124267/8.0),
  2924.     REAL_CONST(75241.419862238225/8.0),
  2925.     REAL_CONST(75263.503413509738/8.0),
  2926.     REAL_CONST(75285.588584819503/8.0),
  2927.     REAL_CONST(75307.675375929874/8.0),
  2928.     REAL_CONST(75329.763786603318/8.0),
  2929.     REAL_CONST(75351.853816602365/8.0),
  2930.     REAL_CONST(75373.945465689612/8.0),
  2931.     REAL_CONST(75396.038733627807/8.0),
  2932.     REAL_CONST(75418.133620179724/8.0),
  2933.     REAL_CONST(75440.230125108254/8.0),
  2934.     REAL_CONST(75462.32824817636/8.0),
  2935.     REAL_CONST(75484.427989147109/8.0),
  2936.     REAL_CONST(75506.529347783653/8.0),
  2937.     REAL_CONST(75528.63232384919/8.0),
  2938.     REAL_CONST(75550.736917107075/8.0),
  2939.     REAL_CONST(75572.843127320695/8.0),
  2940.     REAL_CONST(75594.950954253538/8.0),
  2941.     REAL_CONST(75617.060397669193/8.0),
  2942.     REAL_CONST(75639.171457331307/8.0),
  2943.     REAL_CONST(75661.284133003646/8.0),
  2944.     REAL_CONST(75683.398424450032/8.0),
  2945.     REAL_CONST(75705.514331434402/8.0),
  2946.     REAL_CONST(75727.631853720741/8.0),
  2947.     REAL_CONST(75749.750991073175/8.0),
  2948.     REAL_CONST(75771.871743255862/8.0),
  2949.     REAL_CONST(75793.994110033076/8.0),
  2950.     REAL_CONST(75816.118091169177/8.0),
  2951.     REAL_CONST(75838.243686428585/8.0),
  2952.     REAL_CONST(75860.370895575848/8.0),
  2953.     REAL_CONST(75882.499718375562/8.0),
  2954.     REAL_CONST(75904.630154592422/8.0),
  2955.     REAL_CONST(75926.762203991224/8.0),
  2956.     REAL_CONST(75948.895866336825/8.0),
  2957.     REAL_CONST(75971.031141394182/8.0),
  2958.     REAL_CONST(75993.168028928325/8.0),
  2959.     REAL_CONST(76015.306528704401/8.0),
  2960.     REAL_CONST(76037.4466404876/8.0),
  2961.     REAL_CONST(76059.588364043215/8.0),
  2962.     REAL_CONST(76081.731699136653/8.0),
  2963.     REAL_CONST(76103.876645533353/8.0),
  2964.     REAL_CONST(76126.023202998884/8.0),
  2965.     REAL_CONST(76148.171371298871/8.0),
  2966.     REAL_CONST(76170.321150199044/8.0),
  2967.     REAL_CONST(76192.472539465205/8.0),
  2968.     REAL_CONST(76214.625538863256/8.0),
  2969.     REAL_CONST(76236.780148159174/8.0),
  2970.     REAL_CONST(76258.936367119008/8.0),
  2971.     REAL_CONST(76281.094195508922/8.0),
  2972.     REAL_CONST(76303.253633095141/8.0),
  2973.     REAL_CONST(76325.414679643975/8.0),
  2974.     REAL_CONST(76347.577334921851/8.0),
  2975.     REAL_CONST(76369.741598695226/8.0),
  2976.     REAL_CONST(76391.907470730686/8.0),
  2977.     REAL_CONST(76414.074950794879/8.0),
  2978.     REAL_CONST(76436.244038654564/8.0),
  2979.     REAL_CONST(76458.414734076548/8.0),
  2980.     REAL_CONST(76480.587036827754/8.0),
  2981.     REAL_CONST(76502.760946675175/8.0),
  2982.     REAL_CONST(76524.936463385893/8.0),
  2983.     REAL_CONST(76547.11358672705/8.0),
  2984.     REAL_CONST(76569.292316465915/8.0),
  2985.     REAL_CONST(76591.472652369819/8.0),
  2986.     REAL_CONST(76613.654594206164/8.0),
  2987.     REAL_CONST(76635.838141742468/8.0),
  2988.     REAL_CONST(76658.023294746308/8.0),
  2989.     REAL_CONST(76680.210052985349/8.0),
  2990.     REAL_CONST(76702.398416227341/8.0),
  2991.     REAL_CONST(76724.588384240138/8.0),
  2992.     REAL_CONST(76746.779956791637/8.0),
  2993.     REAL_CONST(76768.973133649866/8.0),
  2994.     REAL_CONST(76791.167914582897/8.0),
  2995.     REAL_CONST(76813.364299358902/8.0),
  2996.     REAL_CONST(76835.562287746157/8.0),
  2997.     REAL_CONST(76857.761879512967/8.0),
  2998.     REAL_CONST(76879.963074427797/8.0),
  2999.     REAL_CONST(76902.165872259109/8.0),
  3000.     REAL_CONST(76924.37027277553/8.0),
  3001.     REAL_CONST(76946.576275745727/8.0),
  3002.     REAL_CONST(76968.783880938441/8.0),
  3003.     REAL_CONST(76990.993088122515/8.0),
  3004.     REAL_CONST(77013.203897066895/8.0),
  3005.     REAL_CONST(77035.416307540567/8.0),
  3006.     REAL_CONST(77057.630319312622/8.0),
  3007.     REAL_CONST(77079.845932152239/8.0),
  3008.     REAL_CONST(77102.063145828695/8.0),
  3009.     REAL_CONST(77124.281960111301/8.0),
  3010.     REAL_CONST(77146.50237476948/8.0),
  3011.     REAL_CONST(77168.724389572759/8.0),
  3012.     REAL_CONST(77190.948004290723/8.0),
  3013.     REAL_CONST(77213.173218693031/8.0),
  3014.     REAL_CONST(77235.400032549442/8.0),
  3015.     REAL_CONST(77257.628445629802/8.0),
  3016.     REAL_CONST(77279.858457704031/8.0),
  3017.     REAL_CONST(77302.090068542122/8.0),
  3018.     REAL_CONST(77324.323277914169/8.0),
  3019.     REAL_CONST(77346.558085590339/8.0),
  3020.     REAL_CONST(77368.794491340886/8.0),
  3021.     REAL_CONST(77391.032494936138/8.0),
  3022.     REAL_CONST(77413.272096146524/8.0),
  3023.     REAL_CONST(77435.51329474253/8.0),
  3024.     REAL_CONST(77457.756090494731/8.0),
  3025.     REAL_CONST(77480.000483173804/8.0),
  3026.     REAL_CONST(77502.246472550498/8.0),
  3027.     REAL_CONST(77524.494058395634/8.0),
  3028.     REAL_CONST(77546.743240480107/8.0),
  3029.     REAL_CONST(77568.994018574944/8.0),
  3030.     REAL_CONST(77591.246392451198/8.0),
  3031.     REAL_CONST(77613.500361880026/8.0),
  3032.     REAL_CONST(77635.755926632657/8.0),
  3033.     REAL_CONST(77658.013086480438/8.0),
  3034.     REAL_CONST(77680.271841194757/8.0),
  3035.     REAL_CONST(77702.532190547092/8.0),
  3036.     REAL_CONST(77724.794134309021/8.0),
  3037.     REAL_CONST(77747.057672252195/8.0),
  3038.     REAL_CONST(77769.322804148323/8.0),
  3039.     REAL_CONST(77791.589529769248/8.0),
  3040.     REAL_CONST(77813.857848886837/8.0),
  3041.     REAL_CONST(77836.127761273063/8.0),
  3042.     REAL_CONST(77858.399266699998/8.0),
  3043.     REAL_CONST(77880.67236493979/8.0),
  3044.     REAL_CONST(77902.947055764627/8.0),
  3045.     REAL_CONST(77925.223338946831/8.0),
  3046.     REAL_CONST(77947.50121425878/8.0),
  3047.     REAL_CONST(77969.780681472927/8.0),
  3048.     REAL_CONST(77992.061740361838/8.0),
  3049.     REAL_CONST(78014.344390698127/8.0),
  3050.     REAL_CONST(78036.628632254491/8.0),
  3051.     REAL_CONST(78058.914464803747/8.0),
  3052.     REAL_CONST(78081.201888118725/8.0),
  3053.     REAL_CONST(78103.490901972415/8.0),
  3054.     REAL_CONST(78125.781506137821/8.0),
  3055.     REAL_CONST(78148.073700388064/8.0),
  3056.     REAL_CONST(78170.367484496339/8.0),
  3057.     REAL_CONST(78192.662858235926/8.0),
  3058.     REAL_CONST(78214.959821380166/8.0),
  3059.     REAL_CONST(78237.258373702498/8.0),
  3060.     REAL_CONST(78259.558514976452/8.0),
  3061.     REAL_CONST(78281.860244975614/8.0),
  3062.     REAL_CONST(78304.163563473659/8.0),
  3063.     REAL_CONST(78326.468470244363/8.0),
  3064.     REAL_CONST(78348.77496506153/8.0),
  3065.     REAL_CONST(78371.083047699125/8.0),
  3066.     REAL_CONST(78393.392717931114/8.0),
  3067.     REAL_CONST(78415.703975531578/8.0),
  3068.     REAL_CONST(78438.016820274701/8.0),
  3069.     REAL_CONST(78460.331251934695/8.0),
  3070.     REAL_CONST(78482.647270285903/8.0),
  3071.     REAL_CONST(78504.964875102727/8.0),
  3072.     REAL_CONST(78527.284066159627/8.0),
  3073.     REAL_CONST(78549.604843231195/8.0),
  3074.     REAL_CONST(78571.927206092048/8.0),
  3075.     REAL_CONST(78594.251154516911/8.0),
  3076.     REAL_CONST(78616.576688280606/8.0),
  3077.     REAL_CONST(78638.903807157985/8.0),
  3078.     REAL_CONST(78661.232510924034/8.0),
  3079.     REAL_CONST(78683.562799353778/8.0),
  3080.     REAL_CONST(78705.894672222363/8.0),
  3081.     REAL_CONST(78728.228129304945/8.0),
  3082.     REAL_CONST(78750.563170376859/8.0),
  3083.     REAL_CONST(78772.899795213423/8.0),
  3084.     REAL_CONST(78795.238003590101/8.0),
  3085.     REAL_CONST(78817.577795282399/8.0),
  3086.     REAL_CONST(78839.919170065928/8.0),
  3087.     REAL_CONST(78862.262127716356/8.0),
  3088.     REAL_CONST(78884.606668009452/8.0),
  3089.     REAL_CONST(78906.952790721043/8.0),
  3090.     REAL_CONST(78929.300495627045/8.0),
  3091.     REAL_CONST(78951.64978250346/8.0),
  3092.     REAL_CONST(78974.000651126378/8.0),
  3093.     REAL_CONST(78996.353101271932/8.0),
  3094.     REAL_CONST(79018.707132716358/8.0),
  3095.     REAL_CONST(79041.062745235977/8.0),
  3096.     REAL_CONST(79063.41993860717/8.0),
  3097.     REAL_CONST(79085.778712606436/8.0),
  3098.     REAL_CONST(79108.139067010285/8.0),
  3099.     REAL_CONST(79130.501001595389/8.0),
  3100.     REAL_CONST(79152.864516138419/8.0),
  3101.     REAL_CONST(79175.22961041618/8.0),
  3102.     REAL_CONST(79197.596284205531/8.0),
  3103.     REAL_CONST(79219.96453728342/8.0),
  3104.     REAL_CONST(79242.33436942687/8.0),
  3105.     REAL_CONST(79264.705780412987/8.0),
  3106.     REAL_CONST(79287.078770018954/8.0),
  3107.     REAL_CONST(79309.453338022009/8.0),
  3108.     REAL_CONST(79331.829484199508/8.0),
  3109.     REAL_CONST(79354.207208328866/8.0),
  3110.     REAL_CONST(79376.586510187582/8.0),
  3111.     REAL_CONST(79398.967389553218/8.0),
  3112.     REAL_CONST(79421.349846203433/8.0),
  3113.     REAL_CONST(79443.733879915948/8.0),
  3114.     REAL_CONST(79466.119490468584/8.0),
  3115.     REAL_CONST(79488.50667763922/8.0),
  3116.     REAL_CONST(79510.895441205823/8.0),
  3117.     REAL_CONST(79533.285780946433/8.0),
  3118.     REAL_CONST(79555.677696639163/8.0),
  3119.     REAL_CONST(79578.071188062226/8.0),
  3120.     REAL_CONST(79600.466254993895/8.0),
  3121.     REAL_CONST(79622.862897212515/8.0),
  3122.     REAL_CONST(79645.261114496549/8.0),
  3123.     REAL_CONST(79667.660906624471/8.0),
  3124.     REAL_CONST(79690.062273374875/8.0),
  3125.     REAL_CONST(79712.465214526455/8.0),
  3126.     REAL_CONST(79734.869729857935/8.0),
  3127.     REAL_CONST(79757.275819148126/8.0),
  3128.     REAL_CONST(79779.683482175955/8.0),
  3129.     REAL_CONST(79802.092718720378/8.0),
  3130.     REAL_CONST(79824.503528560454/8.0),
  3131.     REAL_CONST(79846.915911475327/8.0),
  3132.     REAL_CONST(79869.329867244203/8.0),
  3133.     REAL_CONST(79891.745395646343/8.0),
  3134.     REAL_CONST(79914.162496461155/8.0),
  3135.     REAL_CONST(79936.581169468045/8.0),
  3136.     REAL_CONST(79959.001414446553/8.0),
  3137.     REAL_CONST(79981.423231176261/8.0),
  3138.     REAL_CONST(80003.846619436852/8.0),
  3139.     REAL_CONST(80026.271579008084/8.0),
  3140.     REAL_CONST(80048.698109669771/8.0),
  3141.     REAL_CONST(80071.12621120183/8.0),
  3142.     REAL_CONST(80093.555883384237/8.0),
  3143.     REAL_CONST(80115.987125997053/8.0),
  3144.     REAL_CONST(80138.419938820414/8.0),
  3145.     REAL_CONST(80160.854321634528/8.0),
  3146.     REAL_CONST(80183.290274219689/8.0),
  3147.     REAL_CONST(80205.727796356281/8.0),
  3148.     REAL_CONST(80228.166887824715/8.0),
  3149.     REAL_CONST(80250.607548405547/8.0),
  3150.     REAL_CONST(80273.049777879336/8.0),
  3151.     REAL_CONST(80295.493576026798/8.0),
  3152.     REAL_CONST(80317.938942628651/8.0),
  3153.     REAL_CONST(80340.385877465727/8.0),
  3154.     REAL_CONST(80362.834380318949/8.0),
  3155.     REAL_CONST(80385.28445096928/8.0),
  3156.     REAL_CONST(80407.736089197788/8.0),
  3157.     REAL_CONST(80430.189294785596/8.0),
  3158.     REAL_CONST(80452.644067513917/8.0),
  3159.     REAL_CONST(80475.100407164035/8.0),
  3160.     REAL_CONST(80497.558313517322/8.0),
  3161.     REAL_CONST(80520.017786355209/8.0),
  3162.     REAL_CONST(80542.478825459213/8.0),
  3163.     REAL_CONST(80564.941430610925/8.0),
  3164.     REAL_CONST(80587.405601592007/8.0),
  3165.     REAL_CONST(80609.871338184195/8.0),
  3166.     REAL_CONST(80632.338640169342/8.0),
  3167.     REAL_CONST(80654.8075073293/8.0),
  3168.     REAL_CONST(80677.277939446067/8.0),
  3169.     REAL_CONST(80699.749936301683/8.0),
  3170.     REAL_CONST(80722.223497678278/8.0),
  3171.     REAL_CONST(80744.698623358039/8.0),
  3172.     REAL_CONST(80767.17531312324/8.0),
  3173.     REAL_CONST(80789.653566756242/8.0),
  3174.     REAL_CONST(80812.133384039465/8.0),
  3175.     REAL_CONST(80834.614764755403/8.0),
  3176.     REAL_CONST(80857.097708686648/8.0),
  3177.     REAL_CONST(80879.582215615854/8.0),
  3178.     REAL_CONST(80902.068285325731/8.0),
  3179.     REAL_CONST(80924.555917599093/8.0),
  3180.     REAL_CONST(80947.045112218824/8.0),
  3181.     REAL_CONST(80969.535868967869/8.0),
  3182.     REAL_CONST(80992.028187629272/8.0),
  3183.     REAL_CONST(81014.522067986123/8.0),
  3184.     REAL_CONST(81037.017509821613/8.0),
  3185.     REAL_CONST(81059.514512919006/8.0),
  3186.     REAL_CONST(81082.013077061609/8.0),
  3187.     REAL_CONST(81104.513202032831/8.0),
  3188.     REAL_CONST(81127.014887616184/8.0),
  3189.     REAL_CONST(81149.518133595193/8.0),
  3190.     REAL_CONST(81172.022939753486/8.0),
  3191.     REAL_CONST(81194.529305874807/8.0),
  3192.     REAL_CONST(81217.037231742899/8.0),
  3193.     REAL_CONST(81239.546717141639/8.0),
  3194.     REAL_CONST(81262.057761854958/8.0),
  3195.     REAL_CONST(81284.570365666848/8.0),
  3196.     REAL_CONST(81307.084528361403/8.0),
  3197.     REAL_CONST(81329.600249722775/8.0),
  3198.     REAL_CONST(81352.117529535186/8.0),
  3199.     REAL_CONST(81374.636367582949/8.0),
  3200.     REAL_CONST(81397.156763650448/8.0),
  3201.     REAL_CONST(81419.678717522125/8.0),
  3202.     REAL_CONST(81442.202228982511/8.0),
  3203.     REAL_CONST(81464.727297816222/8.0),
  3204.     REAL_CONST(81487.253923807933/8.0),
  3205.     REAL_CONST(81509.782106742379/8.0),
  3206.     REAL_CONST(81532.311846404409/8.0),
  3207.     REAL_CONST(81554.843142578902/8.0),
  3208.     REAL_CONST(81577.375995050839/8.0),
  3209.     REAL_CONST(81599.910403605274/8.0),
  3210.     REAL_CONST(81622.446368027333/8.0),
  3211.     REAL_CONST(81644.983888102215/8.0),
  3212.     REAL_CONST(81667.522963615178/8.0),
  3213.     REAL_CONST(81690.063594351581/8.0),
  3214.     REAL_CONST(81712.605780096841/8.0),
  3215.     REAL_CONST(81735.149520636449/8.0),
  3216.     REAL_CONST(81757.694815755967/8.0),
  3217.     REAL_CONST(81780.241665241047/8.0),
  3218.     REAL_CONST(81802.79006887741/8.0),
  3219.     REAL_CONST(81825.340026450824/8.0),
  3220.     REAL_CONST(81847.891537747171/8.0),
  3221.     REAL_CONST(81870.444602552379/8.0),
  3222.     REAL_CONST(81892.999220652477/8.0),
  3223.     REAL_CONST(81915.555391833506/8.0),
  3224.     REAL_CONST(81938.113115881672/8.0),
  3225.     REAL_CONST(81960.672392583176/8.0),
  3226.     REAL_CONST(81983.233221724338/8.0),
  3227.     REAL_CONST(82005.795603091537/8.0),
  3228.     REAL_CONST(82028.359536471224/8.0),
  3229.     REAL_CONST(82050.925021649906/8.0),
  3230.     REAL_CONST(82073.492058414209/8.0),
  3231.     REAL_CONST(82096.060646550788/8.0),
  3232.     REAL_CONST(82118.630785846399/8.0),
  3233.     REAL_CONST(82141.202476087841/8.0),
  3234.     REAL_CONST(82163.775717062032/8.0),
  3235.     REAL_CONST(82186.35050855593/8.0),
  3236.     REAL_CONST(82208.926850356569/8.0),
  3237.     REAL_CONST(82231.504742251054/8.0),
  3238.     REAL_CONST(82254.084184026578/8.0),
  3239.     REAL_CONST(82276.665175470393/8.0),
  3240.     REAL_CONST(82299.24771636985/8.0),
  3241.     REAL_CONST(82321.831806512317/8.0),
  3242.     REAL_CONST(82344.417445685307/8.0),
  3243.     REAL_CONST(82367.004633676348/8.0),
  3244.     REAL_CONST(82389.593370273054/8.0),
  3245.     REAL_CONST(82412.183655263143/8.0),
  3246.     REAL_CONST(82434.775488434374/8.0),
  3247.     REAL_CONST(82457.368869574595/8.0),
  3248.     REAL_CONST(82479.963798471697/8.0),
  3249.     REAL_CONST(82502.560274913689/8.0),
  3250.     REAL_CONST(82525.158298688606/8.0),
  3251.     REAL_CONST(82547.757869584602/8.0),
  3252.     REAL_CONST(82570.35898738986/8.0),
  3253.     REAL_CONST(82592.961651892678/8.0),
  3254.     REAL_CONST(82615.565862881398/8.0),
  3255.     REAL_CONST(82638.171620144421/8.0),
  3256.     REAL_CONST(82660.778923470265/8.0),
  3257.     REAL_CONST(82683.387772647475/8.0),
  3258.     REAL_CONST(82705.998167464713/8.0),
  3259.     REAL_CONST(82728.610107710658/8.0),
  3260.     REAL_CONST(82751.223593174116/8.0),
  3261.     REAL_CONST(82773.83862364394/8.0),
  3262.     REAL_CONST(82796.45519890904/8.0),
  3263.     REAL_CONST(82819.073318758441/8.0),
  3264.     REAL_CONST(82841.692982981185/8.0),
  3265.     REAL_CONST(82864.314191366429/8.0),
  3266.     REAL_CONST(82886.936943703375/8.0),
  3267.     REAL_CONST(82909.561239781324/8.0),
  3268.     REAL_CONST(82932.187079389638/8.0),
  3269.     REAL_CONST(82954.814462317736/8.0),
  3270.     REAL_CONST(82977.443388355125/8.0),
  3271.     REAL_CONST(83000.073857291369/8.0),
  3272.     REAL_CONST(83022.70586891612/8.0),
  3273.     REAL_CONST(83045.339423019104/8.0),
  3274.     REAL_CONST(83067.974519390089/8.0),
  3275.     REAL_CONST(83090.611157818959/8.0),
  3276.     REAL_CONST(83113.249338095629/8.0),
  3277.     REAL_CONST(83135.8890600101/8.0),
  3278.     REAL_CONST(83158.530323352461/8.0),
  3279.     REAL_CONST(83181.173127912858/8.0),
  3280.     REAL_CONST(83203.817473481497/8.0),
  3281.     REAL_CONST(83226.463359848669/8.0),
  3282.     REAL_CONST(83249.11078680474/8.0),
  3283.     REAL_CONST(83271.759754140134/8.0),
  3284.     REAL_CONST(83294.410261645375/8.0),
  3285.     REAL_CONST(83317.062309111003/8.0),
  3286.     REAL_CONST(83339.715896327703/8.0),
  3287.     REAL_CONST(83362.371023086147/8.0),
  3288.     REAL_CONST(83385.027689177165/8.0),
  3289.     REAL_CONST(83407.685894391587/8.0),
  3290.     REAL_CONST(83430.345638520361/8.0),
  3291.     REAL_CONST(83453.006921354478/8.0),
  3292.     REAL_CONST(83475.669742685001/8.0),
  3293.     REAL_CONST(83498.334102303095/8.0),