3.2.3 Equivalences page 29

[00191] = [00192] + [00195] + [00196] + [00199] + [00200] + [00201] + [00202] + [00203] + [00204] + [00205]

[00192] = [00193] + [00194]

[00196] = [00197] + [00198]

[00202] = [00762] + [00763] + [00764]

[00206] = [00207] + [00211]

[00207] = [00208] + [00209] + [00210]

[00211] = [00212] + [00213] + [00214] + [00215] + [00218]

[00215] = [00216] + [00217]

[00219] = [00191] + [00206]

[00220] = [00190] + [00219]