/* Defining polynomial */ x^2 - x + 481 /* GCD of coefficients */ 1 /* 24 * |disc|^(3/2) /(8*pi^2)* zeta_F(2) */ 33157.9368250946118600132708576 /* Belt */ [ <72, 1/197*(4*w + 153)>, <36, 1/501*(10*w + 40)>, <36, 1/501*(10*w + 451)>, <72, 1/197*(4*w + 40)>, <48, 1/119*(27*w + 405)>, <48, 1/161*(4*w - 8)>, <24, 1/7519*(39*w + 715)>, <48, 1/493*(14*w + 42)>, <148, 1/591*(17*w + 404)>, <36, 1/10*(w + 14)>, <36, 1/501*(10*w + 541)>, <344, 1/21*(w + 10)>, <56, 1/637*(27*w + 324)>, <24, 1/13*(3*w + 55)>, <48, 1/2781*(17*w + 255)>, <48, 1/493*(14*w + 437)>, <148, 1/591*(17*w + 170)>, <56, 1/27*(w + 12)>, <48, 1/221*(4*w + 52)>, <48, 1/14*(w + 4)>, <48, 1/501*(14*w + 56)>, <24, 1/613*(14*w + 767)>, <24, 1/1131*(14*w + 767)>, <36, 1/251*(4*w + 183)>, <24, 1/5621*(391*w + 7576)>, <24, 1/391*(11*w + 446)>, <36, 1/251*(4*w + 64)>, <24, 1/3043*(95*w - 760)>, <96, 1/553*(15*w + 120)>, <48, 1/20*(w + 6)>, <48, 1/523*(20*w + 120)>, <24, 1/3043*(95*w + 3708)>, <96, 1/523*(15*w + 90)>, <96, 1/487*(13*w + 26)>, <96, 1/591*(13*w + 130)>, <192, 1/17*(w + 9)>, <192, 1/571*(17*w + 153)>, <24, 1/2093*(30*w + 1088)>, <120, 1/79*(w + 8)>, <120, 1/7*(w + 8)>, <24, 1/391*(11*w + 545)>, <72, 1/523*(14*w + 425)>, <72, 1/537*(14*w + 425)>, <24, 1/7601*(391*w + 13075)>, <20, 1/511*(10*w - 60)>, <12, 1/621*(10*w + 50)>, <24, 1/45*(2*w - 22)>, <24, 1/50161*(663*w + 26163)>, <48, 1/691*(20*w + 280)>, <48, 1/511*(20*w + 100)>, <24, 1/1183*(51*w - 663)>, <204, 1/21*(w + 13)>, <36, 1/4641*(32*w - 448)>, <36, 1/14*(w + 11)>, <178, 1/21*(w + 12)>, <24, 1/442*(15*w - 210)>, <136, 1/613*(19*w + 385)>, <180, 1/29*(w + 3)>, <144, 1/73*(w + 67)>, <96, 1/537*(20*w + 140)>, <96, 1/20*(w + 7)>, <240, 1/23*(w + 11)>, <12, 1/375769*(1932*w + 28308)>, <12, 1/4870*(437*w + 5744)>, <36, 1/537*(10*w + 457)>, <24, 1/357*(13*w + 448)>, <24, 1/95939*(1547*w + 53312)>, <24, 1/45591*(680*w + 28271)>, <120, 1/79*(2*w + 61)>, <24, 1/1343*(40*w + 1663)>, <120, 1/79*(2*w + 16)>, <24, 1/238*(19*w + 390)>, <24, 1/1839*(19*w + 2048)>, <24, 1/336517*(4522*w + 216019)>, <24, 1/336517*(4522*w + 115976)>, <148, 1/663*(25*w + 313)>, <148, 1/663*(25*w + 325)>, <24, 1/47593*(646*w + 13260)>, <24, 1/7189*(57*w + 6144)>, <96, 1/613*(15*w + 165)>, <24, 1/44317*(690*w + 20332)>, <48, 1/54589*(230*w + 3460)>, <48, 1/112*(5*w - 35)>, <24, 1/15*(w + 25)>, <24, 1/44749*(663*w + 28135)>, <108, 1/553*(13*w + 436)>, <24, 1/133*(4*w + 165)>, <24, 1/1343*(39*w + 1655)>, <108, 1/553*(13*w + 104)>, <24, 1/316*(19*w + 468)>, <96, 1/613*(15*w + 433)>, <24, 1/7154*(375*w + 9029)>, <136, 1/691*(23*w + 346)>, <24, 1/1185*(46*w - 414)>, <24, 1/7154*(375*w - 2250)>, <48, 1/54589*(230*w + 50899)>, <144, 1/73*(w + 5)>, <96, 1/179*(4*w + 147)>, <96, 1/179*(4*w + 28)>, <48, 1/40*(9*w - 104)>, <12, 1/32899*(460*w + 19375)>, <132, 1/15*(w + 10)>, <84, 1/553*(20*w + 373)>, <24, 1/333753*(4420*w + 160693)>, <100, 1/613*(21*w + 361)>, <120, 1/13*(w + 5)>, <84, 1/613*(20*w + 373)>, <24, 1/8281*(340*w + 12361)>, <100, 1/613*(21*w + 231)>, <24, 1/17*(w - 2)>, <48, 1/7519*(48*w + 880)>, <48, 1/16*(3*w + 55)>, <24, 1/437*(10*w - 80)>, <24, 1/823*(17*w + 500)>, <40, 1/23*(w + 18)>, <120, 1/537*(13*w + 433)>, <180, 1/39*(w + 13)>, <24, 1/197*(5*w + 247)>, <48, 1/112*(5*w + 142)>, <136, 1/23*(w + 8)>, <178, 1/91*(3*w + 36)>, <36, 1/487*(14*w + 445)>, <24, 1/310219*(4370*w + 84290)>, <136, 1/537*(19*w + 385)>, <40, 1/823*(23*w + 414)>, <24, 1/45*(2*w - 28)>, <48, 1/6489*(40*w + 5849)>, <24, 1/221*(20*w - 200)>, <24, 1/361221*(4420*w + 268180)>, <216, 1/637*(25*w + 300)>, <24, 1/3811*(48*w + 1395)>, <224, 1/15*(w + 7)>, <8, 1/32041*(520*w + 14456)>, <24, 1/481*(8*w + 473)>, <12, 1/895*(147*w + 1924)>, <24, 1/273*(16*w + 465)>, <164, 1/17*(w + 8)>, <144, 1/523*(13*w + 78)>, <12, 1/1131*(22*w + 559)>, <24, 1/2327*(115*w + 3132)>, <48, 1/637*(15*w + 442)>, <24, 1/1837*(207*w + 802)>, <24, 1/11647*(221*w - 2652)>, <24, 1/4531*(44*w + 4971)>, <48, 1/523*(12*w + 439)>, <24, 1/1131*(19*w + 475)>, <48, 1/11229*(200*w - 2200)>, <48, 1/333151*(3800*w + 78000)>, <24, 1/1131*(19*w + 637)>, <48, 1/523*(12*w + 72)>, <24, 1/132*(23*w + 362)>, <24, 1/11647*(221*w + 14078)>, <24, 1/2327*(115*w - 920)>, <24, 1/621*(11*w + 566)>, <48, 1/487*(15*w + 442)>, <36, 1/10*(w + 2)>, <120, 1/197*(6*w + 131)>, <144, 1/37*(w + 36)>, <120, 1/179*(6*w + 131)>, <180, 1/19*(w + 8)>, <24, 1/9401*(300*w - 2700)>, <120, 1/523*(19*w + 390)>, <120, 1/523*(19*w + 114)>, <24, 1/20*(w + 25)>, <24, 1/20*(w - 6)>, <24, 1/9401*(300*w + 11801)>, <180, 1/19*(w + 10)>, <144, 1/49*(w + 36)>, <36, 1/511*(5*w + 481)>, <36, 1/5*(w - 1)>, <24, 1/6981*(350*w + 9431)>, <24, 1/6981*(350*w - 2800)>, <24, 1/4334*(45*w - 495)>, <24, 1/4334*(45*w + 4784)>, <60, 1/3*(w + 4)>, <60, 1/3*(w - 2)>, <96, 1/221*(5*w + 65)>, <96, 1/221*(5*w + 151)>, <40, 1/5*(w + 2)>, <48, 1/1773*(22*w + 1993)>, <120, 1/19*(w + 5)>, <24, 1/292*(19*w - 114)>, <120, 1/663*(19*w + 397)>, <24, 1/292*(19*w + 387)>, <114, 1/511*(11*w + 55)>, <48, 1/1773*(22*w - 242)>, <48, 1/553*(22*w + 355)>, <12, 1/468*(17*w + 689)>, <12, 1/637*(8*w + 96)>, <12, 1/437*(8*w - 104)>, <208, 1/637*(23*w + 276)>, <132, 1/167*(5*w + 142)>, <76, 1/16*(w + 7)>, <76, 1/16*(w + 8)>, <24, 1/4531*(60*w + 3280)>, <24, 1/140*(3*w + 164)>, <84, 1/591*(20*w + 200)>, <12, 1/171*(20*w - 220)>, <150, 1/613*(17*w + 409)>, <12, 1/1022*(51*w - 306)>, <36, 1/553*(9*w + 472)>, <6, 1/8177*(400*w + 8177)>, <150, 1/17*(w + 5)>, <24, 1/6643*(69*w + 1192)>, <108, 1/637*(22*w + 264)>, <108, 1/637*(22*w + 351)>, <24, 1/571*(69*w + 1192)>, <24, 1/511*(4*w + 20)>, <24, 1/823*(20*w + 360)>, <24, 1/511*(4*w + 487)>, <24, 1/483*(20*w + 20)>, <24, 1/87*(w + 61)>, <24, 1/55311*(253*w + 51175)>, <24, 1/34*(3*w + 55)>, <28, 1/3401*(84*w + 3989)>, <24, 1/1611*(34*w + 1849)>, <24, 1/55311*(253*w + 3883)>, <112, 1/23*(w + 15)>, <12, 1/441973*(2700*w + 28900)>, <18, 1/8687*(324*w - 1944)>, <208, 1/591*(23*w + 230)>, <24, 1/87*(w + 25)>, <24, 1/637*(10*w + 120)>, <120, 1/591*(22*w + 349)>, <120, 1/591*(22*w + 220)>, <24, 1/943*(19*w + 399)>, <24, 1/943*(19*w + 525)>, <156, 1/663*(23*w + 299)>, <24, 1/418*(9*w - 63)>, <24, 1/418*(9*w + 472)>, <156, 1/663*(23*w + 341)>, <12, 1/405769*(300*w + 3744)>, <24, 1/10*(w + 12)>, <48, 1/487*(8*w - 24)>, <176, 1/221*(9*w + 117)>, <48, 1/487*(8*w + 503)>, <228, 1/49*(2*w + 24)>, <24, 1/91*(22*w - 286)>, <228, 1/26*(w + 12)>, <72, 1/487*(7*w + 466)>, <48, 1/441973*(3861*w + 483300)>, <24, 1/11647*(208*w + 13935)>, <24, 1/10521*(340*w + 11881)>, <24, 1/1253*(160*w + 2373)>, <60, 1/571*(16*w + 411)>, <24, 1/361393*(3927*w + 287154)>, <24, 1/34*(w - 4)>, <24, 1/219*(20*w - 120)>, <120, 1/13*(w - 1)>, <108, 1/179*(3*w + 155)>, <108, 1/179*(3*w + 21)>, <24, 1/358*(17*w + 477)>, <12, 1/625*(2*w + 611)>, <24, 1/637*(6*w + 72)>, <24, 1/358*(17*w - 136)>, <24, 1/553*(8*w + 481)>, <12, 1/962*(63*w + 899)>, <24, 1/2615*(506*w + 5651)>, <12, 1/298531*(7406*w + 235405)>, <12, 1/529*(3*w + 33)>, <12, 1/2922*(529*w + 3980)>, <52, 1/19*(w + 2)>, <28, 1/122237*(798*w + 18060)>, <20, 1/14*(w - 3)>, <4, 1/4769*(57*w + 6059)>, <20, 1/487*(14*w - 42)>, <4, 1/21084*(361*w + 8170)>, <4, 1/4383*(532*w + 2787)>, <28, 1/487*(9*w - 27)>, <12, 1/1449*(152*w - 304)>, <36, 1/161*(5*w - 10)>, <12, 1/176*(5*w + 5)>, <72, 1/15*(w + 9)>, <16, 1/8565*(286*w - 2860)>, <24, 1/123743*(1820*w + 37583)>, <188, 1/571*(19*w + 381)>, <204, 1/21*(w + 7)>, <16, 1/5967*(22*w + 5659)>, <16, 1/48841*(198*w + 50931)>, <24, 1/95939*(1716*w + 35087)>, <24, 1/396*(13*w - 65)>, <24, 1/66*(w + 70)>, <60, 1/161*(w + 159)>, <24, 1/167*(22*w + 255)>, <84, 1/523*(11*w + 446)>, <84, 1/501*(11*w + 446)>, <12, 1/95357*(1750*w + 53875)>, <136, 1/17*(w + 4)>, <96, 1/613*(24*w + 264)>, <24, 1/487*(7*w + 501)>, <100, 1/591*(25*w + 316)>, <92, 1/501*(19*w + 406)>, <24, 1/406*(25*w + 481)>, <92, 1/19*(w + 14)>, <100, 1/25*(w + 14)>, <24, 1/406*(25*w - 100)>, <136, 1/17*(w + 12)>, <12, 1/1106*(45*w + 1466)>, <16, 1/7*(w + 12)>, <12, 1/637*(66*w - 858)>, <96, 1/637*(24*w + 288)>, <24, 1/571*(7*w + 501)>, <12, 1/537*(25*w + 175)>, <12, 1/19675*(88*w + 1496)>, <24, 1/411601*(4488*w + 66385)>, <24, 1/411601*(4488*w + 340728)>, <72, 1/501*(7*w + 466)>, <68, 1/553*(11*w + 88)>, <24, 1/208*(21*w - 189)>, <24, 1/523*(5*w - 35)>, <60, 1/483*(13*w - 26)>, <72, 1/721*(17*w + 449)>, <24, 1/332371*(5865*w + 182206)>, <60, 1/21*(w + 6)>, <144, 1/221*(8*w + 104)>, <24, 1/273*(19*w + 406)>, <12, 1/787*(22*w + 374)>, <12, 1/17*(22*w - 396)>, <114, 1/571*(13*w + 441)>, <24, 1/115397*(1729*w + 36946)>, <48, 1/663*(22*w + 355)>, <28, 1/487*(9*w + 505)>, <60, 1/523*(21*w + 126)>, <24, 1/3896*(575*w + 2171)>, <4, 1/159887*(1392*w + 146015)>, <4, 1/7644*(493*w + 12064)>, <72, 1/21*(w + 4)>, <4, 1/4459*(68*w + 6123)>, <4, 1/106379*(816*w + 19968)>, <68, 1/553*(11*w + 454)>, <24, 1/3896*(575*w + 1150)>, <40, 1/17966*(63*w + 882)>, <40, 1/613*(26*w + 286)>, <24, 1/5*(w - 7)>, <24, 1/208*(21*w + 376)>, <24, 1/787*(16*w + 272)>, <60, 1/691*(13*w + 182)>, <136, 1/9*(w + 4)>, <4, 1/27889*(420*w + 21280)>, <72, 1/721*(17*w + 255)>, <84, 1/571*(20*w + 180)>, <108, 1/11*(w + 3)>, <12, 1/129059*(1472*w + 104995)>, <112, 1/537*(23*w + 353)>, <108, 1/11*(w + 7)>, <144, 1/221*(8*w + 109)>, <72, 1/39559*(420*w + 7380)>, <16, 1/481*(12*w + 481)>, <4, 1/479661*(8381*w + 396140)>, <4, 1/10829*(348*w + 13949)>, <4, 1/159887*(1156*w + 104091)>, <32, 1/16*(w - 1)>, <16, 1/192*(17*w + 464)>, <16, 1/753*(17*w + 464)>, <32, 1/481*(16*w - 16)>, <72, 1/3997*(60*w - 600)>, <72, 1/493*(7*w + 21)>, <16, 1/26*(w + 18)>, <12, 1/3292*(75*w - 1425)>, <48, 1/637*(11*w + 494)>, <24, 1/7423*(340*w + 10483)>, <4, 1/121*(26*w + 329)>, <4, 1/9053*(416*w - 7904)>, <4, 1/455119*(4752*w + 509679)>, <8, 1/553*(27*w + 216)>, <4, 1/13168*(121*w - 2299)>, <4, 1/537*(11*w - 88)>, <40, 1/9*(w + 9)>, <6, 1/326041*(7600*w + 152400)>, <48, 1/483*(11*w + 494)>, <24, 1/296079*(4420*w + 136279)>, <24, 1/32899*(322*w + 28175)>, <24, 1/784*(19*w - 247)>, <48, 1/206*(w + 190)>, <24, 1/320599*(4554*w + 215604)>, <24, 1/3661*(90*w + 4201)>, <24, 1/41917*(630*w + 29407)>, <24, 1/9954*(253*w + 11978)>, <24, 1/294853*(3960*w + 117733)>, <48, 1/11*(w + 11)>, <24, 1/784*(19*w + 1012)>, <48, 1/357*(2*w + 380)>, <36, 1/537*(5*w + 35)>, <24, 1/32899*(322*w + 4402)>, <24, 1/4117*(60*w + 3100)>, <120, 1/51*(w + 37)>, <24, 1/34*(w + 37)>, <24, 1/483*(16*w - 32)>, <60, 1/16*(w + 6)>, <24, 1/400801*(7140*w + 249501)>, <24, 1/123743*(1820*w + 84340)>, <36, 7/481*w>, <24, 1/4029*(22*w + 3652)>, <36, 1/7*w>, <24, 1/11647*(208*w - 2496)>, <48, 1/20331*(143*w + 17900)>, <24, 1/11991*(187*w + 13674)>, <24, 1/7665*(391*w - 2346)>, <4, 1/400801*(5376*w + 286881)>, <8, 1/27*(w + 8)>, <4, 1/400801*(9072*w + 97456)>, <4, 1/16*(w - 3)>, <16, 1/432*(11*w + 454)>, <114, 1/493*(13*w + 441)>, <36, 1/537*(5*w + 497)>, <24, 1/1253*(160*w - 1280)>, <24, 1/506*(5*w + 536)>, <24, 1/3871*(76*w - 684)>, <24, 1/76*(7*w - 63)>, <16, 1/395863*(2280*w + 338143)>, <24, 1/823*(19*w + 462)>, <60, 1/23*(w + 21)>, <12, 1/483*(20*w - 40)>, <60, 1/41*(w + 21)>, <24, 1/19721*(418*w + 8721)>, <6, 1/1443*(484*w + 959)>, <18, 1/493*(3*w + 481)>, <12, 1/481*w>, <24, 1/19721*(418*w + 10582)>, <64, 1/571*(25*w + 225)>, <24, 1/10460*(323*w - 2261)>, <64, 1/571*(25*w + 321)>, <28, 1/382123*(552*w + 373267)>, <12, 1/5753*(380*w + 8033)>, <24, 1/323*(20*w - 140)>, <24, 1/32*(w - 5)>, <16, 1/501*(5*w + 521)>, <4, 1/143321*(3822*w + 93782)>, <4, 1/11991*(130*w + 13546)>, <4, 1/143321*(735*w + 124551)>, <28, 1/20*(7*w + 132)>, <72, 1/251*(7*w + 132)>, <24, 1/501*(32*w - 160)>, <12, 1/315*(16*w - 112)>, <12, 1/3152*(85*w + 4002)>, <84, 1/511*(16*w + 415)>, <16, 1/103031*(1326*w + 70193)>, <12, 1/254701*(3249*w + 85392)>, <42, 1/18*(w + 11)>, <24, 1/377*(7*w + 195)>, <24, 1/167*(7*w + 195)>, <24, 1/7189*(48*w + 6309)>, <48, 1/487*(17*w + 34)>, <48, 1/691*(17*w + 238)>, <12, 1/12*(w - 14)>, <24, 1/32899*(585*w + 16614)>, <24, 1/122237*(1520*w + 86317)>, <32, 1/22*(w + 2)>, <44, 1/721*(16*w + 465)>, <48, 1/251*(9*w + 98)>, <24, 1/12257*(209*w - 3344)>, <48, 1/10*(w + 3)>, <48, 1/10*(w + 6)>, <48, 1/251*(9*w + 144)>, <24, 1/362193*(3553*w + 96976)>, <24, 1/2555*(117*w - 702)>, <32, 1/861*(22*w + 421)>, <44, 1/16*w>, <24, 1/3743*(80*w + 4543)>, <24, 1/8687*(396*w + 10667)>, <28, 5/481*w>, <24, 1/1670*(161*w - 805)>, <24, 1/1813*(34*w + 1224)>, <24, 1/32899*(510*w + 17905)>, <6, 1/1027*(12*w + 807)>, <24, 1/6643*(72*w + 955)>, <24, 1/523*(72*w + 955)>, <24, 1/721*(20*w + 401)>, <12, 1/334*(21*w + 418)>, <12, 1/1533*(40*w - 240)>, <64, 1/21*(w + 5)>, <24, 1/1580*(33*w - 297)>, <24, 1/231*(20*w - 180)>, <60, 1/493*(9*w + 27)>, <60, 1/511*(9*w + 45)>, <24, 1/32899*(510*w + 14484)>, <12, 1/315763*(4446*w + 96577)>, <60, 1/18*(w + 9)>, <24, 1/1813*(34*w + 555)>, <12, 1/18101*(18*w + 17777)>, <36, 1/787*(23*w + 391)>, <12, 1/25039*(234*w + 19566)>, <24, 1/1670*(161*w + 2314)>, <24, 1/8687*(396*w - 2376)>, <28, 1/501*(5*w + 20)>, <24, 1/325*(14*w - 126)>, <40, 1/25*(w + 8)>, <40, 1/72*(25*w + 400)>, <24, 1/7742*(325*w - 2925)>, <12, 1/625*(8*w + 593)>, <24, 1/721*(12*w + 180)>, <24, 1/31717*(456*w + 24928)>, <24, 1/31717*(456*w + 6333)>, <36, 1/167*(w - 5)>, <12, 1/176*(w + 4)>, <24, 1/36907*(528*w + 4875)>, <24, 1/1449*(176*w + 1625)>, <36, 1/9*(w - 5)>, <36, 1/221*(3*w + 179)>, <12, 1/487*(13*w - 39)>, <12, 1/552*(13*w + 26)>, <84, 1/511*(16*w + 80)>, <24, 1/302209*(3496*w + 225929)>, <12, 1/274407*(4784*w + 110279)>, <24, 1/4728*(437*w - 4807)>, <8, 1/264*(17*w + 400)>, <12, 1/437*(8*w + 461)>, <36, 1/501*(8*w + 32)>, <4, 1/361221*(2420*w + 310280)>, <8, 1/30*(w + 14)>, <16, 1/120407*(2200*w + 9207)>, <16, 1/11*(w - 5)>, <16, 1/330*(19*w + 406)>, <72, 1/167*(6*w + 137)>, <24, 1/298531*(4140*w + 232300)>, <12, 1/153*(20*w - 240)>, <24, 1/4599*(460*w - 2760)>, <52, 1/523*(9*w + 460)>, <6, 1/257839*(1452*w + 13419)>, <18, 1/3*(w + 6)>, <16, 1/487*(21*w + 424)>, <12, 1/405739*(7942*w + 251592)>, <12, 1/6*(w + 2)>, <52, 1/487*(9*w + 460)>, <36, 1/483*(10*w + 493)>, <36, 1/483*(10*w - 20)>, <24, 1/571*(4*w + 531)>, <24, 1/511*(4*w + 531)>, <24, 1/6331*(506*w + 7343)>, <24, 1/483*(4*w + 475)>, <12, 1/276*(19*w - 133)>, <60, 1/523*(23*w + 362)>, <60, 1/753*(23*w + 362)>, <24, 1/487*(4*w + 475)>, <24, 1/371229*(6578*w + 95459)>, <24, 1/310219*(5280*w + 149355)>, <24, 1/314041*(4560*w + 187216)>, <48, 1/637*(16*w + 429)>, <24, 1/460*(7*w + 481)>, <12, 1/393819*(5152*w + 81088)>, <12, 1/3*w>, <12, 1/529*(16*w + 32)>, <24, 1/3451*(460*w + 4831)>, <12, 1/663*(28*w + 364)>, <12, 1/19348*(121*w + 1694)>, <6, 1/691*(15*w + 210)>, <6, 1/256*(15*w - 225)>, <40, 1/691*(29*w + 256)>, <12, 1/98693*(1710*w + 84303)>, <24, 1/613*(12*w + 132)>, <12, 1/289*(27*w + 289)>, <42, 1/523*(18*w + 397)>, <72, 1/167*(6*w + 24)>, <24, 1/310219*(5280*w + 155584)>, <24, 1/285*(16*w - 160)>, <48, 1/16*(w + 3)>, <24, 1/399*(11*w + 509)>, <48, 1/487*(8*w + 463)>, <24, 1/418*(13*w + 457)>, <24, 1/109727*(1235*w + 83467)>, <24, 1/109727*(1235*w + 25025)>, <24, 1/6409*(418*w + 7663)>, <24, 1/483*(19*w + 445)>, <36, 1/16*(w + 14)>, <12, 1/111251*(2320*w + 65395)>, <72, 1/13*(w + 1)>, <72, 1/613*(13*w + 457)>, <24, 1/19*(w + 17)>, <24, 1/5530*(391*w + 8658)>, <60, 1/571*(18*w + 162)>, <6, 1/324*(13*w + 441)>, <24, 1/4833*(418*w - 3344)>, <24, 1/274651*(3762*w + 201058)>, <24, 1/391*(10*w + 471)>, <28, 1/4531*(36*w + 4891)>, <12, 1/342*(13*w + 433)>, <8, 1/475*(6*w + 541)>, <8, 1/1022*(475*w + 9925)>, <4, 1/112931*(1250*w - 9544)>, <52, 1/135473*(100*w + 136725)>, <4, 1/15325*(475*w + 8903)>, <8, 1/16575*(38*w + 794)>, <8, 1/3678*(475*w + 8903)>, <24, 1/107627*(1463*w + 67697)>, <48, 1/8*(w + 5)>, <12, 1/122213*(880*w + 104368)>, <12, 1/5*(w - 9)>, <60, 1/501*(16*w + 421)>, <48, 1/721*(27*w + 405)>, <24, 1/22*(3*w + 55)>, <24, 1/53869*(330*w + 48004)>, <36, 1/7*(w - 1)>, <24, 1/2465*(506*w + 3983)>, <24, 1/14099*(85*w + 15034)>, <24, 1/114023*(920*w + 105248)>, <48, 1/4904*(21*w - 252)>, <24, 1/550*(7*w + 14)>, <24, 1/187*(18*w - 252)>, <24, 1/18*(w - 8)>, <48, 1/613*(27*w + 297)>, <24, 1/5357*(504*w - 1512)>, <28, 1/24*(w + 9)>, <24, 1/24157*(360*w + 20800)>, <24, 1/343*(3*w - 39)>, <24, 14/111*w>, <96, 1/9*(w - 2)>, <96, 1/197*(3*w + 164)>, <12, 1/408381*(850*w + 419125)>, <24, 1/2369*(34*w + 1128)>, <12, 1/20575*(102*w + 18637)>, <12, 1/823*(25*w + 450)>, <24, 1/2369*(34*w + 1207)>, <16, 1/10*(3*w - 48)>, <12, 1/529*(18*w + 403)>, <12, w + 6>, <12, 1/529*(3*w + 526)>, <12, 1/3318*(529*w + 4232)>, <12, 1/265993*(4232*w + 7312)>, <28, 1/252*(19*w + 385)>, <4, 1/7028*(27*w + 5201)>, <4, 1/3401*(27*w + 5201)>, <20, 1/24*(w + 7)>, <4, 1/152*(3*w + 200)>, <20, 1/179*(8*w + 56)>, <4, 1/251*(3*w + 200)>, <36, 1/753*(22*w + 379)>, <12, 1/4088*(75*w + 4463)>, <48, 1/264*(19*w - 152)>, <12, 1/13*(8*w - 123)>, <48, 1/264*(19*w + 397)>, <24, 1/5304*(5*w + 5369)>, <16, 1/12873*(130*w + 14303)>, <4, 1/571*(5*w + 616)>, <4, 1/394561*(2730*w + 336336)>, <8, 1/15938*(15*w - 180)>, <8, 1/15*(26*w - 312)>, <24, 1/7423*(396*w + 10987)>, <36, 1/523*(22*w + 132)>, <12, 1/39*(22*w + 369)>, <24, 1/351127*(5148*w + 142831)>, <12, 1/1679*(22*w + 183)>, <12, 1/1825*(28*w + 1965)>, <64, 1/73*(3*w + 15)>, <16, 1/432*(11*w - 33)>, <36, 1/18*(w + 12)>, <24, 1/75*(w - 4)>, <48, 1/161*(2*w + 163)>, <24, 1/334*(19*w - 95)>, <24, 1/332371*(5950*w + 121996)>, <24, 1/3848*(525*w + 3323)>, <6, 1/340663*(3042*w + 71149)>, <30, 1/493*(18*w + 421)>, <12, 1/3507*(104*w - 520)>, <24, 1/332371*(5950*w + 204425)>, <24, 1/302209*(4200*w + 26584)>, <24, 1/613*(12*w + 469)>, <12, 1/10101*(361*w + 10101)>, <12, 10/481*w>, <24, 1/2093*(38*w + 1235)>, <36, 1/637*(18*w + 216)>, <48, 1/6*(w + 7)>, <24, 1/6643*(75*w + 718)>, <24, 1/18*(w + 25)>, <24, 1/702*(11*w - 154)>, <12, 1/192*(17*w - 306)>, <12, 1/787*(17*w + 289)>, <24, 1/600*(7*w + 565)>, <24, 1/550*(7*w + 529)>, <24, 1/600*(7*w + 28)>, <48, 1/21*(8*w - 96)>, <24, 1/336517*(4692*w + 199801)>, <72, 1/15*(w + 5)>, <24, 1/663*(11*w + 509)>, <24, 1/483*(8*w + 571)>, <24, 1/251*(6*w + 149)>, <48, 1/523*(5*w + 488)>, <48, 1/10*(w + 8)>, <60, 1/14*(w + 15)>, <48, 1/161*(2*w + 2)>, <24, 1/3580*(81*w - 648)>, <24, 1/391*(15*w + 481)>, <24, 1/97121*(1232*w + 5425)>, <48, 1/493*(5*w + 15)>, <24, 1/6799*(418*w - 2926)>, <24, 1/320599*(2640*w + 25975)>, <24, 1/2093*(40*w + 845)>, <36, 1/523*(22*w + 369)>, <48, 1/691*(22*w + 308)>, <24, 1/11506*(247*w - 1729)>, <12, 1/483*(w + 481)>, <12, 1/487*(w + 2)>, <12, 1/1449*(484*w + 484)>, <12, 1/637*(484*w + 6445)>, <12, 1/637*(9*w + 108)>, <52, 1/753*(19*w + 430)>, <24, 1/384783*(5434*w + 93613)>, <48, 1/537*(22*w + 154)>, <24, 1/97121*(1232*w + 90464)>, <24, 1/2093*(40*w + 1208)>, <24, 1/6799*(418*w + 9307)>, <48, 1/483*(5*w + 5)>, <24, 1/391*(12*w + 511)>, <12, 1/29893*(476*w + 17493)>, <24, 1/251*(6*w + 96)>, <24, 1/487*(11*w + 509)>, <24, 1/361393*(3864*w + 275793)>, <48, 1/483*(5*w + 488)>, <36, 1/483*(16*w + 451)>, <48, 1/10*(w + 1)>, <24, 1/3580*(81*w + 4147)>, <12, 1/36907*(420*w + 11427)>, <60, 1/103*(2*w + 30)>, <48, 1/167*(2*w + 8)>, <24, 1/391*(10*w - 100)>, <24, 1/340663*(5060*w + 93643)>, <12, 1/529*(16*w + 465)>, <24, 1/5753*(460*w + 8513)>, <16, 1/91*(w + 12)>, <4, 1/84*(w + 78)>, <4, 1/412*(9*w + 238)>, <4, 1/73*(9*w + 238)>, <20, 1/10*(w - 6)>, <16, 1/10*(3*w + 55)>, <4, 1/15*(w - 1)>, <1, 1/519841*(3600*w + 238576)>, <1, 1/346801*(3840*w + 123136)>, <2, 1/11536*(465*w + 14911)>, <1, 1/519841*(6975*w + 50625)>, <1, 1/7215*(256*w + 14655)>, <1, 1/256*(31*w + 225)>, <5, 1/225*(16*w + 465)>, <4, 1/481*(15*w - 15)>, <12, 1/663*(14*w + 182)>, <12, 1/285*(14*w - 196)>, <24, 1/284271*(3910*w + 92290)>, <12, 1/176*(w + 186)>, <24, 1/179*(w - 8)>, <24, 1/591*(7*w + 514)>, <24, 1/591*(7*w + 70)>, <12, 1/405739*(8970*w + 321724)>, <12, 1/15*(w + 18)>, <12, 1/5*(w + 8)>, <12, 1/272629*(2640*w + 268224)>, <84, 1/483*(11*w + 461)>, <24, 1/77*(6*w - 60)>, <12, 1/264741*(4576*w + 73381)>, <24, 1/2167*(120*w + 3367)>, <48, 1/11*w>, <84, 1/571*(11*w + 461)>, <24, 1/35263*(462*w + 24714)>, <36, 1/167*(w + 171)>, <24, 1/36907*(462*w + 25896)>, <24, 1/107627*(1584*w + 73296)>, <24, 1/3546*(77*w + 4316)>, <24, 1/107627*(1584*w + 32747)>, <24, 1/2839*(42*w + 2506)>, <24, 1/343*(3*w + 379)>, <24, 1/333*(40*w - 40)>, <36, 1/23*(w + 17)>, <28, 1/24*(w + 14)>, <24, 1/340663*(5544*w + 265104)>, <36, 1/537*(7*w + 481)>, <24, 1/53869*(330*w + 5535)>, <4, 1/2435*(462*w + 3359)>, <60, 1/501*(16*w + 64)>, <24, 1/346801*(5865*w + 188071)>, <12, 1/3536*(77*w + 4537)>, <12, 1/487*(16*w + 439)>, <24, 1/1839*(22*w + 2081)>, <24, 1/16*(3*w - 39)>, <12, 1/146*(21*w + 251)>, <24, 1/286071*(2530*w + 19915)>, <24, 1/552*(5*w + 572)>, <24, 1/376467*(1955*w + 345782)>, <24, 1/320599*(2640*w + 291984)>, <28, 1/122237*(798*w + 103379)>, <4, 1/6*(w + 5)>, <4, 1/245791*(2850*w + 225625)>, <4, 1/245791*(9025*w + 300625)>, <4, 1/146657*(722*w + 24050)>, <20, 20/481*w>, <8, 1/138047*(760*w + 19240)>, <20, 1/20*w>, <8, 1/481*(19*w + 481)>, <12, 1/82*(21*w + 481)>, <12, 1/9139*(462*w + 9139)>, <24, 1/500*(13*w - 26)>, <24, 1/24837*(440*w + 4037)>, <24, 1/143*(20*w + 383)>, <48, 1/523*(8*w + 467)>, <28, 1/15893*(24*w + 16229)>, <24, 1/6279*(500*w - 1000)>, <20, 1/96*(25*w + 321)>, <24, 1/407*(40*w + 367)>, <24, 1/26673*(220*w + 4213)>, <12, 1/38*(w + 37)>, <48, 1/523*(8*w + 48)>, <12, 1/10731*(256*w + 12011)>, <6, 1/9414*(289*w + 11148)>, <12, 1/333151*(3078*w + 266893)>, <36, 1/493*(8*w + 24)>, <78, 1/69*(2*w + 65)>, <78, 1/91*(2*w + 65)>, <24, 1/94757*(1683*w + 21164)>, <24, 1/387991*(6384*w + 124336)>, <24, 1/4599*(475*w - 2850)>, <24, 1/741*(10*w + 871)>, <24, 1/170*(19*w + 417)>, <24, 1/4599*(475*w + 6974)>, <24, 1/387991*(6384*w + 257271)>, <24, 1/94757*(1683*w + 71910)>, <24, 1/120731*(2244*w + 57239)>, <6, 1/63*(2*w + 65)>, <4, 1/79*(w - 9)>, <44, 1/553*(24*w + 192)>, <4, 1/237*(w + 324)>, <4, 1/72*(w + 87)>, <4, 1/316*(3*w + 261)>, <4, 1/7*(4*w + 39)>, <44, 1/24*(w + 8)>, <36, 1/22*(w + 5)>, <24, 1/353101*(3420*w + 66861)>, <24, 1/353101*(3420*w + 282820)>, <12, 1/36*(w + 36)>, <24, 1/120731*(2244*w + 61248)>, <24, 1/553*(12*w + 445)>, <12, 1/691*(6*w + 84)>, <12, 1/6083*(625*w + 5000)>, <12, 1/12888*(169*w + 14071)>, <24, 1/192*(19*w - 209)>, <8, 1/11*(w + 14)>, <4, 1/340663*(6270*w + 299820)>, <28, 1/9367*(360*w + 10447)>, <40, 1/493*(19*w + 57)>, <4, 1/355453*(4332*w + 190969)>, <8, 1/691*(30*w + 420)>, <8, 1/691*(11*w + 154)>, <24, 1/325*(16*w - 112)>, <24, 1/375*(16*w + 439)>, <48, 1/35581*(480*w + 20605)>, <24, 1/12562*(171*w + 14101)>, <12, 1/13699*(132*w - 2112)>, <24, 1/171*(22*w + 369)>, <16, 1/637*(12*w + 481)>, <12, 1/284271*(3610*w + 107020)>, <12, 1/4175*(147*w + 3440)>, <12, 1/167*(2*w - 10)>, <48, 1/14099*(88*w + 15067)>, <48, 1/88*(23*w + 341)>, <24, 1/1972*(483*w + 3421)>, <24, 1/483*(4*w + 495)>, <24, 1/8592*(299*w + 10685)>, <24, 1/571*(16*w - 160)>, <24, 1/251563*(3220*w + 218040)>, <24, 1/207*(2*w + 12)>, <24, 1/251563*(3220*w + 30303)>, <24, 1/39559*(414*w - 806)>, <24, 1/11747*(198*w + 14519)>, <24, 1/13486*(119*w + 14795)>, <24, 1/119*(22*w + 361)>, <8, 1/305809*(4488*w + 105600)>, <24, 1/432*(17*w + 449)>, <24, 1/325*(16*w + 421)>, <24, 1/375*(16*w - 80)>, <48, 1/96*(5*w - 60)>, <24, 1/8592*(299*w - 2392)>, <24, 1/1131*(16*w + 400)>, <24, 1/399*(11*w - 66)>, <24, 1/57*(2*w + 71)>, <24, 1/358*(19*w + 491)>, <24, 1/493*(18*w + 547)>, <12, 1/2093*(174*w + 1745)>, <12, 1/2*(w - 20)>, <24, 1/18*(w + 21)>, <36, 1/481*(9*w + 472)>, <12, 1/12562*(153*w + 13939)>, <24, 1/4291*(46*w + 4797)>, <24, 1/4291*(46*w - 552)>, <24, 1/399*(11*w + 454)>, <24, 1/4291*(55*w + 4896)>, <24, 1/765*(22*w - 308)>, <24, 1/65*(23*w - 299)>, <24, 1/3409*(500*w + 4409)>, <24, 1/480*(7*w + 501)>, <24, 1/44929*(408*w + 38656)>, <24, 1/1969*(128*w + 2865)>, <24, 1/112931*(1311*w + 84227)>, <4, 1/487*(17*w - 51)>, <4, 1/198*(17*w + 521)>, <4, 1/150101*(867*w + 109514)>, <4, 1/8279*(442*w + 13546)>, <4, 1/254701*(3978*w + 47403)>, <16, 1/591*(26*w + 305)>, <16, 1/426111*(2210*w - 28135)>, <12, 1/481*(6*w + 481)>, <12, w + 7>, <12, 1/529*(8*w + 48)>, <8, 1/104*(5*w + 139)>, <12, 1/576*(5*w + 35)>, <28, 1/411691*(1350*w - 18684)>, <12, 1/322*(25*w + 272)>, <12, 1/411691*(3025*w + 369825)>, <24, 1/1713*(25*w + 1938)>, <24, 1/962*(175*w - 175)>, <12, 1/493*(13*w + 532)>, <12, 1/44929*(1176*w + 26848)>, <12, 1/4*(w - 4)>, <24, 1/175*(2*w - 2)>, <48, 1/11*(w - 1)>, <8, 1/326041*(3990*w + 80010)>, <24, 1/25*(3*w + 52)>, <24, 1/3222*(95*w + 3887)>, <24, 1/36907*(570*w + 23322)>, <12, 1/251563*(3024*w + 43771)>, <24, 1/500*(7*w + 514)>, <24, 1/391*(12*w + 451)>, <24, 1/116081*(1870*w + 64821)>, <12, 1/69*(22*w - 308)>, <12, 1/487*(w + 489)>, <12, 1/1479*(484*w + 2931)>, <24, 1/116081*(1870*w + 49390)>, <24, 1/278077*(4692*w + 176341)>, <36, 1/15*(w - 2)>, <40, 1/571*(9*w + 81)>, <24, 1/1569*(161*w - 1127)>, <12, 1/529*(12*w + 445)>, <12, 1/553*(2*w + 16)>, <24, 1/161*(3*w - 21)>, <8, 1/477481*(4350*w - 42750)>, <8, 1/150*(29*w - 285)>, <12, 1/14*(w + 14)>, <12, 1/9674*(285*w - 4275)>, <24, 1/9808*(253*w + 12591)>, <24, 1/314041*(4048*w + 201456)>, <24, 1/487*(184*w + 855)>, <24, 1/35263*(184*w + 855)>, <24, 1/3743*(69*w + 4433)>, <24, 1/51*(8*w - 72)>, <24, 1/384*(11*w + 461)>, <24, 1/3451*(480*w + 4891)>, <24, 1/765*(22*w + 1051)>, <12, 1/87173*(770*w + 9865)>, <24, 1/55*(7*w + 132)>, <12, 1/4117*(42*w + 652)>, <24, 1/65*(23*w + 341)>, <4, 1/21*w>, <8, 1/20*(w - 1)>, <4, 1/438787*(882*w + 21244)>, <4, 1/433381*(840*w + 18400)>, <4, 1/1802*(483*w + 10580)>, <4, 1/438787*(10143*w + 184338)>, <8, 1/481*(20*w - 20)>, <4, 1/481*(2*w - 2)>, <24, 1/3896*(475*w + 4846)>, <24, 1/275793*(3800*w + 38768)>, <12, 1/2672*(119*w + 3148)>, <18, 1/8687*(324*w + 10307)>, <24, 1/15197*(200*w + 1672)>, <24, 1/184*(25*w + 209)>, <12, 1/10983*(250*w + 12483)>, <24, 1/171*(5*w + 166)>, <24, 1/3757*(76*w + 4745)>, <24, 1/228*(17*w + 449)>, <24, 5/171*w>, <24, 1/629*(12*w + 173)>, <24, 1/65*(6*w + 137)>, <12, 1/161*(24*w + 113)>, <24, 1/119*(6*w + 149)>, <24, 1/119*(6*w - 36)>, <30, 1/691*(18*w + 421)>, <28, 1/9367*(360*w - 1440)>, <40, 1/19*(w + 3)>, <24, 1/140*(19*w - 285)>, <24, 1/294*(5*w + 354)>, <24, 1/161*(12*w + 173)>, <12, 1/66*(25*w + 316)>, <24, 1/176*(19*w - 228)>, <12, 1/2171*(128*w + 2683)>, <12, 1/7888*(361*w + 8971)>, <24, 1/323*(16*w + 451)>, <8, 1/13825*(128*w - 1152)>, <4, 1/225*(16*w + 481)>, <4, 1/625*(9*w + 144)>, <4, 1/8848*(625*w + 3223)>, <8, 1/128*(25*w - 225)>, <4, 1/4977*(400*w - 3600)>, <28, 1/54*(25*w - 346)>, <12, 1/326823*(4370*w + 234593)>, <8, 1/4137*(50*w + 4637)>, <12, 1/2092*(575*w + 3450)>, <12, 1/4*(w - 7)>, <24, 1/663*(7*w + 565)>, <24, 1/663*(7*w + 91)>, <40, 1/17966*(63*w + 17021)>, <40, 1/691*(26*w + 364)>, <12, 1/289*(11*w - 176)>, <12, 1/487*(18*w + 433)>, <24, 1/8848*(323*w + 11432)>, <24, 1/365*(69*w + 710)>, <12, 1/493*(23*w + 69)>, <12, 1/6601*(12*w + 228)>, <24, 1/38947*(345*w + 3550)>, <16, 1/382123*(3726*w + 322345)>, <36, 1/42*(23*w + 341)>, <12, 1/361*(15*w + 481)>, <24, 1/91*(5*w - 80)>, <24, 1/286*(15*w - 195)>, <24, 1/4862*(25*w + 5187)>, <24, 1/336517*(5700*w + 242725)>, <24, 1/3743*(72*w + 4463)>, <24, 1/394561*(2184*w + 362256)>, <24, 1/102557*(1408*w + 37917)>, <16, 1/3349*(78*w + 4129)>, <4, 1/523*(9*w + 577)>, <4, 1/377083*(3978*w + 255034)>, <8, 1/5122*(15*w - 165)>, <16, 1/18746*(85*w + 1275)>, <8, 1/45*(26*w - 286)>, <16, 1/26*(w + 15)>, <8, 1/537*(w - 8)>, <4, 1/529*(8*w + 593)>, <4, 1/4424*(23*w + 16936)>, <4, 1/12719*(24*w + 13056)>, <4, 1/398713*(12696*w + 207744)>, <4, 1/537*(8*w + 593)>, <8, w - 8>, <4, 1/24*(w + 5)>, <8, 1/12264*(247*w - 1482)>, <4, 1/65*(24*w + 432)>, <4, 1/576*(5*w + 90)>, <4, 1/9709*(576*w + 6253)>, <8, 1/247*(24*w - 144)>, <4, 1/2555*(456*w - 2736)>, <12, 1/363727*(1875*w + 373750)>, <20, 1/4*(w + 12)>, <12, 1/91931*(1650*w + 21131)>, <24, 1/5083*(90*w + 2718)>, <12, 1/4930*(441*w + 6253)>, <12, 1/493*(4*w + 12)>, <48, 1/591*(11*w + 470)>, <24, 1/126*(5*w + 151)>, <12, 1/86099*(1008*w + 69264)>, <24, 1/115397*(1368*w + 84797)>, <24, 1/5916*(475*w - 1900)>, <24, 1/8*(w + 9)>, <12, 1/553*(3*w + 526)>, <12, 1/11753*(484*w + 8849)>, <12, 1/511*(9*w - 54)>, <24, 1/571*(8*w + 72)>, <24, 1/25567*(322*w + 14182)>, <12, 1/501*(2*w + 509)>, <12, 1/3*(w + 9)>, <12, 1/529*(14*w + 84)>, <24, 1/346191*(2660*w + 286691)>, <24, 1/3349*(8*w + 109)>, <24, 1/2167*(120*w - 1320)>, <24, 1/3349*(8*w + 3232)>, <24, 1/2167*(128*w + 3447)>, <24, 1/394561*(2184*w + 30121)>, <24, 1/735*(22*w - 286)>, <24, 1/4862*(25*w - 350)>, <24, 1/5773*(65*w + 3550)>, <24, 1/299*(14*w - 196)>, <4, 1/334*(161*w + 978)>, <4, 1/487*(2*w + 491)>, <4, 1/400801*(966*w + 19504)>, <8, 1/3841*(98*w - 490)>, <4, 1/18929*(28*w + 504)>, <8, 1/294*(23*w - 115)>, <24, 1/571*(12*w + 451)>, <24, 1/407*(38*w + 407)>, <24, 1/487*(12*w + 451)>, <24, 1/23667*(418*w + 4477)>, <12, 1/187*(18*w - 234)>, <24, 1/1837*(150*w - 750)>, <24, 1/450*(11*w - 55)>, <12, 1/5710*(361*w + 8959)>, <24, 1/501*(20*w + 401)>, <12, 1/351127*(6498*w + 188316)>, <12, 1/361*(15*w + 466)>, <24, 1/537*(8*w + 473)>, <4, 1/274651*(3600*w + 78651)>, <20, 1/96*(25*w - 250)>, <4, 1/15893*(16*w + 16117)>, <4, 1/4*(w - 11)>, <4, 1/136127*(900*w - 6748)>, <28, 1/108*(23*w + 338)>, <24, 1/18993*(368*w + 8528)>, <36, 1/5083*(14*w + 5265)>, <24, 1/391*(16*w - 64)>, <24, 1/50779*(874*w + 30723)>, <24, 1/50779*(874*w + 19182)>, <12, 1/529*(18*w + 421)>, <12, 1/1382*(529*w + 7406)>, <12, 1/353101*(4761*w + 54216)>, <12, 1/306627*(1058*w + 14090)>, <12, 1/4*(w + 11)>, <48, 1/5*(2*w - 25)>, <24, 1/35*(w - 13)>, <48, 1/1382*(5*w + 1307)>, <24, 1/123689*(1400*w + 5089)>, <24, 1/36907*(456*w + 9243)>, <8, 1/115*(24*w - 240)>, <4, 1/394561*(120*w + 396216)>, <4, 1/691*(576*w + 8064)>, <4, 1/382123*(13248*w + 169579)>, <8, 1/13704*(115*w - 1150)>, <4, 1/552*(w - 10)>, <24, 1/1713*(152*w + 3081)>, <4, 1/80327*(760*w + 7215)>, <8, 1/861*(19*w + 481)>, <8, 1/120*(19*w + 481)>, <8, 1/95*(8*w - 40)>, <4, 1/25*(8*w + 152)>, <8, 1/4008*(95*w - 475)>, <4, 1/287*(8*w + 152)>, <40, 1/138803*(600*w + 146675)>, <40, 1/25*(w + 16)>, <24, 1/126*(5*w + 166)>, <12, 1/591*(10*w + 481)>, <12, 1/80327*(588*w + 9032)>, <24, 1/126*(5*w - 45)>, <24, 1/1127*(200*w + 727)>, <12, 1/3938*(69*w + 4421)>, <24, 1/686*(23*w + 962)>, <24, 1/686*(23*w - 299)>, <24, 1/442*(w + 13)>, <24, 1/6743*(360*w + 10703)>, <12, 1/221*(8*w - 112)>, <24, 1/35*(w + 47)>, <12, 1/4199*(50*w + 4849)>, <24, 1/3426*(95*w + 4281)>, <24, 1/95*(6*w + 149)>, <24, 1/368*(17*w + 436)>, <4, 1/352261*(2484*w + 363285)>, <16, 1/382123*(3726*w + 56052)>, <4, 1/382123*(3174*w + 317929)>, <20, 1/637*(4*w + 48)>, <12, 1/281503*(3174*w + 270319)>, <12, 1/529*(6*w + 54)>, <12, 1/3451*(529*w + 1335)>, <24, 1/8517*(368*w + 9989)>, <24, 1/5423*(437*w - 1748)>, <12, 1/274407*(1058*w + 275609)>, <12, 1/529*(9*w + 63)>, <12, 1/2044*(529*w - 1130)>, <24, 1/284271*(4807*w + 205390)>, <24, 1/125*(4*w + 153)>, <12, 1/167*(192*w - 960)>, <24, 1/2148*(125*w + 3023)>, <24, 1/442*(w + 428)>, <12, 1/1813*(24*w + 864)>, <1, 1/390*(11*w + 445)>, <1, 1/901*(15*w + 586)>, <2, 1/511*(26*w + 130)>, <1, 1/5621*(225*w + 14411)>, <1, 1/286*(15*w + 586)>, <1, 1/13286*(165*w + 6446)>, <1, 1/225*(26*w + 355)>, <2, 1/26*(w + 5)>, <16, 1/571*(26*w + 234)>, <16, 1/6526*(35*w + 560)>, <24, 1/5511*(437*w - 2185)>, <24, 1/437*(11*w - 55)>, <12, 1/529*(6*w + 499)>, <12, 1/553*(4*w + 32)>, <12, 1/529*(9*w + 520)>, <12, 1/2548*(529*w + 6348)>, <12, 1/306397*(6348*w + 45600)>, <24, 1/5304*(5*w - 70)>, <16, 1/291781*(4290*w + 120406)>, <4, 1/676*(11*w + 566)>, <4, 1/676*(15*w + 421)>, <4, 1/2761*(130*w + 4841)>, <8, 1/14846*(77*w - 770)>, <8, 1/77*(26*w - 260)>, <12, 1/481*(4*w + 481)>, <12, 1/7*(w + 11)>, <12, 1/529*(12*w + 48)>, <24, 1/1813*(25*w + 888)>, <24, 1/613*(25*w + 888)>, <12, 1/7356*(625*w + 6875)>, <12, 1/625*(12*w + 469)>, <12, 1/390481*(625*w - 144)>, <-12, 1/621*(-10*w + 60)>, <-36, 1/4641*(-32*w - 416)>, <-12, 1/375769*(-1932*w + 30240)>, <-12, 1/4870*(-437*w + 6181)>, <-12, 1/32899*(-460*w + 19835)>, <-12, 1/895*(-147*w + 2071)>, <-12, 1/1131*(-22*w + 581)>, <-12, 1/468*(-17*w + 706)>, <-12, 1/637*(-8*w + 104)>, <-12, 1/437*(-8*w - 96)>, <-12, 1/171*(-20*w - 200)>, <-12, 1/1022*(-51*w - 255)>, <-6, 1/8177*(-400*w + 8577)>, <-12, 1/441973*(-2700*w + 31600)>, <-12, 1/405769*(-300*w + 4044)>, <-12, 1/625*(-2*w + 613)>, <-24, 1/637*(-6*w + 78)>, <-24, 1/553*(-8*w + 489)>, <-12, 1/962*(-63*w + 962)>, <-12, 1/298531*(-7406*w + 242811)>, <-12, 1/529*(-3*w + 36)>, <-12, 1/2922*(-529*w + 4509)>, <-4, 1/4769*(-57*w + 6116)>, <-4, 1/21084*(-361*w + 8531)>, <-4, 1/4383*(-532*w + 3319)>, <-12, 1/1449*(-152*w - 152)>, <-12, 1/176*(-5*w + 10)>, <-12, 1/95357*(-1750*w + 55625)>, <-12, 1/1106*(-45*w + 1511)>, <-12, 1/637*(-66*w - 792)>, <-12, 1/537*(-25*w + 200)>, <-12, 1/19675*(-88*w + 1584)>, <-12, 1/787*(-22*w + 396)>, <-12, 1/17*(-22*w - 374)>, <-4, 1/159887*(-1392*w + 147407)>, <-4, 1/7644*(-493*w + 12557)>, <-4, 1/4459*(-68*w + 6191)>, <-4, 1/106379*(-816*w + 20784)>, <-4, 1/27889*(-420*w + 21700)>, <-12, 1/129059*(-1472*w + 106467)>, <-4, 1/479661*(-8381*w + 404521)>, <-4, 1/10829*(-348*w + 14297)>, <-4, 1/159887*(-1156*w + 105247)>, <-16, 1/192*(-17*w + 481)>, <-16, 1/753*(-17*w + 481)>, <-16, 1/26*(-w + 19)>, <-12, 1/3292*(-75*w - 1350)>, <-4, 1/121*(-26*w + 355)>, <-4, 1/9053*(-416*w - 7488)>, <-4, 1/455119*(-4752*w + 514431)>, <-4, 1/13168*(-121*w - 2178)>, <-4, 1/537*(-11*w - 77)>, <-6, 1/326041*(-7600*w + 160000)>, <-4, 1/400801*(-5376*w + 292257)>, <-4, 1/400801*(-9072*w + 106528)>, <-4, 1/16*(-w - 2)>, <-16, 1/395863*(-2280*w + 340423)>, <-24, 1/823*(-19*w + 481)>, <-12, 1/483*(-20*w - 20)>, <-6, 1/1443*(-484*w + 1443)>, <-18, 1/493*(-3*w + 484)>, <-12, 1/5753*(-380*w + 8413)>, <-16, 1/501*(-5*w + 526)>, <-4, 1/143321*(-3822*w + 97604)>, <-4, 1/11991*(-130*w + 13676)>, <-4, 1/143321*(-735*w + 125286)>, <-28, 1/20*(-7*w + 139)>, <-12, 1/315*(-16*w - 96)>, <-12, 1/3152*(-85*w + 4087)>, <-12, 1/254701*(-3249*w + 88641)>, <-12, 1/12*(-w - 13)>, <-6, 1/1027*(-12*w + 819)>, <-12, 1/334*(-21*w + 439)>, <-12, 1/1533*(-40*w - 200)>, <-12, 1/315763*(-4446*w + 101023)>, <-12, 1/18101*(-18*w + 17795)>, <-12, 1/25039*(-234*w + 19800)>, <-12, 1/625*(-8*w + 601)>, <-24, 1/721*(-12*w + 192)>, <-12, 1/176*(-w + 5)>, <-12, 1/487*(-13*w - 26)>, <-12, 1/552*(-13*w + 39)>, <-12, 1/274407*(-4784*w + 115063)>, <-12, 1/437*(-8*w + 469)>, <-4, 1/361221*(-2420*w + 312700)>, <-16, 1/120407*(-2200*w + 11407)>, <-16, 1/11*(-w - 4)>, <-16, 1/330*(-19*w + 425)>, <-12, 1/153*(-20*w - 220)>, <-6, 1/257839*(-1452*w + 14871)>, <-18, 1/3*(-w + 7)>, <-16, 1/487*(-21*w + 445)>, <-12, 1/405739*(-7942*w + 259534)>, <-12, 1/6*(-w + 3)>, <-12, 1/276*(-19*w - 114)>, <-12, 1/393819*(-5152*w + 86240)>, <-12, 1/3*(-w + 1)>, <-12, 1/529*(-16*w + 48)>, <-12, 1/663*(-28*w + 392)>, <-12, 1/19348*(-121*w + 1815)>, <-6, 1/691*(-15*w + 225)>, <-6, 1/256*(-15*w - 210)>, <-12, 1/98693*(-1710*w + 86013)>, <-12, 1/289*(-27*w + 316)>, <-12, 1/111251*(-2320*w + 67715)>, <-6, 1/324*(-13*w + 454)>, <-12, 1/342*(-13*w + 446)>, <-4, 1/112931*(-1250*w - 8294)>, <-52, 1/135473*(-100*w + 136825)>, <-4, 1/15325*(-475*w + 9378)>, <-12, 1/122213*(-880*w + 105248)>, <-12, 1/5*(-w - 8)>, <-12, 1/408381*(-850*w + 419975)>, <-12, 1/20575*(-102*w + 18739)>, <-12, 1/823*(-25*w + 475)>, <-12, 1/529*(-18*w + 421)>, <-12, -w + 7>, <-12, 1/529*(-3*w + 529)>, <-12, 1/3318*(-529*w + 4761)>, <-12, 1/265993*(-4232*w + 11544)>, <-4, 1/7028*(-27*w + 5228)>, <-4, 1/3401*(-27*w + 5228)>, <-4, 1/152*(-3*w + 203)>, <-4, 1/251*(-3*w + 203)>, <-12, 1/4088*(-75*w + 4538)>, <-12, 1/13*(-8*w - 115)>, <-16, 1/12873*(-130*w + 14433)>, <-4, 1/571*(-5*w + 621)>, <-4, 1/394561*(-2730*w + 339066)>, <-12, 1/39*(-22*w + 391)>, <-12, 1/1679*(-22*w + 205)>, <-12, 1/1825*(-28*w + 1993)>, <-6, 1/340663*(-3042*w + 74191)>, <-12, 1/3507*(-104*w - 416)>, <-12, 1/10101*(-361*w + 10462)>, <-12, 1/481*(-10*w + 10)>, <-12, 1/192*(-17*w - 289)>, <-12, 1/787*(-17*w + 306)>, <-12, 1/483*(-w + 482)>, <-12, 1/487*(-w + 3)>, <-12, 1/1449*(-484*w + 968)>, <-12, 1/637*(-484*w + 6929)>, <-12, 1/637*(-9*w + 117)>, <-12, 1/29893*(-476*w + 17969)>, <-12, 1/36907*(-420*w + 11847)>, <-12, 1/529*(-16*w + 481)>, <-4, 1/84*(-w + 79)>, <-4, 1/412*(-9*w + 247)>, <-4, 1/73*(-9*w + 247)>, <-1, 1/519841*(-3600*w + 242176)>, <-1, 1/346801*(-3840*w + 126976)>, <-2, 1/11536*(-465*w + 15376)>, <-1, 1/519841*(-6975*w + 57600)>, <-1, 1/7215*(-256*w + 14911)>, <-1, 1/256*(-31*w + 256)>, <-5, 1/225*(-16*w + 481)>, <-12, 1/663*(-14*w + 196)>, <-12, 1/285*(-14*w - 182)>, <-12, 1/176*(-w + 187)>, <-24, 1/179*(-w - 7)>, <-12, 1/405739*(-8970*w + 330694)>, <-12, 1/15*(-w + 19)>, <-12, 1/5*(-w + 9)>, <-12, 1/272629*(-2640*w + 270864)>, <-12, 1/264741*(-4576*w + 77957)>, <-4, 1/2435*(-462*w + 3821)>, <-12, 1/3536*(-77*w + 4614)>, <-12, 1/487*(-16*w + 455)>, <-12, 1/146*(-21*w + 272)>, <-4, 1/6*(-w + 6)>, <-4, 1/245791*(-2850*w + 228475)>, <-4, 1/245791*(-9025*w + 309650)>, <-4, 1/146657*(-722*w + 24772)>, <-12, 1/82*(-21*w + 502)>, <-12, 1/9139*(-462*w + 9601)>, <-12, 1/38*(-w + 38)>, <-12, 1/10731*(-256*w + 12267)>, <-6, 1/9414*(-289*w + 11437)>, <-12, 1/333151*(-3078*w + 269971)>, <-6, 1/63*(-2*w + 67)>, <-4, 1/79*(-w - 8)>, <-4, 1/237*(-w + 325)>, <-4, 1/72*(-w + 88)>, <-4, 1/316*(-3*w + 264)>, <-4, 1/7*(-4*w + 43)>, <-12, 1/36*(-w + 37)>, <-24, 1/553*(-12*w + 457)>, <-12, 1/691*(-6*w + 90)>, <-12, 1/6083*(-625*w + 5625)>, <-12, 1/12888*(-169*w + 14240)>, <-24, 1/192*(-19*w - 190)>, <-4, 1/340663*(-6270*w + 306090)>, <-4, 1/355453*(-4332*w + 195301)>, <-12, 1/13699*(-132*w - 1980)>, <-12, 1/284271*(-3610*w + 110630)>, <-12, 1/4175*(-147*w + 3587)>, <-12, 1/167*(-2*w - 8)>, <-24, 1/11747*(-198*w + 14717)>, <-24, 1/432*(-17*w + 466)>, <-12, 1/2093*(-174*w + 1919)>, <-12, 1/2*(-w - 19)>, <-12, 1/12562*(-153*w + 14092)>, <-4, 1/487*(-17*w - 34)>, <-4, 1/198*(-17*w + 538)>, <-4, 1/150101*(-867*w + 110381)>, <-4, 1/8279*(-442*w + 13988)>, <-4, 1/254701*(-3978*w + 51381)>, <-12, 1/481*(-6*w + 487)>, <-12, -w + 8>, <-12, 1/529*(-8*w + 56)>, <-12, 1/576*(-5*w + 40)>, <-12, 1/322*(-25*w + 297)>, <-12, 1/411691*(-3025*w + 372850)>, <-12, 1/493*(-13*w + 545)>, <-12, 1/44929*(-1176*w + 28024)>, <-12, 1/4*(-w - 3)>, <-8, 1/326041*(-3990*w + 84000)>, <-12, 1/251563*(-3024*w + 46795)>, <-12, 1/69*(-22*w - 286)>, <-12, 1/487*(-w + 490)>, <-12, 1/1479*(-484*w + 3415)>, <-12, 1/529*(-12*w + 457)>, <-12, 1/553*(-2*w + 18)>, <-12, 1/14*(-w + 15)>, <-12, 1/9674*(-285*w - 3990)>, <-12, 1/87173*(-770*w + 10635)>, <-12, 1/4117*(-42*w + 694)>, <-4, 1/21*(-w + 1)>, <-4, 1/438787*(-882*w + 22126)>, <-4, 1/433381*(-840*w + 19240)>, <-4, 1/1802*(-483*w + 11063)>, <-4, 1/438787*(-10143*w + 194481)>, <-4, -2/481*w>, <-12, 1/2672*(-119*w + 3267)>, <-12, 1/10983*(-250*w + 12733)>, <-12, 1/161*(-24*w + 137)>, <-12, 1/66*(-25*w + 341)>, <-24, 1/176*(-19*w - 209)>, <-12, 1/2171*(-128*w + 2811)>, <-12, 1/7888*(-361*w + 9332)>, <-4, 1/225*(-16*w + 497)>, <-4, 1/625*(-9*w + 153)>, <-4, 1/8848*(-625*w + 3848)>, <-4, 1/4977*(-400*w - 3200)>, <-12, 1/326823*(-4370*w + 238963)>, <-8, 1/4137*(-50*w + 4687)>, <-12, 1/2092*(-575*w + 4025)>, <-12, 1/4*(-w - 6)>, <-12, 1/289*(-11*w - 165)>, <-12, 1/487*(-18*w + 451)>, <-12, 1/493*(-23*w + 92)>, <-12, 1/6601*(-12*w + 240)>, <-12, 1/361*(-15*w + 496)>, <-4, 1/523*(-9*w + 586)>, <-4, 1/377083*(-3978*w + 259012)>, <-4, 1/529*(-8*w + 601)>, <-4, 1/4424*(-23*w + 16959)>, <-4, 1/12719*(-24*w + 13080)>, <-4, 1/398713*(-12696*w + 220440)>, <-4, 1/537*(-8*w + 601)>, <-4, 1/24*(-w + 6)>, <-4, 1/65*(-24*w + 456)>, <-4, 1/576*(-5*w + 95)>, <-4, 1/9709*(-576*w + 6829)>, <-4, 1/2555*(-456*w - 2280)>, <-12, 1/363727*(-1875*w + 375625)>, <-12, 1/91931*(-1650*w + 22781)>, <-12, 1/4930*(-441*w + 6694)>, <-12, 1/493*(-4*w + 16)>, <-12, 1/86099*(-1008*w + 70272)>, <-12, 1/553*(-3*w + 529)>, <-12, 1/11753*(-484*w + 9333)>, <-12, 1/511*(-9*w - 45)>, <-12, 1/501*(-2*w + 511)>, <-12, 1/3*(-w + 10)>, <-12, 1/529*(-14*w + 98)>, <-4, 1/334*(-161*w + 1139)>, <-4, 1/487*(-2*w + 493)>, <-4, 1/400801*(-966*w + 20470)>, <-4, 1/18929*(-28*w + 532)>, <-12, 1/187*(-18*w - 216)>, <-12, 1/5710*(-361*w + 9320)>, <-12, 1/351127*(-6498*w + 194814)>, <-12, 1/361*(-15*w + 481)>, <-4, 1/274651*(-3600*w + 82251)>, <-4, 1/15893*(-16*w + 16133)>, <-4, 1/4*(-w - 10)>, <-4, 1/136127*(-900*w - 5848)>, <-12, 1/529*(-18*w + 439)>, <-12, 1/1382*(-529*w + 7935)>, <-12, 1/353101*(-4761*w + 58977)>, <-12, 1/306627*(-1058*w + 15148)>, <-12, 1/4*(-w + 12)>, <-4, 1/394561*(-120*w + 396336)>, <-4, 1/691*(-576*w + 8640)>, <-4, 1/382123*(-13248*w + 182827)>, <-4, 1/552*(-w - 9)>, <-4, 1/80327*(-760*w + 7975)>, <-4, 1/25*(-8*w + 160)>, <-4, 1/287*(-8*w + 160)>, <-12, 1/591*(-10*w + 491)>, <-12, 1/80327*(-588*w + 9620)>, <-12, 1/3938*(-69*w + 4490)>, <-12, 1/221*(-8*w - 104)>, <-12, 1/4199*(-50*w + 4899)>, <-4, 1/352261*(-2484*w + 365769)>, <-4, 1/382123*(-3174*w + 321103)>, <-12, 1/281503*(-3174*w + 273493)>, <-12, 1/529*(-6*w + 60)>, <-12, 1/3451*(-529*w + 1864)>, <-12, 1/274407*(-1058*w + 276667)>, <-12, 1/529*(-9*w + 72)>, <-12, 1/2044*(-529*w - 601)>, <-12, 1/167*(-192*w - 768)>, <-12, 1/1813*(-24*w + 888)>, <-1, 1/390*(-11*w + 456)>, <-1, 1/901*(-15*w + 601)>, <-1, 1/5621*(-225*w + 14636)>, <-1, 1/286*(-15*w + 601)>, <-1, 1/13286*(-165*w + 6611)>, <-1, 1/225*(-26*w + 381)>, <-16, 1/571*(-26*w + 260)>, <-16, 1/6526*(-35*w + 595)>, <-12, 1/529*(-6*w + 505)>, <-12, 1/553*(-4*w + 36)>, <-12, 1/529*(-9*w + 529)>, <-12, 1/2548*(-529*w + 6877)>, <-12, 1/306397*(-6348*w + 51948)>, <-4, 1/676*(-11*w + 577)>, <-4, 1/676*(-15*w + 436)>, <-4, 1/2761*(-130*w + 4971)>, <-12, 1/481*(-4*w + 485)>, <-12, 1/7*(-w + 12)>, <-12, 1/529*(-12*w + 60)>, <-12, 1/7356*(-625*w + 7500)>, <-12, 1/625*(-12*w + 481)>, <-12, 1/390481*(-625*w + 481)> ]