#!/bin/bash

java -ea -jar FracLangMain.jar $*