e7639916 ​

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