/* Defining polynomial */ x^2 - x + 200 /* GCD of coefficients */ 2 /* 24 * |disc|^(3/2) /(8*pi^2)* zeta_F(2) */ 13883.4729849947470662537769441 /* Belt */ [ <72, 1/220*(7*w + 28)>, <72, 1/220*(7*w + 185)>, <210, 1/20*(w + 15)>, <210, 1/22*(w + 15)>, <144, 1/242*(13*w + 151)>, <180, 1/14*(w + 7)>, <180, 1/128*(7*w + 49)>, <12, 1/290*(19*w + 100)>, <6, 1/58*(w + 38)>, <66, 1/10*(w + 9)>, <24, 1/345*(7*w + 380)>, <24, 1/1364*(21*w + 1140)>, <24, 1/75*(4*w + 91)>, <24, 1/290*(7*w + 63)>, <24, 1/2369*(60*w + 1365)>, <24, 1/7*(w + 9)>, <24, 1/33*(w + 39)>, <24, 1/160*(3*w + 117)>, <24, 1/44*(w + 28)>, <288, 1/23*(w + 5)>, <48, 1/290*(w + 280)>, <120, 1/53*(2*w + 6)>, <24, 1/23*(w + 28)>, <288, 1/10*(w + 5)>, <48, 1/272*(w + 280)>, <12, 1/17825*(216*w + 15800)>, <48, 1/115*(8*w + 67)>, <120, 1/55*(2*w + 8)>, <24, 1/115*(6*w - 36)>, <24, 1/13*(w - 7)>, <72, 1/290*(17*w + 153)>, <72, 1/290*(17*w + 120)>, <24, 1/242*(13*w - 91)>, <676, 1/16*(w + 7)>, <90, 1/290*(11*w + 99)>, <6, 1/81*(19*w + 100)>, <48, 1/206*(5*w + 191)>, <6, 1/5150*(49*w + 201)>, <30, 1/2*(w + 2)>, <24, 1/21*(w + 24)>, <96, 1/15*(w + 5)>, <24, 1/105*(4*w + 105)>, <24, 1/160*(21*w + 160)>, <24, 1/21*(w - 4)>, <96, 1/58*(3*w + 28)>, <84, 1/12*(w + 6)>, <24, 1/7*(3*w - 24)>, <60, 1/6*(w + 1)>, <60, 1/101*(3*w + 3)>, <78, 1/50*(w + 49)>, <78, 1/50*w>, <84, 1/115*(6*w + 79)>, <36, 1/7744*(105*w + 6559)>, <48, 1/7*(w + 5)>, <48, 1/202*(7*w + 188)>, <24, 1/2668*(21*w + 2451)>, <24, 1/8549*(189*w + 6146)>, <12, 3/50*w>, <12, 1/14*(3*w + 47)>, <24, 1/54*(7*w - 35)>, <72, 1/220*(9*w + 175)>, <30, 1/20*(w + 24)>, <36, 1/212*(13*w + 160)>, <48, 1/14*(w + 3)>, <24, 1/33*(7*w + 75)>, <24, 1/424*(7*w + 25)>, <96, 1/10*(w + 6)>, <48, 1/7*(w + 6)>, <96, 1/145*(8*w + 72)>, <24, 1/89*(4*w + 37)>, <6, 1/11236*(175*w + 6461)>, <6, 1/10*(w + 12)>, <6, 1/128*(5*w + 10)>, <48, 1/96*(11*w + 173)>, <48, 1/1751*(33*w + 519)>, <24, 1/66*(7*w - 28)>, <12, 1/12*(w - 1)>, <12, 1/2225*(21*w + 350)>, <24, 1/77*(4*w - 20)>, <24, 1/80*(7*w - 35)>, <108, 1/53*(3*w + 9)>, <108, 1/12*(w + 3)>, <36, 1/220*(13*w + 155)>, <18, 1/68*(w + 59)>, <132, 1/12*(w + 4)>, <12, 1/1800*(209*w + 1591)>, <12, 1/290*(9*w + 200)>, <24, 1/8989*(231*w + 5887)>, <24, 1/1450*(21*w + 225)>, <24, 1/25*(7*w + 25)>, <36, 1/7744*(105*w + 1080)>, <96, 1/121*(5*w + 30)>, <48, 1/242*(7*w + 42)>, <24, 1/583*(15*w + 310)>, <48, 1/901*(15*w + 681)>, <24, 1/106*(11*w + 139)>, <24, 1/50*(3*w + 62)>, <24, 1/106*(11*w - 44)>, <12, 1/200*(19*w + 200)>, <48, 1/115*(8*w + 40)>, <12, 1/128*(3*w + 122)>, <12, 1/465*(64*w + 640)>, <12, 1/15655*(576*w + 1575)>, <24, 1/256*(5*w + 216)>, <84, 1/10*(w + 7)>, <24, 1/202*(5*w + 5)>, <108, 1/34*(w + 25)>, <48, 1/145*(3*w + 57)>, <24, 1/5*(w + 1)>, <108, 1/25*(w + 25)>, <48, 1/12*(w + 19)>, <36, 1/31*(w + 20)>, <24, 1/240*(7*w + 233)>, <24, 1/1643*(42*w + 1398)>, <36, 1/31*(w + 10)>, <24, 1/68*(5*w + 88)>, <120, 1/25*(w + 24)>, <24, 1/206*(51*w + 102)>, <24, 1/3296*(85*w + 1496)>, <120, 1/32*(w + 24)>, <24, 1/51*(w + 2)>, <84, 1/212*(11*w + 33)>, <84, 1/256*(11*w + 77)>, <84, 1/55*(w + 50)>, <84, 1/50*(w + 50)>, <24, 1/896*(13*w + 987)>, <132, 1/256*(13*w + 91)>, <24, 1/1595*(28*w + 300)>, <48, 1/7685*(91*w + 1120)>, <24, 1/15500*(429*w + 7700)>, <24, 1/7975*(91*w + 6909)>, <132, 1/13*(w + 7)>, <24, 1/40*(7*w + 75)>, <24, 1/156*(11*w - 44)>, <48, 1/7685*(91*w + 6474)>, <24, 1/363*(5*w + 393)>, <24, 1/12463*(210*w + 11235)>, <24, 1/2875*(66*w + 2134)>, <12, 1/135*(11*w + 168)>, <120, 1/230*(11*w + 164)>, <24, 1/159*(22*w - 88)>, <48, 1/9*(w + 7)>, <6, 1/65536*(1815*w + 16456)>, <24, 1/15*(2*w + 23)>, <66, 1/10*w>, <24, 1/15*(2*w - 10)>, <24, 1/1334*(15*w + 1179)>, <24, 1/105*(2*w + 107)>, <36, 1/290*(13*w + 160)>, <96, 1/16*(w + 9)>, <48, 1/20*(3*w - 24)>, <48, 1/155*(7*w + 78)>, <24, 1/1236*(77*w + 1390)>, <24, 1/77*(6*w + 89)>, <30, 1/4*(w + 7)>, <132, 1/64*(3*w + 40)>, <12, 1/143*(5*w + 163)>, <48, 1/12*(w + 9)>, <24, 1/256*(13*w - 104)>, <24, 1/50*(17*w - 137)>, <48, 1/145*(6*w + 54)>, <24, 1/7424*(85*w - 685)>, <24, 1/13*(w - 8)>, <24, 1/202*(3*w + 196)>, <6, 1/101*(49*w + 150)>, <30, 1/101*(w + 1)>, <24, 1/187*(3*w + 177)>, <48, 1/120*(w + 127)>, <48, 1/101*(4*w + 4)>, <24, 1/187*(3*w + 7)>, <48, 1/2057*(15*w + 1905)>, <48, 1/101*(4*w + 93)>, <6, 1/55*(16*w + 64)>, <18, 1/4*(w - 5)>, <48, 1/242*(9*w + 179)>, <48, 1/9*(w + 2)>, <12, 1/618*(49*w + 471)>, <12, 1/103*(w - 3)>, <24, 1/1840*(39*w + 1560)>, <12, 13/100*w>, <24, 1/39*(w + 40)>, <24, 1/21*(w - 5)>, <24, 1/85*(4*w + 93)>, <24, 1/310*(17*w + 170)>, <72, 1/224*(3*w + 245)>, <24, 1/847*(18*w - 126)>, <84, 1/103*(5*w + 88)>, <12, 1/6464*(147*w + 1221)>, <12, w + 2>, <24, 1/850*(21*w + 304)>, <24, 1/12221*(340*w + 7905)>, <24, 1/310*(17*w + 123)>, <24, 1/847*(18*w + 955)>, <72, 1/1955*(21*w + 1715)>, <48, 1/9*(w + 1)>, <24, 1/101*(12*w - 24)>, <36, 1/101*(3*w + 104)>, <24, 1/182*(5*w - 30)>, <48, 1/206*(13*w + 167)>, <24, 1/195*(7*w + 209)>, <36, 1/200*(9*w + 191)>, <72, 1/136*(9*w + 55)>, <24, 1/1089*(65*w - 455)>, <24, 1/425*(12*w + 300)>, <36, 1/128*(3*w + 104)>, <24, 1/100*(3*w + 100)>, <24, 1/121*(3*w + 100)>, <24, 1/24442*(455*w + 5150)>, <48, 1/206*(13*w + 26)>, <24, 1/1442*(195*w + 1832)>, <24, 1/25856*(585*w + 11960)>, <72, 1/18*(w + 9)>, <24, 1/1328*(9*w + 1220)>, <24, 1/83*(4*w + 44)>, <12, 1/440*(9*w + 296)>, <36, 1/272*(9*w + 191)>, <24, 1/53*(4*w - 16)>, <48, 1/101*(5*w + 91)>, <24, 1/636*(91*w + 909)>, <48, 1/256*(7*w + 49)>, <24, 1/6413*(140*w + 3865)>, <60, 1/6*(w + 2)>, <12, 1/309*(44*w - 132)>, <24, 1/6413*(84*w + 6188)>, <12, 1/4717*(44*w + 5124)>, <24, 1/14645*(308*w + 6252)>, <84, 1/14*(w + 9)>, <36, 1/1015*(6*w - 60)>, <24, 1/14645*(308*w + 8085)>, <12, 1/424*(39*w + 541)>, <12, 1/25*(3*w - 3)>, <24, 1/16600*(429*w + 8371)>, <12, 1/332*(13*w + 143)>, <12, 1/33*(13*w - 156)>, <24, 1/16600*(429*w + 7800)>, <90, 1/290*(11*w + 180)>, <24, 1/6413*(84*w + 141)>, <24, 1/12100*(273*w + 2727)>, <48, 1/7*(w + 7)>, <24, 1/103*(11*w + 125)>, <24, 1/580*(11*w + 209)>, <24, 1/400*(11*w + 125)>, <24, 1/272*(11*w - 99)>, <24, 1/77*(8*w - 40)>, <24, 1/160*(7*w - 35)>, <24, 1/265*(48*w + 409)>, <24, 1/155*(3*w + 92)>, <48, 1/35*(9*w - 64)>, <24, 1/12221*(240*w + 2045)>, <24, 1/68*(3*w + 92)>, <48, 1/3944*(63*w - 448)>, <48, 1/212*(7*w + 184)>, <84, 1/256*(15*w + 136)>, <26, 1/256*(w + 263)>, <24, 1/36*(w - 4)>, <24, 1/53*(9*w - 36)>, <36, 1/13*(w + 8)>, <24, 1/460*(9*w + 91)>, <24, 1/55*(9*w + 91)>, <48, 1/101*(5*w + 5)>, <24, 1/272*(5*w + 227)>, <48, 1/103*(2*w + 4)>, <48, 1/9*(w + 5)>, <48, 1/9*(w + 3)>, <6, 1/2030*(121*w + 3119)>, <24, 1/319*(6*w + 288)>, <48, 1/28*(3*w + 40)>, <24, 1/48*(w + 48)>, <48, 1/880*(21*w + 280)>, <6, 1/169*(11*w + 180)>, <24, 1/16766*(455*w + 6665)>, <12, 1/166*(7*w + 77)>, <12, 1/5*(7*w - 84)>, <24, 1/16766*(455*w + 9646)>, <24, 1/212*(5*w + 227)>, <48, 1/4*(w + 2)>, <36, 1/106*(w + 102)>, <24, 1/16*(w - 4)>, <36, 1/101*(w + 102)>, <12, 1/13*(w - 5)>, <12, 1/78*(5*w - 15)>, <24, 1/377*(5*w - 50)>, <24, 1/50*(13*w - 130)>, <12, 1/202*(3*w + 205)>, <12, 1/2915*(98*w + 612)>, <30, 1/20*(w - 5)>, <48, 1/1717*(35*w + 1045)>, <48, 1/160*(7*w + 209)>, <24, 1/18*(w - 8)>, <24, 1/128*(9*w - 72)>, <24, 1/14935*(294*w + 10476)>, <24, 1/14935*(294*w + 4165)>, <84, 1/145*(7*w + 63)>, <36, 1/12*(7*w - 70)>, <72, 1/40*w>, <12, 1/39*(w - 1)>, <24, 1/115*(6*w + 145)>, <24, 1/63*(5*w - 30)>, <144, 1/115*(7*w + 35)>, <24, 1/808*(119*w + 119)>, <24, 1/115*(2*w + 103)>, <24, 1/202*(9*w + 211)>, <12, 21/200*w>, <12, 1/55*(49*w + 251)>, <12, 1/20*(3*w + 29)>, <24, 1/13184*(315*w + 7325)>, <144, 1/115*(7*w + 73)>, <24, 1/808*(119*w + 570)>, <24, 1/310*(9*w + 211)>, <24, 1/101*(2*w + 103)>, <24, 1/104*(3*w + 104)>, <24, 1/6*(w + 5)>, <24, 1/182*(5*w + 192)>, <24, 1/15370*(273*w + 10465)>, <24, 1/145*(4*w + 36)>, <48, 1/15*(w + 6)>, <48, 1/272*(11*w + 88)>, <24, 1/130*(9*w - 90)>, <24, 1/75*(13*w + 75)>, <24, 1/115*(3*w + 15)>, <24, 1/145*(4*w + 105)>, <24, 1/15370*(273*w + 4632)>, <24, 1/515*(91*w + 697)>, <48, 1/272*(11*w + 173)>, <48, 1/242*(15*w + 90)>, <24, 1/261*(13*w - 130)>, <24, 1/290*(7*w + 150)>, <24, 1/65*(6*w - 30)>, <24, 1/18*(w + 19)>, <24, 1/75*(14*w + 61)>, <24, 1/7685*(168*w + 1077)>, <24, 1/212*(3*w + 9)>, <24, 1/11500*(273*w + 2400)>, <72, 1/115*(4*w + 20)>, <12, 1/435*(44*w + 831)>, <12, 1/106*(3*w + 115)>, <24, 1/17545*(72*w + 16888)>, <24, 1/2048*(9*w + 2111)>, <24, 1/33*(17*w - 137)>, <24, 1/9*(4*w - 39)>, <24, 1/83*(4*w + 35)>, <24, 1/1751*(42*w + 183)>, <24, 1/303*(56*w + 359)>, <24, 1/200*(3*w - 3)>, <24, 1/618*(91*w + 800)>, <72, 1/8*(w + 5)>, <24, 1/276*(11*w + 331)>, <24, 1/2987*(66*w + 1986)>, <24, 1/35*(6*w + 89)>, <24, 1/3131*(42*w + 623)>, <30, 1/64*(w + 7)>, <12, 1/60*(w + 56)>, <24, 1/345*(13*w + 410)>, <24, 1/1802*(39*w + 1230)>, <24, 1/140*(9*w + 176)>, <48, 1/90*(13*w - 78)>, <48, 1/299*(9*w - 54)>, <24, 1/2438*(63*w + 1232)>, <24, 1/182*(9*w + 191)>, <24, 1/182*(9*w - 18)>, <24, 1/2323*(42*w + 118)>, <12, 1/2816*(91*w + 3453)>, <72, 1/40*(w + 39)>, <24, 1/10240*(231*w + 3409)>, <24, 1/322*(33*w + 487)>, <24, 1/2438*(21*w + 128)>, <12, 1/212*(15*w + 152)>, <12, 1/70384*(195*w - 2171)>, <24, 1/2438*(21*w + 2289)>, <24, 1/2323*(42*w + 2163)>, <30, 1/2*(w + 1)>, <24, 1/115*(7*w + 150)>, <24, 1/65*(6*w + 89)>, <24, 1/18*(w - 2)>, <24, 1/64*(13*w - 104)>, <24, 1/52*(w - 8)>, <12, 1/1085*(4*w - 44)>, <48, 1/204*(w + 212)>, <48, 1/667*(3*w + 636)>, <36, 1/400*(9*w + 175)>, <36, 1/400*(9*w + 216)>, <24, 1/17545*(56*w - 511)>, <12, 1/2552*(39*w + 641)>, <24, 1/58*(w + 48)>, <24, 1/9860*(117*w - 832)>, <12, 1/200*(w + 199)>, <6, 1/200*(49*w + 200)>, <24, 1/605*(28*w + 773)>, <24, 1/4532*(117*w + 2327)>, <24, 1/286*(7*w - 49)>, <24, 1/63*(13*w - 117)>, <60, 1/103*(3*w + 6)>, <24, 1/5440*(91*w + 1085)>, <24, 1/3536*(63*w - 567)>, <24, 1/4532*(117*w + 2088)>, <24, 1/44*(3*w + 12)>, <24, 1/18*(w - 3)>, <24, 3/200*w>, <24, 1/15965*(364*w + 5500)>, <24, 1/4930*(33*w + 4600)>, <12, 1/256*(3*w + 232)>, <24, 1/206*(3*w + 6)>, <24, 1/920*(91*w + 1375)>, <24, 1/14008*(385*w + 7568)>, <24, 1/6868*(165*w + 3700)>, <24, 1/583*(35*w + 688)>, <24, 1/575*(33*w + 740)>, <12, 1/901*(24*w + 549)>, <24, 1/15370*(351*w + 4320)>, <24, 1/182*(9*w - 27)>, <24, 1/108*(13*w + 160)>, <24, 1/182*(9*w + 200)>, <60, 1/40*(w + 40)>, <60, 1/46*(w + 40)>, <24, 1/116*(3*w + 56)>, <24, 1/44*(3*w + 56)>, <12, 1/12296*(585*w + 7200)>, <12, 1/220*(w + 4)>, <30, 1/2*(w - 1)>, <24, 1/44*(3*w + 29)>, <24, 1/310*(9*w + 121)>, <12, 1/13*(8*w - 75)>, <12, 1/128*w>, <24, 1/9860*(117*w + 10575)>, <24, 1/4*(w - 3)>, <6, 1/256*(49*w - 392)>, <24, 1/4*(w + 6)>, <24, 1/14008*(273*w + 3816)>, <24, 1/91*(3*w - 21)>, <24, 1/40*(21*w + 40)>, <24, 1/206*(3*w - 9)>, <24, 1/230*(3*w + 15)>, <12, 1/49*(6*w - 36)>, <12, 1/690*(13*w + 755)>, <12, 1/225*w>, <24, 1/105*(w + 105)>, <12, 1/2*(w + 7)>, <24, 1/2*(w + 6)>, <24, 1/1276*(21*w + 247)>, <12, 3*w - 30>, <24, 1/1276*(21*w + 1008)>, <24, 1/121*(w + 6)>, <12, 1/256*(w + 7)>, <26, 1/256*(w - 8)>, <-6, 1/58*(-w + 39)>, <-12, 1/17825*(-216*w + 16016)>, <-6, 1/81*(-19*w + 119)>, <-6, 1/5150*(-49*w + 250)>, <-12, 1/50*(-3*w + 3)>, <-12, 1/14*(-3*w + 50)>, <-24, 1/89*(-4*w + 41)>, <-6, 1/11236*(-175*w + 6636)>, <-6, 1/10*(-w + 13)>, <-6, 1/128*(-5*w + 15)>, <-12, -1/12*w>, <-12, 1/2225*(-21*w + 371)>, <-12, 1/1800*(-209*w + 1800)>, <-12, 1/290*(-9*w + 209)>, <-12, 1/200*(-19*w + 219)>, <-12, 1/128*(-3*w + 125)>, <-12, 1/465*(-64*w + 704)>, <-12, 1/15655*(-576*w + 2151)>, <-24, 1/256*(-5*w + 221)>, <-12, 1/135*(-11*w + 179)>, <-6, 1/65536*(-1815*w + 18271)>, <-12, 1/143*(-5*w + 168)>, <-6, 1/101*(-49*w + 199)>, <-6, 1/55*(-16*w + 80)>, <-12, 1/618*(-49*w + 520)>, <-12, 1/103*(-w - 2)>, <-12, 1/100*(-13*w + 13)>, <-12, 1/6464*(-147*w + 1368)>, <-12, -w + 3>, <-12, 1/440*(-9*w + 305)>, <-12, 1/309*(-44*w - 88)>, <-12, 1/4717*(-44*w + 5168)>, <-12, 1/424*(-39*w + 580)>, <-12, -3/25*w>, <-12, 1/332*(-13*w + 156)>, <-12, 1/33*(-13*w - 143)>, <-6, 1/2030*(-121*w + 3240)>, <-6, 1/169*(-11*w + 191)>, <-12, 1/166*(-7*w + 84)>, <-12, 1/5*(-7*w - 77)>, <-12, 1/13*(-w - 4)>, <-12, 1/78*(-5*w - 10)>, <-12, 1/202*(-3*w + 208)>, <-12, 1/2915*(-98*w + 710)>, <-12, -1/39*w>, <-12, 1/200*(-21*w + 21)>, <-12, 1/55*(-49*w + 300)>, <-12, 1/20*(-3*w + 32)>, <-12, 1/435*(-44*w + 875)>, <-12, 1/106*(-3*w + 118)>, <-12, 1/60*(-w + 57)>, <-12, 1/2816*(-91*w + 3544)>, <-12, 1/212*(-15*w + 167)>, <-12, 1/70384*(-195*w - 1976)>, <-12, 1/1085*(-4*w - 40)>, <-24, 1/17545*(-56*w - 455)>, <-12, 1/2552*(-39*w + 680)>, <-24, 1/58*(-w + 49)>, <-6, 1/200*(-49*w + 249)>, <-12, 1/256*(-3*w + 235)>, <-12, 1/901*(-24*w + 573)>, <-12, 1/12296*(-585*w + 7785)>, <-12, 1/220*(-w + 5)>, <-12, 1/13*(-8*w - 67)>, <-12, 1/128*(-w + 1)>, <-6, 1/256*(-49*w - 343)>, <-12, 1/49*(-6*w - 30)>, <-12, 1/690*(-13*w + 768)>, <-12, 1/225*(-w + 1)>, <-12, 1/2*(-w + 8)>, <-12, -3*w - 27>, <-12, 1/256*(-w + 8)> ]