bf699163 ​

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