3.5.1 Equivalences pages 49 and 50

[00102] = [00103] + [00104] + [00105] + [00106] + [00107] + [00108]

[00109] = [00110] + [00111] + [00112] + [00113] + [00114] + [00115]

[00118] = [00119] + [00120]

[00124] = [00125] + [00126]

[00127] = [00101] + [00102] + [00109] + [00116] + [00117] + [00118] + [00121] + [00122] + [00123] + [00124]

[00129] = [00130] + [00131]

[00132] = [00133] + [00134] + [00135] + [00136] + [00137] + [00138] + [00139]

[00141] = [00142] + [00143]

[00144] = [00145] + [00146]

[00151] = [00152] + [00158] + [00159] + [00160]

[00152] = [00153] + [00156] + [00157]

[00153] = [00154] + [00155]

[00158] = [00194] + [01001] + [01002] + [00805]

[00161] = [00162] + [00163]

[00165] = [00128] + [00151] + [00161] + [00164]