/* Defining polynomial */
x^2 - x + 258
/* GCD of coefficients */
2
/* 24 * |disc|^(3/2) /(8*pi^2)* zeta_F(2) */
25577.5287300459890492402321099
/* Belt */
[
<144, 1/300*(13*w + 209)>,
<54, 1/50*(w + 31)>,
<438, 1/12*(w + 6)>,
<168, 1/44*(w + 2)>,
<12, 1/288*(13*w + 353)>,
<186, 1/18*(w + 3)>,
<186, 1/15*(w + 3)>,
<444, 1/22*(w + 8)>,
<444, 1/15*(w + 8)>,
<168, 1/6*(w + 2)>,
<72, 1/18*(w + 23)>,
<96, 1/43*(w + 43)>,
<96, 1/6*(w + 6)>,
<72, 1/45*(w + 23)>,
<24, 1/15*(2*w + 27)>,
<24, 1/121*(2*w + 27)>,
<24, 1/520*(9*w + 477)>,
<204, 1/14*(w + 6)>,
<24, 1/520*(9*w + 34)>,
<204, 1/150*(7*w + 42)>,
<24, 1/198*(w + 206)>,
<24, 1/650*(3*w + 618)>,
<48, 1/18*(w - 4)>,
<438, 1/25*(w + 6)>,
<24, 1/100*(7*w - 49)>,
<232, 1/30*(w + 6)>,
<232, 1/10*(w + 6)>,
<24, 1/78*(w + 63)>,
<204, 1/9*(w + 3)>,
<204, 1/32*(w + 26)>,
<24, 1/55*(w + 63)>,
<48, 1/40*(w + 18)>,
<24, 1/100*(7*w + 142)>,
<6, 1/4875*(98*w + 1788)>,
<90, 1/8*(w + 6)>,
<72, 1/9*(w + 4)>,
<144, 1/18*(w + 6)>,
<72, 1/286*(7*w + 168)>,
<144, 1/65*(3*w + 29)>,
<72, 1/21*(w + 24)>,
<72, 1/220*(3*w + 178)>,
<24, 1/70*(3*w + 79)>,
<60, 1/6*(w - 3)>,
<24, 1/880*(21*w + 553)>,
<60, 1/6*(w + 8)>,
<72, 1/157*(3*w + 178)>,
<156, 1/10*(w + 8)>,
<156, 1/26*(w + 24)>,
<12, 1/42*(w - 12)>,
<48, 1/65*(w + 11)>,
<36, 1/88*(5*w + 10)>,
<36, 1/138*(5*w + 60)>,
<96, 1/88*(3*w + 79)>,
<24, 1/135*(13*w - 91)>,
<96, 1/100*(3*w + 79)>,
<24, 1/260*(9*w - 63)>,
<12, 1/4170*(143*w + 4742)>,
<12, 1/368*(15*w + 203)>,
<192, 1/157*(8*w + 56)>,
<96, 1/325*(3*w + 289)>,
<48, 1/117*(w + 14)>,
<24, 1/25*(2*w + 37)>,
<72, 1/435*(4*w + 384)>,
<72, 1/5*(w + 3)>,
<48, 1/75*(2*w + 87)>,
<24, 1/234*(5*w + 70)>,
<24, 1/130*(21*w + 151)>,
<24, 1/116*(3*w - 30)>,
<24, 1/1075*(21*w + 151)>,
<120, 1/288*(11*w + 55)>,
<72, 1/11*(w + 9)>,
<72, 1/348*(11*w + 99)>,
<84, 1/14*(w + 3)>,
<120, 1/87*(5*w + 37)>,
<72, 1/348*(13*w + 218)>,
<138, 1/348*(17*w + 153)>,
<132, 1/14*(w + 9)>,
<84, 1/135*(7*w + 21)>,
<120, 1/92*(5*w + 37)>,
<72, 1/270*(13*w + 218)>,
<24, 1/65*(3*w + 83)>,
<48, 1/314*(7*w + 49)>,
<138, 1/17*(w + 9)>,
<132, 1/174*(7*w + 63)>,
<48, 1/314*(7*w + 258)>,
<24, 1/65*(3*w - 21)>,
<192, 1/157*(8*w + 93)>,
<96, 1/314*(15*w + 105)>,
<96, 1/1334*(15*w + 1445)>,
<48, 1/4*(w + 14)>,
<24, 1/25*(2*w - 14)>,
<72, 1/15*(4*w - 36)>,
<72, 1/52*(w + 50)>,
<24, 1/10*(w + 14)>,
<48, 1/117*(2*w + 87)>,
<24, 1/200*(3*w + 54)>,
<24, 1/27*(4*w + 39)>,
<36, 1/52*(w + 53)>,
<36, 1/60*(w + 53)>,
<24, 1/215*(4*w + 39)>,
<168, 1/55*(2*w + 37)>,
<24, 1/100*(3*w + 94)>,
<36, 1/10*(w - 2)>,
<120, 1/43*w>,
<372, 1/18*(w + 9)>,
<120, 1/6*w>,
<372, 1/58*(3*w + 27)>,
<24, 1/3197*(60*w + 812)>,
<60, 1/195*(8*w + 88)>,
<24, 1/24*(w + 27)>,
<24, 1/3197*(60*w + 2325)>,
<60, 1/195*(8*w + 99)>,
<24, 1/45*(4*w + 57)>,
<12, 1/1099*(26*w - 208)>,
<168, 1/45*(2*w + 37)>,
<24, 1/572*(15*w + 470)>,
<36, 1/39*(w + 27)>,
<36, 1/253*(5*w + 175)>,
<48, 1/473*(12*w + 129)>,
<36, 1/45*(w + 48)>,
<24, 1/5568*(65*w + 4645)>,
<24, 1/338*(9*w + 86)>,
<48, 1/66*(w + 68)>,
<12, 1/10205*(168*w + 2589)>,
<12, 1/157*(3*w + 133)>,
<48, 1/4*(w + 6)>,
<24, 1/468*(7*w + 350)>,
<24, 1/215*(6*w + 123)>,
<120, 1/10*(w + 2)>,
<24, 1/39*(2*w + 41)>,
<120, 1/132*(5*w + 10)>,
<36, 1/48*(5*w - 30)>,
<36, 1/45*(w - 4)>,
<24, 1/825*(13*w + 929)>,
<48, 1/80*(3*w - 6)>,
<24, 1/42*(w + 50)>,
<24, 1/27*(w - 1)>,
<12, 1/42*(w + 42)>,
<48, 1/780*(7*w + 696)>,
<96, 1/39*(2*w + 22)>,
<24, 1/484*(9*w + 414)>,
<24, 14/129*w>,
<84, 1/20*(w + 1)>,
<48, 1/60*(7*w - 49)>,
<156, 1/96*(5*w + 25)>,
<108, 1/11*(w + 2)>,
<108, 1/24*(w + 2)>,
<108, 1/18*(w + 7)>,
<384, 1/16*(w + 10)>,
<108, 1/157*(9*w + 63)>,
<36, 1/86*(w - 1)>,
<36, 1/3*(w - 3)>,
<24, 1/33*(5*w + 43)>,
<24, 1/27*(8*w + 99)>,
<48, 1/928*(15*w + 715)>,
<48, 1/928*(15*w + 198)>,
<96, 1/39*(2*w + 15)>,
<24, 1/928*(9*w + 1009)>,
<180, 1/33*(w + 2)>,
<12, 1/28*(w - 3)>,
<24, 1/33*(5*w - 15)>,
<36, 1/3*(w - 1)>,
<12, 1/247*(11*w + 247)>,
<48, 1/368*(11*w + 110)>,
<12, 1/21285*(532*w + 17157)>,
<36, 1/8*(w + 8)>,
<24, 1/52*(9*w - 18)>,
<90, 1/65*(2*w + 61)>,
<84, 1/30*(w + 11)>,
<12, 1/112*(3*w + 124)>,
<60, 1/130*(3*w + 3)>,
<24, 1/507*(14*w + 378)>,
<156, 1/116*(5*w + 45)>,
<48, 1/60*(7*w + 102)>,
<36, 1/88*(w - 3)>,
<384, 1/18*(w + 12)>,
<36, 1/1625*(6*w + 1683)>,
<30, 1/87*(2*w + 18)>,
<6, 1/49*(2*w - 20)>,
<184, 1/348*(19*w + 158)>,
<48, 1/72*(7*w - 42)>,
<24, 1/375*(4*w - 1)>,
<48, 1/345*(7*w + 231)>,
<24, 1/11*(4*w - 1)>,
<24, 1/2365*(52*w + 636)>,
<156, 1/144*(7*w + 102)>,
<54, 1/50*(w + 18)>,
<24, 1/46*(w + 56)>,
<156, 1/165*(7*w + 102)>,
<24, 1/117*(4*w - 16)>,
<24, 1/1144*(21*w + 658)>,
<48, 1/780*(7*w + 77)>,
<24, 1/99*(7*w - 63)>,
<24, 1/8*(w + 18)>,
<24, 1/33*(4*w - 36)>,
<24, 1/117*(2*w + 100)>,
<48, 1/300*(19*w + 167)>,
<48, 1/300*(19*w + 114)>,
<24, 1/11*(2*w - 6)>,
<24, 1/261*(4*w + 192)>,
<36, 1/17*(w + 4)>,
<204, 1/12*(w + 2)>,
<24, 1/102*(7*w + 116)>,
<36, 1/17*(w + 12)>,
<204, 1/22*(w + 2)>,
<12, 1/119*(13*w - 104)>,
<108, 1/314*(13*w + 91)>,
<12, 1/600*(7*w + 467)>,
<72, 1/7*(w + 5)>,
<12, 1/8640*(221*w + 2418)>,
<24, 1/308*(17*w + 342)>,
<96, 1/65*(w + 1)>,
<96, 1/66*(w + 2)>,
<24, 1/556*(35*w + 696)>,
<96, 1/139*(4*w + 16)>,
<36, 1/264*(13*w + 225)>,
<12, 1/368*(75*w + 1118)>,
<24, 1/2967*(70*w + 1392)>,
<96, 1/8*(w + 4)>,
<24, 1/130*(w + 141)>,
<24, 1/690*(17*w + 112)>,
<24, 1/20*(w + 26)>,
<96, 1/278*(11*w + 223)>,
<84, 1/157*(6*w + 42)>,
<60, 1/330*(19*w + 159)>,
<12, 1/8832*(143*w + 6214)>,
<24, 1/48*(w + 26)>,
<96, 1/300*(11*w + 223)>,
<24, 1/30*(w + 38)>,
<24, 1/129*(17*w + 112)>,
<24, 1/11*(w + 19)>,
<84, 1/12*(w + 7)>,
<48, 1/300*(7*w + 251)>,
<24, 1/58*(3*w + 85)>,
<52, 1/54*(w + 57)>,
<24, 1/325*(38*w + 249)>,
<24, 1/85*(3*w - 12)>,
<24, 1/32*(w + 37)>,
<24, 1/471*(4*w + 499)>,
<48, 1/9*(w + 7)>,
<24, 1/314*(11*w - 88)>,
<48, 1/108*(17*w + 193)>,
<48, 1/3197*(51*w + 579)>,
<24, 1/168*(11*w + 223)>,
<24, 1/132*(13*w - 91)>,
<24, 1/1625*(12*w + 1497)>,
<24, 1/810*(19*w + 354)>,
<24, 1/325*(11*w - 77)>,
<24, 1/3475*(77*w + 1561)>,
<48, 1/314*(9*w + 63)>,
<24, 1/11*(w - 8)>,
<24, 1/145*(7*w - 70)>,
<24, 1/416*(17*w - 102)>,
<24, 1/65*(3*w + 86)>,
<48, 1/9*(w + 9)>,
<24, 1/84*(5*w - 50)>,
<24, 1/153*(13*w - 78)>,
<24, 1/9976*(195*w + 5590)>,
<48, 1/116*(3*w + 27)>,
<48, 1/258*(7*w + 251)>,
<12, 1/5*(w - 9)>,
<12, 1/45*(w - 6)>,
<72, 1/260*(7*w + 246)>,
<12, 1/300*(7*w - 49)>,
<24, 1/169*(3*w + 85)>,
<108, 1/13*(w + 7)>,
<52, 1/66*(w + 57)>,
<24, 1/19*(w - 5)>,
<24, 1/6831*(190*w + 1245)>,
<24, 1/162*(17*w - 68)>,
<24, 1/52*(w + 37)>,
<24, 1/319*(7*w + 133)>,
<24, 1/203*(4*w + 239)>,
<24, 1/14*(w + 19)>,
<24, 1/2145*(28*w + 1673)>,
<12, 1/580*(7*w + 643)>,
<24, 1/1196*(21*w + 762)>,
<30, 1/39*(w + 14)>,
<180, 1/16*(w + 9)>,
<48, 1/180*(13*w - 78)>,
<12, 1/12144*(65*w + 949)>,
<48, 1/104*(5*w - 30)>,
<180, 1/87*(4*w + 36)>,
<48, 1/69*(w + 56)>,
<144, 1/10*(w + 4)>,
<30, 1/130*(w - 2)>,
<144, 1/144*(5*w + 114)>,
<30, 1/130*(w + 131)>,
<48, 1/50*(w + 56)>,
<24, 1/198*(7*w + 254)>,
<36, 1/3*(w + 9)>,
<12, 1/81*(2*w + 12)>,
<30, 1/39*(w + 24)>,
<36, 1/11*(w - 1)>,
<24, 1/736*(21*w - 231)>,
<48, 1/6*(w + 11)>,
<48, 1/43*(2*w + 41)>,
<24, 1/216*(17*w - 102)>,
<48, 1/741*(5*w + 55)>,
<60, 1/330*(19*w + 152)>,
<24, 1/2365*(51*w + 1411)>,
<12, 1/16*(w + 24)>,
<48, 1/12144*(95*w - 890)>,
<24, 1/10205*(252*w + 3177)>,
<24, 1/10205*(252*w + 6776)>,
<180, 1/33*(w + 30)>,
<24, 1/736*(21*w + 946)>,
<36, 1/11*(w + 11)>,
<48, 1/12*(w + 11)>,
<12, 1/45*(2*w + 43)>,
<36, 1/69*(2*w + 24)>,
<24, 1/40*(9*w + 94)>,
<192, 1/330*(17*w + 177)>,
<24, 1/135*(2*w + 147)>,
<24, 1/319*(8*w + 152)>,
<24, 1/48*(w - 1)>,
<24, 1/63*(2*w - 6)>,
<24, 1/7740*(209*w + 4902)>,
<48, 1/157*(4*w + 125)>,
<48, 1/19*(w + 7)>,
<48, 1/4031*(56*w + 832)>,
<24, 1/182*(11*w + 226)>,
<24, 1/6210*(77*w + 4956)>,
<24, 1/60*(w + 18)>,
<48, 1/18212*(119*w + 16847)>,
<72, 1/116*(w - 10)>,
<48, 1/2*(3*w - 31)>,
<24, 1/51*(w + 53)>,
<24, 1/51*(w - 3)>,
<24, 1/157*(7*w + 206)>,
<24, 1/14*(w + 21)>,
<12, 1/60*(w + 33)>,
<24, 1/157*(14*w - 112)>,
<24, 1/33*(17*w + 67)>,
<12, 1/56*(3*w - 6)>,
<60, 1/65*(3*w + 3)>,
<24, 1/136*(w + 138)>,
<24, 1/157*(14*w + 255)>,
<36, 1/264*(5*w + 10)>,
<24, 1/174*(5*w + 124)>,
<36, 1/86*(w + 85)>,
<24, 1/117*(4*w - 12)>,
<24, 6/43*w>,
<72, 1/138*(w + 12)>,
<24, 1/715*(12*w + 327)>,
<24, 1/715*(12*w + 376)>,
<12, 1/64*(19*w + 159)>,
<36, 1/88*(w + 85)>,
<24, 1/253*(6*w + 210)>,
<24, 1/10*w>,
<24, 1/319*(8*w + 159)>,
<24, 1/435*(8*w + 43)>,
<24, 1/7740*(209*w + 2629)>,
<48, 1/19*(w + 11)>,
<48, 1/129*(4*w + 125)>,
<24, 1/63*(2*w + 67)>,
<24, 1/182*(11*w - 55)>,
<48, 1/4031*(56*w + 3143)>,
<24, 1/609*(11*w + 708)>,
<24, 1/60*(w + 41)>,
<12, 1/16*(w + 27)>,
<48, 1/552*(w + 541)>,
<48, 1/935*(7*w + 991)>,
<24, 1/117*(4*w + 125)>,
<12, 1/973*(38*w + 1125)>,
<24, 1/2512*(17*w + 2533)>,
<24, 1/19*(4*w + 47)>,
<36, 1/100*(w + 106)>,
<24, 1/30*(17*w + 51)>,
<24, 1/6525*(76*w + 893)>,
<120, 1/278*(13*w + 213)>,
<60, 1/92*(3*w + 30)>,
<120, 1/330*(13*w + 213)>,
<24, 5/258*w>,
<24, 1/5589*(88*w + 4368)>,
<24, 1/4239*(88*w + 2343)>,
<24, 1/480*(11*w + 546)>,
<24, 1/165*(8*w + 213)>,
<24, 1/278*(5*w + 20)>,
<36, 1/14*(w + 11)>,
<24, 1/1247*(30*w + 357)>,
<24, 1/65*(34*w + 34)>,
<30, 1/130*(w + 1)>,
<24, 1/80*(3*w - 9)>,
<30, 1/2*(w + 1)>,
<12, 1/87*(w + 9)>,
<12, 1/68*(w - 10)>,
<36, 1/132*(7*w + 111)>,
<12, 1/17*(w - 2)>,
<24, 1/65*(34*w - 3)>,
<24, 1/260*(3*w + 3)>,
<24, 1/10*(w + 19)>,
<60, 1/72*(w + 5)>,
<24, 1/260*(11*w - 22)>,
<60, 1/65*(w - 2)>,
<24, 1/260*(11*w + 271)>,
<48, 1/129*(2*w + 129)>,
<24, 1/559*(14*w + 258)>,
<48, 1/139*(2*w + 129)>,
<12, 1/15*w>,
<24, 1/108*(7*w + 129)>,
<64, 1/270*(7*w + 242)>,
<48, 1/9360*(119*w + 7939)>,
<12, 1/34*(7*w - 84)>,
<48, 1/9360*(119*w + 1302)>,
<48, 1/157*(2*w + 14)>,
<24, 1/50*(17*w + 186)>,
<24, 1/675*(119*w + 1032)>,
<24, 1/688*(13*w + 129)>,
<24, 1/216*(7*w + 251)>,
<24, 1/55*(7*w - 56)>,
<48, 1/135*(2*w - 8)>,
<24, 1/11232*(85*w + 930)>,
<24, 1/35862*(595*w + 5160)>,
<12, 1/264*(19*w + 302)>,
<12, 1/13*(w + 21)>,
<36, 1/43*(2*w - 2)>,
<24, 1/90*(13*w + 129)>,
<12, 1/11*(3*w - 21)>,
<24, 1/1075*(21*w + 753)>,
<24, 1/2198*(55*w - 440)>,
<24, 1/6751*(140*w + 4375)>,
<48, 1/143*(3*w + 68)>,
<24, 1/57*(2*w - 6)>,
<24, 1/288*(17*w + 85)>,
<30, 1/135*(4*w - 16)>,
<24, 1/1040*(19*w + 1007)>,
<24, 1/3197*(76*w + 176)>,
<30, 1/8*(w - 4)>,
<24, 1/57*(w + 53)>,
<24, 1/84*(5*w - 45)>,
<48, 1/110*(3*w + 24)>,
<24, 1/3741*(70*w + 1935)>,
<48, 1/110*(3*w + 83)>,
<12, 1/264*(17*w + 213)>,
<12, 1/7605*(196*w + 4616)>,
<24, 1/105*(4*w + 125)>,
<30, 1/87*(2*w + 67)>,
<12, 1/225*(7*w + 267)>,
<48, 1/50*(3*w + 68)>,
<24, 1/171*(4*w + 12)>,
<24, 1/176*(19*w - 57)>,
<24, 1/17*(w + 5)>,
<48, 1/278*(15*w + 338)>,
<72, 1/278*(7*w + 28)>,
<48, 1/638*(15*w + 338)>,
<72, 1/7*(w + 4)>,
<24, 1/121*(5*w - 45)>,
<48, 1/184*(w + 194)>,
<12, 1/108*(w + 101)>,
<12, 1/165*(w + 8)>,
<84, 1/300*(17*w + 181)>,
<24, 1/13455*(308*w + 8043)>,
<24, 1/973*(44*w + 1149)>,
<60, 1/6*(w + 1)>,
<84, 1/368*(17*w + 181)>,
<36, 1/4*(3*w - 27)>,
<12, 1/85*(w + 90)>,
<24, 1/150*(11*w - 99)>,
<48, 1/11*(w + 10)>,
<24, 1/1210*(21*w + 966)>,
<24, 1/288*(5*w - 15)>,
<24, 1/225*(17*w + 327)>,
<60, 1/157*(6*w + 199)>,
<24, 1/368*(17*w - 187)>,
<24, 1/374*(3*w + 398)>,
<24, 1/2494*(51*w + 981)>,
<60, 1/319*(6*w + 199)>,
<24, 1/45*(17*w + 181)>,
<24, 1/1014*(17*w + 459)>,
<24, 1/989*(22*w + 473)>,
<24, 1/33*(2*w + 43)>,
<24, 1/2990*(63*w + 1883)>,
<24, 1/81*(7*w - 42)>,
<24, 1/288*(5*w + 298)>,
<24, 1/139*(21*w - 105)>,
<12, 1/7568*(85*w + 7225)>,
<12, 1/136*(7*w + 129)>,
<12, 1/234*(7*w + 98)>,
<24, 1/139*(51*w + 343)>,
<24, 1/1188*(17*w + 969)>,
<24, 1/51*(w + 57)>,
<24, 1/5800*(51*w + 343)>,
<24, 1/216*(11*w + 238)>,
<24, 1/10205*(204*w + 9044)>,
<24, 1/2*(w - 5)>,
<24, 1/133*(3*w - 3)>,
<24, 1/300*(7*w + 167)>,
<24, 1/225*(68*w - 476)>,
<24, 1/160*(13*w - 78)>,
<24, 1/165*(2*w - 18)>,
<24, 1/130*(17*w - 34)>,
<6, 1/129*(64*w + 129)>,
<12, 1/258*w>,
<24, 1/130*(17*w + 147)>,
<24, 1/825*(14*w + 552)>,
<24, 1/5*(w + 7)>,
<12, 1/3312*(7*w - 91)>,
<24, 1/16*(w + 12)>,
<12, 1/38*(w + 2)>,
<48, 1/33*(w - 3)>,
<24, 1/264*(5*w + 274)>,
<24, 1/129*(5*w + 129)>,
<24, 1/528*(7*w + 584)>,
<48, 1/64*(3*w - 18)>,
<48, 1/27*(2*w - 12)>,
<48, 1/8*(w - 3)>,
<24, 1/10*(w + 10)>,
<24, 1/121*(9*w + 139)>,
<24, 1/10205*(204*w + 957)>,
<24, 1/150*(w + 143)>,
<24, 1/20410*(399*w + 2322)>,
<24, 1/139*(7*w + 167)>,
<24, 1/21823*(204*w + 19720)>,
<24, 1/35*(8*w + 99)>,
<24, 1/165*(2*w + 181)>,
<24, 1/3036*(65*w + 1846)>,
<24, 1/258*(5*w + 258)>,
<12, 1/289*(5*w + 274)>,
<6, 1/1570*(289*w + 2023)>,
<12, 1/323*(5*w + 20)>,
<12, 1/278*(5*w - 25)>,
<24, 1/258*(5*w - 5)>,
<24, 1/171*(w + 164)>,
<24, 1/1044*(w - 10)>,
<24, 1/171*(w + 6)>,
<24, 1/638*(13*w + 378)>,
<24, 1/108*(13*w + 225)>,
<24, 1/13*(w - 7)>,
<24, 1/108*(13*w - 130)>,
<24, 1/104*(5*w + 124)>,
<24, 1/104*(5*w - 25)>,
<24, 1/51152*(735*w + 40470)>,
<36, 1/264*(13*w + 26)>,
<24, 1/119*(5*w + 124)>,
<24, 1/75*(2*w + 36)>,
<24, 1/260*(3*w + 263)>,
<36, 1/132*(w + 129)>,
<24, 1/2355*(49*w + 2698)>,
<24, 1/1300*(119*w + 1419)>,
<36, 1/132*(w + 2)>,
<12, 1/65*(17*w + 17)>,
<24, 1/75*(2*w + 37)>,
<24, 1/3*(w + 4)>,
<24, 1/32*(3*w - 30)>,
<24, 1/1495*(24*w + 999)>,
<12, 1/11*(w + 14)>,
<48, 1/135*(2*w + 127)>,
<48, 1/11*(w + 3)>,
<48, 1/368*(7*w + 70)>,
<48, 1/129*(2*w + 127)>,
<48, 1/270*(11*w + 33)>,
<48, 1/7*(w + 10)>,
<24, 1/6751*(126*w + 1981)>,
<12, 1/324*(11*w + 258)>,
<24, 1/175*(18*w + 283)>,
<36, 1/1625*(6*w - 64)>,
<24, 1/37152*(595*w + 5855)>,
<24, 1/2150*(39*w + 1677)>,
<24, 1/695*(119*w + 1171)>,
<24, 1/39*(w + 43)>,
<24, 1/105*(4*w + 129)>,
<36, 1/9*(w - 4)>,
<24, 1/171*(11*w - 66)>,
<12, 1/1668*(85*w + 2008)>,
<24, 1/9420*(209*w + 4917)>,
<24, 1/3105*(56*w + 2328)>,
<12, 1/14*(w + 12)>,
<12, 1/1449*(16*w - 208)>,
<24, 1/256*(7*w + 291)>,
<24, 1/1419*(28*w + 903)>,
<36, 1/30*(w - 4)>,
<12, 1/638*(17*w + 298)>,
<24, 1/30624*(665*w + 3549)>,
<24, 1/559*(10*w + 344)>,
<24, 1/602*(95*w + 507)>,
<24, 1/132*(5*w + 172)>,
<36, 1/8*(w - 1)>,
<24, 1/102*(w + 101)>,
<24, 1/192*(11*w - 77)>,
<12, 1/139*(w + 134)>,
<12, 1/2475*(32*w + 267)>,
<24, 1/275*(16*w - 112)>,
<12, 1/11*(17*w - 210)>,
<24, 1/1760*(17*w + 1717)>,
<24, 1/14*w>,
<24, 1/1548*(17*w + 69)>,
<24, 1/314*(17*w + 433)>,
<24, 1/260*(9*w - 18)>,
<24, 1/858*(17*w + 433)>,
<24, 1/9*(w - 2)>,
<48, 1/330*(7*w + 267)>,
<24, 1/216*(11*w + 271)>,
<24, 1/44*(3*w + 59)>,
<48, 1/260*(7*w + 267)>,
<6, 1/8775*(64*w + 327)>,
<24, 1/1548*(17*w + 1462)>,
<24, 7/129*w>,
<24, 1/3*(w - 4)>,
<24, 1/100*(w + 93)>,
<24, 1/65*(12*w + 12)>,
<24, 1/8280*(119*w + 6342)>,
<48, 1/28*(17*w + 181)>,
<12, 1/8385*(32*w + 97)>,
<12, 1/264*(w + 266)>,
<12, 1/3105*(112*w + 1281)>,
<48, 1/414*(5*w + 349)>,
<48, 1/314*(5*w + 349)>,
<24, 1/65*(12*w + 41)>,
<24, 1/8280*(119*w + 1819)>,
<48, 1/1479*(7*w + 1542)>,
<48, 1/184*(w - 11)>,
<6, 1/25*(17*w + 178)>,
<24, 1/195*(7*w - 49)>,
<24, 1/140*(13*w - 91)>,
<24, 1/4968*(91*w + 3486)>,
<24, 1/420*(13*w + 498)>,
<24, 1/119*(5*w - 15)>,
<24, 1/23736*(595*w + 7790)>,
<24, 1/32*(19*w + 190)>,
<24, 1/7569*(38*w + 7885)>,
<12, 1/1392*(11*w - 110)>,
<12, 1/7912*(297*w + 6669)>,
<12, 1/54*(w + 10)>,
<12, 1/86*(27*w + 86)>,
<24, 1/301*(51*w + 301)>,
<24, 1/17*(w - 5)>,
<24, 1/225*(17*w - 68)>,
<24, 1/51*(w + 48)>,
<48, 1/264*(7*w - 21)>,
<24, 1/278*(17*w - 85)>,
<24, 1/18070*(357*w + 2107)>,
<24, 1/870*(17*w + 816)>,
<24, 1/102*(5*w - 20)>,
<48, 1/7*(w - 3)>,
<24, 1/75*(w - 7)>,
<24, 1/139*(11*w + 183)>,
<24, 1/480*(11*w + 183)>,
<24, 1/4*(w - 7)>,
<24, 1/220*(19*w - 57)>,
<24, 1/114*(5*w - 15)>,
<24, 1/160*(11*w - 66)>,
<12, 1/3120*(11*w + 3241)>,
<12, 1/288*(w + 282)>,
<12, 1/289*(w - 5)>,
<24, 1/99*(5*w - 30)>,
<24, 1/1625*(34*w + 1037)>,
<24, 1/21*(2*w + 27)>,
<24, 1/387*(34*w - 34)>,
<12, 1/135*(w + 138)>,
<24, 1/192*(17*w - 102)>,
<24, 1/21*(2*w - 8)>,
<24, 1/68*(3*w - 3)>,
<12, 1/260*(w + 261)>,
<12, 1/33*(8*w + 49)>,
<24, 1/414*(7*w + 323)>,
<24, 1/26*(w + 30)>,
<24, 1/26*(w - 5)>,
<24, 1/5*(9*w - 94)>,
<36, 1/495*(2*w - 18)>,
<24, 1/129*(34*w + 129)>,
<24, 1/2475*(34*w + 129)>,
<12, 1/1413*(11*w + 1490)>,
<24, 1/176*(51*w + 102)>,
<24, 1/153*(2*w + 4)>,
<28, 1/10*(w - 4)>,
<12, 1/5*(w - 6)>,
<12, 1/232*(3*w + 231)>,
<12, 1/36*(w + 9)>,
<12, 1/16*(3*w - 2)>,
<28, 1/27*(w - 4)>,
<24, 1/47472*(935*w + 25542)>,
<12, 1/11*(17*w - 187)>,
<24, 1/47472*(935*w + 20995)>,
<24, 1/1885*(34*w + 712)>,
<32, 1/440*(17*w + 221)>,
<24, 1/220*(17*w + 356)>,
<32, 1/270*(17*w + 51)>,
<24, 1/174*(13*w + 291)>,
<24, 1/174*(13*w - 130)>,
<12, 1/162*(w + 164)>,
<12, 1/145*(27*w + 243)>,
<12, 1/638*(27*w + 98)>,
<12, 1/300*(17*w - 119)>,
<24, 1/8004*(65*w - 546)>,
<12, 1/506*(15*w + 426)>,
<24, 1/28888*(45*w - 470)>,
<24, 1/39*(w + 46)>,
<24, 1/2420*(39*w + 1794)>,
<6, 1/27*(w + 2)>,
<4, 1/132*(w + 57)>,
<4, 1/1188*(17*w + 510)>,
<4, 1/22*(w + 30)>,
<12, 1/221*(7*w - 77)>,
<12, 1/324*(w + 2)>,
<12, 1/88*(13*w - 39)>,
<4, 1/221*(7*w + 242)>,
<24, 3*w - 30>,
<12, 1/116*(13*w + 233)>,
<8, 1/121104*(247*w - 2301)>,
<8, 1/13*(19*w - 177)>,
<-12, 1/288*(-13*w + 366)>,
<-6, 1/4875*(-98*w + 1886)>,
<-12, 1/42*(-w - 11)>,
<-12, 1/4170*(-143*w + 4885)>,
<-12, 1/368*(-15*w + 218)>,
<-12, 1/1099*(-26*w - 182)>,
<-12, 1/10205*(-168*w + 2757)>,
<-12, 1/157*(-3*w + 136)>,
<-12, 1/42*(-w + 43)>,
<-12, 1/28*(-w - 2)>,
<-12, 1/247*(-11*w + 258)>,
<-12, 1/21285*(-532*w + 17689)>,
<-12, 1/112*(-3*w + 127)>,
<-6, 1/49*(-2*w - 18)>,
<-12, 1/119*(-13*w - 91)>,
<-12, 1/600*(-7*w + 474)>,
<-12, 1/8640*(-221*w + 2639)>,
<-12, 1/368*(-75*w + 1193)>,
<-24, 1/130*(-w + 142)>,
<-12, 1/8832*(-143*w + 6357)>,
<-12, 1/5*(-w - 8)>,
<-12, 1/45*(-w - 5)>,
<-12, 1/300*(-7*w - 42)>,
<-12, 1/580*(-7*w + 650)>,
<-12, 1/12144*(-65*w + 1014)>,
<-12, 1/81*(-2*w + 14)>,
<-12, 1/16*(-w + 25)>,
<-12, 1/45*(-2*w + 45)>,
<-12, 1/60*(-w + 34)>,
<-12, 1/56*(-3*w - 3)>,
<-12, 1/64*(-19*w + 178)>,
<-12, 1/16*(-w + 28)>,
<-12, 1/973*(-38*w + 1163)>,
<-12, 1/87*(-w + 10)>,
<-12, 1/68*(-w - 9)>,
<-12, 1/17*(-w - 1)>,
<-24, 1/10*(-w + 20)>,
<-12, 1/15*(-w + 1)>,
<-12, 1/34*(-7*w - 77)>,
<-12, 1/264*(-19*w + 321)>,
<-12, 1/13*(-w + 22)>,
<-12, 1/11*(-3*w - 18)>,
<-12, 1/264*(-17*w + 230)>,
<-12, 1/7605*(-196*w + 4812)>,
<-12, 1/225*(-7*w + 274)>,
<-12, 1/108*(-w + 102)>,
<-12, 1/165*(-w + 9)>,
<-12, 1/85*(-w + 91)>,
<-12, 1/7568*(-85*w + 7310)>,
<-12, 1/136*(-7*w + 136)>,
<-12, 1/234*(-7*w + 105)>,
<-6, 1/129*(-64*w + 193)>,
<-24, 1/825*(-14*w + 566)>,
<-12, 1/3312*(-7*w - 84)>,
<-24, 1/16*(-w + 13)>,
<-12, 1/38*(-w + 3)>,
<-12, 1/289*(-5*w + 279)>,
<-6, 1/1570*(-289*w + 2312)>,
<-12, 1/323*(-5*w + 25)>,
<-12, 1/278*(-5*w - 20)>,
<-12, 1/65*(-17*w + 34)>,
<-12, 1/11*(-w + 15)>,
<-12, 1/324*(-11*w + 269)>,
<-12, 1/1668*(-85*w + 2093)>,
<-12, 1/14*(-w + 13)>,
<-12, 1/1449*(-16*w - 192)>,
<-12, 1/638*(-17*w + 315)>,
<-12, 1/139*(-w + 135)>,
<-12, 1/2475*(-32*w + 299)>,
<-12, 1/11*(-17*w - 193)>,
<-6, 1/8775*(-64*w + 391)>,
<-12, 1/8385*(-32*w + 129)>,
<-12, 1/264*(-w + 267)>,
<-12, 1/3105*(-112*w + 1393)>,
<-6, 1/25*(-17*w + 195)>,
<-12, 1/1392*(-11*w - 99)>,
<-12, 1/7912*(-297*w + 6966)>,
<-12, 1/54*(-w + 11)>,
<-12, 1/86*(-27*w + 113)>,
<-12, 1/3120*(-11*w + 3252)>,
<-12, 1/288*(-w + 283)>,
<-12, 1/289*(-w - 4)>,
<-12, 1/135*(-w + 139)>,
<-12, 1/260*(-w + 262)>,
<-12, 1/33*(-8*w + 57)>,
<-24, 1/414*(-7*w + 330)>,
<-12, 1/1413*(-11*w + 1501)>,
<-12, 1/5*(-w - 5)>,
<-12, 1/232*(-3*w + 234)>,
<-12, 1/36*(-w + 10)>,
<-12, 1/16*(-3*w + 1)>,
<-12, 1/11*(-17*w - 170)>,
<-12, 1/162*(-w + 165)>,
<-12, 1/145*(-27*w + 270)>,
<-12, 1/638*(-27*w + 125)>,
<-12, 1/300*(-17*w - 102)>,
<-24, 1/8004*(-65*w - 481)>,
<-12, 1/506*(-15*w + 441)>,
<-6, 1/27*(-w + 3)>,
<-4, 1/132*(-w + 58)>,
<-4, 1/1188*(-17*w + 527)>,
<-4, 1/22*(-w + 31)>,
<-12, 1/221*(-7*w - 70)>,
<-12, 1/324*(-w + 3)>,
<-12, 1/88*(-13*w - 26)>,
<-4, 1/221*(-7*w + 249)>,
<-12, 1/116*(-13*w + 246)>
]