# Function: sym10
# This file has been taken from RevLib (www.revlib.org).
.ilb x0 x1 x2 x3 x4 x5 x6 x7 x8 x9
.ob f0
.i 10
.o 1
.p 837
1111000000 1
1110100000 1
1101100000 1
1011100000 1
0111100000 1
1111100000 1
1110010000 1
1101010000 1
1011010000 1
0111010000 1
1111010000 1
1100110000 1
1010110000 1
0110110000 1
1110110000 1
1001110000 1
0101110000 1
1101110000 1
0011110000 1
1011110000 1
0111110000 1
1111110000 1
1110001000 1
1101001000 1
1011001000 1
0111001000 1
1111001000 1
1100101000 1
1010101000 1
0110101000 1
1110101000 1
1001101000 1
0101101000 1
1101101000 1
0011101000 1
1011101000 1
0111101000 1
1111101000 1
1100011000 1
1010011000 1
0110011000 1
1110011000 1
1001011000 1
0101011000 1
1101011000 1
0011011000 1
1011011000 1
0111011000 1
1111011000 1
1000111000 1
0100111000 1
1100111000 1
0010111000 1
1010111000 1
0110111000 1
1110111000 1
0001111000 1
1001111000 1
0101111000 1
1101111000 1
0011111000 1
1011111000 1
0111111000 1
1111111000 1
1110000100 1
1101000100 1
1011000100 1
0111000100 1
1111000100 1
1100100100 1
1010100100 1
0110100100 1
1110100100 1
1001100100 1
0101100100 1
1101100100 1
0011100100 1
1011100100 1
0111100100 1
1111100100 1
1100010100 1
1010010100 1
0110010100 1
1110010100 1
1001010100 1
0101010100 1
1101010100 1
0011010100 1
1011010100 1
0111010100 1
1111010100 1
1000110100 1
0100110100 1
1100110100 1
0010110100 1
1010110100 1
0110110100 1
1110110100 1
0001110100 1
1001110100 1
0101110100 1
1101110100 1
0011110100 1
1011110100 1
0111110100 1
1111110100 1
1100001100 1
1010001100 1
0110001100 1
1110001100 1
1001001100 1
0101001100 1
1101001100 1
0011001100 1
1011001100 1
0111001100 1
1111001100 1
1000101100 1
0100101100 1
1100101100 1
0010101100 1
1010101100 1
0110101100 1
1110101100 1
0001101100 1
1001101100 1
0101101100 1
1101101100 1
0011101100 1
1011101100 1
0111101100 1
1111101100 1
1000011100 1
0100011100 1
1100011100 1
0010011100 1
1010011100 1
0110011100 1
1110011100 1
0001011100 1
1001011100 1
0101011100 1
1101011100 1
0011011100 1
1011011100 1
0111011100 1
1111011100 1
0000111100 1
1000111100 1
0100111100 1
1100111100 1
0010111100 1
1010111100 1
0110111100 1
1110111100 1
0001111100 1
1001111100 1
0101111100 1
1101111100 1
0011111100 1
1011111100 1
0111111100 1
1111111100 1
1110000010 1
1101000010 1
1011000010 1
0111000010 1
1111000010 1
1100100010 1
1010100010 1
0110100010 1
1110100010 1
1001100010 1
0101100010 1
1101100010 1
0011100010 1
1011100010 1
0111100010 1
1111100010 1
1100010010 1
1010010010 1
0110010010 1
1110010010 1
1001010010 1
0101010010 1
1101010010 1
0011010010 1
1011010010 1
0111010010 1
1111010010 1
1000110010 1
0100110010 1
1100110010 1
0010110010 1
1010110010 1
0110110010 1
1110110010 1
0001110010 1
1001110010 1
0101110010 1
1101110010 1
0011110010 1
1011110010 1
0111110010 1
1111110010 1
1100001010 1
1010001010 1
0110001010 1
1110001010 1
1001001010 1
0101001010 1
1101001010 1
0011001010 1
1011001010 1
0111001010 1
1111001010 1
1000101010 1
0100101010 1
1100101010 1
0010101010 1
1010101010 1
0110101010 1
1110101010 1
0001101010 1
1001101010 1
0101101010 1
1101101010 1
0011101010 1
1011101010 1
0111101010 1
1111101010 1
1000011010 1
0100011010 1
1100011010 1
0010011010 1
1010011010 1
0110011010 1
1110011010 1
0001011010 1
1001011010 1
0101011010 1
1101011010 1
0011011010 1
1011011010 1
0111011010 1
1111011010 1
0000111010 1
1000111010 1
0100111010 1
1100111010 1
0010111010 1
1010111010 1
0110111010 1
1110111010 1
0001111010 1
1001111010 1
0101111010 1
1101111010 1
0011111010 1
1011111010 1
0111111010 1
1111111010 1
1100000110 1
1010000110 1
0110000110 1
1110000110 1
1001000110 1
0101000110 1
1101000110 1
0011000110 1
1011000110 1
0111000110 1
1111000110 1
1000100110 1
0100100110 1
1100100110 1
0010100110 1
1010100110 1
0110100110 1
1110100110 1
0001100110 1
1001100110 1
0101100110 1
1101100110 1
0011100110 1
1011100110 1
0111100110 1
1111100110 1
1000010110 1
0100010110 1
1100010110 1
0010010110 1
1010010110 1
0110010110 1
1110010110 1
0001010110 1
1001010110 1
0101010110 1
1101010110 1
0011010110 1
1011010110 1
0111010110 1
1111010110 1
0000110110 1
1000110110 1
0100110110 1
1100110110 1
0010110110 1
1010110110 1
0110110110 1
1110110110 1
0001110110 1
1001110110 1
0101110110 1
1101110110 1
0011110110 1
1011110110 1
0111110110 1
1111110110 1
1000001110 1
0100001110 1
1100001110 1
0010001110 1
1010001110 1
0110001110 1
1110001110 1
0001001110 1
1001001110 1
0101001110 1
1101001110 1
0011001110 1
1011001110 1
0111001110 1
1111001110 1
0000101110 1
1000101110 1
0100101110 1
1100101110 1
0010101110 1
1010101110 1
0110101110 1
1110101110 1
0001101110 1
1001101110 1
0101101110 1
1101101110 1
0011101110 1
1011101110 1
0111101110 1
1111101110 1
0000011110 1
1000011110 1
0100011110 1
1100011110 1
0010011110 1
1010011110 1
0110011110 1
1110011110 1
0001011110 1
1001011110 1
0101011110 1
1101011110 1
0011011110 1
1011011110 1
0111011110 1
1111011110 1
0000111110 1
1000111110 1
0100111110 1
1100111110 1
0010111110 1
1010111110 1
0110111110 1
1110111110 1
0001111110 1
1001111110 1
0101111110 1
1101111110 1
0011111110 1
1011111110 1
0111111110 1
1110000001 1
1101000001 1
1011000001 1
0111000001 1
1111000001 1
1100100001 1
1010100001 1
0110100001 1
1110100001 1
1001100001 1
0101100001 1
1101100001 1
0011100001 1
1011100001 1
0111100001 1
1111100001 1
1100010001 1
1010010001 1
0110010001 1
1110010001 1
1001010001 1
0101010001 1
1101010001 1
0011010001 1
1011010001 1
0111010001 1
1111010001 1
1000110001 1
0100110001 1
1100110001 1
0010110001 1
1010110001 1
0110110001 1
1110110001 1
0001110001 1
1001110001 1
0101110001 1
1101110001 1
0011110001 1
1011110001 1
0111110001 1
1111110001 1
1100001001 1
1010001001 1
0110001001 1
1110001001 1
1001001001 1
0101001001 1
1101001001 1
0011001001 1
1011001001 1
0111001001 1
1111001001 1
1000101001 1
0100101001 1
1100101001 1
0010101001 1
1010101001 1
0110101001 1
1110101001 1
0001101001 1
1001101001 1
0101101001 1
1101101001 1
0011101001 1
1011101001 1
0111101001 1
1111101001 1
1000011001 1
0100011001 1
1100011001 1
0010011001 1
1010011001 1
0110011001 1
1110011001 1
0001011001 1
1001011001 1
0101011001 1
1101011001 1
0011011001 1
1011011001 1
0111011001 1
1111011001 1
0000111001 1
1000111001 1
0100111001 1
1100111001 1
0010111001 1
1010111001 1
0110111001 1
1110111001 1
0001111001 1
1001111001 1
0101111001 1
1101111001 1
0011111001 1
1011111001 1
0111111001 1
1111111001 1
1100000101 1
1010000101 1
0110000101 1
1110000101 1
1001000101 1
0101000101 1
1101000101 1
0011000101 1
1011000101 1
0111000101 1
1111000101 1
1000100101 1
0100100101 1
1100100101 1
0010100101 1
1010100101 1
0110100101 1
1110100101 1
0001100101 1
1001100101 1
0101100101 1
1101100101 1
0011100101 1
1011100101 1
0111100101 1
1111100101 1
1000010101 1
0100010101 1
1100010101 1
0010010101 1
1010010101 1
0110010101 1
1110010101 1
0001010101 1
1001010101 1
0101010101 1
1101010101 1
0011010101 1
1011010101 1
0111010101 1
1111010101 1
0000110101 1
1000110101 1
0100110101 1
1100110101 1
0010110101 1
1010110101 1
0110110101 1
1110110101 1
0001110101 1
1001110101 1
0101110101 1
1101110101 1
0011110101 1
1011110101 1
0111110101 1
1111110101 1
1000001101 1
0100001101 1
1100001101 1
0010001101 1
1010001101 1
0110001101 1
1110001101 1
0001001101 1
1001001101 1
0101001101 1
1101001101 1
0011001101 1
1011001101 1
0111001101 1
1111001101 1
0000101101 1
1000101101 1
0100101101 1
1100101101 1
0010101101 1
1010101101 1
0110101101 1
1110101101 1
0001101101 1
1001101101 1
0101101101 1
1101101101 1
0011101101 1
1011101101 1
0111101101 1
1111101101 1
0000011101 1
1000011101 1
0100011101 1
1100011101 1
0010011101 1
1010011101 1
0110011101 1
1110011101 1
0001011101 1
1001011101 1
0101011101 1
1101011101 1
0011011101 1
1011011101 1
0111011101 1
1111011101 1
0000111101 1
1000111101 1
0100111101 1
1100111101 1
0010111101 1
1010111101 1
0110111101 1
1110111101 1
0001111101 1
1001111101 1
0101111101 1
1101111101 1
0011111101 1
1011111101 1
0111111101 1
1100000011 1
1010000011 1
0110000011 1
1110000011 1
1001000011 1
0101000011 1
1101000011 1
0011000011 1
1011000011 1
0111000011 1
1111000011 1
1000100011 1
0100100011 1
1100100011 1
0010100011 1
1010100011 1
0110100011 1
1110100011 1
0001100011 1
1001100011 1
0101100011 1
1101100011 1
0011100011 1
1011100011 1
0111100011 1
1111100011 1
1000010011 1
0100010011 1
1100010011 1
0010010011 1
1010010011 1
0110010011 1
1110010011 1
0001010011 1
1001010011 1
0101010011 1
1101010011 1
0011010011 1
1011010011 1
0111010011 1
1111010011 1
0000110011 1
1000110011 1
0100110011 1
1100110011 1
0010110011 1
1010110011 1
0110110011 1
1110110011 1
0001110011 1
1001110011 1
0101110011 1
1101110011 1
0011110011 1
1011110011 1
0111110011 1
1111110011 1
1000001011 1
0100001011 1
1100001011 1
0010001011 1
1010001011 1
0110001011 1
1110001011 1
0001001011 1
1001001011 1
0101001011 1
1101001011 1
0011001011 1
1011001011 1
0111001011 1
1111001011 1
0000101011 1
1000101011 1
0100101011 1
1100101011 1
0010101011 1
1010101011 1
0110101011 1
1110101011 1
0001101011 1
1001101011 1
0101101011 1
1101101011 1
0011101011 1
1011101011 1
0111101011 1
1111101011 1
0000011011 1
1000011011 1
0100011011 1
1100011011 1
0010011011 1
1010011011 1
0110011011 1
1110011011 1
0001011011 1
1001011011 1
0101011011 1
1101011011 1
0011011011 1
1011011011 1
0111011011 1
1111011011 1
0000111011 1
1000111011 1
0100111011 1
1100111011 1
0010111011 1
1010111011 1
0110111011 1
1110111011 1
0001111011 1
1001111011 1
0101111011 1
1101111011 1
0011111011 1
1011111011 1
0111111011 1
1000000111 1
0100000111 1
1100000111 1
0010000111 1
1010000111 1
0110000111 1
1110000111 1
0001000111 1
1001000111 1
0101000111 1
1101000111 1
0011000111 1
1011000111 1
0111000111 1
1111000111 1
0000100111 1
1000100111 1
0100100111 1
1100100111 1
0010100111 1
1010100111 1
0110100111 1
1110100111 1
0001100111 1
1001100111 1
0101100111 1
1101100111 1
0011100111 1
1011100111 1
0111100111 1
1111100111 1
0000010111 1
1000010111 1
0100010111 1
1100010111 1
0010010111 1
1010010111 1
0110010111 1
1110010111 1
0001010111 1
1001010111 1
0101010111 1
1101010111 1
0011010111 1
1011010111 1
0111010111 1
1111010111 1
0000110111 1
1000110111 1
0100110111 1
1100110111 1
0010110111 1
1010110111 1
0110110111 1
1110110111 1
0001110111 1
1001110111 1
0101110111 1
1101110111 1
0011110111 1
1011110111 1
0111110111 1
0000001111 1
1000001111 1
0100001111 1
1100001111 1
0010001111 1
1010001111 1
0110001111 1
1110001111 1
0001001111 1
1001001111 1
0101001111 1
1101001111 1
0011001111 1
1011001111 1
0111001111 1
1111001111 1
0000101111 1
1000101111 1
0100101111 1
1100101111 1
0010101111 1
1010101111 1
0110101111 1
1110101111 1
0001101111 1
1001101111 1
0101101111 1
1101101111 1
0011101111 1
1011101111 1
0111101111 1
0000011111 1
1000011111 1
0100011111 1
1100011111 1
0010011111 1
1010011111 1
0110011111 1
1110011111 1
0001011111 1
1001011111 1
0101011111 1
1101011111 1
0011011111 1
1011011111 1
0111011111 1
0000111111 1
1000111111 1
0100111111 1
1100111111 1
0010111111 1
1010111111 1
0110111111 1
0001111111 1
1001111111 1
0101111111 1
0011111111 1
.e