T6027ghci.stdout 42 Bytes