Verify Figure 1.

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

Main file: thm_1_main.c

Input file: 6-spaces.txt

Download all: thm_1.zip