cnf_convert.py