/* Wavecols.inc - Nearest viewable equivalents (of maximum luminance) of pure spectral colors (380 nm to 780 nm) under assumed_gamma 1.0.  A given color is named "Wv + X +"nm" where X = the wavelength in nanometers to the nearest nanometer. Uses POV 3.1 syntax.
If your assumed_gamma is something else (generally unwise), instead of saying color Wv477nm, say Gc(Wv477nm) where Gc is the following macro to be included in your script:
#macro Gc(_Cl)
  color rgb <pow((_Cl.red), 1 / _Gt), pow((_Cl.green), 1 / _Gt),
             pow((_Cl.blue), 1 / _Gt)> filter (_Cl.filter) transmit
             (_Cl.transmit)
#end
Replace "_Gt" in the macro with the assumed_gamma that you are using.
Note that colors at the far blue and red ends of the spectrum (bluer or redder than the rgb blue (~464 nm) and red (~611 nm) primaries themselves) project as magentas or purples. The rgb green primary is at about 549 nm, rgb yellow is about 570 nm, rgb cyan is about 491 nm.  Magenta, like purple, is a mixture of red and blue (at opposite ends of the spectrum) and has no true dominant frequency, so they don't properly appear in this list.  Thus, except as noted above, you will have to do without them if you are using pure spectral colors.
This include file was computed with a macro from my forthcoming color macros package.  It is based on the Rec. 709 standard with colors linearly interpolated from the (5 nm increments) CIE 1931 spectral chromaticity chart.*/

#declare Wv380nm = color rgb <0.271984, 0.000000, 1.000000>;

#declare Wv381nm = color rgb <0.271890, 0.000000, 1.000000>;

#declare Wv382nm = color rgb <0.271795, 0.000000, 1.000000>;

#declare Wv383nm = color rgb <0.271700, 0.000000, 1.000000>;

#declare Wv384nm = color rgb <0.271605, 0.000000, 1.000000>;

#declare Wv385nm = color rgb <0.271510, 0.000000, 1.000000>;

#declare Wv386nm = color rgb <0.271362, 0.000000, 1.000000>;

#declare Wv387nm = color rgb <0.271213, 0.000000, 1.000000>;

#declare Wv388nm = color rgb <0.271063, 0.000000, 1.000000>;

#declare Wv389nm = color rgb <0.270914, 0.000000, 1.000000>;

#declare Wv390nm = color rgb <0.270766, 0.000000, 1.000000>;

#declare Wv391nm = color rgb <0.270576, 0.000000, 1.000000>;

#declare Wv392nm = color rgb <0.270387, 0.000000, 1.000000>;

#declare Wv393nm = color rgb <0.270197, 0.000000, 1.000000>;

#declare Wv394nm = color rgb <0.270008, 0.000000, 1.000000>;

#declare Wv395nm = color rgb <0.269818, 0.000000, 1.000000>;

#declare Wv396nm = color rgb <0.269575, 0.000000, 1.000000>;

#declare Wv397nm = color rgb <0.269331, 0.000000, 1.000000>;

#declare Wv398nm = color rgb <0.269088, 0.000000, 1.000000>;

#declare Wv399nm = color rgb <0.268845, 0.000000, 1.000000>;

#declare Wv400nm = color rgb <0.268601, 0.000000, 1.000000>;

#declare Wv401nm = color rgb <0.268317, 0.000000, 1.000000>;

#declare Wv402nm = color rgb <0.268033, 0.000000, 1.000000>;

#declare Wv403nm = color rgb <0.267749, 0.000000, 1.000000>;

#declare Wv404nm = color rgb <0.267464, 0.000000, 1.000000>;

#declare Wv405nm = color rgb <0.267180, 0.000000, 1.000000>;

#declare Wv406nm = color rgb <0.266802, 0.000000, 1.000000>;

#declare Wv407nm = color rgb <0.266423, 0.000000, 1.000000>;

#declare Wv408nm = color rgb <0.266044, 0.000000, 1.000000>;

#declare Wv409nm = color rgb <0.265665, 0.000000, 1.000000>;

#declare Wv410nm = color rgb <0.265286, 0.000000, 1.000000>;

#declare Wv411nm = color rgb <0.264813, 0.000000, 1.000000>;

#declare Wv412nm = color rgb <0.264339, 0.000000, 1.000000>;

#declare Wv413nm = color rgb <0.263865, 0.000000, 1.000000>;

#declare Wv414nm = color rgb <0.263392, 0.000000, 1.000000>;

#declare Wv415nm = color rgb <0.262918, 0.000000, 1.000000>;

#declare Wv416nm = color rgb <0.262132, 0.000000, 1.000000>;

#declare Wv417nm = color rgb <0.261345, 0.000000, 1.000000>;

#declare Wv418nm = color rgb <0.260558, 0.000000, 1.000000>;

#declare Wv419nm = color rgb <0.259771, 0.000000, 1.000000>;

#declare Wv420nm = color rgb <0.258983, 0.000000, 1.000000>;

#declare Wv421nm = color rgb <0.257650, 0.000000, 1.000000>;

#declare Wv422nm = color rgb <0.256316, 0.000000, 1.000000>;

#declare Wv423nm = color rgb <0.254981, 0.000000, 1.000000>;

#declare Wv424nm = color rgb <0.253645, 0.000000, 1.000000>;

#declare Wv425nm = color rgb <0.252307, 0.000000, 1.000000>;

#declare Wv426nm = color rgb <0.250515, 0.000000, 1.000000>;

#declare Wv427nm = color rgb <0.248721, 0.000000, 1.000000>;

#declare Wv428nm = color rgb <0.246924, 0.000000, 1.000000>;

#declare Wv429nm = color rgb <0.245125, 0.000000, 1.000000>;

#declare Wv430nm = color rgb <0.243323, 0.000000, 1.000000>;

#declare Wv431nm = color rgb <0.240690, 0.000000, 1.000000>;

#declare Wv432nm = color rgb <0.238051, 0.000000, 1.000000>;

#declare Wv433nm = color rgb <0.235406, 0.000000, 1.000000>;

#declare Wv434nm = color rgb <0.232756, 0.000000, 1.000000>;

#declare Wv435nm = color rgb <0.230100, 0.000000, 1.000000>;

#declare Wv436nm = color rgb <0.226696, 0.000000, 1.000000>;

#declare Wv437nm = color rgb <0.223282, 0.000000, 1.000000>;

#declare Wv438nm = color rgb <0.219858, 0.000000, 1.000000>;

#declare Wv439nm = color rgb <0.216424, 0.000000, 1.000000>;

#declare Wv440nm = color rgb <0.212979, 0.000000, 1.000000>;

#declare Wv441nm = color rgb <0.208479, 0.000000, 1.000000>;

#declare Wv442nm = color rgb <0.203963, 0.000000, 1.000000>;

#declare Wv443nm = color rgb <0.199430, 0.000000, 1.000000>;

#declare Wv444nm = color rgb <0.194880, 0.000000, 1.000000>;

#declare Wv445nm = color rgb <0.190314, 0.000000, 1.000000>;

#declare Wv446nm = color rgb <0.184085, 0.000000, 1.000000>;

#declare Wv447nm = color rgb <0.177826, 0.000000, 1.000000>;

#declare Wv448nm = color rgb <0.171535, 0.000000, 1.000000>;

#declare Wv449nm = color rgb <0.165212, 0.000000, 1.000000>;

#declare Wv450nm = color rgb <0.158857, 0.000000, 1.000000>;

#declare Wv451nm = color rgb <0.150831, 0.000000, 1.000000>;

#declare Wv452nm = color rgb <0.142753, 0.000000, 1.000000>;

#declare Wv453nm = color rgb <0.134622, 0.000000, 1.000000>;

#declare Wv454nm = color rgb <0.126437, 0.000000, 1.000000>;

#declare Wv455nm = color rgb <0.118200, 0.000000, 1.000000>;

#declare Wv456nm = color rgb <0.107422, 0.000000, 1.000000>;

#declare Wv457nm = color rgb <0.096544, 0.000000, 1.000000>;

#declare Wv458nm = color rgb <0.085565, 0.000000, 1.000000>;

#declare Wv459nm = color rgb <0.074484, 0.000000, 1.000000>;

#declare Wv460nm = color rgb <0.063298, 0.000000, 1.000000>;

#declare Wv461nm = color rgb <0.048567, 0.000000, 1.000000>;

#declare Wv462nm = color rgb <0.033631, 0.000000, 1.000000>;

#declare Wv463nm = color rgb <0.018487, 0.000000, 1.000000>;

#declare Wv464nm = color rgb <0.003129, 0.000000, 1.000000>;

#declare Wv465nm = color rgb <0.000000, 0.012297, 1.000000>;

#declare Wv466nm = color rgb <0.000000, 0.035249, 1.000000>;

#declare Wv467nm = color rgb <0.000000, 0.057704, 1.000000>;

#declare Wv468nm = color rgb <0.000000, 0.079678, 1.000000>;

#declare Wv469nm = color rgb <0.000000, 0.101186, 1.000000>;

#declare Wv470nm = color rgb <0.000000, 0.122243, 1.000000>;

#declare Wv471nm = color rgb <0.000000, 0.152142, 1.000000>;

#declare Wv472nm = color rgb <0.000000, 0.181281, 1.000000>;

#declare Wv473nm = color rgb <0.000000, 0.209687, 1.000000>;

#declare Wv474nm = color rgb <0.000000, 0.237390, 1.000000>;

#declare Wv475nm = color rgb <0.000000, 0.264413, 1.000000>;

#declare Wv476nm = color rgb <0.000000, 0.302885, 1.000000>;

#declare Wv477nm = color rgb <0.000000, 0.340232, 1.000000>;

#declare Wv478nm = color rgb <0.000000, 0.376504, 1.000000>;

#declare Wv479nm = color rgb <0.000000, 0.411745, 1.000000>;

#declare Wv480nm = color rgb <0.000000, 0.446000, 1.000000>;

#declare Wv481nm = color rgb <0.000000, 0.493072, 1.000000>;

#declare Wv482nm = color rgb <0.000000, 0.538611, 1.000000>;

#declare Wv483nm = color rgb <0.000000, 0.582691, 1.000000>;

#declare Wv484nm = color rgb <0.000000, 0.625381, 1.000000>;

#declare Wv485nm = color rgb <0.000000, 0.666746, 1.000000>;

#declare Wv486nm = color rgb <0.000000, 0.720257, 1.000000>;

#declare Wv487nm = color rgb <0.000000, 0.772199, 1.000000>;

#declare Wv488nm = color rgb <0.000000, 0.822641, 1.000000>;

#declare Wv489nm = color rgb <0.000000, 0.871648, 1.000000>;

#declare Wv490nm = color rgb <0.000000, 0.919279, 1.000000>;

#declare Wv491nm = color rgb <0.000000, 0.976754, 1.000000>;

#declare Wv492nm = color rgb <0.000000, 1.000000, 0.968183>;

#declare Wv493nm = color rgb <0.000000, 1.000000, 0.919411>;

#declare Wv494nm = color rgb <0.000000, 1.000000, 0.876292>;

#declare Wv495nm = color rgb <0.000000, 1.000000, 0.837898>;

#declare Wv496nm = color rgb <0.000000, 1.000000, 0.800395>;

#declare Wv497nm = color rgb <0.000000, 1.000000, 0.766531>;

#declare Wv498nm = color rgb <0.000000, 1.000000, 0.735803>;

#declare Wv499nm = color rgb <0.000000, 1.000000, 0.707793>;

#declare Wv500nm = color rgb <0.000000, 1.000000, 0.682157>;

#declare Wv501nm = color rgb <0.000000, 1.000000, 0.658787>;

#declare Wv502nm = color rgb <0.000000, 1.000000, 0.636931>;

#declare Wv503nm = color rgb <0.000000, 1.000000, 0.616448>;

#declare Wv504nm = color rgb <0.000000, 1.000000, 0.597211>;

#declare Wv505nm = color rgb <0.000000, 1.000000, 0.579111>;

#declare Wv506nm = color rgb <0.000000, 1.000000, 0.562782>;

#declare Wv507nm = color rgb <0.000000, 1.000000, 0.547047>;

#declare Wv508nm = color rgb <0.000000, 1.000000, 0.531873>;

#declare Wv509nm = color rgb <0.000000, 1.000000, 0.517232>;

#declare Wv510nm = color rgb <0.000000, 1.000000, 0.503096>;

#declare Wv511nm = color rgb <0.000000, 1.000000, 0.490838>;

#declare Wv512nm = color rgb <0.000000, 1.000000, 0.478690>;

#declare Wv513nm = color rgb <0.000000, 1.000000, 0.466649>;

#declare Wv514nm = color rgb <0.000000, 1.000000, 0.454713>;

#declare Wv515nm = color rgb <0.000000, 1.000000, 0.442882>;

#declare Wv516nm = color rgb <0.000000, 1.000000, 0.433438>;

#declare Wv517nm = color rgb <0.000000, 1.000000, 0.423843>;

#declare Wv518nm = color rgb <0.000000, 1.000000, 0.414093>;

#declare Wv519nm = color rgb <0.000000, 1.000000, 0.404186>;

#declare Wv520nm = color rgb <0.000000, 1.000000, 0.394117>;

#declare Wv521nm = color rgb <0.000000, 1.000000, 0.385917>;

#declare Wv522nm = color rgb <0.000000, 1.000000, 0.377439>;

#declare Wv523nm = color rgb <0.000000, 1.000000, 0.368669>;

#declare Wv524nm = color rgb <0.000000, 1.000000, 0.359592>;

#declare Wv525nm = color rgb <0.000000, 1.000000, 0.350192>;

#declare Wv526nm = color rgb <0.000000, 1.000000, 0.341603>;

#declare Wv527nm = color rgb <0.000000, 1.000000, 0.332635>;

#declare Wv528nm = color rgb <0.000000, 1.000000, 0.323262>;

#declare Wv529nm = color rgb <0.000000, 1.000000, 0.313455>;

#declare Wv530nm = color rgb <0.000000, 1.000000, 0.303185>;

#declare Wv531nm = color rgb <0.000000, 1.000000, 0.293574>;

#declare Wv532nm = color rgb <0.000000, 1.000000, 0.283484>;

#declare Wv533nm = color rgb <0.000000, 1.000000, 0.272879>;

#declare Wv534nm = color rgb <0.000000, 1.000000, 0.261719>;

#declare Wv535nm = color rgb <0.000000, 1.000000, 0.249959>;

#declare Wv536nm = color rgb <0.000000, 1.000000, 0.238443>;

#declare Wv537nm = color rgb <0.000000, 1.000000, 0.226270>;

#declare Wv538nm = color rgb <0.000000, 1.000000, 0.213380>;

#declare Wv539nm = color rgb <0.000000, 1.000000, 0.199708>;

#declare Wv540nm = color rgb <0.000000, 1.000000, 0.185181>;

#declare Wv541nm = color rgb <0.000000, 1.000000, 0.170213>;

#declare Wv542nm = color rgb <0.000000, 1.000000, 0.154223>;

#declare Wv543nm = color rgb <0.000000, 1.000000, 0.137105>;

#declare Wv544nm = color rgb <0.000000, 1.000000, 0.118732>;

#declare Wv545nm = color rgb <0.000000, 1.000000, 0.098964>;

#declare Wv546nm = color rgb <0.000000, 1.000000, 0.078038>;

#declare Wv547nm = color rgb <0.000000, 1.000000, 0.055363>;

#declare Wv548nm = color rgb <0.000000, 1.000000, 0.030710>;

#declare Wv549nm = color rgb <0.000000, 1.000000, 0.003808>;

#declare Wv550nm = color rgb <0.025023, 1.000000, 0.000000>;

#declare Wv551nm = color rgb <0.054807, 1.000000, 0.000000>;

#declare Wv552nm = color rgb <0.085731, 1.000000, 0.000000>;

#declare Wv553nm = color rgb <0.117863, 1.000000, 0.000000>;

#declare Wv554nm = color rgb <0.151274, 1.000000, 0.000000>;

#declare Wv555nm = color rgb <0.186044, 1.000000, 0.000000>;

#declare Wv556nm = color rgb <0.222444, 1.000000, 0.000000>;

#declare Wv557nm = color rgb <0.260433, 1.000000, 0.000000>;

#declare Wv558nm = color rgb <0.300119, 1.000000, 0.000000>;

#declare Wv559nm = color rgb <0.341617, 1.000000, 0.000000>;

#declare Wv560nm = color rgb <0.385056, 1.000000, 0.000000>;

#declare Wv561nm = color rgb <0.430485, 1.000000, 0.000000>;

#declare Wv562nm = color rgb <0.478175, 1.000000, 0.000000>;

#declare Wv563nm = color rgb <0.528300, 1.000000, 0.000000>;

#declare Wv564nm = color rgb <0.581050, 1.000000, 0.000000>;

#declare Wv565nm = color rgb <0.636639, 1.000000, 0.000000>;

#declare Wv566nm = color rgb <0.695059, 1.000000, 0.000000>;

#declare Wv567nm = color rgb <0.756800, 1.000000, 0.000000>;

#declare Wv568nm = color rgb <0.822153, 1.000000, 0.000000>;

#declare Wv569nm = color rgb <0.891446, 1.000000, 0.000000>;

#declare Wv570nm = color rgb <0.965046, 1.000000, 0.000000>;

#declare Wv571nm = color rgb <1.000000, 0.959666, 0.000000>;

#declare Wv572nm = color rgb <1.000000, 0.889641, 0.000000>;

#declare Wv573nm = color rgb <1.000000, 0.825340, 0.000000>;

#declare Wv574nm = color rgb <1.000000, 0.766091, 0.000000>;

#declare Wv575nm = color rgb <1.000000, 0.711321, 0.000000>;

#declare Wv576nm = color rgb <1.000000, 0.661886, 0.000000>;

#declare Wv577nm = color rgb <1.000000, 0.615832, 0.000000>;

#declare Wv578nm = color rgb <1.000000, 0.572823, 0.000000>;

#declare Wv579nm = color rgb <1.000000, 0.532567, 0.000000>;

#declare Wv580nm = color rgb <1.000000, 0.494807, 0.000000>;

#declare Wv581nm = color rgb <1.000000, 0.460753, 0.000000>;

#declare Wv582nm = color rgb <1.000000, 0.428610, 0.000000>;

#declare Wv583nm = color rgb <1.000000, 0.398221, 0.000000>;

#declare Wv584nm = color rgb <1.000000, 0.369446, 0.000000>;

#declare Wv585nm = color rgb <1.000000, 0.342161, 0.000000>;

#declare Wv586nm = color rgb <1.000000, 0.317795, 0.000000>;

#declare Wv587nm = color rgb <1.000000, 0.294561, 0.000000>;

#declare Wv588nm = color rgb <1.000000, 0.272382, 0.000000>;

#declare Wv589nm = color rgb <1.000000, 0.251187, 0.000000>;

#declare Wv590nm = color rgb <1.000000, 0.230913, 0.000000>;

#declare Wv591nm = color rgb <1.000000, 0.213106, 0.000000>;

#declare Wv592nm = color rgb <1.000000, 0.195976, 0.000000>;

#declare Wv593nm = color rgb <1.000000, 0.179485, 0.000000>;

#declare Wv594nm = color rgb <1.000000, 0.163599, 0.000000>;

#declare Wv595nm = color rgb <1.000000, 0.148285, 0.000000>;

#declare Wv596nm = color rgb <1.000000, 0.135446, 0.000000>;

#declare Wv597nm = color rgb <1.000000, 0.122997, 0.000000>;

#declare Wv598nm = color rgb <1.000000, 0.110921, 0.000000>;

#declare Wv599nm = color rgb <1.000000, 0.099200, 0.000000>;

#declare Wv600nm = color rgb <1.000000, 0.087820, 0.000000>;

#declare Wv601nm = color rgb <1.000000, 0.078084, 0.000000>;

#declare Wv602nm = color rgb <1.000000, 0.068591, 0.000000>;

#declare Wv603nm = color rgb <1.000000, 0.059331, 0.000000>;

#declare Wv604nm = color rgb <1.000000, 0.050297, 0.000000>;

#declare Wv605nm = color rgb <1.000000, 0.041479, 0.000000>;

#declare Wv606nm = color rgb <1.000000, 0.034363, 0.000000>;

#declare Wv607nm = color rgb <1.000000, 0.027387, 0.000000>;

#declare Wv608nm = color rgb <1.000000, 0.020545, 0.000000>;

#declare Wv609nm = color rgb <1.000000, 0.013834, 0.000000>;

#declare Wv610nm = color rgb <1.000000, 0.007251, 0.000000>;

#declare Wv611nm = color rgb <1.000000, 0.001935, 0.000000>;

#declare Wv612nm = color rgb <1.000000, 0.000000, 0.003291>;

#declare Wv613nm = color rgb <1.000000, 0.000000, 0.008388>;

#declare Wv614nm = color rgb <1.000000, 0.000000, 0.013358>;

#declare Wv615nm = color rgb <1.000000, 0.000000, 0.018205>;

#declare Wv616nm = color rgb <1.000000, 0.000000, 0.021985>;

#declare Wv617nm = color rgb <1.000000, 0.000000, 0.025693>;

#declare Wv618nm = color rgb <1.000000, 0.000000, 0.029329>;

#declare Wv619nm = color rgb <1.000000, 0.000000, 0.032897>;

#declare Wv620nm = color rgb <1.000000, 0.000000, 0.036398>;

#declare Wv621nm = color rgb <1.000000, 0.000000, 0.039115>;

#declare Wv622nm = color rgb <1.000000, 0.000000, 0.041791>;

#declare Wv623nm = color rgb <1.000000, 0.000000, 0.044429>;

#declare Wv624nm = color rgb <1.000000, 0.000000, 0.047028>;

#declare Wv625nm = color rgb <1.000000, 0.000000, 0.049591>;

#declare Wv626nm = color rgb <1.000000, 0.000000, 0.051644>;

#declare Wv627nm = color rgb <1.000000, 0.000000, 0.053674>;

#declare Wv628nm = color rgb <1.000000, 0.000000, 0.055681>;

#declare Wv629nm = color rgb <1.000000, 0.000000, 0.057665>;

#declare Wv630nm = color rgb <1.000000, 0.000000, 0.059627>;

#declare Wv631nm = color rgb <1.000000, 0.000000, 0.061250>;

#declare Wv632nm = color rgb <1.000000, 0.000000, 0.062858>;

#declare Wv633nm = color rgb <1.000000, 0.000000, 0.064450>;

#declare Wv634nm = color rgb <1.000000, 0.000000, 0.066028>;

#declare Wv635nm = color rgb <1.000000, 0.000000, 0.067592>;

#declare Wv636nm = color rgb <1.000000, 0.000000, 0.068863>;

#declare Wv637nm = color rgb <1.000000, 0.000000, 0.070125>;

#declare Wv638nm = color rgb <1.000000, 0.000000, 0.071377>;

#declare Wv639nm = color rgb <1.000000, 0.000000, 0.072620>;

#declare Wv640nm = color rgb <1.000000, 0.000000, 0.073853>;

#declare Wv641nm = color rgb <1.000000, 0.000000, 0.074806>;

#declare Wv642nm = color rgb <1.000000, 0.000000, 0.075753>;

#declare Wv643nm = color rgb <1.000000, 0.000000, 0.076695>;

#declare Wv644nm = color rgb <1.000000, 0.000000, 0.077631>;

#declare Wv645nm = color rgb <1.000000, 0.000000, 0.078562>;

#declare Wv646nm = color rgb <1.000000, 0.000000, 0.079277>;

#declare Wv647nm = color rgb <1.000000, 0.000000, 0.079989>;

#declare Wv648nm = color rgb <1.000000, 0.000000, 0.080698>;

#declare Wv649nm = color rgb <1.000000, 0.000000, 0.081404>;

#declare Wv650nm = color rgb <1.000000, 0.000000, 0.082107>;

#declare Wv651nm = color rgb <1.000000, 0.000000, 0.082643>;

#declare Wv652nm = color rgb <1.000000, 0.000000, 0.083178>;

#declare Wv653nm = color rgb <1.000000, 0.000000, 0.083712>;

#declare Wv654nm = color rgb <1.000000, 0.000000, 0.084243>;

#declare Wv655nm = color rgb <1.000000, 0.000000, 0.084773>;

#declare Wv656nm = color rgb <1.000000, 0.000000, 0.085163>;

#declare Wv657nm = color rgb <1.000000, 0.000000, 0.085553>;

#declare Wv658nm = color rgb <1.000000, 0.000000, 0.085941>;

#declare Wv659nm = color rgb <1.000000, 0.000000, 0.086329>;

#declare Wv660nm = color rgb <1.000000, 0.000000, 0.086715>;

#declare Wv661nm = color rgb <1.000000, 0.000000, 0.086965>;

#declare Wv662nm = color rgb <1.000000, 0.000000, 0.087214>;

#declare Wv663nm = color rgb <1.000000, 0.000000, 0.087463>;

#declare Wv664nm = color rgb <1.000000, 0.000000, 0.087712>;

#declare Wv665nm = color rgb <1.000000, 0.000000, 0.087960>;

#declare Wv666nm = color rgb <1.000000, 0.000000, 0.088163>;

#declare Wv667nm = color rgb <1.000000, 0.000000, 0.088365>;

#declare Wv668nm = color rgb <1.000000, 0.000000, 0.088568>;

#declare Wv669nm = color rgb <1.000000, 0.000000, 0.088770>;

#declare Wv670nm = color rgb <1.000000, 0.000000, 0.088971>;

#declare Wv671nm = color rgb <1.000000, 0.000000, 0.089128>;

#declare Wv672nm = color rgb <1.000000, 0.000000, 0.089285>;

#declare Wv673nm = color rgb <1.000000, 0.000000, 0.089441>;

#declare Wv674nm = color rgb <1.000000, 0.000000, 0.089597>;

#declare Wv675nm = color rgb <1.000000, 0.000000, 0.089753>;

#declare Wv676nm = color rgb <1.000000, 0.000000, 0.090170>;

#declare Wv677nm = color rgb <1.000000, 0.000000, 0.090587>;

#declare Wv678nm = color rgb <1.000000, 0.000000, 0.091002>;

#declare Wv679nm = color rgb <1.000000, 0.000000, 0.091418>;

#declare Wv680nm = color rgb <1.000000, 0.000000, 0.091832>;

#declare Wv681nm = color rgb <1.000000, 0.000000, 0.091705>;

#declare Wv682nm = color rgb <1.000000, 0.000000, 0.091577>;

#declare Wv683nm = color rgb <1.000000, 0.000000, 0.091450>;

#declare Wv684nm = color rgb <1.000000, 0.000000, 0.091323>;

#declare Wv685nm = color rgb <1.000000, 0.000000, 0.091196>;

#declare Wv686nm = color rgb <1.000000, 0.000000, 0.091284>;

#declare Wv687nm = color rgb <1.000000, 0.000000, 0.091372>;

#declare Wv688nm = color rgb <1.000000, 0.000000, 0.091460>;

#declare Wv689nm = color rgb <1.000000, 0.000000, 0.091549>;

#declare Wv690nm = color rgb <1.000000, 0.000000, 0.091637>;

#declare Wv691nm = color rgb <1.000000, 0.000000, 0.091681>;

#declare Wv692nm = color rgb <1.000000, 0.000000, 0.091725>;

#declare Wv693nm = color rgb <1.000000, 0.000000, 0.091769>;

#declare Wv694nm = color rgb <1.000000, 0.000000, 0.091813>;

#declare Wv695nm = color rgb <1.000000, 0.000000, 0.091857>;

#declare Wv696nm = color rgb <1.000000, 0.000000, 0.091879>;

#declare Wv697nm = color rgb <1.000000, 0.000000, 0.091901>;

#declare Wv698nm = color rgb <1.000000, 0.000000, 0.091923>;

#declare Wv699nm = color rgb <1.000000, 0.000000, 0.091945>;

#declare Wv700nm = color rgb <1.000000, 0.000000, 0.091967>;

#declare Wv701nm = color rgb <1.000000, 0.000000, 0.091967>;

#declare Wv702nm = color rgb <1.000000, 0.000000, 0.091967>;

#declare Wv703nm = color rgb <1.000000, 0.000000, 0.091967>;

#declare Wv704nm = color rgb <1.000000, 0.000000, 0.091967>;

#declare Wv705nm = color rgb <1.000000, 0.000000, 0.091967>;

#declare Wv706nm = color rgb <1.000000, 0.000000, 0.091967>;

#declare Wv707nm = color rgb <1.000000, 0.000000, 0.091967>;

#declare Wv708nm = color rgb <1.000000, 0.000000, 0.091967>;

#declare Wv709nm = color rgb <1.000000, 0.000000, 0.091967>;

#declare Wv710nm = color rgb <1.000000, 0.000000, 0.091967>;

#declare Wv711nm = color rgb <1.000000, 0.000000, 0.091967>;

#declare Wv712nm = color rgb <1.000000, 0.000000, 0.091967>;

#declare Wv713nm = color rgb <1.000000, 0.000000, 0.091967>;

#declare Wv714nm = color rgb <1.000000, 0.000000, 0.091967>;

#declare Wv715nm = color rgb <1.000000, 0.000000, 0.091967>;

#declare Wv716nm = color rgb <1.000000, 0.000000, 0.091967>;

#declare Wv717nm = color rgb <1.000000, 0.000000, 0.091967>;

#declare Wv718nm = color rgb <1.000000, 0.000000, 0.091967>;

#declare Wv719nm = color rgb <1.000000, 0.000000, 0.091967>;

#declare Wv720nm = color rgb <1.000000, 0.000000, 0.091967>;

#declare Wv721nm = color rgb <1.000000, 0.000000, 0.091967>;

#declare Wv722nm = color rgb <1.000000, 0.000000, 0.091967>;

#declare Wv723nm = color rgb <1.000000, 0.000000, 0.091967>;

#declare Wv724nm = color rgb <1.000000, 0.000000, 0.091967>;

#declare Wv725nm = color rgb <1.000000, 0.000000, 0.091967>;

#declare Wv726nm = color rgb <1.000000, 0.000000, 0.091967>;

#declare Wv727nm = color rgb <1.000000, 0.000000, 0.091967>;

#declare Wv728nm = color rgb <1.000000, 0.000000, 0.091967>;

#declare Wv729nm = color rgb <1.000000, 0.000000, 0.091967>;

#declare Wv730nm = color rgb <1.000000, 0.000000, 0.091967>;

#declare Wv731nm = color rgb <1.000000, 0.000000, 0.091967>;

#declare Wv732nm = color rgb <1.000000, 0.000000, 0.091967>;

#declare Wv733nm = color rgb <1.000000, 0.000000, 0.091967>;

#declare Wv734nm = color rgb <1.000000, 0.000000, 0.091967>;

#declare Wv735nm = color rgb <1.000000, 0.000000, 0.091967>;

#declare Wv736nm = color rgb <1.000000, 0.000000, 0.091967>;

#declare Wv737nm = color rgb <1.000000, 0.000000, 0.091967>;

#declare Wv738nm = color rgb <1.000000, 0.000000, 0.091967>;

#declare Wv739nm = color rgb <1.000000, 0.000000, 0.091967>;

#declare Wv740nm = color rgb <1.000000, 0.000000, 0.091967>;

#declare Wv741nm = color rgb <1.000000, 0.000000, 0.091967>;

#declare Wv742nm = color rgb <1.000000, 0.000000, 0.091967>;

#declare Wv743nm = color rgb <1.000000, 0.000000, 0.091967>;

#declare Wv744nm = color rgb <1.000000, 0.000000, 0.091967>;

#declare Wv745nm = color rgb <1.000000, 0.000000, 0.091967>;

#declare Wv746nm = color rgb <1.000000, 0.000000, 0.091967>;

#declare Wv747nm = color rgb <1.000000, 0.000000, 0.091967>;

#declare Wv748nm = color rgb <1.000000, 0.000000, 0.091967>;

#declare Wv749nm = color rgb <1.000000, 0.000000, 0.091967>;

#declare Wv750nm = color rgb <1.000000, 0.000000, 0.091967>;

#declare Wv751nm = color rgb <1.000000, 0.000000, 0.091967>;

#declare Wv752nm = color rgb <1.000000, 0.000000, 0.091967>;

#declare Wv753nm = color rgb <1.000000, 0.000000, 0.091967>;

#declare Wv754nm = color rgb <1.000000, 0.000000, 0.091967>;

#declare Wv755nm = color rgb <1.000000, 0.000000, 0.091967>;

#declare Wv756nm = color rgb <1.000000, 0.000000, 0.091967>;

#declare Wv757nm = color rgb <1.000000, 0.000000, 0.091967>;

#declare Wv758nm = color rgb <1.000000, 0.000000, 0.091967>;

#declare Wv759nm = color rgb <1.000000, 0.000000, 0.091967>;

#declare Wv760nm = color rgb <1.000000, 0.000000, 0.091967>;

#declare Wv761nm = color rgb <1.000000, 0.000000, 0.091967>;

#declare Wv762nm = color rgb <1.000000, 0.000000, 0.091967>;

#declare Wv763nm = color rgb <1.000000, 0.000000, 0.091967>;

#declare Wv764nm = color rgb <1.000000, 0.000000, 0.091967>;

#declare Wv765nm = color rgb <1.000000, 0.000000, 0.091967>;

#declare Wv766nm = color rgb <1.000000, 0.000000, 0.091967>;

#declare Wv767nm = color rgb <1.000000, 0.000000, 0.091967>;

#declare Wv768nm = color rgb <1.000000, 0.000000, 0.091967>;

#declare Wv769nm = color rgb <1.000000, 0.000000, 0.091967>;

#declare Wv770nm = color rgb <1.000000, 0.000000, 0.091967>;

#declare Wv771nm = color rgb <1.000000, 0.000000, 0.091967>;

#declare Wv772nm = color rgb <1.000000, 0.000000, 0.091967>;

#declare Wv773nm = color rgb <1.000000, 0.000000, 0.091967>;

#declare Wv774nm = color rgb <1.000000, 0.000000, 0.091967>;

#declare Wv775nm = color rgb <1.000000, 0.000000, 0.091967>;

#declare Wv776nm = color rgb <1.000000, 0.000000, 0.091967>;

#declare Wv777nm = color rgb <1.000000, 0.000000, 0.091967>;

#declare Wv778nm = color rgb <1.000000, 0.000000, 0.091967>;

#declare Wv779nm = color rgb <1.000000, 0.000000, 0.091967>;

#declare Wv780nm = color rgb <1.000000, 0.000000, 0.091967>;