# This file have been taken from RevLib (www.revlib.org). .version 1.0 .numvars 4 .variables d c b a .inputs d c b a .outputs d c b a .constants ---- .garbage ---- .begin 0001 0010 0011 0100 0101 0110 0111 1000 1001 0000 ---- ---- ---- ---- ---- ---- .end