text:
module Text.Greek.SBLGNT.Col where

open import Data.List
open import Text.Greek.Bible
open import Text.Greek.Script
open import Text.Greek.Script.Unicode

ΠΡΟΣ-ΚΟΛΟΣΣΑΕΙΣ : List (Word)
ΠΡΟΣ-ΚΟΛΟΣΣΑΕΙΣ =
    word (Π ∷ α ∷ ῦ ∷ ∙λ ∷ ο ∷ ς ∷ []) "Col.1.1"
  ∷ word (ἀ ∷ π ∷ ό ∷ σ ∷ τ ∷ ο ∷ ∙λ ∷ ο ∷ ς ∷ []) "Col.1.1"
  ∷ word (Χ ∷ ρ ∷ ι ∷ σ ∷ τ ∷ ο ∷ ῦ ∷ []) "Col.1.1"
  ∷ word (Ἰ ∷ η ∷ σ ∷ ο ∷ ῦ ∷ []) "Col.1.1"
  ∷ word (δ ∷ ι ∷ ὰ ∷ []) "Col.1.1"
  ∷ word (θ ∷ ε ∷ ∙λ ∷ ή ∷ μ ∷ α ∷ τ ∷ ο ∷ ς ∷ []) "Col.1.1"
  ∷ word (θ ∷ ε ∷ ο ∷ ῦ ∷ []) "Col.1.1"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "Col.1.1"
  ∷ word (Τ ∷ ι ∷ μ ∷ ό ∷ θ ∷ ε ∷ ο ∷ ς ∷ []) "Col.1.1"
  ∷ word (ὁ ∷ []) "Col.1.1"
  ∷ word (ἀ ∷ δ ∷ ε ∷ ∙λ ∷ φ ∷ ὸ ∷ ς ∷ []) "Col.1.1"
  ∷ word (τ ∷ ο ∷ ῖ ∷ ς ∷ []) "Col.1.2"
  ∷ word (ἐ ∷ ν ∷ []) "Col.1.2"
  ∷ word (Κ ∷ ο ∷ ∙λ ∷ ο ∷ σ ∷ σ ∷ α ∷ ῖ ∷ ς ∷ []) "Col.1.2"
  ∷ word (ἁ ∷ γ ∷ ί ∷ ο ∷ ι ∷ ς ∷ []) "Col.1.2"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "Col.1.2"
  ∷ word (π ∷ ι ∷ σ ∷ τ ∷ ο ∷ ῖ ∷ ς ∷ []) "Col.1.2"
  ∷ word (ἀ ∷ δ ∷ ε ∷ ∙λ ∷ φ ∷ ο ∷ ῖ ∷ ς ∷ []) "Col.1.2"
  ∷ word (ἐ ∷ ν ∷ []) "Col.1.2"
  ∷ word (Χ ∷ ρ ∷ ι ∷ σ ∷ τ ∷ ῷ ∷ []) "Col.1.2"
  ∷ word (χ ∷ ά ∷ ρ ∷ ι ∷ ς ∷ []) "Col.1.2"
  ∷ word (ὑ ∷ μ ∷ ῖ ∷ ν ∷ []) "Col.1.2"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "Col.1.2"
  ∷ word (ε ∷ ἰ ∷ ρ ∷ ή ∷ ν ∷ η ∷ []) "Col.1.2"
  ∷ word (ἀ ∷ π ∷ ὸ ∷ []) "Col.1.2"
  ∷ word (θ ∷ ε ∷ ο ∷ ῦ ∷ []) "Col.1.2"
  ∷ word (π ∷ α ∷ τ ∷ ρ ∷ ὸ ∷ ς ∷ []) "Col.1.2"
  ∷ word (ἡ ∷ μ ∷ ῶ ∷ ν ∷ []) "Col.1.2"
  ∷ word (Ε ∷ ὐ ∷ χ ∷ α ∷ ρ ∷ ι ∷ σ ∷ τ ∷ ο ∷ ῦ ∷ μ ∷ ε ∷ ν ∷ []) "Col.1.3"
  ∷ word (τ ∷ ῷ ∷ []) "Col.1.3"
  ∷ word (θ ∷ ε ∷ ῷ ∷ []) "Col.1.3"
  ∷ word (π ∷ α ∷ τ ∷ ρ ∷ ὶ ∷ []) "Col.1.3"
  ∷ word (τ ∷ ο ∷ ῦ ∷ []) "Col.1.3"
  ∷ word (κ ∷ υ ∷ ρ ∷ ί ∷ ο ∷ υ ∷ []) "Col.1.3"
  ∷ word (ἡ ∷ μ ∷ ῶ ∷ ν ∷ []) "Col.1.3"
  ∷ word (Ἰ ∷ η ∷ σ ∷ ο ∷ ῦ ∷ []) "Col.1.3"
  ∷ word (Χ ∷ ρ ∷ ι ∷ σ ∷ τ ∷ ο ∷ ῦ ∷ []) "Col.1.3"
  ∷ word (π ∷ ά ∷ ν ∷ τ ∷ ο ∷ τ ∷ ε ∷ []) "Col.1.3"
  ∷ word (π ∷ ε ∷ ρ ∷ ὶ ∷ []) "Col.1.3"
  ∷ word (ὑ ∷ μ ∷ ῶ ∷ ν ∷ []) "Col.1.3"
  ∷ word (π ∷ ρ ∷ ο ∷ σ ∷ ε ∷ υ ∷ χ ∷ ό ∷ μ ∷ ε ∷ ν ∷ ο ∷ ι ∷ []) "Col.1.3"
  ∷ word (ἀ ∷ κ ∷ ο ∷ ύ ∷ σ ∷ α ∷ ν ∷ τ ∷ ε ∷ ς ∷ []) "Col.1.4"
  ∷ word (τ ∷ ὴ ∷ ν ∷ []) "Col.1.4"
  ∷ word (π ∷ ί ∷ σ ∷ τ ∷ ι ∷ ν ∷ []) "Col.1.4"
  ∷ word (ὑ ∷ μ ∷ ῶ ∷ ν ∷ []) "Col.1.4"
  ∷ word (ἐ ∷ ν ∷ []) "Col.1.4"
  ∷ word (Χ ∷ ρ ∷ ι ∷ σ ∷ τ ∷ ῷ ∷ []) "Col.1.4"
  ∷ word (Ἰ ∷ η ∷ σ ∷ ο ∷ ῦ ∷ []) "Col.1.4"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "Col.1.4"
  ∷ word (τ ∷ ὴ ∷ ν ∷ []) "Col.1.4"
  ∷ word (ἀ ∷ γ ∷ ά ∷ π ∷ η ∷ ν ∷ []) "Col.1.4"
  ∷ word (ἣ ∷ ν ∷ []) "Col.1.4"
  ∷ word (ἔ ∷ χ ∷ ε ∷ τ ∷ ε ∷ []) "Col.1.4"
  ∷ word (ε ∷ ἰ ∷ ς ∷ []) "Col.1.4"
  ∷ word (π ∷ ά ∷ ν ∷ τ ∷ α ∷ ς ∷ []) "Col.1.4"
  ∷ word (τ ∷ ο ∷ ὺ ∷ ς ∷ []) "Col.1.4"
  ∷ word (ἁ ∷ γ ∷ ί ∷ ο ∷ υ ∷ ς ∷ []) "Col.1.4"
  ∷ word (δ ∷ ι ∷ ὰ ∷ []) "Col.1.5"
  ∷ word (τ ∷ ὴ ∷ ν ∷ []) "Col.1.5"
  ∷ word (ἐ ∷ ∙λ ∷ π ∷ ί ∷ δ ∷ α ∷ []) "Col.1.5"
  ∷ word (τ ∷ ὴ ∷ ν ∷ []) "Col.1.5"
  ∷ word (ἀ ∷ π ∷ ο ∷ κ ∷ ε ∷ ι ∷ μ ∷ έ ∷ ν ∷ η ∷ ν ∷ []) "Col.1.5"
  ∷ word (ὑ ∷ μ ∷ ῖ ∷ ν ∷ []) "Col.1.5"
  ∷ word (ἐ ∷ ν ∷ []) "Col.1.5"
  ∷ word (τ ∷ ο ∷ ῖ ∷ ς ∷ []) "Col.1.5"
  ∷ word (ο ∷ ὐ ∷ ρ ∷ α ∷ ν ∷ ο ∷ ῖ ∷ ς ∷ []) "Col.1.5"
  ∷ word (ἣ ∷ ν ∷ []) "Col.1.5"
  ∷ word (π ∷ ρ ∷ ο ∷ η ∷ κ ∷ ο ∷ ύ ∷ σ ∷ α ∷ τ ∷ ε ∷ []) "Col.1.5"
  ∷ word (ἐ ∷ ν ∷ []) "Col.1.5"
  ∷ word (τ ∷ ῷ ∷ []) "Col.1.5"
  ∷ word (∙λ ∷ ό ∷ γ ∷ ῳ ∷ []) "Col.1.5"
  ∷ word (τ ∷ ῆ ∷ ς ∷ []) "Col.1.5"
  ∷ word (ἀ ∷ ∙λ ∷ η ∷ θ ∷ ε ∷ ί ∷ α ∷ ς ∷ []) "Col.1.5"
  ∷ word (τ ∷ ο ∷ ῦ ∷ []) "Col.1.5"
  ∷ word (ε ∷ ὐ ∷ α ∷ γ ∷ γ ∷ ε ∷ ∙λ ∷ ί ∷ ο ∷ υ ∷ []) "Col.1.5"
  ∷ word (τ ∷ ο ∷ ῦ ∷ []) "Col.1.6"
  ∷ word (π ∷ α ∷ ρ ∷ ό ∷ ν ∷ τ ∷ ο ∷ ς ∷ []) "Col.1.6"
  ∷ word (ε ∷ ἰ ∷ ς ∷ []) "Col.1.6"
  ∷ word (ὑ ∷ μ ∷ ᾶ ∷ ς ∷ []) "Col.1.6"
  ∷ word (κ ∷ α ∷ θ ∷ ὼ ∷ ς ∷ []) "Col.1.6"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "Col.1.6"
  ∷ word (ἐ ∷ ν ∷ []) "Col.1.6"
  ∷ word (π ∷ α ∷ ν ∷ τ ∷ ὶ ∷ []) "Col.1.6"
  ∷ word (τ ∷ ῷ ∷ []) "Col.1.6"
  ∷ word (κ ∷ ό ∷ σ ∷ μ ∷ ῳ ∷ []) "Col.1.6"
  ∷ word (ἐ ∷ σ ∷ τ ∷ ὶ ∷ ν ∷ []) "Col.1.6"
  ∷ word (κ ∷ α ∷ ρ ∷ π ∷ ο ∷ φ ∷ ο ∷ ρ ∷ ο ∷ ύ ∷ μ ∷ ε ∷ ν ∷ ο ∷ ν ∷ []) "Col.1.6"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "Col.1.6"
  ∷ word (α ∷ ὐ ∷ ξ ∷ α ∷ ν ∷ ό ∷ μ ∷ ε ∷ ν ∷ ο ∷ ν ∷ []) "Col.1.6"
  ∷ word (κ ∷ α ∷ θ ∷ ὼ ∷ ς ∷ []) "Col.1.6"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "Col.1.6"
  ∷ word (ἐ ∷ ν ∷ []) "Col.1.6"
  ∷ word (ὑ ∷ μ ∷ ῖ ∷ ν ∷ []) "Col.1.6"
  ∷ word (ἀ ∷ φ ∷ []) "Col.1.6"
  ∷ word (ἧ ∷ ς ∷ []) "Col.1.6"
  ∷ word (ἡ ∷ μ ∷ έ ∷ ρ ∷ α ∷ ς ∷ []) "Col.1.6"
  ∷ word (ἠ ∷ κ ∷ ο ∷ ύ ∷ σ ∷ α ∷ τ ∷ ε ∷ []) "Col.1.6"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "Col.1.6"
  ∷ word (ἐ ∷ π ∷ έ ∷ γ ∷ ν ∷ ω ∷ τ ∷ ε ∷ []) "Col.1.6"
  ∷ word (τ ∷ ὴ ∷ ν ∷ []) "Col.1.6"
  ∷ word (χ ∷ ά ∷ ρ ∷ ι ∷ ν ∷ []) "Col.1.6"
  ∷ word (τ ∷ ο ∷ ῦ ∷ []) "Col.1.6"
  ∷ word (θ ∷ ε ∷ ο ∷ ῦ ∷ []) "Col.1.6"
  ∷ word (ἐ ∷ ν ∷ []) "Col.1.6"
  ∷ word (ἀ ∷ ∙λ ∷ η ∷ θ ∷ ε ∷ ί ∷ ᾳ ∷ []) "Col.1.6"
  ∷ word (κ ∷ α ∷ θ ∷ ὼ ∷ ς ∷ []) "Col.1.7"
  ∷ word (ἐ ∷ μ ∷ ά ∷ θ ∷ ε ∷ τ ∷ ε ∷ []) "Col.1.7"
  ∷ word (ἀ ∷ π ∷ ὸ ∷ []) "Col.1.7"
  ∷ word (Ἐ ∷ π ∷ α ∷ φ ∷ ρ ∷ ᾶ ∷ []) "Col.1.7"
  ∷ word (τ ∷ ο ∷ ῦ ∷ []) "Col.1.7"
  ∷ word (ἀ ∷ γ ∷ α ∷ π ∷ η ∷ τ ∷ ο ∷ ῦ ∷ []) "Col.1.7"
  ∷ word (σ ∷ υ ∷ ν ∷ δ ∷ ο ∷ ύ ∷ ∙λ ∷ ο ∷ υ ∷ []) "Col.1.7"
  ∷ word (ἡ ∷ μ ∷ ῶ ∷ ν ∷ []) "Col.1.7"
  ∷ word (ὅ ∷ ς ∷ []) "Col.1.7"
  ∷ word (ἐ ∷ σ ∷ τ ∷ ι ∷ ν ∷ []) "Col.1.7"
  ∷ word (π ∷ ι ∷ σ ∷ τ ∷ ὸ ∷ ς ∷ []) "Col.1.7"
  ∷ word (ὑ ∷ π ∷ ὲ ∷ ρ ∷ []) "Col.1.7"
  ∷ word (ἡ ∷ μ ∷ ῶ ∷ ν ∷ []) "Col.1.7"
  ∷ word (δ ∷ ι ∷ ά ∷ κ ∷ ο ∷ ν ∷ ο ∷ ς ∷ []) "Col.1.7"
  ∷ word (τ ∷ ο ∷ ῦ ∷ []) "Col.1.7"
  ∷ word (Χ ∷ ρ ∷ ι ∷ σ ∷ τ ∷ ο ∷ ῦ ∷ []) "Col.1.7"
  ∷ word (ὁ ∷ []) "Col.1.8"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "Col.1.8"
  ∷ word (δ ∷ η ∷ ∙λ ∷ ώ ∷ σ ∷ α ∷ ς ∷ []) "Col.1.8"
  ∷ word (ἡ ∷ μ ∷ ῖ ∷ ν ∷ []) "Col.1.8"
  ∷ word (τ ∷ ὴ ∷ ν ∷ []) "Col.1.8"
  ∷ word (ὑ ∷ μ ∷ ῶ ∷ ν ∷ []) "Col.1.8"
  ∷ word (ἀ ∷ γ ∷ ά ∷ π ∷ η ∷ ν ∷ []) "Col.1.8"
  ∷ word (ἐ ∷ ν ∷ []) "Col.1.8"
  ∷ word (π ∷ ν ∷ ε ∷ ύ ∷ μ ∷ α ∷ τ ∷ ι ∷ []) "Col.1.8"
  ∷ word (Δ ∷ ι ∷ ὰ ∷ []) "Col.1.9"
  ∷ word (τ ∷ ο ∷ ῦ ∷ τ ∷ ο ∷ []) "Col.1.9"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "Col.1.9"
  ∷ word (ἡ ∷ μ ∷ ε ∷ ῖ ∷ ς ∷ []) "Col.1.9"
  ∷ word (ἀ ∷ φ ∷ []) "Col.1.9"
  ∷ word (ἧ ∷ ς ∷ []) "Col.1.9"
  ∷ word (ἡ ∷ μ ∷ έ ∷ ρ ∷ α ∷ ς ∷ []) "Col.1.9"
  ∷ word (ἠ ∷ κ ∷ ο ∷ ύ ∷ σ ∷ α ∷ μ ∷ ε ∷ ν ∷ []) "Col.1.9"
  ∷ word (ο ∷ ὐ ∷ []) "Col.1.9"
  ∷ word (π ∷ α ∷ υ ∷ ό ∷ μ ∷ ε ∷ θ ∷ α ∷ []) "Col.1.9"
  ∷ word (ὑ ∷ π ∷ ὲ ∷ ρ ∷ []) "Col.1.9"
  ∷ word (ὑ ∷ μ ∷ ῶ ∷ ν ∷ []) "Col.1.9"
  ∷ word (π ∷ ρ ∷ ο ∷ σ ∷ ε ∷ υ ∷ χ ∷ ό ∷ μ ∷ ε ∷ ν ∷ ο ∷ ι ∷ []) "Col.1.9"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "Col.1.9"
  ∷ word (α ∷ ἰ ∷ τ ∷ ο ∷ ύ ∷ μ ∷ ε ∷ ν ∷ ο ∷ ι ∷ []) "Col.1.9"
  ∷ word (ἵ ∷ ν ∷ α ∷ []) "Col.1.9"
  ∷ word (π ∷ ∙λ ∷ η ∷ ρ ∷ ω ∷ θ ∷ ῆ ∷ τ ∷ ε ∷ []) "Col.1.9"
  ∷ word (τ ∷ ὴ ∷ ν ∷ []) "Col.1.9"
  ∷ word (ἐ ∷ π ∷ ί ∷ γ ∷ ν ∷ ω ∷ σ ∷ ι ∷ ν ∷ []) "Col.1.9"
  ∷ word (τ ∷ ο ∷ ῦ ∷ []) "Col.1.9"
  ∷ word (θ ∷ ε ∷ ∙λ ∷ ή ∷ μ ∷ α ∷ τ ∷ ο ∷ ς ∷ []) "Col.1.9"
  ∷ word (α ∷ ὐ ∷ τ ∷ ο ∷ ῦ ∷ []) "Col.1.9"
  ∷ word (ἐ ∷ ν ∷ []) "Col.1.9"
  ∷ word (π ∷ ά ∷ σ ∷ ῃ ∷ []) "Col.1.9"
  ∷ word (σ ∷ ο ∷ φ ∷ ί ∷ ᾳ ∷ []) "Col.1.9"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "Col.1.9"
  ∷ word (σ ∷ υ ∷ ν ∷ έ ∷ σ ∷ ε ∷ ι ∷ []) "Col.1.9"
  ∷ word (π ∷ ν ∷ ε ∷ υ ∷ μ ∷ α ∷ τ ∷ ι ∷ κ ∷ ῇ ∷ []) "Col.1.9"
  ∷ word (π ∷ ε ∷ ρ ∷ ι ∷ π ∷ α ∷ τ ∷ ῆ ∷ σ ∷ α ∷ ι ∷ []) "Col.1.10"
  ∷ word (ἀ ∷ ξ ∷ ί ∷ ω ∷ ς ∷ []) "Col.1.10"
  ∷ word (τ ∷ ο ∷ ῦ ∷ []) "Col.1.10"
  ∷ word (κ ∷ υ ∷ ρ ∷ ί ∷ ο ∷ υ ∷ []) "Col.1.10"
  ∷ word (ε ∷ ἰ ∷ ς ∷ []) "Col.1.10"
  ∷ word (π ∷ ᾶ ∷ σ ∷ α ∷ ν ∷ []) "Col.1.10"
  ∷ word (ἀ ∷ ρ ∷ ε ∷ σ ∷ κ ∷ ε ∷ ί ∷ α ∷ ν ∷ []) "Col.1.10"
  ∷ word (ἐ ∷ ν ∷ []) "Col.1.10"
  ∷ word (π ∷ α ∷ ν ∷ τ ∷ ὶ ∷ []) "Col.1.10"
  ∷ word (ἔ ∷ ρ ∷ γ ∷ ῳ ∷ []) "Col.1.10"
  ∷ word (ἀ ∷ γ ∷ α ∷ θ ∷ ῷ ∷ []) "Col.1.10"
  ∷ word (κ ∷ α ∷ ρ ∷ π ∷ ο ∷ φ ∷ ο ∷ ρ ∷ ο ∷ ῦ ∷ ν ∷ τ ∷ ε ∷ ς ∷ []) "Col.1.10"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "Col.1.10"
  ∷ word (α ∷ ὐ ∷ ξ ∷ α ∷ ν ∷ ό ∷ μ ∷ ε ∷ ν ∷ ο ∷ ι ∷ []) "Col.1.10"
  ∷ word (τ ∷ ῇ ∷ []) "Col.1.10"
  ∷ word (ἐ ∷ π ∷ ι ∷ γ ∷ ν ∷ ώ ∷ σ ∷ ε ∷ ι ∷ []) "Col.1.10"
  ∷ word (τ ∷ ο ∷ ῦ ∷ []) "Col.1.10"
  ∷ word (θ ∷ ε ∷ ο ∷ ῦ ∷ []) "Col.1.10"
  ∷ word (ἐ ∷ ν ∷ []) "Col.1.11"
  ∷ word (π ∷ ά ∷ σ ∷ ῃ ∷ []) "Col.1.11"
  ∷ word (δ ∷ υ ∷ ν ∷ ά ∷ μ ∷ ε ∷ ι ∷ []) "Col.1.11"
  ∷ word (δ ∷ υ ∷ ν ∷ α ∷ μ ∷ ο ∷ ύ ∷ μ ∷ ε ∷ ν ∷ ο ∷ ι ∷ []) "Col.1.11"
  ∷ word (κ ∷ α ∷ τ ∷ ὰ ∷ []) "Col.1.11"
  ∷ word (τ ∷ ὸ ∷ []) "Col.1.11"
  ∷ word (κ ∷ ρ ∷ ά ∷ τ ∷ ο ∷ ς ∷ []) "Col.1.11"
  ∷ word (τ ∷ ῆ ∷ ς ∷ []) "Col.1.11"
  ∷ word (δ ∷ ό ∷ ξ ∷ η ∷ ς ∷ []) "Col.1.11"
  ∷ word (α ∷ ὐ ∷ τ ∷ ο ∷ ῦ ∷ []) "Col.1.11"
  ∷ word (ε ∷ ἰ ∷ ς ∷ []) "Col.1.11"
  ∷ word (π ∷ ᾶ ∷ σ ∷ α ∷ ν ∷ []) "Col.1.11"
  ∷ word (ὑ ∷ π ∷ ο ∷ μ ∷ ο ∷ ν ∷ ὴ ∷ ν ∷ []) "Col.1.11"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "Col.1.11"
  ∷ word (μ ∷ α ∷ κ ∷ ρ ∷ ο ∷ θ ∷ υ ∷ μ ∷ ί ∷ α ∷ ν ∷ []) "Col.1.11"
  ∷ word (μ ∷ ε ∷ τ ∷ ὰ ∷ []) "Col.1.11"
  ∷ word (χ ∷ α ∷ ρ ∷ ᾶ ∷ ς ∷ []) "Col.1.11"
  ∷ word (ε ∷ ὐ ∷ χ ∷ α ∷ ρ ∷ ι ∷ σ ∷ τ ∷ ο ∷ ῦ ∷ ν ∷ τ ∷ ε ∷ ς ∷ []) "Col.1.12"
  ∷ word (τ ∷ ῷ ∷ []) "Col.1.12"
  ∷ word (π ∷ α ∷ τ ∷ ρ ∷ ὶ ∷ []) "Col.1.12"
  ∷ word (τ ∷ ῷ ∷ []) "Col.1.12"
  ∷ word (ἱ ∷ κ ∷ α ∷ ν ∷ ώ ∷ σ ∷ α ∷ ν ∷ τ ∷ ι ∷ []) "Col.1.12"
  ∷ word (ὑ ∷ μ ∷ ᾶ ∷ ς ∷ []) "Col.1.12"
  ∷ word (ε ∷ ἰ ∷ ς ∷ []) "Col.1.12"
  ∷ word (τ ∷ ὴ ∷ ν ∷ []) "Col.1.12"
  ∷ word (μ ∷ ε ∷ ρ ∷ ί ∷ δ ∷ α ∷ []) "Col.1.12"
  ∷ word (τ ∷ ο ∷ ῦ ∷ []) "Col.1.12"
  ∷ word (κ ∷ ∙λ ∷ ή ∷ ρ ∷ ο ∷ υ ∷ []) "Col.1.12"
  ∷ word (τ ∷ ῶ ∷ ν ∷ []) "Col.1.12"
  ∷ word (ἁ ∷ γ ∷ ί ∷ ω ∷ ν ∷ []) "Col.1.12"
  ∷ word (ἐ ∷ ν ∷ []) "Col.1.12"
  ∷ word (τ ∷ ῷ ∷ []) "Col.1.12"
  ∷ word (φ ∷ ω ∷ τ ∷ ί ∷ []) "Col.1.12"
  ∷ word (ὃ ∷ ς ∷ []) "Col.1.13"
  ∷ word (ἐ ∷ ρ ∷ ρ ∷ ύ ∷ σ ∷ α ∷ τ ∷ ο ∷ []) "Col.1.13"
  ∷ word (ἡ ∷ μ ∷ ᾶ ∷ ς ∷ []) "Col.1.13"
  ∷ word (ἐ ∷ κ ∷ []) "Col.1.13"
  ∷ word (τ ∷ ῆ ∷ ς ∷ []) "Col.1.13"
  ∷ word (ἐ ∷ ξ ∷ ο ∷ υ ∷ σ ∷ ί ∷ α ∷ ς ∷ []) "Col.1.13"
  ∷ word (τ ∷ ο ∷ ῦ ∷ []) "Col.1.13"
  ∷ word (σ ∷ κ ∷ ό ∷ τ ∷ ο ∷ υ ∷ ς ∷ []) "Col.1.13"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "Col.1.13"
  ∷ word (μ ∷ ε ∷ τ ∷ έ ∷ σ ∷ τ ∷ η ∷ σ ∷ ε ∷ ν ∷ []) "Col.1.13"
  ∷ word (ε ∷ ἰ ∷ ς ∷ []) "Col.1.13"
  ∷ word (τ ∷ ὴ ∷ ν ∷ []) "Col.1.13"
  ∷ word (β ∷ α ∷ σ ∷ ι ∷ ∙λ ∷ ε ∷ ί ∷ α ∷ ν ∷ []) "Col.1.13"
  ∷ word (τ ∷ ο ∷ ῦ ∷ []) "Col.1.13"
  ∷ word (υ ∷ ἱ ∷ ο ∷ ῦ ∷ []) "Col.1.13"
  ∷ word (τ ∷ ῆ ∷ ς ∷ []) "Col.1.13"
  ∷ word (ἀ ∷ γ ∷ ά ∷ π ∷ η ∷ ς ∷ []) "Col.1.13"
  ∷ word (α ∷ ὐ ∷ τ ∷ ο ∷ ῦ ∷ []) "Col.1.13"
  ∷ word (ἐ ∷ ν ∷ []) "Col.1.14"
  ∷ word (ᾧ ∷ []) "Col.1.14"
  ∷ word (ἔ ∷ χ ∷ ο ∷ μ ∷ ε ∷ ν ∷ []) "Col.1.14"
  ∷ word (τ ∷ ὴ ∷ ν ∷ []) "Col.1.14"
  ∷ word (ἀ ∷ π ∷ ο ∷ ∙λ ∷ ύ ∷ τ ∷ ρ ∷ ω ∷ σ ∷ ι ∷ ν ∷ []) "Col.1.14"
  ∷ word (τ ∷ ὴ ∷ ν ∷ []) "Col.1.14"
  ∷ word (ἄ ∷ φ ∷ ε ∷ σ ∷ ι ∷ ν ∷ []) "Col.1.14"
  ∷ word (τ ∷ ῶ ∷ ν ∷ []) "Col.1.14"
  ∷ word (ἁ ∷ μ ∷ α ∷ ρ ∷ τ ∷ ι ∷ ῶ ∷ ν ∷ []) "Col.1.14"
  ∷ word (ὅ ∷ ς ∷ []) "Col.1.15"
  ∷ word (ἐ ∷ σ ∷ τ ∷ ι ∷ ν ∷ []) "Col.1.15"
  ∷ word (ε ∷ ἰ ∷ κ ∷ ὼ ∷ ν ∷ []) "Col.1.15"
  ∷ word (τ ∷ ο ∷ ῦ ∷ []) "Col.1.15"
  ∷ word (θ ∷ ε ∷ ο ∷ ῦ ∷ []) "Col.1.15"
  ∷ word (τ ∷ ο ∷ ῦ ∷ []) "Col.1.15"
  ∷ word (ἀ ∷ ο ∷ ρ ∷ ά ∷ τ ∷ ο ∷ υ ∷ []) "Col.1.15"
  ∷ word (π ∷ ρ ∷ ω ∷ τ ∷ ό ∷ τ ∷ ο ∷ κ ∷ ο ∷ ς ∷ []) "Col.1.15"
  ∷ word (π ∷ ά ∷ σ ∷ η ∷ ς ∷ []) "Col.1.15"
  ∷ word (κ ∷ τ ∷ ί ∷ σ ∷ ε ∷ ω ∷ ς ∷ []) "Col.1.15"
  ∷ word (ὅ ∷ τ ∷ ι ∷ []) "Col.1.16"
  ∷ word (ἐ ∷ ν ∷ []) "Col.1.16"
  ∷ word (α ∷ ὐ ∷ τ ∷ ῷ ∷ []) "Col.1.16"
  ∷ word (ἐ ∷ κ ∷ τ ∷ ί ∷ σ ∷ θ ∷ η ∷ []) "Col.1.16"
  ∷ word (τ ∷ ὰ ∷ []) "Col.1.16"
  ∷ word (π ∷ ά ∷ ν ∷ τ ∷ α ∷ []) "Col.1.16"
  ∷ word (ἐ ∷ ν ∷ []) "Col.1.16"
  ∷ word (τ ∷ ο ∷ ῖ ∷ ς ∷ []) "Col.1.16"
  ∷ word (ο ∷ ὐ ∷ ρ ∷ α ∷ ν ∷ ο ∷ ῖ ∷ ς ∷ []) "Col.1.16"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "Col.1.16"
  ∷ word (ἐ ∷ π ∷ ὶ ∷ []) "Col.1.16"
  ∷ word (τ ∷ ῆ ∷ ς ∷ []) "Col.1.16"
  ∷ word (γ ∷ ῆ ∷ ς ∷ []) "Col.1.16"
  ∷ word (τ ∷ ὰ ∷ []) "Col.1.16"
  ∷ word (ὁ ∷ ρ ∷ α ∷ τ ∷ ὰ ∷ []) "Col.1.16"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "Col.1.16"
  ∷ word (τ ∷ ὰ ∷ []) "Col.1.16"
  ∷ word (ἀ ∷ ό ∷ ρ ∷ α ∷ τ ∷ α ∷ []) "Col.1.16"
  ∷ word (ε ∷ ἴ ∷ τ ∷ ε ∷ []) "Col.1.16"
  ∷ word (θ ∷ ρ ∷ ό ∷ ν ∷ ο ∷ ι ∷ []) "Col.1.16"
  ∷ word (ε ∷ ἴ ∷ τ ∷ ε ∷ []) "Col.1.16"
  ∷ word (κ ∷ υ ∷ ρ ∷ ι ∷ ό ∷ τ ∷ η ∷ τ ∷ ε ∷ ς ∷ []) "Col.1.16"
  ∷ word (ε ∷ ἴ ∷ τ ∷ ε ∷ []) "Col.1.16"
  ∷ word (ἀ ∷ ρ ∷ χ ∷ α ∷ ὶ ∷ []) "Col.1.16"
  ∷ word (ε ∷ ἴ ∷ τ ∷ ε ∷ []) "Col.1.16"
  ∷ word (ἐ ∷ ξ ∷ ο ∷ υ ∷ σ ∷ ί ∷ α ∷ ι ∷ []) "Col.1.16"
  ∷ word (τ ∷ ὰ ∷ []) "Col.1.16"
  ∷ word (π ∷ ά ∷ ν ∷ τ ∷ α ∷ []) "Col.1.16"
  ∷ word (δ ∷ ι ∷ []) "Col.1.16"
  ∷ word (α ∷ ὐ ∷ τ ∷ ο ∷ ῦ ∷ []) "Col.1.16"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "Col.1.16"
  ∷ word (ε ∷ ἰ ∷ ς ∷ []) "Col.1.16"
  ∷ word (α ∷ ὐ ∷ τ ∷ ὸ ∷ ν ∷ []) "Col.1.16"
  ∷ word (ἔ ∷ κ ∷ τ ∷ ι ∷ σ ∷ τ ∷ α ∷ ι ∷ []) "Col.1.16"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "Col.1.17"
  ∷ word (α ∷ ὐ ∷ τ ∷ ό ∷ ς ∷ []) "Col.1.17"
  ∷ word (ἐ ∷ σ ∷ τ ∷ ι ∷ ν ∷ []) "Col.1.17"
  ∷ word (π ∷ ρ ∷ ὸ ∷ []) "Col.1.17"
  ∷ word (π ∷ ά ∷ ν ∷ τ ∷ ω ∷ ν ∷ []) "Col.1.17"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "Col.1.17"
  ∷ word (τ ∷ ὰ ∷ []) "Col.1.17"
  ∷ word (π ∷ ά ∷ ν ∷ τ ∷ α ∷ []) "Col.1.17"
  ∷ word (ἐ ∷ ν ∷ []) "Col.1.17"
  ∷ word (α ∷ ὐ ∷ τ ∷ ῷ ∷ []) "Col.1.17"
  ∷ word (σ ∷ υ ∷ ν ∷ έ ∷ σ ∷ τ ∷ η ∷ κ ∷ ε ∷ ν ∷ []) "Col.1.17"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "Col.1.18"
  ∷ word (α ∷ ὐ ∷ τ ∷ ό ∷ ς ∷ []) "Col.1.18"
  ∷ word (ἐ ∷ σ ∷ τ ∷ ι ∷ ν ∷ []) "Col.1.18"
  ∷ word (ἡ ∷ []) "Col.1.18"
  ∷ word (κ ∷ ε ∷ φ ∷ α ∷ ∙λ ∷ ὴ ∷ []) "Col.1.18"
  ∷ word (τ ∷ ο ∷ ῦ ∷ []) "Col.1.18"
  ∷ word (σ ∷ ώ ∷ μ ∷ α ∷ τ ∷ ο ∷ ς ∷ []) "Col.1.18"
  ∷ word (τ ∷ ῆ ∷ ς ∷ []) "Col.1.18"
  ∷ word (ἐ ∷ κ ∷ κ ∷ ∙λ ∷ η ∷ σ ∷ ί ∷ α ∷ ς ∷ []) "Col.1.18"
  ∷ word (ὅ ∷ ς ∷ []) "Col.1.18"
  ∷ word (ἐ ∷ σ ∷ τ ∷ ι ∷ ν ∷ []) "Col.1.18"
  ∷ word (ἀ ∷ ρ ∷ χ ∷ ή ∷ []) "Col.1.18"
  ∷ word (π ∷ ρ ∷ ω ∷ τ ∷ ό ∷ τ ∷ ο ∷ κ ∷ ο ∷ ς ∷ []) "Col.1.18"
  ∷ word (ἐ ∷ κ ∷ []) "Col.1.18"
  ∷ word (τ ∷ ῶ ∷ ν ∷ []) "Col.1.18"
  ∷ word (ν ∷ ε ∷ κ ∷ ρ ∷ ῶ ∷ ν ∷ []) "Col.1.18"
  ∷ word (ἵ ∷ ν ∷ α ∷ []) "Col.1.18"
  ∷ word (γ ∷ έ ∷ ν ∷ η ∷ τ ∷ α ∷ ι ∷ []) "Col.1.18"
  ∷ word (ἐ ∷ ν ∷ []) "Col.1.18"
  ∷ word (π ∷ ᾶ ∷ σ ∷ ι ∷ ν ∷ []) "Col.1.18"
  ∷ word (α ∷ ὐ ∷ τ ∷ ὸ ∷ ς ∷ []) "Col.1.18"
  ∷ word (π ∷ ρ ∷ ω ∷ τ ∷ ε ∷ ύ ∷ ω ∷ ν ∷ []) "Col.1.18"
  ∷ word (ὅ ∷ τ ∷ ι ∷ []) "Col.1.19"
  ∷ word (ἐ ∷ ν ∷ []) "Col.1.19"
  ∷ word (α ∷ ὐ ∷ τ ∷ ῷ ∷ []) "Col.1.19"
  ∷ word (ε ∷ ὐ ∷ δ ∷ ό ∷ κ ∷ η ∷ σ ∷ ε ∷ ν ∷ []) "Col.1.19"
  ∷ word (π ∷ ᾶ ∷ ν ∷ []) "Col.1.19"
  ∷ word (τ ∷ ὸ ∷ []) "Col.1.19"
  ∷ word (π ∷ ∙λ ∷ ή ∷ ρ ∷ ω ∷ μ ∷ α ∷ []) "Col.1.19"
  ∷ word (κ ∷ α ∷ τ ∷ ο ∷ ι ∷ κ ∷ ῆ ∷ σ ∷ α ∷ ι ∷ []) "Col.1.19"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "Col.1.20"
  ∷ word (δ ∷ ι ∷ []) "Col.1.20"
  ∷ word (α ∷ ὐ ∷ τ ∷ ο ∷ ῦ ∷ []) "Col.1.20"
  ∷ word (ἀ ∷ π ∷ ο ∷ κ ∷ α ∷ τ ∷ α ∷ ∙λ ∷ ∙λ ∷ ά ∷ ξ ∷ α ∷ ι ∷ []) "Col.1.20"
  ∷ word (τ ∷ ὰ ∷ []) "Col.1.20"
  ∷ word (π ∷ ά ∷ ν ∷ τ ∷ α ∷ []) "Col.1.20"
  ∷ word (ε ∷ ἰ ∷ ς ∷ []) "Col.1.20"
  ∷ word (α ∷ ὐ ∷ τ ∷ ό ∷ ν ∷ []) "Col.1.20"
  ∷ word (ε ∷ ἰ ∷ ρ ∷ η ∷ ν ∷ ο ∷ π ∷ ο ∷ ι ∷ ή ∷ σ ∷ α ∷ ς ∷ []) "Col.1.20"
  ∷ word (δ ∷ ι ∷ ὰ ∷ []) "Col.1.20"
  ∷ word (τ ∷ ο ∷ ῦ ∷ []) "Col.1.20"
  ∷ word (α ∷ ἵ ∷ μ ∷ α ∷ τ ∷ ο ∷ ς ∷ []) "Col.1.20"
  ∷ word (τ ∷ ο ∷ ῦ ∷ []) "Col.1.20"
  ∷ word (σ ∷ τ ∷ α ∷ υ ∷ ρ ∷ ο ∷ ῦ ∷ []) "Col.1.20"
  ∷ word (α ∷ ὐ ∷ τ ∷ ο ∷ ῦ ∷ []) "Col.1.20"
  ∷ word (δ ∷ ι ∷ []) "Col.1.20"
  ∷ word (α ∷ ὐ ∷ τ ∷ ο ∷ ῦ ∷ []) "Col.1.20"
  ∷ word (ε ∷ ἴ ∷ τ ∷ ε ∷ []) "Col.1.20"
  ∷ word (τ ∷ ὰ ∷ []) "Col.1.20"
  ∷ word (ἐ ∷ π ∷ ὶ ∷ []) "Col.1.20"
  ∷ word (τ ∷ ῆ ∷ ς ∷ []) "Col.1.20"
  ∷ word (γ ∷ ῆ ∷ ς ∷ []) "Col.1.20"
  ∷ word (ε ∷ ἴ ∷ τ ∷ ε ∷ []) "Col.1.20"
  ∷ word (τ ∷ ὰ ∷ []) "Col.1.20"
  ∷ word (ἐ ∷ ν ∷ []) "Col.1.20"
  ∷ word (τ ∷ ο ∷ ῖ ∷ ς ∷ []) "Col.1.20"
  ∷ word (ο ∷ ὐ ∷ ρ ∷ α ∷ ν ∷ ο ∷ ῖ ∷ ς ∷ []) "Col.1.20"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "Col.1.21"
  ∷ word (ὑ ∷ μ ∷ ᾶ ∷ ς ∷ []) "Col.1.21"
  ∷ word (π ∷ ο ∷ τ ∷ ε ∷ []) "Col.1.21"
  ∷ word (ὄ ∷ ν ∷ τ ∷ α ∷ ς ∷ []) "Col.1.21"
  ∷ word (ἀ ∷ π ∷ η ∷ ∙λ ∷ ∙λ ∷ ο ∷ τ ∷ ρ ∷ ι ∷ ω ∷ μ ∷ έ ∷ ν ∷ ο ∷ υ ∷ ς ∷ []) "Col.1.21"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "Col.1.21"
  ∷ word (ἐ ∷ χ ∷ θ ∷ ρ ∷ ο ∷ ὺ ∷ ς ∷ []) "Col.1.21"
  ∷ word (τ ∷ ῇ ∷ []) "Col.1.21"
  ∷ word (δ ∷ ι ∷ α ∷ ν ∷ ο ∷ ί ∷ ᾳ ∷ []) "Col.1.21"
  ∷ word (ἐ ∷ ν ∷ []) "Col.1.21"
  ∷ word (τ ∷ ο ∷ ῖ ∷ ς ∷ []) "Col.1.21"
  ∷ word (ἔ ∷ ρ ∷ γ ∷ ο ∷ ι ∷ ς ∷ []) "Col.1.21"
  ∷ word (τ ∷ ο ∷ ῖ ∷ ς ∷ []) "Col.1.21"
  ∷ word (π ∷ ο ∷ ν ∷ η ∷ ρ ∷ ο ∷ ῖ ∷ ς ∷ []) "Col.1.21"
  ∷ word (ν ∷ υ ∷ ν ∷ ὶ ∷ []) "Col.1.22"
  ∷ word (δ ∷ ὲ ∷ []) "Col.1.22"
  ∷ word (ἀ ∷ π ∷ ο ∷ κ ∷ α ∷ τ ∷ η ∷ ∙λ ∷ ∙λ ∷ ά ∷ γ ∷ η ∷ τ ∷ ε ∷ []) "Col.1.22"
  ∷ word (ἐ ∷ ν ∷ []) "Col.1.22"
  ∷ word (τ ∷ ῷ ∷ []) "Col.1.22"
  ∷ word (σ ∷ ώ ∷ μ ∷ α ∷ τ ∷ ι ∷ []) "Col.1.22"
  ∷ word (τ ∷ ῆ ∷ ς ∷ []) "Col.1.22"
  ∷ word (σ ∷ α ∷ ρ ∷ κ ∷ ὸ ∷ ς ∷ []) "Col.1.22"
  ∷ word (α ∷ ὐ ∷ τ ∷ ο ∷ ῦ ∷ []) "Col.1.22"
  ∷ word (δ ∷ ι ∷ ὰ ∷ []) "Col.1.22"
  ∷ word (τ ∷ ο ∷ ῦ ∷ []) "Col.1.22"
  ∷ word (θ ∷ α ∷ ν ∷ ά ∷ τ ∷ ο ∷ υ ∷ []) "Col.1.22"
  ∷ word (π ∷ α ∷ ρ ∷ α ∷ σ ∷ τ ∷ ῆ ∷ σ ∷ α ∷ ι ∷ []) "Col.1.22"
  ∷ word (ὑ ∷ μ ∷ ᾶ ∷ ς ∷ []) "Col.1.22"
  ∷ word (ἁ ∷ γ ∷ ί ∷ ο ∷ υ ∷ ς ∷ []) "Col.1.22"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "Col.1.22"
  ∷ word (ἀ ∷ μ ∷ ώ ∷ μ ∷ ο ∷ υ ∷ ς ∷ []) "Col.1.22"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "Col.1.22"
  ∷ word (ἀ ∷ ν ∷ ε ∷ γ ∷ κ ∷ ∙λ ∷ ή ∷ τ ∷ ο ∷ υ ∷ ς ∷ []) "Col.1.22"
  ∷ word (κ ∷ α ∷ τ ∷ ε ∷ ν ∷ ώ ∷ π ∷ ι ∷ ο ∷ ν ∷ []) "Col.1.22"
  ∷ word (α ∷ ὐ ∷ τ ∷ ο ∷ ῦ ∷ []) "Col.1.22"
  ∷ word (ε ∷ ἴ ∷ []) "Col.1.23"
  ∷ word (γ ∷ ε ∷ []) "Col.1.23"
  ∷ word (ἐ ∷ π ∷ ι ∷ μ ∷ έ ∷ ν ∷ ε ∷ τ ∷ ε ∷ []) "Col.1.23"
  ∷ word (τ ∷ ῇ ∷ []) "Col.1.23"
  ∷ word (π ∷ ί ∷ σ ∷ τ ∷ ε ∷ ι ∷ []) "Col.1.23"
  ∷ word (τ ∷ ε ∷ θ ∷ ε ∷ μ ∷ ε ∷ ∙λ ∷ ι ∷ ω ∷ μ ∷ έ ∷ ν ∷ ο ∷ ι ∷ []) "Col.1.23"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "Col.1.23"
  ∷ word (ἑ ∷ δ ∷ ρ ∷ α ∷ ῖ ∷ ο ∷ ι ∷ []) "Col.1.23"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "Col.1.23"
  ∷ word (μ ∷ ὴ ∷ []) "Col.1.23"
  ∷ word (μ ∷ ε ∷ τ ∷ α ∷ κ ∷ ι ∷ ν ∷ ο ∷ ύ ∷ μ ∷ ε ∷ ν ∷ ο ∷ ι ∷ []) "Col.1.23"
  ∷ word (ἀ ∷ π ∷ ὸ ∷ []) "Col.1.23"
  ∷ word (τ ∷ ῆ ∷ ς ∷ []) "Col.1.23"
  ∷ word (ἐ ∷ ∙λ ∷ π ∷ ί ∷ δ ∷ ο ∷ ς ∷ []) "Col.1.23"
  ∷ word (τ ∷ ο ∷ ῦ ∷ []) "Col.1.23"
  ∷ word (ε ∷ ὐ ∷ α ∷ γ ∷ γ ∷ ε ∷ ∙λ ∷ ί ∷ ο ∷ υ ∷ []) "Col.1.23"
  ∷ word (ο ∷ ὗ ∷ []) "Col.1.23"
  ∷ word (ἠ ∷ κ ∷ ο ∷ ύ ∷ σ ∷ α ∷ τ ∷ ε ∷ []) "Col.1.23"
  ∷ word (τ ∷ ο ∷ ῦ ∷ []) "Col.1.23"
  ∷ word (κ ∷ η ∷ ρ ∷ υ ∷ χ ∷ θ ∷ έ ∷ ν ∷ τ ∷ ο ∷ ς ∷ []) "Col.1.23"
  ∷ word (ἐ ∷ ν ∷ []) "Col.1.23"
  ∷ word (π ∷ ά ∷ σ ∷ ῃ ∷ []) "Col.1.23"
  ∷ word (κ ∷ τ ∷ ί ∷ σ ∷ ε ∷ ι ∷ []) "Col.1.23"
  ∷ word (τ ∷ ῇ ∷ []) "Col.1.23"
  ∷ word (ὑ ∷ π ∷ ὸ ∷ []) "Col.1.23"
  ∷ word (τ ∷ ὸ ∷ ν ∷ []) "Col.1.23"
  ∷ word (ο ∷ ὐ ∷ ρ ∷ α ∷ ν ∷ ό ∷ ν ∷ []) "Col.1.23"
  ∷ word (ο ∷ ὗ ∷ []) "Col.1.23"
  ∷ word (ἐ ∷ γ ∷ ε ∷ ν ∷ ό ∷ μ ∷ η ∷ ν ∷ []) "Col.1.23"
  ∷ word (ἐ ∷ γ ∷ ὼ ∷ []) "Col.1.23"
  ∷ word (Π ∷ α ∷ ῦ ∷ ∙λ ∷ ο ∷ ς ∷ []) "Col.1.23"
  ∷ word (δ ∷ ι ∷ ά ∷ κ ∷ ο ∷ ν ∷ ο ∷ ς ∷ []) "Col.1.23"
  ∷ word (Ν ∷ ῦ ∷ ν ∷ []) "Col.1.24"
  ∷ word (χ ∷ α ∷ ί ∷ ρ ∷ ω ∷ []) "Col.1.24"
  ∷ word (ἐ ∷ ν ∷ []) "Col.1.24"
  ∷ word (τ ∷ ο ∷ ῖ ∷ ς ∷ []) "Col.1.24"
  ∷ word (π ∷ α ∷ θ ∷ ή ∷ μ ∷ α ∷ σ ∷ ι ∷ ν ∷ []) "Col.1.24"
  ∷ word (ὑ ∷ π ∷ ὲ ∷ ρ ∷ []) "Col.1.24"
  ∷ word (ὑ ∷ μ ∷ ῶ ∷ ν ∷ []) "Col.1.24"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "Col.1.24"
  ∷ word (ἀ ∷ ν ∷ τ ∷ α ∷ ν ∷ α ∷ π ∷ ∙λ ∷ η ∷ ρ ∷ ῶ ∷ []) "Col.1.24"
  ∷ word (τ ∷ ὰ ∷ []) "Col.1.24"
  ∷ word (ὑ ∷ σ ∷ τ ∷ ε ∷ ρ ∷ ή ∷ μ ∷ α ∷ τ ∷ α ∷ []) "Col.1.24"
  ∷ word (τ ∷ ῶ ∷ ν ∷ []) "Col.1.24"
  ∷ word (θ ∷ ∙λ ∷ ί ∷ ψ ∷ ε ∷ ω ∷ ν ∷ []) "Col.1.24"
  ∷ word (τ ∷ ο ∷ ῦ ∷ []) "Col.1.24"
  ∷ word (Χ ∷ ρ ∷ ι ∷ σ ∷ τ ∷ ο ∷ ῦ ∷ []) "Col.1.24"
  ∷ word (ἐ ∷ ν ∷ []) "Col.1.24"
  ∷ word (τ ∷ ῇ ∷ []) "Col.1.24"
  ∷ word (σ ∷ α ∷ ρ ∷ κ ∷ ί ∷ []) "Col.1.24"
  ∷ word (μ ∷ ο ∷ υ ∷ []) "Col.1.24"
  ∷ word (ὑ ∷ π ∷ ὲ ∷ ρ ∷ []) "Col.1.24"
  ∷ word (τ ∷ ο ∷ ῦ ∷ []) "Col.1.24"
  ∷ word (σ ∷ ώ ∷ μ ∷ α ∷ τ ∷ ο ∷ ς ∷ []) "Col.1.24"
  ∷ word (α ∷ ὐ ∷ τ ∷ ο ∷ ῦ ∷ []) "Col.1.24"
  ∷ word (ὅ ∷ []) "Col.1.24"
  ∷ word (ἐ ∷ σ ∷ τ ∷ ι ∷ ν ∷ []) "Col.1.24"
  ∷ word (ἡ ∷ []) "Col.1.24"
  ∷ word (ἐ ∷ κ ∷ κ ∷ ∙λ ∷ η ∷ σ ∷ ί ∷ α ∷ []) "Col.1.24"
  ∷ word (ἧ ∷ ς ∷ []) "Col.1.25"
  ∷ word (ἐ ∷ γ ∷ ε ∷ ν ∷ ό ∷ μ ∷ η ∷ ν ∷ []) "Col.1.25"
  ∷ word (ἐ ∷ γ ∷ ὼ ∷ []) "Col.1.25"
  ∷ word (δ ∷ ι ∷ ά ∷ κ ∷ ο ∷ ν ∷ ο ∷ ς ∷ []) "Col.1.25"
  ∷ word (κ ∷ α ∷ τ ∷ ὰ ∷ []) "Col.1.25"
  ∷ word (τ ∷ ὴ ∷ ν ∷ []) "Col.1.25"
  ∷ word (ο ∷ ἰ ∷ κ ∷ ο ∷ ν ∷ ο ∷ μ ∷ ί ∷ α ∷ ν ∷ []) "Col.1.25"
  ∷ word (τ ∷ ο ∷ ῦ ∷ []) "Col.1.25"
  ∷ word (θ ∷ ε ∷ ο ∷ ῦ ∷ []) "Col.1.25"
  ∷ word (τ ∷ ὴ ∷ ν ∷ []) "Col.1.25"
  ∷ word (δ ∷ ο ∷ θ ∷ ε ∷ ῖ ∷ σ ∷ ά ∷ ν ∷ []) "Col.1.25"
  ∷ word (μ ∷ ο ∷ ι ∷ []) "Col.1.25"
  ∷ word (ε ∷ ἰ ∷ ς ∷ []) "Col.1.25"
  ∷ word (ὑ ∷ μ ∷ ᾶ ∷ ς ∷ []) "Col.1.25"
  ∷ word (π ∷ ∙λ ∷ η ∷ ρ ∷ ῶ ∷ σ ∷ α ∷ ι ∷ []) "Col.1.25"
  ∷ word (τ ∷ ὸ ∷ ν ∷ []) "Col.1.25"
  ∷ word (∙λ ∷ ό ∷ γ ∷ ο ∷ ν ∷ []) "Col.1.25"
  ∷ word (τ ∷ ο ∷ ῦ ∷ []) "Col.1.25"
  ∷ word (θ ∷ ε ∷ ο ∷ ῦ ∷ []) "Col.1.25"
  ∷ word (τ ∷ ὸ ∷ []) "Col.1.26"
  ∷ word (μ ∷ υ ∷ σ ∷ τ ∷ ή ∷ ρ ∷ ι ∷ ο ∷ ν ∷ []) "Col.1.26"
  ∷ word (τ ∷ ὸ ∷ []) "Col.1.26"
  ∷ word (ἀ ∷ π ∷ ο ∷ κ ∷ ε ∷ κ ∷ ρ ∷ υ ∷ μ ∷ μ ∷ έ ∷ ν ∷ ο ∷ ν ∷ []) "Col.1.26"
  ∷ word (ἀ ∷ π ∷ ὸ ∷ []) "Col.1.26"
  ∷ word (τ ∷ ῶ ∷ ν ∷ []) "Col.1.26"
  ∷ word (α ∷ ἰ ∷ ώ ∷ ν ∷ ω ∷ ν ∷ []) "Col.1.26"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "Col.1.26"
  ∷ word (ἀ ∷ π ∷ ὸ ∷ []) "Col.1.26"
  ∷ word (τ ∷ ῶ ∷ ν ∷ []) "Col.1.26"
  ∷ word (γ ∷ ε ∷ ν ∷ ε ∷ ῶ ∷ ν ∷ []) "Col.1.26"
  ∷ word (ν ∷ ῦ ∷ ν ∷ []) "Col.1.26"
  ∷ word (δ ∷ ὲ ∷ []) "Col.1.26"
  ∷ word (ἐ ∷ φ ∷ α ∷ ν ∷ ε ∷ ρ ∷ ώ ∷ θ ∷ η ∷ []) "Col.1.26"
  ∷ word (τ ∷ ο ∷ ῖ ∷ ς ∷ []) "Col.1.26"
  ∷ word (ἁ ∷ γ ∷ ί ∷ ο ∷ ι ∷ ς ∷ []) "Col.1.26"
  ∷ word (α ∷ ὐ ∷ τ ∷ ο ∷ ῦ ∷ []) "Col.1.26"
  ∷ word (ο ∷ ἷ ∷ ς ∷ []) "Col.1.27"
  ∷ word (ἠ ∷ θ ∷ έ ∷ ∙λ ∷ η ∷ σ ∷ ε ∷ ν ∷ []) "Col.1.27"
  ∷ word (ὁ ∷ []) "Col.1.27"
  ∷ word (θ ∷ ε ∷ ὸ ∷ ς ∷ []) "Col.1.27"
  ∷ word (γ ∷ ν ∷ ω ∷ ρ ∷ ί ∷ σ ∷ α ∷ ι ∷ []) "Col.1.27"
  ∷ word (τ ∷ ί ∷ []) "Col.1.27"
  ∷ word (τ ∷ ὸ ∷ []) "Col.1.27"
  ∷ word (π ∷ ∙λ ∷ ο ∷ ῦ ∷ τ ∷ ο ∷ ς ∷ []) "Col.1.27"
  ∷ word (τ ∷ ῆ ∷ ς ∷ []) "Col.1.27"
  ∷ word (δ ∷ ό ∷ ξ ∷ η ∷ ς ∷ []) "Col.1.27"
  ∷ word (τ ∷ ο ∷ ῦ ∷ []) "Col.1.27"
  ∷ word (μ ∷ υ ∷ σ ∷ τ ∷ η ∷ ρ ∷ ί ∷ ο ∷ υ ∷ []) "Col.1.27"
  ∷ word (τ ∷ ο ∷ ύ ∷ τ ∷ ο ∷ υ ∷ []) "Col.1.27"
  ∷ word (ἐ ∷ ν ∷ []) "Col.1.27"
  ∷ word (τ ∷ ο ∷ ῖ ∷ ς ∷ []) "Col.1.27"
  ∷ word (ἔ ∷ θ ∷ ν ∷ ε ∷ σ ∷ ι ∷ ν ∷ []) "Col.1.27"
  ∷ word (ὅ ∷ []) "Col.1.27"
  ∷ word (ἐ ∷ σ ∷ τ ∷ ι ∷ ν ∷ []) "Col.1.27"
  ∷ word (Χ ∷ ρ ∷ ι ∷ σ ∷ τ ∷ ὸ ∷ ς ∷ []) "Col.1.27"
  ∷ word (ἐ ∷ ν ∷ []) "Col.1.27"
  ∷ word (ὑ ∷ μ ∷ ῖ ∷ ν ∷ []) "Col.1.27"
  ∷ word (ἡ ∷ []) "Col.1.27"
  ∷ word (ἐ ∷ ∙λ ∷ π ∷ ὶ ∷ ς ∷ []) "Col.1.27"
  ∷ word (τ ∷ ῆ ∷ ς ∷ []) "Col.1.27"
  ∷ word (δ ∷ ό ∷ ξ ∷ η ∷ ς ∷ []) "Col.1.27"
  ∷ word (ὃ ∷ ν ∷ []) "Col.1.28"
  ∷ word (ἡ ∷ μ ∷ ε ∷ ῖ ∷ ς ∷ []) "Col.1.28"
  ∷ word (κ ∷ α ∷ τ ∷ α ∷ γ ∷ γ ∷ έ ∷ ∙λ ∷ ∙λ ∷ ο ∷ μ ∷ ε ∷ ν ∷ []) "Col.1.28"
  ∷ word (ν ∷ ο ∷ υ ∷ θ ∷ ε ∷ τ ∷ ο ∷ ῦ ∷ ν ∷ τ ∷ ε ∷ ς ∷ []) "Col.1.28"
  ∷ word (π ∷ ά ∷ ν ∷ τ ∷ α ∷ []) "Col.1.28"
  ∷ word (ἄ ∷ ν ∷ θ ∷ ρ ∷ ω ∷ π ∷ ο ∷ ν ∷ []) "Col.1.28"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "Col.1.28"
  ∷ word (δ ∷ ι ∷ δ ∷ ά ∷ σ ∷ κ ∷ ο ∷ ν ∷ τ ∷ ε ∷ ς ∷ []) "Col.1.28"
  ∷ word (π ∷ ά ∷ ν ∷ τ ∷ α ∷ []) "Col.1.28"
  ∷ word (ἄ ∷ ν ∷ θ ∷ ρ ∷ ω ∷ π ∷ ο ∷ ν ∷ []) "Col.1.28"
  ∷ word (ἐ ∷ ν ∷ []) "Col.1.28"
  ∷ word (π ∷ ά ∷ σ ∷ ῃ ∷ []) "Col.1.28"
  ∷ word (σ ∷ ο ∷ φ ∷ ί ∷ ᾳ ∷ []) "Col.1.28"
  ∷ word (ἵ ∷ ν ∷ α ∷ []) "Col.1.28"
  ∷ word (π ∷ α ∷ ρ ∷ α ∷ σ ∷ τ ∷ ή ∷ σ ∷ ω ∷ μ ∷ ε ∷ ν ∷ []) "Col.1.28"
  ∷ word (π ∷ ά ∷ ν ∷ τ ∷ α ∷ []) "Col.1.28"
  ∷ word (ἄ ∷ ν ∷ θ ∷ ρ ∷ ω ∷ π ∷ ο ∷ ν ∷ []) "Col.1.28"
  ∷ word (τ ∷ έ ∷ ∙λ ∷ ε ∷ ι ∷ ο ∷ ν ∷ []) "Col.1.28"
  ∷ word (ἐ ∷ ν ∷ []) "Col.1.28"
  ∷ word (Χ ∷ ρ ∷ ι ∷ σ ∷ τ ∷ ῷ ∷ []) "Col.1.28"
  ∷ word (ε ∷ ἰ ∷ ς ∷ []) "Col.1.29"
  ∷ word (ὃ ∷ []) "Col.1.29"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "Col.1.29"
  ∷ word (κ ∷ ο ∷ π ∷ ι ∷ ῶ ∷ []) "Col.1.29"
  ∷ word (ἀ ∷ γ ∷ ω ∷ ν ∷ ι ∷ ζ ∷ ό ∷ μ ∷ ε ∷ ν ∷ ο ∷ ς ∷ []) "Col.1.29"
  ∷ word (κ ∷ α ∷ τ ∷ ὰ ∷ []) "Col.1.29"
  ∷ word (τ ∷ ὴ ∷ ν ∷ []) "Col.1.29"
  ∷ word (ἐ ∷ ν ∷ έ ∷ ρ ∷ γ ∷ ε ∷ ι ∷ α ∷ ν ∷ []) "Col.1.29"
  ∷ word (α ∷ ὐ ∷ τ ∷ ο ∷ ῦ ∷ []) "Col.1.29"
  ∷ word (τ ∷ ὴ ∷ ν ∷ []) "Col.1.29"
  ∷ word (ἐ ∷ ν ∷ ε ∷ ρ ∷ γ ∷ ο ∷ υ ∷ μ ∷ έ ∷ ν ∷ η ∷ ν ∷ []) "Col.1.29"
  ∷ word (ἐ ∷ ν ∷ []) "Col.1.29"
  ∷ word (ἐ ∷ μ ∷ ο ∷ ὶ ∷ []) "Col.1.29"
  ∷ word (ἐ ∷ ν ∷ []) "Col.1.29"
  ∷ word (δ ∷ υ ∷ ν ∷ ά ∷ μ ∷ ε ∷ ι ∷ []) "Col.1.29"
  ∷ word (Θ ∷ έ ∷ ∙λ ∷ ω ∷ []) "Col.2.1"
  ∷ word (γ ∷ ὰ ∷ ρ ∷ []) "Col.2.1"
  ∷ word (ὑ ∷ μ ∷ ᾶ ∷ ς ∷ []) "Col.2.1"
  ∷ word (ε ∷ ἰ ∷ δ ∷ έ ∷ ν ∷ α ∷ ι ∷ []) "Col.2.1"
  ∷ word (ἡ ∷ ∙λ ∷ ί ∷ κ ∷ ο ∷ ν ∷ []) "Col.2.1"
  ∷ word (ἀ ∷ γ ∷ ῶ ∷ ν ∷ α ∷ []) "Col.2.1"
  ∷ word (ἔ ∷ χ ∷ ω ∷ []) "Col.2.1"
  ∷ word (ὑ ∷ π ∷ ὲ ∷ ρ ∷ []) "Col.2.1"
  ∷ word (ὑ ∷ μ ∷ ῶ ∷ ν ∷ []) "Col.2.1"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "Col.2.1"
  ∷ word (τ ∷ ῶ ∷ ν ∷ []) "Col.2.1"
  ∷ word (ἐ ∷ ν ∷ []) "Col.2.1"
  ∷ word (Λ ∷ α ∷ ο ∷ δ ∷ ι ∷ κ ∷ ε ∷ ί ∷ ᾳ ∷ []) "Col.2.1"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "Col.2.1"
  ∷ word (ὅ ∷ σ ∷ ο ∷ ι ∷ []) "Col.2.1"
  ∷ word (ο ∷ ὐ ∷ χ ∷ []) "Col.2.1"
  ∷ word (ἑ ∷ ό ∷ ρ ∷ α ∷ κ ∷ α ∷ ν ∷ []) "Col.2.1"
  ∷ word (τ ∷ ὸ ∷ []) "Col.2.1"
  ∷ word (π ∷ ρ ∷ ό ∷ σ ∷ ω ∷ π ∷ ό ∷ ν ∷ []) "Col.2.1"
  ∷ word (μ ∷ ο ∷ υ ∷ []) "Col.2.1"
  ∷ word (ἐ ∷ ν ∷ []) "Col.2.1"
  ∷ word (σ ∷ α ∷ ρ ∷ κ ∷ ί ∷ []) "Col.2.1"
  ∷ word (ἵ ∷ ν ∷ α ∷ []) "Col.2.2"
  ∷ word (π ∷ α ∷ ρ ∷ α ∷ κ ∷ ∙λ ∷ η ∷ θ ∷ ῶ ∷ σ ∷ ι ∷ ν ∷ []) "Col.2.2"
  ∷ word (α ∷ ἱ ∷ []) "Col.2.2"
  ∷ word (κ ∷ α ∷ ρ ∷ δ ∷ ί ∷ α ∷ ι ∷ []) "Col.2.2"
  ∷ word (α ∷ ὐ ∷ τ ∷ ῶ ∷ ν ∷ []) "Col.2.2"
  ∷ word (σ ∷ υ ∷ μ ∷ β ∷ ι ∷ β ∷ α ∷ σ ∷ θ ∷ έ ∷ ν ∷ τ ∷ ε ∷ ς ∷ []) "Col.2.2"
  ∷ word (ἐ ∷ ν ∷ []) "Col.2.2"
  ∷ word (ἀ ∷ γ ∷ ά ∷ π ∷ ῃ ∷ []) "Col.2.2"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "Col.2.2"
  ∷ word (ε ∷ ἰ ∷ ς ∷ []) "Col.2.2"
  ∷ word (π ∷ ᾶ ∷ ν ∷ []) "Col.2.2"
  ∷ word (π ∷ ∙λ ∷ ο ∷ ῦ ∷ τ ∷ ο ∷ ς ∷ []) "Col.2.2"
  ∷ word (τ ∷ ῆ ∷ ς ∷ []) "Col.2.2"
  ∷ word (π ∷ ∙λ ∷ η ∷ ρ ∷ ο ∷ φ ∷ ο ∷ ρ ∷ ί ∷ α ∷ ς ∷ []) "Col.2.2"
  ∷ word (τ ∷ ῆ ∷ ς ∷ []) "Col.2.2"
  ∷ word (σ ∷ υ ∷ ν ∷ έ ∷ σ ∷ ε ∷ ω ∷ ς ∷ []) "Col.2.2"
  ∷ word (ε ∷ ἰ ∷ ς ∷ []) "Col.2.2"
  ∷ word (ἐ ∷ π ∷ ί ∷ γ ∷ ν ∷ ω ∷ σ ∷ ι ∷ ν ∷ []) "Col.2.2"
  ∷ word (τ ∷ ο ∷ ῦ ∷ []) "Col.2.2"
  ∷ word (μ ∷ υ ∷ σ ∷ τ ∷ η ∷ ρ ∷ ί ∷ ο ∷ υ ∷ []) "Col.2.2"
  ∷ word (τ ∷ ο ∷ ῦ ∷ []) "Col.2.2"
  ∷ word (θ ∷ ε ∷ ο ∷ ῦ ∷ []) "Col.2.2"
  ∷ word (Χ ∷ ρ ∷ ι ∷ σ ∷ τ ∷ ο ∷ ῦ ∷ []) "Col.2.2"
  ∷ word (ἐ ∷ ν ∷ []) "Col.2.3"
  ∷ word (ᾧ ∷ []) "Col.2.3"
  ∷ word (ε ∷ ἰ ∷ σ ∷ ι ∷ ν ∷ []) "Col.2.3"
  ∷ word (π ∷ ά ∷ ν ∷ τ ∷ ε ∷ ς ∷ []) "Col.2.3"
  ∷ word (ο ∷ ἱ ∷ []) "Col.2.3"
  ∷ word (θ ∷ η ∷ σ ∷ α ∷ υ ∷ ρ ∷ ο ∷ ὶ ∷ []) "Col.2.3"
  ∷ word (τ ∷ ῆ ∷ ς ∷ []) "Col.2.3"
  ∷ word (σ ∷ ο ∷ φ ∷ ί ∷ α ∷ ς ∷ []) "Col.2.3"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "Col.2.3"
  ∷ word (γ ∷ ν ∷ ώ ∷ σ ∷ ε ∷ ω ∷ ς ∷ []) "Col.2.3"
  ∷ word (ἀ ∷ π ∷ ό ∷ κ ∷ ρ ∷ υ ∷ φ ∷ ο ∷ ι ∷ []) "Col.2.3"
  ∷ word (τ ∷ ο ∷ ῦ ∷ τ ∷ ο ∷ []) "Col.2.4"
  ∷ word (∙λ ∷ έ ∷ γ ∷ ω ∷ []) "Col.2.4"
  ∷ word (ἵ ∷ ν ∷ α ∷ []) "Col.2.4"
  ∷ word (μ ∷ η ∷ δ ∷ ε ∷ ὶ ∷ ς ∷ []) "Col.2.4"
  ∷ word (ὑ ∷ μ ∷ ᾶ ∷ ς ∷ []) "Col.2.4"
  ∷ word (π ∷ α ∷ ρ ∷ α ∷ ∙λ ∷ ο ∷ γ ∷ ί ∷ ζ ∷ η ∷ τ ∷ α ∷ ι ∷ []) "Col.2.4"
  ∷ word (ἐ ∷ ν ∷ []) "Col.2.4"
  ∷ word (π ∷ ι ∷ θ ∷ α ∷ ν ∷ ο ∷ ∙λ ∷ ο ∷ γ ∷ ί ∷ ᾳ ∷ []) "Col.2.4"
  ∷ word (ε ∷ ἰ ∷ []) "Col.2.5"
  ∷ word (γ ∷ ὰ ∷ ρ ∷ []) "Col.2.5"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "Col.2.5"
  ∷ word (τ ∷ ῇ ∷ []) "Col.2.5"
  ∷ word (σ ∷ α ∷ ρ ∷ κ ∷ ὶ ∷ []) "Col.2.5"
  ∷ word (ἄ ∷ π ∷ ε ∷ ι ∷ μ ∷ ι ∷ []) "Col.2.5"
  ∷ word (ἀ ∷ ∙λ ∷ ∙λ ∷ ὰ ∷ []) "Col.2.5"
  ∷ word (τ ∷ ῷ ∷ []) "Col.2.5"
  ∷ word (π ∷ ν ∷ ε ∷ ύ ∷ μ ∷ α ∷ τ ∷ ι ∷ []) "Col.2.5"
  ∷ word (σ ∷ ὺ ∷ ν ∷ []) "Col.2.5"
  ∷ word (ὑ ∷ μ ∷ ῖ ∷ ν ∷ []) "Col.2.5"
  ∷ word (ε ∷ ἰ ∷ μ ∷ ι ∷ []) "Col.2.5"
  ∷ word (χ ∷ α ∷ ί ∷ ρ ∷ ω ∷ ν ∷ []) "Col.2.5"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "Col.2.5"
  ∷ word (β ∷ ∙λ ∷ έ ∷ π ∷ ω ∷ ν ∷ []) "Col.2.5"
  ∷ word (ὑ ∷ μ ∷ ῶ ∷ ν ∷ []) "Col.2.5"
  ∷ word (τ ∷ ὴ ∷ ν ∷ []) "Col.2.5"
  ∷ word (τ ∷ ά ∷ ξ ∷ ι ∷ ν ∷ []) "Col.2.5"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "Col.2.5"
  ∷ word (τ ∷ ὸ ∷ []) "Col.2.5"
  ∷ word (σ ∷ τ ∷ ε ∷ ρ ∷ έ ∷ ω ∷ μ ∷ α ∷ []) "Col.2.5"
  ∷ word (τ ∷ ῆ ∷ ς ∷ []) "Col.2.5"
  ∷ word (ε ∷ ἰ ∷ ς ∷ []) "Col.2.5"
  ∷ word (Χ ∷ ρ ∷ ι ∷ σ ∷ τ ∷ ὸ ∷ ν ∷ []) "Col.2.5"
  ∷ word (π ∷ ί ∷ σ ∷ τ ∷ ε ∷ ω ∷ ς ∷ []) "Col.2.5"
  ∷ word (ὑ ∷ μ ∷ ῶ ∷ ν ∷ []) "Col.2.5"
  ∷ word (Ὡ ∷ ς ∷ []) "Col.2.6"
  ∷ word (ο ∷ ὖ ∷ ν ∷ []) "Col.2.6"
  ∷ word (π ∷ α ∷ ρ ∷ ε ∷ ∙λ ∷ ά ∷ β ∷ ε ∷ τ ∷ ε ∷ []) "Col.2.6"
  ∷ word (τ ∷ ὸ ∷ ν ∷ []) "Col.2.6"
  ∷ word (Χ ∷ ρ ∷ ι ∷ σ ∷ τ ∷ ὸ ∷ ν ∷ []) "Col.2.6"
  ∷ word (Ἰ ∷ η ∷ σ ∷ ο ∷ ῦ ∷ ν ∷ []) "Col.2.6"
  ∷ word (τ ∷ ὸ ∷ ν ∷ []) "Col.2.6"
  ∷ word (κ ∷ ύ ∷ ρ ∷ ι ∷ ο ∷ ν ∷ []) "Col.2.6"
  ∷ word (ἐ ∷ ν ∷ []) "Col.2.6"
  ∷ word (α ∷ ὐ ∷ τ ∷ ῷ ∷ []) "Col.2.6"
  ∷ word (π ∷ ε ∷ ρ ∷ ι ∷ π ∷ α ∷ τ ∷ ε ∷ ῖ ∷ τ ∷ ε ∷ []) "Col.2.6"
  ∷ word (ἐ ∷ ρ ∷ ρ ∷ ι ∷ ζ ∷ ω ∷ μ ∷ έ ∷ ν ∷ ο ∷ ι ∷ []) "Col.2.7"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "Col.2.7"
  ∷ word (ἐ ∷ π ∷ ο ∷ ι ∷ κ ∷ ο ∷ δ ∷ ο ∷ μ ∷ ο ∷ ύ ∷ μ ∷ ε ∷ ν ∷ ο ∷ ι ∷ []) "Col.2.7"
  ∷ word (ἐ ∷ ν ∷ []) "Col.2.7"
  ∷ word (α ∷ ὐ ∷ τ ∷ ῷ ∷ []) "Col.2.7"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "Col.2.7"
  ∷ word (β ∷ ε ∷ β ∷ α ∷ ι ∷ ο ∷ ύ ∷ μ ∷ ε ∷ ν ∷ ο ∷ ι ∷ []) "Col.2.7"
  ∷ word (τ ∷ ῇ ∷ []) "Col.2.7"
  ∷ word (π ∷ ί ∷ σ ∷ τ ∷ ε ∷ ι ∷ []) "Col.2.7"
  ∷ word (κ ∷ α ∷ θ ∷ ὼ ∷ ς ∷ []) "Col.2.7"
  ∷ word (ἐ ∷ δ ∷ ι ∷ δ ∷ ά ∷ χ ∷ θ ∷ η ∷ τ ∷ ε ∷ []) "Col.2.7"
  ∷ word (π ∷ ε ∷ ρ ∷ ι ∷ σ ∷ σ ∷ ε ∷ ύ ∷ ο ∷ ν ∷ τ ∷ ε ∷ ς ∷ []) "Col.2.7"
  ∷ word (ἐ ∷ ν ∷ []) "Col.2.7"
  ∷ word (ε ∷ ὐ ∷ χ ∷ α ∷ ρ ∷ ι ∷ σ ∷ τ ∷ ί ∷ ᾳ ∷ []) "Col.2.7"
  ∷ word (Β ∷ ∙λ ∷ έ ∷ π ∷ ε ∷ τ ∷ ε ∷ []) "Col.2.8"
  ∷ word (μ ∷ ή ∷ []) "Col.2.8"
  ∷ word (τ ∷ ι ∷ ς ∷ []) "Col.2.8"
  ∷ word (ὑ ∷ μ ∷ ᾶ ∷ ς ∷ []) "Col.2.8"
  ∷ word (ἔ ∷ σ ∷ τ ∷ α ∷ ι ∷ []) "Col.2.8"
  ∷ word (ὁ ∷ []) "Col.2.8"
  ∷ word (σ ∷ υ ∷ ∙λ ∷ α ∷ γ ∷ ω ∷ γ ∷ ῶ ∷ ν ∷ []) "Col.2.8"
  ∷ word (δ ∷ ι ∷ ὰ ∷ []) "Col.2.8"
  ∷ word (τ ∷ ῆ ∷ ς ∷ []) "Col.2.8"
  ∷ word (φ ∷ ι ∷ ∙λ ∷ ο ∷ σ ∷ ο ∷ φ ∷ ί ∷ α ∷ ς ∷ []) "Col.2.8"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "Col.2.8"
  ∷ word (κ ∷ ε ∷ ν ∷ ῆ ∷ ς ∷ []) "Col.2.8"
  ∷ word (ἀ ∷ π ∷ ά ∷ τ ∷ η ∷ ς ∷ []) "Col.2.8"
  ∷ word (κ ∷ α ∷ τ ∷ ὰ ∷ []) "Col.2.8"
  ∷ word (τ ∷ ὴ ∷ ν ∷ []) "Col.2.8"
  ∷ word (π ∷ α ∷ ρ ∷ ά ∷ δ ∷ ο ∷ σ ∷ ι ∷ ν ∷ []) "Col.2.8"
  ∷ word (τ ∷ ῶ ∷ ν ∷ []) "Col.2.8"
  ∷ word (ἀ ∷ ν ∷ θ ∷ ρ ∷ ώ ∷ π ∷ ω ∷ ν ∷ []) "Col.2.8"
  ∷ word (κ ∷ α ∷ τ ∷ ὰ ∷ []) "Col.2.8"
  ∷ word (τ ∷ ὰ ∷ []) "Col.2.8"
  ∷ word (σ ∷ τ ∷ ο ∷ ι ∷ χ ∷ ε ∷ ῖ ∷ α ∷ []) "Col.2.8"
  ∷ word (τ ∷ ο ∷ ῦ ∷ []) "Col.2.8"
  ∷ word (κ ∷ ό ∷ σ ∷ μ ∷ ο ∷ υ ∷ []) "Col.2.8"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "Col.2.8"
  ∷ word (ο ∷ ὐ ∷ []) "Col.2.8"
  ∷ word (κ ∷ α ∷ τ ∷ ὰ ∷ []) "Col.2.8"
  ∷ word (Χ ∷ ρ ∷ ι ∷ σ ∷ τ ∷ ό ∷ ν ∷ []) "Col.2.8"
  ∷ word (ὅ ∷ τ ∷ ι ∷ []) "Col.2.9"
  ∷ word (ἐ ∷ ν ∷ []) "Col.2.9"
  ∷ word (α ∷ ὐ ∷ τ ∷ ῷ ∷ []) "Col.2.9"
  ∷ word (κ ∷ α ∷ τ ∷ ο ∷ ι ∷ κ ∷ ε ∷ ῖ ∷ []) "Col.2.9"
  ∷ word (π ∷ ᾶ ∷ ν ∷ []) "Col.2.9"
  ∷ word (τ ∷ ὸ ∷ []) "Col.2.9"
  ∷ word (π ∷ ∙λ ∷ ή ∷ ρ ∷ ω ∷ μ ∷ α ∷ []) "Col.2.9"
  ∷ word (τ ∷ ῆ ∷ ς ∷ []) "Col.2.9"
  ∷ word (θ ∷ ε ∷ ό ∷ τ ∷ η ∷ τ ∷ ο ∷ ς ∷ []) "Col.2.9"
  ∷ word (σ ∷ ω ∷ μ ∷ α ∷ τ ∷ ι ∷ κ ∷ ῶ ∷ ς ∷ []) "Col.2.9"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "Col.2.10"
  ∷ word (ἐ ∷ σ ∷ τ ∷ ὲ ∷ []) "Col.2.10"
  ∷ word (ἐ ∷ ν ∷ []) "Col.2.10"
  ∷ word (α ∷ ὐ ∷ τ ∷ ῷ ∷ []) "Col.2.10"
  ∷ word (π ∷ ε ∷ π ∷ ∙λ ∷ η ∷ ρ ∷ ω ∷ μ ∷ έ ∷ ν ∷ ο ∷ ι ∷ []) "Col.2.10"
  ∷ word (ὅ ∷ ς ∷ []) "Col.2.10"
  ∷ word (ἐ ∷ σ ∷ τ ∷ ι ∷ ν ∷ []) "Col.2.10"
  ∷ word (ἡ ∷ []) "Col.2.10"
  ∷ word (κ ∷ ε ∷ φ ∷ α ∷ ∙λ ∷ ὴ ∷ []) "Col.2.10"
  ∷ word (π ∷ ά ∷ σ ∷ η ∷ ς ∷ []) "Col.2.10"
  ∷ word (ἀ ∷ ρ ∷ χ ∷ ῆ ∷ ς ∷ []) "Col.2.10"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "Col.2.10"
  ∷ word (ἐ ∷ ξ ∷ ο ∷ υ ∷ σ ∷ ί ∷ α ∷ ς ∷ []) "Col.2.10"
  ∷ word (ἐ ∷ ν ∷ []) "Col.2.11"
  ∷ word (ᾧ ∷ []) "Col.2.11"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "Col.2.11"
  ∷ word (π ∷ ε ∷ ρ ∷ ι ∷ ε ∷ τ ∷ μ ∷ ή ∷ θ ∷ η ∷ τ ∷ ε ∷ []) "Col.2.11"
  ∷ word (π ∷ ε ∷ ρ ∷ ι ∷ τ ∷ ο ∷ μ ∷ ῇ ∷ []) "Col.2.11"
  ∷ word (ἀ ∷ χ ∷ ε ∷ ι ∷ ρ ∷ ο ∷ π ∷ ο ∷ ι ∷ ή ∷ τ ∷ ῳ ∷ []) "Col.2.11"
  ∷ word (ἐ ∷ ν ∷ []) "Col.2.11"
  ∷ word (τ ∷ ῇ ∷ []) "Col.2.11"
  ∷ word (ἀ ∷ π ∷ ε ∷ κ ∷ δ ∷ ύ ∷ σ ∷ ε ∷ ι ∷ []) "Col.2.11"
  ∷ word (τ ∷ ο ∷ ῦ ∷ []) "Col.2.11"
  ∷ word (σ ∷ ώ ∷ μ ∷ α ∷ τ ∷ ο ∷ ς ∷ []) "Col.2.11"
  ∷ word (τ ∷ ῆ ∷ ς ∷ []) "Col.2.11"
  ∷ word (σ ∷ α ∷ ρ ∷ κ ∷ ό ∷ ς ∷ []) "Col.2.11"
  ∷ word (ἐ ∷ ν ∷ []) "Col.2.11"
  ∷ word (τ ∷ ῇ ∷ []) "Col.2.11"
  ∷ word (π ∷ ε ∷ ρ ∷ ι ∷ τ ∷ ο ∷ μ ∷ ῇ ∷ []) "Col.2.11"
  ∷ word (τ ∷ ο ∷ ῦ ∷ []) "Col.2.11"
  ∷ word (Χ ∷ ρ ∷ ι ∷ σ ∷ τ ∷ ο ∷ ῦ ∷ []) "Col.2.11"
  ∷ word (σ ∷ υ ∷ ν ∷ τ ∷ α ∷ φ ∷ έ ∷ ν ∷ τ ∷ ε ∷ ς ∷ []) "Col.2.12"
  ∷ word (α ∷ ὐ ∷ τ ∷ ῷ ∷ []) "Col.2.12"
  ∷ word (ἐ ∷ ν ∷ []) "Col.2.12"
  ∷ word (τ ∷ ῷ ∷ []) "Col.2.12"
  ∷ word (β ∷ α ∷ π ∷ τ ∷ ι ∷ σ ∷ μ ∷ ῷ ∷ []) "Col.2.12"
  ∷ word (ἐ ∷ ν ∷ []) "Col.2.12"
  ∷ word (ᾧ ∷ []) "Col.2.12"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "Col.2.12"
  ∷ word (σ ∷ υ ∷ ν ∷ η ∷ γ ∷ έ ∷ ρ ∷ θ ∷ η ∷ τ ∷ ε ∷ []) "Col.2.12"
  ∷ word (δ ∷ ι ∷ ὰ ∷ []) "Col.2.12"
  ∷ word (τ ∷ ῆ ∷ ς ∷ []) "Col.2.12"
  ∷ word (π ∷ ί ∷ σ ∷ τ ∷ ε ∷ ω ∷ ς ∷ []) "Col.2.12"
  ∷ word (τ ∷ ῆ ∷ ς ∷ []) "Col.2.12"
  ∷ word (ἐ ∷ ν ∷ ε ∷ ρ ∷ γ ∷ ε ∷ ί ∷ α ∷ ς ∷ []) "Col.2.12"
  ∷ word (τ ∷ ο ∷ ῦ ∷ []) "Col.2.12"
  ∷ word (θ ∷ ε ∷ ο ∷ ῦ ∷ []) "Col.2.12"
  ∷ word (τ ∷ ο ∷ ῦ ∷ []) "Col.2.12"
  ∷ word (ἐ ∷ γ ∷ ε ∷ ί ∷ ρ ∷ α ∷ ν ∷ τ ∷ ο ∷ ς ∷ []) "Col.2.12"
  ∷ word (α ∷ ὐ ∷ τ ∷ ὸ ∷ ν ∷ []) "Col.2.12"
  ∷ word (ἐ ∷ κ ∷ []) "Col.2.12"
  ∷ word (ν ∷ ε ∷ κ ∷ ρ ∷ ῶ ∷ ν ∷ []) "Col.2.12"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "Col.2.13"
  ∷ word (ὑ ∷ μ ∷ ᾶ ∷ ς ∷ []) "Col.2.13"
  ∷ word (ν ∷ ε ∷ κ ∷ ρ ∷ ο ∷ ὺ ∷ ς ∷ []) "Col.2.13"
  ∷ word (ὄ ∷ ν ∷ τ ∷ α ∷ ς ∷ []) "Col.2.13"
  ∷ word (ἐ ∷ ν ∷ []) "Col.2.13"
  ∷ word (τ ∷ ο ∷ ῖ ∷ ς ∷ []) "Col.2.13"
  ∷ word (π ∷ α ∷ ρ ∷ α ∷ π ∷ τ ∷ ώ ∷ μ ∷ α ∷ σ ∷ ι ∷ ν ∷ []) "Col.2.13"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "Col.2.13"
  ∷ word (τ ∷ ῇ ∷ []) "Col.2.13"
  ∷ word (ἀ ∷ κ ∷ ρ ∷ ο ∷ β ∷ υ ∷ σ ∷ τ ∷ ί ∷ ᾳ ∷ []) "Col.2.13"
  ∷ word (τ ∷ ῆ ∷ ς ∷ []) "Col.2.13"
  ∷ word (σ ∷ α ∷ ρ ∷ κ ∷ ὸ ∷ ς ∷ []) "Col.2.13"
  ∷ word (ὑ ∷ μ ∷ ῶ ∷ ν ∷ []) "Col.2.13"
  ∷ word (σ ∷ υ ∷ ν ∷ ε ∷ ζ ∷ ω ∷ ο ∷ π ∷ ο ∷ ί ∷ η ∷ σ ∷ ε ∷ ν ∷ []) "Col.2.13"
  ∷ word (ὑ ∷ μ ∷ ᾶ ∷ ς ∷ []) "Col.2.13"
  ∷ word (σ ∷ ὺ ∷ ν ∷ []) "Col.2.13"
  ∷ word (α ∷ ὐ ∷ τ ∷ ῷ ∷ []) "Col.2.13"
  ∷ word (χ ∷ α ∷ ρ ∷ ι ∷ σ ∷ ά ∷ μ ∷ ε ∷ ν ∷ ο ∷ ς ∷ []) "Col.2.13"
  ∷ word (ἡ ∷ μ ∷ ῖ ∷ ν ∷ []) "Col.2.13"
  ∷ word (π ∷ ά ∷ ν ∷ τ ∷ α ∷ []) "Col.2.13"
  ∷ word (τ ∷ ὰ ∷ []) "Col.2.13"
  ∷ word (π ∷ α ∷ ρ ∷ α ∷ π ∷ τ ∷ ώ ∷ μ ∷ α ∷ τ ∷ α ∷ []) "Col.2.13"
  ∷ word (ἐ ∷ ξ ∷ α ∷ ∙λ ∷ ε ∷ ί ∷ ψ ∷ α ∷ ς ∷ []) "Col.2.14"
  ∷ word (τ ∷ ὸ ∷ []) "Col.2.14"
  ∷ word (κ ∷ α ∷ θ ∷ []) "Col.2.14"
  ∷ word (ἡ ∷ μ ∷ ῶ ∷ ν ∷ []) "Col.2.14"
  ∷ word (χ ∷ ε ∷ ι ∷ ρ ∷ ό ∷ γ ∷ ρ ∷ α ∷ φ ∷ ο ∷ ν ∷ []) "Col.2.14"
  ∷ word (τ ∷ ο ∷ ῖ ∷ ς ∷ []) "Col.2.14"
  ∷ word (δ ∷ ό ∷ γ ∷ μ ∷ α ∷ σ ∷ ι ∷ ν ∷ []) "Col.2.14"
  ∷ word (ὃ ∷ []) "Col.2.14"
  ∷ word (ἦ ∷ ν ∷ []) "Col.2.14"
  ∷ word (ὑ ∷ π ∷ ε ∷ ν ∷ α ∷ ν ∷ τ ∷ ί ∷ ο ∷ ν ∷ []) "Col.2.14"
  ∷ word (ἡ ∷ μ ∷ ῖ ∷ ν ∷ []) "Col.2.14"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "Col.2.14"
  ∷ word (α ∷ ὐ ∷ τ ∷ ὸ ∷ []) "Col.2.14"
  ∷ word (ἦ ∷ ρ ∷ κ ∷ ε ∷ ν ∷ []) "Col.2.14"
  ∷ word (ἐ ∷ κ ∷ []) "Col.2.14"
  ∷ word (τ ∷ ο ∷ ῦ ∷ []) "Col.2.14"
  ∷ word (μ ∷ έ ∷ σ ∷ ο ∷ υ ∷ []) "Col.2.14"
  ∷ word (π ∷ ρ ∷ ο ∷ σ ∷ η ∷ ∙λ ∷ ώ ∷ σ ∷ α ∷ ς ∷ []) "Col.2.14"
  ∷ word (α ∷ ὐ ∷ τ ∷ ὸ ∷ []) "Col.2.14"
  ∷ word (τ ∷ ῷ ∷ []) "Col.2.14"
  ∷ word (σ ∷ τ ∷ α ∷ υ ∷ ρ ∷ ῷ ∷ []) "Col.2.14"
  ∷ word (ἀ ∷ π ∷ ε ∷ κ ∷ δ ∷ υ ∷ σ ∷ ά ∷ μ ∷ ε ∷ ν ∷ ο ∷ ς ∷ []) "Col.2.15"
  ∷ word (τ ∷ ὰ ∷ ς ∷ []) "Col.2.15"
  ∷ word (ἀ ∷ ρ ∷ χ ∷ ὰ ∷ ς ∷ []) "Col.2.15"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "Col.2.15"
  ∷ word (τ ∷ ὰ ∷ ς ∷ []) "Col.2.15"
  ∷ word (ἐ ∷ ξ ∷ ο ∷ υ ∷ σ ∷ ί ∷ α ∷ ς ∷ []) "Col.2.15"
  ∷ word (ἐ ∷ δ ∷ ε ∷ ι ∷ γ ∷ μ ∷ ά ∷ τ ∷ ι ∷ σ ∷ ε ∷ ν ∷ []) "Col.2.15"
  ∷ word (ἐ ∷ ν ∷ []) "Col.2.15"
  ∷ word (π ∷ α ∷ ρ ∷ ρ ∷ η ∷ σ ∷ ί ∷ ᾳ ∷ []) "Col.2.15"
  ∷ word (θ ∷ ρ ∷ ι ∷ α ∷ μ ∷ β ∷ ε ∷ ύ ∷ σ ∷ α ∷ ς ∷ []) "Col.2.15"
  ∷ word (α ∷ ὐ ∷ τ ∷ ο ∷ ὺ ∷ ς ∷ []) "Col.2.15"
  ∷ word (ἐ ∷ ν ∷ []) "Col.2.15"
  ∷ word (α ∷ ὐ ∷ τ ∷ ῷ ∷ []) "Col.2.15"
  ∷ word (Μ ∷ ὴ ∷ []) "Col.2.16"
  ∷ word (ο ∷ ὖ ∷ ν ∷ []) "Col.2.16"
  ∷ word (τ ∷ ι ∷ ς ∷ []) "Col.2.16"
  ∷ word (ὑ ∷ μ ∷ ᾶ ∷ ς ∷ []) "Col.2.16"
  ∷ word (κ ∷ ρ ∷ ι ∷ ν ∷ έ ∷ τ ∷ ω ∷ []) "Col.2.16"
  ∷ word (ἐ ∷ ν ∷ []) "Col.2.16"
  ∷ word (β ∷ ρ ∷ ώ ∷ σ ∷ ε ∷ ι ∷ []) "Col.2.16"
  ∷ word (ἢ ∷ []) "Col.2.16"
  ∷ word (ἐ ∷ ν ∷ []) "Col.2.16"
  ∷ word (π ∷ ό ∷ σ ∷ ε ∷ ι ∷ []) "Col.2.16"
  ∷ word (ἢ ∷ []) "Col.2.16"
  ∷ word (ἐ ∷ ν ∷ []) "Col.2.16"
  ∷ word (μ ∷ έ ∷ ρ ∷ ε ∷ ι ∷ []) "Col.2.16"
  ∷ word (ἑ ∷ ο ∷ ρ ∷ τ ∷ ῆ ∷ ς ∷ []) "Col.2.16"
  ∷ word (ἢ ∷ []) "Col.2.16"
  ∷ word (ν ∷ ο ∷ υ ∷ μ ∷ η ∷ ν ∷ ί ∷ α ∷ ς ∷ []) "Col.2.16"
  ∷ word (ἢ ∷ []) "Col.2.16"
  ∷ word (σ ∷ α ∷ β ∷ β ∷ ά ∷ τ ∷ ω ∷ ν ∷ []) "Col.2.16"
  ∷ word (ἅ ∷ []) "Col.2.17"
  ∷ word (ἐ ∷ σ ∷ τ ∷ ι ∷ ν ∷ []) "Col.2.17"
  ∷ word (σ ∷ κ ∷ ι ∷ ὰ ∷ []) "Col.2.17"
  ∷ word (τ ∷ ῶ ∷ ν ∷ []) "Col.2.17"
  ∷ word (μ ∷ ε ∷ ∙λ ∷ ∙λ ∷ ό ∷ ν ∷ τ ∷ ω ∷ ν ∷ []) "Col.2.17"
  ∷ word (τ ∷ ὸ ∷ []) "Col.2.17"
  ∷ word (δ ∷ ὲ ∷ []) "Col.2.17"
  ∷ word (σ ∷ ῶ ∷ μ ∷ α ∷ []) "Col.2.17"
  ∷ word (τ ∷ ο ∷ ῦ ∷ []) "Col.2.17"
  ∷ word (Χ ∷ ρ ∷ ι ∷ σ ∷ τ ∷ ο ∷ ῦ ∷ []) "Col.2.17"
  ∷ word (μ ∷ η ∷ δ ∷ ε ∷ ὶ ∷ ς ∷ []) "Col.2.18"
  ∷ word (ὑ ∷ μ ∷ ᾶ ∷ ς ∷ []) "Col.2.18"
  ∷ word (κ ∷ α ∷ τ ∷ α ∷ β ∷ ρ ∷ α ∷ β ∷ ε ∷ υ ∷ έ ∷ τ ∷ ω ∷ []) "Col.2.18"
  ∷ word (θ ∷ έ ∷ ∙λ ∷ ω ∷ ν ∷ []) "Col.2.18"
  ∷ word (ἐ ∷ ν ∷ []) "Col.2.18"
  ∷ word (τ ∷ α ∷ π ∷ ε ∷ ι ∷ ν ∷ ο ∷ φ ∷ ρ ∷ ο ∷ σ ∷ ύ ∷ ν ∷ ῃ ∷ []) "Col.2.18"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "Col.2.18"
  ∷ word (θ ∷ ρ ∷ η ∷ σ ∷ κ ∷ ε ∷ ί ∷ ᾳ ∷ []) "Col.2.18"
  ∷ word (τ ∷ ῶ ∷ ν ∷ []) "Col.2.18"
  ∷ word (ἀ ∷ γ ∷ γ ∷ έ ∷ ∙λ ∷ ω ∷ ν ∷ []) "Col.2.18"
  ∷ word (ἃ ∷ []) "Col.2.18"
  ∷ word (ἑ ∷ ό ∷ ρ ∷ α ∷ κ ∷ ε ∷ ν ∷ []) "Col.2.18"
  ∷ word (ἐ ∷ μ ∷ β ∷ α ∷ τ ∷ ε ∷ ύ ∷ ω ∷ ν ∷ []) "Col.2.18"
  ∷ word (ε ∷ ἰ ∷ κ ∷ ῇ ∷ []) "Col.2.18"
  ∷ word (φ ∷ υ ∷ σ ∷ ι ∷ ο ∷ ύ ∷ μ ∷ ε ∷ ν ∷ ο ∷ ς ∷ []) "Col.2.18"
  ∷ word (ὑ ∷ π ∷ ὸ ∷ []) "Col.2.18"
  ∷ word (τ ∷ ο ∷ ῦ ∷ []) "Col.2.18"
  ∷ word (ν ∷ ο ∷ ὸ ∷ ς ∷ []) "Col.2.18"
  ∷ word (τ ∷ ῆ ∷ ς ∷ []) "Col.2.18"
  ∷ word (σ ∷ α ∷ ρ ∷ κ ∷ ὸ ∷ ς ∷ []) "Col.2.18"
  ∷ word (α ∷ ὐ ∷ τ ∷ ο ∷ ῦ ∷ []) "Col.2.18"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "Col.2.19"
  ∷ word (ο ∷ ὐ ∷ []) "Col.2.19"
  ∷ word (κ ∷ ρ ∷ α ∷ τ ∷ ῶ ∷ ν ∷ []) "Col.2.19"
  ∷ word (τ ∷ ὴ ∷ ν ∷ []) "Col.2.19"
  ∷ word (κ ∷ ε ∷ φ ∷ α ∷ ∙λ ∷ ή ∷ ν ∷ []) "Col.2.19"
  ∷ word (ἐ ∷ ξ ∷ []) "Col.2.19"
  ∷ word (ο ∷ ὗ ∷ []) "Col.2.19"
  ∷ word (π ∷ ᾶ ∷ ν ∷ []) "Col.2.19"
  ∷ word (τ ∷ ὸ ∷ []) "Col.2.19"
  ∷ word (σ ∷ ῶ ∷ μ ∷ α ∷ []) "Col.2.19"
  ∷ word (δ ∷ ι ∷ ὰ ∷ []) "Col.2.19"
  ∷ word (τ ∷ ῶ ∷ ν ∷ []) "Col.2.19"
  ∷ word (ἁ ∷ φ ∷ ῶ ∷ ν ∷ []) "Col.2.19"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "Col.2.19"
  ∷ word (σ ∷ υ ∷ ν ∷ δ ∷ έ ∷ σ ∷ μ ∷ ω ∷ ν ∷ []) "Col.2.19"
  ∷ word (ἐ ∷ π ∷ ι ∷ χ ∷ ο ∷ ρ ∷ η ∷ γ ∷ ο ∷ ύ ∷ μ ∷ ε ∷ ν ∷ ο ∷ ν ∷ []) "Col.2.19"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "Col.2.19"
  ∷ word (σ ∷ υ ∷ μ ∷ β ∷ ι ∷ β ∷ α ∷ ζ ∷ ό ∷ μ ∷ ε ∷ ν ∷ ο ∷ ν ∷ []) "Col.2.19"
  ∷ word (α ∷ ὔ ∷ ξ ∷ ε ∷ ι ∷ []) "Col.2.19"
  ∷ word (τ ∷ ὴ ∷ ν ∷ []) "Col.2.19"
  ∷ word (α ∷ ὔ ∷ ξ ∷ η ∷ σ ∷ ι ∷ ν ∷ []) "Col.2.19"
  ∷ word (τ ∷ ο ∷ ῦ ∷ []) "Col.2.19"
  ∷ word (θ ∷ ε ∷ ο ∷ ῦ ∷ []) "Col.2.19"
  ∷ word (Ε ∷ ἰ ∷ []) "Col.2.20"
  ∷ word (ἀ ∷ π ∷ ε ∷ θ ∷ ά ∷ ν ∷ ε ∷ τ ∷ ε ∷ []) "Col.2.20"
  ∷ word (σ ∷ ὺ ∷ ν ∷ []) "Col.2.20"
  ∷ word (Χ ∷ ρ ∷ ι ∷ σ ∷ τ ∷ ῷ ∷ []) "Col.2.20"
  ∷ word (ἀ ∷ π ∷ ὸ ∷ []) "Col.2.20"
  ∷ word (τ ∷ ῶ ∷ ν ∷ []) "Col.2.20"
  ∷ word (σ ∷ τ ∷ ο ∷ ι ∷ χ ∷ ε ∷ ί ∷ ω ∷ ν ∷ []) "Col.2.20"
  ∷ word (τ ∷ ο ∷ ῦ ∷ []) "Col.2.20"
  ∷ word (κ ∷ ό ∷ σ ∷ μ ∷ ο ∷ υ ∷ []) "Col.2.20"
  ∷ word (τ ∷ ί ∷ []) "Col.2.20"
  ∷ word (ὡ ∷ ς ∷ []) "Col.2.20"
  ∷ word (ζ ∷ ῶ ∷ ν ∷ τ ∷ ε ∷ ς ∷ []) "Col.2.20"
  ∷ word (ἐ ∷ ν ∷ []) "Col.2.20"
  ∷ word (κ ∷ ό ∷ σ ∷ μ ∷ ῳ ∷ []) "Col.2.20"
  ∷ word (δ ∷ ο ∷ γ ∷ μ ∷ α ∷ τ ∷ ί ∷ ζ ∷ ε ∷ σ ∷ θ ∷ ε ∷ []) "Col.2.20"
  ∷ word (Μ ∷ ὴ ∷ []) "Col.2.21"
  ∷ word (ἅ ∷ ψ ∷ ῃ ∷ []) "Col.2.21"
  ∷ word (μ ∷ η ∷ δ ∷ ὲ ∷ []) "Col.2.21"
  ∷ word (γ ∷ ε ∷ ύ ∷ σ ∷ ῃ ∷ []) "Col.2.21"
  ∷ word (μ ∷ η ∷ δ ∷ ὲ ∷ []) "Col.2.21"
  ∷ word (θ ∷ ί ∷ γ ∷ ῃ ∷ ς ∷ []) "Col.2.21"
  ∷ word (ἅ ∷ []) "Col.2.22"
  ∷ word (ἐ ∷ σ ∷ τ ∷ ι ∷ ν ∷ []) "Col.2.22"
  ∷ word (π ∷ ά ∷ ν ∷ τ ∷ α ∷ []) "Col.2.22"
  ∷ word (ε ∷ ἰ ∷ ς ∷ []) "Col.2.22"
  ∷ word (φ ∷ θ ∷ ο ∷ ρ ∷ ὰ ∷ ν ∷ []) "Col.2.22"
  ∷ word (τ ∷ ῇ ∷ []) "Col.2.22"
  ∷ word (ἀ ∷ π ∷ ο ∷ χ ∷ ρ ∷ ή ∷ σ ∷ ε ∷ ι ∷ []) "Col.2.22"
  ∷ word (κ ∷ α ∷ τ ∷ ὰ ∷ []) "Col.2.22"
  ∷ word (τ ∷ ὰ ∷ []) "Col.2.22"
  ∷ word (ἐ ∷ ν ∷ τ ∷ ά ∷ ∙λ ∷ μ ∷ α ∷ τ ∷ α ∷ []) "Col.2.22"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "Col.2.22"
  ∷ word (δ ∷ ι ∷ δ ∷ α ∷ σ ∷ κ ∷ α ∷ ∙λ ∷ ί ∷ α ∷ ς ∷ []) "Col.2.22"
  ∷ word (τ ∷ ῶ ∷ ν ∷ []) "Col.2.22"
  ∷ word (ἀ ∷ ν ∷ θ ∷ ρ ∷ ώ ∷ π ∷ ω ∷ ν ∷ []) "Col.2.22"
  ∷ word (ἅ ∷ τ ∷ ι ∷ ν ∷ ά ∷ []) "Col.2.23"
  ∷ word (ἐ ∷ σ ∷ τ ∷ ι ∷ ν ∷ []) "Col.2.23"
  ∷ word (∙λ ∷ ό ∷ γ ∷ ο ∷ ν ∷ []) "Col.2.23"
  ∷ word (μ ∷ ὲ ∷ ν ∷ []) "Col.2.23"
  ∷ word (ἔ ∷ χ ∷ ο ∷ ν ∷ τ ∷ α ∷ []) "Col.2.23"
  ∷ word (σ ∷ ο ∷ φ ∷ ί ∷ α ∷ ς ∷ []) "Col.2.23"
  ∷ word (ἐ ∷ ν ∷ []) "Col.2.23"
  ∷ word (ἐ ∷ θ ∷ ε ∷ ∙λ ∷ ο ∷ θ ∷ ρ ∷ η ∷ σ ∷ κ ∷ ί ∷ ᾳ ∷ []) "Col.2.23"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "Col.2.23"
  ∷ word (τ ∷ α ∷ π ∷ ε ∷ ι ∷ ν ∷ ο ∷ φ ∷ ρ ∷ ο ∷ σ ∷ ύ ∷ ν ∷ ῃ ∷ []) "Col.2.23"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "Col.2.23"
  ∷ word (ἀ ∷ φ ∷ ε ∷ ι ∷ δ ∷ ί ∷ ᾳ ∷ []) "Col.2.23"
  ∷ word (σ ∷ ώ ∷ μ ∷ α ∷ τ ∷ ο ∷ ς ∷ []) "Col.2.23"
  ∷ word (ο ∷ ὐ ∷ κ ∷ []) "Col.2.23"
  ∷ word (ἐ ∷ ν ∷ []) "Col.2.23"
  ∷ word (τ ∷ ι ∷ μ ∷ ῇ ∷ []) "Col.2.23"
  ∷ word (τ ∷ ι ∷ ν ∷ ι ∷ []) "Col.2.23"
  ∷ word (π ∷ ρ ∷ ὸ ∷ ς ∷ []) "Col.2.23"
  ∷ word (π ∷ ∙λ ∷ η ∷ σ ∷ μ ∷ ο ∷ ν ∷ ὴ ∷ ν ∷ []) "Col.2.23"
  ∷ word (τ ∷ ῆ ∷ ς ∷ []) "Col.2.23"
  ∷ word (σ ∷ α ∷ ρ ∷ κ ∷ ό ∷ ς ∷ []) "Col.2.23"
  ∷ word (Ε ∷ ἰ ∷ []) "Col.3.1"
  ∷ word (ο ∷ ὖ ∷ ν ∷ []) "Col.3.1"
  ∷ word (σ ∷ υ ∷ ν ∷ η ∷ γ ∷ έ ∷ ρ ∷ θ ∷ η ∷ τ ∷ ε ∷ []) "Col.3.1"
  ∷ word (τ ∷ ῷ ∷ []) "Col.3.1"
  ∷ word (Χ ∷ ρ ∷ ι ∷ σ ∷ τ ∷ ῷ ∷ []) "Col.3.1"
  ∷ word (τ ∷ ὰ ∷ []) "Col.3.1"
  ∷ word (ἄ ∷ ν ∷ ω ∷ []) "Col.3.1"
  ∷ word (ζ ∷ η ∷ τ ∷ ε ∷ ῖ ∷ τ ∷ ε ∷ []) "Col.3.1"
  ∷ word (ο ∷ ὗ ∷ []) "Col.3.1"
  ∷ word (ὁ ∷ []) "Col.3.1"
  ∷ word (Χ ∷ ρ ∷ ι ∷ σ ∷ τ ∷ ό ∷ ς ∷ []) "Col.3.1"
  ∷ word (ἐ ∷ σ ∷ τ ∷ ι ∷ ν ∷ []) "Col.3.1"
  ∷ word (ἐ ∷ ν ∷ []) "Col.3.1"
  ∷ word (δ ∷ ε ∷ ξ ∷ ι ∷ ᾷ ∷ []) "Col.3.1"
  ∷ word (τ ∷ ο ∷ ῦ ∷ []) "Col.3.1"
  ∷ word (θ ∷ ε ∷ ο ∷ ῦ ∷ []) "Col.3.1"
  ∷ word (κ ∷ α ∷ θ ∷ ή ∷ μ ∷ ε ∷ ν ∷ ο ∷ ς ∷ []) "Col.3.1"
  ∷ word (τ ∷ ὰ ∷ []) "Col.3.2"
  ∷ word (ἄ ∷ ν ∷ ω ∷ []) "Col.3.2"
  ∷ word (φ ∷ ρ ∷ ο ∷ ν ∷ ε ∷ ῖ ∷ τ ∷ ε ∷ []) "Col.3.2"
  ∷ word (μ ∷ ὴ ∷ []) "Col.3.2"
  ∷ word (τ ∷ ὰ ∷ []) "Col.3.2"
  ∷ word (ἐ ∷ π ∷ ὶ ∷ []) "Col.3.2"
  ∷ word (τ ∷ ῆ ∷ ς ∷ []) "Col.3.2"
  ∷ word (γ ∷ ῆ ∷ ς ∷ []) "Col.3.2"
  ∷ word (ἀ ∷ π ∷ ε ∷ θ ∷ ά ∷ ν ∷ ε ∷ τ ∷ ε ∷ []) "Col.3.3"
  ∷ word (γ ∷ ά ∷ ρ ∷ []) "Col.3.3"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "Col.3.3"
  ∷ word (ἡ ∷ []) "Col.3.3"
  ∷ word (ζ ∷ ω ∷ ὴ ∷ []) "Col.3.3"
  ∷ word (ὑ ∷ μ ∷ ῶ ∷ ν ∷ []) "Col.3.3"
  ∷ word (κ ∷ έ ∷ κ ∷ ρ ∷ υ ∷ π ∷ τ ∷ α ∷ ι ∷ []) "Col.3.3"
  ∷ word (σ ∷ ὺ ∷ ν ∷ []) "Col.3.3"
  ∷ word (τ ∷ ῷ ∷ []) "Col.3.3"
  ∷ word (Χ ∷ ρ ∷ ι ∷ σ ∷ τ ∷ ῷ ∷ []) "Col.3.3"
  ∷ word (ἐ ∷ ν ∷ []) "Col.3.3"
  ∷ word (τ ∷ ῷ ∷ []) "Col.3.3"
  ∷ word (θ ∷ ε ∷ ῷ ∷ []) "Col.3.3"
  ∷ word (ὅ ∷ τ ∷ α ∷ ν ∷ []) "Col.3.4"
  ∷ word (ὁ ∷ []) "Col.3.4"
  ∷ word (Χ ∷ ρ ∷ ι ∷ σ ∷ τ ∷ ὸ ∷ ς ∷ []) "Col.3.4"
  ∷ word (φ ∷ α ∷ ν ∷ ε ∷ ρ ∷ ω ∷ θ ∷ ῇ ∷ []) "Col.3.4"
  ∷ word (ἡ ∷ []) "Col.3.4"
  ∷ word (ζ ∷ ω ∷ ὴ ∷ []) "Col.3.4"
  ∷ word (ὑ ∷ μ ∷ ῶ ∷ ν ∷ []) "Col.3.4"
  ∷ word (τ ∷ ό ∷ τ ∷ ε ∷ []) "Col.3.4"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "Col.3.4"
  ∷ word (ὑ ∷ μ ∷ ε ∷ ῖ ∷ ς ∷ []) "Col.3.4"
  ∷ word (σ ∷ ὺ ∷ ν ∷ []) "Col.3.4"
  ∷ word (α ∷ ὐ ∷ τ ∷ ῷ ∷ []) "Col.3.4"
  ∷ word (φ ∷ α ∷ ν ∷ ε ∷ ρ ∷ ω ∷ θ ∷ ή ∷ σ ∷ ε ∷ σ ∷ θ ∷ ε ∷ []) "Col.3.4"
  ∷ word (ἐ ∷ ν ∷ []) "Col.3.4"
  ∷ word (δ ∷ ό ∷ ξ ∷ ῃ ∷ []) "Col.3.4"
  ∷ word (Ν ∷ ε ∷ κ ∷ ρ ∷ ώ ∷ σ ∷ α ∷ τ ∷ ε ∷ []) "Col.3.5"
  ∷ word (ο ∷ ὖ ∷ ν ∷ []) "Col.3.5"
  ∷ word (τ ∷ ὰ ∷ []) "Col.3.5"
  ∷ word (μ ∷ έ ∷ ∙λ ∷ η ∷ []) "Col.3.5"
  ∷ word (τ ∷ ὰ ∷ []) "Col.3.5"
  ∷ word (ἐ ∷ π ∷ ὶ ∷ []) "Col.3.5"
  ∷ word (τ ∷ ῆ ∷ ς ∷ []) "Col.3.5"
  ∷ word (γ ∷ ῆ ∷ ς ∷ []) "Col.3.5"
  ∷ word (π ∷ ο ∷ ρ ∷ ν ∷ ε ∷ ί ∷ α ∷ ν ∷ []) "Col.3.5"
  ∷ word (ἀ ∷ κ ∷ α ∷ θ ∷ α ∷ ρ ∷ σ ∷ ί ∷ α ∷ ν ∷ []) "Col.3.5"
  ∷ word (π ∷ ά ∷ θ ∷ ο ∷ ς ∷ []) "Col.3.5"
  ∷ word (ἐ ∷ π ∷ ι ∷ θ ∷ υ ∷ μ ∷ ί ∷ α ∷ ν ∷ []) "Col.3.5"
  ∷ word (κ ∷ α ∷ κ ∷ ή ∷ ν ∷ []) "Col.3.5"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "Col.3.5"
  ∷ word (τ ∷ ὴ ∷ ν ∷ []) "Col.3.5"
  ∷ word (π ∷ ∙λ ∷ ε ∷ ο ∷ ν ∷ ε ∷ ξ ∷ ί ∷ α ∷ ν ∷ []) "Col.3.5"
  ∷ word (ἥ ∷ τ ∷ ι ∷ ς ∷ []) "Col.3.5"
  ∷ word (ἐ ∷ σ ∷ τ ∷ ὶ ∷ ν ∷ []) "Col.3.5"
  ∷ word (ε ∷ ἰ ∷ δ ∷ ω ∷ ∙λ ∷ ο ∷ ∙λ ∷ α ∷ τ ∷ ρ ∷ ί ∷ α ∷ []) "Col.3.5"
  ∷ word (δ ∷ ι ∷ []) "Col.3.6"
  ∷ word (ἃ ∷ []) "Col.3.6"
  ∷ word (ἔ ∷ ρ ∷ χ ∷ ε ∷ τ ∷ α ∷ ι ∷ []) "Col.3.6"
  ∷ word (ἡ ∷ []) "Col.3.6"
  ∷ word (ὀ ∷ ρ ∷ γ ∷ ὴ ∷ []) "Col.3.6"
  ∷ word (τ ∷ ο ∷ ῦ ∷ []) "Col.3.6"
  ∷ word (θ ∷ ε ∷ ο ∷ ῦ ∷ []) "Col.3.6"
  ∷ word (ἐ ∷ π ∷ ὶ ∷ []) "Col.3.6"
  ∷ word (τ ∷ ο ∷ ὺ ∷ ς ∷ []) "Col.3.6"
  ∷ word (υ ∷ ἱ ∷ ο ∷ ὺ ∷ ς ∷ []) "Col.3.6"
  ∷ word (τ ∷ ῆ ∷ ς ∷ []) "Col.3.6"
  ∷ word (ἀ ∷ π ∷ ε ∷ ι ∷ θ ∷ ε ∷ ί ∷ α ∷ ς ∷ []) "Col.3.6"
  ∷ word (ἐ ∷ ν ∷ []) "Col.3.7"
  ∷ word (ο ∷ ἷ ∷ ς ∷ []) "Col.3.7"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "Col.3.7"
  ∷ word (ὑ ∷ μ ∷ ε ∷ ῖ ∷ ς ∷ []) "Col.3.7"
  ∷ word (π ∷ ε ∷ ρ ∷ ι ∷ ε ∷ π ∷ α ∷ τ ∷ ή ∷ σ ∷ α ∷ τ ∷ έ ∷ []) "Col.3.7"
  ∷ word (π ∷ ο ∷ τ ∷ ε ∷ []) "Col.3.7"
  ∷ word (ὅ ∷ τ ∷ ε ∷ []) "Col.3.7"
  ∷ word (ἐ ∷ ζ ∷ ῆ ∷ τ ∷ ε ∷ []) "Col.3.7"
  ∷ word (ἐ ∷ ν ∷ []) "Col.3.7"
  ∷ word (τ ∷ ο ∷ ύ ∷ τ ∷ ο ∷ ι ∷ ς ∷ []) "Col.3.7"
  ∷ word (ν ∷ υ ∷ ν ∷ ὶ ∷ []) "Col.3.8"
  ∷ word (δ ∷ ὲ ∷ []) "Col.3.8"
  ∷ word (ἀ ∷ π ∷ ό ∷ θ ∷ ε ∷ σ ∷ θ ∷ ε ∷ []) "Col.3.8"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "Col.3.8"
  ∷ word (ὑ ∷ μ ∷ ε ∷ ῖ ∷ ς ∷ []) "Col.3.8"
  ∷ word (τ ∷ ὰ ∷ []) "Col.3.8"
  ∷ word (π ∷ ά ∷ ν ∷ τ ∷ α ∷ []) "Col.3.8"
  ∷ word (ὀ ∷ ρ ∷ γ ∷ ή ∷ ν ∷ []) "Col.3.8"
  ∷ word (θ ∷ υ ∷ μ ∷ ό ∷ ν ∷ []) "Col.3.8"
  ∷ word (κ ∷ α ∷ κ ∷ ί ∷ α ∷ ν ∷ []) "Col.3.8"
  ∷ word (β ∷ ∙λ ∷ α ∷ σ ∷ φ ∷ η ∷ μ ∷ ί ∷ α ∷ ν ∷ []) "Col.3.8"
  ∷ word (α ∷ ἰ ∷ σ ∷ χ ∷ ρ ∷ ο ∷ ∙λ ∷ ο ∷ γ ∷ ί ∷ α ∷ ν ∷ []) "Col.3.8"
  ∷ word (ἐ ∷ κ ∷ []) "Col.3.8"
  ∷ word (τ ∷ ο ∷ ῦ ∷ []) "Col.3.8"
  ∷ word (σ ∷ τ ∷ ό ∷ μ ∷ α ∷ τ ∷ ο ∷ ς ∷ []) "Col.3.8"
  ∷ word (ὑ ∷ μ ∷ ῶ ∷ ν ∷ []) "Col.3.8"
  ∷ word (μ ∷ ὴ ∷ []) "Col.3.9"
  ∷ word (ψ ∷ ε ∷ ύ ∷ δ ∷ ε ∷ σ ∷ θ ∷ ε ∷ []) "Col.3.9"
  ∷ word (ε ∷ ἰ ∷ ς ∷ []) "Col.3.9"
  ∷ word (ἀ ∷ ∙λ ∷ ∙λ ∷ ή ∷ ∙λ ∷ ο ∷ υ ∷ ς ∷ []) "Col.3.9"
  ∷ word (ἀ ∷ π ∷ ε ∷ κ ∷ δ ∷ υ ∷ σ ∷ ά ∷ μ ∷ ε ∷ ν ∷ ο ∷ ι ∷ []) "Col.3.9"
  ∷ word (τ ∷ ὸ ∷ ν ∷ []) "Col.3.9"
  ∷ word (π ∷ α ∷ ∙λ ∷ α ∷ ι ∷ ὸ ∷ ν ∷ []) "Col.3.9"
  ∷ word (ἄ ∷ ν ∷ θ ∷ ρ ∷ ω ∷ π ∷ ο ∷ ν ∷ []) "Col.3.9"
  ∷ word (σ ∷ ὺ ∷ ν ∷ []) "Col.3.9"
  ∷ word (τ ∷ α ∷ ῖ ∷ ς ∷ []) "Col.3.9"
  ∷ word (π ∷ ρ ∷ ά ∷ ξ ∷ ε ∷ σ ∷ ι ∷ ν ∷ []) "Col.3.9"
  ∷ word (α ∷ ὐ ∷ τ ∷ ο ∷ ῦ ∷ []) "Col.3.9"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "Col.3.10"
  ∷ word (ἐ ∷ ν ∷ δ ∷ υ ∷ σ ∷ ά ∷ μ ∷ ε ∷ ν ∷ ο ∷ ι ∷ []) "Col.3.10"
  ∷ word (τ ∷ ὸ ∷ ν ∷ []) "Col.3.10"
  ∷ word (ν ∷ έ ∷ ο ∷ ν ∷ []) "Col.3.10"
  ∷ word (τ ∷ ὸ ∷ ν ∷ []) "Col.3.10"
  ∷ word (ἀ ∷ ν ∷ α ∷ κ ∷ α ∷ ι ∷ ν ∷ ο ∷ ύ ∷ μ ∷ ε ∷ ν ∷ ο ∷ ν ∷ []) "Col.3.10"
  ∷ word (ε ∷ ἰ ∷ ς ∷ []) "Col.3.10"
  ∷ word (ἐ ∷ π ∷ ί ∷ γ ∷ ν ∷ ω ∷ σ ∷ ι ∷ ν ∷ []) "Col.3.10"
  ∷ word (κ ∷ α ∷ τ ∷ []) "Col.3.10"
  ∷ word (ε ∷ ἰ ∷ κ ∷ ό ∷ ν ∷ α ∷ []) "Col.3.10"
  ∷ word (τ ∷ ο ∷ ῦ ∷ []) "Col.3.10"
  ∷ word (κ ∷ τ ∷ ί ∷ σ ∷ α ∷ ν ∷ τ ∷ ο ∷ ς ∷ []) "Col.3.10"
  ∷ word (α ∷ ὐ ∷ τ ∷ ό ∷ ν ∷ []) "Col.3.10"
  ∷ word (ὅ ∷ π ∷ ο ∷ υ ∷ []) "Col.3.11"
  ∷ word (ο ∷ ὐ ∷ κ ∷ []) "Col.3.11"
  ∷ word (ἔ ∷ ν ∷ ι ∷ []) "Col.3.11"
  ∷ word (Ἕ ∷ ∙λ ∷ ∙λ ∷ η ∷ ν ∷ []) "Col.3.11"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "Col.3.11"
  ∷ word (Ἰ ∷ ο ∷ υ ∷ δ ∷ α ∷ ῖ ∷ ο ∷ ς ∷ []) "Col.3.11"
  ∷ word (π ∷ ε ∷ ρ ∷ ι ∷ τ ∷ ο ∷ μ ∷ ὴ ∷ []) "Col.3.11"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "Col.3.11"
  ∷ word (ἀ ∷ κ ∷ ρ ∷ ο ∷ β ∷ υ ∷ σ ∷ τ ∷ ί ∷ α ∷ []) "Col.3.11"
  ∷ word (β ∷ ά ∷ ρ ∷ β ∷ α ∷ ρ ∷ ο ∷ ς ∷ []) "Col.3.11"
  ∷ word (Σ ∷ κ ∷ ύ ∷ θ ∷ η ∷ ς ∷ []) "Col.3.11"
  ∷ word (δ ∷ ο ∷ ῦ ∷ ∙λ ∷ ο ∷ ς ∷ []) "Col.3.11"
  ∷ word (ἐ ∷ ∙λ ∷ ε ∷ ύ ∷ θ ∷ ε ∷ ρ ∷ ο ∷ ς ∷ []) "Col.3.11"
  ∷ word (ἀ ∷ ∙λ ∷ ∙λ ∷ ὰ ∷ []) "Col.3.11"
  ∷ word (τ ∷ ὰ ∷ []) "Col.3.11"
  ∷ word (π ∷ ά ∷ ν ∷ τ ∷ α ∷ []) "Col.3.11"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "Col.3.11"
  ∷ word (ἐ ∷ ν ∷ []) "Col.3.11"
  ∷ word (π ∷ ᾶ ∷ σ ∷ ι ∷ ν ∷ []) "Col.3.11"
  ∷ word (Χ ∷ ρ ∷ ι ∷ σ ∷ τ ∷ ό ∷ ς ∷ []) "Col.3.11"
  ∷ word (Ἐ ∷ ν ∷ δ ∷ ύ ∷ σ ∷ α ∷ σ ∷ θ ∷ ε ∷ []) "Col.3.12"
  ∷ word (ο ∷ ὖ ∷ ν ∷ []) "Col.3.12"
  ∷ word (ὡ ∷ ς ∷ []) "Col.3.12"
  ∷ word (ἐ ∷ κ ∷ ∙λ ∷ ε ∷ κ ∷ τ ∷ ο ∷ ὶ ∷ []) "Col.3.12"
  ∷ word (τ ∷ ο ∷ ῦ ∷ []) "Col.3.12"
  ∷ word (θ ∷ ε ∷ ο ∷ ῦ ∷ []) "Col.3.12"
  ∷ word (ἅ ∷ γ ∷ ι ∷ ο ∷ ι ∷ []) "Col.3.12"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "Col.3.12"
  ∷ word (ἠ ∷ γ ∷ α ∷ π ∷ η ∷ μ ∷ έ ∷ ν ∷ ο ∷ ι ∷ []) "Col.3.12"
  ∷ word (σ ∷ π ∷ ∙λ ∷ ά ∷ γ ∷ χ ∷ ν ∷ α ∷ []) "Col.3.12"
  ∷ word (ο ∷ ἰ ∷ κ ∷ τ ∷ ι ∷ ρ ∷ μ ∷ ο ∷ ῦ ∷ []) "Col.3.12"
  ∷ word (χ ∷ ρ ∷ η ∷ σ ∷ τ ∷ ό ∷ τ ∷ η ∷ τ ∷ α ∷ []) "Col.3.12"
  ∷ word (τ ∷ α ∷ π ∷ ε ∷ ι ∷ ν ∷ ο ∷ φ ∷ ρ ∷ ο ∷ σ ∷ ύ ∷ ν ∷ η ∷ ν ∷ []) "Col.3.12"
  ∷ word (π ∷ ρ ∷ α ∷ ΰ ∷ τ ∷ η ∷ τ ∷ α ∷ []) "Col.3.12"
  ∷ word (μ ∷ α ∷ κ ∷ ρ ∷ ο ∷ θ ∷ υ ∷ μ ∷ ί ∷ α ∷ ν ∷ []) "Col.3.12"
  ∷ word (ἀ ∷ ν ∷ ε ∷ χ ∷ ό ∷ μ ∷ ε ∷ ν ∷ ο ∷ ι ∷ []) "Col.3.13"
  ∷ word (ἀ ∷ ∙λ ∷ ∙λ ∷ ή ∷ ∙λ ∷ ω ∷ ν ∷ []) "Col.3.13"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "Col.3.13"
  ∷ word (χ ∷ α ∷ ρ ∷ ι ∷ ζ ∷ ό ∷ μ ∷ ε ∷ ν ∷ ο ∷ ι ∷ []) "Col.3.13"
  ∷ word (ἑ ∷ α ∷ υ ∷ τ ∷ ο ∷ ῖ ∷ ς ∷ []) "Col.3.13"
  ∷ word (ἐ ∷ ά ∷ ν ∷ []) "Col.3.13"
  ∷ word (τ ∷ ι ∷ ς ∷ []) "Col.3.13"
  ∷ word (π ∷ ρ ∷ ό ∷ ς ∷ []) "Col.3.13"
  ∷ word (τ ∷ ι ∷ ν ∷ α ∷ []) "Col.3.13"
  ∷ word (ἔ ∷ χ ∷ ῃ ∷ []) "Col.3.13"
  ∷ word (μ ∷ ο ∷ μ ∷ φ ∷ ή ∷ ν ∷ []) "Col.3.13"
  ∷ word (κ ∷ α ∷ θ ∷ ὼ ∷ ς ∷ []) "Col.3.13"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "Col.3.13"
  ∷ word (ὁ ∷ []) "Col.3.13"
  ∷ word (κ ∷ ύ ∷ ρ ∷ ι ∷ ο ∷ ς ∷ []) "Col.3.13"
  ∷ word (ἐ ∷ χ ∷ α ∷ ρ ∷ ί ∷ σ ∷ α ∷ τ ∷ ο ∷ []) "Col.3.13"
  ∷ word (ὑ ∷ μ ∷ ῖ ∷ ν ∷ []) "Col.3.13"
  ∷ word (ο ∷ ὕ ∷ τ ∷ ω ∷ ς ∷ []) "Col.3.13"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "Col.3.13"
  ∷ word (ὑ ∷ μ ∷ ε ∷ ῖ ∷ ς ∷ []) "Col.3.13"
  ∷ word (ἐ ∷ π ∷ ὶ ∷ []) "Col.3.14"
  ∷ word (π ∷ ᾶ ∷ σ ∷ ι ∷ ν ∷ []) "Col.3.14"
  ∷ word (δ ∷ ὲ ∷ []) "Col.3.14"
  ∷ word (τ ∷ ο ∷ ύ ∷ τ ∷ ο ∷ ι ∷ ς ∷ []) "Col.3.14"
  ∷ word (τ ∷ ὴ ∷ ν ∷ []) "Col.3.14"
  ∷ word (ἀ ∷ γ ∷ ά ∷ π ∷ η ∷ ν ∷ []) "Col.3.14"
  ∷ word (ὅ ∷ []) "Col.3.14"
  ∷ word (ἐ ∷ σ ∷ τ ∷ ι ∷ ν ∷ []) "Col.3.14"
  ∷ word (σ ∷ ύ ∷ ν ∷ δ ∷ ε ∷ σ ∷ μ ∷ ο ∷ ς ∷ []) "Col.3.14"
  ∷ word (τ ∷ ῆ ∷ ς ∷ []) "Col.3.14"
  ∷ word (τ ∷ ε ∷ ∙λ ∷ ε ∷ ι ∷ ό ∷ τ ∷ η ∷ τ ∷ ο ∷ ς ∷ []) "Col.3.14"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "Col.3.15"
  ∷ word (ἡ ∷ []) "Col.3.15"
  ∷ word (ε ∷ ἰ ∷ ρ ∷ ή ∷ ν ∷ η ∷ []) "Col.3.15"
  ∷ word (τ ∷ ο ∷ ῦ ∷ []) "Col.3.15"
  ∷ word (Χ ∷ ρ ∷ ι ∷ σ ∷ τ ∷ ο ∷ ῦ ∷ []) "Col.3.15"
  ∷ word (β ∷ ρ ∷ α ∷ β ∷ ε ∷ υ ∷ έ ∷ τ ∷ ω ∷ []) "Col.3.15"
  ∷ word (ἐ ∷ ν ∷ []) "Col.3.15"
  ∷ word (τ ∷ α ∷ ῖ ∷ ς ∷ []) "Col.3.15"
  ∷ word (κ ∷ α ∷ ρ ∷ δ ∷ ί ∷ α ∷ ι ∷ ς ∷ []) "Col.3.15"
  ∷ word (ὑ ∷ μ ∷ ῶ ∷ ν ∷ []) "Col.3.15"
  ∷ word (ε ∷ ἰ ∷ ς ∷ []) "Col.3.15"
  ∷ word (ἣ ∷ ν ∷ []) "Col.3.15"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "Col.3.15"
  ∷ word (ἐ ∷ κ ∷ ∙λ ∷ ή ∷ θ ∷ η ∷ τ ∷ ε ∷ []) "Col.3.15"
  ∷ word (ἐ ∷ ν ∷ []) "Col.3.15"
  ∷ word (ἑ ∷ ν ∷ ὶ ∷ []) "Col.3.15"
  ∷ word (σ ∷ ώ ∷ μ ∷ α ∷ τ ∷ ι ∷ []) "Col.3.15"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "Col.3.15"
  ∷ word (ε ∷ ὐ ∷ χ ∷ ά ∷ ρ ∷ ι ∷ σ ∷ τ ∷ ο ∷ ι ∷ []) "Col.3.15"
  ∷ word (γ ∷ ί ∷ ν ∷ ε ∷ σ ∷ θ ∷ ε ∷ []) "Col.3.15"
  ∷ word (ὁ ∷ []) "Col.3.16"
  ∷ word (∙λ ∷ ό ∷ γ ∷ ο ∷ ς ∷ []) "Col.3.16"
  ∷ word (τ ∷ ο ∷ ῦ ∷ []) "Col.3.16"
  ∷ word (Χ ∷ ρ ∷ ι ∷ σ ∷ τ ∷ ο ∷ ῦ ∷ []) "Col.3.16"
  ∷ word (ἐ ∷ ν ∷ ο ∷ ι ∷ κ ∷ ε ∷ ί ∷ τ ∷ ω ∷ []) "Col.3.16"
  ∷ word (ἐ ∷ ν ∷ []) "Col.3.16"
  ∷ word (ὑ ∷ μ ∷ ῖ ∷ ν ∷ []) "Col.3.16"
  ∷ word (π ∷ ∙λ ∷ ο ∷ υ ∷ σ ∷ ί ∷ ω ∷ ς ∷ []) "Col.3.16"
  ∷ word (ἐ ∷ ν ∷ []) "Col.3.16"
  ∷ word (π ∷ ά ∷ σ ∷ ῃ ∷ []) "Col.3.16"
  ∷ word (σ ∷ ο ∷ φ ∷ ί ∷ ᾳ ∷ []) "Col.3.16"
  ∷ word (δ ∷ ι ∷ δ ∷ ά ∷ σ ∷ κ ∷ ο ∷ ν ∷ τ ∷ ε ∷ ς ∷ []) "Col.3.16"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "Col.3.16"
  ∷ word (ν ∷ ο ∷ υ ∷ θ ∷ ε ∷ τ ∷ ο ∷ ῦ ∷ ν ∷ τ ∷ ε ∷ ς ∷ []) "Col.3.16"
  ∷ word (ἑ ∷ α ∷ υ ∷ τ ∷ ο ∷ ὺ ∷ ς ∷ []) "Col.3.16"
  ∷ word (ψ ∷ α ∷ ∙λ ∷ μ ∷ ο ∷ ῖ ∷ ς ∷ []) "Col.3.16"
  ∷ word (ὕ ∷ μ ∷ ν ∷ ο ∷ ι ∷ ς ∷ []) "Col.3.16"
  ∷ word (ᾠ ∷ δ ∷ α ∷ ῖ ∷ ς ∷ []) "Col.3.16"
  ∷ word (π ∷ ν ∷ ε ∷ υ ∷ μ ∷ α ∷ τ ∷ ι ∷ κ ∷ α ∷ ῖ ∷ ς ∷ []) "Col.3.16"
  ∷ word (ἐ ∷ ν ∷ []) "Col.3.16"
  ∷ word (χ ∷ ά ∷ ρ ∷ ι ∷ τ ∷ ι ∷ []) "Col.3.16"
  ∷ word (ᾄ ∷ δ ∷ ο ∷ ν ∷ τ ∷ ε ∷ ς ∷ []) "Col.3.16"
  ∷ word (ἐ ∷ ν ∷ []) "Col.3.16"
  ∷ word (τ ∷ α ∷ ῖ ∷ ς ∷ []) "Col.3.16"
  ∷ word (κ ∷ α ∷ ρ ∷ δ ∷ ί ∷ α ∷ ι ∷ ς ∷ []) "Col.3.16"
  ∷ word (ὑ ∷ μ ∷ ῶ ∷ ν ∷ []) "Col.3.16"
  ∷ word (τ ∷ ῷ ∷ []) "Col.3.16"
  ∷ word (θ ∷ ε ∷ ῷ ∷ []) "Col.3.16"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "Col.3.17"
  ∷ word (π ∷ ᾶ ∷ ν ∷ []) "Col.3.17"
  ∷ word (ὅ ∷ []) "Col.3.17"
  ∷ word (τ ∷ ι ∷ []) "Col.3.17"
  ∷ word (ἐ ∷ ὰ ∷ ν ∷ []) "Col.3.17"
  ∷ word (π ∷ ο ∷ ι ∷ ῆ ∷ τ ∷ ε ∷ []) "Col.3.17"
  ∷ word (ἐ ∷ ν ∷ []) "Col.3.17"
  ∷ word (∙λ ∷ ό ∷ γ ∷ ῳ ∷ []) "Col.3.17"
  ∷ word (ἢ ∷ []) "Col.3.17"
  ∷ word (ἐ ∷ ν ∷ []) "Col.3.17"
  ∷ word (ἔ ∷ ρ ∷ γ ∷ ῳ ∷ []) "Col.3.17"
  ∷ word (π ∷ ά ∷ ν ∷ τ ∷ α ∷ []) "Col.3.17"
  ∷ word (ἐ ∷ ν ∷ []) "Col.3.17"
  ∷ word (ὀ ∷ ν ∷ ό ∷ μ ∷ α ∷ τ ∷ ι ∷ []) "Col.3.17"
  ∷ word (κ ∷ υ ∷ ρ ∷ ί ∷ ο ∷ υ ∷ []) "Col.3.17"
  ∷ word (Ἰ ∷ η ∷ σ ∷ ο ∷ ῦ ∷ []) "Col.3.17"
  ∷ word (ε ∷ ὐ ∷ χ ∷ α ∷ ρ ∷ ι ∷ σ ∷ τ ∷ ο ∷ ῦ ∷ ν ∷ τ ∷ ε ∷ ς ∷ []) "Col.3.17"
  ∷ word (τ ∷ ῷ ∷ []) "Col.3.17"
  ∷ word (θ ∷ ε ∷ ῷ ∷ []) "Col.3.17"
  ∷ word (π ∷ α ∷ τ ∷ ρ ∷ ὶ ∷ []) "Col.3.17"
  ∷ word (δ ∷ ι ∷ []) "Col.3.17"
  ∷ word (α ∷ ὐ ∷ τ ∷ ο ∷ ῦ ∷ []) "Col.3.17"
  ∷ word (Α ∷ ἱ ∷ []) "Col.3.18"
  ∷ word (γ ∷ υ ∷ ν ∷ α ∷ ῖ ∷ κ ∷ ε ∷ ς ∷ []) "Col.3.18"
  ∷ word (ὑ ∷ π ∷ ο ∷ τ ∷ ά ∷ σ ∷ σ ∷ ε ∷ σ ∷ θ ∷ ε ∷ []) "Col.3.18"
  ∷ word (τ ∷ ο ∷ ῖ ∷ ς ∷ []) "Col.3.18"
  ∷ word (ἀ ∷ ν ∷ δ ∷ ρ ∷ ά ∷ σ ∷ ι ∷ ν ∷ []) "Col.3.18"
  ∷ word (ὡ ∷ ς ∷ []) "Col.3.18"
  ∷ word (ἀ ∷ ν ∷ ῆ ∷ κ ∷ ε ∷ ν ∷ []) "Col.3.18"
  ∷ word (ἐ ∷ ν ∷ []) "Col.3.18"
  ∷ word (κ ∷ υ ∷ ρ ∷ ί ∷ ῳ ∷ []) "Col.3.18"
  ∷ word (ο ∷ ἱ ∷ []) "Col.3.19"
  ∷ word (ἄ ∷ ν ∷ δ ∷ ρ ∷ ε ∷ ς ∷ []) "Col.3.19"
  ∷ word (ἀ ∷ γ ∷ α ∷ π ∷ ᾶ ∷ τ ∷ ε ∷ []) "Col.3.19"
  ∷ word (τ ∷ ὰ ∷ ς ∷ []) "Col.3.19"
  ∷ word (γ ∷ υ ∷ ν ∷ α ∷ ῖ ∷ κ ∷ α ∷ ς ∷ []) "Col.3.19"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "Col.3.19"
  ∷ word (μ ∷ ὴ ∷ []) "Col.3.19"
  ∷ word (π ∷ ι ∷ κ ∷ ρ ∷ α ∷ ί ∷ ν ∷ ε ∷ σ ∷ θ ∷ ε ∷ []) "Col.3.19"
  ∷ word (π ∷ ρ ∷ ὸ ∷ ς ∷ []) "Col.3.19"
  ∷ word (α ∷ ὐ ∷ τ ∷ ά ∷ ς ∷ []) "Col.3.19"
  ∷ word (Τ ∷ ὰ ∷ []) "Col.3.20"
  ∷ word (τ ∷ έ ∷ κ ∷ ν ∷ α ∷ []) "Col.3.20"
  ∷ word (ὑ ∷ π ∷ α ∷ κ ∷ ο ∷ ύ ∷ ε ∷ τ ∷ ε ∷ []) "Col.3.20"
  ∷ word (τ ∷ ο ∷ ῖ ∷ ς ∷ []) "Col.3.20"
  ∷ word (γ ∷ ο ∷ ν ∷ ε ∷ ῦ ∷ σ ∷ ι ∷ ν ∷ []) "Col.3.20"
  ∷ word (κ ∷ α ∷ τ ∷ ὰ ∷ []) "Col.3.20"
  ∷ word (π ∷ ά ∷ ν ∷ τ ∷ α ∷ []) "Col.3.20"
  ∷ word (τ ∷ ο ∷ ῦ ∷ τ ∷ ο ∷ []) "Col.3.20"
  ∷ word (γ ∷ ὰ ∷ ρ ∷ []) "Col.3.20"
  ∷ word (ε ∷ ὐ ∷ ά ∷ ρ ∷ ε ∷ σ ∷ τ ∷ ό ∷ ν ∷ []) "Col.3.20"
  ∷ word (ἐ ∷ σ ∷ τ ∷ ι ∷ ν ∷ []) "Col.3.20"
  ∷ word (ἐ ∷ ν ∷ []) "Col.3.20"
  ∷ word (κ ∷ υ ∷ ρ ∷ ί ∷ ῳ ∷ []) "Col.3.20"
  ∷ word (ο ∷ ἱ ∷ []) "Col.3.21"
  ∷ word (π ∷ α ∷ τ ∷ έ ∷ ρ ∷ ε ∷ ς ∷ []) "Col.3.21"
  ∷ word (μ ∷ ὴ ∷ []) "Col.3.21"
  ∷ word (ἐ ∷ ρ ∷ ε ∷ θ ∷ ί ∷ ζ ∷ ε ∷ τ ∷ ε ∷ []) "Col.3.21"
  ∷ word (τ ∷ ὰ ∷ []) "Col.3.21"
  ∷ word (τ ∷ έ ∷ κ ∷ ν ∷ α ∷ []) "Col.3.21"
  ∷ word (ὑ ∷ μ ∷ ῶ ∷ ν ∷ []) "Col.3.21"
  ∷ word (ἵ ∷ ν ∷ α ∷ []) "Col.3.21"
  ∷ word (μ ∷ ὴ ∷ []) "Col.3.21"
  ∷ word (ἀ ∷ θ ∷ υ ∷ μ ∷ ῶ ∷ σ ∷ ι ∷ ν ∷ []) "Col.3.21"
  ∷ word (ο ∷ ἱ ∷ []) "Col.3.22"
  ∷ word (δ ∷ ο ∷ ῦ ∷ ∙λ ∷ ο ∷ ι ∷ []) "Col.3.22"
  ∷ word (ὑ ∷ π ∷ α ∷ κ ∷ ο ∷ ύ ∷ ε ∷ τ ∷ ε ∷ []) "Col.3.22"
  ∷ word (κ ∷ α ∷ τ ∷ ὰ ∷ []) "Col.3.22"
  ∷ word (π ∷ ά ∷ ν ∷ τ ∷ α ∷ []) "Col.3.22"
  ∷ word (τ ∷ ο ∷ ῖ ∷ ς ∷ []) "Col.3.22"
  ∷ word (κ ∷ α ∷ τ ∷ ὰ ∷ []) "Col.3.22"
  ∷ word (σ ∷ ά ∷ ρ ∷ κ ∷ α ∷ []) "Col.3.22"
  ∷ word (κ ∷ υ ∷ ρ ∷ ί ∷ ο ∷ ι ∷ ς ∷ []) "Col.3.22"
  ∷ word (μ ∷ ὴ ∷ []) "Col.3.22"
  ∷ word (ἐ ∷ ν ∷ []) "Col.3.22"
  ∷ word (ὀ ∷ φ ∷ θ ∷ α ∷ ∙λ ∷ μ ∷ ο ∷ δ ∷ ο ∷ υ ∷ ∙λ ∷ ί ∷ α ∷ ι ∷ ς ∷ []) "Col.3.22"
  ∷ word (ὡ ∷ ς ∷ []) "Col.3.22"
  ∷ word (ἀ ∷ ν ∷ θ ∷ ρ ∷ ω ∷ π ∷ ά ∷ ρ ∷ ε ∷ σ ∷ κ ∷ ο ∷ ι ∷ []) "Col.3.22"
  ∷ word (ἀ ∷ ∙λ ∷ ∙λ ∷ []) "Col.3.22"
  ∷ word (ἐ ∷ ν ∷ []) "Col.3.22"
  ∷ word (ἁ ∷ π ∷ ∙λ ∷ ό ∷ τ ∷ η ∷ τ ∷ ι ∷ []) "Col.3.22"
  ∷ word (κ ∷ α ∷ ρ ∷ δ ∷ ί ∷ α ∷ ς ∷ []) "Col.3.22"
  ∷ word (φ ∷ ο ∷ β ∷ ο ∷ ύ ∷ μ ∷ ε ∷ ν ∷ ο ∷ ι ∷ []) "Col.3.22"
  ∷ word (τ ∷ ὸ ∷ ν ∷ []) "Col.3.22"
  ∷ word (κ ∷ ύ ∷ ρ ∷ ι ∷ ο ∷ ν ∷ []) "Col.3.22"
  ∷ word (ὃ ∷ []) "Col.3.23"
  ∷ word (ἐ ∷ ὰ ∷ ν ∷ []) "Col.3.23"
  ∷ word (π ∷ ο ∷ ι ∷ ῆ ∷ τ ∷ ε ∷ []) "Col.3.23"
  ∷ word (ἐ ∷ κ ∷ []) "Col.3.23"
  ∷ word (ψ ∷ υ ∷ χ ∷ ῆ ∷ ς ∷ []) "Col.3.23"
  ∷ word (ἐ ∷ ρ ∷ γ ∷ ά ∷ ζ ∷ ε ∷ σ ∷ θ ∷ ε ∷ []) "Col.3.23"
  ∷ word (ὡ ∷ ς ∷ []) "Col.3.23"
  ∷ word (τ ∷ ῷ ∷ []) "Col.3.23"
  ∷ word (κ ∷ υ ∷ ρ ∷ ί ∷ ῳ ∷ []) "Col.3.23"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "Col.3.23"
  ∷ word (ο ∷ ὐ ∷ κ ∷ []) "Col.3.23"
  ∷ word (ἀ ∷ ν ∷ θ ∷ ρ ∷ ώ ∷ π ∷ ο ∷ ι ∷ ς ∷ []) "Col.3.23"
  ∷ word (ε ∷ ἰ ∷ δ ∷ ό ∷ τ ∷ ε ∷ ς ∷ []) "Col.3.24"
  ∷ word (ὅ ∷ τ ∷ ι ∷ []) "Col.3.24"
  ∷ word (ἀ ∷ π ∷ ὸ ∷ []) "Col.3.24"
  ∷ word (κ ∷ υ ∷ ρ ∷ ί ∷ ο ∷ υ ∷ []) "Col.3.24"
  ∷ word (ἀ ∷ π ∷ ο ∷ ∙λ ∷ ή ∷ μ ∷ ψ ∷ ε ∷ σ ∷ θ ∷ ε ∷ []) "Col.3.24"
  ∷ word (τ ∷ ὴ ∷ ν ∷ []) "Col.3.24"
  ∷ word (ἀ ∷ ν ∷ τ ∷ α ∷ π ∷ ό ∷ δ ∷ ο ∷ σ ∷ ι ∷ ν ∷ []) "Col.3.24"
  ∷ word (τ ∷ ῆ ∷ ς ∷ []) "Col.3.24"
  ∷ word (κ ∷ ∙λ ∷ η ∷ ρ ∷ ο ∷ ν ∷ ο ∷ μ ∷ ί ∷ α ∷ ς ∷ []) "Col.3.24"
  ∷ word (τ ∷ ῷ ∷ []) "Col.3.24"
  ∷ word (κ ∷ υ ∷ ρ ∷ ί ∷ ῳ ∷ []) "Col.3.24"
  ∷ word (Χ ∷ ρ ∷ ι ∷ σ ∷ τ ∷ ῷ ∷ []) "Col.3.24"
  ∷ word (δ ∷ ο ∷ υ ∷ ∙λ ∷ ε ∷ ύ ∷ ε ∷ τ ∷ ε ∷ []) "Col.3.24"
  ∷ word (ὁ ∷ []) "Col.3.25"
  ∷ word (γ ∷ ὰ ∷ ρ ∷ []) "Col.3.25"
  ∷ word (ἀ ∷ δ ∷ ι ∷ κ ∷ ῶ ∷ ν ∷ []) "Col.3.25"
  ∷ word (κ ∷ ο ∷ μ ∷ ί ∷ σ ∷ ε ∷ τ ∷ α ∷ ι ∷ []) "Col.3.25"
  ∷ word (ὃ ∷ []) "Col.3.25"
  ∷ word (ἠ ∷ δ ∷ ί ∷ κ ∷ η ∷ σ ∷ ε ∷ ν ∷ []) "Col.3.25"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "Col.3.25"
  ∷ word (ο ∷ ὐ ∷ κ ∷ []) "Col.3.25"
  ∷ word (ἔ ∷ σ ∷ τ ∷ ι ∷ ν ∷ []) "Col.3.25"
  ∷ word (π ∷ ρ ∷ ο ∷ σ ∷ ω ∷ π ∷ ο ∷ ∙λ ∷ η ∷ μ ∷ ψ ∷ ί ∷ α ∷ []) "Col.3.25"
  ∷ word (ο ∷ ἱ ∷ []) "Col.4.1"
  ∷ word (κ ∷ ύ ∷ ρ ∷ ι ∷ ο ∷ ι ∷ []) "Col.4.1"
  ∷ word (τ ∷ ὸ ∷ []) "Col.4.1"
  ∷ word (δ ∷ ί ∷ κ ∷ α ∷ ι ∷ ο ∷ ν ∷ []) "Col.4.1"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "Col.4.1"
  ∷ word (τ ∷ ὴ ∷ ν ∷ []) "Col.4.1"
  ∷ word (ἰ ∷ σ ∷ ό ∷ τ ∷ η ∷ τ ∷ α ∷ []) "Col.4.1"
  ∷ word (τ ∷ ο ∷ ῖ ∷ ς ∷ []) "Col.4.1"
  ∷ word (δ ∷ ο ∷ ύ ∷ ∙λ ∷ ο ∷ ι ∷ ς ∷ []) "Col.4.1"
  ∷ word (π ∷ α ∷ ρ ∷ έ ∷ χ ∷ ε ∷ σ ∷ θ ∷ ε ∷ []) "Col.4.1"
  ∷ word (ε ∷ ἰ ∷ δ ∷ ό ∷ τ ∷ ε ∷ ς ∷ []) "Col.4.1"
  ∷ word (ὅ ∷ τ ∷ ι ∷ []) "Col.4.1"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "Col.4.1"
  ∷ word (ὑ ∷ μ ∷ ε ∷ ῖ ∷ ς ∷ []) "Col.4.1"
  ∷ word (ἔ ∷ χ ∷ ε ∷ τ ∷ ε ∷ []) "Col.4.1"
  ∷ word (κ ∷ ύ ∷ ρ ∷ ι ∷ ο ∷ ν ∷ []) "Col.4.1"
  ∷ word (ἐ ∷ ν ∷ []) "Col.4.1"
  ∷ word (ο ∷ ὐ ∷ ρ ∷ α ∷ ν ∷ ῷ ∷ []) "Col.4.1"
  ∷ word (Τ ∷ ῇ ∷ []) "Col.4.2"
  ∷ word (π ∷ ρ ∷ ο ∷ σ ∷ ε ∷ υ ∷ χ ∷ ῇ ∷ []) "Col.4.2"
  ∷ word (π ∷ ρ ∷ ο ∷ σ ∷ κ ∷ α ∷ ρ ∷ τ ∷ ε ∷ ρ ∷ ε ∷ ῖ ∷ τ ∷ ε ∷ []) "Col.4.2"
  ∷ word (γ ∷ ρ ∷ η ∷ γ ∷ ο ∷ ρ ∷ ο ∷ ῦ ∷ ν ∷ τ ∷ ε ∷ ς ∷ []) "Col.4.2"
  ∷ word (ἐ ∷ ν ∷ []) "Col.4.2"
  ∷ word (α ∷ ὐ ∷ τ ∷ ῇ ∷ []) "Col.4.2"
  ∷ word (ἐ ∷ ν ∷ []) "Col.4.2"
  ∷ word (ε ∷ ὐ ∷ χ ∷ α ∷ ρ ∷ ι ∷ σ ∷ τ ∷ ί ∷ ᾳ ∷ []) "Col.4.2"
  ∷ word (π ∷ ρ ∷ ο ∷ σ ∷ ε ∷ υ ∷ χ ∷ ό ∷ μ ∷ ε ∷ ν ∷ ο ∷ ι ∷ []) "Col.4.3"
  ∷ word (ἅ ∷ μ ∷ α ∷ []) "Col.4.3"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "Col.4.3"
  ∷ word (π ∷ ε ∷ ρ ∷ ὶ ∷ []) "Col.4.3"
  ∷ word (ἡ ∷ μ ∷ ῶ ∷ ν ∷ []) "Col.4.3"
  ∷ word (ἵ ∷ ν ∷ α ∷ []) "Col.4.3"
  ∷ word (ὁ ∷ []) "Col.4.3"
  ∷ word (θ ∷ ε ∷ ὸ ∷ ς ∷ []) "Col.4.3"
  ∷ word (ἀ ∷ ν ∷ ο ∷ ί ∷ ξ ∷ ῃ ∷ []) "Col.4.3"
  ∷ word (ἡ ∷ μ ∷ ῖ ∷ ν ∷ []) "Col.4.3"
  ∷ word (θ ∷ ύ ∷ ρ ∷ α ∷ ν ∷ []) "Col.4.3"
  ∷ word (τ ∷ ο ∷ ῦ ∷ []) "Col.4.3"
  ∷ word (∙λ ∷ ό ∷ γ ∷ ο ∷ υ ∷ []) "Col.4.3"
  ∷ word (∙λ ∷ α ∷ ∙λ ∷ ῆ ∷ σ ∷ α ∷ ι ∷ []) "Col.4.3"
  ∷ word (τ ∷ ὸ ∷ []) "Col.4.3"
  ∷ word (μ ∷ υ ∷ σ ∷ τ ∷ ή ∷ ρ ∷ ι ∷ ο ∷ ν ∷ []) "Col.4.3"
  ∷ word (τ ∷ ο ∷ ῦ ∷ []) "Col.4.3"
  ∷ word (Χ ∷ ρ ∷ ι ∷ σ ∷ τ ∷ ο ∷ ῦ ∷ []) "Col.4.3"
  ∷ word (δ ∷ ι ∷ []) "Col.4.3"
  ∷ word (ὃ ∷ []) "Col.4.3"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "Col.4.3"
  ∷ word (δ ∷ έ ∷ δ ∷ ε ∷ μ ∷ α ∷ ι ∷ []) "Col.4.3"
  ∷ word (ἵ ∷ ν ∷ α ∷ []) "Col.4.4"
  ∷ word (φ ∷ α ∷ ν ∷ ε ∷ ρ ∷ ώ ∷ σ ∷ ω ∷ []) "Col.4.4"
  ∷ word (α ∷ ὐ ∷ τ ∷ ὸ ∷ []) "Col.4.4"
  ∷ word (ὡ ∷ ς ∷ []) "Col.4.4"
  ∷ word (δ ∷ ε ∷ ῖ ∷ []) "Col.4.4"
  ∷ word (μ ∷ ε ∷ []) "Col.4.4"
  ∷ word (∙λ ∷ α ∷ ∙λ ∷ ῆ ∷ σ ∷ α ∷ ι ∷ []) "Col.4.4"
  ∷ word (Ἐ ∷ ν ∷ []) "Col.4.5"
  ∷ word (σ ∷ ο ∷ φ ∷ ί ∷ ᾳ ∷ []) "Col.4.5"
  ∷ word (π ∷ ε ∷ ρ ∷ ι ∷ π ∷ α ∷ τ ∷ ε ∷ ῖ ∷ τ ∷ ε ∷ []) "Col.4.5"
  ∷ word (π ∷ ρ ∷ ὸ ∷ ς ∷ []) "Col.4.5"
  ∷ word (τ ∷ ο ∷ ὺ ∷ ς ∷ []) "Col.4.5"
  ∷ word (ἔ ∷ ξ ∷ ω ∷ []) "Col.4.5"
  ∷ word (τ ∷ ὸ ∷ ν ∷ []) "Col.4.5"
  ∷ word (κ ∷ α ∷ ι ∷ ρ ∷ ὸ ∷ ν ∷ []) "Col.4.5"
  ∷ word (ἐ ∷ ξ ∷ α ∷ γ ∷ ο ∷ ρ ∷ α ∷ ζ ∷ ό ∷ μ ∷ ε ∷ ν ∷ ο ∷ ι ∷ []) "Col.4.5"
  ∷ word (ὁ ∷ []) "Col.4.6"
  ∷ word (∙λ ∷ ό ∷ γ ∷ ο ∷ ς ∷ []) "Col.4.6"
  ∷ word (ὑ ∷ μ ∷ ῶ ∷ ν ∷ []) "Col.4.6"
  ∷ word (π ∷ ά ∷ ν ∷ τ ∷ ο ∷ τ ∷ ε ∷ []) "Col.4.6"
  ∷ word (ἐ ∷ ν ∷ []) "Col.4.6"
  ∷ word (χ ∷ ά ∷ ρ ∷ ι ∷ τ ∷ ι ∷ []) "Col.4.6"
  ∷ word (ἅ ∷ ∙λ ∷ α ∷ τ ∷ ι ∷ []) "Col.4.6"
  ∷ word (ἠ ∷ ρ ∷ τ ∷ υ ∷ μ ∷ έ ∷ ν ∷ ο ∷ ς ∷ []) "Col.4.6"
  ∷ word (ε ∷ ἰ ∷ δ ∷ έ ∷ ν ∷ α ∷ ι ∷ []) "Col.4.6"
  ∷ word (π ∷ ῶ ∷ ς ∷ []) "Col.4.6"
  ∷ word (δ ∷ ε ∷ ῖ ∷ []) "Col.4.6"
  ∷ word (ὑ ∷ μ ∷ ᾶ ∷ ς ∷ []) "Col.4.6"
  ∷ word (ἑ ∷ ν ∷ ὶ ∷ []) "Col.4.6"
  ∷ word (ἑ ∷ κ ∷ ά ∷ σ ∷ τ ∷ ῳ ∷ []) "Col.4.6"
  ∷ word (ἀ ∷ π ∷ ο ∷ κ ∷ ρ ∷ ί ∷ ν ∷ ε ∷ σ ∷ θ ∷ α ∷ ι ∷ []) "Col.4.6"
  ∷ word (Τ ∷ ὰ ∷ []) "Col.4.7"
  ∷ word (κ ∷ α ∷ τ ∷ []) "Col.4.7"
  ∷ word (ἐ ∷ μ ∷ ὲ ∷ []) "Col.4.7"
  ∷ word (π ∷ ά ∷ ν ∷ τ ∷ α ∷ []) "Col.4.7"
  ∷ word (γ ∷ ν ∷ ω ∷ ρ ∷ ί ∷ σ ∷ ε ∷ ι ∷ []) "Col.4.7"
  ∷ word (ὑ ∷ μ ∷ ῖ ∷ ν ∷ []) "Col.4.7"
  ∷ word (Τ ∷ υ ∷ χ ∷ ι ∷ κ ∷ ὸ ∷ ς ∷ []) "Col.4.7"
  ∷ word (ὁ ∷ []) "Col.4.7"
  ∷ word (ἀ ∷ γ ∷ α ∷ π ∷ η ∷ τ ∷ ὸ ∷ ς ∷ []) "Col.4.7"
  ∷ word (ἀ ∷ δ ∷ ε ∷ ∙λ ∷ φ ∷ ὸ ∷ ς ∷ []) "Col.4.7"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "Col.4.7"
  ∷ word (π ∷ ι ∷ σ ∷ τ ∷ ὸ ∷ ς ∷ []) "Col.4.7"
  ∷ word (δ ∷ ι ∷ ά ∷ κ ∷ ο ∷ ν ∷ ο ∷ ς ∷ []) "Col.4.7"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "Col.4.7"
  ∷ word (σ ∷ ύ ∷ ν ∷ δ ∷ ο ∷ υ ∷ ∙λ ∷ ο ∷ ς ∷ []) "Col.4.7"
  ∷ word (ἐ ∷ ν ∷ []) "Col.4.7"
  ∷ word (κ ∷ υ ∷ ρ ∷ ί ∷ ῳ ∷ []) "Col.4.7"
  ∷ word (ὃ ∷ ν ∷ []) "Col.4.8"
  ∷ word (ἔ ∷ π ∷ ε ∷ μ ∷ ψ ∷ α ∷ []) "Col.4.8"
  ∷ word (π ∷ ρ ∷ ὸ ∷ ς ∷ []) "Col.4.8"
  ∷ word (ὑ ∷ μ ∷ ᾶ ∷ ς ∷ []) "Col.4.8"
  ∷ word (ε ∷ ἰ ∷ ς ∷ []) "Col.4.8"
  ∷ word (α ∷ ὐ ∷ τ ∷ ὸ ∷ []) "Col.4.8"
  ∷ word (τ ∷ ο ∷ ῦ ∷ τ ∷ ο ∷ []) "Col.4.8"
  ∷ word (ἵ ∷ ν ∷ α ∷ []) "Col.4.8"
  ∷ word (γ ∷ ν ∷ ῶ ∷ τ ∷ ε ∷ []) "Col.4.8"
  ∷ word (τ ∷ ὰ ∷ []) "Col.4.8"
  ∷ word (π ∷ ε ∷ ρ ∷ ὶ ∷ []) "Col.4.8"
  ∷ word (ἡ ∷ μ ∷ ῶ ∷ ν ∷ []) "Col.4.8"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "Col.4.8"
  ∷ word (π ∷ α ∷ ρ ∷ α ∷ κ ∷ α ∷ ∙λ ∷ έ ∷ σ ∷ ῃ ∷ []) "Col.4.8"
  ∷ word (τ ∷ ὰ ∷ ς ∷ []) "Col.4.8"
  ∷ word (κ ∷ α ∷ ρ ∷ δ ∷ ί ∷ α ∷ ς ∷ []) "Col.4.8"
  ∷ word (ὑ ∷ μ ∷ ῶ ∷ ν ∷ []) "Col.4.8"
  ∷ word (σ ∷ ὺ ∷ ν ∷ []) "Col.4.9"
  ∷ word (Ὀ ∷ ν ∷ η ∷ σ ∷ ί ∷ μ ∷ ῳ ∷ []) "Col.4.9"
  ∷ word (τ ∷ ῷ ∷ []) "Col.4.9"
  ∷ word (π ∷ ι ∷ σ ∷ τ ∷ ῷ ∷ []) "Col.4.9"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "Col.4.9"
  ∷ word (ἀ ∷ γ ∷ α ∷ π ∷ η ∷ τ ∷ ῷ ∷ []) "Col.4.9"
  ∷ word (ἀ ∷ δ ∷ ε ∷ ∙λ ∷ φ ∷ ῷ ∷ []) "Col.4.9"
  ∷ word (ὅ ∷ ς ∷ []) "Col.4.9"
  ∷ word (ἐ ∷ σ ∷ τ ∷ ι ∷ ν ∷ []) "Col.4.9"
  ∷ word (ἐ ∷ ξ ∷ []) "Col.4.9"
  ∷ word (ὑ ∷ μ ∷ ῶ ∷ ν ∷ []) "Col.4.9"
  ∷ word (π ∷ ά ∷ ν ∷ τ ∷ α ∷ []) "Col.4.9"
  ∷ word (ὑ ∷ μ ∷ ῖ ∷ ν ∷ []) "Col.4.9"
  ∷ word (γ ∷ ν ∷ ω ∷ ρ ∷ ί ∷ σ ∷ ο ∷ υ ∷ σ ∷ ι ∷ ν ∷ []) "Col.4.9"
  ∷ word (τ ∷ ὰ ∷ []) "Col.4.9"
  ∷ word (ὧ ∷ δ ∷ ε ∷ []) "Col.4.9"
  ∷ word (Ἀ ∷ σ ∷ π ∷ ά ∷ ζ ∷ ε ∷ τ ∷ α ∷ ι ∷ []) "Col.4.10"
  ∷ word (ὑ ∷ μ ∷ ᾶ ∷ ς ∷ []) "Col.4.10"
  ∷ word (Ἀ ∷ ρ ∷ ί ∷ σ ∷ τ ∷ α ∷ ρ ∷ χ ∷ ο ∷ ς ∷ []) "Col.4.10"
  ∷ word (ὁ ∷ []) "Col.4.10"
  ∷ word (σ ∷ υ ∷ ν ∷ α ∷ ι ∷ χ ∷ μ ∷ ά ∷ ∙λ ∷ ω ∷ τ ∷ ό ∷ ς ∷ []) "Col.4.10"
  ∷ word (μ ∷ ο ∷ υ ∷ []) "Col.4.10"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "Col.4.10"
  ∷ word (Μ ∷ ᾶ ∷ ρ ∷ κ ∷ ο ∷ ς ∷ []) "Col.4.10"
  ∷ word (ὁ ∷ []) "Col.4.10"
  ∷ word (ἀ ∷ ν ∷ ε ∷ ψ ∷ ι ∷ ὸ ∷ ς ∷ []) "Col.4.10"
  ∷ word (Β ∷ α ∷ ρ ∷ ν ∷ α ∷ β ∷ ᾶ ∷ []) "Col.4.10"
  ∷ word (π ∷ ε ∷ ρ ∷ ὶ ∷ []) "Col.4.10"
  ∷ word (ο ∷ ὗ ∷ []) "Col.4.10"
  ∷ word (ἐ ∷ ∙λ ∷ ά ∷ β ∷ ε ∷ τ ∷ ε ∷ []) "Col.4.10"
  ∷ word (ἐ ∷ ν ∷ τ ∷ ο ∷ ∙λ ∷ ά ∷ ς ∷ []) "Col.4.10"
  ∷ word (ἐ ∷ ὰ ∷ ν ∷ []) "Col.4.10"
  ∷ word (ἔ ∷ ∙λ ∷ θ ∷ ῃ ∷ []) "Col.4.10"
  ∷ word (π ∷ ρ ∷ ὸ ∷ ς ∷ []) "Col.4.10"
  ∷ word (ὑ ∷ μ ∷ ᾶ ∷ ς ∷ []) "Col.4.10"
  ∷ word (δ ∷ έ ∷ ξ ∷ α ∷ σ ∷ θ ∷ ε ∷ []) "Col.4.10"
  ∷ word (α ∷ ὐ ∷ τ ∷ ό ∷ ν ∷ []) "Col.4.10"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "Col.4.11"
  ∷ word (Ἰ ∷ η ∷ σ ∷ ο ∷ ῦ ∷ ς ∷ []) "Col.4.11"
  ∷ word (ὁ ∷ []) "Col.4.11"
  ∷ word (∙λ ∷ ε ∷ γ ∷ ό ∷ μ ∷ ε ∷ ν ∷ ο ∷ ς ∷ []) "Col.4.11"
  ∷ word (Ἰ ∷ ο ∷ ῦ ∷ σ ∷ τ ∷ ο ∷ ς ∷ []) "Col.4.11"
  ∷ word (ο ∷ ἱ ∷ []) "Col.4.11"
  ∷ word (ὄ ∷ ν ∷ τ ∷ ε ∷ ς ∷ []) "Col.4.11"
  ∷ word (ἐ ∷ κ ∷ []) "Col.4.11"
  ∷ word (π ∷ ε ∷ ρ ∷ ι ∷ τ ∷ ο ∷ μ ∷ ῆ ∷ ς ∷ []) "Col.4.11"
  ∷ word (ο ∷ ὗ ∷ τ ∷ ο ∷ ι ∷ []) "Col.4.11"
  ∷ word (μ ∷ ό ∷ ν ∷ ο ∷ ι ∷ []) "Col.4.11"
  ∷ word (σ ∷ υ ∷ ν ∷ ε ∷ ρ ∷ γ ∷ ο ∷ ὶ ∷ []) "Col.4.11"
  ∷ word (ε ∷ ἰ ∷ ς ∷ []) "Col.4.11"
  ∷ word (τ ∷ ὴ ∷ ν ∷ []) "Col.4.11"
  ∷ word (β ∷ α ∷ σ ∷ ι ∷ ∙λ ∷ ε ∷ ί ∷ α ∷ ν ∷ []) "Col.4.11"
  ∷ word (τ ∷ ο ∷ ῦ ∷ []) "Col.4.11"
  ∷ word (θ ∷ ε ∷ ο ∷ ῦ ∷ []) "Col.4.11"
  ∷ word (ο ∷ ἵ ∷ τ ∷ ι ∷ ν ∷ ε ∷ ς ∷ []) "Col.4.11"
  ∷ word (ἐ ∷ γ ∷ ε ∷ ν ∷ ή ∷ θ ∷ η ∷ σ ∷ ά ∷ ν ∷ []) "Col.4.11"
  ∷ word (μ ∷ ο ∷ ι ∷ []) "Col.4.11"
  ∷ word (π ∷ α ∷ ρ ∷ η ∷ γ ∷ ο ∷ ρ ∷ ί ∷ α ∷ []) "Col.4.11"
  ∷ word (ἀ ∷ σ ∷ π ∷ ά ∷ ζ ∷ ε ∷ τ ∷ α ∷ ι ∷ []) "Col.4.12"
  ∷ word (ὑ ∷ μ ∷ ᾶ ∷ ς ∷ []) "Col.4.12"
  ∷ word (Ἐ ∷ π ∷ α ∷ φ ∷ ρ ∷ ᾶ ∷ ς ∷ []) "Col.4.12"
  ∷ word (ὁ ∷ []) "Col.4.12"
  ∷ word (ἐ ∷ ξ ∷ []) "Col.4.12"
  ∷ word (ὑ ∷ μ ∷ ῶ ∷ ν ∷ []) "Col.4.12"
  ∷ word (δ ∷ ο ∷ ῦ ∷ ∙λ ∷ ο ∷ ς ∷ []) "Col.4.12"
  ∷ word (Χ ∷ ρ ∷ ι ∷ σ ∷ τ ∷ ο ∷ ῦ ∷ []) "Col.4.12"
  ∷ word (π ∷ ά ∷ ν ∷ τ ∷ ο ∷ τ ∷ ε ∷ []) "Col.4.12"
  ∷ word (ἀ ∷ γ ∷ ω ∷ ν ∷ ι ∷ ζ ∷ ό ∷ μ ∷ ε ∷ ν ∷ ο ∷ ς ∷ []) "Col.4.12"
  ∷ word (ὑ ∷ π ∷ ὲ ∷ ρ ∷ []) "Col.4.12"
  ∷ word (ὑ ∷ μ ∷ ῶ ∷ ν ∷ []) "Col.4.12"
  ∷ word (ἐ ∷ ν ∷ []) "Col.4.12"
  ∷ word (τ ∷ α ∷ ῖ ∷ ς ∷ []) "Col.4.12"
  ∷ word (π ∷ ρ ∷ ο ∷ σ ∷ ε ∷ υ ∷ χ ∷ α ∷ ῖ ∷ ς ∷ []) "Col.4.12"
  ∷ word (ἵ ∷ ν ∷ α ∷ []) "Col.4.12"
  ∷ word (σ ∷ τ ∷ α ∷ θ ∷ ῆ ∷ τ ∷ ε ∷ []) "Col.4.12"
  ∷ word (τ ∷ έ ∷ ∙λ ∷ ε ∷ ι ∷ ο ∷ ι ∷ []) "Col.4.12"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "Col.4.12"
  ∷ word (π ∷ ε ∷ π ∷ ∙λ ∷ η ∷ ρ ∷ ο ∷ φ ∷ ο ∷ ρ ∷ η ∷ μ ∷ έ ∷ ν ∷ ο ∷ ι ∷ []) "Col.4.12"
  ∷ word (ἐ ∷ ν ∷ []) "Col.4.12"
  ∷ word (π ∷ α ∷ ν ∷ τ ∷ ὶ ∷ []) "Col.4.12"
  ∷ word (θ ∷ ε ∷ ∙λ ∷ ή ∷ μ ∷ α ∷ τ ∷ ι ∷ []) "Col.4.12"
  ∷ word (τ ∷ ο ∷ ῦ ∷ []) "Col.4.12"
  ∷ word (θ ∷ ε ∷ ο ∷ ῦ ∷ []) "Col.4.12"
  ∷ word (μ ∷ α ∷ ρ ∷ τ ∷ υ ∷ ρ ∷ ῶ ∷ []) "Col.4.13"
  ∷ word (γ ∷ ὰ ∷ ρ ∷ []) "Col.4.13"
  ∷ word (α ∷ ὐ ∷ τ ∷ ῷ ∷ []) "Col.4.13"
  ∷ word (ὅ ∷ τ ∷ ι ∷ []) "Col.4.13"
  ∷ word (ἔ ∷ χ ∷ ε ∷ ι ∷ []) "Col.4.13"
  ∷ word (π ∷ ο ∷ ∙λ ∷ ὺ ∷ ν ∷ []) "Col.4.13"
  ∷ word (π ∷ ό ∷ ν ∷ ο ∷ ν ∷ []) "Col.4.13"
  ∷ word (ὑ ∷ π ∷ ὲ ∷ ρ ∷ []) "Col.4.13"
  ∷ word (ὑ ∷ μ ∷ ῶ ∷ ν ∷ []) "Col.4.13"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "Col.4.13"
  ∷ word (τ ∷ ῶ ∷ ν ∷ []) "Col.4.13"
  ∷ word (ἐ ∷ ν ∷ []) "Col.4.13"
  ∷ word (Λ ∷ α ∷ ο ∷ δ ∷ ι ∷ κ ∷ ε ∷ ί ∷ ᾳ ∷ []) "Col.4.13"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "Col.4.13"
  ∷ word (τ ∷ ῶ ∷ ν ∷ []) "Col.4.13"
  ∷ word (ἐ ∷ ν ∷ []) "Col.4.13"
  ∷ word (Ἱ ∷ ε ∷ ρ ∷ α ∷ π ∷ ό ∷ ∙λ ∷ ε ∷ ι ∷ []) "Col.4.13"
  ∷ word (ἀ ∷ σ ∷ π ∷ ά ∷ ζ ∷ ε ∷ τ ∷ α ∷ ι ∷ []) "Col.4.14"
  ∷ word (ὑ ∷ μ ∷ ᾶ ∷ ς ∷ []) "Col.4.14"
  ∷ word (Λ ∷ ο ∷ υ ∷ κ ∷ ᾶ ∷ ς ∷ []) "Col.4.14"
  ∷ word (ὁ ∷ []) "Col.4.14"
  ∷ word (ἰ ∷ α ∷ τ ∷ ρ ∷ ὸ ∷ ς ∷ []) "Col.4.14"
  ∷ word (ὁ ∷ []) "Col.4.14"
  ∷ word (ἀ ∷ γ ∷ α ∷ π ∷ η ∷ τ ∷ ὸ ∷ ς ∷ []) "Col.4.14"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "Col.4.14"
  ∷ word (Δ ∷ η ∷ μ ∷ ᾶ ∷ ς ∷ []) "Col.4.14"
  ∷ word (ἀ ∷ σ ∷ π ∷ ά ∷ σ ∷ α ∷ σ ∷ θ ∷ ε ∷ []) "Col.4.15"
  ∷ word (τ ∷ ο ∷ ὺ ∷ ς ∷ []) "Col.4.15"
  ∷ word (ἐ ∷ ν ∷ []) "Col.4.15"
  ∷ word (Λ ∷ α ∷ ο ∷ δ ∷ ι ∷ κ ∷ ε ∷ ί ∷ ᾳ ∷ []) "Col.4.15"
  ∷ word (ἀ ∷ δ ∷ ε ∷ ∙λ ∷ φ ∷ ο ∷ ὺ ∷ ς ∷ []) "Col.4.15"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "Col.4.15"
  ∷ word (Ν ∷ ύ ∷ μ ∷ φ ∷ α ∷ ν ∷ []) "Col.4.15"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "Col.4.15"
  ∷ word (τ ∷ ὴ ∷ ν ∷ []) "Col.4.15"
  ∷ word (κ ∷ α ∷ τ ∷ []) "Col.4.15"
  ∷ word (ο ∷ ἶ ∷ κ ∷ ο ∷ ν ∷ []) "Col.4.15"
  ∷ word (α ∷ ὐ ∷ τ ∷ ῆ ∷ ς ∷ []) "Col.4.15"
  ∷ word (ἐ ∷ κ ∷ κ ∷ ∙λ ∷ η ∷ σ ∷ ί ∷ α ∷ ν ∷ []) "Col.4.15"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "Col.4.16"
  ∷ word (ὅ ∷ τ ∷ α ∷ ν ∷ []) "Col.4.16"
  ∷ word (ἀ ∷ ν ∷ α ∷ γ ∷ ν ∷ ω ∷ σ ∷ θ ∷ ῇ ∷ []) "Col.4.16"
  ∷ word (π ∷ α ∷ ρ ∷ []) "Col.4.16"
  ∷ word (ὑ ∷ μ ∷ ῖ ∷ ν ∷ []) "Col.4.16"
  ∷ word (ἡ ∷ []) "Col.4.16"
  ∷ word (ἐ ∷ π ∷ ι ∷ σ ∷ τ ∷ ο ∷ ∙λ ∷ ή ∷ []) "Col.4.16"
  ∷ word (π ∷ ο ∷ ι ∷ ή ∷ σ ∷ α ∷ τ ∷ ε ∷ []) "Col.4.16"
  ∷ word (ἵ ∷ ν ∷ α ∷ []) "Col.4.16"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "Col.4.16"
  ∷ word (ἐ ∷ ν ∷ []) "Col.4.16"
  ∷ word (τ ∷ ῇ ∷ []) "Col.4.16"
  ∷ word (Λ ∷ α ∷ ο ∷ δ ∷ ι ∷ κ ∷ έ ∷ ω ∷ ν ∷ []) "Col.4.16"
  ∷ word (ἐ ∷ κ ∷ κ ∷ ∙λ ∷ η ∷ σ ∷ ί ∷ ᾳ ∷ []) "Col.4.16"
  ∷ word (ἀ ∷ ν ∷ α ∷ γ ∷ ν ∷ ω ∷ σ ∷ θ ∷ ῇ ∷ []) "Col.4.16"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "Col.4.16"
  ∷ word (τ ∷ ὴ ∷ ν ∷ []) "Col.4.16"
  ∷ word (ἐ ∷ κ ∷ []) "Col.4.16"
  ∷ word (Λ ∷ α ∷ ο ∷ δ ∷ ι ∷ κ ∷ ε ∷ ί ∷ α ∷ ς ∷ []) "Col.4.16"
  ∷ word (ἵ ∷ ν ∷ α ∷ []) "Col.4.16"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "Col.4.16"
  ∷ word (ὑ ∷ μ ∷ ε ∷ ῖ ∷ ς ∷ []) "Col.4.16"
  ∷ word (ἀ ∷ ν ∷ α ∷ γ ∷ ν ∷ ῶ ∷ τ ∷ ε ∷ []) "Col.4.16"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "Col.4.17"
  ∷ word (ε ∷ ἴ ∷ π ∷ α ∷ τ ∷ ε ∷ []) "Col.4.17"
  ∷ word (Ἀ ∷ ρ ∷ χ ∷ ί ∷ π ∷ π ∷ ῳ ∷ []) "Col.4.17"
  ∷ word (Β ∷ ∙λ ∷ έ ∷ π ∷ ε ∷ []) "Col.4.17"
  ∷ word (τ ∷ ὴ ∷ ν ∷ []) "Col.4.17"
  ∷ word (δ ∷ ι ∷ α ∷ κ ∷ ο ∷ ν ∷ ί ∷ α ∷ ν ∷ []) "Col.4.17"
  ∷ word (ἣ ∷ ν ∷ []) "Col.4.17"
  ∷ word (π ∷ α ∷ ρ ∷ έ ∷ ∙λ ∷ α ∷ β ∷ ε ∷ ς ∷ []) "Col.4.17"
  ∷ word (ἐ ∷ ν ∷ []) "Col.4.17"
  ∷ word (κ ∷ υ ∷ ρ ∷ ί ∷ ῳ ∷ []) "Col.4.17"
  ∷ word (ἵ ∷ ν ∷ α ∷ []) "Col.4.17"
  ∷ word (α ∷ ὐ ∷ τ ∷ ὴ ∷ ν ∷ []) "Col.4.17"
  ∷ word (π ∷ ∙λ ∷ η ∷ ρ ∷ ο ∷ ῖ ∷ ς ∷ []) "Col.4.17"
  ∷ word (Ὁ ∷ []) "Col.4.18"
  ∷ word (ἀ ∷ σ ∷ π ∷ α ∷ σ ∷ μ ∷ ὸ ∷ ς ∷ []) "Col.4.18"
  ∷ word (τ ∷ ῇ ∷ []) "Col.4.18"
  ∷ word (ἐ ∷ μ ∷ ῇ ∷ []) "Col.4.18"
  ∷ word (χ ∷ ε ∷ ι ∷ ρ ∷ ὶ ∷ []) "Col.4.18"
  ∷ word (Π ∷ α ∷ ύ ∷ ∙λ ∷ ο ∷ υ ∷ []) "Col.4.18"
  ∷ word (μ ∷ ν ∷ η ∷ μ ∷ ο ∷ ν ∷ ε ∷ ύ ∷ ε ∷ τ ∷ έ ∷ []) "Col.4.18"
  ∷ word (μ ∷ ο ∷ υ ∷ []) "Col.4.18"
  ∷ word (τ ∷ ῶ ∷ ν ∷ []) "Col.4.18"
  ∷ word (δ ∷ ε ∷ σ ∷ μ ∷ ῶ ∷ ν ∷ []) "Col.4.18"
  ∷ word (ἡ ∷ []) "Col.4.18"
  ∷ word (χ ∷ ά ∷ ρ ∷ ι ∷ ς ∷ []) "Col.4.18"
  ∷ word (μ ∷ ε ∷ θ ∷ []) "Col.4.18"
  ∷ word (ὑ ∷ μ ∷ ῶ ∷ ν ∷ []) "Col.4.18"
  ∷ []

max_stars_repo_name: scott-fleischman/GreekGrammar

max_issues_repo_name: scott-fleischman/GreekGrammar

max_forks_repo_name: scott-fleischman/GreekGrammar


text:
module ExCoinduction where
open import Coinduction
open import Relation.Binary.PropositionalEquality
open import Data.Stream
open import Data.Nat
open import Data.Bool

data Loc : Set where
  A : Loc
  DONE : Loc

record Values : Set where
  field
    x : ℕ
    δ : ℕ
    k : ℕ

data _Π_ (A B : Set) : Set where
  <_,_> : (a : Loc) → (b : Values) →  A Π B

-- The computation of x in the state
-- The state machine step function

funₓ : ℕ → ℕ → ℕ → ℕ
funₓ x slope δ = x + δ * slope

step : (Loc Π Values) → (Loc Π Values)
step < A , b > with (X >= 10)
 where
 _>=_ : ℕ → ℕ → Bool
 zero >= zero = true
 zero >= suc y = false
 suc x >= zero = false
 suc x >= suc y = x >= y

 _==_ : ℕ → ℕ → Bool
 zero == zero = true
 zero == suc y = false
 suc x == zero = false
 suc x == suc y = x == y

 X : ℕ
 X = funₓ (Values.x b) 1 (Values.δ b)
step < A , b > | false = < A , record { x = X; δ = Values.δ b ; k = Values.k b + 1 } >
 where
 X : ℕ
 X = funₓ (Values.x b) 1 (Values.δ b)
step < A , b > | true = < DONE , record { x = X; δ = Values.δ b ; k = Values.k b + 1 } >
 where
 X : ℕ
 X = funₓ (Values.x b) 1 (Values.δ b)

step < DONE , b > = < DONE , b > -- Just remain in this state forever

-- Make a stream of runFSM
--
f' : ∀ st → Stream (Loc Π Values)
f' st = st ∷ ♯ (f' (step st))
from : Stream (Loc Π Values)
from =  f' (< A , (record { x = zero ; δ = 1 ; k = zero }) >)

thm : from ≈ from
thm = refl ∷ ♯ (refl ∷ (♯ (refl ∷ (♯ (refl ∷ (♯ (refl ∷ (♯ (refl ∷ (♯ (refl ∷ (♯ (refl ∷ (♯ (refl ∷
             (♯ (refl ∷ ♯ (t'))))))))))))))))))

    where
    y : Stream (Loc Π Values)
    y = f' (< DONE , record { x = 10 ; δ = 1 ; k = 10 } > )
    t' : y ≈ y
    t' = refl ∷ (♯ t')

ext: agda


text:
{-# OPTIONS --without-K #-}

open import lib.Basics
open import lib.Relation

module lib.types.SetQuotient where

module _ {i} {A : Type i} {j} where

  private
    data #SetQuotient-aux (R : Rel A j) : Type i where
      #q[_] : A → #SetQuotient-aux R

    data #SetQuotient (R : Rel A j) : Type i where
      #setquot : #SetQuotient-aux R → (Unit → Unit) → #SetQuotient R

  SetQuotient : (R : Rel A j) → Type i
  SetQuotient = #SetQuotient

  module _ {R : Rel A j} where

    q[_] : (a : A) → SetQuotient R
    q[ a ] = #setquot #q[ a ] _

    postulate  -- HIT
      quot-rel : {a₁ a₂ : A} → R a₁ a₂ → q[ a₁ ] == q[ a₂ ]

    postulate  -- HIT
      SetQuotient-level : is-set (SetQuotient R)

    SetQuotient-is-set = SetQuotient-level

    module SetQuotElim {k} {P : SetQuotient R → Type k}
      (p : (x : SetQuotient R) → is-set (P x)) (q[_]* : (a : A) → P q[ a ])
      (rel* : ∀ {a₁ a₂} (r : R a₁ a₂) → q[ a₁ ]* == q[ a₂ ]* [ P ↓ quot-rel r ]) where

      f : Π (SetQuotient R) P
      f = f-aux phantom phantom where

        f-aux : Phantom p
          → Phantom {A = ∀ {a₁ a₂} (r : R a₁ a₂) → _} rel*
          → Π (SetQuotient R) P
        f-aux phantom phantom (#setquot #q[ a ] _) = q[ a ]*

      postulate  -- HIT
        quot-rel-β : ∀ {a₁ a₂} (r : R a₁ a₂) → apd f (quot-rel r) == rel* r

open SetQuotElim public renaming (f to SetQuot-elim)

module SetQuotRec {i} {A : Type i} {j} {R : Rel A j} {k} {B : Type k} (p : is-set B)
  (q[_]* : A → B) (rel* : ∀ {a₁ a₂} (r : R a₁ a₂) → q[ a₁ ]* == q[ a₂ ]*) where

  private
    module M = SetQuotElim (λ x → p) q[_]* (λ {a₁ a₂} r → ↓-cst-in (rel* r))

  f : SetQuotient R → B
  f = M.f

open SetQuotRec public renaming (f to SetQuot-rec)

max_stars_repo_name: cmknapp/HoTT-Agda

max_issues_repo_name: cmknapp/HoTT-Agda

max_forks_repo_name: cmknapp/HoTT-Agda


text:
-- Andreas, 2020-02-15
-- Test case by Jesper to prevent regressions when fixing #3541.

-- Jesper, 2019-09-12: The fix of #3541 introduced a regression: the
-- index of the equality type is treated as a positive argument.

postulate X : Set

module EqualityAsPredicate where

  data _≡_ (A : Set) : Set → Set where
    refl : A ≡ A

  data D : Set where
    c : D ≡ X → D

  data E : Set where
    c : X ≡ E → E

module EqualityAsRelation where

  data _≡_ : Set → Set → Set where
    refl : ∀{A} → A ≡ A

  data D : Set where
    c : D ≡ X → D

  data E : Set where
    c : X ≡ E → E

-- Expected:
-- Positivity checker rejects D and E in both variants.

max_stars_repo_name: shlevy/agda

max_issues_repo_name: shlevy/agda

max_forks_repo_name: shlevy/agda


text:
{-# OPTIONS --cubical --no-import-sorts --safe #-}

module Cubical.Categories.NaturalTransformation.Properties where

open import Cubical.Foundations.Prelude
open import Cubical.Foundations.Univalence
open import Cubical.Foundations.HLevels
open import Cubical.Foundations.Isomorphism renaming (iso to iIso)
open import Cubical.Data.Sigma
open import Cubical.Categories.Category
open import Cubical.Categories.Functor.Base
open import Cubical.Categories.Morphism renaming (isIso to isIsoC)
open import Cubical.Categories.NaturalTransformation.Base

private
  variable
    ℓC ℓC' ℓD ℓD' : Level

open isIsoC
open NatIso
open NatTrans
open Precategory
open Functor

module _ {C : Precategory ℓC ℓC'} {D : Precategory ℓD ℓD'} where
  private
    _⋆ᴰ_ : ∀ {x y z} (f : D [ x , y ]) (g : D [ y , z ]) → D [ x , z ]
    f ⋆ᴰ g = f ⋆⟨ D ⟩ g

  -- natural isomorphism is symmetric
  symNatIso : ∀ {F G : Functor C D}
            → F ≅ᶜ G
            → G ≅ᶜ F
  symNatIso η .trans .N-ob x = η .nIso x .inv
  symNatIso η .trans .N-hom _ = sqLL η
  symNatIso η .nIso x .inv = η .trans .N-ob x
  symNatIso η .nIso x .sec = η .nIso x .ret
  symNatIso η .nIso x .ret = η .nIso x .sec

  -- Properties

  -- path helpers
  module NatTransP where

    module _ {F G : Functor C D} where
      open Iso

      -- same as Sigma version
      NatTransΣ = Σ[ ob ∈ ((x : C .ob) → D [(F .F-ob x) , (G .F-ob x)]) ]
                     ({x y : _ } (f : C [ x , y ]) → (F .F-hom f) ⋆ᴰ (ob y) ≡ (ob x) ⋆ᴰ (G .F-hom f))

      NatTransIsoΣ : Iso (NatTrans F G) NatTransΣ
      NatTransIsoΣ .fun (natTrans N-ob N-hom) = N-ob , N-hom
      NatTransIsoΣ .inv (N-ob , N-hom) = (natTrans N-ob N-hom)
      NatTransIsoΣ .rightInv _ = refl
      NatTransIsoΣ .leftInv _ = refl

      NatTrans≡Σ = ua (isoToEquiv NatTransIsoΣ)

      -- introducing paths
      NatTrans-≡-intro : ∀ {αo βo : N-ob-Type F G}
                           {αh : N-hom-Type F G αo}
                           {βh : N-hom-Type F G βo}
                       → (p : αo ≡ βo)
                       → PathP (λ i → ({x y : C .ob} (f : C [ x , y ]) → (F .F-hom f) ⋆ᴰ (p i y) ≡ (p i x) ⋆ᴰ (G .F-hom f))) αh βh
                       → natTrans {F = F} {G} αo αh ≡ natTrans βo βh
      NatTrans-≡-intro p q i = natTrans (p i) (q i)
    module _ {F G : Functor C D} {α β : NatTrans F G} where
      open Iso
      private
        αOb = α .N-ob
        βOb = β .N-ob
        αHom = α .N-hom
        βHom = β .N-hom
      -- path between natural transformations is the same as a pair of paths (between ob and hom)
      NTPathIsoPathΣ : Iso (α ≡ β)
                         (Σ[ p ∈ (αOb ≡ βOb) ]
                              (PathP (λ i → ({x y : _} (f : _) → F ⟪ f ⟫ ⋆ᴰ (p i y) ≡ (p i x) ⋆ᴰ G ⟪ f ⟫))
                                  αHom
                                  βHom))
      NTPathIsoPathΣ .fun p = (λ i → p i .N-ob) , (λ i → p i .N-hom)
      NTPathIsoPathΣ .inv (po , ph) i = record { N-ob = po i ; N-hom = ph i }
      NTPathIsoPathΣ .rightInv pσ = refl
      NTPathIsoPathΣ .leftInv p = refl

      NTPath≃PathΣ = isoToEquiv NTPathIsoPathΣ

      NTPath≡PathΣ = ua NTPath≃PathΣ

  module _ ⦃ isCatD : isCategory D ⦄ where
    open NatTransP

    -- if the target category has hom Sets, then any natural transformation is a set
    isSetNat : ∀ {F G : Functor C D}
             → isSet (NatTrans F G)
    isSetNat {F} {G} α β p1 p2 i = comp (λ i → NTPath≡PathΣ {F = F} {G} {α} {β} (~ i))
                                        (λ j → λ {(i = i0) → transport-filler NTPath≡PathΣ p1 (~ j) ;
                                                  (i = i1) → transport-filler NTPath≡PathΣ p2 (~ j)})
                                        (p1Σ≡p2Σ i)
      where
        αOb = α .N-ob
        βOb = β .N-ob
        αHom = α .N-hom
        βHom = β .N-hom

        -- convert to sigmas so we can reason about constituent paths separately
        p1Σ : Σ[ p ∈ (αOb ≡ βOb) ]
                (PathP (λ i → ({x y : _} (f : _) → F ⟪ f ⟫ ⋆ᴰ (p i y) ≡ (p i x) ⋆ᴰ G ⟪ f ⟫))
                      αHom
                      βHom)
        p1Σ = transport NTPath≡PathΣ p1

        p2Σ : Σ[ p ∈ (αOb ≡ βOb) ]
                (PathP (λ i → ({x y : _} (f : _) → F ⟪ f ⟫ ⋆ᴰ (p i y) ≡ (p i x) ⋆ᴰ G ⟪ f ⟫))
                       αHom
                       βHom)
        p2Σ = transport NTPath≡PathΣ p2

        -- type aliases
        typeN-ob = (x : C .ob) → D [(F .F-ob x) , (G .F-ob x)]
        typeN-hom : typeN-ob → Type _
        typeN-hom ϕ = {x y : C .ob} (f : C [ x , y ]) → (F .F-hom f) ⋆ᴰ (ϕ y) ≡ (ϕ x) ⋆ᴰ (G .F-hom f)

        -- the Ob function is a set
        isSetN-ob : isSet ((x : C .ob) → D [(F .F-ob x) , (G .F-ob x)])
        isSetN-ob = isOfHLevelΠ 2 λ _ → isCatD .isSetHom

        -- the Hom function is a set
        isSetN-hom : (ϕ : typeN-ob) → isSet (typeN-hom ϕ)
        isSetN-hom γ = isProp→isSet (isPropImplicitΠ λ x → isPropImplicitΠ λ y → isPropΠ λ f → isCatD .isSetHom _ _)

        -- in fact it's a dependent Set, which we need because N-hom depends on N-ob
        isSetN-homP : isOfHLevelDep 2 (λ γ → {x y : C .ob} (f : C [ x , y ]) → (F .F-hom f) ⋆ᴰ (γ y) ≡ (γ x) ⋆ᴰ (G .F-hom f))
        isSetN-homP = isOfHLevel→isOfHLevelDep 2 isSetN-hom

        -- components of the equality
        p1Ob≡p2Ob : fst p1Σ ≡ fst p2Σ
        p1Ob≡p2Ob = isSetN-ob _ _ (fst p1Σ) (fst p2Σ)

        p1Hom≡p2Hom : PathP (λ i → PathP (λ j → typeN-hom (p1Ob≡p2Ob i j)) αHom βHom)
                            (snd p1Σ) (snd p2Σ)
        p1Hom≡p2Hom = isSetN-homP _ _ (snd p1Σ) (snd p2Σ) p1Ob≡p2Ob

        p1Σ≡p2Σ : p1Σ ≡ p2Σ
        p1Σ≡p2Σ = ΣPathP (p1Ob≡p2Ob , p1Hom≡p2Hom)

max_stars_repo_name: Edlyr/cubical

max_issues_repo_name: Edlyr/cubical

max_forks_repo_name: Edlyr/cubical


text:
-- There was a bug where constructors of private datatypes were
-- not made private.
module Issue484 where

module A where
 private
   data Foo : Set where
     foo : Foo

foo′ = A.foo

max_stars_repo_name: cruhland/agda

max_issues_repo_name: cruhland/agda

max_forks_repo_name: cruhland/agda


text:
module Issue422 where

data Bool : Set where
  true false : Bool

data _≡_ {A : Set} (x : A) : A → Set where
  refl : x ≡ x

foo : Bool → Bool → Bool
foo true  b    = b
foo n      true = true
foo false b    = false

good : foo false true ≡ true
good = refl

data Nat : Set where
  zero : Nat
  suc  : Nat → Nat

data T : Set where
  t₁ : Nat → T
  t₂ : Nat → Nat → T
  t₃ : Nat → Nat → Nat → T

bar : Nat → Nat → Nat → T
bar x  zero    z      = t₂ x z
bar x  y      (suc z) = t₃ x y z
bar x (suc y)  zero   = t₂ x y

postulate
  a b c : Nat

eqn₁ : bar a zero c ≡ t₂ a c
eqn₁ = refl

eqn₂ : bar a (suc b) (suc c) ≡ t₃ a (suc b) c
eqn₂ = refl

eqn₃ : bar a (suc b) zero ≡ t₂ a b
eqn₃ = refl


text:
module Data.QuadTree.Implementation.Foldable where

open import Haskell.Prelude renaming (zero to Z; suc to S)
open import Data.Logic
open import Data.QuadTree.Implementation.Definition
open import Data.QuadTree.Implementation.ValidTypes
open import Data.QuadTree.Implementation.QuadrantLenses
open import Data.QuadTree.Implementation.SafeFunctions
open import Data.QuadTree.Implementation.PropDepthRelation

{-# FOREIGN AGDA2HS
{-# LANGUAGE Safe #-}
{-# LANGUAGE LambdaCase #-}
{-# LANGUAGE Rank2Types #-}
import Data.Nat
import Data.Lens.Lens
import Data.Logic
import Data.QuadTree.Implementation.Definition
import Data.QuadTree.Implementation.ValidTypes
import Data.QuadTree.Implementation.QuadrantLenses
#-}

record FoldableEq (t : (y : Set) -> {{ eqT : Eq y }} -> Set) : Set₁ where
  field
    foldMapₑ : {a b : Set} -> {{ eqA : Eq a }} {{ eqB : Eq b }}
        -> {{ monB : Monoid b }} → (a → b) → t a → b

  lengthₑ : {{eqA : Eq a}} -> t a → Nat
  lengthₑ = foldMapₑ ⦃ monB = MonoidSum ⦄ (const 1)
open FoldableEq public
{-# COMPILE AGDA2HS FoldableEq class #-}

data Region : Set where
    -- point 1: x, point 1: y, point 2: x, point 2: y
    RegionC : (p1 : Nat × Nat) (p2 : Nat × Nat) -> Region
{-# COMPILE AGDA2HS Region #-}

data Tile (t : Set) : Set where
    TileC : t -> Region -> Tile t
{-# COMPILE AGDA2HS Tile #-}

instance
    tileFunctor : Functor Tile
    tileFunctor .fmap f (TileC v r) = TileC (f v) r

tilesQd : {t : Set} {{eqT : Eq t}} (dep : Nat) -> VQuadrant t {dep}
    -> (reg : Region)
    -> List (Tile t)
tilesQd dep (CVQuadrant (Leaf v)) reg = TileC v reg ∷ []
tilesQd {t} (dep @ (S deps)) (CVQuadrant (Node a b c d) {p}) reg@(RegionC (x1 , y1) (x2 , y2)) =
    let
        mid = pow 2 deps
        sA : List (Tile t)
        sA = tilesQd deps (CVQuadrant a {aSub a b c d p}) (RegionC
            (x1 , y1)
            (min x2 (mid + x1) , min y2 (mid + y1)))
        sB : List (Tile t)
        sB = tilesQd deps (CVQuadrant b {bSub a b c d p}) (RegionC
            (min x2 (mid + x1) , y1)
            (x2 , min y2 (mid + y1)) )
        sC : List (Tile t)
        sC = tilesQd deps (CVQuadrant c {cSub a b c d p}) (RegionC
            (x1 , min y2 (mid + y1))
            (min x2 (mid + x1) , y2) )
        sD : List (Tile t)
        sD = tilesQd deps (CVQuadrant d {dSub a b c d p}) (RegionC
            (min x2 (mid + x1) , min y2 (mid + y1))
            (x2 , y2) )
    in sA ++ sB ++ sC ++ sD
{-# COMPILE AGDA2HS tilesQd #-}

tilesQt : {t : Set} {{eqT : Eq t}} (dep : Nat) -> VQuadTree t {dep} -> List (Tile t)
tilesQt dep (CVQuadTree (Wrapper wh qd) {p1} {p2}) = tilesQd dep (CVQuadrant qd {p1}) (RegionC (0 , 0) wh)
{-# COMPILE AGDA2HS tilesQt #-}

replicateₙ : {t : Set} -> Nat -> t -> List t
replicateₙ Z v = []
replicateₙ (S n) v = v ∷ replicateₙ n v
{-# COMPILE AGDA2HS replicateₙ #-}

expand : {t : Set} -> Tile t -> List t
expand (TileC v (RegionC (lx , ly) (ux , uy))) =
    replicateₙ (dx * dy) v where
        dx = diff ux lx
        dy = diff uy ly
{-# COMPILE AGDA2HS expand #-}

quadtreeFoldable : (dep : Nat) -> FoldableEq (λ y -> VQuadTree y {dep})
quadtreeFoldable dep .foldMapₑ f t = foldMap f $ concat $ map expand (tilesQt dep t)

max_stars_repo_name: JonathanBrouwer/research-project

max_issues_repo_name: JonathanBrouwer/research-project

max_forks_repo_name: JonathanBrouwer/research-project


text:
postulate
  C : Set
  anything : C

record I : Set where
  constructor c
  field
    {f} : C

data Wrap : (i : I) → Set where
  wrap : ∀ {i} → Wrap i

works : ∀ {j} → Wrap j → C
works {c {._}} (wrap {c {x}}) = anything

fails : ∀ {j} → Wrap j → C
fails {c {._}} (wrap {c}) = anything

-- Failed to infer the value of dotted pattern
-- when checking that the pattern ._ has type C

fails' : ∀ {j} → Wrap j → C
fails' .{c {_}} (wrap {c}) = anything

works2 : ∀ {j} → Wrap j → C
works2 {c} (wrap {c {._}}) = anything

fails2 : ∀ {j} → Wrap j → C
fails2 {c {._}} (wrap {c}) = anything


text:
------------------------------------------------------------------------
-- The Agda standard library
--
-- Properties of operations on the Stream type
------------------------------------------------------------------------

{-# OPTIONS --without-K --safe --sized-types #-}

module Codata.Stream.Properties where

open import Level using (Level)
open import Size
open import Codata.Thunk as Thunk using (Thunk; force)
open import Codata.Stream
open import Codata.Stream.Bisimilarity

open import Data.Nat.Base
open import Data.Nat.GeneralisedArithmetic using (fold; fold-pull)

open import Data.List.Base as List using ([]; _∷_)
open import Data.List.NonEmpty as List⁺ using (List⁺; _∷_)
import Data.List.Relation.Binary.Equality.Propositional as Eq
open import Data.Product as Prod using (_,_)
open import Data.Vec.Base as Vec using (_∷_)

open import Function
open import Relation.Binary.PropositionalEquality as P using (_≡_; _≢_)

private
  variable
    a b c : Level
    A : Set a
    B : Set b
    C : Set c
    i : Size

------------------------------------------------------------------------
-- repeat

lookup-repeat-identity : (n : ℕ) (a : A) → lookup n (repeat a) ≡ a
lookup-repeat-identity zero    a = P.refl
lookup-repeat-identity (suc n) a = lookup-repeat-identity n a

take-repeat-identity : (n : ℕ) (a : A) → take n (repeat a) ≡ Vec.replicate a
take-repeat-identity zero    a = P.refl
take-repeat-identity (suc n) a = P.cong (a Vec.∷_) (take-repeat-identity n a)

splitAt-repeat-identity : (n : ℕ) (a : A) → splitAt n (repeat a) ≡ (Vec.replicate a , repeat a)
splitAt-repeat-identity zero    a = P.refl
splitAt-repeat-identity (suc n) a = P.cong (Prod.map₁ (a ∷_)) (splitAt-repeat-identity n a)

replicate-repeat : ∀ {i} (n : ℕ) (a : A) → i ⊢ List.replicate n a ++ repeat a ≈ repeat a
replicate-repeat zero    a = refl
replicate-repeat (suc n) a = P.refl ∷ λ where .force → replicate-repeat n a

cycle-replicate : ∀ {i} (n : ℕ) (n≢0 : n ≢ 0) (a : A) → i ⊢ cycle (List⁺.replicate n n≢0 a) ≈ repeat a
cycle-replicate {i} n n≢0 a = let as = List⁺.replicate n n≢0 a in begin
  cycle as                           ≡⟨⟩
  as ⁺++ _                           ≈⟨ ⁺++⁺ Eq.≋-refl (λ where .force → cycle-replicate n n≢0 a) ⟩
  as ⁺++ (λ where .force → repeat a) ≈⟨ P.refl ∷ (λ where .force → replicate-repeat (pred n) a) ⟩
  repeat a                           ∎ where open ≈-Reasoning

module _ {a b} {A : Set a} {B : Set b} where

  map-repeat : ∀ (f : A → B) a {i} → i ⊢ map f (repeat a) ≈ repeat (f a)
  map-repeat f a = P.refl ∷ λ where .force → map-repeat f a

  ap-repeat : ∀ (f : A → B) a {i} → i ⊢ ap (repeat f) (repeat a) ≈ repeat (f a)
  ap-repeat f a = P.refl ∷ λ where .force → ap-repeat f a

  ap-repeatˡ : ∀ (f : A → B) as {i} → i ⊢ ap (repeat f) as ≈ map f as
  ap-repeatˡ f (a ∷ as) = P.refl ∷ λ where .force → ap-repeatˡ f (as .force)

  ap-repeatʳ : ∀ (fs : Stream (A → B) ∞) (a : A) {i} → i ⊢ ap fs (repeat a) ≈ map (_$ a) fs
  ap-repeatʳ (f ∷ fs) a = P.refl ∷ λ where .force → ap-repeatʳ (fs .force) a

  map-++ : ∀ {i} (f : A → B) as xs → i ⊢ map f (as ++ xs) ≈ List.map f as ++ map f xs
  map-++ f []       xs = refl
  map-++ f (a ∷ as) xs = P.refl ∷ λ where .force → map-++ f as xs

  map-⁺++ : ∀ {i} (f : A → B) as xs → i ⊢ map f (as ⁺++ xs) ≈ List⁺.map f as ⁺++ Thunk.map (map f) xs
  map-⁺++ f (a ∷ as) xs = P.refl ∷ (λ where .force → map-++ f as (xs .force))

  map-cycle : ∀ {i} (f : A → B) as → i ⊢ map f (cycle as) ≈ cycle (List⁺.map f as)
  map-cycle f as = begin
    map f (cycle as)       ≈⟨ map-⁺++ f as _ ⟩
    List⁺.map f as ⁺++ _   ≈⟨ ⁺++⁺ Eq.≋-refl (λ where .force → map-cycle f as) ⟩
    cycle (List⁺.map f as) ∎ where open ≈-Reasoning

------------------------------------------------------------------------
-- Functor laws

map-identity : ∀ (as : Stream A ∞) → i ⊢ map id as ≈ as
map-identity (a ∷ as) = P.refl ∷ λ where .force → map-identity (as .force)

map-map-fusion : ∀ (f : A → B) (g : B → C) as → i ⊢ map g (map f as) ≈ map (g ∘ f) as
map-map-fusion f g (a ∷ as) = P.refl ∷ λ where .force → map-map-fusion f g (as .force)

------------------------------------------------------------------------
-- splitAt

splitAt-map : ∀ n (f : A → B) xs →
  splitAt n (map f xs) ≡ Prod.map (Vec.map f) (map f) (splitAt n xs)
splitAt-map zero    f xs       = P.refl
splitAt-map (suc n) f (x ∷ xs) =
  P.cong (Prod.map₁ (f x Vec.∷_)) (splitAt-map n f (xs .force))

------------------------------------------------------------------------
-- iterate

lookup-iterate-identity : ∀ n f (a : A) → lookup n (iterate f a) ≡ fold a f n
lookup-iterate-identity zero     f a = P.refl
lookup-iterate-identity (suc n)  f a = begin
  lookup (suc n) (iterate f a) ≡⟨⟩
  lookup n (iterate f (f a))   ≡⟨ lookup-iterate-identity n f (f a) ⟩
  fold (f a) f n               ≡⟨ fold-pull (const ∘′ f) (f a) P.refl (λ _ → P.refl) n ⟩
  f (fold a f n)               ≡⟨⟩
  fold a f (suc n)             ∎ where open P.≡-Reasoning

------------------------------------------------------------------------
-- DEPRECATED NAMES
------------------------------------------------------------------------
-- Please use the new names as continuing support for the old names is
-- not guaranteed.

-- Version 1.1

repeat-ap-identity = ap-repeatˡ
{-# WARNING_ON_USAGE repeat-ap-identity
"Warning: repeat-ap-identity was deprecated in v1.1.
Please use ap-repeatˡ instead."
#-}

ap-repeat-identity = ap-repeatʳ
{-# WARNING_ON_USAGE ap-repeat-identity
"Warning: ap-repeat-identity was deprecated in v1.1.
Please use ap-repeatʳ instead."
#-}

ap-repeat-commute = ap-repeat
{-# WARNING_ON_USAGE ap-repeat-commute
"Warning: ap-repeat-commute was deprecated in v1.1.
Please use ap-repeat instead."
#-}

map-repeat-commute = map-repeat
{-# WARNING_ON_USAGE map-repeat-commute
"Warning: map-repeat-commute was deprecated in v1.1.
Please use map-repeat instead."
#-}


text:
-- {-# OPTIONS -v tc.meta:100 #-}
-- Andreas, 2011-09-21 (fix by Ulf)
module Issue458b where

data _≡_ {A : Set}(a : A) : A -> Set where
  refl : a ≡ a

data Nat : Set where
  zero : Nat
  suc  : Nat -> Nat

data Pair (A B : Set) : Set where
  pair : A -> B -> Pair A B

fst : {A B : Set} -> Pair A B -> A
fst (pair a b) = a

overzeal : let X : Nat -> Nat -> Nat
               X = _
               Y : Pair Nat Nat -> Nat
               Y = _
           in {C : Set} ->
              (({x y : Nat}        -> X x x ≡ Y (pair x y)) ->
               ({z : Pair Nat Nat} -> Y z ≡ fst z)          ->
               ({x y : Nat}        -> X x y ≡ x)            -> C) -> C
overzeal k = k refl refl refl
-- This should succeed.
-- However, before Ulf's fix the first constraint would lead to
-- a pruning of y from Y, since X does not depend on y
-- This lost the solution Y = fst.
{- ERROR was:
Cannot instantiate the metavariable _59 to (fst .z) since it
contains the variable .z which is not in scope of the metavariable
when checking that the expression refl has type (_59 ≡ fst .z)
-}

max_stars_repo_name: asr/agda-kanso

max_issues_repo_name: masondesu/agda

max_forks_repo_name: masondesu/agda


text:
open import Data.Bool
module GUIgeneric.GUIModelExample  where

open import GUIgeneric.Prelude renaming (inj₁ to secondButton; inj₂ to firstButton; WxColor to Color) hiding (IOInterfaceˢ)

open import GUIgeneric.GUIDefinitions renaming (add to add'; add' to add; ComponentEls to Frame)
open import GUIgeneric.GUI
open import GUIgeneric.GUIExampleLib
open import StateSizedIO.writingOOsUsingIOVers4ReaderMethods
open import StateSizedIO.Base
open import GUIgeneric.GUIExample using (oneBtnGUI ; propOneBtn ; obj1Btn; twoBtnGUI ; propTwoBtn ; obj2Btn )
open import GUIgeneric.GUIModel
open import Data.Sum

open IOInterfaceˢ public

private postulate btn  :  FFIButton
private postulate fr   :  FFIFrame

state1Btn : ModelGuiState
state1Btn = state  oneBtnGUI propOneBtn
                   (obj1Btn {∞}) notStarted

state2Btn : ModelGuiState
state2Btn = state  twoBtnGUI propTwoBtn
                   (obj2Btn {∞}) notStarted

corstate1BtnNext1∀  : (m : ModelGuiState)
                      → (state1Btn -gui->¹ m)
                      →  m ≡ state2Btn
corstate1BtnNext1∀ m (step _) = refl

corstate1BtnNext∃   : state1Btn -gui->¹ state2Btn
corstate1BtnNext∃ =  step (btn , fr)

corstate1BtnNext∀  : (m : ModelGuiState)
                     → (state2Btn -gui->¹ m)
                     →  (m ≡ state2Btn ⊎ m ≡ state1Btn )
corstate1BtnNext∀ m  (step (inj₁ _)) = inj₁ refl
corstate1BtnNext∀ m  (step (inj₂ _)) = inj₂ refl

corstate2BtnNext∃1   : state2Btn -gui->¹ state2Btn
corstate2BtnNext∃1 =  step (inj₁ (btn , (btn , fr)) )

corstate2BtnNext∃2   : state2Btn -gui->¹ state1Btn
corstate2BtnNext∃2 =  step (inj₂ (btn , (btn , fr)) )

max_stars_repo_name: stephanadls/state-dependent-gui

max_issues_repo_name: stephanadls/state-dependent-gui

max_forks_repo_name: stephanadls/state-dependent-gui


text:
open import Common.Level

postulate
  ℓ : Level

f : (l : Level) (A : Set l) → Set ℓ
f ℓ A = A

-- Expected error:
-- ℓ != ℓ of type Level
-- (because one is a variable and one a defined identifier)
-- when checking that the expression A has type Set ℓ

-- Jesper, 2018-12-10, New error:
-- A != Issue998a.A of type Set
-- when checking that the expression d A has type D Issue998a.A

max_stars_repo_name: hborum/agda

max_issues_repo_name: hborum/agda

max_forks_repo_name: hborum/agda


text:
open import Agda.Builtin.Nat

variable {n} : Nat

data Vec (A : Set) : Nat → Set where
  []  : Vec A 0
  _∷_ : A → Vec A n → Vec A (suc n)

cons : ∀ {m A} → A → Vec A m → Vec A (suc m)
cons = _∷_

module _ (A : Set) where
  data Vec' : Nat → Set where
    []  : Vec' 0
    _∷_ : A → Vec' n → Vec' (suc n)

cons' : ∀ {m A} → A → Vec' A m → Vec' A (suc m)
cons' = _∷_


text:
-- Andreas, 2014-06-12
-- No inversion on one clause functions with record patterns only!

{-# OPTIONS -v tc.inj:40 #-} -- KEEP!

module _ where

open import Common.Product

-- No inverse should be created for swap by
-- checkInjectivity, since we are dealing with a record constructor.
swap : ∀{A B} → A × B → B × A
swap (a , b) = b , a

-- The internal representation is
--
--   swap p = (snd p, fst p)
--
-- so trying to use injectivity is pointless here.

-- The expected output should mention that injectivity for swap is pointless.
-- ...
-- Injectivity of ConstructorHeadedPointlessForRecordPatterns.swap would be pointless.

-- Crash after typechecking swap.  KEEP!
CRASH : Set
CRASH = Set


text:
-- Andreas, 2015-06-29 polarity handling is broken
-- See also issue 1592

-- {-# OPTIONS -v tc.polarity:20 -v tc.proj.like:100 #-}
-- {-# OPTIONS -v tc.conv.elim:25 --show-implicit #-}

open import Common.Size
open import Common.Prelude

data D : Size → Set where
  c : ∀ i → D (↑ i)

record Type (a : Bool) : Set1 where
  constructor mkType
  field type : Set
open Type

Opp : Set → Set
Opp X = X → ⊥

-- projection-like contravariant function which does not unfold
abstract
  Contra : ∀ a (T : Type a) → Set
  Contra a (mkType A) = Opp A

-- Subtyping is broken for projection(-like) things.
-- This is exploitable as  Contra true (mkType X)  does not reduce to Opp X here.
cast : ∀{i} → Contra true (mkType (D i)) → Contra true (mkType (D (↑ i)))
cast x = x

-- Here it, does reduce.
abstract
  loop : ∀{i} → D i → ⊥
  loop (c i) = cast loop (c i)

absurd : ⊥
absurd = loop (c ∞)

max_forks_repo_name: Agda-zh/agda


text:
module Issue564 where

open import Agda.Primitive using (Level) renaming (lzero to zero)

postulate
  A : Level → Set

module M ℓ where
  postulate a : A ℓ

postulate
  P : A zero → Set

open M zero

p : P a
p = {!!}


text:
module LevelConstraints where

open import Common.Level

postulate
  a b     : Level
  OfLvl   : ∀ ℓ → Set ℓ → Set
  SameLvl : ∀ {ℓ} → Set ℓ → Set ℓ → Set

  -- Here we get two constraints by themselves unsolveable constraints:
  --   _18 ⊔ a = _18   (solved by _18 := a ⊔ ℓ, for any ℓ)
  --   a ⊔ _18 = a     (solved by _18 := a  or  _18 := 0)
  -- By looking at both constraints together we can find the unique solution
  --   _18 := a
  bar : (A : Set _)(B : Set a) → SameLvl A (A → B) → SameLvl B (A → B)


text:
open import Data.Boolean
open import Type

module Data.List.Sorting.QuickSort {ℓ} {T : Type{ℓ}} (_≤?_ : T → T → Bool) where

import      Lvl
open import Data.List
open import Data.List.Functions as List using (_++_)
import      Data.List.Functions.Multi as List
open import Data.Tuple
import      Numeral.Finite.Conversions as 𝕟
open import Functional using (_∘_)

{-# TERMINATING #-}
quickSort : List(T) → List(T)
quickSort ∅       = ∅
quickSort (x ⊰ l)
  with (less , great) ← List.separateBy(left 𝕟.bool ∘ (x ≤?_)) l
  = quickSort(less) ++ (x ⊰ quickSort(great))

module Proofs where

max_stars_repo_name: Lolirofle/stuff-in-agda

max_issues_repo_name: Lolirofle/stuff-in-agda

max_forks_repo_name: Lolirofle/stuff-in-agda


text:
module Luau.Syntax where

open import Luau.Var using (Var)
open import Luau.Addr using (Addr)

infixr 5 _∙_

data Block : Set
data Stat : Set
data Expr : Set

data Block where
  _∙_ : Stat → Block → Block
  done : Block

data Stat where
  function_⟨_⟩_end : Var → Var → Block → Stat
  local_←_ : Var → Expr → Stat
  return : Expr → Stat

data Expr where
  nil : Expr
  var : Var → Expr
  addr : Addr → Expr
  _$_ : Expr → Expr → Expr
  function⟨_⟩_end : Var → Block → Expr
  block_is_end : Var → Block → Expr

max_stars_repo_name: FreakingBarbarians/luau

max_issues_repo_name: FreakingBarbarians/luau

max_forks_repo_name: FreakingBarbarians/luau


text:
{-# OPTIONS --safe --no-qualified-instances #-}
open import Data.List hiding (concat)

module JVM.Syntax.Labeling {ℓ} (T : Set ℓ) where

open import Relation.Unary hiding (_∈_; Empty)
open import Relation.Ternary.Core
open import Relation.Ternary.Data.Bigplus

open import Data.Sum
open import Data.Product

open import JVM.Model T

Labeling : T → Pred (List T) _
Labeling = λ τ → Bigplus (One τ)
  where open Disjoint