[1 of 9] Compiling REPL             ( REPL.hs, REPL.o )
[2 of 9] Compiling Util.Sort        ( Util/Sort.hs, Util/Sort.o )
[3 of 9] Compiling Util.Digraph     ( Util/Digraph.hs, Util/Digraph.o )
[4 of 9] Compiling LJTFormula       ( LJTFormula.hs, LJTFormula.o )
[5 of 9] Compiling LJT              ( LJT.hs, LJT.o )
[6 of 9] Compiling HTypes           ( HTypes.hs, HTypes.o )
[7 of 9] Compiling HCheck           ( HCheck.hs, HCheck.o )
[8 of 9] Compiling Help             ( Help.hs, Help.o )
[9 of 9] Compiling Main             ( Djinn.hs, Djinn.o )
Linking Djinn ...
<<ghc: 1400468344 bytes, 2680 GCs, 9524053/15265792 avg/max bytes residency (24 samples), 39M in use, 0.00 INIT (0.00 elapsed), 7.31 MUT (12.79 elapsed), 2.97 GC (2.93 elapsed) :ghc>>