759f3fd3 ​

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