lemma.res.oracle 2.46 KB