Added code for testing whether example 6 is elusive 7 element lattice.