array_mono_CVC4,1.5.oracle 3.8 KB