/* Defining polynomial */ x^2 - x + 163 /* GCD of coefficients */ 2 /* 24 * |disc|^(3/2) /(8*pi^2)* zeta_F(2) */ 7001.26355409096607293579948777 /* Belt */ [ <144, 1/61*(3*w + 46)>, <12, 1/183*(52*w + 391)>, <12, 1/61*(w + 4)>, <24, 1/175*(4*w + 159)>, <24, 1/4*w>, <24, 1/183*(4*w + 163)>, <24, 1/27*(13*w - 104)>, <72, 1/73*(4*w + 28)>, <72, 1/73*(4*w + 41)>, <24, 1/949*(9*w - 72)>, <24, 1/4*(w - 1)>, <176, 1/73*(5*w + 35)>, <24, 1/5329*(35*w + 5560)>, <24, 1/1175*(7*w + 1112)>, <72, 1/55*(3*w + 3)>, <24, 1/4015*(84*w + 2559)>, <44, 1/169*(5*w + 10)>, <24, 1/31459*(715*w + 7435)>, <52, 1/7*(w + 2)>, <52, 1/169*(7*w + 14)>, <24, 1/915*(143*w + 1487)>, <2, 1/28561*(720*w + 22176)>, <18, 1/169*(5*w + 179)>, <16, 1/219*(10*w + 70)>, <36, 1/163*(8*w + 155)>, <36, 1/219*(8*w + 155)>, <24, 1/29829*(715*w + 6520)>, <36, 1/163*(8*w + 163)>, <48, 1/803*(24*w + 387)>, <48, 1/105*(8*w + 129)>, <24, 1/143*(5*w - 20)>, <36, 1/163*(8*w - 8)>, <4, 1/165*(52*w + 217)>, <40, 1/55*(w + 53)>, <12, 1/1551*(26*w + 1148)>, <48, 1/10*(w + 8)>, <48, 1/183*(8*w + 143)>, <48, 1/175*(8*w + 143)>, <24, 1/2555*(52*w + 72)>, <24, 1/2555*(52*w + 2431)>, <48, 1/533*(8*w + 581)>, <84, 1/35*(w + 31)>, <24, 1/12337*(330*w + 7420)>, <72, 1/175*(11*w + 33)>, <24, 1/7943*(154*w + 5885)>, <24, 1/38305*(819*w + 14014)>, <24, 1/253*(14*w + 126)>, <24, 1/14*(w + 9)>, <24, 1/610*(33*w + 742)>, <24, 1/70*(11*w - 77)>, <72, 1/219*(11*w + 77)>, <24, 1/1971*(91*w - 728)>, <84, 1/5*(w + 1)>, <48, 1/8601*(104*w + 7553)>, <112, 1/41*(3*w + 20)>, <40, 1/1927*(12*w - 92)>, <112, 1/13*(w + 6)>, <84, 1/10*(w + 6)>, <84, 1/41*(2*w + 12)>, <28, 1/193*(8*w + 145)>, <24, 1/3*(w + 5)>, <112, 1/15*(w + 8)>, <48, 1/205*(12*w + 72)>, <6, 1/49*(13*w + 114)>, <12, 1/42267*(650*w + 35867)>, <96, 1/193*(13*w + 115)>, <18, 1/169*(5*w - 15)>, <6, 1/144*(5*w + 179)>, <48, 1/6*(w - 2)>, <24, 1/12505*(308*w + 8613)>, <96, 1/183*(11*w + 128)>, <48, 1/6*(w + 7)>, <12, 1/3*(w - 5)>, <12, 1/183*(70*w + 280)>, <44, 1/165*(7*w + 151)>, <4, 1/17563*(432*w + 14512)>, <4, 1/12*(w + 1)>, <4, 1/1183*(12*w + 471)>, <4, 1/1737*(112*w + 2416)>, <4, 1/772*(27*w - 162)>, <16, 1/9*(w - 2)>, <44, 1/193*(7*w + 151)>, <4, 1/175*(18*w + 229)>, <136, 1/25*(w + 21)>, <12, 1/169*(8*w + 185)>, <112, 1/21*(w + 10)>, <12, 1/273*(8*w + 185)>, <48, 1/193*(10*w + 50)>, <96, 1/183*(11*w + 44)>, <24, 1/84*(11*w - 55)>, <48, 1/10*(w + 5)>, <20, 1/7*(w - 3)>, <32, 1/12*(w + 2)>, <4, 1/55407*(490*w + 29710)>, <8, 1/42757*(840*w + 21960)>, <4, 1/2530*(119*w + 3111)>, <4, 1/55407*(833*w + 4067)>, <32, 1/169*(12*w + 24)>, <16, 1/169*(10*w + 20)>, <36, 1/949*(8*w + 1005)>, <12, 1/793*(22*w + 881)>, <36, 1/235*(13*w + 118)>, <24, 1/115*(3*w + 39)>, <24, 1/3423*(110*w + 1793)>, <24, 1/3423*(110*w + 1520)>, <84, 1/23*(w + 13)>, <84, 1/11*(w + 1)>, <24, 1/61*(3*w - 15)>, <18, 1/6*(w + 6)>, <12, 1/44895*(1694*w + 12947)>, <16, 1/163*(7*w - 7)>, <24, 1/1645*(39*w + 124)>, <6, 1/193*(48*w - 288)>, <48, 1/47*(2*w + 16)>, <12, 1/27*(2*w + 29)>, <24, 1/39*w>, <24, 1/759*(7*w + 63)>, <24, 1/7*(3*w + 27)>, <48, 1/41*(w + 6)>, <8, 1/165*(13*w + 139)>, <8, 1/59*(4*w + 103)>, <4, 1/59*(3*w + 33)>, <4, 1/590*(13*w - 156)>, <4, 1/413*(6*w - 52)>, <8, 1/59*(4*w - 48)>, <4, 1/33*(2*w - 4)>, <8, 1/295*(13*w + 139)>, <8, 1/615*(2*w - 14)>, <4, 1/30*(w + 38)>, <4, 1/45*(2*w + 16)>, <4, 1/41*(9*w - 22)>, <8, 1/2*(3*w - 21)>, <4, 1/82*(3*w - 21)>, <48, 1/5*(w + 6)>, <48, 1/6*(w + 1)>, <48, 1/6*(w + 4)>, <24, 1/6369*(182*w + 2261)>, <60, 1/205*(9*w + 142)>, <24, 1/245*(27*w + 326)>, <24, 1/135*(14*w - 28)>, <24, 1/3749*(126*w + 2282)>, <60, 1/169*(9*w + 142)>, <24, 1/6683*(189*w + 2282)>, <104, 1/11*(w + 5)>, <24, 1/245*(26*w + 323)>, <40, 1/1927*(12*w + 2007)>, <24, 1/55*(12*w + 127)>, <24, 1/55*(12*w - 84)>, <16, 1/169*(3*w + 160)>, <12, 1/2*(w + 2)>, <52, 1/193*(9*w + 139)>, <4, 1/400*(7*w + 421)>, <4, 1/400*(9*w + 139)>, <12, 1/25*(2*w + 6)>, <4, 1/507*(6*w + 350)>, <4, 1/49*(9*w + 139)>, <8, 1/39*(w + 28)>, <96, 1/193*(13*w + 65)>, <12, 1/156*(7*w + 156)>, <24, 1/205*(7*w + 42)>, <16, 1/10309*(280*w + 5920)>, <12, 1/732*(25*w - 125)>, <6, 1/169*(6*w + 163)>, <18, 1/205*(6*w + 36)>, <12, w>, <36, 1/24*(13*w + 115)>, <24, 1/56*(w - 1)>, <24, 1/163*(56*w - 56)>, <42, 1/205*(14*w + 84)>, <18, 1/9*(14*w + 107)>, <12, 1/54*(11*w + 131)>, <8, 1/72*(11*w + 127)>, <12, 1/584*(33*w - 264)>, <10, 1/36*(13*w + 114)>, <24, 1/205*(7*w + 156)>, <12, 1/31459*(726*w + 11736)>, <48, 1/12*(w + 6)>, <16, 1/5329*(10*w - 76)>, <16, 1/2*(5*w - 38)>, <12, 1/7*(w + 8)>, <12, 1/235*(48*w - 432)>, <16, 1/163*(7*w + 163)>, <4, 1/55407*(1700*w + 45407)>, <4, 1/2190*(119*w + 2771)>, <4, 1/55407*(700*w + 36010)>, <8, 1/9*(w - 1)>, <4, 1/63*(10*w + 153)>, <4, 1/253*(10*w + 153)>, <8, 1/163*(9*w - 9)>, <48, 1/235*(11*w + 88)>, <24, 1/48*(11*w - 99)>, <48, 1/235*(11*w + 136)>, <12, 1/6*(w + 8)>, <72, 1/9*(w + 1)>, <24, 1/69*(w + 13)>, <24, 1/143*(10*w + 153)>, <12, 1/165*(2*w + 161)>, <16, 1/3*(w + 3)>, <12, 2/169*w>, <24, 1/150*(13*w + 163)>, <24, 1/35*(2*w + 41)>, <24, 1/35*(2*w - 8)>, <24, 1/69*(w + 55)>, <12, 1/275*(14*w + 317)>, <24, 1/163*(9*w + 154)>, <12, 1/329*(20*w + 489)>, <12, 1/36*(w + 1)>, <12, 1/5*(w - 1)>, <12, 168/815*w>, <24, 1/7*(w + 13)>, <24, 1/345*(7*w + 91)>, <24, 1/130*(7*w - 49)>, <24, 1/287*(26*w - 182)>, <12, 1/115*(4*w + 59)>, <12, 1/92*(11*w + 191)>, <24, 1/165*(8*w + 149)>, <24, 1/165*(8*w + 8)>, <24, 1/117*(8*w + 149)>, <24, 1/488*(39*w + 644)>, <52, 1/175*(9*w + 139)>, <12, 1/1467*(154*w - 154)>, <12, 1/88*(9*w - 63)>, <24, 1/39715*(528*w + 32659)>, <12, 1/183*(2*w + 173)>, <12, 1/300*(13*w + 339)>, <12, 1/235*(12*w + 127)>, <24, 1/11899*(364*w + 8476)>, <24, 1/183*(5*w + 158)>, <24, 1/772*(21*w + 877)>, <24, 1/156*(7*w + 163)>, <24, 1/4453*(84*w + 3508)>, <24, 1/163*(5*w + 158)>, <12, 1/169*(6*w + 157)>, <12, 1/193*(169*w + 845)>, <12, 1/31845*(676*w + 2608)>, <12, 1/196*(3*w + 184)>, <6, 1/205*(28*w + 168)>, <24, 1/169*(6*w + 151)>, <12, 1/121*(8*w - 32)>, <12, 1/1880*(99*w + 2672)>, <12, 1/4453*(52*w + 3868)>, <16, 1/235*(17*w + 82)>, <8, 1/55225*(918*w - 5346)>, <8, 1/54*(17*w - 99)>, <24, 1/175*(6*w + 151)>, <12, w + 3>, <40, 1/253*(13*w + 117)>, <12, 1/175*(3*w - 12)>, <12, 1/169*(2*w + 181)>, <40, 1/253*(13*w + 123)>, <12, 1/205*(6*w + 81)>, <12, 1/25*(14*w + 109)>, <12, 1/43005*(182*w + 41171)>, <12, 1/253*(4*w + 289)>, <24, 1/193*(8*w + 233)>, <24, 1/8*(w + 13)>, <12, 1/45355*(1134*w + 35392)>, <28, 1/8*(w + 2)>, <12, 1/165*(w + 166)>, <12, 1/169*(4*w + 8)>, <8, 1/4075*(66*w + 423)>, <4, 1/350*(22*w + 141)>, <4, 1/625*(22*w + 766)>, <8, 1/75*(22*w + 141)>, <8, 1/175*(6*w - 24)>, <4, 1/2275*(6*w + 3343)>, <4, 1/169*(w + 178)>, <4, 1/2450*(13*w + 2314)>, <4, 1/46299*(2366*w + 19097)>, <4, 1/175*(w - 4)>, <24, 1/7665*(143*w + 5819)>, <24, 1/451*(13*w + 529)>, <12, 1/35*(w + 38)>, <12, 1/235*(6*w + 1)>, <10, 1/42025*(468*w + 4104)>, <16, 1/3795*(32*w + 3475)>, <16, 1/253*(15*w + 135)>, <12, 1/4825*(144*w + 2457)>, <12, 1/6325*(156*w + 4693)>, <12, 1/169*(4*w + 177)>, <24, 1/52*(3*w - 9)>, <24, 1/39*(4*w - 12)>, <24, 1/37011*(770*w + 8675)>, <4, 1/507*(154*w + 815)>, <16, 1/163*(3*w + 160)>, <4, 1/163*(11*w + 163)>, <4, 1/48085*(462*w + 6846)>, <8, 1/2366*(99*w - 297)>, <4, 1/49855*(378*w + 53284)>, <8, 1/99*(14*w - 42)>, <4, 1/295*(14*w + 127)>, <24, 1/965*(154*w + 1735)>, <8, 1/39*(14*w - 84)>, <4, 1/193*(14*w + 70)>, <4, 1/55225*(42*w + 45682)>, <4, 1/2562*(13*w + 2431)>, <4, 1/35319*(196*w + 36652)>, <4, 1/2509*(196*w + 1333)>, <4, 1/193*(182*w - 1092)>, <42, 1/205*(14*w + 107)>, <24, 1/9*(2*w + 17)>, <24, 1/122*(3*w + 134)>, <12, 1/28*(w + 31)>, <16, 1/193*(15*w + 75)>, <16, 1/3795*(32*w + 288)>, <8, 1/28*(15*w - 90)>, <8, 1/2895*(28*w - 168)>, <4, 1/105*(8*w - 48)>, <16, 1/15*(w + 4)>, <16, 1/14*(5*w + 50)>, <12, 1/196*(w - 3)>, <12, 1/1353*(28*w + 952)>, <12, 1/715*(12*w + 232)>, <16, 1/10309*(280*w + 4109)>, <4, 1/105*(8*w + 185)>, <8, 1/16*(5*w - 25)>, <8, 1/915*(16*w - 80)>, <18, 1/14965*(42*w + 321)>, <-12, 1/183*(-52*w + 443)>, <-12, 1/61*(-w + 5)>, <-24, 1/4015*(-84*w + 2643)>, <-2, 1/28561*(-720*w + 22896)>, <-4, 1/165*(-52*w + 269)>, <-12, 1/1551*(-26*w + 1174)>, <-24, 1/3*(-w + 6)>, <-6, 1/49*(-13*w + 127)>, <-12, 1/42267*(-650*w + 36517)>, <-6, 1/144*(-5*w + 184)>, <-12, 1/3*(-w - 4)>, <-12, 1/183*(-70*w + 350)>, <-4, 1/17563*(-432*w + 14944)>, <-4, 1/12*(-w + 2)>, <-4, 1/1183*(-12*w + 483)>, <-4, 1/1737*(-112*w + 2528)>, <-4, 1/772*(-27*w - 135)>, <-16, 1/9*(-w - 1)>, <-4, 1/175*(-18*w + 247)>, <-20, 1/7*(-w - 2)>, <-4, 1/55407*(-490*w + 30200)>, <-8, 1/42757*(-840*w + 22800)>, <-4, 1/2530*(-119*w + 3230)>, <-4, 1/55407*(-833*w + 4900)>, <-12, 1/793*(-22*w + 903)>, <-36, 1/235*(-13*w + 131)>, <-12, 1/44895*(-1694*w + 14641)>, <-6, 1/193*(-48*w - 240)>, <-12, 1/27*(-2*w + 31)>, <-4, 1/59*(-3*w + 36)>, <-4, 1/590*(-13*w - 143)>, <-4, 1/413*(-6*w - 46)>, <-4, 1/33*(-2*w - 2)>, <-4, 1/30*(-w + 39)>, <-4, 1/45*(-2*w + 18)>, <-4, 1/41*(-9*w - 13)>, <-4, 1/82*(-3*w - 18)>, <-12, 1/2*(-w + 3)>, <-4, 1/400*(-7*w + 428)>, <-4, 1/400*(-9*w + 148)>, <-12, 1/25*(-2*w + 8)>, <-4, 1/507*(-6*w + 356)>, <-4, 1/49*(-9*w + 148)>, <-8, 1/39*(-w + 29)>, <-12, 1/156*(-7*w + 163)>, <-12, 1/732*(-25*w - 100)>, <-6, 1/169*(-6*w + 169)>, <-12, 1/54*(-11*w + 142)>, <-8, 1/72*(-11*w + 138)>, <-12, 1/584*(-33*w - 231)>, <-12, 1/31459*(-726*w + 12462)>, <-12, 1/7*(-w + 9)>, <-12, 1/235*(-48*w - 384)>, <-4, 1/55407*(-1700*w + 47107)>, <-4, 1/2190*(-119*w + 2890)>, <-4, 1/55407*(-700*w + 36710)>, <-4, 1/63*(-10*w + 163)>, <-4, 1/253*(-10*w + 163)>, <-12, 1/6*(-w + 9)>, <-12, 1/165*(-2*w + 163)>, <-16, 1/3*(-w + 4)>, <-12, 1/169*(-2*w + 2)>, <-12, 1/275*(-14*w + 331)>, <-24, 1/163*(-9*w + 163)>, <-12, 1/329*(-20*w + 509)>, <-12, 1/36*(-w + 2)>, <-12, -1/5*w>, <-12, 1/815*(-168*w + 168)>, <-12, 1/115*(-4*w + 63)>, <-12, 1/92*(-11*w + 202)>, <-12, -154/1467*w>, <-12, 1/88*(-9*w - 54)>, <-12, 1/183*(-2*w + 175)>, <-12, 1/300*(-13*w + 352)>, <-12, 1/235*(-12*w + 139)>, <-12, 1/169*(-6*w + 163)>, <-12, 1/193*(-169*w + 1014)>, <-12, 1/31845*(-676*w + 3284)>, <-12, 1/196*(-3*w + 187)>, <-6, 1/205*(-28*w + 196)>, <-12, 1/121*(-8*w - 24)>, <-12, 1/1880*(-99*w + 2771)>, <-12, 1/4453*(-52*w + 3920)>, <-12, -w + 4>, <-12, 1/175*(-3*w - 9)>, <-12, 1/169*(-2*w + 183)>, <-12, 1/205*(-6*w + 87)>, <-12, 1/25*(-14*w + 123)>, <-12, 1/43005*(-182*w + 41353)>, <-12, 1/253*(-4*w + 293)>, <-12, 1/45355*(-1134*w + 36526)>, <-12, 1/165*(-w + 167)>, <-12, 1/169*(-4*w + 12)>, <-4, 1/350*(-22*w + 163)>, <-4, 1/625*(-22*w + 788)>, <-8, 1/175*(-6*w - 18)>, <-4, 1/2275*(-6*w + 3349)>, <-4, 1/169*(-w + 179)>, <-4, 1/2450*(-13*w + 2327)>, <-4, 1/46299*(-2366*w + 21463)>, <-4, 1/175*(-w - 3)>, <-12, 1/35*(-w + 39)>, <-12, 1/235*(-6*w + 7)>, <-12, 1/4825*(-144*w + 2601)>, <-12, 1/6325*(-156*w + 4849)>, <-12, 1/169*(-4*w + 181)>, <-4, 1/507*(-154*w + 969)>, <-4, 1/163*(-11*w + 174)>, <-4, 1/48085*(-462*w + 7308)>, <-4, 1/49855*(-378*w + 53662)>, <-4, 1/295*(-14*w + 141)>, <-8, 1/39*(-14*w - 70)>, <-4, 1/193*(-14*w + 84)>, <-4, 1/55225*(-42*w + 45724)>, <-4, 1/2562*(-13*w + 2444)>, <-4, 1/35319*(-196*w + 36848)>, <-4, 1/2509*(-196*w + 1529)>, <-4, 1/193*(-182*w - 910)>, <-12, 1/28*(-w + 32)>, <-4, 1/105*(-8*w - 40)>, <-16, 1/15*(-w + 5)>, <-16, 1/14*(-5*w + 55)>, <-12, 1/196*(-w - 2)>, <-12, 1/1353*(-28*w + 980)>, <-12, 1/715*(-12*w + 244)>, <-4, 1/105*(-8*w + 193)> ]