['INCREASE', 'A']
['INCREASE', 'A', 'INCREASE', 'A']
['INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A']
['INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A']
['INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A']
['INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A']
['INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A']
['INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A']
['INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'B']
['INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'B', 'INCREASE', 'B']
['INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'B', 'INCREASE', 'B', 'INCREASE', 'B']
['INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'B', 'INCREASE', 'B', 'INCREASE', 'B', 'INCREASE', 'B']
['INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'B', 'INCREASE', 'B', 'INCREASE', 'B', 'INCREASE', 'B', 'INCREASE', 'B']
['INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'B', 'INCREASE', 'B', 'INCREASE', 'B', 'INCREASE', 'B', 'INCREASE', 'B']
['INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'B', 'INCREASE', 'B', 'INCREASE', 'B', 'INCREASE', 'B', 'INCREASE', 'B', 'REPEAT', 'B', 'TIMES', '(']
['INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'B', 'INCREASE', 'B', 'INCREASE', 'B', 'INCREASE', 'B', 'INCREASE', 'B', 'REPEAT', 'B', 'TIMES', '(', 'REPEAT', 'B', 'TIMES', '(']
['INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'B', 'INCREASE', 'B', 'INCREASE', 'B', 'INCREASE', 'B', 'INCREASE', 'B', 'REPEAT', 'B', 'TIMES', '(', 'REPEAT', 'B', 'TIMES', '(', 'INCREASE', 'B']
['INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'B', 'INCREASE', 'B', 'INCREASE', 'B', 'INCREASE', 'B', 'INCREASE', 'B', 'REPEAT', 'B', 'TIMES', '(', 'REPEAT', 'B', 'TIMES', '(', 'INCREASE', 'B', ')']
['INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'B', 'INCREASE', 'B', 'INCREASE', 'B', 'INCREASE', 'B', 'INCREASE', 'B', 'REPEAT', 'B', 'TIMES', '(', 'REPEAT', 'B', 'TIMES', '(', 'INCREASE', 'B', ')', 'INCREASE', 'B']
['INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'B', 'INCREASE', 'B', 'INCREASE', 'B', 'INCREASE', 'B', 'INCREASE', 'B', 'REPEAT', 'B', 'TIMES', '(', 'REPEAT', 'B', 'TIMES', '(', 'INCREASE', 'B', ')', 'INCREASE', 'B', ')']
['INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'B', 'INCREASE', 'B', 'INCREASE', 'B', 'INCREASE', 'B', 'INCREASE', 'B', 'REPEAT', 'B', 'TIMES', '(', 'REPEAT', 'B', 'TIMES', '(', 'INCREASE', 'B', ')', 'INCREASE', 'B', ')']
['INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'B', 'INCREASE', 'B', 'INCREASE', 'B', 'INCREASE', 'B', 'INCREASE', 'B', 'REPEAT', 'B', 'TIMES', '(', 'REPEAT', 'B', 'TIMES', '(', 'INCREASE', 'B', ')', 'INCREASE', 'B', ')', 'REPEAT', 'A', 'TIMES', '(']
['INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'B', 'INCREASE', 'B', 'INCREASE', 'B', 'INCREASE', 'B', 'INCREASE', 'B', 'REPEAT', 'B', 'TIMES', '(', 'REPEAT', 'B', 'TIMES', '(', 'INCREASE', 'B', ')', 'INCREASE', 'B', ')', 'REPEAT', 'A', 'TIMES', '(', 'REPEAT', 'B', 'TIMES', '(']
['INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'B', 'INCREASE', 'B', 'INCREASE', 'B', 'INCREASE', 'B', 'INCREASE', 'B', 'REPEAT', 'B', 'TIMES', '(', 'REPEAT', 'B', 'TIMES', '(', 'INCREASE', 'B', ')', 'INCREASE', 'B', ')', 'REPEAT', 'A', 'TIMES', '(', 'REPEAT', 'B', 'TIMES', '(', 'INCREASE', 'C']
['INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'B', 'INCREASE', 'B', 'INCREASE', 'B', 'INCREASE', 'B', 'INCREASE', 'B', 'REPEAT', 'B', 'TIMES', '(', 'REPEAT', 'B', 'TIMES', '(', 'INCREASE', 'B', ')', 'INCREASE', 'B', ')', 'REPEAT', 'A', 'TIMES', '(', 'REPEAT', 'B', 'TIMES', '(', 'INCREASE', 'C', ')']
['INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'B', 'INCREASE', 'B', 'INCREASE', 'B', 'INCREASE', 'B', 'INCREASE', 'B', 'REPEAT', 'B', 'TIMES', '(', 'REPEAT', 'B', 'TIMES', '(', 'INCREASE', 'B', ')', 'INCREASE', 'B', ')', 'REPEAT', 'A', 'TIMES', '(', 'REPEAT', 'B', 'TIMES', '(', 'INCREASE', 'C', ')', ')']
['INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'B', 'INCREASE', 'B', 'INCREASE', 'B', 'INCREASE', 'B', 'INCREASE', 'B', 'REPEAT', 'B', 'TIMES', '(', 'REPEAT', 'B', 'TIMES', '(', 'INCREASE', 'B', ')', 'INCREASE', 'B', ')', 'REPEAT', 'A', 'TIMES', '(', 'REPEAT', 'B', 'TIMES', '(', 'INCREASE', 'C', ')', ')']
['INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'B', 'INCREASE', 'B', 'INCREASE', 'B', 'INCREASE', 'B', 'INCREASE', 'B', 'REPEAT', 'B', 'TIMES', '(', 'REPEAT', 'B', 'TIMES', '(', 'INCREASE', 'B', ')', 'INCREASE', 'B', ')', 'REPEAT', 'A', 'TIMES', '(', 'REPEAT', 'B', 'TIMES', '(', 'INCREASE', 'C', ')', ')', 'PRINT', 'C']
['INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'A', 'INCREASE', 'B', 'INCREASE', 'B', 'INCREASE', 'B', 'INCREASE', 'B', 'INCREASE', 'B', 'REPEAT', 'B', 'TIMES', '(', 'REPEAT', 'B', 'TIMES', '(', 'INCREASE', 'B', ')', 'INCREASE', 'B', ')', 'REPEAT', 'A', 'TIMES', '(', 'REPEAT', 'B', 'TIMES', '(', 'INCREASE', 'C', ')', ')', 'PRINT', 'C']
1