/* Defining polynomial */ x^2 - x + 501 /* GCD of coefficients */ 1 /* 24 * |disc|^(3/2) /(8*pi^2)* zeta_F(2) */ 37695.2725787102030172282836901 /* Belt */ [ <96, 1/591*(16*w + 431)>, <96, 1/543*(16*w + 431)>, <192, 1/611*(23*w + 230)>, <192, 1/611*(23*w + 358)>, <48, 1/503*(12*w + 515)>, <48, 1/683*(12*w + 515)>, <24, 1/12027*(208*w + 14315)>, <24, 1/324441*(5168*w + 140505)>, <24, 1/362673*(3952*w + 271985)>, <24, 1/323*(16*w + 435)>, <160, 1/21*(w + 6)>, <24, 1/132*(5*w - 35)>, <72, 1/557*(18*w + 126)>, <48, 1/501*(10*w + 491)>, <180, 1/573*(19*w + 402)>, <180, 1/573*(19*w + 152)>, <48, 1/591*(10*w + 491)>, <160, 1/181*(7*w + 42)>, <24, 1/905*(44*w - 308)>, <72, 1/18*(w + 7)>, <72, 1/167*(4*w + 167)>, <24, 1/1114*(35*w + 1359)>, <156, 1/17*(w + 9)>, <24, 1/13*(8*w + 117)>, <60, 1/543*(20*w + 403)>, <156, 1/591*(17*w + 153)>, <24, 1/4503*(70*w + 2718)>, <60, 1/683*(20*w + 403)>, <48, 1/288*(17*w - 153)>, <48, 1/3247*(96*w - 864)>, <208, 1/591*(19*w + 171)>, <48, 1/360*(13*w + 516)>, <48, 1/167*(w + 166)>, <36, 1/13*(w - 2)>, <84, 1/521*(17*w + 436)>, <84, 1/657*(17*w + 436)>, <192, 1/25*(w + 13)>, <24, 1/1991*(160*w + 2951)>, <192, 1/683*(25*w + 325)>, <24, 1/1606*(13*w + 1762)>, <24, 1/121581*(1760*w + 32461)>, <72, 1/503*(11*w + 481)>, <48, 1/169*(w + 166)>, <36, 1/711*(13*w + 516)>, <24, 1/13*(8*w - 112)>, <72, 1/219*(4*w + 167)>, <48, 1/949*(40*w + 1429)>, <72, 1/591*(11*w + 481)>, <24, 1/117*(22*w + 381)>, <78, 1/57*(w + 60)>, <48, 1/503*(7*w + 7)>, <204, 1/59*(w + 53)>, <120, 1/219*(5*w + 60)>, <252, 1/219*(7*w + 128)>, <124, 1/24*(w + 14)>, <84, 1/12*(w + 11)>, <84, 1/167*(4*w + 163)>, <28, 1/16*(w - 2)>, <120, 1/557*(13*w + 91)>, <204, 1/57*(w + 53)>, <120, 1/531*(13*w + 65)>, <78, 1/73*(w + 60)>, <48, 1/503*(7*w + 489)>, <124, 1/24*(w + 9)>, <120, 1/219*(5*w + 154)>, <252, 1/191*(7*w + 128)>, <28, 1/16*(w + 17)>, <156, 1/683*(23*w + 361)>, <24, 1/10*(w - 14)>, <24, 1/10*(w + 23)>, <156, 1/23*(w + 9)>, <48, 1/507*(16*w + 32)>, <48, 1/507*(16*w + 459)>, <288, 1/197*(7*w + 127)>, <288, 1/211*(7*w + 127)>, <224, 1/657*(25*w + 332)>, <24, 1/299*(16*w - 176)>, <132, 1/169*(3*w + 6)>, <24, 1/299*(16*w + 459)>, <132, 1/9*(w + 2)>, <144, 1/18*(w + 9)>, <24, 1/543*(5*w + 508)>, <24, 1/503*(5*w + 508)>, <24, 1/345*(13*w - 156)>, <24, 1/132*(5*w - 40)>, <24, 1/7*(w - 1)>, <24, 1/41249*(660*w + 18545)>, <24, 1/557*(7*w + 501)>, <24, 1/109719*(1495*w + 52104)>, <144, 1/18*(w + 8)>, <84, 1/9*(w - 1)>, <24, 1/175*(3*w - 3)>, <48, 1/134551*(828*w + 120727)>, <24, 1/175*(3*w + 175)>, <48, 1/4853*(36*w + 5249)>, <84, 1/197*(3*w + 167)>, <90, 1/543*(11*w + 66)>, <120, 1/19*(w + 5)>, <24, 1/3546*(85*w - 850)>, <24, 1/85*(6*w - 60)>, <90, 1/11*(w + 6)>, <120, 1/531*(19*w + 95)>, <24, 1/99879*(1232*w + 91696)>, <24, 1/99879*(1232*w + 6951)>, <24, 1/521*(6*w + 491)>, <24, 1/15563*(56*w + 14688)>, <28, 1/543*(7*w + 494)>, <48, 1/220*(19*w - 209)>, <24, 1/437*(11*w - 88)>, <48, 1/36*(25*w + 336)>, <48, 1/503*(12*w + 479)>, <48, 1/1825*(4*w + 1873)>, <24, 1/1752*(7*w + 1836)>, <28, 1/7*w>, <48, 1/503*(12*w + 12)>, <24, 1/521*(6*w + 24)>, <48, 1/356751*(4180*w + 262371)>, <24, 1/330471*(4807*w + 101046)>, <24, 1/342183*(6175*w + 98033)>, <24, 1/6591*(475*w + 7541)>, <72, 1/2133*(8*w + 2013)>, <300, 1/79*(3*w + 42)>, <48, 1/380431*(4200*w + 298431)>, <120, 1/657*(22*w + 264)>, <208, 1/47*(w + 36)>, <24, 1/143*(23*w + 373)>, <24, 1/374*(19*w - 95)>, <52, 1/167*(w + 167)>, <24, 1/109719*(2002*w + 32565)>, <52, 1/171*(w + 167)>, <24, 1/2197*(154*w + 2505)>, <30, 1/531*(22*w + 399)>, <96, 1/18*(w + 6)>, <24, 1/125847*(1540*w + 31647)>, <24, 1/231*(20*w + 411)>, <24, 1/37011*(595*w + 18326)>, <24, 1/4599*(44*w - 572)>, <30, 1/22*(w + 16)>, <96, 1/181*(6*w + 36)>, <24, 1/18*(w - 6)>, <24, 1/4011*(76*w + 4619)>, <24, 1/425*(13*w - 65)>, <156, 1/59*(2*w + 10)>, <24, 1/4527*(575*w + 575)>, <24, 1/575*(9*w + 9)>, <24, 1/6773*(425*w - 2125)>, <156, 1/18*(w + 5)>, <144, 1/633*(17*w + 187)>, <144, 1/633*(17*w + 429)>, <24, 1/59*(2*w - 12)>, <12, 1/521*(6*w - 30)>, <12, 1/575*(6*w + 24)>, <48, 1/12411*(200*w + 14211)>, <24, 1/37011*(595*w + 18090)>, <96, 1/573*(22*w + 375)>, <12, 1/1366*(147*w + 3277)>, <48, 1/683*(11*w + 143)>, <24, 1/44*(7*w - 91)>, <120, 1/22*(w + 12)>, <24, 1/9899*(374*w - 1870)>, <208, 1/39*(w + 36)>, <24, 1/42897*(532*w + 32333)>, <24, 1/143*(23*w - 253)>, <24, 1/513*(5*w + 15)>, <156, 1/171*(5*w + 151)>, <24, 1/39579*(760*w + 24624)>, <48, 1/557*(22*w + 154)>, <24, 1/29697*(506*w + 25990)>, <24, 1/2732*(125*w - 1750)>, <48, 1/117527*(1482*w + 84455)>, <96, 1/573*(16*w + 429)>, <96, 1/15*(w + 7)>, <84, 1/513*(17*w + 445)>, <24, 1/41829*(455*w + 33054)>, <240, 1/15*(w + 6)>, <36, 1/466489*(2700*w - 33200)>, <36, 1/466489*(2700*w + 496989)>, <24, 1/3258*(115*w - 805)>, <24, 1/3258*(115*w + 3948)>, <24, 1/6501*(391*w + 10020)>, <36, 1/611*(10*w + 501)>, <48, 1/503*(7*w + 510)>, <24, 1/440*(9*w + 485)>, <24, 1/799*(22*w - 242)>, <48, 1/573*(7*w + 510)>, <24, 1/280171*(3960*w + 213400)>, <24, 1/286*(17*w - 187)>, <156, 1/197*(5*w + 147)>, <24, 1/45607*(330*w + 39292)>, <96, 1/2054*(5*w + 1979)>, <96, 1/557*(16*w + 429)>, <96, 1/49859*(130*w + 51454)>, <24, 1/1606*(15*w + 1786)>, <24, 1/5*(w + 3)>, <84, 1/17*(w + 13)>, <24, 1/306111*(4301*w + 110220)>, <36, 1/501*(10*w + 501)>, <156, 1/177*(5*w + 147)>, <24, 1/4137*(65*w + 4722)>, <240, 1/191*(5*w + 146)>, <156, 1/211*(5*w + 151)>, <24, 1/152*(5*w + 162)>, <48, 1/22*(w + 7)>, <96, 1/18*(w + 14)>, <96, 1/79*(2*w + 28)>, <24, 1/598*(11*w + 565)>, <24, 1/125*(4*w - 56)>, <48, 1/3743*(78*w + 4445)>, <24, 1/35*(2*w + 47)>, <24, 1/255*(19*w - 190)>, <24, 1/2847*(115*w + 4227)>, <24, 1/3249*(136*w + 3657)>, <48, 1/2561*(120*w + 3641)>, <72, 1/11*(w + 3)>, <68, 1/26*(w + 11)>, <48, 1/112*(5*w - 40)>, <24, 1/35657*(184*w + 1065)>, <24, 1/116793*(1610*w + 27760)>, <96, 1/13*(w + 9)>, <24, 1/2171*(184*w + 2171)>, <24, 1/1197*(160*w + 1677)>, <172, 1/26*(w + 10)>, <24, 1/627*(52*w - 208)>, <24, 1/32*(w + 36)>, <24, 1/110157*(1925*w + 18282)>, <24, 1/1006*(175*w - 350)>, <24, 1/1837*(175*w + 1662)>, <24, 1/175*(2*w - 4)>, <108, 1/611*(25*w + 250)>, <12, 1/36*(23*w + 358)>, <300, 1/79*(3*w + 34)>, <48, 1/2785*(112*w - 896)>, <72, 1/513*(11*w + 33)>, <68, 1/633*(26*w + 286)>, <24, 1/513*(184*w + 1065)>, <24, 1/1810*(161*w + 2776)>, <96, 1/591*(13*w + 117)>, <24, 1/132183*(2392*w + 28223)>, <24, 1/93019*(1120*w + 11739)>, <24, 1/1833*(32*w + 1152)>, <172, 1/47*(2*w + 20)>, <24, 1/468*(11*w - 44)>, <48, 1/41159*(418*w + 31369)>, <48, 1/40053*(476*w + 26809)>, <24, 1/4137*(80*w - 800)>, <36, 1/557*(24*w + 168)>, <72, 1/741*(25*w + 341)>, <12, 1/11229*(98*w + 2458)>, <60, 1/12*(w + 15)>, <24, 1/221*(23*w + 382)>, <96, 1/591*(20*w + 180)>, <24, 1/419739*(5083*w + 84422)>, <96, 1/20*(w + 9)>, <24, 1/285*(17*w - 153)>, <24, 1/3247*(95*w - 855)>, <12, 1/102*(5*w - 50)>, <36, 1/24*(w + 7)>, <124, 1/543*(13*w + 78)>, <202, 1/24*(w + 11)>, <12, 1/37347*(425*w + 10725)>, <24, 1/80*(7*w - 70)>, <24, 1/2515*(189*w + 2137)>, <18, 1/282903*(4400*w + 186400)>, <48, 1/1387*(22*w + 1651)>, <24, 1/45461*(945*w + 10685)>, <48, 1/1241*(28*w + 1577)>, <48, 1/657*(11*w + 514)>, <48, 1/169*(w + 171)>, <112, 1/683*(26*w + 338)>, <56, 1/543*(22*w + 132)>, <48, 1/5767*(42*w + 6243)>, <24, 1/388819*(4620*w + 159544)>, <28, 1/13*(w + 11)>, <132, 1/611*(17*w + 424)>, <24, 1/323*(18*w - 126)>, <132, 1/543*(17*w + 424)>, <24, 1/9774*(323*w - 2261)>, <48, 1/38931*(680*w + 17800)>, <96, 1/20*(w + 12)>, <48, 1/360*(17*w + 445)>, <96, 1/657*(20*w + 240)>, <24, 1/66*(25*w - 300)>, <16, 1/521*(11*w - 55)>, <13, 1/400*(11*w + 565)>, <24, 1/5275*(22*w - 264)>, <12, 1/34*(7*w - 105)>, <48, 1/5*(w + 7)>, <12, 1/320931*(6118*w + 111608)>, <36, 1/507*(14*w + 465)>, <48, 1/557*(5*w + 35)>, <48, 1/657*(11*w + 132)>, <112, 1/683*(26*w + 319)>, <48, 1/177*(w + 171)>, <48, 1/2319*(14*w + 2081)>, <56, 1/22*(w + 6)>, <24, 1/388819*(4620*w + 224655)>, <28, 1/633*(13*w + 143)>, <24, 1/114061*(1495*w + 54951)>, <24, 1/135307*(2584*w + 69483)>, <48, 1/106133*(1560*w + 47333)>, <48, 1/137579*(920*w + 14920)>, <12, 1/41249*(460*w + 25425)>, <60, 1/15*(w + 15)>, <48, 1/137579*(920*w + 121739)>, <24, 1/4307*(70*w + 1645)>, <24, 1/3743*(85*w - 850)>, <36, 1/16*(w + 1)>, <24, 1/124241*(1309*w + 36113)>, <24, 1/1533*(17*w + 1737)>, <24, 1/12921*(154*w + 315)>, <24, 1/396*(13*w + 461)>, <48, 1/531*(20*w + 411)>, <84, 1/611*(24*w + 347)>, <60, 1/171*(2*w + 6)>, <72, 1/1679*(10*w - 130)>, <120, 1/22*(w + 11)>, <24, 1/413*(72*w - 19)>, <248, 1/633*(23*w + 357)>, <40, 1/59*(w - 6)>, <40, 1/59*(w + 64)>, <84, 1/683*(24*w + 347)>, <24, 1/1533*(17*w - 221)>, <24, 1/4029*(77*w - 1155)>, <36, 1/711*(16*w + 471)>, <24, 1/767*(44*w + 987)>, <48, 1/531*(20*w + 100)>, <24, 1/133*(22*w + 45)>, <24, 1/44003*(504*w - 133)>, <72, 1/1679*(10*w + 1799)>, <60, 1/169*(2*w + 4)>, <108, 1/611*(25*w + 336)>, <120, 1/22*(w + 10)>, <24, 1/30951*(176*w + 30624)>, <24, 1/176*(w + 174)>, <96, 1/20*(w + 11)>, <96, 1/20*(w + 8)>, <202, 1/211*(8*w + 88)>, <144, 1/657*(19*w + 228)>, <48, 1/10*(w + 3)>, <24, 1/79*(w + 93)>, <24, 1/9*(w + 23)>, <144, 1/19*(w + 12)>, <48, 1/543*(10*w + 473)>, <48, 1/711*(17*w + 238)>, <24, 1/336*(19*w + 450)>, <24, 1/3439*(112*w + 4111)>, <48, 1/507*(17*w + 34)>, <60, 1/711*(19*w + 426)>, <72, 1/12*(w + 9)>, <60, 1/521*(19*w + 426)>, <72, 1/197*(4*w + 36)>, <24, 1/1521*(161*w + 1843)>, <24, 1/13593*(154*w + 14979)>, <24, 1/161*(3*w + 167)>, <12, 1/11697*(242*w + 13391)>, <60, 1/683*(21*w + 389)>, <24, 1/414*(11*w - 143)>, <24, 1/40527*(506*w + 14905)>, <24, 1/1379*(23*w + 1586)>, <24, 1/1379*(23*w - 230)>, <24, 1/33687*(322*w + 28497)>, <24, 1/528*(5*w + 573)>, <24, 1/528*(5*w - 50)>, <48, 1/4009*(70*w + 1825)>, <24, 1/323*(15*w + 368)>, <60, 1/557*(23*w + 161)>, <24, 1/13442*(161*w - 1771)>, <60, 1/23*(w + 7)>, <24, 1/13442*(161*w + 15052)>, <48, 1/295*(14*w + 365)>, <24, 1/405*(17*w + 456)>, <24, 1/1146*(161*w - 1449)>, <84, 1/9*(w + 8)>, <192, 1/573*(17*w + 136)>, <84, 1/9*w>, <24, 1/171*(20*w - 260)>, <24, 1/160*(19*w + 426)>, <24, 1/1460*(19*w - 247)>, <24, 1/297273*(4807*w + 82269)>, <24, 1/5731*(437*w + 7479)>, <72, 1/507*(7*w + 14)>, <72, 1/521*(7*w + 28)>, <24, 1/6*(w - 2)>, <24, 1/391359*(2926*w + 338558)>, <24, 1/550*(7*w + 585)>, <24, 1/104*(5*w - 55)>, <24, 1/11139*(25*w - 361)>, <24, 1/299*(17*w - 187)>, <24, 1/28671*(391*w + 17493)>, <24, 1/11139*(25*w + 11475)>, <108, 1/12*(w + 5)>, <108, 1/177*(4*w + 20)>, <24, 1/133*(22*w - 264)>, <24, 1/550*(7*w - 42)>, <24, 1/503*(6*w - 12)>, <24, 1/104*(5*w + 154)>, <24, 1/19617*(350*w + 12925)>, <24, 1/329157*(6175*w + 231800)>, <24, 1/6539*(475*w - 950)>, <24, 1/378*(25*w - 100)>, <24, 1/64*(7*w - 70)>, <24, 1/97983*(880*w + 92928)>, <24, 1/835*(176*w - 176)>, <88, 1/57*(w + 41)>, <24, 1/780*(7*w + 885)>, <24, 1/507*(10*w + 477)>, <24, 1/169*(21*w + 106)>, <24, 1/298533*(5083*w + 178296)>, <24, 1/33293*(532*w + 11880)>, <88, 1/57*(w + 15)>, <24, 1/7*(w + 9)>, <120, 1/573*(23*w + 184)>, <24, 1/31749*(506*w + 9669)>, <24, 1/4661*(69*w + 176)>, <72, 1/521*(21*w + 84)>, <24, 1/2223*(154*w + 2685)>, <24, 1/380431*(4641*w + 85969)>, <24, 1/114061*(2002*w + 34905)>, <24, 1/221*(21*w + 389)>, <52, 1/24*(w + 17)>, <24, 1/3009*(133*w - 798)>, <24, 1/175*(2*w + 187)>, <120, 1/531*(11*w + 55)>, <52, 1/269*(8*w + 136)>, <24, 1/399*(17*w - 102)>, <24, 1/37347*(350*w + 32725)>, <180, 1/19*(w + 3)>, <180, 1/27*(w + 3)>, <124, 1/177*(7*w + 35)>, <72, 1/531*(14*w + 70)>, <40, 1/633*(16*w + 441)>, <64, 1/521*(9*w + 36)>, <40, 1/521*(16*w + 441)>, <96, 1/15*(w + 4)>, <96, 1/611*(15*w + 446)>, <124, 1/21*(w + 5)>, <72, 1/14*(w + 5)>, <24, 1/20871*(140*w + 17700)>, <12, 1/9899*(350*w - 1750)>, <24, 1/557*(10*w + 477)>, <12, 1/147*(4*w - 12)>, <84, 1/573*(11*w + 474)>, <24, 1/1387*(21*w + 106)>, <24, 1/391*(13*w + 456)>, <36, 1/521*(10*w + 561)>, <36, 1/711*(10*w + 561)>, <24, 1/2172*(133*w + 2970)>, <72, 1/741*(25*w + 375)>, <72, 1/21*(w + 4)>, <24, 1/591*(7*w + 63)>, <120, 1/23*(w + 8)>, <24, 1/649*(46*w + 879)>, <24, 1/521*(69*w + 176)>, <24, 1/418*(17*w - 68)>, <24, 1/17*(w - 7)>, <24, 1/2171*(40*w + 795)>, <114, 1/557*(19*w + 133)>, <48, 1/683*(11*w + 529)>, <24, 1/33293*(500*w + 19625)>, <12, 1/272*(19*w - 152)>, <12, 1/12977*(170*w - 2380)>, <24, 1/2353*(126*w - 882)>, <12, 1/237*(2*w + 28)>, <12, 1/225*(2*w + 207)>, <24, 1/99511*(1638*w + 57456)>, <136, 1/683*(27*w + 351)>, <48, 1/507*(5*w + 492)>, <24, 1/144*(5*w - 15)>, <24, 1/317133*(4301*w + 116941)>, <12, 1/1833*(34*w + 1224)>, <84, 1/247*(8*w + 120)>, <24, 1/5157*(440*w + 8677)>, <84, 1/24*(w + 15)>, <24, 1/307333*(3960*w + 78093)>, <24, 1/396027*(2090*w + 36195)>, <24, 1/189*(19*w + 417)>, <24, 1/51*(7*w - 84)>, <24, 1/51*(7*w + 128)>, <24, 1/189*(19*w - 247)>, <24, 1/95*(22*w + 381)>, <24, 1/459*(22*w - 88)>, <24, 1/543*(17*w - 119)>, <12, 1/36081*(680*w + 14865)>, <24, 1/6721*(391*w + 10631)>, <24, 1/135*(8*w + 159)>, <96, 1/211*(9*w + 103)>, <48, 1/52117*(288*w - 3584)>, <114, 1/19*(w + 7)>, <28, 1/741*(20*w + 421)>, <12, 1/14067*(152*w + 4776)>, <12, 1/513*(20*w + 573)>, <24, 1/125*(4*w + 157)>, <60, 1/591*(14*w + 126)>, <48, 1/21*(w + 17)>, <60, 1/11*w>, <60, 1/611*(11*w + 490)>, <24, 1/121581*(2002*w + 20207)>, <24, 1/55*(7*w + 132)>, <60, 1/611*(16*w + 160)>, <24, 1/181*(w + 174)>, <30, 1/17*(w + 16)>, <24, 1/90681*(1120*w + 10521)>, <24, 1/7849*(132*w + 5880)>, <24, 1/2896*(125*w + 3646)>, <4, 1/349281*(4370*w + 92230)>, <24, 1/434421*(350*w - 5054)>, <24, 1/2655*(154*w + 3425)>, <24, 1/4393*(63*w + 4897)>, <24, 1/1593*(184*w + 2513)>, <6, 1/352581*(3724*w + 79380)>, <24, 1/391911*(6118*w + 233795)>, <24, 1/391911*(6118*w + 151998)>, <24, 1/137579*(1449*w + 112631)>, <24, 1/44707*(552*w + 7539)>, <24, 1/31897*(483*w + 26404)>, <24, 1/161*(3*w + 164)>, <24, 1/45461*(770*w + 17125)>, <24, 1/4431*(50*w - 600)>, <12, 1/6*(w - 7)>, <12, 1/362*(69*w + 414)>, <60, 1/16*(w + 10)>, <24, 1/1837*(182*w + 1837)>, <24, 1/42897*(385*w + 7260)>, <24, 1/171*(w + 174)>, <30, 1/773*(17*w + 272)>, <24, 1/1183*(160*w + 1503)>, <28, 1/1729*(10*w - 160)>, <24, 1/468*(11*w + 490)>, <24, 1/2896*(125*w - 875)>, <24, 1/459*(11*w - 33)>, <48, 1/27*(w + 9)>, <24, 1/3717*(100*w + 4217)>, <12, 1/14*(w + 18)>, <12, 1/11802*(325*w - 6175)>, <24, 1/4775*(56*w - 504)>, <72, 1/557*(14*w + 445)>, <72, 1/543*(14*w + 445)>, <24, 1/4775*(56*w + 5223)>, <24, 1/675*(11*w + 609)>, <48, 1/197*(9*w + 81)>, <72, 1/7*(w + 3)>, <12, 1/325*(14*w - 140)>, <12, 1/6721*(380*w + 10521)>, <24, 1/675*(11*w + 55)>, <24, 1/1859*(153*w - 459)>, <24, 1/114061*(1664*w + 48269)>, <24, 1/543*(176*w + 1599)>, <24, 1/144113*(275*w + 140175)>, <24, 1/9495*(308*w - 3696)>, <24, 1/153*(20*w + 433)>, <48, 1/657*(13*w + 488)>, <24, 1/153*(20*w - 300)>, <48, 1/501*(13*w + 488)>, <48, 1/3055*(112*w - 1232)>, <12, 1/102037*(1470*w + 26920)>, <36, 1/6*(w + 6)>, <60, 1/633*(11*w + 121)>, <48, 1/112*(5*w - 55)>, <60, 1/11*(w + 11)>, <24, 1/121983*(920*w + 12135)>, <12, 1/430561*(456*w - 7391)>, <24, 1/121983*(920*w + 108928)>, <24, 1/2561*(128*w + 3713)>, <24, 1/33*(25*w - 325)>, <24, 1/33807*(176*w + 1599)>, <24, 1/308*(15*w - 180)>, <48, 1/269*(7*w + 119)>, <12, 1/3555*(92*w + 4843)>, <48, 1/15*w>, <36, 1/8*(w + 7)>, <12, 1/4456*(437*w - 3496)>, <136, 1/611*(21*w + 210)>, <60, 1/14*(w + 9)>, <60, 1/1533*(16*w - 208)>, <48, 1/11*(3*w + 45)>, <48, 1/2223*(11*w + 165)>, <24, 1/1501*(26*w + 838)>, <24, 1/573*(5*w + 40)>, <24, 1/483*(5*w + 493)>, <24, 1/1086*(161*w - 1127)>, <24, 1/575*(4*w + 567)>, <24, 1/1546*(7*w + 1427)>, <24, 1/325*(14*w - 154)>, <24, 1/531*(4*w + 20)>, <24, 1/4307*(66*w + 1551)>, <24, 1/1055*(32*w + 1407)>, <12, 1/177*(16*w - 96)>, <60, 1/1533*(16*w + 1725)>, <24, 1/1501*(26*w + 637)>, <24, 1/33*(2*w + 47)>, <24, 1/5*(w + 8)>, <24, 1/1086*(161*w + 2052)>, <24, 1/331773*(2300*w + 326025)>, <24, 1/483*(5*w - 15)>, <24, 1/2679*(14*w + 2854)>, <24, 1/325*(14*w + 465)>, <24, 1/4*(w + 5)>, <12, 1/313821*(2300*w + 316825)>, <12, 1/4*(w + 9)>, <12, 1/8274*(361*w - 3610)>, <24, 1/531*(5*w + 501)>, <12, 1/12191*(196*w + 3812)>, <24, 1/197*(w + 187)>, <24, 1/181*(w + 187)>, <24, 1/368*(15*w + 473)>, <24, 1/384*(13*w - 117)>, <24, 1/273*(16*w - 192)>, <48, 1/513*(16*w + 449)>, <24, 1/657*(11*w + 789)>, <24, 1/1053*(11*w + 789)>, <24, 1/8355*(368*w + 10931)>, <48, 1/657*(16*w + 449)>, <24, 1/273*(16*w + 449)>, <24, 1/109719*(1664*w + 45591)>, <36, 1/773*(23*w + 368)>, <36, 1/23*(w + 16)>, <24, 1/2084*(161*w + 2728)>, <24, 1/40053*(644*w + 10912)>, <12, 1/342183*(7406*w + 257623)>, <12, 1/507*(2*w + 4)>, <24, 1/44*(23*w - 345)>, <24, 1/403653*(1955*w + 371013)>, <24, 1/15111*(85*w + 16131)>, <12, 1/242*(17*w - 204)>, <48, 1/683*(18*w + 431)>, <24, 1/3415*(102*w - 1428)>, <24, 1/351*(17*w + 436)>, <24, 1/50*(w + 60)>, <24, 1/4161*(50*w + 3000)>, <24, 1/38033*(663*w + 17004)>, <96, 1/683*(22*w + 375)>, <24, 1/102*(5*w - 70)>, <48, 1/683*(18*w + 234)>, <24, 1/407403*(4186*w + 336605)>, <12, 1/352*(13*w - 117)>, <60, 1/573*(13*w + 104)>, <48, 1/13*(w + 13)>, <48, 1/13*(w - 1)>, <48, 1/503*(8*w - 16)>, <24, 1/399*(13*w - 91)>, <48, 1/8*(w - 2)>, <24, 1/106133*(1729*w + 40963)>, <48, 1/503*(8*w + 8)>, <48, 1/8*(w + 1)>, <24, 1/1593*(152*w + 2353)>, <12, 1/34827*(448*w + 34176)>, <12, 1/64*(w + 10)>, <12, 1/285*(64*w + 29)>, <24, 1/32899*(456*w + 7059)>, <16, 1/5*(2*w - 27)>, <24, 1/521*(56*w - 280)>, <24, 1/528*(7*w + 549)>, <24, 1/521*(56*w + 745)>, <24, 1/1197*(176*w + 1725)>, <24, 1/380431*(3450*w + 344425)>, <24, 1/91*(25*w + 341)>, <48, 1/300*(17*w + 436)>, <24, 1/181*(10*w + 241)>, <24, 1/51*(23*w - 345)>, <44, 1/521*(22*w + 88)>, <12, 1/323*(22*w - 110)>, <24, 1/51*(23*w + 373)>, <24, 1/14573*(168*w + 3240)>, <24, 1/72*(7*w + 135)>, <24, 1/1175*(7*w + 1245)>, <24, 1/380431*(3450*w + 32556)>, <24, 1/30*(w + 36)>, <48, 1/3247*(100*w + 4047)>, <24, 1/657*(14*w + 475)>, <24, 1/14*(w + 1)>, <6, 1/294849*(4693*w + 126984)>, <48, 1/557*(9*w + 63)>, <48, 1/557*(9*w + 485)>, <12, 1/403653*(2300*w + 360525)>, <12, 1/4*(w - 10)>, <12, 1/2084*(147*w + 2672)>, <48, 1/521*(5*w + 20)>, <24, 1/91043*(805*w + 8450)>, <24, 1/2049*(160*w + 4129)>, <24, 1/47177*(120*w + 1785)>, <24, 1/44707*(480*w + 12387)>, <24, 1/15*(8*w + 119)>, <12, 1/35*(24*w - 336)>, <24, 1/403653*(3542*w + 344517)>, <24, 1/7*(w + 11)>, <24, 1/521*(7*w + 549)>, <24, 1/91043*(805*w + 81788)>, <24, 1/376*(3*w + 406)>, <24, 1/208*(3*w + 6)>, <60, 1/9*(w - 3)>, <24, 1/30147*(380*w + 9000)>, <48, 1/503*(10*w + 483)>, <24, 1/657*(10*w + 527)>, <36, 1/10*(w + 4)>, <24, 1/2532*(133*w + 3995)>, <24, 1/333099*(4370*w + 98430)>, <96, 1/171*(4*w + 155)>, <24, 1/42237*(700*w + 32025)>, <24, 1/32279*(350*w + 1654)>, <36, 1/573*(8*w + 64)>, <24, 1/1002*(175*w + 827)>, <36, 1/8*(w + 8)>, <24, 1/134769*(2261*w + 66633)>, <24, 1/1182*(175*w + 2757)>, <24, 1/6*(w + 5)>, <24, 1/43719*(700*w + 29519)>, <24, 1/399*(17*w + 501)>, <24, 1/175*(2*w + 193)>, <24, 1/177*(2*w + 10)>, <24, 1/133*(6*w + 151)>, <24, 1/2197*(42*w + 1057)>, <36, 1/507*(14*w + 28)>, <24, 1/2674*(115*w + 3594)>, <24, 1/3438*(91*w - 819)>, <24, 1/91*(6*w - 54)>, <12, 1/8857*(368*w + 10329)>, <24, 1/109931*(1840*w + 50715)>, <24, 1/345*(16*w + 441)>, <24, 1/104481*(1610*w + 50316)>, <24, 1/3629*(24*w + 3248)>, <24, 1/117*(16*w + 32)>, <60, 1/169*(3*w - 9)>, <24, 1/260*(19*w + 450)>, <12, 1/711*(14*w + 196)>, <12, 1/361*(25*w + 336)>, <48, 1/573*(10*w + 483)>, <24, 1/507*(10*w + 527)>, <36, 1/521*(10*w + 40)>, <24, 1/40053*(532*w + 15980)>, <24, 1/175*(4*w + 183)>, <24, 1/5910*(437*w + 9843)>, <96, 1/191*(4*w + 155)>, <36, 1/683*(7*w + 585)>, <24, 1/591*(14*w - 140)>, <24, 1/81*(w + 57)>, <24, 1/4393*(66*w + 4921)>, <84, 1/507*(11*w + 474)>, <24, 1/402733*(3003*w + 340242)>, <24, 1/101061*(1547*w + 54859)>, <12, 1/329793*(5776*w + 159201)>, <36, 1/72*(7*w - 63)>, <24, 1/90*(7*w - 49)>, <24, 1/4137*(64*w - 640)>, <4, 1/170*(21*w + 380)>, <12, 1/30951*(286*w + 25608)>, <6, 1/64*(w + 3)>, <12, 1/1521*(184*w + 368)>, <24, 1/4163*(85*w + 4673)>, <12, 1/507*(44*w + 88)>, <60, 1/683*(21*w + 273)>, <24, 1/41567*(399*w + 33929)>, <12, 1/140*(3*w - 27)>, <24, 1/4277*(57*w + 4847)>, <24, 1/142839*(1955*w + 107479)>, <36, 1/543*(7*w + 585)>, <24, 1/1053*(14*w + 322)>, <24, 1/47*(w + 57)>, <48, 1/52117*(288*w + 55413)>, <96, 1/27*(w + 15)>, <12, 1/1053*(8*w + 861)>, <24, 1/139913*(1518*w + 113183)>, <24, 1/14343*(143*w + 16202)>, <24, 1/357*(13*w + 461)>, <36, 1/13943*(168*w + 10703)>, <24, 1/503*(9*w + 512)>, <24, 1/3743*(77*w + 4436)>, <24, 1/955*(38*w - 342)>, <24, 1/342297*(4522*w + 115976)>, <48, 1/169*(6*w + 12)>, <48, 1/683*(29*w + 377)>, <12, 1/50*(w - 15)>, <12, 1/50*(w - 4)>, <24, 1/30227*(322*w + 3018)>, <24, 1/6*(w + 11)>, <24, 1/329*(5*w + 379)>, <36, 1/17*(w - 1)>, <24, 184/2505*w>, <24, 1/91*(6*w + 151)>, <24, 1/42*w>, <8, 1/46*(27*w - 332)>, <8, 1/466489*(1242*w - 15272)>, <12, 1/611*(7*w + 534)>, <12, 1/657*(2*w + 24)>, <12, 1/9776*(625*w + 6250)>, <36, 1/807*(23*w + 393)>, <12, 1/14*(23*w - 391)>, <24, 1/106133*(1610*w + 21930)>, <24, 1/1710*(161*w + 2193)>, <12, 1/529*(14*w + 501)>, <12, 1/2*(w + 1)>, <44, 1/521*(22*w + 411)>, <36, 1/531*(23*w + 393)>, <24, 1/211*(2*w + 22)>, <24, 1/1026*(161*w + 1509)>, <24, 1/3363*(35*w + 2653)>, <48, 5/167*w>, <36, 1/501*(17*w - 17)>, <24, 5/184*w>, <24, 1/3211*(42*w + 1057)>, <24, 1/42*(w + 41)>, <24, 1/12*(w - 6)>, <24, 1/117*(5*w - 35)>, <24, 1/65*(8*w - 72)>, <12, 1/1405*(32*w + 1981)>, <12, 1/171*(5*w + 186)>, <24, 1/281*(9*w + 110)>, <24, 1/52*(9*w - 119)>, <24, 1/4584*(65*w - 585)>, <12, 1/9231*(322*w + 11163)>, <24, 1/11623*(195*w + 5695)>, <24, 1/132183*(1820*w + 90960)>, <24, 1/80*(21*w + 416)>, <24, 1/3820*(91*w + 4548)>, <12, 1/317133*(4180*w + 122573)>, <24, 1/177*(4*w - 24)>, <24, 1/200*(w + 199)>, <12, 1/337041*(4624*w + 202656)>, <48, 1/14*(w + 10)>, <24, 1/115427*(1980*w + 18227)>, <24, 1/387273*(4760*w + 246993)>, <24, 1/1837*(180*w + 1657)>, <24, 1/11169*(280*w + 14529)>, <24, 1/112*(5*w - 60)>, <12, 1/394*(49*w + 835)>, <24, 1/3165*(112*w - 1344)>, <24, 1/4661*(56*w + 1021)>, <24, 1/573*(56*w + 1021)>, <12, 1/117527*(3648*w + 77760)>, <24, 1/3*(w + 11)>, <12, 1/573*(w + 8)>, <24, 1/40301*(200*w + 39800)>, <48, 1/18*(w + 2)>, <48, 1/29*(w + 13)>, <12, 1/4584*(437*w + 8080)>, <24, 1/611*(9*w + 512)>, <24, 1/116701*(1463*w + 84284)>, <24, 1/114*(5*w - 45)>, <24, 1/266*(17*w + 436)>, <24, 1/1366*(23*w + 1665)>, <24, 1/408*(11*w - 77)>, <24, 1/503*(4*w + 4)>, <24, 1/4*(w + 6)>, <24, 1/1833*(28*w + 1008)>, <24, 1/503*(18*w + 467)>, <24, 1/408*(11*w + 474)>, <12, 1/1387*(16*w + 960)>, <24, 1/23*(2*w + 49)>, <24, 1/543*(4*w + 24)>, <24, 1/507*(4*w + 8)>, <24, 1/573*(28*w - 252)>, <24, 1/773*(18*w + 467)>, <12, 1/362673*(6118*w + 222281)>, <60, 1/25*(w + 16)>, <24, 1/123747*(1904*w + 57715)>, <60, 1/25*(w + 8)>, <24, 1/123747*(1904*w + 64128)>, <12, 1/1576*(15*w + 1711)>, <24, 1/200*(w + 206)>, <12, 1/19*(8*w - 104)>, <24, 1/43143*(200*w + 41200)>, <24, 1/35659*(480*w + 28000)>, <24, 1/160*(3*w + 175)>, <24, 1/320*(17*w + 456)>, <24, 1/557*(16*w + 669)>, <24, 1/360477*(5440*w + 145920)>, <24, 1/16*(w + 23)>, <24, 1/8336*(437*w - 2185)>, <24, 1/387273*(6992*w + 218937)>, <12, 1/290511*(5819*w + 250746)>, <12, 1/529*(2*w + 16)>, <12, 1/2028*(529*w + 3086)>, <12, 1/1366*(529*w + 8243)>, <24, 1/307911*(2530*w + 31635)>, <6, 1/410463*(6358*w + 288794)>, <24, 1/307911*(2530*w + 273746)>, <48, 1/4853*(35*w + 5238)>, <48, 1/105*(23*w + 358)>, <24, 1/102*(5*w - 65)>, <24, 1/13193*(170*w + 7515)>, <4, 1/510831*(4901*w + 457765)>, <4, 1/8229*(464*w + 12789)>, <4, 1/510831*(2704*w + 255567)>, <4, 1/352*(13*w + 573)>, <4, 1/807*(13*w + 573)>, <12, 1/683*(9*w + 117)>, <12, 1/440*(9*w - 126)>, <12, 1/13660*(143*w - 2002)>, <24, 1/399*(13*w + 516)>, <24, 1/119211*(1729*w + 68628)>, <72, 1/2133*(8*w + 112)>, <60, 1/573*(13*w + 456)>, <24, 1/152*(3*w + 164)>, <24, 1/1563*(152*w + 2171)>, <12, 1/64*(w + 64)>, <12, 1/395*(64*w + 896)>, <12, 1/13193*(320*w + 2505)>, <12, 1/4584*(55*w - 495)>, <4, 1/47*(2*w + 67)>, <4, 1/171*(2*w + 82)>, <8, 1/1222*(5*w - 55)>, <8, 1/5*(2*w - 22)>, <24, 1/4431*(50*w + 4981)>, <24, 1/3899*(500*w + 7399)>, <24, 1/299637*(3500*w + 35637)>, <24, 1/557*(3*w + 533)>, <4, 1/14587*(256*w + 14843)>, <4, 1/14587*(208*w + 7632)>, <4, 1/12912*(208*w + 19659)>, <20, 1/503*(19*w + 19)>, <4, 1/405921*(3952*w + 128193)>, <20, 1/19*(w + 1)>, <12, 1/807*(484*w - 8712)>, <24, 1/557*(3*w + 21)>, <24, 1/3591*(500*w + 5091)>, <24, 1/329793*(3500*w + 51793)>, <16, 1/356751*(3458*w + 278673)>, <24, 1/330471*(5474*w + 139272)>, <24, 1/7602*(391*w + 9948)>, <24, 1/17075*(8*w - 112)>, <24, 1/357*(16*w + 501)>, <24, 1/3152*(119*w + 4223)>, <24, 1/343719*(2990*w + 342654)>, <24, 1/2605*(598*w + 2392)>, <24, 1/14573*(230*w + 13363)>, <48, 1/123477*(1976*w + 77197)>, <24, 1/437*(10*w - 50)>, <24, 1/129091*(2550*w + 53941)>, <24, 1/2873*(150*w + 3173)>, <36, 1/8*w>, <36, 1/6*(w - 1)>, <28, 1/521*(20*w + 421)>, <12, 1/988*(147*w + 3193)>, <60, 1/247*(5*w + 75)>, <24, 1/1267*(30*w - 210)>, <24, 1/773*(19*w + 450)>, <24, 1/773*(19*w + 304)>, <24, 1/10314*(323*w + 12898)>, <24, 1/3798*(85*w - 1020)>, <24, 1/85*(6*w - 72)>, <24, 1/388819*(5814*w + 232164)>, <12, 1/250*(19*w + 402)>, <24, 1/14573*(230*w + 980)>, <48, 1/3439*(104*w + 4063)>, <24, 1/5210*(437*w - 2185)>, <60, 1/171*(4*w + 183)>, <24, 1/15*(w + 23)>, <24, 1/12*(w + 23)>, <48, 1/506103*(5423*w + 557902)>, <24, 1/3211*(119*w - 1904)>, <8, 1/400689*(2392*w + 37128)>, <12, 1/11376*(247*w + 14834)>, <24, 1/160*(19*w - 285)>, <12, 1/8*(w + 12)>, <12, 1/5767*(147*w + 1666)>, <24, 1/633*(8*w + 88)>, <12, 1/147*(8*w + 115)>, <4, 1/374*(13*w + 452)>, <6, 1/15403*(72*w + 1035)>, <24, 1/154*(3*w + 175)>, <24, 1/154*(3*w - 24)>, <24, 1/3152*(105*w + 4097)>, <12, 1/1773*(140*w - 1400)>, <12, 1/119*(4*w - 52)>, <24, 1/115427*(1680*w + 65552)>, <24, 1/351*(5*w + 115)>, <48, 1/611*(14*w + 140)>, <24, 1/351*(4*w + 92)>, <48, 1/22417*(187*w + 19238)>, <24, 1/3211*(119*w + 4996)>, <24, 1/14053*(136*w - 1496)>, <24, 1/4693*(55*w - 880)>, <24, 1/343549*(4845*w + 152779)>, <12, 1/9776*(275*w - 3025)>, <6, 1/16*(w + 19)>, <6, 1/625*(16*w + 48)>, <24, 1/29559*(322*w + 26565)>, <24, 1/483*(8*w + 571)>, <8, 1/32*(25*w + 332)>, <24, 1/3647*(115*w + 4107)>, <12, 1/295767*(1058*w + 8520)>, <12, w + 6>, <12, 1/529*(13*w + 477)>, <12, 1/1266*(529*w + 5819)>, <12, 1/324729*(4232*w + 36424)>, <24, 1/45999*(805*w + 28749)>, <24, 1/120891*(1288*w + 91931)>, <24, 1/161*(2*w + 165)>, <48, 1/521*(12*w + 461)>, <24, 1/4925*(44*w - 440)>, <24, 1/2353*(125*w + 3103)>, <24, 1/7587*(52*w + 6599)>, <24, 1/281*(9*w + 162)>, <24, 1/98589*(1625*w + 40339)>, <12, 1/442929*(1300*w - 19396)>, <48, 1/12*(w + 7)>, <24, 1/132*(25*w - 250)>, <24, 1/2674*(125*w - 1125)>, <12, 1/11611*(224*w - 3136)>, <24, 1/2366*(153*w - 459)>, <24, 1/459*(14*w - 42)>, <28, 1/1729*(10*w + 1879)>, <12, 1/191*(w + 182)>, <12, 1/576*(w - 6)>, <24, 1/375*(14*w - 126)>, <24, 1/130637*(1045*w + 24750)>, <24, 1/323*(15*w + 473)>, <24, 1/136*(23*w - 253)>, <24, 1/115427*(1496*w + 41987)>, <24, 1/306*(23*w - 138)>, <24, 1/503*(18*w - 36)>, <24, 1/32661*(350*w + 31450)>, <24, 1/410463*(6325*w + 67188)>, <24, 1/2321*(136*w + 3817)>, <24, 1/50217*(782*w + 35121)>, <24, 1/503*(18*w + 521)>, <24, 1/650*(7*w + 629)>, <24, 1/5533*(575*w + 6108)>, <24, 1/124241*(2176*w + 60032)>, <24, 1/3009*(128*w - 768)>, <24, 1/391*(16*w - 96)>, <24, 1/1183*(184*w + 1551)>, <24, 1/552*(7*w + 566)>, <24, 1/8496*(391*w - 2346)>, <24, 1/352581*(4807*w + 245309)>, <8, 1/431649*(800*w + 10624)>, <24, 1/352581*(4807*w + 102465)>, <24, 1/19539*(368*w + 8016)>, <24, 1/437*(16*w - 64)>, <12, 1/529*(2*w + 529)>, <12, 1/2172*(529*w + 3174)>, <12, 1/272043*(3703*w + 7014)>, <24, 1/843*(23*w + 406)>, <48, 1/521*(5*w + 496)>, <6, 1/484*(17*w + 484)>, <12, w>, <12, 1/506*(5*w - 55)>, <12, 1/611*(5*w + 50)>, <12, 1/23*(2*w - 26)>, <24, 1/23*(w + 4)>, <4, 1/440*(9*w + 476)>, <12, 1/21*(2*w - 30)>, <12, 192/1837*w>, <8, 1/5*(w - 10)>, <4, 1/17301*(64*w + 1133)>, <16, 1/46689*(40*w + 585)>, <4, 1/79*(24*w + 351)>, <4, 1/5767*(192*w + 2176)>, <8, 1/591*(5*w - 50)>, <4, 1/197*(w - 10)>, <12, 1/281*(8*w + 129)>, <12, 1/15*(8*w - 137)>, <24, 1/1298*(35*w + 1473)>, <24, 1/48051*(770*w + 32406)>, <24, 1/29697*(340*w + 22200)>, <24, 1/40*(w + 41)>, <24, 1/506*(3*w - 3)>, <4, 1/503*(w + 504)>, <4, 1/9633*(484*w + 10601)>, <4, 1/507*(23*w + 46)>, <4, 1/22*(23*w - 461)>, <4, 1/19*(22*w - 462)>, <4, 1/484*(w - 21)>, <4, 1/503*(19*w + 522)>, <4, 1/22*(w + 1)>, <24, 1/262063*(1518*w + 4509)>, <24, 1/47489*(840*w + 28889)>, <24, 1/3647*(120*w + 4127)>, <24, 1/503*(40*w + 543)>, <24, 1/29697*(340*w + 7157)>, <12, 1/17043*(28*w + 17463)>, <24, 1/8274*(391*w + 11793)>, <24, 1/8274*(391*w - 3910)>, <12, 1/625*(4*w + 585)>, <12, 1/633*(2*w + 22)>, <12, 1/456843*(2210*w - 30345)>, <12, 1/591*(26*w + 331)>, <12, 1/450063*(910*w + 11235)>, <24, 1/23641*(342*w + 3843)>, <12, 1/20175*(68*w + 18951)>, <24, 1/807*(25*w + 425)>, <24, 1/119*(6*w + 161)>, <24, 1/44923*(714*w + 19159)>, <24, 1/513*(4*w + 497)>, <12, 1/13193*(245*w + 5010)>, <48, 1/741*(17*w + 469)>, <48, 1/17*(w + 1)>, <24, 1/351*(38*w + 427)>, <16, 1/711*(29*w + 276)>, <8, 1/130*(29*w - 305)>, <8, 1/505521*(3770*w - 39650)>, <36, 1/521*(8*w + 481)>, <12, 1/570*(49*w + 717)>, <4, 1/181*(3*w - 21)>, <4, 1/1267*(9*w + 1864)>, <4, 1/154*(3*w + 199)>, <4, 1/1810*(21*w + 1393)>, <4, 1/27*(10*w + 87)>, <24, 1/3349*(92*w + 4177)>, <12, 1/154*(3*w - 9)>, <24, 1/845*(48*w - 144)>, <12, 1/2532*(119*w - 1428)>, <24, 1/112041*(1564*w + 71009)>, <24, 1/4056*(575*w + 5206)>, <24, 1/10245*(323*w - 4522)>, <30, 1/25*(w + 19)>, <6, 1/467811*(6400*w + 97536)>, <48, 1/8*(w + 5)>, <24, 1/3647*(506*w - 2530)>, <24, 1/506*(7*w - 35)>, <4, 1/513*(506*w + 2031)>, <4, 1/507*(w + 509)>, <16, 1/507*(22*w + 441)>, <4, 1/446667*(506*w + 10143)>, <8, 1/11799*(352*w - 1408)>, <4, 1/451953*(368*w + 458689)>, <8, 1/352*(23*w - 92)>, <4, 1/881*(23*w + 421)>, <12, 1/272403*(1058*w + 274551)>, <12, w + 5>, <36, 1/521*(8*w + 32)>, <48, 1/507*(8*w + 483)>, <24, 1/5731*(425*w - 2125)>, <12, 1/13925*(182*w - 1456)>, <12, 1/376461*(2500*w + 378125)>, <12, 1/625*(13*w + 156)>, <12, 1/4584*(625*w - 1041)>, <24, 1/425*(11*w - 55)>, <24, 1/323*(15*w - 210)>, <24, 1/575*(8*w + 591)>, <24, 1/4307*(50*w + 3082)>, <24, 1/575*(17*w + 17)>, <24, 1/475*(7*w + 510)>, <24, 1/1266*(25*w + 1541)>, <30, 1/531*(25*w + 381)>, <24, 1/446667*(9775*w + 125817)>, <24, 1/288219*(3325*w + 242250)>, <4, 1/211*(w - 12)>, <4, 1/633*(208*w + 3623)>, <4, 1/3*(8*w + 115)>, <4, 1/1899*(8*w + 115)>, <4, 1/5767*(3*w + 34)>, <24, 1/33807*(184*w + 33488)>, <24, 1/503*(184*w + 184)>, <24, 1/501*(4*w + 497)>, <12, 1/4*(w + 7)>, <12, 1/529*(7*w + 21)>, <24, 1/3018*(161*w + 3179)>, <24, 1/531*(5*w + 25)>, <12, 1/506*(5*w + 501)>, <12, 1/269*(12*w + 473)>, <24, 1/46927*(966*w + 19074)>, <16, 1/11*(w - 5)>, <13, 1/386061*(4400*w + 226000)>, <1, 1/8151*(220*w + 19451)>, <1, 1/22971*(121*w + 6215)>, <1, 1/10420*(341*w + 11784)>, <1, 1/549081*(4400*w + 389020)>, <1, 1/10420*(620*w + 13051)>, <1, 1/386061*(6820*w + 28941)>, <1, 1/121*(20*w + 421)>, <12, 1/102637*(960*w + 103872)>, <12, 1/576*(11*w + 99)>, <12, 1/521*(192*w - 439)>, <12, 1/21*(w + 18)>, <12, 1/5901*(22*w - 418)>, <24, 1/3*(w + 1)>, <24, 1/503*(20*w + 463)>, <24, 1/20*(w + 18)>, <12, 1/18525*(34*w + 17981)>, <12, 1/420201*(3380*w + 429936)>, <12, 1/676*(17*w + 238)>, <12, 1/4137*(676*w - 2623)>, <24, 1/106133*(1710*w + 16700)>, <16, 1/1883*(8*w + 2019)>, <24, 1/162*(5*w - 10)>, <24, 1/2515*(162*w - 324)>, <12, 1/1314*(25*w + 1614)>, <24, 1/1670*(171*w + 1670)>, <24, 1/4781*(44*w + 5353)>, <8, 1/531*(10*w - 60)>, <4, 1/531*(49*w + 1476)>, <8, 1/10*(w - 6)>, <4, 1/2470*(49*w + 1476)>, <4, 1/4661*(70*w + 111)>, <12, 1/676*(63*w + 126)>, <12, 1/12*(w - 3)>, <24, 1/43719*(308*w + 37471)>, <24, 1/309777*(3800*w + 248425)>, <24, 1/483*(8*w - 48)>, <12, 1/521*(w + 516)>, <12, 1/529*(8*w - 32)>, <24, 1/483*(8*w + 523)>, <24, 1/350379*(4675*w + 223329)>, <12, 1/625*(13*w + 573)>, <12, 1/807*(14*w + 238)>, <24, 1/10387*(275*w + 13137)>, <24, 1/475*(8*w + 523)>, <24, 1/3549*(475*w + 4499)>, <24, 1/267093*(3325*w + 31493)>, <12, 1/40301*(208*w - 1299)>, <24, 1/191*(w + 199)>, <12, 1/633*(4*w + 585)>, <12, 1/14482*(529*w + 10250)>, <12, 1/557*(7*w - 56)>, <12, 1/44923*(966*w + 18036)>, <12, 1/167*(6*w + 161)>, <8, 1/4344*(77*w - 539)>, <16, 1/24*(7*w + 143)>, <4, 1/11*(8*w + 136)>, <4, 1/192*(w + 17)>, <4, 1/1267*(64*w + 819)>, <8, 1/77*(8*w - 56)>, <4, 1/181*(56*w - 392)>, <16, 1/881*(22*w + 441)>, <12, 1/28223*(147*w + 3674)>, <20, 1/20*(w + 19)>, <24, 1/323*(20*w - 160)>, <12, 1/10563*(440*w + 11003)>, <12, 1/881*(21*w + 461)>, <24, 1/424029*(6460*w + 268020)>, <12, 1/26*(w + 7)>, <12, 1/119*(26*w + 468)>, <12, 1/162*(5*w - 5)>, <12, 1/14053*(128*w + 15333)>, <24, 1/8*(w + 11)>, <12, 1/625*(w + 3)>, <24, 1/7*(w + 12)>, <24, 1/531*(7*w + 566)>, <24, 1/13179*(182*w + 14635)>, <4, 1/168*(w + 167)>, <4, 1/2456*(49*w + 1287)>, <4, 1/167*(49*w + 1287)>, <8, 1/20*(w - 1)>, <4, 1/20*(7*w + 160)>, <8, 1/501*(20*w - 20)>, <4, 1/307*(7*w + 160)>, <12, 1/843*(19*w + 342)>, <12, 1/140*(19*w - 361)>, <12, 4/171*w>, <12, 1/2124*(133*w - 798)>, <24, 1/362673*(3800*w + 87648)>, <24, 1/8*(25*w - 350)>, <24, 1/362673*(3800*w + 271225)>, <4, 1/501*(19*w - 19)>, <4, 1/3507*(361*w + 13026)>, <4, 1/140*(19*w + 501)>, <4, 1/13026*(133*w + 3507)>, <4, 1/361*(26*w + 361)>, <20, 1/20*w>, <16, 1/448731*(494*w - 6555)>, <16, 1/356751*(3458*w + 74620)>, <4, 1/676*(7*w + 585)>, <4, 1/676*(19*w + 410)>, <4, 1/4781*(494*w + 11203)>, <8, 1/17082*(7*w - 91)>, <16, 1/17758*(19*w + 247)>, <8, 1/7*(26*w - 338)>, <-12, 1/521*(-6*w - 24)>, <-12, 1/575*(-6*w + 30)>, <-12, 1/1366*(-147*w + 3424)>, <-12, 1/36*(-23*w + 381)>, <-12, 1/11229*(-98*w + 2556)>, <-12, 1/102*(-5*w - 45)>, <-12, 1/37347*(-425*w + 11150)>, <-18, 1/282903*(-4400*w + 190800)>, <-12, 1/34*(-7*w - 98)>, <-12, 1/320931*(-6118*w + 117726)>, <-12, 1/41249*(-460*w + 25885)>, <-12, 1/11697*(-242*w + 13633)>, <-12, 1/9899*(-350*w - 1400)>, <-12, 1/147*(-4*w - 8)>, <-12, 1/272*(-19*w - 133)>, <-12, 1/12977*(-170*w - 2210)>, <-12, 1/237*(-2*w + 30)>, <-12, 1/225*(-2*w + 209)>, <-12, 1/1833*(-34*w + 1258)>, <-12, 1/36081*(-680*w + 15545)>, <-12, 1/14067*(-152*w + 4928)>, <-12, 1/513*(-20*w + 593)>, <-4, 1/349281*(-4370*w + 96600)>, <-24, 1/434421*(-350*w - 4704)>, <-6, 1/352581*(-3724*w + 83104)>, <-12, 1/6*(-w - 6)>, <-12, 1/362*(-69*w + 483)>, <-12, 1/14*(-w + 19)>, <-12, 1/11802*(-325*w - 5850)>, <-12, 1/325*(-14*w - 126)>, <-12, 1/6721*(-380*w + 10901)>, <-12, 1/102037*(-1470*w + 28390)>, <-12, 1/430561*(-456*w - 6935)>, <-12, 1/3555*(-92*w + 4935)>, <-12, 1/4456*(-437*w - 3059)>, <-24, 1/1055*(-32*w + 1439)>, <-12, 1/177*(-16*w - 80)>, <-12, 1/313821*(-2300*w + 319125)>, <-12, 1/4*(-w + 10)>, <-12, 1/8274*(-361*w - 3249)>, <-12, 1/12191*(-196*w + 4008)>, <-12, 1/342183*(-7406*w + 265029)>, <-12, 1/507*(-2*w + 6)>, <-24, 1/44*(-23*w - 322)>, <-12, 1/242*(-17*w - 187)>, <-12, 1/352*(-13*w - 104)>, <-12, 1/34827*(-448*w + 34624)>, <-12, 1/64*(-w + 11)>, <-12, 1/285*(-64*w + 93)>, <-16, 1/5*(-2*w - 25)>, <-12, 1/323*(-22*w - 88)>, <-6, 1/294849*(-4693*w + 131677)>, <-12, 1/403653*(-2300*w + 362825)>, <-12, 1/4*(-w - 9)>, <-12, 1/2084*(-147*w + 2819)>, <-12, 1/35*(-24*w - 312)>, <-12, 1/8857*(-368*w + 10697)>, <-12, 1/711*(-14*w + 210)>, <-12, 1/361*(-25*w + 361)>, <-12, 1/329793*(-5776*w + 164977)>, <-4, 1/170*(-21*w + 401)>, <-12, 1/30951*(-286*w + 25894)>, <-6, 1/64*(-w + 4)>, <-12, 1/1521*(-184*w + 552)>, <-12, 1/507*(-44*w + 132)>, <-12, 1/140*(-3*w - 24)>, <-12, 1/1053*(-8*w + 869)>, <-12, 1/50*(-w - 14)>, <-12, 1/50*(-w - 3)>, <-12, 1/611*(-7*w + 541)>, <-12, 1/657*(-2*w + 26)>, <-12, 1/9776*(-625*w + 6875)>, <-12, 1/14*(-23*w - 368)>, <-12, 1/529*(-14*w + 515)>, <-12, 1/2*(-w + 2)>, <-12, 1/1405*(-32*w + 2013)>, <-12, 1/171*(-5*w + 191)>, <-12, 1/9231*(-322*w + 11485)>, <-24, 1/80*(-21*w + 437)>, <-12, 1/317133*(-4180*w + 126753)>, <-12, 1/337041*(-4624*w + 207280)>, <-12, 1/394*(-49*w + 884)>, <-12, 1/117527*(-3648*w + 81408)>, <-12, 1/573*(-w + 9)>, <-12, 1/4584*(-437*w + 8517)>, <-12, 1/1387*(-16*w + 976)>, <-12, 1/362673*(-6118*w + 228399)>, <-12, 1/1576*(-15*w + 1726)>, <-12, 1/19*(-8*w - 96)>, <-12, 1/290511*(-5819*w + 256565)>, <-12, 1/529*(-2*w + 18)>, <-12, 1/2028*(-529*w + 3615)>, <-12, 1/1366*(-529*w + 8772)>, <-6, 1/410463*(-6358*w + 295152)>, <-4, 1/510831*(-4901*w + 462666)>, <-4, 1/8229*(-464*w + 13253)>, <-4, 1/510831*(-2704*w + 258271)>, <-4, 1/352*(-13*w + 586)>, <-4, 1/807*(-13*w + 586)>, <-12, 1/683*(-9*w + 126)>, <-12, 1/440*(-9*w - 117)>, <-12, 1/13660*(-143*w - 1859)>, <-12, 1/64*(-w + 65)>, <-12, 1/395*(-64*w + 960)>, <-12, 1/13193*(-320*w + 2825)>, <-12, 1/4584*(-55*w - 440)>, <-4, 1/47*(-2*w + 69)>, <-4, 1/171*(-2*w + 84)>, <-4, 1/14587*(-256*w + 15099)>, <-4, 1/14587*(-208*w + 7840)>, <-4, 1/12912*(-208*w + 19867)>, <-4, 1/405921*(-3952*w + 132145)>, <-12, 1/807*(-484*w - 8228)>, <-12, 1/988*(-147*w + 3340)>, <-12, 1/250*(-19*w + 421)>, <-8, 1/400689*(-2392*w + 39520)>, <-12, 1/11376*(-247*w + 15081)>, <-12, 1/8*(-w + 13)>, <-12, 1/5767*(-147*w + 1813)>, <-12, 1/147*(-8*w + 123)>, <-4, 1/374*(-13*w + 465)>, <-6, 1/15403*(-72*w + 1107)>, <-12, 1/1773*(-140*w - 1260)>, <-12, 1/119*(-4*w - 48)>, <-12, 1/9776*(-275*w - 2750)>, <-6, 1/16*(-w + 20)>, <-6, 1/625*(-16*w + 64)>, <-12, 1/295767*(-1058*w + 9578)>, <-12, -w + 7>, <-12, 1/529*(-13*w + 490)>, <-12, 1/1266*(-529*w + 6348)>, <-12, 1/324729*(-4232*w + 40656)>, <-12, 1/442929*(-1300*w - 18096)>, <-12, 1/11611*(-224*w - 2912)>, <-12, 1/191*(-w + 183)>, <-12, 1/576*(-w - 5)>, <-12, 1/529*(-2*w + 531)>, <-12, 1/2172*(-529*w + 3703)>, <-12, 1/272043*(-3703*w + 10717)>, <-6, 1/484*(-17*w + 501)>, <-12, 1/506*(-5*w - 50)>, <-12, 1/611*(-5*w + 55)>, <-12, 1/23*(-2*w - 24)>, <-4, 1/440*(-9*w + 485)>, <-12, 1/21*(-2*w - 28)>, <-12, 1/1837*(-192*w + 192)>, <-4, 1/17301*(-64*w + 1197)>, <-16, 1/46689*(-40*w + 625)>, <-4, 1/79*(-24*w + 375)>, <-4, 1/5767*(-192*w + 2368)>, <-4, 1/197*(-w - 9)>, <-12, 1/281*(-8*w + 137)>, <-12, 1/15*(-8*w - 129)>, <-4, 1/503*(-w + 505)>, <-4, 1/9633*(-484*w + 11085)>, <-4, 1/507*(-23*w + 69)>, <-4, 1/22*(-23*w - 438)>, <-4, 1/19*(-22*w - 440)>, <-4, 1/484*(-w - 20)>, <-4, 1/503*(-19*w + 541)>, <-4, 1/22*(-w + 2)>, <-12, 1/17043*(-28*w + 17491)>, <-12, 1/625*(-4*w + 589)>, <-12, 1/633*(-2*w + 24)>, <-12, 1/456843*(-2210*w - 28135)>, <-12, 1/591*(-26*w + 357)>, <-12, 1/450063*(-910*w + 12145)>, <-12, 1/20175*(-68*w + 19019)>, <-24, 1/807*(-25*w + 450)>, <-12, 1/13193*(-245*w + 5255)>, <-12, 1/570*(-49*w + 766)>, <-4, 1/181*(-3*w - 18)>, <-4, 1/1267*(-9*w + 1873)>, <-4, 1/154*(-3*w + 202)>, <-4, 1/1810*(-21*w + 1414)>, <-4, 1/27*(-10*w + 97)>, <-12, 1/154*(-3*w - 6)>, <-12, 1/2532*(-119*w - 1309)>, <-6, 1/467811*(-6400*w + 103936)>, <-4, 1/513*(-506*w + 2537)>, <-4, 1/507*(-w + 510)>, <-4, 1/446667*(-506*w + 10649)>, <-4, 1/451953*(-368*w + 459057)>, <-4, 1/881*(-23*w + 444)>, <-12, 1/272403*(-1058*w + 275609)>, <-12, -w + 6>, <-12, 1/13925*(-182*w - 1274)>, <-12, 1/376461*(-2500*w + 380625)>, <-12, 1/625*(-13*w + 169)>, <-12, 1/4584*(-625*w - 416)>, <-4, 1/211*(-w - 11)>, <-4, 1/633*(-208*w + 3831)>, <-4, 1/3*(-8*w + 123)>, <-4, 1/1899*(-8*w + 123)>, <-4, 1/5767*(-3*w + 37)>, <-12, 1/4*(-w + 8)>, <-12, 1/529*(-7*w + 28)>, <-12, 1/506*(-5*w + 506)>, <-12, 1/269*(-12*w + 485)>, <-1, 1/8151*(-220*w + 19671)>, <-1, 1/22971*(-121*w + 6336)>, <-1, 1/10420*(-341*w + 12125)>, <-1, 1/549081*(-4400*w + 393420)>, <-1, 1/10420*(-620*w + 13671)>, <-1, 1/386061*(-6820*w + 35761)>, <-1, 1/121*(-20*w + 441)>, <-12, 1/102637*(-960*w + 104832)>, <-12, 1/576*(-11*w + 110)>, <-12, 1/521*(-192*w - 247)>, <-12, 1/21*(-w + 19)>, <-12, 1/5901*(-22*w - 396)>, <-12, 1/18525*(-34*w + 18015)>, <-12, 1/420201*(-3380*w + 433316)>, <-12, 1/676*(-17*w + 255)>, <-12, 1/4137*(-676*w - 1947)>, <-12, 1/1314*(-25*w + 1639)>, <-4, 1/531*(-49*w + 1525)>, <-4, 1/2470*(-49*w + 1525)>, <-4, 1/4661*(-70*w + 181)>, <-12, 1/676*(-63*w + 189)>, <-12, 1/12*(-w - 2)>, <-12, 1/521*(-w + 517)>, <-12, 1/529*(-8*w - 24)>, <-12, 1/625*(-13*w + 586)>, <-12, 1/807*(-14*w + 252)>, <-12, 1/40301*(-208*w - 1091)>, <-12, 1/633*(-4*w + 589)>, <-12, 1/14482*(-529*w + 10779)>, <-12, 1/557*(-7*w - 49)>, <-12, 1/44923*(-966*w + 19002)>, <-12, 1/167*(-6*w + 167)>, <-4, 1/11*(-8*w + 144)>, <-4, 1/192*(-w + 18)>, <-4, 1/1267*(-64*w + 883)>, <-4, 1/181*(-56*w - 336)>, <-12, 1/28223*(-147*w + 3821)>, <-12, 1/10563*(-440*w + 11443)>, <-12, 1/881*(-21*w + 482)>, <-12, 1/26*(-w + 8)>, <-12, 1/119*(-26*w + 494)>, <-12, -5/162*w>, <-12, 1/14053*(-128*w + 15461)>, <-12, 1/625*(-w + 4)>, <-4, 1/168*(-w + 168)>, <-4, 1/2456*(-49*w + 1336)>, <-4, 1/167*(-49*w + 1336)>, <-4, 1/20*(-7*w + 167)>, <-4, 1/307*(-7*w + 167)>, <-12, 1/843*(-19*w + 361)>, <-12, 1/140*(-19*w - 342)>, <-12, 1/171*(-4*w + 4)>, <-12, 1/2124*(-133*w - 665)>, <-4, -19/501*w>, <-4, 1/3507*(-361*w + 13387)>, <-4, 1/140*(-19*w + 520)>, <-4, 1/13026*(-133*w + 3640)>, <-4, 1/361*(-26*w + 387)>, <-4, 1/676*(-7*w + 592)>, <-4, 1/676*(-19*w + 429)>, <-4, 1/4781*(-494*w + 11697)> ]