e21d9049 ​

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