# Function: decod24
# Note: Embedding with constants 01
# This file have been taken from RevLib (www.revlib.org).
.version 1.0
.numvars 4
.variables a b c d
.inputs 0 1 c d
.outputs a b c d
.constants 01--
.garbage ----
.begin
----
----
----
----
0001
0010
0100
1000
----
----
----
----
----
----
----
----
.end