.model Cookbook__insert_parity__part4
.inputs pi44 pi43 pi42 pi41 pi40 pi39 pi37 pi36 pi38
.outputs po4
.names pi44 pi43 n50
01 1
10 1
.names pi42 pi41 n51
01 1
10 1
.names n50 n51 n52
01 1
10 1
.names pi40 pi39 n53
01 1
10 1
.names pi37 pi36 n54
01 1
10 1
.names pi38 n54 n55
01 1
10 1
.names n53 n55 n56
01 1
10 1
.names n52 n56 po4
00 1
11 1
.end
