Information is gradually added to these tables, and once they are filled in, all cosets have been enumerated and the algorithm terminates.
Информация постепенно добавляется к этим матрицам, и как только они будут заполнены, все смежные классы будут перечислены, и алгоритм закончится.