/* Defining polynomial */ x^2 - x + 136 /* GCD of coefficients */ 2 /* 24 * |disc|^(3/2) /(8*pi^2)* zeta_F(2) */ 7956.40691590248017260332304104 /* Belt */ [ <120, 1/37*(2*w + 29)>, <120, 1/39*(2*w + 29)>, <84, 1/71*(4*w + 59)>, <108, 1/74*(5*w + 54)>, <24, 1/88*(9*w + 115)>, <108, 1/89*(5*w + 54)>, <24, 1/88*(9*w - 36)>, <84, 1/83*(4*w + 59)>, <60, 1/37*(w + 3)>, <12, 1/33*(w + 33)>, <100, 1/78*(5*w + 20)>, <48, 1/2368*(55*w + 520)>, <48, 1/2368*(55*w + 1793)>, <100, 1/10*(w + 4)>, <84, 1/89*(6*w + 47)>, <48, 1/65*(3*w - 15)>, <288, 1/13*(w + 8)>, <288, 1/13*(w + 4)>, <48, 1/65*(3*w + 77)>, <84, 1/12*(w + 5)>, <12, 143/952*w>, <36, 1/7*(w - 1)>, <24, 1/54*(11*w + 109)>, <24, 1/913*(27*w + 1048)>, <108, 1/11*(w + 6)>, <24, 1/680*(143*w + 680)>, <24, 1/24564*(715*w + 3400)>, <108, 1/178*(11*w + 66)>, <72, 1/9*(w + 7)>, <96, 1/14*(w + 7)>, <24, 1/747*(35*w + 922)>, <24, 1/534*(7*w + 574)>, <48, 1/104*(w + 95)>, <48, 1/5*(w + 3)>, <48, 1/138*(5*w + 128)>, <36, 1/142*(11*w + 109)>, <36, 1/208*(11*w + 109)>, <24, 1/46*(5*w + 51)>, <24, 1/136*(5*w + 51)>, <12, 1/33*(w - 8)>, <24, 1/48*(w + 7)>, <52, 1/74*(3*w + 62)>, <84, 1/166*(13*w + 88)>, <12, 1/160*(3*w + 181)>, <40, 1/1456*(15*w + 1321)>, <40, 1/104*(7*w + 56)>, <24, 1/49*(4*w + 61)>, <24, 1/23*(7*w + 7)>, <24, 1/2047*(60*w + 1072)>, <132, 1/178*(13*w + 87)>, <6, 1/3026*(75*w + 1251)>, <30, 1/6*(w + 6)>, <22, 1/8*(w - 1)>, <32, 1/9*w>, <4, 1/78*(w + 34)>, <16, 1/442*(9*w + 153)>, <28, 1/13*(w + 17)>, <48, 1/39*(w + 4)>, <32, 9/136*w>, <40, 1/17*w>, <12, 1/408*(65*w + 408)>, <42, 1/83*(3*w + 65)>, <24, 1/9*(w + 16)>, <72, 1/64*(3*w + 21)>, <52, 1/74*(3*w + 9)>, <24, 1/185*(11*w + 218)>, <24, 1/44*(5*w + 59)>, <48, 1/89*(w + 95)>, <24, 1/91*(w + 82)>, <24, 1/2047*(60*w + 915)>, <24, 1/747*(35*w - 210)>, <48, 1/136*(7*w + 129)>, <48, 1/7*(w + 6)>, <64, 1/64*(5*w + 35)>, <52, 1/148*(7*w + 120)>, <24, 1/49*(4*w - 16)>, <24, 1/23*(7*w + 9)>, <96, 1/14*(w + 6)>, <24, 1/259*(27*w + 340)>, <132, 1/23*(w + 21)>, <60, 1/71*(5*w + 56)>, <132, 1/6*(w + 4)>, <60, 1/10*(w + 7)>, <6, 1/481*(12*w + 100)>, <54, 1/52*(3*w + 25)>, <24, 1/46*(11*w + 57)>, <24, 1/33*(w + 34)>, <12, 1/136*(w + 135)>, <22, 1/8*(w + 8)>, <6, 1/18*w>, <60, 1/166*(9*w + 45)>, <36, 1/32*(w + 24)>, <24, 1/96*(7*w - 35)>, <24, 1/91*(8*w - 40)>, <36, 1/6*(w - 2)>, <60, 1/148*(9*w + 27)>, <72, 1/156*(7*w + 121)>, <16, 1/104*(7*w - 35)>, <72, 1/142*(7*w + 121)>, <12, 1/6586*(195*w + 4285)>, <24, 1/6052*(189*w + 2380)>, <8, 1/11*(5*w - 29)>, <8, 1/4096*(55*w - 319)>, <12, 1/28416*(539*w + 22781)>, <12, 1/1872*(55*w - 495)>, <36, 1/136*(5*w + 131)>, <12, 1/468*(121*w + 952)>, <24, 1/132*(5*w + 152)>, <24, 1/32*(11*w - 88)>, <24, 1/442*(11*w + 187)>, <24, 1/6052*(195*w + 4420)>, <24, 1/65*(3*w + 68)>, <30, 1/89*(3*w + 18)>, <24, 1/442*(11*w + 244)>, <24, 1/923*(11*w + 803)>, <36, 1/148*(11*w + 33)>, <24, 1/132*(5*w - 25)>, <28, 1/34*(w + 17)>, <36, 1/148*(11*w + 104)>, <36, 1/156*(5*w + 131)>, <24, 1/24*(5*w + 59)>, <24, 1/89*(5*w + 119)>, <24, 1/256*(5*w + 280)>, <24, 1/442*(15*w + 172)>, <24, 1/142*(15*w + 172)>, <12, 1/48*(w + 47)>, <12, 1/13*(6*w + 24)>, <12, 1/221*(6*w + 11)>, <24, 1/91*(9*w - 45)>, <48, 1/39*(w + 34)>, <36, 1/208*(w + 199)>, <24, 1/91*(9*w + 127)>, <24, 1/28*(3*w - 15)>, <24, 1/736*(21*w + 435)>, <12, 1/368*(13*w + 43)>, <12, 1/299*(10*w + 210)>, <40, 1/83*(7*w + 35)>, <40, 1/1456*(15*w + 120)>, <24, 1/10*(3*w - 18)>, <24, 1/962*(15*w + 822)>, <144, 1/52*(3*w + 12)>, <12, 1/74*(15*w - 60)>, <60, 1/4*(w + 3)>, <54, 1/52*(3*w + 24)>, <112, 1/166*(11*w + 100)>, <6, 1/249*(25*w + 374)>, <42, 1/83*(3*w + 15)>, <48, 1/69*(4*w + 4)>, <48, 1/8*(w + 1)>, <12, 1/322*(39*w + 361)>, <12, 1/166*(7*w + 124)>, <24, 1/581*(55*w + 856)>, <48, 1/69*(2*w + 65)>, <48, 1/4*(w + 2)>, <24, 1/14352*(385*w + 5992)>, <6, 1/9*(13*w + 87)>, <60, 1/46*(w + 44)>, <30, 1/74*(w + 3)>, <6, 1/23*(12*w + 12)>, <4, 1/35*w>, <4, 1/680*(63*w + 680)>, <16, 5/68*w>, <4, 1/7684*(225*w + 3400)>, <20, 1/78*(7*w + 28)>, <12, 1/10*(w + 8)>, <12, 1/1196*(45*w + 531)>, <12, 1/27768*(385*w + 23848)>, <24, 1/16*(5*w + 40)>, <24, 1/299*(5*w + 59)>, <24, 1/89*(5*w - 35)>, <24, 1/368*(11*w + 93)>, <24, 1/22*(w - 3)>, <12, 1/138*(w + 136)>, <12, 1/24*(w - 1)>, <36, 1/2*(w - 3)>, <40, 1/142*(5*w + 10)>, <36, 1/78*(w + 73)>, <12, 1/26344*(507*w + 26533)>, <6, 1/169*(7*w + 42)>, <4, 1/99*(7*w + 120)>, <12, 1/136*(3*w + 136)>, <12, 1/24568*(1089*w + 9927)>, <36, 1/5*(w - 1)>, <24, 1/143*(6*w + 167)>, <12, 1/9*(w - 1)>, <12, 1/30736*(495*w + 7480)>, <24, 1/72*(11*w + 116)>, <24, 1/11454*(385*w + 4249)>, <12, 1/2288*(21*w + 2456)>, <24, 1/497*(55*w + 607)>, <36, 1/136*(5*w - 5)>, <24, 1/408*(11*w + 221)>, <24, 1/166*(11*w + 221)>, <24, 1/13*(w - 4)>, <24, 1/408*(13*w + 187)>, <24, 1/78*(w + 82)>, <24, 1/78*(w - 5)>, <12, 1/11*(6*w - 42)>, <24, 1/221*(5*w + 131)>, <24, 1/68*(w + 68)>, <12, 1/17*(18*w - 18)>, <28, 1/39*(w - 5)>, <24, 1/184*(5*w + 120)>, <24, 1/184*(5*w + 59)>, <24, 1/44*(w + 47)>, <12, 1/26*(5*w + 46)>, <24, 1/598*(11*w + 517)>, <12, 1/2158*(55*w + 1520)>, <24, 1/1472*(33*w + 999)>, <24, 1/1472*(33*w + 440)>, <12, 1/9472*(99*w + 936)>, <24, 1/69*(2*w + 71)>, <24, 1/83*(2*w + 71)>, <8, 1/581*(3*w - 18)>, <4, 1/2028*(35*w + 488)>, <8, 1/6*(7*w - 42)>, <16, 1/415*(14*w - 84)>, <6, 1/83*(w + 5)>, <6, 1/72*(w - 6)>, <12, 1/1258*(25*w + 408)>, <24, 1/3293*(60*w + 2585)>, <84, 1/13*(w + 7)>, <12, 1/320*(7*w - 56)>, <24, 1/221*(5*w + 85)>, <24, 1/592*(13*w + 520)>, <48, 1/3*(w - 6)>, <12, 1/142*(w + 139)>, <12, 1/71*(12*w + 24)>, <28, 1/39*(w + 43)>, <24, 1/18*(w + 21)>, <24, 1/138*(5*w + 143)>, <24, 1/5*(w + 6)>, <24, 1/18*(w - 4)>, <30, 1/2*(w + 3)>, <12, 1/66*(w - 3)>, <24, 1/35*(6*w + 53)>, <24, 1/888*(35*w + 993)>, <12, 1/148*(13*w + 96)>, <12, 1/33448*(273*w - 2289)>, <48, 1/208*(3*w + 181)>, <24, 1/592*(13*w + 59)>, <4, 1/45*(11*w + 100)>, <16, 1/4407*(70*w + 4837)>, <24, 1/68*(39*w + 29)>, <24, 1/3071*(39*w + 29)>, <36, 1/136*(7*w - 7)>, <24, 1/296*(65*w + 491)>, <12, w - 4>, <24, 1/46*(w + 47)>, <24, 1/52*(w + 47)>, <48, 1/9*(7*w + 49)>, <12, 1/234*(25*w - 125)>, <24, 1/65*(2*w + 71)>, <24, 1/89*(9*w + 143)>, <24, 1/89*(9*w - 63)>, <12, 1/782*(11*w + 34)>, <12, 1/69*(w + 67)>, <16, 1/113*(5*w + 45)>, <12, 1/18*(5*w - 50)>, <20, 1/14*(w + 4)>, <8, 1/364*(5*w - 25)>, <4, 1/56*(3*w + 83)>, <16, 1/20*(7*w + 63)>, <4, 1/49*(2*w + 18)>, <4, 1/234*(49*w - 11)>, <8, 1/15*(7*w - 35)>, <16, 1/415*(14*w + 485)>, <24, 1/10*(13*w - 91)>, <12, 1/664*(39*w - 234)>, <24, 1/15936*(65*w + 15431)>, <48, 1/9*(7*w - 47)>, <24, 1/943*(30*w + 628)>, <12, 1/68*(5*w - 5)>, <12, 1/18*(5*w + 68)>, <24, 1/943*(30*w + 285)>, <4, 1/497*(16*w + 529)>, <4, 1/497*(12*w + 248)>, <4, 1/164*(4*w + 243)>, <20, 1/142*(13*w + 26)>, <4, 1/2911*(52*w + 1027)>, <4, 1/71*(4*w + 79)>, <20, 1/13*(w + 2)>, <12, 1/5*(w + 7)>, <12, 1/320*(39*w - 312)>, <24, 1/6319*(130*w + 1314)>, <12, 1/832*(w + 7)>, <24, 1/332*(65*w + 657)>, <12, 1/27*(13*w - 116)>, <4, 1/20164*(585*w + 14859)>, <12, 1/1494*(169*w + 845)>, <12, 1/169*(3*w + 148)>, <12, 1/29548*(169*w + 480)>, <6, 1/31684*(117*w + 783)>, <-12, 1/33*(-w + 34)>, <-12, 1/952*(-143*w + 143)>, <-12, 1/33*(-w - 7)>, <-24, 1/48*(-w + 8)>, <-12, 1/160*(-3*w + 184)>, <-6, 1/3026*(-75*w + 1326)>, <-4, 1/78*(-w + 35)>, <-16, 1/442*(-9*w + 162)>, <-40, 1/17*(-w + 1)>, <-12, 1/408*(-65*w + 473)>, <-24, 1/9*(-w + 17)>, <-6, 1/481*(-12*w + 112)>, <-6, 1/18*(-w + 1)>, <-16, 1/104*(-7*w - 28)>, <-12, 1/6586*(-195*w + 4480)>, <-12, 1/28416*(-539*w + 23320)>, <-12, 1/1872*(-55*w - 440)>, <-12, 1/468*(-121*w + 1073)>, <-12, 1/48*(-w + 48)>, <-12, 1/13*(-6*w + 30)>, <-12, 1/221*(-6*w + 17)>, <-36, 1/208*(-w + 200)>, <-12, 1/368*(-13*w + 56)>, <-12, 1/299*(-10*w + 220)>, <-12, 1/74*(-15*w - 45)>, <-6, 1/249*(-25*w + 399)>, <-12, 1/322*(-39*w + 400)>, <-12, 1/166*(-7*w + 131)>, <-6, 1/23*(-12*w + 24)>, <-4, 1/35*(-w + 1)>, <-4, 1/680*(-63*w + 743)>, <-4, 1/7684*(-225*w + 3625)>, <-12, 1/10*(-w + 9)>, <-12, 1/1196*(-45*w + 576)>, <-12, 1/27768*(-385*w + 24233)>, <-12, 1/138*(-w + 137)>, <-12, -1/24*w>, <-12, 1/26344*(-507*w + 27040)>, <-6, 1/169*(-7*w + 49)>, <-4, 1/99*(-7*w + 127)>, <-12, 1/136*(-3*w + 139)>, <-12, 1/24568*(-1089*w + 11016)>, <-12, -1/9*w>, <-12, 1/30736*(-495*w + 7975)>, <-12, 1/2288*(-21*w + 2477)>, <-12, 1/11*(-6*w - 36)>, <-24, 1/68*(-w + 69)>, <-12, -18/17*w>, <-12, 1/26*(-5*w + 51)>, <-12, 1/2158*(-55*w + 1575)>, <-12, 1/9472*(-99*w + 1035)>, <-4, 1/2028*(-35*w + 523)>, <-6, 1/83*(-w + 6)>, <-6, 1/72*(-w - 5)>, <-12, 1/1258*(-25*w + 433)>, <-24, 1/3293*(-60*w + 2645)>, <-12, 1/320*(-7*w - 49)>, <-12, 1/142*(-w + 140)>, <-12, 1/71*(-12*w + 36)>, <-12, 1/66*(-w - 2)>, <-12, 1/148*(-13*w + 109)>, <-12, 1/33448*(-273*w - 2016)>, <-4, 1/45*(-11*w + 111)>, <-12, -w - 3>, <-12, 1/234*(-25*w - 100)>, <-12, 1/782*(-11*w + 45)>, <-12, 1/69*(-w + 68)>, <-12, 1/18*(-5*w - 45)>, <-4, 1/56*(-3*w + 86)>, <-4, 1/49*(-2*w + 20)>, <-4, 1/234*(-49*w + 38)>, <-12, 1/664*(-39*w - 195)>, <-12, -5/68*w>, <-12, 1/18*(-5*w + 73)>, <-4, 1/497*(-16*w + 545)>, <-4, 1/497*(-12*w + 260)>, <-4, 1/164*(-4*w + 247)>, <-4, 1/2911*(-52*w + 1079)>, <-4, 1/71*(-4*w + 83)>, <-12, 1/5*(-w + 8)>, <-12, 1/320*(-39*w - 273)>, <-12, 1/832*(-w + 8)>, <-12, 1/27*(-13*w - 103)>, <-4, 1/20164*(-585*w + 15444)>, <-12, 1/1494*(-169*w + 1014)>, <-12, 1/169*(-3*w + 151)>, <-12, 1/29548*(-169*w + 649)> ]