/* Defining polynomial */ x^2 - x + 188 /* GCD of coefficients */ 2 /* 24 * |disc|^(3/2) /(8*pi^2)* zeta_F(2) */ 12587.6523960920155850521791895 /* Belt */ [ <234, 1/23*(w + 6)>, <6, 1/10*(w - 7)>, <144, 1/230*(13*w + 139)>, <234, 1/10*(w + 6)>, <24, 1/49*(5*w + 89)>, <24, 1/13066*(245*w + 4361)>, <180, 1/115*(7*w + 66)>, <180, 1/122*(7*w + 66)>, <28, 1/9*(w + 8)>, <72, 1/208*(9*w + 163)>, <18, 1/52*(w + 56)>, <222, 1/13*(w + 4)>, <114, 1/13*(w + 7)>, <36, 1/109*(8*w + 40)>, <114, 1/244*(13*w + 91)>, <36, 1/16*(w + 5)>, <24, 1/154*(9*w + 172)>, <28, 1/260*(9*w + 72)>, <24, 1/154*(9*w - 27)>, <48, 1/218*(9*w + 45)>, <48, 1/3965*(28*w + 4168)>, <48, 1/200*(9*w + 27)>, <48, 1/854*(9*w + 917)>, <48, 1/7085*(63*w + 6419)>, <48, 1/1112*(7*w + 1042)>, <12, 1/608*(9*w + 419)>, <12, 1/32*(w + 20)>, <24, 1/13*(w + 9)>, <24, 1/13*(w + 3)>, <12, 1/13*(w - 4)>, <24, 1/5560*(91*w + 1036)>, <24, 1/70*(13*w + 148)>, <24, 1/2867*(66*w + 1485)>, <24, 1/33*(2*w + 45)>, <48, 1/4880*(99*w + 1404)>, <48, 1/253*(9*w - 63)>, <18, 1/325*(9*w + 127)>, <210, 1/8*(w + 3)>, <94, 1/10*(w + 7)>, <94, 1/97*(5*w + 82)>, <24, 1/460*(11*w + 176)>, <48, 1/427*(5*w - 40)>, <48, 1/3614*(35*w + 345)>, <24, 1/218*(11*w - 66)>, <24, 1/90*(13*w - 78)>, <28, 1/10*(w + 10)>, <24, 1/90*(13*w + 155)>, <28, 1/149*(5*w + 50)>, <72, 1/47*w>, <24, 1/160*(7*w + 181)>, <24, 1/188*(9*w + 188)>, <24, 1/1081*(28*w + 724)>, <24, 1/278*(9*w + 188)>, <24, 1/90*(7*w + 111)>, <24, 1/2231*(63*w + 999)>, <72, 1/4*w>, <52, 1/4*(w + 4)>, <24, 1/2231*(42*w + 2121)>, <48, 1/4*(w + 2)>, <48, 1/16*(3*w + 28)>, <24, 1/15*(w - 3)>, <24, 1/117*(8*w - 40)>, <24, 1/3*(w - 9)>, <24, 1/2725*(72*w + 1312)>, <6, 1/25*(4*w + 9)>, <6, 1/40*(w + 28)>, <72, 1/200*(7*w + 21)>, <24, 1/9*(w + 7)>, <24, 9/208*w>, <24, 1/10564*(297*w + 4536)>, <24, 1/190*(9*w + 172)>, <24, 1/208*(9*w + 199)>, <24, 1/440*(27*w - 108)>, <190, 1/65*(4*w + 32)>, <48, 1/188*(7*w + 181)>, <72, 1/109*(4*w + 85)>, <72, 1/97*(4*w + 85)>, <36, 5/94*w>, <36, 1/10*w>, <52, 1/52*(w + 4)>, <48, 1/97*(2*w + 4)>, <24, 1/105*(2*w + 101)>, <190, 1/16*(w + 8)>, <48, 1/230*(7*w + 181)>, <48, 1/39*(w + 43)>, <24, 1/194*(15*w - 45)>, <24, 1/48*(7*w - 35)>, <24, 1/400*(91*w - 364)>, <24, 1/105*(w + 103)>, <48, 1/183*(w + 190)>, <210, 1/8*(w + 4)>, <132, 1/10*(w + 4)>, <60, 1/16*(w + 9)>, <36, 3/94*w>, <36, 1/6*w>, <24, 1/91*(3*w - 15)>, <24, 1/260*(9*w - 81)>, <144, 1/10*(w + 8)>, <24, 1/400*(91*w + 673)>, <24, 1/2180*(21*w + 2163)>, <48, 1/598*(3*w + 570)>, <12, 1/200*(33*w + 299)>, <96, 1/38*(w + 36)>, <132, 1/10*(w + 5)>, <60, 1/16*(w + 6)>, <48, 1/194*(9*w + 167)>, <48, 1/230*(9*w + 167)>, <24, 1/143*(9*w - 54)>, <96, 1/230*(11*w + 66)>, <132, 1/61*(3*w + 21)>, <96, 1/50*(3*w + 38)>, <24, 1/143*(9*w + 188)>, <222, 1/13*(w + 8)>, <96, 1/230*(11*w + 153)>, <132, 1/52*(3*w + 12)>, <96, 1/65*(3*w + 38)>, <36, 1/2*(w + 2)>, <48, 1/112*(11*w - 55)>, <24, 1/44*(7*w - 35)>, <72, 1/97*(3*w + 88)>, <114, 1/14*(w + 5)>, <12, 1/109*(w - 6)>, <12, 1/120*(w + 5)>, <114, 1/130*(7*w + 67)>, <36, 1/97*(w + 2)>, <48, 1/112*(11*w + 156)>, <24, 1/364*(11*w - 55)>, <72, 1/6*(w + 3)>, <24, 1/56*(w + 2)>, <30, 1/5*(w - 3)>, <30, 1/5*(w + 7)>, <24, 1/1525*(28*w + 13)>, <24, 1/488*(33*w - 264)>, <24, 1/3055*(66*w + 1551)>, <12, 1/117*(5*w + 157)>, <144, 1/26*(w + 8)>, <120, 1/11*(w + 5)>, <12, 1/624*(77*w + 932)>, <48, 1/95*(3*w + 89)>, <48, 1/12*(w + 16)>, <24, 1/260*(11*w + 161)>, <48, 1/52*(3*w + 64)>, <24, 1/260*(11*w + 88)>, <96, 1/12*(w + 6)>, <24, 1/1199*(49*w + 1444)>, <48, 1/84*(11*w + 161)>, <48, 1/671*(21*w + 818)>, <24, 1/98*(11*w + 153)>, <96, 1/109*(6*w + 73)>, <24, 1/973*(3*w + 1000)>, <72, 1/104*(7*w + 69)>, <64, 1/1040*(3*w + 1013)>, <36, 1/188*(7*w + 188)>, <24, 1/168*(5*w + 183)>, <24, 1/5405*(132*w + 4136)>, <24, 1/112*(3*w + 109)>, <24, 1/14456*(189*w + 12404)>, <24, 1/88*(3*w + 94)>, <24, 1/3475*(84*w + 3052)>, <24, 1/1610*(27*w + 1772)>, <22, 1/5917*(180*w + 2952)>, <12, 1/98*(w + 99)>, <12, w - 2>, <72, 1/139*(7*w + 69)>, <12, 1/95*(8*w - 16)>, <36, 1/244*(7*w + 188)>, <24, 1/4888*(105*w + 3843)>, <24, 1/130*(21*w - 105)>, <48, 1/46*(w + 39)>, <24, 1/95*(2*w + 97)>, <24, 1/247*(7*w + 119)>, <144, 1/46*(3*w + 18)>, <12, 1/128*(3*w + 116)>, <12, 1/149*(16*w + 160)>, <12, 1/3725*(112*w + 77)>, <24, 1/52820*(1001*w + 36531)>, <24, 1/5123*(132*w + 4004)>, <36, 1/15*(w + 9)>, <24, 1/2684*(91*w + 3321)>, <24, 1/5123*(132*w + 987)>, <36, 1/15*(w + 5)>, <24, 1/105*(w + 108)>, <24, 1/169*(6*w + 193)>, <24, 1/2392*(21*w + 2268)>, <24, 1/3475*(78*w + 2509)>, <24, 1/575*(26*w - 182)>, <24, 1/575*(26*w + 731)>, <12, 1/63*(4*w - 28)>, <60, 1/115*(4*w + 24)>, <24, 1/13483*(364*w + 10816)>, <24, 1/208*(7*w + 208)>, <24, 1/104*(w + 99)>, <36, 1/24*(7*w - 49)>, <24, 1/97*(w + 99)>, <12, 1/33*(w - 7)>, <48, 1/46*(w + 6)>, <24, 1/168*(5*w - 25)>, <24, 1/109*(2*w + 97)>, <48, 1/12*(w - 6)>, <24, 1/14*(w + 17)>, <48, 1/12*(w + 17)>, <144, 1/15*(w + 6)>, <24, 1/6*(w + 6)>, <24, 1/35*(2*w - 12)>, <36, 1/94*w>, <30, 1/2*(w + 3)>, <36, 1/52*(w + 43)>, <24, 1/208*(15*w + 133)>, <32, 1/188*(11*w + 177)>, <24, 1/35*(2*w + 45)>, <12, 1/11590*(231*w + 3813)>, <24, 1/122*(3*w + 98)>, <24, 1/94*(3*w + 94)>, <30, 1/100*(w + 3)>, <36, 1/95*(w + 1)>, <36, 1/40*(w + 43)>, <24, 1/298*(15*w + 133)>, <32, 1/298*(11*w + 177)>, <24, 1/3880*(99*w + 1449)>, <24, 1/3880*(99*w + 2332)>, <24, 1/38*(w + 20)>, <24, 1/16*(w + 20)>, <24, 1/13900*(143*w + 12129)>, <24, 1/144*(11*w - 55)>, <24, 1/218*(5*w + 25)>, <24, 1/5*(w - 7)>, <24, 1/244*(11*w + 77)>, <24, 1/26*(3*w + 38)>, <24, 1/109*(3*w + 124)>, <24, 1/845*(11*w + 933)>, <24, 1/218*(5*w + 188)>, <24, 1/3760*(99*w + 1969)>, <24, 1/64*(w + 52)>, <24, 1/109*(3*w - 18)>, <24, 1/200*(11*w + 33)>, <24, 1/24*(w + 28)>, <96, 1/244*(15*w + 124)>, <14, 1/3965*(4*w + 3932)>, <12, 1/2224*(13*w + 2094)>, <24, 1/182*(3*w + 188)>, <24, 1/690*(91*w + 1236)>, <18, 1/763*(16*w - 96)>, <24, 1/18800*(273*w + 17108)>, <24, 1/13900*(273*w + 3708)>, <24, 1/6305*(176*w + 2576)>, <44, 1/194*(5*w + 10)>, <24, 1/6305*(176*w + 3553)>, <24, 1/400*(39*w - 156)>, <24, 1/2867*(78*w + 1755)>, <24, 1/9*(w - 9)>, <12, 1/53192*(975*w + 41717)>, <12, 1/139*(4*w + 36)>, <12, 1/63*(4*w - 40)>, <12, 1/545*(27*w - 162)>, <24, 1/230*(11*w + 296)>, <24, 1/11*(w + 17)>, <24, 1/1586*(33*w + 1146)>, <72, 1/208*(7*w + 173)>, <12, 1/196*(w + 196)>, <72, 1/7*(w + 2)>, <24, 1/7003*(210*w + 2845)>, <24, 1/485*(42*w + 569)>, <24, 1/327*(11*w + 382)>, <64, 1/3*(4*w - 33)>, <24, 1/18236*(273*w + 16835)>, <24, 1/91*(2*w + 101)>, <24, 1/436*(91*w + 891)>, <24, 1/18236*(273*w + 1128)>, <24, 1/13205*(364*w + 3832)>, <12, 1/5795*(147*w + 846)>, <52, 1/47*(2*w + 45)>, <12, w - 1>, <36, 1/7015*(84*w + 6139)>, <12, 1/112*(3*w + 6)>, <12, 1/97*(3*w - 9)>, <24, 1/776*(91*w + 958)>, <12, 1/104*(3*w + 3)>, <24, 1/322*(5*w - 35)>, <12, 1/1744*(21*w - 126)>, <66, 1/218*(7*w + 176)>, <66, 1/190*(7*w + 176)>, <36, 1/139*(6*w + 79)>, <36, 1/97*(6*w + 79)>, <36, 1/61*(w + 53)>, <12, 1/600*(49*w + 404)>, <12, 1/200*(w - 4)>, <24, 1/25*(7*w - 49)>, <96, 1/5*(w + 3)>, <24, 1/611*(14*w + 268)>, <24, 1/55*(7*w - 28)>, <32, 1/188*(11*w - 11)>, <24, 1/169*(3*w + 168)>, <24, 1/14453*(420*w + 3008)>, <24, 1/92*(7*w + 134)>, <24, 1/3104*(77*w + 2191)>, <32, 1/188*(11*w + 188)>, <24, 1/60*(w + 56)>, <24, 1/752*(105*w + 752)>, <48, 1/104*(3*w + 89)>, <24, 1/5*(w + 4)>, <24, 1/235*(6*w + 88)>, <24, 1/208*(5*w + 20)>, <24, 1/32*(3*w + 44)>, <6, 1/115*(64*w + 384)>, <6, 1/2*(w - 7)>, <24, 1/200*(3*w + 209)>, <12, 1/3965*(196*w + 2348)>, <12, 1/3*(w - 5)>, <24, 1/230*(3*w + 209)>, <12, 1/776*(77*w - 231)>, <6, 1/1220*(169*w + 2403)>, <48, 1/17*(w + 8)>, <24, 1/244*(17*w + 108)>, <24, 1/67832*(765*w - 5625)>, <24, 1/4888*(153*w + 1692)>, <6, 1/624*(25*w + 724)>, <24, 1/170*(9*w - 18)>, <60, 1/95*(4*w + 4)>, <36, 1/14*(w + 3)>, <24, 1/13483*(330*w + 8808)>, <24, 1/6533*(210*w + 2585)>, <32, 1/298*(13*w + 130)>, <12, 1/49*(w + 47)>, <12, 1/208*(3*w + 12)>, <24, 1/13483*(330*w + 4345)>, <24, 1/475*(42*w + 517)>, <32, 1/13*(w + 10)>, <36, 1/14*(w + 10)>, <12, 1/1820*(11*w - 99)>, <24, 1/218*(3*w + 200)>, <24, 1/194*(3*w + 200)>, <24, 1/570*(91*w - 182)>, <6, 1/376*(49*w + 327)>, <30, 1/65*(2*w + 47)>, <12, 1/188*w>, <24, 1/91*(3*w - 6)>, <12, 1/13298*(117*w + 11921)>, <24, 1/190*(3*w + 184)>, <6, 1/1330*(169*w + 1499)>, <24, 1/95*(21*w + 116)>, <24, 1/12350*(357*w + 10047)>, <24, 1/32*(3*w - 12)>, <24, 1/75*(4*w - 16)>, <12, 1/208*(7*w - 35)>, <24, 1/13483*(294*w + 9318)>, <24, 1/13483*(294*w + 3871)>, <52, 2/47*w>, <24, 1/204*(7*w + 197)>, <24, 1/42*(w + 43)>, <24, 1/40*(3*w + 9)>, <24, 1/21*w>, <24, 1/45*(w + 47)>, <24, 1/40*(3*w + 28)>, <24, 1/608*(21*w + 167)>, <24, 1/2444*(45*w + 2115)>, <12, 1/260*(7*w + 197)>, <12, 1/3040*(39*w + 492)>, <2, 1/37636*(845*w + 30251)>, <12, 1/65*(4*w - 24)>, <24, 1/67832*(765*w + 72692)>, <24, 1/17*(w + 9)>, <24, 1/54*(5*w + 89)>, <24, 1/6533*(135*w + 2403)>, <12, 1/130*(9*w + 72)>, <12, 1/1251*(16*w + 144)>, <24, 1/2641*(44*w + 672)>, <24, 1/143*(4*w - 36)>, <24, 1/20*(3*w - 21)>, <24, 1/240*(13*w - 52)>, <24, 1/190*(11*w + 168)>, <6, 1/95*(49*w + 49)>, <24, 1/190*(11*w + 11)>, <24, 1/2831*(78*w + 1079)>, <24, 1/325*(6*w + 243)>, <6, 1/109*(49*w + 354)>, <6, 1/109*(w + 5)>, <12, 1/91*(3*w + 91)>, <6, 1/3172*(49*w + 3515)>, <24, 1/437*(9*w + 351)>, <24, 1/39*(w - 1)>, <24, 1/39*(w + 39)>, <12, 1/1976*(63*w + 1773)>, <12, 1/60604*(105*w - 1001)>, <30, 1/65*(2*w + 16)>, <24, 1/36*(w + 39)>, <24, 1/38*(9*w + 47)>, <24, 1/470*(9*w + 47)>, <24, 1/320*(3*w + 284)>, <24, 1/61*(w + 68)>, <24, 1/61*(w - 8)>, <4, 1/8*(w - 3)>, <4, 1/14453*(260*w + 6825)>, <4, 1/596*(20*w + 1121)>, <4, 1/1341*(16*w + 420)>, <12, 1/13483*(150*w + 11358)>, <12, 1/44*(5*w - 50)>, <12, 1/1140*(77*w - 154)>, <12, 1/12*(w + 1)>, <24, 1/14*(3*w - 27)>, <24, 1/76*(9*w + 85)>, <12, 1/45872*(1365*w + 36660)>, <24, 1/611*(18*w + 170)>, <10, 1/793*(12*w + 633)>, <24, 1/390*(7*w - 63)>, <12, 1/690*(7*w + 732)>, <12, 1/225*(w + 1)>, <36, 1/50*(w + 53)>, <16, 1/45*(2*w + 45)>, <4, 1/1341*(25*w + 846)>, <4, 1/376*(25*w + 846)>, <4, 1/44*(5*w + 94)>, <12, 1/7003*(198*w + 3619)>, <16, 1/376*(45*w + 376)>, <24, 1/520*(9*w + 124)>, <12, 3*w - 27>, <24, 1/520*(9*w + 387)>, <4, 3/47*w>, <4, 1/47*(9*w + 179)>, <4, 1/11*(3*w + 44)>, <4, 1/188*(3*w + 44)>, <10, 1/793*(12*w + 148)>, <4, 1/64*(w + 56)>, <4, 1/64*(3*w + 37)>, <4, 1/65*(12*w + 161)>, <14, 4*w - 32>, <-6, 1/10*(-w - 6)>, <-18, 1/52*(-w + 57)>, <-12, 1/608*(-9*w + 428)>, <-12, 1/32*(-w + 21)>, <-12, 1/13*(-w - 3)>, <-18, 1/325*(-9*w + 136)>, <-6, 1/25*(-4*w + 13)>, <-6, 1/40*(-w + 29)>, <-12, 1/200*(-33*w + 332)>, <-12, 1/109*(-w - 5)>, <-12, 1/120*(-w + 6)>, <-12, 1/117*(-5*w + 162)>, <-12, 1/624*(-77*w + 1009)>, <-24, 1/973*(-3*w + 1003)>, <-22, 1/5917*(-180*w + 3132)>, <-12, 1/98*(-w + 100)>, <-12, -w - 1>, <-12, 1/95*(-8*w - 8)>, <-12, 1/128*(-3*w + 119)>, <-12, 1/149*(-16*w + 176)>, <-12, 1/3725*(-112*w + 189)>, <-12, 1/63*(-4*w - 24)>, <-12, 1/33*(-w - 6)>, <-12, 1/11590*(-231*w + 4044)>, <-24, 1/122*(-3*w + 101)>, <-12, 1/2224*(-13*w + 2107)>, <-18, 1/763*(-16*w - 80)>, <-12, 1/53192*(-975*w + 42692)>, <-12, 1/139*(-4*w + 40)>, <-12, 1/63*(-4*w - 36)>, <-12, 1/545*(-27*w - 135)>, <-12, 1/196*(-w + 197)>, <-12, 1/5795*(-147*w + 993)>, <-12, -w>, <-12, 1/112*(-3*w + 9)>, <-12, 1/97*(-3*w - 6)>, <-12, 1/104*(-3*w + 6)>, <-12, 1/1744*(-21*w - 105)>, <-12, 1/600*(-49*w + 453)>, <-12, 1/200*(-w - 3)>, <-6, 1/115*(-64*w + 448)>, <-6, 1/2*(-w - 6)>, <-12, 1/3965*(-196*w + 2544)>, <-12, 1/3*(-w - 4)>, <-12, 1/776*(-77*w - 154)>, <-6, 1/1220*(-169*w + 2572)>, <-6, 1/624*(-25*w + 749)>, <-12, 1/49*(-w + 48)>, <-12, 1/208*(-3*w + 15)>, <-12, 1/1820*(-11*w - 88)>, <-6, 1/376*(-49*w + 376)>, <-12, 1/13298*(-117*w + 12038)>, <-6, 1/1330*(-169*w + 1668)>, <-12, 1/208*(-7*w - 28)>, <-12, 1/260*(-7*w + 204)>, <-12, 1/3040*(-39*w + 531)>, <-2, 1/37636*(-845*w + 31096)>, <-12, 1/65*(-4*w - 20)>, <-12, 1/130*(-9*w + 81)>, <-12, 1/1251*(-16*w + 160)>, <-6, 1/95*(-49*w + 98)>, <-6, 1/109*(-49*w + 403)>, <-6, 1/109*(-w + 6)>, <-12, 1/91*(-3*w + 94)>, <-6, 1/3172*(-49*w + 3564)>, <-12, 1/1976*(-63*w + 1836)>, <-12, 1/60604*(-105*w - 896)>, <-4, 1/8*(-w - 2)>, <-4, 1/14453*(-260*w + 7085)>, <-4, 1/596*(-20*w + 1141)>, <-4, 1/1341*(-16*w + 436)>, <-12, 1/13483*(-150*w + 11508)>, <-12, 1/44*(-5*w - 45)>, <-12, 1/1140*(-77*w - 77)>, <-12, 1/12*(-w + 2)>, <-12, 1/45872*(-1365*w + 38025)>, <-12, 1/690*(-7*w + 739)>, <-12, 1/225*(-w + 2)>, <-4, 1/1341*(-25*w + 871)>, <-4, 1/376*(-25*w + 871)>, <-4, 1/44*(-5*w + 99)>, <-12, 1/7003*(-198*w + 3817)>, <-12, -3*w - 24>, <-4, 1/47*(-3*w + 3)>, <-4, 1/47*(-9*w + 188)>, <-4, 1/11*(-3*w + 47)>, <-4, 1/188*(-3*w + 47)>, <-4, 1/64*(-w + 57)>, <-4, 1/64*(-3*w + 40)>, <-4, 1/65*(-12*w + 173)> ]