941d9a10 ​

input = fill 10v (fill 10h grey) |> fold rect #0
output = fill 10v (fill 10h grey) |> fold rect #1
(UList ((VInt, HInt, VInt, HInt), Color), UList ((VInt, HInt, VInt, HInt), Color))
({((9v, 9h, 10v, 10h), black), ((9v, 4h, 10v, 7h), black), ((9v, 1h, 10v, 2h), black), ((5v, 9h, 7v, 10h), black), ((5v, 1h, 7v, 2h), black), ((1v, 9h, 3v, 10h), black), ((1v, 4h, 3v, 7h), black), ((1v, 1h, 3v, 2h), black), ((5v, 4h, 7v, 7h), black)}, {((9v, 9h, 10v, 10h), green), ((9v, 4h, 10v, 7h), black), ((9v, 1h, 10v, 2h), black), ((5v, 9h, 7v, 10h), black), ((5v, 1h, 7v, 2h), black), ((1v, 9h, 3v, 10h), black), ((1v, 4h, 3v, 7h), black), ((1v, 1h, 3v, 2h), blue), ((5v, 4h, 7v, 7h), red)})
({((10v, 10h, 10v, 10h), black), ((10v, 5h, 10v, 8h), black), ((10v, 1h, 10v, 3h), black), ((8v, 10h, 8v, 10h), black), ((8v, 1h, 8v, 3h), black), ((5v, 10h, 6v, 10h), black), ((5v, 1h, 6v, 3h), black), ((3v, 10h, 3v, 10h), black), ((3v, 1h, 3v, 3h), black), ((1v, 10h, 1v, 10h), black), ((1v, 5h, 1v, 8h), black), ((1v, 1h, 1v, 3h), black), ((8v, 5h, 8v, 8h), black), ((5v, 5h, 6v, 8h), black), ((3v, 5h, 3v, 8h), black)}, {((10v, 10h, 10v, 10h), green), ((10v, 5h, 10v, 8h), black), ((10v, 1h, 10v, 3h), black), ((8v, 10h, 8v, 10h), black), ((8v, 1h, 8v, 3h), black), ((5v, 10h, 6v, 10h), black), ((5v, 1h, 6v, 3h), black), ((3v, 10h, 3v, 10h), black), ((3v, 1h, 3v, 3h), black), ((1v, 10h, 1v, 10h), black), ((1v, 5h, 1v, 8h), black), ((1v, 1h, 1v, 3h), blue), ((8v, 5h, 8v, 8h), black), ((5v, 5h, 6v, 8h), red), ((3v, 5h, 3v, 8h), black)})
({((8v, 10h, 10v, 10h), black), ((8v, 8h, 10v, 8h), black), ((8v, 6h, 10v, 6h), black), ((8v, 3h, 10v, 4h), black), ((8v, 1h, 10v, 1h), black), ((5v, 10h, 6v, 10h), black), ((5v, 1h, 6v, 1h), black), ((1v, 10h, 3v, 10h), black), ((1v, 8h, 3v, 8h), black), ((1v, 6h, 3v, 6h), black), ((1v, 3h, 3v, 4h), black), ((1v, 1h, 3v, 1h), black), ((5v, 8h, 6v, 8h), black), ((5v, 6h, 6v, 6h), black), ((5v, 3h, 6v, 4h), black)}, {((8v, 10h, 10v, 10h), green), ((8v, 8h, 10v, 8h), black), ((8v, 6h, 10v, 6h), black), ((8v, 3h, 10v, 4h), black), ((8v, 1h, 10v, 1h), black), ((5v, 10h, 6v, 10h), black), ((5v, 1h, 6v, 1h), black), ((1v, 10h, 3v, 10h), black), ((1v, 8h, 3v, 8h), black), ((1v, 6h, 3v, 6h), black), ((1v, 3h, 3v, 4h), black), ((1v, 1h, 3v, 1h), blue), ((5v, 8h, 6v, 8h), black), ((5v, 6h, 6v, 6h), red), ((5v, 3h, 6v, 4h), black)})
({((10v, 10h, 10v, 10h), black), ((10v, 8h, 10v, 8h), black), ((10v, 5h, 10v, 6h), black), ((10v, 3h, 10v, 3h), black), ((10v, 1h, 10v, 1h), black), ((8v, 10h, 8v, 10h), black), ((8v, 1h, 8v, 1h), black), ((6v, 10h, 6v, 10h), black), ((6v, 1h, 6v, 1h), black), ((3v, 10h, 4v, 10h), black), ((3v, 1h, 4v, 1h), black), ((1v, 10h, 1v, 10h), black), ((1v, 8h, 1v, 8h), black), ((1v, 5h, 1v, 6h), black), ((1v, 3h, 1v, 3h), black), ((1v, 1h, 1v, 1h), black), ((8v, 8h, 8v, 8h), black), ((8v, 5h, 8v, 6h), black), ((8v, 3h, 8v, 3h), black), ((6v, 8h, 6v, 8h), black), ((6v, 5h, 6v, 6h), black), ((6v, 3h, 6v, 3h), black), ((3v, 8h, 4v, 8h), black), ((3v, 5h, 4v, 6h), black), ((3v, 3h, 4v, 3h), black)}, ?)