Sat, 14 May 2005 20:56:53 +0000ContentReader
deba [Sat, 14 May 2005 20:56:53 +0000] rev 1423
ContentReader

Retrieve information from the input file.

Sat, 14 May 2005 17:40:45 +0000Six-coloring in plan graphs.
deba [Sat, 14 May 2005 17:40:45 +0000] rev 1422
Six-coloring in plan graphs.