# Function: 
# 
# This file have been taken from RevLib (www.revlib.org).
.version 1.0
.numvars 7
.variables a b c d e f g
.inputs a b c d e f g
.outputs a b c d e f g
.constants -------
.garbage -------
.begin
0000000
1000000
0000001
1100000
0000010
0100001
1000001
1110000
0000100
0100010
1000010
0110001
0000011
1010001
1100001
1111000
0001000
0100100
1000100
0110010
0000101
1010010
1100010
0111001
0000110
0010011
0100011
1011001
1000011
1101001
1110001
1111100
0010000
0101000
1001000
0110100
0001001
1010100
1100100
0111010
0001010
0010101
0100101
1011010
1000101
1101010
1110010
0111101
0001100
0010110
0100110
0011011
1000110
0101011
0110011
1011101
0000111
1001011
1010011
1101101
1100011
1110101
1111001
1111110
0100000
0110000
1010000
0111000
0010001
1011000
1101000
0111100
0010010
0011001
0101001
1011100
1001001
1101100
1110100
0111110
0010100
0011010
0101010
0011101
1001010
0101101
0110101
1011110
0001011
1001101
1010101
1101110
1100101
1110110
1111010
0111111
0011000
0011100
0101100
0011110
1001100
0101110
0110110
0011111
0001101
1001110
1010110
0101111
1100110
0110111
0111011
1011111
0001110
0001111
0010111
1001111
0100111
1010111
1011011
1101111
1000111
1100111
1101011
1110111
1110011
1111011
1111101
1111111
.end