6d0160f0 ​

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