김동연 과제1

beginxyz; window(0.1) 집합 {abs((z + 1),exp(-x*(x+1) - 0.1*y*(y+3))) < 1 && z > 0; 12}