.model top
.inputs a b c d f g h
.outputs f0 f1
.names [9] [10] f0
1- 1
-1 1
.names a b f [47] f1
---1 1
00-- 1
0-1- 1
110- 1
.names b c d f [9]
001- 1
-111 1
.names a b f h [10]
11-- 1
-101 1
.names b d f g [47]
--00 1
001- 1
.end