Skip to content

Instantly share code, notes, and snippets.

@saschatimme
Last active July 4, 2018 09:20
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save saschatimme/ef2caedf03da9ebfbe908eb0a44aac4b to your computer and use it in GitHub Desktop.
Save saschatimme/ef2caedf03da9ebfbe908eb0a44aac4b to your computer and use it in GitHub Desktop.
Polynomial system to compute all circles that are tangent to 3 given conics. See https://www.JuliaHomotopyContinuation.org/blog/circles_conics/
x, y, a_1, a_2, r, b_1, b_2, b_3, b_4, b_5, b_6 = [PolyVar{true}(i) for i in ["x", "y", "a_1", "a_2", "r", "b_1", "b_2", "b_3", "b_4", "b_5", "b_6"]];
f = [a_1^8*b_1^2*b_2^4+2*a_1^6*a_2^2*b_1^2*b_2^4+a_1^4*a_2^4*b_1^2*b_2^4-4*a_1^6*r^2*b_1^2*b_2^4-6*a_1^4*a_2^2*r^2*b_1^2*b_2^4-2*a_1^2*a_2^4*r^2*b_1^2*b_2^4+6*a_1^4*r^4*b_1^2*b_2^4+6*a_1^2*a_2^2*r^4*b_1^2*b_2^4+a_2^4*r^4*b_1^2*b_2^4-4*a_1^2*r^6*b_1^2*b_2^4-2*a_2^2*r^6*b_1^2*b_2^4+r^8*b_1^2*b_2^4+2*a_1^7*a_2*b_1*b_2^5+4*a_1^5*a_2^3*b_1*b_2^5+2*a_1^3*a_2^5*b_1*b_2^5-6*a_1^5*a_2*r^2*b_1*b_2^5-8*a_1^3*a_2^3*r^2*b_1*b_2^5-2*a_1*a_2^5*r^2*b_1*b_2^5+6*a_1^3*a_2*r^4*b_1*b_2^5+4*a_1*a_2^3*r^4*b_1*b_2^5-2*a_1*a_2*r^6*b_1*b_2^5+a_1^6*a_2^2*b_2^6+2*a_1^4*a_2^4*b_2^6+a_1^2*a_2^6*b_2^6-a_1^6*r^2*b_2^6-5*a_1^4*a_2^2*r^2*b_2^6-5*a_1^2*a_2^4*r^2*b_2^6-a_2^6*r^2*b_2^6+3*a_1^4*r^4*b_2^6+7*a_1^2*a_2^2*r^4*b_2^6+3*a_2^4*r^4*b_2^6-3*a_1^2*r^6*b_2^6-3*a_2^2*r^6*b_2^6+r^8*b_2^6-8*a_1^8*b_1^3*b_2^2*b_3-16*a_1^6*a_2^2*b_1^3*b_2^2*b_3-8*a_1^4*a_2^4*b_1^3*b_2^2*b_3+32*a_1^6*r^2*b_1^3*b_2^2*b_3+48*a_1^4*a_2^2*r^2*b_1^3*b_2^2*b_3+16*a_1^2*a_2^4*r^2*b_1^3*b_2^2*b_3-48*a_1^4*r^4*b_1^3*b_2^2*b_3-48*a_1^2*a_2^2*r^4*b_1^3*b_2^2*b_3-8*a_2^4*r^4*b_1^3*b_2^2*b_3+32*a_1^2*r^6*b_1^3*b_2^2*b_3+16*a_2^2*r^6*b_1^3*b_2^2*b_3-8*r^8*b_1^3*b_2^2*b_3-16*a_1^7*a_2*b_1^2*b_2^3*b_3-32*a_1^5*a_2^3*b_1^2*b_2^3*b_3-16*a_1^3*a_2^5*b_1^2*b_2^3*b_3+48*a_1^5*a_2*r^2*b_1^2*b_2^3*b_3+64*a_1^3*a_2^3*r^2*b_1^2*b_2^3*b_3+16*a_1*a_2^5*r^2*b_1^2*b_2^3*b_3-48*a_1^3*a_2*r^4*b_1^2*b_2^3*b_3-32*a_1*a_2^3*r^4*b_1^2*b_2^3*b_3+16*a_1*a_2*r^6*b_1^2*b_2^3*b_3-6*a_1^6*a_2^2*b_1*b_2^4*b_3-12*a_1^4*a_2^4*b_1*b_2^4*b_3-6*a_1^2*a_2^6*b_1*b_2^4*b_3+10*a_1^6*r^2*b_1*b_2^4*b_3+42*a_1^4*a_2^2*r^2*b_1*b_2^4*b_3+42*a_1^2*a_2^4*r^2*b_1*b_2^4*b_3+10*a_2^6*r^2*b_1*b_2^4*b_3-30*a_1^4*r^4*b_1*b_2^4*b_3-66*a_1^2*a_2^2*r^4*b_1*b_2^4*b_3-30*a_2^4*r^4*b_1*b_2^4*b_3+30*a_1^2*r^6*b_1*b_2^4*b_3+30*a_2^2*r^6*b_1*b_2^4*b_3-10*r^8*b_1*b_2^4*b_3+2*a_1^5*a_2^3*b_2^5*b_3+4*a_1^3*a_2^5*b_2^5*b_3+2*a_1*a_2^7*b_2^5*b_3-2*a_1^5*a_2*r^2*b_2^5*b_3-8*a_1^3*a_2^3*r^2*b_2^5*b_3-6*a_1*a_2^5*r^2*b_2^5*b_3+4*a_1^3*a_2*r^4*b_2^5*b_3+6*a_1*a_2^3*r^4*b_2^5*b_3-2*a_1*a_2*r^6*b_2^5*b_3+16*a_1^8*b_1^4*b_3^2+32*a_1^6*a_2^2*b_1^4*b_3^2+16*a_1^4*a_2^4*b_1^4*b_3^2-64*a_1^6*r^2*b_1^4*b_3^2-96*a_1^4*a_2^2*r^2*b_1^4*b_3^2-32*a_1^2*a_2^4*r^2*b_1^4*b_3^2+96*a_1^4*r^4*b_1^4*b_3^2+96*a_1^2*a_2^2*r^4*b_1^4*b_3^2+16*a_2^4*r^4*b_1^4*b_3^2-64*a_1^2*r^6*b_1^4*b_3^2-32*a_2^2*r^6*b_1^4*b_3^2+16*r^8*b_1^4*b_3^2+32*a_1^7*a_2*b_1^3*b_2*b_3^2+64*a_1^5*a_2^3*b_1^3*b_2*b_3^2+32*a_1^3*a_2^5*b_1^3*b_2*b_3^2-96*a_1^5*a_2*r^2*b_1^3*b_2*b_3^2-128*a_1^3*a_2^3*r^2*b_1^3*b_2*b_3^2-32*a_1*a_2^5*r^2*b_1^3*b_2*b_3^2+96*a_1^3*a_2*r^4*b_1^3*b_2*b_3^2+64*a_1*a_2^3*r^4*b_1^3*b_2*b_3^2-32*a_1*a_2*r^6*b_1^3*b_2*b_3^2-32*a_1^6*r^2*b_1^2*b_2^2*b_3^2-96*a_1^4*a_2^2*r^2*b_1^2*b_2^2*b_3^2-96*a_1^2*a_2^4*r^2*b_1^2*b_2^2*b_3^2-32*a_2^6*r^2*b_1^2*b_2^2*b_3^2+96*a_1^4*r^4*b_1^2*b_2^2*b_3^2+192*a_1^2*a_2^2*r^4*b_1^2*b_2^2*b_3^2+96*a_2^4*r^4*b_1^2*b_2^2*b_3^2-96*a_1^2*r^6*b_1^2*b_2^2*b_3^2-96*a_2^2*r^6*b_1^2*b_2^2*b_3^2+32*r^8*b_1^2*b_2^2*b_3^2-16*a_1^5*a_2^3*b_1*b_2^3*b_3^2-32*a_1^3*a_2^5*b_1*b_2^3*b_3^2-16*a_1*a_2^7*b_1*b_2^3*b_3^2+16*a_1^5*a_2*r^2*b_1*b_2^3*b_3^2+64*a_1^3*a_2^3*r^2*b_1*b_2^3*b_3^2+48*a_1*a_2^5*r^2*b_1*b_2^3*b_3^2-32*a_1^3*a_2*r^4*b_1*b_2^3*b_3^2-48*a_1*a_2^3*r^4*b_1*b_2^3*b_3^2+16*a_1*a_2*r^6*b_1*b_2^3*b_3^2+a_1^4*a_2^4*b_2^4*b_3^2+2*a_1^2*a_2^6*b_2^4*b_3^2+a_2^8*b_2^4*b_3^2-2*a_1^4*a_2^2*r^2*b_2^4*b_3^2-6*a_1^2*a_2^4*r^2*b_2^4*b_3^2-4*a_2^6*r^2*b_2^4*b_3^2+a_1^4*r^4*b_2^4*b_3^2+6*a_1^2*a_2^2*r^4*b_2^4*b_3^2+6*a_2^4*r^4*b_2^4*b_3^2-2*a_1^2*r^6*b_2^4*b_3^2-4*a_2^2*r^6*b_2^4*b_3^2+r^8*b_2^4*b_3^2+32*a_1^6*a_2^2*b_1^3*b_3^3+64*a_1^4*a_2^4*b_1^3*b_3^3+32*a_1^2*a_2^6*b_1^3*b_3^3+32*a_1^6*r^2*b_1^3*b_3^3+32*a_1^4*a_2^2*r^2*b_1^3*b_3^3+32*a_1^2*a_2^4*r^2*b_1^3*b_3^3+32*a_2^6*r^2*b_1^3*b_3^3-96*a_1^4*r^4*b_1^3*b_3^3-160*a_1^2*a_2^2*r^4*b_1^3*b_3^3-96*a_2^4*r^4*b_1^3*b_3^3+96*a_1^2*r^6*b_1^3*b_3^3+96*a_2^2*r^6*b_1^3*b_3^3-32*r^8*b_1^3*b_3^3+32*a_1^5*a_2^3*b_1^2*b_2*b_3^3+64*a_1^3*a_2^5*b_1^2*b_2*b_3^3+32*a_1*a_2^7*b_1^2*b_2*b_3^3-32*a_1^5*a_2*r^2*b_1^2*b_2*b_3^3-128*a_1^3*a_2^3*r^2*b_1^2*b_2*b_3^3-96*a_1*a_2^5*r^2*b_1^2*b_2*b_3^3+64*a_1^3*a_2*r^4*b_1^2*b_2*b_3^3+96*a_1*a_2^3*r^4*b_1^2*b_2*b_3^3-32*a_1*a_2*r^6*b_1^2*b_2*b_3^3-8*a_1^4*a_2^4*b_1*b_2^2*b_3^3-16*a_1^2*a_2^6*b_1*b_2^2*b_3^3-8*a_2^8*b_1*b_2^2*b_3^3+16*a_1^4*a_2^2*r^2*b_1*b_2^2*b_3^3+48*a_1^2*a_2^4*r^2*b_1*b_2^2*b_3^3+32*a_2^6*r^2*b_1*b_2^2*b_3^3-8*a_1^4*r^4*b_1*b_2^2*b_3^3-48*a_1^2*a_2^2*r^4*b_1*b_2^2*b_3^3-48*a_2^4*r^4*b_1*b_2^2*b_3^3+16*a_1^2*r^6*b_1*b_2^2*b_3^3+32*a_2^2*r^6*b_1*b_2^2*b_3^3-8*r^8*b_1*b_2^2*b_3^3+16*a_1^4*a_2^4*b_1^2*b_3^4+32*a_1^2*a_2^6*b_1^2*b_3^4+16*a_2^8*b_1^2*b_3^4-32*a_1^4*a_2^2*r^2*b_1^2*b_3^4-96*a_1^2*a_2^4*r^2*b_1^2*b_3^4-64*a_2^6*r^2*b_1^2*b_3^4+16*a_1^4*r^4*b_1^2*b_3^4+96*a_1^2*a_2^2*r^4*b_1^2*b_3^4+96*a_2^4*r^4*b_1^2*b_3^4-32*a_1^2*r^6*b_1^2*b_3^4-64*a_2^2*r^6*b_1^2*b_3^4+16*r^8*b_1^2*b_3^4+4*a_1^6*a_2*b_1^2*b_2^3*b_4+4*a_1^4*a_2^3*b_1^2*b_2^3*b_4-12*a_1^4*a_2*r^2*b_1^2*b_2^3*b_4-8*a_1^2*a_2^3*r^2*b_1^2*b_2^3*b_4+12*a_1^2*a_2*r^4*b_1^2*b_2^3*b_4+4*a_2^3*r^4*b_1^2*b_2^3*b_4-4*a_2*r^6*b_1^2*b_2^3*b_4+2*a_1^7*b_1*b_2^4*b_4+12*a_1^5*a_2^2*b_1*b_2^4*b_4+10*a_1^3*a_2^4*b_1*b_2^4*b_4-6*a_1^5*r^2*b_1*b_2^4*b_4-24*a_1^3*a_2^2*r^2*b_1*b_2^4*b_4-10*a_1*a_2^4*r^2*b_1*b_2^4*b_4+6*a_1^3*r^4*b_1*b_2^4*b_4+12*a_1*a_2^2*r^4*b_1*b_2^4*b_4-2*a_1*r^6*b_1*b_2^4*b_4+2*a_1^6*a_2*b_2^5*b_4+8*a_1^4*a_2^3*b_2^5*b_4+6*a_1^2*a_2^5*b_2^5*b_4-10*a_1^4*a_2*r^2*b_2^5*b_4-20*a_1^2*a_2^3*r^2*b_2^5*b_4-6*a_2^5*r^2*b_2^5*b_4+14*a_1^2*a_2*r^4*b_2^5*b_4+12*a_2^3*r^4*b_2^5*b_4-6*a_2*r^6*b_2^5*b_4-16*a_1^6*a_2*b_1^3*b_2*b_3*b_4-16*a_1^4*a_2^3*b_1^3*b_2*b_3*b_4+48*a_1^4*a_2*r^2*b_1^3*b_2*b_3*b_4+32*a_1^2*a_2^3*r^2*b_1^3*b_2*b_3*b_4-48*a_1^2*a_2*r^4*b_1^3*b_2*b_3*b_4-16*a_2^3*r^4*b_1^3*b_2*b_3*b_4+16*a_2*r^6*b_1^3*b_2*b_3*b_4-24*a_1^7*b_1^2*b_2^2*b_3*b_4-72*a_1^5*a_2^2*b_1^2*b_2^2*b_3*b_4-48*a_1^3*a_2^4*b_1^2*b_2^2*b_3*b_4+72*a_1^5*r^2*b_1^2*b_2^2*b_3*b_4+144*a_1^3*a_2^2*r^2*b_1^2*b_2^2*b_3*b_4+48*a_1*a_2^4*r^2*b_1^2*b_2^2*b_3*b_4-72*a_1^3*r^4*b_1^2*b_2^2*b_3*b_4-72*a_1*a_2^2*r^4*b_1^2*b_2^2*b_3*b_4+24*a_1*r^6*b_1^2*b_2^2*b_3*b_4-32*a_1^6*a_2*b_1*b_2^3*b_3*b_4-56*a_1^4*a_2^3*b_1*b_2^3*b_3*b_4-24*a_1^2*a_2^5*b_1*b_2^3*b_3*b_4+104*a_1^4*a_2*r^2*b_1*b_2^3*b_3*b_4+136*a_1^2*a_2^3*r^2*b_1*b_2^3*b_3*b_4+40*a_2^5*r^2*b_1*b_2^3*b_3*b_4-112*a_1^2*a_2*r^4*b_1*b_2^3*b_3*b_4-80*a_2^3*r^4*b_1*b_2^3*b_3*b_4+40*a_2*r^6*b_1*b_2^3*b_3*b_4-6*a_1^5*a_2^2*b_2^4*b_3*b_4+4*a_1^3*a_2^4*b_2^4*b_3*b_4+10*a_1*a_2^6*b_2^4*b_3*b_4+10*a_1^5*r^2*b_2^4*b_3*b_4+16*a_1^3*a_2^2*r^2*b_2^4*b_3*b_4-10*a_1*a_2^4*r^2*b_2^4*b_3*b_4-20*a_1^3*r^4*b_2^4*b_3*b_4-10*a_1*a_2^2*r^4*b_2^4*b_3*b_4+10*a_1*r^6*b_2^4*b_3*b_4+64*a_1^7*b_1^3*b_3^2*b_4+96*a_1^5*a_2^2*b_1^3*b_3^2*b_4+32*a_1^3*a_2^4*b_1^3*b_3^2*b_4-192*a_1^5*r^2*b_1^3*b_3^2*b_4-192*a_1^3*a_2^2*r^2*b_1^3*b_3^2*b_4-32*a_1*a_2^4*r^2*b_1^3*b_3^2*b_4+192*a_1^3*r^4*b_1^3*b_3^2*b_4+96*a_1*a_2^2*r^4*b_1^3*b_3^2*b_4-64*a_1*r^6*b_1^3*b_3^2*b_4+96*a_1^6*a_2*b_1^2*b_2*b_3^2*b_4+96*a_1^4*a_2^3*b_1^2*b_2*b_3^2*b_4-256*a_1^4*a_2*r^2*b_1^2*b_2*b_3^2*b_4-224*a_1^2*a_2^3*r^2*b_1^2*b_2*b_3^2*b_4-64*a_2^5*r^2*b_1^2*b_2*b_3^2*b_4+224*a_1^2*a_2*r^4*b_1^2*b_2*b_3^2*b_4+128*a_2^3*r^4*b_1^2*b_2*b_3^2*b_4-64*a_2*r^6*b_1^2*b_2*b_3^2*b_4-48*a_1^3*a_2^4*b_1*b_2^2*b_3^2*b_4-48*a_1*a_2^6*b_1*b_2^2*b_3^2*b_4-64*a_1^5*r^2*b_1*b_2^2*b_3^2*b_4-80*a_1^3*a_2^2*r^2*b_1*b_2^2*b_3^2*b_4+32*a_1*a_2^4*r^2*b_1*b_2^2*b_3^2*b_4+128*a_1^3*r^4*b_1*b_2^2*b_3^2*b_4+80*a_1*a_2^2*r^4*b_1*b_2^2*b_3^2*b_4-64*a_1*r^6*b_1*b_2^2*b_3^2*b_4-16*a_1^4*a_2^3*b_2^3*b_3^2*b_4-12*a_1^2*a_2^5*b_2^3*b_3^2*b_4+4*a_2^7*b_2^3*b_3^2*b_4+16*a_1^4*a_2*r^2*b_2^3*b_3^2*b_4+24*a_1^2*a_2^3*r^2*b_2^3*b_3^2*b_4-12*a_2^5*r^2*b_2^3*b_3^2*b_4-12*a_1^2*a_2*r^4*b_2^3*b_3^2*b_4+12*a_2^3*r^4*b_2^3*b_3^2*b_4-4*a_2*r^6*b_2^3*b_3^2*b_4+96*a_1^5*a_2^2*b_1^2*b_3^3*b_4+128*a_1^3*a_2^4*b_1^2*b_3^3*b_4+32*a_1*a_2^6*b_1^2*b_3^3*b_4+96*a_1^5*r^2*b_1^2*b_3^3*b_4+64*a_1^3*a_2^2*r^2*b_1^2*b_3^3*b_4+32*a_1*a_2^4*r^2*b_1^2*b_3^3*b_4-192*a_1^3*r^4*b_1^2*b_3^3*b_4-160*a_1*a_2^2*r^4*b_1^2*b_3^3*b_4+96*a_1*r^6*b_1^2*b_3^3*b_4+64*a_1^4*a_2^3*b_1*b_2*b_3^3*b_4+48*a_1^2*a_2^5*b_1*b_2*b_3^3*b_4-16*a_2^7*b_1*b_2*b_3^3*b_4-64*a_1^4*a_2*r^2*b_1*b_2*b_3^3*b_4-96*a_1^2*a_2^3*r^2*b_1*b_2*b_3^3*b_4+48*a_2^5*r^2*b_1*b_2*b_3^3*b_4+48*a_1^2*a_2*r^4*b_1*b_2*b_3^3*b_4-48*a_2^3*r^4*b_1*b_2*b_3^3*b_4+16*a_2*r^6*b_1*b_2*b_3^3*b_4-8*a_1^3*a_2^4*b_2^2*b_3^3*b_4-8*a_1*a_2^6*b_2^2*b_3^3*b_4+16*a_1^3*a_2^2*r^2*b_2^2*b_3^3*b_4+24*a_1*a_2^4*r^2*b_2^2*b_3^3*b_4-8*a_1^3*r^4*b_2^2*b_3^3*b_4-24*a_1*a_2^2*r^4*b_2^2*b_3^3*b_4+8*a_1*r^6*b_2^2*b_3^3*b_4+32*a_1^3*a_2^4*b_1*b_3^4*b_4+32*a_1*a_2^6*b_1*b_3^4*b_4-64*a_1^3*a_2^2*r^2*b_1*b_3^4*b_4-96*a_1*a_2^4*r^2*b_1*b_3^4*b_4+32*a_1^3*r^4*b_1*b_3^4*b_4+96*a_1*a_2^2*r^4*b_1*b_3^4*b_4-32*a_1*r^6*b_1*b_3^4*b_4-8*a_1^6*a_2*b_1^3*b_2^2*b_5-8*a_1^4*a_2^3*b_1^3*b_2^2*b_5+24*a_1^4*a_2*r^2*b_1^3*b_2^2*b_5+16*a_1^2*a_2^3*r^2*b_1^3*b_2^2*b_5-24*a_1^2*a_2*r^4*b_1^3*b_2^2*b_5-8*a_2^3*r^4*b_1^3*b_2^2*b_5+8*a_2*r^6*b_1^3*b_2^2*b_5+4*a_1^7*b_1^2*b_2^3*b_5-12*a_1^5*a_2^2*b_1^2*b_2^3*b_5-16*a_1^3*a_2^4*b_1^2*b_2^3*b_5-12*a_1^5*r^2*b_1^2*b_2^3*b_5+24*a_1^3*a_2^2*r^2*b_1^2*b_2^3*b_5+16*a_1*a_2^4*r^2*b_1^2*b_2^3*b_5+12*a_1^3*r^4*b_1^2*b_2^3*b_5-12*a_1*a_2^2*r^4*b_1^2*b_2^3*b_5-4*a_1*r^6*b_1^2*b_2^3*b_5+10*a_1^6*a_2*b_1*b_2^4*b_5+4*a_1^4*a_2^3*b_1*b_2^4*b_5-6*a_1^2*a_2^5*b_1*b_2^4*b_5-10*a_1^4*a_2*r^2*b_1*b_2^4*b_5+16*a_1^2*a_2^3*r^2*b_1*b_2^4*b_5+10*a_2^5*r^2*b_1*b_2^4*b_5-10*a_1^2*a_2*r^4*b_1*b_2^4*b_5-20*a_2^3*r^4*b_1*b_2^4*b_5+10*a_2*r^6*b_1*b_2^4*b_5+6*a_1^5*a_2^2*b_2^5*b_5+8*a_1^3*a_2^4*b_2^5*b_5+2*a_1*a_2^6*b_2^5*b_5-6*a_1^5*r^2*b_2^5*b_5-20*a_1^3*a_2^2*r^2*b_2^5*b_5-10*a_1*a_2^4*r^2*b_2^5*b_5+12*a_1^3*r^4*b_2^5*b_5+14*a_1*a_2^2*r^4*b_2^5*b_5-6*a_1*r^6*b_2^5*b_5+32*a_1^6*a_2*b_1^4*b_3*b_5+32*a_1^4*a_2^3*b_1^4*b_3*b_5-96*a_1^4*a_2*r^2*b_1^4*b_3*b_5-64*a_1^2*a_2^3*r^2*b_1^4*b_3*b_5+96*a_1^2*a_2*r^4*b_1^4*b_3*b_5+32*a_2^3*r^4*b_1^4*b_3*b_5-32*a_2*r^6*b_1^4*b_3*b_5-16*a_1^7*b_1^3*b_2*b_3*b_5+48*a_1^5*a_2^2*b_1^3*b_2*b_3*b_5+64*a_1^3*a_2^4*b_1^3*b_2*b_3*b_5+48*a_1^5*r^2*b_1^3*b_2*b_3*b_5-96*a_1^3*a_2^2*r^2*b_1^3*b_2*b_3*b_5-64*a_1*a_2^4*r^2*b_1^3*b_2*b_3*b_5-48*a_1^3*r^4*b_1^3*b_2*b_3*b_5+48*a_1*a_2^2*r^4*b_1^3*b_2*b_3*b_5+16*a_1*r^6*b_1^3*b_2*b_3*b_5-48*a_1^6*a_2*b_1^2*b_2^2*b_3*b_5-48*a_1^4*a_2^3*b_1^2*b_2^2*b_3*b_5+32*a_1^4*a_2*r^2*b_1^2*b_2^2*b_3*b_5-80*a_1^2*a_2^3*r^2*b_1^2*b_2^2*b_3*b_5-64*a_2^5*r^2*b_1^2*b_2^2*b_3*b_5+80*a_1^2*a_2*r^4*b_1^2*b_2^2*b_3*b_5+128*a_2^3*r^4*b_1^2*b_2^2*b_3*b_5-64*a_2*r^6*b_1^2*b_2^2*b_3*b_5-24*a_1^5*a_2^2*b_1*b_2^3*b_3*b_5-56*a_1^3*a_2^4*b_1*b_2^3*b_3*b_5-32*a_1*a_2^6*b_1*b_2^3*b_3*b_5+40*a_1^5*r^2*b_1*b_2^3*b_3*b_5+136*a_1^3*a_2^2*r^2*b_1*b_2^3*b_3*b_5+104*a_1*a_2^4*r^2*b_1*b_2^3*b_3*b_5-80*a_1^3*r^4*b_1*b_2^3*b_3*b_5-112*a_1*a_2^2*r^4*b_1*b_2^3*b_3*b_5+40*a_1*r^6*b_1*b_2^3*b_3*b_5+10*a_1^4*a_2^3*b_2^4*b_3*b_5+12*a_1^2*a_2^5*b_2^4*b_3*b_5+2*a_2^7*b_2^4*b_3*b_5-10*a_1^4*a_2*r^2*b_2^4*b_3*b_5-24*a_1^2*a_2^3*r^2*b_2^4*b_3*b_5-6*a_2^5*r^2*b_2^4*b_3*b_5+12*a_1^2*a_2*r^4*b_2^4*b_3*b_5+6*a_2^3*r^4*b_2^4*b_3*b_5-2*a_2*r^6*b_2^4*b_3*b_5+32*a_1^6*a_2*b_1^3*b_3^2*b_5+128*a_1^4*a_2^3*b_1^3*b_3^2*b_5+96*a_1^2*a_2^5*b_1^3*b_3^2*b_5+32*a_1^4*a_2*r^2*b_1^3*b_3^2*b_5+64*a_1^2*a_2^3*r^2*b_1^3*b_3^2*b_5+96*a_2^5*r^2*b_1^3*b_3^2*b_5-160*a_1^2*a_2*r^4*b_1^3*b_3^2*b_5-192*a_2^3*r^4*b_1^3*b_3^2*b_5+96*a_2*r^6*b_1^3*b_3^2*b_5+96*a_1^3*a_2^4*b_1^2*b_2*b_3^2*b_5+96*a_1*a_2^6*b_1^2*b_2*b_3^2*b_5-64*a_1^5*r^2*b_1^2*b_2*b_3^2*b_5-224*a_1^3*a_2^2*r^2*b_1^2*b_2*b_3^2*b_5-256*a_1*a_2^4*r^2*b_1^2*b_2*b_3^2*b_5+128*a_1^3*r^4*b_1^2*b_2*b_3^2*b_5+224*a_1*a_2^2*r^4*b_1^2*b_2*b_3^2*b_5-64*a_1*r^6*b_1^2*b_2*b_3^2*b_5-48*a_1^4*a_2^3*b_1*b_2^2*b_3^2*b_5-72*a_1^2*a_2^5*b_1*b_2^2*b_3^2*b_5-24*a_2^7*b_1*b_2^2*b_3^2*b_5+48*a_1^4*a_2*r^2*b_1*b_2^2*b_3^2*b_5+144*a_1^2*a_2^3*r^2*b_1*b_2^2*b_3^2*b_5+72*a_2^5*r^2*b_1*b_2^2*b_3^2*b_5-72*a_1^2*a_2*r^4*b_1*b_2^2*b_3^2*b_5-72*a_2^3*r^4*b_1*b_2^2*b_3^2*b_5+24*a_2*r^6*b_1*b_2^2*b_3^2*b_5+4*a_1^3*a_2^4*b_2^3*b_3^2*b_5+4*a_1*a_2^6*b_2^3*b_3^2*b_5-8*a_1^3*a_2^2*r^2*b_2^3*b_3^2*b_5-12*a_1*a_2^4*r^2*b_2^3*b_3^2*b_5+4*a_1^3*r^4*b_2^3*b_3^2*b_5+12*a_1*a_2^2*r^4*b_2^3*b_3^2*b_5-4*a_1*r^6*b_2^3*b_3^2*b_5+32*a_1^4*a_2^3*b_1^2*b_3^3*b_5+96*a_1^2*a_2^5*b_1^2*b_3^3*b_5+64*a_2^7*b_1^2*b_3^3*b_5-32*a_1^4*a_2*r^2*b_1^2*b_3^3*b_5-192*a_1^2*a_2^3*r^2*b_1^2*b_3^3*b_5-192*a_2^5*r^2*b_1^2*b_3^3*b_5+96*a_1^2*a_2*r^4*b_1^2*b_3^3*b_5+192*a_2^3*r^4*b_1^2*b_3^3*b_5-64*a_2*r^6*b_1^2*b_3^3*b_5-16*a_1^3*a_2^4*b_1*b_2*b_3^3*b_5-16*a_1*a_2^6*b_1*b_2*b_3^3*b_5+32*a_1^3*a_2^2*r^2*b_1*b_2*b_3^3*b_5+48*a_1*a_2^4*r^2*b_1*b_2*b_3^3*b_5-16*a_1^3*r^4*b_1*b_2*b_3^3*b_5-48*a_1*a_2^2*r^4*b_1*b_2*b_3^3*b_5+16*a_1*r^6*b_1*b_2*b_3^3*b_5+2*a_1^6*b_1^2*b_2^2*b_4^2+6*a_1^4*a_2^2*b_1^2*b_2^2*b_4^2-6*a_1^4*r^2*b_1^2*b_2^2*b_4^2-12*a_1^2*a_2^2*r^2*b_1^2*b_2^2*b_4^2+6*a_1^2*r^4*b_1^2*b_2^2*b_4^2+6*a_2^2*r^4*b_1^2*b_2^2*b_4^2-2*r^6*b_1^2*b_2^2*b_4^2+12*a_1^5*a_2*b_1*b_2^3*b_4^2+20*a_1^3*a_2^3*b_1*b_2^3*b_4^2-24*a_1^3*a_2*r^2*b_1*b_2^3*b_4^2-20*a_1*a_2^3*r^2*b_1*b_2^3*b_4^2+12*a_1*a_2*r^4*b_1*b_2^3*b_4^2+a_1^6*b_2^4*b_4^2+12*a_1^4*a_2^2*b_2^4*b_4^2+15*a_1^2*a_2^4*b_2^4*b_4^2-5*a_1^4*r^2*b_2^4*b_4^2-30*a_1^2*a_2^2*r^2*b_2^4*b_4^2-15*a_2^4*r^2*b_2^4*b_4^2+7*a_1^2*r^4*b_2^4*b_4^2+18*a_2^2*r^4*b_2^4*b_4^2-3*r^6*b_2^4*b_4^2+8*a_1^6*b_1^3*b_3*b_4^2-8*a_1^4*a_2^2*b_1^3*b_3*b_4^2-24*a_1^4*r^2*b_1^3*b_3*b_4^2+16*a_1^2*a_2^2*r^2*b_1^3*b_3*b_4^2+24*a_1^2*r^4*b_1^3*b_3*b_4^2-8*a_2^2*r^4*b_1^3*b_3*b_4^2-8*r^6*b_1^3*b_3*b_4^2-16*a_1^5*a_2*b_1^2*b_2*b_3*b_4^2-48*a_1^3*a_2^3*b_1^2*b_2*b_3*b_4^2+32*a_1^3*a_2*r^2*b_1^2*b_2*b_3*b_4^2+48*a_1*a_2^3*r^2*b_1^2*b_2*b_3*b_4^2-16*a_1*a_2*r^4*b_1^2*b_2*b_3*b_4^2-24*a_1^6*b_1*b_2^2*b_3*b_4^2-52*a_1^4*a_2^2*b_1*b_2^2*b_3*b_4^2-36*a_1^2*a_2^4*b_1*b_2^2*b_3*b_4^2+50*a_1^4*r^2*b_1*b_2^2*b_3*b_4^2+114*a_1^2*a_2^2*r^2*b_1*b_2^2*b_3*b_4^2+60*a_2^4*r^2*b_1*b_2^2*b_3*b_4^2-28*a_1^2*r^4*b_1*b_2^2*b_3*b_4^2-62*a_2^2*r^4*b_1*b_2^2*b_3*b_4^2+2*r^6*b_1*b_2^2*b_3*b_4^2-16*a_1^5*a_2*b_2^3*b_3*b_4^2-4*a_1^3*a_2^3*b_2^3*b_3*b_4^2+20*a_1*a_2^5*b_2^3*b_3*b_4^2+34*a_1^3*a_2*r^2*b_2^3*b_3*b_4^2-2*a_1*a_2^3*r^2*b_2^3*b_3*b_4^2-18*a_1*a_2*r^4*b_2^3*b_3*b_4^2+96*a_1^6*b_1^2*b_3^2*b_4^2+128*a_1^4*a_2^2*b_1^2*b_3^2*b_4^2-200*a_1^4*r^2*b_1^2*b_3^2*b_4^2-168*a_1^2*a_2^2*r^2*b_1^2*b_3^2*b_4^2-32*a_2^4*r^2*b_1^2*b_3^2*b_4^2+112*a_1^2*r^4*b_1^2*b_3^2*b_4^2+40*a_2^2*r^4*b_1^2*b_3^2*b_4^2-8*r^6*b_1^2*b_3^2*b_4^2+96*a_1^5*a_2*b_1*b_2*b_3^2*b_4^2+80*a_1^3*a_2^3*b_1*b_2*b_3^2*b_4^2-48*a_1*a_2^5*b_1*b_2*b_3^2*b_4^2-232*a_1^3*a_2*r^2*b_1*b_2*b_3^2*b_4^2-88*a_1*a_2^3*r^2*b_1*b_2*b_3^2*b_4^2+136*a_1*a_2*r^4*b_1*b_2*b_3^2*b_4^2+2*a_1^2*a_2^4*b_2^2*b_3^2*b_4^2+6*a_2^6*b_2^2*b_3^2*b_4^2-32*a_1^4*r^2*b_2^2*b_3^2*b_4^2-54*a_1^2*a_2^2*r^2*b_2^2*b_3^2*b_4^2-32*a_2^4*r^2*b_2^2*b_3^2*b_4^2+52*a_1^2*r^4*b_2^2*b_3^2*b_4^2+46*a_2^2*r^4*b_2^2*b_3^2*b_4^2-20*r^6*b_2^2*b_3^2*b_4^2+96*a_1^4*a_2^2*b_1*b_3^3*b_4^2+104*a_1^2*a_2^4*b_1*b_3^3*b_4^2-8*a_2^6*b_1*b_3^3*b_4^2+96*a_1^4*r^2*b_1*b_3^3*b_4^2+24*a_1^2*a_2^2*r^2*b_1*b_3^3*b_4^2+48*a_2^4*r^2*b_1*b_3^3*b_4^2-128*a_1^2*r^4*b_1*b_3^3*b_4^2-72*a_2^2*r^4*b_1*b_3^3*b_4^2+32*r^6*b_1*b_3^3*b_4^2+32*a_1^3*a_2^3*b_2*b_3^3*b_4^2+32*a_1*a_2^5*b_2*b_3^3*b_4^2-32*a_1^3*a_2*r^2*b_2*b_3^3*b_4^2-64*a_1*a_2^3*r^2*b_2*b_3^3*b_4^2+32*a_1*a_2*r^4*b_2*b_3^3*b_4^2+16*a_1^2*a_2^4*b_3^4*b_4^2+16*a_2^6*b_3^4*b_4^2-32*a_1^2*a_2^2*r^2*b_3^4*b_4^2-48*a_2^4*r^2*b_3^4*b_4^2+16*a_1^2*r^4*b_3^4*b_4^2+48*a_2^2*r^4*b_3^4*b_4^2-16*r^6*b_3^4*b_4^2-16*a_1^6*b_1^3*b_2*b_4*b_5-16*a_1^4*a_2^2*b_1^3*b_2*b_4*b_5+48*a_1^4*r^2*b_1^3*b_2*b_4*b_5+32*a_1^2*a_2^2*r^2*b_1^3*b_2*b_4*b_5-48*a_1^2*r^4*b_1^3*b_2*b_4*b_5-16*a_2^2*r^4*b_1^3*b_2*b_4*b_5+16*r^6*b_1^3*b_2*b_4*b_5-56*a_1^5*a_2*b_1^2*b_2^2*b_4*b_5-48*a_1^3*a_2^3*b_1^2*b_2^2*b_4*b_5+112*a_1^3*a_2*r^2*b_1^2*b_2^2*b_4*b_5+48*a_1*a_2^3*r^2*b_1^2*b_2^2*b_4*b_5-56*a_1*a_2*r^4*b_1^2*b_2^2*b_4*b_5+8*a_1^6*b_1*b_2^3*b_4*b_5-32*a_1^4*a_2^2*b_1*b_2^3*b_4*b_5-24*a_1^2*a_2^4*b_1*b_2^3*b_4*b_5+2*a_1^4*r^2*b_1*b_2^3*b_4*b_5+90*a_1^2*a_2^2*r^2*b_1*b_2^3*b_4*b_5+40*a_2^4*r^2*b_1*b_2^3*b_4*b_5-28*a_1^2*r^4*b_1*b_2^3*b_4*b_5-58*a_2^2*r^4*b_1*b_2^3*b_4*b_5+18*r^6*b_1*b_2^3*b_4*b_5+10*a_1^5*a_2*b_2^4*b_4*b_5+12*a_1^3*a_2^3*b_2^4*b_4*b_5+10*a_1*a_2^5*b_2^4*b_4*b_5-18*a_1^3*a_2*r^2*b_2^4*b_4*b_5-18*a_1*a_2^3*r^2*b_2^4*b_4*b_5+8*a_1*a_2*r^4*b_2^4*b_4*b_5+96*a_1^5*a_2*b_1^3*b_3*b_4*b_5+64*a_1^3*a_2^3*b_1^3*b_3*b_4*b_5-192*a_1^3*a_2*r^2*b_1^3*b_3*b_4*b_5-64*a_1*a_2^3*r^2*b_1^3*b_3*b_4*b_5+96*a_1*a_2*r^4*b_1^3*b_3*b_4*b_5-48*a_1^6*b_1^2*b_2*b_3*b_4*b_5+16*a_1^4*a_2^2*b_1^2*b_2*b_3*b_4*b_5+72*a_1^4*r^2*b_1^2*b_2*b_3*b_4*b_5-168*a_1^2*a_2^2*r^2*b_1^2*b_2*b_3*b_4*b_5-128*a_2^4*r^2*b_1^2*b_2*b_3*b_4*b_5+152*a_2^2*r^4*b_1^2*b_2*b_3*b_4*b_5-24*r^6*b_1^2*b_2*b_3*b_4*b_5-96*a_1^5*a_2*b_1*b_2^2*b_3*b_4*b_5-176*a_1^3*a_2^3*b_1*b_2^2*b_3*b_4*b_5-96*a_1*a_2^5*b_1*b_2^2*b_3*b_4*b_5+152*a_1^3*a_2*r^2*b_1*b_2^2*b_3*b_4*b_5+152*a_1*a_2^3*r^2*b_1*b_2^2*b_3*b_4*b_5-56*a_1*a_2*r^4*b_1*b_2^2*b_3*b_4*b_5-24*a_1^4*a_2^2*b_2^3*b_3*b_4*b_5-32*a_1^2*a_2^4*b_2^3*b_3*b_4*b_5+8*a_2^6*b_2^3*b_3*b_4*b_5+40*a_1^4*r^2*b_2^3*b_3*b_4*b_5+90*a_1^2*a_2^2*r^2*b_2^3*b_3*b_4*b_5+2*a_2^4*r^2*b_2^3*b_3*b_4*b_5-58*a_1^2*r^4*b_2^3*b_3*b_4*b_5-28*a_2^2*r^4*b_2^3*b_3*b_4*b_5+18*r^6*b_2^3*b_3*b_4*b_5+96*a_1^5*a_2*b_1^2*b_3^2*b_4*b_5+256*a_1^3*a_2^3*b_1^2*b_3^2*b_4*b_5+96*a_1*a_2^5*b_1^2*b_3^2*b_4*b_5+64*a_1^3*a_2*r^2*b_1^2*b_3^2*b_4*b_5+64*a_1*a_2^3*r^2*b_1^2*b_3^2*b_4*b_5-160*a_1*a_2*r^4*b_1^2*b_3^2*b_4*b_5+16*a_1^2*a_2^4*b_1*b_2*b_3^2*b_4*b_5-48*a_2^6*b_1*b_2*b_3^2*b_4*b_5-128*a_1^4*r^2*b_1*b_2*b_3^2*b_4*b_5-168*a_1^2*a_2^2*r^2*b_1*b_2*b_3^2*b_4*b_5+72*a_2^4*r^2*b_1*b_2*b_3^2*b_4*b_5+152*a_1^2*r^4*b_1*b_2*b_3^2*b_4*b_5-24*r^6*b_1*b_2*b_3^2*b_4*b_5-48*a_1^3*a_2^3*b_2^2*b_3^2*b_4*b_5-56*a_1*a_2^5*b_2^2*b_3^2*b_4*b_5+48*a_1^3*a_2*r^2*b_2^2*b_3^2*b_4*b_5+112*a_1*a_2^3*r^2*b_2^2*b_3^2*b_4*b_5-56*a_1*a_2*r^4*b_2^2*b_3^2*b_4*b_5+64*a_1^3*a_2^3*b_1*b_3^3*b_4*b_5+96*a_1*a_2^5*b_1*b_3^3*b_4*b_5-64*a_1^3*a_2*r^2*b_1*b_3^3*b_4*b_5-192*a_1*a_2^3*r^2*b_1*b_3^3*b_4*b_5+96*a_1*a_2*r^4*b_1*b_3^3*b_4*b_5-16*a_1^2*a_2^4*b_2*b_3^3*b_4*b_5-16*a_2^6*b_2*b_3^3*b_4*b_5+32*a_1^2*a_2^2*r^2*b_2*b_3^3*b_4*b_5+48*a_2^4*r^2*b_2*b_3^3*b_4*b_5-16*a_1^2*r^4*b_2*b_3^3*b_4*b_5-48*a_2^2*r^4*b_2*b_3^3*b_4*b_5+16*r^6*b_2*b_3^3*b_4*b_5+16*a_1^6*b_1^4*b_5^2+16*a_1^4*a_2^2*b_1^4*b_5^2-48*a_1^4*r^2*b_1^4*b_5^2-32*a_1^2*a_2^2*r^2*b_1^4*b_5^2+48*a_1^2*r^4*b_1^4*b_5^2+16*a_2^2*r^4*b_1^4*b_5^2-16*r^6*b_1^4*b_5^2+32*a_1^5*a_2*b_1^3*b_2*b_5^2+32*a_1^3*a_2^3*b_1^3*b_2*b_5^2-64*a_1^3*a_2*r^2*b_1^3*b_2*b_5^2-32*a_1*a_2^3*r^2*b_1^3*b_2*b_5^2+32*a_1*a_2*r^4*b_1^3*b_2*b_5^2+6*a_1^6*b_1^2*b_2^2*b_5^2+2*a_1^4*a_2^2*b_1^2*b_2^2*b_5^2-32*a_1^4*r^2*b_1^2*b_2^2*b_5^2-54*a_1^2*a_2^2*r^2*b_1^2*b_2^2*b_5^2-32*a_2^4*r^2*b_1^2*b_2^2*b_5^2+46*a_1^2*r^4*b_1^2*b_2^2*b_5^2+52*a_2^2*r^4*b_1^2*b_2^2*b_5^2-20*r^6*b_1^2*b_2^2*b_5^2+20*a_1^5*a_2*b_1*b_2^3*b_5^2-4*a_1^3*a_2^3*b_1*b_2^3*b_5^2-16*a_1*a_2^5*b_1*b_2^3*b_5^2-2*a_1^3*a_2*r^2*b_1*b_2^3*b_5^2+34*a_1*a_2^3*r^2*b_1*b_2^3*b_5^2-18*a_1*a_2*r^4*b_1*b_2^3*b_5^2+15*a_1^4*a_2^2*b_2^4*b_5^2+12*a_1^2*a_2^4*b_2^4*b_5^2+a_2^6*b_2^4*b_5^2-15*a_1^4*r^2*b_2^4*b_5^2-30*a_1^2*a_2^2*r^2*b_2^4*b_5^2-5*a_2^4*r^2*b_2^4*b_5^2+18*a_1^2*r^4*b_2^4*b_5^2+7*a_2^2*r^4*b_2^4*b_5^2-3*r^6*b_2^4*b_5^2-8*a_1^6*b_1^3*b_3*b_5^2+104*a_1^4*a_2^2*b_1^3*b_3*b_5^2+96*a_1^2*a_2^4*b_1^3*b_3*b_5^2+48*a_1^4*r^2*b_1^3*b_3*b_5^2+24*a_1^2*a_2^2*r^2*b_1^3*b_3*b_5^2+96*a_2^4*r^2*b_1^3*b_3*b_5^2-72*a_1^2*r^4*b_1^3*b_3*b_5^2-128*a_2^2*r^4*b_1^3*b_3*b_5^2+32*r^6*b_1^3*b_3*b_5^2-48*a_1^5*a_2*b_1^2*b_2*b_3*b_5^2+80*a_1^3*a_2^3*b_1^2*b_2*b_3*b_5^2+96*a_1*a_2^5*b_1^2*b_2*b_3*b_5^2-88*a_1^3*a_2*r^2*b_1^2*b_2*b_3*b_5^2-232*a_1*a_2^3*r^2*b_1^2*b_2*b_3*b_5^2+136*a_1*a_2*r^4*b_1^2*b_2*b_3*b_5^2-36*a_1^4*a_2^2*b_1*b_2^2*b_3*b_5^2-52*a_1^2*a_2^4*b_1*b_2^2*b_3*b_5^2-24*a_2^6*b_1*b_2^2*b_3*b_5^2+60*a_1^4*r^2*b_1*b_2^2*b_3*b_5^2+114*a_1^2*a_2^2*r^2*b_1*b_2^2*b_3*b_5^2+50*a_2^4*r^2*b_1*b_2^2*b_3*b_5^2-62*a_1^2*r^4*b_1*b_2^2*b_3*b_5^2-28*a_2^2*r^4*b_1*b_2^2*b_3*b_5^2+2*r^6*b_1*b_2^2*b_3*b_5^2+20*a_1^3*a_2^3*b_2^3*b_3*b_5^2+12*a_1*a_2^5*b_2^3*b_3*b_5^2-20*a_1^3*a_2*r^2*b_2^3*b_3*b_5^2-24*a_1*a_2^3*r^2*b_2^3*b_3*b_5^2+12*a_1*a_2*r^4*b_2^3*b_3*b_5^2+128*a_1^2*a_2^4*b_1^2*b_3^2*b_5^2+96*a_2^6*b_1^2*b_3^2*b_5^2-32*a_1^4*r^2*b_1^2*b_3^2*b_5^2-168*a_1^2*a_2^2*r^2*b_1^2*b_3^2*b_5^2-200*a_2^4*r^2*b_1^2*b_3^2*b_5^2+40*a_1^2*r^4*b_1^2*b_3^2*b_5^2+112*a_2^2*r^4*b_1^2*b_3^2*b_5^2-8*r^6*b_1^2*b_3^2*b_5^2-48*a_1^3*a_2^3*b_1*b_2*b_3^2*b_5^2-16*a_1*a_2^5*b_1*b_2*b_3^2*b_5^2+48*a_1^3*a_2*r^2*b_1*b_2*b_3^2*b_5^2+32*a_1*a_2^3*r^2*b_1*b_2*b_3^2*b_5^2-16*a_1*a_2*r^4*b_1*b_2*b_3^2*b_5^2+6*a_1^2*a_2^4*b_2^2*b_3^2*b_5^2+2*a_2^6*b_2^2*b_3^2*b_5^2-12*a_1^2*a_2^2*r^2*b_2^2*b_3^2*b_5^2-6*a_2^4*r^2*b_2^2*b_3^2*b_5^2+6*a_1^2*r^4*b_2^2*b_3^2*b_5^2+6*a_2^2*r^4*b_2^2*b_3^2*b_5^2-2*r^6*b_2^2*b_3^2*b_5^2-8*a_1^2*a_2^4*b_1*b_3^3*b_5^2+8*a_2^6*b_1*b_3^3*b_5^2+16*a_1^2*a_2^2*r^2*b_1*b_3^3*b_5^2-24*a_2^4*r^2*b_1*b_3^3*b_5^2-8*a_1^2*r^4*b_1*b_3^3*b_5^2+24*a_2^2*r^4*b_1*b_3^3*b_5^2-8*r^6*b_1*b_3^3*b_5^2+8*a_1^6*b_1^3*b_2^2*b_6-8*a_1^4*a_2^2*b_1^3*b_2^2*b_6-24*a_1^4*r^2*b_1^3*b_2^2*b_6+16*a_1^2*a_2^2*r^2*b_1^3*b_2^2*b_6+24*a_1^2*r^4*b_1^3*b_2^2*b_6-8*a_2^2*r^4*b_1^3*b_2^2*b_6-8*r^6*b_1^3*b_2^2*b_6+32*a_1^5*a_2*b_1^2*b_2^3*b_6-16*a_1^3*a_2^3*b_1^2*b_2^3*b_6-64*a_1^3*a_2*r^2*b_1^2*b_2^3*b_6+16*a_1*a_2^3*r^2*b_1^2*b_2^3*b_6+32*a_1*a_2*r^4*b_1^2*b_2^3*b_6+2*a_1^6*b_1*b_2^4*b_6+44*a_1^4*a_2^2*b_1*b_2^4*b_6-6*a_1^2*a_2^4*b_1*b_2^4*b_6-12*a_1^4*r^2*b_1*b_2^4*b_6-42*a_1^2*a_2^2*r^2*b_1*b_2^4*b_6+10*a_2^4*r^2*b_1*b_2^4*b_6+18*a_1^2*r^4*b_1*b_2^4*b_6-2*a_2^2*r^4*b_1*b_2^4*b_6-8*r^6*b_1*b_2^4*b_6+2*a_1^5*a_2*b_2^5*b_6+20*a_1^3*a_2^3*b_2^5*b_6+2*a_1*a_2^5*b_2^5*b_6-22*a_1^3*a_2*r^2*b_2^5*b_6-22*a_1*a_2^3*r^2*b_2^5*b_6+20*a_1*a_2*r^4*b_2^5*b_6-32*a_1^6*b_1^4*b_3*b_6+32*a_1^4*a_2^2*b_1^4*b_3*b_6+96*a_1^4*r^2*b_1^4*b_3*b_6-64*a_1^2*a_2^2*r^2*b_1^4*b_3*b_6-96*a_1^2*r^4*b_1^4*b_3*b_6+32*a_2^2*r^4*b_1^4*b_3*b_6+32*r^6*b_1^4*b_3*b_6-128*a_1^5*a_2*b_1^3*b_2*b_3*b_6+64*a_1^3*a_2^3*b_1^3*b_2*b_3*b_6+256*a_1^3*a_2*r^2*b_1^3*b_2*b_3*b_6-64*a_1*a_2^3*r^2*b_1^3*b_2*b_3*b_6-128*a_1*a_2*r^4*b_1^3*b_2*b_3*b_6-24*a_1^6*b_1^2*b_2^2*b_3*b_6-168*a_1^4*a_2^2*b_1^2*b_2^2*b_3*b_6+88*a_1^4*r^2*b_1^2*b_2^2*b_3*b_6+144*a_1^2*a_2^2*r^2*b_1^2*b_2^2*b_3*b_6-64*a_2^4*r^2*b_1^2*b_2^2*b_3*b_6-104*a_1^2*r^4*b_1^2*b_2^2*b_3*b_6+24*a_2^2*r^4*b_1^2*b_2^2*b_3*b_6+40*r^6*b_1^2*b_2^2*b_3*b_6-32*a_1^5*a_2*b_1*b_2^3*b_3*b_6-32*a_1^3*a_2^3*b_1*b_2^3*b_3*b_6-32*a_1*a_2^5*b_1*b_2^3*b_3*b_6+128*a_1^3*a_2*r^2*b_1*b_2^3*b_3*b_6+128*a_1*a_2^3*r^2*b_1*b_2^3*b_3*b_6-96*a_1*a_2*r^4*b_1*b_2^3*b_3*b_6-6*a_1^4*a_2^2*b_2^4*b_3*b_6+44*a_1^2*a_2^4*b_2^4*b_3*b_6+2*a_2^6*b_2^4*b_3*b_6+10*a_1^4*r^2*b_2^4*b_3*b_6-42*a_1^2*a_2^2*r^2*b_2^4*b_3*b_6-12*a_2^4*r^2*b_2^4*b_3*b_6-2*a_1^2*r^4*b_2^4*b_3*b_6+18*a_2^2*r^4*b_2^4*b_3*b_6-8*r^6*b_2^4*b_3*b_6+64*a_1^6*b_1^3*b_3^2*b_6-32*a_1^4*a_2^2*b_1^3*b_3^2*b_6+96*a_1^2*a_2^4*b_1^3*b_3^2*b_6-160*a_1^4*r^2*b_1^3*b_3^2*b_6+96*a_1^2*a_2^2*r^2*b_1^3*b_3^2*b_6+96*a_2^4*r^2*b_1^3*b_3^2*b_6+128*a_1^2*r^4*b_1^3*b_3^2*b_6-64*a_2^2*r^4*b_1^3*b_3^2*b_6-32*r^6*b_1^3*b_3^2*b_6+96*a_1^5*a_2*b_1^2*b_2*b_3^2*b_6-192*a_1^3*a_2^3*b_1^2*b_2*b_3^2*b_6+96*a_1*a_2^5*b_1^2*b_2*b_3^2*b_6-160*a_1^3*a_2*r^2*b_1^2*b_2*b_3^2*b_6-160*a_1*a_2^3*r^2*b_1^2*b_2*b_3^2*b_6+64*a_1*a_2*r^4*b_1^2*b_2*b_3^2*b_6-168*a_1^2*a_2^4*b_1*b_2^2*b_3^2*b_6-24*a_2^6*b_1*b_2^2*b_3^2*b_6-64*a_1^4*r^2*b_1*b_2^2*b_3^2*b_6+144*a_1^2*a_2^2*r^2*b_1*b_2^2*b_3^2*b_6+88*a_2^4*r^2*b_1*b_2^2*b_3^2*b_6+24*a_1^2*r^4*b_1*b_2^2*b_3^2*b_6-104*a_2^2*r^4*b_1*b_2^2*b_3^2*b_6+40*r^6*b_1*b_2^2*b_3^2*b_6-16*a_1^3*a_2^3*b_2^3*b_3^2*b_6+32*a_1*a_2^5*b_2^3*b_3^2*b_6+16*a_1^3*a_2*r^2*b_2^3*b_3^2*b_6-64*a_1*a_2^3*r^2*b_2^3*b_3^2*b_6+32*a_1*a_2*r^4*b_2^3*b_3^2*b_6+96*a_1^4*a_2^2*b_1^2*b_3^3*b_6-32*a_1^2*a_2^4*b_1^2*b_3^3*b_6+64*a_2^6*b_1^2*b_3^3*b_6+96*a_1^4*r^2*b_1^2*b_3^3*b_6+96*a_1^2*a_2^2*r^2*b_1^2*b_3^3*b_6-160*a_2^4*r^2*b_1^2*b_3^3*b_6-64*a_1^2*r^4*b_1^2*b_3^3*b_6+128*a_2^2*r^4*b_1^2*b_3^3*b_6-32*r^6*b_1^2*b_3^3*b_6+64*a_1^3*a_2^3*b_1*b_2*b_3^3*b_6-128*a_1*a_2^5*b_1*b_2*b_3^3*b_6-64*a_1^3*a_2*r^2*b_1*b_2*b_3^3*b_6+256*a_1*a_2^3*r^2*b_1*b_2*b_3^3*b_6-128*a_1*a_2*r^4*b_1*b_2*b_3^3*b_6-8*a_1^2*a_2^4*b_2^2*b_3^3*b_6+8*a_2^6*b_2^2*b_3^3*b_6+16*a_1^2*a_2^2*r^2*b_2^2*b_3^3*b_6-24*a_2^4*r^2*b_2^2*b_3^3*b_6-8*a_1^2*r^4*b_2^2*b_3^3*b_6+24*a_2^2*r^4*b_2^2*b_3^3*b_6-8*r^6*b_2^2*b_3^3*b_6+32*a_1^2*a_2^4*b_1*b_3^4*b_6-32*a_2^6*b_1*b_3^4*b_6-64*a_1^2*a_2^2*r^2*b_1*b_3^4*b_6+96*a_2^4*r^2*b_1*b_3^4*b_6+32*a_1^2*r^4*b_1*b_3^4*b_6-96*a_2^2*r^4*b_1*b_3^4*b_6+32*r^6*b_1*b_3^4*b_6+4*a_1^4*a_2*b_1^2*b_2*b_4^3-8*a_1^2*a_2*r^2*b_1^2*b_2*b_4^3+4*a_2*r^4*b_1^2*b_2*b_4^3+4*a_1^5*b_1*b_2^2*b_4^3+20*a_1^3*a_2^2*b_1*b_2^2*b_4^3-8*a_1^3*r^2*b_1*b_2^2*b_4^3-20*a_1*a_2^2*r^2*b_1*b_2^2*b_4^3+4*a_1*r^4*b_1*b_2^2*b_4^3+8*a_1^4*a_2*b_2^3*b_4^3+20*a_1^2*a_2^3*b_2^3*b_4^3-20*a_1^2*a_2*r^2*b_2^3*b_4^3-20*a_2^3*r^2*b_2^3*b_4^3+12*a_2*r^4*b_2^3*b_4^3+24*a_1^5*b_1^2*b_3*b_4^3-16*a_1^3*a_2^2*b_1^2*b_3*b_4^3-48*a_1^3*r^2*b_1^2*b_3*b_4^3+16*a_1*a_2^2*r^2*b_1^2*b_3*b_4^3+24*a_1*r^4*b_1^2*b_3*b_4^3+16*a_1^4*a_2*b_1*b_2*b_3*b_4^3-24*a_1^2*a_2^3*b_1*b_2*b_3*b_4^3-12*a_1^2*a_2*r^2*b_1*b_2*b_3*b_4^3+40*a_2^3*r^2*b_1*b_2*b_3*b_4^3-4*a_2*r^4*b_1*b_2*b_3*b_4^3-8*a_1^5*b_2^2*b_3*b_4^3+4*a_1^3*a_2^2*b_2^2*b_3*b_4^3+20*a_1*a_2^4*b_2^2*b_3*b_4^3+10*a_1^3*r^2*b_2^2*b_3*b_4^3-6*a_1*a_2^2*r^2*b_2^2*b_3*b_4^3-2*a_1*r^4*b_2^2*b_3*b_4^3+64*a_1^5*b_1*b_3^2*b_4^3+96*a_1^3*a_2^2*b_1*b_3^2*b_4^3-16*a_1*a_2^4*b_1*b_3^2*b_4^3-80*a_1^3*r^2*b_1*b_3^2*b_4^3-72*a_1*a_2^2*r^2*b_1*b_3^2*b_4^3+16*a_1*r^4*b_1*b_3^2*b_4^3+32*a_1^4*a_2*b_2*b_3^2*b_4^3+48*a_1^2*a_2^3*b_2*b_3^2*b_4^3+4*a_2^5*b_2*b_3^2*b_4^3-72*a_1^2*a_2*r^2*b_2*b_3^2*b_4^3-44*a_2^3*r^2*b_2*b_3^2*b_4^3+40*a_2*r^4*b_2*b_3^2*b_4^3+32*a_1^3*a_2^2*b_3^3*b_4^3+40*a_1*a_2^4*b_3^3*b_4^3+32*a_1^3*r^2*b_3^3*b_4^3-8*a_1*a_2^2*r^2*b_3^3*b_4^3-32*a_1*r^4*b_3^3*b_4^3-8*a_1^4*a_2*b_1^3*b_4^2*b_5+16*a_1^2*a_2*r^2*b_1^3*b_4^2*b_5-8*a_2*r^4*b_1^3*b_4^2*b_5-44*a_1^5*b_1^2*b_2*b_4^2*b_5-48*a_1^3*a_2^2*b_1^2*b_2*b_4^2*b_5+88*a_1^3*r^2*b_1^2*b_2*b_4^2*b_5+48*a_1*a_2^2*r^2*b_1^2*b_2*b_4^2*b_5-44*a_1*r^4*b_1^2*b_2*b_4^2*b_5-76*a_1^4*a_2*b_1*b_2^2*b_4^2*b_5-36*a_1^2*a_2^3*b_1*b_2^2*b_4^2*b_5+132*a_1^2*a_2*r^2*b_1*b_2^2*b_4^2*b_5+60*a_2^3*r^2*b_1*b_2^2*b_4^2*b_5-56*a_2*r^4*b_1*b_2^2*b_4^2*b_5+4*a_1^5*b_2^3*b_4^2*b_5-12*a_1^3*a_2^2*b_2^3*b_4^2*b_5+20*a_1*a_2^4*b_2^3*b_4^2*b_5+2*a_1^3*r^2*b_2^3*b_4^2*b_5+6*a_1*a_2^2*r^2*b_2^3*b_4^2*b_5-6*a_1*r^4*b_2^3*b_4^2*b_5+128*a_1^4*a_2*b_1^2*b_3*b_4^2*b_5-168*a_1^2*a_2*r^2*b_1^2*b_3*b_4^2*b_5-64*a_2^3*r^2*b_1^2*b_3*b_4^2*b_5+40*a_2*r^4*b_1^2*b_3*b_4^2*b_5-48*a_1^5*b_1*b_2*b_3*b_4^2*b_5-24*a_1^3*a_2^2*b_1*b_2*b_3*b_4^2*b_5-96*a_1*a_2^4*b_1*b_2*b_3*b_4^2*b_5+4*a_1^3*r^2*b_1*b_2*b_3*b_4^2*b_5-24*a_1*a_2^2*r^2*b_1*b_2*b_3*b_4^2*b_5+44*a_1*r^4*b_1*b_2*b_3*b_4^2*b_5-48*a_1^4*a_2*b_2^2*b_3*b_4^2*b_5-68*a_1^2*a_2^3*b_2^2*b_3*b_4^2*b_5+12*a_2^5*b_2^2*b_3*b_4^2*b_5+54*a_1^2*a_2*r^2*b_2^2*b_3*b_4^2*b_5+2*a_2^3*r^2*b_2^2*b_3*b_4^2*b_5-14*a_2*r^4*b_2^2*b_3*b_4^2*b_5+96*a_1^4*a_2*b_1*b_3^2*b_4^2*b_5+208*a_1^2*a_2^3*b_1*b_3^2*b_4^2*b_5-24*a_2^5*b_1*b_3^2*b_4^2*b_5+24*a_1^2*a_2*r^2*b_1*b_3^2*b_4^2*b_5+96*a_2^3*r^2*b_1*b_3^2*b_4^2*b_5-72*a_2*r^4*b_1*b_3^2*b_4^2*b_5+20*a_1*a_2^4*b_2*b_3^2*b_4^2*b_5-64*a_1^3*r^2*b_2*b_3^2*b_4^2*b_5-84*a_1*a_2^2*r^2*b_2*b_3^2*b_4^2*b_5+64*a_1*r^4*b_2*b_3^2*b_4^2*b_5+32*a_1^2*a_2^3*b_3^3*b_4^2*b_5+48*a_2^5*b_3^3*b_4^2*b_5-32*a_1^2*a_2*r^2*b_3^3*b_4^2*b_5-96*a_2^3*r^2*b_3^3*b_4^2*b_5+48*a_2*r^4*b_3^3*b_4^2*b_5+48*a_1^5*b_1^3*b_4*b_5^2+32*a_1^3*a_2^2*b_1^3*b_4*b_5^2-96*a_1^3*r^2*b_1^3*b_4*b_5^2-32*a_1*a_2^2*r^2*b_1^3*b_4*b_5^2+48*a_1*r^4*b_1^3*b_4*b_5^2+20*a_1^4*a_2*b_1^2*b_2*b_4*b_5^2-84*a_1^2*a_2*r^2*b_1^2*b_2*b_4*b_5^2-64*a_2^3*r^2*b_1^2*b_2*b_4*b_5^2+64*a_2*r^4*b_1^2*b_2*b_4*b_5^2+12*a_1^5*b_1*b_2^2*b_4*b_5^2-68*a_1^3*a_2^2*b_1*b_2^2*b_4*b_5^2-48*a_1*a_2^4*b_1*b_2^2*b_4*b_5^2+2*a_1^3*r^2*b_1*b_2^2*b_4*b_5^2+54*a_1*a_2^2*r^2*b_1*b_2^2*b_4*b_5^2-14*a_1*r^4*b_1*b_2^2*b_4*b_5^2+20*a_1^4*a_2*b_2^3*b_4*b_5^2-12*a_1^2*a_2^3*b_2^3*b_4*b_5^2+4*a_2^5*b_2^3*b_4*b_5^2+6*a_1^2*a_2*r^2*b_2^3*b_4*b_5^2+2*a_2^3*r^2*b_2^3*b_4*b_5^2-6*a_2*r^4*b_2^3*b_4*b_5^2-24*a_1^5*b_1^2*b_3*b_4*b_5^2+208*a_1^3*a_2^2*b_1^2*b_3*b_4*b_5^2+96*a_1*a_2^4*b_1^2*b_3*b_4*b_5^2+96*a_1^3*r^2*b_1^2*b_3*b_4*b_5^2+24*a_1*a_2^2*r^2*b_1^2*b_3*b_4*b_5^2-72*a_1*r^4*b_1^2*b_3*b_4*b_5^2-96*a_1^4*a_2*b_1*b_2*b_3*b_4*b_5^2-24*a_1^2*a_2^3*b_1*b_2*b_3*b_4*b_5^2-48*a_2^5*b_1*b_2*b_3*b_4*b_5^2-24*a_1^2*a_2*r^2*b_1*b_2*b_3*b_4*b_5^2+4*a_2^3*r^2*b_1*b_2*b_3*b_4*b_5^2+44*a_2*r^4*b_1*b_2*b_3*b_4*b_5^2-36*a_1^3*a_2^2*b_2^2*b_3*b_4*b_5^2-76*a_1*a_2^4*b_2^2*b_3*b_4*b_5^2+60*a_1^3*r^2*b_2^2*b_3*b_4*b_5^2+132*a_1*a_2^2*r^2*b_2^2*b_3*b_4*b_5^2-56*a_1*r^4*b_2^2*b_3*b_4*b_5^2+128*a_1*a_2^4*b_1*b_3^2*b_4*b_5^2-64*a_1^3*r^2*b_1*b_3^2*b_4*b_5^2-168*a_1*a_2^2*r^2*b_1*b_3^2*b_4*b_5^2+40*a_1*r^4*b_1*b_3^2*b_4*b_5^2-48*a_1^2*a_2^3*b_2*b_3^2*b_4*b_5^2-44*a_2^5*b_2*b_3^2*b_4*b_5^2+48*a_1^2*a_2*r^2*b_2*b_3^2*b_4*b_5^2+88*a_2^3*r^2*b_2*b_3^2*b_4*b_5^2-44*a_2*r^4*b_2*b_3^2*b_4*b_5^2-8*a_1*a_2^4*b_3^3*b_4*b_5^2+16*a_1*a_2^2*r^2*b_3^3*b_4*b_5^2-8*a_1*r^4*b_3^3*b_4*b_5^2+40*a_1^4*a_2*b_1^3*b_5^3+32*a_1^2*a_2^3*b_1^3*b_5^3-8*a_1^2*a_2*r^2*b_1^3*b_5^3+32*a_2^3*r^2*b_1^3*b_5^3-32*a_2*r^4*b_1^3*b_5^3+4*a_1^5*b_1^2*b_2*b_5^3+48*a_1^3*a_2^2*b_1^2*b_2*b_5^3+32*a_1*a_2^4*b_1^2*b_2*b_5^3-44*a_1^3*r^2*b_1^2*b_2*b_5^3-72*a_1*a_2^2*r^2*b_1^2*b_2*b_5^3+40*a_1*r^4*b_1^2*b_2*b_5^3+20*a_1^4*a_2*b_1*b_2^2*b_5^3+4*a_1^2*a_2^3*b_1*b_2^2*b_5^3-8*a_2^5*b_1*b_2^2*b_5^3-6*a_1^2*a_2*r^2*b_1*b_2^2*b_5^3+10*a_2^3*r^2*b_1*b_2^2*b_5^3-2*a_2*r^4*b_1*b_2^2*b_5^3+20*a_1^3*a_2^2*b_2^3*b_5^3+8*a_1*a_2^4*b_2^3*b_5^3-20*a_1^3*r^2*b_2^3*b_5^3-20*a_1*a_2^2*r^2*b_2^3*b_5^3+12*a_1*r^4*b_2^3*b_5^3-16*a_1^4*a_2*b_1^2*b_3*b_5^3+96*a_1^2*a_2^3*b_1^2*b_3*b_5^3+64*a_2^5*b_1^2*b_3*b_5^3-72*a_1^2*a_2*r^2*b_1^2*b_3*b_5^3-80*a_2^3*r^2*b_1^2*b_3*b_5^3+16*a_2*r^4*b_1^2*b_3*b_5^3-24*a_1^3*a_2^2*b_1*b_2*b_3*b_5^3+16*a_1*a_2^4*b_1*b_2*b_3*b_5^3+40*a_1^3*r^2*b_1*b_2*b_3*b_5^3-12*a_1*a_2^2*r^2*b_1*b_2*b_3*b_5^3-4*a_1*r^4*b_1*b_2*b_3*b_5^3+20*a_1^2*a_2^3*b_2^2*b_3*b_5^3+4*a_2^5*b_2^2*b_3*b_5^3-20*a_1^2*a_2*r^2*b_2^2*b_3*b_5^3-8*a_2^3*r^2*b_2^2*b_3*b_5^3+4*a_2*r^4*b_2^2*b_3*b_5^3-16*a_1^2*a_2^3*b_1*b_3^2*b_5^3+24*a_2^5*b_1*b_3^2*b_5^3+16*a_1^2*a_2*r^2*b_1*b_3^2*b_5^3-48*a_2^3*r^2*b_1*b_3^2*b_5^3+24*a_2*r^4*b_1*b_3^2*b_5^3+4*a_1*a_2^4*b_2*b_3^2*b_5^3-8*a_1*a_2^2*r^2*b_2*b_3^2*b_5^3+4*a_1*r^4*b_2*b_3^2*b_5^3-16*a_1^4*a_2*b_1^3*b_2*b_4*b_6+32*a_1^2*a_2*r^2*b_1^3*b_2*b_4*b_6-16*a_2*r^4*b_1^3*b_2*b_4*b_6+32*a_1^5*b_1^2*b_2^2*b_4*b_6-48*a_1^3*a_2^2*b_1^2*b_2^2*b_4*b_6-64*a_1^3*r^2*b_1^2*b_2^2*b_4*b_6+48*a_1*a_2^2*r^2*b_1^2*b_2^2*b_4*b_6+32*a_1*r^4*b_1^2*b_2^2*b_4*b_6+88*a_1^4*a_2*b_1*b_2^3*b_4*b_6-24*a_1^2*a_2^3*b_1*b_2^3*b_4*b_6-84*a_1^2*a_2*r^2*b_1*b_2^3*b_4*b_6+40*a_2^3*r^2*b_1*b_2^3*b_4*b_6-4*a_2*r^4*b_1*b_2^3*b_4*b_6+2*a_1^5*b_2^4*b_4*b_6+60*a_1^3*a_2^2*b_2^4*b_4*b_6+10*a_1*a_2^4*b_2^4*b_4*b_6-22*a_1^3*r^2*b_2^4*b_4*b_6-66*a_1*a_2^2*r^2*b_2^4*b_4*b_6+20*a_1*r^4*b_2^4*b_4*b_6-96*a_1^5*b_1^3*b_3*b_4*b_6+64*a_1^3*a_2^2*b_1^3*b_3*b_4*b_6+192*a_1^3*r^2*b_1^3*b_3*b_4*b_6-64*a_1*a_2^2*r^2*b_1^3*b_3*b_4*b_6-96*a_1*r^4*b_1^3*b_3*b_4*b_6-304*a_1^4*a_2*b_1^2*b_2*b_3*b_4*b_6+336*a_1^2*a_2*r^2*b_1^2*b_2*b_3*b_4*b_6-128*a_2^3*r^2*b_1^2*b_2*b_3*b_4*b_6-32*a_2*r^4*b_1^2*b_2*b_3*b_4*b_6-48*a_1^5*b_1*b_2^2*b_3*b_4*b_6-208*a_1^3*a_2^2*b_1*b_2^2*b_3*b_4*b_6-96*a_1*a_2^4*b_1*b_2^2*b_3*b_4*b_6+136*a_1^3*r^2*b_1*b_2^2*b_3*b_4*b_6+288*a_1*a_2^2*r^2*b_1*b_2^2*b_3*b_4*b_6-88*a_1*r^4*b_1*b_2^2*b_3*b_4*b_6-32*a_1^4*a_2*b_2^3*b_3*b_4*b_6+56*a_1^2*a_2^3*b_2^3*b_3*b_4*b_6+8*a_2^5*b_2^3*b_3*b_4*b_6+48*a_1^2*a_2*r^2*b_2^3*b_3*b_4*b_6-4*a_2^3*r^2*b_2^3*b_3*b_4*b_6-4*a_2*r^4*b_2^3*b_3*b_4*b_6+192*a_1^5*b_1^2*b_3^2*b_4*b_6-64*a_1^3*a_2^2*b_1^2*b_3^2*b_4*b_6+96*a_1*a_2^4*b_1^2*b_3^2*b_4*b_6-320*a_1^3*r^2*b_1^2*b_3^2*b_4*b_6+96*a_1*a_2^2*r^2*b_1^2*b_3^2*b_4*b_6+128*a_1*r^4*b_1^2*b_3^2*b_4*b_6+192*a_1^4*a_2*b_1*b_2*b_3^2*b_4*b_6-256*a_1^2*a_2^3*b_1*b_2*b_3^2*b_4*b_6-48*a_2^5*b_1*b_2*b_3^2*b_4*b_6-288*a_1^2*a_2*r^2*b_1*b_2*b_3^2*b_4*b_6+80*a_2^3*r^2*b_1*b_2*b_3^2*b_4*b_6-32*a_2*r^4*b_1*b_2*b_3^2*b_4*b_6-16*a_1*a_2^4*b_2^2*b_3^2*b_4*b_6-64*a_1^3*r^2*b_2^2*b_3^2*b_4*b_6-24*a_1*a_2^2*r^2*b_2^2*b_3^2*b_4*b_6+40*a_1*r^4*b_2^2*b_3^2*b_4*b_6+192*a_1^3*a_2^2*b_1*b_3^3*b_4*b_6-32*a_1*a_2^4*b_1*b_3^3*b_4*b_6+192*a_1^3*r^2*b_1*b_3^3*b_4*b_6+96*a_1*a_2^2*r^2*b_1*b_3^3*b_4*b_6-64*a_1*r^4*b_1*b_3^3*b_4*b_6+64*a_1^2*a_2^3*b_2*b_3^3*b_4*b_6-16*a_2^5*b_2*b_3^3*b_4*b_6-64*a_1^2*a_2*r^2*b_2*b_3^3*b_4*b_6+32*a_2^3*r^2*b_2*b_3^3*b_4*b_6-16*a_2*r^4*b_2*b_3^3*b_4*b_6+32*a_1*a_2^4*b_3^4*b_4*b_6-64*a_1*a_2^2*r^2*b_3^4*b_4*b_6+32*a_1*r^4*b_3^4*b_4*b_6+32*a_1^4*a_2*b_1^4*b_5*b_6-64*a_1^2*a_2*r^2*b_1^4*b_5*b_6+32*a_2*r^4*b_1^4*b_5*b_6-16*a_1^5*b_1^3*b_2*b_5*b_6+64*a_1^3*a_2^2*b_1^3*b_2*b_5*b_6+32*a_1^3*r^2*b_1^3*b_2*b_5*b_6-64*a_1*a_2^2*r^2*b_1^3*b_2*b_5*b_6-16*a_1*r^4*b_1^3*b_2*b_5*b_6-16*a_1^4*a_2*b_1^2*b_2^2*b_5*b_6-24*a_1^2*a_2*r^2*b_1^2*b_2^2*b_5*b_6-64*a_2^3*r^2*b_1^2*b_2^2*b_5*b_6+40*a_2*r^4*b_1^2*b_2^2*b_5*b_6+8*a_1^5*b_1*b_2^3*b_5*b_6+56*a_1^3*a_2^2*b_1*b_2^3*b_5*b_6-32*a_1*a_2^4*b_1*b_2^3*b_5*b_6-4*a_1^3*r^2*b_1*b_2^3*b_5*b_6+48*a_1*a_2^2*r^2*b_1*b_2^3*b_5*b_6-4*a_1*r^4*b_1*b_2^3*b_5*b_6+10*a_1^4*a_2*b_2^4*b_5*b_6+60*a_1^2*a_2^3*b_2^4*b_5*b_6+2*a_2^5*b_2^4*b_5*b_6-66*a_1^2*a_2*r^2*b_2^4*b_5*b_6-22*a_2^3*r^2*b_2^4*b_5*b_6+20*a_2*r^4*b_2^4*b_5*b_6-32*a_1^4*a_2*b_1^3*b_3*b_5*b_6+192*a_1^2*a_2^3*b_1^3*b_3*b_5*b_6+96*a_1^2*a_2*r^2*b_1^3*b_3*b_5*b_6+192*a_2^3*r^2*b_1^3*b_3*b_5*b_6-64*a_2*r^4*b_1^3*b_3*b_5*b_6-48*a_1^5*b_1^2*b_2*b_3*b_5*b_6-256*a_1^3*a_2^2*b_1^2*b_2*b_3*b_5*b_6+192*a_1*a_2^4*b_1^2*b_2*b_3*b_5*b_6+80*a_1^3*r^2*b_1^2*b_2*b_3*b_5*b_6-288*a_1*a_2^2*r^2*b_1^2*b_2*b_3*b_5*b_6-32*a_1*r^4*b_1^2*b_2*b_3*b_5*b_6-96*a_1^4*a_2*b_1*b_2^2*b_3*b_5*b_6-208*a_1^2*a_2^3*b_1*b_2^2*b_3*b_5*b_6-48*a_2^5*b_1*b_2^2*b_3*b_5*b_6+288*a_1^2*a_2*r^2*b_1*b_2^2*b_3*b_5*b_6+136*a_2^3*r^2*b_1*b_2^2*b_3*b_5*b_6-88*a_2*r^4*b_1*b_2^2*b_3*b_5*b_6-24*a_1^3*a_2^2*b_2^3*b_3*b_5*b_6+88*a_1*a_2^4*b_2^3*b_3*b_5*b_6+40*a_1^3*r^2*b_2^3*b_3*b_5*b_6-84*a_1*a_2^2*r^2*b_2^3*b_3*b_5*b_6-4*a_1*r^4*b_2^3*b_3*b_5*b_6+96*a_1^4*a_2*b_1^2*b_3^2*b_5*b_6-64*a_1^2*a_2^3*b_1^2*b_3^2*b_5*b_6+192*a_2^5*b_1^2*b_3^2*b_5*b_6+96*a_1^2*a_2*r^2*b_1^2*b_3^2*b_5*b_6-320*a_2^3*r^2*b_1^2*b_3^2*b_5*b_6+128*a_2*r^4*b_1^2*b_3^2*b_5*b_6-304*a_1*a_2^4*b_1*b_2*b_3^2*b_5*b_6-128*a_1^3*r^2*b_1*b_2*b_3^2*b_5*b_6+336*a_1*a_2^2*r^2*b_1*b_2*b_3^2*b_5*b_6-32*a_1*r^4*b_1*b_2*b_3^2*b_5*b_6-48*a_1^2*a_2^3*b_2^2*b_3^2*b_5*b_6+32*a_2^5*b_2^2*b_3^2*b_5*b_6+48*a_1^2*a_2*r^2*b_2^2*b_3^2*b_5*b_6-64*a_2^3*r^2*b_2^2*b_3^2*b_5*b_6+32*a_2*r^4*b_2^2*b_3^2*b_5*b_6+64*a_1^2*a_2^3*b_1*b_3^3*b_5*b_6-96*a_2^5*b_1*b_3^3*b_5*b_6-64*a_1^2*a_2*r^2*b_1*b_3^3*b_5*b_6+192*a_2^3*r^2*b_1*b_3^3*b_5*b_6-96*a_2*r^4*b_1*b_3^3*b_5*b_6-16*a_1*a_2^4*b_2*b_3^3*b_5*b_6+32*a_1*a_2^2*r^2*b_2*b_3^3*b_5*b_6-16*a_1*r^4*b_2*b_3^3*b_5*b_6+a_1^4*b_1^2*b_4^4-2*a_1^2*r^2*b_1^2*b_4^4+r^4*b_1^2*b_4^4+10*a_1^3*a_2*b_1*b_2*b_4^4-10*a_1*a_2*r^2*b_1*b_2*b_4^4+2*a_1^4*b_2^2*b_4^4+15*a_1^2*a_2^2*b_2^2*b_4^4-5*a_1^2*r^2*b_2^2*b_4^4-15*a_2^2*r^2*b_2^2*b_4^4+3*r^4*b_2^2*b_4^4+24*a_1^4*b_1*b_3*b_4^4-6*a_1^2*a_2^2*b_1*b_3*b_4^4-32*a_1^2*r^2*b_1*b_3*b_4^4+10*a_2^2*r^2*b_1*b_3*b_4^4+8*r^4*b_1*b_3*b_4^4+16*a_1^3*a_2*b_2*b_3*b_4^4+10*a_1*a_2^3*b_2*b_3*b_4^4-16*a_1*a_2*r^2*b_2*b_3*b_4^4+16*a_1^4*b_3^2*b_4^4+32*a_1^2*a_2^2*b_3^2*b_4^4+a_2^4*b_3^2*b_4^4-8*a_1^2*r^2*b_3^2*b_4^4-20*a_2^2*r^2*b_3^2*b_4^4-8*r^4*b_3^2*b_4^4-16*a_1^3*a_2*b_1^2*b_4^3*b_5+16*a_1*a_2*r^2*b_1^2*b_4^3*b_5-40*a_1^4*b_1*b_2*b_4^3*b_5-24*a_1^2*a_2^2*b_1*b_2*b_4^3*b_5+58*a_1^2*r^2*b_1*b_2*b_4^3*b_5+40*a_2^2*r^2*b_1*b_2*b_4^3*b_5-18*r^4*b_1*b_2*b_4^3*b_5-28*a_1^3*a_2*b_2^2*b_4^3*b_5+20*a_1*a_2^3*b_2^2*b_4^3*b_5+26*a_1*a_2*r^2*b_2^2*b_4^3*b_5+96*a_1^3*a_2*b_1*b_3*b_4^3*b_5-32*a_1*a_2^3*b_1*b_3*b_4^3*b_5-72*a_1*a_2*r^2*b_1*b_3*b_4^3*b_5-16*a_1^4*b_2*b_3*b_4^3*b_5+8*a_1^2*a_2^2*b_2*b_3*b_4^3*b_5+8*a_2^4*b_2*b_3*b_4^3*b_5-20*a_1^2*r^2*b_2*b_3*b_4^3*b_5-26*a_2^2*r^2*b_2*b_3*b_4^3*b_5+36*r^4*b_2*b_3*b_4^3*b_5+32*a_1^3*a_2*b_3^2*b_4^3*b_5+80*a_1*a_2^3*b_3^2*b_4^3*b_5-8*a_1*a_2*r^2*b_3^2*b_4^3*b_5+50*a_1^4*b_1^2*b_4^2*b_5^2-70*a_1^2*r^2*b_1^2*b_4^2*b_5^2-32*a_2^2*r^2*b_1^2*b_4^2*b_5^2+20*r^4*b_1^2*b_4^2*b_5^2-44*a_1^3*a_2*b_1*b_2*b_4^2*b_5^2-48*a_1*a_2^3*b_1*b_2*b_4^2*b_5^2-2*a_1*a_2*r^2*b_1*b_2*b_4^2*b_5^2+6*a_1^4*b_2^2*b_4^2*b_5^2-58*a_1^2*a_2^2*b_2^2*b_4^2*b_5^2+6*a_2^4*b_2^2*b_4^2*b_5^2+16*a_1^2*r^2*b_2^2*b_4^2*b_5^2+16*a_2^2*r^2*b_2^2*b_4^2*b_5^2-21*r^4*b_2^2*b_4^2*b_5^2-24*a_1^4*b_1*b_3*b_4^2*b_5^2+148*a_1^2*a_2^2*b_1*b_3*b_4^2*b_5^2-24*a_2^4*b_1*b_3*b_4^2*b_5^2+50*a_1^2*r^2*b_1*b_3*b_4^2*b_5^2+50*a_2^2*r^2*b_1*b_3*b_4^2*b_5^2-38*r^4*b_1*b_3*b_4^2*b_5^2-48*a_1^3*a_2*b_2*b_3*b_4^2*b_5^2-44*a_1*a_2^3*b_2*b_3*b_4^2*b_5^2-2*a_1*a_2*r^2*b_2*b_3*b_4^2*b_5^2+50*a_2^4*b_3^2*b_4^2*b_5^2-32*a_1^2*r^2*b_3^2*b_4^2*b_5^2-70*a_2^2*r^2*b_3^2*b_4^2*b_5^2+20*r^4*b_3^2*b_4^2*b_5^2+80*a_1^3*a_2*b_1^2*b_4*b_5^3+32*a_1*a_2^3*b_1^2*b_4*b_5^3-8*a_1*a_2*r^2*b_1^2*b_4*b_5^3+8*a_1^4*b_1*b_2*b_4*b_5^3+8*a_1^2*a_2^2*b_1*b_2*b_4*b_5^3-16*a_2^4*b_1*b_2*b_4*b_5^3-26*a_1^2*r^2*b_1*b_2*b_4*b_5^3-20*a_2^2*r^2*b_1*b_2*b_4*b_5^3+36*r^4*b_1*b_2*b_4*b_5^3+20*a_1^3*a_2*b_2^2*b_4*b_5^3-28*a_1*a_2^3*b_2^2*b_4*b_5^3+26*a_1*a_2*r^2*b_2^2*b_4*b_5^3-32*a_1^3*a_2*b_1*b_3*b_4*b_5^3+96*a_1*a_2^3*b_1*b_3*b_4*b_5^3-72*a_1*a_2*r^2*b_1*b_3*b_4*b_5^3-24*a_1^2*a_2^2*b_2*b_3*b_4*b_5^3-40*a_2^4*b_2*b_3*b_4*b_5^3+40*a_1^2*r^2*b_2*b_3*b_4*b_5^3+58*a_2^2*r^2*b_2*b_3*b_4*b_5^3-18*r^4*b_2*b_3*b_4*b_5^3-16*a_1*a_2^3*b_3^2*b_4*b_5^3+16*a_1*a_2*r^2*b_3^2*b_4*b_5^3+a_1^4*b_1^2*b_5^4+32*a_1^2*a_2^2*b_1^2*b_5^4+16*a_2^4*b_1^2*b_5^4-20*a_1^2*r^2*b_1^2*b_5^4-8*a_2^2*r^2*b_1^2*b_5^4-8*r^4*b_1^2*b_5^4+10*a_1^3*a_2*b_1*b_2*b_5^4+16*a_1*a_2^3*b_1*b_2*b_5^4-16*a_1*a_2*r^2*b_1*b_2*b_5^4+15*a_1^2*a_2^2*b_2^2*b_5^4+2*a_2^4*b_2^2*b_5^4-15*a_1^2*r^2*b_2^2*b_5^4-5*a_2^2*r^2*b_2^2*b_5^4+3*r^4*b_2^2*b_5^4-6*a_1^2*a_2^2*b_1*b_3*b_5^4+24*a_2^4*b_1*b_3*b_5^4+10*a_1^2*r^2*b_1*b_3*b_5^4-32*a_2^2*r^2*b_1*b_3*b_5^4+8*r^4*b_1*b_3*b_5^4+10*a_1*a_2^3*b_2*b_3*b_5^4-10*a_1*a_2*r^2*b_2*b_3*b_5^4+a_2^4*b_3^2*b_5^4-2*a_2^2*r^2*b_3^2*b_5^4+r^4*b_3^2*b_5^4-8*a_1^4*b_1^3*b_4^2*b_6+16*a_1^2*r^2*b_1^3*b_4^2*b_6-8*r^4*b_1^3*b_4^2*b_6-48*a_1^3*a_2*b_1^2*b_2*b_4^2*b_6+48*a_1*a_2*r^2*b_1^2*b_2*b_4^2*b_6+44*a_1^4*b_1*b_2^2*b_4^2*b_6-36*a_1^2*a_2^2*b_1*b_2^2*b_4^2*b_6-42*a_1^2*r^2*b_1*b_2^2*b_4^2*b_6+60*a_2^2*r^2*b_1*b_2^2*b_4^2*b_6-2*r^4*b_1*b_2^2*b_4^2*b_6+60*a_1^3*a_2*b_2^3*b_4^2*b_6+20*a_1*a_2^3*b_2^3*b_4^2*b_6-66*a_1*a_2*r^2*b_2^3*b_4^2*b_6-72*a_1^4*b_1^2*b_3*b_4^2*b_6+112*a_1^2*r^2*b_1^2*b_3*b_4^2*b_6-64*a_2^2*r^2*b_1^2*b_3*b_4^2*b_6-40*r^4*b_1^2*b_3*b_4^2*b_6-160*a_1^3*a_2*b_1*b_2*b_3*b_4^2*b_6-96*a_1*a_2^3*b_1*b_2*b_3*b_4^2*b_6+176*a_1*a_2*r^2*b_1*b_2*b_3*b_4^2*b_6-24*a_1^4*b_2^2*b_3*b_4^2*b_6+4*a_1^2*a_2^2*b_2^2*b_3*b_4^2*b_6+12*a_2^4*b_2^2*b_3*b_4^2*b_6+50*a_1^2*r^2*b_2^2*b_3*b_4^2*b_6+20*a_2^2*r^2*b_2^2*b_3*b_4^2*b_6-38*r^4*b_2^2*b_3*b_4^2*b_6+192*a_1^4*b_1*b_3^2*b_4^2*b_6+32*a_1^2*a_2^2*b_1*b_3^2*b_4^2*b_6-24*a_2^4*b_1*b_3^2*b_4^2*b_6-176*a_1^2*r^2*b_1*b_3^2*b_4^2*b_6+88*a_2^2*r^2*b_1*b_3^2*b_4^2*b_6+80*r^4*b_1*b_3^2*b_4^2*b_6+96*a_1^3*a_2*b_2*b_3^2*b_4^2*b_6+16*a_1*a_2^3*b_2*b_3^2*b_4^2*b_6-136*a_1*a_2*r^2*b_2*b_3^2*b_4^2*b_6+96*a_1^2*a_2^2*b_3^3*b_4^2*b_6+40*a_2^4*b_3^3*b_4^2*b_6+96*a_1^2*r^2*b_3^3*b_4^2*b_6-8*a_2^2*r^2*b_3^3*b_4^2*b_6-32*r^4*b_3^3*b_4^2*b_6+64*a_1^3*a_2*b_1^3*b_4*b_5*b_6-64*a_1*a_2*r^2*b_1^3*b_4*b_5*b_6-80*a_1^4*b_1^2*b_2*b_4*b_5*b_6+56*a_1^2*r^2*b_1^2*b_2*b_4*b_5*b_6-128*a_2^2*r^2*b_1^2*b_2*b_4*b_5*b_6+24*r^4*b_1^2*b_2*b_4*b_5*b_6-48*a_1^3*a_2*b_1*b_2^2*b_4*b_5*b_6-96*a_1*a_2^3*b_1*b_2^2*b_4*b_5*b_6+112*a_1*a_2*r^2*b_1*b_2^2*b_4*b_5*b_6+8*a_1^4*b_2^3*b_4*b_5*b_6+80*a_1^2*a_2^2*b_2^3*b_4*b_5*b_6+8*a_2^4*b_2^3*b_4*b_5*b_6-26*a_1^2*r^2*b_2^3*b_4*b_5*b_6-26*a_2^2*r^2*b_2^3*b_4*b_5*b_6+36*r^4*b_2^3*b_4*b_5*b_6-64*a_1^3*a_2*b_1^2*b_3*b_4*b_5*b_6+192*a_1*a_2^3*b_1^2*b_3*b_4*b_5*b_6+96*a_1*a_2*r^2*b_1^2*b_3*b_4*b_5*b_6-96*a_1^4*b_1*b_2*b_3*b_4*b_5*b_6-416*a_1^2*a_2^2*b_1*b_2*b_3*b_4*b_5*b_6-96*a_2^4*b_1*b_2*b_3*b_4*b_5*b_6+32*a_1^2*r^2*b_1*b_2*b_3*b_4*b_5*b_6+32*a_2^2*r^2*b_1*b_2*b_3*b_4*b_5*b_6-96*r^4*b_1*b_2*b_3*b_4*b_5*b_6-96*a_1^3*a_2*b_2^2*b_3*b_4*b_5*b_6-48*a_1*a_2^3*b_2^2*b_3*b_4*b_5*b_6+112*a_1*a_2*r^2*b_2^2*b_3*b_4*b_5*b_6+192*a_1^3*a_2*b_1*b_3^2*b_4*b_5*b_6-64*a_1*a_2^3*b_1*b_3^2*b_4*b_5*b_6+96*a_1*a_2*r^2*b_1*b_3^2*b_4*b_5*b_6-80*a_2^4*b_2*b_3^2*b_4*b_5*b_6-128*a_1^2*r^2*b_2*b_3^2*b_4*b_5*b_6+56*a_2^2*r^2*b_2*b_3^2*b_4*b_5*b_6+24*r^4*b_2*b_3^2*b_4*b_5*b_6+64*a_1*a_2^3*b_3^3*b_4*b_5*b_6-64*a_1*a_2*r^2*b_3^3*b_4*b_5*b_6+40*a_1^4*b_1^3*b_5^2*b_6+96*a_1^2*a_2^2*b_1^3*b_5^2*b_6-8*a_1^2*r^2*b_1^3*b_5^2*b_6+96*a_2^2*r^2*b_1^3*b_5^2*b_6-32*r^4*b_1^3*b_5^2*b_6+16*a_1^3*a_2*b_1^2*b_2*b_5^2*b_6+96*a_1*a_2^3*b_1^2*b_2*b_5^2*b_6-136*a_1*a_2*r^2*b_1^2*b_2*b_5^2*b_6+12*a_1^4*b_1*b_2^2*b_5^2*b_6+4*a_1^2*a_2^2*b_1*b_2^2*b_5^2*b_6-24*a_2^4*b_1*b_2^2*b_5^2*b_6+20*a_1^2*r^2*b_1*b_2^2*b_5^2*b_6+50*a_2^2*r^2*b_1*b_2^2*b_5^2*b_6-38*r^4*b_1*b_2^2*b_5^2*b_6+20*a_1^3*a_2*b_2^3*b_5^2*b_6+60*a_1*a_2^3*b_2^3*b_5^2*b_6-66*a_1*a_2*r^2*b_2^3*b_5^2*b_6-24*a_1^4*b_1^2*b_3*b_5^2*b_6+32*a_1^2*a_2^2*b_1^2*b_3*b_5^2*b_6+192*a_2^4*b_1^2*b_3*b_5^2*b_6+88*a_1^2*r^2*b_1^2*b_3*b_5^2*b_6-176*a_2^2*r^2*b_1^2*b_3*b_5^2*b_6+80*r^4*b_1^2*b_3*b_5^2*b_6-96*a_1^3*a_2*b_1*b_2*b_3*b_5^2*b_6-160*a_1*a_2^3*b_1*b_2*b_3*b_5^2*b_6+176*a_1*a_2*r^2*b_1*b_2*b_3*b_5^2*b_6-36*a_1^2*a_2^2*b_2^2*b_3*b_5^2*b_6+44*a_2^4*b_2^2*b_3*b_5^2*b_6+60*a_1^2*r^2*b_2^2*b_3*b_5^2*b_6-42*a_2^2*r^2*b_2^2*b_3*b_5^2*b_6-2*r^4*b_2^2*b_3*b_5^2*b_6-72*a_2^4*b_1*b_3^2*b_5^2*b_6-64*a_1^2*r^2*b_1*b_3^2*b_5^2*b_6+112*a_2^2*r^2*b_1*b_3^2*b_5^2*b_6-40*r^4*b_1*b_3^2*b_5^2*b_6-48*a_1*a_2^3*b_2*b_3^2*b_5^2*b_6+48*a_1*a_2*r^2*b_2*b_3^2*b_5^2*b_6-8*a_2^4*b_3^3*b_5^2*b_6+16*a_2^2*r^2*b_3^3*b_5^2*b_6-8*r^4*b_3^3*b_5^2*b_6+16*a_1^4*b_1^4*b_6^2-32*a_1^2*r^2*b_1^4*b_6^2+16*r^4*b_1^4*b_6^2+32*a_1^3*a_2*b_1^3*b_2*b_6^2-32*a_1*a_2*r^2*b_1^3*b_2*b_6^2+32*a_1^4*b_1^2*b_2^2*b_6^2-40*a_1^2*r^2*b_1^2*b_2^2*b_6^2-32*a_2^2*r^2*b_1^2*b_2^2*b_6^2+8*r^4*b_1^2*b_2^2*b_6^2+80*a_1^3*a_2*b_1*b_2^3*b_6^2-16*a_1*a_2^3*b_1*b_2^3*b_6^2-8*a_1*a_2*r^2*b_1*b_2^3*b_6^2+a_1^4*b_2^4*b_6^2+50*a_1^2*a_2^2*b_2^4*b_6^2+a_2^4*b_2^4*b_6^2-20*a_1^2*r^2*b_2^4*b_6^2-20*a_2^2*r^2*b_2^4*b_6^2-8*r^4*b_2^4*b_6^2-96*a_1^4*b_1^3*b_3*b_6^2+96*a_1^2*a_2^2*b_1^3*b_3*b_6^2+64*a_1^2*r^2*b_1^3*b_3*b_6^2+96*a_2^2*r^2*b_1^3*b_3*b_6^2+32*r^4*b_1^3*b_3*b_6^2-256*a_1^3*a_2*b_1^2*b_2*b_3*b_6^2+96*a_1*a_2^3*b_1^2*b_2*b_3*b_6^2-64*a_1*a_2*r^2*b_1^2*b_2*b_3*b_6^2-24*a_1^4*b_1*b_2^2*b_3*b_6^2-112*a_1^2*a_2^2*b_1*b_2^2*b_3*b_6^2-24*a_2^4*b_1*b_2^2*b_3*b_6^2+88*a_1^2*r^2*b_1*b_2^2*b_3*b_6^2+88*a_2^2*r^2*b_1*b_2^2*b_3*b_6^2+80*r^4*b_1*b_2^2*b_3*b_6^2-16*a_1^3*a_2*b_2^3*b_3*b_6^2+80*a_1*a_2^3*b_2^3*b_3*b_6^2-8*a_1*a_2*r^2*b_2^3*b_3*b_6^2+96*a_1^4*b_1^2*b_3^2*b_6^2-160*a_1^2*a_2^2*b_1^2*b_3^2*b_6^2+96*a_2^4*b_1^2*b_3^2*b_6^2-128*a_1^2*r^2*b_1^2*b_3^2*b_6^2-128*a_2^2*r^2*b_1^2*b_3^2*b_6^2-96*r^4*b_1^2*b_3^2*b_6^2+96*a_1^3*a_2*b_1*b_2*b_3^2*b_6^2-256*a_1*a_2^3*b_1*b_2*b_3^2*b_6^2-64*a_1*a_2*r^2*b_1*b_2*b_3^2*b_6^2+32*a_2^4*b_2^2*b_3^2*b_6^2-32*a_1^2*r^2*b_2^2*b_3^2*b_6^2-40*a_2^2*r^2*b_2^2*b_3^2*b_6^2+8*r^4*b_2^2*b_3^2*b_6^2+96*a_1^2*a_2^2*b_1*b_3^3*b_6^2-96*a_2^4*b_1*b_3^3*b_6^2+96*a_1^2*r^2*b_1*b_3^3*b_6^2+64*a_2^2*r^2*b_1*b_3^3*b_6^2+32*r^4*b_1*b_3^3*b_6^2+32*a_1*a_2^3*b_2*b_3^3*b_6^2-32*a_1*a_2*r^2*b_2*b_3^3*b_6^2+16*a_2^4*b_3^4*b_6^2-32*a_2^2*r^2*b_3^4*b_6^2+16*r^4*b_3^4*b_6^2+2*a_1^3*b_1*b_4^5-2*a_1*r^2*b_1*b_4^5+6*a_1^2*a_2*b_2*b_4^5-6*a_2*r^2*b_2*b_4^5+8*a_1^3*b_3*b_4^5+2*a_1*a_2^2*b_3*b_4^5-8*a_1*r^2*b_3*b_4^5-6*a_1^2*a_2*b_1*b_4^4*b_5+10*a_2*r^2*b_1*b_4^4*b_5-12*a_1^3*b_2*b_4^4*b_5+10*a_1*a_2^2*b_2*b_4^4*b_5+12*a_1*r^2*b_2*b_4^4*b_5+32*a_1^2*a_2*b_3*b_4^4*b_5+2*a_2^3*b_3*b_4^4*b_5-20*a_2*r^2*b_3*b_4^4*b_5+20*a_1^3*b_1*b_4^3*b_5^2-16*a_1*a_2^2*b_1*b_4^3*b_5^2-22*a_1*r^2*b_1*b_4^3*b_5^2-32*a_1^2*a_2*b_2*b_4^3*b_5^2+4*a_2^3*b_2*b_4^3*b_5^2+6*a_2*r^2*b_2*b_4^3*b_5^2-8*a_1^3*b_3*b_4^3*b_5^2+44*a_1*a_2^2*b_3*b_4^3*b_5^2+2*a_1*r^2*b_3*b_4^3*b_5^2+44*a_1^2*a_2*b_1*b_4^2*b_5^3-8*a_2^3*b_1*b_4^2*b_5^3+2*a_2*r^2*b_1*b_4^2*b_5^3+4*a_1^3*b_2*b_4^2*b_5^3-32*a_1*a_2^2*b_2*b_4^2*b_5^3+6*a_1*r^2*b_2*b_4^2*b_5^3-16*a_1^2*a_2*b_3*b_4^2*b_5^3+20*a_2^3*b_3*b_4^2*b_5^3-22*a_2*r^2*b_3*b_4^2*b_5^3+2*a_1^3*b_1*b_4*b_5^4+32*a_1*a_2^2*b_1*b_4*b_5^4-20*a_1*r^2*b_1*b_4*b_5^4+10*a_1^2*a_2*b_2*b_4*b_5^4-12*a_2^3*b_2*b_4*b_5^4+12*a_2*r^2*b_2*b_4*b_5^4-6*a_1*a_2^2*b_3*b_4*b_5^4+10*a_1*r^2*b_3*b_4*b_5^4+2*a_1^2*a_2*b_1*b_5^5+8*a_2^3*b_1*b_5^5-8*a_2*r^2*b_1*b_5^5+6*a_1*a_2^2*b_2*b_5^5-6*a_1*r^2*b_2*b_5^5+2*a_2^3*b_3*b_5^5-2*a_2*r^2*b_3*b_5^5-16*a_1^3*b_1^2*b_4^3*b_6+16*a_1*r^2*b_1^2*b_4^3*b_6-24*a_1^2*a_2*b_1*b_2*b_4^3*b_6+40*a_2*r^2*b_1*b_2*b_4^3*b_6+20*a_1^3*b_2^2*b_4^3*b_6+20*a_1*a_2^2*b_2^2*b_4^3*b_6-22*a_1*r^2*b_2^2*b_4^3*b_6+16*a_1^3*b_1*b_3*b_4^3*b_6-32*a_1*a_2^2*b_1*b_3*b_4^3*b_6+16*a_1*r^2*b_1*b_3*b_4^3*b_6+16*a_1^2*a_2*b_2*b_3*b_4^3*b_6+8*a_2^3*b_2*b_3*b_4^3*b_6+4*a_2*r^2*b_2*b_3*b_4^3*b_6+64*a_1^3*b_3^2*b_4^3*b_6+64*a_1*a_2^2*b_3^2*b_4^3*b_6-16*a_1*r^2*b_3^2*b_4^3*b_6-64*a_2*r^2*b_1^2*b_4^2*b_5*b_6-104*a_1^3*b_1*b_2*b_4^2*b_5*b_6-96*a_1*a_2^2*b_1*b_2*b_4^2*b_5*b_6+64*a_1*r^2*b_1*b_2*b_4^2*b_5*b_6-20*a_1^2*a_2*b_2^2*b_4^2*b_5*b_6+12*a_2^3*b_2^2*b_4^2*b_5*b_6+14*a_2*r^2*b_2^2*b_4^2*b_5*b_6+32*a_1^2*a_2*b_1*b_3*b_4^2*b_5*b_6-48*a_2^3*b_1*b_3*b_4^2*b_5*b_6+88*a_2*r^2*b_1*b_3*b_4^2*b_5*b_6-48*a_1^3*b_2*b_3*b_4^2*b_5*b_6-72*a_1*a_2^2*b_2*b_3*b_4^2*b_5*b_6-44*a_1*r^2*b_2*b_3*b_4^2*b_5*b_6+96*a_1^2*a_2*b_3^2*b_4^2*b_5*b_6+80*a_2^3*b_3^2*b_4^2*b_5*b_6-8*a_2*r^2*b_3^2*b_4^2*b_5*b_6+80*a_1^3*b_1^2*b_4*b_5^2*b_6+96*a_1*a_2^2*b_1^2*b_4*b_5^2*b_6-8*a_1*r^2*b_1^2*b_4*b_5^2*b_6-72*a_1^2*a_2*b_1*b_2*b_4*b_5^2*b_6-48*a_2^3*b_1*b_2*b_4*b_5^2*b_6-44*a_2*r^2*b_1*b_2*b_4*b_5^2*b_6+12*a_1^3*b_2^2*b_4*b_5^2*b_6-20*a_1*a_2^2*b_2^2*b_4*b_5^2*b_6+14*a_1*r^2*b_2^2*b_4*b_5^2*b_6-48*a_1^3*b_1*b_3*b_4*b_5^2*b_6+32*a_1*a_2^2*b_1*b_3*b_4*b_5^2*b_6+88*a_1*r^2*b_1*b_3*b_4*b_5^2*b_6-96*a_1^2*a_2*b_2*b_3*b_4*b_5^2*b_6-104*a_2^3*b_2*b_3*b_4*b_5^2*b_6+64*a_2*r^2*b_2*b_3*b_4*b_5^2*b_6-64*a_1*r^2*b_3^2*b_4*b_5^2*b_6+64*a_1^2*a_2*b_1^2*b_5^3*b_6+64*a_2^3*b_1^2*b_5^3*b_6-16*a_2*r^2*b_1^2*b_5^3*b_6+8*a_1^3*b_1*b_2*b_5^3*b_6+16*a_1*a_2^2*b_1*b_2*b_5^3*b_6+4*a_1*r^2*b_1*b_2*b_5^3*b_6+20*a_1^2*a_2*b_2^2*b_5^3*b_6+20*a_2^3*b_2^2*b_5^3*b_6-22*a_2*r^2*b_2^2*b_5^3*b_6-32*a_1^2*a_2*b_1*b_3*b_5^3*b_6+16*a_2^3*b_1*b_3*b_5^3*b_6+16*a_2*r^2*b_1*b_3*b_5^3*b_6-24*a_1*a_2^2*b_2*b_3*b_5^3*b_6+40*a_1*r^2*b_2*b_3*b_5^3*b_6-16*a_2^3*b_3^2*b_5^3*b_6+16*a_2*r^2*b_3^2*b_5^3*b_6+32*a_1^3*b_1^3*b_4*b_6^2-32*a_1*r^2*b_1^3*b_4*b_6^2-64*a_2*r^2*b_1^2*b_2*b_4*b_6^2+80*a_1^3*b_1*b_2^2*b_4*b_6^2-48*a_1*a_2^2*b_1*b_2^2*b_4*b_6^2-8*a_1*r^2*b_1*b_2^2*b_4*b_6^2+100*a_1^2*a_2*b_2^3*b_4*b_6^2+4*a_2^3*b_2^3*b_4*b_6^2-40*a_2*r^2*b_2^3*b_4*b_6^2-192*a_1^3*b_1^2*b_3*b_4*b_6^2+96*a_1*a_2^2*b_1^2*b_3*b_4*b_6^2+64*a_1*r^2*b_1^2*b_3*b_4*b_6^2-304*a_1^2*a_2*b_1*b_2*b_3*b_4*b_6^2-48*a_2^3*b_1*b_2*b_3*b_4*b_6^2+32*a_2*r^2*b_1*b_2*b_3*b_4*b_6^2-24*a_1^3*b_2^2*b_3*b_4*b_6^2+40*a_1*a_2^2*b_2^2*b_3*b_4*b_6^2+72*a_1*r^2*b_2^2*b_3*b_4*b_6^2+192*a_1^3*b_1*b_3^2*b_4*b_6^2-160*a_1*a_2^2*b_1*b_3^2*b_4*b_6^2-128*a_1*r^2*b_1*b_3^2*b_4*b_6^2+96*a_1^2*a_2*b_2*b_3^2*b_4*b_6^2-32*a_2^3*b_2*b_3^2*b_4*b_6^2-64*a_2*r^2*b_2*b_3^2*b_4*b_6^2+96*a_1*a_2^2*b_3^3*b_4*b_6^2+96*a_1*r^2*b_3^3*b_4*b_6^2+96*a_1^2*a_2*b_1^3*b_5*b_6^2+96*a_2*r^2*b_1^3*b_5*b_6^2-32*a_1^3*b_1^2*b_2*b_5*b_6^2+96*a_1*a_2^2*b_1^2*b_2*b_5*b_6^2-64*a_1*r^2*b_1^2*b_2*b_5*b_6^2+40*a_1^2*a_2*b_1*b_2^2*b_5*b_6^2-24*a_2^3*b_1*b_2^2*b_5*b_6^2+72*a_2*r^2*b_1*b_2^2*b_5*b_6^2+4*a_1^3*b_2^3*b_5*b_6^2+100*a_1*a_2^2*b_2^3*b_5*b_6^2-40*a_1*r^2*b_2^3*b_5*b_6^2-160*a_1^2*a_2*b_1^2*b_3*b_5*b_6^2+192*a_2^3*b_1^2*b_3*b_5*b_6^2-128*a_2*r^2*b_1^2*b_3*b_5*b_6^2-48*a_1^3*b_1*b_2*b_3*b_5*b_6^2-304*a_1*a_2^2*b_1*b_2*b_3*b_5*b_6^2+32*a_1*r^2*b_1*b_2*b_3*b_5*b_6^2-48*a_1^2*a_2*b_2^2*b_3*b_5*b_6^2+80*a_2^3*b_2^2*b_3*b_5*b_6^2-8*a_2*r^2*b_2^2*b_3*b_5*b_6^2+96*a_1^2*a_2*b_1*b_3^2*b_5*b_6^2-192*a_2^3*b_1*b_3^2*b_5*b_6^2+64*a_2*r^2*b_1*b_3^2*b_5*b_6^2-64*a_1*r^2*b_2*b_3^2*b_5*b_6^2+32*a_2^3*b_3^3*b_5*b_6^2-32*a_2*r^2*b_3^3*b_5*b_6^2+a_1^2*b_4^6-r^2*b_4^6+2*a_1*a_2*b_4^5*b_5+2*a_1^2*b_4^4*b_5^2+a_2^2*b_4^4*b_5^2-3*r^2*b_4^4*b_5^2+4*a_1*a_2*b_4^3*b_5^3+a_1^2*b_4^2*b_5^4+2*a_2^2*b_4^2*b_5^4-3*r^2*b_4^2*b_5^4+2*a_1*a_2*b_4*b_5^5+a_2^2*b_5^6-r^2*b_5^6-6*a_1^2*b_1*b_4^4*b_6+10*r^2*b_1*b_4^4*b_6+10*a_1*a_2*b_2*b_4^4*b_6+24*a_1^2*b_3*b_4^4*b_6+2*a_2^2*b_3*b_4^4*b_6-8*r^2*b_3*b_4^4*b_6-32*a_1*a_2*b_1*b_4^3*b_5*b_6-40*a_1^2*b_2*b_4^3*b_5*b_6+8*a_2^2*b_2*b_4^3*b_5*b_6+18*r^2*b_2*b_4^3*b_5*b_6+64*a_1*a_2*b_3*b_4^3*b_5*b_6+44*a_1^2*b_1*b_4^2*b_5^2*b_6-24*a_2^2*b_1*b_4^2*b_5^2*b_6+2*r^2*b_1*b_4^2*b_5^2*b_6-76*a_1*a_2*b_2*b_4^2*b_5^2*b_6-24*a_1^2*b_3*b_4^2*b_5^2*b_6+44*a_2^2*b_3*b_4^2*b_5^2*b_6+2*r^2*b_3*b_4^2*b_5^2*b_6+64*a_1*a_2*b_1*b_4*b_5^3*b_6+8*a_1^2*b_2*b_4*b_5^3*b_6-40*a_2^2*b_2*b_4*b_5^3*b_6+18*r^2*b_2*b_4*b_5^3*b_6-32*a_1*a_2*b_3*b_4*b_5^3*b_6+2*a_1^2*b_1*b_5^4*b_6+24*a_2^2*b_1*b_5^4*b_6-8*r^2*b_1*b_5^4*b_6+10*a_1*a_2*b_2*b_5^4*b_6-6*a_2^2*b_3*b_5^4*b_6+10*r^2*b_3*b_5^4*b_6-32*r^2*b_1^2*b_4^2*b_6^2-48*a_1*a_2*b_1*b_2*b_4^2*b_6^2+50*a_1^2*b_2^2*b_4^2*b_6^2+6*a_2^2*b_2^2*b_4^2*b_6^2-20*r^2*b_2^2*b_4^2*b_6^2-72*a_1^2*b_1*b_3*b_4^2*b_6^2-24*a_2^2*b_1*b_3*b_4^2*b_6^2+40*r^2*b_1*b_3*b_4^2*b_6^2-16*a_1*a_2*b_2*b_3*b_4^2*b_6^2+96*a_1^2*b_3^2*b_4^2*b_6^2+32*a_2^2*b_3^2*b_4^2*b_6^2-8*r^2*b_3^2*b_4^2*b_6^2+96*a_1*a_2*b_1^2*b_4*b_5*b_6^2-80*a_1^2*b_1*b_2*b_4*b_5*b_6^2-48*a_2^2*b_1*b_2*b_4*b_5*b_6^2-24*r^2*b_1*b_2*b_4*b_5*b_6^2+56*a_1*a_2*b_2^2*b_4*b_5*b_6^2-160*a_1*a_2*b_1*b_3*b_4*b_5*b_6^2-48*a_1^2*b_2*b_3*b_4*b_5*b_6^2-80*a_2^2*b_2*b_3*b_4*b_5*b_6^2-24*r^2*b_2*b_3*b_4*b_5*b_6^2+96*a_1*a_2*b_3^2*b_4*b_5*b_6^2+32*a_1^2*b_1^2*b_5^2*b_6^2+96*a_2^2*b_1^2*b_5^2*b_6^2-8*r^2*b_1^2*b_5^2*b_6^2-16*a_1*a_2*b_1*b_2*b_5^2*b_6^2+6*a_1^2*b_2^2*b_5^2*b_6^2+50*a_2^2*b_2^2*b_5^2*b_6^2-20*r^2*b_2^2*b_5^2*b_6^2-24*a_1^2*b_1*b_3*b_5^2*b_6^2-72*a_2^2*b_1*b_3*b_5^2*b_6^2+40*r^2*b_1*b_3*b_5^2*b_6^2-48*a_1*a_2*b_2*b_3*b_5^2*b_6^2-32*r^2*b_3^2*b_5^2*b_6^2+32*a_1^2*b_1^3*b_6^3+32*r^2*b_1^3*b_6^3+32*a_1*a_2*b_1^2*b_2*b_6^3+40*a_1^2*b_1*b_2^2*b_6^3-8*a_2^2*b_1*b_2^2*b_6^3+32*r^2*b_1*b_2^2*b_6^3+48*a_1*a_2*b_2^3*b_6^3-96*a_1^2*b_1^2*b_3*b_6^3+64*a_2^2*b_1^2*b_3*b_6^3-32*r^2*b_1^2*b_3*b_6^3-128*a_1*a_2*b_1*b_2*b_3*b_6^3-8*a_1^2*b_2^2*b_3*b_6^3+40*a_2^2*b_2^2*b_3*b_6^3+32*r^2*b_2^2*b_3*b_6^3+64*a_1^2*b_1*b_3^2*b_6^3-96*a_2^2*b_1*b_3^2*b_6^3-32*r^2*b_1*b_3^2*b_6^3+32*a_1*a_2*b_2*b_3^2*b_6^3+32*a_2^2*b_3^3*b_6^3+32*r^2*b_3^3*b_6^3+2*a_1*b_4^5*b_6+2*a_2*b_4^4*b_5*b_6+4*a_1*b_4^3*b_5^2*b_6+4*a_2*b_4^2*b_5^3*b_6+2*a_1*b_4*b_5^4*b_6+2*a_2*b_5^5*b_6-16*a_1*b_1*b_4^3*b_6^2+4*a_2*b_2*b_4^3*b_6^2+24*a_1*b_3*b_4^3*b_6^2-24*a_2*b_1*b_4^2*b_5*b_6^2-44*a_1*b_2*b_4^2*b_5*b_6^2+32*a_2*b_3*b_4^2*b_5*b_6^2+32*a_1*b_1*b_4*b_5^2*b_6^2-44*a_2*b_2*b_4*b_5^2*b_6^2-24*a_1*b_3*b_4*b_5^2*b_6^2+24*a_2*b_1*b_5^3*b_6^2+4*a_1*b_2*b_5^3*b_6^2-16*a_2*b_3*b_5^3*b_6^2+32*a_1*b_1^2*b_4*b_6^3-16*a_2*b_1*b_2*b_4*b_6^3+48*a_1*b_2^2*b_4*b_6^3-96*a_1*b_1*b_3*b_4*b_6^3-16*a_2*b_2*b_3*b_4*b_6^3+64*a_1*b_3^2*b_4*b_6^3+64*a_2*b_1^2*b_5*b_6^3-16*a_1*b_1*b_2*b_5*b_6^3+48*a_2*b_2^2*b_5*b_6^3-96*a_2*b_1*b_3*b_5*b_6^3-16*a_1*b_2*b_3*b_5*b_6^3+32*a_2*b_3^2*b_5*b_6^3+b_4^4*b_6^2+2*b_4^2*b_5^2*b_6^2+b_5^4*b_6^2-8*b_1*b_4^2*b_6^3+8*b_3*b_4^2*b_6^3-16*b_2*b_4*b_5*b_6^3+8*b_1*b_5^2*b_6^3-8*b_3*b_5^2*b_6^3+16*b_1^2*b_6^4+16*b_2^2*b_6^4-32*b_1*b_3*b_6^4+16*b_3^2*b_6^4];
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment