\input{Combinatorics.tex}

\input{ListNat.tex}

\input{UnionClosed.tex}

\input{Family.tex}

\input{Frankl.tex}

\input{FamilyImpl.tex}

\input{UnionClosedImpl.tex}

\input{WeightsShares.tex}

\input{WeightsShares_Frankl.tex}

\input{WeightsShares_FCFamily.tex}

\input{WeightsShares_NotFCFamily.tex}

\input{SomeShareNegative.tex}

\input{WeightsSharesImpl.tex}

\input{SomeShareNegativeImpl.tex}

\input{IsomorphicFamilies.tex}

\input{NonIsomorphicFamilies.tex}

\input{NonIsomorphicFamiliesImpl.tex}

\input{IrreducibleFamilies.tex}

\input{IrreducibleFamiliesImpl.tex}

\input{Covering.tex}

\input{CoveringImpl.tex}

\input{LPartitioning.tex}

\input{LPartitioningImpl.tex}

\input{LPartitioningIrreducible.tex}

\input{LPartitioningNonFCsCovered.tex}

\input{LPartitioningNonFCsCoveredImpl.tex}

\input{LPartitioningIrreducibleNonFCsCovered.tex}

\input{LPartitioningIrreducibleNonFCsCoveredImpl.tex}

\input{FC6_Data.tex}

\input{FranklImpl.tex}

\input{FCTactics.tex}

\input{FC6_Status.tex}

\input{FC6.tex}

%%% Local Variables:
%%% mode: latex
%%% TeX-master: "root"
%%% End:
