Изменения

Помеченные <font color=green>зеленым</font> — условные данные. Остальное — условные операции. Например <tex>\mathtt{keys } \longrightarrow \mathtt{merged}</tex> значит взять элементы из массива <tex>\mathtt{merged}</tex> c индексами из <tex>\mathtt{keys}</tex>. <tex>\mathrm{merge } \longrightarrow \mathtt{merged}</tex> — здесь <tex>\mathtt{merged}</tex> обозначает результат операции '''<tex>\mathrm{merge'''}</tex>.

Для первого блока содержательным содержательной является лишь ветка, начинающаяся с <tex>C_j^S \longrightarrow \mathrm{merge } \longrightarrow \mathtt{ind's\#1}</tex>, что не противоречит представленной схеме.