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