/* Defining polynomial */
x^2 - x + 172
/* GCD of coefficients */
2
/* 24 * |disc|^(3/2) /(8*pi^2)* zeta_F(2) */
11192.3127556458515562556264264
/* Belt */
[
<128, 1/214*(13*w + 78)>,
<8, 1/45*(13*w + 123)>,
<116, 1/11*(w + 5)>,
<316, 1/12*(w + 7)>,
<24, 1/817*(22*w + 451)>,
<4, 1/304*(15*w + 124)>,
<4, 1/69*(w + 49)>,
<316, 1/16*(w + 11)>,
<4, 1/23*(w - 4)>,
<4, 1/92*(15*w + 32)>,
<4, 1/69*(2*w + 38)>,
<208, 1/24*(w + 19)>,
<12, 1/75*(13*w + 127)>,
<60, 1/244*(13*w + 104)>,
<24, 1/33*(2*w + 41)>,
<8, 1/2*(w - 6)>,
<4, 1/101*(56*w + 280)>,
<28, 1/6161*(84*w + 5369)>,
<112, 1/14*(w + 5)>,
<4, 1/196*(3*w + 217)>,
<104, 1/16*(w + 7)>,
<8, 1/2*(w + 7)>,
<112, 1/101*(7*w + 35)>,
<72, 1/89*(4*w + 77)>,
<48, 1/101*(3*w + 116)>,
<48, 1/152*(3*w + 116)>,
<40, 1/244*(15*w + 109)>,
<4, 1/6099*(7*w + 6034)>,
<104, 1/16*(w + 8)>,
<4, 1/107*(w - 7)>,
<4, 1/107*(60*w - 313)>,
<16, 1/6099*(56*w + 464)>,
<160, 1/114*(7*w + 58)>,
<12, 1/1070*(169*w + 2084)>,
<12, 1/214*(3*w + 18)>,
<48, 1/5*(w - 1)>,
<48, 1/202*(5*w + 172)>,
<132, 1/202*(13*w + 124)>,
<72, 1/12*(w + 5)>,
<24, 1/1212*(35*w - 210)>,
<64, 1/7*(w + 3)>,
<4, 1/33856*(945*w + 21060)>,
<12, 1/105*(w + 100)>,
<24, 1/107*(w + 6)>,
<132, 1/228*(13*w + 124)>,
<72, 1/101*(4*w + 77)>,
<48, 1/437*(11*w + 140)>,
<60, 1/178*(9*w + 151)>,
<24, 1/8544*(91*w + 8281)>,
<120, 1/214*(11*w + 137)>,
<144, 1/10*(w + 5)>,
<48, 1/1444*(5*w + 1480)>,
<48, 1/1444*(5*w - 41)>,
<48, 1/1769*(35*w + 539)>,
<132, 1/29*(w + 27)>,
<132, 1/29*(w + 1)>,
<96, 1/107*(5*w + 72)>,
<24, 1/44*(5*w + 74)>,
<96, 1/107*(5*w + 30)>,
<48, 1/192*(5*w + 167)>,
<48, 1/192*(5*w + 20)>,
<24, 1/54*(5*w + 74)>,
<24, 1/160*(9*w + 196)>,
<120, 1/11*(w + 4)>,
<24, 1/1691*(35*w + 1316)>,
<72, 1/214*(5*w + 244)>,
<12, 1/17296*(315*w + 9225)>,
<12, 1/7*(w - 4)>,
<48, 1/112*(11*w + 145)>,
<24, 1/404*(33*w - 198)>,
<24, 1/8686*(231*w + 6391)>,
<24, 1/534*(77*w - 231)>,
<232, 1/76*(5*w + 36)>,
<24, 1/535*(22*w + 667)>,
<144, 1/101*(5*w + 25)>,
<208, 1/24*(w + 4)>,
<24, 1/15*(w - 5)>,
<48, 1/42*(5*w + 77)>,
<24, 1/108*(7*w - 35)>,
<24, 1/168*(5*w + 188)>,
<72, 1/304*(5*w + 244)>,
<144, 1/9*(w + 4)>,
<24, 1/112*(9*w - 45)>,
<24, 1/2623*(66*w + 1419)>,
<48, 1/253*(14*w + 295)>,
<24, 1/91*(w + 91)>,
<48, 1/22*(w - 5)>,
<60, 1/178*(9*w + 18)>,
<24, 1/4*(w - 8)>,
<24, 1/90*(11*w - 66)>,
<12, 1/8989*(147*w + 9016)>,
<12, 1/98*(3*w + 15)>,
<12, 1/89*(49*w - 58)>,
<60, 1/131*(7*w + 63)>,
<12, 1/33*(7*w + 61)>,
<12, 1/89*(w + 91)>,
<24, 1/2*(w + 6)>,
<12, 1/196*(9*w + 36)>,
<24, 1/80*(13*w + 132)>,
<24, 1/174*(5*w + 164)>,
<12, 1/31648*(507*w + 2073)>,
<12, w + 1>,
<24, 1/156*(5*w + 176)>,
<60, 1/131*(7*w + 61)>,
<24, 1/3103*(84*w + 1659)>,
<24, 1/87*(35*w + 17)>,
<96, 1/76*(3*w + 21)>,
<24, 1/464*(7*w + 44)>,
<96, 1/58*(3*w + 3)>,
<24, 1/464*(7*w + 413)>,
<24, 1/256*(21*w - 105)>,
<24, 1/70*(w + 68)>,
<160, 1/114*(7*w + 49)>,
<24, 1/9523*(182*w + 878)>,
<24, 1/976*(7*w + 56)>,
<24, 1/172*(7*w + 165)>,
<12, 1/107*(18*w + 215)>,
<24, 1/551*(13*w + 148)>,
<24, 1/551*(13*w + 390)>,
<24, 1/6*(w + 5)>,
<24, 1/101*(3*w + 15)>,
<24, 1/174*(5*w + 179)>,
<12, 1/2033*(84*w + 1253)>,
<72, 1/6*(w - 2)>,
<24, 1/404*(15*w + 479)>,
<24, 1/1363*(30*w + 958)>,
<2, 1/2222*(81*w + 2627)>,
<6, 1/202*(3*w + 184)>,
<6, 1/35956*(507*w + 4353)>,
<24, 1/91*(2*w - 4)>,
<24, 1/21716*(495*w + 14696)>,
<24, 1/801*(77*w + 955)>,
<60, 1/13*(w + 8)>,
<24, 1/86*(w + 86)>,
<24, 1/154*(9*w + 163)>,
<72, 1/12*(w + 6)>,
<24, 1/36*(7*w - 35)>,
<36, 1/94*(5*w + 39)>,
<24, 1/178*(25*w + 228)>,
<48, 1/10*(7*w + 59)>,
<48, 1/798*(5*w + 833)>,
<60, 1/184*(11*w + 33)>,
<72, 1/38*(w + 30)>,
<24, 1/4747*(72*w + 5224)>,
<24, 1/16*(w + 10)>,
<24, 1/77*(3*w + 86)>,
<12, 1/5429*(147*w + 4655)>,
<40, 1/8*(w + 8)>,
<18, 3/172*w>,
<24, 1/552*(77*w + 783)>,
<60, 1/11*(w + 3)>,
<60, 1/36*(13*w - 104)>,
<24, 1/3477*(28*w - 203)>,
<60, 1/3904*(39*w + 3484)>,
<48, 1/48*(w + 43)>,
<12, 1/817*(21*w + 280)>,
<60, 1/178*(7*w + 14)>,
<60, 1/192*(7*w + 28)>,
<48, 1/178*(5*w + 163)>,
<24, 1/141*(5*w + 50)>,
<12, 1/36*(5*w - 55)>,
<24, 1/112*(11*w + 156)>,
<48, 1/174*(7*w + 160)>,
<24, 1/14*(5*w - 30)>,
<24, 1/505*(7*w - 42)>,
<48, 1/7*(w + 5)>,
<24, 1/112*(11*w - 55)>,
<30, 1/9*(w + 5)>,
<102, 1/61*(3*w + 24)>,
<28, 1/707*(12*w + 767)>,
<48, 1/114*(5*w + 35)>,
<12, 1/39*(5*w - 40)>,
<36, 1/94*(5*w + 50)>,
<24, 1/928*(25*w + 228)>,
<24, 1/36*(7*w + 64)>,
<24, 1/20984*(693*w + 12551)>,
<12, 1/64*(13*w - 65)>,
<30, 1/9*(w + 3)>,
<102, 1/12*(w + 8)>,
<24, 1/2*(w + 2)>,
<24, 1/801*(77*w - 231)>,
<46, 1/87*(5*w + 5)>,
<48, 1/87*(2*w + 2)>,
<4, 1/89*(7*w + 14)>,
<8, 1/54*(7*w - 21)>,
<4, 1/3268*(21*w + 280)>,
<4, 1/2128*(9*w + 99)>,
<4, 1/152*(49*w + 539)>,
<4, 1/3268*(147*w + 1161)>,
<8, 1/623*(27*w - 81)>,
<4, 1/84*(w - 3)>,
<60, 1/3*(w + 1)>,
<12, 1/98*(3*w + 101)>,
<12, 1/131*(49*w + 441)>,
<12, 1/11397*(539*w + 3410)>,
<48, 1/87*(4*w + 79)>,
<48, 1/107*(4*w + 79)>,
<16, 1/749*(8*w - 56)>,
<24, 1/736*(65*w + 931)>,
<24, 1/8989*(260*w + 3724)>,
<48, 1/40*(3*w + 52)>,
<12, 1/32*(w + 1)>,
<48, 1/40*(3*w - 15)>,
<24, 1/2461*(65*w + 936)>,
<24, 1/2461*(65*w + 1460)>,
<24, 1/532*(3*w + 553)>,
<24, 1/214*(5*w + 179)>,
<12, 1/30972*(169*w + 1228)>,
<24, 1/11397*(364*w + 2752)>,
<40, 1/86*(5*w + 81)>,
<18, 1/178*(3*w + 6)>,
<6, 1/169*(3*w + 169)>,
<12, w>,
<40, 1/10*(w + 9)>,
<24, 1/91*(4*w - 4)>,
<12, 1/27*(2*w - 16)>,
<48, 1/57*(2*w + 14)>,
<24, 1/551*(14*w + 117)>,
<12, 1/23*(3*w + 32)>,
<36, 1/6*(w + 6)>,
<24, 1/366*(5*w + 406)>,
<24, 1/505*(26*w - 156)>,
<12, 1/26*(w - 2)>,
<24, 1/58*(w - 2)>,
<24, 1/52*(5*w - 30)>,
<24, 1/3*(w - 2)>,
<36, 1/107*(3*w + 18)>,
<24, 1/130*(7*w + 165)>,
<24, 1/18404*(455*w + 10725)>,
<24, 1/304*(7*w + 220)>,
<6, 1/37168*(1089*w + 17908)>,
<24, 1/89*(14*w + 117)>,
<12, 1/15352*(143*w + 13845)>,
<48, 1/4*(w + 1)>,
<46, 1/87*(5*w + 77)>,
<24, 1/1403*(33*w + 374)>,
<48, 1/131*(6*w + 71)>,
<24, 1/356*(39*w + 434)>,
<28, 1/2*(w + 1)>,
<24, 1/2*(w + 3)>,
<24, 1/91*(2*w + 89)>,
<24, 1/505*(77*w + 890)>,
<24, 1/244*(5*w + 40)>,
<24, 1/87*(2*w + 89)>,
<24, 1/58*(3*w - 6)>,
<24, 1/232*(35*w + 162)>,
<24, 1/9292*(91*w + 556)>,
<24, 1/192*(91*w + 556)>,
<24, 1/368*(35*w + 473)>,
<24, 1/4066*(21*w + 3871)>,
<12, 1/2451*(98*w + 2009)>,
<12, 1/196*(3*w + 21)>,
<12, 1/172*(49*w + 172)>,
<24, 1/2451*(70*w + 946)>,
<12, 1/2196*(91*w - 819)>,
<12, 1/9*(w + 8)>,
<24, 1/11659*(210*w + 8964)>,
<24, 1/11659*(210*w + 2485)>,
<12, 1/655*(18*w - 180)>,
<24, 1/505*(77*w - 462)>,
<24, 1/3538*(77*w + 1470)>,
<48, 1/6*(w + 3)>,
<48, 1/6*(w + 2)>,
<24, 1/3538*(77*w + 1991)>,
<24, 1/178*(13*w + 139)>,
<12, 1/423*(25*w + 673)>,
<24, 1/141*(7*w + 70)>,
<24, 1/4183*(140*w + 648)>,
<24, 1/58*(3*w + 61)>,
<24, 1/87*(2*w - 4)>,
<24, 2/91*w>,
<24, 1/244*(5*w + 199)>,
<60, 1/46*(w + 3)>,
<12, 1/39*(w - 4)>,
<24, 1/92*(w + 3)>,
<28, 1/87*(w + 1)>,
<24, 1/2623*(78*w + 868)>,
<48, 1/89*(6*w + 71)>,
<24, 1/1403*(33*w + 996)>,
<24, 1/130*(11*w + 152)>,
<24, 1/1403*(15*w + 1218)>,
<12, 1/488*(27*w - 243)>,
<4, 1/29*(14*w + 43)>,
<4, 1/43*(3*w + 43)>,
<4, 1/3526*(21*w + 301)>,
<8, 1/203*(11*w - 22)>,
<4, 1/2296*(11*w + 132)>,
<8, 1/66*(7*w - 14)>,
<4, 1/14*(w + 12)>,
<12, 1/856*(55*w - 385)>,
<12, 1/64*(5*w - 15)>,
<48, 1/89*(5*w + 10)>,
<18, 1/72*(5*w + 77)>,
<24, 1/42*(5*w - 35)>,
<12, 1/16732*(39*w + 16276)>,
<24, 1/282*(13*w + 139)>,
<24, 1/3799*(99*w + 1368)>,
<24, 1/344*(7*w + 36)>,
<12, 1/91*(5*w + 86)>,
<24, 1/344*(7*w + 301)>,
<24, 1/1010*(49*w - 294)>,
<24, 1/749*(65*w - 455)>,
<12, 1/75*(4*w - 8)>,
<24, 1/1010*(49*w + 1255)>,
<24, 1/19608*(455*w + 11180)>,
<12, 1/13984*(231*w + 2940)>,
<24, 1/176*(9*w - 45)>,
<24, 1/22794*(715*w + 9880)>,
<24, 1/684*(13*w + 775)>,
<24, 1/244*(11*w + 145)>,
<24, 1/116*(13*w - 26)>,
<24, 1/138*(13*w - 52)>,
<24, 1/23*(7*w + 21)>,
<24, 1/16008*(385*w + 2995)>,
<24, 1/2623*(70*w + 1048)>,
<12, 1/184*(49*w + 331)>,
<12, 1/184*(w - 4)>,
<24, 1/384*(35*w + 524)>,
<12, 1/196*(3*w + 193)>,
<12, 1/2358*(91*w + 3177)>,
<16, 1/172*(9*w + 172)>,
<24, 1/24104*(351*w + 20189)>,
<24, 1/24104*(351*w + 3564)>,
<24, 1/131*(8*w + 51)>,
<24, 1/21*(8*w - 59)>,
<24, 1/445*(77*w + 599)>,
<24, 1/5*(w + 7)>,
<12, 1/267*(52*w + 111)>,
<12, 1/122*(3*w + 95)>,
<24, 1/178*(5*w + 188)>,
<24, 1/1311*(26*w + 1274)>,
<24, 1/366*(7*w + 364)>,
<24, 1/52*(w + 49)>,
<24, 1/138*(13*w + 177)>,
<24, 1/116*(13*w + 129)>,
<24, 1/178*(11*w + 145)>,
<24, 1/13*(3*w + 34)>,
<24, 1/184*(13*w + 132)>,
<16, 1/244*(17*w + 91)>,
<8, 1/59536*(765*w - 4860)>,
<8, 1/45*(17*w - 108)>,
<4, 1/8*(w - 2)>,
<8, 1/11*(w + 1)>,
<4, 1/7991*(80*w + 3995)>,
<4, 1/11397*(220*w + 5005)>,
<4, 1/655*(36*w + 819)>,
<4, 1/7991*(144*w + 656)>,
<8, 1/174*(11*w + 11)>,
<12, 1/100*(9*w + 163)>,
<48, 1/57*(2*w + 41)>,
<6, 1/552*(25*w + 627)>,
<12, 1/2162*(7*w + 2226)>,
<24, 1/14*(w + 10)>,
<24, 1/551*(15*w + 86)>,
<12, 1/989*(21*w + 86)>,
<12, 1/345*(8*w + 369)>,
<12, 1/195*(7*w + 7)>,
<12, 1/174*(7*w - 14)>,
<24, 1/86*(15*w + 86)>,
<24, 1/13*(w + 9)>,
<60, 1/46*(w + 42)>,
<24, 1/4*(w + 6)>,
<12, 1/288*(49*w + 196)>,
<12, 1/49*(w + 43)>,
<12, 1/9696*(49*w + 43)>,
<24, 1/2096*(21*w + 1886)>,
<24, 1/131*(8*w + 72)>,
<24, 1/184*(5*w + 84)>,
<12, 1/4*(w - 4)>,
<12, 1/437*(7*w + 343)>,
<24, 1/89*(2*w + 93)>,
<24, 1/5633*(165*w + 2795)>,
<16, 1/262*(9*w + 172)>,
<4, 1/2623*(50*w + 1498)>,
<4, 1/18*(w + 9)>,
<4, 1/860*(81*w + 860)>,
<16, 1/2623*(90*w + 1935)>,
<18, 1/145*(12*w + 157)>,
<24, 1/13072*(385*w + 3227)>,
<12, 1/2782*(49*w + 3076)>,
<24, 1/406*(55*w + 461)>,
<24, 1/460*(33*w + 559)>,
<48, 1/43*(w + 43)>,
<24, 1/10858*(231*w + 3312)>,
<12, 1/1708*(3*w - 27)>,
<24, 1/642*(77*w + 1104)>,
<12, 1/1246*(143*w + 1532)>,
<24, 1/2021*(55*w + 946)>,
<12, 1/47*(2*w + 20)>,
<12, 1/5*(2*w - 22)>,
<12, 1/36808*(1155*w + 8428)>,
<24, 1/2021*(55*w + 1020)>,
<12, 1/11*(15*w - 124)>,
<12, 1/6016*(55*w - 484)>,
<12, 1/76*(w + 7)>,
<12, 1/64*(75*w + 300)>,
<4, 1/5776*(5*w + 36)>,
<-8, 1/45*(-13*w + 136)>,
<-4, 1/304*(-15*w + 139)>,
<-4, 1/69*(-w + 50)>,
<-4, 1/23*(-w - 3)>,
<-4, 1/92*(-15*w + 47)>,
<-4, 1/69*(-2*w + 40)>,
<-12, 1/75*(-13*w + 140)>,
<-4, 1/101*(-56*w + 336)>,
<-4, 1/196*(-3*w + 220)>,
<-40, 1/244*(-15*w + 124)>,
<-4, 1/6099*(-7*w + 6041)>,
<-4, 1/107*(-w - 6)>,
<-4, 1/107*(-60*w - 253)>,
<-12, 1/1070*(-169*w + 2253)>,
<-12, 1/214*(-3*w + 21)>,
<-24, 1/1212*(-35*w - 175)>,
<-4, 1/33856*(-945*w + 22005)>,
<-12, 1/105*(-w + 101)>,
<-12, 1/17296*(-315*w + 9540)>,
<-12, 1/7*(-w - 3)>,
<-24, 1/4*(-w - 7)>,
<-12, 1/8989*(-147*w + 9163)>,
<-12, 1/98*(-3*w + 18)>,
<-12, 1/89*(-49*w - 9)>,
<-12, 1/33*(-7*w + 68)>,
<-12, 1/89*(-w + 92)>,
<-12, 1/196*(-9*w + 45)>,
<-24, 1/174*(-5*w + 169)>,
<-12, 1/31648*(-507*w + 2580)>,
<-12, -w + 2>,
<-24, 1/172*(-7*w + 172)>,
<-12, 1/107*(-18*w + 233)>,
<-12, 1/2033*(-84*w + 1337)>,
<-2, 1/2222*(-81*w + 2708)>,
<-6, 1/202*(-3*w + 187)>,
<-6, 1/35956*(-507*w + 4860)>,
<-24, 1/4747*(-72*w + 5296)>,
<-24, 1/16*(-w + 11)>,
<-12, 1/5429*(-147*w + 4802)>,
<-40, 1/8*(-w + 9)>,
<-12, 1/817*(-21*w + 301)>,
<-24, 1/141*(-5*w + 55)>,
<-12, 1/36*(-5*w - 50)>,
<-12, 1/39*(-5*w - 35)>,
<-12, 1/64*(-13*w - 52)>,
<-4, 1/89*(-7*w + 21)>,
<-4, 1/3268*(-21*w + 301)>,
<-4, 1/2128*(-9*w + 108)>,
<-4, 1/152*(-49*w + 588)>,
<-4, 1/3268*(-147*w + 1308)>,
<-4, 1/84*(-w - 2)>,
<-12, 1/98*(-3*w + 104)>,
<-12, 1/131*(-49*w + 490)>,
<-12, 1/11397*(-539*w + 3949)>,
<-12, 1/32*(-w + 2)>,
<-12, 1/30972*(-169*w + 1397)>,
<-6, 1/169*(-3*w + 172)>,
<-12, 1/27*(-2*w - 14)>,
<-12, 1/23*(-3*w + 35)>,
<-12, 1/26*(-w - 1)>,
<-24, 1/304*(-7*w + 227)>,
<-6, 1/37168*(-1089*w + 18997)>,
<-12, 1/15352*(-143*w + 13988)>,
<-12, 1/2451*(-98*w + 2107)>,
<-12, 1/196*(-3*w + 24)>,
<-12, 1/172*(-49*w + 221)>,
<-12, 1/2196*(-91*w - 728)>,
<-12, 1/9*(-w + 9)>,
<-12, 1/655*(-18*w - 162)>,
<-12, 1/423*(-25*w + 698)>,
<-12, 1/39*(-w - 3)>,
<-12, 1/488*(-27*w - 216)>,
<-4, 1/29*(-14*w + 57)>,
<-4, 1/43*(-3*w + 46)>,
<-4, 1/3526*(-21*w + 322)>,
<-4, 1/2296*(-11*w + 143)>,
<-4, 1/14*(-w + 13)>,
<-12, 1/856*(-55*w - 330)>,
<-12, 1/64*(-5*w - 10)>,
<-24, 1/42*(-5*w - 30)>,
<-12, 1/16732*(-39*w + 16315)>,
<-12, 1/91*(-5*w + 91)>,
<-12, 1/75*(-4*w - 4)>,
<-12, 1/13984*(-231*w + 3171)>,
<-12, 1/184*(-49*w + 380)>,
<-12, 1/184*(-w - 3)>,
<-12, 1/196*(-3*w + 196)>,
<-12, 1/2358*(-91*w + 3268)>,
<-12, 1/267*(-52*w + 163)>,
<-12, 1/122*(-3*w + 98)>,
<-4, 1/8*(-w - 1)>,
<-4, 1/7991*(-80*w + 4075)>,
<-4, 1/11397*(-220*w + 5225)>,
<-4, 1/655*(-36*w + 855)>,
<-4, 1/7991*(-144*w + 800)>,
<-12, 1/100*(-9*w + 172)>,
<-6, 1/552*(-25*w + 652)>,
<-12, 1/2162*(-7*w + 2233)>,
<-12, 1/989*(-21*w + 107)>,
<-12, 1/345*(-8*w + 377)>,
<-12, 1/195*(-7*w + 14)>,
<-12, 1/174*(-7*w - 7)>,
<-12, 1/288*(-49*w + 245)>,
<-12, 1/49*(-w + 44)>,
<-12, 1/9696*(-49*w + 92)>,
<-12, 1/4*(-w - 3)>,
<-12, 1/437*(-7*w + 350)>,
<-4, 1/2623*(-50*w + 1548)>,
<-4, 1/18*(-w + 10)>,
<-4, 1/860*(-81*w + 941)>,
<-16, 1/2623*(-90*w + 2025)>,
<-12, 1/2782*(-49*w + 3125)>,
<-12, 1/1708*(-3*w - 24)>,
<-12, 1/1246*(-143*w + 1675)>,
<-12, 1/47*(-2*w + 22)>,
<-12, 1/5*(-2*w - 20)>,
<-12, 1/36808*(-1155*w + 9583)>,
<-12, 1/11*(-15*w - 109)>,
<-12, 1/6016*(-55*w - 429)>,
<-12, 1/76*(-w + 8)>,
<-12, 1/64*(-75*w + 375)>,
<-4, 1/5776*(-5*w + 41)>
]