Verify k- and k_f-numbers for each GE monoid.

Header files: set_operators.h, set_families.h, set_relations.h, collapses.h, topologies.h

Main file: thm_10_main.c

Input files: 2-spaces.txt, 3-spaces.txt, 4-spaces.txt, 5-spaces.txt, 6-spaces.txt, 7-spaces.txt, 8-spaces.txt

Download all: thm_10.zip