e9ac8c9e ​

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