induction.2.res.oracle 461 Bytes