# Function: # Note: completely specified # This file have been taken from RevLib (www.revlib.org). .version 1.0 .numvars 5 .variables a b c d e .inputs a b c d e .outputs a b c d e .constants ----- .garbage ----- .begin 00011 00010 00000 00001 00110 00111 00100 00101 01000 01001 01011 01010 01100 01101 01110 01111 10010 10011 10000 10001 10111 10110 10100 10101 11000 11001 11010 11011 11100 11101 11111 11110 .end