Examples in the msolve input file format