>      !"#$%&'()*+,-./0123456789:;<= Safe-Inferred>  !"#$%&'()*+,-./0123456789>?@A:  !"#$%&'()*+,-./0123456789:&%$#"!   '()*+,-./0189234567  &%$#"! '()*+,-./0123456789>?@A Safe-Inferred:BCDEFG:::BCDEFG Safe-Inferred;<=;<==;<;<= Safe-Inferred>  !"#$%&'()*+,-./0123456789:;<=H      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJK dove-0.0.0Language.Dove.SyntaxLanguage.Dove.OptimizeLanguage.Dove.ACL2 Language.DoveBinOpModMulSubAddGeGtLeLtEqImpliesOrAndUniOpIsIntIsArraySignumAbsNegateLengthNotExprCommentIntegerBoolUnitIf ArrayUpdate ArrayProject ArrayAppendArray RecordProject RecordOverlayRecordLetForAllVarlet'forAllnot'&&.||.impliesunittruefalseif'length'==.<.<=.>.>=.mod'isArrayisIntoptimizecheckcheck'acl2 $fNumExpr $fShowBinOp $fShowUniOp $fShowExpr optInline optInline'optRemoveNullEffectvarsoptConstantPropoptConstantProp'