{ x3 = x1/50 }