/* Defining polynomial */ x^2 + 133 /* GCD of coefficients */ 2 /* 24 * |disc|^(3/2) /(8*pi^2)* zeta_F(2) */ 5255.60893780101647406913449607 /* Belt */ [ <24, 3/70*w>, <24, 1/70*(3*w + 70)>, <60, 1/7*w>, <60, 1/26*(w + 19)>, <144, 1/79*(5*w + 54)>, <16, 1/149*(4*w + 133)>, <12, 1/931*(121*w + 931)>, <12, 3/133*w>, <24, 1/6*(w + 5)>, <392, 1/13*(w + 6)>, <24, 1/133*(6*w + 133)>, <24, 1/67*(9*w + 76)>, <24, 1/247*(9*w + 76)>, <24, 1/79*(3*w + 15)>, <12, 1/1937*(22*w + 1727)>, <60, 1/182*(11*w + 105)>, <24, 1/711*(40*w - 200)>, <24, 1/197*(2*w + 181)>, <24, 1/3743*(88*w + 1463)>, <24, 1/197*(2*w + 16)>, <24, 1/77*(8*w + 133)>, <24, 1/711*(40*w + 911)>, <84, 1/71*(4*w + 12)>, <12, 1/39*(4*w + 59)>, <24, 1/26398*(693*w + 12439)>, <36, 1/197*(11*w + 88)>, <12, 1/21*(11*w - 88)>, <24, 1/26398*(693*w + 13959)>, <36, 1/158*(5*w + 133)>, <24, 1/1096*(117*w + 1330)>, <24, 1/117*(8*w + 133)>, <36, 1/5*w>, <24, 1/197*(10*w + 80)>, <24, 1/10*(w + 8)>, <48, 1/7*(w + 5)>, <96, 1/169*(11*w + 103)>, <36, 1/8*(w + 7)>, <36, 1/91*(4*w + 28)>, <60, 1/158*(9*w + 113)>, <60, 1/149*(9*w + 113)>, <24, 1/65*(2*w - 4)>, <24, 1/13*(w - 6)>, <72, 1/197*(13*w + 104)>, <12, 1/28*(13*w + 93)>, <4, 1/19817*(468*w + 4256)>, <4, 1/214*(9*w + 133)>, <4, 1/52*(9*w + 133)>, <8, 1/45*(13*w - 52)>, <16, 1/20*(13*w + 117)>, <8, 1/1937*(45*w - 180)>, <16, 1/214*(13*w + 117)>, <16, 1/169*(w - 6)>, <16, 1/169*(w + 175)>, <12, 1/247*(6*w + 114)>, <24, 1/274*(65*w - 130)>, <96, 1/158*(11*w + 103)>, <12, 1/108*(5*w + 133)>, <48, 1/158*(7*w + 35)>, <28, 1/7*(w + 6)>, <16, 1/11323*(420*w + 7620)>, <4, 1/11323*(480*w + 15555)>, <4, 1/18083*(224*w + 7259)>, <8, 1/67*(5*w + 5)>, <4, 1/7169*(140*w + 2485)>, <8, 1/10*(w + 1)>, <4, 1/67*(4*w + 71)>, <12, 1/923*(15*w + 168)>, <60, 1/10*(w + 3)>, <44, 1/169*(12*w + 97)>, <6, 1/25181*(490*w + 19840)>, <42, 1/10*(w + 6)>, <12, 1/23153*(968*w + 8512)>, <12, 1/2*w>, <24, 1/99*(7*w - 28)>, <24, 1/869*(25*w - 125)>, <42, 1/5*(w + 6)>, <48, 1/71*(2*w + 65)>, <6, 1/31921*(1352*w + 25857)>, <6, 1/8*(w + 10)>, <20, 1/137*(4*w + 8)>, <48, 1/67*(2*w + 65)>, <16, 1/169*(8*w + 48)>, <4, 1/105*(8*w + 121)>, <4, 1/23153*(735*w - 9142)>, <4, 1/749*(28*w - 604)>, <20, 1/137*(11*w + 115)>, <4, 1/14659*(308*w + 8015)>, <20, 1/214*(11*w + 115)>, <16, 1/7*(w + 9)>, <24, 1/22646*(693*w + 10073)>, <24, 1/13559*(275*w + 2625)>, <42, 1/5*(w - 1)>, <24, 1/6*(w + 4)>, <24, 1/1001*(16*w + 1113)>, <24, 1/149*(6*w + 24)>, <12, 1/871*(20*w + 556)>, <24, 1/32*(11*w + 109)>, <72, 1/197*(13*w + 93)>, <18, 1/13*(w + 10)>, <6, 1/16543*(416*w + 3296)>, <60, 1/71*(3*w + 9)>, <24, 1/869*(24*w + 989)>, <12, 1/27*(13*w - 103)>, <24, 1/15*(13*w + 93)>, <12, 1/27974*(585*w + 9605)>, <12, 1/197*(5*w + 157)>, <24, 1/169*(14*w + 85)>, <24, 1/33293*(378*w - 2295)>, <24, 1/31126*(195*w + 1395)>, <24, 1/399*(143*w + 399)>, <24, 143/399*w>, <24, 1/70*(9*w + 115)>, <24, 1/11999*(315*w + 4025)>, <36, 1/137*(9*w + 119)>, <36, 1/182*(9*w + 119)>, <48, 1/149*(8*w + 117)>, <24, 1/26989*(770*w + 17980)>, <60, 1/12*(w + 7)>, <60, 1/71*(5*w + 15)>, <84, 1/8*(w + 3)>, <12, 1/56*(9*w - 63)>, <24, 1/52*(3*w - 12)>, <24, 1/781*(45*w - 135)>, <42, 1/169*(10*w + 60)>, <24, 1/26989*(858*w + 21307)>, <24, 1/447*(52*w - 208)>, <24, 1/39*(4*w + 63)>, <12, 1/169*(4*w + 165)>, <12, 1/197*(7*w + 56)>, <36, 1/5*(w + 1)>, <24, 1/469*(12*w + 189)>, <36, 1/142*(5*w + 127)>, <12, 1/685*(117*w + 919)>, <36, 1/197*(11*w + 109)>, <2, 1/25*(12*w + 97)>, <12, 1/7*(6*w + 49)>, <24, 1/90*(11*w - 33)>, <24, 1/143*(6*w + 149)>, <60, 1/91*(6*w + 42)>, <24, 1/1490*(77*w + 1798)>, <12, 1/30989*(330*w + 26600)>, <12, 1/233*(10*w + 133)>, <4, 1/132*(w + 133)>, <4, 1/133*w>, <4, 1/254*(11*w + 133)>, <4, 1/12*(11*w + 133)>, <8, 1/55*(6*w - 6)>, <4, 1/5*(6*w + 66)>, <8, 1/804*(55*w - 55)>, <4, 1/67*(6*w + 61)>, <60, 1/149*(7*w + 28)>, <6, 1/50*(3*w - 12)>, <12, 1/16*(11*w + 115)>, <24, 1/497*(10*w + 112)>, <18, 1/169*(4*w + 24)>, <24, 1/65*(2*w - 12)>, <2, 1/548*(121*w + 790)>, <12, 1/553*(44*w + 773)>, <36, 1/149*(5*w + 129)>, <60, 1/149*(11*w + 105)>, <24, 1/5293*(165*w + 1773)>, <24, 1/426*(55*w + 591)>, <24, 1/7169*(220*w + 3264)>, <24, 1/169*(9*w + 115)>, <12, 1/3*(w + 6)>, <24, 1/33293*(378*w + 35588)>, <24, 1/14*(w + 8)>, <24, 1/596*(55*w + 816)>, <24, 1/137*(3*w + 6)>, <24, 1/137*(3*w + 131)>, <60, 1/149*(7*w + 121)>, <48, 1/6461*(180*w + 4445)>, <24, 1/548*(55*w - 110)>, <48, 1/745*(36*w + 889)>, <24, 1/55*(4*w - 8)>, <36, 1/149*(12*w + 101)>, <24, 1/12467*(330*w + 9702)>, <12, 1/1264*(81*w + 1669)>, <24, 1/9*(w + 8)>, <24, 1/117*(5*w - 30)>, <24, 1/65*(9*w - 54)>, <24, 1/13199*(420*w + 4739)>, <24, 1/497*(60*w + 677)>, <6, 1/144*(5*w + 139)>, <36, 1/2*(w + 1)>, <12, 1/144*(7*w + 123)>, <36, 1/79*(w + 5)>, <12, w + 3>, <24, 1/197*(9*w + 72)>, <24, 1/132*(5*w + 147)>, <36, 1/197*(12*w + 101)>, <12, 1/107*(6*w + 53)>, <12, 1/852*(35*w + 957)>, <12, 1/134*(w + 135)>, <12, 1/72*(5*w + 10)>, <16, 1/214*(13*w + 97)>, <16, 1/20*(13*w - 97)>, <24, 1/4*(w - 1)>, <18, 1/137*(4*w - 8)>, <6, 1/121*(4*w + 145)>, <24, 1/4*(w + 5)>, <24, 1/6097*(165*w + 2247)>, <24, 1/55*(3*w - 15)>, <24, 1/149*(3*w + 137)>, <24, 1/134*(3*w + 137)>, <12, 1/1341*(77*w - 308)>, <24, 1/137*(66*w + 269)>, <12, 1/11999*(396*w + 5060)>, <24, 1/54*(11*w + 109)>, <24, 1/13987*(297*w + 2943)>, <12, 1/144*(5*w + 129)>, <12, 1/149*(72*w + 288)>, <12, 1/10579*(72*w + 139)>, <36, 1/5*(w + 2)>, <24, 1/66*(w + 68)>, <12, 1/2*(w + 6)>, <24, 1/143*(3*w + 161)>, <24, 1/2086*(33*w + 1771)>, <36, 1/2*(w + 5)>, <24, 1/13987*(330*w + 3625)>, <12, 1/2364*(5*w - 40)>, <24, 1/13987*(330*w + 10362)>, <24, 1/78*(w + 84)>, <12, 1/11*(13*w - 93)>, <24, 1/553*(6*w + 504)>, <12, w + 6>, <-16, 1/149*(-4*w + 133)>, <-12, 1/931*(-121*w + 931)>, <-12, -3/133*w>, <-24, 1/133*(-6*w + 133)>, <-12, 1/1937*(-22*w + 1727)>, <-12, 1/39*(-4*w + 59)>, <-12, 1/21*(-11*w - 88)>, <-12, 1/28*(-13*w + 93)>, <-4, 1/19817*(-468*w + 4256)>, <-4, 1/214*(-9*w + 133)>, <-4, 1/52*(-9*w + 133)>, <-12, 1/247*(-6*w + 114)>, <-12, 1/108*(-5*w + 133)>, <-28, 1/7*(-w + 6)>, <-16, 1/11323*(-420*w + 7620)>, <-4, 1/11323*(-480*w + 15555)>, <-4, 1/18083*(-224*w + 7259)>, <-4, 1/7169*(-140*w + 2485)>, <-4, 1/67*(-4*w + 71)>, <-12, 1/923*(-15*w + 168)>, <-6, 1/25181*(-490*w + 19840)>, <-12, 1/23153*(-968*w + 8512)>, <-12, -1/2*w>, <-6, 1/31921*(-1352*w + 25857)>, <-6, 1/8*(-w + 10)>, <-16, 1/169*(-8*w + 48)>, <-4, 1/105*(-8*w + 121)>, <-4, 1/23153*(-735*w - 9142)>, <-4, 1/749*(-28*w - 604)>, <-4, 1/14659*(-308*w + 8015)>, <-16, 1/7*(-w + 9)>, <-12, 1/871*(-20*w + 556)>, <-18, 1/13*(-w + 10)>, <-6, 1/16543*(-416*w + 3296)>, <-24, 1/869*(-24*w + 989)>, <-12, 1/27*(-13*w - 103)>, <-12, 1/27974*(-585*w + 9605)>, <-12, 1/197*(-5*w + 157)>, <-12, 1/56*(-9*w - 63)>, <-12, 1/169*(-4*w + 165)>, <-12, 1/197*(-7*w + 56)>, <-12, 1/685*(-117*w + 919)>, <-2, 1/25*(-12*w + 97)>, <-12, 1/7*(-6*w + 49)>, <-12, 1/30989*(-330*w + 26600)>, <-12, 1/233*(-10*w + 133)>, <-4, 1/132*(-w + 133)>, <-4, -1/133*w>, <-4, 1/254*(-11*w + 133)>, <-4, 1/12*(-11*w + 133)>, <-4, 1/5*(-6*w + 66)>, <-4, 1/67*(-6*w + 61)>, <-6, 1/50*(-3*w - 12)>, <-12, 1/16*(-11*w + 115)>, <-2, 1/548*(-121*w + 790)>, <-12, 1/553*(-44*w + 773)>, <-24, 1/169*(-9*w + 115)>, <-12, 1/3*(-w + 6)>, <-12, 1/1264*(-81*w + 1669)>, <-6, 1/144*(-5*w + 139)>, <-12, 1/144*(-7*w + 123)>, <-12, -w + 3>, <-12, 1/107*(-6*w + 53)>, <-12, 1/852*(-35*w + 957)>, <-12, 1/134*(-w + 135)>, <-12, 1/72*(-5*w + 10)>, <-6, 1/121*(-4*w + 145)>, <-12, 1/1341*(-77*w - 308)>, <-12, 1/11999*(-396*w + 5060)>, <-12, 1/144*(-5*w + 129)>, <-12, 1/149*(-72*w + 288)>, <-12, 1/10579*(-72*w + 139)>, <-12, 1/2*(-w + 6)>, <-12, 1/2364*(-5*w - 40)>, <-12, 1/11*(-13*w - 93)>, <-12, -w + 6> ]