V:=Matrix(CC,4,18,[
    -0.659561150433538 + 0.0*i,
    -0.315430901874187 + 0.0*i,
    0.553454155774311 + 0.0*i,
    -0.689910039944824 + 0.0*i,
    -0.104128140534605 + 0.0*i,
    -0.362078671635563 + 0.0*i,
    0.894767988947301 + 0.0*i,
    -0.0690819947113455 + 0.0*i,
    -0.176587131872058 + 0.0*i,
    -0.272976667357325 + 0.0*i,
    0.251652989238364 + 0.0*i,
    -0.326461058607075 + 0.0*i,
    -0.44630320787802 + 0.0*i,
    -0.652124728179025 + 0.0*i,
    0.504370811547168 + 0.0*i,
    -0.908965309328947 + 0.0*i,
    0.198157904036167 + 0.0*i,
    -0.241060628207742 + 0.0*i,
    -0.726224760467414 + 0.0*i,
    0.141781781650343 + 0.0*i,
    0.288640783961421 + 0.0*i,
    0.584937909242707 + 0.0*i,
    -0.0570970650451464 + 0.0*i,
    0.0402594471819691 + 0.0*i,
    -0.174595342607614 + 0.0*i,
    0.660354890839302 + 0.0*i,
    0.956578899710405 + 0.0*i,
    -0.212982945546034 + 0.0*i,
    -0.544374974805751 + 0.0*i,
    0.513201120379788 + 0.0*i,
    -0.0318157846164481 + 0.0*i,
    -0.319543994879018 + 0.0*i,
    0.548164691572431 + 0.0*i,
    0.112173211534199 + 0.0*i,
    -0.759077778686104 + 0.0*i,
    -0.712098949338599 + 0.0*i,
    0.107721189478612 + 0.0*i,
    -0.925090595677482 + 0.0*i,
    -0.757118722317922 + 0.0*i,
    -0.43766526253345 + 0.0*i,
    0.751271024729889 + 0.0*i,
    -0.179447561525452 + 0.0*i,
    -0.237708403452152 + 0.0*i,
    0.300441409638142 + 0.0*i,
    0.146143302043316 + 0.0*i,
    0.615683007060389 + 0.0*i,
    -0.343777881540796 + 0.0*i,
    0.794661803340328 + 0.0*i,
    -0.148427638414834 + 0.0*i,
    -0.589652788512516 + 0.0*i,
    0.523919023269591 + 0.0*i,
    0.0827686243808595 + 0.0*i,
    0.460865851174511 + 0.0*i,
    0.350484886733053 + 0.0*i,
    -0.191722576408148 + 0.0*i,
    0.164290490855624 + 0.0*i,
    -0.00972184160334673 + 0.0*i,
    -0.276036188388291 + 0.0*i,
    0.639766049168553 + 0.0*i,
    0.943471103520411 + 0.0*i,
    0.303208092135556 + 0.0*i,
    0.680845539662792 + 0.0*i,
    -0.0504068862369549 + 0.0*i,
    -0.682101288268676 + 0.0*i,
    0.697884760172023 + 0.0*i,
    0.0319729821810887 + 0.0*i,
    -0.867796261289372 + 0.0*i,
    -0.323043005020748 + 0.0*i,
    -0.418453862109671 + 0.0*i,
    0.459826522575439 + 0.0*i,
    -0.401590704885465 + 0.0*i,
    0.570787351806332 + 0.0*i
]);