shift_lemma.1.res.oracle 2.14 KB