V:=Matrix(CC,4,31,[
    0.585680432337562 + 0.0*i,
    -0.673170825790998 + 0.0*i,
    -0.513494730150455 + 0.0*i,
    -0.0823160755869835 + 0.0*i,
    0.596279513065774 + 0.0*i,
    0.0190763534770263 + 0.0*i,
    -0.389037494541378 + 0.0*i,
    -0.410011090704045 + 0.0*i,
    -0.221104677761671 + 0.0*i,
    0.850712215381942 + 0.0*i,
    0.982910942506831 + 0.0*i,
    -0.908113736543835 + 0.0*i,
    -0.298300785946667 + 0.0*i,
    0.167774838172435 + 0.0*i,
    -0.331462305780999 + 0.0*i,
    -0.788771183316379 + 0.0*i,
    0.653512206681876 + 0.0*i,
    1.15693501012575 + 0.0*i,
    0.0637931753931167 + 0.0*i,
    0.274333190994345 + 0.0*i,
    -1.15932069625844 + 0.0*i,
    0.105795490261604 + 0.0*i,
    -0.643890040486857 + 0.0*i,
    0.132445005874217 + 0.0*i,
    0.250744744320218 + 0.0*i,
    0.377692859503482 + 0.0*i,
    -0.423302721145965 + 0.0*i,
    0.273703154939074 + 0.0*i,
    -0.0340693608983691 + 0.0*i,
    -0.573888601433152 + 0.0*i,
    -0.0708097751585669 + 0.0*i,
    0.0492386840877052 + 0.0*i,
    -0.340103643429775 + 0.0*i,
    -0.0484119399614916 + 0.0*i,
    -0.190291766950547 + 0.0*i,
    -0.672771665143026 + 0.0*i,
    0.351519610307559 + 0.0*i,
    0.342304909249015 + 0.0*i,
    0.939005045844119 + 0.0*i,
    0.130914837753215 + 0.0*i,
    0.424669538205704 + 0.0*i,
    0.043744044222881 + 0.0*i,
    -0.189400793497952 + 0.0*i,
    0.517153816898964 + 0.0*i,
    0.708530945729755 + 0.0*i,
    -1.0082336602406 + 0.0*i,
    0.430220638453553 + 0.0*i,
    -0.648302363397864 + 0.0*i,
    -0.401885270093334 + 0.0*i,
    0.700301462024942 + 0.0*i,
    0.391691339404514 + 0.0*i,
    0.0322797938762928 + 0.0*i,
    -0.506328672399446 + 0.0*i,
    -0.385413820884357 + 0.0*i,
    0.364459118561445 + 0.0*i,
    0.373815394372488 + 0.0*i,
    0.115159663788677 + 0.0*i,
    0.0855659143305228 + 0.0*i,
    -0.197200667263468 + 0.0*i,
    -0.402860058962119 + 0.0*i,
    -0.903397485681536 + 0.0*i,
    -0.325183346566154 + 0.0*i,
    -0.383742006765272 + 0.0*i,
    0.941577048723564 + 0.0*i,
    -0.228156497596631 + 0.0*i,
    -0.0217113011884394 + 0.0*i,
    -0.623240264780861 + 0.0*i,
    -0.982490253879928 + 0.0*i,
    0.213148080157247 + 0.0*i,
    0.359247370981512 + 0.0*i,
    -0.171660781070057 + 0.0*i,
    -0.455944815820671 + 0.0*i,
    0.0290524954163094 + 0.0*i,
    -0.575649324098884 + 0.0*i,
    0.162180903829201 + 0.0*i,
    0.929608209708745 + 0.0*i,
    0.221775657045374 + 0.0*i,
    -0.768282512187034 + 0.0*i,
    0.525347247502261 + 0.0*i,
    -0.248412060972897 + 0.0*i,
    0.828085694713168 + 0.0*i,
    -0.798063881692365 + 0.0*i,
    0.760073852068433 + 0.0*i,
    -0.308218824799794 + 0.0*i,
    -0.317150597971838 + 0.0*i,
    -0.25515093337683 + 0.0*i,
    -0.112130304040503 + 0.0*i,
    -0.470054768097517 + 0.0*i,
    -0.21507907937496 + 0.0*i,
    -0.0124149984840318 + 0.0*i,
    -0.113338899233163 + 0.0*i,
    0.146638476400246 + 0.0*i,
    -0.12941397505855 + 0.0*i,
    0.475842295927202 + 0.0*i,
    -0.537209590213032 + 0.0*i,
    0.307511582066985 + 0.0*i,
    -0.929483313750868 + 0.0*i,
    0.086905443025817 + 0.0*i,
    -0.729011201031069 + 0.0*i,
    0.484081251108811 + 0.0*i,
    0.58393969517598 + 0.0*i,
    0.146799712380487 + 0.0*i,
    0.480324841332733 + 0.0*i,
    -0.195346279039621 + 0.0*i,
    -0.696085460907871 + 0.0*i,
    0.0961460282523054 + 0.0*i,
    0.0860151234646174 + 0.0*i,
    0.149022573450554 + 0.0*i,
    0.0946906079168606 + 0.0*i,
    0.25556322193151 + 0.0*i,
    -0.182399094888169 + 0.0*i,
    -0.440112513419776 + 0.0*i,
    0.232862314081674 + 0.0*i,
    0.203351541369379 + 0.0*i,
    -0.443626680084756 + 0.0*i,
    0.127040236218609 + 0.0*i,
    -0.869656016480428 + 0.0*i,
    -0.242596661116271 + 0.0*i,
    -0.0957406308593301 + 0.0*i,
    1.15140410067319 + 0.0*i,
    0.836681492121573 + 0.0*i,
    -0.0943231045947713 + 0.0*i,
    0.0252429167977956 + 0.0*i,
    -0.131446914128081 + 0.0*i
]);