/* Defining polynomial */ x^2 - x + 148 /* GCD of coefficients */ 2 /* 24 * |disc|^(3/2) /(8*pi^2)* zeta_F(2) */ 10225.8542950473362366602922618 /* Belt */ [ <132, 1/84*(5*w + 59)>, <24, 1/2225*(63*w + 1224)>, <24, 1/98*(9*w - 45)>, <132, 1/84*(5*w + 20)>, <36, 1/11*(w + 7)>, <36, 1/160*(11*w + 116)>, <96, 1/89*(6*w + 53)>, <96, 1/12*(w + 6)>, <24, 1/2750*(63*w + 1274)>, <24, 1/119*(9*w + 182)>, <36, 1/34*(w + 26)>, <36, 1/25*(w + 26)>, <12, 1/6853*(180*w + 3748)>, <60, 1/89*(4*w + 65)>, <144, 1/56*(3*w + 12)>, <24, 1/296*(77*w + 296)>, <24, 1/6675*(154*w + 592)>, <12, 1/204*(7*w + 49)>, <12, 1/99*(7*w - 56)>, <348, 1/14*(w + 4)>, <216, 1/21*(w + 4)>, <48, 1/9*(w + 3)>, <108, 1/6*(w + 1)>, <108, 1/6*(w + 4)>, <204, 1/10*(w + 3)>, <24, 1/160*(9*w - 36)>, <348, 1/14*(w + 9)>, <120, 1/178*(11*w + 55)>, <216, 1/21*(w + 16)>, <48, 1/9*(w + 5)>, <66, 1/37*(w + 36)>, <66, 1/4*(w + 3)>, <24, 1/612*(7*w - 56)>, <72, 1/7*(w + 3)>, <24, 1/612*(7*w + 661)>, <84, 1/5*(w + 1)>, <84, 1/30*(w + 1)>, <48, 1/7*(w - 6)>, <48, 1/178*(7*w + 136)>, <48, 1/150*(7*w + 136)>, <48, 1/7*(w + 12)>, <40, 1/74*(3*w + 71)>, <40, 1/89*(3*w + 71)>, <48, 1/37*(2*w + 35)>, <24, 1/703*(21*w + 259)>, <24, 1/425*(13*w + 74)>, <48, 1/51*(2*w + 35)>, <24, 1/28*(3*w + 37)>, <24, 1/74*(13*w + 74)>, <48, 1/75*(2*w + 71)>, <24, 1/100*(11*w + 111)>, <100, 1/15*(w + 7)>, <12, 1/2*(w + 5)>, <12, 1/89*(39*w - 234)>, <24, 1/629*(22*w + 222)>, <72, 1/220*(13*w + 103)>, <12, 1/63*(2*w + 71)>, <48, 1/8*(w + 11)>, <48, 1/35*(w + 11)>, <48, 1/4*(w + 2)>, <36, 1/5*w>, <36, 5/148*w>, <36, 1/1156*(15*w + 1240)>, <36, 1/275*(3*w + 248)>, <48, 1/102*(w - 8)>, <12, 1/148*(w + 147)>, <6, 1/37*(9*w + 37)>, <12, 1/12*(w + 16)>, <12, 1/1000*(13*w + 988)>, <24, 1/2*(w + 3)>, <48, 1/102*(w + 109)>, <48, 1/238*(3*w + 208)>, <48, 1/190*(3*w + 208)>, <204, 1/16*(w + 3)>, <24, 1/11*(w - 3)>, <24, 1/14*(w - 3)>, <12, 1/88*(3*w + 28)>, <96, 1/15*(w + 1)>, <24, 1/3000*(91*w + 2041)>, <24, 1/24*(w + 28)>, <132, 1/7*(w + 2)>, <12, 1/204*(5*w + 164)>, <24, 1/77*(6*w + 59)>, <12, 1/77*(w - 3)>, <24, 1/22*(13*w - 91)>, <24, 1/1235*(11*w - 77)>, <24, 1/25*(13*w - 26)>, <30, 1/75*(w + 1)>, <24, 1/60*(7*w - 14)>, <24, 1/35*(2*w - 4)>, <36, 1/190*(9*w + 127)>, <12, 1/539*(16*w + 571)>, <72, 1/77*(5*w + 10)>, <36, 1/168*(5*w - 25)>, <72, 1/42*(w + 37)>, <12, 1/37*(6*w + 31)>, <12, 1/148*(w - 1)>, <24, 1/78*(w - 2)>, <30, 1/2*(w + 1)>, <24, 1/3000*(91*w + 868)>, <24, 1/7*(w + 11)>, <12, 1/200*(21*w + 221)>, <60, 1/95*(4*w + 67)>, <64, 1/89*(7*w + 35)>, <20, 1/12*(7*w - 42)>, <132, 1/22*(w + 2)>, <24, 1/7*(w + 6)>, <12, 1/1330*(99*w - 693)>, <72, 1/4*(w - 1)>, <24, 1/152*(3*w + 36)>, <48, 1/77*(3*w + 89)>, <24, 1/88*(9*w - 45)>, <24, 1/56*(w + 4)>, <24, 1/56*(w + 51)>, <12, 1/28*(w + 1)>, <36, 1/30*(w + 31)>, <24, 1/178*(5*w + 148)>, <12, 39/296*w>, <40, 1/8*(w - 1)>, <12, 77/444*w>, <24, 1/6*(w - 1)>, <36, 1/38*(w + 31)>, <24, 1/148*(5*w + 148)>, <96, 1/168*(11*w + 113)>, <136, 1/102*(7*w + 49)>, <136, 1/95*(7*w + 42)>, <96, 1/11*(w + 6)>, <72, 1/77*(3*w + 6)>, <12, 1/100*(9*w + 127)>, <48, 1/1360*(33*w + 979)>, <24, 1/3560*(99*w + 2097)>, <48, 1/220*(3*w + 189)>, <48, 1/969*(7*w + 1015)>, <48, 1/57*(w + 63)>, <48, 1/969*(7*w - 53)>, <12, 1/160*(33*w - 132)>, <36, 1/44*(3*w + 17)>, <24, 1/7*(3*w - 20)>, <24, 1/143*(5*w + 148)>, <36, 1/168*(5*w + 188)>, <24, 1/750*(143*w + 893)>, <48, 1/119*(2*w + 99)>, <24, 1/1258*(35*w + 740)>, <90, 1/178*(13*w + 100)>, <48, 1/4*(w - 6)>, <24, 1/1258*(35*w + 483)>, <90, 1/178*(13*w + 65)>, <24, 1/51*(w - 8)>, <24, 1/28*(3*w - 9)>, <108, 1/11*(w + 2)>, <72, 1/68*(3*w + 44)>, <12, 1/11900*(429*w + 6479)>, <12, 1/150*(11*w + 128)>, <12, 1/39*(11*w - 88)>, <72, 1/50*(3*w + 44)>, <24, 1/33*(2*w - 6)>, <108, 1/14*(w + 2)>, <12, 1/420*(13*w + 199)>, <24, 1/85*(2*w + 31)>, <24, 1/19*(2*w + 31)>, <24, 1/4*(w - 8)>, <24, 1/629*(18*w + 315)>, <24, 1/63*(4*w + 79)>, <24, 1/27*(2*w + 35)>, <24, 1/63*(4*w - 20)>, <24, 1/51*(w + 43)>, <6, 1/50*(3*w + 38)>, <60, 1/50*(w + 48)>, <40, 1/476*(w + 468)>, <64, 1/14*(w + 5)>, <96, 1/22*(w + 8)>, <24, 1/979*(28*w + 455)>, <24, 1/49*(4*w + 65)>, <12, 1/66*(w + 52)>, <36, 1/15*(w + 6)>, <24, 1/7*(3*w + 24)>, <60, 1/8*(w + 1)>, <24, 1/25*(2*w + 27)>, <36, 1/190*(9*w + 54)>, <48, 1/154*(5*w + 139)>, <6, 1/2849*(36*w + 149)>, <30, 1/2*(w + 2)>, <24, 1/22*(13*w - 17)>, <136, 1/190*(13*w + 78)>, <40, 1/3230*(7*w + 3276)>, <24, 1/1140*(13*w - 17)>, <12, 1/296*(35*w + 296)>, <72, 1/77*(5*w + 62)>, <12, 1/425*(12*w + 101)>, <12, w + 2>, <24, 1/2035*(54*w + 982)>, <24, 1/356*(27*w + 491)>, <30, 1/74*(w + 74)>, <72, 1/13*(w + 4)>, <12, 1/2618*(45*w + 558)>, <24, 1/33*(w + 13)>, <24, 1/10*(w + 13)>, <12, 1/330*(7*w + 322)>, <12, 1/6*(w + 8)>, <24, 1/77*(2*w + 81)>, <24, 1/77*(2*w - 6)>, <24, 1/21*(w + 25)>, <24, 1/22*(w - 5)>, <24, 1/425*(11*w + 128)>, <12, 1/2660*(33*w + 2288)>, <12, 1/143*(5*w - 5)>, <24, 1/3264*(55*w + 2629)>, <24, 1/209*(5*w + 239)>, <24, 1/8*(w + 12)>, <48, 1/6*(w + 13)>, <48, 1/55*(w + 13)>, <12, 1/165*(w + 173)>, <36, 1/40*(3*w + 28)>, <12, 1/175*(3*w + 19)>, <12, 1/56*(11*w + 100)>, <40, 1/8*(w + 8)>, <16, 1/440*(21*w - 189)>, <12, 1/35*(13*w - 78)>, <36, 1/55*(3*w + 28)>, <24, 1/462*(65*w + 592)>, <24, 1/65*(3*w + 71)>, <24, 1/5*(w - 7)>, <24, 1/38*(w - 7)>, <12, 1/154*(9*w - 27)>, <24, 1/160*(13*w + 108)>, <12, 1/35224*(1089*w + 16227)>, <24, 1/3*(w + 3)>, <48, 1/20*(w + 24)>, <24, 1/26*(w + 28)>, <48, 1/187*(5*w + 120)>, <24, 1/480*(13*w + 364)>, <24, 1/3256*(117*w + 1807)>, <24, 1/130*(9*w + 139)>, <24, 13/37*w>, <24, 1/52*w>, <18, 1/884*(3*w + 905)>, <24, 1/89*(4*w - 24)>, <24, 1/7*(w + 13)>, <24, 1/1309*(30*w + 295)>, <24, 1/35*(6*w + 59)>, <24, 1/8*(w - 6)>, <24, 1/330*(7*w + 91)>, <24, 1/91*(9*w - 45)>, <6, 1/925*(12*w + 876)>, <12, 1/24*(5*w - 50)>, <12, 1/119*(5*w + 45)>, <20, 1/4*(7*w - 49)>, <12, 1/5*(6*w - 60)>, <24, 1/4403*(135*w + 2405)>, <28, 1/1540*(9*w + 1459)>, <24, 1/400*(27*w + 481)>, <72, 1/77*(3*w + 68)>, <12, 1/34*(w + 9)>, <12, 1/33*(7*w + 14)>, <24, 1/216*(13*w - 65)>, <24, 1/570*(13*w + 154)>, <48, 1/680*(13*w + 559)>, <24, 1/89*(13*w + 154)>, <48, 1/680*(13*w + 108)>, <12, 1/22*(w + 23)>, <12, 1/484*(5*w + 524)>, <16, 1/21*(2*w - 16)>, <24, 1/96*(13*w + 135)>, <12, 1/31416*(845*w + 27716)>, <12, 1/169*(3*w + 21)>, <12, 1/1078*(169*w + 571)>, <24, 1/65*(3*w + 74)>, <6, 1/27412*(507*w - 135)>, <6, 1/154*(3*w + 160)>, <60, 1/77*(4*w + 65)>, <12, 1/148*(9*w + 139)>, <12, 1/60*(11*w + 148)>, <12, 1/5*(w + 8)>, <12, 1/1408*(39*w + 1365)>, <24, 1/3*(w + 7)>, <12, 1/3808*(65*w + 3900)>, <24, 1/110*(3*w + 68)>, <24, 1/56*(3*w + 68)>, <24, 1/26*(w + 24)>, <24, 1/15*(2*w - 8)>, <12, 1/1591*(20*w + 1275)>, <12, 1/129*(5*w + 74)>, <12, 1/4539*(49*w + 4606)>, <24, 1/64*(3*w - 12)>, <12, 1/9*(13*w - 121)>, <24, 1/238*(13*w + 108)>, <24, 1/374*(13*w + 312)>, <24, 1/89*(2*w + 77)>, <24, 1/8*(w - 2)>, <24, 1/89*(2*w + 10)>, <24, 1/75*(4*w - 8)>, <24, 1/1425*(44*w + 737)>, <12, 1/380*(11*w + 341)>, <24, 1/128*(11*w - 44)>, <24, 1/95*(3*w + 74)>, <12, 1/111*(5*w + 106)>, <8, 1/4624*(35*w - 231)>, <8, 1/7*(5*w - 33)>, <12, 1/169*(3*w - 3)>, <12, 1/3927*(130*w + 2185)>, <24, 1/140*(3*w + 104)>, <12, 1/220*(3*w + 244)>, <24, 1/160*(9*w + 187)>, <24, 1/89*(3*w + 104)>, <12, 1/356*(25*w + 481)>, <24, 1/22*(3*w - 9)>, <12, 1/1720*(21*w + 1876)>, <12, 1/14*(w + 10)>, <12, 1/168*(w + 163)>, <12, 1/169*(w - 4)>, <24, 1/21*(w - 3)>, <4, 1/36100*(273*w + 2079)>, <12, 1/2492*(65*w + 1660)>, <24, 1/1700*(39*w + 1089)>, <24, 1/1700*(39*w + 572)>, <28, 1/1540*(9*w + 72)>, <16, 1/440*(21*w + 608)>, <20, 1/623*(6*w - 36)>, <4, 1/56*(3*w - 18)>, <4, 1/3515*(84*w + 2072)>, <4, 1/49*(2*w + 35)>, <4, 1/98*(3*w + 74)>, <20, 1/665*(2*w - 14)>, <-12, 1/6853*(-180*w + 3928)>, <-12, 1/204*(-7*w + 56)>, <-12, 1/99*(-7*w - 49)>, <-12, 1/2*(-w + 6)>, <-12, 1/89*(-39*w - 195)>, <-12, 1/63*(-2*w + 73)>, <-6, 1/37*(-9*w + 46)>, <-12, 1/12*(-w + 17)>, <-12, 1/1000*(-13*w + 1001)>, <-24, 1/2*(-w + 4)>, <-12, 1/88*(-3*w + 31)>, <-12, 1/204*(-5*w + 169)>, <-24, 1/77*(-6*w + 65)>, <-12, 1/77*(-w - 2)>, <-12, 1/539*(-16*w + 587)>, <-12, 1/37*(-6*w + 37)>, <-12, -1/148*w>, <-12, 1/200*(-21*w + 242)>, <-24, 1/7*(-w + 7)>, <-12, 1/1330*(-99*w - 594)>, <-24, 1/152*(-3*w + 39)>, <-12, 1/28*(-w + 2)>, <-12, 1/296*(-39*w + 39)>, <-12, 1/444*(-77*w + 77)>, <-12, 1/100*(-9*w + 136)>, <-12, 1/160*(-33*w - 99)>, <-12, 1/11900*(-429*w + 6908)>, <-12, 1/150*(-11*w + 139)>, <-12, 1/39*(-11*w - 77)>, <-12, 1/420*(-13*w + 212)>, <-24, 1/51*(-w + 44)>, <-6, 1/50*(-3*w + 41)>, <-12, 1/66*(-w + 53)>, <-24, 1/25*(-2*w + 29)>, <-6, 1/2849*(-36*w + 185)>, <-12, 1/296*(-35*w + 331)>, <-12, 1/425*(-12*w + 113)>, <-12, -w + 3>, <-12, 1/2618*(-45*w + 603)>, <-12, 1/330*(-7*w + 329)>, <-12, 1/6*(-w + 9)>, <-12, 1/2660*(-33*w + 2321)>, <-12, -5/143*w>, <-12, 1/165*(-w + 174)>, <-12, 1/175*(-3*w + 22)>, <-12, 1/56*(-11*w + 111)>, <-12, 1/35*(-13*w - 65)>, <-12, 1/154*(-9*w - 18)>, <-12, 1/35224*(-1089*w + 17316)>, <-24, 1/3*(-w + 4)>, <-18, 1/884*(-3*w + 908)>, <-6, 1/925*(-12*w + 888)>, <-12, 1/24*(-5*w - 45)>, <-12, 1/119*(-5*w + 50)>, <-12, 1/5*(-6*w - 54)>, <-12, 1/34*(-w + 10)>, <-12, 1/33*(-7*w + 21)>, <-12, 1/22*(-w + 24)>, <-12, 1/484*(-5*w + 529)>, <-16, 1/21*(-2*w - 14)>, <-12, 1/31416*(-845*w + 28561)>, <-12, 1/169*(-3*w + 24)>, <-12, 1/1078*(-169*w + 740)>, <-6, 1/27412*(-507*w + 372)>, <-6, 1/154*(-3*w + 163)>, <-12, 1/148*(-9*w + 148)>, <-12, 1/60*(-11*w + 159)>, <-12, 1/5*(-w + 9)>, <-12, 1/1408*(-39*w + 1404)>, <-24, 1/3*(-w + 8)>, <-12, 1/3808*(-65*w + 3965)>, <-12, 1/1591*(-20*w + 1295)>, <-12, 1/129*(-5*w + 79)>, <-12, 1/4539*(-49*w + 4655)>, <-12, 1/9*(-13*w - 108)>, <-12, 1/380*(-11*w + 352)>, <-12, 1/111*(-5*w + 111)>, <-12, -3/169*w>, <-12, 1/3927*(-130*w + 2315)>, <-12, 1/220*(-3*w + 247)>, <-12, 1/356*(-25*w + 506)>, <-12, 1/1720*(-21*w + 1897)>, <-12, 1/14*(-w + 11)>, <-12, 1/168*(-w + 164)>, <-12, 1/169*(-w - 3)>, <-4, 1/36100*(-273*w + 2352)>, <-12, 1/2492*(-65*w + 1725)>, <-4, 1/56*(-3*w - 15)>, <-4, 1/3515*(-84*w + 2156)>, <-4, 1/49*(-2*w + 37)>, <-4, 1/98*(-3*w + 77)> ]