Proof of Theorem uniioombllem4
Step | Hyp | Ref
| Expression |
1 | | inss1 3833 |
. . . 4
|
2 | 1 | a1i 11 |
. . 3
|
3 | | uniioombl.k |
. . . . . 6
|
4 | | imassrn 5477 |
. . . . . . 7
|
5 | 4 | unissi 4461 |
. . . . . 6
|
6 | 3, 5 | eqsstri 3635 |
. . . . 5
|
7 | 6 | a1i 11 |
. . . 4
|
8 | | uniioombl.g |
. . . . . . 7
|
9 | 8 | uniiccdif 23346 |
. . . . . 6
|
10 | 9 | simpld 475 |
. . . . 5
|
11 | | ovolficcss 23238 |
. . . . . 6
|
12 | 8, 11 | syl 17 |
. . . . 5
|
13 | 10, 12 | sstrd 3613 |
. . . 4
|
14 | 7, 13 | sstrd 3613 |
. . 3
|
15 | | uniioombl.1 |
. . . . . 6
|
16 | | uniioombl.2 |
. . . . . 6
Disj
|
17 | | uniioombl.3 |
. . . . . 6
|
18 | | uniioombl.a |
. . . . . 6
|
19 | | uniioombl.e |
. . . . . 6
|
20 | | uniioombl.c |
. . . . . 6
|
21 | | uniioombl.s |
. . . . . 6
|
22 | | uniioombl.t |
. . . . . 6
|
23 | | uniioombl.v |
. . . . . 6
|
24 | 15, 16, 17, 18, 19, 20, 8, 21, 22, 23 | uniioombllem1 23349 |
. . . . 5
|
25 | | ssid 3624 |
. . . . . 6
|
26 | 22 | ovollb 23247 |
. . . . . 6
|
27 | 8, 25, 26 | sylancl 694 |
. . . . 5
|
28 | | ovollecl 23251 |
. . . . 5
|
29 | 13, 24, 27, 28 | syl3anc 1326 |
. . . 4
|
30 | | ovolsscl 23254 |
. . . 4
|
31 | 7, 13, 29, 30 | syl3anc 1326 |
. . 3
|
32 | | ovolsscl 23254 |
. . 3
|
33 | 2, 14, 31, 32 | syl3anc 1326 |
. 2
|
34 | | inss1 3833 |
. . . . 5
|
35 | 34 | a1i 11 |
. . . 4
|
36 | | ovolsscl 23254 |
. . . 4
|
37 | 35, 14, 31, 36 | syl3anc 1326 |
. . 3
|
38 | | ssun2 3777 |
. . . . . 6
|
39 | | nnuz 11723 |
. . . . . . . . . . . . . 14
|
40 | | uniioombl.n |
. . . . . . . . . . . . . . . . 17
|
41 | 40 | peano2nnd 11037 |
. . . . . . . . . . . . . . . 16
|
42 | 41, 39 | syl6eleq 2711 |
. . . . . . . . . . . . . . 15
|
43 | | uzsplit 12412 |
. . . . . . . . . . . . . . 15
|
44 | 42, 43 | syl 17 |
. . . . . . . . . . . . . 14
|
45 | 39, 44 | syl5eq 2668 |
. . . . . . . . . . . . 13
|
46 | 40 | nncnd 11036 |
. . . . . . . . . . . . . . . 16
|
47 | | ax-1cn 9994 |
. . . . . . . . . . . . . . . 16
|
48 | | pncan 10287 |
. . . . . . . . . . . . . . . 16
|
49 | 46, 47, 48 | sylancl 694 |
. . . . . . . . . . . . . . 15
|
50 | 49 | oveq2d 6666 |
. . . . . . . . . . . . . 14
|
51 | 50 | uneq1d 3766 |
. . . . . . . . . . . . 13
|
52 | 45, 51 | eqtrd 2656 |
. . . . . . . . . . . 12
|
53 | 52 | iuneq1d 4545 |
. . . . . . . . . . 11
|
54 | | iunxun 4605 |
. . . . . . . . . . 11
|
55 | 53, 54 | syl6eq 2672 |
. . . . . . . . . 10
|
56 | | ioof 12271 |
. . . . . . . . . . . . . 14
|
57 | | inss2 3834 |
. . . . . . . . . . . . . . . 16
|
58 | | rexpssxrxp 10084 |
. . . . . . . . . . . . . . . 16
|
59 | 57, 58 | sstri 3612 |
. . . . . . . . . . . . . . 15
|
60 | | fss 6056 |
. . . . . . . . . . . . . . 15
|
61 | 15, 59, 60 | sylancl 694 |
. . . . . . . . . . . . . 14
|
62 | | fco 6058 |
. . . . . . . . . . . . . 14
|
63 | 56, 61, 62 | sylancr 695 |
. . . . . . . . . . . . 13
|
64 | | ffn 6045 |
. . . . . . . . . . . . 13
|
65 | | fniunfv 6505 |
. . . . . . . . . . . . 13
|
66 | 63, 64, 65 | 3syl 18 |
. . . . . . . . . . . 12
|
67 | | fvco3 6275 |
. . . . . . . . . . . . . 14
|
68 | 15, 67 | sylan 488 |
. . . . . . . . . . . . 13
|
69 | 68 | iuneq2dv 4542 |
. . . . . . . . . . . 12
|
70 | 66, 69 | eqtr3d 2658 |
. . . . . . . . . . 11
|
71 | 18, 70 | syl5eq 2668 |
. . . . . . . . . 10
|
72 | | uniioombl.l |
. . . . . . . . . . . 12
|
73 | | ffun 6048 |
. . . . . . . . . . . . . 14
|
74 | | funiunfv 6506 |
. . . . . . . . . . . . . 14
|
75 | 63, 73, 74 | 3syl 18 |
. . . . . . . . . . . . 13
|
76 | | elfznn 12370 |
. . . . . . . . . . . . . . 15
|
77 | 15, 76, 67 | syl2an 494 |
. . . . . . . . . . . . . 14
|
78 | 77 | iuneq2dv 4542 |
. . . . . . . . . . . . 13
|
79 | 75, 78 | eqtr3d 2658 |
. . . . . . . . . . . 12
|
80 | 72, 79 | syl5eq 2668 |
. . . . . . . . . . 11
|
81 | 80 | uneq1d 3766 |
. . . . . . . . . 10
|
82 | 55, 71, 81 | 3eqtr4d 2666 |
. . . . . . . . 9
|
83 | 82 | ineq2d 3814 |
. . . . . . . 8
|
84 | | indi 3873 |
. . . . . . . 8
|
85 | 83, 84 | syl6eq 2672 |
. . . . . . 7
|
86 | | fss 6056 |
. . . . . . . . . . . . . . 15
|
87 | 8, 59, 86 | sylancl 694 |
. . . . . . . . . . . . . 14
|
88 | | fco 6058 |
. . . . . . . . . . . . . 14
|
89 | 56, 87, 88 | sylancr 695 |
. . . . . . . . . . . . 13
|
90 | | ffun 6048 |
. . . . . . . . . . . . 13
|
91 | | funiunfv 6506 |
. . . . . . . . . . . . 13
|
92 | 89, 90, 91 | 3syl 18 |
. . . . . . . . . . . 12
|
93 | | elfznn 12370 |
. . . . . . . . . . . . . 14
|
94 | | fvco3 6275 |
. . . . . . . . . . . . . 14
|
95 | 8, 93, 94 | syl2an 494 |
. . . . . . . . . . . . 13
|
96 | 95 | iuneq2dv 4542 |
. . . . . . . . . . . 12
|
97 | 92, 96 | eqtr3d 2658 |
. . . . . . . . . . 11
|
98 | 3, 97 | syl5eq 2668 |
. . . . . . . . . 10
|
99 | 98 | ineq2d 3814 |
. . . . . . . . 9
|
100 | | incom 3805 |
. . . . . . . . 9
|
101 | | iunin2 4584 |
. . . . . . . . . . . . 13
|
102 | | incom 3805 |
. . . . . . . . . . . . . . 15
|
103 | 102 | a1i 11 |
. . . . . . . . . . . . . 14
|
104 | 103 | iuneq2i 4539 |
. . . . . . . . . . . . 13
|
105 | | incom 3805 |
. . . . . . . . . . . . 13
|
106 | 101, 104,
105 | 3eqtr4ri 2655 |
. . . . . . . . . . . 12
|
107 | 106 | a1i 11 |
. . . . . . . . . . 11
|
108 | 107 | iuneq2i 4539 |
. . . . . . . . . 10
|
109 | | iunin2 4584 |
. . . . . . . . . 10
|
110 | 108, 109 | eqtr3i 2646 |
. . . . . . . . 9
|
111 | 99, 100, 110 | 3eqtr4g 2681 |
. . . . . . . 8
|
112 | 111 | uneq2d 3767 |
. . . . . . 7
|
113 | 85, 112 | eqtrd 2656 |
. . . . . 6
|
114 | 38, 113 | syl5sseqr 3654 |
. . . . 5
|
115 | 114, 1 | syl6ss 3615 |
. . . 4
|
116 | | ovolsscl 23254 |
. . . 4
|
117 | 115, 14, 31, 116 | syl3anc 1326 |
. . 3
|
118 | 37, 117 | readdcld 10069 |
. 2
|
119 | 20 | rpred 11872 |
. . 3
|
120 | 37, 119 | readdcld 10069 |
. 2
|
121 | 113 | fveq2d 6195 |
. . 3
|
122 | 35, 14 | sstrd 3613 |
. . . 4
|
123 | 115, 14 | sstrd 3613 |
. . . 4
|
124 | | ovolun 23267 |
. . . 4
|
125 | 122, 37, 123, 117, 124 | syl22anc 1327 |
. . 3
|
126 | 121, 125 | eqbrtrd 4675 |
. 2
|
127 | | fzfid 12772 |
. . . . 5
|
128 | | iunss 4561 |
. . . . . . . 8
|
129 | 115, 128 | sylib 208 |
. . . . . . 7
|
130 | 129 | r19.21bi 2932 |
. . . . . 6
|
131 | 14 | adantr 481 |
. . . . . 6
|
132 | 31 | adantr 481 |
. . . . . 6
|
133 | | ovolsscl 23254 |
. . . . . 6
|
134 | 130, 131,
132, 133 | syl3anc 1326 |
. . . . 5
|
135 | 127, 134 | fsumrecl 14465 |
. . . 4
|
136 | 130, 131 | sstrd 3613 |
. . . . . . 7
|
137 | 136, 134 | jca 554 |
. . . . . 6
|
138 | 137 | ralrimiva 2966 |
. . . . 5
|
139 | | ovolfiniun 23269 |
. . . . 5
|
140 | 127, 138,
139 | syl2anc 693 |
. . . 4
|
141 | | uniioombl.m |
. . . . . . . 8
|
142 | 119, 141 | nndivred 11069 |
. . . . . . 7
|
143 | 142 | adantr 481 |
. . . . . 6
|
144 | 80 | ineq2d 3814 |
. . . . . . . . . . . . 13
|
145 | 144 | adantr 481 |
. . . . . . . . . . . 12
|
146 | 102 | a1i 11 |
. . . . . . . . . . . . . 14
|
147 | 146 | iuneq2i 4539 |
. . . . . . . . . . . . 13
|
148 | | iunin2 4584 |
. . . . . . . . . . . . 13
|
149 | 147, 148 | eqtri 2644 |
. . . . . . . . . . . 12
|
150 | 145, 149 | syl6eqr 2674 |
. . . . . . . . . . 11
|
151 | | fzfid 12772 |
. . . . . . . . . . . 12
|
152 | | ffvelrn 6357 |
. . . . . . . . . . . . . . . . . . . . 21
|
153 | 15, 76, 152 | syl2an 494 |
. . . . . . . . . . . . . . . . . . . 20
|
154 | 57, 153 | sseldi 3601 |
. . . . . . . . . . . . . . . . . . 19
|
155 | | 1st2nd2 7205 |
. . . . . . . . . . . . . . . . . . 19
|
156 | 154, 155 | syl 17 |
. . . . . . . . . . . . . . . . . 18
|
157 | 156 | fveq2d 6195 |
. . . . . . . . . . . . . . . . 17
|
158 | | df-ov 6653 |
. . . . . . . . . . . . . . . . 17
|
159 | 157, 158 | syl6eqr 2674 |
. . . . . . . . . . . . . . . 16
|
160 | | ioombl 23333 |
. . . . . . . . . . . . . . . 16
|
161 | 159, 160 | syl6eqel 2709 |
. . . . . . . . . . . . . . 15
|
162 | 161 | adantlr 751 |
. . . . . . . . . . . . . 14
|
163 | | ffvelrn 6357 |
. . . . . . . . . . . . . . . . . . . . 21
|
164 | 8, 93, 163 | syl2an 494 |
. . . . . . . . . . . . . . . . . . . 20
|
165 | 57, 164 | sseldi 3601 |
. . . . . . . . . . . . . . . . . . 19
|
166 | | 1st2nd2 7205 |
. . . . . . . . . . . . . . . . . . 19
|
167 | 165, 166 | syl 17 |
. . . . . . . . . . . . . . . . . 18
|
168 | 167 | fveq2d 6195 |
. . . . . . . . . . . . . . . . 17
|
169 | | df-ov 6653 |
. . . . . . . . . . . . . . . . 17
|
170 | 168, 169 | syl6eqr 2674 |
. . . . . . . . . . . . . . . 16
|
171 | | ioombl 23333 |
. . . . . . . . . . . . . . . 16
|
172 | 170, 171 | syl6eqel 2709 |
. . . . . . . . . . . . . . 15
|
173 | 172 | adantr 481 |
. . . . . . . . . . . . . 14
|
174 | | inmbl 23310 |
. . . . . . . . . . . . . 14
|
175 | 162, 173,
174 | syl2anc 693 |
. . . . . . . . . . . . 13
|
176 | 175 | ralrimiva 2966 |
. . . . . . . . . . . 12
|
177 | | finiunmbl 23312 |
. . . . . . . . . . . 12
|
178 | 151, 176,
177 | syl2anc 693 |
. . . . . . . . . . 11
|
179 | 150, 178 | eqeltrd 2701 |
. . . . . . . . . 10
|
180 | | inss2 3834 |
. . . . . . . . . . 11
|
181 | 15 | uniiccdif 23346 |
. . . . . . . . . . . . . . 15
|
182 | 181 | simpld 475 |
. . . . . . . . . . . . . 14
|
183 | | ovolficcss 23238 |
. . . . . . . . . . . . . . 15
|
184 | 15, 183 | syl 17 |
. . . . . . . . . . . . . 14
|
185 | 182, 184 | sstrd 3613 |
. . . . . . . . . . . . 13
|
186 | 18, 185 | syl5eqss 3649 |
. . . . . . . . . . . 12
|
187 | 186 | adantr 481 |
. . . . . . . . . . 11
|
188 | 180, 187 | syl5ss 3614 |
. . . . . . . . . 10
|
189 | | inss1 3833 |
. . . . . . . . . . . 12
|
190 | 189 | a1i 11 |
. . . . . . . . . . 11
|
191 | | ioossre 12235 |
. . . . . . . . . . . 12
|
192 | 170, 191 | syl6eqss 3655 |
. . . . . . . . . . 11
|
193 | 170 | fveq2d 6195 |
. . . . . . . . . . . . 13
|
194 | | ovolfcl 23235 |
. . . . . . . . . . . . . . 15
|
195 | 8, 93, 194 | syl2an 494 |
. . . . . . . . . . . . . 14
|
196 | | ovolioo 23336 |
. . . . . . . . . . . . . 14
|
197 | 195, 196 | syl 17 |
. . . . . . . . . . . . 13
|
198 | 193, 197 | eqtrd 2656 |
. . . . . . . . . . . 12
|
199 | 195 | simp2d 1074 |
. . . . . . . . . . . . 13
|
200 | 195 | simp1d 1073 |
. . . . . . . . . . . . 13
|
201 | 199, 200 | resubcld 10458 |
. . . . . . . . . . . 12
|
202 | 198, 201 | eqeltrd 2701 |
. . . . . . . . . . 11
|
203 | | ovolsscl 23254 |
. . . . . . . . . . 11
|
204 | 190, 192,
202, 203 | syl3anc 1326 |
. . . . . . . . . 10
|
205 | | mblsplit 23300 |
. . . . . . . . . 10
|
206 | 179, 188,
204, 205 | syl3anc 1326 |
. . . . . . . . 9
|
207 | | imassrn 5477 |
. . . . . . . . . . . . . . 15
|
208 | 207 | unissi 4461 |
. . . . . . . . . . . . . 14
|
209 | 208, 72, 18 | 3sstr4i 3644 |
. . . . . . . . . . . . 13
|
210 | | sslin 3839 |
. . . . . . . . . . . . 13
|
211 | 209, 210 | mp1i 13 |
. . . . . . . . . . . 12
|
212 | | sseqin2 3817 |
. . . . . . . . . . . 12
|
213 | 211, 212 | sylib 208 |
. . . . . . . . . . 11
|
214 | 213 | fveq2d 6195 |
. . . . . . . . . 10
|
215 | | indifdir 3883 |
. . . . . . . . . . . . 13
|
216 | | incom 3805 |
. . . . . . . . . . . . . 14
|
217 | | incom 3805 |
. . . . . . . . . . . . . 14
|
218 | 216, 217 | difeq12i 3726 |
. . . . . . . . . . . . 13
|
219 | 215, 218 | eqtri 2644 |
. . . . . . . . . . . 12
|
220 | 82 | eqcomd 2628 |
. . . . . . . . . . . . . . . 16
|
221 | 80 | ineq1d 3813 |
. . . . . . . . . . . . . . . . . 18
|
222 | | fveq2 6191 |
. . . . . . . . . . . . . . . . . . . . . 22
|
223 | 222 | fveq2d 6195 |
. . . . . . . . . . . . . . . . . . . . 21
|
224 | 223 | cbvdisjv 4631 |
. . . . . . . . . . . . . . . . . . . 20
Disj Disj |
225 | 16, 224 | sylib 208 |
. . . . . . . . . . . . . . . . . . 19
Disj
|
226 | 76 | ssriv 3607 |
. . . . . . . . . . . . . . . . . . . 20
|
227 | 226 | a1i 11 |
. . . . . . . . . . . . . . . . . . 19
|
228 | | uzss 11708 |
. . . . . . . . . . . . . . . . . . . . 21
|
229 | 42, 228 | syl 17 |
. . . . . . . . . . . . . . . . . . . 20
|
230 | 229, 39 | syl6sseqr 3652 |
. . . . . . . . . . . . . . . . . . 19
|
231 | | uzdisj 12413 |
. . . . . . . . . . . . . . . . . . . 20
|
232 | 50 | ineq1d 3813 |
. . . . . . . . . . . . . . . . . . . 20
|
233 | 231, 232 | syl5reqr 2671 |
. . . . . . . . . . . . . . . . . . 19
|
234 | | disjiun 4640 |
. . . . . . . . . . . . . . . . . . 19
Disj
|
235 | 225, 227,
230, 233, 234 | syl13anc 1328 |
. . . . . . . . . . . . . . . . . 18
|
236 | 221, 235 | eqtrd 2656 |
. . . . . . . . . . . . . . . . 17
|
237 | | uneqdifeq 4057 |
. . . . . . . . . . . . . . . . 17
|
238 | 209, 236,
237 | sylancr 695 |
. . . . . . . . . . . . . . . 16
|
239 | 220, 238 | mpbid 222 |
. . . . . . . . . . . . . . 15
|
240 | 239 | adantr 481 |
. . . . . . . . . . . . . 14
|
241 | 240 | ineq2d 3814 |
. . . . . . . . . . . . 13
|
242 | | incom 3805 |
. . . . . . . . . . . . 13
|
243 | 104, 101 | eqtri 2644 |
. . . . . . . . . . . . 13
|
244 | 241, 242,
243 | 3eqtr4g 2681 |
. . . . . . . . . . . 12
|
245 | 219, 244 | syl5eqr 2670 |
. . . . . . . . . . 11
|
246 | 245 | fveq2d 6195 |
. . . . . . . . . 10
|
247 | 214, 246 | oveq12d 6668 |
. . . . . . . . 9
|
248 | 206, 247 | eqtrd 2656 |
. . . . . . . 8
|
249 | 204, 143 | resubcld 10458 |
. . . . . . . . . . 11
|
250 | | inss2 3834 |
. . . . . . . . . . . . . 14
|
251 | 250 | a1i 11 |
. . . . . . . . . . . . 13
|
252 | 192 | adantr 481 |
. . . . . . . . . . . . 13
|
253 | 202 | adantr 481 |
. . . . . . . . . . . . 13
|
254 | | ovolsscl 23254 |
. . . . . . . . . . . . 13
|
255 | 251, 252,
253, 254 | syl3anc 1326 |
. . . . . . . . . . . 12
|
256 | 151, 255 | fsumrecl 14465 |
. . . . . . . . . . 11
|
257 | | uniioombl.n2 |
. . . . . . . . . . . . . 14
|
258 | 257 | r19.21bi 2932 |
. . . . . . . . . . . . 13
|
259 | 256, 204,
143 | absdifltd 14172 |
. . . . . . . . . . . . 13
|
260 | 258, 259 | mpbid 222 |
. . . . . . . . . . . 12
|
261 | 260 | simpld 475 |
. . . . . . . . . . 11
|
262 | 249, 256,
261 | ltled 10185 |
. . . . . . . . . 10
|
263 | 150 | fveq2d 6195 |
. . . . . . . . . . 11
|
264 | | mblvol 23298 |
. . . . . . . . . . . . . . . . 17
|
265 | 175, 264 | syl 17 |
. . . . . . . . . . . . . . . 16
|
266 | 265, 255 | eqeltrd 2701 |
. . . . . . . . . . . . . . 15
|
267 | 175, 266 | jca 554 |
. . . . . . . . . . . . . 14
|
268 | 267 | ralrimiva 2966 |
. . . . . . . . . . . . 13
|
269 | | inss1 3833 |
. . . . . . . . . . . . . . . 16
|
270 | 269 | rgenw 2924 |
. . . . . . . . . . . . . . 15
|
271 | 225 | adantr 481 |
. . . . . . . . . . . . . . 15
Disj |
272 | | disjss2 4623 |
. . . . . . . . . . . . . . 15
Disj
Disj
|
273 | 270, 271,
272 | mpsyl 68 |
. . . . . . . . . . . . . 14
Disj |
274 | | disjss1 4626 |
. . . . . . . . . . . . . 14
Disj Disj
|
275 | 226, 273,
274 | mpsyl 68 |
. . . . . . . . . . . . 13
Disj |
276 | | volfiniun 23315 |
. . . . . . . . . . . . 13
Disj
|
277 | 151, 268,
275, 276 | syl3anc 1326 |
. . . . . . . . . . . 12
|
278 | | mblvol 23298 |
. . . . . . . . . . . . 13
|
279 | 178, 278 | syl 17 |
. . . . . . . . . . . 12
|
280 | 265 | sumeq2dv 14433 |
. . . . . . . . . . . 12
|
281 | 277, 279,
280 | 3eqtr3d 2664 |
. . . . . . . . . . 11
|
282 | 263, 281 | eqtrd 2656 |
. . . . . . . . . 10
|
283 | 262, 282 | breqtrrd 4681 |
. . . . . . . . 9
|
284 | 282, 256 | eqeltrd 2701 |
. . . . . . . . . 10
|
285 | 204, 143,
284 | lesubaddd 10624 |
. . . . . . . . 9
|
286 | 283, 285 | mpbid 222 |
. . . . . . . 8
|
287 | 248, 286 | eqbrtrrd 4677 |
. . . . . . 7
|
288 | 134, 143,
284 | leadd2d 10622 |
. . . . . . 7
|
289 | 287, 288 | mpbird 247 |
. . . . . 6
|
290 | 127, 134,
143, 289 | fsumle 14531 |
. . . . 5
|
291 | 142 | recnd 10068 |
. . . . . . 7
|
292 | | fsumconst 14522 |
. . . . . . 7
|
293 | 127, 291,
292 | syl2anc 693 |
. . . . . 6
|
294 | | nnnn0 11299 |
. . . . . . . 8
|
295 | | hashfz1 13134 |
. . . . . . . 8
|
296 | 141, 294,
295 | 3syl 18 |
. . . . . . 7
|
297 | 296 | oveq1d 6665 |
. . . . . 6
|
298 | 119 | recnd 10068 |
. . . . . . 7
|
299 | 141 | nncnd 11036 |
. . . . . . 7
|
300 | 141 | nnne0d 11065 |
. . . . . . 7
|
301 | 298, 299,
300 | divcan2d 10803 |
. . . . . 6
|
302 | 293, 297,
301 | 3eqtrd 2660 |
. . . . 5
|
303 | 290, 302 | breqtrd 4679 |
. . . 4
|
304 | 117, 135,
119, 140, 303 | letrd 10194 |
. . 3
|
305 | 117, 119,
37, 304 | leadd2dd 10642 |
. 2
|
306 | 33, 118, 120, 126, 305 | letrd 10194 |
1
|