lumpability confirmed exactly: phi(L)=aL/(aL+k) for 5 random instances x 3 values of L (level 3, MM collapsed)
