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