Lots of debugging; added new (old) heuristic; now computes Cyclic-5 homogeneous as well, but result is sometimes too large.