5b526a93 ​

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