/* 2012 (C) Jussi Rintanen  */

void dimacsheader(FILE *,int,int);