a934301b ​

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