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

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