/* Defining polynomial */
x^2 + 273
/* GCD of coefficients */
2
/* 24 * |disc|^(3/2) /(8*pi^2)* zeta_F(2) */
17191.8379776341977358112122591
/* Belt */
[
<452, 1/23*(w + 7)>,
<8, 1/529*(9*w + 144)>,
<44, 1/197*(11*w + 76)>,
<16, 1/38809*(495*w - 3420)>,
<16, 1/45*(11*w - 76)>,
<24, 1/10738*(255*w + 3003)>,
<24, 1/831*(85*w + 1001)>,
<12, 1/197*(6*w + 66)>,
<12, 1/65*(6*w - 66)>,
<48, 1/11623*(110*w + 12580)>,
<48, 1/33*(10*w + 120)>,
<4, 1/373*(4*w + 333)>,
<4, 1/121746*(1445*w + 23775)>,
<28, 1/21*(w + 10)>,
<4, 1/4137*(34*w + 3763)>,
<16, 1/60873*(170*w + 58803)>,
<4, 1/1576*(289*w - 3179)>,
<4, 1/394*(5*w + 339)>,
<76, 1/309*(17*w + 102)>,
<24, 1/373*(13*w + 130)>,
<12, 1/204*(13*w + 243)>,
<54, 1/13*(w + 2)>,
<24, 1/54569*(702*w + 13554)>,
<108, 1/309*(11*w + 66)>,
<60, 1/11*(w + 10)>,
<24, 1/51101*(1386*w + 33138)>,
<84, 1/12*(w + 7)>,
<84, 1/149*(6*w + 119)>,
<48, 1/177*(10*w + 90)>,
<48, 1/20*(w + 9)>,
<24, 1/177*(2*w + 159)>,
<24, 1/149*(2*w + 159)>,
<108, 1/298*(11*w + 55)>,
<408, 1/18*(w + 9)>,
<24, 1/277*(4*w + 269)>,
<18, 1/3*(w + 5)>,
<6, 1/289*(3*w + 6)>,
<108, 1/337*(11*w + 88)>,
<116, 1/298*(13*w + 233)>,
<48, 1/137*(3*w + 3)>,
<12, 1/119*(3*w + 134)>,
<116, 1/298*(13*w + 65)>,
<24, 1/65*(7*w + 114)>,
<72, 1/15*(w + 8)>,
<24, 1/7751*(120*w + 1736)>,
<24, 1/26373*(455*w + 7410)>,
<112, 1/373*(17*w + 170)>,
<4, 1/16*(21*w + 163)>,
<80, 1/18*(w + 7)>,
<4, 1/1492*(357*w + 4263)>,
<4, 1/38809*(306*w + 4942)>,
<4, 1/60053*(136*w + 1624)>,
<4, 1/4*(w - 7)>,
<180, 1/6*(w + 3)>,
<108, 1/11*(w + 8)>,
<12, 1/85593*(1156*w + 82365)>,
<12, 1/289*(3*w + 18)>,
<12, 1/1385*(289*w + 807)>,
<12, 1/289*(8*w + 273)>,
<12, 1/337*(6*w + 48)>,
<12, 1/2*(w + 2)>,
<100, 1/13*(w + 6)>,
<16, 1/7107*(130*w + 2310)>,
<168, 1/16*(w + 7)>,
<168, 1/177*(8*w + 105)>,
<48, 1/45*(8*w - 64)>,
<24, 1/273*(4*w + 273)>,
<12, 1/1156*(75*w + 1456)>,
<48, 1/289*(16*w + 64)>,
<48, 1/2696*(45*w - 360)>,
<24, 1/1662*(119*w - 238)>,
<24, 1/115509*(1870*w + 59970)>,
<60, 1/394*(11*w + 121)>,
<12, 1/98*(9*w + 98)>,
<72, 1/7*w>,
<12, 1/3481*(15*w + 160)>,
<144, 1/354*(17*w + 153)>,
<24, 1/3940*(187*w + 5997)>,
<24, 1/119*(6*w - 12)>,
<144, 1/337*(17*w + 136)>,
<54, 1/277*(13*w + 26)>,
<84, 1/11*(w + 4)>,
<84, 1/289*(11*w + 44)>,
<36, 1/139*(5*w + 79)>,
<36, 1/18*(w + 12)>,
<36, 1/18*(w + 6)>,
<36, 1/139*(5*w + 60)>,
<96, 1/289*(13*w + 52)>,
<96, 1/289*(13*w + 237)>,
<144, 1/47*(2*w + 41)>,
<144, 1/12*(w + 9)>,
<60, 1/309*(14*w + 84)>,
<12, 1/169*(10*w + 249)>,
<48, 1/12*(w + 8)>,
<24, 1/84*(17*w + 203)>,
<12, 1/16343*(286*w + 9713)>,
<84, 1/354*(11*w + 255)>,
<12, 1/5*(3*w + 32)>,
<24, 1/165*(14*w - 84)>,
<16, 1/1937*(84*w + 2357)>,
<24, 1/1442*(55*w - 330)>,
<12, 1/3151*(60*w + 1156)>,
<60, 1/137*(4*w + 4)>,
<12, 1/221*(14*w - 28)>,
<12, 1/277*(14*w + 28)>,
<36, 1/14*(w + 10)>,
<24, 1/24249*(560*w + 14784)>,
<48, 1/149*(9*w + 104)>,
<24, 1/554*(135*w - 270)>,
<84, 1/11*(w + 2)>,
<24, 1/270*(7*w + 291)>,
<24, 1/16343*(315*w + 13095)>,
<48, 1/221*(9*w + 104)>,
<24, 1/135*(2*w - 4)>,
<36, 1/289*(14*w + 233)>,
<24, 1/373*(6*w + 60)>,
<12, 1/3151*(51*w + 771)>,
<48, 1/137*(3*w - 3)>,
<24, 1/20291*(153*w + 18428)>,
<24, 1/26989*(462*w + 10087)>,
<24, 1/77*(6*w + 131)>,
<24, 1/1003*(9*w + 1084)>,
<24, 1/112*(5*w + 132)>,
<24, 1/20711*(170*w + 18581)>,
<24, 1/1003*(10*w + 1093)>,
<136, 1/149*(5*w + 124)>,
<24, 1/274*(13*w + 261)>,
<12, 1/695*(24*w + 983)>,
<12, 1/139*(7*w + 84)>,
<36, 1/6*(w + 6)>,
<24, 1/96*(5*w + 126)>,
<24, 1/515*(32*w + 707)>,
<36, 1/103*(2*w + 12)>,
<108, 1/94*(3*w + 85)>,
<112, 1/103*(4*w + 24)>,
<108, 1/94*(3*w + 9)>,
<24, 1/277*(12*w + 253)>,
<12, 1/120106*(2873*w + 85799)>,
<66, 1/9*(w + 2)>,
<24, 1/12154*(165*w + 2409)>,
<24, 1/1685*(33*w - 264)>,
<24, 1/8*(w + 2)>,
<48, 1/137*(5*w + 132)>,
<24, 1/658*(33*w + 757)>,
<84, 1/197*(7*w + 120)>,
<48, 1/137*(5*w + 5)>,
<60, 1/72*(7*w - 42)>,
<36, 1/19883*(136*w + 1608)>,
<24, 1/274*(51*w + 223)>,
<24, 1/2773*(51*w + 223)>,
<24, 1/154*(15*w + 229)>,
<84, 1/197*(7*w + 77)>,
<24, 1/56933*(1155*w + 17633)>,
<100, 1/309*(13*w + 78)>,
<108, 1/10*(w + 3)>,
<12, 1/3243*(65*w + 1638)>,
<12, 1/147*(5*w + 5)>,
<48, 1/137*(5*w - 5)>,
<24, 1/373*(12*w + 253)>,
<12, 1/109138*(1573*w + 78767)>,
<80, 1/337*(16*w + 209)>,
<2, 1/113569*(1296*w + 96640)>,
<24, 1/1416*(55*w - 495)>,
<24, 1/55*(4*w - 36)>,
<24, 1/6077*(57*w + 6213)>,
<24, 1/6077*(57*w - 136)>,
<30, 1/277*(9*w - 18)>,
<80, 1/18*(w + 11)>,
<60, 11/273*w>,
<60, 1/72*(7*w + 114)>,
<24, 1/277*(8*w + 16)>,
<36, 1/177*(4*w + 141)>,
<12, 1/8083*(140*w + 3148)>,
<30, 1/394*(9*w + 99)>,
<60, 1/309*(14*w + 225)>,
<108, 1/177*(7*w + 114)>,
<76, 1/394*(17*w + 187)>,
<24, 1/1545*(112*w - 672)>,
<48, 1/149*(3*w + 15)>,
<24, 1/1545*(112*w + 2217)>,
<6, 1/298*(3*w - 15)>,
<6, 1/289*(3*w + 313)>,
<108, 1/149*(7*w + 114)>,
<6, 1/6371*(126*w + 3626)>,
<36, 1/3*(w + 6)>,
<12, 1/324*(5*w - 15)>,
<24, 1/7567*(90*w + 952)>,
<72, 1/337*(15*w + 120)>,
<24, 1/206*(45*w + 476)>,
<24, 1/1269*(119*w - 357)>,
<24, 1/117*(5*w - 15)>,
<24, 1/107797*(1890*w + 76342)>,
<24, 1/165*(13*w - 78)>,
<48, 1/373*(15*w + 150)>,
<24, 1/77*(17*w - 136)>,
<12, 1/11*(w - 1)>,
<12, 1/38086*(561*w + 14535)>,
<24, 1/77*(17*w + 213)>,
<48, 1/373*(15*w + 223)>,
<16, 1/337*(8*w + 273)>,
<12, 1/1274*(75*w + 1274)>,
<24, 1/1339*(55*w - 330)>,
<24, 1/107797*(1890*w + 31455)>,
<12, 1/141*(2*w - 6)>,
<12, 1/153*(2*w + 6)>,
<24, 1/238*(9*w - 27)>,
<36, 1/8*(w - 1)>,
<24, 1/8083*(195*w + 2935)>,
<76, 1/19*(w + 8)>,
<48, 1/24*(19*w + 209)>,
<24, 1/42*(w + 21)>,
<12, 1/289*(3*w + 277)>,
<48, 1/5*(w + 4)>,
<24, 1/119*(6*w - 24)>,
<24, 1/102*(7*w - 28)>,
<24, 1/77*(8*w + 117)>,
<24, 1/77*(8*w - 40)>,
<24, 1/752*(35*w - 105)>,
<12, 1/7*(3*w + 45)>,
<12, 1/18*(w + 3)>,
<24, 1/752*(35*w + 857)>,
<6, 1/225*(13*w + 251)>,
<12, 1/289*(6*w + 265)>,
<12, 1/2*(w + 4)>,
<6, 1/49*(18*w + 193)>,
<54, 1/337*(18*w + 193)>,
<12, 1/6533*(160*w + 2528)>,
<24, 1/27777*(595*w + 10200)>,
<24, 1/85*(7*w + 120)>,
<96, 1/197*(8*w + 88)>,
<96, 1/16*(w + 11)>,
<12, 1/56933*(480*w + 49605)>,
<42, 1/394*(15*w + 229)>,
<24, 1/85*(2*w - 6)>,
<60, 3/91*w>,
<24, 1/85*(2*w + 91)>,
<60, 1/9*w>,
<24, 1/515*(34*w - 204)>,
<24, 1/187*(10*w - 70)>,
<24, 4/153*w>,
<108, 1/161*(5*w + 126)>,
<24, 1/9259*(204*w + 1456)>,
<12, 1/17051*(270*w + 16686)>,
<60, 1/6*(w + 9)>,
<60, 1/282*(7*w + 21)>,
<48, 1/10*w>,
<160, 1/354*(19*w + 183)>,
<48, 1/17531*(273*w + 12428)>,
<24, 1/78*(7*w + 120)>,
<48, 1/9*(w + 5)>,
<48, 1/10*(w + 10)>,
<24, 1/93349*(1870*w + 45290)>,
<24, 1/8083*(170*w + 4488)>,
<160, 1/19*(w + 10)>,
<24, 1/721*(26*w + 877)>,
<48, 1/298*(9*w + 45)>,
<48, 1/767*(21*w + 956)>,
<48, 1/274*(7*w + 281)>,
<12, 1/46169*(1008*w + 5705)>,
<24, 1/517*(42*w + 643)>,
<24, 1/252*(11*w + 285)>,
<184, 1/26*(w + 13)>,
<24, 1/2773*(66*w + 1353)>,
<6, 1/17531*(378*w + 16362)>,
<6, 1/7*(w + 10)>,
<24, 1/578*(33*w - 132)>,
<24, 1/17051*(260*w + 12311)>,
<58, 1/7*(w + 1)>,
<6, 1/28222*(525*w + 20025)>,
<48, 1/141*(2*w + 6)>,
<64, 1/277*(7*w + 263)>,
<6, 1/4335*(169*w + 5011)>,
<32, 1/289*(8*w + 32)>,
<24, 1/22057*(468*w + 15561)>,
<168, 1/118*(5*w + 45)>,
<24, 1/117*(4*w + 133)>,
<168, 1/15*(w + 9)>,
<36, 1/309*(5*w + 279)>,
<12, 1/118*(w + 9)>,
<12, 1/515*(54*w + 324)>,
<24, 1/285*(8*w + 293)>,
<48, 1/4*(w + 3)>,
<64, 1/298*(7*w + 263)>,
<24, 1/103321*(2280*w + 83505)>,
<24, 1/88*(17*w + 207)>,
<72, 1/39*w>,
<48, 1/337*(7*w + 281)>,
<6, 1/4384*(225*w + 4159)>,
<24, 1/15*(w - 6)>,
<12, 1/255*(2*w + 281)>,
<12, 1/277*(15*w + 247)>,
<24, 1/103*(5*w - 30)>,
<36, 1/417*(17*w + 213)>,
<12, 1/1937*(98*w + 2427)>,
<24, 1/247*(9*w - 36)>,
<48, 1/5*(w + 1)>,
<24, 1/1507*(144*w - 144)>,
<24, 1/7202*(165*w + 2717)>,
<24, 1/187*(15*w + 247)>,
<24, 1/48*(w + 50)>,
<24, 1/2773*(48*w + 2400)>,
<24, 1/288*(11*w - 11)>,
<12, 1/289*(3*w + 301)>,
<12, 1/4103*(153*w + 5633)>,
<60, 1/11*(w + 1)>,
<48, 1/6*(w - 1)>,
<24, 1/1639*(104*w - 520)>,
<12, 1/361*(4*w + 333)>,
<12, 1/4849*(361*w + 3610)>,
<12, 1/120106*(1083*w - 3717)>,
<24, 1/208*(11*w - 55)>,
<24, 1/2601*(247*w - 988)>,
<48, 1/139*(4*w + 48)>,
<112, 1/322*(17*w + 119)>,
<24, 1/10*(w + 8)>,
<24, 1/10*(w + 2)>,
<24, 1/2773*(70*w + 1435)>,
<24, 1/6077*(95*w + 1387)>,
<24, 1/4635*(133*w + 5433)>,
<24, 1/38*(5*w + 73)>,
<12, 1/33166*(663*w + 21385)>,
<24, 1/88*(15*w + 223)>,
<24, 1/447*(35*w + 622)>,
<24, 1/2655*(44*w + 3051)>,
<24, 1/447*(35*w - 175)>,
<84, 1/141*(4*w + 129)>,
<16, 1/373*(20*w + 173)>,
<8, 1/27*(20*w - 173)>,
<8, 1/139129*(540*w - 4671)>,
<84, 1/8*(w + 5)>,
<60, 1/16*(w + 10)>,
<24, 1/240*(11*w + 273)>,
<24, 1/137*(48*w - 48)>,
<60, 1/373*(16*w + 160)>,
<24, 1/517*(40*w + 637)>,
<24, 1/96*(w - 1)>,
<28, 1/394*(21*w + 163)>,
<12, 1/2611*(50*w + 3111)>,
<6, 1/274*(9*w + 265)>,
<6, 1/46169*(1152*w + 12249)>,
<36, 1/2*(w + 1)>,
<48, 1/3*(w + 3)>,
<24, 1/24*(5*w + 79)>,
<24, 1/6533*(60*w + 948)>,
<48, 1/91*(w + 91)>,
<36, 1/48*(17*w + 201)>,
<32, 1/22007*(38*w + 21641)>,
<58, 1/309*(7*w + 267)>,
<24, 1/111154*(1995*w + 81495)>,
<24, 1/1685*(102*w + 2501)>,
<24, 1/26989*(510*w + 12505)>,
<24, 1/60873*(748*w + 9108)>,
<66, 1/9*(w + 7)>,
<24, 5/323*w>,
<36, 1/274*(5*w + 279)>,
<24, 1/323*(5*w + 323)>,
<12, 1/51*(7*w + 114)>,
<6, 1/1773*(98*w - 1078)>,
<24, 1/414*(5*w + 449)>,
<24, 1/26*(9*w + 98)>,
<24, 1/3033*(26*w + 3241)>,
<24, 1/51101*(1071*w + 33677)>,
<60, 1/137*(4*w + 133)>,
<24, 1/117*(5*w + 142)>,
<12, 1/38419*(624*w + 30112)>,
<24, 1/337*(20*w + 177)>,
<24, 1/46843*(420*w - 3717)>,
<24, 1/6077*(70*w + 1022)>,
<24, 1/51101*(1071*w + 17424)>,
<24, 1/1490*(117*w + 2075)>,
<12, 1/119298*(1105*w + 106233)>,
<48, 1/66389*(228*w + 68609)>,
<76, 1/19*(w + 11)>,
<24, 1/289*(4*w + 273)>,
<12, 1/354*(5*w + 45)>,
<36, 1/137*(7*w + 130)>,
<36, 1/14*(w + 13)>,
<12, 1/7553*(40*w + 728)>,
<12, 1/15*w>,
<24, 1/3009*(25*w + 3234)>,
<24, 1/60053*(425*w + 54978)>,
<12, 1/309*(2*w + 297)>,
<24, 1/10*(w + 6)>,
<12, 1/1751*(35*w + 1961)>,
<24, 1/299*(6*w + 234)>,
<24, 1/47*(6*w - 18)>,
<48, 1/197*(5*w + 55)>,
<12, 1/959*(162*w + 162)>,
<48, 1/5*w>,
<24, 1/5369*(114*w + 3458)>,
<24, 1/69*(5*w + 104)>,
<48, 1/298*(5*w + 273)>,
<24, 1/69*(5*w - 35)>,
<24, 1/447*(38*w - 190)>,
<24, 1/252*(11*w + 263)>,
<12, 1/15839*(396*w + 8964)>,
<12, 1/6647*(132*w + 2940)>,
<24, 1/27*(2*w - 14)>,
<24, 1/2773*(54*w + 1666)>,
<24, 1/17051*(260*w + 4740)>,
<24, 1/117*(4*w + 141)>,
<24, 1/8083*(156*w + 5499)>,
<24, 1/1108*(133*w - 266)>,
<12, 1/3427*(66*w + 2118)>,
<12, 1/5369*(96*w + 2912)>,
<48, 4/91*w>,
<24, 1/24249*(532*w + 18753)>,
<24, 1/85593*(1768*w + 27912)>,
<12, 1/323*(2*w + 297)>,
<30, 1/442*(19*w + 247)>,
<24, 1/51*(w + 30)>,
<12, 1/2329*(21*w + 390)>,
<24, 1/51*(w + 21)>,
<24, 1/92338*(2223*w + 26883)>,
<24, 1/51153*(760*w + 46968)>,
<12, 1/120106*(561*w + 113407)>,
<24, 1/57129*(1144*w + 29640)>,
<48, 1/322*(19*w + 133)>,
<12, 1/2641*(13*w + 156)>,
<24, 1/57129*(1144*w + 27489)>,
<24, 1/54569*(1040*w + 20080)>,
<24, 1/160*(13*w + 251)>,
<24, 1/2493*(247*w + 2987)>,
<24, 1/304*(5*w + 309)>,
<12, 1/6533*(168*w + 5768)>,
<12, 1/9*(w + 12)>,
<60, 1/59*(w + 9)>,
<24, 1/99*(7*w + 120)>,
<24, 1/2359*(64*w + 2871)>,
<8, 1/33*(19*w - 152)>,
<4, 1/819*(152*w + 6006)>,
<4, 1/5187*(88*w + 3003)>,
<4, 1/92001*(2888*w + 98553)>,
<4, 1/3707*(361*w + 819)>,
<4, 1/2696*(209*w - 1672)>,
<24, 1/2359*(64*w - 512)>,
<12, 1/274*(9*w + 283)>,
<12, 1/52593*(1664*w + 21489)>,
<12, 1/2*(w - 1)>,
<4, 1/55*(4*w + 79)>,
<36, 1/103*(w + 6)>,
<36, 1/354*(7*w + 63)>,
<24, 1/2384*(221*w + 3489)>,
<36, 1/354*(7*w + 291)>,
<24, 1/5392*(85*w + 6072)>,
<24, 1/115257*(1360*w + 97152)>,
<12, 1/115*(18*w + 241)>,
<12, 1/322*(5*w + 35)>,
<24, 1/2561*(54*w - 594)>,
<24, 1/137*(2*w + 139)>,
<24, 1/47517*(680*w + 7125)>,
<24, 1/23989*(153*w + 427)>,
<24, 1/39*(5*w - 40)>,
<24, 1/46843*(420*w + 50560)>,
<24, 1/20*(w + 12)>,
<24, 1/1685*(39*w - 312)>,
<24, 1/4*(w + 5)>,
<24, 1/274*(153*w + 427)>,
<24, 1/47517*(680*w + 40392)>,
<12, 1/337*(4*w + 305)>,
<36, 1/277*(5*w + 267)>,
<36, 1/5*(w + 3)>,
<24, 1/272*(5*w - 15)>,
<24, 1/272*(5*w + 287)>,
<24, 1/7*(w + 11)>,
<24, 1/136*(5*w + 156)>,
<24, 1/85*(8*w + 117)>,
<12, 1/62133*(1088*w + 48501)>,
<36, 1/298*(17*w + 213)>,
<24, 1/85*(3*w - 18)>,
<24, 1/13066*(255*w + 4311)>,
<24, 1/674*(25*w - 200)>,
<24, 1/4531*(45*w + 4041)>,
<24, 1/897*(17*w + 663)>,
<24, 1/149*(17*w - 85)>,
<24, 1/674*(25*w + 874)>,
<24, 1/805*(22*w - 154)>,
<24, 1/44*(5*w - 35)>,
<12, 1/121*(14*w + 233)>,
<12, 1/423*(38*w + 537)>,
<24, 95/1001*w>,
<12, 1/32*(w - 7)>,
<24, 11/285*w>,
<24, 1/221*(8*w - 72)>,
<4, 1/274*(13*w - 13)>,
<4, 1/105*(13*w + 287)>,
<20, 1/274*(15*w + 15)>,
<4, 1/20703*(169*w + 15054)>,
<20, 1/15*(w + 1)>,
<4, 1/1781*(130*w + 2870)>,
<4, 1/42333*(910*w + 7623)>,
<16, 1/20*(w + 7)>,
<16, 1/39*(10*w + 130)>,
<42, 1/394*(15*w + 165)>,
<6, 1/32*(11*w + 76)>,
<24, 1/1233*(152*w + 152)>,
<12, 1/33*(8*w - 72)>,
<12, 1/2224*(11*w - 132)>,
<24, 1/3152*(21*w - 231)>,
<24, 1/304*(9*w + 9)>,
<12, 1/27*(7*w - 28)>,
<24, 1/17531*(280*w + 5411)>,
<24, 1/17531*(280*w + 12120)>,
<12, 1/165*(4*w + 153)>,
<12, 1/197*(4*w + 44)>,
<24, 1/66021*(247*w + 68400)>,
<24, 1/8*(9*w + 98)>,
<12, 1/10387*(285*w + 1495)>,
<12, 1/141*(5*w + 156)>,
<4, 1/22201*(495*w + 12276)>,
<24, 1/31717*(72*w + 784)>,
<24, 1/16*(w + 21)>,
<12, 1/141*(8*w + 24)>,
<12, 1/13*(8*w + 117)>,
<16, 1/273*(8*w + 273)>,
<4, 1/11458*(273*w + 9261)>,
<4, 1/4381*(168*w + 5733)>,
<4, 1/5729*(52*w + 3965)>,
<12, 1/13*w>,
<4, 1/8*(w + 21)>,
<12, 1/34*(w + 21)>,
<24, 1/357*(8*w + 168)>,
<24, 1/6077*(51*w + 518)>,
<12, 1/5*(6*w - 67)>,
<24, 1/6077*(51*w + 5559)>,
<12, 1/125701*(722*w + 127433)>,
<24, 1/6*(w + 10)>,
<24, 1/3743*(13*w + 3600)>,
<24, 1/103321*(1768*w + 38568)>,
<24, 1/337*(42*w + 673)>,
<54, 1/373*(18*w + 193)>,
<24, 1/2773*(42*w + 673)>,
<12, 1/252*(5*w + 267)>,
<12, 1/22991*(234*w + 5454)>,
<12, 1/13*(w - 2)>,
<12, 1/1577*(12*w + 1397)>,
<12, 1/498*(19*w + 285)>,
<24, 1/153*(2*w - 6)>,
<24, 1/149*(w + 144)>,
<24, 1/298*(45*w - 225)>,
<12, 1/38086*(455*w + 28951)>,
<24, 1/417*(13*w + 261)>,
<24, 1/2773*(45*w + 2250)>,
<24, 1/153*(2*w + 159)>,
<24, 1/2*(w - 3)>,
<24, 1/19317*(136*w + 549)>,
<24, 1/19317*(136*w + 18768)>,
<4, 1/37401*(136*w + 273)>,
<4, 1/274*(w + 273)>,
<4, 1/529*(16*w + 273)>,
<4, 1/17*(16*w + 273)>,
<8, 1/240*(17*w - 17)>,
<4, 1/8993*(15*w + 8753)>,
<8, 1/2329*(120*w - 120)>,
<4, 1/274*(17*w + 257)>,
<12, 1/105186*(2023*w + 87567)>,
<12, 1/289*(w + 10)>,
<12, 1/3384*(289*w + 2517)>,
<12, w + 4>,
<48, 1/289*(16*w + 225)>,
<12, 1/417*(8*w + 96)>,
<12, 1/2363*(3*w + 2399)>,
<30, 1/309*(19*w + 114)>,
<12, 1/100*(11*w + 243)>,
<48, 1/19*(w + 7)>,
<12, 1/2890*(209*w + 3726)>,
<6, 1/81*(19*w + 195)>,
<24, 1/897*(19*w + 156)>,
<12, 1/4071*(56*w + 3336)>,
<24, 1/137*(19*w + 156)>,
<24, 1/4381*(133*w + 5445)>,
<4, 1/309*(7*w + 351)>,
<4, 1/5253*(70*w + 3510)>,
<8, 1/460*(3*w - 21)>,
<16, 1/340*(3*w + 39)>,
<8, 1/21*(10*w - 70)>,
<16, 1/20*(w + 13)>,
<2, 1/83521*(1800*w + 57825)>,
<12, 1/39593*(384*w + 4137)>,
<18, 1/277*(3*w + 283)>,
<12, 1/26373*(896*w + 11781)>,
<12, 1/208*(9*w + 253)>,
<60, 1/282*(7*w + 261)>,
<12, 1/13583*(280*w + 3143)>,
<24, 1/9259*(156*w + 3292)>,
<16, 1/168*(13*w + 233)>,
<4, 1/32929*(756*w + 988)>,
<4, 1/8*(w - 5)>,
<4, 1/32*(9*w + 104)>,
<4, 1/21*(w + 8)>,
<24, 1/472*(39*w + 823)>,
<24, 1/55577*(720*w + 9065)>,
<24, 1/805*(144*w + 1813)>,
<12, 1/306*(w + 13)>,
<12, 1/9499*(54*w + 9072)>,
<12, 1/309*(w - 6)>,
<24, 1/102306*(1729*w + 70785)>,
<24, 1/282*(5*w + 297)>,
<24, 1/867*(26*w + 971)>,
<24, 1/5*(w + 8)>,
<24, 1/3901*(78*w + 2913)>,
<12, 1/274*(w + 275)>,
<12, 1/3288*(289*w - 289)>,
<12, 1/298*(w + 293)>,
<24, 1/46529*(1045*w + 23275)>,
<24, 1/190*(11*w + 245)>,
<12, 1/361*(9*w + 325)>,
<6, 1/3536*(361*w + 4693)>,
<12, 1/437*(4*w + 465)>,
<12, 1/274*(3*w + 271)>,
<12, 1/831*(128*w + 1087)>,
<12, 1/56933*(840*w + 38040)>,
<24, 1/7*(w - 4)>,
<12, 1/7003*(156*w + 1972)>,
<12, 1/324*(13*w + 233)>,
<12, 1/337*(162*w + 1296)>,
<12, 1/54257*(162*w + 959)>,
<12, 1/22043*(510*w + 15113)>,
<12, 1/282*(17*w + 231)>,
<8, 1/9*(w - 4)>,
<8, 1/289*(9*w - 36)>,
<12, 1/120513*(2888*w + 115881)>,
<12, 1/361*(9*w + 108)>,
<12, 1/2023*(361*w + 579)>,
<24, 1/3152*(21*w + 3383)>,
<12, 1/6714*(13*w - 130)>,
<4, 1/19*(w + 5)>,
<4, 1/63*(19*w + 266)>,
<8, 1/2831*(54*w - 270)>,
<4, 1/18559*(228*w + 12840)>,
<8, 1/108*(19*w - 95)>,
<4, 1/12*(w + 14)>,
<4, 1/1043*(114*w - 570)>,
<16, 1/7*(19*w - 183)>,
<4, 1/228*(7*w + 291)>,
<4, 1/103321*(4332*w + 91333)>,
<4, 1/98058*(2527*w + 105051)>,
<4, 1/103321*(1596*w + 69672)>,
<32, 1/12*(19*w - 171)>,
<16, 1/7*(19*w + 190)>,
<-8, 1/529*(-9*w + 144)>,
<-12, 1/197*(-6*w + 66)>,
<-12, 1/65*(-6*w - 66)>,
<-4, 1/373*(-4*w + 333)>,
<-4, 1/121746*(-1445*w + 23775)>,
<-4, 1/4137*(-34*w + 3763)>,
<-16, 1/60873*(-170*w + 58803)>,
<-4, 1/1576*(-289*w - 3179)>,
<-4, 1/394*(-5*w + 339)>,
<-24, 1/373*(-13*w + 130)>,
<-12, 1/204*(-13*w + 243)>,
<-6, 1/289*(-3*w + 6)>,
<-12, 1/119*(-3*w + 134)>,
<-24, 1/7751*(-120*w + 1736)>,
<-4, 1/16*(-21*w + 163)>,
<-4, 1/1492*(-357*w + 4263)>,
<-4, 1/38809*(-306*w + 4942)>,
<-4, 1/60053*(-136*w + 1624)>,
<-4, 1/4*(-w - 7)>,
<-12, 1/85593*(-1156*w + 82365)>,
<-12, 1/289*(-3*w + 18)>,
<-12, 1/1385*(-289*w + 807)>,
<-12, 1/289*(-8*w + 273)>,
<-12, 1/337*(-6*w + 48)>,
<-12, 1/2*(-w + 2)>,
<-16, 1/7107*(-130*w + 2310)>,
<-12, 1/1156*(-75*w + 1456)>,
<-12, 1/98*(-9*w + 98)>,
<-12, 1/169*(-10*w + 249)>,
<-48, 1/12*(-w + 8)>,
<-24, 1/84*(-17*w + 203)>,
<-12, 1/16343*(-286*w + 9713)>,
<-12, 1/3151*(-60*w + 1156)>,
<-12, 1/221*(-14*w - 28)>,
<-12, 1/277*(-14*w + 28)>,
<-12, 1/3151*(-51*w + 771)>,
<-12, 1/695*(-24*w + 983)>,
<-12, 1/139*(-7*w + 84)>,
<-12, 1/120106*(-2873*w + 85799)>,
<-12, 1/3243*(-65*w + 1638)>,
<-12, 1/147*(-5*w + 5)>,
<-12, 1/109138*(-1573*w + 78767)>,
<-2, 1/113569*(-1296*w + 96640)>,
<-12, 1/8083*(-140*w + 3148)>,
<-6, 1/298*(-3*w - 15)>,
<-6, 1/289*(-3*w + 313)>,
<-6, 1/6371*(-126*w + 3626)>,
<-12, 1/324*(-5*w - 15)>,
<-12, 1/11*(-w - 1)>,
<-12, 1/38086*(-561*w + 14535)>,
<-12, 1/1274*(-75*w + 1274)>,
<-12, 1/141*(-2*w - 6)>,
<-12, 1/153*(-2*w + 6)>,
<-12, 1/289*(-3*w + 277)>,
<-12, 1/7*(-3*w + 45)>,
<-12, 1/18*(-w + 3)>,
<-6, 1/225*(-13*w + 251)>,
<-12, 1/289*(-6*w + 265)>,
<-12, 1/2*(-w + 4)>,
<-6, 1/49*(-18*w + 193)>,
<-12, 1/6533*(-160*w + 2528)>,
<-12, 1/56933*(-480*w + 49605)>,
<-12, 1/17051*(-270*w + 16686)>,
<-12, 1/46169*(-1008*w + 5705)>,
<-6, 1/17531*(-378*w + 16362)>,
<-6, 1/7*(-w + 10)>,
<-6, 1/28222*(-525*w + 20025)>,
<-6, 1/4335*(-169*w + 5011)>,
<-12, 1/118*(-w + 9)>,
<-12, 1/515*(-54*w + 324)>,
<-6, 1/4384*(-225*w + 4159)>,
<-12, 1/255*(-2*w + 281)>,
<-12, 1/277*(-15*w + 247)>,
<-12, 1/1937*(-98*w + 2427)>,
<-12, 1/289*(-3*w + 301)>,
<-12, 1/4103*(-153*w + 5633)>,
<-12, 1/361*(-4*w + 333)>,
<-12, 1/4849*(-361*w + 3610)>,
<-12, 1/120106*(-1083*w - 3717)>,
<-24, 1/2773*(-70*w + 1435)>,
<-12, 1/33166*(-663*w + 21385)>,
<-12, 1/2611*(-50*w + 3111)>,
<-6, 1/274*(-9*w + 265)>,
<-6, 1/46169*(-1152*w + 12249)>,
<-12, 1/51*(-7*w + 114)>,
<-6, 1/1773*(-98*w - 1078)>,
<-12, 1/38419*(-624*w + 30112)>,
<-24, 1/6077*(-70*w + 1022)>,
<-12, 1/119298*(-1105*w + 106233)>,
<-12, 1/354*(-5*w + 45)>,
<-12, 1/7553*(-40*w + 728)>,
<-12, -1/15*w>,
<-12, 1/309*(-2*w + 297)>,
<-24, 1/10*(-w + 6)>,
<-12, 1/1751*(-35*w + 1961)>,
<-12, 1/959*(-162*w + 162)>,
<-12, 1/15839*(-396*w + 8964)>,
<-12, 1/6647*(-132*w + 2940)>,
<-12, 1/3427*(-66*w + 2118)>,
<-12, 1/5369*(-96*w + 2912)>,
<-12, 1/323*(-2*w + 297)>,
<-12, 1/2329*(-21*w + 390)>,
<-12, 1/120106*(-561*w + 113407)>,
<-12, 1/2641*(-13*w + 156)>,
<-12, 1/6533*(-168*w + 5768)>,
<-12, 1/9*(-w + 12)>,
<-8, 1/33*(-19*w - 152)>,
<-4, 1/819*(-152*w + 6006)>,
<-4, 1/5187*(-88*w + 3003)>,
<-4, 1/92001*(-2888*w + 98553)>,
<-4, 1/3707*(-361*w + 819)>,
<-4, 1/2696*(-209*w - 1672)>,
<-12, 1/274*(-9*w + 283)>,
<-12, 1/52593*(-1664*w + 21489)>,
<-12, 1/2*(-w - 1)>,
<-4, 1/55*(-4*w + 79)>,
<-12, 1/115*(-18*w + 241)>,
<-12, 1/322*(-5*w + 35)>,
<-12, 1/337*(-4*w + 305)>,
<-12, 1/62133*(-1088*w + 48501)>,
<-12, 1/121*(-14*w + 233)>,
<-12, 1/423*(-38*w + 537)>,
<-12, 1/32*(-w - 7)>,
<-4, 1/274*(-13*w - 13)>,
<-4, 1/105*(-13*w + 287)>,
<-4, 1/20703*(-169*w + 15054)>,
<-4, 1/1781*(-130*w + 2870)>,
<-4, 1/42333*(-910*w + 7623)>,
<-6, 1/32*(-11*w + 76)>,
<-12, 1/33*(-8*w - 72)>,
<-12, 1/2224*(-11*w - 132)>,
<-12, 1/27*(-7*w - 28)>,
<-12, 1/165*(-4*w + 153)>,
<-12, 1/197*(-4*w + 44)>,
<-12, 1/10387*(-285*w + 1495)>,
<-12, 1/141*(-5*w + 156)>,
<-4, 1/22201*(-495*w + 12276)>,
<-12, 1/141*(-8*w + 24)>,
<-12, 1/13*(-8*w + 117)>,
<-4, 1/11458*(-273*w + 9261)>,
<-4, 1/4381*(-168*w + 5733)>,
<-4, 1/5729*(-52*w + 3965)>,
<-4, 1/8*(-w + 21)>,
<-12, 1/5*(-6*w - 67)>,
<-12, 1/125701*(-722*w + 127433)>,
<-12, 1/252*(-5*w + 267)>,
<-12, 1/22991*(-234*w + 5454)>,
<-12, 1/13*(-w - 2)>,
<-12, 1/1577*(-12*w + 1397)>,
<-12, 1/498*(-19*w + 285)>,
<-12, 1/38086*(-455*w + 28951)>,
<-4, 1/37401*(-136*w + 273)>,
<-4, 1/274*(-w + 273)>,
<-4, 1/529*(-16*w + 273)>,
<-4, 1/17*(-16*w + 273)>,
<-4, 1/8993*(-15*w + 8753)>,
<-4, 1/274*(-17*w + 257)>,
<-12, 1/105186*(-2023*w + 87567)>,
<-12, 1/289*(-w + 10)>,
<-12, 1/3384*(-289*w + 2517)>,
<-12, -w + 4>,
<-12, 1/417*(-8*w + 96)>,
<-12, 1/2363*(-3*w + 2399)>,
<-12, 1/100*(-11*w + 243)>,
<-12, 1/2890*(-209*w + 3726)>,
<-6, 1/81*(-19*w + 195)>,
<-12, 1/4071*(-56*w + 3336)>,
<-4, 1/309*(-7*w + 351)>,
<-4, 1/5253*(-70*w + 3510)>,
<-2, 1/83521*(-1800*w + 57825)>,
<-12, 1/39593*(-384*w + 4137)>,
<-12, 1/26373*(-896*w + 11781)>,
<-12, 1/208*(-9*w + 253)>,
<-12, 1/13583*(-280*w + 3143)>,
<-4, 1/32929*(-756*w + 988)>,
<-4, 1/8*(-w - 5)>,
<-4, 1/32*(-9*w + 104)>,
<-4, 1/21*(-w + 8)>,
<-12, 1/306*(-w + 13)>,
<-12, 1/9499*(-54*w + 9072)>,
<-12, 1/309*(-w - 6)>,
<-12, 1/274*(-w + 275)>,
<-12, 1/3288*(-289*w - 289)>,
<-12, 1/298*(-w + 293)>,
<-12, 1/361*(-9*w + 325)>,
<-6, 1/3536*(-361*w + 4693)>,
<-12, 1/437*(-4*w + 465)>,
<-12, 1/274*(-3*w + 271)>,
<-12, 1/831*(-128*w + 1087)>,
<-12, 1/56933*(-840*w + 38040)>,
<-12, 1/7003*(-156*w + 1972)>,
<-12, 1/324*(-13*w + 233)>,
<-12, 1/337*(-162*w + 1296)>,
<-12, 1/54257*(-162*w + 959)>,
<-12, 1/22043*(-510*w + 15113)>,
<-12, 1/282*(-17*w + 231)>,
<-12, 1/120513*(-2888*w + 115881)>,
<-12, 1/361*(-9*w + 108)>,
<-12, 1/2023*(-361*w + 579)>,
<-12, 1/6714*(-13*w - 130)>,
<-4, 1/19*(-w + 5)>,
<-4, 1/63*(-19*w + 266)>,
<-4, 1/18559*(-228*w + 12840)>,
<-4, 1/12*(-w + 14)>,
<-4, 1/1043*(-114*w - 570)>,
<-4, 1/228*(-7*w + 291)>,
<-4, 1/103321*(-4332*w + 91333)>,
<-4, 1/98058*(-2527*w + 105051)>,
<-4, 1/103321*(-1596*w + 69672)>
]