array_records_CVC4,1.5_WP.oracle 8.88 KB