# This file has been generated using RevKit 1.3-snapshot (www.revkit.org)
.version 2.0
.numvars 93
.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 x38 x39 x40 x41 x42 x43 x44 x45 x46 x47 x48 x49 x50 x51 x52 x53 x54 x55 x56 x57 x58 x59 x60 x61 x62 x63 x64 x65 x66 x67 x68 x69 x70 x71 x72 x73 x74 x75 x76 x77 x78 x79 x80 x81 x82 x83 x84 x85 x86 x87 x88 x89 x90 x91 x92
.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 dupl_jump_0.0 dupl_jump_0.1 dupl_jump_0.2 dupl_jump_0.3 dupl_jump_0.4 dupl_jump_0.5 dupl_jump_0.6 dupl_jump_0.7 dupl_jump_0.8 dupl_jump_0.9 dupl_jump_0.10 dupl_pc_0.0 dupl_pc_0.1 dupl_pc_0.2 dupl_pc_0.3 dupl_pc_0.4 dupl_pc_0.5 dupl_pc_0.6 dupl_pc_0.7 dupl_pc_0.8 dupl_pc_0.9 dupl_pc_0.10 dupl_zero_0.0 dupl_zero_0.1 dupl_zero_0.2 dupl_zero_0.3 dupl_zero_0.4 dupl_zero_0.5 dupl_zero_0.6 dupl_zero_0.7 dupl_zero_0.8 dupl_zero_0.9 dupl_zero_0.10 const_0 dupl_jump_1.0 dupl_jump_1.1 dupl_jump_1.2 dupl_jump_1.3 dupl_jump_1.4 dupl_jump_1.5 dupl_jump_1.6 dupl_jump_1.7 dupl_jump_1.8 dupl_jump_1.9 dupl_jump_1.10 dupl_pc_1.0 dupl_pc_1.1 dupl_pc_1.2 dupl_pc_1.3 dupl_pc_1.4 dupl_pc_1.5 dupl_pc_1.6 dupl_pc_1.7 dupl_pc_1.8 dupl_pc_1.9 dupl_pc_1.10 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 dupl_jump_0.0 dupl_jump_0.1 dupl_jump_0.2 dupl_jump_0.3 dupl_jump_0.4 dupl_jump_0.5 dupl_jump_0.6 dupl_jump_0.7 dupl_jump_0.8 dupl_jump_0.9 dupl_jump_0.10 dupl_pc_0.0 dupl_pc_0.1 dupl_pc_0.2 dupl_pc_0.3 dupl_pc_0.4 dupl_pc_0.5 dupl_pc_0.6 dupl_pc_0.7 dupl_pc_0.8 dupl_pc_0.9 dupl_pc_0.10 dupl_zero_0.0 dupl_zero_0.1 dupl_zero_0.2 dupl_zero_0.3 dupl_zero_0.4 dupl_zero_0.5 dupl_zero_0.6 dupl_zero_0.7 dupl_zero_0.8 dupl_zero_0.9 dupl_zero_0.10 garbage dupl_jump_1.0 dupl_jump_1.1 dupl_jump_1.2 dupl_jump_1.3 dupl_jump_1.4 dupl_jump_1.5 dupl_jump_1.6 dupl_jump_1.7 dupl_jump_1.8 dupl_jump_1.9 dupl_jump_1.10 dupl_pc_1.0 dupl_pc_1.1 dupl_pc_1.2 dupl_pc_1.3 dupl_pc_1.4 dupl_pc_1.5 dupl_pc_1.6 dupl_pc_1.7 dupl_pc_1.8 dupl_pc_1.9 dupl_pc_1.10 const_0
.constants ------------------------000000000000000000000000000000000000000000000000000000000000000000000
.garbage 1111111111111-----------111111111111111111111111111111111111111111111111111111111111111111111
.begin
t2 x0 x35
t2 x2 x36
t2 x3 x37
t2 x4 x38
t2 x5 x39
t2 x6 x40
t2 x7 x41
t2 x8 x42
t2 x9 x43
t2 x10 x44
t2 x11 x45
t2 x12 x46
t2 x13 x47
t2 x14 x48
t2 x15 x49
t2 x16 x50
t2 x17 x51
t2 x18 x52
t2 x19 x53
t2 x20 x54
t2 x21 x55
t2 x22 x56
t2 x23 x57
t2 x24 x58
t2 x25 x59
t2 x26 x60
t2 x27 x61
t2 x28 x62
t2 x29 x63
t2 x30 x64
t2 x31 x65
t2 x32 x66
t2 x33 x67
t2 x34 x68
f2 x47 x58
f2 x48 x59
f2 x49 x60
f2 x50 x61
f2 x51 x62
f2 x52 x63
f2 x53 x64
f2 x54 x65
f2 x55 x66
f2 x56 x67
f2 x57 x68
t2 x1 x69
t2 x2 x70
t2 x3 x71
t2 x4 x72
t2 x5 x73
t2 x6 x74
t2 x7 x75
t2 x8 x76
t2 x9 x77
t2 x10 x78
t2 x11 x79
t2 x12 x80
t2 x13 x81
t2 x14 x82
t2 x15 x83
t2 x16 x84
t2 x17 x85
t2 x18 x86
t2 x19 x87
t2 x20 x88
t2 x21 x89
t2 x22 x90
t2 x23 x91
t6 x81 x82 x83 x84 x85 x92
t7 x86 x87 x88 x89 x90 x92 x91
t6 x86 x87 x88 x89 x92 x90
t5 x86 x87 x88 x92 x89
t4 x86 x87 x92 x88
t3 x86 x92 x87
t2 x92 x86
t6 x81 x82 x83 x84 x85 x92
t5 x81 x82 x83 x84 x85
t4 x81 x82 x83 x84
t3 x81 x82 x83
t2 x81 x82
t1 x81
f2 x2 x13
f2 x3 x14
f2 x4 x15
f2 x5 x16
f2 x6 x17
f2 x7 x18
f2 x8 x19
f2 x9 x20
f2 x10 x21
f2 x11 x22
f2 x12 x23
f3 x69 x2 x70
f3 x69 x3 x71
f3 x69 x4 x72
f3 x69 x5 x73
f3 x69 x6 x74
f3 x69 x7 x75
f3 x69 x8 x76
f3 x69 x9 x77
f3 x69 x10 x78
f3 x69 x11 x79
f3 x69 x12 x80
f3 x69 x13 x81
f3 x69 x14 x82
f3 x69 x15 x83
f3 x69 x16 x84
f3 x69 x17 x85
f3 x69 x18 x86
f3 x69 x19 x87
f3 x69 x20 x88
f3 x69 x21 x89
f3 x69 x22 x90
f3 x69 x23 x91
f3 x35 x2 x36
f3 x35 x3 x37
f3 x35 x4 x38
f3 x35 x5 x39
f3 x35 x6 x40
f3 x35 x7 x41
f3 x35 x8 x42
f3 x35 x9 x43
f3 x35 x10 x44
f3 x35 x11 x45
f3 x35 x12 x46
f3 x35 x13 x47
f3 x35 x14 x48
f3 x35 x15 x49
f3 x35 x16 x50
f3 x35 x17 x51
f3 x35 x18 x52
f3 x35 x19 x53
f3 x35 x20 x54
f3 x35 x21 x55
f3 x35 x22 x56
f3 x35 x23 x57
f3 x35 x24 x58
f3 x35 x25 x59
f3 x35 x26 x60
f3 x35 x27 x61
f3 x35 x28 x62
f3 x35 x29 x63
f3 x35 x30 x64
f3 x35 x31 x65
f3 x35 x32 x66
f3 x35 x33 x67
f3 x35 x34 x68
.end