digraph g {
[label = 6];
 ->  [label = "left"];
[label = "AB" shape = rect];
 -> [label = "contains"];
 [label="FlatString\nindex_from = 0\nindex_to = 1\nNativeString = AB"];
 ->  [label = "right"];
[label = 4];
 ->  [label = "left"];
[label = "CD" shape = rect];
 -> [label = "contains"];
 [label="FlatString\nindex_from = 0\nindex_to = 1\nNativeString = CD"];
 ->  [label = "right"];
[label = "EF" shape = rect];
 -> [label = "contains"];
 [label="FlatString\nindex_from = 0\nindex_to = 1\nNativeString = EF"];
}

ABCDEF
digraph g {
[label = 6];
 ->  [label = "left"];
[label = 4];
 ->  [label = "left"];
[label = "AB" shape = rect];
 -> [label = "contains"];
 [label="FlatString\nindex_from = 0\nindex_to = 1\nNativeString = AB"];
 ->  [label = "right"];
[label = "CD" shape = rect];
 -> [label = "contains"];
 [label="FlatString\nindex_from = 0\nindex_to = 1\nNativeString = CD"];
 ->  [label = "right"];
[label = "EF" shape = rect];
 -> [label = "contains"];
 [label="FlatString\nindex_from = 0\nindex_to = 1\nNativeString = EF"];
}

ABCDEF
ABCDEFGH
digraph g {
[label = 8];
 ->  [label = "left"];
[label = 6];
 ->  [label = "left"];
[label = 4];
 ->  [label = "left"];
[label = "AB" shape = rect];
 -> [label = "contains"];
 [label="FlatString\nindex_from = 0\nindex_to = 1\nNativeString = AB"];
 ->  [label = "right"];
[label = "CD" shape = rect];
 -> [label = "contains"];
 [label="FlatString\nindex_from = 0\nindex_to = 1\nNativeString = CD"];
 ->  [label = "right"];
[label = "EF" shape = rect];
 -> [label = "contains"];
 [label="FlatString\nindex_from = 0\nindex_to = 1\nNativeString = EF"];
 ->  [label = "right"];
[label = "GH" shape = rect];
 -> [label = "contains"];
 [label="FlatString\nindex_from = 0\nindex_to = 1\nNativeString = GH"];
}

ABCDEFGH
digraph g {
[label = 8];
 ->  [label = "left"];
[label = "AB" shape = rect];
 -> [label = "contains"];
 [label="FlatString\nindex_from = 0\nindex_to = 1\nNativeString = AB"];
 ->  [label = "right"];
[label = 6];
 ->  [label = "left"];
[label = 4];
 ->  [label = "left"];
[label = "CD" shape = rect];
 -> [label = "contains"];
 [label="FlatString\nindex_from = 0\nindex_to = 1\nNativeString = CD"];
 ->  [label = "right"];
[label = "EF" shape = rect];
 -> [label = "contains"];
 [label="FlatString\nindex_from = 0\nindex_to = 1\nNativeString = EF"];
 ->  [label = "right"];
[label = "GH" shape = rect];
 -> [label = "contains"];
 [label="FlatString\nindex_from = 0\nindex_to = 1\nNativeString = GH"];
}

ABCDEFGH
digraph g {
[label = 8];
 ->  [label = "left"];
[label = "AB" shape = rect];
 -> [label = "contains"];
 [label="FlatString\nindex_from = 0\nindex_to = 1\nNativeString = AB"];
 ->  [label = "right"];
[label = 6];
 ->  [label = "left"];
[label = "CD" shape = rect];
 -> [label = "contains"];
 [label="FlatString\nindex_from = 0\nindex_to = 1\nNativeString = CD"];
 ->  [label = "right"];
[label = 4];
 ->  [label = "left"];
[label = "EF" shape = rect];
 -> [label = "contains"];
 [label="FlatString\nindex_from = 0\nindex_to = 1\nNativeString = EF"];
 ->  [label = "right"];
[label = "GH" shape = rect];
 -> [label = "contains"];
 [label="FlatString\nindex_from = 0\nindex_to = 1\nNativeString = GH"];
}

ABCDEFGH
digraph g {
[label = 8];
 ->  [label = "left"];
[label = 6];
 ->  [label = "left"];
[label = "AB" shape = rect];
 -> [label = "contains"];
 [label="FlatString\nindex_from = 0\nindex_to = 1\nNativeString = AB"];
 ->  [label = "right"];
[label = 4];
 ->  [label = "left"];
[label = "CD" shape = rect];
 -> [label = "contains"];
 [label="FlatString\nindex_from = 0\nindex_to = 1\nNativeString = CD"];
 ->  [label = "right"];
[label = "EF" shape = rect];
 -> [label = "contains"];
 [label="FlatString\nindex_from = 0\nindex_to = 1\nNativeString = EF"];
 ->  [label = "right"];
[label = "GH" shape = rect];
 -> [label = "contains"];
 [label="FlatString\nindex_from = 0\nindex_to = 1\nNativeString = GH"];
}

ABCDEFGH
digraph g {
[label = 8];
 ->  [label = "left"];
[label = 6];
 ->  [label = "left"];
[label = "AB" shape = rect];
 -> [label = "contains"];
 [label="FlatString\nindex_from = 0\nindex_to = 1\nNativeString = AB"];
 ->  [label = "right"];
[label = 4];
 ->  [label = "left"];
[label = "CD" shape = rect];
 -> [label = "contains"];
 [label="FlatString\nindex_from = 0\nindex_to = 1\nNativeString = CD"];
 ->  [label = "right"];
[label = "EF" shape = rect];
 -> [label = "contains"];
 [label="FlatString\nindex_from = 0\nindex_to = 1\nNativeString = EF"];
 ->  [label = "right"];
[label = "GH" shape = rect];
 -> [label = "contains"];
 [label="FlatString\nindex_from = 0\nindex_to = 1\nNativeString = GH"];
}

ABCDEFGH
digraph g {
[label = 8];
 ->  [label = "left"];
[label = 4];
 ->  [label = "left"];
[label = "AB" shape = rect];
 -> [label = "contains"];
 [label="FlatString\nindex_from = 0\nindex_to = 1\nNativeString = AB"];
 ->  [label = "right"];
[label = "CD" shape = rect];
 -> [label = "contains"];
 [label="FlatString\nindex_from = 0\nindex_to = 1\nNativeString = CD"];
 ->  [label = "right"];
[label = 4];
 ->  [label = "left"];
[label = "EF" shape = rect];
 -> [label = "contains"];
 [label="FlatString\nindex_from = 0\nindex_to = 1\nNativeString = EF"];
 ->  [label = "right"];
[label = "GH" shape = rect];
 -> [label = "contains"];
 [label="FlatString\nindex_from = 0\nindex_to = 1\nNativeString = GH"];
}

ABCDEFGH
digraph g {
[label = 8];
 ->  [label = "left"];
[label = "AB" shape = rect];
 -> [label = "contains"];
 [label="FlatString\nindex_from = 0\nindex_to = 1\nNativeString = AB"];
 ->  [label = "right"];
[label = 6];
 ->  [label = "left"];
[label = 4];
 ->  [label = "left"];
[label = "CD" shape = rect];
 -> [label = "contains"];
 [label="FlatString\nindex_from = 0\nindex_to = 1\nNativeString = CD"];
 ->  [label = "right"];
[label = "EF" shape = rect];
 -> [label = "contains"];
 [label="FlatString\nindex_from = 0\nindex_to = 1\nNativeString = EF"];
 ->  [label = "right"];
[label = "GH" shape = rect];
 -> [label = "contains"];
 [label="FlatString\nindex_from = 0\nindex_to = 1\nNativeString = GH"];
}

ABCDEFGH
digraph g {
[label = 8];
 ->  [label = "left"];
[label = 4];
 ->  [label = "left"];
[label = "AB" shape = rect];
 -> [label = "contains"];
 [label="FlatString\nindex_from = 0\nindex_to = 1\nNativeString = AB"];
 ->  [label = "right"];
[label = "CD" shape = rect];
 -> [label = "contains"];
 [label="FlatString\nindex_from = 0\nindex_to = 1\nNativeString = CD"];
 ->  [label = "right"];
[label = 4];
 ->  [label = "left"];
[label = "EF" shape = rect];
 -> [label = "contains"];
 [label="FlatString\nindex_from = 0\nindex_to = 1\nNativeString = EF"];
 ->  [label = "right"];
[label = "GH" shape = rect];
 -> [label = "contains"];
 [label="FlatString\nindex_from = 0\nindex_to = 1\nNativeString = GH"];
}