S8¡      !"#$%&'()*+,-./0123 4 5 6 7 8 9 : ; < = > ? @ A B C D E F G H I J K L M N O P Q R S T U V W X Y Z [ \ ] ^ _ ` a b c d e f g h i j k l m n o p q r s t u v w x y z { | } ~   TrustworthySafeO(log n)E. Insert with a function for combining the new value and old value.  f key value mp) will insert the pair (key, value) into mpb if the key does not exist in the map. If the key does exist, the function will insert the pair (key, f new_value old_value)Same as 3, but with the combining function applied strictly.O(log n)'. Lookup the value at a key in the map.6The function will return the corresponding value as a ( value) or  if the key isn't in the map.O(log n). The expression ( def k map) returns the value at key k or returns the default value def! when the key is not in the map. Safe      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~Safe%&DOT Dummy instance in order to make  an instance of . Dummy instance in order to make  an instance of .Safe%&DOT      Safe     1SafeSafeSafeSafeSafe Deprecated. !"#$%&'()*+,-./012 !"#$%&'()*+,-./012 !"#$%&'()*+,-./012 !"#$%&'()*+,-./012 Safe34343434 Safe 56789:;<=>?@ 56789:;<=>?@ 56789:;<=>?@ 56789:;<=>?@ Safe<=J!Signed to unsigned and vice versaZ=Unsafe unsigned and signed promotion to floating point valuesf#Unsafe downcasting to smaller sizesMABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~ABBAKABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~ Safe44 Safe%&9;<=SafeSafeSafeSafe%&0T+ SafeAOTSafe%&9;3Much slower, but pretty-printed interpreter output.SafeI      !"#$%&'()*+,-./0123456789:;<=>?@ABCDE   FGHIJKLMNOPQRSTUVWXYZ[\]^_`abcd  efghijklmnopqrstuvwxyz{|}~  !"#$%&'()*+,-./0123456789:;<=>?@AB  SafeI      !"#$%&'()*+,-./0123456789:;<=>?@ABCDE   FGHIJKLMNOPQRSTUVWXYZ[\]^_`abcd  efghijklmnopqrstuvwxyz{|}~  !"#$%&'()*+,-./0123456789:;<=>?@AB !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLM N O P Q R S T U V W X Y Z [ \ ] ^ _ ` a b c d e f g h i j k l m n o p q r s t u v w x y z { | } ~        !"!#!$%&'()*+,-./0123456789:;<=<><?<@ABCDEFGFHFIFJFFKFLFMFNFOFPFQRSRTRURVRWXYZ[\]\^\_\`\a\b\cdefg\h\i\j\kl\m\nopoqorstuvwxyz{|}~sFFFFFFFFFo!!<<<<<           !"#$%&'()*+,-./0121314156768696:6;6<6=>?@>ABC-copilot-language-2.2.1-4dZCSfwV4US6MQJiQ2X02I"Copilot.Language.Operators.BitWiseCopilot.Language#Copilot.Language.Operators.TemporalCopilot.Language.Operators.OrdCopilot.Language.Operators.Mux Copilot.Language.Operators.Local Copilot.Language.Operators.Label!Copilot.Language.Operators.ExternCopilot.Language.Operators.Eq#Copilot.Language.Operators.ConstantCopilot.Language.Operators.Cast"Copilot.Language.Operators.Boolean(Copilot.Language.Operators.Propositional#Copilot.Language.Operators.IntegralCopilot.Language.ReifySystem.Mem.StableName.DynamicSystem.Mem.StableName.MapCopilot.Language.PreludeCopilot.Language.StreamCopilot.Language.SpecCopilot.Language.ErrorCopilot.Language.AnalyzeCopilot.Language.InterpretCopilotbase Data.Bits complement.|..&.BitsStreamSpecobservertriggerforallexistsproptheoremarg++drop#<=>=<>mux ifThenElselocallabelextern externFun externArrayfunArg externStructexternBexternW8 externW16 externW32 externW64externI8 externI16 externI32 externI64externFexternD externArrayB externArrayW8externArrayW16externArrayW32externArrayW64 externArrayI8externArrayI16externArrayI32externArrayI64 externArrayF externArrayD==/=constantconstBconstW8constW16constW32constW64constI8constI16constI32constI64constFconstD unsafeCastcast$fUnsafeCastInt8Word8$fUnsafeCastInt16Word16$fUnsafeCastInt32Word32$fUnsafeCastInt64Word64$fUnsafeCastWord8Int8$fUnsafeCastWord16Int16$fUnsafeCastWord32Int32$fUnsafeCastWord64Int64$fUnsafeCastWord8Double$fUnsafeCastWord16Double$fUnsafeCastWord32Double$fUnsafeCastWord64Double$fUnsafeCastWord8Float$fUnsafeCastWord16Float$fUnsafeCastWord32Float$fUnsafeCastWord64Float$fUnsafeCastInt8Double$fUnsafeCastInt16Double$fUnsafeCastInt32Double$fUnsafeCastInt64Double$fUnsafeCastInt8Float$fUnsafeCastInt16Float$fUnsafeCastInt32Float$fUnsafeCastInt64Float$fUnsafeCastInt16Int8$fUnsafeCastInt32Int8$fUnsafeCastInt32Int16$fUnsafeCastInt64Int8$fUnsafeCastInt64Int16$fUnsafeCastInt64Int32$fUnsafeCastWord16Word8$fUnsafeCastWord32Word8$fUnsafeCastWord32Word16$fUnsafeCastWord64Word8$fUnsafeCastWord64Word16$fUnsafeCastWord64Word32$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$fCastBoolBooltruefalse&&||notxor==>$fNegatablePropProp$fNegatablePropProp0.^..<<..>>. $fBitsStreamdivmod^ impossiblebadUsagereifycsv interpret prettyPrint DynStableNamemakeDynStableNamehashDynStableName$fEqDynStableName insertWith insertWith'lookupGHC.BaseJustNothingfindWithDefaultMapgetMapgetSizeemptynull singletonmember notMemberinsertfindghc-primGHC.PrimseqGHC.Listfilterzip System.IOprint Data.Tuplefstsnd otherwisemap$GHC.Real fromIntegral realToFracGHC.EnumBoundedminBoundmaxBoundEnumenumFrom enumFromThenenumFromThenTo enumFromTofromEnumtoEnumsuccpred GHC.ClassesEq GHC.FloatFloatingpiexplogsqrt**logBasesincostanasinacosatansinhcoshtanhasinhacoshatanh Fractional fromRational/recipIntegral toIntegerquotremquotRemdivModMonad>>=>>returnfailFunctorfmap<$GHC.NumNum*+-negate fromIntegerabssignumOrdcompareGHC.ReadRead readsPrecreadListReal toRational RealFloat floatRadix floatDigits floatRange decodeFloat encodeFloatexponent significand scaleFloatisNaN isInfiniteisDenormalizedisNegativeZeroisIEEEatan2RealFracproperFractiontruncateroundceilingfloorGHC.ShowShow showsPrecshowshowList Applicativepure<*>*><* Data.FoldableFoldablefoldrlengthfoldMapfoldlfoldl1productfoldr1maximumminimumelemData.Traversable TraversabletraversemapM sequenceAsequenceMonoidmemptymappendmconcat GHC.TypesBoolFalseTrueCharDoubleFloatInt integer-gmpGHC.Integer.TypeIntegerMaybeOrderingLTEQGTRationalIOWord Data.EitherEitherLeftRight Text.ReadreadStringreadIOreadLn appendFile writeFilereadFileinteract getContentsgetLinegetCharputStrLnputStrputCharreadsGHC.IO.ExceptionioErrornotElemallanyorand concatMapconcat sequence_mapM_GHC.IOFilePath userErrorIOErroreither Data.OldListunwordswordsunlineslineslex readParenText.ParserCombinators.ReadPReadS Data.Functor<$>lcmgcd^^oddeven showParen showStringshowCharshowsShowSunzip3unzipzipWith3zipWithzip3reversebreakspansplitAt dropWhile takeWhile replicaterepeatiteratescanr1scanrscanl1scanlinitlasttailhead Data.MaybemaybeuncurrycurrysubtractasTypeOf$!flip.id=<<GHC.Err undefinederrorWithoutStackTraceerror $fEqStream $fShowStream StructArgname_arg'ArgAppendConstDropExtern ExternFun ExternArray ExternStructGetFieldLocalVarOp1Op2Op3Label$fFloatingStream$fFractionalStream $fNumStreamPropForallExistsPropertyTriggerObserverSpecItem ObserverItem TriggerItem PropertyItem TheoremItemSpec'runSpec observerstriggers propertiestheorems extractProp,copilot-theorem-2.2.1-4tfsGo0BavDBGXQf9G1CC2Copilot.Theorem.Prove Universal ExistentialSize UnsafeCastCastcastBool castIntegral Negatable ExternEnv externVarEnv externArrEnv externFunEnv externFunArgsexternStructEnvexternStructArgs SeenExternNoExternSeenFunSeenArr SeenStructEnvAnalyzeExceptionDropAppliedToNonAppendDropIndexOverflowReferentialCycleDropMaxViolationNestedExternFun NestedArrayTooMuchRecursion InvalidFieldDifferentTypes RedeclaredBadNumberOfArgsBadFunctionArgType maxRecursionanalyzeanalyzeTriggeranalyzeObserveranalyzeProperty analyzeExprassertNotVisitedmapCheck analyzeAppend analyzeDrop analyzeExtsspecExts collectExts getSimpleType$fExceptionAnalyzeException$fShowAnalyzeException mkObserver mkTrigger mkPropertymkExprmkStreammkId interpret'GHC.IntInt8Int16Int32Int64GHC.WordWord8Word16Word32Word64 byteSwap64 byteSwap32 byteSwap16)copilot-core-2.2.1-KBXFMiVzDC01KLfIHHLlK7Copilot.Core.ExprNameCopilot.Core.TypeTyped