82819916 ​

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