/* Defining polynomial */ x^2 - x + 157 /* GCD of coefficients */ 1 /* 24 * |disc|^(3/2) /(8*pi^2)* zeta_F(2) */ 5940.08367485545756276132278137 /* Belt */ [ <42, 1/169*(5*w + 149)>, <6, 1/265*(48*w + 313)>, <60, 1/53*(w + 1)>, <12, 1/3383*(60*w + 575)>, <36, 1/12*(w + 6)>, <232, 1/11*(w + 5)>, <12, 1/424*(45*w + 469)>, <36, 1/199*(8*w + 143)>, <6, 1/120*(7*w + 141)>, <58, 1/169*(7*w + 21)>, <12, 1/180*(7*w + 166)>, <24, 1/229*(7*w + 56)>, <4, 1/289*(6*w + 217)>, <16, 1/169*(5*w - 20)>, <1, 1/144*(5*w + 184)>, <40, 1/12*(w + 8)>, <1, 1/52441*(300*w + 16765)>, <40, 1/229*(12*w + 96)>, <1, 1/845*(85*w + 3128)>, <1, 1/38701*(1020*w + 27396)>, <1, 1/2748*(60*w + 3353)>, <1, 1/3893*(144*w + 1452)>, <1, 1/845*(204*w + 29)>, <1, 1/38701*(300*w + 3025)>, <16, 1/5*(w - 4)>, <36, 1/187*(7*w + 145)>, <36, 1/159*(7*w + 145)>, <24, 1/371*(50*w - 100)>, <110, 1/199*(13*w + 78)>, <9, 1/30*(13*w + 108)>, <24, 1/150*(7*w - 14)>, <12, 1/31243*(1050*w + 7693)>, <24, 1/157*(7*w + 150)>, <24, 1/561*(32*w + 721)>, <24, 1/3763*(96*w + 2163)>, <36, 1/199*(10*w + 129)>, <24, 1/3*(w + 6)>, <8, 1/6*(w - 4)>, <160, 1/13*(w + 3)>, <8, 1/6*(w + 9)>, <144, 1/15*(w + 7)>, <72, 1/53*(3*w + 3)>, <72, 1/9*(w + 1)>, <64, 1/229*(13*w + 104)>, <28, 1/60*(13*w + 112)>, <12, 1/199*(5*w + 164)>, <12, 1/583*(48*w + 487)>, <24, 1/53*(w - 2)>, <12, 1/85*(12*w - 72)>, <36, 1/5*(w + 5)>, <72, 1/11*(w + 4)>, <24, 1/3097*(84*w + 889)>, <24, 1/91*(12*w + 127)>, <72, 1/11*(w + 6)>, <18, 1/229*(15*w + 120)>, <12, 1/64*(11*w + 130)>, <48, 1/9*(w + 6)>, <12, 1/2703*(70*w + 1450)>, <12, 1/3009*(70*w + 889)>, <36, 1/10*(w + 4)>, <36, 1/163*(10*w + 133)>, <12, 1/710*(21*w + 857)>, <36, 1/169*(10*w + 129)>, <12, 1/49*(15*w + 94)>, <64, 1/13*(w + 8)>, <24, 1/99*(10*w - 50)>, <24, 1/590*(33*w - 165)>, <24, 1/157*(6*w + 151)>, <10, 1/289*(11*w + 157)>, <136, 1/59*(3*w + 12)>, <9, 1/39601*(390*w + 3240)>, <8, 1/199*(2*w + 12)>, <4, 1/195*(2*w + 185)>, <4, 1/169*(4*w + 193)>, <8, 1/2*(w + 6)>, <36, 1/187*(12*w + 115)>, <12, 1/169*(6*w - 12)>, <12, 1/25917*(169*w + 27040)>, <12, 1/1630*(169*w + 1123)>, <24, 1/55*(2*w + 55)>, <24, 1/4189*(60*w + 3544)>, <48, 1/177*(7*w + 28)>, <24, 1/265*(56*w - 112)>, <4, 1/45951*(130*w + 47281)>, <4, 1/13*(w + 11)>, <4, 1/13*(12*w + 145)>, <8, 1/15317*(520*w + 9477)>, <4, 1/289*(12*w + 145)>, <8, 1/689*(40*w + 729)>, <4, 1/157*(w - 1)>, <4, 1/53*(52*w - 104)>, <4, w>, <2, 1/157*(156*w + 157)>, <2, 1/24649*(1872*w + 26533)>, <2, 1/49141*(144*w + 2041)>, <2, 1/49141*(156*w - 1884)>, <2, 1/12*(13*w - 157)>, <2, 1/97969*(25*w - 12)>, <2, 1/13*w>, <2, 13/157*w>, <16, 1/14*(w + 5)>, <8, 1/238*(3*w - 18)>, <16, 1/42*(11*w + 130)>, <16, 1/9*(14*w + 112)>, <4, 1/196*(3*w + 24)>, <4, 1/2057*(196*w + 881)>, <8, 1/33*(14*w - 84)>, <4, 1/51*(14*w - 84)>, <48, 1/177*(7*w + 142)>, <24, 1/796*(15*w + 886)>, <12, 1/165*(8*w + 157)>, <12, 1/229*(8*w + 64)>, <24, 1/3763*(110*w + 3025)>, <24, 1/265*(56*w + 321)>, <24, 1/1467*(130*w - 390)>, <24, 1/130*(9*w - 27)>, <72, 1/12*(w + 7)>, <24, 1/163*(6*w + 145)>, <12, 1/169*(w + 3)>, <36, 1/157*(5*w + 152)>, <36, 1/177*(5*w + 152)>, <72, 1/71*(4*w + 28)>, <24, 1/1683*(91*w + 2138)>, <108, 1/213*(13*w + 109)>, <108, 1/187*(13*w + 109)>, <24, 1/32437*(819*w + 19242)>, <12, 1/169*(3*w + 157)>, <24, 1/4*(w + 3)>, <16, 1/229*(17*w + 76)>, <8, 1/60*(17*w - 93)>, <8, 1/52441*(1020*w - 5580)>, <12, 1/1603*(110*w + 2483)>, <42, 1/169*(5*w + 15)>, <12, 1/159*(2*w + 161)>, <48, 1/11*(w + 8)>, <48, 1/229*(11*w + 88)>, <48, 1/163*(9*w + 136)>, <48, 1/163*(5*w + 10)>, <12, 1/4189*(44*w + 429)>, <24, 1/4*(5*w - 36)>, <24, 1/5041*(20*w - 144)>, <24, 1/7*(w + 6)>, <12, 1/1393*(108*w - 756)>, <12, 1/295*(44*w + 471)>, <1, 1/4*(15*w + 94)>, <1, 1/398*(195*w + 1620)>, <1, 1/45571*(52*w + 6402)>, <1, 1/195*(2*w + 211)>, <1, 1/229*(2*w + 211)>, <18, 1/199*(15*w + 90)>, <24, 1/14507*(312*w + 11219)>, <12, 1/53*(3*w - 6)>, <12, 1/26*(3*w + 56)>, <24, 1/14507*(312*w + 2976)>, <48, 1/35997*(770*w + 26477)>, <36, 1/187*(8*w + 139)>, <12, 1/2771*(72*w + 1448)>, <28, 1/767*(20*w + 847)>, <12, 1/33631*(990*w + 19870)>, <12, 1/100*(7*w - 49)>, <48, 1/2057*(70*w + 2407)>, <48, 1/53*(2*w + 49)>, <48, 1/6*(w + 4)>, <12, 1/199*(6*w + 157)>, <6, 1/2041*(121*w + 1920)>, <24, 1/1141*(143*w - 429)>, <12, 1/31641*(845*w + 27716)>, <12, 1/169*(2*w + 12)>, <12, 1/954*(169*w + 616)>, <24, 1/143*(7*w - 21)>, <12, 1/27789*(676*w + 26533)>, <12, 1/2*(w + 4)>, <20, 1/163*(3*w + 6)>, <24, 1/3127*(52*w + 2808)>, <24, 1/52*(w + 54)>, <60, 1/14*(w + 6)>, <24, 1/213*(8*w + 56)>, <24, 1/154*(5*w + 164)>, <12, 1/26*(3*w - 24)>, <4, 1/471*(154*w - 154)>, <4, 1/45373*(1848*w + 17149)>, <10, 1/11*(w - 1)>, <4, 1/121*(12*w + 145)>, <4, 1/14*(w + 2)>, <20, 1/3*(w + 2)>, <60, 1/213*(14*w + 101)>, <24, 1/8*(w + 7)>, <24, 1/31641*(770*w + 25256)>, <12, 1/187*(2*w + 175)>, <60, 1/9*(w + 5)>, <24, 1/130*(9*w - 36)>, <24, 1/117*(10*w - 40)>, <24, 1/117*(8*w - 40)>, <28, 1/177*(8*w + 137)>, <12, w + 4>, <36, 1/187*(5*w + 25)>, <24, 1/472*(39*w - 195)>, <36, 1/163*(8*w + 139)>, <12, 1/143*(4*w + 151)>, <12, 1/159*(4*w + 4)>, <12, 1/187*(4*w + 20)>, <12, 1/143*(4*w - 24)>, <48, 1/169*(11*w + 125)>, <12, 1/213*(4*w + 28)>, <24, 1/11999*(176*w + 9823)>, <48, 1/11*(w + 7)>, <16, 1/2519*(42*w + 2855)>, <24, 1/143*(8*w + 167)>, <24, 1/143*(7*w + 150)>, <24, 1/35223*(616*w + 27775)>, <24, 1/143*(8*w - 32)>, <24, 1/31243*(1001*w + 21450)>, <36, 1/10*(w + 7)>, <12, 1/108*(11*w - 33)>, <12, 1/7*(w - 1)>, <12, 1/11147*(252*w + 5652)>, <12, 1/1335*(16*w + 1159)>, <16, 1/89*(5*w + 50)>, <24, 1/117*(7*w - 35)>, <60, 1/169*(9*w + 133)>, <24, 1/9911*(273*w + 3983)>, <24, 1/6*(w - 2)>, <12, 1/649*(26*w + 753)>, <24, 1/53*(2*w - 4)>, <12, 1/163*(2*w + 157)>, <24, 1/6*(w + 5)>, <12, 1/169*(3*w - 3)>, <24, 1/12137*(273*w + 6474)>, <24, 1/923*(7*w + 972)>, <24, 1/117*(7*w + 166)>, <24, 1/13511*(91*w + 12636)>, <24, 1/923*(6*w + 965)>, <24, 1/33*(4*w - 16)>, <12, 11/157*w>, <12, 1/36*(11*w + 146)>, <24, 1/676*(33*w - 132)>, <24, 1/35953*(936*w + 16648)>, <12, 1/8*(13*w - 117)>, <24, 1/35953*(936*w + 18369)>, <24, 1/199*(4*w + 24)>, <24, 1/199*(4*w + 171)>, <12, 1/3621*(52*w + 3133)>, <24, 1/34719*(715*w + 9265)>, <24, 1/995*(143*w + 1853)>, <12, 1/121*(7*w - 28)>, <36, 1/199*(8*w + 48)>, <12, 1/1521*(121*w + 1884)>, <24, 1/169*(4*w + 12)>, <8, 1/9971*(280*w + 4896)>, <4, 1/6*(w + 10)>, <16, 1/59*(5*w + 20)>, <4, 1/885*(35*w + 612)>, <4, 1/3481*(70*w + 4705)>, <8, 1/472*(35*w + 612)>, <36, 1/177*(10*w + 40)>, <12, 1/88*(9*w + 133)>, <12, 1/3763*(132*w + 2068)>, <24, 1/9*(5*w + 40)>, <24, 1/1145*(9*w + 72)>, <12, 1/169*(14*w + 42)>, <12, 1/1246*(9*w + 90)>, <12, 1/247*(9*w + 157)>, <12, 1/27789*(484*w + 8308)>, <12, 1/14*(w + 9)>, <12, 1/11*(w + 9)>, <12, 1/13091*(462*w + 5754)>, <1, 1/4335*(64*w + 2727)>, <1, 1/1183*(64*w + 2727)>, <2, 1/15*(w + 3)>, <1, 1/105*(8*w + 193)>, <2, 1/169*(15*w + 45)>, <1, 1/289*(8*w + 193)>, <12, 1/9971*(216*w + 6056)>, <12, 1/196*(w + 3)>, <12, 1/56*(w + 1)>, <4, 1/32*(3*w + 44)>, <12, 1/14129*(14*w + 101)>, <12, 1/59*(w - 5)>, <12, 1/56*(w + 63)>, <-6, 1/265*(-48*w + 361)>, <-12, 1/3383*(-60*w + 635)>, <-12, 1/424*(-45*w + 514)>, <-6, 1/120*(-7*w + 148)>, <-12, 1/180*(-7*w + 173)>, <-24, 1/229*(-7*w + 63)>, <-4, 1/289*(-6*w + 223)>, <-1, 1/144*(-5*w + 189)>, <-1, 1/52441*(-300*w + 17065)>, <-1, 1/845*(-85*w + 3213)>, <-1, 1/38701*(-1020*w + 28416)>, <-1, 1/2748*(-60*w + 3413)>, <-1, 1/3893*(-144*w + 1596)>, <-1, 1/845*(-204*w + 233)>, <-1, 1/38701*(-300*w + 3325)>, <-12, 1/31243*(-1050*w + 8743)>, <-24, 1/3*(-w + 7)>, <-12, 1/199*(-5*w + 169)>, <-12, 1/583*(-48*w + 535)>, <-24, 1/53*(-w - 1)>, <-12, 1/85*(-12*w - 60)>, <-12, 1/64*(-11*w + 141)>, <-12, 1/2703*(-70*w + 1520)>, <-12, 1/3009*(-70*w + 959)>, <-12, 1/710*(-21*w + 878)>, <-12, 1/49*(-15*w + 109)>, <-4, 1/195*(-2*w + 187)>, <-4, 1/169*(-4*w + 197)>, <-12, 1/169*(-6*w - 6)>, <-12, 1/25917*(-169*w + 27209)>, <-12, 1/1630*(-169*w + 1292)>, <-4, 1/45951*(-130*w + 47411)>, <-4, 1/13*(-w + 12)>, <-4, 1/13*(-12*w + 157)>, <-4, 1/289*(-12*w + 157)>, <-4, -1/157*w>, <-4, 1/53*(-52*w - 52)>, <-2, 1/157*(-156*w + 313)>, <-2, 1/24649*(-1872*w + 28405)>, <-2, 1/49141*(-144*w + 2185)>, <-16, 1/14*(-w + 6)>, <-16, 1/9*(-14*w + 126)>, <-4, 1/196*(-3*w + 27)>, <-4, 1/2057*(-196*w + 1077)>, <-4, 1/51*(-14*w - 70)>, <-12, 1/165*(-8*w + 165)>, <-12, 1/229*(-8*w + 72)>, <-24, 1/163*(-6*w + 151)>, <-12, 1/169*(-w + 4)>, <-12, 1/169*(-3*w + 160)>, <-12, 1/1603*(-110*w + 2593)>, <-12, 1/159*(-2*w + 163)>, <-12, 1/4189*(-44*w + 473)>, <-12, 1/1393*(-108*w - 648)>, <-12, 1/295*(-44*w + 515)>, <-1, 1/4*(-15*w + 109)>, <-1, 1/398*(-195*w + 1815)>, <-1, 1/45571*(-52*w + 6454)>, <-1, 1/195*(-2*w + 213)>, <-1, 1/229*(-2*w + 213)>, <-12, 1/53*(-3*w - 3)>, <-12, 1/26*(-3*w + 59)>, <-12, 1/2771*(-72*w + 1520)>, <-12, 1/33631*(-990*w + 20860)>, <-12, 1/100*(-7*w - 42)>, <-12, 1/199*(-6*w + 163)>, <-6, 1/2041*(-121*w + 2041)>, <-12, 1/31641*(-845*w + 28561)>, <-12, 1/169*(-2*w + 14)>, <-12, 1/954*(-169*w + 785)>, <-12, 1/27789*(-676*w + 27209)>, <-12, 1/2*(-w + 5)>, <-12, 1/26*(-3*w - 21)>, <-4, -154/471*w>, <-4, 1/45373*(-1848*w + 18997)>, <-4, 1/121*(-12*w + 157)>, <-4, 1/14*(-w + 3)>, <-12, 1/187*(-2*w + 177)>, <-28, 1/177*(-8*w + 145)>, <-12, -w + 5>, <-12, 1/143*(-4*w + 155)>, <-12, 1/159*(-4*w + 8)>, <-12, 1/187*(-4*w + 24)>, <-12, 1/143*(-4*w - 20)>, <-12, 1/213*(-4*w + 32)>, <-24, 1/11999*(-176*w + 9999)>, <-24, 1/35223*(-616*w + 28391)>, <-12, 1/108*(-11*w - 22)>, <-12, -1/7*w>, <-12, 1/11147*(-252*w + 5904)>, <-12, 1/1335*(-16*w + 1175)>, <-12, 1/649*(-26*w + 779)>, <-12, 1/163*(-2*w + 159)>, <-12, -3/169*w>, <-24, 1/923*(-6*w + 971)>, <-12, 1/157*(-11*w + 11)>, <-12, 1/36*(-11*w + 157)>, <-12, 1/8*(-13*w - 104)>, <-12, 1/3621*(-52*w + 3185)>, <-12, 1/121*(-7*w - 21)>, <-12, 1/1521*(-121*w + 2005)>, <-4, 1/6*(-w + 11)>, <-4, 1/885*(-35*w + 647)>, <-4, 1/3481*(-70*w + 4775)>, <-12, 1/88*(-9*w + 142)>, <-12, 1/3763*(-132*w + 2200)>, <-12, 1/169*(-14*w + 56)>, <-12, 1/1246*(-9*w + 99)>, <-12, 1/247*(-9*w + 166)>, <-12, 1/27789*(-484*w + 8792)>, <-12, 1/14*(-w + 10)>, <-12, 1/11*(-w + 10)>, <-12, 1/13091*(-462*w + 6216)>, <-1, 1/4335*(-64*w + 2791)>, <-1, 1/1183*(-64*w + 2791)>, <-1, 1/105*(-8*w + 201)>, <-1, 1/289*(-8*w + 201)>, <-12, 1/9971*(-216*w + 6272)>, <-12, 1/196*(-w + 4)>, <-12, 1/56*(-w + 2)>, <-4, 1/32*(-3*w + 47)>, <-12, 1/14129*(-14*w + 115)>, <-12, 1/59*(-w - 4)>, <-12, 1/56*(-w + 64)> ]