bb52a14b ​

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