#if USE_ASSIGNMENT_TRACKING
   if (results->assignOut != NULL && results->repeatCount < results->maxAssignRepeats && results->assignCount < results->maxAssigns) {
	    int vIdx;
			results->assignCount++;
      if (results->firstAssign) {
	      if (results->firstRepeat) {
				   fprintf(results->assignOut, "v %d\n", n);
					 results->firstRepeat = 0;
				}
		  	for (vIdx = 1; vIdx <= n; vIdx++)
	   		   fprintf(results->assignOut, "%d ", assign[vIdx]);
   	    fprintf(results->assignOut, "\n");
				results->firstAssign = 0;
			}
	 else
	    fprintf(results->assignOut, "%d\n", xflip - 1);
	 }
	 #endif