/* Defining polynomial */ x^2 - x + 234 /* GCD of coefficients */ 2 /* 24 * |disc|^(3/2) /(8*pi^2)* zeta_F(2) */ 21150.0021891831538266750008052 /* Belt */ [ <24, 1/236*(3*w + 230)>, <156, 1/6*(w + 3)>, <12, 1/123*(17*w - 68)>, <904, 1/18*(w + 8)>, <48, 1/54*(w + 17)>, <48, 1/10*(w + 17)>, <244, 1/24*(w + 5)>, <4, 1/13*(w + 18)>, <24, 1/11*(w + 13)>, <12, 1/4576*(119*w - 1666)>, <180, 1/29*(w + 21)>, <180, 1/29*(w + 7)>, <108, 1/10*(w + 5)>, <24, 1/110*(13*w + 201)>, <24, 1/1656*(17*w + 1666)>, <84, 1/127*(6*w + 97)>, <84, 1/12*(w + 7)>, <126, 1/17*(w + 7)>, <60, 1/59*(3*w + 53)>, <444, 1/12*(w + 6)>, <132, 1/276*(13*w + 185)>, <108, 1/10*(w + 4)>, <60, 1/246*(7*w + 218)>, <24, 1/1656*(17*w - 27)>, <126, 1/17*(w + 9)>, <24, 1/377*(11*w + 454)>, <444, 1/12*(w + 5)>, <60, 1/59*(3*w + 3)>, <144, 1/51*(2*w + 16)>, <24, 1/234*(85*w - 85)>, <48, 1/54*(w + 9)>, <24, 1/236*(3*w - 6)>, <96, 1/344*(17*w + 170)>, <12, 1/55*(17*w + 157)>, <24, 1/51168*(935*w + 40443)>, <48, 1/54*(w + 44)>, <24, 1/254*(3*w + 12)>, <72, 1/118*(3*w + 3)>, <24, 1/221*(5*w + 241)>, <72, 1/127*(3*w + 12)>, <24, 1/221*(5*w - 25)>, <96, 1/276*(17*w + 102)>, <144, 1/51*(2*w + 33)>, <24, 1/85*(w - 1)>, <12, 1/35*(9*w - 91)>, <12, 1/208*(9*w + 82)>, <24, 1/110*(17*w - 85)>, <78, 1/11*(w + 3)>, <12, 1/348*(7*w + 147)>, <78, 1/11*(w + 7)>, <60, 1/183*(7*w + 77)>, <12, 1/100*(19*w + 138)>, <36, 1/236*(7*w + 7)>, <24, 1/138*(5*w - 35)>, <36, 1/264*(7*w + 35)>, <48, 1/289*(w + 297)>, <48, 1/145*(3*w + 121)>, <48, 1/118*(3*w + 121)>, <48, 1/289*(w - 9)>, <72, 1/59*(w + 1)>, <12, 1/56*(w - 2)>, <12, 1/177*(17*w + 17)>, <12, 1/12*(w - 2)>, <72, 1/40*(w + 42)>, <36, 1/9*(w + 17)>, <12, 1/123*(2*w + 33)>, <204, 1/27*(w + 17)>, <204, 1/20*(w + 17)>, <208, 1/15*(w + 7)>, <4, 1/3364*(39*w + 442)>, <12, 1/21594*(665*w + 4570)>, <48, 1/118*(5*w + 123)>, <36, 1/9*(w - 9)>, <24, 1/236*(13*w + 210)>, <24, 1/236*(13*w + 13)>, <24, 1/5*(w - 4)>, <60, 1/4428*(65*w + 3393)>, <90, 1/290*(13*w + 91)>, <6, 1/121*(13*w + 186)>, <168, 1/153*(8*w + 81)>, <96, 1/2*(w - 9)>, <48, 1/123*(7*w + 144)>, <168, 1/145*(8*w + 81)>, <90, 1/290*(13*w + 186)>, <96, 1/153*(w - 9)>, <48, 1/270*(7*w + 144)>, <72, 1/11*(w + 2)>, <12, 1/4320*(77*w + 1449)>, <24, 1/34*(w - 5)>, <24, 1/127*(17*w - 85)>, <12, 1/289*(5*w + 289)>, <12, 1/1720*(289*w + 2890)>, <12, 1/80496*(3179*w + 12870)>, <36, 1/7*(w - 2)>, <36, 1/4248*(77*w + 2673)>, <12, 1/11*(w + 16)>, <108, 1/14*(w + 9)>, <72, 1/246*(13*w + 39)>, <108, 1/127*(7*w + 92)>, <72, 1/324*(13*w + 117)>, <96, 1/10*(w + 3)>, <192, 1/145*(7*w + 89)>, <84, 1/172*(9*w + 90)>, <24, 1/11*w>, <48, 1/162*(5*w + 45)>, <48, 1/234*(7*w + 227)>, <48, 1/184*(7*w + 226)>, <36, 1/306*(7*w + 243)>, <48, 1/18*(w - 4)>, <24, 1/24*(w + 26)>, <24, 1/24*(w - 3)>, <24, 1/200*(17*w - 51)>, <48, 1/234*(7*w + 234)>, <24, 1/696*(17*w + 322)>, <24, 1/696*(17*w + 357)>, <48, 1/234*(7*w - 7)>, <24, 1/200*(17*w + 234)>, <12, 1/55*(6*w + 97)>, <24, 1/136*(3*w + 139)>, <24, 1/897*(17*w + 663)>, <48, 1/473*(6*w + 404)>, <24, 1/78*(5*w + 103)>, <24, 1/24*(w - 2)>, <12, 1/234*(17*w + 234)>, <36, 1/30*(w + 17)>, <96, 1/123*(5*w + 15)>, <12, 1/88*(5*w - 20)>, <12, 1/58056*(1105*w + 7005)>, <36, 1/236*(5*w + 226)>, <48, 1/345*(7*w - 49)>, <24, 1/78*(5*w - 30)>, <192, 1/138*(7*w + 89)>, <72, 1/254*(11*w + 44)>, <12, 1/72*(5*w + 102)>, <60, 1/90*(13*w - 117)>, <24, 1/24*(w + 25)>, <12, 1/85*(13*w + 189)>, <108, 1/254*(13*w + 52)>, <24, 1/2691*(56*w + 1816)>, <24, 1/192*(7*w + 227)>, <48, 1/28*(5*w - 35)>, <48, 1/41*(3*w - 12)>, <48, 1/697*(14*w + 452)>, <48, 1/276*(7*w + 227)>, <12, 1/254*(17*w + 169)>, <12, 1/150*(13*w + 306)>, <36, 1/30*(w + 12)>, <84, 1/172*(9*w + 73)>, <48, 1/162*(5*w + 112)>, <24, 1/344*(11*w + 223)>, <12, 1/5*(w - 13)>, <48, 1/184*(3*w + 202)>, <24, 1/34*(w + 39)>, <24, 1/5461*(102*w + 4726)>, <24, 1/59*(4*w + 63)>, <72, 1/118*(5*w + 108)>, <24, 1/8944*(165*w + 5434)>, <72, 1/118*(5*w + 5)>, <36, 1/68*(5*w + 108)>, <24, 1/59*(4*w - 8)>, <24, 1/135*(11*w - 99)>, <24, 1/127*(28*w + 239)>, <144, 1/14*(w + 5)>, <60, 1/9*(4*w + 41)>, <60, 1/136*(w + 144)>, <144, 1/132*(7*w + 35)>, <24, 1/127*(28*w - 140)>, <120, 1/39*(w + 38)>, <60, 1/78*(w - 1)>, <24, 1/102*(5*w + 117)>, <60, 1/7*(w + 4)>, <24, 1/195*(7*w + 84)>, <24, 1/11*(w - 1)>, <24, 1/18415*(204*w + 123)>, <12, 1/77*(5*w - 30)>, <72, 1/254*(11*w + 199)>, <24, 1/5074*(105*w + 3114)>, <84, 1/127*(4*w + 107)>, <24, 1/18415*(204*w + 18088)>, <24, 1/540*(13*w + 221)>, <24, 1/635*(44*w - 220)>, <24, 1/319*(13*w - 104)>, <72, 1/240*(11*w + 22)>, <24, 1/254*(13*w - 65)>, <24, 1/88*(5*w - 25)>, <24, 1/7344*(143*w + 2691)>, <120, 1/44*(w + 38)>, <24, 1/828*(35*w + 1038)>, <24, 1/102*(5*w - 20)>, <60, 1/82*(w + 3)>, <12, 1/324*(7*w + 282)>, <12, 1/305*(27*w + 297)>, <12, 1/1342*(27*w - 8)>, <84, 1/8*(w + 3)>, <60, 1/7*(w + 2)>, <24, 1/118*(7*w + 7)>, <24, 1/234*(11*w - 11)>, <156, 1/41*(w + 3)>, <12, 1/696*(19*w + 278)>, <24, 1/1357*(30*w + 502)>, <24, 1/1357*(30*w + 825)>, <24, 1/64*(7*w + 78)>, <24, 1/105*(4*w + 113)>, <24, 1/8052*(85*w + 7157)>, <12, 1/828*(7*w + 870)>, <72, 1/61*(3*w + 25)>, <48, 1/10*(w + 11)>, <12, 1/915*(34*w - 408)>, <24, 1/60*(17*w - 119)>, <24, 1/78*(7*w - 28)>, <48, 1/351*(7*w + 414)>, <48, 1/6880*(91*w + 5382)>, <24, 1/78*(7*w + 99)>, <198, 1/15*(w + 8)>, <12, 1/1035*(14*w + 153)>, <72, 1/69*(w + 62)>, <12, 1/246*(17*w + 178)>, <12, 1/130*(3*w + 91)>, <132, 1/15*(w + 9)>, <12, 1/1620*(13*w - 130)>, <198, 1/102*(5*w + 40)>, <12, 1/3894*(49*w + 905)>, <24, 1/17*(w + 11)>, <54, 1/80*(w + 2)>, <108, 1/48*(w + 2)>, <54, 1/78*w>, <72, 1/8*(w + 6)>, <72, 1/8*(w + 1)>, <24, 1/81*(2*w - 20)>, <60, 1/16*(w - 3)>, <108, 1/306*(13*w + 104)>, <12, 1/88*(15*w + 163)>, <48, 1/88*(w + 5)>, <96, 1/19*(w + 9)>, <12, 1/2124*(209*w + 2333)>, <36, 1/290*(9*w + 218)>, <6, 1/2706*(169*w + 3213)>, <108, 1/15*(w + 2)>, <24, 1/472*(35*w + 507)>, <108, 1/92*(3*w + 71)>, <132, 1/82*(3*w + 70)>, <108, 1/92*(3*w + 18)>, <132, 1/82*(3*w + 9)>, <24, 1/2379*(70*w + 1014)>, <60, 1/15*(w - 3)>, <108, 1/16*(w + 2)>, <12, 1/306*(49*w + 698)>, <48, 1/1763*(35*w + 475)>, <48, 1/60*(7*w + 95)>, <24, 7/52*w>, <72, 1/60*(w + 62)>, <24, 1/531*(14*w + 427)>, <72, 1/6*(w + 8)>, <24, 1/87*(2*w + 43)>, <192, 1/33*(w + 5)>, <48, 1/216*(w - 10)>, <24, 1/215*(4*w + 83)>, <24, 1/1160*(13*w + 1251)>, <36, 1/195*(8*w + 91)>, <48, 1/117*(2*w + 115)>, <24, 1/33*(2*w + 43)>, <48, 1/88*(w + 82)>, <192, 1/8*(w + 5)>, <48, 1/3*(2*w - 20)>, <36, 1/531*(10*w + 216)>, <24, 1/51*(4*w + 83)>, <12, 1/19*(w + 7)>, <12, 1/23780*(297*w + 5454)>, <36, 1/82*(5*w + 62)>, <24, 1/5589*(52*w + 5004)>, <36, 1/123*(8*w + 91)>, <48, 1/123*(2*w + 115)>, <12, 1/234*(5*w + 229)>, <12, 1/7*(w + 11)>, <12, 1/289*(11*w + 44)>, <12, 1/187*(7*w + 222)>, <24, 1/39*(7*w + 95)>, <24, 1/39*(7*w - 63)>, <168, 1/16*(w + 6)>, <24, 1/98*(13*w + 189)>, <24, 1/161*(16*w + 257)>, <126, 1/26*(w + 25)>, <132, 1/9*(w - 1)>, <36, 1/10*(w - 1)>, <24, 1/1763*(42*w + 1602)>, <24, 1/442*(11*w + 275)>, <24, 1/42*(w + 42)>, <24, 1/340*(7*w + 294)>, <24, 1/51*(w + 50)>, <36, 1/240*(7*w + 254)>, <12, 1/1200*(289*w + 578)>, <24, 1/928*(17*w + 850)>, <24, 1/442*(11*w + 156)>, <72, 1/12*(w - 6)>, <108, 1/46*(w + 6)>, <24, 1/1215*(11*w + 1314)>, <24, 1/1794*(35*w + 394)>, <126, 1/9*(w + 8)>, <12, 1/14859*(238*w + 698)>, <36, 1/117*(2*w + 117)>, <12, 1/10287*(175*w + 7812)>, <24, 1/56*(3*w + 62)>, <24, 1/8*(w - 2)>, <12, 1/472*(65*w + 65)>, <24, 1/3009*(65*w + 1404)>, <24, 1/78*(5*w + 108)>, <12, 1/164*(9*w - 36)>, <36, 1/82*(5*w + 15)>, <24, 1/767*(21*w + 434)>, <60, 1/8*(w + 7)>, <36, 1/528*(5*w + 58)>, <24, 1/44*(15*w + 179)>, <36, 1/18*(5*w + 58)>, <24, 1/254*(35*w + 394)>, <12, 1/153*(2*w + 135)>, <60, 1/1143*(14*w + 184)>, <24, 1/192*(7*w + 234)>, <168, 1/69*(4*w + 24)>, <24, 1/38862*(637*w + 9261)>, <60, 1/117*(4*w + 113)>, <24, 1/1763*(42*w + 119)>, <132, 1/9*(w + 9)>, <36, 1/10*(w + 10)>, <72, 1/12*(w + 17)>, <108, 1/6*(w + 6)>, <24, 1/286*(3*w - 29)>, <24, 1/44*(3*w + 26)>, <24, 1/2419*(20*w + 2380)>, <24, 1/80*(w + 85)>, <36, 1/187*(7*w + 243)>, <24, 1/120*(w + 119)>, <24, 1/33*(10*w + 83)>, <48, 1/1419*(10*w + 105)>, <48, 1/5*(2*w + 21)>, <24, 1/328*(35*w - 140)>, <84, 1/14*(w + 3)>, <48, 1/2921*(66*w + 1194)>, <36, 1/12*w>, <72, 1/18*(w + 6)>, <36, 1/236*(11*w + 11)>, <24, 1/18954*(385*w + 9945)>, <24, 1/17835*(374*w + 6868)>, <24, 1/170*(11*w + 214)>, <24, 1/4692*(55*w + 627)>, <72, 1/254*(9*w + 36)>, <12, 1/168*(5*w + 193)>, <24, 1/4692*(55*w + 4010)>, <24, 1/136*(11*w + 202)>, <24, 1/170*(11*w - 55)>, <24, 1/77*(5*w - 40)>, <24, 1/11*(w + 17)>, <24, 1/11*(w - 7)>, <12, 1/12*(w + 12)>, <12, 1/52*(w - 13)>, <24, 1/44*(3*w + 15)>, <24, 1/117*(w + 12)>, <84, 1/172*(7*w + 95)>, <24, 1/328*(35*w + 433)>, <48, 1/2921*(66*w + 1661)>, <36, 2/39*w>, <36, 1/324*(11*w + 99)>, <36, 1/1403*(12*w + 1503)>, <24, 1/232*(5*w + 122)>, <24, 1/92*(5*w + 122)>, <12, 1/1952*(57*w + 1634)>, <36, 1/9*(w + 11)>, <12, 1/336*(17*w + 370)>, <60, 1/183*(7*w + 99)>, <52, w - 9>, <12, 1/34*(7*w + 90)>, <12, 1/48*(17*w - 3)>, <132, 1/15*(w + 5)>, <24, 1/25*(2*w + 33)>, <24, 1/345*(8*w - 56)>, <12, 1/793*(10*w + 598)>, <6, 1/16*(5*w + 26)>, <24, 1/508*(25*w + 608)>, <24, 1/2501*(40*w + 496)>, <48, 1/56*(19*w + 190)>, <48, 1/13122*(133*w + 14060)>, <12, 1/77*(13*w - 130)>, <36, 1/117*(w + 116)>, <24, 1/507*(14*w + 220)>, <24, 1/344*(13*w + 130)>, <24, 1/42*(5*w - 25)>, <24, 1/5002*(105*w + 3595)>, <36, 1/118*(w + 116)>, <24, 1/96*(7*w + 110)>, <24, 1/13*(w + 10)>, <36, 1/324*(7*w + 254)>, <24, 1/20124*(385*w + 10730)>, <12, 1/1281*(11*w + 1402)>, <24, 1/20124*(385*w + 9009)>, <120, 1/16*(w + 10)>, <120, 1/43*(2*w + 20)>, <24, 1/5031*(140*w + 3276)>, <72, 1/59*(w + 57)>, <24, 1/112*(5*w + 117)>, <60, 1/36*(7*w + 92)>, <12, 1/656*(15*w + 291)>, <72, 1/8*(w - 3)>, <24, 1/10922*(195*w + 8400)>, <24, 1/41*(4*w + 53)>, <24, 1/17835*(238*w + 15351)>, <72, 1/30*(w - 3)>, <24, 1/104*(15*w - 90)>, <24, 1/165*(4*w + 53)>, <24, 1/119*(2*w + 129)>, <12, 1/8784*(119*w + 1134)>, <24, 1/10*(w + 13)>, <12, w - 13>, <24, 1/208*(5*w + 65)>, <72, 1/117*(4*w + 117)>, <24, 1/26*(5*w + 21)>, <12, 1/41*(8*w + 24)>, <12, 1/18792*(119*w + 17595)>, <24, 1/246*(5*w + 21)>, <48, 1/299*(9*w + 353)>, <24, 1/1716*(35*w + 1330)>, <36, 1/127*(2*w + 117)>, <12, 1/236*(11*w + 247)>, <12, 1/26*(15*w + 206)>, <12, 1/40*(w + 45)>, <12, 1/585*(56*w - 56)>, <12, 1/567*(8*w + 639)>, <12, 1/81*(5*w + 45)>, <12, 1/50*(3*w - 6)>, <72, 1/153*(4*w + 117)>, <48, 1/6380*(117*w + 4589)>, <24, 1/1716*(35*w + 351)>, <12, 1/1978*(27*w - 74)>, <12, 1/264*(5*w + 289)>, <36, 1/132*(w + 126)>, <24, 1/51*(2*w + 61)>, <36, 1/1053*(20*w + 585)>, <36, 1/123*(w + 126)>, <24, 1/51*(2*w - 12)>, <24, 1/45*(2*w + 63)>, <24, 1/559*(10*w + 315)>, <24, 1/221*(5*w + 125)>, <24, 1/33*(w + 38)>, <24, 1/26*(3*w + 53)>, <24, 1/299*(11*w - 77)>, <24, 1/253*(14*w - 98)>, <12, 1/2032*(55*w - 275)>, <36, 1/16*(w + 4)>, <24, 1/221*(5*w + 91)>, <24, 1/52*(w + 38)>, <24, 1/26*(3*w - 30)>, <24, 1/132*(13*w - 91)>, <24, 1/253*(14*w + 337)>, <72, 1/58*(w + 50)>, <72, 1/5*(w - 3)>, <48, 1/1683*(28*w + 360)>, <12, 1/48*(7*w + 62)>, <48, 1/161*(4*w - 28)>, <24, 1/182*(9*w - 45)>, <24, 1/40*(7*w + 89)>, <12, 1/25*(7*w - 77)>, <36, 1/549*(4*w + 501)>, <24, 1/34220*(819*w + 13563)>, <52, 1/324*(w + 314)>, <12, 1/88*(w - 6)>, <24, 1/138*(5*w + 168)>, <6, 1/182*(25*w + 157)>, <36, 1/122*(3*w + 33)>, <24, 1/120*(w + 117)>, <36, 1/127*(8*w + 32)>, <24, 1/117*(w + 117)>, <24, 1/344*(19*w + 135)>, <24, 1/55*(19*w - 154)>, <24, 1/14859*(280*w + 1755)>, <24, 1/14859*(280*w + 12824)>, <24, 1/60*(w - 1)>, <24, 1/60*(w + 60)>, <12, 1/1016*(91*w + 1380)>, <12, 1/324*(35*w + 639)>, <24, 1/160*(17*w + 194)>, <36, 1/9*(w + 1)>, <24, 1/2673*(34*w + 2414)>, <24, 1/1357*(34*w + 388)>, <24, 1/68*(w + 71)>, <12, 1/172*(11*w - 121)>, <36, 1/254*(15*w + 179)>, <36, 1/15*(w + 10)>, <24, 1/3861*(70*w + 3276)>, <24, 1/3861*(70*w + 515)>, <24, 1/1107*(20*w + 207)>, <24, 1/127*(20*w + 207)>, <12, 1/5*(8*w + 96)>, <24, 1/9027*(182*w + 2527)>, <24, 1/7*(2*w - 16)>, <24, 1/153*(w + 144)>, <24, 1/182*(9*w - 72)>, <12, 1/6136*(25*w + 261)>, <12, 20/117*w>, <24, 1/56*(3*w + 71)>, <12, 1/258*(7*w + 224)>, <12, 1/65*(2*w + 63)>, <24, 1/920*(21*w + 497)>, <12, 1/261*(w - 8)>, <24, 1/208*(7*w - 42)>, <24, 1/7*(2*w + 21)>, <24, 1/182*(9*w + 245)>, <24, 1/136*(w + 137)>, <12, 1/85*(4*w + 113)>, <12, 1/17*(w + 25)>, <24, 1/4785*(34*w + 4658)>, <36, 1/1053*(20*w + 448)>, <24, 1/5*(4*w - 40)>, <24, 1/69*(5*w - 35)>, <24, 1/121*(7*w + 156)>, <24, 1/8555*(168*w + 1611)>, <12, 1/256*(11*w + 234)>, <24, 1/8555*(168*w + 6776)>, <24, 1/1593*(44*w + 693)>, <24, 1/192*(11*w - 33)>, <24, 1/69*(5*w + 99)>, <24, 1/3354*(77*w + 1716)>, <12, 1/464*(5*w + 499)>, <24, 1/58*(7*w + 107)>, <24, 1/408*(7*w + 107)>, <12, 1/4071*(98*w + 1278)>, <36, 1/5*(w + 3)>, <12, 1/889*(32*w - 160)>, <12, 1/344*(7*w + 267)>, <12, 1/1394*(75*w + 1094)>, <12, 1/82*(w - 4)>, <12, 1/87376*(1785*w + 21301)>, <36, 1/127*(w + 4)>, <36, 1/127*(w + 122)>, <24, 1/6536*(55*w + 5931)>, <24, 1/344*(19*w + 190)>, <24, 1/5*(w - 5)>, <24, 1/254*(5*w - 25)>, <24, 1/5461*(84*w + 3892)>, <24, 1/112*(3*w + 139)>, <24, 1/118*(17*w + 84)>, <24, 1/344*(9*w + 245)>, <24, 1/4*(w - 2)>, <24, 1/645*(17*w + 84)>, <24, 1/236*(9*w + 245)>, <24, 1/59*(w - 2)>, <24, 1/645*(14*w + 183)>, <24, 1/645*(14*w + 448)>, <12, 1/5031*(176*w + 3568)>, <12, 1/128*(w + 10)>, <12, 1/117*(16*w + 117)>, <12, 1/8487*(320*w + 6592)>, <24, 1/2*(w + 6)>, <12, 1/254*(w + 4)>, <24, 1/3894*(91*w + 2886)>, <12, 1/136*(3*w + 7)>, <24, 1/32*(9*w + 5)>, <12, 1/234*(w + 233)>, <6, 1/234*(25*w + 234)>, <24, 1/1189*(18*w + 10)>, <24, 1/3894*(91*w + 917)>, <12, 1/936*(17*w + 442)>, <24, 1/2537*(66*w + 1305)>, <12, 1/128*(5*w + 108)>, <12, 1/2*(w + 3)>, <24, 1/44*(3*w - 12)>, <12, 1/256*(5*w + 241)>, <12, 1/405*(49*w + 846)>, <12, 1/552*(5*w + 57)>, <12, 1/136*(w + 4)>, <24, 1/1296*(5*w - 50)>, <12, 1/48*(w + 53)>, <12, 1/264*(w + 5)>, <12, 1/127*(16*w + 64)>, <24, 1/162*(13*w - 52)>, <6, 1/460*(9*w + 514)>, <24, 1/13760*(351*w + 7982)>, <12, 1/64*(w + 3)>, <24, 1/203*(4*w + 231)>, <12, 1/688*(w - 11)>, <24, 1/645*(13*w + 416)>, <12, 1/144*(13*w - 39)>, <24, 1/645*(13*w + 216)>, <12, 1/2*(w + 7)>, <12, 1/145*(32*w - 256)>, <12, 1/5589*(68*w + 4824)>, <12, 1/13*(17*w - 174)>, <12, 1/1305*(8*w + 81)>, <12, 1/276*(289*w + 1734)>, <6, 1/289*(13*w + 185)>, <12, 1/290*(w + 297)>, <-12, 1/123*(-17*w - 51)>, <-4, 1/13*(-w + 19)>, <-24, 1/11*(-w + 14)>, <-12, 1/4576*(-119*w - 1547)>, <-12, 1/55*(-17*w + 174)>, <-12, 1/35*(-9*w - 82)>, <-12, 1/208*(-9*w + 91)>, <-12, 1/348*(-7*w + 154)>, <-12, 1/100*(-19*w + 157)>, <-12, 1/56*(-w - 1)>, <-12, 1/177*(-17*w + 34)>, <-12, 1/12*(-w - 1)>, <-12, 1/123*(-2*w + 35)>, <-4, 1/3364*(-39*w + 481)>, <-12, 1/21594*(-665*w + 5235)>, <-24, 1/5*(-w - 3)>, <-6, 1/121*(-13*w + 199)>, <-12, 1/4320*(-77*w + 1526)>, <-12, 1/289*(-5*w + 294)>, <-12, 1/1720*(-289*w + 3179)>, <-12, 1/80496*(-3179*w + 16049)>, <-12, 1/11*(-w + 17)>, <-12, 1/55*(-6*w + 103)>, <-12, 1/234*(-17*w + 251)>, <-12, 1/88*(-5*w - 15)>, <-12, 1/58056*(-1105*w + 8110)>, <-12, 1/72*(-5*w + 107)>, <-12, 1/85*(-13*w + 202)>, <-12, 1/254*(-17*w + 186)>, <-12, 1/150*(-13*w + 319)>, <-12, 1/5*(-w - 12)>, <-12, 1/77*(-5*w - 25)>, <-12, 1/324*(-7*w + 289)>, <-12, 1/305*(-27*w + 324)>, <-12, 1/1342*(-27*w + 19)>, <-12, 1/696*(-19*w + 297)>, <-12, 1/828*(-7*w + 877)>, <-12, 1/915*(-34*w - 374)>, <-12, 1/1035*(-14*w + 167)>, <-12, 1/246*(-17*w + 195)>, <-12, 1/130*(-3*w + 94)>, <-12, 1/1620*(-13*w - 117)>, <-12, 1/3894*(-49*w + 954)>, <-24, 1/17*(-w + 12)>, <-24, 1/81*(-2*w - 18)>, <-12, 1/88*(-15*w + 178)>, <-12, 1/2124*(-209*w + 2542)>, <-6, 1/2706*(-169*w + 3382)>, <-12, 1/306*(-49*w + 747)>, <-12, 1/19*(-w + 8)>, <-12, 1/23780*(-297*w + 5751)>, <-12, 1/234*(-5*w + 234)>, <-12, 1/7*(-w + 12)>, <-12, 1/289*(-11*w + 55)>, <-12, 1/187*(-7*w + 229)>, <-12, 1/1200*(-289*w + 867)>, <-12, 1/14859*(-238*w + 936)>, <-12, 1/10287*(-175*w + 7987)>, <-24, 1/8*(-w - 1)>, <-12, 1/472*(-65*w + 130)>, <-12, 1/164*(-9*w - 27)>, <-12, 1/153*(-2*w + 137)>, <-12, 1/168*(-5*w + 198)>, <-12, 1/12*(-w + 13)>, <-12, 1/52*(-w - 12)>, <-12, 1/1952*(-57*w + 1691)>, <-12, 1/336*(-17*w + 387)>, <-12, 1/34*(-7*w + 97)>, <-12, 1/48*(-17*w + 14)>, <-12, 1/793*(-10*w + 608)>, <-6, 1/16*(-5*w + 31)>, <-12, 1/77*(-13*w - 117)>, <-12, 1/1281*(-11*w + 1413)>, <-12, 1/656*(-15*w + 306)>, <-12, 1/8784*(-119*w + 1253)>, <-12, -w - 12>, <-12, 1/41*(-8*w + 32)>, <-12, 1/18792*(-119*w + 17714)>, <-12, 1/236*(-11*w + 258)>, <-12, 1/26*(-15*w + 221)>, <-12, 1/40*(-w + 46)>, <-12, -56/585*w>, <-12, 1/567*(-8*w + 647)>, <-12, 1/81*(-5*w + 50)>, <-12, 1/50*(-3*w - 3)>, <-12, 1/1978*(-27*w - 47)>, <-12, 1/264*(-5*w + 294)>, <-12, 1/2032*(-55*w - 220)>, <-12, 1/48*(-7*w + 69)>, <-12, 1/25*(-7*w - 70)>, <-12, 1/88*(-w - 5)>, <-6, 1/182*(-25*w + 182)>, <-12, 1/1016*(-91*w + 1471)>, <-12, 1/324*(-35*w + 674)>, <-12, 1/172*(-11*w - 110)>, <-12, 1/5*(-8*w + 104)>, <-24, 1/153*(-w + 145)>, <-12, 1/6136*(-25*w + 286)>, <-12, 1/117*(-20*w + 20)>, <-12, 1/258*(-7*w + 231)>, <-12, 1/65*(-2*w + 65)>, <-12, 1/261*(-w - 7)>, <-12, 1/85*(-4*w + 117)>, <-12, 1/17*(-w + 26)>, <-12, 1/256*(-11*w + 245)>, <-12, 1/464*(-5*w + 504)>, <-12, 1/4071*(-98*w + 1376)>, <-12, 1/889*(-32*w - 128)>, <-12, 1/344*(-7*w + 274)>, <-12, 1/1394*(-75*w + 1169)>, <-12, 1/82*(-w - 3)>, <-12, 1/87376*(-1785*w + 23086)>, <-12, 1/5031*(-176*w + 3744)>, <-12, 1/128*(-w + 11)>, <-12, 1/117*(-16*w + 133)>, <-12, 1/8487*(-320*w + 6912)>, <-24, 1/2*(-w + 7)>, <-12, 1/254*(-w + 5)>, <-12, 1/136*(-3*w + 10)>, <-6, 1/234*(-25*w + 259)>, <-12, 1/936*(-17*w + 459)>, <-12, 1/128*(-5*w + 113)>, <-12, 1/2*(-w + 4)>, <-12, 1/256*(-5*w + 246)>, <-12, 1/405*(-49*w + 895)>, <-12, 1/552*(-5*w + 62)>, <-12, 1/136*(-w + 5)>, <-12, 1/48*(-w + 54)>, <-12, 1/264*(-w + 6)>, <-12, 1/127*(-16*w + 80)>, <-6, 1/460*(-9*w + 523)>, <-12, 1/64*(-w + 4)>, <-12, 1/688*(-w - 10)>, <-12, 1/144*(-13*w - 26)>, <-12, 1/2*(-w + 8)>, <-12, 1/145*(-32*w - 224)>, <-12, 1/5589*(-68*w + 4892)>, <-12, 1/13*(-17*w - 157)>, <-12, 1/1305*(-8*w + 89)>, <-12, 1/276*(-289*w + 2023)>, <-6, 1/289*(-13*w + 198)>, <-12, 1/290*(-w + 298)> ]