#!/data/data/com.termux/files/usr/bin/sh

grep '^given #' | sed -e 's/.*): [0-9]* //' -e 's/\.  .*/./'
