* files
      20     106     798 main.g
      37     119     943 debug.g
      72     255    2213 cnf.g
      94     421    3639 pf.g
     145     580    5026 parser.g
     167     865    5989 cnf-lemma2.g
     285    1509   10348 solver.g
     301    1321    9265 assignment.g
     360    2288   16186 conflict.g
     369    2171   13395 pf_util2.g
     409    1928   11833 lib-lemma.g
     588    2934   21003 decision.g
     589    3530   24005 init.g
     742    4002   28779 cnf-util.g
     810    4587   30228 unitprop.g
     831    3898   26977 cnf-lemma.g
     873    6696   43680 resolution.g
     982    5387   35055 pf_util.g
    1040    5813   37520 assignment-util.g

* trusted lemmas
- Kevin
decision.g:69:Define trusted _heap_parent_lem1 : Forall

- AS

- Corey

- Duckki
