/* Defining polynomial */ x^2 - x + 311 /* GCD of coefficients */ 1 /* 24 * |disc|^(3/2) /(8*pi^2)* zeta_F(2) */ 14848.2207462426515674671661328 /* Belt */ [ <24, 1/255*(8*w + 303)>, <192, 1/383*(17*w + 230)>, <96, 1/15*(w + 7)>, <24, 1/255*(8*w - 56)>, <96, 1/383*(16*w + 128)>, <96, 1/16*(w + 8)>, <24, 1/119113*(2040*w + 79305)>, <24, 1/255*(8*w + 311)>, <156, 1/29*(w + 15)>, <156, 1/17*(w + 3)>, <60, 1/15*(w + 8)>, <12, 1/5745*(128*w - 1152)>, <60, 1/353*(14*w + 255)>, <60, 1/20*(w + 11)>, <24, 1/9193*(198*w + 6102)>, <60, 1/20*(w + 8)>, <60, 1/367*(14*w + 255)>, <144, 1/13*(w + 6)>, <52, 1/313*(9*w + 295)>, <52, 1/367*(9*w + 295)>, <24, 1/114137*(2128*w + 17465)>, <24, 1/2191*(304*w + 2495)>, <24, 1/306*(11*w + 339)>, <66, 1/383*(11*w + 284)>, <66, 1/317*(11*w + 284)>, <24, 1/323*(10*w - 10)>, <84, 1/16*(w + 9)>, <24, 1/7277*(63*w + 7781)>, <24, 1/133457*(3276*w + 60125)>, <72, 1/317*(13*w + 278)>, <24, 1/323*(10*w + 323)>, <84, 1/16*(w + 6)>, <192, 1/19*(w + 9)>, <48, 1/240*(11*w + 284)>, <24, 1/162581*(1197*w + 147839)>, <48, 1/240*(11*w - 55)>, <60, 7/311*w>, <24, 1/221*(10*w - 90)>, <72, 1/421*(18*w + 223)>, <12, 1/5138*(169*w + 6321)>, <96, 1/367*(11*w + 77)>, <132, 1/17*(w + 7)>, <24, 1/6239*(112*w - 896)>, <18, 1/313*(8*w + 297)>, <6, 1/110489*(2312*w + 22344)>, <18, 1/3*(w + 1)>, <60, 1/353*(7*w + 42)>, <24, 1/221*(10*w + 301)>, <24, 1/143*(15*w + 263)>, <24, 1/143*(15*w - 135)>, <60, 1/9*(w + 2)>, <60, 1/317*(9*w + 18)>, <24, 1/148039*(2730*w + 49504)>, <24, 1/182*(15*w + 272)>, <24, 1/467*(21*w + 194)>, <132, 1/331*(13*w + 266)>, <36, 1/12*(w + 6)>, <36, 1/12*w>, <24, 1/306*(7*w + 320)>, <12, 1/125513*(3564*w + 94284)>, <12, 1/324*(w + 9)>, <12, 1/2191*(324*w + 2515)>, <24, 1/119879*(2142*w + 97920)>, <24, 1/383*(21*w + 194)>, <132, 1/383*(13*w + 266)>, <36, 1/353*(12*w + 72)>, <36, 12/311*w>, <48, 1/323*(12*w + 275)>, <48, 1/383*(12*w + 275)>, <54, 1/421*(14*w + 140)>, <6, 1/225*(14*w + 267)>, <72, 1/7*(w + 3)>, <12, 1/323*(w + 319)>, <60, 1/7*(w + 4)>, <12, 1/324*(w - 3)>, <24, 1/357*(10*w + 337)>, <24, 1/133457*(2431*w + 51986)>, <48, 1/311*(7*w + 311)>, <48, 1/367*(7*w + 311)>, <24, 1/3130*(357*w + 2416)>, <24, 1/187*(13*w + 278)>, <48, 1/311*(9*w + 302)>, <48, 1/383*(9*w + 302)>, <42, 1/421*(15*w + 256)>, <6, 1/4965*(196*w + 5749)>, <72, 1/331*(9*w + 36)>, <30, 1/138659*(1872*w + 95459)>, <66, 1/443*(13*w + 287)>, <24, 1/401*(6*w + 341)>, <24, 1/323*(6*w + 341)>, <24, 1/323*(6*w + 18)>, <24, 1/317*(6*w + 12)>, <12, 1/146171*(3564*w + 104976)>, <12, 1/324*(w + 12)>, <12, 1/4069*(324*w + 3421)>, <24, 1/5296*(195*w - 975)>, <24, 1/150841*(3120*w + 50505)>, <60, 1/13*(w + 3)>, <28, 1/551*(11*w + 165)>, <24, 1/467*(18*w + 216)>, <12, 1/143*(18*w + 233)>, <28, 1/331*(11*w - 55)>, <60, 1/401*(13*w + 271)>, <24, 1/3170*(273*w + 3716)>, <24, 1/273*(10*w + 293)>, <24, 1/313*(10*w + 293)>, <24, 1/383*(10*w + 293)>, <44, 1/421*(21*w + 190)>, <6, 1/5052*(169*w + 6742)>, <18, 1/421*(12*w + 120)>, <120, 1/367*(19*w + 215)>, <12, 1/3987*(196*w + 6143)>, <66, 1/443*(13*w + 143)>, <12, 1/110489*(1800*w + 41864)>, <60, 1/11*(w + 9)>, <16, 1/116843*(2310*w + 56573)>, <64, 1/353*(11*w + 276)>, <24, 1/255*(14*w + 297)>, <24, 1/266*(15*w + 311)>, <72, 1/401*(15*w + 135)>, <60, 1/383*(15*w + 120)>, <24, 1/304*(9*w - 27)>, <24, 1/9193*(208*w + 5488)>, <24, 1/137773*(3300*w + 93300)>, <30, 1/493*(18*w + 241)>, <24, 1/5505*(143*w + 6506)>, <72, 1/317*(13*w + 26)>, <64, 1/353*(11*w + 66)>, <24, 1/7218*(65*w - 650)>, <24, 1/156379*(1170*w + 14755)>, <24, 1/238*(15*w - 60)>, <24, 1/9077*(210*w + 4905)>, <24, 1/148613*(1666*w + 22932)>, <96, 1/367*(11*w + 279)>, <72, 1/4771*(180*w - 1440)>, <72, 1/129523*(2340*w + 48780)>, <124, 1/367*(13*w + 91)>, <124, 1/13*(w + 7)>, <60, 1/401*(18*w + 221)>, <60, 1/383*(18*w + 221)>, <12, 1/3732*(323*w + 3409)>, <12, 1/467*(12*w + 311)>, <24, 1/1565*(306*w + 1871)>, <24, 1/1565*(306*w - 612)>, <244, 1/31*(w + 5)>, <30, 1/443*(14*w + 275)>, <12, 1/4438*(247*w + 4932)>, <48, 1/317*(5*w + 302)>, <72, 1/341*(15*w + 75)>, <120, 1/17*(w + 10)>, <6, 1/177241*(1344*w + 12160)>, <24, 1/3443*(300*w - 600)>, <72, 1/367*(18*w + 223)>, <24, 1/6511*(98*w - 882)>, <16, 1/163073*(1872*w + 46944)>, <16, 1/13*(w - 2)>, <12, 1/1765*(288*w + 3493)>, <12, 1/353*(5*w + 30)>, <24, 1/221*(16*w - 64)>, <24, 1/304*(9*w + 322)>, <24, 1/421*(23*w + 168)>, <24, 1/196607*(2484*w - 20628)>, <12, 1/192*(11*w - 110)>, <60, 1/401*(11*w + 99)>, <12, 1/340*(9*w + 9)>, <12, 1/313*(9*w - 18)>, <12, 320/2799*w>, <36, 1/9*(w - 1)>, <12, 1/304*(7*w - 7)>, <30, 1/493*(18*w + 234)>, <24, 1/5505*(143*w - 1144)>, <24, 1/16*(w + 12)>, <120, 1/367*(19*w + 133)>, <36, 1/367*(12*w + 84)>, <24, 1/127117*(2508*w + 58729)>, <24, 1/9*(w + 11)>, <24, 1/2219*(380*w + 760)>, <24, 1/5894*(135*w + 7244)>, <36, 1/15*(w + 11)>, <12, 1/6645*(98*w - 1176)>, <24, 1/140431*(1890*w + 101416)>, <24, 1/323*(16*w + 259)>, <132, 1/17*(w + 9)>, <36, 1/12*(w + 7)>, <24, 1/4236*(209*w - 1463)>, <24, 1/317*(9*w + 335)>, <24, 1/146633*(2660*w + 136420)>, <36, 1/311*(9*w - 9)>, <24, 1/130931*(2210*w + 59990)>, <4, 1/961*(20*w + 500)>, <16, 1/11377*(234*w + 6409)>, <12, 1/154*(13*w - 130)>, <12, 1/125513*(3080*w + 40953)>, <36, 1/313*(8*w + 321)>, <12, 1/132731*(4046*w + 53256)>, <16, 1/3*(w - 2)>, <24, 1/221*(10*w - 100)>, <12, 1/147167*(1326*w + 127823)>, <24, 1/3883*(234*w + 5287)>, <24, 1/247*(16*w - 64)>, <36, 1/15*(w + 12)>, <24, 1/3883*(234*w - 1638)>, <24, 1/247*(16*w + 295)>, <36, 1/15*(w + 2)>, <36, 1/313*(14*w + 285)>, <36, 1/313*(14*w + 14)>, <12, 1/129551*(2394*w + 43605)>, <84, 1/19*(w + 12)>, <84, 1/467*(19*w + 228)>, <24, 1/6511*(110*w + 7391)>, <24, 1/116843*(2431*w + 60996)>, <48, 1/6239*(120*w - 960)>, <48, 1/313*(7*w + 299)>, <12, 1/6894*(77*w + 7510)>, <48, 1/341*(7*w + 299)>, <48, 1/467*(11*w + 324)>, <12, 1/1468*(289*w + 3491)>, <24, 1/367*(6*w + 42)>, <48, 1/313*(11*w + 324)>, <24, 1/154577*(1870*w + 125647)>, <24, 1/221*(11*w + 276)>, <48, 1/120*(17*w - 136)>, <36, 1/331*(14*w + 261)>, <76, 1/421*(20*w + 200)>, <12, 1/121*(14*w - 154)>, <42, 1/331*(15*w + 256)>, <36, 1/14*(w + 9)>, <12, 1/7088*(75*w + 7913)>, <24, 1/331*(16*w + 251)>, <24, 1/128*(15*w - 150)>, <24, 1/6015*(128*w - 1280)>, <48, 1/8*(w + 3)>, <12, 1/443*(7*w + 359)>, <12, 1/5627*(324*w + 4007)>, <12, 1/331*(w - 5)>, <48, 1/323*(8*w + 24)>, <24, 1/148613*(2244*w + 115481)>, <120, 1/353*(17*w + 234)>, <36, 1/443*(18*w + 198)>, <12, 1/119*(18*w + 227)>, <12, 1/5296*(187*w - 935)>, <24, 1/12431*(240*w + 4016)>, <24, 1/367*(10*w + 70)>, <24, 1/112*(17*w - 136)>, <24, 1/317*(10*w + 20)>, <12, 1/132731*(1890*w + 35235)>, <60, 1/14*(w + 8)>, <48, 1/323*(5*w + 338)>, <48, 1/177643*(840*w + 185283)>, <48, 1/21*(w + 11)>, <48, 1/383*(5*w + 338)>, <60, 1/383*(14*w + 112)>, <24, 1/1878*(323*w - 646)>, <24, 1/323*(6*w - 12)>, <48, 1/467*(17*w + 246)>, <48, 1/467*(17*w + 204)>, <12, 1/311*(w + 310)>, <6, 1/13*(w + 13)>, <6, 13/324*w>, <24, 4/311*w>, <24, 1/323*(8*w + 347)>, <24, 1/323*(8*w - 32)>, <24, 1/323*(4*w + 12)>, <24, 1/5213*(170*w + 6743)>, <24, 1/5213*(170*w - 1700)>, <30, 1/138659*(1872*w + 41328)>, <24, 1/443*(23*w + 167)>, <12, 1/6538*(117*w + 7942)>, <24, 1/168*(13*w + 298)>, <24, 1/145237*(2184*w + 50064)>, <12, 1/341*(7*w + 376)>, <12, 1/14477*(266*w - 77)>, <24, 1/12431*(240*w + 8175)>, <12, 1/225*(22*w + 181)>, <12, 1/3421*(300*w + 3421)>, <72, 1/421*(11*w + 300)>, <24, 1/255*(14*w - 70)>, <24, 1/4634*(255*w - 1275)>, <24, 1/221*(12*w + 281)>, <54, 1/14*(w + 10)>, <156, 1/383*(19*w + 152)>, <24, 1/119879*(2240*w + 102400)>, <48, 1/6001*(144*w + 6865)>, <12, 1/10943*(228*w + 5604)>, <4, 1/341*(9*w - 54)>, <14, 1/341*(20*w + 100)>, <4, 1/191207*(1053*w + 87363)>, <4, 1/260*(9*w + 386)>, <4, 1/279*(18*w + 772)>, <14, 1/20*(w + 5)>, <12, 1/7531*(52*w + 8103)>, <72, 1/341*(17*w + 239)>, <48, 1/6001*(144*w - 1008)>, <36, 1/443*(15*w + 165)>, <24, 1/168283*(2574*w + 129816)>, <24, 1/6354*(143*w + 7212)>, <16, 1/183913*(1848*w + 202041)>, <16, 1/21*(w + 14)>, <36, 1/421*(7*w + 70)>, <36, 1/7*(w + 10)>, <36, 1/323*(5*w + 15)>, <12, 1/12*(w - 4)>, <36, 1/323*(5*w + 303)>, <12, 1/116843*(1584*w + 75515)>, <12, 1/4979*(162*w + 6275)>, <24, 5/311*w>, <12, 1/306*(5*w - 5)>, <24, 1/421*(5*w + 366)>, <12, 1/155*(36*w - 61)>, <36, 1/367*(5*w + 35)>, <12, 1/116339*(1710*w + 2795)>, <24, 1/221*(12*w - 72)>, <12, 1/133457*(2856*w + 118881)>, <12, 1/8*(w + 10)>, <24, 1/320*(7*w + 320)>, <156, 1/19*(w + 8)>, <12, 1/288*(5*w + 303)>, <24, 1/196607*(2484*w + 214751)>, <24, 1/23*(w + 12)>, <12, 1/146171*(2112*w + 81851)>, <76, 1/421*(20*w + 201)>, <12, 1/6817*(81*w + 7546)>, <12, 1/49*(22*w + 181)>, <12, 1/148039*(3630*w + 65824)>, <24, 1/467*(9*w + 350)>, <24, 1/247*(10*w + 287)>, <48, 1/443*(22*w + 179)>, <24, 1/63*(22*w - 201)>, <24, 1/323*(9*w + 350)>, <24, 1/116339*(2470*w + 70889)>, <60, 1/7*(w + 2)>, <6, 1/16151*(220*w + 2431)>, <24, 1/5138*(187*w + 6447)>, <24, 1/187*(14*w + 285)>, <12, 1/7939*(42*w - 546)>, <60, 1/323*(9*w + 287)>, <12, 1/110143*(2340*w + 33183)>, <24, 1/4037*(234*w - 1872)>, <24, 1/154309*(3120*w + 58864)>, <24, 1/311*(4*w + 311)>, <24, 1/4121*(272*w + 4665)>, <24, 1/311*(3*w - 3)>, <24, 1/16*(w + 13)>, <24, 1/4069*(285*w - 570)>, <24, 1/4037*(234*w + 5675)>, <24, 1/208*(15*w + 283)>, <24, 1/311*(3*w + 311)>, <24, 1/272*(13*w + 298)>, <24, 1/4*(w + 4)>, <24, 1/317*(16*w + 269)>, <24, 1/285*(13*w - 26)>, <12, 1/139351*(3840*w + 65536)>, <40, 1/10*(w + 4)>, <24, 1/527*(14*w - 84)>, <12, 1/317*(4*w + 305)>, <12, 1/2191*(289*w + 2480)>, <24, 1/313*(6*w + 6)>, <40, 1/331*(10*w + 40)>, <24, 1/110489*(1615*w + 6160)>, <24, 1/3641*(247*w - 1235)>, <36, 1/443*(18*w + 227)>, <24, 1/247*(11*w - 55)>, <48, 1/9303*(40*w + 8823)>, <48, 1/443*(21*w + 231)>, <12, 1/17*(18*w - 234)>, <24, 1/110489*(1615*w + 102714)>, <12, 1/842*(289*w + 3732)>, <72, 1/421*(11*w + 110)>, <36, 1/311*(11*w + 311)>, <12, 1/2215*(256*w + 5031)>, <48, 1/401*(7*w + 331)>, <12, 1/5072*(289*w + 4205)>, <24, 1/317*(4*w - 12)>, <24, 1/119879*(1995*w + 91200)>, <48, 1/161243*(1140*w + 147383)>, <24, 1/285*(7*w + 320)>, <24, 1/119113*(2394*w + 80332)>, <24, 1/266*(9*w + 302)>, <6, 1/163183*(3042*w + 40729)>, <24, 1/5745*(136*w + 6833)>, <24, 1/5745*(136*w - 1224)>, <24, 1/4*(w - 4)>, <24, 1/367*(4*w + 335)>, <12, 1/3732*(299*w + 3732)>, <12, 1/165157*(476*w + 157233)>, <12, 1/521*(17*w + 266)>, <48, 1/341*(8*w + 40)>, <24, 1/106733*(1995*w + 19523)>, <24, 1/106733*(1995*w + 85215)>, <48, 1/341*(8*w + 293)>, <24, 1/1412*(323*w + 3350)>, <16, 1/521*(19*w + 236)>, <12, 1/30*(19*w - 255)>, <24, 1/1412*(323*w - 2261)>, <24, 1/99*(16*w + 259)>, <24, 1/118541*(2464*w + 53581)>, <24, 1/143561*(1872*w + 28665)>, <24, 1/91*(16*w + 251)>, <4, 1/2817*(286*w + 3103)>, <4, 1/114871*(3718*w + 155210)>, <4, 1/2817*(169*w - 4407)>, <8, 1/313*(16*w + 16)>, <8, 1/313*(16*w + 281)>, <48, 1/353*(10*w + 60)>, <48, 1/353*(10*w + 283)>, <16, 1/21*(w + 6)>, <16, 1/88*(21*w + 294)>, <8, 1/7413*(80*w - 560)>, <4, 1/231*(10*w + 371)>, <8, 1/80*(21*w - 147)>, <8, 1/521*(10*w + 371)>, <12, 1/493*(12*w + 325)>, <12, 1/5947*(34*w + 558)>, <60, 1/323*(9*w + 27)>, <12, 1/121477*(2244*w + 68556)>, <12, 1/132731*(1530*w + 23795)>, <12, 1/401*(5*w + 351)>, <12, 1/7999*(25*w - 275)>, <48, 1/421*(22*w + 179)>, <24, 1/118541*(2464*w + 62496)>, <24, 1/6128*(117*w - 1053)>, <24, 1/99*(16*w - 176)>, <12, 1/111901*(2448*w + 78880)>, <24, 1/146633*(1456*w + 22841)>, <12, 1/352*(7*w + 331)>, <48, 1/401*(7*w + 63)>, <24, 1/353*(3*w + 332)>, <24, 1/200*(13*w + 278)>, <24, 1/9746*(63*w + 8990)>, <24, 1/323*(3*w + 332)>, <24, 1/200*(13*w - 91)>, <6, 1/168283*(4400*w + 142400)>, <6, 1/11*(w + 14)>, <12, 1/467*(20*w + 207)>, <12, 1/33*(20*w - 227)>, <48, 1/19*(w + 13)>, <24, 1/317*(3*w + 6)>, <24, 1/153323*(3705*w + 88635)>, <48, 1/341*(19*w + 227)>, <24, 1/317*(3*w + 308)>, <24, 1/153323*(3705*w + 60983)>, <12, 1/15283*(228*w + 12331)>, <12, 1/496*(15*w + 571)>, <24, 1/421*(16*w + 245)>, <12, 1/5*(w + 11)>, <12, 1/156379*(2090*w + 160094)>, <12, 1/146633*(2023*w + 40859)>, <12, 1/6*(w + 10)>, <24, 1/311*(6*w + 311)>, <24, 1/138659*(2717*w + 75959)>, <12, 1/361*(5*w + 351)>, <24, 1/6*(w + 1)>, <24, 1/4589*(209*w + 5843)>, <12, 1/164851*(152*w - 1912)>, <12, 1/317*(2*w + 311)>, <12, 1/3487*(289*w - 867)>, <30, 1/317*(14*w + 275)>, <24, 1/353*(6*w + 311)>, <12, 1/160801*(760*w + 8440)>, <12, 1/6736*(85*w + 7586)>, <24, 1/341*(16*w + 245)>, <12, 1/64*(17*w - 187)>, <24, 1/3069*(266*w + 4399)>, <24, 1/266*(9*w + 311)>, <12, 1/361*(12*w + 289)>, <24, 1/421*(5*w + 50)>, <12, 1/4*(w + 5)>, <12, 1/361*(6*w + 355)>, <12, 1/2105*(361*w + 3610)>, <12, 1/130931*(3610*w + 15050)>, <24, 1/44*(19*w + 215)>, <12, 1/2936*(247*w - 1976)>, <12, 1/8*(w + 7)>, <24, 1/7619*(44*w + 8015)>, <12, 11/322*w>, <36, 1/311*(11*w - 11)>, <6, 1/121411*(2156*w + 63591)>, <24, 1/2824*(285*w - 1995)>, <12, 1/361*(12*w + 325)>, <12, 1/1972*(361*w + 4693)>, <12, 1/156281*(3971*w + 29931)>, <24, 1/285*(8*w - 56)>, <12, 1/361*(15*w + 256)>, <12, 1/421*(4*w + 40)>, <12, 1/2*(w + 6)>, <36, 1/317*(5*w - 15)>, <24, 1/135983*(2016*w + 99072)>, <24, 1/133*(16*w - 128)>, <24, 1/272*(9*w + 335)>, <72, 1/341*(17*w + 85)>, <4, 1/310*(21*w + 415)>, <4, 1/182381*(2310*w + 78750)>, <8, 1/651*(10*w - 60)>, <4, 1/11571*(100*w + 1500)>, <8, 1/110*(21*w - 126)>, <4, 1/21*(w + 15)>, <1, 1/97969*(912*w + 3729)>, <1, 1/16*(w + 17)>, <2, 1/19*(w + 17)>, <1, 1/57*(16*w + 329)>, <1, 1/939*(256*w + 6203)>, <1, 1/5947*(48*w + 987)>, <2, 1/19*(w + 1)>, <1, 1/256*(19*w + 275)>, <24, 1/10*(w - 6)>, <12, 1/493*(2*w - 28)>, <24, 1/341*(10*w - 60)>, <24, 1/143561*(2128*w + 108848)>, <24, 1/135983*(2016*w + 34895)>, <24, 1/272*(9*w - 72)>, <24, 1/380*(3*w + 371)>, <24, 1/141553*(1140*w + 140980)>, <12, 1/969*(400*w + 1200)>, <24, 1/933*(323*w + 933)>, <24, 1/323*(3*w + 323)>, <24, 6/311*w>, <12, 1/187*(14*w + 257)>, <24, 1/527*(14*w + 597)>, <24, 1/6001*(132*w + 6793)>, <18, 1/353*(8*w + 297)>, <24, 1/6*(w + 7)>, <12, 1/361*(w + 1)>, <24, 1/6*w>, <16, 1/20*(21*w - 211)>, <16, 1/177241*(420*w - 4220)>, <12, 1/311*(5*w + 311)>, <12, 1/4*(w + 9)>, <12, 1/361*(10*w + 50)>, <12, 1/3064*(247*w + 5040)>, <12, 1/311*(8*w + 311)>, <12, 1/190*(11*w - 132)>, <6, 1/121*(14*w + 275)>, <24, 1/317*(4*w + 325)>, <12, 1/634*(361*w - 1083)>, <24, 1/147167*(1615*w + 21945)>, <24, 1/171*(16*w - 96)>, <8, 1/103603*(912*w + 6627)>, <16, 1/331*(3*w + 316)>, <4, 1/6289*(304*w + 2209)>, <4, 1/109561*(3040*w + 131651)>, <8, 1/993*(304*w + 2209)>, <24, 1/171*(16*w + 251)>, <12, 1/168113*(380*w - 4920)>, <24, 1/147167*(1615*w + 123607)>, <12, 1/168821*(420*w + 164180)>, <24, 1/341*(3*w - 18)>, <24, 1/383*(3*w + 24)>, <24, 1/151063*(1938*w + 29292)>, <12, 1/6*(19*w - 228)>, <24, 1/151063*(1938*w + 119833)>, <12, 1/40*(19*w + 211)>, <12, 1/130931*(2090*w + 71841)>, <12, 1/7999*(22*w - 242)>, <12, 1/3*(w + 7)>, <12, 1/361*(2*w + 8)>, <12, 1/169669*(340*w - 3791)>, <12, 1/367*(3*w - 24)>, <12, 1/361*(2*w + 381)>, <6, w + 9>, <6, 1/400*(w + 8)>, <4, 1/401*(w - 10)>, <1, 1/8020*(w + 8430)>, <1, 1/400*(w + 410)>, <2, 1/8421*(20*w + 8200)>, <1, 21*w + 190>, <1, 1/177241*(400*w + 4421)>, <1, 1/177241*(8400*w + 76000)>, <1, 1/168821*(20*w + 201)>, <4, w - 10>, <-12, 1/5745*(-128*w - 1024)>, <-24, 1/133457*(-3276*w + 63401)>, <-12, 1/5138*(-169*w + 6490)>, <-6, 1/110489*(-2312*w + 24656)>, <-12, 1/125513*(-3564*w + 97848)>, <-12, 1/324*(-w + 10)>, <-12, 1/2191*(-324*w + 2839)>, <-6, 1/225*(-14*w + 281)>, <-12, 1/323*(-w + 320)>, <-12, 1/324*(-w - 2)>, <-6, 1/4965*(-196*w + 5945)>, <-12, 1/146171*(-3564*w + 108540)>, <-12, 1/324*(-w + 13)>, <-12, 1/4069*(-324*w + 3745)>, <-24, 1/467*(-18*w + 234)>, <-12, 1/143*(-18*w + 251)>, <-6, 1/5052*(-169*w + 6911)>, <-18, 1/421*(-12*w + 132)>, <-12, 1/3987*(-196*w + 6339)>, <-12, 1/110489*(-1800*w + 43664)>, <-16, 1/116843*(-2310*w + 58883)>, <-12, 1/3732*(-323*w + 3732)>, <-12, 1/467*(-12*w + 323)>, <-12, 1/4438*(-247*w + 5179)>, <-6, 1/177241*(-1344*w + 13504)>, <-16, 1/163073*(-1872*w + 48816)>, <-16, 1/13*(-w - 1)>, <-12, 1/1765*(-288*w + 3781)>, <-12, 1/353*(-5*w + 35)>, <-12, 1/192*(-11*w - 99)>, <-12, 1/340*(-9*w + 18)>, <-12, 1/313*(-9*w - 9)>, <-12, 1/2799*(-320*w + 320)>, <-12, -7/304*w>, <-12, 1/6645*(-98*w - 1078)>, <-4, 1/961*(-20*w + 520)>, <-16, 1/11377*(-234*w + 6643)>, <-12, 1/154*(-13*w - 117)>, <-12, 1/125513*(-3080*w + 44033)>, <-36, 1/313*(-8*w + 329)>, <-12, 1/132731*(-4046*w + 57302)>, <-12, 1/147167*(-1326*w + 129149)>, <-12, 1/129551*(-2394*w + 45999)>, <-12, 1/6894*(-77*w + 7587)>, <-12, 1/1468*(-289*w + 3780)>, <-12, 1/121*(-14*w - 140)>, <-12, 1/7088*(-75*w + 7988)>, <-24, 1/331*(-16*w + 267)>, <-12, 1/443*(-7*w + 366)>, <-12, 1/5627*(-324*w + 4331)>, <-12, 1/331*(-w - 4)>, <-12, 1/119*(-18*w + 245)>, <-12, 1/5296*(-187*w - 748)>, <-12, 1/132731*(-1890*w + 37125)>, <-6, 1/13*(-w + 14)>, <-6, 1/324*(-13*w + 13)>, <-12, 1/6538*(-117*w + 8059)>, <-12, 1/341*(-7*w + 383)>, <-12, 1/14477*(-266*w + 189)>, <-12, 1/225*(-22*w + 203)>, <-12, 1/3421*(-300*w + 3721)>, <-12, 1/10943*(-228*w + 5832)>, <-4, 1/341*(-9*w - 45)>, <-4, 1/191207*(-1053*w + 88416)>, <-4, 1/260*(-9*w + 395)>, <-4, 1/279*(-18*w + 790)>, <-12, 1/7531*(-52*w + 8155)>, <-12, 1/12*(-w - 3)>, <-12, 1/116843*(-1584*w + 77099)>, <-12, 1/4979*(-162*w + 6437)>, <-24, 1/311*(-5*w + 5)>, <-12, -5/306*w>, <-12, 1/155*(-36*w - 25)>, <-12, 1/116339*(-1710*w + 4505)>, <-12, 1/133457*(-2856*w + 121737)>, <-12, 1/8*(-w + 11)>, <-12, 1/288*(-5*w + 308)>, <-12, 1/146171*(-2112*w + 83963)>, <-12, 1/6817*(-81*w + 7627)>, <-12, 1/49*(-22*w + 203)>, <-12, 1/148039*(-3630*w + 69454)>, <-6, 1/16151*(-220*w + 2651)>, <-12, 1/7939*(-42*w - 504)>, <-12, 1/110143*(-2340*w + 35523)>, <-12, 1/139351*(-3840*w + 69376)>, <-12, 1/317*(-4*w + 309)>, <-12, 1/2191*(-289*w + 2769)>, <-12, 1/17*(-18*w - 216)>, <-12, 1/842*(-289*w + 4021)>, <-12, 1/2215*(-256*w + 5287)>, <-12, 1/5072*(-289*w + 4494)>, <-48, 1/161243*(-1140*w + 148523)>, <-6, 1/163183*(-3042*w + 43771)>, <-12, 1/3732*(-299*w + 4031)>, <-12, 1/165157*(-476*w + 157709)>, <-12, 1/521*(-17*w + 283)>, <-16, 1/521*(-19*w + 255)>, <-12, 1/30*(-19*w - 236)>, <-4, 1/2817*(-286*w + 3389)>, <-4, 1/114871*(-3718*w + 158928)>, <-4, 1/2817*(-169*w - 4238)>, <-4, 1/231*(-10*w + 381)>, <-8, 1/521*(-10*w + 381)>, <-12, 1/493*(-12*w + 337)>, <-12, 1/5947*(-34*w + 592)>, <-12, 1/121477*(-2244*w + 70800)>, <-12, 1/132731*(-1530*w + 25325)>, <-12, 1/401*(-5*w + 356)>, <-12, 1/7999*(-25*w - 250)>, <-12, 1/111901*(-2448*w + 81328)>, <-12, 1/352*(-7*w + 338)>, <-6, 1/168283*(-4400*w + 146800)>, <-6, 1/11*(-w + 15)>, <-12, 1/467*(-20*w + 227)>, <-12, 1/33*(-20*w - 207)>, <-12, 1/15283*(-228*w + 12559)>, <-12, 1/496*(-15*w + 586)>, <-12, 1/5*(-w + 12)>, <-12, 1/156379*(-2090*w + 162184)>, <-12, 1/146633*(-2023*w + 42882)>, <-12, 1/6*(-w + 11)>, <-12, 1/361*(-5*w + 356)>, <-12, 1/164851*(-152*w - 1760)>, <-12, 1/317*(-2*w + 313)>, <-12, 1/3487*(-289*w - 578)>, <-12, 1/6736*(-85*w + 7671)>, <-12, 1/64*(-17*w - 170)>, <-12, 1/361*(-12*w + 301)>, <-12, 1/4*(-w + 6)>, <-12, 1/361*(-6*w + 361)>, <-12, 1/2105*(-361*w + 3971)>, <-12, 1/130931*(-3610*w + 18660)>, <-12, 1/2936*(-247*w - 1729)>, <-12, 1/8*(-w + 8)>, <-12, 1/322*(-11*w + 11)>, <-6, 1/121411*(-2156*w + 65747)>, <-12, 1/361*(-12*w + 337)>, <-12, 1/1972*(-361*w + 5054)>, <-12, 1/156281*(-3971*w + 33902)>, <-12, 1/361*(-15*w + 271)>, <-12, 1/421*(-4*w + 44)>, <-12, 1/2*(-w + 7)>, <-4, 1/310*(-21*w + 436)>, <-4, 1/182381*(-2310*w + 81060)>, <-4, 1/11571*(-100*w + 1600)>, <-4, 1/21*(-w + 16)>, <-1, 1/97969*(-912*w + 4641)>, <-1, 1/16*(-w + 18)>, <-1, 1/57*(-16*w + 345)>, <-1, 1/939*(-256*w + 6459)>, <-1, 1/5947*(-48*w + 1035)>, <-1, 1/256*(-19*w + 294)>, <-12, 1/493*(-2*w - 26)>, <-12, 1/969*(-400*w + 1600)>, <-12, 1/187*(-14*w + 271)>, <-12, 1/361*(-w + 2)>, <-12, 1/311*(-5*w + 316)>, <-12, 1/4*(-w + 10)>, <-12, 1/361*(-10*w + 60)>, <-12, 1/3064*(-247*w + 5287)>, <-12, 1/311*(-8*w + 319)>, <-12, 1/190*(-11*w - 121)>, <-6, 1/121*(-14*w + 289)>, <-12, 1/634*(-361*w - 722)>, <-4, 1/6289*(-304*w + 2513)>, <-4, 1/109561*(-3040*w + 134691)>, <-12, 1/168113*(-380*w - 4540)>, <-12, 1/168821*(-420*w + 164600)>, <-12, 1/6*(-19*w - 209)>, <-12, 1/130931*(-2090*w + 73931)>, <-12, 1/7999*(-22*w - 220)>, <-12, 1/3*(-w + 8)>, <-12, 1/361*(-2*w + 10)>, <-12, 1/169669*(-340*w - 3451)>, <-12, 1/367*(-3*w - 21)>, <-12, 1/361*(-2*w + 383)>, <-6, -w + 10>, <-6, 1/400*(-w + 9)>, <-1, 1/8020*(-w + 8431)>, <-1, 1/400*(-w + 411)>, <-2, 1/8421*(-20*w + 8220)>, <-1, -21*w + 211>, <-1, 1/177241*(-400*w + 4821)>, <-1, 1/177241*(-8400*w + 84400)>, <-1, 1/168821*(-20*w + 221)> ]