Package edu.stanford.math.plex4.generation