0>n<13150 on MEX without pretty printed