29623171 ​

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