# Function: rd53 # This file has been taken from RevLib (www.revlib.org). .version 1.0 .numvars 7 .variables a b c d e f g .inputs x1 x2 x3 x4 x5 0 0 .outputs c0 g g g g c1 c2 .constants -----00 .garbage -1111-- .begin 0----00 ------- ------- ------- 1----00 ------- ------- ------- 1----00 ------- ------- ------- 0----10 ------- ------- ------- 1----00 ------- ------- ------- 0----10 ------- ------- ------- 0----10 ------- ------- ------- 1----10 ------- ------- ------- 1----00 ------- ------- ------- 0----10 ------- ------- ------- 0----10 ------- ------- ------- 1----10 ------- ------- ------- 0----10 ------- ------- ------- 1----10 ------- ------- ------- 1----10 ------- ------- ------- 0----01 ------- ------- ------- 1----00 ------- ------- ------- 0----10 ------- ------- ------- 0----10 ------- ------- ------- 1----10 ------- ------- ------- 0----10 ------- ------- ------- 1----10 ------- ------- ------- 1----10 ------- ------- ------- 0----01 ------- ------- ------- 0----10 ------- ------- ------- 1----10 ------- ------- ------- 1----10 ------- ------- ------- 0----01 ------- ------- ------- 1----10 ------- ------- ------- 0----01 ------- ------- ------- 0----01 ------- ------- ------- 1----01 ------- ------- ------- .end