def make_general(G):
R.<t> = PolynomialRing(QQ,1);
L=Matrix(R,G.order())
for i in range(G.order()):
L[i,i]=G.degree(i)*t
for j in G.neighbors(i):
L[i,j]=1
return L.characteristic_polynomial()
|
|
html('<!--notruncate-->')
for n in [3,4,5,6,7]:
for G in graphs.nauty_geng(str(n)+" -c"):
three = False
for x in G.automorphism_group():
if x.order() > 2:
three = True
break
if three:
G.show()
f(x,t) = make_general(G)
print f.factor()
print "=============================================="
 -(2*t - x + 2)*(2*t - x - 1)^2 ==============================================  (3*t^2 - 4*t*x + x^2 - 3)*(t - x)^2 ==============================================  (2*t - x + 2)*(2*t - x)^2*(2*t - x - 2) ==============================================  (3*t - x + 3)*(3*t - x - 1)^3 ==============================================  -(4*t^2 - 5*t*x + x^2 - 4)*(t - x)^3 ==============================================  -(6*t^2 - 5*t*x + x^2 - 6)*(3*t - x)*(2*t - x)^2 ==============================================  -(8*t^2 - 6*t*x + x^2 + 2*t - x - 6)*(4*t - x - 1)*(2*t - x)^2 ==============================================  -(8*t^2 - 6*t*x + x^2 + 4*t - x - 4)*(2*t - x + 1)*(2*t - x - 1)^2 ==============================================  -(4*t^2 - 4*t*x + x^2 - 2*t + x - 1)^2*(2*t - x + 2) ==============================================  -(12*t^3 - 19*t^2*x + 8*t*x^2 - x^3 + 8*t^2 - 10*t*x + 2*x^2 - 6*t + 4*x - 2)*(3*t - x - 1)^2 ==============================================  -(12*t^2 - 7*t*x + x^2 + 8*t - 2*x - 4)*(3*t - x)^2*(3*t - x - 2) ==============================================  -(12*t^2 - 7*t*x + x^2 + 6*t - 2*x - 6)*(4*t - x - 1)^2*(3*t - x) ==============================================  -(4*t - x + 4)*(4*t - x - 1)^4 ==============================================  (5*t^2 - 6*t*x + x^2 - 5)*(t - x)^4 ==============================================  (8*t^4 - 22*t^3*x + 21*t^2*x^2 - 8*t*x^3 + x^4 - 11*t^2 + 16*t*x - 5*x^2 + 3)*(t - x)^2 ==============================================  (10*t^3 - 17*t^2*x + 8*t*x^2 - x^3 + 5*t^2 - 6*t*x + x^2 - 8*t + 5*x - 3)*(2*t - x - 1)*(t - x)^2 ==============================================  (3*t^2 - 4*t*x + x^2 + t - x - 2)*(3*t^2 - 4*t*x + x^2 - t + x - 2)*(t - x)^2 ==============================================  (24*t^4 - 50*t^3*x + 35*t^2*x^2 - 10*t*x^3 + x^4 - 27*t^2 + 32*t*x - 7*x^2 + 3)*(2*t - x)^2 ==============================================  (40*t^4 - 78*t^3*x + 49*t^2*x^2 - 12*t*x^3 + x^4 - 37*t^2 + 42*t*x - 8*x^2 + 6*t - 6*x + 3)*(2*t - x)^2 ==============================================  (8*t^2 - 6*t*x + x^2 - 8)*(4*t - x)*(2*t - x)^3 ==============================================  (10*t^2 - 7*t*x + x^2 + 2*t - x - 8)*(5*t - x - 1)*(2*t - x)^3 ==============================================  (10*t^3 - 17*t^2*x + 8*t*x^2 - x^3 + 5*t^2 - 6*t*x + x^2 - 6*t + 5*x - 1)*(2*t - x + 1)*(2*t - x - 1)^2 ==============================================  (3*t^2 - 4*t*x + x^2 + 2*t - 2*x - 1)*(3*t^2 - 4*t*x + x^2 - t + x - 1)^2 ==============================================  (15*t^3 - 23*t^2*x + 9*t*x^2 - x^3 + 10*t^2 - 12*t*x + 2*x^2 - 9*t + 5*x - 4)*(3*t - x - 1)^2*(t - x) ==============================================  (15*t^3 - 23*t^2*x + 9*t*x^2 - x^3 + 10*t^2 - 12*t*x + 2*x^2 - 7*t + 5*x - 2)*(3*t - x)^2*(3*t - x - 2) ==============================================  (2*t - x + 2)*(2*t - x + 1)^2*(2*t - x - 1)^2*(2*t - x - 2) ==============================================  (6*t^2 - 5*t*x + x^2 + 4*t - 2*x - 2)*(6*t^2 - 5*t*x + x^2 - 4*t + 2*x - 2)*(3*t - x)^2 ==============================================  (8*t^2 - 6*t*x + x^2 + 4*t - 2*x - 4)*(8*t^2 - 6*t*x + x^2 - 2*t + x - 1)^2 ==============================================  (3*t - x + 3)*(3*t - x)^4*(3*t - x - 3) ==============================================  (36*t^3 - 33*t^2*x + 10*t*x^2 - x^3 + 9*t^2 - 6*t*x + x^2 - 30*t + 9*x - 3)*(4*t - x - 1)*(3*t - x)^2 ==============================================  (60*t^3 - 47*t^2*x + 12*t*x^2 - x^3 - 48*t + 11*x + 12)*(4*t - x)*(3*t - x)^2 ==============================================  (15*t^2 - 8*t*x + x^2 + 6*t - 2*x - 9)*(5*t - x - 1)^2*(3*t - x)^2 ==============================================  (6*t^2 - 5*t*x + x^2 + 5*t - 2*x - 1)*(6*t^2 - 5*t*x + x^2 + t - 3)*(2*t - x - 1)^2 ==============================================  (24*t^4 - 50*t^3*x + 35*t^2*x^2 - 10*t*x^3 + x^4 + 16*t^3 - 28*t^2*x + 14*t*x^2 - 2*x^3 - 21*t^2 + 20*t*x - 5*x^2 - 10*t + 4*x + 3)*(3*t - x - 1)^2 ==============================================  (30*t^3 - 31*t^2*x + 10*t*x^2 - x^3 + 35*t^2 - 22*t*x + 3*x^2 - 2*t + 3*x - 7)*(3*t - x - 1)^2*(2*t - x - 1) ==============================================  (12*t^2 - 7*t*x + x^2 + 4*t - x - 8)*(4*t - x)*(3*t - x + 1)*(3*t - x - 1)^2 ==============================================  (15*t^2 - 8*t*x + x^2 + 8*t - 2*x - 7)*(5*t - x - 1)*(3*t - x + 1)*(3*t - x - 1)^2 ==============================================  (15*t^2 - 8*t*x + x^2 + 10*t - 2*x - 5)*(9*t^2 - 6*t*x + x^2 - 3*t + x - 1)^2 ==============================================  (3*t - x + 3)*(3*t - x + 1)*(3*t - x)^2*(3*t - x - 2)^2 ==============================================  (8*t^2 - 6*t*x + x^2 + 6*t - 3*x - 2)*(8*t^2 - 6*t*x + x^2 - 2*t + x - 2)*(4*t - x - 1)^2 ==============================================  (48*t^4 - 88*t^3*x + 51*t^2*x^2 - 12*t*x^3 + x^4 + 24*t^3 - 38*t^2*x + 16*t*x^2 - 2*x^3 - 33*t^2 + 34*t*x - 7*x^2 - 6*t + 2*x + 3)*(4*t - x - 1)^2 ==============================================  (20*t^3 - 29*t^2*x + 10*t*x^2 - x^3 + 15*t^2 - 18*t*x + 3*x^2 - 8*t + 5*x - 3)*(4*t - x - 1)^3 ==============================================  (40*t^3 - 38*t^2*x + 11*t*x^2 - x^3 + 28*t^2 - 20*t*x + 3*x^2 - 16*t + 6*x - 4)*(5*t - x - 1)*(4*t - x - 1)^2 ==============================================  (60*t^3 - 47*t^2*x + 12*t*x^2 - x^3 + 39*t^2 - 22*t*x + 3*x^2 - 24*t + 7*x - 3)*(5*t - x - 1)^2*(4*t - x - 1) ==============================================  (32*t^3 - 32*t^2*x + 10*t*x^2 - x^3 + 16*t^2 - 12*t*x + 2*x^2 - 20*t + 8*x - 4)*(4*t - x)*(4*t - x - 1)^2 ==============================================  (12*t^2 - 7*t*x + x^2 + 13*t - 4*x + 1)*(12*t^2 - 7*t*x + x^2 - 7*t + 2*x - 1)*(4*t - x - 1)^2 ==============================================  (4*t - x + 4)*(4*t - x)^3*(4*t - x - 2)^2 ==============================================  (20*t^2 - 9*t*x + x^2 + 14*t - 3*x - 6)*(5*t - x - 1)*(4*t - x)^2*(4*t - x - 2) ==============================================  (20*t^2 - 9*t*x + x^2 + 12*t - 3*x - 8)*(5*t - x - 1)^3*(4*t - x) ==============================================  (5*t - x + 5)*(5*t - x - 1)^5 ==============================================  -(6*t^2 - 7*t*x + x^2 - 6)*(t - x)^5 ==============================================  -(10*t^4 - 27*t^3*x + 25*t^2*x^2 - 9*t*x^3 + x^4 - 14*t^2 + 20*t*x - 6*x^2 + 4)*(t - x)^3 ==============================================  -(12*t^3 - 20*t^2*x + 9*t*x^2 - x^3 + 6*t^2 - 7*t*x + x^2 - 10*t + 6*x - 4)*(2*t - x - 1)*(t - x)^3 ==============================================  -(16*t^5 - 52*t^4*x + 64*t^3*x^2 - 37*t^2*x^3 + 10*t*x^4 - x^5 - 26*t^3 + 52*t^2*x - 32*t*x^2 + 6*x^3 + 10*t - 7*x)*(t - x)^2 ==============================================  -(12*t^4 - 31*t^3*x + 27*t^2*x^2 - 9*t*x^3 + x^4 - 18*t^2 + 24*t*x - 6*x^2 + 6)*(t - x)^3 ==============================================  -(20*t^4 - 44*t^3*x + 33*t^2*x^2 - 10*t*x^3 + x^4 - 26*t^2 + 30*t*x - 7*x^2 + 6)*(2*t - x)*(t - x)^2 ==============================================  -(30*t^5 - 91*t^4*x + 102*t^3*x^2 - 52*t^2*x^3 + 12*t*x^4 - x^5 - 38*t^3 + 73*t^2*x - 42*t*x^2 + 7*x^3 + 2*t^2 - 4*t*x + 2*x^2 + 10*t - 7*x)*(t - x)^2 ==============================================  -(36*t^4 - 72*t^3*x + 47*t^2*x^2 - 12*t*x^3 + x^4 - 38*t^2 + 40*t*x - 8*x^2 + 4*t - 4*x + 6)*(2*t - x)*(t - x)^2 ==============================================  -(6*t^3 - 11*t^2*x + 6*t*x^2 - x^3 - 6*t + 4*x)*(3*t^2 - 4*t*x + x^2 - 2)*(t - x)^2 ==============================================  -(8*t^3 - 14*t^2*x + 7*t*x^2 - x^3 + 2*t^2 - 3*t*x + x^2 - 6*t + 4*x)*(4*t^2 - 5*t*x + x^2 - t + x - 2)*(t - x)^2 ==============================================  -(30*t^4 - 61*t^3*x + 41*t^2*x^2 - 11*t*x^3 + x^4 - 36*t^2 + 40*t*x - 8*x^2 + 6)*(2*t - x)^2*(t - x) ==============================================  -(48*t^4 - 92*t^3*x + 56*t^2*x^2 - 13*t*x^3 + x^4 - 48*t^2 + 51*t*x - 9*x^2 + 6*t - 6*x + 6)*(2*t - x)^2*(t - x) ==============================================  -(8*t^3 - 14*t^2*x + 7*t*x^2 - x^3 - 8*t + 7*x)*(4*t^2 - 5*t*x + x^2 - 1)*(2*t - x)^2 ==============================================  -(40*t^4 - 78*t^3*x + 49*t^2*x^2 - 12*t*x^3 + x^4 - 44*t^2 + 50*t*x - 9*x^2 + 4)*(2*t - x)^3 ==============================================  -(10*t^3 - 17*t^2*x + 8*t*x^2 - x^3 + 2*t^2 - 3*t*x + x^2 - 8*t + 7*x)*(5*t^2 - 6*t*x + x^2 - t + x - 1)*(2*t - x)^2 ==============================================  -(60*t^4 - 112*t^3*x + 65*t^2*x^2 - 14*t*x^3 + x^4 - 56*t^2 + 62*t*x - 10*x^2 + 8*t - 8*x + 4)*(2*t - x)^3 ==============================================  -(10*t^2 - 7*t*x + x^2 - 10)*(5*t - x)*(2*t - x)^4 ==============================================  -(12*t^2 - 8*t*x + x^2 + 2*t - x - 10)*(6*t - x - 1)*(2*t - x)^4 ==============================================  -(12*t^3 - 20*t^2*x + 9*t*x^2 - x^3 + 6*t^2 - 7*t*x + x^2 - 8*t + 6*x - 2)*(2*t - x + 1)*(2*t - x - 1)^2*(t - x) ==============================================  -(24*t^4 - 50*t^3*x + 35*t^2*x^2 - 10*t*x^3 + x^4 + 12*t^3 - 19*t^2*x + 8*t*x^2 - x^3 - 28*t^2 + 28*t*x - 6*x^2 - 10*t + 4*x + 6)*(2*t - x - 1)*(t - x)^2 ==============================================  -(30*t^4 - 61*t^3*x + 41*t^2*x^2 - 11*t*x^3 + x^4 + 10*t^3 - 17*t^2*x + 8*t*x^2 - x^3 - 32*t^2 + 33*t*x - 7*x^2 - 6*t + 3*x + 6)*(3*t - x - 1)*(t - x)^2 ==============================================  -(18*t^3 - 27*t^2*x + 10*t*x^2 - x^3 + 12*t^2 - 14*t*x + 2*x^2 - 12*t + 6*x - 6)*(3*t - x - 1)^2*(t - x)^2 ==============================================  -(48*t^5 - 124*t^4*x + 120*t^3*x^2 - 55*t^2*x^3 + 12*t*x^4 - x^5 - 72*t^3 + 112*t^2*x - 54*t*x^2 + 8*x^3 + 24*t - 9*x)*(2*t - x)^2 ==============================================  -(60*t^4 - 92*t^3*x + 51*t^2*x^2 - 12*t*x^3 + x^4 + 30*t^3 - 31*t^2*x + 10*t*x^2 - x^3 - 60*t^2 + 46*t*x - 8*x^2 - 24*t + 6*x + 6)*(2*t - x)^2*(2*t - x - 1) ==============================================  -(80*t^5 - 196*t^4*x + 176*t^3*x^2 - 73*t^2*x^3 + 14*t*x^4 - x^5 - 106*t^3 + 153*t^2*x - 68*t*x^2 + 9*x^3 + 12*t^2 - 18*t*x + 6*x^2 + 32*t - 10*x - 6)*(2*t - x)^2 ==============================================  -(96*t^4 - 136*t^3*x + 68*t^2*x^2 - 14*t*x^3 + x^4 + 48*t^3 - 44*t^2*x + 12*t*x^2 - x^3 - 80*t^2 + 58*t*x - 9*x^2 - 20*t + x + 12)*(2*t - x)^2*(2*t - x - 1) ==============================================  -(24*t^4 - 50*t^3*x + 35*t^2*x^2 - 10*t*x^3 + x^4 - 30*t^2 + 36*t*x - 9*x^2 + 6)*(4*t - x)*(2*t - x)^2 ==============================================  -(16*t^3 - 20*t^2*x + 8*t*x^2 - x^3 + 8*t^2 - 6*t*x + x^2 - 14*t + 7*x - 6)*(8*t^2 - 6*t*x + x^2 - 4*t + x - 1)*(2*t - x)^2 ==============================================  -(240*t^5 - 428*t^4*x + 296*t^3*x^2 - 99*t^2*x^3 + 16*t*x^4 - x^5 - 262*t^3 + 279*t^2*x - 94*t*x^2 + 10*x^3 + 16*t^2 - 12*t*x + 2*x^2 + 38*t - 10*x)*(2*t - x)^2 ==============================================  -(30*t^4 - 61*t^3*x + 41*t^2*x^2 - 11*t*x^3 + x^4 + 6*t^3 - 11*t^2*x + 6*t*x^2 - x^3 - 32*t^2 + 37*t*x - 9*x^2 - 2*t + x + 6)*(5*t - x - 1)*(2*t - x)^2 ==============================================  -(20*t^3 - 24*t^2*x + 9*t*x^2 - x^3 + 14*t^2 - 11*t*x + 2*x^2 - 12*t + 6*x - 6)*(10*t^2 - 7*t*x + x^2 - 7*t + 2*x)*(2*t - x)^2 ==============================================  -(360*t^5 - 612*t^4*x + 398*t^3*x^2 - 123*t^2*x^3 + 18*t*x^4 - x^5 - 344*t^3 + 352*t^2*x - 112*t*x^2 + 11*x^3 + 64*t^2 - 52*t*x + 10*x^2 + 42*t - 9*x - 6)*(2*t - x)^2 ==============================================  -(30*t^3 - 31*t^2*x + 10*t*x^2 - x^3 + 10*t^2 - 7*t*x + x^2 - 26*t + 10*x - 6)*(5*t - x)*(3*t - x - 1)*(2*t - x)^2 ==============================================  -(36*t^3 - 36*t^2*x + 11*t*x^2 - x^3 + 18*t^2 - 13*t*x + 2*x^2 - 24*t + 9*x - 6)*(6*t - x - 1)*(3*t - x - 1)*(2*t - x)^2 ==============================================  -(18*t^3 - 27*t^2*x + 10*t*x^2 - x^3 + 12*t^2 - 14*t*x + 2*x^2 - 10*t + 6*x - 4)*(3*t - x)^2*(3*t - x - 2)*(t - x) ==============================================  -(16*t^3 - 20*t^2*x + 8*t*x^2 - x^3 - 16*t + 6*x)*(4*t^2 - 4*t*x + x^2 - 2)*(2*t - x)^2 ==============================================  -(36*t^3 - 36*t^2*x + 11*t*x^2 - x^3 - 28*t + 8*x + 8)*(6*t^2 - 5*t*x + x^2 - 2)*(2*t - x)^2 ==============================================  -(12*t^3 - 19*t^2*x + 8*t*x^2 - x^3 + 6*t^2 - 8*t*x + 2*x^2 - 6*t + 4*x)*(4*t^2 - 5*t*x + x^2 - t + x - 1)^2 ==============================================  -(24*t^3 - 26*t^2*x + 9*t*x^2 - x^3 + 8*t^2 - 6*t*x + x^2 - 20*t + 6*x - 4)*(6*t^2 - 5*t*x + x^2 - 2*t + x - 2)*(2*t - x)^2 ==============================================  -(48*t^3 - 44*t^2*x + 12*t*x^2 - x^3 + 12*t^2 - 8*t*x + x^2 - 32*t + 8*x + 4)*(8*t^2 - 6*t*x + x^2 - 2*t + x - 2)*(2*t - x)^2 ==============================================  -(36*t^4 - 69*t^3*x + 43*t^2*x^2 - 11*t*x^3 + x^4 - 42*t^2 + 48*t*x - 10*x^2 + 6)*(3*t - x)^3 ==============================================  -(180*t^5 - 381*t^4*x + 284*t^3*x^2 - 98*t^2*x^3 + 16*t*x^4 - x^5 - 186*t^3 + 261*t^2*x - 98*t*x^2 + 11*x^3 + 18*t^2 - 24*t*x + 6*x^2 + 24*t - 9*x)*(3*t - x)^2 ==============================================  -(72*t^4 - 126*t^3*x + 67*t^2*x^2 - 14*t*x^3 + x^4 - 66*t^2 + 72*t*x - 12*x^2 + 12*t - 12*x + 6)*(4*t - x)*(3*t - x)^2 ==============================================  -(72*t^4 - 102*t^3*x + 53*t^2*x^2 - 12*t*x^3 + x^4 - 78*t^2 + 60*t*x - 11*x^2 + 6)*(4*t - x)*(3*t - x)^2 ==============================================  -(48*t^4 - 88*t^3*x + 51*t^2*x^2 - 12*t*x^3 + x^4 + 12*t^3 - 19*t^2*x + 8*t*x^2 - x^3 - 48*t^2 + 52*t*x - 10*x^2 - 6*t + 4*x + 6)*(4*t - x - 1)*(3*t - x)^2 ==============================================  -(480*t^5 - 736*t^4*x + 438*t^3*x^2 - 127*t^2*x^3 + 18*t*x^4 - x^5 - 468*t^3 + 437*t^2*x - 128*t*x^2 + 12*x^3 + 48*t^2 - 36*t*x + 6*x^2 + 36*t - 10*x)*(3*t - x)^2 ==============================================  -(90*t^4 - 123*t^3*x + 61*t^2*x^2 - 13*t*x^3 + x^4 + 18*t^3 - 21*t^2*x + 8*t*x^2 - x^3 - 84*t^2 + 63*t*x - 11*x^2 - 6*t + 3*x + 6)*(5*t - x - 1)*(3*t - x)^2 ==============================================  -(720*t^5 - 1044*t^4*x + 580*t^3*x^2 - 155*t^2*x^3 + 20*t*x^4 - x^5 - 630*t^3 + 560*t^2*x - 152*t*x^2 + 13*x^3 + 132*t^2 - 92*t*x + 14*x^2 + 36*t - 7*x - 6)*(3*t - x)^2 ==============================================  -(300*t^5 - 595*t^4*x + 402*t^3*x^2 - 124*t^2*x^3 + 18*t*x^4 - x^5 - 282*t^3 + 368*t^2*x - 122*t*x^2 + 12*x^3 + 54*t^2 - 66*t*x + 12*x^2 + 30*t - 7*x - 6)*(3*t - x)^2 ==============================================  -(90*t^4 - 153*t^3*x + 77*t^2*x^2 - 15*t*x^3 + x^4 + 18*t^3 - 27*t^2*x + 10*t*x^2 - x^3 - 72*t^2 + 76*t*x - 12*x^2 + 6*t - 8*x + 6)*(5*t - x - 1)*(3*t - x)^2 ==============================================  -(30*t^3 - 31*t^2*x + 10*t*x^2 - x^3 + 12*t^2 - 10*t*x + 2*x^2 - 18*t + 7*x)*(10*t^2 - 7*t*x + x^2 - 2*t + x - 1)^2 ==============================================  -(180*t^4 - 216*t^3*x + 91*t^2*x^2 - 16*t*x^3 + x^4 + 30*t^3 - 31*t^2*x + 10*t*x^2 - x^3 - 138*t^2 + 92*t*x - 13*x^2 + 18*t - 9*x + 6)*(6*t - x - 1)*(3*t - x)^2 ==============================================  -(12*t^2 - 7*t*x + x^2 - 12)*(4*t - x)^2*(3*t - x)^3 ==============================================  -(60*t^3 - 47*t^2*x + 12*t*x^2 - x^3 + 12*t^2 - 7*t*x + x^2 - 52*t + 12*x - 4)*(5*t - x - 1)*(3*t - x)^3 ==============================================  -(150*t^4 - 185*t^3*x + 81*t^2*x^2 - 15*t*x^3 + x^4 - 132*t^2 + 89*t*x - 13*x^2 + 24*t - 12*x + 6)*(5*t - x)*(3*t - x)^2 ==============================================  -(90*t^3 - 63*t^2*x + 14*t*x^2 - x^3 - 74*t + 14*x + 16)*(5*t - x)*(3*t - x)^3 ==============================================  -(18*t^2 - 9*t*x + x^2 + 6*t - 2*x - 12)*(6*t - x - 1)^2*(3*t - x)^3 ==============================================  -(6*t^3 - 11*t^2*x + 6*t*x^2 - x^3 - 6*t + 4*x)*(2*t^2 - 3*t*x + x^2 - 1)^2 ==============================================  -(20*t^4 - 44*t^3*x + 33*t^2*x^2 - 10*t*x^3 + x^4 + 10*t^3 - 17*t^2*x + 8*t*x^2 - x^3 - 20*t^2 + 22*t*x - 6*x^2 - 6*t + 2*x + 4)*(2*t - x + 1)*(2*t - x - 1)^2 ==============================================  -(12*t^2 - 8*t*x + x^2 + 6*t - x - 6)*(2*t - x + 1)^2*(2*t - x - 1)^3 ==============================================  -(30*t^5 - 91*t^4*x + 102*t^3*x^2 - 52*t^2*x^3 + 12*t*x^4 - x^5 + 20*t^4 - 54*t^3*x + 50*t^2*x^2 - 18*t*x^3 + 2*x^4 - 30*t^3 + 56*t^2*x - 32*t*x^2 + 6*x^3 - 16*t^2 + 22*t*x - 6*x^2 + 6*t - 4*x + 2)*(3*t - x - 1)^2 ==============================================  -(36*t^4 - 72*t^3*x + 47*t^2*x^2 - 12*t*x^3 + x^4 + 42*t^3 - 67*t^2*x + 28*t*x^2 - 3*x^3 - 6*t^2 + 8*t*x - 4*x^2 - 14*t + 10*x - 2)*(3*t - x - 1)^2*(2*t - x - 1) ==============================================  -(12*t^3 - 16*t^2*x + 7*t*x^2 - x^3 + 6*t^2 - 5*t*x + x^2 - 8*t + 4*x - 2)*(6*t^2 - 5*t*x + x^2 + 3*t - x - 2)*(2*t - x - 1)^2 ==============================================  -(16*t^3 - 20*t^2*x + 8*t*x^2 - x^3 + 12*t^2 - 10*t*x + 2*x^2 - 6*t + 3*x - 2)*(8*t^2 - 6*t*x + x^2 + 2*t - 3)*(2*t - x - 1)^2 ==============================================  -(60*t^4 - 107*t^3*x + 59*t^2*x^2 - 13*t*x^3 + x^4 + 20*t^3 - 29*t^2*x + 10*t*x^2 - x^3 - 48*t^2 + 51*t*x - 9*x^2 - 4*t + x + 4)*(3*t - x + 1)*(3*t - x - 1)^2 ==============================================  -(90*t^4 - 153*t^3*x + 77*t^2*x^2 - 15*t*x^3 + x^4 + 30*t^3 - 41*t^2*x + 12*t*x^2 - x^3 - 62*t^2 + 64*t*x - 10*x^2 + 2*t - 6*x + 4)*(3*t - x + 1)*(3*t - x - 1)^2 ==============================================  -(30*t^3 - 31*t^2*x + 10*t*x^2 - x^3 + 10*t^2 - 7*t*x + x^2 - 22*t + 10*x - 2)*(5*t - x)*(3*t - x + 1)*(3*t - x - 1)^2 ==============================================  -(36*t^3 - 36*t^2*x + 11*t*x^2 - x^3 + 18*t^2 - 13*t*x + 2*x^2 - 20*t + 9*x - 2)*(6*t - x - 1)*(3*t - x + 1)*(3*t - x - 1)^2 ==============================================  -(8*t^3 - 12*t^2*x + 6*t*x^2 - x^3 - 4*t^2 + 4*t*x - x^2 - 4*t + 2*x + 1)^2*(2*t - x + 2) ==============================================  -(18*t^3 - 27*t^2*x + 10*t*x^2 - x^3 + 12*t^2 - 14*t*x + 2*x^2 - 8*t + 6*x - 2)*(9*t^2 - 6*t*x + x^2 - 3*t + x - 1)^2 ==============================================  -(18*t^3 - 21*t^2*x + 8*t*x^2 - x^3 + 12*t^2 - 10*t*x + 2*x^2 - 12*t + 4*x - 6)*(6*t^2 - 5*t*x + x^2 - 2*t + x - 1)^2 ==============================================  -(48*t^3 - 44*t^2*x + 12*t*x^2 - x^3 + 24*t^2 - 16*t*x + 2*x^2 - 24*t + 7*x)*(8*t^2 - 6*t*x + x^2 - 2*t + x - 1)^2 ==============================================  -(30*t^4 - 61*t^3*x + 41*t^2*x^2 - 11*t*x^3 + x^4 + 20*t^3 - 34*t^2*x + 16*t*x^2 - 2*x^3 - 26*t^2 + 24*t*x - 6*x^2 - 12*t + 4*x + 4)*(3*t - x)^2*(3*t - x - 2) ==============================================  -(36*t^3 - 36*t^2*x + 11*t*x^2 - x^3 + 42*t^2 - 25*t*x + 3*x^2 - 2*t + 4*x - 8)*(3*t - x)^2*(3*t - x - 2)*(2*t - x - 1) ==============================================  -(48*t^5 - 124*t^4*x + 120*t^3*x^2 - 55*t^2*x^3 + 12*t*x^4 - x^5 + 32*t^4 - 72*t^3*x + 56*t^2*x^2 - 18*t*x^3 + 2*x^4 - 54*t^3 + 80*t^2*x - 38*t*x^2 + 6*x^3 - 28*t^2 + 28*t*x - 6*x^2 + 12*t - 7*x + 2)*(3*t - x - 1)^2 ==============================================  -(36*t^4 - 69*t^3*x + 43*t^2*x^2 - 11*t*x^3 + x^4 + 24*t^3 - 38*t^2*x + 16*t*x^2 - 2*x^3 - 36*t^2 + 30*t*x - 6*x^2 - 18*t + 6*x + 6)*(3*t - x - 1)^2*(t - x) ==============================================  -(60*t^4 - 92*t^3*x + 51*t^2*x^2 - 12*t*x^3 + x^4 + 40*t^3 - 48*t^2*x + 18*t*x^2 - 2*x^3 - 54*t^2 + 38*t*x - 7*x^2 - 28*t + 8*x + 6)*(3*t - x - 1)^2*(2*t - x) ==============================================  -(90*t^5 - 213*t^4*x + 184*t^3*x^2 - 74*t^2*x^3 + 14*t*x^4 - x^5 + 60*t^4 - 122*t^3*x + 82*t^2*x^2 - 22*t*x^3 + 2*x^4 - 78*t^3 + 113*t^2*x - 50*t*x^2 + 7*x^3 - 34*t^2 + 32*t*x - 6*x^2 + 16*t - 11*x + 2)*(3*t - x - 1)^2 ==============================================  -(108*t^4 - 144*t^3*x + 69*t^2*x^2 - 14*t*x^3 + x^4 + 72*t^3 - 72*t^2*x + 22*t*x^2 - 2*x^3 - 78*t^2 + 50*t*x - 8*x^2 - 28*t + 6*x + 14)*(3*t - x - 1)^2*(2*t - x) ==============================================  -(60*t^4 - 107*t^3*x + 59*t^2*x^2 - 13*t*x^3 + x^4 + 30*t^3 - 46*t^2*x + 18*t*x^2 - 2*x^3 - 48*t^2 + 44*t*x - 8*x^2 - 12*t + 4*x + 6)*(4*t - x - 1)^2*(t - x) ==============================================  -(24*t^3 - 34*t^2*x + 11*t*x^2 - x^3 + 18*t^2 - 21*t*x + 3*x^2 - 12*t + 6*x - 6)*(4*t - x - 1)^3*(t - x) ==============================================  -(160*t^5 - 352*t^4*x + 274*t^3*x^2 - 97*t^2*x^3 + 16*t*x^4 - x^5 + 80*t^4 - 156*t^3*x + 98*t^2*x^2 - 24*t*x^3 + 2*x^4 - 122*t^3 + 178*t^2*x - 74*t*x^2 + 9*x^3 - 34*t^2 + 34*t*x - 6*x^2 + 10*t - 4*x + 2)*(4*t - x - 1)^2 ==============================================  -(20*t^3 - 29*t^2*x + 10*t*x^2 - x^3 + 14*t^2 - 17*t*x + 3*x^2 - 8*t + 5*x - 2)*(5*t^2 - 6*t*x + x^2 - t + x - 1)*(4*t - x - 1)^2 ==============================================  -(240*t^5 - 508*t^4*x + 372*t^3*x^2 - 121*t^2*x^3 + 18*t*x^4 - x^5 + 120*t^4 - 224*t^3*x + 130*t^2*x^2 - 28*t*x^3 + 2*x^4 - 158*t^3 + 226*t^2*x - 90*t*x^2 + 10*x^3 - 26*t^2 + 18*t*x + 14*t - 8*x + 2)*(4*t - x - 1)^2 ==============================================  -(40*t^3 - 38*t^2*x + 11*t*x^2 - x^3 + 20*t^2 - 14*t*x + 2*x^2 - 28*t + 10*x - 8)*(5*t - x)*(4*t - x - 1)^2*(2*t - x) ==============================================  -(48*t^3 - 44*t^2*x + 12*t*x^2 - x^3 + 32*t^2 - 22*t*x + 3*x^2 - 24*t + 8*x - 8)*(6*t - x - 1)*(4*t - x - 1)^2*(2*t - x) ==============================================  -(24*t^3 - 26*t^2*x + 9*t*x^2 - x^3 + 22*t^2 - 17*t*x + 3*x^2 - 6*t + 2*x - 4)*(12*t^2 - 7*t*x + x^2 - 11*t + 3*x)*(3*t - x)^2 ==============================================  -(18*t^3 - 21*t^2*x + 8*t*x^2 - x^3 + 12*t^2 - 10*t*x + 2*x^2 - 10*t + 4*x - 4)*(9*t^2 - 6*t*x + x^2 - 6*t + 2*x - 2)*(3*t - x)^2 ==============================================  -(60*t^4 - 107*t^3*x + 59*t^2*x^2 - 13*t*x^3 + x^4 + 24*t^3 - 38*t^2*x + 16*t*x^2 - 2*x^3 - 48*t^2 + 50*t*x - 10*x^2 - 6*t + 2*x + 6)*(5*t - x - 1)^2*(3*t - x) ==============================================  -(16*t^3 - 24*t^2*x + 9*t*x^2 - x^3 + 8*t^2 - 10*t*x + 2*x^2 - 10*t + 7*x - 2)*(4*t^2 - 5*t*x + x^2 - 1)*(4*t - x - 1)^2 ==============================================  -(72*t^3 - 54*t^2*x + 13*t*x^2 - x^3 + 42*t^2 - 23*t*x + 3*x^2 - 36*t + 10*x - 6)*(6*t - x - 1)^2*(4*t - x - 1)*(3*t - x) ==============================================  -(80*t^4 - 136*t^3*x + 69*t^2*x^2 - 14*t*x^3 + x^4 + 40*t^3 - 58*t^2*x + 20*t*x^2 - 2*x^3 - 52*t^2 + 52*t*x - 9*x^2 - 8*t + 2*x + 4)*(4*t - x)^2*(4*t - x - 2) ==============================================  -(120*t^4 - 194*t^3*x + 89*t^2*x^2 - 16*t*x^3 + x^4 + 60*t^3 - 82*t^2*x + 24*t*x^2 - 2*x^3 - 68*t^2 + 66*t*x - 10*x^2 - 4*t - 4*x + 4)*(4*t - x)^2*(4*t - x - 2) ==============================================  -(40*t^3 - 38*t^2*x + 11*t*x^2 - x^3 + 20*t^2 - 14*t*x + 2*x^2 - 24*t + 10*x - 4)*(5*t - x)*(4*t - x)^2*(4*t - x - 2) ==============================================  -(48*t^3 - 44*t^2*x + 12*t*x^2 - x^3 + 32*t^2 - 22*t*x + 3*x^2 - 20*t + 8*x - 4)*(6*t - x - 1)*(4*t - x)^2*(4*t - x - 2) ==============================================  -(18*t^3 - 21*t^2*x + 8*t*x^2 - x^3 - 18*t + 7*x)*(6*t^2 - 5*t*x + x^2 - 1)^2 ==============================================  -(18*t^2 - 9*t*x + x^2 + 12*t - 2*x - 6)*(3*t - x + 1)^2*(3*t - x - 1)^2*(3*t - x - 2) ==============================================  -(32*t^3 - 32*t^2*x + 10*t*x^2 - x^3 + 16*t^2 - 12*t*x + 2*x^2 - 16*t + 6*x)*(8*t^2 - 6*t*x + x^2 - 4*t + 2*x - 2)*(4*t - x)^2 ==============================================  -(72*t^3 - 54*t^2*x + 13*t*x^2 - x^3 + 36*t^2 - 18*t*x + 2*x^2 - 32*t + 8*x + 4)*(12*t^2 - 7*t*x + x^2 - 6*t + 2*x - 2)*(4*t - x)^2 ==============================================  -(48*t^4 - 88*t^3*x + 51*t^2*x^2 - 12*t*x^3 + x^4 + 24*t^3 - 38*t^2*x + 16*t*x^2 - 2*x^3 - 42*t^2 + 42*t*x - 9*x^2 - 12*t + 6*x + 6)*(4*t - x)*(4*t - x - 1)^2 ==============================================  -(120*t^4 - 154*t^3*x + 71*t^2*x^2 - 14*t*x^3 + x^4 + 48*t^3 - 52*t^2*x + 18*t*x^2 - 2*x^3 - 90*t^2 + 64*t*x - 11*x^2 - 12*t + 4*x + 6)*(5*t - x - 1)^2*(4*t - x) ==============================================  -(300*t^5 - 595*t^4*x + 402*t^3*x^2 - 124*t^2*x^3 + 18*t*x^4 - x^5 + 120*t^4 - 214*t^3*x + 118*t^2*x^2 - 26*t*x^3 + 2*x^4 - 216*t^3 + 283*t^2*x - 102*t*x^2 + 11*x^3 - 12*t^2 - 2*t*x + 2*x^2 + 24*t - 9*x)*(5*t - x - 1)^2 ==============================================  -(120*t^4 - 194*t^3*x + 89*t^2*x^2 - 16*t*x^3 + x^4 + 48*t^3 - 68*t^2*x + 22*t*x^2 - 2*x^3 - 78*t^2 + 78*t*x - 12*x^2 - 6*x + 6)*(5*t - x - 1)^2*(4*t - x) ==============================================  -(40*t^3 - 38*t^2*x + 11*t*x^2 - x^3 + 24*t^2 - 18*t*x + 3*x^2 - 16*t + 6*x)*(10*t^2 - 7*t*x + x^2 - 2*t + x - 2)*(5*t - x - 1)^2 ==============================================  -(36*t^3 - 33*t^2*x + 10*t*x^2 - x^3 + 18*t^2 - 12*t*x + 2*x^2 - 24*t + 7*x - 6)*(12*t^2 - 7*t*x + x^2 - 3*t + x - 1)^2 ==============================================  -(90*t^3 - 63*t^2*x + 14*t*x^2 - x^3 + 36*t^2 - 18*t*x + 2*x^2 - 48*t + 10*x + 6)*(15*t^2 - 8*t*x + x^2 - 3*t + x - 1)^2 ==============================================  -(360*t^4 - 342*t^3*x + 119*t^2*x^2 - 18*t*x^3 + x^4 + 120*t^3 - 94*t^2*x + 24*t*x^2 - 2*x^3 - 222*t^2 + 114*t*x - 14*x^2 + 24*t - 8*x + 6)*(6*t - x - 1)^2*(4*t - x) ==============================================  -(48*t^3 - 40*t^2*x + 11*t*x^2 - x^3 + 12*t^2 - 7*t*x + x^2 - 42*t + 12*x - 6)*(4*t - x)^2*(4*t - x - 1)*(3*t - x) ==============================================  -(48*t^3 - 40*t^2*x + 11*t*x^2 - x^3 + 40*t^2 - 22*t*x + 3*x^2 - 12*t + 4*x - 4)*(12*t^2 - 7*t*x + x^2 - 10*t + 3*x)*(4*t - x)^2 ==============================================  -(240*t^4 - 248*t^3*x + 95*t^2*x^2 - 16*t*x^3 + x^4 - 210*t^2 + 110*t*x - 14*x^2 + 36*t - 12*x + 6)*(4*t - x)^3 ==============================================  -(24*t^2 - 10*t*x + x^2 + 18*t - 3*x - 6)*(4*t - x)^4*(4*t - x - 3) ==============================================  -(4*t - x + 4)*(4*t - x + 1)*(4*t - x)^2*(4*t - x - 1)^2*(4*t - x - 3) ==============================================  -(80*t^3 - 56*t^2*x + 13*t*x^2 - x^3 + 16*t^2 - 8*t*x + x^2 - 58*t + 13*x + 6)*(20*t^2 - 9*t*x + x^2 - 4*t + x - 1)*(4*t - x)^2 ==============================================  -(60*t^3 - 47*t^2*x + 12*t*x^2 - x^3 + 24*t^2 - 14*t*x + 2*x^2 - 42*t + 12*x - 6)*(5*t - x - 1)^2*(4*t - x)^2 ==============================================  -(480*t^4 - 416*t^3*x + 134*t^2*x^2 - 19*t*x^3 + x^4 + 96*t^3 - 64*t^2*x + 14*t*x^2 - x^3 - 346*t^2 + 145*t*x - 15*x^2 + 44*t - 11*x + 6)*(5*t - x - 1)*(4*t - x)^2 ==============================================  -(20*t^2 - 9*t*x + x^2 + 8*t - 2*x - 12)*(5*t - x)^2*(5*t - x - 2)*(4*t - x)^2 ==============================================  -(120*t^3 - 74*t^2*x + 15*t*x^2 - x^3 + 20*t^2 - 9*t*x + x^2 - 82*t + 16*x + 18)*(6*t - x - 1)*(5*t - x)*(4*t - x)^2 ==============================================  -(24*t^2 - 10*t*x + x^2 + 12*t - 3*x - 12)*(6*t - x - 1)^3*(4*t - x)^2 ==============================================  -(24*t^3 - 26*t^2*x + 9*t*x^2 - x^3 + 8*t^2 - 6*t*x + x^2 - 16*t + 6*x)*(6*t^2 - 5*t*x + x^2 + 2*t - x - 2)*(3*t - x - 1)^2 ==============================================  -(72*t^4 - 102*t^3*x + 53*t^2*x^2 - 12*t*x^3 + x^4 + 84*t^3 - 85*t^2*x + 28*t*x^2 - 3*x^3 - 24*t^2 + 20*t*x - 4*x^2 - 32*t + 10*x + 4)*(3*t - x - 1)^2*(2*t - x - 1) ==============================================  -(90*t^4 - 123*t^3*x + 61*t^2*x^2 - 13*t*x^3 + x^4 + 90*t^3 - 93*t^2*x + 30*t*x^2 - 3*x^3 - 40*t^2 + 27*t*x - 5*x^2 - 34*t + 11*x + 6)*(3*t - x - 1)^3 ==============================================  -(18*t^2 - 9*t*x + x^2 + 12*t - 2*x - 6)*(3*t - x + 2)*(3*t - x - 1)^4 ==============================================  -(36*t^3 - 33*t^2*x + 10*t*x^2 - x^3 + 24*t^2 - 14*t*x + 2*x^2 - 16*t + 5*x - 4)*(9*t^2 - 6*t*x + x^2 - 3)*(3*t - x - 1)^2 ==============================================  -(72*t^3 - 54*t^2*x + 13*t*x^2 - x^3 + 42*t^2 - 19*t*x + 2*x^2 - 28*t + 7*x + 2)*(12*t^2 - 7*t*x + x^2 + t - 3)*(3*t - x - 1)^2 ==============================================  -(96*t^5 - 224*t^4*x + 190*t^3*x^2 - 75*t^2*x^3 + 14*t*x^4 - x^5 + 48*t^4 - 100*t^3*x + 70*t^2*x^2 - 20*t*x^3 + 2*x^4 - 102*t^3 + 134*t^2*x - 58*t*x^2 + 8*x^3 - 30*t^2 + 22*t*x - 4*x^2 + 24*t - 9*x)*(4*t - x - 1)^2 ==============================================  -(120*t^4 - 154*t^3*x + 71*t^2*x^2 - 14*t*x^3 + x^4 + 120*t^3 - 109*t^2*x + 32*t*x^2 - 3*x^3 - 42*t^2 + 34*t*x - 6*x^2 - 36*t + 10*x + 6)*(4*t - x - 1)^2*(2*t - x - 1) ==============================================  -(40*t^4 - 78*t^3*x + 49*t^2*x^2 - 12*t*x^3 + x^4 + 30*t^3 - 51*t^2*x + 24*t*x^2 - 3*x^3 - 32*t^2 + 26*t*x - 6*x^2 - 18*t + 6*x + 4)*(4*t - x - 1)^3 ==============================================  -(48*t^3 - 44*t^2*x + 12*t*x^2 - x^3 + 60*t^2 - 34*t*x + 4*x^2 + 2*t + 3*x - 10)*(4*t - x - 1)^3*(2*t - x - 1) ==============================================  -(480*t^5 - 736*t^4*x + 438*t^3*x^2 - 127*t^2*x^3 + 18*t*x^4 - x^5 + 240*t^4 - 308*t^3*x + 142*t^2*x^2 - 28*t*x^3 + 2*x^4 - 362*t^3 + 337*t^2*x - 102*t*x^2 + 10*x^3 - 68*t^2 + 42*t*x - 6*x^2 + 56*t - 14*x + 2)*(4*t - x - 1)^2 ==============================================  -(60*t^4 - 107*t^3*x + 59*t^2*x^2 - 13*t*x^3 + x^4 + 42*t^3 - 65*t^2*x + 26*t*x^2 - 3*x^3 - 40*t^2 + 35*t*x - 7*x^2 - 18*t + 7*x + 4)*(5*t - x - 1)*(4*t - x - 1)^2 ==============================================  -(40*t^3 - 38*t^2*x + 11*t*x^2 - x^3 + 48*t^2 - 29*t*x + 4*x^2 + 2*t + 2*x - 6)*(10*t^2 - 7*t*x + x^2 - 7*t + 2*x)*(4*t - x - 1)^2 ==============================================  -(720*t^5 - 1044*t^4*x + 580*t^3*x^2 - 155*t^2*x^3 + 20*t*x^4 - x^5 + 360*t^4 - 432*t^3*x + 182*t^2*x^2 - 32*t*x^3 + 2*x^4 - 490*t^3 + 430*t^2*x - 122*t*x^2 + 11*x^3 - 54*t^2 + 18*t*x + 70*t - 17*x - 6)*(4*t - x - 1)^2 ==============================================  -(60*t^3 - 47*t^2*x + 12*t*x^2 - x^3 + 50*t^2 - 25*t*x + 3*x^2 - 24*t + 8*x - 14)*(5*t - x)*(4*t - x - 1)^2*(3*t - x - 1) ==============================================  -(72*t^3 - 54*t^2*x + 13*t*x^2 - x^3 + 72*t^2 - 35*t*x + 4*x^2 - 12*t + 5*x - 12)*(6*t - x - 1)*(4*t - x - 1)^2*(3*t - x - 1) ==============================================  -(36*t^3 - 33*t^2*x + 10*t*x^2 - x^3 + 42*t^2 - 26*t*x + 4*x^2 - 6)*(12*t^2 - 7*t*x + x^2 - 7*t + 2*x)^2 ==============================================  -(24*t^3 - 26*t^2*x + 9*t*x^2 - x^3 + 18*t^2 - 15*t*x + 3*x^2 - 12*t + 4*x - 6)*(12*t^2 - 7*t*x + x^2 - 3*t + x - 2)*(4*t - x - 1)^2 ==============================================  -(32*t^3 - 32*t^2*x + 10*t*x^2 - x^3 + 32*t^2 - 20*t*x + 3*x^2 - 8*t + 5*x - 8)*(8*t^2 - 6*t*x + x^2 - 4*t + x - 1)*(4*t - x - 1)^2 ==============================================  -(32*t^3 - 32*t^2*x + 10*t*x^2 - x^3 + 32*t^2 - 24*t*x + 4*x^2 - 6*t + x - 6)*(16*t^2 - 8*t*x + x^2 - 8*t + 2*x - 1)*(4*t - x - 1)^2 ==============================================  -(80*t^4 - 136*t^3*x + 69*t^2*x^2 - 14*t*x^3 + x^4 + 52*t^3 - 77*t^2*x + 28*t*x^2 - 3*x^3 - 48*t^2 + 44*t*x - 8*x^2 - 16*t + 6*x + 4)*(5*t - x - 1)^2*(4*t - x - 1) ==============================================  -(80*t^3 - 56*t^2*x + 13*t*x^2 - x^3 + 36*t^2 - 17*t*x + 2*x^2 - 48*t + 11*x - 4)*(5*t - x - 1)*(4*t - x + 1)*(4*t - x - 1)^2 ==============================================  -(120*t^3 - 74*t^2*x + 15*t*x^2 - x^3 + 30*t^2 - 11*t*x + x^2 - 76*t + 14*x + 14)*(5*t - x)*(4*t - x + 1)*(4*t - x - 1)^2 ==============================================  -(24*t^2 - 10*t*x + x^2 + 14*t - 3*x - 10)*(6*t - x - 1)^2*(4*t - x + 1)*(4*t - x - 1)^2 ==============================================  -(20*t^2 - 9*t*x + x^2 + 10*t - 2*x - 10)*(16*t^2 - 8*t*x + x^2 - 4*t + x - 1)^2*(5*t - x) ==============================================  -(24*t^2 - 10*t*x + x^2 + 16*t - 3*x - 8)*(16*t^2 - 8*t*x + x^2 - 4*t + x - 1)^2*(6*t - x - 1) ==============================================  -(24*t^2 - 10*t*x + x^2 + 18*t - 3*x - 6)*(4*t - x + 1)*(4*t - x)^2*(4*t - x - 2)^2 ==============================================  -(64*t^3 - 48*t^2*x + 12*t*x^2 - x^3 - 32*t^2 + 16*t*x - 2*x^2 - 4*t + x + 1)^2*(4*t - x + 4) ==============================================  -(60*t^3 - 47*t^2*x + 12*t*x^2 - x^3 + 54*t^2 - 30*t*x + 4*x^2 - 12*t + 3*x - 6)*(20*t^2 - 9*t*x + x^2 - 9*t + 2*x)^2 ==============================================  -(120*t^3 - 74*t^2*x + 15*t*x^2 - x^3 + 64*t^2 - 28*t*x + 3*x^2 - 52*t + 11*x + 4)*(20*t^2 - 9*t*x + x^2 - 4*t + x - 1)*(6*t - x - 1)^2 ==============================================  -(60*t^3 - 47*t^2*x + 12*t*x^2 - x^3 + 56*t^2 - 30*t*x + 4*x^2 - 8*t + 3*x - 4)*(15*t^2 - 8*t*x + x^2 - 8*t + 2*x - 1)*(5*t - x - 1)^2 ==============================================  -(90*t^3 - 63*t^2*x + 14*t*x^2 - x^3 + 54*t^2 - 27*t*x + 3*x^2 - 34*t + 8*x + 2)*(15*t^2 - 8*t*x + x^2 - 3*t + x - 2)*(5*t - x - 1)^2 ==============================================  -(800*t^5 - 1120*t^4*x + 602*t^3*x^2 - 157*t^2*x^3 + 20*t*x^4 - x^5 + 320*t^4 - 384*t^3*x + 164*t^2*x^2 - 30*t*x^3 + 2*x^4 - 556*t^3 + 483*t^2*x - 134*t*x^2 + 12*x^3 - 40*t^2 + 10*t*x + 38*t - 10*x + 2)*(5*t - x - 1)^2 ==============================================  -(150*t^4 - 185*t^3*x + 81*t^2*x^2 - 15*t*x^3 + x^4 + 90*t^3 - 93*t^2*x + 30*t*x^2 - 3*x^3 - 84*t^2 + 57*t*x - 9*x^2 - 18*t + 7*x + 6)*(5*t - x - 1)^3 ==============================================  -(1200*t^5 - 1580*t^4*x + 788*t^3*x^2 - 189*t^2*x^3 + 22*t*x^4 - x^5 + 480*t^4 - 536*t^3*x + 208*t^2*x^2 - 34*t*x^3 + 2*x^4 - 754*t^3 + 624*t^2*x - 160*t*x^2 + 13*x^3 + 24*t^2 - 32*t*x + 6*x^2 + 54*t - 11*x - 4)*(5*t - x - 1)^2 ==============================================  -(100*t^4 - 165*t^3*x + 79*t^2*x^2 - 15*t*x^3 + x^4 + 60*t^3 - 87*t^2*x + 30*t*x^2 - 3*x^3 - 56*t^2 + 53*t*x - 9*x^2 - 12*t + 3*x + 4)*(5*t - x - 1)^3 ==============================================  -(30*t^3 - 41*t^2*x + 12*t*x^2 - x^3 + 24*t^2 - 28*t*x + 4*x^2 - 10*t + 6*x - 4)*(5*t - x - 1)^4 ==============================================  -(60*t^3 - 52*t^2*x + 13*t*x^2 - x^3 + 46*t^2 - 31*t*x + 4*x^2 - 20*t + 7*x - 6)*(6*t - x - 1)*(5*t - x - 1)^3 ==============================================  -(90*t^3 - 63*t^2*x + 14*t*x^2 - x^3 + 66*t^2 - 34*t*x + 4*x^2 - 30*t + 8*x - 6)*(6*t - x - 1)^2*(5*t - x - 1)^2 ==============================================  -(120*t^3 - 74*t^2*x + 15*t*x^2 - x^3 + 84*t^2 - 37*t*x + 4*x^2 - 40*t + 9*x - 4)*(6*t - x - 1)^3*(5*t - x - 1) ==============================================  -(50*t^3 - 45*t^2*x + 12*t*x^2 - x^3 + 30*t^2 - 21*t*x + 3*x^2 - 26*t + 10*x - 6)*(5*t - x)*(5*t - x - 1)^3 ==============================================  -(300*t^4 - 295*t^3*x + 107*t^2*x^2 - 17*t*x^3 + x^4 + 180*t^3 - 141*t^2*x + 36*t*x^2 - 3*x^3 - 158*t^2 + 80*t*x - 10*x^2 - 40*t + 10*x - 2)*(5*t - x - 1)^3 ==============================================  -(450*t^4 - 405*t^3*x + 133*t^2*x^2 - 19*t*x^3 + x^4 + 180*t^3 - 126*t^2*x + 28*t*x^2 - 2*x^3 - 268*t^2 + 126*t*x - 14*x^2 + 10*t - 6*x + 8)*(5*t - x)*(5*t - x - 1)^2 ==============================================  -(120*t^3 - 74*t^2*x + 15*t*x^2 - x^3 + 102*t^2 - 41*t*x + 4*x^2 - 20*t + 5*x - 2)*(20*t^2 - 9*t*x + x^2 - 9*t + 2*x - 1)*(5*t - x - 1)^2 ==============================================  -(100*t^3 - 65*t^2*x + 14*t*x^2 - x^3 + 60*t^2 - 27*t*x + 3*x^2 - 44*t + 10*x - 4)*(5*t - x)^2*(5*t - x - 1)*(5*t - x - 2) ==============================================  -(30*t^2 - 11*t*x + x^2 + 24*t - 4*x - 6)*(5*t - x)^3*(5*t - x - 2)^2 ==============================================  -(30*t^2 - 11*t*x + x^2 + 22*t - 4*x - 8)*(6*t - x - 1)^2*(5*t - x)^2*(5*t - x - 2) ==============================================  -(30*t^2 - 11*t*x + x^2 + 20*t - 4*x - 10)*(6*t - x - 1)^4*(5*t - x) ==============================================  -(6*t - x + 6)*(6*t - x - 1)^6 ============================================== -(2*t - x + 2)*(2*t - x - 1)^2 ============================================== (3*t^2 - 4*t*x + x^2 - 3)*(t - x)^2 ============================================== (2*t - x + 2)*(2*t - x)^2*(2*t - x - 2) ============================================== (3*t - x + 3)*(3*t - x - 1)^3 ============================================== -(4*t^2 - 5*t*x + x^2 - 4)*(t - x)^3 ============================================== -(6*t^2 - 5*t*x + x^2 - 6)*(3*t - x)*(2*t - x)^2 ============================================== -(8*t^2 - 6*t*x + x^2 + 2*t - x - 6)*(4*t - x - 1)*(2*t - x)^2 ============================================== -(8*t^2 - 6*t*x + x^2 + 4*t - x - 4)*(2*t - x + 1)*(2*t - x - 1)^2 ============================================== -(4*t^2 - 4*t*x + x^2 - 2*t + x - 1)^2*(2*t - x + 2) ============================================== -(12*t^3 - 19*t^2*x + 8*t*x^2 - x^3 + 8*t^2 - 10*t*x + 2*x^2 - 6*t + 4*x - 2)*(3*t - x - 1)^2 ============================================== -(12*t^2 - 7*t*x + x^2 + 8*t - 2*x - 4)*(3*t - x)^2*(3*t - x - 2) ============================================== -(12*t^2 - 7*t*x + x^2 + 6*t - 2*x - 6)*(4*t - x - 1)^2*(3*t - x) ============================================== -(4*t - x + 4)*(4*t - x - 1)^4 ============================================== (5*t^2 - 6*t*x + x^2 - 5)*(t - x)^4 ============================================== (8*t^4 - 22*t^3*x + 21*t^2*x^2 - 8*t*x^3 + x^4 - 11*t^2 + 16*t*x - 5*x^2 + 3)*(t - x)^2 ============================================== (10*t^3 - 17*t^2*x + 8*t*x^2 - x^3 + 5*t^2 - 6*t*x + x^2 - 8*t + 5*x - 3)*(2*t - x - 1)*(t - x)^2 ============================================== (3*t^2 - 4*t*x + x^2 + t - x - 2)*(3*t^2 - 4*t*x + x^2 - t + x - 2)*(t - x)^2 ============================================== (24*t^4 - 50*t^3*x + 35*t^2*x^2 - 10*t*x^3 + x^4 - 27*t^2 + 32*t*x - 7*x^2 + 3)*(2*t - x)^2 ============================================== (40*t^4 - 78*t^3*x + 49*t^2*x^2 - 12*t*x^3 + x^4 - 37*t^2 + 42*t*x - 8*x^2 + 6*t - 6*x + 3)*(2*t - x)^2 ============================================== (8*t^2 - 6*t*x + x^2 - 8)*(4*t - x)*(2*t - x)^3 ============================================== (10*t^2 - 7*t*x + x^2 + 2*t - x - 8)*(5*t - x - 1)*(2*t - x)^3 ============================================== (10*t^3 - 17*t^2*x + 8*t*x^2 - x^3 + 5*t^2 - 6*t*x + x^2 - 6*t + 5*x - 1)*(2*t - x + 1)*(2*t - x - 1)^2 ============================================== (3*t^2 - 4*t*x + x^2 + 2*t - 2*x - 1)*(3*t^2 - 4*t*x + x^2 - t + x - 1)^2 ============================================== (15*t^3 - 23*t^2*x + 9*t*x^2 - x^3 + 10*t^2 - 12*t*x + 2*x^2 - 9*t + 5*x - 4)*(3*t - x - 1)^2*(t - x) ============================================== (15*t^3 - 23*t^2*x + 9*t*x^2 - x^3 + 10*t^2 - 12*t*x + 2*x^2 - 7*t + 5*x - 2)*(3*t - x)^2*(3*t - x - 2) ============================================== (2*t - x + 2)*(2*t - x + 1)^2*(2*t - x - 1)^2*(2*t - x - 2) ============================================== (6*t^2 - 5*t*x + x^2 + 4*t - 2*x - 2)*(6*t^2 - 5*t*x + x^2 - 4*t + 2*x - 2)*(3*t - x)^2 ============================================== (8*t^2 - 6*t*x + x^2 + 4*t - 2*x - 4)*(8*t^2 - 6*t*x + x^2 - 2*t + x - 1)^2 ============================================== (3*t - x + 3)*(3*t - x)^4*(3*t - x - 3) ============================================== (36*t^3 - 33*t^2*x + 10*t*x^2 - x^3 + 9*t^2 - 6*t*x + x^2 - 30*t + 9*x - 3)*(4*t - x - 1)*(3*t - x)^2 ============================================== (60*t^3 - 47*t^2*x + 12*t*x^2 - x^3 - 48*t + 11*x + 12)*(4*t - x)*(3*t - x)^2 ============================================== (15*t^2 - 8*t*x + x^2 + 6*t - 2*x - 9)*(5*t - x - 1)^2*(3*t - x)^2 ============================================== (6*t^2 - 5*t*x + x^2 + 5*t - 2*x - 1)*(6*t^2 - 5*t*x + x^2 + t - 3)*(2*t - x - 1)^2 ============================================== (24*t^4 - 50*t^3*x + 35*t^2*x^2 - 10*t*x^3 + x^4 + 16*t^3 - 28*t^2*x + 14*t*x^2 - 2*x^3 - 21*t^2 + 20*t*x - 5*x^2 - 10*t + 4*x + 3)*(3*t - x - 1)^2 ============================================== (30*t^3 - 31*t^2*x + 10*t*x^2 - x^3 + 35*t^2 - 22*t*x + 3*x^2 - 2*t + 3*x - 7)*(3*t - x - 1)^2*(2*t - x - 1) ============================================== (12*t^2 - 7*t*x + x^2 + 4*t - x - 8)*(4*t - x)*(3*t - x + 1)*(3*t - x - 1)^2 ============================================== (15*t^2 - 8*t*x + x^2 + 8*t - 2*x - 7)*(5*t - x - 1)*(3*t - x + 1)*(3*t - x - 1)^2 ============================================== (15*t^2 - 8*t*x + x^2 + 10*t - 2*x - 5)*(9*t^2 - 6*t*x + x^2 - 3*t + x - 1)^2 ============================================== (3*t - x + 3)*(3*t - x + 1)*(3*t - x)^2*(3*t - x - 2)^2 ============================================== (8*t^2 - 6*t*x + x^2 + 6*t - 3*x - 2)*(8*t^2 - 6*t*x + x^2 - 2*t + x - 2)*(4*t - x - 1)^2 ============================================== (48*t^4 - 88*t^3*x + 51*t^2*x^2 - 12*t*x^3 + x^4 + 24*t^3 - 38*t^2*x + 16*t*x^2 - 2*x^3 - 33*t^2 + 34*t*x - 7*x^2 - 6*t + 2*x + 3)*(4*t - x - 1)^2 ============================================== (20*t^3 - 29*t^2*x + 10*t*x^2 - x^3 + 15*t^2 - 18*t*x + 3*x^2 - 8*t + 5*x - 3)*(4*t - x - 1)^3 ============================================== (40*t^3 - 38*t^2*x + 11*t*x^2 - x^3 + 28*t^2 - 20*t*x + 3*x^2 - 16*t + 6*x - 4)*(5*t - x - 1)*(4*t - x - 1)^2 ============================================== (60*t^3 - 47*t^2*x + 12*t*x^2 - x^3 + 39*t^2 - 22*t*x + 3*x^2 - 24*t + 7*x - 3)*(5*t - x - 1)^2*(4*t - x - 1) ============================================== (32*t^3 - 32*t^2*x + 10*t*x^2 - x^3 + 16*t^2 - 12*t*x + 2*x^2 - 20*t + 8*x - 4)*(4*t - x)*(4*t - x - 1)^2 ============================================== (12*t^2 - 7*t*x + x^2 + 13*t - 4*x + 1)*(12*t^2 - 7*t*x + x^2 - 7*t + 2*x - 1)*(4*t - x - 1)^2 ============================================== (4*t - x + 4)*(4*t - x)^3*(4*t - x - 2)^2 ============================================== (20*t^2 - 9*t*x + x^2 + 14*t - 3*x - 6)*(5*t - x - 1)*(4*t - x)^2*(4*t - x - 2) ============================================== (20*t^2 - 9*t*x + x^2 + 12*t - 3*x - 8)*(5*t - x - 1)^3*(4*t - x) ============================================== (5*t - x + 5)*(5*t - x - 1)^5 ============================================== -(6*t^2 - 7*t*x + x^2 - 6)*(t - x)^5 ============================================== -(10*t^4 - 27*t^3*x + 25*t^2*x^2 - 9*t*x^3 + x^4 - 14*t^2 + 20*t*x - 6*x^2 + 4)*(t - x)^3 ============================================== -(12*t^3 - 20*t^2*x + 9*t*x^2 - x^3 + 6*t^2 - 7*t*x + x^2 - 10*t + 6*x - 4)*(2*t - x - 1)*(t - x)^3 ============================================== -(16*t^5 - 52*t^4*x + 64*t^3*x^2 - 37*t^2*x^3 + 10*t*x^4 - x^5 - 26*t^3 + 52*t^2*x - 32*t*x^2 + 6*x^3 + 10*t - 7*x)*(t - x)^2 ============================================== -(12*t^4 - 31*t^3*x + 27*t^2*x^2 - 9*t*x^3 + x^4 - 18*t^2 + 24*t*x - 6*x^2 + 6)*(t - x)^3 ============================================== -(20*t^4 - 44*t^3*x + 33*t^2*x^2 - 10*t*x^3 + x^4 - 26*t^2 + 30*t*x - 7*x^2 + 6)*(2*t - x)*(t - x)^2 ============================================== -(30*t^5 - 91*t^4*x + 102*t^3*x^2 - 52*t^2*x^3 + 12*t*x^4 - x^5 - 38*t^3 + 73*t^2*x - 42*t*x^2 + 7*x^3 + 2*t^2 - 4*t*x + 2*x^2 + 10*t - 7*x)*(t - x)^2 ============================================== -(36*t^4 - 72*t^3*x + 47*t^2*x^2 - 12*t*x^3 + x^4 - 38*t^2 + 40*t*x - 8*x^2 + 4*t - 4*x + 6)*(2*t - x)*(t - x)^2 ============================================== -(6*t^3 - 11*t^2*x + 6*t*x^2 - x^3 - 6*t + 4*x)*(3*t^2 - 4*t*x + x^2 - 2)*(t - x)^2 ============================================== -(8*t^3 - 14*t^2*x + 7*t*x^2 - x^3 + 2*t^2 - 3*t*x + x^2 - 6*t + 4*x)*(4*t^2 - 5*t*x + x^2 - t + x - 2)*(t - x)^2 ============================================== -(30*t^4 - 61*t^3*x + 41*t^2*x^2 - 11*t*x^3 + x^4 - 36*t^2 + 40*t*x - 8*x^2 + 6)*(2*t - x)^2*(t - x) ============================================== -(48*t^4 - 92*t^3*x + 56*t^2*x^2 - 13*t*x^3 + x^4 - 48*t^2 + 51*t*x - 9*x^2 + 6*t - 6*x + 6)*(2*t - x)^2*(t - x) ============================================== -(8*t^3 - 14*t^2*x + 7*t*x^2 - x^3 - 8*t + 7*x)*(4*t^2 - 5*t*x + x^2 - 1)*(2*t - x)^2 ============================================== -(40*t^4 - 78*t^3*x + 49*t^2*x^2 - 12*t*x^3 + x^4 - 44*t^2 + 50*t*x - 9*x^2 + 4)*(2*t - x)^3 ============================================== -(10*t^3 - 17*t^2*x + 8*t*x^2 - x^3 + 2*t^2 - 3*t*x + x^2 - 8*t + 7*x)*(5*t^2 - 6*t*x + x^2 - t + x - 1)*(2*t - x)^2 ============================================== -(60*t^4 - 112*t^3*x + 65*t^2*x^2 - 14*t*x^3 + x^4 - 56*t^2 + 62*t*x - 10*x^2 + 8*t - 8*x + 4)*(2*t - x)^3 ============================================== -(10*t^2 - 7*t*x + x^2 - 10)*(5*t - x)*(2*t - x)^4 ============================================== -(12*t^2 - 8*t*x + x^2 + 2*t - x - 10)*(6*t - x - 1)*(2*t - x)^4 ============================================== -(12*t^3 - 20*t^2*x + 9*t*x^2 - x^3 + 6*t^2 - 7*t*x + x^2 - 8*t + 6*x - 2)*(2*t - x + 1)*(2*t - x - 1)^2*(t - x) ============================================== -(24*t^4 - 50*t^3*x + 35*t^2*x^2 - 10*t*x^3 + x^4 + 12*t^3 - 19*t^2*x + 8*t*x^2 - x^3 - 28*t^2 + 28*t*x - 6*x^2 - 10*t + 4*x + 6)*(2*t - x - 1)*(t - x)^2 ============================================== -(30*t^4 - 61*t^3*x + 41*t^2*x^2 - 11*t*x^3 + x^4 + 10*t^3 - 17*t^2*x + 8*t*x^2 - x^3 - 32*t^2 + 33*t*x - 7*x^2 - 6*t + 3*x + 6)*(3*t - x - 1)*(t - x)^2 ============================================== -(18*t^3 - 27*t^2*x + 10*t*x^2 - x^3 + 12*t^2 - 14*t*x + 2*x^2 - 12*t + 6*x - 6)*(3*t - x - 1)^2*(t - x)^2 ============================================== -(48*t^5 - 124*t^4*x + 120*t^3*x^2 - 55*t^2*x^3 + 12*t*x^4 - x^5 - 72*t^3 + 112*t^2*x - 54*t*x^2 + 8*x^3 + 24*t - 9*x)*(2*t - x)^2 ============================================== -(60*t^4 - 92*t^3*x + 51*t^2*x^2 - 12*t*x^3 + x^4 + 30*t^3 - 31*t^2*x + 10*t*x^2 - x^3 - 60*t^2 + 46*t*x - 8*x^2 - 24*t + 6*x + 6)*(2*t - x)^2*(2*t - x - 1) ============================================== -(80*t^5 - 196*t^4*x + 176*t^3*x^2 - 73*t^2*x^3 + 14*t*x^4 - x^5 - 106*t^3 + 153*t^2*x - 68*t*x^2 + 9*x^3 + 12*t^2 - 18*t*x + 6*x^2 + 32*t - 10*x - 6)*(2*t - x)^2 ============================================== -(96*t^4 - 136*t^3*x + 68*t^2*x^2 - 14*t*x^3 + x^4 + 48*t^3 - 44*t^2*x + 12*t*x^2 - x^3 - 80*t^2 + 58*t*x - 9*x^2 - 20*t + x + 12)*(2*t - x)^2*(2*t - x - 1) ============================================== -(24*t^4 - 50*t^3*x + 35*t^2*x^2 - 10*t*x^3 + x^4 - 30*t^2 + 36*t*x - 9*x^2 + 6)*(4*t - x)*(2*t - x)^2 ============================================== -(16*t^3 - 20*t^2*x + 8*t*x^2 - x^3 + 8*t^2 - 6*t*x + x^2 - 14*t + 7*x - 6)*(8*t^2 - 6*t*x + x^2 - 4*t + x - 1)*(2*t - x)^2 ============================================== -(240*t^5 - 428*t^4*x + 296*t^3*x^2 - 99*t^2*x^3 + 16*t*x^4 - x^5 - 262*t^3 + 279*t^2*x - 94*t*x^2 + 10*x^3 + 16*t^2 - 12*t*x + 2*x^2 + 38*t - 10*x)*(2*t - x)^2 ============================================== -(30*t^4 - 61*t^3*x + 41*t^2*x^2 - 11*t*x^3 + x^4 + 6*t^3 - 11*t^2*x + 6*t*x^2 - x^3 - 32*t^2 + 37*t*x - 9*x^2 - 2*t + x + 6)*(5*t - x - 1)*(2*t - x)^2 ============================================== -(20*t^3 - 24*t^2*x + 9*t*x^2 - x^3 + 14*t^2 - 11*t*x + 2*x^2 - 12*t + 6*x - 6)*(10*t^2 - 7*t*x + x^2 - 7*t + 2*x)*(2*t - x)^2 ============================================== -(360*t^5 - 612*t^4*x + 398*t^3*x^2 - 123*t^2*x^3 + 18*t*x^4 - x^5 - 344*t^3 + 352*t^2*x - 112*t*x^2 + 11*x^3 + 64*t^2 - 52*t*x + 10*x^2 + 42*t - 9*x - 6)*(2*t - x)^2 ============================================== -(30*t^3 - 31*t^2*x + 10*t*x^2 - x^3 + 10*t^2 - 7*t*x + x^2 - 26*t + 10*x - 6)*(5*t - x)*(3*t - x - 1)*(2*t - x)^2 ============================================== -(36*t^3 - 36*t^2*x + 11*t*x^2 - x^3 + 18*t^2 - 13*t*x + 2*x^2 - 24*t + 9*x - 6)*(6*t - x - 1)*(3*t - x - 1)*(2*t - x)^2 ============================================== -(18*t^3 - 27*t^2*x + 10*t*x^2 - x^3 + 12*t^2 - 14*t*x + 2*x^2 - 10*t + 6*x - 4)*(3*t - x)^2*(3*t - x - 2)*(t - x) ============================================== -(16*t^3 - 20*t^2*x + 8*t*x^2 - x^3 - 16*t + 6*x)*(4*t^2 - 4*t*x + x^2 - 2)*(2*t - x)^2 ============================================== -(36*t^3 - 36*t^2*x + 11*t*x^2 - x^3 - 28*t + 8*x + 8)*(6*t^2 - 5*t*x + x^2 - 2)*(2*t - x)^2 ============================================== -(12*t^3 - 19*t^2*x + 8*t*x^2 - x^3 + 6*t^2 - 8*t*x + 2*x^2 - 6*t + 4*x)*(4*t^2 - 5*t*x + x^2 - t + x - 1)^2 ============================================== -(24*t^3 - 26*t^2*x + 9*t*x^2 - x^3 + 8*t^2 - 6*t*x + x^2 - 20*t + 6*x - 4)*(6*t^2 - 5*t*x + x^2 - 2*t + x - 2)*(2*t - x)^2 ============================================== -(48*t^3 - 44*t^2*x + 12*t*x^2 - x^3 + 12*t^2 - 8*t*x + x^2 - 32*t + 8*x + 4)*(8*t^2 - 6*t*x + x^2 - 2*t + x - 2)*(2*t - x)^2 ============================================== -(36*t^4 - 69*t^3*x + 43*t^2*x^2 - 11*t*x^3 + x^4 - 42*t^2 + 48*t*x - 10*x^2 + 6)*(3*t - x)^3 ============================================== -(180*t^5 - 381*t^4*x + 284*t^3*x^2 - 98*t^2*x^3 + 16*t*x^4 - x^5 - 186*t^3 + 261*t^2*x - 98*t*x^2 + 11*x^3 + 18*t^2 - 24*t*x + 6*x^2 + 24*t - 9*x)*(3*t - x)^2 ============================================== -(72*t^4 - 126*t^3*x + 67*t^2*x^2 - 14*t*x^3 + x^4 - 66*t^2 + 72*t*x - 12*x^2 + 12*t - 12*x + 6)*(4*t - x)*(3*t - x)^2 ============================================== -(72*t^4 - 102*t^3*x + 53*t^2*x^2 - 12*t*x^3 + x^4 - 78*t^2 + 60*t*x - 11*x^2 + 6)*(4*t - x)*(3*t - x)^2 ============================================== -(48*t^4 - 88*t^3*x + 51*t^2*x^2 - 12*t*x^3 + x^4 + 12*t^3 - 19*t^2*x + 8*t*x^2 - x^3 - 48*t^2 + 52*t*x - 10*x^2 - 6*t + 4*x + 6)*(4*t - x - 1)*(3*t - x)^2 ============================================== -(480*t^5 - 736*t^4*x + 438*t^3*x^2 - 127*t^2*x^3 + 18*t*x^4 - x^5 - 468*t^3 + 437*t^2*x - 128*t*x^2 + 12*x^3 + 48*t^2 - 36*t*x + 6*x^2 + 36*t - 10*x)*(3*t - x)^2 ============================================== -(90*t^4 - 123*t^3*x + 61*t^2*x^2 - 13*t*x^3 + x^4 + 18*t^3 - 21*t^2*x + 8*t*x^2 - x^3 - 84*t^2 + 63*t*x - 11*x^2 - 6*t + 3*x + 6)*(5*t - x - 1)*(3*t - x)^2 ============================================== -(720*t^5 - 1044*t^4*x + 580*t^3*x^2 - 155*t^2*x^3 + 20*t*x^4 - x^5 - 630*t^3 + 560*t^2*x - 152*t*x^2 + 13*x^3 + 132*t^2 - 92*t*x + 14*x^2 + 36*t - 7*x - 6)*(3*t - x)^2 ============================================== -(300*t^5 - 595*t^4*x + 402*t^3*x^2 - 124*t^2*x^3 + 18*t*x^4 - x^5 - 282*t^3 + 368*t^2*x - 122*t*x^2 + 12*x^3 + 54*t^2 - 66*t*x + 12*x^2 + 30*t - 7*x - 6)*(3*t - x)^2 ============================================== -(90*t^4 - 153*t^3*x + 77*t^2*x^2 - 15*t*x^3 + x^4 + 18*t^3 - 27*t^2*x + 10*t*x^2 - x^3 - 72*t^2 + 76*t*x - 12*x^2 + 6*t - 8*x + 6)*(5*t - x - 1)*(3*t - x)^2 ============================================== -(30*t^3 - 31*t^2*x + 10*t*x^2 - x^3 + 12*t^2 - 10*t*x + 2*x^2 - 18*t + 7*x)*(10*t^2 - 7*t*x + x^2 - 2*t + x - 1)^2 ============================================== -(180*t^4 - 216*t^3*x + 91*t^2*x^2 - 16*t*x^3 + x^4 + 30*t^3 - 31*t^2*x + 10*t*x^2 - x^3 - 138*t^2 + 92*t*x - 13*x^2 + 18*t - 9*x + 6)*(6*t - x - 1)*(3*t - x)^2 ============================================== -(12*t^2 - 7*t*x + x^2 - 12)*(4*t - x)^2*(3*t - x)^3 ============================================== -(60*t^3 - 47*t^2*x + 12*t*x^2 - x^3 + 12*t^2 - 7*t*x + x^2 - 52*t + 12*x - 4)*(5*t - x - 1)*(3*t - x)^3 ============================================== -(150*t^4 - 185*t^3*x + 81*t^2*x^2 - 15*t*x^3 + x^4 - 132*t^2 + 89*t*x - 13*x^2 + 24*t - 12*x + 6)*(5*t - x)*(3*t - x)^2 ============================================== -(90*t^3 - 63*t^2*x + 14*t*x^2 - x^3 - 74*t + 14*x + 16)*(5*t - x)*(3*t - x)^3 ============================================== -(18*t^2 - 9*t*x + x^2 + 6*t - 2*x - 12)*(6*t - x - 1)^2*(3*t - x)^3 ============================================== -(6*t^3 - 11*t^2*x + 6*t*x^2 - x^3 - 6*t + 4*x)*(2*t^2 - 3*t*x + x^2 - 1)^2 ============================================== -(20*t^4 - 44*t^3*x + 33*t^2*x^2 - 10*t*x^3 + x^4 + 10*t^3 - 17*t^2*x + 8*t*x^2 - x^3 - 20*t^2 + 22*t*x - 6*x^2 - 6*t + 2*x + 4)*(2*t - x + 1)*(2*t - x - 1)^2 ============================================== -(12*t^2 - 8*t*x + x^2 + 6*t - x - 6)*(2*t - x + 1)^2*(2*t - x - 1)^3 ============================================== -(30*t^5 - 91*t^4*x + 102*t^3*x^2 - 52*t^2*x^3 + 12*t*x^4 - x^5 + 20*t^4 - 54*t^3*x + 50*t^2*x^2 - 18*t*x^3 + 2*x^4 - 30*t^3 + 56*t^2*x - 32*t*x^2 + 6*x^3 - 16*t^2 + 22*t*x - 6*x^2 + 6*t - 4*x + 2)*(3*t - x - 1)^2 ============================================== -(36*t^4 - 72*t^3*x + 47*t^2*x^2 - 12*t*x^3 + x^4 + 42*t^3 - 67*t^2*x + 28*t*x^2 - 3*x^3 - 6*t^2 + 8*t*x - 4*x^2 - 14*t + 10*x - 2)*(3*t - x - 1)^2*(2*t - x - 1) ============================================== -(12*t^3 - 16*t^2*x + 7*t*x^2 - x^3 + 6*t^2 - 5*t*x + x^2 - 8*t + 4*x - 2)*(6*t^2 - 5*t*x + x^2 + 3*t - x - 2)*(2*t - x - 1)^2 ============================================== -(16*t^3 - 20*t^2*x + 8*t*x^2 - x^3 + 12*t^2 - 10*t*x + 2*x^2 - 6*t + 3*x - 2)*(8*t^2 - 6*t*x + x^2 + 2*t - 3)*(2*t - x - 1)^2 ============================================== -(60*t^4 - 107*t^3*x + 59*t^2*x^2 - 13*t*x^3 + x^4 + 20*t^3 - 29*t^2*x + 10*t*x^2 - x^3 - 48*t^2 + 51*t*x - 9*x^2 - 4*t + x + 4)*(3*t - x + 1)*(3*t - x - 1)^2 ============================================== -(90*t^4 - 153*t^3*x + 77*t^2*x^2 - 15*t*x^3 + x^4 + 30*t^3 - 41*t^2*x + 12*t*x^2 - x^3 - 62*t^2 + 64*t*x - 10*x^2 + 2*t - 6*x + 4)*(3*t - x + 1)*(3*t - x - 1)^2 ============================================== -(30*t^3 - 31*t^2*x + 10*t*x^2 - x^3 + 10*t^2 - 7*t*x + x^2 - 22*t + 10*x - 2)*(5*t - x)*(3*t - x + 1)*(3*t - x - 1)^2 ============================================== -(36*t^3 - 36*t^2*x + 11*t*x^2 - x^3 + 18*t^2 - 13*t*x + 2*x^2 - 20*t + 9*x - 2)*(6*t - x - 1)*(3*t - x + 1)*(3*t - x - 1)^2 ============================================== -(8*t^3 - 12*t^2*x + 6*t*x^2 - x^3 - 4*t^2 + 4*t*x - x^2 - 4*t + 2*x + 1)^2*(2*t - x + 2) ============================================== -(18*t^3 - 27*t^2*x + 10*t*x^2 - x^3 + 12*t^2 - 14*t*x + 2*x^2 - 8*t + 6*x - 2)*(9*t^2 - 6*t*x + x^2 - 3*t + x - 1)^2 ============================================== -(18*t^3 - 21*t^2*x + 8*t*x^2 - x^3 + 12*t^2 - 10*t*x + 2*x^2 - 12*t + 4*x - 6)*(6*t^2 - 5*t*x + x^2 - 2*t + x - 1)^2 ============================================== -(48*t^3 - 44*t^2*x + 12*t*x^2 - x^3 + 24*t^2 - 16*t*x + 2*x^2 - 24*t + 7*x)*(8*t^2 - 6*t*x + x^2 - 2*t + x - 1)^2 ============================================== -(30*t^4 - 61*t^3*x + 41*t^2*x^2 - 11*t*x^3 + x^4 + 20*t^3 - 34*t^2*x + 16*t*x^2 - 2*x^3 - 26*t^2 + 24*t*x - 6*x^2 - 12*t + 4*x + 4)*(3*t - x)^2*(3*t - x - 2) ============================================== -(36*t^3 - 36*t^2*x + 11*t*x^2 - x^3 + 42*t^2 - 25*t*x + 3*x^2 - 2*t + 4*x - 8)*(3*t - x)^2*(3*t - x - 2)*(2*t - x - 1) ============================================== -(48*t^5 - 124*t^4*x + 120*t^3*x^2 - 55*t^2*x^3 + 12*t*x^4 - x^5 + 32*t^4 - 72*t^3*x + 56*t^2*x^2 - 18*t*x^3 + 2*x^4 - 54*t^3 + 80*t^2*x - 38*t*x^2 + 6*x^3 - 28*t^2 + 28*t*x - 6*x^2 + 12*t - 7*x + 2)*(3*t - x - 1)^2 ============================================== -(36*t^4 - 69*t^3*x + 43*t^2*x^2 - 11*t*x^3 + x^4 + 24*t^3 - 38*t^2*x + 16*t*x^2 - 2*x^3 - 36*t^2 + 30*t*x - 6*x^2 - 18*t + 6*x + 6)*(3*t - x - 1)^2*(t - x) ============================================== -(60*t^4 - 92*t^3*x + 51*t^2*x^2 - 12*t*x^3 + x^4 + 40*t^3 - 48*t^2*x + 18*t*x^2 - 2*x^3 - 54*t^2 + 38*t*x - 7*x^2 - 28*t + 8*x + 6)*(3*t - x - 1)^2*(2*t - x) ============================================== -(90*t^5 - 213*t^4*x + 184*t^3*x^2 - 74*t^2*x^3 + 14*t*x^4 - x^5 + 60*t^4 - 122*t^3*x + 82*t^2*x^2 - 22*t*x^3 + 2*x^4 - 78*t^3 + 113*t^2*x - 50*t*x^2 + 7*x^3 - 34*t^2 + 32*t*x - 6*x^2 + 16*t - 11*x + 2)*(3*t - x - 1)^2 ============================================== -(108*t^4 - 144*t^3*x + 69*t^2*x^2 - 14*t*x^3 + x^4 + 72*t^3 - 72*t^2*x + 22*t*x^2 - 2*x^3 - 78*t^2 + 50*t*x - 8*x^2 - 28*t + 6*x + 14)*(3*t - x - 1)^2*(2*t - x) ============================================== -(60*t^4 - 107*t^3*x + 59*t^2*x^2 - 13*t*x^3 + x^4 + 30*t^3 - 46*t^2*x + 18*t*x^2 - 2*x^3 - 48*t^2 + 44*t*x - 8*x^2 - 12*t + 4*x + 6)*(4*t - x - 1)^2*(t - x) ============================================== -(24*t^3 - 34*t^2*x + 11*t*x^2 - x^3 + 18*t^2 - 21*t*x + 3*x^2 - 12*t + 6*x - 6)*(4*t - x - 1)^3*(t - x) ============================================== -(160*t^5 - 352*t^4*x + 274*t^3*x^2 - 97*t^2*x^3 + 16*t*x^4 - x^5 + 80*t^4 - 156*t^3*x + 98*t^2*x^2 - 24*t*x^3 + 2*x^4 - 122*t^3 + 178*t^2*x - 74*t*x^2 + 9*x^3 - 34*t^2 + 34*t*x - 6*x^2 + 10*t - 4*x + 2)*(4*t - x - 1)^2 ============================================== -(20*t^3 - 29*t^2*x + 10*t*x^2 - x^3 + 14*t^2 - 17*t*x + 3*x^2 - 8*t + 5*x - 2)*(5*t^2 - 6*t*x + x^2 - t + x - 1)*(4*t - x - 1)^2 ============================================== -(240*t^5 - 508*t^4*x + 372*t^3*x^2 - 121*t^2*x^3 + 18*t*x^4 - x^5 + 120*t^4 - 224*t^3*x + 130*t^2*x^2 - 28*t*x^3 + 2*x^4 - 158*t^3 + 226*t^2*x - 90*t*x^2 + 10*x^3 - 26*t^2 + 18*t*x + 14*t - 8*x + 2)*(4*t - x - 1)^2 ============================================== -(40*t^3 - 38*t^2*x + 11*t*x^2 - x^3 + 20*t^2 - 14*t*x + 2*x^2 - 28*t + 10*x - 8)*(5*t - x)*(4*t - x - 1)^2*(2*t - x) ============================================== -(48*t^3 - 44*t^2*x + 12*t*x^2 - x^3 + 32*t^2 - 22*t*x + 3*x^2 - 24*t + 8*x - 8)*(6*t - x - 1)*(4*t - x - 1)^2*(2*t - x) ============================================== -(24*t^3 - 26*t^2*x + 9*t*x^2 - x^3 + 22*t^2 - 17*t*x + 3*x^2 - 6*t + 2*x - 4)*(12*t^2 - 7*t*x + x^2 - 11*t + 3*x)*(3*t - x)^2 ============================================== -(18*t^3 - 21*t^2*x + 8*t*x^2 - x^3 + 12*t^2 - 10*t*x + 2*x^2 - 10*t + 4*x - 4)*(9*t^2 - 6*t*x + x^2 - 6*t + 2*x - 2)*(3*t - x)^2 ============================================== -(60*t^4 - 107*t^3*x + 59*t^2*x^2 - 13*t*x^3 + x^4 + 24*t^3 - 38*t^2*x + 16*t*x^2 - 2*x^3 - 48*t^2 + 50*t*x - 10*x^2 - 6*t + 2*x + 6)*(5*t - x - 1)^2*(3*t - x) ============================================== -(16*t^3 - 24*t^2*x + 9*t*x^2 - x^3 + 8*t^2 - 10*t*x + 2*x^2 - 10*t + 7*x - 2)*(4*t^2 - 5*t*x + x^2 - 1)*(4*t - x - 1)^2 ============================================== -(72*t^3 - 54*t^2*x + 13*t*x^2 - x^3 + 42*t^2 - 23*t*x + 3*x^2 - 36*t + 10*x - 6)*(6*t - x - 1)^2*(4*t - x - 1)*(3*t - x) ============================================== -(80*t^4 - 136*t^3*x + 69*t^2*x^2 - 14*t*x^3 + x^4 + 40*t^3 - 58*t^2*x + 20*t*x^2 - 2*x^3 - 52*t^2 + 52*t*x - 9*x^2 - 8*t + 2*x + 4)*(4*t - x)^2*(4*t - x - 2) ============================================== -(120*t^4 - 194*t^3*x + 89*t^2*x^2 - 16*t*x^3 + x^4 + 60*t^3 - 82*t^2*x + 24*t*x^2 - 2*x^3 - 68*t^2 + 66*t*x - 10*x^2 - 4*t - 4*x + 4)*(4*t - x)^2*(4*t - x - 2) ============================================== -(40*t^3 - 38*t^2*x + 11*t*x^2 - x^3 + 20*t^2 - 14*t*x + 2*x^2 - 24*t + 10*x - 4)*(5*t - x)*(4*t - x)^2*(4*t - x - 2) ============================================== -(48*t^3 - 44*t^2*x + 12*t*x^2 - x^3 + 32*t^2 - 22*t*x + 3*x^2 - 20*t + 8*x - 4)*(6*t - x - 1)*(4*t - x)^2*(4*t - x - 2) ============================================== -(18*t^3 - 21*t^2*x + 8*t*x^2 - x^3 - 18*t + 7*x)*(6*t^2 - 5*t*x + x^2 - 1)^2 ============================================== -(18*t^2 - 9*t*x + x^2 + 12*t - 2*x - 6)*(3*t - x + 1)^2*(3*t - x - 1)^2*(3*t - x - 2) ============================================== -(32*t^3 - 32*t^2*x + 10*t*x^2 - x^3 + 16*t^2 - 12*t*x + 2*x^2 - 16*t + 6*x)*(8*t^2 - 6*t*x + x^2 - 4*t + 2*x - 2)*(4*t - x)^2 ============================================== -(72*t^3 - 54*t^2*x + 13*t*x^2 - x^3 + 36*t^2 - 18*t*x + 2*x^2 - 32*t + 8*x + 4)*(12*t^2 - 7*t*x + x^2 - 6*t + 2*x - 2)*(4*t - x)^2 ============================================== -(48*t^4 - 88*t^3*x + 51*t^2*x^2 - 12*t*x^3 + x^4 + 24*t^3 - 38*t^2*x + 16*t*x^2 - 2*x^3 - 42*t^2 + 42*t*x - 9*x^2 - 12*t + 6*x + 6)*(4*t - x)*(4*t - x - 1)^2 ============================================== -(120*t^4 - 154*t^3*x + 71*t^2*x^2 - 14*t*x^3 + x^4 + 48*t^3 - 52*t^2*x + 18*t*x^2 - 2*x^3 - 90*t^2 + 64*t*x - 11*x^2 - 12*t + 4*x + 6)*(5*t - x - 1)^2*(4*t - x) ============================================== -(300*t^5 - 595*t^4*x + 402*t^3*x^2 - 124*t^2*x^3 + 18*t*x^4 - x^5 + 120*t^4 - 214*t^3*x + 118*t^2*x^2 - 26*t*x^3 + 2*x^4 - 216*t^3 + 283*t^2*x - 102*t*x^2 + 11*x^3 - 12*t^2 - 2*t*x + 2*x^2 + 24*t - 9*x)*(5*t - x - 1)^2 ============================================== -(120*t^4 - 194*t^3*x + 89*t^2*x^2 - 16*t*x^3 + x^4 + 48*t^3 - 68*t^2*x + 22*t*x^2 - 2*x^3 - 78*t^2 + 78*t*x - 12*x^2 - 6*x + 6)*(5*t - x - 1)^2*(4*t - x) ============================================== -(40*t^3 - 38*t^2*x + 11*t*x^2 - x^3 + 24*t^2 - 18*t*x + 3*x^2 - 16*t + 6*x)*(10*t^2 - 7*t*x + x^2 - 2*t + x - 2)*(5*t - x - 1)^2 ============================================== -(36*t^3 - 33*t^2*x + 10*t*x^2 - x^3 + 18*t^2 - 12*t*x + 2*x^2 - 24*t + 7*x - 6)*(12*t^2 - 7*t*x + x^2 - 3*t + x - 1)^2 ============================================== -(90*t^3 - 63*t^2*x + 14*t*x^2 - x^3 + 36*t^2 - 18*t*x + 2*x^2 - 48*t + 10*x + 6)*(15*t^2 - 8*t*x + x^2 - 3*t + x - 1)^2 ============================================== -(360*t^4 - 342*t^3*x + 119*t^2*x^2 - 18*t*x^3 + x^4 + 120*t^3 - 94*t^2*x + 24*t*x^2 - 2*x^3 - 222*t^2 + 114*t*x - 14*x^2 + 24*t - 8*x + 6)*(6*t - x - 1)^2*(4*t - x) ============================================== -(48*t^3 - 40*t^2*x + 11*t*x^2 - x^3 + 12*t^2 - 7*t*x + x^2 - 42*t + 12*x - 6)*(4*t - x)^2*(4*t - x - 1)*(3*t - x) ============================================== -(48*t^3 - 40*t^2*x + 11*t*x^2 - x^3 + 40*t^2 - 22*t*x + 3*x^2 - 12*t + 4*x - 4)*(12*t^2 - 7*t*x + x^2 - 10*t + 3*x)*(4*t - x)^2 ============================================== -(240*t^4 - 248*t^3*x + 95*t^2*x^2 - 16*t*x^3 + x^4 - 210*t^2 + 110*t*x - 14*x^2 + 36*t - 12*x + 6)*(4*t - x)^3 ============================================== -(24*t^2 - 10*t*x + x^2 + 18*t - 3*x - 6)*(4*t - x)^4*(4*t - x - 3) ============================================== -(4*t - x + 4)*(4*t - x + 1)*(4*t - x)^2*(4*t - x - 1)^2*(4*t - x - 3) ============================================== -(80*t^3 - 56*t^2*x + 13*t*x^2 - x^3 + 16*t^2 - 8*t*x + x^2 - 58*t + 13*x + 6)*(20*t^2 - 9*t*x + x^2 - 4*t + x - 1)*(4*t - x)^2 ============================================== -(60*t^3 - 47*t^2*x + 12*t*x^2 - x^3 + 24*t^2 - 14*t*x + 2*x^2 - 42*t + 12*x - 6)*(5*t - x - 1)^2*(4*t - x)^2 ============================================== -(480*t^4 - 416*t^3*x + 134*t^2*x^2 - 19*t*x^3 + x^4 + 96*t^3 - 64*t^2*x + 14*t*x^2 - x^3 - 346*t^2 + 145*t*x - 15*x^2 + 44*t - 11*x + 6)*(5*t - x - 1)*(4*t - x)^2 ============================================== -(20*t^2 - 9*t*x + x^2 + 8*t - 2*x - 12)*(5*t - x)^2*(5*t - x - 2)*(4*t - x)^2 ============================================== -(120*t^3 - 74*t^2*x + 15*t*x^2 - x^3 + 20*t^2 - 9*t*x + x^2 - 82*t + 16*x + 18)*(6*t - x - 1)*(5*t - x)*(4*t - x)^2 ============================================== -(24*t^2 - 10*t*x + x^2 + 12*t - 3*x - 12)*(6*t - x - 1)^3*(4*t - x)^2 ============================================== -(24*t^3 - 26*t^2*x + 9*t*x^2 - x^3 + 8*t^2 - 6*t*x + x^2 - 16*t + 6*x)*(6*t^2 - 5*t*x + x^2 + 2*t - x - 2)*(3*t - x - 1)^2 ============================================== -(72*t^4 - 102*t^3*x + 53*t^2*x^2 - 12*t*x^3 + x^4 + 84*t^3 - 85*t^2*x + 28*t*x^2 - 3*x^3 - 24*t^2 + 20*t*x - 4*x^2 - 32*t + 10*x + 4)*(3*t - x - 1)^2*(2*t - x - 1) ============================================== -(90*t^4 - 123*t^3*x + 61*t^2*x^2 - 13*t*x^3 + x^4 + 90*t^3 - 93*t^2*x + 30*t*x^2 - 3*x^3 - 40*t^2 + 27*t*x - 5*x^2 - 34*t + 11*x + 6)*(3*t - x - 1)^3 ============================================== -(18*t^2 - 9*t*x + x^2 + 12*t - 2*x - 6)*(3*t - x + 2)*(3*t - x - 1)^4 ============================================== -(36*t^3 - 33*t^2*x + 10*t*x^2 - x^3 + 24*t^2 - 14*t*x + 2*x^2 - 16*t + 5*x - 4)*(9*t^2 - 6*t*x + x^2 - 3)*(3*t - x - 1)^2 ============================================== -(72*t^3 - 54*t^2*x + 13*t*x^2 - x^3 + 42*t^2 - 19*t*x + 2*x^2 - 28*t + 7*x + 2)*(12*t^2 - 7*t*x + x^2 + t - 3)*(3*t - x - 1)^2 ============================================== -(96*t^5 - 224*t^4*x + 190*t^3*x^2 - 75*t^2*x^3 + 14*t*x^4 - x^5 + 48*t^4 - 100*t^3*x + 70*t^2*x^2 - 20*t*x^3 + 2*x^4 - 102*t^3 + 134*t^2*x - 58*t*x^2 + 8*x^3 - 30*t^2 + 22*t*x - 4*x^2 + 24*t - 9*x)*(4*t - x - 1)^2 ============================================== -(120*t^4 - 154*t^3*x + 71*t^2*x^2 - 14*t*x^3 + x^4 + 120*t^3 - 109*t^2*x + 32*t*x^2 - 3*x^3 - 42*t^2 + 34*t*x - 6*x^2 - 36*t + 10*x + 6)*(4*t - x - 1)^2*(2*t - x - 1) ============================================== -(40*t^4 - 78*t^3*x + 49*t^2*x^2 - 12*t*x^3 + x^4 + 30*t^3 - 51*t^2*x + 24*t*x^2 - 3*x^3 - 32*t^2 + 26*t*x - 6*x^2 - 18*t + 6*x + 4)*(4*t - x - 1)^3 ============================================== -(48*t^3 - 44*t^2*x + 12*t*x^2 - x^3 + 60*t^2 - 34*t*x + 4*x^2 + 2*t + 3*x - 10)*(4*t - x - 1)^3*(2*t - x - 1) ============================================== -(480*t^5 - 736*t^4*x + 438*t^3*x^2 - 127*t^2*x^3 + 18*t*x^4 - x^5 + 240*t^4 - 308*t^3*x + 142*t^2*x^2 - 28*t*x^3 + 2*x^4 - 362*t^3 + 337*t^2*x - 102*t*x^2 + 10*x^3 - 68*t^2 + 42*t*x - 6*x^2 + 56*t - 14*x + 2)*(4*t - x - 1)^2 ============================================== -(60*t^4 - 107*t^3*x + 59*t^2*x^2 - 13*t*x^3 + x^4 + 42*t^3 - 65*t^2*x + 26*t*x^2 - 3*x^3 - 40*t^2 + 35*t*x - 7*x^2 - 18*t + 7*x + 4)*(5*t - x - 1)*(4*t - x - 1)^2 ============================================== -(40*t^3 - 38*t^2*x + 11*t*x^2 - x^3 + 48*t^2 - 29*t*x + 4*x^2 + 2*t + 2*x - 6)*(10*t^2 - 7*t*x + x^2 - 7*t + 2*x)*(4*t - x - 1)^2 ============================================== -(720*t^5 - 1044*t^4*x + 580*t^3*x^2 - 155*t^2*x^3 + 20*t*x^4 - x^5 + 360*t^4 - 432*t^3*x + 182*t^2*x^2 - 32*t*x^3 + 2*x^4 - 490*t^3 + 430*t^2*x - 122*t*x^2 + 11*x^3 - 54*t^2 + 18*t*x + 70*t - 17*x - 6)*(4*t - x - 1)^2 ============================================== -(60*t^3 - 47*t^2*x + 12*t*x^2 - x^3 + 50*t^2 - 25*t*x + 3*x^2 - 24*t + 8*x - 14)*(5*t - x)*(4*t - x - 1)^2*(3*t - x - 1) ============================================== -(72*t^3 - 54*t^2*x + 13*t*x^2 - x^3 + 72*t^2 - 35*t*x + 4*x^2 - 12*t + 5*x - 12)*(6*t - x - 1)*(4*t - x - 1)^2*(3*t - x - 1) ============================================== -(36*t^3 - 33*t^2*x + 10*t*x^2 - x^3 + 42*t^2 - 26*t*x + 4*x^2 - 6)*(12*t^2 - 7*t*x + x^2 - 7*t + 2*x)^2 ============================================== -(24*t^3 - 26*t^2*x + 9*t*x^2 - x^3 + 18*t^2 - 15*t*x + 3*x^2 - 12*t + 4*x - 6)*(12*t^2 - 7*t*x + x^2 - 3*t + x - 2)*(4*t - x - 1)^2 ============================================== -(32*t^3 - 32*t^2*x + 10*t*x^2 - x^3 + 32*t^2 - 20*t*x + 3*x^2 - 8*t + 5*x - 8)*(8*t^2 - 6*t*x + x^2 - 4*t + x - 1)*(4*t - x - 1)^2 ============================================== -(32*t^3 - 32*t^2*x + 10*t*x^2 - x^3 + 32*t^2 - 24*t*x + 4*x^2 - 6*t + x - 6)*(16*t^2 - 8*t*x + x^2 - 8*t + 2*x - 1)*(4*t - x - 1)^2 ============================================== -(80*t^4 - 136*t^3*x + 69*t^2*x^2 - 14*t*x^3 + x^4 + 52*t^3 - 77*t^2*x + 28*t*x^2 - 3*x^3 - 48*t^2 + 44*t*x - 8*x^2 - 16*t + 6*x + 4)*(5*t - x - 1)^2*(4*t - x - 1) ============================================== -(80*t^3 - 56*t^2*x + 13*t*x^2 - x^3 + 36*t^2 - 17*t*x + 2*x^2 - 48*t + 11*x - 4)*(5*t - x - 1)*(4*t - x + 1)*(4*t - x - 1)^2 ============================================== -(120*t^3 - 74*t^2*x + 15*t*x^2 - x^3 + 30*t^2 - 11*t*x + x^2 - 76*t + 14*x + 14)*(5*t - x)*(4*t - x + 1)*(4*t - x - 1)^2 ============================================== -(24*t^2 - 10*t*x + x^2 + 14*t - 3*x - 10)*(6*t - x - 1)^2*(4*t - x + 1)*(4*t - x - 1)^2 ============================================== -(20*t^2 - 9*t*x + x^2 + 10*t - 2*x - 10)*(16*t^2 - 8*t*x + x^2 - 4*t + x - 1)^2*(5*t - x) ============================================== -(24*t^2 - 10*t*x + x^2 + 16*t - 3*x - 8)*(16*t^2 - 8*t*x + x^2 - 4*t + x - 1)^2*(6*t - x - 1) ============================================== -(24*t^2 - 10*t*x + x^2 + 18*t - 3*x - 6)*(4*t - x + 1)*(4*t - x)^2*(4*t - x - 2)^2 ============================================== -(64*t^3 - 48*t^2*x + 12*t*x^2 - x^3 - 32*t^2 + 16*t*x - 2*x^2 - 4*t + x + 1)^2*(4*t - x + 4) ============================================== -(60*t^3 - 47*t^2*x + 12*t*x^2 - x^3 + 54*t^2 - 30*t*x + 4*x^2 - 12*t + 3*x - 6)*(20*t^2 - 9*t*x + x^2 - 9*t + 2*x)^2 ============================================== -(120*t^3 - 74*t^2*x + 15*t*x^2 - x^3 + 64*t^2 - 28*t*x + 3*x^2 - 52*t + 11*x + 4)*(20*t^2 - 9*t*x + x^2 - 4*t + x - 1)*(6*t - x - 1)^2 ============================================== -(60*t^3 - 47*t^2*x + 12*t*x^2 - x^3 + 56*t^2 - 30*t*x + 4*x^2 - 8*t + 3*x - 4)*(15*t^2 - 8*t*x + x^2 - 8*t + 2*x - 1)*(5*t - x - 1)^2 ============================================== -(90*t^3 - 63*t^2*x + 14*t*x^2 - x^3 + 54*t^2 - 27*t*x + 3*x^2 - 34*t + 8*x + 2)*(15*t^2 - 8*t*x + x^2 - 3*t + x - 2)*(5*t - x - 1)^2 ============================================== -(800*t^5 - 1120*t^4*x + 602*t^3*x^2 - 157*t^2*x^3 + 20*t*x^4 - x^5 + 320*t^4 - 384*t^3*x + 164*t^2*x^2 - 30*t*x^3 + 2*x^4 - 556*t^3 + 483*t^2*x - 134*t*x^2 + 12*x^3 - 40*t^2 + 10*t*x + 38*t - 10*x + 2)*(5*t - x - 1)^2 ============================================== -(150*t^4 - 185*t^3*x + 81*t^2*x^2 - 15*t*x^3 + x^4 + 90*t^3 - 93*t^2*x + 30*t*x^2 - 3*x^3 - 84*t^2 + 57*t*x - 9*x^2 - 18*t + 7*x + 6)*(5*t - x - 1)^3 ============================================== -(1200*t^5 - 1580*t^4*x + 788*t^3*x^2 - 189*t^2*x^3 + 22*t*x^4 - x^5 + 480*t^4 - 536*t^3*x + 208*t^2*x^2 - 34*t*x^3 + 2*x^4 - 754*t^3 + 624*t^2*x - 160*t*x^2 + 13*x^3 + 24*t^2 - 32*t*x + 6*x^2 + 54*t - 11*x - 4)*(5*t - x - 1)^2 ============================================== -(100*t^4 - 165*t^3*x + 79*t^2*x^2 - 15*t*x^3 + x^4 + 60*t^3 - 87*t^2*x + 30*t*x^2 - 3*x^3 - 56*t^2 + 53*t*x - 9*x^2 - 12*t + 3*x + 4)*(5*t - x - 1)^3 ============================================== -(30*t^3 - 41*t^2*x + 12*t*x^2 - x^3 + 24*t^2 - 28*t*x + 4*x^2 - 10*t + 6*x - 4)*(5*t - x - 1)^4 ============================================== -(60*t^3 - 52*t^2*x + 13*t*x^2 - x^3 + 46*t^2 - 31*t*x + 4*x^2 - 20*t + 7*x - 6)*(6*t - x - 1)*(5*t - x - 1)^3 ============================================== -(90*t^3 - 63*t^2*x + 14*t*x^2 - x^3 + 66*t^2 - 34*t*x + 4*x^2 - 30*t + 8*x - 6)*(6*t - x - 1)^2*(5*t - x - 1)^2 ============================================== -(120*t^3 - 74*t^2*x + 15*t*x^2 - x^3 + 84*t^2 - 37*t*x + 4*x^2 - 40*t + 9*x - 4)*(6*t - x - 1)^3*(5*t - x - 1) ============================================== -(50*t^3 - 45*t^2*x + 12*t*x^2 - x^3 + 30*t^2 - 21*t*x + 3*x^2 - 26*t + 10*x - 6)*(5*t - x)*(5*t - x - 1)^3 ============================================== -(300*t^4 - 295*t^3*x + 107*t^2*x^2 - 17*t*x^3 + x^4 + 180*t^3 - 141*t^2*x + 36*t*x^2 - 3*x^3 - 158*t^2 + 80*t*x - 10*x^2 - 40*t + 10*x - 2)*(5*t - x - 1)^3 ============================================== -(450*t^4 - 405*t^3*x + 133*t^2*x^2 - 19*t*x^3 + x^4 + 180*t^3 - 126*t^2*x + 28*t*x^2 - 2*x^3 - 268*t^2 + 126*t*x - 14*x^2 + 10*t - 6*x + 8)*(5*t - x)*(5*t - x - 1)^2 ============================================== -(120*t^3 - 74*t^2*x + 15*t*x^2 - x^3 + 102*t^2 - 41*t*x + 4*x^2 - 20*t + 5*x - 2)*(20*t^2 - 9*t*x + x^2 - 9*t + 2*x - 1)*(5*t - x - 1)^2 ============================================== -(100*t^3 - 65*t^2*x + 14*t*x^2 - x^3 + 60*t^2 - 27*t*x + 3*x^2 - 44*t + 10*x - 4)*(5*t - x)^2*(5*t - x - 1)*(5*t - x - 2) ============================================== -(30*t^2 - 11*t*x + x^2 + 24*t - 4*x - 6)*(5*t - x)^3*(5*t - x - 2)^2 ============================================== -(30*t^2 - 11*t*x + x^2 + 22*t - 4*x - 8)*(6*t - x - 1)^2*(5*t - x)^2*(5*t - x - 2) ============================================== -(30*t^2 - 11*t*x + x^2 + 20*t - 4*x - 10)*(6*t - x - 1)^4*(5*t - x) ============================================== -(6*t - x + 6)*(6*t - x - 1)^6 ============================================== |