amos 3.1.0 amos2sq