riemann-curvature-tensor-of-S7.egi

"\"egison\" (line 28, column 12):\nunexpected \"_\"\nexpecting top-level expression"