['#', 'Efficient', 'algorithm', 'for', 'finding', 'prime', 'numbers', 'INCREASE', 'V', 'INCREASE', 'X', 'INCREASE', 'X', 'INCREASE', 'B', 'REPEAT', 'X', 'TIMES', '(', 'INCREASE', 'X', 'CLEAR', 'A', 'REPEAT', 'B', 'TIMES', '(', 'INCREASE', 'A', ')', 'REPEAT', 'A', 'TIMES', '(', 'INCREASE', 'X', 'INCREASE', 'C', ')', 'REPEAT', 'B', 'TIMES', '(', 'CLEAR', 'A', 'REPEAT', 'X', 'TIMES', '(', 'INCREASE', 'A', 'INCREASE', 'Q', ')', 'CLEAR', 'X', 'REPEAT', 'A', 'TIMES', '(', 'INCREASE', 'X', 'INCREASE', 'K', ')', ')', 'INCREASE', 'G', 'CLEAR', 'C', 'CLEAR', 'D', 'INCREASE', 'F', 'REPEAT', 'X', 'TIMES', '(', 'INCREASE', 'D', 'REPEAT', 'F', 'TIMES', '(', 'CLEAR', 'Y', 'INCREASE', 'D', ')', 'CLEAR', 'F', 'INCREASE', 'D', 'INCREASE', 'F', 'REPEAT', 'C', 'TIMES', '(', 'CLEAR', 'D', 'INCREASE', 'I', '#', 'Nice', 'trick', ')', 'CLEAR', 'C', 'INCREASE', 'L', 'REPEAT', 'D', 'TIMES', '(', 'INCREASE', 'F', ')', ')', '#', 'Derived', 'directly', 'from', 'the', 'Godelian', 'stabilization', 'lemma', 'REPEAT', 'V', 'TIMES', '(', 'INCREASE', 'W', 'INCREASE', 'Y', 'CLEAR', 'A', 'REPEAT', 'Y', 'TIMES', '(', 'INCREASE', 'O', 'INCREASE', 'X', 'INCREASE', 'X', 'REPEAT', 'L', 'TIMES', '(', 'INCREASE', 'I', 'CLEAR', 'N', ')', 'INCREASE', 'Q', 'INCREASE', 'A', ')', 'INCREASE', 'H', 'CLEAR', 'Y', '#', 'Computes', 'the', 'homomorphic', 'inverse', 'of', 'a', 'given', 'monoid', 'REPEAT', 'O', 'TIMES', '(', 'CLEAR', 'C', 'INCREASE', 'A', 'REPEAT', 'I', 'TIMES', '(', 'INCREASE', 'C', 'REPEAT', 'D', 'TIMES', '(', 'CLEAR', 'X', 'CLEAR', 'T', 'INCREASE', 'O', 'INCREASE', 'U', 'CLEAR', 'M', ')', 'CLEAR', 'V', ')', 'INCREASE', 'W', 'PRINT', 'A', 'REPEAT', 'A', 'TIMES', '(', 'INCREASE', 'B', ')', 'REPEAT', 'B', 'TIMES', '(', 'REPEAT', 'A', 'TIMES', '(', 'INCREASE', 'G', '#', 'G', 'ist', 'always', 'at', 'least', 'two', 'times', 'the', 'size', 'of', 'the', 'subspace', ')', 'PRINT', 'G', ')', 'REPEAT', 'C', 'TIMES', '(', 'CLEAR', 'Y', 'INCREASE', 'G', 'INCREASE', 'U', ')', '#', 'Runs', 'most', 'likely', 'in', 'polynomial', 'time', 'REPEAT', 'A', 'TIMES', '(', 'REPEAT', 'A', 'TIMES', '(', 'PRINT', 'G', 'REPEAT', 'A', 'TIMES', '(', 'INCREASE', 'G', 'INCREASE', 'T', ')', ')', 'REPEAT', 'T', 'TIMES', '(', 'INCREASE', 'K', 'INCREASE', 'N', ')', 'REPEAT', 'A', 'TIMES', '(', 'INCREASE', 'G', ')', ')', 'INCREASE', 'Q', 'PRINT', 'G', 'REPEAT', 'Q', 'TIMES', '(', 'INCREASE', 'G', ')', 'REPEAT', 'A', 'TIMES', '(', 'PRINT', 'G', 'REPEAT', 'A', 'TIMES', '(', 'INCREASE', 'G', ')', ')', 'CLEAR', 'S', 'REPEAT', 'A', 'TIMES', '(', 'REPEAT', 'C', 'TIMES', '(', 'INCREASE', 'G', 'INCREASE', 'N', ')', 'PRINT', 'G', ')', 'REPEAT', 'A', 'TIMES', '(', 'CLEAR', 'N', 'INCREASE', 'M', 'INCREASE', 'R', ')', '#', 'Avoids', 'divergence', 'in', 'the', 'Hilbert', 'cone', 'by', 'rotating', 'parity', 'INCREASE', 'M', 'REPEAT', 'M', 'TIMES', '(', 'REPEAT', 'W', 'TIMES', '(', 'INCREASE', 'G', ')', 'PRINT', 'G', 'REPEAT', 'A', 'TIMES', '(', 'INCREASE', 'W', ')', ')', 'REPEAT', 'C', 'TIMES', '(', 'INCREASE', 'G', ')', 'REPEAT', 'A', 'TIMES', '(', 'REPEAT', 'A', 'TIMES', '(', 'INCREASE', 'G', ')', 'PRINT', 'G', ')', '#', 'Trivial', 'case', 'of', 'lattice', 'conjecture', 'REPEAT', 'A', 'TIMES', '(', 'INCREASE', 'G', 'REPEAT', 'A', 'TIMES', '(', 'INCREASE', 'G', ')', 'INCREASE', 'H', ')', 'REPEAT', 'R', 'TIMES', '(', 'REPEAT', 'H', 'TIMES', '(', 'INCREASE', 'Z', ')', ')', 'PRINT', 'G', 'REPEAT', 'A', 'TIMES', '(', 'REPEAT', 'C', 'TIMES', '(', 'INCREASE', 'G', ')', 'PRINT', 'G', 'REPEAT', 'A', 'TIMES', '(', 'INCREASE', 'G', ')', 'PRINT', 'G', 'REPEAT', 'C', 'TIMES', '(', 'INCREASE', 'A', 'INCREASE', 'N', ')', 'CLEAR', 'B', '#', "Let's", 'use', 'the', 'well', 'known', 'trick:', 'REPEAT', 'F', 'TIMES', '(', 'CLEAR', 'M', 'INCREASE', 'S', 'REPEAT', 'S', 'TIMES', '(', 'INCREASE', 'U', 'INCREASE', 'U', ')', 'REPEAT', 'U', 'TIMES', '(', 'INCREASE', 'I', ')', ')', 'REPEAT', 'Z', 'TIMES', '(', 'INCREASE', 'G', ')', 'CLEAR', 'N', 'REPEAT', 'R', 'TIMES', '(', 'INCREASE', 'Z', ')', 'PRINT', 'G', ')', ')', ')', ')']