3f23242b ​

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