539a4f51 ​

input = fill 5v (fill 5h #0) |> fold (fold rect) #1
output = fill 10v (fill 10h #2) |> fold (fold rect) #3
(Color, OList UList ((VInt, HInt, VInt, HInt), Color), Color, OList UList ((VInt, HInt, VInt, HInt), Color))
(black, [{((1v, 1h, 4v, 4h), green)}, {((1v, 1h, 3v, 3h), red)}], red, [{((1v, 1h, 8v, 8h), green)}, {((1v, 1h, 7v, 7h), red)}, {((1v, 1h, 4v, 4h), green)}, {((1v, 1h, 3v, 3h), red)}])
(black, [{((1v, 1h, 4v, 4h), fuschia)}, {((1v, 1h, 3v, 3h), yellow)}, {((1v, 1h, 2v, 2h), blue)}], blue, [{((1v, 1h, 8v, 8h), fuschia)}, {((1v, 1h, 7v, 7h), yellow)}, {((1v, 1h, 6v, 6h), blue)}, {((1v, 1h, 4v, 4h), fuschia)}, {((1v, 1h, 3v, 3h), yellow)}, {((1v, 1h, 2v, 2h), blue)}])
(fuschia, [{((1v, 1h, 4v, 4h), blue)}, {((1v, 1h, 3v, 3h), yellow)}, {((1v, 1h, 2v, 2h), green)}, {((1v, 1h, 1v, 1h), red)}], fuschia, [{((1v, 1h, 9v, 9h), blue)}, {((1v, 1h, 8v, 8h), yellow)}, {((1v, 1h, 7v, 7h), green)}, {((1v, 1h, 6v, 6h), red)}, {((1v, 1h, 5v, 5h), fuschia)}, {((1v, 1h, 4v, 4h), blue)}, {((1v, 1h, 3v, 3h), yellow)}, {((1v, 1h, 2v, 2h), green)}, {((1v, 1h, 1v, 1h), red)}])
(red, [{((1v, 1h, 3v, 3h), green)}, {((1v, 1h, 2v, 2h), orange)}], ?, ?)