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