# This file has been generated using RevKit 1.3-snapshot (www.revkit.org)
.version 2.0
.numvars 37
.variables x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 x21 x22 x23 x24 x25 x26 x27 x28 x29 x30 x31 x32 x33 x34 x35 x36
.inputs reset.0 enable.0 jump.0 jump.1 jump.2 jump.3 jump.4 jump.5 jump.6 jump.7 jump.8 jump.9 jump.10 pc.0 pc.1 pc.2 pc.3 pc.4 pc.5 pc.6 pc.7 pc.8 pc.9 pc.10 zero.0 zero.1 zero.2 zero.3 zero.4 zero.5 zero.6 zero.7 zero.8 zero.9 zero.10 const_0 const_0
.outputs  reset.0 enable.0 jump.0 jump.1 jump.2 jump.3 jump.4 jump.5 jump.6 jump.7 jump.8 jump.9 jump.10 pc.0 pc.1 pc.2 pc.3 pc.4 pc.5 pc.6 pc.7 pc.8 pc.9 pc.10 zero.0 zero.1 zero.2 zero.3 zero.4 zero.5 zero.6 zero.7 zero.8 zero.9 zero.10 garbage garbage
.constants ------------------------0000000000000
.garbage 1111111111111-----------1111111111111
.begin
t2 x0 x35
f3 x35 x13 x24
f3 x35 x14 x25
f3 x35 x15 x26
f3 x35 x16 x27
f3 x35 x17 x28
f3 x35 x18 x29
f3 x35 x19 x30
f3 x35 x20 x31
f3 x35 x21 x32
f3 x35 x22 x33
f3 x35 x23 x34
t1 x35
t3 x1 x35 x36
t13 x13 x14 x15 x16 x17 x18 x19 x20 x21 x22 x35 x36 x23
t12 x13 x14 x15 x16 x17 x18 x19 x20 x21 x35 x36 x22
t11 x13 x14 x15 x16 x17 x18 x19 x20 x35 x36 x21
t10 x13 x14 x15 x16 x17 x18 x19 x35 x36 x20
t9 x13 x14 x15 x16 x17 x18 x35 x36 x19
t8 x13 x14 x15 x16 x17 x35 x36 x18
t7 x13 x14 x15 x16 x35 x36 x17
t6 x13 x14 x15 x35 x36 x16
t5 x13 x14 x35 x36 x15
t4 x13 x35 x36 x14
t3 x35 x36 x13
t2 x35 x36
f4 x35 x36 x2 x13
f4 x35 x36 x3 x14
f4 x35 x36 x4 x15
f4 x35 x36 x5 x16
f4 x35 x36 x6 x17
f4 x35 x36 x7 x18
f4 x35 x36 x8 x19
f4 x35 x36 x9 x20
f4 x35 x36 x10 x21
f4 x35 x36 x11 x22
f4 x35 x36 x12 x23
.end