All 70 ψ-numbers occur in four resolvable spaces of cardinality 11.

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

Main file: prop_16_main.c

Download all: prop_16.zip