begin in p: 1 1 in p: 1 2 in p: 1 3 in p: 2 1 in p: 2 2 in p: 2 3 in p: -5 -6 in p: -44 -55 in p: -77 -88 in q after p(-77,-88) after p(-44,-55) after p(x,y) after co: -5 -6