jlamp_array_CVC4,1.5_SP.oracle 3.57 KB