write: supported cycles

with Gosper's loop detection algorithm