/* Defining polynomial */ x^2 - x + 192 /* GCD of coefficients */ 2 /* 24 * |disc|^(3/2) /(8*pi^2)* zeta_F(2) */ 15161.8797363282278823002863023 /* Belt */ [ <228, 1/12*(w + 3)>, <228, 1/17*(w + 3)>, <156, 1/26*(w + 6)>, <36, 1/248*(7*w + 192)>, <108, 1/39*(w + 32)>, <108, 1/32*(w + 32)>, <48, 1/124*(3*w - 24)>, <48, 1/6*(w - 8)>, <36, 1/192*(7*w + 192)>, <132, 1/10*(w + 3)>, <60, 1/117*(8*w + 48)>, <132, 1/102*(5*w + 15)>, <60, 1/16*(w + 6)>, <96, 1/204*(11*w + 160)>, <96, 1/204*(11*w + 33)>, <36, 1/12*(w - 4)>, <36, 1/17*(w - 4)>, <36, 1/9*(w - 7)>, <36, 1/26*(w - 7)>, <132, 1/24*(w + 15)>, <84, 1/124*(5*w + 35)>, <132, 1/18*(w + 15)>, <48, 1/9*(w + 9)>, <132, 1/33*(w + 24)>, <132, 1/33*(w + 8)>, <84, 1/10*(w + 7)>, <156, 1/9*(w + 6)>, <48, 1/9*(w - 1)>, <204, 1/37*(2*w + 10)>, <12, 1/13*(2*w + 25)>, <292, 1/18*(w + 11)>, <316, 1/33*(2*w + 16)>, <60, 1/4*(w + 3)>, <24, 1/286*(7*w + 146)>, <24, 7/208*w>, <24, 1/9*(w + 13)>, <36, 1/99*(2*w + 93)>, <204, 1/37*(2*w + 25)>, <24, 1/15*(2*w - 14)>, <96, 1/188*(w + 178)>, <132, 1/53*(3*w + 38)>, <48, 1/242*(7*w + 298)>, <316, 1/31*(2*w + 14)>, <36, 1/234*(7*w + 185)>, <60, 1/6*(w + 4)>, <60, 1/48*(w + 47)>, <24, 1/286*(7*w + 133)>, <36, 1/99*(2*w + 4)>, <24, 1/208*(7*w + 201)>, <24, 1/9*(w - 5)>, <24, 1/15*(2*w + 27)>, <24, 1/682*(15*w + 415)>, <24, 1/65*(3*w + 83)>, <36, 1/192*(7*w + 185)>, <60, 1/97*(3*w + 91)>, <48, 1/242*(7*w - 63)>, <96, 1/3*(2*w - 17)>, <132, 1/62*(3*w + 38)>, <36, 5/96*w>, <24, 1/153*(13*w - 52)>, <48, 1/3663*(35*w + 3283)>, <60, 1/97*(5*w + 87)>, <24, 1/1164*(35*w + 520)>, <120, 1/8*(w + 7)>, <48, 1/4982*(35*w + 4592)>, <48, 1/616*(5*w + 656)>, <24, 1/222*(5*w + 192)>, <12, 1/88*(3*w - 6)>, <24, 1/192*(5*w + 192)>, <204, 1/117*(7*w + 68)>, <120, 1/6*(w + 5)>, <48, 1/111*(4*w + 131)>, <204, 1/124*(7*w + 68)>, <120, 1/37*(w + 5)>, <48, 1/56*(13*w + 147)>, <4, 1/5*(w + 11)>, <72, 1/212*(13*w + 52)>, <72, 1/212*(13*w + 147)>, <24, 1/151*(5*w + 96)>, <156, 1/6*(w + 2)>, <120, 1/11*(w + 5)>, <156, 1/33*(w + 2)>, <24, 1/66*(13*w - 91)>, <84, 1/11*(w + 4)>, <48, 1/259*(6*w - 36)>, <48, 1/36*(7*w - 42)>, <24, 1/507*(11*w - 77)>, <84, 1/11*(w + 6)>, <120, 1/68*(3*w + 9)>, <24, 1/1164*(35*w + 609)>, <120, 1/68*(3*w + 56)>, <48, 1/111*(4*w - 24)>, <120, 1/31*(w + 7)>, <48, 1/6996*(91*w + 1029)>, <24, 5/192*w>, <138, 1/88*(5*w + 43)>, <24, 1/143*(4*w + 63)>, <24, 1/3478*(35*w + 3135)>, <24, 1/40*(w + 37)>, <138, 1/78*(5*w + 43)>, <24, 1/16*(w - 4)>, <24, 1/585*(7*w + 627)>, <24, 1/799*(20*w + 740)>, <120, 1/51*(2*w + 43)>, <72, 1/212*(9*w + 36)>, <120, 1/51*(2*w + 6)>, <24, 1/512*(15*w + 305)>, <60, 1/13*(w + 3)>, <12, 1/111*(13*w - 78)>, <24, 1/55*(3*w + 61)>, <60, 1/204*(13*w + 39)>, <24, 1/212*(5*w + 20)>, <24, 1/97*(2*w - 4)>, <24, 1/111*(2*w + 10)>, <24, 1/97*(11*w - 22)>, <24, 1/22*(w - 2)>, <24, 1/182*(5*w - 10)>, <120, 1/14*(w + 8)>, <80, 1/264*(17*w + 111)>, <6, 1/264*(49*w + 656)>, <6, 1/66*(w + 8)>, <120, 1/132*(7*w + 56)>, <24, 1/216*(5*w + 75)>, <24, 1/8*(w - 8)>, <24, 1/10*(w + 15)>, <24, 1/54*(w + 38)>, <12, 1/2256*(11*w + 99)>, <24, 1/77*(4*w + 101)>, <24, 1/13677*(308*w + 7777)>, <48, 1/53*(w + 4)>, <24, 1/30*(w + 32)>, <24, 1/27*(7*w + 69)>, <24, 1/485*(91*w - 182)>, <48, 3/64*w>, <48, 1/88*(3*w + 24)>, <60, 1/132*(5*w + 87)>, <24, 1/96*(5*w + 96)>, <24, 1/208*(5*w + 160)>, <12, 1/2544*(49*w + 2352)>, <6, 1/196*(w + 4)>, <36, 1/10*w>, <24, 1/216*(7*w + 104)>, <24, 1/216*(7*w + 105)>, <24, 1/148*(5*w - 30)>, <120, 1/248*(13*w + 144)>, <12, 1/37*(3*w + 52)>, <24, 1/1628*(21*w + 207)>, <24, 1/52*(3*w - 12)>, <48, 1/4*(w + 4)>, <24, 1/3*(w + 1)>, <12, 1/17*(w - 3)>, <12, 1/13*(w + 19)>, <48, 1/434*(5*w + 469)>, <48, 1/48*(13*w - 117)>, <72, 1/111*(4*w + 87)>, <72, 1/222*(7*w + 180)>, <42, 1/194*(5*w + 5)>, <24, 35/128*w>, <30, 1/5*(w + 6)>, <24, 7/30*w>, <24, 1/53*(7*w - 35)>, <24, 1/868*(11*w + 945)>, <24, 1/592*(15*w + 112)>, <24, 1/91*(3*w - 12)>, <48, 1/2397*(26*w + 2067)>, <72, 1/8*(w + 2)>, <12, 1/6*(w + 9)>, <12, 1/141*(14*w - 140)>, <48, 1/198*(5*w + 10)>, <120, 1/10*(w + 5)>, <24, 1/555*(28*w - 168)>, <12, 1/112*(5*w + 5)>, <12, 1/97*(5*w - 10)>, <12, 1/1848*(13*w + 1952)>, <12, 1/63*(w - 7)>, <12, 1/194*(w + 192)>, <36, 1/102*(w + 3)>, <12, 1/194*(49*w + 49)>, <24, 1/3861*(70*w + 3605)>, <42, 1/194*(5*w + 184)>, <30, 1/234*(5*w + 30)>, <72, 1/194*(7*w + 180)>, <24, 1/97*(15*w + 112)>, <24, 1/91*(3*w + 100)>, <24, 1/1683*(35*w + 1533)>, <24, 1/868*(11*w - 88)>, <24, 1/28*(w - 5)>, <36, 1/99*(7*w + 14)>, <24, 1/52*(3*w - 15)>, <24, 1/424*(91*w - 455)>, <24, 1/20*(w + 23)>, <24, 1/3*(w - 2)>, <24, 1/150*(11*w + 172)>, <24, 1/272*(25*w + 347)>, <24, 1/296*(7*w + 72)>, <24, 1/12028*(315*w + 5553)>, <24, 1/97*(28*w + 28)>, <24, 1/66*(7*w - 21)>, <24, 1/77*(4*w - 16)>, <12, 1/108*(w + 92)>, <24, 1/27*(w + 15)>, <24, 1/11*(w - 5)>, <12, 1/3861*(32*w + 3936)>, <12, 1/256*(11*w + 88)>, <12, 1/117*(32*w - 107)>, <24, 1/212*(11*w - 55)>, <48, 1/1034*(15*w + 1119)>, <48, 1/18*(w + 9)>, <24, 1/15*(8*w - 56)>, <12, 1/6*(w + 10)>, <12, 1/453*(44*w - 484)>, <24, 1/624*(5*w - 35)>, <96, 1/74*(5*w + 44)>, <4, 1/69696*(425*w - 3200)>, <4, 1/25*(17*w - 128)>, <72, 1/204*(7*w + 21)>, <96, 1/94*(5*w + 44)>, <24, 1/119*(13*w - 52)>, <6, 1/3492*(65*w + 2587)>, <48, 1/44*(w + 35)>, <48, 1/33*(w + 35)>, <24, 1/151*(8*w + 63)>, <36, 1/11*(w + 10)>, <24, 1/141*(2*w + 27)>, <12, 1/792*(119*w + 238)>, <12, 1/8*(w - 3)>, <36, 1/302*(11*w + 110)>, <24, 1/11*(2*w + 27)>, <48, 1/248*(9*w + 176)>, <12, 1/424*(35*w - 175)>, <120, 1/111*(5*w + 25)>, <48, 1/194*(9*w + 176)>, <48, 1/20*(3*w + 38)>, <24, 1/363*(25*w + 413)>, <24, 1/3663*(100*w + 1388)>, <24, 1/21*(w - 3)>, <24, 1/816*(77*w - 308)>, <48, 1/351*(10*w + 411)>, <24, 1/3498*(91*w + 2301)>, <24, 1/156*(7*w - 63)>, <48, 1/423*(5*w + 373)>, <48, 1/47*(3*w + 27)>, <24, 1/154*(13*w - 117)>, <24, 1/572*(15*w + 272)>, <24, 1/7*(w - 3)>, <24, 1/212*(15*w + 272)>, <24, 1/198*(7*w - 21)>, <12, 1/318*(13*w + 370)>, <24, 1/18236*(429*w + 11099)>, <24, 1/55*(3*w + 64)>, <12, 1/143*(7*w - 56)>, <24, 1/814*(39*w + 1009)>, <24, 1/6016*(165*w + 3520)>, <48, 1/106*(7*w + 71)>, <36, 1/96*(w + 95)>, <24, 1/2442*(35*w + 2380)>, <12, 1/7326*(119*w + 6034)>, <24, 1/70*(w + 68)>, <12, 1/459*(10*w + 164)>, <12, 1/432*(7*w + 320)>, <36, 1/212*(7*w + 177)>, <12, 1/234*(11*w + 256)>, <24, 1/36*(w + 24)>, <24, 1/36*(w + 11)>, <24, 1/182*(5*w + 192)>, <24, 1/56*(5*w - 30)>, <12, 1/8*(7*w - 70)>, <36, 1/97*(w + 95)>, <36, 1/2*(w + 2)>, <12, 1/196*w>, <120, 1/13*(w + 5)>, <48, 1/141*(7*w + 71)>, <24, 1/136*(7*w + 157)>, <24, 1/1452*(35*w + 192)>, <24, 1/21312*(455*w + 17472)>, <24, 1/108*(5*w + 48)>, <20, 1/1023*(2*w + 1006)>, <40, 1/1023*(2*w - 17)>, <24, 1/186*(5*w + 115)>, <24, 1/194*(3*w - 6)>, <24, 1/111*(8*w + 63)>, <24, 1/35*(w - 1)>, <12, 1/13536*(455*w + 8281)>, <36, 1/14*(w + 2)>, <24, 1/27*(w + 11)>, <12, 1/64*(5*w - 5)>, <24, 1/13*(w + 1)>, <24, 1/194*(13*w + 13)>, <12, 1/11*(w - 9)>, <24, 1/51*(7*w + 72)>, <24, 1/12028*(315*w + 6160)>, <24, 1/97*(28*w + 41)>, <24, 1/517*(14*w + 314)>, <24, 1/159*(13*w - 65)>, <12, 1/9603*(182*w + 8463)>, <12, 1/13*(w + 10)>, <12, 1/7852*(153*w + 1035)>, <24, 1/91*(2*w - 10)>, <24, 1/970*(91*w - 182)>, <24, 1/496*(13*w + 587)>, <24, 1/3774*(35*w + 3675)>, <24, 1/5*(w + 7)>, <48, 1/374*(7*w + 276)>, <72, 1/858*(5*w + 810)>, <24, 1/124*(3*w + 100)>, <24, 1/105*(4*w + 101)>, <48, 1/64*(w + 63)>, <24, 1/264*(7*w + 89)>, <24, 1/4983*(130*w + 3263)>, <24, 1/13*(2*w + 27)>, <24, 1/64*(35*w - 35)>, <24, 1/198*(5*w + 208)>, <12, 1/28*(w - 3)>, <12, 1/143*(7*w + 185)>, <12, 1/36*(7*w + 78)>, <12, 1/99*(2*w + 103)>, <24, 1/81*(4*w + 33)>, <12, 1/10494*(175*w + 5894)>, <36, 1/62*(w + 7)>, <12, 1/98*(w - 8)>, <24, 1/4983*(130*w + 1590)>, <24, 1/91*(5*w - 10)>, <72, 1/155*(w + 162)>, <24, 1/97*(3*w + 100)>, <48, 1/234*(7*w + 276)>, <12, 1/100*(13*w + 152)>, <48, 1/66*(w + 63)>, <24, 1/264*(7*w + 168)>, <24, 1/4559*(140*w + 3535)>, <36, 1/97*(w - 2)>, <60, 1/33*(2*w + 4)>, <36, 1/432*(13*w + 195)>, <36, 1/12*(w + 1)>, <24, 1/1692*(35*w + 1020)>, <60, 1/47*(2*w + 18)>, <24, 1/3069*(80*w + 1344)>, <24, 1/72*(5*w + 87)>, <24, 1/16*(w + 4)>, <12, 1/11*(4*w + 44)>, <36, 1/302*(17*w + 115)>, <24, 1/55*(17*w - 132)>, <24, 1/185*(11*w - 66)>, <36, 1/264*(5*w - 45)>, <24, 1/102*(5*w - 20)>, <24, 1/66*(5*w - 30)>, <6, 1/1020*(169*w - 676)>, <48, 1/8*(w + 1)>, <12, 1/873*(20*w + 445)>, <24, 1/799*(7*w + 63)>, <24, 1/42*(17*w + 153)>, <24, 1/1332*(55*w + 1607)>, <36, 1/234*(17*w + 115)>, <12, 1/7701*(112*w + 6405)>, <24, 1/14647*(330*w + 9642)>, <24, 1/64*(5*w + 84)>, <24, 1/583*(10*w + 570)>, <12, 1/3666*(35*w + 3981)>, <36, 1/212*(7*w + 28)>, <24, 1/10*(w - 4)>, <24, 1/1147*(10*w - 23)>, <96, 1/15*(w + 7)>, <24, 1/583*(10*w + 3)>, <24, 1/814*(35*w - 210)>, <24, 1/105*(11*w - 66)>, <24, 1/120*(w + 3)>, <12, 1/198*(7*w + 240)>, <12, 1/222*(85*w + 425)>, <24, 1/3*(w - 6)>, <24, 1/208*(5*w - 5)>, <24, 1/3069*(65*w + 300)>, <36, 1/106*(w + 101)>, <12, 1/396*(49*w + 249)>, <12, 1/198*(w - 3)>, <36, 1/96*(w + 96)>, <40, 2*w - 17>, <24, 1/155*(7*w + 204)>, <48, 1/64*(w - 1)>, <12, 1/65*w>, <36, 1/13*(w + 15)>, <36, 1/97*(6*w + 6)>, <24, 1/85*(6*w + 103)>, <12, 1/302*(9*w + 203)>, <12, 1/1746*(221*w + 1304)>, <36, 1/14*(w + 3)>, <24, 1/62*(7*w - 56)>, <24, 1/4268*(105*w + 1148)>, <24, 1/28*(w - 8)>, <12, 1/12276*(245*w + 7915)>, <36, 1/14*(w + 10)>, <24, 1/4268*(105*w + 3015)>, <48, 1/64*(w + 64)>, <48, 1/97*(4*w + 4)>, <24, 1/1598*(35*w + 1295)>, <24, 1/52*(5*w - 40)>, <24, 1/5134*(55*w + 4529)>, <24, 1/66*(5*w - 35)>, <12, 1/187*(6*w + 103)>, <24, 1/195*(11*w - 77)>, <12, 1/97*(4*w - 8)>, <12, 1/65*(4*w + 101)>, <12, 1/776*(85*w + 861)>, <24, 1/44*(3*w + 56)>, <24, 1/1258*(33*w + 616)>, <36, 1/51*(w - 4)>, <24, 1/68*(15*w - 60)>, <24, 1/212*(15*w + 60)>, <12, 1/77*(15*w - 75)>, <18, 1/78*(w + 6)>, <6, 1/68*(25*w + 75)>, <24, 1/45*(w - 4)>, <18, 1/3*(5*w + 43)>, <12, 1/408*(5*w + 355)>, <24, 1/14949*(364*w + 4848)>, <12, 1/4*(7*w - 77)>, <24, 1/14949*(364*w + 9737)>, <36, 1/106*(w + 4)>, <24, 1/310*(13*w - 104)>, <24, 1/1598*(35*w + 268)>, <24, 1/150*(7*w - 42)>, <24, 1/2652*(35*w + 132)>, <24, 1/150*(7*w + 185)>, <24, 1/97*(35*w + 132)>, <24, 1/204*(65*w + 399)>, <48, 1/93*(5*w - 40)>, <12, 1/1812*(25*w + 2062)>, <36, 1/5*(w - 9)>, <48, 1/40*(3*w - 24)>, <24, 1/272*(5*w + 235)>, <12, 1/20536*(525*w + 16875)>, <24, 1/45*(w + 47)>, <12, 1/340*(11*w + 373)>, <24, 1/4134*(35*w + 249)>, <12, 1/13*(5*w - 35)>, <24, 1/212*(15*w + 137)>, <12, 1/64024*(195*w - 1976)>, <24, 1/4134*(35*w + 3850)>, <24, 1/4884*(65*w + 399)>, <24, 1/7936*(175*w + 2961)>, <24, 1/273*(25*w + 423)>, <24, 1/6956*(45*w + 396)>, <48, 1/40*(3*w - 27)>, <12, 1/39*(4*w + 63)>, <48, 1/99*(5*w - 45)>, <24, 1/242*(5*w + 62)>, <12, 1/6912*(275*w + 4800)>, <12, 1/75*(w + 11)>, <12, 1/192*(25*w + 167)>, <24, 1/37*(5*w + 62)>, <12, 1/18656*(975*w + 11025)>, <24, 1/3*(w + 8)>, <12, 1/222*(w + 5)>, <24, 1/9*(5*w + 44)>, <12, 1/188*(3*w + 215)>, <12, 1/74*(w + 68)>, <12, 1/225*(w - 3)>, <18, 1/3*(5*w - 45)>, <4, 1/93*(2*w + 46)>, <4, 1/32*(w + 24)>, <4, 1/32*(w + 23)>, <4, 1/33*(2*w + 49)>, <20, 2*w - 16>, <-12, 1/13*(-2*w + 27)>, <-12, 1/88*(-3*w - 3)>, <-4, 1/5*(-w + 12)>, <-12, 1/111*(-13*w - 65)>, <-6, 1/264*(-49*w + 705)>, <-6, 1/66*(-w + 9)>, <-12, 1/2256*(-11*w + 110)>, <-12, 1/2544*(-49*w + 2401)>, <-6, 1/196*(-w + 5)>, <-24, 1/148*(-5*w - 25)>, <-12, 1/37*(-3*w + 55)>, <-12, 1/17*(-w - 2)>, <-12, 1/13*(-w + 20)>, <-12, 1/6*(-w + 10)>, <-12, 1/141*(-14*w - 126)>, <-12, 1/112*(-5*w + 10)>, <-12, 1/97*(-5*w - 5)>, <-12, 1/1848*(-13*w + 1965)>, <-12, 1/63*(-w - 6)>, <-12, 1/194*(-w + 193)>, <-12, 1/194*(-49*w + 98)>, <-12, 1/108*(-w + 93)>, <-12, 1/3861*(-32*w + 3968)>, <-12, 1/256*(-11*w + 99)>, <-12, 1/117*(-32*w - 75)>, <-12, 1/6*(-w + 11)>, <-12, 1/453*(-44*w - 440)>, <-6, 1/3492*(-65*w + 2652)>, <-12, 1/792*(-119*w + 357)>, <-12, 1/8*(-w - 2)>, <-12, 1/424*(-35*w - 140)>, <-12, 1/318*(-13*w + 383)>, <-12, 1/143*(-7*w - 49)>, <-12, 1/7326*(-119*w + 6153)>, <-12, 1/459*(-10*w + 174)>, <-12, 1/432*(-7*w + 327)>, <-12, 1/234*(-11*w + 267)>, <-12, 1/8*(-7*w - 63)>, <-12, 1/196*(-w + 1)>, <-24, 1/108*(-5*w + 53)>, <-12, 1/13536*(-455*w + 8736)>, <-12, -5/64*w>, <-12, 1/11*(-w - 8)>, <-12, 1/9603*(-182*w + 8645)>, <-12, 1/13*(-w + 11)>, <-12, 1/7852*(-153*w + 1188)>, <-12, 1/28*(-w - 2)>, <-12, 1/143*(-7*w + 192)>, <-12, 1/36*(-7*w + 85)>, <-12, 1/99*(-2*w + 105)>, <-12, 1/10494*(-175*w + 6069)>, <-12, 1/98*(-w - 7)>, <-12, 1/100*(-13*w + 165)>, <-12, 1/11*(-4*w + 48)>, <-6, 1/1020*(-169*w - 507)>, <-12, 1/873*(-20*w + 465)>, <-12, 1/7701*(-112*w + 6517)>, <-12, 1/3666*(-35*w + 4016)>, <-12, 1/198*(-7*w + 247)>, <-12, 1/222*(-85*w + 510)>, <-12, 1/396*(-49*w + 298)>, <-12, 1/198*(-w - 2)>, <-12, 1/65*(-w + 1)>, <-12, 1/302*(-9*w + 212)>, <-12, 1/1746*(-221*w + 1525)>, <-12, 1/12276*(-245*w + 8160)>, <-12, 1/187*(-6*w + 109)>, <-12, 1/97*(-4*w - 4)>, <-12, 1/65*(-4*w + 105)>, <-12, 1/776*(-85*w + 946)>, <-12, 1/77*(-15*w - 60)>, <-18, 1/78*(-w + 7)>, <-6, 1/68*(-25*w + 100)>, <-12, 1/408*(-5*w + 360)>, <-12, 1/4*(-7*w - 70)>, <-12, 1/1812*(-25*w + 2087)>, <-12, 1/20536*(-525*w + 17400)>, <-12, 1/340*(-11*w + 384)>, <-12, 1/13*(-5*w - 30)>, <-12, 1/64024*(-195*w - 1781)>, <-12, 1/39*(-4*w + 67)>, <-12, 1/6912*(-275*w + 5075)>, <-12, 1/75*(-w + 12)>, <-12, 1/192*(-25*w + 192)>, <-12, 1/18656*(-975*w + 12000)>, <-12, 1/222*(-w + 6)>, <-12, 1/188*(-3*w + 218)>, <-12, 1/74*(-w + 69)>, <-12, 1/225*(-w - 2)>, <-4, 1/93*(-2*w + 48)>, <-4, 1/32*(-w + 25)>, <-4, 1/32*(-w + 24)>, <-4, 1/33*(-2*w + 51)> ]