UP@B       !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~              SafeInteractive session commandsThis 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.@  !"#$%&'()*+,-./0123456789:;<=>?@AB  *  !"#$%&'()*+,-./0123456789:;<=>?@AB Safe CDEFGHIJKLMNODJKLMNO CDEFGHIJKLMNONone0#The univ sig does not have a parent6Alloy solution !"#$%&'()*+,-./0123456789:PQRSTU!"#$%&'()*+,-./0123456789:6789012345-./'()*+,!"#$%&: !"#$%&'()*+,-./0123456789:PQRSTUNone# @ABCDEFGHIJKLMNOPQRSTUVVWXWXYYZ[@ACBDEFGHIJKLMNOPQRSTUVWXMNOPQRSRSRSRTIJKLEFGH@ABCDUVWX@ABCDEFGHIJKLM NOPQRSRSRSRTUVVWXWXYYZ[Nonea5The tuple of name and ordinal must be globally uniqueqClafer model instanceZA map of label -> Sig$[\]^_abcdefghijklmnopqrst`aubcdeZvwxabcdefghijklmnopqrstuvqrslmnopabcdefghijktvu[\]^_abcdefghijklmnopqrst`aubcdeZvwxNonefSample: 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 nameg Adds the full name to the censushCount the number of each clafer0Rewrite the model into a human-friendlier formatfigjhkfigjhkNone8Generate a representation of the instance in JSON formatlmnopqlmnopqSafeAStart another process and return the piped std_in, std_out stream!Wait until the process terminates Reads the entire output verbatimRead the messagePut the message rsturstu 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#/0IMvwxy     zH     H     ) vwxy     z None#Interactive session interface,bitwidth required to store the given integer1the largest integer allowed by the given bitwidth{2the smallest integer allowed by the given bitwidth*|}~{|}~{  !"#$%&'()*+,-./011234566789:;;<==>?@ABBCDEFGHIJKKLMNOOPQRRSTUVWXYZ[\]^_`abcdefghiijklmnopqrsstuvwwxyz{|}~        = =                  !"#$%&'()*+,-./01234 5 6 7 8 9 : ; < = > ? @ ABCDEFGHIJKLMNOPPQRSTUVWXYWZ[\]^_`abcde f g g h i j k l l m n o p q r s t u v w x y z { | } ~        %claferIG-0.4.4-DnfCXDypoGaKpsp7m4DGfbLanguage.Clafer.IG.ClaferIG$Language.Clafer.IG.CommandLineParserLanguage.Clafer.IG.SolutionLanguage.Clafer.IG.ConstraintsLanguage.Clafer.IG.ClaferModelLanguage.Clafer.IG.Sugarer Language.Clafer.IG.JSONGeneratorLanguage.Clafer.IG.Process#Language.Clafer.IG.AlloyIGInterfaceLanguage.Clafer.IG.CommandLinePaths_claferIG"clafer-0.4.4-XeevqZMpf33nmyUG80V8xLanguage.Clafer.Commonfst3$parsec-3.1.11-37j7M1YEHqtEooY7BpJdriText.Parsec.Error errorMessagesUnsatCoreMinimizationFastestMediumBestCommandNextIncreaseGlobalScope IncreaseScopeSetGlobalScopeSetScope SetBitwidth SetMaxIntSaveQuitReloadHelpFind ShowScopes SaveScopes LoadScopesShowClaferModelShowAlloyModelShowAlloyInstanceSetUnsatCoreMinimizationunexpectedMessageexpectedMessageparseCommandLineparseCommandLineAutoCompletecommandStrings$fShowUnsatCoreMinimization $fShowCommandTuplet_from t_fromTypet_tot_toTypeFieldf_labelf_id f_parentIdf_tuplesAtoma_labelSigs_labels_id s_parentIds_atomsSolutions_sigss_fields parseSolution $fShowAtom $fShowSig $fShowTuple $fShowField$fShowSolutionConstraintInfopIdpossyntax ClaferInfouniqueId cardinality Cardinalitylowerupper ConstraintExactCardinalityConstraintLowerCardinalityConstraintUpperCardinalityConstraintUserConstraintrange claferInfoconstraintInfoisLowerCardinalityConstraintisUpperCardinalityConstraintlookupConstraintparseConstraints$fShowConstraintInfo$fShowClaferInfo$fShowCardinality$fEqCardinality$fEqClaferInfo$fEqConstraintInfo$fShowConstraint$fEqConstraintIdi_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$fShowFamilyTreesugarClaferModel $fShowCensus generateJSONProcessexecutableDirectory pipeProcesswaitForgetContentsVerbatim getMessage readMessage putMessage 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$fShowAutoComplete commandLinecommand commandMap helpCommandincreaseCommand setCommandsetBitwidthCommandsetMaxIntCommand nextCommand quitCommand saveCommand reloadCommand findCommandshowScopesCommandsaveScopesCommandloadScopesCommandclaferModelCommandalloyModelCommandalloyInstanceCommandgapincreaseGlobalScopeexplicitIncreaseGlobalScopeexplicitSetGlobalScopeexplicitIncreaseScopeexplicitSetScope setMaxIntnumber signedNumberclaferclaferInstanceunsatCoreMinimizationcatchIOversionbindirlibdirdatadir libexecdir sysconfdir getBinDir getLibDir getDataDir getLibexecDir getSysconfDirgetDataFileNameparseSig parseAtom parseField findOptAttrfindAttrgetAttrsto subclafers constraintsubexpressions buildSigMapNode ClaferNode ValueNode FamilyTreerootsn_idaddChild getChildrengetRootsbuildFamilyTreeCensuspollclaferModelCensusmakeSimpleName retrieveSuper printClafermakeBasicClaferObject addIntValueaddStringValue addElementsconstructElementsstdInstdOut procHandlegetIMod allowedMinIntContextcurrentAlloyInstancesavedunsavedautoCompleteContextAutoCompleteContextclafersclaferInstances AutoComplete Auto_Command Auto_ClaferAuto_ClaferInstanceAuto_UnsatCoreMinimization Auto_Space Auto_DigitNo_AutotryincAlloyScopeAndBitwidthsetAlloyScopeAndBitwidth mergeScopesprintBitwidthIntRangeprintBitwidthWarningisOpen completeFunccompletePrefix evalComplete autoCompleteautoCompleteDetectremoveCommentsAndUnify isEmptyLinenumberOfDigits fromJustShow