/* Defining polynomial */ x^2 + 285 /* GCD of coefficients */ 2 /* 24 * |disc|^(3/2) /(8*pi^2)* zeta_F(2) */ 20012.9679863223095841127609768 /* Belt */ [ <24, 1/51*(4*w + 95)>, <168, 1/16*(w + 9)>, <168, 1/183*(8*w + 72)>, <24, 1/13585*(204*w + 4845)>, <24, 1/23881*(476*w + 16541)>, <24, 1/23881*(476*w + 7340)>, <24, 1/301*(6*w + 325)>, <12, 1/770*(289*w + 3660)>, <84, 1/385*(16*w + 160)>, <216, 1/14*(w + 7)>, <66, 1/18*(w + 10)>, <12, 1/111265*(2028*w + 44785)>, <24, 1/289*(10*w + 269)>, <120, 1/107*(4*w + 83)>, <72, 1/5*w>, <60, 1/95*w>, <108, 1/13*(w + 3)>, <84, 1/155*(6*w + 30)>, <12, 1/41209*(550*w + 45309)>, <40, 1/203*(11*w + 121)>, <24, 1/349*(6*w + 301)>, <24, 1/10*(w + 8)>, <12, 1/4719*(50*w + 4119)>, <60, 1/3*w>, <316, 1/31*(w + 26)>, <108, 1/294*(13*w + 39)>, <84, 1/12*(w + 5)>, <72, 1/57*w>, <60, 1/286*(7*w + 279)>, <48, 1/12383*(90*w + 13220)>, <120, 1/334*(13*w + 91)>, <60, 1/321*(7*w + 279)>, <48, 1/1430*(9*w + 1322)>, <120, 1/13*(w + 7)>, <24, 1/58667*(780*w + 42887)>, <36, 1/406*(13*w + 263)>, <24, 1/2443*(64*w + 2955)>, <24, 1/28365*(448*w + 20685)>, <52, 1/429*(17*w + 204)>, <16, 1/140*(17*w + 225)>, <144, 1/62*(3*w + 15)>, <12, 1/17*(3*w + 47)>, <416, 1/61*(3*w + 27)>, <84, 1/13*(w + 8)>, <152, 1/77*(4*w + 37)>, <12, 1/168*(11*w + 267)>, <48, 1/289*(11*w + 22)>, <84, 1/349*(13*w + 104)>, <8, 1/349*(3*w + 24)>, <4, 1/340*(3*w + 325)>, <28, 1/20*(w + 8)>, <4, 1/289*(7*w + 345)>, <8, 1/3*(w + 8)>, <24, 1/156*(w + 12)>, <60, 1/349*(14*w + 112)>, <48, 1/98*(5*w + 15)>, <24, 1/539*(4*w - 37)>, <60, 1/349*(14*w + 237)>, <48, 1/98*(5*w + 83)>, <180, 1/49*(w + 3)>, <52, 1/429*(17*w + 225)>, <12, 1/1178*(15*w + 323)>, <36, 1/12*(w + 12)>, <24, 1/2171*(77*w - 539)>, <28, 1/50267*(990*w + 23130)>, <88, 1/11*(w + 4)>, <24, 1/54095*(1001*w + 18865)>, <12, 1/14911*(228*w + 12331)>, <12, 1/310*(19*w + 215)>, <24, 1/242*(5*w + 137)>, <24, 1/107*(5*w + 137)>, <24, 1/66*(w + 21)>, <36, 1/35*(2*w + 15)>, <24, 1/455*(6*w - 45)>, <24, 1/66*(w + 45)>, <24, 1/143*(6*w + 137)>, <48, 1/285*(11*w + 285)>, <24, 1/124*(17*w + 209)>, <48, 1/11*(w + 11)>, <36, 1/180*(13*w - 65)>, <12, 1/216*(13*w + 255)>, <24, 1/289*(4*w + 8)>, <24, 1/203*(6*w + 137)>, <24, 1/124*(17*w - 85)>, <12, 1/139009*(4332*w + 112993)>, <12, 1/361*(6*w + 84)>, <12, 1/2890*(361*w + 2168)>, <12, 1/2717*(9*w + 2609)>, <60, 1/429*(19*w + 228)>, <24, 1/2288*(15*w + 2468)>, <48, 1/301*(16*w + 237)>, <12, 1/1819*(39*w + 2053)>, <96, 1/406*(17*w + 219)>, <12, 1/301*(6*w + 277)>, <12, 1/2*(w + 4)>, <12, 1/285*(2*w + 285)>, <64, 1/183*(10*w + 93)>, <36, 1/18*(w + 6)>, <36, 1/107*(6*w + 36)>, <64, 1/183*(10*w + 90)>, <24, 1/1336*(119*w - 833)>, <60, 1/155*(3*w + 15)>, <24, 1/119*(4*w - 28)>, <144, 1/334*(17*w + 215)>, <24, 1/64295*(816*w + 53975)>, <60, 1/143*(3*w + 3)>, <6, 1/324*(5*w + 309)>, <18, 1/349*(5*w + 40)>, <8, 1/1098*(7*w + 1161)>, <48, 1/22165*(204*w + 19465)>, <48, 1/1037*(12*w + 1145)>, <12, 1/429*(10*w + 309)>, <36, 1/14*(w + 12)>, <24, 1/49*(3*w + 58)>, <24, 1/5243*(51*w + 5151)>, <72, 1/7*w>, <16, 1/5929*(12*w - 111)>, <16, 1/3*(4*w - 37)>, <96, 1/16*(w + 8)>, <12, 1/4*(w + 4)>, <8, 1/34*(w + 19)>, <16, 1/301*(19*w + 76)>, <4, 1/646*(15*w + 285)>, <12, 1/301*(4*w + 16)>, <72, 7/285*w>, <24, 1/49*(3*w - 9)>, <24, 1/102*(w + 101)>, <12, 1/35738*(715*w + 13365)>, <24, 1/1309*(9*w + 1399)>, <24, 1/32*(17*w + 219)>, <88, 1/406*(19*w + 209)>, <36, 1/3857*(6*w + 3791)>, <88, 1/334*(11*w + 257)>, <36, 1/10819*(234*w + 6409)>, <24, 1/289*(19*w - 38)>, <48, 1/143*(3*w + 146)>, <48, 1/203*(3*w + 54)>, <84, 1/155*(8*w + 40)>, <132, 1/12*(w + 3)>, <24, 1/2755*(66*w + 1710)>, <24, 1/609*(11*w + 198)>, <48, 1/289*(11*w + 267)>, <24, 1/366*(7*w + 63)>, <132, 1/49*(2*w + 6)>, <24, 1/2755*(66*w + 1045)>, <48, 1/122*(3*w - 27)>, <48, 1/6*(w + 7)>, <24, 1/726*(19*w + 399)>, <84, 1/155*(8*w + 115)>, <24, 1/11*(w + 18)>, <6, 1/25*(18*w + 205)>, <24, 1/119*(w - 10)>, <24, 1/406*(15*w + 241)>, <12, 1/105049*(1452*w + 74436)>, <88, 1/19*(w + 11)>, <136, 1/17*(w + 9)>, <136, 1/366*(17*w + 153)>, <24, 1/51*(2*w + 57)>, <24, 1/2387*(39*w + 1776)>, <24, 1/8183*(170*w + 4488)>, <24, 1/203*(5*w - 55)>, <24, 1/286*(51*w + 337)>, <24, 1/8723*(180*w + 2108)>, <12, 1/1001*(150*w + 851)>, <36, 1/349*(7*w + 293)>, <24, 1/392*(45*w + 527)>, <40, 1/1037*(10*w + 1127)>, <24, 1/2989*(51*w + 337)>, <24, 1/10*(w - 11)>, <24, 1/1463*(34*w + 969)>, <24, 1/501*(13*w + 592)>, <24, 1/102*(5*w + 132)>, <24, 1/55*(17*w - 170)>, <36, 1/1159*(4*w + 1195)>, <156, 1/385*(19*w + 195)>, <48, 1/6527*(105*w + 4910)>, <120, 1/107*(3*w + 18)>, <108, 1/11*(w + 6)>, <156, 1/107*(5*w + 77)>, <48, 1/835*(21*w + 982)>, <24, 1/32*(5*w - 45)>, <120, 1/9*(w + 6)>, <108, 1/321*(11*w + 66)>, <156, 1/122*(5*w + 77)>, <72, 1/35*(w + 10)>, <12, 1/24*(w + 25)>, <24, 1/289*(12*w + 265)>, <12, 1/490*(11*w + 600)>, <36, 1/35*(2*w + 20)>, <24, 1/301*(3*w + 289)>, <12, 1/2145*(128*w + 2017)>, <60, 1/143*(5*w - 5)>, <48, 1/17*(w + 13)>, <12, 1/136654*(2805*w + 38445)>, <72, 1/8*(w + 5)>, <72, 1/155*(4*w + 20)>, <24, 1/3*(w + 2)>, <12, 1/52887*(1408*w + 34176)>, <96, 1/143*(5*w + 5)>, <12, 1/2*(w - 3)>, <12, 1/98*(51*w + 153)>, <4, 1/349*(3*w + 373)>, <4, 1/70847*(510*w + 63410)>, <8, 1/1220*(w - 9)>, <16, 1/4060*(17*w + 187)>, <8, 1/3*(10*w - 90)>, <36, 1/122*(w + 9)>, <36, 1/3*(w + 9)>, <24, 1/286*(3*w + 36)>, <72, 1/15*(w + 8)>, <120, 1/155*(7*w + 120)>, <24, 1/2989*(66*w + 1570)>, <12, 1/182*(3*w + 75)>, <12, 1/128590*(1083*w + 128155)>, <12, 1/361*(9*w + 90)>, <12, 1/2672*(361*w + 145)>, <120, 1/155*(7*w + 35)>, <24, 1/33*(2*w - 10)>, <24, 1/289*(6*w + 301)>, <12, 1/2*(w + 10)>, <12, 1/361*(12*w + 96)>, <72, 1/349*(15*w + 120)>, <24, 1/310*(7*w + 275)>, <24, 1/3*(w + 5)>, <12, 1/289*(4*w + 285)>, <24, 1/301*(3*w + 12)>, <12, w + 1>, <36, 1/289*(13*w + 263)>, <24, 1/406*(9*w + 99)>, <144, 1/385*(17*w + 215)>, <24, 1/385*(17*w - 170)>, <24, 1/195*(11*w + 261)>, <24, 1/1274*(15*w + 1025)>, <72, 1/35*(w + 25)>, <24, 1/1014*(17*w + 459)>, <24, 1/33*(5*w - 50)>, <24, 1/195*(11*w - 66)>, <12, 1/735*(34*w + 837)>, <12, 1/9951*(220*w + 4851)>, <24, 1/155*(8*w + 195)>, <24, 1/363*(8*w + 195)>, <108, 1/203*(9*w + 104)>, <108, 1/167*(9*w + 104)>, <24, 1/2107*(247*w + 3095)>, <12, 1/20*(w - 1)>, <48, 1/22*(w + 1)>, <48, 1/13*(w + 1)>, <12, 1/9*(w - 12)>, <24, 1/2107*(247*w - 988)>, <12, 1/321*(4*w + 297)>, <30, 1/8*(w + 6)>, <36, 1/429*(14*w + 168)>, <24, 1/12*(w - 9)>, <24, 1/21721*(187*w + 19312)>, <48, 1/1001*(10*w + 835)>, <24, 1/7007*(120*w + 1992)>, <48, 1/145*(2*w + 167)>, <24, 1/21721*(187*w + 2409)>, <12, 1/4008*(169*w + 5191)>, <6, 1/400*(9*w + 355)>, <6, 1/481*(9*w + 126)>, <88, 1/17*(w + 2)>, <8, 1/13*(w - 2)>, <8, 1/289*(13*w - 26)>, <24, 1/12*(w + 21)>, <12, 1/1204*(361*w - 240)>, <24, 1/385*(6*w + 325)>, <36, 1/301*(10*w + 40)>, <24, 1/7007*(120*w + 5015)>, <12, 1/454*(11*w + 311)>, <24, 1/15*(w + 13)>, <24, 1/17*(w - 2)>, <60, 1/334*(19*w + 133)>, <36, 1/286*(9*w + 295)>, <84, 1/61*(w + 9)>, <84, 1/6*(w + 9)>, <12, 1/221*(8*w - 64)>, <36, 1/349*(8*w + 64)>, <36, 1/385*(9*w + 295)>, <48, 1/289*(5*w + 279)>, <12, 1/324*(7*w + 21)>, <36, 1/8*(w + 8)>, <12, 1/6435*(49*w + 7023)>, <18, 1/289*(8*w + 305)>, <24, 1/2792*(51*w - 408)>, <24, 1/301*(17*w + 369)>, <36, 1/286*(5*w - 5)>, <24, 51/190*w>, <24, 1/3248*(27*w + 3545)>, <20, 1/6631*(45*w - 360)>, <4, 1/6631*(12*w + 7582)>, <4, 1/5235*(76*w + 6023)>, <4, 1/361*(4*w + 317)>, <4, 1/122206*(5415*w + 35205)>, <4, 1/285*(4*w - 32)>, <24, 1/8183*(102*w + 7803)>, <24, 1/301*(17*w - 68)>, <36, 1/321*(5*w + 30)>, <12, 1/334*(3*w + 313)>, <12, 1/4515*(289*w + 3359)>, <12, 1/301*(4*w - 16)>, <24, 1/51*(8*w - 64)>, <24, 1/136*(15*w + 241)>, <24, 1/2505*(68*w + 2981)>, <12, 1/372*(19*w + 467)>, <180, 1/14*(w + 11)>, <24, 1/105774*(1729*w + 74841)>, <120, 1/55*(3*w + 30)>, <24, 1/1677*(16*w + 237)>, <24, 1/304*(5*w + 299)>, <24, 1/310*(13*w + 375)>, <24, 1/224*(13*w - 39)>, <24, 1/203*(4*w + 72)>, <84, 1/349*(11*w + 88)>, <60, 1/10*(w + 3)>, <24, 1/147*(w + 144)>, <24, 1/147*(w + 3)>, <12, 1/127734*(1309*w + 111333)>, <12, 1/227*(8*w + 123)>, <12, 1/784*(33*w + 883)>, <24, 1/12*(w + 18)>, <180, 1/21*(w + 18)>, <24, 1/609*(13*w + 375)>, <24, 1/3*(w - 2)>, <12, 1/65603*(1408*w + 39808)>, <36, 1/155*(9*w + 45)>, <24, 1/715*(152*w + 563)>, <24, 1/8381*(208*w + 4173)>, <60, 1/147*(5*w + 15)>, <84, 1/294*(11*w + 33)>, <24, 1/6527*(80*w + 5295)>, <24, 1/62*(w - 5)>, <12, 1/72*(w + 5)>, <12, 1/1503*(104*w + 2231)>, <48, 1/289*(9*w + 271)>, <24, 1/77*(16*w + 237)>, <120, 1/21*(w + 10)>, <24, 1/247*(7*w + 303)>, <24, 1/910*(19*w + 475)>, <24, 1/58667*(1287*w + 32630)>, <24, 1/6527*(57*w + 6441)>, <24, 1/64695*(1768*w + 38760)>, <12, 1/228*(11*w + 261)>, <12, 1/70847*(608*w + 64543)>, <24, 1/244*(13*w - 117)>, <48, 1/86*(5*w + 106)>, <60, 1/143*(4*w + 4)>, <12, 1/135*(4*w - 4)>, <96, 1/143*(5*w + 138)>, <48, 1/427*(10*w + 212)>, <24, 1/1463*(26*w + 741)>, <24, 1/190*(11*w + 267)>, <6, 1/20*(w + 14)>, <6, 1/51467*(540*w + 5427)>, <156, 1/385*(19*w + 190)>, <24, 1/1837*(95*w + 2502)>, <144, 1/77*(3*w + 30)>, <24, 1/19*(w + 25)>, <24, 1/2015*(99*w + 2510)>, <24, 1/114*(w + 113)>, <24, 1/272*(13*w + 285)>, <24, 1/1837*(104*w - 728)>, <24, 1/749*(26*w - 156)>, <24, 1/77*(6*w - 60)>, <72, 1/14*(w + 4)>, <108, 1/301*(13*w + 52)>, <24, 1/208*(11*w - 77)>, <12, 1/154*(15*w + 304)>, <60, 1/77*(2*w + 20)>, <24, 1/78*(7*w - 42)>, <24, 1/30*(w - 10)>, <24, 1/11*(w + 12)>, <12, 1/507*(14*w + 378)>, <72, 1/43*(2*w + 8)>, <108, 1/13*(w + 4)>, <12, 1/496*(15*w + 571)>, <24, 1/2387*(48*w + 1635)>, <24, 1/15*(w - 3)>, <144, 1/7*(w + 3)>, <48, 1/301*(8*w + 32)>, <48, 1/609*(8*w + 465)>, <12, 1/7*(w - 11)>, <48, 1/609*(8*w + 144)>, <144, 1/7*(w + 4)>, <12, 1/37343*(714*w + 25256)>, <12, 1/434*(17*w + 519)>, <12, 1/2672*(55*w + 3057)>, <24, 1/3507*(80*w + 2112)>, <24, 1/3507*(80*w + 1395)>, <12, 1/25885*(153*w + 24480)>, <12, 1/2*(w - 5)>, <16, 1/17*(10*w + 110)>, <24, 1/306*(5*w - 45)>, <24, 1/305*(51*w - 459)>, <12, 1/15*(w + 27)>, <24, 1/3141*(32*w - 256)>, <24, 1/2989*(45*w + 2340)>, <12, 1/361*(9*w + 307)>, <12, 1/3248*(361*w + 3971)>, <12, 1/130326*(1805*w + 3615)>, <24, 1/3141*(32*w + 3397)>, <24, 1/45*(w + 52)>, <24, 1/8*(w - 1)>, <12, w + 2>, <12, 1/334*(5*w + 35)>, <24, 1/143*(4*w - 4)>, <96, 1/406*(17*w + 187)>, <24, 1/167*(9*w + 230)>, <24, 1/349*(17*w + 485)>, <24, 1/455*(9*w + 230)>, <24, 1/910*(17*w + 485)>, <24, 1/441*(40*w + 561)>, <36, 1/321*(10*w + 60)>, <12, 1/121*(20*w + 201)>, <12, 1/301*(18*w + 229)>, <48, 1/429*(16*w + 237)>, <36, 1/55*(w + 10)>, <48, 1/609*(4*w + 44)>, <48, 1/4843*(18*w + 208)>, <28, 1/1837*(90*w - 630)>, <48, 1/4843*(18*w + 4635)>, <12, 1/429*(7*w + 84)>, <12, 1/380*(7*w + 345)>, <60, 1/310*(9*w + 265)>, <28, 1/429*(20*w + 189)>, <12, 1/349*(13*w + 453)>, <72, 1/349*(9*w + 72)>, <60, 1/9*(w + 4)>, <24, 1/3451*(16*w + 3627)>, <36, 1/55*(w + 45)>, <24, 1/171*(13*w - 78)>, <84, 1/9*(w + 9)>, <24, 1/143*(3*w + 36)>, <24, 1/167*(7*w - 49)>, <24, 1/357*(8*w + 333)>, <72, 1/122*(7*w + 63)>, <24, 1/1708*(45*w - 405)>, <24, 1/11123*(200*w + 3075)>, <36, 1/321*(19*w + 114)>, <24, 1/4313*(20*w + 260)>, <24, 1/11123*(200*w + 8048)>, <24, 1/41327*(630*w + 11745)>, <24, 1/17629*(429*w + 10413)>, <24, 1/539*(39*w - 117)>, <12, 1/18361*(286*w + 5478)>, <4, 1/220*(9*w + 265)>, <4, 1/15351*(440*w + 13800)>, <4, 1/9331*(360*w + 10600)>, <4, 1/5117*(66*w + 3047)>, <8, 1/11*(2*w - 10)>, <4, 1/9*(2*w + 30)>, <4, 1/51*(2*w + 30)>, <8, 1/620*(11*w - 55)>, <8, 1/41209*(429*w - 3198)>, <8, 1/39*(11*w - 82)>, <24, 1/167*(7*w + 216)>, <72, 1/122*(7*w + 59)>, <24, 1/112*(17*w + 61)>, <84, 1/95*(3*w + 95)>, <24, 1/36722*(741*w + 22529)>, <24, 1/98*(3*w - 9)>, <12, 1/131206*(2535*w + 87435)>, <36, 1/19*(w + 6)>, <24, 1/23881*(95*w + 1005)>, <12, 1/152*(13*w - 91)>, <24, 1/17446*(175*w - 1475)>, <24, 1/23881*(95*w + 22876)>, <72, 1/349*(9*w + 277)>, <24, 1/549*(40*w + 909)>, <24, 1/80*(3*w + 107)>, <24, 1/17446*(175*w + 18921)>, <12, 1/68*(3*w - 27)>, <12, 1/324*(5*w + 299)>, <12, 1/1169*(162*w + 1134)>, <12, 1/25885*(162*w - 35)>, <12, 1/35*(6*w - 36)>, <12, 1/8183*(120*w + 5015)>, <24, 1/136*(7*w + 150)>, <12, 1/289*(12*w + 313)>, <18, 1/481*(16*w + 224)>, <24, 1/136*(7*w - 14)>, <36, 1/286*(5*w + 281)>, <36, 1/143*(2*w + 2)>, <36, 1/143*(2*w + 141)>, <36, 1/5*(w + 4)>, <12, 1/7037*(117*w + 5607)>, <36, 1/155*(9*w + 110)>, <24, 1/589*(9*w + 513)>, <48, 1/117*(w + 12)>, <48, 1/117*(w + 105)>, <24, 1/203*(8*w + 291)>, <24, 1/209*(10*w + 269)>, <24, 1/10*(w - 8)>, <24, 1/2*(w + 1)>, <24, 1/49907*(952*w + 10059)>, <24, 1/272*(7*w - 21)>, <48, 1/289*(5*w + 10)>, <24, 1/10*(w + 18)>, <24, 1/209*(10*w - 60)>, <6, 1/225*(8*w + 273)>, <24, 1/54*(w + 57)>, <24, 1/507*(8*w + 291)>, <12, 1/58667*(936*w + 26739)>, <24, 1/406*(9*w + 307)>, <12, 1/240*(7*w - 63)>, <84, 1/16*(w + 10)>, <24, 1/155*(48*w - 240)>, <48, 1/14*(w + 13)>, <12, 1/9947*(228*w + 884)>, <12, 1/147*(4*w + 159)>, <24, 1/196*(57*w + 171)>, <60, 1/10*(w - 1)>, <12, 1/1430*(153*w + 153)>, <24, 1/171*(2*w + 6)>, <24, 1/455*(8*w + 200)>, <24, 1/3248*(27*w - 297)>, <24, 1/16*(w + 25)>, <24, 1/96*(w - 5)>, <48, 1/227*(7*w + 91)>, <48, 1/454*(17*w + 221)>, <24, 1/1159*(24*w + 399)>, <24, 1/17*(2*w + 35)>, <24, 1/93*(8*w + 133)>, <24, 1/2365*(34*w + 595)>, <12, 1/43*(2*w + 51)>, <24, 1/91*(15*w + 241)>, <48, 1/8*(3*w + 33)>, <24, 1/17458*(195*w + 3133)>, <24, 1/551*(w + 540)>, <12, 1/49*(8*w + 24)>, <12, 1/1745*(98*w + 2529)>, <24, 1/10065*(19*w + 10260)>, <24, 1/33901*(45*w + 33381)>, <12, 1/833*(32*w + 929)>, <12, 1/481*(17*w + 243)>, <24, 1/4*(w - 3)>, <24, 1/35185*(504*w + 6160)>, <12, 1/124*(27*w - 135)>, <36, 1/4*(w + 5)>, <24, 1/35185*(504*w + 29025)>, <24, 1/167*(2*w + 153)>, <24, 1/252*(17*w - 51)>, <12, 1/294*(w + 3)>, <24, 1/119*(6*w - 18)>, <12, 1/732*(25*w - 225)>, <60, 1/143*(4*w + 139)>, <24, 1/698*(27*w + 914)>, <66, 1/349*(18*w + 205)>, <24, 1/2989*(54*w + 1828)>, <12, 1/360*(11*w + 327)>, <12, 1/481*(11*w + 154)>, <24, 1/306*(5*w - 15)>, <24, 1/306*(5*w + 321)>, <12, 1/96621*(2210*w + 38940)>, <24, 1/119*(4*w - 40)>, <24, 1/7*(w + 11)>, <12, 1/203*(18*w - 198)>, <12, 1/51*(w + 4)>, <24, 1/4263*(68*w + 1560)>, <24, 1/91*(4*w - 4)>, <48, 1/334*(9*w + 271)>, <12, 1/3405*(32*w + 3821)>, <24, 1/15*(w + 2)>, <4, 1/454*(9*w + 337)>, <4, 1/220*(9*w + 337)>, <8, 1/27*(10*w - 70)>, <16, 1/33*(10*w + 130)>, <8, 1/3340*(27*w - 189)>, <16, 1/227*(10*w + 130)>, <24, 1/91*(4*w + 95)>, <24, 1/454*(13*w + 169)>, <12, 1/143*(2*w + 24)>, <12, 1/95*(2*w - 24)>, <24, 1/5243*(120*w + 1683)>, <12, 1/22165*(378*w + 18630)>, <12, 1/162*(w + 12)>, <12, 1/775*(54*w + 505)>, <36, 1/155*(2*w + 10)>, <24, 1/9947*(180*w + 2792)>, <24, 1/428*(45*w + 698)>, <12, 1/324*(13*w + 285)>, <12, 1/227*(5*w + 65)>, <24, 1/55*(4*w + 95)>, <24, 1/51303*(760*w + 46968)>, <12, 1/45903*(952*w + 7959)>, <24, 1/51303*(760*w + 4335)>, <6, 1/22253*(360*w + 13725)>, <24, 1/28*(w + 38)>, <12, 1/240*(7*w + 275)>, <24, 1/4767*(104*w + 1599)>, <24, 1/11319*(247*w + 6474)>, <12, 1/33901*(450*w + 28701)>, <24, 1/403*(19*w + 498)>, <12, 1/22165*(384*w + 4245)>, <24, 1/91*(8*w + 123)>, <12, 1/15*(2*w + 35)>, <12, 1/18618*(119*w + 1533)>, <12, 1/196*(9*w + 295)>, <12, 1/196*(45*w + 331)>, <24, 1/3178*(45*w - 585)>, <24, 1/108*(5*w - 30)>, <24, 1/119*(6*w - 30)>, <12, 1/349*(289*w + 2661)>, <24, 1/349*(12*w + 96)>, <24, 1/1860*(119*w - 595)>, <36, 1/349*(7*w + 56)>, <24, 1/535*(36*w - 216)>, <24, 1/2989*(48*w + 2496)>, <24, 1/301*(48*w - 192)>, <12, 1/976*(13*w - 117)>, <24, 1/172*(17*w - 68)>, <12, 1/49*(6*w + 67)>, <12, 1/602*(27*w - 108)>, <24, 1/172*(17*w + 240)>, <24, 1/8723*(196*w + 7203)>, <24, 1/2505*(77*w - 539)>, <6, 1/225*(16*w + 257)>, <24, 1/2505*(77*w + 3044)>, <16, 1/167*(10*w + 70)>, <16, 1/4540*(33*w + 429)>, <24, 1/8723*(196*w + 1520)>, <24, 1/107*(2*w + 12)>, <12, 1/2033*(27*w + 2195)>, <12, 1/306*(w + 291)>, <12, 1/85*(3*w + 45)>, <24, 1/16*(w - 3)>, <24, 1/286*(15*w + 271)>, <6, 1/481*(128*w + 2273)>, <24, 1/323*(8*w + 171)>, <24, 1/214*(51*w + 520)>, <24, 1/153*(2*w + 165)>, <12, 1/162*(5*w + 132)>, <12, 1/334*(w + 7)>, <12, 1/3*(w + 6)>, <60, 1/10*(w + 10)>, <48, 1/35*(8*w + 115)>, <12, 1/35185*(63*w + 35955)>, <24, 1/133*(5*w - 15)>, <12, 1/304*(9*w + 295)>, <24, 1/4147*(95*w + 1335)>, <48, 1/88*(w + 98)>, <12, 1/8183*(195*w + 3035)>, <12, 1/963*(128*w + 1731)>, <24, 1/595*(12*w + 160)>, <40, 1/21289*(170*w + 19159)>, <12, 1/14*(w - 1)>, <12, 1/2431*(21*w + 450)>, <24, 1/28*(3*w + 40)>, <24, 1/29029*(540*w + 13045)>, <12, 1/3859*(6*w + 3937)>, <24, 1/29029*(540*w + 15984)>, <24, 1/385*(6*w + 115)>, <24, 1/61*(6*w + 115)>, <12, 1/272*(w + 287)>, <12, 1/143*(8*w + 135)>, <12, 1/310*(w + 315)>, <12, 1/162*(7*w + 42)>, <12, 1/1430*(133*w - 133)>, <12, 1/1232*(13*w - 130)>, <24, 1/232*(w + 221)>, <24, 1/847*(4*w + 884)>, <24, 1/2365*(38*w + 1700)>, <24, 1/698*(19*w + 850)>, <16, 1/19*(w + 4)>, <12, 1/60*(19*w + 285)>, <36, 1/3857*(6*w + 66)>, <24, 1/481*(15*w + 271)>, <12, 1/2717*(98*w + 2815)>, <24, 1/14*(w + 14)>, <12, 1/5673*(70*w + 4473)>, <12, 1/366*(5*w + 45)>, <12, 1/301*(361*w + 1444)>, <12, 1/9455*(133*w + 2280)>, <4, 1/961*(21*w + 546)>, <12, 1/5*(19*w + 195)>, <12, 1/57*(w + 67)>, <-12, 1/770*(-289*w + 3660)>, <-12, 1/111265*(-2028*w + 44785)>, <-24, 1/58667*(-780*w + 42887)>, <-16, 1/140*(-17*w + 225)>, <-12, 1/17*(-3*w + 47)>, <-12, 1/168*(-11*w + 267)>, <-4, 1/340*(-3*w + 325)>, <-4, 1/289*(-7*w + 345)>, <-12, 1/1178*(-15*w + 323)>, <-36, 1/12*(-w + 12)>, <-12, 1/14911*(-228*w + 12331)>, <-12, 1/310*(-19*w + 215)>, <-12, 1/216*(-13*w + 255)>, <-12, 1/139009*(-4332*w + 112993)>, <-12, 1/361*(-6*w + 84)>, <-12, 1/2890*(-361*w + 2168)>, <-12, 1/2717*(-9*w + 2609)>, <-24, 1/2288*(-15*w + 2468)>, <-12, 1/1819*(-39*w + 2053)>, <-12, 1/301*(-6*w + 277)>, <-12, 1/2*(-w + 4)>, <-12, 1/285*(-2*w + 285)>, <-24, 1/64295*(-816*w + 53975)>, <-6, 1/324*(-5*w + 309)>, <-18, 1/349*(-5*w + 40)>, <-8, 1/1098*(-7*w + 1161)>, <-12, 1/429*(-10*w + 309)>, <-8, 1/34*(-w + 19)>, <-4, 1/646*(-15*w + 285)>, <-12, 1/35738*(-715*w + 13365)>, <-24, 1/1309*(-9*w + 1399)>, <-24, 1/366*(-7*w + 63)>, <-6, 1/25*(-18*w + 205)>, <-24, 1/406*(-15*w + 241)>, <-12, 1/105049*(-1452*w + 74436)>, <-12, 1/1001*(-150*w + 851)>, <-36, 1/1159*(-4*w + 1195)>, <-12, 1/24*(-w + 25)>, <-24, 1/289*(-12*w + 265)>, <-12, 1/490*(-11*w + 600)>, <-12, 1/2145*(-128*w + 2017)>, <-12, 1/136654*(-2805*w + 38445)>, <-24, 1/3*(-w + 2)>, <-12, 1/52887*(-1408*w + 34176)>, <-12, 1/2*(-w - 3)>, <-12, 1/98*(-51*w + 153)>, <-4, 1/349*(-3*w + 373)>, <-4, 1/70847*(-510*w + 63410)>, <-12, 1/182*(-3*w + 75)>, <-12, 1/128590*(-1083*w + 128155)>, <-12, 1/361*(-9*w + 90)>, <-12, 1/2672*(-361*w + 145)>, <-12, 1/2*(-w + 10)>, <-12, 1/361*(-12*w + 96)>, <-24, 1/310*(-7*w + 275)>, <-12, 1/289*(-4*w + 285)>, <-12, -w + 1>, <-12, 1/735*(-34*w + 837)>, <-12, 1/9951*(-220*w + 4851)>, <-12, 1/20*(-w - 1)>, <-12, 1/9*(-w - 12)>, <-12, 1/321*(-4*w + 297)>, <-30, 1/8*(-w + 6)>, <-12, 1/4008*(-169*w + 5191)>, <-6, 1/400*(-9*w + 355)>, <-6, 1/481*(-9*w + 126)>, <-12, 1/1204*(-361*w - 240)>, <-12, 1/454*(-11*w + 311)>, <-12, 1/221*(-8*w - 64)>, <-12, 1/324*(-7*w + 21)>, <-12, 1/6435*(-49*w + 7023)>, <-18, 1/289*(-8*w + 305)>, <-20, 1/6631*(-45*w - 360)>, <-4, 1/6631*(-12*w + 7582)>, <-4, 1/5235*(-76*w + 6023)>, <-4, 1/361*(-4*w + 317)>, <-4, 1/122206*(-5415*w + 35205)>, <-4, 1/285*(-4*w - 32)>, <-12, 1/334*(-3*w + 313)>, <-12, 1/4515*(-289*w + 3359)>, <-12, 1/301*(-4*w - 16)>, <-12, 1/372*(-19*w + 467)>, <-12, 1/127734*(-1309*w + 111333)>, <-12, 1/227*(-8*w + 123)>, <-12, 1/784*(-33*w + 883)>, <-12, 1/65603*(-1408*w + 39808)>, <-24, 1/62*(-w - 5)>, <-12, 1/72*(-w + 5)>, <-12, 1/1503*(-104*w + 2231)>, <-12, 1/228*(-11*w + 261)>, <-12, 1/70847*(-608*w + 64543)>, <-12, 1/135*(-4*w - 4)>, <-6, 1/20*(-w + 14)>, <-6, 1/51467*(-540*w + 5427)>, <-12, 1/154*(-15*w + 304)>, <-24, 1/11*(-w + 12)>, <-12, 1/507*(-14*w + 378)>, <-12, 1/496*(-15*w + 571)>, <-24, 1/2387*(-48*w + 1635)>, <-24, 1/15*(-w - 3)>, <-12, 1/7*(-w - 11)>, <-12, 1/37343*(-714*w + 25256)>, <-12, 1/434*(-17*w + 519)>, <-12, 1/2672*(-55*w + 3057)>, <-12, 1/25885*(-153*w + 24480)>, <-12, 1/2*(-w - 5)>, <-12, 1/15*(-w + 27)>, <-12, 1/361*(-9*w + 307)>, <-12, 1/3248*(-361*w + 3971)>, <-12, 1/130326*(-1805*w + 3615)>, <-12, -w + 2>, <-12, 1/334*(-5*w + 35)>, <-12, 1/121*(-20*w + 201)>, <-12, 1/301*(-18*w + 229)>, <-12, 1/429*(-7*w + 84)>, <-12, 1/380*(-7*w + 345)>, <-12, 1/349*(-13*w + 453)>, <-24, 1/4313*(-20*w + 260)>, <-12, 1/18361*(-286*w + 5478)>, <-4, 1/220*(-9*w + 265)>, <-4, 1/15351*(-440*w + 13800)>, <-4, 1/9331*(-360*w + 10600)>, <-4, 1/5117*(-66*w + 3047)>, <-4, 1/9*(-2*w + 30)>, <-4, 1/51*(-2*w + 30)>, <-12, 1/131206*(-2535*w + 87435)>, <-12, 1/152*(-13*w - 91)>, <-12, 1/68*(-3*w - 27)>, <-12, 1/324*(-5*w + 299)>, <-12, 1/1169*(-162*w + 1134)>, <-12, 1/25885*(-162*w - 35)>, <-12, 1/35*(-6*w - 36)>, <-12, 1/8183*(-120*w + 5015)>, <-12, 1/289*(-12*w + 313)>, <-18, 1/481*(-16*w + 224)>, <-12, 1/7037*(-117*w + 5607)>, <-6, 1/225*(-8*w + 273)>, <-12, 1/58667*(-936*w + 26739)>, <-12, 1/240*(-7*w - 63)>, <-12, 1/9947*(-228*w + 884)>, <-12, 1/147*(-4*w + 159)>, <-12, 1/1430*(-153*w + 153)>, <-12, 1/43*(-2*w + 51)>, <-12, 1/49*(-8*w + 24)>, <-12, 1/1745*(-98*w + 2529)>, <-24, 1/33901*(-45*w + 33381)>, <-12, 1/833*(-32*w + 929)>, <-12, 1/481*(-17*w + 243)>, <-12, 1/124*(-27*w - 135)>, <-12, 1/294*(-w + 3)>, <-12, 1/732*(-25*w - 225)>, <-12, 1/360*(-11*w + 327)>, <-12, 1/481*(-11*w + 154)>, <-12, 1/96621*(-2210*w + 38940)>, <-24, 1/7*(-w + 11)>, <-12, 1/203*(-18*w - 198)>, <-12, 1/51*(-w + 4)>, <-12, 1/3405*(-32*w + 3821)>, <-4, 1/454*(-9*w + 337)>, <-4, 1/220*(-9*w + 337)>, <-24, 1/454*(-13*w + 169)>, <-12, 1/143*(-2*w + 24)>, <-12, 1/95*(-2*w - 24)>, <-12, 1/22165*(-378*w + 18630)>, <-12, 1/162*(-w + 12)>, <-12, 1/775*(-54*w + 505)>, <-12, 1/324*(-13*w + 285)>, <-12, 1/227*(-5*w + 65)>, <-12, 1/45903*(-952*w + 7959)>, <-6, 1/22253*(-360*w + 13725)>, <-12, 1/240*(-7*w + 275)>, <-12, 1/33901*(-450*w + 28701)>, <-12, 1/22165*(-384*w + 4245)>, <-12, 1/15*(-2*w + 35)>, <-12, 1/18618*(-119*w + 1533)>, <-12, 1/196*(-9*w + 295)>, <-12, 1/196*(-45*w + 331)>, <-24, 1/3178*(-45*w - 585)>, <-12, 1/349*(-289*w + 2661)>, <-24, 1/349*(-12*w + 96)>, <-12, 1/976*(-13*w - 117)>, <-12, 1/49*(-6*w + 67)>, <-12, 1/602*(-27*w - 108)>, <-6, 1/225*(-16*w + 257)>, <-24, 1/107*(-2*w + 12)>, <-12, 1/2033*(-27*w + 2195)>, <-12, 1/306*(-w + 291)>, <-12, 1/85*(-3*w + 45)>, <-6, 1/481*(-128*w + 2273)>, <-12, 1/162*(-5*w + 132)>, <-12, 1/334*(-w + 7)>, <-12, 1/3*(-w + 6)>, <-12, 1/35185*(-63*w + 35955)>, <-12, 1/304*(-9*w + 295)>, <-12, 1/8183*(-195*w + 3035)>, <-12, 1/963*(-128*w + 1731)>, <-12, 1/14*(-w - 1)>, <-12, 1/2431*(-21*w + 450)>, <-12, 1/3859*(-6*w + 3937)>, <-12, 1/272*(-w + 287)>, <-12, 1/143*(-8*w + 135)>, <-12, 1/310*(-w + 315)>, <-12, 1/162*(-7*w + 42)>, <-12, 1/1430*(-133*w - 133)>, <-12, 1/1232*(-13*w - 130)>, <-12, 1/60*(-19*w + 285)>, <-12, 1/2717*(-98*w + 2815)>, <-24, 1/14*(-w + 14)>, <-12, 1/5673*(-70*w + 4473)>, <-12, 1/366*(-5*w + 45)>, <-12, 1/301*(-361*w + 1444)>, <-12, 1/9455*(-133*w + 2280)>, <-4, 1/961*(-21*w + 546)>, <-12, 1/5*(-19*w + 195)>, <-12, 1/57*(-w + 67)> ]