Using the input generator (Version MaX-5.1)