f35d900a ​

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