lfe_machine_tv

-module(tv_lib_rgb).
%% derived from /usr/X11R6/lib/X11/rgb.txt
-export([colors/0]).
colors() -> 
[{"LightGreen",9498256},
 {"DarkRed",9109504},
 {"DarkMagenta",9109643},
 {"DarkCyan",35723},
 {"DarkBlue",139},
 {"DarkGray",11119017},
 {"DarkGrey",11119017},
 {"grey100",16777215},
 {"gray100",16777215},
 {"grey99",16579836},
 {"gray99",16579836},
 {"grey98",16448250},
 {"gray98",16448250},
 {"grey97",16250871},
 {"gray97",16250871},
 {"grey96",16119285},
 {"gray96",16119285},
 {"grey95",15921906},
 {"gray95",15921906},
 {"grey94",15790320},
 {"gray94",15790320},
 {"grey93",15592941},
 {"gray93",15592941},
 {"grey92",15461355},
 {"gray92",15461355},
 {"grey91",15263976},
 {"gray91",15263976},
 {"grey90",15066597},
 {"gray90",15066597},
 {"grey89",14935011},
 {"gray89",14935011},
 {"grey88",14737632},
 {"gray88",14737632},
 {"grey87",14606046},
 {"gray87",14606046},
 {"grey86",14408667},
 {"gray86",14408667},
 {"grey85",14277081},
 {"gray85",14277081},
 {"grey84",14079702},
 {"gray84",14079702},
 {"grey83",13948116},
 {"gray83",13948116},
 {"grey82",13750737},
 {"gray82",13750737},
 {"grey81",13619151},
 {"gray81",13619151},
 {"grey80",13421772},
 {"gray80",13421772},
 {"grey79",13224393},
 {"gray79",13224393},
 {"grey78",13092807},
 {"gray78",13092807},
 {"grey77",12895428},
 {"gray77",12895428},
 {"grey76",12763842},
 {"gray76",12763842},
 {"grey75",12566463},
 {"gray75",12566463},
 {"grey74",12434877},
 {"gray74",12434877},
 {"grey73",12237498},
 {"gray73",12237498},
 {"grey72",12105912},
 {"gray72",12105912},
 {"grey71",11908533},
 {"gray71",11908533},
 {"grey70",11776947},
 {"gray70",11776947},
 {"grey69",11579568},
 {"gray69",11579568},
 {"grey68",11382189},
 {"gray68",11382189},
 {"grey67",11250603},
 {"gray67",11250603},
 {"grey66",11053224},
 {"gray66",11053224},
 {"grey65",10921638},
 {"gray65",10921638},
 {"grey64",10724259},
 {"gray64",10724259},
 {"grey63",10592673},
 {"gray63",10592673},
 {"grey62",10395294},
 {"gray62",10395294},
 {"grey61",10263708},
 {"gray61",10263708},
 {"grey60",10066329},
 {"gray60",10066329},
 {"grey59",9868950},
 {"gray59",9868950},
 {"grey58",9737364},
 {"gray58",9737364},
 {"grey57",9539985},
 {"gray57",9539985},
 {"grey56",9408399},
 {"gray56",9408399},
 {"grey55",9211020},
 {"gray55",9211020},
 {"grey54",9079434},
 {"gray54",9079434},
 {"grey53",8882055},
 {"gray53",8882055},
 {"grey52",8750469},
 {"gray52",8750469},
 {"grey51",8553090},
 {"gray51",8553090},
 {"grey50",8355711},
 {"gray50",8355711},
 {"grey49",8224125},
 {"gray49",8224125},
 {"grey48",8026746},
 {"gray48",8026746},
 {"grey47",7895160},
 {"gray47",7895160},
 {"grey46",7697781},
 {"gray46",7697781},
 {"grey45",7566195},
 {"gray45",7566195},
 {"grey44",7368816},
 {"gray44",7368816},
 {"grey43",7237230},
 {"gray43",7237230},
 {"grey42",7039851},
 {"gray42",7039851},
 {"grey41",6908265},
 {"gray41",6908265},
 {"grey40",6710886},
 {"gray40",6710886},
 {"grey39",6513507},
 {"gray39",6513507},
 {"grey38",6381921},
 {"gray38",6381921},
 {"grey37",6184542},
 {"gray37",6184542},
 {"grey36",6052956},
 {"gray36",6052956},
 {"grey35",5855577},
 {"gray35",5855577},
 {"grey34",5723991},
 {"gray34",5723991},
 {"grey33",5526612},
 {"gray33",5526612},
 {"grey32",5395026},
 {"gray32",5395026},
 {"grey31",5197647},
 {"gray31",5197647},
 {"grey30",5066061},
 {"gray30",5066061},
 {"grey29",4868682},
 {"gray29",4868682},
 {"grey28",4671303},
 {"gray28",4671303},
 {"grey27",4539717},
 {"gray27",4539717},
 {"grey26",4342338},
 {"gray26",4342338},
 {"grey25",4210752},
 {"gray25",4210752},
 {"grey24",4013373},
 {"gray24",4013373},
 {"grey23",3881787},
 {"gray23",3881787},
 {"grey22",3684408},
 {"gray22",3684408},
 {"grey21",3552822},
 {"gray21",3552822},
 {"grey20",3355443},
 {"gray20",3355443},
 {"grey19",3158064},
 {"gray19",3158064},
 {"grey18",3026478},
 {"gray18",3026478},
 {"grey17",2829099},
 {"gray17",2829099},
 {"grey16",2697513},
 {"gray16",2697513},
 {"grey15",2500134},
 {"gray15",2500134},
 {"grey14",2368548},
 {"gray14",2368548},
 {"grey13",2171169},
 {"gray13",2171169},
 {"grey12",2039583},
 {"gray12",2039583},
 {"grey11",1842204},
 {"gray11",1842204},
 {"grey10",1710618},
 {"gray10",1710618},
 {"grey9",1513239},
 {"gray9",1513239},
 {"grey8",1315860},
 {"gray8",1315860},
 {"grey7",1184274},
 {"gray7",1184274},
 {"grey6",986895},
 {"gray6",986895},
 {"grey5",855309},
 {"gray5",855309},
 {"grey4",657930},
 {"gray4",657930},
 {"grey3",526344},
 {"gray3",526344},
 {"grey2",328965},
 {"gray2",328965},
 {"grey1",197379},
 {"gray1",197379},
 {"grey0",0},
 {"gray0",0},
 {"thistle4",9141131},
 {"thistle3",13481421},
 {"thistle2",15651566},
 {"thistle1",16769535},
 {"MediumPurple4",6113163},
 {"MediumPurple3",9005261},
 {"MediumPurple2",10451438},
 {"MediumPurple1",11240191},
 {"purple4",5577355},
 {"purple3",8201933},
 {"purple2",9514222},
 {"purple1",10170623},
 {"DarkOrchid4",6824587},
 {"DarkOrchid3",10105549},
 {"DarkOrchid2",11680494},
 {"DarkOrchid1",12533503},
 {"MediumOrchid4",8009611},
 {"MediumOrchid3",11817677},
 {"MediumOrchid2",13721582},
 {"MediumOrchid1",14706431},
 {"plum4",9135755},
 {"plum3",13473485},
 {"plum2",15642350},
 {"plum1",16759807},
 {"orchid4",9127817},
 {"orchid3",13461961},
 {"orchid2",15629033},
 {"orchid1",16745466},
 {"magenta4",9109643},
 {"magenta3",13435085},
 {"magenta2",15597806},
 {"magenta1",16711935},
 {"VioletRed4",9118290},
 {"VioletRed3",13447800},
 {"VioletRed2",15612556},
 {"VioletRed1",16727702},
 {"maroon4",9116770},
 {"maroon3",13445520},
 {"maroon2",15610023},
 {"maroon1",16725171},
 {"PaleVioletRed4",9127773},
 {"PaleVioletRed3",13461641},
 {"PaleVioletRed2",15628703},
 {"PaleVioletRed1",16745131},
 {"LightPink4",9133925},
 {"LightPink3",13470869},
 {"LightPink2",15639213},
 {"LightPink1",16756409},
 {"pink4",9134956},
 {"pink3",13472158},
 {"pink2",15641016},
 {"pink1",16758213},
 {"HotPink4",9124450},
 {"HotPink3",13459600},
 {"HotPink2",15624871},
 {"HotPink1",16740020},
 {"DeepPink4",9112144},
 {"DeepPink3",13439094},
 {"DeepPink2",15602313},
 {"DeepPink1",16716947},
 {"red4",9109504},
 {"red3",13434880},
 {"red2",15597568},
 {"red1",16711680},
 {"OrangeRed4",9118976},
 {"OrangeRed3",13448960},
 {"OrangeRed2",15613952},
 {"OrangeRed1",16729344},
 {"tomato4",9123366},
 {"tomato3",13455161},
 {"tomato2",15621186},
 {"tomato1",16737095},
 {"coral4",9125423},
 {"coral3",13458245},
 {"coral2",15624784},
 {"coral1",16740950},
 {"DarkOrange4",9127168},
 {"DarkOrange3",13460992},
 {"DarkOrange2",15627776},
 {"DarkOrange1",16744192},
 {"orange4",9132544},
 {"orange3",13468928},
 {"orange2",15636992},
 {"orange1",16753920},
 {"LightSalmon4",9131842},
 {"LightSalmon3",13468002},
 {"LightSalmon2",15635826},
 {"LightSalmon1",16752762},
 {"salmon4",9129017},
 {"salmon3",13463636},
 {"salmon2",15630946},
 {"salmon1",16747625},
 {"brown4",9118499},
 {"brown3",13447987},
 {"brown2",15612731},
 {"brown1",16728128},
 {"firebrick4",9116186},
 {"firebrick3",13444646},
 {"firebrick2",15608876},
 {"firebrick1",16724016},
 {"chocolate4",9127187},
 {"chocolate3",13461021},
 {"chocolate2",15627809},
 {"chocolate1",16744228},
 {"tan4",9132587},
 {"tan3",13468991},
 {"tan2",15637065},
 {"tan1",16753999},
 {"wheat4",9141862},
 {"wheat3",13482646},
 {"wheat2",15653038},
 {"wheat1",16771002},
 {"burlywood4",9139029},
 {"burlywood3",13478525},
 {"burlywood2",15648145},
 {"burlywood1",16765851},
 {"sienna4",9127718},
 {"sienna3",13461561},
 {"sienna2",15628610},
 {"sienna1",16745031},
 {"IndianRed4",9124410},
 {"IndianRed3",13456725},
 {"IndianRed2",15623011},
 {"IndianRed1",16738922},
 {"RosyBrown4",9136489},
 {"RosyBrown3",13474715},
 {"RosyBrown2",15643828},
 {"RosyBrown1",16761281},
 {"DarkGoldenrod4",9135368},
 {"DarkGoldenrod3",13473036},
 {"DarkGoldenrod2",15641870},
 {"DarkGoldenrod1",16759055},
 {"goldenrod4",9136404},
 {"goldenrod3",13474589},
 {"goldenrod2",15643682},
 {"goldenrod1",16761125},
 {"gold4",9139456},
 {"gold3",13479168},
 {"gold2",15649024},
 {"gold1",16766720},
 {"yellow4",9145088},
 {"yellow3",13487360},
 {"yellow2",15658496},
 {"yellow1",16776960},
 {"LightYellow4",9145210},
 {"LightYellow3",13487540},
 {"LightYellow2",15658705},
 {"LightYellow1",16777184},
 {"LightGoldenrod4",9142604},
 {"LightGoldenrod3",13483632},
 {"LightGoldenrod2",15654018},
 {"LightGoldenrod1",16772235},
 {"khaki4",9143886},
 {"khaki3",13485683},
 {"khaki2",15656581},
 {"khaki1",16774799},
 {"DarkOliveGreen4",7244605},
 {"DarkOliveGreen3",10669402},
 {"DarkOliveGreen2",12381800},
 {"DarkOliveGreen1",13303664},
 {"OliveDrab4",6916898},
 {"OliveDrab3",10145074},
 {"OliveDrab2",11791930},
 {"OliveDrab1",12648254},
 {"chartreuse4",4557568},
 {"chartreuse3",6737152},
 {"chartreuse2",7794176},
 {"chartreuse1",8388352},
 {"green4",35584},
 {"green3",52480},
 {"green2",60928},
 {"green1",65280},
 {"SpringGreen4",35653},
 {"SpringGreen3",52582},
 {"SpringGreen2",61046},
 {"SpringGreen1",65407},
 {"PaleGreen4",5540692},
 {"PaleGreen3",8179068},
 {"PaleGreen2",9498256},
 {"PaleGreen1",10157978},
 {"SeaGreen4",3050327},
 {"SeaGreen3",4443520},
 {"SeaGreen2",5172884},
 {"SeaGreen1",5570463},
 {"DarkSeaGreen4",6916969},
 {"DarkSeaGreen3",10210715},
 {"DarkSeaGreen2",11857588},
 {"DarkSeaGreen1",12713921},
 {"aquamarine4",4557684},
 {"aquamarine3",6737322},
 {"aquamarine2",7794374},
 {"aquamarine1",8388564},
 {"DarkSlateGray4",5409675},
 {"DarkSlateGray3",7982541},
 {"DarkSlateGray2",9301742},
 {"DarkSlateGray1",9961471},
 {"cyan4",35723},
 {"cyan3",52685},
 {"cyan2",61166},
 {"cyan1",65535},
 {"turquoise4",34443},
 {"turquoise3",50637},
 {"turquoise2",58862},
 {"turquoise1",62975},
 {"CadetBlue4",5473931},
 {"CadetBlue3",8046029},
 {"CadetBlue2",9364974},
 {"CadetBlue1",10024447},
 {"PaleTurquoise4",6720395},
 {"PaleTurquoise3",9883085},
 {"PaleTurquoise2",11464430},
 {"PaleTurquoise1",12320767},
 {"LightCyan4",8031115},
 {"LightCyan3",11849165},
 {"LightCyan2",13758190},
 {"LightCyan1",14745599},
 {"LightBlue4",6849419},
 {"LightBlue3",10141901},
 {"LightBlue2",11722734},
 {"LightBlue1",12578815},
 {"LightSteelBlue4",7240587},
 {"LightSteelBlue3",10663373},
 {"LightSteelBlue2",12374766},
 {"LightSteelBlue1",13296127},
 {"SlateGray4",7109515},
 {"SlateGray3",10467021},
 {"SlateGray2",12178414},
 {"SlateGray1",13034239},
 {"LightSkyBlue4",6323083},
 {"LightSkyBlue3",9287373},
 {"LightSkyBlue2",10802158},
 {"LightSkyBlue1",11592447},
 {"SkyBlue4",4878475},
 {"SkyBlue3",7120589},
 {"SkyBlue2",8306926},
 {"SkyBlue1",8900351},
 {"DeepSkyBlue4",26763},
 {"DeepSkyBlue3",39629},
 {"DeepSkyBlue2",45806},
 {"DeepSkyBlue1",49151},
 {"SteelBlue4",3564683},
 {"SteelBlue3",5215437},
 {"SteelBlue2",6073582},
 {"SteelBlue1",6535423},
 {"DodgerBlue4",1068683},
 {"DodgerBlue3",1602765},
 {"DodgerBlue2",1869550},
 {"DodgerBlue1",2003199},
 {"blue4",139},
 {"blue3",205},
 {"blue2",238},
 {"blue1",255},
 {"RoyalBlue4",2572427},
 {"RoyalBlue3",3825613},
 {"RoyalBlue2",4419310},
 {"RoyalBlue1",4749055},
 {"SlateBlue4",4668555},
 {"SlateBlue3",6904269},
 {"SlateBlue2",8021998},
 {"SlateBlue1",8613887},
 {"azure4",8620939},
 {"azure3",12701133},
 {"azure2",14741230},
 {"azure1",15794175},
 {"MistyRose4",9141627},
 {"MistyRose3",13481909},
 {"MistyRose2",15652306},
 {"MistyRose1",16770273},
 {"LavenderBlush4",9143174},
 {"LavenderBlush3",13484485},
 {"LavenderBlush2",15655141},
 {"LavenderBlush1",16773365},
 {"honeydew4",8620931},
 {"honeydew3",12701121},
 {"honeydew2",14741216},
 {"honeydew1",15794160},
 {"ivory4",9145219},
 {"ivory3",13487553},
 {"ivory2",15658720},
 {"ivory1",16777200},
 {"cornsilk4",9144440},
 {"cornsilk3",13486257},
 {"cornsilk2",15657165},
 {"cornsilk1",16775388},
 {"LemonChiffon4",9144688},
 {"LemonChiffon3",13486501},
 {"LemonChiffon2",15657407},
 {"LemonChiffon1",16775885},
 {"NavajoWhite4",9140574},
 {"NavajoWhite3",13480843},
 {"NavajoWhite2",15650721},
 {"NavajoWhite1",16768685},
 {"PeachPuff4",9140069},
 {"PeachPuff3",13479829},
 {"PeachPuff2",15649709},
 {"PeachPuff1",16767673},
 {"bisque4",9141611},
 {"bisque3",13481886},
 {"bisque2",15652279},
 {"bisque1",16770244},
 {"AntiqueWhite4",9143160},
 {"AntiqueWhite3",13484208},
 {"AntiqueWhite2",15654860},
 {"AntiqueWhite1",16773083},
 {"seashell4",9143938},
 {"seashell3",13485503},
 {"seashell2",15656414},
 {"seashell1",16774638},
 {"snow4",9144713},
 {"snow3",13486537},
 {"snow2",15657449},
 {"snow1",16775930},
 {"thistle",14204888},
 {"MediumPurple",9662683},
 {"purple",10494192},
 {"BlueViolet",9055202},
 {"DarkViolet",9699539},
 {"DarkOrchid",10040012},
 {"MediumOrchid",12211667},
 {"orchid",14315734},
 {"plum",14524637},
 {"violet",15631086},
 {"magenta",16711935},
 {"VioletRed",13639824},
 {"MediumVioletRed",13047173},
 {"maroon",11546720},
 {"PaleVioletRed",14381203},
 {"LightPink",16758465},
 {"pink",16761035},
 {"DeepPink",16716947},
 {"HotPink",16738740},
 {"red",16711680},
 {"OrangeRed",16729344},
 {"tomato",16737095},
 {"LightCoral",15761536},
 {"coral",16744272},
 {"DarkOrange",16747520},
 {"orange",16753920},
 {"LightSalmon",16752762},
 {"salmon",16416882},
 {"DarkSalmon",15308410},
 {"brown",10824234},
 {"firebrick",11674146},
 {"chocolate",13789470},
 {"tan",13808780},
 {"SandyBrown",16032864},
 {"wheat",16113331},
 {"beige",16119260},
 {"burlywood",14596231},
 {"peru",13468991},
 {"sienna",10506797},
 {"SaddleBrown",9127187},
 {"IndianRed",13458524},
 {"RosyBrown",12357519},
 {"DarkGoldenrod",12092939},
 {"goldenrod",14329120},
 {"LightGoldenrod",15654274},
 {"gold",16766720},
 {"yellow",16776960},
 {"LightYellow",16777184},
 {"LightGoldenrodYellow",16448210},
 {"PaleGoldenrod",15657130},
 {"khaki",15787660},
 {"DarkKhaki",12433259},
 {"OliveDrab",7048739},
 {"ForestGreen",2263842},
 {"YellowGreen",10145074},
 {"LimeGreen",3329330},
 {"GreenYellow",11403055},
 {"MediumSpringGreen",64154},
 {"chartreuse",8388352},
 {"green",65280},
 {"LawnGreen",8190976},
 {"SpringGreen",65407},
 {"PaleGreen",10025880},
 {"LightSeaGreen",2142890},
 {"MediumSeaGreen",3978097},
 {"SeaGreen",3050327},
 {"DarkSeaGreen",9419919},
 {"DarkOliveGreen",5597999},
 {"DarkGreen",25600},
 {"aquamarine",8388564},
 {"MediumAquamarine",6737322},
 {"CadetBlue",6266528},
 {"LightCyan",14745599},
 {"cyan",65535},
 {"turquoise",4251856},
 {"MediumTurquoise",4772300},
 {"DarkTurquoise",52945},
 {"PaleTurquoise",11529966},
 {"PowderBlue",11591910},
 {"LightBlue",11393254},
 {"LightSteelBlue",11584734},
 {"SteelBlue",4620980},
 {"LightSkyBlue",8900346},
 {"SkyBlue",8900331},
 {"DeepSkyBlue",49151},
 {"DodgerBlue",2003199},
 {"blue",255},
 {"RoyalBlue",4286945},
 {"MediumBlue",205},
 {"LightSlateBlue",8679679},
 {"MediumSlateBlue",8087790},
 {"SlateBlue",6970061},
 {"DarkSlateBlue",4734347},
 {"CornflowerBlue",6591981},
 {"NavyBlue",128},
 {"navy",128},
 {"MidnightBlue",1644912},
 {"LightGray",13882323},
 {"LightGrey",13882323},
 {"grey",12500670},
 {"gray",12500670},
 {"LightSlateGrey",7833753},
 {"LightSlateGray",7833753},
 {"SlateGrey",7372944},
 {"SlateGray",7372944},
 {"DimGrey",6908265},
 {"DimGray",6908265},
 {"DarkSlateGrey",3100495},
 {"DarkSlateGray",3100495},
 {"black",0},
 {"white",16777215},
 {"MistyRose",16770273},
 {"LavenderBlush",16773365},
 {"lavender",15132410},
 {"AliceBlue",15792383},
 {"azure",15794175},
 {"MintCream",16121850},
 {"honeydew",15794160},
 {"seashell",16774638},
 {"LemonChiffon",16775885},
 {"ivory",16777200},
 {"cornsilk",16775388},
 {"moccasin",16770229},
 {"NavajoWhite",16768685},
 {"PeachPuff",16767673},
 {"bisque",16770244},
 {"BlanchedAlmond",16772045},
 {"PapayaWhip",16773077},
 {"AntiqueWhite",16444375},
 {"linen",16445670},
 {"OldLace",16643558},
 {"FloralWhite",16775920},
 {"gainsboro",14474460},
 {"WhiteSmoke",16119285},
 {"GhostWhite",16316671},
 {"snow",16775930}].