The factorization of $F_7$