Index of the Propositions
Used in Book 7 of Pappus' Collection
Ken SAITO
(This article was originally printed in Jinbun Kenkyu:
The Journal of Humanities, No.26(1997),
Faculty of Letters, Chiba University pp. 155-188.)
Home
Introductory Essay. (14KB)
Part 1-1: Symbols for Propositions in Part 1. (4KB)
Part 1-2: List of the Propositions used in Pappus Book 7. (11KB)
Part 2: Index of the Propositions used in Pappus Book 7
(this File: 56KB).
Part 3: Index in the order of Pappus' text. (120KB)
Bibliography and Acknowledgements. (3KB)
Part 2: Index of the Propositions used in Pappus Book 7
6. Index: Part 2
Example
5-9-A 143-18(217-15-13), 191- 5-1(257- 9- 9)*, 191- 5-2(257-11- 1)*,
Proposition 5-9-A (propositions are listed in Part 1)
is used in 143 (paragraph number, not proposition number,
in Book 7), 18th sentence, which begins at page 217, line 15, 13th word
in Jones's edition.
The second occurrence in 191-5-1 means that 191-5
(paragraph 191, 5th sentence) is so long
that this is divided into two or more parts. In this case,
page-line-word number in parethesis (257- 9- 9) indicates the word
at the beginnining of that part.
An asterisk "*" following page-line-word number means some
kind of ambiguity in the use of the proposition. In principle,
dubious places are included so that nothing is overlooked.
The reader is invited to examine Pappus' text. In this case, Part 3 of this index
(available via internet [i.e., available here])
would be of some help.
The symbol "#"
indicates some error in Pappus' argument.
6.1. Index Part2: Index of the Propositions
used in Pappus Book 7
1-def-10
158-10(231-12- 2), 159- 9(231-23- 5)*.
1-def-11
273-10(325- 9- 7), 289-10(343- 1- 2)*.
1-def-12
273-13(325-12- 9), 289-11(343- 1-10), 293- 5(347- 3- 4)*.
1-def-15
126- 5(203- 8- 8), 132- 5(209- 6- 7), 133- 6(209-14- 9),
134- 4(209-20- 3)*, 134- 8(209-23-12), 135- 3(209-31- 1)*,
135- 8(211- 3- 1), 136- 7(211-10-10)*, 137- 6(211-22- 8),
138- 3(211-28-11), 139- 6(213- 7-12), 140- 6(213-18-11),
143-14-2(217-11- 1), 145- 6(221- 8- 2), 147- 6(223-15- 6),
149- 6(223-31- 1), 150- 6(225- 8- 7), 151- 4(225-14- 3)*,
151- 8(225-16-11), 152- 4(225-23-11)*, 152- 6(225-26-11),
153- 5(227- 7- 2), 154-11(227-22- 9), 155- 9(227-33-11)*,
155-11(229- 1-10), 156- 6-2(229-14- 7)*, 175- 9(243-20-10),
178- 5(245-13- 8), 180- 5(247- 5- 6), 230- 4(293- 8- 4),
230-12(293-16- 4), 233- 2(297- 2- 2)*, 237-10(301- 6- 2).
1-def-17
81- 6(153-34- 1).
1-1
116- 3(189- 7-12).
1-2
72- 2(145-24- 6), 80- 3(153-13-10), 89- 3(159-28-12),
90- 3(161- 7- 3).
1-3
43- 3(127- 4- 2), 44- 2(127-12-12), 45- 6(127-24- 8),
46- 4(129- 1- 4), 47- 5(129- 9- 5), 48- 5(129-21- 3),
49- 5(129-32- 3), 50- 5(131-14-12), 51- 3(131-24- 3),
52- 3(131-32- 1), 53- 7(133-12- 9), 57- 2(135-18- 2),
142- 9(215- 7-10), 143- 3(215-29- 4), 144-10(219-13- 6)*,
156- 1(229- 7- 1), 168- 2-1(237-20- 6), 173- 2-1(241-25- 6)*,
181- 3(247-15- 2), 183- 2-2(249- 3- 5), 200- 5-1(267-11- 3),
215- 3(281- 3- 6), 220- 3(285- 3- 2)*, 221- 3(285-15- 7),
268- 3(321- 9- 9), 269- 3(321-16- 9), 274- 6(325-18- 2),
274-11(325-20-12), 275- 2-2(327- 6-12), 275- 2-4(327- 8- 9),
276- 4(327-18-11), 276- 9(327-21- 7), 276-18-4(329- 3- 4),
277- 3(329-12-12), 278- 3(329-21- 5), 294-20(347-27- 6),
305- 3(357-10- 5), 315- 2(363-17- 9), 315-13(363-27- 1)*,
315-16(365- 5-10), 316- 5(365-21- 7), 317- 3(367-12- 1).
1-4
114- 5(185-23-13), 114- 9(185-27- 6), 126- 4-1(203- 6- 5),
159- 8(231-22- 6)*, 254- 5(313- 4-13), 287-11(339-30-15).
1-4-x
131- 3(207-32- 7), 179- 9(245-30- 3), 222- 3(285-26-11)*.
1-5
126- 7(203-10- 1), 130- 6(207- 7- 1), 176- 4(243-30-12)*,
222- 3(285-26-11)*, 319- 8(373- 9- 7).
1-6
176- 4(243-30-12)*.
1-8
126- 6(203- 9- 2).
1-9
159- 1(231-15- 1).
1-10
55- 1(135- 1- 1), 70- 4(145- 5- 2), 71- 3(145-16- 5),
79- 3(153- 4- 5), 85- 2-1(157-11- 1), 88- 2-1(159-15- 1),
92- 2(163- 2- 1), 94- 2(165- 2- 1), 115- 4(187- 8- 7),
118- 4(193-22- 3), 120- 4(197- 4- 8), 121- 1(197-16- 1),
122- 3(197-29- 1), 124- 1-2(201- 1- 8), 125- 4(201-17-10),
130- 2(207- 3- 1), 132- 3(209- 3-13), 133- 3(209-12-11),
134- 5(209-21- 5), 135- 4(209-32- 1), 136- 4(211- 8-12),
137- 4(211-20-10), 139- 4(213- 5-13), 140- 4(213-16-12),
141- 3(213-25-10), 142- 6(215- 2-14), 142- 9(215- 7-10),
143- 4(215-30-13), 143- 4(217-25- 8), 144-10(219-13- 6)*,
145- 4(221- 6- 4), 146- 5(221-17-14), 147- 4(223-13- 6),
149- 4(223-29- 7), 149-12(225- 2- 2)*, 151- 5(225-15- 8),
152- 4(225-23-11), 153- 3(227- 5- 3), 154- 4(227-16- 7),
155-10(229- 1- 3), 156- 4(229-12- 9), 226- 2(289- 8- 8),
229- 4(291-28- 9)*, 230- 3(293- 7- 2)*, 237- 6(299-33- 5),
239- 1(301-18- 1), 249- 3(309-20- 9), 250- 3(309-31- 1),
263- 3(317-30- 9), 266- 3(319-19- 6), 284- 5(337- 7- 1),
297- 2(351- 1- 3), 300- 4(353-20- 7), 301- 4(355- 3- 2),
315- 4(363-19-10), 319-12(373-14-10).
1-11
82- 2(155-10- 2), 115- 4(187- 8- 7), 128- 3(205- 3- 5),
180- 3(247- 3- 6), 225- 1(287-28- 1), 273- 1(325- 2- 1),
275- 2-6(327- 9-10), 276- 5(327-19- 4), 276-11(327-22- 4),
276-18-5(329- 4- 2), 284- 2(337- 3-12), 287- 8(339-26- 3),
288- 5(341-15- 2), 295- 3(349- 3-12), 315-14(365- 4- 9).
1-12
115- 7-1(187-13- 5), 116-12(189-20- 7), 118- 4(193-22- 3),
131- 2(207-28- 6), 132- 3(209- 3-13), 134- 5(209-21- 5),
136- 4(211- 8-12), 137- 4(211-20-10), 139- 4(213- 5-13),
140- 4(213-16-12), 145- 4(221- 6- 4), 147- 4(223-13- 6),
149- 4(223-29- 7), 151- 6(225-15-11), 152- 4(225-23-11),
153- 3(227- 5- 3), 154- 4(227-16- 7), 155- 3(227-30- 1),
155-10(229- 1- 3), 156- 4(229-12- 9), 179- 5(245-27- 7),
188- 3(253-19- 8), 214- 3(279-24- 7), 222- 3(285-26-11)*,
229- 4(291-28- 9), 230- 1(293- 5- 1)*, 231- 1(293-18- 1),
237- 4(299-30- 9), 241- 4(303-17- 2), 243- 3(305- 4-10),
257- 1(315- 5- 1), 261- 4(317-11- 6), 274- 9(325-19- 1),
275- 2-3(327- 8- 4), 276- 7(327-20- 8), 276-18-4(329- 3- 4),
284-17(337-16- 1), 286- 4(339- 4- 7), 289- 7(341-32-10),
289-12(343- 2- 5), 290- 1(343-12- 1), 292- 1(345- 1- 1),
292- 3(345- 6- 9), 315-16(365- 5-10), 317- 6(367-20-12),
317- 8(367-21- 9), 318- 3(369-14- 2), 318- 7(369-20- 3),
318-13(369-26- 4), 318-13(369-26- 4), 318-14(369-30- 9),
318-15(371- 2-11).
1-13
160- 7(231-31- 8), 161- 6(233- 4- 5), 215- 4(281- 4-10),
289-11(343- 1-10).
1-14
126-15(203-16- 5), 175- 8(243-20- 1).
1-14-x
115- 6(187-12-10), 175-12(243-24- 7), 178- 9(245-18- 5).
1-15
114- 5(185-23-13), 114-10(185-28- 5), 126-11(203-12- 9),
164- 7(235- 8- 6), 166- 5(235-30- 4), 319-10(373-11- 2).
1-18
130-17(207-21- 2).
1-19
130- 8(207- 9- 7), 130-19(207-22- 7)*.
1-21
273- 9(325- 9- 1), 273-12(325-11- 6).
1-23
130- 7(207- 8-12), 130-17(207-21- 2), 165- 1(235-12- 1),
251- 3(311- 9- 7), 258- 3(315-11- 1), 287- 1(339-19- 1),
288- 2(341-11- 4), 289- 1(341-24- 1), 296- 1(349-10- 1),
296- 2(349-12- 3).
1-26
81- 7(153-34- 6)*, 127-10(203-26-14), 155- 6(227-32- 8)*,
224-10(287-25-13)*.
1-27
73-10(147-15-13), 73-11(147-16- 3), 139- 7(213- 9- 5),
140- 7(213-20- 3), 141- 5(213-27- 7), 149- 7(223-32- 6),
149-12(225- 2- 2)*, 155- 5(227-31- 7)*, 155-12(229- 3- 1),
156- 2(229-10- 9)*, 156- 6-1(229-13-12), 164- 9(235-10- 4),
164-10(235-10- 7), 168- 9(237-33- 2), 168-10(237-33- 5),
171- 5(241- 5- 8), 171- 6(241- 6- 1).
1-28
118- 7(193-27-11), 132- 4-1(209- 5- 5), 133- 4(209-13- 5),
133- 5(209-14- 1), 134- 8(209-23-12), 135- 7(211- 2- 7),
136- 7(211-10-10), 137- 7(211-23-16), 138- 5(211-30- 9),
139- 7(213- 9- 5), 140- 7(213-20- 3), 141- 5(213-27- 7),
142- 6(215- 2-14), 143-16(217-13- 9)*, 144- 7-3(219- 9- 1)*,
145- 7(221- 9- 9), 147- 7(223-16-13), 148- 5(223-23-10),
149- 7(223-32- 6), 149-12(225- 2- 2)*, 151- 9(225-18- 2),
152- 7(225-27-16), 154- 5(227-18- 5), 154-13(227-23-15),
155-12(229- 3- 1), 156- 6-1(229-13-12), 169- 7(239- 7- 7),
173- 4(241-32-12), 179- 6(245-28- 3), 180- 6(247- 5-13),
230- 9(293-13- 4), 248- 4-2(309-15- 7), 248- 6(309-17- 3),
318- 8(369-21- 7)*, 318-17(371- 4- 1)*.
1-29
74- 5(147-22- 5), 75- 4(149- 5- 2), 116- 8(189-16- 1),
116-15(189-23- 8), 116-19(189-27- 2), 127- 5(203-23- 2),
127- 7(203-24- 3), 127- 8(203-25- 8), 158- 7(231- 9-12),
166- 5(235-30- 4), 167- 4(237- 5- 2), 169-12(239-12- 2),
170- 4(239-18-10), 172- 4(241-12- 7), 174- 4(243- 4- 7),
175-10(243-22- 5), 176- 4(243-30-12)*, 178- 5(245-13- 8),
180- 8(247- 7- 2), 182- 4(247-23- 5), 183- 7(249- 9- 9),
184- 5(249-23- 5)*, 184- 7(249-25- 7), 185- 8(251- 9- 9),
187- 9(253-10- 4), 195-10(263- 5-11), 224-10(287-25-13)*,
245- 4(305-29- 7), 245- 5(305-31-13), 248- 4-1(309-13- 1),
248- 5(309-16- 5), 286-10(339-10- 5), 288-10-2(341-21-12).
1-29-x
181- 5(247-16- 9), 204- 4(269-23-10), 204- 5(269-25- 2),
204- 6(269-26- 7).
1-30
203-12(269-19- 5), 204-20(271- 9- 6), 294- 3(347-19- 6).
1-31
43- 4(127- 6- 3), 44- 3(127-14- 5), 74- 4(147-21-10),
75- 3(149- 3- 9), 81- 7(153-34- 6)*, 116- 3(189- 7-12),
127- 4(203-22- 5), 176- 3(243-29- 7), 178- 1(245- 8- 1),
182- 3(247-21- 8), 184- 4(249-22- 9), 185- 4(251- 5- 9),
193- 4(261- 7- 6), 195- 5(261-32- 8), 196- 3(263- 9-12),
196- 4(263-11- 7), 198- 5(265-13- 4), 198-10-1(265-22- 8),
199- 4(265-34- 1), 201- 3(267-17- 9), 203- 1(269- 7- 1),
204- 4(269-23-10), 204- 5(269-25- 2), 204- 6(269-26- 7),
205- 3(271-15- 3), 208- 3(273-29- 8), 210- 4(275-25- 3),
212- 1(277-25- 1), 213- 4(279-12- 7), 224-10(287-25-13)*,
226- 1(289- 6- 1)*, 226- 3(289-11- 8), 230- 1(293- 5- 1)*,
245- 1(305-24- 1), 247- 3(309- 4- 4), 260- 4(317- 3- 7),
286- 9(339- 9- 2), 288- 8(341-19- 1), 294- 2(347-18- 7),
294- 6(347-20- 9), 294-20(347-27- 6), 294-21(347-30- 4),
318- 7(369-20- 3), 319-10(373-11- 2).
1-32-A
85- 8(157-18- 1), 88- 6(159-20-13), 116- 9(189-16-11),
319-10(373-11- 2).
1-32-B
76- 7(149-24- 7), 296-10(349-22- 7), 319-11(373-13-10).
1-32-cor-1
130- 6(207- 7- 1), 130-17(207-21- 2),
187-12(253-12- 7).
1-32-cor-2
179- 4(245-24- 6), 289- 8(341-33- 7),
289-12(343- 2- 5), 292-17(345-25- 8).
1-32-cor-3
114-11(185-29- 4), 115-10(187-19-10),
126-12(203-13- 5), 241- 5(303-17-10), 284-12(337-13- 3),
286- 8(339- 8- 4), 290-10(343-21-12).
1-33
176-10(243-33- 9), 179-11(245-32- 1)*, 180- 7(247- 6- 3).
1-34
126- 4-1(203- 6- 5), 127- 9(203-26- 7), 179- 9(245-30- 3)*,
230- 9(293-13- 4), 247- 3(309- 4- 4), 294- 7(347-21- 5),
294-23(347-32- 4), 318- 8(369-21- 7), 318-17(371- 4- 1).
1-34-inv
200- 5-1(267-11- 3).
1-35
241- 8(303-23- 1).
1-37
202- 4(267-28- 7), 299- 3(353-13- 5).
1-38
215- 6(281- 8- 5).
1-39
202-14(269- 5- 1), 202-15(269- 5- 9), 226-11(289-22- 3),
226-12(289-25- 2).
1-41
214- 7(279-30-12), 232- 3(293-31- 3), 232- 4(295- 2- 9),
243- 6-1(305-10-10), 261-10(317-17- 3).
1-41-trap
243- 6-2(305-11- 9).
1-44
187- 4(253- 5- 1)*, 187- 6(253- 7- 5)*, 254- 3(313- 3- 2),
256- 2(313-26- 6), 274-20(325-25-12), 275- 2-6(327- 9-10).
1-44-x
59- 3(137- 3- 3), 142-11(215-13- 8), 143- 3(215-29- 4),
144-10(219-13- 6)*, 168- 2-1(237-20- 6)*, 171- 2-1(239-31- 6)*,
173- 2-1(241-25- 6), 183- 2-2(249- 3- 5), 245- 3(305-27-11),
308- 2(359- 9- 2).
1-46
168- 2-1(237-20- 6)*, 171- 2-1(239-31- 6)*, 183- 2-2(249- 3- 5).
1-47
113- 9(185-14- 4), 113-10(185-15- 1), 116-22(189-29- 7),
116-27-1(189-35- 6), 127-11(203-27- 8), 129-16-2(205-26-14),
129-19(205-28- 2), 142- 7(215- 5- 5), 143-14-2(217-11- 1),
144- 7-2(219- 7- 1), 186- 5(251-19- 1), 188- 5(253-21- 3),
188- 6(253-22- 6), 222- 3(285-26-11)*, 227- 6(289-32- 5)*,
230- 6(293- 9- 7), 230- 7(293-10-10), 231- 3(293-20-11),
233- 2(297- 2- 2)*, 234- 3(297-21- 9), 237- 7-2(301- 2- 7),
298- 3-1(353- 4- 2), 298- 3-2(353- 5- 1), 318- 8(369-21- 7),
318-17(371- 4- 1).
1-47-cor-1
234- 9(297-25- 4).
1-47-cor-2
233-10(297-14- 6), 234- 7(297-24- 6),
235- 3(297-33- 1)*, 235- 8(299- 4- 4), 235-12(299- 6- 2).
2-1
72- 4(145-26- 2), 99- 5(171- 7-12), 99- 6(171- 9- 7),
99- 7(171-11-12), 100- 6(171-21- 3), 100- 8(171-24- 6),
101- 6(173- 8- 1), 101- 8(173-10- 3), 102- 6(173-21-13),
102- 7(173-24- 5), 103- 5(175- 6- 6), 103- 6(175- 8- 7),
103- 8(175-10- 9), 103- 9(175-11- 9), 104- 5(175-19- 4),
104- 6(175-21- 4), 104- 8(175-23- 5), 105- 5(177- 7-11),
105- 6(177- 9-12), 105- 8(177-12-11), 105-10(177-15- 7),
106- 5(177-23- 6), 106- 6(177-24- 8), 106- 8(177-28- 6),
106-10(177-31- 1), 107- 5(179- 6- 1), 107- 6(179- 8- 4),
108- 5(179-19- 1), 108- 6(179-20- 6), 108- 8(179-23- 5),
109- 6(181- 7- 3), 109- 7(181- 9-11), 110- 6(181-19- 8),
111- 4-1(183- 5- 4), 111- 5(183- 9- 9), 112- 4(183-15- 5),
112- 6-1(183-19- 4), 112- 6-2(183-21- 6), 113- 9(185-14- 4),
113-10(185-15- 1), 116-23(189-32- 2), 116-26(189-34- 9),
116-27-2(189-36-10), 116-29(191- 3- 6), 117- 4-1(193- 4-13),
117- 5(193- 9- 2), 117- 6(193-10- 5), 189- 9(255- 3-13),
190-10(255-23- 9), 191- 8(257-16- 1), 191-10(257-18- 2),
192- 8(259- 1-12), 216- 4(281-16- 2), 218- 4(283- 9- 6),
222- 6(285-30- 7)*, 231- 4(293-22-12), 231- 5(293-25- 7),
267- 4-1(321- 4- 8), 269- 5(321-19- 4), 278- 4(329-21-11).
2-2
117- 4-1(193- 4-13), 127-11(203-27- 8), 187- 5(253- 5- 9),
190-10(255-23- 9), 191- 8(257-16- 1), 227- 6(289-32- 5)*,
228- 9(291-13- 3), 231- 4(293-22-12), 239- 8(301-27- 2),
269- 5(321-19- 4).
2-3
117- 4-1(193- 4-13), 127-12(203-31- 8), 127-15(203-35- 2),
191- 6(257-14- 1)*, 216- 6(281-18- 1), 222- 6(285-30- 7)*,
228- 6(291-10- 7), 228-13(291-19- 2), 231- 5(293-25- 7),
239- 6(301-25- 7), 271- 6(323- 2-11).
2-4
216- 4(281-16- 2), 216- 8(281-20- 1), 218- 6(283-11- 5),
218- 8(283-12-11), 298- 3-3(353- 7- 8)#, 299- 3(353-13- 5),
305- 6(357-13- 7).
2-5
55- 2(135- 3- 6), 56- 4-1(135-10- 3), 70- 5(145- 5-10),
70- 6(145- 6-13), 79- 4(153- 4-13), 79- 5(153- 5-14),
79- 6(153- 6-13), 122- 5(199- 1- 3), 122- 6(199- 2- 7),
124- 4(201- 5- 8), 206- 2(271-30- 9), 206- 3(271-33-14),
222- 3(285-26-11)*, 226- 5(289-16- 1)*, 228- 6(291-10- 7),
228-13(291-19- 2), 237- 7-1(301- 1- 6), 239- 6(301-25- 7),
249- 4-1(309-21-12), 249- 4-2(309-22-12), 249- 4-3(309-23-12),
250- 5-1(309-32-13), 250- 7(311- 3-14), 264- 1(319- 5- 4)*,
264- 2(319- 7- 9)*, 265- 4(319-13- 4), 266- 4-1(319-19-13).
2-5-x
123- 6(199-17- 2), 146-12(221-31- 9), 146-15(223- 1- 6).
2-6
70- 7-2(145-10- 2), 71- 4-1(145-16-13), 71- 4-2(145-17-14),
71- 4-3(145-19- 3), 89- 4-1(159-29- 4), 90- 4(161- 7- 9),
120- 7(197- 9- 2), 125- 6(201-19- 1), 142-10-1(215- 8-13),
143-11(217- 3- 6), 144- 5(219- 2- 7)*, 220- 4(285- 3- 8),
221- 4(285-16- 4), 226- 5(289-16- 1)*, 226- 7(289-18- 7),
228- 9(291-13- 3), 239- 8(301-27- 2), 250- 5-2(311- 1-12),
263- 5-1(317-31-11), 263- 5-2(317-32-11), 263- 5-3(319- 1-11),
264- 1(319- 5- 4)*, 264- 2(319- 7- 9)*, 268- 4(321-10- 2),
271- 6(323- 2-11), 277- 4(329-13- 5), 305- 5-2(357-12-10),
315- 3(363-19- 1), 315-20(365-10- 5), 316- 6(365-21-14).
2-8
186-14(251-28- 6).
2-9
188- 4(253-19-12), 266- 5(319-23- 6).
2-10
266- 5(319-23- 6), 305- 4(357-10-12).
2-14
76- 2(149-17- 5), 82- 2(155-10- 2), 116- 3(189- 7-12),
129- 2(205-13- 6), 242- 1(303-26- 1), 273- 7(325- 7- 3).
2-A
142-10-3(215-13- 1), 143-12(217- 5- 6).
2-B
189-12(255- 7- 6), 267- 3-2(321- 4- 2).
3-1
160- 3(231-28- 8), 162- 2(233-10- 9), 165- 6(235-17-11),
175- 2(243-13- 1), 178- 3(245-11- 5)*, 180- 3(247- 3- 6),
184- 3(249-20- 6), 229- 4(291-28- 9)*, 230- 3(293- 7- 2)*,
233- 4-3(297- 7- 6)*, 234- 1-2(297-18-11), 235- 1-2(297-29- 6),
286- 4(339- 4- 7), 292- 3(345- 6- 9).
3-3-Dir
126- 4-2(203- 7- 3)*.
3-3-Conv
132- 4-2(209- 5-11), 134- 6(209-23- 1), 136- 5(211- 9-14),
137- 5(211-22- 1), 139- 5(213- 7- 5), 140- 5(213-18- 4),
145- 5(221- 7-10), 147- 5(223-14-14), 149- 5(223-30- 8),
150- 7(225- 9- 8), 151- 7(225-16- 4), 152- 5(225-26- 4),
153- 4(227- 6-10), 154- 4(227-16- 7), 154-15(227-25- 2),
155-14(229- 4- 5), 156- 5(229-13- 5), 229- 5(291-29-15),
284-18(337-17-13), 289-14(343- 3-12), 290- 3(343-16- 3),
292- 5(345-11- 2)*.
3-3-x
224- 6(287-21- 4), 286- 6(339- 7- 1), 292-13-1(345-18- 5),
292-13-2(345-19- 7).
3-7
233- 7(297-13- 1).
3-8
235- 6(299- 2- 4), 235-12(299- 6- 2).
3-11-inv
178-10(245-18-11).
3-11-x
160- 5(231-30- 3), 164- 4(235- 4-10), 175- 5(243-16-14).
3-11-x-inv
161-10(233- 6-11), 163- 9(233-29- 8),
166- 8(235-33- 9).
3-15
234- 5(297-23- 3).
3-16-Cor
159- 1(231-15- 1), 161- 8(233- 5- 8), 165-12(235-24- 4),
180-10(247- 8- 8), 184- 8(249-25-13).
3-17
85- 2-2(157-11- 8), 88- 2-2(159-15- 8), 143- 8(215-35- 2),
143- 2(217-23- 6), 144-10(219-13- 6), 160- 5(231-30- 3),
161- 4(233- 2- 9), 162- 4(233-12- 3), 163- 3(233-23- 6),
164- 4(235- 4-10), 166- 3(235-28- 8), 167- 3(237- 4- 6),
168- 2-1(237-20- 6)*, 168- 2-2(237-23- 5), 169- 4(239- 5- 1),
169-10(239-10- 5), 170- 3(239-18- 1), 171- 2-1(239-31- 6)*,
171- 2-2(239-33- 7), 172- 3(241-11- 4), 173- 2-2(241-28- 4),
174- 3(243- 4- 1), 175- 5(243-16-14), 183- 2-2(249- 3- 5),
184- 3(249-20- 6), 223- 8(287- 7- 6).
3-18
135- 5(211- 1- 5), 138- 4(211-30- 3), 141- 4(213-27- 1),
142- 6(215- 2-14), 143-14-2(217-11- 1), 143-16(217-13- 9)*,
144- 7-2(219- 7- 1), 144- 7-3(219- 9- 1)*, 148- 4(223-23- 4),
160- 6(231-31- 1), 161- 5(233- 3- 9), 162- 5(233-12- 9),
163- 4(233-24- 5), 175- 6(243-17- 8), 175- 7(243-19- 4),
184- 6(249-25- 1), 284-10(337-11- 1).
3-19
160- 9(231-32-10), 162- 6(233-14- 7).
3-20
284-14(337-14- 2), 284-28(337-28- 8), 287-23(341- 9-10),
290-13(343-23- 9), 292-21(345-29- 4), 297- 7(351- 8- 8).
3-21
73- 8(147-14- 2), 113- 5-1(185-10- 2), 113- 5-2(185-10-13),
113- 5-2(185-10-13), 115-10(187-19-10), 116-18(189-26- 4),
165- 8(235-20- 4), 173- 3(241-29- 7), 182- 4(247-23- 5),
183- 7(249- 9- 9), 224- 6(287-21- 4), 225- 6(289- 1- 9),
225- 7(289- 2-10), 245- 4(305-29- 7), 293-13(347-14- 1),
296-14(349-24-13), 319-17(373-18- 7).
3-21-inv
126-13(203-14- 3), 172- 5(241-13- 8), 174- 4(243- 4- 7),
225- 6(289- 1- 9), 225- 7(289- 2-10), 229- 6(291-30- 7).
3-22
114- 6(185-24-13), 126-13(203-14- 3), 158- 9(231-11- 8),
159- 9(231-23- 5), 293- 5(347- 3- 4).
3-22-inv
113- 5-1(185-10- 2), 113- 5-2(185-10-13), 114- 8(185-26- 8),
118-11(195- 2- 9), 227- 6(289-32- 5)*, 296-13(349-24- 3),
321-13(375-15-13).
3-22-x
73- 7(147-13- 3), 168- 6(237-30- 1), 187-10(253-10-14),
224- 7(287-23- 7).
3-22-x-inv
116-10(189-18- 7), 167- 7(237- 8- 5),
170- 5(239-20- 8), 171- 4(241- 2-12), 182- 5(247-24- 8),
183- 9(249-12-12), 187-14(253-14- 2)*.
3-25
148- 3(223-21- 9), 156- 1(229- 7- 1), 284-10(337-11- 1).
3-26
321-15(375-17- 2).
3-27
319-16(373-17- 8).
3-28
319-16(373-17- 8).
3-29
321-15(375-17- 2).
3-31
92- 3-1(163- 3- 9), 94- 3(165- 3- 8), 113- 4(185- 8-10),
115-10(187-19-10), 128- 9(205- 9- 9), 134- 8(209-23-12),
135- 6(211- 2- 1), 136- 7(211-10-10)*, 137- 7(211-23-16)*,
138- 5(211-30- 9)*, 139- 7(213- 9- 5)*, 140- 7(213-20- 3)*,
141- 5(213-27- 7)*, 142- 6(215- 2-14), 143-16(217-13- 9)*,
144- 7-3(219- 9- 1)*, 145- 7(221- 9- 9)*, 147- 7(223-16-13)*,
148- 5(223-23-10)*, 149- 7(223-32- 6)*, 150- 5(225- 7- 3),
151- 9(225-18- 2)*, 153- 6(227- 8- 9), 154- 5(227-18- 5)*,
154-13(227-23-15)*, 155- 5(227-31- 7)*, 155-12(229- 3- 1)*,
156- 2(229-10- 9)*, 156- 6-1(229-13-12)*, 162- 9(233-18- 8),
165- 4(235-16- 4), 165- 7(235-19- 9), 224- 9(287-25- 6),
225-10(289- 4-11), 227- 4(289-31- 5), 284- 6(337- 7- 8).
3-31-inv
81- 5(153-32- 4), 158-11(231-12- 7), 159-10(231-24- 1),
162-11(233-19-11), 297- 3(351- 2- 9)*.
3-32
85- 7(157-17- 2), 88- 5(159-20- 2), 158- 5(231- 6-11),
158- 6(231- 9- 1), 162- 8(233-16- 5), 164- 5(235- 5-11),
164- 6(235- 7- 5), 166- 4(235-29- 6), 167- 5(237- 6- 5),
168- 7(237-30-12), 169- 5(239- 5- 9), 169-11(239-11- 4),
170- 4(239-18-10), 171- 4(241- 2-12), 172- 4(241-12- 7),
173- 3(241-29- 7), 174- 4(243- 4- 7).
3-35
81- 9(155- 2- 2), 81-10(155- 4- 3), 115-12(187-23- 8),
118- 5-2(193-24-13), 172- 6(241-14- 5), 174- 4(243- 4- 7),
222- 4(285-28- 2), 229- 7(291-31-11), 229- 9(291-34-14),
245- 9(307- 6- 3), 245-10(307- 7- 9), 284-21(337-20- 3),
289-17(343- 5- 9), 289-20(343- 8- 8)*, 290- 2(343-13- 2),
292- 4(345- 9-11), 293- 6(347- 4- 2).
3-35-inv
173- 3(241-29- 7), 245- 4(305-29- 7).
3-36
73- 2-2(147- 5-11), 73- 2-3(147- 6-10), 85- 3(157-12-11),
88- 3-2(159-17- 8), 118- 9(193-30- 3), 159- 4(231-18- 5),
159- 6(231-20- 7), 159- 8(231-22- 6)*, 167- 9(237- 9-10),
168- 4(237-26- 9), 170- 7(239-21-14), 171- 4(241- 2-12),
177- 4(245- 4- 2), 182- 6(247-25- 5), 222- 4(285-28- 2),
287- 8(339-26- 3).
3-36-cor-1
143-26(217-20-14).
3-36-cor-2
222- 3(285-26-11).
3-36-x
127-11(203-27- 8), 127-13(203-33- 4), 167- 8(237- 9- 1),
170- 6(239-21- 5), 182- 5(247-24- 8), 187-14(253-14- 2)*,
227- 6(289-32- 5)*, 227- 7(289-33- 5).
3-36-x-inv
168- 5(237-29- 5), 171- 4(241- 2-12),
183- 6(249- 8-10), 187-10(253-10-14).
3-37
163- 7(233-26- 5), 177- 7(245- 6- 8).
3-def-11
287- 5(339-24- 9), 292-11(345-15- 1), 292-12(345-16- 2).
3-def-11-x
286-12(339-17- 6)*, 287-22(341- 9- 2).
4-5
73- 2-1(147- 4- 6), 81- 4(153-31- 1), 287- 4(339-23- 6),
289- 4(341-28- 8), 292- 3(345- 6- 9), 293- 4(347- 1- 5).
5-4
214- 7(279-30-12)*, 228- 3(291- 6-10), 228-14(291-20- 2),
239- 3(301-21- 5), 243- 7(305-12- 1)*, 270- 3(321-24-13),
284-22(337-23- 7)*, 284-22(337-23- 7)*, 286-11-2(339-12- 4),
286-11-2(339-12- 4), 290- 4(343-16-12)*, 292- 5(345-11- 2),
297- 3(351- 2- 9).
5-7-A
116-33(191- 8- 2), 142- 4(213-33-11), 196- 7(263-17- 3),
196- 8(263-17-12), 204- 8(269-30- 1), 204- 9(269-30- 9),
205- 6(271-20- 5), 205- 7(271-20-13), 308- 8(359-18- 4),
316- 7(365-24- 9).
5-7-B
72- 7(145-29-12), 72- 8(145-30- 4), 75- 7(149- 6-11),
224-10(287-25-13)*, 260- 6(317- 6- 4).
5-7-Cor
49- 6(129-32- 7), 68- 6(143- 9-11), 69- 6-1(143-29- 9),
81- 8(155- 1- 1), 83- 4-2(155-22-10)*, 86- 5(157-30-12),
95- 3(167- 7- 4), 96- 4(167-21- 1), 193- 5-1(261- 8- 1),
194- 2(261-16- 6), 194- 3(261-18-10)*, 196-10(263-21- 9),
197- 6(265- 2-14), 201- 4(267-19- 4)*, 204- 7(269-27-11),
206- 4(273- 4- 1), 209- 6(275-17-12)*, 217- 3(281-26-10),
217- 7(281-34- 9), 219- 7(283-27-11), 240- 5-3(303- 9- 5),
280- 5(331-30- 6), 284-22(337-23- 7)*, 284-24(337-25- 8)*,
286-11-2(339-12- 4), 290- 4(343-16-12)*, 293- 7(347- 7- 3)*,
304- 6(355-28- 1)*, 304- 7(355-29- 4), 304-13(357- 5-15)*,
306- 4-1(357-23- 2)*, 306- 5(357-25- 7)*, 317- 9(367-23-15).
5-7-Cor-ineq
49-11(131- 5- 9)*, 49-12(131- 8- 6)*.
5-7-cor-1
52- 4(131-32- 8), 69- 8-1(143-32- 9)*,
78- 8-2(151-28-12), 80-11-1(153-23-12), 83-10-1(155-32- 4)*,
87- 7(159-10- 7), 98- 2-2(169-19-14), 175- 9(243-20-10),
178- 5(245-13- 8), 214- 7(279-30-12)*, 306- 3-1(357-20- 2),
308- 4(359-12-10), 309- 6(361-12- 5).
5-8-A
45- 8(127-27- 2), 46- 6(129- 2- 9), 49- 7(129-33- 9),
52- 5(131-33- 7), 53- 8(133-13- 2), 251- 6(311-11- 6),
258- 5(315-12-14), 307- 6(359- 3- 6), 319-25(373-29- 1),
319-31(373-35- 6).
5-8-B
47- 7(129-10-11), 48- 7(129-22-10), 50- 7(131-16- 4),
51- 5-1(131-26- 4), 59- 7(137- 6- 4)#, 307- 6(359- 3- 6),
319-25(373-29- 1), 319-31(373-35- 6).
5-9-A
143-18(217-15-13), 191- 5-1(257- 9- 9)*, 191- 5-2(257-11- 1)*,
191- 5-3(257-12- 7)*, 192- 7(257-32- 7), 208- 4(273-31-13),
226- 5(289-16- 1), 319- 7(373- 9- 1), 320- 4(375- 6- 9).
5-9-B
89- 7(159-34- 7), 90- 5(161-10- 2), 116- 4-2(189-11-13),
185- 7(251- 7-13), 204-13(271- 3- 9), 220- 6(285- 7-14),
221- 6(285-19- 9), 277- 5(329-15- 6).
5-10-A
45- 5(127-24- 1), 46- 3(127-31-10), 47- 4(129- 8-12),
47-11(129-15- 6), 144- 8(219- 9- 9), 259- 6(315-25- 8).
5-10-B
48- 4(129-20-10), 48-10(129-26- 6), 49- 4(129-31-11),
49- 9(131- 4- 3), 50- 4(131-14- 6), 51- 3(131-24- 3)*,
58- 5(135-26- 1), 252- 3(311-16- 8).
5-11
(passim)
5-12
50- 6(131-15- 4), 68- 5(143- 8-12), 68- 8(143-12- 1),
69- 2-3(143-24- 1), 69- 5-2(143-28- 9), 77- 3-2(151- 6- 4),
80- 8(153-21- 1), 89- 9(161- 2-12), 91- 8(161-24-11),
95- 3(167- 7- 4), 95- 5(167-11- 2), 143-14-1(217- 9- 6),
189- 4(253-32- 7), 190- 6(255-20- 1), 208- 6(275- 3- 1),
217- 3(281-26-10), 217- 5(281-31- 2), 217- 7(281-34- 9),
221- 8(285-22- 1), 271- 4(321-32- 3), 277- 7(329-17-13),
280- 8(333- 2-10), 284-22(337-23- 7)*, 317- 9(367-23-15),
317-14(369- 8- 5).
5-12-Data
316- 8(365-26- 9).
5-12-ineq
144- 7-1(219- 5-12).
5-13
45- 4(127-22-14), 45- 8(127-27- 2), 46- 3(127-31-10),
46- 7(129- 3- 9), 47- 4(129- 8-12), 47- 8(129-12- 4),
47-11(129-15- 6), 48- 4(129-20-10), 48-10(129-26- 6),
49- 4(129-31-11), 49- 7(129-33- 9)*, 50- 4(131-14- 6),
50- 8(131-17- 4), 51- 3(131-24- 3)*, 51- 5-2(131-27- 4),
52- 6(133- 1- 8), 53-10(133-14-16), 58- 4(135-24- 1),
59- 8(137- 7- 3)#, 144- 6(219- 3-12), 144- 7-3(219- 9- 1),
251- 7(311-12- 7), 252- 3(311-16- 8), 258- 6(315-13-13),
259- 5(315-24- 1).
5-13-ineq
307- 6(359- 3- 6), 319-25(373-29- 1)#,
319-31(373-35- 6)#.
5-14
123-14(199-26- 4)*.
5-14-a
53- 6(133-10- 6), 121- 7(197-24- 4)*, 122-12-2(199- 7-13),
123-14(199-26- 4)*, 124-12(201-13- 4), 130- 9(207-10-13),
130-19(207-22- 7)*, 143-24(217-19-10), 244- 2(305-19- 4)*,
244- 3(305-21- 7)*, 261- 9(317-16- 5), 279-13(331-10- 1),
279-15(331-11- 7), 289-20(343- 8- 8)*, 294-26(347-35- 4)*,
316- 4(365-19- 9).
5-15
142-17(215-16-10), 143-12(217- 5- 6), 243- 7(305-12- 1)*.
5-16
47- 6(129- 9- 8), 64- 6(139-23-15), 64-14(139-31- 1),
69- 8-1(143-32- 9), 73- 2-4(147- 7- 4), 78- 8-2(151-28-12),
80-11-1(153-23-12), 81-11(155- 6- 1), 83-10-1(155-32- 4),
87- 7(159-10- 7), 98- 2-2(169-19-14), 115-12(187-23- 8)*,
118-10(193-33- 8), 189- 5(253-33- 8), 190- 5(255-19- 1),
193- 5-1(261- 8- 1), 194- 3(261-18-10), 195- 6(261-33-10),
195- 7(263- 2-14), 195- 7(263- 2-14), 198- 4(265- 9-11),
199- 7(267- 5-12), 203- 7(269-14- 8), 204- 7(269-27-11),
204-15(271- 5- 7), 210-12(277-11- 7), 213- 6(279-16-13),
213- 9(279-19-11), 214- 6(279-29- 5), 214- 7(279-30-12)*,
241- 8(303-23- 1), 243- 7(305-12- 1)*, 243- 7(305-12- 1)*,
261- 7(317-14- 6), 272- 4-2(323-10- 4), 279-11(331- 8- 1),
280- 5(331-30- 6), 280- 6(331-31- 2)*, 280- 7(331-34- 1),
319- 4(373- 7- 1), 320- 3(375- 4- 8).
5-17
64- 6(139-23-15), 80- 7(153-18- 7), 83- 7(155-28- 4),
87- 5-2(159- 8- 2), 89- 4-1(159-29- 4), 90- 4(161- 7- 9),
90- 6(161-11- 1), 97- 6(169-10- 1), 184- 1(249-16- 1)*,
189- 3(253-31- 1), 190- 4(255-17- 8), 204- 7(269-27-11),
219- 3(283-19-11), 219- 5(283-23-13), 220- 5(285- 4-12),
220- 7(285- 8-10), 221- 5(285-17- 6), 228-14(291-20- 2),
270- 3(321-24-13), 277- 4(329-13- 5), 284-22(337-23- 7)*,
286-11-2(339-12- 4), 286-11-2(339-12- 4), 290- 4(343-16-12)*,
304-10(357- 3- 4).
5-17-ineq
310- 3-1(361-19- 5), 310- 4(361-21- 9),
311- 3-1(361-27- 2), 311- 3-2(361-29- 2).
5-17-x
219- 7(283-27-11).
5-18
45- 7(127-25- 1), 46- 5(129- 1- 7), 64-14(139-31- 1),
69- 3(143-25- 2), 69- 6-2(143-29-10), 72- 9(145-32- 3),
78- 3(151-19- 9), 78- 6(151-24-12), 89- 8(161- 1- 4),
95- 3(167- 7- 4), 95- 5(167-11- 2), 96- 4(167-21- 1),
96- 9(167-28-11), 191- 4(257- 7- 8), 193- 5-1(261- 8- 1),
194- 3(261-18-10), 204-15(271- 5- 7), 217- 3(281-26-10),
217- 5(281-31- 2), 217- 7(281-34- 9), 221- 7(285-20- 6),
228- 3(291- 6-10), 239- 3(301-21- 5), 277- 6(329-16- 5),
280- 7(331-34- 1), 284-22(337-23- 7)*, 286-11-2(339-12- 4),
286-11-2(339-12- 4), 290- 4(343-16-12)*, 292- 5(345-11- 2),
297- 3(351- 2- 9), 304- 7(355-29- 4), 306- 3-2(357-21-13),
306- 4-1(357-23- 2)*, 319- 4(373- 7- 1), 320- 3(375- 4- 8).
5-18-ineq
309- 5-1(361-10- 3), 309- 5-2(361-11-11).
5-19
51- 4(131-25- 3), 78- 2-2(151-18- 8), 83- 4-2(155-22-10),
84- 3(157- 3- 1), 87- 5-1(159- 6-12), 93- 8(163-26- 1),
96- 4(167-21- 1), 191- 4(257- 7- 8), 199- 6(267- 4- 4),
203- 4(269-10- 7), 219- 3(283-19-11), 219- 5(283-23-13),
220- 8(285-10- 4), 282- 4(333-26- 1), 316- 6(365-21-14),
317- 9(367-23-15).
5-19-Cor
48- 6(129-21- 7), 83- 4-2(155-22-10), 87- 3(159- 4- 1),
194- 3(261-18-10), 228- 3(291- 6-10), 228-14(291-20- 2),
239- 3(301-21- 5), 270- 3(321-24-13), 271- 4(321-32- 3),
280- 6(331-31- 2)*, 284-22(337-23- 7)*, 292- 5(345-11- 2),
297- 3(351- 2- 9), 304- 3(355-23- 8), 306- 4-2(357-24- 6)*.
5-19-Cor-ineq
309- 3-1(361- 5- 2), 309- 3-2(361- 7- 9),
309- 5-1(361-10- 3), 309- 5-2(361-11-11), 310- 3-1(361-19- 5),
310- 4(361-21- 9), 311- 3-2(361-29- 2).
5-19-Data
316- 8(365-26- 9), 316-13(365-30-10).
5-19-x
77- 4-2(151- 8- 5), 78- 5-2(151-23- 7), 83- 6-2(155-27- 4),
84- 4-2(157- 5- 2), 86- 3-2(157-28- 4), 86- 4(157-29- 9),
87- 2-2(159- 3- 1), 90- 7(161-12-10), 96- 8(167-26-10),
97- 6(169-10- 1), 142-10-1(215- 8-13), 189- 6(253-34- 9),
190- 4(255-17- 8).
5-22
195- 7(263- 2-14), 196- 5-2(263-15- 2), 204- 7(269-27-11),
238- 5(301-16- 2), 254- 9(313-10- 3), 256- 7-1(313-32-11),
272- 9(323-15- 7), 272-11(323-18- 1), 284-24(337-25- 8),
290- 7(343-19- 7), 292-16(345-24-10), 293- 9(347- 9-10),
304- 6(355-28- 1), 304- 9(357- 2- 5), 304-13(357- 5-15),
306- 5(357-25- 7).
5-22-ineq
309- 7-1(361-13- 6), 309- 7-2(361-15- 3).
5-23
245- 8(307- 2-10), 296- 6-2(349-19- 2).
5-24
226- 4(289-12-13).
5-25
130-11(207-13- 9), 130-20(207-23- 8).
5-B
319-27(373-31- 2), 319-33(375- 2- 1).
5-X
50- 9(131-18- 7).
5-x
308- 5-1(359-13- 9), 308- 5-2(359-14- 9), 308-10(359-21- 9),
308-13(359-25-10), 308-14(359-26- 8).
6-def-1
253- 3-2(311-30- 5), 253- 4(311-32-14), 254- 8(313- 9- 3),
254-12(313-13- 6), 255- 3(313-18- 9), 255- 4(313-21- 1),
255- 6(313-22- 4), 256- 6(313-31-12), 284-20(337-19- 4),
284-23(337-24- 5), 285- 2(337-34- 4), 291- 1(343-27- 1),
321- 6(375-11- 2).
6-1
69- 8-2(143-34- 8), 72- 8(145-30- 4), 73- 3(147- 9- 1),
76-10-1(149-28- 7)*, 78- 8-3(151-30- 8), 80-11-2(153-24-13),
81- 9(155- 2- 2), 81-10(155- 4- 3), 82- 5(155-15-12),
83-10-2(155-34- 3), 85-10(157-20- 9)*, 87- 7-2(159-12- 3),
88- 8(159-23- 3)*, 89- 5(159-30-13), 90- 4(161- 7- 9),
91- 8(161-24-11), 93- 8(163-26- 1), 98- 2-3(169-20-11),
115-12(187-23- 8)*, 118-10(193-33- 8), 142-10-2(215-11- 7),
142-17(215-16-10), 143-11(217- 3- 6), 143-12(217- 5- 6),
144- 5(219- 2- 7)*, 185- 5(251- 6- 4), 187- 7(253- 7-13),
189-14(255-10- 1), 190-12(255-26- 4), 191- 4(257- 7- 8),
191- 5-1(257- 9- 9)*, 191- 5-2(257-11- 1)*, 192- 7(257-32- 7),
196- 8(263-17-12), 198- 4(265- 9-11), 204- 9(269-30- 9),
205- 7(271-20-13), 208- 4(273-31-13), 212- 4(277-28- 9),
212- 5(277-31- 6), 214- 5(279-26-15), 220- 5(285- 4-12),
221- 5(285-17- 6), 223- 3(287- 3- 5)*, 226- 4(289-12-13),
238- 3-1(301-11- 2), 241- 7(303-20-10), 243- 5-1(305- 7- 8),
243- 5-2(305- 8-10), 245- 9(307- 6- 3), 245-10(307- 7- 9),
254- 7(313- 6- 4), 256- 7-1(313-32-11), 261- 6(317-13- 1),
272- 7-2(323-13- 1), 272-10(323-16-13), 284-21(337-20- 3),
287-19(341- 5- 5), 288- 7(341-16-14), 290- 2(343-13- 2),
292- 4(345- 9-11), 293- 6(347- 4- 2), 303- 3(355-14-12),
303- 4(355-15- 8), 304- 5(355-26-13), 304-11(357- 3-16),
306- 3-2(357-21-13), 306- 4-2(357-24- 6)*, 308- 3(359-10- 8).
6-2-Dir
43- 5(127- 7- 2), 44- 4(127-15- 5), 118-12(195- 4- 2),
142- 6(215- 2-14), 143-16(217-13- 9), 144- 7-3(219- 9- 1)*,
193- 5-2(261-10- 2), 193- 7(261-11-11), 193- 8(261-12-13),
196- 8(263-17-12), 200- 5-2(267-13- 1), 201- 4(267-19- 4),
201- 6(267-22- 8), 204-11(269-33-14), 204-16(271- 6-10),
205- 4(271-16- 7), 208- 7(275- 4- 7), 226- 4(289-12-13),
226- 9(289-20- 1), 226-11(289-22- 3), 242- 4-2(303-30- 9),
288- 9(341-19- 9), 292- 7(345-12- 5), 292- 8(345-13- 3).
6-2-Dir-eq
134- 8(209-23-12), 135- 9(211- 3- 8),
136- 7(211-10-10), 176- 4(243-30-12)*, 274-19(325-24- 8),
275- 4(327-12- 8).
6-2-Conv
73- 4(147-10- 8), 181- 4(247-15-12), 187- 8(253- 9-10),
193- 6(261-11- 4), 193-10(261-15- 1), 194- 9(261-28- 5),
200- 7(267-15- 5), 201- 5(267-22- 1), 201- 8(267-24-12),
203-11(269-18-10), 204-18(271- 8- 8), 242- 5(303-32- 8),
260- 7(317- 8- 1).
6-2-x
198- 7(265-17-12), 199- 5(265-34-10), 199- 6(267- 4- 4),
203- 5(269-12-10), 213- 7(279-17-14), 272-10(323-16-13),
276-15(327-26- 1).
6-2-x-eq
260- 5(317- 5- 2).
6-2-x-conv
210-14(277-13- 1).
6-2-x2
286-11-3(339-13- 2).
6-2-x2-eq
132- 5(209- 6- 7), 133- 6(209-14- 9),
137- 8(211-24- 8), 138- 7(211-31-13), 139- 8(213-10- 1),
140- 8(213-21- 1), 141- 7(213-28-12), 145- 8(221-10- 6),
147- 8(223-17- 1), 148- 5(223-23-10), 149- 8(223-33- 3),
149-12(225- 2- 2)*, 151-10(225-18-10), 152- 8(225-28- 7),
153- 7(227- 9- 6), 154- 5(227-18- 5), 154-14(227-24- 8),
155-13(229- 3- 9), 156- 6-2(229-14- 7), 276-23(329- 8-11).
6-3-Dir
94-11(165-11- 8), 319-21(373-23- 7), 319-22(373-26-12).
6-3-Conv
92- 7(163- 9- 1), 94- 8(165- 8-15), 321- 7(375-12- 5),
321- 9(375-13- 8).
6-3-x-conv
92-10(163-12- 4).
6-4
74- 7-1(147-23-13), 74- 7-2(147-24-15), 75- 8(149- 8- 2),
76-10-1(149-28- 7)*, 81- 7(153-34- 6)*, 85-10(157-20- 9)*,
88- 8(159-23- 3)*, 115-11(187-22- 1), 116- 4-1(189- 9-12),
116-32(191- 6- 8), 130- 8(207- 9- 7), 130-19(207-22- 7)*,
185- 5(251- 6- 4), 195- 7(263- 2-14), 196- 5-1(263-12- 9),
197- 2-2(263-28-13), 198- 8(265-19- 1), 198-10-2(265-23-12),
199- 7(267- 5-12), 203- 8(269-15- 9), 203- 9(269-16-10),
204- 7(269-27-11), 205- 4(271-16- 7), 205- 7(271-20-13),
208- 4(273-31-13), 210- 5-1(275-25-12), 213- 5(279-13- 2),
214- 4(279-25- 2), 223- 3(287- 3- 5)*, 224-10(287-25-13)*,
238- 3-1(301-11- 2), 238- 4(301-14-13), 241- 6(303-19- 8),
243- 4(305- 5- 3), 245- 6(305-32-13), 245- 7(305-33-13),
246- 2-1(307-11- 5), 246- 2-2(307-12-14), 251- 5(311-10-10),
255- 5(313-21- 7), 258- 4(315-12- 2), 260- 6(317- 6- 4),
261- 5(317-12- 2), 262- 3(317-23- 5), 272- 4-1(323- 7- 6),
272- 7-1(323-12- 1), 272- 8(323-14- 4), 284-16(337-15- 2),
284-19(337-18-13), 284-30(337-29-12), 287-16(341- 2- 4),
287-23(341- 9-10), 290- 6(343-18- 8), 290-15(343-25- 2),
292-14(345-22- 1), 292-22(345-29-13), 293-13(347-14- 1),
293-14(347-15- 7), 294-26(347-35- 4)*, 296-16(349-27- 3),
297- 9(351- 9-13).
6-4-x
74- 6(147-23- 3), 113- 7(185-12-11), 116-21(189-28-11),
185-10(251-10-12), 223- 3(287- 3- 5)*.
6-4-x-conv
76- 3(149-19- 7), 76- 4(149-21- 3),
85- 6(157-16- 2), 88- 4(159-19- 6), 116- 6(189-13-12),
116- 7(189-15- 5), 116-17(189-24-11), 159- 5(231-19- 9),
159- 6(231-20- 7).
6-6
115- 6(187-12-10), 118-10(193-33- 8), 126- 9(203-11- 5),
175-10(243-22- 5), 185- 8(251- 9- 9), 185- 9(251-10- 4),
225- 4(287-33-13), 225- 5(289-34- 6), 248- 4-1(309-13- 1),
252- 5(311-19-11), 252- 6(311-20- 6), 253- 5(311-33- 4),
254-13(313-13-10), 273- 5(325- 5- 9), 284-25(337-26-11),
284-26(337-27- 6), 290- 8(343-20- 8), 290- 9(343-20-12),
296- 5(349-16- 8), 296- 8(349-20-12).
6-7
178- 5(245-13- 8), 178- 6(245-16- 7), 286-11-4(339-15- 9),
292-18(345-26- 8), 297- 5(351- 7- 5).
6-8
82- 5(155-15-12), 113- 4(185- 8-10), 319-22(373-26-12),
321- 5(375-10- 2).
6-8-Cor
75- 6(149- 6- 1).
6-8-Cor-conv
82- 3(155-12- 7).
6-8-conv
273- 5(325- 5- 9)*.
6-8-x
113- 8(185-13- 6), 113-10(185-15- 1), 115- 5(187- 9- 7),
129- 5(205-17- 1), 146- 4(221-16- 7), 146-12(221-31- 9),
146-15(223- 1- 6), 163- 7(233-26- 5), 237- 7-2(301- 2- 7),
287- 8(339-26- 3), 288- 6(341-15-10).
6-10
192- 3(257-25- 1).
6-12
184- 1(249-16- 1), 229- 2(291-24- 5)*, 240- 3(301-33-13),
252- 4(311-19- 3), 296- 4(349-15- 1), 316- 7(365-24- 9),
316-10(365-29- 1), 317- 2(367- 8- 6).
6-12-x
189- 2(253-29-14), 190- 3(255-16- 5), 191- 3(257- 6- 5),
223- 8(287- 7- 6), 282- 3(333-24- 6), 316- 3(365-17- 7),
317- 3(367-12- 1), 317- 4(367-13- 8), 317- 8(367-21- 9).
6-13
126- 2-1(203- 2- 1), 189- 1-1(253-26- 1), 190- 2-1(255-14- 1).
6-16-Dir
53-13(133-17-13), 58- 8(135-27-13), 64- 6(139-23-15),
69- 4(143-26- 5), 69- 6-3(143-29-12), 78- 4(151-21- 1),
78- 7(151-26- 3), 80- 9(153-22- 1), 83- 5(155-24-11),
83- 8(155-29- 9), 87- 4(159- 5- 8), 87- 6(159- 9- 4),
90- 6(161-11- 1), 95- 4(167-10- 4), 95- 6(167-14- 1),
96- 7(167-25-15), 96-10(167-30- 5), 97- 5(169- 9- 6),
97- 7(169-12- 7), 116-32(191- 6- 8), 142-17(215-16-10),
189- 8(255- 2-13), 190- 8(255-21-11), 196- 6(263-16- 4),
204- 7(269-27-11), 205- 5(271-19- 7), 217- 4(281-29-10),
217- 8(283- 3- 6), 219- 4(283-22-10), 271- 4(321-32- 3).
6-16-Conv
59- 6(137- 5- 8)#, 64-14(139-31- 1), 68- 4(143- 6-14),
68- 7(143-10- 1), 69- 2-2(143-23-12), 77- 3-1(151- 5- 5),
77- 4-1(151- 7- 4), 78- 2-1(151-17- 4), 78- 5-1(151-22- 5),
80- 7(153-18- 7), 82- 3(155-12- 7), 83- 4-2(155-22-10),
83- 6-1(155-26- 3), 84- 2(157- 2- 1), 84- 4-1(157- 4- 1),
86- 3-1(157-27- 4), 86- 4(157-29- 9), 87- 2-1(159- 2- 1),
89- 8(161- 1- 4), 91- 8(161-24-11), 93- 8(163-26- 1),
95- 3(167- 7- 4), 96- 4(167-21- 1), 97- 3(169- 6- 1),
121- 7(197-24- 4), 122-12-2(199- 7-13), 123-13(199-25- 6),
124-11(201-12- 3), 143-10(217- 1- 7), 185- 8(251- 9- 9),
191-12(257-19-12), 204-14(271- 4- 5), 208- 5(275- 1-11),
217- 3(281-26-10), 219- 3(283-19-11), 220- 7(285- 8-10),
221- 7(285-20- 6), 222- 6(285-30- 7)*, 225- 3(287-32-12),
226- 9(289-20- 1), 254- 4(313- 3-11), 254- 6(313- 5- 6),
256- 3(313-27-14), 270- 3(321-24-13), 271- 3(321-29-12),
277- 6(329-16- 5), 279-15(331-11- 7).
6-16-ineq-conv
144- 2(217-33- 4).
6-17-Dir
60- 5(137-14-10), 61- 4(137-24- 1), 62- 3-1(137-30- 1),
63- 4(139- 6- 8), 75- 6(149- 6- 1), 89-10(161- 3-15),
90- 8(161-13-11), 217- 6(281-33- 8), 219- 6(283-26- 7),
219- 8(283-30- 9), 220- 9(285-11- 7), 221- 9(285-23- 1),
228- 4(291- 9- 6), 239- 4(301-24- 2).
6-17-Conv
228-14(291-20- 2), 242- 4-1(303-29- 6), 273- 4(325- 5- 3).
6-19
262- 3(317-23- 5).
6-20
262- 4(317-25-10).
6-22-Dir
76-10-1(149-28- 7)*, 85-10(157-20- 9)*, 88- 8(159-23- 3)*,
91- 8(161-24-11), 92-11(163-13- 5), 93- 8(163-26- 1),
94-11(165-11- 8), 115-12(187-23- 8), 116- 4-1(189- 9-12),
118-10(193-33- 8), 118-12(195- 4- 2), 142- 5(215- 1-12),
142- 6(215- 2-14), 143-16(217-13- 9), 144- 7-3(219- 9- 1),
223- 3(287- 3- 5)*, 238- 4(301-14-13), 272- 8(323-14- 4),
280- 3(331-23- 2), 280- 7(331-34- 1), 293- 7(347- 7- 3),
304- 4(355-25-10), 306- 4-1(357-23- 2)*, 317-13-4(369- 6- 1).
6-22-Conv
92- 6(163- 8- 2), 94- 7(165- 8- 1), 115- 5(187- 9- 7),
118- 6(193-27- 9), 223-11(287-15- 1).
6-22-ineq
259- 3(315-19- 4).
6-23
68-11-1(143-16-10), 74- 8-1(147-28-11), 74- 8-2(147-30- 5),
75- 8(149- 8- 2), 75- 9(149-10-11), 77- 6(151-10- 4),
84- 5(157- 6- 2), 86- 6(157-31- 1), 116-34(191- 9- 6)*,
197- 2-1(263-26- 6), 198- 6(265-15- 2), 210- 5-1(275-25-12),
210- 5-2(275-30- 4), 212- 6(277-34-14), 246- 2-3(307-14- 8),
253- 3-1(311-25- 5), 255- 8(313-24- 1), 272- 4-2(323-10- 4),
285- 3(337-36- 4), 291- 1(343-27- 1), 317-12(367-27- 3).
6-23-def
68-11-2(143-18-11), 77- 6(151-10- 4), 84- 5(157- 6- 2),
86- 6(157-31- 1), 197- 3(263-32- 8), 198- 5(265-13- 4),
198-10-3(265-25- 2), 210- 6(275-34- 9), 210- 9(277- 5- 8),
240- 4-2(303- 3-11), 240- 5-1(303- 6- 6), 317-13-2(369- 2- 1).
6-23-lem
68-10(143-13-15), 74- 7-3(147-25-10), 75- 8(149- 8- 2),
77- 6(151-10- 4), 84- 5(157- 6- 2), 86- 6(157-31- 1),
116-34(191- 9- 6)*, 197- 2-3(263-30- 9), 198- 8(265-19- 1),
198-10-4(265-27- 1), 210- 5-1(275-25-12), 210- 7(277- 1-15),
212- 4(277-28- 9), 212- 5(277-31- 6), 240- 4-1(303- 1-13),
240- 5-4(303-10- 8), 246- 2-3(307-14- 8), 255- 7(313-23- 2),
272- 4-2(323-10- 4), 285- 3(337-36- 4), 291- 1(343-27- 1).
6-23-lem-2
194- 7(261-25-16), 194- 8(261-26-10),
198- 7(265-17-12), 198- 8(265-19- 1), 210- 8(277- 4-14),
210- 9(277- 5- 8), 210-10(277- 9- 3), 210-11(277-10- 2),
253- 3-3(311-31-10), 317-13-4(369- 6- 1).
6-27
121- 3(197-18- 9), 123- 7(199-18- 1), 146- 6(221-21- 7).
6-28
121- 4(197-20- 4), 123- 8(199-19- 4), 146- 5(221-17-14).
6-29
64-12(139-28- 4).
6-29-cor
269- 6(321-21- 1), 278- 5(329-22-10).
6-32
118- 8(193-28- 5), 184- 5(249-23- 5), 195-10(263- 5-11),
198-11(265-28- 1), 199- 9(267- 7-12), 208- 9(275- 6- 6).
11-def-3
233- 9(297-13-12), 234- 6(297-23-12), 234- 9(297-25- 4),
235- 3(297-33- 1)*, 235- 7(299- 3- 7), 235-12(299- 6- 2),
295- 5(349- 5-10).
11-def-4
295- 4(349- 5- 1).
11-5
295- 8(349- 7- 1), 295- 9(349- 8- 5).
11-11
233- 4-1(297- 5- 6), 234- 1-1(297-17- 1), 235- 1-1(297-28- 1).
11-32
280- 4(331-25- 4).
11-37
280- 6(331-31- 2).
44
45- 3(127-21-10), 46- 3(127-31-10), 47- 3(129- 7-10),
47-10(129-14- 4), 53- 6(133-10- 6).
44-6
48- 3(129-19- 9), 48-10(129-26- 6), 49- 3(129-30- 9),
49- 9(131- 4- 3), 50- 3(131-13- 7), 51- 3(131-24- 3),
58- 3(135-24- 2).
47
54- 4(133-24- 4), 54- 7(133-30- 9).
52
53- 4(133- 7-11).
53
54- 4(133-24- 4), 54- 6(133-28- 6).
62
64- 4(139-21- 9), 64-12(139-28- 4).
68
91- 4(161-20- 1), 91- 9(161-25-15).
70
72- 5-1(145-27- 6).
71
72-10(145-33-12).
73
92- 3-2(163- 4- 7), 92-12(163-13-12).
74
76- 9(149-26- 6).
79
80- 4(153-14- 2).
81
82- 4(155-13- 6).
83
93- 9(163-27- 2).
86
93- 4(163-21- 6).
89
91- 7(161-23-13), 93- 7(163-24-14).
95
98- 2-1(169-18- 4), 99- 4(171- 6- 5), 100- 4(171-18-12),
101- 4(173- 4-11).
96
98- 2-1(169-18- 4), 102- 4(173-19- 2), 103- 4(175- 4-14),
104- 4(175-17-11).
97
98- 2-1(169-18- 4), 105- 4(177- 6- 8), 106- 4(177-22- 3),
107- 4(179- 4- 9), 108- 4(179-17- 8), 109- 4(181- 4-11),
110- 4(181-16- 8).
113
118-14(195- 6-12).
114
115- 7-2(187-15- 5), 116-11(189-19- 4).
114-conv
116-13(189-21-12), 116-18(189-26- 4).
127
128- 4(205- 4- 7), 129- 7(205-19- 9).
130
131- 4(207-34-10).
142
143- 5(217-26- 9).
165
166- 6(235-32- 3), 169-14(239-13- 7).
167
182-15(247-30- 9), 183- 3(249- 4- 2).
191
192- 6(257-27- 4).
196
207- 3(273-15- 4), 207- 4(273-18- 5), 209- 5(275-14-13),
211- 2(277-15- 5), 211- 3(277-18-11), 211- 4(277-20- 2).
204
206- 7(273- 8- 2), 206- 8(273- 8- 6), 206- 9(273-11-14),
207- 7(273-24- 6), 207- 8(273-25- 1), 212- 9(279- 6-12).
205
209- 4(275-11- 8).
208
209- 8(275-19-12).
210
211- 6(277-23- 1).
214
215- 5(281- 6-12).
241
232- 4(295- 2- 9).
275
276-14(327-23- 8), 276-16(327-27- 6), 276-19(329- 4- 7),
279- 7(331- 3- 2).
286
287-21(341- 8- 5).
296
288-11(341-22- 3)*.
297
288-11(341-22- 3)*.
315
318-11(369-24- 8), 318-13(369-26- 4).
320
321-16(375-17- 9).
Con-1-def-2
274- 8(325-18-11).
Con-1-11-Data
315-10(363-23- 3).
Con-1-12
279- 8(331- 4- 6), 279- 9(331- 5- 8).
Con-1-21
312- 1(363- 2- 1), 316-18(367- 4-11).
Con-1-50
274- 5(325-17- 9).
Con-1-52
315-13(363-27- 1).
Con-1-53
275- 2-7(327-10-13).
Con-1-53-Data
274-29(325-30-11).
Con-1-54
317- 5(367-14- 9).
Con-1-56
317- 5(367-14- 9).
Con-2-1
274- 3(325-15- 5), 275- 6(327-16- 4).
Con-2-3
274-21(325-26- 8).
Con-2-8
276-15(327-26- 1), 276-22(329- 8- 5), 279- 4(329-27- 7).
Con-2-10
279-14(331-10- 8)#.
Con-2-14
279-18(331-13- 4).
Data-def-1
64- 8(139-25-13), 129-12(205-23-14),
142-13(215-14-13), 167-10(237-10- 8), 170- 8(239-22-12),
172- 8(241-16- 5), 174- 6(243- 6- 6), 182- 7(247-26- 6),
274- 7(325-18- 8), 274-25(325-29- 2), 294- 9(347-22- 5).
Data-def-2
192- 4(257-26- 1), 223- 4(287- 4- 4),
316- 7(365-24- 9), 316-11(365-29-10), 318- 3(369-14- 2).
Data-def-4
318-13(369-26- 4).
Data-def-6
128- 8(205- 8-11), 142-22(215-24- 2),
143-22(217-18-13).
Data-2
232- 6(295- 5- 6), 316-12(365-30- 6), 316-17(367- 4- 4).
Data-3
64- 7(139-25- 6)*, 128- 4(205- 4- 7), 128- 6(205- 7-12),
142-18(215-19- 6)*, 305- 6(357-13- 7).
Data-3-x
305- 5-1(357-11- 8), 305- 9(357-16- 1), 315- 8(363-21- 9).
Data-4
64- 7(139-25- 6)*, 305-10(357-16- 6)*.
Data-5
316- 7(365-24- 9).
Data-6
316- 9(365-27- 6).
Data-6-x
316- 7(365-24- 9).
Data-7
192- 5(257-26-10).
Data-8
316-16(367- 3- 4).
Data-25
128-12(205-11- 4), 167-23(237-17- 4), 170-17(239-27- 9),
170-21(239-29- 6), 172-16(241-20- 8), 172-20(241-22- 2),
174-14(243- 9- 5), 174-16(243-10- 1), 182-20(247-32- 9),
274- 7(325-18- 8)*, 274-10(325-20- 7), 274-16(325-23- 6),
276- 8(327-21- 2), 294-16(347-25- 9), 318-10(369-24- 2),
318-13(369-26- 4)*.
Data-26
128-14(205-12- 2), 142-15(215-15-12), 142-18(215-19- 6)*,
142-22(215-24- 2), 167-11(237-11- 4), 167-21(237-16- 8),
167-25(237-18- 6), 170- 9(239-23- 5), 170-19(239-28- 9),
170-23(239-30- 3), 172- 9(241-16-11), 172-18(241-21- 6),
172-22(241-23- 6), 174- 7(243- 6-12), 174-16(243-10- 1),
182- 8(247-27- 1), 182-18(247-31-11), 182-22(247-33- 6),
274- 7(325-18- 8)*, 274-14(325-22- 8), 274-18(325-24- 2),
274-26(325-29- 8).
Data-27
64- 9(139-26- 6)*, 142-18(215-19- 6)*, 167-15(237-12- 9),
167-19(237-15-10), 170-13(239-24-11), 172-12(241-18- 1),
174-11(243- 8- 6), 182-12(247-28- 7), 192- 5(257-26-10),
274- 8(325-18-11), 274-12(325-21- 6), 274-28(325-30- 7),
276-10(327-21-12), 294-12(347-23- 6), 316-12(365-30- 6),
316-17(367- 4- 4).
Data-28
294- 5(347-20- 4), 294-14(347-24-11), 294-18(347-26- 8).
Data-29
276-12(327-22- 8).
Data-30
274-10(325-20- 7), 276- 8(327-21- 2), 318- 7(369-20- 3),
318-13(369-26- 4).
Data-50
223- 4(287- 4- 4).
Data-52
64- 7(139-25- 6)*, 128- 4(205- 4- 7), 142-12(215-14- 8),
232- 5(295- 5- 1), 274-24(325-28- 9), 305-10(357-16- 6)*.
Data-54
316- 7(365-24- 9).
Data-55
128- 5(205- 7- 5), 305- 7(357-14- 6), 305-10(357-16- 6)*.
Data-57
142-16(215-16- 4), 167-12(237-11- 8), 170-10(239-23-10),
172-10(241-17- 4), 174- 8(243- 7- 4), 182- 9(247-27- 6),
274-27(325-30- 2).
Data-59
64- 9(139-26- 6), 64-10(139-27- 3).
Data-70
316-14(367- 1- 6).
Data-91
142-24(215-25- 6), 167- 9(237- 9-10), 167-17(237-14- 8),
170- 7(239-21-14), 170-15(239-26- 7), 172-14(241-19- 7),
174-12(243- 8-11), 182- 6(247-25- 5), 223- 6(287- 6- 9).
Data-93
172- 7(241-14-14), 174- 5(243- 6- 1).
DetSection
143- 7(217-28- 3), 144- 2(217-33- 4), 144-11(219-16-10).
DetSection-1-3-2
142-19(215-20- 1), 143- 5(215-31- 6).
Menelaus
194- 4(261-20- 3), 194- 5(261-21-12).
Pappus-6-12
85- 9(157-19- 2), 94-12(165-12-11).
Pappus-6-12-x
88- 7(159-21-13), 94- 4(165- 4- 6).
Sect.Spatii
232- 7(295- 5-12), 232-11(295-10- 9).