Produce header file local_orderings_274.h

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

Main file: local_orderings_274_main.c

Download all: prop_8.zip