/* Defining polynomial */ x^2 + 157 /* GCD of coefficients */ 2 /* 24 * |disc|^(3/2) /(8*pi^2)* zeta_F(2) */ 6939.41512285620903377658992813 /* Belt */ [ <36, 1/157*(5*w + 157)>, <12, 1/455*(66*w + 785)>, <96, 1/83*(5*w + 15)>, <24, 1/664*(63*w + 853)>, <24, 1/63*(4*w + 75)>, <96, 1/10*(w + 3)>, <144, 1/10*(w + 5)>, <200, 1/103*(7*w + 49)>, <12, 1/16171*(378*w + 8478)>, <12, 1/7*w>, <36, 1/5*(w + 5)>, <36, 1/19879*(156*w + 18499)>, <108, 1/206*(13*w + 115)>, <12, 1/193*(6*w + 157)>, <6, 1/1884*(121*w + 1884)>, <12, 1/927*(40*w + 1207)>, <36, 1/161*(9*w + 143)>, <24, 1/25*(6*w + 61)>, <24, 1/2369*(63*w + 1368)>, <24, 1/117*(7*w + 152)>, <12, 1/98*(w + 96)>, <12, 1/103*(14*w + 98)>, <12, 1/2369*(70*w - 25)>, <24, 1/1309*(20*w + 1489)>, <36, 1/161*(11*w + 139)>, <18, 1/161*(10*w + 20)>, <12, 1/81*(8*w + 145)>, <30, 1/221*(14*w + 109)>, <24, 1/1158*(25*w + 1308)>, <24, 1/9401*(220*w + 6145)>, <288, 1/17*(w + 8)>, <96, 1/11*(w + 6)>, <24, 1/2669*(72*w + 1413)>, <36, 1/83*(6*w + 65)>, <36, 1/119*(6*w + 65)>, <24, 1/2669*(72*w + 1256)>, <52, 1/166*(9*w + 27)>, <12, 1/3*(w + 8)>, <288, 1/17*(w + 9)>, <24, 1/8549*(182*w + 8099)>, <24, 1/15247*(455*w + 9815)>, <48, 1/79*(3*w + 82)>, <24, 1/104*(9*w + 149)>, <24, 1/104*(9*w - 45)>, <24, 1/91*(2*w + 89)>, <48, 1/79*(3*w - 3)>, <12, 1/30301*(1014*w + 26533)>, <12, 1/4*(w + 6)>, <12, 1/161*(2*w + 4)>, <24, 1/143*(7*w + 157)>, <52, 1/9*(w + 3)>, <24, 1/1127*(143*w + 1413)>, <24, 1/15247*(455*w + 5432)>, <96, 1/182*(11*w + 127)>, <24, 1/193*(15*w + 90)>, <24, 1/1785*(16*w + 144)>, <48, 1/103*(4*w + 75)>, <24, 1/9401*(220*w + 3256)>, <48, 1/8*(w + 1)>, <72, 1/91*(6*w + 30)>, <72, 1/8*(w + 5)>, <72, 1/8*(w + 3)>, <72, 1/91*(6*w + 61)>, <12, 1/91*(8*w + 131)>, <108, 1/23*(w + 21)>, <24, 1/1001*(36*w + 1181)>, <36, 1/166*(11*w + 133)>, <6, 1/663*(50*w + 1063)>, <24, 1/865*(54*w + 1081)>, <24, w - 8>, <24, 1/161*(4*w + 153)>, <6, 1/121*(10*w + 141)>, <18, 1/161*(10*w + 141)>, <24, 1/865*(54*w - 216)>, <20, 1/257*(13*w + 130)>, <12, 1/88*(13*w + 127)>, <8, 1/10609*(35*w + 270)>, <32, 1/12*(w + 6)>, <2, 1/37249*(588*w + 5929)>, <108, 1/13*(w + 6)>, <48, 1/173*(10*w + 40)>, <24, 1/299*(9*w + 110)>, <24, 1/299*(9*w + 189)>, <12, 1/747*(56*w + 915)>, <12, 1/98*(3*w + 92)>, <24, 1/34*(w + 9)>, <36, 1/5*(w + 2)>, <24, 1/221*(9*w + 149)>, <12, 1/711*(70*w + 781)>, <48, 1/173*(10*w + 133)>, <24, 1/16171*(525*w + 11775)>, <40, 1/158*(7*w + 7)>, <48, 1/84*(11*w + 139)>, <24, 1/15*(w + 8)>, <72, 1/182*(9*w + 137)>, <24, 1/168*(5*w + 193)>, <48, 1/173*(13*w + 121)>, <24, 1/18683*(585*w + 8478)>, <24, 1/747*(65*w + 942)>, <48, 1/238*(13*w + 121)>, <24, 1/65*(12*w + 125)>, <108, 1/7*(w + 5)>, <24, 1/91*(10*w - 50)>, <24, 1/79*(13*w + 13)>, <24, 1/78*(11*w - 55)>, <24, 1/2*(w + 7)>, <24, 1/79*(13*w + 66)>, <24, 1/391*(10*w + 250)>, <84, 1/173*(11*w + 44)>, <24, 1/1027*(30*w + 267)>, <84, 1/206*(11*w + 77)>, <24, 1/70*(3*w - 6)>, <48, 1/79*(2*w + 77)>, <24, 1/1343*(35*w + 518)>, <48, 1/79*(3*w + 3)>, <24, 1/1343*(35*w + 825)>, <48, 1/79*(3*w + 76)>, <48, 1/83*(2*w + 77)>, <6, 1/173*(2*w + 8)>, <6, 1/322*(169*w + 338)>, <36, 1/161*(11*w + 22)>, <12, 1/117*(11*w - 22)>, <36, 1/1339*(12*w + 1423)>, <24, 1/91*(w + 96)>, <24, 1/1411*(33*w + 1012)>, <36, 1/161*(9*w + 18)>, <72, 1/9*(w + 4)>, <24, 1/1785*(16*w + 1641)>, <24, 1/238*(15*w + 135)>, <12, 1/119*(8*w + 191)>, <48, 1/84*(11*w - 55)>, <24, 1/15*(w + 7)>, <40, 1/7*(w + 1)>, <24, 1/553*(75*w - 75)>, <48, 1/35*(6*w + 65)>, <24, 1/16583*(390*w + 3245)>, <24, 1/91*(w + 86)>, <24, 1/2*(w - 3)>, <24, 1/415*(78*w + 649)>, <48, 1/1411*(30*w + 325)>, <24, 1/865*(48*w + 1057)>, <12, 1/1030*(33*w + 1261)>, <24, 1/158*(5*w + 153)>, <12, 1/1428*(11*w - 99)>, <6, 1/193*(72*w + 625)>, <24, 1/158*(5*w + 5)>, <24, 1/8549*(240*w + 5285)>, <12, 1/169*(8*w + 177)>, <12, 1/257*(169*w + 1690)>, <12, 1/40606*(1859*w + 15763)>, <40, 1/83*(3*w + 74)>, <16, 1/221*(16*w + 93)>, <8, 1/35*(16*w - 93)>, <8, 1/48841*(560*w - 3255)>, <24, 1/30494*(715*w + 23309)>, <24, 1/173*(6*w + 24)>, <24, 1/8*(w + 9)>, <24, 1/119*(4*w + 36)>, <12, 1/18343*(490*w + 17738)>, <6, 1/98*(3*w + 24)>, <12, 1/158*(5*w + 163)>, <12, 1/15247*(420*w + 1555)>, <24, 1/143*(5*w + 163)>, <24, 1/161*(6*w + 12)>, <24, 1/1099*(165*w + 1099)>, <24, 1/193*(2*w + 205)>, <24, 1/18343*(308*w + 3724)>, <24, 1/692*(55*w + 912)>, <24, 1/63*(11*w + 129)>, <12, 1/169*(4*w + 157)>, <12, 1/519*(169*w + 676)>, <12, 1/28718*(169*w + 157)>, <24, 1/158*(3*w + 155)>, <24, 1/3*(w + 2)>, <24, 1/158*(3*w + 161)>, <24, 1/70*(3*w - 12)>, <12, 1/166*(w + 163)>, <24, 1/8*(w + 6)>, <12, 1/169*(3*w - 6)>, <24, 1/173*(3*w + 161)>, <24, 1/70*(3*w + 82)>, <24, 1/91*(2*w + 81)>, <24, 1/4*(w - 1)>, <6, 1/2*(w - 4)>, <6, 1/33389*(338*w + 30589)>, <12, 1/238*(9*w + 157)>, <12, 1/27161*(484*w + 8164)>, <24, 1/35638*(693*w + 8127)>, <24, 1/692*(55*w - 220)>, <24, 1/221*(2*w + 205)>, <24, 1/56*(11*w + 133)>, <24, 165/1099*w>, <24, 1/391*(12*w + 91)>, <24, 1/78*(w - 2)>, <24, 1/6557*(78*w + 317)>, <24, 1/391*(12*w + 300)>, <36, 1/161*(5*w + 10)>, <24, 1/55*(4*w + 75)>, <12, 1/26726*(605*w + 8455)>, <24, 1/55*(4*w - 20)>, <60, 1/166*(7*w + 145)>, <48, 1/173*(8*w + 141)>, <36, 1/221*(11*w + 133)>, <12, 1/6557*(72*w + 797)>, <12, 1/7*(w + 8)>, <60, 1/173*(7*w + 145)>, <4, 1/79*(78*w + 157)>, <4, 1/157*(w + 157)>, <4, 1/157*(12*w + 157)>, <4, 1/47257*(156*w + 2041)>, <8, 1/1027*(66*w - 66)>, <4, 1/3913*(11*w + 132)>, <8, 1/132*(13*w - 13)>, <4, 1/13*(w + 12)>, <12, 1/2431*(45*w + 2791)>, <12, 1/1989*(77*w - 616)>, <24, 1/143*(5*w + 153)>, <24, 1/169*(4*w + 189)>, <24, 1/169*(4*w - 20)>, <6, 1/42653*(350*w + 2725)>, <24, 1/27334*(715*w + 21879)>, <24, 8/157*w>, <24, 1/46*(11*w + 68)>, <12, 1/173*(4*w + 189)>, <12, w - 4>, <24, 1/161*(3*w + 167)>, <24, 1/182*(3*w + 167)>, <24, 1/17819*(273*w + 16835)>, <24, 1/182*(3*w + 185)>, <12, 1/119*(2*w + 101)>, <12, 1/17819*(286*w + 14465)>, <24, 1/77*(2*w + 81)>, <24, 1/221*(8*w + 64)>, <24, 1/79*(5*w + 74)>, <24, 1/2*(w + 1)>, <24, 1/10*(w + 9)>, <24, 1/824*(55*w + 1209)>, <24, 1/19159*(220*w + 16379)>, <24, 1/824*(55*w - 385)>, <12, 1/2076*(77*w + 2384)>, <12, 1/221*(12*w + 125)>, <4, 1/9*(w - 1)>, <8, 1/11*(w + 1)>, <4, 1/49601*(567*w + 18263)>, <4, 1/40606*(693*w + 12859)>, <4, 1/1799*(144*w + 2672)>, <4, 1/49601*(1296*w + 7857)>, <8, 1/158*(11*w + 11)>, <24, 1/1339*(15*w - 105)>, <12, 1/1211*(117*w - 468)>, <24, 1/119*(8*w + 47)>, <24, 1/25*(8*w - 47)>, <24, 1/20587*(195*w + 1815)>, <24, 1/221*(w - 8)>, <24, 1/238*(3*w + 211)>, <24, 1/193*(3*w + 211)>, <24, 1/10981*(330*w + 4015)>, <12, 11/157*w>, <12, 1/36*(11*w + 157)>, <24, 1/10981*(330*w + 6966)>, <4, 1/49601*(784*w + 44848)>, <4, 1/1351*(144*w + 2224)>, <4, 1/49601*(441*w + 24374)>, <4, 1/117*(7*w + 187)>, <4, 1/257*(7*w + 187)>, <20, 1/166*(13*w + 39)>, <12, 1/6*(w + 9)>, <12, 1/714*(65*w - 585)>, <24, 1/8549*(154*w + 1696)>, <12, 1/3*(14*w - 109)>, <24, 1/386*(77*w + 848)>, <12, 1/11537*(105*w - 930)>, <12, 1/83*(7*w + 62)>, <4, 1/65*(3*w + 74)>, <12, 1/166*(3*w + 175)>, <12, 1/83*(98*w - 294)>, <8, 1/5*(7*w + 54)>, <-12, 1/455*(-66*w + 785)>, <-12, 1/16171*(-378*w + 8478)>, <-12, -1/7*w>, <-12, 1/193*(-6*w + 157)>, <-6, 1/1884*(-121*w + 1884)>, <-12, 1/927*(-40*w + 1207)>, <-12, 1/98*(-w + 96)>, <-12, 1/103*(-14*w + 98)>, <-12, 1/2369*(-70*w - 25)>, <-12, 1/81*(-8*w + 145)>, <-30, 1/221*(-14*w + 109)>, <-12, 1/3*(-w + 8)>, <-12, 1/30301*(-1014*w + 26533)>, <-12, 1/4*(-w + 6)>, <-12, 1/161*(-2*w + 4)>, <-12, 1/91*(-8*w + 131)>, <-24, 1/1001*(-36*w + 1181)>, <-6, 1/663*(-50*w + 1063)>, <-6, 1/121*(-10*w + 141)>, <-12, 1/88*(-13*w + 127)>, <-2, 1/37249*(-588*w + 5929)>, <-12, 1/747*(-56*w + 915)>, <-12, 1/98*(-3*w + 92)>, <-24, 1/34*(-w + 9)>, <-24, 1/221*(-9*w + 149)>, <-12, 1/711*(-70*w + 781)>, <-6, 1/173*(-2*w + 8)>, <-6, 1/322*(-169*w + 338)>, <-12, 1/117*(-11*w - 22)>, <-12, 1/119*(-8*w + 191)>, <-12, 1/1030*(-33*w + 1261)>, <-12, 1/1428*(-11*w - 99)>, <-6, 1/193*(-72*w + 625)>, <-12, 1/169*(-8*w + 177)>, <-12, 1/257*(-169*w + 1690)>, <-12, 1/40606*(-1859*w + 15763)>, <-12, 1/18343*(-490*w + 17738)>, <-6, 1/98*(-3*w + 24)>, <-12, 1/158*(-5*w + 163)>, <-12, 1/15247*(-420*w + 1555)>, <-12, 1/169*(-4*w + 157)>, <-12, 1/519*(-169*w + 676)>, <-12, 1/28718*(-169*w + 157)>, <-12, 1/166*(-w + 163)>, <-24, 1/8*(-w + 6)>, <-12, 1/169*(-3*w - 6)>, <-6, 1/2*(-w - 4)>, <-6, 1/33389*(-338*w + 30589)>, <-12, 1/238*(-9*w + 157)>, <-12, 1/27161*(-484*w + 8164)>, <-12, 1/26726*(-605*w + 8455)>, <-12, 1/6557*(-72*w + 797)>, <-12, 1/7*(-w + 8)>, <-4, 1/79*(-78*w + 157)>, <-4, 1/157*(-w + 157)>, <-4, 1/157*(-12*w + 157)>, <-4, 1/47257*(-156*w + 2041)>, <-4, 1/3913*(-11*w + 132)>, <-4, 1/13*(-w + 12)>, <-12, 1/2431*(-45*w + 2791)>, <-12, 1/1989*(-77*w - 616)>, <-6, 1/42653*(-350*w + 2725)>, <-12, 1/173*(-4*w + 189)>, <-12, -w - 4>, <-12, 1/119*(-2*w + 101)>, <-12, 1/17819*(-286*w + 14465)>, <-12, 1/2076*(-77*w + 2384)>, <-12, 1/221*(-12*w + 125)>, <-4, 1/9*(-w - 1)>, <-4, 1/49601*(-567*w + 18263)>, <-4, 1/40606*(-693*w + 12859)>, <-4, 1/1799*(-144*w + 2672)>, <-4, 1/49601*(-1296*w + 7857)>, <-12, 1/1211*(-117*w - 468)>, <-24, 1/119*(-8*w + 47)>, <-24, 1/25*(-8*w - 47)>, <-12, -11/157*w>, <-12, 1/36*(-11*w + 157)>, <-4, 1/49601*(-784*w + 44848)>, <-4, 1/1351*(-144*w + 2224)>, <-4, 1/49601*(-441*w + 24374)>, <-4, 1/117*(-7*w + 187)>, <-4, 1/257*(-7*w + 187)>, <-12, 1/6*(-w + 9)>, <-12, 1/714*(-65*w - 585)>, <-12, 1/3*(-14*w - 109)>, <-12, 1/11537*(-105*w - 930)>, <-12, 1/83*(-7*w + 62)>, <-4, 1/65*(-3*w + 74)>, <-12, 1/166*(-3*w + 175)>, <-12, 1/83*(-98*w - 294)> ]