9d9215db ​

input = fill 19v (fill 19h black) |> fold (λr. rect ((r.2, r.3, r.2, r.3), r.1)) #0
output = fill 19v (fill 19h black) |> fold rect #1
(UList (Color, VInt, HInt), UList ((VInt, HInt, VInt, HInt), Color))
({(red, 4v, 4h), (blue, 4v, 2h), (blue, 2v, 4h), (teal, 2v, 2h)}, {((18v, 18h, 18v, 18h), teal), ((18v, 16h, 18v, 16h), blue), ((18v, 14h, 18v, 14h), blue), ((18v, 12h, 18v, 12h), blue), ((18v, 10h, 18v, 10h), blue), ((18v, 8h, 18v, 8h), blue), ((18v, 6h, 18v, 6h), blue), ((18v, 4h, 18v, 4h), blue), ((18v, 2h, 18v, 2h), teal), ((16v, 18h, 16v, 18h), blue), ((16v, 16h, 16v, 16h), red), ((16v, 4h, 16v, 4h), red), ((16v, 2h, 16v, 2h), blue), ((14v, 18h, 14v, 18h), blue), ((14v, 2h, 14v, 2h), blue), ((12v, 18h, 12v, 18h), blue), ((12v, 2h, 12v, 2h), blue), ((10v, 18h, 10v, 18h), blue), ((10v, 2h, 10v, 2h), blue), ((8v, 18h, 8v, 18h), blue), ((8v, 2h, 8v, 2h), blue), ((6v, 18h, 6v, 18h), blue), ((6v, 2h, 6v, 2h), blue), ((4v, 18h, 4v, 18h), blue), ((4v, 16h, 4v, 16h), red), ((4v, 4h, 4v, 4h), red), ((4v, 2h, 4v, 2h), blue), ((2v, 18h, 2v, 18h), teal), ((2v, 16h, 2v, 16h), blue), ((2v, 14h, 2v, 14h), blue), ((2v, 12h, 2v, 12h), blue), ((2v, 10h, 2v, 10h), blue), ((2v, 8h, 2v, 8h), blue), ((2v, 6h, 2v, 6h), blue), ((2v, 4h, 2v, 4h), blue), ((2v, 2h, 2v, 2h), teal)})
({(blue, 6v, 16h), (yellow, 4v, 16h), (blue, 4v, 14h), (green, 2v, 18h)}, {((18v, 18h, 18v, 18h), green), ((18v, 2h, 18v, 2h), green), ((16v, 16h, 16v, 16h), yellow), ((16v, 14h, 16v, 14h), blue), ((16v, 12h, 16v, 12h), blue), ((16v, 10h, 16v, 10h), blue), ((16v, 8h, 16v, 8h), blue), ((16v, 6h, 16v, 6h), blue), ((16v, 4h, 16v, 4h), yellow), ((14v, 16h, 14v, 16h), blue), ((14v, 4h, 14v, 4h), blue), ((12v, 16h, 12v, 16h), blue), ((12v, 4h, 12v, 4h), blue), ((10v, 16h, 10v, 16h), blue), ((10v, 4h, 10v, 4h), blue), ((8v, 16h, 8v, 16h), blue), ((8v, 4h, 8v, 4h), blue), ((6v, 16h, 6v, 16h), blue), ((6v, 4h, 6v, 4h), blue), ((4v, 16h, 4v, 16h), yellow), ((4v, 14h, 4v, 14h), blue), ((4v, 12h, 4v, 12h), blue), ((4v, 10h, 4v, 10h), blue), ((4v, 8h, 4v, 8h), blue), ((4v, 6h, 4v, 6h), blue), ((4v, 4h, 4v, 4h), yellow), ((2v, 18h, 2v, 18h), green), ((2v, 2h, 2v, 2h), green)})
({(teal, 6v, 6h), (blue, 4v, 4h), (green, 4v, 2h), (green, 2v, 4h), (yellow, 2v, 2h)}, {((18v, 18h, 18v, 18h), yellow), ((18v, 16h, 18v, 16h), green), ((18v, 14h, 18v, 14h), green), ((18v, 12h, 18v, 12h), green), ((18v, 10h, 18v, 10h), green), ((18v, 8h, 18v, 8h), green), ((18v, 6h, 18v, 6h), green), ((18v, 4h, 18v, 4h), green), ((18v, 2h, 18v, 2h), yellow), ((16v, 18h, 16v, 18h), green), ((16v, 16h, 16v, 16h), blue), ((16v, 4h, 16v, 4h), blue), ((16v, 2h, 16v, 2h), green), ((14v, 18h, 14v, 18h), green), ((14v, 14h, 14v, 14h), teal), ((14v, 6h, 14v, 6h), teal), ((14v, 2h, 14v, 2h), green), ((12v, 18h, 12v, 18h), green), ((12v, 2h, 12v, 2h), green), ((10v, 18h, 10v, 18h), green), ((10v, 2h, 10v, 2h), green), ((8v, 18h, 8v, 18h), green), ((8v, 2h, 8v, 2h), green), ((6v, 18h, 6v, 18h), green), ((6v, 14h, 6v, 14h), teal), ((6v, 6h, 6v, 6h), teal), ((6v, 2h, 6v, 2h), green), ((4v, 18h, 4v, 18h), green), ((4v, 16h, 4v, 16h), blue), ((4v, 4h, 4v, 4h), blue), ((4v, 2h, 4v, 2h), green), ((2v, 18h, 2v, 18h), yellow), ((2v, 16h, 2v, 16h), green), ((2v, 14h, 2v, 14h), green), ((2v, 12h, 2v, 12h), green), ((2v, 10h, 2v, 10h), green), ((2v, 8h, 2v, 8h), green), ((2v, 6h, 2v, 6h), green), ((2v, 4h, 2v, 4h), green), ((2v, 2h, 2v, 2h), yellow)})
({(green, 18v, 4h), (blue, 18v, 2h), (red, 16v, 4h), (green, 16v, 2h), (teal, 14v, 8h), (yellow, 14v, 6h), (teal, 12v, 6h)}, ?)