V:=Matrix(CC,4,17,[
    -0.52485674522885 + 0.0*i,
    0.132828108317095 + 0.0*i,
    -0.691928505692169 + 0.0*i,
    0.702923735114145 + 0.0*i,
    -0.147440224625916 + 0.0*i,
    -0.891968023069304 + 0.0*i,
    0.0294267260072928 + 0.0*i,
    0.510556173026055 + 0.0*i,
    -0.587225195881242 + 0.0*i,
    -0.376341380743088 + 0.0*i,
    -0.295412372120956 + 0.0*i,
    -0.0897285206968312 + 0.0*i,
    -0.832491205666581 + 0.0*i,
    0.324012547914921 + 0.0*i,
    -0.718276937431771 + 0.0*i,
    0.271888103534267 + 0.0*i,
    -0.231979883312826 + 0.0*i,
    -0.739947306781834 + 0.0*i,
    0.451456606692315 + 0.0*i,
    0.000337848885260922 + 0.0*i,
    -0.61469638682442 + 0.0*i,
    -0.147471137857722 + 0.0*i,
    0.168924929014341 + 0.0*i,
    0.562776128400463 + 0.0*i,
    0.604480135464221 + 0.0*i,
    0.237239545686928 + 0.0*i,
    0.211019893071917 + 0.0*i,
    0.918150429427765 + 0.0*i,
    0.766779050833088 + 0.0*i,
    -0.421239968717679 + 0.0*i,
    -0.202887782466407 + 0.0*i,
    0.151301607570888 + 0.0*i,
    0.595708510825709 + 0.0*i,
    0.0608387611576738 + 0.0*i,
    0.333700723069926 + 0.0*i,
    0.896956436284674 + 0.0*i,
    0.120611614651978 + 0.0*i,
    0.196512270518809 + 0.0*i,
    0.73093846747871 + 0.0*i,
    0.0546912990544337 + 0.0*i,
    -0.81685385181818 + 0.0*i,
    -0.22157575553165 + 0.0*i,
    -0.690648797378187 + 0.0*i,
    0.650831216510929 + 0.0*i,
    0.0114916668304179 + 0.0*i,
    0.353785100559982 + 0.0*i,
    -0.378435632476593 + 0.0*i,
    0.59288768767186 + 0.0*i,
    0.675159157702385 + 0.0*i,
    0.305851154191429 + 0.0*i,
    -0.12933405221749 + 0.0*i,
    -0.241714564968319 + 0.0*i,
    0.00138022453989363 + 0.0*i,
    -0.699787549066291 + 0.0*i,
    0.273429133118963 + 0.0*i,
    -0.630956878983115 + 0.0*i,
    0.387309793018096 + 0.0*i,
    -0.12991859018827 + 0.0*i,
    -0.584699593511302 + 0.0*i,
    0.338042670042549 + 0.0*i,
    0.601402843805995 + 0.0*i,
    0.319604143044624 + 0.0*i,
    -0.56541230299452 + 0.0*i,
    -0.0265515378876443 + 0.0*i,
    0.702710787433434 + 0.0*i,
    -0.113873304709425 + 0.0*i,
    0.670187968638602 + 0.0*i,
    0.971952716314938 + 0.0*i
]);