/* Defining polynomial */
x^2 - x + 312
/* GCD of coefficients */
2
/* 24 * |disc|^(3/2) /(8*pi^2)* zeta_F(2) */
31088.0518056265820387482307639
/* Belt */
[
<24, 1/9*(w - 3)>,
<24, 1/106*(3*w - 9)>,
<108, 1/106*(3*w + 97)>,
<108, 1/118*(3*w + 97)>,
<24, 1/114*(5*w - 60)>,
<24, 1/370*(19*w - 228)>,
<72, 1/6*(w + 4)>,
<72, 1/6*(w + 1)>,
<24, 1/736*(33*w - 264)>,
<48, 1/332*(5*w + 20)>,
<48, 1/332*(5*w + 307)>,
<24, 1/736*(33*w + 967)>,
<48, 1/45*(19*w + 216)>,
<48, 1/45*(19*w - 190)>,
<132, 1/13*(w + 7)>,
<132, 1/368*(13*w + 91)>,
<144, 1/368*(17*w + 232)>,
<144, 1/368*(17*w + 119)>,
<48, 1/3392*(77*w + 1995)>,
<24, 1/664*(39*w + 820)>,
<24, 1/312*(7*w + 273)>,
<144, 1/16*(w + 5)>,
<24, 1/18369*(280*w + 12369)>,
<36, 1/159*(5*w + 169)>,
<168, 1/211*(10*w + 101)>,
<168, 1/201*(10*w + 101)>,
<48, 1/99*(7*w - 28)>,
<24, 1/53*(7*w + 14)>,
<24, 1/39*(2*w + 47)>,
<144, 1/211*(8*w + 123)>,
<24, 1/4876*(95*w + 2045)>,
<24, 1/114*(5*w - 35)>,
<36, 1/234*(5*w + 169)>,
<24, 1/80*(7*w - 70)>,
<72, 1/629*(5*w + 684)>,
<24, 1/119*(5*w - 55)>,
<24, 1/603*(10*w + 570)>,
<72, 1/12948*(85*w + 11628)>,
<24, 1/119*(5*w + 169)>,
<24, 1/60*(w + 57)>,
<24, 1/152*(5*w + 162)>,
<24, 1/117024*(1615*w + 105944)>,
<24, 1/323*(5*w + 328)>,
<24, 1/17427*(380*w + 12312)>,
<48, 1/161*(5*w + 196)>,
<156, 1/14*(w + 4)>,
<48, 1/16*(w + 23)>,
<516, 1/16*(w + 8)>,
<516, 1/23*(w + 15)>,
<96, 1/10*(w + 2)>,
<156, 1/15*(w + 5)>,
<48, 1/2052*(35*w + 1372)>,
<96, 1/10*(w + 7)>,
<156, 1/15*(w + 9)>,
<156, 1/166*(7*w + 28)>,
<48, 1/54*(w + 23)>,
<84, 1/19*(w + 12)>,
<168, 1/6*(w + 3)>,
<72, 1/7*(w + 2)>,
<84, 1/468*(19*w + 228)>,
<168, 1/54*(w + 3)>,
<72, 1/318*(7*w + 14)>,
<108, 1/10*(w + 6)>,
<24, 1/3819*(25*w + 4044)>,
<96, 1/22*(w + 11)>,
<120, 1/20*(7*w + 84)>,
<120, 1/819*(5*w + 60)>,
<24, 1/12246*(187*w + 6534)>,
<24, 1/407*(17*w + 594)>,
<108, 1/177*(5*w + 30)>,
<24, 1/50*(19*w + 221)>,
<156, 1/111*(4*w + 63)>,
<156, 1/83*(4*w + 63)>,
<96, 1/222*(11*w + 121)>,
<108, 1/14*(w + 3)>,
<324, 1/27*(w + 23)>,
<324, 1/32*(w + 23)>,
<96, 1/156*(7*w + 65)>,
<96, 1/21*(w + 8)>,
<24, 1/405*(76*w - 304)>,
<108, 1/11*(w + 7)>,
<72, 1/11*(w + 1)>,
<184, 1/384*(17*w + 136)>,
<24, 1/26847*(476*w + 20400)>,
<24, 1/272*(7*w + 300)>,
<294, 1/19*(w + 5)>,
<30, 1/8*(w - 6)>,
<108, 1/162*(7*w + 21)>,
<24, 1/304*(5*w - 20)>,
<108, 1/368*(11*w + 77)>,
<72, 1/314*(11*w + 11)>,
<204, 1/96*(5*w + 40)>,
<132, 1/177*(8*w + 48)>,
<24, 1/155376*(1309*w + 135048)>,
<72, 1/171*(4*w + 20)>,
<24, 1/171*(4*w + 167)>,
<204, 1/96*(5*w + 51)>,
<132, 1/177*(8*w + 121)>,
<24, 1/155376*(1309*w + 19019)>,
<12, 1/53*(8*w - 24)>,
<72, 1/8*(w + 5)>,
<72, 1/4853*(45*w + 4248)>,
<24, 1/11183*(228*w + 9519)>,
<72, 1/4853*(45*w + 560)>,
<48, 1/9*(5*w - 56)>,
<48, 1/185*(3*w - 36)>,
<48, 1/384*(5*w - 45)>,
<24, 1/160*(3*w - 3)>,
<24, 1/160*(3*w + 160)>,
<24, 1/17*(w - 10)>,
<48, 1/312*(5*w - 5)>,
<48, 1/104*(3*w + 104)>,
<48, 1/342*(5*w + 25)>,
<48, 1/104*(3*w - 3)>,
<24, 1/17*(w + 26)>,
<48, 1/1184*(5*w - 56)>,
<48, 1/36*(5*w - 60)>,
<48, 1/5*(w - 9)>,
<24, 1/1742*(35*w + 650)>,
<24, 1/126*(5*w - 30)>,
<372, 1/18*(w + 9)>,
<372, 1/18*(w + 8)>,
<24, 1/157*(5*w - 10)>,
<24, 1/204*(11*w - 99)>,
<48, 1/6*(w - 2)>,
<24, 1/157*(5*w + 162)>,
<24, 1/204*(11*w + 292)>,
<48, 1/184*(3*w + 160)>,
<48, 1/402*(7*w + 63)>,
<24, 1/5486*(105*w + 2105)>,
<24, 1/897*(17*w + 646)>,
<48, 1/171*(17*w - 102)>,
<48, 1/247*(2*w + 219)>,
<24, 1/95*(8*w - 48)>,
<144, 1/166*(5*w + 20)>,
<48, 1/21*(4*w + 65)>,
<294, 1/19*(w + 13)>,
<48, 1/318*(7*w - 21)>,
<24, 1/34*(w + 38)>,
<48, 1/4*(w - 10)>,
<48, 1/936*(17*w + 663)>,
<24, 1/5486*(105*w + 3276)>,
<48, 1/21*(4*w - 48)>,
<144, 1/166*(5*w + 141)>,
<24, 1/144*(5*w - 30)>,
<192, 1/148*(7*w + 64)>,
<192, 1/148*(7*w + 77)>,
<156, 1/83*(3*w + 68)>,
<48, 1/1541*(17*w + 232)>,
<24, 1/324*(19*w + 248)>,
<72, 1/14137*(30*w + 14440)>,
<24, 1/1534*(25*w + 209)>,
<120, 1/48*(w + 8)>,
<48, 1/11183*(260*w + 5580)>,
<24, 1/324*(19*w + 57)>,
<72, 1/1480*(3*w + 1444)>,
<156, 1/83*(3*w + 12)>,
<184, 1/18*(w + 3)>,
<48, 1/68*(w - 9)>,
<132, 1/83*(2*w + 73)>,
<12, w + 4>,
<120, 1/48*(w + 39)>,
<48, 1/351*(20*w - 80)>,
<24, 1/1534*(25*w + 1300)>,
<24, 1/7776*(95*w + 6441)>,
<24, 1/115*(19*w - 152)>,
<24, 1/1055*(19*w - 209)>,
<24, 1/38*(5*w - 55)>,
<108, 1/17*(w + 11)>,
<108, 1/342*(17*w + 240)>,
<144, 1/67*(2*w + 47)>,
<24, 1/211*(4*w + 40)>,
<48, 1/314*(9*w + 296)>,
<156, 1/19*(w + 8)>,
<144, 1/8*(w + 7)>,
<144, 1/46*(w + 7)>,
<72, 1/192*(5*w + 147)>,
<72, 1/10*(w + 1)>,
<156, 1/384*(19*w + 152)>,
<48, 1/314*(9*w + 9)>,
<144, 1/12*(w + 2)>,
<24, 1/8*(w + 10)>,
<24, 1/208*(7*w + 264)>,
<48, 1/354*(7*w + 396)>,
<204, 1/38*(w + 32)>,
<216, 1/177*(7*w + 42)>,
<24, 1/2565*(91*w - 546)>,
<24, 1/896*(25*w - 225)>,
<108, 1/368*(19*w + 133)>,
<168, 1/192*(7*w + 129)>,
<48, 1/1273*(7*w + 1336)>,
<60, 1/52*(w + 12)>,
<24, 1/51*(8*w + 123)>,
<24, 1/1710*(119*w - 714)>,
<24, 1/133*(6*w + 163)>,
<48, 1/70*(17*w + 240)>,
<48, 1/75924*(595*w + 8400)>,
<12, 1/312*(25*w - 25)>,
<96, 1/12*w>,
<48, 1/7*(w + 13)>,
<204, 1/38*(w + 5)>,
<24, 1/5427*(91*w + 3432)>,
<24, 1/2041*(42*w + 1141)>,
<24, 1/1710*(119*w + 2305)>,
<24, 1/11122*(175*w + 3275)>,
<24, 1/2565*(91*w + 3020)>,
<216, 1/177*(7*w + 128)>,
<24, 1/51*(8*w - 80)>,
<60, 1/36*(w - 4)>,
<132, 1/8*(w + 3)>,
<48, 1/42*(19*w + 213)>,
<168, 1/192*(7*w + 56)>,
<108, 1/368*(19*w + 216)>,
<60, 1/11*(w + 11)>,
<48, 1/15*(w - 11)>,
<24, 1/35577*(520*w + 7865)>,
<24, 1/35577*(520*w + 27192)>,
<48, 1/15*(w + 25)>,
<60, 1/312*(11*w + 312)>,
<24, 1/468*(23*w + 169)>,
<12, 1/1688*(25*w + 1938)>,
<112, 1/422*(21*w + 210)>,
<108, 1/52*(w - 1)>,
<96, 1/858*(7*w + 767)>,
<36, 1/2183*(30*w + 1773)>,
<168, 1/59*(3*w + 38)>,
<96, 1/7807*(77*w + 8437)>,
<108, 1/6*(w - 1)>,
<120, 1/354*(11*w + 277)>,
<24, 1/3*(w + 1)>,
<72, 1/159*(7*w + 138)>,
<48, 1/318*(5*w + 303)>,
<72, 1/222*(7*w + 138)>,
<120, 1/332*(11*w + 277)>,
<12, 1/1407*(34*w + 1713)>,
<48, 1/152*(5*w - 30)>,
<48, 1/38*(w - 2)>,
<72, 1/314*(13*w + 13)>,
<24, 1/3551*(70*w + 1836)>,
<24, 1/104*(17*w - 153)>,
<96, 1/332*(13*w + 267)>,
<24, 1/212*(3*w + 165)>,
<12, 1/1104*(323*w + 3365)>,
<12, 1/332*(3*w + 344)>,
<24, 1/7632*(143*w + 3705)>,
<12, 1/795*(92*w + 519)>,
<24, 1/208*(11*w + 285)>,
<24, 1/162*(17*w - 102)>,
<24, 1/323*(9*w - 54)>,
<12, 1/2988*(85*w + 3328)>,
<48, 1/247*(9*w + 121)>,
<24, 1/628*(85*w - 170)>,
<24, 1/85*(2*w - 4)>,
<48, 1/45*(4*w - 24)>,
<48, 1/157*(19*w - 38)>,
<72, 1/13*(w + 1)>,
<24, 1/48*(w + 55)>,
<12, 1/1711*(28*w + 1407)>,
<12, 1/8*(w - 8)>,
<24, 1/708*(35*w + 918)>,
<88, 1/368*(15*w + 105)>,
<24, 1/816*(13*w - 117)>,
<96, 1/384*(13*w + 267)>,
<48, 1/342*(7*w + 35)>,
<24, 1/1206*(85*w + 1971)>,
<24, 1/1482*(25*w + 182)>,
<48, 1/54*(w - 4)>,
<24, 1/35*(w - 5)>,
<24, 1/1162*(55*w - 275)>,
<60, 1/6*(w - 3)>,
<24, 1/6142*(105*w + 5400)>,
<48, 1/342*(7*w + 300)>,
<24, 1/85*(3*w + 112)>,
<24, 1/1482*(25*w + 1275)>,
<48, 1/54*(w + 57)>,
<24, 1/332*(35*w - 175)>,
<24, 1/1162*(55*w + 1382)>,
<60, 1/53*(w - 3)>,
<24, 1/360*(7*w + 360)>,
<24, 1/1055*(56*w + 1615)>,
<24, 1/4366*(33*w + 3915)>,
<24, 1/468*(7*w + 273)>,
<48, 1/338*(5*w + 130)>,
<48, 1/15*(w + 26)>,
<24, 1/17427*(280*w + 8075)>,
<24, 1/1206*(11*w + 1305)>,
<24, 1/28*(w + 39)>,
<60, 1/81*(w + 84)>,
<204, 1/59*(2*w + 12)>,
<24, 1/684*(35*w - 210)>,
<24, 1/25*(w - 2)>,
<24, 1/98*(3*w + 101)>,
<24, 1/314*(25*w - 50)>,
<24, 1/6656*(147*w + 4949)>,
<48, 1/5*(w + 1)>,
<24, 1/512*(11*w - 99)>,
<24, 1/336*(11*w + 325)>,
<24, 1/384*(7*w - 63)>,
<12, 1/69*(2*w + 37)>,
<48, 1/7*(w - 1)>,
<24, 1/161*(17*w - 136)>,
<24, 1/272*(7*w - 56)>,
<112, 1/11*(w + 5)>,
<36, 1/117*(2*w + 91)>,
<48, 1/166*(9*w + 121)>,
<12, 1/332*(w - 5)>,
<60, 1/92*(w + 84)>,
<48, 1/314*(5*w + 5)>,
<24, 1/33*(4*w - 36)>,
<24, 1/6123*(154*w + 4550)>,
<120, 1/211*(9*w + 112)>,
<24, 1/48*(5*w - 20)>,
<48, 1/422*(15*w + 257)>,
<24, 1/996*(85*w + 1336)>,
<48, 1/171*(10*w + 221)>,
<24, 1/2756*(55*w + 1001)>,
<24, 1/13312*(285*w + 3432)>,
<180, 1/118*(5*w + 83)>,
<24, 1/3819*(55*w + 924)>,
<48, 1/106*(w + 108)>,
<24, 1/53*(6*w + 65)>,
<60, 1/211*(5*w + 50)>,
<120, 1/184*(9*w + 112)>,
<24, 1/1007*(20*w + 735)>,
<48, 1/332*(15*w + 257)>,
<24, 1/996*(85*w - 425)>,
<12, 1/67*(8*w + 139)>,
<180, 1/128*(5*w + 83)>,
<24, 1/285*(11*w - 66)>,
<24, 1/13312*(285*w + 9595)>,
<48, 1/481*(10*w + 221)>,
<24, 1/480*(11*w - 99)>,
<48, 1/114*(w + 108)>,
<24, 1/299*(6*w + 65)>,
<60, 1/10*(w + 10)>,
<24, 1/153*(2*w + 163)>,
<120, 1/52*(w + 51)>,
<24, 1/12*(5*w - 45)>,
<24, 1/897*(5*w + 840)>,
<24, 1/17*(w + 25)>,
<48, 3/104*w>,
<48, 1/104*(3*w + 101)>,
<120, 1/6*(w + 5)>,
<24, 1/17*(w - 9)>,
<24, 1/76*(17*w + 161)>,
<72, 1/8*(w + 1)>,
<72, 1/177*(4*w + 149)>,
<60, 1/128*(5*w - 45)>,
<24, 1/201*(2*w + 181)>,
<24, 1/209*(15*w + 284)>,
<24, 1/95*(3*w + 104)>,
<144, 1/354*(17*w + 235)>,
<24, 1/177*(10*w + 107)>,
<48, 1/201*(11*w + 91)>,
<24, 1/50*(3*w + 68)>,
<96, 1/15*(w + 11)>,
<24, 1/171*(2*w + 181)>,
<24, 1/8164*(165*w + 3124)>,
<24, 1/13936*(285*w + 9880)>,
<48, 1/201*(11*w + 99)>,
<144, 1/17*(w + 10)>,
<24, 1/247*(10*w + 107)>,
<96, 1/148*(5*w + 55)>,
<24, 1/531*(25*w + 681)>,
<24, 1/189*(25*w - 100)>,
<24, 1/68*(5*w - 25)>,
<84, 1/14*(w + 1)>,
<24, 1/224*(15*w + 284)>,
<48, 1/3071*(36*w + 567)>,
<216, 1/402*(19*w + 171)>,
<48, 1/27*(4*w + 63)>,
<24, 1/324*(17*w + 256)>,
<12, 1/247*(5*w + 65)>,
<60, 1/81*(2*w + 87)>,
<24, 1/1245*(56*w + 1469)>,
<84, 1/14*(w + 12)>,
<24, 1/3996*(85*w + 2415)>,
<24, 1/189*(25*w + 264)>,
<36, 1/14*(w + 14)>,
<24, 1/153*(2*w - 8)>,
<24, 1/14444*(399*w + 4697)>,
<24, 1/35*(3*w + 44)>,
<48, 1/4*(w + 2)>,
<72, 1/8*(3*w + 38)>,
<24, 1/858*(85*w - 85)>,
<24, 1/2301*(35*w + 2275)>,
<24, 1/56*(w + 55)>,
<24, 1/22*(w + 23)>,
<48, 1/106*(5*w + 91)>,
<24, 1/72*(17*w - 68)>,
<24, 1/14444*(399*w + 9348)>,
<24, 1/972*(35*w + 1077)>,
<48, 1/159*(2*w + 4)>,
<72, 1/633*(4*w + 673)>,
<24, 1/216*(17*w + 267)>,
<24, 1/216*(17*w - 68)>,
<36, 1/261*(7*w + 98)>,
<12, 1/324*(w + 320)>,
<24, 1/340*(11*w - 11)>,
<24, 1/56*w>,
<24, 1/22*(w - 2)>,
<48, 1/106*(5*w + 10)>,
<24, 1/70*(w + 65)>,
<36, 1/114*(w + 119)>,
<204, 1/59*(2*w + 45)>,
<36, 1/114*(w - 6)>,
<64, 1/444*(23*w + 253)>,
<48, 1/422*(7*w + 70)>,
<48, 1/7*(w + 10)>,
<60, 1/402*(13*w + 272)>,
<60, 1/324*(13*w + 272)>,
<24, 1/7968*(143*w + 4888)>,
<24, 1/176*(13*w - 104)>,
<24, 1/33*(5*w - 30)>,
<6, 1/49*(w + 43)>,
<6, 1/58*(w + 14)>,
<24, 1/570*(11*w - 66)>,
<24, 1/424*(51*w + 526)>,
<60, 1/81*(2*w - 8)>,
<24, 1/132508*(2907*w + 25272)>,
<24, 1/99*(17*w + 235)>,
<36, 1/234*(5*w + 34)>,
<12, 1/666*(5*w + 610)>,
<24, 1/2808*(323*w + 2808)>,
<24, 1/49796*(561*w + 7755)>,
<24, 1/10519*(204*w + 2104)>,
<12, 1/162*(5*w + 147)>,
<12, w + 2>,
<48, 1/48*(w + 24)>,
<24, 1/1472*(35*w + 1717)>,
<24, 1/399*(16*w + 479)>,
<24, 1/83*(7*w - 35)>,
<24, 1/99*(2*w + 91)>,
<24, 1/201*(7*w + 264)>,
<24, 1/133*(6*w - 18)>,
<24, 1/78*(7*w - 63)>,
<48, 1/40*(21*w + 231)>,
<48, 1/2331*(10*w + 110)>,
<48, 1/10*(3*w - 30)>,
<24, 1/68*(7*w - 77)>,
<24, 1/17649*(238*w + 12719)>,
<12, 1/8991*(190*w + 8265)>,
<48, 1/332*(19*w - 95)>,
<144, 1/13*(w + 6)>,
<60, 1/333*(5*w + 240)>,
<48, 1/18*(w - 6)>,
<48, 1/19*(w - 5)>,
<24, 1/133*(6*w + 145)>,
<24, 1/5697*(91*w + 3864)>,
<24, 1/117*(5*w + 142)>,
<24, 1/399*(16*w - 96)>,
<24, 1/9213*(140*w + 6868)>,
<24, 1/3186*(65*w + 1846)>,
<24, 1/99*(2*w + 6)>,
<24, 1/14*(w + 23)>,
<24, 1/342*(7*w + 224)>,
<72, 1/312*(11*w + 301)>,
<48, 1/2183*(21*w + 1896)>,
<12, 1/112*(5*w - 35)>,
<72, 11/312*w>,
<48, 1/2183*(21*w + 266)>,
<12, 1/32916*(805*w + 6995)>,
<12, 1/19412*(99*w + 18081)>,
<24, 1/1104*(17*w + 1223)>,
<24, 1/17513*(285*w + 318)>,
<24, 1/4366*(51*w + 3669)>,
<24, 1/1328*(133*w + 1860)>,
<24, 1/486*(95*w + 106)>,
<24, 1/27789*(532*w + 7440)>,
<24, 1/33127*(546*w + 19386)>,
<12, 1/104248*(969*w + 888)>,
<12, 1/314*(3*w + 317)>,
<12, 1/18369*(476*w + 8169)>,
<36, 1/522*(19*w + 237)>,
<12, 1/3237*(32*w + 709)>,
<12, 1/39273*(952*w + 22256)>,
<36, 1/159*(8*w + 135)>,
<12, 1/1328*(49*w - 245)>,
<36, 1/332*(17*w + 247)>,
<24, 1/2412*(91*w + 3231)>,
<24, 1/108*(23*w + 276)>,
<24, 1/299*(3*w + 36)>,
<96, 1/12*(w + 11)>,
<12, 1/312*(23*w + 312)>,
<36, 1/36*(w + 23)>,
<12, 1/10128*(143*w + 6072)>,
<24, 13/340*w>,
<24, 1/2907*(91*w + 3362)>,
<24, 1/1884*(35*w + 1029)>,
<24, 1/5*(w - 3)>,
<12, 1/9213*(76*w + 1197)>,
<24, 1/2553*(19*w + 2318)>,
<24, 1/114*(w + 122)>,
<24, 1/51*(5*w - 45)>,
<12, 1/134196*(3289*w + 60320)>,
<60, 1/318*(13*w + 279)>,
<24, 1/640*(17*w - 153)>,
<72, 1/332*(9*w + 287)>,
<24, 85/1014*w>,
<24, 1/82998*(1547*w + 57154)>,
<24, 1/318*(5*w - 15)>,
<12, 1/212*(21*w + 42)>,
<12, 1/12*(w - 3)>,
<6, 1/6844*(63*w + 621)>,
<6, 1/174*(7*w + 69)>,
<24, 1/112*(5*w + 147)>,
<24, 1/49*(5*w + 84)>,
<24, 1/222*(w - 12)>,
<24, 1/312*(5*w + 112)>,
<72, 1/57*(w + 62)>,
<24, 1/35*(w + 38)>,
<24, 1/90*(w + 87)>,
<24, 1/184*(3*w - 24)>,
<24, 1/49*(5*w - 40)>,
<24, 1/2*(w - 12)>,
<24, 1/67*(5*w + 112)>,
<72, 1/74*(w + 62)>,
<24, 1/1794*(35*w + 1330)>,
<24, 1/1328*(15*w + 1305)>,
<24, 1/6*(w - 8)>,
<72, 1/10*w>,
<24, 1/422*(9*w + 90)>,
<24, 1/767*(12*w + 131)>,
<24, 1/494*(3*w + 39)>,
<24, 1/16*(w + 25)>,
<24, 1/481*(8*w + 200)>,
<12, 1/17091*(224*w + 12579)>,
<72, 5/156*w>,
<24, 1/314*(9*w - 18)>,
<24, 1/83*(12*w + 131)>,
<24, 1/422*(3*w - 33)>,
<24, 1/76*(w + 77)>,
<24, 1/35*(2*w - 12)>,
<120, 1/92*(5*w + 35)>,
<24, 1/6968*(147*w + 5096)>,
<120, 1/20*(w + 7)>,
<24, 1/98*(3*w + 104)>,
<66, 1/12*(w - 1)>,
<24, 1/1961*(42*w + 1568)>,
<12, 1/897*(16*w + 273)>,
<48, 1/7*(w + 6)>,
<168, 1/74*(3*w + 38)>,
<24, w - 13>,
<24, 1/3159*(38*w + 2926)>,
<66, 1/26*(w - 1)>,
<24, 1/112*(3*w + 112)>,
<24, 1/690*(19*w + 823)>,
<24, 1/512*(45*w + 872)>,
<24, 1/177*(10*w - 70)>,
<48, 1/11*(w + 2)>,
<36, 1/104*(w + 103)>,
<24, 1/17513*(285*w + 12345)>,
<24, 1/11183*(180*w + 3488)>,
<48, 1/11*(w + 8)>,
<24, 1/177*(10*w + 237)>,
<36, 1/106*(w + 103)>,
<24, 1/481*(9*w + 247)>,
<36, 1/83*(2*w + 91)>,
<12, 1/15*(w - 16)>,
<12, 1/46*(w + 15)>,
<24, 1/481*(9*w + 225)>,
<24, 1/157*(4*w - 8)>,
<24, 1/590*(39*w + 824)>,
<24, 1/8*(w - 2)>,
<24, 1/590*(39*w - 273)>,
<24, 1/157*(2*w + 159)>,
<24, 1/270*(11*w + 292)>,
<24, 1/7*(w + 8)>,
<24, 1/57*(w + 1)>,
<24, 1/104*(19*w - 19)>,
<24, 1/224*(11*w + 312)>,
<24, 1/85*(7*w + 134)>,
<24, 1/80028*(1309*w + 59007)>,
<24, 1/416*(55*w + 361)>,
<60, 1/13*(w + 10)>,
<24, 1/11766*(175*w + 3450)>,
<24, 1/56*(5*w - 40)>,
<24, 1/171*(2*w + 159)>,
<24, 1/583*(45*w + 673)>,
<24, 1/384*(7*w + 56)>,
<24, 1/57*(w - 1)>,
<24, 1/314*(57*w + 57)>,
<24, 55/416*w>,
<24, 1/4329*(77*w + 2184)>,
<24, 1/85*(7*w - 56)>,
<24, 1/154*(17*w - 119)>,
<24, 1/11766*(175*w + 8141)>,
<24, 1/230*(7*w - 56)>,
<48, 1/80*(3*w - 27)>,
<48, 1/603*(5*w - 50)>,
<24, 1/84*(5*w + 99)>,
<36, 1/118*(w + 6)>,
<24, 1/84*(5*w - 20)>,
<36, 1/16*(w + 13)>,
<12, 1/128*(7*w + 149)>,
<72, 1/4*(w + 3)>,
<48, 1/80*(3*w + 104)>,
<60, 1/40*(w + 48)>,
<24, 1/247*(7*w + 91)>,
<24, 1/118*(17*w + 220)>,
<36, 1/157*(w + 158)>,
<24, 1/15*(w - 1)>,
<24, 1/261*(5*w + 70)>,
<24, 1/102*(w - 2)>,
<24, 1/42496*(819*w + 16821)>,
<24, 1/106*(7*w - 21)>,
<72, 1/117*(4*w + 65)>,
<72, 1/81*(4*w + 65)>,
<36, 1/162*(w + 158)>,
<24, 1/104*(5*w - 5)>,
<24, 1/10*(w + 14)>,
<24, 1/157*(51*w - 102)>,
<36, 1/108*(w - 4)>,
<36, 1/522*(19*w + 266)>,
<24, 1/14*(w + 13)>,
<24, 1/51*(w + 57)>,
<24, 1/288*(7*w + 161)>,
<60, 1/128*(5*w + 168)>,
<24, 1/189*(13*w + 267)>,
<24, 1/422*(5*w + 50)>,
<24, 1/114*(7*w - 42)>,
<24, 1/338*(7*w + 182)>,
<24, 1/422*(5*w + 367)>,
<12, 1/740*(11*w - 132)>,
<48, 1/1079*(55*w + 1299)>,
<60, 1/7*(w + 3)>,
<48, 1/32562*(715*w + 16887)>,
<12, 1/670*(13*w - 130)>,
<24, 1/39*(4*w + 63)>,
<12, 1/1288*(11*w + 1112)>,
<12, 1/184*(7*w + 105)>,
<24, 1/3071*(52*w + 819)>,
<12, 1/156*(19*w + 156)>,
<12, 1/5809*(135*w + 4374)>,
<12, 1/324*(w + 11)>,
<12, 1/314*(27*w + 260)>,
<24, 1/4553*(104*w + 1833)>,
<12, 1/5*(w + 8)>,
<24, 1/117*(8*w + 141)>,
<24, 1/405*(34*w + 507)>,
<48, 1/81*(5*w + 96)>,
<24, 1/405*(34*w - 136)>,
<24, 1/270*(7*w + 305)>,
<24, 1/6136*(105*w + 4575)>,
<24, 1/7452*(85*w + 227)>,
<72, 1/81*(w + 3)>,
<24, 1/7452*(85*w + 7140)>,
<24, 1/1472*(133*w + 2403)>,
<24, 1/20709*(209*w + 2431)>,
<24, 1/31557*(532*w + 9612)>,
<24, 1/88*(19*w + 221)>,
<12, 1/2512*(133*w + 2645)>,
<12, 1/261*(8*w + 141)>,
<12, 1/222*(7*w - 84)>,
<24, 1/72*(w + 48)>,
<12, 1/468*(11*w - 143)>,
<24, 1/72*(w + 23)>,
<36, 1/171*(w + 165)>,
<24, 1/171*(10*w + 50)>,
<48, 1/69*(5*w + 104)>,
<60, 1/944*(15*w + 249)>,
<24, 1/9711*(190*w + 876)>,
<36, 1/2664*(5*w + 2715)>,
<12, 1/17*(4*w + 65)>,
<24, 1/9711*(136*w + 7599)>,
<24, 1/391*(8*w + 447)>,
<36, 1/162*(w + 165)>,
<24, 1/20*(w + 5)>,
<12, 1/12508*(273*w + 3408)>,
<48, 1/80*(3*w + 101)>,
<60, 1/944*(15*w + 680)>,
<24, 1/628*(95*w + 438)>,
<24, 1/105*(w + 99)>,
<48, 1/1776*(5*w + 1720)>,
<48, 1/83*(w + 78)>,
<24, 1/3404*(35*w + 3465)>,
<48, 1/335*(w + 344)>,
<36, 1/40*w>,
<48, 1/78*(w + 78)>,
<24, 1/27*(4*w + 39)>,
<24, 1/211*(8*w + 291)>,
<24, 1/211*(8*w - 88)>,
<24, 1/247*(4*w + 39)>,
<24, 1/159*(38*w + 235)>,
<12, 1/49*(8*w - 80)>,
<24, 1/304*(7*w - 35)>,
<24, 1/962*(19*w + 468)>,
<24, 1/354*(19*w + 468)>,
<12, 1/165672*(133*w - 1680)>,
<24, 1/76*(w + 78)>,
<24, 1/304*(7*w + 332)>,
<24, 1/1024*(19*w + 1176)>,
<24, 1/405*(19*w - 76)>,
<36, 1/108*(w + 104)>,
<24, 1/11859*(152*w + 9408)>,
<24, 1/405*(19*w + 462)>,
<36, 1/104*(w + 104)>,
<24, 5/13*w>,
<12, 1/664*(65*w - 325)>,
<24, 1/120*w>,
<24, 1/11618*(195*w + 5105)>,
<24, 1/11618*(195*w + 6318)>,
<36, 1/1332*(5*w - 60)>,
<24, 1/266*(11*w + 321)>,
<24, 1/224*(11*w - 88)>,
<24, 1/252*(13*w - 52)>,
<24, 1/23236*(455*w + 12701)>,
<24, 1/99*(7*w + 134)>,
<24, 1/253*(14*w - 112)>,
<24, 1/3922*(91*w + 1794)>,
<24, 1/210*(13*w - 91)>,
<24, 1/413*(16*w + 509)>,
<24, 1/12844*(315*w + 5824)>,
<12, 1/2656*(27*w + 280)>,
<12, 1/2*(w + 6)>,
<24, 1/12844*(315*w + 6705)>,
<24, 1/413*(16*w - 112)>,
<24, 1/208*(19*w + 208)>,
<36, 1/156*(w + 155)>,
<24, 1/174*(5*w + 99)>,
<24, 1/102*(w + 104)>,
<48, 1/81*(5*w - 20)>,
<36, 1/157*(w + 155)>,
<24, 1/104*(5*w + 99)>,
<24, 1/1872*(17*w + 1768)>,
<24, 1/1537*(38*w + 416)>,
<12, 1/1152*(13*w - 117)>,
<24, 1/265*(57*w + 379)>,
<24, 1/21*(w - 5)>,
<24, 1/332*(21*w - 105)>,
<24, 1/22244*(285*w + 1895)>,
<8, 1/324*(11*w - 44)>,
<8, 1/11*(w - 4)>,
<12, 1/1368*(25*w + 543)>,
<12, 1/247*(11*w - 44)>,
<12, 1/312*(w + 311)>,
<6, 1/27*w>,
<24, 1/314*(51*w + 365)>,
<12, 1/138528*(3553*w + 34199)>,
<24, 1/3068*(51*w + 365)>,
<24, 1/481*(12*w + 300)>,
<24, 1/481*(12*w + 169)>,
<24, 1/75*(8*w + 123)>,
<24, 1/136*(5*w + 156)>,
<12, 1/2532*(85*w + 3382)>,
<12, 1/211*(6*w + 60)>,
<12, 1/7174*(65*w - 715)>,
<12, 1/23712*(275*w + 26037)>,
<12, 1/22*(w + 13)>,
<24, 1/415*(34*w + 551)>,
<24, 1/944*(25*w + 1094)>,
<24, 1/19136*(315*w + 14040)>,
<24, 1/413*(45*w - 315)>,
<48, 1/368*(7*w + 312)>,
<24, 1/314*(11*w - 22)>,
<24, 1/468*(11*w + 132)>,
<24, 1/6123*(77*w + 4473)>,
<12, 1/507*(7*w + 182)>,
<24, 1/518*(11*w + 639)>,
<24, 1/37*(2*w + 13)>,
<24, 1/1443*(22*w - 165)>,
<24, 1/2*(w - 6)>,
<24, 1/871*(27*w + 1114)>,
<24, 1/747*(65*w - 325)>,
<12, 1/1920*(11*w - 99)>,
<24, 1/585*(2*w + 559)>,
<36, 1/5*(3*w - 36)>,
<24, 1/184*(w + 176)>,
<24, 1/162*(13*w + 279)>,
<24, 1/260*(9*w - 45)>,
<30, 1/247*(4*w + 191)>,
<24, 1/4*(w + 8)>,
<12, 1/249*(14*w - 70)>,
<12, 1/361*w>,
<24, 1/96*(w + 8)>,
<24, 1/2124*(19*w - 4)>,
<24, 1/53*(19*w - 4)>,
<12, 1/888*(65*w + 1603)>,
<24, 1/13*(7*w - 71)>,
<24, 1/177*(2*w + 163)>,
<24, 1/4*(w - 3)>,
<24, 1/295*(9*w + 349)>,
<24, 1/53*(4*w - 12)>,
<12, 1/2158*(27*w + 2106)>,
<36, 1/2*(w + 4)>,
<24, 1/169*(4*w + 104)>,
<24, 1/295*(9*w - 63)>,
<24, 1/51*(w + 55)>,
<36, 1/159*(w + 156)>,
<48, 1/17*(w - 7)>,
<48, 1/17*(w + 23)>,
<36, 1/156*(w + 156)>,
<24, 1/3392*(51*w + 2805)>,
<36, 1/332*(17*w + 68)>,
<4, 1/135424*(2145*w + 35464)>,
<12, 1/5772*(121*w + 7103)>,
<12, 1/1121*(22*w + 604)>,
<12, 1/104*(17*w - 17)>,
<12, 27/130*w>,
<24, 1/272*(5*w - 45)>,
<12, 1/85*(6*w + 163)>,
<12, 1/157*(6*w - 12)>,
<6, 1/1770*(289*w + 3504)>,
<6, 1/354*(5*w + 30)>,
<24, 1/6669*(85*w + 1280)>,
<12, 1/3312*(49*w + 3655)>,
<48, 1/7*w>,
<24, 1/1443*(22*w + 1586)>,
<24, 1/24*(w + 12)>,
<24, 1/4009*(13*w - 143)>,
<24, 1/46472*(741*w + 29315)>,
<12, 1/400*(11*w + 312)>,
<12, 1/111*(w + 11)>,
<36, 1/2664*(5*w - 56)>,
<24, 1/4009*(13*w + 4139)>,
<24, 1/1742*(57*w + 2255)>,
<24, 1/32*(w - 8)>,
<24, 1/23*(2*w - 16)>,
<24, 1/9213*(133*w + 2240)>,
<12, 1/7*(19*w - 228)>,
<24, 1/9213*(133*w + 6840)>,
<24, 1/134*(w + 9)>,
<24, 1/134*(w + 124)>,
<24, 1/3108*(13*w + 2952)>,
<24, 1/12449*(114*w + 1562)>,
<24, 1/268*(57*w + 781)>,
<12, 1/108*(w - 1)>,
<36, 1/159*(w + 161)>,
<4, 1/116964*(2431*w + 60996)>,
<12, 1/148*(17*w + 335)>,
<6, 1/2198*(289*w + 2487)>,
<12, 1/149388*(2261*w + 31255)>,
<12, 1/8229*(275*w + 7525)>,
<12, 1/50*(w + 10)>,
<12, 1/39*(25*w + 39)>,
<12, 1/1184*(45*w + 459)>,
<24, 1/9794*(57*w + 47)>,
<24, 1/9794*(57*w + 9690)>,
<36, 1/20*(3*w - 21)>,
<8, 1/85*(23*w - 191)>,
<8, 1/197136*(1955*w - 16235)>,
<12, 1/124416*(1445*w + 25000)>,
<12, 1/4020*(11*w + 4119)>,
<12, 1/4623*(25*w + 4775)>,
<12, 1/25*(w + 9)>,
<12, 1/23*(25*w - 177)>,
<12, 1/2*(w - 7)>,
<12, 1/177*(95*w + 570)>,
<4, 1/95*(17*w + 231)>,
<12, 10*w - 110>,
<12, 1/211*(95*w + 1161)>,
<12, 1/192*(w + 200)>,
<8, 1/178084*(399*w - 4028)>,
<8, 1/19*(21*w - 212)>,
<-12, 1/53*(-8*w - 16)>,
<-12, -w + 5>,
<-12, -25/312*w>,
<-24, 1/468*(-23*w + 192)>,
<-12, 1/1688*(-25*w + 1963)>,
<-12, 1/1407*(-34*w + 1747)>,
<-12, 1/1104*(-323*w + 3688)>,
<-12, 1/332*(-3*w + 347)>,
<-12, 1/795*(-92*w + 611)>,
<-12, 1/2988*(-85*w + 3413)>,
<-12, 1/1711*(-28*w + 1435)>,
<-12, 1/8*(-w - 7)>,
<-24, 1/384*(-7*w - 56)>,
<-12, 1/69*(-2*w + 39)>,
<-12, 1/332*(-w - 4)>,
<-12, 1/67*(-8*w + 147)>,
<-24, 1/324*(-17*w + 273)>,
<-12, 1/247*(-5*w + 70)>,
<-12, 1/324*(-w + 321)>,
<-6, 1/49*(-w + 44)>,
<-6, 1/58*(-w + 15)>,
<-12, 1/666*(-5*w + 615)>,
<-12, 1/162*(-5*w + 152)>,
<-12, -w + 3>,
<-12, 1/8991*(-190*w + 8455)>,
<-12, 1/112*(-5*w - 30)>,
<-12, 1/32916*(-805*w + 7800)>,
<-12, 1/19412*(-99*w + 18180)>,
<-12, 1/104248*(-969*w + 1857)>,
<-12, 1/314*(-3*w + 320)>,
<-12, 1/18369*(-476*w + 8645)>,
<-12, 1/3237*(-32*w + 741)>,
<-12, 1/39273*(-952*w + 23208)>,
<-12, 1/1328*(-49*w - 196)>,
<-12, 1/312*(-23*w + 335)>,
<-36, 1/36*(-w + 24)>,
<-12, 1/10128*(-143*w + 6215)>,
<-12, 1/9213*(-76*w + 1273)>,
<-12, 1/134196*(-3289*w + 63609)>,
<-12, 1/212*(-21*w + 63)>,
<-12, 1/12*(-w - 2)>,
<-6, 1/6844*(-63*w + 684)>,
<-6, 1/174*(-7*w + 76)>,
<-12, 1/17091*(-224*w + 12803)>,
<-12, 1/897*(-16*w + 289)>,
<-24, -w - 12>,
<-12, 1/15*(-w - 15)>,
<-12, 1/46*(-w + 16)>,
<-12, 1/128*(-7*w + 156)>,
<-12, 1/740*(-11*w - 121)>,
<-12, 1/670*(-13*w - 117)>,
<-12, 1/1288*(-11*w + 1123)>,
<-12, 1/184*(-7*w + 112)>,
<-12, 1/156*(-19*w + 175)>,
<-12, 1/5809*(-135*w + 4509)>,
<-12, 1/324*(-w + 12)>,
<-12, 1/314*(-27*w + 287)>,
<-12, 1/5*(-w + 9)>,
<-12, 1/2512*(-133*w + 2778)>,
<-12, 1/261*(-8*w + 149)>,
<-12, 1/222*(-7*w - 77)>,
<-12, 1/468*(-11*w - 132)>,
<-12, 1/17*(-4*w + 69)>,
<-12, 1/12508*(-273*w + 3681)>,
<-12, 1/49*(-8*w - 72)>,
<-12, 1/165672*(-133*w - 1547)>,
<-12, 1/664*(-65*w - 260)>,
<-12, 1/2656*(-27*w + 307)>,
<-12, 1/2*(-w + 7)>,
<-12, 1/1152*(-13*w - 104)>,
<-12, 1/1368*(-25*w + 568)>,
<-12, 1/247*(-11*w - 33)>,
<-6, 1/27*(-w + 1)>,
<-12, 1/138528*(-3553*w + 37752)>,
<-12, 1/2532*(-85*w + 3467)>,
<-12, 1/211*(-6*w + 66)>,
<-12, 1/7174*(-65*w - 650)>,
<-12, 1/23712*(-275*w + 26312)>,
<-12, 1/22*(-w + 14)>,
<-12, 1/507*(-7*w + 189)>,
<-12, 1/1920*(-11*w - 88)>,
<-24, 1/585*(-2*w + 561)>,
<-12, 1/249*(-14*w - 56)>,
<-12, 1/361*(-w + 1)>,
<-12, 1/888*(-65*w + 1668)>,
<-12, 1/2158*(-27*w + 2133)>,
<-4, 1/135424*(-2145*w + 37609)>,
<-12, 1/5772*(-121*w + 7224)>,
<-12, 1/1121*(-22*w + 626)>,
<-12, -17/104*w>,
<-12, 1/130*(-27*w + 27)>,
<-12, 1/85*(-6*w + 169)>,
<-12, 1/157*(-6*w - 6)>,
<-6, 1/1770*(-289*w + 3793)>,
<-6, 1/354*(-5*w + 35)>,
<-12, 1/3312*(-49*w + 3704)>,
<-12, 1/400*(-11*w + 323)>,
<-12, 1/111*(-w + 12)>,
<-12, 1/7*(-19*w - 209)>,
<-12, -1/108*w>,
<-4, 1/116964*(-2431*w + 63427)>,
<-12, 1/148*(-17*w + 352)>,
<-6, 1/2198*(-289*w + 2776)>,
<-12, 1/149388*(-2261*w + 33516)>,
<-12, 1/8229*(-275*w + 7800)>,
<-12, 1/50*(-w + 11)>,
<-12, 1/39*(-25*w + 64)>,
<-12, 1/1184*(-45*w + 504)>,
<-12, 1/124416*(-1445*w + 26445)>,
<-12, 1/4020*(-11*w + 4130)>,
<-12, 1/4623*(-25*w + 4800)>,
<-12, 1/25*(-w + 10)>,
<-12, 1/23*(-25*w - 152)>,
<-12, 1/2*(-w - 6)>,
<-12, 1/177*(-95*w + 665)>,
<-4, 1/95*(-17*w + 248)>,
<-12, -10*w - 100>,
<-12, 1/211*(-95*w + 1256)>,
<-12, 1/192*(-w + 201)>
]