913fb3ed ​

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