V:=Matrix(CC,8,24,[
    0.163309781524284 + 0.0*i,
    -0.471653449831669 + 0.0*i,
    0.358222682618558 + 0.0*i,
    -0.39659658782875 + 0.0*i,
    0.336713127520274 + 0.0*i,
    0.501439736811253 + 0.0*i,
    0.603658948306234 + 0.0*i,
    0.811276411457463 + 0.0*i,
    0.124436551355577 + 0.0*i,
    0.302313661350103 + 0.0*i,
    -0.236436962975853 + 0.0*i,
    -0.0418264342674002 + 0.0*i,
    0.0668419284052533 + 0.0*i,
    -0.671009667099522 + 0.0*i,
    -0.10387759152676 + 0.0*i,
    -0.258714416466161 + 0.0*i,
    -0.337049849016721 + 0.0*i,
    0.14834396502041 + 0.0*i,
    -0.112288571096336 + 0.0*i,
    -0.313476227495464 + 0.0*i,
    0.0846897949090136 + 0.0*i,
    -0.304135710743635 + 0.0*i,
    0.165100428867212 + 0.0*i,
    0.0395015099658074 + 0.0*i,
    0.438039783406072 + 0.0*i,
    0.488655018420696 + 0.0*i,
    0.0528266065532912 + 0.0*i,
    0.667316925656499 + 0.0*i,
    -0.0658400139010145 + 0.0*i,
    0.109907244802866 + 0.0*i,
    -0.0931195434000688 + 0.0*i,
    0.306082125023683 + 0.0*i,
    -0.433974447917847 + 0.0*i,
    -0.353651428377048 + 0.0*i,
    0.0189149059571611 + 0.0*i,
    -0.646552155507001 + 0.0*i,
    0.113982178397167 + 0.0*i,
    0.274045268184823 + 0.0*i,
    -0.239251515070684 + 0.0*i,
    -0.288348903132719 + 0.0*i,
    -0.0156373570530539 + 0.0*i,
    0.276532470176912 + 0.0*i,
    -0.763885176175589 + 0.0*i,
    -0.458998813213386 + 0.0*i,
    -0.0322487527900613 + 0.0*i,
    -0.276474160707992 + 0.0*i,
    0.093925854374437 + 0.0*i,
    -0.158093235442413 + 0.0*i,
    -0.48446575964609 + 0.0*i,
    0.0510396986477488 + 0.0*i,
    -0.4205767973382 + 0.0*i,
    -0.133038455762451 + 0.0*i,
    -0.227949555798593 + 0.0*i,
    0.307636064390311 + 0.0*i,
    -0.510670128085557 + 0.0*i,
    -0.0170762752959232 + 0.0*i,
    -0.0564307691601499 + 0.0*i,
    0.248716558305457 + 0.0*i,
    -0.259746422569732 + 0.0*i,
    -0.474712830541788 + 0.0*i,
    0.428951401116712 + 0.0*i,
    -0.206272739611959 + 0.0*i,
    0.18546264023295 + 0.0*i,
    0.142330451368947 + 0.0*i,
    -0.132081135131459 + 0.0*i,
    0.71700316069336 + 0.0*i,
    0.0325570197867557 + 0.0*i,
    0.526289807489687 + 0.0*i,
    -0.132281791853845 + 0.0*i,
    -0.612590162176812 + 0.0*i,
    0.0848853150278168 + 0.0*i,
    0.454349307963535 + 0.0*i,
    0.00550622209027671 + 0.0*i,
    -0.0645972804518583 + 0.0*i,
    0.787934068714652 + 0.0*i,
    0.436083602778949 + 0.0*i,
    -0.580467616948768 + 0.0*i,
    -0.528568299112288 + 0.0*i,
    -0.326645278983794 + 0.0*i,
    0.0162357736636585 + 0.0*i,
    -0.265492405072401 + 0.0*i,
    0.388851020374879 + 0.0*i,
    0.0672376311387766 + 0.0*i,
    0.129147626991406 + 0.0*i,
    0.59318707618466 + 0.0*i,
    -0.322391181674907 + 0.0*i,
    -0.06643854461366 + 0.0*i,
    -0.192915879490981 + 0.0*i,
    -0.29962938482884 + 0.0*i,
    -0.0717064853093334 + 0.0*i,
    0.493327222858459 + 0.0*i,
    -0.149364144036775 + 0.0*i,
    0.480169531062907 + 0.0*i,
    -0.300485419808455 + 0.0*i,
    -0.261247183005863 + 0.0*i,
    -0.288616981171778 + 0.0*i,
    0.516873445280597 + 0.0*i,
    0.477343595273316 + 0.0*i,
    -0.0114002895096996 + 0.0*i,
    -0.301418379578035 + 0.0*i,
    -0.577630861422287 + 0.0*i,
    -0.0638957732789849 + 0.0*i,
    0.206001194422841 + 0.0*i,
    0.0294949243019075 + 0.0*i,
    -0.0584331099861432 + 0.0*i,
    0.31702941968713 + 0.0*i,
    0.049576334967367 + 0.0*i,
    0.452896084531696 + 0.0*i,
    0.0423929190112021 + 0.0*i,
    -0.339069798599248 + 0.0*i,
    -0.152062579781178 + 0.0*i,
    0.496564240930975 + 0.0*i,
    0.730573383086675 + 0.0*i,
    0.532224535381873 + 0.0*i,
    -0.176571693946314 + 0.0*i,
    0.0456204073836668 + 0.0*i,
    0.579069238482809 + 0.0*i,
    0.185379125677626 + 0.0*i,
    0.23958352332364 + 0.0*i,
    0.446494537776269 + 0.0*i,
    0.0575599797274138 + 0.0*i,
    -0.521348505368725 + 0.0*i,
    0.221584079105847 + 0.0*i,
    0.0739098389465529 + 0.0*i,
    -0.240186049754917 + 0.0*i,
    0.0658300213076254 + 0.0*i,
    0.20394460028642 + 0.0*i,
    0.0784711148398988 + 0.0*i,
    -0.6511906470551 + 0.0*i,
    0.402737613871148 + 0.0*i,
    0.817279375103287 + 0.0*i,
    0.212771262269614 + 0.0*i,
    -0.471221928412764 + 0.0*i,
    0.173401953097588 + 0.0*i,
    0.0567210004628681 + 0.0*i,
    -0.283788188331214 + 0.0*i,
    0.319227552361323 + 0.0*i,
    -0.00340417430342156 + 0.0*i,
    -0.284964695945003 + 0.0*i,
    0.581375976366074 + 0.0*i,
    -0.327070416343162 + 0.0*i,
    -0.483882549982584 + 0.0*i,
    -0.35901490801854 + 0.0*i,
    0.136144782956328 + 0.0*i,
    0.527738856426996 + 0.0*i,
    -0.15077960213065 + 0.0*i,
    0.00529005559898543 + 0.0*i,
    -0.0508788028152291 + 0.0*i,
    -0.104344235322401 + 0.0*i,
    0.511578430831344 + 0.0*i,
    -0.383316115108281 + 0.0*i,
    0.132420436138103 + 0.0*i,
    -0.275998393422422 + 0.0*i,
    -0.461791099279943 + 0.0*i,
    -0.341984995677774 + 0.0*i,
    0.061545608524631 + 0.0*i,
    -0.444881881051536 + 0.0*i,
    -0.23974157595623 + 0.0*i,
    0.0244743449007443 + 0.0*i,
    0.633527589276867 + 0.0*i,
    -0.177049475007102 + 0.0*i,
    0.163912271544004 + 0.0*i,
    0.220442197228931 + 0.0*i,
    0.234228171869384 + 0.0*i,
    0.159757300557507 + 0.0*i,
    0.0386327487442388 + 0.0*i,
    -0.729062164468548 + 0.0*i,
    -0.490276907215011 + 0.0*i,
    0.0878633089714681 + 0.0*i,
    0.112484119895616 + 0.0*i,
    0.110351183938728 + 0.0*i,
    0.284813877537387 + 0.0*i,
    -0.281565275849802 + 0.0*i,
    0.310521006114297 + 0.0*i,
    0.195787934546416 + 0.0*i,
    -0.474414483048482 + 0.0*i,
    0.474502901953068 + 0.0*i,
    -0.303773169513963 + 0.0*i,
    0.276825980811607 + 0.0*i,
    0.270232649741463 + 0.0*i,
    0.186390143776113 + 0.0*i,
    -0.346323051169072 + 0.0*i,
    -0.929587077578871 + 0.0*i,
    0.237076813070154 + 0.0*i,
    -0.335745363311679 + 0.0*i,
    -0.267143799255231 + 0.0*i,
    -0.101003934579141 + 0.0*i,
    -0.0389447502996182 + 0.0*i,
    -0.515899660744625 + 0.0*i,
    -0.313839049644286 + 0.0*i,
    -0.419831914537529 + 0.0*i,
    0.482341649885346 + 0.0*i
]);