M8-~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|} Safe-Infered     Safe-Infered !"#$%&'( !"#$%&'( !"#$%&'( !"#$%&'( Safe-Infered")*+,-./0123456789:;<=>?@AB~)*+,-./0123456789:;<=>?@AB-./0123456*+,)789:;<=>?@AB )*+,-./0123456789:;<=>?@AB~ Safe-Infered1CDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqr0CDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqr0iqponmlkjrCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghC%DEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghiqponmlkjr Safe-Infered\stuvwxyz{|}~Sstuvwxyz{|}~S~}|{yzxwvuts\stuvwxyz{|}~ Safe-Infered      !"#$%&'()*+,-./0123456789:;<=x      !"#$%&'()*+,-./0123456789:;<=x      !"#$%&'()*+,-./0123456789:;<=s       !"#$%&'()*+,-./0123456789:;<= Safe-Inferedy :randomPrimeTest (atomNum, formLen, averLineLen) = (atomNum' , formLen', vol', secs')z verboseRandomPrimeTesting (atomNum, formLen, averLineLen) numberOfTests = (maxFormLen, averFormLen, maxTime, averTime, standDev)@>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}@>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}@LMNOPQRSTUVWXYZ[\]^_`abcdefghKiCJIHGFEDBjklmnopqrsA@?tuvwx>yz{|}9>?@ABCJIHGFEDKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|} Safe-Infered;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 normSeconds $fDisplay() $fDisplay[] $fDisplayChar$fDisplayDouble$fDisplayFloat$fDisplayInteger $fDisplayInt $fDisplayBool$fDisplayPropForm$fPropAlgVoidBool$fPropAlga(,,)$fPropAlgaPropForm $fOrdPropForm $fDisplay(,,)$fDisplay(,,)0 $fDisplay[]0 $fDisplay(,)$fPropAlgaMixForm$fPropAlgaXPCNF$fPropAlgaXPDNF $fOrdCostack $fOrdCostack0$fDisplayMixForm$fDisplayXPCNF$fDisplayXPDNF$fDisplayCostack