demo/coloring.lgf
Tue, 13 Sep 2005 12:41:02 +0000 Input file for coloring.