5289ad53 ​

input = fill #0 (fill #1 #2) |> fold (λr. rect ((r.1, r.2, r.1, r.3), green)) #3 |> fold (λr. rect ((r.1, r.2, r.1, r.3), red)) #4
output = [[green, green, #5], [#6, #7, #8]]
(VInt, HInt, Color, UList (VInt, HInt, HInt), UList (VInt, HInt, HInt), Color, Color, Color, Color)
(10v, 19h, teal, {(2v, 1h, 6h), (7v, 6h, 8h), (6v, 15h, 18h), (4v, 3h, 10h)}, {(2v, 13h, 16h)}, green, green, red, black)
(10v, 10h, grey, {(2v, 1h, 4h), (8v, 5h, 8h)}, {(5v, 7h, 9h), (4v, 2h, 3h)}, red, red, black, black)
(10v, 14h, blue, {(6v, 1h, 3h), (8v, 9h, 12h), (2v, 3h, 6h)}, {(9v, 2h, 6h), (4v, 10h, 12h)}, green, red, red, black)
(13v, 15h, teal, {(7v, 3h, 8h), (5v, 8h, 12h)}, {(12v, 9h, 12h), (11v, 2h, 4h), (9v, 10h, 14h), (3v, 3h, 6h)}, red, red, red, red)
(15v, 10h, black, {(12v, 2h, 3h), (8v, 6h, 9h), (2v, 2h, 5h)}, {(14v, 5h, 8h), (10v, 6h, 7h), (4v, 3h, 8h)}, ?, ?, ?, ?)