Dump of variables at termination

Natural variables

ABORT = PATTERN
ANT1 = 'CqNr'
ANT2 = 'NKqr'
ANT_LHS = 'NNp'
ANT_NUM = 12
ANT_RHS = 'p'
ARB = PATTERN
ASSUMP_MARK = 'ASSUMP'
AX_NUM = '*1.6'
B = ' '
BACK_UP = 6
BAL = PATTERN
BIGGEST_PART_NUM = 3
CH = '#'
COMMENT_MARK = PATTERN
CONCLUSION = 'CCAqrpCrpCKCrNqEpAqrCrp'
CONJ_MARK = PATTERN
CONS1 = 'ANqNr'
CONS2 = 'ANqNr'
CONS_LHS = 'p'
CONS_RHS = 'NNp'
DATE_DJD = '12/29/2017 15:50:08'
DATE_PM = '12/29/2017 15:50:08'
DEF_NUM = '*4.01'
DELIM = PATTERN
DE_MARK = PATTERN
DIGIT = PATTERN
DIGIT_SP = PATTERN
FAIL = PATTERN
FENCE = PATTERN
HEADING = 'SUMMARY OF THEOREMS AND DEFINITIONS'
I = 283
IMP_NUM = 1
INPUT = '+'
INT_LINE_NUM = '(4.2)'
J = 213
JUST = 0
LHS = 'Eqr'
LINE = TABLE(70,5)
LINE_NUM = 0
MATCH = 2
MP_MARK = PATTERN
MULTI_LINE_PF_MARK = '&'
N = 1
NAME = TABLE(220,10)
NUM_PF_LINES = 1
NUM_THM1 = 7
NUM_THM2 = 9
ONECH = PATTERN
PAGE_LENGTH = 55
PAGE_LINES = 10
PAGE_NUM = 2
PAGE_OUT = '*5.75   CKCrNqEpAqrEKpNqr   '
PAGE_WIDTH = 80
PARENS = PATTERN
PART = TABLE(32,4)
PART_NUM = 2
PF_LINE = TABLE(32,2)
PF_LINE_NUM = 10
PM = PATTERN
REM = PATTERN
REPLACEMENT_SPOT = 1
REP_MARK = PATTERN
RHS = 'KCqrCrq'
ROMAN_TO_ARABIC = TABLE(5,10)
S = 'ANqKqp'
S1 = 'EECpqCprCpEqr'
S2 = 'ECpEqrECpqCpr'
SE_MARK = PATTERN
SPACES = 50
STACK = TABLE(8,2)
STACK_COUNT = 3
ST_NUM = 296
SUB = TABLE(10,10)
SUB_MARK = '/'
SUCCEED = PATTERN
SYLL_MARK = PATTERN
TEMP = 'Eqr=KCqrCrq'
THEOREM = TABLE(300,20)
THEOREMS = ARRAY('282,2')
THESIS = '*5.75 CKCrNqEpAqrEKpNqr'
THM = 'EECpqCprCpEqr#ECpEqrECpqCpr'
THM1 = '(2)'
THM2 = '(3)'
THM_NUM = '(4.21)'
THM_NUM_LHS = '*2.14'
THM_NUM_RHS = '*2.12'
THS_NUM = ' '
TI = PATTERN
TITLE_PAGE = '                                  END_OF_TITLE'

Unprotected keywords

&ABEND = 0
&ANCHOR = 0
&CASE = 1
&CODE = 0
&DUMP = 1
&ERRLIMIT = 95
&FILL = ' '
&FTRACE = 0
&FULLSCAN = 0
&GTRACE = 0
&INPUT = 1
&MAXLNGTH = 4294967295
&OUTPUT = 1
&STLIMIT = 1000000
&TRACE = 0
&TRIM = 1