ce8d95cc ​

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