V:=Matrix(CC,4,42,[
    -0.369631359045918 + 0.0*i,
    -0.788094113788477 + 0.0*i,
    -0.0486738009626471 + 0.0*i,
    0.139330869740147 + 0.0*i,
    0.796919102545598 + 0.0*i,
    -0.118083603247716 + 0.0*i,
    -0.329517556340411 + 0.0*i,
    0.655716652010512 + 0.0*i,
    -0.262545716388222 + 0.0*i,
    0.335315824093704 + 0.0*i,
    -0.304005971976912 + 0.0*i,
    -0.204422672968549 + 0.0*i,
    -0.127492867064561 + 0.0*i,
    -0.22990348215964 + 0.0*i,
    -0.128561178585709 + 0.0*i,
    0.253441559574695 + 0.0*i,
    0.580980883023778 + 0.0*i,
    0.186456306174886 + 0.0*i,
    0.271840577203811 + 0.0*i,
    -0.117993453727687 + 0.0*i,
    0.403936501961797 + 0.0*i,
    -0.736317024860084 + 0.0*i,
    -0.762855178556324 + 0.0*i,
    0.468763267766946 + 0.0*i,
    0.53625250096961 + 0.0*i,
    -0.406196979346895 + 0.0*i,
    -0.0082300924684833 + 0.0*i,
    0.318098503923894 + 0.0*i,
    0.769476198818196 + 0.0*i,
    0.114092667542238 + 0.0*i,
    0.581839749452312 + 0.0*i,
    0.384601693940927 + 0.0*i,
    -0.637373682556489 + 0.0*i,
    0.256159313830098 + 0.0*i,
    0.121913978864419 + 0.0*i,
    -0.168195498676106 + 0.0*i,
    0.539745252274901 + 0.0*i,
    0.148042852046832 + 0.0*i,
    0.671588741652094 + 0.0*i,
    -0.326757049029159 + 0.0*i,
    0.367669325668876 + 0.0*i,
    0.356261230548273 + 0.0*i,
    0.441040281811901 + 0.0*i,
    0.581501418421618 + 0.0*i,
    0.211019891165349 + 0.0*i,
    -0.491579113733037 + 0.0*i,
    0.155051605497731 + 0.0*i,
    -0.423423405315985 + 0.0*i,
    -0.410610734341063 + 0.0*i,
    0.037298553583098 + 0.0*i,
    0.556729538240541 + 0.0*i,
    -1.19414249566031 + 0.0*i,
    0.21397879349925 + 0.0*i,
    0.0655965908186531 + 0.0*i,
    0.0700288634932804 + 0.0*i,
    -0.577690223380695 + 0.0*i,
    0.158791096328201 + 0.0*i,
    0.627174830845432 + 0.0*i,
    -0.828023421228782 + 0.0*i,
    -0.380539878844106 + 0.0*i,
    -0.0627508389286497 + 0.0*i,
    -0.689436155242255 + 0.0*i,
    -0.0859672708284235 + 0.0*i,
    0.0290787509467955 + 0.0*i,
    0.163515181895368 + 0.0*i,
    -0.356497927793847 + 0.0*i,
    -0.810386278263976 + 0.0*i,
    -0.111494619705862 + 0.0*i,
    0.276901866378306 + 0.0*i,
    -0.470158020024525 + 0.0*i,
    -0.998974135795316 + 0.0*i,
    0.367048932959679 + 0.0*i,
    0.145747366293268 + 0.0*i,
    0.107910208827761 + 0.0*i,
    0.193932323957791 + 0.0*i,
    -0.173049406374881 + 0.0*i,
    0.623752403043368 + 0.0*i,
    0.257093106352695 + 0.0*i,
    -0.124377328943699 + 0.0*i,
    -0.0859912020301516 + 0.0*i,
    -0.753823092848896 + 0.0*i,
    -0.210386183835441 + 0.0*i,
    0.966823513405724 + 0.0*i,
    0.229716972124965 + 0.0*i,
    -1.23059974434383 + 0.0*i,
    -0.737325306032054 + 0.0*i,
    -0.848998241350684 + 0.0*i,
    0.199941217665416 + 0.0*i,
    -0.32450152424297 + 0.0*i,
    -0.443644379022838 + 0.0*i,
    -0.0699975942976601 + 0.0*i,
    -0.341515460919347 + 0.0*i,
    -0.457845692225526 + 0.0*i,
    -0.984120711753099 + 0.0*i,
    0.262764945120302 + 0.0*i,
    0.0709897934453675 + 0.0*i,
    -0.524729157295264 + 0.0*i,
    0.0456770503485594 + 0.0*i,
    -1.50364539425255 + 0.0*i,
    -0.141503919585677 + 0.0*i,
    0.0553660760587125 + 0.0*i,
    -0.161975819653934 + 0.0*i,
    -0.208445340800215 + 0.0*i,
    0.0816337339585083 + 0.0*i,
    -0.0038532972894537 + 0.0*i,
    -0.327190617975205 + 0.0*i,
    -0.0383643796331436 + 0.0*i,
    -0.367345964428614 + 0.0*i,
    -0.313664699069255 + 0.0*i,
    0.325875543766427 + 0.0*i,
    0.277025184650814 + 0.0*i,
    0.391596925747361 + 0.0*i,
    0.257099242094737 + 0.0*i,
    0.0505216112723246 + 0.0*i,
    0.38291037615756 + 0.0*i,
    -0.520816938106861 + 0.0*i,
    -1.37013324561545 + 0.0*i,
    -0.177154535464934 + 0.0*i,
    -0.164542657019678 + 0.0*i,
    0.128450419523571 + 0.0*i,
    0.565862581396294 + 0.0*i,
    -0.293568904323003 + 0.0*i,
    0.129497197108681 + 0.0*i,
    0.0117942882230745 + 0.0*i,
    0.165685952362323 + 0.0*i,
    0.237753240798851 + 0.0*i,
    -0.111710004857983 + 0.0*i,
    -0.557594558612443 + 0.0*i,
    -0.303522646480059 + 0.0*i,
    -0.308785668748681 + 0.0*i,
    0.320576905936632 + 0.0*i,
    0.333130114731411 + 0.0*i,
    -0.559784210560367 + 0.0*i,
    0.439494824926768 + 0.0*i,
    0.653170380805223 + 0.0*i,
    0.730035100504954 + 0.0*i,
    -0.990745529197529 + 0.0*i,
    -0.086343938179951 + 0.0*i,
    0.0941409933038003 + 0.0*i,
    -0.370207817251352 + 0.0*i,
    0.149384443848162 + 0.0*i,
    1.10327640734861 + 0.0*i,
    0.0999748829015419 + 0.0*i,
    -0.189907237566101 + 0.0*i,
    0.452062898993204 + 0.0*i,
    -0.180367098902461 + 0.0*i,
    0.750102002362676 + 0.0*i,
    0.799822660308984 + 0.0*i,
    0.0626114912408379 + 0.0*i,
    -0.174804477327563 + 0.0*i,
    -0.0564376391365413 + 0.0*i,
    -0.580993040883698 + 0.0*i,
    -0.653455004140713 + 0.0*i,
    0.467299852268657 + 0.0*i,
    -0.97957167604176 + 0.0*i,
    -1.19389796920189 + 0.0*i,
    -0.90357341691235 + 0.0*i,
    -0.434190054815779 + 0.0*i,
    -0.434796826665116 + 0.0*i,
    0.196491855314124 + 0.0*i,
    -0.566839334681858 + 0.0*i,
    -0.0340192638956667 + 0.0*i,
    -0.636723403137494 + 0.0*i,
    0.187264838724098 + 0.0*i,
    -0.951116571025707 + 0.0*i,
    -0.964795690413303 + 0.0*i,
    0.877469629386779 + 0.0*i,
    -0.0891461774134144 + 0.0*i
]);