{"id":"longest-substring-without-repeating","variantId":"longest-substring-without-repeating:java","title":"Longest Substring Without Repeating Characters","problemId":"longest-substring-without-repeating","fileName":"longest-substring-without-repeating.java","language":"java","displayCode":"import java.util.HashMap;\nimport java.util.Map;\n\nclass Solution {\n public int lengthOfLongestSubstring(String s) {\n Map lastSeen = new HashMap<>();\n int left = 0;\n int best = 0;\n\n for (int right = 0; right < s.length(); right++) {\n char ch = s.charAt(right);\n if (lastSeen.containsKey(ch) && lastSeen.get(ch) >= left) {\n left = lastSeen.get(ch) + 1;\n }\n lastSeen.put(ch, right);\n int len = right - left + 1;\n if (len > best) {\n best = len;\n }\n }\n\n return best;\n }\n}","runtimeFrames":[{"frameIndex":1,"anchor":{"line":6,"file":"/Users/obinnanwachukwu/Code/algoflow/experiments/local-tracelang-triage/.generated/java-samples/java-local-73af8d1d47240b08/input/Exports.java","functionName":"lengthOfLongestSubstring"},"state":{"s":"abcabcbb","lastSeen":{}},"events":[{"kind":"line","line":6,"function":"lengthOfLongestSubstring"},{"kind":"snapshot","line":6,"target":{"variable":"s"},"value":"abcabcbb"},{"kind":"write","line":6,"target":{"variable":"lastSeen"},"value":{}}],"accesses":[{"kind":"write","target":{"variable":"lastSeen"},"value":{},"event":{"target":{"variable":"lastSeen"}}}],"callStack":[{"functionName":"lengthOfLongestSubstring","line":5,"args":{"s":"abcabcbb"}}],"stdout":[]},{"frameIndex":2,"anchor":{"line":7,"file":"/Users/obinnanwachukwu/Code/algoflow/experiments/local-tracelang-triage/.generated/java-samples/java-local-73af8d1d47240b08/input/Exports.java","functionName":"lengthOfLongestSubstring"},"state":{"s":"abcabcbb","lastSeen":{},"left":0},"events":[{"kind":"line","line":7,"function":"lengthOfLongestSubstring"},{"kind":"snapshot","line":7,"target":{"variable":"s"},"value":"abcabcbb"},{"kind":"snapshot","line":7,"target":{"variable":"lastSeen"},"value":{}},{"kind":"write","line":7,"target":{"variable":"left"},"value":0}],"accesses":[{"kind":"write","target":{"variable":"left"},"value":0,"event":{"target":{"variable":"left"}}}],"callStack":[{"functionName":"lengthOfLongestSubstring","line":5,"args":{"s":"abcabcbb"}}],"stdout":[]},{"frameIndex":3,"anchor":{"line":8,"file":"/Users/obinnanwachukwu/Code/algoflow/experiments/local-tracelang-triage/.generated/java-samples/java-local-73af8d1d47240b08/input/Exports.java","functionName":"lengthOfLongestSubstring"},"state":{"s":"abcabcbb","lastSeen":{},"left":0,"best":0},"events":[{"kind":"line","line":8,"function":"lengthOfLongestSubstring"},{"kind":"snapshot","line":8,"target":{"variable":"s"},"value":"abcabcbb"},{"kind":"snapshot","line":8,"target":{"variable":"lastSeen"},"value":{}},{"kind":"snapshot","line":8,"target":{"variable":"left"},"value":0},{"kind":"write","line":8,"target":{"variable":"best"},"value":0}],"accesses":[{"kind":"write","target":{"variable":"best"},"value":0,"event":{"target":{"variable":"best"}}}],"callStack":[{"functionName":"lengthOfLongestSubstring","line":5,"args":{"s":"abcabcbb"}}],"stdout":[]},{"frameIndex":4,"anchor":{"line":10,"file":"/Users/obinnanwachukwu/Code/algoflow/experiments/local-tracelang-triage/.generated/java-samples/java-local-73af8d1d47240b08/input/Exports.java","functionName":"lengthOfLongestSubstring"},"state":{"s":"abcabcbb","lastSeen":{},"left":0,"best":0,"right":0},"events":[{"kind":"line","line":10,"function":"lengthOfLongestSubstring"},{"kind":"snapshot","line":10,"target":{"variable":"s"},"value":"abcabcbb"},{"kind":"snapshot","line":10,"target":{"variable":"lastSeen"},"value":{}},{"kind":"snapshot","line":10,"target":{"variable":"left"},"value":0},{"kind":"snapshot","line":10,"target":{"variable":"best"},"value":0},{"kind":"write","line":10,"target":{"variable":"right"},"value":0},{"kind":"snapshot","line":10,"target":{"variable":"right"},"value":0}],"accesses":[{"kind":"write","target":{"variable":"right"},"value":0,"event":{"target":{"variable":"right"}}}],"callStack":[{"functionName":"lengthOfLongestSubstring","line":5,"args":{"s":"abcabcbb"}}],"stdout":[]},{"frameIndex":5,"anchor":{"line":11,"file":"/Users/obinnanwachukwu/Code/algoflow/experiments/local-tracelang-triage/.generated/java-samples/java-local-73af8d1d47240b08/input/Exports.java","functionName":"lengthOfLongestSubstring"},"state":{"s":"abcabcbb","lastSeen":{},"left":0,"best":0,"right":0,"ch":"a"},"events":[{"kind":"line","line":11,"function":"lengthOfLongestSubstring"},{"kind":"snapshot","line":11,"target":{"variable":"s"},"value":"abcabcbb"},{"kind":"snapshot","line":11,"target":{"variable":"lastSeen"},"value":{}},{"kind":"snapshot","line":11,"target":{"variable":"left"},"value":0},{"kind":"snapshot","line":11,"target":{"variable":"best"},"value":0},{"kind":"snapshot","line":11,"target":{"variable":"right"},"value":0},{"kind":"read","line":11,"target":{"variable":"s","path":[0],"indexSources":["right"]},"value":"a"},{"kind":"write","line":11,"target":{"variable":"ch"},"value":"a"}],"accesses":[{"kind":"read","target":{"variable":"s","path":[0],"indexSources":["right"]},"value":"a","sourceValue":"abcabcbb","event":{"target":{"variable":"s","path":[0],"indexSources":["right"]}}},{"kind":"write","target":{"variable":"ch"},"value":"a","event":{"target":{"variable":"ch"}}}],"callStack":[{"functionName":"lengthOfLongestSubstring","line":5,"args":{"s":"abcabcbb"}}],"stdout":[]},{"frameIndex":6,"anchor":{"line":12,"file":"/Users/obinnanwachukwu/Code/algoflow/experiments/local-tracelang-triage/.generated/java-samples/java-local-73af8d1d47240b08/input/Exports.java","functionName":"lengthOfLongestSubstring"},"state":{"s":"abcabcbb","lastSeen":{},"left":0,"best":0,"right":0,"ch":"a"},"events":[{"kind":"line","line":12,"function":"lengthOfLongestSubstring"},{"kind":"snapshot","line":12,"target":{"variable":"s"},"value":"abcabcbb"},{"kind":"snapshot","line":12,"target":{"variable":"lastSeen"},"value":{}},{"kind":"snapshot","line":12,"target":{"variable":"left"},"value":0},{"kind":"snapshot","line":12,"target":{"variable":"best"},"value":0},{"kind":"snapshot","line":12,"target":{"variable":"right"},"value":0},{"kind":"snapshot","line":12,"target":{"variable":"ch"},"value":"a"},{"kind":"read","line":12,"target":{"variable":"lastSeen","path":["a"],"indexSources":["ch"]},"value":false}],"accesses":[{"kind":"read","target":{"variable":"lastSeen","path":["a"],"indexSources":["ch"]},"value":false,"sourceValue":{},"event":{"target":{"variable":"lastSeen","path":["a"],"indexSources":["ch"]}}}],"callStack":[{"functionName":"lengthOfLongestSubstring","line":5,"args":{"s":"abcabcbb"}}],"stdout":[]},{"frameIndex":7,"anchor":{"line":15,"file":"/Users/obinnanwachukwu/Code/algoflow/experiments/local-tracelang-triage/.generated/java-samples/java-local-73af8d1d47240b08/input/Exports.java","functionName":"lengthOfLongestSubstring"},"state":{"s":"abcabcbb","lastSeen":{"a":0},"left":0,"best":0,"right":0,"ch":"a"},"events":[{"kind":"line","line":15,"function":"lengthOfLongestSubstring"},{"kind":"snapshot","line":15,"target":{"variable":"s"},"value":"abcabcbb"},{"kind":"snapshot","line":15,"target":{"variable":"lastSeen"},"value":{}},{"kind":"snapshot","line":15,"target":{"variable":"left"},"value":0},{"kind":"snapshot","line":15,"target":{"variable":"best"},"value":0},{"kind":"snapshot","line":15,"target":{"variable":"right"},"value":0},{"kind":"snapshot","line":15,"target":{"variable":"ch"},"value":"a"},{"kind":"write","line":15,"target":{"variable":"lastSeen","path":["a"],"indexSources":["ch"]},"value":0},{"kind":"mutate","line":15,"target":{"variable":"lastSeen","path":["a"],"indexSources":["ch"]},"method":"put","args":["a",0]},{"kind":"snapshot","line":15,"target":{"variable":"lastSeen"},"value":{"a":0}}],"accesses":[{"kind":"write","target":{"variable":"lastSeen","path":["a"],"indexSources":["ch"]},"value":0,"sourceValue":{},"event":{"target":{"variable":"lastSeen","path":["a"],"indexSources":["ch"]}}},{"kind":"mutate","target":{"variable":"lastSeen","path":["a"],"indexSources":["ch"]},"sourceValue":{"a":0},"method":"put","event":{"target":{"variable":"lastSeen","path":["a"],"indexSources":["ch"]},"method":"put","args":["a",0]}}],"callStack":[{"functionName":"lengthOfLongestSubstring","line":5,"args":{"s":"abcabcbb"}}],"stdout":[]},{"frameIndex":8,"anchor":{"line":16,"file":"/Users/obinnanwachukwu/Code/algoflow/experiments/local-tracelang-triage/.generated/java-samples/java-local-73af8d1d47240b08/input/Exports.java","functionName":"lengthOfLongestSubstring"},"state":{"s":"abcabcbb","lastSeen":{"a":0},"left":0,"best":0,"right":0,"ch":"a","len":1},"events":[{"kind":"line","line":16,"function":"lengthOfLongestSubstring"},{"kind":"snapshot","line":16,"target":{"variable":"s"},"value":"abcabcbb"},{"kind":"snapshot","line":16,"target":{"variable":"lastSeen"},"value":{"a":0}},{"kind":"snapshot","line":16,"target":{"variable":"left"},"value":0},{"kind":"snapshot","line":16,"target":{"variable":"best"},"value":0},{"kind":"snapshot","line":16,"target":{"variable":"right"},"value":0},{"kind":"snapshot","line":16,"target":{"variable":"ch"},"value":"a"},{"kind":"write","line":16,"target":{"variable":"len"},"value":1}],"accesses":[{"kind":"write","target":{"variable":"len"},"value":1,"event":{"target":{"variable":"len"}}}],"callStack":[{"functionName":"lengthOfLongestSubstring","line":5,"args":{"s":"abcabcbb"}}],"stdout":[]},{"frameIndex":9,"anchor":{"line":17,"file":"/Users/obinnanwachukwu/Code/algoflow/experiments/local-tracelang-triage/.generated/java-samples/java-local-73af8d1d47240b08/input/Exports.java","functionName":"lengthOfLongestSubstring"},"state":{"s":"abcabcbb","lastSeen":{"a":0},"left":0,"best":0,"right":0,"ch":"a","len":1},"events":[{"kind":"line","line":17,"function":"lengthOfLongestSubstring"},{"kind":"snapshot","line":17,"target":{"variable":"s"},"value":"abcabcbb"},{"kind":"snapshot","line":17,"target":{"variable":"lastSeen"},"value":{"a":0}},{"kind":"snapshot","line":17,"target":{"variable":"left"},"value":0},{"kind":"snapshot","line":17,"target":{"variable":"best"},"value":0},{"kind":"snapshot","line":17,"target":{"variable":"right"},"value":0},{"kind":"snapshot","line":17,"target":{"variable":"ch"},"value":"a"},{"kind":"snapshot","line":17,"target":{"variable":"len"},"value":1}],"accesses":[],"callStack":[{"functionName":"lengthOfLongestSubstring","line":5,"args":{"s":"abcabcbb"}}],"stdout":[]},{"frameIndex":10,"anchor":{"line":18,"file":"/Users/obinnanwachukwu/Code/algoflow/experiments/local-tracelang-triage/.generated/java-samples/java-local-73af8d1d47240b08/input/Exports.java","functionName":"lengthOfLongestSubstring"},"state":{"s":"abcabcbb","lastSeen":{"a":0},"left":0,"best":1,"right":0,"ch":"a","len":1},"events":[{"kind":"line","line":18,"function":"lengthOfLongestSubstring"},{"kind":"snapshot","line":18,"target":{"variable":"s"},"value":"abcabcbb"},{"kind":"snapshot","line":18,"target":{"variable":"lastSeen"},"value":{"a":0}},{"kind":"snapshot","line":18,"target":{"variable":"left"},"value":0},{"kind":"snapshot","line":18,"target":{"variable":"best"},"value":0},{"kind":"snapshot","line":18,"target":{"variable":"right"},"value":0},{"kind":"snapshot","line":18,"target":{"variable":"ch"},"value":"a"},{"kind":"snapshot","line":18,"target":{"variable":"len"},"value":1},{"kind":"write","line":18,"target":{"variable":"best"},"value":1},{"kind":"snapshot","line":18,"target":{"variable":"best"},"value":1}],"accesses":[{"kind":"write","target":{"variable":"best"},"value":1,"sourceValue":0,"event":{"target":{"variable":"best"}}}],"callStack":[{"functionName":"lengthOfLongestSubstring","line":5,"args":{"s":"abcabcbb"}}],"stdout":[]},{"frameIndex":11,"anchor":{"line":10,"file":"/Users/obinnanwachukwu/Code/algoflow/experiments/local-tracelang-triage/.generated/java-samples/java-local-73af8d1d47240b08/input/Exports.java"},"state":{"s":"abcabcbb","lastSeen":{"a":0},"left":0,"best":1,"right":1,"ch":"a","len":1},"events":[{"kind":"write","line":10,"target":{"variable":"right"},"value":1},{"kind":"line","line":10,"function":"lengthOfLongestSubstring"},{"kind":"snapshot","line":10,"target":{"variable":"s"},"value":"abcabcbb"},{"kind":"snapshot","line":10,"target":{"variable":"lastSeen"},"value":{"a":0}},{"kind":"snapshot","line":10,"target":{"variable":"left"},"value":0},{"kind":"snapshot","line":10,"target":{"variable":"best"},"value":1},{"kind":"snapshot","line":10,"target":{"variable":"len"},"value":1},{"kind":"snapshot","line":10,"target":{"variable":"right"},"value":1}],"accesses":[{"kind":"write","target":{"variable":"right"},"value":1,"sourceValue":0,"event":{"target":{"variable":"right"}}}],"callStack":[{"functionName":"lengthOfLongestSubstring","line":5,"args":{"s":"abcabcbb"}}],"stdout":[]},{"frameIndex":12,"anchor":{"line":11,"file":"/Users/obinnanwachukwu/Code/algoflow/experiments/local-tracelang-triage/.generated/java-samples/java-local-73af8d1d47240b08/input/Exports.java","functionName":"lengthOfLongestSubstring"},"state":{"s":"abcabcbb","lastSeen":{"a":0},"left":0,"best":1,"right":1,"ch":"b","len":1},"events":[{"kind":"line","line":11,"function":"lengthOfLongestSubstring"},{"kind":"snapshot","line":11,"target":{"variable":"s"},"value":"abcabcbb"},{"kind":"snapshot","line":11,"target":{"variable":"lastSeen"},"value":{"a":0}},{"kind":"snapshot","line":11,"target":{"variable":"left"},"value":0},{"kind":"snapshot","line":11,"target":{"variable":"best"},"value":1},{"kind":"snapshot","line":11,"target":{"variable":"right"},"value":1},{"kind":"read","line":11,"target":{"variable":"s","path":[1],"indexSources":["right"]},"value":"b"},{"kind":"write","line":11,"target":{"variable":"ch"},"value":"b"}],"accesses":[{"kind":"read","target":{"variable":"s","path":[1],"indexSources":["right"]},"value":"b","sourceValue":"abcabcbb","event":{"target":{"variable":"s","path":[1],"indexSources":["right"]}}},{"kind":"write","target":{"variable":"ch"},"value":"b","sourceValue":"a","event":{"target":{"variable":"ch"}}}],"callStack":[{"functionName":"lengthOfLongestSubstring","line":5,"args":{"s":"abcabcbb"}}],"stdout":[]},{"frameIndex":13,"anchor":{"line":12,"file":"/Users/obinnanwachukwu/Code/algoflow/experiments/local-tracelang-triage/.generated/java-samples/java-local-73af8d1d47240b08/input/Exports.java","functionName":"lengthOfLongestSubstring"},"state":{"s":"abcabcbb","lastSeen":{"a":0},"left":0,"best":1,"right":1,"ch":"b","len":1},"events":[{"kind":"line","line":12,"function":"lengthOfLongestSubstring"},{"kind":"snapshot","line":12,"target":{"variable":"s"},"value":"abcabcbb"},{"kind":"snapshot","line":12,"target":{"variable":"lastSeen"},"value":{"a":0}},{"kind":"snapshot","line":12,"target":{"variable":"left"},"value":0},{"kind":"snapshot","line":12,"target":{"variable":"best"},"value":1},{"kind":"snapshot","line":12,"target":{"variable":"right"},"value":1},{"kind":"snapshot","line":12,"target":{"variable":"ch"},"value":"b"},{"kind":"read","line":12,"target":{"variable":"lastSeen","path":["b"],"indexSources":["ch"]},"value":false}],"accesses":[{"kind":"read","target":{"variable":"lastSeen","path":["b"],"indexSources":["ch"]},"value":false,"sourceValue":{"a":0},"event":{"target":{"variable":"lastSeen","path":["b"],"indexSources":["ch"]}}}],"callStack":[{"functionName":"lengthOfLongestSubstring","line":5,"args":{"s":"abcabcbb"}}],"stdout":[]},{"frameIndex":14,"anchor":{"line":15,"file":"/Users/obinnanwachukwu/Code/algoflow/experiments/local-tracelang-triage/.generated/java-samples/java-local-73af8d1d47240b08/input/Exports.java","functionName":"lengthOfLongestSubstring"},"state":{"s":"abcabcbb","lastSeen":{"a":0,"b":1},"left":0,"best":1,"right":1,"ch":"b","len":1},"events":[{"kind":"line","line":15,"function":"lengthOfLongestSubstring"},{"kind":"snapshot","line":15,"target":{"variable":"s"},"value":"abcabcbb"},{"kind":"snapshot","line":15,"target":{"variable":"lastSeen"},"value":{"a":0}},{"kind":"snapshot","line":15,"target":{"variable":"left"},"value":0},{"kind":"snapshot","line":15,"target":{"variable":"best"},"value":1},{"kind":"snapshot","line":15,"target":{"variable":"right"},"value":1},{"kind":"snapshot","line":15,"target":{"variable":"ch"},"value":"b"},{"kind":"write","line":15,"target":{"variable":"lastSeen","path":["b"],"indexSources":["ch"]},"value":1},{"kind":"mutate","line":15,"target":{"variable":"lastSeen","path":["b"],"indexSources":["ch"]},"method":"put","args":["b",1]},{"kind":"snapshot","line":15,"target":{"variable":"lastSeen"},"value":{"a":0,"b":1}}],"accesses":[{"kind":"write","target":{"variable":"lastSeen","path":["b"],"indexSources":["ch"]},"value":1,"sourceValue":{"a":0},"event":{"target":{"variable":"lastSeen","path":["b"],"indexSources":["ch"]}}},{"kind":"mutate","target":{"variable":"lastSeen","path":["b"],"indexSources":["ch"]},"sourceValue":{"a":0,"b":1},"method":"put","event":{"target":{"variable":"lastSeen","path":["b"],"indexSources":["ch"]},"method":"put","args":["b",1]}}],"callStack":[{"functionName":"lengthOfLongestSubstring","line":5,"args":{"s":"abcabcbb"}}],"stdout":[]},{"frameIndex":15,"anchor":{"line":16,"file":"/Users/obinnanwachukwu/Code/algoflow/experiments/local-tracelang-triage/.generated/java-samples/java-local-73af8d1d47240b08/input/Exports.java","functionName":"lengthOfLongestSubstring"},"state":{"s":"abcabcbb","lastSeen":{"a":0,"b":1},"left":0,"best":1,"right":1,"ch":"b","len":2},"events":[{"kind":"line","line":16,"function":"lengthOfLongestSubstring"},{"kind":"snapshot","line":16,"target":{"variable":"s"},"value":"abcabcbb"},{"kind":"snapshot","line":16,"target":{"variable":"lastSeen"},"value":{"a":0,"b":1}},{"kind":"snapshot","line":16,"target":{"variable":"left"},"value":0},{"kind":"snapshot","line":16,"target":{"variable":"best"},"value":1},{"kind":"snapshot","line":16,"target":{"variable":"right"},"value":1},{"kind":"snapshot","line":16,"target":{"variable":"ch"},"value":"b"},{"kind":"write","line":16,"target":{"variable":"len"},"value":2}],"accesses":[{"kind":"write","target":{"variable":"len"},"value":2,"sourceValue":1,"event":{"target":{"variable":"len"}}}],"callStack":[{"functionName":"lengthOfLongestSubstring","line":5,"args":{"s":"abcabcbb"}}],"stdout":[]},{"frameIndex":16,"anchor":{"line":17,"file":"/Users/obinnanwachukwu/Code/algoflow/experiments/local-tracelang-triage/.generated/java-samples/java-local-73af8d1d47240b08/input/Exports.java","functionName":"lengthOfLongestSubstring"},"state":{"s":"abcabcbb","lastSeen":{"a":0,"b":1},"left":0,"best":1,"right":1,"ch":"b","len":2},"events":[{"kind":"line","line":17,"function":"lengthOfLongestSubstring"},{"kind":"snapshot","line":17,"target":{"variable":"s"},"value":"abcabcbb"},{"kind":"snapshot","line":17,"target":{"variable":"lastSeen"},"value":{"a":0,"b":1}},{"kind":"snapshot","line":17,"target":{"variable":"left"},"value":0},{"kind":"snapshot","line":17,"target":{"variable":"best"},"value":1},{"kind":"snapshot","line":17,"target":{"variable":"right"},"value":1},{"kind":"snapshot","line":17,"target":{"variable":"ch"},"value":"b"},{"kind":"snapshot","line":17,"target":{"variable":"len"},"value":2}],"accesses":[],"callStack":[{"functionName":"lengthOfLongestSubstring","line":5,"args":{"s":"abcabcbb"}}],"stdout":[]},{"frameIndex":17,"anchor":{"line":18,"file":"/Users/obinnanwachukwu/Code/algoflow/experiments/local-tracelang-triage/.generated/java-samples/java-local-73af8d1d47240b08/input/Exports.java","functionName":"lengthOfLongestSubstring"},"state":{"s":"abcabcbb","lastSeen":{"a":0,"b":1},"left":0,"best":2,"right":1,"ch":"b","len":2},"events":[{"kind":"line","line":18,"function":"lengthOfLongestSubstring"},{"kind":"snapshot","line":18,"target":{"variable":"s"},"value":"abcabcbb"},{"kind":"snapshot","line":18,"target":{"variable":"lastSeen"},"value":{"a":0,"b":1}},{"kind":"snapshot","line":18,"target":{"variable":"left"},"value":0},{"kind":"snapshot","line":18,"target":{"variable":"best"},"value":1},{"kind":"snapshot","line":18,"target":{"variable":"right"},"value":1},{"kind":"snapshot","line":18,"target":{"variable":"ch"},"value":"b"},{"kind":"snapshot","line":18,"target":{"variable":"len"},"value":2},{"kind":"write","line":18,"target":{"variable":"best"},"value":2},{"kind":"snapshot","line":18,"target":{"variable":"best"},"value":2}],"accesses":[{"kind":"write","target":{"variable":"best"},"value":2,"sourceValue":1,"event":{"target":{"variable":"best"}}}],"callStack":[{"functionName":"lengthOfLongestSubstring","line":5,"args":{"s":"abcabcbb"}}],"stdout":[]},{"frameIndex":18,"anchor":{"line":10,"file":"/Users/obinnanwachukwu/Code/algoflow/experiments/local-tracelang-triage/.generated/java-samples/java-local-73af8d1d47240b08/input/Exports.java"},"state":{"s":"abcabcbb","lastSeen":{"a":0,"b":1},"left":0,"best":2,"right":2,"ch":"b","len":2},"events":[{"kind":"write","line":10,"target":{"variable":"right"},"value":2},{"kind":"line","line":10,"function":"lengthOfLongestSubstring"},{"kind":"snapshot","line":10,"target":{"variable":"s"},"value":"abcabcbb"},{"kind":"snapshot","line":10,"target":{"variable":"lastSeen"},"value":{"a":0,"b":1}},{"kind":"snapshot","line":10,"target":{"variable":"left"},"value":0},{"kind":"snapshot","line":10,"target":{"variable":"best"},"value":2},{"kind":"snapshot","line":10,"target":{"variable":"len"},"value":2},{"kind":"snapshot","line":10,"target":{"variable":"right"},"value":2}],"accesses":[{"kind":"write","target":{"variable":"right"},"value":2,"sourceValue":1,"event":{"target":{"variable":"right"}}}],"callStack":[{"functionName":"lengthOfLongestSubstring","line":5,"args":{"s":"abcabcbb"}}],"stdout":[]},{"frameIndex":19,"anchor":{"line":11,"file":"/Users/obinnanwachukwu/Code/algoflow/experiments/local-tracelang-triage/.generated/java-samples/java-local-73af8d1d47240b08/input/Exports.java","functionName":"lengthOfLongestSubstring"},"state":{"s":"abcabcbb","lastSeen":{"a":0,"b":1},"left":0,"best":2,"right":2,"ch":"c","len":2},"events":[{"kind":"line","line":11,"function":"lengthOfLongestSubstring"},{"kind":"snapshot","line":11,"target":{"variable":"s"},"value":"abcabcbb"},{"kind":"snapshot","line":11,"target":{"variable":"lastSeen"},"value":{"a":0,"b":1}},{"kind":"snapshot","line":11,"target":{"variable":"left"},"value":0},{"kind":"snapshot","line":11,"target":{"variable":"best"},"value":2},{"kind":"snapshot","line":11,"target":{"variable":"right"},"value":2},{"kind":"read","line":11,"target":{"variable":"s","path":[2],"indexSources":["right"]},"value":"c"},{"kind":"write","line":11,"target":{"variable":"ch"},"value":"c"}],"accesses":[{"kind":"read","target":{"variable":"s","path":[2],"indexSources":["right"]},"value":"c","sourceValue":"abcabcbb","event":{"target":{"variable":"s","path":[2],"indexSources":["right"]}}},{"kind":"write","target":{"variable":"ch"},"value":"c","sourceValue":"b","event":{"target":{"variable":"ch"}}}],"callStack":[{"functionName":"lengthOfLongestSubstring","line":5,"args":{"s":"abcabcbb"}}],"stdout":[]},{"frameIndex":20,"anchor":{"line":12,"file":"/Users/obinnanwachukwu/Code/algoflow/experiments/local-tracelang-triage/.generated/java-samples/java-local-73af8d1d47240b08/input/Exports.java","functionName":"lengthOfLongestSubstring"},"state":{"s":"abcabcbb","lastSeen":{"a":0,"b":1},"left":0,"best":2,"right":2,"ch":"c","len":2},"events":[{"kind":"line","line":12,"function":"lengthOfLongestSubstring"},{"kind":"snapshot","line":12,"target":{"variable":"s"},"value":"abcabcbb"},{"kind":"snapshot","line":12,"target":{"variable":"lastSeen"},"value":{"a":0,"b":1}},{"kind":"snapshot","line":12,"target":{"variable":"left"},"value":0},{"kind":"snapshot","line":12,"target":{"variable":"best"},"value":2},{"kind":"snapshot","line":12,"target":{"variable":"right"},"value":2},{"kind":"snapshot","line":12,"target":{"variable":"ch"},"value":"c"},{"kind":"read","line":12,"target":{"variable":"lastSeen","path":["c"],"indexSources":["ch"]},"value":false}],"accesses":[{"kind":"read","target":{"variable":"lastSeen","path":["c"],"indexSources":["ch"]},"value":false,"sourceValue":{"a":0,"b":1},"event":{"target":{"variable":"lastSeen","path":["c"],"indexSources":["ch"]}}}],"callStack":[{"functionName":"lengthOfLongestSubstring","line":5,"args":{"s":"abcabcbb"}}],"stdout":[]},{"frameIndex":21,"anchor":{"line":15,"file":"/Users/obinnanwachukwu/Code/algoflow/experiments/local-tracelang-triage/.generated/java-samples/java-local-73af8d1d47240b08/input/Exports.java","functionName":"lengthOfLongestSubstring"},"state":{"s":"abcabcbb","lastSeen":{"a":0,"b":1,"c":2},"left":0,"best":2,"right":2,"ch":"c","len":2},"events":[{"kind":"line","line":15,"function":"lengthOfLongestSubstring"},{"kind":"snapshot","line":15,"target":{"variable":"s"},"value":"abcabcbb"},{"kind":"snapshot","line":15,"target":{"variable":"lastSeen"},"value":{"a":0,"b":1}},{"kind":"snapshot","line":15,"target":{"variable":"left"},"value":0},{"kind":"snapshot","line":15,"target":{"variable":"best"},"value":2},{"kind":"snapshot","line":15,"target":{"variable":"right"},"value":2},{"kind":"snapshot","line":15,"target":{"variable":"ch"},"value":"c"},{"kind":"write","line":15,"target":{"variable":"lastSeen","path":["c"],"indexSources":["ch"]},"value":2},{"kind":"mutate","line":15,"target":{"variable":"lastSeen","path":["c"],"indexSources":["ch"]},"method":"put","args":["c",2]},{"kind":"snapshot","line":15,"target":{"variable":"lastSeen"},"value":{"a":0,"b":1,"c":2}}],"accesses":[{"kind":"write","target":{"variable":"lastSeen","path":["c"],"indexSources":["ch"]},"value":2,"sourceValue":{"a":0,"b":1},"event":{"target":{"variable":"lastSeen","path":["c"],"indexSources":["ch"]}}},{"kind":"mutate","target":{"variable":"lastSeen","path":["c"],"indexSources":["ch"]},"sourceValue":{"a":0,"b":1,"c":2},"method":"put","event":{"target":{"variable":"lastSeen","path":["c"],"indexSources":["ch"]},"method":"put","args":["c",2]}}],"callStack":[{"functionName":"lengthOfLongestSubstring","line":5,"args":{"s":"abcabcbb"}}],"stdout":[]},{"frameIndex":22,"anchor":{"line":16,"file":"/Users/obinnanwachukwu/Code/algoflow/experiments/local-tracelang-triage/.generated/java-samples/java-local-73af8d1d47240b08/input/Exports.java","functionName":"lengthOfLongestSubstring"},"state":{"s":"abcabcbb","lastSeen":{"a":0,"b":1,"c":2},"left":0,"best":2,"right":2,"ch":"c","len":3},"events":[{"kind":"line","line":16,"function":"lengthOfLongestSubstring"},{"kind":"snapshot","line":16,"target":{"variable":"s"},"value":"abcabcbb"},{"kind":"snapshot","line":16,"target":{"variable":"lastSeen"},"value":{"a":0,"b":1,"c":2}},{"kind":"snapshot","line":16,"target":{"variable":"left"},"value":0},{"kind":"snapshot","line":16,"target":{"variable":"best"},"value":2},{"kind":"snapshot","line":16,"target":{"variable":"right"},"value":2},{"kind":"snapshot","line":16,"target":{"variable":"ch"},"value":"c"},{"kind":"write","line":16,"target":{"variable":"len"},"value":3}],"accesses":[{"kind":"write","target":{"variable":"len"},"value":3,"sourceValue":2,"event":{"target":{"variable":"len"}}}],"callStack":[{"functionName":"lengthOfLongestSubstring","line":5,"args":{"s":"abcabcbb"}}],"stdout":[]},{"frameIndex":23,"anchor":{"line":17,"file":"/Users/obinnanwachukwu/Code/algoflow/experiments/local-tracelang-triage/.generated/java-samples/java-local-73af8d1d47240b08/input/Exports.java","functionName":"lengthOfLongestSubstring"},"state":{"s":"abcabcbb","lastSeen":{"a":0,"b":1,"c":2},"left":0,"best":2,"right":2,"ch":"c","len":3},"events":[{"kind":"line","line":17,"function":"lengthOfLongestSubstring"},{"kind":"snapshot","line":17,"target":{"variable":"s"},"value":"abcabcbb"},{"kind":"snapshot","line":17,"target":{"variable":"lastSeen"},"value":{"a":0,"b":1,"c":2}},{"kind":"snapshot","line":17,"target":{"variable":"left"},"value":0},{"kind":"snapshot","line":17,"target":{"variable":"best"},"value":2},{"kind":"snapshot","line":17,"target":{"variable":"right"},"value":2},{"kind":"snapshot","line":17,"target":{"variable":"ch"},"value":"c"},{"kind":"snapshot","line":17,"target":{"variable":"len"},"value":3}],"accesses":[],"callStack":[{"functionName":"lengthOfLongestSubstring","line":5,"args":{"s":"abcabcbb"}}],"stdout":[]},{"frameIndex":24,"anchor":{"line":18,"file":"/Users/obinnanwachukwu/Code/algoflow/experiments/local-tracelang-triage/.generated/java-samples/java-local-73af8d1d47240b08/input/Exports.java","functionName":"lengthOfLongestSubstring"},"state":{"s":"abcabcbb","lastSeen":{"a":0,"b":1,"c":2},"left":0,"best":3,"right":2,"ch":"c","len":3},"events":[{"kind":"line","line":18,"function":"lengthOfLongestSubstring"},{"kind":"snapshot","line":18,"target":{"variable":"s"},"value":"abcabcbb"},{"kind":"snapshot","line":18,"target":{"variable":"lastSeen"},"value":{"a":0,"b":1,"c":2}},{"kind":"snapshot","line":18,"target":{"variable":"left"},"value":0},{"kind":"snapshot","line":18,"target":{"variable":"best"},"value":2},{"kind":"snapshot","line":18,"target":{"variable":"right"},"value":2},{"kind":"snapshot","line":18,"target":{"variable":"ch"},"value":"c"},{"kind":"snapshot","line":18,"target":{"variable":"len"},"value":3},{"kind":"write","line":18,"target":{"variable":"best"},"value":3},{"kind":"snapshot","line":18,"target":{"variable":"best"},"value":3}],"accesses":[{"kind":"write","target":{"variable":"best"},"value":3,"sourceValue":2,"event":{"target":{"variable":"best"}}}],"callStack":[{"functionName":"lengthOfLongestSubstring","line":5,"args":{"s":"abcabcbb"}}],"stdout":[]},{"frameIndex":25,"anchor":{"line":10,"file":"/Users/obinnanwachukwu/Code/algoflow/experiments/local-tracelang-triage/.generated/java-samples/java-local-73af8d1d47240b08/input/Exports.java"},"state":{"s":"abcabcbb","lastSeen":{"a":0,"b":1,"c":2},"left":0,"best":3,"right":3,"ch":"c","len":3},"events":[{"kind":"write","line":10,"target":{"variable":"right"},"value":3},{"kind":"line","line":10,"function":"lengthOfLongestSubstring"},{"kind":"snapshot","line":10,"target":{"variable":"s"},"value":"abcabcbb"},{"kind":"snapshot","line":10,"target":{"variable":"lastSeen"},"value":{"a":0,"b":1,"c":2}},{"kind":"snapshot","line":10,"target":{"variable":"left"},"value":0},{"kind":"snapshot","line":10,"target":{"variable":"best"},"value":3},{"kind":"snapshot","line":10,"target":{"variable":"len"},"value":3},{"kind":"snapshot","line":10,"target":{"variable":"right"},"value":3}],"accesses":[{"kind":"write","target":{"variable":"right"},"value":3,"sourceValue":2,"event":{"target":{"variable":"right"}}}],"callStack":[{"functionName":"lengthOfLongestSubstring","line":5,"args":{"s":"abcabcbb"}}],"stdout":[]},{"frameIndex":26,"anchor":{"line":11,"file":"/Users/obinnanwachukwu/Code/algoflow/experiments/local-tracelang-triage/.generated/java-samples/java-local-73af8d1d47240b08/input/Exports.java","functionName":"lengthOfLongestSubstring"},"state":{"s":"abcabcbb","lastSeen":{"a":0,"b":1,"c":2},"left":0,"best":3,"right":3,"ch":"a","len":3},"events":[{"kind":"line","line":11,"function":"lengthOfLongestSubstring"},{"kind":"snapshot","line":11,"target":{"variable":"s"},"value":"abcabcbb"},{"kind":"snapshot","line":11,"target":{"variable":"lastSeen"},"value":{"a":0,"b":1,"c":2}},{"kind":"snapshot","line":11,"target":{"variable":"left"},"value":0},{"kind":"snapshot","line":11,"target":{"variable":"best"},"value":3},{"kind":"snapshot","line":11,"target":{"variable":"right"},"value":3},{"kind":"read","line":11,"target":{"variable":"s","path":[3],"indexSources":["right"]},"value":"a"},{"kind":"write","line":11,"target":{"variable":"ch"},"value":"a"}],"accesses":[{"kind":"read","target":{"variable":"s","path":[3],"indexSources":["right"]},"value":"a","sourceValue":"abcabcbb","event":{"target":{"variable":"s","path":[3],"indexSources":["right"]}}},{"kind":"write","target":{"variable":"ch"},"value":"a","sourceValue":"c","event":{"target":{"variable":"ch"}}}],"callStack":[{"functionName":"lengthOfLongestSubstring","line":5,"args":{"s":"abcabcbb"}}],"stdout":[]},{"frameIndex":27,"anchor":{"line":12,"file":"/Users/obinnanwachukwu/Code/algoflow/experiments/local-tracelang-triage/.generated/java-samples/java-local-73af8d1d47240b08/input/Exports.java","functionName":"lengthOfLongestSubstring"},"state":{"s":"abcabcbb","lastSeen":{"a":0,"b":1,"c":2},"left":0,"best":3,"right":3,"ch":"a","len":3},"events":[{"kind":"line","line":12,"function":"lengthOfLongestSubstring"},{"kind":"snapshot","line":12,"target":{"variable":"s"},"value":"abcabcbb"},{"kind":"snapshot","line":12,"target":{"variable":"lastSeen"},"value":{"a":0,"b":1,"c":2}},{"kind":"snapshot","line":12,"target":{"variable":"left"},"value":0},{"kind":"snapshot","line":12,"target":{"variable":"best"},"value":3},{"kind":"snapshot","line":12,"target":{"variable":"right"},"value":3},{"kind":"snapshot","line":12,"target":{"variable":"ch"},"value":"a"},{"kind":"read","line":12,"target":{"variable":"lastSeen","path":["a"],"indexSources":["ch"]},"value":true},{"kind":"read","line":12,"target":{"variable":"lastSeen","path":["a"],"indexSources":["ch"]},"value":0}],"accesses":[{"kind":"read","target":{"variable":"lastSeen","path":["a"],"indexSources":["ch"]},"value":true,"sourceValue":{"a":0,"b":1,"c":2},"event":{"target":{"variable":"lastSeen","path":["a"],"indexSources":["ch"]}}},{"kind":"read","target":{"variable":"lastSeen","path":["a"],"indexSources":["ch"]},"value":0,"sourceValue":{"a":0,"b":1,"c":2},"event":{"target":{"variable":"lastSeen","path":["a"],"indexSources":["ch"]}}}],"callStack":[{"functionName":"lengthOfLongestSubstring","line":5,"args":{"s":"abcabcbb"}}],"stdout":[]},{"frameIndex":28,"anchor":{"line":13,"file":"/Users/obinnanwachukwu/Code/algoflow/experiments/local-tracelang-triage/.generated/java-samples/java-local-73af8d1d47240b08/input/Exports.java","functionName":"lengthOfLongestSubstring"},"state":{"s":"abcabcbb","lastSeen":{"a":0,"b":1,"c":2},"left":1,"best":3,"right":3,"ch":"a","len":3},"events":[{"kind":"line","line":13,"function":"lengthOfLongestSubstring"},{"kind":"snapshot","line":13,"target":{"variable":"s"},"value":"abcabcbb"},{"kind":"snapshot","line":13,"target":{"variable":"lastSeen"},"value":{"a":0,"b":1,"c":2}},{"kind":"snapshot","line":13,"target":{"variable":"left"},"value":0},{"kind":"snapshot","line":13,"target":{"variable":"best"},"value":3},{"kind":"snapshot","line":13,"target":{"variable":"right"},"value":3},{"kind":"snapshot","line":13,"target":{"variable":"ch"},"value":"a"},{"kind":"read","line":13,"target":{"variable":"lastSeen","path":["a"],"indexSources":["ch"]},"value":0},{"kind":"write","line":13,"target":{"variable":"left"},"value":1},{"kind":"snapshot","line":13,"target":{"variable":"left"},"value":1}],"accesses":[{"kind":"read","target":{"variable":"lastSeen","path":["a"],"indexSources":["ch"]},"value":0,"sourceValue":{"a":0,"b":1,"c":2},"event":{"target":{"variable":"lastSeen","path":["a"],"indexSources":["ch"]}}},{"kind":"write","target":{"variable":"left"},"value":1,"sourceValue":0,"event":{"target":{"variable":"left"}}}],"callStack":[{"functionName":"lengthOfLongestSubstring","line":5,"args":{"s":"abcabcbb"}}],"stdout":[]},{"frameIndex":29,"anchor":{"line":15,"file":"/Users/obinnanwachukwu/Code/algoflow/experiments/local-tracelang-triage/.generated/java-samples/java-local-73af8d1d47240b08/input/Exports.java","functionName":"lengthOfLongestSubstring"},"state":{"s":"abcabcbb","lastSeen":{"a":3,"b":1,"c":2},"left":1,"best":3,"right":3,"ch":"a","len":3},"events":[{"kind":"line","line":15,"function":"lengthOfLongestSubstring"},{"kind":"snapshot","line":15,"target":{"variable":"s"},"value":"abcabcbb"},{"kind":"snapshot","line":15,"target":{"variable":"lastSeen"},"value":{"a":0,"b":1,"c":2}},{"kind":"snapshot","line":15,"target":{"variable":"left"},"value":1},{"kind":"snapshot","line":15,"target":{"variable":"best"},"value":3},{"kind":"snapshot","line":15,"target":{"variable":"right"},"value":3},{"kind":"snapshot","line":15,"target":{"variable":"ch"},"value":"a"},{"kind":"write","line":15,"target":{"variable":"lastSeen","path":["a"],"indexSources":["ch"]},"value":3},{"kind":"mutate","line":15,"target":{"variable":"lastSeen","path":["a"],"indexSources":["ch"]},"method":"put","args":["a",3]},{"kind":"snapshot","line":15,"target":{"variable":"lastSeen"},"value":{"a":3,"b":1,"c":2}}],"accesses":[{"kind":"write","target":{"variable":"lastSeen","path":["a"],"indexSources":["ch"]},"value":3,"sourceValue":{"a":0,"b":1,"c":2},"event":{"target":{"variable":"lastSeen","path":["a"],"indexSources":["ch"]}}},{"kind":"mutate","target":{"variable":"lastSeen","path":["a"],"indexSources":["ch"]},"sourceValue":{"a":3,"b":1,"c":2},"method":"put","event":{"target":{"variable":"lastSeen","path":["a"],"indexSources":["ch"]},"method":"put","args":["a",3]}}],"callStack":[{"functionName":"lengthOfLongestSubstring","line":5,"args":{"s":"abcabcbb"}}],"stdout":[]},{"frameIndex":30,"anchor":{"line":16,"file":"/Users/obinnanwachukwu/Code/algoflow/experiments/local-tracelang-triage/.generated/java-samples/java-local-73af8d1d47240b08/input/Exports.java","functionName":"lengthOfLongestSubstring"},"state":{"s":"abcabcbb","lastSeen":{"a":3,"b":1,"c":2},"left":1,"best":3,"right":3,"ch":"a","len":3},"events":[{"kind":"line","line":16,"function":"lengthOfLongestSubstring"},{"kind":"snapshot","line":16,"target":{"variable":"s"},"value":"abcabcbb"},{"kind":"snapshot","line":16,"target":{"variable":"lastSeen"},"value":{"a":3,"b":1,"c":2}},{"kind":"snapshot","line":16,"target":{"variable":"left"},"value":1},{"kind":"snapshot","line":16,"target":{"variable":"best"},"value":3},{"kind":"snapshot","line":16,"target":{"variable":"right"},"value":3},{"kind":"snapshot","line":16,"target":{"variable":"ch"},"value":"a"},{"kind":"write","line":16,"target":{"variable":"len"},"value":3}],"accesses":[{"kind":"write","target":{"variable":"len"},"value":3,"sourceValue":3,"event":{"target":{"variable":"len"}}}],"callStack":[{"functionName":"lengthOfLongestSubstring","line":5,"args":{"s":"abcabcbb"}}],"stdout":[]},{"frameIndex":31,"anchor":{"line":17,"file":"/Users/obinnanwachukwu/Code/algoflow/experiments/local-tracelang-triage/.generated/java-samples/java-local-73af8d1d47240b08/input/Exports.java","functionName":"lengthOfLongestSubstring"},"state":{"s":"abcabcbb","lastSeen":{"a":3,"b":1,"c":2},"left":1,"best":3,"right":3,"ch":"a","len":3},"events":[{"kind":"line","line":17,"function":"lengthOfLongestSubstring"},{"kind":"snapshot","line":17,"target":{"variable":"s"},"value":"abcabcbb"},{"kind":"snapshot","line":17,"target":{"variable":"lastSeen"},"value":{"a":3,"b":1,"c":2}},{"kind":"snapshot","line":17,"target":{"variable":"left"},"value":1},{"kind":"snapshot","line":17,"target":{"variable":"best"},"value":3},{"kind":"snapshot","line":17,"target":{"variable":"right"},"value":3},{"kind":"snapshot","line":17,"target":{"variable":"ch"},"value":"a"},{"kind":"snapshot","line":17,"target":{"variable":"len"},"value":3}],"accesses":[],"callStack":[{"functionName":"lengthOfLongestSubstring","line":5,"args":{"s":"abcabcbb"}}],"stdout":[]},{"frameIndex":32,"anchor":{"line":10,"file":"/Users/obinnanwachukwu/Code/algoflow/experiments/local-tracelang-triage/.generated/java-samples/java-local-73af8d1d47240b08/input/Exports.java"},"state":{"s":"abcabcbb","lastSeen":{"a":3,"b":1,"c":2},"left":1,"best":3,"right":4,"ch":"a","len":3},"events":[{"kind":"write","line":10,"target":{"variable":"right"},"value":4},{"kind":"line","line":10,"function":"lengthOfLongestSubstring"},{"kind":"snapshot","line":10,"target":{"variable":"s"},"value":"abcabcbb"},{"kind":"snapshot","line":10,"target":{"variable":"lastSeen"},"value":{"a":3,"b":1,"c":2}},{"kind":"snapshot","line":10,"target":{"variable":"left"},"value":1},{"kind":"snapshot","line":10,"target":{"variable":"best"},"value":3},{"kind":"snapshot","line":10,"target":{"variable":"len"},"value":3},{"kind":"snapshot","line":10,"target":{"variable":"right"},"value":4}],"accesses":[{"kind":"write","target":{"variable":"right"},"value":4,"sourceValue":3,"event":{"target":{"variable":"right"}}}],"callStack":[{"functionName":"lengthOfLongestSubstring","line":5,"args":{"s":"abcabcbb"}}],"stdout":[]},{"frameIndex":33,"anchor":{"line":11,"file":"/Users/obinnanwachukwu/Code/algoflow/experiments/local-tracelang-triage/.generated/java-samples/java-local-73af8d1d47240b08/input/Exports.java","functionName":"lengthOfLongestSubstring"},"state":{"s":"abcabcbb","lastSeen":{"a":3,"b":1,"c":2},"left":1,"best":3,"right":4,"ch":"b","len":3},"events":[{"kind":"line","line":11,"function":"lengthOfLongestSubstring"},{"kind":"snapshot","line":11,"target":{"variable":"s"},"value":"abcabcbb"},{"kind":"snapshot","line":11,"target":{"variable":"lastSeen"},"value":{"a":3,"b":1,"c":2}},{"kind":"snapshot","line":11,"target":{"variable":"left"},"value":1},{"kind":"snapshot","line":11,"target":{"variable":"best"},"value":3},{"kind":"snapshot","line":11,"target":{"variable":"right"},"value":4},{"kind":"read","line":11,"target":{"variable":"s","path":[4],"indexSources":["right"]},"value":"b"},{"kind":"write","line":11,"target":{"variable":"ch"},"value":"b"}],"accesses":[{"kind":"read","target":{"variable":"s","path":[4],"indexSources":["right"]},"value":"b","sourceValue":"abcabcbb","event":{"target":{"variable":"s","path":[4],"indexSources":["right"]}}},{"kind":"write","target":{"variable":"ch"},"value":"b","sourceValue":"a","event":{"target":{"variable":"ch"}}}],"callStack":[{"functionName":"lengthOfLongestSubstring","line":5,"args":{"s":"abcabcbb"}}],"stdout":[]},{"frameIndex":34,"anchor":{"line":12,"file":"/Users/obinnanwachukwu/Code/algoflow/experiments/local-tracelang-triage/.generated/java-samples/java-local-73af8d1d47240b08/input/Exports.java","functionName":"lengthOfLongestSubstring"},"state":{"s":"abcabcbb","lastSeen":{"a":3,"b":1,"c":2},"left":1,"best":3,"right":4,"ch":"b","len":3},"events":[{"kind":"line","line":12,"function":"lengthOfLongestSubstring"},{"kind":"snapshot","line":12,"target":{"variable":"s"},"value":"abcabcbb"},{"kind":"snapshot","line":12,"target":{"variable":"lastSeen"},"value":{"a":3,"b":1,"c":2}},{"kind":"snapshot","line":12,"target":{"variable":"left"},"value":1},{"kind":"snapshot","line":12,"target":{"variable":"best"},"value":3},{"kind":"snapshot","line":12,"target":{"variable":"right"},"value":4},{"kind":"snapshot","line":12,"target":{"variable":"ch"},"value":"b"},{"kind":"read","line":12,"target":{"variable":"lastSeen","path":["b"],"indexSources":["ch"]},"value":true},{"kind":"read","line":12,"target":{"variable":"lastSeen","path":["b"],"indexSources":["ch"]},"value":1}],"accesses":[{"kind":"read","target":{"variable":"lastSeen","path":["b"],"indexSources":["ch"]},"value":true,"sourceValue":{"a":3,"b":1,"c":2},"event":{"target":{"variable":"lastSeen","path":["b"],"indexSources":["ch"]}}},{"kind":"read","target":{"variable":"lastSeen","path":["b"],"indexSources":["ch"]},"value":1,"sourceValue":{"a":3,"b":1,"c":2},"event":{"target":{"variable":"lastSeen","path":["b"],"indexSources":["ch"]}}}],"callStack":[{"functionName":"lengthOfLongestSubstring","line":5,"args":{"s":"abcabcbb"}}],"stdout":[]},{"frameIndex":35,"anchor":{"line":13,"file":"/Users/obinnanwachukwu/Code/algoflow/experiments/local-tracelang-triage/.generated/java-samples/java-local-73af8d1d47240b08/input/Exports.java","functionName":"lengthOfLongestSubstring"},"state":{"s":"abcabcbb","lastSeen":{"a":3,"b":1,"c":2},"left":2,"best":3,"right":4,"ch":"b","len":3},"events":[{"kind":"line","line":13,"function":"lengthOfLongestSubstring"},{"kind":"snapshot","line":13,"target":{"variable":"s"},"value":"abcabcbb"},{"kind":"snapshot","line":13,"target":{"variable":"lastSeen"},"value":{"a":3,"b":1,"c":2}},{"kind":"snapshot","line":13,"target":{"variable":"left"},"value":1},{"kind":"snapshot","line":13,"target":{"variable":"best"},"value":3},{"kind":"snapshot","line":13,"target":{"variable":"right"},"value":4},{"kind":"snapshot","line":13,"target":{"variable":"ch"},"value":"b"},{"kind":"read","line":13,"target":{"variable":"lastSeen","path":["b"],"indexSources":["ch"]},"value":1},{"kind":"write","line":13,"target":{"variable":"left"},"value":2},{"kind":"snapshot","line":13,"target":{"variable":"left"},"value":2}],"accesses":[{"kind":"read","target":{"variable":"lastSeen","path":["b"],"indexSources":["ch"]},"value":1,"sourceValue":{"a":3,"b":1,"c":2},"event":{"target":{"variable":"lastSeen","path":["b"],"indexSources":["ch"]}}},{"kind":"write","target":{"variable":"left"},"value":2,"sourceValue":1,"event":{"target":{"variable":"left"}}}],"callStack":[{"functionName":"lengthOfLongestSubstring","line":5,"args":{"s":"abcabcbb"}}],"stdout":[]},{"frameIndex":36,"anchor":{"line":15,"file":"/Users/obinnanwachukwu/Code/algoflow/experiments/local-tracelang-triage/.generated/java-samples/java-local-73af8d1d47240b08/input/Exports.java","functionName":"lengthOfLongestSubstring"},"state":{"s":"abcabcbb","lastSeen":{"a":3,"b":4,"c":2},"left":2,"best":3,"right":4,"ch":"b","len":3},"events":[{"kind":"line","line":15,"function":"lengthOfLongestSubstring"},{"kind":"snapshot","line":15,"target":{"variable":"s"},"value":"abcabcbb"},{"kind":"snapshot","line":15,"target":{"variable":"lastSeen"},"value":{"a":3,"b":1,"c":2}},{"kind":"snapshot","line":15,"target":{"variable":"left"},"value":2},{"kind":"snapshot","line":15,"target":{"variable":"best"},"value":3},{"kind":"snapshot","line":15,"target":{"variable":"right"},"value":4},{"kind":"snapshot","line":15,"target":{"variable":"ch"},"value":"b"},{"kind":"write","line":15,"target":{"variable":"lastSeen","path":["b"],"indexSources":["ch"]},"value":4},{"kind":"mutate","line":15,"target":{"variable":"lastSeen","path":["b"],"indexSources":["ch"]},"method":"put","args":["b",4]},{"kind":"snapshot","line":15,"target":{"variable":"lastSeen"},"value":{"a":3,"b":4,"c":2}}],"accesses":[{"kind":"write","target":{"variable":"lastSeen","path":["b"],"indexSources":["ch"]},"value":4,"sourceValue":{"a":3,"b":1,"c":2},"event":{"target":{"variable":"lastSeen","path":["b"],"indexSources":["ch"]}}},{"kind":"mutate","target":{"variable":"lastSeen","path":["b"],"indexSources":["ch"]},"sourceValue":{"a":3,"b":4,"c":2},"method":"put","event":{"target":{"variable":"lastSeen","path":["b"],"indexSources":["ch"]},"method":"put","args":["b",4]}}],"callStack":[{"functionName":"lengthOfLongestSubstring","line":5,"args":{"s":"abcabcbb"}}],"stdout":[]},{"frameIndex":37,"anchor":{"line":16,"file":"/Users/obinnanwachukwu/Code/algoflow/experiments/local-tracelang-triage/.generated/java-samples/java-local-73af8d1d47240b08/input/Exports.java","functionName":"lengthOfLongestSubstring"},"state":{"s":"abcabcbb","lastSeen":{"a":3,"b":4,"c":2},"left":2,"best":3,"right":4,"ch":"b","len":3},"events":[{"kind":"line","line":16,"function":"lengthOfLongestSubstring"},{"kind":"snapshot","line":16,"target":{"variable":"s"},"value":"abcabcbb"},{"kind":"snapshot","line":16,"target":{"variable":"lastSeen"},"value":{"a":3,"b":4,"c":2}},{"kind":"snapshot","line":16,"target":{"variable":"left"},"value":2},{"kind":"snapshot","line":16,"target":{"variable":"best"},"value":3},{"kind":"snapshot","line":16,"target":{"variable":"right"},"value":4},{"kind":"snapshot","line":16,"target":{"variable":"ch"},"value":"b"},{"kind":"write","line":16,"target":{"variable":"len"},"value":3}],"accesses":[{"kind":"write","target":{"variable":"len"},"value":3,"sourceValue":3,"event":{"target":{"variable":"len"}}}],"callStack":[{"functionName":"lengthOfLongestSubstring","line":5,"args":{"s":"abcabcbb"}}],"stdout":[]},{"frameIndex":38,"anchor":{"line":17,"file":"/Users/obinnanwachukwu/Code/algoflow/experiments/local-tracelang-triage/.generated/java-samples/java-local-73af8d1d47240b08/input/Exports.java","functionName":"lengthOfLongestSubstring"},"state":{"s":"abcabcbb","lastSeen":{"a":3,"b":4,"c":2},"left":2,"best":3,"right":4,"ch":"b","len":3},"events":[{"kind":"line","line":17,"function":"lengthOfLongestSubstring"},{"kind":"snapshot","line":17,"target":{"variable":"s"},"value":"abcabcbb"},{"kind":"snapshot","line":17,"target":{"variable":"lastSeen"},"value":{"a":3,"b":4,"c":2}},{"kind":"snapshot","line":17,"target":{"variable":"left"},"value":2},{"kind":"snapshot","line":17,"target":{"variable":"best"},"value":3},{"kind":"snapshot","line":17,"target":{"variable":"right"},"value":4},{"kind":"snapshot","line":17,"target":{"variable":"ch"},"value":"b"},{"kind":"snapshot","line":17,"target":{"variable":"len"},"value":3}],"accesses":[],"callStack":[{"functionName":"lengthOfLongestSubstring","line":5,"args":{"s":"abcabcbb"}}],"stdout":[]},{"frameIndex":39,"anchor":{"line":10,"file":"/Users/obinnanwachukwu/Code/algoflow/experiments/local-tracelang-triage/.generated/java-samples/java-local-73af8d1d47240b08/input/Exports.java"},"state":{"s":"abcabcbb","lastSeen":{"a":3,"b":4,"c":2},"left":2,"best":3,"right":5,"ch":"b","len":3},"events":[{"kind":"write","line":10,"target":{"variable":"right"},"value":5},{"kind":"line","line":10,"function":"lengthOfLongestSubstring"},{"kind":"snapshot","line":10,"target":{"variable":"s"},"value":"abcabcbb"},{"kind":"snapshot","line":10,"target":{"variable":"lastSeen"},"value":{"a":3,"b":4,"c":2}},{"kind":"snapshot","line":10,"target":{"variable":"left"},"value":2},{"kind":"snapshot","line":10,"target":{"variable":"best"},"value":3},{"kind":"snapshot","line":10,"target":{"variable":"len"},"value":3},{"kind":"snapshot","line":10,"target":{"variable":"right"},"value":5}],"accesses":[{"kind":"write","target":{"variable":"right"},"value":5,"sourceValue":4,"event":{"target":{"variable":"right"}}}],"callStack":[{"functionName":"lengthOfLongestSubstring","line":5,"args":{"s":"abcabcbb"}}],"stdout":[]},{"frameIndex":40,"anchor":{"line":11,"file":"/Users/obinnanwachukwu/Code/algoflow/experiments/local-tracelang-triage/.generated/java-samples/java-local-73af8d1d47240b08/input/Exports.java","functionName":"lengthOfLongestSubstring"},"state":{"s":"abcabcbb","lastSeen":{"a":3,"b":4,"c":2},"left":2,"best":3,"right":5,"ch":"c","len":3},"events":[{"kind":"line","line":11,"function":"lengthOfLongestSubstring"},{"kind":"snapshot","line":11,"target":{"variable":"s"},"value":"abcabcbb"},{"kind":"snapshot","line":11,"target":{"variable":"lastSeen"},"value":{"a":3,"b":4,"c":2}},{"kind":"snapshot","line":11,"target":{"variable":"left"},"value":2},{"kind":"snapshot","line":11,"target":{"variable":"best"},"value":3},{"kind":"snapshot","line":11,"target":{"variable":"right"},"value":5},{"kind":"read","line":11,"target":{"variable":"s","path":[5],"indexSources":["right"]},"value":"c"},{"kind":"write","line":11,"target":{"variable":"ch"},"value":"c"}],"accesses":[{"kind":"read","target":{"variable":"s","path":[5],"indexSources":["right"]},"value":"c","sourceValue":"abcabcbb","event":{"target":{"variable":"s","path":[5],"indexSources":["right"]}}},{"kind":"write","target":{"variable":"ch"},"value":"c","sourceValue":"b","event":{"target":{"variable":"ch"}}}],"callStack":[{"functionName":"lengthOfLongestSubstring","line":5,"args":{"s":"abcabcbb"}}],"stdout":[]},{"frameIndex":41,"anchor":{"line":12,"file":"/Users/obinnanwachukwu/Code/algoflow/experiments/local-tracelang-triage/.generated/java-samples/java-local-73af8d1d47240b08/input/Exports.java","functionName":"lengthOfLongestSubstring"},"state":{"s":"abcabcbb","lastSeen":{"a":3,"b":4,"c":2},"left":2,"best":3,"right":5,"ch":"c","len":3},"events":[{"kind":"line","line":12,"function":"lengthOfLongestSubstring"},{"kind":"snapshot","line":12,"target":{"variable":"s"},"value":"abcabcbb"},{"kind":"snapshot","line":12,"target":{"variable":"lastSeen"},"value":{"a":3,"b":4,"c":2}},{"kind":"snapshot","line":12,"target":{"variable":"left"},"value":2},{"kind":"snapshot","line":12,"target":{"variable":"best"},"value":3},{"kind":"snapshot","line":12,"target":{"variable":"right"},"value":5},{"kind":"snapshot","line":12,"target":{"variable":"ch"},"value":"c"},{"kind":"read","line":12,"target":{"variable":"lastSeen","path":["c"],"indexSources":["ch"]},"value":true},{"kind":"read","line":12,"target":{"variable":"lastSeen","path":["c"],"indexSources":["ch"]},"value":2}],"accesses":[{"kind":"read","target":{"variable":"lastSeen","path":["c"],"indexSources":["ch"]},"value":true,"sourceValue":{"a":3,"b":4,"c":2},"event":{"target":{"variable":"lastSeen","path":["c"],"indexSources":["ch"]}}},{"kind":"read","target":{"variable":"lastSeen","path":["c"],"indexSources":["ch"]},"value":2,"sourceValue":{"a":3,"b":4,"c":2},"event":{"target":{"variable":"lastSeen","path":["c"],"indexSources":["ch"]}}}],"callStack":[{"functionName":"lengthOfLongestSubstring","line":5,"args":{"s":"abcabcbb"}}],"stdout":[]},{"frameIndex":42,"anchor":{"line":13,"file":"/Users/obinnanwachukwu/Code/algoflow/experiments/local-tracelang-triage/.generated/java-samples/java-local-73af8d1d47240b08/input/Exports.java","functionName":"lengthOfLongestSubstring"},"state":{"s":"abcabcbb","lastSeen":{"a":3,"b":4,"c":2},"left":3,"best":3,"right":5,"ch":"c","len":3},"events":[{"kind":"line","line":13,"function":"lengthOfLongestSubstring"},{"kind":"snapshot","line":13,"target":{"variable":"s"},"value":"abcabcbb"},{"kind":"snapshot","line":13,"target":{"variable":"lastSeen"},"value":{"a":3,"b":4,"c":2}},{"kind":"snapshot","line":13,"target":{"variable":"left"},"value":2},{"kind":"snapshot","line":13,"target":{"variable":"best"},"value":3},{"kind":"snapshot","line":13,"target":{"variable":"right"},"value":5},{"kind":"snapshot","line":13,"target":{"variable":"ch"},"value":"c"},{"kind":"read","line":13,"target":{"variable":"lastSeen","path":["c"],"indexSources":["ch"]},"value":2},{"kind":"write","line":13,"target":{"variable":"left"},"value":3},{"kind":"snapshot","line":13,"target":{"variable":"left"},"value":3}],"accesses":[{"kind":"read","target":{"variable":"lastSeen","path":["c"],"indexSources":["ch"]},"value":2,"sourceValue":{"a":3,"b":4,"c":2},"event":{"target":{"variable":"lastSeen","path":["c"],"indexSources":["ch"]}}},{"kind":"write","target":{"variable":"left"},"value":3,"sourceValue":2,"event":{"target":{"variable":"left"}}}],"callStack":[{"functionName":"lengthOfLongestSubstring","line":5,"args":{"s":"abcabcbb"}}],"stdout":[]},{"frameIndex":43,"anchor":{"line":15,"file":"/Users/obinnanwachukwu/Code/algoflow/experiments/local-tracelang-triage/.generated/java-samples/java-local-73af8d1d47240b08/input/Exports.java","functionName":"lengthOfLongestSubstring"},"state":{"s":"abcabcbb","lastSeen":{"a":3,"b":4,"c":5},"left":3,"best":3,"right":5,"ch":"c","len":3},"events":[{"kind":"line","line":15,"function":"lengthOfLongestSubstring"},{"kind":"snapshot","line":15,"target":{"variable":"s"},"value":"abcabcbb"},{"kind":"snapshot","line":15,"target":{"variable":"lastSeen"},"value":{"a":3,"b":4,"c":2}},{"kind":"snapshot","line":15,"target":{"variable":"left"},"value":3},{"kind":"snapshot","line":15,"target":{"variable":"best"},"value":3},{"kind":"snapshot","line":15,"target":{"variable":"right"},"value":5},{"kind":"snapshot","line":15,"target":{"variable":"ch"},"value":"c"},{"kind":"write","line":15,"target":{"variable":"lastSeen","path":["c"],"indexSources":["ch"]},"value":5},{"kind":"mutate","line":15,"target":{"variable":"lastSeen","path":["c"],"indexSources":["ch"]},"method":"put","args":["c",5]},{"kind":"snapshot","line":15,"target":{"variable":"lastSeen"},"value":{"a":3,"b":4,"c":5}}],"accesses":[{"kind":"write","target":{"variable":"lastSeen","path":["c"],"indexSources":["ch"]},"value":5,"sourceValue":{"a":3,"b":4,"c":2},"event":{"target":{"variable":"lastSeen","path":["c"],"indexSources":["ch"]}}},{"kind":"mutate","target":{"variable":"lastSeen","path":["c"],"indexSources":["ch"]},"sourceValue":{"a":3,"b":4,"c":5},"method":"put","event":{"target":{"variable":"lastSeen","path":["c"],"indexSources":["ch"]},"method":"put","args":["c",5]}}],"callStack":[{"functionName":"lengthOfLongestSubstring","line":5,"args":{"s":"abcabcbb"}}],"stdout":[]},{"frameIndex":44,"anchor":{"line":16,"file":"/Users/obinnanwachukwu/Code/algoflow/experiments/local-tracelang-triage/.generated/java-samples/java-local-73af8d1d47240b08/input/Exports.java","functionName":"lengthOfLongestSubstring"},"state":{"s":"abcabcbb","lastSeen":{"a":3,"b":4,"c":5},"left":3,"best":3,"right":5,"ch":"c","len":3},"events":[{"kind":"line","line":16,"function":"lengthOfLongestSubstring"},{"kind":"snapshot","line":16,"target":{"variable":"s"},"value":"abcabcbb"},{"kind":"snapshot","line":16,"target":{"variable":"lastSeen"},"value":{"a":3,"b":4,"c":5}},{"kind":"snapshot","line":16,"target":{"variable":"left"},"value":3},{"kind":"snapshot","line":16,"target":{"variable":"best"},"value":3},{"kind":"snapshot","line":16,"target":{"variable":"right"},"value":5},{"kind":"snapshot","line":16,"target":{"variable":"ch"},"value":"c"},{"kind":"write","line":16,"target":{"variable":"len"},"value":3}],"accesses":[{"kind":"write","target":{"variable":"len"},"value":3,"sourceValue":3,"event":{"target":{"variable":"len"}}}],"callStack":[{"functionName":"lengthOfLongestSubstring","line":5,"args":{"s":"abcabcbb"}}],"stdout":[]},{"frameIndex":45,"anchor":{"line":17,"file":"/Users/obinnanwachukwu/Code/algoflow/experiments/local-tracelang-triage/.generated/java-samples/java-local-73af8d1d47240b08/input/Exports.java","functionName":"lengthOfLongestSubstring"},"state":{"s":"abcabcbb","lastSeen":{"a":3,"b":4,"c":5},"left":3,"best":3,"right":5,"ch":"c","len":3},"events":[{"kind":"line","line":17,"function":"lengthOfLongestSubstring"},{"kind":"snapshot","line":17,"target":{"variable":"s"},"value":"abcabcbb"},{"kind":"snapshot","line":17,"target":{"variable":"lastSeen"},"value":{"a":3,"b":4,"c":5}},{"kind":"snapshot","line":17,"target":{"variable":"left"},"value":3},{"kind":"snapshot","line":17,"target":{"variable":"best"},"value":3},{"kind":"snapshot","line":17,"target":{"variable":"right"},"value":5},{"kind":"snapshot","line":17,"target":{"variable":"ch"},"value":"c"},{"kind":"snapshot","line":17,"target":{"variable":"len"},"value":3}],"accesses":[],"callStack":[{"functionName":"lengthOfLongestSubstring","line":5,"args":{"s":"abcabcbb"}}],"stdout":[]},{"frameIndex":46,"anchor":{"line":10,"file":"/Users/obinnanwachukwu/Code/algoflow/experiments/local-tracelang-triage/.generated/java-samples/java-local-73af8d1d47240b08/input/Exports.java"},"state":{"s":"abcabcbb","lastSeen":{"a":3,"b":4,"c":5},"left":3,"best":3,"right":6,"ch":"c","len":3},"events":[{"kind":"write","line":10,"target":{"variable":"right"},"value":6},{"kind":"line","line":10,"function":"lengthOfLongestSubstring"},{"kind":"snapshot","line":10,"target":{"variable":"s"},"value":"abcabcbb"},{"kind":"snapshot","line":10,"target":{"variable":"lastSeen"},"value":{"a":3,"b":4,"c":5}},{"kind":"snapshot","line":10,"target":{"variable":"left"},"value":3},{"kind":"snapshot","line":10,"target":{"variable":"best"},"value":3},{"kind":"snapshot","line":10,"target":{"variable":"len"},"value":3},{"kind":"snapshot","line":10,"target":{"variable":"right"},"value":6}],"accesses":[{"kind":"write","target":{"variable":"right"},"value":6,"sourceValue":5,"event":{"target":{"variable":"right"}}}],"callStack":[{"functionName":"lengthOfLongestSubstring","line":5,"args":{"s":"abcabcbb"}}],"stdout":[]},{"frameIndex":47,"anchor":{"line":11,"file":"/Users/obinnanwachukwu/Code/algoflow/experiments/local-tracelang-triage/.generated/java-samples/java-local-73af8d1d47240b08/input/Exports.java","functionName":"lengthOfLongestSubstring"},"state":{"s":"abcabcbb","lastSeen":{"a":3,"b":4,"c":5},"left":3,"best":3,"right":6,"ch":"b","len":3},"events":[{"kind":"line","line":11,"function":"lengthOfLongestSubstring"},{"kind":"snapshot","line":11,"target":{"variable":"s"},"value":"abcabcbb"},{"kind":"snapshot","line":11,"target":{"variable":"lastSeen"},"value":{"a":3,"b":4,"c":5}},{"kind":"snapshot","line":11,"target":{"variable":"left"},"value":3},{"kind":"snapshot","line":11,"target":{"variable":"best"},"value":3},{"kind":"snapshot","line":11,"target":{"variable":"right"},"value":6},{"kind":"read","line":11,"target":{"variable":"s","path":[6],"indexSources":["right"]},"value":"b"},{"kind":"write","line":11,"target":{"variable":"ch"},"value":"b"}],"accesses":[{"kind":"read","target":{"variable":"s","path":[6],"indexSources":["right"]},"value":"b","sourceValue":"abcabcbb","event":{"target":{"variable":"s","path":[6],"indexSources":["right"]}}},{"kind":"write","target":{"variable":"ch"},"value":"b","sourceValue":"c","event":{"target":{"variable":"ch"}}}],"callStack":[{"functionName":"lengthOfLongestSubstring","line":5,"args":{"s":"abcabcbb"}}],"stdout":[]},{"frameIndex":48,"anchor":{"line":12,"file":"/Users/obinnanwachukwu/Code/algoflow/experiments/local-tracelang-triage/.generated/java-samples/java-local-73af8d1d47240b08/input/Exports.java","functionName":"lengthOfLongestSubstring"},"state":{"s":"abcabcbb","lastSeen":{"a":3,"b":4,"c":5},"left":3,"best":3,"right":6,"ch":"b","len":3},"events":[{"kind":"line","line":12,"function":"lengthOfLongestSubstring"},{"kind":"snapshot","line":12,"target":{"variable":"s"},"value":"abcabcbb"},{"kind":"snapshot","line":12,"target":{"variable":"lastSeen"},"value":{"a":3,"b":4,"c":5}},{"kind":"snapshot","line":12,"target":{"variable":"left"},"value":3},{"kind":"snapshot","line":12,"target":{"variable":"best"},"value":3},{"kind":"snapshot","line":12,"target":{"variable":"right"},"value":6},{"kind":"snapshot","line":12,"target":{"variable":"ch"},"value":"b"},{"kind":"read","line":12,"target":{"variable":"lastSeen","path":["b"],"indexSources":["ch"]},"value":true},{"kind":"read","line":12,"target":{"variable":"lastSeen","path":["b"],"indexSources":["ch"]},"value":4}],"accesses":[{"kind":"read","target":{"variable":"lastSeen","path":["b"],"indexSources":["ch"]},"value":true,"sourceValue":{"a":3,"b":4,"c":5},"event":{"target":{"variable":"lastSeen","path":["b"],"indexSources":["ch"]}}},{"kind":"read","target":{"variable":"lastSeen","path":["b"],"indexSources":["ch"]},"value":4,"sourceValue":{"a":3,"b":4,"c":5},"event":{"target":{"variable":"lastSeen","path":["b"],"indexSources":["ch"]}}}],"callStack":[{"functionName":"lengthOfLongestSubstring","line":5,"args":{"s":"abcabcbb"}}],"stdout":[]},{"frameIndex":49,"anchor":{"line":13,"file":"/Users/obinnanwachukwu/Code/algoflow/experiments/local-tracelang-triage/.generated/java-samples/java-local-73af8d1d47240b08/input/Exports.java","functionName":"lengthOfLongestSubstring"},"state":{"s":"abcabcbb","lastSeen":{"a":3,"b":4,"c":5},"left":5,"best":3,"right":6,"ch":"b","len":3},"events":[{"kind":"line","line":13,"function":"lengthOfLongestSubstring"},{"kind":"snapshot","line":13,"target":{"variable":"s"},"value":"abcabcbb"},{"kind":"snapshot","line":13,"target":{"variable":"lastSeen"},"value":{"a":3,"b":4,"c":5}},{"kind":"snapshot","line":13,"target":{"variable":"left"},"value":3},{"kind":"snapshot","line":13,"target":{"variable":"best"},"value":3},{"kind":"snapshot","line":13,"target":{"variable":"right"},"value":6},{"kind":"snapshot","line":13,"target":{"variable":"ch"},"value":"b"},{"kind":"read","line":13,"target":{"variable":"lastSeen","path":["b"],"indexSources":["ch"]},"value":4},{"kind":"write","line":13,"target":{"variable":"left"},"value":5},{"kind":"snapshot","line":13,"target":{"variable":"left"},"value":5}],"accesses":[{"kind":"read","target":{"variable":"lastSeen","path":["b"],"indexSources":["ch"]},"value":4,"sourceValue":{"a":3,"b":4,"c":5},"event":{"target":{"variable":"lastSeen","path":["b"],"indexSources":["ch"]}}},{"kind":"write","target":{"variable":"left"},"value":5,"sourceValue":3,"event":{"target":{"variable":"left"}}}],"callStack":[{"functionName":"lengthOfLongestSubstring","line":5,"args":{"s":"abcabcbb"}}],"stdout":[]},{"frameIndex":50,"anchor":{"line":15,"file":"/Users/obinnanwachukwu/Code/algoflow/experiments/local-tracelang-triage/.generated/java-samples/java-local-73af8d1d47240b08/input/Exports.java","functionName":"lengthOfLongestSubstring"},"state":{"s":"abcabcbb","lastSeen":{"a":3,"b":6,"c":5},"left":5,"best":3,"right":6,"ch":"b","len":3},"events":[{"kind":"line","line":15,"function":"lengthOfLongestSubstring"},{"kind":"snapshot","line":15,"target":{"variable":"s"},"value":"abcabcbb"},{"kind":"snapshot","line":15,"target":{"variable":"lastSeen"},"value":{"a":3,"b":4,"c":5}},{"kind":"snapshot","line":15,"target":{"variable":"left"},"value":5},{"kind":"snapshot","line":15,"target":{"variable":"best"},"value":3},{"kind":"snapshot","line":15,"target":{"variable":"right"},"value":6},{"kind":"snapshot","line":15,"target":{"variable":"ch"},"value":"b"},{"kind":"write","line":15,"target":{"variable":"lastSeen","path":["b"],"indexSources":["ch"]},"value":6},{"kind":"mutate","line":15,"target":{"variable":"lastSeen","path":["b"],"indexSources":["ch"]},"method":"put","args":["b",6]},{"kind":"snapshot","line":15,"target":{"variable":"lastSeen"},"value":{"a":3,"b":6,"c":5}}],"accesses":[{"kind":"write","target":{"variable":"lastSeen","path":["b"],"indexSources":["ch"]},"value":6,"sourceValue":{"a":3,"b":4,"c":5},"event":{"target":{"variable":"lastSeen","path":["b"],"indexSources":["ch"]}}},{"kind":"mutate","target":{"variable":"lastSeen","path":["b"],"indexSources":["ch"]},"sourceValue":{"a":3,"b":6,"c":5},"method":"put","event":{"target":{"variable":"lastSeen","path":["b"],"indexSources":["ch"]},"method":"put","args":["b",6]}}],"callStack":[{"functionName":"lengthOfLongestSubstring","line":5,"args":{"s":"abcabcbb"}}],"stdout":[]},{"frameIndex":51,"anchor":{"line":16,"file":"/Users/obinnanwachukwu/Code/algoflow/experiments/local-tracelang-triage/.generated/java-samples/java-local-73af8d1d47240b08/input/Exports.java","functionName":"lengthOfLongestSubstring"},"state":{"s":"abcabcbb","lastSeen":{"a":3,"b":6,"c":5},"left":5,"best":3,"right":6,"ch":"b","len":2},"events":[{"kind":"line","line":16,"function":"lengthOfLongestSubstring"},{"kind":"snapshot","line":16,"target":{"variable":"s"},"value":"abcabcbb"},{"kind":"snapshot","line":16,"target":{"variable":"lastSeen"},"value":{"a":3,"b":6,"c":5}},{"kind":"snapshot","line":16,"target":{"variable":"left"},"value":5},{"kind":"snapshot","line":16,"target":{"variable":"best"},"value":3},{"kind":"snapshot","line":16,"target":{"variable":"right"},"value":6},{"kind":"snapshot","line":16,"target":{"variable":"ch"},"value":"b"},{"kind":"write","line":16,"target":{"variable":"len"},"value":2}],"accesses":[{"kind":"write","target":{"variable":"len"},"value":2,"sourceValue":3,"event":{"target":{"variable":"len"}}}],"callStack":[{"functionName":"lengthOfLongestSubstring","line":5,"args":{"s":"abcabcbb"}}],"stdout":[]},{"frameIndex":52,"anchor":{"line":17,"file":"/Users/obinnanwachukwu/Code/algoflow/experiments/local-tracelang-triage/.generated/java-samples/java-local-73af8d1d47240b08/input/Exports.java","functionName":"lengthOfLongestSubstring"},"state":{"s":"abcabcbb","lastSeen":{"a":3,"b":6,"c":5},"left":5,"best":3,"right":6,"ch":"b","len":2},"events":[{"kind":"line","line":17,"function":"lengthOfLongestSubstring"},{"kind":"snapshot","line":17,"target":{"variable":"s"},"value":"abcabcbb"},{"kind":"snapshot","line":17,"target":{"variable":"lastSeen"},"value":{"a":3,"b":6,"c":5}},{"kind":"snapshot","line":17,"target":{"variable":"left"},"value":5},{"kind":"snapshot","line":17,"target":{"variable":"best"},"value":3},{"kind":"snapshot","line":17,"target":{"variable":"right"},"value":6},{"kind":"snapshot","line":17,"target":{"variable":"ch"},"value":"b"},{"kind":"snapshot","line":17,"target":{"variable":"len"},"value":2}],"accesses":[],"callStack":[{"functionName":"lengthOfLongestSubstring","line":5,"args":{"s":"abcabcbb"}}],"stdout":[]},{"frameIndex":53,"anchor":{"line":10,"file":"/Users/obinnanwachukwu/Code/algoflow/experiments/local-tracelang-triage/.generated/java-samples/java-local-73af8d1d47240b08/input/Exports.java"},"state":{"s":"abcabcbb","lastSeen":{"a":3,"b":6,"c":5},"left":5,"best":3,"right":7,"ch":"b","len":2},"events":[{"kind":"write","line":10,"target":{"variable":"right"},"value":7},{"kind":"line","line":10,"function":"lengthOfLongestSubstring"},{"kind":"snapshot","line":10,"target":{"variable":"s"},"value":"abcabcbb"},{"kind":"snapshot","line":10,"target":{"variable":"lastSeen"},"value":{"a":3,"b":6,"c":5}},{"kind":"snapshot","line":10,"target":{"variable":"left"},"value":5},{"kind":"snapshot","line":10,"target":{"variable":"best"},"value":3},{"kind":"snapshot","line":10,"target":{"variable":"len"},"value":2},{"kind":"snapshot","line":10,"target":{"variable":"right"},"value":7}],"accesses":[{"kind":"write","target":{"variable":"right"},"value":7,"sourceValue":6,"event":{"target":{"variable":"right"}}}],"callStack":[{"functionName":"lengthOfLongestSubstring","line":5,"args":{"s":"abcabcbb"}}],"stdout":[]},{"frameIndex":54,"anchor":{"line":11,"file":"/Users/obinnanwachukwu/Code/algoflow/experiments/local-tracelang-triage/.generated/java-samples/java-local-73af8d1d47240b08/input/Exports.java","functionName":"lengthOfLongestSubstring"},"state":{"s":"abcabcbb","lastSeen":{"a":3,"b":6,"c":5},"left":5,"best":3,"right":7,"ch":"b","len":2},"events":[{"kind":"line","line":11,"function":"lengthOfLongestSubstring"},{"kind":"snapshot","line":11,"target":{"variable":"s"},"value":"abcabcbb"},{"kind":"snapshot","line":11,"target":{"variable":"lastSeen"},"value":{"a":3,"b":6,"c":5}},{"kind":"snapshot","line":11,"target":{"variable":"left"},"value":5},{"kind":"snapshot","line":11,"target":{"variable":"best"},"value":3},{"kind":"snapshot","line":11,"target":{"variable":"right"},"value":7},{"kind":"read","line":11,"target":{"variable":"s","path":[7],"indexSources":["right"]},"value":"b"},{"kind":"write","line":11,"target":{"variable":"ch"},"value":"b"}],"accesses":[{"kind":"read","target":{"variable":"s","path":[7],"indexSources":["right"]},"value":"b","sourceValue":"abcabcbb","event":{"target":{"variable":"s","path":[7],"indexSources":["right"]}}},{"kind":"write","target":{"variable":"ch"},"value":"b","sourceValue":"b","event":{"target":{"variable":"ch"}}}],"callStack":[{"functionName":"lengthOfLongestSubstring","line":5,"args":{"s":"abcabcbb"}}],"stdout":[]},{"frameIndex":55,"anchor":{"line":12,"file":"/Users/obinnanwachukwu/Code/algoflow/experiments/local-tracelang-triage/.generated/java-samples/java-local-73af8d1d47240b08/input/Exports.java","functionName":"lengthOfLongestSubstring"},"state":{"s":"abcabcbb","lastSeen":{"a":3,"b":6,"c":5},"left":5,"best":3,"right":7,"ch":"b","len":2},"events":[{"kind":"line","line":12,"function":"lengthOfLongestSubstring"},{"kind":"snapshot","line":12,"target":{"variable":"s"},"value":"abcabcbb"},{"kind":"snapshot","line":12,"target":{"variable":"lastSeen"},"value":{"a":3,"b":6,"c":5}},{"kind":"snapshot","line":12,"target":{"variable":"left"},"value":5},{"kind":"snapshot","line":12,"target":{"variable":"best"},"value":3},{"kind":"snapshot","line":12,"target":{"variable":"right"},"value":7},{"kind":"snapshot","line":12,"target":{"variable":"ch"},"value":"b"},{"kind":"read","line":12,"target":{"variable":"lastSeen","path":["b"],"indexSources":["ch"]},"value":true},{"kind":"read","line":12,"target":{"variable":"lastSeen","path":["b"],"indexSources":["ch"]},"value":6}],"accesses":[{"kind":"read","target":{"variable":"lastSeen","path":["b"],"indexSources":["ch"]},"value":true,"sourceValue":{"a":3,"b":6,"c":5},"event":{"target":{"variable":"lastSeen","path":["b"],"indexSources":["ch"]}}},{"kind":"read","target":{"variable":"lastSeen","path":["b"],"indexSources":["ch"]},"value":6,"sourceValue":{"a":3,"b":6,"c":5},"event":{"target":{"variable":"lastSeen","path":["b"],"indexSources":["ch"]}}}],"callStack":[{"functionName":"lengthOfLongestSubstring","line":5,"args":{"s":"abcabcbb"}}],"stdout":[]},{"frameIndex":56,"anchor":{"line":13,"file":"/Users/obinnanwachukwu/Code/algoflow/experiments/local-tracelang-triage/.generated/java-samples/java-local-73af8d1d47240b08/input/Exports.java","functionName":"lengthOfLongestSubstring"},"state":{"s":"abcabcbb","lastSeen":{"a":3,"b":6,"c":5},"left":7,"best":3,"right":7,"ch":"b","len":2},"events":[{"kind":"line","line":13,"function":"lengthOfLongestSubstring"},{"kind":"snapshot","line":13,"target":{"variable":"s"},"value":"abcabcbb"},{"kind":"snapshot","line":13,"target":{"variable":"lastSeen"},"value":{"a":3,"b":6,"c":5}},{"kind":"snapshot","line":13,"target":{"variable":"left"},"value":5},{"kind":"snapshot","line":13,"target":{"variable":"best"},"value":3},{"kind":"snapshot","line":13,"target":{"variable":"right"},"value":7},{"kind":"snapshot","line":13,"target":{"variable":"ch"},"value":"b"},{"kind":"read","line":13,"target":{"variable":"lastSeen","path":["b"],"indexSources":["ch"]},"value":6},{"kind":"write","line":13,"target":{"variable":"left"},"value":7},{"kind":"snapshot","line":13,"target":{"variable":"left"},"value":7}],"accesses":[{"kind":"read","target":{"variable":"lastSeen","path":["b"],"indexSources":["ch"]},"value":6,"sourceValue":{"a":3,"b":6,"c":5},"event":{"target":{"variable":"lastSeen","path":["b"],"indexSources":["ch"]}}},{"kind":"write","target":{"variable":"left"},"value":7,"sourceValue":5,"event":{"target":{"variable":"left"}}}],"callStack":[{"functionName":"lengthOfLongestSubstring","line":5,"args":{"s":"abcabcbb"}}],"stdout":[]},{"frameIndex":57,"anchor":{"line":15,"file":"/Users/obinnanwachukwu/Code/algoflow/experiments/local-tracelang-triage/.generated/java-samples/java-local-73af8d1d47240b08/input/Exports.java","functionName":"lengthOfLongestSubstring"},"state":{"s":"abcabcbb","lastSeen":{"a":3,"b":7,"c":5},"left":7,"best":3,"right":7,"ch":"b","len":2},"events":[{"kind":"line","line":15,"function":"lengthOfLongestSubstring"},{"kind":"snapshot","line":15,"target":{"variable":"s"},"value":"abcabcbb"},{"kind":"snapshot","line":15,"target":{"variable":"lastSeen"},"value":{"a":3,"b":6,"c":5}},{"kind":"snapshot","line":15,"target":{"variable":"left"},"value":7},{"kind":"snapshot","line":15,"target":{"variable":"best"},"value":3},{"kind":"snapshot","line":15,"target":{"variable":"right"},"value":7},{"kind":"snapshot","line":15,"target":{"variable":"ch"},"value":"b"},{"kind":"write","line":15,"target":{"variable":"lastSeen","path":["b"],"indexSources":["ch"]},"value":7},{"kind":"mutate","line":15,"target":{"variable":"lastSeen","path":["b"],"indexSources":["ch"]},"method":"put","args":["b",7]},{"kind":"snapshot","line":15,"target":{"variable":"lastSeen"},"value":{"a":3,"b":7,"c":5}}],"accesses":[{"kind":"write","target":{"variable":"lastSeen","path":["b"],"indexSources":["ch"]},"value":7,"sourceValue":{"a":3,"b":6,"c":5},"event":{"target":{"variable":"lastSeen","path":["b"],"indexSources":["ch"]}}},{"kind":"mutate","target":{"variable":"lastSeen","path":["b"],"indexSources":["ch"]},"sourceValue":{"a":3,"b":7,"c":5},"method":"put","event":{"target":{"variable":"lastSeen","path":["b"],"indexSources":["ch"]},"method":"put","args":["b",7]}}],"callStack":[{"functionName":"lengthOfLongestSubstring","line":5,"args":{"s":"abcabcbb"}}],"stdout":[]},{"frameIndex":58,"anchor":{"line":16,"file":"/Users/obinnanwachukwu/Code/algoflow/experiments/local-tracelang-triage/.generated/java-samples/java-local-73af8d1d47240b08/input/Exports.java","functionName":"lengthOfLongestSubstring"},"state":{"s":"abcabcbb","lastSeen":{"a":3,"b":7,"c":5},"left":7,"best":3,"right":7,"ch":"b","len":1},"events":[{"kind":"line","line":16,"function":"lengthOfLongestSubstring"},{"kind":"snapshot","line":16,"target":{"variable":"s"},"value":"abcabcbb"},{"kind":"snapshot","line":16,"target":{"variable":"lastSeen"},"value":{"a":3,"b":7,"c":5}},{"kind":"snapshot","line":16,"target":{"variable":"left"},"value":7},{"kind":"snapshot","line":16,"target":{"variable":"best"},"value":3},{"kind":"snapshot","line":16,"target":{"variable":"right"},"value":7},{"kind":"snapshot","line":16,"target":{"variable":"ch"},"value":"b"},{"kind":"write","line":16,"target":{"variable":"len"},"value":1}],"accesses":[{"kind":"write","target":{"variable":"len"},"value":1,"sourceValue":2,"event":{"target":{"variable":"len"}}}],"callStack":[{"functionName":"lengthOfLongestSubstring","line":5,"args":{"s":"abcabcbb"}}],"stdout":[]},{"frameIndex":59,"anchor":{"line":17,"file":"/Users/obinnanwachukwu/Code/algoflow/experiments/local-tracelang-triage/.generated/java-samples/java-local-73af8d1d47240b08/input/Exports.java","functionName":"lengthOfLongestSubstring"},"state":{"s":"abcabcbb","lastSeen":{"a":3,"b":7,"c":5},"left":7,"best":3,"right":7,"ch":"b","len":1},"events":[{"kind":"line","line":17,"function":"lengthOfLongestSubstring"},{"kind":"snapshot","line":17,"target":{"variable":"s"},"value":"abcabcbb"},{"kind":"snapshot","line":17,"target":{"variable":"lastSeen"},"value":{"a":3,"b":7,"c":5}},{"kind":"snapshot","line":17,"target":{"variable":"left"},"value":7},{"kind":"snapshot","line":17,"target":{"variable":"best"},"value":3},{"kind":"snapshot","line":17,"target":{"variable":"right"},"value":7},{"kind":"snapshot","line":17,"target":{"variable":"ch"},"value":"b"},{"kind":"snapshot","line":17,"target":{"variable":"len"},"value":1}],"accesses":[],"callStack":[{"functionName":"lengthOfLongestSubstring","line":5,"args":{"s":"abcabcbb"}}],"stdout":[]},{"frameIndex":60,"anchor":{"line":22,"file":"/Users/obinnanwachukwu/Code/algoflow/experiments/local-tracelang-triage/.generated/java-samples/java-local-73af8d1d47240b08/input/Exports.java","functionName":"lengthOfLongestSubstring"},"state":{"s":"abcabcbb","lastSeen":{"a":3,"b":7,"c":5},"left":7,"best":3,"right":7,"ch":"b","len":1},"events":[{"kind":"line","line":22,"function":"lengthOfLongestSubstring"},{"kind":"snapshot","line":22,"target":{"variable":"s"},"value":"abcabcbb"},{"kind":"snapshot","line":22,"target":{"variable":"lastSeen"},"value":{"a":3,"b":7,"c":5}},{"kind":"snapshot","line":22,"target":{"variable":"left"},"value":7},{"kind":"snapshot","line":22,"target":{"variable":"best"},"value":3},{"kind":"return","line":22,"function":"lengthOfLongestSubstring","value":3}],"accesses":[],"callStack":[{"functionName":"lengthOfLongestSubstring","line":5,"args":{"s":"abcabcbb"}}],"stdout":[]}],"semanticRoute":{"family":"keyed-state","subtype":"lookup-update","semanticLabel":"state:keyed-state","confidence":0.687,"stage":"emerging","committed":false,"roles":{"keyedState":["lastSeen"],"keyState":["right","ch"],"valueState":["right"],"resultState":["left"],"inputSequence":["s"],"windowLeft":["left"],"windowRight":["right"],"windowState":["lastSeen"],"result":["best"],"scanCursor":["right"],"membershipState":["lastSeen"]},"visualTargets":{"indexed":[{"kind":"indexed-state","role":"keyed-result-state","state":"left","displayOrder":{"rank":1,"lane":"companion","source":"semantic-workflow"}},{"kind":"indexed-state","role":"window-sequence","state":"s","displayOrder":{"rank":2,"lane":"companion","source":"semantic-workflow"}}],"keyed":[{"kind":"map","role":"keyed-state-store","state":"lastSeen","displayOrder":{"rank":0,"lane":"primary","source":"semantic-workflow"}},{"kind":"map","role":"window-membership-state","state":"lastSeen","displayOrder":{"rank":3,"lane":"companion","source":"semantic-workflow"}}]},"semanticProjections":{"indexed":[{"family":"sliding-window","source":"sliding-window-core","kind":"window","state":"s","roles":{"start":["left"],"end":["right"]},"confidence":0.7550000000000001},{"family":"sliding-window","source":"sliding-window-rolling-membership-state","kind":"index","state":"s","roles":{"index":["right"]},"confidence":0.875},{"family":"sliding-window","source":"sliding-window-rolling-bounded-state","kind":"window","state":"s","roles":{"end":["right"]},"confidence":0.75}],"graph":[],"structure":[]},"controlPredicates":[{"context":"loop","predicate":{"kind":"comparison","operator":"<","strictness":"strict","leftShape":"id","rightShape":"call:len:args1","leftOperand":{"kind":"state","variable":"right","valueClass":"primitive"},"rightOperand":{"kind":"unknown","shape":"call:len:args1"}},"lineNumber":10,"confidence":0.78,"evidence":["control-predicate:loop:comparison:10"],"sourceFact":"controlFlow.controlPredicates","derivedFrom":["predicateRelations.controlPredicates"]},{"context":"if","predicate":{"kind":"and","operands":[{"kind":"truthy","operand":{"kind":"collection-call","operation":"has","receiver":{"kind":"state","variable":"lastSeen"},"args":[{"kind":"state","variable":"ch"}]}},{"kind":"comparison","operator":">=","strictness":"inclusive","leftShape":"call:get:args1","rightShape":"id","leftOperand":{"kind":"collection-call","operation":"get","receiver":{"kind":"state","variable":"lastSeen"},"args":[{"kind":"state","variable":"ch"}]},"rightOperand":{"kind":"state","variable":"left","valueClass":"primitive"}}]},"lineNumber":12,"confidence":0.6719999999999999,"evidence":["control-predicate:if:and:12"],"sourceFact":"controlFlow.controlPredicates","derivedFrom":["predicateRelations.controlPredicates"]}]},"badgeKeys":["left","right","best","char","ch"]}