/* Defining polynomial */
x^2 - x + 289
/* GCD of coefficients */
2
/* 24 * |disc|^(3/2) /(8*pi^2)* zeta_F(2) */
15729.0533923410203760165585297
/* Belt */
[
<192, 1/379*(19*w + 171)>,
<24, 1/6069*(110*w + 3179)>,
<24, 1/209*(10*w + 289)>,
<12, 1/97*(2*w + 99)>,
<12, 1/138*(17*w + 257)>,
<24, 1/361*(2*w - 18)>,
<576, 1/19*(w + 8)>,
<24, 1/361*(2*w + 377)>,
<156, 1/17*(w + 8)>,
<504, 1/23*(w + 7)>,
<30, 1/301*(15*w + 241)>,
<6, 1/18103*(420*w + 10935)>,
<148, 1/7*(w + 3)>,
<136, 1/103*(3*w + 88)>,
<36, 1/97*(3*w - 6)>,
<12, 1/1843*(30*w + 813)>,
<24, 1/109531*(2090*w + 49130)>,
<24, 1/3450*(209*w + 4913)>,
<12, 1/170*(11*w + 269)>,
<48, 1/291*(11*w + 11)>,
<48, 1/289*(9*w + 280)>,
<36, 1/361*(8*w + 64)>,
<84, 1/295*(11*w + 262)>,
<24, 1/361*(6*w + 48)>,
<12, 1/138945*(3971*w + 114437)>,
<12, 1/361*(6*w + 78)>,
<12, 1/2950*(361*w + 1867)>,
<12, 1/345*(8*w + 401)>,
<12, 1/18*(19*w + 189)>,
<48, 1/6*(w + 4)>,
<12, 1/618*(85*w - 425)>,
<84, 1/97*(3*w + 3)>,
<12, 1/70*(3*w + 91)>,
<12, 1/7613*(126*w + 2097)>,
<48, 1/14*(w + 6)>,
<16, 1/14*(3*w + 50)>,
<36, 1/59*(3*w + 6)>,
<244, 1/11*(w + 5)>,
<36, 1/8717*(102*w + 7361)>,
<132, 1/345*(17*w + 209)>,
<84, 1/361*(15*w + 226)>,
<12, 1/2*(w + 8)>,
<12, 1/99*(14*w + 253)>,
<54, 1/295*(14*w + 28)>,
<12, 1/361*(3*w + 9)>,
<12, 1/99631*(3610*w + 94221)>,
<12, 1/1986*(361*w - 541)>,
<30, 1/291*(11*w + 302)>,
<12, 1/178*(15*w + 358)>,
<36, 1/89*(4*w + 48)>,
<30, 1/11*(w + 12)>,
<12, 1/979*(34*w - 442)>,
<24, 1/1869*(16*w + 1661)>,
<24, 1/445*(21*w + 252)>,
<24, 1/5605*(78*w + 1536)>,
<40, 1/13*(w + 2)>,
<96, 1/69*(2*w + 53)>,
<60, 1/14*(w + 3)>,
<12, 1/817*(10*w + 175)>,
<12, 1/39037*(1050*w + 17925)>,
<96, 1/59*(2*w + 53)>,
<36, 1/345*(8*w + 281)>,
<22, 1/289*(15*w + 289)>,
<136, 1/331*(13*w + 240)>,
<84, 1/361*(15*w + 120)>,
<60, 1/291*(7*w + 7)>,
<24, 1/95659*(1729*w + 24276)>,
<60, 1/9*(w + 2)>,
<12, 1/106495*(2156*w + 51352)>,
<60, 1/319*(7*w + 35)>,
<24, 1/95659*(1729*w + 69654)>,
<24, 1/129495*(3094*w + 68278)>,
<12, 1/11*(4*w - 41)>,
<36, 1/89*(4*w + 37)>,
<24, 1/28*(5*w + 78)>,
<120, 1/103*(5*w + 20)>,
<40, 1/19*(w + 12)>,
<20, 1/147295*(1596*w + 16632)>,
<48, 1/14*(w + 8)>,
<12, 1/10469*(210*w + 3525)>,
<76, 1/319*(15*w + 229)>,
<16, 1/10991*(210*w + 7575)>,
<24, 1/129495*(3094*w + 58123)>,
<54, 1/421*(14*w + 154)>,
<6, 1/225*(14*w + 253)>,
<100, 1/5*(w + 2)>,
<24, 1/32*(3*w + 50)>,
<28, 1/1691*(6*w + 72)>,
<24, 1/993*(32*w + 1185)>,
<120, 1/103*(5*w + 78)>,
<12, 1/291*(10*w + 271)>,
<36, 1/361*(7*w + 56)>,
<120, 1/345*(13*w + 241)>,
<24, 1/94105*(1976*w + 25192)>,
<24, 1/94105*(1976*w + 66937)>,
<120, 1/345*(13*w + 91)>,
<12, 1/44*(3*w + 50)>,
<36, 1/89*(3*w + 36)>,
<12, 1/109531*(3249*w + 104329)>,
<12, 1/2*(w + 9)>,
<36, 1/345*(8*w + 56)>,
<132, 1/379*(17*w + 209)>,
<14, 1/319*(18*w + 211)>,
<6, 1/12905*(198*w + 10386)>,
<24, 1/2185*(24*w - 192)>,
<24, 1/72*(19*w - 152)>,
<24, 1/91*(15*w + 241)>,
<24, 1/91*(15*w - 165)>,
<12, 1/1157*(24*w + 1445)>,
<28, 1/289*(13*w + 276)>,
<36, 1/291*(7*w - 14)>,
<24, 1/247*(8*w + 311)>,
<24, 1/152*(13*w + 256)>,
<24, 1/6951*(68*w + 6035)>,
<24, 1/323*(4*w + 355)>,
<24, 1/322*(11*w + 399)>,
<24, 1/8633*(154*w + 5586)>,
<12, 1/551*(10*w + 601)>,
<24, 1/471*(19*w + 205)>,
<36, 1/10*(w + 5)>,
<12, 1/290*(19*w - 114)>,
<84, 1/13*(w + 8)>,
<60, 1/14*(w + 10)>,
<88, 1/309*(11*w + 254)>,
<24, 1/88*(17*w - 153)>,
<12, 1/130321*(1224*w + 114121)>,
<48, 1/301*(8*w + 24)>,
<48, 1/301*(8*w + 269)>,
<32, 1/437*(4*w + 465)>,
<100, 1/421*(19*w + 193)>,
<24, 1/1957*(34*w + 36)>,
<24, 1/119*(2*w + 6)>,
<48, 1/14*(w + 7)>,
<16, 1/421*(23*w + 145)>,
<8, 1/108*(23*w - 168)>,
<8, 1/177241*(2484*w - 18144)>,
<48, 1/421*(13*w + 143)>,
<24, 1/252*(13*w + 265)>,
<36, 1/8717*(102*w + 1254)>,
<24, 1/99631*(2210*w + 39740)>,
<24, 1/559*(30*w + 649)>,
<84, 1/379*(13*w + 249)>,
<24, 1/3090*(221*w + 3974)>,
<12, 1/114079*(1734*w + 20154)>,
<12, 1/2*(w + 5)>,
<24, 1/98*(17*w - 136)>,
<24, 1/51*(2*w - 14)>,
<24, 1/5251*(102*w + 1936)>,
<24, 1/98*(17*w + 217)>,
<12, 1/4631*(168*w + 6479)>,
<48, 1/289*(11*w + 289)>,
<12, 1/5491*(88*w + 3179)>,
<48, 1/399*(11*w + 278)>,
<24, 1/114079*(2223*w + 42579)>,
<24, 1/114079*(2223*w + 69277)>,
<12, 1/2317*(240*w - 1680)>,
<24, 1/7*(w + 6)>,
<48, 1/5*(w - 3)>,
<12, 1/295*(64*w + 128)>,
<24, 1/247*(7*w - 49)>,
<24, 1/247*(7*w + 289)>,
<12, 1/361*(7*w + 354)>,
<12, 1/2670*(361*w + 4332)>,
<12, 1/128605*(4332*w + 19944)>,
<24, 1/5251*(78*w + 1300)>,
<76, 1/345*(16*w + 217)>,
<12, 1/8303*(112*w + 6672)>,
<88, 1/331*(11*w + 254)>,
<84, 1/361*(11*w + 262)>,
<24, 1/137505*(1496*w + 116297)>,
<52, 1/301*(9*w + 265)>,
<12, 1/1595*(256*w + 2875)>,
<12, 1/6061*(48*w + 5344)>,
<48, 1/399*(16*w + 223)>,
<24, 1/1083*(26*w - 234)>,
<24, 1/379*(10*w + 90)>,
<12, 1/169*(21*w + 169)>,
<24, 1/12*w>,
<84, 1/13*(w + 4)>,
<48, 1/421*(18*w + 198)>,
<12, 1/169*(9*w - 108)>,
<48, 1/16*(w + 5)>,
<24, 1/2231*(51*w + 1547)>,
<60, 1/3*(w + 1)>,
<24, 1/177*(17*w - 51)>,
<84, 1/9*(w + 1)>,
<36, 1/7*(w + 10)>,
<12, 1/133*(12*w - 132)>,
<6, 1/43165*(1188*w + 32616)>,
<24, 1/323*(7*w + 337)>,
<24, 1/4*(w + 6)>,
<6, 1/130321*(3825*w + 79696)>,
<24, 1/291*(4*w + 4)>,
<24, 1/130089*(2261*w + 108851)>,
<24, 1/4*(w - 3)>,
<24, 1/291*(4*w + 283)>,
<28, 1/291*(5*w + 281)>,
<24, 1/125449*(1456*w + 19929)>,
<24, 1/721*(90*w - 450)>,
<100, 1/345*(19*w + 193)>,
<24, 1/35017*(630*w + 26820)>,
<28, 1/291*(5*w + 5)>,
<24, 1/125449*(1456*w + 104064)>,
<60, 1/295*(9*w + 18)>,
<24, 1/3190*(221*w - 1326)>,
<36, 1/12*(w + 5)>,
<12, 1/6*(w - 6)>,
<12, 1/361*(10*w + 301)>,
<24, 1/105051*(2210*w + 59891)>,
<36, 1/331*(12*w + 247)>,
<48, 1/309*(17*w + 224)>,
<40, 1/301*(16*w + 237)>,
<16, 1/301*(5*w + 316)>,
<4, 1/160645*(5376*w + 111237)>,
<4, 1/5776*(105*w + 6636)>,
<4, 1/32129*(256*w + 26576)>,
<8, 1/9*(w - 4)>,
<16, 1/45*(16*w + 237)>,
<40, 1/445*(16*w + 237)>,
<8, 1/301*(9*w - 36)>,
<32, 1/253*(12*w + 337)>,
<76, 1/301*(11*w + 257)>,
<8, 1/89*(w + 12)>,
<4, 1/6923*(240*w + 6740)>,
<4, 1/1780*(9*w + 1443)>,
<32, 1/6923*(132*w + 3707)>,
<16, 1/140*(13*w - 117)>,
<12, 1/150*(13*w + 241)>,
<24, 1/679*(12*w + 400)>,
<24, 1/679*(12*w + 267)>,
<12, 1/130321*(1224*w + 14976)>,
<24, 1/1236*(323*w - 1615)>,
<24, 1/1236*(323*w + 2528)>,
<76, 1/319*(15*w + 75)>,
<48, 1/445*(17*w + 224)>,
<12, 1/1648*(55*w + 1868)>,
<12, 1/421*(16*w + 229)>,
<24, 1/27*(2*w - 10)>,
<24, 1/817*(18*w + 484)>,
<20, 1/289*(10*w + 289)>,
<4, 1/4788*(169*w + 6478)>,
<4, 1/399*(23*w + 230)>,
<4, 1/3757*(276*w + 3757)>,
<28, 13/289*w>,
<4, 1/115311*(2990*w + 86411)>,
<20, 1/399*(10*w + 289)>,
<52, 1/9*(w + 5)>,
<24, 1/301*(12*w + 253)>,
<12, 1/361*(289*w + 2673)>,
<24, 1/240*(11*w + 262)>,
<24, 1/291*(4*w + 295)>,
<76, 1/11*(w + 7)>,
<24, 1/291*(4*w - 8)>,
<12, 1/315*(8*w + 299)>,
<36, 1/379*(8*w + 72)>,
<12, 1/357*(8*w + 24)>,
<12, 1/301*(8*w - 32)>,
<28, 1/145245*(304*w + 148333)>,
<24, 1/134299*(510*w + 127279)>,
<76, 1/421*(17*w + 217)>,
<12, 1/9*(w + 13)>,
<12, 1/1413*(76*w - 1064)>,
<4, 1/18*(w + 23)>,
<12, 1/30943*(630*w + 5383)>,
<24, 1/157*(7*w + 59)>,
<24, 1/32*(7*w - 66)>,
<24, 1/40837*(585*w + 28327)>,
<24, 1/52*(5*w + 87)>,
<24, 1/361*(3*w + 385)>,
<24, 1/361*(3*w - 27)>,
<24, 1/15229*(260*w + 4524)>,
<24, 1/135*(13*w - 143)>,
<12, 1/45373*(520*w + 33293)>,
<24, 1/471*(13*w + 289)>,
<24, 1/3610*(221*w + 5378)>,
<24, 1/3610*(221*w - 1989)>,
<8, 1/7220*(21*w + 7388)>,
<40, 1/421*(20*w + 181)>,
<4, 1/6180*(91*w + 1708)>,
<4, 1/177241*(780*w + 159040)>,
<4, 1/111549*(5200*w + 97600)>,
<4, 1/2527*(400*w - 1073)>,
<16, 1/4693*(140*w - 1260)>,
<48, 1/11*(w + 1)>,
<60, 1/331*(16*w + 96)>,
<60, 1/16*(w + 6)>,
<24, 1/2231*(38*w + 312)>,
<24, 1/38*(5*w + 78)>,
<24, 1/118*(19*w + 156)>,
<24, 1/721*(10*w + 156)>,
<24, 1/7847*(143*w + 4888)>,
<24, 1/299*(11*w + 376)>,
<4, 1/36*(w + 39)>,
<20, 1/309*(19*w + 76)>,
<4, 1/309*(10*w - 50)>,
<4, 1/3090*(209*w + 7916)>,
<4, 1/100*(11*w + 254)>,
<4, 1/6489*(110*w + 2540)>,
<4, 1/165169*(2100*w + 18400)>,
<24, 1/361*(4*w - 36)>,
<36, 1/97*(3*w + 100)>,
<24, 1/19135*(176*w + 2607)>,
<48, 1/8*(w + 6)>,
<24, 1/379*(12*w + 259)>,
<128, 1/331*(17*w + 212)>,
<36, 1/57*(w + 10)>,
<4, 1/162*(13*w + 240)>,
<12, 1/6498*(55*w + 6938)>,
<60, 1/379*(18*w + 199)>,
<12, 1/485*(102*w + 102)>,
<28, 1/5*(w - 2)>,
<12, 1/348*(17*w + 433)>,
<24, 1/379*(9*w + 289)>,
<24, 1/10*(w + 9)>,
<128, 1/331*(17*w + 102)>,
<16, 1/110*(17*w - 119)>,
<12, 1/301*(6*w + 277)>,
<12, 1/85845*(289*w + 1168)>,
<12, 1/2*(w + 3)>,
<12, 1/20*(17*w + 224)>,
<76, 1/421*(17*w + 187)>,
<24, 1/30*(17*w - 204)>,
<12, 1/1003*(42*w - 126)>,
<12, 1/17*(w + 2)>,
<12, 1/14835*(352*w + 6259)>,
<48, 1/379*(14*w + 126)>,
<12, 1/1133*(70*w + 1413)>,
<48, 1/14*(w + 9)>,
<12, 1/161*(16*w + 273)>,
<36, 1/289*(7*w + 289)>,
<12, 1/3411*(208*w - 2080)>,
<4, 1/32129*(105*w + 31164)>,
<4, 1/7921*(64*w + 1213)>,
<4, 1/1805*(336*w + 4557)>,
<4, 1/24909*(80*w + 1085)>,
<24, 1/289*(6*w + 289)>,
<16, 1/5*(w + 11)>,
<12, 1/361*(12*w + 72)>,
<24, 1/57*(w + 61)>,
<28, 1/5*(w + 6)>,
<12, 1/2317*(256*w - 1792)>,
<24, 1/77*(16*w + 237)>,
<24, 1/445*(4*w + 48)>,
<24, 1/57*(w - 5)>,
<24, 1/379*(12*w + 108)>,
<48, 1/331*(8*w + 48)>,
<48, 1/1655*(48*w - 336)>,
<24, 1/957*(85*w - 510)>,
<12, 1/34093*(528*w + 21373)>,
<12, 1/230*(13*w + 321)>,
<4, 1/35511*(460*w + 32131)>,
<4, 1/3990*(299*w + 5888)>,
<4, 1/35511*(260*w + 17090)>,
<4, 1/39*(2*w + 63)>,
<12, 1/89*(2*w + 63)>,
<24, 1/3*(w - 2)>,
<24, 1/97*(w - 2)>,
<24, 1/1236*(85*w + 1576)>,
<24, 1/301*(17*w + 51)>,
<12, 1/12*(17*w + 233)>,
<12, 1/1164*(85*w + 1249)>,
<36, 1/133*(4*w + 89)>,
<24, 1/85*(4*w + 101)>,
<48, 1/13699*(240*w + 3744)>,
<24, 1/12901*(255*w + 8500)>,
<24, 1/1133*(78*w + 1445)>,
<12, 1/2185*(6*w + 2112)>,
<72, 1/133*(6*w + 67)>,
<12, 1/36763*(1188*w + 29052)>,
<12, 1/108*(w + 9)>,
<12, 1/485*(108*w + 593)>,
<24, 1/38437*(858*w + 15895)>,
<64, 1/309*(7*w + 274)>,
<24, 1/247*(11*w - 33)>,
<12, 1/119491*(2040*w + 86715)>,
<36, 1/379*(8*w + 299)>,
<64, 1/295*(7*w + 274)>,
<24, 1/247*(11*w + 269)>,
<24, 1/108661*(1530*w + 96696)>,
<60, 1/18*(w + 8)>,
<24, 1/108661*(1530*w + 10435)>,
<84, 1/13*(w + 3)>,
<24, 1/2619*(304*w + 2923)>,
<24, 1/11155*(228*w + 4011)>,
<48, 1/14*(w + 5)>,
<24, 1/2619*(304*w - 608)>,
<24, 1/11155*(228*w + 6916)>,
<24, 1/128605*(2912*w + 63869)>,
<4, 1/20*(w + 5)>,
<4, 1/81*(20*w + 280)>,
<8, 1/580*(9*w - 54)>,
<8, 1/180*(11*w + 334)>,
<8, 1/99*(20*w - 120)>,
<8, 1/499*(11*w + 334)>,
<4, 1/261*(20*w - 120)>,
<12, 1/132*(13*w - 130)>,
<12, 1/117111*(2366*w + 40391)>,
<36, 1/309*(10*w + 259)>,
<8, 1/12513*(190*w + 1645)>,
<4, 1/529*(12*w + 337)>,
<4, 1/301*(19*w + 57)>,
<4, 1/12943*(456*w + 16891)>,
<4, 1/817*(38*w + 329)>,
<8, 1/215*(38*w + 329)>,
<24, 1/304*(5*w + 329)>,
<12, 1/75*(16*w - 160)>,
<24, 1/1595*(304*w + 3115)>,
<24, 1/4017*(224*w + 4913)>,
<30, 1/421*(15*w + 241)>,
<12, 1/86989*(768*w + 12237)>,
<48, 1/11*(w + 11)>,
<24, 1/187*(13*w - 91)>,
<24, 1/97*(5*w + 87)>,
<24, 1/129*(2*w + 92)>,
<12, 1/387*(34*w + 489)>,
<24, 1/129*(2*w + 35)>,
<12, 1/471*(16*w + 208)>,
<12, 1/39*(16*w - 224)>,
<4, 1/260*(7*w + 274)>,
<4, 1/18231*(676*w - 7397)>,
<4, 1/6877*(91*w - 2338)>,
<8, 1/295*(18*w + 241)>,
<4, 1/156055*(1638*w + 113971)>,
<8, 1/529*(18*w + 241)>,
<4, 1/13*(w + 15)>,
<24, 1/758*(17*w + 911)>,
<24, 1/17*(2*w + 35)>,
<24, 1/97*(5*w + 5)>,
<24, 1/187*(13*w + 265)>,
<12, 1/121*(14*w - 126)>,
<24, 1/136*(15*w + 241)>,
<24, 1/47257*(935*w + 33507)>,
<12, 1/21*(w + 11)>,
<12, 1/134299*(1088*w + 13888)>,
<24, 1/47257*(935*w + 12815)>,
<24, 1/5175*(136*w + 6127)>,
<4, 1/10609*(228*w + 6688)>,
<14, 1/319*(18*w + 90)>,
<4, 1/49*(15*w + 229)>,
<4, 1/319*(7*w - 42)>,
<4, 1/39605*(378*w + 30330)>,
<4, 1/203*(14*w - 519)>,
<16, 1/10991*(210*w + 3206)>,
<24, 1/3297*(32*w + 2849)>,
<24, 1/157*(7*w + 91)>,
<36, 1/133*(4*w + 40)>,
<12, 1/529*(17*w + 255)>,
<12, 1/240*(17*w + 257)>,
<12, 1/151981*(780*w + 159040)>,
<12, 1/4*(w + 8)>,
<24, 1/280*(9*w - 18)>,
<24, 1/2619*(280*w - 560)>,
<12, 1/115159*(1134*w + 94990)>,
<48, 1/6*(w + 1)>,
<24, 1/12901*(300*w + 2601)>,
<24, 1/33*(5*w + 78)>,
<24, 1/867*(100*w + 867)>,
<24, 1/13699*(165*w + 2574)>,
<72, 1/133*(6*w + 60)>,
<4, 1/301*(10*w + 261)>,
<4, 1/5958*(121*w + 6684)>,
<4, 1/331*(21*w + 126)>,
<4, 1/110*(21*w - 205)>,
<8, 1/180*(11*w - 165)>,
<4, 1/121*(10*w - 150)>,
<4, 1/301*(18*w + 229)>,
<8, 1/11*(w - 4)>,
<48, 1/379*(20*w + 179)>,
<24, 1/1463*(64*w + 2103)>,
<24, 1/65*(4*w + 89)>,
<24, 1/39235*(884*w + 20943)>,
<24, 1/42*(17*w + 212)>,
<4, 1/96321*(1330*w + 16255)>,
<4, 1/445*(14*w + 263)>,
<4, 1/95*(14*w + 263)>,
<28, 1/30*(19*w + 228)>,
<20, 1/6289*(84*w - 588)>,
<40, 1/445*(19*w + 228)>,
<4, 1/139351*(450*w + 133776)>,
<8, 1/22*(w + 10)>,
<4, 1/139351*(1980*w - 5585)>,
<16, 1/5*(w - 7)>,
<16, 1/110*(17*w + 212)>,
<12, 1/291*(w + 289)>,
<12, 1/2*(w + 1)>,
<12, 1/91155*(578*w + 4166)>,
<12, 1/3*(w + 5)>,
<24, 1/289*(15*w + 274)>,
<12, 1/499*(14*w + 196)>,
<12, 1/20253*(442*w + 13753)>,
<24, 1/301*(17*w + 233)>,
<24, 1/56*(17*w - 170)>,
<12, 1/104329*(1872*w + 58240)>,
<48, 1/20*(w + 10)>,
<84, 1/115*(4*w + 28)>,
<24, 1/1463*(64*w - 704)>,
<84, 1/115*(4*w + 83)>,
<24, 1/204*(13*w - 65)>,
<24, 1/65*(4*w - 28)>,
<12, 1/2369*(44*w + 1412)>,
<4, 1/3481*(54*w + 3024)>,
<24, 1/319*(102*w + 829)>,
<24, 1/102*(w + 107)>,
<12, 1/16171*(30*w - 395)>,
<36, 1/103*(6*w + 73)>,
<12, 1/24839*(612*w + 21284)>,
<12, 1/9*(w + 11)>,
<24, 1/121669*(2574*w + 51469)>,
<24, 1/3509*(234*w + 4679)>,
<12, 1/108*(w + 107)>,
<48, 1/5*w>,
<24, 1/111805*(2261*w + 99807)>,
<24, 1/6443*(56*w - 560)>,
<24, 1/323*(7*w + 309)>,
<24, 1/2107*(288*w + 2971)>,
<24, 1/288*(7*w + 309)>,
<48, 1/291*(13*w + 13)>,
<24, 1/224*(13*w - 78)>,
<48, 1/309*(5*w + 284)>,
<12, 1/4140*(169*w + 5323)>,
<76, 1/345*(16*w + 112)>,
<16, 1/493*(12*w + 553)>,
<24, 1/361*(12*w + 253)>,
<16, 1/5*(w + 8)>,
<24, 1/224*(13*w + 289)>,
<24, 1/3*w>,
<12, 1/115311*(2816*w + 71168)>,
<40, 1/295*(13*w + 26)>,
<48, 1/331*(18*w + 108)>,
<24, 1/46315*(1122*w + 12859)>,
<24, 1/319*(19*w + 205)>,
<12, 1/50083*(266*w - 3136)>,
<24, 1/2274*(13*w + 2391)>,
<24, 1/15295*(78*w + 14346)>,
<24, 1/380*(w + 10)>,
<24, 1/306*(11*w - 22)>,
<36, 1/18*(w + 13)>,
<12, 1/319*(8*w + 271)>,
<12, 1/472*(51*w + 574)>,
<4, 1/295*(7*w + 309)>,
<4, 1/22361*(462*w + 1505)>,
<4, 1/1958*(45*w + 1163)>,
<4, 1/413*(45*w + 1163)>,
<12, 1/10*(w - 3)>,
<24, 1/285*(4*w + 325)>,
<12, 1/289*w>,
<20, 1/529*(16*w + 240)>,
<24, 1/195*(16*w - 80)>,
<24, 1/48403*(1040*w + 30528)>,
<12, 1/52*(19*w - 233)>,
<12, 1/280*(9*w + 280)>,
<48, 1/289*(11*w + 278)>,
<40, 1/361*(20*w + 181)>,
<12, 1/5052*(121*w + 6383)>,
<24, 1/192*(11*w + 269)>,
<24, 1/187*(12*w + 259)>,
<24, 1/289*(7*w + 282)>,
<8, 1/5*(w + 10)>,
<4, 1/11571*(170*w + 11696)>,
<8, 1/399*(22*w + 220)>,
<4, 1/134299*(1734*w + 100861)>,
<8, 1/399*(5*w + 50)>,
<24, 1/12*(w + 11)>,
<12, 1/295*(2*w + 289)>,
<24, 1/3*(w + 2)>,
<12, 1/289*(14*w + 275)>,
<24, 1/471*(13*w + 169)>,
<12, 1/99631*(867*w + 9174)>,
<12, 1/4*(w + 7)>,
<24, 1/3972*(187*w + 5094)>,
<24, 1/1265*(64*w + 1713)>,
<48, 1/5*(w + 7)>,
<12, 1/115*(18*w - 144)>,
<12, 1/309*(w + 313)>,
<12, 1/515*(108*w - 540)>,
<12, 1/2233*(324*w + 1620)>,
<12, 1/324*(5*w + 289)>,
<12, 1/105589*(324*w + 289)>,
<24, 1/43363*(624*w + 8931)>,
<12, 1/37183*(832*w + 15616)>,
<24, 1/117*(16*w + 229)>,
<36, 1/319*(5*w + 25)>,
<12, 1/176*(13*w + 241)>,
<12, 1/464*(13*w + 529)>,
<36, 1/289*(5*w - 5)>,
<24, 1/96*(w + 98)>,
<12, 1/361*(3*w + 24)>,
<24, 1/380*(w + 369)>,
<24, 1/9991*(96*w + 9408)>,
<24, 1/255*(8*w - 64)>,
<24, 1/255*(8*w + 311)>,
<12, 1/236*(15*w + 266)>,
<16, 1/17*w>,
<8, 1/289*(16*w - 16)>,
<8, 1/16*(w - 1)>,
<24, 1/15*(w + 14)>,
<12, 1/7485*(64*w - 960)>,
<12, 1/121669*(3300*w + 31669)>,
<24, 1/153*(13*w + 244)>,
<12, 1/289*(6*w + 283)>,
<12, 1/12*(w + 12)>,
<12, 1/301*(3*w + 289)>,
<16, 1/4*(w + 3)>,
<24, 1/1495*(51*w + 1852)>,
<12, 1/1751*(52*w + 1959)>,
<12, 1/3059*(30*w + 2694)>,
<12, 1/7578*(7*w - 84)>,
<24, 1/43363*(672*w + 10339)>,
<24, 1/805*(96*w + 1477)>,
<24, 1/6699*(80*w + 5504)>,
<24, 1/6699*(80*w + 1115)>,
<24, 1/115*(w + 7)>,
<24, 1/103*(w - 5)>,
<4, 1/152881*(960*w + 18496)>,
<4, 1/7935*(60*w + 9091)>,
<20, 16/289*w>,
<4, 1/10051*(225*w + 4335)>,
<4, 1/1156*(285*w + 1156)>,
<12, 1/309*(4*w + 16)>,
<24, 1/805*(6*w + 732)>,
<24, 1/805*(6*w + 67)>,
<4, 1/6923*(76*w + 5947)>,
<4, 1/361*(15*w + 241)>,
<4, 1/361*(4*w + 313)>,
<4, 1/6315*(76*w + 7151)>,
<32, 1/437*(4*w - 32)>,
<12, 1/309*(5*w + 329)>,
<12, 1/1516*(289*w + 4117)>,
<12, w + 8>,
<12, 1/379*(w + 9)>,
<12, 1/143641*(342*w + 3402)>,
<-12, 1/97*(-2*w + 101)>,
<-12, 1/138*(-17*w + 274)>,
<-6, 1/18103*(-420*w + 11355)>,
<-12, 1/1843*(-30*w + 843)>,
<-12, 1/170*(-11*w + 280)>,
<-48, 1/289*(-9*w + 289)>,
<-36, 1/361*(-8*w + 72)>,
<-24, 1/361*(-6*w + 54)>,
<-12, 1/138945*(-3971*w + 118408)>,
<-12, 1/361*(-6*w + 84)>,
<-12, 1/2950*(-361*w + 2228)>,
<-12, 1/345*(-8*w + 409)>,
<-12, 1/618*(-85*w - 340)>,
<-12, 1/70*(-3*w + 94)>,
<-12, 1/7613*(-126*w + 2223)>,
<-16, 1/14*(-3*w + 53)>,
<-12, 1/2*(-w + 9)>,
<-12, 1/99*(-14*w + 267)>,
<-12, 1/361*(-3*w + 12)>,
<-12, 1/99631*(-3610*w + 97831)>,
<-12, 1/1986*(-361*w - 180)>,
<-12, 1/178*(-15*w + 373)>,
<-12, 1/979*(-34*w - 408)>,
<-24, 1/1869*(-16*w + 1677)>,
<-24, 1/445*(-21*w + 273)>,
<-24, 1/5605*(-78*w + 1614)>,
<-12, 1/817*(-10*w + 185)>,
<-12, 1/39037*(-1050*w + 18975)>,
<-22, 1/289*(-15*w + 304)>,
<-12, 1/106495*(-2156*w + 53508)>,
<-12, 1/11*(-4*w - 37)>,
<-12, 1/10469*(-210*w + 3735)>,
<-6, 1/225*(-14*w + 267)>,
<-12, 1/291*(-10*w + 281)>,
<-12, 1/44*(-3*w + 53)>,
<-12, 1/109531*(-3249*w + 107578)>,
<-12, 1/2*(-w + 10)>,
<-6, 1/12905*(-198*w + 10584)>,
<-12, 1/1157*(-24*w + 1469)>,
<-12, 1/551*(-10*w + 611)>,
<-12, 1/290*(-19*w - 95)>,
<-24, 1/252*(-13*w + 278)>,
<-24, 1/559*(-30*w + 679)>,
<-12, 1/114079*(-1734*w + 21888)>,
<-12, 1/2*(-w + 6)>,
<-12, 1/4631*(-168*w + 6647)>,
<-12, 1/5491*(-88*w + 3267)>,
<-12, 1/2317*(-240*w - 1440)>,
<-12, 1/295*(-64*w + 192)>,
<-12, 1/361*(-7*w + 361)>,
<-12, 1/2670*(-361*w + 4693)>,
<-12, 1/128605*(-4332*w + 24276)>,
<-12, 1/8303*(-112*w + 6784)>,
<-12, 1/1595*(-256*w + 3131)>,
<-12, 1/6061*(-48*w + 5392)>,
<-12, 1/169*(-21*w + 190)>,
<-12, 1/169*(-9*w - 99)>,
<-12, 1/133*(-12*w - 120)>,
<-6, 1/43165*(-1188*w + 33804)>,
<-6, 1/130321*(-3825*w + 83521)>,
<-12, 1/6*(-w - 5)>,
<-12, 1/361*(-10*w + 311)>,
<-4, 1/160645*(-5376*w + 116613)>,
<-4, 1/5776*(-105*w + 6741)>,
<-4, 1/32129*(-256*w + 26832)>,
<-16, 1/45*(-16*w + 253)>,
<-8, 1/89*(-w + 13)>,
<-4, 1/6923*(-240*w + 6980)>,
<-4, 1/1780*(-9*w + 1452)>,
<-12, 1/150*(-13*w + 254)>,
<-12, 1/1648*(-55*w + 1923)>,
<-12, 1/421*(-16*w + 245)>,
<-4, 1/4788*(-169*w + 6647)>,
<-4, 1/399*(-23*w + 253)>,
<-4, 1/3757*(-276*w + 4033)>,
<-4, 1/115311*(-2990*w + 89401)>,
<-12, 1/361*(-289*w + 2962)>,
<-24, 1/240*(-11*w + 273)>,
<-12, 1/315*(-8*w + 307)>,
<-12, 1/357*(-8*w + 32)>,
<-12, 1/301*(-8*w - 24)>,
<-28, 1/145245*(-304*w + 148637)>,
<-12, 1/9*(-w + 14)>,
<-12, 1/1413*(-76*w - 988)>,
<-4, 1/18*(-w + 24)>,
<-12, 1/30943*(-630*w + 6013)>,
<-12, 1/45373*(-520*w + 33813)>,
<-8, 1/7220*(-21*w + 7409)>,
<-4, 1/6180*(-91*w + 1799)>,
<-4, 1/177241*(-780*w + 159820)>,
<-4, 1/111549*(-5200*w + 102800)>,
<-4, 1/2527*(-400*w - 673)>,
<-4, 1/36*(-w + 40)>,
<-20, 1/309*(-19*w + 95)>,
<-4, 1/309*(-10*w - 40)>,
<-4, 1/3090*(-209*w + 8125)>,
<-4, 1/100*(-11*w + 265)>,
<-4, 1/6489*(-110*w + 2650)>,
<-4, 1/165169*(-2100*w + 20500)>,
<-4, 1/162*(-13*w + 253)>,
<-12, 1/6498*(-55*w + 6993)>,
<-12, 1/485*(-102*w + 204)>,
<-12, 1/348*(-17*w + 450)>,
<-24, 1/379*(-9*w + 298)>,
<-12, 1/301*(-6*w + 283)>,
<-12, 1/85845*(-289*w + 1457)>,
<-12, 1/2*(-w + 4)>,
<-12, 1/20*(-17*w + 241)>,
<-12, 1/1003*(-42*w - 84)>,
<-12, 1/17*(-w + 3)>,
<-12, 1/14835*(-352*w + 6611)>,
<-12, 1/1133*(-70*w + 1483)>,
<-12, 1/161*(-16*w + 289)>,
<-36, 1/289*(-7*w + 296)>,
<-12, 1/3411*(-208*w - 1872)>,
<-4, 1/32129*(-105*w + 31269)>,
<-4, 1/7921*(-64*w + 1277)>,
<-4, 1/1805*(-336*w + 4893)>,
<-4, 1/24909*(-80*w + 1165)>,
<-24, 1/289*(-6*w + 295)>,
<-12, 1/361*(-12*w + 84)>,
<-12, 1/2317*(-256*w - 1536)>,
<-12, 1/34093*(-528*w + 21901)>,
<-12, 1/230*(-13*w + 334)>,
<-4, 1/35511*(-460*w + 32591)>,
<-4, 1/3990*(-299*w + 6187)>,
<-4, 1/35511*(-260*w + 17350)>,
<-4, 1/39*(-2*w + 65)>,
<-12, 1/12*(-17*w + 250)>,
<-12, 1/1164*(-85*w + 1334)>,
<-12, 1/2185*(-6*w + 2118)>,
<-12, 1/36763*(-1188*w + 30240)>,
<-12, 1/108*(-w + 10)>,
<-12, 1/485*(-108*w + 701)>,
<-12, 1/119491*(-2040*w + 88755)>,
<-4, 1/20*(-w + 6)>,
<-4, 1/81*(-20*w + 300)>,
<-4, 1/261*(-20*w - 100)>,
<-12, 1/132*(-13*w - 117)>,
<-12, 1/117111*(-2366*w + 42757)>,
<-4, 1/529*(-12*w + 349)>,
<-4, 1/301*(-19*w + 76)>,
<-4, 1/12943*(-456*w + 17347)>,
<-4, 1/817*(-38*w + 367)>,
<-12, 1/75*(-16*w - 144)>,
<-12, 1/86989*(-768*w + 13005)>,
<-12, 1/387*(-34*w + 523)>,
<-12, 1/471*(-16*w + 224)>,
<-12, 1/39*(-16*w - 208)>,
<-4, 1/260*(-7*w + 281)>,
<-4, 1/18231*(-676*w - 6721)>,
<-4, 1/6877*(-91*w - 2247)>,
<-4, 1/156055*(-1638*w + 115609)>,
<-4, 1/13*(-w + 16)>,
<-12, 1/121*(-14*w - 112)>,
<-12, 1/21*(-w + 12)>,
<-12, 1/134299*(-1088*w + 14976)>,
<-4, 1/10609*(-228*w + 6916)>,
<-4, 1/49*(-15*w + 244)>,
<-4, 1/319*(-7*w - 35)>,
<-4, 1/39605*(-378*w + 30708)>,
<-4, 1/203*(-14*w - 505)>,
<-12, 1/529*(-17*w + 272)>,
<-12, 1/240*(-17*w + 274)>,
<-12, 1/151981*(-780*w + 159820)>,
<-12, 1/4*(-w + 9)>,
<-12, 1/115159*(-1134*w + 96124)>,
<-4, 1/301*(-10*w + 271)>,
<-4, 1/5958*(-121*w + 6805)>,
<-4, 1/331*(-21*w + 147)>,
<-4, 1/110*(-21*w - 184)>,
<-4, 1/121*(-10*w - 140)>,
<-4, 1/301*(-18*w + 247)>,
<-24, 1/42*(-17*w + 229)>,
<-4, 1/96321*(-1330*w + 17585)>,
<-4, 1/445*(-14*w + 277)>,
<-4, 1/95*(-14*w + 277)>,
<-4, 1/139351*(-450*w + 134226)>,
<-4, 1/139351*(-1980*w - 3605)>,
<-12, 1/291*(-w + 290)>,
<-12, 1/2*(-w + 2)>,
<-12, 1/91155*(-578*w + 4744)>,
<-12, 1/3*(-w + 6)>,
<-12, 1/499*(-14*w + 210)>,
<-12, 1/20253*(-442*w + 14195)>,
<-12, 1/104329*(-1872*w + 60112)>,
<-12, 1/2369*(-44*w + 1456)>,
<-4, 1/3481*(-54*w + 3078)>,
<-12, 1/16171*(-30*w - 365)>,
<-12, 1/24839*(-612*w + 21896)>,
<-12, 1/9*(-w + 12)>,
<-12, 1/108*(-w + 108)>,
<-12, 1/4140*(-169*w + 5492)>,
<-16, 1/493*(-12*w + 565)>,
<-12, 1/115311*(-2816*w + 73984)>,
<-12, 1/50083*(-266*w - 2870)>,
<-12, 1/319*(-8*w + 279)>,
<-12, 1/472*(-51*w + 625)>,
<-4, 1/295*(-7*w + 316)>,
<-4, 1/22361*(-462*w + 1967)>,
<-4, 1/1958*(-45*w + 1208)>,
<-4, 1/413*(-45*w + 1208)>,
<-12, 1/52*(-19*w - 214)>,
<-12, 1/280*(-9*w + 289)>,
<-12, 1/5052*(-121*w + 6504)>,
<-4, 1/11571*(-170*w + 11866)>,
<-4, 1/134299*(-1734*w + 102595)>,
<-12, 1/295*(-2*w + 291)>,
<-12, 1/289*(-14*w + 289)>,
<-12, 1/99631*(-867*w + 10041)>,
<-12, 1/4*(-w + 8)>,
<-12, 1/115*(-18*w - 126)>,
<-12, 1/309*(-w + 314)>,
<-12, 1/515*(-108*w - 432)>,
<-12, 1/2233*(-324*w + 1944)>,
<-12, 1/324*(-5*w + 294)>,
<-12, 1/105589*(-324*w + 613)>,
<-12, 1/37183*(-832*w + 16448)>,
<-12, 1/176*(-13*w + 254)>,
<-12, 1/464*(-13*w + 542)>,
<-12, 1/361*(-3*w + 27)>,
<-12, 1/236*(-15*w + 281)>,
<-12, 1/7485*(-64*w - 896)>,
<-12, 1/121669*(-3300*w + 34969)>,
<-12, 1/289*(-6*w + 289)>,
<-12, 1/12*(-w + 13)>,
<-12, 1/301*(-3*w + 292)>,
<-16, 1/4*(-w + 4)>,
<-12, 1/1751*(-52*w + 2011)>,
<-12, 1/3059*(-30*w + 2724)>,
<-12, 1/7578*(-7*w - 77)>,
<-4, 1/152881*(-960*w + 19456)>,
<-4, 1/7935*(-60*w + 9151)>,
<-4, 1/10051*(-225*w + 4560)>,
<-4, 1/1156*(-285*w + 1441)>,
<-12, 1/309*(-4*w + 20)>,
<-4, 1/6923*(-76*w + 6023)>,
<-4, 1/361*(-15*w + 256)>,
<-4, 1/361*(-4*w + 317)>,
<-4, 1/6315*(-76*w + 7227)>,
<-12, 1/309*(-5*w + 334)>,
<-12, 1/1516*(-289*w + 4406)>,
<-12, -w + 9>,
<-12, 1/379*(-w + 10)>
]