32fedcb678902efa9cd76305fa7805a7  tex3patch