../../Task/Matrix-transposition/ACL2