#!/bin/sh
exec ./holtrace-worker theorems "$@"