#!/usr/bin/env bash # # Usage: gen-statetf.sh if [ $# -lt 4 ]; then echo "Usage: gen-statetf.sh " exit 0 fi cat <