/* Defining polynomial */ x^2 - x + 177 /* GCD of coefficients */ 2 /* 24 * |disc|^(3/2) /(8*pi^2)* zeta_F(2) */ 7984.62898814907466221283856355 /* Belt */ [ <48, 1/10*(w + 4)>, <48, 1/197*(10*w + 40)>, <12, 1/1869*(50*w + 1725)>, <12, 1/75*(2*w + 18)>, <12, 1/147*(25*w + 47)>, <192, 1/21*(w + 3)>, <24, 1/4599*(110*w + 1639)>, <192, 1/21*(w + 17)>, <24, 1/99*(10*w + 149)>, <12, 1/14*(w - 4)>, <108, 1/207*(11*w + 141)>, <48, 1/90*(11*w + 145)>, <24, 1/531*(182*w + 531)>, <24, 1/182*(3*w + 182)>, <24, 1/207*(14*w + 123)>, <12, 1/83*(3*w + 107)>, <84, 1/83*(4*w + 32)>, <108, 1/11*(w + 4)>, <72, 1/197*(9*w + 36)>, <12, 1/143*(6*w - 30)>, <12, 1/197*(6*w + 24)>, <48, 1/253*(10*w + 303)>, <108, 1/11*(w + 6)>, <24, 1/56*(5*w + 71)>, <24, 1/949*(18*w + 1057)>, <24, 1/197*(13*w - 65)>, <24, 1/2561*(80*w + 2881)>, <72, 1/249*(13*w + 132)>, <24, 1/13*(w - 5)>, <24, 1/16351*(234*w + 13741)>, <24, 1/1403*(40*w + 568)>, <12, 1/1035*(14*w - 84)>, <84, 1/15*(w + 5)>, <48, 1/177*(5*w + 172)>, <48, 1/197*(5*w + 172)>, <148, 1/15*(w + 6)>, <32, 1/1095*(8*w - 56)>, <136, 1/219*(13*w + 128)>, <12, 1/75*(2*w + 65)>, <12, 1/581*(75*w + 600)>, <12, 1/16351*(300*w + 76)>, <48, 1/40*(3*w - 15)>, <96, 1/12*(w + 6)>, <12, 1/591*(224*w - 529)>, <12, 1/233*(3*w + 209)>, <24, 1/730*(33*w + 928)>, <48, 1/591*(40*w - 200)>, <24, 1/14857*(330*w + 9280)>, <96, 1/73*(4*w + 24)>, <126, 1/233*(13*w + 91)>, <24, 1/179*(4*w + 4)>, <24, 1/207*(4*w + 20)>, <12, 1/249*(10*w + 159)>, <12, 1/31683*(169*w + 1601)>, <36, 1/8*(w + 8)>, <12, 5/182*w>, <36, 1/177*(5*w - 5)>, <48, 1/197*(8*w + 32)>, <48, 1/8*(w + 4)>, <24, 1/297*(16*w - 64)>, <48, 1/11*(w + 3)>, <24, 1/2628*(65*w + 3018)>, <24, 1/45901*(780*w + 36216)>, <126, 1/233*(13*w + 129)>, <12, 1/3262*(25*w - 200)>, <36, 1/233*(16*w + 105)>, <136, 1/27*(w + 3)>, <12, 1/5727*(80*w + 5920)>, <12, 1/3*(w + 8)>, <24, 1/4*(w + 5)>, <24, 1/179*(4*w + 171)>, <24, 1/197*(14*w + 127)>, <12, 1/69*(4*w + 89)>, <48, 1/183*(10*w + 153)>, <48, 1/179*(8*w + 8)>, <4, 1/179*(13*w + 13)>, <4, 1/10*(13*w + 153)>, <8, 1/179*(10*w - 20)>, <4, 1/179*(169*w + 2168)>, <8, 1/10*(w - 2)>, <4, 1/4326*(169*w + 2168)>, <4, 1/32757*(182*w - 185)>, <4, w - 2>, <24, 1/5251*(168*w + 3304)>, <24, 1/179*(3*w + 173)>, <24, 1/5251*(168*w + 1779)>, <12, 1/4897*(168*w + 1593)>, <48, 1/59*(3*w + 56)>, <148, 1/15*(w + 8)>, <24, 1/366*(55*w + 476)>, <96, 1/73*(3*w + 18)>, <24, 1/55*(2*w + 59)>, <12, 1/44571*(910*w + 19481)>, <12, 1/7*(w + 8)>, <12, 1/143*(6*w + 185)>, <12, 1/179*(6*w - 12)>, <48, 1/219*(8*w + 48)>, <48, 1/10*(w + 7)>, <48, 1/189*(11*w + 33)>, <24, 1/267*(14*w + 127)>, <96, 1/73*(3*w + 52)>, <72, 1/13*(w + 4)>, <24, 1/249*(5*w + 204)>, <12, 1/135*(32*w + 7)>, <24, 1/4071*(110*w + 826)>, <48, 1/299*(8*w - 48)>, <48, 1/9*(w + 8)>, <24, 1/28*(13*w - 117)>, <18, 1/2691*(64*w - 384)>, <48, 1/72*(13*w - 78)>, <84, 1/69*(5*w + 25)>, <24, 1/358*(55*w + 413)>, <36, 1/249*(11*w + 150)>, <24, 4/195*w>, <24, 1/73*(2*w + 59)>, <36, 1/11*(w + 2)>, <24, 1/13359*(260*w + 684)>, <24, 1/59*(2*w + 59)>, <32, 1/249*(17*w + 96)>, <16, 1/62001*(680*w - 4520)>, <16, 1/40*(17*w - 113)>, <12, 1/197*(15*w + 60)>, <12, 1/615*(4*w + 40)>, <24, 1/11*(2*w - 10)>, <24, 1/394*(11*w - 55)>, <12, 1/17009*(42*w + 363)>, <36, 1/179*(9*w + 161)>, <36, 1/233*(9*w + 161)>, <24, 1/143*(9*w + 161)>, <24, 1/4209*(65*w + 49)>, <12, 1/177*(w + 176)>, <6, 1/41241*(1352*w + 11328)>, <18, 1/8*w>, <12, 1/183*(5*w + 193)>, <12, 1/42639*(1040*w + 1455)>, <60, 1/219*(14*w + 121)>, <12, 1/1631*(121*w + 2478)>, <80, 1/233*(15*w + 105)>, <60, 1/233*(14*w + 121)>, <24, 1/123*(2*w + 19)>, <12, 1/4833*(110*w + 1005)>, <24, 1/189*(5*w + 169)>, <24, 1/123*(2*w + 102)>, <12, 1/56*(11*w + 177)>, <20, 1/177*(11*w - 11)>, <24, 1/65*(w + 1)>, <24, 1/41707*(1287*w + 23023)>, <36, 1/207*(5*w + 25)>, <24, 1/4897*(132*w + 2464)>, <24, 1/5429*(132*w + 3680)>, <24, 1/45901*(924*w + 34428)>, <60, 1/197*(7*w + 162)>, <48, 1/207*(7*w + 35)>, <24, 1/13747*(364*w + 4179)>, <48, 1/3*w>, <48, 1/61*(w + 58)>, <12, 1/47259*(770*w + 33630)>, <12, 1/267*(10*w + 167)>, <24, 1/2563*(80*w + 3123)>, <24, 1/2563*(80*w - 640)>, <4, 1/182*(w + 185)>, <4, 1/7503*(364*w + 4032)>, <4, 1/4941*(28*w + 5180)>, <4, 1/7503*(26*w + 7189)>, <8, 1/13*(2*w - 8)>, <4, 2*w + 20>, <12, 1/41*(2*w + 20)>, <8, 1/378*(13*w - 52)>, <12, 1/98*(13*w + 137)>, <24, 1/267*(13*w + 117)>, <24, 1/11*(w + 9)>, <12, 1/179*(12*w + 12)>, <12, 1/143*(12*w - 24)>, <24, 1/11*(w + 1)>, <4, 4/59*w>, <4, 1/59*(16*w + 279)>, <4, 1/11*(4*w + 55)>, <4, 1/295*(4*w + 55)>, <4, 1/48*(5*w + 43)>, <20, 1/11*(w - 1)>, <40, 1/3*(w - 1)>, <24, 1/5063*(130*w + 4225)>, <24, 1/231*(13*w + 270)>, <12, 1/2*(w + 4)>, <12, 1/52599*(2366*w + 21463)>, <12, 1/183*(7*w - 21)>, <24, 1/354*(65*w - 65)>, <12, 1/37053*(910*w + 21450)>, <24, 1/2484*(77*w + 2869)>, <24, 1/13747*(364*w + 9204)>, <48, 1/207*(7*w + 165)>, <60, 1/183*(7*w + 162)>, <84, 1/63*(4*w + 12)>, <24, 1/788*(33*w + 920)>, <24, 1/44*(3*w + 56)>, <24, 1/5063*(143*w + 2970)>, <24, 1/297*(16*w + 345)>, <24, 65/472*w>, <36, 1/9*(w - 1)>, <12, 1/732*(169*w + 1070)>, <12, 1/183*(2*w + 4)>, <36, 1/249*(16*w + 105)>, <12, 1/44037*(676*w + 9392)>, <36, 1/59*(3*w - 3)>, <24, 8/195*w>, <12, 1/25*(4*w - 24)>, <4, 1/177*(7*w + 170)>, <4, 1/62853*(1700*w + 51153)>, <32, 1/11*w>, <4, 1/11767*(110*w + 5200)>, <4, 1/2190*(119*w + 2890)>, <4, 1/38763*(700*w + 17000)>, <4, 1/10*(w - 1)>, <24, 1/4897*(150*w + 2800)>, <36, 1/59*(2*w + 57)>, <24, 1/549*(50*w - 150)>, <36, 2/59*w>, <8, 1/54289*(120*w + 904)>, <12, 1/515*(4*w + 467)>, <12, 1/103*(5*w + 55)>, <12, 1/656*(7*w + 579)>, <12, 1/287*(16*w + 160)>, <12, 1/451*(8*w + 531)>, <12, 1/73*(w + 66)>, <12, 1/27*(10*w - 13)>, <12, 1/183*(56*w - 168)>, <24, 1/168*(5*w - 30)>, <24, 1/345*(56*w - 336)>, <12, 1/2167*(98*w + 2559)>, <24, 1/44*(3*w + 59)>, <24, 1/15931*(495*w + 8371)>, <24, 1/294*(11*w - 44)>, <24, 1/69*(w + 63)>, <12, 1/196*(w + 192)>, <6, 1/197*(28*w + 112)>, <48, 1/183*(5*w + 10)>, <12, 1/128*(11*w + 150)>, <12, 1/7*(w + 7)>, <12, 1/58017*(1936*w + 12705)>, <24, 1/156*(7*w + 170)>, <24, 1/156*(7*w - 21)>, <12, 1/1095*(154*w + 2019)>, <36, 1/179*(5*w + 184)>, <12, 1/369*(14*w + 509)>, <12, 1/179*(9*w + 188)>, <24, 1/69*(w + 5)>, <24, 1/294*(11*w + 327)>, <24, 1/15931*(495*w + 7065)>, <24, 1/44*(3*w - 18)>, <48, 1/15189*(308*w + 10681)>, <24, 1/17181*(182*w + 15400)>, <24, 1/17181*(182*w + 1599)>, <32, 1/8*(5*w - 35)>, <16, 1/1743*(20*w + 235)>, <28, 1/1245*(2*w + 16)>, <4, 1/83*(25*w + 200)>, <4, 1/1743*(100*w + 468)>, <4, 1/60*(w - 7)>, <24, 1/441*(55*w - 220)>, <40, 1/63*(w + 59)>, <24, 1/62211*(952*w + 67643)>, <24, 1/17*(w + 9)>, <32, 1/287*(11*w + 166)>, <12, 1/767*(48*w + 767)>, <48, 1/63*(2*w + 55)>, <48, 1/61*(2*w + 55)>, <24, 1/14857*(385*w + 10230)>, <48, 1/803*(28*w + 971)>, <4, 1/219*(10*w + 60)>, <4, 1/119*(10*w + 149)>, <4, 1/697*(7*w + 480)>, <4, 1/270*(7*w + 480)>, <4, 1/1107*(20*w + 487)>, <12, 1/27*(2*w + 6)>, <4, 1/7*(w + 10)>, <12, 1/189*(4*w + 173)>, <12, 1/31683*(338*w + 1770)>, <36, 1/179*(5*w - 10)>, <12, 1/144*(7*w + 186)>, <12, 1/292*(7*w + 334)>, <12, 1/50463*(260*w + 47463)>, <24, 1/267*(13*w + 137)>, <24, 1/230*(13*w + 295)>, <24, 1/230*(13*w - 78)>, <12, 1/4893*(100*w + 5025)>, <12, 1/2*(w + 7)>, <12, 1/747*(20*w + 492)>, <12, 1/531*(8*w + 472)>, <24, 1/5429*(84*w + 1029)>, <24, 1/5429*(84*w + 4316)>, <36, 1/89*(4*w + 36)>, <12, 1/207*(w + 5)>, <6, 1/196*(11*w + 141)>, <12, 1/37881*(1144*w + 14000)>, <12, 1/183*(8*w + 159)>, <12, 1/41707*(882*w + 25047)>, <36, 1/12*(w + 9)>, <28, 1/1245*(2*w + 1227)>, <24, 1/65*(w + 66)>, <24, 1/179*(65*w + 244)>, <12, 1/5429*(52*w + 637)>, <4, 1/729*(20*w + 460)>, <12, 1/179*(2*w + 181)>, <12, 1/41391*(1690*w + 14520)>, <12, 1/3759*(80*w + 975)>, <24, 1/2047*(10*w + 2125)>, <12, 1/801*(32*w - 320)>, <24, 1/14*(w + 8)>, <12, 1/3486*(11*w - 99)>, <24, 1/161*(15*w + 236)>, <24, 1/135*(7*w + 170)>, <4, 1/50*(13*w + 128)>, <16, 1/1743*(20*w + 1488)>, <12, 1/32*(3*w - 27)>, <24, 1/13747*(315*w + 5467)>, <24, 1/511*(45*w + 781)>, <12, 1/75*(w + 74)>, <36, 1/249*(8*w + 64)>, <12, 1/225*(8*w + 169)>, <12, 1/466*(75*w + 525)>, <12, 1/17009*(75*w + 59)>, <-12, 1/1869*(-50*w + 1775)>, <-12, 1/75*(-2*w + 20)>, <-12, 1/147*(-25*w + 72)>, <-12, 1/14*(-w - 3)>, <-12, 1/83*(-3*w + 110)>, <-12, 1/143*(-6*w - 24)>, <-12, 1/197*(-6*w + 30)>, <-24, 1/2561*(-80*w + 2961)>, <-12, 1/1035*(-14*w - 70)>, <-12, 1/75*(-2*w + 67)>, <-12, 1/581*(-75*w + 675)>, <-12, 1/16351*(-300*w + 376)>, <-12, 1/591*(-224*w - 305)>, <-12, 1/233*(-3*w + 212)>, <-12, 1/249*(-10*w + 169)>, <-12, 1/31683*(-169*w + 1770)>, <-12, 1/182*(-5*w + 5)>, <-12, 1/3262*(-25*w - 175)>, <-12, 1/5727*(-80*w + 6000)>, <-12, 1/3*(-w + 9)>, <-12, 1/69*(-4*w + 93)>, <-4, 1/179*(-13*w + 26)>, <-4, 1/10*(-13*w + 166)>, <-4, 1/179*(-169*w + 2337)>, <-4, 1/4326*(-169*w + 2337)>, <-4, 1/32757*(-182*w - 3)>, <-4, -w - 1>, <-12, 1/4897*(-168*w + 1761)>, <-12, 1/44571*(-910*w + 20391)>, <-12, 1/7*(-w + 9)>, <-12, 1/143*(-6*w + 191)>, <-12, 1/179*(-6*w - 6)>, <-24, 1/249*(-5*w + 209)>, <-12, 1/135*(-32*w + 39)>, <-24, 1/28*(-13*w - 104)>, <-18, 1/2691*(-64*w - 320)>, <-12, 1/197*(-15*w + 75)>, <-12, 1/615*(-4*w + 44)>, <-12, 1/17009*(-42*w + 405)>, <-6, 1/41241*(-1352*w + 12680)>, <-18, 1/8*(-w + 1)>, <-12, 1/183*(-5*w + 198)>, <-12, 1/42639*(-1040*w + 2495)>, <-12, 1/1631*(-121*w + 2599)>, <-12, 1/4833*(-110*w + 1115)>, <-24, 1/189*(-5*w + 174)>, <-12, 1/56*(-11*w + 188)>, <-12, 1/47259*(-770*w + 34400)>, <-12, 1/267*(-10*w + 177)>, <-4, 1/182*(-w + 186)>, <-4, 1/7503*(-364*w + 4396)>, <-4, 1/4941*(-28*w + 5208)>, <-4, 1/7503*(-26*w + 7215)>, <-4, -2*w + 22>, <-12, 1/98*(-13*w + 150)>, <-12, 1/179*(-12*w + 24)>, <-12, 1/143*(-12*w - 12)>, <-4, 1/59*(-4*w + 4)>, <-4, 1/59*(-16*w + 295)>, <-4, 1/11*(-4*w + 59)>, <-4, 1/295*(-4*w + 59)>, <-4, 1/48*(-5*w + 48)>, <-12, 1/2*(-w + 5)>, <-12, 1/52599*(-2366*w + 23829)>, <-12, 1/183*(-7*w - 14)>, <-12, 1/37053*(-910*w + 22360)>, <-12, 1/732*(-169*w + 1239)>, <-12, 1/183*(-2*w + 6)>, <-12, 1/44037*(-676*w + 10068)>, <-12, 1/25*(-4*w - 20)>, <-4, 1/177*(-7*w + 177)>, <-4, 1/62853*(-1700*w + 52853)>, <-4, 1/11767*(-110*w + 5310)>, <-4, 1/2190*(-119*w + 3009)>, <-4, 1/38763*(-700*w + 17700)>, <-4, -1/10*w>, <-8, 1/54289*(-120*w + 1024)>, <-12, 1/515*(-4*w + 471)>, <-12, 1/103*(-5*w + 60)>, <-12, 1/656*(-7*w + 586)>, <-12, 1/287*(-16*w + 176)>, <-12, 1/451*(-8*w + 539)>, <-12, 1/73*(-w + 67)>, <-12, 1/27*(-10*w - 3)>, <-12, 1/183*(-56*w - 112)>, <-12, 1/2167*(-98*w + 2657)>, <-12, 1/196*(-w + 193)>, <-6, 1/197*(-28*w + 140)>, <-12, 1/128*(-11*w + 161)>, <-12, 1/7*(-w + 8)>, <-12, 1/58017*(-1936*w + 14641)>, <-12, 1/1095*(-154*w + 2173)>, <-12, 1/369*(-14*w + 523)>, <-12, 1/179*(-9*w + 197)>, <-4, 1/83*(-25*w + 225)>, <-4, 1/1743*(-100*w + 568)>, <-4, 1/60*(-w - 6)>, <-24, 1/62211*(-952*w + 68595)>, <-24, 1/17*(-w + 10)>, <-12, 1/767*(-48*w + 815)>, <-4, 1/219*(-10*w + 70)>, <-4, 1/119*(-10*w + 159)>, <-4, 1/697*(-7*w + 487)>, <-4, 1/270*(-7*w + 487)>, <-4, 1/1107*(-20*w + 507)>, <-4, 1/7*(-w + 11)>, <-12, 1/189*(-4*w + 177)>, <-12, 1/31683*(-338*w + 2108)>, <-12, 1/144*(-7*w + 193)>, <-12, 1/292*(-7*w + 341)>, <-12, 1/50463*(-260*w + 47723)>, <-12, 1/4893*(-100*w + 5125)>, <-12, 1/2*(-w + 8)>, <-12, 1/747*(-20*w + 512)>, <-12, 1/531*(-8*w + 480)>, <-12, 1/207*(-w + 6)>, <-6, 1/196*(-11*w + 152)>, <-12, 1/37881*(-1144*w + 15144)>, <-12, 1/183*(-8*w + 167)>, <-12, 1/41707*(-882*w + 25929)>, <-12, 1/5429*(-52*w + 689)>, <-4, 1/729*(-20*w + 480)>, <-12, 1/179*(-2*w + 183)>, <-12, 1/41391*(-1690*w + 16210)>, <-12, 1/3759*(-80*w + 1055)>, <-24, 1/2047*(-10*w + 2135)>, <-12, 1/801*(-32*w - 288)>, <-12, 1/3486*(-11*w - 88)>, <-4, 1/50*(-13*w + 141)>, <-12, 1/32*(-3*w - 24)>, <-12, 1/75*(-w + 75)>, <-12, 1/225*(-8*w + 177)>, <-12, 1/466*(-75*w + 600)>, <-12, 1/17009*(-75*w + 134)> ]