/usr/bin/get_givens is in ladr4-apps 0.0.200911a-2.
This file is owned by root:root, with mode 0o755.
The actual contents of the file can be viewed below.
1 2 3
#!/bin/sh grep '^given #' | sed -e 's/.*): [0-9]* //' -e 's/\. .*/./'