/* Defining polynomial */ x^2 + 302 /* GCD of coefficients */ 2 /* 24 * |disc|^(3/2) /(8*pi^2)* zeta_F(2) */ 22159.3286268313191396231682963 /* Belt */ [ <48, 1/327*(5*w + 25)>, <48, 5/302*w>, <72, 1/351*(14*w + 253)>, <6, 1/54*(w + 34)>, <282, 1/13*(w + 7)>, <24, 1/136*(3*w - 15)>, <24, 1/7191*(55*w + 7796)>, <24, 1/136*(3*w + 151)>, <24, 1/145842*(935*w + 132532)>, <36, 1/423*(11*w + 121)>, <6, 1/1326*(25*w + 800)>, <174, 1/39*(w + 7)>, <36, 11/302*w>, <36, 1/1115*(16*w - 192)>, <192, 1/141*(7*w + 77)>, <192, 1/21*(w + 11)>, <36, 1/8007*(80*w + 1472)>, <282, 1/13*(w + 6)>, <24, 1/1915*(39*w - 351)>, <12, 1/169*(7*w + 211)>, <24, 1/14606*(195*w + 3276)>, <48, 1/36*(5*w + 86)>, <48, 1/36*(5*w - 50)>, <156, 1/51*(w + 49)>, <156, 1/51*(w + 2)>, <184, 1/183*(8*w + 64)>, <24, 1/43851*(680*w + 15376)>, <48, 1/22*(w + 10)>, <48, 1/201*(11*w + 110)>, <24, 1/43851*(680*w + 28475)>, <144, 1/17*(w + 7)>, <144, 1/351*(17*w + 119)>, <184, 1/20*(w + 10)>, <24, 1/57*(w + 57)>, <48, 1/13*(w + 10)>, <48, 1/402*(13*w + 130)>, <24, 1/302*(57*w + 302)>, <102, 1/47*(w + 11)>, <6, 1/25*(w - 11)>, <24, 1/423*(22*w + 181)>, <24, 1/311*(9*w + 338)>, <24, 1/33899*(680*w + 24395)>, <24, 1/35457*(748*w + 2732)>, <24, 1/1244*(187*w + 683)>, <24, 1/446*(9*w + 338)>, <24, 1/255*(8*w + 287)>, <36, 1/8*w>, <36, 1/8*(w + 8)>, <48, 1/470*(w + 459)>, <192, 1/117*(5*w + 82)>, <72, 1/10*(w + 10)>, <36, 1/151*w>, <36, 1/51*(2*w + 55)>, <24, 1/159*(w + 163)>, <48, 1/23517*(272*w + 3712)>, <144, 1/109*(3*w + 94)>, <48, 1/1139*(12*w + 1259)>, <72, 1/311*(9*w + 284)>, <36, 1/351*(5*w + 35)>, <174, 1/9*(w + 7)>, <36, 1/351*(5*w + 316)>, <72, 1/311*(9*w + 27)>, <48, 1/24307*(204*w + 21403)>, <144, 1/106*(3*w + 94)>, <72, 1/306*(11*w + 284)>, <24, 1/31959*(476*w + 8908)>, <24, 1/2928*(247*w - 1976)>, <12, 1/34*(5*w + 84)>, <132, 1/109*(5*w + 25)>, <24, 1/116049*(1976*w + 76817)>, <24, 1/68*(7*w + 131)>, <204, 1/19*(w + 9)>, <84, 1/101*(3*w + 3)>, <24, 1/737*(34*w + 1077)>, <204, 1/402*(19*w + 212)>, <24, 1/22523*(374*w + 11847)>, <84, 1/9*(w + 1)>, <24, 1/109*(2*w - 10)>, <72, 1/327*(7*w + 292)>, <180, 1/366*(17*w + 230)>, <24, 1/171*(13*w + 262)>, <48, 1/1833*(10*w + 1708)>, <144, 1/9447*(70*w + 10087)>, <24, 1/67257*(1064*w + 14665)>, <120, 1/366*(19*w + 152)>, <48, 1/402*(7*w + 332)>, <24, 1/8397*(170*w + 3620)>, <144, 1/14*(w + 10)>, <24, 1/44823*(572*w + 49555)>, <48, 1/2067*(110*w - 440)>, <24, 1/2412*(91*w + 3322)>, <24, 1/12*(w + 11)>, <144, 1/1561*(10*w + 1441)>, <48, 1/804*(5*w + 854)>, <120, 1/19*(w + 8)>, <24, 1/67257*(1064*w + 52592)>, <48, 1/53*(3*w + 41)>, <48, 1/53*(3*w + 12)>, <24, 1/171*(13*w - 91)>, <180, 1/366*(17*w + 136)>, <24, 1/109*(2*w + 119)>, <72, 1/306*(7*w + 292)>, <168, 1/53*(2*w + 45)>, <24, 1/10309*(57*w + 334)>, <84, 1/223*(7*w + 139)>, <24, 1/63873*(1540*w + 21593)>, <48, 1/583*(40*w + 743)>, <24, 1/39066*(665*w + 8666)>, <60, 1/327*(14*w + 257)>, <24, 1/57833*(1197*w + 17667)>, <24, 1/21291*(352*w + 11627)>, <120, 1/327*(11*w + 55)>, <24, 1/66*(17*w - 170)>, <48, 1/16*(w + 5)>, <24, 1/1020*(91*w + 1202)>, <24, 1/737*(32*w + 1057)>, <24, 1/1020*(91*w - 182)>, <24, 1/66*(17*w + 236)>, <120, 1/338*(11*w + 66)>, <48, 1/423*(16*w + 247)>, <48, 1/240*(11*w + 284)>, <24, 1/1431*(133*w + 1963)>, <72, 1/169*(4*w + 145)>, <24, 1/763*(95*w + 1238)>, <168, 1/12*(w + 8)>, <24, 1/128*(15*w - 120)>, <12, 1/115666*(1989*w + 48924)>, <36, 1/383*(9*w + 302)>, <24, 1/10309*(57*w + 9975)>, <192, 1/15*(w + 8)>, <24, 1/128*(15*w + 248)>, <84, 1/223*(7*w + 84)>, <72, 1/169*(4*w + 24)>, <114, 1/17*(w + 11)>, <24, 1/63873*(1540*w + 42280)>, <48, 1/338*(15*w + 90)>, <24, 1/33673*(510*w + 12835)>, <84, 1/383*(16*w + 239)>, <28, 1/117*(2*w + 14)>, <48, 1/9*(w + 10)>, <48, 1/338*(15*w + 248)>, <28, 1/42*(5*w + 82)>, <84, 1/383*(16*w + 144)>, <48, 1/101*(3*w + 104)>, <28, 1/117*(2*w + 103)>, <24, 1/85*(6*w + 151)>, <96, 1/117*(4*w + 89)>, <132, 1/51*(2*w + 47)>, <24, 1/1608*(65*w - 650)>, <24, 1/3233*(38*w + 3173)>, <72, 1/201*(5*w + 50)>, <132, 1/67*(2*w + 47)>, <96, 1/109*(4*w + 89)>, <24, 1/68*(19*w + 38)>, <24, 1/15857*(260*w + 6825)>, <24, 1/21*(w + 9)>, <24, 1/446*(21*w + 194)>, <24, 1/95*(2*w - 4)>, <24, 1/8181*(152*w + 5605)>, <24, 1/1159*(11*w + 1247)>, <24, 1/612*(95*w - 190)>, <24, 1/8181*(152*w + 2576)>, <24, 1/6649*(57*w + 6498)>, <24, 1/108*(5*w + 163)>, <24, 1/57*(2*w + 55)>, <24, 1/114*(w + 114)>, <24, 1/108*(5*w - 55)>, <24, 1/1411*(38*w + 1045)>, <24, 1/141*(4*w + 44)>, <24, 1/2412*(91*w - 910)>, <48, 1/62511*(1430*w + 29920)>, <24, 1/5181*(52*w + 4505)>, <144, 1/201*(7*w + 70)>, <24, 1/8397*(170*w + 4777)>, <48, 1/7*(w - 3)>, <60, 1/327*(14*w + 70)>, <24, 1/66*(19*w + 218)>, <72, 1/11*(w + 9)>, <114, 1/338*(17*w + 236)>, <48, 1/1037*(16*w - 128)>, <24, 1/2*(w + 6)>, <48, 1/4489*(10*w + 4590)>, <36, 1/151*(w + 151)>, <36, 1/83*(2*w + 55)>, <120, 1/13*(w + 9)>, <120, 1/318*(13*w + 266)>, <120, 1/327*(13*w + 65)>, <96, 1/169*(6*w + 36)>, <120, 1/13*(w + 5)>, <72, 1/7*(w + 8)>, <72, 1/303*(7*w + 310)>, <40, 1/446*(17*w + 242)>, <12, 1/11009*(150*w + 3584)>, <36, 1/13*(w + 12)>, <24, 1/15857*(420*w + 11025)>, <96, 1/106*(5*w + 20)>, <24, 1/127746*(2717*w + 53152)>, <72, 1/25803*(76*w + 24947)>, <108, 1/61*(w + 8)>, <300, 1/61*(3*w + 24)>, <24, 1/39*(2*w - 8)>, <24, 1/15857*(420*w + 4832)>, <96, 1/15*(w + 4)>, <24, 1/247*(11*w - 55)>, <24, 1/39*(2*w + 47)>, <12, 1/27*(2*w - 20)>, <72, 1/24*(19*w - 190)>, <108, 1/51*(w - 2)>, <300, 1/61*(3*w + 37)>, <96, 1/159*(4*w + 16)>, <12, 1/122*(15*w - 120)>, <48, 1/13*(w + 11)>, <48, 1/13*(w + 2)>, <48, 1/153*(2*w + 4)>, <12, 1/1586*(15*w + 1340)>, <144, 1/18*(w + 11)>, <48, 1/8*(w - 2)>, <96, 1/10*(3*w + 37)>, <24, 1/95*(3*w - 9)>, <36, 1/446*(15*w + 266)>, <12, 1/4665*(221*w + 5328)>, <12, 1/909*(95*w - 95)>, <24, 1/933*(95*w - 285)>, <96, 1/4087*(30*w + 370)>, <48, 1/153*(4*w - 8)>, <36, 1/311*(5*w + 15)>, <36, 1/306*(5*w + 10)>, <12, 1/26871*(595*w + 10330)>, <108, 1/159*(5*w + 139)>, <24, 1/7473*(140*w + 553)>, <24, 1/119*(20*w + 79)>, <24, 1/265*(11*w + 309)>, <72, 1/318*(7*w + 28)>, <72, 1/7*(w + 4)>, <24, 1/119*(16*w + 247)>, <24, 1/58599*(1120*w + 7399)>, <24, 1/30*(w + 36)>, <102, 1/34*(w - 2)>, <24, 1/30*(w - 6)>, <24, 1/119*(16*w - 128)>, <24, 7/320*w>, <60, 1/423*(20*w + 220)>, <60, 1/383*(20*w + 180)>, <24, 1/3233*(34*w + 394)>, <24, 1/12699*(280*w + 4795)>, <24, 1/249*(8*w + 112)>, <48, 1/13*w>, <24, 1/272*(15*w + 302)>, <24, 1/338*(51*w + 644)>, <36, 1/2*(w - 2)>, <120, 1/201*(8*w + 121)>, <132, 1/15*(w + 5)>, <24, 1/51*(w - 7)>, <24, 1/117*(17*w - 119)>, <48, 1/4*(w + 6)>, <48, 1/169*(2*w + 12)>, <12, 1/153*(19*w + 115)>, <12, 1/100*(19*w + 214)>, <168, 1/14*(w + 6)>, <24, 1/11373*(280*w + 9128)>, <24, 1/2379*(88*w - 704)>, <12, 1/3384*(247*w + 6101)>, <12, 1/311*(8*w + 335)>, <20, 1/11*(w + 14)>, <12, 1/2739*(95*w - 1330)>, <24, 1/168*(5*w + 163)>, <24, 1/2379*(88*w + 3083)>, <64, 1/157*(7*w + 91)>, <24, 1/106*(3*w + 118)>, <24, 1/157*(3*w + 118)>, <64, 1/122*(7*w + 56)>, <24, 1/48*(w - 5)>, <24, 1/1139*(22*w + 622)>, <24, 1/20301*(374*w + 10373)>, <72, 1/383*(18*w + 162)>, <24, 1/671*(34*w + 943)>, <24, 1/33*(2*w - 14)>, <24, 1/1037*(16*w + 189)>, <24, 1/285*(7*w + 362)>, <24, 1/11323*(114*w + 10317)>, <24, 1/34119*(728*w + 14456)>, <24, 1/25813*(544*w + 17493)>, <24, 1/85*(19*w - 38)>, <24, 1/147*(4*w - 4)>, <24, 1/1598*(35*w + 1260)>, <24, 1/98*(3*w - 6)>, <24, 1/7303*(95*w + 6688)>, <24, 1/192*(17*w - 68)>, <24, 1/104*(7*w + 139)>, <24, 1/11323*(114*w + 1006)>, <24, 1/285*(7*w - 77)>, <48, 1/90*(7*w + 139)>, <60, 1/11*(w - 1)>, <60, 1/183*(10*w + 103)>, <24, 1/3417*(70*w + 1772)>, <48, 1/383*(12*w + 275)>, <24, 1/108*(5*w - 35)>, <24, 1/545*(42*w - 210)>, <120, 1/201*(8*w + 80)>, <24, 1/160*(13*w - 130)>, <60, 1/303*(11*w - 11)>, <24, 1/160*(13*w + 290)>, <48, 1/383*(12*w + 108)>, <24, 1/545*(42*w + 755)>, <12, 1/1464*(119*w - 952)>, <60, 1/20*(w + 12)>, <168, 1/183*(7*w + 127)>, <24, 1/35*(2*w - 12)>, <48, 1/273*(10*w + 343)>, <24, 1/108*(5*w + 143)>, <60, 1/303*(7*w + 296)>, <60, 1/338*(7*w + 296)>, <24, 1/33969*(392*w + 5929)>, <24, 1/49*(8*w + 121)>, <76, 1/351*(19*w + 218)>, <24, 1/255*(8*w - 56)>, <24, 1/6*(w + 5)>, <24, 1/38683*(680*w + 12248)>, <24, 1/6*(w + 1)>, <76, 1/351*(19*w + 133)>, <24, 1/327*(19*w + 95)>, <24, 1/65*(4*w - 32)>, <24, 1/689*(38*w + 841)>, <48, 1/151*(2*w + 151)>, <24, 1/498*(19*w + 266)>, <48, 2/151*w>, <24, 1/228*(13*w + 280)>, <24, 1/14241*(260*w + 7936)>, <96, 1/318*(11*w + 274)>, <96, 1/351*(11*w + 274)>, <24, 1/2613*(40*w + 605)>, <24, 1/55*(8*w + 127)>, <24, 1/216*(5*w - 35)>, <24, 1/55*(8*w - 72)>, <24, 1/1128*(13*w - 143)>, <24, 1/11819*(104*w + 1651)>, <24, 1/95*(2*w + 103)>, <24, 1/11817*(190*w + 9785)>, <48, 1/102*(w + 104)>, <24, 1/3618*(25*w - 250)>, <32, 1/498*(13*w + 182)>, <24, 1/52*(9*w - 63)>, <48, 1/109*(w + 104)>, <24, 1/25*(9*w - 90)>, <32, 1/13*(w + 14)>, <24, 1/52*(9*w + 115)>, <24, 1/35*(w + 36)>, <24, 1/459*(49*w - 98)>, <24, 1/147*(4*w + 151)>, <12, 1/27*(10*w - 103)>, <12, 1/1952*(45*w - 360)>, <12, 1/311*(50*w - 150)>, <12, 1/69353*(1440*w + 15273)>, <24, 1/3551*(51*w + 644)>, <36, 1/153*(w - 2)>, <24, 1/153*(2*w - 14)>, <48, 13/302*w>, <24, 1/12699*(280*w + 7904)>, <24, 1/4681*(120*w + 2416)>, <24, 1/153*(8*w + 16)>, <24, 1/311*(13*w + 350)>, <24, 1/311*(13*w - 39)>, <36, 1/17*(w + 4)>, <12, 1/2703*(91*w - 364)>, <24, 1/65*(4*w + 89)>, <24, 1/78*(7*w - 49)>, <48, 1/35*(2*w - 10)>, <24, 1/166*(7*w + 68)>, <24, 1/30*(7*w - 68)>, <24, 1/78*(7*w + 127)>, <24, 1/65*(4*w - 24)>, <48, 1/654*(35*w - 175)>, <60, 1/402*(11*w + 292)>, <60, 1/303*(11*w + 292)>, <4, 1/6474*(175*w + 4774)>, <4, 1/585*(14*w + 721)>, <4, 1/3237*(25*w + 2555)>, <4, 1/26*(5*w + 96)>, <28, 1/166*(5*w + 96)>, <24, 1/18094*(209*w + 2552)>, <24, 1/848*(133*w + 532)>, <24, 1/150*(13*w - 130)>, <24, 1/52*(5*w - 40)>, <24, 1/11819*(180*w + 3944)>, <24, 1/18094*(209*w + 15542)>, <12, 1/8*(w + 3)>, <12, 1/101697*(1976*w + 70889)>, <24, 1/51339*(1064*w + 48811)>, <24, 1/871*(25*w - 250)>, <24, 1/52*(5*w + 92)>, <12, 1/1411*(18*w + 916)>, <24, 1/536*(45*w + 986)>, <12, 1/106*(15*w + 166)>, <24, 1/3807*(16*w + 3983)>, <12, 1/60903*(1001*w + 34331)>, <24, 1/3807*(16*w - 176)>, <8, 1/1281*(5*w - 40)>, <4, 1/2562*(25*w + 2972)>, <4, 1/244*(35*w + 574)>, <4, 1/147*(5*w + 82)>, <4, 1/6123*(98*w - 296)>, <28, 1/42*(5*w - 40)>, <12, 1/30*(w + 32)>, <24, 1/1818*(323*w + 2141)>, <4, 1/55*(8*w + 119)>, <24, 1/6*(w + 3)>, <12, 1/128169*(3230*w + 101099)>, <12, 1/10*(w + 11)>, <24, 1/323*(6*w + 329)>, <24, 1/18971*(255*w + 16626)>, <24, 1/18971*(255*w + 2345)>, <24, 1/1206*(7*w - 70)>, <12, 1/1098*(13*w + 1202)>, <24, 1/311*(60*w + 180)>, <24, 1/311*(60*w + 131)>, <12, 1/374*(7*w + 28)>, <12, 1/318*(7*w - 28)>, <36, 1/383*(9*w + 81)>, <24, 1/135*(16*w + 247)>, <144, 1/39*(2*w + 25)>, <24, 1/51*(w + 32)>, <24, 1/51*(w + 19)>, <12, 1/9486*(13*w + 9291)>, <12, 1/527*(18*w + 270)>, <24, 1/18894*(91*w + 19726)>, <24, 1/208*(5*w + 243)>, <24, 1/766*(7*w - 63)>, <24, 1/28*(w - 4)>, <24, 1/663*(14*w + 215)>, <24, 1/1833*(14*w + 175)>, <36, 1/117*(w + 110)>, <24, 1/12533*(336*w + 7248)>, <84, 1/31*(w + 15)>, <24, 1/4982*(85*w + 3520)>, <24, 1/4293*(88*w + 2192)>, <24, 1/9958*(165*w + 7230)>, <72, 1/366*(11*w + 88)>, <24, 1/915*(22*w + 1091)>, <24, 1/583*(39*w - 156)>, <12, 1/133*(5*w + 143)>, <84, 1/183*(5*w + 40)>, <84, 1/183*(5*w + 143)>, <12, 1/190*(11*w - 88)>, <24, 1/1159*(12*w - 96)>, <24, 1/1159*(12*w + 1255)>, <24, 1/1404*(133*w + 2335)>, <4, 1/114777*(646*w + 5926)>, <4, 1/351*(2*w + 337)>, <4, 1/38*(17*w + 242)>, <8, 1/85*(19*w - 133)>, <16, 1/10*(19*w + 228)>, <8, 1/6669*(85*w - 595)>, <24, 1/1404*(133*w - 931)>, <24, 1/4399*(78*w + 3333)>, <24, 1/162*(13*w + 266)>, <24, 1/162*(13*w - 104)>, <24, 1/26*(3*w - 15)>, <24, 1/78273*(266*w + 75221)>, <24, 1/33673*(798*w + 13590)>, <24, 1/1352*(323*w + 3290)>, <60, 1/16*(w + 12)>, <24, 1/62511*(1064*w + 50464)>, <24, 1/351*(7*w + 49)>, <24, 1/1555*(136*w + 1963)>, <36, 1/16*(w + 13)>, <24, 1/71121*(1456*w + 33824)>, <36, 1/151*(3*w + 151)>, <24, 1/799*(14*w + 295)>, <24, 1/62511*(1064*w + 12047)>, <60, 1/159*(8*w + 127)>, <40, 1/446*(17*w + 204)>, <24, 1/323*(4*w + 347)>, <24, 1/33673*(798*w + 20083)>, <24, 1/28*(19*w - 190)>, <36, 1/318*(17*w + 68)>, <48, 1/109*(6*w + 30)>, <36, 1/311*(15*w + 266)>, <24, 1/57*(4*w + 97)>, <24, 1/909*(190*w + 190)>, <24, 1/63*(8*w - 64)>, <24, 1/96*(7*w - 35)>, <24, 1/143*(14*w + 269)>, <24, 1/20837*(364*w + 13221)>, <24, 1/20837*(364*w + 7616)>, <24, 1/5362*(143*w + 6649)>, <48, 1/109*(6*w + 79)>, <12, 1/25519*(399*w + 20083)>, <24, 1/57*(4*w - 40)>, <24, 1/37687*(570*w + 35530)>, <24, 1/10653*(224*w + 6461)>, <24, 1/11819*(168*w + 9152)>, <24, 1/12246*(133*w + 10678)>, <12, 1/6123*(133*w + 7852)>, <24, 1/513*(7*w + 562)>, <48, 1/6161*(120*w + 3920)>, <24, 1/872*(85*w - 425)>, <48, 1/6161*(120*w + 2241)>, <24, 1/255*(8*w - 40)>, <24, 1/424*(45*w + 604)>, <24, 1/424*(45*w - 180)>, <108, 1/10*(w + 6)>, <24, 1/404*(57*w - 57)>, <24, 1/171*(4*w - 4)>, <60, 1/101*(w + 100)>, <24, 1/17069*(240*w + 2285)>, <60, 1/102*(w + 100)>, <24, 1/17069*(240*w + 14784)>, <36, 1/446*(13*w + 156)>, <24, 1/183*(14*w + 295)>, <36, 1/169*(3*w + 151)>, <24, 1/71121*(1456*w + 37297)>, <36, 1/311*(16*w + 263)>, <24, 1/30351*(680*w + 9815)>, <24, 1/7*(w + 7)>, <24, 1/7303*(110*w + 5455)>, <24, 1/18971*(429*w + 10842)>, <72, 1/366*(11*w + 278)>, <24, 1/405*(11*w + 482)>, <24, 1/208*(11*w + 274)>, <24, 1/4982*(85*w + 1462)>, <36, 1/106*(w + 110)>, <24, 1/12533*(336*w + 5285)>, <84, 1/17*(w + 15)>, <28, 1/101*(5*w + 96)>, <12, w - 15>, <12, 1/471*(289*w + 4228)>, <12, 1/471*(14*w + 182)>, <24, 1/8957*(190*w + 5282)>, <24, 1/581*(5*w + 511)>, <24, 1/166*(7*w + 98)>, <24, 1/8957*(190*w + 3675)>, <12, 1/3819*(11*w + 3929)>, <16, 1/223*(12*w + 79)>, <8, 1/49729*(780*w - 5135)>, <8, 1/65*(12*w - 79)>, <24, 1/4399*(60*w + 3579)>, <24, 1/67*(w + 57)>, <24, 1/33*(2*w + 45)>, <48, 1/327*(10*w + 277)>, <24, 1/676*(33*w + 874)>, <24, 1/1053*(20*w + 1193)>, <24, 1/53*(w + 57)>, <12, 1/2453*(91*w + 3545)>, <24, 1/240*(11*w + 328)>, <12, 1/3297*(25*w + 2972)>, <12, 1/27999*(640*w + 9695)>, <24, 1/240*(11*w - 88)>, <24, 1/383*(10*w + 293)>, <4, 1/2*(w + 5)>, <4, 1/101697*(646*w + 102391)>, <4, 1/101697*(5491*w + 95798)>, <4, 1/81423*(289*w + 5042)>, <4, 1/4233*(11*w + 4387)>, <20, 1/11*(w - 3)>, <4, 1/498*(17*w + 238)>, <6, 1/676*(289*w + 2410)>, <24, 1/10*(w + 1)>, <24, 1/265*(12*w - 48)>, <24, 1/265*(12*w + 313)>, <12, 1/20837*(702*w + 14688)>, <12, 1/324*(w + 10)>, <12, 1/311*(54*w + 473)>, <12, 1/327*(w + 332)>, <12, 1/10309*(378*w + 3451)>, <36, 1/3*(w - 5)>, <6, 1/49*(17*w + 236)>, <24, 1/201*(13*w - 130)>, <24, 1/201*(13*w + 331)>, <24, 1/13*(7*w + 77)>, <24, 1/5889*(112*w + 1057)>, <12, 1/11*(2*w - 14)>, <24, 1/5889*(112*w + 4832)>, <24, 1/5353*(51*w + 5202)>, <24, 1/255*(16*w + 287)>, <24, 1/15*(w + 2)>, <24, 1/1853*(55*w - 275)>, <24, 1/69353*(1320*w + 23408)>, <72, 1/18*(w + 12)>, <24, 1/4014*(7*w - 84)>, <24, 1/25857*(532*w + 6572)>, <24, 1/1244*(133*w + 1643)>, <12, 1/134433*(722*w + 131765)>, <24, 1/5353*(80*w + 4768)>, <24, 1/383*(48*w - 432)>, <24, 1/288*(5*w + 298)>, <24, 1/383*(48*w + 815)>, <24, 1/109161*(1292*w + 4832)>, <24, 1/4*(w - 1)>, <24, 1/2067*(119*w + 2543)>, <24, 1/1555*(323*w + 2524)>, <24, 1/302*(3*w + 302)>, <24, 1/142713*(3458*w + 71383)>, <36, 1/19*(w + 13)>, <24, 1/11323*(152*w + 9024)>, <24, 1/323*(5*w + 338)>, <24, 1/67569*(1547*w + 33059)>, <24, 1/4*(w + 5)>, <24, 4/323*w>, <24, 1/1308*(85*w + 1733)>, <24, 1/14*(w + 3)>, <24, 1/10653*(175*w + 7378)>, <24, 1/10653*(175*w + 3275)>, <24, 1/1308*(85*w - 425)>, <24, 1/14*(w + 11)>, <12, 1/9420*(49*w + 8783)>, <12, 1/471*(20*w + 260)>, <24, 1/549*(40*w - 320)>, <24, 1/6767*(120*w + 4160)>, <36, 1/153*(5*w + 163)>, <12, 1/1115*(128*w + 2651)>, <24, 1/106*(w + 102)>, <24, 1/101*(w + 102)>, <24, 1/976*(19*w + 1128)>, <36, 1/338*(19*w + 224)>, <24, 1/142713*(3458*w + 71330)>, <24, 1/311*(3*w + 302)>, <24, 1/69353*(1320*w + 45945)>, <24, 1/1853*(55*w + 2128)>, <24, 1/157*(5*w + 92)>, <24, 1/102*(w + 102)>, <24, 1/96*(5*w + 106)>, <12, 1/306*(w + 304)>, <12, 1/9393*(238*w + 4004)>, <12, 1/110*(19*w + 224)>, <12, 1/55*(7*w - 84)>, <36, 1/153*(5*w - 10)>, <12, 1/14*(w - 2)>, <12, 1/7536*(55*w + 8251)>, <12, 1/311*(2*w + 305)>, <12, 1/3333*(289*w + 3044)>, <24, 1/187*(15*w + 217)>, <12, 1/324*(w + 322)>, <12, 1/109*(18*w + 90)>, <12, 1/1853*(18*w - 19)>, <24, 1/7*(3*w - 30)>, <24, 1/187*(15*w - 30)>, <24, 1/799*(16*w + 223)>, <12, 1/282*(w - 11)>, <24, 1/159*(16*w + 223)>, <12, 1/7097*(198*w + 5436)>, <24, 1/11*(w - 2)>, <24, 1/54*(5*w - 30)>, <24, 1/14617*(266*w + 9506)>, <24, 1/546*(19*w + 679)>, <16, 1/4237*(5*w + 60)>, <12, 1/144126*(3971*w + 118408)>, <12, 1/361*(5*w + 65)>, <12, 1/3060*(361*w + 2338)>, <24, 1/383*(5*w + 338)>, <24, 1/318*(5*w + 338)>, <24, 1/4*(w + 3)>, <24, 1/5*(w + 1)>, <24, 1/909*(323*w + 586)>, <24, 1/318*(5*w + 298)>, <24, 1/311*(4*w + 12)>, <24, 1/14241*(340*w + 5996)>, <24, 1/845*(28*w - 168)>, <12, 1/2544*(95*w + 2924)>, <24, 1/85*(4*w - 12)>, <24, 1/845*(28*w + 1013)>, <12, 1/11778*(175*w + 4228)>, <12, 1/6128*(95*w + 6983)>, <12, 1/53*(19*w + 76)>, <24, 1/105118*(969*w + 1758)>, <72, 1/169*(9*w + 115)>, <24, 1/7303*(135*w + 5035)>, <24, 1/11*(w + 13)>, <12, 1/1915*(98*w + 2797)>, <24, 1/306*(7*w + 320)>, <12, 1/77*(17*w - 153)>, <24, 1/383*(7*w + 320)>, <24, 1/22523*(495*w + 8393)>, <12, 1/1037*(18*w + 954)>, <24, 1/22523*(495*w + 14130)>, <12, 1/108*(w + 110)>, <12, 1/361*(5*w + 326)>, <12, 1/3660*(361*w + 2888)>, <12, 1/128466*(361*w - 772)>, <24, 1/338*(5*w + 308)>, <24, 1/383*(3*w + 356)>, <24, 1/303*(5*w + 308)>, <12, 1/30927*(595*w + 10795)>, <12, 1/3*(w - 7)>, <12, 1/2613*(19*w + 2356)>, <24, 1/338*(3*w + 356)>, <12, 1/4578*(187*w - 935)>, <24, 1/2873*(70*w - 420)>, <24, 1/140*(17*w - 102)>, <12, 1/17069*(378*w + 15984)>, <12, 1/108*(w + 6)>, <12, 1/101*(54*w + 155)>, <12, 1/8037*(5*w - 55)>, <24, 1/142974*(1615*w + 24110)>, <24, 1/1915*(323*w + 4822)>, <36, 1/122*(w + 114)>, <24, 1/24307*(357*w + 5845)>, <24, 1/24307*(357*w + 18462)>, <24, 1/37687*(63*w + 805)>, <12, 1/17*(20*w - 203)>, <12, 1/40809*(170*w - 1751)>, <12, 1/201*(w + 10)>, <12, 1/183*(200*w + 1600)>, <4, 10*w + 101>, <-6, 1/54*(-w + 34)>, <-6, 1/1326*(-25*w + 800)>, <-12, 1/169*(-7*w + 211)>, <-6, 1/25*(-w - 11)>, <-12, 1/34*(-5*w + 84)>, <-12, 1/115666*(-1989*w + 48924)>, <-12, 1/11009*(-150*w + 3584)>, <-12, 1/27*(-2*w - 20)>, <-12, 1/122*(-15*w - 120)>, <-12, 1/1586*(-15*w + 1340)>, <-12, 1/4665*(-221*w + 5328)>, <-12, 1/909*(-95*w - 95)>, <-12, 1/26871*(-595*w + 10330)>, <-24, 1/265*(-11*w + 309)>, <-12, 1/153*(-19*w + 115)>, <-12, 1/100*(-19*w + 214)>, <-12, 1/3384*(-247*w + 6101)>, <-12, 1/311*(-8*w + 335)>, <-12, 1/2739*(-95*w - 1330)>, <-12, 1/1464*(-119*w - 952)>, <-12, 1/27*(-10*w - 103)>, <-12, 1/1952*(-45*w - 360)>, <-12, 1/311*(-50*w - 150)>, <-12, 1/69353*(-1440*w + 15273)>, <-12, 1/2703*(-91*w - 364)>, <-4, 1/6474*(-175*w + 4774)>, <-4, 1/585*(-14*w + 721)>, <-4, 1/3237*(-25*w + 2555)>, <-4, 1/26*(-5*w + 96)>, <-12, 1/8*(-w + 3)>, <-12, 1/101697*(-1976*w + 70889)>, <-12, 1/1411*(-18*w + 916)>, <-12, 1/106*(-15*w + 166)>, <-12, 1/60903*(-1001*w + 34331)>, <-8, 1/1281*(-5*w - 40)>, <-4, 1/2562*(-25*w + 2972)>, <-4, 1/244*(-35*w + 574)>, <-4, 1/147*(-5*w + 82)>, <-4, 1/6123*(-98*w - 296)>, <-12, 1/30*(-w + 32)>, <-4, 1/55*(-8*w + 119)>, <-12, 1/128169*(-3230*w + 101099)>, <-12, 1/10*(-w + 11)>, <-12, 1/1098*(-13*w + 1202)>, <-12, 1/374*(-7*w + 28)>, <-12, 1/318*(-7*w - 28)>, <-12, 1/9486*(-13*w + 9291)>, <-12, 1/527*(-18*w + 270)>, <-12, 1/133*(-5*w + 143)>, <-12, 1/190*(-11*w - 88)>, <-4, 1/114777*(-646*w + 5926)>, <-4, 1/351*(-2*w + 337)>, <-4, 1/38*(-17*w + 242)>, <-12, 1/25519*(-399*w + 20083)>, <-12, 1/6123*(-133*w + 7852)>, <-12, -w - 15>, <-12, 1/471*(-289*w + 4228)>, <-12, 1/471*(-14*w + 182)>, <-12, 1/3819*(-11*w + 3929)>, <-12, 1/2453*(-91*w + 3545)>, <-12, 1/3297*(-25*w + 2972)>, <-12, 1/27999*(-640*w + 9695)>, <-4, 1/2*(-w + 5)>, <-4, 1/101697*(-646*w + 102391)>, <-4, 1/101697*(-5491*w + 95798)>, <-4, 1/81423*(-289*w + 5042)>, <-4, 1/4233*(-11*w + 4387)>, <-4, 1/498*(-17*w + 238)>, <-6, 1/676*(-289*w + 2410)>, <-12, 1/20837*(-702*w + 14688)>, <-12, 1/324*(-w + 10)>, <-12, 1/311*(-54*w + 473)>, <-12, 1/327*(-w + 332)>, <-12, 1/10309*(-378*w + 3451)>, <-6, 1/49*(-17*w + 236)>, <-12, 1/11*(-2*w - 14)>, <-12, 1/134433*(-722*w + 131765)>, <-12, 1/9420*(-49*w + 8783)>, <-12, 1/471*(-20*w + 260)>, <-12, 1/1115*(-128*w + 2651)>, <-12, 1/306*(-w + 304)>, <-12, 1/9393*(-238*w + 4004)>, <-12, 1/110*(-19*w + 224)>, <-12, 1/55*(-7*w - 84)>, <-12, 1/14*(-w - 2)>, <-12, 1/7536*(-55*w + 8251)>, <-12, 1/311*(-2*w + 305)>, <-12, 1/3333*(-289*w + 3044)>, <-12, 1/324*(-w + 322)>, <-12, 1/109*(-18*w + 90)>, <-12, 1/1853*(-18*w - 19)>, <-12, 1/282*(-w - 11)>, <-12, 1/7097*(-198*w + 5436)>, <-12, 1/144126*(-3971*w + 118408)>, <-12, 1/361*(-5*w + 65)>, <-12, 1/3060*(-361*w + 2338)>, <-12, 1/2544*(-95*w + 2924)>, <-12, 1/11778*(-175*w + 4228)>, <-12, 1/6128*(-95*w + 6983)>, <-12, 1/53*(-19*w + 76)>, <-12, 1/1915*(-98*w + 2797)>, <-12, 1/77*(-17*w - 153)>, <-12, 1/1037*(-18*w + 954)>, <-12, 1/108*(-w + 110)>, <-12, 1/361*(-5*w + 326)>, <-12, 1/3660*(-361*w + 2888)>, <-12, 1/128466*(-361*w - 772)>, <-12, 1/30927*(-595*w + 10795)>, <-12, 1/3*(-w - 7)>, <-12, 1/2613*(-19*w + 2356)>, <-12, 1/4578*(-187*w - 935)>, <-12, 1/17069*(-378*w + 15984)>, <-12, 1/108*(-w + 6)>, <-12, 1/101*(-54*w + 155)>, <-12, 1/8037*(-5*w - 55)>, <-12, 1/17*(-20*w - 203)>, <-12, 1/40809*(-170*w - 1751)>, <-12, 1/201*(-w + 10)>, <-12, 1/183*(-200*w + 1600)>, <-4, -10*w + 101> ]