Sanity check: if S is a maximal non ternary subset of {1,..., N} then F N is given by the cardinality of S