úÎAß+ÍN      !"#$%&'()*+,-./012 3 4 5 6 7 8 9 : ; < = > ? @ A B C D E F G HIJ KLM TrustworthyNOPQRNOPQNOPQRSafeSO(log n)D. Insert with a function for combining the new value and old value.  S f key value mp ( will insert the pair (key, value) into mp if the key does not exist F in the map. If the key does exist, the function will insert the pair  (key, f new_value old_value) TSame as S4, but with the combining function applied strictly. UO(log n)(. Lookup the value at a key in the map. 6The function will return the corresponding value as a (V value)  or W if the key isn't in the map. XO(log n). The expression (X def k map) returns  the value at key k or returns the default value def ! when the key is not in the map. YZ[\]^_`abSTUcXYZ[\]^_`abSTUcX YZ[\]^_`abSTUcXSafeÕdefghijklmnopqrstuvwxyz{|}~€‚ƒ„…†‡ˆ‰Š‹ŒŽ‘’“”•–—˜™š›œžŸ ¡¢£¤¥¦§¨©ª«¬­®¯°±²³´µ¶·¸¹º»¼½¾¿ÀÁÂÃÄÅÆÇÈÉÊËÌÍÎÏÐÑÒÓÔÕÖרÙÚÛÜÝÞßàáâãäåæçèéêëìíîïðñòóôõö÷øùúûüýþÿ      !"#$%&'()WV*+,-./0123456Safe7 Dummy instance in order to make  an instance of ‰. 8 Dummy instance in order to make  an instance of ‰. 9:;<=>?@ABCDEFGH789:;<=>?@ABCDE9: EDCBA@?>=<;FGH78SafeIJKLMNOPQR IJKLMPQR IJKLMONPQRSafe S   SSafe    SafeSafeSafeSafeSafe Deprecated. T !"#$%&'()*+,-./01 !"#$%&'()*+,-./01 !"#$%&'()*+,-./01T !"#$%&'()*+,-./01 Safe23232323 Safe 456789:;<=>? 456789:;<=>? 456789:;<=>? 456789:;<=>? Safe'U@VWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz@@&U@VWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz SafeABCDEFGABCDEFGCDEABFGABCDEFGSafeHIHIHISafe&{|}~€‚ƒ„…†‡ˆ‰Š‹ŒŽ‘’“”•–—˜™š›œžŸ  †‡ˆ‰Š‹ŒŽ‘“{|}~€„ƒ‚…† ‘ŽŒ‹Š‰ˆ‡’“”•–—˜™š›œžŸ  SafeJ¡¢£¤¥JJJ¡¢£¤¥ TrustworthyL6Much slower, but pretty-printed interpreter output. KL¦KLKL¦SafeMÿ-defghijklmnopqrstuvwxyz{|}~€‚ƒ„…†‡ˆ‰Š‹ŒŽ‘’“”§¨©ª•–—˜«¬­®¯™š›œžŸ ¡¢£¤¥¦§¨©ª«¬­®¯°±²³´µ¶·¸¹º»¼½¾¿ÀÁÂÃÄÅÆÇÈÉÊËÌÍÎÏÐÑÒÓÔÕÖרÙÚÛÜÝÞßàáâãäåæçèéêëìíîïðñòóôõö÷øùúûüýþÿ      !"#$%&'()WV*+,-./0123456°±  !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIKLM HIKLMMSafeÿ-defghijklmnopqrstuvwxyz{|}~€‚ƒ„…†‡ˆ‰Š‹ŒŽ‘’“”§¨©ª•–—˜«¬­®¯™š›œžŸ ¡¢£¤¥¦§¨©ª«¬­®¯°±²³´µ¶·¸¹º»¼½¾¿ÀÁÂÃÄÅÆÇÈÉÊËÌÍÎÏÐÑÒÓÔÕÖרÙÚÛÜÝÞßàáâãäåæçèéêëìíîïðñòóôõö÷øùúûüýþÿ      !"#$%&'()WV*+,-./0123456°±  !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIKLM² !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJ K L M N O P Q R S T U V W X Y Z [ \ ] ^ _ `ab cdefgghijklmnonpqrrstuvwxyz{|}~€‚ƒ„ƒ…ƒ†‡ˆ‰Š‰‹~Œ~~Ž‘’“”•”–”—”˜™~š~›~œ~~ž’Ÿ’ ’¡’¢”£”¤€¥¦§¨’©’ª~«~¬­€¥®¯°’±§²’³´µ€¶·€¶¸€¶¹€¶º€¶»¼½¾€¶¿’À€¶ÁÂÃ~Ä€¶Å€¶ÆÂÇÂÈ€¶É€¶Ê€¶ËÌ͇·χЇч҇ӇԇՇևׇ؇ÙÚÛÜÝÜÞÂßàáàâàãàäàåàæàçàè¯é¯ê¯ë¯ìíî§ï§ð§ñ§ò§ó§ô§õ§ö§÷§ø§ù§ú§û§ü§ý§þ§ÿ§§§§§§§§§§ § § § § §ÚÚ’’’’’’’’’’’’’’ ’!’"|#$%$&$'$($)”*”+”,”-”.”/´0´1´2´3´4´5´6´7ƒ8ƒ9ƒ:ƒ;ƒ<ƒ=ƒmƒ>ƒ?ƒ@ƒAƒBƒCƒDƒEƒFƒGƒHƒIƒJƒKƒLƒMƒNƒOƒPƒQƒRƒSƒvƒTƒUƒVƒWnXnY‰Z‰[\]^_`~a~b~c~d€¥efghhijklmnopqrstuvwwxxyz{|}~€  ‚ ƒ „ … † ‡ ˆ ‰ Š ‹ Œ  Ž   ‘ ’ “ ” • – — ˜ ™ š › œ  ž Ÿ   ¡ ¢ £ ¤ ¥ ¦§§¨©ª«¬­®¯°±²³´µ¶·¸¹º»¼½¾¿ÀÁÂÃÄÅÆÇÈÉÊË Ì Í Î Ï ÐÑÒÓÒÔÒÕÒÖ€¶×ØÙØÚØÛØÜÝÞßÝàáâcopilot-language-2.1.1"Copilot.Language.Operators.BitWiseCopilot.Language#Copilot.Language.Operators.TemporalCopilot.Language.Operators.OrdCopilot.Language.Operators.Mux#Copilot.Language.Operators.Integral Copilot.Language.Operators.Local!Copilot.Language.Operators.ExternCopilot.Language.Operators.Eq#Copilot.Language.Operators.ConstantCopilot.Language.Operators.Cast"Copilot.Language.Operators.BooleanCopilot.Language.ReifySystem.Mem.StableName.DynamicSystem.Mem.StableName.MapCopilot.Language.PreludeCopilot.Language.StreamCopilot.Language.SpecCopilot.Language.ErrorCopilot.Language.AnalyzeCopilot.Language.InterpretCopilotbase Data.Bits complement.|..&.BitsStreamSpecobservertriggerarg.^..<<..>>.++drop<=>=<>mux ifThenElsedivmod^localextern externFun externArrayfunArgexternBexternW8 externW16 externW32 externW64externI8 externI16 externI32 externI64externFexternD externArrayB externArrayW8externArrayW16externArrayW32externArrayW64 externArrayI8externArrayI16externArrayI32externArrayI64 externArrayF externArrayD==/=constantconstBconstW8constW16constW32constW64constI8constI16constI32constI64constFconstDcasttruefalse&&||notxor==> impossiblebadUsagereifycsv interpret prettyPrint DynStableNamemakeDynStableNamehashDynStableName$fEqDynStableName insertWith insertWith'lookup Data.MaybeJustNothingfindWithDefaultMapgetMapgetSizeemptynull singletonmember notMemberinsertfindGHC.ErrerrorGHC.Basefoldrghc-primGHC.PrimseqGHC.Listconcatfilterzip System.IOprint Data.Tuplefstsnd otherwisemap$GHC.Num fromInteger-GHC.Real fromRationalGHC.EnumenumFrom enumFromThen enumFromToenumFromThenTonegatefail>>=>>fmapreturn fromIntegral realToFrac toInteger toRationalBoundedEnum GHC.ClassesEq GHC.FloatFloating FractionalIntegralMonadFunctorNumOrdGHC.ReadReadReal RealFloatRealFracGHC.ShowShow GHC.TypesBoolCharDoubleFloatInt integer-gmpGHC.Integer.TypeIntegerOrderingRationalIO Data.EitherEitherStringFalseTrueLeftRightLTEQGTPrelude$!readIOreadLn appendFile writeFilereadFileinteract getContentsgetLinegetCharputStrLnputStrputCharGHC.IO.ExceptionioError Text.Readreadreadseither Data.Listunwordswordsunlineslinesproductfoldl1minimummaximumlex readParenreadList readsPrecText.ParserCombinators.ReadPReadSacoshatanhasinhcoshtanhsinhacosatanasincostansinlogBase**logsqrtexppiatan2isIEEEisNegativeZeroisDenormalized isInfiniteisNaN scaleFloat significandexponent encodeFloat decodeFloat floatRange floatDigits floatRadixGHC.IOFilePath userErrorIOErrorlcmgcd^^oddevendivModquotRemremquotrecip/floorceilingroundtruncateproperFraction undefined Control.MonadmapM_mapM sequence_sequence=<<maxBoundminBoundfromEnumtoEnumpredsucc showParen showStringshowCharshowsShowSshowListshow showsPrecunzip3unzipzipWith3zipWithzip3 concatMapnotElemelemallanyorandreversebreakspansplitAt dropWhile takeWhile replicaterepeatiteratescanr1scanrfoldr1scanl1scanlfoldllengthinitlasttailheadmaybeMaybeuncurrycurrysubtractsignumabs*+asTypeOfflip.idcompare $fEqStream $fShowStreamArgOp3Op2Op1VarLocal ExternArray ExternFunExternDropConstAppend$fFloatingStream$fFractionalStream $fNumStreamTriggerObserverSpecItem TriggerItem ObserverItemrunSpec observerstriggers $fBitsStreamSizeCastcastBool castIntegral$fCastInt64Int64$fCastInt32Int64$fCastInt32Int32$fCastInt16Int64$fCastInt16Int32$fCastInt16Int16$fCastInt8Int64$fCastInt8Int32$fCastInt8Int16$fCastInt8Int8$fCastWord64Word64$fCastWord32Int64$fCastWord32Word64$fCastWord32Word32$fCastWord16Int64$fCastWord16Int32$fCastWord16Word64$fCastWord16Word32$fCastWord16Word16$fCastWord8Int64$fCastWord8Int32$fCastWord8Int16$fCastWord8Word64$fCastWord8Word32$fCastWord8Word16$fCastWord8Word8$fCastBoolInt64$fCastBoolInt32$fCastBoolInt16$fCastBoolInt8$fCastBoolWord64$fCastBoolWord32$fCastBoolWord16$fCastBoolWord8$fCastBoolBool ExternEnv externVarEnv externArrEnv externFunEnv externFunArgs SeenExternSeenArrSeenFunNoExternEnvAnalyzeExceptionBadFunctionArgTypeBadNumberOfArgs RedeclaredDifferentTypesTooMuchRecussion NestedArrayNestedExternFunDropMaxViolationReferentialCycleDropIndexOverflowDropAppliedToNonAppend maxRecursionanalyzeanalyzeTriggeranalyzeObserver analyzeExprassertNotVisitedmapCheck analyzeAppend analyzeDrop analyzeExtsspecExts collectExts getSimpleType$fExceptionAnalyzeException$fShowAnalyzeException mkObserver mkTriggermkExprmkStreammkId interpret'GHC.IntInt8Int16Int32Int64WordGHC.WordWord8Word16Word32Word64copilot-core-2.1.1Copilot.Core.ExprNameCopilot.Core.TypeTyped