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



arvot[0]=0

for j45 in range(arvot[23]):



arvot[0]+=1

arvot[16]+=1


arvot[23]=0

for j56 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 j75 in range(arvot[23]):



arvot[3]+=1

for j81 in range(arvot[5]):



arvot[24]=0

arvot[3]+=1


arvot[5]=0

arvot[3]+=1

arvot[5]+=1

for j96 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 j112 in range(arvot[3]):



arvot[5]+=1










for j127 in range(arvot[21]):



arvot[22]+=1

arvot[24]+=1

arvot[0]=0

for j137 in range(arvot[24]):



arvot[14]+=1

arvot[23]+=1

arvot[23]+=1

for j147 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 j173 in range(arvot[14]):



arvot[2]=0
arvot[8]=0
arvot[0]+=1

for j181 in range(arvot[8]):
arvot[19]+=1


arvot[2]+=1
arvot[17]=0
for j187 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 j209 in range(arvot[0]):



arvot[1]+=1


for j216 in range(arvot[1]):



for j220 in range(arvot[0]):



arvot[6]+=1














print(arvot[6])


for j242 in range(arvot[2]):
arvot[19]=0


arvot[24]=0

arvot[6]+=1

arvot[20]+=1


for j253 in range(arvot[44]):





for j259 in range(arvot[0]):



for j263 in range(arvot[0]):



print(arvot[6])

for j269 in range(arvot[0]):



arvot[6]+=1

arvot[19]+=1



for j279 in range(arvot[19]):



arvot[10]+=1

arvot[13]+=1


for j288 in range(arvot[0]):



arvot[6]+=1



arvot[16]+=1

print(arvot[6])

for j300 in range(arvot[16]):



arvot[6]+=1


for j307 in range(arvot[0]):



print(arvot[6])

for j313 in range(arvot[0]):



arvot[6]+=1



arvot[18]=0

for j323 in range(arvot[0]):



for j327 in range(arvot[2]):
arvot[19]=0


arvot[6]+=1

arvot[13]+=1


print(arvot[6])


for j339 in range(arvot[0]):



arvot[13]=0

arvot[12]+=1

arvot[17]+=1
for j348 in range(arvot[-24]):










arvot[12]+=1

for j361 in range(arvot[12]):



for j365 in range(arvot[22]):



arvot[6]+=1


print(arvot[6])

for j374 in range(arvot[0]):



arvot[22]+=1



for j382 in range(arvot[2]):
arvot[19]=0


arvot[6]+=1


for j389 in range(arvot[0]):



for j393 in range(arvot[0]):



arvot[6]+=1


print(arvot[6])







for j408 in range(arvot[0]):



arvot[6]+=1

for j414 in range(arvot[0]):



arvot[6]+=1


arvot[7]+=1


for j424 in range(arvot[17]):
for j425 in range(arvot[19]):


for j428 in range(arvot[7]):



arvot[25]+=1



print(arvot[6])

for j438 in range(arvot[0]):



for j442 in range(arvot[2]):
arvot[19]=0


arvot[6]+=1


print(arvot[6])

for j451 in range(arvot[0]):



arvot[6]+=1


print(arvot[6])

for j460 in range(arvot[2]):
arvot[19]=0


arvot[0]+=1

arvot[13]+=1


arvot[1]=0







for j477 in range(arvot[5]):



arvot[12]=0

arvot[18]+=1

for j485 in range(arvot[18]):



arvot[20]+=1

arvot[20]+=1


for j494 in range(arvot[20]):



arvot[8]+=1
arvot[-24]+=1


for j502 in range(arvot[25]):



arvot[6]+=1


arvot[13]=0

for j511 in range(arvot[17]):
for j512 in range(arvot[19]):


arvot[25]+=1


print(arvot[6])