text:
module Text.Greek.SBLGNT.1Tim where

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

ΠΡΟΣ-ΤΙΜΟΘΕΟΝ-Α : List (Word)
ΠΡΟΣ-ΤΙΜΟΘΕΟΝ-Α =
    word (Π ∷ α ∷ ῦ ∷ ∙λ ∷ ο ∷ ς ∷ []) "1Tim.1.1"
  ∷ word (ἀ ∷ π ∷ ό ∷ σ ∷ τ ∷ ο ∷ ∙λ ∷ ο ∷ ς ∷ []) "1Tim.1.1"
  ∷ word (Χ ∷ ρ ∷ ι ∷ σ ∷ τ ∷ ο ∷ ῦ ∷ []) "1Tim.1.1"
  ∷ word (Ἰ ∷ η ∷ σ ∷ ο ∷ ῦ ∷ []) "1Tim.1.1"
  ∷ word (κ ∷ α ∷ τ ∷ []) "1Tim.1.1"
  ∷ word (ἐ ∷ π ∷ ι ∷ τ ∷ α ∷ γ ∷ ὴ ∷ ν ∷ []) "1Tim.1.1"
  ∷ word (θ ∷ ε ∷ ο ∷ ῦ ∷ []) "1Tim.1.1"
  ∷ word (σ ∷ ω ∷ τ ∷ ῆ ∷ ρ ∷ ο ∷ ς ∷ []) "1Tim.1.1"
  ∷ word (ἡ ∷ μ ∷ ῶ ∷ ν ∷ []) "1Tim.1.1"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Tim.1.1"
  ∷ word (Χ ∷ ρ ∷ ι ∷ σ ∷ τ ∷ ο ∷ ῦ ∷ []) "1Tim.1.1"
  ∷ word (Ἰ ∷ η ∷ σ ∷ ο ∷ ῦ ∷ []) "1Tim.1.1"
  ∷ word (τ ∷ ῆ ∷ ς ∷ []) "1Tim.1.1"
  ∷ word (ἐ ∷ ∙λ ∷ π ∷ ί ∷ δ ∷ ο ∷ ς ∷ []) "1Tim.1.1"
  ∷ word (ἡ ∷ μ ∷ ῶ ∷ ν ∷ []) "1Tim.1.1"
  ∷ word (Τ ∷ ι ∷ μ ∷ ο ∷ θ ∷ έ ∷ ῳ ∷ []) "1Tim.1.2"
  ∷ word (γ ∷ ν ∷ η ∷ σ ∷ ί ∷ ῳ ∷ []) "1Tim.1.2"
  ∷ word (τ ∷ έ ∷ κ ∷ ν ∷ ῳ ∷ []) "1Tim.1.2"
  ∷ word (ἐ ∷ ν ∷ []) "1Tim.1.2"
  ∷ word (π ∷ ί ∷ σ ∷ τ ∷ ε ∷ ι ∷ []) "1Tim.1.2"
  ∷ word (χ ∷ ά ∷ ρ ∷ ι ∷ ς ∷ []) "1Tim.1.2"
  ∷ word (ἔ ∷ ∙λ ∷ ε ∷ ο ∷ ς ∷ []) "1Tim.1.2"
  ∷ word (ε ∷ ἰ ∷ ρ ∷ ή ∷ ν ∷ η ∷ []) "1Tim.1.2"
  ∷ word (ἀ ∷ π ∷ ὸ ∷ []) "1Tim.1.2"
  ∷ word (θ ∷ ε ∷ ο ∷ ῦ ∷ []) "1Tim.1.2"
  ∷ word (π ∷ α ∷ τ ∷ ρ ∷ ὸ ∷ ς ∷ []) "1Tim.1.2"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Tim.1.2"
  ∷ word (Χ ∷ ρ ∷ ι ∷ σ ∷ τ ∷ ο ∷ ῦ ∷ []) "1Tim.1.2"
  ∷ word (Ἰ ∷ η ∷ σ ∷ ο ∷ ῦ ∷ []) "1Tim.1.2"
  ∷ word (τ ∷ ο ∷ ῦ ∷ []) "1Tim.1.2"
  ∷ word (κ ∷ υ ∷ ρ ∷ ί ∷ ο ∷ υ ∷ []) "1Tim.1.2"
  ∷ word (ἡ ∷ μ ∷ ῶ ∷ ν ∷ []) "1Tim.1.2"
  ∷ word (Κ ∷ α ∷ θ ∷ ὼ ∷ ς ∷ []) "1Tim.1.3"
  ∷ word (π ∷ α ∷ ρ ∷ ε ∷ κ ∷ ά ∷ ∙λ ∷ ε ∷ σ ∷ ά ∷ []) "1Tim.1.3"
  ∷ word (σ ∷ ε ∷ []) "1Tim.1.3"
  ∷ word (π ∷ ρ ∷ ο ∷ σ ∷ μ ∷ ε ∷ ῖ ∷ ν ∷ α ∷ ι ∷ []) "1Tim.1.3"
  ∷ word (ἐ ∷ ν ∷ []) "1Tim.1.3"
  ∷ word (Ἐ ∷ φ ∷ έ ∷ σ ∷ ῳ ∷ []) "1Tim.1.3"
  ∷ word (π ∷ ο ∷ ρ ∷ ε ∷ υ ∷ ό ∷ μ ∷ ε ∷ ν ∷ ο ∷ ς ∷ []) "1Tim.1.3"
  ∷ word (ε ∷ ἰ ∷ ς ∷ []) "1Tim.1.3"
  ∷ word (Μ ∷ α ∷ κ ∷ ε ∷ δ ∷ ο ∷ ν ∷ ί ∷ α ∷ ν ∷ []) "1Tim.1.3"
  ∷ word (ἵ ∷ ν ∷ α ∷ []) "1Tim.1.3"
  ∷ word (π ∷ α ∷ ρ ∷ α ∷ γ ∷ γ ∷ ε ∷ ί ∷ ∙λ ∷ ῃ ∷ ς ∷ []) "1Tim.1.3"
  ∷ word (τ ∷ ι ∷ σ ∷ ὶ ∷ ν ∷ []) "1Tim.1.3"
  ∷ word (μ ∷ ὴ ∷ []) "1Tim.1.3"
  ∷ word (ἑ ∷ τ ∷ ε ∷ ρ ∷ ο ∷ δ ∷ ι ∷ δ ∷ α ∷ σ ∷ κ ∷ α ∷ ∙λ ∷ ε ∷ ῖ ∷ ν ∷ []) "1Tim.1.3"
  ∷ word (μ ∷ η ∷ δ ∷ ὲ ∷ []) "1Tim.1.4"
  ∷ word (π ∷ ρ ∷ ο ∷ σ ∷ έ ∷ χ ∷ ε ∷ ι ∷ ν ∷ []) "1Tim.1.4"
  ∷ word (μ ∷ ύ ∷ θ ∷ ο ∷ ι ∷ ς ∷ []) "1Tim.1.4"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Tim.1.4"
  ∷ word (γ ∷ ε ∷ ν ∷ ε ∷ α ∷ ∙λ ∷ ο ∷ γ ∷ ί ∷ α ∷ ι ∷ ς ∷ []) "1Tim.1.4"
  ∷ word (ἀ ∷ π ∷ ε ∷ ρ ∷ ά ∷ ν ∷ τ ∷ ο ∷ ι ∷ ς ∷ []) "1Tim.1.4"
  ∷ word (α ∷ ἵ ∷ τ ∷ ι ∷ ν ∷ ε ∷ ς ∷ []) "1Tim.1.4"
  ∷ word (ἐ ∷ κ ∷ ζ ∷ η ∷ τ ∷ ή ∷ σ ∷ ε ∷ ι ∷ ς ∷ []) "1Tim.1.4"
  ∷ word (π ∷ α ∷ ρ ∷ έ ∷ χ ∷ ο ∷ υ ∷ σ ∷ ι ∷ []) "1Tim.1.4"
  ∷ word (μ ∷ ᾶ ∷ ∙λ ∷ ∙λ ∷ ο ∷ ν ∷ []) "1Tim.1.4"
  ∷ word (ἢ ∷ []) "1Tim.1.4"
  ∷ word (ο ∷ ἰ ∷ κ ∷ ο ∷ ν ∷ ο ∷ μ ∷ ί ∷ α ∷ ν ∷ []) "1Tim.1.4"
  ∷ word (θ ∷ ε ∷ ο ∷ ῦ ∷ []) "1Tim.1.4"
  ∷ word (τ ∷ ὴ ∷ ν ∷ []) "1Tim.1.4"
  ∷ word (ἐ ∷ ν ∷ []) "1Tim.1.4"
  ∷ word (π ∷ ί ∷ σ ∷ τ ∷ ε ∷ ι ∷ []) "1Tim.1.4"
  ∷ word (τ ∷ ὸ ∷ []) "1Tim.1.5"
  ∷ word (δ ∷ ὲ ∷ []) "1Tim.1.5"
  ∷ word (τ ∷ έ ∷ ∙λ ∷ ο ∷ ς ∷ []) "1Tim.1.5"
  ∷ word (τ ∷ ῆ ∷ ς ∷ []) "1Tim.1.5"
  ∷ word (π ∷ α ∷ ρ ∷ α ∷ γ ∷ γ ∷ ε ∷ ∙λ ∷ ί ∷ α ∷ ς ∷ []) "1Tim.1.5"
  ∷ word (ἐ ∷ σ ∷ τ ∷ ὶ ∷ ν ∷ []) "1Tim.1.5"
  ∷ word (ἀ ∷ γ ∷ ά ∷ π ∷ η ∷ []) "1Tim.1.5"
  ∷ word (ἐ ∷ κ ∷ []) "1Tim.1.5"
  ∷ word (κ ∷ α ∷ θ ∷ α ∷ ρ ∷ ᾶ ∷ ς ∷ []) "1Tim.1.5"
  ∷ word (κ ∷ α ∷ ρ ∷ δ ∷ ί ∷ α ∷ ς ∷ []) "1Tim.1.5"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Tim.1.5"
  ∷ word (σ ∷ υ ∷ ν ∷ ε ∷ ι ∷ δ ∷ ή ∷ σ ∷ ε ∷ ω ∷ ς ∷ []) "1Tim.1.5"
  ∷ word (ἀ ∷ γ ∷ α ∷ θ ∷ ῆ ∷ ς ∷ []) "1Tim.1.5"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Tim.1.5"
  ∷ word (π ∷ ί ∷ σ ∷ τ ∷ ε ∷ ω ∷ ς ∷ []) "1Tim.1.5"
  ∷ word (ἀ ∷ ν ∷ υ ∷ π ∷ ο ∷ κ ∷ ρ ∷ ί ∷ τ ∷ ο ∷ υ ∷ []) "1Tim.1.5"
  ∷ word (ὧ ∷ ν ∷ []) "1Tim.1.6"
  ∷ word (τ ∷ ι ∷ ν ∷ ε ∷ ς ∷ []) "1Tim.1.6"
  ∷ word (ἀ ∷ σ ∷ τ ∷ ο ∷ χ ∷ ή ∷ σ ∷ α ∷ ν ∷ τ ∷ ε ∷ ς ∷ []) "1Tim.1.6"
  ∷ word (ἐ ∷ ξ ∷ ε ∷ τ ∷ ρ ∷ ά ∷ π ∷ η ∷ σ ∷ α ∷ ν ∷ []) "1Tim.1.6"
  ∷ word (ε ∷ ἰ ∷ ς ∷ []) "1Tim.1.6"
  ∷ word (μ ∷ α ∷ τ ∷ α ∷ ι ∷ ο ∷ ∙λ ∷ ο ∷ γ ∷ ί ∷ α ∷ ν ∷ []) "1Tim.1.6"
  ∷ word (θ ∷ έ ∷ ∙λ ∷ ο ∷ ν ∷ τ ∷ ε ∷ ς ∷ []) "1Tim.1.7"
  ∷ word (ε ∷ ἶ ∷ ν ∷ α ∷ ι ∷ []) "1Tim.1.7"
  ∷ word (ν ∷ ο ∷ μ ∷ ο ∷ δ ∷ ι ∷ δ ∷ ά ∷ σ ∷ κ ∷ α ∷ ∙λ ∷ ο ∷ ι ∷ []) "1Tim.1.7"
  ∷ word (μ ∷ ὴ ∷ []) "1Tim.1.7"
  ∷ word (ν ∷ ο ∷ ο ∷ ῦ ∷ ν ∷ τ ∷ ε ∷ ς ∷ []) "1Tim.1.7"
  ∷ word (μ ∷ ή ∷ τ ∷ ε ∷ []) "1Tim.1.7"
  ∷ word (ἃ ∷ []) "1Tim.1.7"
  ∷ word (∙λ ∷ έ ∷ γ ∷ ο ∷ υ ∷ σ ∷ ι ∷ ν ∷ []) "1Tim.1.7"
  ∷ word (μ ∷ ή ∷ τ ∷ ε ∷ []) "1Tim.1.7"
  ∷ word (π ∷ ε ∷ ρ ∷ ὶ ∷ []) "1Tim.1.7"
  ∷ word (τ ∷ ί ∷ ν ∷ ω ∷ ν ∷ []) "1Tim.1.7"
  ∷ word (δ ∷ ι ∷ α ∷ β ∷ ε ∷ β ∷ α ∷ ι ∷ ο ∷ ῦ ∷ ν ∷ τ ∷ α ∷ ι ∷ []) "1Tim.1.7"
  ∷ word (Ο ∷ ἴ ∷ δ ∷ α ∷ μ ∷ ε ∷ ν ∷ []) "1Tim.1.8"
  ∷ word (δ ∷ ὲ ∷ []) "1Tim.1.8"
  ∷ word (ὅ ∷ τ ∷ ι ∷ []) "1Tim.1.8"
  ∷ word (κ ∷ α ∷ ∙λ ∷ ὸ ∷ ς ∷ []) "1Tim.1.8"
  ∷ word (ὁ ∷ []) "1Tim.1.8"
  ∷ word (ν ∷ ό ∷ μ ∷ ο ∷ ς ∷ []) "1Tim.1.8"
  ∷ word (ἐ ∷ ά ∷ ν ∷ []) "1Tim.1.8"
  ∷ word (τ ∷ ι ∷ ς ∷ []) "1Tim.1.8"
  ∷ word (α ∷ ὐ ∷ τ ∷ ῷ ∷ []) "1Tim.1.8"
  ∷ word (ν ∷ ο ∷ μ ∷ ί ∷ μ ∷ ω ∷ ς ∷ []) "1Tim.1.8"
  ∷ word (χ ∷ ρ ∷ ῆ ∷ τ ∷ α ∷ ι ∷ []) "1Tim.1.8"
  ∷ word (ε ∷ ἰ ∷ δ ∷ ὼ ∷ ς ∷ []) "1Tim.1.9"
  ∷ word (τ ∷ ο ∷ ῦ ∷ τ ∷ ο ∷ []) "1Tim.1.9"
  ∷ word (ὅ ∷ τ ∷ ι ∷ []) "1Tim.1.9"
  ∷ word (δ ∷ ι ∷ κ ∷ α ∷ ί ∷ ῳ ∷ []) "1Tim.1.9"
  ∷ word (ν ∷ ό ∷ μ ∷ ο ∷ ς ∷ []) "1Tim.1.9"
  ∷ word (ο ∷ ὐ ∷ []) "1Tim.1.9"
  ∷ word (κ ∷ ε ∷ ῖ ∷ τ ∷ α ∷ ι ∷ []) "1Tim.1.9"
  ∷ word (ἀ ∷ ν ∷ ό ∷ μ ∷ ο ∷ ι ∷ ς ∷ []) "1Tim.1.9"
  ∷ word (δ ∷ ὲ ∷ []) "1Tim.1.9"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Tim.1.9"
  ∷ word (ἀ ∷ ν ∷ υ ∷ π ∷ ο ∷ τ ∷ ά ∷ κ ∷ τ ∷ ο ∷ ι ∷ ς ∷ []) "1Tim.1.9"
  ∷ word (ἀ ∷ σ ∷ ε ∷ β ∷ έ ∷ σ ∷ ι ∷ []) "1Tim.1.9"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Tim.1.9"
  ∷ word (ἁ ∷ μ ∷ α ∷ ρ ∷ τ ∷ ω ∷ ∙λ ∷ ο ∷ ῖ ∷ ς ∷ []) "1Tim.1.9"
  ∷ word (ἀ ∷ ν ∷ ο ∷ σ ∷ ί ∷ ο ∷ ι ∷ ς ∷ []) "1Tim.1.9"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Tim.1.9"
  ∷ word (β ∷ ε ∷ β ∷ ή ∷ ∙λ ∷ ο ∷ ι ∷ ς ∷ []) "1Tim.1.9"
  ∷ word (π ∷ α ∷ τ ∷ ρ ∷ ο ∷ ∙λ ∷ ῴ ∷ α ∷ ι ∷ ς ∷ []) "1Tim.1.9"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Tim.1.9"
  ∷ word (μ ∷ η ∷ τ ∷ ρ ∷ ο ∷ ∙λ ∷ ῴ ∷ α ∷ ι ∷ ς ∷ []) "1Tim.1.9"
  ∷ word (ἀ ∷ ν ∷ δ ∷ ρ ∷ ο ∷ φ ∷ ό ∷ ν ∷ ο ∷ ι ∷ ς ∷ []) "1Tim.1.9"
  ∷ word (π ∷ ό ∷ ρ ∷ ν ∷ ο ∷ ι ∷ ς ∷ []) "1Tim.1.10"
  ∷ word (ἀ ∷ ρ ∷ σ ∷ ε ∷ ν ∷ ο ∷ κ ∷ ο ∷ ί ∷ τ ∷ α ∷ ι ∷ ς ∷ []) "1Tim.1.10"
  ∷ word (ἀ ∷ ν ∷ δ ∷ ρ ∷ α ∷ π ∷ ο ∷ δ ∷ ι ∷ σ ∷ τ ∷ α ∷ ῖ ∷ ς ∷ []) "1Tim.1.10"
  ∷ word (ψ ∷ ε ∷ ύ ∷ σ ∷ τ ∷ α ∷ ι ∷ ς ∷ []) "1Tim.1.10"
  ∷ word (ἐ ∷ π ∷ ι ∷ ό ∷ ρ ∷ κ ∷ ο ∷ ι ∷ ς ∷ []) "1Tim.1.10"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Tim.1.10"
  ∷ word (ε ∷ ἴ ∷ []) "1Tim.1.10"
  ∷ word (τ ∷ ι ∷ []) "1Tim.1.10"
  ∷ word (ἕ ∷ τ ∷ ε ∷ ρ ∷ ο ∷ ν ∷ []) "1Tim.1.10"
  ∷ word (τ ∷ ῇ ∷ []) "1Tim.1.10"
  ∷ word (ὑ ∷ γ ∷ ι ∷ α ∷ ι ∷ ν ∷ ο ∷ ύ ∷ σ ∷ ῃ ∷ []) "1Tim.1.10"
  ∷ word (δ ∷ ι ∷ δ ∷ α ∷ σ ∷ κ ∷ α ∷ ∙λ ∷ ί ∷ ᾳ ∷ []) "1Tim.1.10"
  ∷ word (ἀ ∷ ν ∷ τ ∷ ί ∷ κ ∷ ε ∷ ι ∷ τ ∷ α ∷ ι ∷ []) "1Tim.1.10"
  ∷ word (κ ∷ α ∷ τ ∷ ὰ ∷ []) "1Tim.1.11"
  ∷ word (τ ∷ ὸ ∷ []) "1Tim.1.11"
  ∷ word (ε ∷ ὐ ∷ α ∷ γ ∷ γ ∷ έ ∷ ∙λ ∷ ι ∷ ο ∷ ν ∷ []) "1Tim.1.11"
  ∷ word (τ ∷ ῆ ∷ ς ∷ []) "1Tim.1.11"
  ∷ word (δ ∷ ό ∷ ξ ∷ η ∷ ς ∷ []) "1Tim.1.11"
  ∷ word (τ ∷ ο ∷ ῦ ∷ []) "1Tim.1.11"
  ∷ word (μ ∷ α ∷ κ ∷ α ∷ ρ ∷ ί ∷ ο ∷ υ ∷ []) "1Tim.1.11"
  ∷ word (θ ∷ ε ∷ ο ∷ ῦ ∷ []) "1Tim.1.11"
  ∷ word (ὃ ∷ []) "1Tim.1.11"
  ∷ word (ἐ ∷ π ∷ ι ∷ σ ∷ τ ∷ ε ∷ ύ ∷ θ ∷ η ∷ ν ∷ []) "1Tim.1.11"
  ∷ word (ἐ ∷ γ ∷ ώ ∷ []) "1Tim.1.11"
  ∷ word (Χ ∷ ά ∷ ρ ∷ ι ∷ ν ∷ []) "1Tim.1.12"
  ∷ word (ἔ ∷ χ ∷ ω ∷ []) "1Tim.1.12"
  ∷ word (τ ∷ ῷ ∷ []) "1Tim.1.12"
  ∷ word (ἐ ∷ ν ∷ δ ∷ υ ∷ ν ∷ α ∷ μ ∷ ώ ∷ σ ∷ α ∷ ν ∷ τ ∷ ί ∷ []) "1Tim.1.12"
  ∷ word (μ ∷ ε ∷ []) "1Tim.1.12"
  ∷ word (Χ ∷ ρ ∷ ι ∷ σ ∷ τ ∷ ῷ ∷ []) "1Tim.1.12"
  ∷ word (Ἰ ∷ η ∷ σ ∷ ο ∷ ῦ ∷ []) "1Tim.1.12"
  ∷ word (τ ∷ ῷ ∷ []) "1Tim.1.12"
  ∷ word (κ ∷ υ ∷ ρ ∷ ί ∷ ῳ ∷ []) "1Tim.1.12"
  ∷ word (ἡ ∷ μ ∷ ῶ ∷ ν ∷ []) "1Tim.1.12"
  ∷ word (ὅ ∷ τ ∷ ι ∷ []) "1Tim.1.12"
  ∷ word (π ∷ ι ∷ σ ∷ τ ∷ ό ∷ ν ∷ []) "1Tim.1.12"
  ∷ word (μ ∷ ε ∷ []) "1Tim.1.12"
  ∷ word (ἡ ∷ γ ∷ ή ∷ σ ∷ α ∷ τ ∷ ο ∷ []) "1Tim.1.12"
  ∷ word (θ ∷ έ ∷ μ ∷ ε ∷ ν ∷ ο ∷ ς ∷ []) "1Tim.1.12"
  ∷ word (ε ∷ ἰ ∷ ς ∷ []) "1Tim.1.12"
  ∷ word (δ ∷ ι ∷ α ∷ κ ∷ ο ∷ ν ∷ ί ∷ α ∷ ν ∷ []) "1Tim.1.12"
  ∷ word (τ ∷ ὸ ∷ []) "1Tim.1.13"
  ∷ word (π ∷ ρ ∷ ό ∷ τ ∷ ε ∷ ρ ∷ ο ∷ ν ∷ []) "1Tim.1.13"
  ∷ word (ὄ ∷ ν ∷ τ ∷ α ∷ []) "1Tim.1.13"
  ∷ word (β ∷ ∙λ ∷ ά ∷ σ ∷ φ ∷ η ∷ μ ∷ ο ∷ ν ∷ []) "1Tim.1.13"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Tim.1.13"
  ∷ word (δ ∷ ι ∷ ώ ∷ κ ∷ τ ∷ η ∷ ν ∷ []) "1Tim.1.13"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Tim.1.13"
  ∷ word (ὑ ∷ β ∷ ρ ∷ ι ∷ σ ∷ τ ∷ ή ∷ ν ∷ []) "1Tim.1.13"
  ∷ word (ἀ ∷ ∙λ ∷ ∙λ ∷ ὰ ∷ []) "1Tim.1.13"
  ∷ word (ἠ ∷ ∙λ ∷ ε ∷ ή ∷ θ ∷ η ∷ ν ∷ []) "1Tim.1.13"
  ∷ word (ὅ ∷ τ ∷ ι ∷ []) "1Tim.1.13"
  ∷ word (ἀ ∷ γ ∷ ν ∷ ο ∷ ῶ ∷ ν ∷ []) "1Tim.1.13"
  ∷ word (ἐ ∷ π ∷ ο ∷ ί ∷ η ∷ σ ∷ α ∷ []) "1Tim.1.13"
  ∷ word (ἐ ∷ ν ∷ []) "1Tim.1.13"
  ∷ word (ἀ ∷ π ∷ ι ∷ σ ∷ τ ∷ ί ∷ ᾳ ∷ []) "1Tim.1.13"
  ∷ word (ὑ ∷ π ∷ ε ∷ ρ ∷ ε ∷ π ∷ ∙λ ∷ ε ∷ ό ∷ ν ∷ α ∷ σ ∷ ε ∷ ν ∷ []) "1Tim.1.14"
  ∷ word (δ ∷ ὲ ∷ []) "1Tim.1.14"
  ∷ word (ἡ ∷ []) "1Tim.1.14"
  ∷ word (χ ∷ ά ∷ ρ ∷ ι ∷ ς ∷ []) "1Tim.1.14"
  ∷ word (τ ∷ ο ∷ ῦ ∷ []) "1Tim.1.14"
  ∷ word (κ ∷ υ ∷ ρ ∷ ί ∷ ο ∷ υ ∷ []) "1Tim.1.14"
  ∷ word (ἡ ∷ μ ∷ ῶ ∷ ν ∷ []) "1Tim.1.14"
  ∷ word (μ ∷ ε ∷ τ ∷ ὰ ∷ []) "1Tim.1.14"
  ∷ word (π ∷ ί ∷ σ ∷ τ ∷ ε ∷ ω ∷ ς ∷ []) "1Tim.1.14"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Tim.1.14"
  ∷ word (ἀ ∷ γ ∷ ά ∷ π ∷ η ∷ ς ∷ []) "1Tim.1.14"
  ∷ word (τ ∷ ῆ ∷ ς ∷ []) "1Tim.1.14"
  ∷ word (ἐ ∷ ν ∷ []) "1Tim.1.14"
  ∷ word (Χ ∷ ρ ∷ ι ∷ σ ∷ τ ∷ ῷ ∷ []) "1Tim.1.14"
  ∷ word (Ἰ ∷ η ∷ σ ∷ ο ∷ ῦ ∷ []) "1Tim.1.14"
  ∷ word (π ∷ ι ∷ σ ∷ τ ∷ ὸ ∷ ς ∷ []) "1Tim.1.15"
  ∷ word (ὁ ∷ []) "1Tim.1.15"
  ∷ word (∙λ ∷ ό ∷ γ ∷ ο ∷ ς ∷ []) "1Tim.1.15"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Tim.1.15"
  ∷ word (π ∷ ά ∷ σ ∷ η ∷ ς ∷ []) "1Tim.1.15"
  ∷ word (ἀ ∷ π ∷ ο ∷ δ ∷ ο ∷ χ ∷ ῆ ∷ ς ∷ []) "1Tim.1.15"
  ∷ word (ἄ ∷ ξ ∷ ι ∷ ο ∷ ς ∷ []) "1Tim.1.15"
  ∷ word (ὅ ∷ τ ∷ ι ∷ []) "1Tim.1.15"
  ∷ word (Χ ∷ ρ ∷ ι ∷ σ ∷ τ ∷ ὸ ∷ ς ∷ []) "1Tim.1.15"
  ∷ word (Ἰ ∷ η ∷ σ ∷ ο ∷ ῦ ∷ ς ∷ []) "1Tim.1.15"
  ∷ word (ἦ ∷ ∙λ ∷ θ ∷ ε ∷ ν ∷ []) "1Tim.1.15"
  ∷ word (ε ∷ ἰ ∷ ς ∷ []) "1Tim.1.15"
  ∷ word (τ ∷ ὸ ∷ ν ∷ []) "1Tim.1.15"
  ∷ word (κ ∷ ό ∷ σ ∷ μ ∷ ο ∷ ν ∷ []) "1Tim.1.15"
  ∷ word (ἁ ∷ μ ∷ α ∷ ρ ∷ τ ∷ ω ∷ ∙λ ∷ ο ∷ ὺ ∷ ς ∷ []) "1Tim.1.15"
  ∷ word (σ ∷ ῶ ∷ σ ∷ α ∷ ι ∷ []) "1Tim.1.15"
  ∷ word (ὧ ∷ ν ∷ []) "1Tim.1.15"
  ∷ word (π ∷ ρ ∷ ῶ ∷ τ ∷ ό ∷ ς ∷ []) "1Tim.1.15"
  ∷ word (ε ∷ ἰ ∷ μ ∷ ι ∷ []) "1Tim.1.15"
  ∷ word (ἐ ∷ γ ∷ ώ ∷ []) "1Tim.1.15"
  ∷ word (ἀ ∷ ∙λ ∷ ∙λ ∷ ὰ ∷ []) "1Tim.1.16"
  ∷ word (δ ∷ ι ∷ ὰ ∷ []) "1Tim.1.16"
  ∷ word (τ ∷ ο ∷ ῦ ∷ τ ∷ ο ∷ []) "1Tim.1.16"
  ∷ word (ἠ ∷ ∙λ ∷ ε ∷ ή ∷ θ ∷ η ∷ ν ∷ []) "1Tim.1.16"
  ∷ word (ἵ ∷ ν ∷ α ∷ []) "1Tim.1.16"
  ∷ word (ἐ ∷ ν ∷ []) "1Tim.1.16"
  ∷ word (ἐ ∷ μ ∷ ο ∷ ὶ ∷ []) "1Tim.1.16"
  ∷ word (π ∷ ρ ∷ ώ ∷ τ ∷ ῳ ∷ []) "1Tim.1.16"
  ∷ word (ἐ ∷ ν ∷ δ ∷ ε ∷ ί ∷ ξ ∷ η ∷ τ ∷ α ∷ ι ∷ []) "1Tim.1.16"
  ∷ word (Χ ∷ ρ ∷ ι ∷ σ ∷ τ ∷ ὸ ∷ ς ∷ []) "1Tim.1.16"
  ∷ word (Ἰ ∷ η ∷ σ ∷ ο ∷ ῦ ∷ ς ∷ []) "1Tim.1.16"
  ∷ word (τ ∷ ὴ ∷ ν ∷ []) "1Tim.1.16"
  ∷ word (ἅ ∷ π ∷ α ∷ σ ∷ α ∷ ν ∷ []) "1Tim.1.16"
  ∷ word (μ ∷ α ∷ κ ∷ ρ ∷ ο ∷ θ ∷ υ ∷ μ ∷ ί ∷ α ∷ ν ∷ []) "1Tim.1.16"
  ∷ word (π ∷ ρ ∷ ὸ ∷ ς ∷ []) "1Tim.1.16"
  ∷ word (ὑ ∷ π ∷ ο ∷ τ ∷ ύ ∷ π ∷ ω ∷ σ ∷ ι ∷ ν ∷ []) "1Tim.1.16"
  ∷ word (τ ∷ ῶ ∷ ν ∷ []) "1Tim.1.16"
  ∷ word (μ ∷ ε ∷ ∙λ ∷ ∙λ ∷ ό ∷ ν ∷ τ ∷ ω ∷ ν ∷ []) "1Tim.1.16"
  ∷ word (π ∷ ι ∷ σ ∷ τ ∷ ε ∷ ύ ∷ ε ∷ ι ∷ ν ∷ []) "1Tim.1.16"
  ∷ word (ἐ ∷ π ∷ []) "1Tim.1.16"
  ∷ word (α ∷ ὐ ∷ τ ∷ ῷ ∷ []) "1Tim.1.16"
  ∷ word (ε ∷ ἰ ∷ ς ∷ []) "1Tim.1.16"
  ∷ word (ζ ∷ ω ∷ ὴ ∷ ν ∷ []) "1Tim.1.16"
  ∷ word (α ∷ ἰ ∷ ώ ∷ ν ∷ ι ∷ ο ∷ ν ∷ []) "1Tim.1.16"
  ∷ word (τ ∷ ῷ ∷ []) "1Tim.1.17"
  ∷ word (δ ∷ ὲ ∷ []) "1Tim.1.17"
  ∷ word (β ∷ α ∷ σ ∷ ι ∷ ∙λ ∷ ε ∷ ῖ ∷ []) "1Tim.1.17"
  ∷ word (τ ∷ ῶ ∷ ν ∷ []) "1Tim.1.17"
  ∷ word (α ∷ ἰ ∷ ώ ∷ ν ∷ ω ∷ ν ∷ []) "1Tim.1.17"
  ∷ word (ἀ ∷ φ ∷ θ ∷ ά ∷ ρ ∷ τ ∷ ῳ ∷ []) "1Tim.1.17"
  ∷ word (ἀ ∷ ο ∷ ρ ∷ ά ∷ τ ∷ ῳ ∷ []) "1Tim.1.17"
  ∷ word (μ ∷ ό ∷ ν ∷ ῳ ∷ []) "1Tim.1.17"
  ∷ word (θ ∷ ε ∷ ῷ ∷ []) "1Tim.1.17"
  ∷ word (τ ∷ ι ∷ μ ∷ ὴ ∷ []) "1Tim.1.17"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Tim.1.17"
  ∷ word (δ ∷ ό ∷ ξ ∷ α ∷ []) "1Tim.1.17"
  ∷ word (ε ∷ ἰ ∷ ς ∷ []) "1Tim.1.17"
  ∷ word (τ ∷ ο ∷ ὺ ∷ ς ∷ []) "1Tim.1.17"
  ∷ word (α ∷ ἰ ∷ ῶ ∷ ν ∷ α ∷ ς ∷ []) "1Tim.1.17"
  ∷ word (τ ∷ ῶ ∷ ν ∷ []) "1Tim.1.17"
  ∷ word (α ∷ ἰ ∷ ώ ∷ ν ∷ ω ∷ ν ∷ []) "1Tim.1.17"
  ∷ word (ἀ ∷ μ ∷ ή ∷ ν ∷ []) "1Tim.1.17"
  ∷ word (Τ ∷ α ∷ ύ ∷ τ ∷ η ∷ ν ∷ []) "1Tim.1.18"
  ∷ word (τ ∷ ὴ ∷ ν ∷ []) "1Tim.1.18"
  ∷ word (π ∷ α ∷ ρ ∷ α ∷ γ ∷ γ ∷ ε ∷ ∙λ ∷ ί ∷ α ∷ ν ∷ []) "1Tim.1.18"
  ∷ word (π ∷ α ∷ ρ ∷ α ∷ τ ∷ ί ∷ θ ∷ ε ∷ μ ∷ α ∷ ί ∷ []) "1Tim.1.18"
  ∷ word (σ ∷ ο ∷ ι ∷ []) "1Tim.1.18"
  ∷ word (τ ∷ έ ∷ κ ∷ ν ∷ ο ∷ ν ∷ []) "1Tim.1.18"
  ∷ word (Τ ∷ ι ∷ μ ∷ ό ∷ θ ∷ ε ∷ ε ∷ []) "1Tim.1.18"
  ∷ word (κ ∷ α ∷ τ ∷ ὰ ∷ []) "1Tim.1.18"
  ∷ word (τ ∷ ὰ ∷ ς ∷ []) "1Tim.1.18"
  ∷ word (π ∷ ρ ∷ ο ∷ α ∷ γ ∷ ο ∷ ύ ∷ σ ∷ α ∷ ς ∷ []) "1Tim.1.18"
  ∷ word (ἐ ∷ π ∷ ὶ ∷ []) "1Tim.1.18"
  ∷ word (σ ∷ ὲ ∷ []) "1Tim.1.18"
  ∷ word (π ∷ ρ ∷ ο ∷ φ ∷ η ∷ τ ∷ ε ∷ ί ∷ α ∷ ς ∷ []) "1Tim.1.18"
  ∷ word (ἵ ∷ ν ∷ α ∷ []) "1Tim.1.18"
  ∷ word (σ ∷ τ ∷ ρ ∷ α ∷ τ ∷ ε ∷ ύ ∷ ῃ ∷ []) "1Tim.1.18"
  ∷ word (ἐ ∷ ν ∷ []) "1Tim.1.18"
  ∷ word (α ∷ ὐ ∷ τ ∷ α ∷ ῖ ∷ ς ∷ []) "1Tim.1.18"
  ∷ word (τ ∷ ὴ ∷ ν ∷ []) "1Tim.1.18"
  ∷ word (κ ∷ α ∷ ∙λ ∷ ὴ ∷ ν ∷ []) "1Tim.1.18"
  ∷ word (σ ∷ τ ∷ ρ ∷ α ∷ τ ∷ ε ∷ ί ∷ α ∷ ν ∷ []) "1Tim.1.18"
  ∷ word (ἔ ∷ χ ∷ ω ∷ ν ∷ []) "1Tim.1.19"
  ∷ word (π ∷ ί ∷ σ ∷ τ ∷ ι ∷ ν ∷ []) "1Tim.1.19"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Tim.1.19"
  ∷ word (ἀ ∷ γ ∷ α ∷ θ ∷ ὴ ∷ ν ∷ []) "1Tim.1.19"
  ∷ word (σ ∷ υ ∷ ν ∷ ε ∷ ί ∷ δ ∷ η ∷ σ ∷ ι ∷ ν ∷ []) "1Tim.1.19"
  ∷ word (ἥ ∷ ν ∷ []) "1Tim.1.19"
  ∷ word (τ ∷ ι ∷ ν ∷ ε ∷ ς ∷ []) "1Tim.1.19"
  ∷ word (ἀ ∷ π ∷ ω ∷ σ ∷ ά ∷ μ ∷ ε ∷ ν ∷ ο ∷ ι ∷ []) "1Tim.1.19"
  ∷ word (π ∷ ε ∷ ρ ∷ ὶ ∷ []) "1Tim.1.19"
  ∷ word (τ ∷ ὴ ∷ ν ∷ []) "1Tim.1.19"
  ∷ word (π ∷ ί ∷ σ ∷ τ ∷ ι ∷ ν ∷ []) "1Tim.1.19"
  ∷ word (ἐ ∷ ν ∷ α ∷ υ ∷ ά ∷ γ ∷ η ∷ σ ∷ α ∷ ν ∷ []) "1Tim.1.19"
  ∷ word (ὧ ∷ ν ∷ []) "1Tim.1.20"
  ∷ word (ἐ ∷ σ ∷ τ ∷ ι ∷ ν ∷ []) "1Tim.1.20"
  ∷ word (Ὑ ∷ μ ∷ έ ∷ ν ∷ α ∷ ι ∷ ο ∷ ς ∷ []) "1Tim.1.20"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Tim.1.20"
  ∷ word (Ἀ ∷ ∙λ ∷ έ ∷ ξ ∷ α ∷ ν ∷ δ ∷ ρ ∷ ο ∷ ς ∷ []) "1Tim.1.20"
  ∷ word (ο ∷ ὓ ∷ ς ∷ []) "1Tim.1.20"
  ∷ word (π ∷ α ∷ ρ ∷ έ ∷ δ ∷ ω ∷ κ ∷ α ∷ []) "1Tim.1.20"
  ∷ word (τ ∷ ῷ ∷ []) "1Tim.1.20"
  ∷ word (Σ ∷ α ∷ τ ∷ α ∷ ν ∷ ᾷ ∷ []) "1Tim.1.20"
  ∷ word (ἵ ∷ ν ∷ α ∷ []) "1Tim.1.20"
  ∷ word (π ∷ α ∷ ι ∷ δ ∷ ε ∷ υ ∷ θ ∷ ῶ ∷ σ ∷ ι ∷ []) "1Tim.1.20"
  ∷ word (μ ∷ ὴ ∷ []) "1Tim.1.20"
  ∷ word (β ∷ ∙λ ∷ α ∷ σ ∷ φ ∷ η ∷ μ ∷ ε ∷ ῖ ∷ ν ∷ []) "1Tim.1.20"
  ∷ word (Π ∷ α ∷ ρ ∷ α ∷ κ ∷ α ∷ ∙λ ∷ ῶ ∷ []) "1Tim.2.1"
  ∷ word (ο ∷ ὖ ∷ ν ∷ []) "1Tim.2.1"
  ∷ word (π ∷ ρ ∷ ῶ ∷ τ ∷ ο ∷ ν ∷ []) "1Tim.2.1"
  ∷ word (π ∷ ά ∷ ν ∷ τ ∷ ω ∷ ν ∷ []) "1Tim.2.1"
  ∷ word (π ∷ ο ∷ ι ∷ ε ∷ ῖ ∷ σ ∷ θ ∷ α ∷ ι ∷ []) "1Tim.2.1"
  ∷ word (δ ∷ ε ∷ ή ∷ σ ∷ ε ∷ ι ∷ ς ∷ []) "1Tim.2.1"
  ∷ word (π ∷ ρ ∷ ο ∷ σ ∷ ε ∷ υ ∷ χ ∷ ά ∷ ς ∷ []) "1Tim.2.1"
  ∷ word (ἐ ∷ ν ∷ τ ∷ ε ∷ ύ ∷ ξ ∷ ε ∷ ι ∷ ς ∷ []) "1Tim.2.1"
  ∷ word (ε ∷ ὐ ∷ χ ∷ α ∷ ρ ∷ ι ∷ σ ∷ τ ∷ ί ∷ α ∷ ς ∷ []) "1Tim.2.1"
  ∷ word (ὑ ∷ π ∷ ὲ ∷ ρ ∷ []) "1Tim.2.1"
  ∷ word (π ∷ ά ∷ ν ∷ τ ∷ ω ∷ ν ∷ []) "1Tim.2.1"
  ∷ word (ἀ ∷ ν ∷ θ ∷ ρ ∷ ώ ∷ π ∷ ω ∷ ν ∷ []) "1Tim.2.1"
  ∷ word (ὑ ∷ π ∷ ὲ ∷ ρ ∷ []) "1Tim.2.2"
  ∷ word (β ∷ α ∷ σ ∷ ι ∷ ∙λ ∷ έ ∷ ω ∷ ν ∷ []) "1Tim.2.2"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Tim.2.2"
  ∷ word (π ∷ ά ∷ ν ∷ τ ∷ ω ∷ ν ∷ []) "1Tim.2.2"
  ∷ word (τ ∷ ῶ ∷ ν ∷ []) "1Tim.2.2"
  ∷ word (ἐ ∷ ν ∷ []) "1Tim.2.2"
  ∷ word (ὑ ∷ π ∷ ε ∷ ρ ∷ ο ∷ χ ∷ ῇ ∷ []) "1Tim.2.2"
  ∷ word (ὄ ∷ ν ∷ τ ∷ ω ∷ ν ∷ []) "1Tim.2.2"
  ∷ word (ἵ ∷ ν ∷ α ∷ []) "1Tim.2.2"
  ∷ word (ἤ ∷ ρ ∷ ε ∷ μ ∷ ο ∷ ν ∷ []) "1Tim.2.2"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Tim.2.2"
  ∷ word (ἡ ∷ σ ∷ ύ ∷ χ ∷ ι ∷ ο ∷ ν ∷ []) "1Tim.2.2"
  ∷ word (β ∷ ί ∷ ο ∷ ν ∷ []) "1Tim.2.2"
  ∷ word (δ ∷ ι ∷ ά ∷ γ ∷ ω ∷ μ ∷ ε ∷ ν ∷ []) "1Tim.2.2"
  ∷ word (ἐ ∷ ν ∷ []) "1Tim.2.2"
  ∷ word (π ∷ ά ∷ σ ∷ ῃ ∷ []) "1Tim.2.2"
  ∷ word (ε ∷ ὐ ∷ σ ∷ ε ∷ β ∷ ε ∷ ί ∷ ᾳ ∷ []) "1Tim.2.2"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Tim.2.2"
  ∷ word (σ ∷ ε ∷ μ ∷ ν ∷ ό ∷ τ ∷ η ∷ τ ∷ ι ∷ []) "1Tim.2.2"
  ∷ word (τ ∷ ο ∷ ῦ ∷ τ ∷ ο ∷ []) "1Tim.2.3"
  ∷ word (κ ∷ α ∷ ∙λ ∷ ὸ ∷ ν ∷ []) "1Tim.2.3"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Tim.2.3"
  ∷ word (ἀ ∷ π ∷ ό ∷ δ ∷ ε ∷ κ ∷ τ ∷ ο ∷ ν ∷ []) "1Tim.2.3"
  ∷ word (ἐ ∷ ν ∷ ώ ∷ π ∷ ι ∷ ο ∷ ν ∷ []) "1Tim.2.3"
  ∷ word (τ ∷ ο ∷ ῦ ∷ []) "1Tim.2.3"
  ∷ word (σ ∷ ω ∷ τ ∷ ῆ ∷ ρ ∷ ο ∷ ς ∷ []) "1Tim.2.3"
  ∷ word (ἡ ∷ μ ∷ ῶ ∷ ν ∷ []) "1Tim.2.3"
  ∷ word (θ ∷ ε ∷ ο ∷ ῦ ∷ []) "1Tim.2.3"
  ∷ word (ὃ ∷ ς ∷ []) "1Tim.2.4"
  ∷ word (π ∷ ά ∷ ν ∷ τ ∷ α ∷ ς ∷ []) "1Tim.2.4"
  ∷ word (ἀ ∷ ν ∷ θ ∷ ρ ∷ ώ ∷ π ∷ ο ∷ υ ∷ ς ∷ []) "1Tim.2.4"
  ∷ word (θ ∷ έ ∷ ∙λ ∷ ε ∷ ι ∷ []) "1Tim.2.4"
  ∷ word (σ ∷ ω ∷ θ ∷ ῆ ∷ ν ∷ α ∷ ι ∷ []) "1Tim.2.4"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Tim.2.4"
  ∷ word (ε ∷ ἰ ∷ ς ∷ []) "1Tim.2.4"
  ∷ word (ἐ ∷ π ∷ ί ∷ γ ∷ ν ∷ ω ∷ σ ∷ ι ∷ ν ∷ []) "1Tim.2.4"
  ∷ word (ἀ ∷ ∙λ ∷ η ∷ θ ∷ ε ∷ ί ∷ α ∷ ς ∷ []) "1Tim.2.4"
  ∷ word (ἐ ∷ ∙λ ∷ θ ∷ ε ∷ ῖ ∷ ν ∷ []) "1Tim.2.4"
  ∷ word (ε ∷ ἷ ∷ ς ∷ []) "1Tim.2.5"
  ∷ word (γ ∷ ὰ ∷ ρ ∷ []) "1Tim.2.5"
  ∷ word (θ ∷ ε ∷ ό ∷ ς ∷ []) "1Tim.2.5"
  ∷ word (ε ∷ ἷ ∷ ς ∷ []) "1Tim.2.5"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Tim.2.5"
  ∷ word (μ ∷ ε ∷ σ ∷ ί ∷ τ ∷ η ∷ ς ∷ []) "1Tim.2.5"
  ∷ word (θ ∷ ε ∷ ο ∷ ῦ ∷ []) "1Tim.2.5"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Tim.2.5"
  ∷ word (ἀ ∷ ν ∷ θ ∷ ρ ∷ ώ ∷ π ∷ ω ∷ ν ∷ []) "1Tim.2.5"
  ∷ word (ἄ ∷ ν ∷ θ ∷ ρ ∷ ω ∷ π ∷ ο ∷ ς ∷ []) "1Tim.2.5"
  ∷ word (Χ ∷ ρ ∷ ι ∷ σ ∷ τ ∷ ὸ ∷ ς ∷ []) "1Tim.2.5"
  ∷ word (Ἰ ∷ η ∷ σ ∷ ο ∷ ῦ ∷ ς ∷ []) "1Tim.2.5"
  ∷ word (ὁ ∷ []) "1Tim.2.6"
  ∷ word (δ ∷ ο ∷ ὺ ∷ ς ∷ []) "1Tim.2.6"
  ∷ word (ἑ ∷ α ∷ υ ∷ τ ∷ ὸ ∷ ν ∷ []) "1Tim.2.6"
  ∷ word (ἀ ∷ ν ∷ τ ∷ ί ∷ ∙λ ∷ υ ∷ τ ∷ ρ ∷ ο ∷ ν ∷ []) "1Tim.2.6"
  ∷ word (ὑ ∷ π ∷ ὲ ∷ ρ ∷ []) "1Tim.2.6"
  ∷ word (π ∷ ά ∷ ν ∷ τ ∷ ω ∷ ν ∷ []) "1Tim.2.6"
  ∷ word (τ ∷ ὸ ∷ []) "1Tim.2.6"
  ∷ word (μ ∷ α ∷ ρ ∷ τ ∷ ύ ∷ ρ ∷ ι ∷ ο ∷ ν ∷ []) "1Tim.2.6"
  ∷ word (κ ∷ α ∷ ι ∷ ρ ∷ ο ∷ ῖ ∷ ς ∷ []) "1Tim.2.6"
  ∷ word (ἰ ∷ δ ∷ ί ∷ ο ∷ ι ∷ ς ∷ []) "1Tim.2.6"
  ∷ word (ε ∷ ἰ ∷ ς ∷ []) "1Tim.2.7"
  ∷ word (ὃ ∷ []) "1Tim.2.7"
  ∷ word (ἐ ∷ τ ∷ έ ∷ θ ∷ η ∷ ν ∷ []) "1Tim.2.7"
  ∷ word (ἐ ∷ γ ∷ ὼ ∷ []) "1Tim.2.7"
  ∷ word (κ ∷ ῆ ∷ ρ ∷ υ ∷ ξ ∷ []) "1Tim.2.7"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Tim.2.7"
  ∷ word (ἀ ∷ π ∷ ό ∷ σ ∷ τ ∷ ο ∷ ∙λ ∷ ο ∷ ς ∷ []) "1Tim.2.7"
  ∷ word (ἀ ∷ ∙λ ∷ ή ∷ θ ∷ ε ∷ ι ∷ α ∷ ν ∷ []) "1Tim.2.7"
  ∷ word (∙λ ∷ έ ∷ γ ∷ ω ∷ []) "1Tim.2.7"
  ∷ word (ο ∷ ὐ ∷ []) "1Tim.2.7"
  ∷ word (ψ ∷ ε ∷ ύ ∷ δ ∷ ο ∷ μ ∷ α ∷ ι ∷ []) "1Tim.2.7"
  ∷ word (δ ∷ ι ∷ δ ∷ ά ∷ σ ∷ κ ∷ α ∷ ∙λ ∷ ο ∷ ς ∷ []) "1Tim.2.7"
  ∷ word (ἐ ∷ θ ∷ ν ∷ ῶ ∷ ν ∷ []) "1Tim.2.7"
  ∷ word (ἐ ∷ ν ∷ []) "1Tim.2.7"
  ∷ word (π ∷ ί ∷ σ ∷ τ ∷ ε ∷ ι ∷ []) "1Tim.2.7"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Tim.2.7"
  ∷ word (ἀ ∷ ∙λ ∷ η ∷ θ ∷ ε ∷ ί ∷ ᾳ ∷ []) "1Tim.2.7"
  ∷ word (Β ∷ ο ∷ ύ ∷ ∙λ ∷ ο ∷ μ ∷ α ∷ ι ∷ []) "1Tim.2.8"
  ∷ word (ο ∷ ὖ ∷ ν ∷ []) "1Tim.2.8"
  ∷ word (π ∷ ρ ∷ ο ∷ σ ∷ ε ∷ ύ ∷ χ ∷ ε ∷ σ ∷ θ ∷ α ∷ ι ∷ []) "1Tim.2.8"
  ∷ word (τ ∷ ο ∷ ὺ ∷ ς ∷ []) "1Tim.2.8"
  ∷ word (ἄ ∷ ν ∷ δ ∷ ρ ∷ α ∷ ς ∷ []) "1Tim.2.8"
  ∷ word (ἐ ∷ ν ∷ []) "1Tim.2.8"
  ∷ word (π ∷ α ∷ ν ∷ τ ∷ ὶ ∷ []) "1Tim.2.8"
  ∷ word (τ ∷ ό ∷ π ∷ ῳ ∷ []) "1Tim.2.8"
  ∷ word (ἐ ∷ π ∷ α ∷ ί ∷ ρ ∷ ο ∷ ν ∷ τ ∷ α ∷ ς ∷ []) "1Tim.2.8"
  ∷ word (ὁ ∷ σ ∷ ί ∷ ο ∷ υ ∷ ς ∷ []) "1Tim.2.8"
  ∷ word (χ ∷ ε ∷ ῖ ∷ ρ ∷ α ∷ ς ∷ []) "1Tim.2.8"
  ∷ word (χ ∷ ω ∷ ρ ∷ ὶ ∷ ς ∷ []) "1Tim.2.8"
  ∷ word (ὀ ∷ ρ ∷ γ ∷ ῆ ∷ ς ∷ []) "1Tim.2.8"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Tim.2.8"
  ∷ word (δ ∷ ι ∷ α ∷ ∙λ ∷ ο ∷ γ ∷ ι ∷ σ ∷ μ ∷ ο ∷ ῦ ∷ []) "1Tim.2.8"
  ∷ word (ὡ ∷ σ ∷ α ∷ ύ ∷ τ ∷ ω ∷ ς ∷ []) "1Tim.2.9"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Tim.2.9"
  ∷ word (γ ∷ υ ∷ ν ∷ α ∷ ῖ ∷ κ ∷ α ∷ ς ∷ []) "1Tim.2.9"
  ∷ word (ἐ ∷ ν ∷ []) "1Tim.2.9"
  ∷ word (κ ∷ α ∷ τ ∷ α ∷ σ ∷ τ ∷ ο ∷ ∙λ ∷ ῇ ∷ []) "1Tim.2.9"
  ∷ word (κ ∷ ο ∷ σ ∷ μ ∷ ί ∷ ῳ ∷ []) "1Tim.2.9"
  ∷ word (μ ∷ ε ∷ τ ∷ ὰ ∷ []) "1Tim.2.9"
  ∷ word (α ∷ ἰ ∷ δ ∷ ο ∷ ῦ ∷ ς ∷ []) "1Tim.2.9"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Tim.2.9"
  ∷ word (σ ∷ ω ∷ φ ∷ ρ ∷ ο ∷ σ ∷ ύ ∷ ν ∷ η ∷ ς ∷ []) "1Tim.2.9"
  ∷ word (κ ∷ ο ∷ σ ∷ μ ∷ ε ∷ ῖ ∷ ν ∷ []) "1Tim.2.9"
  ∷ word (ἑ ∷ α ∷ υ ∷ τ ∷ ά ∷ ς ∷ []) "1Tim.2.9"
  ∷ word (μ ∷ ὴ ∷ []) "1Tim.2.9"
  ∷ word (ἐ ∷ ν ∷ []) "1Tim.2.9"
  ∷ word (π ∷ ∙λ ∷ έ ∷ γ ∷ μ ∷ α ∷ σ ∷ ι ∷ ν ∷ []) "1Tim.2.9"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Tim.2.9"
  ∷ word (χ ∷ ρ ∷ υ ∷ σ ∷ ί ∷ ῳ ∷ []) "1Tim.2.9"
  ∷ word (ἢ ∷ []) "1Tim.2.9"
  ∷ word (μ ∷ α ∷ ρ ∷ γ ∷ α ∷ ρ ∷ ί ∷ τ ∷ α ∷ ι ∷ ς ∷ []) "1Tim.2.9"
  ∷ word (ἢ ∷ []) "1Tim.2.9"
  ∷ word (ἱ ∷ μ ∷ α ∷ τ ∷ ι ∷ σ ∷ μ ∷ ῷ ∷ []) "1Tim.2.9"
  ∷ word (π ∷ ο ∷ ∙λ ∷ υ ∷ τ ∷ ε ∷ ∙λ ∷ ε ∷ ῖ ∷ []) "1Tim.2.9"
  ∷ word (ἀ ∷ ∙λ ∷ ∙λ ∷ []) "1Tim.2.10"
  ∷ word (ὃ ∷ []) "1Tim.2.10"
  ∷ word (π ∷ ρ ∷ έ ∷ π ∷ ε ∷ ι ∷ []) "1Tim.2.10"
  ∷ word (γ ∷ υ ∷ ν ∷ α ∷ ι ∷ ξ ∷ ὶ ∷ ν ∷ []) "1Tim.2.10"
  ∷ word (ἐ ∷ π ∷ α ∷ γ ∷ γ ∷ ε ∷ ∙λ ∷ ∙λ ∷ ο ∷ μ ∷ έ ∷ ν ∷ α ∷ ι ∷ ς ∷ []) "1Tim.2.10"
  ∷ word (θ ∷ ε ∷ ο ∷ σ ∷ έ ∷ β ∷ ε ∷ ι ∷ α ∷ ν ∷ []) "1Tim.2.10"
  ∷ word (δ ∷ ι ∷ []) "1Tim.2.10"
  ∷ word (ἔ ∷ ρ ∷ γ ∷ ω ∷ ν ∷ []) "1Tim.2.10"
  ∷ word (ἀ ∷ γ ∷ α ∷ θ ∷ ῶ ∷ ν ∷ []) "1Tim.2.10"
  ∷ word (γ ∷ υ ∷ ν ∷ ὴ ∷ []) "1Tim.2.11"
  ∷ word (ἐ ∷ ν ∷ []) "1Tim.2.11"
  ∷ word (ἡ ∷ σ ∷ υ ∷ χ ∷ ί ∷ ᾳ ∷ []) "1Tim.2.11"
  ∷ word (μ ∷ α ∷ ν ∷ θ ∷ α ∷ ν ∷ έ ∷ τ ∷ ω ∷ []) "1Tim.2.11"
  ∷ word (ἐ ∷ ν ∷ []) "1Tim.2.11"
  ∷ word (π ∷ ά ∷ σ ∷ ῃ ∷ []) "1Tim.2.11"
  ∷ word (ὑ ∷ π ∷ ο ∷ τ ∷ α ∷ γ ∷ ῇ ∷ []) "1Tim.2.11"
  ∷ word (δ ∷ ι ∷ δ ∷ ά ∷ σ ∷ κ ∷ ε ∷ ι ∷ ν ∷ []) "1Tim.2.12"
  ∷ word (δ ∷ ὲ ∷ []) "1Tim.2.12"
  ∷ word (γ ∷ υ ∷ ν ∷ α ∷ ι ∷ κ ∷ ὶ ∷ []) "1Tim.2.12"
  ∷ word (ο ∷ ὐ ∷ κ ∷ []) "1Tim.2.12"
  ∷ word (ἐ ∷ π ∷ ι ∷ τ ∷ ρ ∷ έ ∷ π ∷ ω ∷ []) "1Tim.2.12"
  ∷ word (ο ∷ ὐ ∷ δ ∷ ὲ ∷ []) "1Tim.2.12"
  ∷ word (α ∷ ὐ ∷ θ ∷ ε ∷ ν ∷ τ ∷ ε ∷ ῖ ∷ ν ∷ []) "1Tim.2.12"
  ∷ word (ἀ ∷ ν ∷ δ ∷ ρ ∷ ό ∷ ς ∷ []) "1Tim.2.12"
  ∷ word (ἀ ∷ ∙λ ∷ ∙λ ∷ []) "1Tim.2.12"
  ∷ word (ε ∷ ἶ ∷ ν ∷ α ∷ ι ∷ []) "1Tim.2.12"
  ∷ word (ἐ ∷ ν ∷ []) "1Tim.2.12"
  ∷ word (ἡ ∷ σ ∷ υ ∷ χ ∷ ί ∷ ᾳ ∷ []) "1Tim.2.12"
  ∷ word (Ἀ ∷ δ ∷ ὰ ∷ μ ∷ []) "1Tim.2.13"
  ∷ word (γ ∷ ὰ ∷ ρ ∷ []) "1Tim.2.13"
  ∷ word (π ∷ ρ ∷ ῶ ∷ τ ∷ ο ∷ ς ∷ []) "1Tim.2.13"
  ∷ word (ἐ ∷ π ∷ ∙λ ∷ ά ∷ σ ∷ θ ∷ η ∷ []) "1Tim.2.13"
  ∷ word (ε ∷ ἶ ∷ τ ∷ α ∷ []) "1Tim.2.13"
  ∷ word (Ε ∷ ὕ ∷ α ∷ []) "1Tim.2.13"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Tim.2.14"
  ∷ word (Ἀ ∷ δ ∷ ὰ ∷ μ ∷ []) "1Tim.2.14"
  ∷ word (ο ∷ ὐ ∷ κ ∷ []) "1Tim.2.14"
  ∷ word (ἠ ∷ π ∷ α ∷ τ ∷ ή ∷ θ ∷ η ∷ []) "1Tim.2.14"
  ∷ word (ἡ ∷ []) "1Tim.2.14"
  ∷ word (δ ∷ ὲ ∷ []) "1Tim.2.14"
  ∷ word (γ ∷ υ ∷ ν ∷ ὴ ∷ []) "1Tim.2.14"
  ∷ word (ἐ ∷ ξ ∷ α ∷ π ∷ α ∷ τ ∷ η ∷ θ ∷ ε ∷ ῖ ∷ σ ∷ α ∷ []) "1Tim.2.14"
  ∷ word (ἐ ∷ ν ∷ []) "1Tim.2.14"
  ∷ word (π ∷ α ∷ ρ ∷ α ∷ β ∷ ά ∷ σ ∷ ε ∷ ι ∷ []) "1Tim.2.14"
  ∷ word (γ ∷ έ ∷ γ ∷ ο ∷ ν ∷ ε ∷ ν ∷ []) "1Tim.2.14"
  ∷ word (σ ∷ ω ∷ θ ∷ ή ∷ σ ∷ ε ∷ τ ∷ α ∷ ι ∷ []) "1Tim.2.15"
  ∷ word (δ ∷ ὲ ∷ []) "1Tim.2.15"
  ∷ word (δ ∷ ι ∷ ὰ ∷ []) "1Tim.2.15"
  ∷ word (τ ∷ ῆ ∷ ς ∷ []) "1Tim.2.15"
  ∷ word (τ ∷ ε ∷ κ ∷ ν ∷ ο ∷ γ ∷ ο ∷ ν ∷ ί ∷ α ∷ ς ∷ []) "1Tim.2.15"
  ∷ word (ἐ ∷ ὰ ∷ ν ∷ []) "1Tim.2.15"
  ∷ word (μ ∷ ε ∷ ί ∷ ν ∷ ω ∷ σ ∷ ι ∷ ν ∷ []) "1Tim.2.15"
  ∷ word (ἐ ∷ ν ∷ []) "1Tim.2.15"
  ∷ word (π ∷ ί ∷ σ ∷ τ ∷ ε ∷ ι ∷ []) "1Tim.2.15"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Tim.2.15"
  ∷ word (ἀ ∷ γ ∷ ά ∷ π ∷ ῃ ∷ []) "1Tim.2.15"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Tim.2.15"
  ∷ word (ἁ ∷ γ ∷ ι ∷ α ∷ σ ∷ μ ∷ ῷ ∷ []) "1Tim.2.15"
  ∷ word (μ ∷ ε ∷ τ ∷ ὰ ∷ []) "1Tim.2.15"
  ∷ word (σ ∷ ω ∷ φ ∷ ρ ∷ ο ∷ σ ∷ ύ ∷ ν ∷ η ∷ ς ∷ []) "1Tim.2.15"
  ∷ word (Π ∷ ι ∷ σ ∷ τ ∷ ὸ ∷ ς ∷ []) "1Tim.3.1"
  ∷ word (ὁ ∷ []) "1Tim.3.1"
  ∷ word (∙λ ∷ ό ∷ γ ∷ ο ∷ ς ∷ []) "1Tim.3.1"
  ∷ word (ε ∷ ἴ ∷ []) "1Tim.3.1"
  ∷ word (τ ∷ ι ∷ ς ∷ []) "1Tim.3.1"
  ∷ word (ἐ ∷ π ∷ ι ∷ σ ∷ κ ∷ ο ∷ π ∷ ῆ ∷ ς ∷ []) "1Tim.3.1"
  ∷ word (ὀ ∷ ρ ∷ έ ∷ γ ∷ ε ∷ τ ∷ α ∷ ι ∷ []) "1Tim.3.1"
  ∷ word (κ ∷ α ∷ ∙λ ∷ ο ∷ ῦ ∷ []) "1Tim.3.1"
  ∷ word (ἔ ∷ ρ ∷ γ ∷ ο ∷ υ ∷ []) "1Tim.3.1"
  ∷ word (ἐ ∷ π ∷ ι ∷ θ ∷ υ ∷ μ ∷ ε ∷ ῖ ∷ []) "1Tim.3.1"
  ∷ word (δ ∷ ε ∷ ῖ ∷ []) "1Tim.3.2"
  ∷ word (ο ∷ ὖ ∷ ν ∷ []) "1Tim.3.2"
  ∷ word (τ ∷ ὸ ∷ ν ∷ []) "1Tim.3.2"
  ∷ word (ἐ ∷ π ∷ ί ∷ σ ∷ κ ∷ ο ∷ π ∷ ο ∷ ν ∷ []) "1Tim.3.2"
  ∷ word (ἀ ∷ ν ∷ ε ∷ π ∷ ί ∷ ∙λ ∷ η ∷ μ ∷ π ∷ τ ∷ ο ∷ ν ∷ []) "1Tim.3.2"
  ∷ word (ε ∷ ἶ ∷ ν ∷ α ∷ ι ∷ []) "1Tim.3.2"
  ∷ word (μ ∷ ι ∷ ᾶ ∷ ς ∷ []) "1Tim.3.2"
  ∷ word (γ ∷ υ ∷ ν ∷ α ∷ ι ∷ κ ∷ ὸ ∷ ς ∷ []) "1Tim.3.2"
  ∷ word (ἄ ∷ ν ∷ δ ∷ ρ ∷ α ∷ []) "1Tim.3.2"
  ∷ word (ν ∷ η ∷ φ ∷ ά ∷ ∙λ ∷ ι ∷ ο ∷ ν ∷ []) "1Tim.3.2"
  ∷ word (σ ∷ ώ ∷ φ ∷ ρ ∷ ο ∷ ν ∷ α ∷ []) "1Tim.3.2"
  ∷ word (κ ∷ ό ∷ σ ∷ μ ∷ ι ∷ ο ∷ ν ∷ []) "1Tim.3.2"
  ∷ word (φ ∷ ι ∷ ∙λ ∷ ό ∷ ξ ∷ ε ∷ ν ∷ ο ∷ ν ∷ []) "1Tim.3.2"
  ∷ word (δ ∷ ι ∷ δ ∷ α ∷ κ ∷ τ ∷ ι ∷ κ ∷ ό ∷ ν ∷ []) "1Tim.3.2"
  ∷ word (μ ∷ ὴ ∷ []) "1Tim.3.3"
  ∷ word (π ∷ ά ∷ ρ ∷ ο ∷ ι ∷ ν ∷ ο ∷ ν ∷ []) "1Tim.3.3"
  ∷ word (μ ∷ ὴ ∷ []) "1Tim.3.3"
  ∷ word (π ∷ ∙λ ∷ ή ∷ κ ∷ τ ∷ η ∷ ν ∷ []) "1Tim.3.3"
  ∷ word (ἀ ∷ ∙λ ∷ ∙λ ∷ ὰ ∷ []) "1Tim.3.3"
  ∷ word (ἐ ∷ π ∷ ι ∷ ε ∷ ι ∷ κ ∷ ῆ ∷ []) "1Tim.3.3"
  ∷ word (ἄ ∷ μ ∷ α ∷ χ ∷ ο ∷ ν ∷ []) "1Tim.3.3"
  ∷ word (ἀ ∷ φ ∷ ι ∷ ∙λ ∷ ά ∷ ρ ∷ γ ∷ υ ∷ ρ ∷ ο ∷ ν ∷ []) "1Tim.3.3"
  ∷ word (τ ∷ ο ∷ ῦ ∷ []) "1Tim.3.4"
  ∷ word (ἰ ∷ δ ∷ ί ∷ ο ∷ υ ∷ []) "1Tim.3.4"
  ∷ word (ο ∷ ἴ ∷ κ ∷ ο ∷ υ ∷ []) "1Tim.3.4"
  ∷ word (κ ∷ α ∷ ∙λ ∷ ῶ ∷ ς ∷ []) "1Tim.3.4"
  ∷ word (π ∷ ρ ∷ ο ∷ ϊ ∷ σ ∷ τ ∷ ά ∷ μ ∷ ε ∷ ν ∷ ο ∷ ν ∷ []) "1Tim.3.4"
  ∷ word (τ ∷ έ ∷ κ ∷ ν ∷ α ∷ []) "1Tim.3.4"
  ∷ word (ἔ ∷ χ ∷ ο ∷ ν ∷ τ ∷ α ∷ []) "1Tim.3.4"
  ∷ word (ἐ ∷ ν ∷ []) "1Tim.3.4"
  ∷ word (ὑ ∷ π ∷ ο ∷ τ ∷ α ∷ γ ∷ ῇ ∷ []) "1Tim.3.4"
  ∷ word (μ ∷ ε ∷ τ ∷ ὰ ∷ []) "1Tim.3.4"
  ∷ word (π ∷ ά ∷ σ ∷ η ∷ ς ∷ []) "1Tim.3.4"
  ∷ word (σ ∷ ε ∷ μ ∷ ν ∷ ό ∷ τ ∷ η ∷ τ ∷ ο ∷ ς ∷ []) "1Tim.3.4"
  ∷ word (ε ∷ ἰ ∷ []) "1Tim.3.5"
  ∷ word (δ ∷ έ ∷ []) "1Tim.3.5"
  ∷ word (τ ∷ ι ∷ ς ∷ []) "1Tim.3.5"
  ∷ word (τ ∷ ο ∷ ῦ ∷ []) "1Tim.3.5"
  ∷ word (ἰ ∷ δ ∷ ί ∷ ο ∷ υ ∷ []) "1Tim.3.5"
  ∷ word (ο ∷ ἴ ∷ κ ∷ ο ∷ υ ∷ []) "1Tim.3.5"
  ∷ word (π ∷ ρ ∷ ο ∷ σ ∷ τ ∷ ῆ ∷ ν ∷ α ∷ ι ∷ []) "1Tim.3.5"
  ∷ word (ο ∷ ὐ ∷ κ ∷ []) "1Tim.3.5"
  ∷ word (ο ∷ ἶ ∷ δ ∷ ε ∷ ν ∷ []) "1Tim.3.5"
  ∷ word (π ∷ ῶ ∷ ς ∷ []) "1Tim.3.5"
  ∷ word (ἐ ∷ κ ∷ κ ∷ ∙λ ∷ η ∷ σ ∷ ί ∷ α ∷ ς ∷ []) "1Tim.3.5"
  ∷ word (θ ∷ ε ∷ ο ∷ ῦ ∷ []) "1Tim.3.5"
  ∷ word (ἐ ∷ π ∷ ι ∷ μ ∷ ε ∷ ∙λ ∷ ή ∷ σ ∷ ε ∷ τ ∷ α ∷ ι ∷ []) "1Tim.3.5"
  ∷ word (μ ∷ ὴ ∷ []) "1Tim.3.6"
  ∷ word (ν ∷ ε ∷ ό ∷ φ ∷ υ ∷ τ ∷ ο ∷ ν ∷ []) "1Tim.3.6"
  ∷ word (ἵ ∷ ν ∷ α ∷ []) "1Tim.3.6"
  ∷ word (μ ∷ ὴ ∷ []) "1Tim.3.6"
  ∷ word (τ ∷ υ ∷ φ ∷ ω ∷ θ ∷ ε ∷ ὶ ∷ ς ∷ []) "1Tim.3.6"
  ∷ word (ε ∷ ἰ ∷ ς ∷ []) "1Tim.3.6"
  ∷ word (κ ∷ ρ ∷ ί ∷ μ ∷ α ∷ []) "1Tim.3.6"
  ∷ word (ἐ ∷ μ ∷ π ∷ έ ∷ σ ∷ ῃ ∷ []) "1Tim.3.6"
  ∷ word (τ ∷ ο ∷ ῦ ∷ []) "1Tim.3.6"
  ∷ word (δ ∷ ι ∷ α ∷ β ∷ ό ∷ ∙λ ∷ ο ∷ υ ∷ []) "1Tim.3.6"
  ∷ word (δ ∷ ε ∷ ῖ ∷ []) "1Tim.3.7"
  ∷ word (δ ∷ ὲ ∷ []) "1Tim.3.7"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Tim.3.7"
  ∷ word (μ ∷ α ∷ ρ ∷ τ ∷ υ ∷ ρ ∷ ί ∷ α ∷ ν ∷ []) "1Tim.3.7"
  ∷ word (κ ∷ α ∷ ∙λ ∷ ὴ ∷ ν ∷ []) "1Tim.3.7"
  ∷ word (ἔ ∷ χ ∷ ε ∷ ι ∷ ν ∷ []) "1Tim.3.7"
  ∷ word (ἀ ∷ π ∷ ὸ ∷ []) "1Tim.3.7"
  ∷ word (τ ∷ ῶ ∷ ν ∷ []) "1Tim.3.7"
  ∷ word (ἔ ∷ ξ ∷ ω ∷ θ ∷ ε ∷ ν ∷ []) "1Tim.3.7"
  ∷ word (ἵ ∷ ν ∷ α ∷ []) "1Tim.3.7"
  ∷ word (μ ∷ ὴ ∷ []) "1Tim.3.7"
  ∷ word (ε ∷ ἰ ∷ ς ∷ []) "1Tim.3.7"
  ∷ word (ὀ ∷ ν ∷ ε ∷ ι ∷ δ ∷ ι ∷ σ ∷ μ ∷ ὸ ∷ ν ∷ []) "1Tim.3.7"
  ∷ word (ἐ ∷ μ ∷ π ∷ έ ∷ σ ∷ ῃ ∷ []) "1Tim.3.7"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Tim.3.7"
  ∷ word (π ∷ α ∷ γ ∷ ί ∷ δ ∷ α ∷ []) "1Tim.3.7"
  ∷ word (τ ∷ ο ∷ ῦ ∷ []) "1Tim.3.7"
  ∷ word (δ ∷ ι ∷ α ∷ β ∷ ό ∷ ∙λ ∷ ο ∷ υ ∷ []) "1Tim.3.7"
  ∷ word (Δ ∷ ι ∷ α ∷ κ ∷ ό ∷ ν ∷ ο ∷ υ ∷ ς ∷ []) "1Tim.3.8"
  ∷ word (ὡ ∷ σ ∷ α ∷ ύ ∷ τ ∷ ω ∷ ς ∷ []) "1Tim.3.8"
  ∷ word (σ ∷ ε ∷ μ ∷ ν ∷ ο ∷ ύ ∷ ς ∷ []) "1Tim.3.8"
  ∷ word (μ ∷ ὴ ∷ []) "1Tim.3.8"
  ∷ word (δ ∷ ι ∷ ∙λ ∷ ό ∷ γ ∷ ο ∷ υ ∷ ς ∷ []) "1Tim.3.8"
  ∷ word (μ ∷ ὴ ∷ []) "1Tim.3.8"
  ∷ word (ο ∷ ἴ ∷ ν ∷ ῳ ∷ []) "1Tim.3.8"
  ∷ word (π ∷ ο ∷ ∙λ ∷ ∙λ ∷ ῷ ∷ []) "1Tim.3.8"
  ∷ word (π ∷ ρ ∷ ο ∷ σ ∷ έ ∷ χ ∷ ο ∷ ν ∷ τ ∷ α ∷ ς ∷ []) "1Tim.3.8"
  ∷ word (μ ∷ ὴ ∷ []) "1Tim.3.8"
  ∷ word (α ∷ ἰ ∷ σ ∷ χ ∷ ρ ∷ ο ∷ κ ∷ ε ∷ ρ ∷ δ ∷ ε ∷ ῖ ∷ ς ∷ []) "1Tim.3.8"
  ∷ word (ἔ ∷ χ ∷ ο ∷ ν ∷ τ ∷ α ∷ ς ∷ []) "1Tim.3.9"
  ∷ word (τ ∷ ὸ ∷ []) "1Tim.3.9"
  ∷ word (μ ∷ υ ∷ σ ∷ τ ∷ ή ∷ ρ ∷ ι ∷ ο ∷ ν ∷ []) "1Tim.3.9"
  ∷ word (τ ∷ ῆ ∷ ς ∷ []) "1Tim.3.9"
  ∷ word (π ∷ ί ∷ σ ∷ τ ∷ ε ∷ ω ∷ ς ∷ []) "1Tim.3.9"
  ∷ word (ἐ ∷ ν ∷ []) "1Tim.3.9"
  ∷ word (κ ∷ α ∷ θ ∷ α ∷ ρ ∷ ᾷ ∷ []) "1Tim.3.9"
  ∷ word (σ ∷ υ ∷ ν ∷ ε ∷ ι ∷ δ ∷ ή ∷ σ ∷ ε ∷ ι ∷ []) "1Tim.3.9"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Tim.3.10"
  ∷ word (ο ∷ ὗ ∷ τ ∷ ο ∷ ι ∷ []) "1Tim.3.10"
  ∷ word (δ ∷ ὲ ∷ []) "1Tim.3.10"
  ∷ word (δ ∷ ο ∷ κ ∷ ι ∷ μ ∷ α ∷ ζ ∷ έ ∷ σ ∷ θ ∷ ω ∷ σ ∷ α ∷ ν ∷ []) "1Tim.3.10"
  ∷ word (π ∷ ρ ∷ ῶ ∷ τ ∷ ο ∷ ν ∷ []) "1Tim.3.10"
  ∷ word (ε ∷ ἶ ∷ τ ∷ α ∷ []) "1Tim.3.10"
  ∷ word (δ ∷ ι ∷ α ∷ κ ∷ ο ∷ ν ∷ ε ∷ ί ∷ τ ∷ ω ∷ σ ∷ α ∷ ν ∷ []) "1Tim.3.10"
  ∷ word (ἀ ∷ ν ∷ έ ∷ γ ∷ κ ∷ ∙λ ∷ η ∷ τ ∷ ο ∷ ι ∷ []) "1Tim.3.10"
  ∷ word (ὄ ∷ ν ∷ τ ∷ ε ∷ ς ∷ []) "1Tim.3.10"
  ∷ word (γ ∷ υ ∷ ν ∷ α ∷ ῖ ∷ κ ∷ α ∷ ς ∷ []) "1Tim.3.11"
  ∷ word (ὡ ∷ σ ∷ α ∷ ύ ∷ τ ∷ ω ∷ ς ∷ []) "1Tim.3.11"
  ∷ word (σ ∷ ε ∷ μ ∷ ν ∷ ά ∷ ς ∷ []) "1Tim.3.11"
  ∷ word (μ ∷ ὴ ∷ []) "1Tim.3.11"
  ∷ word (δ ∷ ι ∷ α ∷ β ∷ ό ∷ ∙λ ∷ ο ∷ υ ∷ ς ∷ []) "1Tim.3.11"
  ∷ word (ν ∷ η ∷ φ ∷ α ∷ ∙λ ∷ ί ∷ ο ∷ υ ∷ ς ∷ []) "1Tim.3.11"
  ∷ word (π ∷ ι ∷ σ ∷ τ ∷ ὰ ∷ ς ∷ []) "1Tim.3.11"
  ∷ word (ἐ ∷ ν ∷ []) "1Tim.3.11"
  ∷ word (π ∷ ᾶ ∷ σ ∷ ι ∷ ν ∷ []) "1Tim.3.11"
  ∷ word (δ ∷ ι ∷ ά ∷ κ ∷ ο ∷ ν ∷ ο ∷ ι ∷ []) "1Tim.3.12"
  ∷ word (ἔ ∷ σ ∷ τ ∷ ω ∷ σ ∷ α ∷ ν ∷ []) "1Tim.3.12"
  ∷ word (μ ∷ ι ∷ ᾶ ∷ ς ∷ []) "1Tim.3.12"
  ∷ word (γ ∷ υ ∷ ν ∷ α ∷ ι ∷ κ ∷ ὸ ∷ ς ∷ []) "1Tim.3.12"
  ∷ word (ἄ ∷ ν ∷ δ ∷ ρ ∷ ε ∷ ς ∷ []) "1Tim.3.12"
  ∷ word (τ ∷ έ ∷ κ ∷ ν ∷ ω ∷ ν ∷ []) "1Tim.3.12"
  ∷ word (κ ∷ α ∷ ∙λ ∷ ῶ ∷ ς ∷ []) "1Tim.3.12"
  ∷ word (π ∷ ρ ∷ ο ∷ ϊ ∷ σ ∷ τ ∷ ά ∷ μ ∷ ε ∷ ν ∷ ο ∷ ι ∷ []) "1Tim.3.12"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Tim.3.12"
  ∷ word (τ ∷ ῶ ∷ ν ∷ []) "1Tim.3.12"
  ∷ word (ἰ ∷ δ ∷ ί ∷ ω ∷ ν ∷ []) "1Tim.3.12"
  ∷ word (ο ∷ ἴ ∷ κ ∷ ω ∷ ν ∷ []) "1Tim.3.12"
  ∷ word (ο ∷ ἱ ∷ []) "1Tim.3.13"
  ∷ word (γ ∷ ὰ ∷ ρ ∷ []) "1Tim.3.13"
  ∷ word (κ ∷ α ∷ ∙λ ∷ ῶ ∷ ς ∷ []) "1Tim.3.13"
  ∷ word (δ ∷ ι ∷ α ∷ κ ∷ ο ∷ ν ∷ ή ∷ σ ∷ α ∷ ν ∷ τ ∷ ε ∷ ς ∷ []) "1Tim.3.13"
  ∷ word (β ∷ α ∷ θ ∷ μ ∷ ὸ ∷ ν ∷ []) "1Tim.3.13"
  ∷ word (ἑ ∷ α ∷ υ ∷ τ ∷ ο ∷ ῖ ∷ ς ∷ []) "1Tim.3.13"
  ∷ word (κ ∷ α ∷ ∙λ ∷ ὸ ∷ ν ∷ []) "1Tim.3.13"
  ∷ word (π ∷ ε ∷ ρ ∷ ι ∷ π ∷ ο ∷ ι ∷ ο ∷ ῦ ∷ ν ∷ τ ∷ α ∷ ι ∷ []) "1Tim.3.13"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Tim.3.13"
  ∷ word (π ∷ ο ∷ ∙λ ∷ ∙λ ∷ ὴ ∷ ν ∷ []) "1Tim.3.13"
  ∷ word (π ∷ α ∷ ρ ∷ ρ ∷ η ∷ σ ∷ ί ∷ α ∷ ν ∷ []) "1Tim.3.13"
  ∷ word (ἐ ∷ ν ∷ []) "1Tim.3.13"
  ∷ word (π ∷ ί ∷ σ ∷ τ ∷ ε ∷ ι ∷ []) "1Tim.3.13"
  ∷ word (τ ∷ ῇ ∷ []) "1Tim.3.13"
  ∷ word (ἐ ∷ ν ∷ []) "1Tim.3.13"
  ∷ word (Χ ∷ ρ ∷ ι ∷ σ ∷ τ ∷ ῷ ∷ []) "1Tim.3.13"
  ∷ word (Ἰ ∷ η ∷ σ ∷ ο ∷ ῦ ∷ []) "1Tim.3.13"
  ∷ word (Τ ∷ α ∷ ῦ ∷ τ ∷ ά ∷ []) "1Tim.3.14"
  ∷ word (σ ∷ ο ∷ ι ∷ []) "1Tim.3.14"
  ∷ word (γ ∷ ρ ∷ ά ∷ φ ∷ ω ∷ []) "1Tim.3.14"
  ∷ word (ἐ ∷ ∙λ ∷ π ∷ ί ∷ ζ ∷ ω ∷ ν ∷ []) "1Tim.3.14"
  ∷ word (ἐ ∷ ∙λ ∷ θ ∷ ε ∷ ῖ ∷ ν ∷ []) "1Tim.3.14"
  ∷ word (π ∷ ρ ∷ ὸ ∷ ς ∷ []) "1Tim.3.14"
  ∷ word (σ ∷ ὲ ∷ []) "1Tim.3.14"
  ∷ word (ἐ ∷ ν ∷ []) "1Tim.3.14"
  ∷ word (τ ∷ ά ∷ χ ∷ ε ∷ ι ∷ []) "1Tim.3.14"
  ∷ word (ἐ ∷ ὰ ∷ ν ∷ []) "1Tim.3.15"
  ∷ word (δ ∷ ὲ ∷ []) "1Tim.3.15"
  ∷ word (β ∷ ρ ∷ α ∷ δ ∷ ύ ∷ ν ∷ ω ∷ []) "1Tim.3.15"
  ∷ word (ἵ ∷ ν ∷ α ∷ []) "1Tim.3.15"
  ∷ word (ε ∷ ἰ ∷ δ ∷ ῇ ∷ ς ∷ []) "1Tim.3.15"
  ∷ word (π ∷ ῶ ∷ ς ∷ []) "1Tim.3.15"
  ∷ word (δ ∷ ε ∷ ῖ ∷ []) "1Tim.3.15"
  ∷ word (ἐ ∷ ν ∷ []) "1Tim.3.15"
  ∷ word (ο ∷ ἴ ∷ κ ∷ ῳ ∷ []) "1Tim.3.15"
  ∷ word (θ ∷ ε ∷ ο ∷ ῦ ∷ []) "1Tim.3.15"
  ∷ word (ἀ ∷ ν ∷ α ∷ σ ∷ τ ∷ ρ ∷ έ ∷ φ ∷ ε ∷ σ ∷ θ ∷ α ∷ ι ∷ []) "1Tim.3.15"
  ∷ word (ἥ ∷ τ ∷ ι ∷ ς ∷ []) "1Tim.3.15"
  ∷ word (ἐ ∷ σ ∷ τ ∷ ὶ ∷ ν ∷ []) "1Tim.3.15"
  ∷ word (ἐ ∷ κ ∷ κ ∷ ∙λ ∷ η ∷ σ ∷ ί ∷ α ∷ []) "1Tim.3.15"
  ∷ word (θ ∷ ε ∷ ο ∷ ῦ ∷ []) "1Tim.3.15"
  ∷ word (ζ ∷ ῶ ∷ ν ∷ τ ∷ ο ∷ ς ∷ []) "1Tim.3.15"
  ∷ word (σ ∷ τ ∷ ῦ ∷ ∙λ ∷ ο ∷ ς ∷ []) "1Tim.3.15"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Tim.3.15"
  ∷ word (ἑ ∷ δ ∷ ρ ∷ α ∷ ί ∷ ω ∷ μ ∷ α ∷ []) "1Tim.3.15"
  ∷ word (τ ∷ ῆ ∷ ς ∷ []) "1Tim.3.15"
  ∷ word (ἀ ∷ ∙λ ∷ η ∷ θ ∷ ε ∷ ί ∷ α ∷ ς ∷ []) "1Tim.3.15"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Tim.3.16"
  ∷ word (ὁ ∷ μ ∷ ο ∷ ∙λ ∷ ο ∷ γ ∷ ο ∷ υ ∷ μ ∷ έ ∷ ν ∷ ω ∷ ς ∷ []) "1Tim.3.16"
  ∷ word (μ ∷ έ ∷ γ ∷ α ∷ []) "1Tim.3.16"
  ∷ word (ἐ ∷ σ ∷ τ ∷ ὶ ∷ ν ∷ []) "1Tim.3.16"
  ∷ word (τ ∷ ὸ ∷ []) "1Tim.3.16"
  ∷ word (τ ∷ ῆ ∷ ς ∷ []) "1Tim.3.16"
  ∷ word (ε ∷ ὐ ∷ σ ∷ ε ∷ β ∷ ε ∷ ί ∷ α ∷ ς ∷ []) "1Tim.3.16"
  ∷ word (μ ∷ υ ∷ σ ∷ τ ∷ ή ∷ ρ ∷ ι ∷ ο ∷ ν ∷ []) "1Tim.3.16"
  ∷ word (Ὃ ∷ ς ∷ []) "1Tim.3.16"
  ∷ word (ἐ ∷ φ ∷ α ∷ ν ∷ ε ∷ ρ ∷ ώ ∷ θ ∷ η ∷ []) "1Tim.3.16"
  ∷ word (ἐ ∷ ν ∷ []) "1Tim.3.16"
  ∷ word (σ ∷ α ∷ ρ ∷ κ ∷ ί ∷ []) "1Tim.3.16"
  ∷ word (ἐ ∷ δ ∷ ι ∷ κ ∷ α ∷ ι ∷ ώ ∷ θ ∷ η ∷ []) "1Tim.3.16"
  ∷ word (ἐ ∷ ν ∷ []) "1Tim.3.16"
  ∷ word (π ∷ ν ∷ ε ∷ ύ ∷ μ ∷ α ∷ τ ∷ ι ∷ []) "1Tim.3.16"
  ∷ word (ὤ ∷ φ ∷ θ ∷ η ∷ []) "1Tim.3.16"
  ∷ word (ἀ ∷ γ ∷ γ ∷ έ ∷ ∙λ ∷ ο ∷ ι ∷ ς ∷ []) "1Tim.3.16"
  ∷ word (ἐ ∷ κ ∷ η ∷ ρ ∷ ύ ∷ χ ∷ θ ∷ η ∷ []) "1Tim.3.16"
  ∷ word (ἐ ∷ ν ∷ []) "1Tim.3.16"
  ∷ word (ἔ ∷ θ ∷ ν ∷ ε ∷ σ ∷ ι ∷ ν ∷ []) "1Tim.3.16"
  ∷ word (ἐ ∷ π ∷ ι ∷ σ ∷ τ ∷ ε ∷ ύ ∷ θ ∷ η ∷ []) "1Tim.3.16"
  ∷ word (ἐ ∷ ν ∷ []) "1Tim.3.16"
  ∷ word (κ ∷ ό ∷ σ ∷ μ ∷ ῳ ∷ []) "1Tim.3.16"
  ∷ word (ἀ ∷ ν ∷ ε ∷ ∙λ ∷ ή ∷ μ ∷ φ ∷ θ ∷ η ∷ []) "1Tim.3.16"
  ∷ word (ἐ ∷ ν ∷ []) "1Tim.3.16"
  ∷ word (δ ∷ ό ∷ ξ ∷ ῃ ∷ []) "1Tim.3.16"
  ∷ word (Τ ∷ ὸ ∷ []) "1Tim.4.1"
  ∷ word (δ ∷ ὲ ∷ []) "1Tim.4.1"
  ∷ word (π ∷ ν ∷ ε ∷ ῦ ∷ μ ∷ α ∷ []) "1Tim.4.1"
  ∷ word (ῥ ∷ η ∷ τ ∷ ῶ ∷ ς ∷ []) "1Tim.4.1"
  ∷ word (∙λ ∷ έ ∷ γ ∷ ε ∷ ι ∷ []) "1Tim.4.1"
  ∷ word (ὅ ∷ τ ∷ ι ∷ []) "1Tim.4.1"
  ∷ word (ἐ ∷ ν ∷ []) "1Tim.4.1"
  ∷ word (ὑ ∷ σ ∷ τ ∷ έ ∷ ρ ∷ ο ∷ ι ∷ ς ∷ []) "1Tim.4.1"
  ∷ word (κ ∷ α ∷ ι ∷ ρ ∷ ο ∷ ῖ ∷ ς ∷ []) "1Tim.4.1"
  ∷ word (ἀ ∷ π ∷ ο ∷ σ ∷ τ ∷ ή ∷ σ ∷ ο ∷ ν ∷ τ ∷ α ∷ ί ∷ []) "1Tim.4.1"
  ∷ word (τ ∷ ι ∷ ν ∷ ε ∷ ς ∷ []) "1Tim.4.1"
  ∷ word (τ ∷ ῆ ∷ ς ∷ []) "1Tim.4.1"
  ∷ word (π ∷ ί ∷ σ ∷ τ ∷ ε ∷ ω ∷ ς ∷ []) "1Tim.4.1"
  ∷ word (π ∷ ρ ∷ ο ∷ σ ∷ έ ∷ χ ∷ ο ∷ ν ∷ τ ∷ ε ∷ ς ∷ []) "1Tim.4.1"
  ∷ word (π ∷ ν ∷ ε ∷ ύ ∷ μ ∷ α ∷ σ ∷ ι ∷ []) "1Tim.4.1"
  ∷ word (π ∷ ∙λ ∷ ά ∷ ν ∷ ο ∷ ι ∷ ς ∷ []) "1Tim.4.1"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Tim.4.1"
  ∷ word (δ ∷ ι ∷ δ ∷ α ∷ σ ∷ κ ∷ α ∷ ∙λ ∷ ί ∷ α ∷ ι ∷ ς ∷ []) "1Tim.4.1"
  ∷ word (δ ∷ α ∷ ι ∷ μ ∷ ο ∷ ν ∷ ί ∷ ω ∷ ν ∷ []) "1Tim.4.1"
  ∷ word (ἐ ∷ ν ∷ []) "1Tim.4.2"
  ∷ word (ὑ ∷ π ∷ ο ∷ κ ∷ ρ ∷ ί ∷ σ ∷ ε ∷ ι ∷ []) "1Tim.4.2"
  ∷ word (ψ ∷ ε ∷ υ ∷ δ ∷ ο ∷ ∙λ ∷ ό ∷ γ ∷ ω ∷ ν ∷ []) "1Tim.4.2"
  ∷ word (κ ∷ ε ∷ κ ∷ α ∷ υ ∷ σ ∷ τ ∷ η ∷ ρ ∷ ι ∷ α ∷ σ ∷ μ ∷ έ ∷ ν ∷ ω ∷ ν ∷ []) "1Tim.4.2"
  ∷ word (τ ∷ ὴ ∷ ν ∷ []) "1Tim.4.2"
  ∷ word (ἰ ∷ δ ∷ ί ∷ α ∷ ν ∷ []) "1Tim.4.2"
  ∷ word (σ ∷ υ ∷ ν ∷ ε ∷ ί ∷ δ ∷ η ∷ σ ∷ ι ∷ ν ∷ []) "1Tim.4.2"
  ∷ word (κ ∷ ω ∷ ∙λ ∷ υ ∷ ό ∷ ν ∷ τ ∷ ω ∷ ν ∷ []) "1Tim.4.3"
  ∷ word (γ ∷ α ∷ μ ∷ ε ∷ ῖ ∷ ν ∷ []) "1Tim.4.3"
  ∷ word (ἀ ∷ π ∷ έ ∷ χ ∷ ε ∷ σ ∷ θ ∷ α ∷ ι ∷ []) "1Tim.4.3"
  ∷ word (β ∷ ρ ∷ ω ∷ μ ∷ ά ∷ τ ∷ ω ∷ ν ∷ []) "1Tim.4.3"
  ∷ word (ἃ ∷ []) "1Tim.4.3"
  ∷ word (ὁ ∷ []) "1Tim.4.3"
  ∷ word (θ ∷ ε ∷ ὸ ∷ ς ∷ []) "1Tim.4.3"
  ∷ word (ἔ ∷ κ ∷ τ ∷ ι ∷ σ ∷ ε ∷ ν ∷ []) "1Tim.4.3"
  ∷ word (ε ∷ ἰ ∷ ς ∷ []) "1Tim.4.3"
  ∷ word (μ ∷ ε ∷ τ ∷ ά ∷ ∙λ ∷ η ∷ μ ∷ ψ ∷ ι ∷ ν ∷ []) "1Tim.4.3"
  ∷ word (μ ∷ ε ∷ τ ∷ ὰ ∷ []) "1Tim.4.3"
  ∷ word (ε ∷ ὐ ∷ χ ∷ α ∷ ρ ∷ ι ∷ σ ∷ τ ∷ ί ∷ α ∷ ς ∷ []) "1Tim.4.3"
  ∷ word (τ ∷ ο ∷ ῖ ∷ ς ∷ []) "1Tim.4.3"
  ∷ word (π ∷ ι ∷ σ ∷ τ ∷ ο ∷ ῖ ∷ ς ∷ []) "1Tim.4.3"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Tim.4.3"
  ∷ word (ἐ ∷ π ∷ ε ∷ γ ∷ ν ∷ ω ∷ κ ∷ ό ∷ σ ∷ ι ∷ []) "1Tim.4.3"
  ∷ word (τ ∷ ὴ ∷ ν ∷ []) "1Tim.4.3"
  ∷ word (ἀ ∷ ∙λ ∷ ή ∷ θ ∷ ε ∷ ι ∷ α ∷ ν ∷ []) "1Tim.4.3"
  ∷ word (ὅ ∷ τ ∷ ι ∷ []) "1Tim.4.4"
  ∷ word (π ∷ ᾶ ∷ ν ∷ []) "1Tim.4.4"
  ∷ word (κ ∷ τ ∷ ί ∷ σ ∷ μ ∷ α ∷ []) "1Tim.4.4"
  ∷ word (θ ∷ ε ∷ ο ∷ ῦ ∷ []) "1Tim.4.4"
  ∷ word (κ ∷ α ∷ ∙λ ∷ ό ∷ ν ∷ []) "1Tim.4.4"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Tim.4.4"
  ∷ word (ο ∷ ὐ ∷ δ ∷ ὲ ∷ ν ∷ []) "1Tim.4.4"
  ∷ word (ἀ ∷ π ∷ ό ∷ β ∷ ∙λ ∷ η ∷ τ ∷ ο ∷ ν ∷ []) "1Tim.4.4"
  ∷ word (μ ∷ ε ∷ τ ∷ ὰ ∷ []) "1Tim.4.4"
  ∷ word (ε ∷ ὐ ∷ χ ∷ α ∷ ρ ∷ ι ∷ σ ∷ τ ∷ ί ∷ α ∷ ς ∷ []) "1Tim.4.4"
  ∷ word (∙λ ∷ α ∷ μ ∷ β ∷ α ∷ ν ∷ ό ∷ μ ∷ ε ∷ ν ∷ ο ∷ ν ∷ []) "1Tim.4.4"
  ∷ word (ἁ ∷ γ ∷ ι ∷ ά ∷ ζ ∷ ε ∷ τ ∷ α ∷ ι ∷ []) "1Tim.4.5"
  ∷ word (γ ∷ ὰ ∷ ρ ∷ []) "1Tim.4.5"
  ∷ word (δ ∷ ι ∷ ὰ ∷ []) "1Tim.4.5"
  ∷ word (∙λ ∷ ό ∷ γ ∷ ο ∷ υ ∷ []) "1Tim.4.5"
  ∷ word (θ ∷ ε ∷ ο ∷ ῦ ∷ []) "1Tim.4.5"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Tim.4.5"
  ∷ word (ἐ ∷ ν ∷ τ ∷ ε ∷ ύ ∷ ξ ∷ ε ∷ ω ∷ ς ∷ []) "1Tim.4.5"
  ∷ word (Τ ∷ α ∷ ῦ ∷ τ ∷ α ∷ []) "1Tim.4.6"
  ∷ word (ὑ ∷ π ∷ ο ∷ τ ∷ ι ∷ θ ∷ έ ∷ μ ∷ ε ∷ ν ∷ ο ∷ ς ∷ []) "1Tim.4.6"
  ∷ word (τ ∷ ο ∷ ῖ ∷ ς ∷ []) "1Tim.4.6"
  ∷ word (ἀ ∷ δ ∷ ε ∷ ∙λ ∷ φ ∷ ο ∷ ῖ ∷ ς ∷ []) "1Tim.4.6"
  ∷ word (κ ∷ α ∷ ∙λ ∷ ὸ ∷ ς ∷ []) "1Tim.4.6"
  ∷ word (ἔ ∷ σ ∷ ῃ ∷ []) "1Tim.4.6"
  ∷ word (δ ∷ ι ∷ ά ∷ κ ∷ ο ∷ ν ∷ ο ∷ ς ∷ []) "1Tim.4.6"
  ∷ word (Χ ∷ ρ ∷ ι ∷ σ ∷ τ ∷ ο ∷ ῦ ∷ []) "1Tim.4.6"
  ∷ word (Ἰ ∷ η ∷ σ ∷ ο ∷ ῦ ∷ []) "1Tim.4.6"
  ∷ word (ἐ ∷ ν ∷ τ ∷ ρ ∷ ε ∷ φ ∷ ό ∷ μ ∷ ε ∷ ν ∷ ο ∷ ς ∷ []) "1Tim.4.6"
  ∷ word (τ ∷ ο ∷ ῖ ∷ ς ∷ []) "1Tim.4.6"
  ∷ word (∙λ ∷ ό ∷ γ ∷ ο ∷ ι ∷ ς ∷ []) "1Tim.4.6"
  ∷ word (τ ∷ ῆ ∷ ς ∷ []) "1Tim.4.6"
  ∷ word (π ∷ ί ∷ σ ∷ τ ∷ ε ∷ ω ∷ ς ∷ []) "1Tim.4.6"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Tim.4.6"
  ∷ word (τ ∷ ῆ ∷ ς ∷ []) "1Tim.4.6"
  ∷ word (κ ∷ α ∷ ∙λ ∷ ῆ ∷ ς ∷ []) "1Tim.4.6"
  ∷ word (δ ∷ ι ∷ δ ∷ α ∷ σ ∷ κ ∷ α ∷ ∙λ ∷ ί ∷ α ∷ ς ∷ []) "1Tim.4.6"
  ∷ word (ᾗ ∷ []) "1Tim.4.6"
  ∷ word (π ∷ α ∷ ρ ∷ η ∷ κ ∷ ο ∷ ∙λ ∷ ο ∷ ύ ∷ θ ∷ η ∷ κ ∷ α ∷ ς ∷ []) "1Tim.4.6"
  ∷ word (τ ∷ ο ∷ ὺ ∷ ς ∷ []) "1Tim.4.7"
  ∷ word (δ ∷ ὲ ∷ []) "1Tim.4.7"
  ∷ word (β ∷ ε ∷ β ∷ ή ∷ ∙λ ∷ ο ∷ υ ∷ ς ∷ []) "1Tim.4.7"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Tim.4.7"
  ∷ word (γ ∷ ρ ∷ α ∷ ώ ∷ δ ∷ ε ∷ ι ∷ ς ∷ []) "1Tim.4.7"
  ∷ word (μ ∷ ύ ∷ θ ∷ ο ∷ υ ∷ ς ∷ []) "1Tim.4.7"
  ∷ word (π ∷ α ∷ ρ ∷ α ∷ ι ∷ τ ∷ ο ∷ ῦ ∷ []) "1Tim.4.7"
  ∷ word (γ ∷ ύ ∷ μ ∷ ν ∷ α ∷ ζ ∷ ε ∷ []) "1Tim.4.7"
  ∷ word (δ ∷ ὲ ∷ []) "1Tim.4.7"
  ∷ word (σ ∷ ε ∷ α ∷ υ ∷ τ ∷ ὸ ∷ ν ∷ []) "1Tim.4.7"
  ∷ word (π ∷ ρ ∷ ὸ ∷ ς ∷ []) "1Tim.4.7"
  ∷ word (ε ∷ ὐ ∷ σ ∷ έ ∷ β ∷ ε ∷ ι ∷ α ∷ ν ∷ []) "1Tim.4.7"
  ∷ word (ἡ ∷ []) "1Tim.4.8"
  ∷ word (γ ∷ ὰ ∷ ρ ∷ []) "1Tim.4.8"
  ∷ word (σ ∷ ω ∷ μ ∷ α ∷ τ ∷ ι ∷ κ ∷ ὴ ∷ []) "1Tim.4.8"
  ∷ word (γ ∷ υ ∷ μ ∷ ν ∷ α ∷ σ ∷ ί ∷ α ∷ []) "1Tim.4.8"
  ∷ word (π ∷ ρ ∷ ὸ ∷ ς ∷ []) "1Tim.4.8"
  ∷ word (ὀ ∷ ∙λ ∷ ί ∷ γ ∷ ο ∷ ν ∷ []) "1Tim.4.8"
  ∷ word (ἐ ∷ σ ∷ τ ∷ ὶ ∷ ν ∷ []) "1Tim.4.8"
  ∷ word (ὠ ∷ φ ∷ έ ∷ ∙λ ∷ ι ∷ μ ∷ ο ∷ ς ∷ []) "1Tim.4.8"
  ∷ word (ἡ ∷ []) "1Tim.4.8"
  ∷ word (δ ∷ ὲ ∷ []) "1Tim.4.8"
  ∷ word (ε ∷ ὐ ∷ σ ∷ έ ∷ β ∷ ε ∷ ι ∷ α ∷ []) "1Tim.4.8"
  ∷ word (π ∷ ρ ∷ ὸ ∷ ς ∷ []) "1Tim.4.8"
  ∷ word (π ∷ ά ∷ ν ∷ τ ∷ α ∷ []) "1Tim.4.8"
  ∷ word (ὠ ∷ φ ∷ έ ∷ ∙λ ∷ ι ∷ μ ∷ ό ∷ ς ∷ []) "1Tim.4.8"
  ∷ word (ἐ ∷ σ ∷ τ ∷ ι ∷ ν ∷ []) "1Tim.4.8"
  ∷ word (ἐ ∷ π ∷ α ∷ γ ∷ γ ∷ ε ∷ ∙λ ∷ ί ∷ α ∷ ν ∷ []) "1Tim.4.8"
  ∷ word (ἔ ∷ χ ∷ ο ∷ υ ∷ σ ∷ α ∷ []) "1Tim.4.8"
  ∷ word (ζ ∷ ω ∷ ῆ ∷ ς ∷ []) "1Tim.4.8"
  ∷ word (τ ∷ ῆ ∷ ς ∷ []) "1Tim.4.8"
  ∷ word (ν ∷ ῦ ∷ ν ∷ []) "1Tim.4.8"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Tim.4.8"
  ∷ word (τ ∷ ῆ ∷ ς ∷ []) "1Tim.4.8"
  ∷ word (μ ∷ ε ∷ ∙λ ∷ ∙λ ∷ ο ∷ ύ ∷ σ ∷ η ∷ ς ∷ []) "1Tim.4.8"
  ∷ word (π ∷ ι ∷ σ ∷ τ ∷ ὸ ∷ ς ∷ []) "1Tim.4.9"
  ∷ word (ὁ ∷ []) "1Tim.4.9"
  ∷ word (∙λ ∷ ό ∷ γ ∷ ο ∷ ς ∷ []) "1Tim.4.9"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Tim.4.9"
  ∷ word (π ∷ ά ∷ σ ∷ η ∷ ς ∷ []) "1Tim.4.9"
  ∷ word (ἀ ∷ π ∷ ο ∷ δ ∷ ο ∷ χ ∷ ῆ ∷ ς ∷ []) "1Tim.4.9"
  ∷ word (ἄ ∷ ξ ∷ ι ∷ ο ∷ ς ∷ []) "1Tim.4.9"
  ∷ word (ε ∷ ἰ ∷ ς ∷ []) "1Tim.4.10"
  ∷ word (τ ∷ ο ∷ ῦ ∷ τ ∷ ο ∷ []) "1Tim.4.10"
  ∷ word (γ ∷ ὰ ∷ ρ ∷ []) "1Tim.4.10"
  ∷ word (κ ∷ ο ∷ π ∷ ι ∷ ῶ ∷ μ ∷ ε ∷ ν ∷ []) "1Tim.4.10"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Tim.4.10"
  ∷ word (ὀ ∷ ν ∷ ε ∷ ι ∷ δ ∷ ι ∷ ζ ∷ ό ∷ μ ∷ ε ∷ θ ∷ α ∷ []) "1Tim.4.10"
  ∷ word (ὅ ∷ τ ∷ ι ∷ []) "1Tim.4.10"
  ∷ word (ἠ ∷ ∙λ ∷ π ∷ ί ∷ κ ∷ α ∷ μ ∷ ε ∷ ν ∷ []) "1Tim.4.10"
  ∷ word (ἐ ∷ π ∷ ὶ ∷ []) "1Tim.4.10"
  ∷ word (θ ∷ ε ∷ ῷ ∷ []) "1Tim.4.10"
  ∷ word (ζ ∷ ῶ ∷ ν ∷ τ ∷ ι ∷ []) "1Tim.4.10"
  ∷ word (ὅ ∷ ς ∷ []) "1Tim.4.10"
  ∷ word (ἐ ∷ σ ∷ τ ∷ ι ∷ ν ∷ []) "1Tim.4.10"
  ∷ word (σ ∷ ω ∷ τ ∷ ὴ ∷ ρ ∷ []) "1Tim.4.10"
  ∷ word (π ∷ ά ∷ ν ∷ τ ∷ ω ∷ ν ∷ []) "1Tim.4.10"
  ∷ word (ἀ ∷ ν ∷ θ ∷ ρ ∷ ώ ∷ π ∷ ω ∷ ν ∷ []) "1Tim.4.10"
  ∷ word (μ ∷ ά ∷ ∙λ ∷ ι ∷ σ ∷ τ ∷ α ∷ []) "1Tim.4.10"
  ∷ word (π ∷ ι ∷ σ ∷ τ ∷ ῶ ∷ ν ∷ []) "1Tim.4.10"
  ∷ word (Π ∷ α ∷ ρ ∷ ά ∷ γ ∷ γ ∷ ε ∷ ∙λ ∷ ∙λ ∷ ε ∷ []) "1Tim.4.11"
  ∷ word (τ ∷ α ∷ ῦ ∷ τ ∷ α ∷ []) "1Tim.4.11"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Tim.4.11"
  ∷ word (δ ∷ ί ∷ δ ∷ α ∷ σ ∷ κ ∷ ε ∷ []) "1Tim.4.11"
  ∷ word (μ ∷ η ∷ δ ∷ ε ∷ ί ∷ ς ∷ []) "1Tim.4.12"
  ∷ word (σ ∷ ο ∷ υ ∷ []) "1Tim.4.12"
  ∷ word (τ ∷ ῆ ∷ ς ∷ []) "1Tim.4.12"
  ∷ word (ν ∷ ε ∷ ό ∷ τ ∷ η ∷ τ ∷ ο ∷ ς ∷ []) "1Tim.4.12"
  ∷ word (κ ∷ α ∷ τ ∷ α ∷ φ ∷ ρ ∷ ο ∷ ν ∷ ε ∷ ί ∷ τ ∷ ω ∷ []) "1Tim.4.12"
  ∷ word (ἀ ∷ ∙λ ∷ ∙λ ∷ ὰ ∷ []) "1Tim.4.12"
  ∷ word (τ ∷ ύ ∷ π ∷ ο ∷ ς ∷ []) "1Tim.4.12"
  ∷ word (γ ∷ ί ∷ ν ∷ ο ∷ υ ∷ []) "1Tim.4.12"
  ∷ word (τ ∷ ῶ ∷ ν ∷ []) "1Tim.4.12"
  ∷ word (π ∷ ι ∷ σ ∷ τ ∷ ῶ ∷ ν ∷ []) "1Tim.4.12"
  ∷ word (ἐ ∷ ν ∷ []) "1Tim.4.12"
  ∷ word (∙λ ∷ ό ∷ γ ∷ ῳ ∷ []) "1Tim.4.12"
  ∷ word (ἐ ∷ ν ∷ []) "1Tim.4.12"
  ∷ word (ἀ ∷ ν ∷ α ∷ σ ∷ τ ∷ ρ ∷ ο ∷ φ ∷ ῇ ∷ []) "1Tim.4.12"
  ∷ word (ἐ ∷ ν ∷ []) "1Tim.4.12"
  ∷ word (ἀ ∷ γ ∷ ά ∷ π ∷ ῃ ∷ []) "1Tim.4.12"
  ∷ word (ἐ ∷ ν ∷ []) "1Tim.4.12"
  ∷ word (π ∷ ί ∷ σ ∷ τ ∷ ε ∷ ι ∷ []) "1Tim.4.12"
  ∷ word (ἐ ∷ ν ∷ []) "1Tim.4.12"
  ∷ word (ἁ ∷ γ ∷ ν ∷ ε ∷ ί ∷ ᾳ ∷ []) "1Tim.4.12"
  ∷ word (ἕ ∷ ω ∷ ς ∷ []) "1Tim.4.13"
  ∷ word (ἔ ∷ ρ ∷ χ ∷ ο ∷ μ ∷ α ∷ ι ∷ []) "1Tim.4.13"
  ∷ word (π ∷ ρ ∷ ό ∷ σ ∷ ε ∷ χ ∷ ε ∷ []) "1Tim.4.13"
  ∷ word (τ ∷ ῇ ∷ []) "1Tim.4.13"
  ∷ word (ἀ ∷ ν ∷ α ∷ γ ∷ ν ∷ ώ ∷ σ ∷ ε ∷ ι ∷ []) "1Tim.4.13"
  ∷ word (τ ∷ ῇ ∷ []) "1Tim.4.13"
  ∷ word (π ∷ α ∷ ρ ∷ α ∷ κ ∷ ∙λ ∷ ή ∷ σ ∷ ε ∷ ι ∷ []) "1Tim.4.13"
  ∷ word (τ ∷ ῇ ∷ []) "1Tim.4.13"
  ∷ word (δ ∷ ι ∷ δ ∷ α ∷ σ ∷ κ ∷ α ∷ ∙λ ∷ ί ∷ ᾳ ∷ []) "1Tim.4.13"
  ∷ word (μ ∷ ὴ ∷ []) "1Tim.4.14"
  ∷ word (ἀ ∷ μ ∷ έ ∷ ∙λ ∷ ε ∷ ι ∷ []) "1Tim.4.14"
  ∷ word (τ ∷ ο ∷ ῦ ∷ []) "1Tim.4.14"
  ∷ word (ἐ ∷ ν ∷ []) "1Tim.4.14"
  ∷ word (σ ∷ ο ∷ ὶ ∷ []) "1Tim.4.14"
  ∷ word (χ ∷ α ∷ ρ ∷ ί ∷ σ ∷ μ ∷ α ∷ τ ∷ ο ∷ ς ∷ []) "1Tim.4.14"
  ∷ word (ὃ ∷ []) "1Tim.4.14"
  ∷ word (ἐ ∷ δ ∷ ό ∷ θ ∷ η ∷ []) "1Tim.4.14"
  ∷ word (σ ∷ ο ∷ ι ∷ []) "1Tim.4.14"
  ∷ word (δ ∷ ι ∷ ὰ ∷ []) "1Tim.4.14"
  ∷ word (π ∷ ρ ∷ ο ∷ φ ∷ η ∷ τ ∷ ε ∷ ί ∷ α ∷ ς ∷ []) "1Tim.4.14"
  ∷ word (μ ∷ ε ∷ τ ∷ ὰ ∷ []) "1Tim.4.14"
  ∷ word (ἐ ∷ π ∷ ι ∷ θ ∷ έ ∷ σ ∷ ε ∷ ω ∷ ς ∷ []) "1Tim.4.14"
  ∷ word (τ ∷ ῶ ∷ ν ∷ []) "1Tim.4.14"
  ∷ word (χ ∷ ε ∷ ι ∷ ρ ∷ ῶ ∷ ν ∷ []) "1Tim.4.14"
  ∷ word (τ ∷ ο ∷ ῦ ∷ []) "1Tim.4.14"
  ∷ word (π ∷ ρ ∷ ε ∷ σ ∷ β ∷ υ ∷ τ ∷ ε ∷ ρ ∷ ί ∷ ο ∷ υ ∷ []) "1Tim.4.14"
  ∷ word (τ ∷ α ∷ ῦ ∷ τ ∷ α ∷ []) "1Tim.4.15"
  ∷ word (μ ∷ ε ∷ ∙λ ∷ έ ∷ τ ∷ α ∷ []) "1Tim.4.15"
  ∷ word (ἐ ∷ ν ∷ []) "1Tim.4.15"
  ∷ word (τ ∷ ο ∷ ύ ∷ τ ∷ ο ∷ ι ∷ ς ∷ []) "1Tim.4.15"
  ∷ word (ἴ ∷ σ ∷ θ ∷ ι ∷ []) "1Tim.4.15"
  ∷ word (ἵ ∷ ν ∷ α ∷ []) "1Tim.4.15"
  ∷ word (σ ∷ ο ∷ υ ∷ []) "1Tim.4.15"
  ∷ word (ἡ ∷ []) "1Tim.4.15"
  ∷ word (π ∷ ρ ∷ ο ∷ κ ∷ ο ∷ π ∷ ὴ ∷ []) "1Tim.4.15"
  ∷ word (φ ∷ α ∷ ν ∷ ε ∷ ρ ∷ ὰ ∷ []) "1Tim.4.15"
  ∷ word (ᾖ ∷ []) "1Tim.4.15"
  ∷ word (π ∷ ᾶ ∷ σ ∷ ι ∷ ν ∷ []) "1Tim.4.15"
  ∷ word (ἔ ∷ π ∷ ε ∷ χ ∷ ε ∷ []) "1Tim.4.16"
  ∷ word (σ ∷ ε ∷ α ∷ υ ∷ τ ∷ ῷ ∷ []) "1Tim.4.16"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Tim.4.16"
  ∷ word (τ ∷ ῇ ∷ []) "1Tim.4.16"
  ∷ word (δ ∷ ι ∷ δ ∷ α ∷ σ ∷ κ ∷ α ∷ ∙λ ∷ ί ∷ ᾳ ∷ []) "1Tim.4.16"
  ∷ word (ἐ ∷ π ∷ ί ∷ μ ∷ ε ∷ ν ∷ ε ∷ []) "1Tim.4.16"
  ∷ word (α ∷ ὐ ∷ τ ∷ ο ∷ ῖ ∷ ς ∷ []) "1Tim.4.16"
  ∷ word (τ ∷ ο ∷ ῦ ∷ τ ∷ ο ∷ []) "1Tim.4.16"
  ∷ word (γ ∷ ὰ ∷ ρ ∷ []) "1Tim.4.16"
  ∷ word (π ∷ ο ∷ ι ∷ ῶ ∷ ν ∷ []) "1Tim.4.16"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Tim.4.16"
  ∷ word (σ ∷ ε ∷ α ∷ υ ∷ τ ∷ ὸ ∷ ν ∷ []) "1Tim.4.16"
  ∷ word (σ ∷ ώ ∷ σ ∷ ε ∷ ι ∷ ς ∷ []) "1Tim.4.16"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Tim.4.16"
  ∷ word (τ ∷ ο ∷ ὺ ∷ ς ∷ []) "1Tim.4.16"
  ∷ word (ἀ ∷ κ ∷ ο ∷ ύ ∷ ο ∷ ν ∷ τ ∷ ά ∷ ς ∷ []) "1Tim.4.16"
  ∷ word (σ ∷ ο ∷ υ ∷ []) "1Tim.4.16"
  ∷ word (Π ∷ ρ ∷ ε ∷ σ ∷ β ∷ υ ∷ τ ∷ έ ∷ ρ ∷ ῳ ∷ []) "1Tim.5.1"
  ∷ word (μ ∷ ὴ ∷ []) "1Tim.5.1"
  ∷ word (ἐ ∷ π ∷ ι ∷ π ∷ ∙λ ∷ ή ∷ ξ ∷ ῃ ∷ ς ∷ []) "1Tim.5.1"
  ∷ word (ἀ ∷ ∙λ ∷ ∙λ ∷ ὰ ∷ []) "1Tim.5.1"
  ∷ word (π ∷ α ∷ ρ ∷ α ∷ κ ∷ ά ∷ ∙λ ∷ ε ∷ ι ∷ []) "1Tim.5.1"
  ∷ word (ὡ ∷ ς ∷ []) "1Tim.5.1"
  ∷ word (π ∷ α ∷ τ ∷ έ ∷ ρ ∷ α ∷ []) "1Tim.5.1"
  ∷ word (ν ∷ ε ∷ ω ∷ τ ∷ έ ∷ ρ ∷ ο ∷ υ ∷ ς ∷ []) "1Tim.5.1"
  ∷ word (ὡ ∷ ς ∷ []) "1Tim.5.1"
  ∷ word (ἀ ∷ δ ∷ ε ∷ ∙λ ∷ φ ∷ ο ∷ ύ ∷ ς ∷ []) "1Tim.5.1"
  ∷ word (π ∷ ρ ∷ ε ∷ σ ∷ β ∷ υ ∷ τ ∷ έ ∷ ρ ∷ α ∷ ς ∷ []) "1Tim.5.2"
  ∷ word (ὡ ∷ ς ∷ []) "1Tim.5.2"
  ∷ word (μ ∷ η ∷ τ ∷ έ ∷ ρ ∷ α ∷ ς ∷ []) "1Tim.5.2"
  ∷ word (ν ∷ ε ∷ ω ∷ τ ∷ έ ∷ ρ ∷ α ∷ ς ∷ []) "1Tim.5.2"
  ∷ word (ὡ ∷ ς ∷ []) "1Tim.5.2"
  ∷ word (ἀ ∷ δ ∷ ε ∷ ∙λ ∷ φ ∷ ὰ ∷ ς ∷ []) "1Tim.5.2"
  ∷ word (ἐ ∷ ν ∷ []) "1Tim.5.2"
  ∷ word (π ∷ ά ∷ σ ∷ ῃ ∷ []) "1Tim.5.2"
  ∷ word (ἁ ∷ γ ∷ ν ∷ ε ∷ ί ∷ ᾳ ∷ []) "1Tim.5.2"
  ∷ word (Χ ∷ ή ∷ ρ ∷ α ∷ ς ∷ []) "1Tim.5.3"
  ∷ word (τ ∷ ί ∷ μ ∷ α ∷ []) "1Tim.5.3"
  ∷ word (τ ∷ ὰ ∷ ς ∷ []) "1Tim.5.3"
  ∷ word (ὄ ∷ ν ∷ τ ∷ ω ∷ ς ∷ []) "1Tim.5.3"
  ∷ word (χ ∷ ή ∷ ρ ∷ α ∷ ς ∷ []) "1Tim.5.3"
  ∷ word (ε ∷ ἰ ∷ []) "1Tim.5.4"
  ∷ word (δ ∷ έ ∷ []) "1Tim.5.4"
  ∷ word (τ ∷ ι ∷ ς ∷ []) "1Tim.5.4"
  ∷ word (χ ∷ ή ∷ ρ ∷ α ∷ []) "1Tim.5.4"
  ∷ word (τ ∷ έ ∷ κ ∷ ν ∷ α ∷ []) "1Tim.5.4"
  ∷ word (ἢ ∷ []) "1Tim.5.4"
  ∷ word (ἔ ∷ κ ∷ γ ∷ ο ∷ ν ∷ α ∷ []) "1Tim.5.4"
  ∷ word (ἔ ∷ χ ∷ ε ∷ ι ∷ []) "1Tim.5.4"
  ∷ word (μ ∷ α ∷ ν ∷ θ ∷ α ∷ ν ∷ έ ∷ τ ∷ ω ∷ σ ∷ α ∷ ν ∷ []) "1Tim.5.4"
  ∷ word (π ∷ ρ ∷ ῶ ∷ τ ∷ ο ∷ ν ∷ []) "1Tim.5.4"
  ∷ word (τ ∷ ὸ ∷ ν ∷ []) "1Tim.5.4"
  ∷ word (ἴ ∷ δ ∷ ι ∷ ο ∷ ν ∷ []) "1Tim.5.4"
  ∷ word (ο ∷ ἶ ∷ κ ∷ ο ∷ ν ∷ []) "1Tim.5.4"
  ∷ word (ε ∷ ὐ ∷ σ ∷ ε ∷ β ∷ ε ∷ ῖ ∷ ν ∷ []) "1Tim.5.4"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Tim.5.4"
  ∷ word (ἀ ∷ μ ∷ ο ∷ ι ∷ β ∷ ὰ ∷ ς ∷ []) "1Tim.5.4"
  ∷ word (ἀ ∷ π ∷ ο ∷ δ ∷ ι ∷ δ ∷ ό ∷ ν ∷ α ∷ ι ∷ []) "1Tim.5.4"
  ∷ word (τ ∷ ο ∷ ῖ ∷ ς ∷ []) "1Tim.5.4"
  ∷ word (π ∷ ρ ∷ ο ∷ γ ∷ ό ∷ ν ∷ ο ∷ ι ∷ ς ∷ []) "1Tim.5.4"
  ∷ word (τ ∷ ο ∷ ῦ ∷ τ ∷ ο ∷ []) "1Tim.5.4"
  ∷ word (γ ∷ ά ∷ ρ ∷ []) "1Tim.5.4"
  ∷ word (ἐ ∷ σ ∷ τ ∷ ι ∷ ν ∷ []) "1Tim.5.4"
  ∷ word (ἀ ∷ π ∷ ό ∷ δ ∷ ε ∷ κ ∷ τ ∷ ο ∷ ν ∷ []) "1Tim.5.4"
  ∷ word (ἐ ∷ ν ∷ ώ ∷ π ∷ ι ∷ ο ∷ ν ∷ []) "1Tim.5.4"
  ∷ word (τ ∷ ο ∷ ῦ ∷ []) "1Tim.5.4"
  ∷ word (θ ∷ ε ∷ ο ∷ ῦ ∷ []) "1Tim.5.4"
  ∷ word (ἡ ∷ []) "1Tim.5.5"
  ∷ word (δ ∷ ὲ ∷ []) "1Tim.5.5"
  ∷ word (ὄ ∷ ν ∷ τ ∷ ω ∷ ς ∷ []) "1Tim.5.5"
  ∷ word (χ ∷ ή ∷ ρ ∷ α ∷ []) "1Tim.5.5"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Tim.5.5"
  ∷ word (μ ∷ ε ∷ μ ∷ ο ∷ ν ∷ ω ∷ μ ∷ έ ∷ ν ∷ η ∷ []) "1Tim.5.5"
  ∷ word (ἤ ∷ ∙λ ∷ π ∷ ι ∷ κ ∷ ε ∷ ν ∷ []) "1Tim.5.5"
  ∷ word (ἐ ∷ π ∷ ὶ ∷ []) "1Tim.5.5"
  ∷ word (θ ∷ ε ∷ ὸ ∷ ν ∷ []) "1Tim.5.5"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Tim.5.5"
  ∷ word (π ∷ ρ ∷ ο ∷ σ ∷ μ ∷ έ ∷ ν ∷ ε ∷ ι ∷ []) "1Tim.5.5"
  ∷ word (τ ∷ α ∷ ῖ ∷ ς ∷ []) "1Tim.5.5"
  ∷ word (δ ∷ ε ∷ ή ∷ σ ∷ ε ∷ σ ∷ ι ∷ ν ∷ []) "1Tim.5.5"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Tim.5.5"
  ∷ word (τ ∷ α ∷ ῖ ∷ ς ∷ []) "1Tim.5.5"
  ∷ word (π ∷ ρ ∷ ο ∷ σ ∷ ε ∷ υ ∷ χ ∷ α ∷ ῖ ∷ ς ∷ []) "1Tim.5.5"
  ∷ word (ν ∷ υ ∷ κ ∷ τ ∷ ὸ ∷ ς ∷ []) "1Tim.5.5"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Tim.5.5"
  ∷ word (ἡ ∷ μ ∷ έ ∷ ρ ∷ α ∷ ς ∷ []) "1Tim.5.5"
  ∷ word (ἡ ∷ []) "1Tim.5.6"
  ∷ word (δ ∷ ὲ ∷ []) "1Tim.5.6"
  ∷ word (σ ∷ π ∷ α ∷ τ ∷ α ∷ ∙λ ∷ ῶ ∷ σ ∷ α ∷ []) "1Tim.5.6"
  ∷ word (ζ ∷ ῶ ∷ σ ∷ α ∷ []) "1Tim.5.6"
  ∷ word (τ ∷ έ ∷ θ ∷ ν ∷ η ∷ κ ∷ ε ∷ ν ∷ []) "1Tim.5.6"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Tim.5.7"
  ∷ word (τ ∷ α ∷ ῦ ∷ τ ∷ α ∷ []) "1Tim.5.7"
  ∷ word (π ∷ α ∷ ρ ∷ ά ∷ γ ∷ γ ∷ ε ∷ ∙λ ∷ ∙λ ∷ ε ∷ []) "1Tim.5.7"
  ∷ word (ἵ ∷ ν ∷ α ∷ []) "1Tim.5.7"
  ∷ word (ἀ ∷ ν ∷ ε ∷ π ∷ ί ∷ ∙λ ∷ η ∷ μ ∷ π ∷ τ ∷ ο ∷ ι ∷ []) "1Tim.5.7"
  ∷ word (ὦ ∷ σ ∷ ι ∷ ν ∷ []) "1Tim.5.7"
  ∷ word (ε ∷ ἰ ∷ []) "1Tim.5.8"
  ∷ word (δ ∷ έ ∷ []) "1Tim.5.8"
  ∷ word (τ ∷ ι ∷ ς ∷ []) "1Tim.5.8"
  ∷ word (τ ∷ ῶ ∷ ν ∷ []) "1Tim.5.8"
  ∷ word (ἰ ∷ δ ∷ ί ∷ ω ∷ ν ∷ []) "1Tim.5.8"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Tim.5.8"
  ∷ word (μ ∷ ά ∷ ∙λ ∷ ι ∷ σ ∷ τ ∷ α ∷ []) "1Tim.5.8"
  ∷ word (ο ∷ ἰ ∷ κ ∷ ε ∷ ί ∷ ω ∷ ν ∷ []) "1Tim.5.8"
  ∷ word (ο ∷ ὐ ∷ []) "1Tim.5.8"
  ∷ word (π ∷ ρ ∷ ο ∷ ν ∷ ο ∷ ε ∷ ῖ ∷ []) "1Tim.5.8"
  ∷ word (τ ∷ ὴ ∷ ν ∷ []) "1Tim.5.8"
  ∷ word (π ∷ ί ∷ σ ∷ τ ∷ ι ∷ ν ∷ []) "1Tim.5.8"
  ∷ word (ἤ ∷ ρ ∷ ν ∷ η ∷ τ ∷ α ∷ ι ∷ []) "1Tim.5.8"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Tim.5.8"
  ∷ word (ἔ ∷ σ ∷ τ ∷ ι ∷ ν ∷ []) "1Tim.5.8"
  ∷ word (ἀ ∷ π ∷ ί ∷ σ ∷ τ ∷ ο ∷ υ ∷ []) "1Tim.5.8"
  ∷ word (χ ∷ ε ∷ ί ∷ ρ ∷ ω ∷ ν ∷ []) "1Tim.5.8"
  ∷ word (Χ ∷ ή ∷ ρ ∷ α ∷ []) "1Tim.5.9"
  ∷ word (κ ∷ α ∷ τ ∷ α ∷ ∙λ ∷ ε ∷ γ ∷ έ ∷ σ ∷ θ ∷ ω ∷ []) "1Tim.5.9"
  ∷ word (μ ∷ ὴ ∷ []) "1Tim.5.9"
  ∷ word (ἔ ∷ ∙λ ∷ α ∷ τ ∷ τ ∷ ο ∷ ν ∷ []) "1Tim.5.9"
  ∷ word (ἐ ∷ τ ∷ ῶ ∷ ν ∷ []) "1Tim.5.9"
  ∷ word (ἑ ∷ ξ ∷ ή ∷ κ ∷ ο ∷ ν ∷ τ ∷ α ∷ []) "1Tim.5.9"
  ∷ word (γ ∷ ε ∷ γ ∷ ο ∷ ν ∷ υ ∷ ῖ ∷ α ∷ []) "1Tim.5.9"
  ∷ word (ἑ ∷ ν ∷ ὸ ∷ ς ∷ []) "1Tim.5.9"
  ∷ word (ἀ ∷ ν ∷ δ ∷ ρ ∷ ὸ ∷ ς ∷ []) "1Tim.5.9"
  ∷ word (γ ∷ υ ∷ ν ∷ ή ∷ []) "1Tim.5.9"
  ∷ word (ἐ ∷ ν ∷ []) "1Tim.5.10"
  ∷ word (ἔ ∷ ρ ∷ γ ∷ ο ∷ ι ∷ ς ∷ []) "1Tim.5.10"
  ∷ word (κ ∷ α ∷ ∙λ ∷ ο ∷ ῖ ∷ ς ∷ []) "1Tim.5.10"
  ∷ word (μ ∷ α ∷ ρ ∷ τ ∷ υ ∷ ρ ∷ ο ∷ υ ∷ μ ∷ έ ∷ ν ∷ η ∷ []) "1Tim.5.10"
  ∷ word (ε ∷ ἰ ∷ []) "1Tim.5.10"
  ∷ word (ἐ ∷ τ ∷ ε ∷ κ ∷ ν ∷ ο ∷ τ ∷ ρ ∷ ό ∷ φ ∷ η ∷ σ ∷ ε ∷ ν ∷ []) "1Tim.5.10"
  ∷ word (ε ∷ ἰ ∷ []) "1Tim.5.10"
  ∷ word (ἐ ∷ ξ ∷ ε ∷ ν ∷ ο ∷ δ ∷ ό ∷ χ ∷ η ∷ σ ∷ ε ∷ ν ∷ []) "1Tim.5.10"
  ∷ word (ε ∷ ἰ ∷ []) "1Tim.5.10"
  ∷ word (ἁ ∷ γ ∷ ί ∷ ω ∷ ν ∷ []) "1Tim.5.10"
  ∷ word (π ∷ ό ∷ δ ∷ α ∷ ς ∷ []) "1Tim.5.10"
  ∷ word (ἔ ∷ ν ∷ ι ∷ ψ ∷ ε ∷ ν ∷ []) "1Tim.5.10"
  ∷ word (ε ∷ ἰ ∷ []) "1Tim.5.10"
  ∷ word (θ ∷ ∙λ ∷ ι ∷ β ∷ ο ∷ μ ∷ έ ∷ ν ∷ ο ∷ ι ∷ ς ∷ []) "1Tim.5.10"
  ∷ word (ἐ ∷ π ∷ ή ∷ ρ ∷ κ ∷ ε ∷ σ ∷ ε ∷ ν ∷ []) "1Tim.5.10"
  ∷ word (ε ∷ ἰ ∷ []) "1Tim.5.10"
  ∷ word (π ∷ α ∷ ν ∷ τ ∷ ὶ ∷ []) "1Tim.5.10"
  ∷ word (ἔ ∷ ρ ∷ γ ∷ ῳ ∷ []) "1Tim.5.10"
  ∷ word (ἀ ∷ γ ∷ α ∷ θ ∷ ῷ ∷ []) "1Tim.5.10"
  ∷ word (ἐ ∷ π ∷ η ∷ κ ∷ ο ∷ ∙λ ∷ ο ∷ ύ ∷ θ ∷ η ∷ σ ∷ ε ∷ ν ∷ []) "1Tim.5.10"
  ∷ word (ν ∷ ε ∷ ω ∷ τ ∷ έ ∷ ρ ∷ α ∷ ς ∷ []) "1Tim.5.11"
  ∷ word (δ ∷ ὲ ∷ []) "1Tim.5.11"
  ∷ word (χ ∷ ή ∷ ρ ∷ α ∷ ς ∷ []) "1Tim.5.11"
  ∷ word (π ∷ α ∷ ρ ∷ α ∷ ι ∷ τ ∷ ο ∷ ῦ ∷ []) "1Tim.5.11"
  ∷ word (ὅ ∷ τ ∷ α ∷ ν ∷ []) "1Tim.5.11"
  ∷ word (γ ∷ ὰ ∷ ρ ∷ []) "1Tim.5.11"
  ∷ word (κ ∷ α ∷ τ ∷ α ∷ σ ∷ τ ∷ ρ ∷ η ∷ ν ∷ ι ∷ ά ∷ σ ∷ ω ∷ σ ∷ ι ∷ ν ∷ []) "1Tim.5.11"
  ∷ word (τ ∷ ο ∷ ῦ ∷ []) "1Tim.5.11"
  ∷ word (Χ ∷ ρ ∷ ι ∷ σ ∷ τ ∷ ο ∷ ῦ ∷ []) "1Tim.5.11"
  ∷ word (γ ∷ α ∷ μ ∷ ε ∷ ῖ ∷ ν ∷ []) "1Tim.5.11"
  ∷ word (θ ∷ έ ∷ ∙λ ∷ ο ∷ υ ∷ σ ∷ ι ∷ ν ∷ []) "1Tim.5.11"
  ∷ word (ἔ ∷ χ ∷ ο ∷ υ ∷ σ ∷ α ∷ ι ∷ []) "1Tim.5.12"
  ∷ word (κ ∷ ρ ∷ ί ∷ μ ∷ α ∷ []) "1Tim.5.12"
  ∷ word (ὅ ∷ τ ∷ ι ∷ []) "1Tim.5.12"
  ∷ word (τ ∷ ὴ ∷ ν ∷ []) "1Tim.5.12"
  ∷ word (π ∷ ρ ∷ ώ ∷ τ ∷ η ∷ ν ∷ []) "1Tim.5.12"
  ∷ word (π ∷ ί ∷ σ ∷ τ ∷ ι ∷ ν ∷ []) "1Tim.5.12"
  ∷ word (ἠ ∷ θ ∷ έ ∷ τ ∷ η ∷ σ ∷ α ∷ ν ∷ []) "1Tim.5.12"
  ∷ word (ἅ ∷ μ ∷ α ∷ []) "1Tim.5.13"
  ∷ word (δ ∷ ὲ ∷ []) "1Tim.5.13"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Tim.5.13"
  ∷ word (ἀ ∷ ρ ∷ γ ∷ α ∷ ὶ ∷ []) "1Tim.5.13"
  ∷ word (μ ∷ α ∷ ν ∷ θ ∷ ά ∷ ν ∷ ο ∷ υ ∷ σ ∷ ι ∷ ν ∷ []) "1Tim.5.13"
  ∷ word (π ∷ ε ∷ ρ ∷ ι ∷ ε ∷ ρ ∷ χ ∷ ό ∷ μ ∷ ε ∷ ν ∷ α ∷ ι ∷ []) "1Tim.5.13"
  ∷ word (τ ∷ ὰ ∷ ς ∷ []) "1Tim.5.13"
  ∷ word (ο ∷ ἰ ∷ κ ∷ ί ∷ α ∷ ς ∷ []) "1Tim.5.13"
  ∷ word (ο ∷ ὐ ∷ []) "1Tim.5.13"
  ∷ word (μ ∷ ό ∷ ν ∷ ο ∷ ν ∷ []) "1Tim.5.13"
  ∷ word (δ ∷ ὲ ∷ []) "1Tim.5.13"
  ∷ word (ἀ ∷ ρ ∷ γ ∷ α ∷ ὶ ∷ []) "1Tim.5.13"
  ∷ word (ἀ ∷ ∙λ ∷ ∙λ ∷ ὰ ∷ []) "1Tim.5.13"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Tim.5.13"
  ∷ word (φ ∷ ∙λ ∷ ύ ∷ α ∷ ρ ∷ ο ∷ ι ∷ []) "1Tim.5.13"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Tim.5.13"
  ∷ word (π ∷ ε ∷ ρ ∷ ί ∷ ε ∷ ρ ∷ γ ∷ ο ∷ ι ∷ []) "1Tim.5.13"
  ∷ word (∙λ ∷ α ∷ ∙λ ∷ ο ∷ ῦ ∷ σ ∷ α ∷ ι ∷ []) "1Tim.5.13"
  ∷ word (τ ∷ ὰ ∷ []) "1Tim.5.13"
  ∷ word (μ ∷ ὴ ∷ []) "1Tim.5.13"
  ∷ word (δ ∷ έ ∷ ο ∷ ν ∷ τ ∷ α ∷ []) "1Tim.5.13"
  ∷ word (β ∷ ο ∷ ύ ∷ ∙λ ∷ ο ∷ μ ∷ α ∷ ι ∷ []) "1Tim.5.14"
  ∷ word (ο ∷ ὖ ∷ ν ∷ []) "1Tim.5.14"
  ∷ word (ν ∷ ε ∷ ω ∷ τ ∷ έ ∷ ρ ∷ α ∷ ς ∷ []) "1Tim.5.14"
  ∷ word (γ ∷ α ∷ μ ∷ ε ∷ ῖ ∷ ν ∷ []) "1Tim.5.14"
  ∷ word (τ ∷ ε ∷ κ ∷ ν ∷ ο ∷ γ ∷ ο ∷ ν ∷ ε ∷ ῖ ∷ ν ∷ []) "1Tim.5.14"
  ∷ word (ο ∷ ἰ ∷ κ ∷ ο ∷ δ ∷ ε ∷ σ ∷ π ∷ ο ∷ τ ∷ ε ∷ ῖ ∷ ν ∷ []) "1Tim.5.14"
  ∷ word (μ ∷ η ∷ δ ∷ ε ∷ μ ∷ ί ∷ α ∷ ν ∷ []) "1Tim.5.14"
  ∷ word (ἀ ∷ φ ∷ ο ∷ ρ ∷ μ ∷ ὴ ∷ ν ∷ []) "1Tim.5.14"
  ∷ word (δ ∷ ι ∷ δ ∷ ό ∷ ν ∷ α ∷ ι ∷ []) "1Tim.5.14"
  ∷ word (τ ∷ ῷ ∷ []) "1Tim.5.14"
  ∷ word (ἀ ∷ ν ∷ τ ∷ ι ∷ κ ∷ ε ∷ ι ∷ μ ∷ έ ∷ ν ∷ ῳ ∷ []) "1Tim.5.14"
  ∷ word (∙λ ∷ ο ∷ ι ∷ δ ∷ ο ∷ ρ ∷ ί ∷ α ∷ ς ∷ []) "1Tim.5.14"
  ∷ word (χ ∷ ά ∷ ρ ∷ ι ∷ ν ∷ []) "1Tim.5.14"
  ∷ word (ἤ ∷ δ ∷ η ∷ []) "1Tim.5.15"
  ∷ word (γ ∷ ά ∷ ρ ∷ []) "1Tim.5.15"
  ∷ word (τ ∷ ι ∷ ν ∷ ε ∷ ς ∷ []) "1Tim.5.15"
  ∷ word (ἐ ∷ ξ ∷ ε ∷ τ ∷ ρ ∷ ά ∷ π ∷ η ∷ σ ∷ α ∷ ν ∷ []) "1Tim.5.15"
  ∷ word (ὀ ∷ π ∷ ί ∷ σ ∷ ω ∷ []) "1Tim.5.15"
  ∷ word (τ ∷ ο ∷ ῦ ∷ []) "1Tim.5.15"
  ∷ word (Σ ∷ α ∷ τ ∷ α ∷ ν ∷ ᾶ ∷ []) "1Tim.5.15"
  ∷ word (ε ∷ ἴ ∷ []) "1Tim.5.16"
  ∷ word (τ ∷ ι ∷ ς ∷ []) "1Tim.5.16"
  ∷ word (π ∷ ι ∷ σ ∷ τ ∷ ὴ ∷ []) "1Tim.5.16"
  ∷ word (ἔ ∷ χ ∷ ε ∷ ι ∷ []) "1Tim.5.16"
  ∷ word (χ ∷ ή ∷ ρ ∷ α ∷ ς ∷ []) "1Tim.5.16"
  ∷ word (ἐ ∷ π ∷ α ∷ ρ ∷ κ ∷ ε ∷ ί ∷ τ ∷ ω ∷ []) "1Tim.5.16"
  ∷ word (α ∷ ὐ ∷ τ ∷ α ∷ ῖ ∷ ς ∷ []) "1Tim.5.16"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Tim.5.16"
  ∷ word (μ ∷ ὴ ∷ []) "1Tim.5.16"
  ∷ word (β ∷ α ∷ ρ ∷ ε ∷ ί ∷ σ ∷ θ ∷ ω ∷ []) "1Tim.5.16"
  ∷ word (ἡ ∷ []) "1Tim.5.16"
  ∷ word (ἐ ∷ κ ∷ κ ∷ ∙λ ∷ η ∷ σ ∷ ί ∷ α ∷ []) "1Tim.5.16"
  ∷ word (ἵ ∷ ν ∷ α ∷ []) "1Tim.5.16"
  ∷ word (τ ∷ α ∷ ῖ ∷ ς ∷ []) "1Tim.5.16"
  ∷ word (ὄ ∷ ν ∷ τ ∷ ω ∷ ς ∷ []) "1Tim.5.16"
  ∷ word (χ ∷ ή ∷ ρ ∷ α ∷ ι ∷ ς ∷ []) "1Tim.5.16"
  ∷ word (ἐ ∷ π ∷ α ∷ ρ ∷ κ ∷ έ ∷ σ ∷ ῃ ∷ []) "1Tim.5.16"
  ∷ word (Ο ∷ ἱ ∷ []) "1Tim.5.17"
  ∷ word (κ ∷ α ∷ ∙λ ∷ ῶ ∷ ς ∷ []) "1Tim.5.17"
  ∷ word (π ∷ ρ ∷ ο ∷ ε ∷ σ ∷ τ ∷ ῶ ∷ τ ∷ ε ∷ ς ∷ []) "1Tim.5.17"
  ∷ word (π ∷ ρ ∷ ε ∷ σ ∷ β ∷ ύ ∷ τ ∷ ε ∷ ρ ∷ ο ∷ ι ∷ []) "1Tim.5.17"
  ∷ word (δ ∷ ι ∷ π ∷ ∙λ ∷ ῆ ∷ ς ∷ []) "1Tim.5.17"
  ∷ word (τ ∷ ι ∷ μ ∷ ῆ ∷ ς ∷ []) "1Tim.5.17"
  ∷ word (ἀ ∷ ξ ∷ ι ∷ ο ∷ ύ ∷ σ ∷ θ ∷ ω ∷ σ ∷ α ∷ ν ∷ []) "1Tim.5.17"
  ∷ word (μ ∷ ά ∷ ∙λ ∷ ι ∷ σ ∷ τ ∷ α ∷ []) "1Tim.5.17"
  ∷ word (ο ∷ ἱ ∷ []) "1Tim.5.17"
  ∷ word (κ ∷ ο ∷ π ∷ ι ∷ ῶ ∷ ν ∷ τ ∷ ε ∷ ς ∷ []) "1Tim.5.17"
  ∷ word (ἐ ∷ ν ∷ []) "1Tim.5.17"
  ∷ word (∙λ ∷ ό ∷ γ ∷ ῳ ∷ []) "1Tim.5.17"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Tim.5.17"
  ∷ word (δ ∷ ι ∷ δ ∷ α ∷ σ ∷ κ ∷ α ∷ ∙λ ∷ ί ∷ ᾳ ∷ []) "1Tim.5.17"
  ∷ word (∙λ ∷ έ ∷ γ ∷ ε ∷ ι ∷ []) "1Tim.5.18"
  ∷ word (γ ∷ ὰ ∷ ρ ∷ []) "1Tim.5.18"
  ∷ word (ἡ ∷ []) "1Tim.5.18"
  ∷ word (γ ∷ ρ ∷ α ∷ φ ∷ ή ∷ []) "1Tim.5.18"
  ∷ word (Β ∷ ο ∷ ῦ ∷ ν ∷ []) "1Tim.5.18"
  ∷ word (ἀ ∷ ∙λ ∷ ο ∷ ῶ ∷ ν ∷ τ ∷ α ∷ []) "1Tim.5.18"
  ∷ word (ο ∷ ὐ ∷ []) "1Tim.5.18"
  ∷ word (φ ∷ ι ∷ μ ∷ ώ ∷ σ ∷ ε ∷ ι ∷ ς ∷ []) "1Tim.5.18"
  ∷ word (κ ∷ α ∷ ί ∷ []) "1Tim.5.18"
  ∷ word (Ἄ ∷ ξ ∷ ι ∷ ο ∷ ς ∷ []) "1Tim.5.18"
  ∷ word (ὁ ∷ []) "1Tim.5.18"
  ∷ word (ἐ ∷ ρ ∷ γ ∷ ά ∷ τ ∷ η ∷ ς ∷ []) "1Tim.5.18"
  ∷ word (τ ∷ ο ∷ ῦ ∷ []) "1Tim.5.18"
  ∷ word (μ ∷ ι ∷ σ ∷ θ ∷ ο ∷ ῦ ∷ []) "1Tim.5.18"
  ∷ word (α ∷ ὐ ∷ τ ∷ ο ∷ ῦ ∷ []) "1Tim.5.18"
  ∷ word (κ ∷ α ∷ τ ∷ ὰ ∷ []) "1Tim.5.19"
  ∷ word (π ∷ ρ ∷ ε ∷ σ ∷ β ∷ υ ∷ τ ∷ έ ∷ ρ ∷ ο ∷ υ ∷ []) "1Tim.5.19"
  ∷ word (κ ∷ α ∷ τ ∷ η ∷ γ ∷ ο ∷ ρ ∷ ί ∷ α ∷ ν ∷ []) "1Tim.5.19"
  ∷ word (μ ∷ ὴ ∷ []) "1Tim.5.19"
  ∷ word (π ∷ α ∷ ρ ∷ α ∷ δ ∷ έ ∷ χ ∷ ο ∷ υ ∷ []) "1Tim.5.19"
  ∷ word (ἐ ∷ κ ∷ τ ∷ ὸ ∷ ς ∷ []) "1Tim.5.19"
  ∷ word (ε ∷ ἰ ∷ []) "1Tim.5.19"
  ∷ word (μ ∷ ὴ ∷ []) "1Tim.5.19"
  ∷ word (ἐ ∷ π ∷ ὶ ∷ []) "1Tim.5.19"
  ∷ word (δ ∷ ύ ∷ ο ∷ []) "1Tim.5.19"
  ∷ word (ἢ ∷ []) "1Tim.5.19"
  ∷ word (τ ∷ ρ ∷ ι ∷ ῶ ∷ ν ∷ []) "1Tim.5.19"
  ∷ word (μ ∷ α ∷ ρ ∷ τ ∷ ύ ∷ ρ ∷ ω ∷ ν ∷ []) "1Tim.5.19"
  ∷ word (τ ∷ ο ∷ ὺ ∷ ς ∷ []) "1Tim.5.20"
  ∷ word (ἁ ∷ μ ∷ α ∷ ρ ∷ τ ∷ ά ∷ ν ∷ ο ∷ ν ∷ τ ∷ α ∷ ς ∷ []) "1Tim.5.20"
  ∷ word (ἐ ∷ ν ∷ ώ ∷ π ∷ ι ∷ ο ∷ ν ∷ []) "1Tim.5.20"
  ∷ word (π ∷ ά ∷ ν ∷ τ ∷ ω ∷ ν ∷ []) "1Tim.5.20"
  ∷ word (ἔ ∷ ∙λ ∷ ε ∷ γ ∷ χ ∷ ε ∷ []) "1Tim.5.20"
  ∷ word (ἵ ∷ ν ∷ α ∷ []) "1Tim.5.20"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Tim.5.20"
  ∷ word (ο ∷ ἱ ∷ []) "1Tim.5.20"
  ∷ word (∙λ ∷ ο ∷ ι ∷ π ∷ ο ∷ ὶ ∷ []) "1Tim.5.20"
  ∷ word (φ ∷ ό ∷ β ∷ ο ∷ ν ∷ []) "1Tim.5.20"
  ∷ word (ἔ ∷ χ ∷ ω ∷ σ ∷ ι ∷ ν ∷ []) "1Tim.5.20"
  ∷ word (δ ∷ ι ∷ α ∷ μ ∷ α ∷ ρ ∷ τ ∷ ύ ∷ ρ ∷ ο ∷ μ ∷ α ∷ ι ∷ []) "1Tim.5.21"
  ∷ word (ἐ ∷ ν ∷ ώ ∷ π ∷ ι ∷ ο ∷ ν ∷ []) "1Tim.5.21"
  ∷ word (τ ∷ ο ∷ ῦ ∷ []) "1Tim.5.21"
  ∷ word (θ ∷ ε ∷ ο ∷ ῦ ∷ []) "1Tim.5.21"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Tim.5.21"
  ∷ word (Χ ∷ ρ ∷ ι ∷ σ ∷ τ ∷ ο ∷ ῦ ∷ []) "1Tim.5.21"
  ∷ word (Ἰ ∷ η ∷ σ ∷ ο ∷ ῦ ∷ []) "1Tim.5.21"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Tim.5.21"
  ∷ word (τ ∷ ῶ ∷ ν ∷ []) "1Tim.5.21"
  ∷ word (ἐ ∷ κ ∷ ∙λ ∷ ε ∷ κ ∷ τ ∷ ῶ ∷ ν ∷ []) "1Tim.5.21"
  ∷ word (ἀ ∷ γ ∷ γ ∷ έ ∷ ∙λ ∷ ω ∷ ν ∷ []) "1Tim.5.21"
  ∷ word (ἵ ∷ ν ∷ α ∷ []) "1Tim.5.21"
  ∷ word (τ ∷ α ∷ ῦ ∷ τ ∷ α ∷ []) "1Tim.5.21"
  ∷ word (φ ∷ υ ∷ ∙λ ∷ ά ∷ ξ ∷ ῃ ∷ ς ∷ []) "1Tim.5.21"
  ∷ word (χ ∷ ω ∷ ρ ∷ ὶ ∷ ς ∷ []) "1Tim.5.21"
  ∷ word (π ∷ ρ ∷ ο ∷ κ ∷ ρ ∷ ί ∷ μ ∷ α ∷ τ ∷ ο ∷ ς ∷ []) "1Tim.5.21"
  ∷ word (μ ∷ η ∷ δ ∷ ὲ ∷ ν ∷ []) "1Tim.5.21"
  ∷ word (π ∷ ο ∷ ι ∷ ῶ ∷ ν ∷ []) "1Tim.5.21"
  ∷ word (κ ∷ α ∷ τ ∷ ὰ ∷ []) "1Tim.5.21"
  ∷ word (π ∷ ρ ∷ ό ∷ σ ∷ κ ∷ ∙λ ∷ ι ∷ σ ∷ ι ∷ ν ∷ []) "1Tim.5.21"
  ∷ word (χ ∷ ε ∷ ῖ ∷ ρ ∷ α ∷ ς ∷ []) "1Tim.5.22"
  ∷ word (τ ∷ α ∷ χ ∷ έ ∷ ω ∷ ς ∷ []) "1Tim.5.22"
  ∷ word (μ ∷ η ∷ δ ∷ ε ∷ ν ∷ ὶ ∷ []) "1Tim.5.22"
  ∷ word (ἐ ∷ π ∷ ι ∷ τ ∷ ί ∷ θ ∷ ε ∷ ι ∷ []) "1Tim.5.22"
  ∷ word (μ ∷ η ∷ δ ∷ ὲ ∷ []) "1Tim.5.22"
  ∷ word (κ ∷ ο ∷ ι ∷ ν ∷ ώ ∷ ν ∷ ε ∷ ι ∷ []) "1Tim.5.22"
  ∷ word (ἁ ∷ μ ∷ α ∷ ρ ∷ τ ∷ ί ∷ α ∷ ι ∷ ς ∷ []) "1Tim.5.22"
  ∷ word (ἀ ∷ ∙λ ∷ ∙λ ∷ ο ∷ τ ∷ ρ ∷ ί ∷ α ∷ ι ∷ ς ∷ []) "1Tim.5.22"
  ∷ word (σ ∷ ε ∷ α ∷ υ ∷ τ ∷ ὸ ∷ ν ∷ []) "1Tim.5.22"
  ∷ word (ἁ ∷ γ ∷ ν ∷ ὸ ∷ ν ∷ []) "1Tim.5.22"
  ∷ word (τ ∷ ή ∷ ρ ∷ ε ∷ ι ∷ []) "1Tim.5.22"
  ∷ word (μ ∷ η ∷ κ ∷ έ ∷ τ ∷ ι ∷ []) "1Tim.5.23"
  ∷ word (ὑ ∷ δ ∷ ρ ∷ ο ∷ π ∷ ό ∷ τ ∷ ε ∷ ι ∷ []) "1Tim.5.23"
  ∷ word (ἀ ∷ ∙λ ∷ ∙λ ∷ ὰ ∷ []) "1Tim.5.23"
  ∷ word (ο ∷ ἴ ∷ ν ∷ ῳ ∷ []) "1Tim.5.23"
  ∷ word (ὀ ∷ ∙λ ∷ ί ∷ γ ∷ ῳ ∷ []) "1Tim.5.23"
  ∷ word (χ ∷ ρ ∷ ῶ ∷ []) "1Tim.5.23"
  ∷ word (δ ∷ ι ∷ ὰ ∷ []) "1Tim.5.23"
  ∷ word (τ ∷ ὸ ∷ ν ∷ []) "1Tim.5.23"
  ∷ word (σ ∷ τ ∷ ό ∷ μ ∷ α ∷ χ ∷ ο ∷ ν ∷ []) "1Tim.5.23"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Tim.5.23"
  ∷ word (τ ∷ ὰ ∷ ς ∷ []) "1Tim.5.23"
  ∷ word (π ∷ υ ∷ κ ∷ ν ∷ ά ∷ ς ∷ []) "1Tim.5.23"
  ∷ word (σ ∷ ο ∷ υ ∷ []) "1Tim.5.23"
  ∷ word (ἀ ∷ σ ∷ θ ∷ ε ∷ ν ∷ ε ∷ ί ∷ α ∷ ς ∷ []) "1Tim.5.23"
  ∷ word (Τ ∷ ι ∷ ν ∷ ῶ ∷ ν ∷ []) "1Tim.5.24"
  ∷ word (ἀ ∷ ν ∷ θ ∷ ρ ∷ ώ ∷ π ∷ ω ∷ ν ∷ []) "1Tim.5.24"
  ∷ word (α ∷ ἱ ∷ []) "1Tim.5.24"
  ∷ word (ἁ ∷ μ ∷ α ∷ ρ ∷ τ ∷ ί ∷ α ∷ ι ∷ []) "1Tim.5.24"
  ∷ word (π ∷ ρ ∷ ό ∷ δ ∷ η ∷ ∙λ ∷ ο ∷ ί ∷ []) "1Tim.5.24"
  ∷ word (ε ∷ ἰ ∷ σ ∷ ι ∷ ν ∷ []) "1Tim.5.24"
  ∷ word (π ∷ ρ ∷ ο ∷ ά ∷ γ ∷ ο ∷ υ ∷ σ ∷ α ∷ ι ∷ []) "1Tim.5.24"
  ∷ word (ε ∷ ἰ ∷ ς ∷ []) "1Tim.5.24"
  ∷ word (κ ∷ ρ ∷ ί ∷ σ ∷ ι ∷ ν ∷ []) "1Tim.5.24"
  ∷ word (τ ∷ ι ∷ σ ∷ ὶ ∷ ν ∷ []) "1Tim.5.24"
  ∷ word (δ ∷ ὲ ∷ []) "1Tim.5.24"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Tim.5.24"
  ∷ word (ἐ ∷ π ∷ α ∷ κ ∷ ο ∷ ∙λ ∷ ο ∷ υ ∷ θ ∷ ο ∷ ῦ ∷ σ ∷ ι ∷ ν ∷ []) "1Tim.5.24"
  ∷ word (ὡ ∷ σ ∷ α ∷ ύ ∷ τ ∷ ω ∷ ς ∷ []) "1Tim.5.25"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Tim.5.25"
  ∷ word (τ ∷ ὰ ∷ []) "1Tim.5.25"
  ∷ word (ἔ ∷ ρ ∷ γ ∷ α ∷ []) "1Tim.5.25"
  ∷ word (τ ∷ ὰ ∷ []) "1Tim.5.25"
  ∷ word (κ ∷ α ∷ ∙λ ∷ ὰ ∷ []) "1Tim.5.25"
  ∷ word (π ∷ ρ ∷ ό ∷ δ ∷ η ∷ ∙λ ∷ α ∷ []) "1Tim.5.25"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Tim.5.25"
  ∷ word (τ ∷ ὰ ∷ []) "1Tim.5.25"
  ∷ word (ἄ ∷ ∙λ ∷ ∙λ ∷ ω ∷ ς ∷ []) "1Tim.5.25"
  ∷ word (ἔ ∷ χ ∷ ο ∷ ν ∷ τ ∷ α ∷ []) "1Tim.5.25"
  ∷ word (κ ∷ ρ ∷ υ ∷ β ∷ ῆ ∷ ν ∷ α ∷ ι ∷ []) "1Tim.5.25"
  ∷ word (ο ∷ ὐ ∷ []) "1Tim.5.25"
  ∷ word (δ ∷ ύ ∷ ν ∷ α ∷ ν ∷ τ ∷ α ∷ ι ∷ []) "1Tim.5.25"
  ∷ word (Ὅ ∷ σ ∷ ο ∷ ι ∷ []) "1Tim.6.1"
  ∷ word (ε ∷ ἰ ∷ σ ∷ ὶ ∷ ν ∷ []) "1Tim.6.1"
  ∷ word (ὑ ∷ π ∷ ὸ ∷ []) "1Tim.6.1"
  ∷ word (ζ ∷ υ ∷ γ ∷ ὸ ∷ ν ∷ []) "1Tim.6.1"
  ∷ word (δ ∷ ο ∷ ῦ ∷ ∙λ ∷ ο ∷ ι ∷ []) "1Tim.6.1"
  ∷ word (τ ∷ ο ∷ ὺ ∷ ς ∷ []) "1Tim.6.1"
  ∷ word (ἰ ∷ δ ∷ ί ∷ ο ∷ υ ∷ ς ∷ []) "1Tim.6.1"
  ∷ word (δ ∷ ε ∷ σ ∷ π ∷ ό ∷ τ ∷ α ∷ ς ∷ []) "1Tim.6.1"
  ∷ word (π ∷ ά ∷ σ ∷ η ∷ ς ∷ []) "1Tim.6.1"
  ∷ word (τ ∷ ι ∷ μ ∷ ῆ ∷ ς ∷ []) "1Tim.6.1"
  ∷ word (ἀ ∷ ξ ∷ ί ∷ ο ∷ υ ∷ ς ∷ []) "1Tim.6.1"
  ∷ word (ἡ ∷ γ ∷ ε ∷ ί ∷ σ ∷ θ ∷ ω ∷ σ ∷ α ∷ ν ∷ []) "1Tim.6.1"
  ∷ word (ἵ ∷ ν ∷ α ∷ []) "1Tim.6.1"
  ∷ word (μ ∷ ὴ ∷ []) "1Tim.6.1"
  ∷ word (τ ∷ ὸ ∷ []) "1Tim.6.1"
  ∷ word (ὄ ∷ ν ∷ ο ∷ μ ∷ α ∷ []) "1Tim.6.1"
  ∷ word (τ ∷ ο ∷ ῦ ∷ []) "1Tim.6.1"
  ∷ word (θ ∷ ε ∷ ο ∷ ῦ ∷ []) "1Tim.6.1"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Tim.6.1"
  ∷ word (ἡ ∷ []) "1Tim.6.1"
  ∷ word (δ ∷ ι ∷ δ ∷ α ∷ σ ∷ κ ∷ α ∷ ∙λ ∷ ί ∷ α ∷ []) "1Tim.6.1"
  ∷ word (β ∷ ∙λ ∷ α ∷ σ ∷ φ ∷ η ∷ μ ∷ ῆ ∷ τ ∷ α ∷ ι ∷ []) "1Tim.6.1"
  ∷ word (ο ∷ ἱ ∷ []) "1Tim.6.2"
  ∷ word (δ ∷ ὲ ∷ []) "1Tim.6.2"
  ∷ word (π ∷ ι ∷ σ ∷ τ ∷ ο ∷ ὺ ∷ ς ∷ []) "1Tim.6.2"
  ∷ word (ἔ ∷ χ ∷ ο ∷ ν ∷ τ ∷ ε ∷ ς ∷ []) "1Tim.6.2"
  ∷ word (δ ∷ ε ∷ σ ∷ π ∷ ό ∷ τ ∷ α ∷ ς ∷ []) "1Tim.6.2"
  ∷ word (μ ∷ ὴ ∷ []) "1Tim.6.2"
  ∷ word (κ ∷ α ∷ τ ∷ α ∷ φ ∷ ρ ∷ ο ∷ ν ∷ ε ∷ ί ∷ τ ∷ ω ∷ σ ∷ α ∷ ν ∷ []) "1Tim.6.2"
  ∷ word (ὅ ∷ τ ∷ ι ∷ []) "1Tim.6.2"
  ∷ word (ἀ ∷ δ ∷ ε ∷ ∙λ ∷ φ ∷ ο ∷ ί ∷ []) "1Tim.6.2"
  ∷ word (ε ∷ ἰ ∷ σ ∷ ι ∷ ν ∷ []) "1Tim.6.2"
  ∷ word (ἀ ∷ ∙λ ∷ ∙λ ∷ ὰ ∷ []) "1Tim.6.2"
  ∷ word (μ ∷ ᾶ ∷ ∙λ ∷ ∙λ ∷ ο ∷ ν ∷ []) "1Tim.6.2"
  ∷ word (δ ∷ ο ∷ υ ∷ ∙λ ∷ ε ∷ υ ∷ έ ∷ τ ∷ ω ∷ σ ∷ α ∷ ν ∷ []) "1Tim.6.2"
  ∷ word (ὅ ∷ τ ∷ ι ∷ []) "1Tim.6.2"
  ∷ word (π ∷ ι ∷ σ ∷ τ ∷ ο ∷ ί ∷ []) "1Tim.6.2"
  ∷ word (ε ∷ ἰ ∷ σ ∷ ι ∷ ν ∷ []) "1Tim.6.2"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Tim.6.2"
  ∷ word (ἀ ∷ γ ∷ α ∷ π ∷ η ∷ τ ∷ ο ∷ ὶ ∷ []) "1Tim.6.2"
  ∷ word (ο ∷ ἱ ∷ []) "1Tim.6.2"
  ∷ word (τ ∷ ῆ ∷ ς ∷ []) "1Tim.6.2"
  ∷ word (ε ∷ ὐ ∷ ε ∷ ρ ∷ γ ∷ ε ∷ σ ∷ ί ∷ α ∷ ς ∷ []) "1Tim.6.2"
  ∷ word (ἀ ∷ ν ∷ τ ∷ ι ∷ ∙λ ∷ α ∷ μ ∷ β ∷ α ∷ ν ∷ ό ∷ μ ∷ ε ∷ ν ∷ ο ∷ ι ∷ []) "1Tim.6.2"
  ∷ word (Τ ∷ α ∷ ῦ ∷ τ ∷ α ∷ []) "1Tim.6.2"
  ∷ word (δ ∷ ί ∷ δ ∷ α ∷ σ ∷ κ ∷ ε ∷ []) "1Tim.6.2"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Tim.6.2"
  ∷ word (π ∷ α ∷ ρ ∷ α ∷ κ ∷ ά ∷ ∙λ ∷ ε ∷ ι ∷ []) "1Tim.6.2"
  ∷ word (ε ∷ ἴ ∷ []) "1Tim.6.3"
  ∷ word (τ ∷ ι ∷ ς ∷ []) "1Tim.6.3"
  ∷ word (ἑ ∷ τ ∷ ε ∷ ρ ∷ ο ∷ δ ∷ ι ∷ δ ∷ α ∷ σ ∷ κ ∷ α ∷ ∙λ ∷ ε ∷ ῖ ∷ []) "1Tim.6.3"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Tim.6.3"
  ∷ word (μ ∷ ὴ ∷ []) "1Tim.6.3"
  ∷ word (π ∷ ρ ∷ ο ∷ σ ∷ έ ∷ ρ ∷ χ ∷ ε ∷ τ ∷ α ∷ ι ∷ []) "1Tim.6.3"
  ∷ word (ὑ ∷ γ ∷ ι ∷ α ∷ ί ∷ ν ∷ ο ∷ υ ∷ σ ∷ ι ∷ []) "1Tim.6.3"
  ∷ word (∙λ ∷ ό ∷ γ ∷ ο ∷ ι ∷ ς ∷ []) "1Tim.6.3"
  ∷ word (τ ∷ ο ∷ ῖ ∷ ς ∷ []) "1Tim.6.3"
  ∷ word (τ ∷ ο ∷ ῦ ∷ []) "1Tim.6.3"
  ∷ word (κ ∷ υ ∷ ρ ∷ ί ∷ ο ∷ υ ∷ []) "1Tim.6.3"
  ∷ word (ἡ ∷ μ ∷ ῶ ∷ ν ∷ []) "1Tim.6.3"
  ∷ word (Ἰ ∷ η ∷ σ ∷ ο ∷ ῦ ∷ []) "1Tim.6.3"
  ∷ word (Χ ∷ ρ ∷ ι ∷ σ ∷ τ ∷ ο ∷ ῦ ∷ []) "1Tim.6.3"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Tim.6.3"
  ∷ word (τ ∷ ῇ ∷ []) "1Tim.6.3"
  ∷ word (κ ∷ α ∷ τ ∷ []) "1Tim.6.3"
  ∷ word (ε ∷ ὐ ∷ σ ∷ έ ∷ β ∷ ε ∷ ι ∷ α ∷ ν ∷ []) "1Tim.6.3"
  ∷ word (δ ∷ ι ∷ δ ∷ α ∷ σ ∷ κ ∷ α ∷ ∙λ ∷ ί ∷ ᾳ ∷ []) "1Tim.6.3"
  ∷ word (τ ∷ ε ∷ τ ∷ ύ ∷ φ ∷ ω ∷ τ ∷ α ∷ ι ∷ []) "1Tim.6.4"
  ∷ word (μ ∷ η ∷ δ ∷ ὲ ∷ ν ∷ []) "1Tim.6.4"
  ∷ word (ἐ ∷ π ∷ ι ∷ σ ∷ τ ∷ ά ∷ μ ∷ ε ∷ ν ∷ ο ∷ ς ∷ []) "1Tim.6.4"
  ∷ word (ἀ ∷ ∙λ ∷ ∙λ ∷ ὰ ∷ []) "1Tim.6.4"
  ∷ word (ν ∷ ο ∷ σ ∷ ῶ ∷ ν ∷ []) "1Tim.6.4"
  ∷ word (π ∷ ε ∷ ρ ∷ ὶ ∷ []) "1Tim.6.4"
  ∷ word (ζ ∷ η ∷ τ ∷ ή ∷ σ ∷ ε ∷ ι ∷ ς ∷ []) "1Tim.6.4"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Tim.6.4"
  ∷ word (∙λ ∷ ο ∷ γ ∷ ο ∷ μ ∷ α ∷ χ ∷ ί ∷ α ∷ ς ∷ []) "1Tim.6.4"
  ∷ word (ἐ ∷ ξ ∷ []) "1Tim.6.4"
  ∷ word (ὧ ∷ ν ∷ []) "1Tim.6.4"
  ∷ word (γ ∷ ί ∷ ν ∷ ε ∷ τ ∷ α ∷ ι ∷ []) "1Tim.6.4"
  ∷ word (φ ∷ θ ∷ ό ∷ ν ∷ ο ∷ ς ∷ []) "1Tim.6.4"
  ∷ word (ἔ ∷ ρ ∷ ι ∷ ς ∷ []) "1Tim.6.4"
  ∷ word (β ∷ ∙λ ∷ α ∷ σ ∷ φ ∷ η ∷ μ ∷ ί ∷ α ∷ ι ∷ []) "1Tim.6.4"
  ∷ word (ὑ ∷ π ∷ ό ∷ ν ∷ ο ∷ ι ∷ α ∷ ι ∷ []) "1Tim.6.4"
  ∷ word (π ∷ ο ∷ ν ∷ η ∷ ρ ∷ α ∷ ί ∷ []) "1Tim.6.4"
  ∷ word (δ ∷ ι ∷ α ∷ π ∷ α ∷ ρ ∷ α ∷ τ ∷ ρ ∷ ι ∷ β ∷ α ∷ ὶ ∷ []) "1Tim.6.5"
  ∷ word (δ ∷ ι ∷ ε ∷ φ ∷ θ ∷ α ∷ ρ ∷ μ ∷ έ ∷ ν ∷ ω ∷ ν ∷ []) "1Tim.6.5"
  ∷ word (ἀ ∷ ν ∷ θ ∷ ρ ∷ ώ ∷ π ∷ ω ∷ ν ∷ []) "1Tim.6.5"
  ∷ word (τ ∷ ὸ ∷ ν ∷ []) "1Tim.6.5"
  ∷ word (ν ∷ ο ∷ ῦ ∷ ν ∷ []) "1Tim.6.5"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Tim.6.5"
  ∷ word (ἀ ∷ π ∷ ε ∷ σ ∷ τ ∷ ε ∷ ρ ∷ η ∷ μ ∷ έ ∷ ν ∷ ω ∷ ν ∷ []) "1Tim.6.5"
  ∷ word (τ ∷ ῆ ∷ ς ∷ []) "1Tim.6.5"
  ∷ word (ἀ ∷ ∙λ ∷ η ∷ θ ∷ ε ∷ ί ∷ α ∷ ς ∷ []) "1Tim.6.5"
  ∷ word (ν ∷ ο ∷ μ ∷ ι ∷ ζ ∷ ό ∷ ν ∷ τ ∷ ω ∷ ν ∷ []) "1Tim.6.5"
  ∷ word (π ∷ ο ∷ ρ ∷ ι ∷ σ ∷ μ ∷ ὸ ∷ ν ∷ []) "1Tim.6.5"
  ∷ word (ε ∷ ἶ ∷ ν ∷ α ∷ ι ∷ []) "1Tim.6.5"
  ∷ word (τ ∷ ὴ ∷ ν ∷ []) "1Tim.6.5"
  ∷ word (ε ∷ ὐ ∷ σ ∷ έ ∷ β ∷ ε ∷ ι ∷ α ∷ ν ∷ []) "1Tim.6.5"
  ∷ word (ἔ ∷ σ ∷ τ ∷ ι ∷ ν ∷ []) "1Tim.6.6"
  ∷ word (δ ∷ ὲ ∷ []) "1Tim.6.6"
  ∷ word (π ∷ ο ∷ ρ ∷ ι ∷ σ ∷ μ ∷ ὸ ∷ ς ∷ []) "1Tim.6.6"
  ∷ word (μ ∷ έ ∷ γ ∷ α ∷ ς ∷ []) "1Tim.6.6"
  ∷ word (ἡ ∷ []) "1Tim.6.6"
  ∷ word (ε ∷ ὐ ∷ σ ∷ έ ∷ β ∷ ε ∷ ι ∷ α ∷ []) "1Tim.6.6"
  ∷ word (μ ∷ ε ∷ τ ∷ ὰ ∷ []) "1Tim.6.6"
  ∷ word (α ∷ ὐ ∷ τ ∷ α ∷ ρ ∷ κ ∷ ε ∷ ί ∷ α ∷ ς ∷ []) "1Tim.6.6"
  ∷ word (ο ∷ ὐ ∷ δ ∷ ὲ ∷ ν ∷ []) "1Tim.6.7"
  ∷ word (γ ∷ ὰ ∷ ρ ∷ []) "1Tim.6.7"
  ∷ word (ε ∷ ἰ ∷ σ ∷ η ∷ ν ∷ έ ∷ γ ∷ κ ∷ α ∷ μ ∷ ε ∷ ν ∷ []) "1Tim.6.7"
  ∷ word (ε ∷ ἰ ∷ ς ∷ []) "1Tim.6.7"
  ∷ word (τ ∷ ὸ ∷ ν ∷ []) "1Tim.6.7"
  ∷ word (κ ∷ ό ∷ σ ∷ μ ∷ ο ∷ ν ∷ []) "1Tim.6.7"
  ∷ word (ὅ ∷ τ ∷ ι ∷ []) "1Tim.6.7"
  ∷ word (ο ∷ ὐ ∷ δ ∷ ὲ ∷ []) "1Tim.6.7"
  ∷ word (ἐ ∷ ξ ∷ ε ∷ ν ∷ ε ∷ γ ∷ κ ∷ ε ∷ ῖ ∷ ν ∷ []) "1Tim.6.7"
  ∷ word (τ ∷ ι ∷ []) "1Tim.6.7"
  ∷ word (δ ∷ υ ∷ ν ∷ ά ∷ μ ∷ ε ∷ θ ∷ α ∷ []) "1Tim.6.7"
  ∷ word (ἔ ∷ χ ∷ ο ∷ ν ∷ τ ∷ ε ∷ ς ∷ []) "1Tim.6.8"
  ∷ word (δ ∷ ὲ ∷ []) "1Tim.6.8"
  ∷ word (δ ∷ ι ∷ α ∷ τ ∷ ρ ∷ ο ∷ φ ∷ ὰ ∷ ς ∷ []) "1Tim.6.8"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Tim.6.8"
  ∷ word (σ ∷ κ ∷ ε ∷ π ∷ ά ∷ σ ∷ μ ∷ α ∷ τ ∷ α ∷ []) "1Tim.6.8"
  ∷ word (τ ∷ ο ∷ ύ ∷ τ ∷ ο ∷ ι ∷ ς ∷ []) "1Tim.6.8"
  ∷ word (ἀ ∷ ρ ∷ κ ∷ ε ∷ σ ∷ θ ∷ η ∷ σ ∷ ό ∷ μ ∷ ε ∷ θ ∷ α ∷ []) "1Tim.6.8"
  ∷ word (ο ∷ ἱ ∷ []) "1Tim.6.9"
  ∷ word (δ ∷ ὲ ∷ []) "1Tim.6.9"
  ∷ word (β ∷ ο ∷ υ ∷ ∙λ ∷ ό ∷ μ ∷ ε ∷ ν ∷ ο ∷ ι ∷ []) "1Tim.6.9"
  ∷ word (π ∷ ∙λ ∷ ο ∷ υ ∷ τ ∷ ε ∷ ῖ ∷ ν ∷ []) "1Tim.6.9"
  ∷ word (ἐ ∷ μ ∷ π ∷ ί ∷ π ∷ τ ∷ ο ∷ υ ∷ σ ∷ ι ∷ ν ∷ []) "1Tim.6.9"
  ∷ word (ε ∷ ἰ ∷ ς ∷ []) "1Tim.6.9"
  ∷ word (π ∷ ε ∷ ι ∷ ρ ∷ α ∷ σ ∷ μ ∷ ὸ ∷ ν ∷ []) "1Tim.6.9"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Tim.6.9"
  ∷ word (π ∷ α ∷ γ ∷ ί ∷ δ ∷ α ∷ []) "1Tim.6.9"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Tim.6.9"
  ∷ word (ἐ ∷ π ∷ ι ∷ θ ∷ υ ∷ μ ∷ ί ∷ α ∷ ς ∷ []) "1Tim.6.9"
  ∷ word (π ∷ ο ∷ ∙λ ∷ ∙λ ∷ ὰ ∷ ς ∷ []) "1Tim.6.9"
  ∷ word (ἀ ∷ ν ∷ ο ∷ ή ∷ τ ∷ ο ∷ υ ∷ ς ∷ []) "1Tim.6.9"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Tim.6.9"
  ∷ word (β ∷ ∙λ ∷ α ∷ β ∷ ε ∷ ρ ∷ ά ∷ ς ∷ []) "1Tim.6.9"
  ∷ word (α ∷ ἵ ∷ τ ∷ ι ∷ ν ∷ ε ∷ ς ∷ []) "1Tim.6.9"
  ∷ word (β ∷ υ ∷ θ ∷ ί ∷ ζ ∷ ο ∷ υ ∷ σ ∷ ι ∷ []) "1Tim.6.9"
  ∷ word (τ ∷ ο ∷ ὺ ∷ ς ∷ []) "1Tim.6.9"
  ∷ word (ἀ ∷ ν ∷ θ ∷ ρ ∷ ώ ∷ π ∷ ο ∷ υ ∷ ς ∷ []) "1Tim.6.9"
  ∷ word (ε ∷ ἰ ∷ ς ∷ []) "1Tim.6.9"
  ∷ word (ὄ ∷ ∙λ ∷ ε ∷ θ ∷ ρ ∷ ο ∷ ν ∷ []) "1Tim.6.9"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Tim.6.9"
  ∷ word (ἀ ∷ π ∷ ώ ∷ ∙λ ∷ ε ∷ ι ∷ α ∷ ν ∷ []) "1Tim.6.9"
  ∷ word (ῥ ∷ ί ∷ ζ ∷ α ∷ []) "1Tim.6.10"
  ∷ word (γ ∷ ὰ ∷ ρ ∷ []) "1Tim.6.10"
  ∷ word (π ∷ ά ∷ ν ∷ τ ∷ ω ∷ ν ∷ []) "1Tim.6.10"
  ∷ word (τ ∷ ῶ ∷ ν ∷ []) "1Tim.6.10"
  ∷ word (κ ∷ α ∷ κ ∷ ῶ ∷ ν ∷ []) "1Tim.6.10"
  ∷ word (ἐ ∷ σ ∷ τ ∷ ι ∷ ν ∷ []) "1Tim.6.10"
  ∷ word (ἡ ∷ []) "1Tim.6.10"
  ∷ word (φ ∷ ι ∷ ∙λ ∷ α ∷ ρ ∷ γ ∷ υ ∷ ρ ∷ ί ∷ α ∷ []) "1Tim.6.10"
  ∷ word (ἧ ∷ ς ∷ []) "1Tim.6.10"
  ∷ word (τ ∷ ι ∷ ν ∷ ε ∷ ς ∷ []) "1Tim.6.10"
  ∷ word (ὀ ∷ ρ ∷ ε ∷ γ ∷ ό ∷ μ ∷ ε ∷ ν ∷ ο ∷ ι ∷ []) "1Tim.6.10"
  ∷ word (ἀ ∷ π ∷ ε ∷ π ∷ ∙λ ∷ α ∷ ν ∷ ή ∷ θ ∷ η ∷ σ ∷ α ∷ ν ∷ []) "1Tim.6.10"
  ∷ word (ἀ ∷ π ∷ ὸ ∷ []) "1Tim.6.10"
  ∷ word (τ ∷ ῆ ∷ ς ∷ []) "1Tim.6.10"
  ∷ word (π ∷ ί ∷ σ ∷ τ ∷ ε ∷ ω ∷ ς ∷ []) "1Tim.6.10"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Tim.6.10"
  ∷ word (ἑ ∷ α ∷ υ ∷ τ ∷ ο ∷ ὺ ∷ ς ∷ []) "1Tim.6.10"
  ∷ word (π ∷ ε ∷ ρ ∷ ι ∷ έ ∷ π ∷ ε ∷ ι ∷ ρ ∷ α ∷ ν ∷ []) "1Tim.6.10"
  ∷ word (ὀ ∷ δ ∷ ύ ∷ ν ∷ α ∷ ι ∷ ς ∷ []) "1Tim.6.10"
  ∷ word (π ∷ ο ∷ ∙λ ∷ ∙λ ∷ α ∷ ῖ ∷ ς ∷ []) "1Tim.6.10"
  ∷ word (Σ ∷ ὺ ∷ []) "1Tim.6.11"
  ∷ word (δ ∷ έ ∷ []) "1Tim.6.11"
  ∷ word (ὦ ∷ []) "1Tim.6.11"
  ∷ word (ἄ ∷ ν ∷ θ ∷ ρ ∷ ω ∷ π ∷ ε ∷ []) "1Tim.6.11"
  ∷ word (θ ∷ ε ∷ ο ∷ ῦ ∷ []) "1Tim.6.11"
  ∷ word (τ ∷ α ∷ ῦ ∷ τ ∷ α ∷ []) "1Tim.6.11"
  ∷ word (φ ∷ ε ∷ ῦ ∷ γ ∷ ε ∷ []) "1Tim.6.11"
  ∷ word (δ ∷ ί ∷ ω ∷ κ ∷ ε ∷ []) "1Tim.6.11"
  ∷ word (δ ∷ ὲ ∷ []) "1Tim.6.11"
  ∷ word (δ ∷ ι ∷ κ ∷ α ∷ ι ∷ ο ∷ σ ∷ ύ ∷ ν ∷ η ∷ ν ∷ []) "1Tim.6.11"
  ∷ word (ε ∷ ὐ ∷ σ ∷ έ ∷ β ∷ ε ∷ ι ∷ α ∷ ν ∷ []) "1Tim.6.11"
  ∷ word (π ∷ ί ∷ σ ∷ τ ∷ ι ∷ ν ∷ []) "1Tim.6.11"
  ∷ word (ἀ ∷ γ ∷ ά ∷ π ∷ η ∷ ν ∷ []) "1Tim.6.11"
  ∷ word (ὑ ∷ π ∷ ο ∷ μ ∷ ο ∷ ν ∷ ή ∷ ν ∷ []) "1Tim.6.11"
  ∷ word (π ∷ ρ ∷ α ∷ ϋ ∷ π ∷ α ∷ θ ∷ ί ∷ α ∷ ν ∷ []) "1Tim.6.11"
  ∷ word (ἀ ∷ γ ∷ ω ∷ ν ∷ ί ∷ ζ ∷ ο ∷ υ ∷ []) "1Tim.6.12"
  ∷ word (τ ∷ ὸ ∷ ν ∷ []) "1Tim.6.12"
  ∷ word (κ ∷ α ∷ ∙λ ∷ ὸ ∷ ν ∷ []) "1Tim.6.12"
  ∷ word (ἀ ∷ γ ∷ ῶ ∷ ν ∷ α ∷ []) "1Tim.6.12"
  ∷ word (τ ∷ ῆ ∷ ς ∷ []) "1Tim.6.12"
  ∷ word (π ∷ ί ∷ σ ∷ τ ∷ ε ∷ ω ∷ ς ∷ []) "1Tim.6.12"
  ∷ word (ἐ ∷ π ∷ ι ∷ ∙λ ∷ α ∷ β ∷ ο ∷ ῦ ∷ []) "1Tim.6.12"
  ∷ word (τ ∷ ῆ ∷ ς ∷ []) "1Tim.6.12"
  ∷ word (α ∷ ἰ ∷ ω ∷ ν ∷ ί ∷ ο ∷ υ ∷ []) "1Tim.6.12"
  ∷ word (ζ ∷ ω ∷ ῆ ∷ ς ∷ []) "1Tim.6.12"
  ∷ word (ε ∷ ἰ ∷ ς ∷ []) "1Tim.6.12"
  ∷ word (ἣ ∷ ν ∷ []) "1Tim.6.12"
  ∷ word (ἐ ∷ κ ∷ ∙λ ∷ ή ∷ θ ∷ η ∷ ς ∷ []) "1Tim.6.12"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Tim.6.12"
  ∷ word (ὡ ∷ μ ∷ ο ∷ ∙λ ∷ ό ∷ γ ∷ η ∷ σ ∷ α ∷ ς ∷ []) "1Tim.6.12"
  ∷ word (τ ∷ ὴ ∷ ν ∷ []) "1Tim.6.12"
  ∷ word (κ ∷ α ∷ ∙λ ∷ ὴ ∷ ν ∷ []) "1Tim.6.12"
  ∷ word (ὁ ∷ μ ∷ ο ∷ ∙λ ∷ ο ∷ γ ∷ ί ∷ α ∷ ν ∷ []) "1Tim.6.12"
  ∷ word (ἐ ∷ ν ∷ ώ ∷ π ∷ ι ∷ ο ∷ ν ∷ []) "1Tim.6.12"
  ∷ word (π ∷ ο ∷ ∙λ ∷ ∙λ ∷ ῶ ∷ ν ∷ []) "1Tim.6.12"
  ∷ word (μ ∷ α ∷ ρ ∷ τ ∷ ύ ∷ ρ ∷ ω ∷ ν ∷ []) "1Tim.6.12"
  ∷ word (π ∷ α ∷ ρ ∷ α ∷ γ ∷ γ ∷ έ ∷ ∙λ ∷ ∙λ ∷ ω ∷ []) "1Tim.6.13"
  ∷ word (σ ∷ ο ∷ ι ∷ []) "1Tim.6.13"
  ∷ word (ἐ ∷ ν ∷ ώ ∷ π ∷ ι ∷ ο ∷ ν ∷ []) "1Tim.6.13"
  ∷ word (τ ∷ ο ∷ ῦ ∷ []) "1Tim.6.13"
  ∷ word (θ ∷ ε ∷ ο ∷ ῦ ∷ []) "1Tim.6.13"
  ∷ word (τ ∷ ο ∷ ῦ ∷ []) "1Tim.6.13"
  ∷ word (ζ ∷ ῳ ∷ ο ∷ γ ∷ ο ∷ ν ∷ ο ∷ ῦ ∷ ν ∷ τ ∷ ο ∷ ς ∷ []) "1Tim.6.13"
  ∷ word (τ ∷ ὰ ∷ []) "1Tim.6.13"
  ∷ word (π ∷ ά ∷ ν ∷ τ ∷ α ∷ []) "1Tim.6.13"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Tim.6.13"
  ∷ word (Χ ∷ ρ ∷ ι ∷ σ ∷ τ ∷ ο ∷ ῦ ∷ []) "1Tim.6.13"
  ∷ word (Ἰ ∷ η ∷ σ ∷ ο ∷ ῦ ∷ []) "1Tim.6.13"
  ∷ word (τ ∷ ο ∷ ῦ ∷ []) "1Tim.6.13"
  ∷ word (μ ∷ α ∷ ρ ∷ τ ∷ υ ∷ ρ ∷ ή ∷ σ ∷ α ∷ ν ∷ τ ∷ ο ∷ ς ∷ []) "1Tim.6.13"
  ∷ word (ἐ ∷ π ∷ ὶ ∷ []) "1Tim.6.13"
  ∷ word (Π ∷ ο ∷ ν ∷ τ ∷ ί ∷ ο ∷ υ ∷ []) "1Tim.6.13"
  ∷ word (Π ∷ ι ∷ ∙λ ∷ ά ∷ τ ∷ ο ∷ υ ∷ []) "1Tim.6.13"
  ∷ word (τ ∷ ὴ ∷ ν ∷ []) "1Tim.6.13"
  ∷ word (κ ∷ α ∷ ∙λ ∷ ὴ ∷ ν ∷ []) "1Tim.6.13"
  ∷ word (ὁ ∷ μ ∷ ο ∷ ∙λ ∷ ο ∷ γ ∷ ί ∷ α ∷ ν ∷ []) "1Tim.6.13"
  ∷ word (τ ∷ η ∷ ρ ∷ ῆ ∷ σ ∷ α ∷ ί ∷ []) "1Tim.6.14"
  ∷ word (σ ∷ ε ∷ []) "1Tim.6.14"
  ∷ word (τ ∷ ὴ ∷ ν ∷ []) "1Tim.6.14"
  ∷ word (ἐ ∷ ν ∷ τ ∷ ο ∷ ∙λ ∷ ὴ ∷ ν ∷ []) "1Tim.6.14"
  ∷ word (ἄ ∷ σ ∷ π ∷ ι ∷ ∙λ ∷ ο ∷ ν ∷ []) "1Tim.6.14"
  ∷ word (ἀ ∷ ν ∷ ε ∷ π ∷ ί ∷ ∙λ ∷ η ∷ μ ∷ π ∷ τ ∷ ο ∷ ν ∷ []) "1Tim.6.14"
  ∷ word (μ ∷ έ ∷ χ ∷ ρ ∷ ι ∷ []) "1Tim.6.14"
  ∷ word (τ ∷ ῆ ∷ ς ∷ []) "1Tim.6.14"
  ∷ word (ἐ ∷ π ∷ ι ∷ φ ∷ α ∷ ν ∷ ε ∷ ί ∷ α ∷ ς ∷ []) "1Tim.6.14"
  ∷ word (τ ∷ ο ∷ ῦ ∷ []) "1Tim.6.14"
  ∷ word (κ ∷ υ ∷ ρ ∷ ί ∷ ο ∷ υ ∷ []) "1Tim.6.14"
  ∷ word (ἡ ∷ μ ∷ ῶ ∷ ν ∷ []) "1Tim.6.14"
  ∷ word (Ἰ ∷ η ∷ σ ∷ ο ∷ ῦ ∷ []) "1Tim.6.14"
  ∷ word (Χ ∷ ρ ∷ ι ∷ σ ∷ τ ∷ ο ∷ ῦ ∷ []) "1Tim.6.14"
  ∷ word (ἣ ∷ ν ∷ []) "1Tim.6.15"
  ∷ word (κ ∷ α ∷ ι ∷ ρ ∷ ο ∷ ῖ ∷ ς ∷ []) "1Tim.6.15"
  ∷ word (ἰ ∷ δ ∷ ί ∷ ο ∷ ι ∷ ς ∷ []) "1Tim.6.15"
  ∷ word (δ ∷ ε ∷ ί ∷ ξ ∷ ε ∷ ι ∷ []) "1Tim.6.15"
  ∷ word (ὁ ∷ []) "1Tim.6.15"
  ∷ word (μ ∷ α ∷ κ ∷ ά ∷ ρ ∷ ι ∷ ο ∷ ς ∷ []) "1Tim.6.15"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Tim.6.15"
  ∷ word (μ ∷ ό ∷ ν ∷ ο ∷ ς ∷ []) "1Tim.6.15"
  ∷ word (δ ∷ υ ∷ ν ∷ ά ∷ σ ∷ τ ∷ η ∷ ς ∷ []) "1Tim.6.15"
  ∷ word (ὁ ∷ []) "1Tim.6.15"
  ∷ word (β ∷ α ∷ σ ∷ ι ∷ ∙λ ∷ ε ∷ ὺ ∷ ς ∷ []) "1Tim.6.15"
  ∷ word (τ ∷ ῶ ∷ ν ∷ []) "1Tim.6.15"
  ∷ word (β ∷ α ∷ σ ∷ ι ∷ ∙λ ∷ ε ∷ υ ∷ ό ∷ ν ∷ τ ∷ ω ∷ ν ∷ []) "1Tim.6.15"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Tim.6.15"
  ∷ word (κ ∷ ύ ∷ ρ ∷ ι ∷ ο ∷ ς ∷ []) "1Tim.6.15"
  ∷ word (τ ∷ ῶ ∷ ν ∷ []) "1Tim.6.15"
  ∷ word (κ ∷ υ ∷ ρ ∷ ι ∷ ε ∷ υ ∷ ό ∷ ν ∷ τ ∷ ω ∷ ν ∷ []) "1Tim.6.15"
  ∷ word (ὁ ∷ []) "1Tim.6.16"
  ∷ word (μ ∷ ό ∷ ν ∷ ο ∷ ς ∷ []) "1Tim.6.16"
  ∷ word (ἔ ∷ χ ∷ ω ∷ ν ∷ []) "1Tim.6.16"
  ∷ word (ἀ ∷ θ ∷ α ∷ ν ∷ α ∷ σ ∷ ί ∷ α ∷ ν ∷ []) "1Tim.6.16"
  ∷ word (φ ∷ ῶ ∷ ς ∷ []) "1Tim.6.16"
  ∷ word (ο ∷ ἰ ∷ κ ∷ ῶ ∷ ν ∷ []) "1Tim.6.16"
  ∷ word (ἀ ∷ π ∷ ρ ∷ ό ∷ σ ∷ ι ∷ τ ∷ ο ∷ ν ∷ []) "1Tim.6.16"
  ∷ word (ὃ ∷ ν ∷ []) "1Tim.6.16"
  ∷ word (ε ∷ ἶ ∷ δ ∷ ε ∷ ν ∷ []) "1Tim.6.16"
  ∷ word (ο ∷ ὐ ∷ δ ∷ ε ∷ ὶ ∷ ς ∷ []) "1Tim.6.16"
  ∷ word (ἀ ∷ ν ∷ θ ∷ ρ ∷ ώ ∷ π ∷ ω ∷ ν ∷ []) "1Tim.6.16"
  ∷ word (ο ∷ ὐ ∷ δ ∷ ὲ ∷ []) "1Tim.6.16"
  ∷ word (ἰ ∷ δ ∷ ε ∷ ῖ ∷ ν ∷ []) "1Tim.6.16"
  ∷ word (δ ∷ ύ ∷ ν ∷ α ∷ τ ∷ α ∷ ι ∷ []) "1Tim.6.16"
  ∷ word (ᾧ ∷ []) "1Tim.6.16"
  ∷ word (τ ∷ ι ∷ μ ∷ ὴ ∷ []) "1Tim.6.16"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Tim.6.16"
  ∷ word (κ ∷ ρ ∷ ά ∷ τ ∷ ο ∷ ς ∷ []) "1Tim.6.16"
  ∷ word (α ∷ ἰ ∷ ώ ∷ ν ∷ ι ∷ ο ∷ ν ∷ []) "1Tim.6.16"
  ∷ word (ἀ ∷ μ ∷ ή ∷ ν ∷ []) "1Tim.6.16"
  ∷ word (Τ ∷ ο ∷ ῖ ∷ ς ∷ []) "1Tim.6.17"
  ∷ word (π ∷ ∙λ ∷ ο ∷ υ ∷ σ ∷ ί ∷ ο ∷ ι ∷ ς ∷ []) "1Tim.6.17"
  ∷ word (ἐ ∷ ν ∷ []) "1Tim.6.17"
  ∷ word (τ ∷ ῷ ∷ []) "1Tim.6.17"
  ∷ word (ν ∷ ῦ ∷ ν ∷ []) "1Tim.6.17"
  ∷ word (α ∷ ἰ ∷ ῶ ∷ ν ∷ ι ∷ []) "1Tim.6.17"
  ∷ word (π ∷ α ∷ ρ ∷ ά ∷ γ ∷ γ ∷ ε ∷ ∙λ ∷ ∙λ ∷ ε ∷ []) "1Tim.6.17"
  ∷ word (μ ∷ ὴ ∷ []) "1Tim.6.17"
  ∷ word (ὑ ∷ ψ ∷ η ∷ ∙λ ∷ ο ∷ φ ∷ ρ ∷ ο ∷ ν ∷ ε ∷ ῖ ∷ ν ∷ []) "1Tim.6.17"
  ∷ word (μ ∷ η ∷ δ ∷ ὲ ∷ []) "1Tim.6.17"
  ∷ word (ἠ ∷ ∙λ ∷ π ∷ ι ∷ κ ∷ έ ∷ ν ∷ α ∷ ι ∷ []) "1Tim.6.17"
  ∷ word (ἐ ∷ π ∷ ὶ ∷ []) "1Tim.6.17"
  ∷ word (π ∷ ∙λ ∷ ο ∷ ύ ∷ τ ∷ ο ∷ υ ∷ []) "1Tim.6.17"
  ∷ word (ἀ ∷ δ ∷ η ∷ ∙λ ∷ ό ∷ τ ∷ η ∷ τ ∷ ι ∷ []) "1Tim.6.17"
  ∷ word (ἀ ∷ ∙λ ∷ ∙λ ∷ []) "1Tim.6.17"
  ∷ word (ἐ ∷ π ∷ ὶ ∷ []) "1Tim.6.17"
  ∷ word (θ ∷ ε ∷ ῷ ∷ []) "1Tim.6.17"
  ∷ word (τ ∷ ῷ ∷ []) "1Tim.6.17"
  ∷ word (π ∷ α ∷ ρ ∷ έ ∷ χ ∷ ο ∷ ν ∷ τ ∷ ι ∷ []) "1Tim.6.17"
  ∷ word (ἡ ∷ μ ∷ ῖ ∷ ν ∷ []) "1Tim.6.17"
  ∷ word (π ∷ ά ∷ ν ∷ τ ∷ α ∷ []) "1Tim.6.17"
  ∷ word (π ∷ ∙λ ∷ ο ∷ υ ∷ σ ∷ ί ∷ ω ∷ ς ∷ []) "1Tim.6.17"
  ∷ word (ε ∷ ἰ ∷ ς ∷ []) "1Tim.6.17"
  ∷ word (ἀ ∷ π ∷ ό ∷ ∙λ ∷ α ∷ υ ∷ σ ∷ ι ∷ ν ∷ []) "1Tim.6.17"
  ∷ word (ἀ ∷ γ ∷ α ∷ θ ∷ ο ∷ ε ∷ ρ ∷ γ ∷ ε ∷ ῖ ∷ ν ∷ []) "1Tim.6.18"
  ∷ word (π ∷ ∙λ ∷ ο ∷ υ ∷ τ ∷ ε ∷ ῖ ∷ ν ∷ []) "1Tim.6.18"
  ∷ word (ἐ ∷ ν ∷ []) "1Tim.6.18"
  ∷ word (ἔ ∷ ρ ∷ γ ∷ ο ∷ ι ∷ ς ∷ []) "1Tim.6.18"
  ∷ word (κ ∷ α ∷ ∙λ ∷ ο ∷ ῖ ∷ ς ∷ []) "1Tim.6.18"
  ∷ word (ε ∷ ὐ ∷ μ ∷ ε ∷ τ ∷ α ∷ δ ∷ ό ∷ τ ∷ ο ∷ υ ∷ ς ∷ []) "1Tim.6.18"
  ∷ word (ε ∷ ἶ ∷ ν ∷ α ∷ ι ∷ []) "1Tim.6.18"
  ∷ word (κ ∷ ο ∷ ι ∷ ν ∷ ω ∷ ν ∷ ι ∷ κ ∷ ο ∷ ύ ∷ ς ∷ []) "1Tim.6.18"
  ∷ word (ἀ ∷ π ∷ ο ∷ θ ∷ η ∷ σ ∷ α ∷ υ ∷ ρ ∷ ί ∷ ζ ∷ ο ∷ ν ∷ τ ∷ α ∷ ς ∷ []) "1Tim.6.19"
  ∷ word (ἑ ∷ α ∷ υ ∷ τ ∷ ο ∷ ῖ ∷ ς ∷ []) "1Tim.6.19"
  ∷ word (θ ∷ ε ∷ μ ∷ έ ∷ ∙λ ∷ ι ∷ ο ∷ ν ∷ []) "1Tim.6.19"
  ∷ word (κ ∷ α ∷ ∙λ ∷ ὸ ∷ ν ∷ []) "1Tim.6.19"
  ∷ word (ε ∷ ἰ ∷ ς ∷ []) "1Tim.6.19"
  ∷ word (τ ∷ ὸ ∷ []) "1Tim.6.19"
  ∷ word (μ ∷ έ ∷ ∙λ ∷ ∙λ ∷ ο ∷ ν ∷ []) "1Tim.6.19"
  ∷ word (ἵ ∷ ν ∷ α ∷ []) "1Tim.6.19"
  ∷ word (ἐ ∷ π ∷ ι ∷ ∙λ ∷ ά ∷ β ∷ ω ∷ ν ∷ τ ∷ α ∷ ι ∷ []) "1Tim.6.19"
  ∷ word (τ ∷ ῆ ∷ ς ∷ []) "1Tim.6.19"
  ∷ word (ὄ ∷ ν ∷ τ ∷ ω ∷ ς ∷ []) "1Tim.6.19"
  ∷ word (ζ ∷ ω ∷ ῆ ∷ ς ∷ []) "1Tim.6.19"
  ∷ word (Ὦ ∷ []) "1Tim.6.20"
  ∷ word (Τ ∷ ι ∷ μ ∷ ό ∷ θ ∷ ε ∷ ε ∷ []) "1Tim.6.20"
  ∷ word (τ ∷ ὴ ∷ ν ∷ []) "1Tim.6.20"
  ∷ word (π ∷ α ∷ ρ ∷ α ∷ θ ∷ ή ∷ κ ∷ η ∷ ν ∷ []) "1Tim.6.20"
  ∷ word (φ ∷ ύ ∷ ∙λ ∷ α ∷ ξ ∷ ο ∷ ν ∷ []) "1Tim.6.20"
  ∷ word (ἐ ∷ κ ∷ τ ∷ ρ ∷ ε ∷ π ∷ ό ∷ μ ∷ ε ∷ ν ∷ ο ∷ ς ∷ []) "1Tim.6.20"
  ∷ word (τ ∷ ὰ ∷ ς ∷ []) "1Tim.6.20"
  ∷ word (β ∷ ε ∷ β ∷ ή ∷ ∙λ ∷ ο ∷ υ ∷ ς ∷ []) "1Tim.6.20"
  ∷ word (κ ∷ ε ∷ ν ∷ ο ∷ φ ∷ ω ∷ ν ∷ ί ∷ α ∷ ς ∷ []) "1Tim.6.20"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Tim.6.20"
  ∷ word (ἀ ∷ ν ∷ τ ∷ ι ∷ θ ∷ έ ∷ σ ∷ ε ∷ ι ∷ ς ∷ []) "1Tim.6.20"
  ∷ word (τ ∷ ῆ ∷ ς ∷ []) "1Tim.6.20"
  ∷ word (ψ ∷ ε ∷ υ ∷ δ ∷ ω ∷ ν ∷ ύ ∷ μ ∷ ο ∷ υ ∷ []) "1Tim.6.20"
  ∷ word (γ ∷ ν ∷ ώ ∷ σ ∷ ε ∷ ω ∷ ς ∷ []) "1Tim.6.20"
  ∷ word (ἥ ∷ ν ∷ []) "1Tim.6.21"
  ∷ word (τ ∷ ι ∷ ν ∷ ε ∷ ς ∷ []) "1Tim.6.21"
  ∷ word (ἐ ∷ π ∷ α ∷ γ ∷ γ ∷ ε ∷ ∙λ ∷ ∙λ ∷ ό ∷ μ ∷ ε ∷ ν ∷ ο ∷ ι ∷ []) "1Tim.6.21"
  ∷ word (π ∷ ε ∷ ρ ∷ ὶ ∷ []) "1Tim.6.21"
  ∷ word (τ ∷ ὴ ∷ ν ∷ []) "1Tim.6.21"
  ∷ word (π ∷ ί ∷ σ ∷ τ ∷ ι ∷ ν ∷ []) "1Tim.6.21"
  ∷ word (ἠ ∷ σ ∷ τ ∷ ό ∷ χ ∷ η ∷ σ ∷ α ∷ ν ∷ []) "1Tim.6.21"
  ∷ word (Ἡ ∷ []) "1Tim.6.21"
  ∷ word (χ ∷ ά ∷ ρ ∷ ι ∷ ς ∷ []) "1Tim.6.21"
  ∷ word (μ ∷ ε ∷ θ ∷ []) "1Tim.6.21"
  ∷ word (ὑ ∷ μ ∷ ῶ ∷ ν ∷ []) "1Tim.6.21"
  ∷ []

max_stars_repo_name: scott-fleischman/GreekGrammar

max_issues_repo_name: scott-fleischman/GreekGrammar

max_forks_repo_name: scott-fleischman/GreekGrammar


text:
{-
  Copyright 2019 Lisandra Silva

  Licensed under the Apache License, Version 2.0 (the "License");
  you may not use this file except in compliance with the License.
  You may obtain a copy of the License at

      http://www.apache.org/licenses/LICENSE-2.0

  Unless required by applicable law or agreed to in writing, software
  distributed under the License is distributed on an "AS IS" BASIS,
  WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
  See the License for the specific language governing permissions and
  limitations under the License.
-}

open import Prelude
open import Data.Fin hiding (_≟_; _<?_; _≤?_ ;_+_; pred; lift)
                     renaming (_<_ to _<F_; _≤_ to _≤F_)
open import Data.List
open import Data.List.Properties
open import Data.Maybe.Base as Maybe using (Maybe; nothing; just)
open import Data.Vec.Base as Vec using (Vec)
open import Data.Bool hiding (_<_ ; _<?_; _≤_; _≤?_; _≟_)
open import Data.Vec.Any
open import Data.Vec.All hiding (lookup)

open import StateMachineModel
open import Stream

module DistributedSystem.Prototype
  {ℓ₁ ℓ₂ ℓ₃ ℓ₄ ℓ₅ : Level}
  (N : ℕ)
  (f : ℕ)
  (fta : N > 3 * f)
  (ClientRequest : Set ℓ₂)
  (Block : Set ℓ₃)
  (Vote : Set ℓ₄)
  (QC : Set ℓ₅)
  where

  -- Client can make a request at any moment

{-
    0 - Set node role
               LEADER                 ||           LEADER & FOLLOWER
    1 - block = getPoolReq
    2 - broadcast block
                                      ||    3 - receive block
                                      ||    4 - vote for block
    5 - while (#votes < N-f-1)
    6 -    reveive vote
    5 - broadcast QC
                                      ||    7 - receive QC
                                      ||    8 - check commit rule
                                      ||    9 - movenextview
-}

  -- QUESTION:
  -- To prove the liveness not only the sequence of honest leaders per view must be
  -- long enough but also the length of the requests must be greater than 3.
  -- If the sequence is smaller we don't have enough requests to ensure the commit rule

  -- A dishonest leader can deliberately left honest nodes behind, and these nodes
  -- won't move to the next view, unless they timeout. However, t if these nodes have
  -- moved for the next view for timeout, they will be missing a block and a qc
  -- in the RecordStore, how to fix this?
  --     1 - Whisper of proposed blocks and Qc's
  --     2 - Whisper only of QC's (if they have attached the proposed block)
  --     3 - Mechanism of asking records missing in the record store

  -----------------------------------------------------------------------------
  -- SPECIFICATION
  -----------------------------------------------------------------------------

  NodeID = Fin N
  HonestID = Fin (N ∸ f)
  Instruction = Fin 10

  Receiver = Fin N

  DishonestID : NodeID → Set
  DishonestID nId = N ∸ f ≤ toℕ nId

  data Message : Set (ℓ₃ ⊔ ℓ₄ ⊔ ℓ₅) where
    blockM   : Block → Message
    voteM    : Vote  → Message
    qcM      : QC    → Message

  data Role : Set where
    leader   : Role
    follower : Role

  record NodeState : Set (ℓ₁ ⊔ ℓ₃ ⊔ ℓ₄ ⊔ ℓ₅) where
    field
      nodeRole     : Role
      currNodeView : ℕ
      msgBuffer    : List Message
      readMessages : ℕ

      currProposal : Block
      votesforQC   : List Vote

      control      : Instruction

      -- id           : Node
      --recordTree    : RecordTree
      -- previousRound : ℕ
      -- lockedRound   : ℕ
      -- clock        : ℕ
      -- timeout      : ℕ
  open NodeState

  record State : Set (ℓ₁ ⊔ ℓ₂ ⊔ ℓ₃ ⊔ ℓ₄ ⊔ ℓ₅) where
    field
     -- I am not sure that we don't need the faulty Node States
     -- because we may need to express that we have at least (N ∸ f)
     -- nodes on the same view and it may be that the f nodes behave normally
     nodeStates    : Vec NodeState (N ∸ f)
     leaderPerView : Stream (Fin N)
     poolRequests  : List ClientRequest
     committedReq  : ℕ
  open State

  Honest? : Decidable ((_< N ∸ f) ∘ toℕ {N})
  Honest? x = toℕ x <? N ∸ f

  Dishonest? : Decidable ((N ∸ f ≤_) ∘ toℕ {N})
  Dishonest? x = N ∸ f ≤? toℕ x

  mkBlock : ClientRequest → NodeState → Block

  mkQC : NodeState → QC

  mkVote : NodeState → Vote

  validVote  : State → HonestID → Vote  → Set

  validBlock : State → HonestID → Block → Set

  validQC : State → HonestID → QC → Set

  ¬validMsg : State → HonestID → Message → Set

  data HonestEvent (nId : HonestID) : Set (ℓ₂ ⊔ ℓ₃ ⊔ ℓ₄ ⊔ ℓ₅) where
    setNodeRole  : HonestEvent nId
    getPoolReq   : ClientRequest → HonestEvent nId
    broadcastB   : Block → HonestEvent nId
    broadcastQC  : QC → HonestEvent nId
    wait         : HonestEvent nId
    receive      : Message → HonestEvent nId
    dropMsg      : Message → HonestEvent nId
    sendVote     : Vote → Receiver → HonestEvent nId
    commit       : HonestEvent nId
    moveNextView : HonestEvent nId

  data DSEvent : Set (ℓ₂ ⊔ ℓ₃ ⊔ ℓ₄ ⊔ ℓ₅) where
    newRequest     : ClientRequest → DSEvent -- A client add a request to the request pool
    honestEvent    : ∀ {nId} → HonestEvent nId → DSEvent
    dishonestEvent : Message → HonestID → DSEvent -- dishonest nodes can send any msg to honest nodes

  nodeSt : HonestID → State → NodeState
  nodeSt nId st = Vec.lookup (nodeStates st) nId

  -- Other option is to have a flag in the NodeState saying if it's leader or follower
  isLeader : State → HonestID → Set
  isLeader st nId = nodeRole (nodeSt nId st) ≡ leader

  getLeader : State → HonestID → Fin N
  getLeader st nId = get (leaderPerView st) (currNodeView (nodeSt nId st))

  {- Instruction is an abstraction for the number of intructions available for the node -}
  nextInstruction : State → HonestID → Instruction
  nextInstruction st nId = control (nodeSt nId st)

  data HonestEnabled (nId : HonestID) (st : State) : HonestEvent nId
       → Set (ℓ₂ ⊔ ℓ₃ ⊔ ℓ₄ ⊔ ℓ₅) where
    setRoleEn      :  nextInstruction st nId ≡ 0F
                    → HonestEnabled nId st setNodeRole

    getReqEn       :  ∀ {req}
                    → isLeader st nId
                    → nextInstruction st nId ≡ 1F
                    → (comm< : committedReq st < length (poolRequests st))
                    -- Maybe it's better to have a function:
                    -- fetchNextReq : List ClientRequests → Maybe (Index , Request)
                    → req ≡ lookup (poolRequests st) (fromℕ≤ comm<)
                    → HonestEnabled nId st (getPoolReq req)

    broadcastBEn   :  isLeader st nId
                    → nextInstruction st nId ≡ 2F
                    → HonestEnabled nId st (broadcastB (currProposal (nodeSt nId st)))

    receiveBlockEn :  ∀ {b : Block}
                    → nextInstruction st nId ≡ 3F
                    → (i : readMessages (nodeSt nId st) < length (msgBuffer (nodeSt nId st)))
                    → blockM b ≡ lookup (msgBuffer (nodeSt nId st)) (fromℕ≤ i)
                    → validBlock st nId b
                    → HonestEnabled nId st (receive (blockM b))

    voteBlockEn    :  nextInstruction st nId ≡ 4F
                    → HonestEnabled nId st (sendVote
                                            (mkVote (nodeSt nId st))
                                            (getLeader st nId))

    waitVotesEn    :  isLeader st nId
                    → nextInstruction st nId ≡ 5F
                    → length (votesforQC (nodeSt nId st)) < N ∸ f ∸ 1
                    → HonestEnabled nId st wait

    receiveVoteEn  :  ∀ {v : Vote}
                    → isLeader st nId
                    → nextInstruction st nId ≡ 6F
                    → (i : readMessages (nodeSt nId st) < length (msgBuffer (nodeSt nId st)))
                    → voteM v ≡ lookup (msgBuffer (nodeSt nId st)) (fromℕ≤ i)
                    → validVote st nId v
                    → HonestEnabled nId st (receive (voteM v))

    broadcastQCEn  :  isLeader st nId
                    → nextInstruction st nId ≡ 5F
                    → length (votesforQC (nodeSt nId st)) ≡ N ∸ f ∸ 1
                    → HonestEnabled nId st (broadcastQC (mkQC (nodeSt nId st)))

    receiveQCEn    :  ∀ {qc : QC}
                    → nextInstruction st nId ≡ 7F
                    → (i : readMessages (nodeSt nId st) < length (msgBuffer (nodeSt nId st)))
                    → qcM qc ≡ lookup (msgBuffer (nodeSt nId st)) (fromℕ≤ i)
                    → validQC st nId qc
                    → HonestEnabled nId st (receive (qcM qc))

    dropMsgEn      : ∀ {msg}
                    → (i : readMessages (nodeSt nId st) < length (msgBuffer (nodeSt nId st)))
                    → msg ≡ lookup (msgBuffer (nodeSt nId st)) (fromℕ≤ i)
                    → ¬validMsg st nId msg
                    → HonestEnabled nId st (dropMsg msg)

    commitEn       :  nextInstruction st nId ≡ 8F
                    -- TODO: check commit rule
                    → HonestEnabled nId st commit

    moveNextViewEn :  nextInstruction st nId ≡ 8F ⊎ DishonestID (getLeader st nId)
                    → HonestEnabled nId st moveNextView

  data Enabled : DSEvent → State → Set (ℓ₂ ⊔ ℓ₃ ⊔ ℓ₄ ⊔ ℓ₅) where
    newReqEn      : ∀ {st req}
                    → Enabled (newRequest req) st

    honestEvEn    : ∀ {st hId hEv}
                    → HonestEnabled hId st hEv
                    → Enabled (honestEvent hEv) st

    dishonestEvEn : ∀ {st dId msg hId}
                    → DishonestID dId
                    → Enabled (dishonestEvent msg hId) st
                    -- Maybe I need to postulate that dishonest nodes cannot
                    -- forge signatures (Node (N ∸ f))

  sendMsgToNode : Message → NodeState → NodeState
  sendMsgToNode msg nodeSt = record nodeSt { msgBuffer = msgBuffer nodeSt ++ [ msg ] }

  broadcast : State → Message → Vec NodeState (N ∸ f)
  broadcast st msg = Vec.map (λ n → sendMsgToNode msg n) (nodeStates st)

  Action : ∀ {preState} {event} → Enabled event preState → State

  Action {ps} {newRequest req} x =
    record ps
    { poolRequests = poolRequests ps ++ [ req ] }

  Action {ps} {honestEvent {nId} setNodeRole} x
    with toℕ nId ≟ toℕ (getLeader ps nId)
  ... | yes p
        = let updateNode = λ old → record old
                                   { nodeRole = leader
                                   ; control = 1F
                                   }
          in record ps
             { nodeStates = Vec.updateAt nId updateNode (nodeStates ps) }
  ... | no ¬p
        = let updateNode = λ old → record old
                               { nodeRole = follower
                               ; control = 3F
                               }
          in record ps
             { nodeStates = Vec.updateAt nId updateNode (nodeStates ps) }

  Action {ps} {honestEvent {nId} (getPoolReq req)} x
    = let updateNode = λ old → record old
                               { control = 2F
                               ; currProposal = mkBlock req old
                               }
      in record ps
         { nodeStates = Vec.updateAt nId updateNode (nodeStates ps) }

  -- QUESTION:
  -- Not sure if it's a good approach to consider a broadcast atomically,
  -- or have a different state transition to send to each node
  Action {ps} {honestEvent {nId} (broadcastB b)} x
    = let sendToAll = broadcast ps (blockM b)
          updateLeader = λ old → record old { control = 3F }
      in record ps
         { nodeStates = Vec.updateAt nId updateLeader sendToAll }

  Action {ps} {honestEvent {nId} (receive (blockM b))} x
    -- TODO : update RecordTree
    =  let updateNode = λ old → record old { readMessages = 1 + readMessages old
                                           ; currProposal = b
                                           ; control = 4F }
       in record ps
          { nodeStates = Vec.updateAt nId updateNode (nodeStates ps) }

  Action {ps} {honestEvent {nId} (sendVote v receiver)} x
    with toℕ receiver <? N ∸ f | nodeRole (nodeSt nId ps)
  -- If receiver is not honest → only updates the control variable of the sender
  ... | no ¬p | leader
        = let updateNode = λ old → record old { control = 5F }
          in record ps
             { nodeStates = Vec.updateAt nId updateNode (nodeStates ps) }
  ... | no ¬p | follower
        = let updateNode = λ old → record old { control = 7F }
          in record ps
             { nodeStates = Vec.updateAt nId updateNode (nodeStates ps) }
  -- If receiver is honest → update the message buffer of the receiver as well
  ... | yes p | leader
        = let updateReceiver = Vec.updateAt
                                 (fromℕ≤ p)
                                 (sendMsgToNode (voteM v))
                                 (nodeStates ps)
              updateNode = λ old → record old { control = 5F }
          in record ps
             { nodeStates = Vec.updateAt nId updateNode updateReceiver }
  ... | yes p | follower
        = let updateReceiver = Vec.updateAt
                                 (fromℕ≤ p)
                                 (sendMsgToNode (voteM v))
                                 (nodeStates ps)
              updateNode = λ old → record old { control = 7F }
          in record ps
             { nodeStates = Vec.updateAt nId updateNode updateReceiver }

  Action {ps} {honestEvent {nId} wait} x
    = let updateInst = λ old → record old { control = 6F }
      in record ps
         { nodeStates = Vec.updateAt nId updateInst (nodeStates ps) }

  Action {ps} {honestEvent {nId} (receive (voteM  v))} x
    = let updateNode = λ old → record old { readMessages = 1 + readMessages old
                                          ; control = 5F
                                          ; votesforQC =  v ∷ votesforQC old }
       in record ps
          { nodeStates = Vec.updateAt nId updateNode (nodeStates ps) }

  Action {ps} {honestEvent {nId} (broadcastQC q)} x
    = let sendToAll = broadcast ps (qcM q)
          updateLeader = λ old → record old { control = 7F }
       in record ps
          { nodeStates = Vec.updateAt nId updateLeader sendToAll }

  Action {ps} {honestEvent {nId} (receive (qcM qc))} x
    = let updateNode = λ old → record old { readMessages = 1 + readMessages old
                                          ; control = 8F }
      in record ps
         { nodeStates = Vec.updateAt nId updateNode (nodeStates ps) }

  Action {ps} {honestEvent {nId} (dropMsg msg)} x
    =  let updateNode = λ old → record old { readMessages = 1 + readMessages old }
       in record ps
          { nodeStates = Vec.updateAt nId updateNode (nodeStates ps) }

  Action {ps} {honestEvent commit} x = {!!}

  Action {ps} {honestEvent {nId} moveNextView} x
    = let updateNode = λ old → record old { currNodeView = 1 + currNodeView old
                                          ; control = 0F }
      in record ps
         { nodeStates = Vec.updateAt nId updateNode (nodeStates ps) }

  Action {ps} {dishonestEvent msg hId} x
    = record ps
      { nodeStates = Vec.updateAt hId (sendMsgToNode msg) (nodeStates ps) }

  nodeᵢ : NodeState → Set (ℓ₃ ⊔ ℓ₄ ⊔ ℓ₅)
  nodeᵢ nSt =   nodeRole nSt ≡ follower
              × currNodeView nSt ≡ 0
              × msgBuffer nSt ≡ []
              × readMessages nSt ≡ 0
              × currProposal nSt ≡ {!!}
              × votesforQC nSt ≡ []
              × control nSt ≡ 0F

  stateᵢ : State → Set (ℓ₁ ⊔ ℓ₂ ⊔ ℓ₃ ⊔ ℓ₄ ⊔ ℓ₅)
  stateᵢ st = poolRequests st ≡ [] × committedReq st ≡ 0 × All nodeᵢ (nodeStates st)
    -- instantiate leaderPerView or maybe it's not necessary

  MyStateMachine : StateMachine State DSEvent
  MyStateMachine = record
                   { initial = stateᵢ
                   ; enabled = Enabled
                   ; action  = Action }

  NodeEvSet : HonestID → EventSet {Event = DSEvent}
  NodeEvSet nId (newRequest x) = ⊥
  NodeEvSet nId₁ (honestEvent {nId₂} x) = nId₁ ≡ nId₂
  NodeEvSet nId (dishonestEvent x x₁) = ⊥

  data MyWeakFairness : EventSet → Set (ℓ₂ ⊔ ℓ₃ ⊔ ℓ₄ ⊔ ℓ₅) where
    wf : (nId : HonestID) → MyWeakFairness (NodeEvSet nId)

  MySystem : System State DSEvent
  MySystem = record
             { stateMachine = MyStateMachine
             ; weakFairness = MyWeakFairness
             }

ext: agda

max_stars_repo_name: lisandrasilva/agda-liveness

max_issues_repo_name: lisandrasilva/agda-liveness

max_forks_repo_name: lisandrasilva/agda-liveness


text:
module Oscar.Class.Transitivity where

open import Oscar.Level
open import Oscar.Relation

record Transitivity {a} {A : Set a} {ℓ} (_≤_ : A → A → Set ℓ) : Set (a ⊔ ℓ) where
  field
    transitivity : ∀ {x y} → x ≤ y → ∀ {z} → y ⟨ _≤ z ⟩→ x

open Transitivity ⦃ … ⦄ public


text:
open import Algebra using (CommutativeRing)

module Algebra.Module.Vec.Recursive {r ℓ} {CR : CommutativeRing r ℓ} where

open CommutativeRing CR

open import Algebra.Module using (Module)
open import Data.Vec.Recursive
open import Data.Product using (_×_; _,_)
open import Data.Product.Relation.Binary.Pointwise.NonDependent
open import Relation.Binary using (Rel)
open import Data.Nat using (zero; suc; ℕ)
open import Data.Unit.Polymorphic using (⊤)
open import Assume using (assume)

_^ᴹ_ : ∀ {m ℓm} → Module CR m ℓm → ℕ → Module CR m ℓm
M ^ᴹ n =
  record
  { Carrierᴹ = Carrierᴹ ^ n
  ; _≈ᴹ_ = pointwise _≈ᴹ_
  ; _+ᴹ_ = zipWith _+ᴹ_ n
  ; _*ₗ_ = λ s → map (_*ₗ_ s) n
  ; _*ᵣ_ = λ v s → map (λ x → x *ᵣ s) n v
  ; 0ᴹ = replicate n 0ᴹ
  ; -ᴹ_ = map (-ᴹ_) n
  ; isModule = assume
  }
  where
    open Module M
    open import Data.Unit.Polymorphic

    pointwise : ∀ {a ℓ n} {A : Set a} (~ : Rel A ℓ) → Rel (A ^ n) ℓ
    pointwise {n = ℕ.zero} ~ .tt .tt = ⊤
    pointwise {n = suc ℕ.zero} ~ x y = ~ x y
    pointwise {n = 2+ n} ~ (x , xs) (y , ys) = ~ x y × pointwise ~ xs ys

max_stars_repo_name: cspollard/reals

max_issues_repo_name: cspollard/reals

max_forks_repo_name: cspollard/reals


text:
open import Relation.Binary.PropositionalEquality using (_≡_; refl)

open import Data.Unit using (⊤; tt)
open import Agda.Builtin.FromNat using (Number)

module AKS.Test where

open import AKS.Nat using ()
open import AKS.Rational using (show-ℚ)
open import AKS.Rational.Properties using (+-*-/-decField)
open import AKS.Polynomial.Base +-*-/-decField
open import AKS.Polynomial.Properties +-*-/-decField

ex : Polynomial
ex = 1ᵖ +ᵖ 𝑋^ 1 +ᵖ 𝑋^ 2

ex-unit₁ : show-Polynomial show-ℚ ex ≡ "1 + 1 * X^1 + 1 * X^2"
ex-unit₁ = refl

ex-unit₂ : show-Polynomial show-ℚ (ex *ᵖ ex) ≡ "1 + 2 * X^1 + 3 * X^2 + 2 * X^3 + 1 * X^4"
ex-unit₂ = refl

ex₂ : Polynomial
ex₂ = 𝑋^ 2 -ᵖ 1ᵖ

open Euclidean
open import AKS.Unsafe using (TODO)

test = show-Polynomial show-ℚ (q (divMod ex₂ (𝑋 -ᵖ 1ᵖ) {TODO}))

-- open import AKS.Modular.Quotient using (ℤ/[_]; _+_; _*_; _/_; _⁻¹)
-- open import AKS.Primality using (Prime; Prime✓)
-- open import AKS.Unsafe using (TODO)

-- 11-prime : Prime
-- 11-prime = Prime✓ 11 TODO

-- test : ℤ/[ 11-prime ]
-- test = 3 * (3 ⁻¹) {TODO}

max_stars_repo_name: mckeankylej/thesis

max_issues_repo_name: mckeankylej/thesis

max_forks_repo_name: mckeankylej/thesis