array_records_CVC4,1.5.oracle 16.5 KB