3.5.2 Equivalences page 51
[00166] = [00167] + [00168]
[00170] = [00171] + [00172] + [00173]
[00182] = [00166] + [00169] + [00170] + [00174]+ [00175] + [00176] + [00177] + [00178] + [00179] + [00180] + [00181]
[00183] = [00184] + [00185]
[00191] = [00183] + [00186] + [00187] + [00188] + [00189] + [00190]
[00192] = [00182] + [00191]
[00500] = [00192] + [00193]