V:=Matrix(CC,4,18,[
    -0.794306512786128 + 0.0*i,
    0.36587885957413 + 0.0*i,
    0.32635721939722 + 0.0*i,
    0.410648181676961 + 0.0*i,
    -0.326801389581827 + 0.0*i,
    -0.876957009886037 + 0.0*i,
    0.778645556032935 + 0.0*i,
    -0.382626115329817 + 0.0*i,
    -0.0550613107982272 + 0.0*i,
    0.255891589513558 + 0.0*i,
    -0.658325871278623 + 0.0*i,
    -0.102577021224976 + 0.0*i,
    -0.445934092148484 + 0.0*i,
    -0.0749090810724848 + 0.0*i,
    0.0973233178828695 + 0.0*i,
    -0.515205762266179 + 0.0*i,
    -0.668994437553132 + 0.0*i,
    0.810745835055902 + 0.0*i,
    0.508109259436497 + 0.0*i,
    -0.446026154176218 + 0.0*i,
    0.235275581577509 + 0.0*i,
    0.529007584078803 + 0.0*i,
    -0.86099211246915 + 0.0*i,
    0.0685257534584052 + 0.0*i,
    0.275373167627914 + 0.0*i,
    -0.11887985228932 + 0.0*i,
    -0.480640546182481 + 0.0*i,
    0.402946924578071 + 0.0*i,
    -0.634539044720947 + 0.0*i,
    0.936585000430393 + 0.0*i,
    0.753053384056415 + 0.0*i,
    0.307296025101341 + 0.0*i,
    -0.335362171458635 + 0.0*i,
    0.431692448176871 + 0.0*i,
    0.173248466715443 + 0.0*i,
    0.208610188249456 + 0.0*i,
    0.326694645382833 + 0.0*i,
    -0.333366766805123 + 0.0*i,
    0.890610229446627 + 0.0*i,
    0.234719977772203 + 0.0*i,
    0.38137485607704 + 0.0*i,
    -0.361641850781991 + 0.0*i,
    -0.384796443118629 + 0.0*i,
    0.910754461715763 + 0.0*i,
    0.530843378675827 + 0.0*i,
    0.120638021418953 + 0.0*i,
    -0.351092136606131 + 0.0*i,
    0.368352114530536 + 0.0*i,
    -0.501115324070159 + 0.0*i,
    -0.628323614473217 + 0.0*i,
    -0.790935442930333 + 0.0*i,
    0.0883781333161173 + 0.0*i,
    -0.493539822963493 + 0.0*i,
    -0.274419602256452 + 0.0*i,
    -0.0372404439216089 + 0.0*i,
    0.755606250237413 + 0.0*i,
    -0.189230279778475 + 0.0*i,
    -0.709998075869481 + 0.0*i,
    -0.114570525530937 + 0.0*i,
    0.271820518813612 + 0.0*i,
    -0.384563903182093 + 0.0*i,
    -0.0903796119538228 + 0.0*i,
    0.709585969842441 + 0.0*i,
    0.8651027864933 + 0.0*i,
    -0.154681327558094 + 0.0*i,
    -0.011898112342981 + 0.0*i,
    0.0267193143889301 + 0.0*i,
    0.718035828853321 + 0.0*i,
    -0.505143744052334 + 0.0*i,
    0.737877703058839 + 0.0*i,
    -0.525897883145836 + 0.0*i,
    0.44978294513961 + 0.0*i
]);