2c608aff ​

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