V:=Matrix(CC,4,20,[
    0.042475061318594 + 0.0*i,
    0.0901138630419778 + 0.0*i,
    0.0111906942421097 + 0.0*i,
    0.0665605254844166 + 0.0*i,
    0.0873041833511428 + 0.0*i,
    -0.161875123388477 + 0.0*i,
    0.0825119399341149 + 0.0*i,
    -0.0101070535098844 + 0.0*i,
    0.0440492787586548 + 0.0*i,
    0.0934961040306782 + 0.0*i,
    -0.0771916590289147 + 0.0*i,
    -0.149539030692929 + 0.0*i,
    -0.0339032239408635 + 0.0*i,
    -0.0421477613276658 + 0.0*i,
    0.0659629980729044 + 0.0*i,
    -0.049606963407342 + 0.0*i,
    0.165455983279843 + 0.0*i,
    -0.105212642531055 + 0.0*i,
    0.156771042684073 + 0.0*i,
    0.0692031433317443 + 0.0*i,
    0.0506150367310578 + 0.0*i,
    -0.0169378004309317 + 0.0*i,
    0.05701591679544 + 0.0*i,
    0.0228388724431181 + 0.0*i,
    0.00998118556112604 + 0.0*i,
    0.0808609009851038 + 0.0*i,
    0.126820028128478 + 0.0*i,
    0.125567906390913 + 0.0*i,
    0.0608334510578563 + 0.0*i,
    -0.126002771002058 + 0.0*i,
    -0.134803316359081 + 0.0*i,
    -0.0424965595871297 + 0.0*i,
    0.0285497552961773 + 0.0*i,
    0.17428511370641 + 0.0*i,
    0.163213299493237 + 0.0*i,
    0.0860382359300214 + 0.0*i,
    0.0207343938923157 + 0.0*i,
    0.0761704219404527 + 0.0*i,
    0.0519886085120883 + 0.0*i,
    -0.128898823332264 + 0.0*i,
    -0.15599914121002 + 0.0*i,
    -0.143713605442902 + 0.0*i,
    0.0968730493319589 + 0.0*i,
    -0.0570847752834368 + 0.0*i,
    0.00950169292622384 + 0.0*i,
    0.0148582234129442 + 0.0*i,
    -0.0987061689175944 + 0.0*i,
    0.100174959692113 + 0.0*i,
    0.165501106269747 + 0.0*i,
    -0.100427067993594 + 0.0*i,
    0.0213434321085134 + 0.0*i,
    -0.0853828388781095 + 0.0*i,
    -0.148919682953585 + 0.0*i,
    -0.0333475260003184 + 0.0*i,
    0.0456740579607762 + 0.0*i,
    -0.0524406413457421 + 0.0*i,
    -0.0688677666692005 + 0.0*i,
    -0.130374435572949 + 0.0*i,
    0.0362972353801971 + 0.0*i,
    0.0404474299899072 + 0.0*i,
    0.0886705151789822 + 0.0*i,
    -0.0477129559857412 + 0.0*i,
    -0.153796787453245 + 0.0*i,
    -0.162768592844037 + 0.0*i,
    0.167008792514667 + 0.0*i,
    0.0520560744708071 + 0.0*i,
    -0.0520082401687331 + 0.0*i,
    0.103014829954131 + 0.0*i,
    -0.0222330433489484 + 0.0*i,
    0.0404980266991565 + 0.0*i,
    -0.0874412400394078 + 0.0*i,
    -0.0564849823598468 + 0.0*i,
    -0.101806449372272 + 0.0*i,
    0.0268928126214373 + 0.0*i,
    -0.0477225497600957 + 0.0*i,
    0.146675202608679 + 0.0*i,
    0.0501272235218998 + 0.0*i,
    0.0197374682630448 + 0.0*i,
    -0.0858702125640526 + 0.0*i,
    0.11052778363041 + 0.0*i
]);