/* Defining polynomial */ x^2 - x + 170 /* GCD of coefficients */ 2 /* 24 * |disc|^(3/2) /(8*pi^2)* zeta_F(2) */ 11238.1213058473398663583237583 /* Belt */ [ <72, 1/190*(9*w + 145)>, <6, 1/19*(w + 23)>, <294, 1/19*(w + 4)>, <24, 1/9*(w - 6)>, <294, 1/20*(w + 5)>, <120, 1/11*(w + 5)>, <48, 1/38*(3*w - 15)>, <48, 1/110*(3*w + 57)>, <12, 1/2080*(21*w + 1905)>, <72, 1/40*(3*w + 22)>, <48, 1/2299*(39*w + 1885)>, <48, 1/130*(3*w + 145)>, <156, 1/8*(w + 5)>, <36, 1/7*(w + 1)>, <24, 1/125*(6*w + 155)>, <24, 1/1007*(22*w + 270)>, <24, 1/55*(2*w - 12)>, <24, 1/48*(5*w + 73)>, <156, 1/25*(w + 5)>, <24, 1/20*(3*w + 35)>, <24, 1/68*(9*w - 9)>, <24, 1/33*(w + 34)>, <24, 1/1360*(33*w + 1122)>, <24, 1/20*(3*w - 18)>, <24, 1/68*(9*w + 68)>, <36, 1/172*(7*w + 7)>, <24, 1/791*(65*w - 520)>, <24, 1/20812*(455*w + 11635)>, <48, 1/95*(3*w + 80)>, <48, 1/6*(w + 1)>, <120, 1/91*(5*w + 71)>, <120, 1/91*(5*w + 15)>, <12, 1/225*(7*w + 190)>, <12, 1/364*(45*w + 405)>, <12, 1/1976*(45*w + 41)>, <24, 1/171*(11*w + 215)>, <84, 1/8*(w + 3)>, <84, 1/91*(4*w + 12)>, <24, 1/110*(9*w + 146)>, <160, 1/20*(w + 10)>, <160, 1/13*(w + 3)>, <48, 1/10*(w + 8)>, <12, 1/21*(13*w - 117)>, <60, 1/242*(13*w + 104)>, <48, 1/86*(5*w + 76)>, <72, 1/53*(2*w + 39)>, <72, 1/15*(w + 9)>, <168, 1/50*(3*w + 15)>, <72, 1/43*(2*w + 39)>, <36, 1/106*(3*w + 18)>, <12, 1/88*(3*w + 85)>, <84, 1/43*(w + 41)>, <24, 1/10*(w - 4)>, <24, 1/473*(15*w + 228)>, <84, 1/44*(w + 41)>, <24, 1/176*(5*w + 106)>, <24, 1/473*(15*w + 230)>, <24, 1/11180*(231*w + 3150)>, <12, 1/416*(3*w + 438)>, <24, 1/583*(21*w - 147)>, <168, 1/12*(w + 5)>, <24, 1/1075*(21*w + 924)>, <24, 1/70*(3*w + 82)>, <24, 1/494*(7*w + 60)>, <48, 1/583*(18*w - 126)>, <108, 1/121*(7*w + 56)>, <12, 1/104*(9*w - 36)>, <108, 1/121*(7*w + 58)>, <48, 1/72*(11*w - 77)>, <72, 1/212*(11*w + 135)>, <132, 1/212*(13*w + 78)>, <48, 1/13673*(120*w + 14408)>, <48, 1/16*(w + 8)>, <72, 1/212*(11*w + 66)>, <24, 1/42*(w + 44)>, <24, 1/70*(3*w - 15)>, <24, 1/494*(7*w + 427)>, <48, 1/95*(6*w + 24)>, <48, 1/6*w>, <24, 1/172*(11*w + 11)>, <24, 1/215*(6*w + 74)>, <24, 1/130*(7*w + 158)>, <36, 1/86*(3*w - 6)>, <48, 1/182*(9*w + 146)>, <12, 1/39*(5*w + 54)>, <60, 1/88*(3*w + 79)>, <12, 1/100*(7*w - 42)>, <144, 1/26*(w + 22)>, <48, 1/182*(9*w + 27)>, <12, 1/172*(3*w + 166)>, <6, 1/172*(169*w + 341)>, <6, 1/172*(w + 1)>, <24, 1/120*(13*w - 39)>, <24, 1/120*(13*w + 146)>, <24, 1/72*(13*w + 137)>, <120, 1/226*(13*w + 122)>, <24, 1/72*(13*w - 78)>, <24, 1/45*w>, <24, 1/2795*(66*w + 1244)>, <24, 1/424*(33*w + 622)>, <120, 1/13*(w + 5)>, <48, 1/12*(w + 4)>, <72, 1/10*w>, <84, 1/5*w>, <12, 1/170*(33*w - 33)>, <72, 1/26*(w + 16)>, <84, 1/34*w>, <48, 1/6*(w + 5)>, <24, 1/430*(9*w + 25)>, <24, 1/11*(w + 1)>, <24, 1/28*(3*w + 37)>, <24, 1/3440*(91*w + 2054)>, <12, 1/742*(9*w - 63)>, <48, 1/53*(4*w + 25)>, <36, 1/6*(w - 2)>, <24, 1/11300*(143*w + 9815)>, <60, 1/121*(6*w + 48)>, <60, 1/12*(w + 8)>, <24, 1/104*(9*w + 149)>, <24, 1/104*(9*w - 54)>, <12, 1/130*(3*w + 27)>, <12, 1/112*(3*w + 100)>, <24, 1/38*(3*w + 12)>, <12, 1/120*(w + 10)>, <60, 1/226*(11*w + 77)>, <48, 1/5*(w + 3)>, <48, 1/172*(5*w + 162)>, <24, 1/9605*(308*w + 3060)>, <60, 1/182*(11*w + 33)>, <24, 1/110*(3*w + 35)>, <24, 1/516*(91*w - 182)>, <48, 1/176*(5*w + 161)>, <6, 1/32*(w + 18)>, <114, 1/11*(w + 2)>, <96, 1/88*(5*w + 73)>, <60, 1/88*(3*w + 6)>, <96, 1/10*(w + 7)>, <24, 1/516*(91*w + 607)>, <24, 1/110*(3*w + 72)>, <16, 1/40*(w + 10)>, <24, 1/190*(3*w + 175)>, <12, 1/1204*(169*w + 866)>, <12, 1/172*(w - 2)>, <12, 1/221*(8*w + 85)>, <24, 1/11*(3*w + 35)>, <114, 1/16*(w + 2)>, <24, 1/66*(w + 74)>, <24, 1/44*(w + 13)>, <48, 1/9*(w + 1)>, <24, 1/3440*(99*w + 1991)>, <24, 1/28*(15*w + 135)>, <24, 1/8*(w + 13)>, <48, 1/226*(9*w + 154)>, <24, 1/3440*(99*w + 1350)>, <24, 1/442*(7*w + 112)>, <60, 1/242*(15*w + 120)>, <24, 1/28*(15*w - 122)>, <60, 1/212*(15*w + 90)>, <24, 1/11300*(143*w + 1342)>, <12, 1/1802*(35*w + 815)>, <24, 1/77*(4*w - 8)>, <12, 1/5324*(105*w + 3290)>, <12, 1/6*(w - 3)>, <48, 1/15*(8*w + 64)>, <48, 1/16*(w + 7)>, <24, 1/70*(3*w - 18)>, <24, 1/371*(4*w + 395)>, <24, 1/221*(4*w + 153)>, <24, 1/121*(4*w + 153)>, <24, 1/242*(9*w + 161)>, <24, 1/170*(9*w + 161)>, <162, 1/14*(w + 6)>, <6, 1/6175*(112*w + 5103)>, <42, 1/14*(w + 4)>, <162, 1/106*(7*w + 42)>, <12, 1/8170*(231*w + 1779)>, <24, 1/95*(21*w + 179)>, <36, 1/15*(7*w - 49)>, <12, 1/151*(7*w + 67)>, <12, 1/10*(7*w - 74)>, <24, 1/95*(21*w - 105)>, <24, 1/70*(3*w + 85)>, <24, 1/3025*(28*w + 2765)>, <24, 1/242*(5*w + 197)>, <24, 1/182*(5*w + 197)>, <36, 1/4*(w - 2)>, <12, 1/2150*(39*w + 1716)>, <12, 1/360*(13*w - 143)>, <12, 1/9*(w + 10)>, <24, 1/152*(13*w + 204)>, <24, 1/442*(11*w + 176)>, <24, 1/15*(w - 2)>, <72, 1/40*(w + 34)>, <48, 4/85*w>, <28, 1/91*(w + 87)>, <24, 1/9010*(273*w + 2380)>, <36, 1/6*(w + 6)>, <24, 1/50*(w + 55)>, <12, 1/8*(w - 3)>, <12, 1/55*(w + 24)>, <24, 1/65*(w + 55)>, <24, 1/25*(2*w + 13)>, <24, 1/125*(2*w - 15)>, <8, 1/170*(w + 169)>, <2, 1/170*(169*w + 170)>, <12, 1/151*(6*w + 66)>, <12, 1/13*(6*w - 72)>, <48, 1/2147*(42*w + 455)>, <12, 1/39*(w + 41)>, <12, 1/1976*(33*w + 557)>, <36, 1/52*(w + 42)>, <24, 1/159*(w + 165)>, <24, 1/520*(3*w + 495)>, <24, 1/3445*(44*w - 319)>, <48, 1/240*(7*w - 42)>, <24, 1/33*(2*w - 8)>, <24, 1/1356*(25*w - 200)>, <24, 1/5*(w + 6)>, <24, 1/14*(3*w - 21)>, <36, 1/65*(3*w + 27)>, <12, 1/8*(3*w - 30)>, <24, 1/11011*(150*w + 1675)>, <24, 1/5*(w - 2)>, <24, 1/2279*(66*w + 926)>, <24, 1/1921*(52*w + 816)>, <24, 1/17*(w - 1)>, <12, 1/18*w>, <24, 1/605*(18*w - 162)>, <72, 1/34*(w + 34)>, <24, 1/200*(9*w - 54)>, <24, 1/200*(11*w - 66)>, <24, 1/172*(15*w - 30)>, <48, 1/8*w>, <28, 1/86*(w + 87)>, <24, 1/301*(39*w + 340)>, <24, 1/935*(28*w + 595)>, <48, 1/1582*(9*w + 1645)>, <24, 1/182*(3*w + 191)>, <12, 1/2279*(50*w + 1254)>, <24, 1/689*(20*w + 385)>, <12, 1/7*(w + 17)>, <24, 1/56*(5*w - 20)>, <36, 1/52*(w + 9)>, <48, 1/9*(w + 2)>, <24, 1/18232*(455*w + 16107)>, <24, 1/18232*(455*w + 1670)>, <48, 1/9*(w + 6)>, <12, 1/242*(5*w + 282)>, <24, 1/113*(3*w + 134)>, <24, 1/176*(3*w + 134)>, <12, 1/260*(7*w + 190)>, <12, 1/2464*(13*w + 137)>, <12, 1/424*(27*w - 189)>, <24, 1/442*(9*w + 289)>, <24, 1/442*(9*w + 144)>, <24, 1/260*(7*w - 70)>, <24, 1/68*(21*w + 47)>, <12, 1/380*(77*w + 688)>, <36, 1/85*(2*w + 85)>, <24, 1/105*(2*w + 103)>, <24, 1/77*(4*w + 85)>, <48, 1/9*(7*w + 58)>, <24, 1/3*(w + 6)>, <24, 1/121*(4*w + 85)>, <12, 1/14641*(272*w + 16065)>, <12, 1/1105*(16*w + 945)>, <24, 1/570*(77*w - 385)>, <12, 1/49*(2*w + 45)>, <6, 1/195*(49*w + 441)>, <24, 1/77*(3*w - 15)>, <12, 1/10735*(147*w + 9898)>, <12, 1/88*(w - 3)>, <24, 1/85*(4*w + 85)>, <24, 1/91*(w - 4)>, <24, 1/91*(w + 94)>, <12, 1/2034*(91*w + 2671)>, <24, 1/2057*(52*w + 900)>, <24, 1/95*(6*w + 119)>, <36, 1/65*(3*w + 35)>, <28, 1/86*(w + 84)>, <24, 1/308*(39*w + 386)>, <24, 1/125*(2*w + 138)>, <24, 1/16*(w + 10)>, <4, 1/12*(w - 1)>, <8, 1/13*w>, <4, 1/7009*(36*w + 595)>, <4, 1/13855*(78*w + 1105)>, <4, 1/163*(42*w + 595)>, <4, 1/7009*(252*w + 2592)>, <8, 13/170*w>, <24, 1/265*(39*w + 499)>, <48, 1/7*(w + 4)>, <30, 1/4*(w + 6)>, <30, 1/44*(w + 46)>, <24, 1/3445*(44*w + 3720)>, <48, 1/16*(w + 9)>, <24, 1/9944*(195*w + 2495)>, <48, 1/7*(w + 2)>, <12, 1/86*(9*w + 95)>, <24, 1/160*(13*w + 225)>, <12, 1/43*(3*w + 3)>, <12, 1/50*(3*w + 80)>, <24, 1/221*(6*w + 119)>, <28, 1/85*(w + 84)>, <24, 1/9605*(273*w + 2702)>, <24, 1/255*(91*w + 255)>, <36, 1/91*(2*w + 97)>, <24, 1/170*(3*w - 3)>, <24, 1/34*(w + 17)>, <12, 1/63*(5*w - 15)>, <12, 1/5876*(165*w + 3641)>, <12, 1/1105*(22*w + 913)>, <36, 1/4*w>, <24, 1/2279*(70*w + 844)>, <36, 1/1484*(15*w - 105)>, <60, 1/13*(w + 8)>, <24, 1/352*(35*w + 422)>, <24, 1/140*(3*w + 107)>, <24, 1/140*(3*w + 30)>, <12, 1/260*(w - 10)>, <24, 1/1430*(21*w + 1164)>, <12, 1/520*(27*w + 763)>, <12, 1/43*(2*w + 45)>, <24, 1/1430*(21*w + 245)>, <24, 1/260*(17*w + 90)>, <24, 1/63*(17*w - 107)>, <24, 1/212*(7*w + 254)>, <92, 1/226*(15*w + 106)>, <6, 1/38420*(847*w + 17003)>, <6, 1/7*(w + 7)>, <24, 1/352*(7*w + 254)>, <24, 1/143*(9*w + 170)>, <24, 1/266*(27*w + 374)>, <24, 1/143*(9*w - 36)>, <24, 1/266*(27*w - 135)>, <36, 1/4*(w + 7)>, <24, 1/14*(w + 17)>, <24, 1/255*(91*w - 91)>, <24, 1/182*(3*w + 9)>, <24, 1/17*(w + 8)>, <24, 1/172*(3*w + 175)>, <12, 1/86*(49*w - 98)>, <24, 1/20570*(441*w + 7889)>, <24, 1/98*(9*w + 161)>, <42, 1/130*(7*w + 60)>, <24, 1/88*(7*w + 102)>, <24, 1/85*(w + 85)>, <12, 1/1573*(42*w + 469)>, <8, 1/13*(6*w + 31)>, <4, 1/559*(42*w + 217)>, <4, 1/43*(6*w + 74)>, <8, 1/559*(6*w + 31)>, <12, 1/172*(7*w + 179)>, <12, 1/3025*(126*w + 1855)>, <24, 1/221*(7*w + 102)>, <24, 1/88*(w + 85)>, <24, 1/170*(3*w + 167)>, <36, 1/91*(2*w + 83)>, <6, 1/49*(w + 2)>, <12, 1/105*(2*w + 97)>, <24, 1/5203*(140*w + 2935)>, <12, 1/196*(5*w + 186)>, <24, 1/5203*(140*w + 2128)>, <12, 1/12350*(21*w - 201)>, <24, 1/4420*(63*w + 3790)>, <24, 1/260*(17*w + 153)>, <6, 1/170*(7*w + 163)>, <6, 1/1484*(121*w + 2210)>, <24, 1/9*(w - 5)>, <24, 1/143*(9*w - 27)>, <24, 1/9*(w + 13)>, <24, 1/143*(9*w + 161)>, <24, 3/170*w>, <18, 1/791*(4*w - 32)>, <24, 1/14*(15*w + 120)>, <24, 1/1815*(7*w + 56)>, <24, 1/170*(91*w + 79)>, <12, 1/98*(w + 3)>, <6, 1/169*(7*w + 154)>, <24, 1/14*(3*w + 32)>, <24, 1/8360*(91*w + 79)>, <18, 1/5989*(28*w + 228)>, <36, 1/4*(w + 5)>, <12, 1/196*(w + 1)>, <12, 1/2090*(91*w - 455)>, <36, 1/85*(2*w - 2)>, <24, 1/106*(w + 99)>, <6, 1/2*(w + 7)>, <6, 1/113*(49*w - 392)>, <24, 1/95*(w + 99)>, <24, 1/11495*(182*w + 9373)>, <12, 1/2*(7*w - 63)>, <24, 1/11495*(182*w + 1940)>, <12, 1/13*(15*w - 122)>, <12, 1/212*(225*w + 1350)>, <6, 1/225*(13*w + 121)>, <2, 1/51076*(15*w + 106)>, <-6, 1/19*(-w + 24)>, <-12, 1/2080*(-21*w + 1926)>, <-12, 1/225*(-7*w + 197)>, <-12, 1/364*(-45*w + 450)>, <-12, 1/1976*(-45*w + 86)>, <-12, 1/21*(-13*w - 104)>, <-12, 1/88*(-3*w + 88)>, <-12, 1/416*(-3*w + 441)>, <-12, 1/104*(-9*w - 27)>, <-12, 1/39*(-5*w + 59)>, <-12, 1/100*(-7*w - 35)>, <-6, 1/172*(-169*w + 510)>, <-6, 1/172*(-w + 2)>, <-12, -33/170*w>, <-12, 1/742*(-9*w - 54)>, <-12, 1/130*(-3*w + 30)>, <-12, 1/112*(-3*w + 103)>, <-24, 1/38*(-3*w + 15)>, <-12, 1/120*(-w + 11)>, <-6, 1/32*(-w + 19)>, <-16, 1/40*(-w + 11)>, <-12, 1/1204*(-169*w + 1035)>, <-12, 1/172*(-w - 1)>, <-12, 1/221*(-8*w + 93)>, <-12, 1/1802*(-35*w + 850)>, <-12, 1/5324*(-105*w + 3395)>, <-12, 1/6*(-w - 2)>, <-6, 1/6175*(-112*w + 5215)>, <-12, 1/8170*(-231*w + 2010)>, <-12, 1/151*(-7*w + 74)>, <-12, 1/10*(-7*w - 67)>, <-12, 1/2150*(-39*w + 1755)>, <-12, 1/360*(-13*w - 130)>, <-12, 1/9*(-w + 11)>, <-12, 1/8*(-w - 2)>, <-12, 1/55*(-w + 25)>, <-2, 1/170*(-169*w + 339)>, <-12, 1/151*(-6*w + 72)>, <-12, 1/13*(-6*w - 66)>, <-12, 1/39*(-w + 42)>, <-12, 1/1976*(-33*w + 590)>, <-12, 1/8*(-3*w - 27)>, <-24, -1/17*w>, <-12, 1/18*(-w + 1)>, <-24, 1/605*(-18*w - 144)>, <-12, 1/2279*(-50*w + 1304)>, <-12, 1/7*(-w + 18)>, <-12, 1/242*(-5*w + 287)>, <-12, 1/260*(-7*w + 197)>, <-12, 1/2464*(-13*w + 150)>, <-12, 1/424*(-27*w - 162)>, <-12, 1/380*(-77*w + 765)>, <-12, 1/49*(-2*w + 47)>, <-6, 1/195*(-49*w + 490)>, <-12, 1/10735*(-147*w + 10045)>, <-12, 1/88*(-w - 2)>, <-12, 1/2034*(-91*w + 2762)>, <-4, -1/12*w>, <-4, 1/7009*(-36*w + 631)>, <-4, 1/13855*(-78*w + 1183)>, <-4, 1/163*(-42*w + 637)>, <-4, 1/7009*(-252*w + 2844)>, <-12, 1/86*(-9*w + 104)>, <-12, 1/43*(-3*w + 6)>, <-12, 1/50*(-3*w + 83)>, <-12, 1/63*(-5*w - 10)>, <-12, 1/5876*(-165*w + 3806)>, <-12, 1/1105*(-22*w + 935)>, <-12, 1/260*(-w - 9)>, <-12, 1/520*(-27*w + 790)>, <-12, 1/43*(-2*w + 47)>, <-6, 1/38420*(-847*w + 17850)>, <-6, 1/7*(-w + 8)>, <-12, 1/86*(-49*w - 49)>, <-12, 1/1573*(-42*w + 511)>, <-4, 1/559*(-42*w + 259)>, <-4, 1/43*(-6*w + 80)>, <-12, 1/172*(-7*w + 186)>, <-12, 1/3025*(-126*w + 1981)>, <-6, 1/49*(-w + 3)>, <-12, 1/105*(-2*w + 99)>, <-12, 1/196*(-5*w + 191)>, <-12, 1/12350*(-21*w - 180)>, <-6, 1/170*(-7*w + 170)>, <-6, 1/1484*(-121*w + 2331)>, <-12, 1/98*(-w + 4)>, <-6, 1/169*(-7*w + 161)>, <-12, 1/196*(-w + 2)>, <-12, 1/2090*(-91*w - 364)>, <-6, 1/2*(-w + 8)>, <-6, 1/113*(-49*w - 343)>, <-12, 1/2*(-7*w - 56)>, <-12, 1/13*(-15*w - 107)>, <-12, 1/212*(-225*w + 1575)>, <-6, 1/225*(-13*w + 134)>, <-2, 1/51076*(-15*w + 121)> ]