2.30 You are given three integer-valued functions: f(i), g(j), and h(k). The domain of each function is the nonnegative integers. The range of each function is increasing; for example, f (i) < f (i+1) for all i. There is at least one value common to the range of the three functions. (This has been called the earliest common meeting time problem, with the ranges of the functions being the times at which three people can meet.) (a) Write a concurrent program to set i, j, and k to the smallest integers such that (i) g (j) h(k). Use co to do comparisons in parallel. (This program uses fine-grained parallelism.) (b) Develop a proof outline that shows that your solution is correct. Show that the processes are interference-free.