#!/bin/bash
pushd reasoning > /dev/null
./test
popd > /dev/null
