/* Defining polynomial */ x^2 - x + 158 /* GCD of coefficients */ 2 /* 24 * |disc|^(3/2) /(8*pi^2)* zeta_F(2) */ 9625.22198557119082049204045219 /* Belt */ [ <12, 1/160*(13*w + 173)>, <84, 1/23*(w + 14)>, <24, 1/160*(3*w + 154)>, <6, 1/178*(3*w + 12)>, <6, 1/480*(169*w + 169)>, <90, 1/41*(w + 38)>, <6, 1/410*(9*w + 59)>, <48, 1/5*(w + 2)>, <66, 1/107*(5*w + 35)>, <66, 1/82*(5*w + 10)>, <24, 1/1177*(27*w - 216)>, <24, 1/1177*(27*w + 1366)>, <24, 1/14*(3*w - 21)>, <24, 1/178*(13*w + 113)>, <12, 1/184*(5*w + 109)>, <48, 1/6*(w + 4)>, <24, 1/14*(3*w + 32)>, <12, 1/62*(3*w + 89)>, <12, 1/31*(w + 9)>, <24, 1/7*(w - 8)>, <24, 1/184*(3*w + 139)>, <24, 1/214*(7*w - 56)>, <18, 1/3*(w - 5)>, <6, 1/38092*(507*w + 32110)>, <64, 1/214*(15*w + 94)>, <222, 1/20*(w + 13)>, <24, 1/110*(9*w + 137)>, <24, 1/3280*(99*w + 1507)>, <42, 1/40*(w + 41)>, <6, 1/47*(9*w + 92)>, <120, 1/188*(11*w + 55)>, <222, 1/17*(w + 13)>, <108, 1/20*(w + 1)>, <24, 1/50*(w + 6)>, <12, 1/72*(7*w + 51)>, <24, 1/5*(w - 3)>, <108, 1/20*(w + 18)>, <120, 1/11*(w + 6)>, <120, 1/11*(w + 4)>, <24, 1/214*(9*w + 63)>, <24, 91/474*w>, <72, 1/85*(3*w + 9)>, <24, 1/775*(14*w + 852)>, <24, 1/16*(w + 9)>, <72, 1/178*(7*w + 28)>, <24, 1/188*(9*w - 54)>, <24, 1/9*(w - 6)>, <24, 1/29704*(715*w + 22594)>, <24, 1/143*(5*w + 158)>, <72, 1/164*(7*w + 14)>, <24, 1/9430*(273*w + 8008)>, <24, 1/214*(9*w + 142)>, <72, 1/85*(3*w + 73)>, <24, 1/3*w>, <96, 1/115*(7*w + 56)>, <24, 3/158*w>, <96, 1/115*(7*w + 52)>, <12, 1/4280*(147*w + 4067)>, <18, 1/3*(w + 7)>, <48, 1/89*(3*w + 12)>, <24, 1/1840*(21*w + 1651)>, <24, 1/115*(8*w + 64)>, <96, 1/89*(4*w + 16)>, <96, 1/89*(4*w + 69)>, <24, 1/496*(7*w + 426)>, <24, 1/31*(2*w + 18)>, <24, 1/4960*(99*w + 1242)>, <12, 1/36340*(693*w + 24174)>, <12, 1/230*(9*w + 149)>, <24, 1/275*(9*w - 63)>, <48, 1/188*(7*w + 35)>, <48, 1/200*(9*w + 54)>, <120, 1/94*(5*w + 25)>, <12, 1/39*(5*w - 30)>, <48, 1/7*(w + 5)>, <48, 1/164*(9*w + 18)>, <12, 1/125*(3*w + 68)>, <24, 1/282*(7*w + 317)>, <156, 1/50*(3*w + 29)>, <24, 1/287*(33*w + 353)>, <24, 1/12305*(168*w + 13208)>, <24, 1/16*(w + 8)>, <24, 1/7520*(231*w + 2471)>, <36, 1/107*(4*w + 75)>, <24, 1/70*(3*w + 76)>, <24, 1/4387*(130*w + 1742)>, <96, 1/214*(13*w + 110)>, <24, 1/2444*(45*w + 2669)>, <72, 1/89*(6*w + 24)>, <36, 1/79*(4*w + 75)>, <24, 1/3713*(105*w + 2660)>, <24, 1/52*(5*w + 67)>, <72, 1/89*(6*w + 59)>, <96, 1/214*(13*w + 91)>, <24, 1/45*(13*w + 110)>, <48, 1/9*(w - 5)>, <48, 1/170*(9*w + 134)>, <12, 1/11*(3*w - 21)>, <156, 1/50*(3*w + 18)>, <48, 1/178*(9*w - 45)>, <48, 1/188*(9*w + 134)>, <120, 1/94*(5*w + 64)>, <24, 1/3*(w + 3)>, <24, 1/89*(7*w + 117)>, <24, 1/225*(11*w - 77)>, <24, 1/35*(6*w + 59)>, <144, 1/13*(w + 6)>, <162, 1/14*(w + 7)>, <24, 1/10700*(63*w + 459)>, <24, 1/170*(3*w + 9)>, <24, 1/250*(7*w + 117)>, <24, 1/88*(9*w - 63)>, <24, 1/8*(w + 8)>, <24, 1/8*(w - 1)>, <54, 1/170*(11*w + 33)>, <114, 1/8*(w + 2)>, <42, 1/40*(w - 2)>, <24, 1/329*(33*w + 494)>, <24, 1/132*(7*w + 167)>, <54, 1/11*(w + 3)>, <114, 1/8*(w + 5)>, <48, 1/32*(w + 33)>, <24, 1/27*(2*w - 10)>, <24, 1/85*(2*w + 57)>, <48, 1/79*(3*w + 76)>, <48, 1/230*(11*w + 88)>, <24, 1/51*(7*w + 72)>, <48, 1/110*(3*w - 21)>, <24, 1/72*(7*w + 79)>, <24, 1/35*(6*w - 30)>, <24, 1/5*w>, <24, 1/72*(7*w - 14)>, <24, 1/178*(5*w + 153)>, <48, 1/34*(3*w + 43)>, <24, 1/8*(w + 14)>, <84, 1/10*(w + 1)>, <24, 1/46*(w + 14)>, <48, 1/34*(3*w - 12)>, <24, 1/143*(5*w + 153)>, <24, 1/11*(w + 14)>, <24, 1/143*(5*w - 15)>, <24, 1/11*(w - 4)>, <90, 1/41*(w + 2)>, <48, 1/5*(w + 6)>, <24, 1/47*(2*w + 57)>, <24, 1/27*(2*w + 35)>, <48, 3/79*w>, <24, 1/70*(3*w + 79)>, <48, 1/164*(11*w + 22)>, <48, 1/110*(3*w + 128)>, <24, 1/164*(3*w + 170)>, <24, 1/18860*(539*w + 11902)>, <24, 1/164*(3*w - 9)>, <24, 1/935*(49*w + 1082)>, <24, 1/11036*(63*w + 11522)>, <48, 1/14*(w + 9)>, <24, 1/66*(13*w - 65)>, <24, 1/21080*(429*w + 16757)>, <12, 1/2232*(77*w + 2925)>, <12, 1/158*(9*w + 158)>, <24, 1/32*(13*w + 110)>, <24, 1/32*(13*w - 91)>, <12, 1/169*(9*w + 142)>, <12, w + 2>, <48, 1/41*(3*w - 9)>, <24, 1/79*(21*w + 58)>, <24, 1/188*(5*w + 158)>, <24, 1/158*(5*w + 158)>, <48, 1/41*(3*w + 47)>, <24, 1/940*(21*w + 58)>, <24, 1/9095*(182*w + 8281)>, <48, 1/4387*(105*w + 2875)>, <60, 1/12*(w + 3)>, <12, 1/105*(w + 5)>, <24, 1/94*(w - 6)>, <24, 1/154*(5*w + 174)>, <12, 1/2132*(99*w + 2330)>, <12, 1/268*(13*w + 125)>, <24, 1/17548*(385*w + 13398)>, <24, 1/91*(2*w + 91)>, <48, 1/470*(21*w + 575)>, <60, 1/12*(w + 8)>, <24, 1/801*(49*w - 245)>, <72, 1/178*(9*w + 36)>, <24, 1/98*(9*w - 45)>, <48, 1/6*(w - 1)>, <24, 1/182*(3*w + 179)>, <162, 1/107*(7*w + 49)>, <6, 1/4450*(49*w + 4557)>, <6, 1/2*(w + 6)>, <48, 1/100*(3*w + 79)>, <24, 1/17000*(273*w + 16289)>, <24, 1/188*(13*w + 253)>, <24, 1/160*(7*w - 14)>, <24, 1/39*(w + 37)>, <24, 1/500*(13*w + 253)>, <24, 1/7*(w - 2)>, <24, 1/160*(39*w + 82)>, <48, 1/611*(12*w + 671)>, <48, 1/611*(12*w - 72)>, <24, 1/55*(4*w - 24)>, <84, 1/32*(w + 1)>, <84, 1/34*(w + 3)>, <24, 1/752*(55*w - 330)>, <24, 1/32*(9*w + 9)>, <24, 1/140*(w + 146)>, <24, 1/42*(w + 43)>, <24, 1/4898*(135*w + 1998)>, <24, 1/214*(7*w + 158)>, <12, 1/3239*(36*w + 359)>, <24, 1/445*(27*w - 135)>, <108, 1/40*(3*w + 19)>, <108, 1/15*(w + 8)>, <24, 1/520*(7*w - 49)>, <24, 1/520*(7*w + 562)>, <24, 1/32*(9*w + 14)>, <24, 1/10*(7*w + 52)>, <24, 1/1025*(21*w + 903)>, <24, 1/2*(w - 3)>, <24, 1/2*(w + 4)>, <24, 1/7990*(91*w - 109)>, <24, 1/7990*(91*w + 8008)>, <12, 1/39680*(429*w + 33869)>, <12, 1/248*(11*w + 138)>, <6, 1/2080*(121*w + 2201)>, <6, 1/160*(13*w + 13)>, <12, 1/42880*(1521*w + 12798)>, <12, 1/158*(11*w + 147)>, <12, w - 1>, <24, 1/1880*(39*w + 242)>, <24, 1/2050*(39*w + 1677)>, <24, 1/39*(w + 43)>, <24, 1/1880*(39*w + 1599)>, <6, 1/10*(w - 4)>, <68, 1/170*(7*w + 142)>, <6, 1/170*(w + 3)>, <6, 1/164*(169*w + 338)>, <36, 1/200*(7*w + 151)>, <12, 1/79*(9*w + 79)>, <24, 1/79*w>, <12, 1/246*(13*w - 39)>, <24, 1/12*(w + 2)>, <24, 1/130*(7*w + 158)>, <36, 1/79*(2*w + 77)>, <18, 1/2*(7*w + 51)>, <24, 1/164*(91*w - 273)>, <24, 1/91*(w - 3)>, <24, 1/16906*(455*w + 10270)>, <36, 1/85*(2*w + 77)>, <12, 1/445*(22*w + 533)>, <6, 1/1927*(50*w + 1002)>, <24, 1/680*(63*w - 252)>, <24, 1/63*(4*w - 16)>, <24, 1/1424*(39*w + 962)>, <24, 1/102*(13*w - 52)>, <24, 1/55*(4*w + 79)>, <24, 1/25*(6*w - 42)>, <24, 1/48*(w - 7)>, <24, 1/55*(4*w - 28)>, <24, 1/46*(w + 37)>, <48, 1/14*(w + 4)>, <24, 1/492*(77*w - 231)>, <12, 1/2542*(15*w + 2367)>, <24, 1/62*(3*w + 32)>, <24, 1/1817*(60*w + 572)>, <24, 1/128*(15*w + 143)>, <24, 1/1280*(33*w + 1089)>, <24, 1/1280*(33*w + 158)>, <24, 1/34*(w + 37)>, <24, 1/77*(3*w - 9)>, <24, 1/80*(39*w - 78)>, <24, 1/3239*(39*w + 3081)>, <24, 1/2*(w + 3)>, <12, 1/85*(39*w - 156)>, <6, 1/1738*(169*w + 1569)>, <6, 1/290*(11*w + 158)>, <12, 1/158*w>, <24, 1/267*(10*w - 50)>, <24, 1/267*(10*w + 307)>, <24, 1/200*(7*w - 49)>, <24, 1/3160*(91*w + 1963)>, <24, 1/130*(7*w + 151)>, <6, w - 4>, <6, 1/30260*(169*w + 29237)>, <12, 1/170*(13*w + 118)>, <12, 1/310*(9*w + 112)>, <24, 1/79*(2*w - 2)>, <24, 1/47*(7*w + 82)>, <24, 1/320*(7*w + 82)>, <24, 1/4*(w - 1)>, <24, 1/272*(7*w + 210)>, <12, 1/5695*(126*w + 4543)>, <12, 1/85*(7*w + 57)>, <24, 1/28*(w + 30)>, <6, 1/32*(5*w + 67)>, <24, 1/9085*(234*w + 4977)>, <12, 1/9*(13*w - 117)>, <24, 1/9085*(234*w + 3874)>, <12, 1/138*(w + 129)>, <24, 1/1712*(39*w + 594)>, <24, 1/120*(13*w + 198)>, <24, 1/2047*(42*w + 2037)>, <24, 1/21*(w + 21)>, <12, 1/632*(75*w + 632)>, <36, 1/158*(7*w + 151)>, <24, 1/105*(2*w + 97)>, <24, 1/158*(21*w + 158)>, <12, 1/79*(39*w + 79)>, <24, 1/124*(5*w + 45)>, <24, 1/124*(5*w + 74)>, <12, 1/9775*(78*w + 793)>, <12, 1/8560*(441*w + 6958)>, <12, 1/196*(9*w + 169)>, <12, 1/67*(2*w + 20)>, <24, 1/5405*(14*w - 118)>, <12, 1/67*(3*w + 34)>, <12, 1/112*(5*w + 117)>, <24, 1/77*(2*w + 79)>, <12, 1/33812*(1155*w + 6587)>, <24, 1/158*(7*w + 158)>, <24, 1/7031*(154*w + 6083)>, <12, 1/79*(5*w - 5)>, <12, 5/84*w>, <6, 1/36380*(539*w + 29667)>, <24, 1/5405*(14*w + 5509)>, <24, 1/4*(w + 6)>, <12, 1/196*(w + 2)>, <24, 1/340*(7*w + 91)>, <12, 1/316*(77*w - 77)>, <2, 1/121*(7*w + 142)>, <18, 1/2*(7*w - 56)>, <12, 1/428*(77*w + 967)>, <12, 1/85*(2*w + 91)>, <8, 1/45796*(165*w - 1199)>, <8, 1/11*(15*w - 109)>, <-12, 1/160*(-13*w + 186)>, <-6, 1/178*(-3*w + 15)>, <-6, 1/480*(-169*w + 338)>, <-6, 1/410*(-9*w + 68)>, <-24, 1/178*(-13*w + 126)>, <-12, 1/184*(-5*w + 114)>, <-12, 1/62*(-3*w + 92)>, <-12, 1/31*(-w + 10)>, <-24, 1/184*(-3*w + 142)>, <-6, 1/38092*(-507*w + 32617)>, <-6, 1/47*(-9*w + 101)>, <-12, 1/72*(-7*w + 58)>, <-24, 1/5*(-w - 2)>, <-12, 1/4280*(-147*w + 4214)>, <-12, 1/36340*(-693*w + 24867)>, <-12, 1/230*(-9*w + 158)>, <-12, 1/39*(-5*w - 25)>, <-12, 1/125*(-3*w + 71)>, <-24, 1/282*(-7*w + 324)>, <-12, 1/11*(-3*w - 18)>, <-24, 1/10700*(-63*w + 522)>, <-24, 1/11036*(-63*w + 11585)>, <-12, 1/2232*(-77*w + 3002)>, <-12, 1/158*(-9*w + 167)>, <-12, 1/169*(-9*w + 151)>, <-12, -w + 3>, <-12, 1/105*(-w + 6)>, <-24, 1/94*(-w - 5)>, <-12, 1/2132*(-99*w + 2429)>, <-12, 1/268*(-13*w + 138)>, <-6, 1/4450*(-49*w + 4606)>, <-6, 1/2*(-w + 7)>, <-12, 1/3239*(-36*w + 395)>, <-12, 1/39680*(-429*w + 34298)>, <-12, 1/248*(-11*w + 149)>, <-6, 1/2080*(-121*w + 2322)>, <-6, 1/160*(-13*w + 26)>, <-12, 1/42880*(-1521*w + 14319)>, <-12, 1/158*(-11*w + 158)>, <-12, -w>, <-6, 1/10*(-w - 3)>, <-6, 1/170*(-w + 4)>, <-6, 1/164*(-169*w + 507)>, <-12, 1/79*(-9*w + 88)>, <-24, 1/79*(-w + 1)>, <-12, 1/246*(-13*w - 26)>, <-12, 1/445*(-22*w + 555)>, <-6, 1/1927*(-50*w + 1052)>, <-12, 1/2542*(-15*w + 2382)>, <-24, 1/2*(-w + 4)>, <-12, 1/85*(-39*w - 117)>, <-6, 1/1738*(-169*w + 1738)>, <-6, 1/290*(-11*w + 169)>, <-6, -w - 3>, <-6, 1/30260*(-169*w + 29406)>, <-12, 1/170*(-13*w + 131)>, <-12, 1/310*(-9*w + 121)>, <-12, 1/5695*(-126*w + 4669)>, <-12, 1/85*(-7*w + 64)>, <-6, 1/32*(-5*w + 72)>, <-12, 1/9*(-13*w - 104)>, <-12, 1/138*(-w + 130)>, <-12, 1/632*(-75*w + 707)>, <-12, 1/79*(-39*w + 118)>, <-12, 1/9775*(-78*w + 871)>, <-12, 1/8560*(-441*w + 7399)>, <-12, 1/196*(-9*w + 178)>, <-12, 1/67*(-2*w + 22)>, <-12, 1/67*(-3*w + 37)>, <-12, 1/112*(-5*w + 122)>, <-12, 1/33812*(-1155*w + 7742)>, <-12, -5/79*w>, <-12, 1/84*(-5*w + 5)>, <-6, 1/36380*(-539*w + 30206)>, <-12, 1/196*(-w + 3)>, <-12, -77/316*w>, <-2, 1/121*(-7*w + 149)>, <-12, 1/428*(-77*w + 1044)>, <-12, 1/85*(-2*w + 93)> ]