jlamp_projections_CVC4,1.5_SP.oracle 1.6 KB