/* Defining polynomial */ x^2 - x + 186 /* GCD of coefficients */ 2 /* 24 * |disc|^(3/2) /(8*pi^2)* zeta_F(2) */ 14389.8363522463748012064713221 /* Belt */ [ <72, 1/198*(7*w + 170)>, <42, 1/18*(w + 21)>, <162, 1/18*(w + 3)>, <162, 1/22*(w + 7)>, <24, 1/103*(5*w + 123)>, <24, 1/8*(w - 7)>, <24, 1/8*(w + 14)>, <24, 1/198*(5*w + 123)>, <96, 1/99*(5*w + 79)>, <96, 1/114*(5*w + 79)>, <84, 1/103*(6*w + 73)>, <84, 1/121*(6*w + 73)>, <420, 1/18*(w + 5)>, <420, 1/12*(w + 5)>, <48, 1/192*(11*w + 22)>, <48, 1/11*(w + 2)>, <196, 1/27*(w + 21)>, <12, 1/242*(7*w - 56)>, <168, 1/6*(w + 2)>, <196, 1/24*(w + 21)>, <168, 1/33*(w + 29)>, <72, 1/5203*(40*w + 5488)>, <192, 1/14*(w + 6)>, <24, 1/24*(w - 6)>, <204, 1/9*(w + 3)>, <204, 1/24*(w + 18)>, <24, 1/44*(w + 14)>, <72, 1/5203*(40*w - 325)>, <192, 1/121*(7*w + 65)>, <24, 1/2679*(70*w + 1505)>, <24, 1/2679*(70*w + 1104)>, <36, 1/15*(w - 4)>, <24, 1/11*(2*w - 16)>, <24, 1/44*(w - 8)>, <36, 1/15*(w + 18)>, <96, 1/103*(4*w + 16)>, <96, 1/8*(w + 4)>, <28, 1/8*(w - 3)>, <42, 1/11*(w + 14)>, <28, 1/24*(w - 3)>, <72, 1/228*(11*w + 66)>, <24, 1/209*(5*w + 79)>, <72, 1/206*(11*w + 44)>, <24, 1/209*(5*w + 125)>, <24, 1/11997*(260*w + 6045)>, <24, 1/11997*(260*w + 5692)>, <48, 1/135*(7*w + 170)>, <84, 1/72*(5*w + 42)>, <48, 1/1452*(35*w + 850)>, <84, 1/92*(5*w + 42)>, <136, 1/129*(8*w + 57)>, <136, 1/121*(8*w + 57)>, <144, 1/228*(13*w + 78)>, <48, 1/9*(w + 7)>, <48, 1/242*(9*w + 63)>, <60, 1/10*(w + 8)>, <12, 1/645*(22*w - 198)>, <24, 1/6592*(175*w + 2142)>, <36, 1/242*(7*w + 49)>, <132, 1/108*(5*w + 25)>, <132, 1/10*(w + 5)>, <12, 1/64*(5*w - 20)>, <24, 1/231*(25*w + 306)>, <36, 1/7*(w + 7)>, <24, 1/78*(11*w - 99)>, <24, 1/8648*(143*w + 6347)>, <36, 1/32*(w - 3)>, <24, 1/94*(3*w + 97)>, <24, 1/1023*(28*w + 372)>, <96, 1/258*(13*w + 141)>, <96, 1/258*(13*w + 104)>, <12, 1/26*(w - 4)>, <48, 1/81*(5*w + 106)>, <48, 1/81*(5*w - 30)>, <24, 1/80*(w + 77)>, <48, 1/216*(7*w + 174)>, <48, 1/188*(7*w + 174)>, <24, 1/12*(5*w - 3)>, <24, 1/72*(7*w + 93)>, <48, 1/184*(3*w + 142)>, <24, 1/1081*(34*w + 214)>, <24, 1/85*(4*w + 89)>, <48, 1/5*(w + 13)>, <24, 1/9108*(91*w + 7995)>, <24, 1/559*(7*w + 615)>, <48, 1/6*(w - 8)>, <24, 1/124*(17*w + 107)>, <24, 1/11253*(340*w + 7565)>, <48, 1/368*(5*w + 65)>, <72, 1/121*(5*w + 35)>, <12, 1/10*w>, <12, 1/465*(44*w - 44)>, <72, 1/121*(5*w + 81)>, <24, 1/121*(3*w + 97)>, <96, 1/242*(15*w + 105)>, <12, 1/40*(w + 3)>, <12, 1/33*(w - 4)>, <12, 16/93*w>, <72, 1/6*(w - 1)>, <12, 1/30*(w - 1)>, <108, 1/31*w>, <36, 1/6*(w - 3)>, <24, 1/286*(5*w - 40)>, <60, 1/47*(2*w + 2)>, <24, 1/276*(17*w + 106)>, <24, 1/35*(2*w - 16)>, <72, 1/94*(3*w + 88)>, <72, 1/216*(13*w + 138)>, <120, 1/11*(w + 5)>, <72, 1/13*(w + 7)>, <36, 2/93*w>, <12, 1/91*(2*w - 2)>, <24, 1/4968*(65*w + 730)>, <24, 1/17*(w + 7)>, <60, 1/57*(2*w + 12)>, <24, 1/35*(2*w + 49)>, <72, 1/103*(3*w + 88)>, <24, 1/143*(9*w + 170)>, <12, 1/1140*(49*w - 343)>, <72, 1/9*(w + 4)>, <24, 1/143*(9*w - 36)>, <48, 1/1957*(44*w + 1309)>, <48, 1/1957*(44*w + 604)>, <76, 1/27*(2*w + 10)>, <108, 1/43*(2*w + 16)>, <24, 1/28*(5*w + 10)>, <24, 1/405*(7*w - 42)>, <76, 1/27*(2*w + 15)>, <24, 1/28*(5*w + 13)>, <108, 1/12*(w + 8)>, <24, 1/7622*(105*w + 917)>, <24, 1/912*(65*w + 1302)>, <60, 1/129*(5*w + 40)>, <24, 1/65*(4*w + 89)>, <24, 1/128*(15*w + 158)>, <24, 1/45*(2*w + 49)>, <24, 1/9579*(182*w + 934)>, <6, 1/98*(5*w + 93)>, <6, 1/148*(5*w + 50)>, <12, w>, <24, 1/376*(91*w + 467)>, <96, 1/258*(17*w + 105)>, <24, 1/168*(5*w + 193)>, <72, 1/48*(w + 2)>, <48, 1/2369*(14*w + 2219)>, <24, 1/42*(w - 6)>, <24, 1/407*(7*w + 71)>, <52, 1/14*(w + 4)>, <12, 1/721*(20*w - 100)>, <72, 1/48*(w + 45)>, <24, 1/45*(7*w + 80)>, <48, 1/2369*(14*w + 136)>, <24, 1/434*(65*w + 434)>, <24, 1/46*(w + 32)>, <48, 1/9*(w - 1)>, <12, 65/558*w>, <24, 1/16168*(455*w + 3038)>, <24, 1/27*(w + 32)>, <144, 1/16*(w + 2)>, <12, 1/11*(w - 3)>, <24, 1/52*(w + 50)>, <24, 1/684*(13*w + 650)>, <36, 1/186*(7*w + 179)>, <72, 1/4356*(65*w + 3601)>, <36, 1/228*(7*w + 179)>, <72, 1/60*(13*w - 91)>, <108, 1/31*(w + 30)>, <24, 1/190*(9*w - 63)>, <24, 1/54*(5*w - 35)>, <48, 1/11*(w + 9)>, <12, 1/3933*(100*w + 725)>, <24, 1/50*(13*w + 141)>, <36, 1/206*(5*w + 20)>, <24, 1/26574*(325*w + 3525)>, <36, 1/5*(w + 4)>, <48, 1/605*(3*w + 626)>, <24, 1/105*(2*w + 105)>, <24, 1/42*(5*w - 20)>, <24, 1/589*(15*w + 109)>, <60, 1/13*(w + 9)>, <24, 1/11997*(308*w + 7161)>, <12, 1/129*(13*w - 117)>, <12, 1/7*(w + 9)>, <12, 1/1932*(143*w - 1430)>, <48, 1/1161*(14*w + 132)>, <24, 1/33*(2*w - 18)>, <24, 1/172*(11*w - 99)>, <24, 1/4608*(65*w + 4290)>, <24, 1/4608*(65*w + 253)>, <48, 1/24*(7*w + 66)>, <36, 1/93*(2*w + 91)>, <60, 1/13*(w + 3)>, <24, 1/824*(77*w - 385)>, <24, 1/2139*(40*w + 1395)>, <48, 1/48*(17*w + 153)>, <48, 1/391*(4*w + 36)>, <24, 1/828*(11*w + 718)>, <24, 1/46*(3*w + 27)>, <48, 1/92*(3*w + 62)>, <24, 1/215*(8*w + 279)>, <168, 1/86*(5*w + 40)>, <12, 1/12*(w + 1)>, <12, 1/3478*(33*w + 451)>, <24, 1/120*(11*w - 66)>, <24, 1/99*(5*w - 30)>, <72, 1/38*(w + 31)>, <168, 1/15*(w + 8)>, <24, 1/165*(7*w - 28)>, <72, 1/16*(w + 9)>, <36, 1/552*(5*w + 42)>, <24, 1/94*(15*w + 109)>, <48, 1/3268*(15*w + 3130)>, <24, 1/3993*(70*w + 3675)>, <24, 1/188*(5*w + 178)>, <24, 1/4*(w + 6)>, <24, 1/33*(7*w + 68)>, <24, 1/69*(w - 10)>, <12, 1/528*(13*w + 234)>, <12, 1/11979*(182*w + 2242)>, <12, 1/121*(2*w + 105)>, <24, 1/48*(w + 50)>, <24, 1/5*(w + 3)>, <24, 1/39*(2*w + 43)>, <24, 1/128*(13*w + 154)>, <24, 1/33*(7*w - 42)>, <24, 1/144*(11*w + 166)>, <6, 1/7326*(175*w + 1775)>, <30, 1/148*(7*w + 71)>, <24, 1/456*(13*w + 534)>, <24, 1/456*(13*w - 91)>, <24, 1/44*(3*w + 50)>, <24, 1/258*(7*w + 195)>, <24, 1/144*(11*w + 199)>, <24, 1/188*(7*w + 195)>, <24, 1/33*(2*w + 43)>, <48, 1/47*(w + 48)>, <24, 1/188*(9*w - 18)>, <24, 1/47*(7*w + 33)>, <48, 1/47*(w - 2)>, <24, 1/188*(9*w + 197)>, <24, 1/222*(7*w + 33)>, <12, 1/256*(5*w + 226)>, <12, 1/69*(w + 9)>, <24, 1/23232*(455*w + 4395)>, <24, 1/515*(91*w + 879)>, <24, 1/29892*(715*w + 8910)>, <24, 1/3*(w + 1)>, <24, 1/29892*(715*w + 20267)>, <24, 1/160*(13*w + 186)>, <24, 1/2139*(65*w + 930)>, <144, 1/16*(w + 13)>, <24, 1/103*(7*w - 35)>, <48, 1/473*(10*w + 125)>, <24, 1/103*(7*w + 131)>, <12, 1/27*(5*w + 42)>, <48, 1/144*(5*w - 30)>, <24, 1/296*(13*w + 153)>, <30, 1/99*(7*w + 71)>, <24, 1/13*(w + 2)>, <24, 1/91*(3*w + 97)>, <12, 1/98*(5*w + 88)>, <12, 1/69*(2*w + 18)>, <12, w + 1>, <24, 1/576*(91*w + 758)>, <16, 1/847*(8*w - 64)>, <24, 1/1551*(35*w + 1246)>, <24, 1/28*(w + 36)>, <24, 1/1551*(35*w + 270)>, <24, 1/129*(14*w + 241)>, <24, 1/188*(5*w + 193)>, <24, 1/228*(5*w + 193)>, <60, 1/86*(3*w + 59)>, <60, 1/62*(3*w + 59)>, <48, 1/10*(w + 13)>, <48, 1/5*(w + 2)>, <12, 1/188*(3*w + 50)>, <12, 1/3933*(20*w + 3768)>, <72, 1/57*(4*w + 29)>, <48, 1/184*(5*w + 65)>, <24, 1/216*(5*w + 25)>, <24, 1/5*(w + 5)>, <24, 1/26*(w - 5)>, <24, 1/103*(13*w - 65)>, <120, 1/108*(7*w + 66)>, <120, 1/129*(7*w + 66)>, <24, 1/2508*(35*w + 2415)>, <24, 1/99*(14*w + 141)>, <24, 1/121*(4*w + 28)>, <24, 1/45*(w + 48)>, <24, 1/14136*(385*w + 9845)>, <24, 1/2294*(65*w + 1209)>, <24, 1/4*(w - 1)>, <36, 1/206*(7*w + 28)>, <12, 1/143*(7*w - 35)>, <24, 1/2679*(77*w + 1722)>, <24, 1/2679*(77*w + 880)>, <48, 1/62*(w + 61)>, <24, 1/78*(5*w + 93)>, <48, 1/64*(w + 61)>, <24, 1/93*(2*w - 2)>, <12, 1/8928*(91*w + 374)>, <24, 1/96*(w + 93)>, <24, 1/57*(2*w + 24)>, <12, 1/7*(2*w - 26)>, <24, 1/297*(25*w - 100)>, <28, 1/999*(10*w + 1074)>, <24, 1/50*(3*w - 12)>, <24, 1/282*(5*w + 240)>, <24, 1/165*(7*w + 179)>, <24, 1/70*(w + 69)>, <24, 1/589*(14*w + 141)>, <24, 1/8*(w + 7)>, <24, 1/344*(7*w + 99)>, <24, 1/39*(2*w - 12)>, <96, 1/64*(3*w + 6)>, <24, 1/19364*(273*w + 17381)>, <48, 1/276*(11*w + 99)>, <24, 1/57*(7*w + 99)>, <96, 1/76*(3*w + 18)>, <24, 1/1081*(26*w + 418)>, <12, 1/188*(91*w - 182)>, <12, 1/2*(w + 1)>, <24, 1/19364*(273*w + 1710)>, <24, 1/2*(w - 3)>, <24, 1/688*(15*w + 510)>, <12, 1/216*(25*w - 150)>, <36, 1/12*(5*w + 42)>, <24, 1/103*(w + 98)>, <24, 1/103*(15*w - 75)>, <24, 1/160*(7*w - 21)>, <24, 1/1269*(35*w + 364)>, <12, 1/16377*(200*w + 17952)>, <12, 1/16*(w + 11)>, <12, 1/11*(w + 11)>, <12, 1/3498*(65*w - 780)>, <24, 1/35*(3*w - 9)>, <24, 1/3478*(105*w + 1938)>, <12, 1/49*(2*w + 43)>, <12, 1/57*(49*w + 294)>, <12, 1/2736*(49*w + 237)>, <12, 1/206*(w + 201)>, <12, 1/495*(49*w + 299)>, <12, 1/99*(w - 4)>, <24, 1/258*(5*w + 213)>, <24, 1/258*(5*w + 40)>, <24, 1/63*(13*w - 91)>, <24, 1/988*(21*w - 147)>, <24, 1/3933*(28*w - 231)>, <24, 1/228*(7*w - 49)>, <24, 1/368*(7*w + 91)>, <24, 1/589*(13*w + 403)>, <24, 1/26*(w + 31)>, <24, 1/38*(w - 7)>, <24, 1/57*(2*w + 31)>, <24, 1/1426*(33*w + 711)>, <24, 1/297*(13*w - 78)>, <24, 1/171*(11*w + 237)>, <24, 1/297*(13*w + 362)>, <48, 1/62*(w + 62)>, <24, 1/279*(7*w + 62)>, <24, 1/8*(w + 8)>, <24, 1/188*(35*w - 70)>, <24, 1/35*w>, <24, 1/4429*(70*w + 3885)>, <24, 1/24*(5*w - 30)>, <12, 1/64*(5*w + 49)>, <12, 1/7296*(55*w - 594)>, <24, 1/45*(w - 6)>, <48, 1/66*(w + 62)>, <24, 1/105*(2*w + 111)>, <24, 1/6*(w - 7)>, <24, 1/54*(7*w - 28)>, <12, 1/12*(w + 11)>, <12, 1/636*(7*w - 84)>, <24, 1/77*(3*w - 12)>, <12, 1/172*(3*w - 27)>, <24, 1/1426*(35*w + 775)>, <16, 1/5*(7*w - 70)>, <24, 1/1426*(35*w + 616)>, <24, 1/35*(w - 2)>, <24, 35/186*w>, <24, 1/48*(7*w + 62)>, <24, 1/93*(4*w + 93)>, <24, 1/94*(w + 95)>, <24, 1/99*(w + 95)>, <24, 1/105*(w - 3)>, <12, 1/228*(25*w + 378)>, <12, 1/35*(3*w - 30)>, <24, 1/105*(w + 107)>, <24, 1/216*(7*w - 42)>, <24, 1/1210*(49*w + 1553)>, <24, 1/49*(5*w + 84)>, <24, 1/10*(7*w - 63)>, <24, 1/351*(11*w + 406)>, <12, 1/296*(11*w + 110)>, <12, 1/65*(11*w - 121)>, <24, 1/88*(13*w + 153)>, <24, 1/56*(3*w - 6)>, <24, 1/1333*(42*w + 465)>, <12, 1/9504*(49*w + 9506)>, <12, 1/49*(w + 3)>, <12, 1/96*(49*w - 51)>, <24, 1/6966*(35*w + 6601)>, <24, 1/368*(9*w + 242)>, <24, 1/206*(9*w + 242)>, <36, 1/206*(7*w + 171)>, <24, 1/3933*(28*w + 4136)>, <12, 1/589*(12*w + 205)>, <24, 1/1333*(33*w + 649)>, <24, 1/126*(11*w - 44)>, <24, 1/44*(3*w + 59)>, <24, 1/126*(11*w + 159)>, <24, 1/65*(w - 5)>, <12, 1/5504*(275*w + 3975)>, <12, 1/75*(w + 8)>, <12, 1/64*(25*w + 114)>, <24, 1/65*(w + 69)>, <12, 1/106*(5*w + 46)>, <12, 1/9*(5*w - 51)>, <12, 1/2208*(5*w - 47)>, <24, 1/64*(35*w - 41)>, <24, 1/3564*(35*w - 41)>, <12, 1/5332*(105*w + 3162)>, <40, 1/15609*(56*w - 455)>, <28, 1/999*(10*w - 85)>, <24, 1/72*(7*w + 86)>, <24, 1/56*(3*w + 62)>, <12, 1/49*(w + 48)>, <12, 1/108*(49*w + 245)>, <12, 1/10044*(245*w + 685)>, <52, 1/138*(7*w + 68)>, <12, 1/49*(6*w - 30)>, <24, 1/64*(w - 3)>, <12, 1/1140*(11*w + 1206)>, <12, 1/3*(w + 6)>, <12, 1/225*(w + 3)>, <24, 1/3*(w - 3)>, <24, 1/2*(w + 7)>, <24, 1/108*(w + 113)>, <40, 1/15609*(56*w + 16008)>, <4, 1/81*(2*w + 37)>, <4, 1/16*(w + 26)>, <8, 1/5*(2*w - 12)>, <8, 1/432*(5*w - 30)>, <24, 1/93*(w + 93)>, <12, 1/93*(49*w - 49)>, <24, 1/3096*(35*w + 366)>, <12, 5*w - 45>, <24, 1/3096*(35*w + 2695)>, <8, 1/206*(5*w - 25)>, <4, 1/103*(49*w + 579)>, <16, 1/5*(7*w + 68)>, <4, 1/824*(7*w + 68)>, <4, 1/49*(4*w + 29)>, <8, 1/5*(w - 5)>, <4, 1/2*(w - 5)>, <16, 1/6897*(56*w + 520)>, <4, 1/128*(w + 120)>, <4, 1/128*(7*w + 65)>, <4, 1/129*(56*w + 577)>, <8, 1/1936*(w - 8)>, <8, 8*w - 64>, <-12, 1/242*(-7*w - 49)>, <-12, 1/645*(-22*w - 176)>, <-12, 1/64*(-5*w - 15)>, <-12, 1/26*(-w - 3)>, <-12, 1/10*(-w + 1)>, <-12, -44/465*w>, <-12, 1/40*(-w + 4)>, <-12, 1/33*(-w - 3)>, <-12, 1/93*(-16*w + 16)>, <-12, -1/30*w>, <-12, -2/91*w>, <-12, 1/1140*(-49*w - 294)>, <-6, 1/98*(-5*w + 98)>, <-6, 1/148*(-5*w + 55)>, <-12, 1/721*(-20*w - 80)>, <-12, 1/558*(-65*w + 65)>, <-12, 1/11*(-w - 2)>, <-12, 1/3933*(-100*w + 825)>, <-12, 1/129*(-13*w - 104)>, <-12, 1/7*(-w + 10)>, <-12, 1/1932*(-143*w - 1287)>, <-24, 1/828*(-11*w + 729)>, <-24, 1/46*(-3*w + 30)>, <-12, 1/12*(-w + 2)>, <-12, 1/3478*(-33*w + 484)>, <-24, 1/69*(-w - 9)>, <-12, 1/528*(-13*w + 247)>, <-12, 1/11979*(-182*w + 2424)>, <-12, 1/121*(-2*w + 107)>, <-6, 1/7326*(-175*w + 1950)>, <-12, 1/256*(-5*w + 231)>, <-12, 1/69*(-w + 10)>, <-12, 1/27*(-5*w + 47)>, <-12, 1/98*(-5*w + 93)>, <-12, 1/69*(-2*w + 20)>, <-12, -w + 2>, <-12, 1/188*(-3*w + 53)>, <-12, 1/3933*(-20*w + 3788)>, <-12, 1/143*(-7*w - 28)>, <-12, 1/8928*(-91*w + 465)>, <-12, 1/7*(-2*w - 24)>, <-12, 1/188*(-91*w - 91)>, <-12, 1/2*(-w + 2)>, <-12, 1/216*(-25*w - 125)>, <-12, 1/16377*(-200*w + 18152)>, <-12, 1/16*(-w + 12)>, <-12, 1/11*(-w + 12)>, <-12, 1/3498*(-65*w - 715)>, <-12, 1/49*(-2*w + 45)>, <-12, 1/57*(-49*w + 343)>, <-12, 1/2736*(-49*w + 286)>, <-12, 1/206*(-w + 202)>, <-12, 1/495*(-49*w + 348)>, <-12, 1/99*(-w - 3)>, <-12, 1/64*(-5*w + 54)>, <-12, 1/7296*(-55*w - 539)>, <-12, 1/12*(-w + 12)>, <-12, 1/636*(-7*w - 77)>, <-12, 1/172*(-3*w - 24)>, <-12, 1/228*(-25*w + 403)>, <-12, 1/35*(-3*w - 27)>, <-24, 1/216*(-7*w - 35)>, <-12, 1/296*(-11*w + 121)>, <-12, 1/65*(-11*w - 110)>, <-12, 1/9504*(-49*w + 9555)>, <-12, 1/49*(-w + 4)>, <-12, 1/96*(-49*w - 2)>, <-12, 1/589*(-12*w + 217)>, <-12, 1/5504*(-275*w + 4250)>, <-12, 1/75*(-w + 9)>, <-12, 1/64*(-25*w + 139)>, <-12, 1/106*(-5*w + 51)>, <-12, 1/9*(-5*w - 46)>, <-12, 1/2208*(-5*w - 42)>, <-12, 1/5332*(-105*w + 3267)>, <-12, 1/49*(-w + 49)>, <-12, 1/108*(-49*w + 294)>, <-12, 1/10044*(-245*w + 930)>, <-12, 1/49*(-6*w - 24)>, <-12, 1/1140*(-11*w + 1217)>, <-12, 1/3*(-w + 7)>, <-12, 1/225*(-w + 4)>, <-4, 1/81*(-2*w + 39)>, <-4, 1/16*(-w + 27)>, <-12, -49/93*w>, <-12, -5*w - 40>, <-4, 1/103*(-49*w + 628)>, <-4, 1/824*(-7*w + 75)>, <-4, 1/49*(-4*w + 33)>, <-4, 1/2*(-w - 4)>, <-4, 1/128*(-w + 121)>, <-4, 1/128*(-7*w + 72)>, <-4, 1/129*(-56*w + 633)> ]