ac0c5833 ​

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