		polyhedral labeling
			labeling.lisp		*
