!bSE      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-. / 0 1 2 3 4 5 6 7 8 9 : ; < = > ? @ A BCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~Safe)Safeh!" #$% &'()  *+,-./0 1tuposqkrmln2QOPN345EH6789>?FG@KLMABCDIJRSTUVWXYZ[\]^_`abcdefghijvwxyz{|}~!" #$% &'()  *+,-./0 1tuposqkrmln2QOPN345EH6789>?FG@KLMABCDIJRSTUVWXYZ[\]^_`abcdefghijvwxyz{|}~Safe&'HSX V copilot-language Dummy instance in order to make  an instance of ). copilot-language Dummy instance in order to make  an instance of ).Safe&'HSX!L   !"#$%& &$%!"#  Safe"Z'('('1Safe"))Safe"*+,-*+,- Safe#G././ Safe#00 Safe#11 Safe$4copilot-language Deprecated.23456789:;<=>?256789:;<=>?34 Safe%%@A@ASafe%k BCDEFGHIJKLM BCDEFGHIJKLMSafe@A(|copilot-language!Signed to unsigned and vice versacopilot-language=Unsafe unsigned and signed promotion to floating point valuescopilot-language#Unsafe downcasting to smaller sizesNOPQQOPNSafe)I44Safe&'=?@A*Safe*SSafe*SafeHV+/ Trustworthy+Safe6copilot-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&'2X7KSafeESX7Safe&'=?9Ncopilot-language3Much slower, but pretty-printed interpreter output.Safe9t!" #$% &'()  *+,-./0 1tuposqkrmln2QOPN345EH6789:;<=>?FG@KLMABCDIJRSTUVWXYZ[\]^_`abcdefghijvwxyz{|}~  !"$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQ:;<= &$%!"Safe?t!" #$% &'()  *+,-./0 1tuposqkrmln2QOPN345EH6789:;<=>?FG@KLMABCDIJRSTUVWXYZ[\]^_`abcdefghijvwxyz{|}~  !"$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQ  !"#$%$&'(')'*+,+-./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*+,-./-012234556789:;<=>?@ABCDEFGHIGHJKLMNNOOPPQRSTUVWXYZ[\]^_`abcdefg h i j k l m n o p q r s t u v w x y z {|}~    -0 -0-0-0----0-0-0-0-0-0-0-0-0-0-0-0-0 -0!-0"-0#-0$-0%-0&-0'-0(-0d-0-0a-0c-0g-0h-0i-0j-0-0-0 -0$-0)-0*-0+-0+-0,-0--0--(-.-/-01*copilot-language-3.0-AZG3s2OMrpkTKr0nRgNwYCopilot.Language.PreludeCopilot.Language"Copilot.Language.Operators.BitWiseCopilot.Language.StreamCopilot.Language.Spec#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.EitherEitherFalseNothingJustTrueLeftRightLTEQGTsequencemapM 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=<<<$<*StringGHC.Err undefinederrorWithoutStackTraceerrorcompare impossiblebadUsage'copilot-core-3.0-9vXZ4MPJD0TI2Qfri3V7DYCopilot.Core.ExprNameCopilot.Core.TypeTyped StructArgname_arg'ArgStreamAppendConstDropExtern ExternFunLocalVarOp1Op2Op3Label$fFloatingStream$fFractionalStream $fNumStream $fEqStream $fShowStream*copilot-theorem-3.0-Ivo45Xv5tHRJDgCE7pJWbACopilot.Theorem.Prove Existential UniversalPropForallExistsPropertyTriggerObserverSpecItemSpec'SpecrunSpec observerstriggers propertiestheoremsobservertriggerforallexists extractPropproptheoremarg++drop#<=>=<>mux ifThenElselocallabelextern externFunfunArgexternBexternW8 externW16 externW32 externW64externI8 externI16 externI32 externI64externFexternD==/=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 notMemberinsertfindAnalyzeExceptionDropAppliedToNonAppendDropIndexOverflowReferentialCycleDropMaxViolationNestedExternFun NestedArrayTooMuchRecursion InvalidFieldDifferentTypes RedeclaredBadNumberOfArgsBadFunctionArgTypeanalyzeGHC.WordWord8Word16Word32Word64 byteSwap64 byteSwap32 byteSwap16 accessorname fieldnametylengthtysizeCopilot.Core.Type.Arrayarray arrayelemssizeField SimpleTypeSArraySBoolSDoubleSFloatSInt16SInt32SInt64SInt8SStructSWord16SWord32SWord64SWord8StructtoValuestypenameTypeArraytypeOf simpleTypeUType uTypeTypeValueFlattenflatten InnerType