read "v1" = read "v2" = read "v3" = read "v4" = v1 0 index v1 1 index 10 * + "x3" = v1 3 index v1 4 index 10 * + "x2" = v1 6 index v1 7 index 10 * + "x1" = x1 x2 x3