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