/* Defining polynomial */ x^2 - x + 193 /* GCD of coefficients */ 1 /* 24 * |disc|^(3/2) /(8*pi^2)* zeta_F(2) */ 8657.44892548416813521351000060 /* Belt */ [ <114, 1/11*(w + 5)>, <2, 1/2453*(102*w + 2963)>, <1, 1/49729*(612*w + 67507)>, <1, 1/72475*(396*w + 43681)>, <2, 1/223*(17*w + 85)>, <1, 1/72475*(1122*w + 47311)>, <2, 1/17*(w + 5)>, <1, 1/223*(6*w + 253)>, <24, 1/1717*(18*w + 1519)>, <24, 1/303*(17*w + 170)>, <124, 1/235*(13*w + 78)>, <24, 1/123*(10*w - 40)>, <24, 1/50*(3*w - 12)>, <12, 1/3337*(30*w + 3315)>, <12, 1/75*(2*w + 12)>, <12, 1/71*(15*w - 4)>, <24, 1/28*(15*w - 120)>, <24, 1/3735*(28*w - 224)>, <108, 1/13*(w + 5)>, <108, 1/223*(13*w + 65)>, <204, 1/83*(5*w + 43)>, <24, 1/27*(2*w + 35)>, <24, 1/223*(4*w + 199)>, <120, 1/213*(11*w + 44)>, <120, 1/235*(11*w + 66)>, <12, 1/6889*(40*w + 344)>, <136, 1/71*(3*w + 56)>, <40, 7/193*w>, <40, 1/193*(7*w + 186)>, <24, 1/689*(18*w + 315)>, <24, 1/195*(4*w + 199)>, <36, 1/223*(16*w + 127)>, <12, 1/22523*(176*w - 1573)>, <24, 1/58479*(1430*w + 29450)>, <24, 1/143*(10*w - 60)>, <84, 1/83*(3*w + 21)>, <84, 1/65*(3*w + 3)>, <24, 1/199*(5*w + 209)>, <12, 1/1494*(169*w + 2677)>, <46, 1/249*(16*w + 112)>, <48, 1/8*(w + 6)>, <24, 1/1717*(18*w + 180)>, <24, 1/235*(17*w + 102)>, <48, 1/8*(w + 1)>, <24, 1/223*(15*w + 133)>, <24, 1/283*(15*w + 133)>, <24, 1/14*(w + 4)>, <6, 1/265*(3*w + 24)>, <6, 1/669*(256*w + 1280)>, <24, 1/283*(14*w + 143)>, <60, 1/13*(w + 8)>, <60, 1/13*(w + 4)>, <48, 1/7*(w + 1)>, <24, 1/83*(2*w + 14)>, <8, 1/14129*(130*w + 804)>, <4, 1/213*(2*w + 203)>, <4, 1/6*(w + 10)>, <40, 1/15*(w + 10)>, <4, 1/1065*(65*w + 402)>, <4, 1/5041*(130*w + 5845)>, <8, 1/142*(65*w + 402)>, <16, 1/223*(6*w + 30)>, <4, 1/187*(6*w + 187)>, <4, 1/5525*(121*w + 3281)>, <4, 1/1158*(121*w + 3281)>, <20, 1/12*w>, <4, 1/72*(11*w + 193)>, <20, 12/193*w>, <4, 1/325*(11*w + 193)>, <12, 1/1111*(24*w + 1351)>, <24, 1/193*(11*w + 182)>, <48, 1/195*(7*w + 7)>, <24, 1/6*(w + 7)>, <168, 1/47*(3*w + 18)>, <24, 1/283*(8*w + 203)>, <24, 1/195*(8*w + 203)>, <96, 1/41*(w + 37)>, <4, 1/55225*(858*w + 9504)>, <96, 1/39*(w + 37)>, <60, 1/65*(w + 63)>, <168, 1/53*(3*w + 24)>, <12, 1/8*(w + 5)>, <12, 1/1784*(135*w - 810)>, <60, 1/205*(11*w + 161)>, <60, 1/11*(w + 7)>, <24, 1/16*(5*w - 35)>, <24, 1/7171*(80*w + 6355)>, <12, 1/20099*(360*w + 9675)>, <12, 1/8*(w - 3)>, <12, 1/1981*(150*w + 3331)>, <24, 1/283*(7*w + 63)>, <12, 1/470*(21*w - 147)>, <84, 1/10*(w + 6)>, <24, 1/2491*(6*w + 2433)>, <64, 1/205*(13*w + 39)>, <25, 1/36*(13*w + 153)>, <4, 1/6*(w + 9)>, <1, 1/80089*(1014*w + 59761)>, <4, 1/283*(6*w + 54)>, <1, 1/2665*(247*w + 2907)>, <1, 1/2665*(114*w + 3007)>, <1, 1/58015*(1482*w + 1452)>, <1, 1/58015*(684*w + 76057)>, <1, 1/80089*(468*w + 52039)>, <1, 1/1698*(169*w + 3219)>, <64, 1/13*(w + 3)>, <48, 1/199*(5*w + 184)>, <6, 1/169*(6*w + 181)>, <18, 1/199*(6*w + 181)>, <60, 1/199*(7*w + 178)>, <60, 1/213*(7*w + 178)>, <24, 1/9071*(231*w + 6138)>, <12, 1/75*(2*w + 67)>, <12, 1/249*(4*w + 28)>, <24, 1/165*(7*w + 186)>, <24, 1/8*(3*w - 21)>, <24, 1/2899*(80*w + 3299)>, <24, 1/130*(9*w - 63)>, <48, 1/283*(17*w + 113)>, <48, 1/40*(17*w - 130)>, <24, 1/423*(26*w - 182)>, <36, 1/7*(w - 1)>, <36, 1/193*(7*w - 7)>, <12, 1/18509*(234*w + 15665)>, <24, 1/11037*(308*w + 5885)>, <24, 1/199*(4*w + 187)>, <24, 1/199*(42*w - 126)>, <60, 1/39*(w - 2)>, <12, 1/42*(w + 1)>, <48, 1/205*(8*w + 173)>, <48, 1/205*(8*w + 24)>, <12, 1/182*(11*w + 182)>, <48, 1/265*(17*w + 112)>, <24, 1/24*(17*w - 129)>, <24, 1/70225*(408*w - 3096)>, <12, 1/2915*(78*w + 3539)>, <78, 1/265*(11*w + 88)>, <12, 1/193*(6*w + 193)>, <12, 1/940*(169*w + 1954)>, <24, 1/140*(11*w - 44)>, <24, 1/2173*(42*w + 1848)>, <64, 1/205*(7*w + 21)>, <6, 1/20*(3*w + 29)>, <18, 1/41*(3*w + 29)>, <24, 1/4*(w + 1)>, <48, 1/249*(17*w + 113)>, <48, 1/70467*(680*w - 5200)>, <12, 1/130*(11*w + 141)>, <48, 1/39*(2*w + 2)>, <12, 1/830*(33*w + 1061)>, <24, 1/199*(10*w + 169)>, <24, 1/143*(10*w - 50)>, <36, 1/5*(w + 5)>, <24, 1/303*(13*w + 130)>, <12, 1/30*(13*w - 143)>, <24, 1/54619*(1430*w + 27020)>, <36, 1/223*(5*w + 25)>, <48, 1/65*(3*w + 68)>, <48, 1/101*(3*w + 68)>, <24, 1/18815*(416*w + 4736)>, <24, 1/18395*(352*w + 12507)>, <24, 1/33*(4*w + 57)>, <24, 1/96*(11*w - 88)>, <24, 1/6565*(132*w + 1881)>, <24, 1/58015*(1144*w + 43407)>, <24, 1/2899*(88*w + 3339)>, <46, 1/265*(16*w + 128)>, <14, 1/9*(16*w + 121)>, <12, 1/193*(w + 192)>, <18, 1/3*(w + 3)>, <6, 3/196*w>, <24, 1/913*(28*w + 1109)>, <96, 1/83*(4*w + 51)>, <96, 1/71*(4*w + 51)>, <84, 1/47*(2*w + 12)>, <48, 1/213*(10*w + 163)>, <36, 1/195*(7*w + 202)>, <24, 1/65*(2*w + 61)>, <60, 1/65*(w - 2)>, <60, 1/3*(w - 2)>, <60, 1/13*(w + 11)>, <8, 1/193*(2*w - 2)>, <4, 2/195*w>, <4, 1/2509*(180*w + 2509)>, <4, 13/193*w>, <4, 1/67357*(2028*w + 32617)>, <4, 1/199*(15*w + 30)>, <8, 1/199*(2*w + 4)>, <12, 1/125*(4*w + 52)>, <60, 1/25*(w + 11)>, <36, 1/265*(7*w + 202)>, <24, 1/71*(2*w + 61)>, <48, 1/611*(14*w + 695)>, <36, 1/11*(w + 9)>, <60, 1/39*(w + 40)>, <36, 1/283*(11*w + 99)>, <4, 1/5041*(132*w + 2464)>, <12, 1/5395*(168*w + 1923)>, <24, 1/6565*(168*w + 2589)>, <24, 1/6565*(168*w + 3808)>, <48, 1/11289*(182*w + 9035)>, <48, 1/10*(w + 5)>, <78, 1/199*(11*w + 22)>, <12, 1/100*(9*w + 172)>, <60, 1/235*(14*w + 137)>, <24, 1/55*(2*w - 8)>, <60, 1/249*(14*w + 137)>, <12, 1/48*(w + 3)>, <36, 1/41*(w - 4)>, <24, 1/55*(2*w + 61)>, <12, 1/150*(7*w + 178)>, <6, 1/26*(3*w + 20)>, <6, 1/65*(2*w + 41)>, <12, 1/36*(w - 9)>, <36, 1/53*(w + 8)>, <4, 1/1435*(156*w + 1903)>, <24, 1/11*(w - 3)>, <24, 1/182*(11*w - 22)>, <24, 1/44377*(1144*w + 18208)>, <24, 1/1704*(143*w + 2276)>, <12, 1/1393*(234*w + 468)>, <24, 1/199*(11*w - 33)>, <24, 1/165*(14*w - 28)>, <24, 1/497*(55*w + 717)>, <12, 1/225*(4*w + 229)>, <48, 1/53*(2*w + 16)>, <24, 1/165*(7*w + 193)>, <12, 1/193*(4*w + 189)>, <12, 1/225*(8*w + 24)>, <24, 1/1162*(15*w - 120)>, <24, 1/1162*(15*w + 1267)>, <24, 1/658*(11*w - 77)>, <24, 1/658*(11*w + 724)>, <12, 1/355*(56*w - 280)>, <36, 1/5*(w + 4)>, <24, 1/130*(9*w + 193)>, <24, 1/54619*(1170*w + 25090)>, <12, 1/892*(169*w + 1737)>, <60, 1/223*(9*w + 45)>, <12, 1/1414*(3*w + 1444)>, <12, 1/205*(14*w + 149)>, <12, 1/193*(w + 193)>, <12, w + 2>, <12, 1/196*(3*w + 3)>, <24, 1/65*(4*w + 4)>, <24, 1/195*(4*w + 207)>, <12, 1/13197*(80*w + 12512)>, <12, 1/128*(11*w - 44)>, <12, 1/121*(14*w + 149)>, <12, 1/27*(4*w - 28)>, <12, 1/3445*(44*w + 3797)>, <24, 1/195*(4*w - 16)>, <24, 1/65*(4*w + 57)>, <12, 1/283*(12*w + 108)>, <12, 1/55*(12*w - 120)>, <6, 1/54325*(1452*w + 33876)>, <6, 1/12*(w + 3)>, <36, 1/213*(5*w + 20)>, <24, 1/923*(32*w - 160)>, <12, 1/48057*(1352*w + 15440)>, <12, 1/3*(w + 2)>, <40, 1/101*(5*w + 50)>, <12, 1/213*(80*w - 187)>, <24, 1/83*(w + 75)>, <60, 1/9*(w + 5)>, <24, 1/17015*(429*w + 6279)>, <24, 1/117*(11*w + 161)>, <6, 1/235*(3*w + 214)>, <6, 1/48175*(588*w + 5643)>, <24, 1/611*(12*w + 480)>, <36, 1/235*(12*w + 151)>, <36, 1/235*(12*w + 72)>, <24, 1/36*(w + 40)>, <12, 1/2895*(26*w + 386)>, <36, 1/223*(14*w + 139)>, <36, 1/265*(14*w + 139)>, <24, 1/5893*(70*w + 573)>, <12, 1/8*(5*w + 43)>, <12, 1/7171*(20*w - 204)>, <24, 1/5893*(70*w + 5250)>, <12, 1/410*(27*w - 108)>, <24, 1/1079*(22*w + 320)>, <24, 1/7171*(105*w + 6100)>, <24, 1/94*(11*w + 160)>, <24, 1/7171*(105*w + 966)>, <12, 1/36*(w + 37)>, <12, 1/3396*(49*w + 3837)>, <12, 1/283*(18*w + 162)>, <24, 1/199*(14*w + 28)>, <30, 1/144*(11*w - 33)>, <24, 1/14*(w + 2)>, <12, 1/213*(4*w + 193)>, <24, 1/83*(w + 7)>, <12, 1/568*(75*w + 300)>, <16, 1/112*(9*w - 90)>, <28, 1/283*(9*w + 81)>, <12, 1/1115*(168*w + 1955)>, <25, 1/3679*(36*w + 4003)>, <12, 1/205*(w + 201)>, <12, 1/1791*(196*w + 1203)>, <12, 1/199*(3*w - 9)>, <24, 1/923*(36*w + 1067)>, <12, 1/224*(5*w + 209)>, <12, 1/2120*(121*w + 3088)>, <24, 1/265*(9*w + 72)>, <12, 1/154*(9*w + 172)>, <36, 1/235*(9*w + 54)>, <24, 1/20099*(468*w + 13871)>, <30, 1/144*(11*w + 166)>, <24, 1/193*(8*w + 193)>, <12, 1/54325*(2028*w + 25764)>, <18, 1/3*(w - 1)>, <12, 1/19505*(182*w + 17542)>, <6, 1/965*(48*w + 917)>, <24, 1/240*(7*w + 226)>, <36, 1/223*(16*w + 80)>, <24, 1/10*(w - 4)>, <12, 1/375*(2*w + 347)>, <24, 1/41*(2*w - 8)>, <24, 1/2173*(39*w + 418)>, <24, 1/223*(39*w + 418)>, <12, 1/225*(2*w + 233)>, <12, w - 5>, <24, 1/4141*(112*w + 3616)>, <24, 1/5395*(132*w + 2596)>, <12, 1/17225*(504*w + 14544)>, <24, 1/669*(44*w - 264)>, <24, 1/265*(8*w + 193)>, <12, 1/3474*(121*w + 3353)>, <28, 1/193*(9*w - 9)>, <16, 1/51145*(1008*w + 29529)>, <24, 1/265*(9*w + 184)>, <12, 1/27*(14*w - 126)>, <36, 1/235*(9*w + 172)>, <24, 1/56317*(1092*w + 40392)>, <12, 1/852*(35*w + 992)>, <24, 1/2820*(91*w + 3366)>, <6, 1/55225*(1872*w + 32617)>, <24, 1/287*(32*w - 128)>, <12, 1/2665*(12*w + 2781)>, <18, 1/15*(w + 11)>, <12, 1/223*(2*w + 211)>, <12, 1/225*(w - 4)>, <24, 1/160*(7*w - 28)>, <12, 1/715*(54*w + 769)>, <16, 1/4528*(21*w + 4318)>, <16, 1/283*(16*w + 144)>, <12, 1/52405*(1092*w + 37572)>, <24, 1/689*(14*w + 430)>, <24, 1/2*(3*w - 27)>, <24, 1/689*(14*w + 245)>, <16, 1/235*(16*w + 96)>, <16, 1/4528*(21*w + 189)>, <8, 1/27*(16*w - 112)>, <8, 1/3760*(27*w - 189)>, <4, 1/144*(7*w - 49)>, <16, 1/65985*(112*w - 959)>, <4, 1/16019*(336*w + 9264)>, <4, 1/256*(9*w + 184)>, <4, 1/256*(7*w + 193)>, <16, 1/2385*(112*w + 3281)>, <16, 1/4240*(7*w + 56)>, <14, 1/9*(16*w - 128)>, <-2, 1/2453*(-102*w + 3065)>, <-1, 1/49729*(-612*w + 68119)>, <-1, 1/72475*(-396*w + 44077)>, <-1, 1/72475*(-1122*w + 48433)>, <-1, 1/223*(-6*w + 259)>, <-12, 1/3337*(-30*w + 3345)>, <-12, 1/75*(-2*w + 14)>, <-12, 1/71*(-15*w + 11)>, <-12, 1/22523*(-176*w - 1397)>, <-24, 1/199*(-5*w + 214)>, <-12, 1/1494*(-169*w + 2846)>, <-6, 1/265*(-3*w + 27)>, <-6, 1/669*(-256*w + 1536)>, <-4, 1/213*(-2*w + 205)>, <-4, 1/6*(-w + 11)>, <-4, 1/1065*(-65*w + 467)>, <-4, 1/5041*(-130*w + 5975)>, <-16, 1/223*(-6*w + 36)>, <-4, 1/187*(-6*w + 193)>, <-4, 1/5525*(-121*w + 3402)>, <-4, 1/1158*(-121*w + 3402)>, <-4, 1/72*(-11*w + 204)>, <-4, 1/325*(-11*w + 204)>, <-12, 1/1111*(-24*w + 1375)>, <-24, 1/193*(-11*w + 193)>, <-4, 1/55225*(-858*w + 10362)>, <-12, 1/8*(-w + 6)>, <-12, 1/1784*(-135*w - 675)>, <-12, 1/20099*(-360*w + 10035)>, <-12, 1/8*(-w - 2)>, <-12, 1/1981*(-150*w + 3481)>, <-24, 1/283*(-7*w + 70)>, <-12, 1/470*(-21*w - 126)>, <-1, 1/80089*(-1014*w + 60775)>, <-1, 1/2665*(-247*w + 3154)>, <-1, 1/2665*(-114*w + 3121)>, <-1, 1/58015*(-1482*w + 2934)>, <-1, 1/58015*(-684*w + 76741)>, <-1, 1/80089*(-468*w + 52507)>, <-1, 1/1698*(-169*w + 3388)>, <-6, 1/169*(-6*w + 187)>, <-18, 1/199*(-6*w + 187)>, <-12, 1/75*(-2*w + 69)>, <-12, 1/249*(-4*w + 32)>, <-24, 1/8*(-3*w - 18)>, <-24, 1/2899*(-80*w + 3379)>, <-12, 1/18509*(-234*w + 15899)>, <-12, 1/42*(-w + 2)>, <-12, 1/182*(-11*w + 193)>, <-12, 1/2915*(-78*w + 3617)>, <-12, 1/193*(-6*w + 199)>, <-12, 1/940*(-169*w + 2123)>, <-6, 1/20*(-3*w + 32)>, <-12, 1/130*(-11*w + 152)>, <-12, 1/830*(-33*w + 1094)>, <-24, 1/199*(-10*w + 179)>, <-24, 1/303*(-13*w + 143)>, <-12, 1/30*(-13*w - 130)>, <-6, 1/196*(-3*w + 3)>, <-24, 1/913*(-28*w + 1137)>, <-4, 1/195*(-2*w + 2)>, <-4, 1/2509*(-180*w + 2689)>, <-4, 1/193*(-13*w + 13)>, <-4, 1/67357*(-2028*w + 34645)>, <-4, 1/199*(-15*w + 45)>, <-12, 1/125*(-4*w + 56)>, <-4, 1/5041*(-132*w + 2596)>, <-12, 1/5395*(-168*w + 2091)>, <-12, 1/100*(-9*w + 181)>, <-12, 1/48*(-w + 4)>, <-12, 1/150*(-7*w + 185)>, <-6, 1/26*(-3*w + 23)>, <-6, 1/65*(-2*w + 43)>, <-12, 1/36*(-w - 8)>, <-4, 1/1435*(-156*w + 2059)>, <-12, 1/1393*(-234*w + 702)>, <-12, 1/225*(-4*w + 233)>, <-12, 1/193*(-4*w + 193)>, <-12, 1/225*(-8*w + 32)>, <-12, 1/355*(-56*w - 224)>, <-12, 1/892*(-169*w + 1906)>, <-12, 1/1414*(-3*w + 1447)>, <-12, 1/205*(-14*w + 163)>, <-12, 1/193*(-w + 194)>, <-12, -w + 3>, <-12, 1/196*(-3*w + 6)>, <-12, 1/13197*(-80*w + 12592)>, <-12, 1/128*(-11*w - 33)>, <-12, 1/121*(-14*w + 163)>, <-12, 1/27*(-4*w - 24)>, <-12, 1/3445*(-44*w + 3841)>, <-12, 1/283*(-12*w + 120)>, <-12, 1/55*(-12*w - 108)>, <-6, 1/54325*(-1452*w + 35328)>, <-6, 1/12*(-w + 4)>, <-12, 1/48057*(-1352*w + 16792)>, <-12, 1/3*(-w + 3)>, <-12, 1/213*(-80*w - 107)>, <-6, 1/235*(-3*w + 217)>, <-6, 1/48175*(-588*w + 6231)>, <-12, 1/2895*(-26*w + 412)>, <-12, 1/7171*(-20*w - 184)>, <-12, 1/410*(-27*w - 81)>, <-12, 1/36*(-w + 38)>, <-12, 1/3396*(-49*w + 3886)>, <-12, 1/283*(-18*w + 180)>, <-12, 1/213*(-4*w + 197)>, <-12, 1/568*(-75*w + 375)>, <-16, 1/112*(-9*w - 81)>, <-12, 1/1115*(-168*w + 2123)>, <-12, 1/205*(-w + 202)>, <-12, 1/1791*(-196*w + 1399)>, <-12, 1/199*(-3*w - 6)>, <-12, 1/224*(-5*w + 214)>, <-12, 1/2120*(-121*w + 3209)>, <-12, 1/154*(-9*w + 181)>, <-12, 1/54325*(-2028*w + 27792)>, <-12, 1/19505*(-182*w + 17724)>, <-6, 1/965*(-48*w + 965)>, <-12, 1/375*(-2*w + 349)>, <-12, 1/225*(-2*w + 235)>, <-12, -w - 4>, <-12, 1/17225*(-504*w + 15048)>, <-12, 1/3474*(-121*w + 3474)>, <-12, 1/27*(-14*w - 112)>, <-12, 1/852*(-35*w + 1027)>, <-6, 1/55225*(-1872*w + 34489)>, <-12, 1/2665*(-12*w + 2793)>, <-12, 1/223*(-2*w + 213)>, <-12, 1/225*(-w - 3)>, <-12, 1/715*(-54*w + 823)>, <-12, 1/52405*(-1092*w + 38664)>, <-4, 1/144*(-7*w - 42)>, <-4, 1/16019*(-336*w + 9600)>, <-4, 1/256*(-9*w + 193)>, <-4, 1/256*(-7*w + 200)> ]