/* Defining polynomial */ x^2 + 190 /* GCD of coefficients */ 2 /* 24 * |disc|^(3/2) /(8*pi^2)* zeta_F(2) */ 9043.48133869110238758367553424 /* Belt */ [ <12, 1/191*(2*w + 2)>, <6, 1/169*(11*w + 180)>, <62, 1/11*(w + 1)>, <4, 1/199*(2*w + 193)>, <4, 1/382*(195*w + 187)>, <4, 1/38009*(2535*w + 40440)>, <4, 1/33233*(169*w + 2696)>, <20, 1/191*(11*w - 11)>, <4, 1/31897*(143*w + 1958)>, <20, 1/11*(w - 1)>, <4, 1/191*(13*w + 178)>, <160, 1/127*(8*w + 64)>, <36, 1/2*(w + 2)>, <36, 1/2*w>, <28, 1/271*(9*w + 190)>, <4, 1/361*(10*w + 361)>, <4, 1/361*(9*w + 190)>, <4, 1/290*(9*w + 461)>, <48, 1/19*w>, <16, 1/551*(9*w + 171)>, <48, 1/19*(w + 19)>, <12, 1/12065*(252*w + 6080)>, <36, 1/127*(4*w + 95)>, <144, 1/14*(w + 6)>, <144, 1/113*(7*w + 42)>, <24, 1/2813*(84*w + 2205)>, <24, 1/105*(4*w + 105)>, <48, 1/9*(8*w - 63)>, <48, 1/16129*(72*w - 567)>, <24, 1/172*(15*w + 247)>, <24, 1/75*(4*w + 95)>, <4, 1/8557*(78*w + 562)>, <4, 1/215*(2*w + 205)>, <28, 1/290*(13*w + 160)>, <16, 1/30*(13*w + 160)>, <8, 1/13*(3*w - 15)>, <16, 1/2*(3*w + 30)>, <8, 1/645*(13*w - 65)>, <64, 1/58*(3*w + 30)>, <24, 1/239*(12*w + 323)>, <24, 1/239*(12*w - 84)>, <24, 1/1905*(8*w - 64)>, <60, 1/97*(4*w + 89)>, <24, 1/817*(18*w + 133)>, <24, 1/91*(2*w - 4)>, <24, 1/2494*(21*w + 2298)>, <24, 1/388*(91*w - 182)>, <24, 1/190*(7*w + 190)>, <24, 1/717*(7*w + 766)>, <108, 1/43*(2*w + 10)>, <28, 1/290*(13*w + 130)>, <6, 1/121*(6*w - 60)>, <28, 1/191*(10*w + 181)>, <4, 1/78590*(1539*w + 70490)>, <4, 1/2981*(90*w + 4610)>, <4, 1/2439*(190*w + 3439)>, <4, 1/51761*(810*w + 14661)>, <4, 1/9*(w - 1)>, <24, 1/2*(w + 4)>, <24, 1/135*(8*w + 199)>, <24, 1/51761*(1080*w + 26865)>, <24, 1/817*(18*w + 684)>, <24, 1/239*(7*w + 190)>, <60, 1/8*(w + 6)>, <24, 1/1905*(8*w + 1969)>, <24, 1/2*(w - 2)>, <72, 1/6*(w + 2)>, <72, 1/6*(w + 4)>, <12, 1/99*(10*w + 169)>, <24, 1/199*(10*w + 30)>, <12, 1/8*(w + 3)>, <12, 1/8557*(216*w + 4725)>, <96, 1/8*(w + 4)>, <12, 1/388*(105*w + 210)>, <12, 1/4*(w - 2)>, <60, 1/16*(w + 7)>, <72, 1/239*(14*w + 141)>, <62, 1/191*(11*w + 11)>, <24, 1/70*(11*w + 180)>, <48, 1/4*(w + 2)>, <60, 1/199*(9*w + 172)>, <12, 1/14351*(350*w + 10801)>, <108, 1/11*(w + 3)>, <12, 1/26287*(825*w + 12900)>, <12, 1/11*(w + 9)>, <36, 1/12*(w + 2)>, <12, 1/2813*(30*w + 425)>, <12, 1/412*(119*w - 64)>, <12, 1/127*(2*w + 111)>, <24, 1/70286*(1071*w + 78098)>, <24, 1/17*(w + 11)>, <24, 1/522*(7*w + 452)>, <24, 1/145*(9*w + 90)>, <12, 1/10735*(231*w + 7315)>, <36, 1/6*w>, <60, 1/239*(16*w + 112)>, <72, 1/239*(15*w + 134)>, <84, 1/254*(13*w + 104)>, <72, 1/254*(15*w + 134)>, <84, 1/13*(w + 8)>, <12, 1/61889*(1080*w + 31784)>, <12, 1/311*(8*w + 223)>, <12, 1/7*(w - 3)>, <12, 1/5771*(105*w + 3300)>, <24, 1/56*(15*w + 146)>, <64, 1/15*(w + 10)>, <24, 1/32033*(420*w + 4088)>, <12, 1/10277*(90*w + 10125)>, <12, 1/45*(w + 7)>, <12, 1/301*(45*w + 76)>, <24, 1/493*(5*w + 443)>, <24, 1/290*(17*w + 170)>, <36, 1/113*(3*w + 95)>, <48, 1/1243*(48*w + 1531)>, <48, 1/96*(11*w + 162)>, <24, 1/11639*(105*w + 404)>, <72, 1/194*(7*w + 180)>, <24, 1/12319*(273*w + 9373)>, <48, 1/239*(12*w + 155)>, <48, 1/239*(9*w + 176)>, <108, 1/226*(11*w + 160)>, <24, 1/33*(14*w + 145)>, <24, 1/6931*(85*w + 7531)>, <24, 1/17*(w + 10)>, <12, 1/215*(4*w + 235)>, <12, 1/11653*(204*w - 332)>, <24, 1/1133*(64*w + 1389)>, <36, 1/72*(5*w - 15)>, <24, 1/551*(18*w + 209)>, <24, 1/11*(w - 8)>, <24, 1/430*(91*w - 455)>, <24, 1/194*(3*w - 6)>, <48, 1/1397*(42*w - 336)>, <24, 1/194*(3*w + 200)>, <48, 1/1397*(42*w + 1733)>, <12, 1/64769*(240*w + 62864)>, <24, 1/430*(91*w + 885)>, <24, 1/551*(18*w + 342)>, <24, 1/11*(w + 19)>, <48, 1/239*(12*w + 84)>, <108, 1/11*(w + 5)>, <24, 1/33*(14*w - 112)>, <12, 1/1397*(39*w + 1709)>, <24, 1/128*(11*w + 172)>, <12, 1/24257*(495*w + 10010)>, <36, 1/9*(w + 1)>, <36, 1/995*(72*w - 216)>, <24, 1/45649*(1080*w + 20944)>, <48, 1/239*(9*w + 63)>, <24, 1/12319*(273*w + 2946)>, <24, 1/254*(7*w + 198)>, <24, 1/1808*(135*w + 2618)>, <24, 1/7*(w - 1)>, <72, 1/7*(w + 5)>, <24, 1/11639*(105*w + 11235)>, <24, 1/40*(7*w - 35)>, <72, 1/206*(11*w + 162)>, <30, 1/5*(w + 7)>, <24, 1/23183*(630*w + 10863)>, <24, 1/291*(112*w + 67)>, <24, 1/291*(112*w + 224)>, <24, 1/16199*(385*w + 4565)>, <12, 1/291*(91*w + 473)>, <12, 1/191*(3*w + 188)>, <24, 1/16199*(385*w + 11634)>, <24, 1/23183*(630*w + 12320)>, <30, 1/239*(5*w + 35)>, <96, 1/113*(6*w + 36)>, <72, 1/11*(w + 7)>, <24, 1/40*(7*w + 75)>, <132, 1/10*(w + 4)>, <12, 1/1030*(63*w - 252)>, <36, 1/15*(w + 9)>, <12, 1/34417*(136*w + 944)>, <24, 1/1912*(143*w - 1001)>, <120, 1/13*(w + 7)>, <24, 1/17*(w + 6)>, <24, 1/63*(17*w + 187)>, <28, 1/271*(10*w + 181)>, <12, 1/2865*(121*w + 2986)>, <36, 1/191*(7*w + 7)>, <12, 1/12319*(385*w + 5620)>, <60, 1/97*(5*w + 87)>, <108, 1/254*(11*w + 166)>, <42, 1/199*(5*w + 15)>, <12, 1/27913*(663*w + 20059)>, <84, 1/206*(13*w + 154)>, <84, 1/13*(w + 9)>, <132, 1/103*(5*w + 20)>, <12, 1/13081*(330*w + 8736)>, <60, 1/103*(6*w + 79)>, <24, 1/56*(13*w - 104)>, <24, 1/127*(9*w + 72)>, <24, 1/522*(7*w + 70)>, <24, 1/28855*(364*w + 24375)>, <24, 1/143*(8*w - 56)>, <120, 1/239*(13*w + 91)>, <24, 1/90*(13*w + 168)>, <24, 1/12319*(260*w + 7795)>, <24, 1/30167*(585*w + 7560)>, <24, 1/1195*(52*w + 1559)>, <60, 1/199*(7*w + 21)>, <12, 1/150*(7*w + 178)>, <24, 1/1905*(7*w + 1961)>, <12, 1/190*(3*w + 190)>, <12, 1/1393*(169*w + 1900)>, <24, 1/226*(13*w + 304)>, <16, 1/377*(3*w + 407)>, <24, 1/551*(13*w + 304)>, <12, 1/256*(5*w + 226)>, <12, 1/271*(3*w + 27)>, <24, 1/721*(90*w - 360)>, <24, 1/258*(11*w + 313)>, <60, 1/12*(w + 8)>, <24, 1/26287*(728*w + 21632)>, <24, 1/143*(8*w + 175)>, <24, 39/152*w>, <24, 4/195*w>, <12, 1/559*(17*w + 644)>, <24, 1/796*(77*w + 1027)>, <42, 1/194*(5*w + 10)>, <24, 1/25273*(560*w + 1305)>, <24, 1/25273*(560*w + 23968)>, <24, 1/143*(12*w + 179)>, <36, 1/127*(4*w + 32)>, <24, 1/1673*(22*w - 154)>, <60, 1/10*(w + 8)>, <12, 1/17201*(200*w + 18976)>, <12, 1/16*(w + 12)>, <24, 1/14351*(154*w + 1562)>, <24, 1/2388*(143*w + 2817)>, <60, 1/7*(w + 3)>, <28, 1/190*(9*w + 190)>, <24, 1/176*(7*w - 14)>, <24, 1/22705*(616*w + 5985)>, <24, 1/42785*(1144*w + 25025)>, <24, 1/796*(77*w - 231)>, <24, 1/26287*(728*w + 4655)>, <36, 1/191*(7*w + 184)>, <24, 1/180*(7*w - 28)>, <24, 1/55*(6*w + 85)>, <72, 1/215*(9*w + 45)>, <12, 1/19673*(273*w + 2019)>, <12, 1/206*(3*w + 194)>, <12, 1/70*(11*w - 132)>, <72, 1/206*(9*w + 36)>, <24, 1/195*(4*w + 211)>, <24, 1/824*(195*w + 1604)>, <24, 1/45649*(1144*w + 26169)>, <48, 1/1469*(36*w - 216)>, <24, 1/6*(w + 7)>, <12, 1/3110*(91*w - 1001)>, <12, 1/10*(w + 11)>, <12, 1/473*(21*w + 578)>, <12, 1/12*(w + 9)>, <12, 1/3252*(55*w - 495)>, <36, 1/254*(17*w + 118)>, <12, 1/53929*(1014*w + 17256)>, <12, 1/5*(w + 8)>, <12, 1/232*(13*w + 362)>, <12, 1/145*(4*w + 40)>, <24, 1/143*(8*w + 183)>, <48, 1/72*(13*w - 78)>, <24, 1/239*(6*w + 42)>, <24, 1/27007*(455*w + 5180)>, <36, 1/464*(3*w + 434)>, <36, 1/145*(8*w + 80)>, <36, 1/271*(15*w + 135)>, <24, 1/2712*(91*w + 3258)>, <24, 1/3107*(63*w + 3548)>, <60, 1/226*(9*w + 172)>, <60, 1/5*w>, <24, 1/199*(4*w + 12)>, <24, 1/4*(w + 3)>, <60, 1/43*(w + 38)>, <24, 1/6*(w + 8)>, <24, 1/127*(3*w + 24)>, <24, 1/311*(13*w + 143)>, <24, 1/14*(w + 3)>, <36, 1/15*(7*w - 56)>, <24, 1/13*(w + 11)>, <24, 1/311*(14*w + 157)>, <24, 1/3107*(63*w - 441)>, <24, 1/91*(12*w + 163)>, <24, 1/1582*(33*w + 1780)>, <24, 1/33*(7*w + 75)>, <12, 1/1634*(33*w + 1254)>, <24, 1/13081*(210*w + 1426)>, <24, 1/398*(105*w + 713)>, <24, 1/6*(w + 1)>, <36, 1/191*(5*w + 5)>, <24, 1/50*(13*w + 154)>, <12, 1/2710*(91*w + 3529)>, <36, 1/271*(17*w + 118)>, <24, 1/35*(17*w - 118)>, <24, 1/27913*(325*w + 3850)>, <12, 1/199*(6*w + 181)>, <6, 1/995*(169*w + 1502)>, <12, 1/65*(4*w + 89)>, <24, 1/191*(6*w + 6)>, <36, 1/5*(w + 1)>, <24, 1/21583*(546*w + 14352)>, <24, 1/156*(7*w + 184)>, <36, 1/103*(7*w + 28)>, <12, 1/5*(7*w + 75)>, <24, 1/2365*(117*w - 585)>, <24, 1/927*(77*w - 308)>, <24, 1/28855*(702*w + 8640)>, <36, 1/12*(w + 10)>, <36, 1/9*(w + 8)>, <24, 1/12065*(364*w + 8645)>, <24, 1/12065*(364*w + 3420)>, <36, 1/1778*(15*w - 120)>, <24, 1/29545*(924*w + 13585)>, <12, 1/309*(98*w + 701)>, <12, 1/206*(w + 4)>, <24, 1/29545*(924*w + 15960)>, <24, 1/927*(77*w + 1235)>, <24, 1/2365*(117*w + 2950)>, <24, 1/28855*(702*w + 20215)>, <24, 1/339*(5*w + 369)>, <36, 1/145*(8*w + 65)>, <36, 1/15*(8*w - 65)>, <24, 1/1247*(15*w + 1107)>, <24, 1/103*(2*w + 95)>, <24, 1/215*(14*w - 70)>, <24, 1/4*w>, <24, 1/215*(14*w + 285)>, <24, 1/226*(5*w + 30)>, <24, 1/4607*(35*w + 4292)>, <6, 1/46366*(845*w + 11890)>, <24, 1/5*(w + 6)>, <24, 1/156*(7*w - 42)>, <24, 1/791*(78*w - 468)>, <24, 1/13081*(294*w + 9210)>, <36, 1/14*(w + 5)>, <24, 1/27695*(819*w + 9495)>, <24, 1/27695*(819*w + 18200)>, <12, 1/98*(3*w + 95)>, <12, 1/113*(98*w + 588)>, <12, 1/21583*(490*w + 2375)>, <12, 1/196*(3*w + 190)>, <12, 1/199*(w + 3)>, <36, 1/271*(14*w + 145)>, <36, 1/103*(7*w + 75)>, <24, 1/1290*(49*w + 1535)>, <24, 1/70*(13*w + 148)>, <6, 1/43*(45*w - 182)>, <6, 1/226*(w + 220)>, <12, 1/191*(w + 192)>, <12, 1/191*(98*w - 98)>, <12, 1/75*(14*w + 145)>, <6, 1/226*(w - 6)>, <6, 1/225*(w + 232)>, <12, 1/206*(5*w + 226)>, <12, 1/30623*(1470*w + 17295)>, <12, 1/2*(w - 4)>, <24, 1/14*(15*w + 134)>, <8, 8*w - 63>, <8, 1/16129*(8*w - 63)>, <-6, 1/169*(-11*w + 180)>, <-4, 1/199*(-2*w + 193)>, <-4, 1/382*(-195*w + 187)>, <-4, 1/38009*(-2535*w + 40440)>, <-4, 1/33233*(-169*w + 2696)>, <-4, 1/31897*(-143*w + 1958)>, <-4, 1/191*(-13*w + 178)>, <-4, 1/361*(-10*w + 361)>, <-4, 1/361*(-9*w + 190)>, <-4, 1/290*(-9*w + 461)>, <-16, 1/551*(-9*w + 171)>, <-12, 1/12065*(-252*w + 6080)>, <-4, 1/8557*(-78*w + 562)>, <-4, 1/215*(-2*w + 205)>, <-16, 1/2*(-3*w + 30)>, <-6, 1/121*(-6*w - 60)>, <-4, 1/78590*(-1539*w + 70490)>, <-4, 1/2981*(-90*w + 4610)>, <-4, 1/2439*(-190*w + 3439)>, <-4, 1/51761*(-810*w + 14661)>, <-4, 1/9*(-w - 1)>, <-12, 1/99*(-10*w + 169)>, <-24, 1/199*(-10*w + 30)>, <-12, 1/8*(-w + 3)>, <-12, 1/8557*(-216*w + 4725)>, <-12, 1/388*(-105*w + 210)>, <-12, 1/4*(-w - 2)>, <-24, 1/70*(-11*w + 180)>, <-12, 1/14351*(-350*w + 10801)>, <-12, 1/26287*(-825*w + 12900)>, <-12, 1/11*(-w + 9)>, <-12, 1/2813*(-30*w + 425)>, <-12, 1/412*(-119*w - 64)>, <-12, 1/127*(-2*w + 111)>, <-12, 1/10735*(-231*w + 7315)>, <-12, 1/61889*(-1080*w + 31784)>, <-12, 1/311*(-8*w + 223)>, <-12, 1/7*(-w - 3)>, <-12, 1/5771*(-105*w + 3300)>, <-12, 1/10277*(-90*w + 10125)>, <-12, 1/45*(-w + 7)>, <-12, 1/301*(-45*w + 76)>, <-12, 1/215*(-4*w + 235)>, <-12, 1/11653*(-204*w - 332)>, <-12, 1/64769*(-240*w + 62864)>, <-12, 1/1397*(-39*w + 1709)>, <-12, 1/24257*(-495*w + 10010)>, <-12, 1/291*(-91*w + 473)>, <-12, 1/191*(-3*w + 188)>, <-12, 1/1030*(-63*w - 252)>, <-12, 1/34417*(-136*w + 944)>, <-12, 1/2865*(-121*w + 2986)>, <-12, 1/12319*(-385*w + 5620)>, <-12, 1/27913*(-663*w + 20059)>, <-12, 1/13081*(-330*w + 8736)>, <-12, 1/150*(-7*w + 178)>, <-12, 1/190*(-3*w + 190)>, <-12, 1/1393*(-169*w + 1900)>, <-12, 1/256*(-5*w + 226)>, <-12, 1/271*(-3*w + 27)>, <-12, 1/559*(-17*w + 644)>, <-12, 1/17201*(-200*w + 18976)>, <-12, 1/16*(-w + 12)>, <-12, 1/19673*(-273*w + 2019)>, <-12, 1/206*(-3*w + 194)>, <-12, 1/70*(-11*w - 132)>, <-12, 1/3110*(-91*w - 1001)>, <-12, 1/10*(-w + 11)>, <-12, 1/473*(-21*w + 578)>, <-12, 1/12*(-w + 9)>, <-12, 1/3252*(-55*w - 495)>, <-12, 1/53929*(-1014*w + 17256)>, <-12, 1/5*(-w + 8)>, <-12, 1/232*(-13*w + 362)>, <-12, 1/145*(-4*w + 40)>, <-12, 1/1634*(-33*w + 1254)>, <-12, 1/2710*(-91*w + 3529)>, <-6, 1/995*(-169*w + 1502)>, <-12, 1/65*(-4*w + 89)>, <-12, 1/5*(-7*w + 75)>, <-12, 1/309*(-98*w + 701)>, <-12, 1/206*(-w + 4)>, <-6, 1/46366*(-845*w + 11890)>, <-12, 1/98*(-3*w + 95)>, <-12, 1/113*(-98*w + 588)>, <-12, 1/21583*(-490*w + 2375)>, <-12, 1/196*(-3*w + 190)>, <-12, 1/199*(-w + 3)>, <-6, 1/43*(-45*w - 182)>, <-6, 1/226*(-w + 220)>, <-12, 1/191*(-w + 192)>, <-12, 1/191*(-98*w - 98)>, <-12, 1/75*(-14*w + 145)>, <-6, 1/226*(-w - 6)>, <-6, 1/225*(-w + 232)>, <-12, 1/206*(-5*w + 226)>, <-12, 1/30623*(-1470*w + 17295)>, <-12, 1/2*(-w - 4)> ]