/* Defining polynomial */ x^2 - x + 80 /* GCD of coefficients */ 2 /* 24 * |disc|^(3/2) /(8*pi^2)* zeta_F(2) */ 3497.25270277756306150013707806 /* Belt */ [ <66, 1/20*(w + 20)>, <66, 1/4*(w + 4)>, <376, 1/10*(w + 4)>, <114, 1/8*(w + 3)>, <48, 1/8*(w + 5)>, <66, 1/6*(w + 1)>, <114, 1/25*(2*w + 15)>, <48, 1/8*(w + 2)>, <66, 1/6*(w + 4)>, <66, 1/4*(w + 3)>, <24, 1/7*(w + 6)>, <24, 1/250*(3*w + 262)>, <66, 1/20*(w + 19)>, <24, 1/1403*(15*w + 1310)>, <24, 1/122*(7*w + 42)>, <24, 1/6*(w + 6)>, <60, 1/5*(w + 5)>, <24, 1/40*(3*w + 40)>, <60, 1/5*(w - 1)>, <48, 1/6*(w + 2)>, <24, 1/160*(7*w + 105)>, <60, 1/20*(w + 15)>, <24, 1/82*(3*w + 76)>, <6, 1/68*(3*w + 21)>, <6, 1/123*(25*w + 25)>, <24, 1/12*(w - 5)>, <24, 1/25*(3*w - 15)>, <48, 1/10*(w + 6)>, <12, 1/244*(35*w + 454)>, <12, 1/43*(2*w + 47)>, <48, 1/61*(5*w + 30)>, <24, 1/17*(w + 7)>, <12, 1/80*(9*w - 9)>, <36, 1/41*(w + 1)>, <12, 1/8*(w - 2)>, <12, 1/136*(9*w + 64)>, <60, 1/20*(w + 4)>, <48, 1/43*(3*w + 6)>, <24, 1/14*(w + 15)>, <48, 1/20*(9*w + 56)>, <48, 1/506*(9*w + 56)>, <48, 1/40*(7*w - 35)>, <48, 1/35*(2*w - 10)>, <12, 1/164*(35*w - 70)>, <36, 1/4*(w + 1)>, <24, 1/8*(w + 7)>, <12, 1/68*(w - 8)>, <24, 1/14*(w + 16)>, <24, 1/43*(7*w + 57)>, <24, 1/80*(3*w + 32)>, <24, 1/80*(3*w + 45)>, <24, 1/1403*(10*w - 62)>, <60, 1/100*(7*w + 28)>, <24, 1/250*(9*w + 180)>, <24, 1/18*(w + 20)>, <6, 1/16*(w - 4)>, <72, 1/92*(7*w + 64)>, <60, 1/100*(7*w + 65)>, <24, 1/21*(4*w - 16)>, <24, 1/2501*(84*w + 1724)>, <24, 1/3*(w + 3)>, <24, 1/170*(7*w + 100)>, <24, 1/1342*(21*w + 1195)>, <24, 1/122*(11*w + 66)>, <12, 1/100*(3*w + 12)>, <24, 1/92*(3*w + 9)>, <24, 1/86*(7*w + 100)>, <24, 1/55*(3*w + 37)>, <24, 1/6*w>, <12, 1/200*(7*w + 228)>, <24, 1/207*(8*w + 231)>, <24, 1/32*(9*w + 23)>, <24, 1/40*(w + 40)>, <24, 1/18*(w + 19)>, <36, 1/86*(5*w + 10)>, <6, 1/18*(5*w + 28)>, <18, 1/43*(5*w + 28)>, <24, 1/610*(21*w + 309)>, <24, 1/28*(3*w - 15)>, <12, 1/25*(3*w - 12)>, <12, 1/80*(w + 79)>, <6, w + 1>, <6, 1/81*w>, <24, 1/2501*(36*w + 2168)>, <24, 1/41*(4*w + 4)>, <24, 1/32*(9*w + 59)>, <24, 1/451*(18*w + 46)>, <24, 1/43*(w + 40)>, <24, 1/230*(9*w + 171)>, <18, 1/68*(5*w + 28)>, <12, 1/7*(5*w - 33)>, <72, 1/100*(9*w + 36)>, <24, 1/45*(w + 45)>, <24, 1/45*(w - 1)>, <12, 1/50*w>, <6, 1/25*(4*w - 20)>, <24, 1/4510*(189*w + 2485)>, <24, 1/550*(21*w + 270)>, <48, 1/92*(5*w + 15)>, <24, 1/54*(7*w - 21)>, <24, 1/28*(3*w - 12)>, <48, 1/82*(5*w + 5)>, <24, 3/80*w>, <24, 1/86*(3*w + 6)>, <48, 1/473*(12*w + 93)>, <48, 1/80*(3*w - 15)>, <12, 1/28*(3*w - 9)>, <36, 1/43*(2*w + 37)>, <36, 1/2*(w + 1)>, <18, 1/575*(18*w + 422)>, <12, 1/86*(w + 83)>, <6, 1/410*(81*w + 248)>, <12, 1/2*(w + 4)>, <20, 1/100*(w + 104)>, <18, 1/9*(2*w - 8)>, <24, 1/92*(9*w + 56)>, <24, 1/92*(9*w + 27)>, <24, 1/2*(w + 3)>, <24, 1/2501*(90*w + 845)>, <6, 1/32*(3*w + 35)>, <12, 1/122*(9*w + 54)>, <12, 1/5*(9*w - 63)>, <24, 1/2501*(90*w + 1566)>, <24, 1/46*(w + 3)>, <12, 1/100*(w + 4)>, <20, 1/100*(w - 5)>, <-6, 1/68*(-3*w + 24)>, <-6, 1/123*(-25*w + 50)>, <-12, 1/244*(-35*w + 489)>, <-12, 1/43*(-2*w + 49)>, <-12, -9/80*w>, <-12, 1/8*(-w - 1)>, <-12, 1/136*(-9*w + 73)>, <-12, 1/164*(-35*w - 35)>, <-12, 1/68*(-w - 7)>, <-24, 1/1403*(-10*w - 52)>, <-6, 1/16*(-w - 3)>, <-24, 1/1342*(-21*w + 1216)>, <-24, 1/122*(-11*w + 77)>, <-12, 1/100*(-3*w + 15)>, <-12, 1/200*(-7*w + 235)>, <-6, 1/18*(-5*w + 33)>, <-12, 1/25*(-3*w - 9)>, <-6, -w + 2>, <-6, 1/81*(-w + 1)>, <-24, 1/2501*(-36*w + 2204)>, <-24, 1/41*(-4*w + 8)>, <-12, 1/7*(-5*w - 28)>, <-12, 1/50*(-w + 1)>, <-6, 1/25*(-4*w - 16)>, <-12, 1/28*(-3*w - 6)>, <-12, 1/86*(-w + 84)>, <-6, 1/410*(-81*w + 329)>, <-12, 1/2*(-w + 5)>, <-6, 1/32*(-3*w + 38)>, <-12, 1/122*(-9*w + 63)>, <-12, 1/5*(-9*w - 54)>, <-12, 1/100*(-w + 5)> ]