V:=Matrix(CC,4,60,[
    -0.00639376979181116 + 0.0*i,
    0.316157974404953 + 0.0*i,
    0.491193894060359 + 0.0*i,
    -0.196532563907196 + 0.0*i,
    0.0903183354001175 + 0.0*i,
    1.00142625923426 + 0.0*i,
    -0.126717424439364 + 0.0*i,
    0.00609737076235239 + 0.0*i,
    0.00493924296426055 + 0.0*i,
    0.496988708728264 + 0.0*i,
    0.0451880171064275 + 0.0*i,
    -0.505780795009936 + 0.0*i,
    -0.453787755971654 + 0.0*i,
    0.652670658260833 + 0.0*i,
    -0.503349802482054 + 0.0*i,
    0.00962651735938575 + 0.0*i,
    -0.633528491150597 + 0.0*i,
    -0.772220742752526 + 0.0*i,
    -0.622630405966142 + 0.0*i,
    0.08042070055617 + 0.0*i,
    -0.219371329418093 + 0.0*i,
    -0.325234405178462 + 0.0*i,
    -0.463101689717718 + 0.0*i,
    -0.874854217215524 + 0.0*i,
    0.522639914278134 + 0.0*i,
    -0.260681973482146 + 0.0*i,
    -0.513047359569629 + 0.0*i,
    0.583092120428412 + 0.0*i,
    0.0743311686326215 + 0.0*i,
    -0.279074980095794 + 0.0*i,
    -0.409763522192156 + 0.0*i,
    0.293259162183748 + 0.0*i,
    0.544206858410237 + 0.0*i,
    0.36094284641352 + 0.0*i,
    0.122580077752267 + 0.0*i,
    0.0246607208141549 + 0.0*i,
    0.0944947990374701 + 0.0*i,
    -0.160219750968311 + 0.0*i,
    -0.119011478375533 + 0.0*i,
    0.0815627099200184 + 0.0*i,
    -0.0755333615626484 + 0.0*i,
    -0.111345082152639 + 0.0*i,
    -0.903006537182708 + 0.0*i,
    -0.087243522781139 + 0.0*i,
    -0.676944283049891 + 0.0*i,
    -0.234952962571531 + 0.0*i,
    0.827817147759954 + 0.0*i,
    -0.635389434426558 + 0.0*i,
    0.823995269018535 + 0.0*i,
    -0.985729179581639 + 0.0*i,
    -1.03747385913609 + 0.0*i,
    0.579343086091013 + 0.0*i,
    0.800199483463327 + 0.0*i,
    -0.131322502246545 + 0.0*i,
    -0.0744551084410721 + 0.0*i,
    0.901284233275339 + 0.0*i,
    0.137865897302771 + 0.0*i,
    -1.06195955209827 + 0.0*i,
    -0.252914015122159 + 0.0*i,
    0.157766159547025 + 0.0*i,
    -0.0370700576489233 + 0.0*i,
    -0.981237960532243 + 0.0*i,
    -0.201651432297245 + 0.0*i,
    -0.388668700410783 + 0.0*i,
    0.837366247943885 + 0.0*i,
    -0.2221063515974 + 0.0*i,
    0.549861640070281 + 0.0*i,
    -0.764547587965588 + 0.0*i,
    -0.258084929015996 + 0.0*i,
    0.92635417703981 + 0.0*i,
    0.622868516650527 + 0.0*i,
    0.355517616170579 + 0.0*i,
    0.17090792765588 + 0.0*i,
    0.135838983285376 + 0.0*i,
    0.261044867094906 + 0.0*i,
    0.0815119644886794 + 0.0*i,
    0.281574528869285 + 0.0*i,
    -0.315507963480153 + 0.0*i,
    0.230957578499362 + 0.0*i,
    0.084825144232297 + 0.0*i,
    -0.67106075486821 + 0.0*i,
    0.826909114669498 + 0.0*i,
    0.875473230506919 + 0.0*i,
    -0.464731982794902 + 0.0*i,
    -0.534424692719626 + 0.0*i,
    0.620945792475633 + 0.0*i,
    -0.76046498413202 + 0.0*i,
    -0.136127976226041 + 0.0*i,
    0.265642268864118 + 0.0*i,
    -0.172800851261714 + 0.0*i,
    0.595335725785833 + 0.0*i,
    0.507530788953025 + 0.0*i,
    1.04667270695243 + 0.0*i,
    0.454379937001646 + 0.0*i,
    -0.0670526084738335 + 0.0*i,
    0.599717708258985 + 0.0*i,
    0.107199841653188 + 0.0*i,
    0.386255518419204 + 0.0*i,
    1.0715998097585 + 0.0*i,
    -0.356236572807605 + 0.0*i,
    0.243458702375367 + 0.0*i,
    0.336468389535046 + 0.0*i,
    -0.513088576324774 + 0.0*i,
    -0.591105063065804 + 0.0*i,
    0.0552489348093622 + 0.0*i,
    -0.275665087317026 + 0.0*i,
    -0.494442726939412 + 0.0*i,
    -0.126210704778278 + 0.0*i,
    0.381655036499653 + 0.0*i,
    0.323484860262978 + 0.0*i,
    -0.0253216602022515 + 0.0*i,
    0.419579991839996 + 0.0*i,
    0.267926102539411 + 0.0*i,
    -0.0752002739892291 + 0.0*i,
    0.242192097185771 + 0.0*i,
    -0.936317206634036 + 0.0*i,
    0.154132583007794 + 0.0*i,
    -0.237620350720689 + 0.0*i,
    0.0776776704027926 + 0.0*i,
    -0.885414275508888 + 0.0*i,
    -1.20093536784682 + 0.0*i,
    -0.103523594320187 + 0.0*i,
    -0.224616745976063 + 0.0*i,
    -0.206399955356709 + 0.0*i,
    0.18088693238926 + 0.0*i,
    -0.323561305929676 + 0.0*i,
    0.562399067866757 + 0.0*i,
    0.129769362898076 + 0.0*i,
    0.141294208780568 + 0.0*i,
    -0.451149936727975 + 0.0*i,
    0.173657312992862 + 0.0*i,
    0.500651834836012 + 0.0*i,
    -1.16871663738978 + 0.0*i,
    0.725737543211264 + 0.0*i,
    -0.292449583468989 + 0.0*i,
    -0.0286093110124301 + 0.0*i,
    -0.0292234425336498 + 0.0*i,
    -0.244167177685209 + 0.0*i,
    1.09530246129685 + 0.0*i,
    0.432194773935264 + 0.0*i,
    -0.581320585805799 + 0.0*i,
    0.770863257806466 + 0.0*i,
    -0.2470692700829 + 0.0*i,
    -0.282012283595125 + 0.0*i,
    -0.609389963794102 + 0.0*i,
    -0.00168613220018859 + 0.0*i,
    0.623382865684288 + 0.0*i,
    -0.574220361500524 + 0.0*i,
    -1.09098405830539 + 0.0*i,
    0.27591625134893 + 0.0*i,
    -0.0765228733160285 + 0.0*i,
    -0.0934355524789311 + 0.0*i,
    0.465027787388372 + 0.0*i,
    0.219891655225232 + 0.0*i,
    0.645669134521303 + 0.0*i,
    0.751842458403012 + 0.0*i,
    0.791492206505609 + 0.0*i,
    0.824126121224119 + 0.0*i,
    -0.742553233953098 + 0.0*i,
    -0.195075166202159 + 0.0*i,
    -0.0412941283590505 + 0.0*i,
    0.549827295493487 + 0.0*i,
    0.172224995480895 + 0.0*i,
    0.270468514682187 + 0.0*i,
    0.26677065582346 + 0.0*i,
    -0.93559396903564 + 0.0*i,
    0.677776912788803 + 0.0*i,
    0.693641861863619 + 0.0*i,
    -0.589420884693653 + 0.0*i,
    0.239281956023254 + 0.0*i,
    -0.658327598357208 + 0.0*i,
    -0.638377188135464 + 0.0*i,
    -0.141529843966217 + 0.0*i,
    0.128558372150129 + 0.0*i,
    -0.443761788747292 + 0.0*i,
    -0.113115982599525 + 0.0*i,
    -0.194408256386013 + 0.0*i,
    0.227636507958548 + 0.0*i,
    0.291825950263883 + 0.0*i,
    -0.388794779460513 + 0.0*i,
    -0.572480971472762 + 0.0*i,
    0.16051740668153 + 0.0*i,
    0.0205626381414407 + 0.0*i,
    0.206542283511688 + 0.0*i,
    -1.13693856115493 + 0.0*i,
    0.586237421929628 + 0.0*i,
    0.953792085306904 + 0.0*i,
    -0.376839816948402 + 0.0*i,
    0.0889175104422358 + 0.0*i,
    -0.24056616714973 + 0.0*i,
    -0.0645845130689855 + 0.0*i,
    0.0754118406028586 + 0.0*i,
    0.39566922895134 + 0.0*i,
    0.359516703988864 + 0.0*i,
    0.526967671094001 + 0.0*i,
    -0.104394916182464 + 0.0*i,
    0.474556515753906 + 0.0*i,
    0.49275166808723 + 0.0*i,
    -0.24090489010919 + 0.0*i,
    -0.472905827536254 + 0.0*i,
    0.23909511887067 + 0.0*i,
    -0.232882481588757 + 0.0*i,
    0.800631242641127 + 0.0*i,
    -0.637359072967555 + 0.0*i,
    0.227579478855935 + 0.0*i,
    0.277994078508504 + 0.0*i,
    -0.728979464579185 + 0.0*i,
    -0.290674178600141 + 0.0*i,
    0.675907957097645 + 0.0*i,
    -0.351280338621077 + 0.0*i,
    -0.275708383718106 + 0.0*i,
    0.782003484103819 + 0.0*i,
    0.027978957602191 + 0.0*i,
    0.136486076317 + 0.0*i,
    0.36011164142091 + 0.0*i,
    0.318943049427826 + 0.0*i,
    -0.0367049942351814 + 0.0*i,
    -0.16266021901021 + 0.0*i,
    -0.10366777778283 + 0.0*i,
    0.36944389576088 + 0.0*i,
    -0.450051576772808 + 0.0*i,
    -0.362379640164814 + 0.0*i,
    0.177437755109482 + 0.0*i,
    -0.518445811387562 + 0.0*i,
    0.383392682591008 + 0.0*i,
    0.0713404034946031 + 0.0*i,
    0.633535375236804 + 0.0*i,
    0.108689146813124 + 0.0*i,
    -0.666099745198371 + 0.0*i,
    0.555815266098108 + 0.0*i,
    0.524275214050463 + 0.0*i,
    -0.420496210968462 + 0.0*i,
    -0.32243462273949 + 0.0*i,
    -1.23688867733787 + 0.0*i,
    -0.521761532307017 + 0.0*i,
    0.0647444507381622 + 0.0*i,
    -0.451277899451059 + 0.0*i,
    -0.227934799813957 + 0.0*i,
    -0.259317458323806 + 0.0*i,
    -0.301445309085559 + 0.0*i
]);