/* Defining polynomial */ x^2 - x + 150 /* GCD of coefficients */ 2 /* 24 * |disc|^(3/2) /(8*pi^2)* zeta_F(2) */ 11229.3846383109241218980778182 /* Belt */ [ <102, 1/30*(w + 5)>, <102, 1/25*w>, <198, 1/20*(w + 5)>, <96, 1/9*(w + 6)>, <198, 1/9*(w + 5)>, <96, 1/64*(3*w + 18)>, <60, 1/78*(5*w + 63)>, <96, 1/32*(w + 6)>, <450, 1/12*(w + 6)>, <450, 1/16*(w + 6)>, <24, 1/190*(7*w + 140)>, <24, 1/21*(w + 20)>, <60, 1/103*(5*w + 63)>, <24, 1/375*(11*w + 100)>, <96, 1/32*(w + 25)>, <88, 1/38*(w + 36)>, <88, 1/39*(w + 36)>, <24, 1/375*(11*w + 264)>, <48, 1/152*(5*w + 62)>, <24, 1/28*(w + 29)>, <120, 1/45*(2*w + 10)>, <120, 1/39*(2*w + 4)>, <24, 1/28*(w - 2)>, <48, 1/52*(5*w + 62)>, <108, 1/11*(w + 5)>, <24, 1/12*(w + 15)>, <24, 1/35*(3*w - 18)>, <24, 1/12*(w - 4)>, <24, 1/35*(3*w + 50)>, <24, 1/2575*(84*w + 1491)>, <24, 1/63*(4*w + 71)>, <24, 1/1545*(44*w + 720)>, <24, 1/80*(9*w + 134)>, <24, 1/80*(9*w - 63)>, <24, 1/55*(4*w - 20)>, <60, 1/54*(w + 50)>, <24, 1/680*(7*w + 50)>, <60, 1/50*(w + 50)>, <24, 1/680*(7*w + 623)>, <24, 1/22*(w + 25)>, <72, 1/11*(w + 3)>, <60, 1/34*(w + 4)>, <24, 1/400*(11*w + 275)>, <72, 1/162*(11*w + 33)>, <60, 1/5*(w + 4)>, <48, 1/30*(w + 30)>, <24, 1/32*(3*w - 18)>, <24, 1/135*(8*w - 48)>, <12, 1/234*(7*w + 66)>, <156, 1/26*(w + 23)>, <48, 1/36*(w + 30)>, <24, 1/4*(w - 6)>, <24, 1/42*(w + 41)>, <60, 1/11*(w + 2)>, <88, 1/8*(w + 1)>, <54, 1/20*(w - 6)>, <24, 1/17*(w + 21)>, <48, 1/36*(5*w - 30)>, <60, 1/156*(11*w + 22)>, <88, 1/19*(w + 1)>, <24, 1/312*(7*w + 287)>, <96, 1/111*(7*w + 56)>, <288, 1/10*(w + 5)>, <288, 1/18*(w + 5)>, <96, 1/111*(7*w + 48)>, <54, 1/9*(w - 6)>, <24, 1/36*(w + 21)>, <48, 1/25*(w - 6)>, <24, 1/108*(7*w - 49)>, <12, 1/80*(7*w - 70)>, <12, 1/6*(w + 9)>, <24, 1/14*(w + 9)>, <24, 1/120*(7*w + 63)>, <6, 1/81*(7*w + 53)>, <6, 1/5265*(112*w + 4305)>, <72, 1/7*(w + 3)>, <24, 1/270*(7*w + 53)>, <24, 1/9*(w + 9)>, <12, 1/9*(2*w + 15)>, <12, 1/81*(w + 3)>, <24, 1/9*(w - 1)>, <24, 1/270*(7*w + 210)>, <156, 1/27*(w + 23)>, <24, 1/60*(w + 50)>, <48, 1/52*(w + 49)>, <48, 1/38*(w + 39)>, <48, 1/45*(w + 39)>, <48, 1/50*(w + 49)>, <24, 1/2109*(70*w + 1115)>, <72, 1/85*(3*w + 12)>, <24, 1/1665*(44*w + 796)>, <72, 1/6*(w + 4)>, <24, 1/2109*(70*w + 924)>, <24, 1/144*(11*w + 199)>, <24, 1/333*(2*w + 312)>, <60, 1/37*(2*w + 19)>, <54, 1/3*(w - 7)>, <24, 1/2575*(63*w + 1162)>, <108, 1/13*(w + 2)>, <18, 1/8*(w - 3)>, <144, 1/192*(13*w + 78)>, <12, 1/152*(w + 1)>, <12, 1/18*(w + 17)>, <60, 1/85*(6*w + 55)>, <60, 1/103*(6*w + 55)>, <60, 1/48*(w + 41)>, <12, 1/65*(w + 10)>, <60, 1/12*(w + 3)>, <72, 1/74*(5*w + 29)>, <72, 1/15*(w + 6)>, <24, 1/40*(w - 6)>, <24, 1/38*(w + 20)>, <24, 1/40*(w + 45)>, <24, 1/38*(w + 17)>, <160, 1/14*(w + 7)>, <160, 1/103*(7*w + 49)>, <24, 1/6*(w - 5)>, <48, 1/832*(21*w + 301)>, <24, 1/130*(3*w + 97)>, <48, 1/135*(7*w - 42)>, <48, 1/5*(2*w - 16)>, <48, 1/80*(3*w + 98)>, <24, 1/33*(5*w + 63)>, <48, 1/999*(10*w + 894)>, <48, 1/80*(3*w - 21)>, <24, 1/33*(5*w - 35)>, <96, 1/96*(5*w + 30)>, <48, 1/33*(w - 6)>, <12, 1/85*(4*w - 20)>, <16, 1/515*(14*w - 112)>, <96, 1/10*(w + 6)>, <48, 1/60*(11*w - 66)>, <24, 1/8*(7*w - 55)>, <6, 1/2535*(98*w + 2107)>, <18, 1/8*(w + 10)>, <36, 1/156*(5*w + 10)>, <36, 1/2*(w + 4)>, <36, 1/85*(w + 4)>, <60, 1/48*(w + 6)>, <24, 1/5*(w + 7)>, <48, 1/103*(3*w + 79)>, <84, 1/8*(w + 4)>, <24, 1/3*(w + 5)>, <24, 1/17982*(455*w + 1420)>, <24, 1/20*(w + 24)>, <24, 1/216*(5*w + 241)>, <84, 1/81*(4*w + 65)>, <24, 1/206*(5*w + 35)>, <24, 1/60*(w + 5)>, <48, 1/76*(3*w + 79)>, <48, 1/40*(13*w + 105)>, <24, 1/375*(91*w + 284)>, <48, 1/1887*(26*w + 210)>, <24, 1/1751*(30*w + 1446)>, <24, 1/75*(2*w + 48)>, <24, 1/90*(11*w - 44)>, <24, 1/44*(3*w - 9)>, <72, 1/104*(w - 7)>, <36, 1/37*(w + 28)>, <36, 1/26*(w + 28)>, <12, 1/680*(49*w - 245)>, <60, 1/7*(w + 4)>, <60, 1/170*(7*w + 28)>, <24, 1/1339*(40*w + 504)>, <24, 1/340*(11*w - 55)>, <24, 1/481*(14*w + 75)>, <48, 1/74*(3*w + 24)>, <48, 1/74*(3*w + 47)>, <12, 1/19*(6*w + 25)>, <36, 1/76*(w + 1)>, <24, 1/1339*(40*w + 795)>, <24, 1/340*(11*w + 384)>, <24, 1/75*(14*w + 75)>, <24, 1/1924*(55*w + 1254)>, <12, w>, <6, 1/125*(4*w + 96)>, <24, 1/390*(7*w + 5)>, <24, 1/19*(7*w + 5)>, <54, 1/80*(w + 70)>, <24, 1/117*(11*w - 33)>, <12, w - 2>, <12, 1/95*(3*w + 60)>, <72, 1/24*(13*w - 91)>, <24, 1/78*(w + 75)>, <24, 1/925*(33*w + 517)>, <24, 1/75*(w + 75)>, <24, 1/925*(33*w + 375)>, <108, 1/20*(w + 9)>, <48, 4/75*w>, <48, 1/111*(4*w + 75)>, <24, 1/765*(49*w - 245)>, <48, 1/75*(4*w + 71)>, <48, 1/8*(w - 1)>, <24, 1/765*(49*w + 961)>, <24, 1/481*(15*w + 46)>, <24, 1/180*(7*w + 138)>, <24, 1/481*(15*w + 420)>, <24, 1/7*(w + 1)>, <24, 1/228*(7*w + 102)>, <24, 1/81*(7*w + 102)>, <24, 1/518*(3*w + 491)>, <24, 1/250*(7*w + 75)>, <24, 1/3296*(21*w + 3437)>, <24, 1/21*(w - 4)>, <72, 1/9*(w + 4)>, <12, 1/63*(5*w + 88)>, <24, 1/15*(w + 7)>, <24, 1/22*(w - 7)>, <24, 1/481*(11*w + 162)>, <36, 1/170*(13*w + 52)>, <24, 1/75*(11*w + 130)>, <12, 1/2*(w + 7)>, <12, 1/196*(5*w + 25)>, <24, 1/152*(91*w + 91)>, <24, 1/5*(w + 3)>, <24, 1/91*(w + 1)>, <24, 1/152*(5*w + 142)>, <36, 1/13*(w + 4)>, <24, 1/2432*(55*w + 650)>, <60, 1/206*(13*w + 102)>, <24, 1/8343*(182*w + 7917)>, <24, 1/26*(w - 4)>, <60, 1/180*(13*w + 102)>, <24, 1/91*(2*w + 87)>, <24, 1/81*(13*w - 52)>, <36, 1/76*(5*w + 5)>, <24, 1/50*(13*w - 13)>, <24, 1/260*(7*w + 183)>, <12, w - 10>, <24, 1/260*(7*w + 70)>, <12, 1/325*(4*w + 21)>, <36, 1/10*(w + 1)>, <12, 1/400*(13*w + 62)>, <24, 1/4736*(55*w - 374)>, <24, 1/6*(7*w + 48)>, <24, 1/224*(w + 230)>, <24, 1/180*(7*w + 215)>, <12, 1/72*(w + 57)>, <36, 1/24*(w + 14)>, <12, 1/204*(7*w + 50)>, <24, 1/39*(w - 1)>, <24, 1/13*(w + 15)>, <36, 1/76*(w + 74)>, <24, 1/30*(w + 15)>, <24, 1/7*(w + 7)>, <24, 1/126*(13*w - 52)>, <24, 1/206*(7*w + 49)>, <24, 1/117*(7*w - 28)>, <24, 1/7*(w - 2)>, <24, 1/7*(w + 8)>, <24, 1/170*(13*w - 65)>, <24, 1/13*(w - 5)>, <54, 1/192*(11*w + 115)>, <54, 1/192*(11*w + 66)>, <24, 1/170*(21*w + 254)>, <24, 1/21*(w + 25)>, <6, 1/49*(11*w + 115)>, <24, 1/132*(5*w + 142)>, <20, 1/5*(7*w - 49)>, <24, 1/5*(w - 2)>, <24, 1/152*(5*w - 10)>, <24, 1/65*(11*w + 87)>, <24, 1/26*(w + 30)>, <48, 1/75*(2*w + 73)>, <24, 1/540*(13*w + 390)>, <48, 1/81*(2*w + 73)>, <32, 1/152*(11*w + 11)>, <24, 1/108*(11*w - 33)>, <24, 1/143*(7*w + 150)>, <12, 1/324*(13*w - 52)>, <36, 1/162*(13*w + 110)>, <12, 1/38880*(91*w - 861)>, <28, 1/4944*(7*w - 54)>, <12, 1/24*(w - 5)>, <32, 1/152*(11*w + 130)>, <12, 1/28800*(1001*w + 20449)>, <36, 1/7*(w + 6)>, <12, 1/444*(77*w - 693)>, <12, 1/4*(w + 8)>, <12, 1/14*(w - 1)>, <24, 1/143*(9*w - 27)>, <24, 1/30900*(1001*w + 21450)>, <24, 1/864*(13*w + 110)>, <24, 1/25*(13*w + 12)>, <24, 1/360*(13*w + 182)>, <24, 1/45*(13*w + 110)>, <24, 1/1026*(13*w + 12)>, <24, 1/360*(13*w + 165)>, <36, 1/192*(7*w + 42)>, <24, 1/7*(2*w + 19)>, <24, 1/384*(7*w + 426)>, <12, 1/192*(11*w - 77)>, <24, 1/225*(91*w + 225)>, <24, 1/182*(3*w + 182)>, <24, 1/119*(11*w + 163)>, <6, 1/850*(121*w + 1334)>, <24, 1/2736*(77*w + 1141)>, <12, 1/20*(w - 9)>, <36, 1/75*(2*w - 2)>, <36, 1/4*(w - 1)>, <36, 1/11*(w - 4)>, <24, 1/206*(9*w + 63)>, <36, 1/162*(11*w - 44)>, <24, 1/220*(7*w - 42)>, <24, 1/63*(11*w - 66)>, <6, w + 4>, <6, 1/169*(w + 3)>, <12, 1/8755*(78*w + 7962)>, <12, 1/300*(77*w + 223)>, <24, 1/9*(w + 7)>, <24, 1/90*(w + 84)>, <36, 1/13*(w + 9)>, <24, 1/90*(w + 5)>, <12, 1/20*(w - 4)>, <4, 1/19*(w - 2)>, <4, 1/11*(w + 20)>, <4, 1/90*(w + 50)>, <4, 1/19*(2*w + 40)>, <4, 1/57*(2*w + 21)>, <12, 1/143*(3*w - 15)>, <12, 1/170*(3*w + 12)>, <24, 1/16872*(385*w + 7742)>, <12, 1/2442*(35*w + 2722)>, <24, 1/721*(55*w + 1106)>, <24, 1/103*(8*w + 56)>, <24, 1/1776*(25*w + 200)>, <12, 1/180*(w + 174)>, <6, 1/1870*(169*w + 1025)>, <16, 1/3*(w + 1)>, <4, 1/23104*(429*w + 20878)>, <12, 1/26*(5*w - 45)>, <24, 1/1776*(25*w + 1551)>, <24, 1/111*(8*w + 64)>, <24, 1/777*(4*w + 741)>, <24, 1/8343*(143*w + 6666)>, <12, 1/11*(13*w - 104)>, <24, 1/8343*(143*w + 1534)>, <4, 1/10*(w - 2)>, <4, 1/5358*(65*w + 1053)>, <8, 1/13*(w + 1)>, <4, 1/705*(10*w + 867)>, <8, 1/152*(13*w + 13)>, <4, 1/987*(25*w + 405)>, <4, 1/152*(35*w + 187)>, <4, 1/1872*(35*w + 1435)>, <4, 1/98*(5*w + 63)>, <4, 1/49*(w + 41)>, <16, 1/515*(14*w + 613)>, <20, 1/1344*(5*w - 35)>, <28, 1/721*(w + 7)>, <-12, 1/234*(-7*w + 73)>, <-12, 1/80*(-7*w - 63)>, <-12, 1/6*(-w + 10)>, <-6, 1/81*(-7*w + 60)>, <-6, 1/5265*(-112*w + 4417)>, <-12, 1/9*(-2*w + 17)>, <-12, 1/81*(-w + 4)>, <-24, 1/333*(-2*w + 314)>, <-12, 1/152*(-w + 2)>, <-12, 1/18*(-w + 18)>, <-12, 1/65*(-w + 11)>, <-12, 1/85*(-4*w - 16)>, <-6, 1/2535*(-98*w + 2205)>, <-12, 1/680*(-49*w - 196)>, <-12, 1/19*(-6*w + 31)>, <-6, 1/125*(-4*w + 100)>, <-12, -w - 1>, <-12, 1/95*(-3*w + 63)>, <-12, 1/63*(-5*w + 93)>, <-12, 1/2*(-w + 8)>, <-12, 1/196*(-5*w + 30)>, <-12, -w - 9>, <-12, 1/325*(-4*w + 25)>, <-12, 1/400*(-13*w + 75)>, <-24, 1/4736*(-55*w - 319)>, <-24, 1/180*(-7*w + 222)>, <-12, 1/72*(-w + 58)>, <-36, 1/24*(-w + 15)>, <-12, 1/204*(-7*w + 57)>, <-6, 1/49*(-11*w + 126)>, <-12, 1/324*(-13*w - 39)>, <-12, 1/38880*(-91*w - 770)>, <-12, 1/24*(-w - 4)>, <-12, 1/28800*(-1001*w + 21450)>, <-12, 1/444*(-77*w - 616)>, <-12, 1/4*(-w + 9)>, <-12, -1/14*w>, <-12, 1/192*(-11*w - 66)>, <-6, 1/850*(-121*w + 1455)>, <-12, 1/20*(-w - 8)>, <-6, -w + 5>, <-6, 1/169*(-w + 4)>, <-12, 1/8755*(-78*w + 8040)>, <-12, 1/300*(-77*w + 300)>, <-12, 1/20*(-w - 3)>, <-4, 1/19*(-w - 1)>, <-4, 1/11*(-w + 21)>, <-4, 1/90*(-w + 51)>, <-4, 1/19*(-2*w + 42)>, <-4, 1/57*(-2*w + 23)>, <-12, 1/143*(-3*w - 12)>, <-12, 1/170*(-3*w + 15)>, <-12, 1/2442*(-35*w + 2757)>, <-12, 1/180*(-w + 175)>, <-6, 1/1870*(-169*w + 1194)>, <-4, 1/23104*(-429*w + 21307)>, <-12, 1/26*(-5*w - 40)>, <-12, 1/11*(-13*w - 91)>, <-4, 1/10*(-w - 1)>, <-4, 1/5358*(-65*w + 1118)>, <-4, 1/705*(-10*w + 877)>, <-4, 1/987*(-25*w + 430)>, <-4, 1/152*(-35*w + 222)>, <-4, 1/1872*(-35*w + 1470)>, <-4, 1/98*(-5*w + 68)>, <-4, 1/49*(-w + 42)> ]