Q:~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|} Safe-Inferred~   ~  Safe-Inferred !"#$%&'( !"#$%&'( !"#$%&'( !"#$%&'( Safe-Inferred")*+,-./0123456789:;<=>?@AB)*+,-./0123456789:;<=>?@AB-./0123456*+,)789:;<=>?@AB )*+,-./0123456789:;<=>?@AB Safe-Inferred3CDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqr0CDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqr0iqponmlkjrCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghC%DEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghiqponmlkjr Safe-Inferredkstuvwxyz{|}~Sstuvwxyz{|}~S~}|{yzxwvutsjstuvwxyz{|}~ Safe-Inferred      !"#$%&'()*+,-./0123456789:;<=x      !"#$%&'()*+,-./0123456789:;<=x      !"#$%&'()*+,-./0123456789:;<=x       !"#$%&'()*+,-./0123456789:;<= Safe-Inferredy :randomPrimeTest (atomNum, formLen, averLineLen) = (atomNum' , formLen', vol', secs')z verboseRandomPrimeTesting (atomNum, formLen, averLineLen) numberOfTests = (maxFormLen, averFormLen, maxTime, averTime, standDev)U>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}@>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}@LMNOPQRSTUVWXYZ[\]^_`abcdefghKiCJIHGFEDBjklmnopqrsA@?tuvwx>yz{|}N>?@ABCJIHGFEDKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|} Safe-Inferred;CDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~|}      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~PropLogic-0.9.0.4CostackOlist TextDisplay PropLogicCoreDefaultPropLogic FastPropLogic PropLogicTest PropLogicfromListtoListconscoconsheadtailisEmptyempty singletonappendconcatmergelengthmapfoldrtakefiltersortsorted strictSort strictSortedolistisOlistmemberinsertdeleteincludedproperlyIncludeddisjunctproperlyDisjunctequalunion intersection difference opposition unionListintersectionListTextFrameTableDisplay textFramedisplay TextFrameisNonSpaceWhitefindTextFrameErrorcorrectTextFramewidthheightprintTextFrame textFrameBoxtextFrameBracketdefaultTextFramecolumnWidthList rowHeightListcorrectTextFrameTable bottomAligntopAlign centerAlign leftAlign rightAlign middleAlignnormalTextFrameTable plainMerge gridMergePropAlgatfalsetruenegconjdisjsubjequijvalid 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 normSecondsCOSTACK $fDisplay() $fDisplay[] $fDisplayChar$fDisplayDouble$fDisplayFloat$fDisplayInteger $fDisplayInt $fDisplayBoolParser parseProp$fDisplayPropFormVoidisRedundantAtominfRedTruthTablesupRedTruthTablehasTrivialJuncs hasBitValuescjEvaldjEvalsjEvalejEvalequivDirectSubDNFsminimalEquivalentIncludedDNFsequivDirectSubCNFsminimalEquivalentIncludedCNFs$fPropAlgVoidBool$fPropAlga(,,)$fPropAlgaPropForm $fOrdPropForm $fDisplay(,,)$fDisplay(,,)0 $fDisplay[]0 $fDisplay(,)titledTextFrame propFormAtomsprimFormFromOrdM2form dualizeXPDNF dualizeXPCNF$fPropAlgaMixForm$fPropAlgaXPCNF$fPropAlgaXPDNF $fOrdCostack $fOrdCostack0$fDisplayMixForm$fDisplayXPCNF$fDisplayXPDNF$fDisplayCostacknRandomListMember 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 m2formTestingverbosePProcedurepProcedureTesting