/* Defining polynomial */ x^2 - x + 309 /* GCD of coefficients */ 2 /* 24 * |disc|^(3/2) /(8*pi^2)* zeta_F(2) */ 19692.9625505021573649409657650 /* Belt */ [ <120, 1/113*(3*w + 95)>, <72, 1/16*(w + 9)>, <24, 1/13081*(255*w + 8500)>, <24, 1/1017*(85*w - 510)>, <72, 1/399*(16*w + 144)>, <120, 1/9*(w + 3)>, <48, 1/7961*(20*w - 219)>, <48, 1/21*(20*w - 219)>, <36, 1/304*(5*w - 50)>, <36, 1/6909*(80*w + 1245)>, <76, 1/419*(20*w + 199)>, <76, 1/419*(20*w + 200)>, <48, 1/15029*(240*w + 10805)>, <48, 1/1825*(48*w + 2161)>, <24, 1/85*(3*w + 103)>, <36, 1/113*(2*w + 10)>, <24, 1/7*(w - 12)>, <24, 1/63*(w - 12)>, <24, 1/1053*(85*w + 1563)>, <36, 2/103*w>, <24, 1/855*(17*w + 1008)>, <148, 1/365*(17*w + 229)>, <148, 1/17*(w + 9)>, <24, 1/855*(17*w - 170)>, <6, 1/515*(36*w + 479)>, <6, 1/183*(5*w + 103)>, <12, 1/309*w>, <108, 1/14*(w + 4)>, <36, 1/381*(14*w + 112)>, <60, 1/419*(15*w + 150)>, <60, 1/15*(w + 10)>, <108, 1/47*(2*w + 8)>, <36, 1/14*(w + 8)>, <292, 1/27*(w + 6)>, <4, 1/14*(w + 20)>, <192, 1/15*(w + 8)>, <28, 1/635*(14*w - 126)>, <24, 1/224*(13*w + 276)>, <24, 1/44833*(910*w + 26698)>, <132, 1/339*(13*w + 261)>, <24, 1/44833*(910*w + 17225)>, <132, 1/13*(w + 7)>, <24, 1/224*(13*w - 65)>, <24, 1/161409*(3536*w + 88128)>, <24, 1/4277*(272*w - 1360)>, <60, 1/749*(10*w + 565)>, <192, 1/17*(w + 8)>, <66, 1/351*(14*w + 253)>, <24, 1/52537*(952*w + 37417)>, <24, 1/1778*(51*w - 459)>, <24, 1/168*(17*w - 102)>, <24, 1/153*(14*w - 126)>, <66, 1/351*(14*w + 84)>, <156, 1/419*(19*w + 190)>, <24, 1/120085*(969*w + 110143)>, <24, 1/519*(19*w + 234)>, <12, 1/32*(19*w - 253)>, <24, 1/120085*(969*w + 8973)>, <156, 1/419*(19*w + 210)>, <820, 1/21*(w + 11)>, <192, 1/117*(5*w + 82)>, <60, 1/7119*(68*w + 6103)>, <60, 1/323*(4*w + 359)>, <52, 1/2*(w - 10)>, <60, 1/95*(2*w + 113)>, <200, 1/73*(3*w + 21)>, <60, 1/63*(2*w + 22)>, <60, 1/63*(2*w + 39)>, <6, 1/9855*(182*w + 3289)>, <48, 1/838*(5*w - 55)>, <24, 1/311*(102*w - 204)>, <48, 1/1911*(10*w + 125)>, <24, 1/311*(102*w + 413)>, <12, 1/882*(17*w - 204)>, <24, 1/329*(6*w + 299)>, <44, 1/491*(17*w + 221)>, <12, 1/32*(17*w - 238)>, <24, 1/311*(6*w + 299)>, <6, 1/114921*(2156*w + 59257)>, <132, 1/419*(17*w + 170)>, <132, 1/17*(w + 10)>, <6, 1/678*(361*w + 1805)>, <6, 1/2*(w - 6)>, <108, 1/339*(11*w + 273)>, <6, 1/2*(w - 8)>, <54, 1/7665*(38*w + 7201)>, <132, 1/47*(w + 4)>, <48, 1/419*(16*w + 243)>, <132, 1/7*(w + 4)>, <24, 1/32*(5*w + 87)>, <88, 1/107*(5*w + 15)>, <48, 1/16*(w + 5)>, <88, 1/21*(w + 10)>, <48, 1/3*(w + 12)>, <54, 1/361*(2*w + 379)>, <84, 1/419*(13*w + 130)>, <84, 1/13*(w + 10)>, <108, 1/329*(11*w + 44)>, <12, 1/26*(w - 7)>, <192, 1/39*(w + 6)>, <108, 1/351*(11*w + 66)>, <48, 1/3*(w - 10)>, <6, 1/61*(2*w + 29)>, <6, 1/126*(5*w + 136)>, <108, 1/63*(w + 2)>, <72, 1/339*(7*w + 297)>, <72, 1/311*(7*w + 297)>, <60, 1/19*(w + 12)>, <60, 1/491*(19*w + 247)>, <72, 1/9*(w + 8)>, <12, 1/1143*(76*w - 684)>, <96, 1/12*(w + 8)>, <96, 1/12*(w + 3)>, <60, 1/19*(w + 13)>, <60, 1/19*(w + 6)>, <24, 1/323*(8*w + 331)>, <48, 1/49023*(544*w + 41055)>, <12, 1/175561*(1344*w - 13376)>, <24, 1/9*(w - 10)>, <28, 1/103*(2*w - 2)>, <24, 1/309*(8*w + 309)>, <24, 1/252*(19*w - 57)>, <24, 1/252*(19*w + 290)>, <48, 1/12*(w - 7)>, <36, 1/441*(13*w + 143)>, <36, 1/441*(13*w + 285)>, <12, 1/324*(13*w + 324)>, <16, 1/173*(5*w + 70)>, <12, w - 1>, <48, 1/117*(4*w - 28)>, <24, 1/217*(3*w + 160)>, <12, 1/9765*(64*w + 768)>, <48, 1/96*(17*w - 153)>, <24, 1/131985*(2584*w + 106913)>, <28, 1/103*(2*w + 103)>, <24, 1/309*(8*w - 8)>, <36, 1/351*(7*w + 302)>, <36, 1/7*w>, <12, 1/5593*(176*w + 6297)>, <52, 1/465*(17*w + 244)>, <36, 1/247*(8*w + 319)>, <16, 1/10*w>, <36, 1/6489*(110*w + 3289)>, <36, 1/168*(13*w + 285)>, <24, 1/47*(2*w - 10)>, <24, 1/329*(3*w + 314)>, <24, 1/110565*(1292*w + 4944)>, <24, 1/93*(2*w + 36)>, <24, 1/110565*(1292*w + 104329)>, <24, 1/311*(3*w + 314)>, <24, 1/147*(16*w + 243)>, <24, 1/323*(12*w + 323)>, <32, 1/491*(14*w + 182)>, <48, 1/105*(w + 2)>, <12, 1/102*(w + 102)>, <32, 1/14*(w + 13)>, <24, 1/152701*(3876*w + 104329)>, <12, 1/141*(2*w + 37)>, <24, 1/47347*(784*w + 11907)>, <168, 1/15*(w + 5)>, <76, 1/399*(13*w + 117)>, <76, 1/321*(13*w + 39)>, <168, 1/113*(5*w + 25)>, <12, 1/9329*(22*w + 9021)>, <12, 1/173*(6*w + 84)>, <12, 1/65*(6*w + 83)>, <8, 1/5329*(84*w + 1372)>, <12, 1/78*(5*w + 108)>, <96, 1/365*(16*w + 112)>, <96, 1/16*(w + 7)>, <60, 1/63*(w - 3)>, <60, 1/5*(w - 3)>, <24, 1/48*(w + 47)>, <24, 1/103*(16*w + 87)>, <12, 1/4043*(272*w - 544)>, <12, 1/163485*(442*w + 156179)>, <12, 1/519*(17*w + 264)>, <24, 1/419*(9*w + 90)>, <24, 1/419*(9*w + 320)>, <120, 1/381*(13*w + 104)>, <24, 1/160*(13*w - 117)>, <24, 1/221*(10*w + 291)>, <24, 1/118491*(2210*w + 64311)>, <24, 1/329*(6*w + 17)>, <24, 1/1995*(44*w + 928)>, <24, 1/306*(5*w + 316)>, <48, 1/12*(w + 1)>, <24, 1/42693*(884*w + 18292)>, <48, 1/339*(8*w + 40)>, <24, 1/95*(4*w + 99)>, <24, 1/323*(6*w + 317)>, <24, 1/52*(5*w + 87)>, <24, 1/1244*(95*w + 1339)>, <24, 1/1825*(52*w + 2189)>, <24, 1/80*(3*w - 18)>, <24, 1/546*(19*w - 133)>, <24, 1/130309*(2394*w + 42795)>, <12, 1/361*(16*w + 249)>, <12, 1/882*(361*w + 3971)>, <12, 1/154791*(1805*w + 15445)>, <24, 1/3159*(266*w + 4755)>, <108, 1/113*(4*w + 20)>, <108, 1/117*(4*w + 24)>, <24, 1/49023*(532*w - 1384)>, <24, 1/49023*(532*w + 49875)>, <60, 1/45*(w - 3)>, <12, 1/38*(w + 47)>, <24, 1/1854*(323*w + 1531)>, <12, 1/6531*(110*w + 2890)>, <84, 1/11*(w + 1)>, <52, 1/441*(2*w + 417)>, <48, 1/12*(w + 10)>, <24, 1/175*(34*w + 243)>, <24, 1/42693*(884*w + 23517)>, <48, 1/339*(8*w + 291)>, <24, 1/329*(6*w + 306)>, <24, 1/1995*(44*w + 1023)>, <24, 1/14351*(266*w + 4845)>, <24, 1/1387*(16*w + 1499)>, <112, 1/441*(19*w + 213)>, <24, 1/165*(13*w - 117)>, <24, 1/41363*(858*w + 22542)>, <24, 1/42693*(715*w + 27183)>, <24, 1/234*(11*w + 289)>, <52, 1/321*(16*w + 257)>, <12, 1/62*(5*w + 122)>, <160, 1/31*(w + 12)>, <192, 1/9*(w + 6)>, <24, 1/651*(16*w + 347)>, <24, 1/12051*(224*w + 2163)>, <24, 1/1911*(22*w + 275)>, <24, 1/11*(2*w + 25)>, <24, 1/12051*(224*w + 9664)>, <12, 1/135*(4*w - 28)>, <24, 1/137851*(1938*w + 114019)>, <24, 1/152701*(3315*w + 62101)>, <24, 1/53213*(247*w + 2730)>, <12, 1/441*(26*w + 727)>, <56, 1/35*(w + 37)>, <36, 1/3*(w - 4)>, <24, 1/5*(w + 1)>, <36, 1/3*(w + 6)>, <24, 1/321*(5*w + 301)>, <24, 1/53213*(247*w + 50236)>, <24, 1/137851*(1938*w + 21894)>, <24, 1/152701*(3315*w + 87285)>, <24, 1/2205*(304*w - 912)>, <24, 1/154665*(2992*w + 49929)>, <24, 1/304*(7*w - 21)>, <24, 1/5424*(187*w - 1122)>, <24, 1/519*(19*w + 266)>, <12, 1/196*(17*w + 264)>, <36, 1/7*(w + 7)>, <12, 1/930*(289*w + 4398)>, <36, 1/465*(11*w + 132)>, <36, 1/365*(7*w + 49)>, <120, 1/381*(13*w + 264)>, <12, 1/129159*(2002*w + 90692)>, <28, 1/159639*(380*w + 155059)>, <24, 1/419*(10*w + 100)>, <12, 1/209*(10*w - 110)>, <64, 1/321*(7*w + 293)>, <12, 1/3193*(44*w + 2016)>, <36, 1/155*(4*w + 103)>, <12, 1/13589*(300*w + 6464)>, <12, 1/8*(w + 4)>, <12, 1/149499*(2584*w + 110891)>, <72, 1/339*(17*w + 237)>, <12, 1/7665*(68*w + 916)>, <60, 1/9*(w - 1)>, <12, 1/721*(12*w + 412)>, <72, 1/441*(17*w + 237)>, <72, 1/329*(9*w + 284)>, <12, 1/6285*(104*w + 7325)>, <24, 1/137151*(2860*w + 71591)>, <48, 1/7*(w - 2)>, <48, 1/441*(20*w + 201)>, <48, 1/381*(20*w + 201)>, <12, 1/549*(13*w + 195)>, <12, 1/380*(13*w + 341)>, <24, 1/2835*(38*w + 741)>, <24, 1/838*(19*w - 209)>, <24, 1/195*(4*w + 128)>, <12, 1/54*(w + 60)>, <108, 1/49*(2*w + 25)>, <24, 1/195*(4*w + 63)>, <12, 1/102*(w - 6)>, <36, 1/113*(w + 5)>, <24, 1/4407*(220*w + 5507)>, <48, 1/311*(7*w - 14)>, <48, 1/309*(11*w + 298)>, <24, 1/749*(96*w + 1037)>, <24, 1/721*(114*w + 721)>, <24, 1/44833*(798*w + 5047)>, <48, 11/309*w>, <24, 1/37595*(672*w + 7259)>, <48, 1/365*(9*w + 293)>, <48, 1/9*(w + 1)>, <28, 1/217*(2*w + 36)>, <24, 1/438*(7*w + 487)>, <24, 1/3503*(42*w + 2922)>, <24, 1/36387*(680*w + 10632)>, <24, 1/904*(85*w + 1329)>, <48, 1/419*(8*w + 499)>, <48, 1/133*(4*w + 36)>, <24, 8/309*w>, <24, 1/4191*(221*w + 5959)>, <160, 1/31*(w + 18)>, <44, 1/321*(17*w + 51)>, <12, 1/15239*(468*w + 10260)>, <12, 1/324*(w + 11)>, <12, 1/311*(36*w + 347)>, <48, 1/12*(w + 9)>, <48, 1/8*(w + 18)>, <24, 1/365*(8*w + 56)>, <24, 1/4191*(221*w - 1989)>, <12, 1/838*(289*w + 3728)>, <12, 1/272*(7*w - 77)>, <12, 1/419*(7*w + 70)>, <24, 1/2163*(52*w + 824)>, <12, 1/143*(16*w - 112)>, <24, 1/91*(4*w - 12)>, <72, 1/103*(3*w + 100)>, <84, 1/311*(11*w + 11)>, <24, 1/311*(64*w - 128)>, <52, 1/17*(w + 4)>, <24, 1/3*(w + 1)>, <24, 1/4*(w + 2)>, <24, 1/315*(4*w + 8)>, <24, 1/311*(64*w + 375)>, <24, 1/99*(16*w + 243)>, <24, 1/1555*(304*w - 608)>, <20, 1/14*(w + 14)>, <12, 1/160371*(4522*w + 99807)>, <24, 1/304*(5*w - 10)>, <28, 1/329*(5*w - 25)>, <12, 1/208*(11*w - 77)>, <24, 1/2128*(33*w + 2425)>, <12, 1/20*(w + 4)>, <12, 1/105609*(1352*w + 48841)>, <12, 1/321*(19*w + 245)>, <8, 1/98*(5*w + 153)>, <4, 1/1519*(24*w - 177)>, <8, 1/24*(w + 11)>, <8, 1/45*(2*w + 67)>, <56, 1/9*(w + 11)>, <24, 1/146*(19*w + 279)>, <24, 1/95*(2*w + 109)>, <36, 1/273*(2*w + 25)>, <36, 1/273*(2*w + 246)>, <60, 1/133*(3*w + 103)>, <24, 1/292*(13*w - 104)>, <12, 1/329*(16*w + 249)>, <12, 1/149499*(2873*w + 106573)>, <36, 1/10*(w + 4)>, <24, 1/292*(13*w + 383)>, <24, 1/153*(13*w - 156)>, <24, 1/22*(w + 10)>, <24, 1/65*(22*w + 242)>, <24, 1/221*(10*w - 110)>, <24, 1/137151*(2210*w + 64000)>, <24, 1/153*(13*w + 296)>, <24, 1/119*(3*w + 116)>, <24, 1/91*(3*w - 12)>, <24, 1/4445*(88*w + 2101)>, <88, 1/107*(5*w + 87)>, <112, 1/441*(19*w + 209)>, <108, 1/365*(11*w + 77)>, <108, 1/321*(11*w + 33)>, <36, 1/245*(4*w + 93)>, <52, 1/465*(16*w + 257)>, <4, 1/5243*(45*w + 4415)>, <8, 1/24*(w + 12)>, <16, 1/107*(3*w - 12)>, <4, 1/963*(128*w + 451)>, <16, 1/5243*(120*w + 2088)>, <12, 1/311*(8*w - 16)>, <24, 1/113515*(2394*w + 77938)>, <24, 1/113515*(2394*w + 33183)>, <12, 1/133731*(722*w + 131043)>, <12, 1/10*(w + 8)>, <12, 1/311*(5*w - 10)>, <36, 1/5*(w + 10)>, <36, 1/339*(5*w + 364)>, <12, 1/2115*(38*w + 1596)>, <12, 1/190*(11*w + 322)>, <36, 1/311*(11*w - 22)>, <64, 1/3937*(28*w + 4193)>, <88, 1/21*(w + 12)>, <60, 1/45*(w + 47)>, <24, 1/143*(8*w + 191)>, <24, 1/16585*(357*w + 13804)>, <24, 1/13081*(273*w + 3708)>, <24, 1/9*(4*w + 41)>, <24, 1/9*(4*w - 36)>, <120, 1/133*(6*w + 73)>, <24, 1/19549*(220*w + 2409)>, <24, 1/19549*(220*w + 16920)>, <120, 1/127*(6*w + 73)>, <60, 1/381*(11*w + 88)>, <60, 1/315*(11*w + 22)>, <48, 1/3*(w + 2)>, <36, 1/441*(11*w + 309)>, <24, 1/39243*(760*w + 9128)>, <36, 1/11*(w - 1)>, <24, 1/80*(19*w + 213)>, <24, 1/856*(95*w + 1141)>, <12, 1/108*(5*w + 138)>, <24, 1/114*(w - 5)>, <24, 1/18*(w + 13)>, <24, 1/13589*(170*w + 11424)>, <24, 1/13589*(170*w + 1995)>, <24, 1/14351*(114*w + 785)>, <24, 1/329*(18*w + 239)>, <24, 1/1397*(70*w + 1957)>, <24, 1/77*(18*w - 162)>, <24, 1/43157*(770*w + 21527)>, <24, 1/6858*(77*w - 693)>, <24, 1/38967*(506*w + 42619)>, <24, 1/23*(w + 12)>, <12, 1/309*(2*w + 307)>, <12, 1/3110*(289*w + 3399)>, <24, 1/50995*(612*w + 41599)>, <12, 1/12*(w + 4)>, <12, 1/3948*(221*w - 1105)>, <24, 1/108*(17*w - 153)>, <8, 1/175561*(462*w - 4598)>, <8, 1/22*(21*w - 209)>, <12, 1/1764*(55*w + 2369)>, <36, 1/103*(4*w + 99)>, <12, 1/1764*(289*w + 4943)>, <12, 1/441*(8*w + 88)>, <36, 1/103*(4*w + 103)>, <4, 1/22557*(364*w + 16068)>, <4, 1/400*(13*w + 296)>, <4, 1/400*(7*w + 309)>, <16, 1/1209*(28*w + 1545)>, <8, 1/1460*(13*w - 104)>, <16, 1/1860*(7*w + 84)>, <60, 1/20*(w + 12)>, <8, 1/13*(4*w - 32)>, <24, 1/1715*(32*w + 499)>, <24, 1/16121*(272*w + 11616)>, <24, 1/339*(32*w + 499)>, <24, 1/624*(17*w + 726)>, <12, 1/693*(52*w + 797)>, <24, 1/120*(w + 118)>, <12, 1/423*(8*w + 79)>, <108, 1/49*(2*w + 22)>, <12, 1/3*(2*w - 24)>, <36, 1/28*(w - 10)>, <24, 1/14351*(120*w + 14160)>, <12, 1/109161*(1280*w + 26985)>, <24, 1/107*(w + 3)>, <24, 1/103*(w - 1)>, <24, 1/1016*(85*w + 1696)>, <16, 1/535*(24*w - 96)>, <24, 1/41363*(680*w + 13568)>, <24, 1/221*(11*w + 298)>, <24, 1/651*(13*w + 234)>, <24, 1/1391*(90*w - 360)>, <24, 1/50573*(1170*w + 27810)>, <12, 1/321*(w + 317)>, <12, 1/108*(w - 3)>, <24, 1/339*(13*w - 78)>, <24, 1/4015*(221*w + 5562)>, <4, 1/103041*(1904*w + 79696)>, <12, 1/11313*(170*w + 8823)>, <24, 1/351*(10*w + 60)>, <12, 1/221*(10*w - 70)>, <24, 1/192*(13*w + 296)>, <12, 1/99831*(1280*w + 21495)>, <24, 1/47895*(832*w + 18944)>, <24, 1/144615*(2002*w + 40469)>, <24, 1/5866*(143*w - 1573)>, <24, 1/300*(11*w + 322)>, <24, 1/294*(17*w - 51)>, <12, 1/4*(w + 5)>, <12, 1/105429*(1292*w + 101745)>, <24, 1/294*(17*w + 328)>, <24, 1/231*(20*w + 271)>, <24, 1/130309*(2880*w + 102400)>, <12, 1/1545*(304*w + 1545)>, <24, 1/329*(5*w + 304)>, <12, 1/6096*(121*w + 7064)>, <24, 1/320*(9*w + 320)>, <24, 1/238*(11*w + 282)>, <24, 1/91*(17*w - 170)>, <24, 1/2033*(34*w + 1921)>, <24, 1/969*(13*w - 130)>, <24, 1/17145*(374*w + 9588)>, <24, 1/119*(2*w + 113)>, <12, 1/339*(4*w + 359)>, <12, 1/6741*(104*w + 2152)>, <12, 1/95*(2*w + 99)>, <36, 1/107*(2*w + 6)>, <72, 1/73*(2*w + 57)>, <12, 1/949*(34*w - 272)>, <72, 1/63*(2*w + 57)>, <12, 1/7497*(50*w - 600)>, <36, 4/103*w>, <88, 1/155*(7*w + 84)>, <24, 1/321*(34*w - 136)>, <24, 1/5537*(85*w + 4267)>, <24, 1/893*(18*w + 542)>, <24, 1/4068*(209*w + 5113)>, <36, 1/63*(w + 11)>, <24, 1/120085*(2508*w + 61356)>, <12, 1/105*(4*w - 12)>, <12, 1/57*(4*w + 113)>, <24, 1/56917*(760*w + 46797)>, <24, 1/56917*(760*w + 9360)>, <24, 1/173*(7*w + 68)>, <24, 1/30*(7*w - 75)>, <24, 1/66*(19*w + 218)>, <12, 1/8397*(152*w + 5605)>, <12, 1/8*(w + 1)>, <24, 1/134499*(2926*w + 55385)>, <24, 1/134499*(2926*w + 76188)>, <12, 1/137151*(3610*w + 115881)>, <12, 1/361*(5*w + 55)>, <12, 1/2488*(361*w + 1766)>, <36, 1/63*(w + 51)>, <24, 1/54405*(418*w + 4796)>, <24, 1/1715*(34*w + 1258)>, <24, 1/221*(5*w + 251)>, <24, 1/226*(9*w + 271)>, <12, 1/80*(3*w + 116)>, <12, 1/11*(w + 14)>, <12, 1/5709*(200*w - 3000)>, <60, 1/20*(w + 7)>, <24, 1/10*(w - 9)>, <24, 1/11*(w - 8)>, <24, 1/10*(w + 18)>, <24, 1/11*(w + 18)>, <36, 1/3*(w + 5)>, <24, 1/309*(38*w + 271)>, <24, 1/7519*(152*w + 5719)>, <24, 1/1715*(38*w + 271)>, <24, 1/7519*(152*w + 1648)>, <12, 1/48545*(816*w + 36737)>, <12, 1/2286*(25*w - 225)>, <24, 1/945*(22*w + 494)>, <12, 1/149265*(3344*w + 92208)>, <36, 1/209*(10*w + 299)>, <24, 1/214*(11*w + 247)>, <12, 1/29127*(374*w + 5038)>, <16, 1/441*(23*w + 165)>, <8, 1/88*(23*w - 188)>, <8, 1/194481*(2024*w - 16544)>, <24, 1/309*(4*w + 305)>, <12, 1/105609*(2312*w + 19776)>, <24, 1/5*w>, <4, 1/260*(7*w + 302)>, <4, 1/151719*(5200*w + 123600)>, <4, 1/108459*(2800*w + 120800)>, <8, 1/151719*(1820*w + 106639)>, <8, 1/91*(20*w - 140)>, <4, 1/49*(20*w + 260)>, <4, 1/491*(20*w + 260)>, <8, 1/540*(7*w - 49)>, <12, 1/3193*(60*w + 1588)>, <24, 1/16*(w - 3)>, <24, 1/14665*(286*w + 8307)>, <24, 1/507*(22*w + 639)>, <12, 1/63*(8*w + 39)>, <28, 1/8001*(20*w + 7780)>, <12, 1/2961*(40*w + 2040)>, <28, 1/380*(w + 389)>, <12, 1/7371*(80*w + 6096)>, <12, 1/114*(w + 3)>, <12, 1/5047*(100*w + 2472)>, <36, 1/419*(18*w + 180)>, <36, 1/18*(w + 12)>, <24, 1/91*(6*w - 18)>, <24, 1/3193*(78*w + 1776)>, <12, 1/324*(w + 324)>, <12, 1/329*(108*w + 432)>, <12, 1/33887*(540*w + 515)>, <36, 1/18*(w + 5)>, <36, 1/419*(18*w + 221)>, <16, 1/10*(w - 4)>, <4, 1/157611*(2210*w + 77571)>, <4, 1/4910*(130*w + 9473)>, <4, 1/11293*(100*w + 3510)>, <4, 1/4173*(230*w + 4863)>, <12, 1/29853*(208*w + 26304)>, <24, 1/309*(13*w + 296)>, <12, 1/266*(15*w - 30)>, <12, 1/311*(15*w + 15)>, <24, 1/933*(100*w + 1033)>, <12, 1/136269*(3520*w + 98880)>, <24, 1/13699*(300*w + 3099)>, <36, 1/6*(w + 3)>, <12, 1/791*(10*w + 166)>, <12, 1/107*(2*w + 113)>, <12, 1/254*(3*w + 278)>, <24, 1/309*(5*w + 309)>, <12, 1/111531*(2890*w + 28010)>, <24, 1/4*(w - 1)>, <24, 1/2373*(38*w - 2)>, <36, 1/10*(w + 5)>, <24, 1/1211*(10*w + 1061)>, <24, 1/173*(7*w + 98)>, <24, 1/12051*(190*w + 2076)>, <12, 1/104*(19*w - 133)>, <12, 1/361*(5*w + 336)>, <12, 1/3048*(361*w + 2888)>, <12, 1/125349*(1444*w - 640)>, <24, 1/94*(19*w - 1)>, <24, 1/658*(95*w + 1038)>, <12, 1/23433*(440*w + 11080)>, <12, 1/2793*(68*w + 1144)>, <28, 1/329*(5*w + 349)>, <12, 1/15029*(540*w + 5525)>, <12, w - 5>, <24, 1/214*(17*w - 68)>, <24, 1/1533*(34*w + 969)>, <8, 1/8*(w - 5)>, <4, 1/43245*(136*w + 28509)>, <4, 1/131271*(1445*w + 100861)>, <4, 1/6783*(110*w + 7678)>, <4, 1/289*(22*w + 179)>, <8, 1/28*(3*w + 49)>, <12, 1/315*(68*w + 136)>, <12, 1/117*(w - 7)>, <28, 1/635*(14*w + 747)>, <12, 36/103*w>, <4, 1/299*(10*w + 299)>, <4, 1/11293*(169*w + 7107)>, <4, 1/3090*(169*w + 7107)>, <4, 1/491*(13*w + 309)>, <12, 1/1582*(75*w + 1957)>, <12, 1/927*(100*w + 927)>, <24, 1/105*(2*w - 6)>, <24, 1/6*(w - 3)>, <12, 1/91*(2*w + 64)>, <24, 1/254*(17*w + 390)>, <12, 1/40*(17*w + 244)>, <24, 1/51*(2*w + 67)>, <24, 1/642*(95*w + 927)>, <12, 1/6441*(130*w + 7091)>, <12, 1/152985*(2888*w + 130321)>, <24, 1/13*(w + 12)>, <24, 1/309*(4*w - 4)>, <24, 1/11639*(190*w + 1854)>, <12, 1/5*(6*w + 77)>, <24, 1/343*(6*w + 115)>, <24, 1/73*(6*w + 115)>, <4, 1/1606*(5*w + 1641)>, <4, 1/365*(68*w + 1281)>, <4, 1/1606*(17*w + 229)>, <4, 1/25*(17*w + 229)>, <4, 1/73*(w - 8)>, <12, 1/419*(108*w + 1499)>, <16, 5/103*w>, <4, 1/206*(25*w + 696)>, <4, 1/28*(5*w + 98)>, <4, 1/721*(10*w + 196)>, <4, 1/75*(7*w + 68)>, <20, 1/14*(w - 1)>, <24, 1/5243*(95*w + 3495)>, <12, 1/151719*(4693*w + 111549)>, <16, 1/10*(w + 13)>, <24, 1/5243*(95*w + 1653)>, <12, 1/1767*(2*w + 24)>, <12, 1/95*(18*w + 221)>, <12, 1/889*(6*w + 73)>, <4, 1/147*(2*w + 129)>, <4, 1/147*(5*w + 82)>, <4, 1/62*(7*w + 146)>, <8, 1/2667*(8*w - 72)>, <8, 1/8*(7*w - 63)>, <12, 1/365*(4*w + 28)>, <12, 1/321*(361*w + 1083)>, <4, 1/160965*(76*w + 852)>, <8, 1/4*(w - 8)>, <4, 1/8379*(19*w + 8592)>, <8, 1/365*(4*w - 32)>, <4, 1/8820*(361*w + 4047)>, <4, 1/73*(76*w - 535)>, <4, 1/365*(w - 8)>, <4, 1/400*(19*w + 210)>, <4, 1/400*(w + 389)>, <28, 1/7961*(20*w + 8161)>, <8, 1/420*(w - 10)>, <4, 1/8380*(w + 10)>, <8, 1/19*(20*w - 200)>, <-6, 1/515*(-36*w + 515)>, <-6, 1/183*(-5*w + 108)>, <-4, 1/14*(-w + 21)>, <-12, 1/32*(-19*w - 234)>, <-6, 1/9855*(-182*w + 3471)>, <-12, 1/882*(-17*w - 187)>, <-12, 1/32*(-17*w - 221)>, <-6, 1/114921*(-2156*w + 61413)>, <-6, 1/678*(-361*w + 2166)>, <-6, 1/2*(-w - 5)>, <-6, 1/2*(-w - 7)>, <-24, 1/32*(-5*w + 92)>, <-12, 1/26*(-w - 6)>, <-6, 1/61*(-2*w + 31)>, <-6, 1/126*(-5*w + 141)>, <-12, 1/1143*(-76*w - 608)>, <-12, 1/324*(-13*w + 337)>, <-12, -w>, <-12, 1/5593*(-176*w + 6473)>, <-16, 1/10*(-w + 1)>, <-12, 1/102*(-w + 103)>, <-12, 1/141*(-2*w + 39)>, <-12, 1/9329*(-22*w + 9043)>, <-12, 1/173*(-6*w + 90)>, <-12, 1/65*(-6*w + 89)>, <-12, 1/78*(-5*w + 113)>, <-12, 1/4043*(-272*w - 272)>, <-12, 1/163485*(-442*w + 156621)>, <-12, 1/519*(-17*w + 281)>, <-24, 1/160*(-13*w - 104)>, <-24, 1/80*(-3*w - 15)>, <-12, 1/361*(-16*w + 265)>, <-12, 1/882*(-361*w + 4332)>, <-12, 1/154791*(-1805*w + 17250)>, <-12, 1/38*(-w + 48)>, <-12, 1/6531*(-110*w + 3000)>, <-12, 1/62*(-5*w + 127)>, <-12, 1/135*(-4*w - 24)>, <-12, 1/441*(-26*w + 753)>, <-12, 1/196*(-17*w + 281)>, <-12, 1/930*(-289*w + 4687)>, <-12, 1/129159*(-2002*w + 92694)>, <-24, 1/419*(-10*w + 110)>, <-12, 1/209*(-10*w - 100)>, <-12, 1/3193*(-44*w + 2060)>, <-12, 1/13589*(-300*w + 6764)>, <-12, 1/8*(-w + 5)>, <-12, 1/149499*(-2584*w + 113475)>, <-12, 1/7665*(-68*w + 984)>, <-12, 1/721*(-12*w + 424)>, <-12, 1/6285*(-104*w + 7429)>, <-12, 1/549*(-13*w + 208)>, <-12, 1/380*(-13*w + 354)>, <-12, 1/54*(-w + 61)>, <-12, 1/102*(-w - 5)>, <-28, 1/217*(-2*w + 38)>, <-12, 1/15239*(-468*w + 10728)>, <-12, 1/324*(-w + 12)>, <-12, 1/311*(-36*w + 383)>, <-12, 1/838*(-289*w + 4017)>, <-12, 1/272*(-7*w - 70)>, <-12, 1/419*(-7*w + 77)>, <-12, 1/143*(-16*w - 96)>, <-12, 1/160371*(-4522*w + 104329)>, <-12, 1/208*(-11*w - 66)>, <-12, 1/20*(-w + 5)>, <-12, 1/105609*(-1352*w + 50193)>, <-12, 1/321*(-19*w + 264)>, <-4, 1/1519*(-24*w - 153)>, <-12, 1/329*(-16*w + 265)>, <-12, 1/149499*(-2873*w + 109446)>, <-24, 1/22*(-w + 11)>, <-24, 1/65*(-22*w + 264)>, <-4, 1/5243*(-45*w + 4460)>, <-16, 1/107*(-3*w - 9)>, <-4, 1/963*(-128*w + 579)>, <-12, 1/311*(-8*w - 8)>, <-12, 1/133731*(-722*w + 131765)>, <-12, 1/10*(-w + 9)>, <-12, 1/311*(-5*w - 5)>, <-12, 1/2115*(-38*w + 1634)>, <-12, 1/190*(-11*w + 333)>, <-64, 1/3937*(-28*w + 4221)>, <-12, 1/108*(-5*w + 143)>, <-24, 1/38967*(-506*w + 43125)>, <-24, 1/23*(-w + 13)>, <-12, 1/309*(-2*w + 309)>, <-12, 1/3110*(-289*w + 3688)>, <-12, 1/12*(-w + 5)>, <-12, 1/3948*(-221*w - 884)>, <-12, 1/1764*(-55*w + 2424)>, <-12, 1/1764*(-289*w + 5232)>, <-12, 1/441*(-8*w + 96)>, <-4, 1/22557*(-364*w + 16432)>, <-4, 1/400*(-13*w + 309)>, <-4, 1/400*(-7*w + 316)>, <-16, 1/1209*(-28*w + 1573)>, <-16, 1/1860*(-7*w + 91)>, <-12, 1/693*(-52*w + 849)>, <-12, 1/423*(-8*w + 87)>, <-12, 1/3*(-2*w - 22)>, <-12, 1/109161*(-1280*w + 28265)>, <-12, 1/321*(-w + 318)>, <-12, 1/108*(-w - 2)>, <-4, 1/103041*(-1904*w + 81600)>, <-12, 1/11313*(-170*w + 8993)>, <-24, 1/351*(-10*w + 70)>, <-12, 1/221*(-10*w - 60)>, <-12, 1/99831*(-1280*w + 22775)>, <-12, 1/4*(-w + 6)>, <-12, 1/105429*(-1292*w + 103037)>, <-12, 1/1545*(-304*w + 1849)>, <-12, 1/6096*(-121*w + 7185)>, <-12, 1/339*(-4*w + 363)>, <-12, 1/6741*(-104*w + 2256)>, <-12, 1/95*(-2*w + 101)>, <-12, 1/949*(-34*w - 238)>, <-12, 1/7497*(-50*w - 550)>, <-12, 1/105*(-4*w - 8)>, <-12, 1/57*(-4*w + 117)>, <-12, 1/8397*(-152*w + 5757)>, <-12, 1/8*(-w + 2)>, <-12, 1/137151*(-3610*w + 119491)>, <-12, 1/361*(-5*w + 60)>, <-12, 1/2488*(-361*w + 2127)>, <-12, 1/80*(-3*w + 119)>, <-12, 1/11*(-w + 15)>, <-12, 1/5709*(-200*w - 2800)>, <-12, 1/48545*(-816*w + 37553)>, <-12, 1/2286*(-25*w - 200)>, <-12, 1/149265*(-3344*w + 95552)>, <-12, 1/29127*(-374*w + 5412)>, <-24, 1/309*(-4*w + 309)>, <-12, 1/105609*(-2312*w + 22088)>, <-4, 1/260*(-7*w + 309)>, <-4, 1/151719*(-5200*w + 128800)>, <-4, 1/108459*(-2800*w + 123600)>, <-8, 1/151719*(-1820*w + 108459)>, <-4, 1/49*(-20*w + 280)>, <-4, 1/491*(-20*w + 280)>, <-12, 1/3193*(-60*w + 1648)>, <-12, 1/63*(-8*w + 47)>, <-12, 1/2961*(-40*w + 2080)>, <-12, 1/7371*(-80*w + 6176)>, <-12, 1/114*(-w + 4)>, <-12, 1/5047*(-100*w + 2572)>, <-12, 1/324*(-w + 325)>, <-12, 1/329*(-108*w + 540)>, <-12, 1/33887*(-540*w + 1055)>, <-4, 1/157611*(-2210*w + 79781)>, <-4, 1/4910*(-130*w + 9603)>, <-4, 1/11293*(-100*w + 3610)>, <-4, 1/4173*(-230*w + 5093)>, <-12, 1/29853*(-208*w + 26512)>, <-12, 1/266*(-15*w - 15)>, <-12, 1/311*(-15*w + 30)>, <-12, 1/136269*(-3520*w + 102400)>, <-12, 1/791*(-10*w + 176)>, <-12, 1/107*(-2*w + 115)>, <-12, 1/254*(-3*w + 281)>, <-24, 1/309*(-5*w + 314)>, <-12, 1/111531*(-2890*w + 30900)>, <-12, 1/104*(-19*w - 114)>, <-12, 1/361*(-5*w + 341)>, <-12, 1/3048*(-361*w + 3249)>, <-12, 1/125349*(-1444*w + 804)>, <-12, 1/23433*(-440*w + 11520)>, <-12, 1/2793*(-68*w + 1212)>, <-12, 1/15029*(-540*w + 6065)>, <-12, -w - 4>, <-8, 1/8*(-w - 4)>, <-4, 1/43245*(-136*w + 28645)>, <-4, 1/131271*(-1445*w + 102306)>, <-4, 1/6783*(-110*w + 7788)>, <-4, 1/289*(-22*w + 201)>, <-12, 1/315*(-68*w + 204)>, <-12, 1/117*(-w - 6)>, <-12, 1/103*(-36*w + 36)>, <-4, 1/299*(-10*w + 309)>, <-4, 1/11293*(-169*w + 7276)>, <-4, 1/3090*(-169*w + 7276)>, <-4, 1/491*(-13*w + 322)>, <-12, 1/1582*(-75*w + 2032)>, <-12, 1/927*(-100*w + 1027)>, <-12, 1/91*(-2*w + 66)>, <-12, 1/40*(-17*w + 261)>, <-12, 1/6441*(-130*w + 7221)>, <-12, 1/152985*(-2888*w + 133209)>, <-12, 1/5*(-6*w + 83)>, <-4, 1/1606*(-5*w + 1646)>, <-4, 1/365*(-68*w + 1349)>, <-4, 1/1606*(-17*w + 246)>, <-4, 1/25*(-17*w + 246)>, <-4, 1/73*(-w - 7)>, <-12, 1/419*(-108*w + 1607)>, <-4, 1/206*(-25*w + 721)>, <-4, 1/28*(-5*w + 103)>, <-4, 1/721*(-10*w + 206)>, <-4, 1/75*(-7*w + 75)>, <-12, 1/151719*(-4693*w + 116242)>, <-12, 1/1767*(-2*w + 26)>, <-12, 1/95*(-18*w + 239)>, <-12, 1/889*(-6*w + 79)>, <-4, 1/147*(-2*w + 131)>, <-4, 1/147*(-5*w + 87)>, <-4, 1/62*(-7*w + 153)>, <-12, 1/365*(-4*w + 32)>, <-12, 1/321*(-361*w + 1444)>, <-4, 1/160965*(-76*w + 928)>, <-4, 1/8379*(-19*w + 8611)>, <-4, 1/8820*(-361*w + 4408)>, <-4, 1/73*(-76*w - 459)>, <-4, 1/365*(-w - 7)>, <-4, 1/400*(-19*w + 229)>, <-4, 1/400*(-w + 390)>, <-4, 1/8380*(-w + 11)> ]