{"id":"linked-list-cycle","variantId":"linked-list-cycle:csharp","title":"Linked List Cycle","problemId":"linked-list-cycle","fileName":"linked-list-cycle.cs","language":"csharp","displayCode":"public class Solution\n{\n    public bool HasCycle(ListNode head)\n    {\n        var slow = head;\n        var fast = head;\n\n        while (fast != null && fast.next != null)\n        {\n            slow = slow.next;\n            fast = fast.next.next;\n            if (object.ReferenceEquals(slow, fast))\n            {\n                return true;\n            }\n        }\n\n        return false;\n    }\n}","runtimeFrames":[{"frameIndex":0,"anchor":{"line":3,"file":"solution.cs","functionName":"HasCycle"},"state":{"head":{"__type__":"ListNode","val":3,"__id__":"ListNode:1","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__ref__":"ListNode:2"}}}}}},"events":[{"kind":"call","line":3,"function":"HasCycle","target":null,"value":null,"method":null,"args":{"head":{"__type__":"ListNode","val":3,"__id__":"ListNode:1","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__ref__":"ListNode:2"}}}}}}}],"accesses":[],"callStack":[{"functionName":"HasCycle","line":3,"args":{"head":{"__type__":"ListNode","val":3,"__id__":"ListNode:1","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__ref__":"ListNode:2"}}}}}}}],"stdout":[]},{"frameIndex":1,"anchor":{"line":5,"file":"solution.cs","functionName":"HasCycle"},"state":{"head":{"__type__":"ListNode","val":3,"__id__":"ListNode:1","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__ref__":"ListNode:2"}}}}},"slow":{"__type__":"ListNode","val":3,"__id__":"ListNode:1","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__ref__":"ListNode:2"}}}}}},"events":[{"kind":"line","line":5,"function":"HasCycle","target":null,"value":null,"method":null,"args":null},{"kind":"write","line":5,"function":null,"target":{"variable":"slow","path":null},"value":{"__type__":"ListNode","val":3,"__id__":"ListNode:1","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__ref__":"ListNode:2"}}}}},"method":null,"args":null},{"kind":"snapshot","line":5,"function":null,"target":{"variable":"head","path":null},"value":{"__type__":"ListNode","val":3,"__id__":"ListNode:1","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__ref__":"ListNode:2"}}}}},"method":null,"args":null},{"kind":"snapshot","line":5,"function":null,"target":{"variable":"slow","path":null},"value":{"__type__":"ListNode","val":3,"__id__":"ListNode:1","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__ref__":"ListNode:2"}}}}},"method":null,"args":null}],"accesses":[{"kind":"write","target":{"variable":"slow"},"value":{"__type__":"ListNode","val":3,"__id__":"ListNode:1","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__ref__":"ListNode:2"}}}}},"event":{"target":{"variable":"slow","path":null},"method":null,"args":null}}],"callStack":[{"functionName":"HasCycle","line":3,"args":{"head":{"__type__":"ListNode","val":3,"__id__":"ListNode:1","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__ref__":"ListNode:2"}}}}}}}],"stdout":[]},{"frameIndex":2,"anchor":{"line":6,"file":"solution.cs","functionName":"HasCycle"},"state":{"head":{"__type__":"ListNode","val":3,"__id__":"ListNode:1","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__ref__":"ListNode:2"}}}}},"slow":{"__type__":"ListNode","val":3,"__id__":"ListNode:1","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__ref__":"ListNode:2"}}}}},"fast":{"__type__":"ListNode","val":3,"__id__":"ListNode:1","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__ref__":"ListNode:2"}}}}}},"events":[{"kind":"line","line":6,"function":"HasCycle","target":null,"value":null,"method":null,"args":null},{"kind":"write","line":6,"function":null,"target":{"variable":"fast","path":null},"value":{"__type__":"ListNode","val":3,"__id__":"ListNode:1","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__ref__":"ListNode:2"}}}}},"method":null,"args":null},{"kind":"snapshot","line":6,"function":null,"target":{"variable":"head","path":null},"value":{"__type__":"ListNode","val":3,"__id__":"ListNode:1","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__ref__":"ListNode:2"}}}}},"method":null,"args":null},{"kind":"snapshot","line":6,"function":null,"target":{"variable":"slow","path":null},"value":{"__type__":"ListNode","val":3,"__id__":"ListNode:1","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__ref__":"ListNode:2"}}}}},"method":null,"args":null},{"kind":"snapshot","line":6,"function":null,"target":{"variable":"fast","path":null},"value":{"__type__":"ListNode","val":3,"__id__":"ListNode:1","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__ref__":"ListNode:2"}}}}},"method":null,"args":null}],"accesses":[{"kind":"write","target":{"variable":"fast"},"value":{"__type__":"ListNode","val":3,"__id__":"ListNode:1","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__ref__":"ListNode:2"}}}}},"event":{"target":{"variable":"fast","path":null},"method":null,"args":null}}],"callStack":[{"functionName":"HasCycle","line":3,"args":{"head":{"__type__":"ListNode","val":3,"__id__":"ListNode:1","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__ref__":"ListNode:2"}}}}}}}],"stdout":[]},{"frameIndex":3,"anchor":{"line":8,"file":"solution.cs","functionName":"HasCycle"},"state":{"head":{"__type__":"ListNode","val":3,"__id__":"ListNode:1","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__ref__":"ListNode:2"}}}}},"slow":{"__type__":"ListNode","val":3,"__id__":"ListNode:1","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__ref__":"ListNode:2"}}}}},"fast":{"__type__":"ListNode","val":3,"__id__":"ListNode:1","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__ref__":"ListNode:2"}}}}}},"events":[{"kind":"line","line":8,"function":"HasCycle","target":null,"value":null,"method":null,"args":null},{"kind":"read","line":8,"function":null,"target":{"variable":"fast","path":["next"]},"value":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__ref__":"ListNode:2"}}}},"method":null,"args":null},{"kind":"snapshot","line":8,"function":null,"target":{"variable":"head","path":null},"value":{"__type__":"ListNode","val":3,"__id__":"ListNode:1","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__ref__":"ListNode:2"}}}}},"method":null,"args":null},{"kind":"snapshot","line":8,"function":null,"target":{"variable":"slow","path":null},"value":{"__type__":"ListNode","val":3,"__id__":"ListNode:1","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__ref__":"ListNode:2"}}}}},"method":null,"args":null},{"kind":"snapshot","line":8,"function":null,"target":{"variable":"fast","path":null},"value":{"__type__":"ListNode","val":3,"__id__":"ListNode:1","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__ref__":"ListNode:2"}}}}},"method":null,"args":null}],"accesses":[{"kind":"read","target":{"variable":"fast","path":["next"]},"value":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__ref__":"ListNode:2"}}}},"sourceValue":{"__type__":"ListNode","val":3,"__id__":"ListNode:1","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__ref__":"ListNode:2"}}}}},"event":{"target":{"variable":"fast","path":["next"]},"method":null,"args":null}}],"callStack":[{"functionName":"HasCycle","line":3,"args":{"head":{"__type__":"ListNode","val":3,"__id__":"ListNode:1","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__ref__":"ListNode:2"}}}}}}}],"stdout":[]},{"frameIndex":4,"anchor":{"line":10,"file":"solution.cs","functionName":"HasCycle"},"state":{"head":{"__type__":"ListNode","val":3,"__id__":"ListNode:1","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__ref__":"ListNode:2"}}}}},"slow":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__ref__":"ListNode:2"}}}},"fast":{"__type__":"ListNode","val":3,"__id__":"ListNode:1","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__ref__":"ListNode:2"}}}}}},"events":[{"kind":"line","line":10,"function":"HasCycle","target":null,"value":null,"method":null,"args":null},{"kind":"read","line":10,"function":null,"target":{"variable":"slow","path":["next"]},"value":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__ref__":"ListNode:2"}}}},"method":null,"args":null},{"kind":"write","line":10,"function":null,"target":{"variable":"slow","path":null},"value":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__ref__":"ListNode:2"}}}},"method":null,"args":null},{"kind":"snapshot","line":10,"function":null,"target":{"variable":"head","path":null},"value":{"__type__":"ListNode","val":3,"__id__":"ListNode:1","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__ref__":"ListNode:2"}}}}},"method":null,"args":null},{"kind":"snapshot","line":10,"function":null,"target":{"variable":"slow","path":null},"value":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__ref__":"ListNode:2"}}}},"method":null,"args":null},{"kind":"snapshot","line":10,"function":null,"target":{"variable":"fast","path":null},"value":{"__type__":"ListNode","val":3,"__id__":"ListNode:1","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__ref__":"ListNode:2"}}}}},"method":null,"args":null}],"accesses":[{"kind":"read","target":{"variable":"slow","path":["next"]},"value":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__ref__":"ListNode:2"}}}},"sourceValue":{"__type__":"ListNode","val":3,"__id__":"ListNode:1","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__ref__":"ListNode:2"}}}}},"event":{"target":{"variable":"slow","path":["next"]},"method":null,"args":null}},{"kind":"write","target":{"variable":"slow"},"value":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__ref__":"ListNode:2"}}}},"sourceValue":{"__type__":"ListNode","val":3,"__id__":"ListNode:1","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__ref__":"ListNode:2"}}}}},"event":{"target":{"variable":"slow","path":null},"method":null,"args":null}}],"callStack":[{"functionName":"HasCycle","line":3,"args":{"head":{"__type__":"ListNode","val":3,"__id__":"ListNode:1","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__ref__":"ListNode:2"}}}}}}}],"stdout":[]},{"frameIndex":5,"anchor":{"line":11,"file":"solution.cs","functionName":"HasCycle"},"state":{"head":{"__type__":"ListNode","val":3,"__id__":"ListNode:1","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__ref__":"ListNode:2"}}}}},"slow":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__ref__":"ListNode:2"}}}},"fast":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__ref__":"ListNode:3"}}}}},"events":[{"kind":"line","line":11,"function":"HasCycle","target":null,"value":null,"method":null,"args":null},{"kind":"read","line":11,"function":null,"target":{"variable":"fast","path":["next","next"]},"value":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__ref__":"ListNode:3"}}}},"method":null,"args":null},{"kind":"write","line":11,"function":null,"target":{"variable":"fast","path":null},"value":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__ref__":"ListNode:3"}}}},"method":null,"args":null},{"kind":"snapshot","line":11,"function":null,"target":{"variable":"head","path":null},"value":{"__type__":"ListNode","val":3,"__id__":"ListNode:1","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__ref__":"ListNode:2"}}}}},"method":null,"args":null},{"kind":"snapshot","line":11,"function":null,"target":{"variable":"slow","path":null},"value":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__ref__":"ListNode:2"}}}},"method":null,"args":null},{"kind":"snapshot","line":11,"function":null,"target":{"variable":"fast","path":null},"value":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__ref__":"ListNode:3"}}}},"method":null,"args":null}],"accesses":[{"kind":"read","target":{"variable":"fast","path":["next","next"]},"value":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__ref__":"ListNode:3"}}}},"sourceValue":{"__type__":"ListNode","val":3,"__id__":"ListNode:1","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__ref__":"ListNode:2"}}}}},"event":{"target":{"variable":"fast","path":["next","next"]},"method":null,"args":null}},{"kind":"write","target":{"variable":"fast"},"value":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__ref__":"ListNode:3"}}}},"sourceValue":{"__type__":"ListNode","val":3,"__id__":"ListNode:1","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__ref__":"ListNode:2"}}}}},"event":{"target":{"variable":"fast","path":null},"method":null,"args":null}}],"callStack":[{"functionName":"HasCycle","line":3,"args":{"head":{"__type__":"ListNode","val":3,"__id__":"ListNode:1","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__ref__":"ListNode:2"}}}}}}}],"stdout":[]},{"frameIndex":6,"anchor":{"line":12,"file":"solution.cs","functionName":"HasCycle"},"state":{"head":{"__type__":"ListNode","val":3,"__id__":"ListNode:1","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__ref__":"ListNode:2"}}}}},"slow":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__ref__":"ListNode:2"}}}},"fast":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__ref__":"ListNode:3"}}}}},"events":[{"kind":"line","line":12,"function":"HasCycle","target":null,"value":null,"method":null,"args":null},{"kind":"snapshot","line":12,"function":null,"target":{"variable":"head","path":null},"value":{"__type__":"ListNode","val":3,"__id__":"ListNode:1","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__ref__":"ListNode:2"}}}}},"method":null,"args":null},{"kind":"snapshot","line":12,"function":null,"target":{"variable":"slow","path":null},"value":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__ref__":"ListNode:2"}}}},"method":null,"args":null},{"kind":"snapshot","line":12,"function":null,"target":{"variable":"fast","path":null},"value":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__ref__":"ListNode:3"}}}},"method":null,"args":null}],"accesses":[],"callStack":[{"functionName":"HasCycle","line":3,"args":{"head":{"__type__":"ListNode","val":3,"__id__":"ListNode:1","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__ref__":"ListNode:2"}}}}}}}],"stdout":[]},{"frameIndex":7,"anchor":{"line":8,"file":"solution.cs","functionName":"HasCycle"},"state":{"head":{"__type__":"ListNode","val":3,"__id__":"ListNode:1","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__ref__":"ListNode:2"}}}}},"slow":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__ref__":"ListNode:2"}}}},"fast":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__ref__":"ListNode:3"}}}}},"events":[{"kind":"line","line":8,"function":"HasCycle","target":null,"value":null,"method":null,"args":null},{"kind":"read","line":8,"function":null,"target":{"variable":"fast","path":["next"]},"value":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__ref__":"ListNode:4"}}}},"method":null,"args":null},{"kind":"snapshot","line":8,"function":null,"target":{"variable":"head","path":null},"value":{"__type__":"ListNode","val":3,"__id__":"ListNode:1","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__ref__":"ListNode:2"}}}}},"method":null,"args":null},{"kind":"snapshot","line":8,"function":null,"target":{"variable":"slow","path":null},"value":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__ref__":"ListNode:2"}}}},"method":null,"args":null},{"kind":"snapshot","line":8,"function":null,"target":{"variable":"fast","path":null},"value":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__ref__":"ListNode:3"}}}},"method":null,"args":null}],"accesses":[{"kind":"read","target":{"variable":"fast","path":["next"]},"value":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__ref__":"ListNode:4"}}}},"sourceValue":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__ref__":"ListNode:3"}}}},"event":{"target":{"variable":"fast","path":["next"]},"method":null,"args":null}}],"callStack":[{"functionName":"HasCycle","line":3,"args":{"head":{"__type__":"ListNode","val":3,"__id__":"ListNode:1","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__ref__":"ListNode:2"}}}}}}}],"stdout":[]},{"frameIndex":8,"anchor":{"line":10,"file":"solution.cs","functionName":"HasCycle"},"state":{"head":{"__type__":"ListNode","val":3,"__id__":"ListNode:1","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__ref__":"ListNode:2"}}}}},"slow":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__ref__":"ListNode:3"}}}},"fast":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__ref__":"ListNode:3"}}}}},"events":[{"kind":"line","line":10,"function":"HasCycle","target":null,"value":null,"method":null,"args":null},{"kind":"read","line":10,"function":null,"target":{"variable":"slow","path":["next"]},"value":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__ref__":"ListNode:3"}}}},"method":null,"args":null},{"kind":"write","line":10,"function":null,"target":{"variable":"slow","path":null},"value":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__ref__":"ListNode:3"}}}},"method":null,"args":null},{"kind":"snapshot","line":10,"function":null,"target":{"variable":"head","path":null},"value":{"__type__":"ListNode","val":3,"__id__":"ListNode:1","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__ref__":"ListNode:2"}}}}},"method":null,"args":null},{"kind":"snapshot","line":10,"function":null,"target":{"variable":"slow","path":null},"value":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__ref__":"ListNode:3"}}}},"method":null,"args":null},{"kind":"snapshot","line":10,"function":null,"target":{"variable":"fast","path":null},"value":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__ref__":"ListNode:3"}}}},"method":null,"args":null}],"accesses":[{"kind":"read","target":{"variable":"slow","path":["next"]},"value":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__ref__":"ListNode:3"}}}},"sourceValue":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__ref__":"ListNode:2"}}}},"event":{"target":{"variable":"slow","path":["next"]},"method":null,"args":null}},{"kind":"write","target":{"variable":"slow"},"value":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__ref__":"ListNode:3"}}}},"sourceValue":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__ref__":"ListNode:2"}}}},"event":{"target":{"variable":"slow","path":null},"method":null,"args":null}}],"callStack":[{"functionName":"HasCycle","line":3,"args":{"head":{"__type__":"ListNode","val":3,"__id__":"ListNode:1","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__ref__":"ListNode:2"}}}}}}}],"stdout":[]},{"frameIndex":9,"anchor":{"line":11,"file":"solution.cs","functionName":"HasCycle"},"state":{"head":{"__type__":"ListNode","val":3,"__id__":"ListNode:1","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__ref__":"ListNode:2"}}}}},"slow":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__ref__":"ListNode:3"}}}},"fast":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__ref__":"ListNode:2"}}}}},"events":[{"kind":"line","line":11,"function":"HasCycle","target":null,"value":null,"method":null,"args":null},{"kind":"read","line":11,"function":null,"target":{"variable":"fast","path":["next","next"]},"value":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__ref__":"ListNode:2"}}}},"method":null,"args":null},{"kind":"write","line":11,"function":null,"target":{"variable":"fast","path":null},"value":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__ref__":"ListNode:2"}}}},"method":null,"args":null},{"kind":"snapshot","line":11,"function":null,"target":{"variable":"head","path":null},"value":{"__type__":"ListNode","val":3,"__id__":"ListNode:1","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__ref__":"ListNode:2"}}}}},"method":null,"args":null},{"kind":"snapshot","line":11,"function":null,"target":{"variable":"slow","path":null},"value":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__ref__":"ListNode:3"}}}},"method":null,"args":null},{"kind":"snapshot","line":11,"function":null,"target":{"variable":"fast","path":null},"value":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__ref__":"ListNode:2"}}}},"method":null,"args":null}],"accesses":[{"kind":"read","target":{"variable":"fast","path":["next","next"]},"value":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__ref__":"ListNode:2"}}}},"sourceValue":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__ref__":"ListNode:3"}}}},"event":{"target":{"variable":"fast","path":["next","next"]},"method":null,"args":null}},{"kind":"write","target":{"variable":"fast"},"value":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__ref__":"ListNode:2"}}}},"sourceValue":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__ref__":"ListNode:3"}}}},"event":{"target":{"variable":"fast","path":null},"method":null,"args":null}}],"callStack":[{"functionName":"HasCycle","line":3,"args":{"head":{"__type__":"ListNode","val":3,"__id__":"ListNode:1","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__ref__":"ListNode:2"}}}}}}}],"stdout":[]},{"frameIndex":10,"anchor":{"line":12,"file":"solution.cs","functionName":"HasCycle"},"state":{"head":{"__type__":"ListNode","val":3,"__id__":"ListNode:1","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__ref__":"ListNode:2"}}}}},"slow":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__ref__":"ListNode:3"}}}},"fast":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__ref__":"ListNode:2"}}}}},"events":[{"kind":"line","line":12,"function":"HasCycle","target":null,"value":null,"method":null,"args":null},{"kind":"snapshot","line":12,"function":null,"target":{"variable":"head","path":null},"value":{"__type__":"ListNode","val":3,"__id__":"ListNode:1","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__ref__":"ListNode:2"}}}}},"method":null,"args":null},{"kind":"snapshot","line":12,"function":null,"target":{"variable":"slow","path":null},"value":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__ref__":"ListNode:3"}}}},"method":null,"args":null},{"kind":"snapshot","line":12,"function":null,"target":{"variable":"fast","path":null},"value":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__ref__":"ListNode:2"}}}},"method":null,"args":null}],"accesses":[],"callStack":[{"functionName":"HasCycle","line":3,"args":{"head":{"__type__":"ListNode","val":3,"__id__":"ListNode:1","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__ref__":"ListNode:2"}}}}}}}],"stdout":[]},{"frameIndex":11,"anchor":{"line":8,"file":"solution.cs","functionName":"HasCycle"},"state":{"head":{"__type__":"ListNode","val":3,"__id__":"ListNode:1","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__ref__":"ListNode:2"}}}}},"slow":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__ref__":"ListNode:3"}}}},"fast":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__ref__":"ListNode:2"}}}}},"events":[{"kind":"line","line":8,"function":"HasCycle","target":null,"value":null,"method":null,"args":null},{"kind":"read","line":8,"function":null,"target":{"variable":"fast","path":["next"]},"value":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__ref__":"ListNode:3"}}}},"method":null,"args":null},{"kind":"snapshot","line":8,"function":null,"target":{"variable":"head","path":null},"value":{"__type__":"ListNode","val":3,"__id__":"ListNode:1","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__ref__":"ListNode:2"}}}}},"method":null,"args":null},{"kind":"snapshot","line":8,"function":null,"target":{"variable":"slow","path":null},"value":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__ref__":"ListNode:3"}}}},"method":null,"args":null},{"kind":"snapshot","line":8,"function":null,"target":{"variable":"fast","path":null},"value":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__ref__":"ListNode:2"}}}},"method":null,"args":null}],"accesses":[{"kind":"read","target":{"variable":"fast","path":["next"]},"value":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__ref__":"ListNode:3"}}}},"sourceValue":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__ref__":"ListNode:2"}}}},"event":{"target":{"variable":"fast","path":["next"]},"method":null,"args":null}}],"callStack":[{"functionName":"HasCycle","line":3,"args":{"head":{"__type__":"ListNode","val":3,"__id__":"ListNode:1","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__ref__":"ListNode:2"}}}}}}}],"stdout":[]},{"frameIndex":12,"anchor":{"line":10,"file":"solution.cs","functionName":"HasCycle"},"state":{"head":{"__type__":"ListNode","val":3,"__id__":"ListNode:1","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__ref__":"ListNode:2"}}}}},"slow":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__ref__":"ListNode:4"}}}},"fast":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__ref__":"ListNode:2"}}}}},"events":[{"kind":"line","line":10,"function":"HasCycle","target":null,"value":null,"method":null,"args":null},{"kind":"read","line":10,"function":null,"target":{"variable":"slow","path":["next"]},"value":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__ref__":"ListNode:4"}}}},"method":null,"args":null},{"kind":"write","line":10,"function":null,"target":{"variable":"slow","path":null},"value":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__ref__":"ListNode:4"}}}},"method":null,"args":null},{"kind":"snapshot","line":10,"function":null,"target":{"variable":"head","path":null},"value":{"__type__":"ListNode","val":3,"__id__":"ListNode:1","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__ref__":"ListNode:2"}}}}},"method":null,"args":null},{"kind":"snapshot","line":10,"function":null,"target":{"variable":"slow","path":null},"value":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__ref__":"ListNode:4"}}}},"method":null,"args":null},{"kind":"snapshot","line":10,"function":null,"target":{"variable":"fast","path":null},"value":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__ref__":"ListNode:2"}}}},"method":null,"args":null}],"accesses":[{"kind":"read","target":{"variable":"slow","path":["next"]},"value":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__ref__":"ListNode:4"}}}},"sourceValue":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__ref__":"ListNode:3"}}}},"event":{"target":{"variable":"slow","path":["next"]},"method":null,"args":null}},{"kind":"write","target":{"variable":"slow"},"value":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__ref__":"ListNode:4"}}}},"sourceValue":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__ref__":"ListNode:3"}}}},"event":{"target":{"variable":"slow","path":null},"method":null,"args":null}}],"callStack":[{"functionName":"HasCycle","line":3,"args":{"head":{"__type__":"ListNode","val":3,"__id__":"ListNode:1","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__ref__":"ListNode:2"}}}}}}}],"stdout":[]},{"frameIndex":13,"anchor":{"line":11,"file":"solution.cs","functionName":"HasCycle"},"state":{"head":{"__type__":"ListNode","val":3,"__id__":"ListNode:1","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__ref__":"ListNode:2"}}}}},"slow":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__ref__":"ListNode:4"}}}},"fast":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__ref__":"ListNode:4"}}}}},"events":[{"kind":"line","line":11,"function":"HasCycle","target":null,"value":null,"method":null,"args":null},{"kind":"read","line":11,"function":null,"target":{"variable":"fast","path":["next","next"]},"value":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__ref__":"ListNode:4"}}}},"method":null,"args":null},{"kind":"write","line":11,"function":null,"target":{"variable":"fast","path":null},"value":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__ref__":"ListNode:4"}}}},"method":null,"args":null},{"kind":"snapshot","line":11,"function":null,"target":{"variable":"head","path":null},"value":{"__type__":"ListNode","val":3,"__id__":"ListNode:1","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__ref__":"ListNode:2"}}}}},"method":null,"args":null},{"kind":"snapshot","line":11,"function":null,"target":{"variable":"slow","path":null},"value":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__ref__":"ListNode:4"}}}},"method":null,"args":null},{"kind":"snapshot","line":11,"function":null,"target":{"variable":"fast","path":null},"value":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__ref__":"ListNode:4"}}}},"method":null,"args":null}],"accesses":[{"kind":"read","target":{"variable":"fast","path":["next","next"]},"value":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__ref__":"ListNode:4"}}}},"sourceValue":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__ref__":"ListNode:2"}}}},"event":{"target":{"variable":"fast","path":["next","next"]},"method":null,"args":null}},{"kind":"write","target":{"variable":"fast"},"value":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__ref__":"ListNode:4"}}}},"sourceValue":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__ref__":"ListNode:2"}}}},"event":{"target":{"variable":"fast","path":null},"method":null,"args":null}}],"callStack":[{"functionName":"HasCycle","line":3,"args":{"head":{"__type__":"ListNode","val":3,"__id__":"ListNode:1","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__ref__":"ListNode:2"}}}}}}}],"stdout":[]},{"frameIndex":14,"anchor":{"line":12,"file":"solution.cs","functionName":"HasCycle"},"state":{"head":{"__type__":"ListNode","val":3,"__id__":"ListNode:1","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__ref__":"ListNode:2"}}}}},"slow":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__ref__":"ListNode:4"}}}},"fast":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__ref__":"ListNode:4"}}}}},"events":[{"kind":"line","line":12,"function":"HasCycle","target":null,"value":null,"method":null,"args":null},{"kind":"snapshot","line":12,"function":null,"target":{"variable":"head","path":null},"value":{"__type__":"ListNode","val":3,"__id__":"ListNode:1","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__ref__":"ListNode:2"}}}}},"method":null,"args":null},{"kind":"snapshot","line":12,"function":null,"target":{"variable":"slow","path":null},"value":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__ref__":"ListNode:4"}}}},"method":null,"args":null},{"kind":"snapshot","line":12,"function":null,"target":{"variable":"fast","path":null},"value":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__ref__":"ListNode:4"}}}},"method":null,"args":null}],"accesses":[],"callStack":[{"functionName":"HasCycle","line":3,"args":{"head":{"__type__":"ListNode","val":3,"__id__":"ListNode:1","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__ref__":"ListNode:2"}}}}}}}],"stdout":[]},{"frameIndex":15,"anchor":{"line":14,"file":"solution.cs","functionName":"HasCycle"},"state":{"head":{"__type__":"ListNode","val":3,"__id__":"ListNode:1","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__ref__":"ListNode:2"}}}}},"slow":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__ref__":"ListNode:4"}}}},"fast":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__ref__":"ListNode:4"}}}}},"events":[{"kind":"line","line":14,"function":"HasCycle","target":null,"value":null,"method":null,"args":null},{"kind":"return","line":14,"function":"HasCycle","target":null,"value":true,"method":null,"args":null},{"kind":"snapshot","line":14,"function":null,"target":{"variable":"head","path":null},"value":{"__type__":"ListNode","val":3,"__id__":"ListNode:1","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__ref__":"ListNode:2"}}}}},"method":null,"args":null},{"kind":"snapshot","line":14,"function":null,"target":{"variable":"slow","path":null},"value":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__ref__":"ListNode:4"}}}},"method":null,"args":null},{"kind":"snapshot","line":14,"function":null,"target":{"variable":"fast","path":null},"value":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__ref__":"ListNode:4"}}}},"method":null,"args":null}],"accesses":[],"callStack":[{"functionName":"HasCycle","line":3,"args":{"head":{"__type__":"ListNode","val":3,"__id__":"ListNode:1","next":{"__type__":"ListNode","val":2,"__id__":"ListNode:2","next":{"__type__":"ListNode","val":0,"__id__":"ListNode:3","next":{"__type__":"ListNode","val":-4,"__id__":"ListNode:4","next":{"__ref__":"ListNode:2"}}}}}}}],"stdout":[]}],"semanticRoute":{"family":"linked-list","subtype":"cycle-runner","semanticLabel":"linked:linked-list","confidence":0.701,"stage":"emerging","committed":false,"roles":{"seedState":["head"],"cursorState":["slow","fast"],"slowerCursor":["slow"],"fasterCursor":["fast"]},"visualTargets":{"complex":[{"kind":"complex","visualizer":"linked-list","role":"linked-list-head","state":"head","supportStates":["slow","fast"],"displayOrder":{"rank":0,"lane":"primary","source":"semantic-workflow"}}]},"semanticProjections":{"indexed":[],"graph":[],"structure":[{"family":"linked-list","source":"linked-list-cycle-runner","kind":"linked-list","state":"head","roles":{"root":["head"],"current":["slow","fast"],"pointers":["slow","fast"]},"confidence":0.7216666666666667},{"family":"linked-list","source":"linked-list-cycle-runner","kind":"linked-list","state":"slow","roles":{"root":["head"],"current":["slow","fast"],"pointers":["slow","fast"]},"confidence":0.7216666666666667},{"family":"linked-list","source":"linked-list-cycle-runner","kind":"linked-list","state":"fast","roles":{"root":["head"],"current":["slow","fast"],"pointers":["slow","fast"]},"confidence":0.7216666666666667}]},"controlPredicates":[{"context":"loop","predicate":{"kind":"and","operands":[{"kind":"comparison","operator":"!=","strictness":"not-equal","leftShape":"id","rightShape":"null","leftOperand":{"kind":"state","variable":"fast","valueClass":"object","typeName":"ListNode"},"rightOperand":{"kind":"literal","value":null}},{"kind":"comparison","operator":"!=","strictness":"not-equal","leftShape":"property:next","rightShape":"null","leftOperand":{"kind":"property","object":{"kind":"state","variable":"fast"},"propertyName":"next"},"rightOperand":{"kind":"literal","value":null}}]},"lineNumber":8,"confidence":0.7488,"evidence":["control-predicate:loop:and:8"],"sourceFact":"controlFlow.controlPredicates","derivedFrom":["predicateRelations.controlPredicates"]},{"context":"if","predicate":{"kind":"comparison","operator":"==","strictness":"equality","leftShape":"id","rightShape":"id","leftOperand":{"kind":"state","variable":"slow","valueClass":"object","typeName":"ListNode"},"rightOperand":{"kind":"state","variable":"fast","valueClass":"object","typeName":"ListNode"}},"lineNumber":12,"confidence":0.78,"evidence":["control-predicate:if:comparison:12"],"sourceFact":"controlFlow.controlPredicates","derivedFrom":["predicateRelations.controlPredicates"]}]},"badgeKeys":["slow","fast","head"]}