Given X and Y integers < 2^30-1
while true
  If X == Y
    Terminate fail
  If Y > X
    swap X,Y
  If (X,Y) found in Q
    Terminate success
  Add (X,Y) to Q
  X -= Y
  Y += Y