a096bf4d ​

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))
(21v, 21h, [{((17v, 17h, 20v, 20h), blue), ((17v, 12h, 20v, 15h), blue), ((17v, 2h, 20v, 5h), blue), ((12v, 17h, 15v, 20h), blue), ((12v, 12h, 15v, 15h), blue), ((12v, 7h, 15v, 10h), blue), ((12v, 2h, 15v, 5h), blue), ((7v, 17h, 10v, 20h), blue), ((7v, 12h, 10v, 15h), blue), ((7v, 7h, 10v, 10h), blue), ((7v, 2h, 10v, 5h), blue), ((2v, 12h, 5v, 15h), blue), ((17v, 7h, 20v, 10h), blue), ((2v, 17h, 5v, 20h), blue), ((2v, 7h, 5v, 10h), blue), ((2v, 2h, 5v, 5h), blue)}, {((19v, 18h, 19v, 19h), teal), ((18v, 19h, 19v, 19h), teal), ((19v, 13h, 19v, 14h), teal), ((18v, 14h, 19v, 14h), teal), ((19v, 3h, 19v, 4h), teal), ((18v, 4h, 19v, 4h), teal), ((14v, 18h, 14v, 19h), teal), ((13v, 19h, 14v, 19h), teal), ((14v, 13h, 14v, 14h), teal), ((13v, 14h, 14v, 14h), teal), ((14v, 8h, 14v, 9h), teal), ((13v, 9h, 14v, 9h), teal), ((14v, 3h, 14v, 4h), teal), ((13v, 4h, 14v, 4h), teal), ((9v, 18h, 9v, 19h), teal), ((8v, 19h, 9v, 19h), teal), ((9v, 13h, 9v, 14h), teal), ((8v, 14h, 9v, 14h), teal), ((9v, 8h, 9v, 9h), teal), ((8v, 9h, 9v, 9h), teal), ((9v, 3h, 9v, 4h), teal), ((8v, 4h, 9v, 4h), teal), ((4v, 13h, 4v, 14h), teal), ((3v, 14h, 4v, 14h), teal), ((19v, 8h, 19v, 9h), teal), ((18v, 9h, 18v, 9h), yellow), ((4v, 19h, 4v, 19h), red), ((4v, 18h, 4v, 18h), teal), ((4v, 8h, 4v, 9h), teal), ((4v, 4h, 4v, 4h), red), ((4v, 3h, 4v, 3h), teal), ((3v, 19h, 3v, 19h), teal), ((3v, 9h, 3v, 9h), yellow), ((3v, 4h, 3v, 4h), teal)}], [{((17v, 17h, 20v, 20h), blue), ((17v, 12h, 20v, 15h), blue), ((17v, 2h, 20v, 5h), blue), ((12v, 17h, 15v, 20h), blue), ((12v, 12h, 15v, 15h), blue), ((12v, 2h, 15v, 5h), blue), ((7v, 17h, 10v, 20h), blue), ((7v, 12h, 10v, 15h), blue), ((7v, 2h, 10v, 5h), blue), ((17v, 7h, 20v, 10h), blue), ((12v, 7h, 15v, 10h), blue), ((7v, 7h, 10v, 10h), blue), ((2v, 17h, 5v, 20h), blue), ((2v, 12h, 5v, 15h), blue), ((2v, 7h, 5v, 10h), blue), ((2v, 2h, 5v, 5h), blue)}, {((19v, 18h, 19v, 19h), teal), ((18v, 19h, 19v, 19h), teal), ((19v, 13h, 19v, 14h), teal), ((18v, 14h, 19v, 14h), teal), ((19v, 3h, 19v, 4h), teal), ((18v, 4h, 19v, 4h), teal), ((14v, 18h, 14v, 19h), teal), ((13v, 19h, 14v, 19h), teal), ((14v, 13h, 14v, 14h), teal), ((13v, 14h, 14v, 14h), teal), ((14v, 3h, 14v, 4h), teal), ((13v, 4h, 14v, 4h), teal), ((9v, 18h, 9v, 19h), teal), ((8v, 19h, 9v, 19h), teal), ((9v, 13h, 9v, 14h), teal), ((8v, 14h, 9v, 14h), teal), ((9v, 3h, 9v, 4h), teal), ((8v, 4h, 9v, 4h), teal), ((19v, 8h, 19v, 9h), teal), ((18v, 9h, 18v, 9h), yellow), ((14v, 8h, 14v, 9h), teal), ((13v, 9h, 13v, 9h), yellow), ((9v, 8h, 9v, 9h), teal), ((8v, 9h, 8v, 9h), yellow), ((4v, 19h, 4v, 19h), red), ((4v, 18h, 4v, 18h), teal), ((4v, 14h, 4v, 14h), red), ((4v, 13h, 4v, 13h), teal), ((4v, 9h, 4v, 9h), red), ((4v, 8h, 4v, 8h), teal), ((4v, 4h, 4v, 4h), red), ((4v, 3h, 4v, 3h), teal), ((3v, 19h, 3v, 19h), teal), ((3v, 14h, 3v, 14h), teal), ((3v, 9h, 3v, 9h), yellow), ((3v, 4h, 3v, 4h), teal)}])
(26v, 21h, [{((22v, 17h, 25v, 20h), red), ((22v, 2h, 25v, 5h), red), ((17v, 7h, 20v, 10h), red), ((12v, 12h, 15v, 15h), red), ((2v, 12h, 5v, 15h), red), ((2v, 7h, 5v, 10h), red), ((2v, 2h, 5v, 5h), red)}, {((22v, 12h, 25v, 15h), red), ((22v, 7h, 25v, 10h), red), ((17v, 17h, 20v, 20h), red), ((17v, 12h, 20v, 15h), red), ((17v, 2h, 20v, 5h), red), ((12v, 17h, 15v, 20h), red), ((12v, 7h, 15v, 10h), red), ((12v, 2h, 15v, 5h), red), ((7v, 17h, 10v, 20h), red), ((7v, 12h, 10v, 15h), red), ((7v, 7h, 10v, 10h), red), ((7v, 2h, 10v, 5h), red), ((2v, 17h, 5v, 20h), red), ((23v, 18h, 24v, 19h), green), ((23v, 3h, 24v, 4h), green), ((18v, 8h, 19v, 9h), green), ((13v, 13h, 14v, 14h), green), ((3v, 13h, 4v, 14h), green), ((3v, 3h, 4v, 4h), green), ((3v, 8h, 4v, 9h), green)}, {((23v, 19h, 23v, 19h), teal), ((23v, 13h, 24v, 14h), green), ((23v, 8h, 24v, 9h), green), ((23v, 4h, 23v, 4h), teal), ((18v, 18h, 19v, 19h), green), ((18v, 13h, 19v, 14h), green), ((18v, 8h, 18v, 8h), fuschia), ((18v, 3h, 19v, 4h), green), ((14v, 13h, 14v, 13h), blue), ((13v, 18h, 14v, 19h), green), ((13v, 8h, 14v, 9h), green), ((13v, 3h, 14v, 4h), green), ((8v, 18h, 9v, 19h), green), ((8v, 13h, 9v, 14h), green), ((8v, 8h, 9v, 9h), green), ((8v, 3h, 9v, 4h), green), ((4v, 13h, 4v, 13h), blue), ((4v, 3h, 4v, 3h), blue), ((3v, 18h, 4v, 19h), green), ((3v, 8h, 3v, 8h), fuschia)}], [{((22v, 17h, 25v, 20h), red), ((22v, 12h, 25v, 15h), red), ((22v, 7h, 25v, 10h), red), ((22v, 2h, 25v, 5h), red), ((17v, 7h, 20v, 10h), red), ((12v, 12h, 15v, 15h), red), ((12v, 7h, 15v, 10h), red), ((7v, 12h, 10v, 15h), red), ((7v, 7h, 10v, 10h), red), ((2v, 12h, 5v, 15h), red), ((2v, 2h, 5v, 5h), red)}, {((17v, 17h, 20v, 20h), red), ((17v, 12h, 20v, 15h), red), ((17v, 2h, 20v, 5h), red), ((12v, 17h, 15v, 20h), red), ((12v, 2h, 15v, 5h), red), ((7v, 17h, 10v, 20h), red), ((7v, 2h, 10v, 5h), red), ((2v, 17h, 5v, 20h), red), ((2v, 7h, 5v, 10h), red), ((23v, 18h, 24v, 19h), green), ((23v, 13h, 24v, 14h), green), ((23v, 8h, 24v, 9h), green), ((23v, 3h, 24v, 4h), green), ((18v, 8h, 19v, 9h), green), ((13v, 13h, 14v, 14h), green), ((13v, 8h, 14v, 9h), green), ((8v, 13h, 9v, 14h), green), ((8v, 8h, 9v, 9h), green), ((3v, 13h, 4v, 14h), green), ((3v, 3h, 4v, 4h), green)}, {((23v, 19h, 23v, 19h), teal), ((23v, 14h, 23v, 14h), teal), ((23v, 9h, 23v, 9h), teal), ((23v, 4h, 23v, 4h), teal), ((18v, 18h, 19v, 19h), green), ((18v, 13h, 19v, 14h), green), ((18v, 8h, 18v, 8h), fuschia), ((18v, 3h, 19v, 4h), green), ((14v, 13h, 14v, 13h), blue), ((13v, 18h, 14v, 19h), green), ((13v, 8h, 13v, 8h), fuschia), ((13v, 3h, 14v, 4h), green), ((9v, 13h, 9v, 13h), blue), ((8v, 18h, 9v, 19h), green), ((8v, 8h, 8v, 8h), fuschia), ((8v, 3h, 9v, 4h), green), ((4v, 13h, 4v, 13h), blue), ((4v, 8h, 4v, 8h), blue), ((4v, 3h, 4v, 3h), blue), ((3v, 18h, 4v, 19h), green), ((3v, 9h, 4v, 9h), green), ((3v, 8h, 3v, 8h), fuschia)}])
(16v, 16h, [{((12v, 12h, 15v, 15h), teal), ((12v, 2h, 15v, 5h), teal), ((7v, 7h, 10v, 10h), teal), ((2v, 12h, 5v, 15h), teal), ((2v, 2h, 5v, 5h), teal), ((12v, 7h, 15v, 10h), teal), ((7v, 12h, 10v, 15h), teal), ((7v, 2h, 10v, 5h), teal), ((2v, 7h, 5v, 10h), teal)}, {((13v, 13h, 13v, 14h), yellow), ((13v, 13h, 14v, 13h), yellow), ((13v, 3h, 13v, 4h), yellow), ((13v, 3h, 14v, 3h), yellow), ((8v, 8h, 8v, 9h), yellow), ((8v, 8h, 9v, 8h), yellow), ((3v, 13h, 3v, 14h), yellow), ((3v, 13h, 4v, 13h), yellow), ((3v, 3h, 3v, 4h), yellow), ((3v, 3h, 4v, 3h), yellow), ((14v, 8h, 14v, 8h), yellow), ((13v, 9h, 13v, 9h), yellow), ((13v, 8h, 13v, 8h), orange), ((9v, 13h, 9v, 13h), green), ((9v, 3h, 9v, 3h), green), ((8v, 13h, 8v, 14h), yellow), ((8v, 3h, 8v, 4h), yellow), ((4v, 8h, 4v, 8h), yellow), ((3v, 9h, 3v, 9h), yellow), ((3v, 8h, 3v, 8h), orange)}], [{((12v, 12h, 15v, 15h), teal), ((12v, 2h, 15v, 5h), teal), ((2v, 12h, 5v, 15h), teal), ((2v, 2h, 5v, 5h), teal), ((12v, 7h, 15v, 10h), teal), ((7v, 12h, 10v, 15h), teal), ((7v, 7h, 10v, 10h), teal), ((7v, 2h, 10v, 5h), teal), ((2v, 7h, 5v, 10h), teal)}, {((13v, 13h, 13v, 14h), yellow), ((13v, 13h, 14v, 13h), yellow), ((13v, 3h, 13v, 4h), yellow), ((13v, 3h, 14v, 3h), yellow), ((3v, 13h, 3v, 14h), yellow), ((3v, 13h, 4v, 13h), yellow), ((3v, 3h, 3v, 4h), yellow), ((3v, 3h, 4v, 3h), yellow), ((14v, 8h, 14v, 8h), yellow), ((13v, 9h, 13v, 9h), yellow), ((13v, 8h, 13v, 8h), orange), ((9v, 13h, 9v, 13h), green), ((9v, 8h, 9v, 8h), green), ((9v, 3h, 9v, 3h), green), ((8v, 13h, 8v, 14h), yellow), ((8v, 9h, 8v, 9h), yellow), ((8v, 8h, 8v, 8h), orange), ((8v, 3h, 8v, 4h), yellow), ((4v, 8h, 4v, 8h), yellow), ((3v, 9h, 3v, 9h), yellow), ((3v, 8h, 3v, 8h), orange)}])
(26v, 26h, [{((22v, 7h, 25v, 10h), grey), ((17v, 22h, 20v, 25h), grey), ((17v, 12h, 20v, 15h), grey), ((17v, 7h, 20v, 10h), grey), ((12v, 22h, 15v, 25h), grey), ((12v, 17h, 15v, 20h), grey), ((12v, 12h, 15v, 15h), grey), ((12v, 7h, 15v, 10h), grey), ((12v, 2h, 15v, 5h), grey), ((7v, 22h, 10v, 25h), grey), ((7v, 12h, 10v, 15h), grey), ((7v, 2h, 10v, 5h), grey), ((2v, 22h, 5v, 25h), grey), ((2v, 17h, 5v, 20h), grey), ((2v, 7h, 5v, 10h), grey), ((22v, 22h, 25v, 25h), grey), ((22v, 17h, 25v, 20h), grey), ((22v, 12h, 25v, 15h), grey), ((22v, 2h, 25v, 5h), grey), ((17v, 17h, 20v, 20h), grey), ((17v, 2h, 20v, 5h), grey), ((7v, 17h, 10v, 20h), grey), ((7v, 7h, 10v, 10h), grey), ((2v, 12h, 5v, 15h), grey), ((2v, 2h, 5v, 5h), grey)}, {((23v, 9h, 24v, 9h), red), ((23v, 8h, 23v, 9h), red), ((18v, 24h, 19v, 24h), red), ((18v, 23h, 18v, 24h), red), ((18v, 14h, 19v, 14h), red), ((18v, 13h, 18v, 14h), red), ((18v, 9h, 19v, 9h), red), ((18v, 8h, 18v, 9h), red), ((13v, 24h, 14v, 24h), red), ((13v, 23h, 13v, 24h), red), ((13v, 19h, 14v, 19h), red), ((13v, 18h, 13v, 19h), red), ((13v, 14h, 14v, 14h), red), ((13v, 13h, 13v, 14h), red), ((13v, 9h, 14v, 9h), red), ((13v, 8h, 13v, 9h), red), ((13v, 4h, 14v, 4h), red), ((13v, 3h, 13v, 4h), red), ((8v, 24h, 9v, 24h), red), ((8v, 23h, 8v, 24h), red), ((8v, 14h, 9v, 14h), red), ((8v, 13h, 8v, 14h), red), ((8v, 4h, 9v, 4h), red), ((8v, 3h, 8v, 4h), red), ((3v, 24h, 4v, 24h), red), ((3v, 23h, 3v, 24h), red), ((3v, 19h, 4v, 19h), red), ((3v, 18h, 3v, 19h), red), ((3v, 9h, 4v, 9h), red), ((3v, 8h, 3v, 9h), red), ((24v, 24h, 24v, 24h), red), ((24v, 14h, 24v, 14h), red), ((23v, 24h, 23v, 24h), green), ((23v, 23h, 23v, 23h), red), ((23v, 19h, 24v, 19h), red), ((23v, 18h, 23v, 18h), fuschia), ((23v, 14h, 23v, 14h), green), ((23v, 13h, 23v, 13h), red), ((23v, 4h, 24v, 4h), red), ((23v, 3h, 23v, 3h), fuschia), ((19v, 19h, 19v, 19h), teal), ((19v, 4h, 19v, 4h), teal), ((18v, 18h, 18v, 19h), red), ((18v, 3h, 18v, 4h), red), ((9v, 19h, 9v, 19h), yellow), ((9v, 9h, 9v, 9h), yellow), ((8v, 18h, 8v, 19h), red), ((8v, 8h, 8v, 9h), red), ((4v, 14h, 4v, 14h), red), ((4v, 4h, 4v, 4h), teal), ((3v, 14h, 3v, 14h), green), ((3v, 13h, 3v, 13h), red), ((3v, 3h, 3v, 4h), red)}], ?)