3.5.4 Equivalences pages 53 and 54

[00216] = [00208] + [00209] + [00210] + [00211] + [00212] + [00213] + [00214] + [00215]

[00225] = [00217] + [00218] + [00219] + [00220] + [00221] + [00222] + [00223] + [00224]

[00234] = [00226] + [00227] + [00228] + [00229] + [00230] + [00231] + [00232] + [00233]

[00235] = [00208] + [00217] + [00226]

[00236] = [00209] + [00218] + [00227]

[00237] = [00210] + [00219] + [00228]

[00238] = [00211] + [00220] + [00229]

[00239] = [00212] + [00221] + [00230]

[00240] = [00213] + [00222] + [00231]

[00241] = [00214] + [00223] + [00232]

[00242] = [00215] + [00224] + [00233]

[00243] = [00216] + [00225] + [00234]

[00243] = [00235] + [00236] + [00237] + [00238] + [00239] + [00240] + [00241] + [00242]

[00252] = [00244] + [00245] + [00246] + [00247] + [00248] + [00249] + [00250] + [00251]

[00261] = [00253] + [00254] + [00255] + [00256] + [00257] + [00258] + [00259] + [00260]

[00270] = [00262] + [00263] + [00264] + [00265] + [00266] + [00267] + [00268] + [00269]

[00279] = [00271] + [00272] + [00273] + [00274] + [00275] + [00276] + [00277] + [00278]

[00288] = [00280] + [00281] + [00282] + [00283] + [00284] + [00285] + [00286] + [00287]

[00297] = [00289] + [00290] + [00291] + [00292] + [00293] + [00294] + [00295] + [00296]

[00306] = [00298] + [00299] + [00300] + [00301] + [00302] + [00303] + [00304] + [00305]

[00315] = [00307] + [00308] + [00309] + [00310] + [00311] + [00312] + [00313] +[00314]

[00253] = [00262] + [00271] + [00280] + [00289]

[00254] = [00263] + [00272] + [00281] + [00290]

[00255] = [00264] + [00273] + [00282] + [00291]

[00256] = [00265] + [00274] + [00283] + [00292]

[00257] = [00266] + [00275] + [00284] + [00293]

[00258] = [00267] + [00276] + [00285] + [00294]

[00259] = [00268] + [00277] + [00286] + [00295]

[00260] = [00269] + [00278] + [00287] + [00296]

[00261] = [00270] + [00279] + [00288] + [00297]

[00307] = [00235] + [00244] + [00253] + [00298]

[00308] = [00236] + [00245] + [00254] + [00299]

[00309] = [00237] + [00246] + [00255] + [00300]

[00310] = [00238] + [00247] + [00256] + [00301]

[00311] = [00239] + [00248] + [00257] + [00302]

[00312] = [00240] + [00249] + [00258] + [00303]

[00313] = [00241] + [00250] + [00259] + [00304]

[00314] = [00242] + [00251] + [00260] + [00305]

[00315] = [00243] + [00252] + [00261] + [00306]