Table B.9.
| Step | Known bits | Derived bits |
|---|---|---|
| 1 | a[55]=b[55]=y[55]=0 | x[55]=a[36]=b[27]=0 |
| 2 | a[13]=1,b[13]=[13]=0 | x[13]=a[58]=b[49]=1 |
| 3 | a[9]=b[9]=y[9]=0 | x[9]=a[54]=b[45]=0 |
| 4 | x[8]=b[8]=y[8]=0 | b[8]=x[36]=a[27]=0 |
| 5 | x[36]=a[36]=b[36]=0 | y[36]=0 |
| 6 | x[0]=a[0]=b[0]=0 | y[0]=0 |
| 7 | x[28]=b[28]=y[28]=0 | a[28]=x[47]=b[19]=0 |
| 8 | x[31]=a[31]=b[31]=0 | y[31]=0 |
| 9 | x[54]=a[54]=y[54]=0 | b[54]=x[18]=a[63]=0 |
| 10 | x[63]=a[63]=b[63]=0 | y[63]=0 |
| 11 | x[18]=a[18]=y[18]=0 | b[18]=x[46]=a[27]=0 |
| 12 | x[27]=a[27]=b[27]=0 | y[27]=0 |
| 13 | x[37]=a[37]=y[37]=0 | b[37]=x[1]=a[46]=0 |
| 14 | x[46]=a[46]=b[46]=0 | y[46]=0 |