View source for Omega(N)

== Definitions ==

In this [http://gowers.wordpress.com/2010/01/26/edp3-a-very-brief-report-on-where-we-are/#comment-5566] comment Terrence Tao defined a function <math> \omega(N)</math> which is a lower bound for the discrepancy of a completely multiplicative function. If <math> \omega(N)</math></math> is unbounded as a function of <math> N</math> then all compeltely mutplicative functions will have unbounded discrepancy.


Here [http://gowers.wordpress.com/2010/01/26/edp3-a-very-brief-report-on-where-we-are/#comment-5593] Kevin O'Bryant gave an expression for <math> \omega(N)</math> as the minimum value of a rational function.

<math>\omega(N)</math> is the infimum of an easily expressed rational expression with real variables.

To wit, we want to handle

<math> \omega(N,g) := \frac1N \sum_{n=1}^N \left|\sum_{k=1}^n g(k)\right|^2</math>

where <math> g</math> is multiplicative, i.e., <math>g(mn)=g(m)g(n)</math>, and <math> g</math> takes values in the complex unit circle.

Setting <math> g(k)=e^{2\pi i x_k}</math>, the multiplicativity of <math> g</math> becomes <math> x_{mn}=x_m+x_n</math>. We wish to handle:

<math> \omega(N,g) = \frac 1N \left( \sum_{1\leq i , j \leq n} (n+1-j) \cos(2\pi (x_i - x_j)) \right)</math>

Setting <math> y_k = \tan(\pi x_k)</math> (and not being concerned about the possibility </math> y_k=\infty </math>), we want to handle

<math> \omega(N,g) =\frac1N \sum_{i,j}^N \frac{(n-j+1) \left(y_i y_j+y_i-y_j+1\right) \left(y_i y_j-y_i+y_j+1\right)}{\left(y_i^2+1\right) \left(y_j^2+1\right)}</math>

where the multiplicativity of <math> g</math> is expressed through

<math>  y_{mn} = \frac{y_m+y_n}{1-y_my_n}</math>


== Upper bounds for <math> \omega(N)</math> ==

Using a numerical optimization routine the following upper bounds on <math> \omega(N)</math> were found.

For <math> N=1,...,71</math> bound given below were found. the bounds are given as a Mathematica formatted list with each item of the form {upper bound,{ list of values for the y[i]}}

<nowiki>
{
{0.5, {y[2] -> -1.462885206912493*^8}}, {0.4999999999999996, 
      {y[2] -> 3.8729833462074157, y[3] -> -1.2909944487358054}}, 
     {0.4999999999999998, {y[2] -> -3.910648170382393*^8, 
       y[3] -> 7.310011357069776*^8}}, {0.4801338227148131, 
      {y[2] -> 9.463147074619814, y[3] -> -4.8114722029865895, 
       y[5] -> 1.0297311434019392}}, {0.4834785819233648, 
      {y[2] -> -9.507430209541221, y[3] -> 5.627112246360941, 
       y[5] -> -2.482521195509378}}, {0.4438473047036603, 
      {y[2] -> -8.63996974968336, y[3] -> 4.836164095730927, 
       y[5] -> -1.7254441087345165, y[7] -> 2.6554597438188194}}, 
     {0.44836058320767935, {y[2] -> -6.302328081648096, 
       y[3] -> 5.192573425223564, y[5] -> -1.5213118631968114, 
       y[7] -> 1.3714086295555794}}, {0.4390526818059849, 
      {y[2] -> -15.101875241283222, y[3] -> 8.7551999765742, 
       y[5] -> -2.3675892230191136, y[7] -> 0.979892667288003}}, 
     {0.4482580279013127, {y[2] -> -11.150737464977489, 
       y[3] -> 5.2718510439642365, y[5] -> -1.931472713727386, 
       y[7] -> 1.2937492597484772}}, {0.42183629104159226, 
      {y[2] -> -12.020130999378528, y[3] -> 6.138765436688959, 
       y[5] -> -2.0356554447173103, y[7] -> 1.2008943866477078, 
       y[11] -> -4.037681072308063}}, {0.46807426662150586, 
      {y[2] -> 1.862568513059197, y[3] -> -1.775536571827146, 
       y[5] -> 1.0970815597460468, y[7] -> -3.225638584732568, 
       y[11] -> -0.1948912567743111}}, {0.4461504388077101, 
      {y[2] -> -1.8235242214443004, y[3] -> 1.703210228849542, 
       y[5] -> -1.0808428797366623, y[7] -> 3.5224915185675343, 
       y[11] -> 0.1209023444556642, y[13] -> 0.5692233220173013}}, 
     {0.440086847216118, {y[2] -> -8.444874723393042*^6, 
       y[3] -> -5.142945536843638, y[5] -> 2.6036904642523546, 
       y[7] -> -0.9428404374705998, y[11] -> 1.8475803844865497, 
       y[13] -> -0.3860579396004424}}, {0.4511481156025372, 
      {y[2] -> -33.76257500117095, y[3] -> 5.825293898600454, 
       y[5] -> -2.304204140803546, y[7] -> 0.9641080575296439, 
       y[11] -> -1.8210253913090075, y[13] -> 0.6120055717492042}}, 
     {0.4879779444860755, {y[2] -> -1.9863015651557585, 
       y[3] -> 1.9582496199745032, y[5] -> -1.1557682101592723, 
       y[7] -> 2.6681947381865374, y[11] -> 0.15579441709673203, 
       y[13] -> 8.745313251473577}}, {0.49055456403195025, 
      {y[2] -> 1.8042817589822684, y[3] -> -1.9449510060407378, 
       y[5] -> 1.073225510039253, y[7] -> -2.8572504723288463, 
       y[11] -> -0.16830673515218564, y[13] -> 4.818559078817414*^6, 
       y[17] -> -1.3074794690981901}}, {0.4762504985563837, 
      {y[2] -> -2.259128490413544, y[3] -> 2.0308673157271966, 
       y[5] -> -1.246733062354382, y[7] -> 2.408564076205052, 
       y[11] -> 0.19595756577630155, y[13] -> 7.177245398686128, 
       y[17] -> -0.5078441165548871}}, {0.4746150602095098, 
      {y[2] -> -2.174896681068332, y[3] -> 2.2450171685735034, 
       y[5] -> -1.1323078959490933, y[7] -> 2.768292350631055, 
       y[11] -> 0.34425470525998075, y[13] -> -2.226338287725374*^7, 
       y[17] -> -0.19833389884098016, y[19] -> -0.9062095293690822}}, 
     {0.46698943639051865, {y[2] -> 2.1371340049709624, 
       y[3] -> -1.9384805776732492, y[5] -> 1.1707897679922044, 
       y[7] -> -2.5445849843960566, y[11] -> -0.1897373029487319, 
       y[13] -> -8.067721354487118, y[17] -> 0.277330263282675, 
       y[19] -> 3.324056147899286}}, {0.4797097621551765, 
      {y[2] -> -1.9072590570585013, y[3] -> 2.070591397093416, 
       y[5] -> -0.9690788472167418, y[7] -> 3.0561826931890224, 
       y[11] -> 0.3183539738147688, y[13] -> -1.3156973229692414*^7, 
       y[17] -> -0.127013005857223, y[19] -> -4.91962778620387}}, 
     {0.5132338128790291, {y[2] -> -35.83900453910118, 
       y[3] -> 5.399617934721233, y[5] -> -2.266942040600513, 
       y[7] -> 0.9484611597843559, y[11] -> -1.5576669844991877, 
       y[13] -> 1.0764186527860076, y[17] -> -2.8298664570746155, 
       y[19] -> 0.26248549356388395}}, {0.5153366188102717, 
      {y[2] -> 18.453092415169003, y[3] -> 3.1545061540790087, 
       y[5] -> -3.055904152648472, y[7] -> 0.6925281833765166, 
       y[11] -> -1.6439498713394165, y[13] -> 0.942673947045045, 
       y[17] -> 2.7485136995599563*^6, y[19] -> -0.043511090433659166, 
       y[23] -> -0.4227059718591429}}, {0.507702455139519, 
      {y[2] -> -13.882711315361206, y[3] -> 6.659369214327156, 
       y[5] -> -2.066791998564868, y[7] -> 1.0134881125621231, 
       y[11] -> -1.8355085433634732, y[13] -> 0.969857138831391, 
       y[17] -> -1.8677418425296055, y[19] -> 0.3524647622594828, 
       y[23] -> -4.976865996291514*^6}}, {0.5096569558604533, 
      {y[2] -> -26.965283623861794, y[3] -> 5.5229324017247325, 
       y[5] -> -2.0449477704349652, y[7] -> 0.9847647557295692, 
       y[11] -> -1.7807824972008317, y[13] -> 0.9250175085376017, 
       y[17] -> -2.331175137873788, y[19] -> 0.29972607341003205, 
       y[23] -> -6.566392726129779}}, {0.4957655519078268, 
      {y[2] -> -21.27998108575053, y[3] -> 5.796751433694567, 
       y[5] -> -2.0849128265202017, y[7] -> 0.9881393605042436, 
       y[11] -> -1.823178659952556, y[13] -> 0.9312554094218648, 
       y[17] -> -2.180676018172768, y[19] -> 0.30854137785761665, 
       y[23] -> -10.457585568248941}}, {0.493353344030963, 
      {y[2] -> -22.153951006886118, y[3] -> 4.890785783803923, 
       y[5] -> -2.352952292343832, y[7] -> 0.8936217312846685, 
       y[11] -> -2.090595643047613, y[13] -> 0.8554583162479408, 
       y[17] -> -2.2984955327796883, y[19] -> 0.2731580933507656, 
       y[23] -> -6.311369549512267}}, {0.5395105053136733, 
      {y[2] -> -36.33104110633147, y[3] -> 4.757228139541344, 
       y[5] -> -2.443730484179421, y[7] -> 0.8507640773911131, 
       y[11] -> -1.991390162195122, y[13] -> 0.8673942593437886, 
       y[17] -> -2.662684482443947, y[19] -> 0.26566806615844113, 
       y[23] -> -3.043577299897147}}, {0.5263782857581697, 
      {y[2] -> 25.25401383144073, y[3] -> 2.923963199409909, 
       y[5] -> -3.767726578580592, y[7] -> 0.5176961769196098, 
       y[11] -> -3.9608657630391972, y[13] -> 0.5075343098739125, 
       y[17] -> -6.366422776649545, y[19] -> -0.05814615867207348, 
       y[23] -> 3756.5564429248493, y[29] -> -1.8079923822928627}}, 
     {0.532262482824738, {y[2] -> 8.357384007978142, 
       y[3] -> 2.048744093019726*^7, y[5] -> 1.6341728378280016, 
       y[7] -> -1.570077546363175, y[11] -> 0.9399062116639976, 
       y[13] -> -1.7657426102700957, y[17] -> 1.4811650627571193, 
       y[19] -> -0.7524386612819524, y[23] -> 0.9429936278313875, 
       y[29] -> -0.06986050043371135}}, {0.5098368447944086, 
      {y[2] -> -4.295234386315433*^7, y[3] -> -3.776498062431739, 
       y[5] -> 2.7661143772290417, y[7] -> -0.7098421573518955, 
       y[11] -> 2.3987498189612877, y[13] -> -0.7250012734967002, 
       y[17] -> 3.614761523233301, y[19] -> -0.15077284850377923, 
       y[23] -> 4.09568553228776, y[29] -> 0.8588293711043647, 
       y[31] -> -0.028361936941826257}}, {0.5079375830113259, 
      {y[2] -> -23.888309881712335, y[3] -> -2.7765925742896114, 
       y[5] -> 3.8209544810924814, y[7] -> -0.4791327626136977, 
       y[11] -> 4.3008436517346995, y[13] -> -0.47788409420494327, 
       y[17] -> 7.059371585979083, y[19] -> 0.0829753366665595, 
       y[23] -> -6.595269670599772*^6, y[29] -> 1.2322052779098513, 
       y[31] -> 0.21494585293809093}}, {0.49555821568780584, 
      {y[2] -> -5.066246086172957*^6, y[3] -> -3.630034375104794, 
       y[5] -> 2.8126437023535793, y[7] -> -0.6768482708550798, 
       y[11] -> 2.5698852965083097, y[13] -> -0.6947694877921077, 
       y[17] -> 3.6690972525219183, y[19] -> -0.1300624143834664, 
       y[23] -> 4.36421038154184, y[29] -> 0.8574541295717956, 
       y[31] -> 0.032379893238005227}}, {0.540002424826123, 
      {y[2] -> 8.362577580529036, y[3] -> 1.9433764633519504, 
       y[5] -> 2.4225107795045388*^8, y[7] -> 0.04290314638959777, 
       y[11] -> 5.020776567428977, y[13] -> 0.019052417842858438, 
       y[17] -> 8.899537762149397, y[19] -> -0.5299997219297788, 
       y[23] -> 2.4537491123162405, y[29] -> 9.714606073017307*^7, 
       y[31] -> -0.8641525290683024}}, {0.5374015273420782, 
      {y[2] -> -9.050943946654883, y[3] -> -2.174642714111875, 
       y[5] -> -64.72627860205496, y[7] -> -0.04107479112407146, 
       y[11] -> -5.64346746363049, y[13] -> -0.10235554558065739, 
       y[17] -> -5.558626478659901*^6, y[19] -> 0.4653174372715049, 
       y[23] -> -2.4615182593159406, y[29] -> -137.80046944118646, 
       y[31] -> 0.7701814129443211}}, {0.5538027559050895, 
      {y[2] -> -6.785104626007184, y[3] -> -1.9959279874923013, 
       y[5] -> -2.7752793143328356, y[7] -> 0.3104132251148657, 
       y[11] -> -1.5389202440305818, y[13] -> 0.2609153564948118, 
       y[17] -> -5.665173002982876, y[19] -> 0.842488062643456, 
       y[23] -> -0.9547285835778841, y[29] -> -3.486241866347132, 
       y[31] -> 0.8694448889517893}}, {0.5410949110097839, 
      {y[2] -> -3.4651348668987656, y[3] -> -4.517992436770534, 
       y[5] -> -0.9598436878013499, y[7] -> 1.3900674219713567, 
       y[11] -> -0.7452554784599054, y[13] -> 5.922283371582142, 
       y[17] -> 0.09665046348278163, y[19] -> 3.345899657456896, 
       y[23] -> -0.27063629346385637, y[29] -> 0.38458490068651696, 
       y[31] -> -4.992562635912787*^6, y[37] -> -0.7571633316839521}}, 
     {0.5429973547947488, {y[2] -> -6.844959654454303, 
       y[3] -> -2.0091872017143815, y[5] -> -3.4801189326290003, 
       y[7] -> 0.22523188359846552, y[11] -> -1.8644151887734883, 
       y[13] -> 0.1895280833052751, y[17] -> -7.30373294446857, 
       y[19] -> 0.7032766359810382, y[23] -> -1.1816031941841862, 
       y[29] -> -3.735753757203667, y[31] -> 0.9750780803884066, 
       y[37] -> -0.002931194578079365}}, {0.5467999587431224, 
      {y[2] -> 1.2962215491488913, y[3] -> -3.289397771850493, 
       y[5] -> 0.2771825974157378, y[7] -> -14.718144387520871, 
       y[11] -> -1.137514653828102, y[13] -> 1.6894017049514538, 
       y[17] -> -0.8181503184032657, y[19] -> 0.6295688520934862, 
       y[23] -> -2.6466666223193154, y[29] -> 3.089692195396208, 
       y[31] -> -0.5608569643685216, y[37] -> 0.49683613415562555}}, 
     {0.5559476548255569, {y[2] -> -9.848512412603167, 
       y[3] -> -2.50605833982349, y[5] -> -6.125047625698561, 
       y[7] -> 0.060113588218360284, y[11] -> -3.431084432122056, 
       y[13] -> -0.03795275182176026, y[17] -> -2.7094695327229677*^6, 
       y[19] -> 0.4894609605457892, y[23] -> -1.8252237433726823, 
       y[29] -> 1.2680941513401158*^7, y[31] -> 0.5666075600978651, 
       y[37] -> -0.0937132554032237}}, {0.5505709016488777, 
      {y[2] -> 1.9978234885858357, y[3] -> -2.6734434483822795, 
       y[5] -> 0.999575779341089, y[7] -> -1.4977353323799243, 
       y[11] -> -3.47473672784074*^6, y[13] -> -0.6567175708714164, 
       y[17] -> 0.2855245128964309, y[19] -> -3.581256310702213*^6, 
       y[23] -> 0.5126720691895783, y[29] -> -0.5586213537787913, 
       y[31] -> -1.9302319705248326*^6, y[37] -> 4.090882786292679, 
       y[41] -> -0.5196037223519064}}, {0.5410183504459096, 
      {y[2] -> 6.812083492495216, y[3] -> 2.0560405801391326, 
       y[5] -> 3.2692616497530045, y[7] -> -0.258232265287513, 
       y[11] -> 1.85743590978529, y[13] -> -0.15763741874306123, 
       y[17] -> 8.362997598365784, y[19] -> -0.7854226727043914, 
       y[23] -> 1.0612568625374965, y[29] -> 3.420494830428003, 
       y[31] -> -0.9285855774319701, y[37] -> -0.3976871295336513, 
       y[41] -> 0.8078091963254634}}, {0.5419769095397796, 
      {y[2] -> 3.556992190874782, y[3] -> 4.224165246660858, 
       y[5] -> 1.0011346175495501, y[7] -> -1.362608171502796, 
       y[11] -> 0.7198577138179995, y[13] -> -8.78355646306516, 
       y[17] -> -0.11487864115928048, y[19] -> -3.076071739644593, 
       y[23] -> 0.32659199253704546, y[29] -> -0.38089384311933716, 
       y[31] -> 5.116561470832145*^6, y[37] -> 3.090373695813483, 
       y[41] -> 0.4610508675579661, y[43] -> -0.316274724263519}}, 
     {0.5447128396652148, {y[2] -> 3.5104534047833686, 
       y[3] -> 4.340718160982424, y[5] -> 0.9818870515462708, 
       y[7] -> -1.317408707534025, y[11] -> 0.729445988142171, 
       y[13] -> -6.911342051144954, y[17] -> -0.10690390484592481, 
       y[19] -> -2.8606929480231145, y[23] -> 0.33402599154861323, 
       y[29] -> -0.3873919646374986, y[31] -> 9.948718836620959*^6, 
       y[37] -> 2.6736163206571177, y[41] -> -0.02188732982516384, 
       y[43] -> 4.143328442778921}}, {0.5621737511465918, 
      {y[2] -> 3.0969408474533338, y[3] -> 3.373238071074912, 
       y[5] -> 0.7943086850031457, y[7] -> -1.7100968766160136, 
       y[11] -> 0.46969552238862494, y[13] -> -17.92344438105851, 
       y[17] -> -0.3190567780751474, y[19] -> 4586.317756875522, 
       y[23] -> -0.012841815686448831, y[29] -> -0.640979574139176, 
       y[31] -> 7.6282899845236045, y[37] -> 1.4992499178271976, 
       y[41] -> 0.07388970007557207, y[43] -> -1077.9135012938261}}, 
     {0.5458049553223693, {y[2] -> -7.626649842911723, 
       y[3] -> 3.182773873173586*^7, y[5] -> -1.9670364421721978, 
       y[7] -> 0.7352144275407777, y[11] -> -1.8239756295292955, 
       y[13] -> 1.772186178431415, y[17] -> -0.5662015719080454, 
       y[19] -> 0.698021316660052, y[23] -> -1.7240664629104805, 
       y[29] -> -0.5072752073185517, y[31] -> 0.9583259450451189, 
       y[37] -> 4.262348851794279, y[41] -> -1.5807084927110222, 
       y[43] -> 0.5802847144626384}}, {0.5538527358037998, 
      {y[2] -> -6.019028440570796*^6, y[3] -> 3.9774063888198805, 
       y[5] -> 1.627686965541912*^6, y[7] -> 0.1876670149531972, 
       y[11] -> -6.627729461561532*^6, y[13] -> 0.45376652495185976, 
       y[17] -> -2.839219113548976, y[19] -> -0.11532275380682605, 
       y[23] -> 6.7198495482116405, y[29] -> -3.467411847670985, 
       y[31] -> -0.07037035912929553, y[37] -> 0.591684721532398, 
       y[41] -> 5.777047972367371*^6, y[43] -> -0.07507844950087077, 
       y[47] -> -4.358887509906755}}, {0.5401308818895296, 
      {y[2] -> 3.389795734987173, y[3] -> 3.8668146046647127, 
       y[5] -> 0.8577559069300346, y[7] -> -1.6295597106276374, 
       y[11] -> 0.5231413760313481, y[13] -> 742.3888224076079, 
       y[17] -> -0.24443014877037325, y[19] -> -4.201569449912788, 
       y[23] -> 0.19884266463491398, y[29] -> -0.4371033927898226, 
       y[31] -> -246.0221156311323, y[37] -> 1.8249044545155355, 
       y[41] -> 0.0988860127802216, y[43] -> -384.1591004952399, 
       y[47] -> -1.7538440569960194}}, {0.5363103521139646, 
      {y[2] -> 3.333020223531083, y[3] -> 3.7429353161140133, 
       y[5] -> 0.8786201463515133, y[7] -> -1.5389392753979991, 
       y[11] -> 0.5425974766008388, y[13] -> 1.3323084091161266*^7, 
       y[17] -> -0.24578494270446172, y[19] -> -3.8771464040114823, 
       y[23] -> 0.2244303634237275, y[29] -> -0.4373275283960972, 
       y[31] -> -632384.655380349, y[37] -> 1.9488891017929366, 
       y[41] -> 0.0887064268815982, y[43] -> -8.803504041720465*^6, 
       y[47] -> -1.3892438499060007}}, {0.5453879839837351, 
      {y[2] -> 2.73992352356985, y[3] -> 2.817657434467374, 
       y[5] -> 0.6692134878352286, y[7] -> -1.9140977785470707, 
       y[11] -> 0.35729190928335297, y[13] -> 20.108997104450143, 
       y[17] -> -0.42503771960213765, y[19] -> 1.0154323728067767*^6, 
       y[23] -> -0.12940157913690162, y[29] -> -0.8650874405339943, 
       y[31] -> 3.1668834978424774, y[37] -> 1.1756543193093625, 
       y[41] -> -0.13564431449224323, y[43] -> -1.548989386225219*^6, 
       y[47] -> 1.3757810922960734*^7}}, {0.544623917879015, 
      {y[2] -> -1.6079312057861998*^6, y[3] -> 3.818710615864944, 
       y[5] -> 2.0416373983878603*^6, y[7] -> 0.0796985220985775, 
       y[11] -> 20.65800889056641, y[13] -> 0.3991585241146419, 
       y[17] -> -3.3817561255470014, y[19] -> -0.11686135066393119, 
       y[23] -> 1.1765289825982254*^6, y[29] -> -4.829380102405632, 
       y[31] -> -0.03990492245008383, y[37] -> 0.4829417569781351, 
       y[41] -> 4.097142033699167, y[43] -> -0.3866830584564186, 
       y[47] -> -1.0493377612540264}}, {0.5574945212289636, 
      {y[2] -> 3.521815923555302, y[3] -> -1.1058194115348723, 
       y[5] -> 1.745781769078708, y[7] -> -0.8045262105949067, 
       y[11] -> 0.7755941102831237, y[13] -> -0.9206605312412145, 
       y[17] -> 0.8588317087691079, y[19] -> -3.4018962919312776, 
       y[23] -> 0.46293383131411336, y[29] -> -0.3339405953430995, 
       y[31] -> -2.912189967123192*^6, y[37] -> -1.7422201839944014, 
       y[41] -> 0.6419564629044578, y[43] -> 7.1380131906509465, 
       y[47] -> 0.19419997803249356}}, {0.5568512079607693, 
      {y[2] -> -1847.0162162204433, y[3] -> 3.7433300197926243, 
       y[5] -> 6411.295532189543, y[7] -> 0.08495666275018456, 
       y[11] -> -1998.15565755151, y[13] -> 0.40879440723628807, 
       y[17] -> -3.8984872437145044, y[19] -> -0.18293043611329182, 
       y[23] -> 10.530816850822847, y[29] -> -4.489590552645085, 
       y[31] -> -0.13194590199381787, y[37] -> 0.5263403371559953, 
       y[41] -> 5.49582466392191, y[43] -> -0.30601196489854615, 
       y[47] -> -1.3582722412479475, y[53] -> -2.8066662056917093}}, 
     {0.559983380057825, {y[2] -> -1.3388995684634393, 
       y[3] -> 5.218739739233073, y[5] -> -0.2047600422912967, 
       y[7] -> 1.9797665592396885*^7, y[11] -> 1.3887034097281536, 
       y[13] -> -2.0612517427474972, y[17] -> 0.8862869327940438, 
       y[19] -> -0.3098254211547697, y[23] -> -2.5901266177896416*^8, 
       y[29] -> -2.2525950436074313, y[31] -> 0.6084446735574678, 
       y[37] -> -0.39854564144349475, y[41] -> 2.7526079883448524, 
       y[43] -> 0.6874792732607808, y[47] -> -3.764709481763189, 
       y[53] -> 3.564174528271919}}, {0.5504879009429681, 
      {y[2] -> 9.03123955295885, y[3] -> 2.2136609253188295, 
       y[5] -> -2.0678258624188232*^6, y[7] -> -0.09413658614786298, 
       y[11] -> 5.717366741226189, y[13] -> 0.15567419778859554, 
       y[17] -> -7.208623752944289*^6, y[19] -> -0.6977550889277575, 
       y[23] -> 2.0936489384289856, y[29] -> -2.7605129103186652*^7, 
       y[31] -> -0.5513912542393178, y[37] -> 0.10221458100687682, 
       y[41] -> 2.1640423991444195, y[43] -> -0.5875636480502329, 
       y[47] -> 1.715499959928509*^7, y[53] -> 2.6616582219247134}}, 
     {0.5458851545432952, {y[2] -> -5.287161241095462, 
       y[3] -> -1.6583162153081066, y[5] -> -3.3288334101794765, 
       y[7] -> 0.40288657194056393, y[11] -> -1.5010982738523997, 
       y[13] -> 0.2588903684631928, y[17] -> -3.436013244363909, 
       y[19] -> 1.1334615150683407, y[23] -> -0.9518246993073657, 
       y[29] -> -1.7830036107943674, y[31] -> 1.3014159974388895, 
       y[37] -> 0.6196183103799945, y[41] -> -0.17653284626235025, 
       y[43] -> -8.514765322324852*^6, y[47] -> -4.189583302785, 
       y[53] -> -0.7131516640451642}}, {0.5491779017342883, 
      {y[2] -> -2.3847076799217017, y[3] -> 1.4044818863482407, 
       y[5] -> -0.9625963185392208, y[7] -> 1.7900975653441773, 
       y[11] -> -0.06465498141384049, y[13] -> 4.817235039864703, 
       y[17] -> -0.25310986318020484, y[19] -> -4.970483414380786, 
       y[23] -> 0.4486821965367979, y[29] -> 1.091907070957466, 
       y[31] -> -1.063528493284542, y[37] -> 171810.1754353715, 
       y[41] -> -0.024619668315839376, y[43] -> -0.9827488606119602, 
       y[47] -> 1.1619366272362106, y[53] -> 0.41065985901822705}}, 
     {0.5605581749105492, {y[2] -> 3.027632580117612, 
       y[3] -> 3.1960336822744946, y[5] -> 0.7859347217908186, 
       y[7] -> -1.6075367090588815, y[11] -> 0.420302061789829, 
       y[13] -> 2.834085806987071*^7, y[17] -> -0.39511691032585206, 
       y[19] -> 1.2560796536845084*^7, y[23] -> 0.0318390685791732, 
       y[29] -> -0.5333456813624734, y[31] -> -3.473422724807593*^7, 
       y[37] -> 1.6556532654346816, y[41] -> 0.1096024123215574, 
       y[43] -> -5.778600356830014*^6, y[47] -> -1.6651426336543034, 
       y[53] -> -0.5725276311066366}}, {0.5524591153632439, 
      {y[2] -> 9.15237409161851, y[3] -> 2.009327756964571, 
       y[5] -> 743539.9436168781, y[7] -> -0.08466691902541673, 
       y[11] -> 5.817481302444094, y[13] -> 0.1675306932760601, 
       y[17] -> 2.0776343830107022*^6, y[19] -> -0.7226602411236893, 
       y[23] -> 2.1893209174225303, y[29] -> 3.880714074279567, 
       y[31] -> -0.7068785155011873, y[37] -> -0.034544725241448075, 
       y[41] -> 1.7753351439100655, y[43] -> -0.6472691827015548, 
       y[47] -> 368510.4969259753, y[53] -> -582724.4120164809, 
       y[59] -> 311442.9510525222}}, {0.5606497733587336, 
      {y[2] -> 3.3299236312177247, y[3] -> 4.242923677984408, 
       y[5] -> 0.9732763760852335, y[7] -> -1.1834066132028593, 
       y[11] -> 0.7126644769358326, y[13] -> 1.3956387099741682*^7, 
       y[17] -> -0.2429854139189772, y[19] -> -1.9477415056452971, 
       y[23] -> 0.37600159256085175, y[29] -> -0.12996087369871648, 
       y[31] -> 546418.5231248025, y[37] -> -1.2261669343406128*^7, 
       y[41] -> 0.2107116603678402, y[43] -> -5.255145411844228*^6, 
       y[47] -> -0.9891264323012026, y[53] -> -0.36952794256418503, 
       y[59] -> -0.629177500336727}}, {0.5409409222767462, 
      {y[2] -> -9.386040329445352, y[3] -> -1.9982212173963287, 
       y[5] -> 51868.562388185535, y[7] -> 0.11485671711460184, 
       y[11] -> -4.152230885212978, y[13] -> -0.10985151504318237, 
       y[17] -> -12685.789320977634, y[19] -> 0.7939454612005391, 
       y[23] -> -2.090382110891867, y[29] -> -3.8368801260586185, 
       y[31] -> 0.62666251421115, y[37] -> 0.09888542996449518, 
       y[41] -> -2.0490693623989022, y[43] -> 0.6618361754535906, 
       y[47] -> -4837.19011514421, y[53] -> -4.622966232274686, 
       y[59] -> -14.441877571818774, y[61] -> -1.0854855882356003}}, 
     {0.5504930357833084, {y[2] -> -1.5684229702045942, 
       y[3] -> 2.1906487684885048, y[5] -> -0.536467870283022, 
       y[7] -> 6.32778369271226, y[11] -> 0.5034630491164894, 
       y[13] -> -4.401789242341788, y[17] -> 0.40094213785808164, 
       y[19] -> -1.1615966004682858, y[23] -> 1.5792591091888084, 
       y[29] -> -6.826050191930487*^6, y[31] -> 0.09419851884862504, 
       y[37] -> -1.4087925782385866, y[41] -> 0.8014115278033986, 
       y[43] -> 0.02574018267373435, y[47] -> -6.10698431819938, 
       y[53] -> 2.408444849978389, y[59] -> -1.3987046103733207, 
       y[61] -> 0.4969984166077462}}, {0.5446604430297907, 
      {y[2] -> -1.6220448040430115, y[3] -> 2.054026001427892, 
       y[5] -> -0.571844543206896, y[7] -> 5.300025349396089, 
       y[11] -> 0.4404535557144669, y[13] -> -5.207974606119084, 
       y[17] -> 0.33504781866094996, y[19] -> -1.298493369878154, 
       y[23] -> 1.4502910251112735, y[29] -> 7.069226385314122, 
       y[31] -> -0.048814751106247355, y[37] -> -1.6559183485457014, 
       y[41] -> 0.7030881474104027, y[43] -> -0.05489963510807713, 
       y[47] -> -8.73066370716909, y[53] -> 2.0902418324716434, 
       y[59] -> -2.0900648774190254, y[61] -> 0.3115712423996155}}, 
     {0.5485208904992191, {y[2] -> -9.83702338729878, 
       y[3] -> -1.9961248696515557, y[5] -> 1.4149705746421264*^7, 
       y[7] -> 0.11182687628643254, y[11] -> -4.193101970653638, 
       y[13] -> -0.11080855361674405, y[17] -> -2.005889406534506*^8, 
       y[19] -> 0.784117812481433, y[23] -> -2.174515779870723, 
       y[29] -> -3.6240125408312136, y[31] -> 0.62017956738753, 
       y[37] -> 0.09673506020361744, y[41] -> -2.1525947194438397, 
       y[43] -> 0.6531445024561217, y[47] -> -5833.422440596358, 
       y[53] -> -4.822732802784665, y[59] -> -1.430764520502954*^6, 
       y[61] -> -0.6400367372252429}}, {0.5637147347732624, 
      {y[2] -> -15.6818734164482, y[3] -> -2.1326753043276208, 
       y[5] -> 184493.3758547012, y[7] -> 0.08676796846893833, 
       y[11] -> -3.9426557111054668, y[13] -> -0.06173668229848903, 
       y[17] -> -3.4718205438529723*^6, y[19] -> 0.7277241103464438, 
       y[23] -> -2.6056094534024252, y[29] -> -5.088663679678725, 
       y[31] -> 0.4896481276398145, y[37] -> -0.09872963368027905, 
       y[41] -> -2.0689071131284584*^6, y[43] -> 0.3967585631083156, 
       y[47] -> -4532.596733187516, y[53] -> -2.990463032043736, 
       y[59] -> -1250.0646409875155, y[61] -> -0.6514894080877749}}, 
     {0.5574971466785472, {y[2] -> -12.89831349714744, 
       y[3] -> -1.989556552930725, y[5] -> 4.1124340521452166*^6, 
       y[7] -> 0.10572842024786352, y[11] -> -3.4077847397096166, 
       y[13] -> -0.050718117941117684, y[17] -> -2.334626139952064*^6, 
       y[19] -> 0.8159882179135113, y[23] -> -2.2112753444437456, 
       y[29] -> -3.687956931286009, y[31] -> 0.5459441985044045, 
       y[37] -> 0.07470589842936966, y[41] -> -3.783770929541928, 
       y[43] -> 0.5709022698524843, y[47] -> -6.740703296130651*^8, 
       y[53] -> -2.917504195233325, y[59] -> -10.338760065079597, 
       y[61] -> -0.4706281888552907}}, {0.5512236848530143, 
      {y[2] -> 2.678172582377694, y[3] -> -1.310374883095014, 
       y[5] -> 0.9939841059079616, y[7] -> -1.7785615036215077, 
       y[11] -> 0.0027003343101931385, y[13] -> 648987.24460795, 
       y[17] -> 0.21487666688255183, y[19] -> 4.660126311569545, 
       y[23] -> -0.6318210504304709, y[29] -> -0.5127738485630606, 
       y[31] -> 1.5564432856444592, y[37] -> -5.79749937222906, 
       y[41] -> 0.20003521857360163, y[43] -> 1.2395292870364005, 
       y[47] -> -1.1826243887259602, y[53] -> -0.7554766844701083, 
       y[59] -> -1.9012403142168892, y[61] -> 1.173588547371486, 
       y[67] -> -5.229169044686542}}, {0.5499121940594726, 
      {y[2] -> 2.760226848334816, y[3] -> -1.2804958043686288, 
       y[5] -> 1.0219649911436968, y[7] -> -1.7039159743515304, 
       y[11] -> 0.02219347957585562, y[13] -> 322195.1713625446, 
       y[17] -> 0.2434544060712443, y[19] -> 5.496764817454516, 
       y[23] -> -0.5877510363659428, y[29] -> -0.46329863229437623, 
       y[31] -> 1.6963812464375045, y[37] -> -4.599583164536985, 
       y[41] -> 0.25787524309930243, y[43] -> 1.3686927852936006, 
       y[47] -> -1.0630953287441995, y[53] -> -0.7311504933506725, 
       y[59] -> -1.7494697067352272, y[61] -> 1.2561845523605812, 
       y[67] -> -182102.170199389}}, {0.5483080826469182, 
      {y[2] -> 2.6498364464076207, y[3] -> 3.021126152636368, 
       y[5] -> 0.7572348577185984, y[7] -> -1.700084208200631, 
       y[11] -> 0.43625796402857475, y[13] -> -46971.63170860386, 
       y[17] -> -0.3674272230009722, y[19] -> 78070.09472073127, 
       y[23] -> -0.0982653546810197, y[29] -> -0.5910759281137994, 
       y[31] -> 5.286514869512648, y[37] -> 1.537726184125387, 
       y[41] -> -0.01563127769541324, y[43] -> -48660.466404012375, 
       y[47] -> -2.2621133513794702, y[53] -> -0.44505813880766654, 
       y[59] -> -1.4966875853517387, y[61] -> 0.2618818317244051, 
       y[67] -> 0.6209965718708607}}, {0.5451386267895824, 
      {y[2] -> 8.403675409897469, y[3] -> -10.104394213837576, 
       y[5] -> 2.698078123592497, y[7] -> -0.5394067302483168, 
       y[11] -> 3.075874159362834, y[13] -> -1.0441560792891287, 
       y[17] -> 1.1169290721098575, y[19] -> -0.30821564905740756, 
       y[23] -> 2.637469168561796, y[29] -> 1.0015370671088775, 
       y[31] -> -0.61291012605091, y[37] -> -1.7496544526517577, 
       y[41] -> 1.842606432699937, y[43] -> -0.3452640617813726, 
       y[47] -> 0.15988379210506262, y[53] -> 1.3729270793222859, 
       y[59] -> 0.6241629125512985, y[61] -> 96289.16955508286, 
       y[67] -> -2.3810259314590665}}, {0.5344272945207329, 
      {y[2] -> 165.10277230321324, y[3] -> -3.308487268972249, 
       y[5] -> 12.455893515741943, y[7] -> -0.1570711195130275, 
       y[11] -> -28.07211028229915, y[13] -> -0.37078848866130276, 
       y[17] -> 4.029899110329946, y[19] -> 0.24909973367051877, 
       y[23] -> -12.88646722015868, y[29] -> 5.519025878986118, 
       y[31] -> 0.07853281950302134, y[37] -> -0.5099664379517453, 
       y[41] -> 558668.190555858, y[43] -> 0.2585862768213708, 
       y[47] -> 1.1914196990609796, y[53] -> -100714.3994553162, 
       y[59] -> 2.8162193059622065, y[61] -> -1.2347666983734868, 
       y[67] -> -0.4544987489160042, y[71] -> 105179.33224334147}}
}
</nowiki>