9)zrЛG6̧ --user--package-db=clear--package-db=globalH--package-db=/Users/niki/.stack/snapshots/x86_64-osx/lts-8.9/8.0.2/pkgdbe--package-db=/Users/niki/liquidtypes/liquidhaskell/.stack-work/install/x86_64-osx/lts-8.9/8.0.2/pkgdb_--libdir=/Users/niki/liquidtypes/liquidhaskell/.stack-work/install/x86_64-osx/lts-8.9/8.0.2/lib_--bindir=/Users/niki/liquidtypes/liquidhaskell/.stack-work/install/x86_64-osx/lts-8.9/8.0.2/binb--datadir=/Users/niki/liquidtypes/liquidhaskell/.stack-work/install/x86_64-osx/lts-8.9/8.0.2/shareg--libexecdir=/Users/niki/liquidtypes/liquidhaskell/.stack-work/install/x86_64-osx/lts-8.9/8.0.2/libexecc--sysconfdir=/Users/niki/liquidtypes/liquidhaskell/.stack-work/install/x86_64-osx/lts-8.9/8.0.2/etcw--docdir=/Users/niki/liquidtypes/liquidhaskell/.stack-work/install/x86_64-osx/lts-8.9/8.0.2/doc/liquid-fixpoint-0.6.0.1x--htmldir=/Users/niki/liquidtypes/liquidhaskell/.stack-work/install/x86_64-osx/lts-8.9/8.0.2/doc/liquid-fixpoint-0.6.0.1{--haddockdir=/Users/niki/liquidtypes/liquidhaskell/.stack-work/install/x86_64-osx/lts-8.9/8.0.2/doc/liquid-fixpoint-0.6.0.1)G--dependency=ansi-terminal=ansi-terminal-0.6.2.3-4HPxin1iv6RAndS8lH3nzo --dependency=array=array-0.5.1.1I--dependency=ascii-progress=ascii-progress-0.3.3.0-AaLvoyEtYmuH04MiSlDfRY5--dependency=async=async-2.1.1-4n6HEMPJR2eJK0JpvCfuPKB--dependency=attoparsec=attoparsec-0.13.1.0-KwckfZOQnr04d9ofoJ9Hh4--dependency=base=base-4.9.1.0?--dependency=bifunctors=bifunctors-5.4.1-LZeQTL0Uaws6v2aJY5STuc"--dependency=binary=binary-0.8.3.04--dependency=boxes=boxes-0.1.4-6YjYnmNJvyiGUQgGc0o5m+--dependency=bytestring=bytestring-0.10.8.19--dependency=cereal=cereal-0.5.4.0-BsAGxfp8yAs3CiRo2E875e;--dependency=cmdargs=cmdargs-0.10.17-IWa8ygdJhnJBShkQXN8V9I*--dependency=containers=containers-0.5.7.1$--dependency=deepseq=deepseq-1.4.2.0(--dependency=directory=directory-1.3.0.07--dependency=dotgen=dotgen-0.4.2-BZVF2GHTiQa3V3DtnOX8Xh2--dependency=fgl=fgl-5.5.3.1-BBO2AKBsFGnFCFJiVxJizG--dependency=fgl-visualize=fgl-visualize-0.1.0.1-GczPFReGtq8B1TZwh6G6nq?--dependency=filemanip=filemanip-0.3.6.3-39GGNCiHahb1wSL6fkG6wy&--dependency=filepath=filepath-1.4.1.1&--dependency=ghc-prim=ghc-prim-0.5.0.0=--dependency=hashable=hashable-1.2.6.0-3EXxoqeEgbfAKr6aGkye6x9--dependency=intern=intern-0.9.1.4-L6DPHi71I8uFQt9sdHfbWxD--dependency=liquiddialog=liquiddialog-0.1.0.0-CyBlNoz0Pr8MkSYl0qd8HE--dependency=located-base=located-base-0.1.1.0-HUdCVrbsrYd4xCcb0zuvg31--dependency=mtl=mtl-2.2.1-BLKBelFsPB3BoFeSWSOYj6=--dependency=parallel=parallel-3.2.1.1-KQJHWCcq2Ka569Stb10nhxA--dependency=parallel-io=parallel-io-0.3.3-GsWimZpahdBADo23efeHtf8--dependency=parsec=parsec-3.1.11-113irVHGgd88sRnywByDNw"--dependency=pretty=pretty-1.1.3.3$--dependency=process=process-1.4.3.0/--dependency=syb=syb-0.6-IcoSwlPi2Nx4zSqMmorFPS5--dependency=text=text-1.2.2.1-Ji7hMs2U4BkBwavd4taEVRC--dependency=text-format=text-format-0.3.1.1-IdImYtolSdoC3n5Y2CJ8aG--dependency=time=time-1.6.0.1.--dependency=transformers=transformers-0.5.2.0U--dependency=unordered-containers=unordered-containers-0.2.8.0-1XEErQCPPPc2SEtcHHNx9o --ghc-options-O0--enable-tests--enable-benchmarks%,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-KwckfZOQnr04d9ofoJ9Hh4 base-4.9.1.0'bifunctors-5.4.1-LZeQTL0Uaws6v2aJY5STucbinary-0.8.3.0!boxes-0.1.4-6YjYnmNJvyiGUQgGc0o5mbytestring-0.10.8.1%cereal-0.5.4.0-BsAGxfp8yAs3CiRo2E875e&cmdargs-0.10.17-IWa8ygdJhnJBShkQXN8V9Icontainers-0.5.7.1deepseq-1.4.2.0directory-1.3.0.0#dotgen-0.4.2-BZVF2GHTiQa3V3DtnOX8Xh!fgl-5.5.3.1-BBO2AKBsFGnFCFJiVxJiz,fgl-visualize-0.1.0.1-GczPFReGtq8B1TZwh6G6nq(filemanip-0.3.6.3-39GGNCiHahb1wSL6fkG6wyfilepath-1.4.1.1ghc-prim-0.5.0.0'hashable-1.2.6.0-3EXxoqeEgbfAKr6aGkye6x%intern-0.9.1.4-L6DPHi71I8uFQt9sdHfbWx*liquiddialog-0.1.0.0-CyBlNoz0Pr8MkSYl0qd8H+located-base-0.1.1.0-HUdCVrbsrYd4xCcb0zuvg3 mtl-2.2.1-BLKBelFsPB3BoFeSWSOYj6'parallel-3.2.1.1-KQJHWCcq2Ka569Stb10nhx(parallel-io-0.3.3-GsWimZpahdBADo23efeHtf$parsec-3.1.11-113irVHGgd88sRnywByDNwpretty-1.1.3.3process-1.4.3.0syb-0.6-IcoSwlPi2Nx4zSqMmorFPS#text-1.2.2.1-Ji7hMs2U4BkBwavd4taEVR*text-format-0.3.1.1-IdImYtolSdoC3n5Y2CJ8aG time-1.6.0.1transformers-0.5.2.03unordered-containers-0.2.8.0-1XEErQCPPPc2SEtcHHNx9o exe:fixpoint