Loaded package environment from /home/liquidhaskell/.ghc/x86_64-linux-9.12.2/environments/default
[1 of 1] Compiling Intro            ( resources/custom/liquidhaskell/sandbox/1786383322_618.hs, resources/custom/liquidhaskell/sandbox/1786383322_618.o )

**** LIQUID: SAFE (21 constraints checked) *************************************