V:=Matrix(CC,4,58,[
    -0.444225139100988 + 0.0*i,
    -0.212505214428541 + 0.0*i,
    0.520036589358394 + 0.0*i,
    -0.379959231874611 + 0.0*i,
    0.00320353299333506 + 0.0*i,
    0.687318729708379 + 0.0*i,
    -0.0430233447452553 + 0.0*i,
    -0.484504808552477 + 0.0*i,
    0.260658771568465 + 0.0*i,
    0.746474155199185 + 0.0*i,
    -0.68577866918334 + 0.0*i,
    0.555635233081387 + 0.0*i,
    0.547415791053097 + 0.0*i,
    0.00100803391021462 + 0.0*i,
    -0.51759194878622 + 0.0*i,
    -0.0432693255181876 + 0.0*i,
    -0.151916183461192 + 0.0*i,
    -0.0937218601400846 + 0.0*i,
    0.613759377843163 + 0.0*i,
    -0.769395585356441 + 0.0*i,
    0.00652945538264784 + 0.0*i,
    -0.126132825330643 + 0.0*i,
    0.265781743325272 + 0.0*i,
    -0.134941974228613 + 0.0*i,
    0.551125164137061 + 0.0*i,
    -0.133281447121813 + 0.0*i,
    0.0383519063086633 + 0.0*i,
    0.165056219066073 + 0.0*i,
    0.201111698018602 + 0.0*i,
    -0.0640661655540154 + 0.0*i,
    -0.951502115007403 + 0.0*i,
    1.1696127765202 + 0.0*i,
    0.274787374517655 + 0.0*i,
    -0.563671056688446 + 0.0*i,
    -0.0168452112367416 + 0.0*i,
    0.562846740396212 + 0.0*i,
    -0.432821392406847 + 0.0*i,
    -0.66647448425797 + 0.0*i,
    -0.0224554090113007 + 0.0*i,
    0.283147559139866 + 0.0*i,
    0.701125642003363 + 0.0*i,
    -0.522278447022621 + 0.0*i,
    -0.110727551669425 + 0.0*i,
    -0.179942567664692 + 0.0*i,
    -0.57147203246358 + 0.0*i,
    -0.316436494797312 + 0.0*i,
    0.126790239924604 + 0.0*i,
    -0.229829174252241 + 0.0*i,
    0.0966253939442896 + 0.0*i,
    0.102678356670465 + 0.0*i,
    -0.411829807111348 + 0.0*i,
    0.0207262489898241 + 0.0*i,
    0.871908305948005 + 0.0*i,
    -0.668061232733192 + 0.0*i,
    0.17731291667702 + 0.0*i,
    -0.297571812524146 + 0.0*i,
    0.209717352296749 + 0.0*i,
    0.191190235710244 + 0.0*i,
    0.714597267165337 + 0.0*i,
    -0.16558429969363 + 0.0*i,
    -0.366761355003298 + 0.0*i,
    -0.148503320390142 + 0.0*i,
    0.37670739875511 + 0.0*i,
    -0.00420625367915574 + 0.0*i,
    -0.761201841980965 + 0.0*i,
    0.132489979459245 + 0.0*i,
    -0.535179145916618 + 0.0*i,
    0.675846837798707 + 0.0*i,
    1.31677248615809 + 0.0*i,
    -0.617628120530483 + 0.0*i,
    0.341952760873944 + 0.0*i,
    0.788565904626077 + 0.0*i,
    0.229683472165376 + 0.0*i,
    -0.134484192965036 + 0.0*i,
    1.11765248164364 + 0.0*i,
    0.621476144568903 + 0.0*i,
    0.82191033488354 + 0.0*i,
    0.0881704756877392 + 0.0*i,
    -0.465764576236879 + 0.0*i,
    0.804871749838772 + 0.0*i,
    -0.684172568956445 + 0.0*i,
    -0.589908392452899 + 0.0*i,
    -0.562771948504697 + 0.0*i,
    -0.344956998391164 + 0.0*i,
    0.495433759498535 + 0.0*i,
    0.477085025233406 + 0.0*i,
    -0.627895522001484 + 0.0*i,
    0.834572779126131 + 0.0*i,
    0.85700939113759 + 0.0*i,
    0.618159609389463 + 0.0*i,
    -0.392165475632793 + 0.0*i,
    0.189053759945352 + 0.0*i,
    -0.0876746831213734 + 0.0*i,
    -0.909634833274569 + 0.0*i,
    0.113849750824249 + 0.0*i,
    0.485732780791826 + 0.0*i,
    -0.00276354809221523 + 0.0*i,
    -0.38127961000498 + 0.0*i,
    -0.600906653439081 + 0.0*i,
    0.38449679282405 + 0.0*i,
    -0.770787014187515 + 0.0*i,
    1.1508897991428 + 0.0*i,
    -0.30190988696359 + 0.0*i,
    0.744243472703276 + 0.0*i,
    0.0552132783183833 + 0.0*i,
    0.398531198755015 + 0.0*i,
    -0.0702224834307741 + 0.0*i,
    0.337732660313838 + 0.0*i,
    -0.982341444808297 + 0.0*i,
    -0.032529011428351 + 0.0*i,
    -0.417703666838838 + 0.0*i,
    -0.415400751527066 + 0.0*i,
    0.419376999130753 + 0.0*i,
    0.518319355607168 + 0.0*i,
    0.52565673191272 + 0.0*i,
    0.286333696834255 + 0.0*i,
    -0.0440954448302268 + 0.0*i,
    0.0935583059697071 + 0.0*i,
    -0.522427266653378 + 0.0*i,
    0.932069827874852 + 0.0*i,
    0.183602149231998 + 0.0*i,
    0.542588794508023 + 0.0*i,
    -0.221689031487272 + 0.0*i,
    0.730174035911821 + 0.0*i,
    -0.349571457929667 + 0.0*i,
    -0.263783223308011 + 0.0*i,
    0.598404986895561 + 0.0*i,
    0.130133731099397 + 0.0*i,
    -0.496058353589127 + 0.0*i,
    -0.329592363668736 + 0.0*i,
    -0.675279150910054 + 0.0*i,
    0.499987738081267 + 0.0*i,
    -0.380102883024744 + 0.0*i,
    -0.173689962139653 + 0.0*i,
    -0.27078199305416 + 0.0*i,
    0.284304785102562 + 0.0*i,
    0.217618728313895 + 0.0*i,
    0.519155949334653 + 0.0*i,
    0.214330375987365 + 0.0*i,
    -0.423186279677546 + 0.0*i,
    0.347040061685321 + 0.0*i,
    0.0455255577381729 + 0.0*i,
    -0.747643078010278 + 0.0*i,
    -0.210315879437412 + 0.0*i,
    0.216636608254499 + 0.0*i,
    0.0705053809177191 + 0.0*i,
    -0.3615448420049 + 0.0*i,
    0.18898411339385 + 0.0*i,
    -0.244256696220575 + 0.0*i,
    -0.0312854222881044 + 0.0*i,
    -0.427531691855386 + 0.0*i,
    -0.682757074323299 + 0.0*i,
    -0.132318582403152 + 0.0*i,
    0.167362662325655 + 0.0*i,
    -0.933121985071005 + 0.0*i,
    -0.220235261430173 + 0.0*i,
    0.922062284940387 + 0.0*i,
    0.370149721501942 + 0.0*i,
    -1.08784044085903 + 0.0*i,
    -0.456936049718283 + 0.0*i,
    1.04710044712034 + 0.0*i,
    0.159311802936306 + 0.0*i,
    0.163921331607137 + 0.0*i,
    0.469060955957412 + 0.0*i,
    -0.22917942141588 + 0.0*i,
    -0.122079017897382 + 0.0*i,
    0.576119798594726 + 0.0*i,
    -0.465329628108993 + 0.0*i,
    0.149926530618889 + 0.0*i,
    -0.0280734175516263 + 0.0*i,
    -0.0816569248735329 + 0.0*i,
    -0.145646456269791 + 0.0*i,
    -0.477558365515266 + 0.0*i,
    0.698833657743452 + 0.0*i,
    0.472936108120727 + 0.0*i,
    -0.0108624201107965 + 0.0*i,
    -0.595447186010732 + 0.0*i,
    -0.186853372191702 + 0.0*i,
    -1.074963169553 + 0.0*i,
    0.200031625977054 + 0.0*i,
    -0.272216826390019 + 0.0*i,
    -0.367608686097632 + 0.0*i,
    -0.557982244566021 + 0.0*i,
    -0.175772794552222 + 0.0*i,
    -0.188397729695347 + 0.0*i,
    -0.227416380795841 + 0.0*i,
    0.641256714499462 + 0.0*i,
    -0.100794030687633 + 0.0*i,
    0.881099383104293 + 0.0*i,
    0.603586904453619 + 0.0*i,
    0.593194917370043 + 0.0*i,
    0.96078459381628 + 0.0*i,
    -0.609454504248513 + 0.0*i,
    -0.0886731782070175 + 0.0*i,
    -0.550473208113125 + 0.0*i,
    -0.164904663591577 + 0.0*i,
    0.551803410995146 + 0.0*i,
    -0.46113629539585 + 0.0*i,
    0.158679050366802 + 0.0*i,
    -0.439657179375532 + 0.0*i,
    -0.540129162965256 + 0.0*i,
    -1.08402150915866 + 0.0*i,
    -0.783179411271646 + 0.0*i,
    0.00459862403438647 + 0.0*i,
    -0.801560178370353 + 0.0*i,
    0.422962641386443 + 0.0*i,
    -0.498612207278403 + 0.0*i,
    0.355731662725593 + 0.0*i,
    0.473444355408799 + 0.0*i,
    -0.312245466084879 + 0.0*i,
    0.271757603923468 + 0.0*i,
    0.549600255075203 + 0.0*i,
    -0.0903219277084488 + 0.0*i,
    -0.476227860168615 + 0.0*i,
    -0.229225673475932 + 0.0*i,
    0.197424994744881 + 0.0*i,
    -1.16452360631458 + 0.0*i,
    -0.226789240186034 + 0.0*i,
    1.23726392512126 + 0.0*i,
    -0.135797357791697 + 0.0*i,
    0.190865654126994 + 0.0*i,
    0.20210128555951 + 0.0*i,
    0.245196142475798 + 0.0*i,
    0.0751539072231388 + 0.0*i,
    0.601611744715838 + 0.0*i,
    -0.261032534547192 + 0.0*i,
    0.289930963481323 + 0.0*i,
    0.24187183602558 + 0.0*i,
    -0.0982098779616128 + 0.0*i,
    0.220997806167274 + 0.0*i,
    -0.554019664739983 + 0.0*i,
    -0.278471892370614 + 0.0*i
]);