/* Defining polynomial */ x^2 + 258 /* GCD of coefficients */ 1 /* 24 * |disc|^(3/2) /(8*pi^2)* zeta_F(2) */ 15951.6006941474484141299969409 /* Belt */ [ <24, 1/685*(119*w - 476)>, <24, 1/685*(119*w + 1161)>, <48, 1/137*(2*w + 8)>, <48, 1/4*(w + 4)>, <24, 1/1335*(323*w + 969)>, <24, 1/101314*(1615*w + 99484)>, <36, 1/7*(w + 10)>, <60, 1/274*(7*w + 28)>, <36, 1/379*(8*w + 291)>, <48, 1/161*(4*w + 32)>, <60, 1/9*(w + 4)>, <48, 3/86*w>, <12, 1/4*(w + 9)>, <12, 1/95937*(1292*w + 97869)>, <48, 1/86*(3*w + 86)>, <60, 1/283*(9*w + 238)>, <12, 1/137*(2*w - 8)>, <12, 1/153*(2*w + 8)>, <48, 4/129*w>, <60, 1/274*(7*w + 246)>, <36, 1/8*(w - 3)>, <36, 1/267*(7*w + 288)>, <24, 1/645*(136*w + 645)>, <24, 136/645*w>, <24, 1/411*(34*w + 547)>, <24, 1/4361*(102*w + 1641)>, <108, 1/49*(w + 43)>, <148, 1/18*(w + 10)>, <148, 1/161*(9*w + 89)>, <156, 1/339*(17*w + 186)>, <12, 1/3059*(8*w + 3123)>, <12, 1/5537*(95*w + 4245)>, <156, 1/98*(5*w + 68)>, <108, 1/43*(w + 43)>, <60, 1/283*(7*w + 248)>, <96, 1/15*(w + 8)>, <60, 1/7*(w + 2)>, <96, 1/307*(15*w + 202)>, <24, 1/80*(3*w + 86)>, <24, 1/393*(40*w + 473)>, <24, 1/73297*(1020*w + 6232)>, <24, 1/1048*(255*w + 1558)>, <12, 1/1048*(147*w + 754)>, <24, 1/179*(4*w + 139)>, <184, 1/16*(w + 8)>, <48, 1/67*(2*w + 24)>, <156, 1/339*(17*w + 153)>, <24, 1/989*(20*w + 344)>, <24, 1/989*(20*w + 645)>, <48, 1/67*(2*w + 43)>, <24, 1/548*(35*w - 140)>, <24, 1/35*(2*w - 8)>, <24, 1/623*(85*w - 255)>, <36, 1/339*(8*w + 72)>, <36, 1/259*(8*w - 8)>, <24, 1/255*(7*w - 21)>, <48, 1/8*(w + 5)>, <48, 1/283*(8*w + 40)>, <24, 1/294*(5*w + 30)>, <12, 1/1918*(81*w - 324)>, <120, 1/14*(w + 4)>, <24, 1/294*(5*w + 264)>, <24, 1/1310*(119*w - 238)>, <24, 1/96*(7*w - 21)>, <36, 1/137*(8*w + 105)>, <132, 1/19*(w + 9)>, <24, 1/57*(4*w + 77)>, <36, 1/89*(5*w + 15)>, <24, 1/84*(5*w - 45)>, <100, 1/67*(3*w + 31)>, <12, 1/1432*(99*w - 990)>, <100, 1/67*(3*w + 36)>, <384, 1/14*(w + 6)>, <84, 1/147*(4*w + 24)>, <384, 1/23*(w + 15)>, <48, 1/283*(10*w + 233)>, <24, 1/8777*(224*w + 5033)>, <36, 1/137*(8*w + 32)>, <24, 1/1310*(119*w + 1548)>, <132, 1/19*(w + 10)>, <36, 1/89*(5*w + 74)>, <24, 1/84*(5*w + 129)>, <24, 1/57*(4*w - 20)>, <24, 1/49649*(1365*w + 24780)>, <48, 1/13*(w + 11)>, <84, 1/8*(w + 6)>, <12, 1/21*(w + 11)>, <12, 1/2653*(32*w - 352)>, <40, 1/379*(15*w + 214)>, <12, 1/10057*(150*w + 2932)>, <24, 1/3401*(11*w + 110)>, <132, 1/147*(5*w + 117)>, <132, 1/10*(w + 4)>, <24, 1/5763*(35*w + 6078)>, <48, 1/307*(7*w + 258)>, <24, 1/323*(7*w + 21)>, <24, 1/38*(w + 38)>, <24, 1/391*(4*w + 423)>, <84, 1/37*(w + 36)>, <108, 1/274*(11*w + 44)>, <88, 1/322*(13*w + 218)>, <24, 1/344*(51*w + 344)>, <96, 1/9*(w + 3)>, <60, 1/14*(w + 9)>, <24, 1/54953*(442*w + 4888)>, <24, 1/52*(17*w + 188)>, <12, 1/4245*(133*w + 4910)>, <60, 1/358*(15*w + 208)>, <24, 1/8771*(102*w + 8109)>, <6, 1/259*(2*w + 257)>, <1, 1/67081*(510*w + 1546)>, <1, 1/15*(w + 16)>, <2, 1/17*(w + 16)>, <1, 1/34*(15*w + 274)>, <1, 1/518*(225*w + 4628)>, <1, 1/4403*(30*w + 548)>, <2, 1/17*(w + 1)>, <1, 1/225*(17*w + 242)>, <108, 1/17*(w + 10)>, <24, 1/3043*(9*w - 90)>, <24, 1/8771*(102*w + 662)>, <12, 1/153*(13*w + 218)>, <88, 1/322*(13*w + 104)>, <60, 1/339*(14*w + 126)>, <88, 1/137*(4*w + 16)>, <48, 1/322*(9*w + 72)>, <12, 1/169*(17*w + 186)>, <12, 1/259*(10*w + 249)>, <232, 1/49*(2*w + 37)>, <24, 1/153*(4*w + 153)>, <36, 1/402*(13*w + 246)>, <16, 1/17353*(195*w + 13663)>, <96, 1/89*(3*w + 9)>, <108, 1/274*(11*w + 230)>, <84, 1/42*(w + 36)>, <24, 1/7959*(68*w + 7191)>, <24, 1/851*(19*w + 722)>, <24, 1/323*(7*w + 302)>, <24, 1/109906*(595*w + 103326)>, <48, 1/307*(7*w + 49)>, <48, 1/267*(5*w + 252)>, <36, 1/2*(w + 2)>, <24, 1/8*(9*w - 81)>, <24, 1/921*(10*w + 991)>, <12, 1/8777*(135*w + 4970)>, <12, 1/201*(5*w + 141)>, <24, 1/19*(w + 7)>, <24, 1/54*(19*w + 228)>, <24, 1/3283*(30*w + 2973)>, <108, 1/339*(11*w + 99)>, <108, 1/11*(w + 9)>, <24, 1/28819*(72*w + 28107)>, <48, 1/5*(w + 2)>, <36, 1/129*(w + 129)>, <120, 1/179*(7*w + 109)>, <24, 1/131*(17*w - 34)>, <52, 1/379*(17*w + 187)>, <24, 1/90*(17*w + 192)>, <24, 1/34*(w - 2)>, <24, 1/259*(12*w + 247)>, <24, 1/6419*(90*w + 6075)>, <24, 1/3411*(10*w + 3301)>, <24, 1/51923*(480*w + 6848)>, <24, 1/5152*(75*w + 5752)>, <24, 1/23091*(520*w + 9675)>, <24, 1/28819*(90*w + 29709)>, <24, 1/5152*(75*w - 600)>, <24, 1/51923*(480*w + 45075)>, <24, 1/1415*(104*w + 1935)>, <12, 1/196*(57*w - 146)>, <12, 1/179*(2*w + 159)>, <24, 1/259*(12*w + 12)>, <24, 1/6419*(90*w + 344)>, <144, 1/294*(13*w + 216)>, <24, 1/259*(4*w + 4)>, <24, 1/2415*(44*w - 352)>, <24, 1/42*(w - 1)>, <24, 1/259*(11*w + 11)>, <108, 1/294*(11*w + 228)>, <24, 1/11074*(165*w + 2244)>, <48, 1/4*(w + 2)>, <24, 1/11074*(165*w + 8830)>, <108, 1/283*(11*w + 228)>, <24, 1/2415*(44*w + 2767)>, <24, 1/301*(6*w + 43)>, <24, 1/259*(11*w + 248)>, <144, 1/13*(w + 7)>, <24, 1/267*(4*w + 12)>, <84, 1/16*(w + 7)>, <4, 1/259*(13*w - 13)>, <8, 1/90*(13*w + 272)>, <12, 1/259*(15*w + 15)>, <4, 1/64241*(507*w + 48971)>, <12, 1/15*(w + 1)>, <4, 1/3367*(247*w + 5168)>, <4, 1/73297*(1482*w + 10806)>, <16, 1/6*(w + 1)>, <84, 1/339*(16*w + 195)>, <24, 1/136*(5*w + 141)>, <84, 1/161*(5*w + 40)>, <84, 1/131*(5*w + 10)>, <24, 1/1295*(136*w + 1431)>, <24, 1/187*(9*w + 268)>, <24, 1/92722*(1683*w + 50116)>, <24, 1/99*(5*w - 30)>, <36, 1/5*(w + 1)>, <48, 1/322*(9*w + 250)>, <24, 1/99*(5*w + 129)>, <24, 1/46361*(880*w + 26521)>, <12, 1/81*(5*w + 121)>, <48, 1/89*(2*w + 83)>, <12, 1/119*(3*w + 125)>, <48, 1/137*(3*w + 12)>, <24, 1/160*(11*w - 88)>, <36, 1/274*(5*w + 254)>, <48, 1/28*(5*w - 40)>, <48, 1/791*(10*w + 655)>, <24, 1/833*(16*w - 96)>, <48, 1/307*(8*w - 56)>, <48, 1/307*(8*w + 363)>, <24, 1/833*(16*w + 929)>, <24, 1/42987*(680*w + 4635)>, <24, 1/655*(136*w + 927)>, <36, 1/307*(8*w + 56)>, <36, 1/131*(7*w + 117)>, <36, 1/201*(7*w + 117)>, <24, 1/1036*(135*w - 135)>, <60, 1/113*(4*w + 36)>, <36, 1/8*(w + 7)>, <24, 1/135*(4*w - 4)>, <60, 1/113*(4*w + 77)>, <24, 1/190*(11*w + 234)>, <24, 1/247*(11*w - 11)>, <24, 1/339*(20*w + 159)>, <36, 1/258*(11*w + 258)>, <24, 1/252*(5*w - 30)>, <48, 1/35*(8*w + 99)>, <12, 1/712*(105*w + 397)>, <24, 1/65*(3*w + 80)>, <24, 1/65*(3*w - 15)>, <24, 1/259*(10*w + 269)>, <12, 1/135682*(3549*w + 110670)>, <36, 1/9*(w - 1)>, <24, 1/147*(16*w + 243)>, <24, 1/98*(3*w + 116)>, <12, 1/6623*(126*w + 2871)>, <48, 1/7*(w + 8)>, <24, 1/851*(16*w + 243)>, <24, 1/247*(11*w + 258)>, <24, 1/190*(11*w - 44)>, <36, 1/379*(11*w + 258)>, <24, 1/20*(w + 11)>, <24, 1/35*(6*w - 36)>, <48, 1/368*(5*w + 408)>, <24, 1/81969*(1870*w + 44319)>, <108, 1/358*(17*w + 170)>, <24, 1/12*(w + 2)>, <24, 1/7*(w + 9)>, <24, 1/46443*(760*w + 44688)>, <12, 1/6419*(132*w + 4059)>, <24, 1/402*(17*w + 198)>, <24, 1/3013*(65*w + 1573)>, <24, 1/17*(w + 5)>, <24, 1/179*(6*w + 119)>, <24, 1/187*(10*w + 237)>, <24, 1/46443*(760*w + 1755)>, <24, 1/339*(7*w + 63)>, <24, 1/210*(13*w - 78)>, <4, 1/1096*(105*w + 1516)>, <6, 1/548*(75*w + 848)>, <24, 1/1132*(119*w + 1727)>, <24, 1/3401*(11*w + 3291)>, <24, 1/1132*(119*w - 595)>, <48, 1/24523*(420*w + 6540)>, <48, 1/2149*(60*w - 420)>, <40, 1/379*(15*w + 165)>, <12, 1/154*(15*w + 214)>, <72, 1/339*(13*w + 117)>, <12, 1/105*(13*w - 117)>, <24, 1/81*(20*w + 240)>, <24, 1/2881*(42*w + 903)>, <72, 1/274*(13*w + 52)>, <24, 1/2093*(66*w - 528)>, <60, 1/12*(w + 8)>, <24, 1/2881*(42*w + 1978)>, <24, 1/42827*(540*w + 47120)>, <24, 1/49649*(858*w + 15576)>, <60, 1/137*(6*w + 113)>, <64, 1/19*(w + 11)>, <24, 1/131*(18*w - 36)>, <24, 1/137*(16*w + 201)>, <24, 1/7437*(143*w + 3510)>, <24, 1/15931*(325*w + 5700)>, <24, 1/1535*(39*w + 1808)>, <48, 1/46*(w + 8)>, <24, 1/274*(39*w + 430)>, <156, 1/15*(w + 9)>, <24, 1/7654*(85*w + 7310)>, <24, 1/27323*(340*w + 3608)>, <72, 1/267*(13*w + 39)>, <24, 1/27323*(340*w + 23715)>, <24, 1/85*(w + 86)>, <72, 1/267*(13*w + 228)>, <128, 1/18*(w + 9)>, <24, 1/147*(2*w + 12)>, <4, 1/23051*(170*w + 866)>, <4, 1/267*(2*w + 261)>, <4, 1/34*(15*w + 244)>, <8, 1/165*(17*w - 51)>, <4, 1/3859*(11*w + 3705)>, <8, 1/1513*(55*w - 165)>, <28, 1/267*(17*w + 216)>, <12, 1/289*(9*w + 244)>, <12, 1/307*(2*w + 14)>, <24, 1/3*(w + 5)>, <24, 1/131*(2*w - 4)>, <12, 1/170*(13*w + 222)>, <24, 1/274*(39*w - 156)>, <12, 1/30*(w + 38)>, <24, 1/150*(13*w + 228)>, <24, 1/1535*(39*w - 273)>, <24, 1/7437*(143*w + 3927)>, <24, 1/32*(w + 36)>, <60, 1/358*(15*w + 150)>, <24, 1/851*(18*w + 684)>, <64, 1/322*(19*w + 170)>, <84, 1/147*(8*w + 99)>, <24, 1/65*(8*w + 105)>, <84, 1/179*(8*w + 99)>, <24, 1/65*(8*w - 40)>, <36, 1/2*(w + 4)>, <24, 1/153*w>, <24, 1/20569*(171*w + 22135)>, <24, 1/19*(w + 12)>, <24, 1/55937*(1320*w + 21857)>, <24, 1/55937*(1320*w + 34080)>, <24, 1/7889*(51*w + 86)>, <36, 1/2*(w - 2)>, <16, 1/3580*(21*w + 3370)>, <32, 1/179*(10*w + 100)>, <16, 1/32041*(210*w + 33700)>, <12, 1/119*(3*w + 149)>, <12, 1/137*(3*w - 12)>, <24, 1/851*(17*w + 646)>, <24, 1/851*(17*w + 205)>, <12, 1/289*(9*w + 280)>, <12, 1/3*(w + 1)>, <24, 1/91*(4*w + 115)>, <24, 1/2881*(78*w + 1677)>, <24, 1/201*(10*w + 81)>, <24, 1/39*(10*w - 81)>, <24, 1/5*(w + 5)>, <24, 1/283*(5*w + 25)>, <24, 1/91*(4*w - 24)>, <24, 1/2881*(78*w + 1204)>, <72, 1/322*(11*w + 88)>, <24, 1/7*(3*w + 31)>, <24, 1/7*(3*w - 24)>, <24, 1/17353*(495*w + 12150)>, <12, 1/11*(w - 2)>, <12, 1/1441*(153*w + 306)>, <24, 1/17353*(495*w + 5203)>, <72, 1/267*(11*w + 33)>, <24, 1/40217*(936*w + 25376)>, <24, 1/161*(3*w + 137)>, <12, 1/37073*(819*w + 8057)>, <4, 1/2093*(57*w + 2549)>, <16, 1/283*(6*w + 313)>, <4, 1/107257*(1482*w + 77311)>, <8, 1/3059*(9*w - 72)>, <16, 1/7201*(39*w + 429)>, <8, 1/18*(19*w - 152)>, <24, 1/6*(w - 2)>, <24, 1/40217*(936*w + 14841)>, <12, 1/153*(11*w - 77)>, <24, 1/307*(9*w + 244)>, <24, 1/262*(9*w + 244)>, <28, 1/267*(17*w + 51)>, <24, 136/1677*w>, <36, 1/13*(w + 1)>, <12, 1/21091*(384*w + 3555)>, <12, w + 3>, <24, 13/272*w>, <24, 1/441*(34*w - 204)>, <24, 1/187*(9*w - 63)>, <24, 1/187*(9*w + 250)>, <24, 1/68*(3*w - 18)>, <24, 1/3013*(51*w + 2329)>, <24, 1/85*(2*w + 95)>, <48, 1/137*(3*w + 125)>, <24, 1/2740*(209*w - 836)>, <24, 1/10057*(170*w + 8075)>, <24, 1/126*(17*w - 102)>, <24, 1/2740*(209*w + 3576)>, <36, 1/358*(9*w + 268)>, <12, 1/259*(5*w + 180)>, <12, 1/2456*(195*w - 1365)>, <72, 1/307*(14*w + 209)>, <12, 1/54579*(425*w + 49929)>, <12, 1/1204*(75*w + 1204)>, <36, 1/86*w>, <24, 1/33731*(462*w + 26306)>, <12, 1/31862*(819*w + 17498)>, <12, 1/23*(2*w + 39)>, <24, 1/99*(14*w - 126)>, <48, 1/307*(12*w + 223)>, <24, 1/95*(6*w - 24)>, <48, 1/307*(12*w + 84)>, <24, 1/23449*(570*w + 12144)>, <4, 1/33*(8*w + 97)>, <4, 1/7*(w - 4)>, <1, 1/143641*(735*w + 93360)>, <1, 1/103846*(1575*w + 67950)>, <2, 1/5685*(154*w + 6644)>, <1, 1/143641*(1078*w + 6713)>, <1, 1/1918*(225*w + 5128)>, <1, 1/225*(22*w + 137)>, <1, 1/49*(15*w + 214)>, <4, 1/274*(7*w - 28)>, <12, 1/938*(11*w - 132)>, <12, 1/169*(7*w - 77)>, <12, 1/267*(14*w + 225)>, <24, 1/8777*(126*w + 2106)>, <24, 1/1842*(77*w + 2381)>, <24, 1/791*(18*w - 162)>, <24, 1/1842*(77*w - 539)>, <40, 1/307*(18*w + 181)>, <24, 1/40217*(630*w + 5945)>, <24, 1/356*(39*w + 473)>, <24, 1/231*(13*w - 78)>, <24, 1/10*(w + 3)>, <48, 1/144*(13*w - 78)>, <24, 1/921*(65*w + 1376)>, <48, 1/98*(w + 92)>, <24, 1/343*(39*w - 234)>, <48, 1/3*(w - 3)>, <24, 1/14803*(273*w + 10764)>, <12, 1/114009*(176*w + 111600)>, <12, 1/427*(16*w + 219)>, <12, 1/267*(2*w + 273)>, <12, 1/801*(289*w - 867)>, <48, 1/15481*(312*w + 10153)>, <24, 1/921*(65*w - 455)>, <24, 1/10*(w + 7)>, <24, 1/231*(13*w + 309)>, <24, 1/117*(4*w + 129)>, <24, 1/40217*(630*w + 34272)>, <40, 1/379*(18*w + 181)>, <36, 1/283*(16*w + 203)>, <24, 1/20139*(136*w + 963)>, <24, 1/427*(17*w + 206)>, <12, 1/15*(17*w - 206)>, <24, 1/20139*(136*w + 19176)>, <36, 1/16*(w + 11)>, <24, 1/46361*(1122*w + 21065)>, <24, 1/3043*(9*w + 3133)>, <12, 1/289*(10*w + 249)>, <12, 1/1017*(289*w + 2601)>, <12, 1/92886*(1445*w + 7920)>, <24, 1/204*(11*w - 44)>, <24, 1/539*(32*w + 731)>, <24, 1/1340*(13*w + 1184)>, <24, 1/201*(10*w + 120)>, <24, 1/16297*(352*w + 8041)>, <24, 1/45*(4*w - 32)>, <24, 1/44*(5*w - 30)>, <12, 1/18961*(273*w + 6559)>, <12, 1/402*(7*w + 318)>, <24, 1/274*(17*w + 206)>, <12, 1/120841*(2178*w + 97488)>, <24, 1/1288*(45*w - 360)>, <24, 1/44*(5*w + 74)>, <24, 1/2136*(91*w - 273)>, <24, 1/91*(16*w - 112)>, <24, 1/208*(9*w + 280)>, <16, 1/39*(19*w + 209)>, <24, 1/1449*(104*w + 2281)>, <24, 1/91*(16*w + 203)>, <24, 1/91*(8*w - 24)>, <24, 1/227*(7*w + 98)>, <12, 1/137*(128*w + 649)>, <12, 1/274*(3*w + 12)>, <24, 7/129*w>, <24, 1/152*(3*w + 149)>, <24, 1/8771*(72*w + 7880)>, <24, 1/777*(152*w + 625)>, <24, 1/27*(8*w - 72)>, <12, 1/195*(8*w + 267)>, <24, 1/13201*(252*w + 9288)>, <24, 1/216*(7*w + 258)>, <12, 1/5526*(55*w + 5911)>, <12, 1/5963*(35*w + 518)>, <24, 1/75*(7*w - 42)>, <24, 1/686*(25*w - 150)>, <24, 1/9*(w + 15)>, <12, 1/46*(w + 54)>, <24, 1/96*(5*w - 25)>, <12, 1/143*(14*w - 70)>, <24, 1/140*(13*w - 78)>, <24, 1/273*(10*w - 60)>, <24, 1/96*(5*w + 121)>, <12, 1/17947*(294*w + 5697)>, <12, 1/47793*(637*w + 11172)>, <24, 1/65*(6*w + 119)>, <24, 1/2034*(65*w + 2619)>, <24, 1/51923*(1008*w + 8435)>, <24, 1/301*(48*w + 301)>, <24, 1/47793*(1144*w + 27729)>, <24, 1/179*(5*w + 129)>, <24, 1/102*(w + 104)>, <24, 1/102*(w - 2)>, <12, 1/1921*(11*w - 99)>, <24, 1/179*(5*w + 50)>, <24, 1/176*(13*w - 52)>, <24, 48/301*w>, <24, 1/288*(7*w - 14)>, <12, 1/3*(w + 7)>, <12, 1/921*(128*w - 896)>, <24, 1/98161*(2244*w + 51972)>, <12, 1/289*(15*w + 214)>, <12, w + 5>, <24, 1/187*(12*w - 60)>, <12, 1/84118*(867*w + 82654)>, <12, 1/6*(w + 7)>, <52, 1/379*(17*w + 192)>, <12, 1/8771*(136*w + 7088)>, <12, 1/162*(11*w + 228)>, <12, 1/6064*(27*w - 297)>, <48, 1/379*(13*w + 143)>, <12, 1/258*(w + 258)>, <12, 1/33929*(384*w + 1161)>, <24, 1/2107*(40*w + 1720)>, <24, 1/2107*(40*w + 387)>, <24, 1/7697*(190*w + 4902)>, <24, 1/114*(5*w + 129)>, <12, 1/16297*(594*w + 13932)>, <12, 1/5*(w + 11)>, <28, 1/3283*(15*w + 3438)>, <24, 1/2047*(44*w + 1111)>, <24, 1/3151*(66*w + 1908)>, <24, 1/168*(11*w - 66)>, <24, 1/3151*(66*w + 1243)>, <12, 1/24523*(273*w + 20272)>, <36, 1/86*(w + 86)>, <12, 1/51*(16*w - 144)>, <8, 1/5*(6*w + 59)>, <12, w + 6>, <12, 1/289*(5*w + 25)>, <24, 1/262*(3*w + 268)>, <12, 1/38771*(1152*w + 8307)>, <24, 2/95*w>, <24, 95/516*w>, <4, 1/12691*(195*w + 10296)>, <4, 1/324*(13*w + 246)>, <4, 1/324*(5*w + 264)>, <16, 1/871*(15*w + 1051)>, <8, 1/882*(13*w - 78)>, <8, 1/13*(3*w - 18)>, <12, 1/15481*(270*w + 15876)>, <12, 1/3*(w + 9)>, <12, 1/65*(6*w - 48)>, <12, 1/1068*(65*w - 195)>, <8, 1/294*(w - 6)>, <8, 1/289*(5*w + 324)>, <4, 1/6443*(5*w - 55)>, <4, 1/116353*(306*w + 119430)>, <8, 1/1535*(289*w + 3558)>, <8, 1/307*(w + 7)>, <12, 1/9*(8*w + 105)>, <24, 1/5963*(120*w + 3920)>, <24, 1/5963*(120*w + 2043)>, <4, 1/234*(5*w + 254)>, <4, 1/58793*(2106*w + 44064)>, <4, 1/35483*(810*w + 41148)>, <8, 1/65*(9*w - 36)>, <4, 1/25*(9*w + 126)>, <4, 1/227*(9*w + 126)>, <8, 1/2466*(65*w - 260)>, <12, 1/565*(24*w + 781)>, <24, 1/5537*(48*w + 545)>, <24, 1/161*(48*w + 545)>, <8, 1/49427*(153*w + 1385)>, <4, 1/322*(w + 314)>, <4, 1/2*(w + 10)>, <4, 1/2898*(153*w + 1385)>, <4, 1/25921*(153*w + 27306)>, <8, 1/161*(153*w + 1385)>, <28, 1/3283*(15*w - 155)>, <4, 1/25*(2*w + 37)>, <12, 1/147*(w + 153)>, <12, 1/49*(54*w - 324)>, <-12, 1/4*(-w + 9)>, <-12, 1/95937*(-1292*w + 97869)>, <-12, 1/137*(-2*w - 8)>, <-12, 1/153*(-2*w + 8)>, <-12, 1/3059*(-8*w + 3123)>, <-12, 1/5537*(-95*w + 4245)>, <-12, 1/1048*(-147*w + 754)>, <-24, 1/179*(-4*w + 139)>, <-12, 1/1918*(-81*w - 324)>, <-12, 1/1432*(-99*w - 990)>, <-24, 1/49649*(-1365*w + 24780)>, <-12, 1/21*(-w + 11)>, <-12, 1/2653*(-32*w - 352)>, <-12, 1/10057*(-150*w + 2932)>, <-12, 1/4245*(-133*w + 4910)>, <-1, 1/67081*(-510*w + 1546)>, <-1, 1/15*(-w + 16)>, <-1, 1/34*(-15*w + 274)>, <-1, 1/518*(-225*w + 4628)>, <-1, 1/4403*(-30*w + 548)>, <-1, 1/225*(-17*w + 242)>, <-12, 1/153*(-13*w + 218)>, <-12, 1/169*(-17*w + 186)>, <-12, 1/259*(-10*w + 249)>, <-12, 1/8777*(-135*w + 4970)>, <-12, 1/201*(-5*w + 141)>, <-24, 1/90*(-17*w + 192)>, <-12, 1/196*(-57*w - 146)>, <-12, 1/179*(-2*w + 159)>, <-4, 1/259*(-13*w - 13)>, <-8, 1/90*(-13*w + 272)>, <-4, 1/64241*(-507*w + 48971)>, <-4, 1/3367*(-247*w + 5168)>, <-4, 1/73297*(-1482*w + 10806)>, <-16, 1/6*(-w + 1)>, <-12, 1/81*(-5*w + 121)>, <-12, 1/119*(-3*w + 125)>, <-12, 1/712*(-105*w + 397)>, <-24, 1/259*(-10*w + 269)>, <-12, 1/135682*(-3549*w + 110670)>, <-12, 1/6623*(-126*w + 2871)>, <-12, 1/6419*(-132*w + 4059)>, <-4, 1/1096*(-105*w + 1516)>, <-6, 1/548*(-75*w + 848)>, <-12, 1/154*(-15*w + 214)>, <-12, 1/105*(-13*w - 117)>, <-4, 1/23051*(-170*w + 866)>, <-4, 1/267*(-2*w + 261)>, <-4, 1/34*(-15*w + 244)>, <-4, 1/3859*(-11*w + 3705)>, <-12, 1/289*(-9*w + 244)>, <-12, 1/307*(-2*w + 14)>, <-12, 1/170*(-13*w + 222)>, <-12, 1/30*(-w + 38)>, <-12, 1/119*(-3*w + 149)>, <-12, 1/137*(-3*w - 12)>, <-12, 1/289*(-9*w + 280)>, <-12, 1/3*(-w + 1)>, <-12, 1/11*(-w - 2)>, <-12, 1/1441*(-153*w + 306)>, <-12, 1/37073*(-819*w + 8057)>, <-4, 1/2093*(-57*w + 2549)>, <-16, 1/283*(-6*w + 313)>, <-4, 1/107257*(-1482*w + 77311)>, <-12, 1/153*(-11*w - 77)>, <-12, 1/21091*(-384*w + 3555)>, <-12, -w + 3>, <-12, 1/259*(-5*w + 180)>, <-12, 1/2456*(-195*w - 1365)>, <-12, 1/54579*(-425*w + 49929)>, <-12, 1/1204*(-75*w + 1204)>, <-12, 1/31862*(-819*w + 17498)>, <-12, 1/23*(-2*w + 39)>, <-4, 1/33*(-8*w + 97)>, <-1, 1/143641*(-735*w + 93360)>, <-1, 1/103846*(-1575*w + 67950)>, <-2, 1/5685*(-154*w + 6644)>, <-1, 1/143641*(-1078*w + 6713)>, <-1, 1/1918*(-225*w + 5128)>, <-1, 1/225*(-22*w + 137)>, <-1, 1/49*(-15*w + 214)>, <-12, 1/938*(-11*w - 132)>, <-12, 1/169*(-7*w - 77)>, <-12, 1/267*(-14*w + 225)>, <-12, 1/114009*(-176*w + 111600)>, <-12, 1/427*(-16*w + 219)>, <-12, 1/267*(-2*w + 273)>, <-12, 1/801*(-289*w - 867)>, <-12, 1/15*(-17*w - 206)>, <-12, 1/289*(-10*w + 249)>, <-12, 1/1017*(-289*w + 2601)>, <-12, 1/92886*(-1445*w + 7920)>, <-12, 1/18961*(-273*w + 6559)>, <-12, 1/402*(-7*w + 318)>, <-12, 1/120841*(-2178*w + 97488)>, <-12, 1/137*(-128*w + 649)>, <-12, 1/274*(-3*w + 12)>, <-12, 1/195*(-8*w + 267)>, <-12, 1/5526*(-55*w + 5911)>, <-12, 1/5963*(-35*w + 518)>, <-12, 1/46*(-w + 54)>, <-12, 1/143*(-14*w - 70)>, <-12, 1/17947*(-294*w + 5697)>, <-12, 1/47793*(-637*w + 11172)>, <-12, 1/1921*(-11*w - 99)>, <-12, 1/3*(-w + 7)>, <-12, 1/921*(-128*w - 896)>, <-12, 1/289*(-15*w + 214)>, <-12, -w + 5>, <-12, 1/84118*(-867*w + 82654)>, <-12, 1/6*(-w + 7)>, <-12, 1/8771*(-136*w + 7088)>, <-12, 1/162*(-11*w + 228)>, <-12, 1/6064*(-27*w - 297)>, <-12, 1/258*(-w + 258)>, <-12, 1/33929*(-384*w + 1161)>, <-12, 1/16297*(-594*w + 13932)>, <-12, 1/5*(-w + 11)>, <-12, 1/24523*(-273*w + 20272)>, <-12, 1/51*(-16*w - 144)>, <-8, 1/5*(-6*w + 59)>, <-12, -w + 6>, <-12, 1/289*(-5*w + 25)>, <-12, 1/38771*(-1152*w + 8307)>, <-4, 1/12691*(-195*w + 10296)>, <-4, 1/324*(-13*w + 246)>, <-4, 1/324*(-5*w + 264)>, <-12, 1/15481*(-270*w + 15876)>, <-12, 1/3*(-w + 9)>, <-12, 1/65*(-6*w - 48)>, <-12, 1/1068*(-65*w - 195)>, <-4, 1/6443*(-5*w - 55)>, <-4, 1/116353*(-306*w + 119430)>, <-12, 1/9*(-8*w + 105)>, <-4, 1/234*(-5*w + 254)>, <-4, 1/58793*(-2106*w + 44064)>, <-4, 1/35483*(-810*w + 41148)>, <-4, 1/25*(-9*w + 126)>, <-4, 1/227*(-9*w + 126)>, <-12, 1/565*(-24*w + 781)>, <-4, 1/322*(-w + 314)>, <-4, 1/2*(-w + 10)>, <-4, 1/2898*(-153*w + 1385)>, <-4, 1/25921*(-153*w + 27306)>, <-4, 1/25*(-2*w + 37)>, <-12, 1/147*(-w + 153)>, <-12, 1/49*(-54*w - 324)> ]