/lab1_datalab/bddcheck/