Every figure below was drawn by COMPAS from the problem statement printed beside it — the statement goes in, a constructive program comes out, and the drawing is what that program solves to.