anchor.diff:  	
   	fieldMap :=  NewDictionary(finiteFields[1], true);
   	
  +
  +   allMapsModPrime:=[];
   
   		
   	
  
positive.code:                         for mapCandidate in mapCandidates do
                              if mapCandidate.maxResidue<0.001_c then
                                  if not  mapCandidate.map in allMapCandidates then
                                      Append( allMapCandidates, [ mapCandidate.map1 ]);
                                  fi;
                              fi;
                          od;
  
negative.code: 
  
                  mapsModPrime := Hurwitz@HMAC.FindHurwitzMapModPrime( finiteField  ,partitions, reducedCriticalValues, strictNormalization );
  
                  # AddDictionary(mapsModPrimeDic, [finiteField, idx], mapsModPrime);
                  
                  if Size(mapsModPrime)>0 then 
                  ########## lift #################################################
  
                     Append( allMapsModPrime, [  [ finiteField, partitions,reducedCriticalValues,strictNormalization, mapsModPrime  ] ]);
  
                      mapModPrime := mapsModPrime[1];
                      for mapModPrime  in mapsModPrime do 
  