Что происходит в данном цикле?

@Echo Off
 
If "%~1"=="" Echo Неверный синтаксис& Exit /B
If "%~2"=="" Set $N=10& Set $F=%~1
If Not "%~2"=="" Set $N=%~1& Set $F=%~2
If Not Exist "%$F%" Echo Исходный файл не найден& Exit /B
 
For /F %%i In ('Type "%$F%"^|Find /C /V ""') Do Set /A $M=%%i-%$N%
For /F "Tokens=1* Delims=][" %%i In ('Type "%$F%"^|Find /N /V ""') Do If %%i GTR %$M% Echo.%%j

@Echo On
set "f1=1.txt"
rem set "f2=2.txt"
call :proc "%f1%" "%f2%"
pause
 
:proc 
If "%~1"=="" Echo Неверный синтаксис& Exit /B
If "%~2"=="" Set $N=10& Set $F=%~1
If Not "%~2"=="" Set $N=%~1& Set $F=%~2
If Not Exist "%$F%" Echo Исходный файл не найден& Exit /B
 
For /F %%i In ('Type "%$F%"^|Find /C /V ""') Do Set /A $M=%%i-%$N%
For /F "Tokens=1* Delims=][" %%i In ('Type "%$F%"^|Find /N /V ""') Do If %%i GTR %$M% Echo.%%j
exit /b

rem Отключаем вывод команд на экран (в том числе и вывод самой команды echo - поэтому и @)
@Echo Off 
 
rem Если первый аргумент, переданный батнику и очищенный от кавычек (символ тильда) отсутствует, то выводит на экран Неверный синтаксис и безусловно завершает батник без завершения cmd.exe
If "%~1"=="" Echo Неверный синтаксис& Exit /B 
 
rem Если второй аргумент, переданный батнику и очищенный от кавычек (символ тильда) отсутствует, то присваивает переменной N значение 10 и безусловно присваивает переменной F значение первого аргумента батника, очищенного от кавычек
If "%~2"=="" Set $N=10& Set $F=%~1 
 
rem Если второй аргумент, переданный батнику и очищенный от кавычек (символ тильда) присутствует, то присваивает переменной N первого аргумента батника, очищенного от кавычек и безусловно присваивает переменной F значение второго аргумента батника, очищенного от кавычек
If Not "%~2"=="" Set $N=%~1& Set $F=%~2 
 
rem Если не существует файл, путь которого находится в переменной F, то выводит на экран Исходный файл не найден и безусловно завершает батник без завершения cmd.exe
If Not Exist "%$F%" Echo Исходный файл не найден& Exit /B 
 
rem Производит подсчет строк в файле по пути из переменной F (включая пустые строки) и затем производит числовую операцию: вычитает из количества строк(включая пустые) значение переменной N далее записывает результат в переменную М. ^ - здесь экранирует |, чтобы вывод команды type попал на вход find
For /F %%i In ('Type "%$F%"^|Find /C /V ""') Do Set /A $M=%%i-%$N% 
 
rem В переменную j записывается вся строка (эта новая переменная создана, поскольку в Tokens стоит звездочка на конце). 
rem Идея этой строки батника следующая: вывести на экран строки из файла по пути из переменной F, при условии если номер строки, который находится в переменной %%i Больше чем значение переменной M, полученной на предыдущем этапе. (Причем если строка начинается с [ или c ] - эти символы не выводятся)
For /F "Tokens=1* Delims=][" %%i In ('Type "%$F%"^|Find /N /V ""') Do If %%i GTR %$M% Echo.%%j

For /F "Tokens=1,* Delims=][