top := 12;
read `catpolys.mpl`;