5a5a2103 ​

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