Call a set of distinct integers 1<n1<⋯<nk with associated congruence classes ai(modni) a distinct covering system if every integer satisfies at least one of these congruences. A minimal distinct covering system is one such that no proper subset forms a covering system.
Let F(x) count the number of minimal distinct covering systems with all moduli in [1,x]. Estimate F(x).