2dc579da ​

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