/* Defining polynomial */ x^2 - x + 381 /* GCD of coefficients */ 1 /* 24 * |disc|^(3/2) /(8*pi^2)* zeta_F(2) */ 24776.6479258141959830153057234 /* Belt */ [ <24, 1/323*(15*w + 353)>, <48, 1/240*(17*w + 325)>, <24, 1/5805*(323*w + 6451)>, <48, 1/240*(17*w - 102)>, <72, 1/393*(7*w + 365)>, <24, 1/10*(w + 1)>, <24, 1/383*(10*w + 10)>, <256, 1/171*(7*w + 87)>, <256, 1/157*(7*w + 87)>, <120, 1/423*(19*w + 290)>, <12, 1/3401*(24*w + 3152)>, <120, 1/18*(w + 6)>, <192, 1/9*(w + 2)>, <12, 1/34*(w - 7)>, <84, 1/563*(19*w + 297)>, <84, 1/411*(19*w + 297)>, <132, 1/9*(w + 5)>, <348, 1/23*(w + 7)>, <96, 1/171*(5*w + 111)>, <132, 1/131*(3*w + 119)>, <24, 1/188053*(3876*w + 115957)>, <348, 1/23*(w + 15)>, <12, 1/2021*(38*w + 463)>, <192, 1/453*(17*w + 300)>, <36, 1/9*(w - 4)>, <12, 1/1179*(152*w + 456)>, <24, 1/188053*(3876*w + 68220)>, <96, 1/171*(5*w + 55)>, <48, 1/10*(w + 5)>, <48, 1/513*(16*w + 176)>, <24, 1/315*(17*w + 349)>, <24, 1/315*(17*w - 51)>, <184, 1/23*(w + 11)>, <48, 1/411*(10*w + 50)>, <48, 1/16*(w + 11)>, <120, 1/491*(17*w + 170)>, <52, 1/21*(w + 5)>, <24, 1/383*(4*w + 4)>, <24, 1/563*(16*w + 208)>, <24, 1/387*(4*w + 8)>, <12, 1/323*(10*w - 40)>, <36, 1/393*(10*w + 30)>, <24, 1/255*(16*w + 351)>, <24, 1/255*(16*w - 112)>, <52, 1/137*(7*w + 35)>, <24, 1/563*(16*w + 339)>, <120, 1/423*(17*w + 102)>, <12, 1/62957*(735*w + 61887)>, <24, 1/6*(w + 9)>, <36, 1/393*(8*w + 24)>, <24, 1/4910*(323*w - 3553)>, <24, 1/491*(24*w + 240)>, <24, 1/13512*(85*w + 1105)>, <24, 1/323*(10*w - 110)>, <20, 1/16*(23*w - 260)>, <20, 1/263169*(368*w - 4160)>, <24, 1/17673*(133*w + 117)>, <24, 1/383*(133*w + 117)>, <24, 1/32*(7*w + 88)>, <196, 1/179*(7*w + 84)>, <24, 1/4117*(13*w + 3948)>, <24, 1/1881*(91*w + 2882)>, <196, 1/21*(w + 12)>, <36, 1/393*(7*w + 414)>, <24, 1/1661*(91*w - 819)>, <192, 1/47*(w + 40)>, <24, 1/87723*(299*w + 90804)>, <24, 1/1881*(91*w - 1092)>, <36, 1/491*(7*w + 414)>, <24, 1/60131*(1001*w + 32851)>, <84, 1/387*(13*w + 26)>, <108, 1/513*(22*w + 242)>, <24, 1/35*(22*w + 255)>, <24, 1/10802*(35*w + 11152)>, <24, 1/491*(24*w + 227)>, <24, 1/276433*(2040*w - 21335)>, <84, 1/387*(13*w + 348)>, <108, 1/491*(22*w + 220)>, <72, 1/131*(4*w + 12)>, <72, 1/131*(4*w + 115)>, <204, 1/141*(5*w + 30)>, <24, 1/66*(5*w + 106)>, <48, 1/2041*(80*w + 2761)>, <24, 1/383*(10*w + 393)>, <24, 1/513*(10*w + 393)>, <48, 1/65493*(1040*w + 35893)>, <12, 1/71779*(1176*w + 63651)>, <12, 1/441*(5*w + 60)>, <12, 1/1604*(147*w + 869)>, <96, 1/437*(15*w + 317)>, <24, 1/2679*(26*w + 2224)>, <24, 1/524*(35*w - 140)>, <24, 1/91*(5*w - 25)>, <24, 1/22401*(455*w + 11845)>, <24, 1/6751*(140*w + 4095)>, <24, 1/982*(13*w + 1112)>, <24, 1/393*(14*w + 337)>, <24, 1/423*(20*w + 283)>, <24, 1/563*(20*w + 283)>, <24, 1/491*(14*w + 337)>, <24, 1/10341*(182*w + 4998)>, <24, 1/141*(2*w + 106)>, <24, 1/46*(w + 53)>, <24, 1/2329*(77*w - 462)>, <24, 1/231*(17*w - 102)>, <200, 1/19*(w + 9)>, <24, 1/2115*(77*w - 539)>, <24, 1/77*(5*w - 35)>, <120, 1/57*(2*w + 33)>, <24, 1/4*(w - 2)>, <24, 1/411*(4*w + 387)>, <24, 1/10341*(182*w + 5161)>, <48, 1/423*(8*w + 367)>, <156, 1/17*(w + 9)>, <48, 1/16*(w + 5)>, <48, 1/411*(16*w + 80)>, <12, 1/817*(16*w + 81)>, <60, 1/43*(w + 45)>, <60, 1/11*(w + 11)>, <12, 1/5643*(260*w - 3120)>, <156, 1/471*(17*w + 153)>, <48, 1/423*(8*w + 48)>, <144, 1/13*(w + 6)>, <60, 1/43*(w - 3)>, <12, 1/513*(34*w - 408)>, <24, 1/153*(16*w + 329)>, <24, 1/912*(17*w + 1099)>, <48, 1/9*(w + 7)>, <24, 1/401*(6*w + 371)>, <48, 1/437*(9*w + 63)>, <24, 1/383*(6*w + 371)>, <24, 1/230*(17*w + 349)>, <24, 1/190*(17*w - 136)>, <24, 1/10341*(170*w + 3490)>, <24, 1/11097*(170*w + 7837)>, <204, 1/15*(w + 6)>, <36, 1/3591*(10*w + 3701)>, <108, 1/13*(w + 5)>, <108, 1/411*(13*w + 65)>, <72, 1/179*(6*w + 72)>, <24, 1/2451*(44*w + 427)>, <24, 1/799*(26*w + 955)>, <24, 1/383*(44*w + 427)>, <24, 1/25413*(442*w + 16235)>, <12, 1/895*(18*w + 1111)>, <108, 1/129*(5*w + 114)>, <48, 1/24523*(210*w + 20778)>, <168, 1/137*(5*w + 25)>, <168, 1/157*(5*w + 45)>, <72, 1/137*(6*w + 30)>, <48, 1/24523*(210*w + 3535)>, <144, 1/453*(13*w + 104)>, <24, 1/67267*(912*w + 17955)>, <24, 1/1915*(418*w + 1079)>, <24, 1/215629*(4620*w + 108724)>, <120, 1/423*(19*w + 114)>, <48, 1/5*(w + 3)>, <48, 1/69231*(952*w + 51255)>, <24, 1/8763*(170*w + 4275)>, <48, 1/705*(28*w - 196)>, <24, 1/5076*(323*w + 7014)>, <48, 1/10*(w + 2)>, <24, 1/23*(2*w + 37)>, <36, 1/3*(w - 6)>, <108, 1/513*(17*w + 309)>, <192, 1/19*(w + 10)>, <24, 1/112*(3*w - 15)>, <24, 1/611*(30*w + 791)>, <84, 1/127*(3*w + 127)>, <12, 1/1413*(100*w + 2313)>, <24, 1/1143*(20*w + 615)>, <144, 1/453*(13*w + 336)>, <24, 1/171*(16*w + 315)>, <24, 1/308*(15*w + 353)>, <24, 1/178029*(2090*w + 5395)>, <48, 1/383*(5*w + 373)>, <48, 1/69231*(952*w + 17024)>, <24, 1/95*(4*w + 123)>, <24, 1/685*(34*w + 855)>, <48, 1/705*(28*w + 873)>, <24, 1/323*(12*w + 395)>, <108, 1/411*(17*w + 309)>, <36, 1/151*(w + 142)>, <24, 1/38*(w + 45)>, <48, 1/437*(10*w + 357)>, <48, 1/387*(5*w + 372)>, <192, 1/453*(19*w + 282)>, <24, 1/611*(30*w - 210)>, <24, 1/112*(3*w + 124)>, <24, 1/655*(32*w - 128)>, <72, 1/180*(17*w + 316)>, <24, 1/7398*(221*w - 1326)>, <132, 1/157*(6*w + 54)>, <36, 1/18*(w + 2)>, <36, 1/18*(w + 15)>, <48, 1/537*(13*w + 368)>, <12, 1/1016*(25*w + 1016)>, <12, 4/127*w>, <36, 1/15*(w + 1)>, <12, 1/5745*(338*w - 676)>, <24, 1/221*(18*w - 108)>, <72, 1/180*(17*w - 153)>, <132, 1/157*(6*w + 97)>, <24, 1/21717*(385*w + 7997)>, <24, 1/21717*(385*w + 13335)>, <24, 1/2512*(65*w - 650)>, <24, 1/72627*(1040*w + 22035)>, <108, 1/21*(w + 6)>, <48, 1/18*(w + 3)>, <48, 1/513*(13*w + 143)>, <36, 1/141*(2*w + 12)>, <24, 1/54567*(532*w + 1500)>, <36, 1/591*(17*w + 238)>, <36, 1/127*(2*w - 2)>, <36, 1/591*(17*w + 336)>, <24, 1/508*(133*w + 375)>, <108, 1/21*(w + 14)>, <12, 1/9129*(100*w + 10329)>, <136, 1/537*(23*w + 276)>, <36, 1/563*(15*w + 353)>, <48, 1/13*(w + 11)>, <48, 1/18*(w + 14)>, <48, 1/2983*(42*w + 3361)>, <48, 1/77131*(798*w + 63859)>, <40, 1/471*(14*w + 331)>, <40, 1/471*(14*w + 126)>, <28, 1/4*(7*w + 88)>, <8, 1/453*(4*w - 36)>, <4, 1/10203*(49*w + 9387)>, <4, 1/1208*(7*w + 88)>, <8, 1/4*(w - 9)>, <4, 1/147*(8*w + 75)>, <4, 1/3*(w - 9)>, <12, 1/49*(w + 3)>, <12, 1/5633*(98*w + 6027)>, <12, 1/344*(49*w + 197)>, <12, 1/10697*(50*w - 700)>, <12, 1/4*(w - 12)>, <12, 1/437*(8*w - 64)>, <120, 1/411*(11*w + 345)>, <12, 1/621*(22*w + 269)>, <12, 1/2021*(25*w + 996)>, <12, 1/441*(5*w + 436)>, <12, 1/982*(147*w + 1470)>, <12, 1/62357*(1470*w + 4880)>, <96, 1/437*(16*w + 112)>, <24, 1/1048*(119*w - 476)>, <24, 1/71501*(1482*w + 43434)>, <52, 1/127*w>, <24, 1/1703*(114*w - 456)>, <52, 1/129*(w + 2)>, <108, 1/129*(5*w + 10)>, <96, 1/453*(16*w + 128)>, <24, 1/1048*(119*w + 1405)>, <24, 1/3591*(11*w + 3712)>, <24, 1/69273*(1190*w + 48433)>, <24, 1/906*(17*w + 1042)>, <24, 1/69273*(1190*w + 19650)>, <24, 1/27029*(77*w + 25984)>, <12, 1/19177*(300*w + 6477)>, <84, 3/127*w>, <24, 1/2679*(34*w + 2084)>, <36, 1/471*(10*w + 371)>, <24, 1/374*(9*w - 27)>, <24, 1/491*(9*w + 90)>, <12, 1/238149*(2618*w + 61621)>, <12, 1/7*(w + 13)>, <24, 1/491*(9*w + 392)>, <36, 1/381*(10*w + 371)>, <24, 1/188053*(3366*w + 38079)>, <24, 1/563*(22*w + 286)>, <84, 1/127*(3*w + 124)>, <24, 1/563*(22*w + 255)>, <24, 1/22733*(476*w + 7144)>, <24, 1/1548*(119*w + 1786)>, <72, 1/423*(14*w + 325)>, <24, 1/209*(16*w - 128)>, <96, 1/16*(w + 9)>, <64, 1/11*(w + 1)>, <24, 1/72333*(805*w - 1405)>, <36, 1/26847*(70*w + 25907)>, <24, 1/4010*(323*w - 1615)>, <24, 1/323*(10*w - 50)>, <24, 1/1432*(7*w + 1341)>, <24, 1/179*(8*w + 96)>, <12, 1/6493*(98*w + 6517)>, <12, 1/2*(w + 8)>, <72, 1/437*(14*w + 325)>, <24, 1/368*(11*w - 88)>, <96, 1/471*(16*w + 144)>, <64, 1/383*(11*w + 11)>, <48, 1/411*(5*w + 381)>, <36, 1/171*(2*w + 22)>, <12, 1/548*(49*w + 245)>, <24, 1/685*(161*w - 281)>, <24, 1/4531*(27*w + 4126)>, <24, 1/78997*(855*w + 13770)>, <24, 1/1179*(20*w + 715)>, <84, 1/393*(11*w + 33)>, <48, 1/785*(22*w + 983)>, <48, 1/785*(22*w - 220)>, <24, 1/156*(17*w - 170)>, <108, 1/471*(13*w + 117)>, <108, 1/471*(13*w + 341)>, <24, 1/70281*(884*w + 53329)>, <24, 1/88391*(621*w + 94898)>, <24, 1/135*(19*w + 306)>, <24, 1/115*(4*w + 143)>, <84, 1/393*(11*w + 349)>, <36, 1/179*(3*w + 140)>, <72, 1/563*(17*w + 221)>, <96, 1/11*(w + 6)>, <84, 1/491*(20*w + 271)>, <84, 1/471*(20*w + 271)>, <72, 1/17*(w + 13)>, <96, 1/423*(11*w + 66)>, <24, 1/5614*(299*w + 6810)>, <12, 1/10*(w + 12)>, <12, 1/207819*(4370*w + 177859)>, <24, 1/247*(14*w + 345)>, <24, 1/10449*(182*w + 4485)>, <24, 1/889*(138*w + 889)>, <48, 1/393*(16*w + 48)>, <48, 1/16*(w + 3)>, <24, 1/889*(138*w - 138)>, <24, 1/23427*(391*w + 15929)>, <36, 1/137*(2*w - 12)>, <24, 1/802*(119*w - 595)>, <12, 1/50*(7*w - 49)>, <12, 1/548*(147*w + 735)>, <24, 1/119*(2*w - 10)>, <120, 1/141*(4*w + 113)>, <12, 1/21291*(380*w + 12855)>, <120, 1/137*(4*w + 113)>, <24, 1/799*(23*w + 937)>, <24, 1/17*(7*w + 87)>, <24, 1/604*(133*w + 1668)>, <24, 1/64527*(532*w + 6672)>, <24, 1/17*(7*w - 77)>, <72, 1/471*(23*w + 207)>, <72, 1/23*(w + 9)>, <24, 1/299*(14*w + 355)>, <96, 1/453*(20*w + 160)>, <24, 1/64*(5*w - 55)>, <24, 1/180393*(3128*w + 152881)>, <24, 1/246031*(1680*w + 222831)>, <24, 1/188053*(3588*w + 77124)>, <24, 1/23091*(320*w + 15475)>, <24, 1/299*(12*w - 72)>, <24, 1/1935*(104*w + 2143)>, <12, 1/5401*(260*w + 8001)>, <60, 1/381*(11*w + 370)>, <96, 1/513*(20*w + 220)>, <36, 1/10*(w + 3)>, <24, 1/246031*(1680*w + 21520)>, <24, 1/3048*(391*w - 391)>, <136, 1/491*(21*w + 210)>, <72, 1/537*(17*w + 204)>, <24, 1/112*(17*w - 221)>, <12, 1/210843*(3808*w + 137819)>, <72, 1/129*(4*w + 8)>, <72, 1/157*(4*w + 36)>, <24, 1/437*(6*w + 389)>, <24, 1/437*(6*w + 425)>, <24, 1/786*(161*w + 142)>, <48, 1/27029*(126*w + 1584)>, <24, 1/383*(6*w + 389)>, <24, 1/196891*(2622*w + 185725)>, <24, 1/161*(2*w + 153)>, <48, 1/27029*(126*w + 25319)>, <24, 1/4*(w - 7)>, <24, 1/491*(4*w + 447)>, <64, 1/401*(9*w + 36)>, <24, 1/25239*(266*w + 4624)>, <24, 1/25239*(266*w + 20349)>, <28, 1/4*(7*w - 91)>, <72, 1/383*(7*w + 369)>, <24, 1/306*(11*w + 394)>, <72, 1/453*(7*w + 390)>, <72, 1/453*(7*w + 56)>, <24, 1/62357*(1155*w + 38850)>, <24, 1/62357*(1155*w + 22352)>, <36, 1/491*(15*w + 150)>, <24, 1/176*(15*w - 165)>, <24, 1/68557*(1122*w + 40188)>, <72, 1/411*(7*w + 369)>, <24, 1/460*(7*w + 446)>, <24, 1/167371*(2880*w + 47691)>, <24, 1/1918*(95*w + 2393)>, <24, 1/383*(5*w + 388)>, <24, 1/1812*(95*w - 855)>, <24, 1/2005*(102*w + 2413)>, <48, 1/387*(5*w + 397)>, <24, 1/9329*(100*w + 10329)>, <24, 1/19781*(380*w + 8476)>, <72, 1/453*(14*w + 327)>, <24, 1/112*(3*w + 127)>, <72, 1/491*(18*w + 293)>, <24, 1/21509*(360*w + 7704)>, <24, 1/2681*(460*w + 1761)>, <24, 1/3699*(320*w + 5299)>, <24, 1/8*w>, <24, 1/253*(16*w + 365)>, <24, 1/68557*(1330*w + 33502)>, <24, 1/383*(5*w - 10)>, <48, 1/381*(5*w + 381)>, <24, 8/381*w>, <24, 1/22733*(380*w + 12065)>, <24, 1/102*(5*w + 122)>, <48, 1/387*(5*w - 15)>, <72, 1/491*(18*w + 180)>, <24, 1/9329*(100*w - 1100)>, <24, 1/10287*(176*w + 4015)>, <72, 1/453*(14*w + 112)>, <24, 1/21509*(360*w + 13445)>, <24, 1/112*(3*w - 18)>, <24, 1/1644*(95*w + 2119)>, <36, 1/15*(w + 14)>, <36, 1/381*(13*w + 381)>, <12, 1/100777*(1950*w + 83902)>, <12, 1/12*(w - 1)>, <48, 1/383*(11*w - 22)>, <12, 1/416*(11*w + 11)>, <12, 1/19939*(490*w + 18179)>, <24, 1/3*(w + 9)>, <36, 1/15*w>, <24, 1/14*w>, <24, 1/19781*(364*w + 8952)>, <24, 1/1692*(91*w + 2238)>, <24, 1/1532*(119*w - 238)>, <24, 1/1703*(119*w - 476)>, <48, 1/131*(w + 127)>, <24, 1/6*(w + 5)>, <24, 1/25019*(560*w + 10795)>, <24, 1/127*(2*w + 125)>, <24, 1/1935*(112*w + 2159)>, <24, 1/10*(w + 10)>, <12, 1/187071*(3910*w + 148971)>, <24, 1/4979*(368*w + 5347)>, <24, 1/4979*(368*w - 736)>, <24, 1/21717*(476*w + 14637)>, <24, 1/357*(13*w - 52)>, <48, 1/131*(w + 3)>, <24, 1/563*(14*w + 367)>, <12, 1/6015*(266*w + 7079)>, <36, 1/491*(15*w + 326)>, <68, 1/471*(22*w + 251)>, <4, 1/1253*(w + 1265)>, <4, 1/3*(w - 10)>, <4, 1/32041*(154*w + 2385)>, <4, 1/8949*(8*w - 1179)>, <40, 1/24*(7*w + 87)>, <12, 1/423*(154*w - 655)>, <40, 1/1099*(8*w + 1171)>, <12, 1/1644*(361*w + 3449)>, <24, 1/437*(4*w + 405)>, <12, 1/10611*(152*w + 2536)>, <20, 1/959*(20*w - 120)>, <4, 1/7*(2*w + 37)>, <16, 1/10*(7*w + 105)>, <4, 1/147*(w + 15)>, <4, 1/822*(49*w + 528)>, <20, 1/60*(7*w - 42)>, <4, 1/137*(42*w - 252)>, <12, 1/635*(44*w + 591)>, <12, 1/207*(5*w + 127)>, <4, 1/50*(21*w + 260)>, <24, 1/140*(3*w + 140)>, <24, 1/78223*(780*w + 66640)>, <24, 1/357*(8*w - 24)>, <24, 1/192963*(3542*w + 104160)>, <24, 1/342*(13*w + 368)>, <24, 1/24523*(390*w + 17568)>, <24, 1/342*(13*w - 39)>, <24, 1/65*(6*w - 42)>, <24, 1/5922*(253*w + 7440)>, <24, 1/117*(20*w - 180)>, <24, 1/1143*(140*w + 1143)>, <24, 1/1032*(119*w - 357)>, <60, 1/387*(11*w + 354)>, <24, 1/20687*(140*w + 19880)>, <48, 1/537*(11*w + 132)>, <24, 1/141*(w + 134)>, <60, 1/11*(w + 8)>, <24, 1/20687*(140*w + 667)>, <136, 1/537*(23*w + 238)>, <24, 1/3*(w - 4)>, <60, 1/491*(11*w + 370)>, <36, 1/423*(7*w + 374)>, <12, 1/2667*(374*w + 2667)>, <24, 1/71501*(1190*w + 39116)>, <84, 1/127*(3*w - 3)>, <24, 1/255*(14*w - 126)>, <24, 1/762*(133*w - 133)>, <24, 1/76239*(1615*w + 31920)>, <24, 1/19479*(266*w + 17689)>, <24, 1/285*(17*w + 336)>, <48, 1/401*(12*w + 341)>, <24, 1/42*(w - 4)>, <24, 1/18001*(210*w + 16296)>, <12, 1/8607*(130*w - 1170)>, <24, 1/4117*(20*w + 277)>, <24, 1/517*(40*w - 280)>, <24, 1/360*(11*w - 77)>, <24, 1/171*(20*w - 140)>, <24, 1/6*(7*w - 99)>, <24, 1/26989*(380*w + 21080)>, <24, 1/4117*(20*w + 3820)>, <48, 1/437*(12*w + 341)>, <12, 1/21*(w + 3)>, <12, 1/16*(7*w + 119)>, <24, 1/131*(14*w - 56)>, <24, 1/378*(5*w + 388)>, <24, 1/2815*(57*w + 3556)>, <24, 11/437*w>, <24, 1/75451*(1716*w + 21463)>, <24, 1/25807*(390*w + 18462)>, <24, 1/2622*(65*w + 3077)>, <24, 1/75451*(1716*w + 52272)>, <24, 1/25019*(285*w + 17780)>, <24, 1/437*(11*w + 426)>, <72, 1/17*(w + 12)>, <12, 1/5031*(322*w + 5675)>, <12, 1/2114*(75*w + 2714)>, <36, 1/14*(w + 2)>, <24, 1/2451*(46*w + 335)>, <24, 1/22733*(460*w + 14605)>, <36, 1/387*(14*w + 28)>, <24, 1/381*(46*w + 335)>, <24, 1/115*(4*w + 127)>, <24, 1/17399*(238*w + 14875)>, <12, 1/78997*(1470*w + 64827)>, <12, 1/381*(4*w - 4)>, <24, 1/119*(2*w + 125)>, <24, 1/22137*(140*w + 1417)>, <24, 1/9259*(14*w - 198)>, <24, 1/22137*(140*w + 20580)>, <24, 1/299*(11*w - 66)>, <24, 1/393*(10*w + 423)>, <24, 1/276*(13*w + 341)>, <24, 1/175311*(3289*w + 66176)>, <24, 1/563*(10*w + 423)>, <24, 1/1781*(92*w + 2241)>, <12, 1/3928*(323*w + 7158)>, <36, 1/491*(8*w + 80)>, <12, 1/3591*(289*w + 6770)>, <24, 1/157*(2*w + 175)>, <24, 1/207*(2*w + 175)>, <12, 1/171741*(2992*w + 73821)>, <40, 1/401*(19*w + 76)>, <8, 1/401*(10*w - 50)>, <4, 1/1604*(361*w + 7418)>, <16, 1/40*(19*w + 306)>, <4, 1/9223*(76*w + 1224)>, <4, 1/361*(23*w + 246)>, <8, 1/10*(w - 5)>, <4, 1/4*(w - 5)>, <16, 1/263667*(874*w - 9918)>, <24, 1/46*(7*w - 56)>, <24, 1/46*(7*w + 95)>, <24, 1/1507*(102*w + 2017)>, <12, 1/282*(7*w - 49)>, <12, 1/49*(6*w - 54)>, <12, 1/2679*(50*w + 1804)>, <24, 1/306*(11*w + 361)>, <24, 1/4077*(320*w + 6637)>, <24, 1/5*w>, <24, 1/8*(w + 8)>, <24, 1/491*(5*w - 55)>, <48, 1/15*(22*w + 264)>, <48, 1/3938*(5*w + 60)>, <24, 1/314*(5*w + 359)>, <24, 1/2567*(55*w + 3007)>, <24, 1/187071*(3344*w + 71247)>, <24, 1/201801*(2992*w + 139904)>, <24, 1/6555*(221*w + 8102)>, <24, 1/85*(4*w - 36)>, <24, 1/188053*(2880*w + 59733)>, <24, 1/7*(w - 1)>, <24, 1/401*(5*w + 376)>, <24, 1/381*(7*w - 7)>, <24, 1/381*(8*w + 381)>, <40, 1/19*(w + 4)>, <24, 1/5*(w - 11)>, <24, 1/4653*(304*w + 6477)>, <24, 1/187*(16*w - 144)>, <24, 1/6555*(221*w - 1768)>, <24, 1/15*(2*w + 33)>, <24, 1/68609*(935*w + 51119)>, <24, 1/20253*(340*w + 9968)>, <24, 1/23091*(520*w + 10715)>, <12, 1/10218*(121*w + 10581)>, <12, 1/23449*(784*w + 16121)>, <12, 1/147*(w + 12)>, <12, 1/262*(49*w + 409)>, <24, 1/3171*(32*w + 3427)>, <24, 1/591*(14*w + 381)>, <12, 1/192963*(2366*w + 133644)>, <24, 1/399*(8*w + 391)>, <24, 1/18471*(133*w + 516)>, <24, 1/2192*(95*w - 570)>, <24, 1/2192*(95*w + 2667)>, <12, 1/4953*(368*w + 4953)>, <24, 1/1016*(133*w + 883)>, <24, 1/18471*(133*w + 17822)>, <24, 1/14*(w - 1)>, <8, 1/8949*(110*w + 9939)>, <24, 1/227151*(3344*w + 172767)>, <12, 4/381*w>, <12, 1/361*(5*w + 376)>, <36, 1/8*(w + 3)>, <4, 1/127*(42*w - 42)>, <4, 1/30607*(798*w + 12918)>, <4, 1/21*(w + 2)>, <4, 1/241*(36*w + 889)>, <4, 1/18*(w - 1)>, <4, 1/723*(19*w + 342)>, <12, 1/29083*(114*w + 2299)>, <12, 1/18*w>, <8, 1/110*(19*w + 281)>, <48, 1/13*w>, <24, 1/1397*(140*w + 1257)>, <48, 1/453*(23*w + 184)>, <24, 1/57247*(1078*w + 21967)>, <48, 1/591*(23*w + 322)>, <24, 1/57247*(1078*w + 34202)>, <24, 1/420*(11*w + 409)>, <24, 1/3*(w - 3)>, <24, 1/234669*(1540*w + 211800)>, <24, 1/2451*(40*w + 1800)>, <24, 1/137*(w + 131)>, <24, 1/40*(w + 45)>, <60, 1/11*(w - 1)>, <24, 1/234669*(1540*w + 21329)>, <24, 1/166497*(2618*w + 142494)>, <24, 1/374*(7*w + 381)>, <16, 1/28359*(70*w + 29309)>, <24, 1/2198*(85*w + 2963)>, <24, 1/255*(14*w + 381)>, <36, 1/129*(2*w + 123)>, <24, 1/381*(10*w + 381)>, <12, 1/982*(361*w + 4592)>, <36, 1/6*(w + 3)>, <24, 1/288*(19*w + 345)>, <24, 1/2679*(64*w + 3063)>, <24, 1/133*(2*w - 6)>, <24, 1/133*(4*w - 8)>, <24, 1/3*(w + 7)>, <12, 1/20*(w + 14)>, <12, 1/11820*(11*w - 165)>, <24, 1/437*(3*w + 21)>, <24, 1/78997*(1216*w + 58197)>, <24, 1/87707*(1824*w + 33120)>, <24, 1/774*(133*w - 399)>, <24, 1/133*(4*w + 137)>, <24, 1/19177*(345*w + 14260)>, <24, 1/1161*(161*w + 322)>, <24, 1/255*(13*w + 333)>, <24, 1/59869*(1105*w + 28305)>, <24, 1/437*(22*w + 261)>, <24, 1/591*(22*w + 261)>, <24, 1/115*(3*w + 124)>, <24, 1/161*(3*w + 6)>, <24, 1/6383*(238*w - 2618)>, <24, 1/20*(w + 7)>, <24, 1/437*(20*w + 140)>, <24, 1/238*(13*w - 143)>, <24, 1/56*(5*w - 60)>, <24, 1/1548*(115*w - 345)>, <24, 1/115*(4*w - 12)>, <24, 1/23449*(357*w + 6432)>, <12, 1/8763*(245*w + 6223)>, <12, 1/441*(4*w + 60)>, <12, 1/508*(49*w + 459)>, <24, 1/1311*(119*w + 2144)>, <12, 1/441*(4*w + 465)>, <12, w - 7>, <24, 1/2041*(77*w + 2734)>, <24, 1/129*(4*w - 12)>, <24, 1/483*(8*w + 451)>, <24, 1/63339*(1001*w + 35542)>, <24, 1/12*(w - 3)>, <24, 1/1048*(161*w + 404)>, <12, 1/4983*(266*w - 2394)>, <12, 1/159057*(2584*w + 39224)>, <36, 1/387*(8*w + 16)>, <12, 1/10047*(98*w + 11419)>, <24, 1/1057*(12*w + 1153)>, <24, 1/1057*(12*w - 108)>, <4, 1/222423*(1748*w + 25944)>, <4, 1/529*(4*w + 485)>, <4, 1/529*(19*w + 282)>, <4, 1/2148*(437*w + 7392)>, <8, 1/11293*(8*w - 88)>, <16, 1/12351*(38*w + 456)>, <8, 1/8*(23*w - 253)>, <12, 1/411*(2*w + 421)>, <12, 1/2*(w + 9)>, <12, 1/147*(5*w + 35)>, <12, 1/133*(12*w + 265)>, <12, 1/11*(2*w - 24)>, <24, 1/453*(7*w + 509)>, <24, 1/95*(18*w + 311)>, <24, 1/7*(w + 15)>, <24, 1/9666*(95*w + 10806)>, <36, 1/423*(7*w + 42)>, <24, 1/378*(5*w + 408)>, <12, 1/4257*(442*w + 2931)>, <24, 1/563*(11*w + 409)>, <24, 1/19479*(238*w + 15827)>, <24, 1/19781*(210*w + 17136)>, <24, 1/19479*(238*w + 3414)>, <24, 1/8607*(154*w + 9839)>, <24, 1/5922*(247*w + 7404)>, <12, 1/185103*(2912*w + 105807)>, <12, 1/11799*(32*w - 512)>, <24, 1/19*(w + 15)>, <12, 1/145923*(722*w + 8382)>, <24, 1/236991*(2926*w + 186941)>, <24, 1/188871*(3458*w + 103656)>, <12, 1/471*(5*w + 45)>, <12, 1/361*(22*w + 251)>, <12, 1/8*(w - 5)>, <6, w>, <2, 1/145161*(380*w + 144400)>, <1, 1/381*(19*w + 381)>, <1, 1/289941*(380*w + 7620)>, <2, 1/20*w>, <1, 1/14459*(19*w + 14840)>, <2, 20/381*w>, <1, 1/15220*(361*w + 7239)>, <24, 1/3*(w + 1)>, <16, 1/537*(25*w + 212)>, <8, 1/288369*(2200*w - 20856)>, <8, 1/88*(25*w - 237)>, <36, 1/563*(13*w + 381)>, <24, 1/437*(21*w + 147)>, <24, 1/21*(w + 7)>, <24, 1/360*(7*w + 381)>, <24, 1/917*(120*w + 1277)>, <24, 1/3454*(21*w + 3643)>, <24, 1/3454*(21*w - 210)>, <24, 1/197*(8*w + 77)>, <24, 1/35*(8*w - 85)>, <12, 1/401*(2*w + 391)>, <12, 1/7740*(361*w + 6657)>, <12, 1/387*(13*w - 39)>, <24, 1/380*(7*w + 429)>, <24, 1/591*(16*w + 351)>, <12, 1/8020*(221*w + 8904)>, <20, 1/621*(20*w + 301)>, <24, 1/153583*(1140*w + 146680)>, <6, 1/164811*(400*w + 2411)>, <6, w + 5>, <24, 1/10827*(140*w + 8580)>, <24, 1/380*(3*w + 386)>, <24, 1/383*(16*w + 351)>, <12, 1/7429*(182*w + 8703)>, <12, 1/242*(13*w - 104)>, <12, 1/197*(3*w + 42)>, <12, 1/110*(3*w - 45)>, <24, 1/238*(13*w - 156)>, <12, 1/157593*(2312*w + 50952)>, <24, 1/6669*(238*w - 2856)>, <24, 1/91*(4*w - 36)>, <12, 1/441*(w - 4)>, <24, 1/1812*(91*w - 819)>, <36, 1/8*(w + 2)>, <24, 1/231393*(1672*w + 203585)>, <12, 1/6193*(266*w + 9651)>, <24, 1/387*(11*w + 409)>, <24, 1/88*(19*w - 228)>, <48, 1/563*(25*w + 213)>, <48, 1/112*(25*w - 238)>, <24, 1/2021*(35*w + 1400)>, <24, 1/411*(35*w - 210)>, <12, 1/942*(119*w - 1190)>, <24, 1/288*(11*w + 354)>, <48, 1/401*(7*w + 366)>, <12, 1/473*(36*w + 545)>, <24, 1/288*(11*w - 77)>, <24, 1/35*(22*w - 273)>, <24, 1/119*(19*w - 190)>, <24, 1/252927*(770*w - 9555)>, <24, 1/119*(19*w + 290)>, <68, 1/537*(22*w + 251)>, <24, 1/3297*(25*w - 250)>, <12, 1/16899*(238*w + 14637)>, <24, 1/3297*(25*w + 3522)>, <12, 1/383*(2*w + 385)>, <12, 1/211041*(5776*w + 86496)>, <4, 1/145923*(380*w + 144780)>, <4, 1/400*(19*w + 362)>, <4, 1/400*(w + 381)>, <4, 1/13737*(20*w + 14097)>, <8, 1/7660*(323*w - 646)>, <4, 1/14460*(17*w + 306)>, <4, 1/20*(w + 18)>, <8, 1/323*(20*w - 40)>, <24, 1/215337*(1904*w + 178041)>, <12, 1/537*(14*w + 168)>, <12, 1/187*(14*w - 182)>, <24, 1/238149*(2860*w + 40469)>, <24, 1/8740*(143*w - 1144)>, <24, 1/301*(40*w + 381)>, <24, 1/17907*(280*w + 2667)>, <24, 1/4728*(35*w + 4203)>, <24, 1/197*(8*w + 112)>, <12, 1/7467*(260*w + 8247)>, <12, 1/237843*(6800*w + 139600)>, <12, 1/400*(w + 15)>, <12, 1/4979*(400*w + 5379)>, <6, 1/157593*(400*w + 158400)>, <6, w + 4>, <48, 1/387*(7*w + 366)>, <6, 1/169*(22*w + 279)>, <6, 1/411*(22*w + 279)>, <12, 1/110*(3*w + 119)>, <12, 1/221259*(1768*w + 185691)>, <24, 1/22733*(364*w + 10812)>, <24, 1/22733*(364*w + 11557)>, <36, 1/491*(8*w + 403)>, <48, 1/14075*(112*w + 12507)>, <48, 1/563*(25*w + 325)>, <24, 1/2451*(35*w + 841)>, <24, 1/491*(35*w + 841)>, <24, 1/627*(32*w + 979)>, <12, 1/10134*(77*w + 11135)>, <12, 1/401*(18*w + 311)>, <24, 1/627*(32*w - 384)>, <24, 1/462*(5*w + 472)>, <24, 1/645*(154*w + 953)>, <4, 1/14*(w - 2)>, <4, 1/237843*(2618*w + 74239)>, <8, 1/17*(w + 1)>, <4, 1/8694*(154*w + 13061)>, <8, 1/383*(17*w + 17)>, <4, 1/15525*(196*w + 5558)>, <4, 1/4213*(350*w + 4563)>, <12, 1/280*(11*w - 77)>, <24, 1/63*(20*w - 240)>, <24, 1/26461*(140*w + 24340)>, <24, 1/380*(7*w - 28)>, <12, 1/393*(w + 389)>, <12, 1/400*(7*w - 21)>, <24, 1/380*(7*w + 401)>, <6, 1/484*(13*w + 432)>, <6, 1/653*(13*w + 208)>, <12, 1/252927*(286*w - 3549)>, <12, 1/2807*(75*w + 3107)>, <12, 1/401*(22*w + 88)>, <24, 1/352*(7*w + 401)>, <24, 1/182277*(2464*w + 141152)>, <12, 1/15*(w + 17)>, <12, 1/154*(5*w + 10)>, <4, 1/275*(14*w + 331)>, <4, 1/15525*(121*w + 10509)>, <4, 1/5614*(121*w + 10509)>, <20, 1/20*(w + 4)>, <4, 1/280*(11*w + 445)>, <4, 1/621*(11*w + 445)>, <12, 1/563*(9*w + 117)>, <12, 1/320*(9*w - 126)>, <12, 1/9420*(91*w + 10239)>, <12, 1/484*(w + 3)>, <24, 1/196891*(2640*w + 136875)>, <12, 1/2709*(352*w - 1056)>, <4, 1/320*(9*w + 356)>, <12, 1/7*(22*w - 264)>, <12, 1/3591*(352*w + 7463)>, <12, 1/401*(7*w + 429)>, <-12, 1/3401*(-24*w + 3176)>, <-12, 1/34*(-w - 6)>, <-12, 1/2021*(-38*w + 501)>, <-12, 1/1179*(-152*w + 608)>, <-12, 1/323*(-10*w - 30)>, <-12, 1/62957*(-735*w + 62622)>, <-24, 1/6*(-w + 10)>, <-24, 1/66*(-5*w + 111)>, <-12, 1/71779*(-1176*w + 64827)>, <-12, 1/441*(-5*w + 65)>, <-12, 1/1604*(-147*w + 1016)>, <-12, 1/817*(-16*w + 97)>, <-12, 1/5643*(-260*w - 2860)>, <-12, 1/513*(-34*w - 374)>, <-12, 1/895*(-18*w + 1129)>, <-12, 1/1413*(-100*w + 2413)>, <-24, 1/655*(-32*w - 96)>, <-12, 1/1016*(-25*w + 1041)>, <-12, 1/127*(-4*w + 4)>, <-12, 1/5745*(-338*w - 338)>, <-12, 1/9129*(-100*w + 10429)>, <-4, 1/10203*(-49*w + 9436)>, <-4, 1/1208*(-7*w + 95)>, <-4, 1/147*(-8*w + 83)>, <-4, 1/3*(-w - 8)>, <-12, 1/49*(-w + 4)>, <-12, 1/5633*(-98*w + 6125)>, <-12, 1/344*(-49*w + 246)>, <-12, 1/10697*(-50*w - 650)>, <-12, 1/4*(-w - 11)>, <-12, 1/437*(-8*w - 56)>, <-12, 1/621*(-22*w + 291)>, <-12, 1/2021*(-25*w + 1021)>, <-12, 1/441*(-5*w + 441)>, <-12, 1/982*(-147*w + 1617)>, <-12, 1/62357*(-1470*w + 6350)>, <-12, 1/19177*(-300*w + 6777)>, <-12, 1/238149*(-2618*w + 64239)>, <-12, 1/7*(-w + 14)>, <-24, 1/1432*(-7*w + 1348)>, <-24, 1/179*(-8*w + 104)>, <-12, 1/6493*(-98*w + 6615)>, <-12, 1/2*(-w + 9)>, <-12, 1/548*(-49*w + 294)>, <-12, 1/10*(-w + 13)>, <-12, 1/207819*(-4370*w + 182229)>, <-12, 1/50*(-7*w - 42)>, <-12, 1/548*(-147*w + 882)>, <-12, 1/21291*(-380*w + 13235)>, <-12, 1/5401*(-260*w + 8261)>, <-12, 1/210843*(-3808*w + 141627)>, <-12, 1/100777*(-1950*w + 85852)>, <-12, -1/12*w>, <-12, 1/416*(-11*w + 22)>, <-12, 1/19939*(-490*w + 18669)>, <-24, 1/3*(-w + 10)>, <-12, 1/187071*(-3910*w + 152881)>, <-12, 1/6015*(-266*w + 7345)>, <-4, 1/1253*(-w + 1266)>, <-4, 1/3*(-w - 9)>, <-4, 1/32041*(-154*w + 2539)>, <-4, 1/8949*(-8*w - 1171)>, <-12, 1/423*(-154*w - 501)>, <-12, 1/1644*(-361*w + 3810)>, <-24, 1/437*(-4*w + 409)>, <-12, 1/10611*(-152*w + 2688)>, <-4, 1/7*(-2*w + 39)>, <-4, 1/147*(-w + 16)>, <-4, 1/822*(-49*w + 577)>, <-4, 1/137*(-42*w - 210)>, <-12, 1/635*(-44*w + 635)>, <-12, 1/207*(-5*w + 132)>, <-4, 1/50*(-21*w + 281)>, <-12, 1/2667*(-374*w + 3041)>, <-12, 1/8607*(-130*w - 1040)>, <-12, 1/21*(-w + 4)>, <-12, 1/16*(-7*w + 126)>, <-12, 1/5031*(-322*w + 5997)>, <-12, 1/2114*(-75*w + 2789)>, <-12, 1/78997*(-1470*w + 66297)>, <-12, -4/381*w>, <-12, 1/3928*(-323*w + 7481)>, <-12, 1/3591*(-289*w + 7059)>, <-12, 1/171741*(-2992*w + 76813)>, <-4, 1/1604*(-361*w + 7779)>, <-16, 1/40*(-19*w + 325)>, <-4, 1/9223*(-76*w + 1300)>, <-4, 1/361*(-23*w + 269)>, <-4, 1/4*(-w - 4)>, <-12, 1/282*(-7*w - 42)>, <-12, 1/49*(-6*w - 48)>, <-12, 1/2679*(-50*w + 1854)>, <-12, 1/10218*(-121*w + 10702)>, <-12, 1/23449*(-784*w + 16905)>, <-12, 1/147*(-w + 13)>, <-12, 1/262*(-49*w + 458)>, <-12, 1/192963*(-2366*w + 136010)>, <-12, 1/4953*(-368*w + 5321)>, <-24, 1/227151*(-3344*w + 176111)>, <-12, 1/381*(-4*w + 4)>, <-12, 1/361*(-5*w + 381)>, <-4, -42/127*w>, <-4, 1/30607*(-798*w + 13716)>, <-4, 1/21*(-w + 3)>, <-4, 1/241*(-36*w + 925)>, <-4, -1/18*w>, <-4, 1/723*(-19*w + 361)>, <-12, 1/29083*(-114*w + 2413)>, <-12, 1/18*(-w + 1)>, <-12, 1/982*(-361*w + 4953)>, <-12, 1/20*(-w + 15)>, <-12, 1/11820*(-11*w - 154)>, <-24, 1/56*(-5*w - 55)>, <-12, 1/8763*(-245*w + 6468)>, <-12, 1/441*(-4*w + 64)>, <-12, 1/508*(-49*w + 508)>, <-12, 1/441*(-4*w + 469)>, <-12, -w - 6>, <-12, 1/4983*(-266*w - 2128)>, <-12, 1/159057*(-2584*w + 41808)>, <-12, 1/10047*(-98*w + 11517)>, <-4, 1/222423*(-1748*w + 27692)>, <-4, 1/529*(-4*w + 489)>, <-4, 1/529*(-19*w + 301)>, <-4, 1/2148*(-437*w + 7829)>, <-12, 1/411*(-2*w + 423)>, <-12, 1/2*(-w + 10)>, <-12, 1/147*(-5*w + 40)>, <-12, 1/133*(-12*w + 277)>, <-12, 1/11*(-2*w - 22)>, <-12, 1/4257*(-442*w + 3373)>, <-12, 1/185103*(-2912*w + 108719)>, <-12, 1/11799*(-32*w - 480)>, <-24, 1/19*(-w + 16)>, <-12, 1/145923*(-722*w + 9104)>, <-12, 1/471*(-5*w + 50)>, <-12, 1/361*(-22*w + 273)>, <-12, 1/8*(-w - 4)>, <-2, 1/145161*(-380*w + 144780)>, <-1, 1/381*(-19*w + 400)>, <-1, 1/289941*(-380*w + 8000)>, <-1, 1/14459*(-19*w + 14859)>, <-1, 1/15220*(-361*w + 7600)>, <-12, 1/401*(-2*w + 393)>, <-12, 1/7740*(-361*w + 7018)>, <-12, 1/387*(-13*w - 26)>, <-12, 1/8020*(-221*w + 9125)>, <-6, 1/164811*(-400*w + 2811)>, <-6, -w + 6>, <-12, 1/7429*(-182*w + 8885)>, <-12, 1/242*(-13*w - 91)>, <-12, 1/197*(-3*w + 45)>, <-12, 1/110*(-3*w - 42)>, <-12, 1/157593*(-2312*w + 53264)>, <-12, 1/441*(-w - 3)>, <-12, 1/6193*(-266*w + 9917)>, <-12, 1/942*(-119*w - 1071)>, <-12, 1/473*(-36*w + 581)>, <-12, 1/16899*(-238*w + 14875)>, <-12, 1/383*(-2*w + 387)>, <-12, 1/211041*(-5776*w + 92272)>, <-4, 1/145923*(-380*w + 145160)>, <-4, 1/400*(-19*w + 381)>, <-4, 1/400*(-w + 382)>, <-4, 1/13737*(-20*w + 14117)>, <-4, 1/14460*(-17*w + 323)>, <-4, 1/20*(-w + 19)>, <-12, 1/537*(-14*w + 182)>, <-12, 1/187*(-14*w - 168)>, <-12, 1/7467*(-260*w + 8507)>, <-12, 1/237843*(-6800*w + 146400)>, <-12, 1/400*(-w + 16)>, <-12, 1/4979*(-400*w + 5779)>, <-6, 1/157593*(-400*w + 158800)>, <-6, -w + 5>, <-6, 1/169*(-22*w + 301)>, <-6, 1/411*(-22*w + 301)>, <-12, 1/110*(-3*w + 122)>, <-12, 1/221259*(-1768*w + 187459)>, <-12, 1/10134*(-77*w + 11212)>, <-12, 1/401*(-18*w + 329)>, <-4, 1/14*(-w - 1)>, <-4, 1/237843*(-2618*w + 76857)>, <-4, 1/8694*(-154*w + 13215)>, <-4, 1/15525*(-196*w + 5754)>, <-4, 1/4213*(-350*w + 4913)>, <-12, 1/280*(-11*w - 66)>, <-12, 1/393*(-w + 390)>, <-12, 1/400*(-7*w - 14)>, <-6, 1/484*(-13*w + 445)>, <-6, 1/653*(-13*w + 221)>, <-12, 1/252927*(-286*w - 3263)>, <-12, 1/2807*(-75*w + 3182)>, <-12, 1/401*(-22*w + 110)>, <-12, 1/15*(-w + 18)>, <-12, 1/154*(-5*w + 15)>, <-4, 1/275*(-14*w + 345)>, <-4, 1/15525*(-121*w + 10630)>, <-4, 1/5614*(-121*w + 10630)>, <-4, 1/280*(-11*w + 456)>, <-4, 1/621*(-11*w + 456)>, <-12, 1/563*(-9*w + 126)>, <-12, 1/320*(-9*w - 117)>, <-12, 1/9420*(-91*w + 10330)>, <-12, 1/484*(-w + 4)>, <-12, 1/2709*(-352*w - 704)>, <-4, 1/320*(-9*w + 365)>, <-12, 1/7*(-22*w - 242)>, <-12, 1/3591*(-352*w + 7815)>, <-12, 1/401*(-7*w + 436)> ]