- "(True,\n",
- " {(1, 1): (0, 1, 'a', 's1'),\n",
- " (1, 2): (0, 2, 'a', 's1'),\n",
- " (1, 3): (0, 3, 'a', 's1'),\n",
- " (1, 4): (1, 3, 'b', 's2'),\n",
- " (1, 5): (0, 5, 'a', 's1'),\n",
- " (1, 6): (1, 5, 'b', 's2'),\n",
- " (1, 7): (1, 6, 'b', 's2'),\n",
- " (2, 2): (1, 2, 'a', 's1'),\n",
- " (2, 3): (1, 3, 'a', 's1'),\n",
- " (2, 4): (2, 3, 'b', 's2'),\n",
- " (2, 5): (1, 5, 'a', 's1'),\n",
- " (2, 6): (2, 5, 'b', 's2'),\n",
- " (2, 7): (2, 6, 'b', 's2'),\n",
- " (3, 3): (2, 3, 'a', 's1'),\n",
- " (3, 4): (3, 3, 'b', 's2'),\n",
- " (3, 5): (2, 5, 'a', 's1'),\n",
- " (3, 6): (3, 5, 'b', 's2'),\n",
- " (3, 7): (3, 6, 'b', 's2'),\n",
- " (4, 5): (3, 5, 'a', 's1'),\n",
- " (4, 6): (4, 5, 'b', 's2'),\n",
- " (4, 7): (4, 6, 'b', 's2')})"
+ "{(1, 2): (0, 1, 'a', 's1'),\n",
+ " (1, 3): (1, 2, 'b', 's2'),\n",
+ " (1, 4): (0, 3, 'a', 's1'),\n",
+ " (1, 5): (0, 4, 'a', 's1'),\n",
+ " (1, 6): (1, 5, 'b', 's2'),\n",
+ " (1, 7): (1, 6, 'c', 's2'),\n",
+ " (1, 8): (0, 7, 'a', 's1'),\n",
+ " (1, 9): (1, 8, 'c', 's2'),\n",
+ " (1, 10): (1, 9, 'b', 's2'),\n",
+ " (2, 4): (1, 3, 'a', 's1'),\n",
+ " (2, 5): (1, 4, 'a', 's1'),\n",
+ " (2, 6): (2, 5, 'b', 's2'),\n",
+ " (2, 7): (2, 6, 'c', 's2'),\n",
+ " (2, 8): (1, 7, 'a', 's1'),\n",
+ " (2, 9): (2, 8, 'c', 's2'),\n",
+ " (2, 10): (2, 9, 'b', 's2'),\n",
+ " (3, 5): (2, 4, 'a', 's1'),\n",
+ " (3, 6): (3, 5, 'b', 's2'),\n",
+ " (3, 7): (3, 6, 'c', 's2'),\n",
+ " (3, 8): (2, 7, 'a', 's1'),\n",
+ " (3, 9): (3, 8, 'c', 's2'),\n",
+ " (3, 10): (3, 9, 'b', 's2'),\n",
+ " (4, 8): (3, 7, 'a', 's1'),\n",
+ " (4, 9): (4, 8, 'c', 's2'),\n",
+ " (4, 10): (4, 9, 'b', 's2')}"