/* Defining polynomial */ x^2 - x + 257 /* GCD of coefficients */ 2 /* 24 * |disc|^(3/2) /(8*pi^2)* zeta_F(2) */ 11461.8493963591708083292779900 /* Belt */ [ <12, 1/80441*(1456*w + 25529)>, <60, 1/7*(w + 7)>, <292, 1/23*(w + 6)>, <76, 1/16*(w + 8)>, <88, 1/15*(w + 7)>, <120, 1/287*(11*w + 221)>, <6, 1/100*(17*w + 185)>, <54, 1/287*(17*w + 185)>, <36, 1/9*(w + 6)>, <12, 1/207*(14*w - 98)>, <76, 1/329*(16*w + 128)>, <36, 1/8*(w - 2)>, <36, 1/8*(w + 9)>, <108, 1/11*(w + 4)>, <108, 1/299*(11*w + 222)>, <114, 1/13*(w + 7)>, <24, 1/19*(w + 6)>, <114, 1/13*(w + 5)>, <24, 1/19*(w + 12)>, <36, 1/287*(10*w + 227)>, <12, 1/2770*(187*w + 3518)>, <36, 1/9*(w + 8)>, <12, 1/2961*(176*w - 1584)>, <24, 1/109733*(459*w + 4860)>, <24, 1/109733*(459*w + 104414)>, <24, 1/626*(15*w + 731)>, <6, 1/100751*(2890*w + 20120)>, <6, 1/259*(10*w + 269)>, <24, 1/3*(w + 1)>, <24, 1/1927*(30*w + 1462)>, <36, 1/269*(14*w + 213)>, <36, 1/15*(w + 11)>, <60, 1/16*(w + 6)>, <12, 1/5911*(112*w + 4000)>, <60, 1/7*w>, <60, 1/347*(16*w + 187)>, <24, 1/95053*(1683*w + 50116)>, <36, 1/299*(8*w + 243)>, <60, 1/313*(14*w + 98)>, <24, 1/9*(w + 7)>, <24, 1/1739*(32*w + 1216)>, <24, 1/3123*(187*w - 1870)>, <36, 1/299*(8*w + 48)>, <60, 1/313*(14*w + 201)>, <24, 1/259*(9*w + 241)>, <24, 1/32*(w + 38)>, <4, 1/1315*(238*w + 1791)>, <40, 1/263*(5*w + 248)>, <24, 1/259*(5*w - 10)>, <24, 1/259*(5*w + 264)>, <24, 1/7*(w + 8)>, <12, 1/329*(30*w - 270)>, <84, 1/299*(15*w + 194)>, <12, 1/322*(9*w - 63)>, <84, 1/329*(15*w + 194)>, <36, 1/14*(w + 10)>, <36, 1/389*(15*w + 165)>, <28, 1/389*(16*w + 197)>, <28, 1/277*(16*w + 197)>, <42, 1/10*(w + 3)>, <12, 1/6371*(132*w + 2664)>, <42, 1/269*(10*w + 30)>, <12, 1/6601*(132*w + 4104)>, <36, 1/299*(12*w + 215)>, <96, 1/329*(13*w + 212)>, <96, 1/277*(13*w + 212)>, <72, 1/287*(15*w + 197)>, <24, 1/80431*(816*w + 3999)>, <48, 1/313*(10*w + 70)>, <48, 1/10*(w + 7)>, <36, 1/10*(w + 4)>, <84, 1/269*(11*w + 225)>, <44, 1/263*(13*w + 26)>, <24, 1/224*(11*w + 257)>, <84, 1/313*(11*w + 225)>, <24, 1/107753*(1872*w + 23049)>, <24, 1/3601*(160*w - 800)>, <24, 1/117*(16*w + 197)>, <44, 1/367*(13*w + 130)>, <16, 1/198*(13*w + 224)>, <4, 1/102307*(2772*w + 12987)>, <4, 1/9*(w - 3)>, <4, 1/81*(14*w + 221)>, <8, 1/22*(w + 10)>, <12, 1/73759*(1326*w + 16962)>, <12, 1/6*(w + 5)>, <84, 1/329*(11*w + 88)>, <24, 1/143*(12*w + 227)>, <12, 1/85211*(2890*w + 69071)>, <12, 1/289*(3*w + 24)>, <12, 1/1036*(289*w + 1325)>, <84, 1/11*(w + 8)>, <24, 1/3756*(143*w + 4757)>, <72, 1/347*(15*w + 197)>, <24, 1/99973*(2464*w + 57568)>, <24, 1/789*(272*w + 1333)>, <176, 1/329*(17*w + 176)>, <156, 1/17*(w + 9)>, <36, 1/5899*(24*w - 240)>, <12, 1/195*(8*w - 56)>, <4, 1/263*(12*w - 36)>, <4, 1/119*(12*w + 287)>, <20, 1/263*(17*w + 34)>, <4, 1/129359*(1008*w + 91356)>, <20, 1/17*(w + 2)>, <4, 1/3156*(228*w + 5453)>, <4, 1/72851*(1596*w + 16079)>, <28, 1/7*(w + 2)>, <8, 1/40*(17*w + 176)>, <36, 1/15*(w + 10)>, <12, 1/5505*(52*w - 572)>, <12, 1/345*(8*w + 393)>, <60, 7/257*w>, <108, 1/299*(17*w + 102)>, <24, 1/209*(9*w - 36)>, <24, 1/3443*(160*w + 4563)>, <24, 1/5083*(90*w + 5623)>, <24, 1/89873*(1760*w + 50193)>, <24, 1/78637*(1881*w + 27432)>, <24, 1/90*(17*w + 192)>, <12, 1/4037*(136*w + 5397)>, <12, 1/257*(11*w + 246)>, <24, 1/323*(9*w + 296)>, <24, 1/84197*(1870*w + 38250)>, <54, 1/287*(17*w + 85)>, <24, 1/3157*(170*w - 1020)>, <24, 1/2367*(323*w + 1398)>, <108, 1/367*(17*w + 170)>, <48, 1/112*(15*w + 202)>, <24, 1/165*(13*w - 65)>, <48, 1/367*(16*w + 160)>, <24, 1/257*(11*w - 11)>, <12, 1/136*(11*w + 257)>, <24, 1/5321*(66*w + 5783)>, <24, 1/5321*(66*w - 528)>, <48, 1/367*(16*w + 191)>, <48, 1/4485*(112*w + 5157)>, <24, 1/3601*(165*w - 825)>, <12, 1/86527*(2288*w + 47840)>, <68, 1/277*(9*w + 36)>, <24, 1/347*(9*w + 81)>, <12, 1/176*(9*w - 90)>, <24, 1/6973*(33*w + 6610)>, <24, 1/120409*(627*w + 125590)>, <54, 1/277*(14*w + 56)>, <54, 1/347*(14*w + 126)>, <108, 1/7*(w + 5)>, <12, 1/1517*(34*w + 293)>, <108, 1/37*(w + 35)>, <24, 1/96521*(2040*w + 23336)>, <24, 1/165*(14*w - 70)>, <12, 1/91*(16*w - 112)>, <36, 1/9*(w + 2)>, <24, 1/2690*(209*w + 3317)>, <48, 1/120*(13*w + 224)>, <24, 1/14*(w + 2)>, <24, 1/263*(14*w + 28)>, <48, 1/96521*(1560*w + 26880)>, <24, 1/2690*(209*w - 836)>, <48, 1/4069*(126*w + 4951)>, <24, 1/187*(9*w + 241)>, <44, 1/259*(9*w + 268)>, <24, 1/32*(w + 35)>, <24, 1/168*(13*w + 233)>, <24, 1/98723*(2128*w + 8435)>, <24, 1/187*(9*w - 63)>, <48, 1/93343*(1638*w + 64363)>, <44, 1/367*(9*w + 268)>, <24, 1/32*(w - 4)>, <24, 1/1813*(304*w + 1205)>, <24, 1/168*(13*w - 78)>, <24, 1/75*(16*w + 187)>, <12, 1/1565*(238*w + 3231)>, <24, 1/5*(w - 3)>, <24, 1/5008*(75*w + 5533)>, <40, 1/269*(5*w + 15)>, <40, 1/259*(5*w + 5)>, <36, 1/6973*(32*w + 6621)>, <100, 1/367*(19*w + 190)>, <12, 1/1517*(30*w + 1050)>, <24, 1/255*(8*w - 32)>, <24, 1/1739*(34*w + 1292)>, <24, 1/277*(34*w - 170)>, <12, 1/11581*(252*w + 4581)>, <28, 1/7*(w + 4)>, <12, 1/20*(w + 11)>, <12, 1/15949*(119*w + 1295)>, <84, 1/41*(2*w + 29)>, <24, 1/3878*(165*w - 825)>, <24, 1/102307*(2448*w + 23427)>, <52, 1/13*(w + 1)>, <52, 1/259*(13*w + 13)>, <24, 1/272*(9*w - 18)>, <48, 1/269*(12*w + 221)>, <72, 1/7*(w + 3)>, <12, 1/102977*(1936*w + 78656)>, <22, 1/12*(w + 4)>, <48, 1/12*(w + 8)>, <30, 1/3731*(144*w + 4451)>, <12, 1/1927*(26*w + 377)>, <24, 1/272*(5*w + 297)>, <24, 1/257*(3*w - 3)>, <24, 1/3156*(221*w - 663)>, <24, 1/598*(17*w + 700)>, <12, 1/3766*(171*w + 4279)>, <72, 1/9*(w + 3)>, <72, 1/269*(9*w + 27)>, <12, 1/259*(10*w + 239)>, <12, 1/2961*(169*w + 4313)>, <24, 1/98723*(2002*w + 30459)>, <24, 1/224*(11*w - 33)>, <24, 1/143*(14*w + 213)>, <12, 1/259*(w + 260)>, <12, 1/72851*(1792*w + 9107)>, <12, 1/3*(w - 2)>, <12, 1/91261*(1428*w + 62820)>, <12, 1/347*(12*w + 227)>, <24, 1/5593*(44*w - 396)>, <4, 1/3670*(169*w + 5360)>, <8, 1/367*(22*w + 220)>, <16, 1/3367*(220*w + 3587)>, <4, 1/95053*(2574*w + 76648)>, <24, 1/5593*(44*w + 5945)>, <12, 1/5911*(102*w + 4369)>, <12, 1/6*(w - 1)>, <42, 1/13*(w + 3)>, <156, 1/17*(w + 7)>, <12, 1/289*(3*w + 289)>, <36, 1/313*(8*w + 56)>, <24, 1/4*(w - 1)>, <42, 1/269*(13*w + 39)>, <24, 1/96119*(1360*w + 80784)>, <24, 1/94319*(2464*w + 36751)>, <24, 1/3*(w - 1)>, <24, 1/221*(12*w - 36)>, <24, 1/1927*(34*w + 1400)>, <152, 1/347*(19*w + 171)>, <12, 1/2776*(195*w - 1950)>, <24, 1/3289*(180*w - 1260)>, <8, 1/3756*(133*w + 4687)>, <4, 1/389*(4*w + 44)>, <40, 1/389*(19*w + 209)>, <4, 1/86701*(2527*w + 89053)>, <4, 1/7391*(28*w + 6143)>, <8, 1/86701*(1596*w + 56244)>, <12, 1/2216*(225*w + 3116)>, <60, 1/313*(7*w + 49)>, <24, 1/180*(11*w - 77)>, <12, 1/86701*(3468*w + 62713)>, <12, 1/2*(w + 7)>, <12, 1/287*(w + 5)>, <24, 1/3443*(153*w + 4514)>, <24, 1/263*(10*w - 30)>, <24, 1/86527*(1683*w + 49654)>, <24, 1/10*(w - 3)>, <24, 1/323*(4*w + 12)>, <24, 1/323*(4*w + 307)>, <48, 1/277*(8*w + 32)>, <24, 1/2009*(255*w + 3284)>, <24, 1/255*(7*w + 290)>, <36, 1/7391*(48*w + 6815)>, <48, 1/269*(8*w + 24)>, <16, 1/198*(13*w - 39)>, <20, 1/389*(7*w + 305)>, <12, 1/1939*(340*w + 239)>, <24, 1/12839*(286*w + 6162)>, <24, 1/12839*(286*w + 6391)>, <12, 1/40*(w + 1)>, <48, 1/263*(8*w + 239)>, <24, 1/14227*(165*w + 11895)>, <24, 1/270*(7*w + 277)>, <60, 1/329*(18*w + 144)>, <12, 1/114401*(204*w + 116705)>, <12, 1/17*(w + 12)>, <24, 1/106141*(2496*w + 46848)>, <12, 1/347*(7*w + 277)>, <12, 1/70747*(256*w + 2651)>, <24, 1/3601*(192*w - 960)>, <24, 1/367*(12*w + 120)>, <6, 1/169*(10*w + 229)>, <24, 1/12*(w + 10)>, <100, 1/19*(w + 10)>, <24, 1/752*(9*w - 81)>, <24, 1/752*(9*w + 824)>, <24, 1/5*(w + 8)>, <12, 1/304*(5*w + 15)>, <12, 1/1315*(288*w + 576)>, <30, 1/89831*(1872*w + 57863)>, <84, 1/41*(2*w + 10)>, <24, 1/14227*(165*w + 2167)>, <48, 1/8*(w + 5)>, <12, 1/28*(w - 11)>, <24, 1/91261*(1890*w + 74790)>, <60, 1/347*(18*w + 162)>, <24, 1/74333*(1020*w + 6248)>, <24, 1/4208*(195*w + 4598)>, <6, 1/66563*(256*w + 515)>, <6, w + 1>, <4, 1/529*(10*w + 160)>, <24, 1/120953*(3120*w + 73568)>, <24, 1/74333*(1020*w + 67065)>, <12, 1/84197*(2112*w + 38885)>, <22, 1/12*(w + 7)>, <6, 1/86701*(2028*w + 36673)>, <24, 1/221*(9*w + 257)>, <24, 1/89179*(1989*w + 56797)>, <24, 1/257*(3*w + 254)>, <36, 1/277*(5*w + 252)>, <24, 272/771*w>, <36, 1/287*(12*w + 215)>, <4, 1/107753*(336*w + 4137)>, <20, 1/7*(w - 5)>, <4, 1/6224*(48*w + 6815)>, <4, 1/7391*(256*w + 3152)>, <4, 1/831*(304*w - 689)>, <4, 1/277*(3*w - 15)>, <16, 1/120409*(266*w - 2464)>, <16, 1/14*(19*w - 176)>, <36, 1/367*(15*w + 150)>, <24, 1/1108*(255*w - 1275)>, <12, 1/26*(17*w - 229)>, <24, 1/255*(4*w - 20)>, <12, 1/8441*(102*w + 7259)>, <24, 1/89873*(2244*w + 39281)>, <12, 1/289*(8*w + 257)>, <12, 1/1316*(289*w + 2312)>, <12, 1/88501*(1445*w + 4980)>, <24, 1/89873*(2244*w + 48348)>, <36, 1/257*(5*w + 252)>, <24, 1/263*(3*w + 254)>, <24, 3/272*w>, <8, 1/108241*(680*w + 7040)>, <24, 1/180*(11*w - 88)>, <36, 1/121757*(912*w + 129485)>, <40, 1/19*(w + 11)>, <36, 1/313*(8*w + 249)>, <12, 1/69133*(900*w + 11308)>, <24, 1/3443*(180*w - 1440)>, <24, 1/187*(10*w - 70)>, <12, 1/287*(2*w + 275)>, <12, 1/289*(w - 4)>, <24, 1/2990*(187*w - 1309)>, <24, 1/93343*(1976*w + 32984)>, <24, 1/263*(6*w + 12)>, <24, 1/6*(w + 2)>, <24, 1/269*(6*w + 287)>, <24, 1/269*(6*w - 24)>, <24, 1/1883*(221*w - 884)>, <24, 1/152*(13*w + 217)>, <24, 1/1883*(221*w + 2546)>, <24, 1/104*(15*w - 120)>, <24, 1/4695*(104*w - 832)>, <36, 1/18*(w + 10)>, <12, 1/94319*(1859*w + 41574)>, <24, 1/91133*(2080*w + 33920)>, <24, 1/18*(w + 5)>, <24, 1/11*(w + 1)>, <24, 1/263*(36*w - 108)>, <12, 1/111097*(208*w + 108224)>, <12, 1/413*(16*w + 205)>, <24, 1/94319*(2470*w + 28370)>, <6, 1/93343*(1300*w + 70343)>, <24, 1/2590*(247*w + 2837)>, <24, 1/1739*(38*w + 1444)>, <24, 1/1739*(38*w + 257)>, <12, 1/120743*(475*w + 3950)>, <24, 1/413*(18*w + 179)>, <24, 1/11*(w + 9)>, <12, 1/574*(19*w + 669)>, <24, 1/36*(w - 3)>, <24, 1/4305*(143*w - 858)>, <24, 1/4*(w + 1)>, <8, w>, <2, 1/66049*(256*w + 65536)>, <12, 1/15*(w + 14)>, <12, 1/7005*(32*w - 480)>, <4, 1/17*(w + 3)>, <4, 1/20*(17*w + 221)>, <8, 1/4573*(150*w - 600)>, <4, 1/34*(15*w + 229)>, <8, 1/150*(17*w - 68)>, <16, 1/439*(15*w + 229)>, <4, 1/259*(2*w - 4)>, <4, 1/538*(255*w - 1020)>, <24, 1/4305*(143*w + 5020)>, <24, 1/263*(4*w + 251)>, <24, 1/4277*(108*w - 972)>, <24, 1/84553*(1989*w + 54808)>, <24, 1/221*(9*w + 248)>, <24, 1/5*(w - 1)>, <24, 1/329*(3*w + 24)>, <8, 1/102977*(912*w + 91520)>, <4, 1/2*(w + 10)>, <4, 1/6251*(57*w + 5720)>, <4, 1/108241*(114*w + 119681)>, <8, 1/5264*(57*w + 5720)>, <24, 1/95053*(2244*w + 43945)>, <24, 1/187*(12*w + 235)>, <12, 1/289*(13*w + 224)>, <12, 1/367*(6*w + 60)>, <12, 1/2*(w + 4)>, <12, 1/84197*(1156*w + 81209)>, <12, 1/6*(w + 7)>, <24, 1/257*(5*w - 5)>, <24, 1/3*(w + 8)>, <4, 1/18*(w + 6)>, <8, 1/414*(5*w - 35)>, <16, 1/90*(13*w + 233)>, <4, 1/25*(18*w + 198)>, <4, 1/324*(5*w + 55)>, <4, 1/3887*(324*w + 1619)>, <8, 1/65*(18*w - 126)>, <4, 1/115*(18*w - 126)>, <4, 1/97969*(1320*w + 16984)>, <12, 1/104641*(660*w + 94785)>, <24, 1/94319*(1870*w + 44390)>, <24, 1/10*(17*w - 187)>, <24, 1/94319*(1870*w + 48059)>, <24, 1/91261*(1547*w + 28497)>, <24, 1/329*(6*w + 48)>, <24, 1/329*(6*w + 275)>, <24, 1/2303*(221*w + 4071)>, <12, 1/127981*(3380*w + 25181)>, <12, 1/329*(8*w + 257)>, <24, 1/270*(11*w + 270)>, <12, 1/347*(10*w + 90)>, <12, 1/247*(10*w + 247)>, <36, 1/257*(9*w + 248)>, <12, 1/105329*(1710*w + 106704)>, <12, 1/5*(w + 10)>, <24, 1/2827*(270*w + 2827)>, <24, 1/413*(13*w + 156)>, <8, 1/257*(2*w + 255)>, <4, 1/4144*(225*w + 4369)>, <4, 1/259*(17*w + 17)>, <4, 1/3855*(272*w + 3583)>, <4, 1/257*(15*w - 15)>, <4, 1/66563*(510*w + 65025)>, <8, 1/259*(2*w + 255)>, <24, 1/413*(13*w + 244)>, <24, 1/272*(5*w - 45)>, <12, 1/259*(6*w + 247)>, <12, 1/2*(w + 6)>, <12, 1/289*(5*w + 20)>, <24, 1/1645*(272*w - 2448)>, <8, 1/69671*(1170*w + 10235)>, <4, 1/11*(w + 14)>, <4, 1/18*(w + 14)>, <4, 1/4842*(234*w + 2047)>, <4, 1/72361*(2574*w + 94878)>, <8, 1/1345*(234*w + 2047)>, <36, 1/313*(18*w + 169)>, <12, 1/114871*(198*w - 2057)>, <12, 1/71743*(1014*w + 28986)>, <12, 1/18*(w + 13)>, <24, 1/252*(5*w + 257)>, <12, 1/89179*(2394*w + 18423)>, <24, 1/10537*(180*w + 9252)>, <12, 1/257*(13*w - 13)>, <12, 13/270*w>, <6, 1/96119*(1134*w + 78218)>, <12, 1/324*(w + 3)>, <12, 1/1285*(252*w - 252)>, <2, 1/196*(9*w + 232)>, <12, 1/5*(18*w - 180)>, <12, 1/1735*(252*w + 4003)>, <12, 1/277*(5*w + 297)>, <-12, 1/80441*(-1456*w + 26985)>, <-6, 1/100*(-17*w + 202)>, <-12, 1/207*(-14*w - 84)>, <-12, 1/2770*(-187*w + 3705)>, <-12, 1/2961*(-176*w - 1408)>, <-6, 1/100751*(-2890*w + 23010)>, <-6, 1/259*(-10*w + 279)>, <-12, 1/5911*(-112*w + 4112)>, <-4, 1/1315*(-238*w + 2029)>, <-24, 1/7*(-w + 9)>, <-12, 1/329*(-30*w - 240)>, <-12, 1/322*(-9*w - 54)>, <-12, 1/6371*(-132*w + 2796)>, <-12, 1/6601*(-132*w + 4236)>, <-4, 1/102307*(-2772*w + 15759)>, <-4, 1/9*(-w - 2)>, <-4, 1/81*(-14*w + 235)>, <-12, 1/73759*(-1326*w + 18288)>, <-12, 1/6*(-w + 6)>, <-12, 1/85211*(-2890*w + 71961)>, <-12, 1/289*(-3*w + 27)>, <-12, 1/1036*(-289*w + 1614)>, <-36, 1/5899*(-24*w - 216)>, <-12, 1/195*(-8*w - 48)>, <-4, 1/263*(-12*w - 24)>, <-4, 1/119*(-12*w + 299)>, <-4, 1/129359*(-1008*w + 92364)>, <-4, 1/3156*(-228*w + 5681)>, <-4, 1/72851*(-1596*w + 17675)>, <-12, 1/5505*(-52*w - 520)>, <-12, 1/345*(-8*w + 401)>, <-12, 1/4037*(-136*w + 5533)>, <-12, 1/257*(-11*w + 257)>, <-24, -11/257*w>, <-12, 1/136*(-11*w + 268)>, <-12, 1/86527*(-2288*w + 50128)>, <-24, 1/347*(-9*w + 90)>, <-12, 1/176*(-9*w - 81)>, <-12, 1/1517*(-34*w + 327)>, <-12, 1/91*(-16*w - 96)>, <-12, 1/1565*(-238*w + 3469)>, <-24, 1/5*(-w - 2)>, <-36, 1/6973*(-32*w + 6653)>, <-12, 1/1517*(-30*w + 1080)>, <-12, 1/11581*(-252*w + 4833)>, <-12, 1/20*(-w + 12)>, <-12, 1/15949*(-119*w + 1414)>, <-12, 1/102977*(-1936*w + 80592)>, <-12, 1/1927*(-26*w + 403)>, <-12, 1/3766*(-171*w + 4450)>, <-12, 1/259*(-10*w + 249)>, <-12, 1/2961*(-169*w + 4482)>, <-12, 1/259*(-w + 261)>, <-12, 1/72851*(-1792*w + 10899)>, <-12, 1/3*(-w - 1)>, <-12, 1/91261*(-1428*w + 64248)>, <-12, 1/347*(-12*w + 239)>, <-4, 1/3670*(-169*w + 5529)>, <-16, 1/3367*(-220*w + 3807)>, <-4, 1/95053*(-2574*w + 79222)>, <-12, 1/5911*(-102*w + 4471)>, <-12, -1/6*w>, <-12, 1/289*(-3*w + 292)>, <-24, -1/4*w>, <-12, 1/2776*(-195*w - 1755)>, <-4, 1/389*(-4*w + 48)>, <-4, 1/86701*(-2527*w + 91580)>, <-4, 1/7391*(-28*w + 6171)>, <-12, 1/2216*(-225*w + 3341)>, <-12, 1/86701*(-3468*w + 66181)>, <-12, 1/2*(-w + 8)>, <-12, 1/287*(-w + 6)>, <-12, 1/1939*(-340*w + 579)>, <-12, 1/40*(-w + 2)>, <-12, 1/114401*(-204*w + 116909)>, <-12, 1/17*(-w + 13)>, <-12, 1/347*(-7*w + 284)>, <-12, 1/70747*(-256*w + 2907)>, <-6, 1/169*(-10*w + 239)>, <-24, 1/5*(-w + 9)>, <-12, 1/304*(-5*w + 20)>, <-12, 1/1315*(-288*w + 864)>, <-12, 1/28*(-w - 10)>, <-6, 1/66563*(-256*w + 771)>, <-6, -w + 2>, <-4, 1/529*(-10*w + 170)>, <-12, 1/84197*(-2112*w + 40997)>, <-6, 1/86701*(-2028*w + 38701)>, <-4, 1/107753*(-336*w + 4473)>, <-4, 1/6224*(-48*w + 6863)>, <-4, 1/7391*(-256*w + 3408)>, <-4, 1/831*(-304*w - 385)>, <-4, 1/277*(-3*w - 12)>, <-12, 1/26*(-17*w - 212)>, <-12, 1/8441*(-102*w + 7361)>, <-12, 1/289*(-8*w + 265)>, <-12, 1/1316*(-289*w + 2601)>, <-12, 1/88501*(-1445*w + 6425)>, <-12, 1/69133*(-900*w + 12208)>, <-12, 1/287*(-2*w + 277)>, <-12, 1/289*(-w - 3)>, <-12, 1/94319*(-1859*w + 43433)>, <-12, 1/111097*(-208*w + 108432)>, <-12, 1/413*(-16*w + 221)>, <-6, 1/93343*(-1300*w + 71643)>, <-12, 1/120743*(-475*w + 4425)>, <-12, 1/574*(-19*w + 688)>, <-2, 1/66049*(-256*w + 65792)>, <-12, 1/15*(-w + 15)>, <-12, 1/7005*(-32*w - 448)>, <-4, 1/17*(-w + 4)>, <-4, 1/20*(-17*w + 238)>, <-4, 1/34*(-15*w + 244)>, <-16, 1/439*(-15*w + 244)>, <-4, 1/259*(-2*w - 2)>, <-4, 1/538*(-255*w - 765)>, <-24, 1/4277*(-108*w - 864)>, <-4, 1/2*(-w + 11)>, <-4, 1/6251*(-57*w + 5777)>, <-4, 1/108241*(-114*w + 119795)>, <-12, 1/289*(-13*w + 237)>, <-12, 1/367*(-6*w + 66)>, <-12, 1/2*(-w + 5)>, <-12, 1/84197*(-1156*w + 82365)>, <-12, 1/6*(-w + 8)>, <-4, 1/18*(-w + 7)>, <-16, 1/90*(-13*w + 246)>, <-4, 1/25*(-18*w + 216)>, <-4, 1/324*(-5*w + 60)>, <-4, 1/3887*(-324*w + 1943)>, <-4, 1/115*(-18*w - 108)>, <-4, 1/97969*(-1320*w + 18304)>, <-12, 1/104641*(-660*w + 95445)>, <-24, 1/10*(-17*w - 170)>, <-12, 1/127981*(-3380*w + 28561)>, <-12, 1/329*(-8*w + 265)>, <-12, 1/347*(-10*w + 100)>, <-12, 1/247*(-10*w + 257)>, <-12, 1/105329*(-1710*w + 108414)>, <-12, 1/5*(-w + 11)>, <-4, 1/4144*(-225*w + 4594)>, <-4, 1/259*(-17*w + 34)>, <-4, 1/3855*(-272*w + 3855)>, <-4, -15/257*w>, <-4, 1/66563*(-510*w + 65535)>, <-12, 1/259*(-6*w + 253)>, <-12, 1/2*(-w + 7)>, <-12, 1/289*(-5*w + 25)>, <-4, 1/11*(-w + 15)>, <-4, 1/18*(-w + 15)>, <-4, 1/4842*(-234*w + 2281)>, <-4, 1/72361*(-2574*w + 97452)>, <-12, 1/114871*(-198*w - 1859)>, <-12, 1/71743*(-1014*w + 30000)>, <-12, 1/18*(-w + 14)>, <-12, 1/89179*(-2394*w + 20817)>, <-12, -13/257*w>, <-12, 1/270*(-13*w + 13)>, <-6, 1/96119*(-1134*w + 79352)>, <-12, 1/324*(-w + 4)>, <-12, -252/1285*w>, <-2, 1/196*(-9*w + 241)>, <-12, 1/5*(-18*w - 162)>, <-12, 1/1735*(-252*w + 4255)>, <-12, 1/277*(-5*w + 302)> ]