/* Defining polynomial */ x^2 - x + 248 /* GCD of coefficients */ 2 /* 24 * |disc|^(3/2) /(8*pi^2)* zeta_F(2) */ 19057.3055133875176314963668452 /* Belt */ [ <72, 1/260*(7*w + 232)>, <6, 1/20*(w + 23)>, <162, 1/20*(w + 3)>, <36, 1/304*(5*w + 35)>, <42, 1/9*(w + 1)>, <42, 1/304*(9*w + 232)>, <36, 1/254*(5*w - 15)>, <36, 1/125*(3*w + 128)>, <162, 1/26*(w + 9)>, <36, 1/152*(3*w + 128)>, <36, 1/248*(7*w - 7)>, <36, 1/7*(w - 1)>, <132, 1/169*(8*w + 89)>, <12, 1/338*(7*w - 70)>, <60, 1/130*(3*w + 118)>, <132, 1/145*(8*w + 89)>, <60, 1/6*(w + 2)>, <96, 1/304*(11*w + 216)>, <96, 1/11*(w + 3)>, <48, 1/248*(7*w + 241)>, <24, 1/24*(w + 31)>, <112, 1/38*(w + 30)>, <24, 1/325*(6*w + 213)>, <132, 1/134*(7*w + 28)>, <24, 1/12*(w - 5)>, <48, 1/290*(7*w + 241)>, <24, 1/155*(3*w + 93)>, <112, 1/31*(w + 30)>, <24, 1/57*(2*w + 71)>, <24, 1/16*(w + 23)>, <24, 1/16*(w - 8)>, <132, 1/14*(w + 4)>, <24, 1/67*(3*w - 15)>, <24, 1/192*(7*w + 248)>, <48, 1/358*(9*w + 259)>, <108, 1/19*(w + 10)>, <24, 1/1178*(21*w + 744)>, <48, 1/250*(9*w + 259)>, <108, 1/358*(19*w + 190)>, <108, 1/80*(3*w + 24)>, <24, 1/136*(w + 138)>, <24, 1/9715*(68*w + 9384)>, <108, 1/65*(3*w + 9)>, <72, 1/254*(7*w + 14)>, <72, 1/268*(7*w + 28)>, <24, 1/5000*(91*w + 3341)>, <522, 1/19*(w + 7)>, <24, 1/112*(3*w - 24)>, <24, 1/134*(w + 129)>, <24, 1/2077*(30*w + 187)>, <24, 1/48*(w + 55)>, <120, 1/17*(w + 7)>, <522, 1/16*(w + 7)>, <24, 1/1270*(21*w + 318)>, <24, 1/133*(13*w - 104)>, <24, 1/127*(w + 129)>, <24, 1/127*(30*w + 187)>, <24, 1/19*(3*w + 40)>, <120, 1/338*(17*w + 168)>, <102, 1/14*(w + 3)>, <24, 1/4960*(99*w + 2232)>, <24, 1/1976*(33*w + 440)>, <72, 1/254*(11*w + 221)>, <12, 1/380*(9*w + 272)>, <108, 1/10*(w + 2)>, <24, 1/435*(11*w - 77)>, <102, 1/179*(7*w + 102)>, <24, 1/176*(9*w - 72)>, <102, 1/268*(11*w + 213)>, <102, 1/290*(11*w + 213)>, <36, 1/12*w>, <36, 1/254*(9*w + 227)>, <36, 1/254*(5*w + 10)>, <108, 1/10*(w + 7)>, <192, 1/17*(w + 8)>, <64, 1/268*(9*w + 223)>, <36, 1/290*(9*w + 227)>, <36, 3/62*w>, <24, 1/119*(4*w - 20)>, <24, 1/119*(4*w + 135)>, <60, 1/125*(3*w + 3)>, <24, 1/475*(8*w + 208)>, <24, 1/1651*(42*w + 846)>, <24, 1/1253*(18*w - 198)>, <72, 1/60*(19*w + 209)>, <72, 1/361*(3*w + 33)>, <48, 1/11*(w + 9)>, <72, 1/125*(4*w + 4)>, <72, 1/145*(4*w + 24)>, <60, 1/125*(3*w + 119)>, <24, 1/16*(w + 26)>, <48, 1/338*(11*w + 99)>, <24, 1/1253*(18*w + 1433)>, <24, 1/1651*(42*w + 763)>, <228, 1/29*(w + 22)>, <36, 1/65*(w + 68)>, <36, 1/4*(w + 7)>, <228, 1/10*(w + 3)>, <160, 1/160*(9*w + 79)>, <24, 1/625*(57*w - 114)>, <24, 1/114*(5*w - 10)>, <160, 1/169*(9*w + 79)>, <192, 1/145*(7*w + 42)>, <24, 1/1178*(27*w + 810)>, <24, 1/17375*(364*w + 12272)>, <54, 1/58*(w + 6)>, <48, 1/32*(17*w - 153)>, <48, 1/170*(w - 9)>, <24, 1/27*(w + 30)>, <24, 1/208*(7*w + 236)>, <24, 1/1976*(15*w + 200)>, <54, 1/5*(w + 6)>, <24, 1/21125*(532*w + 17157)>, <24, 133/992*w>, <28, 1/36*(7*w - 70)>, <24, 1/10*(3*w + 40)>, <192, 1/14*(w + 6)>, <24, 1/62*(17*w + 62)>, <24, 1/221*(9*w + 239)>, <84, 1/358*(17*w + 170)>, <24, 11/248*w>, <24, 1/46982*(735*w + 9212)>, <24, 1/469*(60*w + 709)>, <60, 1/358*(15*w + 193)>, <144, 1/338*(19*w + 171)>, <24, 1/39*(7*w + 102)>, <24, 1/232*(21*w - 147)>, <48, 1/2327*(42*w + 612)>, <24, 1/1790*(21*w + 306)>, <24, 1/1235*(17*w + 62)>, <48, 1/203*(6*w - 42)>, <24, 1/79360*(1989*w + 52819)>, <84, 1/17*(w + 10)>, <24, 1/4225*(84*w + 2709)>, <24, 1/11*w>, <24, 1/98*(15*w + 188)>, <24, 1/21463*(420*w + 4963)>, <60, 1/268*(15*w + 193)>, <24, 1/380*(11*w + 248)>, <60, 1/145*(9*w + 54)>, <12, 1/112*(3*w - 9)>, <18, 1/1253*(16*w - 176)>, <12, 1/358*(21*w + 127)>, <126, 1/8*(w + 3)>, <6, 1/4355*(98*w + 2793)>, <24, 1/248*(9*w + 248)>, <24, 1/19000*(357*w + 3411)>, <24, 1/6565*(132*w + 4816)>, <126, 1/67*(2*w + 57)>, <24, 1/338*(9*w + 248)>, <24, 1/780*(119*w + 1137)>, <24, 1/1072*(33*w + 1204)>, <102, 1/40*(w + 8)>, <24, 1/670*(9*w + 22)>, <24, 1/145*(12*w + 217)>, <136, 1/76*(3*w + 52)>, <84, 1/268*(13*w + 203)>, <102, 1/8*(w + 8)>, <24, 1/31*(9*w + 22)>, <36, 1/124*(5*w + 119)>, <24, 1/27*(w + 31)>, <24, 1/589*(12*w + 217)>, <24, 1/4225*(77*w + 1596)>, <12, 1/21463*(330*w + 15138)>, <36, 1/169*(6*w + 109)>, <24, 1/4225*(77*w + 2552)>, <136, 1/67*(3*w + 52)>, <84, 1/320*(13*w + 203)>, <24, 1/248*(9*w + 239)>, <24, 1/27*(8*w - 72)>, <24, 1/4495*(84*w + 939)>, <36, 1/1300*(33*w + 583)>, <24, 1/179*(5*w + 124)>, <64, 1/62*(w + 62)>, <24, 1/179*(5*w + 50)>, <64, 1/4*(w + 4)>, <24, 1/320*(9*w + 239)>, <24, 1/2560*(27*w - 243)>, <24, 1/201*(28*w + 313)>, <24, 1/6448*(153*w + 2079)>, <24, 1/169*(4*w + 36)>, <24, 1/8*(w - 9)>, <24, 1/8*(w + 9)>, <24, 1/180*(17*w + 231)>, <48, 1/51910*(153*w + 50218)>, <48, 1/7*(w - 2)>, <48, 1/320*(7*w + 257)>, <48, 1/2873*(9*w + 2954)>, <12, 1/67*(19*w + 76)>, <12, 1/4*(w - 5)>, <24, 1/8*(w + 16)>, <24, 1/248*(11*w + 248)>, <60, 1/18*(w + 6)>, <24, 1/27*(w - 5)>, <36, 5/124*w>, <12, 1/133*(15*w - 75)>, <48, 1/1390*(21*w + 291)>, <48, 1/232*(3*w + 37)>, <24, 1/176*(13*w + 215)>, <24, 3/136*w>, <36, 1/127*(w + 124)>, <24, 1/403*(6*w + 366)>, <28, 1/101*(3*w + 36)>, <102, 1/50*(w + 1)>, <24, 1/375*(68*w - 136)>, <24, 1/33*(8*w + 89)>, <48, 3/124*w>, <24, 1/65*(7*w + 86)>, <48, 1/16*(3*w + 37)>, <72, 1/304*(15*w + 184)>, <48, 1/133*(3*w - 24)>, <36, 1/124*(w + 124)>, <24, 1/403*(6*w + 31)>, <28, 1/12*(w + 12)>, <102, 1/5*(w + 1)>, <24, 1/33*(8*w - 64)>, <24, 1/176*(13*w - 52)>, <24, 17/93*w>, <24, 1/136*(3*w - 6)>, <48, 1/139*(3*w + 15)>, <24, 1/310*(7*w + 86)>, <24, 1/182*(11*w + 237)>, <24, 1/180*(11*w + 268)>, <48, 1/144*(11*w + 221)>, <12, 1/1273*(30*w + 723)>, <12, 1/14039*(180*w + 12159)>, <12, 1/139*(9*w + 85)>, <24, 1/182*(11*w - 66)>, <48, 1/5080*(99*w + 1989)>, <24, 1/180*(11*w - 99)>, <24, 1/260*(3*w + 248)>, <24, 1/3*(w - 1)>, <12, 1/960*(13*w + 1064)>, <144, 1/64*(3*w + 24)>, <24, 1/27*(4*w + 47)>, <24, 1/279*(34*w - 34)>, <12, 1/10*(w - 3)>, <12, 1/635*(76*w + 152)>, <12, 1/4160*(99*w + 4952)>, <24, 1/1112*(27*w + 1247)>, <24, 1/12065*(306*w + 9248)>, <24, 1/11993*(165*w + 9705)>, <24, 1/570*(11*w + 647)>, <72, 1/127*(4*w + 8)>, <96, 1/152*(9*w + 80)>, <96, 1/152*(9*w + 63)>, <72, 1/127*(4*w + 115)>, <132, 1/10*(w + 4)>, <24, 1/15*(4*w - 36)>, <144, 1/14*(w + 5)>, <48, 1/358*(13*w + 215)>, <24, 1/77*(6*w + 113)>, <48, 1/400*(9*w + 184)>, <48, 1/18*(w - 6)>, <140, 1/290*(13*w + 199)>, <6, 1/580*(9*w + 112)>, <24, 1/77*(6*w - 42)>, <144, 1/64*(3*w + 37)>, <132, 1/134*(5*w + 20)>, <144, 1/14*(w + 8)>, <24, 1/1273*(12*w + 1120)>, <48, 1/358*(13*w + 130)>, <96, 1/145*(6*w + 103)>, <24, 1/7904*(165*w + 4499)>, <24, 1/5549*(105*w + 2604)>, <42, 1/4*(w - 8)>, <48, 1/5360*(91*w + 3848)>, <48, 1/5360*(91*w + 1421)>, <24, 1/400*(21*w - 189)>, <24, 1/319*(15*w + 409)>, <96, 1/145*(6*w + 36)>, <24, 1/20956*(495*w + 8680)>, <24, 1/99*(5*w - 25)>, <24, 1/105*(4*w + 117)>, <24, 7/288*w>, <48, 1/2432*(35*w + 2677)>, <48, 1/250*(7*w + 236)>, <24, 1/160*(9*w - 81)>, <24, 1/105*(4*w - 16)>, <24, 36/217*w>, <48, 1/24881*(280*w + 21416)>, <24, 1/18*(w - 9)>, <48, 1/278*(7*w + 236)>, <48, 1/134*(9*w - 45)>, <48, 1/18*(w - 5)>, <12, 1/12827*(405*w + 11097)>, <16, 1/8*(w + 12)>, <12, 1/112*(3*w - 30)>, <12, 1/169*(3*w + 27)>, <48, 1/101*(4*w + 48)>, <12, 1/100*(19*w + 157)>, <60, 1/62*(w + 61)>, <72, 1/16*(w + 10)>, <24, 1/889*(117*w + 1123)>, <48, 1/15*(w + 5)>, <24, 1/22733*(540*w + 18225)>, <48, 1/42*(19*w + 190)>, <48, 1/3401*(21*w + 210)>, <24, 1/45466*(637*w + 34294)>, <24, 1/2197*(49*w + 2638)>, <132, 1/13*(w + 7)>, <24, 1/5239*(105*w + 2499)>, <24, 1/84*(5*w + 119)>, <60, 1/65*(w + 61)>, <132, 1/304*(13*w + 91)>, <72, 1/179*(8*w + 80)>, <24, 1/37696*(819*w + 7861)>, <72, 1/11*(w + 8)>, <48, 1/278*(15*w + 75)>, <24, 1/992*(135*w - 135)>, <24, 1/27*w>, <24, 1/4901*(40*w + 4416)>, <12, 1/8*(w + 10)>, <12, 1/1016*(147*w + 575)>, <24, 1/34472*(595*w + 29512)>, <24, 1/12625*(374*w + 3377)>, <44, 1/268*(17*w + 183)>, <24, 1/2546*(51*w + 884)>, <24, 1/635*(119*w - 357)>, <24, 1/341*(34*w + 307)>, <44, 1/404*(17*w + 183)>, <24, 1/34*(3*w + 52)>, <24, 1/134*(13*w + 186)>, <24, 1/11323*(180*w + 775)>, <24, 1/589*(13*w + 186)>, <24, 1/500*(153*w + 194)>, <144, 1/10*(w + 1)>, <12, 1/22*(w + 23)>, <144, 1/32*(w + 23)>, <24, 1/153*(2*w + 149)>, <60, 1/14*(w + 2)>, <24, 1/112*(3*w - 12)>, <24, 1/195*(28*w - 112)>, <24, 1/89500*(1683*w + 39384)>, <12, 1/105640*(1547*w + 88077)>, <72, 1/278*(17*w + 176)>, <24, 1/2880*(187*w + 4376)>, <24, 1/27040*(99*w + 27909)>, <24, 1/11*(9*w + 90)>, <12, 1/324*(7*w + 268)>, <12, 1/845*(81*w + 729)>, <12, 1/12844*(81*w - 116)>, <12, 1/358*(w - 11)>, <24, 27/248*w>, <24, 1/11323*(180*w + 10368)>, <24, 1/512*(5*w + 552)>, <36, 1/7*(w + 10)>, <12, 1/22912*(855*w + 6705)>, <12, 1/52*(w - 4)>, <24, 1/254*(3*w + 245)>, <36, 1/124*(w + 123)>, <24, 1/725*(12*w + 612)>, <48, 1/145*(3*w + 18)>, <24, 1/589*(14*w + 155)>, <36, 1/380*(3*w + 344)>, <36, 1/125*(w + 123)>, <24, 1/725*(12*w + 101)>, <24, 1/248*(3*w + 245)>, <48, 1/145*(3*w + 124)>, <24, 1/589*(14*w + 420)>, <24, 1/1595*(91*w + 2141)>, <24, 1/201*(7*w + 229)>, <24, 1/1072*(99*w - 495)>, <120, 1/11*(w + 5)>, <24, 1/1072*(99*w + 1468)>, <24, 1/28*(3*w + 40)>, <24, 1/47120*(1001*w + 23551)>, <24, 1/272*(3*w + 269)>, <24, 1/68*(w + 71)>, <24, 1/65*(17*w + 116)>, <24, 3/272*w>, <6, 1/77720*(1859*w + 39864)>, <12, 1/2286*(209*w - 627)>, <72, 1/380*(17*w + 176)>, <6, 1/45*(w - 4)>, <12, 1/2340*(323*w + 969)>, <12, 1/9*(w - 4)>, <24, 1/99524*(1615*w + 40)>, <24, 1/99524*(1615*w + 97869)>, <24, 1/384*(13*w + 488)>, <24, 1/17*(w + 23)>, <24, 1/17*(w - 7)>, <12, 1/64*(3*w - 27)>, <24, 1/65*(6*w + 113)>, <24, 1/1040*(21*w + 648)>, <24, 1/268*(3*w + 280)>, <12, 1/19*(4*w + 47)>, <60, 1/95*(4*w + 47)>, <24, 1/381*(28*w + 437)>, <60, 1/16*(w + 4)>, <24, 1/3131*(84*w + 1311)>, <24, 1/35*(3*w - 21)>, <24, 1/160*(11*w + 237)>, <36, 1/13604*(45*w - 445)>, <24, 1/209*(10*w + 279)>, <60, 1/127*(7*w + 14)>, <24, 1/3328*(51*w + 472)>, <24, 1/29*(w + 35)>, <72, 1/9*(w + 5)>, <24, 1/475*(12*w + 151)>, <12, 1/128*(3*w + 128)>, <12, 1/19*(16*w + 112)>, <12, 1/589*(16*w + 93)>, <36, 1/320*(3*w + 344)>, <24, 1/127*(12*w + 151)>, <24, 1/234*(7*w - 14)>, <12, 1/95*(2*w + 71)>, <12, 1/324*(7*w + 21)>, <24, 1/234*(7*w + 241)>, <24, 1/268*(51*w + 472)>, <36, 1/358*(7*w + 70)>, <12, 1/377*(8*w + 193)>, <24, 1/52*(w + 35)>, <12, 1/754*(19*w + 317)>, <72, 1/260*(9*w + 224)>, <24, 1/403*(10*w + 238)>, <24, 1/11323*(224*w + 7931)>, <12, 1/8375*(147*w + 2397)>, <36, 1/127*(6*w + 109)>, <24, 1/104*(5*w + 119)>, <24, 1/973*(32*w + 1133)>, <24, 1/1625*(36*w + 1161)>, <12, 1/90932*(2457*w + 47840)>, <24, 1/36830*(819*w + 15354)>, <24, 1/238*(5*w + 243)>, <24, 1/119*(3*w - 30)>, <24, 1/33232*(595*w + 28917)>, <24, 1/1014*(119*w - 1190)>, <12, 1/289*(13*w + 224)>, <12, 1/380*(7*w + 77)>, <12, 1/3*(w + 4)>, <24, 1/268*(5*w + 20)>, <24, 1/620*(13*w + 204)>, <24, 5/248*w>, <24, 1/139*(13*w + 204)>, <24, 1/17375*(238*w + 2024)>, <12, 1/475*(14*w + 97)>, <24, 1/10*(w - 2)>, <24, 1/17375*(238*w + 15113)>, <12, 1/77*(5*w - 40)>, <24, 1/1251*(91*w + 1706)>, <24, 1/304*(9*w + 367)>, <12, 1/1235*(18*w - 7)>, <12, 1/1125*(49*w + 1027)>, <24, 1/520*(9*w + 367)>, <24, 1/2502*(187*w + 3437)>, <24, 1/76000*(1683*w + 30933)>, <24, 1/11020*(189*w + 8239)>, <20, 1/27040*(63*w + 26424)>, <12, 1/254*(w + 251)>, <12, 1/128*(w - 2)>, <12, 1/171*(2*w + 12)>, <12, 1/145*(2*w - 14)>, <24, 1/1651*(99*w + 1849)>, <24, 1/1651*(99*w - 297)>, <24, 1/117*(4*w + 129)>, <12, 1/870*(19*w + 984)>, <24, 1/254*(3*w - 9)>, <30, 1/125*(w + 126)>, <30, 1/130*(w + 126)>, <24, 1/254*(3*w + 260)>, <24, 1/11020*(189*w + 2592)>, <24, 1/22196*(561*w + 9548)>, <12, w + 3>, <12, 1/64*(w + 2)>, <24, 1/204*(11*w - 44)>, <2, 1/121*(13*w + 199)>, <12, 1/404*(19*w + 157)>, <12, 1/77720*(891*w + 59576)>, <12, 1/190*(3*w + 78)>, <24, 1/60*(w + 68)>, <24, 1/16*(3*w + 40)>, <24, 1/417*(19*w - 114)>, <24, 1/417*(19*w + 512)>, <48, 1/101*(4*w + 49)>, <12, 1/256*(3*w + 253)>, <24, 1/938*(39*w + 1094)>, <24, 1/15*(w + 12)>, <24, 1/375*(28*w + 403)>, <24, 1/78*(7*w + 106)>, <24, 1/2945*(84*w + 1209)>, <24, 1/15*(w + 2)>, <12, 1/11*(8*w - 88)>, <24, 1/35*(17*w - 153)>, <24, 1/17*(w + 22)>, <24, 1/25*(3*w - 6)>, <12, 1/248*(w + 247)>, <6, 4/31*w>, <24, 1/30*(w - 2)>, <42, 1/95*(w + 83)>, <12, 1/1305*(14*w + 1389)>, <24, 1/1088*(7*w - 63)>, <24, 1/754*(17*w + 374)>, <24, 1/104*(5*w + 124)>, <24, 1/45466*(975*w + 28366)>, <28, 1/11323*(126*w + 9415)>, <24, 1/1608*(85*w + 1948)>, <6, 1/338*(7*w + 268)>, <6, 1/85852*(2023*w + 77452)>, <24, 1/21463*(510*w + 11688)>, <24, 1/5549*(130*w + 3224)>, <24, 1/1807*(75*w + 2182)>, <24, 1/52*(3*w + 9)>, <24, 1/54*(w - 2)>, <24, 1/135*(2*w + 131)>, <24, 1/800*(21*w + 296)>, <24, 1/250*(3*w + 244)>, <6, 1/458*(13*w + 182)>, <6, 1/3250*(289*w + 289)>, <6, 1/169*(21*w + 127)>, <24, 1/268*(5*w + 288)>, <24, 1/338*(5*w + 288)>, <24, 1/3*(w + 7)>, <12, 1/289*(5*w + 20)>, <24, 1/248*(5*w - 5)>, <24, 1/278*(5*w + 25)>, <12, 1/119*(2*w - 4)>, <36, 1/125*(2*w + 2)>, <12, 1/1820*(81*w + 2063)>, <6, 1/2736*(169*w + 3919)>, <24, 1/520*(11*w + 176)>, <36, 1/195*(11*w - 44)>, <24, 1/11*(w + 16)>, <12, 1/2224*(51*w - 306)>, <28, 1/13520*(9*w - 88)>, <12, 1/6*(w + 10)>, <12, 1/179*(64*w - 704)>, <24, 1/52*(3*w + 40)>, <24, 1/3683*(54*w + 3537)>, <24, 1/21*(w - 3)>, <24, 1/125*(27*w - 54)>, <24, 1/5560*(51*w + 528)>, <24, 1/127*(68*w - 77)>, <24, 1/4826*(119*w + 1802)>, <24, 1/57*(17*w + 176)>, <24, 1/9035*(68*w - 77)>, <24, 1/4826*(119*w + 2905)>, <24, 1/44*(3*w + 59)>, <12, 1/6460*(11*w + 6328)>, <12, 1/268*(w + 263)>, <12, 1/1235*(16*w + 131)>, <24, 1/2945*(66*w + 1298)>, <4, 1/187*(9*w + 223)>, <12, 1/520*(51*w - 204)>, <24, 1/2375*(39*w + 672)>, <24, 1/104*(3*w - 27)>, <24, 1/90*(7*w - 28)>, <6, 1/125*(64*w + 64)>, <24, 1/380*(13*w + 224)>, <24, 1/380*(13*w + 143)>, <24, 1/90*(7*w + 111)>, <6, 1/139*(64*w + 459)>, <6, 1/139*(w + 5)>, <24, 1/2900*(51*w + 2601)>, <12, 1/589*(15*w + 450)>, <6, 1/92416*(735*w + 82665)>, <24, 1/51*(w + 51)>, <12, 1/102*(5*w - 15)>, <24, 1/21*(w - 6)>, <12, 1/254*(17*w + 203)>, <6, 1/2290*(169*w + 4656)>, <24, 1/5746*(15*w + 5881)>, <12, 1/4*(w + 6)>, <12, 1/580*(119*w - 833)>, <12, 1/84512*(1755*w + 27000)>, <6, w + 6>, <6, 1/289*(w + 5)>, <12, 1/24505*(136*w + 22856)>, <24, 1/21*(w + 26)>, <36, 1/125*(2*w + 121)>, <24, 1/152*(w + 144)>, <24, 1/152*(w + 7)>, <24, 1/4448*(77*w + 1067)>, <24, 1/406*(11*w - 77)>, <12, 1/1520*(3*w + 1553)>, <4, 1/201*(4*w + 351)>, <4, 1/51*(2*w + 75)>, <4, 1/335*(6*w + 225)>, <4, 1/16*(5*w + 36)>, <12, 1/570*(13*w - 156)>, <24, 1/12*(w + 1)>, <12, 1/875*(52*w - 104)>, <12, 1/14*(w + 1)>, <24, 1/125*(6*w + 6)>, <18, 1/32*(7*w - 77)>, <24, 1/1250*(119*w + 1369)>, <12, 1/255*(7*w + 248)>, <24, 1/22196*(595*w + 6845)>, <12, 1/1014*(25*w + 1239)>, <24, 1/4*(w - 2)>, <12, 1/4654*(85*w + 5504)>, <24, 1/52*(17*w - 136)>, <36, 1/10*(9*w - 89)>, <24, 1/1292*(13*w - 104)>, <12, 1/304*(w + 296)>, <6, 1/4350*(289*w + 2327)>, <24, 1/125*(2*w - 4)>, <12, 1/695*(42*w + 905)>, <4, 1/310*(9*w + 310)>, <4, 1/155*(3*w + 90)>, <4, 1/303*(6*w + 427)>, <8, 13/248*w>, <4, 1/3131*(39*w + 806)>, <8, 1/13*w>, <12, 1/25048*(637*w + 12896)>, <12, 1/20956*(595*w + 6200)>, <24, 1/23491*(255*w + 20040)>, <24, 1/23491*(255*w + 3196)>, <4, 1/14*w>, <4, 1/13330*(91*w + 1521)>, <8, 1/13*(w - 1)>, <4, 1/1505*(14*w + 1739)>, <8, 1/248*(13*w - 13)>, <4, 1/1935*(49*w + 819)>, <4, 1/248*(63*w + 185)>, <4, 1/5360*(63*w + 4473)>, <4, 1/162*(7*w + 99)>, <4, 1/81*(w + 71)>, <28, 1/1521*(w + 9)>, <20, 1/7*(9*w - 81)>, <-6, 1/20*(-w + 24)>, <-12, 1/338*(-7*w - 63)>, <-12, 1/380*(-9*w + 281)>, <-12, 1/112*(-3*w - 6)>, <-6, 1/4355*(-98*w + 2891)>, <-12, 1/21463*(-330*w + 15468)>, <-12, 1/67*(-19*w + 95)>, <-12, 1/4*(-w - 4)>, <-12, 1/133*(-15*w - 60)>, <-12, 1/1273*(-30*w + 753)>, <-12, 1/14039*(-180*w + 12339)>, <-12, 1/139*(-9*w + 94)>, <-12, 1/960*(-13*w + 1077)>, <-12, 1/10*(-w - 2)>, <-12, 1/635*(-76*w + 228)>, <-12, 1/4160*(-99*w + 5051)>, <-6, 1/580*(-9*w + 121)>, <-12, 1/12827*(-405*w + 11502)>, <-16, 1/8*(-w + 13)>, <-12, 1/112*(-3*w - 27)>, <-12, 1/169*(-3*w + 30)>, <-12, 1/100*(-19*w + 176)>, <-12, 1/8*(-w + 11)>, <-12, 1/1016*(-147*w + 722)>, <-12, 1/22*(-w + 24)>, <-12, 1/105640*(-1547*w + 89624)>, <-12, 1/324*(-7*w + 275)>, <-12, 1/845*(-81*w + 810)>, <-12, 1/12844*(-81*w - 35)>, <-12, 1/358*(-w - 10)>, <-12, 1/22912*(-855*w + 7560)>, <-12, 1/52*(-w - 3)>, <-6, 1/77720*(-1859*w + 41723)>, <-12, 1/2286*(-209*w - 418)>, <-6, 1/45*(-w - 3)>, <-12, 1/2340*(-323*w + 1292)>, <-12, 1/9*(-w - 3)>, <-12, 1/64*(-3*w - 24)>, <-12, 1/19*(-4*w + 51)>, <-12, 1/128*(-3*w + 131)>, <-12, 1/19*(-16*w + 128)>, <-12, 1/589*(-16*w + 109)>, <-12, 1/95*(-2*w + 73)>, <-12, 1/324*(-7*w + 28)>, <-12, 1/377*(-8*w + 201)>, <-12, 1/754*(-19*w + 336)>, <-12, 1/8375*(-147*w + 2544)>, <-12, 1/90932*(-2457*w + 50297)>, <-12, 1/289*(-13*w + 237)>, <-12, 1/380*(-7*w + 84)>, <-12, 1/3*(-w + 5)>, <-12, 1/475*(-14*w + 111)>, <-24, 1/10*(-w - 1)>, <-12, 1/77*(-5*w - 35)>, <-12, 1/1235*(-18*w + 11)>, <-12, 1/1125*(-49*w + 1076)>, <-12, 1/254*(-w + 252)>, <-12, 1/128*(-w - 1)>, <-12, 1/171*(-2*w + 14)>, <-12, 1/145*(-2*w - 12)>, <-12, 1/870*(-19*w + 1003)>, <-12, -w + 4>, <-12, 1/64*(-w + 3)>, <-2, 1/121*(-13*w + 212)>, <-12, 1/404*(-19*w + 176)>, <-12, 1/77720*(-891*w + 60467)>, <-12, 1/190*(-3*w + 81)>, <-12, 1/256*(-3*w + 256)>, <-12, 1/11*(-8*w - 80)>, <-6, 1/31*(-4*w + 4)>, <-12, 1/1305*(-14*w + 1403)>, <-6, 1/338*(-7*w + 275)>, <-6, 1/85852*(-2023*w + 79475)>, <-6, 1/458*(-13*w + 195)>, <-6, 1/3250*(-289*w + 578)>, <-6, 1/169*(-21*w + 148)>, <-12, 1/289*(-5*w + 25)>, <-12, 1/119*(-2*w - 2)>, <-12, 1/1820*(-81*w + 2144)>, <-6, 1/2736*(-169*w + 4088)>, <-12, 1/2224*(-51*w - 255)>, <-12, 1/6*(-w + 11)>, <-12, 1/179*(-64*w - 640)>, <-12, 1/6460*(-11*w + 6339)>, <-12, 1/268*(-w + 264)>, <-12, 1/1235*(-16*w + 147)>, <-4, 1/187*(-9*w + 232)>, <-12, 1/520*(-51*w - 153)>, <-6, 1/125*(-64*w + 128)>, <-6, 1/139*(-64*w + 523)>, <-6, 1/139*(-w + 6)>, <-12, 1/589*(-15*w + 465)>, <-6, 1/92416*(-735*w + 83400)>, <-12, 1/102*(-5*w - 10)>, <-12, 1/254*(-17*w + 220)>, <-6, 1/2290*(-169*w + 4825)>, <-24, 1/5746*(-15*w + 5896)>, <-12, 1/4*(-w + 7)>, <-12, 1/580*(-119*w - 714)>, <-12, 1/84512*(-1755*w + 28755)>, <-6, -w + 7>, <-6, 1/289*(-w + 6)>, <-12, 1/24505*(-136*w + 22992)>, <-12, 1/1520*(-3*w + 1556)>, <-4, 1/201*(-4*w + 355)>, <-4, 1/51*(-2*w + 77)>, <-4, 1/335*(-6*w + 231)>, <-4, 1/16*(-5*w + 41)>, <-12, 1/570*(-13*w - 143)>, <-12, 1/875*(-52*w - 52)>, <-12, 1/14*(-w + 2)>, <-12, 1/255*(-7*w + 255)>, <-12, 1/1014*(-25*w + 1264)>, <-12, 1/4654*(-85*w + 5589)>, <-12, 1/304*(-w + 297)>, <-6, 1/4350*(-289*w + 2616)>, <-12, 1/695*(-42*w + 947)>, <-4, 1/310*(-9*w + 319)>, <-4, 1/155*(-3*w + 93)>, <-4, 1/303*(-6*w + 433)>, <-4, 1/3131*(-39*w + 845)>, <-12, 1/25048*(-637*w + 13533)>, <-12, 1/20956*(-595*w + 6795)>, <-4, 1/14*(-w + 1)>, <-4, 1/13330*(-91*w + 1612)>, <-4, 1/1505*(-14*w + 1753)>, <-4, 1/1935*(-49*w + 868)>, <-4, 1/248*(-63*w + 248)>, <-4, 1/5360*(-63*w + 4536)>, <-4, 1/162*(-7*w + 106)>, <-4, 1/81*(-w + 72)> ]