../ cerl.chunk 26-Feb-2020 22:50 23015 cerl_clauses.chunk 26-Feb-2020 22:50 3082 cerl_trees.chunk 26-Feb-2020 22:50 2278 compile.chunk 26-Feb-2020 22:50 10594