The algorithm uses a two-dimensional array T whose indexes range from 0 to |γ| = + |β R |, and only the cells T [i, j] with i < j are filled.
the oracle needs to make cell updates in a more general way, which includes linking pairs of elements in the reduced buffer or pairs of inferred entries in the table.