random collection of lemmas

6 jobs for ci/msammler/list in 10 minutes and 54 seconds (queued for 1 second)