Symbol NILSXX

Definition

77640 0 00137 0 07335 79NILSXX $PNAME,,−*−1

Uses

00177 0 00140 0 77777 131ZERO −1,,−NILSXX BEGINNING OF ATOM NIL
05766 11339BUTCHLEQUNILSXX−*+1 LENGTH OF BUTCH REGION