# This file has been generated using RevKit 1.3-snapshot (www.revkit.org) .version 2.0 .numvars 38 .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 x37 .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 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 const_0 .constants ------------------------00000000000000 .garbage 1111111111111-----------11111111111111 .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 t7 x13 x14 x15 x16 x35 x36 x37 t8 x17 x18 x19 x20 x21 x22 x37 x23 t7 x17 x18 x19 x20 x21 x37 x22 t6 x17 x18 x19 x20 x37 x21 t5 x17 x18 x19 x37 x20 t4 x17 x18 x37 x19 t3 x17 x37 x18 t2 x37 x17 t7 x13 x14 x15 x16 x35 x36 x37 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 t3 x35 x36 x37 f3 x37 x2 x13 f3 x37 x3 x14 f3 x37 x4 x15 f3 x37 x5 x16 f3 x37 x6 x17 f3 x37 x7 x18 f3 x37 x8 x19 f3 x37 x9 x20 f3 x37 x10 x21 f3 x37 x11 x22 f3 x37 x12 x23 t3 x35 x36 x37 .end