/* Defining polynomial */ x^2 - x + 190 /* GCD of coefficients */ 2 /* 24 * |disc|^(3/2) /(8*pi^2)* zeta_F(2) */ 14753.5274170315559903088365485 /* Belt */ [ <168, 1/8*(w + 6)>, <36, 1/29*(3*w - 21)>, <120, 1/232*(11*w + 155)>, <96, 1/8*(w + 9)>, <12, 1/1435*(51*w + 330)>, <84, 1/32*(w - 2)>, <36, 1/140*(3*w + 90)>, <12, 1/145*(3*w + 105)>, <144, 1/55*(3*w + 37)>, <48, 1/58*(w + 51)>, <48, 1/49*(w + 51)>, <232, 1/82*(5*w + 42)>, <12, 1/34*(3*w - 9)>, <60, 1/49*(3*w + 6)>, <48, 1/196*(5*w + 181)>, <60, 1/7*(w + 9)>, <24, w - 10>, <264, 1/20*(w + 9)>, <48, 1/1015*(6*w - 51)>, <184, 1/29*(2*w + 15)>, <96, 1/220*(13*w + 142)>, <120, 1/232*(11*w + 66)>, <96, 1/220*(13*w + 65)>, <136, 1/232*(13*w + 141)>, <8, 1/280*(19*w + 90)>, <4, 1/81*(19*w - 109)>, <4, 1/78400*(1539*w - 8829)>, <264, 1/14*(w + 9)>, <24, 1/6*(w - 5)>, <144, 1/55*(3*w + 15)>, <12, 1/1435*(22*w + 1138)>, <144, 1/12*(w + 7)>, <244, 1/11*(w + 5)>, <60, 1/7*(w - 3)>, <72, 1/210*(13*w + 145)>, <132, 1/7*(w + 2)>, <96, 1/4*(w + 1)>, <24, 1/63*(5*w + 83)>, <132, 1/28*(w + 2)>, <24, 1/280*(9*w - 90)>, <84, 1/10*(w + 9)>, <96, 1/48*(w + 1)>, <24, 1/50*(3*w + 62)>, <72, 1/13*(w + 8)>, <60, 1/15*(w + 8)>, <102, 1/246*(11*w + 77)>, <102, 1/246*(11*w + 158)>, <60, 1/232*(15*w + 127)>, <24, 1/4*(w - 7)>, <24, 1/75*(w + 64)>, <144, 1/70*(3*w + 12)>, <174, 1/123*(7*w + 67)>, <42, 1/220*(9*w + 166)>, <24, 1/12838*(297*w + 8140)>, <24, 1/108*(11*w - 66)>, <42, 1/220*(9*w + 45)>, <174, 1/14*(w + 6)>, <24, 1/95*(9*w - 9)>, <84, 1/10*w>, <24, 1/66*(5*w + 86)>, <156, 1/32*(w + 1)>, <184, 1/29*(2*w + 12)>, <60, 1/246*(17*w + 110)>, <24, 1/168*(11*w + 179)>, <24, 1/2375*(77*w + 1253)>, <24, 1/2096*(55*w + 946)>, <156, 1/6*(w + 1)>, <60, 1/246*(17*w + 119)>, <12, 1/17*(2*w - 10)>, <24, 1/246*(11*w + 323)>, <24, 1/25676*(715*w + 14366)>, <48, 1/101*(6*w + 77)>, <24, 1/1111*(65*w + 1306)>, <48, 1/131*(6*w + 77)>, <12, 1/33*(2*w - 12)>, <96, 1/55*(2*w + 10)>, <24, 1/532*(11*w + 323)>, <48, 1/150*(7*w + 70)>, <48, 1/14*(w + 10)>, <24, 1/101*(2*w - 8)>, <24, 1/4*(w - 4)>, <24, 1/656*(15*w + 495)>, <24, 1/656*(15*w + 146)>, <96, 1/105*(4*w + 85)>, <48, 1/123*(4*w + 91)>, <36, 1/262*(11*w + 88)>, <12, 1/16*(3*w - 27)>, <24, 1/140*(9*w + 50)>, <12, 1/392*(39*w - 117)>, <96, 1/101*(4*w + 85)>, <48, 1/95*(4*w + 91)>, <112, 1/14*(w + 2)>, <12, 1/980*(221*w + 442)>, <24, 1/5*(w - 3)>, <36, 1/105*(w + 100)>, <12, 1/98*(w + 97)>, <24, 1/202*(3*w + 9)>, <36, 1/2*w>, <24, 1/22*(w + 25)>, <24, 1/98*(3*w + 110)>, <24, 1/2020*(51*w + 1870)>, <60, 1/98*(3*w + 6)>, <24, 1/82*(w + 89)>, <84, 1/116*(5*w + 30)>, <24, 1/68*(5*w - 20)>, <48, 1/88*(3*w - 18)>, <12, 1/3799*(32*w + 3904)>, <12, 1/64*(3*w + 24)>, <12, 1/87*(32*w - 137)>, <24, 1/28*(w + 33)>, <24, 1/1435*(26*w + 1084)>, <24, 1/13*(2*w - 14)>, <24, 1/28*(w - 6)>, <12, 1/45*(w - 7)>, <64, 1/262*(17*w + 109)>, <8, 1/68644*(459*w - 3402)>, <8, 1/27*(17*w - 126)>, <24, 1/812*(13*w + 890)>, <24, 1/26*(7*w + 68)>, <84, 1/10*(w + 6)>, <288, 1/10*(w + 4)>, <12, 1/42*(w + 16)>, <12, 1/505*(33*w - 132)>, <48, 1/15*(2*w - 12)>, <48, 1/35*(2*w - 10)>, <12, 1/51*(w + 46)>, <12, 1/56*(w + 9)>, <24, 1/420*(11*w + 275)>, <24, 1/1010*(21*w + 770)>, <24, 1/505*(34*w - 136)>, <24, 1/119*(3*w + 110)>, <24, 1/100*(w + 89)>, <60, 1/6*(w + 2)>, <144, 1/41*(2*w + 14)>, <72, 1/232*(9*w + 54)>, <48, 1/55*(w + 49)>, <96, 1/24*(w + 25)>, <72, 1/196*(9*w + 18)>, <12, 1/64*(9*w + 46)>, <48, 1/656*(15*w + 290)>, <48, 1/87*(5*w - 35)>, <12, 1/2489*(45*w + 1539)>, <48, 1/55*(w + 5)>, <24, 1/4*(w + 8)>, <144, 1/131*(7*w + 56)>, <24, 2/95*w>, <144, 1/14*(w + 8)>, <24, 1/101*(2*w + 6)>, <24, 1/4*(w - 5)>, <24, 1/105*(w + 109)>, <24, 1/2*(w + 6)>, <30, 1/2378*(21*w + 201)>, <168, 1/24*(w + 22)>, <48, 1/2929*(70*w + 1725)>, <96, 1/55*(2*w + 43)>, <48, 1/56*(5*w - 30)>, <24, 1/77*(6*w + 89)>, <24, 1/168*(11*w + 190)>, <12, 4/99*w>, <24, 1/95*(4*w - 4)>, <48, 1/192*(11*w + 11)>, <24, 1/176*(7*w + 183)>, <72, 1/98*(5*w + 10)>, <24, 1/285*(52*w + 285)>, <24, 1/656*(17*w + 561)>, <124, 1/123*(8*w + 59)>, <24, 1/232*(5*w + 197)>, <84, 1/25*(w + 10)>, <84, 1/12*(w + 10)>, <24, 1/1715*(33*w + 440)>, <24, 1/11*(w + 14)>, <24, 1/22*(3*w + 40)>, <24, 1/400*(11*w + 154)>, <124, 1/131*(8*w + 59)>, <48, 1/11*(w + 1)>, <60, 1/10*(w + 1)>, <24, 1/192*(5*w + 197)>, <60, 1/96*(5*w + 5)>, <72, 1/10*(w + 2)>, <24, 1/2755*(77*w + 2013)>, <24, 1/6419*(156*w + 855)>, <24, 1/34*(w + 33)>, <12, 1/77*(3*w - 21)>, <36, 1/116*(3*w + 18)>, <12, 1/63*(4*w - 36)>, <24, 1/131*(4*w + 32)>, <24, 1/6765*(104*w + 5525)>, <24, 1/64*(13*w - 91)>, <48, 1/192*(5*w + 5)>, <72, 1/7*(w + 3)>, <12, 1/232*(3*w + 211)>, <12, 1/5555*(49*w + 410)>, <20, 1/5371*(8*w + 5304)>, <24, 1/22*(15*w - 120)>, <12, 1/75*(11*w - 99)>, <24, 1/1845*(11*w - 88)>, <48, 1/5*(w + 1)>, <24, 1/38*(21*w + 17)>, <24, 1/384*(91*w + 475)>, <24, 1/182*(5*w + 217)>, <24, 1/9*(w + 9)>, <24, 1/2222*(21*w + 17)>, <36, 1/2*(w + 1)>, <24, 1/26462*(455*w + 19747)>, <24, 1/9595*(182*w + 950)>, <24, 1/9*(w - 1)>, <24, 1/640*(21*w + 150)>, <24, 1/57*(7*w + 50)>, <24, 1/128*(35*w + 163)>, <24, 1/105*(2*w + 107)>, <24, 1/7*(4*w - 13)>, <48, 1/7070*(117*w + 5603)>, <12, 1/369*(8*w - 64)>, <48, 1/377*(9*w + 431)>, <24, 1/266*(9*w + 162)>, <12, 1/25*(13*w + 142)>, <96, 1/15*(w + 9)>, <24, 1/7*(4*w + 16)>, <48, 1/82*(w + 74)>, <48, 1/70*(w + 74)>, <12, 1/196*(3*w + 187)>, <36, 1/2*(w + 2)>, <24, 1/133*(3*w + 111)>, <36, 1/105*(w + 4)>, <36, 1/26*(w - 5)>, <24, 9/190*w>, <24, 1/560*(11*w + 330)>, <24, 1/56*(13*w + 82)>, <36, 1/30*(w + 19)>, <36, 1/98*(w + 2)>, <36, 1/131*(3*w + 24)>, <24, 1/4444*(117*w + 2158)>, <288, 1/10*(w + 5)>, <96, 1/15*(w + 5)>, <20, 1/464*(3*w - 21)>, <4, 1/464*(3*w + 530)>, <4, 1/29*(2*w + 44)>, <4, 1/32*(w + 22)>, <4, 1/105*(4*w + 1)>, <4, 1/16*(w - 7)>, <24, 1/52*(3*w + 67)>, <36, 1/16*(w + 5)>, <36, 1/9*(4*w + 40)>, <24, 1/1600*(39*w + 871)>, <24, 1/1190*(11*w + 1080)>, <48, 1/21*(w - 5)>, <24, 1/32*(3*w - 6)>, <48, 1/10*(w - 5)>, <24, 1/18*(w - 2)>, <6, 1/67816*(1815*w + 47730)>, <6, 1/15*(w + 2)>, <24, 1/784*(15*w + 79)>, <36, 1/7205*(42*w + 6755)>, <12, 1/686*(15*w + 200)>, <16, 1/2009*(40*w + 664)>, <24, 1/14*(w - 5)>, <48, 1/44*(w + 38)>, <24, 1/14*(w + 18)>, <48, 1/38*(w + 38)>, <24, 1/130*(9*w + 166)>, <12, 1/25*(3*w + 37)>, <24, 1/36*(w + 37)>, <36, 1/26*(w + 30)>, <24, 1/9*w>, <24, 1/131*(11*w - 99)>, <24, 1/44*(17*w - 126)>, <24, 1/1425*(26*w + 164)>, <36, 1/19*(w + 19)>, <48, 1/35*(2*w + 43)>, <36, 1/6*(w + 8)>, <24, 1/49*(5*w - 15)>, <24, 1/49*(5*w + 59)>, <12, 1/4192*(135*w + 1735)>, <12, 1/3895*(84*w + 1900)>, <12, 1/70*(11*w + 114)>, <72, 1/38*(w + 37)>, <24, 1/105*(2*w + 8)>, <24, 1/154*(9*w + 181)>, <24, 1/9170*(117*w + 7748)>, <24, 1/54*(13*w - 104)>, <24, 1/909*(77*w + 1140)>, <24, 1/4*(w + 4)>, <12, 1/232*(7*w + 71)>, <24, 1/28*(3*w + 40)>, <24, 1/245*(6*w + 80)>, <24, 1/95*(13*w + 82)>, <24, 1/420*(13*w + 82)>, <24, 1/532*(15*w + 270)>, <24, 1/17*(w - 2)>, <48, 1/13231*(210*w + 10326)>, <24, 1/11685*(308*w + 8360)>, <48, 1/7*(w + 7)>, <84, 1/41*(w + 7)>, <24, 1/15*(w + 18)>, <24, 1/192*(17*w - 34)>, <36, 1/192*(7*w + 199)>, <48, 1/1476*(35*w + 1721)>, <36, 1/192*(7*w - 14)>, <24, 1/343*(44*w - 132)>, <48, 1/246*(7*w + 49)>, <24, 1/147*(13*w + 173)>, <60, 1/70*(3*w + 27)>, <12, 1/13*(3*w - 30)>, <12, 1/60*(7*w - 42)>, <48, 1/6*(w + 5)>, <24, 1/1312*(39*w + 519)>, <40, 1/16113*(40*w - 335)>, <24, 1/101*(w + 3)>, <24, 1/2*(w + 3)>, <60, 1/9*(w + 1)>, <60, 1/82*(3*w + 58)>, <48, 1/2751*(52*w + 580)>, <12, 1/760*(91*w + 760)>, <12, 1/39*(w + 38)>, <48, 1/80*(13*w + 145)>, <12, 1/98*(3*w + 95)>, <6, 1/58*(49*w + 294)>, <24, 1/65*(w - 1)>, <24, 1/38*(13*w - 13)>, <12, 1/196*(3*w + 202)>, <24, 1/418*(9*w + 67)>, <24, 1/131*(w + 139)>, <24, 1/220*(13*w - 78)>, <24, 1/6720*(143*w + 2210)>, <24, 1/6720*(143*w + 4367)>, <36, 1/13*(w + 2)>, <12, 1/19600*(117*w + 1413)>, <24, 1/13*(w - 6)>, <24, 1/176*(3*w + 147)>, <6, 1/225*(11*w + 203)>, <6, 1/346*(11*w + 132)>, <60, 1/3*(w + 1)>, <24, 1/45*(w + 49)>, <4, 1/63*(13*w + 141)>, <12, 1/33*(w - 6)>, <72, 1/38*w>, <24, 1/49*(9*w + 67)>, <24, 1/131*(w - 9)>, <24, 1/35*(3*w - 15)>, <24, 1/1572*(35*w + 935)>, <48, 1/308*(3*w + 279)>, <24, 1/145*(7*w + 187)>, <24, 1/35*(3*w + 47)>, <48, 1/308*(3*w + 26)>, <12, 1/190*(3*w + 130)>, <36, 1/1375*(12*w + 1468)>, <36, 1/16*(w + 10)>, <24, 1/135*(11*w + 179)>, <24, 1/3800*(99*w + 1611)>, <30, 1/18*(7*w + 67)>, <24, 1/4040*(91*w + 2899)>, <24, 1/4040*(91*w + 1050)>, <12, 1/7575*(182*w + 5495)>, <36, 1/13*(w + 9)>, <24, 1/12*(w - 7)>, <36, 1/232*(7*w + 42)>, <36, 1/192*(7*w + 7)>, <12, 1/400*(13*w + 205)>, <12, 1/25*(3*w + 55)>, <12, 1/576*(55*w - 110)>, <36, 1/280*(13*w + 117)>, <24, 1/133*(3*w + 76)>, <36, 1/7*(w + 1)>, <36, 1/232*(7*w + 183)>, <24, 1/49*(4*w + 57)>, <12, 1/1310*(21*w + 1085)>, <36, 1/116*(3*w + 95)>, <24, 1/133*(4*w + 57)>, <40, 1/16113*(40*w + 16408)>, <24, 1/505*(91*w + 778)>, <24, 1/22272*(455*w + 3890)>, <8, 1/196*(9*w - 27)>, <8, 1/9*(w - 3)>, <24, 1/12445*(364*w + 8645)>, <24, 1/91*(4*w + 95)>, <12, 1/190*(w + 190)>, <48, 1/110*(3*w + 15)>, <12, 1/190*(49*w - 49)>, <12, 1/49*(2*w + 53)>, <24, 1/112*(3*w + 19)>, <48, 1/60*(w + 49)>, <12, 1/33*(13*w - 130)>, <12, 1/696*(169*w + 1710)>, <12, 1/656*(13*w + 214)>, <12, 1/50304*(1001*w + 20846)>, <24, 1/56*(5*w - 25)>, <12, 1/225*(11*w + 170)>, <12, 1/56*(15*w + 135)>, <24, 1/75*(4*w - 20)>, <4, 1/1230*(7*w + 1279)>, <12, 1/224*(3*w + 195)>, <48, 1/60*(w + 10)>, <24, 1/19*(3*w + 19)>, <36, 1/70*(w + 60)>, <36, 1/4*(w - 6)>, <24, 1/1280*(33*w + 737)>, <24, 1/64*(w - 2)>, <24, 1/1280*(33*w + 510)>, <24, 1/64*(w + 65)>, <12, 1/192*(35*w + 35)>, <12, 1/202*(w + 198)>, <28, 1/400*(9*w + 265)>, <12, 1/4*(w - 11)>, <6, 1/16564*(297*w + 4266)>, <28, 1/220*(9*w + 265)>, <24, 1/95*(26*w + 69)>, <48, 1/1015*(6*w + 1060)>, <24, 1/1421*(26*w + 69)>, <12, 1/25*(7*w - 49)>, <12, 1/192*(w + 193)>, <24, 1/202*(3*w + 190)>, <12, 1/2090*(169*w + 1921)>, <12, 1/140*(13*w + 205)>, <24, 1/2489*(60*w + 1004)>, <24, 1/176*(15*w + 251)>, <12, 1/1148*(15*w + 1110)>, <12, 1/2464*(3*w - 29)>, <12, 1/210*(w + 205)>, <12, 1/101*(3*w - 12)>, <6, 1/180*(11*w + 235)>, <20, 1/3*(2*w - 14)>, <24, 1/246*(5*w + 206)>, <24, 1/91*(5*w - 15)>, <24, 1/140*(13*w - 39)>, <24, 1/150*(7*w - 35)>, <12, 1/260*(7*w + 295)>, <12, 1/8816*(315*w + 8235)>, <12, 1/45*(w + 6)>, <12, 1/38*(45*w + 38)>, <24, 1/49*(5*w - 25)>, <12, 1/128*(3*w + 15)>, <24, 1/8384*(175*w + 3234)>, <12, 1/7*(15*w - 135)>, <24, 1/8384*(175*w + 4975)>, <4, 1/16*(w + 3)>, <8, 1/1616*(45*w - 180)>, <4, 1/48*(5*w + 108)>, <4, 1/27*(8*w + 96)>, <4, 1/128*(3*w + 36)>, <4, 1/505*(64*w + 249)>, <8, 1/45*(8*w - 32)>, <4, 1/303*(40*w - 160)>, <4, 1/128*(3*w + 104)>, <4, 1/128*(5*w + 83)>, <4, 1/393*(40*w + 713)>, <20, 1/3*(8*w - 64)>, <-12, 1/1435*(-51*w + 381)>, <-12, 1/145*(-3*w + 108)>, <-12, 1/34*(-3*w - 6)>, <-24, -w - 9>, <-24, 1/6*(-w - 4)>, <-12, 1/1435*(-22*w + 1160)>, <-24, 1/280*(-9*w - 81)>, <-12, 1/17*(-2*w - 8)>, <-12, 1/33*(-2*w - 10)>, <-36, 1/262*(-11*w + 99)>, <-12, 1/16*(-3*w - 24)>, <-24, 1/140*(-9*w + 59)>, <-12, 1/392*(-39*w - 78)>, <-12, 1/980*(-221*w + 663)>, <-12, 1/98*(-w + 98)>, <-12, 1/3799*(-32*w + 3936)>, <-12, 1/64*(-3*w + 27)>, <-12, 1/87*(-32*w - 105)>, <-12, 1/45*(-w - 6)>, <-12, 1/42*(-w + 17)>, <-12, 1/505*(-33*w - 99)>, <-12, 1/51*(-w + 47)>, <-12, 1/56*(-w + 10)>, <-12, 1/64*(-9*w + 55)>, <-12, 1/2489*(-45*w + 1584)>, <-12, 1/99*(-4*w + 4)>, <-12, 1/77*(-3*w - 18)>, <-12, 1/63*(-4*w - 32)>, <-12, 1/232*(-3*w + 214)>, <-12, 1/5555*(-49*w + 459)>, <-12, 1/75*(-11*w - 88)>, <-12, 1/369*(-8*w - 56)>, <-12, 1/25*(-13*w + 155)>, <-12, 1/196*(-3*w + 190)>, <-4, 1/464*(-3*w + 533)>, <-4, 1/29*(-2*w + 46)>, <-4, 1/32*(-w + 23)>, <-4, 1/105*(-4*w + 5)>, <-4, 1/16*(-w - 6)>, <-6, 1/67816*(-1815*w + 49545)>, <-6, 1/15*(-w + 3)>, <-24, 1/784*(-15*w + 94)>, <-36, 1/7205*(-42*w + 6797)>, <-12, 1/686*(-15*w + 215)>, <-16, 1/2009*(-40*w + 704)>, <-12, 1/25*(-3*w + 40)>, <-12, 1/4192*(-135*w + 1870)>, <-12, 1/3895*(-84*w + 1984)>, <-12, 1/70*(-11*w + 125)>, <-12, 1/232*(-7*w + 78)>, <-12, 1/13*(-3*w - 27)>, <-12, 1/60*(-7*w - 35)>, <-12, 1/760*(-91*w + 851)>, <-12, 1/39*(-w + 39)>, <-12, 1/98*(-3*w + 98)>, <-6, 1/58*(-49*w + 343)>, <-12, 1/196*(-3*w + 205)>, <-36, 1/13*(-w + 3)>, <-12, 1/19600*(-117*w + 1530)>, <-6, 1/225*(-11*w + 214)>, <-6, 1/346*(-11*w + 143)>, <-4, 1/63*(-13*w + 154)>, <-12, 1/33*(-w - 5)>, <-12, 1/190*(-3*w + 133)>, <-12, 1/7575*(-182*w + 5677)>, <-12, 1/400*(-13*w + 218)>, <-12, 1/25*(-3*w + 58)>, <-12, 1/576*(-55*w - 55)>, <-12, 1/1310*(-21*w + 1106)>, <-12, 1/190*(-w + 191)>, <-12, -49/190*w>, <-12, 1/49*(-2*w + 55)>, <-12, 1/33*(-13*w - 117)>, <-12, 1/696*(-169*w + 1879)>, <-12, 1/656*(-13*w + 227)>, <-12, 1/50304*(-1001*w + 21847)>, <-12, 1/225*(-11*w + 181)>, <-12, 1/56*(-15*w + 150)>, <-4, 1/1230*(-7*w + 1286)>, <-12, 1/224*(-3*w + 198)>, <-12, 1/192*(-35*w + 70)>, <-12, 1/202*(-w + 199)>, <-12, 1/4*(-w - 10)>, <-6, 1/16564*(-297*w + 4563)>, <-12, 1/25*(-7*w - 42)>, <-12, 1/192*(-w + 194)>, <-12, 1/2090*(-169*w + 2090)>, <-12, 1/140*(-13*w + 218)>, <-12, 1/1148*(-15*w + 1125)>, <-12, 1/2464*(-3*w - 26)>, <-12, 1/210*(-w + 206)>, <-12, 1/101*(-3*w - 9)>, <-6, 1/180*(-11*w + 246)>, <-12, 1/260*(-7*w + 302)>, <-12, 1/8816*(-315*w + 8550)>, <-12, 1/45*(-w + 7)>, <-12, 1/38*(-45*w + 83)>, <-12, 1/128*(-3*w + 18)>, <-12, 1/7*(-15*w - 120)>, <-4, 1/16*(-w + 4)>, <-4, 1/48*(-5*w + 113)>, <-4, 1/27*(-8*w + 104)>, <-4, 1/128*(-3*w + 39)>, <-4, 1/505*(-64*w + 313)>, <-4, 1/303*(-40*w - 120)>, <-4, 1/128*(-3*w + 107)>, <-4, 1/128*(-5*w + 88)>, <-4, 1/393*(-40*w + 753)> ]