3.5.3 Equivalences page 52
[00195] = [00196] + [00197]
[00200] = [00195] + [00198] + [00199]
[00201] = [00202] + [00203]
[00206] = [00201] + [00204] + [00205]
[00207] = [00500] + [00200] + [00206]
[00195] = [00196] + [00197]
[00200] = [00195] + [00198] + [00199]
[00201] = [00202] + [00203]
[00206] = [00201] + [00204] + [00205]
[00207] = [00500] + [00200] + [00206]