/* Defining polynomial */ x^2 + 353 /* GCD of coefficients */ 1 /* 24 * |disc|^(3/2) /(8*pi^2)* zeta_F(2) */ 28912.1391876195995956602788687 /* Belt */ [ <24, 1/13*w>, <24, 1/2268*(323*w - 1615)>, <24, 1/137317*(1938*w + 114019)>, <24, 1/13*(w + 13)>, <60, 1/123*(2*w + 8)>, <60, 1/6*(w + 4)>, <24, 1/18573*(266*w + 17423)>, <72, 1/7*(w - 2)>, <24, 1/238*(5*w + 143)>, <90, 1/34*(w + 19)>, <90, 1/21*(w + 19)>, <24, 1/123*(5*w + 143)>, <24, 1/708*(133*w + 133)>, <72, 1/7*(w + 9)>, <48, 1/353*(5*w + 353)>, <24, 1/171*(14*w + 353)>, <24, 1/711*(10*w + 31)>, <24, 1/711*(10*w + 680)>, <208, 1/19*(w + 10)>, <24, 1/171*(14*w - 182)>, <48, 1/378*(5*w + 353)>, <208, 1/453*(19*w + 190)>, <48, 1/11*(w + 11)>, <24, 1/2567*(52*w + 1124)>, <48, 1/39263*(299*w + 42136)>, <24, 1/1501*(11*w - 121)>, <48, 1/354*(5*w + 359)>, <48, 1/354*(5*w - 5)>, <24, 1/1501*(11*w + 1622)>, <48, 1/2001*(13*w + 1832)>, <48, 1/353*(11*w + 353)>, <24, 1/2567*(52*w + 1443)>, <72, 1/10*(w + 11)>, <72, 1/497*(23*w + 276)>, <312, 1/21*(w + 11)>, <312, 1/158*(7*w + 77)>, <72, 1/23*(w + 12)>, <48, 1/1251*(22*w + 1427)>, <48, 1/5293*(66*w + 4281)>, <72, 1/237*(5*w + 55)>, <228, 1/134*(5*w + 99)>, <72, 1/671*(4*w + 615)>, <228, 1/139*(5*w + 99)>, <72, 1/6293*(44*w + 6765)>, <48, 1/5293*(48*w + 4557)>, <90, 1/389*(17*w + 287)>, <48, 1/16*(3*w - 30)>, <90, 1/389*(17*w + 102)>, <132, 1/13*(w + 8)>, <132, 1/13*(w + 5)>, <24, 1/399*(5*w + 10)>, <24, 1/97173*(1456*w + 56069)>, <24, 1/3081*(112*w + 4313)>, <24, 1/7626*(95*w + 235)>, <60, 1/79*(w + 11)>, <24, 1/189*(w + 5)>, <60, 1/63*(w - 5)>, <24, 1/2*(w + 5)>, <24, 1/101529*(988*w + 87229)>, <48, 1/497*(10*w + 120)>, <24, 1/1167*(95*w + 1737)>, <48, 1/20*(7*w + 83)>, <36, 1/497*(13*w + 341)>, <36, 1/497*(13*w + 156)>, <24, 1/49*(2*w + 57)>, <96, 1/139*(3*w + 115)>, <96, 1/9*(w + 1)>, <24, 1/4661*(98*w + 2793)>, <48, 1/1519*(10*w + 1609)>, <24, 1/357*(4*w + 349)>, <6, 1/21*(w + 23)>, <168, 1/217*(8*w + 72)>, <168, 1/16*(w + 9)>, <12, 1/14*(w + 16)>, <12, 1/147*(4*w + 8)>, <120, 1/378*(11*w + 323)>, <120, 1/11*(w + 6)>, <24, 1/4123*(52*w + 4591)>, <48, 1/10*(w + 12)>, <24, 1/15946*(285*w + 5211)>, <24, 1/18573*(238*w + 2984)>, <144, 1/402*(17*w + 283)>, <48, 1/181*(5*w + 196)>, <48, 1/181*(5*w - 15)>, <24, 1/778*(119*w + 1492)>, <144, 1/453*(17*w + 283)>, <72, 1/20*(w + 7)>, <72, 1/20*(w + 13)>, <36, 1/96309*(680*w + 84269)>, <36, 1/522*(17*w + 301)>, <12, 1/1189*(16*w + 469)>, <30, 1/58*(w + 45)>, <24, 1/6478*(105*w + 4315)>, <24, 1/2201*(3*w + 35)>, <48, 1/56169*(176*w - 1856)>, <132, 1/7*(w + 5)>, <24, 1/77*(w + 74)>, <24, 1/695*(21*w + 863)>, <24, 1/2*(3*w + 35)>, <48, 1/16*(11*w - 116)>, <296, 1/22*(w + 11)>, <36, 1/12093*(28*w + 12425)>, <114, 1/21*(w + 13)>, <132, 1/54*(w + 5)>, <24, 1/5829*(77*w + 5698)>, <72, 1/79*(4*w + 35)>, <24, 1/6873*(68*w - 595)>, <24, 1/17*(10*w - 3)>, <48, 1/119*(2*w + 123)>, <84, 1/119*(5*w + 109)>, <24, 1/389*(16*w - 96)>, <48, 1/134*(5*w - 35)>, <24, 1/16*(w - 6)>, <48, 1/15*(w - 7)>, <24, 1/297*(20*w + 397)>, <372, 1/31*(w + 22)>, <372, 1/14*(w + 5)>, <120, 1/497*(17*w + 204)>, <108, 1/389*(13*w + 78)>, <24, 1/220*(13*w + 311)>, <120, 1/17*(w + 12)>, <60, 1/9*(w + 6)>, <60, 1/389*(9*w + 54)>, <24, 1/11067*(220*w + 4367)>, <24, 1/2077*(10*w - 3)>, <84, 1/174*(5*w + 109)>, <48, 1/6*(w + 8)>, <84, 1/177*(5*w + 5)>, <84, 1/177*(5*w + 172)>, <132, 1/217*(10*w + 127)>, <132, 1/217*(10*w + 90)>, <48, 1/497*(16*w + 192)>, <24, 1/362*(9*w - 27)>, <36, 1/5*(w + 4)>, <72, 1/90*(7*w - 70)>, <48, 1/9*(w - 2)>, <48, 1/9*(w + 11)>, <60, 1/9*(w - 1)>, <168, 1/17*(w + 8)>, <60, 1/151*(3*w + 121)>, <168, 1/417*(17*w + 136)>, <48, 1/16*(w + 12)>, <36, 1/5*(w + 1)>, <72, 1/90*(7*w + 160)>, <24, 1/9*(w - 3)>, <48, 1/732*(7*w + 634)>, <48, 1/2291*(28*w + 2536)>, <96, 1/67*(w + 7)>, <24, 1/399*(5*w + 419)>, <24, 1/369*(19*w + 293)>, <24, 1/315*(19*w + 353)>, <24, 1/12002*(285*w + 5295)>, <24, 1/61462*(665*w + 55727)>, <24, 1/578*(19*w + 293)>, <96, 1/59*(w - 1)>, <12, 1/369*(4*w + 16)>, <12, 1/289*(20*w + 289)>, <12, 1/16*w>, <120, 1/181*(5*w + 15)>, <120, 1/181*(5*w + 166)>, <12, 1/417*(8*w + 353)>, <6, 1/5648*(289*w + 5648)>, <24, 1/4402*(15*w + 4227)>, <24, 1/306*(5*w + 61)>, <216, 1/9*(w + 4)>, <168, 1/474*(19*w + 209)>, <24, 1/905*(209*w + 278)>, <24, 1/14823*(152*w + 12559)>, <48, 1/155*(4*w - 36)>, <36, 1/9*(w + 9)>, <12, 1/1953*(136*w - 1224)>, <24, 1/2869*(25*w + 3119)>, <24, 1/316*(13*w - 143)>, <132, 1/6*(w + 1)>, <24, 1/1711*(26*w + 793)>, <132, 1/59*(w + 1)>, <24, 1/65886*(475*w + 59261)>, <24, 1/10981*(77*w + 11319)>, <24, 1/201*(77*w + 539)>, <24, 1/670*(49*w - 343)>, <24, 1/1390*(17*w - 136)>, <24, 1/13983*(245*w + 8918)>, <24, 1/17487*(170*w + 2227)>, <144, 1/189*(5*w + 25)>, <48, 1/453*(7*w + 383)>, <24, 1/14823*(152*w + 2264)>, <48, 1/453*(7*w + 70)>, <48, 1/155*(4*w + 191)>, <24, 1/905*(209*w + 627)>, <24, 1/1359*(5*w + 1409)>, <24, 1/41*(5*w + 61)>, <216, 1/42*(w + 37)>, <168, 1/19*(w + 11)>, <96, 1/119*(3*w + 113)>, <138, 1/15*(w + 11)>, <24, 1/34*(w + 45)>, <24, 1/39*(2*w + 57)>, <48, 1/28203*(520*w + 14963)>, <48, 1/62*(w + 71)>, <36, 1/134*(w + 7)>, <128, 1/22*(w + 13)>, <24, 1/30711*(455*w + 18356)>, <24, 1/117*(16*w - 208)>, <24, 1/351*(19*w - 95)>, <120, 1/126*(5*w + 101)>, <24, 1/96309*(1547*w + 68918)>, <24, 1/186354*(2717*w + 92741)>, <108, 1/13*(w + 6)>, <24, 1/41949*(760*w + 27664)>, <24, 1/41949*(760*w + 14285)>, <138, 1/15*(w + 4)>, <24, 1/351*(19*w + 446)>, <120, 1/126*(5*w + 25)>, <24, 1/389*(20*w + 269)>, <12, 1/207522*(3211*w + 159695)>, <84, 1/389*(15*w + 90)>, <24, 1/117*(16*w + 325)>, <24, 1/210*(13*w - 143)>, <24, 1/182*(17*w - 119)>, <24, 1/247*(11*w - 132)>, <24, 1/34*(w - 11)>, <48, 1/28203*(520*w + 13240)>, <24, 1/39*(2*w - 18)>, <48, 1/87*(w + 71)>, <96, 1/134*(3*w + 113)>, <128, 1/261*(11*w + 143)>, <36, 1/3*(w + 7)>, <84, 1/434*(15*w + 135)>, <288, 1/79*(3*w + 46)>, <24, 1/3953*(68*w + 1012)>, <72, 1/60*(19*w + 269)>, <24, 1/2*(w + 3)>, <72, 1/33299*(190*w + 2690)>, <24, 1/2*(w - 1)>, <288, 1/67*(3*w + 46)>, <24, 1/168*(17*w + 253)>, <24, 1/380*(9*w - 9)>, <24, 1/2641*(39*w + 2953)>, <24, 1/100*(3*w + 115)>, <24, 1/100*(3*w - 15)>, <24, 1/1593*(190*w - 190)>, <24, 1/66598*(741*w + 56107)>, <24, 1/3618*(91*w + 4255)>, <24, 1/52309*(819*w + 38295)>, <120, 1/189*(8*w + 149)>, <120, 1/189*(8*w + 40)>, <96, 1/402*(11*w + 77)>, <24, 1/167157*(2618*w + 108626)>, <96, 1/369*(11*w + 44)>, <24, 1/6076*(187*w + 7759)>, <60, 1/19*(w + 12)>, <24, 1/369*(190*w - 760)>, <24, 1/190*(w - 4)>, <60, 1/497*(19*w + 228)>, <24, 1/1207*(26*w + 611)>, <24, 1/403*(16*w + 547)>, <24, 1/45*(w + 53)>, <24, 1/1054*(15*w + 795)>, <12, 1/441*(4*w + 449)>, <12, 1/142*(21*w + 252)>, <12, 1/1207*(42*w + 220)>, <24, 1/12567*(208*w + 7111)>, <24, 1/246*(13*w - 52)>, <36, 1/389*(7*w + 347)>, <36, 1/354*(7*w + 347)>, <42, 1/369*(10*w + 40)>, <42, 1/10*(w + 4)>, <144, 1/362*(13*w + 39)>, <144, 1/151*(6*w + 60)>, <24, 1/453*(5*w + 50)>, <24, 1/288*(13*w + 353)>, <48, 1/171*(5*w - 25)>, <144, 1/139*(6*w + 48)>, <24, 1/5*(w + 10)>, <144, 1/453*(13*w + 130)>, <24, 1/273*(16*w + 353)>, <48, 1/5249*(95*w + 1525)>, <48, 1/357*(8*w + 341)>, <48, 1/417*(10*w + 337)>, <24, 1/18802*(285*w + 6927)>, <72, 1/497*(4*w - 48)>, <48, 1/453*(8*w + 373)>, <48, 1/13*(w + 11)>, <48, 1/11*(w + 8)>, <48, 1/369*(8*w + 337)>, <6, 1/143541*(2890*w + 48460)>, <24, 1/549*(13*w + 182)>, <12, 1/380*(13*w + 367)>, <24, 1/1267*(170*w + 1777)>, <20, 1/522*(7*w + 91)>, <12, 1/340*(7*w - 91)>, <24, 1/340*(7*w + 361)>, <24, 1/15399*(266*w + 8939)>, <12, 1/20989*(98*w + 21217)>, <12, 1/6*(w + 10)>, <102, 1/123*(4*w + 16)>, <24, 1/15399*(266*w + 6460)>, <48, 1/417*(11*w + 88)>, <12, 1/289*(2*w - 30)>, <24, 1/13*(w + 19)>, <216, 1/201*(7*w + 152)>, <228, 1/63*(2*w + 53)>, <12, 1/189*(4*w + 209)>, <324, 1/29*(w + 13)>, <228, 1/63*(2*w + 10)>, <72, 1/87*(4*w + 35)>, <24, 1/165*(16*w + 293)>, <24, 1/288*(11*w + 343)>, <12, 1/189*(16*w + 269)>, <24, 1/231*(16*w + 311)>, <24, 1/2224*(55*w + 2664)>, <48, 1/389*(8*w + 341)>, <48, 1/417*(10*w + 80)>, <24, 1/1359*(95*w + 2309)>, <48, 1/453*(8*w + 80)>, <24, 1/389*(13*w + 467)>, <48, 1/13*(w + 2)>, <72, 1/497*(4*w + 545)>, <60, 1/389*(16*w + 293)>, <24, 1/174*(w + 187)>, <12, 1/369*(5*w + 389)>, <12, 1/6293*(198*w + 4169)>, <30, 1/9*(w - 4)>, <24, 1/81*(8*w - 64)>, <24, 1/58646*(935*w + 27621)>, <24, 1/1005*(34*w + 1243)>, <24, 1/165*(17*w - 136)>, <24, 1/2412*(121*w - 847)>, <36, 1/123*(w + 4)>, <24, 1/67527*(1330*w + 13130)>, <114, 1/174*(7*w + 91)>, <24, 1/121*(6*w - 42)>, <36, 1/3*(w + 4)>, <24, 1/399*(10*w - 10)>, <24, 1/1112*(27*w - 216)>, <24, 1/1661*(85*w + 2511)>, <60, 1/453*(16*w + 293)>, <24, 1/165*(17*w + 301)>, <24, 1/9717*(170*w + 6215)>, <24, 1/21*(10*w + 131)>, <24, 1/92133*(2210*w + 32123)>, <60, 1/353*(7*w + 353)>, <24, 1/342*(11*w + 353)>, <24, 1/649*(57*w + 706)>, <60, 1/402*(7*w + 353)>, <24, 1/92133*(2210*w + 60010)>, <24, 1/1580*(7*w + 1657)>, <12, 1/67*(20*w - 140)>, <24, 1/129717*(1600*w + 142325)>, <24, 1/25*(w + 13)>, <24, 1/79*(8*w + 167)>, <48, 1/22*(w + 12)>, <24, 1/57*(w + 59)>, <24, 1/56*(w - 4)>, <24, 1/639*(8*w + 167)>, <36, 1/11929*(14*w + 11767)>, <48, 1/497*(22*w + 264)>, <24, 1/1278*(19*w + 1121)>, <24, 1/369*(56*w - 224)>, <24, 1/48*(w + 53)>, <24, 1/527*(8*w + 424)>, <48, 1/252*(13*w - 65)>, <48, 1/39*(2*w - 10)>, <48, 1/14*(w + 4)>, <48, 1/369*(14*w + 56)>, <24, 1/6873*(68*w + 7468)>, <84, 1/261*(7*w + 170)>, <24, 1/341*(19*w + 512)>, <24, 1/1207*(22*w + 517)>, <24, 1/639*(10*w + 590)>, <24, 1/77*(20*w - 180)>, <36, 1/11*(w - 2)>, <24, 1/147*(5*w - 25)>, <24, 1/90*(7*w - 35)>, <48, 1/389*(14*w + 84)>, <12, 1/221*(14*w - 84)>, <100, 1/389*(19*w + 275)>, <100, 1/522*(19*w + 275)>, <24, 1/198738*(3553*w + 133739)>, <24, 1/198738*(3553*w + 64999)>, <24, 1/20234*(133*w + 1481)>, <24, 1/417*(133*w + 1481)>, <24, 1/12567*(209*w + 5632)>, <24, 1/33*(2*w + 47)>, <84, 1/177*(7*w + 170)>, <24, 1/60*(w + 59)>, <24, 1/1240*(11*w - 99)>, <36, 1/357*(11*w - 22)>, <200, 1/217*(9*w + 81)>, <12, 1/87453*(1120*w + 23933)>, <36, 1/7*(w + 11)>, <84, 1/369*(13*w + 317)>, <24, 1/47241*(680*w + 20585)>, <24, 1/38409*(760*w + 12265)>, <48, 1/17143*(90*w + 16000)>, <48, 1/27*(10*w - 100)>, <84, 1/13*(w + 9)>, <24, 1/38409*(760*w + 26144)>, <24, 1/47241*(680*w + 26656)>, <24, 1/4*(w + 3)>, <24, 1/177*(2*w + 175)>, <24, 1/1476*(95*w + 1856)>, <24, 1/4661*(90*w + 2096)>, <40, 1/354*(7*w + 361)>, <24, 1/237*(2*w + 22)>, <24, 1/189*(2*w + 187)>, <24, 1/3555*(76*w - 836)>, <24, 1/181*(2*w - 6)>, <24, 1/152*(15*w - 165)>, <24, 1/4*(w - 3)>, <12, 1/357*(2*w + 353)>, <12, 1/369*(2*w + 8)>, <12, 1/1428*(361*w + 722)>, <24, 1/189*(2*w + 2)>, <12, 1/107793*(2720*w + 53873)>, <12, 1/354*(17*w + 337)>, <24, 1/4*(w + 11)>, <24, 1/95*(4*w + 111)>, <24, 1/778*(45*w + 1048)>, <40, 1/7*(w + 8)>, <24, 1/12803*(204*w + 9231)>, <24, 1/153*(4*w + 181)>, <12, 1/90489*(1088*w + 17984)>, <16, 1/4959*(14*w + 5141)>, <24, 1/54*(w + 59)>, <48, 1/66*(5*w + 101)>, <60, 1/119*(4*w + 8)>, <24, 1/242*(15*w - 75)>, <72, 1/189*(4*w + 20)>, <60, 1/7*(w + 3)>, <204, 1/21*(w + 12)>, <204, 1/62*(3*w + 35)>, <24, 1/25159*(285*w + 21489)>, <24, 1/171*(2*w + 175)>, <32, 1/177*(7*w + 184)>, <48, 1/118*(w + 1)>, <24, 1/51*(19*w + 38)>, <24, 1/175441*(2652*w + 78013)>, <24, 1/221*(12*w + 353)>, <24, 1/342*(5*w + 377)>, <24, 1/171*(2*w - 4)>, <32, 1/14*(w + 15)>, <48, 1/118*(w + 117)>, <24, 1/2502*(19*w + 2489)>, <324, 1/29*(w + 16)>, <24, 1/354*(11*w - 11)>, <24, 1/140*(w + 141)>, <24, 1/354*(11*w + 365)>, <24, 1/140*(w - 1)>, <12, 1/13*(3*w - 33)>, <24, 1/10353*(160*w + 3488)>, <24, 1/10353*(160*w + 6865)>, <24, 1/242*(15*w + 317)>, <72, 1/8*(w + 5)>, <60, 1/362*(7*w + 21)>, <24, 1/71*(w + 59)>, <48, 1/66*(5*w - 35)>, <60, 1/119*(4*w + 111)>, <24, 1/948*(11*w - 121)>, <24, 1/77*(5*w - 25)>, <24, 1/40*(w - 5)>, <24, 1/38*(w - 7)>, <24, 1/4587*(247*w + 6563)>, <24, 1/1711*(34*w + 1037)>, <24, 1/1711*(34*w + 674)>, <12, 1/209*(13*w + 313)>, <24, 1/4587*(247*w - 1976)>, <24, 1/948*(11*w + 1069)>, <36, 1/474*(7*w + 77)>, <24, 1/77*(5*w + 102)>, <12, 1/413*(6*w + 65)>, <24, 1/201*(19*w - 133)>, <24, 1/1189*(20*w + 289)>, <8, 1/47089*(495*w + 7480)>, <36, 1/2*(w + 1)>, <24, 1/3953*(57*w + 533)>, <12, 1/57*(w - 11)>, <24, 1/362*(57*w + 533)>, <12, 1/268*(13*w - 91)>, <36, 1/417*(20*w + 160)>, <24, 1/8909*(150*w + 6050)>, <24, 1/603*(50*w - 350)>, <36, 1/20*(w + 8)>, <24, 1/117*(17*w + 287)>, <24, 1/289*(11*w + 124)>, <24, 1/117*(17*w - 170)>, <24, 1/22*(w + 7)>, <24, 1/6399*(88*w + 4760)>, <24, 1/83661*(1760*w + 27181)>, <24, 1/77*(8*w - 72)>, <24, 1/83661*(1760*w + 56480)>, <12, 1/755*(17*w + 925)>, <24, 1/266*(11*w - 77)>, <24, 1/266*(11*w + 343)>, <12, 1/17*(19*w - 266)>, <12, 1/549*(19*w + 266)>, <24, 1/1711*(35*w + 850)>, <24, 1/177*(2*w + 179)>, <24, 1/8*(3*w + 35)>, <24, 1/4*(w + 5)>, <24, 1/135*(7*w + 170)>, <24, 1/119*(18*w - 162)>, <24, 1/6224*(209*w - 1254)>, <24, 1/737*(48*w - 336)>, <24, 1/6224*(209*w + 7478)>, <24, 1/29323*(528*w + 17520)>, <24, 1/27619*(306*w + 22842)>, <24, 1/237*(4*w + 193)>, <24, 1/8*(w - 3)>, <24, 1/273*(10*w - 80)>, <24, 1/53303*(910*w + 21180)>, <48, 1/177*(4*w + 181)>, <24, 1/164*(17*w - 68)>, <24, 1/493*(5*w - 65)>, <18, 1/92193*(850*w + 77843)>, <12, 1/68853*(1190*w + 9863)>, <36, 1/1827*(4*w + 1775)>, <24, 1/11041*(85*w + 1555)>, <12, 1/52*(21*w - 263)>, <12, 1/578*(21*w + 263)>, <48, 1/14*(w + 6)>, <12, 1/1005*(32*w - 224)>, <48, 1/474*(5*w + 529)>, <24, 1/11041*(154*w + 5511)>, <48, 1/609*(5*w + 529)>, <24, 1/252*(11*w - 143)>, <48, 1/217*(4*w + 181)>, <24, 1/3801*(68*w + 2873)>, <24, 1/82*(19*w - 76)>, <24, 1/378*(11*w - 55)>, <24, 1/171*(2*w - 8)>, <24, 1/1529*(85*w + 2209)>, <102, 1/123*(4*w + 107)>, <48, 1/737*(42*w - 294)>, <30, 1/118*(5*w + 113)>, <96, 1/134*(7*w + 85)>, <48, 1/252*(11*w - 77)>, <30, 1/183*(5*w + 113)>, <96, 1/134*(7*w + 49)>, <24, 1/53454*(935*w + 24299)>, <24, 1/3953*(60*w + 353)>, <108, 1/59*(2*w + 57)>, <12, 1/361*(8*w + 353)>, <12, w + 1>, <24, 1/1003*(24*w + 496)>, <24, 1/399*(11*w + 454)>, <24, 1/11849*(209*w + 8626)>, <24, 1/1003*(24*w + 507)>, <108, 1/59*(2*w + 2)>, <24, 1/353*(60*w + 353)>, <12, 1/59*(20*w + 39)>, <72, 1/71*(2*w + 24)>, <24, 1/56*(w + 58)>, <36, 1/15*(w - 1)>, <72, 1/14*(w + 12)>, <24, 1/531*(8*w + 464)>, <36, 1/118*(5*w - 5)>, <48, 1/12*(w + 9)>, <24, 1/465*(13*w - 117)>, <48, 1/217*(6*w + 54)>, <24, 1/182*(15*w - 135)>, <24, 1/59*(20*w + 79)>, <24, 1/3009*(70*w + 1840)>, <60, 1/357*(11*w + 335)>, <12, 1/837*(13*w + 551)>, <12, 1/459*(14*w + 529)>, <48, 1/389*(12*w + 317)>, <72, 1/609*(10*w + 449)>, <36, 1/189*(10*w + 139)>, <12, 1/54621*(110*w - 1529)>, <72, 1/389*(10*w + 449)>, <24, 1/549*(20*w + 269)>, <12, 1/11*(20*w - 269)>, <24, 1/10981*(70*w + 691)>, <24, 1/201*(70*w + 691)>, <24, 1/2499*(20*w + 79)>, <24, 1/170*(7*w + 184)>, <60, 1/434*(11*w + 335)>, <24, 1/139*(20*w + 299)>, <24, 1/1302*(19*w + 1473)>, <24, 1/1659*(20*w + 299)>, <24, 1/5293*(57*w + 4419)>, <12, 1/1267*(160*w + 1747)>, <12, 1/200*(13*w - 117)>, <24, 1/1945*(136*w + 2761)>, <24, 1/60702*(833*w + 13867)>, <24, 1/190*(3*w + 190)>, <24, 3/190*w>, <36, 1/434*(9*w + 81)>, <24, 1/147*(17*w + 283)>, <24, 1/36381*(680*w + 13805)>, <36, 1/17*(w + 3)>, <24, 1/724*(51*w - 153)>, <48, 1/1139*(28*w - 196)>, <16, 1/56169*(55*w - 580)>, <16, 1/5*(11*w - 116)>, <48, 1/30731*(476*w + 8036)>, <36, 1/549*(17*w + 311)>, <24, 1/724*(51*w + 877)>, <48, 1/493*(10*w + 218)>, <24, 1/278*(15*w + 398)>, <24, 1/905*(49*w - 147)>, <24, 1/1876*(85*w - 595)>, <24, 1/34391*(858*w + 25278)>, <48, 1/435*(8*w + 539)>, <72, 1/14*(w + 11)>, <72, 1/237*(7*w + 77)>, <12, 1/369*(2*w + 377)>, <12, 1/1556*(361*w + 3722)>, <24, 1/10797*(245*w + 5537)>, <24, 1/1876*(85*w + 2471)>, <12, 1/578*(15*w + 353)>, <12, 1/102017*(960*w + 79425)>, <48, 1/45*(2*w - 10)>, <24, 1/278*(15*w - 120)>, <24, 1/6647*(56*w + 5807)>, <26, 1/578*(23*w + 345)>, <24, 1/767*(66*w + 66)>, <48, 1/3599*(40*w + 2695)>, <24, 1/462*(5*w + 437)>, <36, 1/119*(4*w - 8)>, <24, 1/1353*(95*w + 1733)>, <24, 1/5611*(114*w + 3097)>, <24, 1/1267*(209*w + 640)>, <24, 1/98*(19*w - 171)>, <24, 1/14271*(133*w + 12388)>, <48, 1/357*(5*w + 347)>, <24, 1/3*(w + 5)>, <48, 1/362*(5*w + 347)>, <24, 1/126*(w + 5)>, <12, 1/11*(7*w - 70)>, <24, 1/453*(11*w + 110)>, <24, 1/453*(11*w + 343)>, <12, 1/389*(54*w + 713)>, <60, 1/181*(8*w + 157)>, <72, 1/181*(3*w + 172)>, <12, 1/1722*(25*w + 797)>, <60, 1/261*(8*w + 157)>, <24, 1/1353*(95*w - 380)>, <24, 1/133*(6*w + 163)>, <24, 1/418*(7*w + 397)>, <24, 1/4757*(55*w + 4807)>, <36, 1/119*(4*w + 127)>, <24, 1/134*(3*w + 155)>, <24, 1/65331*(880*w + 17875)>, <60, 1/12*(w + 13)>, <24, 1/2501*(26*w + 2072)>, <48, 1/453*(23*w + 223)>, <24, 1/198*(13*w + 367)>, <36, 1/18*(w + 15)>, <24, 1/868*(15*w - 135)>, <24, 1/3624*(77*w - 770)>, <24, 1/2919*(104*w - 832)>, <24, 1/3336*(85*w + 4016)>, <24, 1/44793*(680*w + 32128)>, <24, 1/47241*(616*w + 12089)>, <24, 1/2919*(104*w + 3751)>, <78, 1/417*(16*w + 289)>, <24, 1/3239*(65*w + 1900)>, <60, 1/12*(w - 1)>, <24, 1/906*(13*w + 1036)>, <24, 1/10797*(143*w + 4037)>, <24, 1/165*(16*w + 325)>, <48, 1/522*(23*w + 223)>, <24, 1/203*(3*w + 155)>, <24, 1/868*(15*w + 1003)>, <24, 1/315*(13*w + 380)>, <36, 1/18*(w + 3)>, <4, 1/118233*(184*w + 116449)>, <4, 1/1812*(437*w + 6049)>, <4, 1/118233*(152*w + 22036)>, <4, 1/209*(2*w + 235)>, <4, 1/261*(2*w + 235)>, <12, 1/1239*(19*w + 137)>, <12, 1/441*(8*w + 481)>, <24, 1/14299*(252*w + 2140)>, <96, 1/20*(w + 10)>, <24, 1/472*(63*w + 535)>, <24, 1/336*(13*w - 65)>, <24, 1/5249*(104*w + 2041)>, <48, 1/177*(4*w + 173)>, <48, 1/177*(4*w + 4)>, <12, 1/378*(w + 373)>, <12, 1/6273*(361*w + 4829)>, <12, 1/369*(8*w - 32)>, <24, 1/783*(2*w + 26)>, <24, 1/783*(2*w + 757)>, <36, 1/18*(w + 6)>, <36, 1/389*(18*w + 108)>, <24, 1/98829*(532*w + 91409)>, <12, 1/55774*(1617*w + 51891)>, <12, 1/441*(8*w + 88)>, <12, 1/353*(147*w + 353)>, <24, 1/153*(4*w - 40)>, <24, 1/1085*(34*w - 306)>, <12, 1/187*(5*w + 182)>, <30, 1/395*(8*w + 483)>, <24, 1/1085*(34*w + 1391)>, <12, 1/441*(4*w + 413)>, <12, 1/1963*(147*w + 1470)>, <12, 1/20234*(147*w - 493)>, <6, 1/5699*(100*w + 2675)>, <24, 1/153*(4*w + 193)>, <12, 1/4*(w - 5)>, <12, 1/756*(209*w + 1045)>, <24, 1/34587*(475*w + 27512)>, <24, 1/1273*(25*w + 1448)>, <24, 1/1711*(38*w + 552)>, <6, 1/369*(361*w + 1813)>, <6, 1/369*(w + 4)>, <12, 1/361*(7*w + 347)>, <12, 1/389*(361*w + 2166)>, <12, 1/138873*(1444*w + 7108)>, <12, 1/19*(9*w - 135)>, <24, 1/1711*(38*w + 1159)>, <6, 1/295*(18*w + 313)>, <24, 1/236*(19*w + 19)>, <24, 1/57*(2*w + 2)>, <12, 1/91*(4*w - 16)>, <30, 1/48*(5*w + 103)>, <24, 1/638*(3*w + 599)>, <24, 1/6241*(33*w + 6589)>, <24, 1/139*(w + 131)>, <36, 1/20*(w + 15)>, <24, 1/14*(w - 5)>, <12, 1/17*(w - 5)>, <48, 1/140*(17*w + 293)>, <48, 1/13419*(170*w + 2930)>, <12, 1/17*(10*w - 110)>, <12, 1/201*(w + 7)>, <12, 1/189*(200*w + 1000)>, <24, 1/126*(w + 131)>, <24, 1/51*(w + 32)>, <24, 1/1519*(160*w + 2959)>, <24, 1/81993*(1120*w + 20713)>, <12, 1/169*(22*w + 257)>, <12, 1/369*(20*w + 289)>, <24, 1/3689*(65*w + 4274)>, <24, 1/323*(10*w - 30)>, <24, 3/353*w>, <12, 1/380*(3*w - 27)>, <12, 1/434*(3*w + 27)>, <24, 1/353*(3*w + 353)>, <24, 1/323*(10*w + 353)>, <24, 1/91053*(1105*w + 72658)>, <24, 1/3451*(45*w + 2470)>, <24, 1/1112*(35*w + 1392)>, <24, 1/11859*(220*w + 9515)>, <24, 1/4503*(28*w + 4811)>, <24, 1/17051*(280*w + 11136)>, <24, 1/395*(9*w + 494)>, <12, 1/578*(9*w + 443)>, <12, 1/112421*(1386*w + 44199)>, <26, 1/417*(23*w + 184)>, <24, 1/6647*(56*w + 840)>, <24, 1/11859*(220*w + 2344)>, <24, 1/402*(5*w + 367)>, <24, 1/16*(w + 19)>, <24, 1/357*(16*w + 32)>, <24, 1/861*(44*w + 1037)>, <24, 1/119*(4*w + 139)>, <24, 1/1139*(32*w - 224)>, <12, 1/70953*(1064*w + 17297)>, <24, 1/342*(5*w + 367)>, <24, 1/7973*(95*w + 6973)>, <24, 1/29323*(429*w + 18070)>, <24, 1/29323*(429*w + 11253)>, <12, 1/8946*(65*w - 780)>, <12, 1/2715*(136*w + 3123)>, <12, 1/497*(15*w + 317)>, <24, 1/14299*(308*w + 7259)>, <24, 1/1139*(32*w + 1363)>, <24, 1/3567*(68*w + 2363)>, <24, 1/357*(5*w + 367)>, <24, 1/181*(8*w + 205)>, <24, 1/549*(16*w + 224)>, <48, 1/1403*(11*w + 1249)>, <24, 1/151*(2*w + 171)>, <48, 1/26274*(253*w + 28727)>, <12, 1/130626*(1445*w + 29765)>, <24, 1/203*(2*w + 171)>, <4, 1/453*(4*w + 40)>, <4, 1/437*(4*w + 413)>, <4, 1/12006*(361*w + 6781)>, <4, 1/1556*(361*w + 6781)>, <16, 1/28*(19*w + 275)>, <20, 1/389*(7*w - 42)>, <12, 1/236*(21*w + 215)>, <24, 1/8909*(168*w + 2133)>, <6, 1/8062*(63*w + 7315)>, <24, 1/543*(56*w + 711)>, <12, 1/7248*(133*w - 1330)>, <12, 1/2896*(133*w + 3295)>, <24, 1/221*(15*w - 30)>, <12, 1/3819*(68*w + 4295)>, <24, 1/8378*(195*w + 5115)>, <48, 1/8*(w - 8)>, <48, 1/609*(8*w + 481)>, <12, 1/708*(55*w - 55)>, <24, 1/335*(13*w + 426)>, <12, 1/3843*(13*w + 182)>, <24, 1/335*(13*w - 91)>, <6, 1/361*(w + 359)>, <6, 1/362*(w + 3)>, <12, 1/362*(19*w + 305)>, <12, 1/203*(54*w + 1067)>, <6, 1/2501*(50*w + 825)>, <18, 1/41*(2*w + 8)>, <6, 1/369*(49*w + 196)>, <12, 1/417*(200*w + 2017)>, <12, 1/417*(w + 8)>, <24, 1/181*(3*w + 190)>, <24, 1/6*(w + 9)>, <12, 1/440*(13*w + 401)>, <12, 1/609*(13*w + 208)>, <12, 1/389*(3*w + 18)>, <12, 1/380*(3*w + 371)>, <12, 1/213561*(5780*w + 135820)>, <24, 1/1529*(12*w + 1625)>, <12, 1/1629*(154*w + 2091)>, <24, 1/1529*(12*w - 96)>, <12, 1/5964*(209*w + 8472)>, <12, 1/353*(12*w + 353)>, <24, 1/55*(23*w - 221)>, <36, 1/17*(w + 4)>, <36, 1/96309*(680*w + 12040)>, <24, 1/3472*(85*w + 4237)>, <24, 1/3472*(85*w - 765)>, <24, 1/181*(21*w + 244)>, <12, 1/3213*(104*w + 3733)>, <24, 1/42*(w + 45)>, <1, 1/173889*(2576*w + 46529)>, <1, 1/417*(7*w + 473)>, <1, 1/120513*(392*w + 79864)>, <1, 1/120513*(1288*w + 87032)>, <1, 1/9248*(161*w + 10879)>, <1, 1/241026*(1127*w + 11417)>, <12, 1/8201*(168*w + 6440)>, <12, 1/68853*(896*w + 24437)>, <24, 1/54*(w + 53)>, <24, 1/54*(w + 1)>, <24, 1/11*(w - 5)>, <24, 1/174*(w - 13)>, <12, 1/1098*(5*w - 70)>, <12, 1/1206*(25*w + 1381)>, <12, 1/5835*(209*w - 1254)>, <12, 1/945*(38*w + 1135)>, <12, 1/24157*(570*w + 13992)>, <12, 1/119*(6*w + 107)>, <24, 1/948*(35*w - 385)>, <24, 1/81*(7*w - 35)>, <24, 1/98*(3*w - 15)>, <12, 1/2911*(56*w + 2807)>, <12, 1/49*(w + 12)>, <12, 1/41*(7*w + 13)>, <12, 1/469*(6*w - 42)>, <24, 1/651*(4*w + 687)>, <12, 1/9940*(17*w - 204)>, <12, 1/99369*(2210*w + 58939)>, <24, 1/50318*(595*w + 5455)>, <24, 1/11431*(55*w + 10771)>, <24, 1/56637*(275*w + 59587)>, <24, 1/615*(119*w + 1091)>, <4, 1/120513*(2944*w + 90689)>, <4, 1/6672*(161*w + 8303)>, <4, 1/120513*(896*w + 92912)>, <4, 1/49*(8*w + 169)>, <4, 1/289*(8*w + 169)>, <12, 1/833*(6*w + 107)>, <12, 1/2419*(18*w + 277)>, <12, 1/51646*(825*w + 26521)>, <24, 1/35*(2*w - 26)>, <24, 1/1343*(21*w + 468)>, <24, 1/93*(7*w + 156)>, <12, 1/49*(w + 47)>, <12, 3*w - 35>, <24, 1/25*(11*w + 143)>, <12, 1/91*(3*w - 24)>, <16, 1/261*(13*w + 92)>, <8, 1/68121*(1001*w - 7084)>, <8, 1/77*(13*w - 92)>, <12, 1/217*(54*w + 703)>, <12, 1/10353*(110*w + 7955)>, <12, 1/147*(4*w + 111)>, <12, 1/151*(21*w + 210)>, <12, 1/9362*(21*w + 59)>, <12, 1/17818*(273*w + 6807)>, <24, 1/1044*(35*w - 455)>, <24, 1/948*(35*w + 1333)>, <-6, 1/21*(-w + 23)>, <-12, 1/14*(-w + 16)>, <-12, 1/147*(-4*w + 8)>, <-12, 1/1189*(-16*w + 469)>, <-24, 1/220*(-13*w + 311)>, <-12, 1/369*(-4*w + 16)>, <-12, 1/289*(-20*w + 289)>, <-12, -1/16*w>, <-12, 1/417*(-8*w + 353)>, <-6, 1/5648*(-289*w + 5648)>, <-12, 1/1953*(-136*w - 1224)>, <-12, 1/207522*(-3211*w + 159695)>, <-12, 1/441*(-4*w + 449)>, <-12, 1/142*(-21*w + 252)>, <-12, 1/1207*(-42*w + 220)>, <-6, 1/143541*(-2890*w + 48460)>, <-24, 1/549*(-13*w + 182)>, <-12, 1/380*(-13*w + 367)>, <-12, 1/340*(-7*w - 91)>, <-12, 1/20989*(-98*w + 21217)>, <-12, 1/6*(-w + 10)>, <-12, 1/289*(-2*w - 30)>, <-12, 1/189*(-4*w + 209)>, <-12, 1/189*(-16*w + 269)>, <-12, 1/369*(-5*w + 389)>, <-12, 1/6293*(-198*w + 4169)>, <-12, 1/67*(-20*w - 140)>, <-24, 1/129717*(-1600*w + 142325)>, <-24, 1/25*(-w + 13)>, <-36, 1/11929*(-14*w + 11767)>, <-12, 1/221*(-14*w - 84)>, <-12, 1/87453*(-1120*w + 23933)>, <-12, 1/357*(-2*w + 353)>, <-12, 1/369*(-2*w + 8)>, <-12, 1/1428*(-361*w + 722)>, <-12, 1/107793*(-2720*w + 53873)>, <-12, 1/354*(-17*w + 337)>, <-12, 1/90489*(-1088*w + 17984)>, <-12, 1/13*(-3*w - 33)>, <-12, 1/209*(-13*w + 313)>, <-12, 1/413*(-6*w + 65)>, <-8, 1/47089*(-495*w + 7480)>, <-12, 1/57*(-w - 11)>, <-12, 1/268*(-13*w - 91)>, <-12, 1/755*(-17*w + 925)>, <-12, 1/17*(-19*w - 266)>, <-12, 1/549*(-19*w + 266)>, <-18, 1/92193*(-850*w + 77843)>, <-12, 1/68853*(-1190*w + 9863)>, <-12, 1/52*(-21*w - 263)>, <-12, 1/578*(-21*w + 263)>, <-12, 1/1005*(-32*w - 224)>, <-12, 1/361*(-8*w + 353)>, <-12, -w + 1>, <-12, 1/59*(-20*w + 39)>, <-12, 1/837*(-13*w + 551)>, <-12, 1/459*(-14*w + 529)>, <-12, 1/54621*(-110*w - 1529)>, <-12, 1/11*(-20*w - 269)>, <-12, 1/1267*(-160*w + 1747)>, <-12, 1/200*(-13*w - 117)>, <-12, 1/369*(-2*w + 377)>, <-12, 1/1556*(-361*w + 3722)>, <-12, 1/578*(-15*w + 353)>, <-12, 1/102017*(-960*w + 79425)>, <-12, 1/11*(-7*w - 70)>, <-12, 1/389*(-54*w + 713)>, <-12, 1/1722*(-25*w + 797)>, <-4, 1/118233*(-184*w + 116449)>, <-4, 1/1812*(-437*w + 6049)>, <-4, 1/118233*(-152*w + 22036)>, <-4, 1/209*(-2*w + 235)>, <-4, 1/261*(-2*w + 235)>, <-12, 1/1239*(-19*w + 137)>, <-12, 1/441*(-8*w + 481)>, <-12, 1/378*(-w + 373)>, <-12, 1/6273*(-361*w + 4829)>, <-12, 1/369*(-8*w - 32)>, <-12, 1/55774*(-1617*w + 51891)>, <-12, 1/441*(-8*w + 88)>, <-12, 1/353*(-147*w + 353)>, <-12, 1/187*(-5*w + 182)>, <-12, 1/441*(-4*w + 413)>, <-12, 1/1963*(-147*w + 1470)>, <-12, 1/20234*(-147*w - 493)>, <-6, 1/5699*(-100*w + 2675)>, <-12, 1/4*(-w - 5)>, <-12, 1/756*(-209*w + 1045)>, <-6, 1/369*(-361*w + 1813)>, <-6, 1/369*(-w + 4)>, <-12, 1/361*(-7*w + 347)>, <-12, 1/389*(-361*w + 2166)>, <-12, 1/138873*(-1444*w + 7108)>, <-12, 1/19*(-9*w - 135)>, <-6, 1/295*(-18*w + 313)>, <-12, 1/91*(-4*w - 16)>, <-12, 1/17*(-w - 5)>, <-12, 1/17*(-10*w - 110)>, <-12, 1/201*(-w + 7)>, <-12, 1/189*(-200*w + 1000)>, <-12, 1/169*(-22*w + 257)>, <-12, 1/369*(-20*w + 289)>, <-12, 1/380*(-3*w - 27)>, <-12, 1/434*(-3*w + 27)>, <-12, 1/578*(-9*w + 443)>, <-12, 1/112421*(-1386*w + 44199)>, <-12, 1/70953*(-1064*w + 17297)>, <-12, 1/8946*(-65*w - 780)>, <-12, 1/2715*(-136*w + 3123)>, <-12, 1/497*(-15*w + 317)>, <-12, 1/130626*(-1445*w + 29765)>, <-4, 1/453*(-4*w + 40)>, <-4, 1/437*(-4*w + 413)>, <-4, 1/12006*(-361*w + 6781)>, <-4, 1/1556*(-361*w + 6781)>, <-12, 1/236*(-21*w + 215)>, <-6, 1/8062*(-63*w + 7315)>, <-12, 1/7248*(-133*w - 1330)>, <-12, 1/2896*(-133*w + 3295)>, <-12, 1/3819*(-68*w + 4295)>, <-12, 1/708*(-55*w - 55)>, <-12, 1/3843*(-13*w + 182)>, <-6, 1/361*(-w + 359)>, <-6, 1/362*(-w + 3)>, <-12, 1/362*(-19*w + 305)>, <-12, 1/203*(-54*w + 1067)>, <-6, 1/2501*(-50*w + 825)>, <-18, 1/41*(-2*w + 8)>, <-6, 1/369*(-49*w + 196)>, <-12, 1/417*(-200*w + 2017)>, <-12, 1/417*(-w + 8)>, <-12, 1/440*(-13*w + 401)>, <-12, 1/609*(-13*w + 208)>, <-12, 1/389*(-3*w + 18)>, <-12, 1/380*(-3*w + 371)>, <-12, 1/213561*(-5780*w + 135820)>, <-12, 1/1629*(-154*w + 2091)>, <-12, 1/5964*(-209*w + 8472)>, <-12, 1/353*(-12*w + 353)>, <-12, 1/3213*(-104*w + 3733)>, <-1, 1/173889*(-2576*w + 46529)>, <-1, 1/417*(-7*w + 473)>, <-1, 1/120513*(-392*w + 79864)>, <-1, 1/120513*(-1288*w + 87032)>, <-1, 1/9248*(-161*w + 10879)>, <-1, 1/241026*(-1127*w + 11417)>, <-12, 1/8201*(-168*w + 6440)>, <-12, 1/68853*(-896*w + 24437)>, <-12, 1/1098*(-5*w - 70)>, <-12, 1/1206*(-25*w + 1381)>, <-12, 1/5835*(-209*w - 1254)>, <-12, 1/945*(-38*w + 1135)>, <-12, 1/24157*(-570*w + 13992)>, <-12, 1/119*(-6*w + 107)>, <-12, 1/2911*(-56*w + 2807)>, <-12, 1/49*(-w + 12)>, <-12, 1/41*(-7*w + 13)>, <-12, 1/469*(-6*w - 42)>, <-12, 1/9940*(-17*w - 204)>, <-12, 1/99369*(-2210*w + 58939)>, <-4, 1/120513*(-2944*w + 90689)>, <-4, 1/6672*(-161*w + 8303)>, <-4, 1/120513*(-896*w + 92912)>, <-4, 1/49*(-8*w + 169)>, <-4, 1/289*(-8*w + 169)>, <-12, 1/833*(-6*w + 107)>, <-12, 1/2419*(-18*w + 277)>, <-12, 1/51646*(-825*w + 26521)>, <-12, 1/49*(-w + 47)>, <-12, -3*w - 35>, <-12, 1/91*(-3*w - 24)>, <-12, 1/217*(-54*w + 703)>, <-12, 1/10353*(-110*w + 7955)>, <-12, 1/147*(-4*w + 111)>, <-12, 1/151*(-21*w + 210)>, <-12, 1/9362*(-21*w + 59)>, <-12, 1/17818*(-273*w + 6807)> ]