#!/bin/bash

dist/build/final/final +RTS -K3000000000 -RTS $@