x_4 + x_51 -> x_52
x_52 -> x_4 + x_51
x_52 -> 0
x_23 + x_4 -> x_51
x_51 -> x_23 + x_4
x_51 -> 0
x_41 + x_49 -> x_50
x_50 -> x_41 + x_49
x_50 -> 0
x_22 + x_41 -> x_49
x_49 -> x_22 + x_41
x_49 -> 0
x_41 + x_47 -> x_48
x_48 -> x_41 + x_47
x_17 + 1000*x_45 -> x_18 + 1000*x_47
x_20 -> x_18 + 1000*x_47
x_18 + 1000*x_47 -> x_20
(1/2)*x_18 + 500*x_47 + x_48 -> (1/2)*x_19 + x_48
x_42 + x_45 -> x_46
x_46 -> x_42 + x_45
x_16 + 1000*x_43 + x_44 -> x_17 + x_44 + 1000*x_45
x_42 + x_43 -> x_44
x_44 -> x_42 + x_43
0 -> x_16 + 1000*x_43
2*x_19 -> x_16 + 1000*x_43
x_16 + 1000*x_43 + x_44 -> x_44
x_41 -> x_42
x_42 -> x_41
x_4 -> x_41
x_30 -> x_41
x_41 -> x_30
0 -> x_40
x_40 -> 0
x_38 + x_4 + x_5 -> x_38 + x_39 + x_4 + x_5
x_2 + x_8 -> x_2 + x_39 + x_8
x_39 -> 0
0 -> x_38
x_1 -> x_1 + x_38
x_2 -> x_2 + x_38
x_38 -> 0
0 -> x_37
x_37 -> 0
x_10 -> x_10 + x_36
x_36 -> 0
x_2 + x_35 + x_39 -> x_2 + 2*x_35 + x_39
x_8 -> x_35 + x_8
x_9 -> x_35 + x_9
x_7 -> x_35 + x_7
x_3 -> x_3 + x_35
x_35 -> 0
0 -> x_34
x_34 -> 0
x_7 -> x_33 + x_7
x_9 -> x_33 + x_9
x_33 -> 0
0 -> x_32
x_32 -> 0
0 -> x_31
x_31 -> 0
x_29 -> x_30
x_2 + x_29 -> x_2 + x_30
x_27 + x_29 -> x_27 + x_30
x_30 -> 0
0 -> x_29
x_1 -> x_28
x_28 -> 0
x_26 + x_29 -> x_27 + x_29
x_27 + x_29 + x_8 -> 2*x_27 + x_29 + x_8
x_27 -> 0
x_2 + x_25 -> x_2 + x_26
x_26 -> 0
x_24 -> x_25
x_25 -> 0
x_11 -> x_24
x_10 + x_11 -> x_10 + x_24
x_22 -> x_23
x_23 -> x_22
x_18 -> x_18 + 1000000*x_22
x_20 -> x_20 + 1000000*x_22
x_21 -> x_21 + 1000000*x_22
x_22 -> 0
(1/2)*x_20 + x_47 + x_48 -> (1/2)*x_21 + x_47 + x_48
x_21 -> 0
x_20 + x_47 + x_48 -> 2*x_20 + x_47 + x_48
x_20 -> 0
x_14 -> x_15
x_15 -> 0
x_9 -> x_14
x_12 -> x_13
x_13 + x_2 -> x_2 + x_7
x_13 -> 0
x_11 -> x_12
x_10 + x_11 -> x_10 + x_12
x_12 -> 2*x_12
0 -> x_11
x_10 -> x_10 + x_11
x_11 -> 0
x_4 + x_6 -> x_10 + x_4
x_29 + x_6 -> x_10 + x_29 + x_6
x_10 -> 0
x_33 + x_39 + x_7 -> x_33 + x_39 + x_9
x_9 -> 0
x_33 + x_35 + x_36 + x_38 + x_7 -> x_33 + x_35 + x_36 + x_38 + x_8
x_1 + x_30 + x_7 -> x_1 + x_30 + x_8
x_2 + x_30 + x_7 -> x_2 + x_30 + x_7 + x_8
x_29 + x_8 -> x_29 + 2*x_8
x_8 -> 0
x_2 + x_7 -> x_2 + 2*x_7
x_7 -> 0
x_2 + x_30 + x_7 -> x_2 + x_30
0 -> x_6
x_4 -> x_4 + x_6
x_29 -> x_29 + x_6
x_6 -> 0
x_29 + x_6 -> x_29
x_1 + x_3 + x_4 -> x_1 + x_3 + x_4 + x_5
x_3 + x_5 -> x_3 + 2*x_5
x_3 + x_5 -> x_3
x_3 + x_5 + x_8 -> x_3 + x_8
x_4 -> 2*x_4
x_3 + x_5 -> x_3 + x_4 + x_5
x_3 + x_5 + x_8 -> x_3 + x_4 + x_5 + x_8
x_2 + x_4 -> x_2
x_1 + x_4 -> x_1
x_4 + x_6 -> x_6
x_1 + 25*x_4 -> x_3
x_3 -> 0
x_3 + x_5 -> x_5
x_3 + x_8 -> x_8
x_1 + x_33 + x_39 + x_4 + x_5 -> x_1 + x_2 + x_33 + x_39 + x_4 + x_5
x_1 + x_33 + x_39 + x_4 + x_5 -> x_2 + x_33 + x_39 + x_4 + x_5
x_1 + x_29 -> x_2 + x_29
x_2 -> 0
x_2 + x_35 -> x_1 + x_35
0 -> x_1
x_2 -> x_1 + x_2
x_3 -> x_1 + x_3
x_29 -> x_1 + x_29
x_1 -> 0
x_1 + x_33 + x_39 + x_4 + x_5 -> x_33 + x_39 + x_4 + x_5