60a26a3e ​

input = fill #0 (fill #1 black) |> fold (λr. rect ((#8 - 1 | #8 + 1 - 2, r, #8 + 1, r), red)) #9 |> fold (λr. rect ((r - 1, #10, r + 1, #10), red)) #11 |> fold (λr. rect ((r - 1, #12, r + 1, #12), red)) #13 |> fold (λr. rect ((#2, r | r + 2 - 2, #2, r + 2), red)) #3 |> fold (λr. rect ((#4, r | r + 2 - 2, #4, r + 2), red)) #5 |> fold (λr. rect ((r, #6 - 2, r, #6), red)) #7 |> fold (λr. rect ((#8, r, #8, r), black)) #9 |> fold (λr. rect ((r, #10, r, #10), black)) #11 |> fold (λr. rect ((r, #12, r, #12), black)) #13
output = fill #0 (fill #1 black) |> fold (λr. rect ((r.1, r.2, r.3, r.2), red)) #14 |> fold (λr. rect ((#2, r | r + 2 - 2, #2, r + 2), red)) #3 |> fold (λr. rect ((#15, r | r + 2 - 2, #16, r + 2), red)) #17 |> fold (λr. rect ((#8, r | r + 2 - 2, #8, r + 2), red)) #18 |> fold (λr. rect ((#19, r.1, #20, r.2), blue)) #21 |> fold (λr. rect ((r.1, #22, r.2, #23), blue)) #24 |> fold (λr. rect (r, black)) #25
(VInt, HInt, VInt, UList HInt, VInt, UList HInt, HInt, UList VInt, VInt, UList HInt, HInt, UList VInt, HInt, UList VInt, UList (VInt, HInt, VInt), VInt, VInt, UList HInt, UList HInt, VInt, VInt, UList (HInt, HInt), HInt, HInt, UList (VInt, VInt), UList (VInt, HInt, VInt, HInt))
(10v, 15h, 6v, {10h}, 2v, {10h}, 5h, {2v}, 2v, {11h}, 4h, {2v}, 11h, {6v}, {(1v, 11h, 7v), (1v, 4h, 3v)}, 2v, 2v, {10h}, {3h}, 4v, 4v, {(11h, 11h)}, 6h, 9h, {(2v, 2v)}, {(1v, 5h, 1v, 10h), (2v, 11h, 2v, 11h), (2v, 4h, 2v, 4h), (6v, 11h, 6v, 11h)})
(14v, 16h, 11v, {2h}, 4v, {13h, 8h, 3h}, 10h, {10v}, 4v, {14h, 9h, 4h}, 3h, {11v}, 9h, {10v}, {(10v, 3h, 12v), (9v, 9h, 11v), (3v, 14h, 5v), (3v, 9h, 5v), (3v, 4h, 5v)}, 10v, 10v, {8h}, {13h, 8h, 3h}, 4v, 4v, {(11h, 12h), (6h, 7h)}, 9h, 9h, {(6v, 8v)}, {(11v, 3h, 11v, 3h), (10v, 9h, 10v, 9h), (4v, 14h, 4v, 14h), (4v, 9h, 4v, 9h), (4v, 4h, 4v, 4h)})
(12v, 15h, 10v, {11h, 4h}, 5v, {11h, 4h}, 10h, {2v}, 2v, {9h}, 12h, {10v, 5v}, 5h, {10v, 5v}, {(1v, 9h, 3v), (9v, 12h, 11v), (9v, 5h, 11v), (4v, 12h, 6v), (4v, 5h, 6v)}, 5v, 5v, {11h, 4h}, {8h}, 7v, 8v, {(12h, 12h), (5h, 5h)}, 7h, 10h, {(10v, 10v), (5v, 5v)}, {(2v, 9h, 2v, 9h), (10v, 12h, 10v, 12h), (10v, 5h, 10v, 5h), (6v, 6h, 9v, 11h), (5v, 12h, 5v, 12h), (5v, 5h, 5v, 5h)})
(9v, 15h, 7v, {10h}, 5v, {7h}, 4h, {7v, 3v}, 7v, {11h}, 8h, {5v}, 3h, {7v, 3v}, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?)