/* Defining polynomial */ x^2 - x + 446 /* GCD of coefficients */ 2 /* 24 * |disc|^(3/2) /(8*pi^2)* zeta_F(2) */ 43662.4097221203172920390295686 /* Belt */ [ <258, 1/17*(w + 5)>, <6, 1/28*(w - 6)>, <120, 1/476*(11*w + 410)>, <12, 1/11*(w - 12)>, <168, 1/17*(w + 4)>, <168, 1/602*(17*w + 381)>, <144, 1/578*(25*w + 278)>, <24, 1/135*(7*w - 77)>, <168, 1/24*(w + 11)>, <168, 1/289*(12*w + 132)>, <258, 1/28*(w + 5)>, <24, 1/528*(5*w + 518)>, <24, 1/17629*(165*w + 17094)>, <24, 1/3892*(135*w - 1485)>, <144, 1/628*(25*w + 278)>, <24, 1/10*(w + 11)>, <24, 1/289*(5*w + 55)>, <24, 1/6358*(39*w - 468)>, <24, 1/39*(11*w - 132)>, <24, 1/2780*(39*w + 3170)>, <72, 1/251*(4*w + 28)>, <72, 1/8*(w + 7)>, <24, 1/19516*(195*w + 15850)>, <168, 1/259*(10*w + 80)>, <48, 1/28208*(297*w + 30969)>, <48, 1/28208*(297*w - 3058)>, <24, 1/19*(w - 15)>, <144, 1/289*(9*w + 99)>, <24, 1/19*(w + 33)>, <168, 1/289*(10*w + 110)>, <396, 1/34*(w + 5)>, <396, 1/34*(w + 28)>, <24, 1/14*(w - 9)>, <24, 1/14*(w + 22)>, <144, 1/18*(w + 11)>, <24, 1/446*(11*w + 435)>, <24, 1/11*(w + 10)>, <204, 1/602*(23*w + 276)>, <204, 1/23*(w + 12)>, <24, 1/31831*(532*w + 15276)>, <24, 1/817*(11*w + 949)>, <24, 1/1757*(76*w - 608)>, <24, 1/22442*(209*w + 18031)>, <168, 1/314*(13*w + 169)>, <24, 1/119*(2*w + 129)>, <60, 1/10*(w + 1)>, <72, 1/448*(13*w + 461)>, <24, 1/100*(3*w - 9)>, <24, 1/1757*(78*w + 2303)>, <168, 1/314*(13*w + 132)>, <24, 1/119*(2*w - 12)>, <60, 1/301*(5*w + 236)>, <60, 1/226*(5*w + 236)>, <72, 1/13*(w + 14)>, <24, 1/3892*(75*w + 1167)>, <60, 1/259*(5*w + 214)>, <24, 1/156*(7*w + 205)>, <24, 1/75112*(765*w + 16405)>, <72, 1/47257*(325*w - 3625)>, <24, 1/69*(w + 73)>, <312, 1/22*(w + 10)>, <24, 1/82*(w + 26)>, <72, 1/4264*(25*w + 350)>, <24, 1/85*(9*w + 193)>, <24, 1/176*(17*w + 414)>, <24, 1/69*(w - 5)>, <24, 1/697*(11*w + 851)>, <312, 1/289*(11*w + 157)>, <24, 1/14*(w + 26)>, <24, 1/167356*(575*w + 7575)>, <24, 1/167356*(575*w + 159206)>, <24, 1/18532*(375*w + 3282)>, <48, 1/5809*(22*w + 320)>, <48, 1/5809*(22*w + 5467)>, <24, 1/488*(27*w + 650)>, <24, 1/1344*(125*w + 1094)>, <24, 1/27*(w + 33)>, <120, 1/45373*(225*w + 47875)>, <120, 1/45373*(225*w - 2727)>, <48, 1/24*(w + 30)>, <24, 1/1376*(19*w + 787)>, <24, 1/132*(7*w + 223)>, <24, 1/209*(3*w + 227)>, <96, 1/13*(w + 1)>, <96, 1/229*(8*w + 24)>, <24, 1/18286*(231*w + 7359)>, <96, 1/13*(w + 11)>, <24, 1/1464*(209*w + 2718)>, <96, 1/229*(8*w + 197)>, <24, 1/19*(w - 12)>, <48, 1/24*(w - 7)>, <48, 1/656*(27*w + 378)>, <48, 1/27*(w + 14)>, <24, 1/3791*(66*w + 2387)>, <24, 1/187*(6*w + 217)>, <24, 1/3263*(161*w + 4390)>, <192, 1/278*(9*w + 179)>, <24, 1/125656*(2093*w + 57070)>, <192, 1/251*(9*w + 179)>, <72, 1/74128*(765*w + 55318)>, <72, 1/26*(w + 14)>, <48, 1/35953*(612*w + 21301)>, <96, 1/244*(5*w + 209)>, <192, 1/122*(3*w + 18)>, <192, 1/16*(w + 5)>, <340, 1/20*(w + 10)>, <24, 1/110*(21*w - 252)>, <24, 1/110*(21*w + 341)>, <36, 1/21*(w + 16)>, <36, 1/466*(21*w + 361)>, <340, 1/134*(5*w + 84)>, <12, 1/23*(w - 6)>, <24, 1/420*(19*w - 114)>, <24, 1/15572*(285*w + 7562)>, <72, 1/9*(w + 3)>, <72, 1/476*(9*w + 422)>, <48, 1/488*(5*w + 30)>, <48, 1/488*(5*w + 453)>, <24, 1/1668*(17*w - 187)>, <72, 1/180*(17*w - 238)>, <260, 1/578*(23*w + 302)>, <96, 1/244*(5*w + 30)>, <48, 1/288*(17*w - 119)>, <192, 1/119*(3*w + 15)>, <192, 1/139*(4*w + 95)>, <24, 1/17*(3*w - 33)>, <72, 1/328*(13*w + 182)>, <102, 1/289*(7*w + 77)>, <96, 1/229*(4*w + 213)>, <102, 1/226*(7*w + 14)>, <96, 1/233*(4*w + 213)>, <48, 1/33*(2*w - 16)>, <48, 1/1004*(33*w - 264)>, <66, 1/628*(17*w + 221)>, <72, 1/18*(w + 4)>, <196, 1/67*(3*w + 27)>, <66, 1/458*(17*w + 51)>, <72, 1/233*(9*w + 36)>, <196, 1/24*(w + 9)>, <24, 1/98*(15*w + 68)>, <24, 1/7571*(105*w + 476)>, <24, 1/645*(17*w - 221)>, <24, 1/20096*(255*w + 7106)>, <72, 1/112*(3*w + 3)>, <216, 1/259*(9*w + 178)>, <48, 1/1148*(15*w + 743)>, <186, 1/259*(11*w + 88)>, <192, 1/251*(8*w + 187)>, <120, 1/502*(11*w + 77)>, <156, 1/536*(17*w + 153)>, <84, 1/556*(13*w + 130)>, <48, 1/602*(15*w + 180)>, <84, 1/13*(w + 10)>, <48, 1/15*(w + 12)>, <108, 1/119*(2*w + 107)>, <12, 1/17741*(324*w + 9236)>, <132, 1/19*(w + 5)>, <108, 1/289*(8*w + 88)>, <186, 1/314*(11*w + 143)>, <24, 1/1413*(19*w + 1660)>, <24, 1/306*(19*w - 95)>, <24, 1/17584*(171*w + 14155)>, <24, 1/2924*(39*w + 38)>, <24, 1/233*(39*w + 38)>, <24, 1/18778*(171*w + 14940)>, <24, 1/306*(19*w + 382)>, <24, 1/646*(9*w + 745)>, <120, 1/502*(11*w + 414)>, <156, 1/536*(17*w + 366)>, <172, 1/28*(w + 1)>, <24, 1/112*(11*w + 178)>, <24, 1/1255*(27*w + 1444)>, <72, 1/518*(13*w + 104)>, <72, 1/518*(13*w + 401)>, <24, 1/699*(110*w + 1139)>, <24, 1/699*(110*w - 550)>, <72, 1/7*(w + 4)>, <72, 1/466*(7*w + 28)>, <172, 1/41*(w + 14)>, <24, 1/112*(11*w - 77)>, <24, 1/66*(w + 67)>, <72, 1/12*(w + 1)>, <24, 1/1255*(27*w - 216)>, <48, 1/578*(15*w + 743)>, <216, 1/268*(9*w + 178)>, <108, 1/289*(8*w + 193)>, <24, 1/737*(8*w + 809)>, <24, 1/2501*(33*w + 2211)>, <192, 1/259*(8*w + 187)>, <24, 1/737*(8*w - 80)>, <24, 1/119*(15*w + 194)>, <24, 1/578*(11*w + 121)>, <48, 1/73162*(1287*w + 44991)>, <24, 1/13447*(198*w + 2656)>, <48, 1/35819*(585*w + 23274)>, <24, 1/1184*(15*w + 194)>, <24, 1/446*(11*w - 11)>, <24, 1/189*(5*w - 25)>, <24, 1/2330*(189*w - 945)>, <48, 1/4284*(143*w + 4999)>, <24, 1/932*(99*w + 1328)>, <48, 1/2196*(65*w + 2586)>, <24, 1/502*(15*w - 120)>, <24, 1/15*(w - 8)>, <24, 1/432*(7*w - 21)>, <144, 1/518*(19*w + 347)>, <144, 1/556*(19*w + 347)>, <192, 1/8*(w + 6)>, <24, 1/238*(3*w + 66)>, <192, 1/61*(w + 6)>, <24, 1/238*(3*w + 169)>, <24, 1/1376*(27*w + 810)>, <48, 1/21*(w + 15)>, <24, 1/136*(33*w - 198)>, <24, 1/231*(2*w - 12)>, <42, 1/40663*(396*w + 34507)>, <48, 1/98*(3*w + 45)>, <24, 1/27*(w + 30)>, <36, 1/13*(w - 1)>, <72, 1/223*(4*w + 223)>, <36, 1/446*(13*w - 13)>, <24, 1/791*(108*w - 324)>, <72, 1/8*(w + 8)>, <24, 1/88*(23*w - 253)>, <24, 1/3197*(22*w - 242)>, <132, 1/238*(5*w + 25)>, <24, 1/308*(15*w + 398)>, <24, 1/66181*(1155*w + 30646)>, <132, 1/10*(w + 5)>, <24, 1/629*(11*w + 310)>, <48, 1/296*(9*w + 368)>, <24, 1/333*(8*w + 397)>, <48, 1/1139*(27*w - 270)>, <120, 1/502*(13*w + 398)>, <192, 1/86*(3*w + 47)>, <24, 1/60*(w - 3)>, <24, 1/244*(11*w + 310)>, <48, 1/2363*(36*w + 1472)>, <24, 1/5117*(72*w + 3573)>, <48, 1/216*(17*w - 170)>, <12, 1/35819*(342*w + 28485)>, <84, 1/301*(9*w + 184)>, <120, 1/476*(13*w + 398)>, <192, 1/74*(3*w + 47)>, <24, 1/113*(15*w - 45)>, <24, 1/32387*(345*w + 28175)>, <36, 1/686*(19*w + 285)>, <24, 1/688*(17*w + 892)>, <24, 1/688*(17*w - 221)>, <24, 1/314188*(2565*w + 260053)>, <48, 1/13502*(117*w + 14690)>, <12, 1/38759*(288*w + 32103)>, <60, 1/343*(9*w + 199)>, <24, 1/76489*(1080*w + 46384)>, <24, 1/4448*(135*w + 5798)>, <52, 1/278*(13*w + 135)>, <48, 1/47677*(390*w - 4440)>, <24, 1/11932*(135*w + 13687)>, <48, 1/1274*(9*w + 1130)>, <84, 1/25*(w + 14)>, <48, 1/42*(5*w - 50)>, <192, 1/518*(17*w + 365)>, <24, 1/374*(9*w - 72)>, <24, 1/374*(9*w + 437)>, <24, 1/1338*(115*w + 1338)>, <24, 1/17584*(345*w + 4014)>, <84, 1/656*(25*w + 350)>, <48, 1/9577*(105*w + 7645)>, <24, 1/230*(3*w + 245)>, <36, 1/19*(w + 15)>, <144, 1/233*(7*w + 198)>, <136, 1/67*(w + 9)>, <24, 1/52192*(627*w + 6003)>, <96, 1/518*(15*w + 120)>, <48, 1/12*(w - 1)>, <72, 1/226*(3*w + 217)>, <204, 1/14*(w + 6)>, <136, 1/67*(w + 57)>, <96, 1/488*(15*w + 90)>, <144, 1/14*(w + 9)>, <24, 1/1374*(209*w + 2001)>, <48, 1/12*(w + 12)>, <72, 1/229*(3*w + 217)>, <204, 1/14*(w + 7)>, <132, 1/226*(5*w + 211)>, <24, 1/15343*(165*w + 2088)>, <48, 1/244*(3*w + 18)>, <84, 1/223*(5*w - 5)>, <156, 1/20*(w + 6)>, <24, 1/366*(55*w + 696)>, <156, 1/157*(5*w + 87)>, <48, 1/223*(3*w - 3)>, <84, 1/223*(5*w + 223)>, <132, 1/251*(5*w + 211)>, <72, 1/20167*(132*w + 18139)>, <24, 1/1374*(253*w - 1012)>, <72, 1/20167*(132*w + 1896)>, <24, 1/73444*(759*w + 66286)>, <24, 1/2144*(65*w - 650)>, <24, 1/175*(6*w + 205)>, <24, 1/175*(6*w - 36)>, <24, 1/2144*(65*w + 2729)>, <24, 1/72539*(506*w + 67045)>, <24, 1/2510*(209*w + 3973)>, <24, 1/572*(7*w + 530)>, <24, 1/253*(6*w + 247)>, <24, 1/565*(138*w + 151)>, <24, 1/259*(11*w + 347)>, <108, 1/113*(2*w + 107)>, <24, 1/2312*(57*w + 2939)>, <168, 1/488*(19*w + 355)>, <120, 1/578*(19*w + 350)>, <24, 1/253*(2*w + 265)>, <24, 1/71906*(1045*w + 19865)>, <24, 1/833*(143*w - 25)>, <24, 1/78547*(1518*w + 62491)>, <24, 1/75551*(690*w + 755)>, <24, 1/2312*(57*w - 684)>, <168, 1/19*(w + 12)>, <24, 1/688*(11*w + 347)>, <120, 1/19*(w + 7)>, <48, 1/488*(9*w + 425)>, <48, 1/27*(5*w + 87)>, <24, 1/40208*(765*w + 21933)>, <72, 1/11*(w + 1)>, <48, 1/80*(9*w + 188)>, <48, 1/448*(5*w + 5)>, <96, 1/64*(w + 65)>, <120, 1/68*(w + 62)>, <48, 1/21*(w + 6)>, <168, 1/14*(w + 1)>, <24, 1/1115*(117*w + 998)>, <24, 1/210*(13*w + 223)>, <48, 1/452*(9*w + 425)>, <48, 1/27*(5*w - 65)>, <48, 1/2709*(40*w + 3189)>, <24, 1/170*(9*w - 45)>, <72, 1/11*(w + 9)>, <120, 1/68*(w + 5)>, <48, 1/21*(w + 14)>, <96, 1/7*(w + 8)>, <48, 1/458*(5*w + 15)>, <24, 1/416*(15*w + 431)>, <24, 117/1115*w>, <168, 1/14*(w + 12)>, <24, 5/506*w>, <24, 1/2107*(66*w - 858)>, <24, 1/132*(7*w - 91)>, <24, 1/132328*(1265*w + 4310)>, <60, 1/238*(3*w + 15)>, <24, 1/391*(11*w - 66)>, <72, 1/3925*(12*w + 3757)>, <72, 1/90601*(300*w + 93925)>, <24, 1/15164*(253*w + 4653)>, <60, 1/238*(3*w + 220)>, <132, 1/21*(w + 11)>, <132, 1/536*(21*w + 326)>, <72, 1/15*(w + 9)>, <24, 1/306*(5*w + 361)>, <24, 1/34013*(540*w + 25488)>, <72, 1/536*(15*w + 135)>, <24, 1/306*(5*w - 60)>, <24, 1/1165*(108*w - 540)>, <72, 1/113*(w + 110)>, <72, 1/113*(w + 2)>, <24, 1/240*(7*w + 240)>, <24, 1/105*(2*w + 117)>, <108, 1/113*(3*w + 104)>, <24, 1/2368*(33*w + 2145)>, <24, 1/66*(w + 65)>, <48, 1/24*(5*w + 89)>, <48, 1/785*(6*w + 863)>, <60, 1/18*(w + 2)>, <60, 1/343*(11*w + 167)>, <24, 1/105*(2*w - 14)>, <108, 1/12*(w + 9)>, <24, 1/240*(7*w - 7)>, <48, 1/3179*(18*w + 3377)>, <60, 1/343*(11*w + 165)>, <24, 1/574*(5*w + 480)>, <24, 1/34*(5*w - 60)>, <52, 1/343*(10*w + 183)>, <48, 1/41164*(231*w + 37510)>, <24, 1/391*(11*w + 435)>, <48, 1/3179*(21*w + 3410)>, <52, 1/20*(w + 4)>, <24, 1/391*(11*w - 55)>, <208, 1/25*(w + 12)>, <24, 1/139*(5*w - 55)>, <24, 1/139*(5*w + 189)>, <24, 1/4633*(60*w + 2193)>, <136, 1/21*(w + 10)>, <24, 1/4633*(60*w + 2380)>, <24, 1/187*(6*w + 223)>, <60, 1/556*(15*w + 150)>, <60, 1/15*(w + 10)>, <24, 1/67123*(1122*w + 41701)>, <144, 1/14*(w + 10)>, <144, 1/278*(7*w + 70)>, <48, 1/229*(10*w + 189)>, <48, 1/20*(w + 16)>, <24, 1/70022*(1463*w + 45144)>, <24, 1/70022*(1463*w + 23415)>, <114, 1/157*(4*w + 101)>, <24, 1/15568*(255*w + 9010)>, <24, 1/254648*(3059*w + 209323)>, <24, 1/233*(4*w - 20)>, <24, 1/2290*(273*w + 1198)>, <108, 1/223*(5*w + 218)>, <48, 1/1206*(25*w + 1431)>, <24, 1/793*(40*w + 1033)>, <324, 1/61*(2*w + 12)>, <24, 1/55*(w - 13)>, <24, 1/9266*(165*w + 2556)>, <48, 2/223*w>, <24, 1/656*(11*w + 491)>, <24, 1/11*(w - 4)>, <48, 1/229*(2*w + 6)>, <24, 1/110*(3*w - 12)>, <48, 1/223*(2*w - 2)>, <24, 1/378*(17*w - 68)>, <48, 1/13*w>, <48, 1/602*(13*w + 433)>, <48, 1/223*(2*w + 223)>, <24, 1/160114*(3213*w + 75820)>, <36, 1/446*(9*w + 437)>, <12, 1/231028*(3933*w + 36126)>, <48, 1/223*(7*w + 216)>, <48, 7/223*w>, <132, 1/518*(23*w + 311)>, <12, 1/2788*(35*w + 2130)>, <24, 1/121*(8*w + 193)>, <48, 1/64447*(924*w + 26059)>, <24, 1/67337*(968*w + 23353)>, <132, 1/21*(w + 7)>, <132, 1/628*(21*w + 334)>, <24, 1/2510*(483*w + 5891)>, <24, 1/483*(5*w + 518)>, <12, 1/57*(w - 9)>, <132, 1/628*(19*w + 362)>, <24, 1/1506*(85*w - 680)>, <114, 1/157*(4*w + 52)>, <196, 1/19*(w + 9)>, <48, 1/1529*(84*w + 2369)>, <108, 5/223*w>, <48, 1/100*(9*w + 181)>, <24, 1/320*(13*w + 398)>, <324, 1/67*(2*w + 18)>, <24, 1/5002*(55*w + 1262)>, <24, 1/3416*(437*w - 3059)>, <24, 1/1547*(92*w - 552)>, <24, 1/301*(4*w + 48)>, <24, 1/2290*(273*w + 819)>, <24, 1/368*(13*w - 78)>, <48, 1/1591*(15*w + 1341)>, <276, 1/301*(11*w + 132)>, <48, 1/402*(5*w + 447)>, <276, 1/22*(w + 12)>, <24, 1/437*(11*w - 33)>, <24, 1/437*(11*w + 459)>, <24, 1/480*(7*w + 494)>, <24, 1/867*(7*w + 944)>, <24, 1/289*(4*w + 241)>, <24, 1/67337*(840*w + 59280)>, <24, 1/3182*(21*w + 2832)>, <24, 1/229*(4*w + 241)>, <96, 1/11*(w + 6)>, <24, 1/5494*(21*w + 5214)>, <24, 1/55973*(828*w + 9812)>, <96, 1/488*(11*w + 66)>, <24, 1/1668*(7*w + 1738)>, <24, 1/1832*(207*w + 2453)>, <24, 1/20*(w - 7)>, <24, 1/122*(5*w - 35)>, <24, 1/132362*(2535*w + 67262)>, <24, 1/85*(4*w + 101)>, <24, 1/17*(w - 10)>, <24, 1/24*(w - 3)>, <24, 1/3495*(169*w - 845)>, <24, 1/17741*(340*w + 8585)>, <24, 1/536*(17*w - 170)>, <24, 1/113*(6*w - 18)>, <24, 1/272*(15*w + 407)>, <24, 1/731*(15*w - 195)>, <24, 1/210*(17*w - 221)>, <24, 1/1005*(34*w + 1311)>, <24, 1/896*(115*w + 1011)>, <72, 1/18*(w + 14)>, <108, 1/20*(w + 7)>, <24, 1/3765*(143*w - 1144)>, <120, 1/488*(17*w + 102)>, <84, 1/12*(w + 7)>, <48, 1/25*(w + 16)>, <24, 1/5038*(575*w + 1725)>, <24, 1/1445*(16*w + 1621)>, <24, 1/141928*(1881*w + 58993)>, <48, 1/210*(19*w - 171)>, <24, 1/15707*(198*w + 11583)>, <24, 1/6103*(66*w + 1032)>, <24, 1/1921*(35*w + 861)>, <24, 1/170*(7*w - 42)>, <24, 1/119*(10*w + 189)>, <48, 1/198*(19*w + 350)>, <48, 1/134*(w + 9)>, <12, 1/115*(w - 10)>, <24, 1/91*(9*w - 117)>, <48, 1/32*(w - 2)>, <24, 1/18*(w + 33)>, <24, 1/49*(2*w + 17)>, <24, 1/13*(2*w - 19)>, <24, 1/774*(13*w - 169)>, <12, 1/152*(9*w + 188)>, <24, 1/5491*(81*w - 972)>, <24, 1/162*(19*w - 228)>, <12, 1/57*(5*w - 35)>, <48, 1/210*(19*w + 362)>, <24, 1/680*(19*w + 775)>, <12, 1/476*(57*w + 761)>, <24, 1/5020*(119*w + 5853)>, <24, 1/680*(19*w - 114)>, <48, 1/198*(19*w - 171)>, <24, 1/600*(7*w + 551)>, <24, 1/488*(51*w + 794)>, <24, 1/82*(w + 14)>, <24, 1/209*(4*w - 36)>, <24, 1/28*(w + 29)>, <52, 1/94*(3*w + 51)>, <120, 1/22*(w + 14)>, <120, 1/328*(11*w + 154)>, <48, 1/5*(w + 2)>, <36, 1/343*(8*w + 120)>, <12, 1/95*(8*w - 128)>, <12, 1/1145*(132*w + 617)>, <12, 1/314*(5*w + 244)>, <12, 1/4660*(143*w - 715)>, <12, 1/484*(9*w + 502)>, <24, 1/2*(w - 3)>, <24, 1/452*(13*w + 478)>, <12, 1/343*(50*w + 1093)>, <24, 1/40663*(275*w + 36388)>, <24, 1/3058*(25*w + 3308)>, <24, 1/2072*(209*w - 1881)>, <24, 1/47*(w + 29)>, <52, 1/24*(w + 17)>, <24, 1/41164*(525*w + 41325)>, <24, 1/3752*(51*w + 794)>, <24, 1/8*(w + 14)>, <108, 1/251*(10*w + 70)>, <24, 1/15707*(230*w + 2022)>, <72, 1/328*(9*w + 126)>, <24, 1/99*(2*w + 117)>, <24, 1/6103*(66*w + 5005)>, <48, 1/518*(25*w + 293)>, <84, 1/251*(6*w + 42)>, <24, 1/5038*(575*w + 2738)>, <24, 1/286*(15*w - 120)>, <120, 1/17*(w + 6)>, <24, 1/342*(11*w - 143)>, <24, 1/9577*(80*w + 8105)>, <60, 1/112*(w + 113)>, <24, 1/2890*(189*w + 4969)>, <24, 1/556*(7*w + 70)>, <30, 1/466*(7*w - 35)>, <108, 1/458*(13*w + 406)>, <24, 1/5311*(85*w + 3560)>, <36, 17/446*w>, <60, 1/119*(w + 113)>, <24, 1/189*(5*w + 244)>, <24, 1/556*(7*w + 479)>, <30, 1/466*(7*w + 494)>, <108, 1/536*(13*w + 406)>, <6, 1/287296*(5491*w + 181811)>, <36, 1/17*w>, <24, 1/610*(17*w + 712)>, <24, 1/81*(10*w + 171)>, <24, 1/119528*(1683*w + 83402)>, <24, 1/432*(7*w + 439)>, <24, 1/229*(27*w - 108)>, <24, 1/1946*(33*w + 747)>, <24, 1/183*(11*w + 249)>, <24, 1/5537*(99*w + 2189)>, <12, 1/242*(9*w + 188)>, <12, 1/157*(121*w + 1573)>, <12, 1/18683*(242*w + 2832)>, <24, 1/154*(9*w + 199)>, <72, 1/628*(27*w + 351)>, <6, 1/169*(17*w + 390)>, <24, 1/54*(w - 4)>, <24, 1/13603*(189*w + 11853)>, <24, 1/75551*(810*w + 13851)>, <24, 1/374*(9*w + 446)>, <72, 1/41846*(495*w + 33836)>, <72, 1/2761*(45*w + 3076)>, <84, 1/502*(23*w + 318)>, <12, 1/319676*(3795*w + 139931)>, <20, 1/686*(11*w + 510)>, <84, 1/686*(23*w + 318)>, <24, 1/119*(2*w + 44)>, <24, 1/153*(8*w - 48)>, <24, 1/31831*(630*w + 13111)>, <24, 1/119*(2*w + 73)>, <24, 1/224*(9*w - 54)>, <24, 1/777*(40*w + 1097)>, <24, 1/3332*(39*w + 2643)>, <24, 1/1258*(21*w + 649)>, <36, 1/7*(w + 12)>, <24, 1/7571*(120*w + 3291)>, <144, 1/488*(13*w + 78)>, <24, 1/777*(13*w + 881)>, <24, 1/502*(21*w + 649)>, <36, 1/86*(w + 12)>, <36, 1/452*(19*w + 38)>, <24, 1/1978*(5*w + 2038)>, <48, 1/233*(3*w + 12)>, <24, 1/784*(15*w + 274)>, <96, 1/502*(15*w + 382)>, <24, 1/216*(7*w - 7)>, <6, 1/32657*(448*w + 19089)>, <24, 1/266*(15*w + 446)>, <48, 1/47677*(390*w + 51727)>, <52, 1/26*(w + 15)>, <24, 1/21854*(285*w + 8474)>, <24, 1/2198*(33*w + 900)>, <144, 1/536*(23*w + 207)>, <24, 1/4032*(437*w + 4469)>, <24, 1/239056*(3933*w + 40221)>, <144, 1/536*(23*w + 306)>, <60, 1/12*(w + 8)>, <36, 1/139*(w + 128)>, <12, 1/2196*(121*w + 1349)>, <12, 1/488*(w - 7)>, <60, 1/259*(6*w + 48)>, <24, 1/201*(11*w + 300)>, <36, 1/452*(19*w + 395)>, <24, 1/48544*(115*w + 46874)>, <48, 1/6*(w + 4)>, <24, 1/229*(15*w + 274)>, <40, 1/278*(3*w + 30)>, <24, 1/323*(13*w + 401)>, <24, 1/165*(19*w - 209)>, <24, 1/11438*(143*w - 1859)>, <48, 1/12*(w + 11)>, <24, 1/440*(3*w + 446)>, <24, 1/165*(19*w + 355)>, <24, 1/323*(13*w - 91)>, <24, 1/305696*(2717*w + 53053)>, <12, 1/259*(10*w - 90)>, <40, 1/278*(3*w + 245)>, <48, 1/223*(6*w + 217)>, <24, 1/339*(110*w + 559)>, <12, 1/413*(11*w + 193)>, <12, 1/4972*(171*w + 5314)>, <24, 1/488*(3*w + 467)>, <24, 1/793*(46*w - 322)>, <24, 1/458*(3*w + 467)>, <24, 1/793*(46*w + 1069)>, <72, 1/458*(7*w + 430)>, <12, 1/87862*(2299*w + 51667)>, <12, 1/242*(w + 18)>, <12, 1/1784*(121*w + 1784)>, <24, 1/1876*(69*w - 690)>, <36, 1/458*(13*w + 497)>, <24, 1/1876*(69*w + 2497)>, <36, 1/718*(13*w + 497)>, <12, 1/312256*(5175*w + 299575)>, <12, 1/9*(w + 14)>, <24, 1/229*(2*w + 235)>, <24, 1/1603*(209*w + 2230)>, <36, 1/686*(15*w + 225)>, <24, 1/82328*(825*w + 12225)>, <132, 1/518*(23*w + 184)>, <24, 1/437*(5*w + 462)>, <24, 1/370*(27*w - 243)>, <72, 1/452*(11*w + 22)>, <24, 1/2669*(30*w + 1935)>, <72, 1/502*(9*w + 63)>, <48, 1/160*(19*w + 350)>, <24, 1/3752*(153*w - 1530)>, <24, 1/251*(2*w + 235)>, <24, 1/108824*(1463*w + 15610)>, <36, 1/15*(w + 15)>, <24, 1/5698*(75*w - 675)>, <24, 1/226904*(2185*w + 201894)>, <72, 1/518*(11*w + 88)>, <24, 1/105*(2*w + 129)>, <48, 1/72539*(760*w + 14000)>, <72, 1/448*(9*w + 9)>, <24, 1/301*(9*w + 409)>, <24, 1/189*(5*w - 45)>, <24, 1/3752*(153*w + 5129)>, <24, 1/380*(9*w + 425)>, <48, 1/9*(w + 10)>, <24, 1/448*(17*w + 17)>, <24, 1/33892*(345*w + 910)>, <48, 1/164*(3*w + 83)>, <36, 1/6*(w + 13)>, <24, 1/134536*(1955*w + 90491)>, <24, 1/1071*(95*w + 1546)>, <48, 1/448*(9*w + 457)>, <24, 1/536*(9*w + 446)>, <12, 1/364736*(2025*w + 22761)>, <24, 1/446*(9*w + 446)>, <24, 1/17*(w + 1)>, <36, 1/314*(3*w + 39)>, <24, 1/4403*(115*w + 5323)>, <48, 1/21*(w - 6)>, <24, 1/33892*(345*w + 32637)>, <24, 1/30997*(495*w + 22077)>, <36, 1/5*(w - 1)>, <36, 1/476*(5*w + 446)>, <24, 1/1338*(253*w + 1338)>, <24, 1/1338*(253*w - 253)>, <24, 1/30997*(495*w + 8425)>, <132, 1/139*(6*w + 60)>, <12, 1/100*(19*w + 347)>, <24, 1/13*(w + 22)>, <24, 1/315*(13*w - 104)>, <24, 1/245488*(4095*w + 113503)>, <24, 1/13*(w - 10)>, <48, 1/49*(w + 15)>, <24, 1/113*(w - 3)>, <24, 1/122*(w + 6)>, <24, 1/359*(12*w + 192)>, <48, 1/20582*(55*w + 815)>, <48, 1/1727*(5*w - 70)>, <36, 1/229*(w + 225)>, <24, 1/9589*(195*w + 2899)>, <36, 1/224*(w + 225)>, <24, 1/208*(15*w + 223)>, <24, 1/24649*(216*w + 26649)>, <24, 1/24649*(216*w - 2216)>, <24, 1/1921*(95*w + 2111)>, <24, 1/1921*(95*w - 285)>, <12, 1/13328*(115*w + 218)>, <12, 1/61244*(1071*w + 30338)>, <24, 1/24*(w + 16)>, <12, 1/9842*(195*w - 1755)>, <24, 1/15*(w + 11)>, <48, 1/466*(5*w + 20)>, <24, 1/70133*(1012*w + 6124)>, <24, 1/3728*(165*w - 825)>, <72, 1/30*(23*w - 299)>, <24, 1/458*(15*w + 398)>, <24, 1/68929*(1320*w + 32505)>, <24, 1/70133*(1012*w + 62997)>, <72, 1/168304*(345*w + 163369)>, <48, 1/5*(w + 4)>, <12, 1/2412*(49*w + 2853)>, <24, 1/392*(5*w + 165)>, <12, 1/1390*(17*w - 187)>, <12, 1/51*(10*w - 130)>, <24, 1/392*(5*w + 222)>, <36, 1/628*(11*w + 474)>, <36, 1/628*(11*w + 143)>, <12, 1/49*(6*w + 73)>, <36, 1/259*(12*w + 96)>, <36, 1/259*(12*w + 151)>, <12, 1/67337*(1288*w + 34976)>, <24, 1/11914*(143*w - 1287)>, <24, 1/112*(9*w + 193)>, <24, 1/68929*(936*w + 44944)>, <24, 1/350384*(3289*w + 46761)>, <24, 1/9389*(126*w + 2702)>, <24, 1/4448*(117*w + 5618)>, <24, 1/10052*(171*w + 3914)>, <12, 1/1115*(114*w + 1001)>, <24, 1/35011*(756*w + 10927)>, <24, 1/10052*(171*w + 5967)>, <24, 1/3164*(209*w - 627)>, <48, 1/628*(15*w + 418)>, <12, 1/391*(19*w - 38)>, <12, 1/448*(19*w + 19)>, <48, 1/628*(15*w + 195)>, <24, 1/3164*(209*w + 3582)>, <24, 1/85*(3*w + 115)>, <48, 1/8621*(156*w + 3653)>, <114, 1/119*(5*w + 89)>, <48, 1/737*(42*w + 1115)>, <24, 1/740*(13*w + 844)>, <24, 1/301*(3*w + 36)>, <24, 1/3752*(55*w + 562)>, <24, 1/57479*(462*w + 2732)>, <24, 1/904*(231*w + 1366)>, <24, 1/378*(17*w + 446)>, <12, 1/280088*(5967*w + 69407)>, <24, 1/3961*(189*w + 4717)>, <24, 1/376*(11*w + 178)>, <12, 1/9*(11*w - 189)>, <24, 1/55*(w - 3)>, <12, 1/36572*(805*w + 10122)>, <12, 1/223*(7*w + 223)>, <12, 1/220*(3*w - 36)>, <12, 1/289*(3*w + 33)>, <24, 1/16541*(220*w + 11096)>, <42, 1/157*(3*w + 39)>, <12, 1/76*(3*w - 42)>, <24, 1/17584*(255*w + 9775)>, <24, 1/55*(4*w - 44)>, <48, 1/737*(42*w - 420)>, <24, 1/10793*(130*w + 8440)>, <24, 1/301*(3*w + 262)>, <114, 1/20*(w + 14)>, <24, 1/78547*(912*w + 18336)>, <84, 1/301*(9*w + 108)>, <48, 1/336*(13*w - 78)>, <24, 1/78547*(912*w + 59299)>, <24, 1/21*(w + 30)>, <24, 1/536*(21*w + 725)>, <24, 1/7252*(115*w + 2215)>, <24, 1/1864*(207*w + 2692)>, <24, 1/305*(23*w + 443)>, <24, 1/57757*(828*w + 10768)>, <24, 1/1904*(75*w - 450)>, <48, 1/452*(17*w + 34)>, <48, 1/17*(w + 2)>, <12, 1/139*(25*w + 389)>, <12, 1/10290*(221*w - 3536)>, <24, 1/7786*(33*w + 7656)>, <24, 1/2924*(33*w + 482)>, <24, 1/418*(15*w - 60)>, <24, 1/2261*(75*w + 2636)>, <24, 1/275*(6*w + 12)>, <24, 1/64447*(1045*w + 21032)>, <24, 1/2761*(171*w + 3958)>, <36, 1/7*(w - 3)>, <24, 1/226*(7*w - 21)>, <24, 1/350*(17*w + 401)>, <24, 1/73144*(1071*w + 37954)>, <24, 1/3893*(175*w + 4418)>, <24, 1/73144*(1071*w + 34119)>, <48, 1/2363*(55*w - 605)>, <12, 1/298928*(2185*w + 255113)>, <24, 1/84152*(437*w + 77901)>, <24, 1/3197*(19*w + 3387)>, <132, 1/139*(6*w + 73)>, <48, 1/21823*(30*w - 395)>, <24, 1/2107*(26*w - 247)>, <24, 1/43*(2*w + 17)>, <72, 1/9*(w + 4)>, <12, 1/357*(25*w + 482)>, <48, 1/2363*(55*w + 2913)>, <24, 1/250*(17*w + 369)>, <24, 1/3416*(51*w + 611)>, <24, 1/518*(5*w + 40)>, <24, 1/10763*(231*w + 2282)>, <12, 1/227408*(3795*w + 81818)>, <24, 1/40567*(532*w + 28975)>, <24, 1/16*(w + 16)>, <12, 1/5744*(95*w - 1615)>, <24, 1/40567*(532*w + 11060)>, <18, 1/2*(w + 6)>, <6, 1/242*(w + 4)>, <24, 1/1570*(11*w + 1713)>, <24, 1/458*(5*w - 20)>, <24, 1/392*(33*w + 326)>, <24, 1/4267*(125*w + 5142)>, <24, 1/3416*(51*w + 2754)>, <24, 1/231*(w + 232)>, <24, 1/251*(33*w + 482)>, <24, 1/3435*(209*w - 836)>, <24, 1/81134*(1425*w + 50084)>, <36, 1/452*(7*w - 21)>, <24, 1/226*(7*w + 240)>, <24, 1/83647*(1650*w + 11322)>, <24, 1/380*(11*w - 77)>, <24, 1/2761*(171*w - 1368)>, <24, 1/1139*(9*w + 1116)>, <24, 1/38212*(495*w + 12670)>, <24, 1/132*(w + 128)>, <24, 1/488*(7*w + 530)>, <24, 1/130*(9*w - 72)>, <24, 1/446*(17*w + 446)>, <24, 1/126*(w + 124)>, <24, 1/1445*(99*w + 2534)>, <24, 1/8479*(66*w + 8448)>, <24, 1/628*(7*w + 530)>, <24, 1/2259*(65*w - 520)>, <12, 1/269072*(4199*w + 174471)>, <24, 1/752*(17*w + 446)>, <12, 1/92099*(2299*w + 53966)>, <12, 1/242*(w + 19)>, <12, 1/2007*(121*w + 1886)>, <24, 1/30*(w + 29)>, <24, 1/154*(15*w - 30)>, <12, 1/135*(7*w - 70)>, <24, 1/555*(19*w - 171)>, <24, 1/266*(15*w - 135)>, <12, 1/58072*(121*w + 58201)>, <12, 1/121*(2*w + 12)>, <12, 1/476*(121*w - 250)>, <12, 1/3311*(13*w - 169)>, <24, 1/154*(15*w + 169)>, <24, 1/223*(15*w + 208)>, <12, 1/3012*(161*w - 1288)>, <24, 1/4624*(105*w - 1260)>, <24, 1/488*(23*w + 138)>, <24, 1/207*(8*w - 24)>, <24, 1/82328*(805*w + 63365)>, <24, 1/28112*(345*w + 1662)>, <12, 1/1255*(88*w + 1871)>, <12, 1/77*(3*w - 30)>, <6, 1/49*(4*w + 101)>, <24, 1/266*(15*w - 180)>, <48, 1/656*(19*w + 266)>, <24, 1/105*(19*w - 285)>, <24, 1/4335*(133*w - 1596)>, <24, 1/699*(46*w - 230)>, <12, 1/12328*(99*w - 990)>, <24, 1/92*(3*w - 15)>, <24, 1/75112*(1089*w + 50670)>, <24, 1/9*(11*w - 165)>, <24, 1/75112*(1089*w + 23353)>, <24, 1/488*(23*w + 327)>, <24, 1/80057*(1656*w + 32240)>, <24, 1/460*(7*w + 551)>, <24, 1/28112*(345*w + 26105)>, <24, 1/1273*(23*w + 1480)>, <24, 1/2224*(209*w + 4314)>, <24, 1/1554*(95*w - 855)>, <24, 1/25199*(165*w + 24365)>, <24, 1/110*(w + 115)>, <24, 1/36722*(437*w + 28120)>, <24, 1/70133*(836*w + 17256)>, <24, 1/1554*(95*w + 2314)>, <24, 1/25199*(165*w + 669)>, <24, 1/238*(55*w + 513)>, <24, 1/506*(3*w + 506)>, <24, 1/13969*(230*w + 9614)>, <24, 1/506*(3*w - 3)>, <12, 1/1505*(88*w + 2561)>, <12, 1/2519*(76*w + 2747)>, <12, 1/394*(11*w + 185)>, <24, 1/13969*(230*w + 4125)>, <24, 1/1376*(23*w + 663)>, <24, 1/1376*(23*w + 690)>, <24, 1/418*(7*w + 446)>, <36, 1/15*(w + 14)>, <24, 1/253*(5*w - 5)>, <24, 1/2260*(253*w - 759)>, <24, 1/189*(5*w - 30)>, <48, 1/113*(2*w - 6)>, <24, 1/29882*(495*w + 7805)>, <24, 1/3263*(171*w + 4460)>, <24, 1/1631*(209*w + 2467)>, <36, 1/656*(15*w + 210)>, <24, 1/253*(5*w - 15)>, <24, 1/2230*(253*w - 253)>, <48, 1/113*(2*w + 117)>, <24, 1/189*(5*w + 214)>, <24, 1/342*(13*w + 433)>, <24, 1/29882*(495*w + 21582)>, <24, 1/380*(9*w - 99)>, <24, 1/9143*(140*w + 4543)>, <24, 1/207*(8*w - 16)>, <24, 1/136*(9*w - 72)>, <24, 1/1148*(23*w + 527)>, <24, 1/259*(9*w - 81)>, <24, 1/380*(9*w + 470)>, <12, 1/249088*(4275*w + 217075)>, <24, 1/469*(20*w + 649)>, <36, 9/446*w>, <24, 1/207*(8*w + 215)>, <24, 1/38759*(612*w + 24615)>, <24, 1/23*(w - 4)>, <24, 1/18*(w - 9)>, <42, 1/2849*(36*w + 3137)>, <12, 1/209*(5*w + 214)>, <24, 1/504*(13*w + 13)>, <24, 1/952*(15*w + 250)>, <24, 1/80032*(357*w + 73878)>, <24, 1/35*(3*w + 50)>, <24, 1/504*(13*w + 478)>, <24, 1/80032*(357*w + 5797)>, <24, 1/322*(17*w - 85)>, <24, 1/462*(5*w - 5)>, <24, 1/1115*(231*w - 231)>, <24, 1/224*(w + 222)>, <24, 1/1469*(105*w + 1679)>, <24, 1/223*(w + 222)>, <24, 1/420*(13*w + 446)>, <6, 1/12544*(75*w + 1419)>, <24, 1/396*(13*w - 39)>, <24, 1/5004*(91*w + 5914)>, <24, 1/322*(17*w + 390)>, <24, 1/70516*(819*w + 53226)>, <24, 1/396*(13*w + 422)>, <6, 1/529*(7*w + 28)>, <12, 1/251312*(4693*w + 97526)>, <48, 1/226*(3*w + 232)>, <24, 1/95*(3*w + 104)>, <48, 1/259*(3*w + 232)>, <24, 1/15142*(285*w + 9880)>, <24, 1/180*(7*w - 28)>, <24, 1/63662*(875*w + 2912)>, <24, 1/791*(125*w + 416)>, <24, 1/32657*(644*w + 18860)>, <24, 1/253*(4*w + 8)>, <24, 1/1145*(253*w + 133)>, <24, 1/32657*(644*w + 13153)>, <24, 1/506*(5*w + 486)>, <24, 1/253*(4*w + 241)>, <12, 1/170*(7*w + 198)>, <24, 1/860*(9*w - 117)>, <24, 1/63*(10*w - 130)>, <12, 1/201*(25*w + 426)>, <42, 1/157*(3*w + 115)>, <24, 1/9577*(55*w + 8565)>, <12, 1/6216*(55*w - 495)>, <24, 1/4769*(119*w - 952)>, <24, 1/70133*(969*w + 47447)>, <24, 1/238*(19*w - 152)>, <24, 1/2278*(57*w + 2791)>, <24, 1/392*(27*w - 54)>, <24, 1/392*(27*w + 419)>, <12, 1/357*(19*w - 57)>, <12, 1/752*(23*w + 338)>, <12, 1/8092*(361*w + 9897)>, <24, 1/20*(3*w - 33)>, <24, 1/336*(55*w - 110)>, <24, 1/9718*(165*w + 1765)>, <12, 1/10542*(187*w + 11851)>, <12, 1/21*(w + 17)>, <12, 1/15792*(17*w - 306)>, <24, 1/9718*(165*w + 7788)>, <24, 1/13603*(165*w + 12265)>, <12, 1/26537*(330*w + 2007)>, <12, 1/2563*(64*w - 320)>, <24, 1/4624*(105*w + 5779)>, <12, 1/12138*(95*w - 1140)>, <6, 1/4879*(80*w + 1424)>, <12, 1/76*(3*w + 106)>, <24, 1/1666*(15*w + 1401)>, <24, 1/476*(25*w - 150)>, <24, 1/1376*(25*w + 750)>, <24, 1/448*(11*w + 459)>, <24, 1/448*(11*w - 22)>, <24, 1/731*(9*w + 657)>, <24, 1/72*(w + 73)>, <24, 1/335*(23*w + 542)>, <24, 1/42476*(299*w + 4043)>, <24, 1/8092*(115*w + 2710)>, <24, 1/104*(23*w + 311)>, <12, 1/448*(25*w + 473)>, <12, 1/973*(12*w + 537)>, <16, 1/18626*(195*w + 15155)>, <12, 1/221*(15*w - 225)>, <24, 1/251*(w + 243)>, <24, 1/18683*(230*w + 3618)>, <36, 1/238*(11*w + 55)>, <24, 1/234136*(4125*w + 157125)>, <48, 1/360*(11*w + 426)>, <24, 1/1309*(95*w + 1784)>, <48, 1/36001*(418*w + 7634)>, <24, 1/5002*(69*w + 310)>, <48, 1/21823*(30*w + 22188)>, <24, 1/21823*(66*w - 869)>, <24, 1/11*(6*w - 79)>, <12, 1/19*(5*w + 89)>, <24, 1/200*(19*w - 190)>, <24, 1/1273*(25*w - 250)>, <12, 1/233*(6*w - 30)>, <12, 1/161*(6*w + 257)>, <24, 1/43798*(345*w + 38548)>, <24, 1/1541*(15*w + 1676)>, <24, 1/359*(13*w + 138)>, <24, 1/70*(13*w - 151)>, <12, 1/2748*(187*w + 3309)>, <6, 1/31598*(121*w + 1227)>, <6, 1/2*(w + 8)>, <24, 1/238*(w + 243)>, <24, 1/1004*(115*w + 1809)>, <36, 1/22*(w + 5)>, <24, 1/234136*(4125*w + 72886)>, <24, 1/380*(11*w + 435)>, <48, 1/36001*(418*w + 27949)>, <48, 1/30016*(495*w + 19170)>, <24, 1/448*(69*w + 310)>, <24, 1/150*(w + 143)>, <24, 1/21823*(42*w + 21270)>, <24, 1/10519*(75*w + 10725)>, <24, 1/3468*(7*w + 3545)>, <12, 1/5236*(117*w - 702)>, <12, 1/242*(9*w + 206)>, <24, 1/68929*(990*w + 14589)>, <24, 1/396*(13*w - 78)>, <12, 1/121*(2*w + 117)>, <12, 1/556*(121*w + 1210)>, <12, 1/62272*(1089*w + 5886)>, <24, 1/1547*(99*w - 594)>, <12, 1/484*(13*w + 406)>, <12, 1/2*(w + 5)>, <24, 1/1071*(110*w + 1621)>, <12, 1/15611*(224*w + 9051)>, <24, 1/446*(115*w + 446)>, <24, 1/446*(7*w + 446)>, <12, 1/18532*(231*w + 9138)>, <12, 1/164*(3*w + 119)>, <24, 1/94792*(637*w - 7154)>, <24, 1/17741*(276*w + 10496)>, <12, 1/529*(9*w + 502)>, <24, 1/2072*(69*w + 2624)>, <12, 1/339808*(253*w - 3674)>, <24, 1/115*(w + 115)>, <24, 1/502*(7*w + 446)>, <24, 1/5560*(69*w + 6250)>, <24, 1/2261*(69*w - 414)>, <24, 1/476*(3*w + 458)>, <24, 1/74851*(690*w + 62500)>, <24, 1/2261*(69*w + 2606)>, <24, 1/452*(3*w + 458)>, <24, 1/1505*(92*w - 1196)>, <24, 1/1505*(92*w + 2609)>, <24, 1/602*(9*w + 485)>, <12, 1/1344*(529*w + 529)>, <24, 1/9*(w - 4)>, <24, 1/4518*(121*w + 5365)>, <24, 1/360*(11*w - 110)>, <24, 1/140044*(2223*w + 61555)>, <24, 1/121*(9*w + 184)>, <24, 1/737*(45*w - 450)>, <24, 1/342*(13*w - 117)>, <24, 1/1813*(80*w + 2453)>, <24, 1/1148*(19*w + 635)>, <24, 1/1813*(80*w - 720)>, <24, 1/1148*(19*w + 494)>, <24, 1/64736*(1045*w + 15830)>, <6, 1/17584*(363*w + 13915)>, <12, 1/448*(3*w + 3)>, <24, 1/64736*(1045*w + 47861)>, <48, 1/19*(w + 14)>, <24, 1/2176*(39*w + 871)>, <24, 1/14504*(255*w + 10914)>, <24, 1/9452*(231*w - 2541)>, <24, 1/357*(13*w - 78)>, <24, 1/565*(51*w - 153)>, <24, 1/9452*(231*w + 11762)>, <24, 1/223*(w + 223)>, <24, 1/226*(w + 223)>, <12, 1/113*(5*w + 10)>, <12, 1/88*(5*w - 15)>, <12, 1/15778*(27*w + 405)>, <24, 1/448*(3*w + 451)>, <12, 1/466*(25*w + 566)>, <2, 1/334084*(1127*w + 14798)>, <12, 1/242272*(2527*w + 168226)>, <16, 1/536*(25*w + 286)>, <12, 1/314188*(6175*w + 183863)>, <24, 1/77*(4*w - 28)>, <24, 1/9*(w + 11)>, <36, 1/268*(3*w + 238)>, <24, 1/1952*(77*w - 539)>, <36, 1/229*(3*w + 238)>, <24, 1/9*(w - 3)>, <12, 1/1708*(25*w + 333)>, <24, 1/15611*(273*w + 7722)>, <24, 1/156*(7*w + 198)>, <12, 1/288*(5*w + 263)>, <12, 1/1715*(144*w + 2160)>, <12, 1/79919*(1584*w + 4895)>, <24, 1/57*(w + 57)>, <24, 1/57*(w - 1)>, <12, 1/9366*(361*w + 9366)>, <24, 1/133*(8*w + 197)>, <24, 1/33*(w + 33)>, <12, 1/5038*(441*w + 6361)>, <12, 1/458*(w + 3)>, <24, 1/1568*(33*w + 1089)>, <12, 1/231*(8*w + 223)>, <24, 1/359*(8*w + 128)>, <6, 1/2680*(441*w + 6649)>, <6, 1/536*(5*w + 45)>, <24, 1/592*(19*w + 744)>, <24, 1/75*(w + 73)>, <24, 1/75*(w + 1)>, <12, 1/11*(3*w - 39)>, <16, 1/287*(3*w + 206)>, <24, 1/1148*(13*w + 797)>, <24, 1/628*(13*w + 797)>, <24, 1/157*(7*w + 59)>, <24, 1/25748*(273*w - 2574)>, <24, 1/476*(253*w - 1518)>, <24, 1/4335*(121*w + 5666)>, <12, 1/3336*(13*w - 143)>, <40, 1/5494*(15*w - 200)>, <24, 1/4667*(35*w + 4072)>, <24, 1/359*(13*w + 208)>, <12, 1/17*(11*w - 154)>, <24, 1/67268*(253*w + 65274)>, <24, 1/242*(15*w + 407)>, <24, 1/6664*(55*w + 394)>, <24, 1/229*(55*w + 394)>, <24, 1/4879*(55*w + 979)>, <24, 1/670*(11*w - 110)>, <24, 1/75*(4*w - 24)>, <12, 1/224*(121*w - 242)>, <12, 1/976*(35*w - 245)>, <24, 1/1255*(26*w - 208)>, <24, 1/52*(5*w - 40)>, <24, 7/446*w>, <24, 1/94792*(637*w + 101309)>, <12, 1/529*(w + 2)>, <36, 1/139*(w + 10)>, <24, 1/7*w>, <24, 1/123284*(759*w - 1698)>, <24, 1/699*(253*w - 566)>, <12, 1/13846*(27*w - 351)>, <24, 1/259*(2*w + 241)>, <24, 1/4*(w - 5)>, <24, 1/233*(11*w - 55)>, <12, 1/15568*(363*w + 12826)>, <24, 1/574*(11*w + 286)>, <24, 1/357*(13*w - 117)>, <24, 1/357*(13*w + 461)>, <24, 1/125656*(2431*w + 45994)>, <12, 1/452*(231*w + 462)>, <16, 1/79919*(330*w + 73550)>, <24, 1/2977*(187*w + 3538)>, <4, 1/287296*(3325*w + 60550)>, <12, 1/687*(125*w + 375)>, <4, 1/260*(3*w + 245)>, <4, 1/4459*(100*w + 2529)>, <4, 1/699*(100*w + 2529)>, <20, 1/11*(w - 5)>, <12, 1/9553*(180*w + 9108)>, <12, 1/576*(11*w + 154)>, <12, 1/233*(36*w + 53)>, <24, 1/1407*(19*w + 1578)>, <20, 1/2747*(15*w + 2547)>, <24, 1/152*(21*w + 341)>, <24, 1/183*(4*w - 28)>, <12, 1/28928*(63*w + 578)>, <36, 1/16*(w + 15)>, <6, 1/466*(441*w + 2230)>, <24, 1/833*(12*w + 200)>, <24, 1/25748*(273*w + 28049)>, <24, 1/28*(w + 14)>, <24, 1/281344*(3795*w + 171795)>, <12, 1/576*(13*w + 446)>, <12, 1/157*(w + 13)>, <24, 1/8670*(253*w + 11453)>, <48, 1/119*(w - 6)>, <24, 1/440*(9*w - 90)>, <24, 1/9*(11*w + 163)>, <24, 1/603*(55*w - 550)>, <24, 1/76616*(805*w + 14861)>, <12, 1/7*(23*w - 322)>, <24, 1/76616*(805*w + 60950)>, <24, 1/578*(3*w + 33)>, <24, 1/578*(3*w + 542)>, <24, 1/77959*(506*w + 7878)>, <24, 1/1156*(253*w + 3939)>, <12, 1/6*(w + 7)>, <12, 1/484*(3*w + 3)>, <24, 1/299*(17*w + 401)>, <12, 1/231*(w - 7)>, <18, 1/244*(w + 6)>, <24, 1/299*(17*w - 119)>, <16, 1/686*(25*w + 286)>, <4, 1/18626*(45*w + 17825)>, <4, 1/268*(3*w - 30)>, <4, 1/1608*(325*w - 1642)>, <16, 1/18626*(195*w + 3276)>, <8, 1/732*(11*w - 77)>, <4, 1/12*(w + 29)>, <4, 1/11*(3*w + 51)>, <4, 1/72*(w + 17)>, <4, 1/122*(9*w + 59)>, <8, 1/22*(3*w - 21)>, <4, 1/61*(6*w - 42)>, <12, 1/448*(w + 446)>, <12, 1/30328*(315*w + 1915)>, <12, 1/1554*(23*w - 207)>, <24, 1/86989*(132*w + 88584)>, <12, 1/67123*(1872*w + 62352)>, <12, 1/288*(5*w + 60)>, <12, 1/223*(144*w + 223)>, <24, 1/7536*(11*w + 7382)>, <12, 1/69778*(363*w + 6132)>, <24, 1/63196*(253*w - 307)>, <24, 1/63196*(253*w + 63250)>, <4, 1/469*(6*w + 121)>, <20, 1/10*(3*w - 30)>, <12, 1/476*(5*w + 501)>, <12, 1/47816*(1449*w + 27278)>, <12, 1/6936*(13*w + 7079)>, <12, 1/19363*(72*w + 19944)>, <12, 1/144*(5*w + 55)>, <12, 1/67*(72*w - 653)>, <48, 1/40171*(198*w + 37147)>, <12, 1/2*(w - 9)>, <12, 1/259*(138*w + 1104)>, <4, 1/115*(21*w + 325)>, <12, 12*w - 156>, <12, 1/301*(138*w + 1957)>, <12, 1/278*(w + 288)>, <8, 1/362404*(575*w - 6946)>, <8, 1/23*(25*w - 302)>, <-6, 1/28*(-w - 5)>, <-12, 1/11*(-w - 11)>, <-12, 1/23*(-w - 5)>, <-12, 1/17741*(-324*w + 9560)>, <-12, 1/35819*(-342*w + 28827)>, <-12, 1/38759*(-288*w + 32391)>, <-12, 1/231028*(-3933*w + 40059)>, <-12, 1/2788*(-35*w + 2165)>, <-12, 1/57*(-w - 8)>, <-12, 1/115*(-w - 9)>, <-24, 1/18*(-w + 34)>, <-12, 1/152*(-9*w + 197)>, <-12, 1/57*(-5*w - 30)>, <-12, 1/476*(-57*w + 818)>, <-12, 1/95*(-8*w - 120)>, <-12, 1/1145*(-132*w + 749)>, <-12, 1/314*(-5*w + 249)>, <-12, 1/4660*(-143*w - 572)>, <-12, 1/484*(-9*w + 511)>, <-24, 1/2*(-w - 2)>, <-24, 1/452*(-13*w + 491)>, <-12, 1/343*(-50*w + 1143)>, <-6, 1/287296*(-5491*w + 187302)>, <-12, 1/242*(-9*w + 197)>, <-12, 1/157*(-121*w + 1694)>, <-12, 1/18683*(-242*w + 3074)>, <-6, 1/169*(-17*w + 407)>, <-12, 1/319676*(-3795*w + 143726)>, <-6, 1/32657*(-448*w + 19537)>, <-12, 1/2196*(-121*w + 1470)>, <-12, 1/488*(-w - 6)>, <-12, 1/259*(-10*w - 80)>, <-12, 1/413*(-11*w + 204)>, <-12, 1/4972*(-171*w + 5485)>, <-12, 1/87862*(-2299*w + 53966)>, <-12, 1/242*(-w + 19)>, <-12, 1/1784*(-121*w + 1905)>, <-12, 1/312256*(-5175*w + 304750)>, <-12, 1/9*(-w + 15)>, <-24, 1/301*(-9*w + 418)>, <-12, 1/364736*(-2025*w + 24786)>, <-12, 1/100*(-19*w + 366)>, <-12, 1/13328*(-115*w + 333)>, <-12, 1/61244*(-1071*w + 31409)>, <-12, 1/9842*(-195*w - 1560)>, <-12, 1/2412*(-49*w + 2902)>, <-12, 1/1390*(-17*w - 170)>, <-12, 1/51*(-10*w - 120)>, <-12, 1/49*(-6*w + 79)>, <-12, 1/67337*(-1288*w + 36264)>, <-12, 1/1115*(-114*w + 1115)>, <-12, 1/391*(-19*w - 19)>, <-12, 1/448*(-19*w + 38)>, <-12, 1/280088*(-5967*w + 75374)>, <-24, 1/376*(-11*w + 189)>, <-12, 1/9*(-11*w - 178)>, <-12, 1/36572*(-805*w + 10927)>, <-12, 1/223*(-7*w + 230)>, <-12, 1/220*(-3*w - 33)>, <-12, 1/289*(-3*w + 36)>, <-12, 1/76*(-3*w - 39)>, <-12, 1/139*(-25*w + 414)>, <-12, 1/10290*(-221*w - 3315)>, <-12, 1/298928*(-2185*w + 257298)>, <-12, 1/357*(-25*w + 507)>, <-12, 1/227408*(-3795*w + 85613)>, <-12, 1/5744*(-95*w - 1520)>, <-6, 1/242*(-w + 5)>, <-12, 1/269072*(-4199*w + 178670)>, <-12, 1/92099*(-2299*w + 56265)>, <-12, 1/242*(-w + 20)>, <-12, 1/2007*(-121*w + 2007)>, <-12, 1/135*(-7*w - 63)>, <-12, 1/58072*(-121*w + 58322)>, <-12, 1/121*(-2*w + 14)>, <-12, 1/476*(-121*w - 129)>, <-12, 1/3311*(-13*w - 156)>, <-12, 1/3012*(-161*w - 1127)>, <-12, 1/1255*(-88*w + 1959)>, <-12, 1/77*(-3*w - 27)>, <-6, 1/49*(-4*w + 105)>, <-24, 1/105*(-19*w - 266)>, <-12, 1/12328*(-99*w - 891)>, <-12, 1/1505*(-88*w + 2649)>, <-12, 1/2519*(-76*w + 2823)>, <-12, 1/394*(-11*w + 196)>, <-12, 1/249088*(-4275*w + 221350)>, <-12, 1/209*(-5*w + 219)>, <-6, 1/12544*(-75*w + 1494)>, <-6, 1/529*(-7*w + 35)>, <-12, 1/251312*(-4693*w + 102219)>, <-12, 1/170*(-7*w + 205)>, <-12, 1/201*(-25*w + 451)>, <-12, 1/6216*(-55*w - 440)>, <-12, 1/357*(-19*w - 38)>, <-12, 1/752*(-23*w + 361)>, <-12, 1/8092*(-361*w + 10258)>, <-12, 1/10542*(-187*w + 12038)>, <-12, 1/21*(-w + 18)>, <-12, 1/15792*(-17*w - 289)>, <-12, 1/26537*(-330*w + 2337)>, <-12, 1/2563*(-64*w - 256)>, <-12, 1/12138*(-95*w - 1045)>, <-6, 1/4879*(-80*w + 1504)>, <-12, 1/76*(-3*w + 109)>, <-12, 1/448*(-25*w + 498)>, <-12, 1/973*(-12*w + 549)>, <-12, 1/221*(-15*w - 210)>, <-12, 1/19*(-5*w + 94)>, <-12, 1/233*(-6*w - 24)>, <-12, 1/161*(-6*w + 263)>, <-12, 1/2748*(-187*w + 3496)>, <-6, 1/31598*(-121*w + 1348)>, <-6, 1/2*(-w + 9)>, <-12, 1/5236*(-117*w - 585)>, <-12, 1/242*(-9*w + 215)>, <-12, 1/121*(-2*w + 119)>, <-12, 1/556*(-121*w + 1331)>, <-12, 1/62272*(-1089*w + 6975)>, <-12, 1/484*(-13*w + 419)>, <-12, 1/2*(-w + 6)>, <-12, 1/15611*(-224*w + 9275)>, <-12, 1/18532*(-231*w + 9369)>, <-12, 1/164*(-3*w + 122)>, <-12, 1/529*(-9*w + 511)>, <-12, 1/339808*(-253*w - 3421)>, <-12, 1/1344*(-529*w + 1058)>, <-6, 1/17584*(-363*w + 14278)>, <-12, 1/113*(-5*w + 15)>, <-12, 1/88*(-5*w - 10)>, <-12, 1/15778*(-27*w + 432)>, <-24, 1/448*(-3*w + 454)>, <-12, 1/466*(-25*w + 591)>, <-2, 1/334084*(-1127*w + 15925)>, <-12, 1/242272*(-2527*w + 170753)>, <-12, 1/314188*(-6175*w + 190038)>, <-12, 1/1708*(-25*w + 358)>, <-12, 1/288*(-5*w + 268)>, <-12, 1/1715*(-144*w + 2304)>, <-12, 1/79919*(-1584*w + 6479)>, <-12, 1/9366*(-361*w + 9727)>, <-12, 1/5038*(-441*w + 6802)>, <-12, 1/458*(-w + 4)>, <-12, 1/231*(-8*w + 231)>, <-6, 1/2680*(-441*w + 7090)>, <-6, 1/536*(-5*w + 50)>, <-12, 1/11*(-3*w - 36)>, <-16, 1/287*(-3*w + 209)>, <-12, 1/3336*(-13*w - 130)>, <-40, 1/5494*(-15*w - 185)>, <-12, 1/17*(-11*w - 143)>, <-12, 1/224*(-121*w - 121)>, <-12, 1/976*(-35*w - 210)>, <-12, 1/529*(-w + 3)>, <-12, 1/13846*(-27*w - 324)>, <-12, 1/15568*(-363*w + 13189)>, <-12, 1/452*(-231*w + 693)>, <-16, 1/79919*(-330*w + 73880)>, <-4, 1/287296*(-3325*w + 63875)>, <-12, 1/687*(-125*w + 500)>, <-4, 1/260*(-3*w + 248)>, <-4, 1/4459*(-100*w + 2629)>, <-4, 1/699*(-100*w + 2629)>, <-12, 1/9553*(-180*w + 9288)>, <-12, 1/576*(-11*w + 165)>, <-12, 1/233*(-36*w + 89)>, <-12, 1/28928*(-63*w + 641)>, <-6, 1/466*(-441*w + 2671)>, <-12, 1/576*(-13*w + 459)>, <-12, 1/157*(-w + 14)>, <-12, 1/7*(-23*w - 299)>, <-12, 1/6*(-w + 8)>, <-12, 1/484*(-3*w + 6)>, <-12, 1/231*(-w - 6)>, <-4, 1/18626*(-45*w + 17870)>, <-4, 1/268*(-3*w - 27)>, <-4, 1/1608*(-325*w - 1317)>, <-4, 1/12*(-w + 30)>, <-4, 1/11*(-3*w + 54)>, <-4, 1/72*(-w + 18)>, <-4, 1/122*(-9*w + 68)>, <-4, 1/61*(-6*w - 36)>, <-12, 1/448*(-w + 447)>, <-12, 1/30328*(-315*w + 2230)>, <-12, 1/1554*(-23*w - 184)>, <-12, 1/67123*(-1872*w + 64224)>, <-12, 1/288*(-5*w + 65)>, <-12, 1/223*(-144*w + 367)>, <-12, 1/69778*(-363*w + 6495)>, <-4, 1/469*(-6*w + 127)>, <-12, 1/476*(-5*w + 506)>, <-12, 1/47816*(-1449*w + 28727)>, <-12, 1/6936*(-13*w + 7092)>, <-12, 1/19363*(-72*w + 20016)>, <-12, 1/144*(-5*w + 60)>, <-12, 1/67*(-72*w - 581)>, <-12, 1/2*(-w - 8)>, <-12, 1/259*(-138*w + 1242)>, <-4, 1/115*(-21*w + 346)>, <-12, -12*w - 144>, <-12, 1/301*(-138*w + 2095)>, <-12, 1/278*(-w + 289)> ]