Key points are not available for this paper at this time.
Computer Science Department
David G. Andersen (Sat,) studied this question.