V:=Matrix(CC,4,31,[
    0.194544487169195 + 0.0*i,
    0.315944459781103 + 0.0*i,
    -0.503142987980058 + 0.0*i,
    0.580177748132364 + 0.0*i,
    0.0901631534906382 + 0.0*i,
    -0.638560904403564 + 0.0*i,
    0.570727268704551 + 0.0*i,
    -0.0802332083742991 + 0.0*i,
    -0.126750551024875 + 0.0*i,
    0.278686625128613 + 0.0*i,
    -0.312938598157403 + 0.0*i,
    0.299163583336043 + 0.0*i,
    0.0818374823631033 + 0.0*i,
    -0.582237738432481 + 0.0*i,
    0.201110463228349 + 0.0*i,
    0.336610262442278 + 0.0*i,
    0.69289911560222 + 0.0*i,
    -0.190368740082703 + 0.0*i,
    -0.267179591974183 + 0.0*i,
    -0.709665644620221 + 0.0*i,
    0.419666680838414 + 0.0*i,
    -0.518977159281674 + 0.0*i,
    -0.0700852656878407 + 0.0*i,
    0.607157276660066 + 0.0*i,
    0.446465804351301 + 0.0*i,
    -0.108207789938286 + 0.0*i,
    0.468535584288658 + 0.0*i,
    0.285268646112518 + 0.0*i,
    -0.169379799037308 + 0.0*i,
    -0.0611083515683795 + 0.0*i,
    -0.039327987258058 + 0.0*i,
    0.99502743845194 + 0.0*i,
    -0.659841997875002 + 0.0*i,
    0.39391526841997 + 0.0*i,
    0.30678955868902 + 0.0*i,
    0.548829903234448 + 0.0*i,
    -0.515919659335984 + 0.0*i,
    0.836841878218772 + 0.0*i,
    -0.552847079806549 + 0.0*i,
    0.76195897445525 + 0.0*i,
    0.686519553189303 + 0.0*i,
    0.0584911401574277 + 0.0*i,
    0.227486816695294 + 0.0*i,
    -0.712061494929914 + 0.0*i,
    -0.170959988475292 + 0.0*i,
    0.531887474066977 + 0.0*i,
    -0.958845002954016 + 0.0*i,
    0.58389832694364 + 0.0*i,
    0.513829944273342 + 0.0*i,
    0.46694194821047 + 0.0*i,
    -0.423717059535995 + 0.0*i,
    0.390570294088016 + 0.0*i,
    0.220391470339837 + 0.0*i,
    0.586155674525506 + 0.0*i,
    0.434112088185178 + 0.0*i,
    -0.254175096986004 + 0.0*i,
    0.276666788325337 + 0.0*i,
    -0.00110433773248029 + 0.0*i,
    -0.0585902573064295 + 0.0*i,
    -1.24541507008956 + 0.0*i,
    -0.161645395717307 + 0.0*i,
    0.0926287691238409 + 0.0*i,
    -0.22370487448017 + 0.0*i,
    0.173149664893484 + 0.0*i,
    0.732152571419669 + 0.0*i,
    -0.00928604766721939 + 0.0*i,
    -0.0982052904141987 + 0.0*i,
    -0.518189075326575 + 0.0*i,
    -0.276416506058988 + 0.0*i,
    0.100248097146804 + 0.0*i,
    0.239909036115971 + 0.0*i,
    0.020124161005171 + 0.0*i,
    0.114693162870614 + 0.0*i,
    0.801531916457751 + 0.0*i,
    -0.508738031590354 + 0.0*i,
    -0.376790932996524 + 0.0*i,
    -0.634873903427204 + 0.0*i,
    0.277732706545071 + 0.0*i,
    -0.268066451497668 + 0.0*i,
    -1.34411924941049 + 0.0*i,
    -0.421986338522752 + 0.0*i,
    0.350377571984283 + 0.0*i,
    -0.363446401410268 + 0.0*i,
    0.994234556661059 + 0.0*i,
    -0.150985441803593 + 0.0*i,
    -0.178456622460495 + 0.0*i,
    -0.0885683069175632 + 0.0*i,
    -0.209714300395011 + 0.0*i,
    -0.193728961860131 + 0.0*i,
    -0.918441107694046 + 0.0*i,
    -0.291388165936187 + 0.0*i,
    -0.336127627156515 + 0.0*i,
    -1.04415643987816 + 0.0*i,
    0.0120738340036842 + 0.0*i,
    0.508517391081862 + 0.0*i,
    0.730109312074778 + 0.0*i,
    1.1295662889076 + 0.0*i,
    1.06026108670239 + 0.0*i,
    0.0759321992893897 + 0.0*i,
    0.0788686706426976 + 0.0*i,
    0.121843985526136 + 0.0*i,
    0.0746328257707081 + 0.0*i,
    -0.274169076242453 + 0.0*i,
    -0.0801515026338986 + 0.0*i,
    -0.236992469568164 + 0.0*i,
    0.221194518742515 + 0.0*i,
    -0.625139625964688 + 0.0*i,
    0.164760337493803 + 0.0*i,
    -0.286529372523654 + 0.0*i,
    0.45251294518046 + 0.0*i,
    -0.00673069649853173 + 0.0*i,
    -0.802400895330527 + 0.0*i,
    0.398840595231982 + 0.0*i,
    -0.829797925234964 + 0.0*i,
    0.332746534787081 + 0.0*i,
    -0.42399126396343 + 0.0*i,
    -1.12354660240776 + 0.0*i,
    -0.0720465633863637 + 0.0*i,
    -0.143757119017422 + 0.0*i,
    0.0793124269062084 + 0.0*i,
    -0.63585332209373 + 0.0*i,
    -0.784538706349697 + 0.0*i,
    0.53766829818182 + 0.0*i,
    0.275195672133474 + 0.0*i
]);