{-1 + k1**Inv[k1], -1 + k10**Inv[k10], -1 + k11**Inv[k11], -1 + k2**Inv[k2], 
  -1 + k3**Inv[k3], -1 + k4**Inv[k4], -1 + k5**Inv[k5], -1 + k6**Inv[k6], 
  -1 + k7**Inv[k7], -1 + k8**Inv[k8], -1 + k9**Inv[k9], -1 + Inv[k1]**k1, 
  -1 + Inv[k10]**k10, -1 + Inv[k11]**k11, -1 + Inv[k2]**k2, -1 + Inv[k3]**k3, 
  -1 + Inv[k4]**k4, -1 + Inv[k5]**k5, -1 + Inv[k6]**k6, -1 + Inv[k7]**k7, 
  -1 + Inv[k8]**k8, -1 + Inv[k9]**k9, 
  u5 - Inv[k1] + Inv[k1]**k2**k10 + Inv[k1]**u1**k8, 
  u7 + Inv[k2]**k1**k6 + Inv[k2]**u1**k9, 
  u2 - k3**Inv[k1]**u1 + k3**Inv[k1]**Inv[k8] + k4**k10**Inv[k8] - 
   k3**Inv[k1]**k2**k10**Inv[k8], 
  Inv[k9] - k3**k6**Inv[k9] - k3**Inv[k1]**u1 + k3**Inv[k1]**Inv[k8] + 
   k4**k10**Inv[k8] + k4**Inv[k2]**u1 - k3**Inv[k1]**k2**k10**Inv[k8] + 
   k4**Inv[k2]**k1**k6**Inv[k9], 
  u3 + Inv[k7]**k6**k3 - Inv[k7]**Inv[k1]**k2**k10**k1 - 
   Inv[k7]**Inv[k1]**u1**k8**k1, 
  -Inv[k11]**k10**k1 + Inv[k7]**k6**k3 + Inv[k11]**Inv[k2]**k1**k6**k3 + 
   Inv[k11]**Inv[k2]**u1**k9**k3 - Inv[k7]**Inv[k1]**k2**k10**k1 - 
   Inv[k7]**Inv[k1]**u1**k8**k1, 
  u4 + Inv[k7]**k6**k4 + Inv[k7]**Inv[k1]**k2 - 
   Inv[k7]**Inv[k1]**k2**k10**k2 - Inv[k7]**Inv[k1]**u1**k8**k2, 
  Inv[k11] - Inv[k11]**k10**k2 + Inv[k7]**k6**k4 + Inv[k7]**Inv[k1]**k2 + 
   Inv[k11]**Inv[k2]**k1**k6**k4 + Inv[k11]**Inv[k2]**u1**k9**k4 - 
   Inv[k7]**Inv[k1]**k2**k10**k2 - Inv[k7]**Inv[k1]**u1**k8**k2, 
  k10**k1 - k11**Inv[k7]**k6**k3 - Inv[k2]**k1**k6**k3 - 
   Inv[k2]**u1**k9**k3 + k11**Inv[k7]**Inv[k1]**k2**k10**k1 + 
   k11**Inv[k7]**Inv[k1]**u1**k8**k1, 
  -1 + k10**k2 - k11**Inv[k7]**k6**k4 - k11**Inv[k7]**Inv[k1]**k2 - 
   Inv[k2]**k1**k6**k4 - Inv[k2]**u1**k9**k4 + 
   k11**Inv[k7]**Inv[k1]**k2**k10**k2 + k11**Inv[k7]**Inv[k1]**u1**k8**k2, 
  -k7**k5 - Inv[k1]**u1 - k6**k3**Inv[k1]**u1 + k6**k3**Inv[k1]**Inv[k8] + 
   k6**k4**k10**Inv[k8] + Inv[k1]**k2**k10**u1 + Inv[k1]**u1**k8**u1 - 
   k6**k3**Inv[k1]**k2**k10**Inv[k8], 
  u6 - Inv[k5] + k8**u1**Inv[k5] + k9**k3**Inv[k1]**u1**Inv[k5] - 
   k9**k3**Inv[k1]**Inv[k8]**Inv[k5] - k9**k4**k10**Inv[k8]**Inv[k5] + 
   k9**k3**Inv[k1]**k2**k10**Inv[k8]**Inv[k5], 
  -u1 - k1**k7**k5 - k2**k11**k5 + u1**k8**u1 + u1**k9**k3**Inv[k1]**u1 - 
   u1**k9**k3**Inv[k1]**Inv[k8] - u1**k9**k4**k10**Inv[k8] + 
   u1**k9**k3**Inv[k1]**k2**k10**Inv[k8], 
  k10**u1**k8 - Inv[k2]**u1**k8 + Inv[k2]**k1**k6**k3**Inv[k1] + 
   Inv[k2]**k1**k6**k4**k10 - Inv[k2]**k1**k7**k5**k8 + 
   Inv[k2]**u1**k8**u1**k8 - Inv[k2]**k1**k6**k3**Inv[k1]**k2**k10 - 
   Inv[k2]**k1**k6**k3**Inv[k1]**u1**k8, 
  -k11**k5 + k10**k1**k7**k5 + k10**k2**k11**k5 + k11**k5**k8**u1 + 
   k11**k5**k9**k3**Inv[k1]**u1 - k11**k5**k9**k3**Inv[k1]**Inv[k8] - 
   k11**k5**k9**k4**k10**Inv[k8] - Inv[k2]**k1**k6**k3**k7**k5 - 
   Inv[k2]**k1**k6**k4**k11**k5 - Inv[k2]**u1**k9**k3**k7**k5 - 
   Inv[k2]**u1**k9**k4**k11**k5 + k11**k5**k9**k3**Inv[k1]**k2**k10**Inv[k8], 
  -k5**k8**u1**Inv[k5] - Inv[k7]**k6**k3**k7 - Inv[k7]**k6**k4**k11 - 
   Inv[k7]**Inv[k1]**k2**k11 - k5**k9**k3**Inv[k1]**u1**Inv[k5] + 
   k5**k9**k3**Inv[k1]**Inv[k8]**Inv[k5] + 
   k5**k9**k4**k10**Inv[k8]**Inv[k5] + Inv[k7]**Inv[k1]**k2**k10**k1**k7 + 
   Inv[k7]**Inv[k1]**k2**k10**k2**k11 + Inv[k7]**Inv[k1]**u1**k8**k1**k7 + 
   Inv[k7]**Inv[k1]**u1**k8**k2**k11 - 
   k5**k9**k3**Inv[k1]**k2**k10**Inv[k8]**Inv[k5], 
  k6**k3**k7**k5 + k6**k4**k11**k5 + k7**k5**k8**u1 + Inv[k1]**k2**k11**k5 + 
   k7**k5**k9**k3**Inv[k1]**u1 - k7**k5**k9**k3**Inv[k1]**Inv[k8] - 
   k7**k5**k9**k4**k10**Inv[k8] - Inv[k1]**k2**k10**k1**k7**k5 - 
   Inv[k1]**k2**k10**k2**k11**k5 - Inv[k1]**u1**k8**k1**k7**k5 - 
   Inv[k1]**u1**k8**k2**k11**k5 + k7**k5**k9**k3**Inv[k1]**k2**k10**Inv[k8], 
  -k8**u1**Inv[k5]**Inv[k11] - Inv[k5]**Inv[k7]**k6**k4 - 
   Inv[k5]**Inv[k7]**Inv[k1]**k2 - k9**k3**Inv[k1]**u1**Inv[k5]**Inv[k11] + 
   k9**k3**Inv[k1]**Inv[k8]**Inv[k5]**Inv[k11] + 
   k9**k4**k10**Inv[k8]**Inv[k5]**Inv[k11] - 
   Inv[k5]**Inv[k7]**k6**k3**k7**Inv[k11] + 
   Inv[k5]**Inv[k7]**Inv[k1]**k2**k10**k2 + 
   Inv[k5]**Inv[k7]**Inv[k1]**u1**k8**k2 - 
   k9**k3**Inv[k1]**k2**k10**Inv[k8]**Inv[k5]**Inv[k11] + 
   Inv[k5]**Inv[k7]**Inv[k1]**k2**k10**k1**k7**Inv[k11] + 
   Inv[k5]**Inv[k7]**Inv[k1]**u1**k8**k1**k7**Inv[k11], 
  k10**u1**k9 - Inv[k2]**u1**k9 - Inv[k2]**k1**k7**k5**k9 + 
   Inv[k2]**u1**k8**u1**k9 - Inv[k2]**k1**k6**k3**Inv[k1]**u1**k9 + 
   Inv[k2]**k1**k6**k3**Inv[k1]**Inv[k8]**k9 + 
   Inv[k2]**k1**k6**k4**k10**Inv[k8]**k9 - 
   Inv[k2]**k1**k6**k3**Inv[k1]**k2**k10**Inv[k8]**k9, 
  -k8**k1 - k9**k3 + Inv[k5]**Inv[k7]**k6**k3 - 
   k8**u1**Inv[k5]**Inv[k7]**k6**k3 - 
   Inv[k5]**Inv[k7]**Inv[k1]**k2**k10**k1 - 
   Inv[k5]**Inv[k7]**Inv[k1]**u1**k8**k1 + 
   k8**u1**Inv[k5]**Inv[k7]**Inv[k1]**k2**k10**k1 + 
   k8**u1**Inv[k5]**Inv[k7]**Inv[k1]**u1**k8**k1 - 
   k9**k3**Inv[k1]**u1**Inv[k5]**Inv[k7]**k6**k3 + 
   k9**k3**Inv[k1]**Inv[k8]**Inv[k5]**Inv[k7]**k6**k3 + 
   k9**k4**k10**Inv[k8]**Inv[k5]**Inv[k7]**k6**k3 - 
   k9**k3**Inv[k1]**k2**k10**Inv[k8]**Inv[k5]**Inv[k7]**k6**k3 + 
   k9**k3**Inv[k1]**u1**Inv[k5]**Inv[k7]**Inv[k1]**k2**k10**k1 + 
   k9**k3**Inv[k1]**u1**Inv[k5]**Inv[k7]**Inv[k1]**u1**k8**k1 - 
   k9**k3**Inv[k1]**Inv[k8]**Inv[k5]**Inv[k7]**Inv[k1]**k2**k10**k1 - 
   k9**k3**Inv[k1]**Inv[k8]**Inv[k5]**Inv[k7]**Inv[k1]**u1**k8**k1 - 
   k9**k4**k10**Inv[k8]**Inv[k5]**Inv[k7]**Inv[k1]**k2**k10**k1 - 
   k9**k4**k10**Inv[k8]**Inv[k5]**Inv[k7]**Inv[k1]**u1**k8**k1 + 
   k9**k3**Inv[k1]**k2**k10**Inv[k8]**Inv[k5]**Inv[k7]**Inv[k1]**k2**k10**
    k1 + k9**k3**Inv[k1]**k2**k10**Inv[k8]**Inv[k5]**Inv[k7]**Inv[k1]**u1**
    k8**k1, -k9**k4 + k9**k3**Inv[k1]**k2 - 
   k9**k3**Inv[k1]**u1**Inv[k5]**Inv[k11] + 
   k9**k3**Inv[k1]**Inv[k8]**Inv[k5]**Inv[k11] - 
   k9**k4**k10**u1**Inv[k5]**Inv[k11] + 
   k9**k4**k10**Inv[k8]**Inv[k5]**Inv[k11] + 
   k9**k3**Inv[k1]**k2**k10**u1**Inv[k5]**Inv[k11] - 
   k9**k3**Inv[k1]**k2**k10**Inv[k8]**Inv[k5]**Inv[k11] - 
   k9**k3**Inv[k1]**Inv[k8]**k9**k3**Inv[k1]**u1**Inv[k5]**Inv[k11] + 
   k9**k3**Inv[k1]**Inv[k8]**k9**k3**Inv[k1]**Inv[k8]**Inv[k5]**Inv[k11] + 
   k9**k3**Inv[k1]**Inv[k8]**k9**k4**k10**Inv[k8]**Inv[k5]**Inv[k11] - 
   k9**k4**k10**Inv[k8]**k9**k3**Inv[k1]**u1**Inv[k5]**Inv[k11] + 
   k9**k4**k10**Inv[k8]**k9**k3**Inv[k1]**Inv[k8]**Inv[k5]**Inv[k11] + 
   k9**k4**k10**Inv[k8]**k9**k4**k10**Inv[k8]**Inv[k5]**Inv[k11] + 
   k9**k3**Inv[k1]**k2**k10**Inv[k8]**k9**k3**Inv[k1]**u1**Inv[k5]**
    Inv[k11] - k9**k3**Inv[k1]**k2**k10**Inv[k8]**k9**k3**Inv[k1]**Inv[k8]**
    Inv[k5]**Inv[k11] - k9**k3**Inv[k1]**k2**k10**Inv[k8]**k9**k4**k10**
    Inv[k8]**Inv[k5]**Inv[k11] - 
   k9**k3**Inv[k1]**Inv[k8]**k9**k3**Inv[k1]**k2**k10**Inv[k8]**Inv[k5]**
    Inv[k11] - k9**k4**k10**Inv[k8]**k9**k3**Inv[k1]**k2**k10**Inv[k8]**
    Inv[k5]**Inv[k11] + k9**k3**Inv[k1]**k2**k10**Inv[k8]**k9**k3**Inv[k1]**
    k2**k10**Inv[k8]**Inv[k5]**Inv[k11], 
  k4**Inv[k2]**k1**k6**Inv[k9] -> 
   -Inv[k9] + k3**k6**Inv[k9] + k3**Inv[k1]**u1 - k3**Inv[k1]**Inv[k8] - 
    k4**k10**Inv[k8] - k4**Inv[k2]**u1 + k3**Inv[k1]**k2**k10**Inv[k8], 
  Inv[k11]**Inv[k2]**u1**k9**k3 -> 
   Inv[k11]**k10**k1 - Inv[k7]**k6**k3 - Inv[k11]**Inv[k2]**k1**k6**k3 + 
    Inv[k7]**Inv[k1]**k2**k10**k1 + Inv[k7]**Inv[k1]**u1**k8**k1, 
  Inv[k11]**Inv[k2]**u1**k9**k4 -> 
   -Inv[k11] + Inv[k11]**k10**k2 - Inv[k7]**k6**k4 - Inv[k7]**Inv[k1]**k2 - 
    Inv[k11]**Inv[k2]**k1**k6**k4 + Inv[k7]**Inv[k1]**k2**k10**k2 + 
    Inv[k7]**Inv[k1]**u1**k8**k2, 
  k11**Inv[k7]**Inv[k1]**u1**k8**k1 -> 
   -k10**k1 + k11**Inv[k7]**k6**k3 + Inv[k2]**k1**k6**k3 + 
    Inv[k2]**u1**k9**k3 - k11**Inv[k7]**Inv[k1]**k2**k10**k1, 
  k11**Inv[k7]**Inv[k1]**u1**k8**k2 -> 
   1 - k10**k2 + k11**Inv[k7]**k6**k4 + k11**Inv[k7]**Inv[k1]**k2 + 
    Inv[k2]**k1**k6**k4 + Inv[k2]**u1**k9**k4 - 
    k11**Inv[k7]**Inv[k1]**k2**k10**k2, 
  k6**k3**Inv[k1]**k2**k10**Inv[k8] -> 
   -k7**k5 - Inv[k1]**u1 - k6**k3**Inv[k1]**u1 + k6**k3**Inv[k1]**Inv[k8] + 
    k6**k4**k10**Inv[k8] + Inv[k1]**k2**k10**u1 + Inv[k1]**u1**k8**u1, 
  u1**k9**k3**Inv[k1]**k2**k10**Inv[k8] -> 
   u1 + k1**k7**k5 + k2**k11**k5 - u1**k8**u1 - u1**k9**k3**Inv[k1]**u1 + 
    u1**k9**k3**Inv[k1]**Inv[k8] + u1**k9**k4**k10**Inv[k8], 
  Inv[k2]**k1**k6**k3**Inv[k1]**u1**k8 -> 
   k10**u1**k8 - Inv[k2]**u1**k8 + Inv[k2]**k1**k6**k3**Inv[k1] + 
    Inv[k2]**k1**k6**k4**k10 - Inv[k2]**k1**k7**k5**k8 + 
    Inv[k2]**u1**k8**u1**k8 - Inv[k2]**k1**k6**k3**Inv[k1]**k2**k10, 
  k11**k5**k9**k3**Inv[k1]**k2**k10**Inv[k8] -> 
   k11**k5 - k10**k1**k7**k5 - k10**k2**k11**k5 - k11**k5**k8**u1 - 
    k11**k5**k9**k3**Inv[k1]**u1 + k11**k5**k9**k3**Inv[k1]**Inv[k8] + 
    k11**k5**k9**k4**k10**Inv[k8] + Inv[k2]**k1**k6**k3**k7**k5 + 
    Inv[k2]**k1**k6**k4**k11**k5 + Inv[k2]**u1**k9**k3**k7**k5 + 
    Inv[k2]**u1**k9**k4**k11**k5, 
  k5**k9**k3**Inv[k1]**k2**k10**Inv[k8]**Inv[k5] -> 
   -k5**k8**u1**Inv[k5] - Inv[k7]**k6**k3**k7 - Inv[k7]**k6**k4**k11 - 
    Inv[k7]**Inv[k1]**k2**k11 - k5**k9**k3**Inv[k1]**u1**Inv[k5] + 
    k5**k9**k3**Inv[k1]**Inv[k8]**Inv[k5] + 
    k5**k9**k4**k10**Inv[k8]**Inv[k5] + Inv[k7]**Inv[k1]**k2**k10**k1**k7 + 
    Inv[k7]**Inv[k1]**k2**k10**k2**k11 + Inv[k7]**Inv[k1]**u1**k8**k1**k7 + 
    Inv[k7]**Inv[k1]**u1**k8**k2**k11, 
  k7**k5**k9**k3**Inv[k1]**k2**k10**Inv[k8] -> 
   -k6**k3**k7**k5 - k6**k4**k11**k5 - k7**k5**k8**u1 - 
    Inv[k1]**k2**k11**k5 - k7**k5**k9**k3**Inv[k1]**u1 + 
    k7**k5**k9**k3**Inv[k1]**Inv[k8] + k7**k5**k9**k4**k10**Inv[k8] + 
    Inv[k1]**k2**k10**k1**k7**k5 + Inv[k1]**k2**k10**k2**k11**k5 + 
    Inv[k1]**u1**k8**k1**k7**k5 + Inv[k1]**u1**k8**k2**k11**k5, 
  k9**k3**Inv[k1]**k2**k10**Inv[k8]**Inv[k5]**Inv[k11] -> 
   -k8**u1**Inv[k5]**Inv[k11] - Inv[k5]**Inv[k7]**k6**k4 - 
    Inv[k5]**Inv[k7]**Inv[k1]**k2 - k9**k3**Inv[k1]**u1**Inv[k5]**Inv[k11] + 
    k9**k3**Inv[k1]**Inv[k8]**Inv[k5]**Inv[k11] + 
    k9**k4**k10**Inv[k8]**Inv[k5]**Inv[k11] - 
    Inv[k5]**Inv[k7]**k6**k3**k7**Inv[k11] + 
    Inv[k5]**Inv[k7]**Inv[k1]**k2**k10**k2 + 
    Inv[k5]**Inv[k7]**Inv[k1]**u1**k8**k2 + 
    Inv[k5]**Inv[k7]**Inv[k1]**k2**k10**k1**k7**Inv[k11] + 
    Inv[k5]**Inv[k7]**Inv[k1]**u1**k8**k1**k7**Inv[k11], 
  Inv[k2]**k1**k6**k3**Inv[k1]**k2**k10**Inv[k8]**k9 -> 
   k10**u1**k9 - Inv[k2]**u1**k9 - Inv[k2]**k1**k7**k5**k9 + 
    Inv[k2]**u1**k8**u1**k9 - Inv[k2]**k1**k6**k3**Inv[k1]**u1**k9 + 
    Inv[k2]**k1**k6**k3**Inv[k1]**Inv[k8]**k9 + 
    Inv[k2]**k1**k6**k4**k10**Inv[k8]**k9, 
  k9**k3**Inv[k1]**k2**k10**Inv[k8]**Inv[k5]**Inv[k7]**Inv[k1]**u1**k8**
    k1 -> k8**k1 + k9**k3 - Inv[k5]**Inv[k7]**k6**k3 + 
    k8**u1**Inv[k5]**Inv[k7]**k6**k3 + 
    Inv[k5]**Inv[k7]**Inv[k1]**k2**k10**k1 + 
    Inv[k5]**Inv[k7]**Inv[k1]**u1**k8**k1 - 
    k8**u1**Inv[k5]**Inv[k7]**Inv[k1]**k2**k10**k1 - 
    k8**u1**Inv[k5]**Inv[k7]**Inv[k1]**u1**k8**k1 + 
    k9**k3**Inv[k1]**u1**Inv[k5]**Inv[k7]**k6**k3 - 
    k9**k3**Inv[k1]**Inv[k8]**Inv[k5]**Inv[k7]**k6**k3 - 
    k9**k4**k10**Inv[k8]**Inv[k5]**Inv[k7]**k6**k3 + 
    k9**k3**Inv[k1]**k2**k10**Inv[k8]**Inv[k5]**Inv[k7]**k6**k3 - 
    k9**k3**Inv[k1]**u1**Inv[k5]**Inv[k7]**Inv[k1]**k2**k10**k1 - 
    k9**k3**Inv[k1]**u1**Inv[k5]**Inv[k7]**Inv[k1]**u1**k8**k1 + 
    k9**k3**Inv[k1]**Inv[k8]**Inv[k5]**Inv[k7]**Inv[k1]**k2**k10**k1 + 
    k9**k3**Inv[k1]**Inv[k8]**Inv[k5]**Inv[k7]**Inv[k1]**u1**k8**k1 + 
    k9**k4**k10**Inv[k8]**Inv[k5]**Inv[k7]**Inv[k1]**k2**k10**k1 + 
    k9**k4**k10**Inv[k8]**Inv[k5]**Inv[k7]**Inv[k1]**u1**k8**k1 - 
    k9**k3**Inv[k1]**k2**k10**Inv[k8]**Inv[k5]**Inv[k7]**Inv[k1]**k2**k10**k1\
, k9**k3**Inv[k1]**k2**k10**Inv[k8]**k9**k3**Inv[k1]**k2**k10**Inv[k8]**
    Inv[k5]**Inv[k11] -> 
   k9**k4 - k9**k3**Inv[k1]**k2 + k9**k3**Inv[k1]**u1**Inv[k5]**Inv[k11] - 
    k9**k3**Inv[k1]**Inv[k8]**Inv[k5]**Inv[k11] + 
    k9**k4**k10**u1**Inv[k5]**Inv[k11] - 
    k9**k4**k10**Inv[k8]**Inv[k5]**Inv[k11] - 
    k9**k3**Inv[k1]**k2**k10**u1**Inv[k5]**Inv[k11] + 
    k9**k3**Inv[k1]**k2**k10**Inv[k8]**Inv[k5]**Inv[k11] + 
    k9**k3**Inv[k1]**Inv[k8]**k9**k3**Inv[k1]**u1**Inv[k5]**Inv[k11] - 
    k9**k3**Inv[k1]**Inv[k8]**k9**k3**Inv[k1]**Inv[k8]**Inv[k5]**Inv[k11] - 
    k9**k3**Inv[k1]**Inv[k8]**k9**k4**k10**Inv[k8]**Inv[k5]**Inv[k11] + 
    k9**k4**k10**Inv[k8]**k9**k3**Inv[k1]**u1**Inv[k5]**Inv[k11] - 
    k9**k4**k10**Inv[k8]**k9**k3**Inv[k1]**Inv[k8]**Inv[k5]**Inv[k11] - 
    k9**k4**k10**Inv[k8]**k9**k4**k10**Inv[k8]**Inv[k5]**Inv[k11] - 
    k9**k3**Inv[k1]**k2**k10**Inv[k8]**k9**k3**Inv[k1]**u1**Inv[k5]**
     Inv[k11] + k9**k3**Inv[k1]**k2**k10**Inv[k8]**k9**k3**Inv[k1]**Inv[k8]**
     Inv[k5]**Inv[k11] + k9**k3**Inv[k1]**k2**k10**Inv[k8]**k9**k4**k10**
     Inv[k8]**Inv[k5]**Inv[k11] + 
    k9**k3**Inv[k1]**Inv[k8]**k9**k3**Inv[k1]**k2**k10**Inv[k8]**Inv[k5]**
     Inv[k11] + k9**k4**k10**Inv[k8]**k9**k3**Inv[k1]**k2**k10**Inv[k8]**
     Inv[k5]**Inv[k11]}
