
D: Dict[str, List[int]] = {'a': [1], 'b': [1, 2], 'c': [1, 2, 3]}
# FINAL: D -> "a"@[1, 1], "b"@[1, 2], "c"@[1, 3], _@⊥; keys(D) -> 0@[-inf, inf], _@⊥; len(D) -> [3, 3]; values(D) -> 0@[1, 1], _@[2, 3]
