changeset 581: |
d3e2829521a3 |
parent: |
efb4a19ff530
|
author: |
Richard Westhaver <ellis@rwest.io> |
date: |
Tue, 06 Aug 2024 21:17:24 -0400 |
permissions: |
-rw-r--r-- |
description: |
tmux work, fuzzer |
1 ;;; x11.lisp --- X11 Colors -*- buffer-read-only:t -*- 3 ;; input = /home/ellis/comp/core/.stash/rgb.txt 5 ;; This file was generated automatically by 6 ;; OBJ/COLOR:PARSE-X11-COLOR-DEFINITIONS. 11 (in-package :obj/color) 13 (export (define-rgb-color snow 1 50/51 50/51)) 14 (export (define-rgb-color ghostwhite 248/255 248/255 1)) 15 (export (define-rgb-color whitesmoke 49/51 49/51 49/51)) 16 (export (define-rgb-color gainsboro 44/51 44/51 44/51)) 17 (export (define-rgb-color floralwhite 1 50/51 16/17)) 18 (export (define-rgb-color oldlace 253/255 49/51 46/51)) 19 (export (define-rgb-color linen 50/51 16/17 46/51)) 20 (export (define-rgb-color antiquewhite 50/51 47/51 43/51)) 21 (export (define-rgb-color papayawhip 1 239/255 71/85)) 22 (export (define-rgb-color blanchedalmond 1 47/51 41/51)) 23 (export (define-rgb-color bisque 1 76/85 196/255)) 24 (export (define-rgb-color peachpuff 1 218/255 37/51)) 25 (export (define-rgb-color navajowhite 1 74/85 173/255)) 26 (export (define-rgb-color moccasin 1 76/85 181/255)) 27 (export (define-rgb-color cornsilk 1 248/255 44/51)) 28 (export (define-rgb-color ivory 1 1 16/17)) 29 (export (define-rgb-color lemonchiffon 1 50/51 41/51)) 30 (export (define-rgb-color seashell 1 49/51 14/15)) 31 (export (define-rgb-color honeydew 16/17 1 16/17)) 32 (export (define-rgb-color mintcream 49/51 1 50/51)) 33 (export (define-rgb-color azure 16/17 1 1)) 34 (export (define-rgb-color aliceblue 16/17 248/255 1)) 35 (export (define-rgb-color lavender 46/51 46/51 50/51)) 36 (export (define-rgb-color lavenderblush 1 16/17 49/51)) 37 (export (define-rgb-color mistyrose 1 76/85 15/17)) 38 (export (define-rgb-color white 1 1 1)) 39 (export (define-rgb-color black 0 0 0)) 40 (export (define-rgb-color darkslategray 47/255 79/255 79/255)) 41 (export (define-rgb-color darkslategrey 47/255 79/255 79/255)) 42 (export (define-rgb-color dimgray 7/17 7/17 7/17)) 43 (export (define-rgb-color dimgrey 7/17 7/17 7/17)) 44 (export (define-rgb-color slategray 112/255 128/255 48/85)) 45 (export (define-rgb-color slategrey 112/255 128/255 48/85)) 46 (export (define-rgb-color lightslategray 7/15 8/15 3/5)) 47 (export (define-rgb-color lightslategrey 7/15 8/15 3/5)) 48 (export (define-rgb-color gray 38/51 38/51 38/51)) 49 (export (define-rgb-color grey 38/51 38/51 38/51)) 50 (export (define-rgb-color lightgrey 211/255 211/255 211/255)) 51 (export (define-rgb-color lightgray 211/255 211/255 211/255)) 52 (export (define-rgb-color midnightblue 5/51 5/51 112/255)) 53 (export (define-rgb-color navy 0 0 128/255)) 54 (export (define-rgb-color navyblue 0 0 128/255)) 55 (export (define-rgb-color cornflowerblue 20/51 149/255 79/85)) 56 (export (define-rgb-color darkslateblue 24/85 61/255 139/255)) 57 (export (define-rgb-color slateblue 106/255 6/17 41/51)) 58 (export (define-rgb-color mediumslateblue 41/85 104/255 14/15)) 59 (export (define-rgb-color lightslateblue 44/85 112/255 1)) 60 (export (define-rgb-color mediumblue 0 0 41/51)) 61 (export (define-rgb-color royalblue 13/51 7/17 15/17)) 62 (export (define-rgb-color blue 0 0 1)) 63 (export (define-rgb-color dodgerblue 2/17 48/85 1)) 64 (export (define-rgb-color deepskyblue 0 191/255 1)) 65 (export (define-rgb-color skyblue 9/17 206/255 47/51)) 66 (export (define-rgb-color lightskyblue 9/17 206/255 50/51)) 67 (export (define-rgb-color steelblue 14/51 26/51 12/17)) 68 (export (define-rgb-color lightsteelblue 176/255 196/255 74/85)) 69 (export (define-rgb-color lightblue 173/255 72/85 46/51)) 70 (export (define-rgb-color powderblue 176/255 224/255 46/51)) 71 (export (define-rgb-color paleturquoise 35/51 14/15 14/15)) 72 (export (define-rgb-color darkturquoise 0 206/255 209/255)) 73 (export (define-rgb-color mediumturquoise 24/85 209/255 4/5)) 74 (export (define-rgb-color turquoise 64/255 224/255 208/255)) 75 (export (define-rgb-color cyan 0 1 1)) 76 (export (define-rgb-color lightcyan 224/255 1 1)) 77 (export (define-rgb-color cadetblue 19/51 158/255 32/51)) 78 (export (define-rgb-color mediumaquamarine 2/5 41/51 2/3)) 79 (export (define-rgb-color aquamarine 127/255 1 212/255)) 80 (export (define-rgb-color darkgreen 0 20/51 0)) 81 (export (define-rgb-color darkolivegreen 1/3 107/255 47/255)) 82 (export (define-rgb-color darkseagreen 143/255 188/255 143/255)) 83 (export (define-rgb-color seagreen 46/255 139/255 29/85)) 84 (export (define-rgb-color mediumseagreen 4/17 179/255 113/255)) 85 (export (define-rgb-color lightseagreen 32/255 178/255 2/3)) 86 (export (define-rgb-color palegreen 152/255 251/255 152/255)) 87 (export (define-rgb-color springgreen 0 1 127/255)) 88 (export (define-rgb-color lawngreen 124/255 84/85 0)) 89 (export (define-rgb-color green 0 1 0)) 90 (export (define-rgb-color chartreuse 127/255 1 0)) 91 (export (define-rgb-color mediumspringgreen 0 50/51 154/255)) 92 (export (define-rgb-color greenyellow 173/255 1 47/255)) 93 (export (define-rgb-color limegreen 10/51 41/51 10/51)) 94 (export (define-rgb-color yellowgreen 154/255 41/51 10/51)) 95 (export (define-rgb-color forestgreen 2/15 139/255 2/15)) 96 (export (define-rgb-color olivedrab 107/255 142/255 7/51)) 97 (export (define-rgb-color darkkhaki 63/85 61/85 107/255)) 98 (export (define-rgb-color khaki 16/17 46/51 28/51)) 99 (export (define-rgb-color palegoldenrod 14/15 232/255 2/3)) 100 (export (define-rgb-color lightgoldenrodyellow 50/51 50/51 14/17)) 101 (export (define-rgb-color lightyellow 1 1 224/255)) 102 (export (define-rgb-color yellow 1 1 0)) 103 (export (define-rgb-color gold 1 43/51 0)) 104 (export (define-rgb-color lightgoldenrod 14/15 13/15 26/51)) 105 (export (define-rgb-color goldenrod 218/255 11/17 32/255)) 106 (export (define-rgb-color darkgoldenrod 184/255 134/255 11/255)) 107 (export (define-rgb-color rosybrown 188/255 143/255 143/255)) 108 (export (define-rgb-color indianred 41/51 92/255 92/255)) 109 (export (define-rgb-color saddlebrown 139/255 23/85 19/255)) 110 (export (define-rgb-color sienna 32/51 82/255 3/17)) 111 (export (define-rgb-color peru 41/51 133/255 21/85)) 112 (export (define-rgb-color burlywood 74/85 184/255 9/17)) 113 (export (define-rgb-color beige 49/51 49/51 44/51)) 114 (export (define-rgb-color wheat 49/51 74/85 179/255)) 115 (export (define-rgb-color sandybrown 244/255 164/255 32/85)) 116 (export (define-rgb-color tan 14/17 12/17 28/51)) 117 (export (define-rgb-color chocolate 14/17 7/17 2/17)) 118 (export (define-rgb-color firebrick 178/255 2/15 2/15)) 119 (export (define-rgb-color brown 11/17 14/85 14/85)) 120 (export (define-rgb-color darksalmon 233/255 10/17 122/255)) 121 (export (define-rgb-color salmon 50/51 128/255 38/85)) 122 (export (define-rgb-color lightsalmon 1 32/51 122/255)) 123 (export (define-rgb-color orange 1 11/17 0)) 124 (export (define-rgb-color darkorange 1 28/51 0)) 125 (export (define-rgb-color coral 1 127/255 16/51)) 126 (export (define-rgb-color lightcoral 16/17 128/255 128/255)) 127 (export (define-rgb-color tomato 1 33/85 71/255)) 128 (export (define-rgb-color orangered 1 23/85 0)) 129 (export (define-rgb-color red 1 0 0)) 130 (export (define-rgb-color hotpink 1 7/17 12/17)) 131 (export (define-rgb-color deeppink 1 4/51 49/85)) 132 (export (define-rgb-color pink 1 64/85 203/255)) 133 (export (define-rgb-color lightpink 1 182/255 193/255)) 134 (export (define-rgb-color palevioletred 73/85 112/255 49/85)) 135 (export (define-rgb-color maroon 176/255 16/85 32/85)) 136 (export (define-rgb-color mediumvioletred 199/255 7/85 133/255)) 137 (export (define-rgb-color violetred 208/255 32/255 48/85)) 138 (export (define-rgb-color magenta 1 0 1)) 139 (export (define-rgb-color violet 14/15 26/51 14/15)) 140 (export (define-rgb-color plum 13/15 32/51 13/15)) 141 (export (define-rgb-color orchid 218/255 112/255 214/255)) 142 (export (define-rgb-color mediumorchid 62/85 1/3 211/255)) 143 (export (define-rgb-color darkorchid 3/5 10/51 4/5)) 144 (export (define-rgb-color darkviolet 148/255 0 211/255)) 145 (export (define-rgb-color blueviolet 46/85 43/255 226/255)) 146 (export (define-rgb-color purple 32/51 32/255 16/17)) 147 (export (define-rgb-color mediumpurple 49/85 112/255 73/85)) 148 (export (define-rgb-color thistle 72/85 191/255 72/85)) 149 (export (define-rgb-color snow1 1 50/51 50/51)) 150 (export (define-rgb-color snow2 14/15 233/255 233/255)) 151 (export (define-rgb-color snow3 41/51 67/85 67/85)) 152 (export (define-rgb-color snow4 139/255 137/255 137/255)) 153 (export (define-rgb-color seashell1 1 49/51 14/15)) 154 (export (define-rgb-color seashell2 14/15 229/255 74/85)) 155 (export (define-rgb-color seashell3 41/51 197/255 191/255)) 156 (export (define-rgb-color seashell4 139/255 134/255 26/51)) 157 (export (define-rgb-color antiquewhite1 1 239/255 73/85)) 158 (export (define-rgb-color antiquewhite2 14/15 223/255 4/5)) 159 (export (define-rgb-color antiquewhite3 41/51 64/85 176/255)) 160 (export (define-rgb-color antiquewhite4 139/255 131/255 8/17)) 161 (export (define-rgb-color bisque1 1 76/85 196/255)) 162 (export (define-rgb-color bisque2 14/15 71/85 61/85)) 163 (export (define-rgb-color bisque3 41/51 61/85 158/255)) 164 (export (define-rgb-color bisque4 139/255 25/51 107/255)) 165 (export (define-rgb-color peachpuff1 1 218/255 37/51)) 166 (export (define-rgb-color peachpuff2 14/15 203/255 173/255)) 167 (export (define-rgb-color peachpuff3 41/51 35/51 149/255)) 168 (export (define-rgb-color peachpuff4 139/255 7/15 101/255)) 169 (export (define-rgb-color navajowhite1 1 74/85 173/255)) 170 (export (define-rgb-color navajowhite2 14/15 69/85 161/255)) 171 (export (define-rgb-color navajowhite3 41/51 179/255 139/255)) 172 (export (define-rgb-color navajowhite4 139/255 121/255 94/255)) 173 (export (define-rgb-color lemonchiffon1 1 50/51 41/51)) 174 (export (define-rgb-color lemonchiffon2 14/15 233/255 191/255)) 175 (export (define-rgb-color lemonchiffon3 41/51 67/85 11/17)) 176 (export (define-rgb-color lemonchiffon4 139/255 137/255 112/255)) 177 (export (define-rgb-color cornsilk1 1 248/255 44/51)) 178 (export (define-rgb-color cornsilk2 14/15 232/255 41/51)) 179 (export (define-rgb-color cornsilk3 41/51 40/51 59/85)) 180 (export (define-rgb-color cornsilk4 139/255 8/15 8/17)) 181 (export (define-rgb-color ivory1 1 1 16/17)) 182 (export (define-rgb-color ivory2 14/15 14/15 224/255)) 183 (export (define-rgb-color ivory3 41/51 41/51 193/255)) 184 (export (define-rgb-color ivory4 139/255 139/255 131/255)) 185 (export (define-rgb-color honeydew1 16/17 1 16/17)) 186 (export (define-rgb-color honeydew2 224/255 14/15 224/255)) 187 (export (define-rgb-color honeydew3 193/255 41/51 193/255)) 188 (export (define-rgb-color honeydew4 131/255 139/255 131/255)) 189 (export (define-rgb-color lavenderblush1 1 16/17 49/51)) 190 (export (define-rgb-color lavenderblush2 14/15 224/255 229/255)) 191 (export (define-rgb-color lavenderblush3 41/51 193/255 197/255)) 192 (export (define-rgb-color lavenderblush4 139/255 131/255 134/255)) 193 (export (define-rgb-color mistyrose1 1 76/85 15/17)) 194 (export (define-rgb-color mistyrose2 14/15 71/85 14/17)) 195 (export (define-rgb-color mistyrose3 41/51 61/85 181/255)) 196 (export (define-rgb-color mistyrose4 139/255 25/51 41/85)) 197 (export (define-rgb-color azure1 16/17 1 1)) 198 (export (define-rgb-color azure2 224/255 14/15 14/15)) 199 (export (define-rgb-color azure3 193/255 41/51 41/51)) 200 (export (define-rgb-color azure4 131/255 139/255 139/255)) 201 (export (define-rgb-color slateblue1 131/255 37/85 1)) 202 (export (define-rgb-color slateblue2 122/255 103/255 14/15)) 203 (export (define-rgb-color slateblue3 7/17 89/255 41/51)) 204 (export (define-rgb-color slateblue4 71/255 4/17 139/255)) 205 (export (define-rgb-color royalblue1 24/85 118/255 1)) 206 (export (define-rgb-color royalblue2 67/255 22/51 14/15)) 207 (export (define-rgb-color royalblue3 58/255 19/51 41/51)) 208 (export (define-rgb-color royalblue4 13/85 64/255 139/255)) 209 (export (define-rgb-color blue1 0 0 1)) 210 (export (define-rgb-color blue2 0 0 14/15)) 211 (export (define-rgb-color blue3 0 0 41/51)) 212 (export (define-rgb-color blue4 0 0 139/255)) 213 (export (define-rgb-color dodgerblue1 2/17 48/85 1)) 214 (export (define-rgb-color dodgerblue2 28/255 134/255 14/15)) 215 (export (define-rgb-color dodgerblue3 8/85 116/255 41/51)) 216 (export (define-rgb-color dodgerblue4 16/255 26/85 139/255)) 217 (export (define-rgb-color steelblue1 33/85 184/255 1)) 218 (export (define-rgb-color steelblue2 92/255 172/255 14/15)) 219 (export (define-rgb-color steelblue3 79/255 148/255 41/51)) 220 (export (define-rgb-color steelblue4 18/85 20/51 139/255)) 221 (export (define-rgb-color deepskyblue1 0 191/255 1)) 222 (export (define-rgb-color deepskyblue2 0 178/255 14/15)) 223 (export (define-rgb-color deepskyblue3 0 154/255 41/51)) 224 (export (define-rgb-color deepskyblue4 0 104/255 139/255)) 225 (export (define-rgb-color skyblue1 9/17 206/255 1)) 226 (export (define-rgb-color skyblue2 42/85 64/85 14/15)) 227 (export (define-rgb-color skyblue3 36/85 166/255 41/51)) 228 (export (define-rgb-color skyblue4 74/255 112/255 139/255)) 229 (export (define-rgb-color lightskyblue1 176/255 226/255 1)) 230 (export (define-rgb-color lightskyblue2 164/255 211/255 14/15)) 231 (export (define-rgb-color lightskyblue3 47/85 182/255 41/51)) 232 (export (define-rgb-color lightskyblue4 32/85 41/85 139/255)) 233 (export (define-rgb-color slategray1 66/85 226/255 1)) 234 (export (define-rgb-color slategray2 37/51 211/255 14/15)) 235 (export (define-rgb-color slategray3 53/85 182/255 41/51)) 236 (export (define-rgb-color slategray4 36/85 41/85 139/255)) 237 (export (define-rgb-color lightsteelblue1 202/255 15/17 1)) 238 (export (define-rgb-color lightsteelblue2 188/255 14/17 14/15)) 239 (export (define-rgb-color lightsteelblue3 54/85 181/255 41/51)) 240 (export (define-rgb-color lightsteelblue4 22/51 41/85 139/255)) 241 (export (define-rgb-color lightblue1 191/255 239/255 1)) 242 (export (define-rgb-color lightblue2 178/255 223/255 14/15)) 243 (export (define-rgb-color lightblue3 154/255 64/85 41/51)) 244 (export (define-rgb-color lightblue4 104/255 131/255 139/255)) 245 (export (define-rgb-color lightcyan1 224/255 1 1)) 246 (export (define-rgb-color lightcyan2 209/255 14/15 14/15)) 247 (export (define-rgb-color lightcyan3 12/17 41/51 41/51)) 248 (export (define-rgb-color lightcyan4 122/255 139/255 139/255)) 249 (export (define-rgb-color paleturquoise1 11/15 1 1)) 250 (export (define-rgb-color paleturquoise2 58/85 14/15 14/15)) 251 (export (define-rgb-color paleturquoise3 10/17 41/51 41/51)) 252 (export (define-rgb-color paleturquoise4 2/5 139/255 139/255)) 253 (export (define-rgb-color cadetblue1 152/255 49/51 1)) 254 (export (define-rgb-color cadetblue2 142/255 229/255 14/15)) 255 (export (define-rgb-color cadetblue3 122/255 197/255 41/51)) 256 (export (define-rgb-color cadetblue4 83/255 134/255 139/255)) 257 (export (define-rgb-color turquoise1 0 49/51 1)) 258 (export (define-rgb-color turquoise2 0 229/255 14/15)) 259 (export (define-rgb-color turquoise3 0 197/255 41/51)) 260 (export (define-rgb-color turquoise4 0 134/255 139/255)) 261 (export (define-rgb-color cyan1 0 1 1)) 262 (export (define-rgb-color cyan2 0 14/15 14/15)) 263 (export (define-rgb-color cyan3 0 41/51 41/51)) 264 (export (define-rgb-color cyan4 0 139/255 139/255)) 265 (export (define-rgb-color darkslategray1 151/255 1 1)) 266 (export (define-rgb-color darkslategray2 47/85 14/15 14/15)) 267 (export (define-rgb-color darkslategray3 121/255 41/51 41/51)) 268 (export (define-rgb-color darkslategray4 82/255 139/255 139/255)) 269 (export (define-rgb-color aquamarine1 127/255 1 212/255)) 270 (export (define-rgb-color aquamarine2 118/255 14/15 66/85)) 271 (export (define-rgb-color aquamarine3 2/5 41/51 2/3)) 272 (export (define-rgb-color aquamarine4 23/85 139/255 116/255)) 273 (export (define-rgb-color darkseagreen1 193/255 1 193/255)) 274 (export (define-rgb-color darkseagreen2 12/17 14/15 12/17)) 275 (export (define-rgb-color darkseagreen3 31/51 41/51 31/51)) 276 (export (define-rgb-color darkseagreen4 7/17 139/255 7/17)) 277 (export (define-rgb-color seagreen1 28/85 1 53/85)) 278 (export (define-rgb-color seagreen2 26/85 14/15 148/255)) 279 (export (define-rgb-color seagreen3 67/255 41/51 128/255)) 280 (export (define-rgb-color seagreen4 46/255 139/255 29/85)) 281 (export (define-rgb-color palegreen1 154/255 1 154/255)) 282 (export (define-rgb-color palegreen2 48/85 14/15 48/85)) 283 (export (define-rgb-color palegreen3 124/255 41/51 124/255)) 284 (export (define-rgb-color palegreen4 28/85 139/255 28/85)) 285 (export (define-rgb-color springgreen1 0 1 127/255)) 286 (export (define-rgb-color springgreen2 0 14/15 118/255)) 287 (export (define-rgb-color springgreen3 0 41/51 2/5)) 288 (export (define-rgb-color springgreen4 0 139/255 23/85)) 289 (export (define-rgb-color green1 0 1 0)) 290 (export (define-rgb-color green2 0 14/15 0)) 291 (export (define-rgb-color green3 0 41/51 0)) 292 (export (define-rgb-color green4 0 139/255 0)) 293 (export (define-rgb-color chartreuse1 127/255 1 0)) 294 (export (define-rgb-color chartreuse2 118/255 14/15 0)) 295 (export (define-rgb-color chartreuse3 2/5 41/51 0)) 296 (export (define-rgb-color chartreuse4 23/85 139/255 0)) 297 (export (define-rgb-color olivedrab1 64/85 1 62/255)) 298 (export (define-rgb-color olivedrab2 179/255 14/15 58/255)) 299 (export (define-rgb-color olivedrab3 154/255 41/51 10/51)) 300 (export (define-rgb-color olivedrab4 7/17 139/255 2/15)) 301 (export (define-rgb-color darkolivegreen1 202/255 1 112/255)) 302 (export (define-rgb-color darkolivegreen2 188/255 14/15 104/255)) 303 (export (define-rgb-color darkolivegreen3 54/85 41/51 6/17)) 304 (export (define-rgb-color darkolivegreen4 22/51 139/255 61/255)) 305 (export (define-rgb-color khaki1 1 82/85 143/255)) 306 (export (define-rgb-color khaki2 14/15 46/51 133/255)) 307 (export (define-rgb-color khaki3 41/51 66/85 23/51)) 308 (export (define-rgb-color khaki4 139/255 134/255 26/85)) 309 (export (define-rgb-color lightgoldenrod1 1 236/255 139/255)) 310 (export (define-rgb-color lightgoldenrod2 14/15 44/51 26/51)) 311 (export (define-rgb-color lightgoldenrod3 41/51 38/51 112/255)) 312 (export (define-rgb-color lightgoldenrod4 139/255 43/85 76/255)) 313 (export (define-rgb-color lightyellow1 1 1 224/255)) 314 (export (define-rgb-color lightyellow2 14/15 14/15 209/255)) 315 (export (define-rgb-color lightyellow3 41/51 41/51 12/17)) 316 (export (define-rgb-color lightyellow4 139/255 139/255 122/255)) 317 (export (define-rgb-color yellow1 1 1 0)) 318 (export (define-rgb-color yellow2 14/15 14/15 0)) 319 (export (define-rgb-color yellow3 41/51 41/51 0)) 320 (export (define-rgb-color yellow4 139/255 139/255 0)) 321 (export (define-rgb-color gold1 1 43/51 0)) 322 (export (define-rgb-color gold2 14/15 67/85 0)) 323 (export (define-rgb-color gold3 41/51 173/255 0)) 324 (export (define-rgb-color gold4 139/255 39/85 0)) 325 (export (define-rgb-color goldenrod1 1 193/255 37/255)) 326 (export (define-rgb-color goldenrod2 14/15 12/17 2/15)) 327 (export (define-rgb-color goldenrod3 41/51 31/51 29/255)) 328 (export (define-rgb-color goldenrod4 139/255 7/17 4/51)) 329 (export (define-rgb-color darkgoldenrod1 1 37/51 1/17)) 330 (export (define-rgb-color darkgoldenrod2 14/15 173/255 14/255)) 331 (export (define-rgb-color darkgoldenrod3 41/51 149/255 4/85)) 332 (export (define-rgb-color darkgoldenrod4 139/255 101/255 8/255)) 333 (export (define-rgb-color rosybrown1 1 193/255 193/255)) 334 (export (define-rgb-color rosybrown2 14/15 12/17 12/17)) 335 (export (define-rgb-color rosybrown3 41/51 31/51 31/51)) 336 (export (define-rgb-color rosybrown4 139/255 7/17 7/17)) 337 (export (define-rgb-color indianred1 1 106/255 106/255)) 338 (export (define-rgb-color indianred2 14/15 33/85 33/85)) 339 (export (define-rgb-color indianred3 41/51 1/3 1/3)) 340 (export (define-rgb-color indianred4 139/255 58/255 58/255)) 341 (export (define-rgb-color sienna1 1 26/51 71/255)) 342 (export (define-rgb-color sienna2 14/15 121/255 22/85)) 343 (export (define-rgb-color sienna3 41/51 104/255 19/85)) 344 (export (define-rgb-color sienna4 139/255 71/255 38/255)) 345 (export (define-rgb-color burlywood1 1 211/255 31/51)) 346 (export (define-rgb-color burlywood2 14/15 197/255 29/51)) 347 (export (define-rgb-color burlywood3 41/51 2/3 25/51)) 348 (export (define-rgb-color burlywood4 139/255 23/51 1/3)) 349 (export (define-rgb-color wheat1 1 77/85 62/85)) 350 (export (define-rgb-color wheat2 14/15 72/85 58/85)) 351 (export (define-rgb-color wheat3 41/51 62/85 10/17)) 352 (export (define-rgb-color wheat4 139/255 42/85 2/5)) 353 (export (define-rgb-color tan1 1 11/17 79/255)) 354 (export (define-rgb-color tan2 14/15 154/255 73/255)) 355 (export (define-rgb-color tan3 41/51 133/255 21/85)) 356 (export (define-rgb-color tan4 139/255 6/17 43/255)) 357 (export (define-rgb-color chocolate1 1 127/255 12/85)) 358 (export (define-rgb-color chocolate2 14/15 118/255 11/85)) 359 (export (define-rgb-color chocolate3 41/51 2/5 29/255)) 360 (export (define-rgb-color chocolate4 139/255 23/85 19/255)) 361 (export (define-rgb-color firebrick1 1 16/85 16/85)) 362 (export (define-rgb-color firebrick2 14/15 44/255 44/255)) 363 (export (define-rgb-color firebrick3 41/51 38/255 38/255)) 364 (export (define-rgb-color firebrick4 139/255 26/255 26/255)) 365 (export (define-rgb-color brown1 1 64/255 64/255)) 366 (export (define-rgb-color brown2 14/15 59/255 59/255)) 367 (export (define-rgb-color brown3 41/51 1/5 1/5)) 368 (export (define-rgb-color brown4 139/255 7/51 7/51)) 369 (export (define-rgb-color salmon1 1 28/51 7/17)) 370 (export (define-rgb-color salmon2 14/15 26/51 98/255)) 371 (export (define-rgb-color salmon3 41/51 112/255 28/85)) 372 (export (define-rgb-color salmon4 139/255 76/255 19/85)) 373 (export (define-rgb-color lightsalmon1 1 32/51 122/255)) 374 (export (define-rgb-color lightsalmon2 14/15 149/255 38/85)) 375 (export (define-rgb-color lightsalmon3 41/51 43/85 98/255)) 376 (export (define-rgb-color lightsalmon4 139/255 29/85 22/85)) 377 (export (define-rgb-color orange1 1 11/17 0)) 378 (export (define-rgb-color orange2 14/15 154/255 0)) 379 (export (define-rgb-color orange3 41/51 133/255 0)) 380 (export (define-rgb-color orange4 139/255 6/17 0)) 381 (export (define-rgb-color darkorange1 1 127/255 0)) 382 (export (define-rgb-color darkorange2 14/15 118/255 0)) 383 (export (define-rgb-color darkorange3 41/51 2/5 0)) 384 (export (define-rgb-color darkorange4 139/255 23/85 0)) 385 (export (define-rgb-color coral1 1 38/85 86/255)) 386 (export (define-rgb-color coral2 14/15 106/255 16/51)) 387 (export (define-rgb-color coral3 41/51 91/255 23/85)) 388 (export (define-rgb-color coral4 139/255 62/255 47/255)) 389 (export (define-rgb-color tomato1 1 33/85 71/255)) 390 (export (define-rgb-color tomato2 14/15 92/255 22/85)) 391 (export (define-rgb-color tomato3 41/51 79/255 19/85)) 392 (export (define-rgb-color tomato4 139/255 18/85 38/255)) 393 (export (define-rgb-color orangered1 1 23/85 0)) 394 (export (define-rgb-color orangered2 14/15 64/255 0)) 395 (export (define-rgb-color orangered3 41/51 11/51 0)) 396 (export (define-rgb-color orangered4 139/255 37/255 0)) 397 (export (define-rgb-color red1 1 0 0)) 398 (export (define-rgb-color red2 14/15 0 0)) 399 (export (define-rgb-color red3 41/51 0 0)) 400 (export (define-rgb-color red4 139/255 0 0)) 401 (export (define-rgb-color deeppink1 1 4/51 49/85)) 402 (export (define-rgb-color deeppink2 14/15 6/85 137/255)) 403 (export (define-rgb-color deeppink3 41/51 16/255 118/255)) 404 (export (define-rgb-color deeppink4 139/255 2/51 16/51)) 405 (export (define-rgb-color hotpink1 1 22/51 12/17)) 406 (export (define-rgb-color hotpink2 14/15 106/255 167/255)) 407 (export (define-rgb-color hotpink3 41/51 32/85 48/85)) 408 (export (define-rgb-color hotpink4 139/255 58/255 98/255)) 409 (export (define-rgb-color pink1 1 181/255 197/255)) 410 (export (define-rgb-color pink2 14/15 169/255 184/255)) 411 (export (define-rgb-color pink3 41/51 29/51 158/255)) 412 (export (define-rgb-color pink4 139/255 33/85 36/85)) 413 (export (define-rgb-color lightpink1 1 58/85 37/51)) 414 (export (define-rgb-color lightpink2 14/15 54/85 173/255)) 415 (export (define-rgb-color lightpink3 41/51 28/51 149/255)) 416 (export (define-rgb-color lightpink4 139/255 19/51 101/255)) 417 (export (define-rgb-color palevioletred1 1 26/51 57/85)) 418 (export (define-rgb-color palevioletred2 14/15 121/255 53/85)) 419 (export (define-rgb-color palevioletred3 41/51 104/255 137/255)) 420 (export (define-rgb-color palevioletred4 139/255 71/255 31/85)) 421 (export (define-rgb-color maroon1 1 52/255 179/255)) 422 (export (define-rgb-color maroon2 14/15 16/85 167/255)) 423 (export (define-rgb-color maroon3 41/51 41/255 48/85)) 424 (export (define-rgb-color maroon4 139/255 28/255 98/255)) 425 (export (define-rgb-color violetred1 1 62/255 10/17)) 426 (export (define-rgb-color violetred2 14/15 58/255 28/51)) 427 (export (define-rgb-color violetred3 41/51 10/51 8/17)) 428 (export (define-rgb-color violetred4 139/255 2/15 82/255)) 429 (export (define-rgb-color magenta1 1 0 1)) 430 (export (define-rgb-color magenta2 14/15 0 14/15)) 431 (export (define-rgb-color magenta3 41/51 0 41/51)) 432 (export (define-rgb-color magenta4 139/255 0 139/255)) 433 (export (define-rgb-color orchid1 1 131/255 50/51)) 434 (export (define-rgb-color orchid2 14/15 122/255 233/255)) 435 (export (define-rgb-color orchid3 41/51 7/17 67/85)) 436 (export (define-rgb-color orchid4 139/255 71/255 137/255)) 437 (export (define-rgb-color plum1 1 11/15 1)) 438 (export (define-rgb-color plum2 14/15 58/85 14/15)) 439 (export (define-rgb-color plum3 41/51 10/17 41/51)) 440 (export (define-rgb-color plum4 139/255 2/5 139/255)) 441 (export (define-rgb-color mediumorchid1 224/255 2/5 1)) 442 (export (define-rgb-color mediumorchid2 209/255 19/51 14/15)) 443 (export (define-rgb-color mediumorchid3 12/17 82/255 41/51)) 444 (export (define-rgb-color mediumorchid4 122/255 11/51 139/255)) 445 (export (define-rgb-color darkorchid1 191/255 62/255 1)) 446 (export (define-rgb-color darkorchid2 178/255 58/255 14/15)) 447 (export (define-rgb-color darkorchid3 154/255 10/51 41/51)) 448 (export (define-rgb-color darkorchid4 104/255 2/15 139/255)) 449 (export (define-rgb-color purple1 31/51 16/85 1)) 450 (export (define-rgb-color purple2 29/51 44/255 14/15)) 451 (export (define-rgb-color purple3 25/51 38/255 41/51)) 452 (export (define-rgb-color purple4 1/3 26/255 139/255)) 453 (export (define-rgb-color mediumpurple1 57/85 26/51 1)) 454 (export (define-rgb-color mediumpurple2 53/85 121/255 14/15)) 455 (export (define-rgb-color mediumpurple3 137/255 104/255 41/51)) 456 (export (define-rgb-color mediumpurple4 31/85 71/255 139/255)) 457 (export (define-rgb-color thistle1 1 15/17 1)) 458 (export (define-rgb-color thistle2 14/15 14/17 14/15)) 459 (export (define-rgb-color thistle3 41/51 181/255 41/51)) 460 (export (define-rgb-color thistle4 139/255 41/85 139/255)) 461 (export (define-rgb-color gray0 0 0 0)) 462 (export (define-rgb-color grey0 0 0 0)) 463 (export (define-rgb-color gray1 1/85 1/85 1/85)) 464 (export (define-rgb-color grey1 1/85 1/85 1/85)) 465 (export (define-rgb-color gray2 1/51 1/51 1/51)) 466 (export (define-rgb-color grey2 1/51 1/51 1/51)) 467 (export (define-rgb-color gray3 8/255 8/255 8/255)) 468 (export (define-rgb-color grey3 8/255 8/255 8/255)) 469 (export (define-rgb-color gray4 2/51 2/51 2/51)) 470 (export (define-rgb-color grey4 2/51 2/51 2/51)) 471 (export (define-rgb-color gray5 13/255 13/255 13/255)) 472 (export (define-rgb-color grey5 13/255 13/255 13/255)) 473 (export (define-rgb-color gray6 1/17 1/17 1/17)) 474 (export (define-rgb-color grey6 1/17 1/17 1/17)) 475 (export (define-rgb-color gray7 6/85 6/85 6/85)) 476 (export (define-rgb-color grey7 6/85 6/85 6/85)) 477 (export (define-rgb-color gray8 4/51 4/51 4/51)) 478 (export (define-rgb-color grey8 4/51 4/51 4/51)) 479 (export (define-rgb-color gray9 23/255 23/255 23/255)) 480 (export (define-rgb-color grey9 23/255 23/255 23/255)) 481 (export (define-rgb-color gray10 26/255 26/255 26/255)) 482 (export (define-rgb-color grey10 26/255 26/255 26/255)) 483 (export (define-rgb-color gray11 28/255 28/255 28/255)) 484 (export (define-rgb-color grey11 28/255 28/255 28/255)) 485 (export (define-rgb-color gray12 31/255 31/255 31/255)) 486 (export (define-rgb-color grey12 31/255 31/255 31/255)) 487 (export (define-rgb-color gray13 11/85 11/85 11/85)) 488 (export (define-rgb-color grey13 11/85 11/85 11/85)) 489 (export (define-rgb-color gray14 12/85 12/85 12/85)) 490 (export (define-rgb-color grey14 12/85 12/85 12/85)) 491 (export (define-rgb-color gray15 38/255 38/255 38/255)) 492 (export (define-rgb-color grey15 38/255 38/255 38/255)) 493 (export (define-rgb-color gray16 41/255 41/255 41/255)) 494 (export (define-rgb-color grey16 41/255 41/255 41/255)) 495 (export (define-rgb-color gray17 43/255 43/255 43/255)) 496 (export (define-rgb-color grey17 43/255 43/255 43/255)) 497 (export (define-rgb-color gray18 46/255 46/255 46/255)) 498 (export (define-rgb-color grey18 46/255 46/255 46/255)) 499 (export (define-rgb-color gray19 16/85 16/85 16/85)) 500 (export (define-rgb-color grey19 16/85 16/85 16/85)) 501 (export (define-rgb-color gray20 1/5 1/5 1/5)) 502 (export (define-rgb-color grey20 1/5 1/5 1/5)) 503 (export (define-rgb-color gray21 18/85 18/85 18/85)) 504 (export (define-rgb-color grey21 18/85 18/85 18/85)) 505 (export (define-rgb-color gray22 56/255 56/255 56/255)) 506 (export (define-rgb-color grey22 56/255 56/255 56/255)) 507 (export (define-rgb-color gray23 59/255 59/255 59/255)) 508 (export (define-rgb-color grey23 59/255 59/255 59/255)) 509 (export (define-rgb-color gray24 61/255 61/255 61/255)) 510 (export (define-rgb-color grey24 61/255 61/255 61/255)) 511 (export (define-rgb-color gray25 64/255 64/255 64/255)) 512 (export (define-rgb-color grey25 64/255 64/255 64/255)) 513 (export (define-rgb-color gray26 22/85 22/85 22/85)) 514 (export (define-rgb-color grey26 22/85 22/85 22/85)) 515 (export (define-rgb-color gray27 23/85 23/85 23/85)) 516 (export (define-rgb-color grey27 23/85 23/85 23/85)) 517 (export (define-rgb-color gray28 71/255 71/255 71/255)) 518 (export (define-rgb-color grey28 71/255 71/255 71/255)) 519 (export (define-rgb-color gray29 74/255 74/255 74/255)) 520 (export (define-rgb-color grey29 74/255 74/255 74/255)) 521 (export (define-rgb-color gray30 77/255 77/255 77/255)) 522 (export (define-rgb-color grey30 77/255 77/255 77/255)) 523 (export (define-rgb-color gray31 79/255 79/255 79/255)) 524 (export (define-rgb-color grey31 79/255 79/255 79/255)) 525 (export (define-rgb-color gray32 82/255 82/255 82/255)) 526 (export (define-rgb-color grey32 82/255 82/255 82/255)) 527 (export (define-rgb-color gray33 28/85 28/85 28/85)) 528 (export (define-rgb-color grey33 28/85 28/85 28/85)) 529 (export (define-rgb-color gray34 29/85 29/85 29/85)) 530 (export (define-rgb-color grey34 29/85 29/85 29/85)) 531 (export (define-rgb-color gray35 89/255 89/255 89/255)) 532 (export (define-rgb-color grey35 89/255 89/255 89/255)) 533 (export (define-rgb-color gray36 92/255 92/255 92/255)) 534 (export (define-rgb-color grey36 92/255 92/255 92/255)) 535 (export (define-rgb-color gray37 94/255 94/255 94/255)) 536 (export (define-rgb-color grey37 94/255 94/255 94/255)) 537 (export (define-rgb-color gray38 97/255 97/255 97/255)) 538 (export (define-rgb-color grey38 97/255 97/255 97/255)) 539 (export (define-rgb-color gray39 33/85 33/85 33/85)) 540 (export (define-rgb-color grey39 33/85 33/85 33/85)) 541 (export (define-rgb-color gray40 2/5 2/5 2/5)) 542 (export (define-rgb-color grey40 2/5 2/5 2/5)) 543 (export (define-rgb-color gray41 7/17 7/17 7/17)) 544 (export (define-rgb-color grey41 7/17 7/17 7/17)) 545 (export (define-rgb-color gray42 107/255 107/255 107/255)) 546 (export (define-rgb-color grey42 107/255 107/255 107/255)) 547 (export (define-rgb-color gray43 22/51 22/51 22/51)) 548 (export (define-rgb-color grey43 22/51 22/51 22/51)) 549 (export (define-rgb-color gray44 112/255 112/255 112/255)) 550 (export (define-rgb-color grey44 112/255 112/255 112/255)) 551 (export (define-rgb-color gray45 23/51 23/51 23/51)) 552 (export (define-rgb-color grey45 23/51 23/51 23/51)) 553 (export (define-rgb-color gray46 39/85 39/85 39/85)) 554 (export (define-rgb-color grey46 39/85 39/85 39/85)) 555 (export (define-rgb-color gray47 8/17 8/17 8/17)) 556 (export (define-rgb-color grey47 8/17 8/17 8/17)) 557 (export (define-rgb-color gray48 122/255 122/255 122/255)) 558 (export (define-rgb-color grey48 122/255 122/255 122/255)) 559 (export (define-rgb-color gray49 25/51 25/51 25/51)) 560 (export (define-rgb-color grey49 25/51 25/51 25/51)) 561 (export (define-rgb-color gray50 127/255 127/255 127/255)) 562 (export (define-rgb-color grey50 127/255 127/255 127/255)) 563 (export (define-rgb-color gray51 26/51 26/51 26/51)) 564 (export (define-rgb-color grey51 26/51 26/51 26/51)) 565 (export (define-rgb-color gray52 133/255 133/255 133/255)) 566 (export (define-rgb-color grey52 133/255 133/255 133/255)) 567 (export (define-rgb-color gray53 9/17 9/17 9/17)) 568 (export (define-rgb-color grey53 9/17 9/17 9/17)) 569 (export (define-rgb-color gray54 46/85 46/85 46/85)) 570 (export (define-rgb-color grey54 46/85 46/85 46/85)) 571 (export (define-rgb-color gray55 28/51 28/51 28/51)) 572 (export (define-rgb-color grey55 28/51 28/51 28/51)) 573 (export (define-rgb-color gray56 143/255 143/255 143/255)) 574 (export (define-rgb-color grey56 143/255 143/255 143/255)) 575 (export (define-rgb-color gray57 29/51 29/51 29/51)) 576 (export (define-rgb-color grey57 29/51 29/51 29/51)) 577 (export (define-rgb-color gray58 148/255 148/255 148/255)) 578 (export (define-rgb-color grey58 148/255 148/255 148/255)) 579 (export (define-rgb-color gray59 10/17 10/17 10/17)) 580 (export (define-rgb-color grey59 10/17 10/17 10/17)) 581 (export (define-rgb-color gray60 3/5 3/5 3/5)) 582 (export (define-rgb-color grey60 3/5 3/5 3/5)) 583 (export (define-rgb-color gray61 52/85 52/85 52/85)) 584 (export (define-rgb-color grey61 52/85 52/85 52/85)) 585 (export (define-rgb-color gray62 158/255 158/255 158/255)) 586 (export (define-rgb-color grey62 158/255 158/255 158/255)) 587 (export (define-rgb-color gray63 161/255 161/255 161/255)) 588 (export (define-rgb-color grey63 161/255 161/255 161/255)) 589 (export (define-rgb-color gray64 163/255 163/255 163/255)) 590 (export (define-rgb-color grey64 163/255 163/255 163/255)) 591 (export (define-rgb-color gray65 166/255 166/255 166/255)) 592 (export (define-rgb-color grey65 166/255 166/255 166/255)) 593 (export (define-rgb-color gray66 56/85 56/85 56/85)) 594 (export (define-rgb-color grey66 56/85 56/85 56/85)) 595 (export (define-rgb-color gray67 57/85 57/85 57/85)) 596 (export (define-rgb-color grey67 57/85 57/85 57/85)) 597 (export (define-rgb-color gray68 173/255 173/255 173/255)) 598 (export (define-rgb-color grey68 173/255 173/255 173/255)) 599 (export (define-rgb-color gray69 176/255 176/255 176/255)) 600 (export (define-rgb-color grey69 176/255 176/255 176/255)) 601 (export (define-rgb-color gray70 179/255 179/255 179/255)) 602 (export (define-rgb-color grey70 179/255 179/255 179/255)) 603 (export (define-rgb-color gray71 181/255 181/255 181/255)) 604 (export (define-rgb-color grey71 181/255 181/255 181/255)) 605 (export (define-rgb-color gray72 184/255 184/255 184/255)) 606 (export (define-rgb-color grey72 184/255 184/255 184/255)) 607 (export (define-rgb-color gray73 62/85 62/85 62/85)) 608 (export (define-rgb-color grey73 62/85 62/85 62/85)) 609 (export (define-rgb-color gray74 63/85 63/85 63/85)) 610 (export (define-rgb-color grey74 63/85 63/85 63/85)) 611 (export (define-rgb-color gray75 191/255 191/255 191/255)) 612 (export (define-rgb-color grey75 191/255 191/255 191/255)) 613 (export (define-rgb-color gray76 194/255 194/255 194/255)) 614 (export (define-rgb-color grey76 194/255 194/255 194/255)) 615 (export (define-rgb-color gray77 196/255 196/255 196/255)) 616 (export (define-rgb-color grey77 196/255 196/255 196/255)) 617 (export (define-rgb-color gray78 199/255 199/255 199/255)) 618 (export (define-rgb-color grey78 199/255 199/255 199/255)) 619 (export (define-rgb-color gray79 67/85 67/85 67/85)) 620 (export (define-rgb-color grey79 67/85 67/85 67/85)) 621 (export (define-rgb-color gray80 4/5 4/5 4/5)) 622 (export (define-rgb-color grey80 4/5 4/5 4/5)) 623 (export (define-rgb-color gray81 69/85 69/85 69/85)) 624 (export (define-rgb-color grey81 69/85 69/85 69/85)) 625 (export (define-rgb-color gray82 209/255 209/255 209/255)) 626 (export (define-rgb-color grey82 209/255 209/255 209/255)) 627 (export (define-rgb-color gray83 212/255 212/255 212/255)) 628 (export (define-rgb-color grey83 212/255 212/255 212/255)) 629 (export (define-rgb-color gray84 214/255 214/255 214/255)) 630 (export (define-rgb-color grey84 214/255 214/255 214/255)) 631 (export (define-rgb-color gray85 217/255 217/255 217/255)) 632 (export (define-rgb-color grey85 217/255 217/255 217/255)) 633 (export (define-rgb-color gray86 73/85 73/85 73/85)) 634 (export (define-rgb-color grey86 73/85 73/85 73/85)) 635 (export (define-rgb-color gray87 74/85 74/85 74/85)) 636 (export (define-rgb-color grey87 74/85 74/85 74/85)) 637 (export (define-rgb-color gray88 224/255 224/255 224/255)) 638 (export (define-rgb-color grey88 224/255 224/255 224/255)) 639 (export (define-rgb-color gray89 227/255 227/255 227/255)) 640 (export (define-rgb-color grey89 227/255 227/255 227/255)) 641 (export (define-rgb-color gray90 229/255 229/255 229/255)) 642 (export (define-rgb-color grey90 229/255 229/255 229/255)) 643 (export (define-rgb-color gray91 232/255 232/255 232/255)) 644 (export (define-rgb-color grey91 232/255 232/255 232/255)) 645 (export (define-rgb-color gray92 47/51 47/51 47/51)) 646 (export (define-rgb-color grey92 47/51 47/51 47/51)) 647 (export (define-rgb-color gray93 79/85 79/85 79/85)) 648 (export (define-rgb-color grey93 79/85 79/85 79/85)) 649 (export (define-rgb-color gray94 16/17 16/17 16/17)) 650 (export (define-rgb-color grey94 16/17 16/17 16/17)) 651 (export (define-rgb-color gray95 242/255 242/255 242/255)) 652 (export (define-rgb-color grey95 242/255 242/255 242/255)) 653 (export (define-rgb-color gray96 49/51 49/51 49/51)) 654 (export (define-rgb-color grey96 49/51 49/51 49/51)) 655 (export (define-rgb-color gray97 247/255 247/255 247/255)) 656 (export (define-rgb-color grey97 247/255 247/255 247/255)) 657 (export (define-rgb-color gray98 50/51 50/51 50/51)) 658 (export (define-rgb-color grey98 50/51 50/51 50/51)) 659 (export (define-rgb-color gray99 84/85 84/85 84/85)) 660 (export (define-rgb-color grey99 84/85 84/85 84/85)) 661 (export (define-rgb-color gray100 1 1 1)) 662 (export (define-rgb-color grey100 1 1 1)) 663 (export (define-rgb-color darkgrey 169/255 169/255 169/255)) 664 (export (define-rgb-color darkgray 169/255 169/255 169/255)) 665 (export (define-rgb-color darkblue 0 0 139/255)) 666 (export (define-rgb-color darkcyan 0 139/255 139/255)) 667 (export (define-rgb-color darkmagenta 139/255 0 139/255)) 668 (export (define-rgb-color darkred 139/255 0 0)) 669 (export (define-rgb-color lightgreen 48/85 14/15 48/85))