7 this latter algorithm is also work time optimal on the crcw pram model