&J      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~!       !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~"Parses an SMT-LIB command script. (Checks the parsing of a command script. LRecursively searches current directory for *.smt2 files to test the parser.  !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~~z}|{vyxwsutjrqponmlkhiagfedcb_`R^]\[ZYXWVUTSIQPONMLKJ5HGFEDCBA@?>=<;:987634/210,.-(+*)$'&%#"! #"!  !"#$'&%%&'(+*))*+,.--./2100123445HGFEDCBA@?>=<;:98766789:;<=>?@ABCDEFGHIQPONMLKJJKLMNOPQR ^]\[ZYXWVUTSSTUVWXYZ[\]^_``agfedcbbcdefghiijrqponmlkklmnopqrsuttuvyxwwxyz}|{{|}~      !"#$%&'()*+,-./01234566789:;<=>?@ABCDEFGHIJKLK+'MNO/PQRSTUVWXYZ[\]]^^_`abcddeefghijklmnmoopqrstuvvwxyz{|}~  smt-lib-0.0.1Language.SMTLIB.LexerLanguage.SMTLIBToken RightParen LeftParenKeywordSymbolStringBinHexDecimalNumeralalexInputPrevCharalexScanTokens lexSMTLIB alexAndPredalexPrevCharIsalexPrevCharIsOneOfalexRightContextiUnbox Gta_responseT_valuation_pair Gv_responseValuation_pair Guc_response Gp_responseProof Ga_response Cs_response Gi_response Info_responseInfo_response_attributeInfo_response_reason_unknownInfo_response_statusInfo_response_versionInfo_response_authorsInfo_response_nameInfo_response_error_behaviorStatusUnknownUnsatSatReason_unknown IncompleteMemoutTimeoutError_behaviorContinued_executionImmediate_exit Gen_responseErrorSuccess UnsupportedScriptCommandExitGet_info Get_optionGet_assignment Get_valueGet_unsat_core Get_proofGet_assertions Check_satAssertPopPush Define_fun Declare_fun Define_sort Declare_sortSet_info Set_option Set_logic Info_flagAll_statisticsVersionAuthorsNameOptionOption_attribute Verbosity Random_seedDiagnostic_output_channelRegular_output_channelProduce_assignmentsProduce_modelsProduce_unsat_coresProduce_proofsInteractive_modeExpand_definitions Print_successLogicLogic_attributeLogic_attribute_notesLogic_attribute_valuesLogic_attribute_extensionsLogic_attribute_languageLogic_attribute_theories Theory_declTheory_attributeTheory_attribute_notesTheory_attribute_valuesTheory_attribute_definitionTheory_attribute_funs_descTheory_attribute_sorts_descTheory_attribute_funsTheory_attribute_sortsPar_fun_symbol_declPar_fun_symbol_decl_symbolsFun_symbol_decl"Fun_symbol_decl_meta_spec_constantFun_symbol_decl_spec_constantMeta_spec_constantMeta_spec_constant_stringMeta_spec_constant_decimalMeta_spec_constant_numeralSort_symbol_declTermTerm_attributes Term_exists Term_forallTerm_let Term_distinctTerm_qual_identifier_Term_qual_identifierTerm_spec_constant Sorted_var Var_bindingQual_identifierQual_identifier_sort AttributeAttribute_s_exprAttribute_valueAttribute_value_s_exprAttribute_value_symbolAttribute_value_spec_constantSortSort_identifiersSort_identifier Sort_bool Identifier Identifier_S_exprS_exprsS_expr_keyword S_expr_symbolS_expr_constant Spec_constantSpec_constant_stringSpec_constant_binarySpec_constant_hexadecimalSpec_constant_decimalSpec_constant_numeral parseScript checkParser AlexAccPredAlexAccAlexAccSkipPred AlexAccSkip AlexLastAcc AlexLastSkipAlexNone AlexReturn AlexTokenAlexSkip AlexErrorAlexEOFAlexAddrAlexA# AlexInput alex_base alex_table alex_check alex_defltSMTLIB spec_constants_expr identifiersort'attribute_value attributequal_identifier var_binding sorted_vartermsort_symbol_declmeta_spec_constantfun_symbol_declpar_fun_symbol_decltheory_attribute theory_decllogic_attributelogicoption info_flagcommandscriptgroupshowBooltokleftrightnumeralstringsymbolkeywordb_value checkScript