Appearance
09629e4f ​
arc
let g: OList OList OList OList Color
let input = fill 11 (fill 11 grey)
|> fold (λ(r, i).
fold (λ(c, j).
grid ((i, j) * 4 - 3) c
) (index r)
) (index g)
let output = fill 11 (fill 11 grey)
|> fold (λ(r, i).
fold (λ(c, j).
grid ((i, j) * 4 - 3) (fill 3 (fill 3 c))
) (index r)
) (index (find (λg. len (group id (flat g)) == 5) (flat g)))composer
input = fill 11v (fill 11h grey) |> fold (λr. rect (r, black)) #0 |> fold rect #1
output = fill 11v (fill 11h grey) |> fold (λr. rect ((r.2 + 2 - 2 | r.2, r.3 + 2 - 2 | r.3, r.2 + 2, r.3 + 2), r.1)) #2
(UList (VInt, HInt, VInt, HInt), UList ((VInt, HInt, VInt, HInt), Color), UList (Color, VInt, HInt))
({(10v, 2h, 11v, 3h), (1v, 9h, 3v, 10h), (1v, 2h, 3v, 3h), (9v, 9h, 10v, 10h), (9v, 5h, 9v, 7h), (5v, 9h, 7v, 9h), (5v, 7h, 7v, 7h), (5v, 3h, 7v, 3h), (2v, 6h, 3v, 7h)}, {((11v, 11h, 11v, 11h), yellow), ((11v, 10h, 11v, 10h), green), ((11v, 9h, 11v, 9h), red), ((11v, 7h, 11v, 7h), black), ((11v, 6h, 11v, 6h), green), ((11v, 5h, 11v, 5h), fuschia), ((11v, 3h, 11v, 3h), yellow), ((11v, 1h, 11v, 1h), teal), ((10v, 11h, 10v, 11h), teal), ((10v, 1h, 10v, 1h), red), ((9v, 11h, 9v, 11h), black), ((9v, 1h, 9v, 1h), black), ((7v, 11h, 7v, 11h), red), ((7v, 1h, 7v, 1h), fuschia), ((6v, 10h, 6v, 11h), black), ((6v, 1h, 6v, 2h), black), ((5v, 11h, 5v, 11h), teal), ((5v, 1h, 5v, 1h), green), ((3v, 11h, 3v, 11h), red), ((3v, 1h, 3v, 1h), fuschia), ((2v, 11h, 2v, 11h), fuschia), ((2v, 1h, 2v, 1h), black), ((1v, 11h, 1v, 11h), yellow), ((1v, 7h, 1v, 7h), red), ((1v, 6h, 1v, 6h), fuschia), ((1v, 5h, 1v, 5h), black), ((1v, 1h, 1v, 1h), red), ((10v, 7h, 10v, 7h), teal), ((10v, 6h, 10v, 6h), black), ((10v, 5h, 10v, 5h), yellow), ((9v, 10h, 9v, 10h), fuschia), ((9v, 6h, 9v, 6h), red), ((9v, 3h, 9v, 3h), fuschia), ((9v, 2h, 9v, 2h), green), ((7v, 10h, 7v, 10h), green), ((7v, 6h, 7v, 6h), teal), ((7v, 5h, 7v, 5h), green), ((7v, 2h, 7v, 2h), red), ((6v, 9h, 6v, 9h), fuschia), ((6v, 7h, 6v, 7h), yellow), ((6v, 5h, 6v, 6h), black), ((6v, 3h, 6v, 3h), yellow), ((5v, 10h, 5v, 10h), yellow), ((5v, 6h, 5v, 6h), red), ((5v, 5h, 5v, 5h), fuschia), ((5v, 2h, 5v, 2h), teal), ((3v, 9h, 3v, 9h), teal), ((3v, 5h, 3v, 5h), green), ((2v, 9h, 2v, 9h), green), ((2v, 7h, 2v, 7h), teal), ((2v, 5h, 2v, 5h), yellow), ((2v, 3h, 2v, 3h), green), ((2v, 2h, 2v, 2h), yellow)}, {(black, 9v, 9h), (black, 9v, 5h), (fuschia, 9v, 1h), (green, 5v, 9h), (black, 5v, 1h), (black, 1v, 9h), (black, 1v, 5h), (red, 1v, 1h), (yellow, 5v, 5h)})
({(9v, 5h, 11v, 5h), (9v, 10h, 10v, 11h), (6v, 10h, 7v, 11h), (5v, 1h, 7v, 2h), (1v, 9h, 1v, 11h), (1v, 7h, 3v, 7h), (1v, 1h, 2v, 2h), (5v, 5h, 6v, 6h)}, {((11v, 11h, 11v, 11h), black), ((11v, 10h, 11v, 10h), yellow), ((11v, 9h, 11v, 9h), fuschia), ((11v, 7h, 11v, 7h), fuschia), ((11v, 6h, 11v, 6h), green), ((11v, 2h, 11v, 3h), black), ((11v, 1h, 11v, 1h), red), ((10v, 11h, 10v, 11h), green), ((10v, 1h, 10v, 1h), black), ((9v, 1h, 9v, 1h), green), ((7v, 11h, 7v, 11h), red), ((7v, 1h, 7v, 1h), green), ((5v, 11h, 5v, 11h), yellow), ((5v, 1h, 5v, 1h), yellow), ((3v, 11h, 3v, 11h), teal), ((3v, 1h, 3v, 1h), yellow), ((2v, 11h, 2v, 11h), green), ((1v, 10h, 1v, 10h), fuschia), ((1v, 6h, 1v, 6h), fuschia), ((1v, 5h, 1v, 5h), yellow), ((1v, 3h, 1v, 3h), green), ((1v, 1h, 1v, 1h), red), ((10v, 9h, 10v, 9h), teal), ((10v, 6h, 10v, 7h), black), ((10v, 5h, 10v, 5h), red), ((10v, 3h, 10v, 3h), yellow), ((10v, 2h, 10v, 2h), teal), ((9v, 9h, 9v, 9h), red), ((9v, 7h, 9v, 7h), yellow), ((9v, 6h, 9v, 6h), teal), ((9v, 3h, 9v, 3h), black), ((9v, 2h, 9v, 2h), fuschia), ((7v, 9h, 7v, 9h), teal), ((7v, 7h, 7v, 7h), fuschia), ((7v, 6h, 7v, 6h), black), ((7v, 5h, 7v, 5h), yellow), ((7v, 3h, 7v, 3h), fuschia), ((6v, 9h, 6v, 9h), green), ((6v, 7h, 6v, 7h), black), ((6v, 3h, 6v, 3h), red), ((5v, 10h, 5v, 10h), fuschia), ((5v, 9h, 5v, 9h), black), ((5v, 7h, 5v, 7h), red), ((5v, 3h, 5v, 3h), teal), ((3v, 9h, 3v, 9h), red), ((3v, 6h, 3v, 6h), teal), ((3v, 5h, 3v, 5h), green), ((3v, 3h, 3v, 3h), black), ((3v, 2h, 3v, 2h), fuschia), ((2v, 10h, 3v, 10h), black), ((2v, 9h, 2v, 9h), yellow), ((2v, 7h, 2v, 7h), red), ((2v, 5h, 2v, 6h), black), ((2v, 3h, 2v, 3h), teal), ((6v, 6h, 6v, 6h), green)}, {(fuschia, 9v, 9h), (black, 9v, 5h), (yellow, 9v, 1h), (black, 5v, 9h), (black, 5v, 1h), (red, 1v, 9h), (black, 1v, 5h), (black, 1v, 1h), (green, 5v, 5h)})
({(9v, 3h, 11v, 3h), (5v, 11h, 7v, 11h), (1v, 9h, 3v, 10h), (1v, 5h, 3v, 5h), (1v, 1h, 1v, 3h), (7v, 5h, 7v, 7h), (5v, 3h, 7v, 3h)}, {((11v, 11h, 11v, 11h), fuschia), ((11v, 10h, 11v, 10h), black), ((11v, 9h, 11v, 9h), yellow), ((11v, 6h, 11v, 7h), black), ((11v, 5h, 11v, 5h), red), ((11v, 2h, 11v, 2h), yellow), ((11v, 1h, 11v, 1h), teal), ((10v, 11h, 10v, 11h), black), ((10v, 1h, 10v, 2h), black), ((9v, 11h, 9v, 11h), green), ((9v, 1h, 9v, 1h), fuschia), ((7v, 1h, 7v, 1h), green), ((6v, 11h, 6v, 11h), red), ((6v, 1h, 6v, 1h), yellow), ((5v, 1h, 5v, 1h), black), ((3v, 11h, 3v, 11h), yellow), ((3v, 1h, 3v, 1h), black), ((2v, 11h, 2v, 11h), teal), ((2v, 1h, 2v, 1h), fuschia), ((1v, 11h, 1v, 11h), red), ((1v, 10h, 1v, 10h), fuschia), ((1v, 7h, 1v, 7h), green), ((1v, 6h, 1v, 6h), fuschia), ((1v, 2h, 1v, 2h), green), ((10v, 10h, 10v, 10h), teal), ((10v, 9h, 10v, 9h), red), ((10v, 7h, 10v, 7h), yellow), ((10v, 6h, 10v, 6h), fuschia), ((10v, 3h, 10v, 3h), red), ((9v, 9h, 9v, 10h), black), ((9v, 7h, 9v, 7h), black), ((9v, 6h, 9v, 6h), green), ((9v, 5h, 10v, 5h), black), ((9v, 2h, 9v, 2h), green), ((7v, 10h, 7v, 10h), fuschia), ((7v, 9h, 7v, 9h), teal), ((7v, 6h, 7v, 6h), teal), ((7v, 2h, 7v, 2h), fuschia), ((6v, 9h, 6v, 10h), black), ((6v, 7h, 6v, 7h), fuschia), ((6v, 5h, 6v, 5h), red), ((6v, 3h, 6v, 3h), teal), ((6v, 2h, 6v, 2h), black), ((5v, 10h, 5v, 10h), yellow), ((5v, 9h, 5v, 9h), green), ((5v, 7h, 5v, 7h), green), ((5v, 6h, 6v, 6h), black), ((5v, 5h, 5v, 5h), yellow), ((5v, 2h, 5v, 2h), red), ((3v, 9h, 3v, 9h), green), ((3v, 6h, 3v, 6h), yellow), ((3v, 3h, 3v, 3h), teal), ((3v, 2h, 3v, 2h), red), ((2v, 7h, 3v, 7h), black), ((2v, 6h, 2v, 6h), teal), ((2v, 5h, 2v, 5h), red), ((2v, 3h, 2v, 3h), yellow), ((2v, 2h, 2v, 2h), black)}, {(black, 9v, 9h), (black, 9v, 5h), (red, 9v, 1h), (yellow, 5v, 9h), (black, 5v, 1h), (black, 1v, 9h), (green, 1v, 5h), (black, 1v, 1h), (fuschia, 5v, 5h)})
({(10v, 9h, 11v, 10h), (10v, 5h, 11v, 6h), (9v, 1h, 9v, 3h), (5v, 9h, 7v, 11h), (2v, 1h, 3v, 3h), (1v, 10h, 3v, 11h), (5v, 5h, 6v, 6h), (3v, 5h, 3v, 7h)}, {((11v, 11h, 11v, 11h), teal), ((11v, 9h, 11v, 9h), red), ((11v, 7h, 11v, 7h), yellow), ((11v, 3h, 11v, 3h), black), ((11v, 2h, 11v, 2h), red), ((11v, 1h, 11v, 1h), yellow), ((10v, 11h, 10v, 11h), yellow), ((10v, 1h, 10v, 1h), green), ((9v, 11h, 9v, 11h), black), ((6v, 11h, 6v, 11h), fuschia), ((5v, 1h, 7v, 1h), black), ((3v, 1h, 3v, 1h), fuschia), ((2v, 11h, 2v, 11h), green), ((1v, 11h, 1v, 11h), teal), ((1v, 9h, 1v, 9h), red), ((1v, 7h, 1v, 7h), black), ((1v, 6h, 1v, 6h), fuschia), ((1v, 5h, 1v, 5h), yellow), ((1v, 3h, 1v, 3h), yellow), ((1v, 2h, 1v, 2h), teal), ((1v, 1h, 1v, 1h), green), ((10v, 7h, 10v, 7h), green), ((10v, 6h, 10v, 6h), teal), ((10v, 3h, 10v, 3h), teal), ((10v, 2h, 10v, 2h), black), ((9v, 10h, 9v, 10h), fuschia), ((9v, 9h, 9v, 9h), green), ((9v, 7h, 9v, 7h), black), ((9v, 6h, 9v, 6h), red), ((9v, 5h, 9v, 5h), fuschia), ((9v, 2h, 9v, 2h), fuschia), ((7v, 10h, 7v, 10h), green), ((7v, 7h, 7v, 7h), black), ((7v, 6h, 7v, 6h), fuschia), ((7v, 5h, 7v, 5h), red), ((7v, 3h, 7v, 3h), black), ((7v, 2h, 7v, 2h), green), ((6v, 10h, 6v, 10h), red), ((6v, 7h, 6v, 7h), yellow), ((6v, 3h, 6v, 3h), fuschia), ((6v, 2h, 6v, 2h), teal), ((5v, 10h, 5v, 10h), yellow), ((5v, 7h, 5v, 7h), green), ((5v, 5h, 5v, 5h), teal), ((5v, 3h, 5v, 3h), red), ((5v, 2h, 5v, 2h), yellow), ((3v, 9h, 3v, 9h), yellow), ((3v, 6h, 3v, 6h), red), ((3v, 2h, 3v, 2h), red), ((2v, 9h, 2v, 9h), fuschia), ((2v, 7h, 2v, 7h), green), ((2v, 6h, 2v, 6h), black), ((2v, 5h, 2v, 5h), teal)}, {(black, 9v, 9h), (green, 9v, 5h), (black, 9v, 1h), (fuschia, 5v, 9h), (black, 5v, 1h), (black, 1v, 9h), (yellow, 1v, 5h), (black, 1v, 1h), (red, 5v, 5h)})
({(9v, 5h, 11v, 6h), (10v, 10h, 11v, 11h), (9v, 1h, 11v, 3h), (7v, 1h, 7v, 3h), (6v, 9h, 7v, 11h), (2v, 1h, 3v, 2h), (1v, 9h, 1v, 11h), (1v, 5h, 1v, 7h), (5v, 5h, 5v, 7h)}, {((11v, 9h, 11v, 9h), green), ((11v, 7h, 11v, 7h), teal), ((11v, 5h, 11v, 5h), red), ((10v, 11h, 10v, 11h), fuschia), ((9v, 11h, 9v, 11h), teal), ((6v, 11h, 6v, 11h), yellow), ((6v, 1h, 6v, 1h), green), ((5v, 11h, 5v, 11h), red), ((5v, 1h, 5v, 1h), red), ((3v, 11h, 3v, 11h), black), ((3v, 1h, 3v, 1h), red), ((2v, 11h, 2v, 11h), red), ((1v, 10h, 1v, 10h), yellow), ((1v, 6h, 1v, 6h), green), ((1v, 3h, 1v, 3h), black), ((1v, 2h, 1v, 2h), yellow), ((1v, 1h, 1v, 1h), fuschia), ((10v, 9h, 10v, 9h), yellow), ((10v, 7h, 10v, 7h), green), ((10v, 3h, 10v, 3h), green), ((10v, 2h, 10v, 2h), fuschia), ((9v, 10h, 9v, 10h), red), ((9v, 9h, 9v, 9h), black), ((9v, 7h, 9v, 7h), yellow), ((9v, 6h, 9v, 6h), fuschia), ((9v, 3h, 9v, 3h), yellow), ((9v, 2h, 9v, 2h), red), ((7v, 9h, 7v, 9h), teal), ((7v, 7h, 7v, 7h), fuschia), ((7v, 5h, 7v, 6h), black), ((7v, 2h, 7v, 2h), teal), ((6v, 7h, 6v, 7h), red), ((6v, 5h, 6v, 5h), teal), ((6v, 3h, 6v, 3h), fuschia), ((6v, 2h, 6v, 2h), yellow), ((5v, 10h, 5v, 10h), fuschia), ((5v, 9h, 5v, 9h), green), ((5v, 6h, 5v, 6h), green), ((5v, 2h, 5v, 3h), black), ((3v, 10h, 3v, 10h), green), ((3v, 9h, 3v, 9h), fuschia), ((3v, 6h, 3v, 7h), black), ((3v, 5h, 3v, 5h), yellow), ((3v, 3h, 3v, 3h), teal), ((2v, 10h, 2v, 10h), black), ((2v, 9h, 2v, 9h), teal), ((2v, 7h, 2v, 7h), fuschia), ((2v, 6h, 2v, 6h), teal), ((2v, 5h, 2v, 5h), red), ((2v, 3h, 2v, 3h), green), ((6v, 6h, 6v, 6h), yellow)}, ?)