úÎd9001!Ü<„™‡ƒð›øù±Õ¼ëâ ƒÞ ³ä†ÄÔÃÌ­ €¹×ŸŽÃ‘…´°Žñ‡ÖÜÓ¶ ÷ç¥î¬ ˆÄ®Ö½œ–ضýA´Ã”†Ÿìšg‰Á¶ðßµ¡Ü“ñ¾Öþ„’ûÍÉÂǵ­‚‹­‡À̈‹«§šB€#  !"#$%&' (")"*"+","-"./!0!123!45#678"9:;<=>?@ABCDEFGHIJKL M N O P Q RSTUVW X!1!0YªâÌÍ©‡‚e»¿·©¹€ÙHZ—–٨ɿ»µc«¾ÿš‚¢åÌ[࣑Ÿ¤ÐÈÞÉîèõçÇ™\ƒÚ즶ð˜ñëПŸÖÈðœ‘]Ž©é¹ÁéîÆãà¸ýÎùôá8¸ÔÌ©¿Ý”Ž3‹úغ±ÓÝ´=^¼ ¦ŠÚÅìèñº‚Ú”¿À“_ùžÈñ¬õñ˜×ä¡ØÀ˵ˆ¸.`€óÖñèí²ò ßƞϧ¼¿a囧è´ñÎú Šé®šÿÄŽ*bÛ»Œ˜À߃çÁÉþ—ÚúñÃÁ cÏìâºî’ØÄ4ƒß¾›³åí8 d­ìÛªá땱×ý–ãÆ‚—°Ye±“ØŒÛé… ›ƒ’Ô™Œå¿<fˆø’ðóß¾ô‘‡ÑÅ‹äîó¬×g™ÐɄϳ¸¡Á¹‘¶Ò“šáöG¥Ÿô깧‹ò„†åŽ£„²ç‘v(-îðƒÀ‚î‡åþƒ»×Ĺ¢ñ™ègþ€€ì€ì   žúǔǨˆ‘‚ŸÏ÷€´­‚¬oœ„€ì‡€ì  ò§Ãá„Åž•P»óæ÷®ßÛâ‹ ê‚€€æ  Language.Fixpoint.Utils.Progressµ‚Ðüº”øÍÙÏ“´‰ò²,„€ì‡€ì  ÝÔ¬à絤™‰’¯‰Õ¥" z‚€€æ .liquid-fixpoint-0.8.10.7-FgCIsJqmD5EU4mf5QzNnF½ä¾ÿð‘½ùíûÈ×íŽé¢§ à ¸€€æ  {-# NOINLINE Á¶’Æ߬œùŽÎÁÌÖ°—éò€€æ  Ôݨ¯æéýŠ!ѧÛ÷‰ø¼Ø†DÜ‚€ì䀀æÊ€€æ؀잀€ì¾€æÞ€ì䀀æÊ€€æÜ‚€ìh䀀æÊ€€æ ¸€€æ ij ž‡€òÊ€€æ¸€€æ jhk†€€ðlmmn•€€ìl €€î˜€€ìo olš·˜ó­Ô˜Íÿç˨¶ÍûœÃÜ‚€ìž€€æò€€æ Ü‚€ìž€€æ ¢ ÜíÚª£Ž×ëóÕõŽÿò4 oÜ‚€ìž€€æÜ‚€ì䀀æÊ€€æ؀잀€ì¾€æÞ€ì䀀æÊ€€æÜ‚€ìpž€€æÜ‚€ìh䀀æÊ€€æ ij ž‡€òÊ€€æjhq†€€ðlmmnl €€î     pr’€€ìs é‚€ìs  –€€ìŒ€€æ lk†€€ðtu ¸€€æ rv  ‡€òÊ€€æ¸€€æ v ™€€ì utww €€î     pr’€€ìs é‚€ìs  –€€ìŒ€€æ lk†€€ðtu ¸€€æ rv  ‡€òÊ€€æ¸€€æ v ™€€ì utww €€îìåˈ®Ø¨¦¬Š‚â„ÛËÔ”w ¬ž€€æ’€€ì “€€ì дöÑ眊æü¾þñŸ´ìþ´©Ç 瀀惀€ì „€€ì .î‹¿³êæÌ¡àËò¤â’Š¾ '´€€æ€€æ ”€€à ˜ÙØ¿ï…«‚—ò†ï„öǬ¼ m‚€€æ Working :percent [:bar]îîÖܦµ·¿|“ù¼˜­¥¿Ìh ·ò€€æ ! Å…­‰¯«á¹ãºïù‡âç—Ù]! Ü‚€ì䀀æÊ€€æ؀잀€ì¾€æÞ€ì䀀æÊ€€æÜ‚€ìh䀀æÊ€€æ ¸€€æ ij ž‡€òÊ€€æ¸€€æ jhk†€€ðlmmn•€€ìl €€î˜€€ìxxr"yz{y|#}~€$‚ %}‚€lƒ†€€ðtuu„&…†‡ˆ‰Š ç„€à‡ '‹t €€î~Œ(Ž )°€€æŽ *t¤¯§…é·Ñý”²°Ñ­É€N' ´°€€æè‚€ì ÒÕç󮘬Ô8ɧö’Чá¾j ¹°€æÞ€ìÜ‚€ìž€€æÜ‚€ìò€€æò€€æ +°€æހ찀æÞ€ìÜ‚€ìž€€æÜ‚€ìò€€æ ŽÚ迪¡é7É¿ËŠ½œ•ù€+ä°€æÞ€ìÜ‚€ìž€€æÜ‚€ìò€€æÜ‚€ì䀀æÊ€€æ؀잀€ì¾€æÞ€ì䀀æÊ€€æ°€æÞ€ìÜ‚€ìpž€€æÜ‚€ìò€€æÜ‚€ìh䀀æÊ€€æ ij ž‡€òÊ€€æjhq†€€ðlmmn  ,ò€€æ -‘°€æހ찀æހ쒰€æހ찀æÞ€ìÜ‚€ìò€€æ‘Ü‚€ìÜ‚€ì‘ò€€æ’ ’‘°€æÞ€ì .ò€€æ‘ / Ü‚€ì“䀀æÊ€€æ ž‡€òÊ€€æj“k†€€ðtu”Ü‚€ì䀀æÊ€€æ؀잀€ì¾€æÞ€ì䀀æÊ€€æ {-# INLINEÜ‚€ì•䀀æÊ€€æ •z†€€ð–— ¸€€æ rv ž‡€òÊ€€æ¸€€æ v–{†€€ð˜™™„•€€ì˜—˜€€ìoo|"}~}€#‚Œ‚Ž(š› 0›~˜ƒ†€€ðœœ—ur”t     p„’€€ìs é‚€ìs  –€€ìŒ€€æ tz†€€ð–— ¸€€æ „v  ‡€òÊ€€æ¸€€æ v ™€€ì —–w”w     p„’€€ìs é‚€ìs  –€€ìŒ€€æ tz†€€ð–— ¸€€æ „v  ‡€òÊ€€æ¸€€æ v ™€€ì —–w”w l lëÇù÷é„ߦŸi®¼ñÞ…Àƒ² 1žŸ ¡¢g£¤¥g¦§¨©_ªY«¬g­_®¯°Y±² c³ c´ cµ c¶Y·Z¸¹Zº»¼Z½ c¾¿ÀY«ZÁÂÃZÄZÅÆÇÈÇÉYÊË dÌ8Í8ÎÏÐYÑÒ.liquid-fixpoint-0.8.10.7-FgCIsJqmD5EU4mf5QzNnF Language.Fixpoint.Utils.Progress)ansi-terminal-0.11-DOUngjGM5e9DBdxKKdJoVq array-0.5.4.0-ascii-progress-0.3.3.0-IvDhgho0XVI68QREgihigY"async-2.2.4-JeDGkdQL92SGvrTcykFE1Gbasebinary-0.8.8.0bytestring-0.10.12.1&cmdargs-0.10.21-9JSptK8vQ5KGyQ5LWB6hlS#colour-2.3.6-INQpyJrfu244Q1q0HWiHAI0concurrent-output-1.10.12-Aem2Jtr7Zhc3Yofk9apCohcontainers-0.6.4.1+data-default-0.7.1.1-1iumOtCWSlyJvvL98DXmZi1data-default-class-0.1.2.0-FEqadazbCfKLPgsOi8Mq6U>data-default-instances-containers-0.0.1-JSEbkLS3sqNIFNvwGQYqcN9data-default-instances-dlist-0.0.1-BY2p7das1lV7mcl5XoNdOX>data-default-instances-old-locale-0.0.1-30xz2j2K8k2LTmEan1qWs2deepseq-1.4.5.0directory-1.3.6.1 dlist-1.0-5Bs1s5cGZBGDwrWU7LJgulexceptions-0.10.4filepath-1.4.2.1 ghc-bignumghc-boot-th-9.0.1ghc-prim'hashable-1.3.3.0-D0do58bNrPk5L3yCngfJJ3 mtl-2.2.2)old-locale-1.0.0.7-8b6vATcbl2rGNT5WzdAV1Nprocess-1.6.11.0 stm-2.5.0.0template-haskell,terminal-size-0.3.2.1-8rLUbNor4uN6iQgtxjW6lw text-1.2.4.1 time-1.9.3transformers-0.5.6.2 unix-2.7.2.2!Data.Default.Instances.ContainersData.Default.Instances.DList Data.Default.Instances.OldLocale Data.Colour!Data.Time.Format.Format.InstancesData.Time.Format.Parse Data.Time.Format.Parse.Instances&Data.Time.LocalTime.Internal.ZonedTime&Data.Time.LocalTime.Internal.LocalTimeData.Time.Calendar.GregorianData.Hashable.Generic.InstancesData.Text.Lazy Data.TextData.Binary.GenericData.ByteString.BuilderData.Text.ShowControl.Monad.STMControl.Monad.Trans.Error GHC.FloatGHC.BaseControl.Applicative Control.Arrow Data.ComplexData.Functor.ComposeData.Functor.ConstData.Functor.IdentityData.Functor.ProductData.Functor.Sum Data.MonoidData.SemigroupData.Semigroup.Internal Data.Version Data.VoidGHC.Exts GHC.GenericsGHC.IO.Exception GHC.RTS.FlagsData.ByteString.InternalData.ByteString.Lazy.InternalData.ByteString.Short.InternalData.IntMap.InternalData.IntSet.InternalData.Map.InternalData.Sequence.InternalData.Set.Internal Data.TreeData.DList.InternalGHC.ForeignSrcLang.TypeGHC.LanguageExtensions.TypeData.Hashable.ClassLanguage.Haskell.TH.SyntaxSystem.Console.Terminal.CommonSystem.Console.AsciiProgress%System.Console.AsciiProgress.Internal Control.Monad Data.Functor Data.IORef GHC.IO.Unsafe GHC.IORefGHC.RealPreludeSystem.IO.Unsafe System.Console.CmdArgs.VerbositySystem.Console.RegionsData.Default.Class GHC.Classes GHC.Typesswildvar#ds1ipvipv1wild1pndswild2iipv2ipv3var#1s2#prinfods2ds3wwww1ww2ww3ww4ww5ww6ds4wild3ds5ds6ds7ds8ds9ds10wild4ww7ww8ww9aacta1bs1$w$jwipv4ipv5ipv6ipv7ww10ww11ipv8ipv9 progressClose progressInit progressTick withProgress $trModuleModule $trModule3 $trModule1TrNameS $trModule2 $trModule4pbRefIORef ProgressBarprogressClose1N:ION:IORef GHC.STRefSTRef complete1 progressInit1ref VerbosityQuietNormalnewProgressBar1Options progressInit4$fDefaultOptions4 progressInit3 progressInit2getProgressStrLoud progressInit5 progressTick1ProgressBarInfoGHC.MVarMVar$wgetInfoStatsStats progressTick2Control.Concurrent.ChanChan $wwriteChantick2 withProgress1$wdisplayConsoleRegions $fMonadIO1idControl.Monad.Catch $fMonadMaskIO $wcomplete