V:=Matrix(CC,4,30,[
    0.144617272326433 + 0.0*i,
    0.158505986718041 + 0.0*i,
    0.229900718443652 + 0.0*i,
    -0.0433082539484234 + 0.0*i,
    0.37209804363101 + 0.0*i,
    -0.062185731525008 + 0.0*i,
    0.00556561258083923 + 0.0*i,
    0.0791750436702706 + 0.0*i,
    -0.017199842307019 + 0.0*i,
    -0.218418385259974 + 0.0*i,
    0.111256553896795 + 0.0*i,
    -0.278585772362102 + 0.0*i,
    -0.32817799005505 + 0.0*i,
    0.15193977498481 + 0.0*i,
    -0.228457896969581 + 0.0*i,
    0.258192015799955 + 0.0*i,
    0.331798310118107 + 0.0*i,
    -0.159513479754817 + 0.0*i,
    0.350036596620795 + 0.0*i,
    0.0433100425767112 + 0.0*i,
    0.100645163871767 + 0.0*i,
    0.139899452163261 + 0.0*i,
    -0.125782424940057 + 0.0*i,
    -0.197526641772079 + 0.0*i,
    -0.399607266017783 + 0.0*i,
    -0.356875039551905 + 0.0*i,
    -0.093987702332299 + 0.0*i,
    0.202550801843464 + 0.0*i,
    -0.179654944183999 + 0.0*i,
    0.0379797011364924 + 0.0*i,
    0.175481659856413 + 0.0*i,
    -0.0830967411759083 + 0.0*i,
    0.0785382759768082 + 0.0*i,
    0.170474064537248 + 0.0*i,
    -0.0936377421436401 + 0.0*i,
    -0.256162209363496 + 0.0*i,
    0.393955652222552 + 0.0*i,
    -0.21245847433179 + 0.0*i,
    -0.111480978247869 + 0.0*i,
    -0.125993997815646 + 0.0*i,
    -0.319164294032567 + 0.0*i,
    0.0904744002794167 + 0.0*i,
    0.0705222989844745 + 0.0*i,
    -0.0667709506542768 + 0.0*i,
    0.330324625017099 + 0.0*i,
    0.189113521894659 + 0.0*i,
    0.0143028761972019 + 0.0*i,
    -0.305792847740049 + 0.0*i,
    0.0860670439385045 + 0.0*i,
    0.313549566197042 + 0.0*i,
    -0.137223632792282 + 0.0*i,
    0.304888195315859 + 0.0*i,
    0.0118700484358541 + 0.0*i,
    0.188320924707895 + 0.0*i,
    0.106388556513194 + 0.0*i,
    -0.158703593233294 + 0.0*i,
    -0.337699466840107 + 0.0*i,
    -0.199533563979249 + 0.0*i,
    -0.22294010936948 + 0.0*i,
    -0.00549695100748226 + 0.0*i,
    -0.270665429402209 + 0.0*i,
    0.0421230414611605 + 0.0*i,
    -0.196122762720448 + 0.0*i,
    0.0511322262773699 + 0.0*i,
    -0.0535232796430922 + 0.0*i,
    -0.202568766523959 + 0.0*i,
    0.0292783155756057 + 0.0*i,
    -0.32639507347145 + 0.0*i,
    0.0700845309142062 + 0.0*i,
    -0.316092239406727 + 0.0*i,
    -0.134678078060822 + 0.0*i,
    0.344215395014031 + 0.0*i,
    0.0399463199636652 + 0.0*i,
    0.249088108776159 + 0.0*i,
    -0.0132475159845736 + 0.0*i,
    0.0429794655453683 + 0.0*i,
    0.190120622570241 + 0.0*i,
    0.0501977901701676 + 0.0*i,
    -0.134258579272519 + 0.0*i,
    -0.113609207487892 + 0.0*i,
    -0.322286323680925 + 0.0*i,
    0.209271861514121 + 0.0*i,
    0.147439740407113 + 0.0*i,
    0.185503449290552 + 0.0*i,
    0.121763905263213 + 0.0*i,
    0.0353115944302164 + 0.0*i,
    -0.0413069544217392 + 0.0*i,
    0.154229986731272 + 0.0*i,
    0.0318865298372494 + 0.0*i,
    0.254888767806912 + 0.0*i,
    -0.19562159327823 + 0.0*i,
    0.352917225431875 + 0.0*i,
    0.253535280885388 + 0.0*i,
    -0.351297419326224 + 0.0*i,
    -0.113358694948525 + 0.0*i,
    -0.271517027265007 + 0.0*i,
    0.0669746946870784 + 0.0*i,
    -0.0625751763453974 + 0.0*i,
    -0.381084762815272 + 0.0*i,
    -0.00276584105520158 + 0.0*i,
    0.166012487736479 + 0.0*i,
    -0.0351386305707035 + 0.0*i,
    -0.203566754372763 + 0.0*i,
    0.253101475888082 + 0.0*i,
    -0.0331640126365065 + 0.0*i,
    0.266546714213111 + 0.0*i,
    0.121093716636329 + 0.0*i,
    -0.179540488572594 + 0.0*i,
    -0.111246274845969 + 0.0*i,
    0.220064119202406 + 0.0*i,
    0.171767859679333 + 0.0*i,
    -0.0700462777536506 + 0.0*i,
    0.348147396356593 + 0.0*i,
    0.22446884381867 + 0.0*i,
    -0.0996753714482477 + 0.0*i,
    -0.0728672987974593 + 0.0*i,
    0.176345104157817 + 0.0*i,
    0.233122689495186 + 0.0*i,
    0.277859454954943 + 0.0*i,
    0.299062289701006 + 0.0*i
]);