/* Defining polynomial */ x^2 - x + 215 /* GCD of coefficients */ 2 /* 24 * |disc|^(3/2) /(8*pi^2)* zeta_F(2) */ 9615.96993417706265423789408777 /* Belt */ [ <12, 1/24*(w - 9)>, <60, 1/41*(w + 8)>, <72, 1/227*(7*w + 21)>, <60, 1/227*(11*w + 183)>, <24, 1/187*(7*w - 28)>, <24, 51/301*w>, <24, 1/301*(51*w + 250)>, <12, 1/245*(24*w - 144)>, <114, 1/7*(w + 5)>, <24, 1/1589*(187*w - 748)>, <60, 1/11*(w + 7)>, <48, 1/69235*(1092*w + 14700)>, <48, 1/69235*(1092*w + 53443)>, <58, 1/257*(17*w + 102)>, <58, 1/17*(w + 6)>, <120, 1/245*(11*w + 55)>, <12, 1/2724*(143*w + 3153)>, <12, 1/287*(12*w + 179)>, <90, 1/14*(w + 5)>, <148, 1/287*(17*w + 136)>, <90, 1/35*(2*w + 10)>, <24, 1/1519*(208*w + 1727)>, <24, 1/215*(32*w - 32)>, <24, 1/58265*(1456*w + 12089)>, <24, 1/32*(w - 1)>, <24, 1/143*(9*w + 215)>, <48, 1/227*(8*w + 195)>, <48, 1/8*(w + 4)>, <24, 1/2583*(143*w + 3727)>, <12, 1/289*(6*w + 259)>, <6, 1/2925*(289*w + 2890)>, <36, 1/271*(9*w + 63)>, <12, 1/257*(6*w + 215)>, <12, 1/1290*(221*w + 1069)>, <36, 1/9*(w + 7)>, <106, 1/17*(w + 9)>, <60, 1/257*(14*w + 159)>, <48, 1/8*(w - 1)>, <24, 1/2021*(39*w + 344)>, <30, 1/65*(2*w + 20)>, <106, 1/17*(w + 7)>, <96, 1/287*(13*w + 170)>, <12, 1/51935*(1008*w + 22127)>, <72, 1/11*(w + 8)>, <12, 1/71675*(546*w + 64694)>, <48, 1/14*(w + 9)>, <16, 1/217*(3*w + 211)>, <6, 1/31*(4*w + 35)>, <60, 1/257*(14*w + 84)>, <48, 1/8*(w + 8)>, <30, 1/65*(2*w + 43)>, <24, 1/39*(w - 4)>, <24, 1/6*(w + 3)>, <24, 1/3*(w + 2)>, <24, 1/14*(w + 3)>, <48, 1/257*(10*w + 187)>, <48, 1/305*(18*w + 162)>, <48, 1/18*(w + 9)>, <24, 1/6*(w + 2)>, <24, 1/227*(14*w + 42)>, <24, 1/215*(3*w + 212)>, <48, 1/10*(w + 3)>, <24, 1/215*(3*w - 3)>, <24, 1/227*(3*w + 9)>, <136, 1/257*(13*w + 166)>, <12, 1/63685*(1092*w + 46668)>, <36, 1/271*(12*w + 175)>, <96, 1/11*(w + 4)>, <48, 1/16531*(119*w - 1064)>, <36, 1/235*(12*w + 175)>, <24, 1/13975*(231*w + 4284)>, <24, 1/514*(11*w - 77)>, <114, 1/35*(w + 5)>, <24, 1/11*(2*w - 14)>, <96, 1/235*(11*w + 44)>, <24, 1/13975*(231*w + 9460)>, <48, 1/16531*(119*w + 17476)>, <72, 1/227*(9*w + 27)>, <72, 1/9*(w + 3)>, <12, 1/87185*(918*w + 95285)>, <12, 1/17*(w + 12)>, <12, 1/7*(w + 6)>, <12, 1/55255*(1456*w + 43264)>, <36, 1/12*(w + 9)>, <36, 1/12*(w + 2)>, <96, 1/235*(13*w + 170)>, <24, 1/861*(8*w + 925)>, <48, 1/1170*(11*w + 1049)>, <24, 1/14*(3*w - 21)>, <48, 1/257*(12*w + 72)>, <30, 1/7*(w - 3)>, <24, 1/14*(3*w + 32)>, <48, 1/245*(12*w + 60)>, <24, 1/3055*(24*w + 2775)>, <30, 1/221*(7*w - 21)>, <48, 1/55*(18*w - 143)>, <24, 1/153*(16*w - 48)>, <24, 1/208*(9*w - 27)>, <24, 1/2439*(143*w + 3440)>, <24, 1/61705*(1287*w + 30960)>, <96, 1/271*(15*w + 105)>, <6, 1/121*(10*w + 191)>, <38, 1/10*(w + 7)>, <24, 4/215*w>, <24, 1/215*(4*w + 211)>, <24, 1/2497*(182*w + 3043)>, <24, 1/182*(11*w + 215)>, <24, 1/3760*(99*w + 4156)>, <24, 1/61517*(1408*w + 23424)>, <24, 1/420*(17*w - 102)>, <24, 1/93*(32*w + 125)>, <24, 1/33*(16*w - 128)>, <24, 1/66185*(1056*w + 46409)>, <48, 1/305*(11*w + 195)>, <24, 1/4336*(33*w - 264)>, <36, 1/5*(w + 6)>, <12, 1/1285*(192*w - 1344)>, <12, 1/80507*(1056*w + 21888)>, <12, 1/11*(w - 2)>, <24, 1/119*(12*w - 72)>, <24, 1/7735*(96*w + 375)>, <24, 1/84217*(1584*w + 66496)>, <24, 1/128*(11*w + 183)>, <72, 1/271*(16*w + 112)>, <72, 1/16*(w + 7)>, <6, 1/4112*(49*w + 4406)>, <42, 1/257*(16*w + 96)>, <132, 1/13*(w + 7)>, <24, 1/154*(9*w + 226)>, <132, 1/271*(13*w + 91)>, <6, 1/205*(2*w + 23)>, <24, 1/154*(9*w - 81)>, <24, 1/2827*(117*w + 3529)>, <12, 1/61517*(1650*w + 32417)>, <24, 1/117*(11*w + 183)>, <24, 1/9*w>, <24, 9/215*w>, <60, 1/305*(13*w + 117)>, <12, 1/2585*(136*w + 3129)>, <60, 1/305*(13*w + 175)>, <14, 1/36*(17*w + 138)>, <48, 1/305*(11*w + 99)>, <24, 1/96*(11*w - 110)>, <12, 1/36*(17*w + 170)>, <40, 1/82655*(306*w + 85085)>, <12, 1/5525*(36*w + 360)>, <24, 1/215*(6*w + 209)>, <12, 1/215*(11*w + 204)>, <12, 1/69875*(2244*w + 26015)>, <24, 6/215*w>, <24, 1/427*(3*w + 393)>, <24, 1/425*(6*w + 335)>, <48, 8/215*w>, <24, 1/235*(39*w + 391)>, <36, 2/43*w>, <24, 1/427*(3*w + 31)>, <24, 1/425*(6*w + 84)>, <12, 1/67405*(924*w + 52236)>, <16, 1/235*(3*w + 12)>, <12, 1/196*(13*w + 170)>, <12, 1/217*(34*w + 34)>, <12, 1/2600*(121*w - 1331)>, <24, 1/325*(12*w + 193)>, <48, 1/8*w>, <36, 1/43*(2*w + 41)>, <24, 1/2107*(39*w + 391)>, <24, 1/227*(11*w - 44)>, <24, 1/187*(14*w - 42)>, <24, 1/110*(13*w - 78)>, <24, 1/221*(14*w + 179)>, <24, 1/221*(14*w + 28)>, <24, 1/425*(11*w + 154)>, <24, 1/187*(14*w + 215)>, <24, 1/110*(13*w + 175)>, <24, 1/224*(3*w + 236)>, <24, 1/224*(3*w - 15)>, <42, 1/257*(16*w + 145)>, <24, 1/329*(36*w - 180)>, <24, 1/813*(11*w + 890)>, <12, 1/4*(w + 7)>, <12, 1/908*(255*w - 112)>, <72, 1/287*(15*w + 120)>, <72, 1/11*(w + 2)>, <72, 1/257*(15*w + 90)>, <24, 1/329*(36*w + 473)>, <24, 1/11*(3*w + 32)>, <12, 1/1935*(224*w + 1711)>, <12, 1/305*(9*w + 215)>, <24, 1/85*(w + 14)>, <24, 1/85*(w + 70)>, <108, 1/17*(w + 2)>, <12, 1/12*(w - 3)>, <52, 1/235*(9*w + 36)>, <6, 1/20*(3*w + 32)>, <42, 1/47*(3*w + 32)>, <24, 1/14365*(264*w + 7821)>, <60, 1/7*(w + 4)>, <84, 1/47*(2*w + 37)>, <24, 1/301*(6*w + 258)>, <12, 1/215*(w + 214)>, <6, 9/86*w>, <24, 1/301*(6*w + 37)>, <60, 1/221*(7*w + 200)>, <84, 1/47*(2*w + 8)>, <24, 1/165*(8*w + 237)>, <36, 1/325*(16*w + 160)>, <108, 1/13*(w + 2)>, <36, 1/16*(w + 10)>, <2, 1/47089*(624*w + 2577)>, <2, 1/6800*(169*w + 3641)>, <2, 1/651*(169*w + 3641)>, <2, 1/39*(16*w - 201)>, <2, 1/92225*(624*w - 7839)>, <2, 1/9*(29*w - 10)>, <2, 1/217*(16*w + 16)>, <2, 1/16*(w + 1)>, <6, 1/82369*(1700*w + 13400)>, <24, 1/235*(4*w + 16)>, <24, 1/215*(4*w - 4)>, <24, 1/227*(15*w + 45)>, <24, 1/15*(w + 3)>, <24, 1/272*(3*w + 260)>, <36, 1/227*(5*w + 15)>, <12, 1/192*(5*w - 20)>, <24, 1/70315*(816*w + 70720)>, <24, 1/2585*(144*w + 3161)>, <8, 1/50995*(624*w + 4611)>, <16, 1/235*(3*w + 220)>, <4, 1/7*(w + 11)>, <4, 1/16*(w + 11)>, <4, 1/3760*(208*w + 1537)>, <4, 1/55225*(1456*w + 65984)>, <8, 1/705*(208*w + 1537)>, <24, 1/144*(11*w + 188)>, <6, 1/67405*(1792*w + 60160)>, <44, 1/221*(5*w + 10)>, <24, 1/854*(9*w + 935)>, <24, 1/8401*(198*w + 4378)>, <60, 1/7*(w + 8)>, <24, 1/14755*(126*w + 13090)>, <24, 1/154*(9*w + 199)>, <12, 1/490*(13*w - 78)>, <24, 1/1435*(18*w + 1210)>, <24, 1/542*(9*w + 605)>, <12, 1/2951*(136*w - 544)>, <12, 1/102*(13*w - 78)>, <32, 1/305*(19*w + 115)>, <16, 1/56*(19*w - 134)>, <16, 1/93025*(1064*w - 7504)>, <12, 1/56797*(1584*w + 21069)>, <48, 1/221*(9*w + 194)>, <24, 1/2940*(143*w + 3655)>, <12, 1/75299*(624*w + 65507)>, <12, 1/347*(13*w + 191)>, <24, 1/74605*(1716*w + 43860)>, <6, 1/74725*(1156*w - 3016)>, <6, 1/245*(4*w + 265)>, <24, 1/7*(w + 14)>, <24, 1/2989*(30*w + 310)>, <24, 1/271*(7*w + 320)>, <24, 1/217*(10*w + 197)>, <12, 1/62279*(1870*w + 23570)>, <48, 1/14*(w + 4)>, <38, 1/271*(10*w + 70)>, <24, 1/2989*(30*w + 2649)>, <96, 1/49*(3*w + 15)>, <24, 1/2873*(165*w - 495)>, <24, 1/2873*(165*w + 3203)>, <96, 1/61*(3*w + 27)>, <24, 1/2867*(48*w + 371)>, <24, 1/2867*(48*w + 2448)>, <24, 1/180*(7*w + 215)>, <24, 1/13*(3*w - 21)>, <24, 1/2989*(39*w + 2547)>, <24, 1/180*(7*w - 42)>, <60, 1/5*(w + 4)>, <14, 1/82655*(272*w + 2160)>, <24, 1/30*(w + 32)>, <24, 1/30*(w - 3)>, <60, 1/43*(w + 42)>, <12, 1/60395*(891*w + 44924)>, <12, 1/490*(27*w + 625)>, <12, 1/42*(w - 1)>, <12, 1/3689*(52*w + 920)>, <24, 1/245*(8*w + 197)>, <24, 1/8*(w + 2)>, <24, 1/165*(8*w + 197)>, <12, 1/215*(w + 215)>, <12, 1/344*(45*w - 45)>, <24, 1/376*(33*w + 508)>, <24, 1/9*(w + 14)>, <24, 1/425*(9*w + 126)>, <4, 1/190*(9*w - 18)>, <4, 1/2170*(247*w + 1676)>, <4, 1/217*(10*w - 20)>, <4, 1/75299*(1300*w + 19100)>, <8, 1/271*(19*w + 133)>, <24, 1/172*(51*w + 121)>, <24, 1/13489*(204*w + 484)>, <24, 1/227*(5*w + 242)>, <24, 1/287*(5*w + 242)>, <12, 1/3*(w + 7)>, <12, 1/256*(5*w + 20)>, <36, 1/227*(5*w + 207)>, <2, 1/48841*(980*w + 7485)>, <12, 1/56797*(1260*w + 28377)>, <48, 1/257*(9*w + 194)>, <24, 1/1085*(26*w + 305)>, <24, 1/227*(26*w + 305)>, <12, 1/1830*(169*w + 3351)>, <16, 1/305*(8*w + 72)>, <4, 1/88*(13*w + 166)>, <12, 1/66*(13*w - 117)>, <12, 1/85015*(748*w + 91307)>, <12, 1/17*(w + 11)>, <24, 1/77*(4*w + 97)>, <24, 1/33*(2*w - 10)>, <24, 1/85*(2*w + 55)>, <24, 1/77*(4*w - 24)>, <24, 1/470*(33*w - 165)>, <24, 1/85*(2*w + 28)>, <24, 1/39*(2*w - 4)>, <12, 1/50167*(225*w + 50175)>, <12, 1/225*(4*w + 12)>, <12, 1/442*(225*w - 233)>, <24, 1/434*(39*w - 78)>, <24, 1/490*(33*w + 655)>, <24, 1/490*(33*w - 198)>, <48, 1/43*(w - 1)>, <48, 1/49*(w + 5)>, <12, 1/217*(w + 218)>, <12, 1/4*(w + 6)>, <12, 1/225*(8*w + 16)>, <4, 1/154*(9*w + 190)>, <12, 1/2867*(42*w + 683)>, <24, 1/61*(w + 51)>, <12, 1/425*(4*w + 365)>, <24, 1/425*(8*w + 305)>, <24, 1/425*(8*w + 112)>, <24, 1/2989*(48*w + 2445)>, <4, 1/76687*(1134*w + 61054)>, <8, 1/19*(w + 7)>, <4, 1/76687*(2394*w + 10719)>, <4, 1/9*(w - 3)>, <4, 1/171*(10*w + 191)>, <12, 1/117*(10*w - 90)>, <24, 1/170*(9*w - 45)>, <24, 1/12341*(306*w + 5031)>, <12, 1/3055*(6*w + 2985)>, <42, 1/65*(3*w + 32)>, <12, 1/227*(w + 230)>, <12, 1/2303*(90*w + 548)>, <12, 1/2*(w - 4)>, <24, 1/4592*(15*w + 4712)>, <36, 1/5*(w - 2)>, <6, 1/221*(5*w + 231)>, <6, 1/1355*(196*w + 2727)>, <24, 1/1271*(26*w + 832)>, <24, 1/26*(w + 32)>, <12, 1/217*(6*w + 6)>, <12, 1/169*(8*w + 201)>, <12, 1/11*(16*w - 165)>, <24, 1/91*(3*w + 106)>, <24, 1/1927*(39*w + 1378)>, <24, 1/34*(3*w - 9)>, <12, 1/225*(4*w + 221)>, <12, 1/98*(45*w + 225)>, <12, 1/2107*(45*w + 127)>, <24, 1/215*(6*w + 129)>, <24, 1/2989*(12*w + 2853)>, <24, 1/4305*(32*w + 4561)>, <16, 1/83525*(544*w + 87941)>, <24, 1/542*(27*w + 731)>, <24, 1/27*(2*w + 41)>, <12, 1/69647*(1050*w + 11925)>, <6, w + 6>, <6, 1/256*(w + 5)>, <12, 1/215*(2*w + 215)>, <12, 1/2*(w + 4)>, <12, 1/45*(w + 2)>, <24, 1/16*(3*w - 18)>, <14, 1/36*(17*w - 119)>, <4, 1/2925*(136*w + 4285)>, <4, 1/325*(9*w + 90)>, <4, 1/8*(w + 1)>, <4, 1/153*(8*w - 56)>, <6, 1/257*(w - 7)>, <6, 1/256*(w + 263)>, <12, 1/257*(2*w + 243)>, <12, 1/752*(45*w + 527)>, <4, 1/58807*(1224*w + 30519)>, <16, 1/305*(8*w + 225)>, <4, 1/153*(8*w + 225)>, <40, 1/18*(17*w + 153)>, <14, 1/4607*(16*w - 128)>, <8, 1/82369*(34*w - 302)>, <8, 1/2*(17*w - 151)>, <-12, 1/24*(-w - 8)>, <-12, 1/245*(-24*w - 120)>, <-12, 1/2724*(-143*w + 3296)>, <-12, 1/287*(-12*w + 191)>, <-12, 1/289*(-6*w + 265)>, <-6, 1/2925*(-289*w + 3179)>, <-12, 1/257*(-6*w + 221)>, <-12, 1/1290*(-221*w + 1290)>, <-12, 1/51935*(-1008*w + 23135)>, <-12, 1/71675*(-546*w + 65240)>, <-6, 1/31*(-4*w + 39)>, <-12, 1/63685*(-1092*w + 47760)>, <-12, 1/87185*(-918*w + 96203)>, <-12, 1/17*(-w + 13)>, <-12, 1/7*(-w + 7)>, <-12, 1/55255*(-1456*w + 44720)>, <-6, 1/121*(-10*w + 201)>, <-12, 1/1285*(-192*w - 1152)>, <-12, 1/80507*(-1056*w + 22944)>, <-12, 1/11*(-w - 1)>, <-6, 1/4112*(-49*w + 4455)>, <-6, 1/205*(-2*w + 25)>, <-12, 1/61517*(-1650*w + 34067)>, <-12, 1/2585*(-136*w + 3265)>, <-12, 1/215*(-11*w + 215)>, <-12, 1/69875*(-2244*w + 28259)>, <-12, 1/67405*(-924*w + 53160)>, <-12, 1/196*(-13*w + 183)>, <-12, 1/217*(-34*w + 68)>, <-12, 1/2600*(-121*w - 1210)>, <-24, 1/325*(-12*w + 205)>, <-12, 1/4*(-w + 8)>, <-12, 1/908*(-255*w + 143)>, <-12, 1/1935*(-224*w + 1935)>, <-12, 1/305*(-9*w + 224)>, <-12, 1/12*(-w - 2)>, <-6, 1/20*(-3*w + 35)>, <-6, 1/86*(-9*w + 9)>, <-2, 1/47089*(-624*w + 3201)>, <-2, 1/6800*(-169*w + 3810)>, <-2, 1/651*(-169*w + 3810)>, <-6, 1/82369*(-1700*w + 15100)>, <-12, 1/192*(-5*w - 15)>, <-4, 1/7*(-w + 12)>, <-4, 1/16*(-w + 12)>, <-4, 1/3760*(-208*w + 1745)>, <-4, 1/55225*(-1456*w + 67440)>, <-6, 1/67405*(-1792*w + 61952)>, <-12, 1/490*(-13*w - 65)>, <-12, 1/2951*(-136*w - 408)>, <-12, 1/102*(-13*w - 65)>, <-12, 1/56797*(-1584*w + 22653)>, <-12, 1/75299*(-624*w + 66131)>, <-12, 1/347*(-13*w + 204)>, <-6, 1/74725*(-1156*w - 1860)>, <-6, 1/245*(-4*w + 269)>, <-24, 1/217*(-10*w + 207)>, <-12, 1/62279*(-1870*w + 25440)>, <-12, 1/60395*(-891*w + 45815)>, <-12, 1/490*(-27*w + 652)>, <-12, -1/42*w>, <-12, 1/3689*(-52*w + 972)>, <-12, 1/215*(-w + 216)>, <-12, -45/344*w>, <-4, 1/190*(-9*w - 9)>, <-4, 1/2170*(-247*w + 1923)>, <-4, 1/217*(-10*w - 10)>, <-4, 1/75299*(-1300*w + 20400)>, <-12, 1/3*(-w + 8)>, <-12, 1/256*(-5*w + 25)>, <-2, 1/48841*(-980*w + 8465)>, <-12, 1/56797*(-1260*w + 29637)>, <-12, 1/1830*(-169*w + 3520)>, <-4, 1/88*(-13*w + 179)>, <-12, 1/66*(-13*w - 104)>, <-12, 1/85015*(-748*w + 92055)>, <-12, 1/17*(-w + 12)>, <-12, 1/50167*(-225*w + 50400)>, <-12, 1/225*(-4*w + 16)>, <-12, 1/442*(-225*w - 8)>, <-12, 1/217*(-w + 219)>, <-12, 1/4*(-w + 7)>, <-12, 1/225*(-8*w + 24)>, <-4, 1/154*(-9*w + 199)>, <-12, 1/2867*(-42*w + 725)>, <-24, 1/61*(-w + 52)>, <-12, 1/425*(-4*w + 369)>, <-4, 1/76687*(-1134*w + 62188)>, <-4, 1/76687*(-2394*w + 13113)>, <-4, 1/9*(-w - 2)>, <-4, 1/171*(-10*w + 201)>, <-12, 1/117*(-10*w - 80)>, <-12, 1/3055*(-6*w + 2991)>, <-12, 1/227*(-w + 231)>, <-12, 1/2303*(-90*w + 638)>, <-12, 1/2*(-w - 3)>, <-24, 1/4592*(-15*w + 4727)>, <-6, 1/221*(-5*w + 236)>, <-6, 1/1355*(-196*w + 2923)>, <-12, 1/217*(-6*w + 12)>, <-12, 1/169*(-8*w + 209)>, <-12, 1/11*(-16*w - 149)>, <-12, 1/225*(-4*w + 225)>, <-12, 1/98*(-45*w + 270)>, <-12, 1/2107*(-45*w + 172)>, <-24, 1/2989*(-12*w + 2865)>, <-24, 1/4305*(-32*w + 4593)>, <-16, 1/83525*(-544*w + 88485)>, <-12, 1/69647*(-1050*w + 12975)>, <-6, -w + 7>, <-6, 1/256*(-w + 6)>, <-12, 1/215*(-2*w + 217)>, <-12, 1/2*(-w + 5)>, <-12, 1/45*(-w + 3)>, <-4, 1/2925*(-136*w + 4421)>, <-4, 1/325*(-9*w + 99)>, <-4, 1/8*(-w + 2)>, <-4, 1/153*(-8*w - 48)>, <-6, 1/257*(-w - 6)>, <-6, 1/256*(-w + 264)>, <-12, 1/257*(-2*w + 245)>, <-12, 1/752*(-45*w + 572)>, <-4, 1/58807*(-1224*w + 31743)>, <-4, 1/153*(-8*w + 233)> ]