BDD file output