MarcoCostantini

The first line of OpenMath is not always the same. for instance this is valid OpenMath, but the first line is not only <OMOBJ> ``` 1 ```

now, with Ubuntu 20.04, `sudo apt install axiom` works