Added laxnum.t, which got deleted by mistake