array_records_CVC4,1.5_SP.oracle 7.79 KB