e50d258f ​

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