/* Defining polynomial */ x^2 - x + 156 /* GCD of coefficients */ 2 /* 24 * |disc|^(3/2) /(8*pi^2)* zeta_F(2) */ 11343.0986785355998278421805056 /* Belt */ [ <138, 1/22*(w + 6)>, <6, 1/9*(w - 7)>, <144, 1/198*(13*w + 107)>, <138, 1/9*(w + 6)>, <12, 1/13*(w - 3)>, <96, 1/26*w>, <96, 1/6*w>, <36, 1/158*(9*w + 9)>, <36, 1/212*(9*w + 63)>, <24, 1/182*(5*w + 172)>, <48, 1/6572*(65*w + 5967)>, <48, 1/156*(7*w + 149)>, <24, 1/17172*(455*w + 15652)>, <48, 1/429*(5*w + 459)>, <48, 1/198*(7*w + 149)>, <24, 1/63*(4*w - 12)>, <24, 1/869*(28*w + 344)>, <24, 1/35*(2*w - 4)>, <174, 1/99*(7*w + 50)>, <174, 1/14*(w + 7)>, <24, 1/2067*(70*w + 702)>, <36, 1/156*(5*w - 5)>, <196, 1/12*(w + 3)>, <24, 1/228*(11*w + 129)>, <48, 1/477*(10*w + 335)>, <72, 2/39*w>, <36, 1/5*(w - 1)>, <48, 1/36*(5*w - 35)>, <196, 1/14*(w + 3)>, <24, 1/228*(11*w + 88)>, <72, 1/39*(2*w + 37)>, <108, 1/44*(3*w + 12)>, <108, 1/53*(3*w + 21)>, <216, 1/8*(w + 4)>, <216, 1/22*(w + 4)>, <24, 1/77*(4*w + 89)>, <24, 1/1539*(44*w + 979)>, <48, 1/162*(5*w + 10)>, <204, 1/12*(w + 5)>, <96, 1/26*(w - 1)>, <96, 1/6*(w - 1)>, <204, 1/12*(w + 6)>, <24, 1/20*(w - 5)>, <24, 1/189*(5*w + 64)>, <24, 1/65*(14*w + 51)>, <24, 1/38*(w + 10)>, <24, 1/168*(5*w + 163)>, <72, 1/11*(w + 3)>, <84, 1/84*(5*w + 64)>, <24, 1/54*(5*w + 69)>, <24, 1/396*(7*w - 49)>, <24, 1/1501*(45*w + 621)>, <84, 1/99*(5*w + 64)>, <72, 1/168*(11*w + 33)>, <36, 1/6*(w - 2)>, <48, 1/212*(7*w + 49)>, <48, 1/1166*(21*w + 942)>, <144, 1/93*(5*w + 63)>, <36, 1/12*(w - 4)>, <24, 1/4503*(110*w + 1518)>, <24, 1/44*(5*w + 69)>, <36, 1/79*(3*w - 6)>, <144, 1/88*(5*w + 63)>, <48, 1/7*(w + 7)>, <48, 1/279*(7*w + 314)>, <24, 1/198*(13*w + 250)>, <24, 1/112*(5*w - 20)>, <24, 1/4187*(117*w + 2250)>, <24, 1/112*(5*w + 127)>, <24, 1/35*(2*w + 39)>, <84, 1/114*(7*w + 56)>, <84, 1/93*(7*w + 35)>, <24, 1/35*(2*w - 6)>, <24, 1/124*(9*w + 169)>, <24, 1/124*(9*w - 54)>, <36, 5/156*w>, <24, 1/741*(22*w + 290)>, <72, 1/81*(5*w + 10)>, <84, 1/81*(4*w + 8)>, <60, 1/39*(2*w - 2)>, <36, 1/5*w>, <84, 1/81*(4*w + 69)>, <24, 1/112*(11*w + 145)>, <72, 1/106*(5*w + 35)>, <60, 1/39*(2*w + 39)>, <12, 1/13*(w - 5)>, <24, 1/10*(w - 6)>, <72, 1/15*(w + 8)>, <24, 1/10*(w + 15)>, <72, 1/66*(5*w + 31)>, <28, 1/123*(5*w + 73)>, <144, 1/24*(w + 20)>, <28, 1/10*w>, <12, 1/156*(w + 155)>, <6, 1/13*(w + 13)>, <18, 1/13*w>, <144, 1/6*(w + 2)>, <144, 1/28*(w + 24)>, <24, 1/20*(13*w - 104)>, <64, 1/15*(w + 7)>, <20, 1/168*(5*w - 20)>, <12, 1/143*(5*w + 183)>, <24, 1/10032*(65*w + 9412)>, <48, 1/88*(3*w - 15)>, <48, 1/88*(3*w + 100)>, <72, 1/176*(9*w + 36)>, <12, 1/20*(w - 7)>, <48, 1/79*(2*w + 75)>, <48, 1/81*(2*w + 75)>, <12, 1/81*(2*w - 6)>, <12, 1/91*(2*w + 4)>, <24, 1/11236*(105*w + 11880)>, <24, 1/28*(3*w + 49)>, <76, 1/4*(w + 4)>, <24, 1/242*(7*w + 284)>, <24, 1/16*(w + 20)>, <24, 1/63*(11*w + 129)>, <24, 1/36*(w + 20)>, <12, 1/81*(16*w + 33)>, <36, 1/38*(w + 29)>, <36, 1/49*(5*w - 20)>, <36, 1/1188*(35*w + 705)>, <204, 1/11*(w + 4)>, <204, 1/11*(w + 6)>, <76, 1/39*(w + 39)>, <12, 1/35*(3*w + 44)>, <108, 1/62*(3*w + 15)>, <24, 1/988*(21*w + 343)>, <24, 1/28*(15*w + 120)>, <24, 1/56*(5*w - 15)>, <24, 1/18656*(273*w + 1275)>, <12, 1/790*(143*w + 933)>, <36, 1/168*(5*w + 148)>, <60, 1/6*(w + 4)>, <12, 1/224*(3*w + 233)>, <60, 1/88*(3*w + 12)>, <24, 1/162*(13*w + 123)>, <24, 1/143*(5*w + 163)>, <12, 1/228*(7*w + 165)>, <12, 1/79*(6*w + 67)>, <12, 1/79*(w - 2)>, <108, 1/62*(3*w + 44)>, <36, 1/168*(5*w + 15)>, <24, 1/266*(13*w + 123)>, <24, 1/80*(13*w + 132)>, <24, 1/243*(91*w + 425)>, <24, 1/729*(14*w + 595)>, <24, 1/54*(w - 7)>, <48, 1/56*(w + 59)>, <24, 1/4*(w - 4)>, <60, 1/3*(w + 3)>, <48, 1/76*(3*w + 24)>, <48, 1/9*(w + 8)>, <48, 1/79*(4*w + 4)>, <24, 1/12008*(385*w + 9075)>, <48, 1/79*(4*w + 71)>, <24, 1/165*(7*w + 165)>, <48, 1/158*(7*w + 144)>, <12, 1/403*(12*w + 91)>, <36, 1/2*(w + 1)>, <24, 1/77*(2*w + 85)>, <24, 1/11*(3*w - 21)>, <48, 1/66*(w + 59)>, <24, 1/42*(w - 4)>, <60, 1/56*(w + 3)>, <84, 1/186*(13*w + 108)>, <24, 1/3*(w + 1)>, <48, 1/168*(13*w + 116)>, <12, 1/1353*(28*w + 1113)>, <12, 1/6*(w + 9)>, <12, 1/164*(5*w + 155)>, <48, 1/158*(7*w + 7)>, <84, 1/212*(13*w + 108)>, <24, 1/310*(13*w + 375)>, <36, 1/9*(w - 1)>, <24, 1/2772*(65*w + 1875)>, <48, 1/246*(13*w + 116)>, <36, 1/9*(w + 9)>, <24, 1/56*(w + 56)>, <12, 1/21*(w - 4)>, <12, 1/7533*(196*w + 3956)>, <24, 1/837*(14*w + 784)>, <24, 1/247*(6*w + 124)>, <24, 1/247*(6*w + 117)>, <24, 1/108*(11*w + 130)>, <24, 1/80*(11*w - 55)>, <60, 1/176*(13*w + 52)>, <24, 1/33*(2*w + 37)>, <24, 1/121*(5*w - 25)>, <60, 1/228*(13*w + 104)>, <24, 1/1144*(35*w + 364)>, <24, 1/99*(2*w - 14)>, <24, 1/4*(w - 7)>, <12, 1/8*(3*w - 24)>, <40, 1/114*(w - 9)>, <24, 1/1144*(35*w + 745)>, <60, 1/54*(w + 51)>, <24, 1/133*(5*w + 78)>, <12, 1/1539*(28*w + 888)>, <12, 1/133*(4*w + 89)>, <36, 1/57*(w + 48)>, <36, 1/44*(w + 48)>, <60, 1/52*(w + 51)>, <24, 1/10*(w - 1)>, <12, 1/288*(w - 12)>, <24, 1/5*(w - 3)>, <24, 1/212*(5*w + 172)>, <12, 1/22*(w + 24)>, <24, 1/3021*(44*w - 275)>, <24, 1/53*(4*w + 21)>, <24, 1/55*(6*w - 18)>, <24, 1/28*(w + 29)>, <24, 1/972*(55*w - 165)>, <24, 1/513*(14*w + 406)>, <12, 1/93*(10*w - 60)>, <24, 1/7347*(154*w + 956)>, <112, 1/186*(11*w + 55)>, <24, 1/324*(77*w + 478)>, <18, 1/8*(7*w + 50)>, <24, 1/266*(3*w + 233)>, <84, 1/39*(w + 38)>, <24, 1/8*(w - 5)>, <24, 1/31*(w - 6)>, <24, 1/162*(7*w + 141)>, <24, 1/7*(w + 4)>, <24, 1/4293*(140*w + 2305)>, <24, 1/48*(w + 11)>, <12, 1/124*(3*w - 18)>, <24, 1/8*(w + 12)>, <84, 1/39*w>, <12, 1/11*(w + 1)>, <12, 1/790*(27*w - 54)>, <24, 1/3*(w - 8)>, <12, 1/546*(25*w + 546)>, <12, 1/1908*(77*w + 2447)>, <24, 1/837*(13*w + 728)>, <24, 1/158*(3*w - 6)>, <24, 1/55*(4*w + 71)>, <12, 1/4187*(132*w + 3608)>, <24, 1/55*(4*w - 20)>, <12, 1/624*(25*w + 599)>, <48, 1/5*(w - 6)>, <40, 1/2*(w - 9)>, <48, 1/186*(5*w - 30)>, <24, 1/52*(w + 56)>, <24, 1/158*(3*w + 161)>, <12, 1/4264*(165*w + 2860)>, <24, 1/158*(25*w + 183)>, <24, 1/858*(25*w + 183)>, <24, 1/494*(15*w + 234)>, <12, 1/99*(4*w + 35)>, <36, 1/2*(w - 1)>, <24, 1/63*(5*w + 78)>, <24, 1/4*(w + 5)>, <24, 1/130*(7*w - 21)>, <12, 1/123*(4*w + 36)>, <12, 1/91*(4*w + 83)>, <28, 1/123*(7*w + 53)>, <12, 1/220*(3*w + 232)>, <24, 1/93*(2*w + 10)>, <24, 1/567*(65*w - 195)>, <24, 1/1178*(7*w + 1120)>, <12, 1/21*(w + 29)>, <24, 1/9*(7*w - 49)>, <24, 1/9*(5*w - 36)>, <24, 1/32*(3*w - 15)>, <24, 1/217*(6*w + 123)>, <24, 5/26*w>, <12, 1/14*(3*w + 23)>, <36, 1/14*(w - 4)>, <24, 1/30*w>, <24, 1/11*(w + 10)>, <24, 1/11*(w + 12)>, <36, 1/81*(w + 78)>, <12, 1/6688*(105*w + 7395)>, <12, 1/15*(w + 10)>, <24, 1/11*w>, <24, 1/312*(11*w + 132)>, <12, 1/11*(13*w - 145)>, <12, 1/288*(13*w + 132)>, <12, 1/169*(w + 171)>, <12, 1/176*(169*w + 676)>, <12, 1/28512*(1183*w + 3500)>, <24, 1/106*(11*w + 183)>, <24, 1/22*(w + 29)>, <24, 1/53*(4*w + 28)>, <24, 1/912*(11*w + 88)>, <36, 1/114*(5*w + 40)>, <24, 1/84*(13*w - 52)>, <36, 1/10*(w + 8)>, <24, 1/513*(13*w + 377)>, <12, 1/318*(7*w + 315)>, <6, 1/28*(w + 7)>, <24, 1/176*(21*w + 260)>, <12, 1/16*(7*w - 42)>, <24, 1/176*(21*w - 105)>, <24, 1/84*(11*w + 117)>, <12, 1/176*(7*w - 35)>, <12, 1/5*(w - 7)>, <24, 1/84*(11*w - 44)>, <24, 1/2*(w - 3)>, <24, 1/4187*(105*w + 2870)>, <12, 1/395*(32*w + 427)>, <24, 1/21*(w + 26)>, <24, 1/21*(w - 6)>, <24, 1/10602*(35*w - 290)>, <24, 1/88*(w + 83)>, <24, 1/70*(3*w + 82)>, <12, 1/25*(w - 1)>, <24, 1/40*(3*w - 15)>, <12, 1/12*(w + 9)>, <12, 1/164*(w - 10)>, <24, 1/66*(5*w - 25)>, <24, 1/18012*(455*w + 6832)>, <12, 1/3476*(105*w + 816)>, <12, 1/7*(13*w - 117)>, <24, 1/18012*(455*w + 10725)>, <24, 1/380*(3*w + 353)>, <24, 1/742*(13*w + 144)>, <24, 1/66*(13*w + 144)>, <12, 1/13*(2*w + 13)>, <12, 1/312*(11*w + 345)>, <36, 1/78*(w + 77)>, <12, w + 2>, <12, 1/7*(w - 3)>, <12, 1/169*(11*w + 136)>, <4, 1/28*(5*w + 78)>, <4, 1/49*(w + 10)>, <4, 1/60*(7*w + 32)>, <20, 1/5*(w - 4)>, <4, 1/24*(5*w - 20)>, <12, 1/2223*(98*w + 1911)>, <12, 1/90*(11*w + 156)>, <12, 1/5088*(143*w + 1612)>, <24, 1/91*(w - 2)>, <12, 1/98*(w - 1)>, <24, 1/91*(w + 92)>, <16, 1/10*(7*w - 60)>, <12, 1/589*(28*w + 204)>, <12, 1/54*(w - 3)>, <24, 1/1106*(13*w + 53)>, <24, 1/1106*(13*w + 1040)>, <4, 1/1716*(35*w + 316)>, <4, 1/28*(5*w + 73)>, <8, 1/25*(7*w - 35)>, <16, 1/10*(7*w + 63)>, <8, 1/1232*(25*w - 125)>, <28, 1/123*(7*w + 63)>, <12, 1/29016*(605*w + 9535)>, <18, 1/693*(4*w + 717)>, <12, 1/2*(w + 6)>, <12, 1/196*(w + 4)>, <24, 1/1023*(14*w + 133)>, <12, 1/2*(w - 4)>, <12, 1/24*(13*w + 39)>, <4, 1/65*(11*w + 120)>, <12, 7*w - 56>, <12, 1/212*(91*w + 849)>, <12, 1/93*(w + 98)>, <8, 1/44944*(195*w - 1391)>, <8, 1/13*(15*w - 107)>, <-6, 1/9*(-w - 6)>, <-12, 1/13*(-w - 2)>, <-24, 1/38*(-w + 11)>, <-12, 1/13*(-w - 4)>, <-6, 1/13*(-w + 14)>, <-18, 1/13*(-w + 1)>, <-12, 1/143*(-5*w + 188)>, <-12, 1/20*(-w - 6)>, <-12, 1/81*(-2*w - 4)>, <-12, 1/91*(-2*w + 6)>, <-12, 1/81*(-16*w + 49)>, <-36, 1/38*(-w + 30)>, <-12, 1/35*(-3*w + 47)>, <-12, 1/790*(-143*w + 1076)>, <-12, 1/224*(-3*w + 236)>, <-12, 1/228*(-7*w + 172)>, <-12, 1/79*(-6*w + 73)>, <-12, 1/79*(-w - 1)>, <-12, 1/403*(-12*w + 103)>, <-12, 1/1353*(-28*w + 1141)>, <-12, 1/6*(-w + 10)>, <-12, 1/164*(-5*w + 160)>, <-12, 1/21*(-w - 3)>, <-12, 1/7533*(-196*w + 4152)>, <-12, 1/8*(-3*w - 21)>, <-12, 1/1539*(-28*w + 916)>, <-12, 1/133*(-4*w + 93)>, <-12, 1/288*(-w - 11)>, <-12, 1/22*(-w + 25)>, <-12, 1/93*(-10*w - 50)>, <-12, 1/124*(-3*w - 15)>, <-12, 1/11*(-w + 2)>, <-12, 1/790*(-27*w - 27)>, <-12, 1/546*(-25*w + 571)>, <-12, 1/1908*(-77*w + 2524)>, <-12, 1/4187*(-132*w + 3740)>, <-12, 1/624*(-25*w + 624)>, <-12, 1/4264*(-165*w + 3025)>, <-12, 1/99*(-4*w + 39)>, <-12, 1/123*(-4*w + 40)>, <-12, 1/91*(-4*w + 87)>, <-12, 1/220*(-3*w + 235)>, <-12, 1/21*(-w + 30)>, <-12, 1/14*(-3*w + 26)>, <-12, 1/6688*(-105*w + 7500)>, <-12, 1/15*(-w + 11)>, <-12, 1/11*(-13*w - 132)>, <-12, 1/288*(-13*w + 145)>, <-12, 1/169*(-w + 172)>, <-12, 1/176*(-169*w + 845)>, <-12, 1/28512*(-1183*w + 4683)>, <-12, 1/318*(-7*w + 322)>, <-6, 1/28*(-w + 8)>, <-12, 1/16*(-7*w - 35)>, <-12, 1/176*(-7*w - 28)>, <-12, 1/5*(-w - 6)>, <-12, 1/395*(-32*w + 459)>, <-24, 1/10602*(-35*w - 255)>, <-12, -1/25*w>, <-12, 1/12*(-w + 10)>, <-12, 1/164*(-w - 9)>, <-12, 1/3476*(-105*w + 921)>, <-12, 1/7*(-13*w - 104)>, <-12, 1/13*(-2*w + 15)>, <-12, 1/312*(-11*w + 356)>, <-12, -w + 3>, <-12, 1/7*(-w - 2)>, <-12, 1/169*(-11*w + 147)>, <-4, 1/28*(-5*w + 83)>, <-4, 1/49*(-w + 11)>, <-4, 1/60*(-7*w + 39)>, <-4, 1/24*(-5*w - 15)>, <-12, 1/2223*(-98*w + 2009)>, <-12, 1/90*(-11*w + 167)>, <-12, 1/5088*(-143*w + 1755)>, <-12, -1/98*w>, <-12, 1/589*(-28*w + 232)>, <-12, 1/54*(-w - 2)>, <-4, 1/1716*(-35*w + 351)>, <-4, 1/28*(-5*w + 78)>, <-12, 1/29016*(-605*w + 10140)>, <-12, 1/2*(-w + 7)>, <-12, 1/196*(-w + 5)>, <-12, 1/2*(-w - 3)>, <-12, 1/24*(-13*w + 52)>, <-4, 1/65*(-11*w + 131)>, <-12, -7*w - 49>, <-12, 1/212*(-91*w + 940)>, <-12, 1/93*(-w + 99)> ]