{
	magma
	{
		solve.mag
		suzuki.mag
		conjugate.mag
		tensor.mag
		standard.mag
		sylow.mag
		trick.mag
		membership.mag
		crosschar.mag
		maximals.mag
	}
}
