h*4.0 Safe-Inferredcopilot4Command line arguments supported by all commands in .copilot+A pretty printer of Copilot specifications.copilotA compiler from  0https://hackage.haskell.org/package/copilot-core Copilot Core specifications.copilotAn interpreter of Copilot specifications for a given number of simulation steps.copilot, please refer to that function for the command line options. Safe-Inferred   !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~               ! "#$%#$ #$#$#$&#$'#$(#$)#$*#$+#$,#$-#$.#$/01020304050607898:8;0<0=0>0?0@0A0B0C0D0E0F0G0H#I&J'J(J)J*KLKMKNKOKPQRQSQTQUQVQWQXQYQZQ[Q\Q] ^_`a`b ^c ^defegeheiejekelmnmompqrqsqtquv+v,v-v.wxyzy{y|y}y~yyyyyyyeeeeeeeeeeeeq##$#$#$#$#$#$#$#$#$#$#$#$#$#$#$#$#$#$#$#$#$#$#$/#$#$#$#$#$#I80000Qe Qee00000QQQQQQqqqqeeeeJJJJJJJmmQww#I#I#$#$#$#$"copilot-4.0-FbDXhVmIFb56Sh48AZKgODLanguage.Copilot.MaincopilotLanguage.Copilot copilotMain defaultMainCmdArgscmdargsPrinterCompiler Interpreterghc-prim GHC.TypesBoolTrueFalseCharDoubleFloatIntWordOrderingLTEQGTbase GHC.MaybeMaybeNothingJust~ ghc-bignumGHC.Num.IntegerIntegerIO'copilot-core-4.0-B9lCaMtDp2U7dmjeHjWFWhCopilot.Core.TypeTypeArrayWord8Word64Word32Word16Int8Int16Int32Int64StructGHC.BaseMonadreturn>>>>=Functorfmap<$ Data.EitherEitherRightLeftMonoidmconcatmappendmempty Semigroup<> Applicative*><*>pure<*liftA2StringCopilot.Core.Type.ArrayGHC.WordData.Traversable TraversabletraversemapM sequenceAsequence Data.FoldableFoldablefoldrlengthfoldlnullfoldl1productfoldr1maximumminimumelemfoldMap GHC.ClassesEqControl.Monad.Fail MonadFailfailOrdcompareGHC.RealIntegral toIntegerquotremquotRemdivModRationalGHC.ReadRead readsPrecreadListGHC.ShowShowshow showsPrecshowListGHC.IntGHC.IO.ExceptionIOErrorGHC.EnumBoundedminBoundmaxBoundEnumfromEnumtoEnumenumFrom enumFromThen enumFromToenumFromThenTosuccpred GHC.FloatFloatingpiexplogsqrt**logBasesincostanasinacosatansinhcoshtanhasinhacoshatanh Fractional fromRational/recipGHC.NumNum fromInteger-negate+*abssignumReal toRational RealFloat floatRadix floatDigits floatRange decodeFloat encodeFloatexponent significand scaleFloatisNaN isInfiniteisDenormalizedisNegativeZeroisIEEEatan2RealFracproperFractiontruncateroundceilingfloorShowSGHC.BitsBits.&..|. complementText.ParserCombinators.ReadPReadSGHC.IOFilePath+copilot-language-4.0-BlaAji1N8xSEtY6qKd4hEaCopilot.Language.StreamStreamCopilot.Core.ExprNameValueCopilot.Language.SpecSpecUType uTypeTypeTypedtypeOf simpleType SimpleTypeSBoolSInt8SInt16SInt32SInt64SWord8SWord16SWord32SWord64SFloatSDoubleSArraySStructtypeNametoValues updateFieldFieldCopilot.Language.Operators.CastCastcast%Copilot.Language.Operators.Projection Projectable Projection=:=$ UnsafeCast unsafeCastarray"Copilot.Language.Operators.Boolean==> Copilot.Language.Operators.Locallocaleitherid Data.Tuplefstsnd$ otherwise#Copilot.Language.Operators.Temporal++map Copilot.Language.Operators.Array!mapM_GHC.List takeWhile Text.ReadreadCopilot.Language.Operators.Eq==Copilot.Language.Operators.Ord>=GHC.ErrerrorzipWitheven Data.Functor<$>uncurryhead System.IO writeFilegetLineputStrLnfilterGHC.Primseqconcatzipprint fromIntegral realToFrac#Copilot.Language.Operators.Integral^<<=>/=&&||noterrorWithoutStackTrace undefined=<<.flip$!asTypeOfsubtract Data.Maybemaybetaillastinitscanlscanl1scanrscanr1iteraterepeat replicate dropWhiledropsplitAtspanbreakreverseandoranyallnotElemlookup concatMap!!zip3zipWith3unzipunzip3showsshowChar showString showParendivmododd^^gcdlcmxor byteSwap16 byteSwap32 byteSwap64 bitReverse8 bitReverse16 bitReverse32 bitReverse64currylex readParenreads Data.Bits.^."Copilot.Language.Operators.BitWise.>>..<<. sequence_ Data.OldListlinesunlineswordsunwords userErrorioErrorputCharputStrgetChar getContentsinteractreadFile appendFilereadLnreadIO Copilot.Language.Operators.LabellabelfalsetrueCopilot.Language.Error impossible arrayElems arrayUpdate fieldName accessorName typeLengthtypeSizeCopilot.Language.Interpret interpretbadUsageobservertriggerforAllexistsproptheoremarg!Copilot.Language.Operators.Struct###Copilot.Language.Operators.Muxmux ifThenElse!Copilot.Language.Operators.ExternexternexternBexternW8 externW16 externW32 externW64externI8 externI16 externI32 externI64externFexternD#Copilot.Language.Operators.ConstantconstantconstBconstW8constW16constW32constW64constI8constI16constI32constI64constFconstD.!!csvCopilot.Language.Reifyreify,copilot-libraries-4.0-BocIwc8ytjLLKbO4Jo8GIZCopilot.Library.UtilstakecycleCopilot.Library.StatisticsmaxminCopilot.Library.LTLuntilsumtailsreleaseCopilot.Library.Clocksphase!!!periodclkclk1Copilot.Library.PTLTLprevious alwaysBeeneventuallyPrevsinceCopilot.Library.RegExp copilotRegexpcopilotRegexpBCopilot.Library.Stacksstackstack'nfoldlnfoldl1nfoldrnfoldr1nscanlnscanrnscanl1nscanr1case'meanmeanNow eventuallyalwaysnextCopilot.Library.Votingmajority aMajority