/* Defining polynomial */ x^2 + 254 /* GCD of coefficients */ 2 /* 24 * |disc|^(3/2) /(8*pi^2)* zeta_F(2) */ 18389.0859955005001494435638680 /* Belt */ [ <48, 1/10*w>, <48, 1/10*(w + 10)>, <24, 1/15875*(264*w + 6096)>, <144, 1/19*(w + 9)>, <24, 1/55*(16*w - 144)>, <144, 1/354*(19*w + 164)>, <24, 1/144*(11*w + 254)>, <24, 1/55*(16*w + 199)>, <168, 1/6*(w + 4)>, <168, 1/45*(w + 4)>, <24, 1/1247*(28*w + 847)>, <24, 1/72*(7*w - 28)>, <72, 1/17877*(136*w + 1472)>, <24, 1/95250*(2431*w + 39116)>, <24, 1/5133*(40*w + 485)>, <24, 1/112*(5*w - 15)>, <72, 1/48*(17*w + 184)>, <24, 3/254*w>, <24, 1/263*(3*w + 9)>, <24, 1/221*(11*w - 33)>, <24, 1/5133*(40*w + 4648)>, <24, 1/22479*(560*w + 8255)>, <120, 1/15*(w + 9)>, <24, 1/8*(w + 10)>, <24, 1/885*(17*w + 833)>, <292, 1/18*(w + 8)>, <72, 1/225*(2*w + 197)>, <72, 1/177*(2*w + 197)>, <24, 1/885*(17*w + 52)>, <24, 1/129*(4*w + 137)>, <120, 1/58*(3*w + 40)>, <292, 1/53*(3*w + 24)>, <36, 1/279*(5*w + 25)>, <60, 1/354*(13*w + 224)>, <84, 1/375*(17*w + 188)>, <192, 1/159*(8*w + 64)>, <84, 1/375*(17*w + 187)>, <60, 1/13*(w + 3)>, <36, 1/5*(w + 5)>, <72, 1/14*(w + 9)>, <252, 1/27*(w + 23)>, <72, 1/14*(w + 5)>, <252, 1/27*(w + 4)>, <228, 1/15*(w + 7)>, <228, 1/101*(5*w + 35)>, <72, 1/43*(w - 2)>, <72, 1/43*(w + 45)>, <36, 1/4*w>, <48, 1/7906*(57*w + 8398)>, <48, 1/45*(19*w + 209)>, <48, 1/159*(4*w + 32)>, <48, 1/67*(2*w + 49)>, <48, 1/8*(w + 7)>, <48, 1/51*(2*w + 49)>, <48, 1/255*(8*w + 247)>, <48, 4/127*w>, <36, 1/135*(2*w + 127)>, <48, 1/5487*(70*w + 4535)>, <24, 1/7493*(195*w + 4953)>, <48, 1/15517*(260*w + 4480)>, <36, 1/14*(w + 11)>, <24, 1/2279*(45*w + 2025)>, <48, 1/15517*(260*w + 11037)>, <36, 1/375*(14*w + 154)>, <24, 1/7493*(195*w + 2540)>, <24, 1/2279*(45*w + 254)>, <48, 1/795*(14*w + 907)>, <12, 1/255*(2*w + 253)>, <6, 1/17*(w + 18)>, <54, 1/17*(w + 1)>, <24, 1/398*(13*w + 242)>, <24, 1/398*(13*w + 156)>, <84, 1/177*(7*w + 107)>, <84, 1/14*(w + 4)>, <24, 1/4779*(91*w + 3388)>, <108, 1/318*(13*w + 214)>, <24, 1/406*(13*w + 484)>, <108, 1/318*(13*w + 104)>, <48, 1/303*(10*w + 233)>, <24, 1/263*(6*w + 245)>, <48, 1/263*(10*w + 233)>, <24, 1/9045*(182*w + 3052)>, <24, 1/335*(7*w + 63)>, <24, 1/7*(w + 9)>, <60, 1/93*(2*w + 10)>, <72, 1/5*(w + 4)>, <60, 1/93*(2*w + 83)>, <72, 1/51*(w + 50)>, <24, 1/9045*(182*w + 5993)>, <48, 1/1943*(24*w + 1623)>, <48, 1/477*(8*w + 541)>, <60, 1/9*(w - 1)>, <48, 1/177*(10*w + 77)>, <60, 1/85*(3*w - 3)>, <24, 1/1250*(11*w + 1129)>, <24, 1/10443*(110*w + 11290)>, <114, 1/290*(11*w + 66)>, <24, 1/186*(13*w + 251)>, <60, 1/85*(2*w - 2)>, <24, 1/424*(35*w + 704)>, <114, 1/11*(w + 6)>, <24, 1/1139*(26*w + 502)>, <60, 1/6*(w - 1)>, <24, 1/7611*(140*w + 2816)>, <24, 1/255*(4*w - 4)>, <24, 1/38135*(408*w + 1143)>, <24, 1/40*(w + 45)>, <48, 1/127*(3*w + 127)>, <24, 1/45*(8*w + 77)>, <60, 1/85*(w + 1)>, <120, 1/177*(8*w + 97)>, <24, 1/210*(11*w + 254)>, <24, 1/99*(7*w + 127)>, <24, 1/335*(6*w + 54)>, <12, 1/221*(7*w + 242)>, <48, 1/270*(7*w + 28)>, <24, 1/335*(6*w + 281)>, <12, 1/2625*(221*w + 5056)>, <24, 1/270*(7*w + 298)>, <24, 1/21750*(119*w + 20434)>, <24, 1/1139*(7*w + 1202)>, <24, 1/255*(4*w + 259)>, <24, 1/2279*(40*w + 1800)>, <48, 3/127*w>, <24, 1/381*(136*w + 381)>, <24, 1/493*(8*w + 77)>, <60, 1/3*(w + 1)>, <120, 1/145*(8*w + 97)>, <48, 1/255*(11*w - 11)>, <24, 1/2125*(36*w + 729)>, <84, 1/303*(17*w + 184)>, <96, 1/9*(w + 7)>, <72, 1/145*(4*w + 24)>, <24, 1/99*(5*w - 20)>, <24, 1/33*(2*w + 53)>, <24, 1/65*(3*w + 80)>, <48, 1/255*(11*w + 266)>, <24, 1/837*(65*w + 1162)>, <24, 1/1275*(22*w + 583)>, <24, 1/99*(5*w + 119)>, <72, 1/145*(4*w + 121)>, <24, 1/95*(3*w + 3)>, <84, 1/354*(17*w + 184)>, <96, 1/101*(3*w + 21)>, <24, 1/153*(19*w + 19)>, <24, 1/268*(9*w - 81)>, <24, 1/18415*(336*w + 14224)>, <60, 1/279*(17*w + 194)>, <216, 1/15*(w + 11)>, <48, 1/7*(w + 2)>, <124, 1/15*(w + 10)>, <54, 1/17*(w + 16)>, <60, 1/75*(2*w + 53)>, <84, 1/5*(w + 6)>, <24, 1/1885*(77*w + 2347)>, <72, 1/106*(3*w + 82)>, <72, 1/106*(3*w + 24)>, <12, 1/26*(5*w - 40)>, <124, 1/93*(5*w + 68)>, <48, 1/7*(w + 5)>, <24, 1/48375*(1001*w + 30511)>, <216, 1/25*(w + 11)>, <60, 1/279*(17*w + 85)>, <24, 1/18415*(336*w + 4191)>, <168, 1/12*(w + 8)>, <96, 1/11*(w + 8)>, <24, 1/3636*(143*w + 4637)>, <96, 1/263*(11*w + 230)>, <168, 1/45*(2*w + 37)>, <24, 1/143*(12*w + 227)>, <192, 1/318*(17*w + 182)>, <24, 1/144*(17*w - 68)>, <24, 1/6575*(136*w + 4879)>, <192, 1/17*(w + 9)>, <24, 1/129*(8*w + 113)>, <24, 1/119*(8*w + 127)>, <24, 1/119*(8*w - 8)>, <24, 1/225*(8*w + 113)>, <84, 1/51*(w + 52)>, <60, 1/75*(2*w + 22)>, <24, 1/405*(34*w + 541)>, <24, 1/86*(51*w - 16)>, <24, 1/7685*(51*w - 16)>, <24, 1/68*(3*w + 80)>, <48, 1/3127*(12*w + 3243)>, <24, 1/301*(40*w - 80)>, <48, 1/290*(7*w + 248)>, <24, 1/8*(w + 9)>, <60, 1/335*(11*w + 99)>, <48, 1/255*(7*w + 248)>, <24, 1/335*(8*w + 72)>, <24, 1/12827*(280*w + 10160)>, <60, 1/11*(w + 9)>, <48, 1/1125*(4*w + 1081)>, <228, 1/30*(w + 26)>, <24, 1/81*(7*w - 28)>, <24, 1/143*(15*w + 218)>, <96, 1/12*(w + 10)>, <96, 1/43*(2*w + 39)>, <12, 1/81*(13*w + 224)>, <24, 1/21*(w + 11)>, <24, 1/143*(15*w - 75)>, <24, 1/901*(21*w + 574)>, <228, 1/31*(w + 26)>, <168, 1/145*(7*w + 103)>, <24, 1/255*(4*w + 4)>, <12, 1/225*(w - 14)>, <24, 1/510*(13*w + 302)>, <24, 1/510*(13*w + 208)>, <24, 1/4*(w + 1)>, <24, 1/7493*(170*w + 3175)>, <24, 1/7493*(170*w + 4318)>, <168, 1/159*(7*w + 103)>, <24, 1/1885*(68*w - 408)>, <24, 1/1431*(91*w + 2159)>, <12, 1/22479*(385*w + 12700)>, <24, 1/44361*(884*w + 14552)>, <24, 1/1431*(91*w - 728)>, <12, 1/290*(17*w - 102)>, <24, 1/153*(11*w - 77)>, <24, 1/27878*(561*w + 16148)>, <12, 1/263*(10*w - 30)>, <12, 1/323*(10*w + 30)>, <126, 1/290*(13*w + 78)>, <126, 1/290*(13*w + 212)>, <48, 1/8*(w - 6)>, <24, 1/2150*(39*w + 1196)>, <12, 1/306*(5*w + 56)>, <24, 1/201*(13*w - 117)>, <48, 1/145*(4*w - 24)>, <28, 1/3*(w + 5)>, <28, 1/3*(w - 2)>, <12, 1/110*(13*w + 214)>, <24, 1/1161*(136*w - 272)>, <24, 1/272*(9*w - 18)>, <16, 1/1829*(15*w + 1625)>, <24, 1/435*(32*w + 627)>, <24, 1/4505*(96*w + 1881)>, <24, 1/279*(4*w + 299)>, <24, 1/7998*(85*w + 518)>, <60, 1/72*(7*w - 35)>, <24, 1/1275*(26*w + 586)>, <24, 1/335*(4*w + 299)>, <24, 1/263*(85*w + 518)>, <60, 1/217*(8*w - 40)>, <24, 1/202*(13*w + 293)>, <60, 1/85*(w + 86)>, <24, 1/97150*(969*w + 99484)>, <24, 1/48*(w + 50)>, <24, 1/93102*(1547*w + 62764)>, <24, 1/3363*(13*w + 3233)>, <24, 1/221*(7*w + 284)>, <24, 1/1500*(13*w + 1357)>, <24, 1/75*(4*w + 44)>, <24, 1/97150*(969*w - 2334)>, <60, 1/90*(w + 86)>, <24, 1/48*(w - 2)>, <72, 1/354*(11*w + 244)>, <24, 1/387*(38*w + 463)>, <24, 1/25*(2*w + 39)>, <24, 1/19*(w + 8)>, <24, 1/170*(11*w - 66)>, <24, 1/212*(11*w + 300)>, <60, 1/270*(11*w + 226)>, <108, 1/101*(4*w + 28)>, <48, 1/707*(18*w + 833)>, <72, 1/354*(11*w + 110)>, <60, 1/303*(11*w + 226)>, <108, 1/101*(4*w + 73)>, <48, 1/7685*(126*w + 5831)>, <24, 1/33*(2*w + 49)>, <24, 1/8643*(187*w + 4631)>, <24, 1/318*(19*w + 152)>, <24, 1/606*(25*w + 781)>, <24, 1/387*(38*w - 76)>, <24, 1/848*(11*w + 936)>, <24, 1/165*(14*w - 56)>, <48, 1/8*(w + 3)>, <24, 1/255*(7*w + 143)>, <24, 1/12*w>, <36, 1/12*(w + 11)>, <24, 1/85425*(1976*w + 20464)>, <12, 1/221*(15*w + 206)>, <48, 1/279*(10*w + 229)>, <6, 1/80910*(1859*w + 43054)>, <24, 6/127*w>, <24, 1/85425*(1976*w + 64961)>, <24, 1/129*(7*w + 143)>, <48, 1/263*(8*w + 24)>, <24, 1/165*(14*w + 221)>, <24, 1/8555*(88*w + 7488)>, <24, 1/4505*(91*w + 3406)>, <72, 1/13*(w + 9)>, <72, 1/303*(16*w + 112)>, <48, 1/1075*(26*w + 611)>, <24, 1/4505*(91*w + 1099)>, <72, 1/270*(13*w + 218)>, <72, 1/303*(16*w + 191)>, <48, 1/180*(13*w - 52)>, <24, 1/1032*(119*w + 1270)>, <24, 1/9*(w + 9)>, <24, 1/129*(w + 127)>, <24, 1/136*(w + 139)>, <24, 1/263*(136*w + 671)>, <24, 1/129*(w + 2)>, <24, 1/119*(4*w + 127)>, <24, 1/254*(9*w + 254)>, <24, 1/2985*(56*w + 2264)>, <24, 1/63*(8*w - 40)>, <48, 1/199*(7*w + 84)>, <12, 1/254*(w + 254)>, <12, w + 2>, <12, 1/128*(w + 1)>, <48, 1/14*(w + 12)>, <12, 1/1305*(91*w + 1851)>, <48, 1/263*(9*w + 236)>, <12, 1/387*(49*w + 98)>, <12, 1/9*(w - 2)>, <36, 1/85*(4*w + 81)>, <48, 1/7*(w + 8)>, <48, 1/7*(w - 1)>, <24, 1/2537*(54*w + 1053)>, <24, 1/64*(3*w - 24)>, <48, 1/3127*(6*w + 58)>, <24, 1/3363*(13*w + 130)>, <48, 1/3127*(6*w + 3069)>, <24, 1/477*(32*w - 256)>, <24, 1/2537*(54*w + 1484)>, <24, 1/8555*(102*w + 548)>, <24, 1/2279*(39*w + 524)>, <24, 1/2279*(39*w + 1755)>, <24, 1/172*(51*w + 274)>, <48, 1/75*(w + 61)>, <24, 1/2537*(42*w + 819)>, <24, 1/80*(3*w + 92)>, <24, 1/50*(w + 36)>, <24, 1/33835*(336*w + 29824)>, <24, 1/707*(22*w + 861)>, <24, 1/1696*(21*w + 1864)>, <24, 1/707*(22*w - 154)>, <24, 1/670*(21*w - 189)>, <24, 1/50*(w + 14)>, <24, 1/80*(3*w - 12)>, <48, 1/53*(w + 61)>, <24, 1/1003*(21*w + 616)>, <12, 1/10030*(273*w + 2022)>, <24, 1/70*(3*w + 88)>, <96, 1/145*(6*w + 36)>, <24, 1/4*(w + 6)>, <24, 1/26563*(340*w + 3188)>, <12, 1/26*(17*w - 212)>, <24, 1/450*(17*w + 212)>, <24, 1/26563*(340*w + 23375)>, <12, 1/76962*(2023*w + 73406)>, <12, 1/2*(w + 7)>, <24, 1/129*(2*w + 133)>, <24, 1/10050*(221*w + 6344)>, <24, 1/4*(w + 8)>, <96, 1/135*(4*w + 16)>, <24, 1/10050*(221*w + 3706)>, <24, 1/135*(2*w + 143)>, <24, 1/144*(5*w + 139)>, <24, 1/301*(39*w - 78)>, <24, 1/12325*(273*w + 9672)>, <24, 1/144*(5*w + 5)>, <36, 1/17*(w + 13)>, <12, 1/12267*(190*w + 1760)>, <12, 1/2367*(209*w - 627)>, <24, 1/55*(8*w - 48)>, <24, 1/160*(11*w - 66)>, <24, 1/55*(8*w + 103)>, <24, 1/8181*(176*w + 4565)>, <24, 1/150*(w + 136)>, <72, 1/159*(5*w + 119)>, <72, 1/159*(5*w + 40)>, <24, 1/34875*(208*w + 2587)>, <24, 1/2067*(64*w + 2579)>, <24, 1/6731*(132*w + 2540)>, <24, 1/404*(33*w + 635)>, <24, 1/39*(16*w + 199)>, <24, 1/48375*(832*w + 33527)>, <12, 1/49*(8*w - 48)>, <48, 1/263*(9*w + 27)>, <24, 1/505*(28*w - 196)>, <24, 1/116*(5*w - 30)>, <24, 1/84*(5*w - 35)>, <24, 1/25*(2*w - 12)>, <12, 1/1020*(77*w - 77)>, <24, 1/516*(35*w + 586)>, <24, 1/1643*(17*w + 1666)>, <36, 1/101*(6*w + 59)>, <24, 1/102*(w + 98)>, <36, 1/125*(6*w + 59)>, <24, 1/43*(16*w + 11)>, <24, 1/38*(5*w - 30)>, <24, 1/40*(w - 9)>, <48, 1/54*(w + 58)>, <48, 1/263*(7*w + 21)>, <24, 1/3009*(7*w + 3079)>, <64, 1/335*(18*w + 173)>, <24, 1/5487*(95*w + 4195)>, <24, 1/67*(8*w - 72)>, <24, 1/43*(16*w + 32)>, <48, 1/5*(w + 9)>, <24, 1/33*(5*w - 35)>, <24, 1/33*(5*w + 68)>, <24, 1/15517*(315*w + 2737)>, <24, 1/14*(w + 13)>, <24, 1/1020*(133*w - 133)>, <24, 133/1397*w>, <24, 1/85*(4*w - 4)>, <24, 1/1206*(17*w + 220)>, <12, 1/3886*(39*w + 520)>, <6, 1/87870*(1573*w + 62218)>, <72, 1/14*(w + 7)>, <24, 1/1397*(133*w + 1397)>, <24, 1/1020*(133*w + 1153)>, <24, 1/255*(14*w + 241)>, <24, 1/15517*(315*w + 12780)>, <24, 1/885*(16*w + 784)>, <24, 1/14405*(352*w + 7552)>, <24, 1/258*(5*w + 268)>, <24, 1/104*(5*w + 119)>, <24, 1/48*(w + 49)>, <24, 1/14405*(352*w + 6853)>, <24, 1/104*(5*w - 15)>, <24, 1/5*(w + 7)>, <24, 1/43215*(952*w + 36992)>, <24, 1/129*(w - 2)>, <24, 1/129*(w + 131)>, <24, 1/272*(7*w + 272)>, <12, 1/263*(w + 260)>, <12, 1/17415*(128*w + 647)>, <36, 1/5*(w + 2)>, <12, 1/645*(119*w - 238)>, <24, 1/101*(17*w + 220)>, <24, 1/141*(4*w + 52)>, <12, 1/39*(w - 10)>, <12, 1/59*(w + 10)>, <48, 1/129*(2*w + 4)>, <12, 1/86*(13*w - 26)>, <36, 1/375*(16*w + 176)>, <24, 1/76962*(1729*w + 62738)>, <48, 1/398*(19*w + 170)>, <24, 1/247*(7*w + 254)>, <48, 1/19*(w + 7)>, <12, 1/22*(w - 4)>, <36, 1/16*(w + 11)>, <24, 1/583*(26*w - 208)>, <24, 1/583*(26*w + 791)>, <24, 1/238*(5*w + 268)>, <12, 1/279*(2*w + 269)>, <12, 1/289*(5*w - 15)>, <24, 1/238*(5*w - 30)>, <24, 1/526*(33*w - 99)>, <24, 1/2537*(66*w + 1287)>, <12, 1/17145*(238*w + 15113)>, <48, 1/199*(9*w + 108)>, <24, 1/28855*(252*w + 26307)>, <24, 1/2727*(28*w + 2923)>, <48, 1/145*(9*w + 54)>, <12, 1/19*(w - 4)>, <12, 1/81*(19*w + 176)>, <36, 1/18*(w + 5)>, <12, 1/254*(7*w + 254)>, <12, 54/127*w>, <24, 1/91*(6*w - 36)>, <24, 1/25671*(560*w + 16471)>, <12, 1/55521*(85*w + 56491)>, <12, 1/354*(7*w + 284)>, <12, 1/35505*(128*w + 1457)>, <24, 1/1953*(80*w + 2353)>, <24, 1/212*(7*w - 56)>, <12, 1/375*(11*w + 121)>, <12, 1/72*(5*w - 55)>, <24, 1/118*(7*w + 48)>, <24, 1/1740*(91*w - 546)>, <24, 1/114*(w + 108)>, <24, 1/216*(13*w - 52)>, <24, 1/450*(7*w + 98)>, <24, 1/450*(7*w + 352)>, <12, 1/2250*(7*w + 77)>, <24, 1/216*(13*w + 268)>, <24, 1/145*(57*w - 197)>, <24, 1/42*(w + 45)>, <24, 1/6063*(140*w + 2128)>, <24, 1/3*(w + 7)>, <24, 1/23895*(308*w + 4708)>, <12, 1/182*(11*w + 226)>, <24, 1/44*(7*w + 107)>, <24, 1/6063*(140*w + 3935)>, <24, 1/263*(42*w + 389)>, <36, 1/258*(5*w + 10)>, <6, 1/80910*(289*w - 1166)>, <6, 1/279*(w + 284)>, <12, 1/375*(128*w + 1783)>, <12, 1/795*(119*w + 1747)>, <12, 1/263*(5*w + 278)>, <24, 1/101*(w + 7)>, <36, 1/270*(17*w + 202)>, <12, 1/43*(2*w - 4)>, <12, 1/51*(2*w + 4)>, <24, 1/9090*(209*w + 4796)>, <24, 1/9090*(209*w + 4294)>, <12, 1/5151*(65*w + 5606)>, <24, 1/288*(5*w + 278)>, <24, 1/215*(48*w + 119)>, <24, 1/12690*(221*w + 10064)>, <12, 1/5499*(85*w + 6604)>, <12, 1/254*(13*w + 254)>, <24, 1/12690*(221*w + 2626)>, <48, 1/18*(w - 5)>, <24, 1/8*(w - 4)>, <24, 1/199*(4*w + 151)>, <48, 1/18*(w + 23)>, <12, 1/135*(19*w + 76)>, <24, 1/9*(w - 4)>, <12, 1/404*(15*w - 105)>, <12, 1/25665*(136*w + 1649)>, <32, 1/3127*(15*w + 2982)>, <12, 1/26865*(56*w + 26144)>, <12, 1/199*(8*w + 103)>, <24, 1/216*(13*w - 26)>, <24, 1/4*(w + 10)>, <24, 1/559*(36*w - 72)>, <24, 1/4*(w - 6)>, <24, 1/909*(19*w - 133)>, <24, 1/3*(w - 11)>, <24, 1/3886*(57*w + 760)>, <12, 1/27*(w + 31)>, <6, 1/87870*(289*w + 85544)>, <6, 1/303*(w + 7)>, <12, 1/104625*(1904*w + 80944)>, <12, 1/88105*(1428*w + 61092)>, <12, 1/335*(12*w + 227)>, <12, 1/144*(7*w + 242)>, <24, 1/342*(7*w + 314)>, <24, 1/6169*(133*w + 5966)>, <24, 1/27*(2*w - 10)>, <24, 1/27*(2*w + 37)>, <32, 1/5*(3*w - 24)>, <12, 1/846*(5*w + 781)>, <28, 1/3127*(3*w + 3156)>, <24, 1/35*(2*w + 39)>, <24, 1/34*(9*w + 25)>, <24, 1/1247*(18*w + 50)>, <12, 1/22*(3*w - 18)>, <24, 1/7965*(119*w + 6146)>, <24, 1/14*(17*w + 184)>, <24, 1/742*(17*w + 878)>, <24, 1/35*(4*w + 51)>, <24, 1/216*(7*w + 244)>, <12, 1/1829*(30*w + 1824)>, <12, 1/36*(w + 10)>, <12, 1/31*(6*w + 1)>, <12, 1/11*(2*w - 10)>, <36, 1/31*(2*w + 10)>, <28, 3*w + 30>, <4, 1/93*(w - 5)>, <4, 1/53*(15*w - 120)>, <12, 1/172*(15*w + 202)>, <24, 1/14405*(252*w + 4613)>, <24, 1/371*(36*w + 659)>, <12, 1/2021*(66*w + 1680)>, <24, 1/9*(w + 13)>, <4, 1/1457*(50*w + 932)>, <4, 1/155*(2*w + 176)>, <4, 1/4371*(25*w + 3905)>, <8, 1/11*(w - 2)>, <4, 1/11*(5*w + 76)>, <4, 1/141*(5*w + 76)>, <8, 1/258*(11*w - 22)>, <12, 1/324*(11*w + 236)>, <12, 1/335*(54*w + 486)>, <12, 1/17755*(54*w + 151)>, <4, 1/11*(18*w + 173)>, <-6, 1/17*(-w + 18)>, <-12, 1/221*(-7*w + 242)>, <-12, 1/2625*(-221*w + 5056)>, <-24, 1/270*(-7*w + 298)>, <-12, 1/26*(-5*w - 40)>, <-12, 1/81*(-13*w + 224)>, <-12, 1/225*(-w - 14)>, <-12, 1/22479*(-385*w + 12700)>, <-12, 1/290*(-17*w - 102)>, <-12, 1/263*(-10*w - 30)>, <-12, 1/323*(-10*w + 30)>, <-12, 1/306*(-5*w + 56)>, <-12, 1/110*(-13*w + 214)>, <-16, 1/1829*(-15*w + 1625)>, <-24, 1/1500*(-13*w + 1357)>, <-24, 1/75*(-4*w + 44)>, <-12, 1/221*(-15*w + 206)>, <-6, 1/80910*(-1859*w + 43054)>, <-12, 1/254*(-w + 254)>, <-12, -w + 2>, <-12, 1/128*(-w + 1)>, <-12, 1/1305*(-91*w + 1851)>, <-12, 1/387*(-49*w + 98)>, <-12, 1/9*(-w - 2)>, <-12, 1/10030*(-273*w + 2022)>, <-12, 1/26*(-17*w - 212)>, <-24, 1/450*(-17*w + 212)>, <-12, 1/76962*(-2023*w + 73406)>, <-12, 1/2*(-w + 7)>, <-12, 1/12267*(-190*w + 1760)>, <-12, 1/2367*(-209*w - 627)>, <-12, 1/49*(-8*w - 48)>, <-12, 1/1020*(-77*w - 77)>, <-12, 1/3886*(-39*w + 520)>, <-6, 1/87870*(-1573*w + 62218)>, <-12, 1/263*(-w + 260)>, <-12, 1/17415*(-128*w + 647)>, <-12, 1/645*(-119*w - 238)>, <-12, 1/39*(-w - 10)>, <-12, 1/59*(-w + 10)>, <-12, 1/86*(-13*w - 26)>, <-12, 1/22*(-w - 4)>, <-12, 1/279*(-2*w + 269)>, <-12, 1/289*(-5*w - 15)>, <-12, 1/17145*(-238*w + 15113)>, <-12, 1/19*(-w - 4)>, <-12, 1/81*(-19*w + 176)>, <-12, 1/254*(-7*w + 254)>, <-12, -54/127*w>, <-12, 1/55521*(-85*w + 56491)>, <-12, 1/354*(-7*w + 284)>, <-12, 1/35505*(-128*w + 1457)>, <-24, 1/212*(-7*w - 56)>, <-12, 1/375*(-11*w + 121)>, <-12, 1/72*(-5*w - 55)>, <-12, 1/2250*(-7*w + 77)>, <-12, 1/182*(-11*w + 226)>, <-6, 1/80910*(-289*w - 1166)>, <-6, 1/279*(-w + 284)>, <-12, 1/375*(-128*w + 1783)>, <-12, 1/795*(-119*w + 1747)>, <-12, 1/263*(-5*w + 278)>, <-12, 1/43*(-2*w - 4)>, <-12, 1/51*(-2*w + 4)>, <-12, 1/5151*(-65*w + 5606)>, <-12, 1/5499*(-85*w + 6604)>, <-12, 1/254*(-13*w + 254)>, <-12, 1/135*(-19*w + 76)>, <-12, 1/404*(-15*w - 105)>, <-12, 1/25665*(-136*w + 1649)>, <-12, 1/26865*(-56*w + 26144)>, <-12, 1/199*(-8*w + 103)>, <-12, 1/27*(-w + 31)>, <-6, 1/87870*(-289*w + 85544)>, <-6, 1/303*(-w + 7)>, <-12, 1/104625*(-1904*w + 80944)>, <-12, 1/88105*(-1428*w + 61092)>, <-12, 1/335*(-12*w + 227)>, <-12, 1/144*(-7*w + 242)>, <-12, 1/846*(-5*w + 781)>, <-12, 1/22*(-3*w - 18)>, <-12, 1/1829*(-30*w + 1824)>, <-12, 1/36*(-w + 10)>, <-12, 1/31*(-6*w + 1)>, <-12, 1/11*(-2*w - 10)>, <-4, 1/93*(-w - 5)>, <-4, 1/53*(-15*w - 120)>, <-12, 1/172*(-15*w + 202)>, <-12, 1/2021*(-66*w + 1680)>, <-4, 1/1457*(-50*w + 932)>, <-4, 1/155*(-2*w + 176)>, <-4, 1/4371*(-25*w + 3905)>, <-4, 1/11*(-5*w + 76)>, <-4, 1/141*(-5*w + 76)>, <-12, 1/324*(-11*w + 236)>, <-12, 1/335*(-54*w + 486)>, <-12, 1/17755*(-54*w + 151)>, <-4, 1/11*(-18*w + 173)> ]