/* Defining polynomial */ x^2 - x + 350 /* GCD of coefficients */ 2 /* 24 * |disc|^(3/2) /(8*pi^2)* zeta_F(2) */ 33516.9427140574301861182946411 /* Belt */ [ <288, 1/37*(w + 4)>, <288, 1/37*(w + 32)>, <36, 1/10*(w + 13)>, <48, 1/240*(13*w - 78)>, <36, 1/181*(5*w + 196)>, <48, 1/240*(13*w + 305)>, <48, 1/25*(w - 1)>, <48, 1/14*(w - 1)>, <48, 1/56*(w + 62)>, <48, 1/76*(w + 62)>, <48, 1/4600*(21*w - 231)>, <48, 1/50851*(210*w + 2541)>, <48, 1/6517*(45*w + 567)>, <936, 1/20*(w + 10)>, <48, 1/1100*(9*w - 90)>, <936, 1/20*(w + 9)>, <438, 1/29*(w + 21)>, <24, 1/7*(w + 11)>, <72, 1/482*(21*w + 230)>, <72, 1/440*(21*w + 230)>, <438, 1/28*(w + 21)>, <24, 1/7*(w - 5)>, <24, 1/2204*(15*w + 2019)>, <84, 1/13*(w + 1)>, <24, 1/633*(5*w + 673)>, <84, 1/13*(w + 11)>, <48, 1/931*(10*w + 126)>, <48, 1/931*(10*w + 795)>, <36, 1/17*(w + 14)>, <48, 1/385*(6*w + 274)>, <72, 1/12*(w + 7)>, <120, 1/181*(5*w + 15)>, <192, 1/95*(3*w + 15)>, <24, 1/178*(9*w + 196)>, <24, 1/209*(4*w + 4)>, <120, 1/422*(19*w + 251)>, <120, 1/422*(19*w + 152)>, <24, 1/209*(4*w + 201)>, <108, 1/11*(w - 2)>, <24, 1/89*(3*w + 95)>, <24, 1/138*(5*w + 198)>, <24, 1/140*(3*w + 95)>, <108, 1/46*(w + 33)>, <24, 1/138*(5*w - 65)>, <24, 1/560*(9*w + 110)>, <24, 1/44*(w + 2)>, <24, 1/44*(w + 41)>, <24, 1/266*(3*w + 224)>, <24, 3/25*w>, <24, 1/148*(3*w + 123)>, <168, 1/211*(7*w + 148)>, <168, 1/14*(w + 5)>, <24, 1/560*(9*w + 441)>, <72, 1/185*(6*w + 155)>, <24, 1/6*(w - 8)>, <12, 1/2530*(39*w + 1425)>, <84, 1/115*(3*w + 82)>, <192, 1/95*(3*w + 77)>, <120, 1/196*(5*w + 30)>, <48, 1/116*(3*w + 137)>, <24, 13/378*w>, <24, 27/325*w>, <180, 1/203*(9*w + 63)>, <12, 1/5*(w - 8)>, <168, 1/440*(17*w + 270)>, <24, 1/18*(w + 20)>, <36, 1/560*(17*w + 238)>, <108, 1/241*(7*w + 77)>, <60, 1/422*(7*w + 56)>, <108, 1/241*(7*w + 157)>, <60, 1/7*(w + 8)>, <84, 1/253*(8*w + 149)>, <24, 1/1408*(189*w + 1597)>, <24, 1/181*(21*w + 244)>, <288, 1/55*(2*w + 35)>, <84, 1/266*(11*w + 112)>, <48, 1/105*(8*w - 48)>, <84, 1/181*(8*w + 149)>, <24, 1/21449*(476*w + 10297)>, <48, 1/105*(8*w + 145)>, <24, 1/43621*(756*w + 6388)>, <288, 1/55*(2*w + 18)>, <24, 1/1210*(21*w + 244)>, <84, 1/266*(11*w + 143)>, <24, 1/48*(w + 50)>, <24, 1/725*(12*w + 600)>, <108, 1/20*(w + 8)>, <24, 1/2128*(33*w + 2046)>, <48, 1/352*(15*w + 322)>, <24, 1/182*(15*w + 302)>, <48, 1/28*(w - 7)>, <48, 1/55*(w + 20)>, <24, 1/18779*(285*w + 17480)>, <24, 1/18779*(285*w + 1014)>, <48, 1/352*(15*w + 15)>, <24, 1/2128*(33*w + 49)>, <24, 1/3165*(91*w + 3893)>, <108, 1/20*(w + 11)>, <84, 1/74*(w + 69)>, <96, 1/25*(w + 24)>, <24, 1/76*(9*w - 54)>, <24, 1/580*(9*w + 450)>, <136, 1/21*(w + 10)>, <84, 1/70*(w + 69)>, <96, 1/38*(w + 24)>, <108, 1/76*(3*w + 39)>, <108, 1/58*(3*w + 21)>, <24, 1/21449*(476*w + 10676)>, <24, 1/33*(10*w + 123)>, <72, 1/21*(w + 14)>, <72, 1/80*(3*w + 42)>, <24, 1/33*(10*w - 100)>, <168, 1/440*(17*w + 153)>, <24, 1/90*(17*w - 221)>, <24, 1/4301*(45*w - 585)>, <24, 1/57*(8*w + 97)>, <204, 1/95*(4*w + 20)>, <96, 1/98*(5*w + 30)>, <24, 1/1715*(24*w + 291)>, <204, 1/16*(w + 5)>, <96, 1/20*(w + 6)>, <48, 1/154*(3*w + 91)>, <48, 1/76*(3*w + 91)>, <36, 1/7*(w - 3)>, <24, 1/805*(17*w + 193)>, <24, 1/1068*(85*w - 255)>, <24, 1/91*(9*w - 63)>, <24, 1/504*(13*w - 91)>, <84, 1/115*(3*w + 30)>, <36, 1/356*(7*w - 21)>, <24, 1/176*(17*w + 193)>, <24, 1/85*(3*w - 9)>, <24, 1/4579*(66*w + 4510)>, <84, 1/185*(4*w + 16)>, <84, 1/181*(4*w + 12)>, <228, 1/22*(w + 10)>, <228, 1/22*(w + 11)>, <24, 1/111*(22*w + 88)>, <48, 1/176*(15*w - 150)>, <48, 1/532*(3*w + 39)>, <48, 1/3*(w + 13)>, <48, 1/2047*(30*w + 1395)>, <24, 1/91*(4*w + 115)>, <180, 1/44*(w + 42)>, <72, 1/7*(w + 4)>, <48, 1/95*(w + 104)>, <72, 1/176*(3*w + 170)>, <24, 1/160*(3*w + 172)>, <24, 1/143*(5*w - 25)>, <24, 1/10925*(156*w + 8000)>, <24, 1/2530*(57*w + 915)>, <48, 1/320*(7*w - 70)>, <48, 1/4163*(56*w + 1043)>, <24, 1/36134*(715*w + 12110)>, <24, 1/1688*(39*w + 2000)>, <24, 1/76*(3*w - 9)>, <12, 1/2926*(39*w + 1704)>, <36, 1/133*(3*w + 91)>, <24, 1/1928*(33*w + 2291)>, <24, 1/1928*(33*w - 396)>, <48, 1/74*(w - 5)>, <48, 9/350*w>, <24, 1/3376*(81*w - 729)>, <24, 1/81*(8*w - 72)>, <168, 1/220*(7*w + 150)>, <168, 1/185*(7*w + 150)>, <84, 1/406*(15*w + 286)>, <6, 1/29*(w + 36)>, <48, 1/5*(w - 5)>, <24, 1/111*(16*w + 175)>, <72, 1/6*(w + 4)>, <48, 1/95*(w - 10)>, <180, 1/203*(9*w + 131)>, <24, 1/990*(13*w + 1107)>, <24, 1/11809*(117*w + 9963)>, <144, 1/392*(13*w + 301)>, <24, 1/224*(13*w + 302)>, <180, 1/49*(w + 42)>, <48, 1/9*w>, <72, 1/356*(7*w + 335)>, <84, 1/370*(13*w + 305)>, <84, 1/13*(w + 8)>, <96, 1/133*(4*w + 77)>, <180, 1/203*(8*w + 56)>, <72, 1/506*(21*w + 252)>, <24, 1/725*(12*w + 200)>, <180, 1/203*(8*w + 139)>, <24, 1/725*(12*w + 513)>, <96, 1/133*(4*w + 52)>, <72, 1/21*(w + 12)>, <36, 1/64*(19*w + 254)>, <48, 1/280*(9*w - 90)>, <24, 1/3344*(51*w + 2307)>, <156, 1/40*(w + 9)>, <48, 1/280*(9*w + 361)>, <24, 1/34*(3*w - 27)>, <156, 1/11*(w + 9)>, <36, 1/181*(9*w + 27)>, <24, 1/362*(17*w + 413)>, <72, 1/16*(w + 1)>, <24, 1/5192*(133*w + 3477)>, <48, 1/285*(11*w + 340)>, <120, 1/406*(13*w + 302)>, <24, 1/378*(11*w - 11)>, <48, 1/154*(9*w - 63)>, <72, 1/392*(15*w + 90)>, <48, 1/5*(w - 6)>, <24, 1/64*(9*w - 81)>, <96, 1/356*(11*w + 323)>, <24, 1/56*(3*w - 27)>, <84, 1/482*(17*w + 278)>, <60, 1/362*(11*w + 33)>, <48, 1/352*(7*w + 415)>, <24, 1/33*(2*w - 4)>, <84, 1/88*(w + 86)>, <24, 1/640*(13*w + 390)>, <24, 1/38191*(798*w + 20881)>, <24, 1/2220*(133*w - 665)>, <24, 1/640*(13*w + 237)>, <132, 1/35*(w - 1)>, <24, 1/36*w>, <24, 1/13*(w + 24)>, <24, 1/482*(13*w + 625)>, <48, 1/241*(6*w + 169)>, <48, 1/241*(6*w + 66)>, <24, 1/211*(13*w + 315)>, <48, 1/350*(9*w - 9)>, <120, 1/89*(3*w + 6)>, <24, 1/24*(w - 10)>, <24, 1/26*(w + 34)>, <48, 1/440*(9*w + 81)>, <120, 1/89*(3*w + 80)>, <24, 1/184*(3*w + 82)>, <132, 1/241*(9*w + 133)>, <132, 1/241*(9*w + 99)>, <96, 1/392*(11*w + 66)>, <24, 1/266*(15*w - 60)>, <48, 1/120*(7*w - 49)>, <96, 1/356*(11*w + 22)>, <24, 1/5365*(102*w + 2628)>, <36, 1/203*(11*w + 77)>, <36, 1/280*(11*w + 154)>, <24, 1/119*(6*w - 42)>, <24, 1/64*(9*w + 136)>, <12, 1/10235*(198*w + 9207)>, <48, 1/8*(w + 10)>, <24, 1/88*(17*w + 105)>, <12, 1/2492*(143*w + 2778)>, <60, 1/362*(11*w + 318)>, <12, 1/13*(3*w - 24)>, <120, 1/380*(13*w + 302)>, <12, 1/15575*(81*w + 1319)>, <12, 1/13*(w + 13)>, <184, 1/17*(w + 8)>, <24, 1/90068*(1995*w + 46710)>, <48, 1/5566*(105*w + 3031)>, <96, 1/11*(w + 6)>, <84, 1/88*(w + 1)>, <48, 1/352*(7*w - 70)>, <24, 1/33*(2*w + 35)>, <24, 1/56*(3*w + 80)>, <84, 1/17*(w + 5)>, <120, 1/380*(11*w + 314)>, <48, 1/285*(11*w - 66)>, <72, 1/422*(15*w + 120)>, <48, 1/154*(9*w + 208)>, <24, 1/190*(7*w + 183)>, <24, 1/88*(17*w - 34)>, <48, 1/76*(w - 6)>, <24, 1/4895*(102*w + 2720)>, <24, 1/555*(34*w - 170)>, <24, 1/275*(27*w - 27)>, <24, 1/175*(3*w + 147)>, <24, 1/48*(w + 49)>, <12, 1/2695*(46*w + 1844)>, <12, 1/175*(17*w + 175)>, <156, 1/35*w>, <12, 1/36134*(765*w + 10430)>, <84, 1/10*(w + 2)>, <36, 1/280*(9*w + 126)>, <72, 1/35*(w + 20)>, <24, 1/17*(w + 20)>, <24, 1/42416*(975*w + 16991)>, <72, 1/7*(w + 5)>, <108, 1/7*(w + 6)>, <24, 1/1157*(75*w + 1307)>, <72, 1/7*(w + 1)>, <48, 1/356*(5*w + 341)>, <6, 1/3649*(80*w + 2385)>, <6, 1/20*(w + 2)>, <24, 1/7252*(143*w + 4095)>, <24, 1/260*(11*w + 315)>, <108, 1/50*(w + 49)>, <60, 1/178*(3*w + 6)>, <24, 1/16*(w - 9)>, <24, 1/814*(9*w + 103)>, <36, 1/4*(w - 2)>, <48, 1/493*(11*w - 88)>, <24, 1/1991*(153*w - 612)>, <24, 1/15*(w + 11)>, <204, 1/18*(w + 8)>, <144, 1/362*(13*w + 39)>, <108, 1/20*(w + 12)>, <24, 1/115*(2*w + 70)>, <72, 1/90*(7*w - 70)>, <12, 1/33*(5*w + 63)>, <48, 1/493*(11*w + 570)>, <204, 1/211*(9*w + 72)>, <24, 1/80500*(1683*w + 51867)>, <24, 1/15*(w + 3)>, <144, 1/362*(13*w + 310)>, <108, 1/203*(10*w + 123)>, <72, 1/4163*(63*w + 2723)>, <24, 1/115*(2*w + 43)>, <48, 1/352*(5*w + 5)>, <84, 1/178*(5*w + 10)>, <48, 1/362*(5*w + 15)>, <72, 1/80*(19*w - 190)>, <36, 1/88*(3*w + 91)>, <24, 1/121*(6*w - 42)>, <24, 1/11837*(180*w + 8192)>, <48, 1/181*(6*w + 18)>, <24, 1/181*(16*w - 64)>, <24, 1/181*(16*w + 229)>, <60, 1/178*(3*w + 169)>, <24, 1/45*(4*w - 36)>, <24, 1/38191*(726*w + 18468)>, <48, 1/181*(6*w + 157)>, <48, 1/40940*(819*w + 19971)>, <72, 1/70*(w + 70)>, <24, 1/105*(2*w + 105)>, <24, 1/20*(3*w + 20)>, <48, 1/40940*(819*w + 20150)>, <72, 1/76*(w + 70)>, <324, 1/28*(w + 14)>, <24, 1/7*(w + 12)>, <24, 1/89*(8*w - 24)>, <132, 1/35*(w + 35)>, <324, 1/19*(w + 5)>, <24, 1/7*(w - 6)>, <24, 1/89*(8*w + 105)>, <24, 1/72*(w - 7)>, <72, 1/4853*(38*w + 4313)>, <36, 1/4*(w + 5)>, <24, 1/475*(8*w + 275)>, <24, 1/17864*(255*w + 2394)>, <24, 1/171*(5*w - 30)>, <24, 1/9968*(187*w + 3355)>, <24, 1/220*(17*w + 305)>, <24, 1/36*(w + 41)>, <24, 1/36*(w - 6)>, <24, 1/170*(3*w - 12)>, <24, 1/171*(5*w + 196)>, <24, 1/187*(15*w - 150)>, <24, 1/187*(15*w + 322)>, <48, 1/121*(6*w - 60)>, <24, 1/833*(24*w + 977)>, <48, 1/240*(11*w - 110)>, <24, 1/24073*(408*w + 16609)>, <12, 1/532*(11*w + 675)>, <168, 1/76*(3*w + 58)>, <24, 1/10325*(216*w + 5600)>, <24, 1/178*(9*w + 18)>, <12, 1/16*(9*w + 151)>, <24, 1/592*(27*w + 700)>, <168, 1/88*(3*w + 58)>, <108, 1/44*(w + 45)>, <24, 1/45*(w + 45)>, <24, 1/4361*(45*w + 221)>, <12, 1/350*(11*w + 339)>, <12, 1/2185*(42*w + 1800)>, <72, 1/4508*(51*w + 819)>, <72, 1/120*(17*w + 273)>, <108, 1/55*(w + 45)>, <24, 1/484*(9*w + 405)>, <24, 1/176*(45*w + 221)>, <48, 1/8435*(132*w + 4103)>, <36, 1/59*(2*w + 27)>, <48, 1/460*(7*w + 70)>, <48, 1/460*(7*w + 383)>, <12, 1/241*(4*w + 44)>, <12, 1/209*(4*w + 193)>, <24, 1/42550*(627*w + 41173)>, <24, 1/209*(3*w + 197)>, <36, 1/20*(w + 4)>, <48, 1/240*(11*w - 121)>, <24, 1/406*(27*w + 595)>, <24, 1/1540*(27*w + 595)>, <68, 1/370*(9*w + 325)>, <36, 1/203*(3*w + 179)>, <48, 1/851*(12*w + 603)>, <36, 1/370*(9*w - 45)>, <24, 1/75*(2*w + 83)>, <72, 1/392*(9*w + 329)>, <24, 1/185*(19*w + 261)>, <84, 1/241*(8*w + 145)>, <24, 1/1610*(27*w + 638)>, <24, 1/200*(13*w - 130)>, <48, 1/220*(13*w + 337)>, <60, 1/356*(13*w + 317)>, <24, 1/220*(3*w + 27)>, <72, 1/7*(w + 3)>, <24, 1/220*(3*w + 190)>, <48, 1/805*(13*w + 337)>, <24, 1/200*(13*w + 317)>, <60, 1/460*(13*w + 317)>, <24, 1/256424*(3575*w + 282450)>, <24, 1/25*(w + 13)>, <24, 1/356*(3*w + 6)>, <156, 1/44*(w + 9)>, <24, 3/350*w>, <24, 1/105*(w + 4)>, <84, 1/176*(5*w + 5)>, <24, 1/37558*(561*w + 2589)>, <84, 1/10*(w + 1)>, <12, 1/267*(7*w + 281)>, <84, 1/185*(8*w + 145)>, <24, 1/392*(15*w - 105)>, <216, 1/440*(19*w + 250)>, <36, 1/176*(3*w + 179)>, <12, 1/46*(w + 4)>, <12, 1/37*(w - 5)>, <24, 1/74*(21*w + 84)>, <24, 1/185*(19*w - 95)>, <24, 1/37558*(561*w + 34408)>, <24, 1/422*(27*w + 638)>, <24, 1/126*(5*w - 45)>, <12, 1/98*(9*w - 63)>, <48, 1/165*(4*w + 201)>, <72, 1/532*(23*w + 210)>, <12, 1/165*(8*w + 237)>, <24, 1/75*(2*w - 10)>, <36, 1/9*(w - 5)>, <72, 1/356*(9*w + 329)>, <12, 1/24605*(468*w + 16857)>, <36, 1/185*(9*w + 140)>, <24, 1/189*(4*w + 201)>, <24, 1/147*(4*w - 32)>, <12, 1/3800*(117*w + 3150)>, <24, 1/232*(21*w - 168)>, <12, 1/5*(3*w - 37)>, <24, 1/1448*(189*w + 2015)>, <48, 1/241*(5*w + 55)>, <24, 1/126*(5*w - 60)>, <24, 1/68992*(855*w + 7090)>, <24, 1/905*(171*w + 1418)>, <72, 1/14*(w + 1)>, <72, 1/14*(w + 12)>, <48, 1/70*(9*w + 133)>, <36, 1/2*(w + 3)>, <12, 1/53395*(1539*w + 23166)>, <12, 1/176*(7*w - 14)>, <48, 1/261*(5*w + 296)>, <12, 1/171*(4*w + 171)>, <60, 1/203*(4*w + 28)>, <24, 1/280*(9*w + 334)>, <24, 1/34*(w + 33)>, <48, 1/132*(17*w + 285)>, <24, 1/2552*(45*w + 1670)>, <48, 1/176*(5*w - 10)>, <24, 1/736*(17*w + 561)>, <48, 1/170*(3*w + 197)>, <24, 1/19712*(255*w + 1250)>, <24, 1/482*(5*w + 55)>, <24, 1/475*(11*w + 264)>, <48, 1/362*(17*w + 51)>, <24, 2/175*w>, <24, 1/100*(27*w + 73)>, <24, 1/88*(3*w + 115)>, <24, 1/532*(23*w - 138)>, <24, 1/23*(w - 2)>, <24, 1/15*(w + 15)>, <24, 1/68*(w + 70)>, <24, 1/609*(19*w - 152)>, <48, 1/361*(9*w - 54)>, <24, 1/110*(w + 104)>, <48, 1/483*(w + 493)>, <24, 1/6989*(66*w + 7161)>, <96, 1/89*(2*w + 4)>, <24, 1/104*(7*w + 153)>, <24, 1/836*(9*w + 26)>, <24, 1/2*(w - 6)>, <84, 1/50*(w - 1)>, <24, 1/520*(19*w + 691)>, <24, 1/85*(8*w - 72)>, <24, 1/45793*(680*w + 32448)>, <24, 1/20815*(462*w + 10255)>, <96, 1/181*(7*w + 153)>, <24, 1/203*(w + 195)>, <24, 1/520*(19*w - 190)>, <84, 1/58*(w + 7)>, <24, 13/350*w>, <12, 1/27715*(539*w + 21835)>, <24, 1/506*(13*w + 156)>, <24, 1/12*(w + 24)>, <24, 1/475*(6*w + 144)>, <24, 1/441*(40*w + 681)>, <12, 1/100*(3*w + 91)>, <12, 1/532*(11*w + 143)>, <24, 1/320*(9*w + 374)>, <12, 1/1127*(10*w + 1040)>, <96, 1/15*(w + 10)>, <12, 1/185*(w - 5)>, <72, 1/392*(19*w + 114)>, <36, 1/98*(w + 6)>, <24, 1/153*(5*w + 188)>, <108, 1/253*(9*w + 136)>, <6, 1/25*(w + 23)>, <6, 1/41*(w + 17)>, <24, 1/3*(w + 1)>, <108, 1/253*(9*w + 108)>, <48, 1/361*(9*w + 406)>, <24, 1/133*(2*w + 105)>, <12, 1/19*(9*w - 135)>, <24, 1/380*(3*w + 371)>, <24, 1/267*(95*w - 18)>, <96, 1/95*(2*w + 10)>, <24, 1/2030*(153*w + 3101)>, <24, 1/1421*(52*w + 1785)>, <36, 1/2*w>, <12, 1/44275*(1053*w + 27297)>, <72, 1/392*(19*w + 259)>, <36, 1/89*(w - 3)>, <24, 1/231*(2*w + 217)>, <48, 1/10604*(21*w + 10353)>, <24, 1/1127*(11*w + 1144)>, <24, 1/90*w>, <24, 1/609*(19*w + 742)>, <126, 1/482*(19*w + 254)>, <36, 1/176*(w + 177)>, <24, 1/15*(w - 1)>, <24, 1/1330*(17*w + 1190)>, <12, 1/11837*(276*w + 6248)>, <24, 1/23*(w + 24)>, <24, 1/190*(3*w + 115)>, <24, 1/8140*(161*w + 3450)>, <24, 1/181*(2*w + 6)>, <12, 1/392*(69*w + 414)>, <12, 1/51*w>, <12, 1/391*(7*w + 14)>, <24, 27/100*w>, <24, 1/178*(11*w - 33)>, <48, 1/17*(w + 3)>, <126, 1/482*(19*w + 209)>, <24, 1/5*(w + 11)>, <24, 1/175*(12*w - 12)>, <24, 1/19712*(255*w + 18207)>, <24, 1/736*(13*w + 866)>, <24, 1/247*(15*w + 322)>, <24, 1/736*(13*w - 143)>, <24, 1/9856*(195*w + 4186)>, <12, 1/2128*(25*w + 2453)>, <12, 1/253*(13*w - 65)>, <24, 1/97846*(969*w + 12954)>, <48, 1/4*(w + 9)>, <24, 1/84350*(1683*w + 53550)>, <78, 1/506*(17*w + 285)>, <78, 1/17*(w + 4)>, <24, 1/45793*(936*w + 27424)>, <48, 1/14168*(171*w + 2331)>, <96, 1/14*(w + 10)>, <24, 1/306*(11*w + 350)>, <24, 1/45793*(936*w + 17433)>, <48, 1/14168*(171*w + 11666)>, <24, 1/76382*(855*w + 11060)>, <24, 1/704*(171*w + 875)>, <24, 1/168*(5*w + 188)>, <24, 1/712*(189*w - 567)>, <24, 1/22517*(420*w + 15792)>, <24, 1/189*(2*w - 6)>, <24, 1/171*(2*w + 173)>, <24, 1/76382*(855*w + 64467)>, <24, 1/65*(3*w - 18)>, <24, 1/161*(3*w + 53)>, <60, 1/230*(w - 11)>, <24, 1/38*(3*w + 53)>, <24, 1/190*(3*w + 190)>, <24, 1/105*(19*w + 105)>, <24, 1/1958*(39*w + 879)>, <24, 1/89*(21*w + 26)>, <24, 1/89*(21*w + 42)>, <24, 1/623*(12*w + 231)>, <24, 1/380*(3*w + 15)>, <24, 19/140*w>, <24, 1/140*(19*w + 121)>, <24, 1/623*(12*w + 380)>, <24, 1/97846*(969*w + 83923)>, <24, 1/3*(w + 5)>, <48, 1/4*(w - 6)>, <24, 1/380*(9*w + 389)>, <24, 1/190*(w + 5)>, <24, 1/340*(11*w + 395)>, <24, 1/45793*(855*w + 36955)>, <24, 1/190*(w + 184)>, <24, 1/209*(17*w + 294)>, <48, 1/3*(w - 10)>, <24, 1/147*(5*w + 177)>, <24, 1/836*(15*w + 531)>, <12, 1/2183*(6*w - 87)>, <48, 1/22895*(374*w + 6116)>, <24, 1/392*(15*w + 482)>, <24, 1/475*(34*w + 645)>, <12, 1/178*(5*w + 188)>, <6, 1/64009*(1600*w + 50825)>, <24, 1/8869*(170*w + 3225)>, <48, 1/176*(17*w + 278)>, <24, 1/703*(21*w + 787)>, <6, 1/3*(w + 4)>, <6, 1/361*(3*w + 3)>, <24, 1/87242*(1815*w + 36542)>, <24, 1/2775*(121*w - 605)>, <6, 1/7714*(121*w + 8561)>, <24, 1/210*(19*w + 286)>, <12, 1/160*(3*w - 27)>, <12, 1/211*(3*w + 24)>, <24, 1/89*(7*w - 21)>, <24, 1/108*(7*w - 56)>, <60, 1/8*(w + 7)>, <24, 1/21449*(378*w + 12593)>, <12, 1/28*(w - 5)>, <24, 1/28*(w - 3)>, <24, 1/1210*(19*w + 336)>, <24, 1/182*(15*w + 287)>, <24, 23/175*w>, <24, 1/115*(2*w + 8)>, <24, 1/539*(10*w + 420)>, <24, 1/2695*(38*w + 1992)>, <48, 1/211*(4*w + 175)>, <48, 1/175*(4*w + 175)>, <24, 1/11837*(260*w + 5005)>, <24, 1/272*(13*w - 91)>, <72, 1/362*(9*w + 326)>, <12, 1/16109*(240*w + 2349)>, <72, 1/362*(9*w + 27)>, <24, 1/272*(13*w + 350)>, <24, 1/1448*(65*w - 260)>, <24, 1/3204*(323*w + 3850)>, <24, 1/350*(3*w - 3)>, <24, 1/323*(9*w + 341)>, <24, 1/362*(3*w + 9)>, <24, 1/85*(w + 89)>, <12, 1/352*(19*w + 371)>, <24, 1/406*(9*w + 334)>, <48, 1/40090*(693*w + 24745)>, <12, 1/2321*(12*w - 108)>, <48, 1/99*(7*w - 56)>, <24, 1/406*(9*w + 63)>, <24, 1/74*(17*w + 142)>, <12, 1/37136*(805*w + 26726)>, <12, 1/352*(85*w - 170)>, <24, 1/98*(17*w + 285)>, <24, 1/93610*(833*w + 13965)>, <24, 1/1687*(40*w - 480)>, <6, 1/1335*(64*w + 1463)>, <12, 1/17*(2*w - 20)>, <24, 1/203*(19*w + 336)>, <12, 1/11816*(115*w + 1075)>, <12, 1/36*(w - 10)>, <24, 1/844*(19*w + 996)>, <24, 1/182*(15*w - 120)>, <60, 1/460*(17*w + 170)>, <12, 1/64*(3*w + 82)>, <24, 1/1210*(23*w + 1035)>, <24, 1/148*(23*w + 92)>, <12, 1/80*(w - 2)>, <24, 1/539*(10*w + 109)>, <24, 1/357*(5*w + 377)>, <12, 1/441*(13*w + 337)>, <12, 1/506*(63*w + 756)>, <12, 1/29348*(315*w + 1250)>, <24, 1/152764*(1785*w + 134589)>, <96, 1/23*(w + 11)>, <24, 1/99176*(475*w + 92226)>, <24, 1/99176*(475*w + 6475)>, <24, 1/133*(5*w - 35)>, <24, 1/280*(19*w - 133)>, <6, 1/133940*(361*w + 1814)>, <6, w + 4>, <12, 1/52510*(1197*w + 20083)>, <24, 1/36925*(684*w + 29925)>, <6, 1/168700*(3971*w + 126350)>, <6, 1/11*(w + 11)>, <12, 1/350*w>, <24, 1/36925*(684*w + 6316)>, <36, 1/460*(9*w + 90)>, <24, 1/32*(3*w - 6)>, <48, 1/108*(17*w - 187)>, <24, 1/253*(6*w + 72)>, <36, 1/460*(9*w + 361)>, <24, 1/33*(w - 2)>, <48, 1/45790*(459*w + 37825)>, <24, 1/12*(w + 12)>, <24, 1/44*(3*w - 6)>, <24, 1/336*(19*w + 450)>, <24, 1/950*(17*w + 408)>, <24, 1/21*(w - 4)>, <24, 1/185*(2*w + 8)>, <36, 1/176*(w + 174)>, <24, 1/112*(3*w + 42)>, <24, 1/210*(19*w - 19)>, <24, 1/108*(7*w - 49)>, <24, 1/77*(9*w - 72)>, <24, 1/171*(2*w - 6)>, <36, 1/356*(5*w - 15)>, <24, 1/4820*(13*w - 156)>, <24, 1/51359*(130*w + 1599)>, <12, 1/78*(7*w - 91)>, <12, 1/64009*(900*w + 70525)>, <12, 1/3325*(36*w + 2821)>, <12, 1/400*(11*w + 323)>, <12, 1/211*(50*w + 400)>, <12, 1/10339*(50*w + 189)>, <24, 1/323*(10*w + 373)>, <12, 1/25*(w + 20)>, <12, 1/21*(5*w + 70)>, <12, 1/259*(5*w + 49)>, <24, 1/200*(17*w + 285)>, <24, 1/532*(w - 14)>, <24, 1/440*(3*w + 27)>, <24, 1/392*(3*w - 21)>, <36, 1/356*(5*w + 366)>, <12, 1/91*(9*w - 54)>, <24, 1/108*(7*w + 150)>, <24, 1/522*(11*w - 88)>, <24, 1/112*(3*w + 67)>, <24, 1/171*(2*w + 175)>, <24, 1/210*(19*w + 210)>, <72, 1/532*(23*w + 299)>, <24, 1/175*(2*w - 2)>, <12, 1/25520*(119*w + 1890)>, <24, 1/21*(w + 24)>, <24, 1/950*(17*w + 525)>, <24, 1/336*(19*w - 133)>, <24, 1/24*(w - 2)>, <96, 1/15*(w + 4)>, <24, 1/10*(3*w + 7)>, <12, 1/8722*(85*w + 902)>, <12, 1/560*(23*w + 322)>, <12, 1/169*(11*w - 165)>, <24, 1/105*(w + 104)>, <24, 1/3*(w + 8)>, <48, 1/175*(3*w + 175)>, <24, 1/272*(13*w + 337)>, <12, 1/1520*(51*w + 1775)>, <48, 1/196*(3*w + 175)>, <24, 1/272*(13*w - 78)>, <24, 1/203*(2*w + 187)>, <48, 1/4853*(21*w + 4599)>, <12, 1/1472*(21*w + 693)>, <48, 1/4853*(21*w + 233)>, <24, 1/560*(19*w + 275)>, <12, 1/185*(8*w + 217)>, <24, 1/181*(2*w + 187)>, <24, 1/154*(3*w + 102)>, <24, 1/154*(3*w + 49)>, <12, 1/100*(w + 100)>, <12, 1/11*(2*w + 18)>, <12, 1/77*(2*w + 7)>, <48, 1/440*(3*w - 30)>, <48, 1/89*(2*w + 93)>, <24, 1/3*(w - 6)>, <12, 1/370*(w + 374)>, <12, 1/905*(108*w + 324)>, <12, 1/45793*(1000*w + 26168)>, <6, 1/406*(3*w + 382)>, <6, 1/150220*(1083*w + 11235)>, <12, 1/3982*(285*w + 4837)>, <24, 1/80*(7*w - 84)>, <24, 1/2047*(45*w + 310)>, <12, 1/1827*(34*w + 2065)>, <24, 1/28*(9*w - 117)>, <12, 1/3960*(49*w - 490)>, <24, 1/2047*(45*w + 1692)>, <24, 1/40*(w + 45)>, <24, 1/3800*(91*w + 4255)>, <12, 1/178*(7*w - 21)>, <12, 1/80*(7*w + 192)>, <24, 1/91*(10*w + 141)>, <12, 1/8018*(99*w + 8810)>, <24, 1/154000*(2907*w + 38043)>, <24, 1/323*(9*w - 36)>, <24, 1/85*(7*w - 84)>, <12, 1/385*(3*w + 322)>, <24, 1/770*(13*w + 497)>, <12, 1/242*(3*w + 224)>, <24, 1/133*(2*w + 26)>, <24, 1/13*(w - 8)>, <24, 1/44528*(595*w + 30163)>, <12, 1/391*(13*w + 365)>, <12, 1/560*(13*w + 182)>, <48, 1/116162*(805*w + 123372)>, <48, 1/70*(23*w + 276)>, <12, 1/42833*(600*w + 10425)>, <24, 1/121*(2*w + 90)>, <12, 1/213532*(1365*w + 197022)>, <24, 1/45034*(665*w + 19365)>, <24, 1/45034*(665*w + 25004)>, <24, 1/1780*(171*w - 513)>, <6, 1/128872*(361*w + 129238)>, <6, w + 3>, <24, 1/171*(5*w - 15)>, <12, 1/161000*(3971*w + 122379)>, <12, 1/361*(w + 10)>, <12, 1/3150*(361*w + 3150)>, <24, 1/2047*(34*w + 1581)>, <24, 1/356*(33*w + 422)>, <24, 1/148*(17*w - 85)>, <24, 1/33*(w + 35)>, <24, 1/6325*(114*w + 2886)>, <24, 1/196*(9*w + 250)>, <36, 1/266*(9*w + 140)>, <24, 1/175*(w + 175)>, <24, 1/1295*(171*w + 1979)>, <24, 1/1477*(171*w - 1539)>, <24, 1/211*(2*w + 193)>, <24, 1/50*(9*w - 90)>, <48, 1/55*(9*w + 136)>, <24, 1/9640*(21*w + 9870)>, <12, 1/1280*(21*w + 630)>, <24, 1/22*(21*w + 252)>, <52, 1/506*(25*w + 181)>, <12, 1/4820*(11*w - 132)>, <12, 1/7511*(60*w + 7640)>, <12, 1/40*(w + 7)>, <12, 1/37*(20*w - 63)>, <24, 1/4669*(45*w + 3969)>, <48, 1/55*(9*w - 90)>, <24, 1/211*(2*w + 16)>, <24, 1/1477*(171*w + 2845)>, <24, 1/178*(w + 175)>, <24, 1/342*(7*w + 370)>, <24, 1/196*(9*w - 63)>, <24, 1/6325*(114*w + 3325)>, <24, 1/285*(13*w + 350)>, <24, 1/616*(39*w + 850)>, <24, 1/285*(13*w - 78)>, <12, 1/5980*(187*w + 7850)>, <24, 1/616*(39*w - 273)>, <24, 1/6*(w + 11)>, <24, 1/20*(w + 25)>, <24, 1/89*(19*w - 57)>, <48, 1/190*(3*w + 172)>, <48, 1/175*(3*w + 172)>, <36, 1/2185*(16*w + 2345)>, <60, 1/230*(w + 240)>, <12, 1/3856*(57*w - 684)>, <24, 1/1012*(21*w + 417)>, <12, 4/21*w>, <24, 1/111*(7*w + 139)>, <24, 1/70*(w + 55)>, <24, 1/70*(w + 14)>, <24, w - 14>, <24, 1/89*(19*w + 127)>, <24, 1/190*(3*w + 205)>, <24, 1/50*(w + 25)>, <12, 1/560*(9*w + 425)>, <12, 1/115*(6*w + 49)>, <12, 1/4921*(45*w + 4176)>, <24, 1/1840*(153*w + 3370)>, <12, 1/3258*(425*w + 1558)>, <12, 1/506*(9*w + 389)>, <24, 1/43621*(612*w + 13480)>, <24, 1/1725*(38*w + 2105)>, <24, 1/195692*(855*w + 183407)>, <24, 1/152*(15*w + 302)>, <72, 1/27715*(66*w - 720)>, <60, 1/460*(17*w + 273)>, <12, 1/8722*(81*w + 1270)>, <12, 1/422*(81*w + 1070)>, <24, 1/136*(5*w - 50)>, <12, 1/3421*(26*w + 2979)>, <12, 1/311*(11*w + 176)>, <12, 1/56840*(429*w + 61325)>, <24, 1/5302*(85*w + 2140)>, <24, 1/482*(9*w + 374)>, <24, 1/9*(w - 3)>, <12, 1/356*(w + 353)>, <12, 1/3204*(361*w + 722)>, <24, 1/85796*(1683*w + 69938)>, <24, 1/374*(9*w + 374)>, <24, 1/37*(2*w + 45)>, <24, 1/178*(w + 180)>, <24, 1/126*(5*w + 181)>, <72, 1/12*(11*w - 120)>, <12, 1/460*(3*w + 427)>, <12, 1/2233*(10*w + 123)>, <24, 1/185*(w + 180)>, <24, 1/37*(2*w - 10)>, <24, 1/221*(15*w - 105)>, <24, 1/285*(13*w - 65)>, <24, 1/221*(15*w + 311)>, <24, 1/285*(13*w + 337)>, <12, 1/34*(9*w + 133)>, <12, 1/407*(5*w + 390)>, <12, 1/2*(5*w - 68)>, <6, 1/187220*(1377*w + 162758)>, <12, 1/27*(w + 32)>, <12, 1/153*(4*w - 16)>, <12, 1/704*(81*w + 785)>, <24, 1/136*(5*w + 166)>, <12, 1/7480*(117*w - 1170)>, <12, 1/91*(17*w - 204)>, <24, 1/245*(17*w + 347)>, <24, 1/35*(19*w + 16)>, <24, 1/190*(w + 189)>, <12, 1/22*(25*w + 25)>, <2, 1/289*(9*w + 325)>, <12, 1/46805*(612*w + 15440)>, <12, 1/253*(4*w + 201)>, <12, 1/142912*(2601*w + 43785)>, <12, 1/6664*(171*w - 1197)>, <24, 1/211*(w + 202)>, <24, 1/196*(w + 202)>, <24, 1/24794*(285*w + 4179)>, <12, 1/5060*(3*w - 39)>, <24, 1/24794*(285*w + 20330)>, <8, 1/256036*(2975*w - 24514)>, <8, 1/119*(25*w - 206)>, <12, 1/3220*(289*w + 6110)>, <12, 1/19*(21*w - 254)>, <4, 1/178084*(2261*w + 35777)>, <12, 1/8360*(441*w + 3969)>, <12, 1/441*(w + 430)>, <12, 1/202400*(441*w + 3950)>, <4, 1/211600*(399*w + 4351)>, <-12, 1/2530*(-39*w + 1464)>, <-12, 1/5*(-w - 7)>, <-12, 1/2926*(-39*w + 1743)>, <-6, 1/29*(-w + 37)>, <-24, 1/36*(-w + 1)>, <-12, 1/10235*(-198*w + 9405)>, <-12, 1/2492*(-143*w + 2921)>, <-12, 1/13*(-3*w - 21)>, <-12, 1/15575*(-81*w + 1400)>, <-12, 1/13*(-w + 14)>, <-12, 1/2695*(-46*w + 1890)>, <-12, 1/175*(-17*w + 192)>, <-12, 1/36134*(-765*w + 11195)>, <-6, 1/3649*(-80*w + 2465)>, <-6, 1/20*(-w + 3)>, <-12, 1/33*(-5*w + 68)>, <-12, 1/532*(-11*w + 686)>, <-24, 1/178*(-9*w + 27)>, <-12, 1/16*(-9*w + 160)>, <-12, 1/350*(-11*w + 350)>, <-12, 1/2185*(-42*w + 1842)>, <-12, 1/241*(-4*w + 48)>, <-12, 1/209*(-4*w + 197)>, <-24, 1/256424*(-3575*w + 286025)>, <-24, 1/25*(-w + 14)>, <-12, 1/267*(-7*w + 288)>, <-12, 1/46*(-w + 5)>, <-12, 1/37*(-w - 4)>, <-24, 1/126*(-5*w - 40)>, <-12, 1/98*(-9*w - 54)>, <-12, 1/165*(-8*w + 245)>, <-12, 1/24605*(-468*w + 17325)>, <-12, 1/3800*(-117*w + 3267)>, <-12, 1/5*(-3*w - 34)>, <-12, 1/53395*(-1539*w + 24705)>, <-12, 1/176*(-7*w - 7)>, <-12, 1/171*(-4*w + 175)>, <-24, 1/20815*(-462*w + 10717)>, <-12, 1/27715*(-539*w + 22374)>, <-12, 1/100*(-3*w + 94)>, <-12, 1/532*(-11*w + 154)>, <-12, 1/1127*(-10*w + 1050)>, <-12, 1/185*(-w - 4)>, <-6, 1/25*(-w + 24)>, <-6, 1/41*(-w + 18)>, <-12, 1/19*(-9*w - 126)>, <-12, 1/44275*(-1053*w + 28350)>, <-12, 1/11837*(-276*w + 6524)>, <-12, 1/392*(-69*w + 483)>, <-12, 1/51*(-w + 1)>, <-12, 1/391*(-7*w + 21)>, <-24, -12/175*w>, <-12, 1/2128*(-25*w + 2478)>, <-12, 1/253*(-13*w - 52)>, <-12, 1/2183*(-6*w - 81)>, <-12, 1/178*(-5*w + 193)>, <-6, 1/64009*(-1600*w + 52425)>, <-6, 1/3*(-w + 5)>, <-6, 1/361*(-3*w + 6)>, <-6, 1/7714*(-121*w + 8682)>, <-12, 1/160*(-3*w - 24)>, <-12, 1/211*(-3*w + 27)>, <-12, 1/28*(-w - 4)>, <-12, 1/16109*(-240*w + 2589)>, <-12, 1/352*(-19*w + 390)>, <-12, 1/2321*(-12*w - 96)>, <-12, 1/37136*(-805*w + 27531)>, <-12, 1/352*(-85*w - 85)>, <-6, 1/1335*(-64*w + 1527)>, <-12, 1/17*(-2*w - 18)>, <-12, 1/11816*(-115*w + 1190)>, <-12, 1/36*(-w - 9)>, <-12, 1/64*(-3*w + 85)>, <-12, 1/80*(-w - 1)>, <-12, 1/441*(-13*w + 350)>, <-12, 1/506*(-63*w + 819)>, <-12, 1/29348*(-315*w + 1565)>, <-6, 1/133940*(-361*w + 2175)>, <-6, -w + 5>, <-12, 1/52510*(-1197*w + 21280)>, <-6, 1/168700*(-3971*w + 130321)>, <-6, 1/11*(-w + 12)>, <-12, 1/78*(-7*w - 84)>, <-12, 1/400*(-11*w + 334)>, <-12, 1/211*(-50*w + 450)>, <-12, 1/10339*(-50*w + 239)>, <-12, 1/25*(-w + 21)>, <-12, 1/21*(-5*w + 75)>, <-12, 1/259*(-5*w + 54)>, <-12, 1/91*(-9*w - 45)>, <-12, 1/25520*(-119*w + 2009)>, <-12, 1/8722*(-85*w + 987)>, <-12, 1/560*(-23*w + 345)>, <-12, 1/169*(-11*w - 154)>, <-12, 1/1520*(-51*w + 1826)>, <-12, 1/1472*(-21*w + 714)>, <-24, 1/560*(-19*w + 294)>, <-12, 1/185*(-8*w + 225)>, <-12, 1/100*(-w + 101)>, <-12, 1/11*(-2*w + 20)>, <-12, 1/77*(-2*w + 9)>, <-12, 1/370*(-w + 375)>, <-12, 1/905*(-108*w + 432)>, <-12, 1/45793*(-1000*w + 27168)>, <-6, 1/406*(-3*w + 385)>, <-6, 1/150220*(-1083*w + 12318)>, <-12, 1/3982*(-285*w + 5122)>, <-12, 1/1827*(-34*w + 2099)>, <-24, 1/28*(-9*w - 108)>, <-12, 1/3960*(-49*w - 441)>, <-12, 1/178*(-7*w - 14)>, <-12, 1/80*(-7*w + 199)>, <-12, 1/8018*(-99*w + 8909)>, <-12, 1/385*(-3*w + 325)>, <-12, 1/242*(-3*w + 227)>, <-12, 1/391*(-13*w + 378)>, <-12, 1/560*(-13*w + 195)>, <-12, 1/42833*(-600*w + 11025)>, <-12, 1/213532*(-1365*w + 198387)>, <-6, 1/128872*(-361*w + 129599)>, <-6, -w + 4>, <-12, 1/161000*(-3971*w + 126350)>, <-12, 1/361*(-w + 11)>, <-12, 1/3150*(-361*w + 3511)>, <-12, 1/1280*(-21*w + 651)>, <-12, 1/4820*(-11*w - 121)>, <-12, 1/7511*(-60*w + 7700)>, <-12, 1/40*(-w + 8)>, <-12, 1/37*(-20*w - 43)>, <-12, 1/5980*(-187*w + 8037)>, <-12, 1/3856*(-57*w - 627)>, <-12, 1/21*(-4*w + 4)>, <-12, 1/560*(-9*w + 434)>, <-12, 1/115*(-6*w + 55)>, <-12, 1/4921*(-45*w + 4221)>, <-12, 1/3258*(-425*w + 1983)>, <-12, 1/506*(-9*w + 398)>, <-24, 1/195692*(-855*w + 184262)>, <-12, 1/8722*(-81*w + 1351)>, <-12, 1/422*(-81*w + 1151)>, <-12, 1/3421*(-26*w + 3005)>, <-12, 1/311*(-11*w + 187)>, <-12, 1/56840*(-429*w + 61754)>, <-12, 1/356*(-w + 354)>, <-12, 1/3204*(-361*w + 1083)>, <-12, 1/460*(-3*w + 430)>, <-12, 1/2233*(-10*w + 133)>, <-12, 1/34*(-9*w + 142)>, <-12, 1/407*(-5*w + 395)>, <-12, 1/2*(-5*w - 63)>, <-6, 1/187220*(-1377*w + 164135)>, <-12, 1/27*(-w + 33)>, <-12, 1/153*(-4*w - 12)>, <-12, 1/704*(-81*w + 866)>, <-12, 1/7480*(-117*w - 1053)>, <-12, 1/91*(-17*w - 187)>, <-12, 1/22*(-25*w + 50)>, <-2, 1/289*(-9*w + 334)>, <-12, 1/46805*(-612*w + 16052)>, <-12, 1/253*(-4*w + 205)>, <-12, 1/142912*(-2601*w + 46386)>, <-12, 1/6664*(-171*w - 1026)>, <-12, 1/5060*(-3*w - 36)>, <-12, 1/3220*(-289*w + 6399)>, <-12, 1/19*(-21*w - 233)>, <-4, 1/178084*(-2261*w + 38038)>, <-12, 1/8360*(-441*w + 4410)>, <-12, 1/441*(-w + 431)>, <-12, 1/202400*(-441*w + 4391)>, <-4, 1/211600*(-399*w + 4750)> ]