text:
module Text.Greek.SBLGNT.Phil where

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

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

max_stars_repo_name: scott-fleischman/GreekGrammar

max_issues_repo_name: scott-fleischman/GreekGrammar

max_forks_repo_name: scott-fleischman/GreekGrammar


text:
{-# OPTIONS --safe --warning=error --without-K #-}

open import LogicalFormulae

open import Orders.Total.Definition

module Orders.Total.Lemmas {a b : _} {A : Set a} (order : TotalOrder A {b}) where

open TotalOrder order

equivMin : {x y : A} → (x < y) → min x y ≡ x
equivMin {x} {y} x<y with totality x y
equivMin {x} {y} x<y | inl (inl x₁) = refl
equivMin {x} {y} x<y | inl (inr y<x) = exFalso (irreflexive (<Transitive x<y y<x))
equivMin {x} {y} x<y | inr x=y rewrite x=y = refl

equivMin' : {x y : A} → (min x y ≡ x) → (x < y) || (x ≡ y)
equivMin' {x} {y} minEq with totality x y
equivMin' {x} {y} minEq | inl (inl x<y) = inl x<y
equivMin' {x} {y} minEq | inl (inr y<x) = exFalso (irreflexive (identityOfIndiscernablesLeft _<_ y<x minEq))
equivMin' {x} {y} minEq | inr x=y = inr x=y

minCommutes : (x y : A) → (min x y) ≡ (min y x)
minCommutes x y with totality x y
minCommutes x y | inl (inl x<y) with totality y x
minCommutes x y | inl (inl x<y) | inl (inl y<x) = exFalso (irreflexive (<Transitive y<x x<y))
minCommutes x y | inl (inl x<y) | inl (inr x<y') = refl
minCommutes x y | inl (inl x<y) | inr y=x = equalityCommutative y=x
minCommutes x y | inl (inr y<x) with totality y x
minCommutes x y | inl (inr y<x) | inl (inl y<x') = refl
minCommutes x y | inl (inr y<x) | inl (inr x<y) = exFalso (irreflexive (<Transitive y<x x<y))
minCommutes x y | inl (inr y<x) | inr y=x = refl
minCommutes x y | inr x=y with totality y x
minCommutes x y | inr x=y | inl (inl x₁) = x=y
minCommutes x y | inr x=y | inl (inr x₁) = refl
minCommutes x y | inr x=y | inr x₁ = x=y

minIdempotent : (x : A) → min x x ≡ x
minIdempotent x with totality x x
minIdempotent x | inl (inl x₁) = refl
minIdempotent x | inl (inr x₁) = refl
minIdempotent x | inr x₁ = refl

swapMin : {x y z : A} → (min x (min y z)) ≡ min y (min x z)
swapMin {x} {y} {z} with totality y z
swapMin {x} {y} {z} | inl (inl y<z) with totality x z
swapMin {x} {y} {z} | inl (inl y<z) | inl (inl x<z) = minCommutes x y
swapMin {x} {y} {z} | inl (inl y<z) | inl (inr z<x) with totality x y
swapMin {x} {y} {z} | inl (inl y<z) | inl (inr z<x) | inl (inl x<y) = exFalso (irreflexive (<Transitive y<z (<Transitive z<x x<y)))
swapMin {x} {y} {z} | inl (inl y<z) | inl (inr z<x) | inl (inr y<x) = equalityCommutative (equivMin y<z)
swapMin {x} {y} {z} | inl (inl y<z) | inl (inr z<x) | inr x=y rewrite x=y = equalityCommutative (equivMin y<z)
swapMin {x} {y} {z} | inl (inl y<z) | inr x=z = minCommutes x y
swapMin {x} {y} {z} | inl (inr z<y) with totality x z
swapMin {x} {y} {z} | inl (inr z<y) | inl (inl x<z) rewrite minCommutes y x = equalityCommutative (equivMin (<Transitive x<z z<y))
swapMin {x} {y} {z} | inl (inr z<y) | inl (inr z<x) with totality y z
swapMin {x} {y} {z} | inl (inr z<y) | inl (inr z<x) | inl (inl y<z) = exFalso (irreflexive (<Transitive z<y y<z))
swapMin {x} {y} {z} | inl (inr z<y) | inl (inr z<x) | inl (inr z<y') = refl
swapMin {x} {y} {z} | inl (inr z<y) | inl (inr z<x) | inr y=z = equalityCommutative y=z
swapMin {x} {y} {z} | inl (inr z<y) | inr x=z rewrite x=z | minCommutes y z = equalityCommutative (equivMin z<y)
swapMin {x} {y} {z} | inr y=z with totality x z
swapMin {x} {y} {z} | inr y=z | inl (inl x<z) = minCommutes x y
swapMin {x} {y} {z} | inr y=z | inl (inr z<x) rewrite y=z | minIdempotent z | minCommutes x z = equivMin z<x
swapMin {x} {y} {z} | inr y=z | inr x=z = minCommutes x y

minMin : {x y : A} → (min x (min x y)) ≡ min x y
minMin {x} {y} with totality x y
minMin {x} {y} | inl (inl x<y) = minIdempotent x
minMin {x} {y} | inl (inr y<x) with totality x y
minMin {x} {y} | inl (inr y<x) | inl (inl x<y) = exFalso (irreflexive (<Transitive y<x x<y))
minMin {x} {y} | inl (inr y<x) | inl (inr y<x') = refl
minMin {x} {y} | inl (inr y<x) | inr x=y = x=y
minMin {x} {y} | inr x=y = minIdempotent x

minFromBoth : {l x y : A} → (l < x) → (l < y) → (l < (min x y))
minFromBoth {a} {x = x} {y} prX prY with totality x y
minFromBoth {a} prX prY | inl (inl x<y) = prX
minFromBoth {a} prX prY | inl (inr y<x) = prY
minFromBoth {a} prX prY | inr x=y = prX

ext: agda


text:
module Dave.LeibnizEquality where
    open import Dave.Equality public

    _≐_ : ∀ {A : Set} (x y : A) → Set₁
    _≐_ {A} x y = ∀ (P : A → Set) → P x → P y

    refl-≐ : ∀ {A : Set} {x : A} → x ≐ x
    refl-≐ P Px = Px

    trans-≐ : ∀ {A : Set} {x y z : A} → x ≐ y → y ≐ z → x ≐ z
    trans-≐ x≐y y≐z P Px = y≐z P (x≐y P Px)

    sym-≐ : ∀ {A : Set} {x y : A} → x ≐ y → y ≐ x
    sym-≐ {A} {x} {y} x≐y P = Qy
        where
            Q : A → Set
            Q z = P z → P x
            Qx : Q x
            Qx = refl-≐ P
            Qy : Q y
            Qy = x≐y Q Qx

    ≡→≐ : ∀ {A : Set} {x y : A} → x ≡ y → x ≐ y
    ≡→≐ x≡y P = subst P x≡y

    ≐→≡ : ∀ {A : Set} {x y : A} → x ≐ y → x ≡ y
    ≐→≡ {A} {x} {y} x≐y = Qy
        where
            Q : A → Set
            Q z = x ≡ z
            Qx : Q x
            Qx = refl
            Qy : Q y
            Qy = x≐y Q Qx


text:
------------------------------------------------------------------------
-- Code used to construct tactics aimed at making equational reasoning
-- proofs more readable
------------------------------------------------------------------------

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

open import Equality

module Tactic.By {c⁺} (eq : ∀ {a p} → Equality-with-J a p c⁺) where

open Derived-definitions-and-properties eq

import Agda.Builtin.Bool as B
open import Agda.Builtin.Nat using (_==_)
open import Agda.Builtin.String

open import Prelude

open import List eq
open import Monad eq
open import Monad.State eq hiding (set)
open import TC-monad eq as TC hiding (Type)

-- Constructs the type of a "cong" function for functions with the
-- given number of arguments. The first argument must be a function
-- that constructs the type of equalities between its two arguments.

type-of-cong : (Term → Term → TC.Type) → ℕ → TC.Type
type-of-cong equality n = levels (suc n)
  where
  -- The examples below are given for n = 3.

  -- Generates x₁ x₂ x₃ or y₁ y₂ y₃.
  arguments : ℕ → ℕ → List (Arg Term)
  arguments delta (suc m) = varg (var (delta + 2 * m + 1 + n) []) ∷
                            arguments delta m
  arguments delta zero    = []

  -- Generates x₁ ≡ y₁ → x₂ ≡ y₂ → x₃ ≡ y₃ → f x₁ x₂ x₃ ≡ f y₁ y₂ y₃.
  equalities : ℕ → TC.Type
  equalities (suc m) =
    pi (varg (equality (var (1 + 2 * m + 1 + (n ∸ suc m)) [])
                       (var (0 + 2 * m + 1 + (n ∸ suc m)) []))) $
       abs "x≡y" $
       equalities m
  equalities zero =
    equality (var n (arguments 1 n))
             (var n (arguments 0 n))

  -- Generates A → B → C → D.
  function-type : ℕ → TC.Type
  function-type (suc m) = pi (varg (var (3 * n) []))
                             (abs "_" (function-type m))
  function-type zero    = var (3 * n) []

  -- Generates ∀ {x₁ y₁ x₂ y₂ x₃ y₃} → …
  variables : ℕ → TC.Type
  variables (suc m) =
    pi (harg unknown) $ abs "x"   $
    pi (harg unknown) $ abs "y"   $
       variables m
  variables zero    =
    pi (varg (function-type n)) $ abs "f" $
       equalities n

  -- Generates
  -- {A : Set a} {B : Set b} {C : Set c} {D : Set d} → ….
  types : ℕ → TC.Type
  types (suc m) = pi (harg (agda-sort (set (var n [])))) $ abs "A" $
                     types m
  types zero    = variables n

  -- Generates {a b c d : Level} → ….
  levels : ℕ → TC.Type
  levels (suc n) = pi (harg (def (quote Level) [])) $ abs "a" $
                      levels n
  levels zero    = types (suc n)

-- Used to mark the subterms that should be rewritten by the ⟨by⟩
-- tactic.
--
-- The idea to mark subterms in this way is taken from Bradley
-- Hardy, who used it in the Holes library
-- (https://github.com/bch29/agda-holes).

⟨_⟩ : ∀ {a} {A : Type a} → A → A
⟨_⟩ = id

{-# NOINLINE ⟨_⟩ #-}

module _
  (deconstruct-equality :
     TC.Type → TC (Maybe (Term × TC.Type × Term × Term)))
  -- Tries to deconstruct a type which is expected to be an equality,
  -- _≡_ {a = a} {A = A} x y, but in reduced form. Upon success the
  -- level a, the type A, the left-hand side x, and the right-hand
  -- side y are returned. If it is hard to determine a or A, then
  -- unknown can be returned instead. If the type does not have the
  -- right form, then nothing is returned.
  where

  private

    -- A variant of blockOnMeta which can print a debug message.

    blockOnMeta′ : {A : Type} → String → Meta → TC A
    blockOnMeta′ s m = do
      debugPrint "by" 20
        (strErr "by/⟨by⟩ is blocking on meta" ∷
         strErr (primShowMeta m) ∷ strErr "in" ∷ strErr s ∷ [])
      blockOnMeta m

    -- A variant of deconstruct-equality with the following
    -- differences:
    -- * If the type is a meta-variable, then the computation blocks.
    -- * If the type does not have the right form (and is not a
    --   meta-variable), then a type error is raised, and the given
    --   list is used as the error message.

    deconstruct-equality′ :
      List ErrorPart → TC.Type → TC (Term × TC.Type × Term × Term)
    deconstruct-equality′ err (meta m _) =
      blockOnMeta′ "deconstruct-equality′" m
    deconstruct-equality′ err t = do
      just r ← deconstruct-equality t
        where nothing → typeError err
      return r

    -- The computation apply-to-metas A t tries to apply the term t to
    -- as many fresh meta-variables as possible (based on its type,
    -- A). The type of the resulting term is returned.

    apply-to-metas : TC.Type → Term → TC (TC.Type × Term)
    apply-to-metas A t = apply A t =<< compute-args fuel [] A
      where
      -- Fuel, used to ensure termination.

      fuel : ℕ
      fuel = 100

      mutual

        compute-args :
          ℕ → List (Arg Term) → TC.Type → TC (List (Arg Term))
        compute-args zero _ _ =
          typeError (strErr "apply-to-metas failed" ∷ [])
        compute-args (suc n) args τ =
          compute-args′ n args =<< reduce τ

        compute-args′ :
          ℕ → List (Arg Term) → TC.Type → TC (List (Arg Term))
        compute-args′ n args (pi a@(arg i _) (abs _ τ)) =
          extendContext a $
          compute-args n (arg i unknown ∷ args) τ
        compute-args′ n args (meta x _) =
          blockOnMeta′ "apply-to-metas" x
        compute-args′ n args _ = return (reverse args)

  -- The ⟨by⟩ tactic.
  --
  -- The tactic ⟨by⟩ t is intended for use with goals of the form
  -- C [ ⟨ e₁ ⟩ ] ≡ e₂ (with some limitations). The tactic tries to
  -- generate the term cong (λ x → C [ x ]) t′, where t′ is t applied
  -- to as many meta-variables as possible (based on its type), and if
  -- that term fails to unify with the goal type, then the term
  -- cong (λ x → C [ x ]) (sym t′) is generated instead.

  module ⟨By⟩
    {Ctxt : Type}
    (context : TC Ctxt)
    -- A "context" type and a computation that computes some information
    -- related to the current context. The information is only
    -- guaranteed to be valid in the current context.
    (sym : Ctxt → Term → Term)
    -- An implementation of symmetry.
    (cong : Ctxt → Term → Term → Term → Term → Term)
    -- An implementation of cong. Arguments: left-hand side,
    -- right-hand side, function, equality.
    (cong-with-lhs-and-rhs : Bool)
    -- Should the cong function be applied to the "left-hand side" and
    -- the "right-hand side" (the two sides of the inferred type of
    -- the constructed equality proof), or should those arguments be
    -- left for Agda's unification machinery?
    where

    private

      -- A non-macro variant of ⟨by⟩ that returns the (first)
      -- constructed term.

      ⟨by⟩-tactic : ∀ {a} {A : Type a} → A → Term → TC Term
      ⟨by⟩-tactic {A = A} t goal = do
        -- To avoid wasted work the first block below, which can block
        -- the tactic, is run before the second one.

        goal-type       ← reduce =<< inferType goal
        _ , _ , lhs , _ ← deconstruct-equality′ err₁ goal-type
        f               ← construct-context lhs

        A     ← quoteTC A
        t     ← quoteTC t
        A , t ← apply-to-metas A t

        if not cong-with-lhs-and-rhs
          then conclude unknown unknown f t
          else do
            A                 ← reduce A
            _ , _ , lhs , rhs ← deconstruct-equality′ err₂ A
            conclude lhs rhs f t
        where
        err₁ = strErr "⟨by⟩: ill-formed goal"  ∷ []
        err₂ = strErr "⟨by⟩: ill-formed proof" ∷ []

        try : Term → TC ⊤
        try t = do
          debugPrint "by" 10 $
            strErr "Term tried by ⟨by⟩:" ∷ termErr t ∷ []
          unify t goal

        conclude : Term → Term → Term → Term → TC Term
        conclude lhs rhs f t = do
          ctxt ← context
          let t₁ = cong ctxt lhs rhs f t
              t₂ = cong ctxt rhs lhs f (sym ctxt t)
          catchTC (try t₁) (try t₂)
          return t₁

        mutual

          -- The natural number argument is the variable that should
          -- be used for the hole. The natural number in the state is
          -- the number of occurrences of the marker that have been
          -- found.

          -- The code traverses arguments from right to left: in some
          -- cases it is better to block on the last meta-variable
          -- than the first one (because the first one might get
          -- instantiated before the last one, so when the last one is
          -- instantiated all the others have hopefully already been
          -- instantiated).

          context-term : ℕ → Term → StateT ℕ TC Term
          context-term n = λ where
            (def f args)  → if eq-Name f (quote ⟨_⟩)
                            then modify suc >> return (var n [])
                            else def f ⟨$⟩ context-args n args
            (var x args)  → var (weaken-var n 1 x) ⟨$⟩
                            context-args n args
            (con c args)  → con c ⟨$⟩ context-args n args
            (lam v t)     → lam v ⟨$⟩ context-abs n t
            (pi a b)      → flip pi ⟨$⟩ context-abs n b ⊛ context-arg n a
            (meta m _)    → liftʳ $ blockOnMeta′ "construct-context" m
            t             → return (weaken-term n 1 t)

          context-abs : ℕ → Abs Term → StateT ℕ TC (Abs Term)
          context-abs n (abs s t) = abs s ⟨$⟩ context-term (suc n) t

          context-arg : ℕ → Arg Term → StateT ℕ TC (Arg Term)
          context-arg n (arg i t) = arg i ⟨$⟩ context-term n t

          context-args :
            ℕ → List (Arg Term) → StateT ℕ TC (List (Arg Term))
          context-args n = λ where
            []       → return []
            (a ∷ as) → flip _∷_ ⟨$⟩ context-args n as ⊛ context-arg n a

        construct-context : Term → TC Term
        construct-context lhs = do
          debugPrint "by" 20
            (strErr "⟨by⟩ was given the left-hand side" ∷
             termErr lhs ∷ [])
          body , n ← run (context-term 0 lhs) 0
          case n of λ where
            (suc _) → return (lam visible (abs "x" body))
            zero    → typeError $
              strErr "⟨by⟩: no occurrence of ⟨_⟩ found" ∷ []

    macro

      -- The ⟨by⟩ tactic.

      ⟨by⟩ : ∀ {a} {A : Type a} → A → Term → TC ⊤
      ⟨by⟩ t goal = do
        ⟨by⟩-tactic t goal
        return _

      -- Unit tests can be found in Tactic.By.Parametrised.Tests,
      -- Tactic.By.Propositional, Tactic.By.Path and Tactic.By.Id.

      -- If ⟨by⟩ t would have been successful, then debug-⟨by⟩ t
      -- raises an error message that includes the (first) term that
      -- would have been constructed by ⟨by⟩.

      debug-⟨by⟩ : ∀ {a} {A : Type a} → A → Term → TC ⊤
      debug-⟨by⟩ t goal = do
        t ← ⟨by⟩-tactic t goal
        typeError (strErr "Term found by ⟨by⟩:" ∷ termErr t ∷ [])

  -- The by tactic.

  module By
    (sym : Term → Term)
    -- An implementation of symmetry.
    (equality : Term → Term → TC.Type)
    -- Constructs the type of equalities between its two arguments.
    (refl : Term → Term → Term → Term)
    -- An implementation of reflexivity. Should take a level a, a type
    -- A : Set a, and a value x : A, and return a proof of x ≡ x.
    (make-cong : ℕ → TC Name)
    -- The computation make-cong n should generate a "cong" function
    -- for functions with n arguments. The type of this function
    -- should match that generated by type-of-cong equality n. (The
    -- functions are used fully applied, and implicit arguments are
    -- not given explicitly, so hopefully the ordering of implicit
    -- arguments with respect to each other and the explicit arguments
    -- does not matter.)
    (extra-check-in-try-refl : Bool)
    -- When the by tactic tries to solve a subgoal using reflexivity,
    -- should it make sure that, afterwards, the goal meta-variable
    -- reduces to something that is not a meta-variable?
    where

    private

      -- The call by-tactic t goal tries to use (non-dependent) "cong"
      -- functions, reflexivity and t (via refine) to solve the given
      -- goal (which must be an equality).
      --
      -- The constructed term is returned.

      by-tactic : ∀ {a} {A : Type a} → A → Term → TC Term
      by-tactic {A = A} t goal = do
        A ← quoteTC A
        t ← quoteTC t
        _ , t ← apply-to-metas A t
        by-tactic′ fuel t goal
        where
        -- Fuel, used to ensure termination. (Termination could
        -- perhaps be proved in some way, but using fuel was easier.)

        fuel : ℕ
        fuel = 100

        -- The tactic's main loop.

        by-tactic′ : ℕ → Term → Term → TC Term
        by-tactic′ zero    _ _    = typeError
                                      (strErr "by: no more fuel" ∷ [])
        by-tactic′ (suc n) t goal = do
          goal-type ← reduce =<< inferType goal
          block-if-meta goal-type
          catchTC (try-refl goal-type) $
            catchTC (try t) $
              catchTC (try (sym t)) $
                try-cong goal-type
          where
          -- Error messages.

          ill-formed : List ErrorPart
          ill-formed = strErr "by: ill-formed goal" ∷ []

          failure : {A : Type} → TC A
          failure = typeError (strErr "by failed" ∷ [])

          -- Blocks if the goal type is not sufficiently concrete.
          -- Raises a type error if the goal type is not an equality.

          block-if-meta : TC.Type → TC ⊤
          block-if-meta type = do
            eq ← deconstruct-equality′ ill-formed type
            case eq of λ where
              (_ , _ , meta m _ , _) → blockOnMeta′
                                         "block-if-meta (left)"  m
              (_ , _ , _ , meta m _) → blockOnMeta′
                                         "block-if-meta (right)" m
              _                      → return _

          -- Tries to solve the goal using reflexivity.

          try-refl : TC.Type → TC Term
          try-refl type = do
            a , A , lhs , _ ← deconstruct-equality′ ill-formed type

            let t′ = refl a A lhs
            unify t′ goal

            if not extra-check-in-try-refl
              then return t′
              else do
              -- If unification succeeds, but the goal is solved by a
              -- meta-variable, then this attempt is aborted. (A check
              -- similar to this one was suggested by Ulf Norell.)
              -- Potential future improvement: If unification results
              -- in unsolved constraints, block until progress has
              -- been made on those constraints.
              goal ← reduce goal
              case goal of λ where
                (meta _ _) → failure
                _          → return t′

          -- Tries to solve the goal using the given term.

          try : Term → TC Term
          try t = do
            unify t goal
            return t

          -- Tries to solve the goal using one of the "cong"
          -- functions.

          try-cong : TC.Type → TC Term
          try-cong type = do
            _ , _ , y , z  ← deconstruct-equality′ ill-formed type
            head , ys , zs ← heads y z
            args           ← arguments ys zs
            cong           ← make-cong (length args)
            let t = def cong (varg head ∷ args)
            unify t goal
            return t
            where
            -- Checks if the heads are equal. If they are, then the
            -- function figures out how many arguments are equal, and
            -- returns the (unique) head applied to these arguments,
            -- plus two lists containing the remaining arguments.

            heads : Term → Term →
                    TC (Term × List (Arg Term) × List (Arg Term))
            heads = λ
              { (def y ys) (def z zs) → helper (primQNameEquality y z)
                                               (def y) (def z) ys zs
              ; (con y ys) (con z zs) → helper (primQNameEquality y z)
                                               (con y) (con z) ys zs
              ; (var y ys) (var z zs) → helper (y == z)
                                               (var y) (var z) ys zs
              ; _          _          → failure
              }
              where
              find-equal-arguments :
                List (Arg Term) → List (Arg Term) →
                List (Arg Term) × List (Arg Term) × List (Arg Term)
              find-equal-arguments []       zs       = [] , [] , zs
              find-equal-arguments ys       []       = [] , ys , []
              find-equal-arguments (y ∷ ys) (z ∷ zs) with eq-Arg y z
              ... | false = [] , y ∷ ys , z ∷ zs
              ... | true  with find-equal-arguments ys zs
              ...   | (es , ys′ , zs′) = y ∷ es , ys′ , zs′

              helper : B.Bool → _ → _ → _ → _ → _
              helper B.false y z _  _  =
                typeError (strErr "by: distinct heads:" ∷
                           termErr (y []) ∷ termErr (z []) ∷ [])
              helper B.true  y _ ys zs =
                let es , ys′ , zs′ = find-equal-arguments ys zs in
                return (y es , ys′ , zs′)

            -- Tries to prove that the argument lists are equal.

            arguments : List (Arg Term) → List (Arg Term) →
                        TC (List (Arg Term))
            arguments [] []                             = return []
            arguments (arg (arg-info visible _) y ∷ ys)
                      (arg (arg-info visible _) z ∷ zs) = do
                       -- Relevance is ignored.

              goal ← checkType unknown (equality y z)
              t    ← by-tactic′ n t goal
              args ← arguments ys zs
              return (varg t ∷ args)

            -- Hidden and instance arguments are ignored.

            arguments (arg (arg-info hidden _) _ ∷ ys) zs    = arguments ys zs
            arguments (arg (arg-info instance′ _) _ ∷ ys) zs = arguments ys zs
            arguments ys (arg (arg-info hidden _) _ ∷ zs)    = arguments ys zs
            arguments ys (arg (arg-info instance′ _) _ ∷ zs) = arguments ys zs

            arguments _ _ = failure

    macro

      -- The call by t tries to use t (along with congruence,
      -- reflexivity and symmetry) to solve the goal, which must be an
      -- equality.

      by : ∀ {a} {A : Type a} → A → Term → TC ⊤
      by t goal = do
        by-tactic t goal
        return _

      -- Unit tests can be found in Tactic.By.Propositional,
      -- Tactic.By.Path and Tactic.By.Id.

      -- If by t would have been successful, then debug-by t raises an
      -- error message that includes the term that would have been
      -- constructed by by.

      debug-by : ∀ {a} {A : Type a} → A → Term → TC ⊤
      debug-by t goal = do
        t ← by-tactic t goal
        typeError (strErr "Term found by by:" ∷ termErr t ∷ [])

    -- A definition that provides no information. Intended to be used
    -- together with the by tactic: "by definition".

    definition : ⊤
    definition = _

-- A module that exports both tactics. The "context" type is not
-- supported.

module Tactics
  (deconstruct-equality :
     TC.Type → TC (Maybe (Term × TC.Type × Term × Term)))
  (equality : Term → Term → TC.Type)
  (refl : Term → Term → Term → Term)
  (sym : Term → Term)
  (cong : Term → Term → Term → Term → Term)
  (cong-with-lhs-and-rhs : Bool)
  (make-cong : ℕ → TC Name)
  (extra-check-in-try-refl : Bool)
  where

  open ⟨By⟩ deconstruct-equality (return tt) (λ _ → sym) (λ _ → cong)
            cong-with-lhs-and-rhs public
  open By deconstruct-equality sym equality refl make-cong
          extra-check-in-try-refl public

max_stars_repo_name: nad/equality

max_issues_repo_name: nad/equality

max_forks_repo_name: nad/equality