#!/bin/sh

./skipperdee +RTS -M59m -RTS $1 $2
