peer3 eval hw1 app1 dijkstraknuth android app