# C ← (
#   ⨬([0_0_0 0_0_0 0_0_0]
#   | [0_0_0 0_0_0 0_0_1]
#   | [1_0_0 0_0_0 0_0_1]
#   | [1_0_0 0_0_0 1_0_1]
#   | [1_0_0 0_1_0 1_0_1]
#   | [1_0_1 0_1_0 1_0_1]
#   | [1_0_1 0_1_0 1_1_1]
#   | [1_0_1 0_1_1 1_1_1]
#   | [1_0_1 1_1_1 1_1_1]
#   | [1_1_1 1_1_1 1_1_1]
#   ) ⌊×10
# ) ÷⊃⧻/+

C ← (
  ⨬([0_0 0_0]
  | [0_0 0_1]
  | [1_0 0_1]
  | [1_0 1_1]
  | [1_1 1_1]
  ) ⌊×5
) ÷⊃⧻/+

HalfTone ← (
  ↯△⟜(
    △⟜(⊜C⊸(▽⟜≡▽2°△ ↙2 ⌈÷2△))
    ⊂∩(↯⍜⊢÷₂)⊃(⊙≡⊢|⊙≡⊣)
    /⊟⊕∘⊸(◿2≡\+ ˜↯1△)
  )
)

GrayScale ← ≡₁(÷⊃⧻/+)

AntiAlias ← ⧈₃(÷⊃⧻/+)

# gen 12_12_3 0
Cats
GrayScale
HalfTone
AntiAlias
# (▽⟜≡▽10)