/* Defining polynomial */ x^2 - x + 306 /* GCD of coefficients */ 2 /* 24 * |disc|^(3/2) /(8*pi^2)* zeta_F(2) */ 31869.7291132714682319264901758 /* Belt */ [ <180, 1/53*(w + 3)>, <180, 1/53*(w + 49)>, <96, 1/312*(11*w + 279)>, <24, 1/56*(w + 26)>, <24, 1/18*(w + 26)>, <96, 1/378*(11*w + 279)>, <48, 1/14*(w + 13)>, <156, 1/63*(2*w + 16)>, <48, 1/244*(7*w + 91)>, <156, 1/63*(2*w + 45)>, <72, 1/286*(5*w + 166)>, <24, 1/11*(w - 3)>, <72, 1/15*(w - 9)>, <24, 1/11*(w + 13)>, <24, 1/9593*(102*w + 8415)>, <12, 1/306*(w + 305)>, <6, 1/18*(w + 18)>, <18, 1/18*w>, <96, 1/159*(5*w + 15)>, <96, 1/159*(5*w + 139)>, <24, 1/153*(2*w + 165)>, <24, 1/3077*(55*w - 440)>, <24, 1/3077*(55*w + 3462)>, <60, 1/6*(w - 3)>, <48, 1/153*(2*w + 151)>, <36, 1/14*(w - 1)>, <84, 1/189*(5*w + 144)>, <36, 1/66*(w + 9)>, <36, 1/53*(w - 4)>, <888, 1/21*(w + 8)>, <888, 1/21*(w + 12)>, <60, 1/63*(w + 54)>, <48, 1/159*(2*w + 151)>, <36, 1/258*(7*w + 153)>, <84, 1/154*(5*w + 144)>, <24, 1/73*(3*w - 36)>, <24, 1/18*(w - 12)>, <228, 1/15*(w + 8)>, <228, 1/116*(5*w + 81)>, <96, 1/348*(11*w + 66)>, <96, 1/11*(w + 6)>, <324, 1/16*(w + 5)>, <324, 1/21*(w + 5)>, <60, 1/147*(4*w + 179)>, <60, 1/1793*(28*w + 1253)>, <132, 1/14*(w + 4)>, <132, 1/163*(7*w + 28)>, <24, 1/171*(2*w - 2)>, <24, 1/68*(19*w - 19)>, <24, 1/270*(7*w - 28)>, <24, 1/27666*(595*w + 16541)>, <24, 1/1630*(119*w - 595)>, <24, 1/16952*(315*w + 3542)>, <24, 1/748*(15*w + 510)>, <48, 1/18*(w + 4)>, <138, 1/34*w>, <48, 1/12*(w + 20)>, <48, 1/12*(w - 9)>, <48, 1/18*(w + 13)>, <138, 1/34*(w + 33)>, <24, 1/13*(w + 13)>, <36, 1/326*(5*w + 301)>, <24, 1/13*(w - 1)>, <36, 1/5*w>, <24, 1/163*(15*w - 75)>, <24, 1/1113*(22*w + 596)>, <24, 1/1113*(22*w + 495)>, <60, 1/3*(w - 4)>, <24, 1/8268*(119*w + 2227)>, <24, 1/2771*(91*w + 3135)>, <24, 1/2279*(39*w + 533)>, <24, 1/162*(13*w - 117)>, <204, 1/181*(7*w + 49)>, <24, 1/378*(5*w + 333)>, <48, 1/153*(2*w - 2)>, <108, 1/13*(w + 8)>, <48, 1/153*(2*w + 153)>, <108, 1/378*(13*w + 104)>, <24, 1/318*(5*w + 333)>, <24, 1/68*(7*w + 131)>, <24, 1/77592*(1547*w + 53295)>, <24, 1/91*(3*w - 27)>, <204, 1/181*(7*w + 125)>, <24, 1/2279*(39*w + 1707)>, <60, 1/106*(w - 4)>, <24, 1/12932*(315*w + 10962)>, <48, 1/126*(5*w + 141)>, <132, 1/163*(5*w + 20)>, <24, 1/39772*(495*w + 32787)>, <24, 1/189*(5*w + 174)>, <48, 1/4706*(105*w + 2961)>, <132, 1/163*(5*w + 138)>, <24, 1/3258*(55*w + 3643)>, <48, 1/15*(w + 10)>, <24, 1/10*(w - 11)>, <36, 1/18*(w + 3)>, <120, 1/159*(7*w + 131)>, <72, 1/44*(w + 45)>, <48, 1/9*(w - 12)>, <36, 1/326*(7*w + 354)>, <48, 1/18*(w - 6)>, <48, 1/891*(7*w + 954)>, <132, 1/132*(5*w + 82)>, <24, 1/11899*(200*w + 3075)>, <444, 1/12*(w + 6)>, <156, 1/208*(9*w + 109)>, <108, 1/416*(19*w + 207)>, <12, 1/210*(w + 218)>, <132, 1/17*(w + 6)>, <132, 1/17*(w + 10)>, <96, 1/159*(4*w + 12)>, <96, 1/163*(4*w + 16)>, <96, 1/10*(w + 7)>, <96, 1/10*(w + 2)>, <72, 1/36*(19*w + 207)>, <24, 1/462*(5*w + 445)>, <108, 1/36*(w + 9)>, <24, 1/49*(2*w + 59)>, <24, 1/96*(7*w + 131)>, <96, 1/48*(w + 42)>, <96, 1/44*(w + 42)>, <24, 1/19*(w + 26)>, <360, 1/24*(w + 5)>, <24, 1/90*(w + 89)>, <24, 1/1008*(19*w + 494)>, <108, 1/28*(w + 1)>, <12, 1/612*(w + 594)>, <360, 1/14*(w + 5)>, <72, 1/208*(5*w + 50)>, <12, 1/98*(11*w + 87)>, <36, 1/11*(w - 1)>, <96, 1/318*(11*w + 274)>, <96, 1/362*(11*w + 274)>, <52, 1/77*(w - 2)>, <24, 1/65*(12*w + 89)>, <24, 1/4081*(60*w + 445)>, <52, 1/4*(w - 2)>, <36, 1/11*(3*w + 38)>, <36, 1/108*(w + 117)>, <48, 1/308*(13*w + 282)>, <120, 1/396*(13*w + 266)>, <108, 1/51*(w + 51)>, <48, 1/306*(5*w + 306)>, <48, 1/5*(w + 5)>, <84, 1/87*(2*w + 73)>, <48, 1/308*(9*w + 9)>, <84, 1/87*(2*w + 12)>, <24, 1/182*(3*w + 71)>, <72, 1/156*(7*w + 14)>, <168, 1/18*(w + 11)>, <48, 1/121*(3*w + 58)>, <48, 1/52*(3*w + 58)>, <168, 1/73*(3*w + 33)>, <24, 1/27*(w - 10)>, <444, 1/28*(w + 22)>, <24, 1/10*(w + 20)>, <120, 1/208*(7*w + 131)>, <72, 1/156*(7*w + 135)>, <48, 1/15*(w + 4)>, <48, 1/9412*(63*w + 8586)>, <132, 1/112*(5*w + 82)>, <24, 1/75*(8*w + 123)>, <48, 1/9*(w + 1)>, <72, 1/209*(w + 218)>, <156, 1/181*(9*w + 109)>, <48, 1/11*w>, <12, 1/104*(19*w + 38)>, <24, 1/53*(3*w + 62)>, <24, 1/128*(3*w + 62)>, <36, 1/53*(3*w + 9)>, <72, 1/7*(w + 8)>, <48, 1/242*(3*w + 179)>, <48, 1/308*(13*w + 13)>, <120, 1/318*(13*w + 266)>, <48, 1/143*(3*w + 71)>, <36, 1/438*(7*w + 354)>, <108, 1/51*(w - 1)>, <48, 1/11*(w + 10)>, <24, 1/2288*(35*w + 1630)>, <24, 1/240*(11*w + 306)>, <48, 1/5*(w + 7)>, <48, 1/48*(w - 9)>, <24, 1/172*(5*w + 70)>, <60, 1/102*(w + 102)>, <216, 1/39*(w + 36)>, <24, 1/4851*(95*w + 2020)>, <36, 1/154*(5*w + 159)>, <298, 1/20*(w + 9)>, <48, 1/876*(7*w + 938)>, <120, 1/1716*(5*w + 1765)>, <48, 1/312*(5*w + 322)>, <48, 1/583*(8*w + 127)>, <24, 1/176*(15*w + 311)>, <24, 1/135*(4*w + 171)>, <24, 1/49*(5*w - 45)>, <24, 1/319*(20*w + 439)>, <24, 5/102*w>, <60, 1/3*(w + 3)>, <216, 1/42*(w + 36)>, <24, 1/114*(5*w - 35)>, <36, 1/10*(w + 11)>, <48, 1/876*(7*w - 69)>, <298, 1/104*(5*w + 49)>, <120, 1/365*(w + 353)>, <24, 1/288*(5*w - 50)>, <24, 1/3339*(40*w + 635)>, <24, 1/1113*(55*w + 1278)>, <48, 1/561*(10*w + 255)>, <72, 1/146*(5*w + 55)>, <144, 1/348*(13*w + 257)>, <48, 1/108*(5*w - 45)>, <72, 1/146*(5*w + 86)>, <24, 1/176*(15*w - 90)>, <24, 1/8476*(165*w + 5550)>, <48, 1/77*(5*w - 30)>, <12, 1/16137*(350*w + 9387)>, <48, 1/2652*(55*w + 1475)>, <48, 1/16*(3*w - 24)>, <48, 1/2117*(24*w + 1797)>, <48, 1/45*(w - 9)>, <48, 1/42*(5*w - 45)>, <24, 1/135*(4*w - 48)>, <24, 1/169*(3*w + 123)>, <12, 1/39*(2*w - 8)>, <24, 1/1166*(19*w + 83)>, <24, 1/31824*(665*w + 20349)>, <24, 1/102*(19*w + 83)>, <24, 1/133*(5*w + 153)>, <24, 1/584*(45*w - 540)>, <24, 1/169*(3*w + 43)>, <12, 1/156*(17*w - 51)>, <12, 1/159*(4*w - 16)>, <12, 1/187*(4*w + 12)>, <12, 1/44*(w + 2)>, <72, 1/39*(w - 3)>, <36, 1/28*(w - 2)>, <216, 1/99*(4*w + 59)>, <36, 1/28*(w + 29)>, <216, 1/16*(w + 6)>, <24, 1/238*(5*w + 68)>, <96, 1/45*(11*w + 132)>, <48, 1/81*(w + 89)>, <114, 1/9*(w + 9)>, <72, 1/8*(w + 8)>, <114, 1/44*(w + 9)>, <24, 1/63*(2*w + 73)>, <108, 1/378*(19*w + 207)>, <24, 1/63*(2*w - 12)>, <72, 1/189*(4*w + 32)>, <24, 1/51*(w + 17)>, <24, 13/306*w>, <84, 1/56*(3*w + 15)>, <48, 1/306*(5*w + 346)>, <84, 1/77*(3*w + 36)>, <24, 1/306*(13*w + 293)>, <48, 1/306*(5*w - 45)>, <24, 1/12*(w + 17)>, <48, 1/14*(3*w + 38)>, <96, 1/1694*(15*w + 180)>, <24, 1/53*(5*w + 68)>, <180, 1/378*(17*w + 136)>, <24, 1/10*(w - 9)>, <72, 1/318*(7*w + 290)>, <72, 1/15*(w + 2)>, <48, 1/520*(9*w - 99)>, <228, 1/26*(w + 2)>, <24, 1/24*(w + 26)>, <48, 1/5*(w + 2)>, <24, 1/13*(w + 15)>, <228, 1/33*(w + 9)>, <48, 1/520*(9*w + 610)>, <72, 1/15*(w + 12)>, <24, 1/66*(w + 12)>, <24, 1/66*(w + 53)>, <36, 1/84*(5*w + 25)>, <24, 1/39*(5*w + 49)>, <32, 1/308*(13*w - 26)>, <48, 1/7*(3*w + 37)>, <84, 1/77*(w + 1)>, <24, 1/29*(4*w - 28)>, <72, 1/594*(5*w + 639)>, <24, 1/104*(57*w + 218)>, <24, 1/304*(7*w + 339)>, <24, 1/112*(w + 106)>, <132, 1/9*(w + 3)>, <120, 1/17*(w + 9)>, <208, 1/19*(w + 9)>, <60, 1/189*(2*w + 205)>, <24, 1/189*(2*w + 171)>, <24, 1/163*(2*w + 171)>, <84, 1/77*(3*w + 3)>, <132, 1/9*(w + 5)>, <120, 1/396*(17*w + 153)>, <84, 1/12*(w + 1)>, <36, 1/84*(5*w + 54)>, <32, 1/13*(w - 2)>, <24, 1/264*(5*w + 49)>, <84, 1/4*(w + 1)>, <24, 1/48*(w - 7)>, <72, 1/2117*(15*w + 1917)>, <48, 1/4234*(21*w + 259)>, <24, 1/10136*(57*w + 218)>, <24, 1/8268*(133*w + 6441)>, <24, 1/104*(w + 106)>, <24, 1/6699*(130*w + 4745)>, <24, 1/38*(w + 42)>, <24, 1/488*(21*w + 194)>, <84, 1/12*(w + 12)>, <84, 1/163*(6*w + 24)>, <36, 1/11*(w + 11)>, <84, 1/77*(2*w + 24)>, <84, 1/12*(w + 4)>, <24, 1/38*(w - 5)>, <12, 1/208*(3*w + 175)>, <12, 1/489*(95*w + 14)>, <24, 1/65*(2*w + 73)>, <72, 1/326*(9*w + 36)>, <24, 1/57*(w + 53)>, <24, 1/362*(21*w + 194)>, <24, 1/106*(19*w + 30)>, <24, 1/882*(25*w + 1082)>, <24, 1/435*(14*w + 519)>, <48, 1/7*(w + 15)>, <24, 1/901*(35*w - 140)>, <48, 1/1971*(10*w - 109)>, <24, 1/7*(w + 10)>, <48, 1/306*(7*w + 299)>, <48, 1/159*(10*w + 189)>, <48, 1/91*(w + 75)>, <60, 1/9*(w + 15)>, <96, 1/116*(3*w + 95)>, <72, 1/10*(w + 10)>, <24, 1/181*(17*w - 136)>, <48, 1/306*(7*w - 7)>, <48, 1/54*(w + 35)>, <12, 1/53*(10*w + 13)>, <72, 1/153*(5*w + 148)>, <12, 1/10296*(245*w + 7650)>, <48, 1/114*(w + 122)>, <24, 1/4004*(95*w + 3154)>, <72, 1/8*w>, <48, 1/114*(w - 9)>, <24, 19/170*w>, <96, 1/104*(3*w + 95)>, <72, 1/8*(w + 7)>, <24, 1/112*(17*w + 197)>, <24, 1/153*(w + 155)>, <24, 1/308*(9*w + 317)>, <24, 1/20*(w + 26)>, <84, 1/462*(19*w + 215)>, <108, 1/16*(w + 11)>, <24, 1/153*(4*w + 81)>, <72, 1/122*(5*w + 65)>, <24, 1/208*(25*w - 75)>, <56, 1/416*(21*w + 210)>, <24, 1/51*(5*w + 46)>, <120, 1/438*(19*w + 209)>, <24, 1/30*(w + 29)>, <24, 1/20*(w - 7)>, <24, 1/416*(9*w + 317)>, <108, 1/219*(8*w + 88)>, <84, 1/348*(19*w + 215)>, <12, 1/22253*(36*w + 22797)>, <12, 1/18*(w + 16)>, <12, 1/28*(w - 15)>, <16, 1/77*(4*w + 69)>, <24, 1/77*(4*w + 81)>, <72, 1/87*(5*w + 30)>, <24, 1/2541*(50*w + 1975)>, <48, 1/78*(w + 15)>, <24, 1/153*(w - 3)>, <24, 1/112*(17*w - 102)>, <12, 1/34164*(847*w + 16982)>, <120, 1/208*(11*w + 87)>, <24, 1/140*(13*w + 153)>, <24, 1/114*(7*w - 28)>, <24, 1/371*(19*w - 76)>, <24, 1/288*(5*w + 313)>, <12, 1/308*(9*w - 117)>, <24, 1/35*(6*w + 65)>, <120, 1/219*(11*w + 87)>, <96, 2/51*w>, <24, 1/2754*(65*w + 765)>, <120, 1/6*w>, <12, 1/45*(w - 6)>, <24, 1/4234*(39*w + 3714)>, <24, 1/16*(w - 6)>, <24, 1/21*(w - 6)>, <24, 1/416*(5*w + 50)>, <24, 1/5*(w + 10)>, <120, 1/56*(w + 50)>, <48, 1/8*(w - 2)>, <48, 1/99*(2*w + 79)>, <48, 1/39639*(95*w + 38494)>, <24, 1/330*(19*w - 190)>, <24, 1/5621*(95*w + 3021)>, <48, 1/1976*(5*w + 2026)>, <24, 1/64*(5*w + 89)>, <48, 1/159*(8*w + 24)>, <48, 1/231*(8*w + 96)>, <24, 1/45*(2*w - 6)>, <24, 1/45*(2*w + 49)>, <12, 1/81*(w + 78)>, <12, 1/112*(27*w + 135)>, <12, 1/2912*(27*w + 23)>, <36, 1/4*(3*w - 36)>, <24, 1/144*(5*w + 159)>, <24, 1/64*(5*w - 30)>, <24, 1/144*(5*w - 20)>, <24, 1/181*(7*w + 230)>, <24, 1/65*(7*w - 77)>, <24, 1/3869*(70*w + 2595)>, <24, 1/882*(25*w - 225)>, <48, 1/66*(w + 75)>, <120, 1/19*(w + 11)>, <60, 1/182*(3*w + 45)>, <24, 1/34*(w - 8)>, <48, 1/29*(w + 35)>, <12, 1/19*(w - 3)>, <132, 1/24*(w + 2)>, <12, 1/4238*(209*w + 5074)>, <12, 1/416*(11*w - 121)>, <24, 1/224*(5*w - 55)>, <24, 1/181*(7*w - 56)>, <24, 1/210*(17*w - 68)>, <96, 1/73*(2*w + 22)>, <48, 1/1971*(10*w + 2070)>, <24, 1/13*(3*w - 27)>, <48, 1/429*(10*w + 189)>, <24, 1/416*(7*w + 70)>, <48, 1/348*(7*w + 299)>, <72, 1/39*(w + 41)>, <48, 1/7*(w - 1)>, <48, 1/319*(4*w + 59)>, <72, 1/7964*(85*w + 1130)>, <48, 1/102*(w + 101)>, <24, 1/66*(5*w + 86)>, <24, 1/153*(w + 152)>, <24, 1/15*(w - 1)>, <24, 1/120*(w + 117)>, <48, 1/20*(3*w + 38)>, <24, 1/13*(2*w + 17)>, <120, 1/146*(7*w + 62)>, <120, 1/21*(w + 9)>, <24, 1/24*(5*w + 25)>, <72, 1/90*(17*w + 226)>, <24, 1/440*(w + 449)>, <24, 1/4599*(10*w + 4490)>, <48, 1/15*(7*w - 69)>, <24, 1/99*(w + 89)>, <48, 1/56*(w - 9)>, <24, 1/153*w>, <24, 1/182*(5*w + 102)>, <48, 1/3*(w + 2)>, <24, 1/120*(w + 2)>, <48, 1/20*(3*w - 21)>, <24, 1/66*(5*w - 25)>, <24, 1/119*(2*w + 17)>, <24, 1/24*(5*w - 6)>, <24, 1/8613*(140*w + 6408)>, <12, 1/29503*(546*w + 16854)>, <24, 1/55*(3*w + 82)>, <24, 1/35*(2*w + 49)>, <24, 1/165*(13*w + 282)>, <24, 1/1008*(95*w - 570)>, <12, 1/22*(5*w - 35)>, <24, 1/4088*(65*w + 1410)>, <24, 1/15184*(285*w + 10450)>, <24, 1/55*(3*w - 30)>, <24, 1/724*(35*w + 969)>, <24, 1/168*(5*w - 30)>, <24, 1/192*(19*w + 287)>, <24, 1/4131*(76*w + 1148)>, <84, 1/20*(w + 8)>, <24, 1/10512*(119*w + 8755)>, <84, 1/189*(10*w + 80)>, <24, 1/98*(17*w - 153)>, <12, 1/13*(w - 6)>, <24, 1/8*(3*w - 33)>, <12, 1/2772*(65*w - 650)>, <24, 1/1590*(133*w - 532)>, <24, 1/133*(5*w - 20)>, <24, 1/539*(3*w + 498)>, <96, 1/17*(w + 11)>, <12, 1/2847*(22*w + 174)>, <24, 1/1248*(85*w - 935)>, <24, 1/153*(2*w - 20)>, <24, 1/153*(2*w + 171)>, <24, 1/16324*(255*w + 9775)>, <24, 1/588*(25*w - 150)>, <24, 1/819*(20*w + 664)>, <24, 1/429*(8*w + 237)>, <12, 1/17*(w - 10)>, <24, 1/588*(25*w + 713)>, <24, 1/176*(5*w + 166)>, <24, 1/429*(8*w + 184)>, <24, 1/357*(8*w + 85)>, <36, 1/154*(3*w - 6)>, <24, 1/181*(4*w + 209)>, <24, 1/26*(w + 34)>, <24, 1/181*(19*w - 152)>, <24, 1/181*(19*w + 314)>, <24, 1/273*(4*w + 209)>, <24, 1/189*(13*w + 293)>, <24, 1/28*(w - 7)>, <24, 1/476*(13*w + 541)>, <24, 1/476*(13*w - 78)>, <24, 1/374*(7*w + 129)>, <36, 1/154*(3*w + 157)>, <24, 1/33*(2*w - 18)>, <24, 1/1241*(22*w + 680)>, <12, 1/4380*(11*w + 121)>, <24, 1/77*(8*w + 85)>, <12, 1/3311*(108*w + 1863)>, <12, 1/324*(w + 14)>, <12, 1/308*(27*w + 335)>, <48, 1/132*(w - 10)>, <12, 1/81*(2*w + 79)>, <12, 1/22*(9*w + 81)>, <12, 1/374*(9*w + 59)>, <24, 1/154*(25*w + 179)>, <24, 1/50*(w + 51)>, <12, 1/6*(w + 11)>, <12, 1/219*(25*w - 300)>, <12, 1/85*(3*w - 12)>, <24, 1/112*(5*w - 30)>, <24, 1/364*(5*w + 89)>, <24, 1/348*(17*w + 450)>, <24, 1/858*(17*w + 450)>, <12, 1/146*(3*w + 33)>, <12, 1/119*(3*w + 110)>, <24, 1/364*(5*w + 270)>, <24, 1/15*(w - 6)>, <72, 1/10136*(195*w + 3870)>, <24, 1/21*(10*w + 101)>, <60, 1/163*(3*w + 12)>, <24, 1/726*(13*w + 453)>, <24, 1/16*(w - 5)>, <24, 1/363*(8*w + 195)>, <60, 1/154*(3*w + 3)>, <24, 1/21*(10*w - 90)>, <24, 1/726*(13*w + 260)>, <72, 1/377*(15*w - 105)>, <24, 1/559*(15*w + 420)>, <60, 1/949*(14*w + 665)>, <48, 1/4*(w + 6)>, <36, 1/168*(w + 5)>, <24, 1/2352*(19*w + 110)>, <24, 1/676*(19*w + 866)>, <24, 1/11*(w - 10)>, <24, 1/36*(w - 10)>, <96, 1/362*(15*w + 105)>, <24, 1/208*(57*w + 37)>, <60, 1/231*(2*w + 205)>, <24, 1/171*(2*w + 165)>, <48, 1/17*(w + 12)>, <24, 1/676*(19*w - 209)>, <96, 1/438*(17*w + 187)>, <48, 1/462*(17*w + 204)>, <24, 1/30*(w + 28)>, <48, 1/87*(w + 6)>, <60, 1/77*(2*w + 95)>, <36, 1/2*(w + 5)>, <24, 1/53*(19*w + 110)>, <12, 1/477*(16*w + 525)>, <24, 1/39772*(855*w + 34390)>, <48, 1/35*(2*w + 45)>, <24, 1/4727*(99*w + 2189)>, <24, 1/216*(11*w - 66)>, <24, 1/39772*(855*w + 4527)>, <24, 1/9*(w - 4)>, <24, 1/154*(3*w + 115)>, <48, 1/477*(10*w + 225)>, <24, 1/91*(15*w + 46)>, <24, 1/51*(8*w - 80)>, <72, 1/198*(5*w + 148)>, <24, 1/377*(17*w - 119)>, <192, 1/189*(8*w + 117)>, <24, 1/16536*(385*w + 8946)>, <24, 1/35496*(665*w + 28405)>, <24, 1/171*(4*w + 171)>, <24, 1/285*(7*w + 299)>, <24, 1/136*(19*w + 136)>, <24, 1/9048*(95*w + 118)>, <24, 1/416*(57*w + 530)>, <24, 1/91*(3*w + 43)>, <36, 1/16*(w + 15)>, <24, 1/232*(7*w - 49)>, <24, 1/4697*(120*w + 1377)>, <24, 1/40*(w + 41)>, <24, 1/3264*(77*w + 2065)>, <24, 1/273*(11*w + 295)>, <48, 1/80*(3*w - 18)>, <48, 1/80*(3*w + 95)>, <24, 1/51*(5*w + 86)>, <96, 1/22*(w + 1)>, <24, 1/8*(w + 20)>, <48, 1/3*(w - 10)>, <24, 1/15476*(255*w + 4386)>, <24, 1/224*(11*w + 279)>, <24, 1/648*(11*w + 439)>, <24, 1/362*(11*w + 439)>, <24, 1/1053*(22*w + 558)>, <24, 1/9048*(95*w + 8835)>, <24, 1/12551*(228*w + 2120)>, <24, 1/21*(2*w - 14)>, <12, 1/160*(7*w + 153)>, <24, 1/52*(3*w + 43)>, <36, 1/153*(8*w + 145)>, <24, 1/80*(3*w - 3)>, <24, 1/40*(w - 2)>, <24, 1/23562*(325*w + 7325)>, <24, 1/21*(w + 23)>, <12, 1/24939*(320*w + 5355)>, <12, 1/157248*(1045*w + 144818)>, <12, 1/27*(2*w - 24)>, <24, 1/150*(13*w + 293)>, <120, 1/336*(11*w + 270)>, <12, 1/116*(15*w - 105)>, <132, 1/32*(w + 10)>, <24, 1/64*(w + 42)>, <24, 1/4088*(51*w + 3111)>, <24, 1/416*(51*w - 561)>, <24, 1/39*(2*w - 12)>, <24, 1/224*(13*w - 78)>, <12, 1/39*(25*w + 50)>, <24, 1/45*(2*w - 8)>, <24, 1/45*(2*w + 51)>, <12, 1/754*(9*w + 720)>, <12, 1/108*(w + 6)>, <12, 1/52*(9*w + 25)>, <12, 1/2233*(54*w + 1971)>, <12, 1/159*(w + 3)>, <192, 1/16*(w + 7)>, <24, 1/51*(8*w + 123)>, <12, 1/12096*(247*w + 2691)>, <24, 1/33*(w + 42)>, <24, 1/204*(13*w - 91)>, <24, 1/5512*(105*w + 322)>, <36, 1/153*(w + 153)>, <24, 1/5824*(51*w + 5406)>, <24, 1/493*(8*w + 77)>, <24, 1/117*(4*w + 153)>, <48, 1/1022*(5*w + 962)>, <36, 1/2*(w + 2)>, <24, 1/5824*(51*w + 367)>, <24, 1/493*(8*w + 408)>, <24, 1/3213*(52*w + 1989)>, <24, 1/957*(52*w - 364)>, <72, 1/336*(13*w + 258)>, <24, 1/28779*(572*w + 14248)>, <72, 1/362*(13*w + 258)>, <12, 1/9516*(275*w + 8350)>, <12, 1/8*(w + 13)>, <24, 1/133*(4*w + 149)>, <12, 1/139776*(1805*w + 130321)>, <24, 1/1304*(133*w + 1836)>, <24, 1/270*(17*w - 153)>, <24, 1/119*(5*w - 45)>, <12, 1/1956*(35*w + 955)>, <24, 1/78*(5*w + 128)>, <24, 1/54*(17*w + 241)>, <12, 1/462*(17*w - 221)>, <24, 1/949*(15*w + 384)>, <24, 1/1241*(9*w + 1340)>, <12, 1/543*(68*w - 544)>, <24, 1/39*(4*w + 47)>, <24, 1/714*(13*w + 429)>, <24, 1/181*(13*w - 104)>, <36, 1/657*(2*w - 24)>, <24, 1/32*(w + 34)>, <12, 1/318*(w + 314)>, <12, 1/54*(w - 3)>, <12, 1/17*(3*w - 3)>, <12, 1/153*(25*w + 153)>, <12, 1/730*(9*w + 829)>, <24, 1/34*(5*w + 34)>, <24, 1/45*(w + 45)>, <96, 1/22*(w + 20)>, <24, 1/20*(w + 7)>, <24, 1/160*(3*w + 157)>, <24, 1/459*(80*w + 379)>, <24, 1/20*(w + 12)>, <24, 1/106*(17*w + 157)>, <24, 1/2508*(13*w + 2625)>, <12, 1/209*(7*w + 216)>, <12, 1/76*(7*w - 56)>, <24, 1/22776*(187*w - 1666)>, <24, 1/120204*(1615*w + 107559)>, <24, 1/726*(17*w + 340)>, <24, 1/52852*(247*w + 49875)>, <24, 1/323*(5*w + 333)>, <24, 1/17*(w + 20)>, <24, 1/1092*(17*w + 157)>, <24, 1/122*(3*w + 80)>, <24, 1/4611*(95*w + 1875)>, <24, 1/22776*(187*w + 24255)>, <24, 1/12264*(187*w + 2574)>, <24, 1/132*(17*w + 234)>, <24, 1/77*(3*w + 80)>, <24, 1/114*(5*w - 30)>, <24, 1/8008*(85*w + 6410)>, <24, 1/65*(3*w + 71)>, <24, 1/221*(2*w + 241)>, <24, 1/8008*(153*w + 2466)>, <24, 1/285*(7*w + 306)>, <24, 1/36924*(665*w + 29070)>, <24, 1/15*(w + 1)>, <24, 1/163*(38*w + 315)>, <24, 1/221*(10*w + 241)>, <24, 1/1014*(19*w + 216)>, <24, 1/338*(7*w + 287)>, <24, 1/42*(w + 41)>, <24, 1/1904*(55*w - 330)>, <24, 1/1904*(55*w + 2179)>, <24, 1/76*(w + 80)>, <24, 1/7007*(170*w + 4097)>, <24, 1/159*(19*w + 216)>, <24, 1/488*(15*w + 278)>, <24, 1/160*(3*w + 190)>, <24, 1/35697*(280*w + 31112)>, <24, 1/1232*(15*w + 950)>, <6, 1/1496*(25*w + 621)>, <24, 1/1309*(26*w + 620)>, <12, 1/2*(3*w - 39)>, <24, 1/1309*(26*w + 663)>, <26, 1/2574*(5*w + 2520)>, <12, 1/53*(9*w + 27)>, <24, 1/4599*(34*w + 4097)>, <24, 1/189*(17*w + 274)>, <24, 1/1095*(17*w + 1282)>, <24, 1/616*(15*w + 355)>, <36, 1/156*(w + 158)>, <24, 1/12243*(104*w + 1651)>, <24, 1/11*(2*w + 7)>, <36, 1/163*(w + 158)>, <24, 1/1168*(13*w - 156)>, <24, 1/11*(2*w + 2)>, <28, 1/416*(5*w - 55)>, <24, 1/326*(19*w - 95)>, <24, 1/19*(w - 5)>, <12, 1/134028*(3971*w + 110466)>, <24, 1/119*(5*w - 30)>, <24, 1/240*(17*w - 102)>, <24, 1/189*(5*w - 45)>, <28, 1/5*(w - 11)>, <12, 1/136*(3*w - 15)>, <24, 1/57*(w + 61)>, <12, 1/14*(w - 10)>, <24, 1/61614*(1105*w + 22185)>, <24, 1/61614*(1105*w + 38324)>, <24, 1/326*(57*w + 554)>, <12, 1/326*(w + 330)>, <12, 1/812*(27*w + 191)>, <12, 1/2*(w - 5)>, <12, 1/324*(w + 321)>, <12, 1/1496*(35*w + 1190)>, <24, 1/88*(7*w + 95)>, <24, 1/88*(7*w - 14)>, <24, 1/280*(13*w + 293)>, <24, 1/143*(10*w + 153)>, <24, 1/118012*(969*w + 109174)>, <12, 1/308*(19*w + 327)>, <12, 1/438*(5*w + 55)>, <12, 1/323*(5*w - 60)>, <24, 1/5*(w + 1)>, <24, 1/323*(3*w + 338)>, <24, 1/308*(5*w + 5)>, <24, 1/13664*(171*w + 1998)>, <24, 1/13664*(171*w + 11495)>, <24, 1/539*(85*w + 85)>, <24, 1/351*(34*w + 419)>, <12, 1/158556*(1463*w + 140923)>, <24, 1/152256*(3553*w + 40821)>, <12, 1/312*(7*w + 326)>, <12, 1/99*(8*w + 171)>, <12, 1/560*(19*w - 114)>, <24, 1/336*(19*w + 222)>, <24, 1/488*(19*w + 222)>, <24, 1/3388*(323*w + 3711)>, <6, 1/378*(25*w + 578)>, <24, 1/256*(5*w + 105)>, <24, 1/17*(w - 5)>, <24, 1/15*(w + 21)>, <12, 1/1044*(19*w - 133)>, <12, 1/160776*(247*w - 3042)>, <28, 1/10296*(5*w - 54)>, <12, 1/181*(w + 7)>, <12, 1/54*(w - 8)>, <24, 1/13937*(306*w + 3771)>, <24, 1/768*(17*w + 394)>, <24, 1/340*(7*w + 7)>, <24, 1/106*(57*w - 122)>, <24, 1/36729*(760*w + 12065)>, <24, 1/9454*(57*w - 122)>, <24, 1/36729*(760*w + 23904)>, <24, 1/435*(13*w - 91)>, <24, 1/3696*(65*w + 1066)>, <4, 1/25*(21*w - 206)>, <4, 1/173056*(525*w - 5150)>, <48, 1/326*(7*w + 291)>, <12, 1/396*(5*w + 45)>, <12, 1/2282*(361*w + 1444)>, <48, 1/312*(7*w + 291)>, <12, 1/163*(16*w + 227)>, <12, 1/945*(52*w - 468)>, <24, 1/212*(9*w - 36)>, <24, 1/793*(18*w + 297)>, <12, 1/49*(2*w - 2)>, <24, 1/104*(7*w + 146)>, <24, 1/609*(26*w + 765)>, <24, 1/488*(17*w + 250)>, <24, 1/326*(3*w + 12)>, <12, 1/107184*(1615*w + 4470)>, <12, 1/308*(5*w + 313)>, <24, 1/3*(w + 4)>, <24, 1/318*(17*w + 250)>, <12, 1/17*(w - 6)>, <24, 1/136*(5*w - 35)>, <12, 1/13*(5*w - 57)>, <24, 1/1617*(19*w + 116)>, <24, 1/10*(w - 6)>, <24, 1/1617*(19*w + 1482)>, <12, 1/51*(5*w - 35)>, <6, w + 7>, <6, 1/361*(w + 6)>, <12, 1/37648*(171*w + 35406)>, <24, 1/136*(5*w + 166)>, <24, 1/189*(w + 180)>, <24, 1/189*(w + 8)>, <4, 1/35*(19*w + 206)>, <12, 1/104*(5*w - 60)>, <12, 1/2608*(91*w - 455)>, <12, 1/61*(2*w + 26)>, <12, 1/7*(2*w - 28)>, <24, 1/489*(34*w + 625)>, <24, 1/308*(3*w + 3)>, <24, 1/4697*(102*w + 1875)>, <6, 1/104*(w + 10)>, <6, 1/87*(25*w + 150)>, <24, 1/4*(w - 6)>, <12, 1/336*(95*w + 475)>, <12, 1/378*(w + 369)>, <6, 1/6154*(361*w + 3266)>, <12, 1/87*(4*w + 111)>, <16, 1/438*(23*w + 162)>, <8, 1/191844*(2093*w - 16835)>, <8, 1/91*(23*w - 185)>, <12, 1/16863*(416*w + 7423)>, <12, 1/2002*(51*w + 744)>, <24, 1/36192*(323*w + 31518)>, <12, 1/17*(19*w - 209)>, <24, 1/36192*(323*w + 4351)>, <4, 1/9933*(52*w + 897)>, <4, 1/516*(4*w + 585)>, <4, 1/645*(16*w + 276)>, <4, 1/77*(20*w + 37)>, <4, 1/2079*(20*w + 1780)>, <4, 1/25*(w + 15)>, <4, 1/100*(w + 89)>, <28, 1/2080*(w + 10)>, <26, 1/4*(5*w - 50)>, <-6, 1/18*(-w + 19)>, <-18, 1/18*(-w + 1)>, <-12, 1/210*(-w + 219)>, <-12, 1/612*(-w + 595)>, <-12, 1/98*(-11*w + 98)>, <-12, 1/104*(-19*w + 57)>, <-12, 1/16137*(-350*w + 9737)>, <-12, 1/39*(-2*w - 6)>, <-12, 1/156*(-17*w - 34)>, <-12, 1/159*(-4*w - 12)>, <-12, 1/187*(-4*w + 16)>, <-12, 1/44*(-w + 3)>, <-12, 1/208*(-3*w + 178)>, <-12, 1/489*(-95*w + 109)>, <-12, 1/53*(-10*w + 23)>, <-12, 1/10296*(-245*w + 7895)>, <-12, 1/22253*(-36*w + 22833)>, <-12, 1/18*(-w + 17)>, <-12, 1/28*(-w - 14)>, <-16, 1/77*(-4*w + 73)>, <-12, 1/34164*(-847*w + 17829)>, <-12, 1/308*(-9*w - 108)>, <-12, 1/45*(-w - 5)>, <-12, 1/81*(-w + 79)>, <-12, 1/112*(-27*w + 162)>, <-12, 1/2912*(-27*w + 50)>, <-12, 1/19*(-w - 2)>, <-12, 1/4238*(-209*w + 5283)>, <-12, 1/416*(-11*w - 110)>, <-24, 1/8613*(-140*w + 6548)>, <-12, 1/29503*(-546*w + 17400)>, <-12, 1/22*(-5*w - 30)>, <-12, 1/13*(-w - 5)>, <-12, 1/2772*(-65*w - 585)>, <-12, 1/2847*(-22*w + 196)>, <-12, 1/17*(-w - 9)>, <-12, 1/4380*(-11*w + 132)>, <-12, 1/3311*(-108*w + 1971)>, <-12, 1/324*(-w + 15)>, <-12, 1/308*(-27*w + 362)>, <-12, 1/81*(-2*w + 81)>, <-12, 1/22*(-9*w + 90)>, <-12, 1/374*(-9*w + 68)>, <-12, 1/6*(-w + 12)>, <-12, 1/219*(-25*w - 275)>, <-12, 1/85*(-3*w - 9)>, <-12, 1/146*(-3*w + 36)>, <-12, 1/119*(-3*w + 113)>, <-12, 1/477*(-16*w + 541)>, <-24, 1/8*(-w + 21)>, <-12, 1/160*(-7*w + 160)>, <-24, 1/21*(-w + 24)>, <-12, 1/24939*(-320*w + 5675)>, <-12, 1/157248*(-1045*w + 145863)>, <-12, 1/27*(-2*w - 22)>, <-12, 1/116*(-15*w - 90)>, <-12, 1/39*(-25*w + 75)>, <-12, 1/754*(-9*w + 729)>, <-12, 1/108*(-w + 7)>, <-12, 1/52*(-9*w + 34)>, <-12, 1/2233*(-54*w + 2025)>, <-12, 1/159*(-w + 4)>, <-12, 1/12096*(-247*w + 2938)>, <-12, 1/9516*(-275*w + 8625)>, <-12, 1/8*(-w + 14)>, <-12, 1/139776*(-1805*w + 132126)>, <-12, 1/1956*(-35*w + 990)>, <-12, 1/462*(-17*w - 204)>, <-12, 1/543*(-68*w - 476)>, <-12, 1/318*(-w + 315)>, <-12, 1/54*(-w - 2)>, <-12, -3/17*w>, <-12, 1/153*(-25*w + 178)>, <-12, 1/730*(-9*w + 838)>, <-12, 1/209*(-7*w + 223)>, <-12, 1/76*(-7*w - 49)>, <-24, 1/35697*(-280*w + 31392)>, <-6, 1/1496*(-25*w + 646)>, <-12, 1/2*(-3*w - 36)>, <-12, 1/53*(-9*w + 36)>, <-12, 1/134028*(-3971*w + 114437)>, <-12, 1/136*(-3*w - 12)>, <-12, 1/14*(-w - 9)>, <-12, 1/326*(-w + 331)>, <-12, 1/812*(-27*w + 218)>, <-12, 1/2*(-w - 4)>, <-12, 1/324*(-w + 322)>, <-12, 1/1496*(-35*w + 1225)>, <-12, 1/308*(-19*w + 346)>, <-12, 1/438*(-5*w + 60)>, <-12, 1/323*(-5*w - 55)>, <-12, 1/158556*(-1463*w + 142386)>, <-12, 1/312*(-7*w + 333)>, <-12, 1/99*(-8*w + 179)>, <-12, 1/560*(-19*w - 95)>, <-6, 1/378*(-25*w + 603)>, <-12, 1/1044*(-19*w - 114)>, <-12, 1/160776*(-247*w - 2795)>, <-12, 1/181*(-w + 8)>, <-12, 1/54*(-w - 7)>, <-12, 1/396*(-5*w + 50)>, <-12, 1/2282*(-361*w + 1805)>, <-12, 1/163*(-16*w + 243)>, <-12, 1/945*(-52*w - 416)>, <-12, -2/49*w>, <-12, 1/107184*(-1615*w + 6085)>, <-12, 1/308*(-5*w + 318)>, <-12, 1/17*(-w - 5)>, <-12, 1/13*(-5*w - 52)>, <-12, 1/51*(-5*w - 30)>, <-6, -w + 8>, <-6, 1/361*(-w + 7)>, <-12, 1/37648*(-171*w + 35577)>, <-4, 1/35*(-19*w + 225)>, <-12, 1/104*(-5*w - 55)>, <-12, 1/2608*(-91*w - 364)>, <-12, 1/61*(-2*w + 28)>, <-12, 1/7*(-2*w - 26)>, <-6, 1/104*(-w + 11)>, <-6, 1/87*(-25*w + 175)>, <-12, 1/336*(-95*w + 570)>, <-12, 1/378*(-w + 370)>, <-6, 1/6154*(-361*w + 3627)>, <-12, 1/87*(-4*w + 115)>, <-12, 1/16863*(-416*w + 7839)>, <-12, 1/2002*(-51*w + 795)>, <-12, 1/17*(-19*w - 190)>, <-4, 1/9933*(-52*w + 949)>, <-4, 1/516*(-4*w + 589)>, <-4, 1/645*(-16*w + 292)>, <-4, 1/77*(-20*w + 57)>, <-4, 1/2079*(-20*w + 1800)>, <-4, 1/25*(-w + 16)>, <-4, 1/100*(-w + 90)> ]