src/distrib/notes/pegasos
