# This file have been taken from RevLib (www.revlib.org). .version 1.0 .numvars 5 .variables e d c b a .inputs e d c b a .outputs e d c b a .constants ----- .garbage 1---- .begin --001 --010 --011 --100 --101 --110 --111 --000 ----- ----- ----- ----- ----- ----- ----- ----- -0001 -0010 -0011 -0100 -0101 -0110 -0111 -1000 -1001 -0000 ----- ----- ----- ----- ----- ----- .end