1MS : 2.5.21 l [-1, -2, 3, 17] [-2, 2, 3, 36] [ 5, 2, -1, 10] L_1 <- -1 * L_1 [ 1, 2, -3, -17] [-2, 2, 3, 36] [ 5, 2, -1, 10] L_2 <- L_2 + 2 * L_1 [1, 2, -3, -17] [0, 6, -3, 2] [5, 2, -1, 10] L_3 <- L_3 - 5 * L_1 [1, 2, -3, -17] [0, 6, -3, 2] [0, -8, 14, 95] L_2 <- 1/3 * L_2 [1, 2, -3, -17] [0, 2, -1, 2/3] [0, -8, 14, 95] L_3 <- L_3 + 4 * L_2 [1, 2, -3, -17] [0, 2, -1, 2/3] [0, 0, 10, 293/3] L_3 <- 1/10 * L_3 [1, 2, -3, -17] [0, 2, -1, 2/3] [0, 0, 1, 293/30] L_2 <- L_2 + 1 * L_3 [1, 2, -3, -17] [0, 2, 0, 313/30] [0, 0, 1, 293/30] L_1 <- L_1 + 3 * L_3 [1, 2, 0, 123/10] [0, 2, 0, 313/30] [0, 0, 1, 293/30] L_1 <- L_1 - 1 * L_2 [1, 0, 0, 28/15] [0, 2, 0, 313/30] [0, 0, 1, 293/30] L_2 <- 1/2 * L_2 [1, 0, 0, 28/15] [0, 1, 0, 313/60] [0, 0, 1, 293/30]