['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', ')', ')', ')', ')', 'X'] arvot[21]+=1 arvot[23]+=1 arvot[23]+=1 arvot[1]+=1 for j14 in range(arvot[23]): arvot[23]+=1 arvot[0]=0 for j22 in range(arvot[1]): arvot[0]+=1 for j29 in range(arvot[0]): arvot[23]+=1 arvot[2]+=1 arvot[-24]=0 for j38 in range(arvot[1]): arvot[0]=0 for j44 in range(arvot[23]): arvot[0]+=1 arvot[16]+=1 arvot[23]=0 for j55 in range(arvot[0]): arvot[23]+=1 arvot[10]+=1 arvot[6]+=1 arvot[2]=0 arvot[2]=0 arvot[3]=0 arvot[5]+=1 for j73 in range(arvot[23]): arvot[3]+=1 for j79 in range(arvot[5]): arvot[24]=0 arvot[3]+=1 arvot[5]=0 arvot[3]+=1 arvot[5]+=1 for j94 in range(arvot[2]): arvot[19]=0 arvot[3]=0 arvot[8]+=1 arvot[13]+=1 arvot[2]=0 arvot[8]=0 arvot[11]+=1 for j109 in range(arvot[3]): arvot[5]+=1 for j124 in range(arvot[21]): arvot[22]+=1 arvot[24]+=1 arvot[0]=0 for j134 in range(arvot[24]): arvot[14]+=1 arvot[23]+=1 arvot[23]+=1 for j144 in range(arvot[11]): arvot[8]+=1 arvot[2]+=1 arvot[13]=0 arvot[16]+=1 arvot[0]+=1 arvot[7]+=1 arvot[24]=0 arvot[51]=0 for j170 in range(arvot[14]): arvot[2]=0 arvot[8]=0 arvot[0]+=1 for j178 in range(arvot[8]): arvot[19]+=1 arvot[2]+=1 arvot[17]=0 for j184 in range(arvot[3]): arvot[23]=0 arvot[19]=0 arvot[14]+=1 arvot[20]+=1 arvot[12]=0 arvot[21]=0 arvot[22]+=1 print(arvot[0]) for j206 in range(arvot[0]): arvot[1]+=1 for j213 in range(arvot[1]): for j217 in range(arvot[0]): arvot[6]+=1 print(arvot[6]) for j239 in range(arvot[2]): arvot[19]=0 arvot[24]=0 arvot[6]+=1 arvot[20]+=1 for j250 in range(arvot[44]): for j256 in range(arvot[0]): for j260 in range(arvot[0]): print(arvot[6]) for j266 in range(arvot[0]): arvot[6]+=1 arvot[19]+=1 for j276 in range(arvot[19]): arvot[10]+=1 arvot[13]+=1 for j285 in range(arvot[0]): arvot[6]+=1 arvot[16]+=1 print(arvot[6]) for j297 in range(arvot[16]): arvot[6]+=1 for j304 in range(arvot[0]): print(arvot[6]) for j310 in range(arvot[0]): arvot[6]+=1 arvot[18]=0 for j320 in range(arvot[0]): for j324 in range(arvot[2]): arvot[19]=0 arvot[6]+=1 arvot[13]+=1 print(arvot[6]) for j336 in range(arvot[0]): arvot[13]=0 arvot[12]+=1 arvot[17]+=1 for j345 in range(arvot[-24]): arvot[12]+=1 for j358 in range(arvot[12]): for j362 in range(arvot[22]): arvot[6]+=1 print(arvot[6]) for j371 in range(arvot[0]): arvot[22]+=1 for j379 in range(arvot[2]): arvot[19]=0 arvot[6]+=1 for j386 in range(arvot[0]): for j390 in range(arvot[0]): arvot[6]+=1 print(arvot[6]) for j405 in range(arvot[0]): arvot[6]+=1 for j411 in range(arvot[0]): arvot[6]+=1 arvot[7]+=1 for j421 in range(arvot[17]): for j422 in range(arvot[19]): for j425 in range(arvot[7]): arvot[25]+=1 print(arvot[6]) for j435 in range(arvot[0]): for j439 in range(arvot[2]): arvot[19]=0 arvot[6]+=1 print(arvot[6]) for j448 in range(arvot[0]): arvot[6]+=1 print(arvot[6]) for j457 in range(arvot[2]): arvot[19]=0 arvot[0]+=1 arvot[13]+=1 arvot[1]=0 for j474 in range(arvot[5]): arvot[12]=0 arvot[18]+=1 for j482 in range(arvot[18]): arvot[20]+=1 arvot[20]+=1 for j491 in range(arvot[20]): arvot[8]+=1 arvot[-24]+=1 for j499 in range(arvot[25]): arvot[6]+=1 arvot[13]=0 for j508 in range(arvot[17]): for j509 in range(arvot[19]): arvot[25]+=1 print(arvot[6])