6cdd2623 ​

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