54db823b ​

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))
([{((7v, 12h, 13v, 15h), green), ((6v, 1h, 11v, 3h), green), ((1v, 2h, 3v, 6h), green), ((11v, 5h, 13v, 9h), green), ((7v, 6h, 8v, 7h), green), ((2v, 8h, 5v, 11h), green)}, {((12v, 15h, 12v, 15h), brown), ((10v, 1h, 10v, 1h), brown), ((7v, 1h, 7v, 1h), brown), ((1v, 4h, 1v, 4h), brown), ((13v, 12h, 13v, 12h), brown), ((12v, 5h, 12v, 5h), brown), ((11v, 14h, 11v, 14h), brown), ((11v, 8h, 11v, 8h), brown), ((11v, 3h, 11v, 3h), brown), ((10v, 13h, 10v, 13h), brown), ((9v, 14h, 9v, 14h), brown), ((8v, 12h, 8v, 12h), brown), ((8v, 8h, 8v, 8h), brown), ((8v, 2h, 8v, 2h), brown), ((7v, 14h, 7v, 14h), brown), ((7v, 8h, 7v, 8h), green), ((7v, 7h, 7v, 7h), brown), ((6v, 3h, 6v, 3h), brown), ((4v, 8h, 4v, 8h), brown), ((3v, 11h, 3v, 11h), brown), ((3v, 5h, 3v, 5h), brown), ((3v, 2h, 3v, 2h), brown), ((2v, 9h, 2v, 9h), brown), ((12v, 7h, 12v, 7h), brown), ((4v, 10h, 4v, 10h), brown)}], [{((7v, 12h, 13v, 15h), green), ((6v, 1h, 11v, 3h), green), ((1v, 2h, 3v, 6h), green), ((11v, 5h, 13v, 9h), green), ((2v, 8h, 5v, 11h), green)}, {((12v, 15h, 12v, 15h), brown), ((10v, 1h, 10v, 1h), brown), ((7v, 1h, 7v, 1h), brown), ((1v, 4h, 1v, 4h), brown), ((13v, 12h, 13v, 12h), brown), ((12v, 5h, 12v, 5h), brown), ((11v, 14h, 11v, 14h), brown), ((11v, 8h, 11v, 8h), brown), ((11v, 3h, 11v, 3h), brown), ((10v, 13h, 10v, 13h), brown), ((9v, 14h, 9v, 14h), brown), ((8v, 12h, 8v, 12h), brown), ((8v, 2h, 8v, 2h), brown), ((7v, 14h, 7v, 14h), brown), ((6v, 3h, 6v, 3h), brown), ((4v, 8h, 4v, 8h), brown), ((3v, 11h, 3v, 11h), brown), ((3v, 4h, 3v, 4h), brown), ((3v, 2h, 3v, 2h), brown), ((2v, 9h, 2v, 9h), brown), ((12v, 7h, 12v, 7h), brown), ((4v, 10h, 4v, 10h), brown)}])
([{((3v, 2h, 5v, 4h), green)}, {((9v, 9h, 14v, 15h), green), ((1v, 2h, 2v, 4h), green), ((10v, 2h, 14v, 6h), green), ((7v, 4h, 8v, 5h), green), ((2v, 4h, 4v, 4h), brown), ((2v, 7h, 6v, 11h), green)}, {((14v, 15h, 14v, 15h), brown), ((14v, 5h, 14v, 5h), brown), ((13v, 11h, 13v, 11h), brown), ((11v, 12h, 11v, 13h), brown), ((11v, 10h, 11v, 10h), brown), ((8v, 3h, 8v, 3h), brown), ((7v, 4h, 7v, 4h), brown), ((7v, 3h, 7v, 3h), green), ((3v, 4h, 3v, 4h), green), ((3v, 3h, 3v, 3h), brown), ((2v, 2h, 2v, 2h), brown), ((12v, 3h, 12v, 3h), brown), ((3v, 10h, 3v, 10h), brown)}], [{((3v, 2h, 5v, 4h), green)}, {((9v, 9h, 14v, 15h), green), ((1v, 2h, 2v, 4h), green), ((10v, 2h, 14v, 6h), green), ((7v, 4h, 8v, 5h), green), ((2v, 4h, 4v, 4h), brown)}, {((14v, 15h, 14v, 15h), brown), ((14v, 5h, 14v, 5h), brown), ((13v, 11h, 13v, 11h), brown), ((11v, 12h, 11v, 13h), brown), ((11v, 10h, 11v, 10h), brown), ((8v, 3h, 8v, 3h), brown), ((7v, 4h, 7v, 4h), brown), ((7v, 3h, 7v, 3h), green), ((3v, 4h, 3v, 4h), green), ((3v, 3h, 3v, 3h), brown), ((2v, 2h, 2v, 2h), brown), ((12v, 3h, 12v, 3h), brown)}])
([{((8v, 1h, 11v, 5h), green), ((1v, 13h, 5v, 15h), green), ((10v, 8h, 14v, 11h), green), ((8v, 13h, 11v, 14h), green), ((3v, 8h, 6v, 11h), green), ((2v, 2h, 4v, 6h), green)}, {((4v, 15h, 4v, 15h), brown), ((14v, 11h, 14v, 11h), brown), ((12v, 14h, 12v, 14h), green), ((12v, 13h, 12v, 13h), brown), ((11v, 14h, 11v, 14h), brown), ((11v, 11h, 11v, 11h), brown), ((11v, 4h, 11v, 4h), brown), ((10v, 2h, 10v, 2h), brown), ((9v, 14h, 9v, 14h), brown), ((9v, 4h, 9v, 4h), brown), ((8v, 2h, 8v, 2h), brown), ((6v, 10h, 6v, 10h), brown), ((5v, 13h, 5v, 13h), brown), ((4v, 3h, 4v, 3h), brown), ((2v, 14h, 3v, 14h), brown), ((13v, 9h, 13v, 10h), brown), ((11v, 9h, 11v, 9h), brown), ((4v, 9h, 4v, 10h), brown), ((3v, 4h, 3v, 4h), brown)}], [{((8v, 1h, 11v, 5h), green), ((1v, 13h, 5v, 15h), green), ((10v, 8h, 14v, 11h), green), ((8v, 13h, 11v, 14h), green), ((3v, 8h, 6v, 11h), green)}, {((4v, 15h, 4v, 15h), brown), ((14v, 11h, 14v, 11h), brown), ((12v, 14h, 12v, 14h), green), ((12v, 13h, 12v, 13h), brown), ((11v, 14h, 11v, 14h), brown), ((11v, 11h, 11v, 11h), brown), ((11v, 4h, 11v, 4h), brown), ((10v, 2h, 10v, 2h), brown), ((9v, 14h, 9v, 14h), brown), ((9v, 4h, 9v, 4h), brown), ((8v, 2h, 8v, 2h), brown), ((6v, 10h, 6v, 10h), brown), ((5v, 13h, 5v, 13h), brown), ((2v, 14h, 3v, 14h), brown), ((13v, 9h, 13v, 10h), brown), ((11v, 9h, 11v, 9h), brown), ((4v, 9h, 4v, 10h), brown)}])
([{((2v, 11h, 5v, 15h), green), ((2v, 1h, 6v, 7h), green), ((9v, 2h, 13v, 5h), green), ((8v, 7h, 12v, 13h), green)}, {((4v, 15h, 4v, 15h), brown), ((2v, 15h, 2v, 15h), brown), ((12v, 2h, 12v, 2h), brown), ((10v, 5h, 11v, 5h), brown), ((6v, 3h, 6v, 3h), brown), ((5v, 5h, 5v, 5h), brown), ((4v, 12h, 4v, 12h), brown), ((4v, 4h, 4v, 4h), brown), ((4v, 2h, 4v, 2h), brown), ((3v, 6h, 3v, 6h), brown), ((2v, 13h, 2v, 13h), brown), ((2v, 3h, 2v, 3h), brown), ((12v, 4h, 12v, 4h), brown), ((11v, 10h, 11v, 10h), brown), ((10v, 8h, 10v, 8h), brown), ((10v, 3h, 10v, 3h), brown), ((9v, 12h, 9v, 12h), brown)}], [{((2v, 11h, 5v, 15h), green), ((2v, 1h, 6v, 7h), green), ((9v, 2h, 13v, 5h), green)}, {((4v, 15h, 4v, 15h), brown), ((2v, 15h, 2v, 15h), brown), ((12v, 2h, 12v, 2h), brown), ((10v, 5h, 11v, 5h), brown), ((6v, 3h, 6v, 3h), brown), ((5v, 5h, 5v, 5h), brown), ((4v, 12h, 4v, 12h), brown), ((4v, 4h, 4v, 4h), brown), ((4v, 2h, 4v, 2h), brown), ((3v, 6h, 3v, 6h), brown), ((2v, 13h, 2v, 13h), brown), ((2v, 3h, 2v, 3h), brown), ((12v, 4h, 12v, 4h), brown), ((10v, 3h, 10v, 3h), brown)}])
([{((11v, 13h, 15v, 15h), green), ((14v, 2h, 15v, 4h), green), ((13v, 1h, 14v, 2h), green), ((6v, 1h, 11v, 5h), green), ((1v, 10h, 6v, 14h), green), ((9v, 7h, 12v, 11h), green), ((2v, 3h, 4v, 8h), green)}, {((15v, 1h, 15v, 1h), brown), ((14v, 14h, 14v, 15h), brown), ((12v, 15h, 12v, 15h), brown), ((14v, 4h, 14v, 4h), brown), ((14v, 2h, 14v, 2h), brown), ((13v, 4h, 13v, 4h), green), ((13v, 3h, 13v, 3h), brown), ((10v, 3h, 10v, 3h), brown), ((9v, 9h, 9v, 10h), brown), ((9v, 4h, 9v, 4h), brown), ((9v, 2h, 9v, 2h), brown), ((7v, 4h, 7v, 4h), brown), ((7v, 2h, 7v, 2h), brown), ((6v, 12h, 6v, 12h), brown), ((4v, 8h, 4v, 8h), brown), ((2v, 11h, 2v, 11h), brown), ((2v, 7h, 2v, 7h), brown), ((11v, 10h, 11v, 10h), brown), ((11v, 8h, 11v, 8h), brown), ((3v, 4h, 3v, 4h), brown)}], ?)