# Function: ex1 # This file has been taken from RevLib (www.revlib.org). .version 1.0 .numvars 3 .variables a b c .inputs a b c .outputs a b c .constants --- .garbage --- .begin 100 101 110 001 000 111 010 011 .end