/* Defining polynomial */ x^2 - x + 174 /* GCD of coefficients */ 2 /* 24 * |disc|^(3/2) /(8*pi^2)* zeta_F(2) */ 13559.4996614649867483553328432 /* Belt */ [ <24, 1/330*(7*w + 239)>, <24, 1/110*(w + 97)>, <132, 1/22*(w + 12)>, <24, 1/330*(7*w + 84)>, <24, 1/34*(w - 6)>, <408, 1/12*(w + 5)>, <24, 1/174*(5*w + 174)>, <12, 1/51*(2*w + 27)>, <96, 1/6*(w - 1)>, <168, 1/23*(w + 15)>, <108, 1/36*(w + 33)>, <168, 1/18*(w + 15)>, <144, 1/216*(13*w + 125)>, <120, 1/11*(w + 5)>, <72, 1/7*(w + 2)>, <72, 1/180*(7*w + 14)>, <36, 1/58*w>, <12, 1/72*(5*w + 82)>, <132, 1/12*(w + 2)>, <24, 1/119*(11*w - 66)>, <72, 1/186*(7*w + 158)>, <102, 1/246*(13*w + 129)>, <6, 1/47724*(325*w + 44174)>, <72, 1/17*(w + 8)>, <24, 1/132*(7*w - 42)>, <408, 1/17*(w + 5)>, <36, 1/216*(5*w - 35)>, <72, 1/194*(11*w + 139)>, <72, 1/194*(11*w + 44)>, <24, 1/17*(w + 22)>, <96, 1/51*(2*w + 39)>, <96, 1/27*(2*w + 12)>, <84, 1/115*(6*w + 67)>, <84, 1/12*(w + 4)>, <24, 1/2349*(70*w + 609)>, <48, 1/4428*(77*w + 3322)>, <48, 1/187*(7*w + 222)>, <48, 1/187*(7*w - 42)>, <24, 1/837*(20*w + 525)>, <24, 1/48*(5*w - 30)>, <60, 1/36*(w + 38)>, <12, 1/2231*(30*w + 335)>, <60, 1/46*(w + 38)>, <48, 1/253*(7*w + 302)>, <24, 1/160*(7*w - 14)>, <96, 1/51*(2*w + 10)>, <96, 1/27*(2*w + 13)>, <192, 1/108*(7*w + 59)>, <24, 1/126*(11*w - 77)>, <120, 1/6*w>, <36, 1/115*(4*w + 83)>, <18, 1/194*(5*w + 169)>, <6, 1/870*(169*w + 870)>, <12, 1/174*w>, <24, 1/522*(91*w + 522)>, <12, 1/5984*(35*w + 6250)>, <72, 1/15*(w + 9)>, <72, 1/194*(9*w + 149)>, <24, 1/3*(w + 1)>, <36, 1/8*w>, <12, 1/744*(65*w + 939)>, <84, 1/97*(4*w + 77)>, <120, 1/34*(w + 28)>, <12, 1/145*(12*w + 145)>, <24, 1/3335*(77*w + 1914)>, <24, 1/522*(91*w - 91)>, <192, 1/14*(w + 7)>, <48, 1/10*(w + 8)>, <48, 1/18*(w + 20)>, <48, 1/12*(w - 4)>, <120, 1/102*(5*w + 72)>, <12, 1/32*(7*w - 35)>, <24, 1/29*(4*w + 25)>, <36, 1/55*(w + 12)>, <24, 1/24*(w + 23)>, <36, 1/36*(w - 7)>, <24, 1/3168*(65*w + 750)>, <24, 1/6138*(91*w + 5109)>, <24, 1/85*(13*w + 150)>, <24, 1/6138*(91*w + 938)>, <96, 1/108*(5*w + 30)>, <144, 1/27*(w + 6)>, <96, 1/93*(5*w + 15)>, <144, 1/27*(w + 20)>, <48, 1/88*(5*w + 78)>, <84, 1/11*(w + 7)>, <48, 1/46*(w + 15)>, <84, 1/11*(w + 3)>, <24, 1/40*(w + 22)>, <12, 1/459*(14*w + 172)>, <48, 1/24*(w - 7)>, <84, 1/97*(4*w + 16)>, <48, 1/12*(w + 15)>, <208, 1/46*(3*w + 22)>, <132, 1/62*(3*w + 50)>, <24, 1/88*(w + 1)>, <24, 1/8730*(91*w + 267)>, <24, 1/176*(91*w + 267)>, <24, 1/87*w>, <132, 1/9*(w + 5)>, <12, 1/87*(5*w + 87)>, <12, 1/71*(12*w + 191)>, <36, 1/142*(7*w + 70)>, <24, 1/480*(13*w + 221)>, <24, 1/194*(13*w - 65)>, <72, 1/180*(11*w + 147)>, <144, 1/9*(w + 2)>, <24, 1/165*(4*w + 48)>, <24, 1/60*(7*w + 74)>, <24, 1/44*(7*w + 51)>, <24, 1/8*(w - 1)>, <12, 91/696*w>, <24, 1/44*(7*w - 14)>, <72, 1/180*(11*w + 22)>, <144, 1/20*(w + 2)>, <24, 1/242*(7*w + 74)>, <24, 1/97*(4*w - 20)>, <12, 1/88*(w - 2)>, <12, 1/91*(w + 1)>, <72, 1/123*(8*w + 64)>, <60, 1/6*(w + 1)>, <24, 1/156*(5*w + 166)>, <48, 1/198*(5*w + 93)>, <12, 1/246*(5*w + 40)>, <12, 1/221*(5*w + 201)>, <24, 1/2728*(65*w + 2158)>, <48, 1/68*(5*w + 93)>, <60, 1/6*(w + 4)>, <72, 1/16*(w + 8)>, <48, 1/4715*(56*w + 5072)>, <48, 1/21*(8*w + 72)>, <12, 1/11*(w - 7)>, <12, 1/13*(w - 2)>, <84, 1/16*(w + 1)>, <24, 1/713*(14*w + 693)>, <48, 1/97*(2*w + 87)>, <48, 1/15*(2*w - 10)>, <24, 1/1189*(39*w + 715)>, <24, 1/52*(3*w + 58)>, <24, 1/110*(3*w + 71)>, <24, 1/77*(13*w + 51)>, <24, 1/205*(7*w + 261)>, <102, 1/194*(13*w + 129)>, <24, 1/1914*(35*w + 1305)>, <48, 1/97*(7*w + 28)>, <24, 1/1067*(49*w + 1263)>, <48, 1/97*(7*w + 62)>, <24, 1/21390*(539*w + 13893)>, <24, 1/58*(w - 1)>, <24, 1/174*(7*w + 167)>, <24, 1/46*(w - 8)>, <120, 1/97*(5*w + 72)>, <24, 1/414*(11*w + 238)>, <24, 1/11*(w - 5)>, <156, 1/15*(w + 8)>, <12, 1/7*(5*w - 35)>, <24, 1/58*(w + 58)>, <24, 1/7*(w + 6)>, <12, 1/598*(7*w + 647)>, <72, 1/204*(13*w + 126)>, <24, 1/5*(w - 8)>, <60, 1/204*(7*w + 162)>, <24, 1/82*(w + 8)>, <12, 1/476*(75*w + 375)>, <24, 1/2970*(91*w + 357)>, <24, 1/62*(3*w + 71)>, <24, 1/135*(13*w + 161)>, <24, 1/2024*(63*w + 1106)>, <24, 1/97*(5*w + 117)>, <24, 1/3*(w - 5)>, <96, 1/6*(w + 6)>, <24, 1/522*(13*w + 132)>, <48, 1/117*(2*w + 129)>, <24, 91/261*w>, <24, 1/204*(5*w + 174)>, <12, 1/1218*(169*w + 1049)>, <12, 1/174*(w - 1)>, <12, 1/77*(13*w - 65)>, <24, 1/261*(91*w + 170)>, <48, 1/48*(13*w + 126)>, <24, 1/81*(7*w - 21)>, <24, 1/192*(5*w + 117)>, <24, 1/230*(3*w + 206)>, <24, 1/93*(13*w + 132)>, <36, 1/5*(w - 7)>, <12, 1/3124*(105*w + 1689)>, <12, 1/44*(3*w + 38)>, <48, 1/88*(3*w + 58)>, <48, 1/88*(3*w + 27)>, <60, 1/84*(w + 90)>, <12, 1/2430*(49*w + 2303)>, <12, 1/49*(w + 6)>, <12, 1/225*(49*w + 78)>, <24, 1/17748*(385*w + 13398)>, <24, 1/485*(77*w - 385)>, <36, 1/51*(w + 45)>, <36, 1/8*(w - 2)>, <36, 1/51*(w + 5)>, <36, 1/22*(w - 2)>, <12, 1/384*(5*w + 309)>, <24, 1/27*(w + 33)>, <24, 1/27*(w - 7)>, <24, 1/465*(77*w + 696)>, <162, 1/31*(w + 27)>, <24, 1/1271*(22*w + 253)>, <162, 1/30*(w + 27)>, <48, 1/15*(2*w + 23)>, <24, 1/1189*(39*w + 435)>, <24, 1/1271*(22*w + 996)>, <36, 1/15*(w - 3)>, <24, 1/154*(5*w + 169)>, <24, 1/24*(7*w + 14)>, <48, 1/97*(2*w + 8)>, <60, 1/18*(7*w + 60)>, <24, 1/1242*(7*w + 1176)>, <24, 1/105*(w + 101)>, <24, 1/3492*(35*w + 3535)>, <24, 1/11931*(182*w + 2194)>, <24, 1/11931*(182*w + 9555)>, <84, 1/14*(w + 8)>, <24, 1/861*(2*w - 18)>, <156, 1/82*(5*w + 40)>, <36, 1/2*(w + 2)>, <36, 1/90*(w + 2)>, <24, 1/1271*(14*w + 161)>, <84, 1/12*(w + 3)>, <24, 1/410*(w + 401)>, <72, 1/44*(w + 42)>, <24, 1/108*(13*w + 186)>, <72, 1/45*(w + 42)>, <24, 1/615*(13*w + 186)>, <42, 1/30*(w + 32)>, <48, 1/4*(w - 3)>, <12, 1/28*(w - 1)>, <42, 1/41*(w + 32)>, <48, 1/45*(w - 3)>, <36, 1/58*(w + 57)>, <24, 1/123*(2*w - 18)>, <24, 1/123*(2*w + 139)>, <12, 1/9486*(91*w + 659)>, <12, 1/102*(w + 96)>, <24, 1/6*(w - 9)>, <24, 1/82*(5*w + 122)>, <24, 1/60*(17*w - 110)>, <24, 1/60*(17*w + 153)>, <12, 1/1271*(34*w + 846)>, <6, 1/24*(w - 9)>, <60, 1/176*(7*w + 162)>, <24, 1/242*(5*w + 122)>, <24, 1/6*(w + 14)>, <36, 1/15*(w + 17)>, <84, 1/11*(w + 1)>, <12, 1/9*(w - 9)>, <12, 5/29*w>, <12, 1/5*(w + 3)>, <12, 1/4464*(143*w + 1474)>, <24, 1/240*(7*w + 114)>, <24, 1/105*(2*w + 105)>, <48, 1/93*(2*w + 6)>, <60, 3/58*w>, <24, 1/264*(13*w + 117)>, <24, 1/45*(2*w + 57)>, <48, 1/10*(w + 12)>, <60, 1/9*w>, <24, 1/72*(w + 6)>, <24, 1/62*(w - 4)>, <24, 1/4464*(65*w + 174)>, <24, 1/174*(7*w - 7)>, <12, 1/485*(26*w + 589)>, <24, 1/4464*(65*w + 4225)>, <84, 1/41*(2*w + 23)>, <24, 1/230*(7*w + 49)>, <24, 1/451*(10*w + 285)>, <24, 1/13*(w + 9)>, <24, 1/310*(21*w + 373)>, <24, 1/493*(13*w + 364)>, <24, 1/77*(5*w + 82)>, <36, 1/246*(7*w + 183)>, <12, 1/31680*(169*w + 1598)>, <24, 1/77*(5*w - 10)>, <24, 1/493*(13*w + 116)>, <24, 1/3608*(105*w + 1865)>, <12, 1/55*(4*w - 32)>, <24, 1/31*(7*w - 28)>, <24, 1/374*(7*w + 315)>, <12, 1/49*(w + 45)>, <12, 1/255*(49*w + 245)>, <12, 1/4743*(49*w - 10)>, <12, 1/12546*(175*w + 1500)>, <48, 1/891*(10*w + 956)>, <48, 1/5*(2*w + 18)>, <24, 1/3201*(35*w + 310)>, <24, 1/3201*(35*w + 2856)>, <24, 1/408*(13*w + 473)>, <24, 1/1271*(26*w + 946)>, <24, 1/116*(35*w + 116)>, <12, 1/36*(7*w + 14)>, <24, 1/93*(7*w + 114)>, <48, 2/87*w>, <24, 1/2952*(5*w + 2910)>, <12, 1/246*(65*w + 766)>, <24, 1/2952*(5*w + 37)>, <24, 1/13*(8*w - 59)>, <24, 1/34*(7*w - 42)>, <24, 1/34*(7*w + 69)>, <36, 1/68*(w + 5)>, <12, 1/65*(w + 62)>, <24, 1/1610*(11*w + 1687)>, <12, 1/8556*(143*w + 6567)>, <24, 1/12546*(77*w + 11809)>, <24, 1/230*(7*w + 279)>, <36, 1/176*(7*w + 183)>, <6, 1/24*(w + 27)>, <24, 1/384*(7*w + 279)>, <24, 1/9*(2*w - 16)>, <24, 1/1271*(18*w + 1046)>, <24, 1/230*(9*w + 158)>, <12, 1/522*(55*w - 55)>, <24, 1/176*(9*w + 158)>, <24, 1/194*(25*w - 125)>, <24, 1/5060*(117*w + 2054)>, <24, 1/899*(14*w + 73)>, <12, 1/6603*(154*w + 5019)>, <24, 1/45*(14*w + 73)>, <24, 1/75*(4*w + 87)>, <24, 1/39*w>, <12, 1/414*(13*w + 206)>, <12, 1/207*(5*w + 127)>, <24, 1/75*(4*w - 16)>, <24, 1/39*(w + 38)>, <24, 1/5060*(117*w + 2889)>, <24, 1/24708*(715*w + 13398)>, <12, 1/51120*(143*w + 49426)>, <12, 1/284*(13*w + 141)>, <24, 1/130*(11*w - 44)>, <84, 1/14*(w + 5)>, <12, 1/10701*(220*w + 5696)>, <24, 1/123*(4*w + 87)>, <24, 1/22*(7*w + 29)>, <24, 1/56*(w + 57)>, <12, 1/11439*(245*w + 9849)>, <12, 1/98*(w + 8)>, <12, 1/465*(49*w + 269)>, <12, 1/14*(w - 10)>, <24, 1/1044*(25*w + 725)>, <24, 1/369*(w + 360)>, <24, 1/1058*(3*w + 1080)>, <24, 1/1968*(13*w + 1851)>, <36, 1/3*(w + 5)>, <24, 1/388*(91*w - 455)>, <24, 1/91*(2*w - 10)>, <24, 1/58*(15*w + 58)>, <24, 1/748*(15*w + 58)>, <24, 1/33*(2*w + 39)>, <24, 1/124*(11*w + 157)>, <72, 1/204*(13*w + 65)>, <24, 1/1271*(14*w + 1096)>, <24, 1/464*(15*w + 159)>, <24, 1/128*(3*w + 83)>, <24, 1/464*(15*w + 290)>, <24, 1/68*(3*w + 83)>, <24, 1/35*(w + 34)>, <24, 1/25*(w - 4)>, <24, 1/4268*(63*w + 3647)>, <24, 1/615*(14*w + 153)>, <24, 1/97*(14*w + 153)>, <12, 1/196*(11*w + 163)>, <12, 1/71*(2*w + 20)>, <24, 1/667*(20*w + 415)>, <12, 1/115*(4*w - 32)>, <24, 1/48*(5*w - 15)>, <24, 1/1189*(30*w + 550)>, <12, 1/13206*(35*w + 13531)>, <36, 1/14*(w + 10)>, <12, 1/18*(w - 6)>, <24, 1/40*(3*w + 55)>, <12, 1/196*(11*w + 174)>, <12, 1/153*(49*w + 539)>, <12, 1/6732*(245*w + 1930)>, <12, 1/14*(w + 20)>, <12, 1/70*(3*w - 15)>, <24, 1/476*(9*w + 521)>, <24, 1/25*(w + 28)>, <24, 1/1364*(35*w + 1190)>, <12, 1/194*(w + 189)>, <12, 1/108*(w + 6)>, <12, 1/485*(49*w + 196)>, <24, 1/748*(5*w + 38)>, <24, 1/748*(5*w + 705)>, <72, 1/68*(5*w + 38)>, <24, 1/272*(21*w + 377)>, <12, 1/388*(49*w + 196)>, <12, 1/98*(w + 92)>, <12, 1/9894*(49*w + 143)>, <24, 1/63*(4*w + 83)>, <24, 1/40*(3*w + 58)>, <24, 1/40*(3*w - 21)>, <12, 1/2754*(77*w + 1918)>, <12, 1/90*(7*w + 69)>, <12, 1/1012*(21*w + 354)>, <12, 1/115*(3*w + 91)>, <12, 1/25*(w - 10)>, <12, 1/44*(w + 9)>, <12, 1/612*(35*w - 210)>, <24, 1/1189*(28*w + 552)>, <24, 1/96*(7*w + 138)>, <24, 1/88*(w + 97)>, <12, 1/186*(5*w + 46)>, <6, 1/310*(9*w + 337)>, <6, 1/62*(5*w + 15)>, <24, 1/3*(5*w - 42)>, <6, 1/136*(5*w + 110)>, <6, 1/9*(w + 11)>, <12, 1/4*(5*w + 10)>, <4, 1/2116*(3*w + 22)>, <-24, 1/34*(-w - 5)>, <-12, 1/51*(-2*w + 29)>, <-12, 1/72*(-5*w + 87)>, <-6, 1/47724*(-325*w + 44499)>, <-12, 1/2231*(-30*w + 365)>, <-18, 1/194*(-5*w + 174)>, <-6, 1/870*(-169*w + 1039)>, <-12, 1/5984*(-35*w + 6285)>, <-12, 1/744*(-65*w + 1004)>, <-12, 1/145*(-12*w + 157)>, <-12, 1/32*(-7*w - 28)>, <-12, 1/459*(-14*w + 186)>, <-12, 1/87*(-5*w + 92)>, <-12, 1/71*(-12*w + 203)>, <-12, 1/696*(-91*w + 91)>, <-12, 1/88*(-w - 1)>, <-12, 1/91*(-w + 2)>, <-12, 1/246*(-5*w + 45)>, <-12, 1/221*(-5*w + 206)>, <-12, 1/11*(-w - 6)>, <-12, 1/13*(-w - 1)>, <-12, 1/7*(-5*w - 30)>, <-12, 1/598*(-7*w + 654)>, <-24, 1/82*(-w + 9)>, <-12, 1/476*(-75*w + 450)>, <-12, 1/1218*(-169*w + 1218)>, <-12, -1/174*w>, <-12, 1/77*(-13*w - 52)>, <-12, 1/3124*(-105*w + 1794)>, <-12, 1/44*(-3*w + 41)>, <-12, 1/2430*(-49*w + 2352)>, <-12, 1/49*(-w + 7)>, <-12, 1/225*(-49*w + 127)>, <-12, 1/384*(-5*w + 314)>, <-24, 1/1242*(-7*w + 1183)>, <-24, 1/861*(-2*w - 16)>, <-12, -1/28*w>, <-12, 1/9486*(-91*w + 750)>, <-12, 1/102*(-w + 97)>, <-12, 1/1271*(-34*w + 880)>, <-6, 1/24*(-w - 8)>, <-12, 1/9*(-w - 8)>, <-12, 1/29*(-5*w + 5)>, <-12, 1/5*(-w + 4)>, <-12, 1/4464*(-143*w + 1617)>, <-12, 1/485*(-26*w + 615)>, <-12, 1/31680*(-169*w + 1767)>, <-12, 1/55*(-4*w - 28)>, <-12, 1/49*(-w + 46)>, <-12, 1/255*(-49*w + 294)>, <-12, 1/4743*(-49*w + 39)>, <-12, 1/12546*(-175*w + 1675)>, <-12, 1/36*(-7*w + 21)>, <-12, 1/246*(-65*w + 831)>, <-12, 1/65*(-w + 63)>, <-12, 1/8556*(-143*w + 6710)>, <-6, 1/24*(-w + 28)>, <-12, -55/522*w>, <-12, 1/6603*(-154*w + 5173)>, <-12, 1/414*(-13*w + 219)>, <-12, 1/207*(-5*w + 132)>, <-12, 1/51120*(-143*w + 49569)>, <-12, 1/284*(-13*w + 154)>, <-12, 1/10701*(-220*w + 5916)>, <-12, 1/11439*(-245*w + 10094)>, <-12, 1/98*(-w + 9)>, <-12, 1/465*(-49*w + 318)>, <-12, 1/14*(-w - 9)>, <-12, 1/196*(-11*w + 174)>, <-12, 1/71*(-2*w + 22)>, <-12, 1/115*(-4*w - 28)>, <-12, 1/13206*(-35*w + 13566)>, <-12, 1/18*(-w - 5)>, <-12, 1/196*(-11*w + 185)>, <-12, 1/153*(-49*w + 588)>, <-12, 1/6732*(-245*w + 2175)>, <-12, 1/14*(-w + 21)>, <-12, 1/70*(-3*w - 12)>, <-12, 1/194*(-w + 190)>, <-12, 1/108*(-w + 7)>, <-12, 1/485*(-49*w + 245)>, <-12, 1/388*(-49*w + 245)>, <-12, 1/98*(-w + 93)>, <-12, 1/9894*(-49*w + 192)>, <-12, 1/2754*(-77*w + 1995)>, <-12, 1/90*(-7*w + 76)>, <-12, 1/1012*(-21*w + 375)>, <-12, 1/115*(-3*w + 94)>, <-12, 1/25*(-w - 9)>, <-12, 1/44*(-w + 10)>, <-12, 1/612*(-35*w - 175)>, <-12, 1/186*(-5*w + 51)>, <-6, 1/310*(-9*w + 346)>, <-6, 1/62*(-5*w + 20)>, <-6, 1/136*(-5*w + 115)>, <-6, 1/9*(-w + 12)>, <-12, 1/4*(-5*w + 15)>, <-4, 1/2116*(-3*w + 25)> ]