Updated Examples with Euclid's propositions and the Five state busy beaver.