/* Defining polynomial */ x^2 + 453 /* GCD of coefficients */ 2 /* 24 * |disc|^(3/2) /(8*pi^2)* zeta_F(2) */ 37617.3883261849511890063701120 /* Belt */ [ <24, 1/8036*(299*w + 11325)>, <24, 1/8036*(299*w - 3289)>, <72, 1/453*(11*w + 453)>, <56, 1/454*(11*w - 11)>, <48, 1/173283*(322*w + 168705)>, <72, 1/11*(w + 11)>, <56, 1/454*(11*w + 465)>, <48, 1/7153*(14*w + 7335)>, <24, 1/13*(12*w + 168)>, <24, 1/7788*(13*w + 182)>, <144, 1/20*(w + 9)>, <144, 1/20*(w + 11)>, <48, 1/78*(25*w + 375)>, <124, 1/24*(w + 11)>, <124, 1/287*(12*w + 132)>, <48, 1/2825*(13*w + 195)>, <24, 1/460*(7*w + 551)>, <24, 1/460*(7*w - 91)>, <48, 1/12*(w + 1)>, <24, 1/187*(5*w - 45)>, <24, 1/187*(5*w + 232)>, <48, 1/287*(6*w + 221)>, <64, 1/553*(11*w + 443)>, <96, 1/16*(w + 8)>, <64, 1/454*(11*w + 443)>, <24, 1/5340*(91*w + 6159)>, <24, 1/502*(7*w + 453)>, <24, 1/502*(7*w + 49)>, <24, 1/91*(10*w + 181)>, <60, 1/478*(9*w + 45)>, <60, 1/469*(9*w + 36)>, <96, 1/178*(3*w + 151)>, <96, 1/151*(3*w + 151)>, <160, 1/113*(4*w + 53)>, <40, 1/7*(4*w - 53)>, <48, 1/2047*(21*w + 2236)>, <180, 1/17*(w + 9)>, <24, 1/126*(5*w - 25)>, <24, 1/37762*(345*w + 34707)>, <24, 1/253*(w + 258)>, <192, 1/239*(7*w + 35)>, <228, 1/23*(w + 12)>, <24, 1/399*(11*w + 443)>, <112, 1/649*(25*w + 299)>, <24, 1/125223*(2288*w + 51831)>, <72, 1/1513*(40*w + 1873)>, <24, 1/2068*(119*w + 3020)>, <48, 1/478*(5*w + 25)>, <48, 5/453*w>, <24, 1/70597*(1197*w + 32977)>, <336, 1/22*(w + 11)>, <24, 1/3514*(171*w + 4711)>, <24, 1/5159*(391*w + 6723)>, <24, 1/244038*(4301*w + 73953)>, <24, 1/161*(6*w + 233)>, <24, 1/3582*(161*w + 5514)>, <144, 1/597*(25*w + 300)>, <48, 1/7775*(14*w + 182)>, <192, 1/267*(7*w + 63)>, <24, 1/2009*(19*w + 2218)>, <192, 1/18*(w + 7)>, <16, 1/200*(17*w + 387)>, <124, 1/489*(17*w + 102)>, <24, 1/138803*(1955*w + 94758)>, <112, 1/25*(w + 11)>, <24, 1/3107*(176*w + 3987)>, <192, 1/287*(9*w + 188)>, <192, 1/534*(19*w + 363)>, <24, 1/30049*(476*w + 12080)>, <72, 1/1513*(40*w - 360)>, <192, 1/251*(8*w + 56)>, <192, 1/251*(8*w + 195)>, <24, 1/2786*(95*w + 3926)>, <240, 1/267*(11*w + 99)>, <48, 4/151*w>, <120, 1/19*(w + 7)>, <24, 1/418*(7*w - 35)>, <96, 1/239*(6*w + 209)>, <72, 1/597*(22*w + 333)>, <12, 1/7742*(289*w + 10632)>, <12, 1/553*(12*w + 120)>, <96, 1/251*(6*w + 209)>, <48, 1/151*(4*w + 151)>, <24, 1/418*(7*w + 453)>, <120, 1/502*(19*w + 133)>, <96, 1/67*(2*w + 59)>, <228, 1/574*(23*w + 321)>, <24, 1/399*(11*w - 44)>, <240, 1/22*(w + 9)>, <24, 1/285*(14*w + 453)>, <96, 1/67*(2*w + 8)>, <24, 1/67017*(253*w + 65274)>, <24, 1/138803*(1955*w + 44045)>, <24, 1/131159*(1872*w + 62064)>, <84, 1/13*(w + 2)>, <24, 1/11*(12*w + 155)>, <24, 1/7164*(11*w + 7296)>, <144, 1/25*(w + 12)>, <48, 1/28*(25*w + 325)>, <180, 1/17*(w + 8)>, <48, 1/2047*(21*w - 189)>, <416, 1/18*(w + 9)>, <24, 1/2009*(19*w - 209)>, <192, 1/19*(w + 10)>, <88, 1/553*(20*w + 200)>, <24, 1/126*(5*w + 151)>, <24, 1/335*(69*w - 276)>, <84, 1/13*(w + 3)>, <84, 1/462*(13*w + 39)>, <48, 1/517*(7*w + 56)>, <240, 1/33*(w + 30)>, <24, 1/281766*(4199*w + 135447)>, <24, 1/323*(13*w - 130)>, <240, 1/41*(w + 30)>, <48, 1/517*(7*w + 461)>, <24, 1/299*(17*w + 401)>, <24, 1/291718*(5083*w + 119899)>, <28, 1/1921*(28*w + 2341)>, <48, 1/457*(17*w + 423)>, <108, 1/77*(3*w + 68)>, <24, 1/489*(20*w + 120)>, <12, 1/289*(10*w + 429)>, <36, 1/18*(w + 14)>, <108, 1/113*(3*w + 68)>, <24, 1/25*(w + 30)>, <24, 1/550*(9*w + 523)>, <24, 1/25*(w - 5)>, <24, 1/189*(25*w + 114)>, <84, 1/20*(w + 12)>, <24, 1/251062*(3519*w + 181033)>, <72, 1/517*(14*w + 112)>, <132, 1/489*(19*w + 114)>, <180, 1/517*(19*w + 152)>, <60, 1/287*(5*w + 55)>, <48, 1/18419*(105*w + 1815)>, <48, 1/10*w>, <180, 1/574*(19*w + 209)>, <60, 1/227*(5*w - 5)>, <24, 1/391*(9*w + 463)>, <132, 1/489*(19*w + 375)>, <72, 1/517*(14*w + 405)>, <16, 1/308*(17*w + 393)>, <80, 1/597*(17*w + 204)>, <84, 1/20*(w + 8)>, <136, 1/239*(5*w + 25)>, <12, 1/1659*(19*w + 1849)>, <264, 1/82*(3*w + 49)>, <48, 10/453*w>, <48, 1/2177*(15*w - 195)>, <24, 1/91*(5*w + 151)>, <4, 1/408*(7*w + 471)>, <4, 1/51641*(1632*w + 40608)>, <4, 1/40673*(672*w + 45216)>, <28, 1/51641*(476*w + 39797)>, <8, 1/17*(4*w - 36)>, <40, 1/7*(4*w + 60)>, <160, 1/113*(4*w + 60)>, <8, 1/2136*(17*w - 153)>, <24, 1/161*(6*w + 221)>, <72, 1/226*(7*w + 121)>, <24, 1/30049*(460*w + 17365)>, <192, 1/163*(5*w + 133)>, <24, 1/45173*(792*w + 11693)>, <24, 1/847*(72*w + 1063)>, <192, 1/15*(w + 9)>, <72, 1/21*(w + 6)>, <120, 1/77*(w + 80)>, <120, 1/89*(w + 80)>, <36, 1/311*(3*w + 272)>, <36, 1/251*(3*w + 272)>, <24, 1/2136*(115*w - 1035)>, <24, 1/161*(6*w - 60)>, <24, 1/91*(5*w - 60)>, <224, 1/311*(13*w + 169)>, <24, 1/143*(7*w - 77)>, <24, 1/143*(7*w + 220)>, <12, 1/34639*(252*w + 4084)>, <60, 1/7*(w + 11)>, <24, 1/5020*(119*w + 5853)>, <24, 1/155111*(2070*w + 34821)>, <24, 1/2259*(230*w + 3869)>, <24, 1/1359*(230*w + 1359)>, <24, 1/56977*(690*w + 4077)>, <24, 1/81021*(1190*w + 58530)>, <24, 1/5598*(77*w + 6599)>, <96, 1/239*(9*w + 194)>, <72, 1/36*(11*w + 168)>, <72, 1/2189*(12*w + 2333)>, <24, 1/136*(7*w - 98)>, <24, 1/279993*(5200*w + 131625)>, <24, 1/279993*(5200*w + 148368)>, <24, 1/136*(7*w + 234)>, <48, 1/5876*(35*w + 525)>, <48, 1/42*(11*w + 174)>, <48, 1/2189*(14*w + 2357)>, <48, 1/129151*(910*w - 9975)>, <12, 1/160787*(798*w + 147525)>, <84, 1/622*(21*w + 349)>, <24, 1/4401*(140*w - 840)>, <24, 1/697*(16*w + 873)>, <96, 1/287*(8*w + 88)>, <108, 1/311*(10*w + 130)>, <120, 1/502*(17*w + 383)>, <24, 1/304*(15*w + 469)>, <72, 1/597*(26*w + 312)>, <24, 1/120*(19*w + 405)>, <36, 1/454*(5*w + 449)>, <48, 1/70*(23*w - 253)>, <72, 1/251*(4*w + 28)>, <24, 1/114*(5*w + 139)>, <24, 1/552*(5*w - 5)>, <84, 1/15*w>, <84, 1/15*(w + 15)>, <264, 1/82*(3*w + 33)>, <168, 1/553*(23*w + 323)>, <168, 1/553*(23*w + 230)>, <24, 1/160787*(1380*w + 7055)>, <48, 1/24569*(115*w + 22954)>, <36, 1/469*(5*w + 449)>, <72, 1/251*(4*w + 223)>, <96, 1/239*(9*w + 45)>, <24, 1/114*(5*w - 25)>, <72, 1/649*(26*w + 364)>, <24, 1/72*(w + 71)>, <24, 1/2747*(36*w + 2556)>, <48, 1/451*(8*w + 211)>, <24, 1/74329*(1100*w + 71225)>, <24, 1/74329*(1100*w + 3104)>, <48, 1/24*(w - 6)>, <120, 1/502*(17*w + 119)>, <72, 1/8437*(40*w + 560)>, <12, 1/122739*(2080*w + 56979)>, <132, 1/502*(13*w + 411)>, <72, 1/8437*(40*w + 7877)>, <24, 1/74329*(1260*w + 27160)>, <96, 1/287*(8*w + 199)>, <24, 1/224*(17*w + 411)>, <108, 1/251*(10*w + 70)>, <24, 1/553*(20*w + 753)>, <24, 1/1353*(20*w + 753)>, <24, 1/120*(19*w - 285)>, <24, 1/4305*(152*w + 5977)>, <48, 1/227*(4*w + 231)>, <24, 1/311*(6*w + 233)>, <24, 1/187*(5*w + 222)>, <48, 1/267*(4*w + 231)>, <24, 1/187*(5*w - 35)>, <24, 1/12*(w - 1)>, <18, 1/4*(w - 2)>, <6, 1/74491*(588*w + 68355)>, <112, 1/163*(4*w + 24)>, <24, 1/10263*(136*w + 3519)>, <36, 1/517*(10*w + 437)>, <124, 1/489*(17*w + 387)>, <24, 1/399*(11*w + 465)>, <288, 1/199*(7*w + 115)>, <224, 1/24*(w + 12)>, <288, 1/21*(w + 9)>, <12, 1/357*(10*w - 80)>, <36, 1/517*(10*w + 80)>, <24, 1/1793*(133*w + 2591)>, <72, 1/469*(16*w + 64)>, <24, 1/9*(w + 13)>, <120, 1/22*(w + 15)>, <72, 1/311*(7*w + 220)>, <48, 1/160787*(1680*w + 132867)>, <48, 1/160787*(1680*w + 27920)>, <120, 1/251*(11*w + 174)>, <72, 1/311*(7*w + 91)>, <24, 1/469*(9*w + 505)>, <136, 1/649*(23*w + 322)>, <136, 1/534*(23*w + 207)>, <72, 1/469*(16*w + 405)>, <208, 1/14*(w + 7)>, <76, 1/24*(w + 10)>, <12, 1/330141*(550*w + 8325)>, <24, 1/656*(17*w - 187)>, <12, 1/2034*(23*w - 345)>, <64, 1/553*(16*w + 160)>, <24, 1/13*(4*w - 40)>, <84, 1/478*(15*w + 75)>, <24, 1/32437*(510*w + 21642)>, <72, 1/231*(8*w + 24)>, <48, 1/517*(18*w + 373)>, <96, 1/502*(21*w + 355)>, <60, 1/339*(10*w + 189)>, <24, 1/2151*(230*w + 3301)>, <24, 1/155111*(1292*w + 26044)>, <144, 1/251*(5*w + 35)>, <84, 1/8*(w + 5)>, <24, 1/371*(11*w + 184)>, <24, 1/2*(w + 7)>, <24, 1/6398*(425*w + 7248)>, <96, 1/678*(19*w + 393)>, <24, 1/178*(7*w + 241)>, <24, 1/453*(8*w + 453)>, <24, 1/43483*(570*w + 14470)>, <48, 1/151*(2*w + 151)>, <48, 2/151*w>, <192, 1/11*(w + 3)>, <96, 1/517*(15*w + 397)>, <24, 1/171*(7*w - 63)>, <24, 1/1513*(45*w + 1918)>, <24, 1/51641*(765*w + 32606)>, <24, 1/55*(12*w + 19)>, <96, 1/469*(19*w + 393)>, <24, 1/55*(12*w + 36)>, <36, 1/120*(23*w + 327)>, <24, 1/25651*(399*w + 12313)>, <192, 1/47*(w + 39)>, <24, 1/1155*(68*w + 1359)>, <8, 1/4*(w + 2)>, <2, 1/208849*(1764*w + 198009)>, <24, 1/136*(5*w + 151)>, <12, 1/432*(11*w - 11)>, <24, 1/121*(10*w + 151)>, <48, 1/1243*(24*w + 544)>, <24, 1/1343*(33*w + 1673)>, <100, 1/13*(w + 9)>, <100, 1/13*(w + 4)>, <24, 1/231*(17*w + 401)>, <24, 1/6191*(110*w + 1661)>, <48, 1/201*(8*w - 32)>, <24, 1/284254*(4301*w + 96965)>, <24, 1/5687*(391*w + 8815)>, <12, 1/529*(10*w + 509)>, <24, 1/649*(12*w + 168)>, <24, 1/6*(w + 2)>, <36, 1/24*(23*w + 323)>, <168, 1/77*(w + 74)>, <48, 1/5453*(80*w + 6333)>, <120, 1/469*(11*w + 44)>, <120, 1/502*(11*w + 77)>, <48, 1/160*(19*w + 369)>, <12, 1/76*(5*w + 151)>, <60, 1/62489*(300*w + 66125)>, <60, 1/25*(w + 15)>, <24, 1/321177*(6992*w + 197961)>, <24, 1/16*(w + 14)>, <24, 1/457*(16*w + 425)>, <24, 1/293997*(5950*w + 101472)>, <24, 1/8*(w + 8)>, <24, 1/272829*(4370*w + 64380)>, <24, 1/2390*(207*w + 3425)>, <24, 1/820*(57*w + 1447)>, <24, 1/869*(10*w + 179)>, <24, 1/89*(10*w + 179)>, <24, 1/65149*(1035*w + 17125)>, <24, 1/4690*(437*w + 6438)>, <24, 1/178*(7*w - 63)>, <60, 1/67*(w + 71)>, <108, 1/649*(19*w + 383)>, <12, 1/553*(5*w + 503)>, <12, 1/1195*(264*w - 125)>, <24, 1/138803*(2244*w + 88247)>, <108, 1/649*(19*w + 266)>, <24, 1/7264*(437*w - 437)>, <24, 1/239*(w + 244)>, <12, 1/3551*(6*w + 3441)>, <12, 1/106*(3*w + 55)>, <24, 1/371*(11*w + 187)>, <24, 1/136*(19*w + 383)>, <144, 1/10*(w + 7)>, <84, 1/231*(4*w + 219)>, <24, 1/288*(13*w + 483)>, <24, 1/457*(13*w - 26)>, <24, 1/622*(11*w + 143)>, <24, 1/336*(11*w - 143)>, <96, 1/649*(21*w + 355)>, <72, 1/231*(8*w + 207)>, <48, 1/517*(18*w + 144)>, <96, 1/502*(15*w + 397)>, <12, 1/228*(17*w + 381)>, <60, 1/20*(w + 5)>, <24, 1/2151*(230*w - 1150)>, <24, 1/13*(4*w + 53)>, <84, 1/553*(15*w + 150)>, <24, 1/32437*(510*w + 10795)>, <12, 1/2771*(95*w + 3341)>, <12, 1/540*(13*w + 501)>, <36, 1/709*(13*w + 208)>, <64, 1/489*(16*w + 96)>, <84, 1/622*(21*w + 273)>, <24, 1/414*(13*w + 453)>, <60, 1/454*(7*w + 7)>, <24, 23/151*w>, <24, 1/46961*(897*w + 31257)>, <24, 1/649*(20*w + 280)>, <12, 1/169*(16*w - 224)>, <12, 1/2585*(437*w + 6081)>, <36, 1/517*(5*w + 40)>, <60, 1/489*(7*w + 42)>, <24, 1/69*w>, <12, 1/389821*(9522*w + 260797)>, <6, 1/529*(4*w + 80)>, <12, 1/259357*(3174*w + 260797)>, <12, 1/4*(w + 10)>, <36, 1/489*(10*w + 60)>, <108, 1/469*(17*w + 68)>, <36, 1/180*(17*w + 401)>, <24, 1/3277*(32*w + 2797)>, <24, 1/678*(29*w + 435)>, <24, 1/1309*(60*w + 1489)>, <72, 1/649*(17*w + 411)>, <60, 1/25*(w + 10)>, <60, 1/72*(25*w + 375)>, <24, 1/189*(20*w + 369)>, <24, 1/1467*(50*w + 1767)>, <24, 1/15323*(240*w + 2283)>, <96, 1/489*(11*w + 66)>, <24, 1/38*(w + 45)>, <24, 1/47*(2*w - 16)>, <96, 1/42*(w + 45)>, <24, 1/1068*(13*w + 1185)>, <24, 1/13*(2*w + 31)>, <24, 1/47*(2*w + 63)>, <96, 1/42*(w - 3)>, <24, 1/38*(w - 7)>, <96, 1/11*(w + 6)>, <24, 1/1467*(50*w - 300)>, <24, 1/189*(20*w - 180)>, <24, 1/160*(3*w - 3)>, <12, 1/3980*(39*w + 4448)>, <24, 1/27007*(440*w + 23232)>, <24, 1/391*(9*w + 445)>, <24, 1/1148*(9*w - 99)>, <48, 1/4*(w + 3)>, <48, 1/227*(5*w + 5)>, <84, 1/649*(13*w + 467)>, <24, 1/2773*(18*w + 279)>, <48, 1/4*(w + 1)>, <48, 1/267*(5*w + 45)>, <24, 1/234718*(3519*w + 173995)>, <24, 1/27007*(440*w + 3775)>, <84, 1/13*(w - 1)>, <96, 1/311*(5*w + 65)>, <24, 1/155111*(2375*w + 47875)>, <4, 1/109223*(1428*w + 90372)>, <4, 1/576*(17*w + 491)>, <4, 1/576*(7*w + 443)>, <4, 1/6919*(84*w + 8515)>, <8, 1/5736*(119*w - 595)>, <4, 1/9768*(49*w + 931)>, <4, 1/24*(w + 19)>, <8, 1/119*(12*w - 60)>, <96, 1/154*(5*w + 139)>, <12, 1/1141*(54*w + 1465)>, <96, 1/199*(5*w + 139)>, <12, 1/801*(14*w + 927)>, <12, 1/267*(13*w + 117)>, <36, 1/7153*(12*w + 7309)>, <20, 1/7175*(12*w + 7307)>, <24, 1/250*(19*w + 383)>, <96, 1/10*(w + 13)>, <24, 1/284254*(3705*w + 178785)>, <24, 1/4354*(143*w - 1859)>, <12, 1/8437*(285*w + 12427)>, <24, 1/8955*(247*w + 11919)>, <12, 1/2587*(95*w + 3727)>, <108, 1/454*(13*w + 441)>, <24, 1/143*(7*w - 91)>, <24, 1/74329*(693*w + 59391)>, <12, 1/47561*(672*w + 49248)>, <12, 1/3*(w + 12)>, <24, 1/192*(7*w - 28)>, <16, 1/469*(4*w + 453)>, <12, 1/3322*(21*w + 151)>, <144, 1/7*(w + 4)>, <24, 1/3283*(192*w - 768)>, <48, 1/678*(17*w + 423)>, <24, 1/717*(20*w - 100)>, <12, 1/324013*(2394*w + 268020)>, <12, 1/709*(18*w + 421)>, <60, 1/478*(7*w + 443)>, <12, 1/5027*(162*w + 5351)>, <36, 1/457*(19*w + 38)>, <48, 1/239*(3*w + 224)>, <4, 1/321886*(4335*w + 186345)>, <8, 1/28*(w + 12)>, <16, 1/160943*(3570*w + 69173)>, <40, 1/17*(w + 1)>, <4, 1/476*(11*w + 465)>, <48, 1/227*(3*w + 224)>, <24, 1/40*(3*w - 15)>, <72, 1/462*(17*w + 411)>, <12, 1/356*(77*w - 693)>, <12, 1/4*(w + 9)>, <24, 1/4179*(136*w - 1632)>, <80, 1/478*(17*w + 85)>, <24, 1/136*(7*w - 84)>, <24, 1/304*(15*w + 439)>, <24, 1/35143*(378*w + 38626)>, <24, 1/28*(w + 15)>, <36, 1/10*(w + 15)>, <12, 1/1130*(63*w - 945)>, <24, 1/304*(15*w - 135)>, <24, 1/2497*(234*w + 2731)>, <24, 1/142127*(2574*w + 30041)>, <12, 1/5941*(405*w + 6751)>, <84, 1/574*(13*w + 431)>, <12, 1/7755*(289*w + 10067)>, <40, 1/517*(12*w + 96)>, <12, 1/12331*(117*w - 1638)>, <24, 1/2147*(18*w + 2417)>, <12, 1/358897*(2500*w + 370625)>, <12, 1/625*(18*w + 252)>, <12, 1/3318*(625*w - 2932)>, <28, 1/742*(25*w + 425)>, <28, 1/9275*(54*w + 8357)>, <24, 1/171*(8*w - 48)>, <24, 1/101386*(931*w + 83011)>, <24, 1/791*(10*w + 376)>, <24, 1/791*(10*w + 415)>, <24, 1/147*(19*w - 228)>, <24, 1/171*(8*w + 219)>, <24, 1/457*(15*w + 30)>, <24, 1/622*(15*w + 195)>, <24, 1/253*(2*w + 249)>, <24, 1/105994*(1045*w + 84379)>, <24, 1/3765*(152*w - 1064)>, <24, 1/45*(2*w + 59)>, <24, 1/175263*(920*w + 161943)>, <48, 1/12*(w - 3)>, <24, 1/9217*(64*w + 1024)>, <36, 1/5*(w + 6)>, <96, 1/163*(6*w + 127)>, <24, 1/65149*(960*w + 44544)>, <24, 1/5166*(95*w - 1045)>, <24, 1/1958*(25*w - 225)>, <24, 1/1958*(25*w + 2183)>, <24, 1/742*(17*w + 289)>, <24, 1/454*(15*w + 439)>, <12, 1/7139*(289*w + 11185)>, <24, 1/65149*(960*w + 20605)>, <36, 1/5*(w - 1)>, <24, 1/95*(9*w - 99)>, <96, 1/18*(w + 12)>, <24, 1/742*(17*w + 453)>, <24, 1/3239*(24*w + 392)>, <12, 1/357*(11*w + 423)>, <48, 1/77*(2*w - 6)>, <108, 1/163*(3*w + 145)>, <24, 1/360*(17*w + 411)>, <144, 1/66*(w + 63)>, <24, 1/175*(8*w + 207)>, <24, 1/536*(25*w + 636)>, <108, 1/163*(3*w + 18)>, <24, 1/199*(9*w + 91)>, <24, 1/22487*(198*w - 2002)>, <12, 1/147323*(3120*w + 35243)>, <24, 1/105994*(1045*w + 21615)>, <24, 1/3765*(152*w + 4829)>, <24, 1/45*(2*w - 14)>, <24, 1/2373*(8*w + 2493)>, <108, 1/17*(w + 4)>, <24, 1/253*(2*w + 4)>, <48, 1/7*(w + 9)>, <48, 1/457*(7*w + 471)>, <12, 1/574*(19*w - 209)>, <24, 1/27*(w - 3)>, <12, 1/709*(14*w + 485)>, <12, 1/6398*(513*w + 5372)>, <24, 1/9217*(64*w + 8193)>, <24, 1/175263*(920*w + 13320)>, <12, 1/1506*(209*w + 2969)>, <12, 1/227*(3*w + 230)>, <24, 1/3871*(51*w + 4381)>, <24, 1/51*(7*w + 121)>, <24, 1/26*(w + 30)>, <24, 1/3656*(437*w + 4530)>, <24, 1/4378*(85*w + 2363)>, <24, 1/9799*(136*w + 6416)>, <48, 1/1691*(33*w - 297)>, <12, 1/90943*(1190*w + 34180)>, <12, 1/597*(10*w + 477)>, <48, 1/49949*(627*w + 12177)>, <24, 1/632*(17*w + 802)>, <24, 1/2951*(220*w + 3171)>, <24, 1/76953*(1540*w + 51480)>, <36, 1/5*(w + 8)>, <24, 1/3199*(220*w - 440)>, <24, 1/440*(13*w + 453)>, <24, 1/4378*(85*w + 2015)>, <12, 1/534*(5*w + 579)>, <12, 1/57761*(520*w - 2455)>, <12, 1/597*(5*w + 537)>, <12, 1/1255*(286*w - 747)>, <12, 1/457*(2*w + 461)>, <12, 1/5293*(126*w + 1576)>, <12, 1/8*(w - 2)>, <24, 1/1353*(26*w + 780)>, <24, 1/437*(8*w + 453)>, <24, 1/1947*(26*w - 364)>, <24, 1/1947*(26*w + 2311)>, <12, 1/23*(w + 20)>, <6, 1/853*(54*w - 1080)>, <24, 1/469*(76*w + 773)>, <156, 1/12*(w + 3)>, <24, 1/4977*(104*w + 6017)>, <24, 1/4136*(135*w + 5216)>, <24, 1/1780*(33*w - 297)>, <24, 1/163779*(2584*w + 55080)>, <24, 1/5287*(95*w + 6522)>, <36, 1/14*(w + 17)>, <24, 1/74329*(924*w + 14500)>, <36, 1/231*(w - 3)>, <48, 1/231*(4*w - 12)>, <40, 1/454*(17*w + 17)>, <48, 1/790*(11*w + 900)>, <24, 1/78061*(810*w + 14661)>, <36, 1/9*(w - 2)>, <24, 1/49*(10*w + 189)>, <24, 1/69*(w + 71)>, <24, 1/142683*(1771*w + 129789)>, <24, 1/262318*(4275*w + 225625)>, <24, 1/57*(2*w - 26)>, <108, 1/517*(13*w + 413)>, <12, 1/2151*(200*w + 3151)>, <24, 1/34*(3*w - 21)>, <24, 1/753*(17*w - 119)>, <24, 1/2608*(119*w + 3322)>, <24, 1/32437*(322*w + 28175)>, <24, 1/1004*(161*w - 1127)>, <24, 1/357*(16*w + 453)>, <36, 1/21*(w + 5)>, <36, 1/709*(21*w + 373)>, <24, 1/29618*(357*w + 23583)>, <48, 1/231*(2*w - 6)>, <24, 1/227*(23*w + 204)>, <24, 1/20203*(345*w + 15318)>, <8, 1/39601*(56*w + 721)>, <16, 1/17725*(91*w + 16269)>, <16, 1/709*(25*w + 400)>, <24, 1/234*(19*w - 171)>, <24, 1/38*(3*w - 30)>, <48, 1/11*(w + 2)>, <24, 1/234*(19*w + 405)>, <24, 1/8701*(114*w + 6117)>, <48, 1/11*(w + 9)>, <24, 1/20203*(345*w + 4885)>, <24, 1/46*(w + 45)>, <48, 1/231*(2*w + 237)>, <24, 1/987*(17*w + 1123)>, <24, 1/14507*(220*w + 8655)>, <24, 1/6853*(80*w + 6400)>, <44, 1/457*(8*w + 441)>, <4, 1/10269*(289*w + 12003)>, <4, 1/489*(25*w + 150)>, <4, 1/7769*(525*w + 6719)>, <4, 1/457*(17*w - 34)>, <4, 1/223473*(3400*w + 187425)>, <44, 1/489*(8*w + 441)>, <24, 1/340*(13*w - 143)>, <24, 1/80*(w + 80)>, <12, 1/77*(8*w + 53)>, <12, 1/1062*(11*w + 1216)>, <132, 1/59*(2*w + 28)>, <48, 1/151*(w + 151)>, <24, 1/163*(10*w + 223)>, <108, 1/13*(w + 5)>, <48, 1/154*(w + 151)>, <24, 1/583*(10*w + 223)>, <12, 1/529*(12*w + 433)>, <12, 1/3318*(529*w + 5290)>, <12, 1/285901*(1058*w + 3944)>, <12, 1/8533*(20*w + 8193)>, <32, 1/742*(23*w + 391)>, <24, 1/207*(4*w - 36)>, <48, 1/469*(8*w + 32)>, <24, 1/1551*(230*w + 3391)>, <12, 1/171339*(782*w + 160425)>, <24, 1/230*(3*w + 254)>, <24, 1/22099*(276*w + 5332)>, <36, 1/57761*(460*w + 6540)>, <12, 1/123802*(1725*w + 27225)>, <12, 1/163*(8*w + 48)>, <24, 1/336*(13*w - 117)>, <24, 1/143*(8*w - 64)>, <52, 1/23*(w + 16)>, <24, 1/304*(17*w + 423)>, <24, 1/6531*(104*w + 3840)>, <52, 1/709*(23*w + 368)>, <24, 1/46961*(728*w + 21593)>, <24, 1/4267*(152*w + 5331)>, <24, 1/262318*(4275*w + 36693)>, <36, 1/489*(10*w + 429)>, <24, 1/57*(2*w + 83)>, <12, 1/5293*(78*w + 2992)>, <12, 1/77*(10*w - 30)>, <24, 1/506*(7*w + 513)>, <24, 1/5494*(69*w + 4899)>, <156, 1/12*(w + 9)>, <24, 1/81*(10*w + 181)>, <36, 1/457*(9*w - 18)>, <24, 1/81021*(490*w + 9261)>, <24, 1/73337*(928*w + 81113)>, <24, 1/29*(w + 15)>, <12, 1/1001*(64*w + 1193)>, <24, 1/4541*(144*w + 5261)>, <24, 1/49217*(608*w + 37601)>, <48, 1/77*(10*w + 177)>, <24, 1/2008*(231*w + 3625)>, <36, 1/2*(w - 3)>, <48, 1/287*(4*w + 44)>, <36, 1/53*(w + 17)>, <24, 1/4769*(136*w - 952)>, <24, 1/5287*(95*w - 1235)>, <24, 1/52997*(880*w + 41040)>, <24, 1/1780*(33*w + 2077)>, <24, 1/40673*(616*w + 16313)>, <24, 1/74329*(936*w + 54153)>, <24, 1/68593*(1080*w + 41728)>, <24, 1/480*(11*w + 513)>, <24, 1/76*(w + 80)>, <132, 1/489*(13*w + 411)>, <12, 1/709*(27*w + 432)>, <12, 1/169*(20*w + 389)>, <48, 1/574*(15*w + 409)>, <24, 1/340*(13*w + 483)>, <24, 1/1244*(5*w - 65)>, <24, 1/5*(2*w - 26)>, <24, 1/227*(7*w - 7)>, <24, 1/815*(64*w + 1199)>, <24, 1/539*(92*w + 276)>, <24, 1/815*(64*w - 384)>, <24, 1/227*(7*w + 234)>, <36, 1/457*(5*w + 447)>, <12, 1/211134*(2185*w + 15795)>, <24, 1/50693*(644*w + 48852)>, <18, 1/489*(4*w + 465)>, <12, 1/709*(10*w + 160)>, <12, 1/8802*(529*w + 3174)>, <24, 1/288*(19*w + 383)>, <12, 1/7049*(48*w - 816)>, <24, 1/209*(20*w + 369)>, <24, 1/987*(17*w + 663)>, <24, 1/987*(17*w + 324)>, <132, 1/47*(2*w + 16)>, <24, 1/940*(19*w + 1092)>, <108, 1/13*(w + 12)>, <24, 1/1194*(7*w - 84)>, <24, 1/32*(w - 7)>, <24, 1/987*(16*w + 363)>, <24, 1/2773*(14*w + 217)>, <24, 1/136*(3*w - 15)>, <24, 1/189*(19*w - 57)>, <36, 1/239*(2*w + 10)>, <24, 1/133*(3*w + 151)>, <24, 1/239*(33*w + 404)>, <36, 1/239*(2*w + 229)>, <24, 1/189*(19*w + 246)>, <24, 1/717*(68*w - 340)>, <24, 1/2747*(33*w + 404)>, <24, 1/26878*(399*w + 20083)>, <24, 1/234*(7*w + 234)>, <24, 1/275*(2*w + 10)>, <24, 7/234*w>, <8, 1/7921*(105*w + 2170)>, <12, 1/3346*(169*w - 845)>, <48, 1/205*(6*w + 271)>, <12, 1/32437*(330*w + 25452)>, <48, 1/205*(6*w - 66)>, <12, 1/154*(13*w + 115)>, <16, 1/84217*(792*w + 60952)>, <16, 1/371*(8*w + 235)>, <12, 1/1434*(209*w + 2479)>, <24, 1/275*(2*w + 265)>, <24, 1/150*(7*w + 234)>, <24, 1/597*(14*w + 429)>, <16, 1/649*(28*w + 257)>, <8, 1/421201*(3780*w - 34695)>, <8, 1/135*(28*w - 257)>, <12, 1/82369*(495*w + 7470)>, <24, 1/457*(14*w + 429)>, <24, 1/1393*(50*w + 1993)>, <4, 1/338902*(2541*w + 293769)>, <4, 1/169451*(3234*w + 12749)>, <4, 1/11*(w - 5)>, <24, 1/147*(8*w - 72)>, <60, 1/154*(w + 157)>, <12, 1/12877*(336*w + 4624)>, <96, 1/7*(w - 3)>, <24, 1/1424*(49*w - 441)>, <24, 1/32*(3*w - 36)>, <24, 1/8701*(96*w + 6525)>, <24, 1/16909*(340*w + 9820)>, <36, 1/20*(w + 3)>, <12, 1/4086*(209*w + 4295)>, <20, 1/371*(9*w + 218)>, <24, 1/176379*(3230*w + 102429)>, <12, 1/478*(23*w + 363)>, <12, 1/123802*(391*w - 6171)>, <24, 1/4541*(170*w + 5391)>, <24, 1/440*(17*w + 491)>, <36, 1/231*(10*w + 30)>, <132, 1/37*(w + 18)>, <12, 1/54253*(462*w + 52899)>, <36, 1/231*(w + 228)>, <12, 1/189*(17*w - 204)>, <132, 1/21*(w + 18)>, <36, 1/231*(w + 3)>, <12, 1/207*(4*w + 219)>, <4, 1/57121*(945*w + 40446)>, <16, 1/4879*(100*w + 5979)>, <16, 1/489*(8*w + 537)>, <4, 1/317361*(3400*w + 228225)>, <20, 1/7175*(12*w - 132)>, <16, 1/16225*(51*w + 714)>, <12, 1/264334*(3795*w + 101959)>, <24, 1/4136*(171*w - 1368)>, <24, 1/175*(19*w - 190)>, <24, 1/70597*(1326*w + 51493)>, <24, 1/221*(6*w + 233)>, <36, 1/180*(17*w - 221)>, <12, 1/27007*(130*w + 24550)>, <12, 1/247126*(4693*w + 98033)>, <24, 1/175*(19*w + 365)>, <24, 1/171*(8*w - 64)>, <24, 1/50693*(646*w + 37943)>, <24, 1/94*(5*w + 134)>, <24, 1/94*(5*w - 40)>, <24, 1/50693*(646*w + 12750)>, <24, 1/296593*(5520*w + 149968)>, <36, 1/10*(w - 5)>, <120, 1/287*(13*w + 144)>, <24, 1/130011*(2431*w + 100113)>, <24, 1/121*(13*w + 39)>, <24, 1/2009*(22*w - 242)>, <120, 1/287*(13*w + 143)>, <24, 1/96*(5*w - 55)>, <24, 1/504*(5*w + 519)>, <24, 1/1239*(16*w + 519)>, <24, 1/311*(16*w + 519)>, <24, 12/151*w>, <24, 1/138803*(2244*w + 50556)>, <24, 1/55*(12*w + 91)>, <24, 1/151*(12*w + 151)>, <12, 1/2629*(184*w + 3549)>, <24, 1/44*(7*w - 77)>, <24, 1/546*(11*w + 33)>, <24, 1/2497*(221*w - 221)>, <24, 1/96*(5*w + 151)>, <72, 1/9*(w - 3)>, <96, 1/7*(w + 10)>, <12, 1/77*(12*w + 36)>, <24, 1/176*(25*w + 75)>, <24, 1/176*(25*w + 101)>, <72, 1/154*(3*w - 9)>, <24, 1/1243*(18*w + 496)>, <24, 1/158*(9*w + 248)>, <24, 1/22487*(198*w + 24489)>, <24, 1/27*(w + 15)>, <12, 1/111003*(1540*w + 12663)>, <48, 1/574*(15*w + 165)>, <12, 1/440*(7*w + 531)>, <12, 1/489*(7*w - 42)>, <24, 1/296593*(5520*w + 146625)>, <60, 1/478*(7*w + 35)>, <36, 1/19*(w + 16)>, <12, 1/29069*(378*w + 3878)>, <24, 1/25651*(264*w + 18424)>, <24, 1/339*(8*w + 219)>, <24, 1/6083*(64*w + 6723)>, <24, 1/85089*(704*w + 73953)>, <24, 1/3263*(161*w - 1127)>, <24, 13/483*w>, <24, 4/231*w>, <24, 1/462*(5*w - 5)>, <36, 1/462*(5*w + 447)>, <12, 1/16*(w - 3)>, <24, 1/1135*(231*w - 231)>, <24, 77/604*w>, <24, 1/17711*(182*w + 14721)>, <24, 1/5271*(104*w + 5999)>, <12, 1/453*(2*w + 453)>, <12, 1/914*(147*w + 1208)>, <24, 1/483*(13*w + 483)>, <24, 1/123563*(2093*w + 66493)>, <24, 1/340*(13*w + 431)>, <24, 1/46781*(663*w + 31688)>, <24, 1/8789*(247*w + 10765)>, <24, 1/42581*(663*w + 21573)>, <24, 1/28202*(399*w + 8043)>, <24, 1/122019*(2090*w + 82650)>, <72, 1/9*(w + 7)>, <24, 1/57*(2*w + 71)>, <24, 1/3586*(57*w + 831)>, <4, 1/242473*(3900*w + 105648)>, <40, 1/517*(12*w + 421)>, <4, 1/742*(13*w + 521)>, <4, 1/300*(13*w + 521)>, <8, 1/117*(25*w - 200)>, <8, 1/12925*(117*w - 936)>, <12, 1/553*(9*w + 463)>, <12, 1/56977*(600*w + 10977)>, <24, 1/251*(12*w + 84)>, <12, 1/51*(2*w - 8)>, <24, 1/24*(w + 7)>, <54, 1/489*(22*w + 132)>, <24, 1/253*(2*w - 12)>, <24, 1/978*(253*w - 1518)>, <54, 1/22*(w + 6)>, <24, 1/160943*(2992*w + 84031)>, <24, 1/352*(17*w - 85)>, <16, 1/534*(25*w + 225)>, <16, 1/17725*(91*w + 1456)>, <8, 1/84*(25*w - 225)>, <4, 1/332521*(3900*w + 168025)>, <8, 1/2225*(14*w - 126)>, <16, 1/469*(12*w + 517)>, <16, 1/300*(13*w - 117)>, <12, 1/1017*(68*w + 2037)>, <12, 1/163*(3*w + 181)>, <24, 1/2296*(9*w + 2395)>, <24, 1/51*(13*w - 144)>, <24, 1/10057*(36*w + 9580)>, <12, 1/329*(6*w + 234)>, <60, 1/163*(w + 157)>, <12, 1/529*(6*w - 36)>, <12, 1/252813*(1058*w + 265029)>, <12, 1/10340*(529*w + 6108)>, <12, 1/12551*(204*w + 2691)>, <12, 1/777*(w + 795)>, <12, 1/469*(w + 473)>, <36, 1/6*(w + 11)>, <12, 1/484*(15*w + 75)>, <24, 1/4136*(437*w + 7632)>, <24, 1/437*(8*w + 501)>, <4, 1/212457*(1748*w + 14496)>, <4, 1/814*(19*w + 453)>, <4, 1/92*(19*w + 453)>, <8, 1/285*(23*w - 92)>, <4, 1/9361*(30*w + 8791)>, <8, 1/10787*(285*w - 1140)>, <4, 1/469*(23*w + 377)>, <12, 1/529*(17*w + 393)>, <12, 1/597*(4*w + 48)>, <12, 1/3*(w + 8)>, <12, 1/259*(5*w + 169)>, <12, 1/1155*(92*w + 879)>, <72, 1/457*(9*w + 439)>, <24, 1/3586*(57*w + 2755)>, <24, 1/57*(2*w - 14)>, <12, 1/287*(30*w + 617)>, <24, 1/1691*(32*w + 1979)>, <12, 1/128*(19*w + 375)>, <76, 1/649*(24*w + 313)>, <12, 1/252721*(2888*w + 81968)>, <24, 1/12*(w + 14)>, <24, 1/122019*(2090*w + 39369)>, <24, 1/28202*(399*w + 20159)>, <24, 1/1157*(51*w - 459)>, <24, 1/277606*(4199*w + 183005)>, <24, 1/1513*(39*w + 1864)>, <16, 1/41741*(650*w + 20891)>, <24, 1/340*(13*w - 91)>, <24, 1/184*(3*w + 3)>, <24, 1/2119*(115*w + 2809)>, <24, 1/502*(23*w - 161)>, <24, 1/15323*(260*w + 7228)>, <24, 1/229414*(2185*w + 25335)>, <24, 1/184*(3*w + 181)>, <24, 1/85162*(1495*w + 36517)>, <24, 1/104*(5*w + 139)>, <24, 1/229414*(2185*w + 204079)>, <24, 1/502*(23*w + 663)>, <32, 1/177959*(2070*w + 147269)>, <36, 1/649*(18*w + 252)>, <12, 1/361*(16*w + 425)>, <24, 1/469*(6*w + 445)>, <24, 1/287*(17*w - 187)>, <24, 1/287*(17*w + 474)>, <24, 1/10669*(140*w + 1449)>, <12, 1/1034*(15*w - 120)>, <24, 1/10669*(140*w + 9220)>, <24, 1/418*(9*w - 45)>, <24, 1/35422*(315*w + 30247)>, <24, 1/469*(15*w + 529)>, <24, 1/1804*(13*w - 143)>, <24, 1/125531*(1881*w + 28764)>, <24, 1/47163*(286*w + 4329)>, <24, 1/35422*(315*w + 5175)>, <24, 1/469*(15*w - 60)>, <24, 1/8399*(171*w + 4484)>, <24, 1/88669*(1056*w + 71005)>, <24, 1/8399*(171*w + 3915)>, <4, 1/115*(4*w + 139)>, <12, 1/239*(6*w - 30)>, <12, 1/299*(6*w + 30)>, <12, 1/65*(2*w - 6)>, <24, 1/5687*(96*w + 6455)>, <36, 1/239*(3*w + 254)>, <24, 1/3871*(150*w + 5371)>, <16, 1/27*(13*w - 142)>, <16, 1/96721*(351*w - 3834)>, <12, 1/51*(10*w - 130)>, <24, 1/70597*(1050*w + 37597)>, <4, 1/11*(w - 6)>, <4, 1/205163*(968*w + 111432)>, <4, 1/181419*(2024*w + 102120)>, <4, 1/11872*(297*w + 14985)>, <4, 1/410326*(3267*w + 34243)>, <32, 1/489*(23*w + 138)>, <24, 1/18419*(56*w + 17451)>, <24, 1/1808*(33*w + 2303)>, <24, 1/227*(8*w + 219)>, <12, 1/28567*(570*w + 17110)>, <12, 1/777*(20*w + 360)>, <12, 1/57*(20*w - 360)>, <24, 1/8399*(170*w + 3689)>, <24, 1/2*(w + 1)>, <12, 1/6381*(289*w + 11005)>, <12, 1/709*(20*w + 320)>, <24, 1/8399*(170*w + 4710)>, <12, 1/239*(4*w + 259)>, <12, 1/2488*(207*w + 5179)>, <12, 1/156*(19*w + 365)>, <24, 1/76953*(1496*w + 40953)>, <24, 1/76953*(1496*w + 36000)>, <24, 1/352*(15*w + 427)>, <24, 1/23947*(360*w + 14632)>, <24, 1/1912*(299*w + 1495)>, <48, 1/143*(8*w + 199)>, <24, 1/815*(72*w - 432)>, <24, 1/37901*(504*w + 5285)>, <24, 1/815*(72*w + 1247)>, <24, 1/539*(72*w + 755)>, <48, 1/68593*(1144*w + 28457)>, <12, 1/1975*(7*w + 2045)>, <24, 1/134*(9*w + 170)>, <24, 1/979*(18*w + 340)>, <24, 1/17711*(182*w + 2990)>, <12, 1/484*(15*w + 469)>, <6, 1/709*(242*w + 3872)>, <24, 1/135*(8*w - 72)>, <24, 1/142127*(2640*w + 75152)>, <24, 1/299*(4*w + 20)>, <24, 1/35*(3*w - 33)>, <36, 1/678*(23*w + 333)>, <24, 1/36838*(455*w + 28973)>, <24, 1/14507*(245*w + 7990)>, <12, 1/457*(w + 459)>, <12, 1/352*(21*w + 415)>, <12, 1/453*(w + 453)>, <12, 1/1816*(147*w + 1963)>, <24, 1/14507*(245*w + 6517)>, <12, 1/32437*(294*w + 6712)>, <16, 1/8*(w + 14)>, <24, 1/3619*(65*w + 4139)>, <24, 1/35*(3*w + 68)>, <36, 1/678*(23*w + 345)>, <24, 1/158991*(2470*w + 107901)>, <24, 1/10269*(247*w + 11751)>, <24, 1/396*(19*w + 453)>, <24, 1/2937*(190*w - 1710)>, <24, 1/237*(19*w + 427)>, <4, 1/153*(20*w + 353)>, <12, 1/753*(14*w + 851)>, <12, 1/116871*(242*w + 116886)>, <12, 1/242*(3*w + 18)>, <12, 1/1195*(242*w - 15)>, <24, 1/791*(12*w + 519)>, <24, 1/9*(11*w + 174)>, <24, 1/791*(12*w + 272)>, <32, 1/5773*(90*w + 6403)>, <24, 1/89*(6*w + 143)>, <24, 1/2938*(17*w + 2683)>, <24, 1/413*(6*w + 143)>, <24, 1/29014*(161*w + 27209)>, <24, 1/801*(68*w - 612)>, <24, 1/517*(161*w - 1288)>, <24, 1/15323*(204*w + 11084)>, <12, 1/5698*(5*w + 5608)>, <12, 1/777*(22*w + 396)>, <12, 1/469*(4*w + 485)>, <12, 1/1407*(529*w - 2116)>, <24, 1/237*(19*w - 190)>, <12, 1/252721*(4332*w + 156313)>, <24, 1/2937*(190*w + 4647)>, <24, 1/133*(6*w + 151)>, <36, 1/19*(w + 3)>, <24, 1/10269*(247*w - 1482)>, <24, 1/158991*(2470*w + 51090)>, <24, 1/385*(92*w + 109)>, <24, 1/385*(92*w + 276)>, <24, 1/1239*(20*w + 339)>, <12, 1/3*(2*w - 28)>, <24, 1/239*(20*w + 339)>, <12, 1/484*(15*w + 439)>, <72, 1/597*(22*w + 264)>, <12, 1/33019*(312*w + 3600)>, <4, 1/205163*(3456*w + 168939)>, <4, 1/8848*(297*w + 11961)>, <4, 1/205163*(1408*w + 136336)>, <20, 1/18*(w + 1)>, <36, 1/457*(19*w + 419)>, <12, 1/84217*(1800*w + 40617)>, <24, 1/3*(w + 2)>, <24, 1/142127*(2415*w + 73380)>, <24, 1/142127*(2415*w + 68747)>, <24, 1/70597*(1254*w + 21900)>, <24, 1/2814*(209*w + 3650)>, <12, 1/242*(3*w + 230)>, <12, 1/1255*(242*w + 1694)>, <12, 1/117719*(726*w + 1317)>, <24, 1/345*(14*w + 429)>, <24, 1/207*(4*w - 16)>, <12, 1/83037*(275*w + 78837)>, <12, 1/7*(w + 14)>, <12, 1/162899*(2100*w + 165300)>, <12, 1/469*(75*w + 169)>, <6, 1/225*(22*w + 357)>, <24, 1/2282*(115*w + 2972)>, <24, 1/1876*(207*w - 828)>, <12, 1/317361*(4232*w + 33288)>, <12, 1/454*(w + 455)>, <12, 1/296593*(7056*w + 109168)>, <24, 1/152079*(2299*w + 106704)>, <36, 1/13*(w + 16)>, <4, 1/153*(7*w + 202)>, <12, 1/502*(w + 495)>, <12, 1/4401*(242*w + 2949)>, <24, 1/489*(5*w - 30)>, <24, 1/27671*(414*w + 18540)>, <12, 1/2599*(2*w + 30)>, <24, 1/253*(18*w - 144)>, <12, 1/321886*(7935*w + 248101)>, <16, 1/12*(w + 16)>, <12, 1/27679*(253*w + 23815)>, <24, 1/184*(w + 187)>, <24, 1/184*(w - 3)>, <24, 1/45*(23*w + 321)>, <12, 1/138803*(726*w + 12237)>, <24, 1/242*(19*w - 133)>, <24, 1/574*(5*w + 55)>, <12, 1/4401*(529*w + 3174)>, <24, 1/154923*(2717*w + 53976)>, <24, 1/154923*(2717*w + 100947)>, <12, 1/11233*(66*w + 10846)>, <4, 1/227*(10*w + 10)>, <4, 1/27*(10*w + 217)>, <8, 1/227*(9*w - 9)>, <4, 1/190883*(600*w + 175820)>, <8, 1/18*(w - 1)>, <4, 1/4540*(230*w + 4991)>, <4, 1/106463*(690*w + 1353)>, <4, 1/3*(w - 1)>, <12, 1/529*(8*w + 473)>, <12, 1/553*(3*w + 30)>, <24, 1/2742*(209*w + 3160)>, <24, 1/209*(6*w + 221)>, <12, 1/125223*(1210*w + 118338)>, <12, 1/484*(3*w + 27)>, <12, 1/2345*(242*w + 1377)>, <24, 1/207*(4*w + 231)>, <12, 1/4518*(125*w + 5393)>, <12, 1/304381*(5850*w + 175356)>, <24, 1/652*(69*w + 1066)>, <24, 1/162899*(2184*w + 125979)>, <12, 1/45*(11*w + 166)>, <12, w + 9>, <12, 1/529*(5*w + 40)>, <12, 1/110047*(506*w + 102388)>, <12, 1/457*(3*w + 463)>, <12, 1/457*(242*w - 484)>, <24, 1/1757*(36*w - 252)>, <24, 1/72*(7*w - 49)>, <4, 1/460*(3*w + 481)>, <4, 1/332521*(10580*w + 205781)>, <4, 1/235438*(1587*w + 254449)>, <4, 1/332521*(1380*w + 305680)>, <4, 1/27*(23*w + 368)>, <12, 1/2285*(242*w + 484)>, <12, 1/147323*(2106*w + 71669)>, <12, 1/2934*(91*w - 546)>, <24, 1/178*(w + 169)>, <8, 1/534*(w - 9)>, <8, 1/529*(5*w + 579)>, <4, 1/14927*(5*w - 70)>, <4, 1/358897*(552*w + 366096)>, <8, 1/2765*(529*w + 8055)>, <8, 1/553*(w + 10)>, <24, 1/163*(w + 169)>, <24, 1/18419*(231*w + 13937)>, <24, 1/18419*(231*w + 4482)>, <12, 1/995*(54*w + 1643)>, <24, 1/17711*(88*w + 1255)>, <8, 1/158711*(276*w + 3323)>, <4, 1/574*(w + 563)>, <4, 1/2*(w + 13)>, <4, 1/6888*(276*w + 3323)>, <4, 1/82369*(276*w + 85692)>, <8, 1/287*(276*w + 3323)>, <24, 1/287*(88*w + 1255)>, <8, 1/35*(3*w + 62)>, <12, 1/267*(w + 276)>, <12, 1/89*(96*w - 864)>, <8, 1/7*(8*w + 103)>, <-12, 1/7742*(-289*w + 10632)>, <-12, 1/553*(-12*w + 120)>, <-24, 1/131159*(-1872*w + 62064)>, <-12, 1/289*(-10*w + 429)>, <-16, 1/308*(-17*w + 393)>, <-12, 1/1659*(-19*w + 1849)>, <-4, 1/408*(-7*w + 471)>, <-4, 1/51641*(-1632*w + 40608)>, <-4, 1/40673*(-672*w + 45216)>, <-12, 1/34639*(-252*w + 4084)>, <-12, 1/160787*(-798*w + 147525)>, <-12, 1/122739*(-2080*w + 56979)>, <-6, 1/74491*(-588*w + 68355)>, <-12, 1/357*(-10*w - 80)>, <-12, 1/330141*(-550*w + 8325)>, <-12, 1/2034*(-23*w - 345)>, <-2, 1/208849*(-1764*w + 198009)>, <-12, 1/432*(-11*w - 11)>, <-12, 1/529*(-10*w + 509)>, <-12, 1/76*(-5*w + 151)>, <-12, 1/553*(-5*w + 503)>, <-12, 1/1195*(-264*w - 125)>, <-12, 1/3551*(-6*w + 3441)>, <-12, 1/106*(-3*w + 55)>, <-24, 1/288*(-13*w + 483)>, <-24, 1/457*(-13*w - 26)>, <-24, 1/622*(-11*w + 143)>, <-24, 1/336*(-11*w - 143)>, <-12, 1/228*(-17*w + 381)>, <-12, 1/2771*(-95*w + 3341)>, <-12, 1/540*(-13*w + 501)>, <-12, 1/169*(-16*w - 224)>, <-12, 1/2585*(-437*w + 6081)>, <-12, 1/389821*(-9522*w + 260797)>, <-6, 1/529*(-4*w + 80)>, <-12, 1/259357*(-3174*w + 260797)>, <-12, 1/4*(-w + 10)>, <-12, 1/3980*(-39*w + 4448)>, <-4, 1/109223*(-1428*w + 90372)>, <-4, 1/576*(-17*w + 491)>, <-4, 1/576*(-7*w + 443)>, <-4, 1/6919*(-84*w + 8515)>, <-4, 1/9768*(-49*w + 931)>, <-4, 1/24*(-w + 19)>, <-12, 1/1141*(-54*w + 1465)>, <-12, 1/801*(-14*w + 927)>, <-12, 1/267*(-13*w + 117)>, <-12, 1/8437*(-285*w + 12427)>, <-12, 1/2587*(-95*w + 3727)>, <-12, 1/47561*(-672*w + 49248)>, <-12, 1/3*(-w + 12)>, <-16, 1/469*(-4*w + 453)>, <-12, 1/3322*(-21*w + 151)>, <-12, 1/324013*(-2394*w + 268020)>, <-12, 1/709*(-18*w + 421)>, <-12, 1/5027*(-162*w + 5351)>, <-4, 1/321886*(-4335*w + 186345)>, <-8, 1/28*(-w + 12)>, <-16, 1/160943*(-3570*w + 69173)>, <-4, 1/476*(-11*w + 465)>, <-12, 1/356*(-77*w - 693)>, <-12, 1/4*(-w + 9)>, <-24, 1/35143*(-378*w + 38626)>, <-24, 1/28*(-w + 15)>, <-12, 1/1130*(-63*w - 945)>, <-12, 1/5941*(-405*w + 6751)>, <-12, 1/7755*(-289*w + 10067)>, <-12, 1/12331*(-117*w - 1638)>, <-24, 1/2147*(-18*w + 2417)>, <-12, 1/358897*(-2500*w + 370625)>, <-12, 1/625*(-18*w + 252)>, <-12, 1/3318*(-625*w - 2932)>, <-28, 1/742*(-25*w + 425)>, <-28, 1/9275*(-54*w + 8357)>, <-24, 1/454*(-15*w + 439)>, <-12, 1/7139*(-289*w + 11185)>, <-24, 1/3239*(-24*w + 392)>, <-12, 1/357*(-11*w + 423)>, <-12, 1/147323*(-3120*w + 35243)>, <-12, 1/574*(-19*w - 209)>, <-24, 1/27*(-w - 3)>, <-12, 1/709*(-14*w + 485)>, <-12, 1/6398*(-513*w + 5372)>, <-12, 1/1506*(-209*w + 2969)>, <-12, 1/227*(-3*w + 230)>, <-12, 1/90943*(-1190*w + 34180)>, <-12, 1/597*(-10*w + 477)>, <-12, 1/534*(-5*w + 579)>, <-12, 1/57761*(-520*w - 2455)>, <-12, 1/597*(-5*w + 537)>, <-12, 1/1255*(-286*w - 747)>, <-12, 1/457*(-2*w + 461)>, <-12, 1/5293*(-126*w + 1576)>, <-12, 1/8*(-w - 2)>, <-12, 1/23*(-w + 20)>, <-6, 1/853*(-54*w - 1080)>, <-12, 1/2151*(-200*w + 3151)>, <-24, 1/14507*(-220*w + 8655)>, <-4, 1/10269*(-289*w + 12003)>, <-4, 1/489*(-25*w + 150)>, <-4, 1/7769*(-525*w + 6719)>, <-4, 1/457*(-17*w - 34)>, <-4, 1/223473*(-3400*w + 187425)>, <-12, 1/77*(-8*w + 53)>, <-12, 1/1062*(-11*w + 1216)>, <-12, 1/529*(-12*w + 433)>, <-12, 1/3318*(-529*w + 5290)>, <-12, 1/285901*(-1058*w + 3944)>, <-12, 1/8533*(-20*w + 8193)>, <-12, 1/171339*(-782*w + 160425)>, <-12, 1/123802*(-1725*w + 27225)>, <-12, 1/163*(-8*w + 48)>, <-12, 1/5293*(-78*w + 2992)>, <-12, 1/77*(-10*w - 30)>, <-12, 1/1001*(-64*w + 1193)>, <-24, 1/40673*(-616*w + 16313)>, <-12, 1/709*(-27*w + 432)>, <-12, 1/169*(-20*w + 389)>, <-12, 1/211134*(-2185*w + 15795)>, <-12, 1/709*(-10*w + 160)>, <-12, 1/8802*(-529*w + 3174)>, <-12, 1/7049*(-48*w - 816)>, <-12, 1/3346*(-169*w - 845)>, <-12, 1/32437*(-330*w + 25452)>, <-12, 1/154*(-13*w + 115)>, <-16, 1/84217*(-792*w + 60952)>, <-16, 1/371*(-8*w + 235)>, <-12, 1/1434*(-209*w + 2479)>, <-4, 1/338902*(-2541*w + 293769)>, <-4, 1/169451*(-3234*w + 12749)>, <-4, 1/11*(-w - 5)>, <-12, 1/12877*(-336*w + 4624)>, <-12, 1/4086*(-209*w + 4295)>, <-12, 1/478*(-23*w + 363)>, <-12, 1/123802*(-391*w - 6171)>, <-12, 1/54253*(-462*w + 52899)>, <-12, 1/189*(-17*w - 204)>, <-12, 1/207*(-4*w + 219)>, <-4, 1/57121*(-945*w + 40446)>, <-4, 1/317361*(-3400*w + 228225)>, <-16, 1/16225*(-51*w + 714)>, <-12, 1/264334*(-3795*w + 101959)>, <-12, 1/27007*(-130*w + 24550)>, <-12, 1/247126*(-4693*w + 98033)>, <-12, 1/2629*(-184*w + 3549)>, <-12, 1/77*(-12*w + 36)>, <-12, 1/111003*(-1540*w + 12663)>, <-12, 1/440*(-7*w + 531)>, <-12, 1/489*(-7*w - 42)>, <-12, 1/29069*(-378*w + 3878)>, <-12, 1/16*(-w - 3)>, <-12, 1/453*(-2*w + 453)>, <-12, 1/914*(-147*w + 1208)>, <-4, 1/242473*(-3900*w + 105648)>, <-4, 1/742*(-13*w + 521)>, <-4, 1/300*(-13*w + 521)>, <-12, 1/553*(-9*w + 463)>, <-12, 1/56977*(-600*w + 10977)>, <-12, 1/51*(-2*w - 8)>, <-4, 1/332521*(-3900*w + 168025)>, <-12, 1/1017*(-68*w + 2037)>, <-12, 1/163*(-3*w + 181)>, <-12, 1/329*(-6*w + 234)>, <-12, 1/529*(-6*w - 36)>, <-12, 1/252813*(-1058*w + 265029)>, <-12, 1/10340*(-529*w + 6108)>, <-12, 1/12551*(-204*w + 2691)>, <-12, 1/777*(-w + 795)>, <-12, 1/469*(-w + 473)>, <-12, 1/484*(-15*w + 75)>, <-4, 1/212457*(-1748*w + 14496)>, <-4, 1/814*(-19*w + 453)>, <-4, 1/92*(-19*w + 453)>, <-4, 1/9361*(-30*w + 8791)>, <-4, 1/469*(-23*w + 377)>, <-12, 1/529*(-17*w + 393)>, <-12, 1/597*(-4*w + 48)>, <-12, 1/3*(-w + 8)>, <-12, 1/259*(-5*w + 169)>, <-12, 1/1155*(-92*w + 879)>, <-12, 1/287*(-30*w + 617)>, <-12, 1/128*(-19*w + 375)>, <-12, 1/252721*(-2888*w + 81968)>, <-12, 1/361*(-16*w + 425)>, <-12, 1/1034*(-15*w - 120)>, <-4, 1/115*(-4*w + 139)>, <-12, 1/239*(-6*w - 30)>, <-12, 1/299*(-6*w + 30)>, <-12, 1/65*(-2*w - 6)>, <-12, 1/51*(-10*w - 130)>, <-4, 1/11*(-w - 6)>, <-4, 1/205163*(-968*w + 111432)>, <-4, 1/181419*(-2024*w + 102120)>, <-4, 1/11872*(-297*w + 14985)>, <-4, 1/410326*(-3267*w + 34243)>, <-12, 1/28567*(-570*w + 17110)>, <-12, 1/777*(-20*w + 360)>, <-12, 1/57*(-20*w - 360)>, <-12, 1/6381*(-289*w + 11005)>, <-12, 1/709*(-20*w + 320)>, <-12, 1/239*(-4*w + 259)>, <-12, 1/2488*(-207*w + 5179)>, <-12, 1/156*(-19*w + 365)>, <-12, 1/1975*(-7*w + 2045)>, <-12, 1/484*(-15*w + 469)>, <-6, 1/709*(-242*w + 3872)>, <-12, 1/457*(-w + 459)>, <-12, 1/352*(-21*w + 415)>, <-12, 1/453*(-w + 453)>, <-12, 1/1816*(-147*w + 1963)>, <-12, 1/32437*(-294*w + 6712)>, <-4, 1/153*(-20*w + 353)>, <-12, 1/753*(-14*w + 851)>, <-12, 1/116871*(-242*w + 116886)>, <-12, 1/242*(-3*w + 18)>, <-12, 1/1195*(-242*w - 15)>, <-24, 1/9*(-11*w + 174)>, <-12, 1/5698*(-5*w + 5608)>, <-12, 1/777*(-22*w + 396)>, <-12, 1/469*(-4*w + 485)>, <-12, 1/1407*(-529*w - 2116)>, <-12, 1/252721*(-4332*w + 156313)>, <-12, 1/3*(-2*w - 28)>, <-12, 1/484*(-15*w + 439)>, <-12, 1/33019*(-312*w + 3600)>, <-4, 1/205163*(-3456*w + 168939)>, <-4, 1/8848*(-297*w + 11961)>, <-4, 1/205163*(-1408*w + 136336)>, <-12, 1/84217*(-1800*w + 40617)>, <-24, 1/3*(-w + 2)>, <-12, 1/242*(-3*w + 230)>, <-12, 1/1255*(-242*w + 1694)>, <-12, 1/117719*(-726*w + 1317)>, <-12, 1/83037*(-275*w + 78837)>, <-12, 1/7*(-w + 14)>, <-12, 1/162899*(-2100*w + 165300)>, <-12, 1/469*(-75*w + 169)>, <-6, 1/225*(-22*w + 357)>, <-12, 1/317361*(-4232*w + 33288)>, <-12, 1/454*(-w + 455)>, <-12, 1/296593*(-7056*w + 109168)>, <-4, 1/153*(-7*w + 202)>, <-12, 1/502*(-w + 495)>, <-12, 1/4401*(-242*w + 2949)>, <-12, 1/2599*(-2*w + 30)>, <-12, 1/321886*(-7935*w + 248101)>, <-12, 1/27679*(-253*w + 23815)>, <-24, 1/45*(-23*w + 321)>, <-12, 1/138803*(-726*w + 12237)>, <-12, 1/4401*(-529*w + 3174)>, <-12, 1/11233*(-66*w + 10846)>, <-4, 1/227*(-10*w + 10)>, <-4, 1/27*(-10*w + 217)>, <-4, 1/190883*(-600*w + 175820)>, <-4, 1/4540*(-230*w + 4991)>, <-4, 1/106463*(-690*w + 1353)>, <-4, 1/3*(-w - 1)>, <-12, 1/529*(-8*w + 473)>, <-12, 1/553*(-3*w + 30)>, <-12, 1/125223*(-1210*w + 118338)>, <-12, 1/484*(-3*w + 27)>, <-12, 1/2345*(-242*w + 1377)>, <-12, 1/4518*(-125*w + 5393)>, <-12, 1/304381*(-5850*w + 175356)>, <-12, -w + 9>, <-12, 1/529*(-5*w + 40)>, <-12, 1/110047*(-506*w + 102388)>, <-12, 1/457*(-3*w + 463)>, <-12, 1/457*(-242*w - 484)>, <-4, 1/460*(-3*w + 481)>, <-4, 1/332521*(-10580*w + 205781)>, <-4, 1/235438*(-1587*w + 254449)>, <-4, 1/332521*(-1380*w + 305680)>, <-4, 1/27*(-23*w + 368)>, <-12, 1/2285*(-242*w + 484)>, <-12, 1/147323*(-2106*w + 71669)>, <-12, 1/2934*(-91*w - 546)>, <-4, 1/14927*(-5*w - 70)>, <-4, 1/358897*(-552*w + 366096)>, <-12, 1/995*(-54*w + 1643)>, <-4, 1/574*(-w + 563)>, <-4, 1/2*(-w + 13)>, <-4, 1/6888*(-276*w + 3323)>, <-4, 1/82369*(-276*w + 85692)>, <-12, 1/267*(-w + 276)>, <-12, 1/89*(-96*w - 864)> ]