# Function: rd53
# This file has been taken from RevLib (www.revlib.org).
.i 5
.o 3
.ilb x1 x2 x3 x4 x5
.ob s2 s0 s1
1-111 100
11-11 100
1111- 100
111-1 100
-1111 100
01-01 001
-0110 001
001-1 001
1-001 001
1-100 001
110-0 001
011-0 001
1001- 001
0-011 001
-1010 001
-0101 001
01110 010
00010 010
01000 010
11111 010
00100 010
00111 010
11100 010
11010 010
01101 010
01011 010
10110 010
10000 010
11001 010
00001 010
10101 010
10011 010
.e