/* Defining polynomial */ x^2 - x + 125 /* GCD of coefficients */ 1 /* 24 * |disc|^(3/2) /(8*pi^2)* zeta_F(2) */ 4011.03524293427586698835690885 /* Belt */ [ <12, 1/26*w>, <42, 1/25*(w - 1)>, <24, 1/22987*(819*w + 12249)>, <24, 1/91*(9*w - 27)>, <48, 1/137*(5*w + 117)>, <48, 1/137*(5*w + 15)>, <84, 1/31*(2*w + 10)>, <84, 1/31*(2*w + 19)>, <24, 1/20305*(429*w + 285)>, <24, 1/155*(4*w + 131)>, <24, 1/127*(4*w + 131)>, <24, 1/341*(7*w - 42)>, <24, 1/4843*(77*w + 630)>, <24, 1/381*(143*w + 95)>, <12, 1/24*(w - 1)>, <66, 1/25*w>, <36, 1/145*(12*w + 85)>, <12, 1/5611*(65*w + 5161)>, <36, 1/131*(5*w + 10)>, <36, 1/131*(8*w + 16)>, <24, 1/127*(4*w + 119)>, <24, 1/127*(4*w + 4)>, <36, 1/155*(8*w + 40)>, <24, 1/4247*(117*w + 2817)>, <20, 1/2015*(12*w - 72)>, <64, 1/13*(w + 5)>, <24, 1/65*(9*w - 45)>, <12, 1/181*(8*w + 117)>, <12, 1/1000*(117*w + 1000)>, <66, 1/29*(w + 4)>, <60, 1/131*(7*w + 14)>, <24, 1/22*(w + 24)>, <24, 1/725*(22*w + 528)>, <64, 1/137*(7*w + 109)>, <6, 1/19865*(648*w + 8505)>, <18, 1/145*(8*w + 105)>, <60, 1/7*(w + 2)>, <42, 1/181*(10*w + 70)>, <64, 1/181*(13*w + 77)>, <42, 1/10*(w + 7)>, <24, 1/99*(7*w + 113)>, <24, 1/99*(7*w - 21)>, <36, 1/155*(9*w + 45)>, <12, 1/56*(9*w - 54)>, <12, 1/181*(9*w + 63)>, <6, 1/100*(3*w - 24)>, <12, 1/137*(13*w + 39)>, <12, 1/2795*(32*w + 288)>, <24, 1/27305*(792*w + 7560)>, <24, 1/27305*(792*w + 18953)>, <24, 1/22987*(495*w + 16497)>, <48, 1/137*(10*w + 97)>, <48, 1/10*(w + 6)>, <112, 1/167*(13*w + 76)>, <24, 1/22987*(495*w + 5995)>, <40, 1/155*(7*w + 35)>, <24, 1/24*(w + 25)>, <36, 1/12*(w + 5)>, <40, 1/7*(w + 5)>, <36, 1/12*(w + 6)>, <24, 1/24*(w - 2)>, <24, 1/27*(11*w - 77)>, <24, 1/24797*(297*w + 21989)>, <24, 1/3*(w + 2)>, <120, 1/11*(w + 5)>, <24, 1/7*w>, <24, 1/167*(7*w + 118)>, <24, 1/125*(3*w + 122)>, <68, 1/9*(w + 4)>, <2, 1/21025*(576*w + 6400)>, <36, 1/145*(12*w + 48)>, <12, 1/49*(8*w + 105)>, <52, 1/181*(11*w + 93)>, <12, 132/875*w>, <12, 1/7*(w - 1)>, <24, 1/181*(5*w + 35)>, <12, 1/156*(5*w + 141)>, <12, 1/18995*(672*w + 10560)>, <6, 1/23711*(810*w + 8181)>, <12, 1/1395*(64*w + 1715)>, <36, 1/131*(9*w + 18)>, <24, 1/500*(143*w + 357)>, <24, 1/21877*(572*w + 1428)>, <36, 1/167*(9*w + 54)>, <12, 1/1970*(27*w + 2186)>, <12, 1/127*(10*w + 107)>, <24, 1/4925*(144*w + 2925)>, <12, 1/169*(4*w + 149)>, <12, 1/181*(3*w + 21)>, <24, 1/80*(9*w - 45)>, <36, 1/167*(8*w + 48)>, <36, 1/1837*(24*w - 168)>, <60, 1/11*(w + 6)>, <36, 1/167*(8*w + 111)>, <24, 1/775*(22*w + 550)>, <24, 1/22*(w + 25)>, <12, 1/9*(2*w - 12)>, <42, 1/25*(w + 25)>, <36, 1/9*(w + 5)>, <6, 1/20*(w + 24)>, <24, 1/4525*(126*w + 2149)>, <24, 1/217*(18*w + 307)>, <12, 1/11*(w + 8)>, <12, 1/2167*(10*w - 90)>, <12, 1/44*(9*w - 90)>, <12, 1/215*(9*w + 81)>, <24, 1/27889*(195*w + 29029)>, <12, 1/1503*(50*w - 350)>, <24, 1/27889*(195*w - 1335)>, <24, 1/1370*(77*w + 1601)>, <24, 1/625*(132*w - 132)>, <12, 1/131*(w + 2)>, <12, 1/121*(6*w - 18)>, <24, 1/1370*(77*w - 308)>, <24, 1/21209*(660*w + 17424)>, <24, 1/125*(3*w - 3)>, <24, 1/137*(3*w + 9)>, <24, 1/167*(6*w + 125)>, <12, 1/125*(w + 125)>, <12, 1/508*(121*w + 629)>, <16, 1/127*(6*w + 6)>, <24, 1/125*(6*w + 125)>, <4, 1/18769*(616*w + 9592)>, <12, 1/125*(w + 124)>, <6, 1/17125*(484*w + 2000)>, <6, 1/4*w>, <12, 1/20305*(728*w + 9840)>, <12, 1/63*(8*w - 56)>, <24, 1/20875*(728*w + 12272)>, <24, 1/20875*(728*w + 7875)>, <28, 1/2561*(24*w + 2345)>, <28, 1/197*(13*w + 104)>, <12, 1/127*(3*w + 130)>, <12, 1/19865*(968*w + 6192)>, <12, 1/2*(w - 2)>, <6, 1/31*(4*w + 51)>, <24, 1/4175*(126*w + 2124)>, <24, 1/90*(7*w + 118)>, <12, 1/197*(12*w + 89)>, <12, 1/7*(12*w - 101)>, <24, 1/1233*(77*w + 1464)>, <24, 1/1595*(54*w + 1811)>, <24, 1/21877*(693*w + 13176)>, <24, 1/1507*(60*w + 1687)>, <24, 1/1595*(54*w - 270)>, <12, 1/24625*(396*w + 5104)>, <12, 1/9*w>, <12, 1/127*(3*w + 121)>, <6, 1/15875*(242*w + 750)>, <6, 1/2*(w + 1)>, <24, 6/125*w>, <24, 1/125*(6*w + 119)>, <36, 1/1837*(24*w + 1981)>, <60, 1/145*(11*w + 90)>, <4, 1/137*(4*w - 16)>, <1, 1/1507*(16*w + 2103)>, <1, 1/121*(4*w + 149)>, <2, 1/2055*(44*w + 1639)>, <1, 1/16*(15*w + 61)>, <52, 1/181*(11*w + 77)>, <1, 1/32761*(484*w + 6284)>, <1, 1/32761*(1815*w + 7381)>, <13, 1/24797*(176*w + 1488)>, <4, 1/4*(w - 4)>, <28, 1/28565*(312*w + 30485)>, <28, 1/13*(w + 8)>, <24, 1/1240*(77*w + 1625)>, <24, 1/77*(8*w + 117)>, <13, 1/1991*(16*w - 128)>, <12, 1/290*(11*w - 55)>, <6, w + 4>, <6, 1/144*(w + 3)>, <24, 1/131*(6*w + 113)>, <24, 1/137*(6*w + 113)>, <12, 1/125*(2*w + 125)>, <6, 1/17161*(605*w + 2520)>, <24, 1/1507*(60*w - 240)>, <8, 1/28*(13*w - 65)>, <4, 1/1379*(78*w + 2003)>, <8, 1/1885*(28*w - 140)>, <4, 1/197*(7*w + 56)>, <16, 1/6*(w + 1)>, <4, 1/91*(6*w - 30)>, <16, 1/14*(13*w - 90)>, <6, 1/145*(w - 5)>, <6, 1/144*(w + 149)>, <12, 1/362*(121*w + 1209)>, <4, 1/19685*(546*w + 10325)>, <4, 1/181*(6*w + 133)>, <4, 1/91*(6*w + 133)>, <20, 1/12*(13*w - 78)>, <16, 1/14*(13*w + 91)>, <12, 1/11*(12*w - 84)>, <8, 1/27889*(26*w - 178)>, <8, 1/2*(13*w - 89)>, <-12, 1/26*(-w + 1)>, <-12, -1/24*w>, <-12, 1/5611*(-65*w + 5226)>, <-12, 1/181*(-8*w + 125)>, <-12, 1/1000*(-117*w + 1117)>, <-6, 1/19865*(-648*w + 9153)>, <-18, 1/145*(-8*w + 113)>, <-12, 1/56*(-9*w - 45)>, <-12, 1/181*(-9*w + 72)>, <-6, 1/100*(-3*w - 21)>, <-12, 1/137*(-13*w + 52)>, <-12, 1/2795*(-32*w + 320)>, <-2, 1/21025*(-576*w + 6976)>, <-12, 1/49*(-8*w + 113)>, <-12, 1/875*(-132*w + 132)>, <-12, -1/7*w>, <-24, 1/181*(-5*w + 40)>, <-12, 1/156*(-5*w + 146)>, <-12, 1/18995*(-672*w + 11232)>, <-6, 1/23711*(-810*w + 8991)>, <-12, 1/1395*(-64*w + 1779)>, <-12, 1/1970*(-27*w + 2213)>, <-12, 1/127*(-10*w + 117)>, <-12, 1/169*(-4*w + 153)>, <-12, 1/181*(-3*w + 24)>, <-12, 1/9*(-2*w - 10)>, <-6, 1/20*(-w + 25)>, <-12, 1/11*(-w + 9)>, <-12, 1/2167*(-10*w - 80)>, <-12, 1/44*(-9*w - 81)>, <-12, 1/215*(-9*w + 90)>, <-12, 1/1503*(-50*w - 300)>, <-12, 1/131*(-w + 3)>, <-12, 1/121*(-6*w - 12)>, <-12, 1/125*(-w + 126)>, <-12, 1/508*(-121*w + 750)>, <-4, 1/18769*(-616*w + 10208)>, <-6, 1/17125*(-484*w + 2484)>, <-6, 1/4*(-w + 1)>, <-12, 1/20305*(-728*w + 10568)>, <-12, 1/63*(-8*w - 48)>, <-12, 1/127*(-3*w + 133)>, <-12, 1/19865*(-968*w + 7160)>, <-12, 1/2*(-w - 1)>, <-6, 1/31*(-4*w + 55)>, <-12, 1/197*(-12*w + 101)>, <-12, 1/7*(-12*w - 89)>, <-12, 1/24625*(-396*w + 5500)>, <-12, 1/9*(-w + 1)>, <-6, 1/15875*(-242*w + 992)>, <-6, 1/2*(-w + 2)>, <-1, 1/1507*(-16*w + 2119)>, <-1, 1/121*(-4*w + 153)>, <-2, 1/2055*(-44*w + 1683)>, <-1, 1/16*(-15*w + 76)>, <-1, 1/32761*(-484*w + 6768)>, <-1, 1/32761*(-1815*w + 9196)>, <-12, 1/290*(-11*w - 44)>, <-6, -w + 5>, <-6, 1/144*(-w + 4)>, <-12, 1/125*(-2*w + 127)>, <-6, 1/17161*(-605*w + 3125)>, <-4, 1/1379*(-78*w + 2081)>, <-4, 1/197*(-7*w + 63)>, <-4, 1/91*(-6*w - 24)>, <-6, 1/145*(-w - 4)>, <-6, 1/144*(-w + 150)>, <-12, 1/362*(-121*w + 1330)>, <-4, 1/19685*(-546*w + 10871)>, <-4, 1/181*(-6*w + 139)>, <-4, 1/91*(-6*w + 139)>, <-12, 1/11*(-12*w - 72)> ]