Add all the code of muphic version 7.