úÎ Šƒ1      !"#$%&'()*+,-./0 Safe-Inferred;1234567  !"#$%&'()*+,-./089:1  !"#$%&'()*+,-./01  0!"$%&'()*#+,.-/71324567  !"#$%&'()*+,-./089:;      !"#$%&'()*+,-./0123456789:;<= acl2-0.0.1 Language.ACL2ExprLitObjcheck'checkmutualRecursiondefundefun'defconstdefthmthmcallobjquotelistconspconscarcdrnthlentake'nthcdr updateNthappendlet'varlitstringniltif'case'zpzip'integerp undefined'equalnot'and'or'impliesgoodbyemod'<.<=.>.>=.assocSExprSASVsExprunibintri $fNumExpr $fShowExpr $fShowSExpr