$ time gp -q omf79.gp < /dev/null
Q(x0, x1, x2, x3, x4) = x0^2 + x1*x0 + (x1^2 + 5*x4*x1 + (x2^2 + 5*x4*x2 + (2*x3^2 + 5*x4*x3 + 100*x4^2)))

Computing V ... Time: CPU 4.88 s, Wall: 4.90 s
Computing T₂ ... Time: CPU 1.20 s, Wall: 1.21 s
Computing V₁ = ker(T₂+5) ... Time: CPU 0.17 s, Wall: 0.21 s
Computing V₂ = ker(T₂) ... Time: CPU 0.18 s, Wall: 0.18 s

Lemma 2.1.
  (1) The dimension of V is 612
  (2) The dimension of V₁ is 3
  (3) The dimension of V₂ is 6
  (4) The dimension of V₁⊗𝔽₅ ∩ V₂⊗𝔽₅ is 1

6.50user 0.12system 0:06.58elapsed 100%CPU (0avgtext+0avgdata 173548maxresident)k
468inputs+0outputs (0major+48537minor)pagefaults 0swaps