V:=Matrix(CC,4,23,[
    0.501784634567921 + 0.0*i,
    0.322953085284136 + 0.0*i,
    0.585736879391602 + 0.0*i,
    0.310160518046279 + 0.0*i,
    -0.409664454253226 + 0.0*i,
    -0.439614082479378 + 0.0*i,
    -0.612297478067442 + 0.0*i,
    -0.433490568960899 + 0.0*i,
    0.245106887431699 + 0.0*i,
    0.0932823563441571 + 0.0*i,
    0.779073078378026 + 0.0*i,
    0.330695076861921 + 0.0*i,
    0.183502972787981 + 0.0*i,
    -0.24932687418532 + 0.0*i,
    0.531304160866502 + 0.0*i,
    -0.0311852192440359 + 0.0*i,
    -0.42432993470443 + 0.0*i,
    -0.0243762975130858 + 0.0*i,
    -0.301811585876874 + 0.0*i,
    0.69592049885871 + 0.0*i,
    0.719686375979912 + 0.0*i,
    -0.218747819972055 + 0.0*i,
    -0.136168357196318 + 0.0*i,
    -0.866064070302073 + 0.0*i,
    0.462226411895281 + 0.0*i,
    -0.128779384946074 + 0.0*i,
    -0.409930108003058 + 0.0*i,
    -0.350273584726461 + 0.0*i,
    0.373168400035544 + 0.0*i,
    0.115697278219166 + 0.0*i,
    -0.112119205508628 + 0.0*i,
    0.979045583916388 + 0.0*i,
    -0.0044094071621219 + 0.0*i,
    -0.200722345971403 + 0.0*i,
    -0.636748362923586 + 0.0*i,
    -0.165124644239615 + 0.0*i,
    0.35178026550067 + 0.0*i,
    -0.0699089764795063 + 0.0*i,
    -0.516392539440706 + 0.0*i,
    0.188477760060009 + 0.0*i,
    -0.411010225581887 + 0.0*i,
    0.211477418793548 + 0.0*i,
    0.394985961189639 + 0.0*i,
    0.305980675020348 + 0.0*i,
    0.586774153671021 + 0.0*i,
    1.05839565997175 + 0.0*i,
    -0.440450675674806 + 0.0*i,
    -0.128617612265528 + 0.0*i,
    0.0263048375625863 + 0.0*i,
    0.0447159059010589 + 0.0*i,
    0.32571777359293 + 0.0*i,
    -0.299702611730536 + 0.0*i,
    -0.152890199549824 + 0.0*i,
    0.406348454870279 + 0.0*i,
    -0.317152157473697 + 0.0*i,
    0.490201626617678 + 0.0*i,
    -0.363448976555754 + 0.0*i,
    -0.207966857930968 + 0.0*i,
    1.09099557937146 + 0.0*i,
    1.00200626521008 + 0.0*i,
    0.691293065971324 + 0.0*i,
    0.700657840250172 + 0.0*i,
    0.774212139973166 + 0.0*i,
    0.615012193545385 + 0.0*i,
    -0.754364836334772 + 0.0*i,
    -0.00706129069521588 + 0.0*i,
    -0.469178174249283 + 0.0*i,
    -0.367040209715403 + 0.0*i,
    -0.278047470646977 + 0.0*i,
    -0.0626453645000824 + 0.0*i,
    0.567318102394778 + 0.0*i,
    0.550793991745646 + 0.0*i,
    0.79932000453646 + 0.0*i,
    0.936646010241844 + 0.0*i,
    0.829137949466295 + 0.0*i,
    0.949278416490356 + 0.0*i,
    -0.208348936598524 + 0.0*i,
    0.254243450091006 + 0.0*i,
    -0.591756099781122 + 0.0*i,
    0.0641145041117919 + 0.0*i,
    -0.76286136456759 + 0.0*i,
    -0.416024465503019 + 0.0*i,
    0.389392102949972 + 0.0*i,
    -0.0555688814264971 + 0.0*i,
    0.0503896810630753 + 0.0*i,
    -0.716278092534333 + 0.0*i,
    0.239926344020225 + 0.0*i,
    -0.70838312111878 + 0.0*i,
    0.848691135572127 + 0.0*i,
    -0.278355337066689 + 0.0*i,
    -0.183201954933129 + 0.0*i,
    -0.530574095184139 + 0.0*i
]);