06df4c85 ​

input = fill #0 (fill #1 #2) |> fold rect #3
output = fill #0 (fill #1 #2) |> fold rect #4
(VInt, HInt, Color, UList ((VInt, HInt, VInt, HInt), Color), UList ((VInt, HInt, VInt, HInt), Color))
(20v, 20h, teal, {((19v, 19h, 20v, 20h), black), ((19v, 16h, 20v, 17h), black), ((19v, 13h, 20v, 14h), black), ((19v, 10h, 20v, 11h), black), ((19v, 7h, 20v, 8h), black), ((19v, 4h, 20v, 5h), black), ((19v, 1h, 20v, 2h), black), ((16v, 19h, 17v, 20h), black), ((16v, 1h, 17v, 2h), black), ((13v, 19h, 14v, 20h), black), ((13v, 1h, 14v, 2h), black), ((10v, 19h, 11v, 20h), black), ((10v, 1h, 11v, 2h), black), ((7v, 19h, 8v, 20h), black), ((7v, 1h, 8v, 2h), black), ((4v, 19h, 5v, 20h), black), ((4v, 1h, 5v, 2h), black), ((1v, 19h, 2v, 20h), black), ((1v, 16h, 2v, 17h), black), ((1v, 13h, 2v, 14h), black), ((1v, 10h, 2v, 11h), black), ((1v, 7h, 2v, 8h), black), ((1v, 4h, 2v, 5h), black), ((1v, 1h, 2v, 2h), 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, 16h, 14v, 17h), black), ((13v, 13h, 14v, 14h), black), ((13v, 10h, 14v, 11h), green), ((13v, 7h, 14v, 8h), black), ((13v, 4h, 14v, 5h), green), ((10v, 16h, 11v, 17h), red), ((10v, 13h, 11v, 14h), black), ((10v, 10h, 11v, 11h), black), ((10v, 7h, 11v, 8h), black), ((10v, 4h, 11v, 5h), black), ((7v, 16h, 8v, 17h), black), ((7v, 13h, 8v, 14h), black), ((7v, 10h, 8v, 11h), blue), ((7v, 7h, 8v, 8h), black), ((7v, 4h, 8v, 5h), black), ((4v, 16h, 5v, 17h), red), ((4v, 13h, 5v, 14h), black), ((4v, 10h, 5v, 11h), black), ((4v, 7h, 5v, 8h), black), ((4v, 4h, 5v, 5h), red)}, {((19v, 19h, 20v, 20h), black), ((19v, 16h, 20v, 17h), black), ((19v, 13h, 20v, 14h), black), ((19v, 10h, 20v, 11h), black), ((19v, 7h, 20v, 8h), black), ((19v, 4h, 20v, 5h), black), ((19v, 1h, 20v, 2h), black), ((16v, 19h, 17v, 20h), black), ((16v, 1h, 17v, 2h), black), ((13v, 19h, 14v, 20h), black), ((13v, 1h, 14v, 2h), black), ((10v, 19h, 11v, 20h), black), ((10v, 1h, 11v, 2h), black), ((7v, 19h, 8v, 20h), black), ((7v, 1h, 8v, 2h), black), ((4v, 19h, 5v, 20h), black), ((4v, 1h, 5v, 2h), black), ((1v, 19h, 2v, 20h), black), ((1v, 16h, 2v, 17h), black), ((1v, 13h, 2v, 14h), black), ((1v, 10h, 2v, 11h), black), ((1v, 7h, 2v, 8h), black), ((1v, 4h, 2v, 5h), black), ((1v, 1h, 2v, 2h), 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, 16h, 14v, 17h), black), ((13v, 13h, 14v, 14h), black), ((13v, 10h, 14v, 11h), green), ((13v, 7h, 14v, 8h), green), ((13v, 4h, 14v, 5h), green), ((10v, 16h, 11v, 17h), red), ((10v, 13h, 11v, 14h), black), ((10v, 10h, 11v, 11h), black), ((10v, 7h, 11v, 8h), black), ((10v, 4h, 11v, 5h), black), ((7v, 16h, 8v, 17h), red), ((7v, 13h, 8v, 14h), black), ((7v, 10h, 8v, 11h), blue), ((7v, 7h, 8v, 8h), black), ((7v, 4h, 8v, 5h), black), ((4v, 16h, 5v, 17h), red), ((4v, 13h, 5v, 14h), red), ((4v, 10h, 5v, 11h), red), ((4v, 7h, 5v, 8h), red), ((4v, 4h, 5v, 5h), red)})
(23v, 23h, blue, {((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), ((22v, 1h, 23v, 2h), black), ((19v, 22h, 20v, 23h), black), ((19v, 1h, 20v, 2h), black), ((16v, 22h, 17v, 23h), black), ((16v, 1h, 17v, 2h), black), ((13v, 22h, 14v, 23h), black), ((13v, 1h, 14v, 2h), black), ((10v, 22h, 11v, 23h), brown), ((10v, 1h, 11v, 2h), black), ((7v, 22h, 8v, 23h), black), ((7v, 1h, 8v, 2h), black), ((4v, 22h, 5v, 23h), 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), black), ((1v, 7h, 2v, 8h), black), ((1v, 4h, 2v, 5h), black), ((1v, 1h, 2v, 2h), black), ((19v, 19h, 20v, 20h), teal), ((19v, 16h, 20v, 17h), black), ((19v, 13h, 20v, 14h), black), ((19v, 10h, 20v, 11h), teal), ((19v, 7h, 20v, 8h), black), ((19v, 4h, 20v, 5h), 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), red), ((13v, 19h, 14v, 20h), teal), ((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, 19h, 11v, 20h), black), ((10v, 16h, 11v, 17h), black), ((10v, 13h, 11v, 14h), black), ((10v, 10h, 11v, 11h), brown), ((10v, 7h, 11v, 8h), black), ((10v, 4h, 11v, 5h), 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, 19h, 5v, 20h), black), ((4v, 16h, 5v, 17h), black), ((4v, 13h, 5v, 14h), yellow), ((4v, 10h, 5v, 11h), black), ((4v, 7h, 5v, 8h), black), ((4v, 4h, 5v, 5h), red)}, {((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), ((22v, 1h, 23v, 2h), black), ((19v, 22h, 20v, 23h), black), ((19v, 1h, 20v, 2h), black), ((16v, 22h, 17v, 23h), black), ((16v, 1h, 17v, 2h), black), ((13v, 22h, 14v, 23h), black), ((13v, 1h, 14v, 2h), black), ((10v, 22h, 11v, 23h), brown), ((10v, 1h, 11v, 2h), black), ((7v, 22h, 8v, 23h), black), ((7v, 1h, 8v, 2h), black), ((4v, 22h, 5v, 23h), 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), black), ((1v, 7h, 2v, 8h), black), ((1v, 4h, 2v, 5h), black), ((1v, 1h, 2v, 2h), black), ((19v, 19h, 20v, 20h), teal), ((19v, 16h, 20v, 17h), teal), ((19v, 13h, 20v, 14h), teal), ((19v, 10h, 20v, 11h), teal), ((19v, 7h, 20v, 8h), black), ((19v, 4h, 20v, 5h), black), ((16v, 19h, 17v, 20h), teal), ((16v, 16h, 17v, 17h), black), ((16v, 13h, 17v, 14h), black), ((16v, 10h, 17v, 11h), black), ((16v, 7h, 17v, 8h), black), ((16v, 4h, 17v, 5h), red), ((13v, 19h, 14v, 20h), teal), ((13v, 16h, 14v, 17h), black), ((13v, 13h, 14v, 14h), black), ((13v, 10h, 14v, 11h), black), ((13v, 7h, 14v, 8h), black), ((13v, 4h, 14v, 5h), red), ((10v, 19h, 11v, 20h), brown), ((10v, 16h, 11v, 17h), brown), ((10v, 13h, 11v, 14h), brown), ((10v, 10h, 11v, 11h), brown), ((10v, 7h, 11v, 8h), black), ((10v, 4h, 11v, 5h), red), ((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), red), ((4v, 19h, 5v, 20h), black), ((4v, 16h, 5v, 17h), black), ((4v, 13h, 5v, 14h), yellow), ((4v, 10h, 5v, 11h), black), ((4v, 7h, 5v, 8h), black), ((4v, 4h, 5v, 5h), red)})
(23v, 23h, yellow, {((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), ((22v, 1h, 23v, 2h), black), ((19v, 22h, 20v, 23h), black), ((19v, 1h, 20v, 2h), black), ((16v, 22h, 17v, 23h), black), ((16v, 1h, 17v, 2h), black), ((13v, 22h, 14v, 23h), black), ((13v, 1h, 14v, 2h), black), ((10v, 22h, 11v, 23h), black), ((10v, 1h, 11v, 2h), black), ((7v, 22h, 8v, 23h), black), ((7v, 1h, 8v, 2h), black), ((4v, 22h, 5v, 23h), 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), black), ((1v, 7h, 2v, 8h), black), ((1v, 4h, 2v, 5h), black), ((1v, 1h, 2v, 2h), black), ((19v, 19h, 20v, 20h), black), ((19v, 16h, 20v, 17h), green), ((19v, 13h, 20v, 14h), black), ((19v, 10h, 20v, 11h), black), ((19v, 7h, 20v, 8h), black), ((19v, 4h, 20v, 5h), green), ((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, 19h, 14v, 20h), black), ((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, 19h, 11v, 20h), red), ((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, 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, 19h, 5v, 20h), black), ((4v, 16h, 5v, 17h), red), ((4v, 13h, 5v, 14h), black), ((4v, 10h, 5v, 11h), black), ((4v, 7h, 5v, 8h), black), ((4v, 4h, 5v, 5h), green)}, {((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), ((22v, 1h, 23v, 2h), black), ((19v, 22h, 20v, 23h), black), ((19v, 1h, 20v, 2h), black), ((16v, 22h, 17v, 23h), black), ((16v, 1h, 17v, 2h), black), ((13v, 22h, 14v, 23h), black), ((13v, 1h, 14v, 2h), black), ((10v, 22h, 11v, 23h), black), ((10v, 1h, 11v, 2h), black), ((7v, 22h, 8v, 23h), black), ((7v, 1h, 8v, 2h), black), ((4v, 22h, 5v, 23h), 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), black), ((1v, 7h, 2v, 8h), black), ((1v, 4h, 2v, 5h), black), ((1v, 1h, 2v, 2h), black), ((19v, 19h, 20v, 20h), black), ((19v, 16h, 20v, 17h), green), ((19v, 13h, 20v, 14h), green), ((19v, 10h, 20v, 11h), green), ((19v, 7h, 20v, 8h), green), ((19v, 4h, 20v, 5h), green), ((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), green), ((13v, 19h, 14v, 20h), black), ((13v, 16h, 14v, 17h), black), ((13v, 13h, 14v, 14h), black), ((13v, 10h, 14v, 11h), black), ((13v, 7h, 14v, 8h), black), ((13v, 4h, 14v, 5h), green), ((10v, 19h, 11v, 20h), red), ((10v, 16h, 11v, 17h), red), ((10v, 13h, 11v, 14h), red), ((10v, 10h, 11v, 11h), red), ((10v, 7h, 11v, 8h), black), ((10v, 4h, 11v, 5h), green), ((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), green), ((4v, 19h, 5v, 20h), black), ((4v, 16h, 5v, 17h), red), ((4v, 13h, 5v, 14h), black), ((4v, 10h, 5v, 11h), black), ((4v, 7h, 5v, 8h), black), ((4v, 4h, 5v, 5h), green)})
(26v, 26h, yellow, {((25v, 25h, 26v, 26h), black), ((25v, 22h, 26v, 23h), black), ((25v, 19h, 26v, 20h), black), ((25v, 16h, 26v, 17h), black), ((25v, 13h, 26v, 14h), black), ((25v, 10h, 26v, 11h), black), ((25v, 7h, 26v, 8h), black), ((25v, 4h, 26v, 5h), black), ((25v, 1h, 26v, 2h), black), ((22v, 25h, 23v, 26h), black), ((22v, 1h, 23v, 2h), black), ((19v, 25h, 20v, 26h), black), ((19v, 1h, 20v, 2h), black), ((16v, 25h, 17v, 26h), black), ((16v, 1h, 17v, 2h), black), ((13v, 25h, 14v, 26h), black), ((13v, 1h, 14v, 2h), black), ((10v, 25h, 11v, 26h), black), ((10v, 1h, 11v, 2h), black), ((7v, 25h, 8v, 26h), black), ((7v, 1h, 8v, 2h), black), ((4v, 25h, 5v, 26h), black), ((4v, 1h, 5v, 2h), black), ((1v, 25h, 2v, 26h), 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), black), ((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), black), ((19v, 16h, 20v, 17h), red), ((19v, 13h, 20v, 14h), black), ((19v, 10h, 20v, 11h), black), ((19v, 7h, 20v, 8h), black), ((19v, 4h, 20v, 5h), red), ((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, 14v, 20h), black), ((13v, 16h, 14v, 17h), black), ((13v, 13h, 14v, 14h), black), ((13v, 10h, 14v, 11h), black), ((13v, 7h, 14v, 8h), teal), ((13v, 4h, 14v, 5h), black), ((10v, 22h, 11v, 23h), green), ((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, 5v, 20h), black), ((4v, 16h, 5v, 17h), red), ((4v, 13h, 5v, 14h), black), ((4v, 10h, 5v, 11h), black), ((4v, 7h, 5v, 8h), teal), ((4v, 4h, 5v, 5h), black)}, ?)