0 -> x2
x2 -> 0
x6 -> x2 + x5
x4 -> x5
2*x6 -> x7
x7 -> 2*x6
x7 -> x8
x16 -> x15 + x7
x8 + x9 -> x11
x11 -> x10 + x8
x10 + x8 -> x12
x12 -> x10 + x8
x15 + x8 -> x16
x16 -> x15 + x8
x29 + x8 -> x30
x30 -> x29 + x8
x39 -> x46 + x8
x46 + x8 -> x39
x40 -> x45 + x8
x45 + x8 -> x40
x41 -> x44 + x8
x44 + x8 -> x41
x18 -> x17 + x9
x10 + x9 -> x14
x14 -> x10 + x9
x22 -> x9
x30 + x9 -> x31
x31 -> x30 + x9
x32 -> x15 + x29 + x7 + x9
x10 -> (1/2)*x13
(1/2)*x13 -> x10
x10 + x17 -> x18
x18 -> x10 + x17
x13 + x17 -> x19
x19 -> x13 + x17
x13 -> x20
x19 -> x14 + x17
x15 + x31 -> x32
x46 -> x15
x16 -> x39
x39 -> x16
x20 -> 2*x21
2*x21 -> x20
x20 + x23 -> x27
x27 -> x20 + x23
x21 + x23 -> x28
x28 -> x21 + x23
x24 -> x21 + x22
x21 + x22 -> x24
x28 -> x22 + x23
x27 -> x23 + x24
0 -> x25
x25 -> x26
x26 -> 0
0 -> x29
x29 -> 0
x32 -> x29 + x33
x34 + x46 -> x45
x45 -> x34 + x46
x38 -> x34 + x35
x34 + x35 -> x38
x34 + x39 -> x40
x40 -> x34 + x39
x35 + x40 -> x41
x41 -> x35 + x40
x35 + x45 -> x44
x44 -> x35 + x45
x36 + x41 -> x42
x42 -> x36 + x41
x43 -> x36 + x41
x36 + x41 -> x43
x42 -> x37 + x41
x37 + x41 -> x42
x37 + x47 -> x48
x48 -> x37 + x47
x38 + x39 -> x41
x41 -> x38 + x39
x44 -> x38 + x46
x38 + x46 -> x44
x41 + x49 -> x43
x43 -> x41 + x49
x52 -> x47 + x50
x48 -> x49 + x51
x49 + x51 -> x48
x50 + x51 -> x52
x52 -> x50 + x51
x51 + x53 -> x54
x54 -> x51 + x53
x54 -> x51 + x55
x51 + x55 -> x56
x56 -> x51 + x55
x60 -> x53 + x59
x58 -> x55 + x59
x55 + x59 -> x60
x60 -> x55 + x59
x56 -> x51 + x57
x57 + x59 -> x58
x58 -> x57 + x59
x57 + x61 -> x62
x62 -> x57 + x61
x62 -> x57 + x63
x64 -> x57 + x63
x57 + x63 -> x64
x64 -> x57 + x65
x68 -> x61 + x66
x67 -> x63 + x66
x63 + x66 -> x68
x68 -> x63 + x66
x65 + x66 -> x67
x67 -> x65 + x66