Create p4.sage

Timings in the README.md