h$' Safe-Inferred8copilotCreate a main to either compile or interpret a copilot specification.This function must be provided an auxiliary function capable of compiling  0https://hackage.haskell.org/package/copilot-core Copilot Core! specifications for some target.5The command line program supports four main commands: --output/-o+: use the given compiler to produce C code. --justrun/-c: execute a dry-run, which parses and converts the specification to core but does not produce any output. --print/-p!: pretty print the specification.--interpret/-i NUM: interpret the specification for a given number of steps.copilotCreate a main function with a default interpreter and pretty printer.This function must be provided an auxiliary function capable of compiling  0https://hackage.haskell.org/package/copilot-core Copilot Core! specifications for some target.This function relies on >, please refer to that function for the command line options. Safe-Inferredb  !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~    !"#$%&'(')'*'+','-'.'/'0'1'2'3'4'5'6'7'8'9':;<=>?@ABCDEFGHIJKLMLNLOLPLQLRLSLT%U%VWXWYWZ[\']'^'_'`'a'b'c'd'e'f'g'h'i'j'klmnopqrsrtrurvwxwyz{|}~r            WWrrrr                       L"copilot-3.7-Em2l7ny3DP082wr2PhxqoZLanguage.Copilot.MainLanguage.Copilot copilotMain defaultMainghc-primGHC.PrimseqbaseGHC.Listfilterzip System.IOprint Data.TuplefstsndGHC.Base otherwisemap$GHC.Real fromIntegral realToFracGHC.EnumBoundedminBoundmaxBoundEnumpredsucctoEnumfromEnum enumFromToenumFromThenToenumFrom enumFromThen GHC.ClassesEq GHC.FloatFloatingatanhacoshasinhtanhcoshsinhatanacosasintancossinlogBase**sqrtlogpiexp Fractionalrecip fromRational/IntegraldivModquotRemrem toIntegerquotMonadreturn>>=>>Functorfmap<$GHC.NumNumsignumabs fromIntegernegate-+*OrdcompareGHC.ReadRead readsPrecreadListReal toRational RealFloatatan2isIEEEisNegativeZeroisDenormalized isInfiniteisNaN scaleFloat significandexponent encodeFloat decodeFloat floatRange floatRadix floatDigitsRealFracfloorceilingroundproperFractiontruncateGHC.ShowShowshowListshow showsPrecControl.Monad.Fail MonadFailfail Applicative<**>pure<*> Data.FoldableFoldableelemminimummaximumfoldr1productfoldl1nullfoldlfoldMapfoldrlengthData.Traversable Traversablesequence sequenceAtraversemapM Semigroup<>Monoidmconcatmemptymappend GHC.TypesBoolFalseTrueCharDoubleFloatIntGHC.IntInt8Int16Int32Int64integer-wired-inGHC.Integer.TypeInteger GHC.MaybeMaybeNothingJustOrderingGTLTEQRationalIOWordGHC.WordWord8Word16Word32Word64 Data.EitherEitherLeftRightideitherStringShowS Text.ReadreadreadIOreadLn appendFile writeFilereadFileinteract getContentsgetLinegetCharputStrLnputStrputCharGHC.IO.ExceptionioErrorGHC.IOFilePath userErrorIOErrornotElemallanyorand concatMapconcat sequence_mapM_ Data.OldListunwordswordsunlineslinesreadslex readParenText.ParserCombinators.ReadPReadS bitReverse64 bitReverse32 bitReverse16 bitReverse8 byteSwap64 byteSwap32 byteSwap16 Data.BitsBits complement.&..|.lcmgcd^^oddeven showParen showStringshowCharshowsunzip3unzipzipWith3zipWithzip3lookupreversebreakspansplitAt dropWhile takeWhile replicaterepeatiteratescanr1scanrscanl1scanlinitlasttailhead Data.Maybemaybe Data.Functor<$>uncurrycurrysubtractasTypeOf$!flip.=<<GHC.Err undefinederrorWithoutStackTraceerror'copilot-core-3.7-C09UhOaiw2jDxqqQ4oiNe8Copilot.Core.ExprNameCopilot.Core.Typetysizetylength accessorname fieldnameStructtypenametoValuesValueFieldTypeArray SimpleTypeSStructSArraySDoubleSFloatSWord64SWord32SWord16SWord8SInt64SInt32SInt16SBoolSInt8TypedtypeOf simpleTypeUType uTypeTypeCopilot.Core.Type.Array arrayelemssizearray InnerTypeFlattenflatten+copilot-language-3.7-HnivqzP8bI94FwEeJA1Nh5Copilot.Language prettyPrintCopilot.Language.Interpret interpretcsvCopilot.Language.Reifyreify Copilot.Language.Operators.Array.!!#Copilot.Language.Operators.Integral^moddiv"Copilot.Language.Operators.BitWise.>>..<<..^."Copilot.Language.Operators.Boolean==>xornot||&&falsetrueCopilot.Language.Operators.CastCastcast UnsafeCast unsafeCast#Copilot.Language.Operators.ConstantconstDconstFconstI64constI32constI16constI8constW64constW32constW16constW8constBconstantCopilot.Language.Operators.Eq/===!Copilot.Language.Operators.ExternexternDexternF externI64 externI32 externI16externI8 externW64 externW32 externW16externW8externBextern Copilot.Language.Operators.Labellabel Copilot.Language.Operators.LocallocalCopilot.Language.Operators.Mux ifThenElsemuxCopilot.Language.Operators.Ord><>=<=!Copilot.Language.Operators.Struct##Copilot.Language.Operators.Temporaldrop++Copilot.Language.SpecargtheorempropexistsforalltriggerobserverSpecCopilot.Language.StreamStreamCopilot.Language.ErrorbadUsage impossible,copilot-libraries-3.7-HH2fCEM1lE5J8ZBY7b5dA5Copilot.Library.Voting aMajoritymajorityCopilot.Library.LTLreleaseuntil eventuallyalwaysnextCopilot.Library.StatisticsmeanNowmeanminmaxsumCopilot.Library.Utilscycle!!case'nscanr1nscanl1nscanrnscanlnfoldr1nfoldrnfoldl1nfoldltaketailsCopilot.Library.Stacksstack'stackCopilot.Library.RegExpcopilotRegexpB copilotRegexpCopilot.Library.PTLTLsinceeventuallyPrev alwaysBeenpreviousCopilot.Library.Clocksclk1clkphaseperiod