h$&U٭      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~                  Safe Safe,!" #$% &'()  *+,-./01 2pnotmsruwvq3PRSQ456FI789:?@GHANLMBCDEJKOTUVWXYZ[\]^_`abcdefghijklxyz{|}~!" #$% &'()  *+,-./01 2pnotmsruwvq3PRSQ456FI789:?@GHANLMBCDEJKOTUVWXYZ[\]^_`abcdefghijklxyz{|}~Safe'( copilot-language Dummy instance in order to make  an instance of ).copilot-language Dummy instance in order to make  an instance of ).Safe'( Safe 1Safe Safe  Safe ! Safe F Safe g Safe copilot-language Deprecated.   Safe Safe  Safe7copilot-language!Signed to unsigned and vice versacopilot-language=Unsafe unsigned and signed promotion to floating point valuescopilot-language#Unsafe downcasting to smaller sizesSafed44Safe'(>SafeSafeSafe> TrustworthyfSafecopilot-languageO(log n). Insert with a function for combining the new value and old value.  f key value mp) will insert the pair (key, value) into mp 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 (H value) or G 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'(3 Safe"Safe'(>copilot-language3Much slower, but pretty-printed interpreter output.Safe!" #$% &'()  *+,-./01 2pnotmsruwvq3PRSQ456FI789:;<=>?@GHANLMBCDEJKOTUVWXYZ[\]^_`abcdefghijklxyz{|}~;<=>Safef!" #$% &'()  *+,-./01 2pnotmsruwvq3PRSQ456FI789:;<=>?@GHANLMBCDEJKOTUVWXYZ[\]^_`abcdefghijklxyz{|}~ !"#$%$&'(')'*+,+-./01020304+5'6'7'8'9:;.<.=.>.?'@'A'B'C'D'E'F0G0HIJKL.M.N'O'P+QIRST.UKV.WXY:Z'[\]^_'`'abcbdbebfbghihjhkhlmnopqbr.sbtbuvwbxpypzb{v|v}b~bb'^^^^""""""""""""\\\\\\\\\\\\\\\\\\\\vSSSSKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKK................000000XXXXXXXX$$+++++''''''''I                  lkjifce+copilot-language-3.2-5fxDZ6OApiQJ3qa3ioUicTCopilot.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 enumFromToenumFromThenTonegate>>=>>fmapreturnControl.Monad.Failfail fromIntegral realToFrac toInteger toRational<>memptymappendmconcat<*>pure*>BoundedEnum GHC.ClassesEq GHC.FloatFloating FractionalIntegralMonadFunctorNumOrdGHC.ReadReadReal RealFloatRealFracGHC.ShowShow MonadFail Applicative Data.FoldableFoldableData.Traversable Traversable SemigroupMonoid GHC.TypesBoolCharDoubleFloatIntGHC.IntInt8Int16Int32Int64integer-wired-inGHC.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.|..&.Bitslcmgcd^^oddevendivModquotRemremquotrecip/floorceilingroundtruncateproperFractionmaxBoundminBoundfromEnumtoEnumpredsucc showParen showStringshowCharshowsShowSshowListshow showsPrecunzip3unzipzipWith3zipWithzip3lookupreversebreakspansplitAt dropWhile takeWhile replicaterepeatiteratescanr1scanrscanl1scanlinitlasttailhead Data.Maybemaybe Data.Functor<$>uncurrycurrysubtractsignumabs*+asTypeOf$!flip.id=<<<$<*GHC.Err undefinederrorWithoutStackTraceerrorcompare'copilot-core-3.2-JGorAi18PmsG0rHjeQFVg7Copilot.Core.ExprNameCopilot.Core.TypeTyped*copilot-theorem-3.2-6vYiU5bX5p17iqSzup0kakCopilot.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 bitReverse64 bitReverse32 bitReverse16 bitReverse8 byteSwap64 byteSwap32 byteSwap16tysizetylength accessorname fieldnameStructtypenametoValuesValueFieldTypeArray SimpleTypeSStructSArraySDoubleSFloatSWord64SWord32SWord16SWord8SInt64SInt32SInt16SBoolSInt8typeOf simpleTypeUType uTypeTypeCopilot.Core.Type.Array arrayelemssizearray InnerTypeFlattenflatten