-rwxr-xr-x 47 holtrace-20250624/holtrace2pt-theorems raw
#!/bin/sh
exec ./holtrace-worker theorems "$@"