Zastosowania algorytmicznej wersji lematu lokalnego w problemach Thuego