d8002dynwp>J Jͳ^\raAz(ʻZ`T-|3r 3 !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQR$S%T%U&V(W*X/Y0Z1[;\ H]I^L_L`LaNbNcNdOeRf1$g%h%i%j%k%l%m%n%o%p%q%r%s%t%u%v%w%x%y,z,{,|,},~479>CCDJKL_L`QQR -%i(8Vڹ,a%xL] u=Z7?%> igډ]-G&c7%Zp=~ix3<%*̦S Щj%v7U譆 %'y/rʁ0%U` lGT;_Ĥ9%{/`<%'$RJ%"(i{#wq2 v<kT"wy: =zA^J{G:OwɍE#N"3o !)56DޗpO{Su[Nz~7G,,/&+e~V٬._f B izQAbb7Juc^G6Y o'[ 8Q8B!dh{7f3n% ۧ\`;{ PG46d).\An&20*+Bz:A4YPdnH_$cF}z-.W2zR[Fm}7d z?GY, u4hn\Dgh-Š@<c~ s80L"H:&:NňG 4-!Qfg/ڇu~;x;җ- /@F҉sn^W`ǰx00n+N :k?>sR]t$sTq]= 2q2py nnZNF RĨT&ruɡm/u's~{ s]1wy]) 񊭱 X@Վ “B 1DzԽ3VoGeq%$a#r ~q :Ʀ&X ct3=ubCJְ|9buzl G[%Ej󞷿vRTYx l+0; }i19aȯ2Vfg_'___`d9%l=LeRdz!lhqk1M22kK91xRcb?@,ŦA@I3>,ߖvl0e) y-]\CÛ{d(0-DwCkJr^[p59 }mHUKVYP|#A(GcX&EùCS>O#wCP^4zn܆94]rW;X2~1>NT(Xm/H}ϴ,0aA,\ CpAe&wRtDv%_fc/D8t$Ǘu)R$zgOKD%08I:e?M7CD-X.բo9Bw$yRyo@,ƙ]}A0xO"4Ie[І"1O{6"*\/؁XmGzwEFBQw$0UE @m1#K VA a=@P@)9]̧+C =fsDmp8)OESrN@~Oϗ9|mU~7QQ+F]+;UMQS}262tX      H L # SMT Queries (Valid)0sQ>9 6> L # SMT Brackets6Wf:<~6> L # Refine IterationsHn)|_< bI<6? L  # Constraints M-H+L ? {-# INLINE  7 8 9 M-H+ :@> 6 ; 0K,̛6~DL0L@~ L }6EI:}t(ڙ L0L@ L  numVald = Ɉʨkͷ}^{@L0LA L  numChck = omdFqL0LAY L  numBrkt = 7PMhNW*aL0LA L  numIter = hPpAR pL0LA L , #@9)?L0LB, L  numCstr = welo?KL0LBr L Stats { M-H+ 6B  7 < M"L M-H+L0 :CO =  > M-H+L :D {-# INLINE0L 6M ;#(M{Eo ? 9932746166652698162 7963164310683513829 @ A+H([^14 ME B 'SS @'t0/IP!M{F ? 6845719254495228110 6547769851838919737 @ C8Iʡ"MF B 'Stats/ɀ-i= ϫ#M{G ? 8703098422280550964 16134095588561886764 @ D;w;T'o|OK$MH  B  SolverStateR41|VlK%M{H ? 17142644221330280987 16821818564447507799 @ E$e@ M(-lp&MI; B Stats!iB ۜ'MIx F G Hv@^v~y`5#(MI B Language.Fixpoint.Solver.Monadc>fw9Yh)MJL B .liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf M-H+* MM  L0  M {-# INLINE0  I+ J  $ ( M   K+ J  $ ( M   L+ J  $ ( M   M+ J  $ ( M   N+ J  $ ( M"  s~9<N# ,LLLLLL66Q {-# INLINE0LLLLLL6-:O@6 LL O LL P Q 0 LL R LL S Q 0 LL R LL T Q 0 LL R LL U Q 0 LL R LL V Q 0 LL W ML ML ML ML ML N@L N@ 11+M -M- ML X- ML YڗHmnv./LM0LM1LMZ[/0 1LdLDMMLdLD1S   {-# INLINE0 M-H+2L6 L.M   M L0M MM-LLL2MMLJ MMML*LL2MMLJ MMML*LLL2MMLJ MMML*LLL2MMLJ MMML*LL2MMLJ MMML*L!b_fvd13LMLM\]Lr\ԘQ@Oa4LM5^_ 678768 M-H+LMLLLLLÿ,),  cO9` LW  a` ] bL] c]LrLd 3:`]LdLDMMLdLDL]Y -`];LdLD<^+d=>= e< f;>?@ g<-?ABC e< hBDEFEC_9JVVJtG1LMi1` L01Z =??ͽ7@@H1LM`i1 L01Z|/nΧJ{<I1LML0`i1 L01ZSGSD,?XWJ _[ j ] b_] c]Lr_n`GWiE휊 _K]LdLDMMLdLD_]\L]LdLDL+d=> kL#uUcٌ_\ L ]I= =+ M,MF;[ L ]= =+ M7n1A߀O  L ^= =+ MpBsSl@d L _,= =+ M'7u*Y L _= =+ MS6_IA+tl9M/LM0LM1LMZ[/0L 1Lr1a   l/LMLM0LMLM1LMLMZ[/0L 1 b1+:/{VK N/LM0LM1LMZ[/0L 1LdLDMMLdLD1d:   {-# INLINE0/LM0LM1LMZ[/0LO 1PLdLD m/01OP0dd@XQ e   n ] b] c]Lr8MqB57jl R]LdLDMMLdLD]fB L]SLdLD eL+d=>= oS>?@?@L=fv%1iqԟTpf q (set-option :smt.mbqi true)}p'0W7]_]g)=]=+d>A k釰,DKpEYQo>6]^]g =]=+d>A>#U (ե@qq8] ]hv=]=+d>AAo+ᅛ`aV\TU  i1 r ] b ] c]Lr  _x^1 =V]LdLDMMLdLD ]j#L]LdLDL+d=>>LV4v =z|WL Lk sL ] bL] c]LrLtEN{?G^XL]LdLDMMLdLDL]oYL];LdLDY+M @]Zd=>>[ t=  N@ 1;@Zd=>>[ M@M- uvL4wZx\ N@CLDL4w\;>?@@[MB]]d=AA^ t=  N@ 1?B]d=AA^ MBM__yz{ |L, }?ABCE]]d=DD^ t=  N@ 1BE]d=DD^ MEL% ~  L L6 p`aLL6 bL% c  cba i>M=d[^.9GHIJMQUW3%wd%we%wf2%wd2g2h2i2j kCl*%mCnCoCpCqCrCs    t%Tu%v,%w%x:y' :z"$&:{)(|%}%~%O4 ::O5    KN.RT L`VX5%"%""%%"2.liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2RhfLanguage.Fixpoint.Solver.MonadLanguage.Fixpoint.GraphLanguage.Fixpoint.Graph.DepsLanguage.Fixpoint.Graph.Indexed!Language.Fixpoint.Graph.Partition!Language.Fixpoint.Graph.ReducibleLanguage.Fixpoint.Graph.TypesLanguage.Fixpoint.MiscLanguage.Fixpoint.Smt.InterfaceLanguage.Fixpoint.Smt.SerializeLanguage.Fixpoint.Smt.TheoriesLanguage.Fixpoint.Smt.Types!Language.Fixpoint.Solver.SanitizeLanguage.Fixpoint.SortCheckLanguage.Fixpoint.TypesLanguage.Fixpoint.Types.Config#Language.Fixpoint.Types.Constraints$Language.Fixpoint.Types.EnvironmentsLanguage.Fixpoint.Types.ErrorsLanguage.Fixpoint.Types.Names#Language.Fixpoint.Types.PrettyPrint#Language.Fixpoint.Types.Refinements!Language.Fixpoint.Types.SolutionsLanguage.Fixpoint.Types.SortsLanguage.Fixpoint.Types.Spans%Language.Fixpoint.Types.Substitutions Language.Fixpoint.Types.TriggersLanguage.Fixpoint.Types.UtilsLanguage.Fixpoint.Types.VisitorLanguage.Fixpoint.Utils.Files Language.Fixpoint.Utils.Progress,ansi-terminal-0.6.2.3-4HPxin1iv6RAndS8lH3nzo array-0.5.1.1-ascii-progress-0.3.3.0-AaLvoyEtYmuH04MiSlDfRY"async-2.1.1-4n6HEMPJR2eJK0JpvCfuPK*attoparsec-0.13.1.0-KwckfZOQnr04d9ofoJ9Hh4basebinary-0.8.3.0!boxes-0.1.4-6YjYnmNJvyiGUQgGc0o5mbytestring-0.10.8.1%cereal-0.5.4.0-BsAGxfp8yAs3CiRo2E875e&cmdargs-0.10.17-IWa8ygdJhnJBShkQXN8V9I-concurrent-output-1.7.9-3kS8cAeEcLcYjDfj5flxQcontainers-0.5.7.1+data-default-0.7.1.1-7EGYJX2YWqWJRbPFUHNoCr0data-default-class-0.1.2.0-GsXqKN6o1X9jr0fF5qCVD=data-default-instances-containers-0.0.1-bob6IQGdJq92c061H46zK9data-default-instances-dlist-0.0.1-FKnZBeovJMk4M89wQxDhjl>data-default-instances-old-locale-0.0.1-9zaGDEmgOixKkmLylWdN5ldeepseq-1.4.2.0directory-1.3.0.0#dlist-0.8.0.2-6Wnps4GD7EFnRucVzXIFD0double-conversion-2.0.2.0-FB9lbzCS3eNEibeP1aq5Xr&exceptions-0.8.3-ADEDRATtUrMK1JW4zMQ9U!fgl-5.5.3.1-BBO2AKBsFGnFCFJiVxJizfilepath-1.4.1.1ghc-boot-th-8.0.2ghc-prim'hashable-1.2.6.0-3EXxoqeEgbfAKr6aGkye6x integer-gmp/integer-logarithms-1.0.1-IEHCuEd5sG4JjSjlx7m5JF%intern-0.9.1.4-L6DPHi71I8uFQt9sdHfbWx+located-base-0.1.1.0-HUdCVrbsrYd4xCcb0zuvg3 mtl-2.2.1-BLKBelFsPB3BoFeSWSOYj6)old-locale-1.0.0.7-KGBP1BSKxH5GCm0LnZP04j$parsec-3.1.11-113irVHGgd88sRnywByDNwpretty-1.1.3.3'primitive-0.6.1.0-6AbSTw9JXz141LE5p6LGHprocess-1.4.3.0*scientific-0.3.4.11-KV39KlwSGDKD4auxhPQ5mB$split-0.2.3.1-FWyXC6nhV0H3AfM8IzrEFk"stm-2.4.4.1-JQn4hNPyYjP5m9AcbI88Vesyb-0.6-IcoSwlPi2Nx4zSqMmorFPStemplate-haskell,terminal-size-0.3.2.1-LL700oIgYTEEtJWQuzY2Y4#text-1.2.2.1-Ji7hMs2U4BkBwavd4taEVR*text-format-0.3.1.1-IdImYtolSdoC3n5Y2CJ8aG time-1.6.0.1transformers-0.5.2.0 unix-2.7.2.13unordered-containers-0.2.8.0-1XEErQCPPPc2SEtcHHNx9o%vector-0.11.0.0-LMwQhhnXj8U3T5Bm1JFxGData.Attoparsec.Text.InternalGHC.Base GHC.FloatData.Binary.GenericData.ByteString.Builder$System.Console.CmdArgs.Explicit.Help!Data.Default.Instances.ContainersData.Default.Instances.DList Data.Default.Instances.OldLocaleData.Hashable.GenericControl.Monad.STMData.Generics.Instances Data.TextData.Text.LazyData.Text.ShowData.Time.Calendar.GregorianData.Time.Format.ParseData.Time.LocalTime.LocalTimeControl.Monad.Trans.ErrorData.Vector.Fusion.BundleData.Attoparsec.Internal.TypesControl.Applicative Data.Complex Data.EitherData.Functor.ComposeData.Functor.ConstData.Functor.IdentityData.Functor.ProductData.Functor.SumData.List.NonEmpty Data.MonoidData.SemigroupData.Type.Equality Data.Version Data.VoidGHC.Exts GHC.GenericsGHC.IO.Exception GHC.TypeLitsData.IntMap.BaseData.IntSet.Base Data.Map.Base Data.Sequence Data.Set.Base Data.DList!Data.Graph.Inductive.PatriciaTreeGHC.LanguageExtensions.TypeData.Interned.Internal.Text#Text.PrettyPrint.Annotated.HughesPJText.PrettyPrint.HughesPJControl.Monad.PrimitiveLanguage.Haskell.TH.SyntaxSystem.Console.Terminal.CommonData.HashMap.Base Data.HashSet Data.VectorControl.Exception.Base Control.Monad Data.Foldable Data.Functor Data.List Data.Maybe Data.OldListData.Traversable Data.TupleGHC.ErrGHC.ListGHC.NumGHC.ShowPreludeControl.DeepSeq GHC.Classes GHC.Types SolverInfosiQuery groupListmapSndcleanupContextmakeContextWithSEnv smtAssertsmtAssertAxiom smtBracket smtCheckSat smtCheckUnsatsmtDecl smtDistinctsmtWrite axiomLiterals theorySymbolsContexttsInterp symbolEnv elaborateConfigallowHO allowHOqssrcFileGInfoHOIassertsbscmdLitshoInfoSEnvSolEnv toListSEnvSymbolDocTablePTablepprintExprPNotRRexprisFunctionSortedRefttrueReftCandSort Triggered progressTickControl.Monad.State.ClassControl.Monad.State.StrictControl.Monad.Trans.Class Control.Monad.Trans.State.StrictData.HashMap.StrictnumIter$fGenericStats$fGenericStats1xStatsnumCstrnumBrktnumChcknumValdwwwww1ww2ww3ww4ww5$fGenericStats_$cfrom$fGenericStats_$ctoww6ww7ww8ww9ww10ww11dtdt1dt2dt3dt4dt5dt6dt7dt8dt9 $fNFDataStats$fNFDataStats1$fNFDataStats2a1tpltpl1tpl2tpl3tpl4$fNFDataStats_$s$dmrnfeta $fPTableStats$fPTableStats1$fPTableStats10$fPTableStats11$fPTableStats2$fPTableStats3$fPTableStats4$fPTableStats5$fPTableStats6$fPTableStats7$fPTableStats8$fPTableStats9$fPTableStats_$cptable$fPTableStats_s$fPTableStats_s1$fPTableStats_s2$fPTableStats_s3$fPTableStats_s4 $fShowStats $fShowStats1w1 $fShowStats2 $fShowStats3 $fShowStats4 $fShowStats5 $fShowStats6 $fShowStats7 $fShowStats8 $fShowStats9$fShowStats_$cshow$fShowStats_$cshowList$fShowStats_$cshowsPrecw2$tc'SS$tc'SS1 $tc'Stats $tc'Stats1$tcSolverState$tcSolverState1$tcStats $tcStats1 $trModule $trModule1 $trModule2 $w$cptablewild $w$cshowsPrecp $wrunSolverMbca Rep_StatsSolveM SolverStateSSssCtxssBindsssStatscheckSat checkSat1eta1medsds1ipvipv1ds2ipv2ipv3ds3ipv4ipv5filterRequired filterValidfilterValidGradualgetBinds getBinds1s1 runSolverM runSolverM1w3w4 smtEnablembqismtEnablembqi1ssmtEnablembqi2statsstats1tickIter tickIter1newSccwild1wild2var#wild3wild4pr2SPEC/Language.Fixpoint.Solver.Monad $dmrnf @ Stats $dGNFData $dGeneric$dNFData:*:N:K1N:M1NFDataN:NFDataGNFData N:GNFDataN:PTableDoc$wlenAcc TextBesideNoAnnotEmptyN:Doc TextDetailsStr N:DocTableStringShowSshows22 showList__TyConTrNameSModule$wlvl$wshowSignedIntshows7shows4StateTN:ION:StateT checkValid6checkValidWithContext4 smtCheckSat1checkValidWithContext2RawunpackCString#pbRef GHC.IORefN:IORefSystem.Console.AsciiProgress ProgressBar GHC.STRefSTRef%System.Console.AsciiProgress.InternalProgressBarInfoControl.Concurrent.ChanChan $wwriteChantick2$dmrnf