jlamp_array_CVC4,1.5_WP.oracle 3.24 KB