/* Defining polynomial */ x^2 - x + 134 /* GCD of coefficients */ 2 /* 24 * |disc|^(3/2) /(8*pi^2)* zeta_F(2) */ 7632.25318567250872089940995690 /* Belt */ [ <24, 1/77*(9*w - 45)>, <24, 1/99*(7*w - 35)>, <132, 1/20*(w + 2)>, <24, 1/18*(w - 5)>, <132, 1/22*(w + 4)>, <24, 1/99*(7*w + 127)>, <120, 1/164*(11*w + 98)>, <36, 1/5*(w + 4)>, <24, 1/63*(11*w - 55)>, <24, 1/63*(11*w + 107)>, <72, 1/13*(w + 5)>, <24, 1/1148*(99*w + 1643)>, <24, 1/99*(7*w + 134)>, <72, 1/190*(13*w + 86)>, <48, 1/176*(9*w + 54)>, <48, 1/140*(9*w + 18)>, <136, 1/13*(w + 6)>, <36, 1/134*(5*w + 129)>, <102, 1/35*(2*w + 29)>, <102, 1/41*(2*w + 29)>, <108, 1/5*(w + 2)>, <12, 1/146*(13*w + 94)>, <12, 1/1120*(81*w + 1849)>, <24, 1/224*(11*w + 99)>, <66, 1/11*(w + 3)>, <6, 1/5548*(55*w + 510)>, <40, 1/38*(3*w + 14)>, <24, 1/266*(5*w + 206)>, <24, 1/5*(w - 7)>, <12, 1/32*(w + 9)>, <12, 1/13*(w - 10)>, <24, 1/2336*(39*w + 282)>, <24, 1/2336*(39*w + 2015)>, <24, 1/176*(9*w + 230)>, <96, 1/22*(w + 6)>, <12, 1/14*(w - 2)>, <96, 1/17*(w + 1)>, <24, 1/1606*(35*w + 371)>, <12, 1/23944*(585*w + 16209)>, <60, 1/164*(9*w + 110)>, <12, 1/65*(2*w - 2)>, <36, 2/67*w>, <12, 1/5*(w - 3)>, <12, 1/140*(33*w + 66)>, <24, 1/205*(6*w + 112)>, <216, 1/14*(w + 4)>, <216, 1/11*(w + 4)>, <24, 1/205*(6*w + 87)>, <24, 1/164*(5*w + 134)>, <24, 1/134*(5*w + 134)>, <84, 1/73*(5*w + 53)>, <84, 1/88*(5*w + 53)>, <24, 1/41*(w + 46)>, <114, 1/10*(w + 5)>, <114, 1/77*(5*w + 52)>, <24, 1/56*(w + 46)>, <72, 1/154*(9*w + 36)>, <36, 1/176*(3*w - 21)>, <60, 1/34*(w + 32)>, <24, 1/1606*(35*w + 1200)>, <60, 1/34*(w + 1)>, <24, 1/22*(w - 5)>, <24, 1/67*(2*w - 2)>, <24, 1/11*(w + 15)>, <12, 1/154*(5*w - 25)>, <30, 1/136*(5*w + 126)>, <6, 1/19856*(605*w + 4005)>, <24, 1/3*(w + 1)>, <36, 1/13*(w + 8)>, <24, 9/134*w>, <24, 1/134*(9*w + 125)>, <36, 1/206*(13*w + 104)>, <24, 1/25840*(819*w + 14283)>, <66, 1/11*(w + 7)>, <12, 1/30016*(1287*w + 9567)>, <12, 1/134*(9*w + 134)>, <24, 1/25840*(819*w + 10738)>, <156, 1/12*(w + 5)>, <24, 1/245*(27*w - 81)>, <156, 1/12*(w + 6)>, <24, 1/5576*(189*w + 3294)>, <24, 1/140*(13*w - 39)>, <24, 1/13*(w - 3)>, <12, 1/408*(77*w + 254)>, <18, 1/6*(w + 7)>, <24, 1/11*(w - 5)>, <24, 1/67*(2*w + 67)>, <132, 1/14*(w + 2)>, <24, 1/7*(w - 5)>, <132, 1/10*(w + 2)>, <84, 1/8*(w + 3)>, <84, 1/8*(w + 4)>, <60, 1/9*(w + 3)>, <24, 1/4*(w - 8)>, <24, 1/140*(9*w - 27)>, <12, 1/88*(3*w + 67)>, <12, 1/201*(35*w + 166)>, <24, 1/65*(2*w - 4)>, <12, 1/342*(11*w + 419)>, <36, 1/136*(9*w + 118)>, <48, 1/6935*(99*w + 5918)>, <60, 1/88*(7*w + 42)>, <48, 1/133*(w + 7)>, <48, 1/484*(9*w + 538)>, <24, 1/5159*(130*w + 674)>, <12, 1/154*(13*w - 65)>, <48, 1/6*(w + 3)>, <12, 1/219*(26*w - 104)>, <24, 1/82*(5*w + 107)>, <60, 1/95*(7*w + 49)>, <12, 1/8*(w - 8)>, <24, 1/10*(w + 15)>, <24, 1/1394*(33*w + 206)>, <24, 1/73*(6*w + 49)>, <12, 1/34*(9*w + 43)>, <12, 1/136*(w - 2)>, <72, 1/146*(7*w + 118)>, <24, 1/68*(33*w + 101)>, <48, 1/140*(3*w + 26)>, <24, 1/3895*(13*w + 3796)>, <24, 1/3895*(13*w + 86)>, <12, 1/73*(2*w - 8)>, <12, 1/65*(2*w + 79)>, <24, 1/9*(w - 3)>, <12, 1/4180*(63*w + 3766)>, <48, 1/12*(w + 7)>, <48, 1/12*(w + 4)>, <18, 1/6*(w - 2)>, <6, 1/646*(15*w + 355)>, <36, 1/73*(2*w + 6)>, <6, 1/231*(25*w + 331)>, <54, 1/77*(3*w + 12)>, <36, 1/3*(w - 7)>, <12, 1/14*(3*w - 9)>, <48, 1/140*(3*w + 111)>, <24, 1/2345*(33*w + 101)>, <24, 1/1394*(33*w + 1155)>, <24, 1/73*(6*w + 18)>, <24, 1/55*(3*w + 67)>, <24, 1/584*(15*w + 410)>, <54, 1/77*(3*w + 62)>, <24, 1/96*(w - 7)>, <36, 1/136*(5*w + 141)>, <24, 1/224*(11*w + 114)>, <12, 1/3*(w - 2)>, <24, 1/96*(w + 102)>, <24, 1/146*(3*w + 134)>, <24, 1/1273*(44*w + 693)>, <24, 1/146*(3*w + 9)>, <24, 1/28016*(1001*w + 20449)>, <24, 1/938*(143*w - 143)>, <24, 1/2993*(39*w - 10)>, <24, 1/2*w>, <12, 1/67*(33*w - 33)>, <24, 1/78*(w + 1)>, <24, 1/187*(6*w + 91)>, <48, 1/4*(w + 5)>, <12, 1/451*(6*w + 399)>, <24, 1/136*(39*w + 58)>, <24, 1/120*(7*w - 14)>, <24, 1/120*(7*w + 127)>, <24, 1/136*(39*w + 39)>, <24, 1/73*(6*w + 91)>, <48, 1/41*(w + 5)>, <24, 1/70*(3*w + 82)>, <24, 1/536*(15*w + 335)>, <48, 1/70*(3*w + 61)>, <24, 1/73*(4*w + 85)>, <24, 1/55*(4*w + 63)>, <24, 1/133*(4*w + 85)>, <12, 1/45*(4*w - 16)>, <12, 1/38*(5*w + 73)>, <24, 1/67*(3*w + 64)>, <12, 1/6365*(252*w + 3969)>, <24, 1/8*(w + 7)>, <24, 3/67*w>, <24, 1/533*(6*w + 563)>, <48, 1/133*(w + 125)>, <24, 1/24*(13*w + 89)>, <12, 1/103*(3*w + 24)>, <12, 1/52*(3*w - 27)>, <12, 1/134*(w + 134)>, <24, 1/8*(w + 9)>, <12, 1/72*(5*w + 5)>, <48, 1/164*(7*w + 35)>, <12, 1/134*(w + 133)>, <6, 1/122*(5*w + 50)>, <6, 36/335*w>, <48, 1/7*(w + 5)>, <24, 1/55*(4*w + 67)>, <24, 1/1751*(60*w + 995)>, <12, 1/72*(w + 69)>, <12, 1/73*(18*w + 54)>, <12, 1/2555*(18*w - 19)>, <24, 1/1804*(15*w + 1674)>, <36, 1/77*(w + 72)>, <12, 1/84*(11*w + 106)>, <24, 1/4*(w + 6)>, <24, 1/120*(7*w - 21)>, <24, 1/49*(6*w - 18)>, <24, 1/35*(w + 37)>, <24, 1/55*(3*w + 64)>, <24, 1/55*(3*w - 12)>, <12, 1/820*(27*w - 162)>, <12, 1/82*(15*w + 157)>, <12, 1/9*(w - 10)>, <24, 1/28*(w + 9)>, <36, 1/77*(w + 4)>, <24, 1/1751*(60*w + 696)>, <24, 1/55*(4*w - 16)>, <48, 1/133*(3*w + 97)>, <24, 1/15488*(39*w + 15743)>, <24, 1/1235*(3*w + 1211)>, <24, 1/84*(13*w - 39)>, <24, 1/140*(3*w + 131)>, <24, 1/134*(3*w + 131)>, <12, 1/73*(33*w + 172)>, <12, 1/68*(w + 69)>, <30, 1/146*(5*w + 126)>, <36, 1/176*(5*w + 141)>, <24, 1/68*(w + 66)>, <12, 1/85*(18*w + 18)>, <24, 1/1292*(39*w + 923)>, <48, 1/82*(3*w + 97)>, <6, 1/385*(16*w + 449)>, <24, 1/10*(w + 1)>, <24, 1/3502*(45*w + 522)>, <24, 1/369*(20*w + 469)>, <24, 1/369*(20*w - 120)>, <24, 1/82*(7*w + 40)>, <24, 1/4223*(56*w - 376)>, <12, 1/35*(3*w + 6)>, <12, 1/20*(3*w - 9)>, <24, 1/1751*(35*w + 406)>, <6, 1/25*(3*w + 28)>, <6, 1/34*(3*w + 28)>, <12, 1/206*(15*w + 71)>, <12, 1/49*(15*w - 86)>, <24, 1/1751*(35*w + 1310)>, <24, 1/206*(11*w + 88)>, <12, 1/82*(w + 5)>, <12, 1/72*(5*w + 52)>, <12, w - 4>, <24, 1/24*(w + 30)>, <12, 1/67*(w + 67)>, <12, 1/144*(5*w + 10)>, <24, 1/24*(w - 7)>, <24, 1/374*(9*w + 230)>, <24, 1/11*(w + 8)>, <24, 1/143*(3*w + 146)>, <24, 1/408*(143*w + 551)>, <24, 1/3502*(45*w + 2935)>, <24, 1/103*(5*w + 58)>, <24, 1/924*(25*w + 1024)>, <24, 1/7519*(150*w + 6144)>, <6, 1/56*(5*w + 66)>, <24, 1/4223*(56*w + 4543)>, <24, 1/14*(w + 8)>, <12, 1/8*(w + 8)>, <12, 1/824*(35*w - 315)>, <24, 1/5*(6*w + 47)>, <24, 1/228*(w + 235)>, <24, 1/231*(26*w + 335)>, <12, 1/2132*(21*w - 126)>, <12, 1/31724*(195*w + 33059)>, <24, 1/52*(3*w + 64)>, <24, 1/8*w>, <12, 1/1273*(28*w + 441)>, <24, 1/1474*(39*w + 564)>, <12, 1/494*(w + 7)>, <24, 1/123*(13*w + 188)>, <12, 1/169*(3*w + 166)>, <12, 1/190*(7*w + 49)>, <8, 1/1444*(21*w - 119)>, <8, 1/7*(3*w - 17)>, <12, 1/1148*(169*w + 845)>, <12, 1/169*(5*w + 134)>, <12, 1/28864*(169*w + 134)>, <4, 1/30976*(91*w + 595)>, <-12, 1/146*(-13*w + 107)>, <-12, 1/1120*(-81*w + 1930)>, <-6, 1/5548*(-55*w + 565)>, <-12, 1/32*(-w + 10)>, <-12, 1/13*(-w - 9)>, <-12, 1/14*(-w - 1)>, <-12, 1/23944*(-585*w + 16794)>, <-12, -2/65*w>, <-12, 1/5*(-w - 2)>, <-12, 1/140*(-33*w + 99)>, <-12, 1/154*(-5*w - 20)>, <-6, 1/19856*(-605*w + 4610)>, <-12, 1/30016*(-1287*w + 10854)>, <-12, 1/134*(-9*w + 143)>, <-12, 1/408*(-77*w + 331)>, <-24, 1/4*(-w - 7)>, <-12, 1/88*(-3*w + 70)>, <-12, 1/201*(-35*w + 201)>, <-12, 1/342*(-11*w + 430)>, <-36, 1/136*(-9*w + 127)>, <-12, 1/154*(-13*w - 52)>, <-12, 1/219*(-26*w - 78)>, <-12, 1/8*(-w - 7)>, <-12, 1/34*(-9*w + 52)>, <-12, 1/136*(-w - 1)>, <-12, 1/73*(-2*w - 6)>, <-12, 1/65*(-2*w + 81)>, <-12, 1/4180*(-63*w + 3829)>, <-6, 1/646*(-15*w + 370)>, <-6, 1/231*(-25*w + 356)>, <-12, 1/14*(-3*w - 6)>, <-12, 1/3*(-w - 1)>, <-12, -33/67*w>, <-12, 1/451*(-6*w + 405)>, <-12, 1/45*(-4*w - 12)>, <-12, 1/38*(-5*w + 78)>, <-12, 1/6365*(-252*w + 4221)>, <-12, 1/103*(-3*w + 27)>, <-12, 1/52*(-3*w - 24)>, <-12, 1/134*(-w + 135)>, <-12, 1/72*(-5*w + 10)>, <-6, 1/122*(-5*w + 55)>, <-6, 1/335*(-36*w + 36)>, <-12, 1/72*(-w + 70)>, <-12, 1/73*(-18*w + 72)>, <-12, 1/2555*(-18*w - 1)>, <-24, 1/1804*(-15*w + 1689)>, <-12, 1/84*(-11*w + 117)>, <-12, 1/820*(-27*w - 135)>, <-12, 1/82*(-15*w + 172)>, <-12, 1/9*(-w - 9)>, <-12, 1/73*(-33*w + 205)>, <-12, 1/68*(-w + 70)>, <-12, 1/85*(-18*w + 36)>, <-6, 1/385*(-16*w + 465)>, <-12, 1/35*(-3*w + 9)>, <-12, 1/20*(-3*w - 6)>, <-6, 1/25*(-3*w + 31)>, <-6, 1/34*(-3*w + 31)>, <-12, 1/206*(-15*w + 86)>, <-12, 1/49*(-15*w - 71)>, <-12, 1/82*(-w + 6)>, <-12, 1/72*(-5*w + 57)>, <-12, -w - 3>, <-12, 1/67*(-w + 68)>, <-12, 1/144*(-5*w + 15)>, <-6, 1/56*(-5*w + 71)>, <-12, 1/8*(-w + 9)>, <-12, 1/824*(-35*w - 280)>, <-12, 1/2132*(-21*w - 105)>, <-12, 1/31724*(-195*w + 33254)>, <-12, 1/1273*(-28*w + 469)>, <-12, 1/494*(-w + 8)>, <-12, 1/169*(-3*w + 169)>, <-12, 1/190*(-7*w + 56)>, <-12, 1/1148*(-169*w + 1014)>, <-12, 1/169*(-5*w + 139)>, <-12, 1/28864*(-169*w + 303)>, <-4, 1/30976*(-91*w + 686)> ]