/* Defining polynomial */ x^2 - x + 256 /* GCD of coefficients */ 2 /* 24 * |disc|^(3/2) /(8*pi^2)* zeta_F(2) */ 20586.7799357995795956105613487 /* Belt */ [ <24, 1/72*(17*w - 136)>, <24, 1/4738*(51*w + 4114)>, <108, 1/69*(2*w + 8)>, <12, 1/51*(2*w - 10)>, <24, 1/328*(9*w + 247)>, <120, 1/8*(w + 8)>, <372, 1/26*(w + 7)>, <372, 1/26*(w + 18)>, <136, 1/92*(3*w + 77)>, <240, 1/13*(w + 7)>, <24, 1/46*(w + 18)>, <24, 1/46*(w + 27)>, <24, 1/69*(7*w - 35)>, <192, 1/14*(w + 7)>, <12, 1/728*(17*w - 136)>, <240, 1/24*(w + 7)>, <36, 1/26*(w + 31)>, <24, 1/328*(7*w + 224)>, <36, 1/11*(w + 16)>, <24, 1/22*(5*w - 43)>, <24, 1/103*(5*w + 38)>, <42, 1/286*(15*w + 196)>, <12, 1/11591*(192*w + 2247)>, <12, 1/2*(w + 5)>, <240, 1/104*(5*w + 64)>, <12, 1/99328*(1485*w + 34560)>, <24, 1/11*(w - 1)>, <48, 1/970*(9*w + 862)>, <48, 1/97*(5*w + 55)>, <132, 1/173*(8*w + 93)>, <36, 1/2384*(45*w + 2654)>, <12, 1/121056*(931*w + 128896)>, <12, 1/19*(w + 11)>, <24, 1/1552*(21*w + 1104)>, <36, 1/97*(3*w + 61)>, <48, 1/5*(w + 4)>, <96, 1/9*(w + 1)>, <96, 1/9*(w + 7)>, <36, 1/533*(6*w + 458)>, <324, 1/39*(2*w + 23)>, <96, 1/14*(w + 10)>, <12, 1/1876*(85*w + 2131)>, <48, 1/97*(5*w + 37)>, <48, 1/18*(5*w - 42)>, <244, 1/11*(w + 5)>, <12, 1/3708*(187*w + 5952)>, <12, 1/412*(9*w + 108)>, <12, 1/8*(w + 11)>, <12, 1/776*(51*w - 612)>, <24, 1/52*(3*w - 12)>, <24, 1/201*(13*w - 52)>, <76, 1/64*(w + 63)>, <76, 1/67*(w + 63)>, <48, 1/276*(5*w + 20)>, <48, 1/128*(3*w + 128)>, <120, 1/39*(w + 7)>, <120, 1/8*(w + 7)>, <48, 1/6*(w + 6)>, <6, 1/298*(3*w + 316)>, <6, 1/1038*(289*w + 3639)>, <152, 1/346*(19*w + 171)>, <48, 1/86*(w + 84)>, <84, 1/268*(13*w + 216)>, <84, 1/13*(w + 9)>, <48, 1/7*(w + 3)>, <24, 1/1648*(21*w + 1179)>, <48, 1/103*(3*w + 64)>, <12, 1/256*(9*w + 256)>, <84, 1/173*(5*w + 45)>, <120, 1/16*(w + 5)>, <12, 1/208*(5*w - 30)>, <12, 1/312*(11*w + 389)>, <12, 1/897*(20*w + 425)>, <132, 1/143*(5*w + 113)>, <36, 1/256*(7*w + 256)>, <72, 1/4*(w + 4)>, <244, 1/61*(3*w + 28)>, <132, 1/346*(17*w + 153)>, <108, 1/328*(11*w + 229)>, <72, 1/52*(w + 7)>, <36, 1/5*(w + 5)>, <72, 1/69*(w + 4)>, <12, 1/60*(w - 5)>, <244, 1/18*(w + 7)>, <132, 1/312*(17*w + 119)>, <12, 1/31232*(495*w + 11025)>, <36, 1/11*w>, <24, 1/20*(w + 10)>, <24, 1/10553*(90*w + 11210)>, <108, 1/8*(w + 4)>, <108, 1/11*(w + 2)>, <72, 1/43*(w - 2)>, <36, 1/286*(5*w + 25)>, <24, 1/76288*(1547*w + 55029)>, <24, 1/221*(7*w + 249)>, <24, 1/416*(35*w + 661)>, <24, 1/28*(w - 4)>, <24, 1/105*(4*w + 133)>, <36, 1/208*(3*w + 229)>, <324, 1/41*(2*w + 23)>, <24, 1/312*(7*w + 88)>, <48, 1/388*(15*w + 208)>, <60, 1/69*(4*w + 16)>, <84, 1/10*(w + 7)>, <96, 1/122*(5*w + 67)>, <36, 1/262*(9*w + 235)>, <24, 1/6901*(108*w + 5416)>, <24, 1/1968*(65*w - 585)>, <108, 1/138*(7*w + 103)>, <186, 1/173*(9*w + 81)>, <24, 1/3*(w - 2)>, <12, 1/268*(w + 264)>, <12, 1/393*(32*w + 297)>, <36, 1/131*(3*w - 9)>, <24, 1/92*(w + 87)>, <48, 1/143*(3*w + 125)>, <24, 1/54*(7*w - 63)>, <24, 1/1148*(27*w - 243)>, <48, 1/143*(3*w + 15)>, <84, 1/156*(5*w + 35)>, <48, 1/388*(15*w + 165)>, <60, 1/69*(4*w + 49)>, <120, 1/11*(w + 4)>, <12, 1/6693*(100*w + 1225)>, <54, 1/194*(9*w + 86)>, <24, 1/6901*(108*w + 1377)>, <120, 1/143*(8*w + 40)>, <96, 1/122*(5*w + 50)>, <36, 1/262*(9*w + 18)>, <24, 1/65*(6*w - 54)>, <108, 1/138*(7*w + 28)>, <186, 1/164*(9*w + 72)>, <120, 1/298*(11*w + 221)>, <12, 1/161*(6*w + 185)>, <24, 1/2623*(42*w + 819)>, <24, 1/2623*(42*w + 1762)>, <24, 1/451*(21*w - 189)>, <24, 1/451*(21*w + 619)>, <120, 1/149*(5*w + 114)>, <12, 1/1340*(99*w + 1637)>, <36, 1/8723*(40*w + 475)>, <48, 1/32*(5*w + 67)>, <48, 1/195*(4*w + 223)>, <84, 1/149*(6*w + 36)>, <84, 1/12*(w + 6)>, <24, 1/299*(3*w + 8)>, <24, 1/8*(3*w + 8)>, <24, 1/1312*(27*w + 864)>, <84, 1/173*(5*w + 123)>, <24, 1/17446*(255*w + 1330)>, <24, 1/149*(13*w + 227)>, <144, 1/298*(13*w + 207)>, <132, 1/10*(w + 4)>, <120, 1/134*(5*w + 114)>, <24, 1/2768*(21*w - 210)>, <24, 1/27*(w + 32)>, <24, 1/215*(51*w + 266)>, <60, 1/13*(w + 4)>, <60, 1/366*(17*w + 179)>, <12, 1/745*(49*w + 1039)>, <12, 1/75*(7*w - 35)>, <60, 1/13*(w + 8)>, <24, 1/656*(13*w + 227)>, <24, 1/21*(4*w + 49)>, <24, 1/603*(52*w - 208)>, <24, 1/262*(7*w - 21)>, <48, 1/253*(15*w + 313)>, <24, 1/12998*(165*w + 2288)>, <24, 1/2613*(34*w + 199)>, <24, 1/6901*(140*w + 1785)>, <24, 1/66*(7*w - 56)>, <24, 1/20*(w + 7)>, <24, 1/22*(5*w + 60)>, <24, 1/364*(11*w - 88)>, <72, 1/134*(3*w + 122)>, <12, 1/131*(64*w + 259)>, <12, 1/262*(w + 2)>, <24, 1/35*(4*w + 51)>, <48, 1/6968*(165*w + 3443)>, <24, 1/88*(15*w + 208)>, <24, 1/131*(34*w + 199)>, <24, 1/208*(9*w - 36)>, <24, 1/7*(w - 3)>, <24, 1/416*(7*w + 465)>, <192, 1/14*(w + 6)>, <24, 1/306*(5*w + 296)>, <60, 1/183*(5*w + 128)>, <24, 1/416*(9*w + 279)>, <24, 1/115*(9*w + 151)>, <24, 1/1952*(45*w + 755)>, <24, 1/69*(10*w - 50)>, <24, 1/559*(10*w + 440)>, <12, 1/989*(20*w + 820)>, <132, 1/6*(w + 4)>, <24, 1/12261*(224*w + 8645)>, <144, 1/143*(7*w + 35)>, <120, 1/41*(w + 8)>, <24, 1/13871*(102*w + 1104)>, <24, 1/804*(119*w - 476)>, <12, 1/289*(3*w + 277)>, <6, 1/2086*(289*w + 1734)>, <24, 1/48*(17*w + 184)>, <24, 1/119*(3*w - 12)>, <24, 1/7828*(63*w + 7009)>, <24, 1/412*(19*w + 228)>, <12, 1/187*(9*w + 232)>, <60, 1/268*(9*w + 27)>, <144, 1/14*(w + 5)>, <24, 1/1648*(39*w + 777)>, <24, 1/103*(4*w + 48)>, <12, 1/3*(4*w - 52)>, <24, 1/1648*(39*w + 832)>, <24, 1/1043*(32*w + 1235)>, <42, 1/15*(w + 9)>, <60, 1/128*(5*w + 128)>, <24, 1/15916*(255*w + 15096)>, <24, 1/27*(w + 31)>, <24, 1/99*(5*w - 25)>, <60, 1/312*(11*w + 224)>, <24, 1/168*(11*w - 88)>, <24, 1/7052*(165*w + 2960)>, <60, 1/312*(11*w + 77)>, <24, 1/143*(7*w - 56)>, <12, 1/41*(3*w + 65)>, <12, 1/35984*(323*w + 3344)>, <24, 1/117*(4*w - 20)>, <24, 1/117*(4*w + 133)>, <12, 1/194*(5*w + 55)>, <12, 1/144*(5*w + 134)>, <24, 1/5536*(135*w + 2080)>, <96, 1/12*(w + 3)>, <24, 1/536*(33*w + 635)>, <24, 1/2623*(66*w + 1270)>, <24, 1/5536*(135*w + 3321)>, <96, 1/12*(w + 8)>, <24, 1/22663*(462*w + 8701)>, <24, 1/91*(10*w - 80)>, <24, 1/91*(10*w + 161)>, <12, 1/60*(w - 4)>, <24, 1/77*(6*w + 113)>, <36, 1/298*(7*w + 249)>, <12, 1/528*(13*w + 307)>, <60, 1/9*(w + 3)>, <48, 1/3772*(65*w + 2652)>, <24, 1/68*(7*w + 103)>, <24, 1/152*(3*w + 143)>, <24, 1/152*(3*w + 6)>, <24, 1/96*(5*w - 25)>, <48, 1/13494*(85*w + 880)>, <12, 1/299*(7*w + 166)>, <4, 1/65*(3*w + 77)>, <36, 1/61*(w + 50)>, <12, 1/1403*(20*w + 383)>, <24, 1/115*(8*w - 40)>, <48, 1/3772*(65*w + 1055)>, <24, 1/1001*(34*w + 1171)>, <48, 1/40*(17*w + 176)>, <12, 1/4498*(99*w - 990)>, <24, 1/1599*(14*w + 1424)>, <24, 1/72*(w + 73)>, <24, 1/9*(4*w - 44)>, <24, 1/39*(w + 44)>, <48, 1/299*(6*w + 185)>, <24, 1/5612*(55*w + 737)>, <60, 1/11*(w + 1)>, <24, 1/65*(3*w + 89)>, <48, 1/258*(7*w + 244)>, <24, 1/360*(7*w + 409)>, <24, 1/221*(7*w + 256)>, <24, 1/43*(12*w + 55)>, <24, 1/9*(4*w + 49)>, <24, 1/172*(3*w + 132)>, <48, 1/299*(6*w + 108)>, <24, 1/5612*(55*w + 4820)>, <60, 1/346*(11*w + 236)>, <132, 1/43*(w + 41)>, <24, 1/65*(3*w - 27)>, <48, 1/258*(7*w + 7)>, <24, 1/6144*(119*w + 4352)>, <24, 1/360*(7*w - 56)>, <12, 1/5066*(77*w + 5528)>, <24, 1/368*(35*w - 175)>, <24, 1/30*(w - 2)>, <24, 1/105*(4*w - 20)>, <24, 1/208*(5*w + 48)>, <24, 1/8342*(195*w + 3480)>, <24, 1/338*(11*w - 88)>, <48, 1/42*(5*w + 67)>, <24, 1/80*(3*w + 89)>, <48, 1/11591*(182*w + 8385)>, <60, 1/10*(w + 1)>, <60, 1/164*(5*w + 119)>, <12, 1/1072*(39*w - 156)>, <24, 1/64*(w + 71)>, <24, 1/115*(21*w - 105)>, <24, 1/291*(7*w + 368)>, <36, 1/64*(3*w + 61)>, <24, 1/115*(21*w + 199)>, <48, 1/64*(3*w + 64)>, <12, 1/412*(13*w + 156)>, <36, 1/131*(w + 128)>, <12, 1/3*(w + 2)>, <24, 1/671*(8*w + 568)>, <48, 1/715*(21*w + 820)>, <24, 1/201*(20*w + 261)>, <24, 1/7991*(143*w + 2453)>, <24, 1/180*(13*w + 232)>, <48, 1/112*(13*w - 117)>, <12, 1/1937*(42*w + 749)>, <24, 1/36*(7*w - 77)>, <96, 1/183*(7*w + 70)>, <12, 1/2716*(33*w - 396)>, <48, 1/14*(w + 11)>, <12, 1/3172*(21*w + 2955)>, <12, 1/6499*(162*w + 5913)>, <6, 1/324*(7*w + 77)>, <24, 1/91*(9*w - 72)>, <36, 1/2*(3*w - 31)>, <24, 1/3526*(63*w + 2385)>, <24, 1/35*(9*w - 63)>, <24, 1/122776*(1197*w + 133171)>, <24, 1/19*(w + 12)>, <24, 1/2682*(35*w - 245)>, <84, 1/19*(w + 8)>, <24, 1/33*(19*w + 190)>, <48, 1/4*(3*w + 28)>, <48, 1/793*(3*w + 28)>, <24, 1/24739*(306*w + 23409)>, <72, 1/12*(w + 1)>, <24, 1/42*(w - 8)>, <72, 1/328*(15*w + 193)>, <36, 1/129*(w + 127)>, <36, 1/128*(w + 127)>, <48, 1/17*(w + 4)>, <24, 1/149*(5*w - 35)>, <48, 1/276*(17*w + 68)>, <24, 1/264*(5*w + 80)>, <132, 1/173*(8*w + 72)>, <12, 1/114*(5*w - 10)>, <12, w + 1>, <24, 1/153*(2*w + 153)>, <72, 1/43*(2*w + 2)>, <12, 1/24739*(735*w + 9604)>, <24, 1/52*(7*w - 56)>, <72, 1/298*(15*w + 193)>, <12, 1/13*(w - 8)>, <24, 1/12707*(234*w + 7280)>, <72, 1/276*(7*w + 28)>, <24, 1/72*(w + 1)>, <24, 1/2322*(247*w - 494)>, <72, 1/60*(17*w - 136)>, <60, 1/129*(4*w + 121)>, <24, 1/90652*(1785*w + 18487)>, <84, 1/8*(w + 2)>, <24, 1/92*(w + 96)>, <24, 1/13493*(340*w + 3565)>, <24, 1/104*(w + 96)>, <24, 1/645*(68*w + 713)>, <36, 1/14*(w + 12)>, <36, 1/206*(7*w + 84)>, <24, 1/1876*(255*w + 2641)>, <72, 1/134*(3*w + 9)>, <24, 1/369*(26*w - 234)>, <72, 1/262*(7*w + 14)>, <24, 1/72*(w + 70)>, <24, 1/247*(9*w - 18)>, <72, 1/442*(5*w - 40)>, <84, 1/8*(w + 5)>, <60, 1/149*(4*w + 121)>, <24, 1/8*(w - 2)>, <24, 1/2806*(51*w + 2550)>, <24, 1/2623*(50*w + 975)>, <24, 1/25*(2*w + 39)>, <12, 1/95*(3*w + 89)>, <36, 1/122*(3*w + 30)>, <60, 1/298*(17*w + 179)>, <24, 1/18304*(357*w + 14875)>, <12, 1/98088*(2023*w + 83521)>, <36, 1/11*(w + 10)>, <24, 1/256*(3*w - 3)>, <24, 1/119*(3*w + 125)>, <12, 1/442*(9*w + 487)>, <36, 1/388*(17*w + 184)>, <24, 1/2829*(34*w + 313)>, <12, 1/113712*(221*w - 2704)>, <24, 1/2829*(34*w + 2482)>, <24, 1/51*(w + 50)>, <24, 1/129*(4*w - 8)>, <12, 1/81*(19*w + 157)>, <24, 1/1639*(85*w + 2149)>, <24, 1/195*(11*w + 272)>, <36, 1/18*(w + 13)>, <24, 1/44634*(935*w + 23639)>, <24, 1/2768*(55*w + 1360)>, <184, 1/328*(17*w + 175)>, <36, 1/18*(w + 4)>, <12, 1/104*(57*w - 352)>, <12, 1/173*(w + 163)>, <12, 1/344*(39*w - 78)>, <24, 1/288*(5*w + 283)>, <24, 1/104*(5*w + 119)>, <24, 1/7439*(176*w + 3776)>, <24, 1/1403*(24*w + 1200)>, <24, 1/253*(16*w - 80)>, <24, 1/1403*(24*w + 179)>, <24, 1/2747*(45*w + 2547)>, <24, 1/104*(5*w - 20)>, <28, 1/4*(w + 7)>, <28, 1/67*(w + 70)>, <12, 1/368*(11*w + 412)>, <24, 1/256*(3*w + 256)>, <24, 1/388*(11*w + 256)>, <6, 1/32*(9*w + 86)>, <54, 1/149*(9*w + 86)>, <24, 1/205*(11*w - 99)>, <24, 1/88*(5*w - 45)>, <12, 1/104*(3*w - 24)>, <24, 1/66*(5*w - 30)>, <24, 1/65*(3*w - 18)>, <24, 1/7436*(51*w + 7548)>, <24, 1/129*(w - 2)>, <24, 1/1608*(95*w - 380)>, <24, 1/95*(6*w - 24)>, <24, 1/80*(17*w + 80)>, <12, 1/268*(3*w + 277)>, <12, 1/149*(32*w + 341)>, <4, 1/107584*(663*w + 6825)>, <64, 1/122*(7*w + 45)>, <8, 1/14884*(175*w - 1300)>, <8, 1/25*(7*w - 52)>, <24, 1/262*(3*w + 268)>, <12, 1/143*(64*w + 463)>, <24, 1/134*(w + 3)>, <24, 1/92*(51*w + 204)>, <24, 1/5109*(85*w + 400)>, <24, 1/1843*(13*w + 1687)>, <24, 1/262*(39*w + 340)>, <24, 1/258*(7*w - 14)>, <24, 1/2236*(45*w + 1980)>, <24, 1/1843*(13*w + 143)>, <24, 1/1978*(39*w + 340)>, <84, 1/328*(19*w + 152)>, <24, 1/328*(7*w + 56)>, <24, 1/45*(w + 44)>, <24, 1/585*(11*w - 88)>, <24, 1/30*(w + 32)>, <12, 1/2952*(11*w - 99)>, <24, 1/88*(15*w - 120)>, <24, 1/656*(15*w + 480)>, <24, 1/50052*(1001*w + 31187)>, <24, 1/2002*(75*w - 450)>, <24, 1/429*(20*w - 120)>, <24, 1/110*(7*w + 145)>, <24, 1/1572*(35*w + 725)>, <72, 1/366*(13*w + 223)>, <48, 1/262*(5*w + 10)>, <24, 1/219*(7*w + 121)>, <12, 1/13*(w + 13)>, <72, 1/366*(13*w + 130)>, <24, 1/130*(7*w - 56)>, <24, 1/25414*(525*w + 8250)>, <24, 1/1937*(77*w + 2399)>, <24, 1/130*(7*w + 179)>, <24, 1/2747*(60*w + 1100)>, <12, 1/786*(49*w + 884)>, <24, 1/161*(18*w - 90)>, <24, 1/216*(7*w - 35)>, <12, 1/324*(7*w + 289)>, <12, 1/244*(27*w + 270)>, <12, 1/1403*(27*w + 26)>, <12, 1/162*(w + 163)>, <12, 1/173*(27*w + 243)>, <12, 1/7439*(297*w + 770)>, <12, 1/26986*(405*w + 15160)>, <12, 1/206*(5*w + 141)>, <12, 1/488*(33*w - 363)>, <12, 1/8*(w + 10)>, <36, 1/129*(2*w + 131)>, <24, 1/73*(2*w + 45)>, <24, 1/473*(51*w + 371)>, <24, 1/28372*(63*w - 644)>, <36, 1/128*(w + 128)>, <24, 1/95892*(1547*w + 67808)>, <24, 1/7*(9*w - 92)>, <12, 1/5494*(75*w + 1375)>, <24, 1/256*(9*w + 247)>, <12, 1/83968*(2223*w + 20736)>, <12, 1/256*w>, <16, 1/128*(7*w + 128)>, <20, 1/466*(15*w + 210)>, <24, 1/119*(13*w - 117)>, <24, 1/19126*(561*w + 4081)>, <36, 1/143*(2*w + 131)>, <24, 1/43*(2*w + 45)>, <36, 1/45*(7*w - 63)>, <36, 1/6*(w - 3)>, <24, 1/133*(4*w + 133)>, <24, 1/344*(45*w - 90)>, <24, 1/7912*(85*w + 432)>, <24, 1/262*(85*w + 432)>, <12, 1/233*(8*w + 112)>, <12, 1/105*(8*w + 113)>, <24, 1/22317*(532*w + 17689)>, <24, 1/344*(45*w + 389)>, <12, 1/6812*(135*w + 3132)>, <24, 1/23973*(476*w + 6956)>, <12, 1/99328*(3179*w + 73984)>, <12, 1/289*(3*w + 33)>, <12, 1/2304*(289*w + 2015)>, <24, 1/1144*(119*w + 1739)>, <12, 1/90528*(3757*w + 60979)>, <12, 1/3*(w + 8)>, <12, 1/286*(w + 5)>, <24, 1/468*(17*w + 587)>, <24, 1/9782*(187*w + 2200)>, <24, 1/38442*(595*w + 31297)>, <24, 1/2747*(51*w + 1761)>, <24, 1/391*(11*w - 55)>, <24, 1/238*(5*w + 263)>, <18, 1/14186*(9*w + 14094)>, <12, 1/28906*(117*w + 30024)>, <24, 1/268*(5*w + 248)>, <24, 1/745*(52*w + 1057)>, <24, 1/104*(5*w + 134)>, <24, 1/258*(5*w + 248)>, <36, 1/86*(3*w - 6)>, <36, 1/286*(17*w + 184)>, <24, 1/129*(68*w - 136)>, <24, 1/5289*(119*w + 665)>, <48, 1/364*(9*w + 427)>, <24, 1/44288*(1071*w + 30464)>, <48, 1/364*(9*w - 72)>, <16, 1/15*(19*w - 175)>, <16, 1/119716*(285*w - 2625)>, <12, 1/1552*(5*w + 1607)>, <24, 1/129*(68*w + 197)>, <24, 1/44288*(1071*w + 12753)>, <24, 7/272*w>, <24, 1/133*(13*w - 91)>, <24, 1/15616*(429*w + 9555)>, <36, 1/7*(w + 7)>, <36, 1/46*(w + 50)>, <24, 1/133*(13*w + 211)>, <24, 1/473*(39*w - 78)>, <48, 1/131*(7*w + 110)>, <24, 1/322*(13*w - 65)>, <24, 1/4171*(70*w + 2225)>, <24, 1/40*(7*w + 110)>, <12, 1/865*(39*w - 390)>, <12, 1/2096*(91*w + 2278)>, <12, 1/219*(8*w + 107)>, <24, 1/4171*(70*w + 1876)>, <24, 1/1281*(20*w + 1481)>, <24, 1/4087*(91*w + 1378)>, <12, 1/91*(3*w + 106)>, <12, 1/2369*(54*w + 2079)>, <12, 1/54*(w + 12)>, <12, 1/253*(27*w + 118)>, <12, 1/104*(9*w + 149)>, <24, 1/119*(3*w + 137)>, <48, 1/131*(2*w + 125)>, <24, 1/26*(17*w - 170)>, <12, 1/136*(w + 2)>, <12, 1/131*(w - 3)>, <24, 1/26*(17*w + 179)>, <12, 1/84*(5*w - 35)>, <12, 133/1280*w>, <16, 1/16*w>, <8, 1/256*(15*w - 15)>, <8, 1/15*(w - 1)>, <24, 1/21484*(357*w + 16303)>, <48, 1/129*(2*w + 125)>, <24, 1/42*(w + 44)>, <24, 1/1118*(21*w + 924)>, <24, 1/68*(3*w - 15)>, <24, 1/286*(3*w + 268)>, <12, 1/289*(w - 3)>, <24, 1/207*(17*w - 85)>, <24, 1/34572*(595*w + 4465)>, <24, 1/655*(119*w + 893)>, <6, 1/149*(81*w + 486)>, <6, 1/2*(w - 7)>, <24, 1/258*(5*w + 263)>, <24, 1/258*(5*w - 10)>, <12, 1/173*(32*w + 461)>, <12, 1/346*(5*w + 45)>, <24, 1/11937*(140*w + 9737)>, <24, 1/4087*(42*w + 3409)>, <24, 1/119*(5*w + 134)>, <24, 1/238*(9*w + 247)>, <24, 1/12*(w + 9)>, <24, 1/12*(w + 2)>, <12, 1/96*(7*w - 21)>, <36, 1/2296*(45*w - 405)>, <24, 1/1340*(119*w + 1697)>, <24, 1/41984*(1071*w + 29393)>, <24, 1/9089*(114*w + 9177)>, <24, 1/1441*(117*w - 351)>, <36, 1/7*w>, <24, 1/171*(2*w + 161)>, <24, 1/1441*(117*w + 1675)>, <12, 1/3930*(187*w + 4304)>, <12, 1/412*(15*w + 217)>, <24, 1/3721*(56*w + 4081)>, <12, 1/78*(5*w - 55)>, <24, 1/3721*(56*w - 416)>, <24, 1/143*(9*w + 45)>, <12, 1/44*(9*w - 54)>, <24, 1/131*(2*w - 6)>, <12, 1/138*(w - 5)>, <12, 1/136*(w + 142)>, <4, 1/15611*(98*w + 2304)>, <4, 1/14912*(105*w + 1920)>, <4, 1/466*(63*w + 1152)>, <4, 1/15611*(441*w + 4802)>, <20, 15/256*w>, <24, 1/4*(w - 3)>, <24, 1/56*(5*w - 25)>, <12, 1/30*(7*w + 121)>, <24, 1/345*(14*w - 70)>, <24, 1/2623*(51*w + 1059)>, <12, 1/36356*(51*w + 537)>, <24, 1/2623*(51*w + 1513)>, <24, 1/23182*(357*w + 5808)>, <24, 1/328*(5*w + 40)>, <24, 1/328*(5*w + 283)>, <36, 1/25777*(360*w + 21232)>, <24, 1/984*(119*w + 1936)>, <12, 1/572*(49*w - 294)>, <12, 1/828*(49*w + 1024)>, <24, 1/135*(2*w + 135)>, <24, 1/19519*(270*w + 18225)>, <12, 1/7912*(75*w + 1312)>, <12, 1/11*(w + 12)>, <24, 1/524*(35*w - 105)>, <24, 1/524*(35*w + 594)>, <12, 1/11224*(85*w + 1139)>, <8, 1/104*(21*w + 251)>, <4, 1/122*(w + 10)>, <4, 1/3484*(189*w + 2259)>, <4, 1/1098*(7*w + 985)>, <8, 1/1742*(21*w + 251)>, <12, 1/1679*(12*w - 136)>, <36, 1/1586*(3*w - 31)>, <12, 1/18304*(245*w + 5515)>, <6, 1/75*(w - 10)>, <12, 1/4429*(126*w + 2070)>, <6, 1/390*(11*w + 445)>, <12, 1/1886*(27*w + 1971)>, <12, 1/27*(w + 8)>, <12, 1/23*(27*w - 112)>, <12, 1/172*(45*w + 45)>, <4, 1/676*(15*w + 300)>, <18, 1/2*(9*w - 90)>, <12, 1/692*(135*w + 1907)>, <12, 1/143*(2*w + 153)>, <-12, 1/51*(-2*w - 8)>, <-12, 1/728*(-17*w - 119)>, <-12, 1/11591*(-192*w + 2439)>, <-12, 1/2*(-w + 6)>, <-12, 1/99328*(-1485*w + 36045)>, <-12, 1/121056*(-931*w + 129827)>, <-12, 1/19*(-w + 12)>, <-12, 1/1876*(-85*w + 2216)>, <-12, 1/3708*(-187*w + 6139)>, <-12, 1/412*(-9*w + 117)>, <-12, 1/8*(-w + 12)>, <-12, 1/776*(-51*w - 561)>, <-6, 1/298*(-3*w + 319)>, <-6, 1/1038*(-289*w + 3928)>, <-24, 1/1648*(-21*w + 1200)>, <-12, 1/256*(-9*w + 265)>, <-12, 1/208*(-5*w - 25)>, <-12, 1/312*(-11*w + 400)>, <-12, 1/897*(-20*w + 445)>, <-12, 1/60*(-w - 4)>, <-12, 1/31232*(-495*w + 11520)>, <-24, 1/20*(-w + 11)>, <-24, 1/10553*(-90*w + 11300)>, <-12, 1/268*(-w + 265)>, <-12, 1/393*(-32*w + 329)>, <-12, 1/6693*(-100*w + 1325)>, <-12, 1/161*(-6*w + 191)>, <-12, 1/1340*(-99*w + 1736)>, <-36, 1/8723*(-40*w + 515)>, <-24, 1/2768*(-21*w - 189)>, <-12, 1/745*(-49*w + 1088)>, <-12, 1/75*(-7*w - 28)>, <-12, 1/131*(-64*w + 323)>, <-12, 1/262*(-w + 3)>, <-12, 1/989*(-20*w + 840)>, <-12, 1/289*(-3*w + 280)>, <-6, 1/2086*(-289*w + 2023)>, <-12, 1/187*(-9*w + 241)>, <-24, 1/103*(-4*w + 52)>, <-12, 1/3*(-4*w - 48)>, <-12, 1/41*(-3*w + 68)>, <-12, 1/35984*(-323*w + 3667)>, <-12, 1/194*(-5*w + 60)>, <-12, 1/144*(-5*w + 139)>, <-12, 1/60*(-w - 3)>, <-12, 1/528*(-13*w + 320)>, <-12, 1/299*(-7*w + 173)>, <-4, 1/65*(-3*w + 80)>, <-12, 1/1403*(-20*w + 403)>, <-12, 1/4498*(-99*w - 891)>, <-24, 1/1599*(-14*w + 1438)>, <-12, 1/5066*(-77*w + 5605)>, <-12, 1/1072*(-39*w - 117)>, <-12, 1/412*(-13*w + 169)>, <-12, 1/3*(-w + 3)>, <-12, 1/1937*(-42*w + 791)>, <-12, 1/2716*(-33*w - 363)>, <-12, 1/3172*(-21*w + 2976)>, <-12, 1/6499*(-162*w + 6075)>, <-6, 1/324*(-7*w + 84)>, <-24, 1/33*(-19*w + 209)>, <-12, 1/114*(-5*w - 5)>, <-12, -w + 2>, <-12, 1/24739*(-735*w + 10339)>, <-12, 1/13*(-w - 7)>, <-12, 1/95*(-3*w + 92)>, <-12, 1/98088*(-2023*w + 85544)>, <-12, 1/442*(-9*w + 496)>, <-12, 1/113712*(-221*w - 2483)>, <-12, 1/81*(-19*w + 176)>, <-12, 1/104*(-57*w - 295)>, <-12, 1/173*(-w + 164)>, <-12, 1/344*(-39*w - 39)>, <-12, 1/368*(-11*w + 423)>, <-6, 1/32*(-9*w + 95)>, <-12, 1/104*(-3*w - 21)>, <-12, 1/268*(-3*w + 280)>, <-12, 1/149*(-32*w + 373)>, <-4, 1/107584*(-663*w + 7488)>, <-12, 1/143*(-64*w + 527)>, <-12, 1/2952*(-11*w - 88)>, <-24, 1/219*(-7*w + 128)>, <-12, 1/13*(-w + 14)>, <-12, 1/786*(-49*w + 933)>, <-12, 1/324*(-7*w + 296)>, <-12, 1/244*(-27*w + 297)>, <-12, 1/1403*(-27*w + 53)>, <-12, 1/162*(-w + 164)>, <-12, 1/173*(-27*w + 270)>, <-12, 1/7439*(-297*w + 1067)>, <-12, 1/26986*(-405*w + 15565)>, <-12, 1/206*(-5*w + 146)>, <-12, 1/488*(-33*w - 330)>, <-12, 1/8*(-w + 11)>, <-12, 1/5494*(-75*w + 1450)>, <-12, 1/83968*(-2223*w + 22959)>, <-16, 1/128*(-7*w + 135)>, <-12, 1/233*(-8*w + 120)>, <-12, 1/105*(-8*w + 121)>, <-12, 1/6812*(-135*w + 3267)>, <-12, 1/99328*(-3179*w + 77163)>, <-12, 1/289*(-3*w + 36)>, <-12, 1/2304*(-289*w + 2304)>, <-12, 1/90528*(-3757*w + 64736)>, <-12, 1/3*(-w + 9)>, <-12, 1/286*(-w + 6)>, <-12, 1/28906*(-117*w + 30141)>, <-12, 1/1552*(-5*w + 1612)>, <-12, 1/865*(-39*w - 351)>, <-12, 1/2096*(-91*w + 2369)>, <-12, 1/219*(-8*w + 115)>, <-12, 1/91*(-3*w + 109)>, <-12, 1/2369*(-54*w + 2133)>, <-12, 1/54*(-w + 13)>, <-12, 1/253*(-27*w + 145)>, <-12, 1/104*(-9*w + 158)>, <-12, 1/136*(-w + 3)>, <-12, 1/131*(-w - 2)>, <-12, 1/84*(-5*w - 30)>, <-12, 1/1280*(-133*w + 133)>, <-12, 1/289*(-w - 2)>, <-6, 1/149*(-81*w + 567)>, <-6, 1/2*(-w - 6)>, <-12, 1/173*(-32*w + 493)>, <-12, 1/346*(-5*w + 50)>, <-24, 1/11937*(-140*w + 9877)>, <-12, 1/96*(-7*w - 14)>, <-12, 1/3930*(-187*w + 4491)>, <-12, 1/412*(-15*w + 232)>, <-12, 1/78*(-5*w - 50)>, <-24, 1/143*(-9*w + 54)>, <-12, 1/44*(-9*w - 45)>, <-12, 1/138*(-w - 4)>, <-12, 1/136*(-w + 143)>, <-4, 1/15611*(-98*w + 2402)>, <-4, 1/14912*(-105*w + 2025)>, <-4, 1/466*(-63*w + 1215)>, <-4, 1/15611*(-441*w + 5243)>, <-12, 1/30*(-7*w + 128)>, <-12, 1/36356*(-51*w + 588)>, <-12, 1/572*(-49*w - 245)>, <-12, 1/828*(-49*w + 1073)>, <-12, 1/7912*(-75*w + 1387)>, <-12, 1/11*(-w + 13)>, <-12, 1/11224*(-85*w + 1224)>, <-4, 1/122*(-w + 11)>, <-4, 1/3484*(-189*w + 2448)>, <-4, 1/1098*(-7*w + 992)>, <-12, 1/1679*(-12*w - 124)>, <-12, 1/18304*(-245*w + 5760)>, <-6, 1/75*(-w - 9)>, <-12, 1/4429*(-126*w + 2196)>, <-6, 1/390*(-11*w + 456)>, <-12, 1/1886*(-27*w + 1998)>, <-12, 1/27*(-w + 9)>, <-12, 1/23*(-27*w - 85)>, <-12, 1/172*(-45*w + 90)>, <-4, 1/676*(-15*w + 315)>, <-12, 1/692*(-135*w + 2042)>, <-12, 1/143*(-2*w + 155)> ]