Function 4:  c = ins2_correct2 (j, n, a, y, h1 + h2) Input:  j, n, a, y, h1 + h2. Output:  $\mathit{c}=(c_1,c_2,\dots ,c_n)\in C(n,4)$. 1:if${\mathit{c}}_j^{n+2}$ (j) = h1 and  ${\mathit{c}}_j^{n+2}$ (j + 1) = h1 + h2 − h1 then 2:  Syn_new = ${\sum }_{i=1}^{j-1}i{\mathit{c}}_{j,i}^{n+2}+{\sum }_{i=j+2}^{n+2}(i-2){\mathit{c}}_{j,i}^{n+2}$ mod (8n + 1) 3:else 4:        $j\leftarrow j+1$ 5:end if 6:ifSyn_new = a then 7:  c = c1,c2,…,cj−1,cj,cj + 1,…,cn 8:else 9:        $j\leftarrow j+1$ 10: end if