V:=Matrix(CC,8,16,[
    0.140122418585463 + 0.0*i,
    0.232928642787265 + 0.0*i,
    0.336160643790496 + 0.0*i,
    0.370673685278696 + 0.0*i,
    0.429189521182072 + 0.0*i,
    -0.263666083121164 + 0.0*i,
    0.14279883112595 + 0.0*i,
    0.607840244824525 + 0.0*i,
    0.122993997058658 + 0.0*i,
    0.420128995730363 + 0.0*i,
    0.366832705048293 + 0.0*i,
    0.550239999273132 + 0.0*i,
    -0.600500614740031 + 0.0*i,
    -0.37678493274765 + 0.0*i,
    -0.204139799806024 + 0.0*i,
    -0.0835546833240797 + 0.0*i,
    -0.679147557105334 + 0.0*i,
    0.0111747946670607 + 0.0*i,
    -0.368205288461197 + 0.0*i,
    -0.421031557746665 + 0.0*i,
    -0.442751263646611 + 0.0*i,
    0.58168028979649 + 0.0*i,
    -0.529716923910863 + 0.0*i,
    -0.170035230936284 + 0.0*i,
    0.00798135785066564 + 0.0*i,
    0.061454722686512 + 0.0*i,
    0.0153339827882913 + 0.0*i,
    0.235805010399337 + 0.0*i,
    -0.283330548362664 + 0.0*i,
    -0.102843245814632 + 0.0*i,
    -0.628237468630858 + 0.0*i,
    0.0565164843711794 + 0.0*i,
    0.274377888089911 + 0.0*i,
    0.0201944700285701 + 0.0*i,
    0.0779232392434201 + 0.0*i,
    -0.0944555769064812 + 0.0*i,
    -0.323599363459647 + 0.0*i,
    -0.0835967558420613 + 0.0*i,
    -0.0751085262651435 + 0.0*i,
    0.445490757676797 + 0.0*i,
    0.117283459608361 + 0.0*i,
    -0.356645551867314 + 0.0*i,
    0.0901171861326129 + 0.0*i,
    -0.186612140135054 + 0.0*i,
    -0.314552611896777 + 0.0*i,
    -0.136557844758385 + 0.0*i,
    0.472847157449231 + 0.0*i,
    0.481887482468706 + 0.0*i,
    -0.146973932386389 + 0.0*i,
    -0.281994038770715 + 0.0*i,
    -0.300521567188766 + 0.0*i,
    0.604436064014242 + 0.0*i,
    0.574293321824862 + 0.0*i,
    0.0707323657994503 + 0.0*i,
    0.296511218556878 + 0.0*i,
    0.252654196109409 + 0.0*i,
    -0.205189785353477 + 0.0*i,
    -0.200554885007554 + 0.0*i,
    -0.331805324376435 + 0.0*i,
    -0.063440444221687 + 0.0*i,
    -0.194708027916321 + 0.0*i,
    -0.60832142250155 + 0.0*i,
    0.162126559330261 + 0.0*i,
    0.455306667647121 + 0.0*i,
    0.590020868671738 + 0.0*i,
    -0.416947905723245 + 0.0*i,
    -0.248737099711096 + 0.0*i,
    0.346803162754107 + 0.0*i,
    0.277562442791743 + 0.0*i,
    0.575801314892467 + 0.0*i,
    -0.433257907904044 + 0.0*i,
    0.499790175804493 + 0.0*i,
    0.457238036365025 + 0.0*i,
    0.707120187401477 + 0.0*i,
    -0.847123538876908 + 0.0*i,
    0.58854283797418 + 0.0*i,
    0.313004852955986 + 0.0*i,
    -0.174759755966922 + 0.0*i,
    -0.146926022357263 + 0.0*i,
    0.0403979355472235 + 0.0*i,
    -0.200710523255611 + 0.0*i,
    -0.542228245456468 + 0.0*i,
    0.360685938600224 + 0.0*i,
    0.243427936663705 + 0.0*i,
    0.138653847989733 + 0.0*i,
    0.326271487367255 + 0.0*i,
    0.506989981149154 + 0.0*i,
    0.102523835207786 + 0.0*i,
    -0.769924485339965 + 0.0*i,
    0.00401932598603847 + 0.0*i,
    -0.0170728720932442 + 0.0*i,
    0.00325647753871937 + 0.0*i,
    -0.0497465264712195 + 0.0*i,
    0.553099415269768 + 0.0*i,
    0.173074906027235 + 0.0*i,
    -0.0316272489065669 + 0.0*i,
    -0.226545418617383 + 0.0*i,
    -0.469929316765152 + 0.0*i,
    -0.210558509104515 + 0.0*i,
    0.115762446618467 + 0.0*i,
    0.0914181978208562 + 0.0*i,
    0.343031322288586 + 0.0*i,
    0.294614372072715 + 0.0*i,
    0.251041949297237 + 0.0*i,
    -0.0392855535863935 + 0.0*i,
    -0.13889163919238 + 0.0*i,
    0.220900675538117 + 0.0*i,
    -0.0695846005364571 + 0.0*i,
    0.43470257522067 + 0.0*i,
    -0.334644376921369 + 0.0*i,
    0.495827679971733 + 0.0*i,
    -0.680708549986522 + 0.0*i,
    -0.0415124094442542 + 0.0*i,
    0.43327558522205 + 0.0*i,
    -0.643329501306601 + 0.0*i,
    0.170446789687146 + 0.0*i,
    0.202238314126888 + 0.0*i,
    0.203871702550041 + 0.0*i,
    0.258096312711924 + 0.0*i,
    -0.0856457874374146 + 0.0*i,
    0.406603543650605 + 0.0*i,
    -0.354746735866296 + 0.0*i,
    -0.0764530343155223 + 0.0*i,
    0.515422222915219 + 0.0*i,
    -0.363777847757068 + 0.0*i,
    -0.076552092282406 + 0.0*i,
    -0.23566229287794 + 0.0*i,
    -0.283502852333311 + 0.0*i
]);