V:=Matrix(CC,4,30,[
    -0.255893125657189 + 0.0*i,
    -0.746696911163336 + 0.0*i,
    -0.73976178690476 + 0.0*i,
    -0.0716657995867185 + 0.0*i,
    -0.945977931146139 + 0.0*i,
    0.749709604718519 + 0.0*i,
    0.770233023606939 + 0.0*i,
    -0.288776935498523 + 0.0*i,
    0.504474138542976 + 0.0*i,
    0.120281532052202 + 0.0*i,
    0.241331102856236 + 0.0*i,
    0.721737901051253 + 0.0*i,
    0.548929816850235 + 0.0*i,
    -0.106489515741099 + 0.0*i,
    0.305068386867783 + 0.0*i,
    0.878664640806178 + 0.0*i,
    0.330830893056041 + 0.0*i,
    -0.00848921040248648 + 0.0*i,
    0.666863256458665 + 0.0*i,
    -0.443277469974423 + 0.0*i,
    0.0328800771074868 + 0.0*i,
    0.644483548448999 + 0.0*i,
    -0.348867062123953 + 0.0*i,
    -0.41903784937633 + 0.0*i,
    -0.430611977620503 + 0.0*i,
    0.357121637000551 + 0.0*i,
    -0.216204086118868 + 0.0*i,
    -0.0468266562927609 + 0.0*i,
    -0.601834419706847 + 0.0*i,
    -0.443793204004399 + 0.0*i,
    -0.757858631385562 + 0.0*i,
    -0.490130073491208 + 0.0*i,
    -0.366674118825612 + 0.0*i,
    0.967188225915193 + 0.0*i,
    -0.0795938262201872 + 0.0*i,
    -0.453206949867587 + 0.0*i,
    -0.100632137943322 + 0.0*i,
    -0.109756007962437 + 0.0*i,
    -0.57332518536832 + 0.0*i,
    0.582338142516699 + 0.0*i,
    -0.692376220396995 + 0.0*i,
    0.286660897791068 + 0.0*i,
    0.0564784746120247 + 0.0*i,
    -0.686252923735539 + 0.0*i,
    0.297405021164094 + 0.0*i,
    -0.230683699459557 + 0.0*i,
    -0.396701571650993 + 0.0*i,
    0.0467262833743853 + 0.0*i,
    -0.662726875873803 + 0.0*i,
    0.793142054226936 + 0.0*i,
    -0.549513324464347 + 0.0*i,
    0.710907710419124 + 0.0*i,
    -0.400667661980777 + 0.0*i,
    0.0580809212613498 + 0.0*i,
    -0.692601690953025 + 0.0*i,
    -0.326966316229374 + 0.0*i,
    -0.85899228917823 + 0.0*i,
    0.245318548246807 + 0.0*i,
    -0.237816042987475 + 0.0*i,
    0.195730181782827 + 0.0*i,
    -0.321261301653269 + 0.0*i,
    0.122130366268539 + 0.0*i,
    0.281054193598921 + 0.0*i,
    0.136022217187186 + 0.0*i,
    0.191154978532684 + 0.0*i,
    -0.363058006421832 + 0.0*i,
    -0.288929356975745 + 0.0*i,
    0.706104127171166 + 0.0*i,
    -0.591716557142531 + 0.0*i,
    0.813967318989213 + 0.0*i,
    0.667479095221082 + 0.0*i,
    0.449929877381452 + 0.0*i,
    -0.835860983711351 + 0.0*i,
    0.451023420182432 + 0.0*i,
    -0.0395915097035991 + 0.0*i,
    0.379623964811092 + 0.0*i,
    0.530425291273621 + 0.0*i,
    -0.992995597216963 + 0.0*i,
    0.109250340912925 + 0.0*i,
    -0.0855757656777023 + 0.0*i,
    -0.454737960839029 + 0.0*i,
    0.269736304560366 + 0.0*i,
    0.629472824110393 + 0.0*i,
    0.0231276400107887 + 0.0*i,
    0.563899380134485 + 0.0*i,
    0.248770429111966 + 0.0*i,
    0.107901787425994 + 0.0*i,
    0.571969865309888 + 0.0*i,
    -0.648884338209697 + 0.0*i,
    -0.808299382908092 + 0.0*i,
    -0.609663785776156 + 0.0*i,
    0.28181018740718 + 0.0*i,
    -0.529875580931829 + 0.0*i,
    0.117433959312408 + 0.0*i,
    -0.0015439227995986 + 0.0*i,
    0.33745149892084 + 0.0*i,
    -0.564628730145112 + 0.0*i,
    -0.658322946944278 + 0.0*i,
    -0.283919931212404 + 0.0*i,
    -0.108320244479127 + 0.0*i,
    0.038508483623637 + 0.0*i,
    -0.443405442031112 + 0.0*i,
    0.0251267261310831 + 0.0*i,
    -0.539280579832386 + 0.0*i,
    -0.913319333908586 + 0.0*i,
    0.169130632544302 + 0.0*i,
    0.659643137535264 + 0.0*i,
    -0.173846301847483 + 0.0*i,
    -0.345953988860963 + 0.0*i,
    -0.338090431891857 + 0.0*i,
    0.709146678247557 + 0.0*i,
    0.0478745435471356 + 0.0*i,
    0.535338797844281 + 0.0*i,
    -0.927506637204378 + 0.0*i,
    -0.0433773282900895 + 0.0*i,
    -0.864437223395471 + 0.0*i,
    0.421863893891735 + 0.0*i,
    0.785476722370682 + 0.0*i,
    -0.379563920796033 + 0.0*i,
    0.333209776804366 + 0.0*i
]);