h*_/      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~0.6.0.0  Safe-Inferred %&67 logic-TPTPReturn random partition of n items into the given number of buckets if buckets>0Return [] if buckets=0 Safe-Inferred 67L logic-TPTP?Terms whose subterms are wrapped in the given type constructor c logic-TPTPFormulae whose subexpressions are wrapped in the given type constructor c. For example:c = : Plain formulaec = #: Formulae that may contain "holes"c = IORef0: (Mutable) formulae with mutable subexpressions logic-TPTPVariable names logic-TPTPTPTP constant symbol/predicate symbol/function symbol identifiers (they are output in single quotes unless they are  lower_words). Tip: Use the -XOverloadedStrings1 compiler flag if you don't want to have to type  AtomicWord to construct an   logic-TPTP0Obtain the free variables from a formula or term  logic-TPTPMetadata (the  general_term rule in TPTP's grammar) logic-TPTPMetadata (the  general_data rule in TPTP's grammar) logic-TPTP Formula roles logic-TPTPMisc annotations logic-TPTP%Annotations about the formulas origin! logic-TPTPGeneralized TPTP_Input" logic-TPTPAnnotated formulae) logic-TPTPA line of a TPTP file: Annotated formula (with the comment string embbeded in the Writer monad ), comment or include statement* logic-TPTPA line of a TPTP file: Annotated formula, comment or include statement.+ logic-TPTPQuantifier specification. logic-TPTPTerm -> Term -> Formula infix connectives1 logic-TPTPBinary formula connectives2 logic-TPTP Equivalence3 logic-TPTP Implication4 logic-TPTPReverse Implication5 logic-TPTPAND6 logic-TPTPOR7 logic-TPTPNAND8 logic-TPTPNOR9 logic-TPTPXOR: logic-TPTPSee  1http://haskell.org/haskellwiki/Indirect_composite for the point of the type parameters (they allow for future decorations). If you don't need decorations, you can just use I$ and the wrapped constructors above.; logic-TPTPVariable< logic-TPTPNumber literal= logic-TPTPDouble-quoted item> logic-TPTPFunction symbol application (constants are encoded as nullary functions)? logic-TPTPSee  1http://haskell.org/haskellwiki/Indirect_composite for the point of the type parameters (they allow for future decorations, e.g. monadic subformulae). If you don't need decorations, you can just use J$ and the wrapped constructors above.@ logic-TPTPBinary connective applicationA logic-TPTP6Infix predicate application (equalities, inequalities)B logic-TPTPPredicate applicationC logic-TPTPQuantified formulaD logic-TPTPNegationE logic-TPTPTerms decorated with commentsF logic-TPTP,First-order formulae decorated with commentsG logic-TPTPTerms decorated with stateH logic-TPTP)First-order formulae decorated with stateI logic-TPTPBasic (undecorated) termsJ logic-TPTP(Basic (undecorated) first-order formulaeK logic-TPTP3Forget comments in formulae decorated with commentsL logic-TPTP0Forget comments in terms decorated with commentsM logic-TPTP EquivalenceImportant special case:  \.\<\=\>\. :: J -> J -> JN logic-TPTP ImplicationO logic-TPTPReverse implicationP logic-TPTPDisjunction/ORQ logic-TPTPConjunction/ANDR logic-TPTPXORS logic-TPTPNORT logic-TPTPNANDU logic-TPTPNegationV logic-TPTPEqualityW logic-TPTP InequalityX logic-TPTPUniversal quantificationY logic-TPTPExistential quantificationZ logic-TPTPPredicate symbol application[ logic-TPTPVariable\ logic-TPTPFunction symbol application (constants are encoded as nullary functions)] logic-TPTPNumber literal^ logic-TPTP%Double-quoted string literal, called Distinct Object in TPTP's grammar_ logic-TPTPForget comments in a line of a TPTP file decorated with comments` logic-TPTP6Universally quantify all free variables in the formulaa logic-TPTP6Universally quantify all free variables in the formulai logic-TPTPEliminate formulaej logic-TPTPEliminate termsi logic-TPTPHandle negation logic-TPTPHandle quantification logic-TPTPHandle binary op logic-TPTPHandle equality/inequality logic-TPTP#Handle predicate symbol application logic-TPTPHandle formulaj logic-TPTPHandle string literal logic-TPTPHandle number literal logic-TPTPHandle variable logic-TPTP"Handle function symbol application logic-TPTP Handle term   !(%'&$#")*+-,.0/178956432:>=<;?CBA@DEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijJIHGFEKLMNOPQRSTUVWXYZ[\]^?CBA@D:>=<;178956432.0/+-,*)_!(%'&$#"    `abcd efghij M2N2O2P3Q4R2S3T4V5W5 Safe-Inferred %&67 logic-TPTPConvert to TPTP logic-TPTPConvenient wrapper for  Safe-Inferred %&67 logic-TPTPCarries information about the enclosing operation (for the purpose of printing stuff without parentheses if possible).   Safe-Inferred"%&67 logic-TPTPBoth arguments are the same. logic-TPTPThe arguments are recursive expressions of the same form, but their subterms differ. Return a "decorated" term that shows where the differences are logic-TPTPThe arguments differ and are not of similar form (don't recurse) logic-TPTPAbstraction for diff'ing [predicate symbol|function symbol|gdata] applications Suggestive variable names for the case of function symbol applications logic-TPTPLess random generator for generating formulae suitable for testing diff logic-TPTPthe diff function logic-TPTPnewtype wrapper logic-TPTPnewtype unwrapper logic-TPTP"Application expression constructor logic-TPTP First funsym logic-TPTP First args logic-TPTP Second funsum logic-TPTP Second args logic-TPTP NT wrapper logic-TPTP NT unwrapepr logic-TPTP constructor logic-TPTP NT wrapper logic-TPTP NT unwrapepr logic-TPTP constructor   Safe-Inferred logic-TPTPEncode a Haskell String to a list of Word8 values, in UTF8 format.  Safe-Inferred  9 9   Safe-Inferred'T  9  9  Safe-Inferred.   Safe-Inferred.JIHGFE123465987./0+,- ?D@ABC:;<=>*!"#$&'%()    QPiKLMNORSTUVWXYZ[\]^_`ajbcdefgh  Safe-Inferred/    !"#"$%$&'()*+,-./0123456789:;<=>?@ABCD63E0FGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            )logic-TPTP-0.6.0.0-FmAgIunQT8g71jC9mEwxI9Codec.TPTP.BaseCodec.TPTP.ExportCodec.TPTP.PrettyCodec.TPTP.DiffCodec.TPTP.Import logic-TPTPCodec.TPTP.QuickCheckLexerParserParserC Codec.TPTPUtilTrunTFrunFV AtomicWordFreeVarsfreeVarsGTermColonSepGListGDataGWordGAppGVarGNumberGDistinctObject GFormulaData GFormulaTermRoleunrole UsefulInfo NoUsefulInfo Annotations NoAnnotations TPTP_Input_AFormulaCommentIncludenameroleformula annotations TPTP_Input_C TPTP_InputQuantAllExists InfixPred:=::!=:BinOp:<=>::=>::<=::&::|::~&::~|::<~>:Term0Var NumberLitTermDistinctObjectTermFunAppFormula0PredApp:~:TermCFormulaCTermWFormulaWTermFormulaforgetFCforgetTC.<=>..=>..<=..|..&..<~>..~|..~&..~..=..!=.for_allexistspAppvarfApp numberLitTermdistinctObjectTerm forgetTICunivquant_free_varsunivquant_free_vars_FCarbCNF arbLiteralarbAtomicFormulaunwrapFunwrapT foldFormula0 foldTerm0foldFfoldT$fArbitraryBinOp$fArbitraryInfixPred$fArbitraryQuant$fArbitraryRole$fArbitraryAtomicWord $fArbitraryV$fArbitraryTerm0$fArbitraryFormula0 $fArbitraryF $fFreeVarsF $fArbitraryT $fFreeVarsT$fArbitraryGTerm$fArbitraryGData$fArbitraryUsefulInfo$fArbitraryAnnotations$fArbitraryTPTP_Input_$fEqAnnotations$fOrdAnnotations$fShowAnnotations$fReadAnnotations$fDataAnnotations$fEqUsefulInfo$fOrdUsefulInfo$fShowUsefulInfo$fReadUsefulInfo$fDataUsefulInfo $fEqGData $fOrdGData $fShowGData $fReadGData $fDataGData $fEqGTerm $fOrdGTerm $fShowGTerm $fReadGTerm $fDataGTerm $fEqFormula0 $fOrdFormula0$fShowFormula0$fReadFormula0$fDataFormula0 $fEqTerm0 $fOrdTerm0 $fShowTerm0 $fReadTerm0 $fDataTerm0$fEqV$fOrdV$fShowV$fDataV$fReadV $fSemigroupV $fMonoidV $fIsStringV$fEqAtomicWord$fOrdAtomicWord$fShowAtomicWord$fDataAtomicWord$fReadAtomicWord$fSemigroupAtomicWord$fMonoidAtomicWord$fIsStringAtomicWord$fEqRole $fOrdRole $fShowRole $fReadRole $fDataRole $fEqQuant $fOrdQuant $fShowQuant $fReadQuant $fDataQuant $fEnumQuant$fBoundedQuant $fEqInfixPred$fOrdInfixPred$fShowInfixPred$fReadInfixPred$fDataInfixPred$fEnumInfixPred$fBoundedInfixPred $fEqBinOp $fOrdBinOp $fShowBinOp $fReadBinOp $fDataBinOp $fEnumBinOp$fBoundedBinOp$fDataF$fDataT$fReadF$fReadT$fShowF$fShowT$fOrdF$fOrdT$fEqF$fEqT$fDataTPTP_Input_$fReadTPTP_Input_$fShowTPTP_Input_$fOrdTPTP_Input_$fEqTPTP_Input_ToTPTPtoTPTPtoTPTP' isLowerWord $fToTPTPV $fToTPTPGData$fToTPTPAtomicWord $fToTPTPGTerm$fToTPTPUsefulInfo$fToTPTPAnnotations $fToTPTPTerm0$fToTPTPFormula0 $fToTPTPBinOp$fToTPTPInfixPred $fToTPTPQuant $fToTPTPRole$fToTPTPTPTP_Input_ $fToTPTPList $fToTPTPT $fToTPTPF$fToTPTPIdentity Enclosing EnclBinOp EnclQuantEnclNeg EnclInfixPred EnclNothing WithEnclosing PrettyAnsi prettyAnsiprettyAnsiList prettySimple$fPrettyAtomicWord $fPrettyAnsiV$fPrettyAnsiGTerm$fPrettyAnsiGData$fPrettyAnsiUsefulInfo$fPrettyAnsiAnnotations$fPrettyAnsiInfixPred$fPrettyAnsiBinOp$fPrettyAnsiQuant$fPrettyAnsiTPTP_Input_$fPrettyAnsiList$fPrettyAnsiDoc$fPrettyAnsiWithEnclosing$fPrettyAnsiWithEnclosing0$fPrettyAnsiTerm0$fPrettyAnsiFormula0$fPrettyAnsiWithEnclosing1$fPrettyAnsiWithEnclosing2 $fEqEnclosing$fOrdEnclosing$fShowEnclosing$fDataEnclosing$fReadEnclosing$fPrettyAnsiIdentity $fPrettyAnsiT $fPrettyAnsiFDiffablediffF0DiffT0Diff DiffResultSameSameHeadDifferDontCareisSamediffGenFdiffGenTprintSampleDiffs$fFunctorDiffResult$fPrettyAnsiDiffResult$fPrettyAnsiDiffResult0 $fDiffableTT $fDiffableFF$fEqDiffResult$fOrdDiffResult$fShowDiffResult$fDataDiffResult$fReadDiffResultTokenLPRPCommaDotLbrackRbrackOper SingleQuoted DoubleQuoted DollarWordDollarDollarWord UpperWord LowerWordStarPlusRangle SignedInt UnsignedIntReal CommentTokenSlashparse parseFileparseWithCommentparseWithCommentFile arbPartitionargsFreqarbVar arbPrintable printable arbLowerWord arbUpperWordarbNumbaseData.Functor.IdentityIdentity GHC.MaybeMaybe handleAppExpr handleBinExpr handleUnary utf8EncodeAlexAcc AlexAccSkip AlexAccNone AlexLastAcc AlexLastSkipAlexNone AlexReturn AlexTokenAlexSkip AlexErrorAlexEOFAlexAddrAlexA#AlexPosnAlexPn AlexInputByte utf8Encode'ignorePendingBytesalexInputPrevChar alexGetByte alexStartPosalexMovealexScanTokens alex_tab_size alex_base alex_table alex_check alex_deflt alex_accept alex_actionswithPos stripPlusreadDecimalFraction readIntegerreadUnsignedDecimalFraction alex_action_1 alex_action_2 alex_action_3 alex_action_4 alex_action_5 alex_action_6 alex_action_7 alex_action_8 alex_action_9alex_action_10alex_action_11alex_action_12alex_action_13alex_action_14alex_action_15alex_action_16alex_action_17alex_action_18alex_action_19alex_action_20alex_action_21alex_action_22alexIndexInt16OffAddralexIndexInt32OffAddr quickIndexalexScan alexScanUser alex_scan_tkn HappyAddrHappyA#HappyStk Happy_IntList HappyCons HappyIdentity HappyWrap111 HappyWrap110 HappyWrap109 HappyWrap108 HappyWrap107 HappyWrap106 HappyWrap105 HappyWrap104 HappyWrap103 HappyWrap102 HappyWrap101 HappyWrap100 HappyWrap99 HappyWrap98 HappyWrap97 HappyWrap96 HappyWrap95 HappyWrap94 HappyWrap93 HappyWrap92 HappyWrap91 HappyWrap90 HappyWrap89 HappyWrap88 HappyWrap87 HappyWrap86 HappyWrap85 HappyWrap84 HappyWrap83 HappyWrap82 HappyWrap81 HappyWrap80 HappyWrap79 HappyWrap78 HappyWrap77 HappyWrap76 HappyWrap75 HappyWrap74 HappyWrap73 HappyWrap72 HappyWrap71 HappyWrap70 HappyWrap69 HappyWrap68 HappyWrap67 HappyWrap66 HappyWrap65 HappyWrap64 HappyWrap63 HappyWrap62 HappyWrap61 HappyWrap60 HappyWrap59 HappyWrap58 HappyWrap57 HappyWrap56 HappyWrap55 HappyWrap54 HappyWrap53 HappyWrap52 HappyWrap51 HappyWrap50 HappyWrap49 HappyWrap48 HappyWrap47 HappyWrap46 HappyWrap45 HappyWrap44 HappyWrap43 HappyWrap42 HappyWrap41 HappyWrap40 HappyWrap39 HappyWrap38 HappyWrap37 HappyWrap36 HappyWrap35 HappyWrap34 HappyWrap33 HappyWrap32 HappyWrap31 HappyWrap30 HappyWrap29 HappyWrap28 HappyWrap27 HappyWrap26 HappyWrap25 HappyWrap24 HappyWrap23 HappyWrap22 HappyWrap21 HappyWrap20 HappyWrap19 HappyWrap18 HappyWrap17 HappyWrap16 HappyWrap15 HappyWrap14 HappyWrap13 HappyWrap12 HappyWrap11 HappyWrap10 HappyWrap9 HappyWrap8 HappyWrap7 HappyWrap6 HappyWrap5 HappyWrap4HappyAny HappyAbsSynhappyIn4 happyOut4happyIn5 happyOut5happyIn6 happyOut6happyIn7 happyOut7happyIn8 happyOut8happyIn9 happyOut9 happyIn10 happyOut10 happyIn11 happyOut11 happyIn12 happyOut12 happyIn13 happyOut13 happyIn14 happyOut14 happyIn15 happyOut15 happyIn16 happyOut16 happyIn17 happyOut17 happyIn18 happyOut18 happyIn19 happyOut19 happyIn20 happyOut20 happyIn21 happyOut21 happyIn22 happyOut22 happyIn23 happyOut23 happyIn24 happyOut24 happyIn25 happyOut25 happyIn26 happyOut26 happyIn27 happyOut27 happyIn28 happyOut28 happyIn29 happyOut29 happyIn30 happyOut30 happyIn31 happyOut31 happyIn32 happyOut32 happyIn33 happyOut33 happyIn34 happyOut34 happyIn35 happyOut35 happyIn36 happyOut36 happyIn37 happyOut37 happyIn38 happyOut38 happyIn39 happyOut39 happyIn40 happyOut40 happyIn41 happyOut41 happyIn42 happyOut42 happyIn43 happyOut43 happyIn44 happyOut44 happyIn45 happyOut45 happyIn46 happyOut46 happyIn47 happyOut47 happyIn48 happyOut48 happyIn49 happyOut49 happyIn50 happyOut50 happyIn51 happyOut51 happyIn52 happyOut52 happyIn53 happyOut53 happyIn54 happyOut54 happyIn55 happyOut55 happyIn56 happyOut56 happyIn57 happyOut57 happyIn58 happyOut58 happyIn59 happyOut59 happyIn60 happyOut60 happyIn61 happyOut61 happyIn62 happyOut62 happyIn63 happyOut63 happyIn64 happyOut64 happyIn65 happyOut65 happyIn66 happyOut66 happyIn67 happyOut67 happyIn68 happyOut68 happyIn69 happyOut69 happyIn70 happyOut70 happyIn71 happyOut71 happyIn72 happyOut72 happyIn73 happyOut73 happyIn74 happyOut74 happyIn75 happyOut75 happyIn76 happyOut76 happyIn77 happyOut77 happyIn78 happyOut78 happyIn79 happyOut79 happyIn80 happyOut80 happyIn81 happyOut81 happyIn82 happyOut82 happyIn83 happyOut83 happyIn84 happyOut84 happyIn85 happyOut85 happyIn86 happyOut86 happyIn87 happyOut87 happyIn88 happyOut88 happyIn89 happyOut89 happyIn90 happyOut90 happyIn91 happyOut91 happyIn92 happyOut92 happyIn93 happyOut93 happyIn94 happyOut94 happyIn95 happyOut95 happyIn96 happyOut96 happyIn97 happyOut97 happyIn98 happyOut98 happyIn99 happyOut99 happyIn100 happyOut100 happyIn101 happyOut101 happyIn102 happyOut102 happyIn103 happyOut103 happyIn104 happyOut104 happyIn105 happyOut105 happyIn106 happyOut106 happyIn107 happyOut107 happyIn108 happyOut108 happyIn109 happyOut109 happyIn110 happyOut110 happyIn111 happyOut111 happyInTok happyOutTok happyExpListhappyExpListPerStatehappyActOffsetshappyGotoOffsetshappyAdjustOffsethappyDefActions happyCheck happyTablehappyReduceArr happy_n_termshappy_n_nonterms happyReduce_1happyReduction_1 happyReduce_2happyReduction_2 happyReduce_3happyReduction_3 happyReduce_4happyReduction_4 happyReduce_5happyReduction_5 happyReduce_6happyReduction_6 happyReduce_7happyReduction_7 happyReduce_8happyReduction_8 happyReduce_9happyReduction_9happyReduce_10happyReduction_10happyReduce_11happyReduction_11happyReduce_12happyReduction_12happyReduce_13happyReduction_13happyReduce_14happyReduction_14happyReduce_15happyReduction_15happyReduce_16happyReduction_16happyReduce_17happyReduction_17happyReduce_18happyReduction_18happyReduce_19happyReduction_19happyReduce_20happyReduction_20happyReduce_21happyReduction_21happyReduce_22happyReduction_22happyReduce_23happyReduction_23happyReduce_24happyReduction_24happyReduce_25happyReduction_25happyReduce_26happyReduction_26happyReduce_27happyReduction_27happyReduce_28happyReduction_28happyReduce_29happyReduction_29happyReduce_30happyReduction_30happyReduce_31happyReduction_31happyReduce_32happyReduction_32happyReduce_33happyReduction_33happyReduce_34happyReduction_34happyReduce_35happyReduction_35happyReduce_36happyReduction_36happyReduce_37happyReduction_37happyReduce_38happyReduction_38happyReduce_39happyReduction_39happyReduce_40happyReduction_40happyReduce_41happyReduction_41happyReduce_42happyReduction_42happyReduce_43happyReduction_43happyReduce_44happyReduction_44happyReduce_45happyReduction_45happyReduce_46happyReduction_46happyReduce_47happyReduction_47happyReduce_48happyReduction_48happyReduce_49happyReduction_49happyReduce_50happyReduction_50happyReduce_51happyReduction_51happyReduce_52happyReduction_52happyReduce_53happyReduction_53happyReduce_54happyReduction_54happyReduce_55happyReduction_55happyReduce_56happyReduction_56happyReduce_57happyReduction_57happyReduce_58happyReduction_58happyReduce_59happyReduction_59happyReduce_60happyReduction_60happyReduce_61happyReduction_61happyReduce_62happyReduction_62happyReduce_63happyReduction_63happyReduce_64happyReduction_64happyReduce_65happyReduction_65happyReduce_66happyReduction_66happyReduce_67happyReduction_67happyReduce_68happyReduction_68happyReduce_69happyReduction_69happyReduce_70happyReduction_70happyReduce_71happyReduction_71happyReduce_72happyReduction_72happyReduce_73happyReduction_73happyReduce_74happyReduction_74happyReduce_75happyReduction_75happyReduce_76happyReduction_76happyReduce_77happyReduction_77happyReduce_78happyReduction_78happyReduce_79happyReduction_79happyReduce_80happyReduction_80happyReduce_81happyReduction_81happyReduce_82happyReduction_82happyReduce_83happyReduction_83happyReduce_84happyReduction_84happyReduce_85happyReduction_85happyReduce_86happyReduction_86happyReduce_87happyReduction_87happyReduce_88happyReduction_88happyReduce_89happyReduction_89happyReduce_90happyReduction_90happyReduce_91happyReduction_91happyReduce_92happyReduction_92happyReduce_93happyReduction_93happyReduce_94happyReduction_94happyReduce_95happyReduction_95happyReduce_96happyReduction_96happyReduce_97happyReduction_97happyReduce_98happyReduction_98happyReduce_99happyReduction_99happyReduce_100happyReduction_100happyReduce_101happyReduction_101happyReduce_102happyReduction_102happyReduce_103happyReduction_103happyReduce_104happyReduction_104happyReduce_105happyReduction_105happyReduce_106happyReduction_106happyReduce_107happyReduction_107happyReduce_108happyReduction_108happyReduce_109happyReduction_109happyReduce_110happyReduction_110happyReduce_111happyReduction_111happyReduce_112happyReduction_112happyReduce_113happyReduction_113happyReduce_114happyReduction_114happyReduce_115happyReduction_115happyReduce_116happyReduction_116happyReduce_117happyReduction_117happyReduce_118happyReduction_118happyReduce_119happyReduction_119happyReduce_120happyReduction_120happyReduce_121happyReduction_121happyReduce_122happyReduction_122happyReduce_123happyReduction_123happyReduce_124happyReduction_124happyReduce_125happyReduction_125happyReduce_126happyReduction_126happyReduce_127happyReduction_127happyReduce_128happyReduction_128happyReduce_129happyReduction_129happyReduce_130happyReduction_130happyReduce_131happyReduction_131happyReduce_132happyReduction_132happyReduce_133happyReduction_133happyReduce_134happyReduction_134happyReduce_135happyReduction_135happyReduce_136happyReduction_136happyReduce_137happyReduction_137happyReduce_138happyReduction_138happyReduce_139happyReduction_139happyReduce_140happyReduction_140happyReduce_141happyReduction_141happyReduce_142happyReduction_142happyReduce_143happyReduction_143happyReduce_144happyReduction_144happyReduce_145happyReduction_145happyReduce_146happyReduction_146happyReduce_147happyReduction_147happyReduce_148happyReduction_148happyReduce_149happyReduction_149happyReduce_150happyReduction_150happyReduce_151happyReduction_151happyReduce_152happyReduction_152happyReduce_153happyReduction_153happyReduce_154happyReduction_154happyReduce_155happyReduction_155happyReduce_156happyReduction_156happyReduce_157happyReduction_157happyReduce_158happyReduction_158happyReduce_159happyReduction_159happyReduce_160happyReduction_160happyReduce_161happyReduction_161happyReduce_162happyReduction_162happyReduce_163happyReduction_163happyReduce_164happyReduction_164happyReduce_165happyReduction_165happyReduce_166happyReduction_166happyReduce_167happyReduction_167happyReduce_168happyReduction_168 happyNewToken happyError_ happyIdentityhappyRunIdentity happyThen happyReturn happyThen1 happyReturn1 happyError' parseTPTPhappySeq stripQuotes fApp2pApp happyParse happyAccept happyDoActionindexShortOffAddrhappyLt readArrayBit happyShifthappySpecReduce_0happySpecReduce_1happySpecReduce_2happySpecReduce_3 happyReducehappyMonadReducehappyMonad2Reduce happyDrop happyDropStk happyGoto happyFail notHappyAtAll happyTcHack happyDoSeq happyDontSeq Commented withCommentsATokentokcommparseTPTPwithComment