mip_06_query_trivial.sh

#!/bin/bash

python mip_query.py | egrep "ternary.*'trivial': True" | cut -d ' ' -f1