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

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

ΠΡΟΣ-ΘΕΣΣΑΛΟΝΙΚΕΙΣ-Α : List (Word)
ΠΡΟΣ-ΘΕΣΣΑΛΟΝΙΚΕΙΣ-Α =
    word (Π ∷ α ∷ ῦ ∷ ∙λ ∷ ο ∷ ς ∷ []) "1Thess.1.1"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Thess.1.1"
  ∷ word (Σ ∷ ι ∷ ∙λ ∷ ο ∷ υ ∷ α ∷ ν ∷ ὸ ∷ ς ∷ []) "1Thess.1.1"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Thess.1.1"
  ∷ word (Τ ∷ ι ∷ μ ∷ ό ∷ θ ∷ ε ∷ ο ∷ ς ∷ []) "1Thess.1.1"
  ∷ word (τ ∷ ῇ ∷ []) "1Thess.1.1"
  ∷ word (ἐ ∷ κ ∷ κ ∷ ∙λ ∷ η ∷ σ ∷ ί ∷ ᾳ ∷ []) "1Thess.1.1"
  ∷ word (Θ ∷ ε ∷ σ ∷ σ ∷ α ∷ ∙λ ∷ ο ∷ ν ∷ ι ∷ κ ∷ έ ∷ ω ∷ ν ∷ []) "1Thess.1.1"
  ∷ word (ἐ ∷ ν ∷ []) "1Thess.1.1"
  ∷ word (θ ∷ ε ∷ ῷ ∷ []) "1Thess.1.1"
  ∷ word (π ∷ α ∷ τ ∷ ρ ∷ ὶ ∷ []) "1Thess.1.1"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Thess.1.1"
  ∷ word (κ ∷ υ ∷ ρ ∷ ί ∷ ῳ ∷ []) "1Thess.1.1"
  ∷ word (Ἰ ∷ η ∷ σ ∷ ο ∷ ῦ ∷ []) "1Thess.1.1"
  ∷ word (Χ ∷ ρ ∷ ι ∷ σ ∷ τ ∷ ῷ ∷ []) "1Thess.1.1"
  ∷ word (χ ∷ ά ∷ ρ ∷ ι ∷ ς ∷ []) "1Thess.1.1"
  ∷ word (ὑ ∷ μ ∷ ῖ ∷ ν ∷ []) "1Thess.1.1"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Thess.1.1"
  ∷ word (ε ∷ ἰ ∷ ρ ∷ ή ∷ ν ∷ η ∷ []) "1Thess.1.1"
  ∷ word (Ε ∷ ὐ ∷ χ ∷ α ∷ ρ ∷ ι ∷ σ ∷ τ ∷ ο ∷ ῦ ∷ μ ∷ ε ∷ ν ∷ []) "1Thess.1.2"
  ∷ word (τ ∷ ῷ ∷ []) "1Thess.1.2"
  ∷ word (θ ∷ ε ∷ ῷ ∷ []) "1Thess.1.2"
  ∷ word (π ∷ ά ∷ ν ∷ τ ∷ ο ∷ τ ∷ ε ∷ []) "1Thess.1.2"
  ∷ word (π ∷ ε ∷ ρ ∷ ὶ ∷ []) "1Thess.1.2"
  ∷ word (π ∷ ά ∷ ν ∷ τ ∷ ω ∷ ν ∷ []) "1Thess.1.2"
  ∷ word (ὑ ∷ μ ∷ ῶ ∷ ν ∷ []) "1Thess.1.2"
  ∷ word (μ ∷ ν ∷ ε ∷ ί ∷ α ∷ ν ∷ []) "1Thess.1.2"
  ∷ word (π ∷ ο ∷ ι ∷ ο ∷ ύ ∷ μ ∷ ε ∷ ν ∷ ο ∷ ι ∷ []) "1Thess.1.2"
  ∷ word (ἐ ∷ π ∷ ὶ ∷ []) "1Thess.1.2"
  ∷ word (τ ∷ ῶ ∷ ν ∷ []) "1Thess.1.2"
  ∷ word (π ∷ ρ ∷ ο ∷ σ ∷ ε ∷ υ ∷ χ ∷ ῶ ∷ ν ∷ []) "1Thess.1.2"
  ∷ word (ἡ ∷ μ ∷ ῶ ∷ ν ∷ []) "1Thess.1.2"
  ∷ word (ἀ ∷ δ ∷ ι ∷ α ∷ ∙λ ∷ ε ∷ ί ∷ π ∷ τ ∷ ω ∷ ς ∷ []) "1Thess.1.2"
  ∷ word (μ ∷ ν ∷ η ∷ μ ∷ ο ∷ ν ∷ ε ∷ ύ ∷ ο ∷ ν ∷ τ ∷ ε ∷ ς ∷ []) "1Thess.1.3"
  ∷ word (ὑ ∷ μ ∷ ῶ ∷ ν ∷ []) "1Thess.1.3"
  ∷ word (τ ∷ ο ∷ ῦ ∷ []) "1Thess.1.3"
  ∷ word (ἔ ∷ ρ ∷ γ ∷ ο ∷ υ ∷ []) "1Thess.1.3"
  ∷ word (τ ∷ ῆ ∷ ς ∷ []) "1Thess.1.3"
  ∷ word (π ∷ ί ∷ σ ∷ τ ∷ ε ∷ ω ∷ ς ∷ []) "1Thess.1.3"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Thess.1.3"
  ∷ word (τ ∷ ο ∷ ῦ ∷ []) "1Thess.1.3"
  ∷ word (κ ∷ ό ∷ π ∷ ο ∷ υ ∷ []) "1Thess.1.3"
  ∷ word (τ ∷ ῆ ∷ ς ∷ []) "1Thess.1.3"
  ∷ word (ἀ ∷ γ ∷ ά ∷ π ∷ η ∷ ς ∷ []) "1Thess.1.3"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Thess.1.3"
  ∷ word (τ ∷ ῆ ∷ ς ∷ []) "1Thess.1.3"
  ∷ word (ὑ ∷ π ∷ ο ∷ μ ∷ ο ∷ ν ∷ ῆ ∷ ς ∷ []) "1Thess.1.3"
  ∷ word (τ ∷ ῆ ∷ ς ∷ []) "1Thess.1.3"
  ∷ word (ἐ ∷ ∙λ ∷ π ∷ ί ∷ δ ∷ ο ∷ ς ∷ []) "1Thess.1.3"
  ∷ word (τ ∷ ο ∷ ῦ ∷ []) "1Thess.1.3"
  ∷ word (κ ∷ υ ∷ ρ ∷ ί ∷ ο ∷ υ ∷ []) "1Thess.1.3"
  ∷ word (ἡ ∷ μ ∷ ῶ ∷ ν ∷ []) "1Thess.1.3"
  ∷ word (Ἰ ∷ η ∷ σ ∷ ο ∷ ῦ ∷ []) "1Thess.1.3"
  ∷ word (Χ ∷ ρ ∷ ι ∷ σ ∷ τ ∷ ο ∷ ῦ ∷ []) "1Thess.1.3"
  ∷ word (ἔ ∷ μ ∷ π ∷ ρ ∷ ο ∷ σ ∷ θ ∷ ε ∷ ν ∷ []) "1Thess.1.3"
  ∷ word (τ ∷ ο ∷ ῦ ∷ []) "1Thess.1.3"
  ∷ word (θ ∷ ε ∷ ο ∷ ῦ ∷ []) "1Thess.1.3"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Thess.1.3"
  ∷ word (π ∷ α ∷ τ ∷ ρ ∷ ὸ ∷ ς ∷ []) "1Thess.1.3"
  ∷ word (ἡ ∷ μ ∷ ῶ ∷ ν ∷ []) "1Thess.1.3"
  ∷ word (ε ∷ ἰ ∷ δ ∷ ό ∷ τ ∷ ε ∷ ς ∷ []) "1Thess.1.4"
  ∷ word (ἀ ∷ δ ∷ ε ∷ ∙λ ∷ φ ∷ ο ∷ ὶ ∷ []) "1Thess.1.4"
  ∷ word (ἠ ∷ γ ∷ α ∷ π ∷ η ∷ μ ∷ έ ∷ ν ∷ ο ∷ ι ∷ []) "1Thess.1.4"
  ∷ word (ὑ ∷ π ∷ ὸ ∷ []) "1Thess.1.4"
  ∷ word (θ ∷ ε ∷ ο ∷ ῦ ∷ []) "1Thess.1.4"
  ∷ word (τ ∷ ὴ ∷ ν ∷ []) "1Thess.1.4"
  ∷ word (ἐ ∷ κ ∷ ∙λ ∷ ο ∷ γ ∷ ὴ ∷ ν ∷ []) "1Thess.1.4"
  ∷ word (ὑ ∷ μ ∷ ῶ ∷ ν ∷ []) "1Thess.1.4"
  ∷ word (ὅ ∷ τ ∷ ι ∷ []) "1Thess.1.5"
  ∷ word (τ ∷ ὸ ∷ []) "1Thess.1.5"
  ∷ word (ε ∷ ὐ ∷ α ∷ γ ∷ γ ∷ έ ∷ ∙λ ∷ ι ∷ ο ∷ ν ∷ []) "1Thess.1.5"
  ∷ word (ἡ ∷ μ ∷ ῶ ∷ ν ∷ []) "1Thess.1.5"
  ∷ word (ο ∷ ὐ ∷ κ ∷ []) "1Thess.1.5"
  ∷ word (ἐ ∷ γ ∷ ε ∷ ν ∷ ή ∷ θ ∷ η ∷ []) "1Thess.1.5"
  ∷ word (ε ∷ ἰ ∷ ς ∷ []) "1Thess.1.5"
  ∷ word (ὑ ∷ μ ∷ ᾶ ∷ ς ∷ []) "1Thess.1.5"
  ∷ word (ἐ ∷ ν ∷ []) "1Thess.1.5"
  ∷ word (∙λ ∷ ό ∷ γ ∷ ῳ ∷ []) "1Thess.1.5"
  ∷ word (μ ∷ ό ∷ ν ∷ ο ∷ ν ∷ []) "1Thess.1.5"
  ∷ word (ἀ ∷ ∙λ ∷ ∙λ ∷ ὰ ∷ []) "1Thess.1.5"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Thess.1.5"
  ∷ word (ἐ ∷ ν ∷ []) "1Thess.1.5"
  ∷ word (δ ∷ υ ∷ ν ∷ ά ∷ μ ∷ ε ∷ ι ∷ []) "1Thess.1.5"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Thess.1.5"
  ∷ word (ἐ ∷ ν ∷ []) "1Thess.1.5"
  ∷ word (π ∷ ν ∷ ε ∷ ύ ∷ μ ∷ α ∷ τ ∷ ι ∷ []) "1Thess.1.5"
  ∷ word (ἁ ∷ γ ∷ ί ∷ ῳ ∷ []) "1Thess.1.5"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Thess.1.5"
  ∷ word (π ∷ ∙λ ∷ η ∷ ρ ∷ ο ∷ φ ∷ ο ∷ ρ ∷ ί ∷ ᾳ ∷ []) "1Thess.1.5"
  ∷ word (π ∷ ο ∷ ∙λ ∷ ∙λ ∷ ῇ ∷ []) "1Thess.1.5"
  ∷ word (κ ∷ α ∷ θ ∷ ὼ ∷ ς ∷ []) "1Thess.1.5"
  ∷ word (ο ∷ ἴ ∷ δ ∷ α ∷ τ ∷ ε ∷ []) "1Thess.1.5"
  ∷ word (ο ∷ ἷ ∷ ο ∷ ι ∷ []) "1Thess.1.5"
  ∷ word (ἐ ∷ γ ∷ ε ∷ ν ∷ ή ∷ θ ∷ η ∷ μ ∷ ε ∷ ν ∷ []) "1Thess.1.5"
  ∷ word (ἐ ∷ ν ∷ []) "1Thess.1.5"
  ∷ word (ὑ ∷ μ ∷ ῖ ∷ ν ∷ []) "1Thess.1.5"
  ∷ word (δ ∷ ι ∷ []) "1Thess.1.5"
  ∷ word (ὑ ∷ μ ∷ ᾶ ∷ ς ∷ []) "1Thess.1.5"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Thess.1.6"
  ∷ word (ὑ ∷ μ ∷ ε ∷ ῖ ∷ ς ∷ []) "1Thess.1.6"
  ∷ word (μ ∷ ι ∷ μ ∷ η ∷ τ ∷ α ∷ ὶ ∷ []) "1Thess.1.6"
  ∷ word (ἡ ∷ μ ∷ ῶ ∷ ν ∷ []) "1Thess.1.6"
  ∷ word (ἐ ∷ γ ∷ ε ∷ ν ∷ ή ∷ θ ∷ η ∷ τ ∷ ε ∷ []) "1Thess.1.6"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Thess.1.6"
  ∷ word (τ ∷ ο ∷ ῦ ∷ []) "1Thess.1.6"
  ∷ word (κ ∷ υ ∷ ρ ∷ ί ∷ ο ∷ υ ∷ []) "1Thess.1.6"
  ∷ word (δ ∷ ε ∷ ξ ∷ ά ∷ μ ∷ ε ∷ ν ∷ ο ∷ ι ∷ []) "1Thess.1.6"
  ∷ word (τ ∷ ὸ ∷ ν ∷ []) "1Thess.1.6"
  ∷ word (∙λ ∷ ό ∷ γ ∷ ο ∷ ν ∷ []) "1Thess.1.6"
  ∷ word (ἐ ∷ ν ∷ []) "1Thess.1.6"
  ∷ word (θ ∷ ∙λ ∷ ί ∷ ψ ∷ ε ∷ ι ∷ []) "1Thess.1.6"
  ∷ word (π ∷ ο ∷ ∙λ ∷ ∙λ ∷ ῇ ∷ []) "1Thess.1.6"
  ∷ word (μ ∷ ε ∷ τ ∷ ὰ ∷ []) "1Thess.1.6"
  ∷ word (χ ∷ α ∷ ρ ∷ ᾶ ∷ ς ∷ []) "1Thess.1.6"
  ∷ word (π ∷ ν ∷ ε ∷ ύ ∷ μ ∷ α ∷ τ ∷ ο ∷ ς ∷ []) "1Thess.1.6"
  ∷ word (ἁ ∷ γ ∷ ί ∷ ο ∷ υ ∷ []) "1Thess.1.6"
  ∷ word (ὥ ∷ σ ∷ τ ∷ ε ∷ []) "1Thess.1.7"
  ∷ word (γ ∷ ε ∷ ν ∷ έ ∷ σ ∷ θ ∷ α ∷ ι ∷ []) "1Thess.1.7"
  ∷ word (ὑ ∷ μ ∷ ᾶ ∷ ς ∷ []) "1Thess.1.7"
  ∷ word (τ ∷ ύ ∷ π ∷ ο ∷ ν ∷ []) "1Thess.1.7"
  ∷ word (π ∷ ᾶ ∷ σ ∷ ι ∷ ν ∷ []) "1Thess.1.7"
  ∷ word (τ ∷ ο ∷ ῖ ∷ ς ∷ []) "1Thess.1.7"
  ∷ word (π ∷ ι ∷ σ ∷ τ ∷ ε ∷ ύ ∷ ο ∷ υ ∷ σ ∷ ι ∷ ν ∷ []) "1Thess.1.7"
  ∷ word (ἐ ∷ ν ∷ []) "1Thess.1.7"
  ∷ word (τ ∷ ῇ ∷ []) "1Thess.1.7"
  ∷ word (Μ ∷ α ∷ κ ∷ ε ∷ δ ∷ ο ∷ ν ∷ ί ∷ ᾳ ∷ []) "1Thess.1.7"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Thess.1.7"
  ∷ word (ἐ ∷ ν ∷ []) "1Thess.1.7"
  ∷ word (τ ∷ ῇ ∷ []) "1Thess.1.7"
  ∷ word (Ἀ ∷ χ ∷ α ∷ ΐ ∷ ᾳ ∷ []) "1Thess.1.7"
  ∷ word (ἀ ∷ φ ∷ []) "1Thess.1.8"
  ∷ word (ὑ ∷ μ ∷ ῶ ∷ ν ∷ []) "1Thess.1.8"
  ∷ word (γ ∷ ὰ ∷ ρ ∷ []) "1Thess.1.8"
  ∷ word (ἐ ∷ ξ ∷ ή ∷ χ ∷ η ∷ τ ∷ α ∷ ι ∷ []) "1Thess.1.8"
  ∷ word (ὁ ∷ []) "1Thess.1.8"
  ∷ word (∙λ ∷ ό ∷ γ ∷ ο ∷ ς ∷ []) "1Thess.1.8"
  ∷ word (τ ∷ ο ∷ ῦ ∷ []) "1Thess.1.8"
  ∷ word (κ ∷ υ ∷ ρ ∷ ί ∷ ο ∷ υ ∷ []) "1Thess.1.8"
  ∷ word (ο ∷ ὐ ∷ []) "1Thess.1.8"
  ∷ word (μ ∷ ό ∷ ν ∷ ο ∷ ν ∷ []) "1Thess.1.8"
  ∷ word (ἐ ∷ ν ∷ []) "1Thess.1.8"
  ∷ word (τ ∷ ῇ ∷ []) "1Thess.1.8"
  ∷ word (Μ ∷ α ∷ κ ∷ ε ∷ δ ∷ ο ∷ ν ∷ ί ∷ ᾳ ∷ []) "1Thess.1.8"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Thess.1.8"
  ∷ word (Ἀ ∷ χ ∷ α ∷ ΐ ∷ ᾳ ∷ []) "1Thess.1.8"
  ∷ word (ἀ ∷ ∙λ ∷ ∙λ ∷ []) "1Thess.1.8"
  ∷ word (ἐ ∷ ν ∷ []) "1Thess.1.8"
  ∷ word (π ∷ α ∷ ν ∷ τ ∷ ὶ ∷ []) "1Thess.1.8"
  ∷ word (τ ∷ ό ∷ π ∷ ῳ ∷ []) "1Thess.1.8"
  ∷ word (ἡ ∷ []) "1Thess.1.8"
  ∷ word (π ∷ ί ∷ σ ∷ τ ∷ ι ∷ ς ∷ []) "1Thess.1.8"
  ∷ word (ὑ ∷ μ ∷ ῶ ∷ ν ∷ []) "1Thess.1.8"
  ∷ word (ἡ ∷ []) "1Thess.1.8"
  ∷ word (π ∷ ρ ∷ ὸ ∷ ς ∷ []) "1Thess.1.8"
  ∷ word (τ ∷ ὸ ∷ ν ∷ []) "1Thess.1.8"
  ∷ word (θ ∷ ε ∷ ὸ ∷ ν ∷ []) "1Thess.1.8"
  ∷ word (ἐ ∷ ξ ∷ ε ∷ ∙λ ∷ ή ∷ ∙λ ∷ υ ∷ θ ∷ ε ∷ ν ∷ []) "1Thess.1.8"
  ∷ word (ὥ ∷ σ ∷ τ ∷ ε ∷ []) "1Thess.1.8"
  ∷ word (μ ∷ ὴ ∷ []) "1Thess.1.8"
  ∷ word (χ ∷ ρ ∷ ε ∷ ί ∷ α ∷ ν ∷ []) "1Thess.1.8"
  ∷ word (ἔ ∷ χ ∷ ε ∷ ι ∷ ν ∷ []) "1Thess.1.8"
  ∷ word (ἡ ∷ μ ∷ ᾶ ∷ ς ∷ []) "1Thess.1.8"
  ∷ word (∙λ ∷ α ∷ ∙λ ∷ ε ∷ ῖ ∷ ν ∷ []) "1Thess.1.8"
  ∷ word (τ ∷ ι ∷ []) "1Thess.1.8"
  ∷ word (α ∷ ὐ ∷ τ ∷ ο ∷ ὶ ∷ []) "1Thess.1.9"
  ∷ word (γ ∷ ὰ ∷ ρ ∷ []) "1Thess.1.9"
  ∷ word (π ∷ ε ∷ ρ ∷ ὶ ∷ []) "1Thess.1.9"
  ∷ word (ἡ ∷ μ ∷ ῶ ∷ ν ∷ []) "1Thess.1.9"
  ∷ word (ἀ ∷ π ∷ α ∷ γ ∷ γ ∷ έ ∷ ∙λ ∷ ∙λ ∷ ο ∷ υ ∷ σ ∷ ι ∷ ν ∷ []) "1Thess.1.9"
  ∷ word (ὁ ∷ π ∷ ο ∷ ί ∷ α ∷ ν ∷ []) "1Thess.1.9"
  ∷ word (ε ∷ ἴ ∷ σ ∷ ο ∷ δ ∷ ο ∷ ν ∷ []) "1Thess.1.9"
  ∷ word (ἔ ∷ σ ∷ χ ∷ ο ∷ μ ∷ ε ∷ ν ∷ []) "1Thess.1.9"
  ∷ word (π ∷ ρ ∷ ὸ ∷ ς ∷ []) "1Thess.1.9"
  ∷ word (ὑ ∷ μ ∷ ᾶ ∷ ς ∷ []) "1Thess.1.9"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Thess.1.9"
  ∷ word (π ∷ ῶ ∷ ς ∷ []) "1Thess.1.9"
  ∷ word (ἐ ∷ π ∷ ε ∷ σ ∷ τ ∷ ρ ∷ έ ∷ ψ ∷ α ∷ τ ∷ ε ∷ []) "1Thess.1.9"
  ∷ word (π ∷ ρ ∷ ὸ ∷ ς ∷ []) "1Thess.1.9"
  ∷ word (τ ∷ ὸ ∷ ν ∷ []) "1Thess.1.9"
  ∷ word (θ ∷ ε ∷ ὸ ∷ ν ∷ []) "1Thess.1.9"
  ∷ word (ἀ ∷ π ∷ ὸ ∷ []) "1Thess.1.9"
  ∷ word (τ ∷ ῶ ∷ ν ∷ []) "1Thess.1.9"
  ∷ word (ε ∷ ἰ ∷ δ ∷ ώ ∷ ∙λ ∷ ω ∷ ν ∷ []) "1Thess.1.9"
  ∷ word (δ ∷ ο ∷ υ ∷ ∙λ ∷ ε ∷ ύ ∷ ε ∷ ι ∷ ν ∷ []) "1Thess.1.9"
  ∷ word (θ ∷ ε ∷ ῷ ∷ []) "1Thess.1.9"
  ∷ word (ζ ∷ ῶ ∷ ν ∷ τ ∷ ι ∷ []) "1Thess.1.9"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Thess.1.9"
  ∷ word (ἀ ∷ ∙λ ∷ η ∷ θ ∷ ι ∷ ν ∷ ῷ ∷ []) "1Thess.1.9"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Thess.1.10"
  ∷ word (ἀ ∷ ν ∷ α ∷ μ ∷ έ ∷ ν ∷ ε ∷ ι ∷ ν ∷ []) "1Thess.1.10"
  ∷ word (τ ∷ ὸ ∷ ν ∷ []) "1Thess.1.10"
  ∷ word (υ ∷ ἱ ∷ ὸ ∷ ν ∷ []) "1Thess.1.10"
  ∷ word (α ∷ ὐ ∷ τ ∷ ο ∷ ῦ ∷ []) "1Thess.1.10"
  ∷ word (ἐ ∷ κ ∷ []) "1Thess.1.10"
  ∷ word (τ ∷ ῶ ∷ ν ∷ []) "1Thess.1.10"
  ∷ word (ο ∷ ὐ ∷ ρ ∷ α ∷ ν ∷ ῶ ∷ ν ∷ []) "1Thess.1.10"
  ∷ word (ὃ ∷ ν ∷ []) "1Thess.1.10"
  ∷ word (ἤ ∷ γ ∷ ε ∷ ι ∷ ρ ∷ ε ∷ ν ∷ []) "1Thess.1.10"
  ∷ word (ἐ ∷ κ ∷ []) "1Thess.1.10"
  ∷ word (τ ∷ ῶ ∷ ν ∷ []) "1Thess.1.10"
  ∷ word (ν ∷ ε ∷ κ ∷ ρ ∷ ῶ ∷ ν ∷ []) "1Thess.1.10"
  ∷ word (Ἰ ∷ η ∷ σ ∷ ο ∷ ῦ ∷ ν ∷ []) "1Thess.1.10"
  ∷ word (τ ∷ ὸ ∷ ν ∷ []) "1Thess.1.10"
  ∷ word (ῥ ∷ υ ∷ ό ∷ μ ∷ ε ∷ ν ∷ ο ∷ ν ∷ []) "1Thess.1.10"
  ∷ word (ἡ ∷ μ ∷ ᾶ ∷ ς ∷ []) "1Thess.1.10"
  ∷ word (ἐ ∷ κ ∷ []) "1Thess.1.10"
  ∷ word (τ ∷ ῆ ∷ ς ∷ []) "1Thess.1.10"
  ∷ word (ὀ ∷ ρ ∷ γ ∷ ῆ ∷ ς ∷ []) "1Thess.1.10"
  ∷ word (τ ∷ ῆ ∷ ς ∷ []) "1Thess.1.10"
  ∷ word (ἐ ∷ ρ ∷ χ ∷ ο ∷ μ ∷ έ ∷ ν ∷ η ∷ ς ∷ []) "1Thess.1.10"
  ∷ word (Α ∷ ὐ ∷ τ ∷ ο ∷ ὶ ∷ []) "1Thess.2.1"
  ∷ word (γ ∷ ὰ ∷ ρ ∷ []) "1Thess.2.1"
  ∷ word (ο ∷ ἴ ∷ δ ∷ α ∷ τ ∷ ε ∷ []) "1Thess.2.1"
  ∷ word (ἀ ∷ δ ∷ ε ∷ ∙λ ∷ φ ∷ ο ∷ ί ∷ []) "1Thess.2.1"
  ∷ word (τ ∷ ὴ ∷ ν ∷ []) "1Thess.2.1"
  ∷ word (ε ∷ ἴ ∷ σ ∷ ο ∷ δ ∷ ο ∷ ν ∷ []) "1Thess.2.1"
  ∷ word (ἡ ∷ μ ∷ ῶ ∷ ν ∷ []) "1Thess.2.1"
  ∷ word (τ ∷ ὴ ∷ ν ∷ []) "1Thess.2.1"
  ∷ word (π ∷ ρ ∷ ὸ ∷ ς ∷ []) "1Thess.2.1"
  ∷ word (ὑ ∷ μ ∷ ᾶ ∷ ς ∷ []) "1Thess.2.1"
  ∷ word (ὅ ∷ τ ∷ ι ∷ []) "1Thess.2.1"
  ∷ word (ο ∷ ὐ ∷ []) "1Thess.2.1"
  ∷ word (κ ∷ ε ∷ ν ∷ ὴ ∷ []) "1Thess.2.1"
  ∷ word (γ ∷ έ ∷ γ ∷ ο ∷ ν ∷ ε ∷ ν ∷ []) "1Thess.2.1"
  ∷ word (ἀ ∷ ∙λ ∷ ∙λ ∷ ὰ ∷ []) "1Thess.2.2"
  ∷ word (π ∷ ρ ∷ ο ∷ π ∷ α ∷ θ ∷ ό ∷ ν ∷ τ ∷ ε ∷ ς ∷ []) "1Thess.2.2"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Thess.2.2"
  ∷ word (ὑ ∷ β ∷ ρ ∷ ι ∷ σ ∷ θ ∷ έ ∷ ν ∷ τ ∷ ε ∷ ς ∷ []) "1Thess.2.2"
  ∷ word (κ ∷ α ∷ θ ∷ ὼ ∷ ς ∷ []) "1Thess.2.2"
  ∷ word (ο ∷ ἴ ∷ δ ∷ α ∷ τ ∷ ε ∷ []) "1Thess.2.2"
  ∷ word (ἐ ∷ ν ∷ []) "1Thess.2.2"
  ∷ word (Φ ∷ ι ∷ ∙λ ∷ ί ∷ π ∷ π ∷ ο ∷ ι ∷ ς ∷ []) "1Thess.2.2"
  ∷ word (ἐ ∷ π ∷ α ∷ ρ ∷ ρ ∷ η ∷ σ ∷ ι ∷ α ∷ σ ∷ ά ∷ μ ∷ ε ∷ θ ∷ α ∷ []) "1Thess.2.2"
  ∷ word (ἐ ∷ ν ∷ []) "1Thess.2.2"
  ∷ word (τ ∷ ῷ ∷ []) "1Thess.2.2"
  ∷ word (θ ∷ ε ∷ ῷ ∷ []) "1Thess.2.2"
  ∷ word (ἡ ∷ μ ∷ ῶ ∷ ν ∷ []) "1Thess.2.2"
  ∷ word (∙λ ∷ α ∷ ∙λ ∷ ῆ ∷ σ ∷ α ∷ ι ∷ []) "1Thess.2.2"
  ∷ word (π ∷ ρ ∷ ὸ ∷ ς ∷ []) "1Thess.2.2"
  ∷ word (ὑ ∷ μ ∷ ᾶ ∷ ς ∷ []) "1Thess.2.2"
  ∷ word (τ ∷ ὸ ∷ []) "1Thess.2.2"
  ∷ word (ε ∷ ὐ ∷ α ∷ γ ∷ γ ∷ έ ∷ ∙λ ∷ ι ∷ ο ∷ ν ∷ []) "1Thess.2.2"
  ∷ word (τ ∷ ο ∷ ῦ ∷ []) "1Thess.2.2"
  ∷ word (θ ∷ ε ∷ ο ∷ ῦ ∷ []) "1Thess.2.2"
  ∷ word (ἐ ∷ ν ∷ []) "1Thess.2.2"
  ∷ word (π ∷ ο ∷ ∙λ ∷ ∙λ ∷ ῷ ∷ []) "1Thess.2.2"
  ∷ word (ἀ ∷ γ ∷ ῶ ∷ ν ∷ ι ∷ []) "1Thess.2.2"
  ∷ word (ἡ ∷ []) "1Thess.2.3"
  ∷ word (γ ∷ ὰ ∷ ρ ∷ []) "1Thess.2.3"
  ∷ word (π ∷ α ∷ ρ ∷ ά ∷ κ ∷ ∙λ ∷ η ∷ σ ∷ ι ∷ ς ∷ []) "1Thess.2.3"
  ∷ word (ἡ ∷ μ ∷ ῶ ∷ ν ∷ []) "1Thess.2.3"
  ∷ word (ο ∷ ὐ ∷ κ ∷ []) "1Thess.2.3"
  ∷ word (ἐ ∷ κ ∷ []) "1Thess.2.3"
  ∷ word (π ∷ ∙λ ∷ ά ∷ ν ∷ η ∷ ς ∷ []) "1Thess.2.3"
  ∷ word (ο ∷ ὐ ∷ δ ∷ ὲ ∷ []) "1Thess.2.3"
  ∷ word (ἐ ∷ ξ ∷ []) "1Thess.2.3"
  ∷ word (ἀ ∷ κ ∷ α ∷ θ ∷ α ∷ ρ ∷ σ ∷ ί ∷ α ∷ ς ∷ []) "1Thess.2.3"
  ∷ word (ο ∷ ὐ ∷ δ ∷ ὲ ∷ []) "1Thess.2.3"
  ∷ word (ἐ ∷ ν ∷ []) "1Thess.2.3"
  ∷ word (δ ∷ ό ∷ ∙λ ∷ ῳ ∷ []) "1Thess.2.3"
  ∷ word (ἀ ∷ ∙λ ∷ ∙λ ∷ ὰ ∷ []) "1Thess.2.4"
  ∷ word (κ ∷ α ∷ θ ∷ ὼ ∷ ς ∷ []) "1Thess.2.4"
  ∷ word (δ ∷ ε ∷ δ ∷ ο ∷ κ ∷ ι ∷ μ ∷ ά ∷ σ ∷ μ ∷ ε ∷ θ ∷ α ∷ []) "1Thess.2.4"
  ∷ word (ὑ ∷ π ∷ ὸ ∷ []) "1Thess.2.4"
  ∷ word (τ ∷ ο ∷ ῦ ∷ []) "1Thess.2.4"
  ∷ word (θ ∷ ε ∷ ο ∷ ῦ ∷ []) "1Thess.2.4"
  ∷ word (π ∷ ι ∷ σ ∷ τ ∷ ε ∷ υ ∷ θ ∷ ῆ ∷ ν ∷ α ∷ ι ∷ []) "1Thess.2.4"
  ∷ word (τ ∷ ὸ ∷ []) "1Thess.2.4"
  ∷ word (ε ∷ ὐ ∷ α ∷ γ ∷ γ ∷ έ ∷ ∙λ ∷ ι ∷ ο ∷ ν ∷ []) "1Thess.2.4"
  ∷ word (ο ∷ ὕ ∷ τ ∷ ω ∷ ς ∷ []) "1Thess.2.4"
  ∷ word (∙λ ∷ α ∷ ∙λ ∷ ο ∷ ῦ ∷ μ ∷ ε ∷ ν ∷ []) "1Thess.2.4"
  ∷ word (ο ∷ ὐ ∷ χ ∷ []) "1Thess.2.4"
  ∷ word (ὡ ∷ ς ∷ []) "1Thess.2.4"
  ∷ word (ἀ ∷ ν ∷ θ ∷ ρ ∷ ώ ∷ π ∷ ο ∷ ι ∷ ς ∷ []) "1Thess.2.4"
  ∷ word (ἀ ∷ ρ ∷ έ ∷ σ ∷ κ ∷ ο ∷ ν ∷ τ ∷ ε ∷ ς ∷ []) "1Thess.2.4"
  ∷ word (ἀ ∷ ∙λ ∷ ∙λ ∷ ὰ ∷ []) "1Thess.2.4"
  ∷ word (θ ∷ ε ∷ ῷ ∷ []) "1Thess.2.4"
  ∷ word (τ ∷ ῷ ∷ []) "1Thess.2.4"
  ∷ word (δ ∷ ο ∷ κ ∷ ι ∷ μ ∷ ά ∷ ζ ∷ ο ∷ ν ∷ τ ∷ ι ∷ []) "1Thess.2.4"
  ∷ word (τ ∷ ὰ ∷ ς ∷ []) "1Thess.2.4"
  ∷ word (κ ∷ α ∷ ρ ∷ δ ∷ ί ∷ α ∷ ς ∷ []) "1Thess.2.4"
  ∷ word (ἡ ∷ μ ∷ ῶ ∷ ν ∷ []) "1Thess.2.4"
  ∷ word (ο ∷ ὔ ∷ τ ∷ ε ∷ []) "1Thess.2.5"
  ∷ word (γ ∷ ά ∷ ρ ∷ []) "1Thess.2.5"
  ∷ word (π ∷ ο ∷ τ ∷ ε ∷ []) "1Thess.2.5"
  ∷ word (ἐ ∷ ν ∷ []) "1Thess.2.5"
  ∷ word (∙λ ∷ ό ∷ γ ∷ ῳ ∷ []) "1Thess.2.5"
  ∷ word (κ ∷ ο ∷ ∙λ ∷ α ∷ κ ∷ ε ∷ ί ∷ α ∷ ς ∷ []) "1Thess.2.5"
  ∷ word (ἐ ∷ γ ∷ ε ∷ ν ∷ ή ∷ θ ∷ η ∷ μ ∷ ε ∷ ν ∷ []) "1Thess.2.5"
  ∷ word (κ ∷ α ∷ θ ∷ ὼ ∷ ς ∷ []) "1Thess.2.5"
  ∷ word (ο ∷ ἴ ∷ δ ∷ α ∷ τ ∷ ε ∷ []) "1Thess.2.5"
  ∷ word (ο ∷ ὔ ∷ τ ∷ ε ∷ []) "1Thess.2.5"
  ∷ word (ἐ ∷ ν ∷ []) "1Thess.2.5"
  ∷ word (π ∷ ρ ∷ ο ∷ φ ∷ ά ∷ σ ∷ ε ∷ ι ∷ []) "1Thess.2.5"
  ∷ word (π ∷ ∙λ ∷ ε ∷ ο ∷ ν ∷ ε ∷ ξ ∷ ί ∷ α ∷ ς ∷ []) "1Thess.2.5"
  ∷ word (θ ∷ ε ∷ ὸ ∷ ς ∷ []) "1Thess.2.5"
  ∷ word (μ ∷ ά ∷ ρ ∷ τ ∷ υ ∷ ς ∷ []) "1Thess.2.5"
  ∷ word (ο ∷ ὔ ∷ τ ∷ ε ∷ []) "1Thess.2.6"
  ∷ word (ζ ∷ η ∷ τ ∷ ο ∷ ῦ ∷ ν ∷ τ ∷ ε ∷ ς ∷ []) "1Thess.2.6"
  ∷ word (ἐ ∷ ξ ∷ []) "1Thess.2.6"
  ∷ word (ἀ ∷ ν ∷ θ ∷ ρ ∷ ώ ∷ π ∷ ω ∷ ν ∷ []) "1Thess.2.6"
  ∷ word (δ ∷ ό ∷ ξ ∷ α ∷ ν ∷ []) "1Thess.2.6"
  ∷ word (ο ∷ ὔ ∷ τ ∷ ε ∷ []) "1Thess.2.6"
  ∷ word (ἀ ∷ φ ∷ []) "1Thess.2.6"
  ∷ word (ὑ ∷ μ ∷ ῶ ∷ ν ∷ []) "1Thess.2.6"
  ∷ word (ο ∷ ὔ ∷ τ ∷ ε ∷ []) "1Thess.2.6"
  ∷ word (ἀ ∷ π ∷ []) "1Thess.2.6"
  ∷ word (ἄ ∷ ∙λ ∷ ∙λ ∷ ω ∷ ν ∷ []) "1Thess.2.6"
  ∷ word (δ ∷ υ ∷ ν ∷ ά ∷ μ ∷ ε ∷ ν ∷ ο ∷ ι ∷ []) "1Thess.2.7"
  ∷ word (ἐ ∷ ν ∷ []) "1Thess.2.7"
  ∷ word (β ∷ ά ∷ ρ ∷ ε ∷ ι ∷ []) "1Thess.2.7"
  ∷ word (ε ∷ ἶ ∷ ν ∷ α ∷ ι ∷ []) "1Thess.2.7"
  ∷ word (ὡ ∷ ς ∷ []) "1Thess.2.7"
  ∷ word (Χ ∷ ρ ∷ ι ∷ σ ∷ τ ∷ ο ∷ ῦ ∷ []) "1Thess.2.7"
  ∷ word (ἀ ∷ π ∷ ό ∷ σ ∷ τ ∷ ο ∷ ∙λ ∷ ο ∷ ι ∷ []) "1Thess.2.7"
  ∷ word (ἀ ∷ ∙λ ∷ ∙λ ∷ ὰ ∷ []) "1Thess.2.7"
  ∷ word (ἐ ∷ γ ∷ ε ∷ ν ∷ ή ∷ θ ∷ η ∷ μ ∷ ε ∷ ν ∷ []) "1Thess.2.7"
  ∷ word (ἤ ∷ π ∷ ι ∷ ο ∷ ι ∷ []) "1Thess.2.7"
  ∷ word (ἐ ∷ ν ∷ []) "1Thess.2.7"
  ∷ word (μ ∷ έ ∷ σ ∷ ῳ ∷ []) "1Thess.2.7"
  ∷ word (ὑ ∷ μ ∷ ῶ ∷ ν ∷ []) "1Thess.2.7"
  ∷ word (ὡ ∷ ς ∷ []) "1Thess.2.7"
  ∷ word (ἐ ∷ ὰ ∷ ν ∷ []) "1Thess.2.7"
  ∷ word (τ ∷ ρ ∷ ο ∷ φ ∷ ὸ ∷ ς ∷ []) "1Thess.2.7"
  ∷ word (θ ∷ ά ∷ ∙λ ∷ π ∷ ῃ ∷ []) "1Thess.2.7"
  ∷ word (τ ∷ ὰ ∷ []) "1Thess.2.7"
  ∷ word (ἑ ∷ α ∷ υ ∷ τ ∷ ῆ ∷ ς ∷ []) "1Thess.2.7"
  ∷ word (τ ∷ έ ∷ κ ∷ ν ∷ α ∷ []) "1Thess.2.7"
  ∷ word (ο ∷ ὕ ∷ τ ∷ ω ∷ ς ∷ []) "1Thess.2.8"
  ∷ word (ὁ ∷ μ ∷ ε ∷ ι ∷ ρ ∷ ό ∷ μ ∷ ε ∷ ν ∷ ο ∷ ι ∷ []) "1Thess.2.8"
  ∷ word (ὑ ∷ μ ∷ ῶ ∷ ν ∷ []) "1Thess.2.8"
  ∷ word (ε ∷ ὐ ∷ δ ∷ ο ∷ κ ∷ ο ∷ ῦ ∷ μ ∷ ε ∷ ν ∷ []) "1Thess.2.8"
  ∷ word (μ ∷ ε ∷ τ ∷ α ∷ δ ∷ ο ∷ ῦ ∷ ν ∷ α ∷ ι ∷ []) "1Thess.2.8"
  ∷ word (ὑ ∷ μ ∷ ῖ ∷ ν ∷ []) "1Thess.2.8"
  ∷ word (ο ∷ ὐ ∷ []) "1Thess.2.8"
  ∷ word (μ ∷ ό ∷ ν ∷ ο ∷ ν ∷ []) "1Thess.2.8"
  ∷ word (τ ∷ ὸ ∷ []) "1Thess.2.8"
  ∷ word (ε ∷ ὐ ∷ α ∷ γ ∷ γ ∷ έ ∷ ∙λ ∷ ι ∷ ο ∷ ν ∷ []) "1Thess.2.8"
  ∷ word (τ ∷ ο ∷ ῦ ∷ []) "1Thess.2.8"
  ∷ word (θ ∷ ε ∷ ο ∷ ῦ ∷ []) "1Thess.2.8"
  ∷ word (ἀ ∷ ∙λ ∷ ∙λ ∷ ὰ ∷ []) "1Thess.2.8"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Thess.2.8"
  ∷ word (τ ∷ ὰ ∷ ς ∷ []) "1Thess.2.8"
  ∷ word (ἑ ∷ α ∷ υ ∷ τ ∷ ῶ ∷ ν ∷ []) "1Thess.2.8"
  ∷ word (ψ ∷ υ ∷ χ ∷ ά ∷ ς ∷ []) "1Thess.2.8"
  ∷ word (δ ∷ ι ∷ ό ∷ τ ∷ ι ∷ []) "1Thess.2.8"
  ∷ word (ἀ ∷ γ ∷ α ∷ π ∷ η ∷ τ ∷ ο ∷ ὶ ∷ []) "1Thess.2.8"
  ∷ word (ἡ ∷ μ ∷ ῖ ∷ ν ∷ []) "1Thess.2.8"
  ∷ word (ἐ ∷ γ ∷ ε ∷ ν ∷ ή ∷ θ ∷ η ∷ τ ∷ ε ∷ []) "1Thess.2.8"
  ∷ word (Μ ∷ ν ∷ η ∷ μ ∷ ο ∷ ν ∷ ε ∷ ύ ∷ ε ∷ τ ∷ ε ∷ []) "1Thess.2.9"
  ∷ word (γ ∷ ά ∷ ρ ∷ []) "1Thess.2.9"
  ∷ word (ἀ ∷ δ ∷ ε ∷ ∙λ ∷ φ ∷ ο ∷ ί ∷ []) "1Thess.2.9"
  ∷ word (τ ∷ ὸ ∷ ν ∷ []) "1Thess.2.9"
  ∷ word (κ ∷ ό ∷ π ∷ ο ∷ ν ∷ []) "1Thess.2.9"
  ∷ word (ἡ ∷ μ ∷ ῶ ∷ ν ∷ []) "1Thess.2.9"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Thess.2.9"
  ∷ word (τ ∷ ὸ ∷ ν ∷ []) "1Thess.2.9"
  ∷ word (μ ∷ ό ∷ χ ∷ θ ∷ ο ∷ ν ∷ []) "1Thess.2.9"
  ∷ word (ν ∷ υ ∷ κ ∷ τ ∷ ὸ ∷ ς ∷ []) "1Thess.2.9"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Thess.2.9"
  ∷ word (ἡ ∷ μ ∷ έ ∷ ρ ∷ α ∷ ς ∷ []) "1Thess.2.9"
  ∷ word (ἐ ∷ ρ ∷ γ ∷ α ∷ ζ ∷ ό ∷ μ ∷ ε ∷ ν ∷ ο ∷ ι ∷ []) "1Thess.2.9"
  ∷ word (π ∷ ρ ∷ ὸ ∷ ς ∷ []) "1Thess.2.9"
  ∷ word (τ ∷ ὸ ∷ []) "1Thess.2.9"
  ∷ word (μ ∷ ὴ ∷ []) "1Thess.2.9"
  ∷ word (ἐ ∷ π ∷ ι ∷ β ∷ α ∷ ρ ∷ ῆ ∷ σ ∷ α ∷ ί ∷ []) "1Thess.2.9"
  ∷ word (τ ∷ ι ∷ ν ∷ α ∷ []) "1Thess.2.9"
  ∷ word (ὑ ∷ μ ∷ ῶ ∷ ν ∷ []) "1Thess.2.9"
  ∷ word (ἐ ∷ κ ∷ η ∷ ρ ∷ ύ ∷ ξ ∷ α ∷ μ ∷ ε ∷ ν ∷ []) "1Thess.2.9"
  ∷ word (ε ∷ ἰ ∷ ς ∷ []) "1Thess.2.9"
  ∷ word (ὑ ∷ μ ∷ ᾶ ∷ ς ∷ []) "1Thess.2.9"
  ∷ word (τ ∷ ὸ ∷ []) "1Thess.2.9"
  ∷ word (ε ∷ ὐ ∷ α ∷ γ ∷ γ ∷ έ ∷ ∙λ ∷ ι ∷ ο ∷ ν ∷ []) "1Thess.2.9"
  ∷ word (τ ∷ ο ∷ ῦ ∷ []) "1Thess.2.9"
  ∷ word (θ ∷ ε ∷ ο ∷ ῦ ∷ []) "1Thess.2.9"
  ∷ word (ὑ ∷ μ ∷ ε ∷ ῖ ∷ ς ∷ []) "1Thess.2.10"
  ∷ word (μ ∷ ά ∷ ρ ∷ τ ∷ υ ∷ ρ ∷ ε ∷ ς ∷ []) "1Thess.2.10"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Thess.2.10"
  ∷ word (ὁ ∷ []) "1Thess.2.10"
  ∷ word (θ ∷ ε ∷ ό ∷ ς ∷ []) "1Thess.2.10"
  ∷ word (ὡ ∷ ς ∷ []) "1Thess.2.10"
  ∷ word (ὁ ∷ σ ∷ ί ∷ ω ∷ ς ∷ []) "1Thess.2.10"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Thess.2.10"
  ∷ word (δ ∷ ι ∷ κ ∷ α ∷ ί ∷ ω ∷ ς ∷ []) "1Thess.2.10"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Thess.2.10"
  ∷ word (ἀ ∷ μ ∷ έ ∷ μ ∷ π ∷ τ ∷ ω ∷ ς ∷ []) "1Thess.2.10"
  ∷ word (ὑ ∷ μ ∷ ῖ ∷ ν ∷ []) "1Thess.2.10"
  ∷ word (τ ∷ ο ∷ ῖ ∷ ς ∷ []) "1Thess.2.10"
  ∷ word (π ∷ ι ∷ σ ∷ τ ∷ ε ∷ ύ ∷ ο ∷ υ ∷ σ ∷ ι ∷ ν ∷ []) "1Thess.2.10"
  ∷ word (ἐ ∷ γ ∷ ε ∷ ν ∷ ή ∷ θ ∷ η ∷ μ ∷ ε ∷ ν ∷ []) "1Thess.2.10"
  ∷ word (κ ∷ α ∷ θ ∷ ά ∷ π ∷ ε ∷ ρ ∷ []) "1Thess.2.11"
  ∷ word (ο ∷ ἴ ∷ δ ∷ α ∷ τ ∷ ε ∷ []) "1Thess.2.11"
  ∷ word (ὡ ∷ ς ∷ []) "1Thess.2.11"
  ∷ word (ἕ ∷ ν ∷ α ∷ []) "1Thess.2.11"
  ∷ word (ἕ ∷ κ ∷ α ∷ σ ∷ τ ∷ ο ∷ ν ∷ []) "1Thess.2.11"
  ∷ word (ὑ ∷ μ ∷ ῶ ∷ ν ∷ []) "1Thess.2.11"
  ∷ word (ὡ ∷ ς ∷ []) "1Thess.2.11"
  ∷ word (π ∷ α ∷ τ ∷ ὴ ∷ ρ ∷ []) "1Thess.2.11"
  ∷ word (τ ∷ έ ∷ κ ∷ ν ∷ α ∷ []) "1Thess.2.11"
  ∷ word (ἑ ∷ α ∷ υ ∷ τ ∷ ο ∷ ῦ ∷ []) "1Thess.2.11"
  ∷ word (π ∷ α ∷ ρ ∷ α ∷ κ ∷ α ∷ ∙λ ∷ ο ∷ ῦ ∷ ν ∷ τ ∷ ε ∷ ς ∷ []) "1Thess.2.12"
  ∷ word (ὑ ∷ μ ∷ ᾶ ∷ ς ∷ []) "1Thess.2.12"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Thess.2.12"
  ∷ word (π ∷ α ∷ ρ ∷ α ∷ μ ∷ υ ∷ θ ∷ ο ∷ ύ ∷ μ ∷ ε ∷ ν ∷ ο ∷ ι ∷ []) "1Thess.2.12"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Thess.2.12"
  ∷ word (μ ∷ α ∷ ρ ∷ τ ∷ υ ∷ ρ ∷ ό ∷ μ ∷ ε ∷ ν ∷ ο ∷ ι ∷ []) "1Thess.2.12"
  ∷ word (ε ∷ ἰ ∷ ς ∷ []) "1Thess.2.12"
  ∷ word (τ ∷ ὸ ∷ []) "1Thess.2.12"
  ∷ word (π ∷ ε ∷ ρ ∷ ι ∷ π ∷ α ∷ τ ∷ ε ∷ ῖ ∷ ν ∷ []) "1Thess.2.12"
  ∷ word (ὑ ∷ μ ∷ ᾶ ∷ ς ∷ []) "1Thess.2.12"
  ∷ word (ἀ ∷ ξ ∷ ί ∷ ω ∷ ς ∷ []) "1Thess.2.12"
  ∷ word (τ ∷ ο ∷ ῦ ∷ []) "1Thess.2.12"
  ∷ word (θ ∷ ε ∷ ο ∷ ῦ ∷ []) "1Thess.2.12"
  ∷ word (τ ∷ ο ∷ ῦ ∷ []) "1Thess.2.12"
  ∷ word (κ ∷ α ∷ ∙λ ∷ ο ∷ ῦ ∷ ν ∷ τ ∷ ο ∷ ς ∷ []) "1Thess.2.12"
  ∷ word (ὑ ∷ μ ∷ ᾶ ∷ ς ∷ []) "1Thess.2.12"
  ∷ word (ε ∷ ἰ ∷ ς ∷ []) "1Thess.2.12"
  ∷ word (τ ∷ ὴ ∷ ν ∷ []) "1Thess.2.12"
  ∷ word (ἑ ∷ α ∷ υ ∷ τ ∷ ο ∷ ῦ ∷ []) "1Thess.2.12"
  ∷ word (β ∷ α ∷ σ ∷ ι ∷ ∙λ ∷ ε ∷ ί ∷ α ∷ ν ∷ []) "1Thess.2.12"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Thess.2.12"
  ∷ word (δ ∷ ό ∷ ξ ∷ α ∷ ν ∷ []) "1Thess.2.12"
  ∷ word (Κ ∷ α ∷ ὶ ∷ []) "1Thess.2.13"
  ∷ word (δ ∷ ι ∷ ὰ ∷ []) "1Thess.2.13"
  ∷ word (τ ∷ ο ∷ ῦ ∷ τ ∷ ο ∷ []) "1Thess.2.13"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Thess.2.13"
  ∷ word (ἡ ∷ μ ∷ ε ∷ ῖ ∷ ς ∷ []) "1Thess.2.13"
  ∷ word (ε ∷ ὐ ∷ χ ∷ α ∷ ρ ∷ ι ∷ σ ∷ τ ∷ ο ∷ ῦ ∷ μ ∷ ε ∷ ν ∷ []) "1Thess.2.13"
  ∷ word (τ ∷ ῷ ∷ []) "1Thess.2.13"
  ∷ word (θ ∷ ε ∷ ῷ ∷ []) "1Thess.2.13"
  ∷ word (ἀ ∷ δ ∷ ι ∷ α ∷ ∙λ ∷ ε ∷ ί ∷ π ∷ τ ∷ ω ∷ ς ∷ []) "1Thess.2.13"
  ∷ word (ὅ ∷ τ ∷ ι ∷ []) "1Thess.2.13"
  ∷ word (π ∷ α ∷ ρ ∷ α ∷ ∙λ ∷ α ∷ β ∷ ό ∷ ν ∷ τ ∷ ε ∷ ς ∷ []) "1Thess.2.13"
  ∷ word (∙λ ∷ ό ∷ γ ∷ ο ∷ ν ∷ []) "1Thess.2.13"
  ∷ word (ἀ ∷ κ ∷ ο ∷ ῆ ∷ ς ∷ []) "1Thess.2.13"
  ∷ word (π ∷ α ∷ ρ ∷ []) "1Thess.2.13"
  ∷ word (ἡ ∷ μ ∷ ῶ ∷ ν ∷ []) "1Thess.2.13"
  ∷ word (τ ∷ ο ∷ ῦ ∷ []) "1Thess.2.13"
  ∷ word (θ ∷ ε ∷ ο ∷ ῦ ∷ []) "1Thess.2.13"
  ∷ word (ἐ ∷ δ ∷ έ ∷ ξ ∷ α ∷ σ ∷ θ ∷ ε ∷ []) "1Thess.2.13"
  ∷ word (ο ∷ ὐ ∷ []) "1Thess.2.13"
  ∷ word (∙λ ∷ ό ∷ γ ∷ ο ∷ ν ∷ []) "1Thess.2.13"
  ∷ word (ἀ ∷ ν ∷ θ ∷ ρ ∷ ώ ∷ π ∷ ω ∷ ν ∷ []) "1Thess.2.13"
  ∷ word (ἀ ∷ ∙λ ∷ ∙λ ∷ ὰ ∷ []) "1Thess.2.13"
  ∷ word (κ ∷ α ∷ θ ∷ ὼ ∷ ς ∷ []) "1Thess.2.13"
  ∷ word (ἀ ∷ ∙λ ∷ η ∷ θ ∷ ῶ ∷ ς ∷ []) "1Thess.2.13"
  ∷ word (ἐ ∷ σ ∷ τ ∷ ὶ ∷ ν ∷ []) "1Thess.2.13"
  ∷ word (∙λ ∷ ό ∷ γ ∷ ο ∷ ν ∷ []) "1Thess.2.13"
  ∷ word (θ ∷ ε ∷ ο ∷ ῦ ∷ []) "1Thess.2.13"
  ∷ word (ὃ ∷ ς ∷ []) "1Thess.2.13"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Thess.2.13"
  ∷ word (ἐ ∷ ν ∷ ε ∷ ρ ∷ γ ∷ ε ∷ ῖ ∷ τ ∷ α ∷ ι ∷ []) "1Thess.2.13"
  ∷ word (ἐ ∷ ν ∷ []) "1Thess.2.13"
  ∷ word (ὑ ∷ μ ∷ ῖ ∷ ν ∷ []) "1Thess.2.13"
  ∷ word (τ ∷ ο ∷ ῖ ∷ ς ∷ []) "1Thess.2.13"
  ∷ word (π ∷ ι ∷ σ ∷ τ ∷ ε ∷ ύ ∷ ο ∷ υ ∷ σ ∷ ι ∷ ν ∷ []) "1Thess.2.13"
  ∷ word (ὑ ∷ μ ∷ ε ∷ ῖ ∷ ς ∷ []) "1Thess.2.14"
  ∷ word (γ ∷ ὰ ∷ ρ ∷ []) "1Thess.2.14"
  ∷ word (μ ∷ ι ∷ μ ∷ η ∷ τ ∷ α ∷ ὶ ∷ []) "1Thess.2.14"
  ∷ word (ἐ ∷ γ ∷ ε ∷ ν ∷ ή ∷ θ ∷ η ∷ τ ∷ ε ∷ []) "1Thess.2.14"
  ∷ word (ἀ ∷ δ ∷ ε ∷ ∙λ ∷ φ ∷ ο ∷ ί ∷ []) "1Thess.2.14"
  ∷ word (τ ∷ ῶ ∷ ν ∷ []) "1Thess.2.14"
  ∷ word (ἐ ∷ κ ∷ κ ∷ ∙λ ∷ η ∷ σ ∷ ι ∷ ῶ ∷ ν ∷ []) "1Thess.2.14"
  ∷ word (τ ∷ ο ∷ ῦ ∷ []) "1Thess.2.14"
  ∷ word (θ ∷ ε ∷ ο ∷ ῦ ∷ []) "1Thess.2.14"
  ∷ word (τ ∷ ῶ ∷ ν ∷ []) "1Thess.2.14"
  ∷ word (ο ∷ ὐ ∷ σ ∷ ῶ ∷ ν ∷ []) "1Thess.2.14"
  ∷ word (ἐ ∷ ν ∷ []) "1Thess.2.14"
  ∷ word (τ ∷ ῇ ∷ []) "1Thess.2.14"
  ∷ word (Ἰ ∷ ο ∷ υ ∷ δ ∷ α ∷ ί ∷ ᾳ ∷ []) "1Thess.2.14"
  ∷ word (ἐ ∷ ν ∷ []) "1Thess.2.14"
  ∷ word (Χ ∷ ρ ∷ ι ∷ σ ∷ τ ∷ ῷ ∷ []) "1Thess.2.14"
  ∷ word (Ἰ ∷ η ∷ σ ∷ ο ∷ ῦ ∷ []) "1Thess.2.14"
  ∷ word (ὅ ∷ τ ∷ ι ∷ []) "1Thess.2.14"
  ∷ word (τ ∷ ὰ ∷ []) "1Thess.2.14"
  ∷ word (α ∷ ὐ ∷ τ ∷ ὰ ∷ []) "1Thess.2.14"
  ∷ word (ἐ ∷ π ∷ ά ∷ θ ∷ ε ∷ τ ∷ ε ∷ []) "1Thess.2.14"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Thess.2.14"
  ∷ word (ὑ ∷ μ ∷ ε ∷ ῖ ∷ ς ∷ []) "1Thess.2.14"
  ∷ word (ὑ ∷ π ∷ ὸ ∷ []) "1Thess.2.14"
  ∷ word (τ ∷ ῶ ∷ ν ∷ []) "1Thess.2.14"
  ∷ word (ἰ ∷ δ ∷ ί ∷ ω ∷ ν ∷ []) "1Thess.2.14"
  ∷ word (σ ∷ υ ∷ μ ∷ φ ∷ υ ∷ ∙λ ∷ ε ∷ τ ∷ ῶ ∷ ν ∷ []) "1Thess.2.14"
  ∷ word (κ ∷ α ∷ θ ∷ ὼ ∷ ς ∷ []) "1Thess.2.14"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Thess.2.14"
  ∷ word (α ∷ ὐ ∷ τ ∷ ο ∷ ὶ ∷ []) "1Thess.2.14"
  ∷ word (ὑ ∷ π ∷ ὸ ∷ []) "1Thess.2.14"
  ∷ word (τ ∷ ῶ ∷ ν ∷ []) "1Thess.2.14"
  ∷ word (Ἰ ∷ ο ∷ υ ∷ δ ∷ α ∷ ί ∷ ω ∷ ν ∷ []) "1Thess.2.14"
  ∷ word (τ ∷ ῶ ∷ ν ∷ []) "1Thess.2.15"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Thess.2.15"
  ∷ word (τ ∷ ὸ ∷ ν ∷ []) "1Thess.2.15"
  ∷ word (κ ∷ ύ ∷ ρ ∷ ι ∷ ο ∷ ν ∷ []) "1Thess.2.15"
  ∷ word (ἀ ∷ π ∷ ο ∷ κ ∷ τ ∷ ε ∷ ι ∷ ν ∷ ά ∷ ν ∷ τ ∷ ω ∷ ν ∷ []) "1Thess.2.15"
  ∷ word (Ἰ ∷ η ∷ σ ∷ ο ∷ ῦ ∷ ν ∷ []) "1Thess.2.15"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Thess.2.15"
  ∷ word (τ ∷ ο ∷ ὺ ∷ ς ∷ []) "1Thess.2.15"
  ∷ word (π ∷ ρ ∷ ο ∷ φ ∷ ή ∷ τ ∷ α ∷ ς ∷ []) "1Thess.2.15"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Thess.2.15"
  ∷ word (ἡ ∷ μ ∷ ᾶ ∷ ς ∷ []) "1Thess.2.15"
  ∷ word (ἐ ∷ κ ∷ δ ∷ ι ∷ ω ∷ ξ ∷ ά ∷ ν ∷ τ ∷ ω ∷ ν ∷ []) "1Thess.2.15"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Thess.2.15"
  ∷ word (θ ∷ ε ∷ ῷ ∷ []) "1Thess.2.15"
  ∷ word (μ ∷ ὴ ∷ []) "1Thess.2.15"
  ∷ word (ἀ ∷ ρ ∷ ε ∷ σ ∷ κ ∷ ό ∷ ν ∷ τ ∷ ω ∷ ν ∷ []) "1Thess.2.15"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Thess.2.15"
  ∷ word (π ∷ ᾶ ∷ σ ∷ ι ∷ ν ∷ []) "1Thess.2.15"
  ∷ word (ἀ ∷ ν ∷ θ ∷ ρ ∷ ώ ∷ π ∷ ο ∷ ι ∷ ς ∷ []) "1Thess.2.15"
  ∷ word (ἐ ∷ ν ∷ α ∷ ν ∷ τ ∷ ί ∷ ω ∷ ν ∷ []) "1Thess.2.15"
  ∷ word (κ ∷ ω ∷ ∙λ ∷ υ ∷ ό ∷ ν ∷ τ ∷ ω ∷ ν ∷ []) "1Thess.2.16"
  ∷ word (ἡ ∷ μ ∷ ᾶ ∷ ς ∷ []) "1Thess.2.16"
  ∷ word (τ ∷ ο ∷ ῖ ∷ ς ∷ []) "1Thess.2.16"
  ∷ word (ἔ ∷ θ ∷ ν ∷ ε ∷ σ ∷ ι ∷ ν ∷ []) "1Thess.2.16"
  ∷ word (∙λ ∷ α ∷ ∙λ ∷ ῆ ∷ σ ∷ α ∷ ι ∷ []) "1Thess.2.16"
  ∷ word (ἵ ∷ ν ∷ α ∷ []) "1Thess.2.16"
  ∷ word (σ ∷ ω ∷ θ ∷ ῶ ∷ σ ∷ ι ∷ ν ∷ []) "1Thess.2.16"
  ∷ word (ε ∷ ἰ ∷ ς ∷ []) "1Thess.2.16"
  ∷ word (τ ∷ ὸ ∷ []) "1Thess.2.16"
  ∷ word (ἀ ∷ ν ∷ α ∷ π ∷ ∙λ ∷ η ∷ ρ ∷ ῶ ∷ σ ∷ α ∷ ι ∷ []) "1Thess.2.16"
  ∷ word (α ∷ ὐ ∷ τ ∷ ῶ ∷ ν ∷ []) "1Thess.2.16"
  ∷ word (τ ∷ ὰ ∷ ς ∷ []) "1Thess.2.16"
  ∷ word (ἁ ∷ μ ∷ α ∷ ρ ∷ τ ∷ ί ∷ α ∷ ς ∷ []) "1Thess.2.16"
  ∷ word (π ∷ ά ∷ ν ∷ τ ∷ ο ∷ τ ∷ ε ∷ []) "1Thess.2.16"
  ∷ word (ἔ ∷ φ ∷ θ ∷ α ∷ σ ∷ ε ∷ ν ∷ []) "1Thess.2.16"
  ∷ word (δ ∷ ὲ ∷ []) "1Thess.2.16"
  ∷ word (ἐ ∷ π ∷ []) "1Thess.2.16"
  ∷ word (α ∷ ὐ ∷ τ ∷ ο ∷ ὺ ∷ ς ∷ []) "1Thess.2.16"
  ∷ word (ἡ ∷ []) "1Thess.2.16"
  ∷ word (ὀ ∷ ρ ∷ γ ∷ ὴ ∷ []) "1Thess.2.16"
  ∷ word (ε ∷ ἰ ∷ ς ∷ []) "1Thess.2.16"
  ∷ word (τ ∷ έ ∷ ∙λ ∷ ο ∷ ς ∷ []) "1Thess.2.16"
  ∷ word (Ἡ ∷ μ ∷ ε ∷ ῖ ∷ ς ∷ []) "1Thess.2.17"
  ∷ word (δ ∷ έ ∷ []) "1Thess.2.17"
  ∷ word (ἀ ∷ δ ∷ ε ∷ ∙λ ∷ φ ∷ ο ∷ ί ∷ []) "1Thess.2.17"
  ∷ word (ἀ ∷ π ∷ ο ∷ ρ ∷ φ ∷ α ∷ ν ∷ ι ∷ σ ∷ θ ∷ έ ∷ ν ∷ τ ∷ ε ∷ ς ∷ []) "1Thess.2.17"
  ∷ word (ἀ ∷ φ ∷ []) "1Thess.2.17"
  ∷ word (ὑ ∷ μ ∷ ῶ ∷ ν ∷ []) "1Thess.2.17"
  ∷ word (π ∷ ρ ∷ ὸ ∷ ς ∷ []) "1Thess.2.17"
  ∷ word (κ ∷ α ∷ ι ∷ ρ ∷ ὸ ∷ ν ∷ []) "1Thess.2.17"
  ∷ word (ὥ ∷ ρ ∷ α ∷ ς ∷ []) "1Thess.2.17"
  ∷ word (π ∷ ρ ∷ ο ∷ σ ∷ ώ ∷ π ∷ ῳ ∷ []) "1Thess.2.17"
  ∷ word (ο ∷ ὐ ∷ []) "1Thess.2.17"
  ∷ word (κ ∷ α ∷ ρ ∷ δ ∷ ί ∷ ᾳ ∷ []) "1Thess.2.17"
  ∷ word (π ∷ ε ∷ ρ ∷ ι ∷ σ ∷ σ ∷ ο ∷ τ ∷ έ ∷ ρ ∷ ω ∷ ς ∷ []) "1Thess.2.17"
  ∷ word (ἐ ∷ σ ∷ π ∷ ο ∷ υ ∷ δ ∷ ά ∷ σ ∷ α ∷ μ ∷ ε ∷ ν ∷ []) "1Thess.2.17"
  ∷ word (τ ∷ ὸ ∷ []) "1Thess.2.17"
  ∷ word (π ∷ ρ ∷ ό ∷ σ ∷ ω ∷ π ∷ ο ∷ ν ∷ []) "1Thess.2.17"
  ∷ word (ὑ ∷ μ ∷ ῶ ∷ ν ∷ []) "1Thess.2.17"
  ∷ word (ἰ ∷ δ ∷ ε ∷ ῖ ∷ ν ∷ []) "1Thess.2.17"
  ∷ word (ἐ ∷ ν ∷ []) "1Thess.2.17"
  ∷ word (π ∷ ο ∷ ∙λ ∷ ∙λ ∷ ῇ ∷ []) "1Thess.2.17"
  ∷ word (ἐ ∷ π ∷ ι ∷ θ ∷ υ ∷ μ ∷ ί ∷ ᾳ ∷ []) "1Thess.2.17"
  ∷ word (δ ∷ ι ∷ ό ∷ τ ∷ ι ∷ []) "1Thess.2.18"
  ∷ word (ἠ ∷ θ ∷ ε ∷ ∙λ ∷ ή ∷ σ ∷ α ∷ μ ∷ ε ∷ ν ∷ []) "1Thess.2.18"
  ∷ word (ἐ ∷ ∙λ ∷ θ ∷ ε ∷ ῖ ∷ ν ∷ []) "1Thess.2.18"
  ∷ word (π ∷ ρ ∷ ὸ ∷ ς ∷ []) "1Thess.2.18"
  ∷ word (ὑ ∷ μ ∷ ᾶ ∷ ς ∷ []) "1Thess.2.18"
  ∷ word (ἐ ∷ γ ∷ ὼ ∷ []) "1Thess.2.18"
  ∷ word (μ ∷ ὲ ∷ ν ∷ []) "1Thess.2.18"
  ∷ word (Π ∷ α ∷ ῦ ∷ ∙λ ∷ ο ∷ ς ∷ []) "1Thess.2.18"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Thess.2.18"
  ∷ word (ἅ ∷ π ∷ α ∷ ξ ∷ []) "1Thess.2.18"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Thess.2.18"
  ∷ word (δ ∷ ί ∷ ς ∷ []) "1Thess.2.18"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Thess.2.18"
  ∷ word (ἐ ∷ ν ∷ έ ∷ κ ∷ ο ∷ ψ ∷ ε ∷ ν ∷ []) "1Thess.2.18"
  ∷ word (ἡ ∷ μ ∷ ᾶ ∷ ς ∷ []) "1Thess.2.18"
  ∷ word (ὁ ∷ []) "1Thess.2.18"
  ∷ word (Σ ∷ α ∷ τ ∷ α ∷ ν ∷ ᾶ ∷ ς ∷ []) "1Thess.2.18"
  ∷ word (τ ∷ ί ∷ ς ∷ []) "1Thess.2.19"
  ∷ word (γ ∷ ὰ ∷ ρ ∷ []) "1Thess.2.19"
  ∷ word (ἡ ∷ μ ∷ ῶ ∷ ν ∷ []) "1Thess.2.19"
  ∷ word (ἐ ∷ ∙λ ∷ π ∷ ὶ ∷ ς ∷ []) "1Thess.2.19"
  ∷ word (ἢ ∷ []) "1Thess.2.19"
  ∷ word (χ ∷ α ∷ ρ ∷ ὰ ∷ []) "1Thess.2.19"
  ∷ word (ἢ ∷ []) "1Thess.2.19"
  ∷ word (σ ∷ τ ∷ έ ∷ φ ∷ α ∷ ν ∷ ο ∷ ς ∷ []) "1Thess.2.19"
  ∷ word (κ ∷ α ∷ υ ∷ χ ∷ ή ∷ σ ∷ ε ∷ ω ∷ ς ∷ []) "1Thess.2.19"
  ∷ word (ἢ ∷ []) "1Thess.2.19"
  ∷ word (ο ∷ ὐ ∷ χ ∷ ὶ ∷ []) "1Thess.2.19"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Thess.2.19"
  ∷ word (ὑ ∷ μ ∷ ε ∷ ῖ ∷ ς ∷ []) "1Thess.2.19"
  ∷ word (ἔ ∷ μ ∷ π ∷ ρ ∷ ο ∷ σ ∷ θ ∷ ε ∷ ν ∷ []) "1Thess.2.19"
  ∷ word (τ ∷ ο ∷ ῦ ∷ []) "1Thess.2.19"
  ∷ word (κ ∷ υ ∷ ρ ∷ ί ∷ ο ∷ υ ∷ []) "1Thess.2.19"
  ∷ word (ἡ ∷ μ ∷ ῶ ∷ ν ∷ []) "1Thess.2.19"
  ∷ word (Ἰ ∷ η ∷ σ ∷ ο ∷ ῦ ∷ []) "1Thess.2.19"
  ∷ word (ἐ ∷ ν ∷ []) "1Thess.2.19"
  ∷ word (τ ∷ ῇ ∷ []) "1Thess.2.19"
  ∷ word (α ∷ ὐ ∷ τ ∷ ο ∷ ῦ ∷ []) "1Thess.2.19"
  ∷ word (π ∷ α ∷ ρ ∷ ο ∷ υ ∷ σ ∷ ί ∷ ᾳ ∷ []) "1Thess.2.19"
  ∷ word (ὑ ∷ μ ∷ ε ∷ ῖ ∷ ς ∷ []) "1Thess.2.20"
  ∷ word (γ ∷ ά ∷ ρ ∷ []) "1Thess.2.20"
  ∷ word (ἐ ∷ σ ∷ τ ∷ ε ∷ []) "1Thess.2.20"
  ∷ word (ἡ ∷ []) "1Thess.2.20"
  ∷ word (δ ∷ ό ∷ ξ ∷ α ∷ []) "1Thess.2.20"
  ∷ word (ἡ ∷ μ ∷ ῶ ∷ ν ∷ []) "1Thess.2.20"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Thess.2.20"
  ∷ word (ἡ ∷ []) "1Thess.2.20"
  ∷ word (χ ∷ α ∷ ρ ∷ ά ∷ []) "1Thess.2.20"
  ∷ word (Δ ∷ ι ∷ ὸ ∷ []) "1Thess.3.1"
  ∷ word (μ ∷ η ∷ κ ∷ έ ∷ τ ∷ ι ∷ []) "1Thess.3.1"
  ∷ word (σ ∷ τ ∷ έ ∷ γ ∷ ο ∷ ν ∷ τ ∷ ε ∷ ς ∷ []) "1Thess.3.1"
  ∷ word (ε ∷ ὐ ∷ δ ∷ ο ∷ κ ∷ ή ∷ σ ∷ α ∷ μ ∷ ε ∷ ν ∷ []) "1Thess.3.1"
  ∷ word (κ ∷ α ∷ τ ∷ α ∷ ∙λ ∷ ε ∷ ι ∷ φ ∷ θ ∷ ῆ ∷ ν ∷ α ∷ ι ∷ []) "1Thess.3.1"
  ∷ word (ἐ ∷ ν ∷ []) "1Thess.3.1"
  ∷ word (Ἀ ∷ θ ∷ ή ∷ ν ∷ α ∷ ι ∷ ς ∷ []) "1Thess.3.1"
  ∷ word (μ ∷ ό ∷ ν ∷ ο ∷ ι ∷ []) "1Thess.3.1"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Thess.3.2"
  ∷ word (ἐ ∷ π ∷ έ ∷ μ ∷ ψ ∷ α ∷ μ ∷ ε ∷ ν ∷ []) "1Thess.3.2"
  ∷ word (Τ ∷ ι ∷ μ ∷ ό ∷ θ ∷ ε ∷ ο ∷ ν ∷ []) "1Thess.3.2"
  ∷ word (τ ∷ ὸ ∷ ν ∷ []) "1Thess.3.2"
  ∷ word (ἀ ∷ δ ∷ ε ∷ ∙λ ∷ φ ∷ ὸ ∷ ν ∷ []) "1Thess.3.2"
  ∷ word (ἡ ∷ μ ∷ ῶ ∷ ν ∷ []) "1Thess.3.2"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Thess.3.2"
  ∷ word (σ ∷ υ ∷ ν ∷ ε ∷ ρ ∷ γ ∷ ὸ ∷ ν ∷ []) "1Thess.3.2"
  ∷ word (τ ∷ ο ∷ ῦ ∷ []) "1Thess.3.2"
  ∷ word (θ ∷ ε ∷ ο ∷ ῦ ∷ []) "1Thess.3.2"
  ∷ word (ἐ ∷ ν ∷ []) "1Thess.3.2"
  ∷ word (τ ∷ ῷ ∷ []) "1Thess.3.2"
  ∷ word (ε ∷ ὐ ∷ α ∷ γ ∷ γ ∷ ε ∷ ∙λ ∷ ί ∷ ῳ ∷ []) "1Thess.3.2"
  ∷ word (τ ∷ ο ∷ ῦ ∷ []) "1Thess.3.2"
  ∷ word (Χ ∷ ρ ∷ ι ∷ σ ∷ τ ∷ ο ∷ ῦ ∷ []) "1Thess.3.2"
  ∷ word (ε ∷ ἰ ∷ ς ∷ []) "1Thess.3.2"
  ∷ word (τ ∷ ὸ ∷ []) "1Thess.3.2"
  ∷ word (σ ∷ τ ∷ η ∷ ρ ∷ ί ∷ ξ ∷ α ∷ ι ∷ []) "1Thess.3.2"
  ∷ word (ὑ ∷ μ ∷ ᾶ ∷ ς ∷ []) "1Thess.3.2"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Thess.3.2"
  ∷ word (π ∷ α ∷ ρ ∷ α ∷ κ ∷ α ∷ ∙λ ∷ έ ∷ σ ∷ α ∷ ι ∷ []) "1Thess.3.2"
  ∷ word (ὑ ∷ π ∷ ὲ ∷ ρ ∷ []) "1Thess.3.2"
  ∷ word (τ ∷ ῆ ∷ ς ∷ []) "1Thess.3.2"
  ∷ word (π ∷ ί ∷ σ ∷ τ ∷ ε ∷ ω ∷ ς ∷ []) "1Thess.3.2"
  ∷ word (ὑ ∷ μ ∷ ῶ ∷ ν ∷ []) "1Thess.3.2"
  ∷ word (τ ∷ ὸ ∷ []) "1Thess.3.3"
  ∷ word (μ ∷ η ∷ δ ∷ έ ∷ ν ∷ α ∷ []) "1Thess.3.3"
  ∷ word (σ ∷ α ∷ ί ∷ ν ∷ ε ∷ σ ∷ θ ∷ α ∷ ι ∷ []) "1Thess.3.3"
  ∷ word (ἐ ∷ ν ∷ []) "1Thess.3.3"
  ∷ word (τ ∷ α ∷ ῖ ∷ ς ∷ []) "1Thess.3.3"
  ∷ word (θ ∷ ∙λ ∷ ί ∷ ψ ∷ ε ∷ σ ∷ ι ∷ ν ∷ []) "1Thess.3.3"
  ∷ word (τ ∷ α ∷ ύ ∷ τ ∷ α ∷ ι ∷ ς ∷ []) "1Thess.3.3"
  ∷ word (α ∷ ὐ ∷ τ ∷ ο ∷ ὶ ∷ []) "1Thess.3.3"
  ∷ word (γ ∷ ὰ ∷ ρ ∷ []) "1Thess.3.3"
  ∷ word (ο ∷ ἴ ∷ δ ∷ α ∷ τ ∷ ε ∷ []) "1Thess.3.3"
  ∷ word (ὅ ∷ τ ∷ ι ∷ []) "1Thess.3.3"
  ∷ word (ε ∷ ἰ ∷ ς ∷ []) "1Thess.3.3"
  ∷ word (τ ∷ ο ∷ ῦ ∷ τ ∷ ο ∷ []) "1Thess.3.3"
  ∷ word (κ ∷ ε ∷ ί ∷ μ ∷ ε ∷ θ ∷ α ∷ []) "1Thess.3.3"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Thess.3.4"
  ∷ word (γ ∷ ὰ ∷ ρ ∷ []) "1Thess.3.4"
  ∷ word (ὅ ∷ τ ∷ ε ∷ []) "1Thess.3.4"
  ∷ word (π ∷ ρ ∷ ὸ ∷ ς ∷ []) "1Thess.3.4"
  ∷ word (ὑ ∷ μ ∷ ᾶ ∷ ς ∷ []) "1Thess.3.4"
  ∷ word (ἦ ∷ μ ∷ ε ∷ ν ∷ []) "1Thess.3.4"
  ∷ word (π ∷ ρ ∷ ο ∷ ε ∷ ∙λ ∷ έ ∷ γ ∷ ο ∷ μ ∷ ε ∷ ν ∷ []) "1Thess.3.4"
  ∷ word (ὑ ∷ μ ∷ ῖ ∷ ν ∷ []) "1Thess.3.4"
  ∷ word (ὅ ∷ τ ∷ ι ∷ []) "1Thess.3.4"
  ∷ word (μ ∷ έ ∷ ∙λ ∷ ∙λ ∷ ο ∷ μ ∷ ε ∷ ν ∷ []) "1Thess.3.4"
  ∷ word (θ ∷ ∙λ ∷ ί ∷ β ∷ ε ∷ σ ∷ θ ∷ α ∷ ι ∷ []) "1Thess.3.4"
  ∷ word (κ ∷ α ∷ θ ∷ ὼ ∷ ς ∷ []) "1Thess.3.4"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Thess.3.4"
  ∷ word (ἐ ∷ γ ∷ έ ∷ ν ∷ ε ∷ τ ∷ ο ∷ []) "1Thess.3.4"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Thess.3.4"
  ∷ word (ο ∷ ἴ ∷ δ ∷ α ∷ τ ∷ ε ∷ []) "1Thess.3.4"
  ∷ word (δ ∷ ι ∷ ὰ ∷ []) "1Thess.3.5"
  ∷ word (τ ∷ ο ∷ ῦ ∷ τ ∷ ο ∷ []) "1Thess.3.5"
  ∷ word (κ ∷ ἀ ∷ γ ∷ ὼ ∷ []) "1Thess.3.5"
  ∷ word (μ ∷ η ∷ κ ∷ έ ∷ τ ∷ ι ∷ []) "1Thess.3.5"
  ∷ word (σ ∷ τ ∷ έ ∷ γ ∷ ω ∷ ν ∷ []) "1Thess.3.5"
  ∷ word (ἔ ∷ π ∷ ε ∷ μ ∷ ψ ∷ α ∷ []) "1Thess.3.5"
  ∷ word (ε ∷ ἰ ∷ ς ∷ []) "1Thess.3.5"
  ∷ word (τ ∷ ὸ ∷ []) "1Thess.3.5"
  ∷ word (γ ∷ ν ∷ ῶ ∷ ν ∷ α ∷ ι ∷ []) "1Thess.3.5"
  ∷ word (τ ∷ ὴ ∷ ν ∷ []) "1Thess.3.5"
  ∷ word (π ∷ ί ∷ σ ∷ τ ∷ ι ∷ ν ∷ []) "1Thess.3.5"
  ∷ word (ὑ ∷ μ ∷ ῶ ∷ ν ∷ []) "1Thess.3.5"
  ∷ word (μ ∷ ή ∷ []) "1Thess.3.5"
  ∷ word (π ∷ ω ∷ ς ∷ []) "1Thess.3.5"
  ∷ word (ἐ ∷ π ∷ ε ∷ ί ∷ ρ ∷ α ∷ σ ∷ ε ∷ ν ∷ []) "1Thess.3.5"
  ∷ word (ὑ ∷ μ ∷ ᾶ ∷ ς ∷ []) "1Thess.3.5"
  ∷ word (ὁ ∷ []) "1Thess.3.5"
  ∷ word (π ∷ ε ∷ ι ∷ ρ ∷ ά ∷ ζ ∷ ω ∷ ν ∷ []) "1Thess.3.5"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Thess.3.5"
  ∷ word (ε ∷ ἰ ∷ ς ∷ []) "1Thess.3.5"
  ∷ word (κ ∷ ε ∷ ν ∷ ὸ ∷ ν ∷ []) "1Thess.3.5"
  ∷ word (γ ∷ έ ∷ ν ∷ η ∷ τ ∷ α ∷ ι ∷ []) "1Thess.3.5"
  ∷ word (ὁ ∷ []) "1Thess.3.5"
  ∷ word (κ ∷ ό ∷ π ∷ ο ∷ ς ∷ []) "1Thess.3.5"
  ∷ word (ἡ ∷ μ ∷ ῶ ∷ ν ∷ []) "1Thess.3.5"
  ∷ word (Ἄ ∷ ρ ∷ τ ∷ ι ∷ []) "1Thess.3.6"
  ∷ word (δ ∷ ὲ ∷ []) "1Thess.3.6"
  ∷ word (ἐ ∷ ∙λ ∷ θ ∷ ό ∷ ν ∷ τ ∷ ο ∷ ς ∷ []) "1Thess.3.6"
  ∷ word (Τ ∷ ι ∷ μ ∷ ο ∷ θ ∷ έ ∷ ο ∷ υ ∷ []) "1Thess.3.6"
  ∷ word (π ∷ ρ ∷ ὸ ∷ ς ∷ []) "1Thess.3.6"
  ∷ word (ἡ ∷ μ ∷ ᾶ ∷ ς ∷ []) "1Thess.3.6"
  ∷ word (ἀ ∷ φ ∷ []) "1Thess.3.6"
  ∷ word (ὑ ∷ μ ∷ ῶ ∷ ν ∷ []) "1Thess.3.6"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Thess.3.6"
  ∷ word (ε ∷ ὐ ∷ α ∷ γ ∷ γ ∷ ε ∷ ∙λ ∷ ι ∷ σ ∷ α ∷ μ ∷ έ ∷ ν ∷ ο ∷ υ ∷ []) "1Thess.3.6"
  ∷ word (ἡ ∷ μ ∷ ῖ ∷ ν ∷ []) "1Thess.3.6"
  ∷ word (τ ∷ ὴ ∷ ν ∷ []) "1Thess.3.6"
  ∷ word (π ∷ ί ∷ σ ∷ τ ∷ ι ∷ ν ∷ []) "1Thess.3.6"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Thess.3.6"
  ∷ word (τ ∷ ὴ ∷ ν ∷ []) "1Thess.3.6"
  ∷ word (ἀ ∷ γ ∷ ά ∷ π ∷ η ∷ ν ∷ []) "1Thess.3.6"
  ∷ word (ὑ ∷ μ ∷ ῶ ∷ ν ∷ []) "1Thess.3.6"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Thess.3.6"
  ∷ word (ὅ ∷ τ ∷ ι ∷ []) "1Thess.3.6"
  ∷ word (ἔ ∷ χ ∷ ε ∷ τ ∷ ε ∷ []) "1Thess.3.6"
  ∷ word (μ ∷ ν ∷ ε ∷ ί ∷ α ∷ ν ∷ []) "1Thess.3.6"
  ∷ word (ἡ ∷ μ ∷ ῶ ∷ ν ∷ []) "1Thess.3.6"
  ∷ word (ἀ ∷ γ ∷ α ∷ θ ∷ ὴ ∷ ν ∷ []) "1Thess.3.6"
  ∷ word (π ∷ ά ∷ ν ∷ τ ∷ ο ∷ τ ∷ ε ∷ []) "1Thess.3.6"
  ∷ word (ἐ ∷ π ∷ ι ∷ π ∷ ο ∷ θ ∷ ο ∷ ῦ ∷ ν ∷ τ ∷ ε ∷ ς ∷ []) "1Thess.3.6"
  ∷ word (ἡ ∷ μ ∷ ᾶ ∷ ς ∷ []) "1Thess.3.6"
  ∷ word (ἰ ∷ δ ∷ ε ∷ ῖ ∷ ν ∷ []) "1Thess.3.6"
  ∷ word (κ ∷ α ∷ θ ∷ ά ∷ π ∷ ε ∷ ρ ∷ []) "1Thess.3.6"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Thess.3.6"
  ∷ word (ἡ ∷ μ ∷ ε ∷ ῖ ∷ ς ∷ []) "1Thess.3.6"
  ∷ word (ὑ ∷ μ ∷ ᾶ ∷ ς ∷ []) "1Thess.3.6"
  ∷ word (δ ∷ ι ∷ ὰ ∷ []) "1Thess.3.7"
  ∷ word (τ ∷ ο ∷ ῦ ∷ τ ∷ ο ∷ []) "1Thess.3.7"
  ∷ word (π ∷ α ∷ ρ ∷ ε ∷ κ ∷ ∙λ ∷ ή ∷ θ ∷ η ∷ μ ∷ ε ∷ ν ∷ []) "1Thess.3.7"
  ∷ word (ἀ ∷ δ ∷ ε ∷ ∙λ ∷ φ ∷ ο ∷ ί ∷ []) "1Thess.3.7"
  ∷ word (ἐ ∷ φ ∷ []) "1Thess.3.7"
  ∷ word (ὑ ∷ μ ∷ ῖ ∷ ν ∷ []) "1Thess.3.7"
  ∷ word (ἐ ∷ π ∷ ὶ ∷ []) "1Thess.3.7"
  ∷ word (π ∷ ά ∷ σ ∷ ῃ ∷ []) "1Thess.3.7"
  ∷ word (τ ∷ ῇ ∷ []) "1Thess.3.7"
  ∷ word (ἀ ∷ ν ∷ ά ∷ γ ∷ κ ∷ ῃ ∷ []) "1Thess.3.7"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Thess.3.7"
  ∷ word (θ ∷ ∙λ ∷ ί ∷ ψ ∷ ε ∷ ι ∷ []) "1Thess.3.7"
  ∷ word (ἡ ∷ μ ∷ ῶ ∷ ν ∷ []) "1Thess.3.7"
  ∷ word (δ ∷ ι ∷ ὰ ∷ []) "1Thess.3.7"
  ∷ word (τ ∷ ῆ ∷ ς ∷ []) "1Thess.3.7"
  ∷ word (ὑ ∷ μ ∷ ῶ ∷ ν ∷ []) "1Thess.3.7"
  ∷ word (π ∷ ί ∷ σ ∷ τ ∷ ε ∷ ω ∷ ς ∷ []) "1Thess.3.7"
  ∷ word (ὅ ∷ τ ∷ ι ∷ []) "1Thess.3.8"
  ∷ word (ν ∷ ῦ ∷ ν ∷ []) "1Thess.3.8"
  ∷ word (ζ ∷ ῶ ∷ μ ∷ ε ∷ ν ∷ []) "1Thess.3.8"
  ∷ word (ἐ ∷ ὰ ∷ ν ∷ []) "1Thess.3.8"
  ∷ word (ὑ ∷ μ ∷ ε ∷ ῖ ∷ ς ∷ []) "1Thess.3.8"
  ∷ word (σ ∷ τ ∷ ή ∷ κ ∷ ε ∷ τ ∷ ε ∷ []) "1Thess.3.8"
  ∷ word (ἐ ∷ ν ∷ []) "1Thess.3.8"
  ∷ word (κ ∷ υ ∷ ρ ∷ ί ∷ ῳ ∷ []) "1Thess.3.8"
  ∷ word (τ ∷ ί ∷ ν ∷ α ∷ []) "1Thess.3.9"
  ∷ word (γ ∷ ὰ ∷ ρ ∷ []) "1Thess.3.9"
  ∷ word (ε ∷ ὐ ∷ χ ∷ α ∷ ρ ∷ ι ∷ σ ∷ τ ∷ ί ∷ α ∷ ν ∷ []) "1Thess.3.9"
  ∷ word (δ ∷ υ ∷ ν ∷ ά ∷ μ ∷ ε ∷ θ ∷ α ∷ []) "1Thess.3.9"
  ∷ word (τ ∷ ῷ ∷ []) "1Thess.3.9"
  ∷ word (θ ∷ ε ∷ ῷ ∷ []) "1Thess.3.9"
  ∷ word (ἀ ∷ ν ∷ τ ∷ α ∷ π ∷ ο ∷ δ ∷ ο ∷ ῦ ∷ ν ∷ α ∷ ι ∷ []) "1Thess.3.9"
  ∷ word (π ∷ ε ∷ ρ ∷ ὶ ∷ []) "1Thess.3.9"
  ∷ word (ὑ ∷ μ ∷ ῶ ∷ ν ∷ []) "1Thess.3.9"
  ∷ word (ἐ ∷ π ∷ ὶ ∷ []) "1Thess.3.9"
  ∷ word (π ∷ ά ∷ σ ∷ ῃ ∷ []) "1Thess.3.9"
  ∷ word (τ ∷ ῇ ∷ []) "1Thess.3.9"
  ∷ word (χ ∷ α ∷ ρ ∷ ᾷ ∷ []) "1Thess.3.9"
  ∷ word (ᾗ ∷ []) "1Thess.3.9"
  ∷ word (χ ∷ α ∷ ί ∷ ρ ∷ ο ∷ μ ∷ ε ∷ ν ∷ []) "1Thess.3.9"
  ∷ word (δ ∷ ι ∷ []) "1Thess.3.9"
  ∷ word (ὑ ∷ μ ∷ ᾶ ∷ ς ∷ []) "1Thess.3.9"
  ∷ word (ἔ ∷ μ ∷ π ∷ ρ ∷ ο ∷ σ ∷ θ ∷ ε ∷ ν ∷ []) "1Thess.3.9"
  ∷ word (τ ∷ ο ∷ ῦ ∷ []) "1Thess.3.9"
  ∷ word (θ ∷ ε ∷ ο ∷ ῦ ∷ []) "1Thess.3.9"
  ∷ word (ἡ ∷ μ ∷ ῶ ∷ ν ∷ []) "1Thess.3.9"
  ∷ word (ν ∷ υ ∷ κ ∷ τ ∷ ὸ ∷ ς ∷ []) "1Thess.3.10"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Thess.3.10"
  ∷ word (ἡ ∷ μ ∷ έ ∷ ρ ∷ α ∷ ς ∷ []) "1Thess.3.10"
  ∷ word (ὑ ∷ π ∷ ε ∷ ρ ∷ ε ∷ κ ∷ π ∷ ε ∷ ρ ∷ ι ∷ σ ∷ σ ∷ ο ∷ ῦ ∷ []) "1Thess.3.10"
  ∷ word (δ ∷ ε ∷ ό ∷ μ ∷ ε ∷ ν ∷ ο ∷ ι ∷ []) "1Thess.3.10"
  ∷ word (ε ∷ ἰ ∷ ς ∷ []) "1Thess.3.10"
  ∷ word (τ ∷ ὸ ∷ []) "1Thess.3.10"
  ∷ word (ἰ ∷ δ ∷ ε ∷ ῖ ∷ ν ∷ []) "1Thess.3.10"
  ∷ word (ὑ ∷ μ ∷ ῶ ∷ ν ∷ []) "1Thess.3.10"
  ∷ word (τ ∷ ὸ ∷ []) "1Thess.3.10"
  ∷ word (π ∷ ρ ∷ ό ∷ σ ∷ ω ∷ π ∷ ο ∷ ν ∷ []) "1Thess.3.10"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Thess.3.10"
  ∷ word (κ ∷ α ∷ τ ∷ α ∷ ρ ∷ τ ∷ ί ∷ σ ∷ α ∷ ι ∷ []) "1Thess.3.10"
  ∷ word (τ ∷ ὰ ∷ []) "1Thess.3.10"
  ∷ word (ὑ ∷ σ ∷ τ ∷ ε ∷ ρ ∷ ή ∷ μ ∷ α ∷ τ ∷ α ∷ []) "1Thess.3.10"
  ∷ word (τ ∷ ῆ ∷ ς ∷ []) "1Thess.3.10"
  ∷ word (π ∷ ί ∷ σ ∷ τ ∷ ε ∷ ω ∷ ς ∷ []) "1Thess.3.10"
  ∷ word (ὑ ∷ μ ∷ ῶ ∷ ν ∷ []) "1Thess.3.10"
  ∷ word (Α ∷ ὐ ∷ τ ∷ ὸ ∷ ς ∷ []) "1Thess.3.11"
  ∷ word (δ ∷ ὲ ∷ []) "1Thess.3.11"
  ∷ word (ὁ ∷ []) "1Thess.3.11"
  ∷ word (θ ∷ ε ∷ ὸ ∷ ς ∷ []) "1Thess.3.11"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Thess.3.11"
  ∷ word (π ∷ α ∷ τ ∷ ὴ ∷ ρ ∷ []) "1Thess.3.11"
  ∷ word (ἡ ∷ μ ∷ ῶ ∷ ν ∷ []) "1Thess.3.11"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Thess.3.11"
  ∷ word (ὁ ∷ []) "1Thess.3.11"
  ∷ word (κ ∷ ύ ∷ ρ ∷ ι ∷ ο ∷ ς ∷ []) "1Thess.3.11"
  ∷ word (ἡ ∷ μ ∷ ῶ ∷ ν ∷ []) "1Thess.3.11"
  ∷ word (Ἰ ∷ η ∷ σ ∷ ο ∷ ῦ ∷ ς ∷ []) "1Thess.3.11"
  ∷ word (κ ∷ α ∷ τ ∷ ε ∷ υ ∷ θ ∷ ύ ∷ ν ∷ α ∷ ι ∷ []) "1Thess.3.11"
  ∷ word (τ ∷ ὴ ∷ ν ∷ []) "1Thess.3.11"
  ∷ word (ὁ ∷ δ ∷ ὸ ∷ ν ∷ []) "1Thess.3.11"
  ∷ word (ἡ ∷ μ ∷ ῶ ∷ ν ∷ []) "1Thess.3.11"
  ∷ word (π ∷ ρ ∷ ὸ ∷ ς ∷ []) "1Thess.3.11"
  ∷ word (ὑ ∷ μ ∷ ᾶ ∷ ς ∷ []) "1Thess.3.11"
  ∷ word (ὑ ∷ μ ∷ ᾶ ∷ ς ∷ []) "1Thess.3.12"
  ∷ word (δ ∷ ὲ ∷ []) "1Thess.3.12"
  ∷ word (ὁ ∷ []) "1Thess.3.12"
  ∷ word (κ ∷ ύ ∷ ρ ∷ ι ∷ ο ∷ ς ∷ []) "1Thess.3.12"
  ∷ word (π ∷ ∙λ ∷ ε ∷ ο ∷ ν ∷ ά ∷ σ ∷ α ∷ ι ∷ []) "1Thess.3.12"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Thess.3.12"
  ∷ word (π ∷ ε ∷ ρ ∷ ι ∷ σ ∷ σ ∷ ε ∷ ύ ∷ σ ∷ α ∷ ι ∷ []) "1Thess.3.12"
  ∷ word (τ ∷ ῇ ∷ []) "1Thess.3.12"
  ∷ word (ἀ ∷ γ ∷ ά ∷ π ∷ ῃ ∷ []) "1Thess.3.12"
  ∷ word (ε ∷ ἰ ∷ ς ∷ []) "1Thess.3.12"
  ∷ word (ἀ ∷ ∙λ ∷ ∙λ ∷ ή ∷ ∙λ ∷ ο ∷ υ ∷ ς ∷ []) "1Thess.3.12"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Thess.3.12"
  ∷ word (ε ∷ ἰ ∷ ς ∷ []) "1Thess.3.12"
  ∷ word (π ∷ ά ∷ ν ∷ τ ∷ α ∷ ς ∷ []) "1Thess.3.12"
  ∷ word (κ ∷ α ∷ θ ∷ ά ∷ π ∷ ε ∷ ρ ∷ []) "1Thess.3.12"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Thess.3.12"
  ∷ word (ἡ ∷ μ ∷ ε ∷ ῖ ∷ ς ∷ []) "1Thess.3.12"
  ∷ word (ε ∷ ἰ ∷ ς ∷ []) "1Thess.3.12"
  ∷ word (ὑ ∷ μ ∷ ᾶ ∷ ς ∷ []) "1Thess.3.12"
  ∷ word (ε ∷ ἰ ∷ ς ∷ []) "1Thess.3.13"
  ∷ word (τ ∷ ὸ ∷ []) "1Thess.3.13"
  ∷ word (σ ∷ τ ∷ η ∷ ρ ∷ ί ∷ ξ ∷ α ∷ ι ∷ []) "1Thess.3.13"
  ∷ word (ὑ ∷ μ ∷ ῶ ∷ ν ∷ []) "1Thess.3.13"
  ∷ word (τ ∷ ὰ ∷ ς ∷ []) "1Thess.3.13"
  ∷ word (κ ∷ α ∷ ρ ∷ δ ∷ ί ∷ α ∷ ς ∷ []) "1Thess.3.13"
  ∷ word (ἀ ∷ μ ∷ έ ∷ μ ∷ π ∷ τ ∷ ο ∷ υ ∷ ς ∷ []) "1Thess.3.13"
  ∷ word (ἐ ∷ ν ∷ []) "1Thess.3.13"
  ∷ word (ἁ ∷ γ ∷ ι ∷ ω ∷ σ ∷ ύ ∷ ν ∷ ῃ ∷ []) "1Thess.3.13"
  ∷ word (ἔ ∷ μ ∷ π ∷ ρ ∷ ο ∷ σ ∷ θ ∷ ε ∷ ν ∷ []) "1Thess.3.13"
  ∷ word (τ ∷ ο ∷ ῦ ∷ []) "1Thess.3.13"
  ∷ word (θ ∷ ε ∷ ο ∷ ῦ ∷ []) "1Thess.3.13"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Thess.3.13"
  ∷ word (π ∷ α ∷ τ ∷ ρ ∷ ὸ ∷ ς ∷ []) "1Thess.3.13"
  ∷ word (ἡ ∷ μ ∷ ῶ ∷ ν ∷ []) "1Thess.3.13"
  ∷ word (ἐ ∷ ν ∷ []) "1Thess.3.13"
  ∷ word (τ ∷ ῇ ∷ []) "1Thess.3.13"
  ∷ word (π ∷ α ∷ ρ ∷ ο ∷ υ ∷ σ ∷ ί ∷ ᾳ ∷ []) "1Thess.3.13"
  ∷ word (τ ∷ ο ∷ ῦ ∷ []) "1Thess.3.13"
  ∷ word (κ ∷ υ ∷ ρ ∷ ί ∷ ο ∷ υ ∷ []) "1Thess.3.13"
  ∷ word (ἡ ∷ μ ∷ ῶ ∷ ν ∷ []) "1Thess.3.13"
  ∷ word (Ἰ ∷ η ∷ σ ∷ ο ∷ ῦ ∷ []) "1Thess.3.13"
  ∷ word (μ ∷ ε ∷ τ ∷ ὰ ∷ []) "1Thess.3.13"
  ∷ word (π ∷ ά ∷ ν ∷ τ ∷ ω ∷ ν ∷ []) "1Thess.3.13"
  ∷ word (τ ∷ ῶ ∷ ν ∷ []) "1Thess.3.13"
  ∷ word (ἁ ∷ γ ∷ ί ∷ ω ∷ ν ∷ []) "1Thess.3.13"
  ∷ word (α ∷ ὐ ∷ τ ∷ ο ∷ ῦ ∷ []) "1Thess.3.13"
  ∷ word (Λ ∷ ο ∷ ι ∷ π ∷ ὸ ∷ ν ∷ []) "1Thess.4.1"
  ∷ word (ο ∷ ὖ ∷ ν ∷ []) "1Thess.4.1"
  ∷ word (ἀ ∷ δ ∷ ε ∷ ∙λ ∷ φ ∷ ο ∷ ί ∷ []) "1Thess.4.1"
  ∷ word (ἐ ∷ ρ ∷ ω ∷ τ ∷ ῶ ∷ μ ∷ ε ∷ ν ∷ []) "1Thess.4.1"
  ∷ word (ὑ ∷ μ ∷ ᾶ ∷ ς ∷ []) "1Thess.4.1"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Thess.4.1"
  ∷ word (π ∷ α ∷ ρ ∷ α ∷ κ ∷ α ∷ ∙λ ∷ ο ∷ ῦ ∷ μ ∷ ε ∷ ν ∷ []) "1Thess.4.1"
  ∷ word (ἐ ∷ ν ∷ []) "1Thess.4.1"
  ∷ word (κ ∷ υ ∷ ρ ∷ ί ∷ ῳ ∷ []) "1Thess.4.1"
  ∷ word (Ἰ ∷ η ∷ σ ∷ ο ∷ ῦ ∷ []) "1Thess.4.1"
  ∷ word (ἵ ∷ ν ∷ α ∷ []) "1Thess.4.1"
  ∷ word (κ ∷ α ∷ θ ∷ ὼ ∷ ς ∷ []) "1Thess.4.1"
  ∷ word (π ∷ α ∷ ρ ∷ ε ∷ ∙λ ∷ ά ∷ β ∷ ε ∷ τ ∷ ε ∷ []) "1Thess.4.1"
  ∷ word (π ∷ α ∷ ρ ∷ []) "1Thess.4.1"
  ∷ word (ἡ ∷ μ ∷ ῶ ∷ ν ∷ []) "1Thess.4.1"
  ∷ word (τ ∷ ὸ ∷ []) "1Thess.4.1"
  ∷ word (π ∷ ῶ ∷ ς ∷ []) "1Thess.4.1"
  ∷ word (δ ∷ ε ∷ ῖ ∷ []) "1Thess.4.1"
  ∷ word (ὑ ∷ μ ∷ ᾶ ∷ ς ∷ []) "1Thess.4.1"
  ∷ word (π ∷ ε ∷ ρ ∷ ι ∷ π ∷ α ∷ τ ∷ ε ∷ ῖ ∷ ν ∷ []) "1Thess.4.1"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Thess.4.1"
  ∷ word (ἀ ∷ ρ ∷ έ ∷ σ ∷ κ ∷ ε ∷ ι ∷ ν ∷ []) "1Thess.4.1"
  ∷ word (θ ∷ ε ∷ ῷ ∷ []) "1Thess.4.1"
  ∷ word (κ ∷ α ∷ θ ∷ ὼ ∷ ς ∷ []) "1Thess.4.1"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Thess.4.1"
  ∷ word (π ∷ ε ∷ ρ ∷ ι ∷ π ∷ α ∷ τ ∷ ε ∷ ῖ ∷ τ ∷ ε ∷ []) "1Thess.4.1"
  ∷ word (ἵ ∷ ν ∷ α ∷ []) "1Thess.4.1"
  ∷ word (π ∷ ε ∷ ρ ∷ ι ∷ σ ∷ σ ∷ ε ∷ ύ ∷ η ∷ τ ∷ ε ∷ []) "1Thess.4.1"
  ∷ word (μ ∷ ᾶ ∷ ∙λ ∷ ∙λ ∷ ο ∷ ν ∷ []) "1Thess.4.1"
  ∷ word (ο ∷ ἴ ∷ δ ∷ α ∷ τ ∷ ε ∷ []) "1Thess.4.2"
  ∷ word (γ ∷ ὰ ∷ ρ ∷ []) "1Thess.4.2"
  ∷ word (τ ∷ ί ∷ ν ∷ α ∷ ς ∷ []) "1Thess.4.2"
  ∷ word (π ∷ α ∷ ρ ∷ α ∷ γ ∷ γ ∷ ε ∷ ∙λ ∷ ί ∷ α ∷ ς ∷ []) "1Thess.4.2"
  ∷ word (ἐ ∷ δ ∷ ώ ∷ κ ∷ α ∷ μ ∷ ε ∷ ν ∷ []) "1Thess.4.2"
  ∷ word (ὑ ∷ μ ∷ ῖ ∷ ν ∷ []) "1Thess.4.2"
  ∷ word (δ ∷ ι ∷ ὰ ∷ []) "1Thess.4.2"
  ∷ word (τ ∷ ο ∷ ῦ ∷ []) "1Thess.4.2"
  ∷ word (κ ∷ υ ∷ ρ ∷ ί ∷ ο ∷ υ ∷ []) "1Thess.4.2"
  ∷ word (Ἰ ∷ η ∷ σ ∷ ο ∷ ῦ ∷ []) "1Thess.4.2"
  ∷ word (τ ∷ ο ∷ ῦ ∷ τ ∷ ο ∷ []) "1Thess.4.3"
  ∷ word (γ ∷ ά ∷ ρ ∷ []) "1Thess.4.3"
  ∷ word (ἐ ∷ σ ∷ τ ∷ ι ∷ ν ∷ []) "1Thess.4.3"
  ∷ word (θ ∷ έ ∷ ∙λ ∷ η ∷ μ ∷ α ∷ []) "1Thess.4.3"
  ∷ word (τ ∷ ο ∷ ῦ ∷ []) "1Thess.4.3"
  ∷ word (θ ∷ ε ∷ ο ∷ ῦ ∷ []) "1Thess.4.3"
  ∷ word (ὁ ∷ []) "1Thess.4.3"
  ∷ word (ἁ ∷ γ ∷ ι ∷ α ∷ σ ∷ μ ∷ ὸ ∷ ς ∷ []) "1Thess.4.3"
  ∷ word (ὑ ∷ μ ∷ ῶ ∷ ν ∷ []) "1Thess.4.3"
  ∷ word (ἀ ∷ π ∷ έ ∷ χ ∷ ε ∷ σ ∷ θ ∷ α ∷ ι ∷ []) "1Thess.4.3"
  ∷ word (ὑ ∷ μ ∷ ᾶ ∷ ς ∷ []) "1Thess.4.3"
  ∷ word (ἀ ∷ π ∷ ὸ ∷ []) "1Thess.4.3"
  ∷ word (τ ∷ ῆ ∷ ς ∷ []) "1Thess.4.3"
  ∷ word (π ∷ ο ∷ ρ ∷ ν ∷ ε ∷ ί ∷ α ∷ ς ∷ []) "1Thess.4.3"
  ∷ word (ε ∷ ἰ ∷ δ ∷ έ ∷ ν ∷ α ∷ ι ∷ []) "1Thess.4.4"
  ∷ word (ἕ ∷ κ ∷ α ∷ σ ∷ τ ∷ ο ∷ ν ∷ []) "1Thess.4.4"
  ∷ word (ὑ ∷ μ ∷ ῶ ∷ ν ∷ []) "1Thess.4.4"
  ∷ word (τ ∷ ὸ ∷ []) "1Thess.4.4"
  ∷ word (ἑ ∷ α ∷ υ ∷ τ ∷ ο ∷ ῦ ∷ []) "1Thess.4.4"
  ∷ word (σ ∷ κ ∷ ε ∷ ῦ ∷ ο ∷ ς ∷ []) "1Thess.4.4"
  ∷ word (κ ∷ τ ∷ ᾶ ∷ σ ∷ θ ∷ α ∷ ι ∷ []) "1Thess.4.4"
  ∷ word (ἐ ∷ ν ∷ []) "1Thess.4.4"
  ∷ word (ἁ ∷ γ ∷ ι ∷ α ∷ σ ∷ μ ∷ ῷ ∷ []) "1Thess.4.4"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Thess.4.4"
  ∷ word (τ ∷ ι ∷ μ ∷ ῇ ∷ []) "1Thess.4.4"
  ∷ word (μ ∷ ὴ ∷ []) "1Thess.4.5"
  ∷ word (ἐ ∷ ν ∷ []) "1Thess.4.5"
  ∷ word (π ∷ ά ∷ θ ∷ ε ∷ ι ∷ []) "1Thess.4.5"
  ∷ word (ἐ ∷ π ∷ ι ∷ θ ∷ υ ∷ μ ∷ ί ∷ α ∷ ς ∷ []) "1Thess.4.5"
  ∷ word (κ ∷ α ∷ θ ∷ ά ∷ π ∷ ε ∷ ρ ∷ []) "1Thess.4.5"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Thess.4.5"
  ∷ word (τ ∷ ὰ ∷ []) "1Thess.4.5"
  ∷ word (ἔ ∷ θ ∷ ν ∷ η ∷ []) "1Thess.4.5"
  ∷ word (τ ∷ ὰ ∷ []) "1Thess.4.5"
  ∷ word (μ ∷ ὴ ∷ []) "1Thess.4.5"
  ∷ word (ε ∷ ἰ ∷ δ ∷ ό ∷ τ ∷ α ∷ []) "1Thess.4.5"
  ∷ word (τ ∷ ὸ ∷ ν ∷ []) "1Thess.4.5"
  ∷ word (θ ∷ ε ∷ ό ∷ ν ∷ []) "1Thess.4.5"
  ∷ word (τ ∷ ὸ ∷ []) "1Thess.4.6"
  ∷ word (μ ∷ ὴ ∷ []) "1Thess.4.6"
  ∷ word (ὑ ∷ π ∷ ε ∷ ρ ∷ β ∷ α ∷ ί ∷ ν ∷ ε ∷ ι ∷ ν ∷ []) "1Thess.4.6"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Thess.4.6"
  ∷ word (π ∷ ∙λ ∷ ε ∷ ο ∷ ν ∷ ε ∷ κ ∷ τ ∷ ε ∷ ῖ ∷ ν ∷ []) "1Thess.4.6"
  ∷ word (ἐ ∷ ν ∷ []) "1Thess.4.6"
  ∷ word (τ ∷ ῷ ∷ []) "1Thess.4.6"
  ∷ word (π ∷ ρ ∷ ά ∷ γ ∷ μ ∷ α ∷ τ ∷ ι ∷ []) "1Thess.4.6"
  ∷ word (τ ∷ ὸ ∷ ν ∷ []) "1Thess.4.6"
  ∷ word (ἀ ∷ δ ∷ ε ∷ ∙λ ∷ φ ∷ ὸ ∷ ν ∷ []) "1Thess.4.6"
  ∷ word (α ∷ ὐ ∷ τ ∷ ο ∷ ῦ ∷ []) "1Thess.4.6"
  ∷ word (δ ∷ ι ∷ ό ∷ τ ∷ ι ∷ []) "1Thess.4.6"
  ∷ word (ἔ ∷ κ ∷ δ ∷ ι ∷ κ ∷ ο ∷ ς ∷ []) "1Thess.4.6"
  ∷ word (κ ∷ ύ ∷ ρ ∷ ι ∷ ο ∷ ς ∷ []) "1Thess.4.6"
  ∷ word (π ∷ ε ∷ ρ ∷ ὶ ∷ []) "1Thess.4.6"
  ∷ word (π ∷ ά ∷ ν ∷ τ ∷ ω ∷ ν ∷ []) "1Thess.4.6"
  ∷ word (τ ∷ ο ∷ ύ ∷ τ ∷ ω ∷ ν ∷ []) "1Thess.4.6"
  ∷ word (κ ∷ α ∷ θ ∷ ὼ ∷ ς ∷ []) "1Thess.4.6"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Thess.4.6"
  ∷ word (π ∷ ρ ∷ ο ∷ ε ∷ ί ∷ π ∷ α ∷ μ ∷ ε ∷ ν ∷ []) "1Thess.4.6"
  ∷ word (ὑ ∷ μ ∷ ῖ ∷ ν ∷ []) "1Thess.4.6"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Thess.4.6"
  ∷ word (δ ∷ ι ∷ ε ∷ μ ∷ α ∷ ρ ∷ τ ∷ υ ∷ ρ ∷ ά ∷ μ ∷ ε ∷ θ ∷ α ∷ []) "1Thess.4.6"
  ∷ word (ο ∷ ὐ ∷ []) "1Thess.4.7"
  ∷ word (γ ∷ ὰ ∷ ρ ∷ []) "1Thess.4.7"
  ∷ word (ἐ ∷ κ ∷ ά ∷ ∙λ ∷ ε ∷ σ ∷ ε ∷ ν ∷ []) "1Thess.4.7"
  ∷ word (ἡ ∷ μ ∷ ᾶ ∷ ς ∷ []) "1Thess.4.7"
  ∷ word (ὁ ∷ []) "1Thess.4.7"
  ∷ word (θ ∷ ε ∷ ὸ ∷ ς ∷ []) "1Thess.4.7"
  ∷ word (ἐ ∷ π ∷ ὶ ∷ []) "1Thess.4.7"
  ∷ word (ἀ ∷ κ ∷ α ∷ θ ∷ α ∷ ρ ∷ σ ∷ ί ∷ ᾳ ∷ []) "1Thess.4.7"
  ∷ word (ἀ ∷ ∙λ ∷ ∙λ ∷ []) "1Thess.4.7"
  ∷ word (ἐ ∷ ν ∷ []) "1Thess.4.7"
  ∷ word (ἁ ∷ γ ∷ ι ∷ α ∷ σ ∷ μ ∷ ῷ ∷ []) "1Thess.4.7"
  ∷ word (τ ∷ ο ∷ ι ∷ γ ∷ α ∷ ρ ∷ ο ∷ ῦ ∷ ν ∷ []) "1Thess.4.8"
  ∷ word (ὁ ∷ []) "1Thess.4.8"
  ∷ word (ἀ ∷ θ ∷ ε ∷ τ ∷ ῶ ∷ ν ∷ []) "1Thess.4.8"
  ∷ word (ο ∷ ὐ ∷ κ ∷ []) "1Thess.4.8"
  ∷ word (ἄ ∷ ν ∷ θ ∷ ρ ∷ ω ∷ π ∷ ο ∷ ν ∷ []) "1Thess.4.8"
  ∷ word (ἀ ∷ θ ∷ ε ∷ τ ∷ ε ∷ ῖ ∷ []) "1Thess.4.8"
  ∷ word (ἀ ∷ ∙λ ∷ ∙λ ∷ ὰ ∷ []) "1Thess.4.8"
  ∷ word (τ ∷ ὸ ∷ ν ∷ []) "1Thess.4.8"
  ∷ word (θ ∷ ε ∷ ὸ ∷ ν ∷ []) "1Thess.4.8"
  ∷ word (τ ∷ ὸ ∷ ν ∷ []) "1Thess.4.8"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Thess.4.8"
  ∷ word (δ ∷ ι ∷ δ ∷ ό ∷ ν ∷ τ ∷ α ∷ []) "1Thess.4.8"
  ∷ word (τ ∷ ὸ ∷ []) "1Thess.4.8"
  ∷ word (π ∷ ν ∷ ε ∷ ῦ ∷ μ ∷ α ∷ []) "1Thess.4.8"
  ∷ word (α ∷ ὐ ∷ τ ∷ ο ∷ ῦ ∷ []) "1Thess.4.8"
  ∷ word (τ ∷ ὸ ∷ []) "1Thess.4.8"
  ∷ word (ἅ ∷ γ ∷ ι ∷ ο ∷ ν ∷ []) "1Thess.4.8"
  ∷ word (ε ∷ ἰ ∷ ς ∷ []) "1Thess.4.8"
  ∷ word (ὑ ∷ μ ∷ ᾶ ∷ ς ∷ []) "1Thess.4.8"
  ∷ word (Π ∷ ε ∷ ρ ∷ ὶ ∷ []) "1Thess.4.9"
  ∷ word (δ ∷ ὲ ∷ []) "1Thess.4.9"
  ∷ word (τ ∷ ῆ ∷ ς ∷ []) "1Thess.4.9"
  ∷ word (φ ∷ ι ∷ ∙λ ∷ α ∷ δ ∷ ε ∷ ∙λ ∷ φ ∷ ί ∷ α ∷ ς ∷ []) "1Thess.4.9"
  ∷ word (ο ∷ ὐ ∷ []) "1Thess.4.9"
  ∷ word (χ ∷ ρ ∷ ε ∷ ί ∷ α ∷ ν ∷ []) "1Thess.4.9"
  ∷ word (ἔ ∷ χ ∷ ε ∷ τ ∷ ε ∷ []) "1Thess.4.9"
  ∷ word (γ ∷ ρ ∷ ά ∷ φ ∷ ε ∷ ι ∷ ν ∷ []) "1Thess.4.9"
  ∷ word (ὑ ∷ μ ∷ ῖ ∷ ν ∷ []) "1Thess.4.9"
  ∷ word (α ∷ ὐ ∷ τ ∷ ο ∷ ὶ ∷ []) "1Thess.4.9"
  ∷ word (γ ∷ ὰ ∷ ρ ∷ []) "1Thess.4.9"
  ∷ word (ὑ ∷ μ ∷ ε ∷ ῖ ∷ ς ∷ []) "1Thess.4.9"
  ∷ word (θ ∷ ε ∷ ο ∷ δ ∷ ί ∷ δ ∷ α ∷ κ ∷ τ ∷ ο ∷ ί ∷ []) "1Thess.4.9"
  ∷ word (ἐ ∷ σ ∷ τ ∷ ε ∷ []) "1Thess.4.9"
  ∷ word (ε ∷ ἰ ∷ ς ∷ []) "1Thess.4.9"
  ∷ word (τ ∷ ὸ ∷ []) "1Thess.4.9"
  ∷ word (ἀ ∷ γ ∷ α ∷ π ∷ ᾶ ∷ ν ∷ []) "1Thess.4.9"
  ∷ word (ἀ ∷ ∙λ ∷ ∙λ ∷ ή ∷ ∙λ ∷ ο ∷ υ ∷ ς ∷ []) "1Thess.4.9"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Thess.4.10"
  ∷ word (γ ∷ ὰ ∷ ρ ∷ []) "1Thess.4.10"
  ∷ word (π ∷ ο ∷ ι ∷ ε ∷ ῖ ∷ τ ∷ ε ∷ []) "1Thess.4.10"
  ∷ word (α ∷ ὐ ∷ τ ∷ ὸ ∷ []) "1Thess.4.10"
  ∷ word (ε ∷ ἰ ∷ ς ∷ []) "1Thess.4.10"
  ∷ word (π ∷ ά ∷ ν ∷ τ ∷ α ∷ ς ∷ []) "1Thess.4.10"
  ∷ word (τ ∷ ο ∷ ὺ ∷ ς ∷ []) "1Thess.4.10"
  ∷ word (ἀ ∷ δ ∷ ε ∷ ∙λ ∷ φ ∷ ο ∷ ὺ ∷ ς ∷ []) "1Thess.4.10"
  ∷ word (τ ∷ ο ∷ ὺ ∷ ς ∷ []) "1Thess.4.10"
  ∷ word (ἐ ∷ ν ∷ []) "1Thess.4.10"
  ∷ word (ὅ ∷ ∙λ ∷ ῃ ∷ []) "1Thess.4.10"
  ∷ word (τ ∷ ῇ ∷ []) "1Thess.4.10"
  ∷ word (Μ ∷ α ∷ κ ∷ ε ∷ δ ∷ ο ∷ ν ∷ ί ∷ ᾳ ∷ []) "1Thess.4.10"
  ∷ word (π ∷ α ∷ ρ ∷ α ∷ κ ∷ α ∷ ∙λ ∷ ο ∷ ῦ ∷ μ ∷ ε ∷ ν ∷ []) "1Thess.4.10"
  ∷ word (δ ∷ ὲ ∷ []) "1Thess.4.10"
  ∷ word (ὑ ∷ μ ∷ ᾶ ∷ ς ∷ []) "1Thess.4.10"
  ∷ word (ἀ ∷ δ ∷ ε ∷ ∙λ ∷ φ ∷ ο ∷ ί ∷ []) "1Thess.4.10"
  ∷ word (π ∷ ε ∷ ρ ∷ ι ∷ σ ∷ σ ∷ ε ∷ ύ ∷ ε ∷ ι ∷ ν ∷ []) "1Thess.4.10"
  ∷ word (μ ∷ ᾶ ∷ ∙λ ∷ ∙λ ∷ ο ∷ ν ∷ []) "1Thess.4.10"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Thess.4.11"
  ∷ word (φ ∷ ι ∷ ∙λ ∷ ο ∷ τ ∷ ι ∷ μ ∷ ε ∷ ῖ ∷ σ ∷ θ ∷ α ∷ ι ∷ []) "1Thess.4.11"
  ∷ word (ἡ ∷ σ ∷ υ ∷ χ ∷ ά ∷ ζ ∷ ε ∷ ι ∷ ν ∷ []) "1Thess.4.11"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Thess.4.11"
  ∷ word (π ∷ ρ ∷ ά ∷ σ ∷ σ ∷ ε ∷ ι ∷ ν ∷ []) "1Thess.4.11"
  ∷ word (τ ∷ ὰ ∷ []) "1Thess.4.11"
  ∷ word (ἴ ∷ δ ∷ ι ∷ α ∷ []) "1Thess.4.11"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Thess.4.11"
  ∷ word (ἐ ∷ ρ ∷ γ ∷ ά ∷ ζ ∷ ε ∷ σ ∷ θ ∷ α ∷ ι ∷ []) "1Thess.4.11"
  ∷ word (τ ∷ α ∷ ῖ ∷ ς ∷ []) "1Thess.4.11"
  ∷ word (χ ∷ ε ∷ ρ ∷ σ ∷ ὶ ∷ ν ∷ []) "1Thess.4.11"
  ∷ word (ὑ ∷ μ ∷ ῶ ∷ ν ∷ []) "1Thess.4.11"
  ∷ word (κ ∷ α ∷ θ ∷ ὼ ∷ ς ∷ []) "1Thess.4.11"
  ∷ word (ὑ ∷ μ ∷ ῖ ∷ ν ∷ []) "1Thess.4.11"
  ∷ word (π ∷ α ∷ ρ ∷ η ∷ γ ∷ γ ∷ ε ∷ ί ∷ ∙λ ∷ α ∷ μ ∷ ε ∷ ν ∷ []) "1Thess.4.11"
  ∷ word (ἵ ∷ ν ∷ α ∷ []) "1Thess.4.12"
  ∷ word (π ∷ ε ∷ ρ ∷ ι ∷ π ∷ α ∷ τ ∷ ῆ ∷ τ ∷ ε ∷ []) "1Thess.4.12"
  ∷ word (ε ∷ ὐ ∷ σ ∷ χ ∷ η ∷ μ ∷ ό ∷ ν ∷ ω ∷ ς ∷ []) "1Thess.4.12"
  ∷ word (π ∷ ρ ∷ ὸ ∷ ς ∷ []) "1Thess.4.12"
  ∷ word (τ ∷ ο ∷ ὺ ∷ ς ∷ []) "1Thess.4.12"
  ∷ word (ἔ ∷ ξ ∷ ω ∷ []) "1Thess.4.12"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Thess.4.12"
  ∷ word (μ ∷ η ∷ δ ∷ ε ∷ ν ∷ ὸ ∷ ς ∷ []) "1Thess.4.12"
  ∷ word (χ ∷ ρ ∷ ε ∷ ί ∷ α ∷ ν ∷ []) "1Thess.4.12"
  ∷ word (ἔ ∷ χ ∷ η ∷ τ ∷ ε ∷ []) "1Thess.4.12"
  ∷ word (Ο ∷ ὐ ∷ []) "1Thess.4.13"
  ∷ word (θ ∷ έ ∷ ∙λ ∷ ο ∷ μ ∷ ε ∷ ν ∷ []) "1Thess.4.13"
  ∷ word (δ ∷ ὲ ∷ []) "1Thess.4.13"
  ∷ word (ὑ ∷ μ ∷ ᾶ ∷ ς ∷ []) "1Thess.4.13"
  ∷ word (ἀ ∷ γ ∷ ν ∷ ο ∷ ε ∷ ῖ ∷ ν ∷ []) "1Thess.4.13"
  ∷ word (ἀ ∷ δ ∷ ε ∷ ∙λ ∷ φ ∷ ο ∷ ί ∷ []) "1Thess.4.13"
  ∷ word (π ∷ ε ∷ ρ ∷ ὶ ∷ []) "1Thess.4.13"
  ∷ word (τ ∷ ῶ ∷ ν ∷ []) "1Thess.4.13"
  ∷ word (κ ∷ ο ∷ ι ∷ μ ∷ ω ∷ μ ∷ έ ∷ ν ∷ ω ∷ ν ∷ []) "1Thess.4.13"
  ∷ word (ἵ ∷ ν ∷ α ∷ []) "1Thess.4.13"
  ∷ word (μ ∷ ὴ ∷ []) "1Thess.4.13"
  ∷ word (∙λ ∷ υ ∷ π ∷ ῆ ∷ σ ∷ θ ∷ ε ∷ []) "1Thess.4.13"
  ∷ word (κ ∷ α ∷ θ ∷ ὼ ∷ ς ∷ []) "1Thess.4.13"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Thess.4.13"
  ∷ word (ο ∷ ἱ ∷ []) "1Thess.4.13"
  ∷ word (∙λ ∷ ο ∷ ι ∷ π ∷ ο ∷ ὶ ∷ []) "1Thess.4.13"
  ∷ word (ο ∷ ἱ ∷ []) "1Thess.4.13"
  ∷ word (μ ∷ ὴ ∷ []) "1Thess.4.13"
  ∷ word (ἔ ∷ χ ∷ ο ∷ ν ∷ τ ∷ ε ∷ ς ∷ []) "1Thess.4.13"
  ∷ word (ἐ ∷ ∙λ ∷ π ∷ ί ∷ δ ∷ α ∷ []) "1Thess.4.13"
  ∷ word (ε ∷ ἰ ∷ []) "1Thess.4.14"
  ∷ word (γ ∷ ὰ ∷ ρ ∷ []) "1Thess.4.14"
  ∷ word (π ∷ ι ∷ σ ∷ τ ∷ ε ∷ ύ ∷ ο ∷ μ ∷ ε ∷ ν ∷ []) "1Thess.4.14"
  ∷ word (ὅ ∷ τ ∷ ι ∷ []) "1Thess.4.14"
  ∷ word (Ἰ ∷ η ∷ σ ∷ ο ∷ ῦ ∷ ς ∷ []) "1Thess.4.14"
  ∷ word (ἀ ∷ π ∷ έ ∷ θ ∷ α ∷ ν ∷ ε ∷ ν ∷ []) "1Thess.4.14"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Thess.4.14"
  ∷ word (ἀ ∷ ν ∷ έ ∷ σ ∷ τ ∷ η ∷ []) "1Thess.4.14"
  ∷ word (ο ∷ ὕ ∷ τ ∷ ω ∷ ς ∷ []) "1Thess.4.14"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Thess.4.14"
  ∷ word (ὁ ∷ []) "1Thess.4.14"
  ∷ word (θ ∷ ε ∷ ὸ ∷ ς ∷ []) "1Thess.4.14"
  ∷ word (τ ∷ ο ∷ ὺ ∷ ς ∷ []) "1Thess.4.14"
  ∷ word (κ ∷ ο ∷ ι ∷ μ ∷ η ∷ θ ∷ έ ∷ ν ∷ τ ∷ α ∷ ς ∷ []) "1Thess.4.14"
  ∷ word (δ ∷ ι ∷ ὰ ∷ []) "1Thess.4.14"
  ∷ word (τ ∷ ο ∷ ῦ ∷ []) "1Thess.4.14"
  ∷ word (Ἰ ∷ η ∷ σ ∷ ο ∷ ῦ ∷ []) "1Thess.4.14"
  ∷ word (ἄ ∷ ξ ∷ ε ∷ ι ∷ []) "1Thess.4.14"
  ∷ word (σ ∷ ὺ ∷ ν ∷ []) "1Thess.4.14"
  ∷ word (α ∷ ὐ ∷ τ ∷ ῷ ∷ []) "1Thess.4.14"
  ∷ word (τ ∷ ο ∷ ῦ ∷ τ ∷ ο ∷ []) "1Thess.4.15"
  ∷ word (γ ∷ ὰ ∷ ρ ∷ []) "1Thess.4.15"
  ∷ word (ὑ ∷ μ ∷ ῖ ∷ ν ∷ []) "1Thess.4.15"
  ∷ word (∙λ ∷ έ ∷ γ ∷ ο ∷ μ ∷ ε ∷ ν ∷ []) "1Thess.4.15"
  ∷ word (ἐ ∷ ν ∷ []) "1Thess.4.15"
  ∷ word (∙λ ∷ ό ∷ γ ∷ ῳ ∷ []) "1Thess.4.15"
  ∷ word (κ ∷ υ ∷ ρ ∷ ί ∷ ο ∷ υ ∷ []) "1Thess.4.15"
  ∷ word (ὅ ∷ τ ∷ ι ∷ []) "1Thess.4.15"
  ∷ word (ἡ ∷ μ ∷ ε ∷ ῖ ∷ ς ∷ []) "1Thess.4.15"
  ∷ word (ο ∷ ἱ ∷ []) "1Thess.4.15"
  ∷ word (ζ ∷ ῶ ∷ ν ∷ τ ∷ ε ∷ ς ∷ []) "1Thess.4.15"
  ∷ word (ο ∷ ἱ ∷ []) "1Thess.4.15"
  ∷ word (π ∷ ε ∷ ρ ∷ ι ∷ ∙λ ∷ ε ∷ ι ∷ π ∷ ό ∷ μ ∷ ε ∷ ν ∷ ο ∷ ι ∷ []) "1Thess.4.15"
  ∷ word (ε ∷ ἰ ∷ ς ∷ []) "1Thess.4.15"
  ∷ word (τ ∷ ὴ ∷ ν ∷ []) "1Thess.4.15"
  ∷ word (π ∷ α ∷ ρ ∷ ο ∷ υ ∷ σ ∷ ί ∷ α ∷ ν ∷ []) "1Thess.4.15"
  ∷ word (τ ∷ ο ∷ ῦ ∷ []) "1Thess.4.15"
  ∷ word (κ ∷ υ ∷ ρ ∷ ί ∷ ο ∷ υ ∷ []) "1Thess.4.15"
  ∷ word (ο ∷ ὐ ∷ []) "1Thess.4.15"
  ∷ word (μ ∷ ὴ ∷ []) "1Thess.4.15"
  ∷ word (φ ∷ θ ∷ ά ∷ σ ∷ ω ∷ μ ∷ ε ∷ ν ∷ []) "1Thess.4.15"
  ∷ word (τ ∷ ο ∷ ὺ ∷ ς ∷ []) "1Thess.4.15"
  ∷ word (κ ∷ ο ∷ ι ∷ μ ∷ η ∷ θ ∷ έ ∷ ν ∷ τ ∷ α ∷ ς ∷ []) "1Thess.4.15"
  ∷ word (ὅ ∷ τ ∷ ι ∷ []) "1Thess.4.16"
  ∷ word (α ∷ ὐ ∷ τ ∷ ὸ ∷ ς ∷ []) "1Thess.4.16"
  ∷ word (ὁ ∷ []) "1Thess.4.16"
  ∷ word (κ ∷ ύ ∷ ρ ∷ ι ∷ ο ∷ ς ∷ []) "1Thess.4.16"
  ∷ word (ἐ ∷ ν ∷ []) "1Thess.4.16"
  ∷ word (κ ∷ ε ∷ ∙λ ∷ ε ∷ ύ ∷ σ ∷ μ ∷ α ∷ τ ∷ ι ∷ []) "1Thess.4.16"
  ∷ word (ἐ ∷ ν ∷ []) "1Thess.4.16"
  ∷ word (φ ∷ ω ∷ ν ∷ ῇ ∷ []) "1Thess.4.16"
  ∷ word (ἀ ∷ ρ ∷ χ ∷ α ∷ γ ∷ γ ∷ έ ∷ ∙λ ∷ ο ∷ υ ∷ []) "1Thess.4.16"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Thess.4.16"
  ∷ word (ἐ ∷ ν ∷ []) "1Thess.4.16"
  ∷ word (σ ∷ ά ∷ ∙λ ∷ π ∷ ι ∷ γ ∷ γ ∷ ι ∷ []) "1Thess.4.16"
  ∷ word (θ ∷ ε ∷ ο ∷ ῦ ∷ []) "1Thess.4.16"
  ∷ word (κ ∷ α ∷ τ ∷ α ∷ β ∷ ή ∷ σ ∷ ε ∷ τ ∷ α ∷ ι ∷ []) "1Thess.4.16"
  ∷ word (ἀ ∷ π ∷ []) "1Thess.4.16"
  ∷ word (ο ∷ ὐ ∷ ρ ∷ α ∷ ν ∷ ο ∷ ῦ ∷ []) "1Thess.4.16"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Thess.4.16"
  ∷ word (ο ∷ ἱ ∷ []) "1Thess.4.16"
  ∷ word (ν ∷ ε ∷ κ ∷ ρ ∷ ο ∷ ὶ ∷ []) "1Thess.4.16"
  ∷ word (ἐ ∷ ν ∷ []) "1Thess.4.16"
  ∷ word (Χ ∷ ρ ∷ ι ∷ σ ∷ τ ∷ ῷ ∷ []) "1Thess.4.16"
  ∷ word (ἀ ∷ ν ∷ α ∷ σ ∷ τ ∷ ή ∷ σ ∷ ο ∷ ν ∷ τ ∷ α ∷ ι ∷ []) "1Thess.4.16"
  ∷ word (π ∷ ρ ∷ ῶ ∷ τ ∷ ο ∷ ν ∷ []) "1Thess.4.16"
  ∷ word (ἔ ∷ π ∷ ε ∷ ι ∷ τ ∷ α ∷ []) "1Thess.4.17"
  ∷ word (ἡ ∷ μ ∷ ε ∷ ῖ ∷ ς ∷ []) "1Thess.4.17"
  ∷ word (ο ∷ ἱ ∷ []) "1Thess.4.17"
  ∷ word (ζ ∷ ῶ ∷ ν ∷ τ ∷ ε ∷ ς ∷ []) "1Thess.4.17"
  ∷ word (ο ∷ ἱ ∷ []) "1Thess.4.17"
  ∷ word (π ∷ ε ∷ ρ ∷ ι ∷ ∙λ ∷ ε ∷ ι ∷ π ∷ ό ∷ μ ∷ ε ∷ ν ∷ ο ∷ ι ∷ []) "1Thess.4.17"
  ∷ word (ἅ ∷ μ ∷ α ∷ []) "1Thess.4.17"
  ∷ word (σ ∷ ὺ ∷ ν ∷ []) "1Thess.4.17"
  ∷ word (α ∷ ὐ ∷ τ ∷ ο ∷ ῖ ∷ ς ∷ []) "1Thess.4.17"
  ∷ word (ἁ ∷ ρ ∷ π ∷ α ∷ γ ∷ η ∷ σ ∷ ό ∷ μ ∷ ε ∷ θ ∷ α ∷ []) "1Thess.4.17"
  ∷ word (ἐ ∷ ν ∷ []) "1Thess.4.17"
  ∷ word (ν ∷ ε ∷ φ ∷ έ ∷ ∙λ ∷ α ∷ ι ∷ ς ∷ []) "1Thess.4.17"
  ∷ word (ε ∷ ἰ ∷ ς ∷ []) "1Thess.4.17"
  ∷ word (ἀ ∷ π ∷ ά ∷ ν ∷ τ ∷ η ∷ σ ∷ ι ∷ ν ∷ []) "1Thess.4.17"
  ∷ word (τ ∷ ο ∷ ῦ ∷ []) "1Thess.4.17"
  ∷ word (κ ∷ υ ∷ ρ ∷ ί ∷ ο ∷ υ ∷ []) "1Thess.4.17"
  ∷ word (ε ∷ ἰ ∷ ς ∷ []) "1Thess.4.17"
  ∷ word (ἀ ∷ έ ∷ ρ ∷ α ∷ []) "1Thess.4.17"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Thess.4.17"
  ∷ word (ο ∷ ὕ ∷ τ ∷ ω ∷ ς ∷ []) "1Thess.4.17"
  ∷ word (π ∷ ά ∷ ν ∷ τ ∷ ο ∷ τ ∷ ε ∷ []) "1Thess.4.17"
  ∷ word (σ ∷ ὺ ∷ ν ∷ []) "1Thess.4.17"
  ∷ word (κ ∷ υ ∷ ρ ∷ ί ∷ ῳ ∷ []) "1Thess.4.17"
  ∷ word (ἐ ∷ σ ∷ ό ∷ μ ∷ ε ∷ θ ∷ α ∷ []) "1Thess.4.17"
  ∷ word (ὥ ∷ σ ∷ τ ∷ ε ∷ []) "1Thess.4.18"
  ∷ word (π ∷ α ∷ ρ ∷ α ∷ κ ∷ α ∷ ∙λ ∷ ε ∷ ῖ ∷ τ ∷ ε ∷ []) "1Thess.4.18"
  ∷ word (ἀ ∷ ∙λ ∷ ∙λ ∷ ή ∷ ∙λ ∷ ο ∷ υ ∷ ς ∷ []) "1Thess.4.18"
  ∷ word (ἐ ∷ ν ∷ []) "1Thess.4.18"
  ∷ word (τ ∷ ο ∷ ῖ ∷ ς ∷ []) "1Thess.4.18"
  ∷ word (∙λ ∷ ό ∷ γ ∷ ο ∷ ι ∷ ς ∷ []) "1Thess.4.18"
  ∷ word (τ ∷ ο ∷ ύ ∷ τ ∷ ο ∷ ι ∷ ς ∷ []) "1Thess.4.18"
  ∷ word (Π ∷ ε ∷ ρ ∷ ὶ ∷ []) "1Thess.5.1"
  ∷ word (δ ∷ ὲ ∷ []) "1Thess.5.1"
  ∷ word (τ ∷ ῶ ∷ ν ∷ []) "1Thess.5.1"
  ∷ word (χ ∷ ρ ∷ ό ∷ ν ∷ ω ∷ ν ∷ []) "1Thess.5.1"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Thess.5.1"
  ∷ word (τ ∷ ῶ ∷ ν ∷ []) "1Thess.5.1"
  ∷ word (κ ∷ α ∷ ι ∷ ρ ∷ ῶ ∷ ν ∷ []) "1Thess.5.1"
  ∷ word (ἀ ∷ δ ∷ ε ∷ ∙λ ∷ φ ∷ ο ∷ ί ∷ []) "1Thess.5.1"
  ∷ word (ο ∷ ὐ ∷ []) "1Thess.5.1"
  ∷ word (χ ∷ ρ ∷ ε ∷ ί ∷ α ∷ ν ∷ []) "1Thess.5.1"
  ∷ word (ἔ ∷ χ ∷ ε ∷ τ ∷ ε ∷ []) "1Thess.5.1"
  ∷ word (ὑ ∷ μ ∷ ῖ ∷ ν ∷ []) "1Thess.5.1"
  ∷ word (γ ∷ ρ ∷ ά ∷ φ ∷ ε ∷ σ ∷ θ ∷ α ∷ ι ∷ []) "1Thess.5.1"
  ∷ word (α ∷ ὐ ∷ τ ∷ ο ∷ ὶ ∷ []) "1Thess.5.2"
  ∷ word (γ ∷ ὰ ∷ ρ ∷ []) "1Thess.5.2"
  ∷ word (ἀ ∷ κ ∷ ρ ∷ ι ∷ β ∷ ῶ ∷ ς ∷ []) "1Thess.5.2"
  ∷ word (ο ∷ ἴ ∷ δ ∷ α ∷ τ ∷ ε ∷ []) "1Thess.5.2"
  ∷ word (ὅ ∷ τ ∷ ι ∷ []) "1Thess.5.2"
  ∷ word (ἡ ∷ μ ∷ έ ∷ ρ ∷ α ∷ []) "1Thess.5.2"
  ∷ word (κ ∷ υ ∷ ρ ∷ ί ∷ ο ∷ υ ∷ []) "1Thess.5.2"
  ∷ word (ὡ ∷ ς ∷ []) "1Thess.5.2"
  ∷ word (κ ∷ ∙λ ∷ έ ∷ π ∷ τ ∷ η ∷ ς ∷ []) "1Thess.5.2"
  ∷ word (ἐ ∷ ν ∷ []) "1Thess.5.2"
  ∷ word (ν ∷ υ ∷ κ ∷ τ ∷ ὶ ∷ []) "1Thess.5.2"
  ∷ word (ο ∷ ὕ ∷ τ ∷ ω ∷ ς ∷ []) "1Thess.5.2"
  ∷ word (ἔ ∷ ρ ∷ χ ∷ ε ∷ τ ∷ α ∷ ι ∷ []) "1Thess.5.2"
  ∷ word (ὅ ∷ τ ∷ α ∷ ν ∷ []) "1Thess.5.3"
  ∷ word (∙λ ∷ έ ∷ γ ∷ ω ∷ σ ∷ ι ∷ ν ∷ []) "1Thess.5.3"
  ∷ word (Ε ∷ ἰ ∷ ρ ∷ ή ∷ ν ∷ η ∷ []) "1Thess.5.3"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Thess.5.3"
  ∷ word (ἀ ∷ σ ∷ φ ∷ ά ∷ ∙λ ∷ ε ∷ ι ∷ α ∷ []) "1Thess.5.3"
  ∷ word (τ ∷ ό ∷ τ ∷ ε ∷ []) "1Thess.5.3"
  ∷ word (α ∷ ἰ ∷ φ ∷ ν ∷ ί ∷ δ ∷ ι ∷ ο ∷ ς ∷ []) "1Thess.5.3"
  ∷ word (α ∷ ὐ ∷ τ ∷ ο ∷ ῖ ∷ ς ∷ []) "1Thess.5.3"
  ∷ word (ἐ ∷ φ ∷ ί ∷ σ ∷ τ ∷ α ∷ τ ∷ α ∷ ι ∷ []) "1Thess.5.3"
  ∷ word (ὄ ∷ ∙λ ∷ ε ∷ θ ∷ ρ ∷ ο ∷ ς ∷ []) "1Thess.5.3"
  ∷ word (ὥ ∷ σ ∷ π ∷ ε ∷ ρ ∷ []) "1Thess.5.3"
  ∷ word (ἡ ∷ []) "1Thess.5.3"
  ∷ word (ὠ ∷ δ ∷ ὶ ∷ ν ∷ []) "1Thess.5.3"
  ∷ word (τ ∷ ῇ ∷ []) "1Thess.5.3"
  ∷ word (ἐ ∷ ν ∷ []) "1Thess.5.3"
  ∷ word (γ ∷ α ∷ σ ∷ τ ∷ ρ ∷ ὶ ∷ []) "1Thess.5.3"
  ∷ word (ἐ ∷ χ ∷ ο ∷ ύ ∷ σ ∷ ῃ ∷ []) "1Thess.5.3"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Thess.5.3"
  ∷ word (ο ∷ ὐ ∷ []) "1Thess.5.3"
  ∷ word (μ ∷ ὴ ∷ []) "1Thess.5.3"
  ∷ word (ἐ ∷ κ ∷ φ ∷ ύ ∷ γ ∷ ω ∷ σ ∷ ι ∷ ν ∷ []) "1Thess.5.3"
  ∷ word (ὑ ∷ μ ∷ ε ∷ ῖ ∷ ς ∷ []) "1Thess.5.4"
  ∷ word (δ ∷ έ ∷ []) "1Thess.5.4"
  ∷ word (ἀ ∷ δ ∷ ε ∷ ∙λ ∷ φ ∷ ο ∷ ί ∷ []) "1Thess.5.4"
  ∷ word (ο ∷ ὐ ∷ κ ∷ []) "1Thess.5.4"
  ∷ word (ἐ ∷ σ ∷ τ ∷ ὲ ∷ []) "1Thess.5.4"
  ∷ word (ἐ ∷ ν ∷ []) "1Thess.5.4"
  ∷ word (σ ∷ κ ∷ ό ∷ τ ∷ ε ∷ ι ∷ []) "1Thess.5.4"
  ∷ word (ἵ ∷ ν ∷ α ∷ []) "1Thess.5.4"
  ∷ word (ἡ ∷ []) "1Thess.5.4"
  ∷ word (ἡ ∷ μ ∷ έ ∷ ρ ∷ α ∷ []) "1Thess.5.4"
  ∷ word (ὑ ∷ μ ∷ ᾶ ∷ ς ∷ []) "1Thess.5.4"
  ∷ word (ὡ ∷ ς ∷ []) "1Thess.5.4"
  ∷ word (κ ∷ ∙λ ∷ έ ∷ π ∷ τ ∷ η ∷ ς ∷ []) "1Thess.5.4"
  ∷ word (κ ∷ α ∷ τ ∷ α ∷ ∙λ ∷ ά ∷ β ∷ ῃ ∷ []) "1Thess.5.4"
  ∷ word (π ∷ ά ∷ ν ∷ τ ∷ ε ∷ ς ∷ []) "1Thess.5.5"
  ∷ word (γ ∷ ὰ ∷ ρ ∷ []) "1Thess.5.5"
  ∷ word (ὑ ∷ μ ∷ ε ∷ ῖ ∷ ς ∷ []) "1Thess.5.5"
  ∷ word (υ ∷ ἱ ∷ ο ∷ ὶ ∷ []) "1Thess.5.5"
  ∷ word (φ ∷ ω ∷ τ ∷ ό ∷ ς ∷ []) "1Thess.5.5"
  ∷ word (ἐ ∷ σ ∷ τ ∷ ε ∷ []) "1Thess.5.5"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Thess.5.5"
  ∷ word (υ ∷ ἱ ∷ ο ∷ ὶ ∷ []) "1Thess.5.5"
  ∷ word (ἡ ∷ μ ∷ έ ∷ ρ ∷ α ∷ ς ∷ []) "1Thess.5.5"
  ∷ word (ο ∷ ὐ ∷ κ ∷ []) "1Thess.5.5"
  ∷ word (ἐ ∷ σ ∷ μ ∷ ὲ ∷ ν ∷ []) "1Thess.5.5"
  ∷ word (ν ∷ υ ∷ κ ∷ τ ∷ ὸ ∷ ς ∷ []) "1Thess.5.5"
  ∷ word (ο ∷ ὐ ∷ δ ∷ ὲ ∷ []) "1Thess.5.5"
  ∷ word (σ ∷ κ ∷ ό ∷ τ ∷ ο ∷ υ ∷ ς ∷ []) "1Thess.5.5"
  ∷ word (ἄ ∷ ρ ∷ α ∷ []) "1Thess.5.6"
  ∷ word (ο ∷ ὖ ∷ ν ∷ []) "1Thess.5.6"
  ∷ word (μ ∷ ὴ ∷ []) "1Thess.5.6"
  ∷ word (κ ∷ α ∷ θ ∷ ε ∷ ύ ∷ δ ∷ ω ∷ μ ∷ ε ∷ ν ∷ []) "1Thess.5.6"
  ∷ word (ὡ ∷ ς ∷ []) "1Thess.5.6"
  ∷ word (ο ∷ ἱ ∷ []) "1Thess.5.6"
  ∷ word (∙λ ∷ ο ∷ ι ∷ π ∷ ο ∷ ί ∷ []) "1Thess.5.6"
  ∷ word (ἀ ∷ ∙λ ∷ ∙λ ∷ ὰ ∷ []) "1Thess.5.6"
  ∷ word (γ ∷ ρ ∷ η ∷ γ ∷ ο ∷ ρ ∷ ῶ ∷ μ ∷ ε ∷ ν ∷ []) "1Thess.5.6"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Thess.5.6"
  ∷ word (ν ∷ ή ∷ φ ∷ ω ∷ μ ∷ ε ∷ ν ∷ []) "1Thess.5.6"
  ∷ word (ο ∷ ἱ ∷ []) "1Thess.5.7"
  ∷ word (γ ∷ ὰ ∷ ρ ∷ []) "1Thess.5.7"
  ∷ word (κ ∷ α ∷ θ ∷ ε ∷ ύ ∷ δ ∷ ο ∷ ν ∷ τ ∷ ε ∷ ς ∷ []) "1Thess.5.7"
  ∷ word (ν ∷ υ ∷ κ ∷ τ ∷ ὸ ∷ ς ∷ []) "1Thess.5.7"
  ∷ word (κ ∷ α ∷ θ ∷ ε ∷ ύ ∷ δ ∷ ο ∷ υ ∷ σ ∷ ι ∷ ν ∷ []) "1Thess.5.7"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Thess.5.7"
  ∷ word (ο ∷ ἱ ∷ []) "1Thess.5.7"
  ∷ word (μ ∷ ε ∷ θ ∷ υ ∷ σ ∷ κ ∷ ό ∷ μ ∷ ε ∷ ν ∷ ο ∷ ι ∷ []) "1Thess.5.7"
  ∷ word (ν ∷ υ ∷ κ ∷ τ ∷ ὸ ∷ ς ∷ []) "1Thess.5.7"
  ∷ word (μ ∷ ε ∷ θ ∷ ύ ∷ ο ∷ υ ∷ σ ∷ ι ∷ ν ∷ []) "1Thess.5.7"
  ∷ word (ἡ ∷ μ ∷ ε ∷ ῖ ∷ ς ∷ []) "1Thess.5.8"
  ∷ word (δ ∷ ὲ ∷ []) "1Thess.5.8"
  ∷ word (ἡ ∷ μ ∷ έ ∷ ρ ∷ α ∷ ς ∷ []) "1Thess.5.8"
  ∷ word (ὄ ∷ ν ∷ τ ∷ ε ∷ ς ∷ []) "1Thess.5.8"
  ∷ word (ν ∷ ή ∷ φ ∷ ω ∷ μ ∷ ε ∷ ν ∷ []) "1Thess.5.8"
  ∷ word (ἐ ∷ ν ∷ δ ∷ υ ∷ σ ∷ ά ∷ μ ∷ ε ∷ ν ∷ ο ∷ ι ∷ []) "1Thess.5.8"
  ∷ word (θ ∷ ώ ∷ ρ ∷ α ∷ κ ∷ α ∷ []) "1Thess.5.8"
  ∷ word (π ∷ ί ∷ σ ∷ τ ∷ ε ∷ ω ∷ ς ∷ []) "1Thess.5.8"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Thess.5.8"
  ∷ word (ἀ ∷ γ ∷ ά ∷ π ∷ η ∷ ς ∷ []) "1Thess.5.8"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Thess.5.8"
  ∷ word (π ∷ ε ∷ ρ ∷ ι ∷ κ ∷ ε ∷ φ ∷ α ∷ ∙λ ∷ α ∷ ί ∷ α ∷ ν ∷ []) "1Thess.5.8"
  ∷ word (ἐ ∷ ∙λ ∷ π ∷ ί ∷ δ ∷ α ∷ []) "1Thess.5.8"
  ∷ word (σ ∷ ω ∷ τ ∷ η ∷ ρ ∷ ί ∷ α ∷ ς ∷ []) "1Thess.5.8"
  ∷ word (ὅ ∷ τ ∷ ι ∷ []) "1Thess.5.9"
  ∷ word (ο ∷ ὐ ∷ κ ∷ []) "1Thess.5.9"
  ∷ word (ἔ ∷ θ ∷ ε ∷ τ ∷ ο ∷ []) "1Thess.5.9"
  ∷ word (ἡ ∷ μ ∷ ᾶ ∷ ς ∷ []) "1Thess.5.9"
  ∷ word (ὁ ∷ []) "1Thess.5.9"
  ∷ word (θ ∷ ε ∷ ὸ ∷ ς ∷ []) "1Thess.5.9"
  ∷ word (ε ∷ ἰ ∷ ς ∷ []) "1Thess.5.9"
  ∷ word (ὀ ∷ ρ ∷ γ ∷ ὴ ∷ ν ∷ []) "1Thess.5.9"
  ∷ word (ἀ ∷ ∙λ ∷ ∙λ ∷ ὰ ∷ []) "1Thess.5.9"
  ∷ word (ε ∷ ἰ ∷ ς ∷ []) "1Thess.5.9"
  ∷ word (π ∷ ε ∷ ρ ∷ ι ∷ π ∷ ο ∷ ί ∷ η ∷ σ ∷ ι ∷ ν ∷ []) "1Thess.5.9"
  ∷ word (σ ∷ ω ∷ τ ∷ η ∷ ρ ∷ ί ∷ α ∷ ς ∷ []) "1Thess.5.9"
  ∷ word (δ ∷ ι ∷ ὰ ∷ []) "1Thess.5.9"
  ∷ word (τ ∷ ο ∷ ῦ ∷ []) "1Thess.5.9"
  ∷ word (κ ∷ υ ∷ ρ ∷ ί ∷ ο ∷ υ ∷ []) "1Thess.5.9"
  ∷ word (ἡ ∷ μ ∷ ῶ ∷ ν ∷ []) "1Thess.5.9"
  ∷ word (Ἰ ∷ η ∷ σ ∷ ο ∷ ῦ ∷ []) "1Thess.5.9"
  ∷ word (Χ ∷ ρ ∷ ι ∷ σ ∷ τ ∷ ο ∷ ῦ ∷ []) "1Thess.5.9"
  ∷ word (τ ∷ ο ∷ ῦ ∷ []) "1Thess.5.10"
  ∷ word (ἀ ∷ π ∷ ο ∷ θ ∷ α ∷ ν ∷ ό ∷ ν ∷ τ ∷ ο ∷ ς ∷ []) "1Thess.5.10"
  ∷ word (π ∷ ε ∷ ρ ∷ ὶ ∷ []) "1Thess.5.10"
  ∷ word (ἡ ∷ μ ∷ ῶ ∷ ν ∷ []) "1Thess.5.10"
  ∷ word (ἵ ∷ ν ∷ α ∷ []) "1Thess.5.10"
  ∷ word (ε ∷ ἴ ∷ τ ∷ ε ∷ []) "1Thess.5.10"
  ∷ word (γ ∷ ρ ∷ η ∷ γ ∷ ο ∷ ρ ∷ ῶ ∷ μ ∷ ε ∷ ν ∷ []) "1Thess.5.10"
  ∷ word (ε ∷ ἴ ∷ τ ∷ ε ∷ []) "1Thess.5.10"
  ∷ word (κ ∷ α ∷ θ ∷ ε ∷ ύ ∷ δ ∷ ω ∷ μ ∷ ε ∷ ν ∷ []) "1Thess.5.10"
  ∷ word (ἅ ∷ μ ∷ α ∷ []) "1Thess.5.10"
  ∷ word (σ ∷ ὺ ∷ ν ∷ []) "1Thess.5.10"
  ∷ word (α ∷ ὐ ∷ τ ∷ ῷ ∷ []) "1Thess.5.10"
  ∷ word (ζ ∷ ή ∷ σ ∷ ω ∷ μ ∷ ε ∷ ν ∷ []) "1Thess.5.10"
  ∷ word (δ ∷ ι ∷ ὸ ∷ []) "1Thess.5.11"
  ∷ word (π ∷ α ∷ ρ ∷ α ∷ κ ∷ α ∷ ∙λ ∷ ε ∷ ῖ ∷ τ ∷ ε ∷ []) "1Thess.5.11"
  ∷ word (ἀ ∷ ∙λ ∷ ∙λ ∷ ή ∷ ∙λ ∷ ο ∷ υ ∷ ς ∷ []) "1Thess.5.11"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Thess.5.11"
  ∷ word (ο ∷ ἰ ∷ κ ∷ ο ∷ δ ∷ ο ∷ μ ∷ ε ∷ ῖ ∷ τ ∷ ε ∷ []) "1Thess.5.11"
  ∷ word (ε ∷ ἷ ∷ ς ∷ []) "1Thess.5.11"
  ∷ word (τ ∷ ὸ ∷ ν ∷ []) "1Thess.5.11"
  ∷ word (ἕ ∷ ν ∷ α ∷ []) "1Thess.5.11"
  ∷ word (κ ∷ α ∷ θ ∷ ὼ ∷ ς ∷ []) "1Thess.5.11"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Thess.5.11"
  ∷ word (π ∷ ο ∷ ι ∷ ε ∷ ῖ ∷ τ ∷ ε ∷ []) "1Thess.5.11"
  ∷ word (Ἐ ∷ ρ ∷ ω ∷ τ ∷ ῶ ∷ μ ∷ ε ∷ ν ∷ []) "1Thess.5.12"
  ∷ word (δ ∷ ὲ ∷ []) "1Thess.5.12"
  ∷ word (ὑ ∷ μ ∷ ᾶ ∷ ς ∷ []) "1Thess.5.12"
  ∷ word (ἀ ∷ δ ∷ ε ∷ ∙λ ∷ φ ∷ ο ∷ ί ∷ []) "1Thess.5.12"
  ∷ word (ε ∷ ἰ ∷ δ ∷ έ ∷ ν ∷ α ∷ ι ∷ []) "1Thess.5.12"
  ∷ word (τ ∷ ο ∷ ὺ ∷ ς ∷ []) "1Thess.5.12"
  ∷ word (κ ∷ ο ∷ π ∷ ι ∷ ῶ ∷ ν ∷ τ ∷ α ∷ ς ∷ []) "1Thess.5.12"
  ∷ word (ἐ ∷ ν ∷ []) "1Thess.5.12"
  ∷ word (ὑ ∷ μ ∷ ῖ ∷ ν ∷ []) "1Thess.5.12"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Thess.5.12"
  ∷ word (π ∷ ρ ∷ ο ∷ ϊ ∷ σ ∷ τ ∷ α ∷ μ ∷ έ ∷ ν ∷ ο ∷ υ ∷ ς ∷ []) "1Thess.5.12"
  ∷ word (ὑ ∷ μ ∷ ῶ ∷ ν ∷ []) "1Thess.5.12"
  ∷ word (ἐ ∷ ν ∷ []) "1Thess.5.12"
  ∷ word (κ ∷ υ ∷ ρ ∷ ί ∷ ῳ ∷ []) "1Thess.5.12"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Thess.5.12"
  ∷ word (ν ∷ ο ∷ υ ∷ θ ∷ ε ∷ τ ∷ ο ∷ ῦ ∷ ν ∷ τ ∷ α ∷ ς ∷ []) "1Thess.5.12"
  ∷ word (ὑ ∷ μ ∷ ᾶ ∷ ς ∷ []) "1Thess.5.12"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Thess.5.13"
  ∷ word (ἡ ∷ γ ∷ ε ∷ ῖ ∷ σ ∷ θ ∷ α ∷ ι ∷ []) "1Thess.5.13"
  ∷ word (α ∷ ὐ ∷ τ ∷ ο ∷ ὺ ∷ ς ∷ []) "1Thess.5.13"
  ∷ word (ὑ ∷ π ∷ ε ∷ ρ ∷ ε ∷ κ ∷ π ∷ ε ∷ ρ ∷ ι ∷ σ ∷ σ ∷ ο ∷ ῦ ∷ []) "1Thess.5.13"
  ∷ word (ἐ ∷ ν ∷ []) "1Thess.5.13"
  ∷ word (ἀ ∷ γ ∷ ά ∷ π ∷ ῃ ∷ []) "1Thess.5.13"
  ∷ word (δ ∷ ι ∷ ὰ ∷ []) "1Thess.5.13"
  ∷ word (τ ∷ ὸ ∷ []) "1Thess.5.13"
  ∷ word (ἔ ∷ ρ ∷ γ ∷ ο ∷ ν ∷ []) "1Thess.5.13"
  ∷ word (α ∷ ὐ ∷ τ ∷ ῶ ∷ ν ∷ []) "1Thess.5.13"
  ∷ word (ε ∷ ἰ ∷ ρ ∷ η ∷ ν ∷ ε ∷ ύ ∷ ε ∷ τ ∷ ε ∷ []) "1Thess.5.13"
  ∷ word (ἐ ∷ ν ∷ []) "1Thess.5.13"
  ∷ word (ἑ ∷ α ∷ υ ∷ τ ∷ ο ∷ ῖ ∷ ς ∷ []) "1Thess.5.13"
  ∷ word (π ∷ α ∷ ρ ∷ α ∷ κ ∷ α ∷ ∙λ ∷ ο ∷ ῦ ∷ μ ∷ ε ∷ ν ∷ []) "1Thess.5.14"
  ∷ word (δ ∷ ὲ ∷ []) "1Thess.5.14"
  ∷ word (ὑ ∷ μ ∷ ᾶ ∷ ς ∷ []) "1Thess.5.14"
  ∷ word (ἀ ∷ δ ∷ ε ∷ ∙λ ∷ φ ∷ ο ∷ ί ∷ []) "1Thess.5.14"
  ∷ word (ν ∷ ο ∷ υ ∷ θ ∷ ε ∷ τ ∷ ε ∷ ῖ ∷ τ ∷ ε ∷ []) "1Thess.5.14"
  ∷ word (τ ∷ ο ∷ ὺ ∷ ς ∷ []) "1Thess.5.14"
  ∷ word (ἀ ∷ τ ∷ ά ∷ κ ∷ τ ∷ ο ∷ υ ∷ ς ∷ []) "1Thess.5.14"
  ∷ word (π ∷ α ∷ ρ ∷ α ∷ μ ∷ υ ∷ θ ∷ ε ∷ ῖ ∷ σ ∷ θ ∷ ε ∷ []) "1Thess.5.14"
  ∷ word (τ ∷ ο ∷ ὺ ∷ ς ∷ []) "1Thess.5.14"
  ∷ word (ὀ ∷ ∙λ ∷ ι ∷ γ ∷ ο ∷ ψ ∷ ύ ∷ χ ∷ ο ∷ υ ∷ ς ∷ []) "1Thess.5.14"
  ∷ word (ἀ ∷ ν ∷ τ ∷ έ ∷ χ ∷ ε ∷ σ ∷ θ ∷ ε ∷ []) "1Thess.5.14"
  ∷ word (τ ∷ ῶ ∷ ν ∷ []) "1Thess.5.14"
  ∷ word (ἀ ∷ σ ∷ θ ∷ ε ∷ ν ∷ ῶ ∷ ν ∷ []) "1Thess.5.14"
  ∷ word (μ ∷ α ∷ κ ∷ ρ ∷ ο ∷ θ ∷ υ ∷ μ ∷ ε ∷ ῖ ∷ τ ∷ ε ∷ []) "1Thess.5.14"
  ∷ word (π ∷ ρ ∷ ὸ ∷ ς ∷ []) "1Thess.5.14"
  ∷ word (π ∷ ά ∷ ν ∷ τ ∷ α ∷ ς ∷ []) "1Thess.5.14"
  ∷ word (ὁ ∷ ρ ∷ ᾶ ∷ τ ∷ ε ∷ []) "1Thess.5.15"
  ∷ word (μ ∷ ή ∷ []) "1Thess.5.15"
  ∷ word (τ ∷ ι ∷ ς ∷ []) "1Thess.5.15"
  ∷ word (κ ∷ α ∷ κ ∷ ὸ ∷ ν ∷ []) "1Thess.5.15"
  ∷ word (ἀ ∷ ν ∷ τ ∷ ὶ ∷ []) "1Thess.5.15"
  ∷ word (κ ∷ α ∷ κ ∷ ο ∷ ῦ ∷ []) "1Thess.5.15"
  ∷ word (τ ∷ ι ∷ ν ∷ ι ∷ []) "1Thess.5.15"
  ∷ word (ἀ ∷ π ∷ ο ∷ δ ∷ ῷ ∷ []) "1Thess.5.15"
  ∷ word (ἀ ∷ ∙λ ∷ ∙λ ∷ ὰ ∷ []) "1Thess.5.15"
  ∷ word (π ∷ ά ∷ ν ∷ τ ∷ ο ∷ τ ∷ ε ∷ []) "1Thess.5.15"
  ∷ word (τ ∷ ὸ ∷ []) "1Thess.5.15"
  ∷ word (ἀ ∷ γ ∷ α ∷ θ ∷ ὸ ∷ ν ∷ []) "1Thess.5.15"
  ∷ word (δ ∷ ι ∷ ώ ∷ κ ∷ ε ∷ τ ∷ ε ∷ []) "1Thess.5.15"
  ∷ word (ε ∷ ἰ ∷ ς ∷ []) "1Thess.5.15"
  ∷ word (ἀ ∷ ∙λ ∷ ∙λ ∷ ή ∷ ∙λ ∷ ο ∷ υ ∷ ς ∷ []) "1Thess.5.15"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Thess.5.15"
  ∷ word (ε ∷ ἰ ∷ ς ∷ []) "1Thess.5.15"
  ∷ word (π ∷ ά ∷ ν ∷ τ ∷ α ∷ ς ∷ []) "1Thess.5.15"
  ∷ word (π ∷ ά ∷ ν ∷ τ ∷ ο ∷ τ ∷ ε ∷ []) "1Thess.5.16"
  ∷ word (χ ∷ α ∷ ί ∷ ρ ∷ ε ∷ τ ∷ ε ∷ []) "1Thess.5.16"
  ∷ word (ἀ ∷ δ ∷ ι ∷ α ∷ ∙λ ∷ ε ∷ ί ∷ π ∷ τ ∷ ω ∷ ς ∷ []) "1Thess.5.17"
  ∷ word (π ∷ ρ ∷ ο ∷ σ ∷ ε ∷ ύ ∷ χ ∷ ε ∷ σ ∷ θ ∷ ε ∷ []) "1Thess.5.17"
  ∷ word (ἐ ∷ ν ∷ []) "1Thess.5.18"
  ∷ word (π ∷ α ∷ ν ∷ τ ∷ ὶ ∷ []) "1Thess.5.18"
  ∷ word (ε ∷ ὐ ∷ χ ∷ α ∷ ρ ∷ ι ∷ σ ∷ τ ∷ ε ∷ ῖ ∷ τ ∷ ε ∷ []) "1Thess.5.18"
  ∷ word (τ ∷ ο ∷ ῦ ∷ τ ∷ ο ∷ []) "1Thess.5.18"
  ∷ word (γ ∷ ὰ ∷ ρ ∷ []) "1Thess.5.18"
  ∷ word (θ ∷ έ ∷ ∙λ ∷ η ∷ μ ∷ α ∷ []) "1Thess.5.18"
  ∷ word (θ ∷ ε ∷ ο ∷ ῦ ∷ []) "1Thess.5.18"
  ∷ word (ἐ ∷ ν ∷ []) "1Thess.5.18"
  ∷ word (Χ ∷ ρ ∷ ι ∷ σ ∷ τ ∷ ῷ ∷ []) "1Thess.5.18"
  ∷ word (Ἰ ∷ η ∷ σ ∷ ο ∷ ῦ ∷ []) "1Thess.5.18"
  ∷ word (ε ∷ ἰ ∷ ς ∷ []) "1Thess.5.18"
  ∷ word (ὑ ∷ μ ∷ ᾶ ∷ ς ∷ []) "1Thess.5.18"
  ∷ word (τ ∷ ὸ ∷ []) "1Thess.5.19"
  ∷ word (π ∷ ν ∷ ε ∷ ῦ ∷ μ ∷ α ∷ []) "1Thess.5.19"
  ∷ word (μ ∷ ὴ ∷ []) "1Thess.5.19"
  ∷ word (σ ∷ β ∷ έ ∷ ν ∷ ν ∷ υ ∷ τ ∷ ε ∷ []) "1Thess.5.19"
  ∷ word (π ∷ ρ ∷ ο ∷ φ ∷ η ∷ τ ∷ ε ∷ ί ∷ α ∷ ς ∷ []) "1Thess.5.20"
  ∷ word (μ ∷ ὴ ∷ []) "1Thess.5.20"
  ∷ word (ἐ ∷ ξ ∷ ο ∷ υ ∷ θ ∷ ε ∷ ν ∷ ε ∷ ῖ ∷ τ ∷ ε ∷ []) "1Thess.5.20"
  ∷ word (π ∷ ά ∷ ν ∷ τ ∷ α ∷ []) "1Thess.5.21"
  ∷ word (δ ∷ ὲ ∷ []) "1Thess.5.21"
  ∷ word (δ ∷ ο ∷ κ ∷ ι ∷ μ ∷ ά ∷ ζ ∷ ε ∷ τ ∷ ε ∷ []) "1Thess.5.21"
  ∷ word (τ ∷ ὸ ∷ []) "1Thess.5.21"
  ∷ word (κ ∷ α ∷ ∙λ ∷ ὸ ∷ ν ∷ []) "1Thess.5.21"
  ∷ word (κ ∷ α ∷ τ ∷ έ ∷ χ ∷ ε ∷ τ ∷ ε ∷ []) "1Thess.5.21"
  ∷ word (ἀ ∷ π ∷ ὸ ∷ []) "1Thess.5.22"
  ∷ word (π ∷ α ∷ ν ∷ τ ∷ ὸ ∷ ς ∷ []) "1Thess.5.22"
  ∷ word (ε ∷ ἴ ∷ δ ∷ ο ∷ υ ∷ ς ∷ []) "1Thess.5.22"
  ∷ word (π ∷ ο ∷ ν ∷ η ∷ ρ ∷ ο ∷ ῦ ∷ []) "1Thess.5.22"
  ∷ word (ἀ ∷ π ∷ έ ∷ χ ∷ ε ∷ σ ∷ θ ∷ ε ∷ []) "1Thess.5.22"
  ∷ word (Α ∷ ὐ ∷ τ ∷ ὸ ∷ ς ∷ []) "1Thess.5.23"
  ∷ word (δ ∷ ὲ ∷ []) "1Thess.5.23"
  ∷ word (ὁ ∷ []) "1Thess.5.23"
  ∷ word (θ ∷ ε ∷ ὸ ∷ ς ∷ []) "1Thess.5.23"
  ∷ word (τ ∷ ῆ ∷ ς ∷ []) "1Thess.5.23"
  ∷ word (ε ∷ ἰ ∷ ρ ∷ ή ∷ ν ∷ η ∷ ς ∷ []) "1Thess.5.23"
  ∷ word (ἁ ∷ γ ∷ ι ∷ ά ∷ σ ∷ α ∷ ι ∷ []) "1Thess.5.23"
  ∷ word (ὑ ∷ μ ∷ ᾶ ∷ ς ∷ []) "1Thess.5.23"
  ∷ word (ὁ ∷ ∙λ ∷ ο ∷ τ ∷ ε ∷ ∙λ ∷ ε ∷ ῖ ∷ ς ∷ []) "1Thess.5.23"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Thess.5.23"
  ∷ word (ὁ ∷ ∙λ ∷ ό ∷ κ ∷ ∙λ ∷ η ∷ ρ ∷ ο ∷ ν ∷ []) "1Thess.5.23"
  ∷ word (ὑ ∷ μ ∷ ῶ ∷ ν ∷ []) "1Thess.5.23"
  ∷ word (τ ∷ ὸ ∷ []) "1Thess.5.23"
  ∷ word (π ∷ ν ∷ ε ∷ ῦ ∷ μ ∷ α ∷ []) "1Thess.5.23"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Thess.5.23"
  ∷ word (ἡ ∷ []) "1Thess.5.23"
  ∷ word (ψ ∷ υ ∷ χ ∷ ὴ ∷ []) "1Thess.5.23"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Thess.5.23"
  ∷ word (τ ∷ ὸ ∷ []) "1Thess.5.23"
  ∷ word (σ ∷ ῶ ∷ μ ∷ α ∷ []) "1Thess.5.23"
  ∷ word (ἀ ∷ μ ∷ έ ∷ μ ∷ π ∷ τ ∷ ω ∷ ς ∷ []) "1Thess.5.23"
  ∷ word (ἐ ∷ ν ∷ []) "1Thess.5.23"
  ∷ word (τ ∷ ῇ ∷ []) "1Thess.5.23"
  ∷ word (π ∷ α ∷ ρ ∷ ο ∷ υ ∷ σ ∷ ί ∷ ᾳ ∷ []) "1Thess.5.23"
  ∷ word (τ ∷ ο ∷ ῦ ∷ []) "1Thess.5.23"
  ∷ word (κ ∷ υ ∷ ρ ∷ ί ∷ ο ∷ υ ∷ []) "1Thess.5.23"
  ∷ word (ἡ ∷ μ ∷ ῶ ∷ ν ∷ []) "1Thess.5.23"
  ∷ word (Ἰ ∷ η ∷ σ ∷ ο ∷ ῦ ∷ []) "1Thess.5.23"
  ∷ word (Χ ∷ ρ ∷ ι ∷ σ ∷ τ ∷ ο ∷ ῦ ∷ []) "1Thess.5.23"
  ∷ word (τ ∷ η ∷ ρ ∷ η ∷ θ ∷ ε ∷ ί ∷ η ∷ []) "1Thess.5.23"
  ∷ word (π ∷ ι ∷ σ ∷ τ ∷ ὸ ∷ ς ∷ []) "1Thess.5.24"
  ∷ word (ὁ ∷ []) "1Thess.5.24"
  ∷ word (κ ∷ α ∷ ∙λ ∷ ῶ ∷ ν ∷ []) "1Thess.5.24"
  ∷ word (ὑ ∷ μ ∷ ᾶ ∷ ς ∷ []) "1Thess.5.24"
  ∷ word (ὃ ∷ ς ∷ []) "1Thess.5.24"
  ∷ word (κ ∷ α ∷ ὶ ∷ []) "1Thess.5.24"
  ∷ word (π ∷ ο ∷ ι ∷ ή ∷ σ ∷ ε ∷ ι ∷ []) "1Thess.5.24"
  ∷ word (Ἀ ∷ δ ∷ ε ∷ ∙λ ∷ φ ∷ ο ∷ ί ∷ []) "1Thess.5.25"
  ∷ word (π ∷ ρ ∷ ο ∷ σ ∷ ε ∷ ύ ∷ χ ∷ ε ∷ σ ∷ θ ∷ ε ∷ []) "1Thess.5.25"
  ∷ word (π ∷ ε ∷ ρ ∷ ὶ ∷ []) "1Thess.5.25"
  ∷ word (ἡ ∷ μ ∷ ῶ ∷ ν ∷ []) "1Thess.5.25"
  ∷ word (ἀ ∷ σ ∷ π ∷ ά ∷ σ ∷ α ∷ σ ∷ θ ∷ ε ∷ []) "1Thess.5.26"
  ∷ word (τ ∷ ο ∷ ὺ ∷ ς ∷ []) "1Thess.5.26"
  ∷ word (ἀ ∷ δ ∷ ε ∷ ∙λ ∷ φ ∷ ο ∷ ὺ ∷ ς ∷ []) "1Thess.5.26"
  ∷ word (π ∷ ά ∷ ν ∷ τ ∷ α ∷ ς ∷ []) "1Thess.5.26"
  ∷ word (ἐ ∷ ν ∷ []) "1Thess.5.26"
  ∷ word (φ ∷ ι ∷ ∙λ ∷ ή ∷ μ ∷ α ∷ τ ∷ ι ∷ []) "1Thess.5.26"
  ∷ word (ἁ ∷ γ ∷ ί ∷ ῳ ∷ []) "1Thess.5.26"
  ∷ word (ἐ ∷ ν ∷ ο ∷ ρ ∷ κ ∷ ί ∷ ζ ∷ ω ∷ []) "1Thess.5.27"
  ∷ word (ὑ ∷ μ ∷ ᾶ ∷ ς ∷ []) "1Thess.5.27"
  ∷ word (τ ∷ ὸ ∷ ν ∷ []) "1Thess.5.27"
  ∷ word (κ ∷ ύ ∷ ρ ∷ ι ∷ ο ∷ ν ∷ []) "1Thess.5.27"
  ∷ word (ἀ ∷ ν ∷ α ∷ γ ∷ ν ∷ ω ∷ σ ∷ θ ∷ ῆ ∷ ν ∷ α ∷ ι ∷ []) "1Thess.5.27"
  ∷ word (τ ∷ ὴ ∷ ν ∷ []) "1Thess.5.27"
  ∷ word (ἐ ∷ π ∷ ι ∷ σ ∷ τ ∷ ο ∷ ∙λ ∷ ὴ ∷ ν ∷ []) "1Thess.5.27"
  ∷ word (π ∷ ᾶ ∷ σ ∷ ι ∷ ν ∷ []) "1Thess.5.27"
  ∷ word (τ ∷ ο ∷ ῖ ∷ ς ∷ []) "1Thess.5.27"
  ∷ word (ἀ ∷ δ ∷ ε ∷ ∙λ ∷ φ ∷ ο ∷ ῖ ∷ ς ∷ []) "1Thess.5.27"
  ∷ word (ἡ ∷ []) "1Thess.5.28"
  ∷ word (χ ∷ ά ∷ ρ ∷ ι ∷ ς ∷ []) "1Thess.5.28"
  ∷ word (τ ∷ ο ∷ ῦ ∷ []) "1Thess.5.28"
  ∷ word (κ ∷ υ ∷ ρ ∷ ί ∷ ο ∷ υ ∷ []) "1Thess.5.28"
  ∷ word (ἡ ∷ μ ∷ ῶ ∷ ν ∷ []) "1Thess.5.28"
  ∷ word (Ἰ ∷ η ∷ σ ∷ ο ∷ ῦ ∷ []) "1Thess.5.28"
  ∷ word (Χ ∷ ρ ∷ ι ∷ σ ∷ τ ∷ ο ∷ ῦ ∷ []) "1Thess.5.28"
  ∷ word (μ ∷ ε ∷ θ ∷ []) "1Thess.5.28"
  ∷ word (ὑ ∷ μ ∷ ῶ ∷ ν ∷ []) "1Thess.5.28"
  ∷ []

max_stars_repo_name: scott-fleischman/GreekGrammar

max_issues_repo_name: scott-fleischman/GreekGrammar

max_forks_repo_name: scott-fleischman/GreekGrammar


text:
module Formalization.PredicateLogic.Signature where

import      Lvl
open import Numeral.Natural
open import Type

-- A signature consists of a countable family of constant/function and relation symbols.
-- `Prop(n)` should be interpreted as the indices for relations of arity `n`.
-- `Obj(n)` should be interpreted as the indices for functions of arity `n` (constants if `n = 0`).
record Signature : Typeω where
  constructor intro
  field
    {ℓₚ} : Lvl.Level
    Prop : ℕ → Type{ℓₚ}
    {ℓₒ} : Lvl.Level
    Obj : ℕ → Type{ℓₒ}

ext: agda

max_stars_repo_name: Lolirofle/stuff-in-agda

max_issues_repo_name: Lolirofle/stuff-in-agda

max_forks_repo_name: Lolirofle/stuff-in-agda


text:
{-# OPTIONS --safe #-}
module Cubical.HITs.Ints.IsoInt where

open import Cubical.HITs.Ints.IsoInt.Base public

max_stars_repo_name: jespercockx/cubical

max_issues_repo_name: jespercockx/cubical

max_forks_repo_name: jespercockx/cubical


text:
{-# OPTIONS --without-K #-}
module sets.nat.ordering.leq.level where

open import sum
open import equality
open import function.isomorphism
open import function.extensionality
open import hott.level
open import sets.nat.core
open import sets.nat.ordering.leq.core
open import container.core
open import container.w
open import sets.empty
open import sets.unit

open import hott.level.sets public
  using (nat-set)

module ≤-container where
  I : Set
  I = ℕ × ℕ

  A A₁ A₂ : I → Set
  A₁ (m , n) = m ≡ 0
  A₂ (m , n) = ( Σ I λ { (m' , n')
               → m ≡ suc m'
               × n ≡ suc n' } )
  A i = A₁ i ⊎ A₂ i

  A₂-struct-iso : ∀ m n
                → A₂ (m , n)
                ≅ (¬ (m ≡ 0) × ¬ (n ≡ 0))
  A₂-struct-iso m n = iso f g α β
    where
      f : ∀ {m n} → A₂ (m , n) → ¬ (m ≡ 0) × ¬ (n ≡ 0)
      f .{suc m}.{suc n}((m , n) , refl , refl) = (λ ()) , (λ ())

      g : ∀ {m n} → ¬ (m ≡ 0) × ¬ (n ≡ 0) → A₂ (m , n)
      g {m = zero} (u , v) = ⊥-elim (u refl)
      g {n = zero} (u , v) = ⊥-elim (v refl)
      g {suc m} {suc n} _ = ((m , n) , refl , refl)

      α : ∀ {m n}(a : A₂ (m , n)) → g (f a) ≡ a
      α .{suc m}.{suc n}((m , n) , refl , refl) = refl

      β : ∀ {m n}(u : ¬ (m ≡ 0) × ¬ (n ≡ 0)) → f (g u) ≡ u
      β {m = zero} (u , v) = ⊥-elim (u refl)
      β {n = zero} (u , v) = ⊥-elim (v refl)
      β {suc m} {suc n} _ = pair≡ (funext λ ()) (funext λ ())

  A₂-h1 : ∀ i → h 1 (A₂ i)
  A₂-h1 (m , n) = iso-level (sym≅ (A₂-struct-iso m n))
    (×-level (Π-level λ _ → ⊥-prop) (Π-level λ _ → ⊥-prop))

  A-disj : ∀ i → ¬ (A₁ i × A₂ i)
  A-disj (.zero , n) (refl , (m' , n') , () , pn)

  A-h1 : ∀ i → h 1 (A i)
  A-h1 i = ⊎-h1 (nat-set _ zero) (A₂-h1 i) (A-disj i)

  B : ∀ {i} → A i → Set
  B (inj₁ _) = ⊥
  B (inj₂ _) = ⊤

  r : ∀ {i}{a : A i} → B a → I
  r {a = inj₁ _} ()
  r {a = inj₂ (mn' , _)} _ = mn'

  c : Container _ _ _
  c = container I A B r

open ≤-container using (c; A-h1)

≤-struct-iso : ∀ {n m}
             → n ≤ m
             ≅ W c (n , m)
≤-struct-iso = iso f g α β
  where
    f : ∀ {n m} → n ≤ m → W c (n , m)
    f z≤n = sup (inj₁ refl) (λ ())
    f (s≤s p) = sup (inj₂ (_ , (refl , refl))) (λ _ → f p)

    g : ∀ {m n} → W c (m , n) → m ≤ n
    g (sup (inj₁ refl) _) = z≤n
    g (sup (inj₂ ((m' , n') , (refl , refl))) u)
      = s≤s (g (u tt))

    α : ∀ {n m}(p : n ≤ m) → g (f p) ≡ p
    α z≤n = refl
    α (s≤s p) = ap s≤s (α p)

    β : ∀ {n m}(p : W c (m , n)) → f (g p) ≡ p
    β (sup (inj₁ refl) u) = ap (sup (inj₁ refl)) (funext λ ())
    β (sup (inj₂ ((m' , n') , (refl , refl))) u)
      = ap (sup _) (funext λ { tt → β (u tt) })

≤-level : ∀ {m n} → h 1 (m ≤ n)
≤-level {m}{n} = iso-level (sym≅ ≤-struct-iso) (w-level A-h1 (m , n))

max_stars_repo_name: pcapriotti/agda-base

max_issues_repo_name: pcapriotti/agda-base

max_forks_repo_name: pcapriotti/agda-base


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

module Categories.Category.Monoidal.Instance.Setoids where

open import Level
open import Data.Product
open import Data.Product.Relation.Binary.Pointwise.NonDependent
open import Data.Sum
open import Data.Sum.Relation.Binary.Pointwise
open import Function.Equality
open import Relation.Binary using (Setoid)

open import Categories.Category
open import Categories.Category.Instance.Setoids
open import Categories.Category.Cartesian
open import Categories.Category.Cocartesian
open import Categories.Category.Instance.SingletonSet
open import Categories.Category.Instance.EmptySet

module _ {o ℓ} where

  Setoids-Cartesian : Cartesian (Setoids o ℓ)
  Setoids-Cartesian = record
    { terminal = SingletonSetoid-⊤
    ; products = record
      { product = λ {A B} →
        let module A = Setoid A
            module B = Setoid B
         in record
          { A×B      = ×-setoid A B -- the stdlib doesn't provide projections!
          ; π₁       = record
            { _⟨$⟩_ = proj₁
            ; cong  = proj₁
            }
          ; π₂       = record
            { _⟨$⟩_ = proj₂
            ; cong  = proj₂
            }
          ; ⟨_,_⟩    = λ f g → record
            { _⟨$⟩_ = λ x → f ⟨$⟩ x , g ⟨$⟩ x
            ; cong  = λ eq → cong f eq , cong g eq
            }
          ; project₁ = λ {_ h i} eq → cong h eq
          ; project₂ = λ {_ h i} eq → cong i eq
          ; unique   = λ {W h i j} eq₁ eq₂ eq → A.sym (eq₁ (Setoid.sym W eq)) , B.sym (eq₂ (Setoid.sym W eq))
          }
      }
    }

  module Setoids-Cartesian = Cartesian Setoids-Cartesian
  open Setoids-Cartesian renaming (monoidal to Setoids-Monoidal) public

  Setoids-Cocartesian : Cocartesian (Setoids o (o ⊔ ℓ))
  Setoids-Cocartesian = record
    { initial = EmptySetoid-⊥
    ; coproducts = record
      { coproduct = λ {A} {B} → record
        { A+B = ⊎-setoid A B
        ; i₁ = record { _⟨$⟩_ = inj₁ ; cong = inj₁ }
        ; i₂ = record { _⟨$⟩_ = inj₂ ; cong = inj₂ }
        ; [_,_] = λ f g → record
          { _⟨$⟩_ = [ f ⟨$⟩_ , g ⟨$⟩_ ]
          ; cong = λ { (inj₁ x) → Π.cong f x ; (inj₂ x) → Π.cong g x }
          }
        ; inject₁ = λ {_} {f} → Π.cong f
        ; inject₂ = λ {_} {_} {g} → Π.cong g
        ; unique = λ { {C} h≈f h≈g (inj₁ x) → Setoid.sym C (h≈f (Setoid.sym A x))
                     ; {C} h≈f h≈g (inj₂ x) → Setoid.sym C (h≈g (Setoid.sym B x)) }
        }
      }
    }


text:
------------------------------------------------------------------------
-- The Agda standard library
--
-- Properties of the unit type
------------------------------------------------------------------------

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

-- Disabled to prevent warnings from deprecation warnings for _≤_
{-# OPTIONS --warn=noUserWarning #-}

module Data.Unit.Properties where

open import Data.Sum.Base
open import Data.Unit.Base
open import Level using (0ℓ)
open import Relation.Nullary
open import Relation.Binary
open import Relation.Binary.PropositionalEquality

------------------------------------------------------------------------
-- Equality

infix 4 _≟_

_≟_ : Decidable {A = ⊤} _≡_
_ ≟ _ = yes refl

≡-setoid : Setoid 0ℓ 0ℓ
≡-setoid = setoid ⊤

≡-decSetoid : DecSetoid 0ℓ 0ℓ
≡-decSetoid = decSetoid _≟_

------------------------------------------------------------------------
-- Relational properties

≡-total : Total {A = ⊤} _≡_
≡-total _ _ = inj₁ refl

≡-antisym : Antisymmetric {A = ⊤} _≡_ _≡_
≡-antisym eq _ = eq

------------------------------------------------------------------------
-- Structures

≡-isPreorder : IsPreorder {A = ⊤} _≡_ _≡_
≡-isPreorder = record
  { isEquivalence = isEquivalence
  ; reflexive     = λ x → x
  ; trans         = trans
  }

≡-isPartialOrder : IsPartialOrder _≡_ _≡_
≡-isPartialOrder = record
  { isPreorder = ≡-isPreorder
  ; antisym    = ≡-antisym
  }

≡-isTotalOrder : IsTotalOrder _≡_ _≡_
≡-isTotalOrder = record
  { isPartialOrder = ≡-isPartialOrder
  ; total          = ≡-total
  }

≡-isDecTotalOrder : IsDecTotalOrder _≡_ _≡_
≡-isDecTotalOrder = record
  { isTotalOrder = ≡-isTotalOrder
  ; _≟_          = _≟_
  ; _≤?_         = _≟_
  }

------------------------------------------------------------------------
-- Bundles

≡-poset : Poset 0ℓ 0ℓ 0ℓ
≡-poset = record
  { isPartialOrder = ≡-isPartialOrder
  }

≡-decTotalOrder : DecTotalOrder 0ℓ 0ℓ 0ℓ
≡-decTotalOrder = record
  { isDecTotalOrder = ≡-isDecTotalOrder
  }

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

-- Version 1.2

≤-reflexive : _≡_ ⇒ _≤_
≤-reflexive _ = _
{-# WARNING_ON_USAGE ≤-reflexive
"Warning: ≤-reflexive was deprecated in v1.2.
Please use id from Function instead."
#-}
≤-trans : Transitive _≤_
≤-trans _ _ = _
{-# WARNING_ON_USAGE ≤-trans
"Warning: ≤-trans was deprecated in v1.2.
Please use trans from Relation.Binary.PropositionalEquality instead."
#-}
≤-antisym : Antisymmetric _≡_ _≤_
≤-antisym  _ _ = refl
{-# WARNING_ON_USAGE ≤-antisym
"Warning: ≤-antisym was deprecated in v1.2.
Please use ≡-antisym instead."
#-}
≤-total : Total _≤_
≤-total _ _ = inj₁ _
{-# WARNING_ON_USAGE ≤-total
"Warning: ≤-total was deprecated in v1.2.
Please use ≡-total instead."
#-}
infix 4 _≤?_
_≤?_ : Decidable _≤_
_ ≤? _ = yes _
{-# WARNING_ON_USAGE _≤?_
"Warning: _≤_ was deprecated in v1.2.
Please use _≟_  instead."
#-}
≤-isPreorder : IsPreorder _≡_ _≤_
≤-isPreorder = record
  { isEquivalence = isEquivalence
  ; reflexive     = ≤-reflexive
  ; trans         = ≤-trans
  }
{-# WARNING_ON_USAGE ≤-isPreorder
"Warning: ≤-isPreorder was deprecated in v1.2.
Please use ≡-isPreorder instead."
#-}
≤-isPartialOrder : IsPartialOrder _≡_ _≤_
≤-isPartialOrder = record
  { isPreorder = ≤-isPreorder
  ; antisym    = ≤-antisym
  }
{-# WARNING_ON_USAGE ≤-isPartialOrder
"Warning: ≤-isPartialOrder was deprecated in v1.2.
Please use ≡-isPartialOrder instead."
#-}
≤-isTotalOrder : IsTotalOrder _≡_ _≤_
≤-isTotalOrder = record
  { isPartialOrder = ≤-isPartialOrder
  ; total          = ≤-total
  }
{-# WARNING_ON_USAGE ≤-isTotalOrder
"Warning: ≤-isTotalOrder was deprecated in v1.2.
Please use ≡-isTotalOrder instead."
#-}
≤-isDecTotalOrder : IsDecTotalOrder _≡_ _≤_
≤-isDecTotalOrder = record
  { isTotalOrder = ≤-isTotalOrder
  ; _≟_          = _≟_
  ; _≤?_         = _≤?_
  }
{-# WARNING_ON_USAGE ≤-isDecTotalOrder
"Warning: ≤-isDecTotalOrder was deprecated in v1.2.
Please use ≡-isDecTotalOrder instead."
#-}

-- Bundles

≤-poset : Poset 0ℓ 0ℓ 0ℓ
≤-poset = record
  { isPartialOrder = ≤-isPartialOrder
  }
{-# WARNING_ON_USAGE ≤-poset
"Warning: ≤-poset was deprecated in v1.2.
Please use ≡-poset instead."
#-}
≤-decTotalOrder : DecTotalOrder 0ℓ 0ℓ 0ℓ
≤-decTotalOrder = record
  { isDecTotalOrder = ≤-isDecTotalOrder
  }
{-# WARNING_ON_USAGE ≤-decTotalOrder
"Warning: ≤-decTotalOrder was deprecated in v1.2.
Please use ≡-decTotalOrder instead."
#-}


text:
module Function.Proofs where

import      Lvl
open import Logic
open import Logic.Classical
open import Logic.Propositional
open import Logic.Propositional.Theorems
open import Logic.Predicate
open import Functional
open import Function.Inverseᵣ
open import Function.Names using (_⊜_)
open import Structure.Setoid using (Equiv) renaming (_≡_ to _≡ₛ_)
open import Structure.Setoid.Uniqueness
open import Structure.Relator.Properties
open import Structure.Relator
open import Structure.Function.Domain
open import Structure.Function.Domain.Proofs
open import Structure.Function
open import Structure.Operator
open import Syntax.Transitivity
open import Type
open import Type.Properties.Empty

private variable ℓ ℓ₁ ℓ₂ ℓ₃ ℓₗ ℓₒ ℓₒ₁ ℓₒ₂ ℓₒ₃ ℓₒ₄ ℓₒ₅ ℓₒ₆ ℓₒ₇ ℓₑ ℓₑ₁ ℓₑ₂ ℓₑ₃ ℓₑ₄ ℓₑ₅ ℓₑ₆ ℓₑ₇ : Lvl.Level

module _ {T : Type{ℓₒ}} ⦃ eq : Equiv{ℓₑ}(T) ⦄ where
  instance
    -- Identity function is a function.
    id-function : Function(id)
    Function.congruence(id-function) = id

  instance
    -- Identity function is injective.
    id-injective : Injective(id)
    Injective.proof(id-injective) = id

  instance
    -- Identity function is surjective.
    id-surjective : Surjective(id)
    Surjective.proof(id-surjective) {y} = [∃]-intro (y) ⦃ reflexivity(_≡ₛ_) ⦄

  instance
    -- Identity function is bijective.
    id-bijective : Bijective(id)
    id-bijective = injective-surjective-to-bijective(id)

  instance
    id-idempotent : Idempotent(id)
    id-idempotent = intro(reflexivity _)

  instance
    id-involution : Involution(id)
    id-involution = intro(reflexivity _)

  instance
    id-inverseₗ : Inverseₗ(id)(id)
    id-inverseₗ = intro(reflexivity _)

  instance
    id-inverseᵣ : Inverseᵣ(id)(id)
    id-inverseᵣ = intro(reflexivity _)

  instance
    id-inverse : Inverse(id)(id)
    id-inverse = [∧]-intro id-inverseₗ id-inverseᵣ

module _ {A : Type{ℓₒ₁}} ⦃ eq-a : Equiv{ℓₑ₁}(A) ⦄ {B : Type{ℓₒ₂}} ⦃ eq-b : Equiv{ℓₑ₂}(B) ⦄ where
  instance
    -- Constant functions are functions.
    const-function : ∀{c : B} → Function {A = A}{B = B} (const(c))
    Function.congruence(const-function) _ = reflexivity(_≡ₛ_)

  instance
    -- Constant functions are constant.
    const-constant : ∀{c : B} → Constant {A = A}{B = B} (const(c))
    Constant.proof const-constant = reflexivity(_≡ₛ_)

module _ {A : Type{ℓₒ₁}} ⦃ eq-a : Equiv{ℓₑ₁}(A) ⦄ {B : Type{ℓₒ₂}} ⦃ eq-b : Equiv{ℓₑ₂}(B) ⦄ where
  open import Function.Equals
  open import Function.Equals.Proofs

  -- The constant function is extensionally a function.
  instance
    const-function-function : ∀{c : B} → Function {A = B}{B = A → B} const
    Function.congruence const-function-function = [⊜]-abstract

module _ {a : Type{ℓₒ₁}}{b : Type{ℓₒ₂}}{c : Type{ℓₒ₃}}{d : Type{ℓₒ₄}} ⦃ _ : Equiv{ℓₑ}(a → d) ⦄ where
  -- Function composition is associative.
  [∘]-associativity : ∀{f : c → d}{g : b → c}{h : a → b} → ((f ∘ (g ∘ h)) ≡ₛ ((f ∘ g) ∘ h))
  [∘]-associativity = reflexivity(_≡ₛ_)

module _ {a : Type{ℓₒ₁}}{b : Type{ℓₒ₂}} ⦃ _ : Equiv{ℓₑ}(a → b) ⦄ {f : a → b} where
  -- Function composition has left identity element.
  [∘]-identityₗ : (id ∘ f ≡ₛ f)
  [∘]-identityₗ = reflexivity(_≡ₛ_)

  -- Function composition has right identity element.
  [∘]-identityᵣ : (f ∘ id ≡ₛ f)
  [∘]-identityᵣ = reflexivity(_≡ₛ_)

module _ {a : Type{ℓₒ₁}} ⦃ _ : Equiv{ℓₑ₁}(a) ⦄ {b : Type{ℓₒ₂}} ⦃ _ : Equiv{ℓₑ₂}(b) ⦄ {c : Type{ℓₒ₃}} ⦃ _ : Equiv{ℓₑ₃}(c) ⦄ where
  -- The composition of injective functions is injective.
  -- Source: https://math.stackexchange.com/questions/2049511/is-the-composition-of-two-injective-functions-injective/2049521
  -- Alternative proof: [∘]-associativity {f⁻¹}{g⁻¹}{g}{f} becomes id by inverseₗ-value injective equivalence
  [∘]-injective : ∀{f : b → c}{g : a → b} → ⦃ inj-f : Injective(f) ⦄ → ⦃ inj-g : Injective(g) ⦄ → Injective(f ∘ g)
  Injective.proof([∘]-injective {f = f}{g = g} ⦃ inj-f ⦄ ⦃ inj-g ⦄ ) {x₁}{x₂} = (injective(g) ⦃ inj-g ⦄ {x₁} {x₂}) ∘ (injective(f) ⦃ inj-f ⦄ {g(x₁)} {g(x₂)})

  -- RHS of composition is injective if the composition is injective.
  [∘]-injective-elim : ∀{f : b → c} → ⦃ func-f : Function(f) ⦄ → ∀{g : a → b} → ⦃ inj-fg : Injective(f ∘ g) ⦄ → Injective(g)
  Injective.proof([∘]-injective-elim {f = f}{g = g} ⦃ inj-fg ⦄) {x₁}{x₂} (gx₁gx₂) = injective(f ∘ g) ⦃ inj-fg ⦄ {x₁} {x₂} (congruence₁(f) (gx₁gx₂))

module _ {a : Type{ℓₒ₁}} {b : Type{ℓₒ₂}} ⦃ _ : Equiv{ℓₑ₂}(b) ⦄ {c : Type{ℓₒ₃}} ⦃ _ : Equiv{ℓₑ₃}(c) ⦄ where
  -- The composition of surjective functions is surjective.
  [∘]-surjective : ∀{f : b → c} → ⦃ func-f : Function(f) ⦄ → ∀{g : a → b} → ⦃ surj-f : Surjective(f) ⦄ → ⦃ surj-g : Surjective(g) ⦄ → Surjective(f ∘ g)
  Surjective.proof([∘]-surjective {f = f}{g = g}) {y}
    with [∃]-intro (a) ⦃ fa≡y ⦄ ← surjective(f) {y}
    with [∃]-intro (x) ⦃ gx≡a ⦄ ← surjective(g) {a}
    = [∃]-intro (x) ⦃ congruence₁(f) gx≡a 🝖 fa≡y ⦄

  -- LHS of composition is surjective if the composition is surjective.
  [∘]-surjective-elim : ∀{f : b → c}{g : a → b} → ⦃ _ : Surjective(f ∘ g) ⦄ → Surjective(f)
  Surjective.proof([∘]-surjective-elim {f = f}{g = g}) {y} with (surjective(f ∘ g) {y})
  ... | [∃]-intro (x) ⦃ fgx≡y ⦄ = [∃]-intro (g(x)) ⦃ fgx≡y ⦄

module _
  {a : Type{ℓₒ₁}} ⦃ equiv-a : Equiv{ℓₑ₁}(a) ⦄
  {b : Type{ℓₒ₂}} ⦃ equiv-b : Equiv{ℓₑ₂}(b) ⦄
  {c : Type{ℓₒ₃}} ⦃ equiv-c : Equiv{ℓₑ₃}(c) ⦄
  where

  -- Bijective functions are closed under function composition.
  -- The composition of bijective functions is bijective.
  [∘]-bijective : ∀{f : b → c} → ⦃ func-f : Function(f) ⦄ → ∀{g : a → b} → ⦃ bij-f : Bijective(f) ⦄ → ⦃ bij-g : Bijective(g) ⦄ → Bijective(f ∘ g)
  [∘]-bijective {f = f} {g = g} =
    injective-surjective-to-bijective(f ∘ g)
      ⦃ [∘]-injective
        ⦃ inj-f = bijective-to-injective(f) ⦄
        ⦃ inj-g = bijective-to-injective(g) ⦄
      ⦄
      ⦃ [∘]-surjective
        ⦃ surj-f = bijective-to-surjective(f) ⦄
        ⦃ surj-g = bijective-to-surjective(g) ⦄
      ⦄

  [∘]-inverseᵣ : ∀{f : b → c} ⦃ func-f : Function(f) ⦄ {f⁻¹ : b ← c}{g : a → b}{g⁻¹ : a ← b} → ⦃ inv-f : Inverseᵣ(f)(f⁻¹) ⦄ ⦃ inv-g : Inverseᵣ(g)(g⁻¹) ⦄ → Inverseᵣ(f ∘ g)(g⁻¹ ∘ f⁻¹)
  Inverseᵣ.proof ([∘]-inverseᵣ {f} {f⁻¹} {g} {g⁻¹}) {x} =
    ((f ∘ g) ∘ (g⁻¹ ∘ f⁻¹))(x) 🝖[ _≡ₛ_ ]-[]
    (f ∘ ((g ∘ g⁻¹) ∘ f⁻¹))(x) 🝖[ _≡ₛ_ ]-[ congruence₁(f) (inverseᵣ(g)(g⁻¹)) ]
    (f ∘ (id ∘ f⁻¹))(x)        🝖[ _≡ₛ_ ]-[]
    (f ∘ f⁻¹)(x)               🝖[ _≡ₛ_ ]-[ inverseᵣ(f)(f⁻¹) ]
    x                          🝖-end

  -- The composition of functions is a function.
  [∘]-function : ∀{f : b → c}{g : a → b} → ⦃ func-f : Function(f) ⦄ → ⦃ func-g : Function(g) ⦄ → Function(f ∘ g)
  Function.congruence([∘]-function {f = f}{g = g}) = congruence₁(f) ∘ congruence₁(g)

module _
  {a₁ : Type{ℓₒ₁}} ⦃ equiv-a₁ : Equiv{ℓₑ₁}(a₁) ⦄
  {b₁ : Type{ℓₒ₂}} ⦃ equiv-b₁ : Equiv{ℓₑ₂}(b₁) ⦄
  {a₂ : Type{ℓₒ₃}} ⦃ equiv-a₂ : Equiv{ℓₑ₃}(a₂) ⦄
  {b₂ : Type{ℓₒ₄}} ⦃ equiv-b₂ : Equiv{ℓₑ₄}(b₂) ⦄
  {c  : Type{ℓₒ₅}} ⦃ equiv-c  : Equiv{ℓₑ₅}(c) ⦄
  {f : a₂ → b₂ → c}  ⦃ func-f : BinaryOperator(f) ⦄
  {g : a₁ → b₁ → a₂} ⦃ func-g : BinaryOperator(g) ⦄
  {h : a₁ → b₁ → b₂} ⦃ func-h : BinaryOperator(h) ⦄
  where

  [∘]-binaryOperator : BinaryOperator(x ↦ y ↦ f(g x y)(h x y))
  BinaryOperator.congruence [∘]-binaryOperator xy1 xy2 = congruence₂(f) (congruence₂(g) xy1 xy2) (congruence₂(h) xy1 xy2)

module _
  {a : Type{ℓₒ₁}} ⦃ equiv-a : Equiv{ℓₑ₁}(a) ⦄
  {b : Type{ℓₒ₂}} ⦃ equiv-b : Equiv{ℓₑ₂}(b) ⦄
  {f : a → a → b}  ⦃ func-f : BinaryOperator(f) ⦄
  where

  [$₂]-function : Function(f $₂_)
  Function.congruence [$₂]-function = congruence₂(f) $₂_

module _ {X : Type{ℓ₁}} {Y : Type{ℓ₂}} {Z : Type{ℓ₃}} where
  swap-involution : ⦃ _ : Equiv{ℓₑ}(X → Y → Z) ⦄ → ∀{f : X → Y → Z} → (swap(swap(f)) ≡ₛ f)
  swap-involution = reflexivity(_≡ₛ_)

  swap-involution-fn : ⦃ _ : Equiv{ℓₑ}((X → Y → Z) → (X → Y → Z)) ⦄ → (swap ∘ swap ≡ₛ id {T = X → Y → Z})
  swap-involution-fn = reflexivity(_≡ₛ_)

  swap-binaryOperator : ⦃ _ : Equiv{ℓₑ₁}(X) ⦄ ⦃ _ : Equiv{ℓₑ₂}(Y) ⦄ ⦃ _ : Equiv{ℓₑ₃}(Z) ⦄ → ∀{_▫_ : X → Y → Z} → ⦃ _ : BinaryOperator(_▫_) ⦄ → BinaryOperator(swap(_▫_))
  BinaryOperator.congruence (swap-binaryOperator {_▫_ = _▫_} ⦃ intro p ⦄) x₁y₁ x₂y₂ = p x₂y₂ x₁y₁

module _ {X : Type{ℓ₁}} {Y : Type{ℓ₂}} where
  s-combinator-const-id : ⦃ _ : Equiv{ℓₑ}(X → X) ⦄ → (_∘ₛ_ {X = X}{Y = Y → X}{Z = X} const const ≡ₛ id)
  s-combinator-const-id = reflexivity(_≡ₛ_)

module _ {X : Type{ℓ₁}} {Y : Type{ℓ₂}} {Z : Type{ℓ₃}} ⦃ equiv-z : Equiv{ℓₑ₃}(Z) ⦄ where
  s-combinator-const-eq : ∀{f}{a}{b} → (_∘ₛ_{X = X}{Y = Y}{Z = Z} f (const b) a ≡ₛ f a b)
  s-combinator-const-eq = reflexivity(_≡ₛ_)

{- TODO: Maybe this is unprovable because types. https://plato.stanford.edu/entries/axiom-choice/#AxiChoLog https://plato.stanford.edu/entries/axiom-choice/choice-and-type-theory.html https://en.wikipedia.org/wiki/Diaconescu%27s_theorem
module _ {fn-ext : FunctionExtensionality} where
  open import Function.Names
  open import Data.Boolean

  function-extensionality-to-classical : ∀{P} → (P ∨ (¬ P))
  function-extensionality-to-classical{P} = where
    A : Bool → Stmt
    A(x) = (P ∨ (x ≡ 𝐹))

    B : Bool → Stmt
    B(x) = (P ∨ (x ≡ 𝑇))

    C : (Bool → Stmt) → Stmt
    C(F) = (F ⊜ A) ∨ (F ⊜ B)
-}

module _ {X : Type{ℓₒ₁}} ⦃ eq-x : Equiv{ℓₑ₁}(X) ⦄ {Y : Type{ℓₒ₂}} ⦃ eq-y : Equiv{ℓₑ₂}(Y) ⦄ {Z : Type{ℓₒ₃}} ⦃ eq-z : Equiv{ℓₑ₃}(Z) ⦄ where
  open import Function.Equals
  open import Function.Equals.Proofs

  s-combinator-injective : Injective(_∘ₛ_ {X = X}{Y = Y}{Z = Z})
  _⊜_.proof (Injective.proof s-combinator-injective {f} {g} sxsy) {x} = Function.Equals.intro(\{a} → [⊜]-apply([⊜]-apply sxsy {const(a)}){x})

  s-combinator-inverseₗ : Inverseₗ(_∘ₛ_ {X = X}{Y = Y}{Z = Z})(f ↦ a ↦ b ↦ f (const b) a)
  _⊜_.proof (Inverseᵣ.proof s-combinator-inverseₗ) = reflexivity(_≡ₛ_)

module _ {A : Type{ℓ}} ⦃ equiv-A : Equiv{ℓₑ}(A) ⦄ where
  classical-constant-endofunction-existence : ⦃ classical : Classical(A) ⦄ → ∃{Obj = A → A}(Constant)
  classical-constant-endofunction-existence with excluded-middle(A)
  ... | [∨]-introₗ a  = [∃]-intro (const a)
  ... | [∨]-introᵣ na = [∃]-intro id ⦃ intro(\{a} → [⊥]-elim(na a)) ⦄

module _ {T : Type{ℓ}} ⦃ equiv : Equiv{ℓₑ}(T) ⦄ where
  open import Logic.Propositional.Theorems
  open import Structure.Operator.Properties

  proj₂ₗ-associativity : Associativity{T = T}(proj₂ₗ)
  proj₂ₗ-associativity = intro(reflexivity(_))

  proj₂ᵣ-associativity : Associativity{T = T}(proj₂ᵣ)
  proj₂ᵣ-associativity = intro(reflexivity(_))

  proj₂ₗ-identityₗ : ∀{id : T} → Identityₗ(proj₂ₗ)(id) ↔ (∀{x} → (Equiv._≡_ equiv id x))
  proj₂ₗ-identityₗ = [↔]-intro intro Identityₗ.proof

  proj₂ₗ-identityᵣ : ∀{id : T} → Identityᵣ(proj₂ₗ)(id)
  proj₂ₗ-identityᵣ = intro(reflexivity(_))

  proj₂ₗ-identity : ∀{id : T} → Identity(proj₂ₗ)(id) ↔ (∀{x} → (Equiv._≡_ equiv id x))
  proj₂ₗ-identity =
    [↔]-transitivity
      ([↔]-intro (l ↦ intro ⦃ left = l ⦄ ⦃ right = proj₂ₗ-identityᵣ ⦄) Identity.left)
      proj₂ₗ-identityₗ

  proj₂ᵣ-identityₗ : ∀{id : T} → Identityₗ(proj₂ᵣ)(id)
  proj₂ᵣ-identityₗ = intro(reflexivity(_))

  proj₂ᵣ-identityᵣ : ∀{id : T} → Identityᵣ(proj₂ᵣ)(id) ↔ (∀{x} → (Equiv._≡_ equiv id x))
  proj₂ᵣ-identityᵣ = [↔]-intro intro Identityᵣ.proof

  proj₂ᵣ-identity : ∀{id : T} → Identity(proj₂ᵣ)(id) ↔ (∀{x} → (Equiv._≡_ equiv id x))
  proj₂ᵣ-identity =
    [↔]-transitivity
      ([↔]-intro (r ↦ intro ⦃ left = proj₂ᵣ-identityₗ ⦄ ⦃ right = r ⦄) Identity.right)
      proj₂ᵣ-identityᵣ

module _ {T : Type{ℓₒ}} ⦃ equiv : Equiv{ℓₑ}(T) ⦄ where
  instance
    id-inversePair : InversePair{A = T}([↔]-reflexivity)
    id-inversePair = intro ⦃ left = intro(reflexivity(_≡ₛ_)) ⦄ ⦃ right = intro(reflexivity(_≡ₛ_)) ⦄

module _
  {A : Type{ℓₒ₁}} ⦃ equiv-A : Equiv{ℓₑ₁}(A) ⦄
  {B : Type{ℓₒ₂}} ⦃ equiv-B : Equiv{ℓₑ₂}(B) ⦄
  {p : A ↔ B}
  where

  sym-inversePair : ⦃ InversePair(p) ⦄ → InversePair([↔]-symmetry p)
  sym-inversePair = intro

module _
  {A : Type{ℓₒ₁}} ⦃ equiv-A : Equiv{ℓₑ₁}(A) ⦄
  {B : Type{ℓₒ₂}} ⦃ equiv-B : Equiv{ℓₑ₂}(B) ⦄
  {C : Type{ℓₒ₃}} ⦃ equiv-C : Equiv{ℓₑ₃}(C) ⦄
  {p₁ : A ↔ B} ⦃ func-p₁ₗ : Function([↔]-to-[←] p₁) ⦄
  {p₂ : B ↔ C} ⦃ func-p₂ᵣ : Function([↔]-to-[→] p₂) ⦄
  where

  trans-inversePair : ⦃ inv₁ : InversePair(p₁) ⦄ → ⦃ inv₂ : InversePair(p₂) ⦄ → InversePair([↔]-transitivity p₁ p₂)
  trans-inversePair = intro ⦃ left = [∘]-inverseᵣ {f = [↔]-to-[→] p₂} ⦄ ⦃ right = [∘]-inverseᵣ {f = [↔]-to-[←] p₁} ⦄