/* Defining polynomial */ x^2 - x + 377 /* GCD of coefficients */ 1 /* 24 * |disc|^(3/2) /(8*pi^2)* zeta_F(2) */ 19807.8086912201105873698617289 /* Belt */ [ <60, 1/449*(18*w + 287)>, <60, 1/449*(18*w + 144)>, <72, 1/383*(7*w + 362)>, <72, 1/383*(7*w + 14)>, <138, 1/433*(17*w + 119)>, <138, 1/17*(w + 7)>, <48, 1/509*(24*w + 221)>, <48, 1/533*(24*w + 221)>, <54, 1/379*(7*w + 386)>, <54, 1/7*(w + 8)>, <24, 1/18*(w + 29)>, <24, 1/18*(w - 12)>, <4, 1/259*(30*w + 409)>, <52, 1/379*(7*w + 365)>, <4, 1/379*(15*w + 394)>, <4, 1/22361*(210*w + 5516)>, <8, 1/814*(15*w - 90)>, <4, 1/1298*(7*w + 112)>, <8, 1/15*(2*w - 12)>, <12, 1/22*(w + 16)>, <112, 1/407*(13*w + 329)>, <112, 1/433*(13*w + 329)>, <36, 1/18*(w + 12)>, <12, 1/19721*(342*w + 5681)>, <24, 1/2779*(342*w + 4147)>, <24, 1/306*(11*w + 350)>, <60, 1/467*(7*w + 63)>, <100, 1/389*(11*w + 345)>, <24, 1/1945*(437*w + 197)>, <84, 1/559*(23*w + 237)>, <24, 1/202211*(2737*w + 151657)>, <24, 1/391*(8*w + 399)>, <96, 1/467*(11*w + 357)>, <24, 1/202211*(2737*w + 47817)>, <24, 1/3032*(391*w + 3423)>, <84, 1/533*(15*w + 338)>, <24, 1/13*(w + 13)>, <12, 1/1247*(30*w + 870)>, <48, 1/8*(w + 5)>, <244, 1/37*(w + 31)>, <24, 1/6512*(255*w + 7787)>, <48, 1/383*(8*w + 359)>, <12, 1/147431*(1620*w + 26255)>, <60, 1/13*(w + 9)>, <96, 1/379*(11*w + 357)>, <24, 1/255*(16*w + 335)>, <24, 1/171967*(3366*w + 107100)>, <60, 1/467*(7*w + 397)>, <24, 1/157963*(2394*w + 29029)>, <84, 1/559*(23*w + 299)>, <100, 1/11*(w + 7)>, <24, 1/185399*(2185*w + 985)>, <72, 1/15*(w + 9)>, <12, 1/17279*(330*w + 6974)>, <84, 1/533*(15*w + 180)>, <24, 1/165839*(3230*w + 114019)>, <24, 1/323*(10*w + 353)>, <24, 1/379*(12*w + 12)>, <24, 1/487*(12*w + 120)>, <48, 1/91*(24*w + 312)>, <48, 1/1032*(7*w + 91)>, <24, 1/91*(18*w + 307)>, <132, 1/487*(17*w + 300)>, <48, 1/9671*(84*w - 1008)>, <132, 1/17*(w + 6)>, <48, 1/9671*(84*w + 10595)>, <24, 1/397*(5*w + 372)>, <24, 1/5*w>, <48, 1/13*w>, <12, 1/377*(28*w - 28)>, <36, 1/15*(w + 1)>, <12, 1/15539*(182*w + 4563)>, <36, 1/43*(2*w + 26)>, <24, 1/91*(18*w - 234)>, <12, 1/209683*(2574*w + 166068)>, <60, 1/487*(11*w + 366)>, <24, 1/236311*(3978*w + 72709)>, <24, 1/192911*(2730*w + 116051)>, <60, 1/509*(13*w + 353)>, <48, 1/15*(w + 11)>, <48, 1/509*(15*w + 165)>, <120, 1/449*(13*w + 332)>, <120, 1/397*(13*w + 332)>, <24, 1/221*(18*w + 329)>, <60, 1/487*(11*w + 110)>, <24, 1/6*(w - 3)>, <216, 1/467*(19*w + 277)>, <24, 1/6*(w + 8)>, <24, 1/178861*(3588*w + 103753)>, <24, 1/299*(12*w + 347)>, <150, 1/533*(23*w + 234)>, <72, 1/467*(14*w + 126)>, <4, 1/170171*(2310*w + 127380)>, <4, 1/484*(15*w + 349)>, <4, 1/484*(7*w + 386)>, <16, 1/8385*(154*w + 10387)>, <8, 1/9878*(75*w - 675)>, <16, 1/12298*(35*w + 455)>, <28, 1/22*(w + 13)>, <8, 1/75*(22*w - 198)>, <36, 1/533*(11*w + 132)>, <12, 1/324*(5*w - 65)>, <96, 1/419*(19*w + 286)>, <52, 1/407*(7*w + 365)>, <12, 1/289*(18*w + 307)>, <18, 1/6*(w + 1)>, <36, 1/11*(w - 3)>, <24, 1/221923*(4140*w + 18603)>, <24, 1/460*(9*w + 18)>, <36, 1/383*(11*w - 33)>, <24, 1/234221*(1980*w + 27621)>, <24, 1/234221*(1980*w + 204620)>, <72, 1/14*(w + 9)>, <24, 1/9061*(108*w + 10357)>, <72, 1/397*(17*w + 312)>, <12, 1/8*(w + 6)>, <12, 1/3352*(315*w - 2205)>, <48, 1/407*(12*w + 335)>, <48, 1/223327*(1824*w + 194047)>, <48, 1/9253*(96*w + 10213)>, <48, 1/407*(12*w + 60)>, <150, 1/23*(w + 10)>, <12, 1/10741*(30*w + 11011)>, <66, 1/509*(11*w + 377)>, <24, 1/357*(10*w + 367)>, <48, 1/110*(19*w + 281)>, <48, 1/8873*(110*w + 9863)>, <24, 1/176059*(3570*w + 131019)>, <24, 1/223327*(1463*w + 199842)>, <24, 1/492*(19*w + 720)>, <24, 1/16297*(228*w + 8640)>, <24, 1/9671*(77*w + 10518)>, <66, 1/377*(11*w + 377)>, <24, 1/233843*(1530*w + 31050)>, <24, 1/17*(w + 1)>, <24, 1/5837*(288*w + 8141)>, <12, 1/250991*(2645*w - 10335)>, <12, 1/433*(6*w + 475)>, <84, 1/16*(w + 7)>, <24, 1/5837*(288*w - 2592)>, <120, 1/21*(w + 11)>, <24, 1/18*(w - 11)>, <72, 1/433*(18*w + 126)>, <24, 1/342*(7*w + 377)>, <24, 1/163241*(2394*w + 128934)>, <72, 1/18*(w + 7)>, <120, 1/509*(21*w + 231)>, <24, 1/1189*(18*w + 667)>, <6, 1/484*(7*w + 442)>, <6, 1/533*(7*w + 84)>, <6, 1/2095*(484*w - 1293)>, <6, 1/509*(5*w + 449)>, <144, 1/419*(13*w + 78)>, <48, 1/383*(9*w + 356)>, <48, 1/419*(9*w + 356)>, <24, 1/6*(w + 2)>, <24, 1/211601*(3496*w + 187473)>, <24, 1/467*(6*w + 54)>, <24, 1/383*(6*w + 12)>, <24, 1/437*(8*w + 429)>, <24, 1/6*(w + 9)>, <36, 1/18*(w + 5)>, <24, 1/3016*(399*w - 399)>, <24, 1/399*(8*w - 8)>, <176, 1/17*(w + 8)>, <12, 1/315*(8*w + 387)>, <12, 1/379*(8*w - 16)>, <24, 1/4279*(357*w + 5350)>, <48, 1/487*(15*w + 322)>, <48, 1/397*(15*w + 322)>, <112, 1/419*(11*w + 342)>, <24, 1/214097*(3366*w + 123930)>, <24, 1/6749*(253*w + 7761)>, <24, 1/7792*(165*w + 9442)>, <48, 1/377*(7*w + 377)>, <24, 1/6495*(272*w + 8399)>, <24, 1/202007*(4048*w + 54439)>, <48, 1/377*(7*w - 7)>, <24, 1/4213*(368*w + 4949)>, <24, 1/232609*(4080*w + 125985)>, <52, 1/559*(17*w + 321)>, <48, 1/29*w>, <72, 1/14*(w + 6)>, <72, 1/433*(14*w + 321)>, <12, 1/5161*(280*w - 1400)>, <24, 1/207163*(2584*w + 46360)>, <48, 1/407*(19*w + 95)>, <24, 1/207163*(2584*w + 158219)>, <12, 1/228343*(1170*w + 206568)>, <12, 1/587*(18*w + 317)>, <168, 1/509*(23*w + 233)>, <24, 1/20*(23*w - 256)>, <24, 1/259081*(460*w - 5120)>, <24, 1/202007*(3927*w + 58850)>, <52, 1/559*(17*w + 221)>, <48, 1/559*(19*w + 247)>, <24, 1/306*(11*w + 405)>, <112, 1/419*(11*w + 66)>, <24, 1/253*(17*w + 321)>, <12, 1/8338*(225*w + 8563)>, <12, 1/379*(14*w + 14)>, <24, 1/165*(16*w + 325)>, <24, 1/323*(10*w + 403)>, <24, 1/171967*(3003*w + 73414)>, <24, 1/204139*(3230*w + 130169)>, <24, 1/171967*(3003*w + 95550)>, <84, 1/16*(w + 8)>, <12, 1/182743*(3150*w + 72675)>, <72, 1/467*(15*w + 135)>, <12, 1/182*(15*w - 150)>, <24, 1/285*(13*w + 337)>, <24, 1/181663*(3705*w + 96045)>, <28, 1/22*(w + 8)>, <16, 1/35*(22*w + 286)>, <24, 1/211861*(4692*w + 152881)>, <24, 1/211861*(4692*w + 54288)>, <36, 1/587*(20*w + 280)>, <36, 1/587*(20*w + 287)>, <24, 1/224821*(4199*w + 138618)>, <24, 1/3501*(374*w - 1496)>, <72, 1/533*(17*w + 312)>, <120, 1/17*(w + 11)>, <120, 1/17*(w + 5)>, <48, 1/533*(12*w + 377)>, <24, 1/407*(5*w + 25)>, <24, 1/5*(w + 5)>, <48, 1/533*(12*w + 144)>, <24, 1/574*(15*w + 754)>, <24, 1/16211*(210*w + 10556)>, <24, 1/8279*(135*w - 1485)>, <24, 1/143*(16*w - 208)>, <24, 1/11*(2*w + 26)>, <24, 1/143*(16*w + 335)>, <24, 1/8279*(135*w + 9629)>, <24, 1/194947*(3366*w + 149974)>, <24, 1/6919*(247*w + 8154)>, <48, 1/13*(w + 2)>, <12, 1/258523*(1430*w + 275748)>, <12, 1/22*(w + 15)>, <48, 1/13*(w + 10)>, <72, 1/449*(11*w + 350)>, <12, 1/8660*(133*w + 9591)>, <72, 1/533*(20*w + 273)>, <72, 1/383*(11*w + 350)>, <12, 1/270*(17*w + 321)>, <24, 1/396*(7*w - 21)>, <24, 1/2681*(396*w - 1188)>, <48, 1/397*(10*w + 347)>, <88, 1/533*(21*w + 260)>, <126, 1/487*(21*w + 210)>, <2, 1/46*(21*w + 256)>, <1, 1/237169*(92*w - 21466)>, <1, 1/1066*(42*w - 10689)>, <1, 1/259571*(966*w + 13724)>, <1, 1/2*(w + 12)>, <48, 1/407*(10*w + 347)>, <88, 1/449*(21*w + 260)>, <36, 1/8531*(126*w - 1134)>, <156, 1/19*(w + 8)>, <60, 1/389*(13*w + 337)>, <48, 1/5837*(240*w + 7757)>, <48, 1/186521*(3120*w + 100841)>, <24, 1/183599*(3542*w + 62205)>, <84, 1/16*(w + 5)>, <24, 1/192911*(3744*w + 87503)>, <12, 1/9162*(95*w + 10207)>, <60, 1/18*(w + 6)>, <24, 1/192911*(3744*w + 101664)>, <60, 1/389*(16*w + 48)>, <24, 1/119*(18*w - 198)>, <60, 1/533*(16*w + 192)>, <60, 1/9*(w + 4)>, <78, 1/509*(20*w + 269)>, <6, 1/228541*(980*w + 214380)>, <72, 1/16*(w + 6)>, <24, 1/3573*(320*w + 4853)>, <72, 1/419*(16*w + 96)>, <24, 1/320*(9*w + 356)>, <60, 1/15*(w + 8)>, <12, 1/188131*(3360*w + 70336)>, <24, 1/6928*(195*w - 1560)>, <24, 1/216931*(2142*w + 179208)>, <48, 1/12259*(42*w + 11713)>, <12, 1/207337*(2128*w + 43225)>, <24, 1/195*(16*w - 128)>, <84, 1/487*(16*w + 311)>, <8, 1/7633*(160*w + 8913)>, <102, 1/509*(22*w + 245)>, <12, 1/4870*(289*w + 7760)>, <48, 1/487*(9*w + 90)>, <24, 1/9429*(104*w + 10261)>, <24, 1/13*(w - 2)>, <12, 1/222473*(2730*w + 82320)>, <24, 1/104*(21*w + 272)>, <24, 1/158801*(2584*w + 38968)>, <24, 1/158801*(2584*w + 117249)>, <24, 1/4367*(322*w + 5655)>, <6, 1/10714*(25*w + 10964)>, <24, 1/9253*(88*w + 10133)>, <24, 1/119*(20*w - 180)>, <24, 1/183599*(3570*w + 134589)>, <24, 1/3830*(357*w - 1071)>, <24, 1/272*(13*w + 337)>, <24, 1/703*(18*w + 793)>, <60, 1/419*(18*w + 108)>, <24, 399/3770*w>, <12, 1/3064*(361*w + 3786)>, <12, 1/383*(2*w + 4)>, <24, 10/399*w>, <24, 1/184573*(2964*w + 93924)>, <36, 1/533*(11*w + 390)>, <24, 1/5604*(247*w + 7827)>, <96, 1/467*(20*w + 267)>, <96, 1/487*(20*w + 267)>, <24, 1/300*(11*w + 366)>, <24, 1/181663*(3536*w + 91664)>, <78, 1/449*(20*w + 269)>, <24, 1/183599*(3300*w + 109800)>, <24, 1/8980*(119*w - 1071)>, <24, 1/176059*(3312*w + 34011)>, <24, 1/176059*(3312*w + 138736)>, <28, 1/14191*(96*w + 12655)>, <28, 1/617*(23*w + 345)>, <36, 1/263563*(1840*w + 282923)>, <36, 1/23*(w + 14)>, <24, 1/779*(5*w - 65)>, <24, 1/487*(19*w - 209)>, <156, 1/19*(w + 10)>, <24, 1/10*(w - 3)>, <24, 1/55*(21*w - 231)>, <24, 1/451*(21*w + 703)>, <24, 1/184573*(3168*w + 136576)>, <24, 1/91*(19*w + 281)>, <12, 1/418*(13*w + 392)>, <24, 1/9253*(91*w + 10163)>, <24, 1/779*(5*w + 839)>, <24, 1/487*(19*w + 677)>, <24, 1/383*(10*w - 30)>, <24, 1/10227*(55*w - 605)>, <24, 1/16469*(231*w + 7733)>, <24, 1/352*(9*w + 388)>, <102, 1/22*(w + 10)>, <42, 1/533*(22*w + 264)>, <6, 1/49*(22*w + 247)>, <24, 1/357*(5*w + 377)>, <24, 1/7123*(198*w + 8311)>, <24, 1/9*(w - 3)>, <24, 1/194947*(4186*w + 88802)>, <48, 1/389*(8*w + 357)>, <24, 1/383*(9*w - 27)>, <24, 1/5446*(299*w + 6343)>, <48, 1/397*(8*w + 357)>, <72, 1/433*(20*w + 273)>, <48, 1/227513*(3040*w + 177593)>, <12, 1/559*(20*w + 260)>, <12, 1/19*(20*w - 280)>, <48, 1/227513*(3040*w + 46880)>, <12, 1/649*(21*w + 292)>, <12, 1/8337*(208*w + 9169)>, <24, 1/153439*(1785*w + 134589)>, <24, 1/174661*(1995*w + 161196)>, <36, 1/397*(16*w + 64)>, <36, 1/487*(14*w + 140)>, <24, 1/5447*(266*w + 7043)>, <36, 1/397*(18*w + 72)>, <24, 1/187*(15*w + 322)>, <48, 7/377*w>, <24, 1/7184*(189*w + 8696)>, <24, 1/4203*(320*w + 7083)>, <24, 1/6285*(272*w - 1904)>, <36, 1/17*(w + 2)>, <24, 1/202073*(3024*w + 139136)>, <24, 1/194947*(2880*w + 63747)>, <48, 1/377*(7*w + 370)>, <24, 1/6285*(272*w + 7917)>, <24, 1/5835*(304*w + 6747)>, <36, 1/587*(17*w + 332)>, <88, 1/15*(w + 7)>, <12, 1/182743*(2366*w + 125790)>, <108, 1/433*(19*w + 281)>, <108, 1/509*(19*w + 281)>, <12, 1/10689*(26*w - 312)>, <12, 1/441*(16*w + 377)>, <28, 1/649*(13*w + 208)>, <18, 1/4*(w + 3)>, <24, 1/399*(5*w + 404)>, <24, 1/211861*(4560*w + 101205)>, <36, 1/559*(18*w + 234)>, <24, 1/193339*(2805*w + 60214)>, <12, 1/204139*(4620*w + 104104)>, <36, 1/509*(16*w + 176)>, <36, 1/389*(14*w + 42)>, <24, 1/186521*(3458*w + 91559)>, <24, 1/433*(10*w + 353)>, <60, 1/419*(15*w + 314)>, <96, 1/19*(w + 12)>, <24, 1/383*(10*w + 353)>, <24, 1/629*(20*w + 729)>, <4, 1/208*(15*w + 313)>, <13, 1/9503*(100*w - 1400)>, <64, 1/389*(7*w + 21)>, <6, 1/256*(19*w + 313)>, <18, 1/389*(19*w + 313)>, <36, 1/5*(w + 1)>, <12, 1/245971*(5202*w + 99127)>, <20, 1/649*(20*w + 309)>, <24, 14/377*w>, <24, 1/377*(14*w + 363)>, <24, 1/340*(13*w + 392)>, <24, 1/5161*(340*w + 6521)>, <6, 1/170171*(2800*w + 154400)>, <24, 1/379*(3*w + 3)>, <12, 1/216931*(2800*w + 37331)>, <12, w + 6>, <24, 1/1945*(378*w - 1512)>, <48, 1/397*(19*w + 302)>, <24, 1/8227*(153*w - 1224)>, <60, 1/407*(9*w + 353)>, <24, 1/17*(w - 12)>, <48, 1/509*(12*w + 365)>, <48, 1/377*(12*w + 365)>, <12, 1/1189*(16*w + 448)>, <60, 1/407*(9*w + 45)>, <24, 1/1189*(17*w + 696)>, <12, 1/1247*(16*w + 767)>, <48, 1/5*(w + 2)>, <24, 1/378*(5*w - 20)>, <24, 1/8227*(153*w + 9298)>, <48, 1/587*(19*w + 302)>, <12, 1/7*(w + 10)>, <12, 1/3409*(340*w - 3740)>, <12, 1/130*(17*w - 187)>, <24, 1/300*(11*w - 88)>, <24, 1/4763*(300*w - 2400)>, <30, 1/419*(10*w + 60)>, <12, 1/1118*(361*w + 5811)>, <48, 1/7123*(210*w + 8383)>, <8, 1/2*(w + 10)>, <4, 1/218663*(966*w + 224595)>, <4, 1/239317*(1932*w + 23920)>, <4, 1/239317*(1764*w + 212121)>, <8, 1/487*(2*w + 20)>, <12, 1/232609*(7056*w + 159201)>, <12, 1/441*(4*w + 60)>, <12, 1/4147*(441*w + 4147)>, <48, 1/211601*(3570*w + 142511)>, <30, 1/10*(w + 6)>, <24, 1/217451*(2856*w + 160667)>, <24, 1/6286*(221*w - 1989)>, <6, 1/361*(6*w + 421)>, <6, 1/487*(6*w + 421)>, <36, 1/433*(22*w + 257)>, <12, 1/233039*(3211*w + 178790)>, <22, 1/12*(w + 7)>, <24, 1/7939*(168*w + 9451)>, <24, 1/6286*(221*w + 8054)>, <24, 1/259081*(1518*w + 274459)>, <24, 1/209*(14*w + 363)>, <24, 1/487*(10*w + 100)>, <24, 1/6*(w + 6)>, <36, 1/9671*(72*w + 10463)>, <24, 1/7633*(176*w + 9041)>, <24, 1/6704*(221*w + 8030)>, <24, 1/176*(17*w + 312)>, <24, 1/202073*(3536*w + 128480)>, <12, 1/509*(7*w + 77)>, <12, 1/460*(7*w + 425)>, <36, 1/10*(w + 8)>, <12, 1/194417*(4624*w + 88145)>, <48, 1/379*(9*w + 9)>, <24, 1/3592*(323*w + 6176)>, <24, 1/323*(8*w + 387)>, <24, 1/377*(10*w - 10)>, <24, 1/377*(6*w + 377)>, <24, 1/210743*(2926*w + 75867)>, <24, 1/66*(23*w + 299)>, <12, 1/185*(42*w - 67)>, <12, 1/487*(5*w + 432)>, <6, 1/5599*(256*w + 8415)>, <24, 1/20*(w - 9)>, <36, 1/377*(9*w + 368)>, <24, 1/467*(10*w + 90)>, <24, 10/377*w>, <24, 1/467*(19*w + 638)>, <36, 1/449*(14*w + 323)>, <12, 1/518*(23*w + 633)>, <12, 1/192911*(4420*w + 68471)>, <60, 1/379*(13*w + 353)>, <36, 1/10*(w + 1)>, <36, 1/433*(8*w + 369)>, <12, 1/3393*(361*w + 3393)>, <12, 2/377*w>, <24, 1/220*(13*w - 130)>, <24, 1/449*(20*w - 180)>, <24, 1/1189*(19*w + 638)>, <36, 1/449*(9*w + 368)>, <12, 1/368*(9*w - 9)>, <12, 1/3411*(352*w - 704)>, <48, 1/9*(w + 1)>, <48, 1/65*(23*w - 257)>, <24, 1/10227*(50*w - 550)>, <48, 1/989*(5*w + 919)>, <24, 1/418*(7*w - 14)>, <6, 1/150463*(2166*w + 15810)>, <24, 1/50*(21*w - 231)>, <24, 1/2653*(418*w - 836)>, <12, 1/418*(7*w + 397)>, <24, 1/1945*(357*w + 3016)>, <24, 1/198001*(2856*w + 147441)>, <24, 1/3064*(437*w + 874)>, <24, 1/437*(8*w + 16)>, <24, 1/1189*(21*w + 580)>, <24, 1/433*(21*w + 580)>, <36, 1/433*(21*w + 265)>, <12, 1/242047*(168*w - 2288)>, <24, 1/357*(5*w + 372)>, <24, 1/357*(8*w + 413)>, <24, 1/5558*(285*w + 6698)>, <24, 1/224*(15*w - 120)>, <24, 1/5362*(323*w - 969)>, <24, 1/7939*(147*w + 9262)>, <36, 1/21*(w + 6)>, <24, 1/6128*(315*w - 945)>, <24, 1/383*(4*w + 371)>, <24, 1/204053*(2499*w + 157454)>, <36, 1/587*(21*w + 272)>, <24, 1/6128*(315*w + 6758)>, <24, 1/407*(4*w + 383)>, <12, 1/176231*(3094*w + 94835)>, <24, 1/379*(4*w + 383)>, <12, 1/441*(13*w + 337)>, <12, 1/467*(2*w + 18)>, <24, 1/4*(w + 7)>, <36, 1/389*(5*w + 369)>, <24, 1/4*(w + 1)>, <24, 1/285*(14*w + 341)>, <24, 1/6495*(224*w - 1792)>, <24, 1/202007*(4522*w + 113373)>, <36, 1/433*(21*w + 147)>, <36, 1/80*(23*w + 322)>, <36, 1/23*(w + 8)>, <12, 1/3031*(361*w + 5558)>, <24, 1/433*(4*w + 28)>, <4, 1/26*(w + 31)>, <4, 1/169*(11*w + 345)>, <28, 1/389*(13*w - 52)>, <4, 1/38291*(260*w + 23900)>, <4, 1/9336*(143*w + 4485)>, <4, 1/9336*(169*w + 9843)>, <12, 1/3*(w + 6)>, <12, 1/1257*(380*w - 2660)>, <12, 1/377*(16*w + 361)>, <6, 1/617*(361*w + 6032)>, <12, 1/649*(17*w + 360)>, <12, 1/6409*(360*w + 6409)>, <12, 1/221299*(5474*w + 68418)>, <12, 1/377*(14*w + 377)>, <12, 1/19*(w + 1)>, <12, 1/258857*(342*w + 6138)>, <12, 1/154253*(2800*w + 146000)>, <12, 1/400*(3*w + 15)>, <12, 1/379*(400*w + 779)>, <24, 1/399*(10*w + 419)>, <24, 1/16727*(153*w + 13685)>, <24, 1/17*(w + 29)>, <48, 1/533*(25*w + 208)>, <24, 1/16727*(153*w + 2889)>, <24, 1/533*(17*w + 737)>, <12, 1/248567*(5472*w + 93888)>, <12, 1/19*(w + 16)>, <24, 1/217451*(3990*w + 167181)>, <4, 1/151321*(2380*w + 122740)>, <6, 1/162991*(2890*w + 59240)>, <12, 1/16021*(312*w + 7813)>, <24, 1/2183*(26*w + 1832)>, <12, 1/777*(16*w + 857)>, <24, 1/617*(21*w + 281)>, <24, 1/838*(13*w + 916)>, <24, 1/198001*(3135*w + 126105)>, <24, 1/209*(15*w - 135)>, <24, 1/209*(18*w - 126)>, <24, 1/11153*(36*w + 11657)>, <12, 1/441*(4*w + 413)>, <12, 1/449*(2*w + 16)>, <24, 1/7542*(209*w - 1463)>, <48, 1/449*(12*w + 341)>, <12, 1/5837*(228*w - 2052)>, <48, 1/389*(12*w + 341)>, <24, 1/377*(6*w + 371)>, <24, 1/3771*(323*w - 2261)>, <12, 1/202073*(4048*w + 117824)>, <30, 1/144*(17*w - 170)>, <36, 1/218663*(2394*w + 35028)>, <24, 1/3771*(323*w + 5709)>, <24, 6/377*w>, <12, 1/196*(23*w + 242)>, <6, 1/7917*(256*w + 7917)>, <12, 1/7126*(187*w + 9183)>, <12, 1/383*(14*w + 341)>, <24, 1/20*(w + 29)>, <24, 1/18017*(60*w + 17120)>, <24, 1/377*(9*w - 9)>, <42, 1/533*(22*w + 247)>, <12, 1/22951*(260*w + 14131)>, <12, 1/21719*(414*w + 20792)>, <12, 1/9*(w + 14)>, <24, 1/280*(11*w + 357)>, <12, 1/251119*(714*w + 260673)>, <24, 1/323*(14*w + 393)>, <24, 1/233843*(4522*w + 126939)>, <48, 1/487*(9*w + 388)>, <12, 1/147431*(722*w + 9168)>, <24, 1/176993*(3080*w + 99960)>, <24, 1/1247*(20*w + 580)>, <24, 1/820*(3*w + 856)>, <24, 1/9*(w - 1)>, <36, 1/22*(w + 14)>, <12, 1/263563*(1863*w + 19602)>, <12, 1/379*(6*w + 385)>, <12, 1/171901*(4332*w + 45912)>, <12, 1/3*(w - 2)>, <30, 1/202211*(2448*w + 156995)>, <24, 1/5*(w + 9)>, <12, 1/8*(w + 8)>, <12, 1/441*w>, <24, 1/467*(5*w + 45)>, <24, 1/419*(5*w + 384)>, <24, 1/209*(15*w - 120)>, <24, 1/160477*(1596*w + 2872)>, <24, 1/1516*(399*w + 718)>, <24, 1/399*(4*w + 427)>, <24, 1/399*(4*w - 32)>, <12, 1/407*(2*w + 417)>, <12, 1/1628*(441*w - 2646)>, <24, 1/5*(w - 2)>, <24, 1/188131*(3135*w + 119370)>, <24, 1/6105*(247*w + 7340)>, <24, 1/8531*(150*w + 9731)>, <24, 1/6105*(247*w - 1482)>, <24, 1/8531*(150*w - 1350)>, <12, 1/221299*(2280*w + 55024)>, <12, 1/15*w>, <6, 1/1556*(361*w + 2639)>, <18, 1/389*(4*w + 12)>, <24, 1/323*(18*w + 359)>, <4, 1/25547*(264*w + 22632)>, <4, 1/4763*(312*w + 7896)>, <12, 1/22*(w + 5)>, <4, 1/866*(13*w + 1195)>, <4, 1/16021*(143*w + 3619)>, <4, 1/37*(w + 42)>, <12, 1/146653*(1140*w + 143260)>, <12, 1/3*(w + 3)>, <12, w + 1>, <12, 1/245971*(6498*w + 123823)>, <12, 1/377*(16*w - 16)>, <24, 1/257491*(5814*w + 115957)>, <12, 1/17*(20*w - 343)>, <12, 1/683*(20*w + 323)>, <12, 1/400*(3*w + 409)>, <12, 1/433*(400*w + 2800)>, <12, 1/168437*(4400*w + 26037)>, <24, 1/559*(16*w + 208)>, <24, 1/3573*(380*w - 1900)>, <24, 1/21853*(225*w + 23725)>, <24, 1/21853*(225*w - 2097)>, <24, 1/16*(w + 13)>, <24, 1/207337*(3420*w + 158080)>, <4, 1/389*(10*w - 40)>, <1, 1/6613*(100*w + 10803)>, <1, 1/289*(10*w + 419)>, <2, 1/10503*(170*w + 7123)>, <1, 1/100*(27*w + 181)>, <1, 1/312481*(2890*w + 93470)>, <1, 1/312481*(7803*w + 52309)>, <13, 1/217451*(1700*w + 32100)>, <4, 1/10*(w - 4)>, <16, 1/1357*(10*w + 1187)>, <16, 1/649*(23*w + 368)>, <12, 1/12327*(22*w + 11997)>, <24, 1/8227*(180*w + 9487)>, <12, 1/617*(15*w + 225)>, <12, 1/152*(15*w - 240)>, <24, 1/180*(19*w + 313)>, <24, 1/3663*(323*w + 5278)>, <24, 1/3663*(323*w - 1938)>, <12, 1/592*(21*w + 697)>, <24, 1/946*(3*w + 39)>, <12, 1/333*(28*w + 473)>, <24, 1/280*(11*w - 121)>, <12, 1/240013*(532*w + 230717)>, <18, 1/617*(19*w + 313)>, <12, 1/33*(20*w - 260)>, <24, 1/5357*(280*w - 3080)>, <24, 1/39*(22*w + 286)>, <24, 1/5*(w - 3)>, <24, 1/323*(12*w - 96)>, <12, 1/4596*(323*w + 5242)>, <12, 1/467*(12*w + 347)>, <24, 1/36*(19*w + 302)>, <24, 1/5196*(323*w - 2584)>, <24, 1/383*(5*w - 15)>, <6, 1/289*(12*w + 337)>, <22, 1/397*(12*w + 337)>, <24, 1/211601*(2856*w + 55592)>, <12, 1/8*(21*w - 273)>, <24, 1/211601*(2856*w + 153153)>, <24, 1/213271*(1995*w + 32125)>, <24, 1/487*(4*w + 40)>, <24, 1/487*(4*w + 443)>, <12, 1/237703*(1428*w + 218799)>, <24, 1/2435*(399*w + 6425)>, <12, 1/397*(4*w + 377)>, <6, 1/3393*(361*w + 3032)>, <24, 1/3*(w + 2)>, <12, 1/740*(17*w + 825)>, <24, 1/377*(3*w + 374)>, <12, w + 3>, <12, 1/11*(w - 4)>, <12, 1/400*(17*w + 332)>, <16, 1/419*(23*w + 138)>, <16, 1/1357*(10*w + 160)>, <8, 1/120*(23*w - 161)>, <4, 1/708*(23*w + 1076)>, <8, 1/9637*(120*w - 840)>, <4, 1/649*(12*w + 192)>, <4, 1/276*(11*w - 77)>, <12, 1/4763*(289*w + 6786)>, <36, 1/433*(8*w + 56)>, <36, 1/14*(w + 5)>, <24, 1/27*(22*w - 242)>, <12, 1/207337*(2772*w + 76437)>, <12, 1/533*(9*w + 416)>, <24, 1/10714*(27*w - 297)>, <12, 1/51*(22*w - 279)>, <12, 1/248911*(374*w - 4573)>, <12, 1/559*(9*w + 433)>, <12, 1/178253*(1444*w + 27716)>, <24, 1/155881*(1140*w + 6921)>, <24, 1/155881*(1140*w + 147820)>, <4, 1/171901*(3036*w + 83604)>, <4, 1/617*(11*w + 441)>, <4, 1/276*(11*w + 441)>, <8, 1/88*(23*w - 184)>, <8, 1/9959*(88*w - 704)>, <12, 1/169273*(2312*w + 58008)>, <48, 1/259571*(966*w + 269399)>, <12, 1/3*(w + 10)>, <12, 1/484*(w + 7)>, <24, 1/218663*(1672*w + 192527)>, <12, 1/3*(w - 6)>, <12, 1/111*(40*w + 200)>, <8, 1/160*(17*w + 296)>, <12, 1/3*(22*w - 264)>, <12, 1/1527*(440*w + 6367)>, <12, 1/449*(3*w + 473)>, <-4, 1/259*(-30*w + 439)>, <-4, 1/379*(-15*w + 409)>, <-4, 1/22361*(-210*w + 5726)>, <-4, 1/1298*(-7*w + 119)>, <-12, 1/19721*(-342*w + 6023)>, <-24, 1/13*(-w + 14)>, <-12, 1/1247*(-30*w + 900)>, <-12, 1/147431*(-1620*w + 27875)>, <-12, 1/17279*(-330*w + 7304)>, <-12, -28/377*w>, <-36, 1/15*(-w + 2)>, <-12, 1/15539*(-182*w + 4745)>, <-36, 1/43*(-2*w + 28)>, <-12, 1/209683*(-2574*w + 168642)>, <-24, 1/192911*(-2730*w + 118781)>, <-4, 1/170171*(-2310*w + 129690)>, <-4, 1/484*(-15*w + 364)>, <-4, 1/484*(-7*w + 393)>, <-16, 1/8385*(-154*w + 10541)>, <-12, 1/324*(-5*w - 60)>, <-12, 1/289*(-18*w + 325)>, <-18, 1/6*(-w + 2)>, <-24, 1/9061*(-108*w + 10465)>, <-12, 1/8*(-w + 7)>, <-12, 1/3352*(-315*w - 1890)>, <-12, 1/10741*(-30*w + 11041)>, <-24, 1/233843*(-1530*w + 32580)>, <-24, 1/17*(-w + 2)>, <-12, 1/250991*(-2645*w - 7690)>, <-12, 1/433*(-6*w + 481)>, <-6, 1/484*(-7*w + 449)>, <-6, 1/533*(-7*w + 91)>, <-6, 1/2095*(-484*w - 809)>, <-6, 1/509*(-5*w + 454)>, <-12, 1/315*(-8*w + 395)>, <-12, 1/379*(-8*w - 8)>, <-12, 1/5161*(-280*w - 1120)>, <-12, 1/228343*(-1170*w + 207738)>, <-12, 1/587*(-18*w + 335)>, <-12, 1/8338*(-225*w + 8788)>, <-12, 1/379*(-14*w + 28)>, <-12, 1/182743*(-3150*w + 75825)>, <-12, 1/182*(-15*w - 135)>, <-24, 1/11*(-2*w + 28)>, <-12, 1/258523*(-1430*w + 277178)>, <-12, 1/22*(-w + 16)>, <-12, 1/8660*(-133*w + 9724)>, <-12, 1/270*(-17*w + 338)>, <-2, 1/46*(-21*w + 277)>, <-1, 1/237169*(-92*w - 21374)>, <-1, 1/1066*(-42*w - 10647)>, <-1, 1/259571*(-966*w + 14690)>, <-1, 1/2*(-w + 13)>, <-12, 1/9162*(-95*w + 10302)>, <-6, 1/228541*(-980*w + 215360)>, <-12, 1/188131*(-3360*w + 73696)>, <-12, 1/207337*(-2128*w + 45353)>, <-12, 1/4870*(-289*w + 8049)>, <-24, 1/13*(-w - 1)>, <-12, 1/222473*(-2730*w + 85050)>, <-6, 1/10714*(-25*w + 10989)>, <-24, 1/703*(-18*w + 811)>, <-12, 1/3064*(-361*w + 4147)>, <-12, 1/383*(-2*w + 6)>, <-28, 1/14191*(-96*w + 12751)>, <-28, 1/617*(-23*w + 368)>, <-12, 1/418*(-13*w + 405)>, <-6, 1/49*(-22*w + 269)>, <-24, 1/7123*(-198*w + 8509)>, <-12, 1/559*(-20*w + 280)>, <-12, 1/19*(-20*w - 260)>, <-12, 1/649*(-21*w + 313)>, <-12, 1/8337*(-208*w + 9377)>, <-12, 1/182743*(-2366*w + 128156)>, <-12, 1/10689*(-26*w - 286)>, <-12, 1/441*(-16*w + 393)>, <-12, 1/204139*(-4620*w + 108724)>, <-24, 1/629*(-20*w + 749)>, <-4, 1/208*(-15*w + 328)>, <-6, 1/256*(-19*w + 332)>, <-12, 1/245971*(-5202*w + 104329)>, <-20, 1/649*(-20*w + 329)>, <-6, 1/170171*(-2800*w + 157200)>, <-12, 1/216931*(-2800*w + 40131)>, <-12, -w + 7>, <-12, 1/1189*(-16*w + 464)>, <-12, 1/1247*(-16*w + 783)>, <-12, 1/7*(-w + 11)>, <-12, 1/3409*(-340*w - 3400)>, <-12, 1/130*(-17*w - 170)>, <-12, 1/1118*(-361*w + 6172)>, <-4, 1/218663*(-966*w + 225561)>, <-4, 1/239317*(-1932*w + 25852)>, <-4, 1/239317*(-1764*w + 213885)>, <-12, 1/232609*(-7056*w + 166257)>, <-12, 1/441*(-4*w + 64)>, <-12, 1/4147*(-441*w + 4588)>, <-6, 1/361*(-6*w + 427)>, <-6, 1/487*(-6*w + 427)>, <-12, 1/233039*(-3211*w + 182001)>, <-36, 1/9671*(-72*w + 10535)>, <-12, 1/509*(-7*w + 84)>, <-12, 1/460*(-7*w + 432)>, <-12, 1/194417*(-4624*w + 92769)>, <-12, 1/185*(-42*w - 25)>, <-12, 1/487*(-5*w + 437)>, <-6, 1/5599*(-256*w + 8671)>, <-12, 1/518*(-23*w + 656)>, <-12, 1/192911*(-4420*w + 72891)>, <-12, 1/3393*(-361*w + 3754)>, <-12, 1/377*(-2*w + 2)>, <-24, 1/220*(-13*w - 117)>, <-12, -9/368*w>, <-12, 1/3411*(-352*w - 352)>, <-6, 1/150463*(-2166*w + 17976)>, <-12, 1/418*(-7*w + 404)>, <-12, 1/242047*(-168*w - 2120)>, <-12, 1/176231*(-3094*w + 97929)>, <-12, 1/441*(-13*w + 350)>, <-12, 1/467*(-2*w + 20)>, <-12, 1/3031*(-361*w + 5919)>, <-4, 1/26*(-w + 32)>, <-4, 1/169*(-11*w + 356)>, <-4, 1/38291*(-260*w + 24160)>, <-4, 1/9336*(-143*w + 4628)>, <-4, 1/9336*(-169*w + 10012)>, <-12, 1/3*(-w + 7)>, <-12, 1/1257*(-380*w - 2280)>, <-12, 1/377*(-16*w + 377)>, <-6, 1/617*(-361*w + 6393)>, <-12, 1/649*(-17*w + 377)>, <-12, 1/6409*(-360*w + 6769)>, <-12, 1/221299*(-5474*w + 73892)>, <-12, 1/377*(-14*w + 391)>, <-12, 1/19*(-w + 2)>, <-12, 1/258857*(-342*w + 6480)>, <-12, 1/154253*(-2800*w + 148800)>, <-12, 1/400*(-3*w + 18)>, <-12, 1/379*(-400*w + 1179)>, <-12, 1/248567*(-5472*w + 99360)>, <-12, 1/19*(-w + 17)>, <-4, 1/151321*(-2380*w + 125120)>, <-6, 1/162991*(-2890*w + 62130)>, <-12, 1/16021*(-312*w + 8125)>, <-12, 1/777*(-16*w + 873)>, <-24, 1/617*(-21*w + 302)>, <-12, 1/441*(-4*w + 417)>, <-12, 1/449*(-2*w + 18)>, <-12, 1/5837*(-228*w - 1824)>, <-12, 1/202073*(-4048*w + 121872)>, <-12, 1/196*(-23*w + 265)>, <-6, 1/7917*(-256*w + 8173)>, <-12, 1/7126*(-187*w + 9370)>, <-12, 1/383*(-14*w + 355)>, <-12, 1/22951*(-260*w + 14391)>, <-12, 1/21719*(-414*w + 21206)>, <-12, 1/9*(-w + 15)>, <-12, 1/251119*(-714*w + 261387)>, <-12, 1/147431*(-722*w + 9890)>, <-12, 1/263563*(-1863*w + 21465)>, <-12, 1/379*(-6*w + 391)>, <-12, 1/171901*(-4332*w + 50244)>, <-12, 1/3*(-w - 1)>, <-12, 1/8*(-w + 9)>, <-12, 1/441*(-w + 1)>, <-12, 1/407*(-2*w + 419)>, <-12, 1/1628*(-441*w - 2205)>, <-12, 1/221299*(-2280*w + 57304)>, <-12, 1/15*(-w + 1)>, <-6, 1/1556*(-361*w + 3000)>, <-4, 1/25547*(-264*w + 22896)>, <-4, 1/4763*(-312*w + 8208)>, <-4, 1/866*(-13*w + 1208)>, <-4, 1/16021*(-143*w + 3762)>, <-4, 1/37*(-w + 43)>, <-12, 1/146653*(-1140*w + 144400)>, <-12, 1/3*(-w + 4)>, <-12, -w + 2>, <-12, 1/245971*(-6498*w + 130321)>, <-12, -16/377*w>, <-12, 1/17*(-20*w - 323)>, <-12, 1/683*(-20*w + 343)>, <-12, 1/400*(-3*w + 412)>, <-12, 1/433*(-400*w + 3200)>, <-12, 1/168437*(-4400*w + 30437)>, <-1, 1/6613*(-100*w + 10903)>, <-1, 1/289*(-10*w + 429)>, <-2, 1/10503*(-170*w + 7293)>, <-1, 1/100*(-27*w + 208)>, <-1, 1/312481*(-2890*w + 96360)>, <-1, 1/312481*(-7803*w + 60112)>, <-12, 1/12327*(-22*w + 12019)>, <-12, 1/617*(-15*w + 240)>, <-12, 1/152*(-15*w - 225)>, <-12, 1/592*(-21*w + 718)>, <-12, 1/333*(-28*w + 501)>, <-12, 1/240013*(-532*w + 231249)>, <-12, 1/33*(-20*w - 240)>, <-12, 1/4596*(-323*w + 5565)>, <-12, 1/467*(-12*w + 359)>, <-6, 1/289*(-12*w + 349)>, <-12, 1/8*(-21*w - 252)>, <-12, 1/237703*(-1428*w + 220227)>, <-12, 1/397*(-4*w + 381)>, <-6, 1/3393*(-361*w + 3393)>, <-12, 1/740*(-17*w + 842)>, <-12, -w + 4>, <-12, 1/11*(-w - 3)>, <-12, 1/400*(-17*w + 349)>, <-4, 1/708*(-23*w + 1099)>, <-4, 1/649*(-12*w + 204)>, <-4, 1/276*(-11*w - 66)>, <-12, 1/4763*(-289*w + 7075)>, <-12, 1/207337*(-2772*w + 79209)>, <-12, 1/533*(-9*w + 425)>, <-12, 1/51*(-22*w - 257)>, <-12, 1/248911*(-374*w - 4199)>, <-12, 1/559*(-9*w + 442)>, <-12, 1/178253*(-1444*w + 29160)>, <-4, 1/171901*(-3036*w + 86640)>, <-4, 1/617*(-11*w + 452)>, <-4, 1/276*(-11*w + 452)>, <-12, 1/169273*(-2312*w + 60320)>, <-12, 1/3*(-w + 11)>, <-12, 1/484*(-w + 8)>, <-12, 1/3*(-w - 5)>, <-12, 1/111*(-40*w + 240)>, <-12, 1/3*(-22*w - 242)>, <-12, 1/1527*(-440*w + 6807)>, <-12, 1/449*(-3*w + 476)> ]