2685904e ​

input = fill 10v (fill 10h black) |> fold (λr. rect ((9v, r.2, 9v, r.3), r.1)) #0 |> fold (λr. rect ((r.2, r.3, r.2, r.4), r.1)) #1
output = fill 10v (fill 10h black) |> fold (λr. rect ((9v, r.2, 9v, r.3), r.1)) #0 |> fold rect #2
(UList (Color, HInt, HInt), UList (Color, VInt, HInt, HInt), UList ((VInt, HInt, VInt, HInt), Color))
({(green, 7h, 9h), (yellow, 3h, 5h)}, {(orange, 9v, 10h, 10h), (teal, 9v, 1h, 1h), (grey, 7v, 1h, 10h), (teal, 1v, 1h, 3h), (teal, 9v, 8h, 8h), (orange, 9v, 6h, 6h), (green, 9v, 4h, 4h), (fuschia, 9v, 2h, 2h)}, {((9v, 10h, 9v, 10h), orange), ((9v, 1h, 9v, 1h), teal), ((7v, 1h, 7v, 10h), grey), ((1v, 1h, 1v, 3h), teal), ((9v, 8h, 9v, 8h), teal), ((9v, 6h, 9v, 6h), orange), ((9v, 4h, 9v, 4h), green), ((9v, 2h, 9v, 2h), fuschia), ((4v, 9h, 6v, 9h), green), ((4v, 7h, 6v, 7h), green), ((4v, 4h, 6v, 4h), green)})
({(fuschia, 1h, 4h), (brown, 7h, 9h)}, {(yellow, 9v, 10h, 10h), (grey, 7v, 1h, 10h), (teal, 1v, 1h, 1h), (red, 9v, 8h, 8h), (blue, 9v, 6h, 6h), (red, 9v, 5h, 5h), (yellow, 9v, 3h, 3h)}, {((9v, 10h, 9v, 10h), yellow), ((7v, 1h, 7v, 10h), grey), ((1v, 1h, 1v, 1h), teal), ((9v, 8h, 9v, 8h), red), ((9v, 6h, 9v, 6h), blue), ((9v, 5h, 9v, 5h), red), ((9v, 3h, 9v, 3h), yellow), ((6v, 6h, 6v, 6h), blue)})
({(fuschia, 8h, 10h), (yellow, 1h, 4h)}, {(grey, 7v, 1h, 10h), (teal, 1v, 1h, 3h), (green, 9v, 9h, 9h), (blue, 9v, 7h, 7h), (green, 9v, 6h, 6h), (fuschia, 9v, 5h, 5h), (blue, 9v, 2h, 2h)}, {((7v, 1h, 7v, 10h), grey), ((4v, 10h, 6v, 10h), fuschia), ((4v, 1h, 6v, 1h), yellow), ((1v, 1h, 1v, 3h), teal), ((9v, 9h, 9v, 9h), green), ((9v, 7h, 9v, 7h), blue), ((9v, 6h, 9v, 6h), green), ((9v, 5h, 9v, 5h), fuschia), ((9v, 2h, 9v, 2h), blue), ((4v, 8h, 6v, 8h), fuschia), ((4v, 5h, 6v, 5h), fuschia), ((4v, 3h, 6v, 4h), yellow)})
({(blue, 6h, 10h), (green, 2h, 5h)}, {(red, 9v, 1h, 1h), (grey, 7v, 1h, 10h), (teal, 1v, 1h, 2h), (green, 9v, 8h, 8h), (red, 9v, 4h, 4h)}, {((9v, 1h, 9v, 1h), red), ((7v, 1h, 7v, 10h), grey), ((5v, 1h, 6v, 1h), red), ((1v, 1h, 1v, 2h), teal), ((9v, 8h, 9v, 8h), green), ((9v, 4h, 9v, 4h), red), ((5v, 4h, 6v, 4h), red)})
({(blue, 2h, 7h)}, {(red, 9v, 8h, 10h), (red, 9v, 1h, 1h), (grey, 7v, 1h, 10h), (teal, 1v, 1h, 4h), (red, 9v, 5h, 5h), (red, 9v, 3h, 3h)}, {((9v, 8h, 9v, 10h), red), ((9v, 1h, 9v, 1h), red), ((7v, 1h, 7v, 10h), grey), ((1v, 1h, 1v, 4h), teal), ((9v, 5h, 9v, 5h), red), ((9v, 3h, 9v, 3h), red), ((3v, 6h, 6v, 7h), blue), ((3v, 4h, 6v, 4h), blue), ((3v, 2h, 6v, 2h), blue)})
({(blue, 1h, 10h)}, {(grey, 7v, 1h, 10h), (teal, 1v, 1h, 1h), (yellow, 9v, 7h, 7h), (green, 9v, 2h, 2h)}, {((7v, 1h, 7v, 10h), grey), ((1v, 1h, 1v, 1h), teal), ((9v, 7h, 9v, 7h), yellow), ((9v, 2h, 9v, 2h), green), ((6v, 7h, 6v, 7h), yellow), ((6v, 2h, 6v, 2h), green)})
({(fuschia, 3h, 5h)}, {(brown, 9v, 10h, 10h), (red, 9v, 1h, 1h), (grey, 7v, 1h, 10h), (teal, 1v, 1h, 2h), (green, 9v, 9h, 9h), (yellow, 9v, 7h, 8h), (red, 9v, 6h, 6h), (yellow, 9v, 4h, 4h), (green, 9v, 2h, 2h)}, ?)