4f537728 ​

input = fill 20v (fill 20h black) |> fold rect #0
output = fill 20v (fill 20h black) |> fold rect #1
(UList ((VInt, HInt, VInt, HInt), Color), UList ((VInt, HInt, VInt, HInt), Color))
({((19v, 19h, 20v, 20h), blue), ((19v, 16h, 20v, 17h), blue), ((19v, 13h, 20v, 14h), blue), ((19v, 10h, 20v, 11h), blue), ((19v, 7h, 20v, 8h), blue), ((19v, 4h, 20v, 5h), blue), ((19v, 1h, 20v, 2h), blue), ((16v, 19h, 17v, 20h), blue), ((16v, 1h, 17v, 2h), blue), ((13v, 19h, 14v, 20h), blue), ((13v, 1h, 14v, 2h), blue), ((10v, 19h, 11v, 20h), blue), ((10v, 1h, 11v, 2h), blue), ((7v, 19h, 8v, 20h), blue), ((7v, 1h, 8v, 2h), blue), ((4v, 19h, 5v, 20h), blue), ((4v, 1h, 5v, 2h), blue), ((1v, 19h, 2v, 20h), blue), ((1v, 16h, 2v, 17h), blue), ((1v, 13h, 2v, 14h), blue), ((1v, 10h, 2v, 11h), blue), ((1v, 7h, 2v, 8h), blue), ((1v, 4h, 2v, 5h), blue), ((1v, 1h, 2v, 2h), blue), ((16v, 16h, 17v, 17h), blue), ((16v, 13h, 17v, 14h), blue), ((16v, 10h, 17v, 11h), blue), ((16v, 7h, 17v, 8h), blue), ((16v, 4h, 17v, 5h), blue), ((13v, 16h, 14v, 17h), blue), ((13v, 13h, 14v, 14h), blue), ((13v, 10h, 14v, 11h), blue), ((13v, 7h, 14v, 8h), blue), ((13v, 4h, 14v, 5h), blue), ((10v, 16h, 11v, 17h), blue), ((10v, 13h, 11v, 14h), blue), ((10v, 10h, 11v, 11h), blue), ((10v, 7h, 11v, 8h), blue), ((10v, 4h, 11v, 5h), blue), ((7v, 16h, 8v, 17h), blue), ((7v, 13h, 8v, 14h), blue), ((7v, 10h, 8v, 11h), blue), ((7v, 7h, 8v, 8h), red), ((7v, 4h, 8v, 5h), blue), ((4v, 16h, 5v, 17h), blue), ((4v, 13h, 5v, 14h), blue), ((4v, 10h, 5v, 11h), blue), ((4v, 7h, 5v, 8h), blue), ((4v, 4h, 5v, 5h), blue)}, {((19v, 19h, 20v, 20h), blue), ((19v, 16h, 20v, 17h), blue), ((19v, 13h, 20v, 14h), blue), ((19v, 10h, 20v, 11h), blue), ((19v, 7h, 20v, 8h), red), ((19v, 4h, 20v, 5h), blue), ((19v, 1h, 20v, 2h), blue), ((16v, 19h, 17v, 20h), blue), ((16v, 1h, 17v, 2h), blue), ((13v, 19h, 14v, 20h), blue), ((13v, 1h, 14v, 2h), blue), ((10v, 19h, 11v, 20h), blue), ((10v, 1h, 11v, 2h), blue), ((7v, 19h, 8v, 20h), red), ((7v, 1h, 8v, 2h), red), ((4v, 19h, 5v, 20h), blue), ((4v, 1h, 5v, 2h), blue), ((1v, 19h, 2v, 20h), blue), ((1v, 16h, 2v, 17h), blue), ((1v, 13h, 2v, 14h), blue), ((1v, 10h, 2v, 11h), blue), ((1v, 7h, 2v, 8h), red), ((1v, 4h, 2v, 5h), blue), ((1v, 1h, 2v, 2h), blue), ((16v, 16h, 17v, 17h), blue), ((16v, 13h, 17v, 14h), blue), ((16v, 10h, 17v, 11h), blue), ((16v, 7h, 17v, 8h), red), ((16v, 4h, 17v, 5h), blue), ((13v, 16h, 14v, 17h), blue), ((13v, 13h, 14v, 14h), blue), ((13v, 10h, 14v, 11h), blue), ((13v, 7h, 14v, 8h), red), ((13v, 4h, 14v, 5h), blue), ((10v, 16h, 11v, 17h), blue), ((10v, 13h, 11v, 14h), blue), ((10v, 10h, 11v, 11h), blue), ((10v, 7h, 11v, 8h), red), ((10v, 4h, 11v, 5h), blue), ((7v, 16h, 8v, 17h), red), ((7v, 13h, 8v, 14h), red), ((7v, 10h, 8v, 11h), red), ((7v, 7h, 8v, 8h), red), ((7v, 4h, 8v, 5h), red), ((4v, 16h, 5v, 17h), blue), ((4v, 13h, 5v, 14h), blue), ((4v, 10h, 5v, 11h), blue), ((4v, 7h, 5v, 8h), red), ((4v, 4h, 5v, 5h), blue)})
({((18v, 1h, 19v, 1h), blue), ((15v, 1h, 16v, 1h), blue), ((12v, 1h, 13v, 1h), blue), ((9v, 1h, 10v, 1h), blue), ((6v, 1h, 7v, 1h), blue), ((3v, 1h, 4v, 1h), blue), ((1v, 18h, 1v, 19h), blue), ((1v, 15h, 1v, 16h), blue), ((1v, 12h, 1v, 13h), blue), ((1v, 9h, 1v, 10h), blue), ((1v, 6h, 1v, 7h), blue), ((1v, 3h, 1v, 4h), blue), ((1v, 1h, 1v, 1h), blue), ((18v, 18h, 19v, 19h), blue), ((18v, 15h, 19v, 16h), blue), ((18v, 12h, 19v, 13h), blue), ((18v, 9h, 19v, 10h), blue), ((18v, 6h, 19v, 7h), blue), ((18v, 3h, 19v, 4h), blue), ((15v, 18h, 16v, 19h), blue), ((15v, 15h, 16v, 16h), blue), ((15v, 12h, 16v, 13h), green), ((15v, 9h, 16v, 10h), blue), ((15v, 6h, 16v, 7h), blue), ((15v, 3h, 16v, 4h), blue), ((12v, 18h, 13v, 19h), blue), ((12v, 15h, 13v, 16h), blue), ((12v, 12h, 13v, 13h), blue), ((12v, 9h, 13v, 10h), blue), ((12v, 6h, 13v, 7h), blue), ((12v, 3h, 13v, 4h), blue), ((9v, 18h, 10v, 19h), blue), ((9v, 15h, 10v, 16h), blue), ((9v, 12h, 10v, 13h), blue), ((9v, 9h, 10v, 10h), blue), ((9v, 6h, 10v, 7h), blue), ((9v, 3h, 10v, 4h), blue), ((6v, 18h, 7v, 19h), blue), ((6v, 15h, 7v, 16h), blue), ((6v, 12h, 7v, 13h), blue), ((6v, 9h, 7v, 10h), blue), ((6v, 6h, 7v, 7h), blue), ((6v, 3h, 7v, 4h), blue), ((3v, 18h, 4v, 19h), blue), ((3v, 15h, 4v, 16h), blue), ((3v, 12h, 4v, 13h), blue), ((3v, 9h, 4v, 10h), blue), ((3v, 6h, 4v, 7h), blue), ((3v, 3h, 4v, 4h), blue)}, {((18v, 1h, 19v, 1h), blue), ((15v, 1h, 16v, 1h), green), ((12v, 1h, 13v, 1h), blue), ((9v, 1h, 10v, 1h), blue), ((6v, 1h, 7v, 1h), blue), ((3v, 1h, 4v, 1h), blue), ((1v, 18h, 1v, 19h), blue), ((1v, 15h, 1v, 16h), blue), ((1v, 12h, 1v, 13h), green), ((1v, 9h, 1v, 10h), blue), ((1v, 6h, 1v, 7h), blue), ((1v, 3h, 1v, 4h), blue), ((1v, 1h, 1v, 1h), blue), ((18v, 18h, 19v, 19h), blue), ((18v, 15h, 19v, 16h), blue), ((18v, 12h, 19v, 13h), green), ((18v, 9h, 19v, 10h), blue), ((18v, 6h, 19v, 7h), blue), ((18v, 3h, 19v, 4h), blue), ((15v, 18h, 16v, 19h), green), ((15v, 15h, 16v, 16h), green), ((15v, 12h, 16v, 13h), green), ((15v, 9h, 16v, 10h), green), ((15v, 6h, 16v, 7h), green), ((15v, 3h, 16v, 4h), green), ((12v, 18h, 13v, 19h), blue), ((12v, 15h, 13v, 16h), blue), ((12v, 12h, 13v, 13h), green), ((12v, 9h, 13v, 10h), blue), ((12v, 6h, 13v, 7h), blue), ((12v, 3h, 13v, 4h), blue), ((9v, 18h, 10v, 19h), blue), ((9v, 15h, 10v, 16h), blue), ((9v, 12h, 10v, 13h), green), ((9v, 9h, 10v, 10h), blue), ((9v, 6h, 10v, 7h), blue), ((9v, 3h, 10v, 4h), blue), ((6v, 18h, 7v, 19h), blue), ((6v, 15h, 7v, 16h), blue), ((6v, 12h, 7v, 13h), green), ((6v, 9h, 7v, 10h), blue), ((6v, 6h, 7v, 7h), blue), ((6v, 3h, 7v, 4h), blue), ((3v, 18h, 4v, 19h), blue), ((3v, 15h, 4v, 16h), blue), ((3v, 12h, 4v, 13h), green), ((3v, 9h, 4v, 10h), blue), ((3v, 6h, 4v, 7h), blue), ((3v, 3h, 4v, 4h), blue)})
({((18v, 19h, 19v, 20h), blue), ((18v, 1h, 19v, 2h), blue), ((15v, 19h, 16v, 20h), blue), ((15v, 1h, 16v, 2h), blue), ((12v, 19h, 13v, 20h), blue), ((12v, 1h, 13v, 2h), blue), ((9v, 19h, 10v, 20h), blue), ((9v, 1h, 10v, 2h), blue), ((6v, 19h, 7v, 20h), blue), ((6v, 1h, 7v, 2h), blue), ((3v, 19h, 4v, 20h), blue), ((3v, 1h, 4v, 2h), blue), ((1v, 19h, 1v, 20h), blue), ((1v, 16h, 1v, 17h), blue), ((1v, 13h, 1v, 14h), blue), ((1v, 10h, 1v, 11h), blue), ((1v, 7h, 1v, 8h), blue), ((1v, 4h, 1v, 5h), blue), ((1v, 1h, 1v, 2h), blue), ((18v, 16h, 19v, 17h), blue), ((18v, 13h, 19v, 14h), blue), ((18v, 10h, 19v, 11h), blue), ((18v, 7h, 19v, 8h), blue), ((18v, 4h, 19v, 5h), blue), ((15v, 16h, 16v, 17h), blue), ((15v, 13h, 16v, 14h), blue), ((15v, 10h, 16v, 11h), blue), ((15v, 7h, 16v, 8h), blue), ((15v, 4h, 16v, 5h), blue), ((12v, 16h, 13v, 17h), blue), ((12v, 13h, 13v, 14h), blue), ((12v, 10h, 13v, 11h), blue), ((12v, 7h, 13v, 8h), blue), ((12v, 4h, 13v, 5h), blue), ((9v, 16h, 10v, 17h), blue), ((9v, 13h, 10v, 14h), blue), ((9v, 10h, 10v, 11h), blue), ((9v, 7h, 10v, 8h), blue), ((9v, 4h, 10v, 5h), blue), ((6v, 16h, 7v, 17h), teal), ((6v, 13h, 7v, 14h), blue), ((6v, 10h, 7v, 11h), blue), ((6v, 7h, 7v, 8h), blue), ((6v, 4h, 7v, 5h), blue), ((3v, 16h, 4v, 17h), blue), ((3v, 13h, 4v, 14h), blue), ((3v, 10h, 4v, 11h), blue), ((3v, 7h, 4v, 8h), blue), ((3v, 4h, 4v, 5h), blue)}, ?)