# Function: ex-1
# This file has been taken from RevLib (www.revlib.org).
.i 3
.o 3
.ilb a b c
.ob a b c
000 100
001 101
010 110
011 001
100 000
101 111
110 010
111 011
.e