U      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTNoneNone  Evaluate a boolean formula in conjunctive normal form (CNF) by applying the predicate to each atom according to the logic of its nesting in the formula. Perform a left fold over a set of guarded update functions, evaluating the guards left-to-right. For each guard that passes, its associated update function is composed into a final composite update function. Translate and rotate a U based on UI input.  None-;<=QV #% !"#$%&+*)',(-./0123&&'()*+,%$"# !4-./0123  !"#&'()*+,None"#-;=ST1?@AB?@ABCNone<QV DEFGHIJKLMN DEFGHIJKLMNNone=VWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~  !"&.DEFGHIJKLMNOO. !"&GNonePQRSTPQRST      !"#$%&'()*++,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`ab`cd`ce`cf`cghijhik`lm`ln`op`qr`qs`qt`qu`qv`wx`wy`z{`c|`c}`c~'liveplot-0.1.0.0-7HyCkpE80z71fM6QNhQ51dGraphics.LiveplotGraphics.Liveplot.ShadersGraphics.Liveplot.UtilsGraphics.Liveplot.TypesGraphics.Liveplot.LineGraphics.Liveplot.WindowGraphics.Liveplot.Demo(OpenGLRaw-3.2.7.0-8gWqt5IyYX2LwfGqscXXbdGraphics.GL.TypesGLfloat compileBStest lineShaders positionColorlineVertShaderoutColorlineFragShaderdumpdbgcnfcnfEndomoveCamrpad normalize GraphInfo graph_name graph_appinfograph_viewport graph_samplesgraph_resolution graph_color graph_points graph_scale graph_offset GraphColorRedGreen PlottableinitplotPlotInit SensorReadingReadingGLAppAppInfoViewportEventTimestepKeysButtonsMousePosWinSizeQuitacceptsnamed bufferTVar defaultCamdefaultViewportdefaultAppInfodefGI$fFunctorSensorReading $fShowEvent $fShowGLApp$fEqSensorReading$fShowSensorReading$fShowGraphColor$fEqGraphColor$fOrdGraphColor$fShowGraphInfo $fEqGraphInfo$fOrdGraphInfoXPosxcoordmonoTexline$fPlottableFloat initGraph lineGraph lineGraphNoglcampipedefaultCamPipe defaultPipe keyCallback mbCallback mpCallback wsCallback runLiveplotrunDemodemosinedata moiredatahztick$GLUtil-0.10.1-BLqLL86z87QGChGVH4k3rCGraphics.GLUtil.Camera3DCamerabase Data.FoldableFoldableGHC.BaseMonoidmemptymappendmconcat*contravariant-1.4.1-JXjDAnKZeh1Db1ZTeevPkjData.Functor.Contravariant Contravariant contramapControl.Monad.IO.ClassMonadIOliftIO System.Mem performGC GHC.Conc.SyncreadTVar newTVarIO atomicallyforkIOSTM Data.Monoid<>First Data.Functorvoid MonadPlusmzeromplus$managed-1.0.6-Gbt3igiK5MQ1kU7dtfBy79Control.Monad.ManagedmanagedManaged"mmorph-1.0.9-FN6969ScYrcFFdt06FG8PControl.Monad.MorphMFunctorhoistMMonadembedtransformers-0.5.2.0Control.Monad.Trans.Class MonadTransliftData.Functor.ConstantConstant getConstant/pipes-concurrency-2.0.11-BVz7EIY8MtMJLQEEWLveTLPipes.ConcurrentBufferBoundedSingle UnboundedLatestNewestNewOutputsendtoOutput fromInputspawnspawn' withSpawn withBuffer unboundedboundedlatestnewest"stm-2.4.5.0-15FdumhhnVEKazIoQZDzp1Control.Concurrent.STM.TVar mkWeakTVar"pipes-4.3.4-LhoVaiu4ckeA4KnqRhqX9uPipes.InternalXProxy Pipes.Core Consumer' Producer'Effect'ConsumerProducerEffect runEffectPipes EnumerabletoListTListTSelect enumerateyieldfor~><~await>~~<cat>->runListTnexteacheverydiscard<-<PipeInputrecv mvc-1.1.3-3AjG6EiizB4HzUYY1GawJp MVC.Prelude outHandleinHandleoutShowoutLines stdoutLinesconsumertickinReadinLines stdinLinesproducer forkManagedMVC generalizeMVCrunMVCasPipehandlesasFoldasSinkkeepsasInput ControllerViewModelMModel Pipes.Preludeloop