/* Defining polynomial */ x^2 - x + 168 /* GCD of coefficients */ 2 /* 24 * |disc|^(3/2) /(8*pi^2)* zeta_F(2) */ 13745.4274351262653071199200170 /* Belt */ [ <216, 1/12*(w + 5)>, <210, 1/12*(w + 8)>, <216, 1/12*(w + 6)>, <210, 1/12*(w + 3)>, <24, 1/70*(3*w + 79)>, <48, 1/792*(7*w + 728)>, <24, 1/29*(7*w + 8)>, <24, 1/119*(3*w + 11)>, <240, 1/18*(w + 3)>, <660, 1/14*(w + 6)>, <240, 1/21*(w + 6)>, <24, 1/35*(w + 1)>, <24, 1/54*(7*w + 75)>, <48, 1/15*(7*w - 49)>, <48, 1/40*(w + 31)>, <24, 1/258*(7*w + 20)>, <48, 1/6*(w - 3)>, <72, 1/5*(w + 11)>, <72, 1/42*(w + 48)>, <660, 1/14*(w + 7)>, <48, 1/224*(w - 8)>, <24, 1/42*(w + 39)>, <24, 1/119*(3*w + 105)>, <24, 1/85*(4*w - 8)>, <48, w - 8>, <24, 1/408*(7*w + 296)>, <120, 1/10*(w + 8)>, <12, 1/75*(w + 71)>, <12, 1/48*(w + 8)>, <204, 1/9*(w + 3)>, <24, 1/85*(4*w + 89)>, <96, 1/5*(w + 3)>, <108, 1/6*(w + 6)>, <96, 1/34*(w + 32)>, <108, 1/6*(w - 1)>, <42, 1/80*(w + 88)>, <144, 1/47*(2*w + 8)>, <24, 1/24*(7*w + 59)>, <84, 1/24*w>, <120, 1/33*(w + 27)>, <48, 1/34*(w + 15)>, <72, 1/85*(4*w + 4)>, <120, 1/28*(w + 27)>, <84, 1/24*(w + 23)>, <24, 1/24*(7*w - 42)>, <144, 1/8*(w + 4)>, <72, 1/85*(4*w + 77)>, <48, 1/12*(w + 15)>, <4, 1/198*(7*w + 233)>, <244, 1/18*(w + 12)>, <60, 1/86*(5*w + 45)>, <48, 1/45*(13*w + 123)>, <48, 1/9*(w + 15)>, <174, 1/29*(w + 2)>, <48, 1/290*(7*w + 66)>, <48, 1/25*(w + 31)>, <36, 1/16*(15*w - 119)>, <36, 1/168*(5*w + 168)>, <174, 1/6*(w + 2)>, <48, 1/203*(6*w + 98)>, <24, 1/50*(3*w + 53)>, <204, 1/20*(w + 3)>, <42, 1/170*(7*w + 7)>, <6, 1/121*(7*w + 156)>, <72, 1/24*(w + 24)>, <96, 1/28*(w + 7)>, <12, 1/672*(11*w + 749)>, <108, 1/47*(3*w + 32)>, <48, 1/70*(11*w + 136)>, <60, 1/9*(w - 6)>, <60, 1/42*(w + 27)>, <144, 1/210*(13*w + 119)>, <72, 1/7*(w + 7)>, <24, 1/135*(7*w + 156)>, <60, 1/66*(5*w + 25)>, <24, 1/748*(21*w + 468)>, <12, 1/210*(w + 216)>, <48, 1/182*(3*w + 200)>, <48, 1/9*(w - 7)>, <48, 1/25*(w - 7)>, <48, 1/28*(w - 4)>, <12, 1/300*(7*w + 377)>, <12, 1/10*(w - 2)>, <36, 1/225*(w + 216)>, <96, 1/28*(w + 20)>, <36, 1/168*(5*w - 5)>, <48, 1/224*(11*w + 77)>, <48, 1/180*(11*w + 33)>, <42, 1/80*(w - 9)>, <24, 1/602*(15*w + 237)>, <24, 1/54*(5*w + 79)>, <12, 1/34*(w + 2)>, <72, 1/180*(7*w + 152)>, <48, 1/174*(5*w + 159)>, <6, 1/29*(4*w + 37)>, <48, 1/70*(11*w - 77)>, <48, 1/27*(2*w - 8)>, <24, 1/50*(3*w - 6)>, <120, 1/10*(w + 4)>, <120, 1/99*(5*w + 69)>, <12, 1/77*(2*w - 12)>, <24, 1/99*(2*w + 10)>, <12, 1/1892*(15*w + 2000)>, <24, 1/105*(2*w + 21)>, <80, 1/15*(w + 7)>, <24, 1/91*(w + 98)>, <24, 1/1410*(13*w + 1274)>, <108, 1/12*(w + 7)>, <48, 1/5*(w - 2)>, <24, 1/18*(w + 24)>, <24, 1/135*(7*w - 49)>, <48, 1/5*(w + 6)>, <12, 1/7*(w + 8)>, <6, 1/57600*(2057*w + 10527)>, <42, 1/170*(7*w + 156)>, <12, 1/9*(2*w - 14)>, <24, 1/18*(w - 7)>, <24, 1/98*(9*w - 63)>, <24, 1/129*(5*w + 79)>, <108, 1/58*(3*w + 49)>, <60, 1/129*(7*w + 59)>, <48, 1/42*(13*w + 120)>, <24, 1/1160*(33*w + 423)>, <72, 1/10*(w + 7)>, <120, 1/17*(w + 15)>, <24, 1/28*(w - 8)>, <96, 1/188*(11*w + 133)>, <36, 1/188*(5*w + 20)>, <12, 1/143*(5*w - 25)>, <48, 1/42*(13*w - 91)>, <96, 1/210*(11*w + 133)>, <24, 1/55*(3*w - 12)>, <72, 1/4*(w + 4)>, <12, 1/47*(6*w - 30)>, <24, 1/10*w>, <60, 1/14*(w + 4)>, <108, 1/58*(3*w + 6)>, <72, 1/10*(w + 2)>, <24, 1/28*(w + 35)>, <20, 1/240*(17*w + 87)>, <4, 1/57600*(833*w - 5096)>, <4, 1/49*(17*w - 104)>, <72, 1/188*(9*w + 143)>, <12, 1/1914*(119*w + 2152)>, <48, 1/240*(11*w + 141)>, <48, 1/300*(7*w + 216)>, <24, 1/174*(25*w + 224)>, <24, 1/5160*(91*w + 896)>, <48, 1/9*w>, <60, 1/56*(w + 55)>, <48, 1/56*(w - 8)>, <48, 1/9*(w - 1)>, <84, 1/8*(w - 1)>, <24, 1/80*(7*w + 101)>, <24, 1/39*(w - 4)>, <36, 1/9*(w + 1)>, <24, 1/196*(5*w + 140)>, <24, 1/44*(5*w + 79)>, <48, 1/6*(w + 11)>, <24, 1/420*(11*w + 486)>, <24, 1/129*(w + 119)>, <24, 1/10*(w - 1)>, <24, 1/174*(11*w - 33)>, <24, 1/350*(11*w + 143)>, <84, 1/21*(w - 1)>, <12, 1/22*w>, <12, 1/42*(5*w + 42)>, <24, 1/3400*(91*w + 1008)>, <24, 1/384*(11*w + 109)>, <48, 1/14*(3*w + 32)>, <24, 1/576*(13*w + 56)>, <24, 1/65*(w + 1)>, <24, 1/39*(w - 1)>, <12, 1/13*(w - 4)>, <36, 1/11*(w + 16)>, <24, 1/658*(15*w + 483)>, <48, 1/45*(w + 51)>, <24, 1/87*(11*w + 109)>, <24, 1/44*(5*w - 40)>, <48, 1/6*(w - 6)>, <36, 1/90*(7*w + 62)>, <24, 1/420*(11*w - 77)>, <48, 1/300*(7*w + 77)>, <24, 1/3400*(91*w + 2301)>, <24, 1/25*(w + 27)>, <24, 1/65*(w + 63)>, <48, 1/9*(w + 8)>, <24, 1/5160*(91*w + 4173)>, <36, 5/168*w>, <36, 1/14*(w + 10)>, <60, 1/56*w>, <24, 1/139*(5*w + 84)>, <24, 1/4*(w - 5)>, <12, 1/47*(14*w + 56)>, <12, 1/77*(2*w + 81)>, <36, 1/85*(2*w + 2)>, <48, 1/56*(w + 63)>, <48, 1/9*(w + 9)>, <24, 1/957*(28*w + 404)>, <60, 1/56*(w + 56)>, <36, 1/25*(w + 13)>, <12, 1/516*(5*w + 561)>, <36, 1/43*(2*w + 18)>, <24, 1/60*(13*w - 52)>, <12, 1/56*(w + 7)>, <12, 1/52*(w + 48)>, <24, 1/174*(5*w + 184)>, <36, 1/9*(w + 7)>, <24, 1/196*(5*w + 51)>, <24, 1/2*(w - 8)>, <36, 1/40*(w + 16)>, <24, 1/957*(14*w + 103)>, <24, 1/47*(14*w + 103)>, <12, 1/150*(7*w + 66)>, <12, 1/11*(7*w - 73)>, <24, 1/9*(w + 12)>, <24, 1/20*(w + 23)>, <12, 1/540*(7*w + 476)>, <84, 1/99*(7*w + 57)>, <12, 1/3024*(65*w + 775)>, <12, 1/13*(w - 9)>, <24, 1/21*(w + 28)>, <24, 1/140*(3*w + 84)>, <48, 1/105*(w - 7)>, <24, 1/2726*(77*w + 1683)>, <24, 1/1120*(33*w + 583)>, <24, 1/462*(13*w + 351)>, <24, 1/132*(7*w + 153)>, <24, 1/135*(11*w - 44)>, <24, 1/462*(13*w + 98)>, <60, 1/99*(4*w + 75)>, <48, 1/42*(w + 21)>, <24, 1/376*(15*w + 436)>, <48, 1/731*(11*w + 148)>, <24, 1/48*(13*w + 48)>, <12, 1/105*(11*w + 171)>, <48, 1/731*(11*w + 572)>, <60, 1/99*(4*w + 20)>, <48, 1/14*(w - 7)>, <24, 1/376*(15*w - 75)>, <48, 1/11*(w + 2)>, <12, 1/14*(w - 2)>, <12, 1/940*(49*w + 1136)>, <24, 1/1305*(26*w + 96)>, <24, 1/99*(2*w + 87)>, <12, 1/340*(91*w + 158)>, <72, 1/188*(13*w + 123)>, <24, 1/392*(65*w + 327)>, <72, 1/42*(w + 42)>, <36, 1/87*(2*w + 91)>, <48, 1/4*w>, <24, 1/630*(13*w + 84)>, <24, 1/45*(2*w + 61)>, <48, 1/70*(w + 76)>, <48, 1/86*(w + 76)>, <24, 1/216*(11*w + 249)>, <24, 11/168*w>, <24, 1/278*(11*w + 110)>, <12, 1/150*(w - 12)>, <12, 1/168*(13*w - 13)>, <36, 1/12*w>, <12, 1/168*(w + 167)>, <6, 1/170*(w + 1)>, <6, 169/168*w>, <24, 1/2*(w + 3)>, <24, 1/72*(13*w + 59)>, <24, 1/360*(11*w + 253)>, <12, 1/180*(11*w + 213)>, <12, 1/94*(5*w + 114)>, <84, 1/198*(13*w + 120)>, <12, 1/4480*(99*w + 3157)>, <12, 1/234*(5*w - 30)>, <24, 1/360*(11*w + 96)>, <24, 1/1360*(39*w + 177)>, <24, 1/2*(w - 2)>, <84, 1/120*(7*w + 57)>, <24, 1/55*(6*w + 73)>, <72, 1/13*(w + 8)>, <24, 65/392*w>, <60, 1/60*(w + 56)>, <84, 1/198*(13*w + 65)>, <48, 1/8*(7*w + 57)>, <36, 1/87*(2*w - 6)>, <48, 1/42*w>, <24, 1/45*(2*w - 8)>, <12, 1/29*(3*w - 9)>, <24, 1/630*(13*w + 533)>, <24, 1/45*(2*w - 18)>, <24, 1/91*(w + 93)>, <24, 1/192*(5*w + 67)>, <12, 1/196*(11*w + 141)>, <12, 1/2*(w + 4)>, <24, 1/47*(5*w + 67)>, <12, 1/49*(w + 48)>, <12, 1/32*(7*w + 49)>, <12, 1/192*(7*w + 17)>, <12, 1/13*(w + 20)>, <48, 1/105*(w + 111)>, <24, 1/174*(91*w + 356)>, <24, 1/75*(11*w + 141)>, <24, 1/44*(3*w + 56)>, <36, 1/2*w>, <24, 1/87*(13*w - 39)>, <24, 1/154*(5*w + 184)>, <24, 1/141*(11*w + 185)>, <36, 1/85*(w + 83)>, <24, 1/490*(13*w + 364)>, <36, 1/43*(2*w + 23)>, <24, 1/2436*(65*w + 1435)>, <24, 1/196*(5*w + 91)>, <48, 1/7*(w + 2)>, <48, 1/85*(3*w + 79)>, <24, 1/174*(13*w + 200)>, <24, 1/188*(11*w + 232)>, <36, 1/85*(2*w + 81)>, <48, 1/85*(3*w + 3)>, <24, 1/235*(13*w + 287)>, <24, 1/66*(5*w + 91)>, <48, 1/7*(w + 4)>, <24, 1/174*(13*w - 39)>, <24, 1/188*(11*w - 55)>, <12, 1/1188*(35*w + 285)>, <24, 1/3*(w + 1)>, <24, 1/60*(w + 63)>, <24, 1/12*(w + 16)>, <24, 1/1247*(18*w + 207)>, <12, 1/170*(13*w + 144)>, <12, 1/175*(6*w + 91)>, <6, 1/174*(w + 2)>, <6, 1/169*(w - 3)>, <12, 1/44*(5*w + 69)>, <12, 1/783*(20*w + 388)>, <12, 1/8*(w - 7)>, <24, 1/65*(4*w + 77)>, <24, 1/1785*(52*w + 1001)>, <12, 1/38080*(1287*w + 15057)>, <12, 1/40320*(1859*w + 15477)>, <12, w - 3>, <24, 1/60*(w - 4)>, <24, 1/47*(3*w + 59)>, <24, 1/448*(9*w - 72)>, <24, 1/14*(w + 21)>, <12, 1/12*(7*w - 7)>, <48, 1/1485*(7*w + 57)>, <24, 1/16*(w + 23)>, <24, 1/126*(11*w + 148)>, <24, 1/2*(w + 2)>, <24, 1/84*(w + 84)>, <24, 1/319*(21*w + 361)>, <24, 1/6580*(143*w + 4708)>, <24, 1/188*(3*w + 12)>, <24, 1/363*(13*w + 428)>, <24, 1/3*(w + 4)>, <24, 1/66*(w + 60)>, <24, 1/580*(13*w + 164)>, <12, 1/12*(w + 1)>, <12, 1/11815*(78*w + 949)>, <24, 1/4031*(104*w + 1080)>, <24, 1/96*(13*w + 135)>, <24, 1/10965*(286*w + 6831)>, <12, 1/13*(w + 9)>, <12, 1/3354*(11*w - 110)>, <24, 1/10965*(286*w + 3848)>, <24, 1/3*(w - 3)>, <24, 1/580*(13*w + 403)>, <24, 1/170*(91*w + 91)>, <24, 1/8178*(91*w + 8099)>, <12, 1/6255*(28*w - 276)>, <12, 1/4*(7*w - 66)>, <24, 1/94*(w + 98)>, <24, 1/2*(w + 6)>, <12, 1/99*(w + 5)>, <12, 1/45*(49*w + 147)>, <12, 1/99*(w + 104)>, <4, 1/50176*(15*w - 119)>, <4, 15*w - 119>, <-24, 1/408*(-7*w + 303)>, <-12, 1/75*(-w + 72)>, <-12, 1/48*(-w + 9)>, <-4, 1/198*(-7*w + 240)>, <-6, 1/121*(-7*w + 163)>, <-12, 1/672*(-11*w + 760)>, <-12, 1/210*(-w + 217)>, <-12, 1/300*(-7*w + 384)>, <-12, 1/10*(-w - 1)>, <-12, 1/34*(-w + 3)>, <-6, 1/29*(-4*w + 41)>, <-12, 1/77*(-2*w - 10)>, <-12, 1/1892*(-15*w + 2015)>, <-24, 1/105*(-2*w + 23)>, <-12, 1/7*(-w + 9)>, <-6, 1/57600*(-2057*w + 12584)>, <-12, 1/9*(-2*w - 12)>, <-12, 1/143*(-5*w - 20)>, <-12, 1/47*(-6*w - 24)>, <-12, 1/1914*(-119*w + 2271)>, <-12, 1/22*(-w + 1)>, <-12, 1/42*(-5*w + 47)>, <-12, 1/13*(-w - 3)>, <-24, 1/658*(-15*w + 498)>, <-24, 1/4*(-w - 4)>, <-12, 1/47*(-14*w + 70)>, <-12, 1/77*(-2*w + 83)>, <-12, 1/516*(-5*w + 566)>, <-12, 1/56*(-w + 8)>, <-12, 1/52*(-w + 49)>, <-24, 1/174*(-5*w + 189)>, <-12, 1/150*(-7*w + 73)>, <-12, 1/11*(-7*w - 66)>, <-12, 1/540*(-7*w + 483)>, <-12, 1/3024*(-65*w + 840)>, <-12, 1/13*(-w - 8)>, <-12, 1/105*(-11*w + 182)>, <-12, 1/14*(-w - 1)>, <-12, 1/940*(-49*w + 1185)>, <-12, 1/340*(-91*w + 249)>, <-12, 1/150*(-w - 11)>, <-12, -13/168*w>, <-6, 1/170*(-w + 2)>, <-6, 1/168*(-169*w + 169)>, <-12, 1/180*(-11*w + 224)>, <-12, 1/94*(-5*w + 119)>, <-12, 1/4480*(-99*w + 3256)>, <-12, 1/234*(-5*w - 25)>, <-24, 1/45*(-2*w - 6)>, <-12, 1/29*(-3*w - 6)>, <-12, 1/196*(-11*w + 152)>, <-12, 1/2*(-w + 5)>, <-12, 1/49*(-w + 49)>, <-12, 1/32*(-7*w + 56)>, <-12, 1/192*(-7*w + 24)>, <-12, 1/13*(-w + 21)>, <-12, 1/1188*(-35*w + 320)>, <-12, 1/170*(-13*w + 157)>, <-12, 1/175*(-6*w + 97)>, <-6, 1/174*(-w + 3)>, <-6, 1/169*(-w - 2)>, <-12, 1/44*(-5*w + 74)>, <-12, 1/783*(-20*w + 408)>, <-12, 1/8*(-w - 6)>, <-12, 1/38080*(-1287*w + 16344)>, <-12, 1/40320*(-1859*w + 17336)>, <-12, -w - 2>, <-12, -7/12*w>, <-12, 1/12*(-w + 2)>, <-12, 1/11815*(-78*w + 1027)>, <-12, 1/13*(-w + 10)>, <-12, 1/3354*(-11*w - 99)>, <-12, 1/6255*(-28*w - 248)>, <-12, 1/4*(-7*w - 59)>, <-12, 1/99*(-w + 6)>, <-12, 1/45*(-49*w + 196)>, <-12, 1/99*(-w + 105)> ]