/* Defining polynomial */ x^2 - x + 451 /* GCD of coefficients */ 1 /* 24 * |disc|^(3/2) /(8*pi^2)* zeta_F(2) */ 29268.1041637897368004247832789 /* Belt */ [ <144, 1/157*(3*w + 142)>, <96, 1/493*(15*w + 388)>, <46, 1/16*(w + 5)>, <10, 1/89947*(1200*w + 28875)>, <328, 1/187*(7*w + 70)>, <96, 1/523*(15*w + 388)>, <40, 1/471*(14*w + 401)>, <12, 1/84937*(1610*w + 37212)>, <180, 1/561*(19*w + 190)>, <180, 1/19*(w + 10)>, <24, 1/33127*(462*w + 6639)>, <24, 1/33127*(462*w + 26026)>, <184, 1/633*(23*w + 299)>, <12, 1/196*(15*w - 210)>, <88, 1/481*(19*w + 367)>, <84, 1/17*(w + 11)>, <24, 1/9911*(192*w - 2304)>, <24, 1/523*(32*w - 288)>, <300, 1/17*(w + 10)>, <300, 1/29*(w + 22)>, <192, 1/541*(19*w + 351)>, <6, 1/266713*(1452*w + 17937)>, <6, 1/3*(w + 9)>, <24, 1/281041*(4080*w + 175216)>, <24, 1/523*(32*w + 779)>, <228, 1/51*(2*w + 29)>, <24, 1/281041*(4080*w + 101745)>, <228, 1/51*(2*w + 20)>, <12, 1/7322*(285*w + 9602)>, <36, 1/481*(14*w + 397)>, <96, 1/523*(16*w + 379)>, <96, 1/523*(16*w + 128)>, <60, 1/633*(22*w + 325)>, <12, 9/460*w>, <48, 1/451*(9*w - 9)>, <60, 1/523*(22*w + 325)>, <12, 1/9*(w - 5)>, <12, 1/1413*(184*w + 736)>, <24, 1/14*(w - 9)>, <24, 1/5889*(425*w + 6314)>, <106, 1/541*(21*w + 189)>, <12, 1/121*(20*w + 341)>, <24, 1/425*(13*w + 438)>, <166, 1/523*(17*w + 136)>, <24, 1/14*(w + 22)>, <30, 1/15*(w + 9)>, <6, 1/8115*(256*w - 2560)>, <24, 1/15*(w - 8)>, <24, 1/425*(13*w + 451)>, <24, 1/293079*(3536*w + 207383)>, <60, 1/583*(15*w + 403)>, <48, 1/493*(5*w + 30)>, <68, 9/451*w>, <144, 1/25*(w + 12)>, <68, 1/9*w>, <24, 1/285483*(5525*w + 191675)>, <24, 1/9911*(208*w + 12199)>, <36, 1/463*(14*w + 42)>, <12, 1/225*(17*w + 395)>, <120, 1/187*(8*w + 99)>, <60, 1/463*(15*w + 403)>, <156, 1/157*(5*w + 20)>, <24, 1/112*(5*w - 25)>, <48, 1/5*(w + 6)>, <12, 1/180*(19*w + 351)>, <24, 1/3451*(418*w + 5959)>, <24, 1/236919*(2926*w + 41713)>, <88, 1/19*(w + 13)>, <24, 1/169*(5*w - 40)>, <46, 1/16*(w + 10)>, <108, 1/523*(13*w + 104)>, <24, 1/20017*(330*w + 8602)>, <24, 1/286*(15*w + 391)>, <108, 1/13*(w + 8)>, <104, 1/11*(w + 5)>, <12, 1/285483*(6118*w + 190969)>, <24, 1/14*(w + 13)>, <108, 1/11*(w + 11)>, <24, 1/123*(2*w + 41)>, <108, 1/53*(w + 11)>, <24, 1/29*(2*w + 41)>, <132, 1/11*(w + 10)>, <12, 1/2091*(40*w + 1600)>, <12, 1/42*(w + 41)>, <4, 1/471*(22*w + 88)>, <4, 1/16654*(13*w + 221)>, <8, 1/273*(22*w - 110)>, <4, 1/15897*(22*w + 16271)>, <4, 1/757*(484*w + 8228)>, <8, 1/3454*(91*w - 455)>, <4, 1/350491*(10164*w + 156891)>, <4, 1/462*(w - 5)>, <24, 1/11533*(132*w + 13117)>, <96, 1/607*(19*w + 228)>, <132, 1/41*(w + 40)>, <44, 1/481*(5*w + 451)>, <84, 1/583*(17*w + 187)>, <108, 1/463*(13*w + 39)>, <48, 1/40*(23*w + 316)>, <48, 1/8*(w - 1)>, <256, 1/13*(w + 5)>, <256, 1/37*(w + 5)>, <48, 1/345703*(920*w + 12640)>, <48, 1/451*(8*w - 8)>, <140, 1/493*(13*w + 78)>, <12, 1/246333*(6292*w + 196504)>, <24, 1/3*(w + 8)>, <12, 1/481*(w + 5)>, <44, 1/451*(5*w + 451)>, <248, 1/583*(23*w + 253)>, <48, 1/471*(16*w + 391)>, <48, 1/471*(16*w + 64)>, <108, 1/13*(w + 3)>, <24, 1/2173*(38*w + 1558)>, <48, 1/451*(9*w + 451)>, <72, 1/493*(14*w + 395)>, <6, 1/1389*(484*w - 547)>, <6, 1/493*(3*w + 472)>, <64, 1/463*(7*w + 21)>, <12, 1/187*(10*w - 110)>, <24, 1/463*(38*w - 152)>, <24, 1/493*(12*w + 409)>, <12, 1/12*(w + 17)>, <12, 1/625*(11*w + 55)>, <72, 1/14*(w + 7)>, <24, 1/25*(w - 7)>, <240, 1/169*(5*w + 129)>, <24, 1/493*(25*w - 175)>, <84, 1/607*(24*w + 288)>, <12, 1/451*(3*w + 448)>, <12, 44/369*w>, <84, 1/607*(24*w + 295)>, <12, 1/328387*(1254*w + 308836)>, <108, 1/607*(22*w + 321)>, <12, 1/269929*(3570*w + 170445)>, <88, 1/523*(23*w + 316)>, <88, 1/523*(23*w + 184)>, <24, 1/266431*(4275*w + 36531)>, <108, 1/17*(w + 4)>, <196, 1/607*(23*w + 276)>, <24, 1/247*(6*w + 289)>, <24, 1/702*(19*w + 835)>, <24, 1/221*(20*w - 160)>, <36, 1/453*(13*w + 13)>, <24, 1/2091*(38*w + 533)>, <24, 1/437*(14*w - 28)>, <24, 1/217893*(2926*w + 183502)>, <108, 1/541*(22*w + 321)>, <24, 1/57*(7*w + 113)>, <24, 1/451*(12*w - 12)>, <184, 1/633*(23*w + 311)>, <24, 1/290*(23*w - 161)>, <24, 1/290*(23*w + 428)>, <12, 1/13949*(204*w + 6792)>, <12, 1/269929*(3192*w + 194313)>, <36, 1/8*(w - 4)>, <24, 1/3661*(57*w + 4117)>, <24, 1/12*(w - 1)>, <24, 1/266431*(4275*w + 225625)>, <196, 1/23*(w + 12)>, <108, 1/607*(17*w + 386)>, <12, 1/303501*(7220*w + 173180)>, <12, 1/10*(w - 1)>, <24, 1/780*(17*w - 136)>, <24, 1/7807*(114*w + 5491)>, <24, 1/247*(18*w + 373)>, <36, 1/453*(13*w + 427)>, <24, 1/38*(w - 3)>, <24, 1/298111*(6118*w + 94906)>, <24, 1/3241*(418*w - 1672)>, <36, 1/607*(20*w + 240)>, <24, 1/187*(18*w + 367)>, <24, 1/32*(w - 10)>, <24, 1/6945*(391*w + 8118)>, <24, 1/437*(8*w - 112)>, <24, 1/161*(5*w + 156)>, <24, 1/17603*(190*w + 13813)>, <24, 1/627*(10*w + 727)>, <144, 1/21*(w + 12)>, <24, 1/95161*(1729*w + 33449)>, <144, 1/187*(6*w + 121)>, <144, 1/187*(6*w + 60)>, <48, 1/19*(w + 15)>, <12, 1/13129*(102*w - 1632)>, <12, 1/9139*(272*w + 10499)>, <40, 1/633*(16*w + 409)>, <72, 1/457*(9*w + 18)>, <24, 1/189*(19*w - 190)>, <24, 1/187*(18*w - 198)>, <24, 1/2173*(32*w + 829)>, <156, 1/187*(5*w + 50)>, <24, 1/2255*(161*w + 2094)>, <24, 1/5064*(437*w - 6118)>, <24, 1/298111*(5865*w + 121770)>, <24, 1/189*(19*w + 360)>, <40, 1/16*(w + 2)>, <72, 1/493*(9*w + 54)>, <24, 1/323*(5*w - 55)>, <24, 1/481*(36*w - 216)>, <48, 1/451*(5*w + 446)>, <24, 1/463*(20*w + 383)>, <12, 1/4820*(21*w + 5156)>, <24, 1/118813*(276*w + 122797)>, <48, 1/23*(w + 16)>, <24, 1/399*(13*w - 65)>, <24, 1/323*(5*w + 373)>, <48, 5/451*w>, <24, 1/36*(w - 6)>, <144, 1/607*(21*w + 252)>, <36, 1/20*(w + 12)>, <96, 1/607*(19*w + 360)>, <168, 1/583*(19*w + 355)>, <168, 1/583*(19*w + 209)>, <22, 1/315403*(2100*w + 280203)>, <4, 1/89947*(760*w + 76912)>, <16, 1/5*(w - 6)>, <40, 1/101491*(760*w + 14680)>, <8, 1/4488*(19*w - 209)>, <28, 1/5064*(5*w + 65)>, <8, 1/19*(8*w - 88)>, <120, 1/24*(w + 13)>, <12, 1/625*(6*w + 571)>, <6, 1/11237*(625*w + 8750)>, <12, 1/175*(2*w + 8)>, <24, 1/157*(2*w - 10)>, <48, 1/457*(17*w + 34)>, <48, 1/17*(w + 2)>, <72, 1/11*(w + 7)>, <12, 1/1859*(114*w - 912)>, <24, 1/451*(3*w + 451)>, <12, 1/287*(44*w - 44)>, <64, 1/471*(7*w + 436)>, <64, 1/457*(7*w + 436)>, <12, 1/4328*(27*w - 270)>, <60, 1/541*(20*w + 341)>, <96, 1/211*(5*w + 65)>, <12, 1/136*(5*w + 141)>, <24, 1/4*w>, <120, 1/661*(19*w + 376)>, <112, 1/25*(w + 11)>, <96, 1/15*(w + 13)>, <24, 1/418*(9*w - 81)>, <48, 1/463*(5*w + 15)>, <40, 1/691*(21*w + 355)>, <24, 1/313023*(4522*w + 111454)>, <24, 475/4961*w>, <40, 1/21*(w + 5)>, <24, 1/9197*(266*w - 2660)>, <24, 1/4961*(475*w + 4486)>, <24, 1/315787*(5434*w + 201894)>, <48, 1/151*(w + 152)>, <24, 1/607*(14*w + 425)>, <24, 1/7065*(391*w + 8629)>, <12, 1/420*(11*w + 431)>, <108, 1/541*(11*w + 99)>, <48, 1/3*(w + 4)>, <24, 1/311641*(5865*w + 129435)>, <24, 1/607*(14*w + 168)>, <168, 1/541*(17*w + 371)>, <24, 1/2873*(84*w + 3461)>, <12, 1/182*(17*w - 221)>, <60, 1/493*(16*w + 381)>, <12, 1/266713*(4560*w + 153568)>, <12, 1/16*(w + 22)>, <24, 1/418*(13*w + 483)>, <168, 1/507*(17*w + 371)>, <24, 1/195*(22*w + 349)>, <24, 1/418*(9*w + 490)>, <48, 1/453*(5*w + 5)>, <24, 1/195*(22*w - 176)>, <112, 1/25*(w + 13)>, <6, 1/234*(17*w + 370)>, <1, 1/273529*(2106*w - 98973)>, <1, 1/6813*(153*w - 10268)>, <6, 1/523*(26*w + 289)>, <1, 1/395911*(3978*w + 128943)>, <6, 1/757*(26*w + 289)>, <1, 1/9*(w + 17)>, <120, 1/661*(19*w + 266)>, <24, 1/4*(w + 3)>, <24, 1/102*(5*w - 35)>, <36, 1/457*(14*w + 415)>, <24, 5/528*w>, <12, 1/110353*(286*w + 4225)>, <24, 48/205*w>, <60, 1/157*(6*w + 24)>, <120, 1/157*(4*w + 137)>, <16, 1/40*(7*w + 110)>, <48, 1/4114*(35*w + 4464)>, <24, 1/153*(20*w + 353)>, <24, 1/463*(3*w + 451)>, <12, 1/400*(17*w + 451)>, <12, 1/463*(21*w + 379)>, <24, 1/6119*(60*w + 1059)>, <48, 1/110353*(770*w + 98208)>, <120, 1/169*(4*w + 137)>, <24, 1/145*(6*w - 42)>, <36, 1/583*(14*w + 415)>, <12, 1/250483*(3822*w + 125827)>, <60, 1/18*(w + 4)>, <24, 1/453*(40*w + 493)>, <38, 1/9*(w + 3)>, <24, 1/299433*(5720*w + 205040)>, <72, 1/607*(26*w + 312)>, <48, 1/17186*(95*w + 1330)>, <24, 1/451*(161*w + 451)>, <24, 1/161*(w + 161)>, <24, 1/273*(16*w - 128)>, <192, 1/211*(7*w + 113)>, <48, 1/507*(8*w + 56)>, <24, 1/293403*(3800*w + 219203)>, <48, 1/8*(w + 7)>, <24, 1/208*(7*w - 56)>, <192, 1/169*(7*w + 113)>, <24, 1/867*(19*w - 209)>, <24, 1/224*(19*w - 171)>, <24, 1/247*(16*w - 160)>, <30, 1/15*(w + 5)>, <24, 1/224*(19*w + 376)>, <24, 1/274593*(3952*w + 174064)>, <24, 1/867*(19*w + 1057)>, <12, 1/154*(w + 1)>, <36, 1/16*(w + 1)>, <4, 5/456*w>, <4, 1/8569*(432*w + 8569)>, <4, 19/451*w>, <4, 1/357643*(6498*w + 162811)>, <24, 1/481*(24*w + 120)>, <36, 1/453*(16*w + 16)>, <48, 1/493*(7*w + 444)>, <24, 1/507*(34*w + 745)>, <12, 1/451*(15*w + 436)>, <12, 1/3966*(361*w + 9020)>, <16, 1/661*(20*w + 280)>, <48, 1/451*(7*w + 444)>, <30, 1/583*(18*w + 367)>, <30, 1/493*(18*w + 367)>, <24, 1/2173*(34*w + 745)>, <12, 1/8118*(361*w + 8118)>, <24, 10/451*w>, <24, 1/451*(10*w + 441)>, <6, 1/541*(441*w + 4510)>, <24, 1/27*(w + 10)>, <24, 1/56*(9*w + 144)>, <24, 1/2173*(40*w + 493)>, <4, 1/463*(w + 459)>, <4, 1/457*(462*w - 929)>, <4, 1/362401*(7392*w + 138688)>, <4, 1/463*(22*w + 66)>, <4, 1/211591*(441*w + 8731)>, <4, 1/16*(w + 18)>, <16, 1/457*(21*w + 42)>, <24, 1/3549*(64*w + 3997)>, <38, 1/463*(9*w + 27)>, <24, 1/440*(13*w + 466)>, <48, 1/5*(w + 2)>, <72, 1/607*(26*w + 269)>, <36, 1/471*(8*w + 431)>, <12, 1/72691*(1064*w + 14304)>, <112, 1/11*(w + 6)>, <12, 1/237133*(4332*w + 147649)>, <48, 1/471*(10*w + 40)>, <48, 1/17186*(95*w + 15761)>, <24, 1/35659*(350*w + 5650)>, <24, 1/35659*(350*w + 29659)>, <24, 1/30957*(115*w + 29302)>, <24, 1/24531*(230*w + 1025)>, <24, 1/262933*(4692*w + 171649)>, <36, 1/481*(18*w + 373)>, <24, 1/242149*(2415*w + 8860)>, <60, 1/3*(w + 1)>, <72, 1/20*(w + 11)>, <24, 1/25567*(336*w + 5680)>, <24, 1/16*(w - 1)>, <12, 1/935*(147*w + 2405)>, <24, 1/187*(2*w + 20)>, <24, 1/208*(21*w + 355)>, <24, 1/451*(16*w - 16)>, <16, 1/4301*(26*w + 4561)>, <24, 1/2255*(483*w + 1772)>, <72, 1/523*(20*w + 343)>, <24, 1/33127*(525*w + 29575)>, <48, 1/4081*(36*w + 4477)>, <48, 1/151*(2*w + 2)>, <24, 1/175*(3*w + 169)>, <48, 1/6*(w + 1)>, <4, 1/493*(25*w + 150)>, <4, 1/19825*(132*w + 2376)>, <8, 1/168*(25*w - 175)>, <4, 1/11102*(275*w + 16052)>, <8, 1/12325*(168*w - 1176)>, <4, 1/793*(14*w + 252)>, <112, 1/11*(w + 4)>, <4, 1/350*(11*w - 77)>, <40, 1/541*(25*w + 291)>, <40, 1/373831*(2100*w - 26544)>, <12, 1/481*(3*w + 463)>, <12, 1/484*(w - 3)>, <24, 1/1219*(5*w + 1274)>, <24, 1/85*(6*w + 127)>, <24, 1/85*(6*w - 48)>, <24, 1/205*(46*w + 205)>, <24, 1/391*(12*w + 439)>, <48, 1/35659*(252*w + 31339)>, <36, 1/607*(18*w + 373)>, <24, 1/4*(w + 4)>, <24, 1/689*(28*w - 336)>, <24, 1/25953*(364*w + 12628)>, <12, 1/8797*(330*w + 9787)>, <12, 1/583*(30*w + 913)>, <12, 1/4225*(44*w + 4533)>, <36, 1/757*(25*w + 307)>, <36, 1/757*(25*w + 425)>, <106, 1/583*(21*w + 231)>, <24, 1/552*(5*w + 542)>, <12, 1/901*(6*w + 808)>, <16, 1/481*(23*w + 115)>, <8, 1/228*(23*w - 138)>, <4, 1/342921*(1748*w + 38180)>, <16, 1/17411*(48*w + 816)>, <4, 1/3028*(529*w + 8993)>, <4, 1/342921*(10051*w + 113335)>, <8, 1/11063*(228*w - 1368)>, <4, 1/437*(4*w - 24)>, <24, 1/755*(184*w + 387)>, <24, 1/18*(25*w - 307)>, <24, 1/368449*(450*w - 5526)>, <24, 1/19351*(322*w + 9131)>, <96, 1/691*(23*w + 323)>, <24, 1/451*(4*w + 451)>, <24, 1/546*(23*w - 184)>, <96, 1/23*(w + 7)>, <48, 1/453*(10*w + 433)>, <24, 1/451*(12*w + 439)>, <24, 1/277399*(4370*w + 64580)>, <24, 1/3171*(437*w + 3608)>, <24, 1/1413*(133*w + 1945)>, <36, 1/661*(22*w + 331)>, <24, 1/143*(20*w - 220)>, <96, 1/13*(w + 2)>, <24, 1/236919*(3220*w + 211600)>, <48, 1/457*(7*w + 471)>, <24, 1/342453*(805*w + 330763)>, <36, 1/607*(7*w + 516)>, <96, 1/9*(w + 1)>, <48, 1/453*(8*w + 437)>, <24, 1/1510*(161*w - 322)>, <24, 1/1510*(161*w + 1671)>, <48, 1/493*(8*w + 437)>, <24, 1/243991*(3910*w + 67650)>, <24, 1/243991*(3910*w + 172431)>, <12, 1/299251*(3174*w + 279841)>, <12, 1/529*(6*w + 72)>, <12, 1/6409*(529*w + 2706)>, <12, 1/319*(4*w + 227)>, <96, 1/9*(w + 7)>, <48, 1/453*(10*w + 10)>, <24, 1/12*(w + 11)>, <24, 1/277399*(4370*w + 208449)>, <24, 1/437*(7*w + 444)>, <24, 1/2983*(100*w + 3383)>, <24, 1/1413*(133*w - 665)>, <36, 1/22*(w + 7)>, <24, 1/561*(8*w + 80)>, <12, 1/361*(12*w - 132)>, <46, 1/661*(25*w + 286)>, <24, 1/27719*(260*w + 23000)>, <96, 1/561*(13*w + 418)>, <24, 1/236919*(3220*w + 22099)>, <24, 1/35*(23*w - 299)>, <48, 1/457*(7*w - 21)>, <36, 1/7*(w - 6)>, <48, 1/37837*(560*w + 27517)>, <24, 1/380*(11*w - 55)>, <48, 1/273757*(4680*w + 111397)>, <48, 1/507*(7*w + 49)>, <24, 1/661*(18*w + 391)>, <24, 1/8321*(112*w + 5472)>, <24, 1/633*(7*w + 91)>, <48, 1/723*(23*w + 368)>, <60, 1/151*(4*w + 155)>, <48, 1/463*(10*w + 423)>, <24, 1/323*(14*w - 98)>, <12, 1/9140*(357*w + 9854)>, <24, 1/757*(20*w + 397)>, <24, 1/15279*(266*w + 7280)>, <60, 1/211*(4*w + 155)>, <48, 1/10*(w + 6)>, <24, 1/273757*(5187*w + 174762)>, <24, 1/9937*(208*w + 11601)>, <24, 1/2431*(96*w - 1056)>, <28, 1/302077*(2856*w + 231013)>, <12, 1/126043*(850*w + 136175)>, <12, 1/25*(w + 16)>, <84, 1/633*(17*w + 395)>, <12, 1/211591*(2166*w + 50946)>, <12, 1/493*(6*w + 451)>, <12, 1/7395*(361*w - 2527)>, <40, 1/493*(22*w + 339)>, <24, 1/91657*(1330*w + 49952)>, <24, 1/302077*(5168*w + 173485)>, <24, 1/352*(15*w + 412)>, <24, 1/2285*(506*w + 1012)>, <24, 1/8321*(112*w + 2737)>, <48, 1/3451*(80*w + 3931)>, <24, 1/7*(w + 13)>, <24, 1/463*(18*w + 391)>, <60, 1/541*(16*w + 381)>, <24, 1/304*(17*w - 119)>, <24, 1/91657*(1330*w + 40375)>, <24, 1/697*(12*w + 480)>, <24, 1/7065*(352*w + 8473)>, <24, 1/506*(5*w + 10)>, <24, 1/380*(11*w + 424)>, <12, 1/266713*(1587*w - 5193)>, <16, 1/481*(4*w + 501)>, <24, 1/12*(w + 5)>, <24, 1/3380*(77*w + 3919)>, <24, 1/108487*(1540*w + 78380)>, <16, 1/14511*(40*w - 640)>, <24, 1/299251*(3952*w + 220419)>, <24, 1/399*(13*w + 438)>, <24, 1/36*(w + 40)>, <48, 1/273757*(4680*w + 157680)>, <48, 1/7*(w + 7)>, <48, 1/260*(17*w - 136)>, <2, 1/243049*(4212*w + 130248)>, <48, 1/336*(13*w - 104)>, <48, 1/2197*(112*w - 896)>, <48, 1/21571*(340*w + 13651)>, <28, 1/39457*(40*w - 535)>, <12, 1/7271*(342*w + 12059)>, <36, 1/463*(11*w + 496)>, <24, 1/12559*(110*w - 1650)>, <48, 1/151*(2*w - 4)>, <48, 1/6*(w - 2)>, <46, 1/661*(25*w + 350)>, <14, 1/36*(25*w + 286)>, <36, 1/481*(7*w + 439)>, <24, 1/9139*(320*w - 1920)>, <24, 1/320*(19*w - 114)>, <36, 1/7*(w + 1)>, <24, 1/3740*(49*w - 539)>, <24, 1/102583*(980*w + 17003)>, <12, 1/1166*(7*w - 84)>, <24, 1/506*(7*w + 499)>, <24, 1/24963*(322*w + 22954)>, <24, 1/104341*(1700*w + 41900)>, <12, 1/28237*(480*w + 3117)>, <60, 1/187*(3*w + 30)>, <24, 1/300*(17*w + 419)>, <24, 1/607*(15*w + 412)>, <24, 1/326073*(5168*w + 175232)>, <24, 1/604*(161*w + 282)>, <24, 1/2512*(119*w + 2988)>, <24, 1/104023*(1232*w + 94160)>, <36, 1/151*(5*w + 156)>, <24, 1/10279*(184*w - 1840)>, <24, 1/523*(5*w + 40)>, <24, 1/9367*(273*w + 11005)>, <24, 1/319933*(5187*w + 209095)>, <108, 1/11*(w + 9)>, <40, 1/22*(w + 15)>, <24, 1/541*(13*w + 658)>, <24, 1/420*(11*w - 55)>, <24, 1/691*(20*w + 371)>, <24, 1/420*(11*w + 464)>, <24, 1/471*(20*w + 371)>, <12, 1/289*(14*w - 126)>, <60, 1/541*(18*w + 361)>, <24, 1/957*(13*w + 658)>, <24, 1/24*(w + 7)>, <4, 1/37*(w - 6)>, <4, 1/24*(w + 42)>, <4, 1/37*(w + 79)>, <24, 1/24*(w + 5)>, <4, 1/122*(w + 79)>, <4, 1/111*(2*w + 47)>, <12, 1/162*(19*w + 352)>, <24, 1/28237*(399*w + 20482)>, <24, 1/133*(3*w + 154)>, <24, 1/463*(5*w - 20)>, <24, 1/169*(8*w + 56)>, <36, 1/151*(5*w - 10)>, <24, 1/104023*(1232*w + 8631)>, <24, 1/15*(w + 2)>, <4, 1/235873*(3978*w + 195364)>, <4, 1/341407*(7956*w + 211068)>, <4, 1/9414*(289*w + 11726)>, <4, 1/451*(17*w - 17)>, <24, 1/10279*(184*w + 11935)>, <24, 1/357*(16*w + 421)>, <24, 1/483*(4*w + 475)>, <24, 1/323*(16*w - 144)>, <24, 1/3553*(70*w + 4253)>, <36, 1/541*(12*w + 421)>, <12, 1/9597*(289*w + 10175)>, <48, 1/45*(22*w + 331)>, <24, 1/27101*(390*w + 15375)>, <24, 1/88033*(1625*w + 53375)>, <24, 1/8745*(247*w + 11462)>, <64, 1/123013*(350*w + 126975)>, <48, 1/111709*(330*w + 4965)>, <24, 1/765*(26*w + 1025)>, <24, 1/375*(13*w + 427)>, <60, 1/151*(4*w + 4)>, <16, 1/44521*(288*w + 47241)>, <80, 1/27*(w + 13)>, <16, 1/5697*(32*w + 5249)>, <12, 1/463*(2*w + 455)>, <12, 1/25519*(294*w + 2734)>, <72, 1/11*(w + 3)>, <24, 1/633*(11*w + 479)>, <24, 1/96427*(1232*w + 41547)>, <24, 1/33127*(480*w + 5607)>, <24, 1/1389*(160*w + 1869)>, <84, 1/463*(17*w + 395)>, <24, 1/723*(17*w + 434)>, <12, 1/206107*(1200*w + 25707)>, <36, 1/19*(w + 16)>, <12, 1/345949*(1140*w + 322180)>, <12, 1/114307*(2508*w + 54780)>, <12, 1/19*(w + 17)>, <24, 1/103777*(1900*w + 64277)>, <60, 1/187*(4*w + 40)>, <24, 1/277399*(3705*w + 171930)>, <24, 1/110137*(1330*w + 80807)>, <12, 1/111583*(1274*w + 49196)>, <12, 1/13*(w - 4)>, <24, 1/27*(w + 16)>, <24, 1/45067*(504*w + 49995)>, <24, 1/2567*(42*w + 2156)>, <24, 1/418*(9*w - 117)>, <24, 1/77233*(770*w + 71918)>, <48, 1/8*(w + 12)>, <28, 1/114151*(92*w + 1244)>, <12, 1/4*(w - 10)>, <4, 1/4853*(23*w + 5164)>, <12, 1/541*(4*w - 40)>, <4, 1/16458*(529*w + 7153)>, <4, 1/1623*(598*w - 4357)>, <4, 1/541*(3*w - 30)>, <12, 1/169*(w - 8)>, <12, 1/184*(w + 7)>, <24, 1/3549*(64*w - 512)>, <40, 1/471*(14*w + 56)>, <24, 1/157*(w - 5)>, <12, 1/154*(w + 161)>, <12, 1/757*(18*w + 433)>, <12, 1/9922*(361*w + 9922)>, <24, 1/312069*(2660*w + 262460)>, <24, 1/11660*(133*w + 13123)>, <12, 1/453*(w + 451)>, <12, 1/84337*(1470*w + 16570)>, <12, 1/76*(5*w - 85)>, <12, 1/6855*(361*w + 7577)>, <24, 1/457*(8*w + 16)>, <24, 1/154*(3*w + 154)>, <12, w + 2>, <12, 1/96427*(2352*w + 60123)>, <24, 1/5463*(418*w - 5434)>, <24, 1/462*(5*w + 467)>, <48, 1/607*(8*w + 96)>, <24, 1/239011*(3696*w + 92851)>, <48, 1/523*(11*w + 424)>, <36, 1/507*(10*w + 70)>, <12, 1/357*(10*w - 80)>, <36, 1/11*(w - 2)>, <24, 1/273757*(4692*w + 92724)>, <48, 1/95299*(1224*w + 66283)>, <24, 1/99811*(1794*w + 33709)>, <36, 1/583*(10*w + 110)>, <12, 1/483*(10*w + 463)>, <24, 1/2041*(138*w + 2593)>, <24, 1/483*(5*w - 45)>, <8, 1/339889*(1242*w + 322069)>, <24, 1/29359*(322*w + 26565)>, <24, 1/5863*(483*w + 5863)>, <28, 1/691*(16*w + 435)>, <12, 1/23707*(294*w + 1804)>, <12, 1/2*w>, <28, 1/451*(16*w + 435)>, <24, 1/161*(2*w + 165)>, <24, 1/315787*(6279*w + 76219)>, <24, 1/2615*(483*w - 4347)>, <12, 1/529*(2*w + 521)>, <12, 1/5951*(529*w + 4761)>, <12, 1/250483*(3174*w - 7140)>, <4, 1/254811*(3850*w + 140686)>, <4, 1/691*(11*w + 515)>, <4, 1/350*(11*w + 515)>, <8, 1/66*(25*w - 250)>, <8, 1/13525*(66*w - 660)>, <20, 1/493*(9*w - 63)>, <4, 1/10846*(9*w + 15337)>, <4, 1/484*(w + 499)>, <4, 1/11339*(22*w + 10978)>, <4, 1/350337*(11132*w + 156332)>, <4, 1/493*(w - 7)>, <36, 1/453*(11*w - 22)>, <24, 1/5772*(391*w + 7727)>, <48, 1/3179*(72*w + 3899)>, <24, 1/82111*(644*w + 3060)>, <24, 1/375*(11*w - 55)>, <24, 1/7574*(299*w + 10265)>, <24, 1/663*(28*w + 943)>, <24, 1/897*(14*w + 995)>, <24, 1/274971*(4186*w + 143710)>, <24, 1/24887*(364*w + 12259)>, <24, 1/78247*(1375*w + 24497)>, <24, 1/182*(23*w + 343)>, <24, 1/575*(13*w + 523)>, <24, 1/29359*(460*w + 12144)>, <24, 1/2615*(92*w - 828)>, <24, 1/6019*(575*w + 3719)>, <24, 1/231699*(2185*w + 204079)>, <12, 1/3887*(54*w + 4265)>, <8, 1/437*(4*w - 12)>, <10, 1/457*(4*w + 8)>, <4, 1/457*(18*w + 493)>, <4, 1/23*(w + 2)>, <4, 1/20033*(342*w + 11195)>, <4, 1/207021*(10051*w + 62146)>, <8, 1/207021*(1748*w + 10808)>, <24, 1/231699*(2185*w + 25435)>, <24, 1/6734*(345*w + 8459)>, <24, 1/6734*(345*w - 2070)>, <24, 1/604*(161*w + 765)>, <24, 1/228657*(3059*w + 28511)>, <24, 1/13409*(63*w + 14102)>, <36, 1/457*(9*w + 475)>, <24, 1/377*(20*w - 140)>, <24, 1/8*(w - 2)>, <60, 1/151*(3*w - 6)>, <24, 1/116*(7*w - 49)>, <24, 1/437*(8*w + 461)>, <24, 1/437*(8*w - 32)>, <12, 1/481*(6*w + 445)>, <16, 1/13*(w + 13)>, <12, 8/529*w>, <24, 1/541*(8*w + 461)>, <24, 1/1661*(28*w + 1001)>, <36, 1/457*(10*w + 20)>, <24, 1/437*(7*w - 21)>, <24, 1/345703*(1449*w + 324346)>, <24, 1/15081*(260*w + 8360)>, <36, 1/583*(9*w + 475)>, <24, 1/9367*(253*w - 1771)>, <24, 1/5951*(380*w - 3800)>, <24, 1/360*(13*w - 104)>, <24, 1/3642*(55*w + 4302)>, <24, 1/302077*(4590*w + 109620)>, <24, 1/2954*(95*w + 4189)>, <24, 1/140*(19*w - 266)>, <12, 1/661*(14*w + 196)>, <12, 1/255*(14*w - 210)>, <24, 1/104341*(1330*w + 58646)>, <24, 1/140*(19*w + 387)>, <48, 1/16*(w + 12)>, <16, 1/691*(18*w + 403)>, <4, 1/289281*(2704*w + 217456)>, <4, 1/29*(w + 15)>, <16, 1/457*(13*w - 39)>, <4, 1/5941*(522*w + 4375)>, <4, 1/289281*(6032*w + 154193)>, <32, 1/661*(29*w + 226)>, <16, 1/436921*(5220*w - 45900)>, <16, 1/180*(29*w - 255)>, <12, 1/110137*(608*w + 96729)>, <48, 1/463*(16*w + 399)>, <60, 1/661*(21*w + 294)>, <24, 1/96427*(1840*w + 47552)>, <24, 1/33127*(330*w + 25812)>, <24, 1/302077*(4590*w + 187867)>, <60, 1/493*(21*w + 126)>, <24, 1/96427*(1840*w + 47035)>, <24, 1/289281*(4180*w + 182020)>, <24, 1/9367*(253*w + 10885)>, <12, 1/350337*(506*w + 357443)>, <12, 1/463*(2*w + 469)>, <12, 1/317941*(8820*w + 149920)>, <24, 1/360*(13*w + 451)>, <6, 1/287419*(3042*w + 62023)>, <24, 1/336*(13*w + 466)>, <28, 1/64*(25*w + 350)>, <24, 1/2431*(112*w + 3551)>, <24, 1/10353*(220*w - 1540)>, <24, 1/22*(7*w - 98)>, <24, 1/4*(w - 8)>, <24, 1/583*(4*w + 535)>, <24, 1/35659*(322*w + 5874)>, <24, 1/35659*(322*w + 29463)>, <28, 1/12*(23*w + 311)>, <24, 1/3661*(460*w - 4140)>, <16, 1/364117*(1104*w - 17568)>, <16, 1/481*(23*w + 343)>, <24, 1/460*(7*w - 63)>, <4, 1/3241*(414*w + 4483)>, <28, 1/16525*(64*w + 896)>, <14, 1/36*(25*w - 275)>, <5, 1/5949*(400*w + 11549)>, <32, 1/661*(9*w + 126)>, <24, 1/384231*(3146*w + 416780)>, <24, 1/315787*(3366*w + 237060)>, <24, 1/311641*(5168*w + 140505)>, <24, 1/368*(17*w - 68)>, <24, 1/87*(8*w + 135)>, <24, 1/1963*(176*w + 176)>, <24, 1/119*(4*w + 155)>, <60, 1/20*(w + 10)>, <12, 1/169*(8*w - 64)>, <8, 1/231361*(3960*w + 149400)>, <24, 1/528*(13*w + 13)>, <24, 1/1661*(24*w + 405)>, <24, 1/2164*(119*w + 3235)>, <24, 1/17966*(121*w + 16030)>, <24, 1/187*(18*w - 234)>, <24, 1/130381*(1170*w + 143026)>, <24, 1/26*(w + 16)>, <24, 1/451*(17*w + 434)>, <12, 1/4097*(54*w + 4961)>, <24, 1/7871*(368*w - 1472)>, <24, 1/8112*(323*w - 2584)>, <24, 1/315*(13*w - 104)>, <24, 1/3927*(52*w + 4447)>, <12, 1/8177*(294*w + 9647)>, <24, 1/13*(8*w - 107)>, <24, 1/31861*(455*w + 12831)>, <24, 1/11*(8*w + 99)>, <64, 1/42*(25*w + 325)>, <24, 1/3587*(8*w + 99)>, <24, 1/39457*(104*w - 1391)>, <24, 1/91*(5*w + 141)>, <24, 1/9414*(247*w + 11390)>, <24, 1/97693*(1564*w + 59789)>, <24, 1/2873*(92*w + 3517)>, <24, 1/35659*(154*w + 33019)>, <24, 1/5093*(391*w + 6266)>, <24, 1/239011*(4301*w + 68926)>, <24, 1/86581*(1064*w + 11949)>, <24, 1/1099*(152*w + 1707)>, <24, 1/20*(w + 16)>, <12, 1/334749*(6460*w + 123709)>, <12, 1/18*(w + 1)>, <12, 1/2718*(133*w - 266)>, <12, 1/3798*(49*w - 686)>, <24, 1/2197*(105*w - 840)>, <24, 1/37837*(364*w + 31129)>, <24, 1/306043*(4446*w + 205020)>, <24, 1/1821*(133*w - 1729)>, <16, 1/78*(23*w + 308)>, <4, 1/5486*(3*w + 4892)>, <4, 1/4301*(3*w + 4892)>, <4, 1/184*(w + 197)>, <4, 1/211*(w + 197)>, <12, 1/481*(8*w + 521)>, <12, 1/39457*(1176*w + 23728)>, <24, 1/311331*(2090*w + 41360)>, <24, 1/335127*(2926*w + 288178)>, <24, 1/11902*(133*w + 13099)>, <12, 1/76*(5*w + 141)>, <24, 1/133*(3*w - 39)>, <12, 1/10*(w + 12)>, <12, 1/6070*(357*w - 4641)>, <24, 1/2315*(126*w - 504)>, <12, 1/88033*(1794*w + 27313)>, <12, 1/529*(3*w + 547)>, <12, 1/1166*(529*w + 5819)>, <12, 1/287419*(9522*w + 83754)>, <12, 1/3608*(441*w + 3167)>, <12, 1/451*(2*w - 2)>, <24, 1/126*(5*w - 20)>, <24, 1/289281*(4301*w + 97691)>, <24, 1/5753*(391*w + 8881)>, <12, 1/306043*(5819*w + 262384)>, <12, 1/529*(6*w + 84)>, <12, 1/5556*(529*w + 3440)>, <20, 1/132*(23*w - 207)>, <4, 1/436921*(138*w + 347599)>, <4, 1/11661*(22*w + 11308)>, <4, 1/265161*(529*w + 271906)>, <4, 1/11506*(529*w + 6745)>, <4, 1/523*(506*w - 4554)>, <24, 1/765*(23*w + 995)>, <24, 1/463*(14*w - 56)>, <24, 1/24539*(345*w + 14925)>, <24, 1/14*(w - 4)>, <24, 1/16525*(68*w + 952)>, <24, 1/322*(15*w - 105)>, <12, 1/315787*(9522*w + 213187)>, <18, 1/493*(4*w + 24)>, <24, 1/7395*(322*w - 2254)>, <12, 1/529*(6*w + 511)>, <24, 1/8*(w + 2)>, <24, 1/16525*(68*w + 15505)>, <32, 1/661*(9*w + 526)>, <24, 1/259*(46*w - 17)>, <36, 1/583*(10*w + 463)>, <24, 1/323*(13*w - 117)>, <48, 1/661*(26*w + 271)>, <24, 1/315787*(4420*w + 164220)>, <24, 1/13220*(91*w + 14494)>, <12, 1/12443*(104*w + 13379)>, <24, 1/25779*(322*w - 119)>, <24, 1/6799*(323*w - 2907)>, <48, 1/583*(26*w + 271)>, <24, 1/315787*(4420*w + 147147)>, <24, 1/91*(20*w + 371)>, <48, 1/20*(w + 6)>, <48, 1/633*(20*w + 353)>, <48, 1/523*(11*w + 88)>, <24, 1/253*(16*w - 144)>, <24, 1/6219*(50*w + 5419)>, <12, 1/2954*(85*w - 1190)>, <24, 1/44521*(450*w + 48771)>, <16, 1/633*(13*w + 169)>, <4, 1/464*(13*w + 451)>, <4, 1/20039*(256*w + 12823)>, <4, 1/5863*(256*w + 12823)>, <8, 1/15*(w - 1)>, <4, 1/311641*(3120*w + 223696)>, <8, 1/451*(15*w - 15)>, <48, 1/691*(19*w + 285)>, <24, 1/253*(16*w + 381)>, <36, 1/14*(w + 8)>, <12, 1/52*(21*w - 315)>, <12, 1/103777*(1470*w + 27190)>, <8, 1/481*(10*w - 60)>, <4, 1/373831*(1764*w + 334551)>, <8, 1/10*(w - 6)>, <4, 1/10101*(525*w + 8875)>, <4, 1/260221*(2100*w - 4904)>, <24, 1/481*(3*w + 496)>, <12, 1/2*(w + 10)>, <12, 1/529*(16*w + 128)>, <12, 1/86581*(966*w + 18823)>, <12, 1/561*(7*w + 484)>, <10, 1/4167*(400*w - 1600)>, <4, 1/384753*(9200*w + 81728)>, <4, 1/16*(w - 4)>, <4, 1/256*(23*w + 371)>, <4, 1/25*(w + 5)>, <12, 1/161*(20*w - 200)>, <12, 1/102583*(1380*w + 77260)>, <24, 1/85*(6*w + 139)>, <24, 1/3587*(66*w - 924)>, <24, 1/1389*(136*w - 544)>, <24, 1/293079*(4114*w + 95590)>, <24, 1/320*(13*w + 411)>, <24, 1/187*(20*w - 180)>, <24, 1/307749*(3740*w + 239120)>, <24, 1/250483*(4160*w + 131520)>, <12, 1/481*(11*w + 536)>, <12, 1/2651*(120*w + 4571)>, <24, 1/26*(w + 9)>, <24, 1/135*(26*w + 416)>, <24, 1/293079*(4114*w + 193375)>, <24, 1/25519*(408*w + 19720)>, <24, 1/3587*(66*w + 4445)>, <24, 1/3246*(85*w + 4011)>, <48, 1/523*(12*w + 96)>, <48, 1/523*(12*w + 415)>, <20, 1/132*(23*w + 316)>, <36, 1/457*(19*w + 400)>, <12, 1/37837*(756*w + 23905)>, <16, 1/357601*(840*w + 368136)>, <16, 1/24*(w + 14)>, <24, 1/115*(4*w - 32)>, <24, 1/126*(5*w - 35)>, <24, 1/561*(8*w + 473)>, <12, 1/71749*(294*w + 3688)>, <24, 1/2465*(126*w - 882)>, <12, 1/523*(6*w + 469)>, <12, 1/529*(w - 3)>, <24, 1/2028*(115*w - 920)>, <24, 1/311331*(3910*w + 107620)>, <36, 1/463*(14*w + 407)>, <36, 1/8*(w + 3)>, <12, 1/561*(4*w + 40)>, <12, 1/3944*(529*w + 3174)>, <24, 1/4239*(391*w - 1955)>, <24, 1/6070*(391*w + 10762)>, <24, 1/4239*(391*w + 5803)>, <24, 1/323*(13*w + 466)>, <24, 1/385363*(3094*w - 35343)>, <24, 1/136*(21*w - 231)>, <24, 1/693*(8*w - 88)>, <24, 1/323*(13*w - 156)>, <24, 1/119*(26*w - 297)>, <24, 1/24*(w + 8)>, <24, 1/91*(6*w - 42)>, <12, 1/607*(13*w + 438)>, <12, 1/298111*(3840*w + 182655)>, <24, 1/27*(w + 12)>, <24, 1/96*(5*w + 141)>, <60, 1/541*(18*w + 162)>, <24, 1/96*(5*w - 50)>, <24, 1/691*(24*w + 307)>, <24, 1/2958*(91*w - 637)>, <24, 1/10983*(187*w - 1683)>, <6, 1/225301*(1764*w + 18472)>, <18, 1/4*(w + 6)>, <24, 1/10983*(187*w + 12479)>, <48, 1/471*(10*w + 421)>, <12, 1/72631*(588*w + 4864)>, <22, 1/12243*(100*w + 13343)>, <4, 1/114151*(700*w + 100975)>, <8, 1/14575*(8*w - 96)>, <8, 1/8*(25*w - 300)>, <24, 1/13961*(32*w + 14345)>, <12, 1/9712*(207*w - 2691)>, <12, 1/4249*(400*w + 9049)>, <12, 1/607*(9*w + 108)>, <24, 1/33*(8*w + 105)>, <12, 1/351*(16*w + 399)>, <24, 1/4328*(33*w + 4625)>, <24, 1/5753*(336*w + 8441)>, <24, 1/288*(13*w - 143)>, <24, 1/216*(19*w - 190)>, <16, 1/691*(18*w + 270)>, <12, 1/133*(18*w - 288)>, <24, 1/10279*(216*w - 2160)>, <16, 1/24*(w + 9)>, <8, 1/12984*(85*w - 850)>, <16, 1/35*(24*w + 336)>, <4, 1/576*(7*w + 98)>, <4, 1/9197*(576*w + 3437)>, <8, 1/85*(24*w - 240)>, <4, 1/3787*(408*w - 4080)>, <16, 1/34969*(280*w + 4400)>, <24, 1/31861*(460*w + 13576)>, <12, 1/37837*(70*w + 36547)>, <12, 1/241*(7*w + 122)>, <24, 1/31861*(460*w + 17825)>, <24, 1/281041*(3519*w + 85932)>, <36, 1/583*(8*w + 487)>, <24, 1/340527*(736*w + 329935)>, <24, 1/5247*(391*w + 9548)>, <24, 1/504*(11*w + 515)>, <12, 1/405*(16*w + 421)>, <24, 1/1661*(168*w + 1829)>, <24, 1/691*(17*w + 255)>, <10, 1/4*(w + 2)>, <6, 1/69007*(588*w + 65415)>, <24, 1/691*(17*w + 419)>, <10, 1/4167*(400*w + 5367)>, <12, 1/5093*(540*w + 1620)>, <24, 1/91*(24*w - 240)>, <12, 1/315787*(3744*w + 172939)>, <24, 1/12984*(91*w - 910)>, <4, 1/71749*(952*w + 11501)>, <4, 1/831*(17*w + 491)>, <4, 1/168*(17*w + 491)>, <8, 1/85*(8*w - 40)>, <4, 1/35*(8*w + 152)>, <8, 1/3768*(85*w - 425)>, <4, 1/277*(8*w + 152)>, <12, 1/219817*(2312*w + 92368)>, <24, 1/432*(7*w + 460)>, <12, 1/91657*(1782*w + 14707)>, <24, 1/78973*(1008*w + 66240)>, <12, 1/17*(w + 18)>, <12, 1/119743*(2856*w + 78960)>, <1, 1/317941*(1620*w + 29241)>, <1, 1/13220*(180*w + 16469)>, <1, 1/19169*(400*w + 7220)>, <1, 1/4329*(580*w + 849)>, <1, 1/436921*(1620*w + 148221)>, <1, 1/4329*(261*w + 15254)>, <1, 1/317941*(5220*w + 218500)>, <5, 1/400*(9*w + 526)>, <16, 1/481*(20*w + 100)>, <12, 1/317941*(2420*w + 271840)>, <40, 1/373831*(2100*w + 398275)>, <40, 1/25*(w + 15)>, <12, 1/91531*(1344*w + 95808)>, <12, 1/192*(5*w + 55)>, <12, 1/157*(192*w - 803)>, <12, 1/1057*(144*w - 288)>, <8, 1/360*(11*w + 415)>, <12, 1/7*(24*w - 312)>, <12, 1/4249*(432*w + 9433)>, <-10, 1/89947*(-1200*w + 30075)>, <-12, 1/84937*(-1610*w + 38822)>, <-12, 1/196*(-15*w - 195)>, <-24, 1/9911*(-192*w - 2112)>, <-6, 1/266713*(-1452*w + 19389)>, <-6, 1/3*(-w + 10)>, <-12, 1/7322*(-285*w + 9887)>, <-12, 1/460*(-9*w + 9)>, <-12, 1/9*(-w - 4)>, <-12, 1/1413*(-184*w + 920)>, <-12, 1/121*(-20*w + 361)>, <-6, 1/8115*(-256*w - 2304)>, <-12, 1/225*(-17*w + 412)>, <-24, 1/112*(-5*w - 20)>, <-12, 1/180*(-19*w + 370)>, <-12, 1/285483*(-6118*w + 197087)>, <-24, 1/14*(-w + 14)>, <-12, 1/2091*(-40*w + 1640)>, <-12, 1/42*(-w + 42)>, <-4, 1/471*(-22*w + 110)>, <-4, 1/16654*(-13*w + 234)>, <-4, 1/15897*(-22*w + 16293)>, <-4, 1/757*(-484*w + 8712)>, <-4, 1/350491*(-10164*w + 167055)>, <-4, 1/462*(-w - 4)>, <-24, 1/11533*(-132*w + 13249)>, <-12, 1/246333*(-6292*w + 202796)>, <-12, 1/481*(-w + 6)>, <-6, 1/1389*(-484*w - 63)>, <-6, 1/493*(-3*w + 475)>, <-12, 1/187*(-10*w - 100)>, <-12, 1/12*(-w + 18)>, <-12, 1/625*(-11*w + 66)>, <-12, 1/451*(-3*w + 451)>, <-12, 1/369*(-44*w + 44)>, <-12, 1/328387*(-1254*w + 310090)>, <-12, 1/269929*(-3570*w + 174015)>, <-12, 1/13949*(-204*w + 6996)>, <-12, 1/269929*(-3192*w + 197505)>, <-12, 1/303501*(-7220*w + 180400)>, <-12, -1/10*w>, <-12, 1/13129*(-102*w - 1530)>, <-12, 1/9139*(-272*w + 10771)>, <-12, 1/4820*(-21*w + 5177)>, <-24, 1/118813*(-276*w + 123073)>, <-4, 1/89947*(-760*w + 77672)>, <-16, 1/5*(-w - 5)>, <-40, 1/101491*(-760*w + 15440)>, <-12, 1/625*(-6*w + 577)>, <-6, 1/11237*(-625*w + 9375)>, <-12, 1/175*(-2*w + 10)>, <-12, 1/1859*(-114*w - 798)>, <-12, -44/287*w>, <-12, 1/4328*(-27*w - 243)>, <-12, 1/136*(-5*w + 146)>, <-12, 1/420*(-11*w + 442)>, <-24, 1/2873*(-84*w + 3545)>, <-12, 1/182*(-17*w - 204)>, <-12, 1/266713*(-4560*w + 158128)>, <-12, 1/16*(-w + 23)>, <-6, 1/234*(-17*w + 387)>, <-1, 1/273529*(-2106*w - 96867)>, <-1, 1/6813*(-153*w - 10115)>, <-1, 1/395911*(-3978*w + 132921)>, <-1, 1/9*(-w + 18)>, <-12, 1/110353*(-286*w + 4511)>, <-12, 1/400*(-17*w + 468)>, <-12, 1/463*(-21*w + 400)>, <-12, 1/250483*(-3822*w + 129649)>, <-24, 1/293403*(-3800*w + 223003)>, <-12, 1/154*(-w + 2)>, <-4, 1/456*(-5*w + 5)>, <-4, 1/8569*(-432*w + 9001)>, <-4, 1/451*(-19*w + 19)>, <-4, 1/357643*(-6498*w + 169309)>, <-12, 1/451*(-15*w + 451)>, <-12, 1/3966*(-361*w + 9381)>, <-12, 1/8118*(-361*w + 8479)>, <-6, 1/541*(-441*w + 4951)>, <-4, 1/463*(-w + 460)>, <-4, 1/457*(-462*w - 467)>, <-4, 1/362401*(-7392*w + 146080)>, <-4, 1/463*(-22*w + 88)>, <-4, 1/211591*(-441*w + 9172)>, <-4, 1/16*(-w + 19)>, <-16, 1/457*(-21*w + 63)>, <-12, 1/72691*(-1064*w + 15368)>, <-12, 1/237133*(-4332*w + 151981)>, <-12, 1/935*(-147*w + 2552)>, <-4, 1/493*(-25*w + 175)>, <-4, 1/19825*(-132*w + 2508)>, <-4, 1/11102*(-275*w + 16327)>, <-4, 1/793*(-14*w + 266)>, <-4, 1/350*(-11*w - 66)>, <-12, 1/481*(-3*w + 466)>, <-12, 1/484*(-w - 2)>, <-12, 1/8797*(-330*w + 10117)>, <-12, 1/583*(-30*w + 943)>, <-12, 1/4225*(-44*w + 4577)>, <-12, 1/901*(-6*w + 814)>, <-4, 1/342921*(-1748*w + 39928)>, <-4, 1/3028*(-529*w + 9522)>, <-4, 1/342921*(-10051*w + 123386)>, <-4, 1/437*(-4*w - 20)>, <-12, 1/299251*(-3174*w + 283015)>, <-12, 1/529*(-6*w + 78)>, <-12, 1/6409*(-529*w + 3235)>, <-12, 1/319*(-4*w + 231)>, <-12, 1/361*(-12*w - 120)>, <-12, 1/9140*(-357*w + 10211)>, <-24, 1/757*(-20*w + 417)>, <-28, 1/302077*(-2856*w + 233869)>, <-12, 1/126043*(-850*w + 137025)>, <-12, 1/25*(-w + 17)>, <-12, 1/211591*(-2166*w + 53112)>, <-12, 1/493*(-6*w + 457)>, <-12, 1/7395*(-361*w - 2166)>, <-12, 1/266713*(-1587*w - 3606)>, <-16, 1/481*(-4*w + 505)>, <-16, 1/14511*(-40*w - 600)>, <-2, 1/243049*(-4212*w + 134460)>, <-12, 1/7271*(-342*w + 12401)>, <-36, 1/463*(-11*w + 507)>, <-12, 1/1166*(-7*w - 77)>, <-12, 1/28237*(-480*w + 3597)>, <-12, 1/289*(-14*w - 112)>, <-4, 1/37*(-w - 5)>, <-4, 1/24*(-w + 43)>, <-4, 1/37*(-w + 80)>, <-4, 1/122*(-w + 80)>, <-4, 1/111*(-2*w + 49)>, <-12, 1/162*(-19*w + 371)>, <-4, 1/235873*(-3978*w + 199342)>, <-4, 1/341407*(-7956*w + 219024)>, <-4, 1/9414*(-289*w + 12015)>, <-4, -17/451*w>, <-36, 1/541*(-12*w + 433)>, <-12, 1/9597*(-289*w + 10464)>, <-12, 1/463*(-2*w + 457)>, <-12, 1/25519*(-294*w + 3028)>, <-24, 1/633*(-11*w + 490)>, <-24, 1/96427*(-1232*w + 42779)>, <-12, 1/206107*(-1200*w + 26907)>, <-12, 1/345949*(-1140*w + 323320)>, <-12, 1/114307*(-2508*w + 57288)>, <-12, 1/19*(-w + 18)>, <-12, 1/111583*(-1274*w + 50470)>, <-12, 1/13*(-w - 3)>, <-4, 1/4853*(-23*w + 5187)>, <-4, 1/16458*(-529*w + 7682)>, <-4, 1/1623*(-598*w - 3759)>, <-4, 1/541*(-3*w - 27)>, <-12, 1/169*(-w - 7)>, <-12, 1/184*(-w + 8)>, <-24, 1/157*(-w - 4)>, <-12, 1/154*(-w + 162)>, <-12, 1/757*(-18*w + 451)>, <-12, 1/9922*(-361*w + 10283)>, <-12, 1/453*(-w + 452)>, <-12, 1/84337*(-1470*w + 18040)>, <-12, 1/76*(-5*w - 80)>, <-12, 1/6855*(-361*w + 7938)>, <-12, -w + 3>, <-12, 1/96427*(-2352*w + 62475)>, <-12, 1/357*(-10*w - 70)>, <-12, 1/483*(-10*w + 473)>, <-8, 1/339889*(-1242*w + 323311)>, <-12, 1/23707*(-294*w + 2098)>, <-12, 1/2*(-w + 1)>, <-12, 1/529*(-2*w + 523)>, <-12, 1/5951*(-529*w + 5290)>, <-12, 1/250483*(-3174*w - 3966)>, <-4, 1/254811*(-3850*w + 144536)>, <-4, 1/691*(-11*w + 526)>, <-4, 1/350*(-11*w + 526)>, <-20, 1/493*(-9*w - 54)>, <-4, 1/10846*(-9*w + 15346)>, <-4, 1/484*(-w + 500)>, <-4, 1/11339*(-22*w + 11000)>, <-4, 1/350337*(-11132*w + 167464)>, <-4, 1/493*(-w - 6)>, <-12, 1/3887*(-54*w + 4319)>, <-4, 1/457*(-18*w + 511)>, <-4, 1/23*(-w + 3)>, <-4, 1/20033*(-342*w + 11537)>, <-4, 1/207021*(-10051*w + 72197)>, <-12, 1/481*(-6*w + 451)>, <-12, 1/529*(-8*w + 8)>, <-12, 1/661*(-14*w + 210)>, <-12, 1/255*(-14*w - 196)>, <-4, 1/289281*(-2704*w + 220160)>, <-4, 1/29*(-w + 16)>, <-16, 1/457*(-13*w - 26)>, <-4, 1/5941*(-522*w + 4897)>, <-4, 1/289281*(-6032*w + 160225)>, <-12, 1/110137*(-608*w + 97337)>, <-12, 1/350337*(-506*w + 357949)>, <-12, 1/463*(-2*w + 471)>, <-12, 1/317941*(-8820*w + 158740)>, <-6, 1/287419*(-3042*w + 65065)>, <-24, 1/10353*(-220*w - 1320)>, <-4, 1/3241*(-414*w + 4897)>, <-12, 1/169*(-8*w - 56)>, <-12, 1/4097*(-54*w + 5015)>, <-12, 1/8177*(-294*w + 9941)>, <-12, 1/334749*(-6460*w + 130169)>, <-12, 1/18*(-w + 2)>, <-12, 1/2718*(-133*w - 133)>, <-12, 1/3798*(-49*w - 637)>, <-4, 1/5486*(-3*w + 4895)>, <-4, 1/4301*(-3*w + 4895)>, <-4, 1/184*(-w + 198)>, <-4, 1/211*(-w + 198)>, <-12, 1/481*(-8*w + 529)>, <-12, 1/39457*(-1176*w + 24904)>, <-12, 1/76*(-5*w + 146)>, <-12, 1/10*(-w + 13)>, <-12, 1/6070*(-357*w - 4284)>, <-12, 1/88033*(-1794*w + 29107)>, <-12, 1/529*(-3*w + 550)>, <-12, 1/1166*(-529*w + 6348)>, <-12, 1/287419*(-9522*w + 93276)>, <-12, 1/3608*(-441*w + 3608)>, <-12, -2/451*w>, <-12, 1/306043*(-5819*w + 268203)>, <-12, 1/529*(-6*w + 90)>, <-12, 1/5556*(-529*w + 3969)>, <-4, 1/436921*(-138*w + 347737)>, <-4, 1/11661*(-22*w + 11330)>, <-4, 1/265161*(-529*w + 272435)>, <-4, 1/11506*(-529*w + 7274)>, <-4, 1/523*(-506*w - 4048)>, <-12, 1/315787*(-9522*w + 222709)>, <-12, 1/529*(-6*w + 517)>, <-12, 1/12443*(-104*w + 13483)>, <-12, 1/2954*(-85*w - 1105)>, <-4, 1/464*(-13*w + 464)>, <-4, 1/20039*(-256*w + 13079)>, <-4, 1/5863*(-256*w + 13079)>, <-4, 1/311641*(-3120*w + 226816)>, <-12, 1/52*(-21*w - 294)>, <-12, 1/103777*(-1470*w + 28660)>, <-4, 1/373831*(-1764*w + 336315)>, <-4, 1/10101*(-525*w + 9400)>, <-4, 1/260221*(-2100*w - 2804)>, <-12, 1/2*(-w + 11)>, <-12, 1/529*(-16*w + 144)>, <-12, 1/86581*(-966*w + 19789)>, <-12, 1/561*(-7*w + 491)>, <-4, 1/384753*(-9200*w + 90928)>, <-4, 1/16*(-w - 3)>, <-4, 1/256*(-23*w + 394)>, <-4, 1/25*(-w + 6)>, <-12, 1/161*(-20*w - 180)>, <-12, 1/102583*(-1380*w + 78640)>, <-12, 1/481*(-11*w + 547)>, <-12, 1/2651*(-120*w + 4691)>, <-12, 1/37837*(-756*w + 24661)>, <-12, 1/71749*(-294*w + 3982)>, <-12, 1/523*(-6*w + 475)>, <-12, 1/529*(-w - 2)>, <-12, 1/561*(-4*w + 44)>, <-12, 1/3944*(-529*w + 3703)>, <-12, 1/607*(-13*w + 451)>, <-12, 1/298111*(-3840*w + 186495)>, <-24, 1/27*(-w + 13)>, <-6, 1/225301*(-1764*w + 20236)>, <-12, 1/72631*(-588*w + 5452)>, <-4, 1/114151*(-700*w + 101675)>, <-12, 1/9712*(-207*w - 2484)>, <-12, 1/4249*(-400*w + 9449)>, <-12, 1/607*(-9*w + 117)>, <-12, 1/351*(-16*w + 415)>, <-12, 1/133*(-18*w - 270)>, <-4, 1/576*(-7*w + 105)>, <-4, 1/9197*(-576*w + 4013)>, <-4, 1/3787*(-408*w - 3672)>, <-12, 1/37837*(-70*w + 36617)>, <-12, 1/241*(-7*w + 129)>, <-12, 1/405*(-16*w + 437)>, <-6, 1/69007*(-588*w + 66003)>, <-12, 1/5093*(-540*w + 2160)>, <-12, 1/315787*(-3744*w + 176683)>, <-4, 1/71749*(-952*w + 12453)>, <-4, 1/831*(-17*w + 508)>, <-4, 1/168*(-17*w + 508)>, <-4, 1/35*(-8*w + 160)>, <-4, 1/277*(-8*w + 160)>, <-12, 1/219817*(-2312*w + 94680)>, <-12, 1/91657*(-1782*w + 16489)>, <-12, 1/17*(-w + 19)>, <-12, 1/119743*(-2856*w + 81816)>, <-1, 1/317941*(-1620*w + 30861)>, <-1, 1/13220*(-180*w + 16649)>, <-1, 1/19169*(-400*w + 7620)>, <-1, 1/4329*(-580*w + 1429)>, <-1, 1/436921*(-1620*w + 149841)>, <-1, 1/4329*(-261*w + 15515)>, <-1, 1/317941*(-5220*w + 223720)>, <-12, 1/317941*(-2420*w + 274260)>, <-12, 1/91531*(-1344*w + 97152)>, <-12, 1/192*(-5*w + 60)>, <-12, 1/157*(-192*w - 611)>, <-12, 1/1057*(-144*w - 144)>, <-12, 1/7*(-24*w - 288)>, <-12, 1/4249*(-432*w + 9865)> ]