!aEl      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,- . / 0 1 2 3 4 5 6 7 8 9 : ; < = > ?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~SafeSafeA!" #$% &'()  *+,-./0 1uvqptrlsnmo2RPQO345EH6789>?FG@KLMABCDIJNSTUVWXYZ[\]^_`abcdefghijkwxyz{|}~!" #$% &'()  *+,-./0 1uvqptrlsnmo2RPQO345EH6789>?FG@KLMABCDIJNSTUVWXYZ[\]^_`abcdefghijkwxyz{|}~Safe&'HSX / copilot-language Dummy instance in order to make  an instance of ). copilot-language Dummy instance in order to make  an instance of ).Safe&'HSX!  !"#$%% #$ !"Safe"+&'&'&1Safe"((Safe")*+,)*+, Safe#-.-. Safe#^// Safe#00 Safe$P2copilot-language Deprecated. 123456789:;< 13456789:;<2 Safe$=>=>Safe%, ?@ABCDEFGHIJ ?@ABCDEFGHIJSafe@A(ycopilot-language!Signed to unsigned and vice versacopilot-language=Unsafe unsigned and signed promotion to floating point valuescopilot-language#Unsafe downcasting to smaller sizesKLMNNLMKSafe) 44Safe&'=?@A)Safe*Safe*SafeHV* Trustworthy+JSafe6icopilot-languageO(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)copilot-languageSame as 3, but with the combining function applied strictly.copilot-languageO(log n)'. Lookup the value at a key in the map.6The function will return the corresponding value as a (G value) or F if the key isn't in the map.copilot-languageO(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&'2X7 SafeESX7Safe&'=?9 copilot-language3Much slower, but pretty-printed interpreter output.Safe9Jr!" #$% &'()  *+,-./0 1uvqptrlsnmo2RPQO345EH6789:;<=>?FG@KLMABCDIJNSTUVWXYZ[\]^_`abcdefghijkwxyz{|}~ !#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMN:;<=%#$ !Safe?r!" #$% &'()  *+,-./0 1uvqptrlsnmo2RPQO345EH6789:;<=>?FG@KLMABCDIJNSTUVWXYZ[\]^_`abcdefghijkwxyz{|}~ !#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMN !"#$%$&'(')'*+,+-./01020304+5'6'7'8'9':.;.<.=.>'?'@'A'B'C'D'E0F0GHIJK.L.M'N'O+PHQRS.TJU.VWX'YZ[\]'^'_`a`b`c`d`efgfhfifjklmno`p.q`r`stu`vnwnx`ytzt{`|`}`~'\\\\""""""""""""ZZZZZZZZZZZZZZZZZZZZtRRRRJJJJJJJJJJJJJJJJJJJJJJJJJJJJJJJJ................000000WWWWWWWW     $$+++++''' '!'"'#'$'%&'&(&)H*+,-+./01201345667899:;<=>?@ABCDEFGHIJKLMMNNOOPQRSTUVWXYZ[\]^_`abcdef g h i j k l m n o p q r s t u v w xyz{|}~+. +. +. +. +. +.+.+.+.+.+.+.+.a+.c+.d+.+.g+.h+.i+.j+.+.+.+.+. +.+.+.+.+.+.+.+.+.+.+.+.+. +.!+."+.#+.$+.$+.%+&'+&(+&)+&+&*+&++&,-+copilot-language-3.1-FFCiRT8vTw47jTCYE7ofFlCopilot.Language.PreludeCopilot.Language"Copilot.Language.Operators.BitWiseCopilot.Language.SpecCopilot.Language.Stream#Copilot.Language.Operators.Temporal!Copilot.Language.Operators.StructCopilot.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.Integral Copilot.Language.Operators.ArrayCopilot.Language.ReifyCopilot.Language.ErrorSystem.Mem.StableName.DynamicSystem.Mem.StableName.MapCopilot.Language.AnalyzeCopilot.Language.InterpretCopilotghc-primGHC.PrimseqbaseGHC.Listfilterzip System.IOprint Data.TuplefstsndGHC.Base otherwisemap$GHC.Num fromInteger-GHC.Real fromRationalGHC.EnumenumFrom enumFromThen enumFromToenumFromThenTonegatefail>>=>>fmapreturn fromIntegral realToFrac toInteger toRational<>memptymappendmconcat<*>pure*>BoundedEnum GHC.ClassesEq GHC.FloatFloating FractionalIntegralMonadFunctorNumOrdGHC.ReadReadReal RealFloatRealFracGHC.ShowShow Applicative Data.FoldableFoldableData.Traversable Traversable SemigroupMonoid GHC.TypesBoolCharDoubleFloatIntGHC.IntInt8Int16Int32Int64 integer-gmpGHC.Integer.TypeInteger GHC.MaybeMaybeOrderingRationalIOWord Data.EitherEitherFalseNothingJustTrueLeftRightLTEQGTStringsequencemapM sequenceAtraversereadIOreadLn appendFile writeFilereadFileinteract getContentsgetLinegetCharputStrLnputStrputCharGHC.IO.ExceptionioErrorGHC.IOFilePath userErrorIOErrornotElemallanyorand concatMapconcat sequence_mapM_productminimummaximumelemlengthnullfoldl1foldr1foldlfoldrfoldMap Data.OldListunwordswordsunlineslines Text.Readreadreadseitherlex readParenreadList readsPrecText.ParserCombinators.ReadPReadSatanhacoshasinhtanhcoshsinhatanacosasintancossinlogBase**sqrtlogexppiatan2isIEEEisNegativeZeroisDenormalized isInfiniteisNaN scaleFloat significandexponent encodeFloat decodeFloat floatRange floatDigits floatRadix Data.Bits complement.|..&.Bits Data.Functor<$>lcmgcd^^oddevendivModquotRemremquotrecip/floorceilingroundtruncateproperFractionmaxBoundminBoundfromEnumtoEnumpredsucc showParen showStringshowCharshowsShowSshowListshow showsPrecunzip3unzipzipWith3zipWithzip3lookupreversebreakspansplitAt dropWhile takeWhile replicaterepeatiteratescanr1scanrscanl1scanlinitlasttailhead Data.Maybemaybeuncurrycurrysubtractsignumabs*+asTypeOf$!flip.id=<<<$<*GHC.Err undefinederrorWithoutStackTraceerrorcompare'copilot-core-3.1-2xBRZxDB03X6RN6j5l8SGhCopilot.Core.ExprNameCopilot.Core.TypeTyped*copilot-theorem-3.1-GnvE3IIWBsU3vHVekO7ni9Copilot.Theorem.Prove Universal Existential impossiblebadUsage StructArgname_arg'ArgStreamAppendConstDropExternLocalVarOp1Op2Op3Label$fFloatingStream$fFractionalStream $fNumStream $fEqStream $fShowStreamPropForallExistsPropertyTriggerObserverSpecItemSpec'SpecrunSpec observerstriggers propertiestheoremsobservertriggerforallexists extractPropproptheoremarg++drop#<=>=<>mux ifThenElselocallabelexternfunArgexternBexternW8 externW16 externW32 externW64externI8 externI16 externI32 externI64externD==/=constantconstBconstW8constW16constW32constW64constI8constI16constI32constI64constFconstD UnsafeCast unsafeCastCastcast$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$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$fUnsafeCastWord64Word32truefalse&&||notxor==>$fNegatablePropProp$fNegatablePropProp0.^..<<..>>. $fBitsStreamdivmod^.!!reifycsv interpret prettyPrint DynStableNamemakeDynStableNamehashDynStableName insertWith insertWith'findWithDefaultMapgetSizegetMapempty singletonmember notMemberinsertfindAnalyzeExceptionDropAppliedToNonAppendDropIndexOverflowReferentialCycleDropMaxViolation NestedArrayTooMuchRecursion InvalidFieldDifferentTypes RedeclaredBadNumberOfArgsBadFunctionArgTypeanalyzeGHC.WordWord8Word16Word32Word64 byteSwap64 byteSwap32 byteSwap16tysizetylength accessorname fieldnameStructtypenametoValuesValueFieldTypeArray SimpleTypeSBoolSInt8SInt16SInt32SInt64SWord8SWord16SWord32SWord64SFloatSDoubleSArraySStructtypeOf simpleTypeUType uTypeTypeCopilot.Core.Type.Array arrayelemssizearray InnerTypeFlattenflatten