Life Mechanized Example Code