40853293 ​

input = fill #0 (fill #1 black) |> fold (λr. rect ((r.2, r.3, r.2, r.3), r.1)) #2
output = fill #0 (fill #1 black) |> fold (λr. rect ((r.2, 3h, r.2, r.3), r.1)) #3 |> rect #4 |> fold (λr. rect ((r.2, r.3, r.4, r.3), r.1)) #5
(VInt, HInt, UList (Color, VInt, HInt), UList (Color, VInt, HInt), ((VInt, HInt, VInt, HInt), Color), UList (Color, VInt, HInt, VInt))
(30v, 20h, {(fuschia, 28v, 5h), (grey, 21v, 8h), (grey, 21v, 3h), (fuschia, 19v, 5h), (teal, 18v, 15h), (red, 14v, 7h), (teal, 13v, 15h), (green, 7v, 12h), (green, 7v, 4h), (red, 3v, 7h)}, {(grey, 21v, 8h)}, ((7v, 4h, 7v, 12h), green), {(fuschia, 19v, 5h, 28v), (teal, 13v, 15h, 18v), (red, 3v, 7h, 14v)})
(20v, 10h, {(brown, 19v, 6h), (teal, 15v, 7h), (teal, 15v, 2h), (brown, 13v, 6h), (yellow, 11v, 4h), (orange, 9v, 6h), (orange, 9v, 3h), (green, 5v, 8h), (green, 5v, 3h), (yellow, 3v, 4h)}, {(orange, 9v, 6h), (green, 5v, 8h)}, ((15v, 2h, 15v, 7h), teal), {(brown, 13v, 6h, 19v), (yellow, 3v, 4h, 11v)})
(20v, 20h, {(green, 19v, 4h), (teal, 15v, 15h), (teal, 15v, 9h), (grey, 10v, 10h), (orange, 8v, 14h), (orange, 8v, 8h), (red, 4v, 17h), (red, 4v, 2h), (grey, 3v, 10h), (green, 2v, 4h)}, ?, ((?, ?, ?, ?), ?), ?)