3.4.4 Equivalences pages 47 and 48
[00245] = [00246] + [00247] + [00248] + [00249]
[00252] = [00253] + [00254] + [00255] + [00256] + [00261] + [00262] + [00263] + [00264] + [00265] + [00266] + [00267] + [00268 ]
[00256] = [00257] + [00258] + [00259] + [00260]
[00269] = [00270] + [00274] + [00279] + [00287] + [00288] + [00289] + [00290] + [00291] + [00292] + [00293]
[00270] = [00271] + [00272] + [00273]
[00274] = [00275] + [00276] + [00277] + [00278]
[00279] = [00280] + [00281] + [00282] + [00283] + [00284] + [00285] + [00286]
[00294] = [00295] + [00296] + [00300] + [00301]
[00296] = [00297] + [00298] + [00299]
[00251] = [00252] + [00269] + [00294] + [00302]
[00303] = [00244] + [00245] + [00250] + [00251]