/* Defining polynomial */ x^2 - x + 246 /* GCD of coefficients */ 2 /* 24 * |disc|^(3/2) /(8*pi^2)* zeta_F(2) */ 22443.8735348091108023147076745 /* Belt */ [ <120, 1/276*(11*w + 55)>, <30, 1/12*(w + 17)>, <438, 1/12*(w + 5)>, <12, 1/288*(11*w + 354)>, <144, 1/159*(7*w + 96)>, <144, 1/14*(w + 5)>, <96, 1/318*(11*w + 88)>, <192, 1/28*(w + 18)>, <48, 1/486*(5*w + 75)>, <240, 1/14*(w + 4)>, <48, 1/356*(5*w - 55)>, <240, 1/19*(w + 4)>, <438, 1/23*(w + 5)>, <136, 1/13*(w + 6)>, <108, 1/18*(w + 15)>, <48, 1/1869*(26*w + 426)>, <48, 1/1869*(26*w + 1417)>, <12, 1/445*(4*w + 401)>, <60, 1/89*(5*w + 50)>, <24, 1/462*(17*w + 615)>, <120, 1/267*(w + 256)>, <24, 1/1057*(26*w + 1239)>, <96, 1/11*(w + 8)>, <24, 1/11481*(182*w + 8673)>, <48, 1/8*w>, <12, 1/91*(4*w - 32)>, <24, 1/462*(17*w - 170)>, <120, 1/267*(w + 10)>, <108, 1/18*(w + 2)>, <192, 1/21*(w + 18)>, <60, 1/13*(w + 2)>, <60, 1/13*(w + 10)>, <24, 1/99*(4*w + 119)>, <84, 1/11*(w + 3)>, <24, 1/6191*(132*w + 3927)>, <84, 1/11*(w + 7)>, <36, 1/48*(w + 38)>, <48, 1/67*(3*w + 36)>, <36, 1/36*(w + 38)>, <48, 1/252*(5*w + 237)>, <48, 1/67*(3*w + 28)>, <96, 1/53*(w + 44)>, <24, 1/5152*(55*w + 4415)>, <24, 1/42*(w + 23)>, <24, 1/795*(11*w + 883)>, <96, 1/42*(w + 44)>, <24, 1/14*(w - 5)>, <96, 1/133*(6*w + 103)>, <96, 1/266*(11*w + 211)>, <24, 1/486*(11*w + 310)>, <24, 1/302*(7*w + 351)>, <120, 1/38*(w + 33)>, <120, 1/10*(w + 3)>, <48, 1/21*(2*w + 35)>, <12, 1/13*(w - 3)>, <204, 1/106*(5*w + 40)>, <204, 1/106*(5*w + 61)>, <24, 1/266*(11*w + 310)>, <120, 1/36*(w + 33)>, <120, 1/129*(5*w + 15)>, <96, 1/151*(6*w + 103)>, <24, 1/456*(7*w + 351)>, <48, 1/2279*(42*w + 735)>, <96, 1/288*(11*w + 211)>, <120, 1/8*(w + 2)>, <96, 1/178*(9*w + 79)>, <60, 1/123*(5*w + 118)>, <24, 1/35*(2*w + 39)>, <24, 1/81*(2*w + 49)>, <96, 1/8*(w + 4)>, <352, 1/56*(3*w + 27)>, <352, 1/18*(w + 9)>, <48, 1/53*(w + 61)>, <24, 1/6192*(143*w + 3783)>, <24, 1/276*(13*w + 341)>, <24, 1/552*(25*w + 677)>, <24, 1/84*(5*w - 35)>, <88, 1/302*(15*w + 105)>, <204, 1/144*(7*w + 42)>, <120, 1/8*(w + 5)>, <24, 1/588*(13*w + 341)>, <36, 1/84*(w + 81)>, <36, 1/82*(w + 81)>, <24, 1/8*(w - 8)>, <24, 1/156*(11*w + 211)>, <24, 1/20*(9*w + 99)>, <144, 1/43*(2*w + 6)>, <24, 1/302*(11*w + 379)>, <72, 1/10*(w + 2)>, <12, 1/276*(35*w - 210)>, <120, 1/6*(w + 5)>, <24, 1/6384*(143*w + 2743)>, <24, 1/151*(4*w - 32)>, <24, 1/20*(9*w - 88)>, <24, 1/306*(5*w + 301)>, <24, 1/16376*(255*w + 15351)>, <144, 1/12*(w + 3)>, <24, 1/588*(11*w + 379)>, <72, 1/126*(5*w + 10)>, <48, 1/36*(5*w - 35)>, <48, 1/12*(w + 11)>, <12, 1/756*(17*w - 204)>, <108, 1/42*(w + 32)>, <172, 1/43*(w + 39)>, <120, 1/10*(w + 4)>, <12, 1/665*(44*w - 220)>, <24, 1/44*(5*w + 69)>, <24, 1/33*(17*w + 169)>, <24, 1/243*(5*w + 75)>, <24, 1/138*(5*w - 30)>, <48, 1/10*(w - 9)>, <24, 1/44*(5*w - 30)>, <60, 1/12*(w + 10)>, <12, 1/534*(13*w - 143)>, <30, 1/12*(w - 6)>, <24, 1/3*(w - 1)>, <24, 1/34176*(187*w + 1859)>, <172, 1/6*(w + 2)>, <96, 1/133*(4*w + 16)>, <36, 1/67*(2*w + 24)>, <48, 1/10*(w + 18)>, <36, 1/41*(2*w - 2)>, <24, 1/247*(11*w + 291)>, <24, 1/133*(5*w - 25)>, <204, 1/151*(7*w + 49)>, <96, 1/151*(9*w + 79)>, <36, 1/123*(4*w - 4)>, <12, 1/1272*(91*w - 819)>, <48, 1/40*(w - 7)>, <24, 1/25*(2*w + 35)>, <60, 1/168*(5*w + 118)>, <48, 1/53*(w - 9)>, <24, 1/1643*(35*w + 810)>, <108, 1/8*(w - 2)>, <24, 1/3*(w + 3)>, <24, 1/369*(10*w + 195)>, <24, 1/12*(w - 4)>, <144, 1/92*(5*w + 62)>, <24, 1/272*(3*w + 278)>, <48, 1/248*(5*w + 238)>, <24, 1/144*(13*w - 91)>, <24, 1/651*(13*w + 416)>, <48, 1/5*(w + 3)>, <144, 1/92*(5*w + 25)>, <24, 1/20083*(204*w + 18904)>, <24, 1/26*(w + 29)>, <24, 1/558*(13*w + 377)>, <72, 1/266*(9*w + 36)>, <12, 1/228*(7*w + 123)>, <24, 1/5*w>, <24, 1/99*(8*w + 115)>, <24, 1/99*(8*w - 24)>, <84, 1/302*(13*w + 91)>, <24, 1/3827*(77*w + 2639)>, <84, 1/13*(w + 7)>, <24, 1/322*(11*w + 377)>, <120, 1/10*(w + 5)>, <24, 1/16616*(495*w + 4466)>, <12, 1/189*(2*w + 211)>, <24, 1/451*(45*w + 406)>, <60, 1/168*(w + 177)>, <544, 1/18*(w + 11)>, <48, 1/12*w>, <24, 1/31*(6*w + 6)>, <72, 1/336*(13*w + 117)>, <24, 1/248*(11*w + 226)>, <132, 1/92*(3*w + 74)>, <132, 1/86*(3*w + 74)>, <72, 1/258*(13*w + 39)>, <24, 1/336*(11*w + 226)>, <544, 1/21*(w + 11)>, <36, 1/24*(w + 30)>, <168, 1/32*(w + 6)>, <24, 1/301*(6*w + 276)>, <96, 1/6*(w + 6)>, <72, 1/68*(w - 7)>, <66, 1/123*(5*w + 123)>, <24, 1/19*(2*w + 27)>, <48, 1/36*(w + 42)>, <48, 1/16*(w + 4)>, <24, 1/430*(33*w + 529)>, <156, 1/36*(w + 6)>, <96, 1/302*(17*w + 119)>, <192, 1/159*(8*w + 64)>, <60, 1/89*(3*w + 30)>, <36, 1/378*(13*w + 222)>, <12, 1/558*(7*w + 131)>, <48, 1/133*(8*w + 32)>, <24, 1/6572*(165*w + 2645)>, <156, 1/8*(w + 6)>, <48, 1/57*(w + 42)>, <24, 1/11481*(280*w + 7161)>, <72, 1/129*(7*w + 101)>, <96, 1/17*(w + 7)>, <96, 1/48*(w + 6)>, <72, 1/72*(17*w - 119)>, <66, 1/178*(5*w + 123)>, <24, 1/93*(2*w + 27)>, <192, 1/16*(w + 8)>, <48, 1/92*(3*w + 107)>, <72, 1/16912*(85*w + 15997)>, <24, 1/20*(w - 10)>, <24, 1/35*(2*w - 8)>, <48, 1/196*(5*w + 101)>, <48, 1/126*(5*w + 55)>, <48, 1/133*(3*w + 118)>, <96, 1/318*(13*w + 104)>, <48, 1/156*(5*w - 35)>, <24, 1/2759*(48*w + 1815)>, <24, 1/189*(5*w + 55)>, <48, 1/120*(13*w - 91)>, <24, 1/248*(85*w - 170)>, <24, 1/7728*(85*w + 7310)>, <24, 1/63*(20*w + 103)>, <48, 1/224*(5*w + 125)>, <48, 1/32*(w + 38)>, <24, 1/2793*(40*w + 2288)>, <24, 1/147*(4*w + 23)>, <24, 1/288*(5*w + 273)>, <12, 1/288*(35*w + 498)>, <12, 1/55*(3*w - 30)>, <48, 1/112*(3*w + 27)>, <24, 1/256*(5*w + 286)>, <24, 1/31*(4*w + 23)>, <48, 1/20*(w + 25)>, <48, 1/54*(w + 38)>, <24, 1/2279*(40*w + 2184)>, <12, 1/1380*(221*w + 2485)>, <24, 1/276*(5*w + 25)>, <24, 1/27*(w + 29)>, <168, 1/32*(w + 25)>, <24, 1/28*(3*w + 34)>, <48, 1/322*(5*w + 255)>, <24, 1/53*(5*w - 45)>, <12, 1/2747*(34*w + 697)>, <12, 1/54*(w + 51)>, <36, 1/42*(w + 11)>, <48, 1/56*(15*w + 191)>, <24, 1/30*(w - 9)>, <24, 1/1113*(20*w + 880)>, <24, 1/755*(13*w + 846)>, <24, 1/40*(w + 44)>, <24, 1/5088*(65*w + 4230)>, <24, 1/27*(4*w + 35)>, <24, 1/81*(w + 65)>, <6, 1/6141*(100*w + 4916)>, <94, 1/16*(w + 5)>, <12, w + 1>, <12, 1/128*(5*w + 118)>, <72, 1/7*(w + 5)>, <24, 1/42*(5*w + 52)>, <12, 1/861*(26*w + 507)>, <24, 1/378*(19*w + 150)>, <12, 1/1208*(7*w + 1106)>, <72, 1/276*(7*w + 35)>, <24, 1/217*(5*w + 52)>, <24, 1/56*(w + 65)>, <48, 1/45*(w + 51)>, <48, 1/90*(w + 99)>, <24, 1/287*(6*w + 164)>, <24, 1/231*(17*w - 51)>, <24, 1/85*(w + 89)>, <80, 1/17*(w + 6)>, <24, 1/180*(17*w - 51)>, <120, 1/41*(w + 40)>, <24, 1/119*(5*w - 15)>, <48, 1/17*(w + 11)>, <24, 1/215*(16*w - 64)>, <96, 1/318*(13*w + 201)>, <24, 1/248*(3*w + 251)>, <24, 1/266*(3*w + 251)>, <12, 1/62*(7*w - 14)>, <48, 1/17*(w + 5)>, <24, 1/3171*(80*w + 1776)>, <36, 1/24*(w - 7)>, <24, 1/27*(2*w - 14)>, <24, 1/231*(17*w + 265)>, <24, 1/8256*(85*w + 7565)>, <80, 1/288*(17*w + 102)>, <48, 1/133*(3*w + 12)>, <72, 1/62*(w + 60)>, <24, 1/1763*(20*w + 103)>, <72, 1/63*(w + 60)>, <24, 1/27*(4*w - 12)>, <24, 1/477*(16*w + 605)>, <24, 1/10*(w + 11)>, <192, 1/318*(17*w + 165)>, <48, 1/152*(3*w + 107)>, <72, 1/901*(5*w + 941)>, <24, 1/84*(5*w - 50)>, <24, 1/516*(35*w - 140)>, <48, 1/86*(5*w + 101)>, <48, 1/15*(w + 11)>, <24, 1/1548*(35*w + 763)>, <48, 1/742*(15*w - 135)>, <24, 1/2567*(25*w + 2742)>, <24, 1/266*(17*w + 181)>, <24, 1/133*(17*w - 85)>, <24, 1/43*(10*w - 40)>, <48, 1/7654*(105*w + 1515)>, <24, 1/288*(5*w + 253)>, <24, 1/5*(w - 2)>, <12, 1/16974*(245*w + 4675)>, <94, 1/16*(w + 10)>, <24, 1/115*(7*w - 42)>, <24, 1/402*(17*w + 181)>, <24, 1/34*(w - 5)>, <24, 1/51264*(425*w + 46614)>, <24, 1/43*(10*w + 73)>, <28, 1/288*(5*w + 318)>, <24, 1/5518*(99*w + 2827)>, <48, 1/448*(3*w + 475)>, <24, 1/176*(9*w + 257)>, <48, 1/2047*(12*w + 1900)>, <24, 1/336*(5*w - 50)>, <24, 1/10947*(308*w + 4059)>, <12, 1/8379*(64*w + 8192)>, <12, 1/128*(w + 4)>, <12, 1/315*(64*w + 123)>, <24, 1/10947*(308*w + 6580)>, <12, 1/63*(4*w - 12)>, <24, 1/30*(w - 1)>, <24, 1/1963*(55*w - 440)>, <24, 1/110*(13*w - 104)>, <24, 1/248*(39*w - 78)>, <24, 1/301*(39*w - 156)>, <12, 1/744*(133*w + 133)>, <36, 1/6*(w - 2)>, <24, 1/182*(11*w + 226)>, <104, 1/19*(w + 9)>, <24, 1/5952*(143*w + 2938)>, <12, 1/92*(19*w - 22)>, <12, 1/63*(w + 51)>, <24, 1/234*(7*w - 28)>, <60, 1/189*(w + 177)>, <24, 1/1886*(39*w + 1560)>, <24, 1/112*(w + 102)>, <24, 1/41*(5*w - 5)>, <24, 1/123*(2*w + 123)>, <24, 1/35*(3*w + 56)>, <72, 1/106*(w - 9)>, <24, 1/45*(w + 46)>, <24, 1/248*(45*w + 293)>, <16, 1/9*(w - 10)>, <72, 1/126*(w + 11)>, <12, 1/81*(2*w + 67)>, <12, 1/89*(9*w + 90)>, <12, 1/712*(9*w + 1)>, <24, 1/133*(2*w + 123)>, <24, 1/5518*(105*w + 1960)>, <24, 1/168*(17*w - 119)>, <24, 1/176*(9*w - 63)>, <24, 1/2604*(55*w + 1130)>, <24, 1/64*(3*w + 79)>, <24, 1/114*(w + 11)>, <24, 1/63*(19*w + 209)>, <24, 1/133*(5*w + 153)>, <48, 1/21*(4*w - 28)>, <24, 1/201*(8*w + 97)>, <24, 1/2077*(56*w + 1141)>, <24, 1/147*(8*w + 163)>, <12, 1/248*(w + 249)>, <12, 1/31*(8*w - 16)>, <24, 1/129*(8*w + 97)>, <12, 1/124*(7*w + 7)>, <12, 1/26*(7*w + 110)>, <24, 1/8241*(182*w + 4797)>, <24, 1/299*(14*w + 369)>, <48, 1/112*(3*w - 21)>, <48, 1/54*(7*w - 49)>, <48, 1/356*(15*w + 191)>, <48, 1/356*(15*w + 150)>, <24, 1/160*(11*w + 226)>, <24, 1/207*(16*w + 287)>, <48, 1/384*(7*w - 49)>, <72, 1/258*(7*w + 230)>, <24, 1/204*(7*w - 49)>, <24, 1/162*(11*w - 77)>, <24, 1/126*(w + 2)>, <24, 1/25929*(520*w + 19104)>, <24, 1/136*(13*w - 78)>, <24, 1/117*(4*w - 28)>, <24, 1/91*(5*w + 111)>, <48, 1/21*(5*w - 39)>, <24, 1/84*(5*w + 10)>, <24, 1/80*(w + 81)>, <72, 1/159*(5*w + 114)>, <24, 1/112*(3*w + 127)>, <12, 1/129*(68*w + 204)>, <24, 1/2*(w - 4)>, <24, 1/3*(w - 4)>, <24, 1/102*(w + 4)>, <24, 1/102*(w + 97)>, <12, 1/266*(5*w + 286)>, <12, 1/2*(w - 5)>, <24, 1/86*(w - 4)>, <24, 1/126*(w + 128)>, <24, 1/160*(9*w + 214)>, <24, 1/155*(34*w + 87)>, <24, 1/27*(2*w - 10)>, <24, 1/170*(11*w + 214)>, <24, 1/96*(17*w - 102)>, <24, 1/133*(w + 128)>, <12, 1/954*(55*w - 495)>, <60, 1/9*(w + 8)>, <24, 1/2114*(45*w + 1070)>, <24, 1/155*(34*w + 34)>, <12, 1/221*(5*w + 241)>, <24, 5/246*w>, <24, 1/38958*(935*w + 18190)>, <24, 1/391*(8*w - 48)>, <24, 1/656*(15*w + 410)>, <24, 1/228*(5*w + 165)>, <36, 1/8*(w - 3)>, <24, 1/1541*(12*w + 1653)>, <36, 1/89*(2*w + 67)>, <12, 1/180*(7*w + 159)>, <24, 1/30*(w + 33)>, <12, 1/133*(3*w - 15)>, <12, 1/160*(3*w + 12)>, <36, 1/302*(9*w + 230)>, <24, 1/32*(w - 10)>, <72, 1/10*(w + 1)>, <24, 1/40*(w + 41)>, <12, 1/246*w>, <6, 1/128*(5*w + 123)>, <24, 1/40*(w - 2)>, <24, 1/574*(85*w + 574)>, <12, 7/41*w>, <24, 1/19557*(476*w + 4444)>, <24, 1/992*(119*w + 1111)>, <24, 1/26288*(595*w + 4018)>, <36, 1/248*(9*w + 230)>, <24, 1/21*(2*w - 20)>, <24, 1/70*(3*w + 82)>, <60, 1/20*(w + 10)>, <24, 1/44*(3*w + 56)>, <24, 1/387*(68*w - 272)>, <24, 1/248*(3*w + 242)>, <12, 1/153*(2*w + 165)>, <24, 1/399*(22*w + 487)>, <24, 1/136*(3*w - 12)>, <36, 1/6*(w + 7)>, <24, 1/2*(w + 2)>, <24, 1/378*(5*w + 325)>, <24, 1/60*(w + 65)>, <24, 1/31*(10*w + 41)>, <24, 1/4681*(84*w + 3556)>, <24, 1/2128*(65*w + 2388)>, <24, 1/897*(34*w - 204)>, <24, 1/128*(13*w - 91)>, <24, 1/532*(27*w - 135)>, <24, 1/2718*(65*w + 1443)>, <48, 1/21*(5*w + 55)>, <24, 1/84*(5*w + 69)>, <36, 1/4*(w - 3)>, <24, 1/35712*(595*w + 30107)>, <24, 1/133*(2*w + 141)>, <24, 1/12663*(340*w + 3075)>, <24, 1/2*(w + 3)>, <36, 1/72*(w + 65)>, <28, 1/378*(5*w + 318)>, <24, 1/10971*(140*w + 8911)>, <24, 1/159*(2*w + 141)>, <24, 1/615*(68*w + 615)>, <24, 1/238*(5*w + 253)>, <24, 1/129*(w + 3)>, <24, 1/44*(19*w + 190)>, <24, 1/1691*(11*w + 110)>, <4, 1/25*(19*w - 165)>, <4, 1/112896*(475*w - 4125)>, <36, 1/124*(w + 122)>, <24, 1/5*(w + 5)>, <12, 1/64*w>, <24, 1/656*(13*w + 533)>, <12, 1/209*(13*w - 26)>, <12, 1/83352*(1729*w + 55289)>, <24, 1/39*(w + 41)>, <24, 1/35*(3*w + 41)>, <24, 1/129*(2*w + 121)>, <24, 1/742*(15*w + 660)>, <12, 1/430*(17*w + 481)>, <24, 1/742*(15*w + 67)>, <12, 1/13439*(72*w + 12735)>, <24, 1/574*(15*w + 205)>, <24, 1/123*(2*w + 121)>, <72, 1/14*(w + 10)>, <24, 1/23*(2*w - 12)>, <24, 1/272*(7*w + 279)>, <24, 1/204*(7*w - 42)>, <36, 1/246*(7*w + 239)>, <12, 1/69*(7*w + 104)>, <12, 1/8127*(32*w + 8128)>, <12, 1/64*(w + 3)>, <12, 1/63*(32*w - 33)>, <24, 1/603*(4*w + 551)>, <12, 1/644*(9*w + 666)>, <24, 1/7298*(165*w + 3525)>, <24, 1/180*(11*w + 235)>, <24, 1/24*(w - 6)>, <36, 1/288*(7*w + 239)>, <24, 1/11481*(238*w + 9486)>, <24, 1/161*(17*w - 102)>, <24, 1/246*(13*w + 233)>, <24, 1/78*(5*w + 118)>, <36, 1/92*(w + 5)>, <48, 1/4*(w + 5)>, <12, 1/151*(w + 7)>, <12, 1/136*(w - 8)>, <32, 1/477*(w + 485)>, <24, 1/31*(17*w + 48)>, <24, 1/135*(13*w - 91)>, <24, 1/129*(11*w + 162)>, <24, 1/14896*(255*w + 14586)>, <24, 1/112*(17*w + 61)>, <24, 1/2394*(17*w + 48)>, <24, 1/448*(11*w + 162)>, <24, 1/416*(15*w - 105)>, <24, 1/306*(5*w + 286)>, <24, 1/2709*(68*w + 244)>, <24, 1/387*(35*w - 140)>, <24, 1/294*(5*w + 150)>, <24, 1/11481*(280*w + 4040)>, <12, 1/460*(3*w + 475)>, <24, 1/44144*(1197*w + 34181)>, <24, 1/186*(19*w - 38)>, <12, 1/123*(20*w - 20)>, <48, 4/123*w>, <12, 1/119*(4*w - 4)>, <60, 1/82*(3*w + 79)>, <24, 1/266*(9*w + 257)>, <24, 1/76*(3*w - 6)>, <24, 1/70*(3*w - 12)>, <24, 1/294*(5*w + 139)>, <24, 1/1113*(20*w + 1273)>, <24, 1/315*(26*w + 367)>, <24, 1/2394*(221*w + 3278)>, <12, 1/124*(17*w + 90)>, <24, 1/88288*(1989*w + 29502)>, <24, 1/4929*(130*w + 1835)>, <24, 1/402*(13*w + 233)>, <36, 1/124*(w + 1)>, <36, 1/84*(w - 3)>, <48, 1/62*(w + 63)>, <24, 1/3444*(65*w + 1534)>, <24, 1/189*(2*w + 165)>, <24, 1/119*(2*w + 123)>, <24, 1/151*(2*w + 165)>, <24, 1/2337*(34*w + 2091)>, <8, 1/276*(5*w - 30)>, <4, 1/69*(16*w + 249)>, <16, 1/5*(4*w + 45)>, <4, 1/345*(4*w + 45)>, <4, 1/64*(5*w + 34)>, <8, 1/5*(w - 6)>, <4, 1/4*(w - 6)>, <12, 1/68*(w + 2)>, <12, 1/187*(13*w - 39)>, <12, 1/3322*(169*w + 4505)>, <48, 1/302*(7*w + 49)>, <24, 1/108*(5*w + 123)>, <24, 1/164*(45*w - 45)>, <12, 1/276*(25*w + 401)>, <12, 1/21*(5*w - 45)>, <36, 1/8*(w - 1)>, <24, 1/3649*(90*w + 2214)>, <24, 1/135*(2*w - 2)>, <24, 1/24*(w - 9)>, <24, 1/318*(7*w + 56)>, <48, 1/180*(11*w + 246)>, <48, 1/246*(7*w - 7)>, <24, 1/336*(5*w + 381)>, <12, 1/266*(w + 261)>, <12, 1/645*(64*w + 389)>, <24, 1/129*(w - 4)>, <48, 1/2583*(55*w + 1230)>, <24, 1/217*(4*w + 85)>, <24, 1/318*(7*w + 255)>, <24, 1/246*(13*w - 13)>, <24, 1/78*(5*w - 50)>, <24, 1/13*(4*w - 36)>, <12, 1/17*(5*w + 62)>, <40, 3*w - 29>, <24, 1/6408*(17*w + 169)>, <24, 1/153*(11*w - 77)>, <24, 1/172*(17*w - 68)>, <36, 1/56*(w + 46)>, <36, 1/28*(w - 3)>, <24, 1/16*(17*w + 169)>, <24, 1/352*(17*w - 119)>, <36, 1/43*(w + 46)>, <24, 1/51*(2*w - 8)>, <24, 1/80*(w + 89)>, <12, 1/129*(25*w + 29)>, <24, 1/19*(w + 10)>, <12, 3/85*w>, <48, 1/82*(3*w - 3)>, <24, 1/356*(19*w + 190)>, <24, 1/516*(5*w + 445)>, <12, 1/5*(8*w - 96)>, <24, 1/5859*(130*w + 2375)>, <12, 1/74896*(1989*w + 22077)>, <24, 1/345*(26*w + 475)>, <24, 1/246*(13*w + 246)>, <24, 1/13*(4*w + 45)>, <24, 1/280*(13*w - 130)>, <24, 1/41022*(595*w + 7940)>, <24, 1/496*(119*w + 615)>, <24, 1/3317*(102*w + 2210)>, <24, 1/755*(119*w + 1588)>, <24, 1/15867*(238*w + 1230)>, <24, 1/3317*(102*w + 1005)>, <4, 1/72*(w - 7)>, <4, 1/68*(w + 78)>, <4, 1/1869*(4*w + 401)>, <4, 1/72*(5*w + 390)>, <12, 1/356*(11*w + 235)>, <12, 1/4182*(169*w + 4182)>, <12, 1/196*(25*w + 246)>, <24, 1/10947*(220*w + 5315)>, <16, 1/5*(4*w - 44)>, <12, 1/1890*(11*w - 132)>, <24, 1/755*(44*w + 1063)>, <24, 1/39*(4*w - 16)>, <40, 1/1008*(w + 998)>, <24, 1/1869*(34*w + 1139)>, <24, 1/51*(2*w + 67)>, <12, 1/1510*(27*w + 1699)>, <12, 1/13*(17*w - 191)>, <24, 1/39*(4*w + 51)>, <24, 1/151*(2*w + 135)>, <24, 1/17*(w + 13)>, <24, 1/151*(2*w + 14)>, <24, 1/258*(17*w + 190)>, <4, 1/82944*(1547*w + 23443)>, <12, 1/7052*(75*w + 827)>, <12, 1/11*(9*w - 88)>, <32, 1/477*(w - 9)>, <12, 1/774*(65*w + 969)>, <12, 1/288*(w + 281)>, <12, 1/289*(w - 6)>, <4, 1/91204*(1155*w + 14014)>, <12, 1/162*(w + 158)>, <12, 1/308*(27*w + 243)>, <12, 1/1204*(27*w - 65)>, <24, 1/14448*(221*w + 10725)>, <12, 1/13*(17*w - 170)>, <24, 1/14448*(221*w + 3502)>, <4, 1/43*(3*w + 9)>, <4, 1/1368*(11*w + 154)>, <8, 1/22*(3*w - 12)>, <4, 1/152*(3*w + 194)>, <8, 1/387*(11*w - 44)>, <4, 1/38*(w + 14)>, <4, 1/36*(w - 4)>, <4, 1/371*(6*w + 264)>, <4, 1/27*(w + 18)>, <4, 1/54*(w + 44)>, <-12, 1/288*(-11*w + 365)>, <-12, 1/445*(-4*w + 405)>, <-12, 1/91*(-4*w - 28)>, <-12, 1/13*(-w - 2)>, <-12, 1/276*(-35*w - 175)>, <-12, 1/756*(-17*w - 187)>, <-12, 1/665*(-44*w - 176)>, <-12, 1/534*(-13*w - 130)>, <-12, 1/1272*(-91*w - 728)>, <-12, 1/228*(-7*w + 130)>, <-12, 1/189*(-2*w + 213)>, <-36, 1/378*(-13*w + 235)>, <-12, 1/558*(-7*w + 138)>, <-12, 1/288*(-35*w + 533)>, <-12, 1/55*(-3*w - 27)>, <-12, 1/1380*(-221*w + 2706)>, <-12, 1/2747*(-34*w + 731)>, <-12, 1/54*(-w + 52)>, <-6, 1/6141*(-100*w + 5016)>, <-12, -w + 2>, <-12, 1/128*(-5*w + 123)>, <-12, 1/861*(-26*w + 533)>, <-24, 1/378*(-19*w + 169)>, <-12, 1/1208*(-7*w + 1113)>, <-12, 1/62*(-7*w - 7)>, <-12, 1/16974*(-245*w + 4920)>, <-12, 1/8379*(-64*w + 8256)>, <-12, 1/128*(-w + 5)>, <-12, 1/315*(-64*w + 187)>, <-12, 1/63*(-4*w - 8)>, <-12, 1/744*(-133*w + 266)>, <-12, 1/92*(-19*w - 3)>, <-12, 1/63*(-w + 52)>, <-24, 1/112*(-w + 103)>, <-16, 1/9*(-w - 9)>, <-12, 1/81*(-2*w + 69)>, <-12, 1/89*(-9*w + 99)>, <-12, 1/712*(-9*w + 10)>, <-12, 1/248*(-w + 250)>, <-12, 1/31*(-8*w - 8)>, <-12, 1/124*(-7*w + 14)>, <-12, 1/26*(-7*w + 117)>, <-12, 1/129*(-68*w + 272)>, <-12, 1/266*(-5*w + 291)>, <-12, 1/2*(-w - 4)>, <-12, 1/954*(-55*w - 440)>, <-12, 1/221*(-5*w + 246)>, <-12, 1/180*(-7*w + 166)>, <-12, 1/133*(-3*w - 12)>, <-12, 1/160*(-3*w + 15)>, <-6, 1/128*(-5*w + 128)>, <-12, 1/41*(-7*w + 7)>, <-12, 1/153*(-2*w + 167)>, <-12, 1/64*(-w + 1)>, <-12, 1/209*(-13*w - 13)>, <-12, 1/83352*(-1729*w + 57018)>, <-12, 1/430*(-17*w + 498)>, <-12, 1/13439*(-72*w + 12807)>, <-12, 1/69*(-7*w + 111)>, <-12, 1/8127*(-32*w + 8160)>, <-12, 1/64*(-w + 4)>, <-12, 1/63*(-32*w - 1)>, <-12, 1/644*(-9*w + 675)>, <-12, 1/151*(-w + 8)>, <-12, 1/136*(-w - 7)>, <-12, 1/460*(-3*w + 478)>, <-12, -20/123*w>, <-12, -4/119*w>, <-12, 1/124*(-17*w + 107)>, <-4, 1/69*(-16*w + 265)>, <-4, 1/345*(-4*w + 49)>, <-4, 1/64*(-5*w + 39)>, <-4, 1/4*(-w - 5)>, <-12, 1/68*(-w + 3)>, <-12, 1/187*(-13*w - 26)>, <-12, 1/3322*(-169*w + 4674)>, <-12, 1/276*(-25*w + 426)>, <-12, 1/21*(-5*w - 40)>, <-12, 1/266*(-w + 262)>, <-12, 1/645*(-64*w + 453)>, <-12, 1/17*(-5*w + 67)>, <-12, 1/129*(-25*w + 54)>, <-12, 1/85*(-3*w + 3)>, <-12, 1/5*(-8*w - 88)>, <-12, 1/74896*(-1989*w + 24066)>, <-4, 1/72*(-w - 6)>, <-4, 1/68*(-w + 79)>, <-4, 1/1869*(-4*w + 405)>, <-4, 1/72*(-5*w + 395)>, <-12, 1/356*(-11*w + 246)>, <-12, 1/4182*(-169*w + 4351)>, <-12, 1/196*(-25*w + 271)>, <-12, 1/1890*(-11*w - 121)>, <-12, 1/1510*(-27*w + 1726)>, <-12, 1/13*(-17*w - 174)>, <-4, 1/82944*(-1547*w + 24990)>, <-12, 1/7052*(-75*w + 902)>, <-12, 1/11*(-9*w - 79)>, <-12, 1/774*(-65*w + 1034)>, <-12, 1/288*(-w + 282)>, <-12, 1/289*(-w - 5)>, <-4, 1/91204*(-1155*w + 15169)>, <-12, 1/162*(-w + 159)>, <-12, 1/308*(-27*w + 270)>, <-12, 1/1204*(-27*w - 38)>, <-12, 1/13*(-17*w - 153)>, <-4, 1/43*(-3*w + 12)>, <-4, 1/1368*(-11*w + 165)>, <-4, 1/152*(-3*w + 197)>, <-4, 1/38*(-w + 15)>, <-4, 1/36*(-w - 3)>, <-4, 1/371*(-6*w + 270)>, <-4, 1/27*(-w + 19)>, <-4, 1/54*(-w + 45)> ]