42a15761 ​

input = fill #0 (fill #1 red) |> fold rect #2
output = fill #0 (fill #1 red) |> fold rect #3
(VInt, HInt, UList ((VInt, HInt, VInt, HInt), Color), UList ((VInt, HInt, VInt, HInt), Color))
(7v, 11h, {((1v, 8h, 7v, 8h), black), ((1v, 4h, 7v, 4h), black), ((6v, 10h, 6v, 10h), black), ((6v, 6h, 6v, 6h), black), ((4v, 10h, 4v, 10h), black), ((4v, 2h, 4v, 2h), black), ((2v, 10h, 2v, 10h), black), ((2v, 2h, 2v, 2h), black)}, {((1v, 8h, 7v, 8h), black), ((1v, 4h, 7v, 4h), black), ((6v, 10h, 6v, 10h), black), ((6v, 2h, 6v, 2h), black), ((4v, 10h, 4v, 10h), black), ((4v, 6h, 4v, 6h), black), ((2v, 10h, 2v, 10h), black), ((2v, 6h, 2v, 6h), black)})
(9v, 15h, {((1v, 12h, 9v, 12h), black), ((1v, 8h, 9v, 8h), black), ((1v, 4h, 9v, 4h), black), ((8v, 10h, 8v, 10h), black), ((8v, 2h, 8v, 2h), black), ((6v, 10h, 6v, 10h), black), ((6v, 6h, 6v, 6h), black), ((6v, 2h, 6v, 2h), black), ((4v, 14h, 4v, 14h), black), ((4v, 10h, 4v, 10h), black), ((4v, 6h, 4v, 6h), black), ((2v, 10h, 2v, 10h), black), ((2v, 6h, 2v, 6h), black)}, {((1v, 12h, 9v, 12h), black), ((1v, 8h, 9v, 8h), black), ((1v, 4h, 9v, 4h), black), ((8v, 14h, 8v, 14h), black), ((8v, 6h, 8v, 6h), black), ((6v, 14h, 6v, 14h), black), ((6v, 10h, 6v, 10h), black), ((6v, 6h, 6v, 6h), black), ((4v, 14h, 4v, 14h), black), ((4v, 10h, 4v, 10h), black), ((4v, 2h, 4v, 2h), black), ((2v, 14h, 2v, 14h), black), ((2v, 10h, 2v, 10h), black)})
(9v, 15h, {((1v, 12h, 9v, 12h), black), ((1v, 8h, 9v, 8h), black), ((1v, 4h, 9v, 4h), black), ((8v, 14h, 8v, 14h), black), ((8v, 6h, 8v, 6h), black), ((6v, 14h, 6v, 14h), black), ((6v, 10h, 6v, 10h), black), ((6v, 2h, 6v, 2h), black), ((4v, 14h, 4v, 14h), black), ((4v, 10h, 4v, 10h), black), ((4v, 6h, 4v, 6h), black), ((2v, 14h, 2v, 14h), black), ((2v, 6h, 2v, 6h), black)}, {((1v, 12h, 9v, 12h), black), ((1v, 8h, 9v, 8h), black), ((1v, 4h, 9v, 4h), black), ((8v, 14h, 8v, 14h), black), ((8v, 10h, 8v, 10h), black), ((6v, 14h, 6v, 14h), black), ((6v, 6h, 6v, 6h), black), ((6v, 2h, 6v, 2h), black), ((4v, 14h, 4v, 14h), black), ((4v, 10h, 4v, 10h), black), ((4v, 6h, 4v, 6h), black), ((2v, 14h, 2v, 14h), black), ((2v, 10h, 2v, 10h), black)})
(11v, 19h, {((1v, 16h, 11v, 16h), black), ((1v, 12h, 11v, 12h), black), ((1v, 8h, 11v, 8h), black), ((1v, 4h, 11v, 4h), black), ((10v, 18h, 10v, 18h), black), ((10v, 14h, 10v, 14h), black), ((10v, 2h, 10v, 2h), black), ((8v, 18h, 8v, 18h), black), ((8v, 14h, 8v, 14h), black), ((8v, 10h, 8v, 10h), black), ((8v, 6h, 8v, 6h), black), ((6v, 18h, 6v, 18h), black), ((6v, 14h, 6v, 14h), black), ((6v, 10h, 6v, 10h), black), ((6v, 2h, 6v, 2h), black), ((4v, 14h, 4v, 14h), black), ((2v, 18h, 2v, 18h), black), ((2v, 14h, 2v, 14h), black), ((2v, 10h, 2v, 10h), black)}, ?)