shift_lemma.0.res.oracle 2.11 KB