induction.1.res.oracle 461 Bytes