FF:=QuadraticField(-7); RR:=PolynomialRing(FF,10,"grevlex"); // Equation of FPP EqsFPP := [ U1*U2*U3 + (1 - rr)*U3^2*U4 + (1 - rr)*U1^2*U5 + (1 - rr)*U2^2*U6 + (10 - (2*rr))*U4*U5*U6, (-3 + rr)*U0^3 + (-14 - (2*rr))*U1*U2*U3 + 8*U0*U1*U4 + 8*U0*U2*U5 + 8*U0*U3*U6 + (-56 - (8*rr))*U4*U5*U6 + (6 + (2*rr))*U0*U1*U7 + (6 + (2*rr))*U0*U2*U8 + (6 + (2*rr))*U0*U3*U9 + (7 + rr)*U7*U8*U9, (11 - rr)*U0^3 + (-16 - 16*rr)*U1*U2*U3 + 64*U2*U4^2 + 64*U3*U5^2 + 128*U4*U5*U6 + 64*U1*U6^2 + (-14 - 6*rr)*U0*U1*U7 + (8 + 8*rr)*U3^2*U7 + (8 + 8*rr)*U1^2*U8 + (-14 - 6*rr)*U0*U2*U8 + (8 + 8*rr)*U2^2*U9 + (-14 - 6*rr)*U0*U3*U9 + (-18 - 10*rr)*U7*U8*U9, 8*U1*U2*U3 - 16*U1^2*U5 - 16*U3*U5^2 + (-4 - 4*rr)*U0*U3*U6 + 16*U5*U6*U7 + (-1 - rr)*U0*U3*U9 + 8*U1*U6*U9 + 8*U5*U7*U9, 8*U1*U2*U3 + (-4 - 4*rr)*U0*U1*U4 - 16*U2^2*U6 - 16*U1*U6^2 + (-1 - rr)*U0*U1*U7 + 8*U2*U4*U7 + 16*U4*U6*U8 + 8*U6*U7*U8, 8*U1*U2*U3 - 16*U3^2*U4 - 16*U2*U4^2 + (-4 - 4*rr)*U0*U2*U5 + (-1 - rr)*U0*U2*U8 + 8*U3*U5*U8 + 16*U4*U5*U9 + 8*U4*U8*U9, (12 + (4*rr))*U1*U2*U3 + (-4 - (4*rr))*U0*U2*U5 + (16 + (16*rr))*U4*U5*U6 + (3 - rr)*U0*U1*U7 + 8*U2*U4*U7 - 8*U1^2*U8 + (-2 - (2*rr))*U0*U2*U8 + (4 + (4*rr))*U3*U5*U8 - 16*U4*U6*U8 + 8*U6*U7*U8 + (2 + (2*rr))*U3*U8^2, (12 + (4*rr))*U1*U2*U3 + (-4 - (4*rr))*U0*U3*U6 + (16 + (16*rr))*U4*U5*U6 + (3 - rr)*U0*U2*U8 + 8*U3*U5*U8 - 8*U2^2*U9 + (-2 - (2*rr))*U0*U3*U9 - 16*U4*U5*U9 + (4 + (4*rr))*U1*U6*U9 + 8*U4*U8*U9 + (2 + (2*rr))*U1*U9^2, (12 + (4*rr))*U1*U2*U3 + (-4 - (4*rr))*U0*U1*U4 + (16 + (16*rr))*U4*U5*U6 + (-2 - (2*rr))*U0*U1*U7 - 8*U3^2*U7 + (4 + (4*rr))*U2*U4*U7 - 16*U5*U6*U7 + (2 + (2*rr))*U2*U7^2 + (3 - rr)*U0*U3*U9 + 8*U1*U6*U9 + 8*U5*U7*U9, (2 + (6*rr))*U1*U2*U3 + (-20 + (4*rr))*U1^2*U5 - 8*U0*U2*U5 + (-8 + (8*rr))*U3*U5^2 - 8*U0*U3*U6 + (-40 + (8*rr))*U4*U5*U6 + (6 - (2*rr))*U0*U1*U7 + (8 - (8*rr))*U5*U6*U7 - 8*U1^2*U8 + (-1 - rr)*U0*U2*U8 + (8 + (8*rr))*U3*U5*U8 - 32*U4*U6*U8 + (4 - (4*rr))*U6*U7*U8 + (6 + (2*rr))*U3*U8^2 - 16*U4*U5*U9 + (4 - (4*rr))*U5*U7*U9 + (-4 - (4*rr))*U4*U8*U9 + (2 - (2*rr))*U7*U8*U9 + 4*U1*U9^2, (2 + (6*rr))*U1*U2*U3 - 8*U0*U1*U4 + (-20 + (4*rr))*U2^2*U6 - 8*U0*U3*U6 + (-40 + (8*rr))*U4*U5*U6 + (-8 + (8*rr))*U1*U6^2 - 16*U5*U6*U7 + 4*U2*U7^2 + (6 - (2*rr))*U0*U2*U8 + (8 - (8*rr))*U4*U6*U8 + (4 - (4*rr))*U6*U7*U8 - 8*U2^2*U9 + (-1 - rr)*U0*U3*U9 - 32*U4*U5*U9 + (8 + (8*rr))*U1*U6*U9 + (-4 - (4*rr))*U5*U7* U9 + (4 - (4*rr))*U4*U8*U9 + (2 - (2*rr))*U7*U8*U9 + (6 + (2*rr))*U1*U9^2, (2 + (6*rr))*U1*U2*U3 - 8*U0*U1*U4 + (-20 + (4*rr))*U3^2*U4 + (-8 + (8*rr))*U2*U4^2 - 8*U0*U2*U5 + (-40 + (8*rr))*U4*U5*U6 + (-1 - rr)*U0*U1*U7 - 8*U3^2*U7 + (8 + (8*rr))*U2*U4*U7 - 32*U5*U6*U7 + (6 + (2*rr))*U2*U7^2 - 16*U4*U6*U8 + (-4 - (4*rr))*U6*U7*U8 + 4*U3*U8^2 + (6 - (2*rr))*U0*U3*U9 + (8 - (8*rr))*U4*U5*U9 + (4 - (4*rr))*U5*U7*U9 + (4 - (4*rr))*U4*U8*U9 + (2 - (2*rr))*U7*U8*U9, (-8*rr)*U1^2*U3 + (-7 + (5*rr))*U0*U2*U3 + (-28 + (4*rr))*U0*U6^2 + 4*U0^2*U7 + (8 - (8*rr))*U1*U4*U7 + (-20 - (4*rr))*U2*U5*U7 + (8 + (8*rr))*U3*U6*U7 + (-1 - (5*rr))*U1*U7^2 - 8*U2*U7*U8 + (6 + (6*rr))*U3*U7*U9, 8*U1^2*U3 + (6 - (2*rr))*U0*U1*U5 + 16*U3*U4*U6 - 16*U5^2*U6 + (2 + (2*rr))*U2*U5*U7 - 8*U3*U6*U7 + (-2 - (2*rr))*U3^2*U8 + (-2 + (2*rr))*U0*U6*U9 + (-5 - rr)*U3*U7*U9, (-6 - (2*rr))*U1^2*U3 + (6 - (2*rr))*U0*U2*U3 + (-4 + (4*rr))*U0*U1*U5 + (-4 - (4*rr))*U3^2*U5 + 8*U1*U2*U6 + (4 + (4*rr))*U0*U6^2 - 4*U0^2*U7 + (1 + rr)*U1*U7^2 + (-2 + (2*rr))*U0*U1*U8 + 4*U3*U7*U9, (-3 + rr)*U2^3 + (-3 + rr)*U1^2*U3 + 4*U0*U2*U3 + (-2 - (2*rr))*U0^2*U4 + 8*U1*U4^2 + 8*U0*U1*U5 + (-5 - rr)*U1*U2*U6 + (4 + (4*rr))*U3*U4*U6 + 2*U0*U1*U8 + (3 - rr)*U2*U7*U8 + (2 + (2*rr))*U3*U4*U9, (-4 - (4*rr))*U2^3 + (5 + rr)*U0*U2*U3 + (12 - (4*rr))*U3^2*U5 + (16 - (16*rr))*U2*U4*U5 + (-4 - (4*rr))*U2*U5*U7 - 8*U1*U2*U9 + (4 + (4*rr))*U3*U4*U9 - 32*U5^2*U9 - 16*U5*U8*U9, 8*U1^2*U3 + (-5 - rr)*U0*U2*U3 + (4 + (4*rr))*U3^2*U5 + (4 + (4*rr))*U1*U2*U6 + (-16 + (16*rr))*U5^2*U6 + 8*U2*U5*U7 - 16*U3*U6*U7 + (-8 + (8*rr))*U5*U6*U8 - 8*U3*U7*U9, (-5 - rr)*U0^2*U4 - 8*U2*U5*U7 + (-1 - rr)*U1*U7^2 + 4*U0*U1*U8 - 4*U2*U7*U8 + (-5 + rr)*U1*U2*U9 + (2 - (2*rr))*U3*U4*U9 + (2 - (2*rr))*U0*U6*U9 + 4*U3*U7*U9 + 2*U8^2*U9 + 2*U0*U9^2, (4 + (4*rr))*U1^2*U3 + (2 - (2*rr))*U0*U2*U3 - 8*U0^2*U4 + (-12 - (4*rr))*U1*U4^2 - (8*rr)*U0*U1*U5 + (8 - (8*rr))*U2*U4*U5 + (5 - rr)*U0*U1*U8 + (-10 + (2*rr))*U3^2*U8 + 16*U5*U8*U9 + 8*U8^2*U9, (1 - rr)*U1^2*U3 - 4*U0*U1*U5 - 8*U3*U4*U6 - 8*U0*U6^2 + 4*U1*U4*U7 + (2 - (2*rr))*U2*U5*U7 + 2*U1*U7^2 - 2*U0*U1*U8 + (1 + rr)*U3^2*U8 + (1 - rr)*U2*U7*U8 + (-1 + rr)*U3*U7*U9, -8*U1^2*U3 + 16*U2*U4*U5 - 8*U1*U2*U6 + (4 + (4*rr))*U0*U6^2 + (1 + rr)*U0*U1*U8 + 8*U2*U4*U8 - 8*U5*U6*U8 + 4*U1*U2*U9 - 8*U3*U4*U9 + (2 + (2*rr))*U0*U6*U9, (-3 + rr)*U2^3 + (-3 + rr)*U1^2*U3 + (-4 - (4*rr))*U1*U4^2 + (-1 + (3*rr))*U1*U2*U6 + (-2 - (2*rr))*U1*U4*U7 + (1 + rr)*U3^2*U8 + 8*U2*U4*U8 + (-4 + (4*rr))*U5*U6*U8 + 4*U2*U7*U8 + 4*U1*U2*U9, 2*U0*U2*U3 + (-1 - rr)*U0^2*U4 + (2 - (2*rr))*U0*U1*U5 + (2 - (2*rr))*U1*U2*U6 + 2*U0*U1*U8 - 4*U3^2*U8 - 4*U2*U4*U8 + (2 - (2*rr))*U5*U6*U8 + 4*U5*U8*U9 + 2*U8^2*U9, (-1 + (3*rr))*U0^2*U1 + (44 - (4*rr))*U2^2*U3 + 64*U3*U4*U5 + (36 - (12*rr))*U1*U3*U6 + (16 + (16*rr))*U4^2*U6 + (-4 - (4*rr))*U0*U2*U7 - 32*U3*U4*U8 + (4 + (4*rr))*U0*U6*U8 - 16*U3*U7*U8 + (8 - (8*rr))*U1*U3*U9 + 16*U4*U7*U9, (-1 + (3*rr))*U0^2*U1 + (-4 - (4*rr))*U2^2*U3 + (40 - (8*rr))*U1*U2*U5 + (4 - (12*rr))*U1*U3*U6 + 96*U4^2*U6 + (-24 - (8*rr))*U2*U6^2 + 16*U1^2*U7 + (-2 + (2*rr))*U0*U2*U7 + 64*U4*U6*U7 + (20 - (4*rr))*U1*U2*U8 - 8*U0*U6*U8 + 16*U4*U7*U9, (5 + rr)*U0^2*U1 + (-4 - (4*rr))*U2^2*U3 + (16 - (16*rr))*U3*U4*U5 + (-20 - (4*rr))*U1*U3*U6 + 32*U4^2*U6 + 32*U0*U5*U6 + 8*U0*U6*U8 - 16*U1*U3*U9 + 16*U0*U5*U9 + 8*U0*U8*U9, 8*U2^2*U3 + (-3 + rr)*U0*U3^2 + (-4 - (4*rr))*U1*U2*U5 + (4 + (4*rr))*U3*U4*U5 + 32*U5^3 + (4 + (4*rr))*U3*U5*U7 + 16*U5^2*U8 + (3 - rr)*U1*U3*U9 + 8*U2*U6*U9, (-3 + rr)*U2^2*U3 + (5 + rr)*U0*U2*U4 + 8*U1*U2*U5 - 8*U2*U6^2 + 2*U0*U2*U7 + (-1 - rr)*U1*U2*U8 + 8*U5^2*U8 + (3 - rr)*U1*U3*U9 + (4 + (4*rr))*U4^2*U9 - 8*U2*U6*U9 + (2 + (2*rr))*U4*U7*U9 - 2*U0*U8*U9 + (-3 + rr)*U2*U9^2, 8*U2^2*U3 + (4 - (4*rr))*U1^2*U4 + (-12 - (4*rr))*U1*U2*U5 + (-4 - (12*rr))*U4^2*U6 + (12 + (4*rr))*U2*U6^2 + (2 - (2*rr))*U1^2*U7 - 8*U1*U2*U8 - 16*U3*U4*U8 + (1 + (3*rr))*U0*U6*U8 + (-3 - rr)*U3*U7*U8 + 4*U1*U3*U9 + (6 + (2*rr))*U2*U6*U9, (-4 + (4*rr))*U1^2*U4 - 4*U1*U2*U5 + (-4 + (4*rr))*U3*U4*U5 + 16*U5^3 + (-8 + (8*rr))*U4^2*U6 + (2 + (2*rr))*U0*U5*U6 - 4*U1^2*U7 + (2 + (2*rr))*U6*U7^2 + 8*U3*U4*U8 - 4*U0*U6*U8 - 4*U5*U8^2 + (1 + rr)*U7^2*U9, (-5 - rr)*U0^2*U1 + (-6 + (2*rr))*U0*U3^2 + (-24 + (8*rr))*U3*U4*U5 + (20 + (4*rr))*U1*U3*U6 - 32*U4^2*U6 - 32*U0*U5*U6 + 32*U2*U6^2 + (2 + (2*rr))*U0*U2*U7 + (4 + (4*rr))*U1*U2*U8 - 8*U0*U6*U8 + (10 + (2*rr))*U1*U3*U9 + 16*U2*U6*U9, (7 - (5*rr))*U0^2*U1 + (-56 - (24*rr))*U1^2*U4 + (32*rr)*U1*U2*U5 + (28 + (4*rr))*U1*U3*U6 + (28 + (28*rr))*U0*U5*U6 + (-84 - (4*rr))*U1^2*U7 + (7 + (7*rr))*U0*U2*U7 - 56*U3*U5*U7 + 56*U6*U7^2 + (24*rr)*U1*U2*U8 + 56*U0*U6*U8 + (14 - (18*rr))*U1*U3*U9 + 28*U7^2*U9, (-5 - rr)*U0^2*U1 + 48*U1*U2*U5 + (-16 - (16*rr))*U3*U4*U5 + 32*U4^2*U6 + (2 + (10*rr))*U1^2*U7 + (-48 + (16*rr))*U4*U6*U7 + (28 - (4*rr))*U1*U2*U8 + (-12 - (12*rr))*U3*U4*U8 + (-16 - (8*rr))*U0*U6*U8 + (-22 + (2*rr))*U1*U3*U9 + (-8 - (8*rr))*U2*U6*U9 + (-8 + (8*rr))*U4*U7*U9, (10 + (2*rr))*U2^2*U3 + (-11 + rr)*U0*U2*U4 - 16*U1*U2*U5 + (20 + (4*rr))*U3*U4*U5 - 16*U2*U6^2 + (-1 - rr)*U0*U2*U7 + (-2 - (2*rr))*U1*U2*U8 - 16*U5^2*U8 + (-4 - (4*rr))*U4^2*U9 + (3 - rr)*U2*U9^2, (2 + (2*rr))*U0*U3^2 + (-6 + (2*rr))*U0*U2*U4 + (4 - (4*rr))*U1*U3*U6 + 32*U4^2*U6 + (-12 - (4*rr))*U2*U6^2 + 2*U0*U2*U7 + 16*U4*U6*U7 + (7 - rr)*U1*U2*U8 - 8*U5^2*U8 + 4*U1*U3*U9 + (4 - (4*rr))*U0*U5*U9 + 4*U4*U7*U9 - (2*rr)*U0*U8*U9, (-8*rr)*U1*U2^2 - 7*U0*U1*U3 + (5*rr)*U0*U1*U3 - 28*U0*U4^2 + (4*rr)*U0*U4^2 + 4*U0^2*U8 + 8*U1*U4*U8 + (8*rr)*U1*U4*U8 + 8*U2*U5*U8 - (8*rr)*U2*U5*U8 - 20*U3*U6*U8 - (4*rr)*U3*U6*U8 + 6*U1*U7*U8 + (6*rr)*U1*U7*U8 - U2*U8^2 - (5*rr)*U2*U8^2 - 8*U3*U8*U9, 8*U1*U2^2 + 16*U1*U4*U5 + 6*U0*U2*U6 - (2*rr)*U0*U2*U6 - 16*U4*U6^2 - 2*U0*U4*U7 + (2*rr)*U0*U4*U7 - 8*U1*U4*U8 + 2*U3*U6*U8 + (2*rr)*U3*U6*U8 - 5*U1*U7*U8 - rr*U1*U7*U8 - 2*U1^2*U9 - (2*rr)*U1^2*U9, -6*U1*U2^2 - (2*rr)*U1*U2^2 + 6*U0*U1*U3 - (2*rr)*U0*U1*U3 + 8*U2*U3*U4 + 4*U0*U4^2 + (4*rr)*U0*U4^2 - 4*U1^2*U6 - (4*rr)*U1^2*U6 - 4*U0*U2*U6 + (4*rr)*U0*U2*U6 - 4*U0^2*U8 + 4*U1*U7*U8 + U2*U8^2 + rr*U2*U8^2 - 2*U0*U2*U9 + (2*rr)*U0*U2*U9, -3*U1*U2^2 + rr*U1*U2^2 + 4*U0*U1*U3 - 3*U3^3 + rr*U3^3 - 5*U2*U3*U4 - rr*U2*U3*U4 - 2*U0^2*U5 - (2*rr)*U0^2*U5 + 4*U1*U4*U5 + (4*rr)*U1*U4*U5 + 8*U2*U5^2 + 8*U0*U2*U6 + 2*U1*U5*U7 + (2*rr)*U1*U5*U7 + 2*U0*U2*U9 + 3*U3*U8*U9 - rr*U3*U8*U9, 5*U0*U1*U3 + rr*U0*U1*U3 - 4*U3^3 - (4*rr)*U3^3 + 12*U1^2*U6 - (4*rr)*U1^2*U6 + 16*U3*U5*U6 - (16*rr)*U3*U5*U6 - 8*U2*U3*U7 + 4*U1*U5*U7 + (4*rr)*U1*U5*U7 - 32*U6^2*U7 - 4*U3*U6*U8 - (4*rr)*U3*U6*U8 - 16*U6*U7*U9, 8*U1*U2^2 - 5*U0*U1*U3 - rr*U0*U1*U3 + 4*U2*U3*U4 + (4*rr)*U2*U3*U4 + 4*U1^2*U6 + (4*rr)*U1^2*U6 - 16*U4*U6^2 + (16*rr)*U4*U6^2 - 16*U1*U4*U8 + 8*U3*U6*U8 - 8*U1*U7*U8 - 8*U4*U6*U9 + (8*rr)*U4*U6*U9, -5*U0^2*U5 - rr*U0^2*U5 - 5*U2*U3*U7 + rr*U2*U3*U7 + 2*U0*U4*U7 - (2*rr)*U0*U4*U7 + 2*U1*U5*U7 - (2*rr)*U1*U5*U7 + 2*U0*U7^2 - 8*U3*U6*U8 + 4*U1*U7*U8 - U2*U8^2 - rr*U2*U8^2 + 4*U0*U2*U9 - 4*U3*U8*U9 + 2*U7*U9^2, 4*U1*U2^2 + (4*rr)*U1*U2^2 + 2*U0*U1*U3 - (2*rr)*U0*U1*U3 - 8*U0^2*U5 - 12*U2*U5^2 - (4*rr)*U2*U5^2 - (8*rr)*U0*U2*U6 + 8*U3*U5*U6 - (8*rr)*U3*U5*U6 - 10*U1^2*U9 + (2*rr)*U1^2*U9 + 5*U0*U2*U9 - rr*U0*U2*U9 + 16*U6*U7*U9 + 8*U7*U9^2, U1*U2^2 - rr*U1*U2^2 - 8*U0*U4^2 - 8*U1*U4*U5 - 4*U0*U2*U6 + 4*U2*U5*U8 + 2*U3*U6*U8 - (2*rr)*U3*U6*U8 - U1*U7*U8 + rr*U1*U7*U8 + 2*U2*U8^2 + U1^2*U9 + rr*U1^2*U9 - 2*U0*U2*U9 + U3*U8*U9 - rr*U3*U8*U9, -8*U1*U2^2 - 8*U2*U3*U4 + 4*U0*U4^2 + (4*rr)*U0*U4^2 + 16*U3*U5*U6 + 4*U2*U3*U7 + 2*U0*U4*U7 + (2*rr)*U0*U4*U7 - 8*U1*U5*U7 + U0*U2*U9 + rr*U0*U2*U9 + 8*U3*U5*U9 - 8*U4*U6*U9, -3*U1*U2^2 + rr*U1*U2^2 - 3*U3^3 + rr*U3^3 - U2*U3*U4 + (3*rr)*U2*U3*U4 - 4*U2*U5^2 - (4*rr)*U2*U5^2 + 4*U2*U3*U7 - 2*U2*U5*U8 - (2*rr)*U2*U5*U8 + U1^2*U9 + rr*U1^2*U9 + 8*U3*U5*U9 - 4*U4*U6*U9 + (4*rr)*U4*U6*U9 + 4*U3*U8*U9, 2*U0*U1*U3 + 2*U2*U3*U4 - (2*rr)*U2*U3*U4 - U0^2*U5 - rr*U0^2*U5 + 2*U0*U2*U6 - (2*rr)*U0*U2*U6 - 4*U1^2*U9 + 2*U0*U2*U9 - 4*U3*U5*U9 + 2*U4*U6*U9 - (2*rr)*U4*U6*U9 + 4*U6*U7*U9 + 2*U7*U9^2, -(U0^2*U2) + (3*rr)*U0^2*U2 + 44*U1*U3^2 - (4*rr)*U1*U3^2 + 36*U1*U2*U4 - (12*rr)*U1*U2*U4 + 16*U4*U5^2 + (16*rr)*U4*U5^2 + 64*U1*U5*U6 + 8*U1*U2*U7 - (8*rr)*U1*U2*U7 - 4*U0*U3*U8 - (4*rr)*U0*U3*U8 + 16*U5*U7*U8 + 4*U0*U4*U9 + (4*rr)*U0*U4*U9 - 32*U1*U5*U9 - 16*U1*U8*U9, -(U0^2*U2) + (3*rr)*U0^2*U2 - 4*U1*U3^2 - (4*rr)*U1*U3^2 + 4*U1*U2*U4 - (12*rr)*U1*U2*U4 - 24*U3*U4^2 - (8*rr)*U3*U4^2 + 96*U4*U5^2 + 40*U2*U3*U6 - (8*rr)*U2*U3*U6 + 16*U2^2*U8 - 2*U0*U3*U8 + (2*rr)*U0*U3*U8 + 64*U4*U5*U8 + 16*U5*U7*U8 + 20*U2*U3*U9 - (4*rr)*U2*U3*U9 - 8*U0*U4*U9, 5*U0^2*U2 + rr*U0^2*U2 - 4*U1*U3^2 - (4*rr)*U1*U3^2 - 20*U1*U2*U4 - (4*rr)*U1*U2*U4 + 32*U4*U5^2 + 32*U0*U4*U6 + 16*U1*U5*U6 - (16*rr)*U1*U5*U6 - 16*U1*U2*U7 + 16*U0*U6*U7 + 8*U0*U4*U9 + 8*U0*U7*U9, -3*U0*U1^2 + rr*U0*U1^2 + 8*U1*U3^2 - 4*U2*U3*U6 - (4*rr)*U2*U3*U6 + 4*U1*U5*U6 + (4*rr)*U1*U5*U6 + 32*U6^3 + 3*U1*U2*U7 - rr*U1*U2*U7 + 8*U3*U4*U7 + 4*U1*U6*U8 + (4*rr)*U1*U6*U8 + 16*U6^2*U9, -3*U1*U3^2 + rr*U1*U3^2 - 8*U3*U4^2 + 5*U0*U3*U5 + rr*U0*U3*U5 + 8*U2*U3*U6 + 3*U1*U2*U7 - rr*U1*U2*U7 - 8*U3*U4*U7 + 4*U5^2*U7 + (4*rr)*U5^2*U7 - 3*U3*U7^2 + rr*U3*U7^2 + 2*U0*U3*U8 + 2*U5*U7*U8 + (2*rr)*U5*U7*U8 - U2*U3*U9 - rr*U2*U3*U9 + 8*U6^2*U9 - 2*U0*U7*U9, 8*U1*U3^2 + 12*U3*U4^2 + (4*rr)*U3*U4^2 + 4*U2^2*U5 - (4*rr)*U2^2*U5 - 4*U4*U5^2 - (12*rr)*U4*U5^2 - 12*U2*U3*U6 - (4*rr)*U2*U3*U6 + 4*U1*U2*U7 + 6*U3*U4*U7 + (2*rr)*U3*U4*U7 + 2*U2^2*U8 - (2*rr)*U2^2*U8 - 8*U2*U3*U9 + U0*U4*U9 + (3*rr)*U0*U4*U9 - 16*U1*U5*U9 - 3*U1*U8*U9 - rr*U1*U8*U9, -4*U2^2*U5 + (4*rr)*U2^2*U5 - 8*U4*U5^2 + (8*rr)*U4*U5^2 - 4*U2*U3*U6 + 2*U0*U4*U6 + (2*rr)*U0*U4*U6 - 4*U1*U5*U6 + (4*rr)*U1*U5*U6 + 16*U6^3 - 4*U2^2*U8 + 2*U4*U8^2 + (2*rr)*U4*U8^2 + U7*U8^2 + rr*U7*U8^2 - 4*U0*U4*U9 + 8*U1*U5*U9 - 4*U6*U9^2, -6*U0*U1^2 + (2*rr)*U0*U1^2 - 5*U0^2*U2 - rr*U0^2*U2 + 20*U1*U2*U4 + (4*rr)*U1*U2*U4 + 32*U3*U4^2 - 32*U4*U5^2 - 32*U0*U4*U6 - 24*U1*U5*U6 + (8*rr)*U1*U5*U6 + 10*U1*U2*U7 + (2*rr)*U1*U2*U7 + 16*U3*U4*U7 + 2*U0*U3*U8 + (2*rr)*U0*U3*U8 + 4*U2*U3*U9 + (4*rr)*U2*U3*U9 - 8*U0*U4*U9, 7*U0^2*U2 - (5*rr)*U0^2*U2 + 28*U1*U2*U4 + (4*rr)*U1*U2*U4 - 56*U2^2*U5 - (24*rr)*U2^2*U5 + (32*rr)*U2*U3*U6 + 28*U0*U4*U6 + (28*rr)*U0*U4*U6 + 14*U1*U2*U7 - (18*rr)*U1*U2*U7 - 84*U2^2*U8 - (4*rr)*U2^2*U8 + 7*U0*U3*U8 + (7*rr)*U0*U3*U8 - 56*U1*U6*U8 + 56*U4*U8^2 + 28*U7*U8^2 + (24*rr)*U2*U3*U9 + 56*U0*U4*U9, -5*U0^2*U2 - rr*U0^2*U2 + 32*U4*U5^2 + 48*U2*U3*U6 - 16*U1*U5*U6 - (16*rr)*U1*U5*U6 - 22*U1*U2*U7 + (2*rr)*U1*U2*U7 - 8*U3*U4*U7 - (8*rr)*U3*U4*U7 + 2*U2^2*U8 + (10*rr)*U2^2*U8 - 48*U4*U5*U8 + (16*rr)*U4*U5*U8 - 8*U5*U7*U8 + (8*rr)*U5*U7*U8 + 28*U2*U3*U9 - (4*rr)*U2*U3*U9 - 16*U0*U4*U9 - (8*rr)*U0*U4*U9 - 12*U1*U5*U9 - (12*rr)*U1*U5*U9, 10*U1*U3^2 + (2*rr)*U1*U3^2 - 16*U3*U4^2 - 11*U0*U3*U5 + rr*U0*U3*U5 - 16*U2*U3*U6 + 20*U1*U5*U6 + (4*rr)*U1*U5*U6 - 4*U5^2*U7 - (4*rr)*U5^2*U7 + 3*U3*U7^2 - rr*U3*U7^2 - U0*U3*U8 - rr*U0*U3*U8 - 2*U2*U3*U9 - (2*rr)*U2*U3*U9 - 16*U6^2*U9, 2*U0*U1^2 + (2*rr)*U0*U1^2 + 4*U1*U2*U4 - (4*rr)*U1*U2*U4 - 12*U3*U4^2 - (4*rr)*U3*U4^2 - 6*U0*U3*U5 + (2*rr)*U0*U3*U5 + 32*U4*U5^2 + 4*U1*U2*U7 + 4*U0*U6*U7 - (4*rr)*U0*U6*U7 + 2*U0*U3*U8 + 16*U4*U5*U8 + 4*U5*U7*U8 + 7*U2*U3*U9 - rr*U2*U3*U9 - 8*U6^2*U9 - (2*rr)*U0*U7*U9, -7*U0*U1*U2 + (5*rr)*U0*U1*U2 - (8*rr)*U2*U3^2 - 28*U0*U5^2 + (4*rr)*U0*U5^2 + 4*U0^2*U9 - 20*U1*U4*U9 - (4*rr)*U1*U4*U9 + 8*U2*U5*U9 + (8*rr)*U2*U5*U9 + 8*U3*U6*U9 - (8*rr)*U3*U6*U9 - 8*U1*U7*U9 + 6*U2*U8*U9 + (6*rr)*U2*U8*U9 - U3*U9^2 - (5*rr)*U3*U9^2, 8*U2*U3^2 + 6*U0*U3*U4 - (2*rr)*U0*U3*U4 - 16*U4^2*U5 + 16*U2*U5*U6 - 2*U2^2*U7 - (2*rr)*U2^2*U7 - 2*U0*U5*U8 + (2*rr)*U0*U5*U8 + 2*U1*U4*U9 + (2*rr)*U1*U4*U9 - 8*U2*U5*U9 - 5*U2*U8*U9 - rr*U2*U8*U9, 6*U0*U1*U2 - (2*rr)*U0*U1*U2 - 6*U2*U3^2 - (2*rr)*U2*U3^2 - 4*U2^2*U4 - (4*rr)*U2^2*U4 - 4*U0*U3*U4 + (4*rr)*U0*U3*U4 + 8*U1*U3*U5 + 4*U0*U5^2 + (4*rr)*U0*U5^2 - 2*U0*U3*U7 + (2*rr)*U0*U3*U7 - 4*U0^2*U9 + 4*U2*U8*U9 + U3*U9^2 + rr*U3*U9^2, -3*U1^3 + rr*U1^3 + 4*U0*U1*U2 - 3*U2*U3^2 + rr*U2*U3^2 + 8*U0*U3*U4 - 5*U1*U3*U5 - rr*U1*U3*U5 - 2*U0^2*U6 - (2*rr)*U0^2*U6 + 4*U2*U5*U6 + (4*rr)*U2*U5*U6 + 8*U3*U6^2 + 2*U0*U3*U7 + 2*U2*U6*U8 + (2*rr)*U2*U6*U8 + 3*U1*U7*U9 - rr*U1*U7*U9, -4*U1^3 - (4*rr)*U1^3 + 5*U0*U1*U2 + rr*U0*U1*U2 + 12*U2^2*U4 - (4*rr)*U2^2*U4 + 16*U1*U4*U6 - (16*rr)*U1*U4*U6 - 8*U1*U3*U8 - 32*U4^2*U8 + 4*U2*U6*U8 + (4*rr)*U2*U6*U8 - 16*U4*U7*U8 - 4*U1*U4*U9 - (4*rr)*U1*U4*U9, -5*U0*U1*U2 - rr*U0*U1*U2 + 8*U2*U3^2 + 4*U2^2*U4 + (4*rr)*U2^2*U4 + 4*U1*U3*U5 + (4*rr)*U1*U3*U5 - 16*U4^2*U5 + (16*rr)*U4^2*U5 - 8*U4*U5*U7 + (8*rr)*U4*U5*U7 + 8*U1*U4*U9 - 16*U2*U5*U9 - 8*U2*U8*U9, -5*U0^2*U6 - rr*U0^2*U6 + 4*U0*U3*U7 - 5*U1*U3*U8 + rr*U1*U3*U8 + 2*U0*U5*U8 - (2*rr)*U0*U5*U8 + 2*U2*U6*U8 - (2*rr)*U2*U6*U8 + 2*U7^2*U8 + 2*U0*U8^2 - 8*U1*U4*U9 - 4*U1*U7*U9 + 4*U2*U8*U9 - U3*U9^2 - rr*U3*U9^2, 2*U0*U1*U2 - (2*rr)*U0*U1*U2 + 4*U2*U3^2 + (4*rr)*U2*U3^2 - (8*rr)*U0*U3*U4 - 8*U0^2*U6 + 8*U1*U4*U6 - (8*rr)*U1*U4*U6 - 12*U3*U6^2 - (4*rr)*U3*U6^2 - 10*U2^2*U7 + (2*rr)*U2^2*U7 + 5*U0*U3*U7 - rr*U0*U3*U7 + 16*U4*U7*U8 + 8*U7^2*U8, U2*U3^2 - rr*U2*U3^2 - 4*U0*U3*U4 - 8*U0*U5^2 - 8*U2*U5*U6 + U2^2*U7 + rr*U2^2*U7 - 2*U0*U3*U7 + 2*U1*U4*U9 - (2*rr)*U1*U4*U9 + 4*U3*U6*U9 + U1*U7*U9 - rr*U1*U7*U9 - U2*U8*U9 + rr*U2*U8*U9 + 2*U3*U9^2, -8*U2*U3^2 - 8*U1*U3*U5 + 4*U0*U5^2 + (4*rr)*U0*U5^2 + 16*U1*U4*U6 + U0*U3*U7 + rr*U0*U3*U7 - 8*U4*U5*U7 + 8*U1*U6*U7 + 4*U1*U3*U8 + 2*U0*U5*U8 + (2*rr)*U0*U5*U8 - 8*U2*U6*U8, -3*U1^3 + rr*U1^3 - 3*U2*U3^2 + rr*U2*U3^2 - U1*U3*U5 + (3*rr)*U1*U3*U5 - 4*U3*U6^2 - (4*rr)*U3*U6^2 + U2^2*U7 + rr*U2^2*U7 - 4*U4*U5*U7 + (4*rr)*U4*U5*U7 + 8*U1*U6*U7 + 4*U1*U3*U8 - 2*U3*U6*U9 - (2*rr)*U3*U6*U9 + 4*U1*U7*U9, 2*U0*U1*U2 + 2*U0*U3*U4 - (2*rr)*U0*U3*U4 + 2*U1*U3*U5 - (2*rr)*U1*U3*U5 - U0^2*U6 - rr*U0^2*U6 - 4*U2^2*U7 + 2*U0*U3*U7 + 2*U4*U5*U7 - (2*rr)*U4*U5*U7 - 4*U1*U6*U7 + 4*U4*U7*U8 + 2*U7^2*U8, 44*U1^2*U2 - (4*rr)*U1^2*U2 - U0^2*U3 + (3*rr)*U0^2*U3 + 36*U2*U3*U5 - (12*rr)*U2*U3*U5 + 64*U2*U4*U6 + 16*U5*U6^2 + (16*rr)*U5*U6^2 + 4*U0*U5*U7 + (4*rr)*U0*U5*U7 - 32*U2*U6*U7 + 8*U2*U3*U8 - (8*rr)*U2*U3*U8 - 4*U0*U1*U9 - (4*rr)*U0*U1*U9 - 16*U2*U7*U9 + 16*U6*U8*U9, -4*U1^2*U2 - (4*rr)*U1^2*U2 - U0^2*U3 + (3*rr)*U0^2*U3 + 40*U1*U3*U4 - (8*rr)*U1*U3*U4 + 4*U2*U3*U5 - (12*rr)*U2*U3*U5 - 24*U1*U5^2 - (8*rr)*U1*U5^2 + 96*U5*U6^2 + 20*U1*U3*U7 - (4*rr)*U1*U3*U7 - 8*U0*U5*U7 - 2*U0*U1*U9 + (2*rr)*U0*U1*U9 + 16*U3^2*U9 + 64*U5*U6*U9 + 16*U6*U8*U9, -4*U1^2*U2 - (4*rr)*U1^2*U2 + 5*U0^2*U3 + rr*U0^2*U3 - 20*U2*U3*U5 - (4*rr)*U2*U3*U5 + 32*U0*U4*U5 + 16*U2*U4*U6 - (16*rr)*U2*U4*U6 + 32*U5*U6^2 + 8*U0*U5*U7 - 16*U2*U3*U8 + 16*U0*U4*U8 + 8*U0*U7*U8, 8*U1^2*U2 - 3*U0*U2^2 + rr*U0*U2^2 - 4*U1*U3*U4 - (4*rr)*U1*U3*U4 + 32*U4^3 + 4*U2*U4*U6 + (4*rr)*U2*U4*U6 + 16*U4^2*U7 + 3*U2*U3*U8 - rr*U2*U3*U8 + 8*U1*U5*U8 + 4*U2*U4*U9 + (4*rr)*U2*U4*U9, -3*U1^2*U2 + rr*U1^2*U2 + 8*U1*U3*U4 - 8*U1*U5^2 + 5*U0*U1*U6 + rr*U0*U1*U6 - U1*U3*U7 - rr*U1*U3*U7 + 8*U4^2*U7 + 3*U2*U3*U8 - rr*U2*U3*U8 - 8*U1*U5*U8 + 4*U6^2*U8 + (4*rr)*U6^2*U8 - 2*U0*U7*U8 - 3*U1*U8^2 + rr*U1*U8^2 + 2*U0*U1*U9 + 2*U6*U8*U9 + (2*rr)*U6*U8*U9, 8*U1^2*U2 - 12*U1*U3*U4 - (4*rr)*U1*U3*U4 + 12*U1*U5^2 + (4*rr)*U1*U5^2 + 4*U3^2*U6 - (4*rr)*U3^2*U6 - 4*U5*U6^2 - (12*rr)*U5*U6^2 - 8*U1*U3*U7 + U0*U5*U7 + (3*rr)*U0*U5*U7 - 16*U2*U6*U7 + 4*U2*U3*U8 + 6*U1*U5*U8 + (2*rr)*U1*U5*U8 + 2*U3^2*U9 - (2*rr)*U3^2*U9 - 3*U2*U7*U9 - rr*U2*U7*U9, -4*U1*U3*U4 + 16*U4^3 + 2*U0*U4*U5 + (2*rr)*U0*U4*U5 - 4*U3^2*U6 + (4*rr)*U3^2*U6 - 4*U2*U4*U6 + (4*rr)*U2*U4*U6 - 8*U5*U6^2 + (8*rr)*U5*U6^2 - 4*U0*U5*U7 + 8*U2*U6*U7 - 4*U4*U7^2 - 4*U3^2*U9 + 2*U5*U9^2 + (2*rr)*U5*U9^2 + U8*U9^2 + rr*U8*U9^2, -6*U0*U2^2 + (2*rr)*U0*U2^2 - 5*U0^2*U3 - rr*U0^2*U3 + 20*U2*U3*U5 + (4*rr)*U2*U3*U5 - 32*U0*U4*U5 + 32*U1*U5^2 - 24*U2*U4*U6 + (8*rr)*U2*U4*U6 - 32*U5*U6^2 + 4*U1*U3*U7 + (4*rr)*U1*U3*U7 - 8*U0*U5*U7 + 10*U2*U3*U8 + (2*rr)*U2*U3*U8 + 16*U1*U5*U8 + 2*U0*U1*U9 + (2*rr)*U0*U1*U9, 7*U0^2*U3 - (5*rr)*U0^2*U3 + (32*rr)*U1*U3*U4 + 28*U2*U3*U5 + (4*rr)*U2*U3*U5 + 28*U0*U4*U5 + (28*rr)*U0*U4*U5 - 56*U3^2*U6 - (24*rr)*U3^2*U6 + (24*rr)*U1*U3*U7 + 56*U0*U5*U7 + 14*U2*U3*U8 - (18*rr)*U2*U3*U8 + 7*U0*U1*U9 + (7*rr)*U0*U1*U9 - 84*U3^2*U9 - (4*rr)*U3^2*U9 - 56*U2*U4*U9 + 56*U5*U9^2 + 28*U8*U9^2, -5*U0^2*U3 - rr*U0^2*U3 + 48*U1*U3*U4 - 16*U2*U4*U6 - (16*rr)*U2*U4*U6 + 32*U5*U6^2 + 28*U1*U3*U7 - (4*rr)*U1*U3*U7 - 16*U0*U5*U7 - (8*rr)*U0*U5*U7 - 12*U2*U6*U7 - (12*rr)*U2*U6*U7 - 22*U2*U3*U8 + (2*rr)*U2*U3*U8 - 8*U1*U5*U8 - (8*rr)*U1*U5*U8 + 2*U3^2*U9 + (10*rr)*U3^2*U9 - 48*U5*U6*U9 + (16*rr)*U5*U6*U9 - 8*U6*U8*U9 + (8*rr)*U6*U8*U9, 10*U1^2*U2 + (2*rr)*U1^2*U2 - 16*U1*U3*U4 - 16*U1*U5^2 - 11*U0*U1*U6 + rr*U0*U1*U6 + 20*U2*U4*U6 + (4*rr)*U2*U4*U6 - 2*U1*U3*U7 - (2*rr)*U1*U3*U7 - 16*U4^2*U7 - 4*U6^2*U8 - (4*rr)*U6^2*U8 + 3*U1*U8^2 - rr*U1*U8^2 - U0*U1*U9 - rr*U0*U1*U9, 2*U0*U2^2 + (2*rr)*U0*U2^2 + 4*U2*U3*U5 - (4*rr)*U2*U3*U5 - 12*U1*U5^2 - (4*rr)*U1*U5^2 - 6*U0*U1*U6 + (2*rr)*U0*U1*U6 + 32*U5*U6^2 + 7*U1*U3*U7 - rr*U1*U3*U7 - 8*U4^2*U7 + 4*U2*U3*U8 + 4*U0*U4*U8 - (4*rr)*U0*U4*U8 - (2*rr)*U0*U7*U8 + 2*U0*U1*U9 + 16*U5*U6*U9 + 4*U6*U8*U9]; I := Ideal(EqsFPP); // Section of 4H + D print "For 4H + D"; Gens1 := [ (-1/32 + (3*rr)/32)*U0^2 + 2*U1*U4 + U3*U6 + (3/8 - rr/8)*U1*U7 + (5/8 + rr/8)*U3*U9, (-3/8 + rr/8)*U0^2 + (-1 + rr)*U1*U4 + (3/4 + rr/4)*U1*U7 + U2*U8 - U3*U9, (-1/16 - rr/16)*U0^2 + (-1/4 + rr/4)*U1*U4 + U2*U5 + (-3/16 + (3*rr)/16)*U1*U7, (15/64 - (13*rr)/64)*U0*U4 + U6^2 + (-5/64 - rr/64)*U0*U7 + (1/8 + rr/8)*U1*U8 + (15/16 + (3*rr)/16)*U6*U9 + (9/64 + (5*rr)/64)*U9^2, U2*U3 + (-9/16 - (5*rr)/16)*U0*U4 + (-5/16 - rr/16)*U0*U7 + (3/4 - rr/4)*U6*U9 + (1/16 - (3*rr)/16)*U9^2, (3/8 - rr/8)*U0*U4 + U1*U5, (1/2 + rr/2)*U1*U3 + 2*U0*U5 + U4*U7 + (3/8 - rr/8)*U0*U8, (-3/8 - (3*rr)/8)*U1*U3 + U4^2 - U0*U5 + (-9/32 + (3*rr)/32)*U0*U8 + (1/8 + rr/8)*U2*U9, (-3/4 - rr/4)*U1*U3 - U0*U5 + U2*U6 + (-7/32 + (5*rr)/32)*U0*U8 + (5/8 + rr/8)*U2*U9, (1/2 + rr/2)*U0*U3 + 4*U1*U6 + U7*U8, -U2^2 + (1/4 - rr/4)*U0*U3 - 3*U1*U6 + U4*U8 + (-1/4 + rr/4)*U1*U9, U4*U5 + (U1*U9)/4, (-1/4 + rr/4)*U1*U2 + U0*U6 + U5*U8 + (U0*U9)/2, U5^2 + (-3/32 + rr/32)*U0*U9, (-5/2 - rr/2)*U1*U2 + (-3/2 + rr/2)*U0*U6 + U3*U7 + (-1/8 + (3*rr)/8)*U0*U9, (-1/2 - rr/2)*U1^2 + (1/4 + rr/4)*U0*U2 + (-3/2 + rr/2)*U3*U5 + U6*U7 + (U7*U9)/2, (3/8 + (3*rr)/8)*U1^2 + (-1/8 - rr/8)*U0*U2 + (1/2 - rr/2)*U3*U5 + U4*U6 + (5/8 + rr/8)*U4*U9, (9/2 + rr/2)*U1^2 - 2*U0*U2 + (-3 - rr)*U3*U5 + U3*U8 + (3/2 - rr/2)*U4*U9, (-1/8 - rr/8)*U2*U4 + U5*U6 + (U5*U9)/2 + (3/32 - rr/32)*U8*U9, (-5/8 - rr/8)*U0*U1 + U3^2 + (-5/8 - rr/8)*U8*U9, (-3/4 + rr/4)*U0*U1 + (1/2 + rr/2)*U2*U4 + U2*U7 + (1 - rr)*U5*U9 + (-3/8 + rr/8)*U8*U9 ]; Gens2 := []; Gens3 := []; for i in [1 .. # Gens1] do Gens2 := Append(Gens2, Evaluate(Gens1[i], [U0, U2, U3, U1, U5, U6, U4, U8, U9, U7])); end for; for i in [1 .. # Gens2] do Gens3 := Append(Gens3, Evaluate(Gens2[i], [U0, U2, U3, U1, U5, U6, U4, U8, U9, U7])); end for; HilbertPolynomial(I + Ideal(Gens1) + Ideal(Gens2) + Ideal(Gens3)); print "---------------------------------------------"; // Section of 4H + D1 print "For 4H + D1"; Gens1 := [ (58976105226553019493/1270977497461149662 + (190857348798967846713*rr)/ 17793684964456095268)*U0^2 + (255783218640347411795/20335639959378394592 - (203036331009431068673*rr)/ 142349479715648762144)*U0*U1 + (77973937945684357191/5083909989844598648 + (105772179938082651405*rr)/ 5083909989844598648)*U1^2 + (-253688060982039061739/10167819979689197296 - (1678818358549160494819*rr)/ 71174739857824381072)*U0*U2 + (664084694748230479879/40671279918756789184 + (11759125900966503751955*rr)/ 284698959431297524288)*U1*U2 + (1343393779855403023823/20335639959378394592 + (566137924743286467371*rr)/ 142349479715648762144)*U2^2 + (-651019667467879998063/20335639959378394592 + (1160712074277971247901*rr)/ 142349479715648762144)*U0*U3 + (-32400170284806596871/2541954994922299324 - (11223330218261402855*rr)/ 2541954994922299324)*U1*U3 + (5015284296593299760449/40671279918756789184 + (5203394072119171081381*rr)/ 284698959431297524288)*U2*U3 + (-2054415961387096804135/20335639959378394592 + (6360548378601699747789*rr)/ 142349479715648762144)*U0*U4 + (-3597629573781095079843/20335639959378394592 - (356160660551633000841*rr)/ 20335639959378394592)*U1*U4 + (529615669044284084993/20335639959378394592 + (2369801949452066103573*rr)/ 142349479715648762144)*U2*U4 + (-212126931031783814711/5083909989844598648 + (2614383635133211123333*rr)/ 35587369928912190536)*U0*U5 + (-3800195929704879169045/20335639959378394592 + (870115627920230201153*rr)/ 20335639959378394592)*U1*U5 + (1367186655917033604979/10167819979689197296 + (805883854933105545711*rr)/ 71174739857824381072)*U2*U5 + (1829128787401804514481/20335639959378394592 - (1620671465968365594635*rr)/ 142349479715648762144)*U0*U6 + (526403545392320357/74217664085322608 - (2005721478885162529*rr)/74217664085322608)*U1*U6 + (-1082151248569617555113/20335639959378394592 - (3138363100891455181*rr)/ 142349479715648762144)*U2*U6 + (-1198629075895026234073/40671279918756789184 - (6285263449217323787661*rr)/ 284698959431297524288)*U0*U7 + (-267820947569078242989/5083909989844598648 + (26320762815864445889*rr)/ 5083909989844598648)*U1*U7 + (254655034560020347391/10167819979689197296 + (223730067382847486235*rr)/ 71174739857824381072)*U2*U7 + (338608161545596841855/20335639959378394592 + (1931060501554666819979*rr)/ 142349479715648762144)*U0*U8 + (-248170538997584089265/10167819979689197296 - (54253760620714883155*rr)/ 10167819979689197296)*U1*U8 + (1567950223731191948229/40671279918756789184 + (3995728691884939471657*rr)/ 284698959431297524288)*U2*U8 + U8^2 + (-916413405812269120083/40671279918756789184 + (28747006080776486151*rr)/ 40671279918756789184)*U0*U9 + (-386174079740403975433/40671279918756789184 - (2843079167671594087837*rr)/ 284698959431297524288)*U1*U9 + (-83751547210223049975/5083909989844598648 + (80568563855616706151*rr)/ 5083909989844598648)*U2*U9 + (292456118251205745851/20335639959378394592 - (2751351708249124692617*rr)/ 142349479715648762144)*U3*U9 + (-169610780458920466921/10167819979689197296 - (2485747432910560472573*rr)/ 71174739857824381072)*U4*U9 + (-147463603841565468963/5083909989844598648 - (1452445474012842665375*rr)/ 35587369928912190536)*U5*U9 + (-495659700903604903061/10167819979689197296 + (1488739170639435405079*rr)/ 71174739857824381072)*U6*U9 + (46012839703075838253/5083909989844598648 - (166481986026633633071*rr)/ 35587369928912190536)*U7*U9 + (339186412632947316749/20335639959378394592 - (2328629712832877940431*rr)/ 142349479715648762144)*U8*U9 + (-406840293931075352763/20335639959378394592 - (550397948222537975351*rr)/ 142349479715648762144)*U9^2, (37123357208431511495/5083909989844598648 - (196047054227371190267*rr)/ 106762109786736571608)*U0^2 + (37082613145567580007/10167819979689197296 + (379935298614105876857*rr)/ 213524219573473143216)*U0*U1 + (132419481867259325159/15251729969533795944 + (3277085284348693463*rr)/ 5083909989844598648)*U1^2 + (-54932928530700863255/5083909989844598648 + (22822574390179203827*rr)/106762109786736571608)*U0*U2 + (798681709554341485871/61006919878135183776 + (1458825574221365176315*rr)/ 427048439146946286432)*U1*U2 + (171914637593943418615/30503459939067591888 - (521870254260458467613*rr)/ 213524219573473143216)*U2^2 + (83215808612759338367/30503459939067591888 + (416694890928996221155*rr)/ 213524219573473143216)*U0*U3 + (-136803369623508444011/30503459939067591888 + (8798650887388909855*rr)/ 30503459939067591888)*U1*U3 + (752497761955232697293/61006919878135183776 - (583281887618528868789*rr)/ 142349479715648762144)*U2*U3 + (328271771922584299729/30503459939067591888 + (463973708361624080439*rr)/ 71174739857824381072)*U0*U4 + (-290072463175056350597/10167819979689197296 + (198388043398656601907*rr)/ 30503459939067591888)*U1*U4 + (34944889998007143019/10167819979689197296 + (85156210132276029063*rr)/ 71174739857824381072)*U2*U4 + (353052359828241963959/15251729969533795944 + (818589792858667207411*rr)/ 106762109786736571608)*U0*U5 + (-44267144745378140039/10167819979689197296 + (357233278876596462721*rr)/ 30503459939067591888)*U1*U5 + (38549553964339067819/5083909989844598648 - (552657476657554100683*rr)/ 106762109786736571608)*U2*U5 + (320947306966652001649/30503459939067591888 - (1103195239703190321755*rr)/ 213524219573473143216)*U0*U6 + (-149006581969500788/13915812015997989 - (47217343814533586*rr)/13915812015997989)*U1*U6 + (-240164548749601421923/30503459939067591888 + (655995340911573519905*rr)/ 213524219573473143216)*U2*U6 + (-170344499872729631803/20335639959378394592 - (161327108194981984933*rr)/ 427048439146946286432)*U0*U7 + (-49273733104713146719/10167819979689197296 + (45692713711580443081*rr)/ 30503459939067591888)*U1*U7 + (51869490258080996533/15251729969533795944 - (29316396875762694013*rr)/ 35587369928912190536)*U2*U7 + (95168891380639370143/15251729969533795944 + (80198859112411931243*rr)/ 106762109786736571608)*U0*U8 + (-2297321632625291854/635488748730574831 + (1384319080038192274*rr)/ 1906466246191724493)*U1*U8 + (394081794750768723761/61006919878135183776 - (655629794146568155451*rr)/ 427048439146946286432)*U2*U8 + U7*U8 + (-35233624859723078123/61006919878135183776 + (25822134923508309013*rr)/ 20335639959378394592)*U0*U9 + (-318637356506104345273/61006919878135183776 - (521051123285641360141*rr)/ 427048439146946286432)*U1*U9 + (8928362667515399213/3812932492383448986 + (8363342288437493449*rr)/ 3812932492383448986)*U2*U9 + (-48955270018866594107/10167819979689197296 - (530423149808799460837*rr)/ 213524219573473143216)*U3*U9 + (-62792054374580876771/5083909989844598648 - (241251147803823085181*rr)/ 106762109786736571608)*U4*U9 + (-111602890518533659585/7625864984766897972 - (173839875993717068405*rr)/ 53381054893368285804)*U5*U9 + (5023018000868176979/5083909989844598648 + (367905445776431229869*rr)/106762109786736571608)*U6*U9 + (-8694908421772479373/15251729969533795944 - (32663563534859503227*rr)/ 35587369928912190536)*U7*U9 + (-31276467503944732897/10167819979689197296 - (158723988324044367893*rr)/ 71174739857824381072)*U8*U9 + (-23080611510572149433/10167819979689197296 + (94590123856831464857*rr)/ 213524219573473143216)*U9^2, (64158258241694220925895/122013839756270367552 + (21632282771097622190767*rr)/284698959431297524288)*U0^2 + (739169100570971841241/61006919878135183776 + (21961903940168248915345*rr)/ 142349479715648762144)*U0*U1 + (4396739244627234635373/10167819979689197296 + (2334366824665186928123*rr)/ 30503459939067591888)*U1^2 + (-51842760131828668654709/122013839756270367552 - (30376718788352351283629*rr)/284698959431297524288)*U0*U2 + (13551996714002530741939/61006919878135183776 + (57967845259246951584097*rr)/427048439146946286432)*U1*U2 + (19839122496862750541105/61006919878135183776 + (9163212507804185887675*rr)/ 427048439146946286432)*U2^2 + (29263849487799593997475/122013839756270367552 - (1971715393252277251583*rr)/854096878293892572864)*U0*U3 + (-13707108696161509995997/61006919878135183776 + (1596851682896263334839*rr)/61006919878135183776)*U1*U3 + (15412529693930774588433/40671279918756789184 - (96527501590641521061103*rr)/854096878293892572864)*U2*U3 + (-5720992010991653308/635488748730574831 + (2276128184904870410939*rr)/ 13345263723342071451)*U0*U4 + (-5052760785564071521601/3812932492383448986 - (55537402947908658417*rr)/ 1270977497461149662)*U1*U4 + (-1195370201146613940611/10167819979689197296 - (2680456626010513002225*rr)/ 71174739857824381072)*U2*U4 + (1160842486414804236176/1906466246191724493 + (4824897256081981828196*rr)/ 13345263723342071451)*U0*U5 + (-16278887310223935362435/30503459939067591888 + (2692740766082932858931*rr)/10167819979689197296)*U1*U5 + (1802367386308805346245/15251729969533795944 - (13521922818595390469203*rr)/ 35587369928912190536)*U2*U5 + (6840223767584846147801/61006919878135183776 + (3719558783275753033843*rr)/ 427048439146946286432)*U0*U6 + (-98472497197699704473/222652992255967824 - (31468354080268843237*rr)/ 222652992255967824)*U1*U6 + (-24601024000617273139253/61006919878135183776 + (51226327274152979922329*rr)/427048439146946286432)*U2*U6 + (-15275256037738214547973/61006919878135183776 - (17119050592704158601021*rr)/142349479715648762144)*U0*U7 + (940392370944111601475/15251729969533795944 - (495441979651045178655*rr)/ 5083909989844598648)*U1*U7 + (-534528830388101392445/20335639959378394592 - (29547765503901585966493*rr)/ 427048439146946286432)*U2*U7 + U7^2 + (181676610702777874519/1906466246191724493 + (67250049593127701980*rr)/ 13345263723342071451)*U0*U8 + (-2858687051750008943641/15251729969533795944 + (85825169641888739209*rr)/ 5083909989844598648)*U1*U8 + (29618796575362463586721/61006919878135183776 - (33190978093383353785541*rr)/427048439146946286432)*U2*U8 + (-2828841969660537526391/20335639959378394592 + (4018233290713302963263*rr)/ 61006919878135183776)*U0*U9 + (-3239513154166231707731/30503459939067591888 - (10157047642822345425241*rr)/213524219573473143216)*U1*U9 + (5915314121263036389019/61006919878135183776 + (406811600106233781391*rr)/ 61006919878135183776)*U2*U9 + (-4023768347188779841573/30503459939067591888 - (5684679250651985917997*rr)/ 71174739857824381072)*U3*U9 + (-3219146961063397813811/15251729969533795944 - (1650126474135117846251*rr)/ 35587369928912190536)*U4*U9 + (-9273442663047641677147/15251729969533795944 - (18403434755126437211689*rr)/106762109786736571608)*U5*U9 + (-239836316255937468929/1906466246191724493 + (292120100004238894445*rr)/ 4448421241114023817)*U6*U9 + (171627397311437617585/2541954994922299324 - (1648292470938087056017*rr)/ 53381054893368285804)*U7*U9 + (-45723977279771460479/5083909989844598648 - (2943665559404746463757*rr)/ 35587369928912190536)*U8*U9 + (-201760814521337500306/1906466246191724493 - (51646787737372185667*rr)/ 4448421241114023817)*U9^2, (-89584482826968070799/15251729969533795944 - (47071881544168919843*rr)/ 53381054893368285804)*U0^2 + (303883992110505239215/61006919878135183776 + (1347906206085087607835*rr)/ 427048439146946286432)*U0*U1 + (-108998084042677258381/30503459939067591888 - (67027879347129033343*rr)/ 30503459939067591888)*U1^2 + (68100072107100974663/15251729969533795944 + (82026495728285297275*rr)/ 26690527446684142902)*U0*U2 + (-892089601481495630423/122013839756270367552 - (748990955280531565793*rr)/ 284698959431297524288)*U1*U2 + (-126280319729573040461/20335639959378394592 + (515954902789180167485*rr)/ 427048439146946286432)*U2^2 + (285794563347851637097/61006919878135183776 - (268136812296528887345*rr)/ 142349479715648762144)*U0*U3 + (-2718397058648968749/20335639959378394592 + (25355092779913204187*rr)/ 61006919878135183776)*U1*U3 + (-2082883556006722295437/122013839756270367552 + (996128602667728656575*rr)/854096878293892572864)*U2*U3 + (420095060491166208295/61006919878135183776 - (3749016097873668338573*rr)/ 427048439146946286432)*U0*U4 + (444757125811736713087/61006919878135183776 - (23788803612783207811*rr)/ 61006919878135183776)*U1*U4 + (-179685639764227805931/20335639959378394592 + (159583558861855179497*rr)/ 142349479715648762144)*U2*U4 + (-48760896572669559701/30503459939067591888 - (567000037381403574379*rr)/ 71174739857824381072)*U0*U5 + (510484525584763323725/61006919878135183776 - (436637812759067777945*rr)/ 61006919878135183776)*U1*U5 + (-667225663692931942709/30503459939067591888 + (536237367887445838247*rr)/ 213524219573473143216)*U2*U5 + (18265241044151408901/20335639959378394592 + (880821951238337299979*rr)/ 427048439146946286432)*U0*U6 + (-84858544617680673/37108832042661304 + (243429134949595511*rr)/111326496127983912)*U1*U6 + (35388193638268297685/20335639959378394592 + (145665284755705478443*rr)/ 427048439146946286432)*U2*U6 + (818269991956380361201/122013839756270367552 + (1127355196658439749237*rr)/ 854096878293892572864)*U0*U7 + (45814732785346491911/61006919878135183776 - (177443421638072940923*rr)/ 61006919878135183776)*U1*U7 + (-68799559996378905041/30503459939067591888 + (66067059418849672459*rr)/ 213524219573473143216)*U2*U7 + (-4957536394512043690/1906466246191724493 - (11946205841780362039*rr)/ 17793684964456095268)*U0*U8 + (36713354931069821393/15251729969533795944 + (3251726450965112359*rr)/ 15251729969533795944)*U1*U8 + (-934557800189834791817/122013839756270367552 - (449265151252679948623*rr)/ 284698959431297524288)*U2*U8 + U6*U8 + (391999655731523083579/122013839756270367552 - (2325194375664285215*rr)/ 122013839756270367552)*U0*U9 + (-23703110125243455461/40671279918756789184 - (2486067597390707195*rr)/ 854096878293892572864)*U1*U9 + (-30007392347350671385/15251729969533795944 - (8117104929058787883*rr)/ 5083909989844598648)*U2*U9 + (51804090340454252089/61006919878135183776 + (714566749273377455645*rr)/ 427048439146946286432)*U3*U9 + (171183009499847851337/30503459939067591888 + (562567706383737447373*rr)/ 213524219573473143216)*U4*U9 + (119466460761784265005/15251729969533795944 + (50657517063032367851*rr)/ 35587369928912190536)*U5*U9 + (-31941231648756589169/30503459939067591888 - (654739440989136690781*rr)/ 213524219573473143216)*U6*U9 + (-2299480500173375893/30503459939067591888 + (83461955759069062727*rr)/ 213524219573473143216)*U7*U9 + (26048002171134330209/20335639959378394592 + (182356779597789831045*rr)/ 142349479715648762144)*U8*U9 + (161105216098540238515/61006919878135183776 - (119750202295673416945*rr)/ 427048439146946286432)*U9^2, (-79215713177926600559/61006919878135183776 + (220454669073813176297*rr)/ 142349479715648762144)*U0^2 + (-1308711630513115207/1906466246191724493 + (12356087174292309149*rr)/ 17793684964456095268)*U0*U1 + (-11276589474788582849/5083909989844598648 + (15371591614254628141*rr)/ 15251729969533795944)*U1^2 + (132917270597632210343/61006919878135183776 - (125562470656971902977*rr)/ 142349479715648762144)*U0*U2 + (-7374832055640020077/1906466246191724493 + (88210777740710157235*rr)/ 106762109786736571608)*U1*U2 + (566291125682871215/15251729969533795944 + (149403244640872104067*rr)/ 106762109786736571608)*U2^2 + (32745323299575478391/61006919878135183776 - (1364325560018735371*rr)/ 427048439146946286432)*U0*U3 + (-12751535127410078347/15251729969533795944 - (5575385783807885201*rr)/ 15251729969533795944)*U1*U3 + (13628050211302421341/20335639959378394592 + (705515660656948708369*rr)/ 427048439146946286432)*U2*U3 + (-50156418382833148643/10167819979689197296 - (252469395148419814135*rr)/ 213524219573473143216)*U0*U4 + (-9917761263884614171/7625864984766897972 - (2453742840312327510*rr)/ 635488748730574831)*U1*U4 + (-1709595225964071805/5083909989844598648 + (8401778329181278463*rr)/35587369928912190536)*U2*U4 + (-119394537871885445099/15251729969533795944 + (126553298154433341187*rr)/ 106762109786736571608)*U0*U5 + (-109315441321876952917/15251729969533795944 - (11160917039246168361*rr)/ 5083909989844598648)*U1*U5 + (60935213575215966557/15251729969533795944 + (34422917826222962801*rr)/ 35587369928912190536)*U2*U5 + (14319202003351975169/15251729969533795944 + (88861312459013303737*rr)/ 106762109786736571608)*U0*U6 + (294514501112736989/111326496127983912 - (99508738736372315*rr)/111326496127983912)*U1*U6 + (-8208275910402518225/3812932492383448986 - (52232830487183568065*rr)/ 53381054893368285804)*U2*U6 + (46702728387951425867/15251729969533795944 - (17099234299917070781*rr)/ 17793684964456095268)*U0*U7 + (4195142476059964405/7625864984766897972 - (1636820807261784465*rr)/2541954994922299324)*U1*U7 + (1646021031027112303/1270977497461149662 - (102112727079766301*rr)/ 53381054893368285804)*U2*U7 + U6*U7 + (-31218919260985561081/61006919878135183776 + (126107381516051916269*rr)/ 427048439146946286432)*U0*U8 + (-4252253871906314789/30503459939067591888 - (4320022680094812587*rr)/ 10167819979689197296)*U1*U8 + (16361205063324845027/30503459939067591888 + (257028939936387530963*rr)/ 213524219573473143216)*U2*U8 + (-9275573132923518805/10167819979689197296 - (5459635188428245037*rr)/ 30503459939067591888)*U0*U9 + (5829990595146367681/7625864984766897972 - (45836909188241082563*rr)/106762109786736571608)*U1*U9 + (-8761923612942745475/15251729969533795944 + (1169143193581307209*rr)/ 15251729969533795944)*U2*U9 + (13694424088940056157/7625864984766897972 - (1936744590433089923*rr)/ 8896842482228047634)*U3*U9 + (32362354739416607785/15251729969533795944 - (20402748083933394539*rr)/ 35587369928912190536)*U4*U9 + (6898331443130517925/1906466246191724493 - (28164784539410026265*rr)/13345263723342071451)*U5*U9 + (-41460638599315336273/15251729969533795944 - (17742427148851414229*rr)/ 35587369928912190536)*U6*U9 + (6288037959211159393/5083909989844598648 + (17224842326410155859*rr)/106762109786736571608)*U7*U9 + (21389334561443370335/10167819979689197296 - (2178447905574073575*rr)/ 71174739857824381072)*U8*U9 + (4203908153785427245/15251729969533795944 - (16546122821825217373*rr)/ 35587369928912190536)*U9^2, (2484456965539783313/30503459939067591888 - (215793135541294065*rr)/ 10167819979689197296)*U0^2 + (-2105837183859576673/7625864984766897972 + (81342281968219617*rr)/2541954994922299324)*U0*U1 + (-50032296494766584/635488748730574831 + (22023390140088185*rr)/ 1906466246191724493)*U1^2 + (-664115184466390987/3812932492383448986 + (10804714566737413*rr)/1270977497461149662)*U0*U2 + (-1121943829356820051/7625864984766897972 + (143244857759062415*rr)/ 7625864984766897972)*U1*U2 + (-240195620872748393/7625864984766897972 - (300410475887553745*rr)/7625864984766897972)*U2^2 + (-935157313789967309/30503459939067591888 + (1088067258334490263*rr)/ 30503459939067591888)*U0*U3 + (-26203567346264917/3812932492383448986 + (10607008597643515*rr)/3812932492383448986)*U1*U3 + (-227532907785604639/10167819979689197296 - (4721998084706463457*rr)/ 30503459939067591888)*U2*U3 + (1003259609838469773/2541954994922299324 + (891479158799479355*rr)/7625864984766897972)*U0*U4 + (-2172238402224065347/7625864984766897972 - (506027396937604081*rr)/ 2541954994922299324)*U1*U4 + (-51725717842984188/635488748730574831 - (67527664845892589*rr)/635488748730574831)*U2*U4 + (1502283514668187931/7625864984766897972 + (230742089505863519*rr)/ 7625864984766897972)*U0*U5 + (-1236064075474175399/7625864984766897972 + (44892434534646659*rr)/2541954994922299324)*U1*U5 + (-374457636003381137/1906466246191724493 - (15839939467330729*rr)/ 635488748730574831)*U2*U5 + (1261613475705934939/7625864984766897972 + (733233598211288591*rr)/7625864984766897972)*U0*U6 + (11273569311081907/55663248063991956 - (1065983224499449*rr)/ 55663248063991956)*U1*U6 + (-359289465115388075/3812932492383448986 - (530464301431849033*rr)/3812932492383448986)*U2*U6 + U6^2 + (-672766064616027545/30503459939067591888 + (613954455675016029*rr)/ 10167819979689197296)*U0*U7 + (-1142784255302699621/7625864984766897972 - (164720552018243151*rr)/ 2541954994922299324)*U1*U7 + (39421314835596704/635488748730574831 + (6566563735051079*rr)/3812932492383448986)*U2*U7 + (483023108926442839/7625864984766897972 + (76969056338084251*rr)/ 7625864984766897972)*U0*U8 + (497518493089648193/3812932492383448986 + (66480547785963763*rr)/635488748730574831)*U1*U8 + (1045064267737734535/15251729969533795944 + (375548679733596391*rr)/ 15251729969533795944)*U2*U8 + (39810662041864156/635488748730574831 - (33680067698790949*rr)/3812932492383448986)*U0*U9 + (1102673645868215761/7625864984766897972 - (324060437715087385*rr)/ 7625864984766897972)*U1*U9 + (-821918068235650621/7625864984766897972 - (197283907444205113*rr)/7625864984766897972)*U2*U9 + (2026607087502311765/30503459939067591888 - (160171037368563621*rr)/ 10167819979689197296)*U3*U9 + (197002582698672614/1906466246191724493 - (17568994077900216*rr)/635488748730574831)*U4*U9 + (277593116086776976/1906466246191724493 + (112325404647608434*rr)/ 1906466246191724493)*U5*U9 + (2335146669632268983/3812932492383448986 - (17347724571262933*rr)/1270977497461149662)*U6*U9 + (-40246167211744743/2541954994922299324 + (85841129455378463*rr)/ 7625864984766897972)*U7*U9 + (20043253977523748/635488748730574831 + (15667938143526748*rr)/635488748730574831)*U8*U9 + (-18834297088701983/3812932492383448986 + (26968226966743537*rr)/ 1270977497461149662)*U9^2, (2043819414148750019/7625864984766897972 + (7809058723737661657*rr)/ 53381054893368285804)*U0^2 + (2739170382665563607/7625864984766897972 + (15149546321870434483*rr)/53381054893368285804)*U0*U1 + (1581868116246828715/3812932492383448986 + (695735045256060319*rr)/ 3812932492383448986)*U1^2 + (-132746512042434236/1906466246191724493 - (590906048287678486*rr)/13345263723342071451)*U0*U2 + (569314477835457409/1906466246191724493 + (3646427720845133927*rr)/ 8896842482228047634)*U1*U2 + (1563786116509520049/1270977497461149662 + (5587464647611088825*rr)/26690527446684142902)*U2^2 + (1444970425119298561/3812932492383448986 - (386963381054406409*rr)/ 4448421241114023817)*U0*U3 + (-130722847292512882/635488748730574831 + (95615929792880495*rr)/3812932492383448986)*U1*U3 + (763957020905470205/1906466246191724493 + (3845025599050076141*rr)/ 13345263723342071451)*U2*U3 + (-10923691985714555131/7625864984766897972 - (3470098195550502673*rr)/ 53381054893368285804)*U0*U4 + (-5217202525854793309/1906466246191724493 - (548506400534719592*rr)/ 1906466246191724493)*U1*U4 + (-1107367720078150487/1270977497461149662 + (2174007739995903223*rr)/8896842482228047634)*U2*U4 + (-1516621203247167253/3812932492383448986 + (5673900630338674135*rr)/ 8896842482228047634)*U0*U5 + (-9407380556262365479/3812932492383448986 + (167398841791909189*rr)/3812932492383448986)*U1*U5 + (1872774977867577664/1906466246191724493 + (4488153950280082322*rr)/ 13345263723342071451)*U2*U5 + (3057804804286372471/2541954994922299324 - (4935474242243772461*rr)/53381054893368285804)*U0*U6 + (-1193114661778702/4638604005332663 - (4999026131995616*rr)/ 13915812015997989)*U1*U6 + (-2889508160987816825/2541954994922299324 - (2182470217420095049*rr)/53381054893368285804)*U2*U6 + (-254968188517932245/7625864984766897972 - (17334085540727447125*rr)/ 53381054893368285804)*U0*U7 + (-2423679750790397453/7625864984766897972 - (467136378076027063*rr)/ 7625864984766897972)*U1*U7 + (193506003091030441/1906466246191724493 + (909547570172183689*rr)/13345263723342071451)*U2*U7 + (-634951628473383653/15251729969533795944 + (2266225522256552019*rr)/ 35587369928912190536)*U0*U8 + (-2250460099178745449/7625864984766897972 - (166218862572381781*rr)/ 7625864984766897972)*U1*U8 + (1272767277995936311/1906466246191724493 + (122147313701129336*rr)/4448421241114023817)*U2*U8 + U5*U8 + (-870268736290528271/7625864984766897972 + (969861831474883819*rr)/ 7625864984766897972)*U0*U9 + (-70019815499892379/635488748730574831 - (992383849460512367*rr)/13345263723342071451)*U1*U9 + (-4462884014226466355/7625864984766897972 - (132324276908140541*rr)/ 2541954994922299324)*U2*U9 + (-107884648463248549/1906466246191724493 - (3139022660958530162*rr)/13345263723342071451)*U3*U9 + (1140494731831909321/3812932492383448986 - (5438447618908387621*rr)/ 26690527446684142902)*U4*U9 + (-367285639247042359/1906466246191724493 - (2421696510417742769*rr)/4448421241114023817)*U5*U9 + (-3953960930813019457/3812932492383448986 + (7170528074685650515*rr)/ 26690527446684142902)*U6*U9 + (249226945140868529/1906466246191724493 - (887508250660302835*rr)/13345263723342071451)*U7*U9 + (644959213339539241/2541954994922299324 - (2592441820050496641*rr)/ 17793684964456095268)*U8*U9 + (-392268163117308220/1906466246191724493 - (810602781161602328*rr)/13345263723342071451)*U9^2, (-6028741338381766868615/244027679512540735104 - (2241856134413418766169*rr)/ 81342559837513578368)*U0^2 + (2569514132624654408827/61006919878135183776 - (282815519205525480027*rr)/ 20335639959378394592)*U0*U1 + (-327211063484779597767/20335639959378394592 - (1462505707473664988705*rr)/ 61006919878135183776)*U1^2 + (1847226761636507135939/244027679512540735104 + (2144884688587401133277*rr)/ 81342559837513578368)*U0*U2 + (2310804030360856156541/122013839756270367552 - (2527443745540650612775*rr)/ 122013839756270367552)*U1*U2 + (-667725057955564450613/30503459939067591888 - (452361730562460094681*rr)/ 30503459939067591888)*U2^2 + (-5296468192287816043645/244027679512540735104 - (2258587872986040758377*rr)/244027679512540735104)*U0*U3 + (805057498630312121473/30503459939067591888 + (205189971200558162477*rr)/ 30503459939067591888)*U1*U3 + (-5260460759624336582941/81342559837513578368 - (1255138703270867753339*rr)/ 244027679512540735104)*U2*U3 + (1970956044048796796887/40671279918756789184 - (1773857473368097078831*rr)/ 122013839756270367552)*U0*U4 + (6310528116934557419581/61006919878135183776 + (1149822315385239611571*rr)/ 20335639959378394592)*U1*U4 + (-908640861405489861/2541954994922299324 + (19995203927099200709*rr)/2541954994922299324)*U2*U4 + (2879704882237412847721/61006919878135183776 - (3387760816218875788571*rr)/ 61006919878135183776)*U0*U5 + (3653128914970484206411/30503459939067591888 - (18943103089189527083*rr)/ 10167819979689197296)*U1*U5 + (-7100766646999044809089/61006919878135183776 + (579328413375994906433*rr)/ 20335639959378394592)*U2*U5 + (-108777730599855133861/15251729969533795944 - (78860858588886115361*rr)/ 15251729969533795944)*U0*U6 + (-334427380333626469/445305984511935648 + (13347225457339795807*rr)/445305984511935648)*U1*U6 + (4158424328838029640331/61006919878135183776 + (326674811978918369423*rr)/ 61006919878135183776)*U2*U6 + (-1421007101837317512833/122013839756270367552 + (825172776489814363841*rr)/40671279918756789184)*U0*U7 + (-995317382536160066093/30503459939067591888 + (61433103045668235377*rr)/ 10167819979689197296)*U1*U7 + (-342690836439505651683/20335639959378394592 + (428687015207282715683*rr)/ 61006919878135183776)*U2*U7 + U5*U7 + (-1651650354369832638865/244027679512540735104 - (1014691147103469322477*rr)/244027679512540735104)*U0*U8 + (2564311943779726239259/122013839756270367552 + (244168850335578863941*rr)/ 40671279918756789184)*U1*U8 + (-3915860358170537938139/61006919878135183776 - (769881238613625138071*rr)/ 61006919878135183776)*U2*U8 + (313162180513057984397/10167819979689197296 - (7523738058657386393*rr)/ 30503459939067591888)*U0*U9 + (-478161708415949099327/122013839756270367552 + (1016545713952365163757*rr)/ 122013839756270367552)*U1*U9 + (-417070096035800166509/61006919878135183776 - (278654347980786219161*rr)/ 61006919878135183776)*U2*U9 + (-647989412233090819607/61006919878135183776 + (248421678606358870119*rr)/ 20335639959378394592)*U3*U9 + (365492663790564024703/61006919878135183776 + (252118003777986598529*rr)/ 20335639959378394592)*U4*U9 + (75163591410341267267/15251729969533795944 + (600717440952132002783*rr)/ 15251729969533795944)*U5*U9 + (1795135960357653978119/61006919878135183776 - (13212043217332491943*rr)/ 20335639959378394592)*U6*U9 + (-9407508777727832257/635488748730574831 + (908044157581327187*rr)/7625864984766897972)*U7*U9 + (-895306355049131055499/40671279918756789184 + (308637971191666861121*rr)/ 40671279918756789184)*U8*U9 + (88975335615500947831/15251729969533795944 + (26480601173440139517*rr)/ 5083909989844598648)*U9^2, (374648376349097709/20335639959378394592 - (15031846243856579153*rr)/ 142349479715648762144)*U0^2 + (-675264063668874875/10167819979689197296 - (3793710787600933593*rr)/ 71174739857824381072)*U0*U1 + (-605926542992213261/5083909989844598648 - (638857801515348813*rr)/5083909989844598648)*U1^2 + (5037055984110340661/20335639959378394592 + (5984246583213761575*rr)/ 142349479715648762144)*U0*U2 + (-2309300369012747039/10167819979689197296 - (9754992020017258109*rr)/ 71174739857824381072)*U1*U2 + (-2200716237612650693/10167819979689197296 - (5062464155545627303*rr)/ 71174739857824381072)*U2^2 + (-8259056493212779507/20335639959378394592 - (5285277008147254017*rr)/ 142349479715648762144)*U0*U3 + (167449145254868271/10167819979689197296 + (64792524033801931*rr)/ 10167819979689197296)*U1*U3 + (-9976134726626077071/20335639959378394592 + (5564604763963486443*rr)/ 142349479715648762144)*U2*U3 + (1142021005964319681/5083909989844598648 + (2750225111032720291*rr)/ 35587369928912190536)*U0*U4 + (2435983077247176663/2541954994922299324 - (53934690953980205*rr)/2541954994922299324)*U1*U4 + (-566901917347616913/5083909989844598648 - (3402270143122540715*rr)/ 35587369928912190536)*U2*U4 + (-101333924699700619/635488748730574831 - (1613248814007933279*rr)/4448421241114023817)*U0*U5 + (814385356313441009/5083909989844598648 - (997581109577010235*rr)/ 5083909989844598648)*U1*U5 + (-2817113043574125531/2541954994922299324 + (3679790644059600719*rr)/17793684964456095268)*U2*U5 + (234768554797615437/10167819979689197296 + (9818098505751798559*rr)/ 71174739857824381072)*U0*U6 + (11240992690695737/37108832042661304 + (8831759682525133*rr)/37108832042661304)*U1*U6 + (5399619947810033955/10167819979689197296 - (13349370213996728591*rr)/ 71174739857824381072)*U2*U6 + U5*U6 + (24113567424906977/1270977497461149662 + (804607559402654445*rr)/ 8896842482228047634)*U0*U7 + (-979947610820321233/5083909989844598648 - (342814070277105525*rr)/5083909989844598648)*U1*U7 + (-1793414118106267195/5083909989844598648 - (725863058694485687*rr)/ 35587369928912190536)*U2*U7 + (-20847204931874709/10167819979689197296 - (199441751022805511*rr)/71174739857824381072)*U0*U8 + (797620377561981975/5083909989844598648 + (48443915224913963*rr)/ 5083909989844598648)*U1*U8 + (-3629227436007488947/10167819979689197296 - (5149272799526218425*rr)/ 71174739857824381072)*U2*U8 + (2198709656901887959/10167819979689197296 - (1031089278782436557*rr)/ 10167819979689197296)*U0*U9 + (246275444347541375/635488748730574831 - (377261211687002553*rr)/8896842482228047634)*U1*U9 + (-1670218264902469441/10167819979689197296 - (1154548367880665213*rr)/ 10167819979689197296)*U2*U9 + (442690355438268777/2541954994922299324 + (1330839019665472987*rr)/17793684964456095268)*U3*U9 + (396804454757884155/635488748730574831 + (205581187495393415*rr)/ 4448421241114023817)*U4*U9 + (781721772592725771/2541954994922299324 + (6634633959907773053*rr)/17793684964456095268)*U5*U9 + (275979677100857631/2541954994922299324 - (142623558720329887*rr)/ 17793684964456095268)*U6*U9 + (-50303287355929235/1270977497461149662 + (185689424615970725*rr)/8896842482228047634)*U7*U9 + (14647345153600327/5083909989844598648 + (3614298162917008505*rr)/ 35587369928912190536)*U8*U9 + (69576731165856851/1270977497461149662 + (356196774658614815*rr)/8896842482228047634)*U9^2, (-222821192351102631021/40671279918756789184 + (2828645420642563709363*rr)/ 854096878293892572864)*U0^2 + (-155613203397497155881/20335639959378394592 - (271298729162253393593*rr)/ 427048439146946286432)*U0*U1 + (-167783344079350338959/30503459939067591888 + (26886229988596100535*rr)/ 10167819979689197296)*U1^2 + (271568645375006432075/40671279918756789184 - (2159217427450843906037*rr)/ 854096878293892572864)*U0*U2 + (-463921071781093662283/61006919878135183776 + (400785171940498106071*rr)/ 427048439146946286432)*U1*U2 + (-164288206710914653255/61006919878135183776 + (907491046611392389043*rr)/ 427048439146946286432)*U2^2 + (-136044914215827744499/122013839756270367552 + (1389124588032695910223*rr)/ 854096878293892572864)*U0*U3 + (-22294066710963656461/61006919878135183776 - (101907994120471024681*rr)/ 61006919878135183776)*U1*U3 + (452278339969596242929/122013839756270367552 + (821165135322988356809*rr)/ 284698959431297524288)*U2*U3 + (-236583390569792040605/30503459939067591888 - (28138129789192771133*rr)/ 71174739857824381072)*U0*U4 + (39023119786629711409/5083909989844598648 - (137602690985085955793*rr)/ 15251729969533795944)*U1*U4 + (22739945493049745217/10167819979689197296 - (55853836287518692581*rr)/ 71174739857824381072)*U2*U4 + (-298994093448968305237/15251729969533795944 + (279102524444431694353*rr)/ 106762109786736571608)*U0*U5 + (-106366239501252944081/10167819979689197296 - (142014763268782612079*rr)/ 30503459939067591888)*U1*U5 + (43799685059955495167/2541954994922299324 + (106605945067349173303*rr)/ 53381054893368285804)*U2*U5 + U5^2 + (-45706183986799829119/61006919878135183776 + (400697007596386189691*rr)/ 427048439146946286432)*U0*U6 + (1911654286384870945/222652992255967824 - (519847526525634995*rr)/222652992255967824)*U1*U6 + (-252124405333245578225/61006919878135183776 - (1391810263639406755931*rr)/ 427048439146946286432)*U2*U6 + (138197377350870608199/20335639959378394592 - (499838125352236888009*rr)/ 427048439146946286432)*U0*U7 + (22047105350742892955/5083909989844598648 + (10789771107223796549*rr)/ 15251729969533795944)*U1*U7 + (209531453468735541385/61006919878135183776 + (2857576966881683033*rr)/ 142349479715648762144)*U2*U7 + (-32968743785636496971/61006919878135183776 + (271604047139290975079*rr)/ 427048439146946286432)*U0*U8 + (62918151124308821/10167819979689197296 - (41076763819480303805*rr)/30503459939067591888)*U1*U8 + (106301971882224726929/61006919878135183776 + (1542244998672202774939*rr)/ 427048439146946286432)*U2*U8 + (-146966989240176489497/61006919878135183776 - (24755267994006300607*rr)/ 20335639959378394592)*U0*U9 + (11732367348086955491/3812932492383448986 - (14026437284352893251*rr)/ 26690527446684142902)*U1*U9 + (-31946631860640514429/61006919878135183776 + (41700566826788292631*rr)/ 61006919878135183776)*U2*U9 + (46454177311286127887/10167819979689197296 - (127180903649579018209*rr)/ 213524219573473143216)*U3*U9 + (7415208254232038243/2541954994922299324 - (61441495070413519837*rr)/ 53381054893368285804)*U4*U9 + (158865171780176487493/15251729969533795944 - (356382464672489584033*rr)/ 106762109786736571608)*U5*U9 + (-14091094295045088193/5083909989844598648 - (127138143201629310217*rr)/ 106762109786736571608)*U6*U9 + (19484755527093932411/15251729969533795944 + (21603040560220650927*rr)/ 35587369928912190536)*U7*U9 + (38380579483737031669/10167819979689197296 + (20958229238089286543*rr)/ 71174739857824381072)*U8*U9 + (607617761644168924/635488748730574831 - (8420016819505531774*rr)/13345263723342071451)*U9^2, (-106543427564980910429/30503459939067591888 + (55847268832732383905*rr)/ 71174739857824381072)*U0^2 + (-67387454754799111957/61006919878135183776 - (115414727762339188227*rr)/ 142349479715648762144)*U0*U1 + (-44495139597184608533/10167819979689197296 - (14670012013038894221*rr)/ 30503459939067591888)*U1^2 + (155315570558864744777/30503459939067591888 + (474107478068108995*rr)/ 71174739857824381072)*U0*U2 + (-789423604481316362783/122013839756270367552 - (1482034672928197921067*rr)/ 854096878293892572864)*U1*U2 + (-209846129122200365615/61006919878135183776 + (509672140832653839413*rr)/ 427048439146946286432)*U2^2 + (-46671610368300766835/61006919878135183776 - (420022251910068604943*rr)/ 427048439146946286432)*U0*U3 + (149900429552782402531/61006919878135183776 + (1467810357640140617*rr)/ 61006919878135183776)*U1*U3 + (-252819597907013181447/40671279918756789184 + (1729500430285423191463*rr)/ 854096878293892572864)*U2*U3 + (-94956772717204206883/20335639959378394592 - (1486345112972977868077*rr)/ 427048439146946286432)*U0*U4 + (776295259564446314447/61006919878135183776 - (60374971707200931249*rr)/ 20335639959378394592)*U1*U4 + (-35525364442059485915/20335639959378394592 - (87049805646288467767*rr)/ 142349479715648762144)*U2*U4 + (-316892682437861677235/30503459939067591888 - (850002995845986385703*rr)/ 213524219573473143216)*U0*U5 + (171199929359439368821/61006919878135183776 - (110161651038103237387*rr)/ 20335639959378394592)*U1*U5 + (-131260315606251418273/30503459939067591888 + (189986306381320282809*rr)/ 71174739857824381072)*U2*U5 + (-315821670012754923761/61006919878135183776 + (1015823051624628078491*rr)/ 427048439146946286432)*U0*U6 + (58699719717943607/13915812015997989 + (23304675496766074*rr)/13915812015997989)*U1*U6 + (236797284090017818451/61006919878135183776 - (525307701543254902961*rr)/ 427048439146946286432)*U2*U6 + (481606302173813076329/122013839756270367552 + (61680992018117973103*rr)/ 284698959431297524288)*U0*U7 + (115446081205122646309/61006919878135183776 - (16331025176240044059*rr)/ 20335639959378394592)*U1*U7 + (-15855522974319134071/10167819979689197296 + (87094299028951239191*rr)/ 213524219573473143216)*U2*U7 + (-94201053106436477431/30503459939067591888 - (92327667521084280307*rr)/ 213524219573473143216)*U0*U8 + (13879071807975016415/7625864984766897972 - (798966796938123663*rr)/ 2541954994922299324)*U1*U8 + (-402528106223009041553/122013839756270367552 + (624520975504950166075*rr)/ 854096878293892572864)*U2*U8 + U4*U8 + (16122179542254226841/40671279918756789184 - (72294352404337726975*rr)/ 122013839756270367552)*U0*U9 + (236307930936207024281/122013839756270367552 + (597472401195273918637*rr)/ 854096878293892572864)*U1*U9 + (-9309775123449947027/7625864984766897972 - (7681151530815510959*rr)/ 7625864984766897972)*U2*U9 + (135658277007503323793/61006919878135183776 + (166821317644031516759*rr)/ 142349479715648762144)*U3*U9 + (165819138342557044273/30503459939067591888 + (74640864213191928231*rr)/ 71174739857824381072)*U4*U9 + (107544936631807319617/15251729969533795944 + (165622583993910925765*rr)/ 106762109786736571608)*U5*U9 + (-5647119477288161701/30503459939067591888 - (117604826982945625275*rr)/ 71174739857824381072)*U6*U9 + (2373963149425076471/10167819979689197296 + (93988167014331836137*rr)/ 213524219573473143216)*U7*U9 + (30305327568050453273/20335639959378394592 + (144477096499088257725*rr)/ 142349479715648762144)*U8*U9 + (67879083125650386683/61006919878135183776 - (29019364330040809219*rr)/ 142349479715648762144)*U9^2, (95882781098088587/1270977497461149662 + (8754763224803735767*rr)/ 26690527446684142902)*U0^2 + (-2467737056702792153/2541954994922299324 - (20631371739895538413*rr)/53381054893368285804)*U0*U1 + (-573276285483428558/1906466246191724493 + (215149425619563708*rr)/ 635488748730574831)*U1^2 + (1187831970169643113/2541954994922299324 - (24925391132960733431*rr)/53381054893368285804)*U0*U2 + (-1225715154404057687/1906466246191724493 + (627322625230922935*rr)/ 26690527446684142902)*U1*U2 + (104677238731470577/7625864984766897972 + (10584534090902806375*rr)/53381054893368285804)*U2^2 + (-2512166799468806203/7625864984766897972 - (8257755168106325225*rr)/ 53381054893368285804)*U0*U3 + (1842750717961644454/1906466246191724493 - (830443069854283651*rr)/3812932492383448986)*U1*U3 + (4586162709362062669/7625864984766897972 + (6437804362766431071*rr)/ 17793684964456095268)*U2*U3 + (-9264347003599921399/3812932492383448986 + (3093662197358690785*rr)/ 8896842482228047634)*U0*U4 + (2259090793262988591/1270977497461149662 - (1730730978938042405*rr)/3812932492383448986)*U1*U4 + (571822275720550729/1270977497461149662 + (222381824663642333*rr)/ 8896842482228047634)*U2*U4 + (-4098639479501254769/1906466246191724493 + (1239744379570710674*rr)/13345263723342071451)*U0*U5 + (-213210313311163666/635488748730574831 - (1125790050966015590*rr)/ 1906466246191724493)*U1*U5 + (1188631866332001819/635488748730574831 + (2099368703359959415*rr)/13345263723342071451)*U2*U5 + (-8207948970342571607/7625864984766897972 + (19341641520098877691*rr)/ 53381054893368285804)*U0*U6 + (6243750819281128/13915812015997989 - (995090607058406*rr)/13915812015997989)*U1*U6 + (4381752776508626549/7625864984766897972 - (18034172137399133545*rr)/ 53381054893368285804)*U2*U6 + (31422061893750682/635488748730574831 - (2889328807617430601*rr)/13345263723342071451)*U0*U7 + (759622244344498209/1270977497461149662 + (323910595935171329*rr)/ 3812932492383448986)*U1*U7 + (-385942129071363439/7625864984766897972 + (1467797885985291335*rr)/17793684964456095268)*U2*U7 + U4*U7 + (-3855174089489356399/7625864984766897972 + (6198461612447410441*rr)/ 53381054893368285804)*U0*U8 + (43457925298599085/1270977497461149662 - (448698562871016013*rr)/3812932492383448986)*U1*U8 + (3290264828602831891/7625864984766897972 + (11526050288156239679*rr)/ 53381054893368285804)*U2*U8 + (-1174151959286932681/7625864984766897972 - (112929284320715797*rr)/ 2541954994922299324)*U0*U9 + (5541371204531337133/7625864984766897972 + (12837975610349053069*rr)/53381054893368285804)*U1*U9 + (-51108875870749045/3812932492383448986 + (177181842125611*rr)/ 3812932492383448986)*U2*U9 + (332306365708337081/1270977497461149662 + (2381081477961297823*rr)/26690527446684142902)*U3*U9 + (354709734386762202/635488748730574831 + (1617476433272286704*rr)/ 13345263723342071451)*U4*U9 + (955258405131147233/1906466246191724493 - (2393486003587837979*rr)/13345263723342071451)*U5*U9 + (-226527407678418895/635488748730574831 - (646562083804476023*rr)/ 13345263723342071451)*U6*U9 + (1037380901615974543/7625864984766897972 + (155183253279546777*rr)/17793684964456095268)*U7*U9 + (2316221483664781/1270977497461149662 - (308252701427088041*rr)/ 8896842482228047634)*U8*U9 + (-46218498569230873/1270977497461149662 - (471673912119287447*rr)/26690527446684142902)*U9^2, (18067732807295739907/61006919878135183776 - (25541383558072868567*rr)/ 427048439146946286432)*U0^2 + (-31186589077021776217/30503459939067591888 - (65904463595556747529*rr)/ 213524219573473143216)*U0*U1 + (999490380181654048/1906466246191724493 + (1034767327046495285*rr)/7625864984766897972)*U1^2 + (-18272783513886804901/61006919878135183776 - (51272796637694070847*rr)/ 427048439146946286432)*U0*U2 + (13986844912273356433/20335639959378394592 - (39927368523651012889*rr)/ 427048439146946286432)*U1*U2 + (1137724576052532125/30503459939067591888 - (18256249333612007737*rr)/ 71174739857824381072)*U2^2 + (-1742221206371660629/10167819979689197296 + (31439800525934642705*rr)/ 213524219573473143216)*U0*U3 + (7624804867181019965/30503459939067591888 - (1239940569442895959*rr)/ 10167819979689197296)*U1*U3 + (56915439884705634335/61006919878135183776 - (153528741365057569289*rr)/ 427048439146946286432)*U2*U3 + (11699762310328060465/30503459939067591888 + (132312930155280985109*rr)/ 213524219573473143216)*U0*U4 + (26553948141307600925/30503459939067591888 + (10405589555468375375*rr)/ 30503459939067591888)*U1*U4 + (7395745300465592281/10167819979689197296 - (11689020203084090079*rr)/ 71174739857824381072)*U2*U4 + (1929056329106971437/2541954994922299324 + (7405941952042501475*rr)/26690527446684142902)*U0*U5 + (36955784084345078719/30503459939067591888 + (9152605326723963685*rr)/ 30503459939067591888)*U1*U5 + (22280869523118481229/15251729969533795944 - (54728876479195590463*rr)/ 106762109786736571608)*U2*U5 + (-28250904148655077765/30503459939067591888 - (15772129121832338575*rr)/ 71174739857824381072)*U0*U6 + (-12385405403668147/55663248063991956 - (1273634324890807*rr)/18554416021330652)*U1*U6 + (4184051245310875645/30503459939067591888 - (2763345454726116445*rr)/ 71174739857824381072)*U2*U6 + U4*U6 + (-40413260549981466919/61006919878135183776 + (35340367985020105961*rr)/ 427048439146946286432)*U0*U7 + (15749639368485904429/30503459939067591888 + (9777650307579831295*rr)/ 30503459939067591888)*U1*U7 + (856535799007688893/15251729969533795944 - (8952785921529167227*rr)/106762109786736571608)*U2*U7 + (2352198104860986021/10167819979689197296 - (2460824413844108227*rr)/ 213524219573473143216)*U0*U8 + (-880245919130753689/15251729969533795944 - (155152777342832077*rr)/ 15251729969533795944)*U1*U8 + (10819266497392765497/20335639959378394592 - (9033734741257562941*rr)/ 427048439146946286432)*U2*U8 + (-3636445252459415729/61006919878135183776 - (3857870537480952943*rr)/ 61006919878135183776)*U0*U9 + (15498505266833443039/61006919878135183776 + (15061764935042536425*rr)/ 142349479715648762144)*U1*U9 + (3367373269896128859/10167819979689197296 + (1115046913715455453*rr)/ 30503459939067591888)*U2*U9 + (-9397920391443701365/30503459939067591888 - (2860184417141597065*rr)/ 213524219573473143216)*U3*U9 + (-5122871259500898203/15251729969533795944 + (10347797079588984685*rr)/ 106762109786736571608)*U4*U9 + (-1998441885751410325/2541954994922299324 + (9740330251438636289*rr)/ 53381054893368285804)*U5*U9 + (3534783642838997705/3812932492383448986 + (7942722307151778019*rr)/53381054893368285804)*U6*U9 + (-1206761255027581279/15251729969533795944 - (960303414317809259*rr)/ 106762109786736571608)*U7*U9 + (-5259577048562263947/10167819979689197296 + (675913580139358301*rr)/ 71174739857824381072)*U8*U9 + (-469678539165273883/30503459939067591888 + (20120443001572748489*rr)/ 213524219573473143216)*U9^2, (9255138161336795917/61006919878135183776 - (23638291935839585761*rr)/ 427048439146946286432)*U0^2 + (6158270911182826181/30503459939067591888 + (8069685225510796831*rr)/ 213524219573473143216)*U0*U1 + (1025425314032113351/15251729969533795944 - (802084899250164293*rr)/ 15251729969533795944)*U1^2 + (-24351333230764008169/61006919878135183776 + (16636386277864214221*rr)/ 427048439146946286432)*U0*U2 + (4738295650931921053/30503459939067591888 + (1399471751298577681*rr)/ 71174739857824381072)*U1*U2 + (1138582401316251391/10167819979689197296 - (30726792595895593913*rr)/ 213524219573473143216)*U2^2 + (7648181085300875359/61006919878135183776 - (7302713567845210105*rr)/ 142349479715648762144)*U0*U3 + (2466357656480643975/10167819979689197296 + (160614558170555977*rr)/ 30503459939067591888)*U1*U3 + (9996144006894424699/61006919878135183776 - (45760996104596710991*rr)/ 427048439146946286432)*U2*U3 + (5607457888073895847/15251729969533795944 + (6067648012875849049*rr)/ 106762109786736571608)*U0*U4 + (-1332244086575256187/1906466246191724493 + (1218091471784636507*rr)/ 3812932492383448986)*U1*U4 + (-105110360357325889/5083909989844598648 - (160661499487518543*rr)/35587369928912190536)*U2*U4 + (4992682975256615365/7625864984766897972 - (1523304909214486747*rr)/ 17793684964456095268)*U0*U5 + (8402426550744313577/15251729969533795944 + (3033117384664328977*rr)/ 15251729969533795944)*U1*U5 + (667557299220298723/7625864984766897972 - (12367809609565595431*rr)/53381054893368285804)*U2*U5 + U4*U5 + (-630924362504267719/10167819979689197296 + (689622289079429473*rr)/ 213524219573473143216)*U0*U6 + (-13701047219478857/37108832042661304 - (2199691345759315*rr)/111326496127983912)*U1*U6 + (-1471035348554402601/10167819979689197296 + (34690628758061910959*rr)/ 213524219573473143216)*U2*U6 + (-1532459267165743325/7625864984766897972 + (1852146535729320863*rr)/ 53381054893368285804)*U0*U7 + (-1079210705774591327/7625864984766897972 - (42903078311371571*rr)/ 3812932492383448986)*U1*U7 + (1141284014971924063/7625864984766897972 - (450756733934995477*rr)/26690527446684142902)*U2*U7 + (1054517086975935515/30503459939067591888 - (1608737829540523693*rr)/ 71174739857824381072)*U0*U8 + (-592536264735843343/15251729969533795944 + (565846380782921509*rr)/ 15251729969533795944)*U1*U8 + (2474971805211571507/30503459939067591888 - (7276851681650781329*rr)/ 71174739857824381072)*U2*U8 + (6101868667727904037/30503459939067591888 + (1072523932206062677*rr)/ 30503459939067591888)*U0*U9 + (-760701885405638795/5083909989844598648 - (1921117613866462279*rr)/106762109786736571608)*U1*U9 + (-2803896699699647579/30503459939067591888 + (748629689608740715*rr)/ 10167819979689197296)*U2*U9 + (-4100136642533763587/15251729969533795944 + (2144966043078471695*rr)/ 106762109786736571608)*U3*U9 + (-974242587952613875/1906466246191724493 + (713347004021597200*rr)/ 13345263723342071451)*U4*U9 + (-890118042375969293/3812932492383448986 - (271446166658684099*rr)/8896842482228047634)*U5*U9 + (1236665763777830599/7625864984766897972 + (5420466393645708683*rr)/ 53381054893368285804)*U6*U9 + (-616165447635956963/15251729969533795944 - (1246395525354894743*rr)/ 106762109786736571608)*U7*U9 + (-635123933103986947/2541954994922299324 - (571169137616213861*rr)/ 17793684964456095268)*U8*U9 + (-188722537479434341/7625864984766897972 + (3480426746583810823*rr)/53381054893368285804)*U9^2, (-29402246596908146201/61006919878135183776 - (10021004320640471989*rr)/ 61006919878135183776)*U0^2 + (19344833854187784167/30503459939067591888 + (297601805852506219*rr)/ 30503459939067591888)*U0*U1 + (-3060609868350294683/15251729969533795944 - (3845593689941903639*rr)/ 15251729969533795944)*U1^2 + (16556856197245352033/61006919878135183776 + (20900249944663954141*rr)/ 61006919878135183776)*U0*U2 + (1745223480465066949/30503459939067591888 - (1573466320672974525*rr)/ 10167819979689197296)*U1*U2 + (-2538570162158248495/10167819979689197296 - (1427455385587697225*rr)/ 30503459939067591888)*U2^2 + (-8659994552130667931/61006919878135183776 + (544713226801833691*rr)/ 20335639959378394592)*U0*U3 + (-3941966427734871381/10167819979689197296 + (550066709730452029*rr)/ 30503459939067591888)*U1*U3 + (-43477539673697892275/61006919878135183776 - (5352770754407189495*rr)/ 61006919878135183776)*U2*U3 + (6753363866668687493/7625864984766897972 - (3132028347303739663*rr)/7625864984766897972)*U0*U4 + (3740857911541927397/7625864984766897972 + (1195502230420521613*rr)/ 7625864984766897972)*U1*U4 + (-799676560068484323/5083909989844598648 - (614232376619997023*rr)/5083909989844598648)*U2*U4 + U4^2 + (8042678095703738375/15251729969533795944 - (2098715987451493079*rr)/ 5083909989844598648)*U0*U5 + (7837236470462094053/15251729969533795944 + (726038493749559025*rr)/15251729969533795944)*U1*U5 + (-11306481660684382547/7625864984766897972 + (1888406471540173913*rr)/ 7625864984766897972)*U2*U5 + (3116530113030847031/10167819979689197296 - (4356370080285996143*rr)/30503459939067591888)*U0*U6 + (10457599570347107/37108832042661304 + (24797059682290925*rr)/ 111326496127983912)*U1*U6 + (884781381218596217/10167819979689197296 + (2327466917702543039*rr)/30503459939067591888)*U2*U6 + (6221009826985403695/30503459939067591888 + (5417272479853439459*rr)/ 30503459939067591888)*U0*U7 + (-5705407227444139237/15251729969533795944 - (303244045778609357*rr)/ 15251729969533795944)*U1*U7 + (-1740832329304421239/15251729969533795944 - (675908937313258375*rr)/ 15251729969533795944)*U2*U7 + (4582946481519558197/30503459939067591888 - (540597304566533857*rr)/ 10167819979689197296)*U0*U8 + (2847455111607028337/15251729969533795944 + (618524756899676509*rr)/ 15251729969533795944)*U1*U8 + (-20036781161176155833/30503459939067591888 - (258015848920453359*rr)/ 10167819979689197296)*U2*U8 + (8581615639810652299/30503459939067591888 - (2858252209496898281*rr)/ 30503459939067591888)*U0*U9 + (-276136200062788773/1270977497461149662 - (126673448655220061*rr)/1906466246191724493)*U1*U9 + (-58513195962674195/30503459939067591888 + (385405510678772427*rr)/ 10167819979689197296)*U2*U9 + (948971597078721683/7625864984766897972 + (382857059180958307*rr)/7625864984766897972)*U3*U9 + (1007226657550082615/7625864984766897972 + (305833232288860915*rr)/ 7625864984766897972)*U4*U9 + (-48331881870787145/3812932492383448986 + (388806892070932189*rr)/1270977497461149662)*U5*U9 + (3989659734506886467/15251729969533795944 - (703430490859174457*rr)/ 15251729969533795944)*U6*U9 + (-750888975021312295/7625864984766897972 + (267537093311772995*rr)/7625864984766897972)*U7*U9 + (138931600936235803/5083909989844598648 + (481113099812425055*rr)/ 5083909989844598648)*U8*U9 + (246149369408592487/3812932492383448986 + (102322780613221241*rr)/3812932492383448986)*U9^2, (-7086586263908873137/15251729969533795944 - (94412661555243928195*rr)/ 106762109786736571608)*U0^2 + (-40362799341157912427/7625864984766897972 + (48006773463831014233*rr)/ 53381054893368285804)*U0*U1 + (3594585542386217615/1906466246191724493 - (1385516166573338756*rr)/1906466246191724493)*U1^2 + (-36218913550988956097/15251729969533795944 + (76151508392200252285*rr)/ 106762109786736571608)*U0*U2 + (1626893969466573943/5083909989844598648 - (209512614264903704327*rr)/ 106762109786736571608)*U1*U2 + (-32033912838101153993/7625864984766897972 - (13901098725550601811*rr)/ 17793684964456095268)*U2^2 + (2332513811616485529/1270977497461149662 + (9517914818552165554*rr)/13345263723342071451)*U0*U3 + (-4427905893269882585/7625864984766897972 - (682892202247183669*rr)/ 2541954994922299324)*U1*U3 + (-63900649525341116969/15251729969533795944 - (271995090955514104765*rr)/ 106762109786736571608)*U2*U3 + (86385957656306272883/7625864984766897972 + (3055433491186729447*rr)/ 53381054893368285804)*U0*U4 + (47575920864679174411/7625864984766897972 - (77683848815143247*rr)/ 7625864984766897972)*U1*U4 + (-6953995434684122289/2541954994922299324 - (36510396164528938689*rr)/17793684964456095268)*U2*U4 + (3869046169414249248/635488748730574831 - (23597913097843516459*rr)/ 13345263723342071451)*U0*U5 + (81540382318908558521/7625864984766897972 - (8264401978028692285*rr)/ 7625864984766897972)*U1*U5 + (-21732458382987020309/3812932492383448986 - (93721781422039866833*rr)/ 26690527446684142902)*U2*U5 + (-36689975793664263569/7625864984766897972 + (20918997795107346073*rr)/ 17793684964456095268)*U0*U6 + (-29804676000020801/13915812015997989 + (2586378716668255*rr)/4638604005332663)*U1*U6 + (3589049908073943401/7625864984766897972 - (3876041560998217725*rr)/ 17793684964456095268)*U2*U6 + (2803437758613603463/15251729969533795944 + (174792876435216604543*rr)/ 106762109786736571608)*U0*U7 + (39369915106588515677/7625864984766897972 - (2673569771952159433*rr)/ 7625864984766897972)*U1*U7 + (-2174569691093446598/1906466246191724493 - (3313319179845632974*rr)/13345263723342071451)*U2*U7 + (549125866659370713/2541954994922299324 - (29105880683798285231*rr)/ 53381054893368285804)*U0*U8 + (-326411791024879747/1906466246191724493 + (478513522444572365*rr)/1906466246191724493)*U1*U8 + (1461106906586605635/5083909989844598648 - (146629808828671218647*rr)/ 106762109786736571608)*U2*U8 + U3*U8 + (-6021241812215708359/15251729969533795944 + (1352198305977909871*rr)/ 15251729969533795944)*U0*U9 + (21371532235308647009/15251729969533795944 + (4817322915603201279*rr)/ 35587369928912190536)*U1*U9 + (3360033980392708783/2541954994922299324 - (4438530967191993271*rr)/7625864984766897972)*U2*U9 + (-6500176361310495851/7625864984766897972 + (29756969495552458237*rr)/ 53381054893368285804)*U3*U9 + (-3967499456814242437/3812932492383448986 + (39434087656280182643*rr)/ 26690527446684142902)*U4*U9 + (941240939456450195/635488748730574831 + (29472755307116118337*rr)/13345263723342071451)*U5*U9 + (7501381273646702564/1906466246191724493 - (16352099130686168629*rr)/ 13345263723342071451)*U6*U9 + (-1343582184497898695/3812932492383448986 + (4807162266349344005*rr)/ 26690527446684142902)*U7*U9 + (-3567798425631619801/2541954994922299324 + (13535862856303219695*rr)/ 17793684964456095268)*U8*U9 + (8945980891246504735/7625864984766897972 + (26279392440676553995*rr)/53381054893368285804)*U9^2, (-571381411162038429509/30503459939067591888 - (1843931167030535314615*rr)/ 213524219573473143216)*U0^2 + (161180454985829181443/15251729969533795944 - (742131542967814603319*rr)/ 106762109786736571608)*U0*U1 + (-112913099525626627523/7625864984766897972 - (60035577252872126219*rr)/ 7625864984766897972)*U1^2 + (347917931698980255983/30503459939067591888 + (1975523558415429204181*rr)/ 213524219573473143216)*U0*U2 + (-35770266736868572145/15251729969533795944 - (304593327587138570049*rr)/ 35587369928912190536)*U1*U2 + (-73391204037466291575/5083909989844598648 - (426279268433902291223*rr)/ 106762109786736571608)*U2^2 + (-322987745516678911349/30503459939067591888 - (169286079617137987181*rr)/ 71174739857824381072)*U0*U3 + (61613776855770971995/5083909989844598648 + (14354140044218010133*rr)/ 15251729969533795944)*U1*U3 + (-778501306667643144941/30503459939067591888 + (197589755188187317297*rr)/ 213524219573473143216)*U2*U3 + (92580352714836958519/7625864984766897972 - (437717536502760932231*rr)/ 53381054893368285804)*U0*U4 + (223450796432353961225/3812932492383448986 + (57240891423969422161*rr)/ 3812932492383448986)*U1*U4 + (6764798520599453739/2541954994922299324 + (41591346954738313937*rr)/17793684964456095268)*U2*U4 + (-4281486436408568143/1906466246191724493 - (102861962986606369097*rr)/ 4448421241114023817)*U0*U5 + (338629989298477620701/7625864984766897972 - (57684448408794630467*rr)/ 7625864984766897972)*U1*U5 + (-63926357090329620802/1906466246191724493 + (210211336492094452150*rr)/ 13345263723342071451)*U2*U5 + (-28816693622115692631/5083909989844598648 - (110173117814204572943*rr)/ 106762109786736571608)*U0*U6 + (189892378220441141/18554416021330652 + (611662884955099427*rr)/55663248063991956)*U1*U6 + (143967769450282063431/5083909989844598648 - (196547384521276010041*rr)/ 106762109786736571608)*U2*U6 + (50805811412337840415/15251729969533795944 + (873418794801274567829*rr)/ 106762109786736571608)*U0*U7 + (-35642126734339131263/3812932492383448986 + (13418553215278011983*rr)/ 3812932492383448986)*U1*U7 + (-58302084551077608245/15251729969533795944 + (363012818353583857621*rr)/ 106762109786736571608)*U2*U7 + U3*U7 + (-63798973839257101207/15251729969533795944 - (43918143846705131823*rr)/ 35587369928912190536)*U0*U8 + (75179929449961442075/7625864984766897972 + (8384563293226260847*rr)/ 7625864984766897972)*U1*U8 + (-421459916922843393965/15251729969533795944 - (48208131162058928629*rr)/ 35587369928912190536)*U2*U8 + (165959116040777245069/15251729969533795944 - (21830030640375878327*rr)/ 15251729969533795944)*U0*U9 + (1755264676338843657/1270977497461149662 + (91240561606888600345*rr)/26690527446684142902)*U1*U9 + (-55175378540306922695/15251729969533795944 - (7417289336418585273*rr)/ 5083909989844598648)*U2*U9 + (7123201243339383475/7625864984766897972 + (277194550911384528089*rr)/53381054893368285804)*U3*U9 + (11176160428572411595/1906466246191724493 + (60661108438867122905*rr)/ 13345263723342071451)*U4*U9 + (60717611806533551879/3812932492383448986 + (122707985443215974579*rr)/ 8896842482228047634)*U5*U9 + (19624138092922694516/1906466246191724493 - (33370297717030419014*rr)/13345263723342071451)*U6*U9 + (-19905890572928368327/3812932492383448986 + (21534356929047211715*rr)/ 26690527446684142902)*U7*U9 + (-13659530381555962181/2541954994922299324 + (69644194437998251909*rr)/ 17793684964456095268)*U8*U9 + (8060144362589691550/1906466246191724493 + (20411919774084782750*rr)/13345263723342071451)*U9^2, (405445998905479529/5083909989844598648 - (1880438467826999717*rr)/ 15251729969533795944)*U0^2 + (1966024761278752839/2541954994922299324 - (981292510469049511*rr)/7625864984766897972)*U0*U1 + (-44516937782064503/1906466246191724493 - (110960711945313201*rr)/ 635488748730574831)*U1^2 + (-605836943990459335/1270977497461149662 + (974446924173237959*rr)/3812932492383448986)*U0*U2 + (4780143866158633763/15251729969533795944 - (1653765631901355791*rr)/ 15251729969533795944)*U1*U2 + (108375954178690919/3812932492383448986 - (193986921747994763*rr)/1906466246191724493)*U2^2 + (183324697774763321/1906466246191724493 - (727347670196727157*rr)/ 3812932492383448986)*U0*U3 + (1242061459556247463/7625864984766897972 + (849425938172822647*rr)/7625864984766897972)*U1*U3 + (-2815334099151587923/15251729969533795944 - (882028162399220431*rr)/ 5083909989844598648)*U2*U3 + (1642091705194539697/7625864984766897972 + (90165395442730299*rr)/2541954994922299324)*U0*U4 + (-546015921119439543/2541954994922299324 + (2855921675962930913*rr)/ 7625864984766897972)*U1*U4 + (577498414688099065/2541954994922299324 - (470016988057029785*rr)/2541954994922299324)*U2*U4 + (3052046862466600061/3812932492383448986 - (855794935548570107*rr)/ 3812932492383448986)*U0*U5 + (1239326361496827359/1270977497461149662 + (1046534624004220721*rr)/3812932492383448986)*U1*U5 + (-625928564913828049/635488748730574831 + (101230377507494086*rr)/ 1906466246191724493)*U2*U5 + (-2828913936000514187/7625864984766897972 - (293569674298646855*rr)/7625864984766897972)*U0*U6 + (-13495296950248631/55663248063991956 + (8350334656084219*rr)/ 55663248063991956)*U1*U6 + (833150930289324605/1906466246191724493 + (431534714951128069*rr)/3812932492383448986)*U2*U6 + U3*U6 + (-1006183885552055287/5083909989844598648 + (1310475901075694219*rr)/ 15251729969533795944)*U0*U7 + (-3883086627863380841/5083909989844598648 - (903430160237042677*rr)/ 15251729969533795944)*U1*U7 + (1650121848316447597/15251729969533795944 - (170038136004816195*rr)/ 5083909989844598648)*U2*U7 + (-145728727988098115/15251729969533795944 - (268718023648645879*rr)/15251729969533795944)*U0*U8 + (234943465521646749/2541954994922299324 + (455592639635152759*rr)/ 7625864984766897972)*U1*U8 + (-1772333974534793785/15251729969533795944 + (597058385285368381*rr)/ 15251729969533795944)*U2*U8 + (4570366267981894261/15251729969533795944 + (517564289428605033*rr)/ 5083909989844598648)*U0*U9 + (-4531394380731837409/15251729969533795944 + (1693577882472665465*rr)/ 15251729969533795944)*U1*U9 + (1681871958493987393/7625864984766897972 - (302346699354348715*rr)/7625864984766897972)*U2*U9 + (1324133024765055385/5083909989844598648 + (26579478004280227*rr)/ 15251729969533795944)*U3*U9 + (-428903818564556685/635488748730574831 + (245007143779300052*rr)/1906466246191724493)*U4*U9 + (-2206539163157459123/3812932492383448986 + (343471098990811343*rr)/ 3812932492383448986)*U5*U9 + (33986115922942008/635488748730574831 + (87460437521440360*rr)/1906466246191724493)*U6*U9 + (-1752660253396814587/15251729969533795944 - (79288786530077571*rr)/ 5083909989844598648)*U7*U9 + (-623280979725339649/2541954994922299324 - (106700713500303965*rr)/2541954994922299324)*U8*U9 + (-194926394842630899/2541954994922299324 + (318468193555916357*rr)/ 7625864984766897972)*U9^2, (-10903794464023530531/20335639959378394592 + (566261896411000276621*rr)/ 427048439146946286432)*U0^2 + (-4454944296388102879/2541954994922299324 + (18617340930890972783*rr)/ 53381054893368285804)*U0*U1 + (-3573014213797134943/15251729969533795944 + (5101092882442163367*rr)/ 5083909989844598648)*U1^2 + (17306082492563527123/20335639959378394592 - (424114560806474591245*rr)/427048439146946286432)*U0*U2 + (-41577041272003861835/30503459939067591888 + (127423349553079535699*rr)/ 213524219573473143216)*U1*U2 + (10267167682947329873/15251729969533795944 + (76449533318996442599*rr)/ 106762109786736571608)*U2^2 + (48033246717568842397/61006919878135183776 + (120964677394784014367*rr)/ 427048439146946286432)*U0*U3 + (-14735598537090093061/15251729969533795944 - (4873111752069241033*rr)/ 15251729969533795944)*U1*U3 + (149458064645914288535/61006919878135183776 + (89692528634650844727*rr)/ 142349479715648762144)*U2*U3 + (-99599512895383827467/30503459939067591888 + (12420279213525806157*rr)/ 71174739857824381072)*U0*U4 + (-7601061303102843343/5083909989844598648 - (43958217322398214613*rr)/ 15251729969533795944)*U1*U4 + (699790615348398552/635488748730574831 - (4281559137600133761*rr)/8896842482228047634)*U2*U4 + (-64131275671090713631/15251729969533795944 + (192056790786325365475*rr)/ 106762109786736571608)*U0*U5 + (-6717614397365880017/1270977497461149662 - (2288978775227865847*rr)/ 3812932492383448986)*U1*U5 + (32226387384134637185/5083909989844598648 - (54664090883911179655*rr)/106762109786736571608)*U2*U5 + U3*U5 + (-12343781271086342209/15251729969533795944 + (21084628100251723589*rr)/ 106762109786736571608)*U0*U6 + (143198811179146595/111326496127983912 - (135199336434755365*rr)/111326496127983912)*U1*U6 + (-17718175042878326167/7625864984766897972 - (38155487634485672863*rr)/ 53381054893368285804)*U2*U6 + (14782087476435560745/10167819979689197296 - (168771770324204715383*rr)/ 213524219573473143216)*U0*U7 + (9061911876271481113/5083909989844598648 - (681292057868590687*rr)/ 15251729969533795944)*U1*U7 + (10263830375736635855/7625864984766897972 - (1734124695041321029*rr)/ 8896842482228047634)*U2*U7 + (779116602272555695/61006919878135183776 + (101843425831149057989*rr)/427048439146946286432)*U0*U8 + (-6034511586678183839/10167819979689197296 - (10998219641593255481*rr)/ 30503459939067591888)*U1*U8 + (30072866409885367991/15251729969533795944 + (100914664105201006471*rr)/ 106762109786736571608)*U2*U8 + (-7511586891180194101/7625864984766897972 - (21750224328625223*rr)/ 1270977497461149662)*U0*U9 + (4320188490235716859/30503459939067591888 - (52478155955550085547*rr)/213524219573473143216)*U1*U9 + (1815386163435124417/7625864984766897972 + (1022661180708792293*rr)/ 7625864984766897972)*U2*U9 + (3800159028611942465/5083909989844598648 - (25666611947048599595*rr)/106762109786736571608)*U3*U9 + (-2976290008707579/5083909989844598648 - (66908564046483764195*rr)/ 106762109786736571608)*U4*U9 + (2447165412250387163/1906466246191724493 - (21777132857573283893*rr)/ 13345263723342071451)*U5*U9 + (-7558246296436539515/5083909989844598648 - (7423163596257125419*rr)/ 106762109786736571608)*U6*U9 + (7175770383998360651/15251729969533795944 + (3822269242684914533*rr)/ 35587369928912190536)*U7*U9 + (14426453459744574681/10167819979689197296 - (14339776473969265429*rr)/ 71174739857824381072)*U8*U9 + (-803750404598105499/2541954994922299324 - (17008992473796207481*rr)/53381054893368285804)*U9^2, (3815165389216946923/10167819979689197296 + (7222354445376718505*rr)/ 71174739857824381072)*U0^2 + (-786745062920346847/2541954994922299324 - (3334465987439889881*rr)/17793684964456095268)*U0*U1 + (634999297640140133/2541954994922299324 + (311523538181179337*rr)/ 2541954994922299324)*U1^2 + (1751308134238919507/10167819979689197296 - (7783075274374880863*rr)/71174739857824381072)*U0*U2 + (1474392164178435767/2541954994922299324 + (3223116466614706407*rr)/ 17793684964456095268)*U1*U2 + (760618615373648951/2541954994922299324 + (1104405287341060709*rr)/17793684964456095268)*U2^2 + (-2043164204493425643/5083909989844598648 - (286214084296606833*rr)/ 35587369928912190536)*U0*U3 + (30605369708175137/2541954994922299324 + (5535807899958589*rr)/2541954994922299324)*U1*U3 + (979490816775644155/2541954994922299324 - (151509337644184243*rr)/ 17793684964456095268)*U2*U3 + (-350405359658606199/635488748730574831 + (1529026669401479900*rr)/4448421241114023817)*U0*U4 + (-870226375656189259/1270977497461149662 - (41914391341854673*rr)/ 1270977497461149662)*U1*U4 + (-1274747339498230601/2541954994922299324 + (2990818428905335897*rr)/17793684964456095268)*U2*U4 + U3*U4 + (-356949785547874705/2541954994922299324 + (9588114235010931253*rr)/ 17793684964456095268)*U0*U5 + (-431945470883343492/635488748730574831 + (184424222862841953*rr)/635488748730574831)*U1*U5 + (461028028045825941/635488748730574831 - (364134131715372639*rr)/ 4448421241114023817)*U2*U5 + (467095987567436071/1270977497461149662 - (1557362076956503067*rr)/8896842482228047634)*U0*U6 + (-1055864641952005/4638604005332663 - (624385478936355*rr)/ 4638604005332663)*U1*U6 + (-1546944335097122255/2541954994922299324 + (3754562323239557215*rr)/17793684964456095268)*U2*U6 + (-1139426024501175963/5083909989844598648 - (5025275690406172993*rr)/ 35587369928912190536)*U0*U7 + (314798314765024347/2541954994922299324 + (335344804297729227*rr)/2541954994922299324)*U1*U7 + (14738110251957613/1270977497461149662 - (142678531130746475*rr)/ 8896842482228047634)*U2*U7 + (588218380764157783/5083909989844598648 + (1802096215257816365*rr)/35587369928912190536)*U0*U8 + (-174954838619170729/1270977497461149662 - (2286802716326413*rr)/ 1270977497461149662)*U1*U8 + (1577260816176186815/5083909989844598648 + (973174337771332233*rr)/35587369928912190536)*U2*U8 + (130348637679591745/5083909989844598648 + (249996666389107861*rr)/ 5083909989844598648)*U0*U9 + (712161419496159509/2541954994922299324 + (445144933549029883*rr)/17793684964456095268)*U1*U9 + (-158421554823018323/5083909989844598648 + (497708213930471049*rr)/ 5083909989844598648)*U2*U9 + (-57590281449120081/1270977497461149662 - (729192503964251129*rr)/4448421241114023817)*U3*U9 + (-233983387012106415/1270977497461149662 + (868533493464297739*rr)/ 8896842482228047634)*U4*U9 + (-723766997194867071/1270977497461149662 - (1082295233073109943*rr)/8896842482228047634)*U5*U9 + (-1416915228837168345/2541954994922299324 + (6027435159905138289*rr)/ 17793684964456095268)*U6*U9 + (46987896218576191/2541954994922299324 - (682595884226572829*rr)/17793684964456095268)*U7*U9 + (-259789200250719165/1270977497461149662 - (571932045531649548*rr)/ 4448421241114023817)*U8*U9 + (-142014508466332168/635488748730574831 + (266600918412587916*rr)/4448421241114023817)*U9^2, (925716527094449132/1906466246191724493 + (937777837655692207*rr)/ 1906466246191724493)*U0^2 + (-1911036047193902047/1906466246191724493 + (564641746329078559*rr)/1906466246191724493)*U0*U1 + (1328752838174683651/3812932492383448986 + (2098203398369242813*rr)/ 3812932492383448986)*U1^2 + (-4700470552971341405/7625864984766897972 - (4461159170941688629*rr)/7625864984766897972)*U0*U2 + (-1047967219102829843/7625864984766897972 + (1485516927598526625*rr)/ 2541954994922299324)*U1*U2 + (308980584715123894/635488748730574831 + (667954647539647099*rr)/1906466246191724493)*U2^2 + (2138167822850936311/3812932492383448986 + (369247841648455773*rr)/ 1270977497461149662)*U0*U3 + (-198326379337403782/635488748730574831 - (310669017642339635*rr)/1906466246191724493)*U1*U3 + (15147834870563360351/7625864984766897972 + (741717541303089413*rr)/ 7625864984766897972)*U2*U3 + U3^2 + (-4494737796178072355/3812932492383448986 + (794208333802328803*rr)/ 3812932492383448986)*U0*U4 + (-10891072480347019607/3812932492383448986 - (3304638027528438985*rr)/ 3812932492383448986)*U1*U4 + (486119233423763649/1270977497461149662 + (8651230080093703*rr)/1270977497461149662)*U2*U4 + (-2233760207273463140/1906466246191724493 + (970087313731445190*rr)/ 635488748730574831)*U0*U5 + (-8366230111309517665/3812932492383448986 + (891507239440379773*rr)/3812932492383448986)*U1*U5 + (7220856553803176503/1906466246191724493 - (855589747657453543*rr)/ 1906466246191724493)*U2*U5 + (270293282080087994/635488748730574831 - (223696368122236943*rr)/1906466246191724493)*U0*U6 + (-1821767036735283/9277208010665326 - (22861628145207979*rr)/ 27831624031995978)*U1*U6 + (-1279463867673275009/635488748730574831 + (32400636109462814*rr)/1906466246191724493)*U2*U6 + (-58466519541651551/7625864984766897972 - (2701478131661089927*rr)/ 7625864984766897972)*U0*U7 + (4826721929366519965/7625864984766897972 + (477843717788888135*rr)/7625864984766897972)*U1*U7 + (2074344905619578597/3812932492383448986 - (428486447031535771*rr)/ 3812932492383448986)*U2*U7 + (193543520449348250/1906466246191724493 + (34336298750789656*rr)/635488748730574831)*U0*U8 + (-1041658273112715380/1906466246191724493 - (238279183605184810*rr)/ 1906466246191724493)*U1*U8 + (10642370530143575131/7625864984766897972 + (612278698198345675*rr)/2541954994922299324)*U2*U8 + (-8787455232270102503/7625864984766897972 + (241994500323619927*rr)/ 7625864984766897972)*U0*U9 + (-868817698270335409/2541954994922299324 - (1338988553904764273*rr)/7625864984766897972)*U1*U9 + (-221522952439345033/3812932492383448986 + (344579122891764361*rr)/ 1270977497461149662)*U2*U9 + (-269292975379864477/7625864984766897972 - (2465920765074987461*rr)/7625864984766897972)*U3*U9 + (-1497908300329093243/1906466246191724493 - (753627029316938237*rr)/ 1906466246191724493)*U4*U9 + (-1280133038171576557/1906466246191724493 - (703332350035965609*rr)/635488748730574831)*U5*U9 + (-1089442365524538749/1906466246191724493 + (8255418047379113*rr)/ 1906466246191724493)*U6*U9 + (2313056480688686297/7625864984766897972 - (388144716300865885*rr)/7625864984766897972)*U7*U9 + (-30152935821127069/635488748730574831 - (191314599421831775*rr)/ 635488748730574831)*U8*U9 + (-278543603045299565/3812932492383448986 - (364235258131650247*rr)/3812932492383448986)*U9^2]; Gens2 := []; Gens3 := []; for i in [1 .. # Gens1] do Gens2 := Append(Gens2, Evaluate(Gens1[i], [U0, U2, U3, U1, U5, U6, U4, U8, U9, U7])); end for; for i in [1 .. # Gens2] do Gens3 := Append(Gens3, Evaluate(Gens2[i], [U0, U2, U3, U1, U5, U6, U4, U8, U9, U7])); end for; HilbertPolynomial(I + Ideal(Gens1) + Ideal(Gens2) + Ideal(Gens3)); print "---------------------------------------------"; // Section of 4H + D + D1 print "For 4H + D + D1"; Gens1 := [ (11917819041380983771569886394297/8706486842748891922162440840848 + (116937307614524065950551900690695*rr)/60945407899242243455137085885936)* U0^2 + (-70099194935165344941625416483947/ 11971419408779726392973356156166 - (112840406392624010071640199722875*rr)/167599871722916169501626986186324)* U0*U1 + (8810458423318332182258529156213/4353243421374445961081220420424 - (1163939641951146675180533209239*rr)/30472703949621121727568542942968)* U1^2 + (-581975500545982097888563004946761/ 47885677635118905571893424624664 - (332142862446687547925458061034869*rr)/335199743445832339003253972372648)* U0*U2 + (458931894201830644441647909263249/ 95771355270237811143786849249328 - (275676897320807789836884829937597*rr)/95771355270237811143786849249328)* U1*U2 + (313417319004156300547112938804095/ 95771355270237811143786849249328 - (1942483102196552574631431603647733*rr)/ 670399486891664678006507944745296)*U2^2 + (-8747514867347786177729124341321/23942838817559452785946712312332 - (536913106309885133949226118553451*rr)/167599871722916169501626986186324)* U0*U3 + (86620658359197836902976149554927/ 11971419408779726392973356156166 + (256324222639488522541335639147849*rr)/83799935861458084750813493093162)* U1*U3 + (823755786782595397628207960523547/ 191542710540475622287573698498656 - (5145411353155328139421776731088361*rr)/ 1340798973783329356013015889490592)*U2*U3 + (1350405065341266530773817161727031/95771355270237811143786849249328 + (1074002000645324620238550418918699*rr)/ 670399486891664678006507944745296)*U0*U4 + (-1218396128123381460111581241113285/47885677635118905571893424624664 + (108904874739148054065380332064505*rr)/47885677635118905571893424624664)* U1*U4 + (-4452773278383689537719444720293/ 2176621710687222980540610210212 + (146948452572118994244417001467423*rr)/ 15236351974810560863784271471484)*U2*U4 + (-239814566298844343963706285153239/47885677635118905571893424624664 + (31892186983381745726914113557657*rr)/335199743445832339003253972372648)* U0*U5 + (713566614646697261960501114269717/ 95771355270237811143786849249328 + (555162322679716111273429001555577*rr)/670399486891664678006507944745296)* U1*U5 + (-97796773378789849813399682310321/ 23942838817559452785946712312332 - (203787539114461148339919220662185*rr)/167599871722916169501626986186324)* U2*U5 + (-70490380534621523252137568980233/ 11971419408779726392973356156166 - (37089048434085269111192842929509*rr)/ 11971419408779726392973356156166)*U0*U6 + (8465271729708249793834811790177/544155427671805745135152552553 + (3507294405294346394629134631215*rr)/3809087993702640215946067867871)*U1* U6 + (-143548801340321719897198828471205/ 47885677635118905571893424624664 + (940803043195031489701399972409159*rr)/335199743445832339003253972372648)* U2*U6 + (284711867476454746100576979149067/ 191542710540475622287573698498656 + (1649433954906626143242091684888375*rr)/ 1340798973783329356013015889490592)*U0*U7 + (-374430460532915665533541579119673/95771355270237811143786849249328 - (244450915702274643891182572198921*rr)/670399486891664678006507944745296)* U1*U7 + (-195939306713162789371098662878795/ 95771355270237811143786849249328 + (1268779347225668289932577330750809*rr)/ 670399486891664678006507944745296)*U2*U7 + (61130821635118786061764150628527/47885677635118905571893424624664 + (283408371914907041270925742823605*rr)/335199743445832339003253972372648)* U0*U8 + (-13300604413574398610598209142137/ 4353243421374445961081220420424 + (41176634312244762819843273369911*rr)/ 30472703949621121727568542942968)*U1*U8 + U8^2 + (-40679434865893472004409172465813/95771355270237811143786849249328 - (473615485472387776917182267675621*rr)/670399486891664678006507944745296)* U0*U9 + (34604106780229013268569276649045/ 8706486842748891922162440840848 + (74002886177238268248867414318809*rr)/ 60945407899242243455137085885936)*U1*U9 + (-144278011636059678102853427147743/47885677635118905571893424624664 + (280086235621324977452035196482009*rr)/335199743445832339003253972372648)* U2*U9 + (-20918303286900388488441465886783/ 23942838817559452785946712312332 - (88151672807256427275537521503555*rr)/ 167599871722916169501626986186324)*U3*U9 + (861446505917502822747450977392603/95771355270237811143786849249328 - (94039481192360021228973412768521*rr)/670399486891664678006507944745296)* U4*U9 + (663662971004997426677203675081405/ 95771355270237811143786849249328 + (129848002174591618542166393059911*rr)/95771355270237811143786849249328)* U5*U9 + (-4279087528767453929438976600929/ 2176621710687222980540610210212 + (8048819573111588655010652383891*rr)/ 15236351974810560863784271471484)*U6*U9 + (-39172893812376501053538900715841/95771355270237811143786849249328 + (123098247460840518941603366853347*rr)/670399486891664678006507944745296)* U8*U9 + (-4093351906603161722588641523023/ 2081985984135604590082322809768 + (16487424040010105171276383332657*rr)/ 14573901888949232130576259668376)*U9^2, (-10170204697623689086702129630119/4353243421374445961081220420424 - (14215711709854927490467390682873*rr)/30472703949621121727568542942968)* U0^2 + (4951458953522015266546577621605/2176621710687222980540610210212 - (7329603923650773267548493156501*rr)/15236351974810560863784271471484)*U0* U1 + (-49684543612888235126730145236/49468675242891431375922959323 - (46302277705917229129639315596*rr)/346280726700240019631460715261)*U1^2 + (2999828576724002631283034517250/544155427671805745135152552553 - (5181253015916656825648311564389*rr)/3809087993702640215946067867871)*U0* U2 + (1989250274723088253712402200149/1088310855343611490270305105106 + (2038121641344820385529575985139*rr)/1088310855343611490270305105106)*U1* U2 + (-2003724727980895427509989696779/2176621710687222980540610210212 + (23229202279231801131471432409881*rr)/15236351974810560863784271471484)* U2^2 + (8275274121757676413326468770223/2176621710687222980540610210212 + (14268373276525749418086568499415*rr)/15236351974810560863784271471484)* U0*U3 + (-972600297939154354115809958387/197874700971565725503691837292 + (183909423437769353963064687097*rr)/1385122906800960078525842861044)*U1* U3 + (731085877654636570410792348848/544155427671805745135152552553 + (5667224867740120877306150218816*rr)/3809087993702640215946067867871)*U2* U3 + (-2913688032771503068764340443576/544155427671805745135152552553 + (2556285652454850203210552685531*rr)/3809087993702640215946067867871)*U0* U4 + (1861662120434802918949035687571/544155427671805745135152552553 - (1668658981171120750583376979597*rr)/544155427671805745135152552553)*U1* U4 + (-236336683179457647990672291883/98937350485782862751845918646 - (1942438962700794265288119677279*rr)/692561453400480039262921430522)*U2* U4 + (-926554969206579345576960748317/1088310855343611490270305105106 - (5667701404693308141962544490015*rr)/7618175987405280431892135735742)*U0* U5 + (-1106286563842248189920651994157/1088310855343611490270305105106 - (2079626769862751401202964442897*rr)/7618175987405280431892135735742)*U1* U5 + (3729097821574441419006262115883/2176621710687222980540610210212 + (13857131521762248579452045703295*rr)/15236351974810560863784271471484)* U2*U5 + (3617553417938014883726535424421/1088310855343611490270305105106 + (183209998382788421667047704819*rr)/1088310855343611490270305105106)*U0* U6 + (-240078710920075179264301794297/49468675242891431375922959323 + (546885655503446506823416210819*rr)/346280726700240019631460715261)*U1* U6 + (-758708112487227963129499996930/544155427671805745135152552553 - (7562082647683151132201384230886*rr)/3809087993702640215946067867871)*U2* U6 + (-1650240476184899964094206170063/1088310855343611490270305105106 - (1939629661229529559392055669515*rr)/7618175987405280431892135735742)*U0* U7 + (1924633457539931011477055524437/2176621710687222980540610210212 - (12088546130496452410011664725*rr)/15236351974810560863784271471484)*U1* U7 + (-1768836571950046735069397002259/2176621710687222980540610210212 - (13709882461919454506236161573039*rr)/15236351974810560863784271471484)* U2*U7 + (-2822083014993172720511894573721/ 2176621710687222980540610210212 + (2206398916308213200580308505425*rr)/ 15236351974810560863784271471484)*U0*U8 + (28485573920560578655367804759/98937350485782862751845918646 - (602991145574252618315322399219*rr)/692561453400480039262921430522)*U1* U8 + U7*U8 + (-366144789678898807096952659295/ 1088310855343611490270305105106 - (74463260808155477417926265354*rr)/ 3809087993702640215946067867871)*U0*U9 + (-1326387984099482163506919902193/1088310855343611490270305105106 + (335757015694850946922639880907*rr)/7618175987405280431892135735742)*U1* U9 + (191782057430366720989944225393/197874700971565725503691837292 - (1121568912140914610400694491239*rr)/1385122906800960078525842861044)*U2* U9 + (221725240274636228034204920111/197874700971565725503691837292 + (73476848950791190332679904523*rr)/1385122906800960078525842861044)*U3* U9 + (-7823022618342368863571508319263/2176621710687222980540610210212 + (14346305836408650827407141001653*rr)/15236351974810560863784271471484)* U4*U9 + (-4885834977972719600906867298089/ 1088310855343611490270305105106 + (147243180196394337896419863081*rr)/ 1088310855343611490270305105106)*U5*U9 + (620879319991373336127600609088/544155427671805745135152552553 - (820958933287281001384630593352*rr)/3809087993702640215946067867871)*U6* U9 + (-1833145683301039261714005645055/4353243421374445961081220420424 - (5916349784084985805744618458323*rr)/30472703949621121727568542942968)*U8* U9 + (-3292615114794384057992893935/23658931637904597614571850111 - (82578524876424899197272283727*rr)/165612521465332183302002950777)*U9^2, (39156338887945740786993010761111/766170842161902489150294793994624 + (1796977009130955802387500321190141*rr)/ 5363195895133317424052063557962368)*U0^2 + (-290989422322670216614120336851373/383085421080951244575147396997312 - (116147468078124133745804102674527*rr)/ 2681597947566658712026031778981184)*U0*U1 + (1911337327041940181636782127413/2176621710687222980540610210212 + (277464090155043764539947367689*rr)/7618175987405280431892135735742)* U1^2 + (-277761912957861198869712517622593/ 95771355270237811143786849249328 - (38301637481133335250041938112631*rr)/ 670399486891664678006507944745296)*U0*U2 + (29776986742717709638910990855829/47885677635118905571893424624664 - (8153786094106228573243494950247*rr)/11971419408779726392973356156166)*U1* U2 + (186658662563796780205521292138459/95771355270237811143786849249328 - (682522019859788184976385083783593*rr)/670399486891664678006507944745296)* U2^2 + (41534221591394296057051593538545/ 191542710540475622287573698498656 - (741177770479751233352164252782829*rr)/ 1340798973783329356013015889490592)*U0*U3 + (32477707995177389535201917883593/95771355270237811143786849249328 + (333769285589254479269954733170879*rr)/670399486891664678006507944745296)* U1*U3 + (206956473219889073786535861828051/ 191542710540475622287573698498656 - (1329080353473188103294936522784505*rr)/ 1340798973783329356013015889490592)*U2*U3 + (625955046114819089477942779713739/191542710540475622287573698498656 + (830361160746329055031635720753093*rr)/ 1340798973783329356013015889490592)*U0*U4 + (-478204529222955509766779074356507/95771355270237811143786849249328 - (42473251196598170214802863699579*rr)/95771355270237811143786849249328)* U1*U4 + (-7813123894070889566647607582581/ 2176621710687222980540610210212 + (33756408598171886949392271744035*rr)/ 15236351974810560863784271471484)*U2*U4 + (-13434956070078764154820780308773/191542710540475622287573698498656 - (514725767103976452874509059706591*rr)/ 1340798973783329356013015889490592)*U0*U5 + (162268307439510124541733911697411/95771355270237811143786849249328 + (424283641275691796928712017766795*rr)/670399486891664678006507944745296)* U1*U5 + (-68334252652185678634838326982359/ 95771355270237811143786849249328 - (659133144940221468043736418598673*rr)/670399486891664678006507944745296)* U2*U5 + (-61517252812608006143424033371577/ 47885677635118905571893424624664 - (34622687871890966616350185222545*rr)/ 47885677635118905571893424624664)*U0*U6 + (6881439151773611014750572240249/4353243421374445961081220420424 - (955621313985808015045632982757*rr)/30472703949621121727568542942968)*U1* U6 + (-598327009595601712284110733408/5985709704389863196486678078083 + (186453762816623120678497231519067*rr)/167599871722916169501626986186324)* U2*U6 + (4035878338632433494955368172541/8706486842748891922162440840848 + (3358643867740789843870015117511*rr)/7618175987405280431892135735742)*U0* U7 + (-434045367234691794234542809487199/ 383085421080951244575147396997312 - (806735600844931239644953332745325*rr)/ 2681597947566658712026031778981184)*U1*U7 + (-76143233928454215511657980700039/95771355270237811143786849249328 + (340050779013631813835076160551225*rr)/670399486891664678006507944745296)* U2*U7 + (2053947883083326905061318854099/8706486842748891922162440840848 + (5046970429295208393248046585993*rr)/60945407899242243455137085885936)*U0* U8 + (-698865932610936729418707058523/17412973685497783844324881681696 + (50648846412603630152049854889951*rr)/121890815798484486910274171771872)* U1*U8 + U6*U8 + (70067443630256358858639427456867/ 383085421080951244575147396997312 - (398829316444549092645267797118631*rr)/ 2681597947566658712026031778981184)*U0*U9 + (35071739957446659718418900144119/95771355270237811143786849249328 + (122589955587061556296549370106575*rr)/670399486891664678006507944745296)* U1*U9 + (-23741757100716171778551671980473/ 191542710540475622287573698498656 + (175981991950242724514480427352765*rr)/ 1340798973783329356013015889490592)*U2*U9 + (-9437148669520366675472580231553/47885677635118905571893424624664 - (19273644340774443069839194131509*rr)/335199743445832339003253972372648)* U3*U9 + (158266212267886028475014288530623/ 95771355270237811143786849249328 + (17636929381889795703830797051607*rr)/ 670399486891664678006507944745296)*U4*U9 + (90709238799362155177411604905931/47885677635118905571893424624664 + (968695962037141997957322269505*rr)/23942838817559452785946712312332)*U5* U9 + (-3941863151086490832758961546819/11971419408779726392973356156166 - (699025591169404376112872078479*rr)/41899967930729042375406746546581)*U6* U9 + (2801589473886112590446695927401/23942838817559452785946712312332 + (7224491641795468226595015534615*rr)/167599871722916169501626986186324)* U8*U9 + (-4868082201794808393180855877387/ 8327943936542418360329291239072 + (9562704099008985197618123365607*rr)/ 58295607555796928522305038673504)*U9^2, (-1086861076567179718652323732166617/1288560052726836004480041244445504 + (86675032193780037967360351950267*rr)/1288560052726836004480041244445504)* U0^2 + (455182450717831278417791758651747/ 644280026363418002240020622222752 - (194526959688836711617551113351617*rr)/644280026363418002240020622222752)* U0*U1 + (-9389541850201283242844270503597/ 14642727871895863687273195959608 + (1567226211867071373104156612973*rr)/ 14642727871895863687273195959608)*U1^2 + (166531416059476865456303827773965/161070006590854500560005155555688 - (94111681792386711669357846920581*rr)/161070006590854500560005155555688)* U0*U2 + (347904028364969221802882958362939/ 322140013181709001120010311111376 + (177942396693416450187354932949637*rr)/322140013181709001120010311111376)* U1*U2 + (262593219434534100912290586756163/ 322140013181709001120010311111376 + (32965287201926689604891330559129*rr)/322140013181709001120010311111376)* U2^2 + (464313270123059449184503706793205/ 322140013181709001120010311111376 + (2483329247527908506079230539873*rr)/ 322140013181709001120010311111376)*U0*U3 + (-222884250784138612058046144791791/161070006590854500560005155555688 + (68796578419449663859541013705297*rr)/161070006590854500560005155555688)* U1*U3 + (567089083665733274747696901522367/ 644280026363418002240020622222752 + (138623789747494504418187979703709*rr)/644280026363418002240020622222752)* U2*U3 + (-90853601454647102851713856364319/ 80535003295427250280002577777844 + (135479254723585808557310497927319*rr)/161070006590854500560005155555688)* U0*U4 + (-54821682734451133903323595140363/ 80535003295427250280002577777844 - (68497656388448701328796886186035*rr)/ 40267501647713625140001288888922)*U1*U4 + (-13557476985239109470346216399441/3660681967973965921818298989902 - (519367312838846361002850200082*rr)/1830340983986982960909149494951)*U2* U4 + (-233408557904337146171881141769771/ 322140013181709001120010311111376 - (174708236836805679175356084929771*rr)/322140013181709001120010311111376)* U0*U5 + (121096260878025452647074493013837/ 322140013181709001120010311111376 + (125889956784921548351506893489119*rr)/322140013181709001120010311111376)* U1*U5 + (19312651878990475687195587269573/ 161070006590854500560005155555688 - (69689987876828562681870731599315*rr)/161070006590854500560005155555688)* U2*U5 + (118389371433819409679863762113147/ 80535003295427250280002577777844 - (11433238380686151598247851258737*rr)/ 80535003295427250280002577777844)*U0*U6 + (-12941523372107927290851903986485/7321363935947931843636597979804 + (5627385256955763263092987449635*rr)/7321363935947931843636597979804)*U1* U6 + (-103638638843482960056454633565047/ 161070006590854500560005155555688 - (60697589700171852548133876151809*rr)/161070006590854500560005155555688)* U2*U6 + (-21024552840199345365409553125189/ 58570911487583454749092783838432 + (6762727101909315738167005912109*rr)/ 58570911487583454749092783838432)*U0*U7 + (28417027239044729930393457136399/644280026363418002240020622222752 - (185841733795656290024929397709665*rr)/644280026363418002240020622222752)* U1*U7 + (-5122079622360270820820504114155/ 8706486842748891922162440840848 - (1502008197661592383625673121777*rr)/ 8706486842748891922162440840848)*U2*U7 + U6*U7 + (-7007231972876424953556566037487/14642727871895863687273195959608 + (511588977729716697008388181033*rr)/14642727871895863687273195959608)*U0* U8 + (25159998908856556964843764679/29285455743791727374546391919216 - (8404950954041551845367033791113*rr)/29285455743791727374546391919216)*U1* U8 + (131374530956535044007632413498753/ 644280026363418002240020622222752 - (21844040105537792747917030507191*rr)/644280026363418002240020622222752)* U0*U9 + (-225903507709357845843840000628521/ 322140013181709001120010311111376 + (63417214689335523722351298740757*rr)/322140013181709001120010311111376)* U1*U9 + (-36046088043389315708487342910737/ 322140013181709001120010311111376 - (92405879868516385652818999171501*rr)/322140013181709001120010311111376)* U2*U9 + (20028831426749080332430355360591/ 40267501647713625140001288888922 - (1542460931364827735075742583801*rr)/ 20133750823856812570000644444461)*U3*U9 + (-86920009512137786473314836604829/322140013181709001120010311111376 + (175410394502068111654699152045729*rr)/322140013181709001120010311111376)* U4*U9 + (-8979301473995490478786714152853/ 8706486842748891922162440840848 + (2092124414534199914587840103413*rr)/ 8706486842748891922162440840848)*U5*U9 + (-11541607420295662624447840589339/40267501647713625140001288888922 - (5807090883240562982194494058116*rr)/20133750823856812570000644444461)*U6* U9 + (U7*U9)/2 + (-2278854833352595675422845672399/ 161070006590854500560005155555688 - (7396614052571296737396832906585*rr)/ 80535003295427250280002577777844)*U8*U9 + (-148425738908325467744355859547/378542906206473561833149601776 - (49900715708009086038123044775*rr)/378542906206473561833149601776)*U9^2, (-184392238557973312390926657227/1582997607772525804029534698336 + (933382560936058258445119598407*rr)/11080983254407680628206742888352)* U0^2 + (-16229509462746756614155854663/791498803886262902014767349168 + (14020729733939616891069036227*rr)/5540491627203840314103371444176)*U0* U1 + (4181974223901124523759592509/98937350485782862751845918646 - (31559482690249614569840360119*rr)/692561453400480039262921430522)*U1^2 + (-154507336348695520405729717447/395749401943131451007383674584 - (142290077785623576942023177373*rr)/2770245813601920157051685722088)*U0* U2 + (-6702747946103936999364174025/98937350485782862751845918646 - (6006846148265450025730764182*rr)/49468675242891431375922959323)*U1*U2 + (19700099340727681927299423913/197874700971565725503691837292 - (267171965752638645127167955263*rr)/1385122906800960078525842861044)* U2^2 + (42519499527583319064358598329/395749401943131451007383674584 - (377440959769626715347049573533*rr)/2770245813601920157051685722088)*U0* U3 + (26947698508811745488141826325/197874700971565725503691837292 + (242048876461598668285574476339*rr)/1385122906800960078525842861044)*U1* U3 + (637306919290230498842959452/49468675242891431375922959323 - (229435337705915405157714586429*rr)/1385122906800960078525842861044)*U2* U3 + (381617757112849430417776870011/395749401943131451007383674584 + (347950129766006394760002203749*rr)/2770245813601920157051685722088)*U0* U4 + (-162272555259584308149800619649/197874700971565725503691837292 + (8146762035807784586329435519*rr)/197874700971565725503691837292)*U1*U4 + (-31793619577441391009467963137/49468675242891431375922959323 + (128293171588123821204335704583*rr)/346280726700240019631460715261)*U2* U4 + (-91332681005789546634748694167/395749401943131451007383674584 - (203039249496214074880648669477*rr)/2770245813601920157051685722088)*U0* U5 + (-16203857937816765138264041921/197874700971565725503691837292 + (32182033764119949502720274579*rr)/1385122906800960078525842861044)*U1* U5 + (-89878597223294190461857251761/197874700971565725503691837292 - (266859277126814195423516731727*rr)/1385122906800960078525842861044)*U2* U5 + (-10400226207494716994306329324/49468675242891431375922959323 - (5591886834910333140202168144*rr)/49468675242891431375922959323)*U0*U6 + (14604357294625714942501675272/49468675242891431375922959323 + (62921304135925039840671212440*rr)/346280726700240019631460715261)*U1* U6 + (2040971328309629439253304623/49468675242891431375922959323 + (24389480206255504709699656912*rr)/346280726700240019631460715261)*U2* U6 + U6^2 + (84074507908222926609556145023/ 395749401943131451007383674584 + (185620910445075439345399318281*rr)/ 2770245813601920157051685722088)*U0*U7 + (-72606620383395676069027685709/791498803886262902014767349168 - (6662799922358131773711519831*rr)/5540491627203840314103371444176)*U1* U7 + (-44263183123344871582111762841/197874700971565725503691837292 + (132457585894808103826916895963*rr)/1385122906800960078525842861044)*U2* U7 + (1139302080919062985700478542/49468675242891431375922959323 + (10688431829785125716595949574*rr)/346280726700240019631460715261)*U0* U8 + (803483947847118059213993112/49468675242891431375922959323 + (45385482630151967005227536303*rr)/692561453400480039262921430522)*U1* U8 + (-26256752671731864202041598591/791498803886262902014767349168 - (27752361355271991835045055557*rr)/5540491627203840314103371444176)*U0* U9 + (-975107103738657557222137398/49468675242891431375922959323 + (55062275124484148452586564697*rr)/692561453400480039262921430522)*U1* U9 + (-2903841445333481136974795483/395749401943131451007383674584 - (109732184197678225922066752177*rr)/2770245813601920157051685722088)*U2* U9 + (1284435075738926866323545001/98937350485782862751845918646 + (30755910790903072760822503675*rr)/692561453400480039262921430522)*U3* U9 + (12313717369934495434029810225/197874700971565725503691837292 - (50193691452129740935351080663*rr)/1385122906800960078525842861044)*U4* U9 + (8024298039831928858323392007/98937350485782862751845918646 + (1036299784268854040036560696*rr)/49468675242891431375922959323)*U5*U9 + (48244687567561781867008845017/98937350485782862751845918646 + (4849786214831977334061945465*rr)/692561453400480039262921430522)*U6*U9 + (15874570943371066835569205011/197874700971565725503691837292 - (32672795611409735054160051641*rr)/1385122906800960078525842861044)*U8* U9 + (-387614942275588829141521945/8603247868328944587117036404 + (1143033892435425856704631153*rr)/60222735078302612109819254828)*U9^2, (-496297416900003127504935044761/1582997607772525804029534698336 + (260462701999089645547061863133*rr)/11080983254407680628206742888352)* U0^2 + (478531487668456592762832942007/791498803886262902014767349168 + (109832607926627297347899952237*rr)/5540491627203840314103371444176)*U0* U1 + (6225249865852729287349660157/98937350485782862751845918646 + (38504009039400136451930226343*rr)/692561453400480039262921430522)*U1^2 + (4632190930192072159446086059/197874700971565725503691837292 + (231294826581560641707010963589*rr)/1385122906800960078525842861044)*U0* U2 + (36753818203495631018177904349/197874700971565725503691837292 + (36861538121290073509152387325*rr)/197874700971565725503691837292)*U1* U2 + (32011624198841232955977265293/49468675242891431375922959323 - (109434946576202841092821936231*rr)/346280726700240019631460715261)* U2^2 + (137003951568789150743965152231/395749401943131451007383674584 + (394223786310267873072856236145*rr)/2770245813601920157051685722088)*U0* U3 + (-154659174055129543388820988109/98937350485782862751845918646 + (27453470580627587826423845516*rr)/346280726700240019631460715261)*U1* U3 + (99350061882952551633450319381/197874700971565725503691837292 + (20244117224184460254314544613*rr)/1385122906800960078525842861044)*U2* U3 + (-178439590257403074511283681775/395749401943131451007383674584 - (138703521858340436894391778893*rr)/2770245813601920157051685722088)*U0* U4 + (285766174019792061323233204479/197874700971565725503691837292 - (202341780360943348786326152669*rr)/197874700971565725503691837292)*U1* U4 + (-271456577429889918845522237755/98937350485782862751845918646 - (188190017873670593167531796815*rr)/692561453400480039262921430522)*U2* U4 + (505156747943472627842952950251/395749401943131451007383674584 - (790056425751987488836465655679*rr)/2770245813601920157051685722088)*U0* U5 + (-33481686840185695028071647511/49468675242891431375922959323 + (167251057699930451034754779196*rr)/346280726700240019631460715261)*U1* U5 + (1007160729388419224031029377/98937350485782862751845918646 - (277636080183039255216644217109*rr)/346280726700240019631460715261)*U2* U5 + (11516616624358168701574782419/49468675242891431375922959323 - (7607544615755253844667214267*rr)/49468675242891431375922959323)*U0*U6 + (-160708236819863267683226954035/98937350485782862751845918646 - (108855694506794495553210493621*rr)/692561453400480039262921430522)*U1* U6 + (40570657183010249644268159866/49468675242891431375922959323 + (53162359613152956948357526917*rr)/346280726700240019631460715261)*U2* U6 + (5422007375017007939877825669/395749401943131451007383674584 + (180848153345944961912240224211*rr)/2770245813601920157051685722088)*U0* U7 + (432188761643367595280288993733/791498803886262902014767349168 - (1454105511162308509189271368297*rr)/5540491627203840314103371444176)*U1* U7 + (-28854859306356712251158487253/98937350485782862751845918646 + (44529148991520522611534654669*rr)/692561453400480039262921430522)*U2* U7 + (54007326560034594646264617463/197874700971565725503691837292 - (136639008985401009528613150623*rr)/1385122906800960078525842861044)*U0* U8 + (200525844690154138184478505339/395749401943131451007383674584 - (67109987390852715490063075287*rr)/2770245813601920157051685722088)*U1* U8 + U5*U8 + (354723018050525299585526781539/ 791498803886262902014767349168 - (478524892222475828348952150799*rr)/ 5540491627203840314103371444176)*U0*U9 + (-140787153444757880954645624621/197874700971565725503691837292 - (115525817924699164612946383645*rr)/1385122906800960078525842861044)*U1* U9 + (299619973506043148773818285991/395749401943131451007383674584 - (241850048007352325143325728755*rr)/2770245813601920157051685722088)*U2* U9 + (29440041397159654850337220393/197874700971565725503691837292 + (307216293110751229765652116877*rr)/1385122906800960078525842861044)*U3* U9 + (-175800023964693239576576031457/197874700971565725503691837292 + (275523099014681118078997112935*rr)/1385122906800960078525842861044)*U4* U9 + (19939735865785444372592801337/197874700971565725503691837292 - (31895020145994204069314865315*rr)/197874700971565725503691837292)*U5* U9 + (20844840325359255038125036391/98937350485782862751845918646 - (111752129305742273471950126553*rr)/692561453400480039262921430522)*U6* U9 + (86275773985996412584434554027/395749401943131451007383674584 + (23053565086528272498274303295*rr)/2770245813601920157051685722088)*U8* U9 + (-2842471295538575465249219383/17206495736657889174234072808 - (17751726288052858447291276965*rr)/120445470156605224219638509656)*U9^2, (-80266879746532573432873328097243/1083561862520293912858216501010992 + (902912021979424883646894241559095*rr)/ 7584933037642057390007515507076944)*U0^2 + (164567745626644264444794780909971/1083561862520293912858216501010992 - (1900966221886315334175550385857295*rr)/ 7584933037642057390007515507076944)*U0*U1 + (-1006531581321583594252053822847/135445232815036739107277062626374 - (64381882271617539806354274137499*rr)/948116629705257173750939438384618)* U1^2 + (-91124334842482942569906787360539/ 270890465630073478214554125252748 - (100956468258188545087663657656333*rr)/ 1896233259410514347501878876769236)*U0*U2 + (155071430997889627879015789252573/135445232815036739107277062626374 + (8719357080693742045727631746277*rr)/67722616407518369553638531313187)*U1* U2 + (13406187086879657421563036515547/67722616407518369553638531313187 - (313443876632249365495706929139605*rr)/948116629705257173750939438384618)* U2^2 + (338191552627365406865912672708325/ 1083561862520293912858216501010992 - (805047263749203287006094500436057*rr)/ 7584933037642057390007515507076944)*U0*U3 + (-24507771790735834284531699456823/135445232815036739107277062626374 + (431261096528785403044823912500939*rr)/948116629705257173750939438384618)* U1*U3 + (-35578625277931108366191908469453/ 541780931260146956429108250505496 - (1233441543358795970479824331006909*rr)/ 3792466518821028695003757753538472)*U2*U3 + (31709135995420922591354364781645/1083561862520293912858216501010992 + (1327842126382512937168391326151255*rr)/ 7584933037642057390007515507076944)*U0*U4 + (-421064126068857440414560878793447/135445232815036739107277062626374 - (89917468040932045675031882442165*rr)/135445232815036739107277062626374)* U1*U4 + (-365987685873964044991138446522183/ 270890465630073478214554125252748 + (1269820826509221554559987172889419*rr)/ 1896233259410514347501878876769236)*U2*U4 + (-6031654646035156453866987190051/135445232815036739107277062626374 - (355020217098919405824772842804675*rr)/948116629705257173750939438384618)* U0*U5 + (190196515118452622936259635967279/ 270890465630073478214554125252748 - (362996125408807507627689577953389*rr)/ 1896233259410514347501878876769236)*U1*U5 + (-158290730588028677971236679454085/135445232815036739107277062626374 - (267010731316497651269842014225341*rr)/948116629705257173750939438384618)* U2*U5 + (-78091054099163540279294434740361/ 270890465630073478214554125252748 - (69166873650397429991826358375445*rr)/270890465630073478214554125252748)* U0*U6 + (-123324692079028854177985008049705/ 270890465630073478214554125252748 + (1259747965706420570829337745741197*rr)/ 1896233259410514347501878876769236)*U1*U6 + (141088614090729528938227471273025/135445232815036739107277062626374 + (110817383052724454771161186089501*rr)/948116629705257173750939438384618)* U2*U6 + (95770400261303324520175334806401/ 1083561862520293912858216501010992 + (670315986468281828046282489323439*rr)/ 7584933037642057390007515507076944)*U0*U7 + (-150474040987899870983707286864283/270890465630073478214554125252748 - (459966345825974318221917833531243*rr)/ 1896233259410514347501878876769236)*U1*U7 + (-1502981731270981558168587178661/7321363935947931843636597979804 + (10188062225365251949859778940507*rr)/51249547551635522905456185858628)* U2*U7 + U5*U7 + (-58229860370810962301174255095001/ 1083561862520293912858216501010992 + (302242913668162733432897804208941*rr)/ 7584933037642057390007515507076944)*U0*U8 + (-9849808040002635378195215713103/135445232815036739107277062626374 - (147265100749649403433281600986659*rr)/948116629705257173750939438384618)* U1*U8 + (438074985318644563679762421770325/ 1083561862520293912858216501010992 - (586175301433641876740145653235465*rr)/ 7584933037642057390007515507076944)*U0*U9 + (-17657415217420751645499740379833/270890465630073478214554125252748 + (258989570863724473995892889380827*rr)/ 1896233259410514347501878876769236)*U1*U9 + (61876395704084902010597038128639/270890465630073478214554125252748 + (189812950162300240866790412935125*rr)/ 1896233259410514347501878876769236)*U2*U9 + (-80497879101273926791816122094251/270890465630073478214554125252748 + (161934530144805699849941530057707*rr)/ 1896233259410514347501878876769236)*U3*U9 + (-10335093736507858054776198385547/135445232815036739107277062626374 - (34478882036827412436212427511372*rr)/474058314852628586875469719192309)* U4*U9 + (213783662572825665771785490891/3660681967973965921818298989902 + (58801364339548425126822756385*rr)/1830340983986982960909149494951)*U5* U9 + (-34591887900475056851311775850688/67722616407518369553638531313187 - (11622364090908835330046639149476*rr)/474058314852628586875469719192309)* U6*U9 + (39/148 - (11*rr)/148)*U7*U9 + (34427790214578136705873053381971/1083561862520293912858216501010992 - (709256627407481935252182334759063*rr)/ 7584933037642057390007515507076944)*U8*U9 + (-278152268994940490511542585137/1273280684512683798893321387792 - (220343808571605940551470610875*rr)/8912964791588786592253249714544)* U9^2, (137374616745874453261150464365/791498803886262902014767349168 + (23462257522145233865670557833*rr)/791498803886262902014767349168)*U0^2 + (-68688758506800888683930020345/791498803886262902014767349168 + (60934562723656140726033763795*rr)/791498803886262902014767349168)*U0* U1 + (-11698102363637484519694400163/98937350485782862751845918646 + (202499041488456826779950359*rr)/98937350485782862751845918646)*U1^2 + (-31315302857986768937914136593/197874700971565725503691837292 + (17649430735309820504570425583*rr)/197874700971565725503691837292)*U0* U2 + (-72707279393902206244115148159/197874700971565725503691837292 - (15057074645318462414937068225*rr)/197874700971565725503691837292)*U1* U2 + (-82827246820553909494576975991/197874700971565725503691837292 - (5771646877645753083751030565*rr)/197874700971565725503691837292)*U2^2 + (-17260983497879713612976842951/98937350485782862751845918646 - (2807420939430365264037194537*rr)/98937350485782862751845918646)*U0*U3 + (22097800921062393702415971100/49468675242891431375922959323 - (4199759178325119677778042555*rr)/49468675242891431375922959323)*U1*U3 + (-35560266627202820978383740921/395749401943131451007383674584 + (3914857530682846634085604685*rr)/395749401943131451007383674584)*U2*U3 + (15276627497889249111514160531/49468675242891431375922959323 - (27360880214357622290507826051*rr)/98937350485782862751845918646)*U0*U4 + (29433855493672376522576207941/49468675242891431375922959323 + (23391973467994524733722264656*rr)/49468675242891431375922959323)*U1*U4 + (205115396351844658093680051055/197874700971565725503691837292 + (5524791867514688701025239315*rr)/197874700971565725503691837292)*U2*U4 + (2557502811962454168608798971/197874700971565725503691837292 + (40639123823636812644782758219*rr)/197874700971565725503691837292)*U0* U5 + (-15986268697216609660607254317/197874700971565725503691837292 - (319300939950244296881036583*rr)/197874700971565725503691837292)*U1*U5 + (2144808719492903311955238655/98937350485782862751845918646 + (9372609175339563293801718299*rr)/98937350485782862751845918646)*U2*U5 + (-4181294703641183703867845887/49468675242891431375922959323 + (1418454636121024808783427931*rr)/49468675242891431375922959323)*U0*U6 + (24800533195886812518167487997/49468675242891431375922959323 - (8163404352563539133502657707*rr)/49468675242891431375922959323)*U1*U6 + (13366044356690549735820660071/98937350485782862751845918646 - (1499326620176228363619913111*rr)/98937350485782862751845918646)*U2*U6 + U5*U6 + (-1406315630410874225383669326/49468675242891431375922959323 - (11373400309504421877768294165*rr)/197874700971565725503691837292)*U0* U7 + (109689726677618188155150263619/395749401943131451007383674584 + (44910748840398061678546576267*rr)/395749401943131451007383674584)*U1* U7 + (55923368877586118053232907029/395749401943131451007383674584 - (12006732890897913801301392063*rr)/395749401943131451007383674584)*U2* U7 + (7978698671221325955177263317/49468675242891431375922959323 + (388966564138294245346668901*rr)/49468675242891431375922959323)*U0*U8 + (-6468632895923031101190777411/197874700971565725503691837292 + (14936391522446050264200997941*rr)/197874700971565725503691837292)*U1* U8 + (-2660438067103728694721766591/395749401943131451007383674584 + (22429495903233572650668975809*rr)/395749401943131451007383674584)*U0* U9 + (12055042889653370381365028155/98937350485782862751845918646 - (513803986595844817319207849*rr)/98937350485782862751845918646)*U1*U9 + (-100304762132321547963364567453/395749401943131451007383674584 + (10492227636155747274789268069*rr)/395749401943131451007383674584)*U2* U9 + (-13419056653611495881466245359/197874700971565725503691837292 - (5791784247801609398704427061*rr)/197874700971565725503691837292)*U3*U9 + (34469680455668241468074594941/197874700971565725503691837292 - (2572486183497733907406331945*rr)/197874700971565725503691837292)*U4*U9 + (41709301396713710835973513317/197874700971565725503691837292 + (5120662836393973482378130365*rr)/197874700971565725503691837292)*U5*U9 + (28260090121380887635023958863/197874700971565725503691837292 + (9484652157681816818871778821*rr)/197874700971565725503691837292)*U6*U9 + (68598174500006736396784346453/791498803886262902014767349168 + (7925421677607494254551395137*rr)/791498803886262902014767349168)*U8*U9 + (379674971252770025738528465/4301623934164472293558518202 + (298992861772478916768579279*rr)/8603247868328944587117036404)*U9^2, (-9074840865837750713289719829673/58570911487583454749092783838432 + (4600650225026184743960951864509*rr)/409996380413084183243649486869024)* U0^2 + (-555417522514179568960975082653/7321363935947931843636597979804 + (366587917815275031351001079553*rr)/51249547551635522905456185858628)*U0* U1 + (-782382951806934454931229662265/7321363935947931843636597979804 - (715772636499630351189287166073*rr)/51249547551635522905456185858628)* U1^2 + (48088242799332325999846350759/1830340983986982960909149494951 - (2828112158547225064100430709381*rr)/12812386887908880726364046464657)*U0* U2 + (331770098249106922554939217553/7321363935947931843636597979804 - (251458127904874695750280162715*rr)/3660681967973965921818298989902)*U1* U2 + (1034603127441486622052701554319/3660681967973965921818298989902 + (9890304944752947816699720415887*rr)/51249547551635522905456185858628)* U2^2 + (6385471483984231018892042234269/58570911487583454749092783838432 - (23917364506982606039042395239041*rr)/409996380413084183243649486869024)* U0*U3 + (82688381127419819303546957666/1830340983986982960909149494951 + (2787835145970657016677929495391*rr)/25624773775817761452728092929314)*U1* U3 + (-1026578825505093451857683360573/29285455743791727374546391919216 + (24283609678462878130682595635787*rr)/204998190206542091621824743434512)* U2*U3 + (7129391850451615578079762281749/ 58570911487583454749092783838432 + (69983159668321057484784925692655*rr)/ 409996380413084183243649486869024)*U0*U4 + (-1625905287024855800079217850795/7321363935947931843636597979804 + (994580889744764913662743918687*rr)/7321363935947931843636597979804)*U1* U4 + (-1557154688318647490869715628419/14642727871895863687273195959608 - (11763174300156456651305060358081*rr)/102499095103271045810912371717256)* U2*U4 + (-366434462981396470678384693983/1830340983986982960909149494951 + (1819963792528679144963374516403*rr)/25624773775817761452728092929314)*U0* U5 + (1929937503532391810195171416055/14642727871895863687273195959608 - (13143147862108070282878807730669*rr)/102499095103271045810912371717256)* U1*U5 + (4670146529132491368821738432237/7321363935947931843636597979804 + (11227239478588382819117807893205*rr)/51249547551635522905456185858628)* U2*U5 + U5^2 + (4557032334325854711125571611703/ 14642727871895863687273195959608 + (695891839142976016174191241163*rr)/ 14642727871895863687273195959608)*U0*U6 + (7391130657451290402858953511027/14642727871895863687273195959608 + (11598711862995926210649226944561*rr)/102499095103271045810912371717256)* U1*U6 + (-3110803372181267435977758511653/ 7321363935947931843636597979804 - (5393904542074973693681335562849*rr)/ 51249547551635522905456185858628)*U2*U6 + (-2217735323195531075665264443965/58570911487583454749092783838432 + (12727088360502252664713315508613*rr)/409996380413084183243649486869024)* U0*U7 + (1207091346474859644260951482549/ 14642727871895863687273195959608 + (6989317350052452890682133706781*rr)/ 102499095103271045810912371717256)*U1*U7 + (-1231266607466735716099436569715/7321363935947931843636597979804 - (2019697356091005931459759940019*rr)/25624773775817761452728092929314)*U2* U7 + (1687928046449512059077170805603/58570911487583454749092783838432 + (28665811127856759611826141985025*rr)/409996380413084183243649486869024)* U0*U8 + (-2803802817680583566079729449793/ 14642727871895863687273195959608 - (1756497927070752013250712144391*rr)/ 102499095103271045810912371717256)*U1*U8 + (-318647557020140481867194483487/7321363935947931843636597979804 + (635621588934750933210487654876*rr)/12812386887908880726364046464657)*U0* U9 + (276839845510891120936271417645/1830340983986982960909149494951 + (1065710837318804931112180427927*rr)/51249547551635522905456185858628)*U1* U9 + (-597391488270584836763285829017/14642727871895863687273195959608 - (356626673055341745803925884063*rr)/102499095103271045810912371717256)*U2* U9 + (-772774842739862608551232327811/14642727871895863687273195959608 - (393993609982375261913894163809*rr)/102499095103271045810912371717256)*U3* U9 + (455891609821042525844789674915/7321363935947931843636597979804 - (723178361798152045179925496225*rr)/25624773775817761452728092929314)*U4* U9 + (2506982875497262636816213388395/14642727871895863687273195959608 + (603864415468023470991383911597*rr)/14642727871895863687273195959608)*U5* U9 + (-1718526451683447622669205750997/7321363935947931843636597979804 + (2860770537644347059807999118501*rr)/51249547551635522905456185858628)*U6* U9 + (2712793630585843872544935658207/58570911487583454749092783838432 - (7577230774956264338012720257875*rr)/409996380413084183243649486869024)* U8*U9 + (1637221874149895973613310487/68825982946631556696936291232 + (9256223729935905892205462509*rr)/481781880626420896878554038624)*U9^2, (360580116805707517671472724687/378542906206473561833149601776 + (13532792690374200678282912839*rr)/378542906206473561833149601776)*U0^2 + (-162860376073231175892355545617/189271453103236780916574800888 + (47795273872600270643596221183*rr)/189271453103236780916574800888)*U0* U1 + (560219177849781213824868121/2150811967082236146779259101 + (302482305712073594755306454*rr)/2150811967082236146779259101)*U1^2 + (-317951988069946519303783560753/189271453103236780916574800888 + (111346202180471409085403359927*rr)/189271453103236780916574800888)*U0* U2 + (-35333236347316425094036969151/47317863275809195229143700222 - (41151803585444294141322018323*rr)/47317863275809195229143700222)*U1*U2 + (25139232924743632059332577493/189271453103236780916574800888 - (36972073726238985705140602545*rr)/189271453103236780916574800888)*U2^2 + (-292533543741698360672746502797/189271453103236780916574800888 - (19195248403865900057992036367*rr)/189271453103236780916574800888)*U0* U3 + (30265205781138914637120656637/17206495736657889174234072808 - (5671505143219340468833317761*rr)/17206495736657889174234072808)*U1*U3 + (-34348084674574770572867264329/189271453103236780916574800888 - (89230926172657399901399454907*rr)/189271453103236780916574800888)*U2* U3 + (116040339513084851190333534655/189271453103236780916574800888 - (68081232545060955828135037677*rr)/189271453103236780916574800888)*U0* U4 + (3647815216175834236997375640/23658931637904597614571850111 + (33177953578485764864005076861*rr)/23658931637904597614571850111)*U1*U4 + (10248149579502364867646698573/8603247868328944587117036404 + (1841403239413707250835428247*rr)/8603247868328944587117036404)*U2*U4 + (115436992658923063815481526053/94635726551618390458287400444 + (38328986424840994334945378937*rr)/94635726551618390458287400444)*U0*U5 + (-14179868524781221439296340169/23658931637904597614571850111 + (2937013300165040789149295590*rr)/23658931637904597614571850111)*U1*U5 + (90938320610749270203095377745/189271453103236780916574800888 - (47617608358303138401714662565*rr)/189271453103236780916574800888)*U2* U5 + (-94328498095296274695893076335/94635726551618390458287400444 + (14054799219881496568211726687*rr)/94635726551618390458287400444)*U0*U6 + (3610345995503088768898746867/2150811967082236146779259101 - (1930122494840051603714537743*rr)/2150811967082236146779259101)*U1*U6 + (-3078180531257821170933024195/47317863275809195229143700222 + (39880248912691464431322380955*rr)/47317863275809195229143700222)*U2*U6 + (32941188205826829789093691637/189271453103236780916574800888 + (12674894843529852726532992171*rr)/189271453103236780916574800888)*U0* U7 + (-17980777652949882104684399645/189271453103236780916574800888 + (2563101564229505374178301703*rr)/189271453103236780916574800888)*U1*U7 + (77110376163564299334315404489/189271453103236780916574800888 + (43002721714549921446673612163*rr)/189271453103236780916574800888)*U2* U7 + (25259784524469318304463440461/47317863275809195229143700222 - (2672530029264875534485582645*rr)/23658931637904597614571850111)*U0*U8 + (-1494801334681192967816680631/8603247868328944587117036404 + (3769364855055738457041000961*rr)/8603247868328944587117036404)*U1*U8 + U4*U8 + (16891383173848798028004068689/94635726551618390458287400444 + (1114017479542661358745413493*rr)/47317863275809195229143700222)*U0*U9 + (11340129050057647366174532300/23658931637904597614571850111 - (2838850081827763179006028804*rr)/23658931637904597614571850111)*U1*U9 + (-1231564891544071499333133401/8603247868328944587117036404 + (3482319485974851320525768443*rr)/8603247868328944587117036404)*U2*U9 + (-8195909954481836734736325587/17206495736657889174234072808 + (521211322759439228219214959*rr)/17206495736657889174234072808)*U3*U9 + (224014424551102202717617730229/189271453103236780916574800888 - (75559998487310133015941576641*rr)/189271453103236780916574800888)*U4* U9 + (175990855961835661926975319787/94635726551618390458287400444 - (10661369640881664284254537011*rr)/94635726551618390458287400444)*U5*U9 + (1359394025069271704777017386/23658931637904597614571850111 + (2464505743931833752775842572*rr)/23658931637904597614571850111)*U6*U9 + (73610630683515369279073121707/378542906206473561833149601776 + (41315250971553288895733568929*rr)/378542906206473561833149601776)*U8* U9 + (38140098998336188222371337919/189271453103236780916574800888 + (27845327077243387772258366273*rr)/189271453103236780916574800888)*U9^2, (4819161742206344109585786811/197874700971565725503691837292 + (65192408444755984904648819521*rr)/197874700971565725503691837292)*U0^2 + (-66224403727955528266366395909/98937350485782862751845918646 - (28797129183707065674526931065*rr)/98937350485782862751845918646)*U0*U1 + (-24049038196963124301595225737/98937350485782862751845918646 - (9268862933874332685231620133*rr)/98937350485782862751845918646)*U1^2 + (-480407401689373232752959909897/395749401943131451007383674584 - (127227716360190257768337759077*rr)/395749401943131451007383674584)*U0* U2 + (41454336863443551037124332808/49468675242891431375922959323 - (28129953553069032189800871468*rr)/49468675242891431375922959323)*U1*U2 + (-2057132409326607979672827847/49468675242891431375922959323 - (14104643777496707074442511492*rr)/49468675242891431375922959323)*U2^2 + (18409663708526759066516591262/49468675242891431375922959323 - (56105638209281461928427647713*rr)/98937350485782862751845918646)*U0*U3 + (94746316740108294373227252763/49468675242891431375922959323 + (26723462412262002873666905776*rr)/49468675242891431375922959323)*U1*U3 + (-57707048543123751389328514977/197874700971565725503691837292 - (58166436152442859153078114875*rr)/197874700971565725503691837292)*U2* U3 + (649916109110305596046340758915/395749401943131451007383674584 + (283159781687352256080648028607*rr)/395749401943131451007383674584)*U0* U4 + (-213481527771737228521490366297/49468675242891431375922959323 + (19409077602061236520109108637*rr)/49468675242891431375922959323)*U1*U4 + (-96136599450503976729173988797/98937350485782862751845918646 + (117859528355981790799266492437*rr)/98937350485782862751845918646)*U2* U4 + (-166185408822873472069995129793/98937350485782862751845918646 - (12493739919210227457008763991*rr)/98937350485782862751845918646)*U0*U5 + (-225101993762444522904602607/98937350485782862751845918646 - (8269459598233643771195186195*rr)/98937350485782862751845918646)*U1*U5 + (-343856336273550396999375171485/197874700971565725503691837292 - (34990420222296691362170026199*rr)/197874700971565725503691837292)*U2* U5 + (-25748765439499783757251422665/98937350485782862751845918646 - (31891223267514487095436446845*rr)/98937350485782862751845918646)*U0*U6 + (140581745118857352314510166361/98937350485782862751845918646 + (72750549622906800228557762081*rr)/98937350485782862751845918646)*U1*U6 + (-57004295469217472027814085023/98937350485782862751845918646 - (572378450671213338133071317*rr)/98937350485782862751845918646)*U2*U6 + (99521179182354802191712168979/197874700971565725503691837292 + (31868022373628566539132576865*rr)/197874700971565725503691837292)*U0* U7 + (-102228194274781306306947848641/98937350485782862751845918646 + (3091707884473537280558485005*rr)/98937350485782862751845918646)*U1*U7 + (-48333294393616089256712218253/98937350485782862751845918646 + (25323705372953254315218505235*rr)/98937350485782862751845918646)*U2*U7 + U4*U7 + (-48260478544700156486628663989/395749401943131451007383674584 + (47238532180925491515561954387*rr)/395749401943131451007383674584)*U0* U8 + (-29562302241205943837971890060/49468675242891431375922959323 - (5354391028332526444702921666*rr)/49468675242891431375922959323)*U1*U8 + (-58494441449355827719133942611/197874700971565725503691837292 - (4552951730403624809465395139*rr)/197874700971565725503691837292)*U0*U9 + (3816691343006208580806444618/49468675242891431375922959323 + (14926975158422952308671926577*rr)/49468675242891431375922959323)*U1*U9 + (-239754639381119566144026269803/395749401943131451007383674584 - (55008481921052300817865149969*rr)/395749401943131451007383674584)*U2* U9 + (71541597447466257798203183529/197874700971565725503691837292 - (26497242042747858144176602633*rr)/197874700971565725503691837292)*U3* U9 + (145426697009071286156284322781/197874700971565725503691837292 + (26355802071319816402861049567*rr)/197874700971565725503691837292)*U4* U9 + (-58550048012957025034125895491/197874700971565725503691837292 + (72002978769390812659366850599*rr)/197874700971565725503691837292)*U5* U9 + (-17688665825596738176151468437/49468675242891431375922959323 - (8782132071852270408592773657*rr)/49468675242891431375922959323)*U6*U9 + (-100565881738019884132768845183/395749401943131451007383674584 - (31324523674658689879782516297*rr)/395749401943131451007383674584)*U8* U9 + (-5079822096141278485011855657/17206495736657889174234072808 + (1563099346157675192846202685*rr)/17206495736657889174234072808)*U9^2, (13984080246142434171005234824157/69651894741991135377299526726784 - (36510190414233783531338913564273*rr)/487563263193937947641096687087488)* U0^2 + (949654410300284548386335147533/34825947370995567688649763363392 + (28105575517043584053155300690279*rr)/243781631596968973820548343543744)* U0*U1 + (166788013761579113576008626305/791498803886262902014767349168 - (74414638423452894547221024267*rr)/5540491627203840314103371444176)* U1^2 + (36276095692101426943445615982/544155427671805745135152552553 + (7849598124599947577291242745189*rr)/30472703949621121727568542942968)*U0* U2 + (-5656851627970000795027614784589/17412973685497783844324881681696 - (843233142165666119935845013419*rr)/17412973685497783844324881681696)*U1* U2 + (-5687061787770908058317847057577/17412973685497783844324881681696 + (4178899928310793556092927772643*rr)/121890815798484486910274171771872)* U2^2 + (-6784590437018753682422217674029/ 17412973685497783844324881681696 + (12180453761322833924227012753505*rr)/ 121890815798484486910274171771872)*U0*U3 + (-306770562092840537961346076163/8706486842748891922162440840848 - (11241251368704583965386582304889*rr)/60945407899242243455137085885936)* U1*U3 + (-9080607759546933075742947592253/ 34825947370995567688649763363392 - (11776283524316080908205107389521*rr)/ 243781631596968973820548343543744)*U2*U3 + (-2910583005186131181340731417759/8706486842748891922162440840848 - (9866938784209057378783868424027*rr)/30472703949621121727568542942968)*U0* U4 + (2484714758571098472145566931683/2176621710687222980540610210212 + (1034823470751682540974681182699*rr)/4353243421374445961081220420424)*U1* U4 + (437134414374503971858410775753/395749401943131451007383674584 - (1000953725088354666182237273691*rr)/2770245813601920157051685722088)*U2* U4 + (12267059157975346178799356941931/17412973685497783844324881681696 + (14953559891399978057719016620133*rr)/121890815798484486910274171771872)* U0*U5 + (-2004790977652764556019496952663/ 17412973685497783844324881681696 - (15553741724120990607464147237595*rr)/ 121890815798484486910274171771872)*U1*U5 + (2660294114835963699961445402585/8706486842748891922162440840848 - (2016149894510074665231721382269*rr)/60945407899242243455137085885936)*U2* U5 + (-1184211757101322165199146867175/4353243421374445961081220420424 + (507503827148803975650886288877*rr)/4353243421374445961081220420424)*U0* U6 + (-73464174082570649560696939247/395749401943131451007383674584 - (680867631866537647378724460577*rr)/2770245813601920157051685722088)*U1* U6 + (-983678140840618240809728702627/8706486842748891922162440840848 + (7780381988978378829869664295349*rr)/60945407899242243455137085885936)*U2* U6 + U4*U6 + (-33566048906107277204857886521/ 3165995215545051608059069396672 - (614883728766509768885796990889*rr)/ 22161966508815361256413485776704)*U0*U7 + (10326238553965672613457923791049/34825947370995567688649763363392 + (545049920989761233303788907367*rr)/243781631596968973820548343543744)*U1* U7 + (2393662885697883269697199414945/17412973685497783844324881681696 - (2527007039484308485509060854643*rr)/121890815798484486910274171771872)* U2*U7 + (115305386326194826748973006699/791498803886262902014767349168 - (403515519913589640371780858891*rr)/5540491627203840314103371444176)*U0* U8 + (268588498198963662034516028373/1582997607772525804029534698336 + (742686989949624723999321190955*rr)/11080983254407680628206742888352)*U1* U8 + (1115284159162185427545044306071/34825947370995567688649763363392 + (5927654130117511997983506315393*rr)/243781631596968973820548343543744)* U0*U9 + (830406924899648013814237241203/17412973685497783844324881681696 - (13540090181480459173777633642089*rr)/121890815798484486910274171771872)* U1*U9 + (206239848078940838794005919953/17412973685497783844324881681696 + (16656985501866474853159436053291*rr)/121890815798484486910274171771872)* U2*U9 + (-952792360569276243500821202015/4353243421374445961081220420424 + (2308660027223132206648349325333*rr)/30472703949621121727568542942968)*U3* U9 + (5106121893063475694258939863279/17412973685497783844324881681696 - (25244665303064866124477480668069*rr)/121890815798484486910274171771872)* U4*U9 + (3219435424334093324335797870935/ 17412973685497783844324881681696 - (1557722829650045368055744387215*rr)/ 17412973685497783844324881681696)*U5*U9 + (1022596280998330258204646143043/4353243421374445961081220420424 + (3556904599959977753091736308395*rr)/30472703949621121727568542942968)*U6* U9 + (2192412644573224241919865342793/17412973685497783844324881681696 + (5054727329267824934380590177773*rr)/121890815798484486910274171771872)* U8*U9 + (146383255188791294834480422551/757085812412947123666299203552 + (182411659429460139110962404725*rr)/5299600686890629865664094424864)* U9^2, (9141147803682902848456063763/68825982946631556696936291232 - (41436439583164387101673817*rr)/68825982946631556696936291232)*U0^2 + (-6257372516368231915112302401/34412991473315778348468145616 + (1793149611235068118774523683*rr)/34412991473315778348468145616)*U0*U1 + (568735887683125884158159583/8603247868328944587117036404 + (464335479674436706578279261*rr)/8603247868328944587117036404)*U1^2 + (-2648857524097483717610110817/17206495736657889174234072808 + (1169937877125337928851285859*rr)/17206495736657889174234072808)*U0*U2 + (-5152089209605386491145940521/17206495736657889174234072808 - (1685053353203288404116670999*rr)/17206495736657889174234072808)*U1*U2 + (2461818211218539312084903433/17206495736657889174234072808 - (1044623653926421390295284885*rr)/17206495736657889174234072808)*U2^2 + (-2688759586027898003818559945/17206495736657889174234072808 + (195817039509679161223213071*rr)/17206495736657889174234072808)*U0*U3 + (2329666285247269618840229969/8603247868328944587117036404 - (639677749840318787780596671*rr)/8603247868328944587117036404)*U1*U3 + (2782378475577155520549831787/34412991473315778348468145616 - (809748537045031311059598479*rr)/34412991473315778348468145616)*U2*U3 + (90000297565114460350421725/8603247868328944587117036404 - (342171347606509405329070193*rr)/4301623934164472293558518202)*U0*U4 + (2225485802943315353753833255/4301623934164472293558518202 + (454662538363225324325956352*rr)/2150811967082236146779259101)*U1*U4 + (1293252466560295546803878157/4301623934164472293558518202 + (343838307153035958512854315*rr)/4301623934164472293558518202)*U2*U4 + (2635007935643585887820967597/17206495736657889174234072808 + (1382728241762586239928579157*rr)/17206495736657889174234072808)*U0*U5 + (-119418517582241004518820847/17206495736657889174234072808 + (1456666611818431296951060939*rr)/17206495736657889174234072808)*U1*U5 + (96272730502352396997226917/2150811967082236146779259101 - (176853695499783389422331719*rr)/4301623934164472293558518202)*U2*U5 + U4*U5 + (-282176078643109928250831394/2150811967082236146779259101 + (30058503308827996737279016*rr)/2150811967082236146779259101)*U0*U6 + (1442172849211279445560872051/4301623934164472293558518202 - (1006167381680500998348805853*rr)/4301623934164472293558518202)*U1*U6 + (-2102542111891721085888297847/8603247868328944587117036404 + (437598918518371985439670559*rr)/8603247868328944587117036404)*U2*U6 + (-692118397579098985631071827/34412991473315778348468145616 + (276292135255195715410016643*rr)/34412991473315778348468145616)*U0*U7 + (4867066440842996011103438471/34412991473315778348468145616 + (842685360870841227699361959*rr)/34412991473315778348468145616)*U1*U7 + (1020175459441536456771870691/17206495736657889174234072808 + (295791429186818540412217753*rr)/17206495736657889174234072808)*U2*U7 + (293121948305363180859672757/4301623934164472293558518202 - (237173448177076187386634863*rr)/4301623934164472293558518202)*U0*U8 + (365981404078227463238030129/17206495736657889174234072808 + (1276898385230999137910927185*rr)/17206495736657889174234072808)*U1*U8 + (-362417260240829979289154585/34412991473315778348468145616 + (441660777536681121314696939*rr)/34412991473315778348468145616)*U0*U9 + (958995747068153644673644617/17206495736657889174234072808 - (1315504984529319527517892219*rr)/17206495736657889174234072808)*U1*U9 + (-5084845513543527634602585059/17206495736657889174234072808 + (713596458768758077716159077*rr)/17206495736657889174234072808)*U2*U9 + (-420289109864222023779078083/8603247868328944587117036404 - (235367809640143703064612973*rr)/8603247868328944587117036404)*U3*U9 + (7254216042436654815862893687/17206495736657889174234072808 - (633237965196816718101433291*rr)/17206495736657889174234072808)*U4*U9 + (3509419219269754186842183709/17206495736657889174234072808 + (1110038658317282386539017387*rr)/17206495736657889174234072808)*U5*U9 + (426475840631101997097876959/8603247868328944587117036404 + (93244521989743833878678917*rr)/8603247868328944587117036404)*U6*U9 + (540857658815838392816655893/17206495736657889174234072808 + (636377297959852845868395203*rr)/17206495736657889174234072808)*U8*U9 + (1145146327553329891197235479/17206495736657889174234072808 + (683665883830737937489197147*rr)/17206495736657889174234072808)*U9^2, (-90844947156878017920179162305/791498803886262902014767349168 - (99104249100294597099223891917*rr)/791498803886262902014767349168)*U0^2 + (70475268466503428744270353801/197874700971565725503691837292 + (23838472285521088162176485369*rr)/197874700971565725503691837292)*U0* U1 + (3967408719343694397090739233/49468675242891431375922959323 + (3140407940596881078998593902*rr)/49468675242891431375922959323)*U1^2 + (204958222183307329485829686833/395749401943131451007383674584 + (29732650584684702938251028221*rr)/395749401943131451007383674584)*U0* U2 + (-70319109110470548821277824853/197874700971565725503691837292 + (74814203344341332596913618877*rr)/197874700971565725503691837292)*U1* U2 + (-3172792561289262121478612815/197874700971565725503691837292 + (13754681000670749478818693879*rr)/197874700971565725503691837292)*U2^2 + (2562361746176826284978757531/49468675242891431375922959323 + (11295946276930359630014687430*rr)/49468675242891431375922959323)*U0*U3 + (-460192503444455072772651349323/395749401943131451007383674584 - (93440822118659597402088293543*rr)/395749401943131451007383674584)*U1* U3 + (100388277724781361430908986759/395749401943131451007383674584 + (46576886076271037925553890853*rr)/395749401943131451007383674584)*U2* U3 + (-186982239293273634715794559371/395749401943131451007383674584 - (88982837917091293462223999211*rr)/395749401943131451007383674584)*U0* U4 + (99847970198164601064853501439/49468675242891431375922959323 - (16217905186315772470215944272*rr)/49468675242891431375922959323)*U1*U4 + (-4024327664131205795604401597/49468675242891431375922959323 - (22323054822919752335639567613*rr)/49468675242891431375922959323)*U2*U4 + U4^2 + (170002441539094768288679773921/197874700971565725503691837292 + (13025120944245821958591042817*rr)/197874700971565725503691837292)*U0* U5 + (15636922305112940827069500867/197874700971565725503691837292 + (9932909497399071102432963101*rr)/197874700971565725503691837292)*U1*U5 + (39541747828899613825852549571/49468675242891431375922959323 + (1328858087520167574919759884*rr)/49468675242891431375922959323)*U2*U5 + (16980082744789252296857642305/49468675242891431375922959323 + (1031277924778039549470044689*rr)/49468675242891431375922959323)*U0*U6 + (-89852206065839747806428157051/98937350485782862751845918646 - (21894775349504582075087456831*rr)/98937350485782862751845918646)*U1*U6 + (11016671511307874287800404713/49468675242891431375922959323 - (2645721198050878676615833772*rr)/49468675242891431375922959323)*U2*U6 + (-83372989896516210171516974515/395749401943131451007383674584 - (19534297184356902591339178845*rr)/395749401943131451007383674584)*U0* U7 + (235026583434239789666071926983/395749401943131451007383674584 - (6302064091757316487999023513*rr)/395749401943131451007383674584)*U1*U7 + (16888799818599897853218082995/197874700971565725503691837292 - (22908302850427926346998310131*rr)/197874700971565725503691837292)*U2* U7 + (26800708044119307278859962179/395749401943131451007383674584 - (5354759873321593848506310935*rr)/395749401943131451007383674584)*U0*U8 + (65767727703106724960925380627/197874700971565725503691837292 + (1539713613694255316429051131*rr)/197874700971565725503691837292)*U1*U8 + (71337398029177431028996065021/395749401943131451007383674584 + (9655145355873133891752452781*rr)/395749401943131451007383674584)*U0*U9 + (-24000091774927279699530675021/197874700971565725503691837292 - (29531129888533668666136798375*rr)/197874700971565725503691837292)*U1* U9 + (58191899893530461462434123473/197874700971565725503691837292 + (19530466571510166684633016053*rr)/197874700971565725503691837292)*U2* U9 + (-21066697944348105854968927303/98937350485782862751845918646 + (6073430782685975532071231645*rr)/98937350485782862751845918646)*U3*U9 + (-97478774333298960472555203575/197874700971565725503691837292 + (376726603620420022673732347*rr)/197874700971565725503691837292)*U4*U9 + (12669534048526127402171163693/197874700971565725503691837292 - (24574065681466947499630759397*rr)/197874700971565725503691837292)*U5* U9 + (9915165949382087712740926968/49468675242891431375922959323 + (2179223237685226777961337912*rr)/49468675242891431375922959323)*U6*U9 + (22820647048916643541881034401/197874700971565725503691837292 + (8182301369381996829244231337*rr)/197874700971565725503691837292)*U8*U9 + (591491925653794471410672867/4301623934164472293558518202 - (141327619475972997056188107*rr)/2150811967082236146779259101)*U9^2, (-960271173776920668165512147927/4353243421374445961081220420424 - (15601648613197609761020245853913*rr)/30472703949621121727568542942968)* U0^2 + (851933924246579123101228949711/1088310855343611490270305105106 + (1416099352227636431915901001317*rr)/3809087993702640215946067867871)*U0* U1 + (24009880953240939891589224937/197874700971565725503691837292 - (79944906459744538800795741831*rr)/1385122906800960078525842861044)* U1^2 + (4704770549121177616802573300989/2176621710687222980540610210212 + (5200065902644379938078910913885*rr)/15236351974810560863784271471484)*U0* U2 + (-11002934623103403947823715623725/4353243421374445961081220420424 + (400504814997866285940605363913*rr)/4353243421374445961081220420424)*U1* U2 + (-547757662876057043703236226007/4353243421374445961081220420424 + (25397525395166324040204603190941*rr)/30472703949621121727568542942968)* U2^2 + (-182279106141414494004654015961/1088310855343611490270305105106 + (6610986539893547819840177722231*rr)/7618175987405280431892135735742)*U0* U3 + (-1016958457202218973052875575281/1088310855343611490270305105106 - (6765339088452332610360428432609*rr)/7618175987405280431892135735742)*U1* U3 + (-16931889485793452700485009133243/8706486842748891922162440840848 + (24707812831616686518760466957513*rr)/60945407899242243455137085885936)* U2*U3 + (-14683141513054638078126972897431/ 4353243421374445961081220420424 + (4828834020275326931363236558693*rr)/ 30472703949621121727568542942968)*U0*U4 + (13291735883548228861184229225925/2176621710687222980540610210212 + (343973137758578992322739365815*rr)/2176621710687222980540610210212)*U1* U4 + (84142382832531976649229901621/98937350485782862751845918646 - (1756130344896001339747703545935*rr)/692561453400480039262921430522)*U2* U4 + (3853896016056222781139455154147/2176621710687222980540610210212 - (2837139705624567652250779026733*rr)/15236351974810560863784271471484)*U0* U5 + (-11003123746655351211613603378877/4353243421374445961081220420424 + (1451260970800750821614322232095*rr)/30472703949621121727568542942968)*U1* U5 + (627674076685825957075072440441/1088310855343611490270305105106 + (2570914729979457946322409024129*rr)/7618175987405280431892135735742)*U2* U5 + (617715276494822770273181496299/544155427671805745135152552553 + (457046157270650832562013501763*rr)/544155427671805745135152552553)*U0* U6 + (-74877976627698058802698357585/49468675242891431375922959323 - (368902683969441233944998937857*rr)/346280726700240019631460715261)*U1* U6 + (2137768371351044830747980009997/2176621710687222980540610210212 + (4391698141214048671128577923057*rr)/15236351974810560863784271471484)*U2* U6 + (-182875980716749980193807870161/791498803886262902014767349168 - (457260527512182085489089688677*rr)/5540491627203840314103371444176)*U0* U7 + (1356879503820130481768179557705/4353243421374445961081220420424 + (781126254406823375029452802081*rr)/30472703949621121727568542942968)*U1* U7 + (2359715797844047936424486908219/4353243421374445961081220420424 - (9871946530160800619869404244761*rr)/30472703949621121727568542942968)*U2* U7 + (-49305312762655058253383154495/98937350485782862751845918646 - (89481832758151809373306248743*rr)/692561453400480039262921430522)*U0* U8 + (166730190386653973213245812025/197874700971565725503691837292 + (30217715782471548871332846321*rr)/1385122906800960078525842861044)*U1* U8 + U3*U8 + (-928639917346897662366110071943/ 4353243421374445961081220420424 + (1324416947495646041451609290105*rr)/ 30472703949621121727568542942968)*U0*U9 + (-2034566267671338292027660812599/4353243421374445961081220420424 - (10878002258752761542129754116835*rr)/30472703949621121727568542942968)* U1*U9 + (2316281268967780353415667823655/1088310855343611490270305105106 + (1275946544388129629171474621603*rr)/7618175987405280431892135735742)*U2* U9 + (381585332224222331296027128323/544155427671805745135152552553 + (1432309425410824887851240913687*rr)/3809087993702640215946067867871)*U3* U9 + (-11717997782689291411257392213679/4353243421374445961081220420424 - (23297795260915342960683508091539*rr)/30472703949621121727568542942968)* U4*U9 + (-1814913947566830334233408172233/ 4353243421374445961081220420424 - (3464578194045112273609840063659*rr)/ 4353243421374445961081220420424)*U5*U9 + (1437799187567293489390556081675/1088310855343611490270305105106 - (893982671057174535929928758185*rr)/7618175987405280431892135735742)*U6* U9 + (1362010035107781916775419099113/4353243421374445961081220420424 - (4431992340281208137275779937379*rr)/30472703949621121727568542942968)*U8* U9 + (19184777950426638273222132234/23658931637904597614571850111 - (36433014539519801740208532996*rr)/165612521465332183302002950777)*U9^2, (28730029552941805354091983751317/58570911487583454749092783838432 - (140327079003042552216682302141689*rr)/409996380413084183243649486869024)* U0^2 + (-1525820403270165565000195706651/ 29285455743791727374546391919216 + (39607651115194617886765727754967*rr)/ 204998190206542091621824743434512)*U0*U1 + (-852084150292868887473394836496/1830340983986982960909149494951 - (16674378666127095556548658901*rr)/12812386887908880726364046464657)* U1^2 + (8849023790540065653094790892987/7321363935947931843636597979804 + (13771552283623553784393777209177*rr)/51249547551635522905456185858628)* U0*U2 + (-2065649991730138601714489710826/ 1830340983986982960909149494951 + (1090204342489862519990763892935*rr)/ 3660681967973965921818298989902)*U1*U2 + (-12015288142357372170041399468123/7321363935947931843636597979804 + (57765100348871052514499794780669*rr)/51249547551635522905456185858628)* U2^2 + (-4136039120637416109461963133745/3660681967973965921818298989902 + (9112356155334538895305066102719*rr)/25624773775817761452728092929314)*U0* U3 + (1748321255430732206818249377289/7321363935947931843636597979804 - (54156373476868362203028782057949*rr)/51249547551635522905456185858628)* U1*U3 + (-15699073730106990865376076809717/ 14642727871895863687273195959608 + (61327749995523536596431342635399*rr)/ 102499095103271045810912371717256)*U2*U3 + (-12174923735792749074980451278955/7321363935947931843636597979804 - (64546509333672085836586356580179*rr)/51249547551635522905456185858628)* U0*U4 + (28766683687385622996866920951959/ 7321363935947931843636597979804 + (7018561090913328858625509438303*rr)/ 7321363935947931843636597979804)*U1*U4 + (18941033529235058968313032562389/3660681967973965921818298989902 - (51796081770274339685658693873453*rr)/25624773775817761452728092929314)* U2*U4 + (6996096521724688117319627902069/ 14642727871895863687273195959608 + (107587081139374186608361232468415*rr)/102499095103271045810912371717256)* U0*U5 + (-6038650062356994967514580636141/ 7321363935947931843636597979804 - (40384842521468335304167491296317*rr)/ 51249547551635522905456185858628)*U1*U5 + (9805069586346313417114603857533/7321363935947931843636597979804 + (58091780178732172397231335390351*rr)/51249547551635522905456185858628)* U2*U5 + (-1752773691487792347676056596585/ 3660681967973965921818298989902 + (1940182622005676533213671500823*rr)/ 3660681967973965921818298989902)*U0*U6 + (1350156733643886525620230503564/1830340983986982960909149494951 - (1205641568475800065581973197184*rr)/12812386887908880726364046464657)*U1* U6 + (-2130716037681188376734976029733/1830340983986982960909149494951 - (3899325256710355428937273649028*rr)/12812386887908880726364046464657)*U2* U6 + (-11393385945446788352835347549075/14642727871895863687273195959608 - (36719189347146944217074189665995*rr)/102499095103271045810912371717256)* U0*U7 + (28743896129047497885750646781535/ 29285455743791727374546391919216 + (75740858389384360036054292177661*rr)/ 204998190206542091621824743434512)*U1*U7 + (6071122617097188898133259286989/7321363935947931843636597979804 - (24113139087605417331565348175031*rr)/51249547551635522905456185858628)* U2*U7 + U3*U7 + (-23969379603685768637847018583/ 14642727871895863687273195959608 + (8288740978921501492438994359699*rr)/ 102499095103271045810912371717256)*U0*U8 + (275335523938760218286416283973/14642727871895863687273195959608 + (2727525626393602329822089777455*rr)/102499095103271045810912371717256)* U1*U8 + (8300979921416302799879888327149/ 29285455743791727374546391919216 + (100660227211031222639614052325103*rr)/204998190206542091621824743434512)* U0*U9 + (6796591903293124916565524305409/7321363935947931843636597979804 - (12263923773008166647171205397587*rr)/51249547551635522905456185858628)* U1*U9 + (-9785815773751808147523309057439/ 14642727871895863687273195959608 + (59633359115237190741512735880851*rr)/ 102499095103271045810912371717256)*U2*U9 + (-2313412648115630709202099804992/1830340983986982960909149494951 - (1713765229690787459991616762991*rr)/12812386887908880726364046464657)*U3* U9 + (-1750456841397432826619234632539/7321363935947931843636597979804 - (38574715088526821314898905351295*rr)/51249547551635522905456185858628)* U4*U9 + (599677268289777184906410674593/3660681967973965921818298989902 + (888313372241034478091448183175*rr)/1830340983986982960909149494951)*U5* U9 + (1024729351813035588932146242195/1830340983986982960909149494951 + (2773114079776828762555420813523*rr)/12812386887908880726364046464657)*U6* U9 + (884855388870171002776143357689/14642727871895863687273195959608 + (12349614898444434710806081271203*rr)/102499095103271045810912371717256)* U8*U9 + (7568022606038240928795024015/8603247868328944587117036404 - (2704281001318846262545269463*rr)/60222735078302612109819254828)*U9^2, (13900013076245516221417317211/49468675242891431375922959323 - (35080336486305137475119354878*rr)/346280726700240019631460715261)*U0^2 + (51206145262999020317397205467/395749401943131451007383674584 + (359483884691564414453735447089*rr)/2770245813601920157051685722088)*U0* U1 + (-3197230172660593002877372215/197874700971565725503691837292 - (58823784110265038603979939557*rr)/1385122906800960078525842861044)* U1^2 + (368121210783900298004652562767/791498803886262902014767349168 + (2205896553303891974132371663501*rr)/5540491627203840314103371444176)*U0* U2 + (-26640185446775310374918586480/49468675242891431375922959323 - (8219325139497670533416895909*rr)/49468675242891431375922959323)*U1*U2 + (-95304917482303381468177347735/197874700971565725503691837292 + (3550270065893958850144301015*rr)/1385122906800960078525842861044)*U2^2 + (-199014649603275814740898579663/395749401943131451007383674584 + (522148511097084788785691032935*rr)/2770245813601920157051685722088)*U0* U3 + (85643849377616146007979388377/197874700971565725503691837292 - (288032293752504334128207358277*rr)/1385122906800960078525842861044)*U1* U3 + (-175850525368216871935440337251/197874700971565725503691837292 - (154017390516392757027784030679*rr)/1385122906800960078525842861044)*U2* U3 + (-681156287378623924837983291333/791498803886262902014767349168 - (2060115300190847332064597777911*rr)/5540491627203840314103371444176)*U0* U4 + (212078741345632725457787147479/197874700971565725503691837292 + (102987808906807519279661868123*rr)/197874700971565725503691837292)*U1* U4 + (129730814562560890303206680841/98937350485782862751845918646 - (166587543471289998953013771661*rr)/692561453400480039262921430522)*U2* U4 + (106944961028511666240187239489/197874700971565725503691837292 - (163785935015677558867071002121*rr)/1385122906800960078525842861044)*U0* U5 + (-38688767184377105807785810755/197874700971565725503691837292 - (199266060539539693222011233285*rr)/1385122906800960078525842861044)*U1* U5 + (-70820400525470933200936544731/197874700971565725503691837292 - (77991183175751546064850278493*rr)/1385122906800960078525842861044)*U2* U5 + (-144329088581270134131895682645/197874700971565725503691837292 + (43084397587071422236389718623*rr)/197874700971565725503691837292)*U0* U6 + (-39737743474645903832058728427/197874700971565725503691837292 - (605165913447167699113061309465*rr)/1385122906800960078525842861044)*U1* U6 + (41414897308904829233078810785/49468675242891431375922959323 + (6606626329468632397815278209*rr)/346280726700240019631460715261)*U2*U6 + U3*U6 + (7232839473033438891237021657/49468675242891431375922959323 - (13280982813810160676881394869*rr)/346280726700240019631460715261)*U0* U7 + (-160850990944318390430370886781/791498803886262902014767349168 + (55948496278740766342739643729*rr)/5540491627203840314103371444176)*U1* U7 + (76417187184023775213661920159/197874700971565725503691837292 + (63644268125863731545338241661*rr)/1385122906800960078525842861044)*U2* U7 + (6327981986991830483474826911/791498803886262902014767349168 - (893206046031709367427764489659*rr)/5540491627203840314103371444176)*U0* U8 + (115608223571921050014485697583/395749401943131451007383674584 + (207192828663294769693955994453*rr)/2770245813601920157051685722088)*U1* U8 + (-12611964380996033139279576755/98937350485782862751845918646 - (12155075306636886352878170424*rr)/346280726700240019631460715261)*U0* U9 + (-37743842639688049951409802041/197874700971565725503691837292 - (221184833372359784245075218197*rr)/1385122906800960078525842861044)*U1* U9 + (108142324101490402445781716077/395749401943131451007383674584 - (41883437182056373144846790511*rr)/2770245813601920157051685722088)*U2* U9 + (207234251417065495611075435003/395749401943131451007383674584 + (265710490262345192298724379077*rr)/2770245813601920157051685722088)*U3* U9 + (-15553820328699915405675773587/49468675242891431375922959323 - (35604254614296091020883846836*rr)/346280726700240019631460715261)*U4* U9 + (20347277854726815626787025251/197874700971565725503691837292 - (49044553204003215937286866587*rr)/197874700971565725503691837292)*U5* U9 + (13791518274784432825261794295/49468675242891431375922959323 - (12911996300920749830849540582*rr)/346280726700240019631460715261)*U6* U9 + (44378056762427057516846740055/395749401943131451007383674584 + (8027795602200294592947054329*rr)/2770245813601920157051685722088)*U8* U9 + (2998168815333609284968069373/17206495736657889174234072808 + (1483138397671059517460258485*rr)/120445470156605224219638509656)*U9^2, (-2298171540486833267975625610453/7321363935947931843636597979804 + (4731083552455782096943644480493*rr)/51249547551635522905456185858628)* U0^2 + (472472785223847539902395810341/14642727871895863687273195959608 - (15505124911161018713499724887681*rr)/102499095103271045810912371717256)* U0*U1 + (1099762510711558471975596390377/3660681967973965921818298989902 - (2449088471099173851676228596435*rr)/25624773775817761452728092929314)* U1^2 + (-324430931438150113231009057039/14642727871895863687273195959608 - (15084466055965907482739795187213*rr)/102499095103271045810912371717256)* U0*U2 + (5085169700277979450917680918191/7321363935947931843636597979804 + (244023095300333034674803341709*rr)/7321363935947931843636597979804)*U1* U2 + (1495475207663339794326100849149/7321363935947931843636597979804 - (23302828034236391004467305714703*rr)/51249547551635522905456185858628)* U2^2 + (11328737279067828982508139488041/ 14642727871895863687273195959608 - (17275598920732489092385163459077*rr)/ 102499095103271045810912371717256)*U0*U3 + (-777660436015548887472160658254/1830340983986982960909149494951 + (6689440286457948825267459794409*rr)/12812386887908880726364046464657)*U1* U3 + (4906224057326145613969359819227/14642727871895863687273195959608 - (27149077167409725158553560066845*rr)/102499095103271045810912371717256)* U2*U3 + (4740305547875067533481023179877/ 14642727871895863687273195959608 + (73418213987143504901726752340891*rr)/ 102499095103271045810912371717256)*U0*U4 + (-5152006140684409443397933841216/1830340983986982960909149494951 - (1322368852944364088216692029113*rr)/1830340983986982960909149494951)*U1* U4 + (-17050371947882927536361711227809/7321363935947931843636597979804 + (39777336885435727384100448025605*rr)/51249547551635522905456185858628)* U2*U4 + (-2061316561404094996266555067449/ 1830340983986982960909149494951 - (7650521697926445195648827882256*rr)/ 12812386887908880726364046464657)*U0*U5 + (5048255371827915942089060615193/7321363935947931843636597979804 + (3283422654328473851308566468449*rr)/51249547551635522905456185858628)*U1* U5 + (-2410466699783081676756958090644/1830340983986982960909149494951 - (8070660839262768735101474175529*rr)/12812386887908880726364046464657)*U2* U5 + U3*U5 + (561079982956310908388784492179/ 3660681967973965921818298989902 - (812489593059505686448350747777*rr)/ 3660681967973965921818298989902)*U0*U6 + (-3113011477482052947968531167095/3660681967973965921818298989902 + (12582558527055600844382348642035*rr)/25624773775817761452728092929314)* U1*U6 + (2484143633189940739143269366889/3660681967973965921818298989902 - (132642720396634404781655088135*rr)/25624773775817761452728092929314)*U2* U6 + (4025623270900906149127402220519/14642727871895863687273195959608 + (17739736508755866942843941624335*rr)/102499095103271045810912371717256)* U0*U7 + (-10522410348533485253269954256481/ 14642727871895863687273195959608 - (22002351510982940190844067575039*rr)/ 102499095103271045810912371717256)*U1*U7 + (-39670602493569601144966551105/98937350485782862751845918646 + (30810524153153183263957389940*rr)/346280726700240019631460715261)*U2* U7 + (-5508824387097004365424073939343/14642727871895863687273195959608 + (1071629444915152218582682846507*rr)/102499095103271045810912371717256)* U0*U8 + (75993743419131692547342984639/1830340983986982960909149494951 - (2308176834820706774538403525098*rr)/12812386887908880726364046464657)*U1* U8 + (70867906952423951446370670687/1830340983986982960909149494951 - (4532057392743784302221332913057*rr)/25624773775817761452728092929314)*U0* U9 + (-1705300405197450808069267148055/3660681967973965921818298989902 + (1703451948822594940418647571168*rr)/12812386887908880726364046464657)*U1* U9 + (2436933727842034391489588866227/7321363935947931843636597979804 - (1826736286393214173184341961765*rr)/51249547551635522905456185858628)*U2* U9 + (283557509594596469216422800777/1830340983986982960909149494951 + (1986963391283085555229647961727*rr)/25624773775817761452728092929314)*U3* U9 + (-228330356426194283735727523563/7321363935947931843636597979804 - (4197386904052646938157678602599*rr)/51249547551635522905456185858628)*U4* U9 + (10797765433597287763856892403/197874700971565725503691837292 + (1757078800841570087529152801*rr)/197874700971565725503691837292)*U5*U9 + (-2435312726501917508171643738323/7321363935947931843636597979804 - (6937628391794574257972013779573*rr)/51249547551635522905456185858628)*U6* U9 + (4771318540780549578818631842229/29285455743791727374546391919216 - (13764562622566546165937792587465*rr)/204998190206542091621824743434512)* U8*U9 + (-3196264166726706191755144147/17206495736657889174234072808 - (1077409674532370211241321277*rr)/120445470156605224219638509656)*U9^2, (-705060097544634593877040161113/6331990431090103216118138793344 + (8355028444949852457414719004653*rr)/44323933017630722512826971553408)* U0^2 + (-195993490196052901292268730173/3165995215545051608059069396672 - (3334618480630449292440190567199*rr)/22161966508815361256413485776704)*U0* U1 + (-18790615542369810529820351661/197874700971565725503691837292 + (66279373003019402168207642261*rr)/1385122906800960078525842861044)* U1^2 + (-1000611855913866116440685682573/1582997607772525804029534698336 - (1758947157562842359159697365167*rr)/11080983254407680628206742888352)*U0* U2 + (786712161097890720730970525801/791498803886262902014767349168 - (91512260945849555079827596819*rr)/791498803886262902014767349168)*U1* U2 + (149237950186067274397701904207/395749401943131451007383674584 - (582189364187018184562428819767*rr)/2770245813601920157051685722088)* U2^2 + (493595188035349895136983209363/1582997607772525804029534698336 - (2312410488013660105732622254703*rr)/11080983254407680628206742888352)*U0* U3 + (149692498735524798998022492999/791498803886262902014767349168 + (3134288781444056554144187560349*rr)/5540491627203840314103371444176)*U1* U3 + (41119905299700898264584871109/197874700971565725503691837292 - (75998230507883387130946114640*rr)/346280726700240019631460715261)*U2* U3 + (489338215933130265077786318861/791498803886262902014767349168 + (792772014819302643550234088631*rr)/5540491627203840314103371444176)*U0* U4 + (-1562647653847048126524544726385/791498803886262902014767349168 - (164650392218890265898157171357*rr)/791498803886262902014767349168)*U1* U4 + (-262178981476386439422746072969/197874700971565725503691837292 + (913733441500385471730671882805*rr)/1385122906800960078525842861044)*U2* U4 + U3*U4 + (-190053705355314767097837774641/ 1582997607772525804029534698336 - (2349910910255099251475989148635*rr)/ 11080983254407680628206742888352)*U0*U5 + (77062131312598355421757906023/197874700971565725503691837292 + (204564472199610274888832055147*rr)/1385122906800960078525842861044)*U1* U5 + (-222708643488657639660070028653/791498803886262902014767349168 - (1466671697876252799581404047327*rr)/5540491627203840314103371444176)*U2* U5 + (-49587492847431281628801374897/395749401943131451007383674584 - (145774408976171286405152941429*rr)/395749401943131451007383674584)*U0* U6 + (100678572309486870195271458543/197874700971565725503691837292 + (396747964615363523339176722309*rr)/1385122906800960078525842861044)*U1* U6 + (-101537676611040043978004836491/395749401943131451007383674584 - (81099722224643332211919007553*rr)/2770245813601920157051685722088)*U2* U6 + (171646234437090201537357810019/1582997607772525804029534698336 + (1260574288882205945172737212009*rr)/11080983254407680628206742888352)*U0* U7 + (-628845627292133286181893717187/3165995215545051608059069396672 - (3372797607787471928485398208449*rr)/22161966508815361256413485776704)*U1* U7 + (-48881077580772693801039069267/197874700971565725503691837292 + (164620257601960042612582107981*rr)/1385122906800960078525842861044)*U2* U7 + (436347338902393918447879007379/1582997607772525804029534698336 - (95588248170238464514047724143*rr)/11080983254407680628206742888352)*U0* U8 + (-348661273603938947174510720333/1582997607772525804029534698336 - (123559964450652347838289593967*rr)/11080983254407680628206742888352)*U1* U8 + (129928268792137086472497876207/3165995215545051608059069396672 - (2758017832309274453633349433147*rr)/22161966508815361256413485776704)*U0* U9 + (-33944252409161303151030489035/197874700971565725503691837292 + (113254174181345690658341130315*rr)/1385122906800960078525842861044)*U1* U9 + (232452553209886298992035034475/1582997607772525804029534698336 - (2023232079872585916663744980967*rr)/11080983254407680628206742888352)*U2* U9 + (123701114829562116229030757013/395749401943131451007383674584 + (238260934967631981256272587567*rr)/2770245813601920157051685722088)*U3* U9 + (-16823106463805936760013474811/395749401943131451007383674584 + (989623258894858693921948505307*rr)/2770245813601920157051685722088)*U4* U9 + (132666212086342602112749446161/791498803886262902014767349168 - (62559334308568802593639317019*rr)/791498803886262902014767349168)*U5* U9 + (-42719973105725670981361826513/197874700971565725503691837292 - (84939218749528300416989779607*rr)/1385122906800960078525842861044)*U6* U9 + (-36421138827373211991572587139/791498803886262902014767349168 - (456270129428029924678049649433*rr)/5540491627203840314103371444176)*U8* U9 + (-23466717082263230313928308955/68825982946631556696936291232 - (1506896255610249879984652489*rr)/481781880626420896878554038624)*U9^2, (-116667280842263809538819983629/197874700971565725503691837292 - (131153099553198148075070972935*rr)/1385122906800960078525842861044)* U0^2 + (267119525591913563170253044031/395749401943131451007383674584 - (389786631423201798522503125515*rr)/2770245813601920157051685722088)*U0* U1 + (7226218977975556631163240581/98937350485782862751845918646 + (52719037406303288477891398729*rr)/692561453400480039262921430522)*U1^2 + (53197627386275253364781437571/49468675242891431375922959323 - (119679754838701626950737004333*rr)/346280726700240019631460715261)*U0* U2 + (138839715270737905825307007883/197874700971565725503691837292 + (80164889144775810995616174305*rr)/197874700971565725503691837292)*U1* U2 + (136168429823484058958970992745/197874700971565725503691837292 + (649647894240805190440375135245*rr)/1385122906800960078525842861044)* U2^2 + (27123723492284094420703781260/49468675242891431375922959323 + (80110549586145950605968586822*rr)/346280726700240019631460715261)*U0* U3 + (-145551847552257466326940944783/98937350485782862751845918646 + (59672905591735341561028763149*rr)/692561453400480039262921430522)*U1* U3 + (247719303871745211614203820901/395749401943131451007383674584 + (626725629970571154036069715913*rr)/2770245813601920157051685722088)*U2* U3 + U3^2 + (-479594374064258508797382607145/ 197874700971565725503691837292 + (503405446505004960717723975727*rr)/ 1385122906800960078525842861044)*U0*U4 + (101002629280447170883325260189/98937350485782862751845918646 - (140398150979180577546497882001*rr)/98937350485782862751845918646)*U1* U4 + (-153996520973723740888360444153/98937350485782862751845918646 - (794450404901615991577966283403*rr)/692561453400480039262921430522)*U2* U4 + (30284525838904372833688596711/98937350485782862751845918646 - (258138627181552295753715293753*rr)/692561453400480039262921430522)*U0* U5 + (-122545576982068532773874677077/197874700971565725503691837292 + (14338764162899217594381332423*rr)/1385122906800960078525842861044)*U1* U5 + (78476600451256497925601001441/98937350485782862751845918646 - (168244872210321922900131211539*rr)/692561453400480039262921430522)*U2* U5 + (37664117807220922997903021506/49468675242891431375922959323 + (3609718146745824013205551746*rr)/49468675242891431375922959323)*U0*U6 + (-69608152776078289278869693864/49468675242891431375922959323 + (158765292743118715009063784512*rr)/346280726700240019631460715261)*U1* U6 + (-76853009365755921791903184465/98937350485782862751845918646 - (221842114135027462705995338901*rr)/692561453400480039262921430522)*U2* U6 + (-167343390651952459867562015331/395749401943131451007383674584 + (87925220485811176520433112609*rr)/2770245813601920157051685722088)*U0* U7 + (60190756874113821805413818149/197874700971565725503691837292 - (447527837090993366086899058059*rr)/1385122906800960078525842861044)*U1* U7 + (-89736753855246629844393470647/197874700971565725503691837292 - (479254359089891153152332615511*rr)/1385122906800960078525842861044)*U2* U7 + (-33847382899683555817462705651/98937350485782862751845918646 - (28445852016773212647556204817*rr)/692561453400480039262921430522)*U0* U8 + (13308495664897226037110572030/49468675242891431375922959323 - (89634175958172092507513417713*rr)/346280726700240019631460715261)*U1* U8 + (14270403390993465651148958899/98937350485782862751845918646 - (23911184470215536166822405195*rr)/692561453400480039262921430522)*U0* U9 + (-96573066014686982143930591743/197874700971565725503691837292 - (15446975285447161914475027287*rr)/1385122906800960078525842861044)*U1* U9 + (32470301649818160899942940890/49468675242891431375922959323 - (44074234499904478829295823768*rr)/346280726700240019631460715261)*U2* U9 + (30450000829354054187425488457/98937350485782862751845918646 + (113973065767627125340730065893*rr)/692561453400480039262921430522)*U3* U9 + (-191004372741152950729347196935/197874700971565725503691837292 + (188994731940369856345439363501*rr)/1385122906800960078525842861044)*U4* U9 + (-352381885955244448761985973519/197874700971565725503691837292 - (29980772881396256934486224973*rr)/197874700971565725503691837292)*U5* U9 + (46463333265557853151390121895/98937350485782862751845918646 - (74280970796046784631084884109*rr)/692561453400480039262921430522)*U6* U9 + (-34837847917681815877738298599/98937350485782862751845918646 - (52878912268136170745162865580*rr)/346280726700240019631460715261)*U8* U9 + (-73849099667213522762710377/2150811967082236146779259101 - (2582108742265308234184539225*rr)/15055683769575653027454813707)*U9^2, (154470435404978420731725296337/197874700971565725503691837292 + (384372898567199885782930586519*rr)/1385122906800960078525842861044)* U0^2 + (-135010231456080671345431903905/98937350485782862751845918646 + (55493050997405202014662500215*rr)/692561453400480039262921430522)*U0* U1 + (70058353622061106331066123487/98937350485782862751845918646 + (15490995353644222069134634431*rr)/692561453400480039262921430522)*U1^2 + (-516337724056894350538749832543/197874700971565725503691837292 + (731391793039109733766428292955*rr)/1385122906800960078525842861044)*U0* U2 + (14634822572903814892315528995/197874700971565725503691837292 - (116180701376018465770412425703*rr)/197874700971565725503691837292)*U1* U2 + (15583877131962007125614976495/197874700971565725503691837292 - (972105262112260556148861970541*rr)/1385122906800960078525842861044)* U2^2 + (-49752467853375958483017597970/49468675242891431375922959323 - (177437684813356235376774793977*rr)/346280726700240019631460715261)*U0* U3 + (82544162302792697981287665501/49468675242891431375922959323 + (47545420406078446456678977723*rr)/346280726700240019631460715261)*U1* U3 + (128198543482858255822603159229/395749401943131451007383674584 - (2294855897189932064633401814175*rr)/2770245813601920157051685722088)*U2* U3 + (292891060263653135532762419137/98937350485782862751845918646 - (94723993460199718848157139394*rr)/346280726700240019631460715261)*U0* U4 + (-383682711144681835269996921697/98937350485782862751845918646 + (113729276594154037478856031729*rr)/98937350485782862751845918646)*U1* U4 + (61504161936193150740920686308/49468675242891431375922959323 + (598236216168842836247291728704*rr)/346280726700240019631460715261)*U2* U4 + (6600900394583126440025929081/98937350485782862751845918646 + (168733738089414168628769016325*rr)/692561453400480039262921430522)*U0* U5 + (219528805935929491174560619535/197874700971565725503691837292 + (285026393555766508531570793939*rr)/1385122906800960078525842861044)*U1* U5 + (30270900266093235500789140785/49468675242891431375922959323 - (50963369143822967400753925617*rr)/346280726700240019631460715261)*U2* U5 + (-81515099196172777045387741373/49468675242891431375922959323 - (25503741463605823647416411725*rr)/49468675242891431375922959323)*U0*U6 + (120703106364850583346292970141/49468675242891431375922959323 - (228439900725806406990234266013*rr)/346280726700240019631460715261)*U1* U6 + (21366932847798914275209160973/98937350485782862751845918646 + (618194557049974598400844664465*rr)/692561453400480039262921430522)*U2* U6 + (199967858692886521662176417205/395749401943131451007383674584 + (443422847004687162059979903369*rr)/2770245813601920157051685722088)*U0* U7 + (-71733164452551765865427453907/98937350485782862751845918646 + (49691876375254224004838838016*rr)/346280726700240019631460715261)*U1* U7 + (8802940889144814410745147177/197874700971565725503691837292 + (623834684767634316428435678661*rr)/1385122906800960078525842861044)*U2* U7 + (113870393452937583779564937129/197874700971565725503691837292 - (19384778444349643103360757109*rr)/1385122906800960078525842861044)*U0* U8 + (-14851212161554446867327344943/49468675242891431375922959323 + (119268117620343245415394315288*rr)/346280726700240019631460715261)*U1* U8 + U2*U8 + (49854736613339385052388663353/ 197874700971565725503691837292 - (243839901278543444461504828479*rr)/ 1385122906800960078525842861044)*U0*U9 + (196314677807563537835551956427/197874700971565725503691837292 + (8189026354458163448729550935*rr)/1385122906800960078525842861044)*U1* U9 + (-14948519071116923788715250317/49468675242891431375922959323 + (120349970143942211805418414047*rr)/346280726700240019631460715261)*U2* U9 + (-40125075582772410920545355218/49468675242891431375922959323 - (29715881564914371094173709357*rr)/346280726700240019631460715261)*U3* U9 + (315486393844023699162376831553/197874700971565725503691837292 - (334552919224991499425495064859*rr)/1385122906800960078525842861044)*U4* U9 + (365750445366499953323626145595/197874700971565725503691837292 + (7536351907009504140710144529*rr)/197874700971565725503691837292)*U5*U9 + (-10932853783277677190037703632/49468675242891431375922959323 + (46442048348501704130567488732*rr)/346280726700240019631460715261)*U6* U9 + (-22359326829491591219889142625/197874700971565725503691837292 + (133388220304616451665781962135*rr)/1385122906800960078525842861044)*U8* U9 + (-653813042749349694566315061/4301623934164472293558518202 + (6939119286026328100414586231*rr)/30111367539151306054909627414)*U9^2 ]; Gens2 := []; Gens3 := []; for i in [1 .. # Gens1] do Gens2 := Append(Gens2, Evaluate(Gens1[i], [U0, U2, U3, U1, U5, U6, U4, U8, U9, U7])); end for; for i in [1 .. # Gens2] do Gens3 := Append(Gens3, Evaluate(Gens2[i], [U0, U2, U3, U1, U5, U6, U4, U8, U9, U7])); end for; HilbertPolynomial(I + Ideal(Gens1) + Ideal(Gens2) + Ideal(Gens3)); print "---------------------------------------------"; // We double check that 4H is indeed not basepoint free here: print "For 4H"; Gens1 := [(3/8 - rr/8)*U0^2 + U3*U6 - (U1*U7)/4 + (3/8 + rr/8)*U3*U9, -2*U1*U4 + U2*U8, (1/8 + rr/8)*U0^2 + (3/4 + rr/4)*U1*U4 + U2*U5 + (1/8 + rr/8)*U1*U7 - (U3*U9)/2, (-5/12 - rr/12)*U0*U4 + (-11/24 + rr/24)*U1*U5 + U6^2 + (1/24 - rr/24)*U0*U7 + (5/12 + rr/12)*U6*U9, U2*U3 - (2*U0*U4)/3 + (-1/2 + rr/6)*U1*U5 - (U0*U7)/3 + (2*U6*U9)/3, (-1 - rr)*U0*U4 + U1*U8, (1/4 - rr/4)*U1*U3 + U4*U7 - (U0*U8)/2, (-3/16 + rr/16)*U1*U3 + U4^2 + (5/16 + rr/16)*U0*U5 + (U0*U8)/4 + (1/8 + rr/8)*U2*U9, (3/8 - rr/8)*U1*U3 - U0*U5 + U2*U6, (21/16 + rr/16)*U0*U3 + (5/4 + rr/4)*U1*U6 + 2*U4*U8 + U7*U8 + (1/2 + rr/2)*U1*U9, U4*U5 + (1/4 - rr/4)*U1*U6 + (1/8 - rr/8)*U1*U9, U2^2 + (5/16 + rr/16)*U0*U3 + (1/4 + rr/4)*U1*U6 + (-1/4 + rr/4)*U1*U9, 2*U0*U6 + U5*U8 + U0*U9, (1/4 - rr/4)*U1*U2 + U5^2 - U0*U6 + (1/8 + rr/8)*U3*U7 + (-5/8 + rr/8)*U0*U9, (-1/4 + rr/4)*U1*U2 + U3*U4 + (1/2 - rr/2)*U0*U6 + (1/4 - rr/4)*U0*U9, (-1/4 - rr/4)*U0*U2 - U3*U5 + U6*U7 + (1/8 + rr/8)*U3*U8 + (U7*U9)/2, (U0*U2)/2 + U4*U6 + (-1/16 - rr/16)*U3*U8, U1^2 + (-1/2 - rr/2)*U0*U2, (-1/4 - rr/4)*U0*U1 + U5*U6 - (U2*U7)/4 + (1/4 + rr/4)*U5*U9 + (-1/8 + rr/8)*U8*U9, (1/2 + rr/2)*U0*U1 + U3^2 + (1/4 - rr/4)*U2*U7 + (-3/2 - rr/2)*U5*U9 + (-1/8 - (3*rr)/8)*U8*U9, (-1/8 - rr/8)*U0*U1 + U2*U4 + (-1/8 + rr/8)*U8*U9]; Gens2 := []; Gens3 := []; for i in [1 .. # Gens1] do Gens2 := Append(Gens2, Evaluate(Gens1[i], [U0, U2, U3, U1, U5, U6, U4, U8, U9, U7])); end for; for i in [1 .. # Gens2] do Gens3 := Append(Gens3, Evaluate(Gens2[i], [U0, U2, U3, U1, U5, U6, U4, U8, U9, U7])); end for; HilbertPolynomial(I + Ideal(Gens1) + Ideal(Gens2) + Ideal(Gens3));