** 17M 1. 5 litre: 1498 cc, 60 hp ( 44 kW ), 135 km / h ( 85 mph )

** 17M 1. 7 litre: 1699 cc, 65 or 75 hp ( 48 or 55 kW ), 140 or 150 km / h ( 88 or 94 mph )

** Jupiter 1 or 2

** Landing craft tank ( LCT 1

** April 1 ( Eastern Orthodox liturgics )

** August 1 ( Eastern Orthodox liturgics )

** Lughnasadh, traditionally begins on the eve of August 1.

** The Traditional Bowyer's Bible ; Volume 1.

** the Upper Room ( 1: 13 )

** CDE 1. 0 became the default GUI environment, replacing Motif Window Manager.

** LVM ( Logical Volume Manager ) was incorporated into OSF / 1, and in 1995 for HP-UX, and the Linux LVM implementation is similar to the HP-UX LVM implementation.

** last version was 1. 3, 1992.

** last version was 2. 2. 1.

** The Artistic License ( the original Artistic License 1. 0, the one which is still used by Perl and CPAN )

** Winners ( 3 ): 1960 < sup > 1 </ sup >, 1996, 1998

** Runners-up ( 3 ): 1957 < sup > 1 </ sup >, 1968, 1972

** Runners-up ( 1 ): 1964 < sup > 1 </ sup >

** Runners-up ( 1 ): 2007

** Winners ( 1 ): 2009

** Runners-up ( 1 ): 1981

** Semi-finalists ( 1 ): 2005

** Speed: 1. 79 MHz, drops to 1. 19 MHz when the TIA Television Interface Adaptor or RIOT ( 6532 RAM-I / O-Timer ) chips are accessed

** Emperor Ai of Han ( 27 BC – 1 BC )

** Nehor: rebels against the Church ( see Alma 1 )

** 1, 793 GWh ( 2007 )-Rank 133

** Eunectes murinus, the green anaconda, the largest species, is found east of the Andes in Colombia, Venezuela, the Guianas, Ecuador, Peru, Bolivia, Brazil and on the island of Trinidad.

** Eunectes notaeus, the yellow anaconda, a smaller species, is found in eastern Bolivia, southern Brazil, Paraguay and northeastern Argentina.

** Eunectes deschauenseei, the dark-spotted anaconda, is a rare species found in northeastern Brazil and coastal French Guiana.

** Eunectes beniensis, the Bolivian anaconda, the most recently defined species, is found in the Departments of Beni and Pando in Bolivia.

** Well-ordering theorem: Every set can be well-ordered.

** Tarski's theorem: For every infinite set A, there is a bijective map between the sets A and A × A.

** Trichotomy: If two sets are given, then either they have the same cardinality, or one has a smaller cardinality than the other.

** The Cartesian product of any family of nonempty sets is nonempty.

** König's theorem: Colloquially, the sum of a sequence of cardinals is strictly less than the product of a sequence of larger cardinals.

** Every surjective function has a right inverse.

** Zorn's lemma: Every non-empty partially ordered set in which every chain ( i. e. totally ordered subset ) has an upper bound contains at least one maximal element.

** Hausdorff maximal principle: In any partially ordered set, every totally ordered subset is contained in a maximal totally ordered subset.

** Tukey's lemma: Every non-empty collection of finite character has a maximal element with respect to inclusion.

** Antichain principle: Every partially ordered set has a maximal antichain.

** Every vector space has a basis.

** Every unital ring other than the trivial ring contains a maximal ideal.

** For every non-empty set S there is a binary operation defined on S that makes it a group.

** The closed unit ball of the dual of a normed vector space over the reals has an extreme point.

** Tychonoff's theorem stating that every product of compact topological spaces is compact.

** In the product topology, the closure of a product of subsets is equal to the product of the closures.

** If S is a set of sentences of first-order logic and B is a consistent subset of S, then B is included in a set that is maximal among consistent subsets of S. The special case where S is the set of all first-order sentences in a given signature is weaker, equivalent to the Boolean prime ideal theorem ; see the section " Weaker forms " below.

** Any union of countably many countable sets is itself countable.