/* generated by clectio-gen -- do not edit */ #ifndef LITURGY_EF_H #define LITURGY_EF_H #define EPOCH_Y 2025 #define EPOCH_M 1 #define EPOCH_D 1 #define NDAYS 10957 static const char *const names[] = { "The Circumcision of the Lord", "Thursday of Christmas", "Friday of Christmas", "Saturday of Christmas", "0th Sunday of Christmas", "The Epiphany of the Lord", "Tuesday of the 1st Week after Epiphany", "Wednesday of the 1st Week after Epiphany", "Thursday of the 1st Week after Epiphany", "Friday of the 1st Week after Epiphany", "Saturday of the 1st Week after Epiphany", "1st Sunday after Epiphany", "Commemoration of the Baptism of the Lord", "St. Hilary", "St. Paul, the First Hermit", "St. Marcellus I", "St. Anthony", "Saturday of the 2nd Week after Epiphany", "2nd Sunday after Epiphany", "Sts. Fabian & Sebastian", "St. Agnes", "Sts. Vincent & Anastasius", "St. Raymond of Peñafort", "St. Timothy", "Conversion of St. Paul", "3rd Sunday after Epiphany", "St. John Chrysostom", "St. Peter Nolasco", "St. Francis de Sales", "St. Martina", "St. John Bosco", "St. Ignatius of Antioch", "Purification of the Blessed Virgin Mary", "Monday of the 5th Week after Epiphany", "St. Andrew Corsini", "St. Agatha", "St. Titus", "St. Romuald", "St. John of Matha", "5th Sunday after Epiphany", "St. Scholastica", "Our Lady of Lourdes", "Seven Holy Servite Founders", "Thursday of the 6th Week after Epiphany", "Friday of the 6th Week after Epiphany", "Saturday of the 6th Week after Epiphany", "1st Sunday of Septuagesima", "Monday of the 1st Week of Septuagesima", "Tuesday of the 1st Week of Septuagesima", "Wednesday of the 1st Week of Septuagesima", "Thursday of the 1st Week of Septuagesima", "Friday of the 1st Week of Septuagesima", "Chair of St. Peter", "2nd Sunday of Septuagesima", "St. Matthias", "Tuesday of the 2nd Week of Septuagesima", "Wednesday of the 2nd Week of Septuagesima", "St. Gabriel of Our Lady of Sorrows", "Friday of the 2nd Week of Septuagesima", "Saturday of the 2nd Week of Septuagesima", "3rd Sunday of Septuagesima", "Monday of the 3rd Week of Septuagesima", "St. Casimir", "Ash Wednesday", "Thursday after Ash Wednesday", "Friday after Ash Wednesday", "Saturday after Ash Wednesday", "1st Sunday of Lent", "Monday of the 1st Week of Lent", "Tuesday of the 1st Week of Lent", "Lent Ember Wed", "Thursday of the 1st Week of Lent", "Lent Ember Fri", "Lent Ember Sat", "2nd Sunday of Lent", "Monday of the 2nd Week of Lent", "Tuesday of the 2nd Week of Lent", "St. Joseph, Spouse of the Bl. Virgin Mary", "Thursday of the 2nd Week of Lent", "Friday of the 2nd Week of Lent", "Saturday of the 2nd Week of Lent", "3rd Sunday of Lent", "Monday of the 3rd Week of Lent", "Annunciation of the Blessed Virgin Mary", "Wednesday of the 3rd Week of Lent", "Thursday of the 3rd Week of Lent", "Friday of the 3rd Week of Lent", "Saturday of the 3rd Week of Lent", "4th Sunday of Lent", "Monday of the 4th Week of Lent", "Tuesday of the 4th Week of Lent", "Wednesday of the 4th Week of Lent", "Thursday of the 4th Week of Lent", "Friday of the 4th Week of Lent", "Saturday of the 4th Week of Lent", "Passion Sunday", "Monday of Passion Week", "Tuesday of Passion Week", "Wednesday of Passion Week", "Thursday of Passion Week", "Friday of Passion Week", "Saturday of Passion Week", "Palm Sunday", "Easter Sunday", "Monday of the 1st Week of Easter", "Tuesday of the 1st Week of Easter", "Wednesday of the 1st Week of Easter", "Thursday of the 1st Week of Easter", "Friday of the 1st Week of Easter", "Saturday of the 1st Week of Easter", "Second Sunday of Easter", "St. Paul of the Cross", "St. Peter of Verona", "St. Catherine of Siena", "St. Joseph the Workman", "St. Athanasius", "Saturday of the 2nd Week of Easter", "3rd Sunday of Easter", "St. Pius V", "Tuesday of the 3rd Week of Easter", "St. Stanislaus", "Thursday of the 3rd Week of Easter", "St. Gregory of Nazianzen", "St. Antoninus", "4th Sunday of Easter", "Sts. Nereus, Achilleus, Domitilla, & Pancras", "St. Robert Bellarmine", "Wednesday of the 4th Week of Easter", "St. John Baptist de la Salle", "St. Ubaldus", "St. Paschal Baylon", "5th Sunday of Easter", "St. Peter Celestine", "St. Bernardine of Siena", "Wednesday of the 5th Week of Easter", "Thursday of the 5th Week of Easter", "Friday of the 5th Week of Easter", "Saturday of the 5th Week of Easter", "6th Sunday of Easter", "St. Philip Neri", "St. Bede the Venerable", "Vigil of the Ascension", "The Ascension of the Lord", "Friday of the 6th Week of Easter", "Queenship of the Blessed Virgin Mary", "7th Sunday of Easter", "Monday of the 7th Week of Easter", "Tuesday of the 7th Week of Easter", "St. Francis Caracciolo", "St. Boniface", "St. Norbert", "Vigil of Pentecost", "Pentecost Sunday", "Monday of the 8th Week of Easter", "Tuesday of the 8th Week of Easter", "Wednesday of the 8th Week of Easter", "Thursday of the 8th Week of Easter", "Friday of the 8th Week of Easter", "Saturday of the 8th Week of Easter", "Trinity Sunday", "Monday of the 1st Week after Pentecost", "St. Gregory Barbarigo", "St. Ephrem of Syria", "The Body and Blood of Christ", "Friday of the 1st Week after Pentecost", "St. Aloysius Gongzaga", "2nd Sunday after Pentecost", "Vigil of the Nativity of St. John the Baptist", "Nativity of St. John the Baptist", "St. William", "Sts. John & Paul", "The Most Sacred Heart of Jesus", "Vigil of Sts. Peter & Paul", "Sts. Peter & Paul", "In Commemoratione Sancti Pauli Apostoli", "The Precious Blood of Our Lord Jesus Christ", "Visitation of the Blessed Virgin Mary", "St. Irenaeus", "Friday of the 3rd Week after Pentecost", "St. Anthony Mary Zaccariah", "4th Sunday after Pentecost", "Sts. Cyril & Methodius", "St. Elizabeth of Portugal", "Wednesday of the 4th Week after Pentecost", "Seven Holy Brothers and Sts. Rufina & Secunda", "Friday of the 4th Week after Pentecost", "St. John Gualbert", "5th Sunday after Pentecost", "St. Bonaventure", "St. Henry the Emperor", "Wednesday of the 5th Week after Pentecost", "Thursday of the 5th Week after Pentecost", "Camillus de Lellis", "St. Vincent de Paul", "6th Sunday after Pentecost", "St. Laurence of Brindisi", "St. Mary Magdalene", "St. Apollinaris", "Thursday of the 6th Week after Pentecost", "St. James the Greater", "St. Anne, Mother of the Blessed Virgin", "7th Sunday after Pentecost", "Sts. Nazarius & Celsus, St. Victor I & St. Innocent I", "St. Martha", "Wednesday of the 7th Week after Pentecost", "St. Ignatius Loyola", "Friday of the 7th Week after Pentecost", "St. Alphonsus Liguori", "8th Sunday after Pentecost", "St. Dominic", "Dedication of the Basilica of St. Mary Major", "Transfiguration of Our Lord", "St. Cajetan", "St. John Mary Vianney", "Vigil of St. Lawrence", "9th Sunday after Pentecost", "Monday of the 9th Week after Pentecost", "St. Clare", "Wednesday of the 9th Week after Pentecost", "Vigil of the Assumption", "Assumption of the Blessed Virgin Mary", "St. Joachim, Father of the Blessed Virgin", "10th Sunday after Pentecost", "Monday of the 10th Week after Pentecost", "St. John Eudes", "St. Bernard of Clairvaux", "St. Jane Frances de Chantal", "Immaculate Heart of Mary", "St. Philip Benizi", "11th Sunday after Pentecost", "St. Louis IX", "Tuesday of the 11th Week after Pentecost", "St. Joseph Calasance", "St. Augustine", "Beheading of St. John the Baptist", "St. Rose of Lima", "12th Sunday after Pentecost", "Monday of the 12th Week after Pentecost", "St. Stephen of Hungary", "St. Pius X", "Thursday of the 12th Week after Pentecost", "St. Lawrence Justinian", "Saturday of the 12th Week after Pentecost", "13th Sunday after Pentecost", "Nativity of the Blessed Virgin Mary", "Tuesday of the 13th Week after Pentecost", "St. Nicholas of Tolentino", "Thursday of the 13th Week after Pentecost", "Most Holy Name of Mary", "Saturday of the 13th Week after Pentecost", "Exaltation of the Holy Cross", "Seven Sorrows of the Blessed Virgin Mary", "Sts. Cornelius & Cyprian", "Wednesday of the 14th Week after Pentecost", "St. Joseph of Cupertino", "St. Januarius & Companions", "Saturday of the 14th Week after Pentecost", "15th Sunday after Pentecost", "St. Thomas of Villanova", "St. Linus", "Ember Wednesday of September", "Thursday of the 15th Week after Pentecost", "Ember Friday of September", "Ember Saturday of September", "16th Sunday after Pentecost", "Dedication of St. Michael the Archangel", "St. Jerome", "Wednesday of the 16th Week after Pentecost", "Holy Guardian Angels", "St. Theresa of the Infant Jesus", "St. Francis of Assisi", "17th Sunday after Pentecost", "St. Bruno", "Our Lady of the Rosary", "St. Bridget of Sweden", "St. John Leonardi", "St. Francis Borgia", "Maternity of the Blessed Virgin Mary", "18th Sunday after Pentecost", "St. Edward", "St. Callistus I", "St. Teresa of Avila", "St. Hedwig", "St. Margaret Mary Alacoque", "St. Luke the Evangelist", "19th Sunday after Pentecost", "St. John Cantius", "Tuesday of the 19th Week after Pentecost", "Wednesday of the 19th Week after Pentecost", "St. Anthony Mary Claret", "St. Raphael the Archangel", "Saturday of the 19th Week after Pentecost", "Our Lord Jesus Christ, King of the Universe", "Monday of the 20th Week after Pentecost", "Sts. Simon & Jude", "Wednesday of the 20th Week after Pentecost", "Thursday of the 20th Week after Pentecost", "Friday of the 20th Week after Pentecost", "All Saints", "21st Sunday after Pentecost", "Commemoration of All Souls", "St. Charles Borromeo", "Wednesday of the 21st Week after Pentecost", "Thursday of the 21st Week after Pentecost", "Friday of the 21st Week after Pentecost", "Saturday of the 21st Week after Pentecost", "Dedication of the Archbasilica of Our Holy Savior", "St. Andrew Avellino", "St. Martin of Tours", "St. Martin I", "St. Didacus", "St. Josaphat", "St. Albert the Great", "23rd Sunday after Pentecost", "St. Gregory the Wonderworker", "Dedication of the Basilicas of Sts. Peter & Paul", "St. Elizabeth of Hungary", "St. Felix of Valois", "Presentation of the Blessed Virgin Mary", "St. Cecilia", "24th Sunday after Pentecost", "St. John of the Cross", "St. Catherine of Alexandria", "St. Sylvester", "Thursday of the 24th Week after Pentecost", "Friday of the 24th Week after Pentecost", "Saturday of the 24th Week after Pentecost", "1st Sunday of Advent", "Monday of the 1st Week of Advent", "St. Vivian", "St. Francis Xavier", "St. Peter Chrysologus", "Friday of the 1st Week of Advent", "St. Nicholas", "2nd Sunday of Advent", "Immaculate Conception of the Blessed Virgin Mary", "Tuesday of the 2nd Week of Advent", "Wednesday of the 2nd Week of Advent", "St. Damasus I", "Friday of the 2nd Week of Advent", "St. Lucy", "3rd Sunday of Advent", "Monday of the 3rd Week of Advent", "St. Eusebius", "Ember Wednesday of Advent", "Thursday of the 3rd Week of Advent", "Ember Friday of Advent", "Ember Saturday of Advent", "4th Sunday of Advent", "Monday of the 4th Week of Advent", "Tuesday of the 4th Week of Advent", "Vigil of Christmas", "The Nativity of the Lord", "St. Stephen", "St. John the Evangelist", "Monday of Christmas", "Tuesday of Christmas", "Wednesday of Christmas", "Monday of the 1st Week after Epiphany", "Monday of the 2nd Week after Epiphany", "St. Polycarp", "St. Cyril of Alexandria", "Tuesday of the 3rd Week of Septuagesima", "Wednesday of the 2nd Week of Lent", "Tuesday of the 3rd Week of Lent", "St. Hermenegild", "St. Justin", "Wednesday of the 2nd Week of Easter", "Thursday of the 2nd Week of Easter", "Friday of the 2nd Week of Easter", "Monday of the 3rd Week of Easter", "St. Anselm", "Sts. Soter & Caius", "St. Fidelis of Sigmaringen", "St. Mark", "St. Peter Canisius", "St. Monica", "Sts. Philip & James", "St. Venantius", "Thursday of the 7th Week of Easter", "Friday of the 7th Week of Easter", "St. Angela Merici", "Tuesday of the 1st Week after Pentecost", "Wednesday of the 1st Week after Pentecost", "Monday of the 2nd Week after Pentecost", "Tuesday of the 2nd Week after Pentecost", "St. Margaret of Scotland", "St. Barnabas", "St. Anthony of Padua", "3rd Sunday after Pentecost", "Monday of the 3rd Week after Pentecost", "Tuesday of the 3rd Week after Pentecost", "St. Julia of Falconieri", "Saturday of the 3rd Week after Pentecost", "St. Paulinus of Nola", "Saturday of the 4th Week after Pentecost", "Saturday of the 5th Week after Pentecost", "Monday of the 6th Week after Pentecost", "Saturday of the 6th Week after Pentecost", "Monday of the 7th Week after Pentecost", "Thursday of the 7th Week after Pentecost", "St. Jerome Emiliani", "Friday of the 8th Week after Pentecost", "Thursday of the 9th Week after Pentecost", "Saturday of the 9th Week after Pentecost", "St. Lawrence", "Thursday of the 11th Week after Pentecost", "St. Hyacinth", "Tuesday of the 12th Week after Pentecost", "St. Bartholomew", "Wednesday of the 13th Week after Pentecost", "14th Sunday after Pentecost", "St. Raymond Nonnatus", "Tuesday of the 14th Week after Pentecost", "Friday of the 14th Week after Pentecost", "Monday of the 15th Week after Pentecost", "Wednesday of the 15th Week after Pentecost", "Friday of the 15th Week after Pentecost", "Thursday of the 16th Week after Pentecost", "St. Matthew", "Thursday of the 17th Week after Pentecost", "St. Wenceslaus", "Thursday of the 18th Week after Pentecost", "Monday of the 19th Week after Pentecost", "20th Sunday after Pentecost", "St. Peter of Alcantara", "Monday of the 22nd Week after Pentecost", "Tuesday of the 22nd Week after Pentecost", "Thursday of the 22nd Week after Pentecost", "Friday of the 22nd Week after Pentecost", "Saturday of the 22nd Week after Pentecost", "Tuesday of the 23rd Week after Pentecost", "Thursday of the 23rd Week after Pentecost", "Friday of the 23rd Week after Pentecost", "Saturday of the 23rd Week after Pentecost", "6th Sunday after Epiphany", "St. Gertrude the Great", "St. Clement I", "Friday of the 26th Week after Pentecost", "Saturday of the 26th Week after Pentecost", "St. Andrew", "Tuesday of the 1st Week of Advent", "Saturday of the 1st Week of Advent", "St. Ambrose", "Thursday of the 2nd Week of Advent", "Saturday of the 2nd Week of Advent", "Tuesday of the 3rd Week of Advent", "St. Thomas", "Wednesday of the 4th Week of Advent", "Holy Innocents", "Tuesday of the 2nd Week after Epiphany", "Tuesday of the 2nd Week of Easter", "Friday of the 3rd Week of Easter", "Saturday of the 3rd Week of Easter", "Monday of the 4th Week of Easter", "Tuesday of the 4th Week of Easter", "Friday of the 4th Week of Easter", "Sts. Cletus & Marcellinus", "Monday of the 6th Week of Easter", "Saturday of the 6th Week of Easter", "St. Gregory VII", "St. Augustine of Canterbury", "St. Mary Magdalene de Pazzi", "Wednesday of the 2nd Week after Pentecost", "Thursday of the 2nd Week after Pentecost", "Wednesday of the 3rd Week after Pentecost", "St. John of San Fecundo", "St. Basil the Great", "Tuesday of the 4th Week after Pentecost", "Tuesday of the 7th Week after Pentecost", "Tuesday of the 8th Week after Pentecost", "Saturday of the 8th Week after Pentecost", "Tuesday of the 10th Week after Pentecost", "Friday of the 10th Week after Pentecost", "Wednesday of the 12th Week after Pentecost", "Friday of the 12th Week after Pentecost", "Thursday of the 14th Week after Pentecost", "Saturday of the 15th Week after Pentecost", "Monday of the 16th Week after Pentecost", "Tuesday of the 16th Week after Pentecost", "Saturday of the 16th Week after Pentecost", "Monday of the 17th Week after Pentecost", "Friday of the 17th Week after Pentecost", "Monday of the 18th Week after Pentecost", "Sts. Cosmas & Damian", "Friday of the 19th Week after Pentecost", "Tuesday of the 20th Week after Pentecost", "Tuesday of the 21st Week after Pentecost", "22nd Sunday after Pentecost", "Monday of the 23rd Week after Pentecost", "Wednesday of the 23rd Week after Pentecost", "Wednesday of the 24th Week after Pentecost", "Monday of the 25th Week after Pentecost", "Saturday of the 27th Week after Pentecost", "Wednesday of the 1st Week of Advent", "Thursday of the 4th Week of Advent", "Wednesday of the 2nd Week after Epiphany", "4th Sunday after Epiphany", "Thursday of the 5th Week after Epiphany", "Saturday of the 1st Week of Septuagesima", "Monday of the 2nd Week of Septuagesima", "St. Peter Damien", "Wednesday of the 3rd Week of Easter", "Tuesday of the 6th Week of Easter", "Thursday of the 4th Week after Pentecost", "Tuesday of the 5th Week after Pentecost", "Thursday of the 8th Week after Pentecost", "Friday of the 9th Week after Pentecost", "Saturday of the 11th Week after Pentecost", "Monday of the 13th Week after Pentecost", "Monday of the 14th Week after Pentecost", "Monday of the 21st Week after Pentecost", "Wednesday of the 22nd Week after Pentecost", "Tuesday of the 25th Week after Pentecost", "Wednesday of the 25th Week after Pentecost", "Friday of the 25th Week after Pentecost", "Thursday of the 2nd Week after Epiphany", "Friday of the 2nd Week after Epiphany", "St. Leo the Great", "Saturday of the 1st Week after Pentecost", "Saturday of the 2nd Week after Pentecost", "Wednesday of the 6th Week after Pentecost", "Friday of the 6th Week after Pentecost", "Monday of the 8th Week after Pentecost", "Tuesday of the 9th Week after Pentecost", "Wednesday of the 10th Week after Pentecost", "Tuesday of the 15th Week after Pentecost", "Tuesday of the 18th Week after Pentecost", "Wednesday of the 18th Week after Pentecost", "Monday of the 24th Week after Pentecost", "Tuesday of the 24th Week after Pentecost", "Tuesday of the 27th Week after Pentecost", "Wednesday of the 27th Week after Pentecost", "Thursday of the 27th Week after Pentecost", "Monday of the 2nd Week of Advent", "Wednesday of the 6th Week after Epiphany", "Thursday of the 2nd Week of Septuagesima", "Tuesday of the 5th Week of Easter", "Thursday of the 3rd Week after Pentecost", "Saturday of the 7th Week after Pentecost", "Monday of the 11th Week after Pentecost", "Friday of the 13th Week after Pentecost", "Saturday of the 17th Week after Pentecost", "Thursday of the 1st Week of Advent", "Thursday of the 4th Week of Easter", "Friday of the 5th Week after Pentecost", "Wednesday of the 8th Week after Pentecost", "Wednesday of the 17th Week after Pentecost", "Saturday of the 20th Week after Pentecost", "Thursday of the 25th Week after Pentecost", "Saturday of the 25th Week after Pentecost", "Saturday of the 4th Week of Easter", "Monday of the 4th Week after Pentecost", "Monday of the 5th Week after Pentecost", "Thursday of the 10th Week after Pentecost", "Friday of the 11th Week after Pentecost", "Friday of the 4th Week of Advent", "Friday of the 5th Week after Epiphany", "Monday of the 2nd Week of Easter", "Monday of the 5th Week of Easter", "Wednesday of the 7th Week of Easter", "Tuesday of the 6th Week after Pentecost", "Tuesday of the 17th Week after Pentecost", "Thursday of the 19th Week after Pentecost", "Monday of the 26th Week after Pentecost", "Tuesday of the 26th Week after Pentecost", "Wednesday of the 26th Week after Pentecost", "St. Isidore of Seville", "St. Vincent Ferrer", "Wednesday of the 11th Week after Pentecost", "Friday of the 16th Week after Pentecost", "Tuesday of the 28th Week after Pentecost", "Wednesday of the 28th Week after Pentecost", "Thursday of the 28th Week after Pentecost", "Saturday of the 28th Week after Pentecost", "Wednesday of the 5th Week after Epiphany", "Monday of the 6th Week after Epiphany", "Tuesday of the 6th Week after Epiphany", "Wednesday of the 7th Week after Epiphany", "Thursday of the 7th Week after Epiphany", "Friday of the 7th Week after Epiphany", "Saturday of the 7th Week after Epiphany", "Sts. Felicitas & Perpetua", "St. John of God", "St. Frances Rome", "Friday of the 18th Week after Pentecost", "Saturday of the 10th Week after Pentecost", "Thursday of the 26th Week after Pentecost", "Friday of the 27th Week after Pentecost", "Saturday of the 18th Week after Pentecost", "Monday of the 27th Week after Pentecost", "Saturday of the 5th Week after Epiphany", }; static const char *const parts[] = { "Epistle", "Gospel", }; static const char *const cites_en[] = { "Ti 2:11-15", "Lk 2:21", "Gal 4:1-7", "Lk 2:33-40", "Isa 60:1-6", "Matt 2:1-12", "Col 3:12-17", "Lk 2:42-52", "Jn 1:29-34", "2 Tim 4:1-8", "Matt 5:13-19", "Phil 3:7-12", "Matt 11:25-30", "1 Pet 5:1-4,10-11", "Matt 16:13-19", "Sir 45:1-6", "Lk 12:35-40", "Rom 12:6-16", "Jn 2:1-11", "Heb 11:33-39", "Lk 6:17-23", "Sir 51:1-8,12", "Matt 25:1-13", "Wis 3:1-8", "Lk 21:9-19", "Sir 31:8-11", "1 Tim 6:11-16", "Lk 14:26-33", "Acts 9:1-22", "Matt 19:27-29", "Rom 12:16-21", "Matt 8:1-13", "1 Cor 4:9-14", "Lk 12:32-34", "Phil 4:4-9", "Matt 18:1-5", "Rom 8:35-39", "Jn 12:24-26", "Mal 3:1-4", "Lk 2:22-32", "Rom 13:8-10", "Matt 8:23-27", "Sir 44:16-27; 45:3-20", "Matt 25:14-23", "1 Cor 1:26-31", "Matt 19:3-12", "Lk 10:1-9", "Matt 13:24-30", "2 Cor 10:17-18; 11:1-2", "Rev 11:19; 12:1,10", "Lk 1:26-31", "Sir 44:1-15", "1 Cor 9:24-27; 10:1-5", "Matt 20:1-16", "1 Pet 1:1-7", "2 Cor 11:19-33; 12:1-9", "Lk 8:4-15", "Acts 1:15-26", "1 Jn 2:14-17", "Mk 10:13-21", "1 Cor 13:1-13", "Lk 18:31-43", "Jl 2:12-19", "Matt 6:16-21", "Isa 38:1-6", "Matt 8:5-13", "Isa 58:1-9", "Matt 5:43-48; 6:1-4", "Isa 58:9-14", "Mk 6:47-56", "2 Cor 6:1-10", "Matt 4:1-11", "Ezek 34:11-16", "Matt 25:31-46", "Isa 55:6-11", "Matt 21:10-17", "1 Kgs 19:3-8", "Matt 12:38-50", "Ezek 18:1-9", "Matt 15:21-28", "Ezek 18:20-28", "Jn 5:1-15", "1 Thess 5:14-23", "Matt 17:1-9", "1 Thess 4:1-7", "Dan 9:15-19", "Jn 8:21-29", "1 Kgs 17:8-16", "Matt 23:1-12", "Matt 1:18-21", "Jer 17:5-10", "Lk 16:19-31", "Gen 37:6-22", "Matt 21:33-46", "Gen 27:6-40", "Lk 15:11-32", "Eph 5:1-9", "Lk 11:14-28", "2 Kgs 5:1-15", "Lk 4:23-30", "Isa 7:10-15", "Lk 1:26-38", "Exod 20:12-24", "Matt 15:1-20", "Jer 7:1-7", "Lk 4:38-44", "Num 20:1,3,6-13", "Jn 4:5-42", "Dan 13:1-9,15-17,19-30,33-62", "Jn 8:1-11", "Gal 4:22-31", "Jn 6:1-15", "1 Kgs 3:16-28", "Jn 2:13-25", "Exod 32:7-14", "Jn 7:14-31", "Isa 1:16-19", "Jn 9:1-38", "2 Kgs 4:25-38", "Lk 7:11-16", "1 Kgs 17:17-24", "Jn 11:1-45", "Isa 49:8-15", "Jn 8:12-20", "Heb 9:11-15", "Jn 8:46-59", "Jon 3:1-10", "Jn 7:32-39", "Jer 11:18-20", "Mk 14:32-72,15,1-46", "Lev 19:1-2,11-19,25", "Jn 10:22-38", "Dan 3:25,34-45", "Lk 7:36-50", "Jer 17:13-18", "Jn 11:47-54", "Jer 18:18-23", "Jn 12:10-36", "Phil 2:5-11", "Matt 26:36-75; 27:1-60", "1 Cor 5:7-8", "Mk 16:1-7", "Acts 10:37-43", "Lk 24:13-35", "Acts 13:16,26-33", "Lk 24:36-47", "Acts 3:13-15,17-19", "Jn 21:1-14", "Acts 8:26-40", "Jn 20:11-18", "1 Pet 3:18-22", "Matt 28:16-20", "1 Pet 2:1-10", "Jn 20:1-9", "1 Jn 5:4-10", "Jn 20:19-31", "1 Cor 1:17-25", "2 Tim 2:8-10; 3:10-12", "Matt 10:34-42", "Col 3:14-15,17,23-24", "Matt 13:54-58", "2 Cor 4:5-14", "Matt 10:23-28", "Sir 24:14-16", "Jn 19:25-27", "1 Pet 2:21-25", "Jn 10:11-16", "Wis 5:1-5", "Jn 15:1-7", "Sir 39:6-14", "1 Pet 2:11-19", "Jn 16:16-22", "Jn 4:46-53", "Wis 7:7-14", "Jas 1:17-21", "Jn 16:5-14", "Jas 1:22-27", "Jn 16:23-30", "Eph 4:7-13", "Jn 17:1-11", "Acts 1:1-11", "Mk 16:14-20", "Sir 24:5; 14:7,9-11; 24:30-31", "Lk 1:26-33", "1 Pet 4:7-11", "Jn 15:26-27; 16:1-4", "Wis 4:7-14", "Matt 5:1-12", "Acts 19:1-8", "Jn 14:15-21", "Acts 2:1-11", "Jn 14:23-31", "Acts 10:34,42-48", "Jn 3:16-21", "Acts 8:14-17", "Jn 10:1-10", "Acts 5:12-16", "Jn 6:44-52", "Acts 8:5-8", "Lk 9:1-6", "Jl 2:23-24,26-27", "Lk 5:17-26", "Rom 5:1-5", "Rom 11:33-36", "Matt 28:18-20", "Matt 22:29-40", "1 Jn 3:13-18", "Lk 14:16-24", "Jer 1:4-10", "Lk 1:5-17", "Isa 49:1-3,5-7", "Lk 1:57-68", "Sir 44:10-15", "Lk 12:1-8", "Acts 3:1-10", "Jn 21:15-19", "Acts 12:1-11", "Gal 1:11-20", "Matt 10:16-22", "Jn 19:30-35", "Song 2:8-14", "Lk 1:39-47", "2 Tim 3:14-17; 4:1-5", "Matt 10:28-33", "1 Pet 5:6-11", "Lk 15:1-10", "1 Tim 4:8-16", "Mk 10:15-21", "Rom 8:18-23", "Lk 5:1-11", "Heb 7:23-27", "Prov 31:10-31", "Matt 13:44-52", "Matt 12:46-50", "Matt 5:43-48", "1 Pet 3:8-15", "Matt 5:20-24", "Jn 15:12-16", "Rom 6:3-11", "Mk 8:1-9", "Song 3:2-5; 8:6-7", "1 Pet 5:1-11", "Lk 22:24-30", "1 Cor 4:9-15", "Matt 20:20-23", "Rom 6:19-23", "Matt 7:15-21", "Wis 10:17-20", "Lk 10:38-42", "2 Tim 2:1-7", "Rom 8:12-17", "Lk 16:1-9", "Lk 11:27-28", "2 Pet 1:16-19", "Matt 6:24-33", "Matt 16:24-27", "1 Cor 10:6-13", "Lk 19:41-47", "Sir 24:23-31", "Jdt 13:22-25; 15:10", "Lk 1:41-50", "Matt 1:1-16", "1 Cor 12:2-11", "Lk 18:9-14", "1 Cor 15:1-10", "Mk 7:31-37", "Wis 10:10-14", "Lk 19:12-26", "Jer 1:17-19", "Mk 6:17-29", "2 Cor 3:4-9", "Lk 10:23-37", "1 Thess 2:2-8", "Jn 21:15-17", "Gal 3:16-22", "Lk 17:11-19", "Prov 8:22-35", "Jn 12:31-36", "Jdt 13:22,23-25", "Gal 5:16-24", "1 Cor 13:1-8", "Matt 22:1-14", "Heb 10:32-38", "Matt 24:3-13", "Gal 5:25-26; 6:1-10", "Neh 8:1-10", "Mk 9:16-28", "Hos 14:2-10", "Heb 9:2-12", "Lk 13:6-17", "Eph 3:13-21", "Lk 14:1-11", "Rev 1:1-5", "Matt 18:1-10", "Exod 23:20-23", "Isa 66:12-14", "Matt 18:1-4", "Gal 6:14-18", "Eph 4:1-6", "Matt 22:34-46", "Prov 8:22-24,32-35", "1 Tim 5:3-10", "2 Cor 4:1-6,15-18", "Lk 2:43-51", "1 Cor 1:4-8", "Matt 9:1-8", "Eph 3:8-9,14-19", "2 Cor 8:16-24", "Eph 4:23-28", "Jas 2:12-17", "Matt 24:42-47", "Tob 12:7-15", "Jn 5:1-4", "Col 1:12-20", "Jn 18:33-37", "Jn 15:17-25", "Rev 7:2-12", "Eph 6:10-17", "Matt 18:23-35", "1 Cor 15:51-57", "Jn 5:25-29", "Rev 21:2-5", "Lk 19:1-10", "Lk 11:33-36", "Heb 5:1-6", "Phil 3:17-21; 4:1-3", "Matt 9:18-26", "Mk 11:22-24", "Sir 51:13-17", "Col 1:9-14", "Matt 24:15-35", "Rom 13:11-14", "Lk 21:25-33", "Rom 10:10-18", "Mk 16:15-18", "Heb 13:7-17", "Rom 15:4-13", "Matt 11:2-10", "Lk 1:26-28", "Phil 4:4-7", "Jn 1:19-28", "2 Cor 1:3-7", "Isa 11:1-5", "2 Thess 2:1-8", "Lk 3:1-6", "1 Cor 4:1-5", "Rom 1:1-6", "Heb 1:1-12", "Jn 1:1-14", "Acts 6:8-10; 7:54-59", "Matt 23:34-39", "Sir 15:1-6", "Jn 21:19-24", "1 Jn 3:10-16", "Matt 10:26-32", "Esth 13:8-11,15-17", "Matt 20:17-28", "2 Kgs 4:1-7", "Matt 18:15-22", "1 Cor 1:18-25,30", "Lk 12:2-8", "Ezek 1:10-14", "Jn 14:1-13", "Acts 11:21-26; 13:1-3", "2 Cor 8:9-15", "Isa 58:7-11", "Matt 19:13-21", "2 Cor 9:6-10", "1 Cor 12:27-31", "Lk 6:12-19", "Matt 9:9-13", "Eph 5:15-21", "1 Thess 1:2-10", "Matt 13:31-35", "Matt 4:18-22", "Eph 2:19-22", "Jn 20:24-29", "Rev 14:1-5", "Matt 2:13-18", "1 Thess 2:2-9", "Lk 14:26-35", "Wis 5:16-20", "Phil 1:6-11", "Matt 22:15-21", }; static const char *const cites_la[] = { "Tit 2:11-15", "Luc 2:21", "Gal 4:1-7", "Luc 2:33-40", "Is 60:1-6", "Matt 2:1-12", "Col 3:12-17", "Luc 2:42-52", "Ioann 1:29-34", "2 Tim 4:1-8", "Matt 5:13-19", "Phil 3:7-12", "Matt 11:25-30", "1 Pet 5:1-4,10-11", "Matt 16:13-19", "Eccli 45:1-6", "Luc 12:35-40", "Rom 12:6-16", "Ioann 2:1-11", "Hebr 11:33-39", "Luc 6:17-23", "Eccli 51:1-8,12", "Matt 25:1-13", "Sap 3:1-8", "Luc 21:9-19", "Eccli 31:8-11", "1 Tim 6:11-16", "Luc 14:26-33", "Act 9:1-22", "Matt 19:27-29", "Rom 12:16-21", "Matt 8:1-13", "1 Cor 4:9-14", "Luc 12:32-34", "Phil 4:4-9", "Matt 18:1-5", "Rom 8:35-39", "Ioann 12:24-26", "Mal 3:1-4", "Luc 2:22-32", "Rom 13:8-10", "Matt 8:23-27", "Eccli 44:16-27; 45:3-20", "Matt 25:14-23", "1 Cor 1:26-31", "Matt 19:3-12", "Luc 10:1-9", "Matt 13:24-30", "2 Cor 10:17-18; 11:1-2", "Apoc 11:19; 12:1,10", "Luc 1:26-31", "Eccli 44:1-15", "1 Cor 9:24-27; 10:1-5", "Matt 20:1-16", "1 Pet 1:1-7", "2 Cor 11:19-33; 12:1-9", "Luc 8:4-15", "Act 1:15-26", "1 Ioann 2:14-17", "Marc 10:13-21", "1 Cor 13:1-13", "Luc 18:31-43", "Ioel 2:12-19", "Matt 6:16-21", "Is 38:1-6", "Matt 8:5-13", "Is 58:1-9", "Matt 5:43-48; 6:1-4", "Is 58:9-14", "Marc 6:47-56", "2 Cor 6:1-10", "Matt 4:1-11", "Ez 34:11-16", "Matt 25:31-46", "Is 55:6-11", "Matt 21:10-17", "3 Reg 19:3-8", "Matt 12:38-50", "Ez 18:1-9", "Matt 15:21-28", "Ez 18:20-28", "Ioann 5:1-15", "1 Thess 5:14-23", "Matt 17:1-9", "1 Thess 4:1-7", "Dan 9:15-19", "Ioann 8:21-29", "3 Reg 17:8-16", "Matt 23:1-12", "Matt 1:18-21", "Ier 17:5-10", "Luc 16:19-31", "Gen 37:6-22", "Matt 21:33-46", "Gen 27:6-40", "Luc 15:11-32", "Eph 5:1-9", "Luc 11:14-28", "4 Reg 5:1-15", "Luc 4:23-30", "Is 7:10-15", "Luc 1:26-38", "Ex 20:12-24", "Matt 15:1-20", "Ier 7:1-7", "Luc 4:38-44", "Num 20:1,3,6-13", "Ioann 4:5-42", "Dan 13:1-9,15-17,19-30,33-62", "Ioann 8:1-11", "Gal 4:22-31", "Ioann 6:1-15", "3 Reg 3:16-28", "Ioann 2:13-25", "Ex 32:7-14", "Ioann 7:14-31", "Is 1:16-19", "Ioann 9:1-38", "4 Reg 4:25-38", "Luc 7:11-16", "3 Reg 17:17-24", "Ioann 11:1-45", "Is 49:8-15", "Ioann 8:12-20", "Hebr 9:11-15", "Ioann 8:46-59", "Ion 3:1-10", "Ioann 7:32-39", "Ier 11:18-20", "Marc 14:32-72,15,1-46", "Lev 19:1-2,11-19,25", "Ioann 10:22-38", "Dan 3:25,34-45", "Luc 7:36-50", "Ier 17:13-18", "Ioann 11:47-54", "Ier 18:18-23", "Ioann 12:10-36", "Phil 2:5-11", "Matt 26:36-75; 27:1-60", "1 Cor 5:7-8", "Marc 16:1-7", "Act 10:37-43", "Luc 24:13-35", "Act 13:16,26-33", "Luc 24:36-47", "Act 3:13-15,17-19", "Ioann 21:1-14", "Act 8:26-40", "Ioann 20:11-18", "1 Pet 3:18-22", "Matt 28:16-20", "1 Pet 2:1-10", "Ioann 20:1-9", "1 Ioann 5:4-10", "Ioann 20:19-31", "1 Cor 1:17-25", "2 Tim 2:8-10; 3:10-12", "Matt 10:34-42", "Col 3:14-15,17,23-24", "Matt 13:54-58", "2 Cor 4:5-14", "Matt 10:23-28", "Eccli 24:14-16", "Ioann 19:25-27", "1 Pet 2:21-25", "Ioann 10:11-16", "Sap 5:1-5", "Ioann 15:1-7", "Eccli 39:6-14", "1 Pet 2:11-19", "Ioann 16:16-22", "Ioann 4:46-53", "Sap 7:7-14", "Iac 1:17-21", "Ioann 16:5-14", "Iac 1:22-27", "Ioann 16:23-30", "Eph 4:7-13", "Ioann 17:1-11", "Act 1:1-11", "Marc 16:14-20", "Eccli 24:5; 14:7,9-11; 24:30-31", "Luc 1:26-33", "1 Pet 4:7-11", "Ioann 15:26-27; 16:1-4", "Sap 4:7-14", "Matt 5:1-12", "Act 19:1-8", "Ioann 14:15-21", "Act 2:1-11", "Ioann 14:23-31", "Act 10:34,42-48", "Ioann 3:16-21", "Act 8:14-17", "Ioann 10:1-10", "Act 5:12-16", "Ioann 6:44-52", "Act 8:5-8", "Luc 9:1-6", "Ioel 2:23-24,26-27", "Luc 5:17-26", "Rom 5:1-5", "Rom 11:33-36", "Matt 28:18-20", "Matt 22:29-40", "1 Ioann 3:13-18", "Luc 14:16-24", "Ier 1:4-10", "Luc 1:5-17", "Is 49:1-3,5-7", "Luc 1:57-68", "Eccli 44:10-15", "Luc 12:1-8", "Act 3:1-10", "Ioann 21:15-19", "Act 12:1-11", "Gal 1:11-20", "Matt 10:16-22", "Ioann 19:30-35", "Cant 2:8-14", "Luc 1:39-47", "2 Tim 3:14-17; 4:1-5", "Matt 10:28-33", "1 Pet 5:6-11", "Luc 15:1-10", "1 Tim 4:8-16", "Marc 10:15-21", "Rom 8:18-23", "Luc 5:1-11", "Hebr 7:23-27", "Prov 31:10-31", "Matt 13:44-52", "Matt 12:46-50", "Matt 5:43-48", "1 Pet 3:8-15", "Matt 5:20-24", "Ioann 15:12-16", "Rom 6:3-11", "Marc 8:1-9", "Cant 3:2-5; 8:6-7", "1 Pet 5:1-11", "Luc 22:24-30", "1 Cor 4:9-15", "Matt 20:20-23", "Rom 6:19-23", "Matt 7:15-21", "Sap 10:17-20", "Luc 10:38-42", "2 Tim 2:1-7", "Rom 8:12-17", "Luc 16:1-9", "Luc 11:27-28", "2 Pet 1:16-19", "Matt 6:24-33", "Matt 16:24-27", "1 Cor 10:6-13", "Luc 19:41-47", "Eccli 24:23-31", "Idt 13:22-25; 15:10", "Luc 1:41-50", "Matt 1:1-16", "1 Cor 12:2-11", "Luc 18:9-14", "1 Cor 15:1-10", "Marc 7:31-37", "Sap 10:10-14", "Luc 19:12-26", "Ier 1:17-19", "Marc 6:17-29", "2 Cor 3:4-9", "Luc 10:23-37", "1 Thess 2:2-8", "Ioann 21:15-17", "Gal 3:16-22", "Luc 17:11-19", "Prov 8:22-35", "Ioann 12:31-36", "Idt 13:22,23-25", "Gal 5:16-24", "1 Cor 13:1-8", "Matt 22:1-14", "Hebr 10:32-38", "Matt 24:3-13", "Gal 5:25-26; 6:1-10", "Neh 8:1-10", "Marc 9:16-28", "Os 14:2-10", "Hebr 9:2-12", "Luc 13:6-17", "Eph 3:13-21", "Luc 14:1-11", "Apoc 1:1-5", "Matt 18:1-10", "Ex 23:20-23", "Is 66:12-14", "Matt 18:1-4", "Gal 6:14-18", "Eph 4:1-6", "Matt 22:34-46", "Prov 8:22-24,32-35", "1 Tim 5:3-10", "2 Cor 4:1-6,15-18", "Luc 2:43-51", "1 Cor 1:4-8", "Matt 9:1-8", "Eph 3:8-9,14-19", "2 Cor 8:16-24", "Eph 4:23-28", "Iac 2:12-17", "Matt 24:42-47", "Tob 12:7-15", "Ioann 5:1-4", "Col 1:12-20", "Ioann 18:33-37", "Ioann 15:17-25", "Apoc 7:2-12", "Eph 6:10-17", "Matt 18:23-35", "1 Cor 15:51-57", "Ioann 5:25-29", "Apoc 21:2-5", "Luc 19:1-10", "Luc 11:33-36", "Hebr 5:1-6", "Phil 3:17-21; 4:1-3", "Matt 9:18-26", "Marc 11:22-24", "Eccli 51:13-17", "Col 1:9-14", "Matt 24:15-35", "Rom 13:11-14", "Luc 21:25-33", "Rom 10:10-18", "Marc 16:15-18", "Hebr 13:7-17", "Rom 15:4-13", "Matt 11:2-10", "Luc 1:26-28", "Phil 4:4-7", "Ioann 1:19-28", "2 Cor 1:3-7", "Is 11:1-5", "2 Thess 2:1-8", "Luc 3:1-6", "1 Cor 4:1-5", "Rom 1:1-6", "Hebr 1:1-12", "Ioann 1:1-14", "Act 6:8-10; 7:54-59", "Matt 23:34-39", "Eccli 15:1-6", "Ioann 21:19-24", "1 Ioann 3:10-16", "Matt 10:26-32", "Esth 13:8-11,15-17", "Matt 20:17-28", "4 Reg 4:1-7", "Matt 18:15-22", "1 Cor 1:18-25,30", "Luc 12:2-8", "Ez 1:10-14", "Ioann 14:1-13", "Act 11:21-26; 13:1-3", "2 Cor 8:9-15", "Is 58:7-11", "Matt 19:13-21", "2 Cor 9:6-10", "1 Cor 12:27-31", "Luc 6:12-19", "Matt 9:9-13", "Eph 5:15-21", "1 Thess 1:2-10", "Matt 13:31-35", "Matt 4:18-22", "Eph 2:19-22", "Ioann 20:24-29", "Apoc 14:1-5", "Matt 2:13-18", "1 Thess 2:2-9", "Luc 14:26-35", "Sap 5:16-20", "Phil 1:6-11", "Matt 22:15-21", }; static const unsigned short vpool[] = { 0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15, 16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31, 32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47, 48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63, 64,65,66,67,68,69,70,71,72,73,74,75,76,77,78,79, 80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95, 96,97,98,99,100,101,102,103,104,105,106,107,108,109,110,111, 112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127, 128,129,130,131,132,133,134,135,136,137,138,139,140,141,142,143, 144,145,146,147,148,149,150,151,152,153,154,155,156,157,158,159, 160,161,162,163,164,165,166,167,168,169,170,171,172,173,174,175, 176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191, 192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207, 208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223, 224,225,226,227,228,229,230,231,232,233,124,234,235,236,237,238, 239,240,241,242,243,244,245,246,247,248,249,250,251,252,253,254, 255,256,257,258,259,260,261,262,263,264,265,266,267,268,269,270, 271,272,273,274,275,276,277,278,279,280,281,282,283,284,285,286, 287,288,289,290,291,292,293,294,295,296,297,298,299,300,301,302, 303,304,305,306,307,308,309,310,311,312,313,314,104,105,106,107, 315,316,317,318,319,320,321,322,323,324,325,326,327,328,329,330, 331,332,333,334,335,336,337,338,339,340,341,342,343,344,345,346, 347,348,349,350,351,352,353,354,355,356,357,358,359,360,361,362, 363,364,365,366,367,368,369,370,371,372,373,374,375,376,377,378, 379,380,381,382,383,384,385,386,387,388,389,390,391,392,393,394, 395,396,397,398,399,400,401,402,403,404,405,406,407,408,409,410, 411,412,413,414,415,416,417,418,419,420,421,422,423,424,425,426, 427,428,429,430,431,432,433,434,435,436,437,438,439,440,441,442, 443,444,445,446,447,448,449,450,451,452,453,454,455,456,457,458, 459,460,461,462,463,464,465,466,467,468,469,470,471,472,473,474, 475,476,477,478,479,480,481,482,483,484,485,486,487,488,489,490, 491,492,493,494,495,496,497,498,499,500,501,502,503,504,505,506, 507,508,509,510,511,512,513,514,515,516,517,518,519,520,521,522, 523,524,525,526,527,528,529,530,531,532,533,534,535,536,537,243, 244,245,246,247,248,249,250,251,538,539,540,541,542,543,544,545, 546,547,548,549,550,551,552,553,554,555,556,546,557,558,559,560, 561,562,563,564,565,566,567,568,569,570,571,572,573,574,575,576, 577,578,579,580,581,582,583,584,585,586,587,588,589,590,591,592, 593,594,595,596,597,598,599,600,601,602,603,604,605,606,607,608, 609,610,611,612,613,614,615,616,617,618,619,620,621,622,623,624, 625,626,627,628,629,630,631,632,633,634,635,636,637,638,639,640, 641,642,643,644,645,646,647,648,649,650,651,652,653,654,655,656, 657,658,659,660,661,662,663,664,665,666,667,668,669,670,671,672, 673,674,675,676,677,678,679,680,681,682,683,684,685,686,687,688, 689,690,691,692,693,694,695,696,697,698,699,700,701,702,703,704, 705,706,707,708,709,710,711,712,713,714,715,716,717,718,719,720, 721,722,723,724,725,726,727,728,729,730,731,732,733,734,735,736, 737,738,739,740,741,742,743,744,745,746,747,748,749,750,751,752, 753,754,755,756,757,758,759,760,761,762,763,764,765,766,767,768, 769,770,771,772,773,774,775,776,777,778,779,780,781,782,783,784, 785,786,787,788,789,790,791,792,793,794,795,796,797,798,799,800, 801,802,803,804,805,806,807,808,809,810,811,812,813,814,815,816, 817,818,819,820,821,822,823,824,825,826,827,828,829,830,831,832, 833,834,835,836,837,838,839,840,841,842,843,844,845,846,847,848, 849,850,851,852,853,854,855,856,857,858,859,860,861,862,863,864, 865,866,867,868,869,870,871,872,873,874,875,876,877,878,879,880, 881,882,883,884,885,886,887,888,889,890,891,892,893,894,895,896, 897,898,899,900,901,902,903,904,905,906,907,908,909,910,911,912, 913,378,379,380,381,382,383,914,915,916,917,918,919,920,921,922, 923,924,925,926,927,928,929,930,931,932,933,934,935,936,937,938, 939,940,941,942,943,944,945,946,947,948,949,950,951,952,953,954, 955,956,957,958,959,960,961,962,963,964,965,966,967,968,969,970, 971,972,973,974,975,976,977,978,979,980,981,982,983,984,985,986, 987,988,989,990,991,992,993,994,995,996,997,998,999,1000,1001,1002, 1003,1004,1005,1006,1007,1008,1009,1010,1011,1012,1013,1014,1015,1016,1017,1018, 1019,1020,1021,1022,1023,1024,1025,1026,1027,1028,1029,1030,1031,1032,1033,1034, 1035,1036,1037,1038,1039,1040,1041,1042,1043,1044,1045,1046,1047,1048,1049,1050, 1051,1052,1053,1054,1055,1056,1057,1058,1059,1060,1061,1062,1063,1064,1065,1066, 1067,1068,1069,1070,1071,1072,1073,1074,1075,1076,1077,1078,1079,1080,1081,1082, 1083,1084,1085,1086,1087,1088,1089,1090,1091,1092,1093,1094,1095,1096,1097,1098, 1099,1100,1101,1102,1103,1104,1105,1106,1107,1108,1109,1110,1111,1112,1113,1114, 1115,1116,1117,1118,1119,1120,1121,1122,1123,1124,1125,1126,1127,1128,1129,1130, 1131,1132,1133,1134,1135,1136,1137,1138,1139,1140,1141,1142,1143,1144,1145,1146, 1147,1148,1149,1150,1151,1152,1153,1154,1155,1156,1157,1158,1159,1160,1161,1162, 1163,1164,1165,1166,1167,1168,1169,1170,1171,1172,1173,1174,1175,1176,1177,1178, 1179,1180,1181,1182,1183,1184,1185,1186,1187,1188,1189,1190,1191,1192,1193,1194, 1195,1196,1197,1198,1199,1200,1201,1202,1203,1204,1205,1206,1207,1208,1209,1210, 1211,1212,1213,1214,1215,1216,1217,1218,1219,1220,1221,1222,1223,1224,1225,1226, 1227,1228,1229,1230,1231,1232,1233,1234,1235,1236,1237,1238,1239,1240,1241,1242, 1243,1244,1245,1246,1247,1248,1249,1250,1251,1252,1253,1254,1255,1256,1257,1258, 1259,1260,1261,1262,1263,1264,1265,1266,1267,1268,1269,1270,1271,1272,1273,1274, 1275,1276,1277,1278,1279,1280,1281,1282,1283,1284,1285,1286,1287,1288,1289,1290, 1291,1292,1293,1294,1295,1296,1297,1298,1299,1300,1301,1302,1303,1304,1305,1306, 1307,1308,1309,1310,1311,1312,1313,1314,1315,1316,1317,1318,1319,1320,1321,1322, 1323,1324,1325,1326,1327,1328,1329,1330,1331,1332,1333,1334,1335,1336,1337,1338, 1339,1340,1341,1342,1343,1344,1345,1346,1347,1348,1349,1350,1351,1352,1353,1354, 1355,1356,1357,1358,1359,1360,1361,1362,1363,1364,1365,1366,1367,1368,1369,1370, 1371,1372,1373,1374,1375,1376,1377,1378,1379,1380,1381,1382,1383,1384,1385,1371, 1386,1387,1388,1389,1390,1391,1392,1393,1394,1395,1396,1397,1398,1399,1400,1401, 1330,1331,1332,1333,1334,1335,1336,1337,1338,1339,1340,1341,1342,1343,1344,1402, 1403,1404,1405,1406,1407,1408,1409,1410,1411,1412,1413,1414,1415,1416,1417,1418, 1419,1420,1421,1422,1423,1424,1425,1426,1427,1428,1429,1430,1431,1432,1433,1434, 1435,1436,1437,1438,1439,1440,1441,1442,1443,1444,1445,1446,1447,1448,1449,1450, 1451,1452,1453,1454,1455,1456,1457,1458,1459,1460,1461,1462,1463,1464,1465,1466, 1467,1468,1469,1470,1471,1472,1473,1474,1475,1476,1477,1478,1479,1480,1481,1482, 1483,1484,1485,1486,1487,1488,1489,1490,1491,1492,277,278,279,1493,1494,1495, 1496,1497,1498,1499,1500,1501,1502,1503,1504,1505,1506,1507,1508,1509,1510,1511, 1512,1513,1514,1515,1516,1517,1518,1519,1520,1521,1522,1523,1524,1525,1526,1527, 1528,1529,1530,1531,1532,1533,1534,1535,1536,1537,1538,1539,1540,1541,1542,1543, 1544,1545,1546,1547,1548,1549,1550,1551,1552,1553,1554,1555,1556,1557,1558,1559, 1560,1561,1562,1563,1564,1565,1566,1567,1568,1569,1570,1571,1572,1573,1574,1575, 1576,1577,1578,1579,1580,1581,1582,1583,1584,1585,1586,1587,1588,1589,1590,1591, 1592,1593,1594,1595,1596,1597,1598,1599,1600,1601,1602,1603,1604,1605,1606,1607, 1608,1609,1610,1611,1612,1613,1614,1615,1616,1617,1618,1619,1620,1621,1622,1623, 1624,1625,1626,1627,1628,1629,1630,1631,1632,1633,1634,1635,1636,1637,1638,1639, 1640,1641,1642,1643,1644,1645,1646,1647,1648,1649,1650,1651,1652,1653,1654,1655, 1656,1657,1658,1659,1660,1661,1662,1663,1664,1665,1666,1667,1668,1669,1670,1671, 1672,1673,1674,1675,1676,1677,1678,1679,1680,1681,1682,1683,1684,1685,1686,1687, 1688,1689,1690,1691,1692,1693,1694,1695,1696,1697,1698,1699,1700,1701,1702,1703, 1704,1705,1706,1707,1708,1709,1710,1711,1712,1713,1714,1715,1716,1717,1718,1719, 1720,1721,1722,1723,1724,1725,1726,1727,1728,1729,1730,1731,1732,1733,1734,1735, 1736,1737,1738,1739,1740,1741,1742,1743,1744,1745,1746,1747,1748,1749,1750,1751, 1752,1753,1754,1755,1756,1757,1758,1759,1760,1761,1762,1763,1764,1765,1766,1767, 1768,1769,1770,1771,1772,1773,1774,1775,1776,1777,1778,1779,1780,1781,1782,1783, 1784,1785,41,42,44,1786,1787,1788,1789,1790,1791,1792,1793,1794,1795,1796, 1797,1798,1799,1800,1801,1802,1803,1804,1805,1806,1807,1808,1809,1810,1811,1812, 1813,1814,1815,1816,1817,1818,1819,1820,1821,1822,1823,1824,1825,1826,1827,1828, 1829,1830,1831,1832,1833,1834,1835,1836,1837,1838,1839,1840,1841,1842,1843,1844, 1845,1846,1847,1848,1849,1850,1851,1852,1853,1854,1855,1856,1857,1858,1859,1860, 1861,1862,1863,1864,1865,1866,1867,1868,1869,1870,1871,1872,1873,1874,1875,1876, 1877,1878,1879,1880,1881,1882,1883,1884,1885,1886,1887,1888,1889,1890,1891,1892, 1893,1894,1895,1896,1897,1898,1899,1900,1901,1902,1903,1904,1905,1906,1907,1908, 1909,1910,1911,1912,1913,1914,1915,1916,1917,1918,1919,1920,1921,1922,1923,1924, 1925,1926,1927,1928,1929,1930,1931,1932,1933,1934,1935,1936,1937,1938,1939,1940, 1941,1942,1943,1944,1945,1946,1947,1948,1949,1950,378,379,380,381,382,383, 914,915,1951,1952,1953,1954,1955,1956,1957,1958,1959,1960,1961,1962,1963,1964, 1965,1966,1967,1968,1969,1970,1971,1972,1973,1974,1975,1976,1977,1978,1979,1980, 1981,1982,1983,1984,1985,1986,1987,1988,1989,1990,1991,1992,1993,1994,1995,1996, 1997,1998,1999,2000,2001,2002,2003,2004,2005,2006,2007,2008,2009,2010,2011,2012, 2013,2014,2015,2016,2017,1624,1625,2018,2019,2020,2021,2022,2023,2024,2025,2026, 2027,2028,2029,2030,2031,2032,2033,2034,2035,2036,2037,2038,2039,2040,2041,2042, 2043,2044,2045,2046,2047,2048,2049,2050,2051,2052,2053,2054,2055,2056,2057,2058, 2059,2060,2061,2062,2063,2064,2065,2066,2067,2068,2069,2070,2071,2072,2073,2074, 2075,2076,2077,2078,2079,2080,2081,2082,2083,2084,2085,2086,2087,2088,2089,1720, 1721,1722,2090,2091,2092,2093,2094,2095,2096,2097,2098,2099,2100,2101,2102,2103, 2104,2105,2106,2107,2108,2109,2110,2111,2112,2113,2114,2115,2116,2117,2118,2119, 2120,2121,2122,2123,2124,2125,2126,2127,2128,2129,2130,2131,2132,2133,2134,2135, 2136,2137,2138,2139,2140,2141,2142,2143,2144,2145,2146,2147,2148,2149,2150,2151, 2152,2153,2154,393,394,395,396,397,398,2155,2156,2157,2158,2159,2160,2161, 2162,2163,2164,2165,2166,2167,2168,2169,2170,2171,2172,2173,2174,2175,2176,2177, 2178,2179,2180,2181,2182,2183,2184,2185,2186,2187,2188,2189,2190,2191,2192,2193, 2194,2195,2196,2197,2198,2199,2200,2201,2202,2203,2204,2205,2206,2207,2208,2209, 2210,2211,2212,2213,2214,2215,2216,2217,2218,2219,2220,2221,2222,2223,2224,2225, 2226,2227,2228,2229,2230,2231,62,63,64,65,66,1808,2232,2233,2234,2235, 2236,2237,2238,2239,2240,93,94,2241,2242,2243,2244,2245,2246,2247,2248,2249, 2250,2251,2252,2253,2254,2255,2256,2257,2258,2259,485,486,487,488,489,490, 491,2260,2261,2262,2263,2264,2265,2266,2267,2268,2269,2270,2271,2272,2273,2274, 2275,2276,2277,2278,2279,2280,2281,2282,2283,2284,2285,2286,2287,2288,2289,2290, 2291,2292,2293,2294,2295,2296,2297,2298,2299,2300,2301,2302,2303,2304,2305,2306, 2307,2308,2309,2310,2311,2312,643,644,645,646,647,547,548,549,550,551, 552,2313,2314,2315,2316,2317,2318,2319,2320,2321,2322,2323,2324,2325,2326,2327, 2328,2329,2330,2331,2332,2333,2334,2335,2336,2337,2338,2339,2340,2341,2342,2343, 2344,2345,2346,2347,2348,2349,2350,2351,2352,2353,2354,89,90,91,92,2355, 2237,2238,2239,2240,93,94,2356,2357,2358,2359,2360,2361,2362,252,253,254, 255,256,257,2363,2364,2365,2366,2367,2368,2369,2370,2371,2372,2373,2374,2375, 2376,2377,2378,2379,2380,2381,2382,2383,2384,2385,2386,2387,2388,2389,2390,2391, 2392,2393,2394,2395,2396,2397,2398,2399,2400,2401,2402,2403,2404,2405,2406,2407, 2408,2409,2410,883,884,2411,2412,2413,2414,2415,2416,2417,2418,2419,2420,2421, 2422,2423,2424,2425,2426,2427,2428,2429,2430,2431,2432,2433,2434,2435,2436,2437, 2438,2439,2440,2441,2442,2443,2444,2445,2446,2447,2448,2449,2450,1949,1950,2451, 2452,2453,2454,2455,2221,2222,2223,2224,2225,2226,2227,2456,2457,2458,2459,2460, 2461,2462,2463,2464,2465,2466,2467,2468,2469,2470,2471,2472,2473,2474,2475,2476, 2477,2478,2479,2480,2481,2482,2483,2484,2485,2486,2487,2488,2489,2490,2491,2492, 2493,2494,2495,2496,2497,2498,2499,2500,2501,2502,2503,2504,2505,2506,2507,2508, 2509,2510,2511,2512,2513,2514,2515,2516,2517,2518,2519,2520,2521,2522,2523,2524, 2525,2526,2527,2528,2529,2530,2531,2532,2533,2534,2535,2536,2537,2538,2539,2540, 2541,2542,2543,2544,2545,2546,2547,2548,2549,2550,2551,2552,2553,2554,2555,2556, 2557,2558,2559,2560,2561,2562,2563,2564,2565,2566,2567,2568,2569,2570,2571,2173, 2174,2175,2572,2573,2574,2575,2576,2577,2578,2579,2580,2581,2582,2583,2584,2585, 2586,2587,2588,2589,2590,2591,2592,2593,2594,2595,2596,2597,2598,2599,2600,2601, 1497,1498,1499,1500,1501,1502,2451,2452,2453,2454,2602,2603,2604,2605,2606,2607, 2608,2609,2610,492,493,494,495,496,497,498,499,2611,2612,2613,2614,2615, 2616,2617,2618,2619,2620,2621,2622,2623,2624,2625,2626,2627,2628,2629,2630,2631, 2632,2633,2634,2635,2636,2637,2638,2639,2640,2641,2642,2643,2644,2645,2646,2647, 2648,2649,2650,2651,2652,2653,2654,2655,2656,2657,2658,2659,2660,2661,2662,2663, 2664,2665,2666,2667,2668,2669,2670,2671,2672,2673,2674,2675,2676,2677,2678,2679, 2680,2681,2682,2683,2684,2685,2686,2687,2688,2689,2690,2691,2692,2693,2694,2695, 1290,1291,2696,2697,2698,2699,2700,2701,2702,2703,2704,2705,2706,2707,2708,2709, 2710,2711,2712,2713,2714,2715,2716,2717,2718,2719,2720,2721,2722,2723,2724,2725, 2726,2727,2728,2729,2730,2731,2732,267,268,269,270,271,2733,2734,2735,2736, 2737,2738,2739,2740,2741,2742,2743,2744,267,268,269,270,2745,2746,2747,2748, 2749,2750,2751,2752,2753,2754,2755,2095,2096,2097,2098,2099,2100,2101,2756,2757, 2758,2759,2760,2761,2588,2589,2590,2598,2599,2600,2601,2762,2763,2764,2765,2766, 2767,2768,2769,2770,2771,2772,2773,1793,1794,2774,2775,2776,2777,46,47,48, 49,50,51,52,53,54,2778,2779,2780,2781,2782,2783,2784,2785,2786,2787, 2788,2789,2790,2791,2792,2709,2710,2711,2712,2713,2714,2793,2794,2795,2796,2797, 2798,2799,2800,2801,2802,2803,2804,2805,2806,2807,2808,2809,2810,2811,2812,2813, 2814,2815,2816,2817,2818,2819,2820,2821,2822,2823,2824,2825,2826,2827,2828,674, 675,676,677,2829,2830,2831,2832,2833,2834,2835,2836,2837,2838,2839,2840,2841, 2842,2843,2844,2845,2846,2847,2848,2849,2850,2851,2852,2853,2854,2855,2856,2857, 2858,2859,2860,2861,2862,2863,2864,2865,2866,2867,2868,2869,2870,2871,2872,2873, 2874,2875,2876,2877,2878,2879,2880,2881,2882,2883,2884,2885,2886,2887,2888,2889, 2890,2891,2892,2893,2894,2895,2896,2897,2898,2899,2900,2901,2902,2903,2904,2905, 2906,2907,2908,2909,2910,2911,2912,2913,2914,2915,2916,2917,2918,2919,2920,2921, 2922,2923,2924,2925,2926,2927,2928,2929,2930,2931,2932,2933,2934,2935,2936,2937, 2938,2939,2940,2941,2942,2943,2944,2945,2946,2947,2829,2830,2831,2948,2949,2950, 2951,2952,2953,2954,2955,2956,2957,2958,2959,2960,2961,2962,2963,2964,2965,2966, 2967,2968,2969,2970,2971,2972,2973,2974,2975,2976,2977,2978,2979,2980,2981,2982, 2983,2984,2985,2986,2987,2988,2989,2990,1938,1939,1940,1941,2991,2992,2993,2994, 2995,2996,2997,2998,2999,3000,3001,3002,3003,3004,3005,3006,3007,3008,3009,3010, 3011,3012,3013,3014,3015,3016,3017,3018,3019,3020,378,379,380,261,262,263, 264,3021,3022,3023,3024,3025,3026,3027,3028,3029,3030,3031,3032,3033,3034,3035, 3036,3037,3038,3039,3040,3041,3042,3043,3044,3045,3046,3047,3048,3049,3050,3051, 3052,3053,3054,3055,3056,3057,3058,3059,3060,3061,3062,3063,3064,3065,3066,3067, 3068,3069,3070,3071,3072,3073,3074,3075,3076,3077,3078,3079,3080,3081,3082,3083, 3084,3085,3086,3087,3088,3089,3090,3091,3092,3093,3094,3095,3096,3097,3098,3099, 3100,3101,3102,3103,3104,3105,3106,3107,3108,3109,3110,3111,3112,2177,3113,3114, 3115,3116,3117,3118,3119,3120,2102,2103,2104,2105,1806,1807,1808,2232,2233,2234, 2235,3121,3122,3123,3124,3125,3126,3127,3128,3129,3130,2364,2365,2366,2367,3131, 3132,3133,3134,3135,3136,3137,3138,3139,3140,3141,3142,3143,3144,3145,3146,3147, 3148,3149,3150,1763,1764,1765,1766,1767,1768,1769,1770,343,2156,2157,2158,2159, 2160,2161,2162,3151,3152,3153,3154,3155,3156,3157,3158,3159,3160,3161,3162,3163, 3164,3165,3166,3167,3168,3169,3170,3171,3172,3173,3174,3175,3176,3177,3178,3179, 3180,3181,3182,3183,3184,544,545,546,557,558,3185,3186,3187,3188,3189,3190, 3191,3192,3193,3194,3195,3196,3197,3198,3199,3200,3201,3202,3203,3204,3205,3206, 3207,3208,143,144,145,3209,3210,3211,3212,3213,3214,3215,3216,3217,3218,3219, 3220,3221,3222,3223,3224,3225,3226,3227,3228,3229,3230,3231,3232,3233,3234,3235, 3236,3237,3238,3239,3240,3241,3242,3243,1754,1755,1756,1757,1758,1759,3244,3245, 3246,3247,3248,3249,3250,3251,3252,3253,3254,2565,2566,2567,2568,2569,2570,2571, 3255,201,202,203,204,205,206,207,208,3256,3257,3258,3259,3260,3261,3262, 3263,3264,3265,3266,3267,3268,3269,3270,3271,3272,3273,3274,3275, }; typedef struct { unsigned short part, cite, voff, vlen; } Reading; static const Reading readings[] = { {0,0,0,5}, {1,1,5,1}, {0,2,6,7}, {1,3,13,8}, {0,4,21,6}, {1,5,27,12}, {0,6,39,6}, {1,7,45,11}, {1,8,56,6}, {0,9,62,8}, {1,10,70,7}, {0,11,77,6}, {1,12,83,6}, {0,13,89,6}, {1,14,95,7}, {0,15,102,6}, {1,16,108,6}, {0,17,114,11}, {1,18,125,11}, {0,19,136,7}, {1,20,143,7}, {0,21,150,9}, {1,22,159,13}, {0,23,172,8}, {1,24,180,11}, {0,25,191,4}, {0,26,195,6}, {1,27,201,8}, {0,28,209,22}, {1,29,231,3}, {0,30,234,6}, {1,31,240,13}, {0,32,253,6}, {1,33,259,3}, {0,34,262,6}, {1,35,268,5}, {0,36,273,5}, {1,37,278,3}, {0,38,281,4}, {1,39,285,11}, {0,40,296,3}, {1,41,299,5}, {0,42,304,30}, {1,43,334,10}, {0,44,344,6}, {1,45,350,10}, {1,46,360,9}, {1,47,369,7}, {0,48,376,4}, {0,49,380,3}, {1,50,383,6}, {0,51,389,15}, {0,52,404,9}, {1,53,413,16}, {0,54,429,7}, {0,55,436,24}, {1,56,460,12}, {0,57,472,12}, {0,58,484,4}, {1,59,488,9}, {0,60,497,13}, {1,61,510,13}, {0,62,523,8}, {1,63,531,6}, {0,64,537,6}, {1,65,543,9}, {0,66,552,9}, {1,67,561,10}, {0,68,571,6}, {1,69,577,10}, {0,70,587,10}, {1,71,597,11}, {0,72,608,6}, {1,73,614,16}, {0,74,630,6}, {1,75,636,8}, {0,76,644,6}, {1,77,650,13}, {0,78,663,9}, {1,79,672,8}, {0,80,680,9}, {1,81,689,15}, {0,82,704,10}, {1,83,714,9}, {0,84,723,7}, {0,85,730,5}, {1,86,735,9}, {0,87,744,9}, {1,88,753,12}, {1,89,765,4}, {0,90,769,6}, {1,91,775,13}, {0,92,788,17}, {1,93,805,14}, {0,94,819,35}, {1,95,854,22}, {0,96,876,9}, {1,97,885,15}, {0,98,900,15}, {1,99,915,8}, {0,100,923,6}, {1,101,929,13}, {0,102,942,13}, {1,103,955,20}, {0,104,975,7}, {1,105,982,7}, {0,106,989,10}, {1,107,999,38}, {0,108,1037,54}, {1,109,1091,11}, {0,110,1102,10}, {1,111,1112,15}, {0,112,1127,13}, {1,113,1140,13}, {0,114,1153,8}, {1,115,1161,18}, {0,116,1179,4}, {1,117,1183,38}, {0,118,1221,14}, {1,119,1235,6}, {0,120,1241,8}, {1,121,1249,45}, {0,122,1294,8}, {1,123,1302,9}, {0,124,1311,5}, {1,125,1316,14}, {0,126,1330,10}, {1,127,1340,8}, {0,128,1348,3}, {1,129,1351,88}, {0,130,1439,12}, {1,131,1451,17}, {0,132,1468,13}, {1,133,1481,15}, {0,134,1496,6}, {1,135,1502,8}, {0,136,1510,6}, {1,137,1516,27}, {0,138,1543,7}, {1,139,1550,100}, {0,140,1650,2}, {1,141,1652,7}, {0,142,1659,7}, {1,143,1666,23}, {0,144,1689,9}, {1,145,1698,12}, {0,146,1710,6}, {1,147,1716,14}, {0,148,1730,15}, {1,149,1745,8}, {0,150,1753,5}, {1,151,1758,5}, {0,152,1763,10}, {1,153,1773,9}, {0,154,1782,7}, {1,155,1789,13}, {0,156,1802,9}, {0,157,1811,6}, {1,158,1817,9}, {0,159,1826,5}, {1,160,1831,5}, {0,161,1836,10}, {1,162,1846,6}, {0,163,1852,3}, {1,164,1855,3}, {0,165,1858,5}, {1,166,1863,6}, {0,167,1869,5}, {1,168,1874,7}, {0,169,1881,9}, {0,170,1890,9}, {1,171,1899,7}, {1,172,1906,8}, {0,173,1914,8}, {0,174,1922,5}, {1,175,1927,10}, {0,176,1937,6}, {1,177,1943,8}, {0,178,1951,7}, {1,179,1958,11}, {0,180,1969,11}, {1,181,1980,7}, {0,182,1987,7}, {1,183,1994,8}, {0,184,2002,5}, {1,185,2007,6}, {0,186,2013,8}, {1,187,2021,12}, {0,188,2033,8}, {1,189,2041,7}, {0,190,2048,11}, {1,191,2059,9}, {0,192,2068,8}, {1,193,2076,6}, {0,194,2082,4}, {1,195,2086,10}, {0,196,2096,5}, {1,197,2101,9}, {0,198,2110,4}, {1,199,2114,6}, {0,200,2120,4}, {1,201,2124,10}, {0,202,2134,5}, {0,203,2139,4}, {1,204,2143,3}, {1,205,2146,12}, {0,206,2158,6}, {1,207,2164,9}, {0,208,2173,7}, {1,209,2180,13}, {0,210,2193,6}, {1,211,2199,12}, {0,212,2211,6}, {1,213,2217,8}, {0,214,2225,10}, {1,215,2235,5}, {0,216,2240,11}, {0,217,2251,10}, {1,218,2261,7}, {1,219,2268,6}, {0,220,2274,7}, {1,221,2281,9}, {0,222,2290,9}, {1,223,2299,6}, {0,224,2305,6}, {1,225,2311,10}, {0,226,2321,9}, {1,227,2330,7}, {0,228,2337,6}, {1,229,2343,11}, {0,230,2354,5}, {0,231,2359,22}, {1,232,2381,9}, {1,233,2390,5}, {1,234,2395,6}, {0,235,2401,8}, {1,236,2409,5}, {1,237,2414,5}, {0,238,2419,9}, {1,239,2428,9}, {0,240,2437,6}, {0,241,2443,11}, {1,242,2454,7}, {0,243,2461,7}, {1,244,2468,4}, {0,245,2472,5}, {1,246,2477,7}, {0,247,2484,4}, {1,248,2488,5}, {0,249,2493,7}, {0,250,2500,6}, {1,251,2506,9}, {1,252,2515,2}, {0,253,2517,4}, {1,254,2521,10}, {1,255,2531,4}, {0,256,2535,8}, {1,257,2543,7}, {0,258,2550,9}, {0,259,2559,5}, {1,260,2564,10}, {1,261,2574,16}, {0,262,2590,10}, {1,263,2600,6}, {0,264,2606,10}, {1,265,2616,7}, {0,266,2623,5}, {1,267,2628,15}, {0,268,2643,3}, {1,269,2646,13}, {0,270,2659,6}, {1,271,2665,15}, {0,272,2680,7}, {1,273,2687,3}, {0,274,2690,7}, {1,275,2697,9}, {0,276,2706,14}, {1,277,2720,6}, {0,278,2726,4}, {0,279,2730,9}, {0,280,2739,8}, {1,281,2747,14}, {0,282,2761,7}, {1,283,2768,11}, {0,284,2779,12}, {0,285,2791,10}, {1,286,2801,13}, {0,287,2814,9}, {0,288,2823,11}, {1,289,2834,12}, {0,290,2846,9}, {1,291,2855,11}, {0,292,2866,5}, {1,293,2871,10}, {0,294,2881,4}, {0,295,2885,3}, {1,296,2888,4}, {0,297,2892,5}, {0,298,2897,6}, {1,299,2903,13}, {0,300,2916,7}, {0,301,2923,8}, {0,302,2931,10}, {1,303,2941,9}, {0,304,2950,5}, {1,305,2955,8}, {0,306,2963,8}, {0,307,2971,9}, {0,308,2980,6}, {0,309,2986,6}, {1,310,2992,6}, {0,311,2998,9}, {1,312,3007,4}, {0,313,3011,9}, {1,314,3020,5}, {1,315,3025,9}, {0,316,3034,11}, {0,317,3045,8}, {1,318,3053,13}, {0,319,3066,7}, {1,320,3073,5}, {0,321,3078,4}, {1,322,3082,10}, {1,323,3092,4}, {0,324,3096,6}, {0,325,3102,8}, {1,326,3110,9}, {1,327,3119,3}, {0,328,3122,5}, {0,329,3127,6}, {1,330,3133,21}, {0,331,3154,4}, {1,332,3158,9}, {0,333,3167,9}, {1,334,3176,4}, {0,335,3180,11}, {0,336,3191,10}, {1,337,3201,9}, {1,338,3210,3}, {0,339,3213,4}, {1,340,3217,10}, {0,341,3227,5}, {0,342,3232,5}, {0,343,3237,8}, {1,344,3245,6}, {0,345,3251,5}, {0,346,3256,6}, {0,347,3262,12}, {1,348,3274,14}, {0,349,3288,9}, {1,350,3297,6}, {0,351,3303,6}, {1,352,3309,6}, {0,353,3315,7}, {1,354,3322,7}, {0,355,3329,7}, {1,356,3336,12}, {0,357,3348,7}, {1,358,3355,8}, {0,359,3363,9}, {1,360,3372,7}, {0,361,3379,5}, {1,362,3384,13}, {0,363,3397,9}, {0,364,3406,7}, {0,365,3413,5}, {1,366,3418,9}, {0,367,3427,5}, {0,368,3432,5}, {1,369,3437,8}, {1,370,3445,5}, {0,371,3450,7}, {0,372,3457,9}, {1,373,3466,5}, {1,374,3471,5}, {0,375,3476,4}, {1,376,3480,6}, {0,377,3486,5}, {1,378,3491,6}, {0,379,3497,8}, {1,380,3505,10}, {0,381,3515,5}, {0,382,3520,6}, {1,383,3526,7}, }; static const unsigned short readings_cite_la[] = { 0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15, 16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31, 32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47, 48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63, 64,65,66,67,68,69,70,71,72,73,74,75,76,77,78,79, 80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95, 96,97,98,99,100,101,102,103,104,105,106,107,108,109,110,111, 112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127, 128,129,130,131,132,133,134,135,136,137,138,139,140,141,142,143, 144,145,146,147,148,149,150,151,152,153,154,155,156,157,158,159, 160,161,162,163,164,165,166,167,168,169,170,171,172,173,174,175, 176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191, 192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207, 208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223, 224,225,226,227,228,229,230,231,232,233,234,235,236,237,238,239, 240,241,242,243,244,245,246,247,248,249,250,251,252,253,254,255, 256,257,258,259,260,261,262,263,264,265,266,267,268,269,270,271, 272,273,274,275,276,277,278,279,280,281,282,283,284,285,286,287, 288,289,290,291,292,293,294,295,296,297,298,299,300,301,302,303, 304,305,306,307,308,309,310,311,312,313,314,315,316,317,318,319, 320,321,322,323,324,325,326,327,328,329,330,331,332,333,334,335, 336,337,338,339,340,341,342,343,344,345,346,347,348,349,350,351, 352,353,354,355,356,357,358,359,360,361,362,363,364,365,366,367, 368,369,370,371,372,373,374,375,376,377,378,379,380,381,382,383, }; static const unsigned short rpool[] = { 0,1,2,3,2,3,2,3,2,3,4,5,2,3,2,3, 2,3,2,3,2,3,6,7,4,8,9,10,11,12,13,14, 15,16,6,7,17,18,19,20,21,22,23,24,25,16,26,27, 28,29,30,31,9,10,32,33,9,10,21,22,34,35,36,37, 38,39,40,41,42,43,44,45,42,46,15,29,25,16,6,47, 48,22,49,50,51,29,6,47,6,47,6,47,52,53,52,53, 52,53,52,53,52,53,52,53,54,14,55,56,57,12,55,56, 55,56,58,59,55,56,55,56,60,61,60,61,25,16,62,63, 64,65,66,67,68,69,70,71,72,73,74,75,76,77,78,79, 80,81,82,83,84,83,85,86,87,88,15,89,90,91,92,93, 94,95,96,97,98,99,100,101,102,103,104,105,106,107,108,109, 110,111,112,113,114,115,116,117,118,119,120,121,122,123,124,125, 126,127,128,129,130,131,132,133,134,135,136,137,138,139,132,133, 134,135,140,141,142,143,144,145,146,147,148,149,150,151,152,153, 154,155,156,46,157,158,48,22,159,160,161,162,163,164,165,166, 13,14,165,166,167,168,165,166,169,10,42,43,170,171,167,172, 173,10,170,171,25,35,25,16,174,175,13,14,25,29,174,175, 174,175,174,175,163,164,176,177,173,16,9,10,178,179,180,181, 176,177,182,183,184,185,184,185,184,185,186,16,51,187,42,43, 188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,105, 203,204,203,204,42,43,9,10,203,204,203,204,25,205,206,207, 208,209,210,211,15,29,212,213,206,207,214,215,216,14,217,218, 124,219,220,221,222,223,224,225,226,227,228,229,230,46,231,232, 228,229,231,233,228,229,15,234,235,236,9,10,25,16,235,236, 235,236,206,237,32,46,238,239,9,10,240,133,241,242,238,239, 243,244,231,232,245,246,247,24,48,248,245,246,157,46,245,246, 249,46,250,251,9,16,163,252,253,83,25,254,25,16,21,255, 256,257,256,257,48,22,256,257,258,252,259,260,25,261,262,263, 262,263,25,16,169,10,231,232,258,164,32,33,264,265,266,267, 264,265,266,35,9,10,268,269,48,22,270,271,270,271,25,267, 272,273,270,271,42,43,270,271,274,275,276,261,274,275,32,33, 274,275,258,101,274,275,138,277,278,164,23,24,279,254,280,281, 282,283,279,254,284,119,42,43,13,14,285,286,284,119,287,133, 288,289,290,291,292,293,9,10,290,291,294,293,295,296,297,12, 298,299,25,16,300,101,301,232,302,46,15,29,258,303,304,305, 25,16,13,14,48,22,231,232,306,12,307,46,308,281,309,16, 308,281,308,281,230,310,311,312,308,281,313,314,313,314,178,315, 313,314,313,314,313,314,316,187,317,318,319,320,42,43,317,318, 317,318,317,318,317,318,321,322,25,16,42,323,13,14,324,166, 9,10,325,326,42,327,321,322,231,232,32,33,163,252,328,22, 329,330,9,10,21,22,15,29,329,330,329,330,329,330,331,332, 331,332,328,232,333,334,9,10,331,332,335,43,336,337,276,338, 336,337,336,337,13,14,336,337,48,232,339,340,339,340,341,255, 100,101,339,340,342,221,343,344,345,344,345,344,345,344,346,89, 347,348,349,350,351,352,2,3,2,3,2,3,6,7,17,18, 353,354,9,10,60,61,355,356,357,358,266,27,359,360,154,155, 154,155,154,155,165,166,9,10,13,14,167,168,361,46,9,10, 301,119,167,362,167,168,184,185,184,185,48,22,203,204,203,204, 206,207,206,207,231,232,363,218,9,10,224,225,224,225,224,225, 48,22,224,225,364,33,228,229,235,236,238,239,238,239,245,246, 245,246,365,366,250,251,256,257,256,257,367,37,264,265,25,16, 270,271,368,369,274,275,279,254,25,16,279,254,279,254,284,119, 284,119,284,119,290,291,361,370,298,299,266,158,304,305,308,281, 371,172,371,172,11,33,313,314,313,314,313,314,313,314,313,314, 325,326,325,326,325,326,325,326,372,373,48,22,325,14,329,330, 329,330,333,374,331,332,331,332,9,10,336,337,336,337,339,340, 375,376,345,344,377,378,6,7,17,18,154,155,165,166,163,164, 170,171,170,171,170,171,13,14,176,177,163,164,13,14,379,46, 48,22,206,207,206,207,224,225,25,16,9,380,228,229,245,246, 250,251,250,251,262,263,262,263,270,271,270,271,279,254,284,119, 290,291,290,291,290,291,298,299,298,299,304,305,381,20,308,281, 371,172,317,318,382,383,382,383,382,383,325,326,325,326,313,314, 313,314,313,314,6,47,329,330,331,332,345,344,6,7,17,18, 40,41,40,41,52,53,55,56,9,10,165,166,176,177,228,229, 235,236,250,251,256,257,264,265,274,275,279,254,371,172,371,172, 371,172,313,314,313,314,313,314,382,383,382,383,382,383,329,330, 329,330,329,330,329,330,345,344,345,344,6,7,6,7,17,18, 17,18,13,14,203,204,206,207,238,239,238,239,250,251,256,257, 262,263,284,119,304,305,304,305,382,383,313,314,313,314,313,314, 313,314,40,41,40,41,40,41,40,41,329,330,329,330,329,330, 336,337,4,5,4,5,4,5,4,5,4,5,4,5,17,18, 372,373,372,373,372,373,372,373,55,56,174,175,224,225,245,246, 264,265,274,275,298,299,313,314,329,330,331,332,170,171,235,236, 250,251,298,299,371,172,313,314,313,314,329,330,329,330,170,171, 228,229,235,236,262,263,264,265,313,314,345,344,347,348,347,348, 347,348,0,1,0,1,0,1,0,1,0,1,40,41,154,155, 174,175,184,185,238,239,298,299,308,281,329,330,329,330,329,330, 264,265,290,291,313,314,313,314,40,41,40,41,40,41,40,41, 329,330,329,330,329,330,329,330,40,41,372,373,372,373,372,373, 372,373,372,373,372,373,304,305,313,314,317,318,329,330,262,263, 313,314,329,330,313,314,313,314,40,41,40,41,329,330,304,305, 329,330,40,41, }; typedef struct { unsigned short name; unsigned char colour; unsigned short roff, rlen; } Day; static const Day days[] = { {0,1,0,2}, {1,1,2,2}, {2,1,4,2}, {3,1,6,2}, {4,1,8,2}, {5,1,10,2}, {6,0,12,2}, {7,0,14,2}, {8,0,16,2}, {9,0,18,2}, {10,0,20,2}, {11,0,22,2}, {12,1,24,2}, {13,1,26,2}, {14,1,28,2}, {15,2,30,2}, {16,1,32,2}, {17,0,34,2}, {18,0,36,2}, {19,2,38,2}, {20,2,40,2}, {21,2,42,2}, {22,1,44,2}, {23,2,46,2}, {24,1,48,2}, {25,0,50,2}, {26,1,52,2}, {27,1,54,2}, {28,1,56,2}, {29,2,58,2}, {30,1,60,2}, {31,2,62,2}, {32,1,64,2}, {33,0,66,2}, {34,1,68,2}, {35,2,70,2}, {36,1,72,2}, {37,1,74,2}, {38,1,76,2}, {39,0,78,2}, {40,1,80,2}, {41,1,82,2}, {42,1,84,2}, {43,0,86,2}, {44,0,88,2}, {45,0,90,2}, {46,3,92,2}, {47,3,94,2}, {48,3,96,2}, {49,3,98,2}, {50,3,100,2}, {51,3,102,2}, {52,1,104,2}, {53,3,106,2}, {54,2,108,2}, {55,3,110,2}, {56,3,112,2}, {57,1,114,2}, {58,3,116,2}, {59,3,118,2}, {60,3,120,2}, {61,3,122,2}, {62,1,124,2}, {63,3,126,2}, {64,3,128,2}, {65,3,130,2}, {66,3,132,2}, {67,3,134,2}, {68,3,136,2}, {69,3,138,2}, {70,3,140,2}, {71,3,142,2}, {72,3,144,2}, {73,3,146,2}, {74,3,148,2}, {75,3,150,2}, {76,3,152,2}, {77,1,154,2}, {78,3,156,2}, {79,3,158,2}, {80,3,160,2}, {81,3,162,2}, {82,3,164,2}, {83,1,166,2}, {84,3,168,2}, {85,3,170,2}, {86,3,172,2}, {87,3,174,2}, {88,4,176,2}, {89,3,178,2}, {90,3,180,2}, {91,3,182,2}, {92,3,184,2}, {93,3,186,2}, {94,3,188,2}, {95,3,190,2}, {96,3,192,2}, {97,3,194,2}, {98,3,196,2}, {99,3,198,2}, {100,3,200,2}, {101,3,202,2}, {102,3,204,2}, {99,1,206,2}, {100,5,208,2}, {103,1,210,2}, {104,1,212,2}, {105,1,214,2}, {106,1,216,2}, {107,1,218,2}, {108,1,220,2}, {109,1,222,2}, {110,1,224,2}, {111,1,226,2}, {112,2,228,2}, {113,1,230,2}, {114,1,232,2}, {115,1,234,2}, {116,1,236,2}, {117,1,238,2}, {118,1,240,2}, {119,1,242,2}, {120,2,244,2}, {121,1,246,2}, {122,1,248,2}, {123,1,250,2}, {124,1,252,2}, {125,2,254,2}, {126,1,256,2}, {127,1,258,2}, {128,1,260,2}, {129,1,262,0}, {130,1,262,2}, {131,1,264,2}, {132,1,266,2}, {133,1,268,2}, {134,1,270,2}, {135,1,272,2}, {136,1,274,2}, {137,1,276,2}, {138,1,278,2}, {139,1,280,2}, {140,1,282,2}, {141,1,284,2}, {142,1,286,2}, {143,1,288,2}, {144,1,290,2}, {145,1,292,2}, {146,1,294,2}, {147,1,296,2}, {148,1,298,2}, {149,2,300,2}, {150,1,302,2}, {151,2,304,2}, {152,2,306,2}, {153,2,308,2}, {154,2,310,2}, {155,2,312,2}, {156,2,314,2}, {157,2,316,2}, {158,2,318,2}, {159,1,320,2}, {160,0,322,2}, {161,1,324,2}, {162,1,326,2}, {163,1,328,2}, {164,0,330,2}, {165,1,332,2}, {166,0,334,2}, {167,3,336,2}, {168,1,338,2}, {169,1,340,2}, {170,2,342,2}, {171,1,344,2}, {172,3,346,2}, {173,2,348,2}, {174,2,350,2}, {175,2,352,2}, {176,1,354,2}, {177,2,356,2}, {178,0,358,2}, {179,1,360,2}, {180,0,362,2}, {181,1,364,2}, {182,1,366,2}, {183,0,368,2}, {184,2,370,2}, {185,0,372,2}, {186,1,374,2}, {187,0,376,2}, {188,1,378,2}, {189,1,380,2}, {190,0,382,2}, {191,0,384,2}, {192,1,386,2}, {193,1,388,2}, {194,0,390,2}, {195,1,392,2}, {196,1,394,2}, {197,2,396,2}, {198,0,398,2}, {199,2,400,2}, {200,1,402,2}, {201,0,404,2}, {202,2,406,2}, {203,1,408,2}, {204,0,410,2}, {205,1,412,2}, {206,0,414,2}, {207,1,416,2}, {208,0,418,2}, {209,1,420,2}, {210,1,422,2}, {211,1,424,2}, {212,1,426,2}, {213,1,428,2}, {214,3,430,2}, {215,0,432,2}, {216,0,434,2}, {217,1,436,2}, {218,0,438,2}, {219,3,440,2}, {220,1,442,2}, {221,1,444,2}, {222,0,446,2}, {223,0,448,2}, {224,1,450,2}, {225,1,452,2}, {226,1,454,2}, {227,1,456,2}, {228,1,458,2}, {229,0,460,2}, {230,1,462,2}, {231,0,464,2}, {232,1,466,2}, {233,1,468,2}, {234,2,470,2}, {235,1,472,2}, {236,0,474,2}, {237,0,476,2}, {238,1,478,2}, {239,1,480,2}, {240,0,482,2}, {241,1,484,2}, {242,0,486,2}, {243,0,488,2}, {244,1,490,2}, {245,0,492,2}, {246,1,494,2}, {247,0,496,2}, {248,1,498,2}, {249,0,500,2}, {250,2,502,2}, {251,1,504,2}, {252,2,506,2}, {253,0,508,2}, {254,1,510,2}, {255,2,512,2}, {256,0,514,2}, {257,0,516,2}, {258,1,518,2}, {259,2,520,2}, {260,3,522,2}, {261,0,524,2}, {262,3,526,2}, {263,3,528,2}, {264,0,530,2}, {265,1,532,2}, {266,1,534,2}, {267,0,536,2}, {268,1,538,2}, {269,1,540,2}, {270,1,542,2}, {271,0,544,2}, {272,1,546,2}, {273,1,548,2}, {274,1,550,2}, {275,1,552,2}, {276,1,554,2}, {277,1,556,2}, {278,0,558,2}, {279,1,560,2}, {280,2,562,2}, {281,1,564,2}, {282,1,566,2}, {283,1,568,2}, {284,2,570,2}, {285,0,572,2}, {286,1,574,2}, {287,0,576,2}, {288,0,578,2}, {289,1,580,2}, {290,1,582,2}, {291,0,584,2}, {292,1,586,2}, {293,0,588,2}, {294,2,590,2}, {295,0,592,2}, {296,0,594,2}, {297,0,596,2}, {298,1,598,2}, {299,0,600,2}, {300,5,602,2}, {301,1,604,2}, {302,0,606,2}, {303,0,608,2}, {304,0,610,2}, {305,0,612,2}, {306,1,614,2}, {307,1,616,2}, {308,1,618,2}, {309,2,620,2}, {310,1,622,0}, {311,2,622,2}, {312,1,624,2}, {313,0,626,2}, {314,1,628,2}, {315,1,630,2}, {316,1,632,2}, {317,1,634,2}, {318,1,636,2}, {319,2,638,2}, {320,0,640,2}, {321,1,642,2}, {322,2,644,2}, {323,1,646,2}, {324,0,648,2}, {325,0,650,2}, {326,0,652,2}, {327,3,654,2}, {328,3,656,2}, {329,2,658,2}, {330,1,660,2}, {331,1,662,2}, {332,3,664,2}, {333,1,666,2}, {334,3,668,2}, {335,1,670,2}, {336,3,672,2}, {337,3,674,2}, {338,1,676,2}, {339,3,678,2}, {340,2,680,2}, {341,4,682,2}, {342,3,684,2}, {343,2,686,2}, {344,3,688,2}, {345,3,690,2}, {346,3,692,2}, {347,3,694,2}, {348,3,696,2}, {349,3,698,2}, {350,3,700,2}, {351,3,702,2}, {352,1,704,2}, {353,2,706,2}, {354,1,708,2}, {355,1,710,2}, {356,1,712,2}, {357,1,714,2}, {358,0,716,2}, {359,0,718,2}, {360,2,720,2}, {361,1,722,2}, {362,3,724,2}, {363,3,726,2}, {364,3,728,2}, {365,2,730,2}, {366,2,732,2}, {367,1,734,2}, {368,1,736,2}, {369,1,738,2}, {370,1,740,2}, {371,1,742,2}, {372,2,744,2}, {373,2,746,2}, {374,2,748,2}, {375,1,750,2}, {376,1,752,2}, {377,2,754,2}, {378,2,756,2}, {379,1,758,2}, {380,1,760,2}, {381,1,762,2}, {382,0,764,2}, {383,0,766,2}, {384,0,768,2}, {385,0,770,2}, {386,1,772,2}, {387,2,774,2}, {388,1,776,2}, {389,0,778,2}, {390,0,780,2}, {391,0,782,2}, {392,1,784,2}, {393,0,786,2}, {394,1,788,2}, {395,0,790,2}, {396,0,792,2}, {397,0,794,2}, {398,0,796,2}, {399,0,798,2}, {400,0,800,2}, {401,1,802,2}, {402,0,804,2}, {403,0,806,2}, {404,0,808,2}, {405,2,810,2}, {406,0,812,2}, {407,1,814,2}, {408,0,816,2}, {409,2,818,2}, {410,0,820,2}, {411,0,822,2}, {412,1,824,2}, {413,0,826,2}, {414,0,828,2}, {415,0,830,2}, {416,0,832,2}, {417,0,834,2}, {418,0,836,2}, {419,2,838,2}, {420,0,840,2}, {421,2,842,2}, {422,0,844,2}, {423,0,846,2}, {424,0,848,2}, {293,0,850,2}, {425,1,852,2}, {426,0,854,2}, {427,0,856,2}, {428,0,858,2}, {429,0,860,2}, {430,0,862,2}, {431,0,864,2}, {432,0,866,2}, {433,0,868,2}, {434,0,870,2}, {435,0,872,2}, {436,1,874,2}, {437,2,876,2}, {438,0,878,2}, {439,0,880,2}, {440,2,882,2}, {441,3,884,2}, {442,3,886,2}, {443,1,888,2}, {444,3,890,2}, {445,3,892,2}, {446,3,894,2}, {447,2,896,2}, {448,3,898,2}, {449,2,900,2}, {6,0,902,2}, {450,0,904,2}, {451,1,906,2}, {452,1,908,2}, {453,1,910,2}, {454,1,912,2}, {455,1,914,2}, {456,1,916,2}, {457,2,918,2}, {458,1,920,2}, {459,1,922,2}, {460,1,924,2}, {461,1,926,2}, {462,1,928,2}, {463,0,930,2}, {464,0,932,2}, {465,0,934,2}, {466,1,936,2}, {467,1,938,2}, {468,0,940,2}, {469,0,942,2}, {470,0,944,2}, {471,0,946,2}, {472,0,948,2}, {473,0,950,2}, {474,0,952,2}, {475,0,954,2}, {476,0,956,2}, {477,0,958,2}, {478,0,960,2}, {479,0,962,2}, {480,0,964,2}, {481,0,966,2}, {482,0,968,2}, {483,0,970,2}, {484,2,972,2}, {485,0,974,2}, {486,0,976,2}, {487,0,978,2}, {488,0,980,2}, {428,0,982,2}, {429,0,984,2}, {489,0,986,2}, {490,0,988,2}, {491,0,990,2}, {325,0,992,2}, {326,0,994,2}, {492,0,996,2}, {493,0,998,2}, {494,3,1000,2}, {495,3,1002,2}, {7,0,1004,2}, {496,0,1006,2}, {497,0,1008,2}, {498,0,1010,2}, {499,3,1012,2}, {500,3,1014,2}, {501,1,1016,2}, {502,1,1018,2}, {503,1,1020,2}, {504,0,1022,2}, {505,0,1024,2}, {506,0,1026,2}, {507,0,1028,2}, {508,0,1030,2}, {509,0,1032,2}, {510,0,1034,2}, {295,0,1036,2}, {296,0,1038,2}, {297,0,1040,2}, {511,0,1042,2}, {487,0,1044,2}, {304,0,1046,2}, {426,0,1048,2}, {427,0,1050,2}, {512,0,1052,2}, {492,0,1054,2}, {513,0,1056,2}, {514,0,1058,2}, {515,0,1060,2}, {2,1,1062,2}, {3,1,1064,2}, {8,0,1066,2}, {9,0,1068,2}, {516,0,1070,2}, {517,0,1072,2}, {518,1,1074,2}, {519,0,1076,2}, {520,0,1078,2}, {521,0,1080,2}, {522,0,1082,2}, {523,0,1084,2}, {524,0,1086,2}, {525,0,1088,2}, {526,0,1090,2}, {527,0,1092,2}, {528,0,1094,2}, {430,0,1096,2}, {489,0,1098,2}, {431,0,1100,2}, {490,0,1102,2}, {434,0,1104,2}, {529,0,1106,2}, {530,0,1108,2}, {491,0,1110,2}, {324,0,1112,2}, {531,0,1114,2}, {532,0,1116,2}, {533,0,1118,2}, {534,3,1120,2}, {358,0,1122,2}, {6,0,1124,2}, {7,0,1126,2}, {8,0,1128,2}, {9,0,1130,2}, {10,0,1132,2}, {17,0,1134,2}, {535,0,1136,2}, {43,0,1138,2}, {44,0,1140,2}, {45,0,1142,2}, {536,3,1144,2}, {537,1,1146,2}, {538,0,1148,2}, {539,0,1150,2}, {540,0,1152,2}, {541,0,1154,2}, {542,0,1156,2}, {486,0,1158,2}, {491,0,1160,2}, {543,3,1162,2}, {544,1,1164,2}, {545,0,1166,2}, {546,0,1168,2}, {547,0,1170,2}, {548,0,1172,2}, {302,0,1174,2}, {303,0,1176,2}, {549,0,1178,2}, {550,0,1180,2}, {551,1,1182,2}, {552,0,1184,2}, {553,0,1186,2}, {554,0,1188,2}, {555,0,1190,2}, {305,0,1192,2}, {556,3,1194,2}, {1,1,1196,2}, {2,1,1198,2}, {3,1,1200,2}, {355,1,1202,2}, {356,1,1204,2}, {357,1,1206,2}, {1,1,1208,2}, {10,0,1210,2}, {557,0,1212,2}, {558,1,1214,2}, {559,1,1216,2}, {560,1,1218,2}, {561,0,1220,2}, {562,0,1222,2}, {563,0,1224,2}, {564,0,1226,2}, {565,0,1228,2}, {566,0,1230,2}, {567,1,1232,0}, {568,1,1232,0}, {569,0,1232,2}, {570,0,1234,2}, {529,0,1236,2}, {530,0,1238,2}, {492,0,1240,2}, {513,0,1242,2}, {514,0,1244,2}, {549,0,1246,2}, {571,0,1248,2}, {572,0,1250,2}, {573,0,1252,2}, {574,0,1254,2}, {575,0,1256,2}, {576,0,1258,2}, {577,0,1260,2}, {578,0,1262,2}, {579,0,1264,2}, {580,0,1266,2}, {581,0,1268,2}, {582,2,1270,0}, {583,1,1270,0}, {584,1,1270,0}, {585,0,1270,2}, {548,0,1272,2}, {511,0,1274,2}, {434,0,1276,2}, {586,0,1278,2}, {512,0,1280,2}, {587,0,1282,2}, {432,0,1284,2}, {433,0,1286,2}, {325,0,1288,2}, {326,0,1290,2}, {588,0,1292,2}, {589,0,1294,2}, {590,0,1296,2}, {591,0,1298,2}, }; static const unsigned short cal[NDAYS] = { 0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15, 16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31, 32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47, 48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63, 64,65,66,67,68,69,70,71,72,73,74,75,76,77,78,79, 80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95, 96,97,98,99,100,101,102,96,97,98,103,104,101,105,106,107, 108,109,110,111,112,113,114,115,116,117,118,119,120,121,122,123, 124,125,126,127,128,129,130,131,132,133,134,135,136,137,138,139, 140,141,142,143,144,145,146,147,148,149,150,151,152,153,154,155, 156,157,158,159,160,161,162,163,164,165,166,167,168,169,170,171, 172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187, 188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203, 204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219, 220,221,222,223,224,225,226,227,228,229,230,231,232,233,234,235, 236,237,238,239,240,241,242,243,244,245,246,247,248,249,250,251, 252,253,254,255,256,257,258,259,260,261,262,263,264,265,266,267, 268,269,270,271,272,273,274,275,276,277,278,279,280,281,282,283, 284,285,286,287,288,289,290,291,292,293,294,295,296,297,298,299, 300,301,302,303,304,305,306,307,308,309,310,311,312,313,314,315, 316,317,318,319,320,321,322,323,324,325,326,327,328,329,330,331, 332,333,334,335,336,337,338,339,340,341,342,343,344,345,346,347, 348,349,350,351,352,353,354,355,356,4,357,358,359,0,2,3, 4,357,5,7,8,9,10,11,360,12,13,14,15,16,18,361, 19,20,21,22,23,25,362,26,27,28,29,30,46,32,48,34, 35,36,37,53,363,40,41,42,58,59,60,61,364,63,64,65, 66,67,68,54,70,71,72,73,74,75,76,365,78,79,80,81, 82,366,84,85,86,87,88,89,90,91,77,93,94,95,96,97, 83,99,100,101,102,96,97,98,103,104,101,105,106,107,108,109, 110,111,112,367,368,369,370,371,118,119,372,373,374,123,375,376, 126,377,113,114,115,116,117,133,378,120,136,122,138,124,140,379, 127,143,144,130,131,147,380,134,135,381,382,153,154,155,156,157, 158,159,160,161,383,384,385,165,151,152,168,386,387,388,389,173, 390,391,392,393,163,164,394,395,182,396,169,170,171,172,397,189, 175,176,177,178,179,398,196,399,183,184,200,186,400,203,401,190, 191,402,208,194,210,403,197,198,199,404,201,217,218,204,205,405, 207,406,224,225,211,212,213,214,215,231,407,233,219,408,221,222, 238,409,410,226,227,228,229,245,411,232,412,234,235,236,413,414, 415,240,241,416,243,259,417,246,418,248,419,250,266,252,253,254, 420,256,257,273,421,260,262,422,264,265,280,423,267,268,424,270, 271,287,425,274,275,276,277,278,426,427,281,282,283,284,285,301, 428,288,304,305,291,292,294,429,430,296,431,432,433,300,302,434, 303,435,436,437,39,308,309,310,311,312,313,438,439,316,317,318, 319,320,322,440,323,324,325,441,442,329,443,444,331,332,333,445, 336,446,337,339,447,340,448,343,344,449,346,347,348,349,350,450, 352,451,353,354,355,4,452,358,359,1,0,3,4,357,358,5, 8,9,10,11,360,453,12,13,14,15,18,361,454,19,20,21, 22,46,24,362,26,27,28,29,53,31,32,56,34,35,36,60, 38,363,63,64,65,66,67,68,69,70,71,72,73,74,52,76, 54,78,79,80,81,82,366,84,85,86,87,88,89,90,91,92, 93,94,95,96,97,98,99,77,101,102,96,97,98,103,104,101, 105,106,107,108,109,110,111,112,83,455,369,370,371,118,119,372, 367,368,123,456,457,126,458,459,373,374,460,375,133,461,377,113, 114,115,116,140,462,378,143,144,122,463,147,125,379,127,128,382, 153,154,155,156,157,158,159,160,161,162,464,141,165,465,466,168, 146,383,467,468,173,151,391,392,393,469,388,389,470,182,471,472, 185,163,164,394,189,167,396,169,170,171,172,196,174,175,176,177, 178,179,203,181,473,183,184,208,186,210,188,474,190,191,404,475, 217,195,403,197,198,199,406,224,202,476,204,205,477,207,231,209, 233,211,212,213,214,238,216,407,478,219,479,221,222,223,409,412, 226,227,228,413,230,411,232,480,234,235,259,237,414,418,240,241, 481,266,482,483,246,420,248,484,273,485,252,253,254,486,256,280, 487,421,262,261,264,265,287,488,423,267,268,489,270,426,272,490, 274,275,276,277,301,279,491,281,282,283,284,492,286,428,288,493, 494,291,315,495,434,496,296,436,437,294,300,302,497,303,498,499, 39,500,308,309,310,311,312,438,314,439,316,317,318,319,322,321, 440,323,324,325,501,329,330,443,502,331,332,333,336,335,446,337, 447,341,340,343,342,449,346,345,348,349,350,351,450,451,503,353, 354,4,356,452,359,1,2,0,4,357,358,359,5,9,10,11, 360,453,504,12,13,14,18,16,454,505,19,20,21,25,23,24, 362,26,27,28,506,30,31,32,507,34,35,39,37,38,363,40, 41,42,46,47,48,49,50,51,508,53,509,52,510,54,58,59, 60,61,364,63,64,65,66,67,68,69,70,71,72,73,74,75, 76,365,78,79,80,81,77,366,84,85,86,83,88,89,90,91, 92,93,94,95,96,97,98,99,100,101,102,96,97,98,103,104, 101,105,106,107,108,109,110,111,112,375,376,461,377,113,114,119, 116,117,511,378,120,457,126,458,124,125,379,127,128,133,130,131, 132,380,134,135,140,462,512,143,144,141,142,147,466,149,146,383, 382,153,154,155,156,157,158,159,160,161,470,390,471,165,166,163, 168,394,387,167,396,173,170,391,172,393,174,175,176,177,182,179, 472,181,513,183,184,189,186,514,188,193,190,191,196,399,194,195, 403,197,198,203,401,201,202,402,204,205,210,207,474,209,515,211, 212,213,214,215,216,407,516,219,224,221,222,223,409,477,226,231, 228,229,230,411,232,517,238,235,236,237,414,479,240,245,518,243, 412,249,246,251,413,519,250,255,252,253,254,259,256,257,262,421, 264,265,266,482,483,488,423,267,268,273,270,271,272,422,274,275, 280,277,278,279,424,281,282,287,284,285,286,428,288,293,426,291, 292,520,521,522,296,294,523,524,300,302,525,303,492,526,527,528, 308,309,310,315,312,313,314,439,316,317,438,319,320,321,440,323, 324,322,529,530,531,443,532,331,329,333,444,335,446,337,445,336, 340,338,342,447,341,345,343,344,449,346,450,348,349,353,354,355, 356,452,533,534,4,0,358,359,1,2,5,11,360,453,504,535, 536,12,18,14,15,16,537,538,19,25,21,22,23,24,362,26, 46,28,29,30,31,32,508,53,35,36,37,38,363,40,60,42, 364,63,64,65,66,67,68,69,70,52,72,54,74,75,76,365, 78,79,80,81,82,366,84,85,86,87,88,89,90,91,92,93, 94,95,77,97,98,99,100,101,102,96,97,98,103,104,101,105, 106,107,108,109,110,111,112,83,455,539,370,367,368,119,372,121, 511,123,456,373,126,458,375,376,461,377,113,133,115,116,117,137, 378,120,140,122,512,143,144,379,127,147,148,130,131,132,380,153, 154,155,156,157,158,159,160,161,465,466,385,165,383,540,168,150, 151,152,468,173,541,391,389,470,390,471,180,395,182,164,394,185, 167,396,169,170,171,172,192,174,175,176,177,178,179,542,181,543, 183,203,401,186,206,188,208,190,210,544,474,194,195,403,197,217, 199,545,201,202,516,204,224,225,207,546,209,477,211,231,213,214, 215,216,407,517,238,239,221,222,223,409,244,245,227,228,229,230, 411,232,413,234,235,236,237,414,258,259,241,547,243,263,419,246, 266,248,483,250,420,252,253,273,485,256,262,422,421,265,280,487, 548,549,488,423,267,287,425,270,271,272,489,274,426,276,277,278, 279,522,281,301,283,284,285,286,428,288,492,526,291,292,493,494, 550,294,551,552,553,300,302,554,506,555,556,557,558,308,309,39, 311,312,313,314,439,316,438,318,319,320,321,440,323,322,325,559, 560,561,443,501,329,332,333,502,335,446,337,336,562,340,339,342, 341,448,343,344,449,346,347,450,349,350,353,354,355,356,452,534, 4,357,0,359,1,2,3,5,563,564,565,566,567,568,12,13, 14,15,16,538,569,25,20,21,22,23,24,362,506,27,28,29, 30,31,32,39,34,35,36,37,38,363,438,41,42,570,571,572, 573,46,47,48,49,50,52,510,53,509,55,57,574,58,59,60, 62,364,63,64,65,66,67,68,69,70,71,72,73,74,75,77, 365,78,79,80,81,83,366,84,85,86,87,88,89,90,91,92, 93,94,95,96,97,98,99,100,101,102,96,97,98,103,104,101, 105,106,107,108,109,110,111,112,114,115,116,117,371,378,119,372, 122,511,124,125,379,126,128,459,130,131,132,380,133,135,575,136, 137,138,464,140,142,465,143,144,146,383,147,148,150,151,152,382, 153,154,155,156,157,158,159,160,161,163,164,394,165,167,396,168, 170,171,172,468,173,175,391,177,178,179,576,181,395,182,184,472, 186,513,188,397,189,191,514,192,194,195,403,196,198,199,542,201, 202,400,203,205,473,207,402,209,577,210,212,213,214,215,216,407, 217,219,545,221,222,223,409,224,226,227,228,229,230,411,231,578, 234,235,236,237,414,238,240,241,478,243,479,244,245,518,248,412, 250,579,252,413,254,415,262,257,264,421,259,261,547,418,263,488, 423,267,268,483,270,271,272,484,273,275,276,277,278,279,580,280, 282,283,284,285,286,428,287,425,289,291,292,489,293,294,296,581, 297,298,300,302,301,303,491,304,305,306,308,492,310,311,312,313, 314,439,315,317,318,319,320,321,440,322,324,325,582,326,327,443, 329,331,332,333,583,335,446,337,562,338,340,447,342,448,343,345, 449,346,347,348,450,350,351,353,354,355,356,452,4,357,358,0, 1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16, 17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32, 33,34,35,36,37,38,46,40,41,42,50,51,508,53,509,55, 56,574,58,52,60,54,364,63,64,65,66,67,68,69,70,71, 72,73,74,75,76,365,78,79,80,81,82,366,77,85,86,87, 88,89,83,91,92,93,94,95,96,97,98,99,100,101,102,96, 97,98,103,104,101,105,106,107,108,109,110,111,112,373,374,369, 375,376,461,119,113,114,115,116,117,457,126,120,459,122,584,124, 125,133,127,128,136,130,131,132,140,134,135,143,144,145,463,147, 141,142,465,466,382,153,154,155,156,157,158,159,160,161,162,388, 389,165,390,471,168,386,163,164,394,173,167,391,169,170,171,172, 180,174,175,176,177,178,179,187,181,189,183,184,192,186,585,188, 196,190,191,542,200,194,195,203,197,198,199,402,201,202,210,204, 205,586,207,404,209,217,211,212,213,214,215,216,224,225,219,546, 221,222,223,231,578,226,227,228,229,230,238,232,410,234,235,236, 237,245,518,240,241,249,243,251,413,246,415,248,480,250,258,252, 253,254,418,256,257,481,266,260,261,262,420,264,265,273,267,268, 587,270,271,272,280,274,275,276,277,278,279,287,281,282,283,284, 285,286,426,288,490,520,291,292,588,294,523,296,589,590,525,300, 492,302,303,528,493,494,550,308,309,310,311,312,313,314,438,316, 317,318,319,320,321,322,323,324,325,591,532,592,329,330,331,332, 333,334,335,336,337,338,339,340,341,342,343,344,345,346,347,348, 349,350,351,352,353,354,355,356,4,357,358,359,0,2,3,4, 357,5,7,8,9,10,11,360,12,13,14,15,16,18,361,19, 20,21,22,23,46,362,26,27,28,29,30,53,32,55,34,35, 36,37,60,363,40,63,64,65,66,67,68,69,70,71,72,73, 74,75,54,365,78,79,80,81,82,366,84,85,86,87,88,89, 90,91,92,93,94,95,96,97,98,99,77,101,102,96,97,98, 103,104,101,105,106,107,108,109,110,111,112,83,455,369,370,371, 118,119,372,367,368,123,456,457,126,458,459,373,374,460,375,133, 461,377,113,114,115,116,140,462,378,143,144,122,463,147,125,379, 127,128,382,153,154,155,156,157,158,159,160,161,162,464,141,165, 465,466,168,146,383,467,468,173,151,391,392,393,469,388,389,470, 182,471,472,185,163,164,394,189,167,396,169,170,171,172,196,174, 175,176,177,178,179,203,181,473,183,184,208,186,210,188,474,190, 191,404,475,217,195,403,197,198,199,406,224,202,476,204,205,477, 207,231,209,233,211,212,213,214,238,216,407,478,219,479,221,222, 223,409,412,226,227,228,413,230,411,232,480,234,235,259,237,414, 418,240,241,481,266,482,483,246,420,248,484,273,485,252,253,254, 486,256,280,487,421,262,261,264,265,287,488,423,267,268,489,270, 426,272,490,274,275,276,277,301,279,491,281,282,283,284,492,286, 428,288,493,494,291,315,495,434,496,296,436,437,294,300,302,497, 303,498,499,39,500,308,309,310,311,312,438,314,439,316,317,318, 319,322,321,440,323,324,325,501,329,330,443,502,331,332,333,336, 335,446,337,447,341,340,343,342,449,346,345,348,349,350,351,450, 451,503,353,354,4,356,452,359,1,2,0,4,357,358,359,5, 9,10,11,360,453,504,12,13,14,18,16,454,505,19,20,21, 25,23,24,362,26,27,28,506,30,31,32,507,34,35,39,37, 38,363,40,41,42,46,47,48,49,50,51,508,53,509,52,510, 54,58,59,60,61,364,63,64,65,66,67,68,69,70,71,72, 73,74,75,76,365,78,79,77,81,82,366,84,85,83,87,88, 89,90,91,92,93,94,95,96,97,98,99,100,101,102,96,97, 98,103,104,101,105,106,107,108,109,110,111,112,376,461,377,113, 114,115,116,117,121,378,120,456,122,126,124,125,379,127,128,593, 133,131,132,380,134,135,139,140,462,512,143,144,142,465,147,148, 146,383,381,382,153,154,155,156,157,158,159,160,161,390,471,385, 165,163,164,168,386,167,396,169,173,170,391,392,174,175,176,177, 178,182,594,181,185,183,184,397,189,595,188,192,190,191,398,196, 194,195,403,197,198,199,203,201,202,206,204,205,577,210,544,209, 586,211,212,213,217,215,216,407,405,219,406,224,222,223,409,596, 226,227,231,229,230,411,232,597,234,238,236,237,414,242,240,241, 245,243,247,412,246,579,248,413,250,415,252,253,254,258,259,257, 547,421,260,264,265,266,482,488,423,267,268,484,273,271,272,587, 274,275,276,280,278,279,549,281,282,283,287,285,286,428,288,489, 293,426,292,490,520,521,296,588,294,523,300,302,590,303,598,492, 526,527,308,309,310,311,315,313,314,439,316,317,318,322,320,321, 440,323,324,325,329,330,444,443,583,331,332,336,562,335,446,337, 341,448,343,344,342,346,347,348,349,350,351,352,450,503,599,353, 354,355,356,452,600,601,602,0,603,604,605,606,5,607,11,360, 453,504,535,12,13,18,15,16,505,537,19,20,25,22,23,24, 362,26,27,506,29,30,31,32,608,34,46,36,37,38,363,40, 41,53,509,55,56,574,58,59,60,61,364,63,64,54,66,67, 68,69,70,71,72,73,74,75,76,365,78,79,80,81,82,366, 84,85,86,87,88,77,90,91,92,93,83,95,96,97,98,99, 100,101,102,96,97,98,103,104,101,105,106,107,108,109,110,111, 112,609,455,369,370,373,374,119,375,376,461,377,113,114,126,116, 117,129,378,120,593,133,610,124,125,379,127,128,140,130,131,143, 144,134,135,147,148,149,611,464,141,153,154,155,156,157,158,159, 160,161,151,152,385,165,166,388,168,470,390,471,468,173,163,391, 394,393,167,396,169,170,182,172,472,174,175,176,177,189,179,514, 181,193,183,184,196,186,612,188,200,190,191,203,401,194,195,403, 197,198,210,544,201,202,515,204,205,217,207,545,209,405,211,212, 213,214,215,216,407,477,219,231,221,222,223,409,597,226,238,228, 229,230,411,232,244,245,235,236,237,414,579,240,413,519,243,255, 480,246,258,259,417,250,418,252,253,254,266,256,257,262,421,264, 265,273,485,613,488,423,267,268,280,270,271,272,424,274,275,287, 277,278,279,614,281,282,426,284,285,286,428,288,588,301,291,292, 304,305,306,296,294,429,430,300,302,432,303,315,495,434,496,308, 309,310,39,312,313,314,439,316,317,438,319,320,321,440,323,324, 322,615,616,617,443,441,331,329,333,444,335,446,337,445,336,340, 338,342,447,341,345,343,344,449,346,450,348,349,353,354,355,356, 452,533,534,4,0,358,359,1,2,5,11,360,453,504,535,536, 12,18,14,15,16,537,538,19,46,21,22,23,24,362,26,53, 28,29,30,31,32,59,60,35,36,63,64,65,66,67,68,69, 70,71,72,73,74,75,76,365,52,79,54,81,82,366,84,85, 86,87,88,89,90,91,92,93,94,95,96,97,98,99,100,101, 102,96,97,98,103,104,101,105,106,107,108,109,110,111,112,83, 455,618,619,371,118,119,372,121,539,123,367,368,126,458,459,129, 584,460,373,133,610,375,376,461,377,113,140,115,116,143,144,378, 120,147,122,149,124,125,379,153,154,155,156,157,158,159,160,161, 162,384,385,165,464,141,168,465,466,467,146,173,541,391,150,151, 152,576,180,395,182,389,470,390,471,187,397,189,164,394,192,167, 396,169,170,171,172,542,174,175,176,177,178,179,206,181,208,183, 210,544,186,586,188,404,190,217,218,545,194,195,403,197,224,199, 476,201,202,477,204,231,578,207,620,209,597,211,238,213,214,215, 216,407,244,245,518,221,222,223,409,251,413,227,228,229,230,411, 232,259,234,235,236,237,414,481,266,241,483,243,420,621,246,273, 248,613,250,422,252,253,280,487,256,262,424,421,265,287,425,289, 290,488,423,267,426,427,270,271,272,522,274,301,276,277,278,279, 306,281,492,283,284,285,286,428,288,315,495,291,292,435,436,437, 294,622,623,497,300,302,499,506,624,625,626,627,308,309,39,311, 312,313,314,439,316,438,318,319,320,321,440,323,322,325,628,629, 630,443,631,329,332,333,502,335,446,337,336,562,340,339,342,341, 448,343,344,449,346,347,450,349,350,353,354,355,356,452,534,4, 357,0,359,1,2,3,5,563,564,565,566,567,568,12,13,14, 15,16,538,569,25,20,21,22,23,24,362,506,27,28,29,30, 31,32,39,34,35,36,37,38,363,46,41,42,49,50,51,508, 53,509,55,56,574,52,510,60,61,364,63,64,65,66,67,68, 69,70,71,72,73,74,75,76,365,78,79,80,81,82,366,77, 85,86,87,88,89,83,91,92,93,94,95,96,97,98,99,100, 101,102,96,97,98,103,104,101,105,106,107,108,109,110,111,112, 373,374,369,375,376,461,119,113,114,115,116,117,457,126,120,459, 122,584,124,125,133,127,128,136,130,131,132,140,134,135,143,144, 145,463,147,141,142,465,466,382,153,154,155,156,157,158,159,160, 161,162,388,389,165,390,471,168,386,163,164,394,173,167,391,169, 170,171,172,180,174,175,176,177,178,179,187,181,189,183,184,192, 186,585,188,196,190,191,542,200,194,195,203,197,198,199,402,201, 202,210,204,205,586,207,404,209,217,211,212,213,214,215,216,224, 225,219,546,221,222,223,231,578,226,227,228,229,230,238,232,410, 234,235,236,237,245,518,240,241,249,243,251,413,246,415,248,480, 250,258,252,253,254,418,256,257,481,266,260,261,262,420,264,265, 273,267,268,587,270,271,272,280,274,275,276,277,278,279,287,281, 282,283,284,285,286,426,288,490,520,291,292,588,294,523,296,589, 590,525,300,492,302,303,528,493,494,550,308,309,310,311,312,313, 314,438,316,317,318,319,320,321,322,323,324,325,591,532,592,329, 330,331,332,333,334,335,336,337,338,339,340,341,342,343,344,345, 346,347,348,349,350,351,352,353,354,355,356,4,357,358,359,0, 2,3,4,357,5,7,8,9,10,11,360,12,13,14,15,16, 18,361,19,20,21,22,23,25,362,26,27,28,29,30,46,32, 48,34,35,36,37,53,363,40,41,42,58,59,60,61,364,63, 64,65,66,67,68,54,70,71,72,73,74,75,76,365,78,79, 80,81,82,366,84,85,86,87,88,89,90,91,77,93,94,95, 96,97,83,99,100,101,102,96,97,98,103,104,101,105,106,107, 108,109,110,111,112,367,368,369,370,371,118,119,372,373,374,123, 375,376,126,377,113,114,115,116,117,133,378,120,136,122,138,124, 140,379,127,143,144,130,131,147,380,134,135,381,382,153,154,155, 156,157,158,159,160,161,383,384,385,165,151,152,168,386,387,388, 389,173,390,391,392,393,163,164,394,395,182,396,169,170,171,172, 397,189,175,176,177,178,179,398,196,399,183,184,200,186,400,203, 401,190,191,402,208,194,210,403,197,198,199,404,201,217,218,204, 205,405,207,406,224,225,211,212,213,214,215,231,407,233,219,408, 221,222,238,409,410,226,227,228,229,245,411,232,412,234,235,236, 413,414,415,240,241,416,243,259,417,246,418,248,419,250,266,252, 253,254,420,256,257,273,421,260,262,422,264,265,280,423,267,268, 424,270,271,287,425,274,275,276,277,278,426,427,281,282,283,284, 285,301,428,288,304,305,291,292,294,429,430,296,431,432,433,300, 302,434,303,435,436,437,39,308,309,310,311,312,313,438,439,316, 317,318,319,320,322,440,323,324,325,441,442,329,443,444,331,332, 333,445,336,446,337,339,447,340,448,343,344,449,346,347,348,349, 350,450,352,451,353,354,355,4,452,358,359,1,0,3,4,357, 358,5,8,9,10,11,360,453,12,13,14,15,18,361,454,19, 20,21,22,25,24,362,26,27,28,29,506,31,32,632,34,35, 36,39,38,363,40,41,42,45,438,633,634,635,636,637,638,46, 52,510,54,50,51,57,53,509,55,56,62,58,639,60,640,641, 63,64,65,66,67,68,69,70,71,77,73,74,75,76,365,83, 79,80,81,82,366,84,85,86,87,88,89,90,91,92,93,94, 95,96,97,98,99,100,101,102,96,97,98,103,104,101,105,106, 107,108,109,110,111,112,116,378,120,370,122,118,119,125,379,127, 128,456,130,126,132,380,134,135,460,593,133,610,464,141,142,465, 466,140,146,383,143,144,150,151,147,148,149,611,388,389,153,154, 155,156,157,158,159,160,161,167,396,169,165,170,172,168,174,175, 176,177,173,179,391,181,393,183,184,180,186,182,188,472,190,191, 187,397,189,195,403,197,198,199,398,196,202,612,204,205,543,207, 203,209,473,211,212,213,214,210,216,407,586,219,404,221,222,223, 409,220,226,227,228,224,230,411,232,596,234,235,231,237,414,620, 240,241,517,238,239,410,246,242,248,244,245,518,252,253,254,579, 256,413,519,421,262,261,264,265,259,488,423,267,268,419,270,266, 272,483,274,275,276,277,273,279,613,281,282,283,284,280,286,428, 288,424,642,291,287,425,289,290,296,489,293,294,300,302,297,303, 299,643,301,644,308,309,310,311,312,492,314,439,316,317,318,319, 322,321,440,323,324,325,645,329,330,443,502,331,332,333,336,335, 446,337,447,341,340,343,342,449,346,345,348,349,350,351,450,451, 503,353,354,4,356,452,359,1,2,0,4,357,358,359,5,9, 10,11,360,453,504,12,13,14,18,16,454,505,19,20,21,25, 23,24,362,26,27,28,506,30,31,32,507,34,35,46,37,38, 363,40,41,42,53,509,55,56,574,58,59,60,61,52,63,54, 65,66,67,68,69,70,71,72,73,74,75,76,365,78,79,80, 81,82,366,84,85,86,77,88,89,90,91,92,83,94,95,96, 97,98,99,100,101,102,96,97,98,103,104,101,105,106,107,108, 109,110,111,112,609,455,369,373,374,118,119,376,461,377,113,114, 115,116,117,459,378,120,460,122,133,124,125,379,127,128,139,140, 131,132,143,144,135,463,147,148,149,464,141,142,153,154,155,156, 157,158,159,160,161,152,384,385,165,388,389,168,390,471,467,468, 173,164,391,392,167,396,169,170,171,182,594,174,175,176,177,178, 189,595,181,192,183,184,398,196,399,188,542,190,191,400,203,194, 195,403,197,198,199,210,201,202,586,204,205,475,217,218,209,220, 211,212,213,224,215,216,407,596,219,646,231,222,223,409,408,226, 227,238,229,230,411,232,479,234,245,236,237,414,249,240,241,413, 243,415,255,246,416,248,259,250,547,252,253,254,481,266,257,483, 421,260,264,265,273,485,488,423,267,268,580,280,271,272,549,274, 275,276,287,278,279,290,281,282,283,426,285,286,428,288,522,588, 301,292,491,304,305,296,307,294,429,300,302,431,303,433,315,495, 434,308,309,310,311,438,313,314,439,316,317,318,322,320,321,440, 323,324,325,329,330,444,443,583,331,332,336,562,335,446,337,341, 448,343,344,342,346,347,348,349,350,351,352,450,503,599,353,354, 355,356,452,600,601,602,0,603,604,605,606,5,607,11,360,453, 504,535,12,13,18,15,16,505,537,19,20,25,22,23,24,362, 26,27,46,29,30,31,32,51,34,53,36,37,38,363,40,41, 60,61,364,63,64,65,66,67,68,69,52,71,54,73,74,75, 76,365,78,79,80,81,82,366,84,85,86,87,88,89,90,91, 92,93,94,95,77,97,98,99,100,101,102,96,97,98,103,104, 101,105,106,107,108,109,110,111,112,83,455,539,370,367,368,119, 372,121,511,123,456,373,126,458,375,376,461,377,113,133,115,116, 117,137,378,120,140,122,512,143,144,379,127,147,148,130,131,132, 380,153,154,155,156,157,158,159,160,161,465,466,385,165,383,540, 168,150,151,152,468,173,541,391,389,470,390,471,180,395,182,164, 394,185,167,396,169,170,171,172,192,174,175,176,177,178,179,542, 181,543,183,203,401,186,206,188,208,190,210,544,474,194,195,403, 197,217,199,545,201,202,516,204,224,225,207,546,209,477,211,231, 213,214,215,216,407,517,238,239,221,222,223,409,244,245,227,228, 229,230,411,232,413,234,235,236,237,414,258,259,241,547,243,263, 419,246,266,248,483,250,420,252,253,273,485,256,262,422,421,265, 280,487,548,549,488,423,267,287,425,270,271,272,489,274,426,276, 277,278,279,522,281,301,283,284,285,286,428,288,492,526,291,292, 493,494,550,294,551,552,553,300,302,554,506,555,556,557,558,308, 309,39,311,312,313,314,439,316,438,318,319,320,321,440,323,322, 325,559,560,561,443,501,329,332,333,502,335,446,337,336,562,340, 339,342,341,448,343,344,449,346,347,450,349,350,353,354,355,356, 452,534,4,357,0,359,1,2,3,5,563,564,565,566,567,568, 12,13,14,15,16,538,569,25,20,21,22,23,24,362,506,27, 28,29,30,31,32,39,34,35,36,37,38,363,438,41,42,570, 571,572,573,46,47,48,49,50,52,510,53,509,55,57,574,58, 59,60,62,364,63,64,65,66,67,68,69,70,71,72,73,74, 75,77,365,78,79,80,81,83,366,84,85,86,87,88,89,90, 91,92,93,94,95,96,97,98,99,100,101,102,96,97,98,103, 104,101,105,106,107,108,109,110,111,112,114,115,116,117,371,378, 119,372,122,511,124,125,379,126,128,459,130,131,132,380,133,135, 575,136,137,138,464,140,142,465,143,144,146,383,147,148,150,151, 152,382,153,154,155,156,157,158,159,160,161,163,164,394,165,167, 396,168,170,171,172,468,173,175,391,177,178,179,576,181,395,182, 184,472,186,513,188,397,189,191,514,192,194,195,403,196,198,199, 542,201,202,400,203,205,473,207,402,209,577,210,212,213,214,215, 216,407,217,219,545,221,222,223,409,224,226,227,228,229,230,411, 231,578,234,235,236,237,414,238,240,241,478,243,479,244,245,518, 248,412,250,579,252,413,254,415,262,257,264,421,259,261,547,418, 263,488,423,267,268,483,270,271,272,484,273,275,276,277,278,279, 580,280,282,283,284,285,286,428,287,425,289,291,292,489,293,294, 296,581,297,298,300,302,301,303,491,304,305,306,308,492,310,311, 312,313,314,439,315,317,318,319,320,321,440,322,324,325,582,326, 327,443,329,331,332,333,583,335,446,337,562,338,340,447,342,448, 343,345,449,346,347,348,450,350,351,353,354,355,356,452,4,357, 358,0,1,2,3,4,5,6,7,8,9,10,11,12,13,14, 15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30, 31,32,47,34,35,36,37,38,53,40,41,42,574,58,59,60, 61,364,63,64,65,52,67,54,69,70,71,72,73,74,75,76, 365,78,79,80,81,82,366,84,85,86,87,88,89,90,77,92, 93,94,95,96,83,98,99,100,101,102,96,97,98,103,104,101, 105,106,107,108,109,110,111,112,368,455,369,370,371,118,119,373, 374,511,375,376,461,126,113,114,115,116,117,593,133,120,575,122, 137,124,125,140,127,128,143,144,131,132,147,134,135,611,381,382, 153,154,155,156,157,158,159,160,161,162,384,150,165,152,540,168, 386,388,389,470,173,471,391,392,163,164,394,180,167,182,169,170, 171,172,187,174,175,176,177,178,179,585,181,196,183,184,542,186, 543,188,203,190,191,206,402,194,195,210,197,198,199,515,201,202, 217,204,205,220,207,516,209,224,211,212,213,214,215,216,231,578, 219,620,221,222,223,238,239,226,227,228,229,230,245,232,247,234, 235,236,237,413,519,240,241,480,243,258,259,246,547,248,263,250, 481,252,253,254,269,256,257,484,273,260,261,262,422,264,265,280, 267,268,549,270,271,272,287,274,275,276,277,278,279,426,281,282, 283,284,285,286,301,288,491,304,291,292,307,294,429,296,647,431, 432,300,315,302,303,496,435,436,437,308,309,310,311,312,313,314, 438,316,317,318,319,320,321,322,323,324,325,648,441,442,329,330, 331,332,333,334,335,336,337,338,339,340,341,342,343,344,345,346, 347,348,349,350,351,352,353,354,355,356,4,357,358,359,0,2, 3,4,357,5,7,8,9,10,11,360,12,13,14,15,16,18, 361,19,20,21,22,23,46,362,26,27,28,29,30,53,32,55, 34,35,36,37,60,363,40,63,64,65,66,67,68,69,70,71, 72,73,74,75,54,365,78,79,80,81,82,366,84,85,86,87, 88,89,90,91,92,93,94,95,96,97,98,77,100,101,102,96, 97,98,103,104,101,105,106,107,108,109,110,111,112,83,455,369, 370,371,539,119,367,368,511,123,456,457,126,458,373,374,584,375, 376,133,377,113,114,115,116,117,140,378,120,143,144,145,124,147, 379,127,128,381,130,153,154,155,156,157,158,159,160,161,464,141, 142,165,466,540,168,383,387,467,150,173,152,391,392,393,388,389, 470,390,182,594,472,163,164,394,397,189,396,169,170,171,172,398, 196,175,176,177,178,179,400,203,401,183,184,402,186,577,210,544, 190,191,515,404,194,217,403,197,198,199,516,201,224,225,204,205, 596,207,646,231,578,211,212,213,214,215,238,407,410,219,242,221, 222,245,409,247,226,227,228,229,413,411,232,255,234,235,236,259, 414,547,240,241,419,243,266,482,246,269,248,621,250,273,252,253, 254,422,256,257,280,421,260,262,424,264,265,287,423,267,268,614, 270,271,426,427,274,275,276,277,278,301,644,281,282,283,284,285, 492,428,288,528,493,291,292,294,551,552,296,649,650,554,300,302, 556,303,558,651,652,39,308,309,310,311,312,313,438,439,316,317, 318,319,320,322,440,323,324,325,653,501,329,443,444,331,332,333, 445,336,446,337,339,447,340,448,343,344,449,346,347,348,349,350, 450,352,451,353,354,355,4,452,358,359,1,0,3,4,357,358, 5,8,9,10,11,360,453,12,13,14,15,18,361,454,19,20, 21,22,25,24,362,26,27,28,29,506,31,32,632,34,35,36, 39,38,363,40,41,42,45,46,47,48,49,50,51,508,53,52, 510,54,574,58,57,60,61,364,63,64,65,66,67,68,69,70, 71,72,73,74,75,76,365,78,79,77,81,82,366,84,85,83, 87,88,89,90,91,92,93,94,95,96,97,98,99,100,101,102, 96,97,98,103,104,101,105,106,107,108,109,110,111,112,376,461, 377,113,114,115,116,117,121,378,120,456,122,126,124,125,379,127, 128,593,133,131,132,380,134,135,139,140,462,512,143,144,142,465, 147,148,146,383,381,382,153,154,155,156,157,158,159,160,161,390, 471,385,165,163,164,168,386,167,396,169,173,170,391,392,174,175, 176,177,178,182,594,181,185,183,184,397,189,595,188,192,190,191, 398,196,194,195,403,197,198,199,203,201,202,206,204,205,577,210, 544,209,586,211,212,213,217,215,216,407,405,219,406,224,222,223, 409,596,226,227,231,229,230,411,232,597,234,238,236,237,414,242, 240,241,245,243,247,412,246,579,248,413,250,415,252,253,254,258, 259,257,547,421,260,264,265,266,482,488,423,267,268,484,273,271, 272,587,274,275,276,280,278,279,549,281,282,283,287,285,286,428, 288,489,293,426,292,490,520,521,296,588,294,523,300,302,590,303, 598,492,526,527,308,309,310,311,315,313,314,439,316,317,318,322, 320,321,440,323,324,325,329,330,444,443,583,331,332,336,562,335, 446,337,341,448,343,344,342,346,347,348,349,350,351,352,450,503, 599,353,354,355,356,452,600,601,602,0,603,604,605,606,5,607, 11,360,453,504,535,12,13,18,15,16,505,537,19,20,25,22, 23,24,362,26,27,506,29,30,31,32,608,34,46,36,37,38, 363,40,41,53,509,55,56,574,58,59,60,61,364,63,64,54, 66,67,68,69,70,71,72,73,74,75,76,365,78,79,80,81, 82,366,84,85,86,87,88,77,90,91,92,93,83,95,96,97, 98,99,100,101,102,96,97,98,103,104,101,105,106,107,108,109, 110,111,112,609,455,369,370,373,374,119,375,376,461,377,113,114, 126,116,117,129,378,120,593,133,610,124,125,379,127,128,140,130, 131,143,144,134,135,147,148,149,611,464,141,153,154,155,156,157, 158,159,160,161,151,152,385,165,166,388,168,470,390,471,468,173, 163,391,394,393,167,396,169,170,182,172,472,174,175,176,177,189, 179,514,181,193,183,184,196,186,612,188,200,190,191,203,401,194, 195,403,197,198,210,544,201,202,515,204,205,217,207,545,209,405, 211,212,213,214,215,216,407,477,219,231,221,222,223,409,597,226, 238,228,229,230,411,232,244,245,235,236,237,414,579,240,413,519, 243,255,480,246,258,259,417,250,418,252,253,254,266,256,257,262, 421,264,265,273,485,613,488,423,267,268,280,270,271,272,424,274, 275,287,277,278,279,614,281,282,426,284,285,286,428,288,588,301, 291,292,304,305,306,296,294,429,430,300,302,432,303,315,495,434, 496,308,309,310,39,312,313,314,439,316,317,438,319,320,321,440, 323,324,322,615,616,617,443,441,331,329,333,444,335,446,337,445, 336,340,338,342,447,341,345,343,344,449,346,450,348,349,353,354, 355,356,452,533,534,4,0,358,359,1,2,5,11,360,453,504, 535,536,12,18,14,15,16,537,538,19,46,21,22,23,24,362, 26,53,28,29,30,31,32,59,60,35,36,63,64,65,66,67, 68,69,70,71,72,73,74,75,76,365,52,79,54,81,82,366, 84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99, 100,101,102,96,97,98,103,104,101,105,106,107,108,109,110,111, 112,83,455,618,619,371,118,119,372,121,539,123,367,368,126,458, 459,129,584,460,373,133,610,375,376,461,377,113,140,115,116,143, 144,378,120,147,122,149,124,125,379,153,154,155,156,157,158,159, 160,161,162,384,385,165,464,141,168,465,466,467,146,173,541,391, 150,151,152,576,180,395,182,389,470,390,471,187,397,189,164,394, 192,167,396,169,170,171,172,542,174,175,176,177,178,179,206,181, 208,183,210,544,186,586,188,404,190,217,218,545,194,195,403,197, 224,199,476,201,202,477,204,231,578,207,620,209,597,211,238,213, 214,215,216,407,244,245,518,221,222,223,409,251,413,227,228,229, 230,411,232,259,234,235,236,237,414,481,266,241,483,243,420,621, 246,273,248,613,250,422,252,253,280,487,256,262,424,421,265,287, 425,289,290,488,423,267,426,427,270,271,272,522,274,301,276,277, 278,279,306,281,492,283,284,285,286,428,288,315,495,291,292,435, 436,437,294,622,623,497,300,302,499,506,624,625,626,627,308,309, 39,311,312,313,314,439,316,438,318,319,320,321,440,323,322,325, 628,629,630,443,631,329,332,333,502,335,446,337,336,562,340,339, 342,341,448,343,344,449,346,347,450,349,350,353,354,355,356,452, 534,4,357,0,359,1,2,3,5,563,564,565,566,567,568,12, 13,14,15,16,538,569,25,20,21,22,23,24,362,506,27,28, 29,30,31,32,39,34,35,36,37,38,363,46,41,42,49,50, 51,508,53,509,55,56,574,52,510,60,61,364,63,64,65,66, 67,68,69,70,71,72,73,74,75,76,365,78,79,80,81,82, 77,84,85,86,87,88,83,90,91,92,93,94,95,96,97,98, 99,100,101,102,96,97,98,103,104,101,105,106,107,108,109,110, 111,112,374,455,375,376,461,377,119,114,115,116,117,456,378,126, 458,122,129,124,125,379,133,128,575,130,131,132,380,140,135,512, 143,144,145,464,147,142,465,466,381,146,153,154,155,156,157,158, 159,160,161,388,389,470,165,471,540,168,163,164,394,468,173,396, 391,170,171,172,576,174,175,182,177,178,179,513,181,397,189,184, 514,186,193,188,398,196,191,612,542,194,195,403,203,198,199,206, 201,202,577,210,205,474,207,515,209,475,217,212,213,214,215,216, 407,224,219,476,221,222,223,409,231,226,227,228,229,230,411,238, 239,234,235,236,237,414,245,240,241,412,243,579,251,413,519,248, 255,250,416,252,259,254,547,262,257,264,421,266,261,483,269,420, 488,423,267,268,613,270,271,272,580,280,275,276,277,278,279,654, 287,282,283,284,285,286,428,426,427,490,291,292,522,588,294,296, 524,589,590,300,302,492,303,527,528,493,494,308,315,310,311,312, 313,314,439,438,317,318,319,320,321,440,322,324,325,531,591,532, 443,329,331,332,333,583,335,446,337,562,338,340,447,342,448,343, 345,449,346,347,348,450,350,351,353,354,355,356,452,4,357,358, 0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15, 16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31, 32,47,34,35,36,37,38,53,40,41,42,574,58,59,60,61, 364,63,64,65,52,67,54,69,70,71,72,73,74,75,76,365, 78,79,80,81,82,366,84,85,86,87,88,89,90,91,77,93, 94,95,96,97,83,99,100,101,102,96,97,98,103,104,101,105, 106,107,108,109,110,111,112,367,368,369,370,371,118,119,372,373, 374,123,375,376,126,377,113,114,115,116,117,133,378,120,136,122, 138,124,140,379,127,143,144,130,131,147,380,134,135,381,382,153, 154,155,156,157,158,159,160,161,383,384,385,165,151,152,168,386, 387,388,389,173,390,391,392,393,163,164,394,395,182,396,169,170, 171,172,397,189,175,176,177,178,179,398,196,399,183,184,200,186, 400,203,401,190,191,402,208,194,210,403,197,198,199,404,201,217, 218,204,205,405,207,406,224,225,211,212,213,214,215,231,407,233, 219,408,221,222,238,409,410,226,227,228,229,245,411,232,412,234, 235,236,413,414,415,240,241,416,243,259,417,246,418,248,419,250, 266,252,253,254,420,256,257,273,421,260,262,422,264,265,280,423, 267,268,424,270,271,287,425,274,275,276,277,278,426,427,281,282, 283,284,285,301,428,288,304,305,291,292,294,429,430,296,431,432, 433,300,302,434,303,435,436,437,39,308,309,310,311,312,313,438, 439,316,317,318,319,320,322,440,323,324,325,441,442,329,443,444, 331,332,333,445,336,446,337,339,447,340,448,343,344,449,346,347, 348,349,350,450,352,451,353,354,355,4,452,358,359,1,0,3, 4,357,358,5,8,9,10,11,360,453,12,13,14,15,18,361, 454,19,20,21,22,25,24,362,26,27,28,29,506,31,32,632, 34,35,36,39,38,363,40,41,42,45,46,47,48,49,50,51, 508,53,52,510,54,574,58,57,60,61,364,63,64,65,66,67, 68,69,70,71,72,73,74,75,76,365,78,77,80,81,82,366, 84,83,86,87,88,89,90,91,92,93,94,95,96,97,98,99, 100,101,102,96,97,98,103,104,101,105,106,107,108,109,110,111, 112,461,377,113,114,115,116,119,372,378,120,123,122,457,126,125, 379,127,128,460,130,133,132,380,134,135,138,139,140,462,464,143, 144,465,466,147,146,383,611,381,150,153,154,155,156,157,158,159, 160,161,471,384,385,165,164,394,168,167,396,169,170,173,172,391, 174,175,176,177,178,179,182,181,472,183,184,187,186,189,188,514, 190,191,585,398,196,195,403,197,198,199,400,203,202,473,204,205, 208,207,210,209,474,211,212,213,214,217,216,407,220,219,516,221, 222,223,409,546,226,227,228,231,230,411,232,408,234,235,238,237, 414,478,240,241,244,245,518,247,246,249,248,251,413,519,252,253, 254,416,256,259,417,421,262,261,264,265,266,488,423,267,268,621, 270,273,272,613,274,275,276,277,280,279,548,281,282,283,284,287, 286,428,288,614,489,291,426,427,490,520,296,522,588,294,300,302, 589,303,525,598,492,526,308,309,310,311,312,315,314,439,316,317, 318,319,322,321,440,323,324,325,328,329,330,443,502,331,332,333, 336,335,446,337,447,341,340,343,342,449,346,345,348,349,350,351, 450,451,503,353,354,4,356,452,359,1,2,0,4,357,358,359, 5,9,10,11,360,453,504,12,13,14,18,16,454,505,19,20, 21,25,23,24,362,26,27,28,506,30,31,32,507,34,35,46, 37,38,363,40,41,42,53,509,55,56,574,58,59,60,61,52, 63,54,65,66,67,68,69,70,71,72,73,74,75,76,365,78, 79,80,81,82,366,84,85,86,77,88,89,90,91,92,83,94, 95,96,97,98,99,100,101,102,96,97,98,103,104,101,105,106, 107,108,109,110,111,112,609,455,369,373,374,118,119,376,461,377, 113,114,115,116,117,459,378,120,460,122,133,124,125,379,127,128, 139,140,131,132,143,144,135,463,147,148,149,464,141,142,153,154, 155,156,157,158,159,160,161,152,384,385,165,388,389,168,390,471, 467,468,173,164,391,392,167,396,169,170,171,182,594,174,175,176, 177,178,189,595,181,192,183,184,398,196,399,188,542,190,191,400, 203,194,195,403,197,198,199,210,201,202,586,204,205,475,217,218, 209,220,211,212,213,224,215,216,407,596,219,646,231,222,223,409, 408,226,227,238,229,230,411,232,479,234,245,236,237,414,249,240, 241,413,243,415,255,246,416,248,259,250,547,252,253,254,481,266, 257,483,421,260,264,265,273,485,488,423,267,268,580,280,271,272, 549,274,275,276,287,278,279,290,281,282,283,426,285,286,428,288, 522,588,301,292,491,304,305,296,307,294,429,300,302,431,303,433, 315,495,434,308,309,310,311,438,313,314,439,316,317,318,322,320, 321,440,323,324,325,329,330,444,443,583,331,332,336,562,335,446, 337,341,448,343,344,342,346,347,348,349,350,351,352,450,503,599, 353,354,355,356,452,600,601,602,0,603,604,605,606,5,607,11, 360,453,504,535,12,13,18,15,16,505,537,19,20,25,22,23, 24,362,26,27,46,29,30,31,32,51,34,53,36,37,38,363, 40,41,60,61,364,63,64,65,66,67,68,69,52,71,54,73, 74,75,76,365,78,79,80,81,82,366,84,85,86,87,88,89, 90,91,92,93,94,95,77,97,98,99,100,83,102,96,97,98, 103,104,101,105,106,107,108,109,110,111,112,609,539,369,367,368, 118,119,372,121,511,123,373,374,126,375,376,461,377,113,114,133, 116,117,136,378,120,139,140,462,124,143,144,127,128,147,130,131, 132,380,134,153,154,155,156,157,158,159,160,161,466,384,146,165, 166,540,168,151,152,467,468,173,388,391,470,390,471,576,180,163, 182,394,472,167,396,169,170,189,172,514,174,175,176,177,196,179, 612,181,200,183,184,203,186,473,188,402,190,191,210,544,194,195, 403,197,198,217,218,201,202,405,204,205,224,207,476,209,596,211, 212,213,214,215,216,407,597,219,238,221,222,223,409,479,226,245, 228,229,230,411,232,251,413,235,236,237,414,416,240,259,417,243, 418,263,246,481,266,482,250,269,252,253,254,273,256,257,262,421, 264,265,280,487,548,488,423,267,268,287,270,271,272,614,274,275, 426,277,278,279,521,281,282,301,284,285,286,428,288,307,492,291, 292,528,493,494,296,294,551,552,300,302,650,303,506,555,556,557, 308,309,310,39,312,313,314,439,316,317,438,319,320,321,440,323, 324,322,655,559,560,443,653,331,329,333,444,335,446,337,445,336, 340,338,342,447,341,345,343,344,449,346,450,348,349,353,354,355, 356,452,533,534,4,0,358,359,1,2,5,11,360,453,504,535, 536,12,18,14,15,16,537,538,19,25,21,22,23,24,362,26, 506,28,29,30,31,32,656,39,35,36,37,38,363,40,438,42, 634,570,571,572,638,46,47,48,49,52,510,54,53,509,57,56, 574,58,59,60,62,364,63,64,65,66,67,68,69,70,71,72, 73,74,75,77,365,78,79,80,81,83,366,84,85,86,87,88, 89,90,91,92,93,94,95,96,97,98,99,100,101,102,96,97, 98,103,104,101,105,106,107,108,109,110,111,112,114,115,116,117, 371,378,119,372,122,511,124,125,379,126,128,459,130,131,132,380, 133,135,575,136,137,138,464,140,142,465,143,144,146,383,147,148, 150,151,152,382,153,154,155,156,157,158,159,160,161,163,164,394, 165,167,396,168,170,171,172,468,173,175,391,177,178,179,576,181, 395,182,184,472,186,513,188,397,189,191,514,192,194,195,403,196, 198,199,542,201,202,400,203,205,473,207,402,209,577,210,212,213, 214,215,216,407,217,219,545,221,222,223,409,224,226,227,228,229, 230,411,231,578,234,235,236,237,414,238,240,241,478,243,479,244, 245,518,248,412,250,579,252,413,254,415,262,257,264,421,259,261, 547,418,263,488,423,267,268,483,270,271,272,484,273,275,276,277, 278,279,580,280,282,283,284,285,286,428,287,425,289,291,292,489, 293,294,296,581,297,298,300,302,301,303,491,304,305,306,308,492, 310,311,312,313,314,439,315,317,318,319,320,321,440,322,324,325, 582,326,327,443,329,331,332,333,583,335,446,337,562,338,340,447, 342,448,343,345,449,346,347,348,450,350,351,353,354,355,356,452, 4,357,358,0,1,2,3,4,5,6,7,8,9,10,11,12, 13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28, 29,30,31,32,47,34,35,36,37,38,53,40,41,42,574,58, 59,60,61,364,63,64,65,52,67,54,69,70,71,72,73,74, 75,76,365,78,79,80,81,82,366,84,85,86,87,88,89,90, 77,92,93,94,95,96,83,98,99,100,101,102,96,97,98,103, 104,101,105,106,107,108,109,110,111,112,368,455,369,370,371,118, 119,373,374,511,375,376,461,126,113,114,115,116,117,593,133,120, 575,122,137,124,125,140,127,128,143,144,131,132,147,134,135,611, 381,382,153,154,155,156,157,158,159,160,161,162,384,150,165,152, 540,168,386,388,389,470,173,471,391,392,163,164,394,180,167,182, 169,170,171,172,187,174,175,176,177,178,179,585,181,196,183,184, 542,186,543,188,203,190,191,206,402,194,195,210,197,198,199,515, 201,202,217,204,205,220,207,516,209,224,211,212,213,214,215,216, 231,578,219,620,221,222,223,238,239,226,227,228,229,230,245,232, 247,234,235,236,237,413,519,240,241,480,243,258,259,246,547,248, 263,250,481,252,253,254,269,256,257,484,273,260,261,262,422,264, 265,280,267,268,549,270,271,272,287,274,275,276,277,278,279,426, 281,282,283,284,285,286,301,288,491,304,291,292,307,294,429,296, 647,431,432,300,315,302,303,496,435,436,437,308,309,310,311,312, 313,314,438,316,317,318,319,320,321,322,323,324,325,648,441,442, 329,330,331,332,333,334,335,336,337,338,339,340,341,342,343,344, 345,346,347,348,349,350,351,352,353,354,355,356,4,357,358,359, 0,2,3,4,357,5,7,8,9,10,11,360,12,13,14,15, 16,18,361,19,20,21,22,23,46,362,26,27,28,29,30,53, 32,55,34,35,36,37,60,363,40,63,64,65,66,67,68,69, 70,71,72,73,74,75,54,365,78,79,80,81,82,366,84,85, 86,87,88,89,90,91,92,93,94,95,96,97,98,77,100,101, 102,96,97,98,103,104,101,105,106,107,108,109,110,111,112,83, 455,369,370,371,539,119,367,368,511,123,456,457,126,458,373,374, 584,375,376,133,377,113,114,115,116,117,140,378,120,143,144,145, 124,147,379,127,128,381,130,153,154,155,156,157,158,159,160,161, 464,141,142,165,466,540,168,383,387,467,150,173,152,391,392,393, 388,389,470,390,182,594,472,163,164,394,397,189,396,169,170,171, 172,398,196,175,176,177,178,179,400,203,401,183,184,402,186,577, 210,544,190,191,515,404,194,217,403,197,198,199,516,201,224,225, 204,205,596,207,646,231,578,211,212,213,214,215,238,407,410,219, 242,221,222,245,409,247,226,227,228,229,413,411,232,255,234,235, 236,259,414,547,240,241,419,243,266,482,246,269,248,621,250,273, 252,253,254,422,256,257,280,421,260,262,424,264,265,287,423,267, 268,614,270,271,426,427,274,275,276,277,278,301,644,281,282,283, 284,285,492,428,288,528,493,291,292,294,551,552,296,649,650,554, 300,302,556,303,558,651,652,39,308,309,310,311,312,313,438,439, 316,317,318,319,320,322,440,323,324,325,653,501,329,443,444,331, 332,333,445,336,446,337,339,447,340,448,343,344,449,346,347,348, 349,350,450,352,451,353,354,355,4,452,358,359,1, }; #endif