6773b310 ​

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