#2e2_1e1p2.disc
#
#    Here are the two factors of the discriminanr in the case of 2-planes
# that meet 2 3-planes and 4 4-planes in C^6.  It is a polynomial of degree
#6 in the 
# variable x25 and the parameters s, t, u, and v.
#

# Constant:=4194304:

Disc1:=
expand((-3*t*v^2-3*s*v^2-3*u*v^2-3*s^2*v-3*u*s^2-3*t*s^2+3*u*t*v+3*u*t*s
   +5*v^3+5*t^3-3*t^2*v-3*t^2*s+3*t*s*v+3*u*s*v-3*u^2*s-3*u^2*v+5*u^3
   -3*t^2*u-3*u^2*t+5*s^3)^2):

Disc2:=
1729350*u^9*s^10*t*v^4+1368711*u^4*s^3*t^10*v^7+629748*s^10*u^4*t^6*v^4+5163507
*u^12*s^4*t^4*v^4-1150923*s^9*u^5*t^4*v^6+1289844*u^9*s*t^8*v^6+2286144*u*s^9*t
^11*v^3+629748*u^2*s^8*t^6*v^8-82902*s^5*u^3*t^7*v^9+3609810*s^10*u^4*t^5*v^5-\
4252209*u^8*s^4*t^7*v^5-2318313*u^3*s^4*t^8*v^9-3608064*u^11*s^4*t^4*v^5-\
3247776*u^2*s^9*t^11*v^2-1150923*u^8*s^3*t^6*v^7+1010520*u^10*s^7*t^5*v^2-\
2784051*u^11*s*t^4*v^8-1045386*u^12*s^4*t^2*v^6+1844127*s^5*u*t^10*v^8+1289844*
t^9*s^6*u^8*v+1844127*u^5*s^8*t*v^10+1729350*u^4*s^9*t^10*v-1150923*s^7*u^6*t^3
*v^8+1043928*t^10*u^10*v^4+1043928*u^2*s^8*t^12*v^2+3609810*u^7*s^8*t^2*v^7+
3007110*u^9*s^7*t^4*v^4-3134619*u^7*s*t^6*v^10+3007110*u^4*s^9*t^7*v^4-5467437*
u^9*s^2*t^7*v^6+3007110*u^5*s^3*t^8*v^8-1150923*u^3*s^8*t^6*v^7-3134619*u^2*s^6
*t^11*v^5-3608064*u*s^8*t^7*v^8-3134619*u^10*s^6*t^7*v-3247776*u^3*s^10*t*v^10-\
3247776*u^10*s^3*t*v^10-2082024*u^3*s^5*t^12*v^4+2286144*u^3*s*t^9*v^11-82902*u
^3*s^7*t^5*v^9-2784051*u*s^8*t^4*v^11+1729350*u^2*s^3*t^8*v^11-3608064*u^4*s^4*
t^11*v^5-1150923*u^4*s^5*t^9*v^6-1150923*u^6*s^8*t^3*v^7-2082024*u^4*s^5*t^12*v
^3+3609810*u^4*s^5*t^10*v^5+1345005*u^12*s^7*t^4*v-2784051*s^4*u^8*t*v^11+
629748*u^4*s^6*t^4*v^10-1150923*u^6*s^5*t^9*v^4-734832*u^3*s^8*t^12*v-1045386*s
^12*u^2*t^4*v^6+2286144*u^9*s*t^3*v^11-793881*u*s^12*t^6*v^5-2082024*s^8*t^9*v^
7-2318313*u^4*s^8*t^3*v^9+629748*u^6*s^8*t^2*v^8-835434*u^12*s^3*t^7*v^2-82902*
s^5*u^9*t^3*v^7+1289844*u^6*s*t^9*v^8+8849438*u^6*s^6*t^3*v^9-13939944*u^6*s^7*
t^5*v^6-3608064*u^4*s^5*t^11*v^4-3608064*s^5*u^11*t^4*v^4+3007110*s^5*u^3*t^8*v
^8+1844127*t^7*u^4*s^2*v^11+1010520*s^5*u^10*t^2*v^7-13939944*t^5*u^7*s^6*v^6-\
3134619*u^6*s^5*t^11*v^2-4252209*s^5*u^4*t^7*v^8-793881*s^7*u^11*t^6+1844127*u^
4*s^7*t^11*v^2+4613904*t^2*s^10*u^2*v^10+2380914*u^6*s*t^11*v^6-1150923*u^3*s^7
*t^8*v^6-3247776*u^3*t^10*s*v^10+2738124*u^3*s^12*t^6*v^3-5467437*t^7*u^2*s^9*v
^6+3007110*u^8*s^8*t^3*v^5+1368711*s^5*u^9*t^2*v^8+1368711*u^7*s^10*t^3*v^4+
1010520*u^7*s^10*t^5*v^2-4252209*s^5*u^8*t^7*v^4+4613904*u^10*s^10*t^2*v^2+
2130924*u^4*s^8*t^4*v^8+4550152*t^3*s^3*u^9*v^9-154584*t^3*s^10*u^8*v^3+1010520
*t^2*s^10*u^7*v^5-3134619*s^5*u^2*t^6*v^11-1150923*s^6*u^8*t^7*v^3+1844127*t^2*
s^11*u^4*v^7-3134619*t^2*s^11*u^5*v^6-3608064*t^8*s*u^8*v^7-5467437*t^2*s^7*u^6
*v^9+3609810*t^2*s^7*u^8*v^7+5272452*u^7*s*t^7*v^9-1045386*u^6*s^12*t^4*v^2-\
3134619*u^11*s^2*t^6*v^5-154584*u^3*s^8*t^10*v^3+1729350*u^10*s^4*t*v^9-2082024
*u^12*s^3*t^4*v^5+9815304*t^5*s^7*u^5*v^7-1160019*s^10*u^8*t^2*v^4+371790*t^11*
s*u^5*v^7-2318313*t^8*s^3*u^4*v^9+5272452*u^9*t^7*s*v^7+3007110*u^3*s^8*t^5*v^8
-6551568*u^3*s^7*t^7*v^7-1160019*s^8*u^4*t^10*v^2-3134619*s^6*u^7*t^10*v+
2380914*s^11*u^6*t*v^6-3134619*u^10*s*t^6*v^7-835434*s^12*u^3*t^7*v^2-2784051*u
^11*s^4*t^8*v+4613904*u^2*t^10*s^2*v^10-734832*u^3*t^12*s*v^8+4550152*t^9*s^9*u
^3*v^3+1729350*t^4*s*u^9*v^10+1368711*t^9*s^2*u^8*v^5-1074204*t^9*s^3*u^10*v^2+
9815304*s^5*u^7*t^7*v^5+1729350*t^3*s^11*u^2*v^8+1368711*t^8*s^9*u^2*v^5-793881
*t^5*s*u^12*v^6-154584*t^8*s^3*u^3*v^10-1160019*t^10*s^8*u^2*v^4-1045386*u^12*s
^6*t^4*v^2+1729350*t^4*s^9*u^10*v+5272452*u^7*s^9*t^7*v+1844127*u^4*s^11*t^7*v^
2+2130924*u^8*s^4*t^4*v^8-3247776*s*u^10*t^10*v^3+629748*u^4*s^6*t^10*v^4-\
1160019*s^10*u^8*t^4*v^2-154584*u^9*s^4*t^2*v^9+371790*s*u^5*t^7*v^11-3134619*u
^6*s^11*t^2*v^5+53856888*u^6*s^6*t^6*v^6-82902*u^7*s^9*t^5*v^3-4252209*u^5*s^4*
t^7*v^8+1844127*u^7*s^4*t^2*v^11-835434*u^7*s^2*t^12*v^3-1150923*u^4*s^6*t^9*v^
5+629748*u^6*s^4*t^4*v^10-835434*u^12*s^2*t^7*v^3-3608064*u^11*s^4*t^5*v^4-\
3635280*u^7*s^3*t^3*v^11-4774065*u^6*s^4*t^6*v^8-1150923*t^4*s^9*u^6*v^5-\
1150923*s^6*u^4*t^5*v^9-2082024*u^12*s^4*t^3*v^5-3247776*u^3*s^10*t^10*v+
4550152*u^9*s^3*t^9*v^3+1010520*u^7*s^2*t^5*v^10+1010520*t^5*u^2*s^10*v^7+
629748*u^8*s^8*t^6*v^2-1160019*t^8*u^2*s^4*v^10-1150923*u^7*s^3*t^6*v^8-1160019
*t^4*u^2*s^8*v^10+1844127*u^11*s^7*t^2*v^4+6506766*u^2*s^6*t^10*v^6+1729350*u^
11*s^2*t^8*v^3+1368711*u^9*s^2*t^8*v^5+5272452*u^7*s^9*t*v^7+5163507*u^4*s^12*t
^4*v^4-5467437*u^2*s^6*t^9*v^7+5272452*u^5*s^11*t^5*v^3-5467437*u^3*s^10*t^5*v^
6+3609810*s^5*u^5*t^10*v^4-3635280*u^3*s^11*t^3*v^7-154584*t^10*u^3*s^3*v^8-\
154584*u^2*s^9*t^9*v^4-793881*u^12*s^6*t^5*v-734832*u^8*s^3*t^12*v+2738124*u^12
*s^6*t^3*v^3-1045386*u^2*s^12*t^6*v^4-5467437*t^2*u^7*s^6*v^9+3609810*u^5*s^10*
t^5*v^4+1368711*u^5*s^8*t^9*v^2-2784051*s^11*u^4*t^8*v+1010520*s^5*u^2*t^7*v^10
-1045386*u^6*s^12*t^2*v^4+8351940*u^5*s^6*t^5*v^8-5467437*u^5*s^6*t^10*v^3-\
1150923*u^5*s^6*t^4*v^9+3609810*u^5*s^4*t^5*v^10+1368711*u^7*s^3*t^10*v^4+
1844127*u^7*s^11*t^4*v^2-6551568*u^7*s^7*t^7*v^3-793881*u^12*s*t^6*v^5+1844127*
s*t^5*u^10*v^8+2738124*s^3*u^12*t^3*v^6+2380914*u^6*s*t^6*v^11+371790*u^11*s*t^
7*v^5-5467437*s^3*u^5*t^6*v^10+1289844*u^6*s*t^8*v^9+371790*u^7*s^5*t*v^11+
1289844*u*s^9*t^6*v^8-1045386*u^4*s^12*t^2*v^6+1844127*u^11*s^2*t^4*v^7+1729350
*u^2*s^3*t^11*v^8-3134619*u^6*s*t^7*v^10+629748*u^10*s^4*t^4*v^6-1150923*u^5*s^
6*t^9*v^4-82902*u^7*s^3*t^9*v^5-154584*u^8*s^3*t^10*v^3-4774065*u^8*s^6*t^4*v^6
-3608064*u^8*s^7*t^8*v+1368711*u^3*s^4*t^10*v^7+1345005*u^4*s^7*t^12*v-793881*u
^6*s^12*t*v^5+1729350*u^11*s^3*t^8*v^2-4774065*u^6*s^4*t^8*v^6-1074204*u^9*s^2*
t^3*v^10-3635280*u^3*s^3*t^7*v^11+1010520*u^2*s^10*t^7*v^5+1844127*u*s^10*t^5*v
^8-4774065*u^4*s^6*t^8*v^6+1844127*s*t^8*u^5*v^10+1289844*u^6*s^8*t*v^9-2082024
*u^7*s^9*v^8+4550152*s^3*u^3*t^9*v^9-2318313*u^9*s^8*t^4*v^3-2082024*t^5*s^3*u^
12*v^4+1368711*u^8*s^5*t^9*v^2-2318313*u^9*s^8*t^3*v^4-154584*u^9*s^2*t^4*v^9-\
835434*t^2*s^7*u^12*v^3+3007110*u^8*s^3*t^5*v^8-734832*u^12*s*t^3*v^8-2082024*u
^4*s^12*t^3*v^5+1289844*u^4*s^6*t^11*v^3+1289844*u^6*s^4*t^11*v^3-4774065*u^6*s
^8*t^6*v^4-793881*s*u^5*t^12*v^6+1844127*s*u^8*t^10*v^5+1345005*u^7*s^12*t*v^4-\
1045386*u^4*s^12*t^6*v^2-1150923*u^6*s^9*t^5*v^4-3608064*u^8*s*t^7*v^8+1368711*
u^9*s^8*t^5*v^2-5467437*u^3*s^6*t^5*v^10+236196*u^12*t^8*v^4-734832*u*s^12*t^8*
v^3+1729350*s^4*u^9*t*v^10+5272452*s^7*u^7*t*v^9-4252209*s^4*u^7*t^8*v^5+
1729350*s^2*u^8*t^11*v^3+2286144*u^11*s*t^9*v^3-1160019*s^2*u^8*t^10*v^4-\
1074204*u^9*s^10*t^3*v^2-3247776*u*s^10*t^10*v^3-3635280*u*s^9*t^5*v^9-2784051*
u*t^11*s^4*v^8+2380914*u*s^6*t^11*v^6+6506766*u^6*s^6*t^10*v^2+1844127*u^10*s^8
*t^5*v-3635280*u^3*s^7*t^3*v^11+1729350*u^4*s^9*t*v^10-1045386*u^12*s^2*t^4*v^6
+5272452*u^9*s^7*t^7*v+629748*s^4*u^4*t^10*v^6+1010520*s^2*u^7*t^10*v^5-3134619
*s^7*u^6*t*v^10-5467437*s^2*u^7*t^9*v^6-5467437*u^5*s^10*t^3*v^6+1043928*u^12*s
^2*t^8*v^2+1345005*s^12*u^4*t*v^7-1160019*s^10*u^4*t^8*v^2-154584*s^2*u^9*t^9*v
^4-793881*s^6*u^5*t^12*v+1844127*s^4*u^7*t^11*v^2+2380914*s^6*u*t^6*v^11+
2286144*s^3*u*t^9*v^11+2286144*s*u^11*t^3*v^9-2784051*s^4*u^11*t*v^8+3007110*s^
5*u^8*t^8*v^3-734832*s^3*u*t^12*v^8-13939944*u^5*s^6*t^7*v^6+371790*s^7*u^5*t*v
^11-734832*s^12*u^8*t*v^3-1045386*u^12*s^2*t^6*v^4-3247776*u^9*s^2*t^11*v^2+
2130924*u^4*s^4*t^8*v^8-1074204*u^9*s^2*t^10*v^3+4613904*u^2*s^10*t^10*v^2-\
1150923*s^7*u^8*t^3*v^6+1010520*s^2*u^10*t^5*v^7-5467437*u^10*s^6*t^3*v^5+
1289844*s^6*t^9*u*v^8+3007110*u^7*s^9*t^4*v^4+1043928*t^2*s^8*u^12*v^2-3635280*
t^9*s*u^5*v^9-13939944*s^5*u^6*t^7*v^6-2082024*s^4*u^5*t^12*v^3-734832*s^8*u^12
*t^3*v+3007110*s^4*u^9*t^7*v^4-13939944*s^6*u^5*t^6*v^7+2730834*s^12*u^5*t^5*v^
2-6551568*s^5*u^9*t^5*v^5-13939944*s^6*u^7*t^6*v^5-1045386*s^6*t^10*v^8+8351940
*s^5*u^8*t^5*v^6+1289844*s^3*u^6*t^11*v^4-1150923*u^9*s^6*t^4*v^5-1150923*u^6*s
^8*t^7*v^3+1289844*u^8*s^9*t^6*v+8351940*s^6*u^7*t^4*v^7+2130924*u^8*s^4*t^8*v^
4+3007110*u^8*s^8*t^5*v^3-2784051*u^4*s^11*t*v^8+3007110*u^4*s^7*t^4*v^9+
8351940*u^6*s^4*t^7*v^7+5272452*s^7*t*u^9*v^7+2286144*s^9*u^3*t*v^11+8849438*u^
9*s^6*t^6*v^3+1729350*u^4*s*t^10*v^9+1368711*u^4*s^7*t^3*v^10-1150923*u^6*s^7*t
^8*v^3+9815304*u^7*s^5*t^5*v^7+8351940*u^7*s^4*t^7*v^6+1289844*u^4*s^6*t^3*v^11
-4774065*u^4*s^8*t^6*v^6+371790*u^7*s*t^5*v^11-2318313*t^9*u^4*s^3*v^8-2318313*
u^8*s^3*t^9*v^4-3635280*u^11*s^3*t^3*v^7+2738124*u^6*t^9*v^9+5272452*s^5*u^3*t^
11*v^5+2286144*t^11*s^3*u*v^9-5467437*u^2*s^6*t^7*v^9-4252209*t^4*s^8*u^7*v^5+
1289844*t^3*s^4*u^11*v^6+1368711*u^8*s^2*t^5*v^9-3134619*u^11*s^6*t^2*v^5+
371790*u^11*s*t^5*v^7+1844127*s^5*u^8*t^10*v-2082024*s^12*u^4*t^5*v^3+1729350*t
^2*s^3*u^11*v^8+371790*u^11*s^7*t^5*v-2784051*u^4*s*t^11*v^8+6506766*u^6*s^6*t^
2*v^10-3635280*u^7*s^3*t^11*v^3-835434*u^2*s^3*t^12*v^7-649539*u^7*s^12*v^5+
2730834*s^7*t^7*v^10+1345005*s^11*t^8*v^5-2082024*u^8*t^9*v^7-793881*u^6*t^7*v^
11+2730834*t^7*s^10*v^7-1045386*u^10*t^8*v^6-835434*u^9*t^10*v^5+885735*u^6*t^
12*v^6+1043928*u^10*s^10*v^4-1045386*u^6*s^10*v^8+1345005*u^5*t^11*v^8+1345005*
s^5*u^8*v^11-2082024*u^9*s^7*v^8+1043928*t^10*u^4*v^10-835434*u^10*t^9*v^5-\
734832*t^9*u^4*v^11+2738124*s^9*t^9*v^6-2082024*t^7*s^9*v^8+1844127*u^10*s^5*t*
v^8-793881*s^5*u^6*t^12*v+5272452*u^7*s*t^9*v^7+9815304*u^7*s^7*t^5*v^5+5272452
*u^5*s^5*t^11*v^3-4252209*u^5*s^8*t^4*v^7-5467437*t^2*s^9*u^7*v^6-1150923*u^7*s
^8*t^3*v^6+371790*u^7*s^11*t^5*v-3134619*u*s^10*t^7*v^6-3134619*u^6*s^10*t*v^7-\
82902*u^7*s^9*t^3*v^5+1289844*u^4*s^3*t^11*v^6+8351940*u^7*s^7*t^6*v^4-793881*u
^6*s*t^12*v^5-154584*u^3*s^10*t^8*v^3+1844127*u^7*s^2*t^4*v^11+1289844*t^8*s^6*
u*v^9-2784051*u^11*s^8*t^4*v-1045386*s^4*u^2*t^12*v^6-2318313*t^3*s^9*u^4*v^8+
1368711*u^5*s^2*t^9*v^8+629748*t^2*s^6*u^8*v^8-793881*u^5*s^12*t*v^6-5467437*u^
6*s^5*t^10*v^3-3247776*t^2*s^9*u^2*v^11-2784051*t^4*s*u^8*v^11-1150923*s^5*u^9*
t^6*v^4-154584*u^9*s^4*t^9*v^2-3608064*s^7*u*t^8*v^8-1045386*u^4*t^12*s^2*v^6-\
835434*u^5*t^9*v^10+3609810*t^7*s^7*u^2*v^8-3247776*t^10*s^3*u*v^10-4252209*s^7
*u^4*t^8*v^5+2730834*t^5*u^12*s^2*v^5+1289844*u^11*s^6*t^3*v^4+2286144*u^3*s^11
*t^9*v-3134619*u^11*s^6*t^5*v^2+1289844*u^6*s^9*t*v^8-1160019*u^8*s^2*t^4*v^10-\
1160019*u^10*s^2*t^8*v^4-1074204*u^3*s^10*t^9*v^2-2318313*u^3*s^4*t^9*v^8+
2286144*u^3*s^9*t^11*v-154584*u^10*s^3*t^8*v^3-2082024*u^3*s^12*t^4*v^5-1150923
*u^8*s^3*t^7*v^6+1368711*t^5*s^9*u^2*v^8+1729350*t^10*s*u^9*v^4+629748*t^2*s^8*
u^8*v^6-2784051*s^11*u^8*t*v^4-3247776*t^2*s^11*u^9*v^2+2286144*t^11*s*u^9*v^3-\
82902*u^7*s^3*t^5*v^9+2380914*u^11*s^6*t*v^6-1150923*u^9*s^4*t^6*v^5+1289844*u^
3*s^4*t^6*v^11+1289844*u^8*s^6*t*v^9+2286144*u^9*s^11*t*v^3-5467437*s^9*u^6*t^2
*v^7-5467437*u^6*s^3*t^5*v^10+1289844*u^6*s^4*t^3*v^11-1150923*u^3*s^6*t^7*v^8-\
5467437*s^5*u^10*t^6*v^3-1074204*u^10*s^9*t^2*v^3+2286144*s^3*t*u^9*v^11+371790
*u^5*s^11*t^7*v+8351940*u^6*s^5*t^5*v^8-2318313*u^8*s^4*t^9*v^3+1010520*u^7*s^5
*t^10*v^2+8351940*u^7*s^4*t^6*v^7-13939944*s^7*u^5*t^6*v^6-1160019*t^10*s^4*u^2
*v^8+1368711*u^5*s^9*t^2*v^8+1368711*u^10*s^7*t^4*v^3+5272452*u^5*s^3*t^5*v^11+
1043928*u^8*s^2*t^12*v^2-793881*u^12*s^5*t*v^6+1368711*s^8*u^5*t^2*v^9+1289844*
u^6*s^11*t^4*v^3-3608064*u^7*s^8*t^8*v+1729350*u^8*s^2*t^3*v^11+4613904*u^10*s^
2*t^2*v^10-5467437*u^3*s^10*t^6*v^5+1010520*u^5*s^2*t^7*v^10+1345005*u^12*s^4*t
*v^7+2380914*u^6*s^6*t*v^11-1150923*u^3*s^8*t^7*v^6-3247776*t^11*u^2*s^2*v^9-\
4774065*u^8*s^4*t^6*v^6-835434*s^7*u^12*t^3*v^2+1844127*t^4*u^2*s^7*v^11+
8351940*u^4*s^7*t^6*v^7+1345005*u^11*s^8*v^5-1074204*s^10*u^2*t^9*v^3-1150923*u
^9*s^5*t^4*v^6-4774065*u^8*s^6*t^6*v^4-154584*u^10*s^3*t^3*v^8+629748*u^8*s^2*t
^6*v^8-1160019*t^4*u^10*s^2*v^8+2730834*s^5*u^5*t^12*v^2-3247776*u^10*s^3*t^10*
v-5467437*u^9*s^2*t^6*v^7-3134619*u^10*s*t^7*v^6+5272452*u^5*s^11*t^3*v^5-\
6551568*u^5*s^9*t^5*v^5-3134619*s^6*u^2*t^5*v^11-3247776*t^3*u^10*s^10*v-\
1150923*t^8*u^3*s^6*v^7-793881*s^5*u*t^12*v^6+8849438*u^6*s^3*t^6*v^9+1289844*u
^3*s^11*t^4*v^6+1844127*u^8*s^10*t^5*v+2730834*u^12*s^5*t^2*v^5+629748*u^6*s^2*
t^8*v^8+3609810*u^7*s^2*t^7*v^8+8351940*u^6*s^8*t^5*v^5+8351940*s^5*t^6*u^5*v^8
+1844127*s^5*u^10*t^8*v+3609810*s^5*t^5*u^10*v^4+8849438*s^6*t^6*u^3*v^9+236196
*s^8*t^12*v^4+1368711*u^4*s^10*t^3*v^7+1289844*u^6*s^3*t^4*v^11-154584*s^9*u^9*
t^2*v^4-13939944*s^6*u^6*t^7*v^5+1289844*u^4*s^11*t^3*v^6+2380914*u^11*s*t^6*v^
6-2318313*s^3*u^9*t^8*v^4+3007110*u^4*s^4*t^7*v^9-1150923*s^7*u^3*t^6*v^8+
3609810*u^5*s^5*t^4*v^10-4252209*u^5*s^4*t^8*v^7+1043928*s^12*t^8*u^2*v^2-\
4252209*t^5*u^7*s^4*v^8+3609810*s^8*u^2*t^7*v^7+2730834*s^2*u^5*t^12*v^5-\
2318313*u^3*s^8*t^9*v^4+1010520*s^7*u^2*t^5*v^10-2318313*s^9*u^4*t^8*v^3-\
3635280*s^11*t^7*u^3*v^3-154584*u^4*s^9*t^9*v^2+1729350*s^8*t^3*u^2*v^11-154584
*s^3*u^8*t^3*v^10-4252209*s^7*u^8*t^4*v^5-835434*t^7*u^2*s^12*v^3-154584*u^2*s^
9*t^4*v^9+1729350*u^4*s^10*t^9*v-6551568*s^3*u^7*t^7*v^7+1368711*s^3*u^10*t^4*v
^7-2784051*u^4*s^8*t^11*v-3608064*u^4*s^11*t^4*v^5-4252209*t^5*u^4*s^7*v^8-\
1074204*t^10*u^3*s^2*v^9+1844127*u^2*s^11*t^4*v^7+1368711*u^7*s^4*t^3*v^10+
8849438*u^6*s^9*t^6*v^3+1844127*s^5*u*t^8*v^10-1150923*u^4*s^9*t^5*v^6-1074204*
s^9*t^3*u^2*v^10+1844127*u^4*s^7*t^2*v^11-82902*s^3*u^9*t^7*v^5-1160019*u^4*s^
10*t^2*v^8-3635280*s*u^9*t^9*v^5-1045386*u^12*s^4*t^6*v^2-1150923*u^5*s^4*t^6*v
^9-1074204*s^9*u^2*t^10*v^3-1150923*u^4*s^5*t^6*v^9+2130924*s^8*u^4*t^8*v^4-\
3134619*u^10*s^7*t^6*v-3247776*u^11*s^9*t^2*v^2-5467437*u^3*s^5*t^10*v^6+
1844127*u^2*s^11*t^7*v^4-5467437*u^9*s^7*t^2*v^6+3007110*u^7*s^4*t^9*v^4+
1844127*u^2*s^4*t^11*v^7+1010520*s^7*u^10*t^2*v^5+2286144*u^11*s^3*t*v^9+
2286144*u^9*s^3*t^11*v+1043928*u^2*t^12*s^2*v^8-1074204*s^9*u^3*t^10*v^2-82902*
s^9*u^3*t^5*v^7-5467437*s^7*u^2*t^6*v^9+1844127*u^7*s^2*t^11*v^4+1729350*s^8*u^
2*t^11*v^3-3134619*u^7*s^10*t*v^6-835434*t^12*s^7*u^3*v^2+1368711*t^4*s^3*u^7*v
^10+8351940*t^7*s^6*u^4*v^7-3247776*u^10*s^10*t*v^3-2318313*u^3*s^8*t^4*v^9+
1729350*u*s^9*t^4*v^10-4252209*u^8*s^5*t^4*v^7+3007110*u^8*s^3*t^8*v^5+1368711*
u^4*s^10*t^7*v^3+1289844*u^6*s^9*t^8*v+9815304*u^5*s^7*t^7*v^5-2082024*u^8*t^7*
v^9+1729350*u^10*s^4*t^9*v-154584*u^4*s^9*t^2*v^9+629748*u^4*s^4*t^6*v^10+
629748*u^10*s^4*t^6*v^4-3608064*u^4*s^5*t^4*v^11+8351940*s^5*t^8*u^5*v^6-\
4252209*s^5*t^8*u^7*v^4+371790*u*s^7*t^5*v^11-3134619*u^2*s^5*t^11*v^6+1729350*
u*s^4*t^10*v^9-1160019*u^10*s^4*t^8*v^2+3609810*s^7*u^8*t^7*v^2-2784051*s^4*u*t
^8*v^11-1074204*s^10*t^3*u^2*v^9-2784051*u*s^8*t^11*v^4-82902*t^3*u^7*s^5*v^9-\
82902*t^5*u^9*s^7*v^3-4252209*u^4*s^8*t^5*v^7-734832*s^12*u^3*t*v^8-3134619*t^
10*u*s^6*v^7+1289844*s^11*u^4*t^6*v^3+8351940*s^7*u^6*t^7*v^4-3247776*u^2*s^11*
t^2*v^9+2730834*u^2*s^12*t^5*v^5-3134619*u^2*s^11*t^6*v^5+1368711*u^10*s^4*t^7*
v^3-1150923*u^6*s^5*t^4*v^9-835434*u^7*s^3*t^12*v^2+8351940*u^8*s^6*t^5*v^5+
1289844*u^9*s^8*t^6*v-4252209*t^5*u^8*s^4*v^7+9815304*s^5*u^5*t^7*v^7-13939944*
s^5*u^7*t^6*v^6+1289844*t^4*u^11*s^3*v^6-1150923*u^5*s^9*t^6*v^4-6551568*s^5*u^
5*t^5*v^9+1345005*u^4*s*t^12*v^7-2318313*u^9*s^4*t^3*v^8+1729350*t^8*u^2*s^11*v
^3+371790*u^7*s^5*t^11*v-2784051*u^11*s*t^8*v^4-3134619*s*u^6*t^10*v^7+1729350*
s^11*u^3*t^8*v^2-2784051*u^4*s*t^8*v^11-5467437*s^9*u^2*t^6*v^7+236196*u^8*t^12
*v^4-5467437*s^7*u^2*t^9*v^6-2318313*u^3*s^9*t^4*v^8+1010520*u^5*s^10*t^7*v^2+
4550152*u^3*s^9*t^3*v^9-4774065*t^8*s^6*u^6*v^4-1150923*u^6*s^3*t^8*v^7-\
13939944*s^5*u^6*t^6*v^7+5272452*s^5*u^11*t^5*v^3+3007110*u^5*s^8*t^3*v^8+
371790*u^5*s^7*t^11*v-13939944*s^7*u^6*t^6*v^5+1289844*u^8*s*t^6*v^9-3134619*t^
2*s^5*u^6*v^11+1010520*t^2*s^7*u^5*v^10-3635280*s^5*u^9*t*v^9-1160019*t^2*s^8*u
^4*v^10-734832*t^12*s*u^8*v^3-2784051*u*s^11*t^4*v^8+629748*u^2*s^6*t^8*v^8+
1289844*u^11*s^4*t^6*v^3-4252209*t^5*s^7*u^8*v^4+1010520*u^2*s^7*t^10*v^5-\
1074204*s^9*u^10*t^3*v^2+3609810*u^5*s^4*t^10*v^5-835434*u^3*t^12*s^2*v^7-\
5467437*u^6*s^3*t^10*v^5-5467437*u^6*s^2*t^7*v^9-1074204*u^3*t^9*s^2*v^10+
629748*t^10*s^4*u^6*v^4+5272452*t^11*s^3*u^5*v^5-3134619*u^5*s^6*t^11*v^2+
1345005*u^12*s*t^7*v^4-3608064*u^7*s*t^8*v^8-1074204*s^10*u^9*t^2*v^3+371790*s^
11*u^7*t*v^5+1043928*s^12*u^8*t^2*v^2+5272452*s^7*u*t^9*v^7+371790*s^5*u^11*t*v
^7+371790*s^11*u^5*t*v^7-3134619*s^10*u*t^6*v^7-793881*t^12*s^6*u*v^5+1844127*u
^8*s*t^5*v^10-3247776*s^11*u^2*t^9*v^2+1844127*s^8*u^5*t^10*v+2380914*s^11*u^6*
t^6*v-5467437*s^9*u^6*t^7*v^2-3608064*u^7*s^8*t*v^8+1289844*s^6*u^9*t*v^8+
5272452*s^5*u^5*t^3*v^11+1010520*s^5*u^7*t^2*v^10+5272452*s^5*u^11*t^3*v^5+
2730834*u^5*s^12*t^2*v^5+1289844*s^8*u^9*t*v^6-2082024*u^5*s^12*t^4*v^3-835434*
s^12*u^7*t^2*v^3+1345005*s^7*u*t^12*v^4+1345005*s^4*u*t^12*v^7+1844127*s^8*u^10
*t*v^5-5467437*u^6*s^10*t^3*v^5-5467437*s^9*u^7*t^6*v^2+8351940*s^7*u^7*t^4*v^6
-2082024*u^5*s^3*t^12*v^4-5467437*u^5*s^6*t^3*v^10-793881*u^5*s^12*t^6*v-\
2082024*u^5*s^12*t^3*v^4-82902*u^5*s^7*t^3*v^9-82902*t^5*s^3*u^9*v^7+1844127*t^
4*s^7*u^11*v^2+3609810*u^5*s^10*t^4*v^5-4252209*t^5*u^7*s^8*v^4+1010520*s^7*u^5
*t^10*v^2-3134619*s^11*u^5*t^6*v^2+1844127*u^2*s^7*t^11*v^4+1729350*s^2*u^3*t^
11*v^8+1844127*u^4*s^2*t^11*v^7-4252209*u^5*s^7*t^4*v^8-1074204*t^10*s^3*u^2*v^
9+1729350*u^11*s^8*t^2*v^3-82902*u^5*s^3*t^9*v^7-793881*u*s^12*t^5*v^6-4774065*
u^6*s^8*t^4*v^6+8849438*s^6*u^3*t^9*v^6-5467437*s^6*u^3*t^10*v^5-835434*s^12*u^
7*t^3*v^2-1160019*s^10*u^2*t^4*v^8+629748*s^8*t^8*u^2*v^6-3635280*s^9*u^9*t^5*v
+1729350*s^11*u^8*t^3*v^2-5467437*s^6*u^10*t^5*v^3+1289844*u^11*s^6*t^4*v^3+
4550152*s^9*u^9*t^3*v^3-3134619*s^10*u^7*t^6*v-5467437*u^10*s^3*t^6*v^5-1150923
*u^6*s^4*t^5*v^9-82902*s^9*u^5*t^7*v^3+1368711*s^7*u^10*t^3*v^4-1150923*u^7*s^6
*t^3*v^8+2380914*u*s^11*t^6*v^6-5467437*u^9*s^6*t^2*v^7-2082024*u^3*s^12*t^5*v^
4-2082024*u^12*s^5*t^4*v^3-1160019*u^8*s^4*t^10*v^2-1074204*s^9*u^3*t^2*v^10+
1289844*u^8*s^9*t*v^6+1368711*s^10*u^7*t^4*v^3+1289844*u^9*s^6*t^8*v+3007110*u^
3*s^8*t^8*v^5+629748*s^6*u^8*t^8*v^2+3007110*s^9*u^4*t^4*v^7+371790*u^7*s*t^11*
v^5+371790*u*s^5*t^11*v^7-3134619*u*s^7*t^6*v^10+2738124*u^3*s^6*t^12*v^3+
6506766*u^10*s^6*t^6*v^2+8351940*u^5*s^6*t^8*v^5+1010520*s^5*u^2*t^10*v^7+
2286144*u*t^9*s^11*v^3+629748*u^10*s^6*t^4*v^4+8351940*u^4*s^7*t^7*v^6-1160019*
u^10*s^8*t^4*v^2-4252209*u^5*s^8*t^7*v^4-13939944*u^6*s^6*t^5*v^7+1844127*u^10*
s*t^8*v^5-1150923*u^6*s^3*t^7*v^8-154584*u^3*s^10*t^3*v^8+2738124*u^12*s^3*t^6*
v^3-734832*u^12*s*t^8*v^3-734832*u^12*s^3*t^8*v+1729350*u^4*s^10*t*v^9-3635280*
u^11*s^7*t^3*v^3-3247776*u^11*s^2*t^9*v^2-2082024*u^12*s^5*t^3*v^4+2730834*u^12
*s^5*t^5*v^2-3608064*u^8*s^8*t^7*v+1289844*u^3*t^11*s^4*v^6+1368711*u^2*s^8*t^9
*v^5+4613904*s^2*u^10*t^10*v^2-1160019*u^2*s^10*t^8*v^4-1150923*u^5*s^4*t^9*v^6
-3134619*u^11*s^5*t^2*v^6+1844127*s^4*u^2*t^7*v^11-2082024*s^9*u^8*v^7-2082024*
u^7*s^8*v^9-734832*t^4*u^9*v^11+236196*u^12*s^4*v^8-1045386*s^10*u^8*v^6-\
2082024*t^9*s^7*v^8-835434*s^9*t^5*v^10+1345005*t^5*s^11*v^8+1043928*s^4*t^10*v
^10-1045386*u^10*t^6*v^8-835434*t^5*u^10*v^9-1045386*u^8*s^6*v^10+1345005*u^11*
s^5*v^8-734832*u^11*t^4*v^9+2738124*u^9*t^6*v^9-835434*s^10*t^9*v^5+1345005*s^8
*t^11*v^5+1345005*s^4*u^12*t^7*v+1289844*t^8*u*s^9*v^6+1844127*u^5*s^10*t*v^8+
2286144*u^11*s^9*t*v^3+1844127*u*s^8*t^5*v^10+8849438*u^9*s^3*t^6*v^6+2286144*u
*s^9*t^3*v^11-734832*u^3*s^12*t^8*v+1844127*u^11*s^4*t^2*v^7-3635280*u^5*s^9*t^
9*v-3608064*u^5*s^11*t^4*v^4+1345005*u^7*s*t^12*v^4-3635280*u*s^9*t^9*v^5+
1368711*u^5*s^9*t^8*v^2-1150923*u^4*s^9*t^6*v^5+1289844*u^3*s^11*t^6*v^4+
1345005*u*t^7*s^12*v^4-3134619*u^6*s^7*t^10*v+1844127*u^11*s^4*t^7*v^2+1289844*
u^11*s^3*t^6*v^4+1729350*u*s^10*t^9*v^4+3609810*u^7*s^8*t^7*v^2+3609810*s^2*t^8
*u^7*v^7-82902*u^5*s^3*t^7*v^9-5467437*u^6*s^7*t^9*v^2+1368711*u^10*s^4*t^3*v^7
-2784051*u*t^8*s^11*v^4-4252209*u^4*s^5*t^8*v^7+5272452*u^7*s^7*t^9*v+3609810*u
^10*s^4*t^5*v^5+2380914*u^6*s^6*t^11*v-3134619*u^6*s^11*t^5*v^2+6506766*u^6*s^2
*t^10*v^6-1045386*u^6*s^2*t^12*v^4+1729350*t^9*u^4*s*v^10+1289844*u^6*s^8*t^9*v
-4252209*u^7*s^5*t^4*v^8-1150923*u^9*s^4*t^5*v^6-3134619*u^7*s^6*t*v^10+3007110
*u^9*s^4*t^4*v^7+1844127*u*s^10*t^8*v^5-5467437*u^6*s^2*t^9*v^7+1729350*u^8*s^3
*t^11*v^2+1729350*t^9*u*s^4*v^10-3608064*t^8*u*s^8*v^7+371790*u*s^7*t^11*v^5+
1729350*u*s^10*t^4*v^9-5467437*s^10*u^6*t^5*v^3+1844127*u*s^8*t^10*v^5+1289844*
u*s^8*t^9*v^6+1289844*u^9*s*t^6*v^8-1150923*u^7*s^3*t^8*v^6-5467437*u^5*s^3*t^
10*v^6-5467437*u^7*s^2*t^6*v^9-1150923*u^8*s^6*t^3*v^7+1289844*u^8*s*t^9*v^6-\
1160019*u^10*s^4*t^2*v^8+1729350*u*s^9*t^10*v^4-3247776*u*s^10*t^3*v^10-2082024
*u^12*s^4*t^5*v^3+629748*u^4*s^10*t^4*v^6+1010520*u^5*s^2*t^10*v^7+1289844*u^3*
s^6*t^4*v^11+1729350*u^11*s^8*t^3*v^2-1074204*u^3*s^10*t^2*v^9-1074204*u^10*s^2
*t^3*v^9-1045386*u^2*s^6*t^12*v^4-2784051*u^8*s^4*t^11*v-835434*u^9*s^5*v^10-\
154584*u^9*s^9*t^4*v^2-1160019*u^8*s^4*t^2*v^10+1010520*u^10*s^5*t^7*v^2+
1345005*u^7*s^4*t^12*v+8849438*u^9*s^6*t^3*v^6-3608064*u^8*s^8*t*v^7-1045386*u^
12*s^6*t^2*v^4+5272452*u*s^9*t^7*v^7+2286144*u*s^11*t^3*v^9+371790*u^11*s^7*t*v
^5-2784051*s^8*u^11*t*v^4+1844127*u^8*s^5*t*v^10+2286144*s^11*u^9*t^3*v+8351940
*u^5*s^8*t^6*v^5-6551568*t^9*s^5*u^5*v^5-1150923*t^8*s^6*u^7*v^3-5467437*t^5*s^
3*u^10*v^6+8351940*u^5*s^8*t^5*v^6-734832*s^8*u^12*t*v^3+371790*s^11*u*t^7*v^5+
1289844*u^3*s^6*t^11*v^4-3134619*t^10*s*u^7*v^6-1160019*u^10*s^8*t^2*v^4-835434
*s^7*u^2*t^12*v^3+1844127*t^10*s*u^5*v^8+6506766*s^10*u^2*t^6*v^6+2286144*u^11*
s^9*t^3*v+2286144*s*u^3*t^11*v^9+1729350*t^8*s^2*u^3*v^11-154584*u^3*s^8*t^3*v^
10+1729350*t^2*s^11*u^8*v^3-1045386*u^4*s^6*t^12*v^2-82902*s^7*u^9*t^3*v^5+
6506766*s^10*u^6*t^6*v^2-1150923*s^6*u^9*t^5*v^4+3007110*s^7*u^4*t^9*v^4-\
3635280*s^11*u^7*t^3*v^3+629748*u^8*s^2*t^8*v^6-154584*u^10*s^8*t^3*v^3+3609810
*u^8*s^2*t^7*v^7+2738124*u^3*s^12*t^3*v^6+6506766*u^10*s^2*t^6*v^6-2318313*u^4*
s^8*t^9*v^3-2318313*u^9*s^4*t^8*v^3+2730834*t^10*u^7*v^7-4252209*u^4*s^8*t^7*v^
5-2318313*s^9*u^8*t^3*v^4-5467437*s^6*u^7*t^9*v^2+1368711*s^9*u^8*t^5*v^2+
629748*s^8*u^6*t^8*v^2+629748*s^10*u^6*t^4*v^4-2318313*s^9*u^8*t^4*v^3-82902*s^
7*u^5*t^9*v^3-82902*s^7*u^3*t^9*v^5-1074204*s^3*u^9*t^2*v^10+2380914*u^11*s^6*t
^6*v+1368711*s^7*u^3*t^10*v^4+1844127*u^11*s^2*t^7*v^4-2318313*s^3*u^8*t^4*v^9-\
1150923*s^4*u^6*t^9*v^5-1074204*u^9*s^3*t^10*v^2-3635280*u^9*s^9*t*v^5-5467437*
u^9*s^7*t^6*v^2-2082024*t^9*u^7*v^8-649539*u^5*t^12*v^7-793881*t^6*s^11*v^7-\
734832*u^4*t^11*v^9+2738124*s^6*t^9*v^9+885735*u^12*s^6*v^6+3007110*t^8*u^5*s^8
*v^3+1010520*u^10*s^2*t^7*v^5+1368711*u^5*s^2*t^8*v^9+8849438*u^3*s^9*t^6*v^6+
1345005*u^12*s^7*t*v^4-793881*u^12*s^5*t^6*v+2738124*u^6*s^3*t^12*v^3-3134619*u
^5*s^2*t^6*v^11+8849438*u^6*s^3*t^9*v^6+1289844*u*s^8*t^6*v^9+6506766*u^10*s^6*
t^2*v^6+1289844*s^11*u^6*t^3*v^4-3134619*u^6*s^2*t^5*v^11-734832*u*s^8*t^12*v^3
+1289844*u^4*s^3*t^6*v^11+1368711*u^3*s^10*t^4*v^7-835434*s^7*u^3*t^2*v^12+
1345005*t^4*s*u^7*v^12-3635280*u^3*s^7*t^11*v^3-793881*u^6*s^7*v^11+1345005*t^5
*u^8*v^11-734832*u^9*s^4*v^11+2730834*u^10*s^7*v^7-649539*u^12*s^7*v^5+2738124*
s^9*u^6*v^9-1045386*u^10*s^6*v^8-734832*u^9*t^11*v^4-835434*u^5*s^9*v^10-\
1045386*u^8*t^6*v^10-649539*s^7*t^12*v^5-3247776*u^10*s*t^3*v^10-1045386*t^8*s^
6*v^10-835434*t^9*s^5*v^10-649539*t^7*s^12*v^5-2082024*t^8*s^9*v^7-2082024*u^9*
t^7*v^8-835434*t^5*u^9*v^10-1045386*t^6*s^10*v^8+1345005*u^5*s^11*v^8-649539*s^
5*t^12*v^7+236196*u^12*s^8*v^4-793881*u^7*t^6*v^11+2730834*s^7*t^10*v^7+2730834
*u^7*s^7*v^10-734832*u^11*t^9*v^4-793881*s^7*t^11*v^6-649539*u^12*t^5*v^7-\
793881*u^11*s^7*v^6-835434*s^9*t^10*v^5-793881*t^6*s^7*v^11-734832*t^9*s^4*v^11
-793881*s^11*u^7*v^6-2082024*u^7*t^8*v^9-793881*s^11*t^7*v^6-649539*t^5*s^12*v^
7+236196*t^8*s^12*v^4-835434*u^9*s^10*v^5+885735*u^6*s^12*v^6+5163507*t^8*s^8*v
^8-734832*u^4*s^11*v^9-1045386*t^10*u^6*v^8+1345005*u^5*t^8*v^11-835434*s^9*u^
10*v^5+236196*s^12*u^4*v^8+5163507*u^8*t^8*v^8-1045386*s^8*t^10*v^6-835434*t^5*
s^10*v^9-835434*s^5*t^10*v^9-649539*u^7*t^12*v^5-1045386*u^6*s^8*v^10+5163507*u
^8*s^8*v^8-835434*u^10*s^5*v^9-1160019*u^4*s^2*t^10*v^8-3635280*s^3*u^3*t^11*v^
7+5163507*u^4*s^4*t^12*v^4+3007110*u^4*s^4*t^9*v^7-3635280*u^5*s^9*t*v^9+
1043928*u^12*s^2*t^2*v^8-3134619*u^6*s^2*t^11*v^5-1074204*u^10*s^2*t^9*v^3-\
3247776*u^11*s^2*t^2*v^9-3247776*u^9*s^2*t^2*v^11+8351940*s^7*u^6*t^4*v^7-\
793881*u^12*s^6*t*v^5-3635280*u^11*s^3*t^7*v^3-835434*t^3*s^2*u^12*v^7+2730834*
t^12*s^5*u^2*v^5-154584*t^9*s^4*u^2*v^9+371790*t^7*u*s^5*v^11-3635280*s^5*u*t^9
*v^9-1074204*u^10*s^3*t^2*v^9+371790*u*s^11*t^5*v^7-3134619*u*s^6*t^7*v^10+
1729350*u^11*s^2*t^3*v^8-2318313*u^9*s^3*t^4*v^8-734832*u^12*s^3*t*v^8+1729350*
u^8*s^3*t^2*v^11-3247776*u^2*t^9*s^2*v^11-734832*u^9*s^11*v^4-2082024*u^3*t^12*
s^4*v^5-2082024*u^4*t^12*s^3*v^5-3134619*t^2*s^6*u^5*v^11+1345005*u^7*s^4*t*v^
12+2738124*u^3*s^6*t^3*v^12-793881*u^5*s*t^6*v^12+1345005*u^4*s^7*t*v^12-\
2082024*u^3*s^5*t^4*v^12+1345005*t^7*u*s^4*v^12-835434*u^2*s^7*t^3*v^12-835434*
s^2*u^3*t^7*v^12-1045386*u^2*s^6*t^4*v^12-1045386*u^2*t^6*s^4*v^12-734832*s^3*u
*t^8*v^12+2730834*t^2*u^5*s^5*v^12-793881*u^6*s*t^5*v^12-835434*t^7*s^3*u^2*v^
12-2082024*t^3*u^4*s^5*v^12+5163507*t^4*u^4*s^4*v^12-2082024*t^4*s^3*u^5*v^12-\
2082024*u^4*s^3*t^5*v^12+1345005*u*s^7*t^4*v^12-1045386*s^2*u^6*t^4*v^12+
1043928*u^2*s^2*t^8*v^12-1045386*s^2*u^4*t^6*v^12-2082024*u^3*s^4*t^5*v^12-\
793881*u^5*s^6*t*v^12+1043928*u^8*s^2*t^2*v^12-793881*u^6*s^5*t*v^12-793881*u*s
^5*t^6*v^12+2738124*s^3*u^3*t^6*v^12+2730834*s^5*u^2*t^5*v^12+8351940*s^5*u^8*t
^6*v^5-4252209*u^5*s^7*t^8*v^4+3609810*s^5*u^4*t^5*v^10-5467437*u^9*s^6*t^7*v^2
-3608064*u^4*s^4*t^5*v^11+371790*u^11*s^5*t^7*v+3609810*s^7*u^7*t^2*v^8-4774065
*s^6*u^4*t^6*v^8-82902*s^5*u^7*t^9*v^3+1844127*u^7*s^11*t^2*v^4+2130924*t^4*s^8
*u^8*v^4+1368711*t^10*s^4*u^7*v^3+1368711*u^3*s^7*t^4*v^10+6506766*u^2*s^6*t^6*
v^10+1368711*u^9*s^8*t^2*v^5-1074204*u^2*s^3*t^9*v^10-3608064*u^8*s^7*t*v^8+
5272452*u*s^7*t^7*v^9-3134619*s^7*t^10*u*v^6+8351940*s^5*u^6*t^8*v^5+1368711*s^
2*u^9*t^5*v^8-4774065*s^6*u^6*t^4*v^8-6551568*s^7*u^7*t^3*v^7-793881*u^6*s^12*t
^5*v-3134619*u^11*s^2*t^5*v^6+1729350*s^9*u^10*t*v^4+6506766*u^6*s^2*t^6*v^10+
1729350*u^3*s^8*t^11*v^2+1010520*t^2*s^10*u^5*v^7+6506766*t^2*s^10*u^6*v^6-\
1160019*t^8*s^2*u^4*v^10+2738124*s^3*u^6*t^3*v^12-835434*s^3*u^7*t^2*v^12-\
793881*t^5*u*s^6*v^12+2730834*u^5*t^5*s^2*v^12+1043928*t^2*s^8*u^2*v^12-1045386
*u^6*s^4*t^2*v^12-1045386*u^4*s^6*t^2*v^12-835434*u^7*s^2*t^3*v^12-3608064*u^4*
s^11*t^5*v^4+1844127*u^5*s^10*t^8*v-3635280*u^9*s*t^5*v^9-734832*s*u^8*t^3*v^12
+2286144*u^3*s^11*t*v^9+1345005*u^4*s^12*t^7*v+3609810*u^7*s^7*t^8*v^2+5272452*
u^11*t^5*s^3*v^5-2784051*s*u^8*t^11*v^4+1729350*s*u^10*t^4*v^9-734832*s^3*u^8*t
*v^12+1345005*u^4*s*t^7*v^12-734832*u*s^8*t^3*v^12-734832*t^8*s*u^3*v^12-734832
*u^3*s^8*t*v^12+1368711*s^3*u^10*t^7*v^4-82902*s^9*t^7*u^3*v^5-82902*s^5*u^9*t^
7*v^3+2730834*s^10*u^7*t^7+236196*u^4*s^12*t^8-835434*s^5*u^10*t^9-835434*s^10*
u^9*t^5-734832*s^11*u^9*t^4+1345005*s^5*u^8*t^11+2730834*s^7*u^10*t^7+1345005*u
^8*s^11*t^5-649539*s^5*u^12*t^7-793881*u^6*s^11*t^7-734832*u^11*s^4*t^9-734832*
u^11*s^9*t^4-154584*u^4*t^9*s^2*v^9-82902*u^5*s^9*t^3*v^7-835434*t^2*s^12*u^3*v
^7+8849438*t^9*s^6*u^6*v^3+1368711*t^2*s^9*u^8*v^5-5467437*s^5*u^10*t^3*v^6+
1729350*u^9*s^10*t^4*v-1150923*t^6*s^7*u^8*v^3+1043928*t^2*s^12*u^2*v^8+8849438
*u^6*s^9*t^3*v^6+8351940*u^7*s^6*t^7*v^4-2784051*s^11*u^8*t^4*v+1368711*t^5*s^8
*u^2*v^9-2318313*u^8*s^4*t^3*v^9+1368711*s^5*t^9*u^2*v^8-3134619*s^11*u^2*t^5*v
^6-3608064*u^5*s^4*t^4*v^11+1729350*u^10*s*t^9*v^4+3007110*u^7*s^4*t^4*v^9-\
3635280*s^5*u^9*t^9*v+5272452*s^11*u^3*t^5*v^5-82902*s^5*u^3*t^9*v^7-734832*s^
12*u*t^3*v^8+1345005*s^12*u*t^4*v^7+3609810*s^7*u^2*t^8*v^7-2082024*t^3*u^5*s^4
*v^12-3134619*s^5*u^11*t^6*v^2+1368711*u^4*s^3*t^7*v^10-835434*s^12*t^3*u^2*v^7
-3134619*u^5*t^11*s^2*v^6+2738124*u^3*t^12*s^3*v^6+236196*s^8*t^4*v^12-649539*u
^5*s^7*v^12+236196*u^8*s^4*v^12+236196*t^4*u^8*v^12+2730834*u^7*s^10*v^7-793881
*u^7*t^11*v^6+236196*s^8*u^4*v^12-2082024*u^9*s^8*v^7-649539*u^5*s^12*v^7-\
649539*u^7*t^5*v^12+236196*s^12*u^8*v^4-2082024*u^9*t^8*v^7-793881*t^11*u^6*v^7
-1045386*t^10*u^8*v^6+1345005*u^11*t^5*v^8+236196*t^12*u^4*v^8+885735*u^6*t^6*v
^12-1045386*u^6*t^8*v^10+1345005*u^11*t^8*v^5+236196*s^12*t^4*v^8+1345005*u^5*s
^8*v^11+2738124*u^9*s^9*v^6-2082024*u^8*s^7*v^9-1045386*s^10*t^8*v^6+1345005*s^
5*t^11*v^8-835434*s^10*u^5*v^9-734832*u^4*s^9*v^11-2082024*s^8*t^7*v^9+2730834*
u^7*t^7*v^10+2738124*u^9*s^6*v^9+1043928*t^4*u^10*v^10+885735*s^6*t^12*v^6+
2738124*t^9*u^9*v^6-2082024*t^8*s^7*v^9-1045386*s^8*t^6*v^10+1043928*s^10*u^4*v
^10-734832*s^11*t^9*v^4-5467437*s^5*u^3*t^6*v^10-734832*s^9*t^11*v^4+1345005*s^
11*u^8*v^5-793881*u^7*s^6*v^11+885735*s^12*t^6*v^6+2738124*s^9*t^6*v^9+236196*t
^8*u^4*v^12-649539*u^12*t^7*v^5-734832*s^11*t^4*v^9-793881*t^7*s^6*v^11+1043928
*u^10*s^4*v^10+236196*s^4*t^12*v^8-734832*u^11*s^9*v^4+1345005*t^11*u^8*v^5+
236196*t^8*s^4*v^12-793881*u^11*t^6*v^7+2730834*u^10*t^7*v^7+1043928*s^10*t^10*
v^4-835434*u^5*t^10*v^9-734832*u^11*s^4*v^9-1045386*u^10*s^8*v^6-734832*s^9*t^4
*v^11-793881*u^11*s^6*v^7-649539*u^12*s^5*v^7-793881*t^7*u^11*v^6+1345005*s^8*t
^5*v^11-734832*t^11*s^4*v^9+885735*u^12*t^6*v^6+1345005*t^8*s^5*v^11-793881*s^
11*u^6*v^7+1368711*s^5*u^9*t^8*v^2-734832*u^8*s^12*t^3*v-3608064*u^5*s^4*t^11*v
^4-3134619*u^10*s^6*t*v^7-3134619*s^10*u^6*t^7*v+1368711*u^3*s^4*t^7*v^10-\
2784051*u^4*s^8*t*v^11+1844127*s^10*u^8*t*v^5+3609810*s^5*u^10*t^4*v^5+1368711*
s^5*u^2*t^8*v^9+1729350*u^3*s^8*t^2*v^11+5272452*s^5*u^3*t^5*v^11-1045386*u^6*s
^4*t^12*v^2+1729350*u^9*s^4*t^10*v+1345005*u^12*t^4*s*v^7+1368711*t^2*s^5*u^8*v
^9+1368711*t^10*s^7*u^4*v^3+1368711*u^3*s^10*t^7*v^4-5467437*u^6*s^5*t^3*v^10-\
2318313*s^9*u^3*t^8*v^4+3007110*s^5*u^8*t^3*v^8+1729350*u^3*s^11*t^2*v^8-\
3134619*s^7*u^10*t*v^6+1345005*s^12*u^7*t^4*v-835434*u^12*s^3*t^2*v^7-1150923*u
^7*s^8*t^6*v^3+2738124*u^6*s^12*t^3*v^3+2286144*t^9*s^3*u^11*v-5467437*u^5*s^10
*t^6*v^3+2738124*s^9*u^6*t^9-1045386*u^10*s^8*t^6-2082024*u^9*s^7*t^8-1045386*t
^6*s^10*u^8+2738124*t^9*s^6*u^9-1045386*u^6*s^8*t^10-793881*u^11*s^6*t^7-793881
*u^7*s^11*t^6-835434*s^5*u^9*t^10+1345005*s^5*u^11*t^8-2082024*u^9*s^8*t^7-\
649539*u^12*s^7*t^5-649539*u^7*s^12*t^5-2082024*u^7*s^9*t^8+236196*t^4*s^8*u^12
-1045386*s^6*u^8*t^10-734832*u^4*s^9*t^11-793881*s^7*u^6*t^11-2082024*u^8*s^9*t
^7-649539*s^7*u^5*t^12-835434*u^5*s^9*t^10+1345005*u^5*s^8*t^11-835434*u^5*s^10
*t^9+885735*u^6*s^12*t^6-734832*u^9*s^4*t^11+1043928*u^10*s^4*t^10+236196*u^4*s
^8*t^12-649539*u^5*s^12*t^7+1345005*u^5*s^11*t^8+885735*s^6*u^6*t^12+885735*u^
12*s^6*t^6+2730834*u^7*s^7*t^10+236196*t^4*s^12*u^8+236196*u^12*s^4*t^8-835434*
u^10*s^9*t^5+1043928*u^10*s^10*t^4-793881*u^7*s^6*t^11-2082024*u^7*s^8*t^9-\
649539*u^7*s^5*t^12+236196*u^8*s^4*t^12-2082024*u^8*s^7*t^9+1345005*u^11*s^8*t^
5-1045386*u^10*s^6*t^8+1043928*u^4*s^10*t^10+5163507*s^8*u^8*t^8-1045386*s^10*u
^6*t^8+2738124*u^9*s^9*t^6-734832*u^4*s^11*t^9-793881*s^6*t^11*v^7+1043928*s^10
*t^4*v^10-649539*t^5*s^7*v^12-649539*t^7*s^5*v^12-649539*u^7*s^5*v^12+885735*t^
6*s^6*v^12-649539*u^5*t^7*v^12+885735*u^6*s^6*v^12+236196*u^12*t^4*v^8:

nops(Disc1);
nops(Disc2);


quit;