/* Defining polynomial */ x^2 + 193 /* GCD of coefficients */ 1 /* 24 * |disc|^(3/2) /(8*pi^2)* zeta_F(2) */ 9052.00799399570854829989453883 /* Belt */ [ <60, 1/209*(9*w + 173)>, <60, 1/9*(w + 5)>, <48, 1/209*(8*w + 177)>, <6, 1/38*(w + 23)>, <186, 1/11*(w + 4)>, <24, 1/109*(5*w + 134)>, <24, 1/109*(5*w - 25)>, <144, 1/10*(w + 5)>, <186, 1/11*(w + 7)>, <102, 1/202*(11*w + 33)>, <6, 1/81*(11*w + 169)>, <92, 1/257*(16*w + 129)>, <6, 1/169*(5*w + 189)>, <42, 1/5*(w + 4)>, <34, 1/7*w>, <72, 1/101*(3*w + 92)>, <6, 1/337*(9*w + 108)>, <6, 1/909*(128*w + 384)>, <12, 1/1199*(54*w + 1469)>, <96, 1/229*(11*w + 163)>, <36, 1/10*(w + 4)>, <36, 1/229*(10*w + 169)>, <36, 1/229*(9*w + 54)>, <6, 1/121*(12*w + 157)>, <24, 1/418*(9*w + 135)>, <24, 1/229*(9*w - 54)>, <24, 1/1781*(20*w + 1961)>, <84, 1/209*(13*w + 157)>, <12, 1/8*(w - 7)>, <24, 1/5567*(70*w + 765)>, <24, 1/308*(5*w - 35)>, <12, 1/16*(w + 6)>, <12, 1/27*(16*w + 160)>, <24, 1/117*(11*w + 183)>, <34, 1/7*(w + 7)>, <12, 1/303*(128*w + 384)>, <12, 1/256*(9*w + 175)>, <12, 1/13837*(384*w - 243)>, <24, 1/2519*(117*w + 3221)>, <12, 1/606*(119*w + 357)>, <12, 1/6*(w - 3)>, <24, 1/193*(4*w + 193)>, <12, 1/1254*(169*w + 1930)>, <12, 1/21109*(560*w + 6629)>, <60, 1/202*(7*w + 181)>, <48, 1/13837*(210*w + 2905)>, <24, 1/157*(7*w + 77)>, <24, 1/1067*(91*w + 1158)>, <24, 1/182*(11*w + 193)>, <48, 1/13837*(210*w + 10932)>, <24, 1/157*(7*w + 80)>, <24, 1/8*(w + 8)>, <12, 1/70418*(2057*w + 14641)>, <24, 9/193*w>, <48, 1/197*(5*w + 187)>, <48, 1/197*(5*w + 10)>, <84, 1/121*(6*w + 79)>, <24, 1/1285*(52*w - 416)>, <84, 1/12*(w + 5)>, <24, 1/4384*(15*w + 135)>, <24, 1/4384*(15*w + 4249)>, <60, 1/202*(7*w + 21)>, <24, 1/52*(5*w - 40)>, <36, 1/60*(13*w + 151)>, <108, 1/229*(13*w + 78)>, <112, 1/137*(8*w + 72)>, <12, 1/9*(8*w + 65)>, <24, 1/4246*(105*w + 1351)>, <108, 1/13*(w + 6)>, <24, 1/4246*(105*w + 2895)>, <90, 1/257*(13*w + 104)>, <48, 1/14933*(126*w + 1332)>, <36, 1/257*(9*w + 185)>, <48, 1/137*(5*w + 45)>, <90, 1/218*(13*w + 65)>, <48, 1/18*(7*w + 74)>, <48, 1/137*(5*w + 92)>, <36, 1/194*(9*w + 185)>, <204, 1/121*(7*w + 72)>, <16, 1/137*(9*w + 56)>, <8, 1/18769*(225*w - 1400)>, <8, 1/25*(9*w - 56)>, <16, 1/229*(12*w + 157)>, <2, 1/71906*(425*w + 3175)>, <30, 1/17*(w + 11)>, <2, 1/3893*(60*w + 785)>, <2, 1/1145*(204*w + 3814)>, <1, 1/25*(12*w + 157)>, <1, 1/52441*(3468*w + 45373)>, <12, 1/873*(88*w + 961)>, <24, 1/8*(w + 9)>, <12, 1/1096*(65*w - 585)>, <44, 1/229*(5*w + 30)>, <6, 1/169*(12*w + 157)>, <48, 1/1507*(42*w - 378)>, <24, 1/17113*(168*w + 15664)>, <42, 1/5*(w + 1)>, <48, 1/2344*(15*w + 2194)>, <24, 1/1089*(65*w + 1544)>, <48, 1/1145*(56*w - 336)>, <60, 1/7*(w + 6)>, <24, 1/1313*(66*w - 198)>, <24, 1/1313*(66*w + 1511)>, <12, 1/32813*(560*w + 13853)>, <12, 1/314*(7*w + 237)>, <6, 1/337*(16*w + 192)>, <6, 1/81*(16*w + 145)>, <36, 1/97*(w + 96)>, <6, 1/197*(w + 2)>, <6, 1/97*(98*w + 98)>, <28, 1/12*(w + 1)>, <12, 1/13*(w + 12)>, <12, 1/32689*(1092*w + 15204)>, <28, 1/97*(6*w + 6)>, <96, 1/11*(w + 5)>, <12, 1/25957*(748*w + 14465)>, <102, 1/202*(11*w + 169)>, <112, 1/121*(8*w + 56)>, <48, 1/84*(11*w - 99)>, <48, 1/16577*(120*w + 17552)>, <12, 1/59186*(429*w + 53807)>, <36, 1/13*(w + 10)>, <24, 1/1832*(21*w + 1958)>, <12, 1/314*(11*w + 121)>, <12, 1/72*(11*w - 121)>, <30, 1/17*(w + 6)>, <28, 1/60*(17*w + 187)>, <24, 1/26441*(585*w + 13896)>, <48, 1/12221*(280*w + 4816)>, <60, 1/229*(7*w + 42)>, <60, 1/257*(17*w + 121)>, <12, 1/1781*(18*w + 1943)>, <96, 1/137*(7*w + 63)>, <36, 1/27709*(390*w + 4530)>, <28, 1/35953*(510*w + 39763)>, <24, 1/2329*(16*w + 2185)>, <24, 1/30929*(1008*w + 24080)>, <12, 1/193*(w + 193)>, <24, 1/202*(3*w + 9)>, <12, 98/193*w>, <12, 1/3598*(33*w - 264)>, <60, 1/14*(w + 8)>, <24, 1/224*(9*w + 215)>, <12, 1/2167*(153*w + 2473)>, <36, 1/274*(11*w + 175)>, <24, 1/57721*(780*w + 11245)>, <12, 1/1233*(56*w + 1737)>, <24, 1/193*(9*w + 193)>, <24, 1/25*(7*w - 49)>, <24, 1/1694*(25*w - 175)>, <24, 1/65*(12*w + 173)>, <60, 1/274*(17*w + 121)>, <24, 1/1111*(30*w + 516)>, <24, 1/4883*(84*w + 1127)>, <24, 1/11737*(340*w + 3832)>, <24, 1/57721*(1768*w + 10648)>, <84, 1/209*(13*w + 52)>, <24, 1/291*(112*w + 179)>, <24, 1/121*(3*w + 100)>, <24, 1/95*(6*w - 24)>, <24, 1/4883*(84*w + 3756)>, <36, 1/13289*(360*w + 6665)>, <24, 1/11737*(340*w + 7905)>, <24, 1/221*(8*w + 8)>, <24, 1/291*(112*w + 112)>, <24, 1/6*(w - 1)>, <72, 1/15*(w + 8)>, <24, 1/209*(4*w + 193)>, <12, 4/225*w>, <72, 1/15*(w + 7)>, <24, 1/194*(3*w + 197)>, <24, 1/197*(3*w - 6)>, <24, 1/194*(9*w + 203)>, <24, 1/23837*(455*w + 5000)>, <24, 1/157*(5*w + 102)>, <24, 1/109*(8*w + 40)>, <72, 1/101*(5*w + 15)>, <24, 1/3*(w + 4)>, <24, 1/218*(3*w + 15)>, <24, 1/97*(5*w + 102)>, <24, 1/16*(w + 5)>, <72, 1/101*(5*w + 86)>, <24, 1/9*(w + 10)>, <24, 1/23837*(455*w + 18837)>, <8, 1/1145*(72*w + 1577)>, <4, 1/1884*(25*w + 2159)>, <8, 1/72*(5*w + 102)>, <44, 1/229*(5*w + 199)>, <12, 1/208*(7*w + 7)>, <12, 1/194*(7*w - 7)>, <36, 1/121*(4*w + 28)>, <12, 1/65*(4*w - 28)>, <24, 1/242*(17*w + 119)>, <12, 1/77*(4*w - 12)>, <84, 1/101*(4*w + 12)>, <24, 1/293*(17*w + 170)>, <24, 1/591*(88*w - 176)>, <24, 1/76*(7*w + 104)>, <24, 1/15229*(330*w + 10224)>, <36, 1/274*(11*w + 99)>, <84, 1/101*(4*w + 89)>, <12, 1/128*(9*w + 173)>, <6, w - 2>, <6, 1/19897*(98*w + 19502)>, <12, 1/337*(12*w + 193)>, <12, 1/2702*(169*w + 2702)>, <12, 2/193*w>, <24, 1/981*(65*w - 325)>, <48, 1/72*(13*w + 163)>, <24, 1/23129*(585*w + 11375)>, <12, 1/28013*(572*w + 21281)>, <48, 1/72*(13*w - 91)>, <24, 1/143*(9*w - 36)>, <24, 1/143*(3*w - 21)>, <24, 1/2603*(39*w + 471)>, <12, 1/221*(6*w + 209)>, <12, 1/257*(6*w + 48)>, <24, 1/4334*(117*w + 2007)>, <24, 1/77*(4*w + 93)>, <24, 1/88*(3*w - 6)>, <12, 1/169*(8*w - 24)>, <24, 1/55*(6*w - 36)>, <36, 1/6*(w + 5)>, <12, 1/10573*(273*w + 8554)>, <12, 1/13289*(420*w + 2684)>, <24, 1/97*(4*w + 101)>, <48, 1/242*(9*w + 179)>, <12, 1/202*(3*w + 211)>, <12, 1/24961*(1078*w + 8987)>, <12, 1/2*(w - 3)>, <48, 1/9*(w + 2)>, <24, 1/4981*(49*w + 4491)>, <36, 1/5*w>, <12, 1/21037*(420*w + 16212)>, <12, 1/1212*(65*w + 1407)>, <36, 1/137*(6*w + 83)>, <24, 1/70418*(833*w + 76347)>, <36, 1/8*(w + 2)>, <36, 1/72*(5*w - 20)>, <36, 1/97*(3*w + 94)>, <12, 1/3084*(65*w + 3604)>, <12, 1/209*(12*w + 161)>, <12, 1/1526*(39*w + 1721)>, <96, 1/137*(7*w + 74)>, <36, 1/8*(w + 6)>, <24, 1/24929*(630*w + 18090)>, <24, 1/1815*(16*w + 1927)>, <24, 1/707*(90*w - 270)>, <24, 1/10573*(182*w + 9009)>, <24, 1/194*(3*w + 3)>, <24, 1/1526*(45*w + 1751)>, <24, 1/91*(2*w + 99)>, <24, 1/194*(3*w + 191)>, <24, 1/15857*(315*w + 12257)>, <60, 1/14*(w + 6)>, <12, 1/180*(7*w - 7)>, <6, 1/56026*(637*w + 7497)>, <12, 1/64*(15*w + 139)>, <12, 1/13837*(294*w + 3057)>, <12, w + 4>, <66, 1/7*(w + 2)>, <24, 1/13289*(308*w + 5512)>, <24, 1/2180*(143*w + 2895)>, <24, 1/606*(91*w + 879)>, <24, 1/52*(7*w - 28)>, <12, 1/13*(w + 2)>, <12, 1/30929*(182*w + 2394)>, <24, 1/1463*(52*w - 208)>, <24, 1/197*(6*w + 185)>, <6, 1/42946*(1183*w + 12019)>, <24, 1/4*(w + 2)>, <24, 1/6*(w + 4)>, <24, 1/916*(77*w + 1378)>, <66, 1/197*(7*w + 14)>, <36, 1/218*(5*w + 193)>, <24, 1/56549*(1430*w + 28950)>, <36, 1/202*(13*w + 163)>, <24, 1/11737*(273*w + 2637)>, <36, 1/8*(w + 7)>, <24, 1/26989*(539*w + 18414)>, <12, 1/11*(7*w + 74)>, <24, 1/26989*(539*w + 8575)>, <14, 1/23353*(504*w + 9457)>, <4, 1/2*(w + 9)>, <4, 1/1936*(72*w + 1351)>, <4, 1/14641*(72*w + 15992)>, <14, 1/847*(72*w + 1351)>, <24, 1/3084*(77*w + 3700)>, <24, 1/57721*(924*w + 44400)>, <24, 1/197*(10*w + 177)>, <24, 1/50629*(1170*w + 20709)>, <24, 1/981*(70*w + 1331)>, <24, 1/10*(w + 8)>, <36, 1/137*(6*w + 54)>, <24, 1/2290*(117*w - 702)>, <24, 1/981*(70*w - 350)>, <24, 1/388*(105*w + 493)>, <24, 1/105*(2*w + 107)>, <24, 1/91*(2*w + 95)>, <24, 1/182*(5*w - 35)>, <24, 1/9797*(182*w + 8645)>, <36, 1/229*(9*w + 175)>, <24, 1/182*(5*w + 217)>, <6, 1/49*(15*w + 139)>, <54, 1/229*(15*w + 139)>, <12, 1/165*(8*w + 181)>, <24, 1/29593*(637*w + 21606)>, <24, 1/29593*(637*w + 7987)>, <12, 1/14*(w + 4)>, <12, 1/61237*(182*w + 1989)>, <36, 1/293*(15*w + 143)>, <24, 1/56026*(975*w + 44551)>, <24, 1/1111*(75*w + 1336)>, <24, 1/97*(w + 98)>, <12, 1/57266*(1365*w + 16485)>, <12, 1/209*(15*w + 149)>, <12, 1/32813*(120*w - 1192)>, <18, 1/197*(7*w + 211)>, <12, 1/1096*(169*w + 2617)>, <54, 1/274*(15*w + 139)>, <24, 1/2977*(75*w + 3427)>, <36, 1/218*(15*w + 143)>, <24, 1/28421*(825*w + 14696)>, <24, 1/101*(w + 98)>, <24, 1/2192*(7*w + 2129)>, <48, 1/120*(11*w - 55)>, <24, 1/77*(5*w - 15)>, <48, 1/120*(11*w + 175)>, <24, 1/77*(5*w + 92)>, <24, 1/97*(2*w + 95)>, <24, 1/101*(2*w + 95)>, <24, 1/101*(2*w + 107)>, <24, 1/121*(2*w + 107)>, <6, 1/225*(7*w + 211)>, <12, 1/63874*(105*w - 1001)>, <24, 1/194*(105*w + 89)>, <6, 1/2*(w + 6)>, <6, 1/225*(2*w + 8)>, <24, 1/11009*(105*w + 89)>, <12, 1/1308*(49*w - 245)>, <24, 1/97*(2*w - 2)>, <24, 1/109*(2*w + 10)>, <12, 1/4*(w + 6)>, <12, 1/225*(w + 2)>, <24, 1/121*(w + 114)>, <6, 1/229*(2*w - 12)>, <6, 1/225*(2*w + 241)>, <24, 1/109*(w + 114)>, <24, 1/14933*(210*w + 2438)>, <24, 1/14933*(210*w + 12495)>, <12, 1/31373*(30*w + 278)>, <24, 1/31097*(240*w + 28905)>, <24, 1/7*(8*w - 65)>, <12, 1/256*(w + 249)>, <6, 1/1799*(128*w + 1024)>, <2, 16*w + 129>, <-6, 1/38*(-w + 23)>, <-6, 1/81*(-11*w + 169)>, <-6, 1/169*(-5*w + 189)>, <-6, 1/337*(-9*w + 108)>, <-6, 1/909*(-128*w + 384)>, <-12, 1/1199*(-54*w + 1469)>, <-6, 1/121*(-12*w + 157)>, <-24, 1/1781*(-20*w + 1961)>, <-12, 1/8*(-w - 7)>, <-12, 1/16*(-w + 6)>, <-12, 1/27*(-16*w + 160)>, <-12, 1/303*(-128*w + 384)>, <-12, 1/256*(-9*w + 175)>, <-12, 1/13837*(-384*w - 243)>, <-12, 1/606*(-119*w + 357)>, <-12, 1/6*(-w - 3)>, <-12, 1/1254*(-169*w + 1930)>, <-12, 1/21109*(-560*w + 6629)>, <-24, 1/8*(-w + 8)>, <-12, 1/70418*(-2057*w + 14641)>, <-12, 1/9*(-8*w + 65)>, <-2, 1/71906*(-425*w + 3175)>, <-2, 1/3893*(-60*w + 785)>, <-2, 1/1145*(-204*w + 3814)>, <-1, 1/25*(-12*w + 157)>, <-1, 1/52441*(-3468*w + 45373)>, <-12, 1/873*(-88*w + 961)>, <-12, 1/1096*(-65*w - 585)>, <-6, 1/169*(-12*w + 157)>, <-12, 1/32813*(-560*w + 13853)>, <-12, 1/314*(-7*w + 237)>, <-6, 1/337*(-16*w + 192)>, <-6, 1/81*(-16*w + 145)>, <-6, 1/197*(-w + 2)>, <-6, 1/97*(-98*w + 98)>, <-12, 1/13*(-w + 12)>, <-12, 1/32689*(-1092*w + 15204)>, <-12, 1/25957*(-748*w + 14465)>, <-12, 1/59186*(-429*w + 53807)>, <-12, 1/314*(-11*w + 121)>, <-12, 1/72*(-11*w - 121)>, <-12, 1/1781*(-18*w + 1943)>, <-24, 1/2329*(-16*w + 2185)>, <-12, 1/193*(-w + 193)>, <-24, 1/202*(-3*w + 9)>, <-12, -98/193*w>, <-12, 1/3598*(-33*w - 264)>, <-12, 1/2167*(-153*w + 2473)>, <-12, 1/1233*(-56*w + 1737)>, <-12, -4/225*w>, <-4, 1/1884*(-25*w + 2159)>, <-12, 1/208*(-7*w + 7)>, <-12, 1/194*(-7*w - 7)>, <-12, 1/65*(-4*w - 28)>, <-12, 1/77*(-4*w - 12)>, <-12, 1/128*(-9*w + 173)>, <-6, -w - 2>, <-6, 1/19897*(-98*w + 19502)>, <-12, 1/337*(-12*w + 193)>, <-12, 1/2702*(-169*w + 2702)>, <-12, -2/193*w>, <-12, 1/28013*(-572*w + 21281)>, <-12, 1/221*(-6*w + 209)>, <-12, 1/257*(-6*w + 48)>, <-12, 1/169*(-8*w - 24)>, <-12, 1/10573*(-273*w + 8554)>, <-12, 1/13289*(-420*w + 2684)>, <-12, 1/202*(-3*w + 211)>, <-12, 1/24961*(-1078*w + 8987)>, <-12, 1/2*(-w - 3)>, <-12, 1/21037*(-420*w + 16212)>, <-12, 1/1212*(-65*w + 1407)>, <-12, 1/3084*(-65*w + 3604)>, <-12, 1/209*(-12*w + 161)>, <-12, 1/1526*(-39*w + 1721)>, <-12, 1/180*(-7*w - 7)>, <-6, 1/56026*(-637*w + 7497)>, <-12, 1/64*(-15*w + 139)>, <-12, 1/13837*(-294*w + 3057)>, <-12, -w + 4>, <-12, 1/13*(-w + 2)>, <-12, 1/30929*(-182*w + 2394)>, <-6, 1/42946*(-1183*w + 12019)>, <-12, 1/11*(-7*w + 74)>, <-4, 1/2*(-w + 9)>, <-4, 1/1936*(-72*w + 1351)>, <-4, 1/14641*(-72*w + 15992)>, <-6, 1/49*(-15*w + 139)>, <-12, 1/165*(-8*w + 181)>, <-12, 1/14*(-w + 4)>, <-12, 1/61237*(-182*w + 1989)>, <-12, 1/57266*(-1365*w + 16485)>, <-12, 1/209*(-15*w + 149)>, <-12, 1/32813*(-120*w - 1192)>, <-18, 1/197*(-7*w + 211)>, <-12, 1/1096*(-169*w + 2617)>, <-6, 1/225*(-7*w + 211)>, <-12, 1/63874*(-105*w - 1001)>, <-6, 1/2*(-w + 6)>, <-6, 1/225*(-2*w + 8)>, <-12, 1/1308*(-49*w - 245)>, <-12, 1/4*(-w + 6)>, <-12, 1/225*(-w + 2)>, <-6, 1/229*(-2*w - 12)>, <-6, 1/225*(-2*w + 241)>, <-12, 1/31373*(-30*w + 278)>, <-12, 1/256*(-w + 249)>, <-6, 1/1799*(-128*w + 1024)>, <-2, -16*w + 129> ]