c64f1187 ​

input = fill #0 (fill #1 black) |> fold (λr. rect ((r.1 + 1 - 1 | r.1, r.2 + 1 - 1 | r.2, r.1 + 1, r.2 + 1), grey)) #2 |> fold rect #3
output = fill 8v (fill #4 black) |> rect ((7v, #5.1, 8v, #5.2), #5.3) |> fold rect #6
(VInt, HInt, UList (VInt, HInt), UList ((VInt, HInt, VInt, HInt), Color), HInt, (HInt, HInt, Color), UList ((VInt, HInt, VInt, HInt), Color))
(18v, 20h, {(14v, 14h), (14v, 5h), (11v, 11h), (11v, 8h), (11v, 5h), (8v, 14h), (8v, 5h)}, {((3v, 17h, 3v, 18h), blue), ((2v, 17h, 3v, 17h), blue), ((2v, 8h, 3v, 8h), blue), ((2v, 7h, 2v, 8h), blue), ((2v, 2h, 2v, 3h), blue), ((2v, 2h, 3v, 2h), blue), ((1v, 16h, 1v, 16h), teal), ((1v, 11h, 1v, 11h), yellow), ((1v, 6h, 1v, 6h), green), ((1v, 1h, 1v, 1h), red), ((15v, 15h, 15v, 15h), teal), ((15v, 6h, 15v, 6h), green), ((14v, 11h, 15v, 12h), grey), ((14v, 8h, 15v, 9h), grey), ((12v, 12h, 12v, 12h), green), ((12v, 9h, 12v, 9h), red), ((12v, 6h, 12v, 6h), green), ((11v, 14h, 12v, 15h), grey), ((9v, 15h, 9v, 15h), yellow), ((9v, 6h, 9v, 6h), red), ((8v, 11h, 9v, 12h), grey), ((8v, 8h, 9v, 9h), grey), ((2v, 12h, 3v, 13h), blue)}, 11h, (1h, 2h, green), {((8v, 10h, 8v, 11h), teal), ((7v, 10h, 8v, 10h), teal), ((4v, 2h, 5v, 2h), green), ((4v, 1h, 4v, 2h), green), ((1v, 1h, 1v, 2h), red), ((1v, 1h, 2v, 1h), red), ((4v, 8h, 5v, 8h), green), ((4v, 7h, 4v, 8h), green), ((4v, 4h, 4v, 5h), red), ((4v, 4h, 5v, 4h), red), ((8v, 1h, 8v, 1h), black), ((1v, 10h, 2v, 11h), yellow)})
(17v, 18h, {(14v, 15h), (14v, 12h), (14v, 9h), (14v, 6h), (14v, 3h), (11v, 3h), (8v, 15h), (8v, 9h), (8v, 6h), (8v, 3h)}, {((3v, 12h, 3v, 13h), blue), ((3v, 12h, 4v, 12h), blue), ((3v, 9h, 4v, 9h), blue), ((3v, 8h, 3v, 9h), blue), ((15v, 16h, 15v, 16h), orange), ((15v, 13h, 15v, 13h), green), ((15v, 10h, 15v, 10h), green), ((15v, 7h, 15v, 7h), red), ((15v, 4h, 15v, 4h), red), ((12v, 4h, 12v, 4h), red), ((11v, 15h, 12v, 16h), grey), ((11v, 12h, 12v, 13h), grey), ((11v, 9h, 12v, 10h), grey), ((11v, 6h, 12v, 7h), grey), ((9v, 16h, 9v, 16h), red), ((9v, 10h, 9v, 10h), orange), ((9v, 7h, 9v, 7h), green), ((9v, 4h, 9v, 4h), green), ((8v, 12h, 9v, 13h), grey), ((3v, 4h, 4v, 5h), blue), ((2v, 11h, 2v, 11h), orange), ((2v, 7h, 2v, 7h), green), ((2v, 3h, 2v, 3h), red)}, 14h, (13h, 14h, orange), {((7v, 11h, 8v, 11h), green), ((7v, 10h, 7v, 11h), green), ((7v, 8h, 8v, 8h), green), ((7v, 7h, 7v, 8h), green), ((1v, 7h, 1v, 8h), orange), ((1v, 7h, 2v, 7h), orange), ((1v, 5h, 2v, 5h), green), ((1v, 4h, 1v, 5h), green), ((1v, 2h, 2v, 2h), green), ((1v, 1h, 1v, 2h), green), ((8v, 14h, 8v, 14h), black), ((7v, 4h, 8v, 5h), red), ((7v, 1h, 8v, 2h), red), ((4v, 1h, 5v, 2h), red), ((1v, 13h, 2v, 14h), red)})
(20v, 18h, {(17v, 11h), (17v, 2h), (14v, 5h), (14v, 2h), (11v, 8h), (11v, 5h), (8v, 11h), (8v, 8h), (8v, 5h), (8v, 2h)}, {((4v, 15h, 4v, 16h), blue), ((3v, 16h, 4v, 16h), blue), ((3v, 7h, 3v, 8h), blue), ((3v, 7h, 4v, 7h), blue), ((3v, 4h, 4v, 4h), blue), ((3v, 3h, 3v, 4h), blue), ((18v, 12h, 18v, 12h), teal), ((18v, 3h, 18v, 3h), yellow), ((17v, 8h, 18v, 9h), grey), ((17v, 5h, 18v, 6h), grey), ((15v, 6h, 15v, 6h), green), ((15v, 3h, 15v, 3h), yellow), ((14v, 11h, 15v, 12h), grey), ((14v, 8h, 15v, 9h), grey), ((12v, 9h, 12v, 9h), green), ((12v, 6h, 12v, 6h), green), ((11v, 11h, 12v, 12h), grey), ((11v, 2h, 12v, 3h), grey), ((9v, 12h, 9v, 12h), teal), ((9v, 9h, 9v, 9h), red), ((9v, 6h, 9v, 6h), red), ((9v, 3h, 9v, 3h), red), ((3v, 11h, 4v, 12h), blue), ((2v, 14h, 2v, 14h), yellow), ((2v, 10h, 2v, 10h), teal), ((2v, 6h, 2v, 6h), red), ((2v, 2h, 2v, 2h), green)}, ?, (?, ?, ?), ?)