/* Defining polynomial */ x^2 + 173 /* GCD of coefficients */ 2 /* 24 * |disc|^(3/2) /(8*pi^2)* zeta_F(2) */ 10174.8285477758356414755642009 /* Belt */ [ <24, 1/198*(5*w + 25)>, <24, 1/5*(w + 5)>, <208, 1/111*(7*w + 49)>, <24, 1/55*(13*w - 78)>, <24, 1/4266*(65*w + 3601)>, <24, 1/3287*(78*w + 2249)>, <72, 1/222*(7*w + 49)>, <72, 1/6*(w + 3)>, <24, 1/143*(6*w + 173)>, <72, 1/7*(w + 7)>, <12, 1/24003*(130*w + 22633)>, <40, 1/254*(13*w + 137)>, <24, 1/1905*(8*w + 72)>, <24, 1/209*(15*w + 90)>, <24, 1/518*(5*w + 553)>, <24, 1/518*(5*w - 35)>, <24, 1/13667*(312*w + 6920)>, <228, 1/18*(w + 13)>, <228, 1/11*(w + 6)>, <12, 1/3003*(40*w + 2675)>, <48, 1/66*(5*w + 41)>, <12, 1/16511*(150*w + 16575)>, <12, 1/225*(8*w + 64)>, <12, 1/418*(75*w - 32)>, <24, 1/117*(8*w - 56)>, <24, 1/145*(28*w + 173)>, <24, 1/145*(28*w - 28)>, <24, 3/173*w>, <48, 1/2291*(60*w + 1100)>, <84, 1/37*(w + 30)>, <64, 1/13*(w + 8)>, <48, 1/91*(3*w + 100)>, <36, 1/182*(9*w + 155)>, <12, 1/19019*(576*w + 9099)>, <48, 1/6*(w + 9)>, <108, 1/13*(w + 6)>, <24, 1/23199*(260*w + 2620)>, <24, 1/182*(3*w + 9)>, <64, 1/198*(13*w + 133)>, <32, 1/555*(2*w + 569)>, <184, 1/79*(5*w + 39)>, <48, 1/2291*(60*w + 1191)>, <84, 1/6*(w - 1)>, <36, 1/237*(14*w + 125)>, <24, 1/1073*(28*w + 581)>, <184, 1/15*(w + 7)>, <24, 1/63*(4*w + 83)>, <136, 1/10*(w + 5)>, <12, 1/333*(16*w + 445)>, <84, 1/59*(3*w + 53)>, <24, 1/3633*(110*w + 1730)>, <24, 1/143*(10*w - 30)>, <48, 1/182*(11*w + 33)>, <36, 1/209*(14*w + 125)>, <48, 1/182*(11*w + 149)>, <132, 1/33*(w + 28)>, <24, 1/1045*(52*w - 312)>, <48, 1/135*(8*w + 167)>, <24, 1/25*(w - 3)>, <24, 1/65*(16*w + 17)>, <24, 1/45*(7*w + 80)>, <84, 1/79*(3*w + 24)>, <24, 1/173*(9*w + 173)>, <24, 1/9*(w + 9)>, <24, 1/635*(3*w + 608)>, <24, 1/189*(10*w + 149)>, <12, 1/418*(169*w + 1432)>, <12, 1/209*(4*w + 24)>, <24, 1/209*(8*w + 48)>, <12, 1/81*(16*w + 113)>, <24, 1/12*(w + 2)>, <12, 1/32*(w + 3)>, <12, 1/26*(w - 3)>, <132, 1/7*(w + 3)>, <12, 1/91*(10*w - 30)>, <36, 1/209*(7*w + 167)>, <12, 1/609*(80*w + 689)>, <48, 1/1443*(40*w + 835)>, <24, 1/182*(25*w - 75)>, <24, 1/3429*(80*w + 85)>, <24, 1/1653*(35*w + 400)>, <84, 1/9*(w + 8)>, <192, 1/33*(2*w + 10)>, <132, 1/33*(w + 5)>, <24, 1/551*(14*w + 334)>, <24, 1/38*(w - 6)>, <24, 1/132*(7*w + 167)>, <24, 1/11*(2*w - 12)>, <96, 1/10*(w + 3)>, <48, 1/16*(w + 9)>, <48, 1/16*(w + 7)>, <192, 1/33*(2*w + 23)>, <24, 1/2923*(15*w + 3040)>, <108, 1/222*(13*w + 131)>, <96, 1/91*(5*w + 15)>, <24, 1/52*(5*w - 30)>, <24, 1/3683*(70*w + 2535)>, <24, 1/35*(16*w - 109)>, <24, 1/395*(14*w + 507)>, <24, 1/4064*(35*w + 3749)>, <24, 1/110*(9*w + 173)>, <24, 1/4366*(105*w + 1855)>, <24, 1/110*(9*w - 45)>, <24, 1/110*(9*w + 155)>, <24, 1/35*(3*w + 53)>, <12, 1/225*(8*w + 193)>, <12, 1/91*(2*w + 20)>, <60, 1/6*(w + 4)>, <24, 1/999*(55*w + 1384)>, <24, 1/15*(w + 6)>, <24, 1/16*(15*w + 135)>, <80, 1/127*(7*w + 63)>, <80, 1/14*(w + 9)>, <24, 4/91*w>, <24, 1/91*(4*w + 91)>, <24, 1/22*(7*w - 42)>, <40, 1/209*(12*w + 137)>, <24, 1/1143*(14*w + 1015)>, <72, 1/91*(4*w + 79)>, <72, 1/91*(4*w + 12)>, <12, 1/91*(4*w + 103)>, <132, 1/14*(w + 3)>, <24, 1/1036*(9*w + 1099)>, <24, 1/182*(3*w + 191)>, <24, 1/3663*(35*w + 3640)>, <48, 1/111*(2*w + 14)>, <24, 1/143*(4*w + 79)>, <48, 1/143*(4*w - 20)>, <48, 1/143*(4*w + 163)>, <24, 1/143*(4*w + 64)>, <132, 1/27*(w + 23)>, <24, 1/3*(w + 6)>, <24, 1/16511*(126*w + 15386)>, <48, 1/4*(w + 7)>, <24, 1/105*(w + 104)>, <24, 1/19647*(455*w + 2630)>, <24, 1/237*(5*w + 197)>, <48, 1/237*(16*w + 109)>, <24, 1/2607*(35*w + 122)>, <24, 1/1073*(25*w + 323)>, <96, 1/63*(4*w + 16)>, <24, 1/87*(35*w + 122)>, <24, 1/198*(25*w + 323)>, <96, 1/12*(w + 4)>, <132, 1/14*(w + 11)>, <24, 30/173*w>, <24, 1/165*(8*w + 173)>, <48, 1/72*(11*w + 149)>, <24, 1/30*w>, <24, 1/13667*(440*w + 9515)>, <48, 1/7189*(132*w + 1788)>, <24, 1/435*(91*w + 526)>, <12, 1/273*(8*w + 193)>, <12, 1/2478*(13*w + 151)>, <24, 1/182*(5*w + 197)>, <48, 1/66*(5*w + 25)>, <24, 1/75*(4*w + 83)>, <24, 1/1027*(11*w + 1115)>, <24, 1/1073*(26*w + 293)>, <72, 1/189*(11*w + 44)>, <24, 1/169*(5*w + 145)>, <24, 1/2349*(55*w + 490)>, <36, 1/9*(w + 10)>, <36, 1/87*(2*w + 89)>, <12, 1/174*(w + 173)>, <12, 1/865*(169*w + 865)>, <12, 4/173*w>, <24, 1/6873*(154*w + 3982)>, <24, 1/407*(13*w + 498)>, <6, 1/2*(w + 2)>, <6, 1/354*(169*w - 338)>, <24, 1/177*(4*w + 169)>, <84, 1/9*(w + 7)>, <24, 1/78*(11*w + 155)>, <12, 1/2639*(96*w + 687)>, <36, 1/58*(3*w + 61)>, <36, 1/3*(w + 5)>, <12, 1/99*(28*w - 140)>, <24, 1/10*(w + 6)>, <12, 1/8151*(112*w + 791)>, <36, 1/39*(2*w + 19)>, <24, 1/132*(7*w + 181)>, <72, 1/11*(w + 4)>, <24, 1/30*(w + 29)>, <24, 1/65*(11*w + 98)>, <36, 1/99*(2*w + 89)>, <24, 1/177*(28*w + 233)>, <24, 1/1073*(28*w + 233)>, <204, 1/21*(w + 17)>, <12, 1/55*(8*w + 95)>, <36, 1/72*(5*w - 10)>, <36, 1/295*(24*w - 48)>, <24, 1/42*(w + 31)>, <12, 1/378*(11*w + 422)>, <12, 1/273*(w - 10)>, <24, 1/42*(w + 11)>, <24, 1/16002*(143*w + 14495)>, <24, 1/189*(26*w + 293)>, <48, 1/42*(13*w + 133)>, <36, 1/209*(7*w + 42)>, <48, 1/42*(13*w - 91)>, <24, 1/3219*(100*w + 2075)>, <24, 1/25*(6*w + 73)>, <24, 1/6549*(160*w + 565)>, <24, 1/25*(6*w - 48)>, <24, 1/192*(5*w + 5)>, <72, 1/177*(11*w + 155)>, <24, 1/49*(5*w + 69)>, <24, 1/399*(10*w + 250)>, <24, 1/20*(w + 25)>, <204, 1/22*(w + 17)>, <24, 1/1298*(35*w + 483)>, <72, 1/177*(11*w + 22)>, <12, 1/196*(11*w + 185)>, <6, 1/317*(98*w + 1176)>, <24, 1/22479*(308*w + 18139)>, <48, 1/189*(8*w + 157)>, <36, 1/111*(4*w + 83)>, <12, 1/177*(w + 175)>, <12, 1/36366*(845*w + 6115)>, <36, 1/87*(4*w + 83)>, <12, 1/209*(7*w - 42)>, <12, 1/8*(w - 5)>, <24, 1/91*(w + 94)>, <48, 1/4*(w + 3)>, <24, 1/44*(w - 5)>, <24, 1/44*(w + 49)>, <36, 1/182*(9*w + 27)>, <48, 1/87*(2*w + 85)>, <24, 1/2*(w + 5)>, <48, 1/5*(w + 2)>, <12, 1/41949*(770*w + 29860)>, <12, 1/237*(10*w + 157)>, <24, 1/1827*(55*w + 815)>, <24, 1/130*(11*w + 163)>, <48, 1/177*(5*w + 10)>, <48, 1/177*(7*w + 14)>, <24, 1/348*(65*w + 65)>, <28, 1/63*(w + 59)>, <24, 1/177*(26*w + 229)>, <24, 1/174*(7*w + 181)>, <8, 1/189*(5*w - 20)>, <4, 1/2457*(20*w + 3482)>, <4, 1/169*(4*w + 205)>, <4, 1/3213*(52*w + 2665)>, <4, 1/60198*(2873*w + 17069)>, <4, 1/189*(4*w - 16)>, <60, 1/59*(2*w + 55)>, <12, 11/173*w>, <12, 1/52*(11*w + 173)>, <24, 1/99*(13*w - 52)>, <12, 1/9*(2*w - 14)>, <24, 1/273*(11*w - 44)>, <16, 1/1659*(20*w + 1424)>, <12, 1/56*(w - 1)>, <48, 1/58*(w + 1)>, <12, 1/209*(5*w + 179)>, <12, 1/377*(24*w + 353)>, <24, 1/117*(10*w - 40)>, <4, 1/43681*(780*w + 8905)>, <12, 1/3393*(154*w + 2282)>, <12, 1/98*(w + 10)>, <12, 1/87*(14*w + 101)>, <12, 2*w - 19>, <48, 1/7*(w + 2)>, <40, 1/13*(w + 4)>, <28, 1/58*(w + 59)>, <24, 1/957*(26*w + 229)>, <24, 1/237*(7*w + 181)>, <24, 1/4661*(130*w + 2620)>, <24, 1/65*(2*w + 2)>, <24, 1/49*(6*w + 73)>, <24, 1/162*(7*w + 190)>, <24, 1/273*(22*w + 339)>, <48, 1/90*(11*w - 55)>, <48, 1/90*(11*w + 145)>, <24, 1/273*(22*w - 66)>, <12, 1/12573*(350*w + 9373)>, <6, 1/121*(14*w + 149)>, <6, 1/177*(14*w + 149)>, <12, 1/55*(4*w - 28)>, <24, 1/23199*(260*w + 20579)>, <12, 1/144*(11*w + 199)>, <12, 1/91*(2*w + 89)>, <24, 1/91*(w + 88)>, <12, 1/189*(13*w - 52)>, <24, 1/91*(w + 3)>, <24, 1/413*(12*w + 153)>, <36, 1/127*(6*w + 73)>, <12, 1/870*(77*w + 947)>, <12, 1/127*(5*w + 82)>, <24, 1/2639*(66*w + 978)>, <24, 1/2639*(66*w + 1661)>, <24, 1/39*(4*w + 51)>, <36, 1/91*(6*w + 73)>, <24, 1/156*(7*w - 35)>, <48, 1/58*(w + 57)>, <24, 1/13*(4*w - 12)>, <24, 1/2054*(55*w + 745)>, <4, 1/30099*(136*w + 29291)>, <4, 1/16129*(182*w + 2654)>, <4, 1/948*(221*w + 2261)>, <4, 1/23463*(104*w + 1064)>, <4, 1/4*(w - 5)>, <12, 1/1029*(10*w - 86)>, <12, 1/63*(5*w + 43)>, <12, 1/2002*(15*w - 123)>, <24, 1/261*(4*w + 236)>, <24, 1/105*(11*w + 149)>, <12, 1/13*(2*w - 10)>, <4, 1/12321*(91*w + 806)>, <12, 1/98*(w + 94)>, <12, 1/99*(14*w + 70)>, <12, 1/2673*(14*w - 29)>, <24, 1/7493*(182*w + 2527)>, <4, 1/9801*(245*w + 3626)>, <12, 1/8*(w + 9)>, <12, 1/1016*(55*w - 495)>, <24, 1/1397*(28*w + 1649)>, <24, 1/203*(6*w + 81)>, <24, 1/87*(w + 1)>, <12, 1/154*(3*w + 103)>, <24, 1/52*(3*w - 9)>, <12, 1/11557*(330*w + 7542)>, <12, 1/11*(4*w - 40)>, <36, 1/3*(w - 2)>, <24, 1/70*(w + 3)>, <12, 1/4977*(100*w + 5125)>, <12, 1/25*(w + 8)>, <12, 1/63*(25*w - 37)>, <24, 1/70*(w + 67)>, <12, 1/209*(98*w + 797)>, <12, 1/209*(w + 6)>, <12, 1/77*(2*w + 43)>, <16, 1/127*(9*w + 46)>, <8, 1/35*(9*w - 46)>, <8, 1/16129*(315*w - 1610)>, <12, 1/261*(26*w + 287)>, <12, 1/3318*(13*w - 104)>, <4, 1/29*(2*w + 2)>, <4, 1/5*(2*w + 27)>, <8, 1/87*(5*w - 5)>, <4, 1/1029*(8*w + 892)>, <8, 1/10*(w - 1)>, <4, 1/116*(10*w + 135)>, <4, 1/609*(10*w + 19)>, <16, 5*w - 39>, <4, 1/60*(w + 67)>, <4, 1/1659*(100*w + 1175)>, <4, 1/1554*(25*w + 1675)>, <16, 5*w + 40>, <32, 1/555*(2*w - 14)>, <-12, 1/24003*(-130*w + 22633)>, <-12, 1/3003*(-40*w + 2675)>, <-12, 1/16511*(-150*w + 16575)>, <-12, 1/225*(-8*w + 64)>, <-12, 1/418*(-75*w - 32)>, <-12, 1/19019*(-576*w + 9099)>, <-12, 1/333*(-16*w + 445)>, <-12, 1/418*(-169*w + 1432)>, <-12, 1/209*(-4*w + 24)>, <-24, 1/209*(-8*w + 48)>, <-12, 1/81*(-16*w + 113)>, <-24, 1/12*(-w + 2)>, <-12, 1/32*(-w + 3)>, <-12, 1/26*(-w - 3)>, <-12, 1/91*(-10*w - 30)>, <-12, 1/609*(-80*w + 689)>, <-12, 1/225*(-8*w + 193)>, <-12, 1/91*(-2*w + 20)>, <-12, 1/91*(-4*w + 103)>, <-12, 1/273*(-8*w + 193)>, <-12, 1/2478*(-13*w + 151)>, <-12, 1/174*(-w + 173)>, <-12, 1/865*(-169*w + 865)>, <-12, -4/173*w>, <-6, 1/2*(-w + 2)>, <-6, 1/354*(-169*w - 338)>, <-12, 1/2639*(-96*w + 687)>, <-12, 1/99*(-28*w - 140)>, <-12, 1/8151*(-112*w + 791)>, <-36, 1/39*(-2*w + 19)>, <-12, 1/55*(-8*w + 95)>, <-12, 1/378*(-11*w + 422)>, <-12, 1/273*(-w - 10)>, <-12, 1/196*(-11*w + 185)>, <-6, 1/317*(-98*w + 1176)>, <-12, 1/177*(-w + 175)>, <-12, 1/36366*(-845*w + 6115)>, <-12, 1/209*(-7*w - 42)>, <-12, 1/8*(-w - 5)>, <-12, 1/41949*(-770*w + 29860)>, <-12, 1/237*(-10*w + 157)>, <-8, 1/189*(-5*w - 20)>, <-4, 1/2457*(-20*w + 3482)>, <-4, 1/169*(-4*w + 205)>, <-4, 1/3213*(-52*w + 2665)>, <-4, 1/60198*(-2873*w + 17069)>, <-4, 1/189*(-4*w - 16)>, <-12, -11/173*w>, <-12, 1/52*(-11*w + 173)>, <-12, 1/9*(-2*w - 14)>, <-16, 1/1659*(-20*w + 1424)>, <-12, 1/56*(-w - 1)>, <-12, 1/209*(-5*w + 179)>, <-12, 1/377*(-24*w + 353)>, <-4, 1/43681*(-780*w + 8905)>, <-12, 1/3393*(-154*w + 2282)>, <-12, 1/98*(-w + 10)>, <-12, 1/87*(-14*w + 101)>, <-12, -2*w - 19>, <-12, 1/12573*(-350*w + 9373)>, <-6, 1/121*(-14*w + 149)>, <-6, 1/177*(-14*w + 149)>, <-12, 1/55*(-4*w - 28)>, <-12, 1/144*(-11*w + 199)>, <-12, 1/91*(-2*w + 89)>, <-12, 1/189*(-13*w - 52)>, <-12, 1/870*(-77*w + 947)>, <-12, 1/127*(-5*w + 82)>, <-4, 1/30099*(-136*w + 29291)>, <-4, 1/16129*(-182*w + 2654)>, <-4, 1/948*(-221*w + 2261)>, <-4, 1/23463*(-104*w + 1064)>, <-4, 1/4*(-w - 5)>, <-12, 1/1029*(-10*w - 86)>, <-12, 1/63*(-5*w + 43)>, <-12, 1/2002*(-15*w - 123)>, <-12, 1/13*(-2*w - 10)>, <-4, 1/12321*(-91*w + 806)>, <-12, 1/98*(-w + 94)>, <-12, 1/99*(-14*w + 70)>, <-12, 1/2673*(-14*w - 29)>, <-4, 1/9801*(-245*w + 3626)>, <-12, 1/8*(-w + 9)>, <-12, 1/1016*(-55*w - 495)>, <-12, 1/154*(-3*w + 103)>, <-12, 1/11557*(-330*w + 7542)>, <-12, 1/11*(-4*w - 40)>, <-12, 1/4977*(-100*w + 5125)>, <-12, 1/25*(-w + 8)>, <-12, 1/63*(-25*w - 37)>, <-12, 1/209*(-98*w + 797)>, <-12, 1/209*(-w + 6)>, <-12, 1/77*(-2*w + 43)>, <-12, 1/261*(-26*w + 287)>, <-12, 1/3318*(-13*w - 104)>, <-4, 1/29*(-2*w + 2)>, <-4, 1/5*(-2*w + 27)>, <-4, 1/1029*(-8*w + 892)>, <-4, 1/116*(-10*w + 135)>, <-4, 1/609*(-10*w + 19)>, <-4, 1/60*(-w + 67)>, <-4, 1/1659*(-100*w + 1175)>, <-4, 1/1554*(-25*w + 1675)> ]