/* Defining polynomial */ x^2 - x + 191 /* GCD of coefficients */ 2 /* 24 * |disc|^(3/2) /(8*pi^2)* zeta_F(2) */ 7311.67223256277720211550375397 /* Belt */ [ <24, 1/247*(10*w + 70)>, <48, 1/51811*(1320*w + 30811)>, <48, 1/2321*(120*w + 2801)>, <24, 1/10*(w + 7)>, <24, 1/170*(9*w + 215)>, <24, 1/3743*(90*w + 2150)>, <24, 1/55357*(924*w + 12397)>, <24, 1/2964*(77*w - 616)>, <84, 1/13*(w + 4)>, <84, 1/13*(w + 8)>, <252, 1/19*(w + 11)>, <48, 1/197*(9*w + 170)>, <48, 1/233*(9*w + 170)>, <24, 1/59297*(1040*w + 45617)>, <24, 1/3029*(80*w + 3509)>, <252, 1/17*(w + 11)>, <24, 1/4496*(25*w + 225)>, <24, 1/25*(16*w + 144)>, <48, 1/211*(7*w + 28)>, <48, 1/60*(13*w - 104)>, <36, 1/203*(12*w + 155)>, <64, 1/203*(11*w + 159)>, <48, 1/211*(7*w + 176)>, <36, 1/263*(12*w + 155)>, <48, 1/57043*(780*w + 47203)>, <64, 1/247*(11*w + 159)>, <30, 1/10*(w + 5)>, <30, 1/221*(10*w + 50)>, <12, 1/247*(6*w + 199)>, <12, 1/3281*(52*w + 668)>, <24, 1/4777*(42*w + 4357)>, <24, 1/281*(17*w + 153)>, <12, 1/8213*(130*w + 5600)>, <20, 1/301*(10*w + 191)>, <88, 1/15*(w + 7)>, <4, 1/61009*(330*w + 2794)>, <24, 1/69407*(714*w + 74069)>, <24, 1/17*(w + 9)>, <24, 1/2563*(90*w + 3103)>, <72, 1/233*(11*w + 66)>, <12, 1/57491*(1980*w + 32400)>, <40, 1/11*(w + 10)>, <48, 1/8*(w + 2)>, <36, 1/203*(5*w + 183)>, <36, 1/193*(5*w + 183)>, <48, 1/221*(8*w + 173)>, <24, 1/68*(15*w + 143)>, <24, 1/3857*(60*w + 572)>, <24, 1/55357*(780*w + 44112)>, <24, 1/3091*(72*w + 3739)>, <60, 1/193*(11*w + 171)>, <24, 1/3156*(65*w + 3676)>, <24, 1/2030*(143*w - 572)>, <24, 1/50759*(1430*w + 24739)>, <24, 1/3667*(90*w + 1750)>, <24, 1/1158*(221*w + 716)>, <24, 1/182*(5*w - 30)>, <48, 1/233*(10*w + 60)>, <48, 1/10*(w + 6)>, <72, 1/263*(15*w + 120)>, <72, 1/263*(15*w + 128)>, <8, 1/69169*(442*w + 72029)>, <88, 1/17*(w + 8)>, <8, 1/4471*(26*w + 4237)>, <12, 1/195*(4*w + 227)>, <12, 1/211*(4*w - 20)>, <30, 1/263*(7*w + 200)>, <30, 1/193*(7*w + 200)>, <24, 1/731*(8*w + 643)>, <24, 1/301*(17*w + 170)>, <24, 1/422*(13*w + 474)>, <24, 1/13*(2*w + 21)>, <24, 1/3743*(70*w + 775)>, <24, 1/3667*(90*w + 1827)>, <24, 1/1158*(221*w + 221)>, <36, 1/193*(7*w + 179)>, <24, 1/323*(5*w + 263)>, <52, 1/247*(16*w + 112)>, <36, 1/221*(7*w + 179)>, <24, 1/233*(5*w + 263)>, <132, 1/13*(w + 6)>, <52, 1/263*(16*w + 128)>, <24, 1/204*(7*w - 42)>, <36, 1/221*(12*w + 149)>, <24, 1/4009*(84*w + 1057)>, <36, 1/233*(12*w + 149)>, <24, 1/203*(6*w + 18)>, <24, 1/203*(6*w + 179)>, <24, 1/193*(6*w + 181)>, <12, 1/41567*(1183*w + 10640)>, <12, 1/4*(w + 1)>, <52, 1/9*(w + 4)>, <4, 1/44521*(1170*w + 21580)>, <12, 1/195*(4*w + 191)>, <12, 1/211*(4*w + 16)>, <24, 1/143*(8*w - 56)>, <24, 1/6*(w + 5)>, <24, 1/50233*(1144*w + 21776)>, <24, 1/6*w>, <12, 1/323*(6*w + 66)>, <12, 1/323*(4*w + 275)>, <12, 1/2810*(91*w + 3629)>, <24, 1/191*(10*w + 181)>, <48, 1/197*(5*w + 10)>, <12, 1/256*(5*w + 231)>, <6, 1/2529*(256*w + 2304)>, <60, 1/221*(9*w + 45)>, <12, 1/140*(9*w + 167)>, <38, 1/281*(16*w + 144)>, <6, 1/25*(16*w + 121)>, <24, 1/197*(3*w + 203)>, <12, 1/44969*(1040*w + 41184)>, <24, 1/5*(w + 6)>, <136, 1/7*(w + 3)>, <4, 1/841*(22*w + 550)>, <12, 1/4199*(24*w + 4463)>, <24, 1/193*(13*w + 167)>, <24, 1/143*(12*w - 48)>, <12, 1/54587*(450*w + 51975)>, <12, 1/225*(2*w + 14)>, <12, 1/2431*(225*w + 1081)>, <24, 1/2436*(143*w - 572)>, <24, 1/2321*(112*w - 560)>, <24, 1/6*(w + 4)>, <12, 1/63511*(1815*w + 16456)>, <24, 1/301*(12*w + 169)>, <48, 1/203*(8*w + 171)>, <40, 1/281*(14*w + 141)>, <12, 1/40723*(507*w + 7092)>, <12, 1/8*(w + 9)>, <48, 1/211*(8*w + 171)>, <60, 1/221*(9*w + 167)>, <24, 1/203*(4*w + 12)>, <12, 1/28*(13*w + 158)>, <24, 1/197*(13*w + 26)>, <24, 1/203*(4*w + 187)>, <48, 1/263*(11*w + 164)>, <12, 1/36863*(338*w + 4584)>, <48, 1/197*(11*w + 164)>, <24, 1/1827*(143*w - 572)>, <12, 1/54233*(1760*w + 25113)>, <24, 1/1970*(153*w + 2276)>, <64, 1/233*(14*w + 84)>, <64, 1/14*(w + 6)>, <24, 1/1247*(18*w + 189)>, <24, 1/233*(17*w + 102)>, <24, 1/731*(8*w + 80)>, <24, 1/1247*(18*w + 1040)>, <12, 1/9073*(30*w + 9345)>, <16, 1/15*(w + 10)>, <24, 1/61279*(120*w + 60135)>, <24, 1/3419*(42*w + 3755)>, <104, 1/221*(11*w + 55)>, <24, 1/221*(3*w + 203)>, <24, 1/143*(9*w - 36)>, <24, 1/153*(10*w + 173)>, <24, 1/2563*(98*w + 3151)>, <24, 1/51811*(1078*w + 34661)>, <24, 1/191*(5*w + 191)>, <24, 1/233*(6*w + 191)>, <24, 1/3211*(55*w + 3596)>, <24, 1/5*(w + 5)>, <24, 1/191*(6*w + 191)>, <24, 1/3211*(55*w - 440)>, <2, 1/2431*(100*w + 2931)>, <24, 1/211*(12*w + 151)>, <24, 1/247*(12*w + 151)>, <12, 1/197*(7*w + 211)>, <12, 1/1124*(169*w + 2645)>, <24, 1/13*(w + 9)>, <24, 1/8149*(208*w + 2416)>, <24, 1/4471*(42*w + 4018)>, <24, 1/266*(3*w + 287)>, <42, 1/221*(14*w + 70)>, <12, 1/81*(10*w + 161)>, <12, 1/197*(w + 199)>, <6, 1/841*(28*w + 113)>, <24, 1/191*(9*w + 182)>, <12, 1/50233*(1638*w + 15471)>, <24, 1/136*(11*w - 66)>, <24, 1/136*(11*w + 191)>, <24, 1/63631*(1386*w + 15345)>, <12, 1/591*(182*w - 546)>, <12, 1/3*(w + 2)>, <12, 1/211*(16*w + 64)>, <12, 1/5168*(45*w + 495)>, <24, 1/63631*(1386*w + 46900)>, <6, 1/58123*(350*w + 54348)>, <12, 1/145*(24*w + 217)>, <24, 1/193*(8*w + 177)>, <6, 1/699*(169*w + 1713)>, <16, 1/126*(11*w + 159)>, <4, 1/774*(7*w + 543)>, <4, 1/319*(7*w + 543)>, <12, 1/14*(w + 3)>, <4, 1/22*(w + 32)>, <12, 1/29*(2*w + 6)>, <4, 1/43*(w + 32)>, <12, 1/4845*(22*w + 4581)>, <12, 1/323*(15*w + 165)>, <38, 1/233*(16*w + 96)>, <12, 1/121*(7*w + 184)>, <24, 1/10*(w + 9)>, <24, 1/3857*(88*w + 1272)>, <24, 1/2743*(99*w + 3139)>, <24, 1/104*(11*w + 159)>, <24, 1/57043*(1287*w + 40807)>, <12, 1/197*(2*w + 4)>, <12, 1/169*(14*w + 155)>, <24, 1/11*(w - 1)>, <60, 1/11*(w + 9)>, <12, 1/2561*(132*w + 2825)>, <12, 1/1165*(168*w + 2173)>, <24, 1/193*(5*w + 198)>, <12, 1/193*(9*w - 18)>, <16, 1/112*(9*w + 202)>, <42, 1/221*(14*w + 137)>, <24, 1/1379*(165*w - 495)>, <24, 1/165*(7*w - 21)>, <12, 1/225*(2*w + 219)>, <12, 1/1631*(225*w + 1350)>, <12, 1/45901*(900*w - 1124)>, <16, 1/221*(15*w + 75)>, <20, 1/56*(15*w - 90)>, <8, 1/211*(w + 4)>, <4, 1/210*(w + 206)>, <4, 1/15*(2*w + 21)>, <16, 1/15*(w + 4)>, <4, 1/28*(w + 32)>, <8, w + 4>, <24, 1/3629*(84*w + 2292)>, <24, 1/5*(w + 4)>, <24, 1/119*(12*w - 72)>, <24, 1/211*(5*w + 20)>, <6, 1/46631*(1210*w + 19481)>, <6, 1/2123*(144*w + 2267)>, <72, 1/211*(11*w + 44)>, <6, 1/54289*(832*w + 9088)>, <12, 1/87*(32*w - 41)>, <12, 1/233*(3*w + 212)>, <28, 1/4208*(9*w + 4127)>, <40, 1/281*(14*w + 126)>, <24, 1/182*(9*w - 18)>, <24, 1/1737*(182*w - 364)>, <6, 1/196*(w + 194)>, <6, 1/197*(w + 2)>, <12, 1/3*(w + 1)>, <12, 1/196*(5*w + 191)>, <6, 1/221*(196*w + 980)>, <12, 1/87*(26*w + 165)>, <12, 1/191*(3*w + 191)>, <24, 1/11*(w + 11)>, <12, 1/3553*(70*w - 840)>, <12, 1/263*(5*w + 40)>, <12, 1/238*(5*w + 218)>, <10, 1/1841*(144*w + 2993)>, <6, 1/64*(13*w + 142)>, <28, 1/191*(7*w + 191)>, <4, 1/74347*(2178*w + 59706)>, <4, 1/2717*(126*w + 3438)>, <4, 1/10621*(121*w + 7183)>, <20, 1/10*(w - 1)>, <16, 1/70*(11*w + 180)>, <12, 1/62339*(2002*w + 34619)>, <12, 1/50233*(990*w + 29223)>, <24, 1/9*(w + 8)>, <24, 1/247*(9*w + 63)>, <16, 1/112*(9*w - 72)>, <24, 1/50759*(1155*w + 16604)>, <24, 1/1547*(165*w + 2372)>, <12, 1/55357*(1575*w + 47475)>, <12, 1/225*(4*w + 36)>, <12, 1/1576*(225*w + 901)>, <4, 1/78961*(60*w + 62625)>, <4, 1/3165*(14*w + 3010)>, <4, 1/46631*(225*w + 48375)>, <4, 1/3094*(225*w + 1744)>, <4, 1/221*(210*w - 1260)>, <24, 1/233*(7*w + 42)>, <24, 7/191*w>, <24, 1/156*(7*w + 184)>, <24, 1/156*(7*w - 35)>, <12, 1/77*(12*w - 84)>, <4, 1/3*(w - 7)>, <4, 1/65473*(672*w + 56224)>, <4, 1/843*(42*w + 4357)>, <4, 1/4777*(9*w + 753)>, <4, 1/3262*(51*w + 3568)>, <12, 1/191*(w + 191)>, <12, 1/3*(w + 4)>, <12, 1/196*(5*w + 5)>, <16, 1/319*(18*w + 373)>, <24, 1/1247*(22*w + 994)>, <40, 1/11*w>, <16, 1/8213*(110*w + 1800)>, <12, 1/7627*(204*w + 4788)>, <24, 1/442*(11*w + 497)>, <24, 1/135*(8*w - 56)>, <16, 1/281*(19*w + 91)>, <8, 1/78961*(1520*w - 8800)>, <8, 1/80*(19*w - 110)>, <12, 1/44969*(968*w + 22584)>, <24, 1/9*(w + 7)>, <12, 1/2529*(110*w + 3519)>, <12, 1/9*(w - 1)>, <12, 1/221*(4*w + 197)>, <24, 1/8*(w + 6)>, <12, 1/225*(w - 2)>, <24, 1/1864*(135*w - 945)>, <28, 1/7*(w + 7)>, <4, 1/247*(3*w + 21)>, <4, 1/238*(3*w + 223)>, <4, 1/4777*(196*w + 2607)>, <4, 1/633*(196*w + 2607)>, <8, 1/5*(w - 5)>, <4, 1/15*(14*w + 141)>, <8, 1/211*(5*w - 25)>, <16, 1/9503*(80*w + 10128)>, <16, 1/16*(w + 10)>, <24, 1/50233*(1080*w + 23368)>, <24, 1/54233*(792*w + 41129)>, <24, 1/8*(15*w - 135)>, <24, 1/50233*(1080*w + 25785)>, <16, 1/16*(w + 5)>, <8, 1/3536*(45*w - 270)>, <16, 1/35*(16*w + 160)>, <4, 1/256*(7*w + 70)>, <4, 1/1989*(256*w + 453)>, <8, 1/45*(16*w - 96)>, <4, 1/1547*(144*w - 864)>, <4, 1/256*(7*w + 200)>, <4, 1/256*(9*w + 175)>, <8, 1/3952*(7*w - 56)>, <28, 1/4208*(9*w + 72)>, <8, 1/7*(16*w - 128)>, <-12, 1/247*(-6*w + 205)>, <-12, 1/3281*(-52*w + 720)>, <-12, 1/8213*(-130*w + 5730)>, <-4, 1/61009*(-330*w + 3124)>, <-24, 1/2563*(-90*w + 3193)>, <-12, 1/57491*(-1980*w + 34380)>, <-12, 1/195*(-4*w + 231)>, <-12, 1/211*(-4*w - 16)>, <-12, 1/41567*(-1183*w + 11823)>, <-12, 1/4*(-w + 2)>, <-4, 1/44521*(-1170*w + 22750)>, <-12, 1/195*(-4*w + 195)>, <-12, 1/211*(-4*w + 20)>, <-12, 1/323*(-6*w + 72)>, <-12, 1/323*(-4*w + 279)>, <-12, 1/2810*(-91*w + 3720)>, <-12, 1/256*(-5*w + 236)>, <-6, 1/2529*(-256*w + 2560)>, <-12, 1/140*(-9*w + 176)>, <-6, 1/25*(-16*w + 137)>, <-12, 1/44969*(-1040*w + 42224)>, <-4, 1/841*(-22*w + 572)>, <-12, 1/4199*(-24*w + 4487)>, <-24, 1/193*(-13*w + 180)>, <-12, 1/54587*(-450*w + 52425)>, <-12, 1/225*(-2*w + 16)>, <-12, 1/2431*(-225*w + 1306)>, <-24, 1/2321*(-112*w - 448)>, <-12, 1/63511*(-1815*w + 18271)>, <-24, 1/301*(-12*w + 181)>, <-12, 1/40723*(-507*w + 7599)>, <-12, 1/8*(-w + 10)>, <-12, 1/28*(-13*w + 171)>, <-24, 1/197*(-13*w + 39)>, <-12, 1/36863*(-338*w + 4922)>, <-12, 1/54233*(-1760*w + 26873)>, <-12, 1/9073*(-30*w + 9375)>, <-24, 1/3419*(-42*w + 3797)>, <-2, 1/2431*(-100*w + 3031)>, <-12, 1/197*(-7*w + 218)>, <-12, 1/1124*(-169*w + 2814)>, <-24, 1/13*(-w + 10)>, <-24, 1/8149*(-208*w + 2624)>, <-12, 1/81*(-10*w + 171)>, <-12, 1/197*(-w + 200)>, <-6, 1/841*(-28*w + 141)>, <-12, 1/50233*(-1638*w + 17109)>, <-12, 1/591*(-182*w - 364)>, <-12, 1/3*(-w + 3)>, <-12, 1/211*(-16*w + 80)>, <-12, 1/5168*(-45*w + 540)>, <-6, 1/58123*(-350*w + 54698)>, <-12, 1/145*(-24*w + 241)>, <-6, 1/699*(-169*w + 1882)>, <-4, 1/774*(-7*w + 550)>, <-4, 1/319*(-7*w + 550)>, <-4, 1/22*(-w + 33)>, <-4, 1/43*(-w + 33)>, <-12, 1/4845*(-22*w + 4603)>, <-12, 1/323*(-15*w + 180)>, <-12, 1/121*(-7*w + 191)>, <-12, 1/197*(-2*w + 6)>, <-12, 1/169*(-14*w + 169)>, <-12, 1/2561*(-132*w + 2957)>, <-12, 1/1165*(-168*w + 2341)>, <-12, 1/193*(-9*w - 9)>, <-16, 1/112*(-9*w + 211)>, <-12, 1/225*(-2*w + 221)>, <-12, 1/1631*(-225*w + 1575)>, <-12, 1/45901*(-900*w - 224)>, <-16, 1/221*(-15*w + 90)>, <-20, 1/56*(-15*w - 75)>, <-4, 1/210*(-w + 207)>, <-4, 1/15*(-2*w + 23)>, <-4, 1/28*(-w + 33)>, <-6, 1/46631*(-1210*w + 20691)>, <-6, 1/2123*(-144*w + 2411)>, <-12, 1/87*(-32*w - 9)>, <-12, 1/233*(-3*w + 215)>, <-6, 1/196*(-w + 195)>, <-6, 1/197*(-w + 3)>, <-12, 1/196*(-5*w + 196)>, <-6, 1/221*(-196*w + 1176)>, <-12, 1/87*(-26*w + 191)>, <-12, 1/191*(-3*w + 194)>, <-12, 1/3553*(-70*w - 770)>, <-12, 1/263*(-5*w + 45)>, <-12, 1/238*(-5*w + 223)>, <-10, 1/1841*(-144*w + 3137)>, <-4, 1/74347*(-2178*w + 61884)>, <-4, 1/2717*(-126*w + 3564)>, <-4, 1/10621*(-121*w + 7304)>, <-12, 1/62339*(-2002*w + 36621)>, <-12, 1/50233*(-990*w + 30213)>, <-16, 1/112*(-9*w - 63)>, <-12, 1/55357*(-1575*w + 49050)>, <-12, 1/225*(-4*w + 40)>, <-12, 1/1576*(-225*w + 1126)>, <-4, 1/78961*(-60*w + 62685)>, <-4, 1/3165*(-14*w + 3024)>, <-4, 1/46631*(-225*w + 48600)>, <-4, 1/3094*(-225*w + 1969)>, <-4, 1/221*(-210*w - 1050)>, <-12, 1/77*(-12*w - 72)>, <-4, 1/3*(-w - 6)>, <-4, 1/65473*(-672*w + 56896)>, <-4, 1/843*(-42*w + 4399)>, <-4, 1/4777*(-9*w + 762)>, <-4, 1/3262*(-51*w + 3619)>, <-12, 1/191*(-w + 192)>, <-12, 1/3*(-w + 5)>, <-12, 1/196*(-5*w + 10)>, <-12, 1/7627*(-204*w + 4992)>, <-12, 1/44969*(-968*w + 23552)>, <-12, 1/2529*(-110*w + 3629)>, <-12, -1/9*w>, <-12, 1/221*(-4*w + 201)>, <-12, 1/225*(-w - 1)>, <-4, 1/247*(-3*w + 24)>, <-4, 1/238*(-3*w + 226)>, <-4, 1/4777*(-196*w + 2803)>, <-4, 1/633*(-196*w + 2803)>, <-4, 1/15*(-14*w + 155)>, <-4, 1/256*(-7*w + 77)>, <-4, 1/1989*(-256*w + 709)>, <-4, 1/1547*(-144*w - 720)>, <-4, 1/256*(-7*w + 207)>, <-4, 1/256*(-9*w + 184)> ]