V:=Matrix(CC,4,88,[
    -0.48610039681644 + 0.0*i,
    0.190771936542197 + 0.0*i,
    -0.0980256603154404 + 0.0*i,
    -0.105522535298469 + 0.0*i,
    0.50454502560382 + 0.0*i,
    -0.39149826580827 + 0.0*i,
    0.761177220665995 + 0.0*i,
    -0.67499049918142 + 0.0*i,
    -0.219764202530718 + 0.0*i,
    -0.448621050688226 + 0.0*i,
    -0.485353377721265 + 0.0*i,
    0.242933738331334 + 0.0*i,
    0.221262366315365 + 0.0*i,
    -0.24450712416073 + 0.0*i,
    -0.640572231696086 + 0.0*i,
    -0.0645919219008831 + 0.0*i,
    -0.0930593532605033 + 0.0*i,
    -0.329990063977785 + 0.0*i,
    -0.139854171805232 + 0.0*i,
    -0.310093156154744 + 0.0*i,
    0.349643456927691 + 0.0*i,
    -0.600606998627243 + 0.0*i,
    0.184287254239458 + 0.0*i,
    0.889630127628718 + 0.0*i,
    0.362943789335521 + 0.0*i,
    -0.977112535457935 + 0.0*i,
    0.0234952461024714 + 0.0*i,
    -1.22813337206177 + 0.0*i,
    0.281806916130581 + 0.0*i,
    0.0223809415926443 + 0.0*i,
    -0.953996895746482 + 0.0*i,
    0.87514774910322 + 0.0*i,
    0.28176176673694 + 0.0*i,
    0.791283719915387 + 0.0*i,
    0.985779926787604 + 0.0*i,
    -0.216395385919151 + 0.0*i,
    0.0110138115469347 + 0.0*i,
    0.0595258449331409 + 0.0*i,
    0.0339467009667927 + 0.0*i,
    0.609935772051482 + 0.0*i,
    -1.13294458662963 + 0.0*i,
    -0.133333116172316 + 0.0*i,
    -0.371504523998354 + 0.0*i,
    -0.547294171359574 + 0.0*i,
    -0.465604041793135 + 0.0*i,
    -0.0851337329864075 + 0.0*i,
    0.734409987329125 + 0.0*i,
    -0.477185985799124 + 0.0*i,
    0.592077500687194 + 0.0*i,
    -0.333955034449411 + 0.0*i,
    -0.0801988465216509 + 0.0*i,
    0.3624449437014 + 0.0*i,
    0.0847754830931919 + 0.0*i,
    0.601891737054514 + 0.0*i,
    -0.821816701767762 + 0.0*i,
    -0.1187430949401 + 0.0*i,
    1.35112541093994 + 0.0*i,
    -0.114939298995799 + 0.0*i,
    0.714481894071386 + 0.0*i,
    -0.236945757915966 + 0.0*i,
    -0.932062055367354 + 0.0*i,
    -0.645440817163239 + 0.0*i,
    0.163471491457806 + 0.0*i,
    0.0153038442492481 + 0.0*i,
    -0.923179058657562 + 0.0*i,
    0.0799987448839998 + 0.0*i,
    0.173541360072311 + 0.0*i,
    -0.254916164014768 + 0.0*i,
    0.440235080163123 + 0.0*i,
    -0.43398453049133 + 0.0*i,
    0.532762077578411 + 0.0*i,
    -0.277188013450909 + 0.0*i,
    -0.574449726652025 + 0.0*i,
    -0.336298133767851 + 0.0*i,
    -0.0140760841609489 + 0.0*i,
    -0.177052525193038 + 0.0*i,
    0.0773442033273105 + 0.0*i,
    0.218558310396023 + 0.0*i,
    -0.131045273784086 + 0.0*i,
    0.121176296746046 + 0.0*i,
    -0.273696737066275 + 0.0*i,
    -0.00287990869967569 + 0.0*i,
    0.00440209615797036 + 0.0*i,
    0.511443647796175 + 0.0*i,
    0.300246815534326 + 0.0*i,
    -0.438078599188085 + 0.0*i,
    0.143490604265287 + 0.0*i,
    -0.635331388002118 + 0.0*i,
    0.224649134513138 + 0.0*i,
    0.34433853469093 + 0.0*i,
    0.4673684309528 + 0.0*i,
    -0.112481851008939 + 0.0*i,
    -0.458439750121356 + 0.0*i,
    -0.263227309866861 + 0.0*i,
    0.285796832768261 + 0.0*i,
    0.213524144151747 + 0.0*i,
    -0.536346215556312 + 0.0*i,
    -0.116634959319902 + 0.0*i,
    0.0278787088537555 + 0.0*i,
    0.367370119205022 + 0.0*i,
    -0.225814514428232 + 0.0*i,
    -0.19925318212954 + 0.0*i,
    0.00908457861069671 + 0.0*i,
    0.479690471640159 + 0.0*i,
    0.585544787048515 + 0.0*i,
    -0.200200224432056 + 0.0*i,
    0.249979987031835 + 0.0*i,
    0.851706470389582 + 0.0*i,
    0.122097644441028 + 0.0*i,
    1.07966499870872 + 0.0*i,
    -0.309086643524336 + 0.0*i,
    -0.127898168572373 + 0.0*i,
    0.034423695467314 + 0.0*i,
    0.0517929070859395 + 0.0*i,
    0.513844156132695 + 0.0*i,
    -0.686371537665397 + 0.0*i,
    0.404004975097325 + 0.0*i,
    0.203107788302137 + 0.0*i,
    -1.29900218863233 + 0.0*i,
    -0.361646278759817 + 0.0*i,
    -0.129656511522344 + 0.0*i,
    -0.155700438159996 + 0.0*i,
    -0.674123758530016 + 0.0*i,
    0.648260780472667 + 0.0*i,
    -0.892320156071468 + 0.0*i,
    -0.0283532405879043 + 0.0*i,
    0.795903014587793 + 0.0*i,
    0.381870604280252 + 0.0*i,
    -0.150827508773835 + 0.0*i,
    -0.304407815328128 + 0.0*i,
    0.673990514429817 + 0.0*i,
    -0.559596973157277 + 0.0*i,
    -0.15083157572197 + 0.0*i,
    0.196655810629141 + 0.0*i,
    -0.945932696188165 + 0.0*i,
    -0.65391041072901 + 0.0*i,
    0.632709323371426 + 0.0*i,
    -0.940615916579194 + 0.0*i,
    0.033771644022282 + 0.0*i,
    -0.148846532969717 + 0.0*i,
    -0.534948147481794 + 0.0*i,
    -0.21115322357198 + 0.0*i,
    0.368417502000464 + 0.0*i,
    -0.466967664550771 + 0.0*i,
    -0.186891119280719 + 0.0*i,
    0.340832770315261 + 0.0*i,
    0.475992214682202 + 0.0*i,
    0.748388773095526 + 0.0*i,
    0.206033915598539 + 0.0*i,
    0.272072191166084 + 0.0*i,
    -0.185623659292436 + 0.0*i,
    -0.0300933023450178 + 0.0*i,
    0.635599944184973 + 0.0*i,
    0.505118120936969 + 0.0*i,
    0.816887340003594 + 0.0*i,
    0.404262086046021 + 0.0*i,
    -0.501576789806116 + 0.0*i,
    -0.0934815441380398 + 0.0*i,
    0.111266570372489 + 0.0*i,
    -0.0255815978256187 + 0.0*i,
    0.178540748826135 + 0.0*i,
    -0.0139170904945112 + 0.0*i,
    -0.611706286146063 + 0.0*i,
    0.399534176336456 + 0.0*i,
    -0.114830455936677 + 0.0*i,
    0.882964558999815 + 0.0*i,
    -0.930441229115486 + 0.0*i,
    0.557162123950632 + 0.0*i,
    -0.21147407056914 + 0.0*i,
    -0.168548424737443 + 0.0*i,
    0.52446357019143 + 0.0*i,
    -0.644848022581226 + 0.0*i,
    0.0343205273328429 + 0.0*i,
    -0.116606738513254 + 0.0*i,
    0.358820307233144 + 0.0*i,
    -0.470540713850801 + 0.0*i,
    0.316669788208182 + 0.0*i,
    0.297658940822876 + 0.0*i,
    -0.23756885327836 + 0.0*i,
    -0.202529196045857 + 0.0*i,
    -0.315912572554917 + 0.0*i,
    0.21235224400256 + 0.0*i,
    -0.751182086166004 + 0.0*i,
    0.192839371815428 + 0.0*i,
    -0.297123975711149 + 0.0*i,
    -1.15063015162311 + 0.0*i,
    -0.637626970191639 + 0.0*i,
    -0.593841021222075 + 0.0*i,
    -0.061139693677634 + 0.0*i,
    0.622242111110432 + 0.0*i,
    0.761624937605214 + 0.0*i,
    1.05318533633159 + 0.0*i,
    -0.112254687100317 + 0.0*i,
    -0.122028898335094 + 0.0*i,
    -0.0374713747994416 + 0.0*i,
    -0.696520094173189 + 0.0*i,
    -0.606093770192272 + 0.0*i,
    0.764087662351241 + 0.0*i,
    0.253132619027832 + 0.0*i,
    0.75783429191298 + 0.0*i,
    0.28172358555314 + 0.0*i,
    -0.384970971793185 + 0.0*i,
    0.201089689809626 + 0.0*i,
    0.170335714857573 + 0.0*i,
    -0.34756888277298 + 0.0*i,
    0.00346621152740231 + 0.0*i,
    0.00614587534737715 + 0.0*i,
    -0.0960276409939155 + 0.0*i,
    -0.288986130831496 + 0.0*i,
    -0.239079606771141 + 0.0*i,
    0.188732086893518 + 0.0*i,
    -0.96288692961656 + 0.0*i,
    0.241113400240743 + 0.0*i,
    -0.429589197114151 + 0.0*i,
    -0.143964908830429 + 0.0*i,
    -0.0142726504925036 + 0.0*i,
    -0.506330139448103 + 0.0*i,
    1.16193888722561 + 0.0*i,
    0.195320568685318 + 0.0*i,
    -0.726118262901899 + 0.0*i,
    0.472011443517923 + 0.0*i,
    1.00836985020768 + 0.0*i,
    0.24139118328272 + 0.0*i,
    -0.838542400376018 + 0.0*i,
    -0.0146800155736187 + 0.0*i,
    -0.828587653228517 + 0.0*i,
    -0.483119349203914 + 0.0*i,
    -0.0889335999385255 + 0.0*i,
    -0.126447808593664 + 0.0*i,
    0.477550803204602 + 0.0*i,
    0.674655053561339 + 0.0*i,
    -1.08567912871992 + 0.0*i,
    -0.297254334635491 + 0.0*i,
    0.476555667549228 + 0.0*i,
    -0.705253382465814 + 0.0*i,
    0.130809406820981 + 0.0*i,
    -0.158678667835951 + 0.0*i,
    1.04192809098617 + 0.0*i,
    -0.523232095693422 + 0.0*i,
    -0.848428049601084 + 0.0*i,
    -0.0799652292256739 + 0.0*i,
    0.197933324549461 + 0.0*i,
    -1.26710938855856 + 0.0*i,
    0.452696753272642 + 0.0*i,
    0.216687724209607 + 0.0*i,
    0.594029141110176 + 0.0*i,
    0.104496109051022 + 0.0*i,
    -0.118072346368774 + 0.0*i,
    0.277768859456242 + 0.0*i,
    -0.281149659342393 + 0.0*i,
    0.620062147573695 + 0.0*i,
    0.360815909768022 + 0.0*i,
    -0.3595266094462 + 0.0*i,
    -0.37158521871651 + 0.0*i,
    -0.545295983843667 + 0.0*i,
    0.484330396926885 + 0.0*i,
    -0.177286711633645 + 0.0*i,
    -0.221611832073344 + 0.0*i,
    0.0325189180021434 + 0.0*i,
    0.941666968999812 + 0.0*i,
    0.343504278444889 + 0.0*i,
    -0.341841727144691 + 0.0*i,
    0.20915037317591 + 0.0*i,
    0.298704099235365 + 0.0*i,
    -0.793894864180016 + 0.0*i,
    0.163247867737757 + 0.0*i,
    0.246408072246872 + 0.0*i,
    -0.475547465036325 + 0.0*i,
    -0.788771684124391 + 0.0*i,
    -0.197985131731252 + 0.0*i,
    0.619024599205219 + 0.0*i,
    0.49175052489203 + 0.0*i,
    -0.0452072830774769 + 0.0*i,
    0.103818210017597 + 0.0*i,
    -0.141892117987947 + 0.0*i,
    -0.344149910914009 + 0.0*i,
    0.707604140650104 + 0.0*i,
    -0.62962880835499 + 0.0*i,
    -0.784697803195551 + 0.0*i,
    -0.37294209952851 + 0.0*i,
    0.160692648923166 + 0.0*i,
    0.0393236194170092 + 0.0*i,
    -0.0977436737717351 + 0.0*i,
    0.00566059056040738 + 0.0*i,
    -0.116898024634753 + 0.0*i,
    -0.0567951951915161 + 0.0*i,
    -0.342805093362646 + 0.0*i,
    0.944642907938486 + 0.0*i,
    -0.277847261578378 + 0.0*i,
    0.709581636852591 + 0.0*i,
    0.0306228236819582 + 0.0*i,
    0.571079288552794 + 0.0*i,
    0.0582207692689695 + 0.0*i,
    -0.245019483254984 + 0.0*i,
    -0.496865042727069 + 0.0*i,
    -0.486945732486234 + 0.0*i,
    0.416818713886671 + 0.0*i,
    -0.307401251043037 + 0.0*i,
    -0.423546215872475 + 0.0*i,
    0.66007992237907 + 0.0*i,
    0.996498433002497 + 0.0*i,
    -0.247605022396972 + 0.0*i,
    0.555524711961475 + 0.0*i,
    0.633998346213266 + 0.0*i,
    0.110553813529185 + 0.0*i,
    0.21159788325756 + 0.0*i,
    -0.0971385077404965 + 0.0*i,
    0.410349106697163 + 0.0*i,
    0.43015614120164 + 0.0*i,
    0.145970881042589 + 0.0*i,
    0.57896494386245 + 0.0*i,
    -0.546304072945625 + 0.0*i,
    -0.621763899722742 + 0.0*i,
    0.538804432623003 + 0.0*i,
    0.326365074135329 + 0.0*i,
    -0.158519930421182 + 0.0*i,
    -1.45694331888462 + 0.0*i,
    -0.372026813415559 + 0.0*i,
    -0.441856971361602 + 0.0*i,
    -0.32267360204502 + 0.0*i,
    0.302053552714631 + 0.0*i,
    0.428607043092274 + 0.0*i,
    0.0375413949783991 + 0.0*i,
    0.35077286991514 + 0.0*i,
    -0.148920514738576 + 0.0*i,
    0.668597494108799 + 0.0*i,
    -0.555784433152238 + 0.0*i,
    -0.0615782855688949 + 0.0*i,
    0.621857560221939 + 0.0*i,
    -0.0402032930086007 + 0.0*i,
    -0.557559480034934 + 0.0*i,
    -1.22219281931976 + 0.0*i,
    -0.0982225876622993 + 0.0*i,
    -0.446814216689045 + 0.0*i,
    0.168566418282305 + 0.0*i,
    -0.412667726272492 + 0.0*i,
    -0.360133983664484 + 0.0*i,
    0.554955622480217 + 0.0*i,
    -0.721762306849371 + 0.0*i,
    -0.594092870173413 + 0.0*i,
    -0.0234074765177762 + 0.0*i,
    0.22232380754771 + 0.0*i,
    0.0308657190669608 + 0.0*i,
    -0.36855851793157 + 0.0*i,
    -0.0230962514025943 + 0.0*i,
    0.493011068705043 + 0.0*i,
    -0.524240309723617 + 0.0*i,
    -0.446878466536819 + 0.0*i,
    -0.00518978665695195 + 0.0*i,
    -0.317889863110333 + 0.0*i,
    -0.957518886005912 + 0.0*i,
    0.946064977485253 + 0.0*i
]);