{
  "version": "3.11.2",
  "backend": "Agg",
  "cases": [
    {
      "name": "initial",
      "action": null,
      "extents": [
        [
          -60.0,
          -40.0,
          -30.0,
          -10.0
        ],
        [
          -60.0,
          -40.0,
          -20.0,
          0.0
        ]
      ],
      "boxes": [
        [
          100.0,
          61.09090909090912,
          281.8181818181818,
          281.81818181818176
        ],
        [
          438.1818181818181,
          61.090909090909065,
          281.8181818181818,
          281.81818181818187
        ]
      ],
      "cursor": 0,
      "history": 1
    },
    {
      "name": "rectangle in",
      "action": {
        "kind": "rectangle",
        "index": 0,
        "out": false
      },
      "extents": [
        [
          -55.0,
          -45.0,
          -25.0,
          -15.0
        ],
        [
          -55.0,
          -45.0,
          -20.0,
          0.0
        ]
      ],
      "boxes": [
        [
          100.0,
          61.09090909090912,
          281.8181818181818,
          281.81818181818176
        ],
        [
          502.09090909090895,
          48.0,
          154.00000000000006,
          308.0
        ]
      ],
      "cursor": 1,
      "history": 2
    },
    {
      "name": "rectangle out",
      "action": {
        "kind": "rectangle",
        "index": 1,
        "out": true
      },
      "extents": [
        [
          -60.0,
          -40.0,
          -25.0,
          -15.0
        ],
        [
          -60.0,
          -40.0,
          -30.0,
          10.0
        ]
      ],
      "boxes": [
        [
          100.0,
          131.54545454545456,
          281.8181818181818,
          140.9090909090909
        ],
        [
          502.09090909090895,
          48.0,
          154.00000000000006,
          308.0
        ]
      ],
      "cursor": 2,
      "history": 3
    },
    {
      "name": "home",
      "action": {
        "kind": "home"
      },
      "extents": [
        [
          -60.0,
          -40.0,
          -30.0,
          -10.0
        ],
        [
          -60.0,
          -40.0,
          -20.0,
          0.0
        ]
      ],
      "boxes": [
        [
          100.0,
          61.09090909090912,
          281.8181818181818,
          281.81818181818176
        ],
        [
          438.1818181818181,
          61.090909090909065,
          281.8181818181818,
          281.81818181818187
        ]
      ],
      "cursor": 3,
      "history": 4
    },
    {
      "name": "back from home",
      "action": {
        "kind": "navigate",
        "delta": -1
      },
      "extents": [
        [
          -60.0,
          -40.0,
          -25.0,
          -15.0
        ],
        [
          -60.0,
          -40.0,
          -30.0,
          10.0
        ]
      ],
      "boxes": [
        [
          100.0,
          131.54545454545456,
          281.8181818181818,
          140.9090909090909
        ],
        [
          502.09090909090895,
          48.0,
          154.00000000000006,
          308.0
        ]
      ],
      "cursor": 2,
      "history": 4
    },
    {
      "name": "back again",
      "action": {
        "kind": "navigate",
        "delta": -1
      },
      "extents": [
        [
          -55.0,
          -45.0,
          -25.0,
          -15.0
        ],
        [
          -55.0,
          -45.0,
          -20.0,
          0.0
        ]
      ],
      "boxes": [
        [
          100.0,
          61.09090909090912,
          281.8181818181818,
          281.81818181818176
        ],
        [
          502.09090909090895,
          48.0,
          154.00000000000006,
          308.0
        ]
      ],
      "cursor": 1,
      "history": 4
    },
    {
      "name": "rectangle in",
      "action": {
        "kind": "rectangle",
        "index": 1,
        "out": false
      },
      "extents": [
        [
          -52.5,
          -47.5,
          -25.0,
          -15.0
        ],
        [
          -52.5,
          -47.5,
          -15.0,
          -5.0
        ]
      ],
      "boxes": [
        [
          163.9090909090909,
          48.0,
          153.99999999999997,
          308.0
        ],
        [
          502.09090909090895,
          48.0,
          154.00000000000006,
          308.0
        ]
      ],
      "cursor": 2,
      "history": 3
    },
    {
      "name": "forward after branch",
      "action": {
        "kind": "navigate",
        "delta": 1
      },
      "extents": [
        [
          -52.5,
          -47.5,
          -25.0,
          -15.0
        ],
        [
          -52.5,
          -47.5,
          -15.0,
          -5.0
        ]
      ],
      "boxes": [
        [
          163.9090909090909,
          48.0,
          153.99999999999997,
          308.0
        ],
        [
          502.09090909090895,
          48.0,
          154.00000000000006,
          308.0
        ]
      ],
      "cursor": 2,
      "history": 3
    }
  ]
}