1e81d6f9 ​

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