/* Defining polynomial */ x^2 + 233 /* GCD of coefficients */ 1 /* 24 * |disc|^(3/2) /(8*pi^2)* zeta_F(2) */ 15197.8692301090796541337873514 /* Belt */ [ <100, 1/26*(w - 1)>, <16, 1/28*(w + 1)>, <120, 1/33*(w + 25)>, <120, 1/26*(w + 25)>, <24, 1/6757*(204*w + 2796)>, <48, 1/29*(w + 12)>, <48, 1/13*(w + 12)>, <24, 1/6757*(204*w + 3961)>, <36, 1/377*(17*w + 204)>, <120, 1/6*(w + 1)>, <24, 1/12*(w + 17)>, <152, 1/157*(9*w + 76)>, <120, 1/39*(w + 1)>, <36, 1/17*(w + 12)>, <24, 1/43*(2*w + 53)>, <108, 1/297*(13*w + 193)>, <24, 1/157*(2*w + 139)>, <24, 1/129*(2*w + 139)>, <108, 1/258*(13*w + 193)>, <12, 1/24*(w - 1)>, <60, 1/10*(w + 9)>, <60, 1/157*(5*w + 45)>, <48, 1/24649*(126*w + 25713)>, <24, 1/785*(119*w - 1071)>, <48, 1/2997*(14*w + 2857)>, <24, 1/238*(5*w - 45)>, <32, 1/10*(w + 11)>, <32, 1/117*(5*w + 122)>, <24, 1/162*(5*w + 202)>, <24, 1/1727*(30*w + 1212)>, <138, 1/22*(w + 3)>, <138, 1/27*(w + 8)>, <12, 1/39093*(560*w + 30128)>, <18, 1/5*(w - 4)>, <192, 1/47*(2*w + 33)>, <24, 1/20*(w + 27)>, <204, 1/141*(7*w + 49)>, <60, 1/333*(14*w + 193)>, <12, 1/166*(3*w + 178)>, <60, 1/83*(4*w + 16)>, <192, 1/47*(2*w + 14)>, <24, 1/20*(w - 7)>, <168, 1/314*(17*w + 153)>, <48, 1/297*(7*w + 241)>, <36, 5/233*w>, <48, 1/234*(7*w + 241)>, <36, 1/5*w>, <168, 1/17*(w + 9)>, <132, 1/83*(3*w + 12)>, <48, 1/258*(7*w + 223)>, <48, 1/237*(7*w + 223)>, <24, 1/99*(2*w + 61)>, <24, 1/47*(2*w + 61)>, <24, 1/39093*(520*w + 7880)>, <72, 1/13*(w + 4)>, <16, 1/3009*(10*w + 2899)>, <40, 1/354*(17*w + 187)>, <132, 1/9*(w + 4)>, <72, 1/121*(3*w + 112)>, <36, 1/249*(5*w + 229)>, <12, 1/585*(112*w + 697)>, <126, 1/33*(2*w + 17)>, <100, 1/26*(w + 27)>, <126, 1/37*(2*w + 17)>, <24, 1/119*(2*w + 119)>, <84, 1/11*(w + 7)>, <12, 1/1551*(64*w - 448)>, <24, 1/261*(7*w + 119)>, <24, 1/14*(w + 17)>, <24, 1/15093*(238*w + 14161)>, <96, 1/8*(w + 5)>, <60, 1/117*(4*w + 121)>, <96, 1/47*(w + 7)>, <120, 1/59*(3*w + 33)>, <24, 1/1677*(35*w + 1330)>, <48, 1/333*(19*w + 143)>, <24, 1/581*(65*w - 260)>, <24, 1/102*(13*w + 193)>, <96, 1/6*(w + 7)>, <48, 1/1121*(11*w + 121)>, <24, 1/429*(10*w + 179)>, <48, 1/237*(11*w + 22)>, <60, 1/237*(13*w + 211)>, <52, 1/39*(2*w + 2)>, <48, 1/19*(w + 9)>, <24, 1/1677*(35*w + 347)>, <48, 1/66*(19*w + 209)>, <24, 1/4897*(45*w + 567)>, <24, 1/129*(10*w + 179)>, <24, 1/18*(5*w + 63)>, <24, 1/581*(65*w + 841)>, <24, 1/611*(17*w + 730)>, <60, 1/157*(4*w + 121)>, <96, 1/121*(4*w + 109)>, <120, 1/47*(3*w + 21)>, <24, 1/41241*(616*w + 28193)>, <48, 1/354*(11*w + 233)>, <144, 1/10*(w + 5)>, <52, 1/59*(2*w + 22)>, <48, 1/314*(11*w + 99)>, <60, 1/237*(13*w + 26)>, <24, 1/767*(14*w + 508)>, <48, 1/30*(7*w + 100)>, <24, 1/3182*(35*w + 2755)>, <48, 1/4*(w + 1)>, <24, 1/46629*(68*w + 45985)>, <24, 1/7139*(140*w + 2484)>, <24, 1/7139*(140*w + 4655)>, <24, 1/198*(7*w + 254)>, <48, 1/7139*(70*w + 1000)>, <24, 1/495*(7*w + 551)>, <48, 1/4*(w + 3)>, <24, 1/885*(4*w - 44)>, <48, 1/15*(w + 11)>, <18, 1/249*(16*w + 185)>, <12, 1/522*(13*w + 301)>, <24, 1/11*(w + 10)>, <24, 1/26*(5*w - 35)>, <24, 1/39*(4*w + 67)>, <72, 1/297*(14*w + 185)>, <120, 1/14*(w + 5)>, <24, 1/2739*(52*w + 871)>, <120, 1/129*(7*w + 35)>, <24, 1/333*(11*w + 110)>, <24, 1/705*(13*w - 91)>, <72, 1/269*(14*w + 185)>, <48, 1/269*(9*w + 54)>, <6, 1/44109*(1408*w + 31360)>, <6, 1/11*(w + 12)>, <36, 1/117*(w + 1)>, <48, 1/9*(w + 6)>, <24, 1/46953*(85*w + 46138)>, <72, 1/13*(w + 10)>, <24, 1/377*(15*w + 197)>, <24, 1/242*(15*w + 197)>, <24, 1/2669*(5*w + 2714)>, <72, 1/333*(13*w + 130)>, <24, 1/177*(4*w + 44)>, <96, 1/333*(17*w + 163)>, <24, 1/170*(9*w + 215)>, <24, 1/32549*(765*w + 18275)>, <96, 1/282*(17*w + 163)>, <24, 1/177*(4*w + 133)>, <42, 1/249*(10*w + 209)>, <204, 1/94*(5*w + 59)>, <108, 1/121*(5*w + 106)>, <108, 1/11*(w + 5)>, <108, 1/11*(w + 6)>, <108, 1/141*(5*w + 106)>, <204, 1/99*(5*w + 59)>, <12, 1/237*(2*w + 233)>, <12, 1/19339*(300*w + 1864)>, <60, 1/6*(w + 2)>, <42, 1/10*(w + 6)>, <48, 1/354*(11*w + 121)>, <84, 1/15*(w + 5)>, <84, 1/86*(5*w + 25)>, <48, 1/269*(12*w + 72)>, <12, 1/117*(8*w - 8)>, <24, 1/18369*(385*w + 9745)>, <24, 1/37209*(880*w + 20009)>, <24, 1/77*(5*w - 35)>, <24, 1/160*(11*w - 55)>, <132, 1/157*(8*w + 85)>, <24, 1/6399*(170*w + 3689)>, <72, 1/297*(16*w + 169)>, <6, 1/54*(w + 35)>, <24, 1/6399*(170*w + 2710)>, <132, 1/141*(8*w + 85)>, <60, 1/8*(w + 1)>, <24, 1/1833*(35*w + 433)>, <24, 1/8769*(140*w + 2485)>, <60, 1/141*(4*w + 113)>, <24, 1/1833*(35*w + 1400)>, <24, 1/35*(4*w + 71)>, <12, 1/56*(3*w + 71)>, <24, 1/2301*(50*w + 1376)>, <24, 1/102*(5*w + 112)>, <24, 1/33*(2*w - 4)>, <48, 1/242*(5*w + 227)>, <48, 1/269*(7*w + 227)>, <48, 1/2021*(42*w + 1328)>, <48, 1/234*(7*w + 227)>, <48, 1/538*(21*w + 664)>, <24, 1/538*(25*w + 688)>, <24, 1/6123*(170*w + 3808)>, <24, 1/158*(11*w - 22)>, <48, 1/237*(5*w + 227)>, <24, 1/77*(5*w - 45)>, <24, 1/1570*(77*w - 693)>, <72, 1/249*(13*w + 52)>, <84, 1/314*(15*w + 179)>, <24, 1/4897*(20*w + 252)>, <48, 1/15*(w + 4)>, <12, 1/43*(3*w + 15)>, <12, 1/1206*(11*w + 143)>, <24, 1/5293*(110*w + 3775)>, <24, 1/645*(22*w + 755)>, <24, 1/15*(w + 19)>, <24, 1/141*(2*w + 127)>, <60, 1/99*(4*w + 32)>, <24, 1/198*(5*w + 95)>, <24, 1/121*(2*w + 127)>, <48, 1/7379*(56*w + 595)>, <48, 1/8*(w + 4)>, <6, 1/66981*(1690*w + 35321)>, <24, 1/42233*(408*w + 3201)>, <48, 1/21*(8*w + 85)>, <24, 1/387*(136*w + 1067)>, <12, 1/28193*(336*w + 26096)>, <12, 1/3*w>, <12, 1/50049*(340*w + 53669)>, <12, 1/17*(w + 13)>, <12, 1/64*(13*w + 233)>, <12, 13/233*w>, <84, 1/269*(15*w + 179)>, <12, 1/79893*(578*w + 81209)>, <24, 1/4*(w + 8)>, <24, 1/807*(112*w + 1479)>, <48, 1/658*(15*w + 763)>, <24, 1/301*(32*w - 160)>, <24, 1/605*(112*w + 941)>, <24, 1/18997*(336*w + 4437)>, <48, 1/6751*(105*w + 5341)>, <24, 1/10491*(224*w + 7264)>, <24, 1/31473*(560*w + 4705)>, <24, 1/4477*(105*w + 532)>, <18, 1/237*(4*w + 229)>, <6, 1/79*(25*w + 129)>, <54, 1/79*(w + 2)>, <12, 1/42233*(330*w + 38295)>, <12, 1/377*(5*w + 437)>, <24, 1/522*(11*w + 335)>, <24, 1/11*(w - 6)>, <12, 1/15871*(270*w + 16146)>, <12, 1/6*(w + 11)>, <24, 1/91*(15*w + 76)>, <12, 1/30057*(520*w + 24232)>, <24, 1/14*(w + 2)>, <24, 1/473*(28*w + 613)>, <24, 1/996*(55*w + 1216)>, <24, 1/85*(2*w - 6)>, <24, 1/12987*(308*w + 6743)>, <24, 1/996*(55*w - 220)>, <24, 1/85*(2*w + 91)>, <6, 1/121*(16*w + 185)>, <24, 1/14*(w + 12)>, <24, 1/15871*(136*w + 1336)>, <24, 1/156*(11*w + 233)>, <48, 1/785*(8*w + 857)>, <24, 1/195*(7*w - 56)>, <60, 1/6*(w + 4)>, <24, 1/9322*(165*w + 4647)>, <24, 1/189*(4*w - 32)>, <24, 1/14*(w + 19)>, <144, 1/282*(13*w + 191)>, <84, 1/282*(11*w + 77)>, <24, 1/132*(13*w - 65)>, <24, 1/1331*(91*w + 1604)>, <24, 1/13983*(260*w + 4220)>, <48, 1/4773*(40*w + 4285)>, <24, 1/9322*(165*w + 4675)>, <24, 1/195*(7*w + 251)>, <24, 1/189*(4*w + 221)>, <24, 1/14*(w - 5)>, <144, 1/282*(13*w + 91)>, <24, 1/156*(11*w - 77)>, <24, 1/15871*(136*w + 14535)>, <12, 1/52569*(608*w + 57209)>, <12, 1/19*(w + 11)>, <36, 1/233*(8*w + 233)>, <6, 1/88209*(2704*w + 59648)>, <24, 1/120*(13*w + 211)>, <24, 1/1331*(91*w - 273)>, <24, 1/13031*(286*w + 8697)>, <24, 1/39*(4*w - 32)>, <48, 1/1221*(10*w + 1306)>, <24, 1/85*(3*w + 85)>, <24, 1/4*(w + 5)>, <36, 1/24*(5*w + 59)>, <36, 1/2773*(21*w - 182)>, <24, 1/2923*(52*w + 2000)>, <48, 1/708*(5*w + 653)>, <24, 1/129*(2*w + 10)>, <24, 1/9322*(255*w + 7225)>, <12, 1/237*(2*w + 241)>, <12, 1/2739*(100*w + 1064)>, <36, 1/6*(w - 2)>, <12, 1/46953*(374*w + 43367)>, <24, 1/39*(w + 47)>, <24, 1/269*(13*w + 347)>, <24, 1/814*(13*w + 611)>, <24, 1/594*(13*w + 347)>, <24, 1/7139*(168*w + 2400)>, <12, 1/38961*(1408*w + 28544)>, <12, 1/128*(w + 10)>, <12, 1/819*(128*w + 947)>, <24, 1/72*(7*w + 100)>, <24, 1/18189*(136*w - 35)>, <24, 1/79*(5*w + 89)>, <24, 1/112*(5*w - 10)>, <24, 1/1185*(112*w - 224)>, <24, 1/174*(5*w + 89)>, <24, 1/18189*(136*w + 18224)>, <24, 1/5687*(135*w + 2825)>, <84, 1/79*(3*w + 73)>, <24, 1/2537*(51*w + 89)>, <24, 1/1833*(34*w + 473)>, <12, 1/2193*(44*w + 2413)>, <40, 1/17*(w + 11)>, <84, 1/94*(3*w + 73)>, <24, 1/430*(27*w + 565)>, <24, 1/269*(34*w + 473)>, <24, 1/51*(w + 3)>, <24, 1/1345*(33*w + 1543)>, <24, 1/473*(25*w + 598)>, <24, 1/150*(11*w + 205)>, <24, 1/249*(4*w + 265)>, <12, 1/1221*(50*w + 796)>, <12, 1/6*(w - 4)>, <24, 1/9794*(165*w + 7715)>, <12, 1/3*(w + 7)>, <12, 1/141*(40*w - 280)>, <12, 1/4304*(77*w + 4766)>, <24, 1/333*(16*w + 173)>, <12, 1/80*(w + 1)>, <42, 1/78*(w - 1)>, <24, 1/237*(7*w - 14)>, <24, 1/237*(5*w + 247)>, <12, 1/2773*(15*w + 2643)>, <24, 1/136*(3*w + 6)>, <12, 1/121*(8*w + 145)>, <24, 1/18997*(408*w + 1317)>, <24, 1/282*(5*w + 247)>, <24, 1/7*(w - 2)>, <24, 1/344*(17*w - 85)>, <24, 1/344*(17*w + 429)>, <24, 1/468*(85*w + 85)>, <24, 1/8514*(85*w + 7735)>, <24, 1/3713*(70*w + 3458)>, <60, 1/129*(8*w + 40)>, <24, 1/1053*(112*w + 1165)>, <24, 1/36581*(1008*w + 10485)>, <24, 1/85*(2*w + 2)>, <24, 1/85*(w + 91)>, <24, 1/252*(5*w + 247)>, <60, 1/16*(w + 5)>, <24, 1/3140*(143*w - 1287)>, <24, 1/143*(10*w - 90)>, <24, 1/269*(3*w + 251)>, <24, 1/65*(8*w + 97)>, <24, 1/9*(w + 9)>, <24, 1/3497*(119*w + 4211)>, <42, 1/83*(w + 4)>, <6, 1/75*(w - 4)>, <12, 1/12*(w + 13)>, <12, 1/268*(5*w - 65)>, <60, 1/242*(7*w + 21)>, <24, 1/752*(11*w + 829)>, <24, 1/41241*(616*w + 13048)>, <24, 1/7611*(88*w + 6632)>, <60, 1/7*(w + 3)>, <6, 1/19881*(350*w + 15281)>, <12, 1/13*(8*w - 72)>, <24, 1/242*(3*w + 251)>, <24, 1/1992*(65*w + 2252)>, <24, 1/78186*(1547*w + 54743)>, <24, 1/314*(9*w + 81)>, <24, 1/2376*(25*w + 2576)>, <24, 1/329*(32*w + 553)>, <24, 1/528*(5*w + 568)>, <24, 1/11583*(224*w + 3871)>, <24, 1/45*(16*w + 173)>, <24, 1/22*(w + 25)>, <16, 1/237*(4*w + 245)>, <12, 1/23134*(825*w + 7909)>, <36, 1/3*(w - 2)>, <12, 1/6786*(55*w + 6126)>, <12, 1/377*(18*w + 216)>, <24, 1/39*(w + 25)>, <24, 1/25*(8*w + 89)>, <24, 1/17061*(238*w + 15113)>, <60, 1/249*(14*w + 193)>, <24, 1/498*(119*w - 476)>, <24, 1/1422*(221*w + 1864)>, <60, 7/233*w>, <24, 1/333*(8*w + 253)>, <24, 1/807*(55*w + 1137)>, <48, 1/121*(6*w + 18)>, <24, 1/10*(w + 2)>, <24, 1/237*(8*w + 253)>, <24, 1/807*(55*w - 330)>, <36, 1/79*(2*w - 4)>, <60, 1/233*(7*w + 233)>, <24, 1/62677*(1326*w + 11184)>, <12, 1/38313*(832*w + 25961)>, <24, 1/10*(w + 8)>, <48, 1/157*(6*w + 54)>, <12, 1/86*(w - 5)>, <12, 1/96*(w + 5)>, <6, 1/3*(w + 10)>, <6, 1/108*(w + 7)>, <16, 1/24649*(45*w - 380)>, <16, 1/5*(9*w - 76)>, <12, 1/289*(11*w + 223)>, <12, 1/1665*(289*w + 2890)>, <12, 1/89577*(1156*w + 4900)>, <12, 1/128*(w + 124)>, <12, 1/903*(128*w + 640)>, <12, 1/32121*(128*w - 263)>, <12, 1/49*(8*w - 40)>, <24, 1/120*(w - 4)>, <24, 1/3397*(40*w + 3240)>, <24, 1/1591*(30*w + 1225)>, <24, 1/80*(w + 81)>, <54, 1/79*(w + 77)>, <24, 1/83*(40*w - 160)>, <24, 1/249*(34*w + 385)>, <12, 1/88218*(3179*w + 70805)>, <12, 1/8*(w + 12)>, <36, 1/249*(5*w + 20)>, <24, 1/34*(w + 38)>, <6, 1/88209*(400*w + 83984)>, <24, 1/3713*(96*w + 1377)>, <24, 1/3713*(96*w + 2336)>, <24, 1/70*(3*w - 15)>, <24, 1/233*(40*w + 233)>, <24, 1/1833*(40*w + 233)>, <36, 1/3*(w + 5)>, <24, 1/387*(35*w - 175)>, <16, 1/767*(10*w + 185)>, <24, 1/28*(5*w - 35)>, <24, 1/705*(14*w - 98)>, <12, 1/17061*(455*w + 7415)>, <12, 1/269*(128*w + 1037)>, <12, 1/269*(w + 6)>, <24, 1/2301*(40*w + 976)>, <24, 1/2886*(55*w + 1771)>, <12, 1/11*(5*w + 61)>, <24, 1/135*(11*w - 88)>, <24, 1/185*(8*w - 80)>, <24, 1/21417*(455*w + 14917)>, <24, 1/1806*(65*w + 2131)>, <48, 1/269*(8*w + 221)>, <48, 1/237*(8*w + 221)>, <24, 1/1883*(52*w + 2195)>, <24, 1/20253*(364*w + 15365)>, <24, 1/7802*(85*w + 407)>, <6, 1/1221*(2*w + 17)>, <24, 1/237*(85*w + 407)>, <16, 1/3009*(10*w + 110)>, <8, 1/65*(17*w - 102)>, <4, 1/2301*(34*w + 2675)>, <8, 1/4573*(65*w - 390)>, <4, 1/221*(4*w - 24)>, <12, 1/44073*(896*w + 35456)>, <12, 1/256*(w + 11)>, <12, 1/1743*(128*w + 1231)>, <24, 1/121*(w + 3)>, <24, 1/2*(w + 3)>, <18, 1/314*(5*w + 269)>, <6, 1/78186*(1445*w + 77741)>, <12, 1/35*(4*w - 32)>, <12, 1/468*(35*w + 503)>, <12, 1/1884*(49*w - 441)>, <12, 1/297*(5*w + 40)>, <12, 1/272*(5*w + 257)>, <24, 1/332*(35*w - 140)>, <24, 1/6123*(140*w + 4235)>, <48, 1/40293*(728*w + 28925)>, <36, 1/2773*(21*w + 2955)>, <12, 1/5328*(13*w - 130)>, <48, 1/40293*(728*w + 11368)>, <24, 1/2041*(40*w + 1145)>, <24, 1/222*(w + 212)>, <24, 1/165*(8*w + 229)>, <24, 1/1992*(221*w + 2876)>, <24, 1/221*(8*w + 253)>, <24, 1/27*(17*w + 163)>, <24, 1/3*(2*w - 17)>, <24, 1/187*(w + 195)>, <1, 1/169*(17*w + 203)>, <1, 1/3081*(68*w + 3893)>, <1, 1/54273*(338*w + 45539)>, <1, 1/68*(13*w + 263)>, <2, 1/458*(17*w + 255)>, <1, 1/458*(13*w + 263)>, <2, 1/237*(17*w + 34)>, <1, 1/221*(4*w + 229)>, <12, 1/52*(3*w - 21)>, <12, 1/3216*(7*w + 3125)>, <12, 1/201*(8*w + 104)>, <24, 1/35*(2*w - 6)>, <12, 1/237*(w + 235)>, <12, 1/962*(25*w + 287)>, <16, 1/12*(w + 2)>, <24, 1/484*(35*w - 105)>, <12, 1/51*(4*w - 16)>, <12, 1/48*(5*w - 15)>, <12, 1/177*(7*w + 100)>, <12, 1/18997*(510*w + 10242)>, <24, 1/105*(4*w - 8)>, <12, 1/233*(w + 233)>, <12, 1/858*(25*w + 233)>, <24, 1/105*(4*w + 113)>, <24, 1/36581*(765*w + 16776)>, <24, 1/1269*(85*w + 1864)>, <12, 1/7*(17*w - 163)>, <12, 1/333*(17*w - 170)>, <4, 1/79*(3*w - 6)>, <4, 1/52*(3*w + 85)>, <4, 1/2183*(18*w + 1041)>, <4, 1/237*(21*w + 595)>, <4, 1/2923*(84*w + 1432)>, <12, 1/1005*(2*w + 1031)>, <12, 1/79*(5*w + 69)>, <12, 1/157*(8*w + 229)>, <12, 289/233*w>, <12, 1/858*(17*w + 425)>, <12, 1/85*(4*w - 28)>, <4, 1/1443*(56*w + 1855)>, <4, 1/2183*(24*w + 795)>, <12, 1/85*(4*w + 121)>, <-16, 1/28*(-w + 1)>, <-12, 1/24*(-w - 1)>, <-12, 1/39093*(-560*w + 30128)>, <-12, 1/166*(-3*w + 178)>, <-24, 1/39093*(-520*w + 7880)>, <-12, 1/585*(-112*w + 697)>, <-12, 1/1551*(-64*w - 448)>, <-24, 1/46629*(-68*w + 45985)>, <-18, 1/249*(-16*w + 185)>, <-12, 1/522*(-13*w + 301)>, <-6, 1/44109*(-1408*w + 31360)>, <-6, 1/11*(-w + 12)>, <-12, 1/237*(-2*w + 233)>, <-12, 1/19339*(-300*w + 1864)>, <-12, 1/117*(-8*w - 8)>, <-6, 1/54*(-w + 35)>, <-12, 1/56*(-3*w + 71)>, <-12, 1/43*(-3*w + 15)>, <-12, 1/1206*(-11*w + 143)>, <-6, 1/66981*(-1690*w + 35321)>, <-12, 1/28193*(-336*w + 26096)>, <-12, -1/3*w>, <-12, 1/50049*(-340*w + 53669)>, <-12, 1/17*(-w + 13)>, <-12, 1/64*(-13*w + 233)>, <-12, -13/233*w>, <-12, 1/79893*(-578*w + 81209)>, <-6, 1/79*(-25*w + 129)>, <-12, 1/42233*(-330*w + 38295)>, <-12, 1/377*(-5*w + 437)>, <-12, 1/15871*(-270*w + 16146)>, <-12, 1/6*(-w + 11)>, <-12, 1/30057*(-520*w + 24232)>, <-6, 1/121*(-16*w + 185)>, <-12, 1/52569*(-608*w + 57209)>, <-12, 1/19*(-w + 11)>, <-36, 1/233*(-8*w + 233)>, <-6, 1/88209*(-2704*w + 59648)>, <-36, 1/24*(-5*w + 59)>, <-12, 1/237*(-2*w + 241)>, <-12, 1/2739*(-100*w + 1064)>, <-12, 1/46953*(-374*w + 43367)>, <-12, 1/38961*(-1408*w + 28544)>, <-12, 1/128*(-w + 10)>, <-12, 1/819*(-128*w + 947)>, <-12, 1/2193*(-44*w + 2413)>, <-12, 1/1221*(-50*w + 796)>, <-12, 1/6*(-w - 4)>, <-12, 1/3*(-w + 7)>, <-12, 1/141*(-40*w - 280)>, <-12, 1/4304*(-77*w + 4766)>, <-24, 1/333*(-16*w + 173)>, <-12, 1/80*(-w + 1)>, <-12, 1/2773*(-15*w + 2643)>, <-12, 1/121*(-8*w + 145)>, <-6, 1/75*(-w - 4)>, <-12, 1/12*(-w + 13)>, <-12, 1/268*(-5*w - 65)>, <-6, 1/19881*(-350*w + 15281)>, <-12, 1/13*(-8*w - 72)>, <-16, 1/237*(-4*w + 245)>, <-12, 1/23134*(-825*w + 7909)>, <-12, 1/6786*(-55*w + 6126)>, <-12, 1/377*(-18*w + 216)>, <-12, 1/38313*(-832*w + 25961)>, <-12, 1/86*(-w - 5)>, <-12, 1/96*(-w + 5)>, <-6, 1/3*(-w + 10)>, <-6, 1/108*(-w + 7)>, <-12, 1/289*(-11*w + 223)>, <-12, 1/1665*(-289*w + 2890)>, <-12, 1/89577*(-1156*w + 4900)>, <-12, 1/128*(-w + 124)>, <-12, 1/903*(-128*w + 640)>, <-12, 1/32121*(-128*w - 263)>, <-12, 1/49*(-8*w - 40)>, <-24, 1/1591*(-30*w + 1225)>, <-12, 1/88218*(-3179*w + 70805)>, <-12, 1/8*(-w + 12)>, <-6, 1/88209*(-400*w + 83984)>, <-16, 1/767*(-10*w + 185)>, <-12, 1/17061*(-455*w + 7415)>, <-12, 1/269*(-128*w + 1037)>, <-12, 1/269*(-w + 6)>, <-12, 1/11*(-5*w + 61)>, <-6, 1/1221*(-2*w + 17)>, <-4, 1/2301*(-34*w + 2675)>, <-4, 1/221*(-4*w - 24)>, <-12, 1/44073*(-896*w + 35456)>, <-12, 1/256*(-w + 11)>, <-12, 1/1743*(-128*w + 1231)>, <-6, 1/78186*(-1445*w + 77741)>, <-12, 1/35*(-4*w - 32)>, <-12, 1/468*(-35*w + 503)>, <-12, 1/1884*(-49*w - 441)>, <-12, 1/297*(-5*w + 40)>, <-12, 1/272*(-5*w + 257)>, <-12, 1/5328*(-13*w - 130)>, <-1, 1/169*(-17*w + 203)>, <-1, 1/3081*(-68*w + 3893)>, <-1, 1/54273*(-338*w + 45539)>, <-1, 1/68*(-13*w + 263)>, <-1, 1/458*(-13*w + 263)>, <-1, 1/221*(-4*w + 229)>, <-12, 1/52*(-3*w - 21)>, <-12, 1/3216*(-7*w + 3125)>, <-12, 1/201*(-8*w + 104)>, <-12, 1/237*(-w + 235)>, <-12, 1/962*(-25*w + 287)>, <-16, 1/12*(-w + 2)>, <-12, 1/51*(-4*w - 16)>, <-12, 1/48*(-5*w - 15)>, <-12, 1/177*(-7*w + 100)>, <-12, 1/18997*(-510*w + 10242)>, <-12, 1/233*(-w + 233)>, <-12, 1/858*(-25*w + 233)>, <-12, 1/7*(-17*w - 163)>, <-12, 1/333*(-17*w - 170)>, <-4, 1/79*(-3*w - 6)>, <-4, 1/52*(-3*w + 85)>, <-4, 1/2183*(-18*w + 1041)>, <-4, 1/237*(-21*w + 595)>, <-4, 1/2923*(-84*w + 1432)>, <-12, 1/1005*(-2*w + 1031)>, <-12, 1/79*(-5*w + 69)>, <-12, 1/157*(-8*w + 229)>, <-12, -289/233*w>, <-12, 1/858*(-17*w + 425)>, <-12, 1/85*(-4*w - 28)>, <-4, 1/1443*(-56*w + 1855)>, <-4, 1/2183*(-24*w + 795)>, <-12, 1/85*(-4*w + 121)> ]