/* Defining polynomial */ x^2 - x + 463 /* GCD of coefficients */ 1 /* 24 * |disc|^(3/2) /(8*pi^2)* zeta_F(2) */ 33744.8855909628179543570390583 /* Belt */ [ <60, 1/155*(3*w + 158)>, <60, 1/9*(w + 10)>, <106, 1/673*(23*w + 322)>, <30, 1/144*(23*w + 328)>, <108, 1/9*(w + 7)>, <108, 1/9*(w + 1)>, <36, 1/535*(8*w + 64)>, <36, 1/463*(8*w - 8)>, <24, 1/12797*(234*w + 7740)>, <344, 1/191*(7*w + 70)>, <24, 1/12797*(234*w + 4823)>, <168, 1/191*(5*w + 50)>, <12, 1/339865*(4232*w + 292537)>, <12, 1/529*(3*w + 42)>, <12, 1/9090*(529*w + 5387)>, <168, 1/15*(w + 10)>, <60, 1/3*(w + 1)>, <48, 1/15*(w - 2)>, <48, 1/31*(w - 2)>, <24, 1/3871*(54*w - 540)>, <72, 1/553*(18*w + 162)>, <72, 1/535*(18*w + 144)>, <24, 1/116429*(418*w + 6517)>, <24, 1/4730*(19*w - 266)>, <24, 1/37195*(378*w + 6318)>, <24, 1/14*(w + 13)>, <24, 1/253*(15*w + 448)>, <124, 1/215*(8*w + 103)>, <24, 1/463*(14*w + 449)>, <24, 1/9675*(253*w + 12964)>, <124, 1/24*(w + 10)>, <36, 1/245*(8*w + 109)>, <24, 1/2737*(15*w - 180)>, <24, 1/2737*(15*w + 2902)>, <24, 1/2292*(119*w + 3482)>, <24, 1/2292*(119*w - 1309)>, <36, 1/24*(w + 7)>, <48, 1/493*(24*w - 144)>, <48, 1/24*(w - 6)>, <72, 1/18*(w + 13)>, <72, 1/18*(w + 4)>, <232, 1/173*(5*w + 35)>, <108, 1/11*(w + 4)>, <12, 1/81*(25*w - 319)>, <12, 1/17575*(81*w + 16279)>, <108, 1/505*(11*w + 428)>, <12, 1/3438*(65*w - 715)>, <108, 1/18*(w + 10)>, <24, 1/325489*(3795*w + 117139)>, <48, 1/385629*(1925*w - 24871)>, <24, 1/253*(15*w + 463)>, <48, 1/77*(25*w - 323)>, <120, 1/13*(w + 8)>, <120, 1/483*(13*w + 418)>, <52, 1/72*(25*w - 328)>, <52, 1/703*(25*w + 303)>, <192, 1/17*(w + 8)>, <144, 1/69*(w + 64)>, <168, 1/645*(23*w + 323)>, <168, 1/553*(23*w + 323)>, <144, 1/69*(w + 4)>, <48, 1/8*(w + 2)>, <48, 1/8*(w + 5)>, <132, 1/519*(17*w + 119)>, <132, 1/519*(17*w + 383)>, <24, 1/29605*(476*w + 11636)>, <24, 1/29605*(476*w + 17493)>, <24, 1/96455*(1224*w + 67439)>, <144, 1/573*(17*w + 386)>, <24, 1/1333*(19*w + 763)>, <168, 1/31*(w + 1)>, <168, 1/31*(w + 29)>, <24, 1/1313*(68*w + 1721)>, <30, 1/465*(8*w + 449)>, <12, 1/3*(w + 9)>, <12, 1/529*(8*w + 48)>, <24, 1/19*(w - 11)>, <24, 1/463*(14*w - 14)>, <36, 8/463*w>, <24, 1/391*(9*w - 81)>, <24, 1/418*(9*w + 463)>, <24, 1/256039*(3762*w + 193534)>, <36, 1/463*(8*w + 455)>, <24, 1/256039*(3519*w + 71487)>, <100, 1/573*(25*w + 250)>, <24, 1/673*(14*w + 196)>, <100, 1/573*(25*w + 298)>, <8, 1/155*(154*w + 309)>, <4, 1/463*(w + 463)>, <4, 1/883*(19*w + 380)>, <4, 1/883*(22*w + 440)>, <4, 1/71765*(3388*w + 6798)>, <4, 1/19426*(399*w + 10629)>, <8, 1/71765*(154*w + 309)>, <24, 1/1313*(68*w - 476)>, <48, 1/535*(7*w + 472)>, <48, 1/465*(7*w + 472)>, <24, 1/24*(w + 32)>, <24, 1/535*(24*w + 727)>, <24, 1/47101*(702*w + 19669)>, <36, 1/21*(w + 15)>, <12, 1/14763*(52*w - 832)>, <24, 1/47101*(702*w + 26730)>, <24, 1/469*(8*w - 24)>, <24, 1/1173*(50*w + 1373)>, <24, 1/8*(w - 3)>, <24, 1/45091*(850*w + 23341)>, <24, 1/505*(23*w + 643)>, <96, 1/493*(19*w + 95)>, <12, 1/414*(7*w - 49)>, <24, 1/505*(7*w + 42)>, <12, 1/16*(w + 15)>, <12, 1/11248*(207*w - 3312)>, <24, 1/1333*(23*w + 643)>, <96, 1/19*(w + 5)>, <24, 1/463*(17*w + 446)>, <24, 1/10165*(92*w + 9016)>, <168, 1/21*(w + 13)>, <24, 1/3565*(22*w + 111)>, <168, 1/215*(7*w + 91)>, <240, 1/79*(3*w + 49)>, <108, 1/469*(11*w + 22)>, <12, 1/60*(w - 10)>, <84, 1/79*(w + 9)>, <240, 1/85*(3*w + 49)>, <108, 1/11*(w + 2)>, <24, 1/92*(w + 98)>, <24, 1/735*(17*w + 446)>, <24, 1/67*(22*w + 111)>, <12, 1/6463*(18*w + 6103)>, <12, 1/843*(23*w + 437)>, <204, 1/107*(3*w + 24)>, <24, 1/4655*(68*w + 1343)>, <24, 1/8022*(323*w + 11252)>, <204, 1/15*(w + 8)>, <24, 1/51*(4*w + 79)>, <24, 1/311599*(4522*w + 157528)>, <24, 1/95*(6*w + 131)>, <24, 1/1333*(27*w + 523)>, <24, 1/519*(7*w + 49)>, <12, 1/414*(7*w - 56)>, <24, 1/95*(6*w - 42)>, <24, 1/27*(w - 3)>, <84, 1/79*(w + 69)>, <12, 1/294025*(4356*w + 46701)>, <12, 1/222775*(484*w - 5673)>, <12, 1/484*(15*w + 424)>, <168, 1/595*(19*w + 209)>, <24, 1/234*(19*w + 367)>, <12, 1/931*(4*w + 848)>, <12, 1/147*(4*w + 79)>, <24, 1/1333*(21*w + 609)>, <24, 1/1333*(21*w + 703)>, <12, 1/5159*(414*w - 1242)>, <24, 1/2941*(88*w + 3557)>, <72, 1/14*(w + 2)>, <48, 1/210*(17*w + 431)>, <72, 1/14*(w + 11)>, <48, 1/21793*(238*w + 6034)>, <4, 1/463*(w + 462)>, <2, 1/462*(w + 462)>, <2, 1/9723*(462*w + 10186)>, <2, 1/463*(441*w + 10186)>, <2, 1/428275*(462*w - 9723)>, <2, 43*w - 21>, <2, 1/20350*(21*w + 441)>, <2, 1/925*(22*w + 441)>, <2, 1/22*w>, <12, 1/20*(w + 19)>, <12, 1/5620*(21*w - 420)>, <24, 1/41473*(570*w + 13030)>, <24, 1/790*(57*w + 1303)>, <108, 1/69*(2*w + 8)>, <24, 1/465*(4*w + 457)>, <12, 1/134*(21*w + 176)>, <108, 1/69*(2*w + 59)>, <44, 1/769*(24*w + 337)>, <12, 1/236845*(2601*w + 106506)>, <12, 1/20*(w + 17)>, <176, 1/619*(25*w + 294)>, <24, 1/25*(w + 29)>, <24, 1/51*(2*w + 61)>, <24, 1/10*(w + 18)>, <24, 1/469*(10*w + 104)>, <12, 1/27853*(500*w + 9728)>, <108, 1/161*(4*w + 141)>, <24, 1/10*(w - 9)>, <24, 1/75*(2*w + 2)>, <128, 1/505*(13*w + 414)>, <84, 1/25*(w + 16)>, <12, 1/22*(5*w - 45)>, <24, 1/51*(2*w - 12)>, <24, 1/1333*(25*w + 725)>, <96, 1/535*(21*w + 346)>, <156, 1/483*(17*w + 398)>, <12, 1/121*(23*w - 230)>, <44, 1/673*(24*w + 313)>, <156, 1/17*(w + 12)>, <96, 1/619*(21*w + 346)>, <24, 1/41065*(72*w + 41992)>, <48, 1/108353*(1254*w + 81491)>, <48, 1/173*(w + 165)>, <24, 1/4952*(7*w + 5036)>, <24, 1/364857*(2944*w + 319033)>, <4, 1/465*(16*w - 32)>, <4, 1/209*(16*w + 481)>, <20, 1/465*(19*w + 19)>, <4, 1/425257*(2816*w + 281520)>, <20, 1/19*(w + 1)>, <4, 1/2480*(144*w + 4329)>, <16, 1/85715*(1584*w + 20339)>, <76, 1/11*(w + 1)>, <24, 1/128*(23*w - 230)>, <96, 1/519*(16*w + 391)>, <96, 1/535*(16*w + 391)>, <12, 1/128*(3*w - 33)>, <24, 1/9*(8*w + 112)>, <48, 1/198*(19*w - 209)>, <48, 1/3*(w - 5)>, <24, 1/41065*(56*w + 40288)>, <48, 1/391*(2*w + 413)>, <48, 1/15351*(55*w + 16000)>, <24, 1/94163*(880*w + 91168)>, <48, 1/30751*(480*w + 17215)>, <24, 1/4393*(65*w + 2560)>, <24, 1/4202*(39*w + 4592)>, <24, 1/463*(32*w - 32)>, <36, 1/493*(22*w + 361)>, <48, 1/70*(23*w + 323)>, <48, 1/15351*(55*w - 704)>, <24, 1/94163*(880*w + 2115)>, <48, 1/30751*(480*w + 13056)>, <24, 1/395*(13*w + 512)>, <40, 1/573*(13*w + 130)>, <16, 1/300*(13*w - 143)>, <24, 1/4202*(39*w - 429)>, <24, 1/32*(w - 1)>, <36, 1/22*(w + 16)>, <168, 1/19*(w + 11)>, <100, 1/95*(2*w + 6)>, <48, 1/573*(16*w + 160)>, <120, 1/519*(11*w + 77)>, <36, 1/505*(18*w + 379)>, <12, 1/505*(4*w + 477)>, <12, 1/1072*(63*w + 883)>, <168, 1/20*(w + 11)>, <168, 1/107*(4*w + 71)>, <24, 1/173*(22*w - 176)>, <24, 1/1719*(19*w - 209)>, <24, 1/7*(w + 10)>, <24, 1/475*(7*w + 496)>, <12, 1/5225*(552*w + 3017)>, <12, 1/673*(11*w + 508)>, <48, 1/220*(19*w + 372)>, <48, 1/62519*(836*w + 16368)>, <200, 1/553*(19*w + 363)>, <24, 1/173*(22*w + 327)>, <24, 1/1719*(19*w + 1909)>, <72, 1/465*(13*w + 439)>, <12, 1/2261*(48*w + 885)>, <96, 1/5*(w + 1)>, <100, 1/101*(2*w + 12)>, <12, 1/342*(11*w + 463)>, <60, 1/463*(11*w - 11)>, <48, 1/16*(w + 10)>, <36, 1/595*(18*w + 379)>, <24, 1/133*(23*w + 41)>, <12, 1/262675*(4992*w + 162432)>, <96, 1/13*(w + 9)>, <120, 1/519*(11*w + 431)>, <24, 1/133*(23*w + 69)>, <24, 1/519*(22*w - 176)>, <24, 1/1333*(22*w + 638)>, <12, 1/475*(w + 478)>, <12, w + 5>, <12, 1/484*(9*w + 36)>, <24, 1/595*(18*w + 793)>, <24, 1/18*(w + 29)>, <96, 1/215*(9*w + 89)>, <24, 1/12380*(143*w + 14096)>, <24, 1/143*(20*w + 383)>, <16, 1/703*(13*w + 195)>, <16, 1/300*(13*w - 208)>, <24, 1/465*(4*w + 469)>, <12, 1/85289*(1911*w + 22373)>, <48, 1/6*(w - 2)>, <42, 1/144*(19*w - 247)>, <90, 1/619*(19*w + 228)>, <340, 1/25*(w + 11)>, <12, 1/1384*(133*w + 2315)>, <340, 1/25*(w + 13)>, <216, 1/535*(19*w + 364)>, <42, 1/619*(18*w + 216)>, <48, 1/465*(7*w + 7)>, <24, 1/673*(7*w - 105)>, <24, 1/10*(w + 21)>, <24, 1/9*(w + 21)>, <24, 1/189*(19*w - 209)>, <48, 1/483*(10*w + 40)>, <216, 1/19*(w + 10)>, <36, 1/11441*(180*w + 13961)>, <72, 1/469*(17*w + 418)>, <24, 1/3629*(63*w - 693)>, <24, 1/9*(w - 13)>, <48, 1/10*(w + 4)>, <24, 1/7*(w - 15)>, <24, 1/185*(2*w + 42)>, <48, 1/493*(7*w + 35)>, <42, 1/493*(18*w + 90)>, <114, 1/13*(w + 5)>, <6, 1/85289*(1404*w + 44820)>, <108, 1/18*(w + 7)>, <48, 1/645*(13*w + 463)>, <48, 1/463*(5*w + 463)>, <24, 1/418*(9*w + 454)>, <12, 1/12733*(156*w + 9808)>, <48, 1/493*(5*w + 463)>, <48, 1/463*(13*w + 463)>, <24, 1/247705*(3762*w + 189772)>, <24, 1/4393*(35*w + 4743)>, <24, 1/121619*(805*w + 109089)>, <24, 1/714*(13*w - 156)>, <24, 1/714*(13*w + 857)>, <52, 1/25*(w + 9)>, <52, 1/72*(25*w + 375)>, <24, 1/153*(22*w - 220)>, <24, 1/12166*(153*w - 1530)>, <48, 1/16*(w + 4)>, <24, 1/237*(8*w + 309)>, <48, 1/483*(16*w + 64)>, <24, 1/56*(3*w + 83)>, <204, 1/21*(w + 16)>, <24, 1/104315*(2184*w + 21827)>, <48, 1/465*(13*w + 478)>, <12, 1/259357*(6348*w + 229057)>, <12, 1/529*(5*w + 45)>, <12, 1/938*(529*w + 1996)>, <204, 1/23*(w + 18)>, <12, 1/7189*(306*w - 3060)>, <24, 1/9095*(247*w - 2223)>, <24, 1/247*(17*w - 153)>, <12, 1/1541*(20*w + 241)>, <144, 1/161*(3*w + 146)>, <72, 1/107*(2*w + 89)>, <24, 1/31*(5*w + 5)>, <36, 1/483*(5*w + 503)>, <36, 1/553*(5*w + 503)>, <48, 1/9*(w + 13)>, <48, 1/215*(3*w + 39)>, <48, 1/463*(10*w + 463)>, <48, 1/573*(10*w + 463)>, <72, 1/93*(2*w + 89)>, <24, 1/75*(w + 1)>, <24, 1/464*(19*w + 559)>, <24, 1/735*(8*w - 96)>, <72, 1/619*(13*w + 450)>, <24, 1/16905*(304*w + 8944)>, <72, 1/13*w>, <24, 1/735*(8*w + 823)>, <24, 1/519*(16*w - 128)>, <24, 1/16*(w - 8)>, <72, 1/619*(26*w + 312)>, <24, 1/5590*(19*w + 247)>, <24, 1/403*(30*w - 60)>, <6, 1/305167*(3042*w + 65065)>, <24, 1/19909*(390*w + 13890)>, <24, 1/17*(w + 17)>, <12, 1/356047*(8160*w + 222240)>, <24, 1/80099*(1064*w + 8659)>, <24, 1/7*(w + 13)>, <12, 1/1505*(152*w - 2128)>, <24, 1/456*(7*w - 14)>, <24, 1/1389*(176*w + 1213)>, <24, 1/764*(11*w - 121)>, <24, 1/11067*(190*w + 9025)>, <24, 1/11591*(190*w + 3060)>, <132, 1/20*(w + 6)>, <48, 1/155*(4*w + 4)>, <72, 1/833*(8*w + 921)>, <48, 1/3515*(16*w + 3259)>, <48, 1/15351*(80*w + 16295)>, <72, 1/7439*(56*w + 6447)>, <36, 1/4945*(8*w + 5049)>, <24, 1/1705*(171*w + 1363)>, <48, 1/191*(4*w + 40)>, <204, 1/573*(23*w + 320)>, <96, 1/493*(15*w + 403)>, <96, 1/553*(15*w + 403)>, <24, 1/360055*(2254*w + 32144)>, <24, 1/391*(9*w + 454)>, <12, 1/12166*(135*w + 13381)>, <64, 1/619*(22*w + 333)>, <24, 1/4671*(391*w + 7408)>, <204, 1/619*(23*w + 320)>, <24, 1/98*(23*w + 328)>, <12, 1/357585*(9196*w + 206668)>, <12, 1/484*(w + 17)>, <12, 1/6975*(484*w + 7459)>, <132, 1/101*(4*w + 24)>, <24, 1/926*(95*w - 95)>, <22, 1/12*(w + 14)>, <12, 1/6057*(361*w - 5415)>, <36, 1/673*(26*w + 283)>, <24, 1/399*(10*w - 50)>, <24, 1/100835*(1881*w + 14993)>, <24, 176/1389*w>, <24, 1/4343*(44*w + 803)>, <24, 1/35*(4*w - 40)>, <24, 1/1819*(20*w + 1444)>, <84, 1/25*(w + 8)>, <48, 1/18*(5*w + 80)>, <24, 1/100835*(1518*w + 67758)>, <24, 1/100835*(1518*w + 31559)>, <24, 1/134*(25*w + 59)>, <72, 1/19*(w + 14)>, <72, 1/19*(w + 4)>, <24, 1/4393*(50*w + 118)>, <36, 1/645*(16*w - 224)>, <12, 1/735*(16*w + 256)>, <12, 1/207*(16*w - 272)>, <24, 1/282489*(4048*w + 100441)>, <24, 1/253*(16*w + 397)>, <24, 1/120*(7*w - 28)>, <24, 1/4945*(66*w + 3438)>, <72, 1/13*(w + 11)>, <24, 1/1139*(18*w + 572)>, <24, 1/11*(w + 13)>, <24, 1/469*(11*w + 491)>, <12, 1/1190*(39*w - 468)>, <24, 1/214*(9*w + 286)>, <96, 1/95*(w + 91)>, <24, 1/665*(24*w - 96)>, <24, 1/474*(11*w + 573)>, <120, 1/119*(3*w + 33)>, <24, 1/7742*(323*w - 3230)>, <48, 1/535*(14*w + 112)>, <24, 1/595*(9*w + 99)>, <60, 1/9*(w + 6)>, <120, 1/15*(w + 11)>, <24, 1/323*(14*w - 140)>, <48, 1/14*(w + 8)>, <24, 1/9*(w + 11)>, <60, 1/505*(9*w + 54)>, <24, 1/319675*(3366*w + 240948)>, <48, 1/469*(16*w + 421)>, <48, 1/573*(11*w + 452)>, <12, 1/88433*(1254*w + 35651)>, <24, 1/319675*(3366*w + 75361)>, <48, 1/469*(16*w + 32)>, <48, 1/16*(w + 3)>, <48, 1/16*(w + 12)>, <24, 1/475*(66*w - 264)>, <24, 1/16625*(286*w + 5031)>, <24, 1/66*(w - 4)>, <24, 1/299*(22*w + 387)>, <24, 1/91*(22*w - 264)>, <16, 1/85715*(1584*w + 63792)>, <76, 1/11*(w + 9)>, <64, 1/505*(16*w + 393)>, <12, 1/372169*(4056*w + 315216)>, <51, 1/21*(w + 6)>, <24, 1/48901*(286*w + 44286)>, <12, 1/312945*(4624*w + 183184)>, <44, 1/24*(w + 9)>, <12, 1/116429*(1456*w - 3171)>, <20, 1/519*(7*w + 568)>, <248, 1/23*(w + 11)>, <64, 1/5117*(10*w - 128)>, <48, 1/22*(w + 13)>, <48, 1/535*(22*w + 337)>, <24, 1/3056*(91*w + 3966)>, <51, 1/505*(21*w + 126)>, <14, 1/64*(21*w + 358)>, <24, 1/273*(16*w + 433)>, <48, 1/469*(5*w + 454)>, <22, 1/673*(12*w + 168)>, <6, 1/5628*(529*w + 1058)>, <72, 1/7*(w + 3)>, <120, 1/22*(w + 10)>, <120, 1/595*(22*w + 331)>, <114, 1/13*(w + 7)>, <12, 1/10768*(209*w + 13694)>, <36, 1/465*(16*w + 433)>, <48, 1/160*(19*w - 247)>, <24, 1/673*(27*w + 268)>, <24, 1/110*(27*w - 295)>, <48, 1/11761*(160*w - 2080)>, <24, 1/45091*(561*w + 13794)>, <24, 1/9951*(170*w + 2216)>, <24, 1/231*(17*w + 418)>, <24, 1/938*(85*w + 1108)>, <4, 1/202*(15*w + 292)>, <4, 1/95*(3*w + 104)>, <4, 1/3059*(30*w + 1040)>, <8, 1/2525*(36*w - 252)>, <16, 1/4025*(24*w + 432)>, <8, 1/36*(5*w - 35)>, <16, 1/25*(w + 18)>, <4, 1/463*(20*w - 20)>, <8, 21/463*w>, <4, 1/1389*(400*w + 10649)>, <4, 1/63*(20*w + 463)>, <4, 1/10649*(60*w + 1389)>, <4, 1/400*(23*w + 400)>, <8, 1/21*w>, <16, 1/3*w>, <64, 1/553*(22*w + 333)>, <24, 1/22*(3*w - 30)>, <36, 1/6*(w + 10)>, <12, 1/191*(21*w - 231)>, <36, 1/315637*(3060*w + 237337)>, <72, 1/673*(17*w + 418)>, <12, 1/400435*(2106*w + 423358)>, <72, 1/26*(w + 12)>, <24, 1/1333*(26*w + 553)>, <276, 1/35*(w + 23)>, <276, 1/35*(w + 11)>, <6, 1/519*(25*w + 319)>, <6, 1/133037*(1200*w + 116525)>, <12, 1/769*(13*w + 221)>, <12, 1/600*(13*w + 535)>, <30, 1/493*(12*w + 421)>, <12, 1/10*(w + 16)>, <12, 1/625*(11*w + 66)>, <24, 1/1333*(26*w + 754)>, <24, 1/11067*(208*w + 3835)>, <90, 1/505*(19*w + 114)>, <84, 1/519*(20*w + 359)>, <24, 1/37195*(231*w + 3861)>, <84, 1/619*(20*w + 359)>, <24, 1/11067*(208*w + 7024)>, <24, 1/33*(7*w + 117)>, <24, 1/469*(10*w + 439)>, <12, 1/9342*(289*w + 11365)>, <72, 1/519*(23*w + 161)>, <48, 1/952*(3*w + 985)>, <24, 1/33043*(184*w + 33120)>, <24, 1/414*(17*w - 85)>, <24, 1/2461*(32*w - 288)>, <64, 1/16*(w + 9)>, <4, 1/279265*(4752*w + 116721)>, <4, 1/279265*(3267*w + 387747)>, <4, 1/425257*(1936*w + 229776)>, <4, 1/388345*(4224*w + 219264)>, <44, 1/24*(w + 6)>, <4, 1/505*(11*w + 571)>, <24, 1/2461*(32*w + 2717)>, <12, 1/26815*(384*w + 7359)>, <48, 1/8213*(24*w + 7880)>, <24, 1/414*(17*w + 482)>, <108, 1/161*(4*w + 16)>, <24, 1/184*(w + 180)>, <84, 1/573*(20*w + 200)>, <24, 1/152*(3*w + 158)>, <24, 1/55811*(828*w + 10179)>, <24, 1/805*(13*w + 558)>, <12, 1/81305*(1408*w + 25113)>, <84, 1/573*(20*w + 353)>, <24, 1/29605*(456*w + 24016)>, <24, 1/55811*(828*w + 44804)>, <120, 1/11*(w + 5)>, <72, 1/703*(23*w + 345)>, <24, 1/805*(13*w + 234)>, <24, 1/573*(11*w - 121)>, <24, 1/101*(3*w - 21)>, <24, 1/535*(4*w + 499)>, <48, 1/5*w>, <36, 1/703*(21*w + 315)>, <24, 1/8304*(299*w + 10397)>, <24, 1/2261*(39*w + 1143)>, <24, 1/10*(w + 13)>, <12, 1/361*(18*w + 379)>, <24, 1/6715*(48*w + 784)>, <36, 1/703*(22*w + 351)>, <24, 1/483*(10*w + 523)>, <36, 1/505*(22*w + 351)>, <24, 1/10*(w + 14)>, <24, 1/255*(22*w - 154)>, <48, 1/288*(17*w + 407)>, <48, 1/102125*(1632*w + 39072)>, <64, 1/5117*(10*w + 5235)>, <24, 1/2222*(51*w - 357)>, <12, 1/374325*(2992*w + 84832)>, <12, 1/17*(w - 2)>, <48, 1/673*(13*w + 478)>, <12, 1/1953*(80*w + 1793)>, <60, 1/93*(w - 2)>, <48, 1/173*(2*w + 157)>, <24, 1/185*(3*w + 63)>, <24, 1/925*(11*w + 231)>, <48, 5/463*w>, <24, 1/483*(4*w + 499)>, <24, 1/303*(13*w + 381)>, <24, 1/294025*(4784*w + 166352)>, <24, 1/10*(w - 4)>, <12, w + 6>, <12, 1/339865*(10164*w + 173272)>, <12, 1/493*(9*w - 54)>, <24, 1/28*(w - 2)>, <24, 1/9904*(255*w + 12964)>, <24, 1/326895*(2992*w + 248047)>, <36, 1/703*(17*w + 431)>, <24, 1/325489*(4080*w + 207424)>, <24, 1/619*(28*w + 255)>, <24, 1/435157*(4620*w - 46695)>, <12, 1/26*(7*w + 117)>, <8, 1/255025*(4368*w + 139104)>, <12, 1/7504*(361*w + 8226)>, <16, 1/469*(12*w + 24)>, <12, 1/247705*(3192*w + 59776)>, <12, 1/99545*(1274*w + 45374)>, <36, 1/535*(12*w + 427)>, <48, 1/383161*(1400*w - 17864)>, <24, 1/133*(20*w - 260)>, <24, 1/18*(w + 14)>, <24, 1/925*(8*w + 749)>, <48, 1/475*(9*w + 27)>, <24, 1/170*(19*w - 228)>, <36, 1/475*(12*w + 427)>, <156, 1/25*(w + 3)>, <12, 1/18*(w - 4)>, <48, 1/475*(9*w + 439)>, <24, 1/133*(2*w - 24)>, <24, 1/18*(w + 3)>, <24, 1/8*(w - 14)>, <12, 1/493*(20*w + 373)>, <12, 1/331789*(5460*w + 224500)>, <24, 1/133*(20*w + 373)>, <48, 1/16825*(56*w + 784)>, <12, 1/257145*(2888*w + 83504)>, <24, 1/94163*(805*w + 83398)>, <24, 1/865*(161*w - 1288)>, <24, 1/312*(19*w + 388)>, <24, 1/3059*(104*w + 3475)>, <24, 1/1819*(50*w + 2219)>, <20, 1/128543*(400*w + 123375)>, <24, 1/250*(17*w + 386)>, <72, 1/573*(14*w + 140)>, <96, 1/553*(13*w + 117)>, <72, 1/14*(w + 10)>, <24, 1/51*(4*w + 95)>, <24, 1/16205*(306*w + 8028)>, <24, 1/15*(w + 14)>, <12, 1/311599*(6720*w + 200704)>, <12, 1/645*(28*w + 253)>, <12, 1/319675*(3042*w + 248526)>, <72, 1/17*(w + 13)>, <12, 1/529*(5*w + 554)>, <12, 1/2*(w - 6)>, <24, 1/378*(17*w + 446)>, <24, 1/1817*(30*w + 885)>, <60, 1/69*(w + 73)>, <12, 1/2345*(26*w + 1396)>, <24, 1/105*(2*w + 71)>, <24, 1/573*(8*w + 653)>, <24, 1/805*(8*w + 653)>, <24, 1/45*(2*w + 59)>, <60, 1/85*(w + 73)>, <24, 1/989*(12*w + 285)>, <48, 1/93*(2*w + 95)>, <48, 1/805*(12*w + 216)>, <48, 1/805*(12*w + 577)>, <48, 1/553*(10*w + 453)>, <48, 1/463*(10*w + 453)>, <12, 1/230*(17*w + 383)>, <48, 1/119*(2*w + 95)>, <24, 1/17951*(198*w + 13518)>, <24, 1/573*(13*w + 703)>, <24, 1/377*(22*w + 487)>, <84, 1/595*(24*w + 307)>, <24, 1/3241*(528*w + 3241)>, <24, 1/187*(18*w - 216)>, <84, 1/24*(w + 12)>, <24, 1/3241*(528*w - 528)>, <24, 1/573*(13*w - 143)>, <24, 1/374*(13*w + 439)>, <24, 1/4085*(44*w + 4657)>, <24, 1/5590*(19*w + 5324)>, <12, 1/286597*(5850*w + 78247)>, <12, 1/456*(7*w - 7)>, <24, 7/463*w>, <24, 1/1771*(136*w + 2315)>, <24, 1/595*(12*w + 451)>, <24, 1/115*(4*w - 48)>, <60, 1/155*(4*w + 159)>, <24, 1/4952*(437*w + 10196)>, <24, 1/136*(21*w - 231)>, <24, 1/331165*(2856*w + 281253)>, <24, 1/317985*(3496*w + 81568)>, <60, 1/12*(w + 13)>, <24, 1/619*(7*w + 84)>, <24, 1/3451*(437*w + 5636)>, <106, 1/535*(23*w + 184)>, <30, 1/144*(23*w - 207)>, <24, 1/493*(7*w - 42)>, <24, 1/248775*(3059*w + 39452)>, <12, 1/3542*(95*w + 3922)>, <12, 1/769*(22*w + 373)>, <24, 1/483*(8*w - 40)>, <24, 1/619*(8*w + 96)>, <24, 1/6665*(92*w + 2916)>, <24, 1/12*w>, <24, 1/1771*(136*w - 680)>, <144, 1/17*(w + 6)>, <12, 1/2737*(110*w + 3177)>, <12, 1/129*(w + 13)>, <12, 1/428*(125*w + 1000)>, <24, 1/1027*(46*w + 1441)>, <24, 1/360055*(1196*w + 341803)>, <24, 1/360055*(1196*w + 17056)>, <24, 1/39525*(598*w + 18733)>, <24, 1/399*(11*w + 476)>, <48, 1/161*(2*w + 8)>, <48, 1/6*(w + 4)>, <24, 1/95945*(1463*w + 63308)>, <24, 1/553*(20*w + 733)>, <48, 1/465*(11*w - 22)>, <24, 1/1519*(16*w + 512)>, <24, 1/1333*(20*w + 733)>, <48, 1/11*(w - 2)>, <24, 1/469*(92*w - 276)>, <24, 1/155*(6*w + 143)>, <24, 1/41473*(780*w + 18645)>, <12, 1/161*(26*w + 31)>, <24, 1/201*(26*w + 123)>, <24, 1/4945*(78*w + 369)>, <24, 1/1035*(52*w + 1243)>, <24, 1/92*(w - 3)>, <24, 1/155*(6*w + 6)>, <24, 1/2709*(17*w - 238)>, <48, 1/2023*(44*w + 2507)>, <24, 1/469*(110*w + 220)>, <24, 1/352*(13*w + 430)>, <24, 1/286597*(4160*w + 144000)>, <24, 1/85*(21*w - 294)>, <48, 1/2023*(44*w - 528)>, <24, 1/110*(w + 2)>, <24, 1/268737*(4576*w + 151360)>, <24, 1/320*(13*w + 450)>, <24, 1/290311*(4560*w + 128896)>, <24, 1/432*(11*w + 476)>, <24, 1/8025*(304*w - 2736)>, <24, 1/95945*(1584*w + 68544)>, <24, 1/483*(8*w + 499)>, <24, 1/40375*(552*w + 34431)>, <14, 1/339865*(1344*w + 22912)>, <18, 1/29*(w + 14)>, <4, 1/673*(8*w + 112)>, <3, 1/609*(8*w + 553)>, <4, 1/505*(8*w - 56)>, <3, 1/4040*(609*w - 223)>, <2, 1/841*(13*w + 414)>, <1, 1/339865*(1856*w - 97832)>, <1, 1/452929*(3528*w + 92464)>, <12, 1/384*(17*w + 418)>, <36, 1/595*(26*w + 283)>, <12, 1/53167*(168*w + 50808)>, <4, 1/2261*(30*w + 1401)>, <4, 1/238*(25*w - 62)>, <4, 1/2261*(75*w + 2075)>, <4, 1/817*(10*w + 302)>, <20, 1/4*(5*w - 60)>, <20, 1/2975*(4*w - 48)>, <16, 1/16825*(52*w + 16045)>, <24, 1/925*(12*w + 661)>, <24, 1/925*(12*w + 252)>, <156, 1/37*(w + 15)>, <12, 1/6*(w - 16)>, <64, 1/519*(22*w + 343)>, <12, 1/272629*(2116*w + 271377)>, <12, 1/529*(9*w + 81)>, <12, 1/2958*(529*w - 216)>, <64, 1/673*(22*w + 343)>, <48, 1/346579*(4620*w + 261219)>, <24, 1/18171*(110*w + 16521)>, <24, 1/673*(27*w + 378)>, <12, 1/21*(22*w - 352)>, <48, 1/346579*(4620*w + 80740)>, <24, 1/312945*(4862*w + 129311)>, <24, 1/374*(13*w - 117)>, <24, 1/153*(20*w + 373)>, <24, 1/58805*(936*w + 5661)>, <36, 1/23*(w + 6)>, <12, 1/24*(23*w + 368)>, <8, 1/231217*(1380*w + 11337)>, <10, 1/493*(3*w + 475)>, <10, 1/12*(w + 17)>, <28, 1/493*(23*w + 115)>, <4, 1/11339*(460*w + 3779)>, <4, 1/243049*(5520*w + 288397)>, <8, 1/1479*(460*w + 3779)>, <8, 1/4011*(44*w + 4451)>, <24, 1/153*(20*w - 240)>, <24, 1/520*(9*w + 9)>, <72, 1/475*(17*w + 407)>, <24, 1/145*(2*w + 97)>, <6, 1/379117*(7500*w + 25992)>, <10, 1/493*(12*w + 553)>, <24, 1/325*(14*w - 98)>, <12, 1/399111*(4225*w + 340975)>, <60, 1/14*(w + 6)>, <24, 1/325*(14*w + 409)>, <24, 1/79*(2*w + 97)>, <24, 1/190*(21*w + 358)>, <24, 1/817*(14*w + 96)>, <24, 1/1616*(63*w + 1994)>, <24, 1/285*(28*w + 369)>, <24, 1/1616*(63*w - 441)>, <24, 1/190*(21*w - 189)>, <24, 1/105*(2*w + 2)>, <60, 1/93*(w + 94)>, <24, 1/5363*(84*w + 1107)>, <12, 1/108965*(2346*w + 59478)>, <12, 1/6*(w + 13)>, <12, 1/1290*(161*w - 2254)>, <24, 1/856*(9*w - 81)>, <24, 1/28*(9*w - 98)>, <24, 1/46225*(252*w - 2744)>, <24, 1/856*(9*w + 928)>, <24, 1/275*(16*w - 144)>, <24, 1/535*(24*w + 319)>, <24, 1/341*(32*w - 64)>, <48, 1/8*(w + 3)>, <24, 1/703*(11*w + 527)>, <24, 1/275*(16*w + 403)>, <24, 1/703*(24*w + 319)>, <40, 1/13*(w + 10)>, <24, 1/480*(11*w - 22)>, <48, 1/475*(8*w + 24)>, <24, 1/703*(11*w + 165)>, <24, 1/300475*(4554*w + 200034)>, <24, 1/16*(w + 21)>, <24, 1/45*(4*w - 32)>, <24, 1/4*(w - 1)>, <24, 1/399*(16*w + 447)>, <24, 1/285*(16*w - 128)>, <24, 1/345*(13*w + 423)>, <24, 1/94163*(1520*w + 54928)>, <24, 1/375*(22*w + 441)>, <24, 1/16205*(304*w + 7104)>, <24, 1/17131*(330*w + 6615)>, <24, 1/16205*(304*w + 8797)>, <24, 1/54435*(616*w + 43648)>, <12, 1/5700*(391*w + 6873)>, <24, 1/54435*(616*w + 10171)>, <12, 1/88*(w - 4)>, <36, 1/119*(w + 107)>, <24, 1/4343*(28*w + 511)>, <24, 1/493*(16*w + 573)>, <24, 1/9342*(253*w + 11113)>, <24, 1/463*(4*w - 4)>, <24, 1/400*(21*w + 463)>, <24, 1/45*(4*w + 73)>, <36, 1/101*(w + 107)>, <24, 1/1313*(69*w + 1727)>, <12, 1/3806*(63*w + 4247)>, <36, 1/16*(w + 14)>, <12, 1/28939*(420*w + 3795)>, <24, 1/435157*(4620*w + 477232)>, <24, 1/28*(w + 15)>, <12, 1/289*(12*w + 433)>, <12, 1/15*(w + 12)>, <8, 1/305809*(3648*w + 69696)>, <12, 1/8047*(294*w - 3822)>, <24, 1/925*(13*w + 639)>, <24, 1/1333*(17*w + 493)>, <24, 1/535*(13*w + 639)>, <24, 1/6*(w + 2)>, <12, 1/17353*(342*w + 7885)>, <24, 1/619*(17*w - 221)>, <8, 1/192*(19*w + 363)>, <36, 1/4393*(30*w + 4693)>, <12, 1/805*(176*w + 704)>, <12, 1/239875*(1452*w + 234256)>, <12, 1/484*(3*w + 18)>, <12, 1/3325*(484*w + 1389)>, <60, 1/463*(11*w + 463)>, <12, 1/12733*(108*w + 10708)>, <12, 1/4655*(36*w + 5231)>, <24, 1/469*(19*w + 412)>, <24, 1/642*(19*w + 794)>, <24, 1/642*(19*w - 171)>, <12, 1/625*(8*w + 553)>, <20, 1/673*(6*w + 84)>, <12, 1/505*(88*w - 616)>, <24, 1/4655*(52*w + 1027)>, <24, 1/191*(9*w + 92)>, <24, 1/46795*(468*w - 5252)>, <24, 1/4655*(52*w + 3576)>, <24, 1/8381*(378*w - 2268)>, <12, 1/6019*(476*w + 5543)>, <28, 1/493*(23*w + 355)>, <12, 1/379117*(828*w - 13608)>, <24, 1/378*(17*w - 102)>, <24, 1/46795*(468*w + 51579)>, <24, 1/27*(w + 16)>, <12, 1/14*(w - 5)>, <24, 1/2*(w - 17)>, <24, 1/319*(24*w + 439)>, <24, 1/16205*(264*w + 4829)>, <12, 1/493*(18*w + 583)>, <12, 1/14645*(204*w + 7284)>, <6, 1/248965*(4332*w + 92652)>, <12, 1/12*(w + 12)>, <12, 1/5556*(475*w + 5081)>, <24, 1/428*(23*w - 207)>, <24, 1/99659*(1292*w + 30248)>, <24, 1/229245*(3059*w + 29099)>, <12, 1/11339*(240*w + 12539)>, <12, 1/331789*(4761*w + 284602)>, <24, 1/465*(4*w - 8)>, <24, 1/3283*(437*w + 4157)>, <36, 1/191*(2*w + 20)>, <24, 1/428*(23*w + 612)>, <24, 1/3247*(76*w - 836)>, <24, 1/322*(13*w + 478)>, <24, 1/8047*(322*w + 11911)>, <24, 1/12245*(209*w + 8417)>, <24, 1/253*(19*w - 95)>, <24, 1/140*(3*w + 158)>, <48, 1/5243*(30*w + 5615)>, <24, 1/5921*(84*w + 4424)>, <48, 1/573*(11*w + 110)>, <24, 1/69*(2*w + 71)>, <12, 1/321261*(2380*w + 276160)>, <24, 1/2345*(46*w + 1633)>, <24, 1/8381*(322*w - 1932)>, <24, 1/325*(16*w + 421)>, <24, 1/1547*(64*w - 768)>, <24, 1/8381*(322*w + 9991)>, <24, 1/60501*(1040*w + 27365)>, <24, 1/1547*(64*w + 2251)>, <24, 1/33043*(462*w + 9625)>, <24, 1/357*(16*w + 421)>, <24, 1/155*(24*w - 48)>, <24, 1/33043*(462*w + 22956)>, <24, 1/368*(17*w + 436)>, <24, 1/72*(w - 2)>, <30, 1/505*(8*w + 449)>, <6, 1/1240*(147*w + 1387)>, <12, 1/5293*(72*w + 253)>, <16, 1/6*(25*w - 319)>, <16, 1/15475*(6*w + 15397)>, <12, 1/484*(3*w + 523)>, <4, 1/315637*(3900*w + 151512)>, <20, 1/48*(25*w - 275)>, <16, 1/2483*(100*w - 1100)>, <24, 1/315637*(5083*w + 185572)>, <12, 1/529*(9*w + 502)>, <12, 1/619*(10*w + 120)>, <24, 1/8823*(299*w + 10916)>, <12, 1/364857*(230*w - 3580)>, <12, 1/161*(22*w - 198)>, <24, 1/253*(20*w + 373)>, <30, 1/505*(12*w + 421)>, <18, 1/3*(w + 8)>, <12, 1/529*(2*w + 10)>, <24, 1/354687*(1012*w + 339595)>, <8, 1/354025*(1518*w + 21054)>, <24, 1/10100*(253*w + 11618)>, <24, 1/87*(4*w + 107)>, <24, 1/15*(w - 9)>, <12, 1/255867*(4550*w + 106067)>, <24, 1/15*(w + 23)>, <24, 1/87*(4*w - 24)>, <24, 1/1177*(84*w + 1849)>, <24, 1/1177*(84*w - 756)>, <12, 1/930*(161*w + 608)>, <36, 1/161*(w + 156)>, <4, 1/2595*(98*w + 3281)>, <36, 1/161*(w + 4)>, <24, 1/4601*(40*w + 4600)>, <24, 1/17353*(312*w + 5161)>, <24, 1/63*(4*w - 20)>, <48, 1/20*(w + 15)>, <24, 1/120*(w + 115)>, <24, 1/325*(24*w + 397)>, <24, 1/63*(4*w + 79)>, <48, 1/483*(20*w + 383)>, <60, 1/519*(14*w + 407)>, <24, 1/14*(w + 21)>, <24, 1/61761*(460*w + 62905)>, <24, 4/463*w>, <24, 1/69*(w - 1)>, <24, 1/311599*(6270*w + 118065)>, <24, 1/3287*(85*w - 680)>, <24, 1/3287*(85*w + 3882)>, <24, 1/7035*(418*w + 7871)>, <48, 1/95*(w + 98)>, <12, 1/51*(22*w - 308)>, <48, 1/107*(w + 98)>, <24, 1/925*(14*w + 294)>, <24, 1/475*(4*w + 12)>, <24, 1/404*(115*w + 690)>, <24, 1/5293*(69*w + 463)>, <8, 1/452929*(4872*w - 44856)>, <8, 1/452929*(4872*w + 492913)>, <48, 1/465*(14*w + 437)>, <24, 1/483*(17*w - 85)>, <48, 1/465*(14*w + 14)>, <24, 1/925*(17*w + 357)>, <4, 1/553*(5*w - 50)>, <4, 1/12166*(25*w + 15156)>, <4, 1/528*(5*w + 598)>, <4, 1/14931*(110*w + 13156)>, <4, 1/25*(27*w + 268)>, <16, 1/469*(3*w + 460)>, <36, 1/519*(5*w + 35)>, <12, 1/3283*(484*w + 968)>, <12, 1/463*(9*w + 454)>, <12, 1/749*(80*w + 1389)>, <12, 1/769*(21*w + 357)>, <12, 1/34*(21*w - 378)>, <12, 1/37195*(476*w + 28763)>, <12, 1/483*(2*w + 473)>, <12, 1/67*(3*w + 58)>, <12, 1/1015*(12*w + 727)>, <42, 1/11761*(144*w - 1872)>, <24, 1/437*(8*w + 485)>, <24, 1/4040*(437*w + 6662)>, <12, 1/357585*(8464*w + 254449)>, <12, 1/15*(w + 17)>, <12, 1/4671*(400*w + 7471)>, <12, 1/322*(17*w - 85)>, <36, 1/23*(w + 16)>, <24, 1/268737*(5083*w + 168130)>, <24, 1/391*(13*w + 430)>, <12, 1/553*(8*w + 473)>, <12, 1/310*(21*w + 268)>, <12, 1/69*(22*w + 333)>, <4, 1/6636*(325*w + 9561)>, <16, 1/469*(12*w + 433)>, <8, 1/13825*(78*w - 780)>, <8, 1/78*(25*w - 250)>, <24, 1/519*(10*w + 439)>, <12, 1/6*(w + 8)>, <12, 1/529*(w + 2)>, <12, 1/535*(3*w - 27)>, <12, 1/529*(2*w + 551)>, <24, 1/217*(4*w + 85)>, <12, 1/707*(15*w + 797)>, <24, 1/28*(w - 5)>, <24, 1/96*(w + 98)>, <24, 1/10165*(96*w + 9408)>, <24, 1/620*(161*w - 322)>, <24, 1/29605*(483*w + 3684)>, <24, 1/317985*(3952*w + 78832)>, <24, 1/298635*(5681*w + 202331)>, <24, 1/437*(16*w - 80)>, <24, 1/10507*(208*w - 2080)>, <24, 1/336*(19*w - 95)>, <10, 1/469*(3*w + 475)>, <6, 1/484*(3*w + 475)>, <24, 1/95*(22*w + 337)>, <6, 1/1605*(484*w + 5477)>, <18, 1/535*(3*w + 24)>, <24, 1/2618*(19*w + 2827)>, <24, 1/620*(161*w + 781)>, <24, 1/6097*(437*w - 1311)>, <24, 3/161*w>, <12, 1/10095*(238*w + 13427)>, <24, 1/463*(15*w + 448)>, <12, 1/453435*(5684*w + 500279)>, <12, 1/29*(w + 15)>, <4, 1/619*(5*w + 554)>, <4, 1/14013*(484*w + 10141)>, <4, 1/14013*(110*w + 12188)>, <4, 1/14806*(110*w + 16521)>, <20, 1/519*(7*w - 56)>, <4, 1/349287*(770*w + 12005)>, <12, 1/430*(147*w + 2341)>, <12, 1/469*(2*w + 463)>, <12, 1/926*(63*w + 863)>, <24, 1/391*(12*w - 84)>, <12, 1/290311*(7935*w + 224296)>, <12, 1/529*(4*w + 48)>, <12, 1/2814*(529*w + 3872)>, <24, 1/286597*(4692*w + 100872)>, <12, 1/3820*(51*w + 4330)>, <12, 1/1501*(28*w + 1753)>, <36, 1/469*(5*w - 15)>, <24, 1/2345*(38*w + 958)>, <12, 1/57*(2*w - 6)>, <24, 1/346*(19*w + 479)>, <20, 1/535*(6*w - 54)>, <4, 1/12305*(6*w + 15563)>, <4, 1/529*(w + 543)>, <4, 1/12840*(23*w + 12489)>, <4, 1/372169*(12696*w + 165577)>, <4, 1/535*(w - 9)>, <12, 1/10807*(168*w + 6159)>, <24, 1/66233*(483*w + 57792)>, <24, 1/2499*(23*w + 2752)>, <24, 1/437*(14*w + 479)>, <24, 1/437*(13*w + 450)>, <12, 1/8911*(374*w - 1122)>, <24, 1/350*(23*w + 419)>, <24, 1/286597*(5681*w + 196650)>, <12, 1/325489*(3570*w + 211725)>, <12, 1/703*(15*w + 463)>, <24, 1/85*(4*w - 16)>, <24, 1/85*(4*w + 97)>, <12, 1/463*(2*w + 461)>, <12, 1/29605*(588*w + 7408)>, <24, 1/348*(23*w + 463)>, <24, 1/391*(12*w + 451)>, <12, 1/529*(4*w + 529)>, <12, 1/3438*(529*w + 5290)>, <12, 1/265299*(5819*w + 20372)>, <12, 1/262095*(4522*w + 131461)>, <24, 1/10887*(182*w - 2002)>, <24, 1/182*(19*w - 209)>, <24, 1/107087*(840*w + 13175)>, <24, 1/955*(168*w + 2635)>, <12, 1/42385*(152*w - 2223)>, <8, 1/191*(184*w + 2031)>, <4, 1/553*(w + 562)>, <4, 1/215*(w + 13)>, <4, 1/105623*(4416*w + 48744)>, <4, 1/5160*(23*w + 4814)>, <8, 1/105623*(184*w + 2031)>, <12, 1/155*(32*w + 32)>, <12, 1/340305*(6137*w + 173162)>, <24, 1/6*(w + 5)>, <12, 1/2945*(136*w - 272)>, <8, 1/44*(7*w + 114)>, <24, 1/463*(6*w + 457)>, <12, 529/2778*w>, <12, 1/102935*(3648*w + 70464)>, <12, 1/192*(w + 11)>, <12, 1/173*(192*w + 1517)>, <12, 1/12019*(96*w + 10272)>, <24, 1/463*(17*w + 463)>, <12, 1/4614*(361*w + 10751)>, <8, 1/66*(23*w + 319)>, <12, 1/19*(24*w - 312)>, <-12, 1/339865*(-4232*w + 296769)>, <-12, 1/529*(-3*w + 45)>, <-12, 1/9090*(-529*w + 5916)>, <-12, 1/3438*(-65*w - 650)>, <-24, 1/96455*(-1224*w + 68663)>, <-12, 1/3*(-w + 10)>, <-12, 1/529*(-8*w + 56)>, <-4, 1/463*(-w + 464)>, <-4, 1/883*(-19*w + 399)>, <-4, 1/883*(-22*w + 462)>, <-4, 1/71765*(-3388*w + 10186)>, <-4, 1/19426*(-399*w + 11028)>, <-12, 1/14763*(-52*w - 780)>, <-12, 1/414*(-7*w - 42)>, <-12, 1/16*(-w + 16)>, <-12, 1/11248*(-207*w - 3105)>, <-12, 1/60*(-w - 9)>, <-12, 1/6463*(-18*w + 6121)>, <-12, 1/843*(-23*w + 460)>, <-24, 1/519*(-7*w + 56)>, <-12, 1/414*(-7*w - 49)>, <-12, 1/294025*(-4356*w + 51057)>, <-12, 1/222775*(-484*w - 5189)>, <-12, 1/484*(-15*w + 439)>, <-24, 1/234*(-19*w + 386)>, <-12, 1/931*(-4*w + 852)>, <-12, 1/147*(-4*w + 83)>, <-12, 1/5159*(-414*w - 828)>, <-24, 1/2941*(-88*w + 3645)>, <-2, 1/462*(-w + 463)>, <-2, 1/9723*(-462*w + 10648)>, <-2, 1/463*(-441*w + 10627)>, <-12, 1/20*(-w + 20)>, <-12, 1/5620*(-21*w - 399)>, <-24, 1/465*(-4*w + 461)>, <-12, 1/134*(-21*w + 197)>, <-12, 1/236845*(-2601*w + 109107)>, <-12, 1/20*(-w + 18)>, <-12, 1/27853*(-500*w + 10228)>, <-12, 1/22*(-5*w - 40)>, <-12, 1/121*(-23*w - 207)>, <-4, 1/465*(-16*w - 16)>, <-4, 1/209*(-16*w + 497)>, <-4, 1/425257*(-2816*w + 284336)>, <-4, 1/2480*(-144*w + 4473)>, <-12, 1/128*(-3*w - 30)>, <-12, 1/505*(-4*w + 481)>, <-12, 1/1072*(-63*w + 946)>, <-12, 1/5225*(-552*w + 3569)>, <-12, 1/673*(-11*w + 519)>, <-12, 1/2261*(-48*w + 933)>, <-12, 1/342*(-11*w + 474)>, <-12, 1/262675*(-4992*w + 167424)>, <-12, 1/475*(-w + 479)>, <-12, -w + 6>, <-12, 1/484*(-9*w + 45)>, <-16, 1/703*(-13*w + 208)>, <-16, 1/300*(-13*w - 195)>, <-12, 1/85289*(-1911*w + 24284)>, <-12, 1/1384*(-133*w + 2448)>, <-6, 1/85289*(-1404*w + 46224)>, <-12, 1/12733*(-156*w + 9964)>, <-24, 1/104315*(-2184*w + 24011)>, <-12, 1/259357*(-6348*w + 235405)>, <-12, 1/529*(-5*w + 50)>, <-12, 1/938*(-529*w + 2525)>, <-12, 1/7189*(-306*w - 2754)>, <-12, 1/1541*(-20*w + 261)>, <-6, 1/305167*(-3042*w + 68107)>, <-12, 1/356047*(-8160*w + 230400)>, <-24, 1/7*(-w + 14)>, <-12, 1/1505*(-152*w - 1976)>, <-36, 1/4945*(-8*w + 5057)>, <-12, 1/12166*(-135*w + 13516)>, <-12, 1/357585*(-9196*w + 215864)>, <-12, 1/484*(-w + 18)>, <-12, 1/6975*(-484*w + 7943)>, <-12, 1/6057*(-361*w - 5054)>, <-36, 1/645*(-16*w - 208)>, <-12, 1/735*(-16*w + 272)>, <-12, 1/207*(-16*w - 256)>, <-12, 1/1190*(-39*w - 429)>, <-12, 1/88433*(-1254*w + 36905)>, <-12, 1/372169*(-4056*w + 319272)>, <-12, 1/312945*(-4624*w + 187808)>, <-12, 1/116429*(-1456*w - 1715)>, <-6, 1/5628*(-529*w + 1587)>, <-12, 1/10768*(-209*w + 13903)>, <-4, 1/202*(-15*w + 307)>, <-4, 1/95*(-3*w + 107)>, <-4, 1/3059*(-30*w + 1070)>, <-16, 1/4025*(-24*w + 456)>, <-16, 1/25*(-w + 19)>, <-4, -20/463*w>, <-4, 1/1389*(-400*w + 11049)>, <-4, 1/63*(-20*w + 483)>, <-4, 1/10649*(-60*w + 1449)>, <-4, 1/400*(-23*w + 423)>, <-24, 1/22*(-3*w - 27)>, <-12, 1/191*(-21*w - 210)>, <-12, 1/400435*(-2106*w + 425464)>, <-6, 1/519*(-25*w + 344)>, <-6, 1/133037*(-1200*w + 117725)>, <-12, 1/769*(-13*w + 234)>, <-12, 1/600*(-13*w + 548)>, <-12, 1/10*(-w + 17)>, <-12, 1/625*(-11*w + 77)>, <-12, 1/9342*(-289*w + 11654)>, <-4, 1/279265*(-4752*w + 121473)>, <-4, 1/279265*(-3267*w + 391014)>, <-4, 1/425257*(-1936*w + 231712)>, <-4, 1/388345*(-4224*w + 223488)>, <-4, 1/505*(-11*w + 582)>, <-12, 1/26815*(-384*w + 7743)>, <-12, 1/81305*(-1408*w + 26521)>, <-12, 1/361*(-18*w + 397)>, <-24, 1/6715*(-48*w + 832)>, <-12, 1/374325*(-2992*w + 87824)>, <-12, 1/17*(-w - 1)>, <-12, 1/1953*(-80*w + 1873)>, <-12, -w + 7>, <-12, 1/339865*(-10164*w + 183436)>, <-12, 1/493*(-9*w - 45)>, <-24, 1/28*(-w - 1)>, <-24, 1/326895*(-2992*w + 251039)>, <-36, 1/703*(-17*w + 448)>, <-12, 1/26*(-7*w + 124)>, <-8, 1/255025*(-4368*w + 143472)>, <-12, 1/7504*(-361*w + 8587)>, <-12, 1/247705*(-3192*w + 62968)>, <-12, 1/99545*(-1274*w + 46648)>, <-12, 1/18*(-w - 3)>, <-12, 1/493*(-20*w + 393)>, <-12, 1/331789*(-5460*w + 229960)>, <-12, 1/257145*(-2888*w + 86392)>, <-12, 1/311599*(-6720*w + 207424)>, <-12, 1/645*(-28*w + 281)>, <-12, 1/319675*(-3042*w + 251568)>, <-12, 1/529*(-5*w + 559)>, <-12, 1/2*(-w - 5)>, <-12, 1/2345*(-26*w + 1422)>, <-24, 1/105*(-2*w + 73)>, <-12, 1/230*(-17*w + 400)>, <-24, 1/4085*(-44*w + 4701)>, <-12, 1/286597*(-5850*w + 84097)>, <-12, -7/456*w>, <-12, 1/3542*(-95*w + 4017)>, <-12, 1/769*(-22*w + 395)>, <-12, 1/2737*(-110*w + 3287)>, <-12, 1/129*(-w + 14)>, <-12, 1/428*(-125*w + 1125)>, <-24, 1/1519*(-16*w + 528)>, <-12, 1/161*(-26*w + 57)>, <-1, 1/339865*(-1856*w - 95976)>, <-1, 1/452929*(-3528*w + 95992)>, <-12, 1/384*(-17*w + 435)>, <-12, 1/53167*(-168*w + 50976)>, <-4, 1/2261*(-30*w + 1431)>, <-4, 1/238*(-25*w - 37)>, <-4, 1/2261*(-75*w + 2150)>, <-4, 1/817*(-10*w + 312)>, <-16, 1/16825*(-52*w + 16097)>, <-12, 1/6*(-w - 15)>, <-12, 1/272629*(-2116*w + 273493)>, <-12, 1/529*(-9*w + 90)>, <-12, 1/2958*(-529*w + 313)>, <-12, 1/21*(-22*w - 330)>, <-12, 1/24*(-23*w + 391)>, <-4, 1/11339*(-460*w + 4239)>, <-4, 1/243049*(-5520*w + 293917)>, <-6, 1/379117*(-7500*w + 33492)>, <-12, 1/399111*(-4225*w + 345200)>, <-12, 1/108965*(-2346*w + 61824)>, <-12, 1/6*(-w + 14)>, <-12, 1/1290*(-161*w - 2093)>, <-12, 1/5700*(-391*w + 7264)>, <-12, 1/88*(-w - 3)>, <-24, 1/4343*(-28*w + 539)>, <-12, 1/3806*(-63*w + 4310)>, <-12, 1/28939*(-420*w + 4215)>, <-12, 1/289*(-12*w + 445)>, <-12, 1/15*(-w + 13)>, <-12, 1/8047*(-294*w - 3528)>, <-24, 1/6*(-w + 3)>, <-12, 1/17353*(-342*w + 8227)>, <-36, 1/4393*(-30*w + 4723)>, <-12, 1/805*(-176*w + 880)>, <-12, 1/239875*(-1452*w + 235708)>, <-12, 1/484*(-3*w + 21)>, <-12, 1/3325*(-484*w + 1873)>, <-12, 1/12733*(-108*w + 10816)>, <-12, 1/4655*(-36*w + 5267)>, <-24, 1/469*(-19*w + 431)>, <-12, 1/625*(-8*w + 561)>, <-12, 1/505*(-88*w - 528)>, <-12, 1/6019*(-476*w + 6019)>, <-12, 1/379117*(-828*w - 12780)>, <-12, 1/14*(-w - 4)>, <-24, 1/2*(-w - 16)>, <-12, 1/493*(-18*w + 601)>, <-12, 1/14645*(-204*w + 7488)>, <-6, 1/248965*(-4332*w + 96984)>, <-12, 1/12*(-w + 13)>, <-12, 1/5556*(-475*w + 5556)>, <-12, 1/11339*(-240*w + 12779)>, <-12, 1/331789*(-4761*w + 289363)>, <-12, 1/321261*(-2380*w + 278540)>, <-6, 1/1240*(-147*w + 1534)>, <-12, 1/5293*(-72*w + 325)>, <-12, 1/484*(-3*w + 526)>, <-4, 1/315637*(-3900*w + 155412)>, <-12, 1/529*(-9*w + 511)>, <-12, 1/619*(-10*w + 130)>, <-12, 1/364857*(-230*w - 3350)>, <-12, 1/161*(-22*w - 176)>, <-12, 1/529*(-2*w + 12)>, <-24, 1/354687*(-1012*w + 340607)>, <-12, 1/255867*(-4550*w + 110617)>, <-12, 1/930*(-161*w + 769)>, <-4, 1/2595*(-98*w + 3379)>, <-12, 1/51*(-22*w - 286)>, <-4, 1/553*(-5*w - 45)>, <-4, 1/12166*(-25*w + 15181)>, <-4, 1/528*(-5*w + 603)>, <-4, 1/14931*(-110*w + 13266)>, <-4, 1/25*(-27*w + 295)>, <-12, 1/3283*(-484*w + 1452)>, <-12, 1/463*(-9*w + 463)>, <-12, 1/749*(-80*w + 1469)>, <-12, 1/769*(-21*w + 378)>, <-12, 1/34*(-21*w - 357)>, <-12, 1/37195*(-476*w + 29239)>, <-12, 1/483*(-2*w + 475)>, <-12, 1/67*(-3*w + 61)>, <-12, 1/1015*(-12*w + 739)>, <-12, 1/357585*(-8464*w + 262913)>, <-12, 1/15*(-w + 18)>, <-12, 1/4671*(-400*w + 7871)>, <-12, 1/322*(-17*w - 68)>, <-12, 1/553*(-8*w + 481)>, <-12, 1/310*(-21*w + 289)>, <-12, 1/69*(-22*w + 355)>, <-4, 1/6636*(-325*w + 9886)>, <-12, 1/6*(-w + 9)>, <-12, 1/529*(-w + 3)>, <-12, 1/535*(-3*w - 24)>, <-12, 1/529*(-2*w + 553)>, <-12, 1/707*(-15*w + 812)>, <-6, 1/484*(-3*w + 478)>, <-6, 1/1605*(-484*w + 5961)>, <-12, 1/10095*(-238*w + 13665)>, <-12, 1/453435*(-5684*w + 505963)>, <-12, 1/29*(-w + 16)>, <-4, 1/619*(-5*w + 559)>, <-4, 1/14013*(-484*w + 10625)>, <-4, 1/14013*(-110*w + 12298)>, <-4, 1/14806*(-110*w + 16631)>, <-4, 1/349287*(-770*w + 12775)>, <-12, 1/430*(-147*w + 2488)>, <-12, 1/469*(-2*w + 465)>, <-12, 1/926*(-63*w + 926)>, <-12, 1/290311*(-7935*w + 232231)>, <-12, 1/529*(-4*w + 52)>, <-12, 1/2814*(-529*w + 4401)>, <-12, 1/3820*(-51*w + 4381)>, <-12, 1/1501*(-28*w + 1781)>, <-12, 1/57*(-2*w - 4)>, <-4, 1/12305*(-6*w + 15569)>, <-4, 1/529*(-w + 544)>, <-4, 1/12840*(-23*w + 12512)>, <-4, 1/372169*(-12696*w + 178273)>, <-4, 1/535*(-w - 8)>, <-12, 1/10807*(-168*w + 6327)>, <-12, 1/8911*(-374*w - 748)>, <-12, 1/325489*(-3570*w + 215295)>, <-12, 1/703*(-15*w + 478)>, <-12, 1/463*(-2*w + 463)>, <-12, 1/29605*(-588*w + 7996)>, <-12, 1/529*(-4*w + 533)>, <-12, 1/3438*(-529*w + 5819)>, <-12, 1/265299*(-5819*w + 26191)>, <-12, 1/262095*(-4522*w + 135983)>, <-12, 1/42385*(-152*w - 2071)>, <-4, 1/553*(-w + 563)>, <-4, 1/215*(-w + 14)>, <-4, 1/105623*(-4416*w + 53160)>, <-4, 1/5160*(-23*w + 4837)>, <-12, 1/155*(-32*w + 64)>, <-12, 1/340305*(-6137*w + 179299)>, <-12, 1/2945*(-136*w - 136)>, <-12, 1/2778*(-529*w + 529)>, <-12, 1/102935*(-3648*w + 74112)>, <-12, 1/192*(-w + 12)>, <-12, 1/173*(-192*w + 1709)>, <-12, 1/12019*(-96*w + 10368)>, <-12, 1/4614*(-361*w + 11112)>, <-12, 1/19*(-24*w - 288)> ]