R7;W       ! " # $ % & ' ( ) * + , - . / 0 1 2 3 4 5 6 7 8 9 : ; < = > ? @ A B C D E F G H I J K L M N O PQRSTUV TrustworthyWXYZ[WXYZWXYZ[Safe\O(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.aO(log n). The expression (a def k map) returns the value at key k or returns the default value def! when the key is not in the map.bcdefghijk\]^labcdefghijk\]^la bcdefghijk\]^laSafemnopqrstuvwxyz{|}~`      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJ_KLMNOP Trustworthy!">INQ Dummy instance in order to make  an instance of .R Dummy instance in order to make  an instance of .STUVWXYZ[\]^_`abcdefghiQRSTUVWXYZ[\]^_`abcdefSTUVWXYZ[\]^_`abcdefghiQR Trustworthy!">INjklmnopqrstuvwxyz{|} ~ jklmnopqrsxyz{|} ~ jklmnopqrstuvwxyz{|} ~  Trustworthy     Trustworthy Trustworthy Trustworthy Trustworthy Trustworthy Trustworthy  Trustworthy! Deprecated. !"#$%&'()*+,-./012345678 !"#$%&'()*+,-./012345678#$%&'()*+,- ./012345678"! !"#$%&'()*+,-./012345678  Trustworthy9:9:9:9:  Trustworthy ;<=>?@ABCDEF ;<=>?@ABCDEF ;<=>?@ABCDEF ;<=>?@ABCDEF  Trustworthy7!Signed to unsigned and vice versa=Unsafe unsigned and signed promotion to floating point values#Unsafe downcasting to smaller sizesMGHGHHGKGH  TrustworthyIJKLMNOIJKLMNOKLMIJNOIJKLMNOKL Trustworthy!"357PPPPSafeQRQRQR Trustworthy!"+N+  Trustworthy;INSSSS Trustworthy!"35U5Much slower, but pretty-printed interpreter output. TUTUTU TrustworthyVHmnopqrstuvwxyz{|}~  `         !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJ_KLMNOP  !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOQRTUVQRTU  VVSafeHmnopqrstuvwxyz{|}~  `         !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJ_KLMNOP  !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOQRTUV !"#$%&'()*+,-./012345678 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 jhklmnopqqrstuvwxyxz{||}~xxxxxxxxxxxxxxxxx         !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[w\]^_`abcdefghijklmnopqrstuxvxwxxxyxzx{x|x}x~xx                                                                                  !"#$%&'()*+,-./01020304565758595:5;5<=>?=@ABcopil_Cxn4ovomEF65cOTzJZUuQl"Copilot.Language.Operators.BitWiseCopilot.Language#Copilot.Language.Operators.TemporalCopilot.Language.Operators.OrdCopilot.Language.Operators.Mux#Copilot.Language.Operators.Integral Copilot.Language.Operators.Label Copilot.Language.Operators.Local!Copilot.Language.Operators.ExternCopilot.Language.Operators.Eq#Copilot.Language.Operators.ConstantCopilot.Language.Operators.Cast"Copilot.Language.Operators.Boolean(Copilot.Language.Operators.PropositionalCopilot.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 ifThenElsedivmod^labellocalextern externFun externArrayfunArg externStructexternBexternW8 externW16 externW32 externW64externI8 externI16 externI32 externI64externFexternD externArrayB externArrayW8externArrayW16externArrayW32externArrayW64 externArrayI8externArrayI16externArrayI32externArrayI64 externArrayF externArrayD==/=constantconstBconstW8constW16constW32constW64constI8constI16constI32constI64constFconstD unsafeCastcasttruefalse&&||notxor==> impossiblebadUsagereifycsv interpret prettyPrint DynStableNamemakeDynStableNamehashDynStableName$fEqDynStableName insertWith insertWith'lookupGHC.BaseJustNothingfindWithDefaultMapgetMapgetSizeemptynull singletonmember notMemberinsertfindGHC.Errerrorghc-primGHC.PrimseqGHC.Listfilterzip System.IOprint Data.Tuplefstsnd otherwisemap$ undefinedGHC.Num fromInteger-GHC.Real fromRationalGHC.EnumenumFrom enumFromThen enumFromToenumFromThenTonegatefail>>=>>fmapreturn fromIntegral realToFrac toInteger toRational<*>pureBoundedEnum GHC.ClassesEq GHC.FloatFloating FractionalIntegralMonadFunctorNumOrdGHC.ReadReadReal RealFloatRealFracGHC.ShowShow Applicative Data.FoldableFoldableData.Traversable Traversable GHC.TypesBoolCharDoubleFloatInt integer-gmpGHC.Integer.TypeIntegerOrderingRationalIOWord Data.EitherEitherStringFalseTrueLeftRightLTEQGTMaybe<**> Text.ReadreadsequencemapM sequenceAtraversereadIOreadLn appendFile writeFilereadFileinteract getContentsgetLinegetCharputStrLnputStrputCharGHC.IO.ExceptionioErrorGHC.IOFilePath userErrorIOErrorreadsnotElemallanyorand concatMapconcat sequence_mapM_productminimummaximumelemlengthfoldl1foldr1foldlfoldrfoldMapeither Data.OldListunwordswordsunlineslineslex readParenreadList readsPrecatanhacoshasinhtanhcoshsinhatanacosasintancossinlogBase**sqrtlogexppiatan2isIEEEisNegativeZeroisDenormalized isInfiniteisNaN scaleFloat significandexponent encodeFloat decodeFloat floatRange floatDigits floatRadixText.ParserCombinators.ReadPReadSlcmgcd^^oddevendivModquotRemremquotrecip/floorceilingroundtruncateproperFractionmaxBoundminBoundfromEnumtoEnumpredsucc Data.Functor<$> showParen showStringshowCharshowsShowSshowListshow showsPrecunzip3unzipzipWith3zipWithzip3reversebreakspansplitAt dropWhile takeWhile replicaterepeatiteratescanr1scanrscanl1scanlinitlasttailhead Data.Maybemaybeuncurrycurrysubtractsignumabs*+asTypeOf$!flip.id=<<mconcatmappendmemptyMonoid<$compare $fEqStream $fShowStream StructArgname_arg'ArgAppendConstDropExtern ExternFun ExternArray ExternStructGetFieldLocalVarOp1Op2Op3Label$fFloatingStream$fFractionalStream $fNumStreamPropForallExistsPropertyTriggerObserverSpecItem ObserverItem TriggerItem PropertyItem TheoremItemSpec'runSpec observerstriggers propertiestheorems extractPropcopil_1gACCQrRdCnDJSBgWLqXX0Copilot.Theorem.Prove Universal Existential $fBitsStreamSize$fUnsafeCastWord64Int64$fUnsafeCastInt64Float$fUnsafeCastWord64Word32 UnsafeCastCastcastBool castIntegral$fUnsafeCastInt8Word8$fUnsafeCastInt16Word16$fUnsafeCastInt32Word32$fUnsafeCastInt64Word64$fUnsafeCastWord8Int8$fUnsafeCastWord16Int16$fUnsafeCastWord32Int32$fUnsafeCastWord8Double$fUnsafeCastWord16Double$fUnsafeCastWord32Double$fUnsafeCastWord64Double$fUnsafeCastWord8Float$fUnsafeCastWord16Float$fUnsafeCastWord32Float$fUnsafeCastWord64Float$fUnsafeCastInt8Double$fUnsafeCastInt16Double$fUnsafeCastInt32Double$fUnsafeCastInt64Double$fUnsafeCastInt8Float$fUnsafeCastInt16Float$fUnsafeCastInt32Float$fUnsafeCastInt16Int8$fUnsafeCastInt32Int8$fUnsafeCastInt32Int16$fUnsafeCastInt64Int8$fUnsafeCastInt64Int16$fUnsafeCastInt64Int32$fUnsafeCastWord16Word8$fUnsafeCastWord32Word8$fUnsafeCastWord32Word16$fUnsafeCastWord64Word8$fUnsafeCastWord64Word16$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 Negatable$fNegatablePropProp$fNegatablePropProp0 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 byteSwap16copil_DMcHz2ZOtzzDTidqFQAj2vCopilot.Core.ExprNameCopilot.Core.TypeTyped