Q>      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqr s t u v w x y z { | } ~   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.@        *       Safe  ! !  !None.#The univ sig does not have a parent4Alloy solution  !"#$%&'()*+,-./012345678"#$%&' !"#$%&'()*+,-./0123456784567./0123+,-%&'()* !"#$8  !"#$%&'()*+,-./012345678"#$%&'None 9:;<=>?@ABCDEFGHIJKLMNO(PQ)*+,-.9:;<=>?@ABCDEFGHIJKLMNOPQFGJKLHIHIHIHMBCDE>?@A9:;<=NOPQ9:;<=>?@ABCDEF GJKLHIHIHIHMNO(PQ)*+,-.NoneR5The tuple of name and ordinal must be globally uniquebClafer model instance/A map of label -> Sig$01234RSTUVWXYZ[\]^_`abcde56f789:/g;<RSTUVWXYZ[\]^_`abcdefgbcd]^_`aRSTUVWY[XZ\egf01234RSTUVWY[XZ\]^_`abcde56f789:/g;<None=Sample: 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 name> Adds the full name to the census?Count the number of each claferh0Rewrite the model into a human-friendlier format=@>A?hBhh=@>A?hBNonei8Generate a representation of the instance in JSON formatiCDEFGHiiiCDEFGHSafelAStart another process and return the piped std_in, std_out streamm!Wait until the process terminatesn Reads the entire output verbatimoRead the messageqPut the message jIJKLklmnopqjklmnopqjkmnopqljIJKLklmnopq None*C 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 quit2rstuvwxyz{|}~1rstuvwxyz{|}~2z{|}~uvwxyrst!rstuvwxyz{|}~None*+CMMNOPQRHH) MNOPQR NoneInteractive session interface,bitwidth required to store the given integer1the largest integer allowed by the given bitwidthS2the smallest integer allowed by the given bitwidth*TUVWXYZ[\]^_`abcdefghiSjklmnopqrstuTUVWXYZ[\]^_`abcdefghiSjklmnopqrstuv  !"#$%&'()*+,-.//012344567899:;;<=>?@@ABCDDEFGHHIJKKLMNOPQRSTUVWXYZZ[\]^_`abcddefghhijklmnopqrstuv w w x y z { | } ; ; ~      w               !"#$%%&'()*+,-./0.12345678o9:;<= > ? ? @ A B C D D E F G H I J K L M N O P Q R S T U V W X Y Z [ \ ] ^_clafe_C4w0oJ8IzuH0YZ7jEHJWDCLanguage.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_claferIGclafe_BLsf2uHIyhjANnAcZ8n6RILanguage.Clafer.Commonfst3parse_8fSmqig53hOL2SEu1k9Tv0Text.Parsec.Error errorMessagesUnsatCoreMinimizationFastestMediumBestCommandNextIncreaseGlobalScope IncreaseScopeSetGlobalScopeSetScope SetBitwidth SetMaxIntSaveQuitReloadHelpFind ShowScopes SaveScopes LoadScopesShowClaferModelShowAlloyModelShowAlloyInstanceSetUnsatCoreMinimizationunexpectedMessageexpectedMessageparseCommandLineparseCommandLineAutoCompletecommandStringsTuplet_from t_fromTypet_tot_toTypeFieldf_labelf_id f_parentIdf_tuplesAtoma_labelSigs_labels_id s_parentIds_atomsSolutions_sigss_fields parseSolutionConstraintInfopIdpossyntax ClaferInfouniqueId cardinality Cardinalitylowerupper ConstraintExactCardinalityConstraintrange claferInfoLowerCardinalityConstraintUpperCardinalityConstraintUserConstraintconstraintInfoisLowerCardinalityConstraintisUpperCardinalityConstraintlookupConstraintparseConstraintsIdi_name i_ordinalValue AliasValuec_aliasIntValuev_value StringValuev_strClaferc_idc_value c_children ClaferModel c_topLevelc_name traverseModelbuildClaferModelsugarClaferModel generateJSONProcessexecutableDirectory pipeProcesswaitForgetContentsVerbatim getMessage readMessage putMessage UnsatCorecore MultiplicityOneLoneSomeAnys_names_multiplicitys_subsets_startingScope AlloyIGEnv alloyModelsigMapscopes globalScopeAlloyIGTfetchfetchessetproc withinRange runAlloyIGT getAlloyModelgetSigsloadsendLoadCommandsendNextCommandgetScope getScopessendSetScopeCommandgetGlobalScopesendSetGlobalScopeCommandsendResolveCommandsendSaveStateCommandsendRestoreStateCommandsendRemoveConstraintCommandsendUnsatCoreCommand#sendSetUnsatCoreMinimizationCommandsendSetBitwidthCommandsendQuitCommandgetMsgreadMsgputMsg$fMonadTransAlloyIGTCounterexampleremovedConstraintscounterexampleInstancecounterexampleAlloyInstanceInstance modelInstancealloyModelInstanceunsatConstraintscounterexample NoInstance 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 findRemovablerunCommandLinepickLargerScoperequiredBitwidth allowedMaxInt printErrorfindNecessaryBitwidth intToFloat commandLinecommand commandMap helpCommandincreaseCommand setCommandsetBitwidthCommandsetMaxIntCommand nextCommand quitCommand saveCommand reloadCommand findCommandshowScopesCommandsaveScopesCommandloadScopesCommandclaferModelCommandalloyModelCommandalloyInstanceCommandgapincreaseGlobalScopeexplicitIncreaseGlobalScopeexplicitSetGlobalScopeexplicitIncreaseScopeexplicitSetScope setMaxIntnumber signedNumberclaferclaferInstanceunsatCoreMinimizationcatchIOversionbindirlibdirdatadir libexecdir sysconfdir getBinDir getLibDir getDataDir getLibexecDir getSysconfDirgetDataFileNameparseSig parseAtom parseField findOptAttrfindAttrgetAttrsto subclafers constraintsubexpressions$fShowConstraintInfo$fShowClaferInfo$fShowCardinality buildSigMapNode ClaferNode ValueNode FamilyTreerootsn_idaddChild getChildrengetRootsbuildFamilyTree $fShowClafer$fShowClaferModelCensuspollclaferModelCensusmakeSimpleName retrieveSuper printClafermakeBasicClaferObject addIntValueaddStringValue addElementsconstructElementsstdInstdOut procHandlegetIMod$fMonadTransClaferIGT allowedMinIntContextcurrentAlloyInstancesavedunsavedautoCompleteContextAutoCompleteContextclafersclaferInstances AutoComplete Auto_Command Auto_ClaferAuto_ClaferInstanceAuto_UnsatCoreMinimization Auto_Space Auto_DigitNo_AutotryincAlloyScopeAndBitwidthsetAlloyScopeAndBitwidth mergeScopesprintBitwidthIntRangeprintBitwidthWarningisOpen completeFunccompletePrefix evalComplete autoCompleteautoCompleteDetectremoveCommentsAndUnify isEmptyLinenumberOfDigits fromJustShow