Find 34-sets that prove the sharpness of Proposition 3.

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

Input file: 9-spaces.txt.gz

Main file: prop_3_main.c

Download all: prop_3.zip