22233c11 ​

input = fill 10v (fill 10h black) |> fold (λr. rect (r, green)) #0
output = fill 10v (fill 10h black) |> rect (#1, teal) |> fold (λr. rect ((#4, r.1, #2, r.2), #3)) #5 |> fold (λr. rect (r, green)) #6 |> rect ((#7.1, #7.2, 3v, #7.3), teal)
(UList (VInt, HInt, VInt, HInt), (VInt, HInt, VInt, HInt), VInt, Color, VInt, UList (HInt, HInt), UList (VInt, HInt, VInt, HInt), (VInt, HInt, HInt))
({(8v, 7h, 8v, 7h), (7v, 8h, 7v, 8h), (5v, 4h, 5v, 4h), (4v, 3h, 4v, 3h)}, (9v, 9h, 9v, 9h), 6v, teal, 6v, {(6h, 6h), (2h, 2h)}, {(8v, 7h, 8v, 7h), (7v, 8h, 7v, 8h), (5v, 4h, 5v, 4h), (4v, 3h, 4v, 3h)}, (3v, 5h, 5h))
({(6v, 2h, 7v, 3h), (4v, 4h, 5v, 5h)}, (8v, 6h, 9v, 7h), 7v, green, 6v, {(2h, 3h)}, {(4v, 4h, 5v, 5h)}, (2v, 1h, 1h))
({(5v, 5h, 5v, 5h), (4v, 4h, 4v, 4h)}, (6v, 3h, 6v, 3h), 5v, green, 5v, {(5h, 5h)}, {(4v, 4h, 4v, 4h)}, (3v, 6h, 6h))
({(6v, 4h, 8v, 6h), (3v, 7h, 5v, 9h)}, (?, ?, ?, ?), ?, ?, ?, ?, ?, (?, ?, ?))