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