# Function: rd73
# This file has been taken from RevLib (www.revlib.org).
.i 7
.o 3
.ilb x1 x2 x3 x4 x5 x6 x7
.ob s2 s0 s1
1--11-1 001
-1-11-1 001
11--1-1 001
11-11-- 001
11-1--1 001
11--11- 001
-1-111- 001
11---11 001
11-1-1- 001
-1--111 001
1---111 001
1-11--1 001
---1111 001
1--111- 001
-1-1-11 001
111--1- 001
-11--11 001
-11-11- 001
--11-11 001
-111-1- 001
1-1-11- 001
--1111- 001
111---1 001
--1-111 001
-1111-- 001
-11-1-1 001
--111-1 001
111-1-- 001
1-111-- 001
1111--- 001
1-11-1- 001
1--1-11 001
-111--1 001
1-1--11 001
1-1-1-1 001
-000110 100
100-100 100
0100-10 100
10010-0 100
110-000 100
000-011 100
100001- 100
010-001 100
-100100 100
10-0001 100
0101-00 100
00110-0 100
0110-00 100
-001001 100
001-001 100
101-000 100
0001-10 100
1-11111 100
00-1100 100
0010-10 100
000-101 100
-010100 100
011-000 100
-110000 100
010001- 100
1111-11 100
100010- 100
-010010 100
010010- 100
001010- 100
110000- 100
000011- 100
111-111 100
11-1111 100
011000- 100
0-10010 100
-111111 100
010-010 100
11111-1 100
001001- 100
111111- 100
-100010 100
0000001 010
0001000 010
1000000 010
1001001 010
0000100 010
0001101 010
1000101 010
0101001 010
0100000 010
0001011 010
1100001 010
0011001 010
0100101 010
1000011 010
0000010 010
1010001 010
0000111 010
0100011 010
0010101 010
0010000 010
0110001 010
0010011 010
1001100 010
1101000 010
1101101 010
1001010 010
0101100 010
1001111 010
0001110 010
1101011 010
0101111 010
1011101 010
1100100 010
0101010 010
1000110 010
1011000 010
1100111 010
0011100 010
1100010 010
1111001 010
1010100 010
0111000 010
1110000 010
1011011 010
0100110 010
0111101 010
1110101 010
0011010 010
0110100 010
0011111 010
1010010 010
0111011 010
0010110 010
1010111 010
0110010 010
1110011 010
0110111 010
1101110 010
1111100 010
1011110 010
1111010 010
0111110 010
1110110 010
1111111 010
.e