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