U9@8       !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~              Safe  !"#$%&'()*+,!'()*+,  !"#$%&'()*+,None#The univ sig does not have a parentAlloy solution  -./012     -./012Safe"AStart another process and return the piped std_in, std_out stream#!Wait until the process terminates$ Reads the entire output verbatim%Read the message'Put the message 3456!"#$%&' !"#$%&' !#$%&'" 3456!"#$%&'None# ()*+,-./0123456789:;<=>7?@89:ABC()+*,-./0123456789:;<=>?@56789:;:;:;:<1234-./0()*+,=>?@()*+,-./012345 6789:;:;:;:<=>7?@89:ABCSafeMInteractive session commandsdThis function uses the expected/unexpected messages to understand what to autocomplete. Any unexpected character means parse did not reach the end of the input, hence cannot autocomplete.@IJKLMNOPQRSTUVWXYZ[\]^_`abcd;<e=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]IJKLMNXUVOPQRSTWYZ[\]^_`abcdeMNOPQRSTUVWXYZ[\]^_`IJKLcdeba*IJKLMNOPQRSTUVWXYZ[\]^_`abcd;<e=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]Noneh5The tuple of name and ordinal must be globally uniquexClafer model instance^A map of label -> Sig$_`abchijklmnopqrstuvwxyz{de|fghi^}~hijklmnopqrstuvwxyz{|}xyzstuvwhijklmnopqr{}|_`abchijklmnopqrstuvwxyz{de|fghi^}~None8Generate a representation of the instance in JSON formatjklmnojklmnoNonepSample: maps the id to the its simple name and the number of times its simple name appeared in the census before it | Count: maps the simple name to the total count of the simple nameq Adds the full name to the censusrCount the number of each clafer0Rewrite the model into a human-friendlier formatpsqrtpsqrt None/I Instance generator's environment"An interface to the Alloy Analyzer$Call load before any other commands."Get the next solution from alloyIG)Tell alloyIG to change the scope of a sig'Tell alloyIG to change the global scope(Tell alloyIG to recalculate the solution&Tell alloyIG to save the current state!Tell alloyIG to restore the state%Tell alloyIG to remove the constraint?Tell alloyIG to return the unsat core of the previous operationdTell alloyIG to change the unsat core minimization level. 0 -> Fastest, 1 -> Medium, 2 -> Best#Tell alloyIG to change the bitwidthTell alloyIG to quit212!None#/0IMuvwx     yH     H     ) uvwx     y None#Interactive session interface,bitwidth required to store the given integer1the largest integer allowed by the given bitwidthz2the smallest integer allowed by the given bitwidth*{|}~z{|}~z   !"#$%&'()*+,-./0112345567889:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnnopqrstuvwxxyz{||}~                                      ! "#$%&'())*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSSTUVWXYZ[\]^_`ab`cd e f f g h i j k k l m n o p q r s t u v w x y z { | } ~       %claferIG-0.4.0-Gqaotcffjdc2N6KBEBsxFu$Language.Clafer.IG.CommandLineParserLanguage.Clafer.IG.SolutionLanguage.Clafer.IG.ProcessLanguage.Clafer.IG.ConstraintsLanguage.Clafer.IG.ClaferModelLanguage.Clafer.IG.ClaferIG Language.Clafer.IG.JSONGeneratorLanguage.Clafer.IG.Sugarer#Language.Clafer.IG.AlloyIGInterfaceLanguage.Clafer.IG.CommandLinePaths_claferIG$parsec-3.1.11-37j7M1YEHqtEooY7BpJdriText.Parsec.Error errorMessagesTuplet_from t_fromTypet_tot_toTypeFieldf_labelf_id f_parentIdf_tuplesAtoma_labelSigs_labels_id s_parentIds_atomsSolutions_sigss_fields parseSolution $fShowAtom $fShowSig $fShowTuple $fShowField$fShowSolutionProcessexecutableDirectory pipeProcesswaitForgetContentsVerbatim getMessage readMessage putMessageConstraintInfopIdpossyntax ClaferInfouniqueId cardinality Cardinalitylowerupper ConstraintExactCardinalityConstraintLowerCardinalityConstraintUpperCardinalityConstraintUserConstraintrange claferInfoconstraintInfoisLowerCardinalityConstraintisUpperCardinalityConstraintlookupConstraintparseConstraints$fShowConstraintInfo$fShowClaferInfo$fShowCardinality$fEqCardinality$fEqClaferInfo$fEqConstraintInfo$fShowConstraint$fEqConstraintUnsatCoreMinimizationFastestMediumBestCommandNextIncreaseGlobalScope IncreaseScopeSetGlobalScopeSetScope SetBitwidth SetMaxIntSaveQuitReloadHelpFind ShowScopes SaveScopes LoadScopesShowClaferModelShowAlloyModelShowAlloyInstanceSetUnsatCoreMinimizationunexpectedMessageexpectedMessageparseCommandLineparseCommandLineAutoCompletecommandStrings$fShowUnsatCoreMinimization $fShowCommandIdi_name i_ordinalValue AliasValueIntValue StringValuec_aliasv_valuev_strClaferc_idc_value c_children ClaferModel c_topLevelc_name traverseModelbuildClaferModel $fShowClafer$fShowClaferModel$fEqId$fOrdId$fShowId $fShowValue $fEqValue $fEqClafer$fEqNode $fOrdNode $fShowNode$fShowFamilyTree#clafer-0.4.0-JE7LkPK22PD24WEtxj5ZfrLanguage.Clafer.Commonfst3 generateJSONsugarClaferModel $fShowCensus UnsatCorecore MultiplicityOneLoneSomeAnys_names_multiplicitys_subsets_startingScope AlloyIGEnv alloyModelsigMapscopes globalScopeAlloyIGTfetchfetchessetproc withinRange runAlloyIGT getAlloyModelgetSigsloadsendLoadCommandsendNextCommandgetScope getScopessendSetScopeCommandgetGlobalScopesendSetGlobalScopeCommandsendResolveCommandsendSaveStateCommandsendRestoreStateCommandsendRemoveConstraintCommandsendUnsatCoreCommand#sendSetUnsatCoreMinimizationCommandsendSetBitwidthCommandsendQuitCommandgetMsgreadMsgputMsg$fMonadTransAlloyIGT$fEqMultiplicity$fReadMultiplicity$fShowMultiplicity$fApplicativeAlloyIGT$fFunctorAlloyIGT$fMonadAlloyIGT$fMonadIOAlloyIGT$fShowUnsatCore$fMonadExceptionAlloyIGTCounterexampleremovedConstraintscounterexampleInstancecounterexampleAlloyInstanceInstance NoInstance modelInstancealloyModelInstanceunsatConstraintscounterexample ClaferIGEnv claferEnv' claferIGArgs constraints claferModel qNameMapsinfostrMap lineNumMap ClaferIGTIGArgsallsaveDirclaferModelFile alloySolutionbitwidthmaxIntuseUidsaddTypesjsonflatten_inheritance_compno_layout_compcheck_duplicates_compskip_resolver_compscope_strategy_compclaferIGVersiongetUIDIClaferMap runClaferIGT getClaferEnv getlineNumMapgetClaferIGArgsgetConstraintsgetClaferModel getStrMapstrictReadFilesolve getClafers getBitwidthsetGlobalScope getQNameMaps valueOfScope increaseScopesetScope setAlloyScopenextreloadsetUnsatCoreMinimization setBitwidthquitsigToClaferName findRemovable$fMonadTransClaferIGT $fShowIGArgs $fDataIGArgs$fApplicativeClaferIGT$fFunctorClaferIGT$fMonadClaferIGT$fMonadIOClaferIGT$fMonadExceptionClaferIGTrunCommandLinepickLargerScoperequiredBitwidth allowedMaxInt printErrorfindNecessaryBitwidth intToFloat$fShowAutoCompletecatchIOversionbindirlibdirdatadir libexecdir sysconfdir getBinDir getLibDir getDataDir getLibexecDir getSysconfDirgetDataFileNameparseSig parseAtom parseField findOptAttrfindAttrgetAttrsstdInstdOut procHandleto subclafers constraintsubexpressions commandLinecommand commandMap helpCommandincreaseCommand setCommandsetBitwidthCommandsetMaxIntCommand nextCommand quitCommand saveCommand reloadCommand findCommandshowScopesCommandsaveScopesCommandloadScopesCommandclaferModelCommandalloyModelCommandalloyInstanceCommandgapincreaseGlobalScopeexplicitIncreaseGlobalScopeexplicitSetGlobalScopeexplicitIncreaseScopeexplicitSetScope setMaxIntnumber signedNumberclaferclaferInstanceunsatCoreMinimization buildSigMapNode ClaferNode ValueNode FamilyTreerootsn_idaddChild getChildrengetRootsbuildFamilyTree printClafermakeBasicClaferObject addIntValueaddStringValue addElementsconstructElementsCensuspollclaferModelCensus retrieveSupergetIMod allowedMinIntContextcurrentAlloyInstancesavedunsavedautoCompleteContextAutoCompleteContextclafersclaferInstances AutoComplete Auto_Command Auto_ClaferAuto_ClaferInstanceAuto_UnsatCoreMinimization Auto_Space Auto_DigitNo_AutotryincAlloyScopeAndBitwidthsetAlloyScopeAndBitwidth mergeScopesprintBitwidthIntRangeprintBitwidthWarningisOpen completeFunccompletePrefix evalComplete autoCompleteautoCompleteDetectremoveCommentsAndUnify isEmptyLinenumberOfDigits fromJustShow