blob: 887b2882cee0320e845dafa42752702c3b4f6862 (
plain)
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
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
538
539
540
541
542
543
544
545
546
547
548
549
550
|
.\" -*- nroff -*-
.\"
.\" html.tmac
.\"
.do nr *groff_html_tmac_C \n[.cp]
.cp 0
.
.nroff
.
.ftr CW CR
.ftr C CR
.ftr CO CI
.ftr CX CBI
.ftr H HR
.ftr HO HI
.ftr HX HBI
.ftr NX NBI
.
.fchar \[fi] fi
.fchar \[fl] fl
.fchar \[ff] ff
.fchar \[Fi] ffi
.fchar \[Fl] ffl
.
.\"
.\" remove hyphenation
.\"
.nh
.nr HY 0
.
.de hy
..
.de nh
..
.
.\" avoid line breaks after hyphen-like characters.
.cflags 0 -\[hy]\[em]\[en]
.
.\" Now set any characters defined in devps/S but not in devhtml to nul --
.\" these are generated by eqn but not used by grohtml. grops generated
.\" images during the alternative pass.
.if !c\[radicalex] .tr \[radicalex]
.if !c\[arrowverttp] .tr \[arrowverttp]
.if !c\[arrowvertbt] .tr \[arrowvertbt]
.if !c\[arrowvertex] .tr \[arrowvertex]
.if !c\[barex] .tr \[barex]
.if !c\[sqrtex] .tr \[sqrtex]
.
.\" now for the color definitions
.\"
.\" html-4.0 colors
.\"
.defcolor white rgb #ffffff
.defcolor fuchsia rgb #ff00ff
.
.\" these colors are compliant with html-3.0 and above
.defcolor aliceblue rgb #eff7ff
.defcolor antiquewhite rgb #f9e8d2
.defcolor antiquewhite1 rgb #feedd6
.defcolor antiquewhite2 rgb #ebdbc5
.defcolor antiquewhite3 rgb #c8b9a6
.defcolor antiquewhite4 rgb #817468
.defcolor aquamarine rgb #43b7ba
.defcolor aquamarine1 rgb #87fdce
.defcolor aquamarine2 rgb #7deabe
.defcolor aquamarine3 rgb #69c69f
.defcolor aquamarine4 rgb #417c64
.defcolor azure rgb #efffff
.defcolor azure2 rgb #deecec
.defcolor azure3 rgb #bcc7c7
.defcolor azure4 rgb #7a7d7d
.defcolor beige rgb #f5f3d7
.defcolor bisque rgb #fde0bc
.defcolor bisque2 rgb #ead0ae
.defcolor bisque3 rgb #c7af92
.defcolor bisque4 rgb #816e59
.defcolor black rgb #000000
.defcolor blanchedalmond rgb #fee8c6
.defcolor blue rgb #0000ff
.defcolor blue1 rgb #1535ff
.defcolor blue2 rgb #1531ec
.defcolor blue3 rgb #1528c7
.defcolor blue4 rgb #151b7e
.defcolor blueviolet rgb #7931df
.defcolor brown rgb #980517
.defcolor brown1 rgb #f63526
.defcolor brown2 rgb #e42d17
.defcolor brown3 rgb #c22217
.defcolor burlywood1 rgb #fcce8e
.defcolor burlywood2 rgb #eabe83
.defcolor burlywood3 rgb #c6a06d
.defcolor burlywood4 rgb #806341
.defcolor cadetblue rgb #578693
.defcolor cadetblue1 rgb #99f3ff
.defcolor cadetblue2 rgb #8ee2ec
.defcolor cadetblue3 rgb #77bfc7
.defcolor cadetblue4 rgb #4c787e
.defcolor chartreuse rgb #8afb17
.defcolor chartreuse2 rgb #7fe817
.defcolor chartreuse3 rgb #6cc417
.defcolor chartreuse4 rgb #437c17
.defcolor chocolate rgb #c85a17
.defcolor coral rgb #f76541
.defcolor coral2 rgb #e55b3c
.defcolor coral3 rgb #c34a2c
.defcolor coral4 rgb #7e2817
.defcolor cornflowerblue rgb #151b8d
.defcolor cornsilk rgb #fff7d7
.defcolor cornsilk2 rgb #ece5c6
.defcolor cornsilk3 rgb #c8c2a7
.defcolor cornsilk4 rgb #817a68
.defcolor cyan rgb #00ffff
.defcolor cyan1 rgb #57feff
.defcolor cyan2 rgb #50ebec
.defcolor cyan3 rgb #46c7c7
.defcolor cyan4 rgb #307d7e
.defcolor darkgoldenrod rgb #af7817
.defcolor darkgoldenrod1 rgb #fbb117
.defcolor darkgoldenrod2 rgb #e8a317
.defcolor darkgoldenrod3 rgb #c58917
.defcolor darkgoldenrod4 rgb #7f5217
.defcolor darkgreen rgb #254117
.defcolor darkkhaki rgb #b7ad59
.defcolor darkolivegreen rgb #4a4117
.defcolor darkolivegreen1 rgb #ccfb5d
.defcolor darkolivegreen2 rgb #bce954
.defcolor darkolivegreen3 rgb #a0c544
.defcolor darkolivegreen4 rgb #667c26
.defcolor darkorange rgb #f88017
.defcolor darkorange1 rgb #f87217
.defcolor darkorange2 rgb #e56717
.defcolor darkorange3 rgb #c35617
.defcolor darkorange4 rgb #7e3117
.defcolor darkorchid rgb #7d1b7e
.defcolor darkorchid1 rgb #b041ff
.defcolor darkorchid2 rgb #a23bec
.defcolor darkorchid3 rgb #8b31c7
.defcolor darkorchid4 rgb #571b7e
.defcolor darksalmon rgb #e18b6b
.defcolor darkseagreen rgb #8bb381
.defcolor darkseagreen1 rgb #c3fdb8
.defcolor darkseagreen2 rgb #b5eaaa
.defcolor darkseagreen3 rgb #99c68e
.defcolor darkseagreen4 rgb #617c58
.defcolor darkslateblue rgb #2b3856
.defcolor darkslategray rgb #25383c
.defcolor darkslategray1 rgb #9afeff
.defcolor darkslategray2 rgb #8eebec
.defcolor darkslategray3 rgb #78c7c7
.defcolor darkslategray4 rgb #4c7d7e
.defcolor darkturquoise rgb #3b9c9c
.defcolor darkviolet rgb #842dce
.defcolor deeppink rgb #f52887
.defcolor deeppink2 rgb #e4287c
.defcolor deeppink3 rgb #c12267
.defcolor deeppink4 rgb #7d053f
.defcolor deepskyblue rgb #3bb9ff
.defcolor deepskyblue2 rgb #38acec
.defcolor deepskyblue3 rgb #3090c7
.defcolor deepskyblue4 rgb #25587e
.defcolor dimgray rgb #463e41
.defcolor dodgerblue rgb #1589ff
.defcolor dodgerblue2 rgb #157dec
.defcolor dodgerblue3 rgb #1569c7
.defcolor dodgerblue4 rgb #153e7e
.defcolor firebrick rgb #800517
.defcolor firebrick1 rgb #f62817
.defcolor firebrick2 rgb #e42217
.defcolor firebrick3 rgb #c11b17
.defcolor floralwhite rgb #fff9ee
.defcolor forestgreen rgb #4e9258
.defcolor gainsboro rgb #d8d9d7
.defcolor ghostwhite rgb #f7f7ff
.defcolor gold rgb #d4a017
.defcolor gold1 rgb #fdd017
.defcolor gold2 rgb #eac117
.defcolor gold3 rgb #c7a317
.defcolor gold4 rgb #806517
.defcolor goldenrod rgb #edda74
.defcolor goldenrod1 rgb #fbb917
.defcolor goldenrod2 rgb #e9ab17
.defcolor goldenrod3 rgb #c68e17
.defcolor goldenrod4 rgb #805817
.defcolor gray rgb #736f6e
.defcolor gray0 rgb #150517
.defcolor gray100 rgb #ffffff
.defcolor gray18 rgb #250517
.defcolor gray21 rgb #2b1b17
.defcolor gray23 rgb #302217
.defcolor gray24 rgb #302226
.defcolor gray25 rgb #342826
.defcolor gray26 rgb #34282c
.defcolor gray27 rgb #382d2c
.defcolor gray28 rgb #3b3131
.defcolor gray29 rgb #3e3535
.defcolor gray30 rgb #413839
.defcolor gray31 rgb #41383c
.defcolor gray32 rgb #463e3f
.defcolor gray34 rgb #4a4344
.defcolor gray35 rgb #4c4646
.defcolor gray36 rgb #4e4848
.defcolor gray37 rgb #504a4b
.defcolor gray38 rgb #544e4f
.defcolor gray39 rgb #565051
.defcolor gray40 rgb #595454
.defcolor gray41 rgb #5c5858
.defcolor gray42 rgb #5f5a59
.defcolor gray43 rgb #625d5d
.defcolor gray44 rgb #646060
.defcolor gray45 rgb #666362
.defcolor gray46 rgb #696565
.defcolor gray47 rgb #6d6968
.defcolor gray48 rgb #6e6a6b
.defcolor gray49 rgb #726e6d
.defcolor gray50 rgb #747170
.defcolor gray51 rgb #787473
.defcolor gray52 rgb #7a7777
.defcolor gray53 rgb #7c7979
.defcolor gray54 rgb #807d7c
.defcolor gray55 rgb #82807e
.defcolor gray56 rgb #858381
.defcolor gray57 rgb #878583
.defcolor gray58 rgb #8b8987
.defcolor gray59 rgb #8d8b89
.defcolor gray60 rgb #8f8e8d
.defcolor gray61 rgb #939190
.defcolor gray62 rgb #959492
.defcolor gray63 rgb #999795
.defcolor gray64 rgb #9a9998
.defcolor gray65 rgb #9e9c9b
.defcolor gray66 rgb #a09f9d
.defcolor gray67 rgb #a3a2a0
.defcolor gray68 rgb #a5a4a3
.defcolor gray69 rgb #a9a8a6
.defcolor gray70 rgb #acaba9
.defcolor gray71 rgb #aeadac
.defcolor gray72 rgb #b1b1af
.defcolor gray73 rgb #b3b3b1
.defcolor gray74 rgb #b7b6b4
.defcolor gray75 rgb #b9b8b6
.defcolor gray76 rgb #bcbbba
.defcolor gray77 rgb #bebebc
.defcolor gray78 rgb #c1c1bf
.defcolor gray79 rgb #c3c4c2
.defcolor gray80 rgb #c7c7c5
.defcolor gray81 rgb #cacac9
.defcolor gray82 rgb #cccccb
.defcolor gray83 rgb #d0cfcf
.defcolor gray84 rgb #d2d2d1
.defcolor gray85 rgb #d5d5d4
.defcolor gray86 rgb #d7d7d7
.defcolor gray87 rgb #dbdbd9
.defcolor gray88 rgb #dddddc
.defcolor gray89 rgb #e0e0e0
.defcolor gray90 rgb #e2e3e1
.defcolor gray91 rgb #e5e6e4
.defcolor gray92 rgb #e8e9e8
.defcolor gray93 rgb #ebebea
.defcolor gray94 rgb #eeeeee
.defcolor gray95 rgb #f0f1f0
.defcolor gray96 rgb #f4f4f3
.defcolor gray97 rgb #f6f6f5
.defcolor gray98 rgb #f9f9fa
.defcolor gray99 rgb #fbfbfb
.defcolor green rgb #00ff00
.defcolor green1 rgb #5ffb17
.defcolor green2 rgb #59e817
.defcolor green3 rgb #4cc417
.defcolor green4 rgb #347c17
.defcolor greenyellow rgb #b1fb17
.defcolor honeydew rgb #f0feee
.defcolor honeydew2 rgb #deebdc
.defcolor honeydew3 rgb #bcc7b9
.defcolor honeydew4 rgb #7a7d74
.defcolor hotpink rgb #f660ab
.defcolor hotpink1 rgb #f665ab
.defcolor hotpink2 rgb #e45e9d
.defcolor hotpink3 rgb #c25283
.defcolor hotpink4 rgb #7d2252
.defcolor indianred rgb #5e2217
.defcolor indianred1 rgb #f75d59
.defcolor indianred2 rgb #e55451
.defcolor indianred3 rgb #c24641
.defcolor indianred4 rgb #7e2217
.defcolor ivory rgb #ffffee
.defcolor ivory2 rgb #ececdc
.defcolor ivory3 rgb #c9c7b9
.defcolor ivory4 rgb #817d74
.defcolor khaki rgb #ada96e
.defcolor khaki1 rgb #fff380
.defcolor khaki2 rgb #ede275
.defcolor khaki3 rgb #c9be62
.defcolor khaki4 rgb #827839
.defcolor lavender rgb #e3e4fa
.defcolor lavenderblush rgb #fdeef4
.defcolor lavenderblush2 rgb #ebdde2
.defcolor lavenderblush3 rgb #c8bbbe
.defcolor lavenderblush4 rgb #817679
.defcolor lawngreen rgb #87f717
.defcolor lemonchiffon rgb #fff8c6
.defcolor lemonchiffon2 rgb #ece5b6
.defcolor lemonchiffon3 rgb #c9c299
.defcolor lemonchiffon4 rgb #827b60
.defcolor lightblue rgb #addfff
.defcolor lightblue1 rgb #bdedff
.defcolor lightblue2 rgb #afdcec
.defcolor lightblue3 rgb #95b9c7
.defcolor lightblue4 rgb #5e767e
.defcolor lightcoral rgb #e77471
.defcolor lightcyan rgb #e0ffff
.defcolor lightcyan2 rgb #cfecec
.defcolor lightcyan3 rgb #afc7c7
.defcolor lightcyan4 rgb #717d7d
.defcolor lightgoldenrod rgb #ecd872
.defcolor lightgoldenrod1 rgb #ffe87c
.defcolor lightgoldenrod2 rgb #ecd672
.defcolor lightgoldenrod3 rgb #c8b560
.defcolor lightgoldenrod4 rgb #817339
.defcolor lightgoldenrodyellow rgb #faf8cc
.defcolor lightpink rgb #faafba
.defcolor lightpink1 rgb #f9a7b0
.defcolor lightpink2 rgb #e799a3
.defcolor lightpink3 rgb #c48189
.defcolor lightpink4 rgb #7f4e52
.defcolor lightsalmon rgb #f9966b
.defcolor lightsalmon2 rgb #e78a61
.defcolor lightsalmon3 rgb #c47451
.defcolor lightsalmon4 rgb #7f462c
.defcolor lightseagreen rgb #3ea99f
.defcolor lightskyblue rgb #82cafa
.defcolor lightskyblue2 rgb #a0cfec
.defcolor lightskyblue3 rgb #87afc7
.defcolor lightskyblue4 rgb #566d7e
.defcolor lightslateblue rgb #736aff
.defcolor lightslategray rgb #6d7b8d
.defcolor lightsteelblue rgb #728fce
.defcolor lightsteelblue1 rgb #c6deff
.defcolor lightsteelblue2 rgb #b7ceec
.defcolor lightsteelblue3 rgb #9aadc7
.defcolor lightsteelblue4 rgb #646d7e
.defcolor lightyellow rgb #fffedc
.defcolor lightyellow2 rgb #edebcb
.defcolor lightyellow3 rgb #c9c7aa
.defcolor lightyellow4 rgb #827d6b
.defcolor limegreen rgb #41a317
.defcolor linen rgb #f9eee2
.defcolor magenta rgb #ff00ff
.defcolor magenta1 rgb #f43eff
.defcolor magenta2 rgb #e238ec
.defcolor magenta3 rgb #c031c7
.defcolor maroon rgb #810541
.defcolor maroon1 rgb #f535aa
.defcolor maroon2 rgb #e3319d
.defcolor maroon3 rgb #c12283
.defcolor maroon4 rgb #7d0552
.defcolor mediumaquamarine rgb #348781
.defcolor mediumblue rgb #152dc6
.defcolor mediumforestgreen rgb #347235
.defcolor mediumgoldenrod rgb #ccb954
.defcolor mediumorchid rgb #b048b5
.defcolor mediumorchid1 rgb #d462ff
.defcolor mediumorchid2 rgb #c45aec
.defcolor mediumorchid3 rgb #a74ac7
.defcolor mediumorchid4 rgb #6a287e
.defcolor mediumpurple rgb #8467d7
.defcolor mediumpurple1 rgb #9e7bff
.defcolor mediumpurple2 rgb #9172ec
.defcolor mediumpurple3 rgb #7a5dc7
.defcolor mediumpurple4 rgb #4e387e
.defcolor mediumseagreen rgb #306754
.defcolor mediumslateblue rgb #5e5a80
.defcolor mediumspringgreen rgb #348017
.defcolor mediumturquoise rgb #48cccd
.defcolor mediumvioletred rgb #ca226b
.defcolor midnightblue rgb #151b54
.defcolor mintcream rgb #f5fff9
.defcolor mistyrose rgb #fde1dd
.defcolor mistyrose2 rgb #ead0cc
.defcolor mistyrose3 rgb #c6afac
.defcolor mistyrose4 rgb #806f6c
.defcolor moccasin rgb #fde0ac
.defcolor navajowhite rgb #fddaa3
.defcolor navajowhite2 rgb #eac995
.defcolor navajowhite3 rgb #c7aa7d
.defcolor navajowhite4 rgb #806a4b
.defcolor navy rgb #150567
.defcolor oldlace rgb #fcf3e2
.defcolor olivedrab rgb #658017
.defcolor olivedrab1 rgb #c3fb17
.defcolor olivedrab2 rgb #b5e917
.defcolor olivedrab3 rgb #99c517
.defcolor olivedrab4 rgb #617c17
.defcolor orange rgb #f87a17
.defcolor orange1 rgb #fa9b17
.defcolor orange2 rgb #e78e17
.defcolor orange3 rgb #c57717
.defcolor orange4 rgb #7f4817
.defcolor orangered rgb #f63817
.defcolor orangered2 rgb #e43117
.defcolor orangered3 rgb #c22817
.defcolor orangered4 rgb #7e0517
.defcolor orchid rgb #e57ded
.defcolor orchid1 rgb #f67dfa
.defcolor orchid2 rgb #e473e7
.defcolor orchid3 rgb #c160c3
.defcolor orchid4 rgb #7d387c
.defcolor palegoldenrod rgb #ede49e
.defcolor palegreen rgb #79d867
.defcolor palegreen1 rgb #a0fc8d
.defcolor palegreen2 rgb #94e981
.defcolor palegreen3 rgb #7dc56c
.defcolor palegreen4 rgb #4e7c41
.defcolor paleturquoise rgb #aeebec
.defcolor paleturquoise1 rgb #bcfeff
.defcolor paleturquoise2 rgb #adebec
.defcolor paleturquoise3 rgb #92c7c7
.defcolor paleturquoise4 rgb #5e7d7e
.defcolor palevioletred rgb #d16587
.defcolor palevioletred1 rgb #f778a1
.defcolor palevioletred2 rgb #e56e94
.defcolor palevioletred3 rgb #c25a7c
.defcolor palevioletred4 rgb #7e354d
.defcolor papayawhip rgb #feeccf
.defcolor peachpuff rgb #fcd5b0
.defcolor peachpuff2 rgb #eac5a3
.defcolor peachpuff3 rgb #c6a688
.defcolor peachpuff4 rgb #806752
.defcolor peru rgb #c57726
.defcolor pink rgb #faafbe
.defcolor pink2 rgb #e7a1b0
.defcolor pink3 rgb #c48793
.defcolor pink4 rgb #7f525d
.defcolor plum rgb #b93b8f
.defcolor plum1 rgb #f9b7ff
.defcolor plum2 rgb #e6a9ec
.defcolor plum3 rgb #c38ec7
.defcolor plum4 rgb #7e587e
.defcolor powderblue rgb #addce3
.defcolor purple rgb #8e35ef
.defcolor purple1 rgb #893bff
.defcolor purple2 rgb #7f38ec
.defcolor purple3 rgb #6c2dc7
.defcolor purple4 rgb #461b7e
.defcolor red rgb #ff0000
.defcolor red1 rgb #f62217
.defcolor red2 rgb #e41b17
.defcolor rosybrown rgb #b38481
.defcolor rosybrown1 rgb #fbbbb9
.defcolor rosybrown2 rgb #e8adaa
.defcolor rosybrown3 rgb #c5908e
.defcolor rosybrown4 rgb #7f5a58
.defcolor royalblue rgb #2b60de
.defcolor royalblue1 rgb #306eff
.defcolor royalblue2 rgb #2b65ec
.defcolor royalblue3 rgb #2554c7
.defcolor royalblue4 rgb #15317e
.defcolor salmon1 rgb #f88158
.defcolor salmon2 rgb #e67451
.defcolor salmon3 rgb #c36241
.defcolor salmon4 rgb #7e3817
.defcolor sandybrown rgb #ee9a4d
.defcolor seagreen rgb #4e8975
.defcolor seagreen1 rgb #6afb92
.defcolor seagreen2 rgb #64e986
.defcolor seagreen3 rgb #54c571
.defcolor seagreen4 rgb #387c44
.defcolor seashell rgb #fef3eb
.defcolor seashell2 rgb #ebe2d9
.defcolor seashell3 rgb #c8bfb6
.defcolor seashell4 rgb #817873
.defcolor sienna rgb #8a4117
.defcolor sienna1 rgb #f87431
.defcolor sienna2 rgb #e66c2c
.defcolor sienna3 rgb #c35817
.defcolor sienna4 rgb #7e3517
.defcolor skyblue rgb #6698ff
.defcolor skyblue1 rgb #82caff
.defcolor skyblue2 rgb #79baec
.defcolor skyblue3 rgb #659ec7
.defcolor skyblue4 rgb #41627e
.defcolor slateblue rgb #737ca1
.defcolor slateblue1 rgb #7369ff
.defcolor slateblue2 rgb #6960ec
.defcolor slateblue3 rgb #574ec7
.defcolor slateblue4 rgb #342d7e
.defcolor slategray rgb #657383
.defcolor slategray1 rgb #c2dfff
.defcolor slategray2 rgb #b4cfec
.defcolor slategray3 rgb #98afc7
.defcolor slategray4 rgb #616d7e
.defcolor snow rgb #fff9fa
.defcolor snow2 rgb #ece7e6
.defcolor snow3 rgb #c8c4c2
.defcolor snow4 rgb #817c7b
.defcolor springgreen rgb #4aa02c
.defcolor springgreen1 rgb #5efb6e
.defcolor springgreen2 rgb #57e964
.defcolor springgreen3 rgb #4cc552
.defcolor springgreen4 rgb #347c2c
.defcolor steelblue rgb #4863a0
.defcolor steelblue1 rgb #5cb3ff
.defcolor steelblue2 rgb #56a5ec
.defcolor steelblue3 rgb #488ac7
.defcolor steelblue4 rgb #2b547e
.defcolor tan rgb #d8af79
.defcolor tan1 rgb #fa9b3c
.defcolor tan2 rgb #e78e35
.defcolor thistle rgb #d2b9d3
.defcolor thistle1 rgb #fcdfff
.defcolor thistle2 rgb #e9cfec
.defcolor thistle3 rgb #c6aec7
.defcolor thistle4 rgb #806d7e
.defcolor tomato rgb #f75431
.defcolor tomato2 rgb #e54c2c
.defcolor tomato3 rgb #c23e17
.defcolor turquoise rgb #43c6db
.defcolor turquoise1 rgb #52f3ff
.defcolor turquoise2 rgb #4ee2ec
.defcolor turquoise3 rgb #43bfc7
.defcolor turquoise4 rgb #30787e
.defcolor violet rgb #8d38c9
.defcolor violetred rgb #e9358a
.defcolor violetred1 rgb #f6358a
.defcolor violetred2 rgb #e4317f
.defcolor violetred3 rgb #c12869
.defcolor violetred4 rgb #7d0541
.defcolor wheat rgb #f3daa9
.defcolor wheat1 rgb #fee4b1
.defcolor wheat2 rgb #ebd3a3
.defcolor wheat3 rgb #c8b189
.defcolor wheat4 rgb #816f54
.defcolor yellow rgb #ffff00
.defcolor yellow1 rgb #fffc17
.defcolor yellowgreen rgb #52d017
.
.mso www.tmac
.
.ie '\[char97]'a' \
. mso latin1.tmac
.el \
. mso cp1047.tmac
.
.cp \n[*groff_html_tmac_C]
.do rr *groff_html_tmac_C
.
.\" Local Variables:
.\" mode: nroff
.\" fill-column: 72
.\" End:
.\" vim: set filetype=groff textwidth=72:
|