0>n<13180 on MEX without pretty printed