d282b262 ​

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