13000>n<15000 on MEX without NAMES with pretty printed