.\" html.tmac
.\"
.nr _C \n(.C
.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
.
.cp \n(_C
.
.if !\n(_C \
.  mso www.tmac
.
.do ie '\[char97]'a' \
.  do mso latin1.tmac
.el \
.  do mso cp1047.tmac
.
.mso unicode.tmac
.
.\" end of file, make sure this is the last line