books_maps.bend source
books_maps.bend on the hub · documented module
# AUTO-GENERATED maps from books_data — do not edit by handimport Baseimport ./books_data.bend as Ddef alias_map() -> Map<&2, String>: Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.new(&2, String), "1ch", "1CH"), "1chr", "1CH"), "1chron", "1CH"), "1chronicles", "1CH"), "1co", "1CO"), "1cor", "1CO"), "1corinthians", "1CO"), "1jn", "1JN"), "1jo", "1JN"), "1john", "1JN"), "1kgs", "1KI"), "1ki", "1KI"), "1kings", "1KI"), "1pe", "1PE"), "1pet", "1PE"), "1peter", "1PE"), "1sa", "1SA"), "1sam", "1SA"), "1samuel", "1SA"), "1th", "1TH"), "1thes", "1TH"), "1thess", "1TH"), "1thessalonians", "1TH"), "1ti", "1TI"), "1tim", "1TI"), "1timothy", "1TI"), "2ch", "2CH"), "2chr", "2CH"), "2chron", "2CH"), "2chronicles", "2CH"), "2co", "2CO"), "2cor", "2CO"), "2corinthians", "2CO"), "2jn", "2JN"), "2jo", "2JN"), "2john", "2JN"), "2kgs", "2KI"), "2ki", "2KI"), "2kings", "2KI"), "2pe", "2PE"), "2pet", "2PE"), "2peter", "2PE"), "2sa", "2SA"), "2sam", "2SA"), "2samuel", "2SA"), "2th", "2TH"), "2thes", "2TH"), "2thess", "2TH"), "2thessalonians", "2TH"), "2ti", "2TI"), "2tim", "2TI"), "2timothy", "2TI"), "3jn", "3JN"), "3jo", "3JN"), "3john", "3JN"), "ac", "ACT"), "act", "ACT"), "acts", "ACT"), "am", "AMO"), "amo", "AMO"), "amos", "AMO"), "apocalypse", "REV"), "canticles", "SNG"), "co", "COL"), "col", "COL"), "colossians", "COL"), "da", "DAN"), "dan", "DAN"), "daniel", "DAN"), "de", "DEU"), "deu", "DEU"), "deut", "DEU"), "deuteronomy", "DEU"), "dt", "DEU"), "ec", "ECC"), "ecc", "ECC"), "eccl", "ECC"), "eccles", "ECC"), "ecclesiastes", "ECC"), "eph", "EPH"), "ephes", "EPH"), "ephesians", "EPH"), "es", "EST"), "est", "EST"), "esth", "EST"), "esther", "EST"), "ex", "EXO"), "exo", "EXO"), "exod", "EXO"), "exodus", "EXO"), "ez", "EZR"), "eze", "EZK"), "ezek", "EZK"), "ezekiel", "EZK"), "ezk", "EZK"), "ezr", "EZR"), "ezra", "EZR"), "ga", "GAL"), "gal", "GAL"), "galatians", "GAL"), "ge", "GEN"), "gen", "GEN"), "genesis", "GEN"), "gn", "GEN"), "hab", "HAB"), "habakkuk", "HAB"), "hag", "HAG"), "haggai", "HAG"), "hb", "HAB"), "he", "HEB"), "heb", "HEB"), "hebrews", "HEB"), "hg", "HAG"), "ho", "HOS"), "hos", "HOS"), "hosea", "HOS"), "is", "ISA"), "isa", "ISA"), "isaiah", "ISA"), "james", "JAS"), "jas", "JAS"), "jb", "JOB"), "jdg", "JDG"), "je", "JER"), "jer", "JER"), "jeremiah", "JER"), "jhn", "JHN"), "jl", "JOL"), "jm", "JAS"), "jn", "JHN"), "jnh", "JON"), "job", "JOB"), "joe", "JOL"), "joel", "JOL"), "joh", "JHN"), "john", "JHN"), "jol", "JOL"), "jon", "JON"), "jona", "JON"), "jonah", "JON"), "jos", "JOS"), "josh", "JOS"), "joshua", "JOS"), "ju", "JUD"), "jud", "JUD"), "jude", "JUD"), "judg", "JDG"), "judges", "JDG"), "la", "LAM"), "lam", "LAM"), "lamentations", "LAM"), "le", "LEV"), "lev", "LEV"), "leviticus", "LEV"), "lk", "LUK"), "lu", "LUK"), "luk", "LUK"), "luke", "LUK"), "lv", "LEV"), "mal", "MAL"), "malachi", "MAL"), "mark", "MRK"), "mat", "MAT"), "matt", "MAT"), "matthew", "MAT"), "mc", "MIC"), "mi", "MIC"), "mic", "MIC"), "micah", "MIC"), "mk", "MRK"), "ml", "MAL"), "mr", "MRK"), "mrk", "MRK"), "mt", "MAT"), "na", "NAM"), "nah", "NAM"), "nahum", "NAM"), "nam", "NAM"), "ne", "NEH"), "neh", "NEH"), "nehemiah", "NEH"), "nm", "NUM"), "nu", "NUM"), "num", "NUM"), "numbers", "NUM"), "ob", "OBA"), "oba", "OBA"), "obad", "OBA"), "obadiah", "OBA"), "phil", "PHP"), "philemon", "PHM"), "philippians", "PHP"), "phlm", "PHM"), "phm", "PHM"), "php", "PHP"), "pr", "PRO"), "pro", "PRO"), "prov", "PRO"), "proverbs", "PRO"), "ps", "PSA"), "psa", "PSA"), "psalm", "PSA"), "psalms", "PSA"), "re", "REV"), "rev", "REV"), "revelation", "REV"), "rm", "ROM"), "ro", "ROM"), "rom", "ROM"), "romans", "ROM"), "ru", "RUT"), "rut", "RUT"), "ruth", "RUT"), "rv", "REV"), "sng", "SNG"), "song", "SNG"), "songofsolomon", "SNG"), "songofsongs", "SNG"), "sos", "SNG"), "ss", "SNG"), "tit", "TIT"), "titus", "TIT"), "zec", "ZEC"), "zech", "ZEC"), "zechariah", "ZEC"), "zep", "ZEP"), "zeph", "ZEP"), "zephaniah", "ZEP")def chapter_map() -> Map<&2, U32>: Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.new(&2, U32), "1CH", 29), "1CO", 16), "1JN", 5), "1KI", 22), "1PE", 5), "1SA", 31), "1TH", 5), "1TI", 6), "2CH", 36), "2CO", 13), "2JN", 1), "2KI", 25), "2PE", 3), "2SA", 24), "2TH", 3), "2TI", 4), "3JN", 1), "ACT", 28), "AMO", 9), "COL", 4), "DAN", 12), "DEU", 34), "ECC", 12), "EPH", 6), "EST", 10), "EXO", 40), "EZK", 48), "EZR", 10), "GAL", 6), "GEN", 50), "HAB", 3), "HAG", 2), "HEB", 13), "HOS", 14), "ISA", 66), "JAS", 5), "JDG", 21), "JER", 52), "JHN", 21), "JOB", 42), "JOL", 3), "JON", 4), "JOS", 24), "JUD", 1), "LAM", 5), "LEV", 27), "LUK", 24), "MAL", 4), "MAT", 28), "MIC", 7), "MRK", 16), "NAM", 3), "NEH", 13), "NUM", 36), "OBA", 1), "PHM", 1), "PHP", 4), "PRO", 31), "PSA", 150), "REV", 22), "ROM", 16), "RUT", 4), "SNG", 8), "TIT", 3), "ZEC", 14), "ZEP", 3)def name_map() -> Map<&2, String>: Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.set(&2, String, Map.new(&2, String), "1CH", "1 Chronicles"), "1CO", "1 Corinthians"), "1JN", "1 John"), "1KI", "1 Kings"), "1PE", "1 Peter"), "1SA", "1 Samuel"), "1TH", "1 Thessalonians"), "1TI", "1 Timothy"), "2CH", "2 Chronicles"), "2CO", "2 Corinthians"), "2JN", "2 John"), "2KI", "2 Kings"), "2PE", "2 Peter"), "2SA", "2 Samuel"), "2TH", "2 Thessalonians"), "2TI", "2 Timothy"), "3JN", "3 John"), "ACT", "Acts"), "AMO", "Amos"), "COL", "Colossians"), "DAN", "Daniel"), "DEU", "Deuteronomy"), "ECC", "Ecclesiastes"), "EPH", "Ephesians"), "EST", "Esther"), "EXO", "Exodus"), "EZK", "Ezekiel"), "EZR", "Ezra"), "GAL", "Galatians"), "GEN", "Genesis"), "HAB", "Habakkuk"), "HAG", "Haggai"), "HEB", "Hebrews"), "HOS", "Hosea"), "ISA", "Isaiah"), "JAS", "James"), "JDG", "Judges"), "JER", "Jeremiah"), "JHN", "John"), "JOB", "Job"), "JOL", "Joel"), "JON", "Jonah"), "JOS", "Joshua"), "JUD", "Jude"), "LAM", "Lamentations"), "LEV", "Leviticus"), "LUK", "Luke"), "MAL", "Malachi"), "MAT", "Matthew"), "MIC", "Micah"), "MRK", "Mark"), "NAM", "Nahum"), "NEH", "Nehemiah"), "NUM", "Numbers"), "OBA", "Obadiah"), "PHM", "Philemon"), "PHP", "Philippians"), "PRO", "Proverbs"), "PSA", "Psalms"), "REV", "Revelation"), "ROM", "Romans"), "RUT", "Ruth"), "SNG", "Song of Solomon"), "TIT", "Titus"), "ZEC", "Zechariah"), "ZEP", "Zephaniah")type VsPh is Data: VsScan{} VsPut{k: String, n: U32}def verse_map_go(fuel: Nat, ph: VsPh, xs: List<D.Cap>, acc: Map<&2, U32>) -> Map<&2, U32>: match fuel: case 0n: acc case 1n+p: match ph: case VsScan{}: match xs: case Nil{}: acc case D.Cap{+k, n} <> t: verse_map_go(p, VsPut{k, n}, t, acc) case VsPut{+k, +n}: verse_map_go(p, VsScan{}, xs, Map.set(&2, U32, acc, k, n))def verse_map() -> Map<&2, U32>: verse_map_go(3000n, VsScan{}, D.verse_caps(), Map.new(&2, U32))# OSIS canonical book order (0-based), matches grab-bcv OSIS_BOOK_ORDERdef order_map() -> Map<&2, U32>: Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.set(&2, U32, Map.new(&2, U32), "GEN", 0), "EXO", 1), "LEV", 2), "NUM", 3), "DEU", 4), "JOS", 5), "JDG", 6), "RUT", 7), "1SA", 8), "2SA", 9), "1KI", 10), "2KI", 11), "1CH", 12), "2CH", 13), "EZR", 14), "NEH", 15), "EST", 16), "JOB", 17), "PSA", 18), "PRO", 19), "ECC", 20), "SNG", 21), "ISA", 22), "JER", 23), "LAM", 24), "EZK", 25), "DAN", 26), "HOS", 27), "JOL", 28), "AMO", 29), "OBA", 30), "JON", 31), "MIC", 32), "NAM", 33), "HAB", 34), "ZEP", 35), "HAG", 36), "ZEC", 37), "MAL", 38), "MAT", 39), "MRK", 40), "LUK", 41), "JHN", 42), "ACT", 43), "ROM", 44), "1CO", 45), "2CO", 46), "GAL", 47), "EPH", 48), "PHP", 49), "COL", 50), "1TH", 51), "2TH", 52), "1TI", 53), "2TI", 54), "TIT", 55), "PHM", 56), "HEB", 57), "JAS", 58), "1PE", 59), "2PE", 60), "1JN", 61), "2JN", 62), "3JN", 63), "JUD", 64), "REV", 65)# Fuzzy-eligible aliases (105)def fuzzy_alias_table() -> List<D.Alias>: (D.Alias{"1chr", "1CH"} <> (D.Alias{"1chron", "1CH"} <> (D.Alias{"1chronicles", "1CH"} <> (D.Alias{"1cor", "1CO"} <> (D.Alias{"1corinthians", "1CO"} <> (D.Alias{"1john", "1JN"} <> (D.Alias{"1kgs", "1KI"} <> (D.Alias{"1kings", "1KI"} <> (D.Alias{"1pet", "1PE"} <> (D.Alias{"1peter", "1PE"} <> (D.Alias{"1sam", "1SA"} <> (D.Alias{"1samuel", "1SA"} <> (D.Alias{"1thes", "1TH"} <> (D.Alias{"1thess", "1TH"} <> (D.Alias{"1thessalonians", "1TH"} <> (D.Alias{"1tim", "1TI"} <> (D.Alias{"1timothy", "1TI"} <> (D.Alias{"2chr", "2CH"} <> (D.Alias{"2chron", "2CH"} <> (D.Alias{"2chronicles", "2CH"} <> (D.Alias{"2cor", "2CO"} <> (D.Alias{"2corinthians", "2CO"} <> (D.Alias{"2john", "2JN"} <> (D.Alias{"2kgs", "2KI"} <> (D.Alias{"2kings", "2KI"} <> (D.Alias{"2pet", "2PE"} <> (D.Alias{"2peter", "2PE"} <> (D.Alias{"2sam", "2SA"} <> (D.Alias{"2samuel", "2SA"} <> (D.Alias{"2thes", "2TH"} <> (D.Alias{"2thess", "2TH"} <> (D.Alias{"2thessalonians", "2TH"} <> (D.Alias{"2tim", "2TI"} <> (D.Alias{"2timothy", "2TI"} <> (D.Alias{"3john", "3JN"} <> (D.Alias{"acts", "ACT"} <> (D.Alias{"amos", "AMO"} <> (D.Alias{"apocalypse", "REV"} <> (D.Alias{"canticles", "SNG"} <> (D.Alias{"colossians", "COL"} <> (D.Alias{"daniel", "DAN"} <> (D.Alias{"deut", "DEU"} <> (D.Alias{"deuteronomy", "DEU"} <> (D.Alias{"eccl", "ECC"} <> (D.Alias{"eccles", "ECC"} <> (D.Alias{"ecclesiastes", "ECC"} <> (D.Alias{"ephes", "EPH"} <> (D.Alias{"ephesians", "EPH"} <> (D.Alias{"esth", "EST"} <> (D.Alias{"esther", "EST"} <> (D.Alias{"exod", "EXO"} <> (D.Alias{"exodus", "EXO"} <> (D.Alias{"ezek", "EZK"} <> (D.Alias{"ezekiel", "EZK"} <> (D.Alias{"ezra", "EZR"} <> (D.Alias{"galatians", "GAL"} <> (D.Alias{"genesis", "GEN"} <> (D.Alias{"habakkuk", "HAB"} <> (D.Alias{"haggai", "HAG"} <> (D.Alias{"hebrews", "HEB"} <> (D.Alias{"hosea", "HOS"} <> (D.Alias{"isaiah", "ISA"} <> (D.Alias{"james", "JAS"} <> (D.Alias{"jeremiah", "JER"} <> (D.Alias{"joel", "JOL"} <> (D.Alias{"john", "JHN"} <> (D.Alias{"jona", "JON"} <> (D.Alias{"jonah", "JON"} <> (D.Alias{"josh", "JOS"} <> (D.Alias{"joshua", "JOS"} <> (D.Alias{"jude", "JUD"} <> (D.Alias{"judg", "JDG"} <> (D.Alias{"judges", "JDG"} <> (D.Alias{"lamentations", "LAM"} <> (D.Alias{"leviticus", "LEV"} <> (D.Alias{"luke", "LUK"} <> (D.Alias{"malachi", "MAL"} <> (D.Alias{"mark", "MRK"} <> (D.Alias{"matt", "MAT"} <> (D.Alias{"matthew", "MAT"} <> (D.Alias{"micah", "MIC"} <> (D.Alias{"nahum", "NAM"} <> (D.Alias{"nehemiah", "NEH"} <> (D.Alias{"numbers", "NUM"} <> (D.Alias{"obad", "OBA"} <> (D.Alias{"obadiah", "OBA"} <> (D.Alias{"phil", "PHP"} <> (D.Alias{"philemon", "PHM"} <> (D.Alias{"philippians", "PHP"} <> (D.Alias{"phlm", "PHM"} <> (D.Alias{"prov", "PRO"} <> (D.Alias{"proverbs", "PRO"} <> (D.Alias{"psalm", "PSA"} <> (D.Alias{"psalms", "PSA"} <> (D.Alias{"revelation", "REV"} <> (D.Alias{"romans", "ROM"} <> (D.Alias{"ruth", "RUT"} <> (D.Alias{"song", "SNG"} <> (D.Alias{"songofsolomon", "SNG"} <> (D.Alias{"songofsongs", "SNG"} <> (D.Alias{"titus", "TIT"} <> (D.Alias{"zech", "ZEC"} <> (D.Alias{"zechariah", "ZEC"} <> (D.Alias{"zeph", "ZEP"} <> (D.Alias{"zephaniah", "ZEP"} <> Nil{})))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))