dc2aa30b ​

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