ef26cbf6 ​

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