/* Defining polynomial */ x^2 - x + 175 /* GCD of coefficients */ 1 /* 24 * |disc|^(3/2) /(8*pi^2)* zeta_F(2) */ 8009.64925573864195270041618456 /* Belt */ [ <144, 1/9*(w + 4)>, <24, 1/217*(4*w + 241)>, <24, 1/217*(4*w - 28)>, <156, 1/17*(w + 13)>, <72, 1/187*(7*w + 21)>, <156, 1/17*(w + 3)>, <24, 1/175*(4*w + 175)>, <24, 1/4*(w + 4)>, <12, 1/57057*(400*w + 59632)>, <12, 1/16*(w + 8)>, <12, 1/6*(w - 8)>, <24, 1/75*(2*w + 50)>, <12, 1/5973*(140*w + 5348)>, <12, 1/196*(3*w + 21)>, <12, 1/181*(28*w + 97)>, <24, 1/22*(w + 25)>, <24, 1/21*(4*w + 45)>, <24, 1/22*(w - 3)>, <24, 1/22*(w + 24)>, <24, 1/124*(3*w + 142)>, <132, 1/14*(w + 7)>, <12, 1/1023*(10*w + 85)>, <60, 1/65*(2*w + 55)>, <28, 1/44707*(660*w + 35167)>, <40, 1/247*(11*w + 148)>, <60, 1/59*(2*w + 55)>, <96, 1/11*(w + 6)>, <244, 1/15*(w + 4)>, <12, 1/6*(w - 5)>, <28, 1/247*(2*w - 18)>, <96, 1/11*(w + 4)>, <200, 1/15*(w + 7)>, <12, 1/130*(7*w + 158)>, <96, 1/41*(2*w + 29)>, <12, 1/11765*(308*w + 4417)>, <60, 1/195*(7*w + 160)>, <24, 1/143*(8*w + 167)>, <24, 1/143*(8*w - 32)>, <48, 1/143*(8*w + 175)>, <48, 1/143*(8*w - 40)>, <68, 1/9*(w + 2)>, <68, 1/181*(9*w + 18)>, <12, 1/196*(3*w + 6)>, <6, 1/32761*(980*w + 32536)>, <52, 1/205*(14*w + 70)>, <4, 1/3*(w + 8)>, <2, 1/615*(196*w + 2309)>, <14, 1/9*(14*w + 121)>, <2, 1/3485*(42*w + 363)>, <1, 1/61009*(153*w + 846)>, <1, 1/196*(17*w + 94)>, <4, 1/247*(3*w + 24)>, <110, 1/13*(w + 6)>, <10, 1/47089*(624*w + 6048)>, <1, 1/217*(3*w + 235)>, <1, 1/57505*(624*w + 48880)>, <2, 1/16*(w + 6)>, <1, 1/795*(39*w + 3850)>, <2, 1/217*(16*w + 96)>, <1, 1/4240*(9*w + 705)>, <24, 1/187*(6*w + 163)>, <12, 1/3801*(110*w + 2030)>, <28, 1/181*(5*w + 166)>, <6, 1/47965*(1452*w + 17545)>, <14, 1/265*(12*w + 145)>, <46, 1/177*(11*w + 155)>, <12, 1/2173*(60*w + 1653)>, <24, 1/7*(w + 1)>, <60, 1/195*(7*w + 28)>, <24, 1/95*(w + 10)>, <96, 1/10*(w + 4)>, <12, 1/1235*(3*w + 24)>, <12, 1/3*(5*w + 40)>, <24, 1/3*(w + 10)>, <28, 1/53599*(120*w + 54495)>, <28, 1/15*(w + 8)>, <24, 1/8*(w - 6)>, <132, 1/33*(2*w + 14)>, <24, 1/51*(w + 37)>, <12, 1/49555*(1248*w + 35347)>, <28, 1/187*(13*w + 135)>, <24, 1/357*(8*w + 245)>, <12, 1/10*(w - 4)>, <24, 1/31*(w + 37)>, <108, 1/205*(13*w + 127)>, <24, 1/57*(w + 46)>, <22, 1/144*(11*w + 155)>, <52, 1/3*(w + 1)>, <12, 1/177*(8*w + 185)>, <12, 1/47965*(2028*w + 21432)>, <12, w - 2>, <72, 1/39*(w + 4)>, <24, 1/187*(4*w + 171)>, <24, 1/1001*(20*w + 756)>, <8, 1/1155*(2*w + 1169)>, <24, 1/164*(5*w + 189)>, <12, 1/59*(4*w + 4)>, <12, 1/11*(4*w + 51)>, <24, 1/236*(65*w - 130)>, <24, 1/195*(4*w - 8)>, <24, 1/4*w>, <108, 1/231*(13*w + 127)>, <244, 1/13*(w + 4)>, <72, 1/35*w>, <24, 1/50*(3*w + 62)>, <12, 1/531*(50*w + 581)>, <72, 1/9*(w + 7)>, <24, 1/1121*(30*w + 620)>, <24, 1/4199*(60*w + 3444)>, <24, 1/252*(5*w + 287)>, <24, 1/41*(w + 46)>, <24, 1/187*(3*w + 175)>, <16, 1/217*(3*w + 18)>, <12, 1/187*(28*w + 84)>, <72, 1/59*(3*w + 53)>, <40, 1/53*(2*w + 18)>, <12, 1/33*(2*w + 33)>, <24, 1/5487*(130*w + 625)>, <6, 1/1025*(12*w - 72)>, <24, 1/5487*(130*w + 4732)>, <44, 1/177*(8*w + 161)>, <12, 1/217*(169*w + 1231)>, <24, 1/217*(6*w + 36)>, <12, 1/4543*(130*w + 448)>, <24, 1/6*(w - 2)>, <36, 1/59*(w - 2)>, <48, 1/195*(8*w + 155)>, <48, 1/195*(8*w + 32)>, <36, 1/59*(w + 60)>, <24, 1/34*(5*w + 49)>, <12, 1/2*(w - 3)>, <36, 1/3439*(78*w + 2509)>, <24, 1/34*(5*w - 20)>, <40, 1/181*(11*w + 148)>, <4, 1/65455*(882*w + 60408)>, <4, 1/1729*(198*w + 2664)>, <4, 1/65455*(539*w + 28000)>, <14, 1/12*(w + 2)>, <4, 1/132*(7*w + 195)>, <4, 1/265*(7*w + 195)>, <12, 1/385*(52*w - 416)>, <12, 1/5*(w + 7)>, <12, 1/44707*(1386*w + 24673)>, <8, 1/2255*(84*w + 2675)>, <104, 1/205*(11*w + 139)>, <4, 1/208*(3*w + 196)>, <4, 1/4240*(169*w + 2316)>, <4, 1/561*(169*w + 2316)>, <8, 1/6*(w - 4)>, <16, 1/18*(13*w + 135)>, <8, 1/187*(6*w - 24)>, <28, 1/265*(13*w + 135)>, <12, 1/247*(10*w + 80)>, <12, 1/77*(10*w - 90)>, <36, 1/169*(6*w + 193)>, <24, 1/5973*(130*w + 1963)>, <72, 1/65*(4*w + 45)>, <72, 1/77*(4*w + 45)>, <24, 1/10*(w + 10)>, <12, 1/31675*(338*w + 1762)>, <24, 1/57*(2*w + 20)>, <24, 1/91*(10*w + 151)>, <28, 1/15*(w + 6)>, <8, 1/3255*(22*w - 154)>, <28, 1/8*(15*w + 120)>, <4, 1/225*(4*w + 32)>, <4, 1/2387*(225*w + 812)>, <8, 1/22*(15*w - 105)>, <4, 1/868*(165*w - 1155)>, <60, 1/205*(9*w + 45)>, <24, 1/155*(4*w + 96)>, <36, 1/217*(10*w + 147)>, <8, 1/177*(7*w + 184)>, <4, 1/14573*(462*w + 1967)>, <4, 1/18*(w + 8)>, <4, 1/46905*(968*w + 23552)>, <8, 1/7*(w + 8)>, <24, 1/96*(11*w + 140)>, <60, 1/205*(9*w + 151)>, <6, 1/100*(13*w + 126)>, <36, 1/187*(10*w + 147)>, <24, 1/39*(4*w - 20)>, <24, 1/165*(4*w + 61)>, <48, 1/187*(5*w + 167)>, <52, 1/205*(14*w + 121)>, <48, 1/177*(5*w + 167)>, <24, 1/5605*(156*w + 3460)>, <12, 1/181*(13*w + 26)>, <12, 1/12*(13*w + 142)>, <24, 1/5605*(156*w + 1989)>, <24, 1/665*(18*w + 332)>, <64, 1/5*(w + 5)>, <12, 1/1001*(15*w + 1035)>, <12, 1/2*(w + 7)>, <24, 1/1001*(12*w + 1085)>, <64, 1/41*(w + 5)>, <24, 1/130*(9*w + 166)>, <4, 1/56*(w + 57)>, <12, 1/181*(10*w + 20)>, <6, 1/27*(5*w - 15)>, <36, 1/205*(12*w + 133)>, <12, 1/11501*(80*w + 10896)>, <76, 1/15*(w + 5)>, <24, 1/41*(4*w + 61)>, <12, 1/341*(2*w + 322)>, <24, 1/275*(8*w + 67)>, <24, 1/275*(8*w + 200)>, <12, 1/1435*(36*w + 139)>, <72, 1/31*(w + 6)>, <12, w>, <6, 1/35875*(1014*w + 28561)>, <6, 6/175*w>, <72, 1/7*(w + 6)>, <24, 1/156*(7*w + 184)>, <24, 1/3553*(84*w + 2496)>, <24, 1/180*(7*w + 208)>, <24, 1/1121*(28*w + 736)>, <24, 1/1121*(39*w + 806)>, <40, 2/35*w>, <12, 1/48*(w + 43)>, <24, 1/53*(w + 9)>, <24, 1/1121*(39*w + 276)>, <4, 1/156*(5*w + 166)>, <36, 1/8*(w + 5)>, <12, 1/1640*(117*w - 702)>, <24, 1/3439*(88*w + 2167)>, <24, 1/104*(11*w - 55)>, <12, 1/247*(9*w + 72)>, <12, 1/121*(6*w - 54)>, <16, 1/247*(17*w + 94)>, <8, 1/61009*(714*w - 4662)>, <8, 1/42*(17*w - 111)>, <12, 1/175*(2*w + 173)>, <12, 1/531*(169*w + 700)>, <20, 1/177*(4*w + 4)>, <12, 1/3835*(56*w + 3360)>, <20, 1/4*(w + 1)>, <4, 1/236*(55*w - 110)>, <4, 1/19529*(770*w + 5599)>, <4, 1/11*(w - 2)>, <4, 1/121*(14*w + 149)>, <4, 1/15*(w + 2)>, <24, 1/9*(w - 5)>, <12, 1/121*(7*w - 49)>, <24, 1/119*(3*w + 77)>, <12, 1/117*(10*w + 147)>, <48, 1/33*(w + 7)>, <24, 1/3553*(70*w + 655)>, <24, 1/75*(14*w + 131)>, <12, 1/14*(w + 10)>, <12, 1/17765*(42*w + 18158)>, <24, 1/130*(9*w + 175)>, <28, 1/2173*(12*w + 2265)>, <76, 1/15*(w + 9)>, <12, 1/205*(4*w + 181)>, <12, 1/33099*(338*w + 2510)>, <24, 1/130*(9*w - 54)>, <24, 1/70*w>, <44, 1/8*(w + 6)>, <4, 1/12803*(408*w + 8211)>, <4, 1/5605*(204*w + 4216)>, <4, 1/95*(3*w + 62)>, <8, 1/217*(17*w + 102)>, <4, 1/5605*(108*w + 1377)>, <24, 1/70*(w + 69)>, <12, 1/217*(5*w + 30)>, <12, 1/192*(5*w + 182)>, <24, 1/413*(12*w + 212)>, <24, 1/51*(4*w - 16)>, <12, 1/57505*(1936*w + 42864)>, <12, 1/9*(w - 1)>, <12, 1/18*(w - 7)>, <48, 1/25*(w - 1)>, <12, 1/175*(24*w - 24)>, <12, 1/26*w>, <24, 1/205*(7*w + 163)>, <12, 1/413*(52*w + 465)>, <24, 1/9911*(182*w + 7839)>, <24, 1/533*(14*w + 603)>, <24, 1/245*(39*w - 39)>, <24, 1/59*(11*w + 70)>, <24, 1/9593*(273*w + 7605)>, <24, 1/33*(w + 34)>, <4, 1/51585*(832*w + 41665)>, <8, 1/17*(w + 6)>, <4, 1/51585*(1768*w + 6280)>, <4, 1/8*(w - 3)>, <4, 1/136*(9*w + 154)>, <36, 1/205*(8*w + 40)>, <12, 1/205*(3*w + 187)>, <12, 1/2172*(169*w + 1665)>, <12, 1/181*(4*w - 12)>, <24, 1/574*(11*w + 629)>, <46, 1/177*(11*w + 11)>, <12, 1/56*(11*w + 155)>, <24, 1/574*(11*w - 66)>, <12, 1/1755*(196*w + 784)>, <12, 1/196*(w + 190)>, <12, 1/39975*(196*w + 775)>, <24, 1/2695*(72*w + 1503)>, <12, 1/32*(3*w - 24)>, <24, 1/104*(9*w - 45)>, <12, 1/275*(6*w + 119)>, <12, 1/6765*(91*w + 889)>, <24, 1/33*(w + 35)>, <24, 1/181*(33*w + 247)>, <28, 1/795*(4*w + 755)>, <24, 1/6175*(144*w + 3375)>, <24, 1/279*(16*w + 375)>, <24, 1/91*(9*w + 127)>, <24, 1/135*(7*w + 163)>, <20, 1/615*(8*w - 48)>, <20, 1/8*(3*w - 18)>, <4, 1/106*(3*w + 133)>, <4, 1/30*(w - 6)>, <24, 1/649*(15*w + 369)>, <24, 1/93*(5*w + 123)>, <12, 1/225*(8*w + 185)>, <4, 1/91*(2*w + 68)>, <4, 1/45*(2*w + 35)>, <4, 1/45*(w + 34)>, <4, 1/38*(w + 48)>, <8, 1/195*(4*w - 20)>, <28, 1/285*(2*w + 20)>, <8, 1/4*(w - 5)>, <12, 1/59*(75*w + 75)>, <-12, 1/57057*(-400*w + 60032)>, <-12, 1/16*(-w + 9)>, <-12, 1/6*(-w - 7)>, <-12, 1/5973*(-140*w + 5488)>, <-12, 1/196*(-3*w + 24)>, <-12, 1/181*(-28*w + 125)>, <-12, 1/1023*(-10*w + 95)>, <-28, 1/44707*(-660*w + 35827)>, <-12, 1/6*(-w - 4)>, <-12, 1/130*(-7*w + 165)>, <-12, 1/11765*(-308*w + 4725)>, <-12, 1/196*(-3*w + 9)>, <-6, 1/32761*(-980*w + 33516)>, <-2, 1/615*(-196*w + 2505)>, <-14, 1/9*(-14*w + 135)>, <-2, 1/3485*(-42*w + 405)>, <-1, 1/61009*(-153*w + 999)>, <-1, 1/196*(-17*w + 111)>, <-10, 1/47089*(-624*w + 6672)>, <-1, 1/217*(-3*w + 238)>, <-1, 1/57505*(-624*w + 49504)>, <-1, 1/795*(-39*w + 3889)>, <-1, 1/4240*(-9*w + 714)>, <-24, 1/187*(-6*w + 169)>, <-12, 1/3801*(-110*w + 2140)>, <-6, 1/47965*(-1452*w + 18997)>, <-12, 1/2173*(-60*w + 1713)>, <-12, 1/49555*(-1248*w + 36595)>, <-12, 1/10*(-w - 3)>, <-22, 1/144*(-11*w + 166)>, <-12, 1/177*(-8*w + 193)>, <-12, 1/47965*(-2028*w + 23460)>, <-12, -w - 1>, <-8, 1/1155*(-2*w + 1171)>, <-12, 1/59*(-4*w + 8)>, <-12, 1/11*(-4*w + 55)>, <-12, 1/531*(-50*w + 631)>, <-24, 1/187*(-3*w + 178)>, <-16, 1/217*(-3*w + 21)>, <-12, 1/187*(-28*w + 112)>, <-12, 1/33*(-2*w + 35)>, <-6, 1/1025*(-12*w - 60)>, <-12, 1/217*(-169*w + 1400)>, <-24, 1/217*(-6*w + 42)>, <-12, 1/4543*(-130*w + 578)>, <-24, 1/6*(-w - 1)>, <-12, 1/2*(-w - 2)>, <-4, 1/65455*(-882*w + 61290)>, <-4, 1/1729*(-198*w + 2862)>, <-4, 1/65455*(-539*w + 28539)>, <-4, 1/132*(-7*w + 202)>, <-4, 1/265*(-7*w + 202)>, <-12, 1/385*(-52*w - 364)>, <-12, 1/5*(-w + 8)>, <-12, 1/44707*(-1386*w + 26059)>, <-8, 1/2255*(-84*w + 2759)>, <-4, 1/208*(-3*w + 199)>, <-4, 1/4240*(-169*w + 2485)>, <-4, 1/561*(-169*w + 2485)>, <-16, 1/18*(-13*w + 148)>, <-12, 1/247*(-10*w + 90)>, <-12, 1/77*(-10*w - 80)>, <-12, 1/31675*(-338*w + 2100)>, <-4, 1/225*(-4*w + 36)>, <-4, 1/2387*(-225*w + 1037)>, <-4, 1/868*(-165*w - 990)>, <-4, 1/14573*(-462*w + 2429)>, <-4, 1/18*(-w + 9)>, <-4, 1/46905*(-968*w + 24520)>, <-24, 1/96*(-11*w + 151)>, <-6, 1/100*(-13*w + 139)>, <-12, 1/181*(-13*w + 39)>, <-12, 1/12*(-13*w + 155)>, <-12, 1/1001*(-15*w + 1050)>, <-12, 1/2*(-w + 8)>, <-24, 1/1001*(-12*w + 1097)>, <-4, 1/56*(-w + 58)>, <-12, 1/181*(-10*w + 30)>, <-6, 1/27*(-5*w - 10)>, <-36, 1/205*(-12*w + 145)>, <-12, 1/11501*(-80*w + 10976)>, <-12, 1/341*(-2*w + 324)>, <-12, 1/1435*(-36*w + 175)>, <-6, 1/35875*(-1014*w + 29575)>, <-6, 1/175*(-6*w + 6)>, <-12, 1/48*(-w + 44)>, <-24, 1/53*(-w + 10)>, <-4, 1/156*(-5*w + 171)>, <-12, 1/1640*(-117*w - 585)>, <-12, 1/247*(-9*w + 81)>, <-12, 1/121*(-6*w - 48)>, <-12, 1/175*(-2*w + 175)>, <-12, 1/531*(-169*w + 869)>, <-12, 1/3835*(-56*w + 3416)>, <-4, 1/236*(-55*w - 55)>, <-4, 1/19529*(-770*w + 6369)>, <-4, 1/11*(-w - 1)>, <-4, 1/121*(-14*w + 163)>, <-4, 1/15*(-w + 3)>, <-12, 1/121*(-7*w - 42)>, <-12, 1/117*(-10*w + 157)>, <-12, 1/14*(-w + 11)>, <-12, 1/17765*(-42*w + 18200)>, <-12, 1/205*(-4*w + 185)>, <-12, 1/33099*(-338*w + 2848)>, <-4, 1/12803*(-408*w + 8619)>, <-4, 1/5605*(-204*w + 4420)>, <-4, 1/95*(-3*w + 65)>, <-4, 1/5605*(-108*w + 1485)>, <-12, 1/217*(-5*w + 35)>, <-12, 1/192*(-5*w + 187)>, <-12, 1/57505*(-1936*w + 44800)>, <-12, -1/9*w>, <-12, 1/18*(-w - 6)>, <-12, -24/175*w>, <-12, 1/26*(-w + 1)>, <-12, 1/413*(-52*w + 517)>, <-4, 1/51585*(-832*w + 42497)>, <-4, 1/51585*(-1768*w + 8048)>, <-4, 1/8*(-w - 2)>, <-4, 1/136*(-9*w + 163)>, <-12, 1/205*(-3*w + 190)>, <-12, 1/2172*(-169*w + 1834)>, <-12, 1/181*(-4*w - 8)>, <-12, 1/56*(-11*w + 166)>, <-12, 1/1755*(-196*w + 980)>, <-12, 1/196*(-w + 191)>, <-12, 1/39975*(-196*w + 971)>, <-12, 1/32*(-3*w - 21)>, <-12, 1/275*(-6*w + 125)>, <-12, 1/6765*(-91*w + 980)>, <-4, 1/106*(-3*w + 136)>, <-4, 1/30*(-w - 5)>, <-12, 1/225*(-8*w + 193)>, <-4, 1/91*(-2*w + 70)>, <-4, 1/45*(-2*w + 37)>, <-4, 1/45*(-w + 35)>, <-4, 1/38*(-w + 49)>, <-12, 1/59*(-75*w + 150)> ]