Completato il thomas algorithm