52fd389e ​

input = fill #0 (fill #1 black) |> fold (λr. rect (r, yellow)) #2 |> fold (λr. rect ((r.2, r.3, r.2, r.3), r.1)) #3
output = fill 25v (fill 25h black) |> fold rect #4 |> fold (λr. rect (r, yellow)) #5 |> fold (λr. rect ((r.1, r.2, r.1, r.2), #6)) #7 |> fold (λr. rect ((r.1, r.2, r.1, r.2), #8)) #9
(VInt, HInt, UList (VInt, HInt, VInt, HInt), UList (Color, VInt, HInt), UList ((VInt, HInt, VInt, HInt), Color), UList (VInt, HInt, VInt, HInt), Color, UList (VInt, HInt), Color, UList (VInt, HInt))
(25v, 25h, {(16v, 14h, 21v, 21h), (3v, 3h, 8v, 8h)}, {(blue, 20v, 17h), (blue, 19v, 15h), (blue, 17v, 17h), (red, 7v, 6h), (red, 4v, 4h)}, {((1v, 1h, 10v, 10h), red), ((13v, 11h, 24v, 24h), blue)}, {(3v, 3h, 8v, 8h), (16v, 14h, 21v, 21h)}, red, {(7v, 6h), (4v, 4h)}, blue, {(20v, 17h), (19v, 15h), (17v, 17h)})
(25v, 25h, {(13v, 12h, 18v, 18h), (3v, 4h, 5v, 6h)}, {(red, 17v, 13h), (red, 16v, 17h), (red, 14v, 14h), (green, 4v, 5h)}, {((10v, 9h, 21v, 21h), red), ((2v, 3h, 6v, 7h), green)}, {(13v, 12h, 18v, 18h), (3v, 4h, 5v, 6h)}, red, {(17v, 13h), (16v, 17h), (14v, 14h)}, green, {(4v, 5h)})
(25v, 25h, {(13v, 9h, 20v, 18h), (3v, 7h, 6v, 10h)}, {(teal, 19v, 15h), (teal, 17v, 12h), (teal, 15v, 15h), (teal, 14v, 11h), (blue, 4v, 8h)}, {((9v, 5h, 24v, 22h), teal), ((2v, 6h, 7v, 11h), blue)}, {(13v, 9h, 20v, 18h), (3v, 7h, 6v, 10h)}, teal, {(19v, 15h), (17v, 12h), (15v, 15h), (14v, 11h)}, blue, {(4v, 8h)})
(29v, 29h, {(16v, 7h, 21v, 13h), (4v, 19h, 7v, 23h), (3v, 5h, 5v, 8h)}, {(fuschia, 20v, 10h), (fuschia, 20v, 8h), (fuschia, 19v, 12h), (fuschia, 18v, 9h), (fuschia, 17v, 11h), (green, 6v, 22h), (green, 5v, 20h), (blue, 4v, 7h)}, ?, ?, ?, ?, ?, ?)