42918530 ​

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