/* Defining polynomial */
x^2 + 257
/* GCD of coefficients */
1
/* 24 * |disc|^(3/2) /(8*pi^2)* zeta_F(2) */
18234.1106238842588011361491842
/* Belt */
[
<192, 1/13*(w + 4)>,
<192, 1/26*(w + 17)>,
<24, 1/221*(9*w + 257)>,
<24, 1/6682*(153*w + 4369)>,
<24, 1/9*(w + 17)>,
<204, 1/47*(2*w + 10)>,
<36, 1/7*(w + 8)>,
<36, 1/7*(w - 1)>,
<204, 1/12*(w + 5)>,
<48, 1/126*(13*w - 91)>,
<48, 1/5029*(91*w + 3510)>,
<24, 1/107*(3*w + 131)>,
<24, 1/765*(16*w + 877)>,
<198, 1/107*(5*w + 67)>,
<24, 1/273*(4*w + 257)>,
<36, 1/8*(w + 8)>,
<12, 4/289*w>,
<36, 1/257*(8*w + 257)>,
<12, 1/9737*(300*w + 4112)>,
<24, 1/4*w>,
<24, 1/6579*(140*w + 4375)>,
<132, 1/43*(w + 42)>,
<564, 1/18*(w + 11)>,
<12, 1/6*w>,
<12, 1/75301*(1326*w + 56797)>,
<564, 1/17*(w + 10)>,
<72, 1/293*(14*w + 84)>,
<208, 1/153*(7*w + 49)>,
<72, 1/293*(14*w + 209)>,
<132, 1/47*(w + 42)>,
<24, 1/6579*(140*w + 2204)>,
<24, 1/282*(5*w + 307)>,
<12, 1/4277*(96*w + 1749)>,
<132, 1/91*(3*w + 12)>,
<24, 1/357*(5*w + 307)>,
<168, 1/338*(17*w + 153)>,
<168, 1/338*(17*w + 185)>,
<60, 1/29*(w + 31)>,
<60, 1/29*(w - 2)>,
<60, 1/11*(w + 9)>,
<60, 1/107*(4*w + 75)>,
<60, 1/306*(7*w + 49)>,
<36, 1/261*(5*w + 10)>,
<180, 1/9*(w + 7)>,
<36, 1/5*(w + 2)>,
<60, 1/306*(7*w + 257)>,
<24, 1/423*(34*w + 593)>,
<60, 1/47*(3*w + 15)>,
<48, 1/258*(7*w + 251)>,
<48, 1/1269*(8*w + 1168)>,
<198, 1/15*(w + 7)>,
<24, 1/252*(5*w - 5)>,
<24, 1/252*(5*w + 257)>,
<48, 1/1269*(8*w + 101)>,
<48, 1/119*(3*w + 89)>,
<12, 1/39321*(728*w + 26728)>,
<48, 1/7*(w + 6)>,
<24, 1/8*(w + 9)>,
<24, 1/987*(17*w + 103)>,
<24, 1/731*(13*w + 159)>,
<72, 1/107*(6*w + 48)>,
<60, 1/15*(w + 6)>,
<24, 1/114*(5*w - 10)>,
<72, 1/119*(6*w + 60)>,
<24, 1/435*(38*w - 76)>,
<24, 1/94*(13*w + 159)>,
<24, 1/129*(4*w + 133)>,
<24, 1/86*(17*w + 103)>,
<144, 1/338*(19*w + 171)>,
<144, 1/19*(w + 9)>,
<24, 1/963*(65*w - 520)>,
<24, 1/963*(65*w + 1483)>,
<60, 1/338*(15*w + 203)>,
<24, 1/408*(35*w + 653)>,
<60, 1/189*(2*w + 167)>,
<84, 1/51*(w + 44)>,
<84, 1/43*(w + 44)>,
<24, 1/7267*(140*w + 2612)>,
<24, 1/203*(4*w + 124)>,
<60, 1/18*(w + 5)>,
<60, 1/7*(w + 5)>,
<72, 1/13*(w + 8)>,
<12, 1/45261*(988*w + 16492)>,
<60, 1/282*(7*w + 35)>,
<24, 1/4601*(102*w + 1779)>,
<60, 1/261*(11*w + 239)>,
<60, 1/91*(4*w + 75)>,
<132, 1/91*(3*w + 79)>,
<24, 1/54249*(272*w + 2960)>,
<200, 1/169*(9*w + 81)>,
<96, 1/15*(w + 11)>,
<36, 1/945*(8*w - 88)>,
<24, 1/25*(2*w - 16)>,
<24, 1/642*(25*w - 200)>,
<48, 1/9*(w - 1)>,
<24, 1/203*(4*w + 79)>,
<180, 1/9*(w + 2)>,
<24, 1/153*(4*w + 8)>,
<24, 1/24*(w - 3)>,
<48, 1/845*(12*w - 108)>,
<48, 1/171*(2*w + 139)>,
<72, 1/2873*(19*w + 3040)>,
<24, 1/1172*(55*w - 330)>,
<24, 1/110754*(935*w + 100249)>,
<12, 1/2079*(68*w + 2827)>,
<24, 1/257*(11*w + 257)>,
<24, 1/110754*(935*w + 10505)>,
<72, 1/2961*(40*w + 505)>,
<156, 1/169*(7*w + 106)>,
<136, 1/141*(5*w + 116)>,
<72, 1/2961*(40*w + 2456)>,
<12, 1/1859*(70*w + 2489)>,
<156, 1/14*(w + 5)>,
<72, 1/266*(13*w + 39)>,
<72, 1/357*(13*w + 130)>,
<24, 1/879*(65*w - 390)>,
<24, 1/65*(3*w - 18)>,
<108, 1/119*(5*w + 69)>,
<24, 1/1197*(20*w + 472)>,
<24, 1/105*(4*w - 40)>,
<108, 1/15*(w + 5)>,
<48, 1/289*(4*w + 317)>,
<48, 1/293*(12*w + 221)>,
<48, 1/6153*(68*w + 5389)>,
<144, 1/293*(13*w + 78)>,
<144, 1/306*(13*w + 91)>,
<24, 1/1172*(55*w + 1502)>,
<24, 1/24*(w + 27)>,
<24, 1/116*(17*w + 34)>,
<48, 1/845*(12*w + 953)>,
<72, 1/2873*(19*w - 167)>,
<48, 1/6*(w - 10)>,
<36, 1/5*(w - 3)>,
<24, 1/2023*(19*w - 48)>,
<24, 1/2028*(5*w - 45)>,
<24, 1/16*(w + 12)>,
<12, 1/42907*(540*w + 4347)>,
<12, 1/7*(w + 11)>,
<12, 1/189*(16*w - 176)>,
<72, 1/6*(w + 3)>,
<24, 1/7943*(133*w + 5929)>,
<36, 1/321*(5*w + 281)>,
<12, 1/401*(9*w + 293)>,
<12, 1/1197*(160*w + 717)>,
<24, 1/2028*(5*w + 2073)>,
<24, 1/47*(19*w - 48)>,
<24, 1/7943*(133*w + 2014)>,
<24, 1/688*(95*w + 593)>,
<24, 1/688*(95*w + 95)>,
<24, 1/321*(10*w + 241)>,
<12, 1/128721*(2420*w + 19481)>,
<24, 1/401*(14*w + 233)>,
<72, 1/107*(3*w + 83)>,
<24, 1/387*(40*w + 427)>,
<12, 1/39*(4*w - 40)>,
<36, 1/119*(4*w + 40)>,
<48, 1/8*(w + 16)>,
<60, 1/19*(w + 8)>,
<48, 1/40*(19*w + 209)>,
<48, 1/321*(8*w + 385)>,
<24, 1/2193*(40*w + 1760)>,
<24, 1/2193*(40*w + 433)>,
<156, 1/16*(w + 7)>,
<24, 1/1547*(16*w + 1520)>,
<12, 1/43433*(792*w + 22616)>,
<36, 1/9*w>,
<156, 1/153*(8*w + 56)>,
<24, 1/1547*(16*w + 27)>,
<72, 1/107*(3*w + 24)>,
<24, 1/47*(2*w - 10)>,
<48, 1/12*(w + 9)>,
<24, 1/102*(w + 99)>,
<24, 1/52*(5*w + 77)>,
<24, 1/3053*(90*w + 1028)>,
<24, 1/301*(6*w + 178)>,
<48, 1/180*(11*w - 77)>,
<24, 1/182*(11*w + 226)>,
<48, 1/8*(w + 1)>,
<24, 1/470*(33*w + 635)>,
<72, 1/282*(13*w + 217)>,
<40, 1/401*(17*w + 204)>,
<24, 1/23829*(448*w + 17045)>,
<72, 1/293*(16*w + 197)>,
<24, 1/15827*(351*w + 9698)>,
<36, 1/261*(5*w + 271)>,
<24, 1/162*(13*w - 65)>,
<24, 1/221*(8*w + 245)>,
<36, 1/306*(5*w + 271)>,
<24, 1/2128*(221*w + 2791)>,
<24, 1/7267*(165*w + 3175)>,
<24, 1/33*(2*w + 41)>,
<48, 1/187*(10*w - 70)>,
<48, 1/129*(4*w + 4)>,
<24, 1/301*(6*w + 123)>,
<12, 1/57*(w + 5)>,
<12, 1/47*(w - 5)>,
<24, 1/5029*(51*w + 5049)>,
<24, 2/45*w>,
<24, 1/52*(5*w - 25)>,
<108, 1/306*(11*w + 229)>,
<108, 1/273*(11*w + 229)>,
<24, 1/13*(2*w + 31)>,
<24, 1/8*(w + 2)>,
<24, 1/49517*(735*w + 39570)>,
<24, 1/261*(40*w - 80)>,
<24, 1/261*(40*w + 341)>,
<24, 1/293*(8*w + 245)>,
<24, 1/49517*(735*w + 9947)>,
<24, 1/91*(6*w + 115)>,
<24, 1/13*(2*w - 18)>,
<24, 1/7943*(102*w + 7701)>,
<24, 1/37797*(595*w + 31297)>,
<60, 1/43*(2*w + 41)>,
<24, 1/266*(39*w + 383)>,
<72, 1/141*(4*w + 121)>,
<72, 1/8*(w + 3)>,
<24, 1/2021*(39*w + 383)>,
<24, 1/153*(2*w + 151)>,
<24, 1/705*(119*w - 595)>,
<60, 1/43*(2*w + 2)>,
<20, 1/2397*(56*w + 2677)>,
<40, 1/401*(17*w + 197)>,
<24, 1/4698*(65*w + 3523)>,
<36, 1/119*(4*w + 79)>,
<24, 1/221*(5*w + 271)>,
<72, 1/357*(16*w + 197)>,
<24, 1/2051*(64*w + 2435)>,
<24, 1/5457*(80*w + 4385)>,
<120, 1/11*(w + 6)>,
<12, 1/4883*(169*w + 4883)>,
<24, 11/257*w>,
<48, 1/133*(6*w + 115)>,
<24, 1/247*(6*w + 115)>,
<24, 1/47*(2*w + 57)>,
<120, 1/293*(11*w + 66)>,
<60, 1/321*(19*w + 152)>,
<48, 1/3591*(20*w + 220)>,
<24, 1/493*(10*w + 223)>,
<108, 1/133*(5*w + 15)>,
<24, 1/7*(w + 16)>,
<24, 1/129*(5*w + 134)>,
<36, 1/3*(w + 4)>,
<24, 1/189*(5*w + 134)>,
<36, 1/86*(w + 87)>,
<24, 1/893*(20*w + 288)>,
<96, 1/126*(5*w + 55)>,
<36, 1/16*(5*w - 55)>,
<76, 1/321*(16*w + 193)>,
<6, 1/214*(25*w + 414)>,
<18, 1/107*(2*w + 16)>,
<24, 1/51*(w + 41)>,
<24, 1/893*(20*w + 605)>,
<24, 1/51*(w + 10)>,
<108, 1/153*(5*w + 35)>,
<24, 1/7*(w - 9)>,
<72, 1/293*(9*w + 54)>,
<84, 1/321*(11*w + 233)>,
<60, 1/141*(8*w + 101)>,
<48, 1/20*(w + 10)>,
<24, 1/169*(3*w + 142)>,
<24, 1/103057*(2652*w + 46260)>,
<24, 1/103057*(2652*w + 56797)>,
<24, 1/6*(w - 3)>,
<12, 1/32*(w - 3)>,
<144, 1/38*(w + 3)>,
<12, 1/1463*(100*w + 1763)>,
<72, 1/293*(9*w + 239)>,
<60, 1/141*(8*w + 40)>,
<84, 1/11*(w + 3)>,
<6, 1/169*(8*w + 241)>,
<36, 1/338*(9*w + 257)>,
<24, 1/91749*(2470*w + 63479)>,
<36, 1/266*(15*w + 45)>,
<24, 1/47481*(715*w + 12485)>,
<24, 1/129*(2*w + 88)>,
<12, 1/51729*(1540*w + 37660)>,
<24, 1/11*(w + 12)>,
<24, 1/129*(2*w + 41)>,
<24, 1/91749*(2470*w + 28270)>,
<24, 1/47481*(715*w + 34996)>,
<36, 1/401*(15*w + 180)>,
<24, 1/180*(13*w - 65)>,
<60, 1/221*(8*w + 277)>,
<24, 1/180*(13*w + 245)>,
<132, 1/19*(w + 3)>,
<12, 1/13*(w - 3)>,
<132, 1/27*(w + 11)>,
<24, 1/5*(w - 11)>,
<12, 1/62901*(238*w + 66079)>,
<12, 1/17*(w + 15)>,
<24, 1/856*(11*w + 944)>,
<24, 1/8619*(88*w + 7552)>,
<24, 1/15351*(352*w + 7904)>,
<24, 1/15379*(240*w + 1315)>,
<24, 1/32*(w + 31)>,
<24, 1/129*(16*w + 113)>,
<24, 1/187*(9*w + 250)>,
<24, 1/4901*(99*w + 2750)>,
<24, 1/116*(13*w + 142)>,
<24, 1/215*(48*w + 263)>,
<24, 1/15351*(352*w + 7447)>,
<24, 1/2193*(52*w + 568)>,
<24, 1/43*(5*w + 48)>,
<24, 1/14231*(286*w + 8173)>,
<48, 1/293*(10*w + 60)>,
<24, 1/8178*(85*w + 7565)>,
<24, 1/257*(13*w + 257)>,
<24, 1/2709*(55*w + 1235)>,
<24, 1/9737*(220*w + 5612)>,
<48, 1/85*(2*w - 14)>,
<24, 1/39*(5*w - 30)>,
<24, 1/141*(w + 146)>,
<60, 1/5481*(104*w + 3601)>,
<24, 1/2709*(55*w + 1474)>,
<12, 1/12*(5*w + 67)>,
<24, 1/85*(w + 89)>,
<24, 13/257*w>,
<24, 1/9309*(170*w + 1574)>,
<24, 1/22477*(408*w + 19312)>,
<24, 1/22477*(408*w + 3165)>,
<24, 1/9309*(170*w + 7735)>,
<144, 1/7*(w + 3)>,
<60, 1/87*(w + 85)>,
<24, 1/329*(40*w - 200)>,
<24, 1/493*(11*w + 297)>,
<24, 1/731*(14*w + 616)>,
<24, 1/42*(w + 44)>,
<60, 1/86*(w + 85)>,
<24, 1/329*(40*w + 529)>,
<48, 1/129*(2*w + 131)>,
<24, 1/5031*(85*w + 730)>,
<24, 1/43*(2*w - 2)>,
<24, 1/9443*(255*w + 7548)>,
<24, 1/136*(13*w + 227)>,
<24, 1/136*(13*w - 91)>,
<24, 1/9443*(255*w + 1895)>,
<48, 1/141*(2*w + 131)>,
<24, 1/5031*(85*w + 4301)>,
<24, 1/43*(2*w + 45)>,
<12, 1/104661*(4046*w + 67337)>,
<12, 1/8*(w + 12)>,
<12, 1/273*(2*w + 8)>,
<24, 1/65*(w - 9)>,
<12, 1/188*(9*w + 233)>,
<24, 1/441*(5*w + 71)>,
<12, 1/9309*(190*w + 664)>,
<24, 1/2*(w + 7)>,
<24, 1/1465*(39*w - 234)>,
<48, 1/36*(5*w - 35)>,
<12, 1/98658*(2717*w + 49115)>,
<24, 1/13*(w + 11)>,
<24, 1/493*(11*w + 196)>,
<24, 1/14231*(286*w + 6058)>,
<24, 1/55*(4*w - 20)>,
<48, 1/293*(10*w + 233)>,
<24, 1/189*(10*w + 299)>,
<24, 1/43*(5*w - 5)>,
<48, 1/57*(w + 41)>,
<24, 1/1692*(85*w - 425)>,
<36, 1/169*(5*w + 124)>,
<36, 1/129*(5*w + 124)>,
<36, 1/39*(2*w + 31)>,
<24, 1/63*(20*w - 157)>,
<24, 1/120*(w + 109)>,
<30, 1/273*(8*w + 241)>,
<6, 1/2639*(50*w + 564)>,
<54, 1/6*(w + 4)>,
<24, 1/20*(w - 7)>,
<36, 1/39*(2*w + 8)>,
<24, 1/85*(6*w - 30)>,
<48, 1/9*(w - 7)>,
<24, 1/513*(11*w + 337)>,
<24, 1/88*(5*w - 30)>,
<24, 1/10*(w + 17)>,
<24, 1/19383*(340*w + 15283)>,
<24, 1/338*(5*w + 293)>,
<24, 1/9737*(204*w + 5912)>,
<24, 1/282*(5*w + 257)>,
<24, 1/6939*(176*w + 2827)>,
<24, 1/34*(w + 43)>,
<12, 1/45*(w + 44)>,
<6, 1/535*(9*w + 607)>,
<24, 1/32*(w + 41)>,
<24, 1/18753*(136*w + 257)>,
<24, 1/399*(40*w - 120)>,
<24, 1/399*(40*w + 519)>,
<24, 1/136*w>,
<24, 1/169*(16*w + 313)>,
<24, 1/338*(5*w + 45)>,
<24, 1/1172*(51*w + 1478)>,
<24, 1/19383*(340*w + 4100)>,
<24, 1/153*(5*w + 188)>,
<24, 1/88*(5*w + 118)>,
<24, 1/169*(17*w + 322)>,
<24, 1/5*w>,
<24, 1/6939*(176*w + 4112)>,
<24, 1/11*(w - 5)>,
<24, 1/21801*(532*w + 4112)>,
<24, 1/559*(12*w + 399)>,
<12, 1/169*(4*w - 36)>,
<24, 1/117*(4*w + 133)>,
<24, 1/1028*(133*w + 1028)>,
<60, 1/11*(w + 10)>,
<60, 1/258*(11*w + 247)>,
<12, 1/39*(2*w - 2)>,
<12, 1/261*(14*w + 289)>,
<24, 1/105*(8*w + 121)>,
<12, 1/61937*(240*w + 57825)>,
<12, 1/482*(15*w + 257)>,
<24, 1/10363*(280*w + 4235)>,
<24, 1/258*(5*w + 5)>,
<12, 1/4901*(126*w + 4950)>,
<36, 1/2*(w + 9)>,
<4, 1/133*(8*w + 24)>,
<4, 1/5*(8*w + 109)>,
<8, 1/133*(5*w - 15)>,
<4, 1/133*(128*w + 1877)>,
<8, 1/10*(w - 3)>,
<4, 1/3621*(128*w + 1877)>,
<4, 1/36309*(136*w - 275)>,
<4, w - 3>,
<8, 1/28561*(63*w + 616)>,
<24, 1/273*(5*w + 20)>,
<24, 1/321*(2*w + 337)>,
<24, 1/87*(2*w + 62)>,
<24, 1/195*(11*w - 44)>,
<24, 1/293*(11*w + 359)>,
<24, 1/1419*(136*w - 136)>,
<54, 1/91*(2*w + 8)>,
<24, 1/17*(w + 4)>,
<24, 1/34*(5*w - 35)>,
<24, 1/288*(5*w + 323)>,
<24, 1/85*(16*w + 197)>,
<24, 1/17*(2*w - 14)>,
<24, 1/426*(17*w + 205)>,
<24, 1/117*(2*w + 86)>,
<24, 1/1419*(136*w + 1555)>,
<24, 1/94*(w + 89)>,
<24, 1/214*(5*w - 40)>,
<24, 1/329*(36*w + 509)>,
<12, 1/29*(6*w + 12)>,
<24, 1/12599*(252*w + 3563)>,
<12, 1/119*(w + 109)>,
<24, 1/87*(w + 89)>,
<24, 1/214*(5*w + 254)>,
<48, 1/133*(2*w + 127)>,
<48, 1/129*(2*w + 127)>,
<6, 1/293*(2*w + 12)>,
<6, 1/546*(289*w + 1156)>,
<6, 1/7569*(100*w + 1244)>,
<12, 1/51*(5*w - 20)>,
<36, 1/153*(w + 160)>,
<24, 1/329*(5*w + 260)>,
<24, 1/2262*(55*w + 1067)>,
<24, 1/293*(11*w - 66)>,
<24, 1/357*(2*w + 337)>,
<24, 1/87*(2*w + 25)>,
<24, 1/12*(w + 16)>,
<12, 1/25857*(200*w + 23432)>,
<12, 1/2907*(70*w + 1255)>,
<24, 1/535*(28*w - 224)>,
<24, 1/84*(5*w - 40)>,
<24, 1/85*(w + 95)>,
<24, 1/189*(10*w - 110)>,
<24, 1/21*(5*w + 71)>,
<24, 1/171*(4*w + 64)>,
<24, 1/10*(w + 16)>,
<24, 1/3*(w + 3)>,
<24, 1/289*(w - 10)>,
<24, 1/4601*(120*w + 1281)>,
<36, 1/133*(w + 130)>,
<12, 1/117493*(1386*w + 103248)>,
<12, 1/293*(18*w + 185)>,
<36, 1/129*(w + 130)>,
<24, 1/5274*(17*w + 191)>,
<24, 1/3*w>,
<24, 1/10*(w - 6)>,
<4, 1/23409*(385*w + 5720)>,
<24, 1/51729*(1001*w + 32864)>,
<12, 1/714*(11*w + 824)>,
<24, 1/51729*(1001*w + 18865)>,
<12, 1/5614*(65*w - 780)>,
<24, 1/312*(11*w + 356)>,
<24, 1/77*(8*w + 109)>,
<24, 1/14*(w + 13)>,
<6, 1/258*(w + 257)>,
<6, 1/33153*(128*w + 257)>,
<36, 1/2*(w + 1)>,
<24, 1/213*(7*w + 91)>,
<12, 1/153*(128*w + 1049)>,
<24, 1/258*(5*w + 263)>,
<24, 1/104*(5*w + 124)>,
<36, 1/357*(w + 367)>,
<72, 1/378*(17*w + 191)>,
<4, 1/272*(w + 277)>,
<4, 1/109473*(4624*w + 60401)>,
<4, 1/76986*(289*w + 80053)>,
<4, 1/109473*(272*w + 105920)>,
<4, 1/7*(17*w + 204)>,
<20, 1/2397*(56*w - 280)>,
<24, 1/104*(5*w - 20)>,
<24, 1/5*(w + 6)>,
<72, 1/17*(w + 6)>,
<24, 1/58*(15*w + 88)>,
<24, 1/586*(25*w + 736)>,
<24, 1/85*(w + 87)>,
<12, 1/289*(4*w + 269)>,
<12, 1/2051*(289*w + 1734)>,
<12, 1/82626*(289*w - 317)>,
<24, 1/261*(85*w + 431)>,
<12, 1/1995*(88*w + 2259)>,
<24, 1/4601*(84*w + 1421)>,
<12, 1/18847*(378*w + 17118)>,
<24, 1/4601*(84*w + 3180)>,
<36, 1/357*(w - 10)>,
<24, 1/153*(2*w + 139)>,
<24, 1/4*(w - 3)>,
<6, 1/2*(w - 6)>,
<6, 1/94053*(578*w + 88145)>,
<12, 1/261*(4*w + 269)>,
<12, 1/293*(25*w + 443)>,
<24, 1/586*(25*w - 150)>,
<24, 1/135*(2*w + 139)>,
<24, 1/5*(w + 16)>,
<24, 1/85*(4*w + 125)>,
<24, 1/85*(4*w - 40)>,
<60, 1/4*(w - 7)>,
<12, 1/705*(22*w - 110)>,
<24, 1/273*(16*w + 209)>,
<12, 1/34486*(825*w + 14311)>,
<24, 1/38969*(408*w + 1569)>,
<6, 1/5408*(49*w + 5849)>,
<24, 1/387*(136*w + 523)>,
<1, 1/74529*(1672*w + 50369)>,
<1, 1/273*(11*w + 317)>,
<2, 1/19*(w + 4)>,
<1, 1/65793*(484*w + 22684)>,
<1, 1/65793*(836*w + 24092)>,
<1, 1/3856*(209*w + 6023)>,
<1, 1/131586*(2299*w + 23837)>,
<2, 1/273*(19*w + 76)>,
<16, 1/401*(19*w + 173)>,
<16, 1/55*(19*w - 173)>,
<12, 1/258*(w + 259)>,
<12, 1/34713*(640*w + 2585)>,
<24, 1/1465*(104*w + 2089)>,
<12, 1/26649*(104*w + 25336)>,
<12, 1/261*(4*w + 253)>,
<6, 1/7*(w + 9)>,
<6, 1/289*(7*w + 14)>,
<24, 1/1833*(85*w + 2258)>,
<24, 1/1465*(104*w - 624)>,
<24, 1/1833*(85*w - 425)>,
<24, 1/91*(w + 95)>,
<12, 1/293*(4*w + 317)>,
<12, w - 6>,
<24, 1/102*(w + 95)>,
<24, 1/7*(6*w + 66)>,
<12, 1/5117*(198*w + 4446)>,
<12, 1/54*(w + 10)>,
<12, 1/43*(18*w + 61)>,
<24, 1/324*(w + 11)>,
<12, 1/49517*(510*w + 42615)>,
<24, 1/387*(10*w + 182)>,
<12, 1/3451*(100*w + 1476)>,
<24, 1/76*(5*w + 91)>,
<24, 1/3483*(85*w + 1205)>,
<12, 1/41409*(952*w + 36040)>,
<24, 1/190*(17*w + 241)>,
<4, 1/152*(11*w + 229)>,
<4, 1/109473*(2888*w + 110105)>,
<4, 1/83538*(3971*w + 82669)>,
<4, 1/109473*(1672*w + 45728)>,
<8, 1/40*(19*w - 133)>,
<16, 1/55*(19*w + 228)>,
<16, 1/401*(19*w + 228)>,
<8, 1/2907*(20*w - 140)>,
<12, 1/321*(128*w + 1345)>,
<12, 1/221*(10*w - 20)>,
<24, 1/126*(w + 115)>,
<24, 1/107*(w + 115)>,
<12, 1/1926*(11*w + 2014)>,
<24, 1/3053*(70*w + 1575)>,
<12, 1/15*(w + 13)>,
<12, 1/355*(2*w - 26)>,
<24, 1/3053*(70*w + 1478)>,
<12, 1/1290*(119*w + 1409)>,
<4, 1/65*(16*w + 193)>,
<12, 1/2197*(50*w + 2647)>,
<24, 1/7943*(90*w + 1148)>,
<12, 6*w - 59>,
<24, 1/214*(45*w + 574)>,
<12, 1/7*(3*w - 32)>,
<4, 1/91*(5*w + 116)>,
<12, 1/162*(7*w + 106)>,
<12, 1/169*(54*w + 486)>,
<12, 1/18083*(54*w + 317)>,
<8, 1/7*(9*w + 88)>,
<-12, -4/289*w>,
<-12, 1/9737*(-300*w + 4112)>,
<-12, -1/6*w>,
<-12, 1/75301*(-1326*w + 56797)>,
<-12, 1/4277*(-96*w + 1749)>,
<-12, 1/39321*(-728*w + 26728)>,
<-12, 1/45261*(-988*w + 16492)>,
<-24, 1/54249*(-272*w + 2960)>,
<-12, 1/2079*(-68*w + 2827)>,
<-12, 1/1859*(-70*w + 2489)>,
<-12, 1/42907*(-540*w + 4347)>,
<-12, 1/7*(-w + 11)>,
<-12, 1/189*(-16*w - 176)>,
<-12, 1/401*(-9*w + 293)>,
<-12, 1/1197*(-160*w + 717)>,
<-24, 1/321*(-10*w + 241)>,
<-12, 1/128721*(-2420*w + 19481)>,
<-24, 1/401*(-14*w + 233)>,
<-12, 1/39*(-4*w - 40)>,
<-12, 1/43433*(-792*w + 22616)>,
<-12, 1/57*(-w + 5)>,
<-12, 1/47*(-w - 5)>,
<-12, 1/4883*(-169*w + 4883)>,
<-6, 1/214*(-25*w + 414)>,
<-18, 1/107*(-2*w + 16)>,
<-12, 1/32*(-w - 3)>,
<-12, 1/1463*(-100*w + 1763)>,
<-6, 1/169*(-8*w + 241)>,
<-12, 1/51729*(-1540*w + 37660)>,
<-24, 1/11*(-w + 12)>,
<-12, 1/13*(-w - 3)>,
<-12, 1/62901*(-238*w + 66079)>,
<-12, 1/17*(-w + 15)>,
<-12, 1/12*(-5*w + 67)>,
<-12, 1/104661*(-4046*w + 67337)>,
<-12, 1/8*(-w + 12)>,
<-12, 1/273*(-2*w + 8)>,
<-12, 1/188*(-9*w + 233)>,
<-12, 1/9309*(-190*w + 664)>,
<-12, 1/98658*(-2717*w + 49115)>,
<-24, 1/13*(-w + 11)>,
<-6, 1/2639*(-50*w + 564)>,
<-12, 1/45*(-w + 44)>,
<-6, 1/535*(-9*w + 607)>,
<-12, 1/169*(-4*w - 36)>,
<-12, 1/39*(-2*w - 2)>,
<-12, 1/261*(-14*w + 289)>,
<-12, 1/61937*(-240*w + 57825)>,
<-12, 1/482*(-15*w + 257)>,
<-12, 1/4901*(-126*w + 4950)>,
<-4, 1/133*(-8*w + 24)>,
<-4, 1/5*(-8*w + 109)>,
<-4, 1/133*(-128*w + 1877)>,
<-4, 1/3621*(-128*w + 1877)>,
<-4, 1/36309*(-136*w - 275)>,
<-4, -w - 3>,
<-12, 1/29*(-6*w + 12)>,
<-12, 1/119*(-w + 109)>,
<-6, 1/293*(-2*w + 12)>,
<-6, 1/546*(-289*w + 1156)>,
<-6, 1/7569*(-100*w + 1244)>,
<-12, 1/51*(-5*w - 20)>,
<-12, 1/25857*(-200*w + 23432)>,
<-12, 1/2907*(-70*w + 1255)>,
<-12, 1/117493*(-1386*w + 103248)>,
<-12, 1/293*(-18*w + 185)>,
<-4, 1/23409*(-385*w + 5720)>,
<-12, 1/714*(-11*w + 824)>,
<-12, 1/5614*(-65*w - 780)>,
<-6, 1/258*(-w + 257)>,
<-6, 1/33153*(-128*w + 257)>,
<-12, 1/153*(-128*w + 1049)>,
<-4, 1/272*(-w + 277)>,
<-4, 1/109473*(-4624*w + 60401)>,
<-4, 1/76986*(-289*w + 80053)>,
<-4, 1/109473*(-272*w + 105920)>,
<-4, 1/7*(-17*w + 204)>,
<-12, 1/289*(-4*w + 269)>,
<-12, 1/2051*(-289*w + 1734)>,
<-12, 1/82626*(-289*w - 317)>,
<-12, 1/1995*(-88*w + 2259)>,
<-12, 1/18847*(-378*w + 17118)>,
<-6, 1/2*(-w - 6)>,
<-6, 1/94053*(-578*w + 88145)>,
<-12, 1/261*(-4*w + 269)>,
<-12, 1/293*(-25*w + 443)>,
<-12, 1/705*(-22*w - 110)>,
<-12, 1/34486*(-825*w + 14311)>,
<-6, 1/5408*(-49*w + 5849)>,
<-1, 1/74529*(-1672*w + 50369)>,
<-1, 1/273*(-11*w + 317)>,
<-1, 1/65793*(-484*w + 22684)>,
<-1, 1/65793*(-836*w + 24092)>,
<-1, 1/3856*(-209*w + 6023)>,
<-1, 1/131586*(-2299*w + 23837)>,
<-12, 1/258*(-w + 259)>,
<-12, 1/34713*(-640*w + 2585)>,
<-12, 1/26649*(-104*w + 25336)>,
<-6, 1/7*(-w + 9)>,
<-6, 1/289*(-7*w + 14)>,
<-12, 1/293*(-4*w + 317)>,
<-12, -w - 6>,
<-12, 1/5117*(-198*w + 4446)>,
<-12, 1/54*(-w + 10)>,
<-12, 1/43*(-18*w + 61)>,
<-12, 1/49517*(-510*w + 42615)>,
<-12, 1/3451*(-100*w + 1476)>,
<-12, 1/41409*(-952*w + 36040)>,
<-4, 1/152*(-11*w + 229)>,
<-4, 1/109473*(-2888*w + 110105)>,
<-4, 1/83538*(-3971*w + 82669)>,
<-4, 1/109473*(-1672*w + 45728)>,
<-12, 1/321*(-128*w + 1345)>,
<-12, 1/221*(-10*w - 20)>,
<-12, 1/1926*(-11*w + 2014)>,
<-12, 1/15*(-w + 13)>,
<-12, 1/355*(-2*w - 26)>,
<-12, 1/1290*(-119*w + 1409)>,
<-4, 1/65*(-16*w + 193)>,
<-12, 1/2197*(-50*w + 2647)>,
<-12, -6*w - 59>,
<-12, 1/7*(-3*w - 32)>,
<-4, 1/91*(-5*w + 116)>,
<-12, 1/162*(-7*w + 106)>,
<-12, 1/169*(-54*w + 486)>,
<-12, 1/18083*(-54*w + 317)>
]