vtxlar 3 } k 4 * /(