358ba94e ​

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