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