b7f8a4d8 ​

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