/* Defining polynomial */ x^2 - x + 180 /* GCD of coefficients */ 2 /* 24 * |disc|^(3/2) /(8*pi^2)* zeta_F(2) */ 15227.4451784042885582269886506 /* Belt */ [ <84, 1/26*(w - 2)>, <84, 1/7*(w - 2)>, <96, 1/7*(w + 5)>, <60, 1/100*(7*w + 65)>, <220, 1/25*(w + 20)>, <24, 1/63*(4*w + 95)>, <96, 1/30*(w + 5)>, <72, 1/200*(11*w + 145)>, <48, 1/118*(3*w + 94)>, <48, 1/91*(3*w + 94)>, <72, 1/200*(11*w + 44)>, <24, 1/600*(13*w + 260)>, <120, 1/13*(w + 7)>, <24, 1/13*(w + 20)>, <120, 1/210*(11*w + 144)>, <6, 1/175*(4*w + 55)>, <102, 1/6*(w + 5)>, <28, 1/39*(w + 27)>, <28, 1/24*(w + 27)>, <432, 1/15*(w + 5)>, <432, 1/15*(w + 9)>, <60, 1/100*(7*w + 28)>, <220, 1/24*(w + 20)>, <102, 1/6*(w + 6)>, <6, 1/37*(4*w - 28)>, <144, 1/222*(13*w + 131)>, <6, 1/21*(w + 26)>, <306, 1/21*(w + 5)>, <24, 1/63*(4*w - 36)>, <120, 1/210*(13*w + 132)>, <48, 1/91*(4*w + 83)>, <48, 1/111*(4*w + 83)>, <24, 1/110*(9*w - 63)>, <180, 1/118*(7*w + 62)>, <24, 1/999*(55*w - 385)>, <180, 1/14*(w + 6)>, <24, 1/118*(w + 125)>, <48, 1/182*(11*w + 11)>, <48, 1/11*(w + 1)>, <24, 1/2*(w + 9)>, <72, 1/120*(w + 110)>, <72, 1/413*(4*w + 440)>, <24, 1/8*(w - 2)>, <24, 1/91*(4*w - 8)>, <24, 1/182*(3*w + 3)>, <84, 1/236*(11*w + 148)>, <156, 1/32*(w + 3)>, <12, 1/720*(7*w + 693)>, <12, 1/98*(w + 5)>, <12, 1/48*(7*w + 20)>, <72, 1/6*(w + 4)>, <24, 1/234*(5*w + 135)>, <24, 1/20*(w + 27)>, <72, 1/6*(w + 1)>, <84, 1/192*(11*w + 148)>, <156, 1/6*(w + 3)>, <216, 1/37*(2*w + 23)>, <48, 1/74*(w - 7)>, <216, 1/35*(2*w + 23)>, <168, 1/16*(w + 7)>, <24, 1/186*(5*w + 16)>, <24, 1/320*(21*w + 383)>, <24, 1/16*(7*w + 65)>, <24, 1/40*(w + 19)>, <24, 1/40*(3*w - 18)>, <24, 1/6480*(143*w + 4797)>, <24, 1/5664*(143*w + 3597)>, <48, 1/3717*(20*w + 3852)>, <168, 1/16*(w + 8)>, <24, 1/481*(12*w + 249)>, <24, 1/40*(w + 20)>, <24, 1/111*(2*w + 97)>, <96, 1/70*(3*w + 52)>, <24, 1/481*(9*w + 535)>, <24, 1/13*(2*w + 15)>, <24, 1/481*(9*w - 63)>, <96, 1/64*(3*w + 52)>, <24, 1/75*(2*w + 15)>, <102, 1/37*(w + 6)>, <120, 1/50*(3*w + 35)>, <48, 1/88*(5*w + 103)>, <48, 1/56*(5*w + 76)>, <48, 1/30*(7*w - 42)>, <48, 1/49*(w - 6)>, <306, 1/10*(w + 5)>, <48, 1/56*(5*w - 25)>, <120, 1/12*(w + 7)>, <48, 1/120*(11*w + 153)>, <24, 1/1440*(13*w + 1287)>, <24, 1/222*(13*w - 91)>, <60, 1/236*(7*w + 49)>, <24, 1/96*(13*w + 135)>, <102, 1/30*(w + 29)>, <24, 1/91*(w + 99)>, <60, 1/236*(7*w + 180)>, <24, 1/560*(13*w + 247)>, <24, 1/525*(13*w + 135)>, <12, 1/11*(2*w - 14)>, <208, 1/12*(w + 8)>, <208, 1/21*(w + 8)>, <48, 1/7*(w - 6)>, <48, 1/30*(w - 6)>, <72, 1/8*(w - 5)>, <72, 1/42*(w + 29)>, <24, 1/275*(13*w + 327)>, <24, 1/6480*(143*w + 1540)>, <12, 1/420*(13*w - 78)>, <72, 1/200*(9*w + 155)>, <12, 1/200*(11*w - 55)>, <24, 1/93*(2*w + 97)>, <24, 1/3658*(105*w + 1915)>, <24, 1/413*(4*w + 441)>, <24, 1/35*(w + 1)>, <48, 1/3*(w - 7)>, <48, 1/77*(2*w + 93)>, <48, 1/72*(11*w + 160)>, <72, 1/118*(5*w + 78)>, <72, 1/126*(5*w + 40)>, <72, 1/10*(w + 8)>, <72, 1/93*(5*w + 78)>, <24, 1/182*(9*w + 9)>, <48, 1/4*(w + 5)>, <48, 1/182*(5*w + 5)>, <60, 1/14*(w + 1)>, <12, 1/11*(w - 2)>, <12, 1/312*(w - 12)>, <48, 1/5*(w + 1)>, <24, 1/1829*(40*w + 1165)>, <24, 1/185*(8*w + 233)>, <72, 1/42*(w + 36)>, <24, 1/531*(14*w + 301)>, <48, 1/295*(w + 302)>, <72, 1/40*(3*w + 52)>, <72, 1/15*(w + 19)>, <48, 1/1554*(5*w + 1510)>, <24, 1/531*(14*w + 216)>, <72, 1/5*(w - 1)>, <48, 1/105*(2*w + 10)>, <24, 1/236*(9*w + 63)>, <144, 1/15*(w + 8)>, <144, 1/15*(w + 6)>, <60, 1/9*(w + 9)>, <12, 1/270*(11*w - 110)>, <108, 1/9*(w + 6)>, <12, 1/666*(35*w - 245)>, <24, 1/200*(3*w + 12)>, <24, 1/224*(3*w + 9)>, <24, 1/182*(3*w - 6)>, <24, 1/18*(7*w + 21)>, <24, 1/3367*(80*w + 295)>, <24, 1/288*(7*w + 245)>, <24, 1/140*(11*w + 195)>, <36, 1/252*(w + 260)>, <36, 1/90*(w + 89)>, <12, 1/49*(2*w + 2)>, <24, 1/10*(w - 5)>, <24, 1/168*(5*w + 103)>, <24, 1/39*(w + 24)>, <24, 1/168*(5*w + 60)>, <16, 1/42*(w + 8)>, <12, 1/25*(w - 9)>, <24, 5/192*w>, <24, 1/288*(7*w + 36)>, <24, 1/885*(22*w + 390)>, <72, 1/7*(w + 6)>, <24, 1/111*(w + 117)>, <24, 1/3367*(100*w + 1192)>, <48, 1/1480*(33*w + 1012)>, <108, 1/9*(w + 2)>, <24, 1/375*(7*w + 53)>, <24, 1/4*(w + 7)>, <84, 1/10*(w + 9)>, <24, 1/40*(7*w + 68)>, <48, 1/15*(w + 4)>, <24, 1/1147*(33*w + 531)>, <24, 1/2*(w - 4)>, <24, 1/3456*(65*w + 2691)>, <48, 1/81*(2*w + 45)>, <24, 1/56*(5*w - 30)>, <24, 1/156*(7*w + 72)>, <12, 1/5*(7*w - 79)>, <48, 1/93*(2*w + 4)>, <48, 1/91*(2*w + 2)>, <24, 1/93*(11*w + 115)>, <24, 1/93*(11*w - 33)>, <48, 1/81*(2*w + 34)>, <24, 1/819*(20*w + 475)>, <48, 1/15*(w + 10)>, <24, 1/348*(7*w + 68)>, <24, 1/4*(w - 4)>, <84, 1/10*w>, <24, 1/2368*(35*w + 2345)>, <24, 1/42*(w - 4)>, <24, 1/555*(14*w + 121)>, <24, 1/555*(14*w + 420)>, <72, 1/13*(w + 4)>, <24, 1/13*(w + 17)>, <24, 1/10323*(182*w + 1314)>, <24, 1/96*(7*w + 21)>, <48, 1/37*(w - 7)>, <96, 1/111*(5*w + 76)>, <96, 1/111*(5*w + 30)>, <24, 1/91*(2*w - 8)>, <24, 1/14*(w + 3)>, <24, 1/65*(w + 64)>, <24, 1/13*(w - 5)>, <72, 1/200*(13*w + 52)>, <48, 1/37*(w + 43)>, <96, 1/45*(w + 44)>, <24, 1/555*(13*w + 152)>, <96, 1/48*(w + 44)>, <72, 1/222*(7*w + 42)>, <24, 1/100*(13*w + 152)>, <24, 1/182*(5*w + 187)>, <24, 1/222*(5*w + 187)>, <64, 1/192*(7*w + 21)>, <12, 1/2655*(98*w + 2107)>, <36, 1/5*(w + 7)>, <24, 1/93*(w + 2)>, <24, 1/39*(2*w + 43)>, <16, 1/64*(3*w - 12)>, <24, 1/3456*(65*w + 700)>, <88, 1/15*(w + 7)>, <24, 1/2*(w + 5)>, <24, 1/124*(13*w + 150)>, <48, 1/1480*(33*w + 435)>, <24, 1/44*(3*w - 12)>, <24, 1/2368*(35*w - 12)>, <24, 1/36*(13*w + 23)>, <24, 1/3367*(100*w + 2075)>, <24, 1/111*(w - 7)>, <48, 1/4*(w - 6)>, <24, 1/162*(5*w + 85)>, <24, 1/162*(5*w + 72)>, <24, 1/1395*(22*w + 1098)>, <72, 1/20*(w + 19)>, <24, 1/1911*(55*w + 891)>, <72, 1/20*w>, <24, 1/1911*(55*w + 965)>, <24, 1/472*(11*w + 549)>, <24, 1/290*(9*w + 191)>, <48, 1/336*(5*w + 271)>, <24, 1/2*(w + 3)>, <12, 1/312*(11*w + 180)>, <12, 1/2520*(13*w + 167)>, <24, 1/91*(w + 92)>, <76, 1/93*(4*w + 8)>, <76, 1/105*(4*w + 20)>, <84, 1/36*(w + 35)>, <24, 1/12*(7*w + 5)>, <24, 7/12*w>, <84, 1/40*(w + 35)>, <48, 1/336*(5*w + 60)>, <24, 1/182*(9*w + 191)>, <36, 1/252*(11*w + 153)>, <24, 1/59*(3*w + 80)>, <60, 1/59*(2*w + 14)>, <60, 1/59*(2*w + 43)>, <36, 1/186*(11*w + 153)>, <12, 1/560*(11*w + 209)>, <24, 1/59*(3*w - 24)>, <24, 1/832*(15*w + 685)>, <24, 1/832*(15*w + 132)>, <12, 1/104*(3*w + 33)>, <12, 1/35*(3*w - 36)>, <32, 1/13*(w + 3)>, <24, 1/243*(8*w + 99)>, <48, 1/135*(8*w + 55)>, <28, 1/32*(w - 4)>, <24, 1/64*(11*w + 97)>, <24, 1/33*(2*w + 45)>, <12, 1/25*(w + 28)>, <28, 1/45*(w + 9)>, <48, 1/135*(8*w + 72)>, <32, 1/192*(13*w + 39)>, <24, 1/243*(8*w + 136)>, <24, 1/504*(11*w + 97)>, <24, 1/148*(11*w + 214)>, <48, 1/295*(6*w + 70)>, <24, 1/5*(2*w - 5)>, <48, 1/64*(w + 60)>, <24, 1/360*(7*w + 308)>, <48, 1/29*(w + 10)>, <24, 7/48*w>, <24, 1/2*(w + 7)>, <48, 1/39*(w + 44)>, <48, 1/70*(13*w + 135)>, <24, 1/243*(7*w + 117)>, <12, 1/186*(49*w + 284)>, <12, 1/186*(w - 3)>, <24, 1/96*(7*w + 117)>, <24, 1/105*(11*w - 66)>, <24, 1/6549*(70*w + 5859)>, <24, 1/105*(11*w + 160)>, <24, 1/48*(7*w + 41)>, <48, 1/29*(w + 18)>, <24, 1/360*(7*w + 45)>, <48, 1/3*(w - 1)>, <48, 1/60*(w + 59)>, <24, 1/128*(13*w - 52)>, <24, 1/208*(9*w + 235)>, <12, 1/84*(w + 75)>, <24, 1/4495*(117*w + 3055)>, <48, 1/62*(w + 59)>, <24, 1/128*(13*w + 167)>, <12, 1/186*(13*w + 147)>, <6, 1/1450*(121*w + 2660)>, <60, 1/50*(w + 45)>, <60, 1/45*(w + 45)>, <24, 1/777*(10*w + 837)>, <24, 1/63*(w - 9)>, <36, 1/186*(5*w + 171)>, <18, 1/100*(w + 4)>, <6, 1/93*(49*w + 98)>, <12, 1/28*(w + 15)>, <12, 1/1652*(13*w + 1743)>, <24, 1/105*(w + 110)>, <24, 1/80*(w + 75)>, <48, 1/63*(2*w - 12)>, <24, 1/54*(w + 17)>, <48, 1/135*(2*w + 115)>, <24, 1/28*(w - 9)>, <52, 1/12*(w + 9)>, <52, 1/45*(2*w + 18)>, <24, 1/12*(w + 10)>, <30, 1/290*(11*w + 110)>, <6, 1/169*(11*w + 169)>, <12, w>, <36, 1/2*(w + 1)>, <52, 1/28*(w - 6)>, <52, 1/93*(2*w + 25)>, <12, 1/91*(w - 5)>, <24, 1/91*(6*w + 79)>, <24, 1/155*(2*w + 128)>, <24, 1/12*(w + 20)>, <48, 1/45*(2*w - 2)>, <48, 1/63*(2*w + 16)>, <24, 1/56*(w + 64)>, <48, 1/252*(17*w + 99)>, <24, 1/50*(w + 20)>, <16, 1/25*(2*w + 15)>, <16, 1/975*(14*w - 119)>, <24, 1/354*(7*w - 56)>, <24, 1/62*(11*w - 33)>, <24, 1/3348*(77*w + 1071)>, <24, 1/65*(4*w + 81)>, <24, 1/1953*(52*w + 1053)>, <36, 1/186*(5*w + 196)>, <24, 1/3348*(77*w + 2200)>, <24, 1/480*(11*w + 385)>, <36, 1/63*(w + 54)>, <12, 1/192*(49*w + 147)>, <12, 1/49*(w + 44)>, <12, 1/9600*(49*w - 4)>, <12, 1/124*(7*w + 138)>, <24, 1/32*(5*w - 20)>, <24, 1/25*(w - 6)>, <36, 1/252*(w - 9)>, <24, 1/222*(5*w + 67)>, <24, 1/32*(5*w + 47)>, <12, 1/2772*(65*w + 3292)>, <24, 1/767*(11*w + 844)>, <24, 1/767*(11*w - 88)>, <6, 1/111*(w + 6)>, <6, 1/98*(w - 7)>, <12, 1/35*(2*w + 33)>, <36, 1/50*(w + 54)>, <60, 1/9*(w - 1)>, <12, 1/135*(4*w + 171)>, <12, 1/3186*(85*w + 2601)>, <24, 1/11*(w + 17)>, <24, 1/11*(w - 7)>, <24, 1/55*(6*w - 30)>, <12, 1/91*(w + 90)>, <24, 1/13*(w - 2)>, <24, 1/13*(w + 14)>, <16, 1/7*(2*w - 20)>, <24, 1/2639*(66*w + 1704)>, <60, 1/24*(w + 11)>, <24, 1/1176*(17*w + 1275)>, <24, 1/4*(w - 9)>, <24, 1/85*(w + 75)>, <4, 1/75*(2*w + 33)>, <4, 1/16*(w + 27)>, <8, 1/7*(2*w - 10)>, <8, 1/400*(7*w - 35)>, <60, 1/186*(7*w + 165)>, <12, 1/100*(3*w + 37)>, <24, 1/118*(13*w + 209)>, <24, 1/26*(w + 33)>, <12, 1/68*(5*w - 15)>, <60, 1/186*(7*w + 14)>, <24, 1/62*(w + 64)>, <12, w - 5>, <24, 1/70*(w + 64)>, <24, 1/65*(w + 67)>, <12, 1/112*(5*w + 95)>, <12, 1/45*(w + 8)>, <12, 1/12*(5*w + 12)>, <24, 1/65*(w - 3)>, <48, 1/1008*(5*w + 963)>, <24, 1/1475*(21*w + 245)>, <12, 1/486*(17*w + 180)>, <30, 1/11*(w + 10)>, <12, 1/195*(7*w + 90)>, <36, 1/15*(w + 14)>, <24, 1/93*(7*w + 72)>, <12, 1/13*(2*w + 35)>, <20, 1/186*(7*w - 21)>, <4, 1/31*(4*w + 81)>, <16, 1/7*(2*w + 25)>, <20, 1/7*(w - 3)>, <12, 1/26*(w - 3)>, <12, 1/221*(7*w + 14)>, <12, 1/370*(3*w + 388)>, <12, 1/1260*(187*w + 1073)>, <24, 1/390*(11*w + 225)>, <12, 1/3*(w - 12)>, <24, 1/390*(11*w + 154)>, <4, 1/26*(w + 35)>, <4, 1/315*(2*w + 115)>, <4, 1/32*(3*w + 105)>, <12, 1/270*(17*w + 100)>, <12, 1/3068*(49*w + 3411)>, <24, 1/944*(15*w + 164)>, <12, 5*w - 44>, <24, 1/74*(15*w + 164)>, <12, 1/104*(5*w + 44)>, <12, 1/11*(5*w - 49)>, <4, 1/36864*(1001*w + 23452)>, <12, 1/225*(11*w + 148)>, <12, 1/236*(75*w + 525)>, <12, 1/17464*(75*w + 289)>, <4, 1/55696*(165*w + 1276)>, <-6, 1/175*(-4*w + 59)>, <-6, 1/37*(-4*w - 24)>, <-6, 1/21*(-w + 27)>, <-12, 1/720*(-7*w + 700)>, <-12, 1/98*(-w + 6)>, <-12, 1/48*(-7*w + 27)>, <-12, 1/11*(-2*w - 12)>, <-12, 1/420*(-13*w - 65)>, <-12, 1/200*(-11*w - 44)>, <-12, 1/11*(-w - 1)>, <-12, 1/312*(-w - 11)>, <-12, 1/270*(-11*w - 99)>, <-12, 1/666*(-35*w - 210)>, <-12, 1/49*(-2*w + 4)>, <-16, 1/42*(-w + 9)>, <-12, 1/25*(-w - 8)>, <-12, 1/5*(-7*w - 72)>, <-12, 1/2655*(-98*w + 2205)>, <-24, 1/93*(-w + 3)>, <-16, 1/64*(-3*w - 9)>, <-12, 1/312*(-11*w + 191)>, <-12, 1/2520*(-13*w + 180)>, <-12, 1/560*(-11*w + 220)>, <-12, 1/104*(-3*w + 36)>, <-12, 1/35*(-3*w - 33)>, <-12, 1/25*(-w + 29)>, <-12, 1/186*(-49*w + 333)>, <-12, 1/186*(-w - 2)>, <-12, 1/84*(-w + 76)>, <-12, 1/186*(-13*w + 160)>, <-6, 1/1450*(-121*w + 2781)>, <-18, 1/100*(-w + 5)>, <-6, 1/93*(-49*w + 147)>, <-12, 1/28*(-w + 16)>, <-12, 1/1652*(-13*w + 1756)>, <-6, 1/169*(-11*w + 180)>, <-12, 1/91*(-w - 4)>, <-16, 1/25*(-2*w + 17)>, <-16, 1/975*(-14*w - 105)>, <-12, 1/192*(-49*w + 196)>, <-12, 1/49*(-w + 45)>, <-12, 1/9600*(-49*w + 45)>, <-12, 1/124*(-7*w + 145)>, <-12, 1/2772*(-65*w + 3357)>, <-6, 1/111*(-w + 7)>, <-6, 1/98*(-w - 6)>, <-12, 1/35*(-2*w + 35)>, <-12, 1/135*(-4*w + 175)>, <-12, 1/3186*(-85*w + 2686)>, <-12, 1/91*(-w + 91)>, <-4, 1/75*(-2*w + 35)>, <-4, 1/16*(-w + 28)>, <-12, 1/100*(-3*w + 40)>, <-12, 1/68*(-5*w - 10)>, <-12, -w - 4>, <-12, 1/112*(-5*w + 100)>, <-12, 1/45*(-w + 9)>, <-12, 1/12*(-5*w + 17)>, <-12, 1/486*(-17*w + 197)>, <-12, 1/195*(-7*w + 97)>, <-36, 1/15*(-w + 15)>, <-12, 1/13*(-2*w + 37)>, <-4, 1/31*(-4*w + 85)>, <-12, 1/26*(-w - 2)>, <-12, 1/221*(-7*w + 21)>, <-12, 1/370*(-3*w + 391)>, <-12, 1/1260*(-187*w + 1260)>, <-12, 1/3*(-w - 11)>, <-4, 1/26*(-w + 36)>, <-4, 1/315*(-2*w + 117)>, <-4, 1/32*(-3*w + 108)>, <-12, 1/270*(-17*w + 117)>, <-12, 1/3068*(-49*w + 3460)>, <-12, -5*w - 39>, <-12, 1/104*(-5*w + 49)>, <-12, 1/11*(-5*w - 44)>, <-4, 1/36864*(-1001*w + 24453)>, <-12, 1/225*(-11*w + 159)>, <-12, 1/236*(-75*w + 600)>, <-12, 1/17464*(-75*w + 364)>, <-4, 1/55696*(-165*w + 1441)> ]