fcb5c309 ​

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