V:=Matrix(CC,4,47,[
    0.654049069679371 + 0.0*i,
    0.166404360368907 + 0.0*i,
    -0.500098003513034 + 0.0*i,
    -0.521556420658831 + 0.0*i,
    0.598020190076046 + 0.0*i,
    0.259761216978684 + 0.0*i,
    -0.178013412358292 + 0.0*i,
    -0.0062589376267153 + 0.0*i,
    -0.651629037467271 + 0.0*i,
    0.0524092699119415 + 0.0*i,
    0.39629143597875 + 0.0*i,
    -0.548905884740094 + 0.0*i,
    0.414944161470353 + 0.0*i,
    -0.041214394270828 + 0.0*i,
    0.588896321797558 + 0.0*i,
    0.609103932770372 + 0.0*i,
    0.835928159695724 + 0.0*i,
    0.422639069184837 + 0.0*i,
    0.0484172943888816 + 0.0*i,
    0.663712971419865 + 0.0*i,
    -0.709369203464031 + 0.0*i,
    -0.611571329951633 + 0.0*i,
    -0.264952457535984 + 0.0*i,
    0.197222394214817 + 0.0*i,
    -0.388516170814109 + 0.0*i,
    0.166744071503504 + 0.0*i,
    0.450632399427169 + 0.0*i,
    0.448778365786283 + 0.0*i,
    -0.413180308195199 + 0.0*i,
    -0.370515347385612 + 0.0*i,
    -0.32564977950517 + 0.0*i,
    0.968512823019395 + 0.0*i,
    -0.222662241607681 + 0.0*i,
    -0.672666657951192 + 0.0*i,
    -0.186151299987622 + 0.0*i,
    0.876365640629044 + 0.0*i,
    0.567455761208413 + 0.0*i,
    0.679324018988575 + 0.0*i,
    0.736817064944578 + 0.0*i,
    -0.13780128878736 + 0.0*i,
    -0.05551881374602 + 0.0*i,
    -0.159314996352549 + 0.0*i,
    -1.0037709299392 + 0.0*i,
    -0.880479116610833 + 0.0*i,
    -1.04916239580243 + 0.0*i,
    -0.256082137447214 + 0.0*i,
    0.0752558813792475 + 0.0*i,
    -0.151314424061029 + 0.0*i,
    -0.744569985103875 + 0.0*i,
    -0.573686754016906 + 0.0*i,
    0.380522079819421 + 0.0*i,
    -0.208424931658553 + 0.0*i,
    -0.200158996037935 + 0.0*i,
    -0.0708705395893674 + 0.0*i,
    0.635496170282612 + 0.0*i,
    -0.774339298690853 + 0.0*i,
    -0.354290007899984 + 0.0*i,
    0.0158868325712924 + 0.0*i,
    -0.118451450591429 + 0.0*i,
    0.477625698209134 + 0.0*i,
    -0.519976567748972 + 0.0*i,
    -0.651254073143925 + 0.0*i,
    -0.452925070596475 + 0.0*i,
    0.197501890119094 + 0.0*i,
    -0.0338385257220264 + 0.0*i,
    0.343523075871094 + 0.0*i,
    1.01599781456061 + 0.0*i,
    -0.414087454454843 + 0.0*i,
    -0.222443776009137 + 0.0*i,
    0.395497448351915 + 0.0*i,
    -0.840749792026338 + 0.0*i,
    0.503009024045892 + 0.0*i,
    -0.0372139691034869 + 0.0*i,
    0.0174036028327032 + 0.0*i,
    0.88179664364038 + 0.0*i,
    -0.477168960964343 + 0.0*i,
    -0.270777777681731 + 0.0*i,
    0.211326816921257 + 0.0*i,
    -0.238236296519087 + 0.0*i,
    0.0799729339760138 + 0.0*i,
    -0.3696968065367 + 0.0*i,
    0.15144658928715 + 0.0*i,
    -0.632245693665206 + 0.0*i,
    -0.889626455067149 + 0.0*i,
    -0.191977805663997 + 0.0*i,
    -0.116942169453534 + 0.0*i,
    0.582262639985317 + 0.0*i,
    -0.766863125255 + 0.0*i,
    0.556356922875276 + 0.0*i,
    -0.131745633495937 + 0.0*i,
    0.810035666162026 + 0.0*i,
    -0.0994121920252542 + 0.0*i,
    -0.183000950876311 + 0.0*i,
    -0.419267878645436 + 0.0*i,
    -0.415030382850765 + 0.0*i,
    0.0354597136637021 + 0.0*i,
    -0.343236641315418 + 0.0*i,
    0.120127368806503 + 0.0*i,
    -0.969332052079914 + 0.0*i,
    -1.00777220533547 + 0.0*i,
    -0.530995198044428 + 0.0*i,
    0.578378463765028 + 0.0*i,
    -0.236486886374721 + 0.0*i,
    0.961809586867554 + 0.0*i,
    -0.458063328744276 + 0.0*i,
    0.0868199449808753 + 0.0*i,
    0.182877612696936 + 0.0*i,
    -0.153108788741172 + 0.0*i,
    1.15794511823096 + 0.0*i,
    0.313311269957382 + 0.0*i,
    -0.293700961985464 + 0.0*i,
    -0.341899050421806 + 0.0*i,
    0.172848076886673 + 0.0*i,
    -0.133703160337452 + 0.0*i,
    0.116579331692933 + 0.0*i,
    -0.0183391786519767 + 0.0*i,
    1.47082825276752 + 0.0*i,
    -0.122149046124584 + 0.0*i,
    -0.137443108588303 + 0.0*i,
    -0.0511760071592182 + 0.0*i,
    -1.32587145601149 + 0.0*i,
    -0.461103040905017 + 0.0*i,
    0.692130410509166 + 0.0*i,
    -0.869306641211768 + 0.0*i,
    0.660926765837628 + 0.0*i,
    -0.194669564950247 + 0.0*i,
    0.197998782329137 + 0.0*i,
    -0.295954672514729 + 0.0*i,
    -0.130546790469627 + 0.0*i,
    -0.397933059345623 + 0.0*i,
    -0.551813853510334 + 0.0*i,
    -0.309719452636771 + 0.0*i,
    -0.464653881346446 + 0.0*i,
    0.1079745541763 + 0.0*i,
    0.394162440633683 + 0.0*i,
    0.220412848830575 + 0.0*i,
    0.450481725504538 + 0.0*i,
    0.541464845564362 + 0.0*i,
    0.343392485028258 + 0.0*i,
    1.24544403364478 + 0.0*i,
    0.0435416609054313 + 0.0*i,
    0.104135691286693 + 0.0*i,
    -0.283105936551144 + 0.0*i,
    0.237364127836278 + 0.0*i,
    0.19115107426746 + 0.0*i,
    -0.441501913647304 + 0.0*i,
    -0.0165287577612116 + 0.0*i,
    0.432960353790669 + 0.0*i,
    0.300119128519065 + 0.0*i,
    0.313239392820763 + 0.0*i,
    -0.274833942643097 + 0.0*i,
    -0.170095912878759 + 0.0*i,
    -0.0207907666420513 + 0.0*i,
    -0.504365157751582 + 0.0*i,
    0.138662587785843 + 0.0*i,
    0.22389378343883 + 0.0*i,
    0.625629314435348 + 0.0*i,
    0.379683263586205 + 0.0*i,
    0.16136298605238 + 0.0*i,
    0.165958092350711 + 0.0*i,
    0.508557447607826 + 0.0*i,
    -0.588952904428851 + 0.0*i,
    -0.279174072069168 + 0.0*i,
    -0.0198835825103955 + 0.0*i,
    -0.453377288022796 + 0.0*i,
    -0.872417525177865 + 0.0*i,
    -0.379085506747746 + 0.0*i,
    -0.123837074786398 + 0.0*i,
    -0.269190038418328 + 0.0*i,
    0.139880433244143 + 0.0*i,
    0.542891435738652 + 0.0*i,
    0.066540130077555 + 0.0*i,
    -0.9028284989128 + 0.0*i,
    0.471099306798791 + 0.0*i,
    -0.565420195140406 + 0.0*i,
    -0.676882990425661 + 0.0*i,
    -0.35833329543548 + 0.0*i,
    -0.0590761596195792 + 0.0*i,
    -0.933766568955553 + 0.0*i,
    -0.218276229239166 + 0.0*i,
    0.329508046571113 + 0.0*i,
    0.00732848486123723 + 0.0*i,
    0.444244323492094 + 0.0*i,
    0.22234555583185 + 0.0*i,
    -0.167955263557323 + 0.0*i,
    0.155784006616758 + 0.0*i,
    0.659685593525561 + 0.0*i,
    -0.745451989005461 + 0.0*i
]);