  Using FSA and the construction algorithm, we generated a list of surjective
span 6 cellular automata as a modest sample for our FDense program. We wanted
to experimentally quantify Mike Boyle's conjecture which states that the
jointly periodic points of one-dimensional cellular automata are dense.
Furthermore, we wanted to know if the cardinality of cellular automata on N
symbols is greater than or equal to the square root of N.
