# Function: ex1
# This file has been taken from RevLib (www.revlib.org).
.ilb x0 x1 x2 x3 x4
.ob f0
.i 5
.o 1
.p 16
00001 1
11001 1
01011 1
10011 1
00111 1
11111 1
01101 1
10101 1
01000 1
10000 1
00010 1
11010 1
01110 1
10110 1
00100 1
11100 1
.e