/* Defining polynomial */ x^2 - x + 128 /* GCD of coefficients */ 2 /* 24 * |disc|^(3/2) /(8*pi^2)* zeta_F(2) */ 7222.71521721420478557654213167 /* Belt */ [ <20, 1/130*(3*w + 124)>, <6, 1/13*(w + 14)>, <66, 1/13*(w + 1)>, <66, 1/9*(w + 1)>, <72, 1/14*(w + 6)>, <72, 1/14*(w + 7)>, <66, 1/184*(9*w + 112)>, <24, 1/221*(7*w + 189)>, <68, 1/6*(w + 4)>, <24, 1/28*(w + 27)>, <68, 1/6*(w + 1)>, <192, 1/14*(w + 10)>, <192, 1/17*(w + 10)>, <24, 1/65*(7*w - 14)>, <24, 1/65*(7*w + 72)>, <24, 1/39*(4*w - 20)>, <24, 1/592*(39*w - 195)>, <24, 1/7*(w + 11)>, <24, 1/148*(7*w + 176)>, <12, 1/24656*(845*w + 24336)>, <12, 1/3*(w + 7)>, <60, 1/148*(7*w + 28)>, <12, 1/260*(3*w + 224)>, <24, 1/49*(4*w - 12)>, <24, 1/112*(9*w + 139)>, <24, 1/1139*(36*w + 428)>, <24, 1/5525*(196*w + 2536)>, <24, 1/63*(4*w - 16)>, <24, 1/112*(9*w - 36)>, <148, 1/20*(w + 3)>, <4, 1/13*(w + 16)>, <48, 1/134*(5*w + 119)>, <6, 1/7*(w + 9)>, <6, 1/169*(7*w + 14)>, <60, 1/6*(w + 2)>, <60, 1/6*(w + 3)>, <48, 1/67*(2*w + 61)>, <24, 1/12328*(385*w + 11088)>, <24, 1/325*(77*w + 77)>, <48, 1/65*(2*w + 61)>, <24, 1/21172*(429*w + 723)>, <24, 1/3*(w + 3)>, <24, 1/260*(9*w + 99)>, <48, 1/9*(w + 15)>, <24, 1/184*(15*w + 64)>, <6, 1/23*(w + 30)>, <42, 1/23*(w + 7)>, <48, 1/368*(9*w + 135)>, <84, 1/5*(w + 1)>, <84, 1/5*(w + 3)>, <48, 1/92*(3*w + 21)>, <24, 1/790*(27*w - 162)>, <60, 1/67*(4*w + 8)>, <48, 1/6*(w + 7)>, <24, 1/6164*(135*w + 1404)>, <60, 1/8*(w + 2)>, <4, 1/6*(w - 4)>, <4, 1/3815*(78*w + 2054)>, <14, 1/13*(w + 3)>, <4, 1/327*(12*w + 643)>, <14, 1/140*(13*w + 39)>, <4, 1/763*(9*w + 237)>, <16, 1/40*(3*w + 49)>, <112, 1/35*(2*w + 6)>, <2, 1/390*(121*w + 511)>, <24, 1/6*(w + 6)>, <120, 1/10*(w + 4)>, <30, 1/7*(w + 5)>, <12, 1/25160*(297*w + 22352)>, <90, 1/170*(11*w + 93)>, <48, 1/134*(9*w + 18)>, <48, 1/170*(9*w + 54)>, <30, 1/130*(7*w + 116)>, <24, 1/6*(w - 1)>, <120, 1/10*(w + 5)>, <24, 1/128*(5*w + 128)>, <96, 1/184*(13*w + 91)>, <12, 1/15*(13*w + 80)>, <48, 1/2576*(33*w + 2255)>, <90, 1/148*(11*w + 93)>, <24, 1/3082*(55*w + 572)>, <48, 1/30*(11*w - 77)>, <24, 1/425*(11*w - 77)>, <140, 1/13*(w + 6)>, <24, 1/184*(5*w + 104)>, <24, 3/128*w>, <24, 1/79*(5*w + 104)>, <24, 1/134*(3*w + 6)>, <12, 1/201*(26*w + 253)>, <24, 1/384*(143*w + 241)>, <96, 1/13*(w + 7)>, <24, 1/140*(3*w + 9)>, <24, 1/128*(5*w - 5)>, <24, 1/9*(w + 11)>, <24, 1/158*(5*w + 183)>, <12, 1/29600*(273*w + 31343)>, <12, 1/13*(w + 8)>, <112, 1/8*(w + 3)>, <24, 1/5135*(154*w + 2552)>, <24, 1/88*(7*w + 116)>, <24, 1/238*(5*w + 183)>, <6, 1/4360*(91*w + 616)>, <24, 1/84*(11*w - 44)>, <48, 1/74*(3*w - 15)>, <48, 1/119*(3*w + 30)>, <24, 1/84*(11*w + 117)>, <48, 1/79*(2*w + 67)>, <48, 1/67*(5*w + 10)>, <24, 1/42*(5*w - 15)>, <24, 1/20*(w - 4)>, <48, 1/4*(w - 2)>, <24, 1/368*(13*w + 160)>, <24, 1/148*(5*w + 123)>, <36, 1/8*(w + 1)>, <36, 1/34*(w + 6)>, <24, 1/134*(11*w + 22)>, <72, 7/128*w>, <24, 1/128*(15*w - 15)>, <72, 1/7*w>, <60, 1/140*(9*w + 27)>, <60, 1/158*(9*w + 45)>, <6, 1/130*(3*w - 6)>, <6, 1/121*(3*w + 133)>, <72, 1/9*(w + 4)>, <4, 1/195*(28*w - 56)>, <4, 1/7085*(308*w + 1464)>, <4, 1/8*(w - 2)>, <4, 1/64*(11*w + 108)>, <4, 1/14*(w + 4)>, <24, 1/79*(3*w + 15)>, <12, 1/99*(7*w - 21)>, <60, 1/134*(7*w + 14)>, <24, 1/79*(3*w + 61)>, <24, 1/7*(3*w - 18)>, <108, 1/11*(w + 5)>, <24, 1/7*(3*w + 22)>, <24, 1/22*(w + 24)>, <48, 1/12*(13*w + 91)>, <48, 1/7225*(39*w + 7462)>, <24, 1/22*(w - 3)>, <24, 1/85*(2*w - 14)>, <12, 1/598*(15*w + 243)>, <36, 1/5*(w + 6)>, <48, 1/67*(5*w + 52)>, <24, 1/55*(3*w + 61)>, <24, 1/402*(55*w + 512)>, <24, 1/2923*(60*w + 2275)>, <24, 1/134*(13*w + 160)>, <24, 1/128*(5*w + 123)>, <36, 1/8*(w + 6)>, <66, 1/20*(w + 8)>, <24, 1/11*(w + 2)>, <24, 1/39*w>, <24, 1/175*(27*w + 256)>, <72, 1/85*(6*w + 43)>, <24, 1/39*(w + 38)>, <24, 1/4736*(135*w + 1280)>, <72, 1/85*(6*w + 36)>, <24, 1/112*(3*w + 16)>, <24, 1/112*(3*w + 93)>, <24, 1/4*(w - 7)>, <12, 1/268*(77*w + 37)>, <12, 1/67*(2*w - 6)>, <12, 1/10*(3*w + 9)>, <24, 1/4*(w - 4)>, <12, 1/1541*(40*w + 1085)>, <96, 1/12*(w + 4)>, <24, 1/110*(9*w - 27)>, <24, 1/13952*(495*w + 6417)>, <24, 1/368*(11*w + 192)>, <24, 1/35*(2*w + 41)>, <24, 1/117*(11*w + 128)>, <12, 7/135*w>, <48, 1/128*(7*w - 7)>, <24, 1/35*(6*w - 24)>, <24, 1/24*(w - 4)>, <48, 1/128*(7*w + 128)>, <24, 1/105*(13*w + 144)>, <24, 1/1264*(39*w + 432)>, <12, 1/33*(4*w + 57)>, <6, 1/25160*(539*w + 4557)>, <24, 1/592*(15*w + 480)>, <24, 1/222*(5*w - 25)>, <24, 1/30*(w + 32)>, <24, 1/79*(11*w + 134)>, <24, 1/442*(11*w + 134)>, <12, 1/25*(2*w + 27)>, <24, 1/148*(11*w + 192)>, <24, 1/65*(2*w + 41)>, <36, 1/64*(w + 64)>, <24, 1/2560*(99*w + 1152)>, <36, 1/2*(w + 2)>, <72, 1/32*(w + 31)>, <24, 1/5056*(135*w + 1465)>, <12, 1/632*(35*w + 807)>, <72, 1/35*(w + 31)>, <24, 1/5056*(135*w + 3456)>, <36, 1/140*(11*w + 96)>, <36, 1/11*(w + 7)>, <24, 1/2479*(33*w + 169)>, <24, 1/70*(33*w + 169)>, <12, 1/67*(6*w + 49)>, <12, 1/7303*(30*w - 275)>, <36, 1/64*(w + 63)>, <12, 1/25*(w + 8)>, <12, 9/56*w>, <12, 1/64*(5*w + 64)>, <12, 1/3145*(22*w + 186)>, <6, 1/16384*(121*w + 896)>, <12, 1/2398*(9*w - 90)>, <12, 1/11*(w + 9)>, <36, 1/50*(3*w + 23)>, <24, 1/26*(3*w + 29)>, <6, 1/49*(9*w + 112)>, <12, 1/144*(7*w + 116)>, <12, 1/79*(36*w + 180)>, <12, 1/2765*(36*w + 101)>, <24, 1/255*(2*w + 267)>, <24, 1/851*(6*w + 801)>, <12, 1/144*(5*w + 144)>, <12, 1/184*(25*w + 359)>, <96, 1/46*(3*w + 22)>, <36, 1/35*(3*w + 23)>, <24, 1/80*(3*w + 29)>, <36, 1/65*(w + 63)>, <36, 1/37*(w + 32)>, <36, 1/32*(w + 32)>, <24, 1/92*(3*w + 44)>, <24, 1/92*(3*w + 45)>, <12, 1/1541*(90*w + 936)>, <24, 1/4*(w + 7)>, <12, 1/140*(w + 3)>, <12, 1/125*(3*w + 99)>, <6, 1/1106*(81*w + 1511)>, <24, 1/34*(w + 10)>, <12, 1/33*w>, <12, w - 1>, <12, 1/23552*(847*w + 15488)>, <24, 1/64*(33*w + 64)>, <12, 1/1020*(7*w - 49)>, <6, 1/2*(w + 4)>, <6, 1/72*(w + 2)>, <24, 1/395*(12*w + 455)>, <24, 1/2275*(33*w + 64)>, <24, 1/222*(5*w + 242)>, <12, 1/148*(w + 4)>, <12, 1/35*(9*w + 27)>, <12, 1/77*(9*w + 104)>, <12, 1/220*(9*w + 247)>, <24, 1/79*(w + 73)>, <6, 1/2*(w + 6)>, <6, 1/85*(36*w - 252)>, <24, 1/70*(w + 73)>, <12, 1/552*(w - 8)>, <24, 1/1610*(33*w + 1254)>, <24, 1/1610*(33*w + 323)>, <12, 1/6715*(78*w + 6078)>, <12, 1/11*(13*w - 93)>, <12, 1/158*(169*w + 845)>, <6, 1/169*(11*w + 92)>, <2, 1/28900*(13*w + 79)>, <-6, 1/13*(-w + 15)>, <-12, 1/24656*(-845*w + 25181)>, <-12, 1/3*(-w + 8)>, <-12, 1/260*(-3*w + 227)>, <-4, 1/13*(-w + 17)>, <-6, 1/7*(-w + 10)>, <-6, 1/169*(-7*w + 21)>, <-6, 1/23*(-w + 31)>, <-42, 1/23*(-w + 8)>, <-4, 1/6*(-w - 3)>, <-4, 1/3815*(-78*w + 2132)>, <-4, 1/327*(-12*w + 655)>, <-4, 1/763*(-9*w + 246)>, <-16, 1/40*(-3*w + 52)>, <-2, 1/390*(-121*w + 632)>, <-12, 1/25160*(-297*w + 22649)>, <-12, 1/15*(-13*w + 93)>, <-12, 1/201*(-26*w + 279)>, <-12, 1/29600*(-273*w + 31616)>, <-12, 1/13*(-w + 9)>, <-6, 1/4360*(-91*w + 707)>, <-24, 1/42*(-5*w - 10)>, <-24, -15/128*w>, <-6, 1/130*(-3*w - 3)>, <-6, 1/121*(-3*w + 136)>, <-4, 1/195*(-28*w - 28)>, <-4, 1/7085*(-308*w + 1772)>, <-4, 1/8*(-w - 1)>, <-4, 1/64*(-11*w + 119)>, <-4, 1/14*(-w + 5)>, <-12, 1/99*(-7*w - 14)>, <-12, 1/598*(-15*w + 258)>, <-12, 1/268*(-77*w + 114)>, <-12, 1/67*(-2*w - 4)>, <-12, 1/10*(-3*w + 12)>, <-12, 1/1541*(-40*w + 1125)>, <-12, 1/135*(-7*w + 7)>, <-12, 1/33*(-4*w + 61)>, <-6, 1/25160*(-539*w + 5096)>, <-12, 1/25*(-2*w + 29)>, <-12, 1/632*(-35*w + 842)>, <-12, 1/67*(-6*w + 55)>, <-12, 1/7303*(-30*w - 245)>, <-12, 1/25*(-w + 9)>, <-12, 1/56*(-9*w + 9)>, <-12, 1/64*(-5*w + 69)>, <-12, 1/3145*(-22*w + 208)>, <-6, 1/16384*(-121*w + 1017)>, <-12, 1/2398*(-9*w - 81)>, <-12, 1/11*(-w + 10)>, <-6, 1/49*(-9*w + 121)>, <-12, 1/144*(-7*w + 123)>, <-12, 1/79*(-36*w + 216)>, <-12, 1/2765*(-36*w + 137)>, <-12, 1/144*(-5*w + 149)>, <-12, 1/184*(-25*w + 384)>, <-12, 1/1541*(-90*w + 1026)>, <-12, 1/140*(-w + 4)>, <-12, 1/125*(-3*w + 102)>, <-6, 1/1106*(-81*w + 1592)>, <-12, 1/33*(-w + 1)>, <-12, -w>, <-12, 1/23552*(-847*w + 16335)>, <-12, 1/1020*(-7*w - 42)>, <-6, 1/2*(-w + 5)>, <-6, 1/72*(-w + 3)>, <-12, 1/148*(-w + 5)>, <-12, 1/35*(-9*w + 36)>, <-12, 1/77*(-9*w + 113)>, <-12, 1/220*(-9*w + 256)>, <-6, 1/2*(-w + 7)>, <-6, 1/85*(-36*w - 216)>, <-12, 1/552*(-w - 7)>, <-12, 1/6715*(-78*w + 6156)>, <-12, 1/11*(-13*w - 80)>, <-12, 1/158*(-169*w + 1014)>, <-6, 1/169*(-11*w + 103)>, <-2, 1/28900*(-13*w + 92)> ]