V:=Matrix(CC,8,31,[
    -0.107440457092376 + 0.0*i,
    0.0793765973422029 + 0.0*i,
    -0.553203019315355 + 0.0*i,
    -0.1490246135888 + 0.0*i,
    0.0508428277790177 + 0.0*i,
    -0.0753220177188368 + 0.0*i,
    0.413716523470605 + 0.0*i,
    -0.302382333008681 + 0.0*i,
    -0.043554542902316 + 0.0*i,
    -0.0612321991527772 + 0.0*i,
    -0.326414190945636 + 0.0*i,
    0.462812505991909 + 0.0*i,
    0.550494384952211 + 0.0*i,
    -0.434264387501187 + 0.0*i,
    -0.224106226910907 + 0.0*i,
    -0.207861688970259 + 0.0*i,
    -0.340628490126554 + 0.0*i,
    -0.436619829471994 + 0.0*i,
    -0.235128651842088 + 0.0*i,
    -0.0429689889809132 + 0.0*i,
    0.594660774935736 + 0.0*i,
    0.563769269585877 + 0.0*i,
    0.424300712439049 + 0.0*i,
    0.305855731332699 + 0.0*i,
    0.281498033742446 + 0.0*i,
    0.500523872170924 + 0.0*i,
    -0.122333842841747 + 0.0*i,
    0.419299567597592 + 0.0*i,
    -0.349415107706053 + 0.0*i,
    0.00554433505978437 + 0.0*i,
    0.407554910739112 + 0.0*i,
    -0.221541548378944 + 0.0*i,
    0.117736086812781 + 0.0*i,
    -0.119442654798006 + 0.0*i,
    -0.752397580307199 + 0.0*i,
    0.097658603541885 + 0.0*i,
    0.769327824097549 + 0.0*i,
    0.0242298223809755 + 0.0*i,
    -0.437583959658731 + 0.0*i,
    -0.0994479225981699 + 0.0*i,
    -0.2362582875192 + 0.0*i,
    -0.612703098994846 + 0.0*i,
    0.753143513306406 + 0.0*i,
    0.64115519519659 + 0.0*i,
    -0.059518375212728 + 0.0*i,
    -0.273009495563431 + 0.0*i,
    -0.353762938717406 + 0.0*i,
    -0.237455579815951 + 0.0*i,
    -0.0242049764227686 + 0.0*i,
    0.722494279471223 + 0.0*i,
    -0.0405324308958432 + 0.0*i,
    -0.531695750917072 + 0.0*i,
    -0.346597769411823 + 0.0*i,
    -0.152617439393916 + 0.0*i,
    -0.0104916509296006 + 0.0*i,
    0.291961914418474 + 0.0*i,
    0.654216149744959 + 0.0*i,
    0.149613251385961 + 0.0*i,
    -0.142838463505001 + 0.0*i,
    -0.714990266082248 + 0.0*i,
    0.0366544811727168 + 0.0*i,
    0.00996533239629957 + 0.0*i,
    0.726206015381188 + 0.0*i,
    -0.251583712678263 + 0.0*i,
    0.0577784058025456 + 0.0*i,
    -0.449483592064719 + 0.0*i,
    0.0898359439054699 + 0.0*i,
    0.412821060333362 + 0.0*i,
    -0.376886526012653 + 0.0*i,
    0.347550553923778 + 0.0*i,
    0.0712665517485507 + 0.0*i,
    -0.444113173989736 + 0.0*i,
    0.03444349426049 + 0.0*i,
    -0.305418073684686 + 0.0*i,
    0.0887599674113709 + 0.0*i,
    -0.401440147557634 + 0.0*i,
    -0.605140519803117 + 0.0*i,
    -0.0353871045401763 + 0.0*i,
    0.112072210981342 + 0.0*i,
    0.516755352526177 + 0.0*i,
    0.240510647434789 + 0.0*i,
    0.204212027220657 + 0.0*i,
    0.756242624669764 + 0.0*i,
    -0.396414598586417 + 0.0*i,
    -0.250575156015104 + 0.0*i,
    -0.364749861073176 + 0.0*i,
    -0.137735500273593 + 0.0*i,
    -0.0111184893644378 + 0.0*i,
    -0.0796314999503478 + 0.0*i,
    -0.178515003768022 + 0.0*i,
    -0.674896489324187 + 0.0*i,
    0.0436211653123244 + 0.0*i,
    -0.242286618789052 + 0.0*i,
    0.359800237121171 + 0.0*i,
    -0.468608675848215 + 0.0*i,
    -0.366770876667287 + 0.0*i,
    -0.00891242466482855 + 0.0*i,
    0.428618766732537 + 0.0*i,
    0.156005685615722 + 0.0*i,
    0.100432197091451 + 0.0*i,
    -0.286325463883236 + 0.0*i,
    0.265468366971269 + 0.0*i,
    -0.145885760973547 + 0.0*i,
    0.19235871821857 + 0.0*i,
    0.0218212778522899 + 0.0*i,
    -0.00624538724396311 + 0.0*i,
    -0.198972093309331 + 0.0*i,
    -0.549692941082585 + 0.0*i,
    -0.121289583462918 + 0.0*i,
    -0.41223739239408 + 0.0*i,
    -0.54651917467882 + 0.0*i,
    0.106126994460499 + 0.0*i,
    -0.692768176370854 + 0.0*i,
    0.210935003727654 + 0.0*i,
    0.635985916992378 + 0.0*i,
    0.19677863984673 + 0.0*i,
    -0.0495483159650556 + 0.0*i,
    0.214955468218281 + 0.0*i,
    -0.034111594478365 + 0.0*i,
    0.860554467251828 + 0.0*i,
    -0.310558584314047 + 0.0*i,
    0.0425192425065493 + 0.0*i,
    -0.031240385428062 + 0.0*i,
    -0.371297467065198 + 0.0*i,
    0.125137418549467 + 0.0*i,
    -0.266253211248075 + 0.0*i,
    0.6280051995146 + 0.0*i,
    -0.331198266944479 + 0.0*i,
    0.549382642806245 + 0.0*i,
    -0.103378592993839 + 0.0*i,
    0.155294296632677 + 0.0*i,
    0.480539396575736 + 0.0*i,
    -0.298135868087754 + 0.0*i,
    -0.252082708644736 + 0.0*i,
    0.188930505611332 + 0.0*i,
    0.0225083462920617 + 0.0*i,
    -0.140243530760309 + 0.0*i,
    -0.22366112836997 + 0.0*i,
    -0.453363623881534 + 0.0*i,
    -0.139002384091276 + 0.0*i,
    -0.0162895005385185 + 0.0*i,
    0.409538164855263 + 0.0*i,
    -0.498047203097913 + 0.0*i,
    0.254915656807018 + 0.0*i,
    -0.232306579914011 + 0.0*i,
    -0.120366843982831 + 0.0*i,
    -0.115371580881648 + 0.0*i,
    0.147284908788661 + 0.0*i,
    -0.814786156476428 + 0.0*i,
    -0.168633442265186 + 0.0*i,
    0.237463007400615 + 0.0*i,
    0.8635420256637 + 0.0*i,
    -0.0425290745694346 + 0.0*i,
    -0.059249297381917 + 0.0*i,
    -0.735265560522438 + 0.0*i,
    -0.494189143329643 + 0.0*i,
    -0.441429406760366 + 0.0*i,
    0.545437135245381 + 0.0*i,
    0.143535613191286 + 0.0*i,
    0.366036822380662 + 0.0*i,
    0.208036313116032 + 0.0*i,
    0.0631657739041852 + 0.0*i,
    0.306231260189856 + 0.0*i,
    -0.0818161664455122 + 0.0*i,
    -0.310307788516516 + 0.0*i,
    -0.47584694087535 + 0.0*i,
    -0.445782007580647 + 0.0*i,
    -0.451688265851646 + 0.0*i,
    0.321148868959329 + 0.0*i,
    0.169278276207567 + 0.0*i,
    -0.840454661485145 + 0.0*i,
    0.0584034774806582 + 0.0*i,
    0.275322495080075 + 0.0*i,
    0.0986445833230882 + 0.0*i,
    -0.0941176097910737 + 0.0*i,
    -0.16605878427432 + 0.0*i,
    0.372450991102109 + 0.0*i,
    -0.30879361822021 + 0.0*i,
    -0.555082425347278 + 0.0*i,
    0.243978835129583 + 0.0*i,
    0.102193019831817 + 0.0*i,
    -0.505707076700466 + 0.0*i,
    -0.256458670824354 + 0.0*i,
    -0.49353507068583 + 0.0*i,
    -0.0207363999524101 + 0.0*i,
    -0.0184872821452296 + 0.0*i,
    -0.47210552079531 + 0.0*i,
    -0.0881174632479452 + 0.0*i,
    -0.312000704388983 + 0.0*i,
    0.0327917596334954 + 0.0*i,
    0.0987248943652914 + 0.0*i,
    0.130250811756218 + 0.0*i,
    0.625808999858505 + 0.0*i,
    -0.0115880509379566 + 0.0*i,
    -0.0634994638598891 + 0.0*i,
    0.394764818431728 + 0.0*i,
    -0.434939046800111 + 0.0*i,
    0.249374521765107 + 0.0*i,
    0.210969595567699 + 0.0*i,
    0.0413521782438366 + 0.0*i,
    -0.361460536013646 + 0.0*i,
    -0.0640516465326339 + 0.0*i,
    0.389241151725019 + 0.0*i,
    -0.120379219562587 + 0.0*i,
    -0.0818116033470638 + 0.0*i,
    -0.376192264939451 + 0.0*i,
    -0.174358874495119 + 0.0*i,
    0.11397289056466 + 0.0*i,
    -0.0602893249895965 + 0.0*i,
    -0.512028380095121 + 0.0*i,
    -0.508083738214876 + 0.0*i,
    -0.623377022521652 + 0.0*i,
    0.267592526801617 + 0.0*i,
    -0.306937275651229 + 0.0*i,
    -0.517511522362811 + 0.0*i,
    -0.0299973087188331 + 0.0*i,
    0.126677002786225 + 0.0*i,
    0.0396897543057141 + 0.0*i,
    0.252350576861175 + 0.0*i,
    -0.185204676658297 + 0.0*i,
    -0.68014081027174 + 0.0*i,
    -0.457071467807087 + 0.0*i,
    0.427520774807842 + 0.0*i,
    -0.0789243931988864 + 0.0*i,
    -0.301480635430053 + 0.0*i,
    0.137965088724278 + 0.0*i,
    -0.212019644004433 + 0.0*i,
    -0.0439705067251961 + 0.0*i,
    0.24620785351038 + 0.0*i,
    -0.418845086421801 + 0.0*i,
    -0.354115551686268 + 0.0*i,
    0.212102399710684 + 0.0*i,
    -0.198755449061572 + 0.0*i,
    -0.529851943763531 + 0.0*i,
    0.379544043903206 + 0.0*i,
    -0.272997525286673 + 0.0*i,
    0.29973984604664 + 0.0*i,
    -0.0978494764307017 + 0.0*i,
    0.514008735486963 + 0.0*i,
    -0.410987198578254 + 0.0*i,
    0.254978754912384 + 0.0*i,
    -0.366519861888465 + 0.0*i,
    -0.242000522672159 + 0.0*i,
    0.0552982899794362 + 0.0*i,
    0.0910540113112543 + 0.0*i,
    0.180426732658271 + 0.0*i,
    0.0896489616676826 + 0.0*i,
    -0.624016202917511 + 0.0*i
]);