Bit full-decomposition sequent. machine by Jozwiak