# Function: rd53 # This file has been taken from RevLib (www.revlib.org). .version 1.0 .numvars 8 .variables x1 x2 x3 x4 x5 s2 s3 s4 .inputs x1 x2 x3 x4 x5 0 0 0 .outputs g g g g c0 c1 g c2 .constants -----000 .garbage 1111--1- .begin ----0-00 -------- -------- -------- -------- -------- -------- -------- ----1-00 -------- -------- -------- -------- -------- -------- -------- ----1-00 -------- -------- -------- -------- -------- -------- -------- ----0-00 -------- -------- -------- -------- -------- -------- -------- ----1-00 -------- -------- -------- -------- -------- -------- -------- ----0-00 -------- -------- -------- -------- -------- -------- -------- ----0-00 -------- -------- -------- -------- -------- -------- -------- ----1-00 -------- -------- -------- -------- -------- -------- -------- ----1-00 -------- -------- -------- -------- -------- -------- -------- ----0-00 -------- -------- -------- -------- -------- -------- -------- ----0-00 -------- -------- -------- -------- -------- -------- -------- ----1-00 -------- -------- -------- -------- -------- -------- -------- ----0-00 -------- -------- -------- -------- -------- -------- -------- ----1-00 -------- -------- -------- -------- -------- -------- -------- ----1-10 -------- -------- -------- -------- -------- -------- -------- ----0-1- -------- -------- -------- -------- -------- -------- -------- ----1-00 -------- -------- -------- -------- -------- -------- -------- ----0-00 -------- -------- -------- -------- -------- -------- -------- ----0-00 -------- -------- -------- -------- -------- -------- -------- ----1-00 -------- -------- -------- -------- -------- -------- -------- ----0-00 -------- -------- -------- -------- -------- -------- -------- ----1-00 -------- -------- -------- -------- -------- -------- -------- ----1-10 -------- -------- -------- -------- -------- -------- -------- ----0-1- -------- -------- -------- -------- -------- -------- -------- ----0-00 -------- -------- -------- -------- -------- -------- -------- ----1-00 -------- -------- -------- -------- -------- -------- -------- ----1-10 -------- -------- -------- -------- -------- -------- -------- ----0-1- -------- -------- -------- -------- -------- -------- -------- ----1-10 -------- -------- -------- -------- -------- -------- -------- ----0-1- -------- -------- -------- -------- -------- -------- -------- ----0-01 -------- -------- -------- -------- -------- -------- -------- ----1-01 -------- -------- -------- -------- -------- -------- -------- .end