7bb29440 ​

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