anchor.diff:  			   backup)
   
   ;		  (print "Removidas as inferencias:")
  -;		    (desenha-fill-a-pix (fapix->fill-a-pix f LC LC))
  +;		  (desenha-fill-a-pix (fapix->fill-a-pix f))
   		  ))
   
   	      (fapix-remove-atribuicao! f ipix)
   	      (push ipix (fapix-natribuidos f))
  -;	      (when DEBUG
  -;		(print "Removendo a atribuicao:")
  -;		(desenha-fill-a-pix (fapix->fill-a-pix f LC LC)))
  +	      (push ipix (aref (fapix-dominio-len f) (length d)))
  +
  +;	      (print "Removendo a atribuicao:")
  +;	      (desenha-fill-a-pix (fapix->fill-a-pix f))
   	      )))))
   
       (return-from procura-retrocesso-fc-mrv-fapix (values nil testes-totais))))
  
positive.code: 		 (a-volta-len (length a-volta)))
  
  	    (setf (aref pix-a-volta ipix) a-volta)
  	    
  	    (when (numberp pix)
  	      (when (> pix a-volta-len) (setf pix-solucionavel nil) (return-from ciclos))
  	    
  	      (let* ((restricao (cria-restricao-fapix a-volta pix a-volta-len))
  		     (dominio (if (= pix 0) (list 0) (if (= pix 9) (list 1) nil))))
  		
  		(dolist (ipix-av a-volta)
  		  (push restricao (aref pix-restricoes ipix-av))
  
  		  (setf (aref pix-relacionados ipix-av) (merge 'list
  
negative.code: 	      (when inferencias ; teste suficiente?
  		(let ((backup (make-hash-table :test 'eql)))
  		  (maphash #'(lambda (iipix id)
  ;			       (format t "iipix:~a id:~a~%" iipix id)
  			       (setf (gethash iipix backup) (fapix-pix-dominio f iipix))
  			       (fapix-altera-dominio! f iipix id))
  			   inferencias)
  
  ;		  (format t "Depois das inferencias~%")
  ;		  (desenha-fill-a-pix (fapix->fill-a-pix f))
  
  		  (multiple-value-bind (resultado testes) (procura-retrocesso-fc-mrv-fapix f)
  		    (incf testes-totais testes)
  