Exact solution of the facilitated totally asymmetric simple exclusion process. (4th December 2019)