h*3.20 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#$#$#$#$#copilot-3.20-Ef3A1PyD68iDFwDuHdxWZaLanguage.Copilot.MaincopilotLanguage.Copilot copilotMain defaultMainCmdArgscmdargsPrinterCompiler Interpreterghc-prim GHC.TypesBoolTrueFalseCharDoubleFloatIntWordOrderingLTEQGTbase GHC.MaybeMaybeNothingJust~ ghc-bignumGHC.Num.IntegerIntegerIO(copilot-core-3.20-EoqgmqpyjBvGKmDNTR7neDCopilot.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-3.20-5mFL3SZMtbUESvYZVTgm46Copilot.Language.StreamStreamCopilot.Core.ExprNameValueCopilot.Language.SpecSpecUType uTypeTypeTypedtypeOf simpleType SimpleTypeSBoolSInt8SInt16SInt32SInt64SWord8SWord16SWord32SWord64SFloatSDoubleSArraySStructtypeNametoValues updateFieldFieldCopilot.Language.Operators.CastCastcast!Copilot.Language.Operators.Struct Projection UnsafeCast unsafeCastarray"Copilot.Language.Operators.Boolean==> Copilot.Language.Operators.Locallocaleitherid Data.Tuplefstsnd$ otherwise#Copilot.Language.Operators.Temporal++mapmapM_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 concatMapzip3zipWith3unzipunzip3showsshowChar 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 fieldName accessorName typeLengthtypeSizeCopilot.Language.Interpret interpretbadUsageobservertriggerforAllexistsproptheoremarg###=:=$Copilot.Language.Operators.Muxmux ifThenElse!Copilot.Language.Operators.ExternexternexternBexternW8 externW16 externW32 externW64externI8 externI16 externI32 externI64externFexternD#Copilot.Language.Operators.ConstantconstantconstBconstW8constW16constW32constW64constI8constI16constI32constI64constFconstD Copilot.Language.Operators.Array.!!csvCopilot.Language.Reifyreify-copilot-libraries-3.20-GoRcLzKLTKZCnbBX33otogCopilot.Library.UtilstakecycleCopilot.Library.StatisticsmaxminCopilot.Library.LTLuntilsum!!tailsreleaseCopilot.Library.Clocksphaseperiodclkclk1Copilot.Library.PTLTLprevious alwaysBeeneventuallyPrevsinceCopilot.Library.RegExp copilotRegexpcopilotRegexpBCopilot.Library.Stacksstackstack'nfoldlnfoldl1nfoldrnfoldr1nscanlnscanrnscanl1nscanr1case'meanmeanNow eventuallyalwaysnextCopilot.Library.Votingmajority aMajority