/* Defining polynomial */ x^2 + 438 /* GCD of coefficients */ 1 /* 24 * |disc|^(3/2) /(8*pi^2)* zeta_F(2) */ 34291.7391515670310994212187555 /* Belt */ [ <120, 1/237*(8*w + 189)>, <120, 1/269*(8*w + 189)>, <184, 1/20*(w + 10)>, <48, 1/360*(13*w - 78)>, <72, 1/474*(19*w + 360)>, <48, 1/44311*(780*w + 18031)>, <16, 1/1343*(45*w + 1613)>, <152, 1/559*(17*w + 372)>, <192, 1/519*(19*w + 348)>, <192, 1/519*(19*w + 171)>, <72, 1/19*(w + 13)>, <136, 1/22*(w + 8)>, <136, 1/22*(w + 14)>, <108, 1/227*(7*w + 199)>, <108, 1/14*(w + 10)>, <120, 1/227*(8*w + 32)>, <24, 1/99*(8*w + 195)>, <132, 1/251*(10*w + 171)>, <132, 1/251*(10*w + 80)>, <216, 1/251*(9*w + 72)>, <216, 1/269*(9*w + 90)>, <232, 1/12*(w + 6)>, <24, 1/77*(10*w - 100)>, <24, 1/77*(10*w + 177)>, <60, 1/487*(18*w + 361)>, <12, 1/6149*(289*w + 9328)>, <60, 1/559*(15*w + 165)>, <24, 1/133*(8*w - 56)>, <24, 1/63753*(1064*w + 38616)>, <24, 1/11771*(77*w + 11704)>, <120, 1/73*(w + 73)>, <24, 1/11771*(77*w + 67)>, <120, 1/73*w>, <24, 1/34*(3*w - 27)>, <24, 1/7663*(102*w + 5589)>, <144, 1/13*(w + 11)>, <12, 1/559*(21*w - 231)>, <24, 1/43*(w + 54)>, <24, 1/13*(w + 24)>, <108, 1/17*(w + 2)>, <12, 1/9*(w - 15)>, <204, 1/237*(7*w + 195)>, <204, 1/237*(7*w + 42)>, <136, 1/173*(6*w + 54)>, <84, 1/221*(4*w + 8)>, <12, 1/189*(4*w + 213)>, <84, 1/26*(w + 15)>, <84, 1/26*(w + 11)>, <24, 1/8032*(247*w + 10008)>, <168, 1/158*(5*w + 128)>, <144, 1/474*(13*w + 78)>, <24, 1/2761*(170*w - 1360)>, <72, 7/219*w>, <24, 1/32929*(420*w + 16905)>, <24, 1/926*(63*w - 315)>, <24, 1/3633*(136*w - 1224)>, <48, 1/2193*(22*w + 2424)>, <48, 1/1388*(11*w + 1212)>, <24, 1/304*(15*w + 394)>, <60, 1/317*(12*w + 168)>, <24, 1/340*(11*w + 450)>, <24, 1/47233*(880*w + 8833)>, <24, 1/47233*(880*w + 38400)>, <108, 1/13*(w + 5)>, <108, 1/502*(13*w + 398)>, <60, 1/317*(12*w + 149)>, <24, 1/127749*(1870*w + 76500)>, <48, 1/221*(2*w + 4)>, <12, 1/22*(w - 2)>, <108, 1/26*(w + 2)>, <24, 1/3555*(152*w + 4467)>, <120, 1/291*(8*w + 96)>, <24, 1/63*(2*w - 10)>, <144, 1/13*(w + 2)>, <48, 1/221*(2*w + 225)>, <24, 1/12629*(210*w + 2409)>, <24, 1/8766*(247*w + 10495)>, <24, 1/281041*(4446*w + 188910)>, <192, 1/16*(w + 8)>, <144, 1/538*(21*w + 328)>, <24, 1/12629*(210*w + 10220)>, <48, 1/237*(2*w + 225)>, <84, 1/20*(w + 9)>, <120, 1/442*(11*w + 420)>, <24, 1/3913*(33*w + 4276)>, <84, 1/582*(17*w + 204)>, <60, 1/146*(w + 146)>, <24, 1/88622*(1729*w + 30368)>, <36, 1/607*(20*w + 260)>, <24, 1/143859*(1976*w + 106419)>, <24, 1/4769*(104*w + 5601)>, <36, 1/487*(20*w + 140)>, <24, 1/399*(13*w - 39)>, <12, 1/59449*(756*w + 16168)>, <36, 1/221*(4*w - 8)>, <60, 1/146*w>, <48, 1/447*(5*w + 432)>, <24, 1/1043*(66*w - 198)>, <48, 1/447*(5*w + 15)>, <24, 1/198*(7*w - 21)>, <48, 1/5111*(80*w + 5911)>, <48, 1/160*(19*w + 350)>, <106, 1/559*(22*w + 317)>, <24, 1/22*(w + 36)>, <60, 1/173*(8*w + 72)>, <1, 1/13975*(9*w + 14074)>, <1, 1/13948*(75*w + 14800)>, <1, 1/951*(33*w + 7463)>, <74, 1/559*(25*w + 275)>, <1, 1/177203*(825*w + 162800)>, <1, 1/559*(3*w + 592)>, <74, 1/25*(w + 11)>, <5, 1/312481*(1650*w + 23775)>, <24, 1/78769*(770*w + 64370)>, <24, 1/10040*(187*w - 1496)>, <24, 1/77*(10*w - 110)>, <48, 1/34*(w - 2)>, <48, 1/34*(w + 36)>, <24, 1/1264*(49*w + 1558)>, <24, 1/176*(9*w + 203)>, <36, 1/607*(16*w + 208)>, <24, 1/1264*(57*w - 342)>, <36, 1/607*(16*w + 399)>, <108, 1/11*(w + 7)>, <12, 1/154379*(2688*w + 43520)>, <108, 1/317*(9*w + 191)>, <24, 1/147*(8*w + 195)>, <12, 1/30*(w + 32)>, <12, 1/817*(13*w + 960)>, <252, 1/79*(3*w + 18)>, <60, 1/519*(16*w + 144)>, <24, 1/3704*(391*w + 5659)>, <60, 1/487*(16*w + 112)>, <24, 1/391*(8*w + 431)>, <24, 1/867*(11*w + 396)>, <144, 1/487*(13*w + 91)>, <24, 1/2761*(170*w + 4121)>, <168, 1/15*(w + 9)>, <72, 1/219*(7*w + 219)>, <252, 1/18*(w + 6)>, <48, 1/439*(9*w + 448)>, <48, 1/538*(9*w + 448)>, <144, 1/21*(w + 11)>, <24, 1/32929*(420*w + 16024)>, <24, 1/8032*(247*w - 1976)>, <24, 1/295609*(3740*w + 64889)>, <24, 1/3633*(136*w + 4857)>, <84, 1/519*(20*w + 180)>, <120, 1/442*(11*w + 22)>, <24, 1/25331*(456*w + 12483)>, <24, 1/176*(9*w - 27)>, <84, 1/582*(17*w + 378)>, <24, 1/33*(7*w + 110)>, <60, 1/24*(w + 9)>, <24, 1/143859*(1615*w + 30600)>, <24, 1/58911*(920*w + 18615)>, <24, 1/117*(8*w - 72)>, <24, 1/264966*(4301*w + 94116)>, <24, 1/23613*(220*w + 19620)>, <24, 1/71959*(1071*w + 22729)>, <24, 1/137789*(1836*w + 41688)>, <24, 1/255*(16*w + 399)>, <24, 1/137789*(1836*w + 96101)>, <24, 1/71959*(1071*w + 49230)>, <24, 1/2768*(85*w + 3533)>, <108, 1/317*(13*w + 135)>, <108, 1/26*(w + 12)>, <24, 1/384*(11*w - 44)>, <24, 1/19637*(315*w + 5840)>, <24, 1/3632*(399*w - 1596)>, <24, 1/2497*(192*w - 768)>, <464, 1/97*(4*w + 48)>, <24, 1/790*(63*w + 1168)>, <84, 1/438*(11*w + 438)>, <24, 1/399*(8*w - 32)>, <228, 1/194*(7*w + 110)>, <228, 1/21*(w + 9)>, <228, 1/23*(w + 11)>, <24, 1/1004*(57*w - 456)>, <72, 1/7663*(120*w + 5223)>, <72, 1/1461*(40*w + 1741)>, <24, 1/7081*(114*w + 4161)>, <228, 1/23*(w + 12)>, <24, 1/204*(5*w + 219)>, <24, 1/91*(22*w + 333)>, <24, 1/745*(68*w + 949)>, <24, 1/946*(7*w + 1023)>, <24, 1/247*(15*w + 412)>, <36, 1/251*(w + 243)>, <36, 1/2*(w - 6)>, <24, 1/8032*(255*w + 10072)>, <152, 1/559*(17*w + 187)>, <168, 1/538*(17*w + 170)>, <24, 1/12629*(192*w + 3285)>, <24, 1/8032*(255*w - 2040)>, <24, 1/12629*(192*w + 9344)>, <168, 1/17*(w + 10)>, <96, 1/15*(w + 7)>, <144, 1/502*(19*w + 350)>, <144, 1/502*(19*w + 152)>, <96, 1/502*(15*w + 382)>, <72, 5/146*w>, <24, 1/17459*(264*w + 1971)>, <72, 1/15*w>, <24, 1/17459*(264*w + 15488)>, <24, 1/25043*(390*w + 18140)>, <96, 1/237*(10*w + 177)>, <24, 1/4573*(99*w + 5563)>, <60, 1/8*(w + 8)>, <60, 1/219*(4*w + 219)>, <96, 1/463*(11*w + 55)>, <96, 1/11*(w + 5)>, <108, 1/15*(w + 3)>, <36, 1/634*(17*w + 396)>, <24, 1/149*(7*w + 170)>, <24, 1/269*(7*w - 70)>, <24, 1/4268*(19*w - 228)>, <24, 1/57*(22*w - 264)>, <12, 1/275578*(2805*w + 63690)>, <84, 1/17*(w + 4)>, <66, 1/9*(w + 7)>, <12, 1/18993*(374*w + 5661)>, <24, 1/14*(w - 10)>, <24, 1/149*(7*w - 21)>, <36, 1/17*(w + 3)>, <108, 1/149*(5*w + 15)>, <24, 1/3632*(575*w + 1332)>, <24, 1/55*(2*w - 18)>, <36, 1/149*(2*w + 155)>, <24, 1/55*(2*w + 73)>, <36, 1/173*(2*w + 155)>, <24, 1/575*(8*w + 543)>, <24, 1/3*(w + 9)>, <48, 1/1843*(22*w - 264)>, <24, 1/158*(w + 164)>, <48, 1/132*(19*w - 228)>, <24, 1/2037*(16*w - 192)>, <180, 1/502*(17*w + 136)>, <24, 1/32*(7*w - 84)>, <180, 1/502*(17*w + 366)>, <12, 1/578*(7*w + 252)>, <24, 1/731*(6*w - 63)>, <24, 1/70057*(1512*w + 31312)>, <72, 1/221*(8*w + 205)>, <48, 1/439*(13*w + 452)>, <12, 1/951*(200*w + 3751)>, <108, 1/317*(9*w + 126)>, <84, 1/559*(11*w + 438)>, <24, 1/320*(13*w + 398)>, <24, 1/320*(13*w - 78)>, <24, 1/23613*(220*w + 3993)>, <24, 1/247*(15*w - 165)>, <24, 1/1384*(39*w - 351)>, <12, 1/78542*(1235*w + 40352)>, <108, 1/454*(13*w + 52)>, <24, 1/264966*(4301*w + 170850)>, <24, 1/2435*(184*w + 3723)>, <24, 1/170*(19*w + 360)>, <72, 1/487*(14*w + 98)>, <60, 1/18*(w + 11)>, <48, 1/110*(9*w - 81)>, <72, 1/14*(w + 11)>, <24, 1/104*(9*w - 99)>, <48, 1/110*(9*w + 191)>, <24, 1/104*(9*w + 203)>, <72, 1/14*(w + 3)>, <24, 1/169*(3*w + 72)>, <48, 1/582*(11*w + 132)>, <24, 1/6111*(44*w + 6639)>, <24, 1/47233*(759*w + 33120)>, <24, 1/663*(11*w + 498)>, <96, 1/663*(25*w + 375)>, <96, 1/2873*(20*w + 2573)>, <96, 1/40*(7*w - 70)>, <24, 1/25043*(190*w + 21680)>, <36, 1/20*(w + 15)>, <48, 1/663*(19*w + 378)>, <48, 1/9*(w + 8)>, <120, 1/158*(3*w + 140)>, <24, 1/149*(w + 152)>, <24, 1/2686*(21*w + 2338)>, <144, 1/502*(21*w + 334)>, <36, 1/11*(w - 3)>, <24, 1/2008*(105*w - 840)>, <84, 1/221*(7*w + 116)>, <40, 1/21*(w + 7)>, <24, 1/5*(w + 5)>, <72, 1/538*(11*w + 110)>, <48, 1/487*(7*w + 438)>, <48, 1/474*(7*w + 42)>, <24, 1/67519*(253*w + 65527)>, <144, 1/607*(21*w + 334)>, <24, 1/285*(14*w - 168)>, <24, 1/130*(7*w + 235)>, <24, 1/5389*(72*w + 3544)>, <48, 1/27262*(175*w + 29250)>, <24, 1/357*(10*w + 507)>, <24, 1/285*(14*w + 425)>, <132, 1/10*(w + 6)>, <24, 1/50167*(475*w + 40717)>, <300, 1/291*(11*w + 132)>, <132, 1/237*(5*w + 30)>, <96, 1/2873*(20*w + 300)>, <12, 1/519*(7*w + 456)>, <12, 1/55471*(600*w + 10071)>, <120, 1/11*(w + 3)>, <12, 1/5918*(49*w + 6408)>, <300, 1/291*(11*w + 159)>, <120, 1/502*(11*w + 414)>, <24, 1/134733*(1768*w + 39312)>, <84, 1/607*(17*w + 386)>, <4, 1/3*(w + 11)>, <4, 1/140309*(825*w + 144650)>, <4, 1/140309*(6050*w + 108475)>, <4, 1/177203*(726*w + 13017)>, <20, 1/251*(3*w - 24)>, <28, 1/79567*(99*w + 1467)>, <20, 1/6*(w - 8)>, <24, 1/134733*(1768*w + 95421)>, <12, 1/442*(5*w - 10)>, <12, 1/462*(5*w + 10)>, <24, 1/150*(19*w - 228)>, <72, 1/463*(19*w + 368)>, <24, 1/463*(5*w + 25)>, <24, 1/439*(4*w + 435)>, <24, 1/245401*(3990*w + 66250)>, <72, 1/11*(w + 10)>, <40, 1/21*(w + 14)>, <84, 1/21*(w + 6)>, <24, 1/39*(7*w - 77)>, <36, 1/11*(w + 14)>, <24, 1/25777*(420*w + 14385)>, <24, 1/231*(2*w - 18)>, <24, 1/219*w>, <24, 1/134147*(2310*w + 36707)>, <84, 2/73*w>, <24, 1/17933*(77*w + 146)>, <24, 1/3555*(161*w + 4521)>, <96, 1/538*(13*w + 408)>, <48, 1/12*(w + 5)>, <48, 1/487*(12*w + 403)>, <60, 1/15*(w + 11)>, <96, 1/13*(w + 3)>, <108, 1/10*(w + 8)>, <12, 1/2510*(171*w - 1368)>, <24, 1/58911*(1045*w + 13140)>, <84, 1/12*w>, <24, 1/420*(11*w - 44)>, <24, 1/2*w>, <24, 1/146*(77*w + 146)>, <24, 1/134147*(2415*w + 67815)>, <24, 1/231*(2*w + 249)>, <76, 1/347*(11*w + 176)>, <48, 1/582*(11*w + 450)>, <159, 1/607*(23*w + 299)>, <36, 1/463*(18*w + 373)>, <24, 1/2195*(483*w - 483)>, <24, 1/607*(7*w + 516)>, <24, 1/462*(5*w + 462)>, <24, 1/474*(7*w + 516)>, <24, 1/365*(77*w + 365)>, <24, 1/304*(13*w + 408)>, <24, 1/120243*(1976*w + 62016)>, <24, 1/83291*(1064*w + 20648)>, <24, 1/399*(8*w - 72)>, <24, 1/1852*(209*w + 2897)>, <24, 1/731*(11*w + 379)>, <24, 1/12*(w - 2)>, <24, 1/107627*(990*w + 92642)>, <24, 1/269*(11*w + 379)>, <24, 1/221*(6*w - 12)>, <24, 1/135*(22*w - 198)>, <13, 1/326566*(207*w + 2772)>, <74, 1/607*(26*w + 269)>, <4, 1/607*(3*w + 39)>, <3, 1/598*(3*w + 568)>, <4, 1/3*(w + 13)>, <2, 1/338*(10*w + 169)>, <3, 1/163283*(897*w + 169832)>, <1, 1/163283*(117*w - 19731)>, <1, 1/1821*(69*w - 13064)>, <1, 1/326566*(1587*w + 26094)>, <159, 1/607*(23*w + 308)>, <4, 1/69*(10*w + 169)>, <108, 1/11*(w + 4)>, <48, 1/442*(7*w + 428)>, <12, 1/1389*(200*w + 2389)>, <60, 1/463*(9*w + 45)>, <96, 1/538*(25*w + 250)>, <24, 1/21437*(385*w + 11385)>, <84, 1/519*(22*w + 198)>, <48, 1/14453*(210*w + 5628)>, <24, 1/694*(19*w + 304)>, <24, 1/19*(w + 16)>, <12, 1/84251*(1232*w + 28875)>, <12, 1/867*(19*w + 684)>, <12, 1/187*(4*w + 219)>, <168, 1/487*(19*w + 133)>, <36, 1/126*(19*w + 354)>, <24, 1/9409*(28*w + 9752)>, <12, 1/321322*(5819*w + 274022)>, <12, 1/529*(6*w + 96)>, <12, 1/6945*(529*w + 4300)>, <24, 1/391*(8*w + 447)>, <12, 1/265866*(6877*w + 231702)>, <12, 1/6*(w + 13)>, <48, 1/487*(7*w + 49)>, <24, 1/3896*(391*w + 6633)>, <24, 1/21437*(385*w + 10052)>, <84, 1/607*(22*w + 286)>, <48, 1/1345*(42*w - 420)>, <24, 1/285*(14*w + 453)>, <84, 1/173*(3*w + 27)>, <48, 1/1275*(7*w + 1170)>, <24, 1/67519*(253*w + 1992)>, <48, 1/474*(7*w + 432)>, <48, 1/439*(9*w + 430)>, <120, 1/149*(3*w + 140)>, <24, 1/149*(w - 3)>, <12, 1/7081*(98*w + 3577)>, <24, 1/2536*(7*w + 2438)>, <24, 1/25043*(190*w + 3363)>, <36, 1/20*(w + 5)>, <48, 1/19*(w + 4)>, <24, 1/2210*(209*w + 2628)>, <72, 1/19*(w + 14)>, <96, 1/16781*(140*w + 14581)>, <24, 1/4*(w + 3)>, <24, 1/4630*(399*w + 6625)>, <24, 1/344*(9*w + 443)>, <120, 1/221*(7*w + 14)>, <96, 1/317*(10*w + 177)>, <48, 1/2428*(3*w + 2389)>, <24, 1/75993*(1496*w + 35040)>, <108, 1/454*(13*w + 402)>, <24, 1/7532*(285*w + 10382)>, <60, 1/15*(w + 10)>, <24, 1/70057*(1064*w + 42792)>, <120, 1/14*(w + 2)>, <24, 1/4152*(133*w + 5349)>, <60, 1/15*(w + 5)>, <76, 1/22*(w + 16)>, <24, 1/249094*(2415*w + 235704)>, <36, 1/607*(18*w + 373)>, <24, 1/209*(4*w + 229)>, <24, 1/154379*(924*w + 139419)>, <24, 1/454*(11*w + 498)>, <24, 1/169*(3*w + 97)>, <24, 1/414*(11*w + 480)>, <84, 1/9*(w + 9)>, <24, 1/187*(8*w - 32)>, <48, 1/6693*(16*w + 6885)>, <48, 1/163283*(368*w + 158355)>, <48, 1/9409*(12*w + 9556)>, <24, 1/95906*(1197*w + 22680)>, <24, 1/1341*(230*w + 2031)>, <60, 1/607*(24*w + 312)>, <24, 1/12857*(55*w + 13462)>, <60, 1/559*(16*w + 383)>, <24, 1/170*(7*w + 219)>, <24, 1/47233*(833*w + 27829)>, <24, 1/209*(3*w - 18)>, <24, 1/487*(4*w + 28)>, <48, 1/13667*(220*w + 5632)>, <72, 1/12*(w + 4)>, <84, 1/149*(4*w + 12)>, <60, 1/439*(13*w + 426)>, <12, 1/873*(200*w + 3273)>, <72, 1/251*(6*w + 203)>, <48, 1/1255*(44*w - 352)>, <84, 1/149*(4*w + 137)>, <24, 1/4*(w + 7)>, <48, 1/6149*(42*w - 462)>, <24, 1/1547*(209*w + 1965)>, <20, 1/1738*(35*w - 210)>, <12, 1/484*(7*w + 498)>, <24, 1/3*(w - 2)>, <48, 1/6149*(42*w + 6611)>, <24, 1/418*(7*w + 432)>, <24, 1/252*(5*w + 5)>, <24, 1/869*(64*w - 384)>, <40, 1/5*(w + 4)>, <24, 1/75947*(1064*w + 59451)>, <24, 1/252*(5*w + 247)>, <24, 1/384*(11*w - 66)>, <40, 1/454*(5*w + 20)>, <24, 1/44161*(420*w + 1825)>, <24, 1/399*(8*w + 447)>, <12, 1/258817*(3174*w + 260797)>, <12, 1/529*(11*w + 121)>, <12, 1/2315*(529*w - 330)>, <24, 1/1343*(46*w - 276)>, <24, 1/1118*(51*w - 561)>, <168, 1/19*(w + 7)>, <24, 1/44911*(782*w + 17388)>, <24, 1/7081*(102*w + 3723)>, <24, 1/35551*(462*w + 6643)>, <24, 1/553*(66*w + 949)>, <24, 1/77*(w + 85)>, <24, 1/5767*(70*w + 657)>, <24, 1/25043*(390*w + 6903)>, <24, 1/5767*(70*w + 5110)>, <24, 1/7663*(77*w + 6545)>, <12, 1/9253*(221*w - 1547)>, <12, 1/6187*(39*w + 6577)>, <12, 1/7884*(361*w + 7884)>, <24, 1/320*(17*w - 102)>, <24, 1/165*(8*w - 40)>, <12, 1/634*(9*w + 508)>, <12, 1/134733*(1400*w + 35133)>, <48, 1/227*(3*w + 215)>, <24, 1/502*(7*w + 446)>, <48, 1/221*(3*w + 215)>, <24, 1/439*(7*w + 446)>, <24, 1/165*(8*w + 205)>, <24, 1/320*(17*w + 422)>, <72, 1/12*(w + 10)>, <12, 1/121*(26*w - 269)>, <24, 1/607*(15*w + 412)>, <24, 1/1649*(32*w + 2033)>, <72, 1/18*(w + 15)>, <24, 1/227*(10*w + 267)>, <24, 1/3012*(161*w + 4300)>, <124, 1/634*(23*w + 322)>, <48, 1/21437*(336*w + 9936)>, <24, 1/27334*(161*w + 930)>, <24, 1/3012*(161*w - 1288)>, <124, 1/519*(23*w + 207)>, <48, 1/21437*(336*w + 11501)>, <24, 1/27334*(161*w + 26404)>, <24, 1/607*(15*w + 195)>, <12, 1/17238*(121*w + 15423)>, <72, 1/12*(w + 2)>, <24, 1/507*(10*w + 267)>, <72, 1/18*(w + 3)>, <24, 1/192*(17*w + 396)>, <48, 1/3409*(150*w + 4459)>, <24, 1/18323*(276*w + 3212)>, <60, 1/149*(2*w + 6)>, <24, 1/207*(4*w - 12)>, <48, 1/3409*(150*w - 1050)>, <28, 1/727*(23*w + 336)>, <24, 17/438*w>, <28, 1/23*(w + 6)>, <24, 1/17*w>, <24, 1/69423*(1190*w + 37230)>, <12, 1/69423*(847*w + 42924)>, <24, 1/209*(3*w + 227)>, <12, 1/11180*(119*w + 12489)>, <24, 1/1343*(49*w + 1637)>, <24, 1/95906*(1197*w + 73226)>, <24, 1/731*(6*w + 794)>, <24, 1/76687*(1260*w + 48267)>, <12, 1/6940*(27*w + 7372)>, <48, 1/227*(10*w + 187)>, <24, 1/4383*(140*w + 5363)>, <6, 1/247078*(3249*w + 81018)>, <30, 1/9*(w + 11)>, <24, 1/55*(23*w + 308)>, <24, 1/44161*(420*w + 42336)>, <60, 1/559*(24*w + 264)>, <24, 1/73041*(910*w + 57480)>, <24, 1/439*(6*w - 6)>, <12, 1/361*(13*w + 452)>, <60, 1/16*(w + 5)>, <36, 1/54223*(115*w + 1530)>, <24, 1/230*(3*w + 239)>, <12, 1/337978*(3795*w + 284188)>, <52, 1/487*(23*w + 326)>, <72, 1/60*(7*w + 116)>, <24, 1/258*(5*w - 55)>, <24, 1/99*(8*w - 120)>, <24, 1/1589*(220*w + 2469)>, <24, 1/120243*(1540*w + 17283)>, <72, 1/1757*(30*w + 1997)>, <24, 1/25331*(264*w + 18104)>, <24, 1/2533*(30*w + 655)>, <84, 1/8*(w + 2)>, <24, 1/95*(6*w - 36)>, <24, 1/88*(23*w - 230)>, <24, 1/351*(4*w + 411)>, <24, 1/8675*(56*w + 7779)>, <24, 1/688*(19*w + 897)>, <24, 1/399*(10*w - 30)>, <48, 1/146771*(1330*w + 121011)>, <24, 1/19*(w - 5)>, <24, 1/1730*(27*w + 1973)>, <24, 1/14453*(210*w + 11060)>, <24, 1/5649*(65*w + 6299)>, <24, 1/7785*(253*w + 10062)>, <24, 1/184*(7*w - 35)>, <24, 1/439*(4*w + 443)>, <24, 1/10760*(147*w + 12230)>, <24, 1/460*(7*w - 56)>, <24, 1/127749*(2600*w + 85200)>, <24, 1/4947*(91*w - 1092)>, <24, 1/135*(7*w + 219)>, <48, 1/112*(19*w - 266)>, <24, 1/4947*(70*w + 2070)>, <24, 1/519*(23*w - 207)>, <24, 1/1462*(23*w + 736)>, <24, 1/4947*(70*w + 2877)>, <24, 1/76*(5*w + 146)>, <48, 1/4*w>, <24, 1/10428*(221*w - 1326)>, <24, 1/4267*(121*w - 968)>, <48, 1/454*(5*w + 474)>, <48, 1/519*(5*w + 474)>, <24, 1/1903*(133*w + 3100)>, <24, 1/100334*(1463*w + 34100)>, <12, 1/24347*(170*w + 21440)>, <24, 1/141699*(2210*w + 51480)>, <4, 1/84251*(322*w + 3590)>, <4, 1/519*(2*w + 501)>, <4, 1/46*(21*w + 340)>, <20, 1/105*(23*w - 207)>, <16, 1/10*(23*w + 322)>, <20, 1/3979*(35*w - 315)>, <24, 1/141699*(2210*w + 90219)>, <24, 1/134147*(2640*w + 61635)>, <24, 1/3405*(176*w + 4109)>, <12, 1/116213*(726*w + 115676)>, <12, 1/484*(7*w + 56)>, <12, 1/1389*(242*w + 179)>, <12, 1/13354*(35*w - 455)>, <48, 1/194*(3*w + 158)>, <48, 1/149*(3*w + 158)>, <24, 1/134733*(2057*w + 45738)>, <24, 1/221*(22*w - 132)>, <12, 1/462*(5*w + 522)>, <12, 1/487*(5*w - 35)>, <24, 1/76*(5*w - 70)>, <48, 1/227*(2*w + 219)>, <24, 1/69423*(1288*w + 29127)>, <24, 1/463*(4*w + 443)>, <24, 1/5649*(65*w - 650)>, <24, 1/483*(4*w + 515)>, <24, 1/253*(2*w - 14)>, <24, 1/38*(11*w - 121)>, <24, 1/221*(w - 2)>, <24, 1/730*(77*w + 730)>, <24, 1/1135*(63*w + 1387)>, <24, 1/884*(253*w + 378)>, <24, 1/146771*(2052*w + 39744)>, <24, 1/146771*(2052*w + 107027)>, <36, 1/291*(5*w + 60)>, <12, 1/171*(5*w - 60)>, <24, 1/231*(5*w + 231)>, <24, 1/227*(w + 4)>, <24, 1/16133*(315*w + 6935)>, <24, 1/253*(2*w + 249)>, <24, 1/6149*(38*w - 418)>, <24, 1/974*(253*w - 1771)>, <24, 1/483*(4*w - 32)>, <24, 1/123539*(2070*w + 17739)>, <24, 1/1317*(161*w + 1156)>, <24, 1/391*(12*w + 451)>, <12, 1/116213*(1911*w + 57707)>, <24, 1/75129*(836*w + 20580)>, <48, 1/20*(11*w + 163)>, <24, 1/2428*(209*w + 5145)>, <48, 1/79567*(220*w + 3260)>, <12, 1/351*(16*w + 399)>, <12, 1/399*(8*w - 24)>, <12, 1/447*(8*w + 24)>, <24, 1/12*(w + 1)>, <24, 1/176*(5*w + 211)>, <66, 1/9*(w + 2)>, <6, 1/1461*(529*w - 2242)>, <18, 1/538*(3*w + 508)>, <12, 1/61063*(600*w + 13263)>, <12, 1/9*(w + 13)>, <24, 1/176*(5*w - 35)>, <12, 1/209*(3*w - 30)>, <24, 1/269*(3*w + 30)>, <12, 1/438*(13*w + 438)>, <12, 1/192419*(3456*w + 159651)>, <24, 1/79567*(704*w + 69135)>, <12, 1/209*(3*w + 215)>, <24, 1/5709*(64*w + 6285)>, <12, 1/15*(w + 14)>, <12, 1/529*(7*w - 7)>, <48, 1/6023*(56*w - 784)>, <24, 1/135*(7*w - 84)>, <48, 1/219*(5*w + 219)>, <24, 1/143859*(1610*w + 25179)>, <24, 1/10760*(147*w - 1470)>, <24, 1/24347*(270*w + 19730)>, <24, 1/140*(3*w + 158)>, <12, 1/119*(3*w + 146)>, <48, 1/5529*(70*w + 6369)>, <24, 1/19*(w + 24)>, <24, 1/140309*(1881*w + 105659)>, <24, 1/1490*(133*w - 399)>, <24, 1/247*(16*w + 423)>, <24, 1/3104*(69*w + 3932)>, <24, 1/16133*(240*w + 9125)>, <48, 1/347*(10*w + 187)>, <24, 1/137789*(1547*w + 35126)>, <24, 1/249094*(3795*w + 150930)>, <24, 1/127749*(2600*w + 42549)>, <24, 9/460*w>, <24, 1/391*(12*w - 60)>, <24, 1/161*(3*w + 158)>, <24, 1/559*(12*w + 427)>, <24, 1/68*(9*w + 203)>, <24, 1/8675*(56*w + 896)>, <24, 1/6187*(44*w - 440)>, <24, 1/95*(6*w + 131)>, <48, 1/269*(5*w + 219)>, <24, 1/1345*(48*w + 1825)>, <24, 1/207*(16*w + 399)>, <24, 1/4540*(437*w + 6288)>, <52, 1/23*(w + 16)>, <48, 1/6*(w - 6)>, <24, 1/24*(w - 8)>, <36, 1/607*(11*w + 464)>, <84, 1/23*(w + 8)>, <24, 1/1948*(133*w + 2879)>, <24, 1/463*(3*w + 448)>, <12, 1/76687*(1400*w + 29687)>, <32, 1/21*(w + 5)>, <24, 1/32929*(532*w + 11516)>, <12, 1/147*(10*w + 187)>, <24, 1/596*(77*w + 827)>, <24, 1/22019*(308*w + 3308)>, <24, 1/418*(7*w + 446)>, <12, 1/242*(7*w + 235)>, <12, 1/694*(15*w + 240)>, <12, 1/3*(w + 1)>, <24, 1/1589*(209*w + 2425)>, <12, 1/79567*(825*w + 67342)>, <48, 1/439*(13*w - 13)>, <24, 1/84*(w + 85)>, <40, 1/5*(w - 1)>, <24, 1/7663*(84*w + 7140)>, <40, 1/439*(5*w - 5)>, <72, 1/7663*(84*w + 1708)>, <72, 1/28*(3*w + 61)>, <12, 1/290121*(1058*w + 284073)>, <4, 1/16721*(55*w + 935)>, <8, 1/198*(23*w - 138)>, <4, 1/319153*(2070*w + 48415)>, <8, 1/1817*(33*w - 198)>, <4, 1/439*(18*w + 421)>, <4, 1/414*(5*w - 30)>, <12, 1/91*(w + 6)>, <48, 1/79*(w - 6)>, <12, 1/1185*(49*w - 294)>, <12, 1/238*(15*w - 150)>, <24, 1/7663*(88*w + 183)>, <24, 1/1027*(55*w - 330)>, <24, 1/447*(88*w + 183)>, <24, 1/1027*(55*w + 1357)>, <12, 1/3492*(361*w + 7824)>, <24, 1/7925*(33*w + 462)>, <24, 1/4769*(99*w + 5561)>, <24, 1/416*(23*w + 462)>, <24, 1/1317*(230*w + 1087)>, <24, 1/1317*(230*w + 230)>, <24, 1/17121*(368*w + 7392)>, <24, 1/12*(w + 24)>, <24, 1/15*(w + 24)>, <24, 1/1014*(11*w + 750)>, <72, 1/317*(8*w + 205)>, <108, 1/221*(5*w + 211)>, <24, 1/221*(92*w + 37)>, <24, 1/221*(92*w + 184)>, <24, 1/173*(5*w + 218)>, <24, 1/1014*(11*w + 264)>, <24, 1/97*(2*w + 121)>, <24, 1/161*(6*w - 42)>, <24, 161/1752*w>, <12, 1/13*(w + 16)>, <12, 1/103406*(2275*w + 85050)>, <24, 1/32929*(644*w + 25921)>, <24, 1/2922*(161*w - 1127)>, <96, 1/227*(4*w + 16)>, <12, 1/139611*(1862*w + 105507)>, <24, 1/26093*(99*w + 24662)>, <24, 1/454*(69*w + 730)>, <24, 13/506*w>, <24, 1/4*(w + 8)>, <24, 1/5767*(69*w + 730)>, <24, 1/165029*(3289*w + 37011)>, <24, 1/227*(2*w + 235)>, <12, 1/153*(7*w - 42)>, <12, 1/7981*(21*w + 7645)>, <6, 1/4383*(361*w + 6910)>, <84, 1/663*(23*w + 318)>, <48, 1/10*(w + 5)>, <36, 1/442*(11*w + 464)>, <24, 1/24*(w + 32)>, <12, 1/293542*(5187*w + 193078)>, <24, 1/4540*(437*w - 1748)>, <12, 1/4641*(11*w - 165)>, <8, 1/463*(2*w + 473)>, <4, 1/225481*(966*w - 2978)>, <4, 1/253*(21*w + 358)>, <4, 1/441*(11*w + 518)>, <8, 1/2*(w + 7)>, <24, 1/78769*(1170*w + 21879)>, <72, 1/454*(7*w + 426)>, <24, 1/78769*(1170*w + 56890)>, <72, 1/454*(7*w + 28)>, <24, 1/268294*(5225*w + 220400)>, <24, 1/152333*(2142*w + 53172)>, <24, 1/14*(w + 1)>, <24, 1/1135*(57*w - 228)>, <24, 1/663*(22*w + 333)>, <24, 1/3765*(152*w + 4981)>, <24, 1/136*(5*w + 146)>, <24, 1/1580*(119*w + 2294)>, <48, 1/463*(14*w + 393)>, <24, 1/80099*(644*w + 77763)>, <24, 1/210*(23*w - 138)>, <36, 1/127*(4*w + 55)>, <96, 1/25*(w + 12)>, <24, 1/132933*(2002*w + 65481)>, <24, 1/137789*(1881*w + 102410)>, <24, 1/101397*(1045*w + 91542)>, <8, 1/9409*(4*w + 49)>, <12, 1/38233*(152*w - 1919)>, <12, 1/323*(14*w + 393)>, <24, 1/126893*(1540*w + 106040)>, <24, 1/126893*(1540*w + 20853)>, <24, 1/374*(13*w - 52)>, <12, 1/484*(7*w + 456)>, <24, 1/374*(13*w + 426)>, <24, 1/2134*(9*w + 2242)>, <24, 1/418*(9*w + 490)>, <24, 1/101397*(1045*w + 9855)>, <24, 1/80099*(644*w + 2336)>, <48, 1/463*(14*w + 70)>, <24, 1/1580*(119*w - 714)>, <12, 1/9716*(169*w + 12420)>, <24, 1/694*(25*w + 400)>, <24, 1/209*(6*w - 24)>, <24, 1/143*(7*w - 56)>, <24, 1/3514*(143*w - 1144)>, <36, 1/269*(4*w + 40)>, <24, 1/70057*(1254*w + 21360)>, <24, 1/884*(69*w - 138)>, <24, 1/391*(12*w - 36)>, <36, 1/8*(w + 13)>, <12, 1/4856*(399*w - 5187)>, <24, 1/368449*(2470*w + 394004)>, <24, 1/16484*(95*w + 15154)>, <12, 1/1639*(171*w + 513)>, <24, 1/12*(w + 13)>, <24, 1/2795*(176*w + 4731)>, <30, 1/442*(9*w + 460)>, <12, 1/9740*(207*w + 11189)>, <24, 1/64311*(880*w + 23655)>, <24, 1/99*(8*w - 96)>, <24, 1/1768*(253*w + 2274)>, <24, 1/75129*(1012*w + 9096)>, <24, 1/3497*(154*w + 5037)>, <36, 1/127*(4*w + 72)>, <24, 1/210*(23*w + 348)>, <48, 1/463*(7*w + 428)>, <24, 1/136*(5*w - 10)>, <24, 1/3765*(152*w - 1216)>, <24, 1/22*(w + 7)>, <24, 1/1135*(57*w + 1363)>, <24, 1/11771*(192*w + 8960)>, <24, 1/14*(w + 13)>, <96, 1/607*(25*w + 282)>, <24, 1/268294*(5225*w + 47894)>, <24, 1/7081*(138*w + 5037)>, <24, 1/5364*(391*w - 1173)>, <24, 1/12*(w - 1)>, <24, 1/152333*(2142*w + 99161)>, <24, 1/11771*(192*w + 2811)>, <24, 1/663*(76*w + 815)>, <24, 1/447*(10*w + 30)>, <24, 1/155109*(2990*w + 111780)>, <24, 1/47239*(460*w - 785)>, <24, 1/152357*(1380*w + 149592)>, <24, 1/102323*(1610*w + 19730)>, <12, 1/4420*(21*w + 4735)>, <24, 1/50167*(836*w + 33535)>, <24, 1/50167*(836*w + 16632)>, <12, 1/484*(15*w + 424)>, <12, 1/951*(242*w + 3388)>, <12, 1/71959*(1210*w + 12185)>, <60, 1/13*(w + 12)>, <12, 1/1746*(25*w - 300)>, <24, 1/692*(69*w + 1313)>, <4, 1/23*(w + 4)>, <4, 1/75*(23*w + 437)>, <8, 1/5221*(135*w - 540)>, <4, 1/115*(18*w + 457)>, <8, 1/270*(23*w - 92)>, <4, 1/799*(18*w + 457)>, <4, 1/1135*(207*w - 828)>, <24, 1/22019*(276*w + 5252)>, <12, 1/30749*(78*w + 810)>, <12, 1/2941*(75*w + 3616)>, <24, 1/1185*(52*w - 312)>, <24, 1/104*(5*w - 30)>, <12, 1/6023*(51*w + 6737)>, <24, 1/7925*(33*w + 7463)>, <12, 1/299*(3*w + 24)>, <24, 1/507*(5*w + 387)>, <24, 1/507*(8*w + 315)>, <36, 1/291*(5*w + 231)>, <24, 1/507*(5*w + 120)>, <24, 1/251*(8*w + 315)>, <12, 1/1788*(125*w + 2163)>, <12, 1/61063*(1197*w + 27034)>, <18, 1/487*(3*w + 508)>, <12, 1/269*(242*w + 2689)>, <24, 1/152*(3*w + 158)>, <36, 1/47239*(399*w + 7434)>, <24, 1/1490*(161*w + 1973)>, <24, 1/152357*(1380*w + 2765)>, <24, 1/155109*(2990*w + 43329)>, <24, 1/395*(92*w - 157)>, <24, 1/487*(10*w + 70)>, <12, 1/25777*(294*w + 2992)>, <12, w + 4>, <12, 1/23542*(147*w + 1198)>, <12, 1/2*(w + 5)>, <24, 1/18*(w + 16)>, <24, 1/149*(7*w + 128)>, <24, 1/100*(7*w - 28)>, <24, 1/227*(11*w + 44)>, <12, 1/2794*(5*w + 90)>, <24, 1/18923*(350*w + 12523)>, <24, 1/347*(9*w + 144)>, <24, 1/21*(w + 18)>, <24, 1/745*(72*w - 216)>, <24, 1/5707*(425*w - 425)>, <24, 1/97019*(2000*w + 52875)>, <24, 1/456*(7*w + 456)>, <24, 1/90443*(1190*w + 33680)>, <24, 1/4304*(391*w + 8214)>, <36, 1/607*(8*w + 104)>, <24, 1/2231*(6*w + 2303)>, <24, 1/447*(7*w + 468)>, <24, 1/15*(w + 18)>, <24, 1/1043*(92*w + 767)>, <24, 1/66057*(920*w + 43632)>, <24, 1/3263*(161*w + 4551)>, <24, 1/322*(13*w + 426)>, <12, 1/5083*(9*w + 4948)>, <60, 1/463*(9*w + 418)>, <24, 1/5*(w + 10)>, <12, 1/16781*(96*w + 17472)>, <12, 1/576*(19*w + 228)>, <12, 1/173*(96*w - 691)>, <24, 1/374*(13*w - 78)>, <12, 1/126893*(3630*w + 95348)>, <12, 1/5*(w + 11)>, <12, 1/237*(w + 6)>, <24, 1/3081*(187*w - 1122)>, <24, 1/6*(w + 10)>, <12, 1/484*(9*w + 36)>, <24, 1/538*(5*w + 50)>, <24, 1/54841*(138*w + 52969)>, <48, 1/68*(25*w - 282)>, <24, 1/4304*(391*w - 3910)>, <48, 1/7925*(34*w + 7449)>, <24, 1/90443*(1190*w + 56763)>, <12, 1/117813*(2275*w + 70350)>, <24, 1/884*(231*w + 1346)>, <24, 1/56977*(462*w + 2692)>, <12, 1/607*(27*w + 256)>, <12, 1/293542*(2299*w + 249014)>, <24, 1/227*(11*w + 183)>, <12, 1/3429*(128*w + 5733)>, <12, 1/762*(23*w + 414)>, <24, 1/38233*(483*w + 31464)>, <12, 1/2431*(243*w + 1945)>, <12, 1/16*(w - 2)>, <12, 1/3536*(253*w + 506)>, <24, 1/414*(7*w + 456)>, <24, 1/4304*(115*w + 5454)>, <24, 1/28829*(644*w + 5369)>, <24, 1/149*(5*w + 164)>, <24, 1/447*(7*w - 21)>, <24, 1/38233*(532*w + 34656)>, <24, 1/97019*(2000*w + 44144)>, <24, 1/158*(3*w - 18)>, <24, 1/4016*(125*w + 5016)>, <24, 1/265866*(5525*w + 186150)>, <24, 1/745*(72*w + 961)>, <24, 1/63753*(1000*w + 40128)>, <24, 1/9*(w - 6)>, <24, 1/2235*(437*w + 3546)>, <24, 1/224394*(2185*w + 22500)>, <24, 1/251*(12*w + 96)>, <4, 1/21*(w + 4)>, <8, 1/13*(w - 4)>, <4, 1/336601*(441*w + 8224)>, <4, 1/330058*(273*w + 4810)>, <4, 1/727*(462*w + 8140)>, <4, 1/336601*(9702*w + 155673)>, <8, 1/454*(13*w - 52)>, <4, 1/454*(w - 4)>, <12, 1/110549*(726*w + 112772)>, <12, w + 7>, <12, 1/2037*(13*w + 2193)>, <12, 1/1027*(54*w + 1351)>, <12, 1/42583*(585*w + 19170)>, <24, 1/209*(17*w - 187)>, <12, 1/25777*(322*w + 822)>, <12, 1/2235*(119*w + 2592)>, <24, 1/9503*(209*w - 2299)>, <4, 1/65*(6*w + 119)>, <12, 1/1735*(24*w + 2119)>, <24, 1/251*(12*w + 155)>, <24, 1/2315*(437*w + 4500)>, <24, 1/215254*(2185*w + 17730)>, <6, 1/65858*(147*w + 590)>, <6, w + 3>, <12, 1/439*(w + 438)>, <12, 2/441*w>, <24, 1/28067*(570*w + 16610)>, <24, 1/9271*(210*w + 4161)>, <12, 1/20*(w + 18)>, <12, 1/2540*(7*w - 126)>, <24, 1/28067*(570*w + 11457)>, <24, 1/9271*(210*w + 5110)>, <24, 75/803*w>, <24, 1/475*(7*w + 7)>, <24, 1/38233*(168*w + 36112)>, <24, 1/206961*(3128*w + 41568)>, <24, 1/5463*(391*w + 10546)>, <24, 1/266473*(4186*w + 139398)>, <24, 1/7266*(299*w + 9957)>, <12, 1/280618*(1587*w + 278254)>, <12, 1/529*(9*w + 99)>, <12, 1/5020*(529*w + 788)>, <24, 1/418*(9*w + 508)>, <12, 1/19*(12*w + 168)>, <12, 1/2133*(242*w + 1452)>, <24, 1/418*(9*w - 90)>, <24, 1/391*(9*w + 508)>, <24, 1/3632*(391*w + 5196)>, <12, 1/2724*(275*w + 1624)>, <12, 1/347*(6*w + 251)>, <24, 1/227*(4*w + 243)>, <24, 1/8*(w + 12)>, <12, 1/869*(57*w - 342)>, <12, 1/8944*(207*w + 11221)>, <12, 1/414*(7*w - 14)>, <24, 1/38233*(168*w + 2121)>, <24, 1/3073*(475*w + 475)>, <24, 1/600*(7*w + 42)>, <24, 1/803*(75*w + 803)>, <24, 1/600*(7*w + 558)>, <24, 1/76687*(1596*w + 53580)>, <24, 1/238*(19*w - 152)>, <4, 1/79*(77*w + 541)>, <4, 1/463*(w + 468)>, <4, 1/160661*(231*w + 3938)>, <4, 1/7634*(5*w + 80)>, <20, 1/105*(11*w - 66)>, <12, 1/71959*(585*w + 12415)>, <12, 1/4121*(135*w - 1890)>, <12, 1/94466*(1955*w + 45540)>, <12, 1/130269*(1955*w + 88179)>, <4, 1/6241*(110*w + 2556)>, <24, 1/155109*(2261*w + 108699)>, <24, 1/76687*(1596*w + 23107)>, <6, 1/439*(441*w - 2)>, <6, 1/442*(w + 440)>, <12, 1/439*(2*w + 2)>, <24, 1/439*(19*w + 420)>, <12, 1/799*(21*w + 400)>, <12, 1/48399*(200*w + 4599)>, <12, 1/19*(w + 19)>, <24, 1/762*(19*w + 420)>, <24, 1/432*(7*w + 446)>, <24, 1/559*(7*w + 482)>, <12, 1/529*(9*w + 448)>, <12, 1/5380*(529*w + 5290)>, <12, 1/279222*(529*w - 90)>, <28, 1/79567*(99*w + 78100)>, <24, 1/2910*(187*w + 5154)>, <24, 1/2910*(187*w - 2244)>, <12, 1/44911*(483*w + 10549)>, <12, 1/582*(7*w + 498)>, <24, 1/454*(7*w + 482)>, <24, 1/1547*(216*w + 1979)>, <28, 1/17*(w + 16)>, <16, 1/317*(14*w + 121)>, <8, 1/75*(14*w - 121)>, <8, 1/100489*(1050*w - 9075)>, <12, 1/278326*(4335*w + 122536)>, <12, 1/519*(10*w + 90)>, <4, 1/790*(99*w + 196)>, <4, 1/237*(5*w - 30)>, <4, 1/82239*(550*w + 8550)>, <8, 1/559*(27*w + 297)>, <28, 1/439*(17*w + 422)>, <12, 1/8780*(399*w + 9179)>, <12, 1/799*(20*w + 419)>, <24, 1/275578*(3519*w + 83988)>, <13, 1/13961*(9*w - 117)>, <24, 1/5031*(391*w + 9332)>, <12, 1/2270*(187*w + 3018)>, <24, 1/55753*(969*w + 34333)>, <8, 1/559*(10*w + 449)>, <4, 1/304666*(4335*w + 173460)>, <8, 1/27*(w + 11)>, <4, 1/304666*(6885*w + 133756)>, <4, 1/459*(10*w + 449)>, <8, 1/439*(10*w + 449)>, <24, 1/55753*(969*w + 21420)>, <12, 1/18*w>, <12, 1/9271*(57*w + 1387)>, <12, 1/17*(24*w - 295)>, <12, 1/10033*(68*w - 935)>, <12, 1/79*(96*w + 576)>, <8, 4*w + 49>, <-16, 1/1343*(-45*w + 1613)>, <-12, 1/6149*(-289*w + 9328)>, <-12, 1/559*(-21*w - 231)>, <-12, 1/9*(-w - 15)>, <-12, 1/189*(-4*w + 213)>, <-12, 1/22*(-w - 2)>, <-12, 1/59449*(-756*w + 16168)>, <-1, 1/13975*(-9*w + 14074)>, <-1, 1/13948*(-75*w + 14800)>, <-1, 1/951*(-33*w + 7463)>, <-1, 1/177203*(-825*w + 162800)>, <-1, 1/559*(-3*w + 592)>, <-5, 1/312481*(-1650*w + 23775)>, <-12, 1/154379*(-2688*w + 43520)>, <-12, 1/30*(-w + 32)>, <-12, 1/817*(-13*w + 960)>, <-24, 1/4573*(-99*w + 5563)>, <-12, 1/275578*(-2805*w + 63690)>, <-12, 1/18993*(-374*w + 5661)>, <-12, 1/578*(-7*w + 252)>, <-24, 1/70057*(-1512*w + 31312)>, <-12, 1/951*(-200*w + 3751)>, <-12, 1/78542*(-1235*w + 40352)>, <-12, 1/519*(-7*w + 456)>, <-12, 1/55471*(-600*w + 10071)>, <-12, 1/5918*(-49*w + 6408)>, <-4, 1/3*(-w + 11)>, <-4, 1/140309*(-825*w + 144650)>, <-4, 1/140309*(-6050*w + 108475)>, <-4, 1/177203*(-726*w + 13017)>, <-12, 1/442*(-5*w - 10)>, <-12, 1/462*(-5*w + 10)>, <-12, 1/2510*(-171*w - 1368)>, <-1, 1/163283*(-117*w - 19731)>, <-1, 1/1821*(-69*w - 13064)>, <-1, 1/326566*(-1587*w + 26094)>, <-4, 1/69*(-10*w + 169)>, <-12, 1/1389*(-200*w + 2389)>, <-12, 1/84251*(-1232*w + 28875)>, <-12, 1/867*(-19*w + 684)>, <-12, 1/187*(-4*w + 219)>, <-12, 1/321322*(-5819*w + 274022)>, <-12, 1/529*(-6*w + 96)>, <-12, 1/6945*(-529*w + 4300)>, <-12, 1/265866*(-6877*w + 231702)>, <-12, 1/6*(-w + 13)>, <-12, 1/7081*(-98*w + 3577)>, <-12, 1/873*(-200*w + 3273)>, <-12, 1/484*(-7*w + 498)>, <-12, 1/258817*(-3174*w + 260797)>, <-12, 1/529*(-11*w + 121)>, <-12, 1/2315*(-529*w - 330)>, <-12, 1/9253*(-221*w - 1547)>, <-12, 1/6187*(-39*w + 6577)>, <-12, 1/7884*(-361*w + 7884)>, <-12, 1/634*(-9*w + 508)>, <-12, 1/134733*(-1400*w + 35133)>, <-12, 1/69423*(-847*w + 42924)>, <-12, 1/11180*(-119*w + 12489)>, <-12, 1/6940*(-27*w + 7372)>, <-6, 1/247078*(-3249*w + 81018)>, <-24, 1/73041*(-910*w + 57480)>, <-24, 1/439*(-6*w - 6)>, <-12, 1/361*(-13*w + 452)>, <-36, 1/54223*(-115*w + 1530)>, <-12, 1/337978*(-3795*w + 284188)>, <-12, 1/24347*(-170*w + 21440)>, <-4, 1/84251*(-322*w + 3590)>, <-4, 1/519*(-2*w + 501)>, <-4, 1/46*(-21*w + 340)>, <-16, 1/10*(-23*w + 322)>, <-12, 1/116213*(-726*w + 115676)>, <-12, 1/484*(-7*w + 56)>, <-12, 1/1389*(-242*w + 179)>, <-12, 1/13354*(-35*w - 455)>, <-12, 1/462*(-5*w + 522)>, <-12, 1/487*(-5*w - 35)>, <-12, 1/171*(-5*w - 60)>, <-12, 1/116213*(-1911*w + 57707)>, <-12, 1/351*(-16*w + 399)>, <-12, 1/399*(-8*w - 24)>, <-12, 1/447*(-8*w + 24)>, <-6, 1/1461*(-529*w - 2242)>, <-12, 1/61063*(-600*w + 13263)>, <-12, 1/9*(-w + 13)>, <-12, 1/209*(-3*w - 30)>, <-12, 1/438*(-13*w + 438)>, <-12, 1/192419*(-3456*w + 159651)>, <-12, 1/209*(-3*w + 215)>, <-12, 1/15*(-w + 14)>, <-12, 1/529*(-7*w - 7)>, <-12, 1/119*(-3*w + 146)>, <-12, 1/76687*(-1400*w + 29687)>, <-32, 1/21*(-w + 5)>, <-12, 1/147*(-10*w + 187)>, <-12, 1/242*(-7*w + 235)>, <-12, 1/694*(-15*w + 240)>, <-12, 1/3*(-w + 1)>, <-12, 1/79567*(-825*w + 67342)>, <-12, 1/290121*(-1058*w + 284073)>, <-4, 1/16721*(-55*w + 935)>, <-4, 1/319153*(-2070*w + 48415)>, <-4, 1/439*(-18*w + 421)>, <-4, 1/414*(-5*w - 30)>, <-12, 1/91*(-w + 6)>, <-12, 1/1185*(-49*w - 294)>, <-12, 1/238*(-15*w - 150)>, <-12, 1/3492*(-361*w + 7824)>, <-12, 1/13*(-w + 16)>, <-12, 1/103406*(-2275*w + 85050)>, <-12, 1/139611*(-1862*w + 105507)>, <-12, 1/153*(-7*w - 42)>, <-12, 1/7981*(-21*w + 7645)>, <-6, 1/4383*(-361*w + 6910)>, <-12, 1/293542*(-5187*w + 193078)>, <-12, 1/4641*(-11*w - 165)>, <-4, 1/225481*(-966*w - 2978)>, <-4, 1/253*(-21*w + 358)>, <-4, 1/441*(-11*w + 518)>, <-12, 1/38233*(-152*w - 1919)>, <-12, 1/323*(-14*w + 393)>, <-12, 1/484*(-7*w + 456)>, <-12, 1/9716*(-169*w + 12420)>, <-24, 1/694*(-25*w + 400)>, <-12, 1/4856*(-399*w - 5187)>, <-12, 1/1639*(-171*w + 513)>, <-12, 1/9740*(-207*w + 11189)>, <-12, 1/4420*(-21*w + 4735)>, <-12, 1/484*(-15*w + 424)>, <-12, 1/951*(-242*w + 3388)>, <-12, 1/71959*(-1210*w + 12185)>, <-12, 1/1746*(-25*w - 300)>, <-4, 1/23*(-w + 4)>, <-4, 1/75*(-23*w + 437)>, <-4, 1/115*(-18*w + 457)>, <-4, 1/799*(-18*w + 457)>, <-4, 1/1135*(-207*w - 828)>, <-12, 1/30749*(-78*w + 810)>, <-12, 1/2941*(-75*w + 3616)>, <-12, 1/6023*(-51*w + 6737)>, <-12, 1/299*(-3*w + 24)>, <-12, 1/1788*(-125*w + 2163)>, <-12, 1/61063*(-1197*w + 27034)>, <-12, 1/269*(-242*w + 2689)>, <-12, 1/25777*(-294*w + 2992)>, <-12, -w + 4>, <-12, 1/23542*(-147*w + 1198)>, <-12, 1/2*(-w + 5)>, <-12, 1/2794*(-5*w + 90)>, <-12, 1/5083*(-9*w + 4948)>, <-12, 1/16781*(-96*w + 17472)>, <-12, 1/576*(-19*w + 228)>, <-12, 1/173*(-96*w - 691)>, <-12, 1/126893*(-3630*w + 95348)>, <-12, 1/5*(-w + 11)>, <-12, 1/237*(-w + 6)>, <-12, 1/484*(-9*w + 36)>, <-12, 1/117813*(-2275*w + 70350)>, <-12, 1/607*(-27*w + 256)>, <-12, 1/293542*(-2299*w + 249014)>, <-12, 1/3429*(-128*w + 5733)>, <-12, 1/762*(-23*w + 414)>, <-12, 1/2431*(-243*w + 1945)>, <-12, 1/16*(-w - 2)>, <-12, 1/3536*(-253*w + 506)>, <-4, 1/21*(-w + 4)>, <-4, 1/336601*(-441*w + 8224)>, <-4, 1/330058*(-273*w + 4810)>, <-4, 1/727*(-462*w + 8140)>, <-4, 1/336601*(-9702*w + 155673)>, <-4, 1/454*(-w - 4)>, <-12, 1/110549*(-726*w + 112772)>, <-12, -w + 7>, <-12, 1/2037*(-13*w + 2193)>, <-12, 1/1027*(-54*w + 1351)>, <-12, 1/42583*(-585*w + 19170)>, <-12, 1/25777*(-322*w + 822)>, <-12, 1/2235*(-119*w + 2592)>, <-4, 1/65*(-6*w + 119)>, <-12, 1/1735*(-24*w + 2119)>, <-6, 1/65858*(-147*w + 590)>, <-6, -w + 3>, <-12, 1/439*(-w + 438)>, <-12, -2/441*w>, <-12, 1/20*(-w + 18)>, <-12, 1/2540*(-7*w - 126)>, <-12, 1/280618*(-1587*w + 278254)>, <-12, 1/529*(-9*w + 99)>, <-12, 1/5020*(-529*w + 788)>, <-12, 1/19*(-12*w + 168)>, <-12, 1/2133*(-242*w + 1452)>, <-12, 1/2724*(-275*w + 1624)>, <-12, 1/347*(-6*w + 251)>, <-12, 1/869*(-57*w - 342)>, <-12, 1/8944*(-207*w + 11221)>, <-12, 1/414*(-7*w - 14)>, <-4, 1/79*(-77*w + 541)>, <-4, 1/463*(-w + 468)>, <-4, 1/160661*(-231*w + 3938)>, <-4, 1/7634*(-5*w + 80)>, <-12, 1/71959*(-585*w + 12415)>, <-12, 1/4121*(-135*w - 1890)>, <-12, 1/94466*(-1955*w + 45540)>, <-12, 1/130269*(-1955*w + 88179)>, <-4, 1/6241*(-110*w + 2556)>, <-6, 1/439*(-441*w - 2)>, <-6, 1/442*(-w + 440)>, <-12, 1/799*(-21*w + 400)>, <-12, 1/48399*(-200*w + 4599)>, <-12, 1/19*(-w + 19)>, <-12, 1/529*(-9*w + 448)>, <-12, 1/5380*(-529*w + 5290)>, <-12, 1/279222*(-529*w - 90)>, <-12, 1/44911*(-483*w + 10549)>, <-12, 1/582*(-7*w + 498)>, <-12, 1/278326*(-4335*w + 122536)>, <-12, 1/519*(-10*w + 90)>, <-4, 1/790*(-99*w + 196)>, <-4, 1/237*(-5*w - 30)>, <-4, 1/82239*(-550*w + 8550)>, <-12, 1/8780*(-399*w + 9179)>, <-12, 1/799*(-20*w + 419)>, <-12, 1/2270*(-187*w + 3018)>, <-4, 1/304666*(-4335*w + 173460)>, <-4, 1/304666*(-6885*w + 133756)>, <-4, 1/459*(-10*w + 449)>, <-12, -1/18*w>, <-12, 1/9271*(-57*w + 1387)>, <-12, 1/17*(-24*w - 295)>, <-12, 1/10033*(-68*w - 935)>, <-12, 1/79*(-96*w + 576)> ]