e760a62e ​

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