V:=Matrix(CC,4,30,[
    -0.358120069760651 + 0.0*i,
    0.763760880273931 + 0.0*i,
    -0.0722270353702065 + 0.0*i,
    0.549657856909893 + 0.0*i,
    -0.523893251539025 + 0.0*i,
    -0.322430507854707 + 0.0*i,
    0.138100647844132 + 0.0*i,
    -0.148376363850644 + 0.0*i,
    -0.681366197069981 + 0.0*i,
    0.358863132992856 + 0.0*i,
    0.905209455000323 + 0.0*i,
    0.104285032173246 + 0.0*i,
    -0.461144599453891 + 0.0*i,
    0.274843636227144 + 0.0*i,
    -0.648027783225621 + 0.0*i,
    0.0833870407841994 + 0.0*i,
    0.871502219394191 + 0.0*i,
    0.911872371811185 + 0.0*i,
    -0.333218122018949 + 0.0*i,
    0.647317591265141 + 0.0*i,
    0.846208394025011 + 0.0*i,
    -0.585205078669094 + 0.0*i,
    -0.406747693393907 + 0.0*i,
    -0.272077929567302 + 0.0*i,
    -0.06008340341139 + 0.0*i,
    0.591606220890398 + 0.0*i,
    -0.0929872991474349 + 0.0*i,
    0.112012364456246 + 0.0*i,
    -0.232475401682929 + 0.0*i,
    -0.122062985399595 + 0.0*i,
    0.293952126717236 + 0.0*i,
    -0.163413589278398 + 0.0*i,
    -0.319439830256679 + 0.0*i,
    0.105987771188843 + 0.0*i,
    -0.737482873353954 + 0.0*i,
    -0.256482939951557 + 0.0*i,
    -0.513835647034738 + 0.0*i,
    0.405628777052508 + 0.0*i,
    0.723830711663397 + 0.0*i,
    0.481295067177037 + 0.0*i,
    -0.370909274222147 + 0.0*i,
    -0.337306585542427 + 0.0*i,
    -0.82219664784725 + 0.0*i,
    -0.611014386354582 + 0.0*i,
    0.271615988449773 + 0.0*i,
    0.37842808534109 + 0.0*i,
    0.495786014814398 + 0.0*i,
    0.116975686384148 + 0.0*i,
    -0.122860110642601 + 0.0*i,
    0.157049977358009 + 0.0*i,
    -0.170099208093703 + 0.0*i,
    -0.523154271597643 + 0.0*i,
    0.550562994877624 + 0.0*i,
    0.838849130566705 + 0.0*i,
    0.472323938352591 + 0.0*i,
    0.000293868820690971 + 0.0*i,
    0.95260338825478 + 0.0*i,
    -0.525327689263606 + 0.0*i,
    0.470525118374743 + 0.0*i,
    -0.928949133871904 + 0.0*i,
    0.104596418404738 + 0.0*i,
    -0.498519031970893 + 0.0*i,
    -0.941584101851907 + 0.0*i,
    0.0195846668857444 + 0.0*i,
    -0.042033497427275 + 0.0*i,
    0.507795601446017 + 0.0*i,
    0.102794905616883 + 0.0*i,
    0.454148266946364 + 0.0*i,
    -0.256253035409753 + 0.0*i,
    0.75168055643277 + 0.0*i,
    -0.29812344062875 + 0.0*i,
    0.460828316605513 + 0.0*i,
    -0.347601569331635 + 0.0*i,
    -0.181325503458213 + 0.0*i,
    -0.571476381925635 + 0.0*i,
    -0.932640378615332 + 0.0*i,
    -0.104936327400145 + 0.0*i,
    0.23035468057741 + 0.0*i,
    -0.31588627629932 + 0.0*i,
    -0.796722494674758 + 0.0*i,
    0.38806125856126 + 0.0*i,
    0.387217850959668 + 0.0*i,
    0.594884726260994 + 0.0*i,
    0.481337954799006 + 0.0*i,
    -0.253830871316748 + 0.0*i,
    0.763725148007896 + 0.0*i,
    -0.285414866314878 + 0.0*i,
    0.798837786313078 + 0.0*i,
    0.523093300615173 + 0.0*i,
    0.109181638748075 + 0.0*i,
    -0.860094280354448 + 0.0*i,
    0.466941435209347 + 0.0*i,
    -0.312506787457674 + 0.0*i,
    -0.89849942380267 + 0.0*i,
    -0.0081558225248735 + 0.0*i,
    0.74694419297195 + 0.0*i,
    -0.410123140149062 + 0.0*i,
    -0.752006512891971 + 0.0*i,
    -0.345823555069382 + 0.0*i,
    -0.474052815209231 + 0.0*i,
    -0.289637462278014 + 0.0*i,
    -0.869083504661239 + 0.0*i,
    -0.293153219222757 + 0.0*i,
    -0.649079163565854 + 0.0*i,
    0.396015663991287 + 0.0*i,
    0.295391621839061 + 0.0*i,
    -0.315868398488927 + 0.0*i,
    0.429175870296209 + 0.0*i,
    -0.945440039906158 + 0.0*i,
    -0.155030633234911 + 0.0*i,
    -0.22753057020598 + 0.0*i,
    -0.531402784364395 + 0.0*i,
    -0.0630108446625418 + 0.0*i,
    -0.0302175469187316 + 0.0*i,
    0.153641090769194 + 0.0*i,
    0.239633483897087 + 0.0*i,
    0.307452058111986 + 0.0*i,
    0.415883224101492 + 0.0*i,
    0.639453388508098 + 0.0*i,
    0.541140961535681 + 0.0*i
]);