V:=Matrix(CC,8,24,[
    0.165819101684691 + 0.0*i,
    0.457941131892386 + 0.0*i,
    0.514978474208841 + 0.0*i,
    -0.489108318841516 + 0.0*i,
    0.0837347710859856 + 0.0*i,
    -0.00729507859791086 + 0.0*i,
    -0.157632511351313 + 0.0*i,
    0.0155805146848331 + 0.0*i,
    -0.387632510592358 + 0.0*i,
    0.598697867495685 + 0.0*i,
    0.00270073090635039 + 0.0*i,
    0.0177041491450394 + 0.0*i,
    -0.0734882780814965 + 0.0*i,
    0.700266846936463 + 0.0*i,
    -0.0674469050895556 + 0.0*i,
    -0.157852568104072 + 0.0*i,
    0.517235475744876 + 0.0*i,
    -0.682609185606795 + 0.0*i,
    0.498676020956012 + 0.0*i,
    0.354734133563145 + 0.0*i,
    0.727762941049638 + 0.0*i,
    0.247608642576847 + 0.0*i,
    0.2305889645002 + 0.0*i,
    0.032251219926544 + 0.0*i,
    0.680910354724291 + 0.0*i,
    -0.230540180574127 + 0.0*i,
    0.335081385795197 + 0.0*i,
    -0.508388560110352 + 0.0*i,
    -0.430489774740583 + 0.0*i,
    -0.644496969123105 + 0.0*i,
    -0.782924805464097 + 0.0*i,
    0.0122924004900657 + 0.0*i,
    -0.159626722170413 + 0.0*i,
    0.0471023380762869 + 0.0*i,
    0.148410142273953 + 0.0*i,
    0.0708598584444698 + 0.0*i,
    0.29743196185117 + 0.0*i,
    0.0235868049460852 + 0.0*i,
    0.0346954555946462 + 0.0*i,
    0.514214387556162 + 0.0*i,
    -0.647423641021546 + 0.0*i,
    0.0284071080113526 + 0.0*i,
    -0.695305595072682 + 0.0*i,
    -0.228803070577555 + 0.0*i,
    -0.327855702354535 + 0.0*i,
    0.232200659306817 + 0.0*i,
    -0.281645191365576 + 0.0*i,
    0.647100863750988 + 0.0*i,
    0.118570076163557 + 0.0*i,
    0.259102761848188 + 0.0*i,
    0.47984829762349 + 0.0*i,
    -0.0126595722109885 + 0.0*i,
    -0.636980677285895 + 0.0*i,
    -0.161957805846943 + 0.0*i,
    0.0198875560488869 + 0.0*i,
    0.000872674685641539 + 0.0*i,
    0.164001601787353 + 0.0*i,
    0.0994144238492679 + 0.0*i,
    -0.10439652430527 + 0.0*i,
    -0.277307003241096 + 0.0*i,
    0.228369420188479 + 0.0*i,
    0.173866002133535 + 0.0*i,
    0.153964955870779 + 0.0*i,
    0.0421213689788551 + 0.0*i,
    0.0553500891498853 + 0.0*i,
    0.153134067334222 + 0.0*i,
    -0.244733105041044 + 0.0*i,
    -0.236376384824457 + 0.0*i,
    -0.344819243824707 + 0.0*i,
    0.183327672228283 + 0.0*i,
    -0.116474268002137 + 0.0*i,
    -0.493950119874381 + 0.0*i,
    0.362602591805602 + 0.0*i,
    0.166570482416835 + 0.0*i,
    -0.0994603665877084 + 0.0*i,
    -0.342023615567824 + 0.0*i,
    -0.296017427411283 + 0.0*i,
    0.248279228874478 + 0.0*i,
    -0.257303389583697 + 0.0*i,
    -0.0301021222405751 + 0.0*i,
    -0.133520752071369 + 0.0*i,
    -0.505816248689839 + 0.0*i,
    0.442592408090962 + 0.0*i,
    0.390036650430105 + 0.0*i,
    -0.583150876723929 + 0.0*i,
    0.34677074084721 + 0.0*i,
    -0.737309485082892 + 0.0*i,
    0.557080776362472 + 0.0*i,
    -0.298369979664036 + 0.0*i,
    -0.559734656369458 + 0.0*i,
    0.439764524565511 + 0.0*i,
    0.124608084747821 + 0.0*i,
    -0.125440778773345 + 0.0*i,
    -0.112078416073747 + 0.0*i,
    -0.394475661934552 + 0.0*i,
    0.279758412110032 + 0.0*i,
    -0.0093622053110158 + 0.0*i,
    -0.559014024760588 + 0.0*i,
    0.517014750339304 + 0.0*i,
    -0.322339248366719 + 0.0*i,
    0.262076681062884 + 0.0*i,
    0.414421606352936 + 0.0*i,
    0.113256080062293 + 0.0*i,
    -0.0886271780158245 + 0.0*i,
    -0.729725749760763 + 0.0*i,
    0.131662581574797 + 0.0*i,
    0.394181608394463 + 0.0*i,
    -0.0336889638594967 + 0.0*i,
    -0.0940703312202374 + 0.0*i,
    -0.509367386624044 + 0.0*i,
    -0.0769575456254867 + 0.0*i,
    -0.520247144033214 + 0.0*i,
    0.0517688374518774 + 0.0*i,
    -0.197974460020946 + 0.0*i,
    -0.26585248309772 + 0.0*i,
    -0.0138672729389288 + 0.0*i,
    -0.338320487558247 + 0.0*i,
    -0.484752632296938 + 0.0*i,
    0.0979475024118791 + 0.0*i,
    0.0556703269434377 + 0.0*i,
    -0.129033431472344 + 0.0*i,
    0.223836265527941 + 0.0*i,
    -0.501167348982945 + 0.0*i,
    0.0654533062661484 + 0.0*i,
    0.407317960042587 + 0.0*i,
    0.149687771616164 + 0.0*i,
    0.610732557589886 + 0.0*i,
    0.00288603749064658 + 0.0*i,
    -0.437853587185399 + 0.0*i,
    -0.0230916220888216 + 0.0*i,
    -0.682601647562045 + 0.0*i,
    0.475446967239968 + 0.0*i,
    -0.620433027989055 + 0.0*i,
    -0.133128754164945 + 0.0*i,
    0.12153116923095 + 0.0*i,
    -0.422746937903913 + 0.0*i,
    -0.28157991490271 + 0.0*i,
    0.0244113538195995 + 0.0*i,
    -0.312250592147016 + 0.0*i,
    0.350434059209723 + 0.0*i,
    -0.119179406597382 + 0.0*i,
    -0.538679099598926 + 0.0*i,
    -0.173718286940913 + 0.0*i,
    0.569868790910903 + 0.0*i,
    -0.494646738303587 + 0.0*i,
    -0.107417657439113 + 0.0*i,
    0.297747566397227 + 0.0*i,
    -0.0533334953509442 + 0.0*i,
    -0.244566540167808 + 0.0*i,
    -0.21849240586215 + 0.0*i,
    0.138151724621726 + 0.0*i,
    -0.0649889738297799 + 0.0*i,
    0.111433671569308 + 0.0*i,
    -0.233960616041182 + 0.0*i,
    -0.24368580550891 + 0.0*i,
    -0.265837587278384 + 0.0*i,
    -0.156161206411536 + 0.0*i,
    0.0917115614260923 + 0.0*i,
    0.382680448195035 + 0.0*i,
    -0.180501897467227 + 0.0*i,
    -0.154875714058318 + 0.0*i,
    0.349860310841229 + 0.0*i,
    0.419717037455759 + 0.0*i,
    0.0285368817119925 + 0.0*i,
    -0.433616384316772 + 0.0*i,
    0.480668792846647 + 0.0*i,
    0.845035135324852 + 0.0*i,
    -0.145826389124791 + 0.0*i,
    0.0707466969054074 + 0.0*i,
    -0.45093320132623 + 0.0*i,
    -0.179786662136209 + 0.0*i,
    0.520574294412918 + 0.0*i,
    -0.0863207497665546 + 0.0*i,
    0.567803687623088 + 0.0*i,
    -0.0100611737260119 + 0.0*i,
    -0.00725878469296894 + 0.0*i,
    0.302666094888823 + 0.0*i,
    -0.627271964410553 + 0.0*i,
    -0.413522755600257 + 0.0*i,
    0.105869029229161 + 0.0*i,
    0.415149790812796 + 0.0*i,
    0.0687816182559369 + 0.0*i,
    0.593515687263852 + 0.0*i,
    0.12078717592968 + 0.0*i,
    0.375265583319777 + 0.0*i,
    -0.278778234792364 + 0.0*i,
    -0.115769933569766 + 0.0*i,
    0.805969279050625 + 0.0*i,
    0.00483054777096024 + 0.0*i,
    0.387643267024773 + 0.0*i,
    -0.138925793847722 + 0.0*i,
    0.0914503998110448 + 0.0*i
]);