/* Defining polynomial */ x^2 - x + 371 /* GCD of coefficients */ 1 /* 24 * |disc|^(3/2) /(8*pi^2)* zeta_F(2) */ 20251.9333331882129582379329898 /* Belt */ [ <12, 1/12121*(49*w + 11484)>, <12, 1/253009*(1127*w + 264132)>, <24, 1/9054*(95*w - 1140)>, <96, 1/383*(15*w + 45)>, <96, 1/15*(w + 3)>, <24, 1/95*(18*w - 216)>, <184, 1/503*(23*w + 253)>, <204, 1/461*(19*w + 271)>, <24, 1/5*(w + 7)>, <24, 1/427*(5*w + 35)>, <40, 1/553*(16*w + 208)>, <36, 1/527*(14*w + 345)>, <36, 1/527*(14*w + 168)>, <40, 1/377*(16*w + 32)>, <24, 1/6915*(221*w + 8904)>, <24, 1/215551*(3315*w + 133560)>, <60, 1/391*(9*w + 346)>, <6, 1/5865*(256*w + 6889)>, <78, 1/391*(15*w + 60)>, <24, 1/9139*(85*w + 9989)>, <24, 1/368*(15*w + 428)>, <24, 1/11873*(240*w + 6848)>, <24, 1/241943*(550*w + 247918)>, <24, 1/11594*(25*w + 11269)>, <24, 1/214781*(1615*w + 189791)>, <24, 1/272*(15*w + 332)>, <24, 1/31291*(255*w + 26146)>, <204, 1/23*(w + 18)>, <24, 1/503*(7*w + 580)>, <24, 1/11687*(240*w + 5312)>, <24, 1/1343*(15*w + 1538)>, <204, 1/31*(w + 18)>, <24, 1/713*(7*w + 580)>, <36, 1/401*(5*w + 25)>, <36, 1/5*(w + 5)>, <24, 1/182*(15*w + 332)>, <24, 1/342*(7*w + 391)>, <112, 1/11*(w + 5)>, <6, 1/149573*(2268*w + 116316)>, <54, 1/401*(7*w + 35)>, <24, 1/173797*(2394*w + 133722)>, <24, 1/15283*(210*w + 4648)>, <12, 1/147407*(2394*w + 121752)>, <60, 1/7*(w + 4)>, <12, 1/8048*(135*w + 9533)>, <48, 1/391*(16*w + 311)>, <24, 1/518*(15*w + 668)>, <96, 1/17*(w + 11)>, <24, 1/553*(18*w + 301)>, <64, 1/401*(19*w + 95)>, <48, 1/391*(8*w + 32)>, <72, 1/9139*(90*w - 990)>, <24, 1/345*(13*w + 358)>, <24, 1/128*(17*w + 315)>, <48, 1/5*(w + 2)>, <96, 1/373*(13*w + 13)>, <96, 1/373*(13*w + 347)>, <24, 1/195517*(4485*w + 123510)>, <24, 1/211799*(2176*w + 40320)>, <24, 1/14587*(210*w + 9352)>, <72, 1/90*(19*w - 209)>, <96, 1/503*(17*w + 187)>, <24, 1/391*(18*w + 301)>, <64, 1/553*(19*w + 247)>, <48, 1/391*(8*w + 351)>, <24, 1/399*(8*w - 16)>, <24, 1/192649*(3192*w + 27064)>, <144, 1/427*(13*w + 323)>, <12, 1/342*(7*w + 419)>, <12, 1/391*(7*w - 35)>, <96, 1/427*(15*w + 307)>, <144, 1/427*(13*w + 91)>, <60, 1/427*(18*w + 283)>, <60, 1/427*(18*w + 126)>, <24, 1/18*(w + 6)>, <24, 1/112*(17*w - 204)>, <24, 1/413*(18*w + 108)>, <12, 1/377*(24*w - 72)>, <108, 1/13*(w + 2)>, <184, 1/17*(w + 9)>, <12, 1/204223*(2142*w + 168642)>, <60, 1/461*(18*w + 281)>, <184, 1/427*(17*w + 291)>, <72, 1/527*(21*w + 254)>, <72, 1/443*(21*w + 254)>, <12, 1/184223*(2618*w + 120456)>, <48, 1/481*(14*w + 327)>, <60, 1/383*(17*w + 51)>, <12, 1/196*(11*w + 339)>, <120, 1/21*(w + 13)>, <24, 1/1073*(17*w + 614)>, <48, 1/461*(12*w + 341)>, <48, 1/377*(12*w + 341)>, <24, 1/461*(17*w + 614)>, <24, 1/208*(15*w + 343)>, <36, 1/443*(12*w + 96)>, <36, 1/12*(w + 8)>, <24, 1/238*(15*w + 343)>, <144, 1/427*(19*w + 133)>, <144, 1/19*(w + 7)>, <24, 1/238*(15*w - 120)>, <24, 1/91*(23*w - 254)>, <24, 1/1909*(13*w + 1714)>, <24, 1/6915*(208*w + 8787)>, <120, 1/527*(23*w + 276)>, <108, 1/13*(w + 10)>, <24, 1/8048*(143*w - 1716)>, <24, 1/143*(16*w - 192)>, <12, 1/211327*(1386*w + 187380)>, <36, 1/527*(18*w + 293)>, <42, 1/371*(10*w + 361)>, <42, 1/461*(10*w + 361)>, <64, 1/461*(23*w + 231)>, <24, 1/583*(57*w - 57)>, <48, 1/5551*(240*w - 1920)>, <24, 1/6195*(221*w - 1547)>, <48, 1/176563*(3120*w + 79440)>, <24, 1/6195*(221*w + 7521)>, <24, 1/377*(51*w + 479)>, <24, 1/583*(57*w + 583)>, <64, 1/461*(23*w + 207)>, <24, 1/3233*(51*w + 479)>, <120, 1/481*(23*w + 230)>, <38, 1/16*(w + 10)>, <10, 1/192881*(3600*w + 68625)>, <24, 1/481*(8*w - 88)>, <24, 1/8*(w - 11)>, <24, 1/11*(w + 11)>, <24, 1/11*(w - 1)>, <24, 1/233461*(1365*w + 16510)>, <88, 1/481*(22*w + 220)>, <24, 1/31679*(418*w + 24947)>, <12, 1/713*(6*w + 599)>, <12, 1/713*(14*w + 252)>, <24, 1/65*(21*w + 254)>, <88, 1/22*(w + 10)>, <24, 1/1159*(22*w + 1313)>, <48, 1/443*(14*w + 317)>, <12, 1/5614*(247*w + 6849)>, <168, 1/17*(w + 6)>, <24, 1/205163*(3978*w + 113526)>, <36, 1/391*(5*w + 366)>, <48, 1/427*(10*w + 347)>, <176, 1/443*(19*w + 152)>, <176, 1/19*(w + 8)>, <48, 1/377*(10*w + 347)>, <60, 1/7*(w + 2)>, <48, 1/391*(16*w + 64)>, <168, 1/413*(17*w + 102)>, <24, 1/306*(13*w + 371)>, <36, 1/371*(5*w + 366)>, <24, 1/3064*(399*w - 1596)>, <24, 1/128*(19*w + 280)>, <132, 1/413*(13*w + 322)>, <24, 1/51*(w + 52)>, <12, 1/1464*(7*w + 1513)>, <24, 1/3127*(51*w + 2652)>, <40, 1/391*(19*w + 296)>, <12, 1/7553*(144*w + 9569)>, <24, 1/581*(23*w + 322)>, <78, 1/481*(20*w + 200)>, <24, 1/527*(11*w + 132)>, <24, 1/252*(11*w - 143)>, <12, 1/7*(w + 8)>, <6, 1/196249*(5508*w + 93960)>, <28, 1/553*(11*w + 399)>, <12, 1/4147*(432*w + 2851)>, <12, 1/4187*(102*w + 1484)>, <36, 1/14*w>, <24, 1/217651*(2432*w + 35840)>, <24, 1/399*(8*w - 32)>, <12, 1/33*(2*w + 45)>, <132, 1/61*(2*w + 14)>, <12, 1/184223*(3990*w + 87038)>, <48, 1/383*(14*w + 327)>, <78, 1/20*(w + 10)>, <132, 1/14*(w + 7)>, <120, 1/13*(w + 8)>, <24, 1/6647*(247*w + 7635)>, <24, 1/171953*(2856*w + 33080)>, <108, 1/503*(21*w + 251)>, <48, 1/13*w>, <28, 1/581*(16*w + 224)>, <24, 1/1955*(378*w + 3467)>, <72, 1/201703*(3060*w + 53820)>, <24, 1/323*(10*w - 70)>, <72, 1/180*(17*w + 299)>, <24, 1/323*(10*w + 383)>, <108, 1/413*(11*w + 66)>, <72, 1/59*(3*w + 18)>, <24, 1/30959*(741*w + 22002)>, <48, 1/581*(20*w + 281)>, <12, 1/4411*(361*w + 6216)>, <12, 1/401*(2*w + 10)>, <16, 1/66*(19*w - 228)>, <36, 2/53*w>, <24, 1/399*(13*w + 386)>, <108, 1/11*(w + 6)>, <72, 1/21*(w + 6)>, <24, 1/5*(w - 2)>, <24, 391/3339*w>, <24, 1/224*(17*w + 326)>, <24, 1/8048*(153*w - 1836)>, <48, 1/72*(23*w + 299)>, <48, 1/12719*(72*w + 936)>, <12, 1/581*(12*w + 168)>, <12, 1/437*(12*w + 401)>, <24, 1/6454*(209*w - 2090)>, <24, 1/6454*(209*w + 8335)>, <108, 1/461*(21*w + 251)>, <24, 1/323*(10*w + 353)>, <164, 1/443*(17*w + 136)>, <24, 1/165239*(3230*w + 114019)>, <24, 1/13944*(121*w + 12129)>, <24, 1/165*(16*w - 192)>, <24, 1/7905*(176*w + 10017)>, <24, 1/265081*(2904*w + 291096)>, <24, 1/8048*(165*w - 1980)>, <24, 1/215551*(2640*w + 150255)>, <66, 1/443*(11*w + 88)>, <66, 1/443*(11*w + 344)>, <60, 1/17*(w + 3)>, <48, 13/371*w>, <12, 1/4823*(384*w + 4439)>, <36, 1/553*(13*w + 371)>, <24, 1/6511*(288*w + 7375)>, <28, 1/16*(w + 14)>, <24, 1/6511*(288*w - 1152)>, <24, 1/169669*(1890*w + 17335)>, <12, 1/270*(11*w + 336)>, <24, 9/391*w>, <24, 1/1003*(32*w + 1195)>, <24, 1/208481*(2448*w + 50337)>, <24, 1/373*(5*w - 10)>, <60, 1/461*(18*w + 162)>, <120, 1/443*(13*w + 104)>, <24, 1/211799*(4199*w + 129795)>, <24, 1/3064*(357*w + 4135)>, <24, 1/173213*(1596*w + 9224)>, <24, 1/371*(4*w + 367)>, <36, 1/427*(12*w + 331)>, <24, 1/1508*(399*w + 2306)>, <24, 4/371*w>, <36, 1/391*(12*w + 331)>, <24, 1/323*(12*w + 359)>, <12, 1/5124*(247*w - 1976)>, <24, 1/323*(12*w - 48)>, <48, 1/401*(12*w + 329)>, <48, 1/401*(12*w + 60)>, <54, 1/401*(7*w + 359)>, <12, 1/5968*(289*w + 6257)>, <24, 1/373*(12*w + 12)>, <24, 1/18*(w + 26)>, <60, 1/373*(9*w + 355)>, <96, 1/53*(w - 1)>, <12, 1/54*w>, <60, 1/9*(w + 7)>, <24, 1/1073*(18*w + 468)>, <120, 1/481*(21*w + 210)>, <44, 1/553*(24*w + 217)>, <12, 1/592*(13*w + 722)>, <72, 1/427*(11*w + 339)>, <72, 1/11*(w + 3)>, <24, 1/23479*(360*w + 6424)>, <24, 1/221753*(760*w + 209513)>, <24, 1/133*(20*w - 160)>, <24, 1/1220*(19*w - 152)>, <72, 1/443*(16*w + 299)>, <72, 1/427*(16*w + 299)>, <24, 1/488*(45*w + 803)>, <24, 1/671*(42*w - 336)>, <24, 1/294*(11*w - 88)>, <24, 1/427*(11*w - 88)>, <24, 1/11*(w - 8)>, <78, 1/391*(15*w + 316)>, <24, 1/3208*(323*w + 4823)>, <24, 1/371*(6*w + 365)>, <24, 1/158417*(2584*w + 38584)>, <24, 1/401*(6*w + 365)>, <60, 1/461*(11*w + 351)>, <48, 1/377*(9*w + 350)>, <12, 1/12*(w - 2)>, <12, 1/165239*(2023*w + 109820)>, <60, 1/443*(22*w + 245)>, <24, 1/211799*(4488*w + 124151)>, <48, 1/5*(w + 3)>, <48, 1/373*(5*w + 363)>, <120, 1/79*(3*w + 39)>, <24, 1/4399*(102*w + 2703)>, <24, 1/4399*(102*w + 1594)>, <24, 1/212*(57*w + 155)>, <24, 1/161*(18*w + 287)>, <24, 1/23363*(228*w + 620)>, <24, 1/161*(18*w - 144)>, <24, 1/22631*(360*w + 16335)>, <40, 1/8417*(120*w + 9377)>, <24, 1/22631*(360*w + 5936)>, <60, 1/373*(11*w + 351)>, <48, 1/413*(9*w + 350)>, <96, 1/413*(15*w + 308)>, <24, 1/23*(w - 4)>, <36, 1/481*(10*w + 371)>, <36, 1/383*(7*w + 404)>, <12, 1/184223*(3024*w + 6671)>, <24, 1/24*(w + 11)>, <24, 1/503*(24*w + 264)>, <16, 1/527*(25*w + 202)>, <8, 1/98*(25*w - 227)>, <8, 1/277729*(2450*w - 22246)>, <12, 1/8579*(102*w + 2340)>, <6, 1/100*(19*w + 271)>, <36, 1/371*(10*w + 371)>, <24, 1/5369*(253*w + 6887)>, <72, 1/16*(w + 6)>, <72, 1/16*(w + 9)>, <24, 1/4819*(30*w + 370)>, <24, 1/5369*(253*w - 1771)>, <24, 1/4819*(30*w + 4419)>, <24, 1/23*(w + 26)>, <12, 1/195*(14*w + 321)>, <36, 1/391*(14*w + 56)>, <12, 1/6253*(196*w - 2156)>, <48, 1/461*(15*w + 135)>, <24, 1/176*(15*w - 150)>, <96, 1/443*(15*w + 308)>, <72, 1/253487*(1104*w + 264431)>, <24, 1/6*(w + 6)>, <24, 1/413*(6*w + 36)>, <48, 1/11*w>, <24, 1/6539*(228*w - 2736)>, <48, 1/481*(11*w + 360)>, <24, 1/6539*(228*w + 9047)>, <24, 1/85*(18*w - 234)>, <72, 1/22*(w + 12)>, <96, 1/53*(w + 52)>, <36, 1/391*(14*w + 321)>, <24, 1/558*(5*w - 65)>, <72, 1/527*(22*w + 264)>, <96, 1/59*(w + 52)>, <24, 1/299*(18*w - 90)>, <24, 1/230*(21*w + 314)>, <24, 1/44*(21*w + 254)>, <24, 1/233461*(924*w + 11176)>, <24, 1/11687*(210*w + 3140)>, <36, 1/401*(10*w + 50)>, <36, 1/10*(w + 5)>, <36, 1/553*(13*w + 169)>, <24, 1/306*(13*w - 65)>, <24, 1/527*(16*w + 192)>, <24, 1/20*(w + 26)>, <24, 1/1073*(22*w + 479)>, <24, 1/9*(w - 3)>, <38, 1/9*(w + 10)>, <48, 1/373*(8*w + 8)>, <48, 1/413*(8*w + 48)>, <12, 1/413*(72*w - 91)>, <24, 1/79*(w + 65)>, <24, 1/171953*(3135*w + 68783)>, <12, 1/169669*(3588*w + 100165)>, <12, 1/177643*(1694*w + 38357)>, <48, 1/401*(20*w + 281)>, <84, 1/427*(20*w + 140)>, <24, 1/5071*(252*w - 2520)>, <12, 1/121*(18*w - 198)>, <24, 1/4543*(285*w + 6253)>, <12, 1/156791*(400*w + 158000)>, <6, 1/400*(9*w + 45)>, <12, 1/246269*(340*w + 251420)>, <12, 1/20*(w + 16)>, <24, 1/16*(w + 12)>, <12, 1/227171*(4180*w + 65120)>, <40, 1/19*(w + 14)>, <24, 1/1073*(20*w + 520)>, <24, 1/20*(w + 6)>, <12, 1/8260*(153*w - 1071)>, <24, 1/391*(22*w + 479)>, <24, 1/377*(9*w - 27)>, <72, 1/383*(7*w + 355)>, <38, 1/481*(9*w + 90)>, <84, 1/20*(w + 7)>, <24, 1/187619*(4004*w + 106876)>, <84, 1/413*(19*w + 114)>, <48, 1/13*(w + 9)>, <48, 1/383*(13*w + 331)>, <24, 1/8759*(104*w + 9695)>, <24, 1/383*(19*w + 307)>, <24, 1/611*(18*w + 270)>, <24, 1/360*(11*w + 371)>, <24, 1/143*(18*w + 287)>, <24, 1/1073*(19*w + 494)>, <24, 1/10*(w + 12)>, <24, 1/19*(w + 26)>, <24, 1/527*(10*w + 120)>, <24, 1/180251*(2926*w + 67089)>, <24, 1/182*(19*w - 133)>, <36, 1/14*(w + 14)>, <12, 1/142859*(722*w + 6762)>, <16, 1/6*(w + 7)>, <24, 1/377*(8*w + 353)>, <12, 1/802*(361*w + 2607)>, <36, 1/83*(2*w + 28)>, <24, 1/209*(14*w + 321)>, <24, 1/1121*(26*w - 182)>, <24, 1/211799*(2754*w + 158015)>, <24, 1/377*(14*w + 28)>, <12, 1/167011*(3542*w + 52701)>, <24, 1/4187*(90*w + 2295)>, <24, 1/178451*(3960*w + 44891)>, <12, 1/377*(8*w + 393)>, <12, 1/188071*(5415*w + 68580)>, <12, 1/2*(w - 3)>, <24, 1/45*(2*w + 51)>, <12, 1/413*(w + 406)>, <6, 1/5213*(400*w + 2813)>, <24, 1/238553*(5168*w + 119833)>, <24, 1/611*(19*w + 307)>, <24, 1/6128*(323*w - 1292)>, <12, 1/138383*(361*w + 4091)>, <12, 1/12217*(16*w - 272)>, <24, 1/19*(w + 16)>, <24, 1/18*(w + 15)>, <24, 1/186613*(3960*w + 133560)>, <24, 1/207739*(2574*w + 41041)>, <24, 1/503*(14*w + 154)>, <24, 1/7837*(162*w + 9295)>, <24, 1/308*(13*w + 347)>, <84, 1/19*(w + 6)>, <24, 1/214781*(1976*w + 184205)>, <24, 1/371*(4*w - 4)>, <96, 1/61*(w + 7)>, <24, 1/11501*(228*w + 4224)>, <24, 1/713*(12*w + 485)>, <24, 1/371*(4*w + 371)>, <24, 1/12*(w - 7)>, <24, 1/323*(12*w - 60)>, <24, 1/7021*(192*w + 8173)>, <24, 1/401*(21*w - 126)>, <24, 1/323*(8*w + 371)>, <12, 1/340*(11*w - 22)>, <48, 1/371*(9*w + 362)>, <48, 1/443*(9*w + 362)>, <12, w>, <6, 1/171031*(3610*w + 130321)>, <24, 1/323*(8*w - 56)>, <24, 1/1073*(21*w + 546)>, <12, 1/16*(w - 11)>, <12, 1/6832*(187*w - 1496)>, <24, 1/32147*(330*w + 30492)>, <24, 1/4819*(6*w + 4893)>, <24, 1/25493*(462*w + 15120)>, <12, 1/441*(2*w + 441)>, <24, 1/294*(11*w + 360)>, <24, 1/32147*(330*w + 1325)>, <24, 1/221753*(1482*w + 197885)>, <24, 1/156*(17*w + 326)>, <20, 1/25*(w + 10)>, <12, 1/144*(25*w + 350)>, <24, 1/16849*(204*w + 3912)>, <24, 1/9557*(78*w + 10415)>, <24, 1/27199*(432*w + 18640)>, <8, 1/154*(17*w + 290)>, <8, 1/401*(5*w - 30)>, <4, 1/456*(5*w + 25)>, <16, 1/7619*(192*w + 8579)>, <4, 1/221753*(2888*w + 159201)>, <8, 1/481*(5*w + 50)>, <12, 1/1915*(418*w + 1254)>, <12, 1/5*(w - 4)>, <24, 1/378*(5*w - 5)>, <24, 1/22007*(270*w + 1325)>, <24, 1/30683*(276*w - 988)>, <24, 1/30683*(276*w + 31395)>, <24, 1/69*(w + 65)>, <24, 1/383*(69*w + 107)>, <24, 1/16*(3*w - 24)>, <12, 1/441*(8*w + 393)>, <12, 1/3848*(441*w + 4410)>, <12, 1/192881*(2205*w + 2810)>, <24, 1/976*(27*w + 1165)>, <24, 1/201841*(3933*w + 179170)>, <24, 1/176563*(3458*w + 85059)>, <24, 1/6511*(264*w + 7303)>, <12, 1/205387*(2178*w + 168966)>, <4, 1/373*(17*w + 17)>, <8, 1/84*(17*w + 339)>, <8, 1/373*(14*w - 28)>, <4, 1/260897*(1734*w + 211157)>, <8, 1/14*(w - 2)>, <4, 1/6341*(391*w + 7797)>, <4, 1/159271*(2346*w + 8736)>, <16, 1/6*(w - 2)>, <12, 1/40*(21*w + 250)>, <24, 1/649*(39*w + 883)>, <24, 1/553*(10*w + 413)>, <24, 1/273*(11*w + 339)>, <24, 1/383*(10*w + 413)>, <24, 1/201841*(3933*w + 18738)>, <24, 1/5213*(266*w + 6543)>, <48, 1/15*(w + 9)>, <72, 1/48*(23*w + 276)>, <24, 1/195517*(2964*w + 81624)>, <24, 1/195517*(2964*w + 110929)>, <24, 1/12166*(45*w + 11536)>, <24, 1/713*(9*w + 542)>, <24, 1/4661*(66*w + 4290)>, <24, 1/461*(9*w + 542)>, <24, 1/242947*(990*w + 253792)>, <24, 1/308*(9*w + 371)>, <24, 1/308*(9*w - 72)>, <24, 1/66*(w + 65)>, <24, 1/4819*(39*w + 481)>, <36, 1/401*(18*w + 293)>, <24, 1/196571*(2772*w + 97031)>, <24, 1/527*(11*w + 384)>, <24, 1/713*(10*w + 180)>, <24, 1/13*(w - 6)>, <24, 1/10*(w + 18)>, <24, 1/713*(13*w + 466)>, <24, 1/13*(3*w + 37)>, <48, 1/20*(w + 8)>, <24, 1/440*(7*w + 419)>, <48, 1/222829*(1260*w + 205000)>, <24, 1/184223*(2926*w + 168872)>, <24, 1/461*(8*w + 72)>, <24, 1/373*(8*w - 16)>, <24, 1/198653*(3264*w + 138941)>, <24, 1/5071*(285*w + 7636)>, <12, 1/4213*(460*w + 2373)>, <12, 1/581*(11*w + 416)>, <4, 1/280*(11*w + 335)>, <24, 1/253*(20*w - 100)>, <24, 1/340*(11*w - 55)>, <48, 1/443*(20*w + 160)>, <24, 1/196571*(3135*w + 83996)>, <12, 1/3447*(400*w - 1600)>, <12, 1/400*(w + 386)>, <12, 1/211799*(6800*w + 78999)>, <24, 1/196673*(3080*w + 184360)>, <48, 1/9620*(63*w + 10250)>, <24, 1/418*(7*w + 404)>, <24, 1/247*(14*w - 112)>, <24, 1/280*(13*w - 91)>, <24, 1/221*(18*w + 311)>, <24, 1/323*(16*w + 355)>, <24, 1/165239*(2660*w + 18179)>, <24, 1/581*(17*w + 238)>, <24, 1/383*(6*w + 359)>, <24, 1/377*(6*w + 359)>, <12, 1/373*(2*w + 369)>, <12, 1/145061*(1805*w + 11130)>, <12, 1/6*(w + 1)>, <24, 1/155701*(2907*w + 39744)>, <60, 1/9*(w + 5)>, <24, 1/3447*(323*w + 4416)>, <44, 1/481*(24*w + 217)>, <12, 1/4424*(289*w + 8181)>, <28, 1/553*(11*w + 143)>, <12, 1/5030*(273*w + 8033)>, <12, 1/373*(10*w + 383)>, <36, 1/20*(21*w - 252)>, <24, 1/266*(15*w - 105)>, <16, 1/30*(19*w + 296)>, <24, 1/885*(38*w - 266)>, <24, 1/29309*(520*w + 13949)>, <12, 1/13*(20*w - 280)>, <24, 1/29309*(520*w + 14840)>, <24, 1/371*(3*w + 371)>, <24, 1/371*(3*w - 3)>, <24, 1/6032*(323*w + 6678)>, <12, w - 2>, <12, 1/206269*(4332*w + 138985)>, <24, 1/380*(7*w - 7)>, <24, 1/17*(w + 14)>, <60, 1/9*(w + 3)>, <24, 1/5978*(247*w - 1976)>, <24, 1/767*(40*w - 280)>, <24, 1/222523*(3978*w + 68731)>, <38, 1/401*(16*w + 305)>, <24, 1/401*(48*w - 288)>, <36, 1/461*(9*w + 371)>, <24, 1/373*(3*w + 367)>, <10, 1/400*(9*w + 9)>, <12, 9/380*w>, <36, 1/461*(9*w + 81)>, <24, 1/48*(w - 6)>, <6, 1/167011*(2816*w + 88064)>, <8, 1/196249*(2618*w + 44660)>, <24, 1/295*(51*w - 357)>, <24, 1/1281*(16*w - 128)>, <12, 1/441*(10*w + 371)>, <12, 1/481*(63*w + 630)>, <12, 1/28379*(252*w + 596)>, <24, 1/357*(5*w - 35)>, <24, 1/272*(11*w + 371)>, <24, 1/186613*(2992*w + 100912)>, <12, 1/7553*(204*w - 3060)>, <12, 1/13*(w + 14)>, <4, 1/244979*(550*w + 238304)>, <4, 1/244979*(2640*w - 12685)>, <4, 1/5*(w - 9)>, <40, 1/120*(19*w + 272)>, <24, 1/5*(w + 11)>, <24, 1/503*(5*w + 55)>, <24, 1/3127*(48*w + 2496)>, <24, 1/3127*(48*w + 583)>, <12, 1/31679*(504*w + 27783)>, <12, 1/441*(5*w + 65)>, <12, 1/802*(63*w + 424)>, <48, 1/443*(14*w + 112)>, <48, 1/10*(w + 3)>, <24, 1/461*(6*w + 401)>, <12, 1/163541*(3366*w + 56441)>, <4, 1/7837*(138*w + 9079)>, <4, 1/427*(6*w + 469)>, <4, 1/236131*(2346*w + 183379)>, <8, 1/10603*(24*w - 240)>, <16, 1/12719*(68*w + 884)>, <8, 1/24*(23*w - 230)>, <24, 1/6*(w - 4)>, <48, 1/413*(10*w + 343)>, <12, 1/7905*(152*w - 1976)>, <12, 1/15*(w + 12)>, <12, 1/10013*(52*w - 676)>, <24, 1/531*(44*w + 795)>, <60, 1/22*(w + 13)>, <24, 1/531*(44*w - 308)>, <12, 1/10*(w + 8)>, <12, 1/4430*(273*w - 2457)>, <24, 1/300*(11*w - 55)>, <24, 1/380*(3*w + 392)>, <24, 1/377*(7*w - 21)>, <12, 1/151177*(1800*w + 69952)>, <12, 1/22*(w + 16)>, <4, 1/232981*(1620*w + 208600)>, <4, 1/232981*(4500*w + 5481)>, <4, 1/9*(w - 6)>, <10, 1/225*(16*w + 305)>, <24, 1/373*(3*w + 376)>, <12, 1/1119*(400*w - 800)>, <24, 1/4301*(300*w - 1500)>, <24, 1/158179*(1140*w + 148960)>, <24, 1/7*(w - 3)>, <36, 1/481*(7*w + 404)>, <24, 1/3*(w + 2)>, <24, 1/360*(13*w + 386)>, <24, 1/6*(w - 3)>, <24, 1/377*(6*w - 18)>, <12, 1/391*(5*w + 411)>, <12, 1/2766*(361*w + 6015)>, <24, 1/189631*(2907*w + 127585)>, <24, 1/323*(9*w + 395)>, <24, 1/377*(8*w + 16)>, <12, 1/289*(11*w + 344)>, <8, 1/253009*(598*w - 6500)>, <8, 1/26*(23*w - 250)>, <12, 1/4897*(12*w - 164)>, <24, 1/4819*(6*w - 80)>, <24, 1/377*(3*w + 6)>, <24, 1/216713*(4680*w + 138960)>, <24, 1/31093*(399*w + 5880)>, <24, 1/31093*(399*w + 24814)>, <24, 1/192881*(3344*w + 125792)>, <24, 1/4873*(272*w - 2448)>, <6, 1/221741*(1620*w + 21141)>, <24, 1/178451*(2992*w + 97920)>, <24, 1/209*(16*w - 112)>, <10, 1/400*(9*w + 382)>, <4, 1/325*(16*w + 341)>, <4, 1/256*(13*w + 386)>, <1, 1/4147*(256*w + 9411)>, <1, 1/121*(16*w + 329)>, <2, 1/10179*(176*w + 3619)>, <1, 1/256*(27*w + 175)>, <1, 1/305809*(1936*w + 166736)>, <1, 1/305809*(3267*w + 21175)>, <1, 1/208481*(2816*w + 102144)>, <12, 1/441*(16*w + 329)>, <24, 1/79*(w + 13)>, <18, 1/4*(w + 6)>, <12, 1/6539*(204*w + 8783)>, <24, 1/6416*(231*w + 7571)>, <36, 1/10563*(20*w - 240)>, <12, 10/441*w>, <24, 1/6416*(231*w - 1386)>, <24, 1/135*(19*w - 171)>, <24, 1/323*(10*w + 413)>, <16, 1/68*(23*w + 299)>, <24, 1/4610*(323*w + 7517)>, <12, 1/20*(3*w - 21)>, <24, 1/135*(19*w + 287)>, <6, 1/1652*(361*w + 3818)>, <18, 1/413*(4*w + 24)>, <12, 1/239839*(6270*w + 162184)>, <12, 1/15*(w + 16)>, <24, 1/165239*(2464*w + 29015)>, <24, 1/2737*(352*w + 4145)>, <24, 1/198679*(3630*w + 80344)>, <24, 1/440*(3*w + 6)>, <24, 1/184861*(2640*w + 127485)>, <12, 1/2611*(352*w - 704)>, <12, 1/3447*(320*w + 4407)>, <24, 1/320*(9*w - 99)>, <12, 1/10540*(27*w - 351)>, <24, 1/4329*(320*w - 3520)>, <24, 1/242*(15*w + 332)>, <24, 1/1131*(440*w + 880)>, <24, 1/380*(7*w - 63)>, <24, 1/151177*(1140*w + 4497)>, <12, 1/10101*(40*w + 10501)>, <12, 1/26137*(126*w + 26775)>, <12, 1/63*(2*w + 16)>, <12, 1/59*(63*w - 382)>, <24, 1/380*(7*w + 436)>, <24, 1/1119*(380*w + 1499)>, <12, 1/4527*(256*w + 7343)>, <4, 1/377*(21*w + 42)>, <4, 1/14973*(64*w + 1152)>, <8, 1/272*(21*w - 63)>, <4, 1/12121*(84*w + 13633)>, <8, 1/7917*(272*w - 816)>, <4, 1/713*(17*w + 306)>, <10, 1/4*(w + 1)>, <4, 1/357*(4*w - 12)>, <12, 1/441*(5*w + 411)>, <12, 1/461*(4*w + 36)>, <24, 1/15*(w + 13)>, <24, 1/553*(15*w + 195)>, <6, 1/140621*(1444*w + 7412)>, <24, 1/216223*(3762*w + 33975)>, <24, 1/3357*(418*w + 3775)>, <12, 1/247*(16*w + 311)>, <24, 1/21*(22*w - 242)>, <12, 1/3689*(352*w + 7913)>, <12, 1/401*(7*w + 436)>, <24, 1/10582*(21*w - 231)>, <24, 1/3*(w - 6)>, <12, 1/481*(2*w + 459)>, <12, 1/8860*(441*w + 4891)>, <12, 1/443*(w - 9)>, <24, 1/401*(3*w - 18)>, <12, 1/7088*(171*w + 8456)>, <4, 1/149573*(1428*w + 134589)>, <4, 1/441*(17*w + 339)>, <4, 1/441*(4*w + 377)>, <8, 1/10387*(84*w + 11647)>, <8, 1/8421*(170*w - 1020)>, <4, 1/12831*(40*w + 600)>, <4, 1/21*(w + 15)>, <8, 1/170*(21*w - 126)>, <12, 1/373*(4*w + 377)>, <12, 1/156791*(3610*w + 30080)>, <16, 1/227171*(570*w + 8880)>, <8, 1/10*(w - 5)>, <4, 1/11039*(57*w + 11927)>, <8, 1/391*(10*w - 50)>, <4, 1/12782*(361*w + 5624)>, <4, 1/1173*(418*w - 917)>, <4, 1/391*(3*w - 15)>, <16, 1/241943*(66*w - 783)>, <4, 1/205387*(1254*w + 187264)>, <4, 1/484*(19*w + 275)>, <4, 1/484*(3*w + 448)>, <8, 1/10582*(19*w - 209)>, <16, 1/11066*(3*w + 33)>, <8, 1/19*(22*w - 242)>, <-6, 1/5865*(-256*w + 7145)>, <-6, 1/149573*(-2268*w + 118584)>, <-12, 1/147407*(-2394*w + 124146)>, <-12, 1/8048*(-135*w + 9668)>, <-12, 1/342*(-7*w + 426)>, <-12, 1/391*(-7*w - 28)>, <-24, 1/112*(-17*w - 187)>, <-12, 1/377*(-24*w - 48)>, <-12, 1/204223*(-2142*w + 170784)>, <-12, 1/184223*(-2618*w + 123074)>, <-12, 1/196*(-11*w + 350)>, <-12, 1/211327*(-1386*w + 188766)>, <-12, 1/713*(-6*w + 605)>, <-12, 1/713*(-14*w + 266)>, <-12, 1/5614*(-247*w + 7096)>, <-12, 1/1464*(-7*w + 1520)>, <-12, 1/7553*(-144*w + 9713)>, <-24, 1/581*(-23*w + 345)>, <-12, 1/7*(-w + 9)>, <-6, 1/196249*(-5508*w + 99468)>, <-12, 1/4147*(-432*w + 3283)>, <-12, 1/4187*(-102*w + 1586)>, <-12, 1/33*(-2*w + 47)>, <-12, 1/184223*(-3990*w + 91028)>, <-12, 1/4411*(-361*w + 6577)>, <-12, 1/401*(-2*w + 12)>, <-16, 1/66*(-19*w - 209)>, <-12, 1/581*(-12*w + 180)>, <-12, 1/437*(-12*w + 413)>, <-12, 1/4823*(-384*w + 4823)>, <-12, 1/270*(-11*w + 347)>, <-12, 1/5124*(-247*w - 1729)>, <-12, 1/5968*(-289*w + 6546)>, <-24, 1/373*(-12*w + 24)>, <-12, 1/54*(-w + 1)>, <-12, 1/592*(-13*w + 735)>, <-24, 1/221753*(-760*w + 210273)>, <-12, 1/12*(-w - 1)>, <-12, 1/165239*(-2023*w + 111843)>, <-12, 1/184223*(-3024*w + 9695)>, <-12, 1/8579*(-102*w + 2442)>, <-6, 1/100*(-19*w + 290)>, <-12, 1/195*(-14*w + 335)>, <-12, 1/6253*(-196*w - 1960)>, <-12, 1/413*(-72*w - 19)>, <-12, 1/169669*(-3588*w + 103753)>, <-12, 1/177643*(-1694*w + 40051)>, <-24, 1/5071*(-252*w - 2268)>, <-12, 1/121*(-18*w - 180)>, <-12, 1/156791*(-400*w + 158400)>, <-6, 1/400*(-9*w + 54)>, <-12, 1/246269*(-340*w + 251760)>, <-12, 1/20*(-w + 17)>, <-12, 1/227171*(-4180*w + 69300)>, <-24, 1/20*(-w + 7)>, <-12, 1/8260*(-153*w - 918)>, <-12, 1/142859*(-722*w + 7484)>, <-12, 1/802*(-361*w + 2968)>, <-12, 1/167011*(-3542*w + 56243)>, <-24, 1/178451*(-3960*w + 48851)>, <-12, 1/377*(-8*w + 401)>, <-12, 1/188071*(-5415*w + 73995)>, <-12, 1/2*(-w - 2)>, <-12, 1/413*(-w + 407)>, <-6, 1/5213*(-400*w + 3213)>, <-12, 1/138383*(-361*w + 4452)>, <-12, 1/12217*(-16*w - 256)>, <-24, 1/19*(-w + 17)>, <-12, 1/340*(-11*w - 11)>, <-6, 1/171031*(-3610*w + 133931)>, <-12, 1/16*(-w - 10)>, <-12, 1/6832*(-187*w - 1309)>, <-12, 1/441*(-2*w + 443)>, <-20, 1/25*(-w + 11)>, <-12, 1/144*(-25*w + 375)>, <-4, 1/456*(-5*w + 30)>, <-16, 1/7619*(-192*w + 8771)>, <-4, 1/221753*(-2888*w + 162089)>, <-12, 1/1915*(-418*w + 1672)>, <-12, 1/5*(-w - 3)>, <-12, 1/441*(-8*w + 401)>, <-12, 1/3848*(-441*w + 4851)>, <-12, 1/192881*(-2205*w + 5015)>, <-12, 1/205387*(-2178*w + 171144)>, <-4, 1/373*(-17*w + 34)>, <-4, 1/260897*(-1734*w + 212891)>, <-4, 1/6341*(-391*w + 8188)>, <-4, 1/159271*(-2346*w + 11082)>, <-12, 1/4213*(-460*w + 2833)>, <-12, 1/581*(-11*w + 427)>, <-4, 1/280*(-11*w + 346)>, <-12, 1/3447*(-400*w - 1200)>, <-12, 1/400*(-w + 387)>, <-12, 1/211799*(-6800*w + 85799)>, <-12, 1/373*(-2*w + 371)>, <-12, 1/145061*(-1805*w + 12935)>, <-12, 1/6*(-w + 2)>, <-12, 1/4424*(-289*w + 8470)>, <-12, 1/5030*(-273*w + 8306)>, <-12, 1/373*(-10*w + 393)>, <-12, 1/13*(-20*w - 260)>, <-12, -w - 1>, <-12, 1/206269*(-4332*w + 143317)>, <-12, 1/380*(-9*w + 9)>, <-6, 1/167011*(-2816*w + 90880)>, <-12, 1/441*(-10*w + 381)>, <-12, 1/481*(-63*w + 693)>, <-12, 1/28379*(-252*w + 848)>, <-12, 1/7553*(-204*w - 2856)>, <-12, 1/13*(-w + 15)>, <-4, 1/244979*(-550*w + 238854)>, <-4, 1/244979*(-2640*w - 10045)>, <-4, 1/5*(-w - 8)>, <-12, 1/31679*(-504*w + 28287)>, <-12, 1/441*(-5*w + 70)>, <-12, 1/802*(-63*w + 487)>, <-12, 1/163541*(-3366*w + 59807)>, <-4, 1/7837*(-138*w + 9217)>, <-4, 1/427*(-6*w + 475)>, <-4, 1/236131*(-2346*w + 185725)>, <-12, 1/7905*(-152*w - 1824)>, <-12, 1/15*(-w + 13)>, <-12, 1/10013*(-52*w - 624)>, <-12, 1/10*(-w + 9)>, <-12, 1/4430*(-273*w - 2184)>, <-12, 1/151177*(-1800*w + 71752)>, <-12, 1/22*(-w + 17)>, <-4, 1/232981*(-1620*w + 210220)>, <-4, 1/232981*(-4500*w + 9981)>, <-4, 1/9*(-w - 5)>, <-24, 1/373*(-3*w + 379)>, <-12, 1/1119*(-400*w - 400)>, <-12, 1/391*(-5*w + 416)>, <-12, 1/2766*(-361*w + 6376)>, <-12, 1/289*(-11*w + 355)>, <-12, 1/4897*(-12*w - 152)>, <-6, 1/221741*(-1620*w + 22761)>, <-4, 1/325*(-16*w + 357)>, <-4, 1/256*(-13*w + 399)>, <-1, 1/4147*(-256*w + 9667)>, <-1, 1/121*(-16*w + 345)>, <-2, 1/10179*(-176*w + 3795)>, <-1, 1/256*(-27*w + 202)>, <-1, 1/305809*(-1936*w + 168672)>, <-1, 1/305809*(-3267*w + 24442)>, <-1, 1/208481*(-2816*w + 104960)>, <-12, 1/441*(-16*w + 345)>, <-12, 1/6539*(-204*w + 8987)>, <-12, 1/441*(-10*w + 10)>, <-12, 1/20*(-3*w - 18)>, <-6, 1/1652*(-361*w + 4179)>, <-12, 1/239839*(-6270*w + 168454)>, <-12, 1/15*(-w + 17)>, <-12, 1/2611*(-352*w - 352)>, <-12, 1/3447*(-320*w + 4727)>, <-12, 1/10540*(-27*w - 324)>, <-12, 1/26137*(-126*w + 26901)>, <-12, 1/63*(-2*w + 18)>, <-12, 1/59*(-63*w - 319)>, <-12, 1/4527*(-256*w + 7599)>, <-4, 1/377*(-21*w + 63)>, <-4, 1/14973*(-64*w + 1216)>, <-4, 1/12121*(-84*w + 13717)>, <-4, 1/713*(-17*w + 323)>, <-10, 1/4*(-w + 2)>, <-4, 1/357*(-4*w - 8)>, <-12, 1/441*(-5*w + 416)>, <-12, 1/461*(-4*w + 40)>, <-6, 1/140621*(-1444*w + 8856)>, <-12, 1/247*(-16*w + 327)>, <-12, 1/3689*(-352*w + 8265)>, <-12, 1/401*(-7*w + 443)>, <-12, 1/481*(-2*w + 461)>, <-12, 1/8860*(-441*w + 5332)>, <-12, 1/443*(-w - 8)>, <-12, 1/7088*(-171*w + 8627)>, <-4, 1/149573*(-1428*w + 136017)>, <-4, 1/441*(-17*w + 356)>, <-4, 1/441*(-4*w + 381)>, <-4, 1/12831*(-40*w + 640)>, <-4, 1/21*(-w + 16)>, <-12, 1/373*(-4*w + 381)>, <-12, 1/156791*(-3610*w + 33690)>, <-4, 1/11039*(-57*w + 11984)>, <-4, 1/12782*(-361*w + 5985)>, <-4, 1/1173*(-418*w - 499)>, <-4, 1/391*(-3*w - 12)>, <-4, 1/205387*(-1254*w + 188518)>, <-4, 1/484*(-19*w + 294)>, <-4, 1/484*(-3*w + 451)> ]