Mod2sparse_mincol   64 make-gen.c           else if (strcmp(argv[4],"mincol")==0)  strategy = Mod2sparse_mincol;
Mod2sparse_mincol 1050 mod2sparse.c         case Mod2sparse_mincol: