x1 + x2 <-> x3
2*x3 <-> x4
x4 <-> x5
x12 + x23 <-> x7
x7 <-> x18 + x9
x2 <-> x6
x5 -> x8
x14 + x5 <-> x15
x23 -> x18
x16 + x6 <-> x10
2*x10 <-> x11
x11 <-> x8
0 -> x2
x14 + x8 <-> x17
x9 -> x12
x15 + x22 <-> x23
x23 + x24 <-> x25
x25 + x26 <-> x27
x27 <-> x25 + x28
x25 + x43 <-> x29
x29 <-> x25 + x26
x15 + x31 <-> x32
x32 <-> x33
x22 + x33 <-> x34
x24 + x34 <-> x35
x26 + x35 <-> x36
x36 <-> x28 + x35
x28 + x41 <-> x42
x42 <-> x43 + x45
x35 + x43 <-> x37
x37 <-> x26 + x35
x35 <-> x15 + x38
x38 <-> x30 + x40
x25 <-> x15 + x30
x30 <-> x22 + x24
x40 -> x31
x33 <-> x15 + x40
x22 + x40 <-> x39
x34 <-> x15 + x39
x24 + x39 <-> x38
x30 + x33 <-> x35
x44 + x45 <-> x46
x46 <-> x41 + x44
x45 + x47 <-> x48
x48 <-> x45 + x49
x45 + x49 <-> x50
x50 <-> x45 + x51
x51 + x53 <-> x52
x52 <-> x49 + x53
x49 + x53 <-> x54
x54 <-> x47 + x53
x51 + x55 <-> x56
x56 <-> x51 + x57
x51 + x57 <-> x58
x58 <-> x51 + x59
x59 + x60 <-> x61
x61 <-> x57 + x60
x57 + x60 <-> x62
x62 <-> x55 + x60
x6 -> x86
x16 -> x13
x8 -> x87
x17 + x22 <-> x18
x18 + x24 <-> x19
x19 + x26 <-> x20
x20 <-> x19 + x69
x19 + x71 <-> x21
x21 <-> x19 + x26
x17 + x31 <-> x63
x63 <-> x64
x22 + x64 <-> x65
x24 + x65 <-> x66
x26 + x66 <-> x67
x67 <-> x66 + x69
x41 + x69 <-> x70
x70 <-> x71 + x72
x66 + x71 <-> x68
x68 <-> x26 + x66
x66 <-> x17 + x38
x19 <-> x17 + x30
x64 <-> x17 + x40
x65 <-> x17 + x39
x30 + x64 <-> x66
x44 + x72 <-> x73
x73 <-> x41 + x44
x47 + x72 <-> x74
x74 <-> x72 + x75
x72 + x75 <-> x76
x76 <-> x72 + x77
x53 + x77 <-> x78
x78 <-> x53 + x75
x53 + x75 <-> x79
x79 <-> x47 + x53
x55 + x77 <-> x80
x80 <-> x77 + x81
x77 + x81 <-> x82
x82 <-> x77 + x83
x60 + x83 <-> x84
x84 <-> x60 + x81
x60 + x81 <-> x85
x85 <-> x55 + x60
x15 <-> x17
x32 <-> x63
x33 <-> x64
x25 <-> x19
x12 + x25 <-> x88
x88 <-> x19 + x9
x27 <-> x20
x12 + x27 <-> x89
x89 <-> x20 + x9
x29 <-> x21
x12 + x29 <-> x90
x90 <-> x21 + x9
x34 <-> x65
x12 + x34 <-> x91
x91 <-> x65 + x9
x35 <-> x66
x12 + x35 <-> x92
x92 <-> x66 + x9
x36 <-> x67
x12 + x36 <-> x93
x93 <-> x67 + x9
x37 <-> x68
x12 + x37 <-> x94
x94 <-> x68 + x9