# Function: 3_17 # This file have 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 111 000 001 011 100 010 110 101 .end