V:=Matrix(CC,9,24,[
    0.0800660566696535 + 0.0*i,
    0.557157679805762 + 0.0*i,
    0.70800904304376 + 0.0*i,
    0.411304520615313 + 0.0*i,
    -0.0573474254902238 + 0.0*i,
    -0.434886856052533 + 0.0*i,
    -0.257377226139487 + 0.0*i,
    -0.185932527763761 + 0.0*i,
    -0.0658599647142694 + 0.0*i,
    -0.126220796845386 + 0.0*i,
    0.422764262867744 + 0.0*i,
    -0.294943431413436 + 0.0*i,
    0.104955049655849 + 0.0*i,
    -0.389504881165902 + 0.0*i,
    0.283826377371039 + 0.0*i,
    -0.15832538220743 + 0.0*i,
    -0.198860446727308 + 0.0*i,
    0.16003285407745 + 0.0*i,
    -0.583526532403069 + 0.0*i,
    -0.219690143880586 + 0.0*i,
    0.569600346625675 + 0.0*i,
    0.0308268808859179 + 0.0*i,
    0.476254167747527 + 0.0*i,
    -0.123558192926725 + 0.0*i,
    -0.134752089536128 + 0.0*i,
    0.522905104722359 + 0.0*i,
    0.0581854982716519 + 0.0*i,
    -0.230314211966063 + 0.0*i,
    0.234466405076325 + 0.0*i,
    -0.340523093365685 + 0.0*i,
    -0.549614819167317 + 0.0*i,
    0.590364617283363 + 0.0*i,
    0.0232663576364412 + 0.0*i,
    -0.593520346929315 + 0.0*i,
    -0.201700704131271 + 0.0*i,
    0.15525348381841 + 0.0*i,
    -0.0716095590523384 + 0.0*i,
    0.144594166635869 + 0.0*i,
    -0.00854934167312881 + 0.0*i,
    0.189661325223465 + 0.0*i,
    -0.379691464671124 + 0.0*i,
    -0.0194534550737878 + 0.0*i,
    -0.105805530730152 + 0.0*i,
    -0.366091859758666 + 0.0*i,
    -0.36530691230288 + 0.0*i,
    -0.289963689156761 + 0.0*i,
    -0.458606333440336 + 0.0*i,
    -0.4728219954695 + 0.0*i,
    -0.39859337870157 + 0.0*i,
    0.0544988990275162 + 0.0*i,
    0.182452691820844 + 0.0*i,
    -0.0498371781489901 + 0.0*i,
    0.448532142482199 + 0.0*i,
    0.473913825297235 + 0.0*i,
    0.446333971351211 + 0.0*i,
    0.409379328474156 + 0.0*i,
    -0.266045986904408 + 0.0*i,
    -0.462447500941839 + 0.0*i,
    0.430693236679655 + 0.0*i,
    -0.156981291183435 + 0.0*i,
    0.305956975685183 + 0.0*i,
    -0.340007790287891 + 0.0*i,
    -0.474941794929178 + 0.0*i,
    -0.263424270945015 + 0.0*i,
    0.178542728615491 + 0.0*i,
    -0.366861267555885 + 0.0*i,
    0.0943252141442574 + 0.0*i,
    0.394272305753253 + 0.0*i,
    0.235384331765389 + 0.0*i,
    0.193355067155376 + 0.0*i,
    -0.0211590065882823 + 0.0*i,
    -0.488383680057876 + 0.0*i,
    -0.0753514811171213 + 0.0*i,
    -0.400388234443715 + 0.0*i,
    0.489720149602956 + 0.0*i,
    0.122555071956944 + 0.0*i,
    0.127515236095434 + 0.0*i,
    0.0710928423735891 + 0.0*i,
    -0.259865051632435 + 0.0*i,
    -0.372444625854949 + 0.0*i,
    0.702878139543221 + 0.0*i,
    -0.226419902254292 + 0.0*i,
    -0.441351753131616 + 0.0*i,
    0.532636759333697 + 0.0*i,
    0.0964551592826071 + 0.0*i,
    0.179604963933272 + 0.0*i,
    -0.109589645635179 + 0.0*i,
    -0.352262171254667 + 0.0*i,
    -0.201248933700058 + 0.0*i,
    -0.265266274616061 + 0.0*i,
    -0.418292840740856 + 0.0*i,
    0.295362041563418 + 0.0*i,
    -0.146882647545673 + 0.0*i,
    0.692870797726418 + 0.0*i,
    -0.106348794542811 + 0.0*i,
    -0.153867492790584 + 0.0*i,
    -0.814116046284227 + 0.0*i,
    -0.325236560854482 + 0.0*i,
    0.0996604520766154 + 0.0*i,
    0.365451647546426 + 0.0*i,
    -0.670065714482379 + 0.0*i,
    -0.146457514899027 + 0.0*i,
    -0.34014961572534 + 0.0*i,
    0.0364898656069044 + 0.0*i,
    -0.154811530484937 + 0.0*i,
    0.17030074101674 + 0.0*i,
    0.172143478416389 + 0.0*i,
    -0.016071391762465 + 0.0*i,
    -0.0119542097247751 + 0.0*i,
    -0.314359379013604 + 0.0*i,
    -0.289492056754931 + 0.0*i,
    -0.419004267762777 + 0.0*i,
    -0.264612705396975 + 0.0*i,
    0.379306873000717 + 0.0*i,
    0.0570985420679912 + 0.0*i,
    0.18401651149671 + 0.0*i,
    -0.524495107623143 + 0.0*i,
    -0.41032414953818 + 0.0*i,
    -0.00414478705921311 + 0.0*i,
    -0.207017701384318 + 0.0*i,
    -0.107398943811919 + 0.0*i,
    -0.0959581426076668 + 0.0*i,
    -0.200306695689423 + 0.0*i,
    0.3265138185936 + 0.0*i,
    -0.280968583285966 + 0.0*i,
    0.545658934860102 + 0.0*i,
    -0.390468274445761 + 0.0*i,
    -0.391066218374271 + 0.0*i,
    -0.181329409935729 + 0.0*i,
    -0.444020112144187 + 0.0*i,
    -0.432609416364251 + 0.0*i,
    -0.0444887517971603 + 0.0*i,
    -0.091565631047486 + 0.0*i,
    -0.562663773350024 + 0.0*i,
    -0.125343361114307 + 0.0*i,
    0.549355707721397 + 0.0*i,
    0.274265905246507 + 0.0*i,
    -0.242292984460501 + 0.0*i,
    -0.286218170142591 + 0.0*i,
    -0.333938383321964 + 0.0*i,
    0.36371514460535 + 0.0*i,
    -0.148681160659805 + 0.0*i,
    -0.340319731567113 + 0.0*i,
    0.0171684985627579 + 0.0*i,
    0.265236899512052 + 0.0*i,
    0.269695034875971 + 0.0*i,
    -0.178536675754531 + 0.0*i,
    -0.514676481520285 + 0.0*i,
    -0.272680581371961 + 0.0*i,
    -0.0569317893450692 + 0.0*i,
    0.0503524028114531 + 0.0*i,
    -0.0815600321786361 + 0.0*i,
    -0.0782008503218134 + 0.0*i,
    -0.0209881105401081 + 0.0*i,
    -0.31441437698229 + 0.0*i,
    -0.319780039807592 + 0.0*i,
    -0.755629126671733 + 0.0*i,
    -0.307340222753325 + 0.0*i,
    -0.692425353373076 + 0.0*i,
    -0.0188112854764545 + 0.0*i,
    -0.160934668203371 + 0.0*i,
    0.104032693348258 + 0.0*i,
    -0.455886167656353 + 0.0*i,
    0.268706107044585 + 0.0*i,
    -0.192105400735178 + 0.0*i,
    0.185490219168754 + 0.0*i,
    0.600965662170568 + 0.0*i,
    -0.137401956920738 + 0.0*i,
    0.240263365896125 + 0.0*i,
    -0.0723705431029879 + 0.0*i,
    -0.163423090718385 + 0.0*i,
    0.475331044359463 + 0.0*i,
    0.0853130666391675 + 0.0*i,
    -0.336744842304689 + 0.0*i,
    -0.0360722283522808 + 0.0*i,
    0.0322004448716606 + 0.0*i,
    0.577984879074692 + 0.0*i,
    0.36803315259599 + 0.0*i,
    0.150876732903689 + 0.0*i,
    -0.51971750420264 + 0.0*i,
    -0.400813483010782 + 0.0*i,
    -0.0362702993475425 + 0.0*i,
    0.0661494749513088 + 0.0*i,
    -0.212980767926419 + 0.0*i,
    0.663518405824537 + 0.0*i,
    -0.426964560347252 + 0.0*i,
    -0.20031426128312 + 0.0*i,
    0.0643460135518074 + 0.0*i,
    -0.126361563101941 + 0.0*i,
    -0.354420317022264 + 0.0*i,
    -0.267024888848078 + 0.0*i,
    -0.633965553449564 + 0.0*i,
    0.111784890696425 + 0.0*i,
    -0.236771792191061 + 0.0*i,
    -0.33402112517783 + 0.0*i,
    0.193145858778499 + 0.0*i,
    -0.350406542847653 + 0.0*i,
    -0.146969326712256 + 0.0*i,
    0.289588335763724 + 0.0*i,
    0.390716885309756 + 0.0*i,
    -0.188589576244878 + 0.0*i,
    -0.0716346943244729 + 0.0*i,
    -0.243819081871133 + 0.0*i,
    -0.44430877843368 + 0.0*i,
    0.379379694744328 + 0.0*i,
    0.40610333237228 + 0.0*i,
    -0.322546620133148 + 0.0*i,
    -0.472129892608527 + 0.0*i,
    -0.371632131089543 + 0.0*i,
    -0.609387066625356 + 0.0*i,
    -0.350416750383438 + 0.0*i,
    -0.603955908652876 + 0.0*i,
    0.0846037346604363 + 0.0*i,
    0.196262006332629 + 0.0*i,
    0.0193029813053307 + 0.0*i,
    0.195392121518945 + 0.0*i
]);