0
3
x
x
y
y
y
z
0
y
[x, y, z]
[y, x, y, z, y]
[y, x, y, z, y]
[y, y, x, y, z, y]
[y, y, x, y, z, y]
[y, y, x, y, z, y, y]
[y, y, x, y, z, y, y, tt]
  ***   at top-level: varhigher("zzz",y);1/0
  ***                                     ^--
  *** _/_: impossible inverse in gdiv: 0.
[y, y, x, y, z, y, y, tt]
[y, x, y, z, y]
[y, y, x, y, z, y, y, tt]
Total time spent: 0
