Attach("model.m"); for N in [156..500] do if HasCanonicalEmbeddingX0(N) then printf "\n\n// The canonical embedding of X_0(%o) is\n",N; t := Cputime(); printf "X0[%o] := %o;\n", N, Equations(CanonicalEmbeddingX0(N)); printf "// (time = %o seconds)\n", Cputime(t); end if; end for;