{"body": {"symbols": [null, true], "chars": ["a", "b", "c", "d", "e"]}, "head": [1, 2, 4, 5]}