r53.real~

# This file has been generated using RevKit 2.3 (www.revkit.org)
.version 2.0
.numvars 10
.variables x0 x1 x2 x3 x4 x5 x6 x7 x8 x9
.inputs i0 i1 i2 i3 i4 i5 i6 i7 i8 i9
.outputs o0 o1 o2 o3 o4 o5 o6 o7 o8 o9
.constants -----00000
.garbage 11111-----
.begin
t2 x4 x8
t2 x3 x7
t4 x2 x3 x4 x6
t2 x2 x6
.end