L_6O      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMN OPQRSTUVWXYZ[\]^_`abcdeOQRSTUVWXYZ[\]^_`abcdeOQRSTUVWXYZ[\]^_`abcde    fghijklmnopqrstuvwxyz{|}~fghijklmnopqrstuvwxyz{|}~fghihijklmnopqrstuvwxyz{|}~2 !"#$%&'()*+,-./0123456789:;<=>?@AB0 !"#$%&'()*+,-./0123456789:;<=>?@AB09A@?>=<;:B !"#$%&'()*+,-./0123456780% !"#$%&'()*+,-./012345678 !"#$%&'()*+,-./0123456789A@?>=<;::;<=>?@ABbCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~SCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~SWXYZ[\VU]mnojlkT^pqrS_s`abcdefghituRvwQxyzP{|}O~NMLKIJHGFEDCSCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~}     x     x     x      U !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHI :randomPrimeTest (atomNum, formLen, averLineLen) = (atomNum' , formLen', vol', secs')J verboseRandomPrimeTesting (atomNum, formLen, averLineLen) numberOfTests = (maxFormLen, averFormLen, maxTime, averTime, standDev)KLM@ !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLM@ !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLM@ !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLM ; !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNNNN     !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~PQ      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ  [\]^_`abcdefghijklmnopqrstuvwxyz{|}~PropLogic-0.9.0.1Olist PropLogicCoreDefaultPropLogic FastPropLogic PropLogicTestMainCostack TextDisplay PropLogicolistisOlistemptyisEmptymemberinsertdeleteincludedproperlyIncludeddisjunctproperlyDisjunctequalunion intersection difference opposition unionListintersectionListPropAlgatfalsetruenegconjdisjsubjequijvalid satisfiable contradictory subvalent equivalentcovalent disvalentproperSubvalentproperDisvalentatomsredAtomsirrAtoms nullatomic subatomic equiatomiccoatomic disatomicproperSubatomicproperDisatomicextinfRedsupRedinfElimsupElim biequivalent pointwisepairwise toPropForm fromPropFormPropFormEJSJDJCJNTFA stringToProp SimpleCNF SimpleDNFMCNFMDNFPCNFPDNF NaturalDNF NaturalCNFDNFCNFNLDNLC NegNormFormLitFormEvalNF OrdPropFormMultiTruthTable TruthTableValuator LiteralPairjuncDegjuncArgsjuncConsatomSizejuncSizesizecorrectValuatorcorrectTruthTablecorrectMultiTruthTable valuatorToNLC valuatorToNLDvaluatorListToCNFvaluatorListToDNF nlcToValuator nldToValuatorcnfToValuatorListdnfToValuatorListtruthTableZeroValuatorstruthTableUnitValuators allValuators unitValuators zeroValuatorsvaluateboolEval boolApply truthTableplainTruthTable truthTableBymultiTruthTabletruthTableToDNFtruthTableToCNF isOrdPropForm ordPropFormisEvalNFevalapply isLitForm litFormAtom litFormValue isNegNormForm negNormFormisNLCisNLDisCNFisDNF isNaturalDNF isNaturalCNF naturalDNF naturalCNF validates falsifiesdirectSubvaluatorsallDirectSubvalidatorsallDirectSubfalsifiersprimeValuatorscoprimeValuatorsprimeDNFprimeCNF minimalDNFs minimalCNFs simpleDNF simpleCNFext' CaseSymbolNMNNNIPPNIPONIOPNIOONOPPNOPONOOPNOOOMixFormM2CNFM2DNFXPCNFXPDNFXFormXLineXLitIFormILineILit IdxPropFormIAtomtoXPDNFtoXPCNF fromXPDNF fromXPCNFtoM2DNFtoM2CNF fromMixFormtriTridxnthitriUniunifyIdxPropForms unifyXForms newAtomsXFormfromIdxPropForm toIdxPropFormiLITiNLCiNLDiCNFiDNFxLITxNLCxNLDxCNFxDNFisIAtomisILitisILineisIFormiLineiFormiAtomiBoolnegLit lineIndices formIndices lineLength formLengthvolume isOrderedForm orderFormatomFormbotFormtopForm formJoinForm formListJoin lineMeetLine lineMeetForm formMeetForm formListMeetdualLinedualForm invertLine invertFormnegLinenegFormformCojoinLineformCojoinFormformAntijoinLineformAntijoinFormelimLineelimForm lineCovLine lineCovForm formCovForm pairPartition caseSymbol pairPrim'pairMin'xprim'xmin'xprimxminpairPrimpairMin isMinimalPairallPairsisPairwiseMinimalcPrimecPrimesmrecm2formiformJoinM2formprimFormiformJoinPrimForm xformAtoms xformRedAtoms xformIrrAtoms mixToPDNF mixToPCNFSecondsVerboseCanonPerformanceMsecJunctorWeighting JunctorSymbolEJ_SJ_DJ_CJ_N_F_T_ SizeTriplepdnf'pcnf'spdnf'spcnf'xpdnf'xpcnf'pdnfpcnfspdnfspcnfxpdnfxpcnfrandomListMember randomChoiceshuffle randomSublist nRandomRIOweightedRandomMemberappleBasketDistributionaverageLineLength randomILine randomIForm randomXForm randomDNF randomCNF randomCharDNF randomCharCNF randomIntDNF randomIntCNF sizeTripledefaultJunctorWeightingweightedRandomPropFormrandomPropFormrandomCharProp randomIntPropaxiom_reflexivity_of_subvalence axiom_transitivity_of_subvalenceaxiom_criterion_for_equivalence test_prop_alg total_test pnfCorrectpnfCorrectRepeat pnfPerformpnfPerformRandompnfPerformRepeatverboseRandomPrimeTestverboseRandomPrimeTesting meanValuestandDeviation normSecondsmainCOSTACKfromListtoListconscoconsheadtail singletonappendconcatmergelengthmapfoldrtakefiltersortsorted strictSort strictSortedTextFrameTableDisplay textFramedisplay TextFrameisNonSpaceWhitefindTextFrameErrorcorrectTextFramewidthheightprintTextFrame textFrameBoxtextFrameBracketdefaultTextFramecolumnWidthList rowHeightListcorrectTextFrameTable bottomAligntopAlign centerAlign leftAlign rightAlign middleAlignnormalTextFrameTable plainMerge gridMergeParser parsePropVoidisRedundantAtominfRedTruthTablesupRedTruthTablehasTrivialJuncs hasBitValuescjEvaldjEvalsjEvalejEvalequivDirectSubDNFsminimalEquivalentIncludedDNFsequivDirectSubCNFsminimalEquivalentIncludedCNFstitledTextFrame propFormAtomsprimFormFromOrdM2form dualizeXPDNF dualizeXPCNFnRandomListMember randomInsertaxiom_least_elementaxiom_greatest_element!axiom_neutral_disjunction_element!axiom_neutral_conjunction_elementaxiom_conjunctive_complementaxiom_disjunctive_complementaxiom_conjunctive_idempotencyaxiom_disjunctive_idempotencytimeDiffToMsec diffTimesonePrimFormTestprimFormTestingrandomPrimForms xprimTest pairPrimTest xprimTesting m2formTestingverbosePProcedurepProcedureTestingbriefHelpMessagefullHelpMessage