import num
:ann factor
:ann \x, y. x - 7