V:=Matrix(CC,4,78,[
    -0.333430088339102 + 0.0*i,
    0.561774566995654 + 0.0*i,
    -0.128127205810308 + 0.0*i,
    -0.213052296579044 + 0.0*i,
    -0.467574404151405 + 0.0*i,
    0.42367706442901 + 0.0*i,
    -0.257856740421688 + 0.0*i,
    1.24359017973679 + 0.0*i,
    0.483447107308601 + 0.0*i,
    0.779331613276924 + 0.0*i,
    -0.638066970114135 + 0.0*i,
    -0.568138206946216 + 0.0*i,
    0.106247038120368 + 0.0*i,
    -0.556294793844141 + 0.0*i,
    -0.18703015500527 + 0.0*i,
    -0.255895741198992 + 0.0*i,
    -0.93126947674449 + 0.0*i,
    0.407082181856394 + 0.0*i,
    -0.125654449553948 + 0.0*i,
    -0.219617464725826 + 0.0*i,
    -0.605948307689009 + 0.0*i,
    -0.278323615111009 + 0.0*i,
    -0.124022254663705 + 0.0*i,
    0.780693403842294 + 0.0*i,
    -0.113070112997106 + 0.0*i,
    0.426190062412278 + 0.0*i,
    0.189810424122795 + 0.0*i,
    0.655499963960446 + 0.0*i,
    -0.181043186190098 + 0.0*i,
    0.147755786518351 + 0.0*i,
    0.0209539445911647 + 0.0*i,
    0.707563068874079 + 0.0*i,
    -1.08430104924403 + 0.0*i,
    -0.222837611044791 + 0.0*i,
    0.723968643231054 + 0.0*i,
    -0.34859636736924 + 0.0*i,
    0.344640818961455 + 0.0*i,
    0.223712732351942 + 0.0*i,
    -0.404994354630014 + 0.0*i,
    -0.80351635509809 + 0.0*i,
    -0.537004349774324 + 0.0*i,
    0.358954728907141 + 0.0*i,
    0.0838994312439258 + 0.0*i,
    0.737772533407408 + 0.0*i,
    0.0221568320363288 + 0.0*i,
    -0.788389745328778 + 0.0*i,
    -0.347196501025413 + 0.0*i,
    0.0402408126426512 + 0.0*i,
    -0.377192271840036 + 0.0*i,
    0.36106653732507 + 0.0*i,
    0.120522382335724 + 0.0*i,
    0.136077528911321 + 0.0*i,
    0.694437219191534 + 0.0*i,
    0.302193587708508 + 0.0*i,
    -0.918333821480122 + 0.0*i,
    -0.779740163404238 + 0.0*i,
    0.407716593106605 + 0.0*i,
    0.544623578926679 + 0.0*i,
    0.200077777017136 + 0.0*i,
    0.832811416716404 + 0.0*i,
    -0.6253832884908 + 0.0*i,
    0.0535306566354598 + 0.0*i,
    -0.142695928394364 + 0.0*i,
    -0.333800436604089 + 0.0*i,
    -0.26559764811025 + 0.0*i,
    0.657313584588809 + 0.0*i,
    0.210871352877241 + 0.0*i,
    -0.100510938776236 + 0.0*i,
    -0.346317968962444 + 0.0*i,
    0.834443152235568 + 0.0*i,
    0.130133690920896 + 0.0*i,
    0.221771018627845 + 0.0*i,
    0.125838238920866 + 0.0*i,
    0.43730394020363 + 0.0*i,
    -0.400385721787687 + 0.0*i,
    -0.504461643361015 + 0.0*i,
    0.737337870239025 + 0.0*i,
    1.00992978270097 + 0.0*i,
    0.100921718720191 + 0.0*i,
    -0.26065869440728 + 0.0*i,
    0.0637809136569649 + 0.0*i,
    -0.952498707918536 + 0.0*i,
    -0.344194828841257 + 0.0*i,
    0.00475371673371755 + 0.0*i,
    0.0265414290440579 + 0.0*i,
    -0.478287284748055 + 0.0*i,
    -0.103193295974544 + 0.0*i,
    0.186848162980995 + 0.0*i,
    -0.204775829642541 + 0.0*i,
    0.543167453284961 + 0.0*i,
    -0.149274919644457 + 0.0*i,
    -1.01940808378176 + 0.0*i,
    -0.745719861201847 + 0.0*i,
    -0.384823828126604 + 0.0*i,
    0.242846227477869 + 0.0*i,
    -0.00562684510157831 + 0.0*i,
    -0.169596085777853 + 0.0*i,
    0.499946803559925 + 0.0*i,
    0.548188395989157 + 0.0*i,
    0.595772298340994 + 0.0*i,
    -0.405957577878777 + 0.0*i,
    0.272569470003928 + 0.0*i,
    -0.2546118806843 + 0.0*i,
    -0.612119354699183 + 0.0*i,
    0.184054616607517 + 0.0*i,
    0.373794366868876 + 0.0*i,
    -0.393022434610443 + 0.0*i,
    -0.468628813992645 + 0.0*i,
    1.47857587313723 + 0.0*i,
    0.4971130219546 + 0.0*i,
    0.0193202713198659 + 0.0*i,
    -0.835127573195641 + 0.0*i,
    0.0593540429337622 + 0.0*i,
    0.180199826269603 + 0.0*i,
    -0.300309407521808 + 0.0*i,
    -0.147704782741609 + 0.0*i,
    -0.292500367025593 + 0.0*i,
    0.267437199089565 + 0.0*i,
    0.38581025727769 + 0.0*i,
    -0.195773372271756 + 0.0*i,
    0.121555368205746 + 0.0*i,
    -0.636020478191176 + 0.0*i,
    1.12267336167924 + 0.0*i,
    0.566437026280527 + 0.0*i,
    -0.361982115444907 + 0.0*i,
    -0.327286982533573 + 0.0*i,
    0.0836608931928287 + 0.0*i,
    0.1434558792749 + 0.0*i,
    -0.424856346998431 + 0.0*i,
    -0.968044542803761 + 0.0*i,
    0.913279694680663 + 0.0*i,
    0.909265796680823 + 0.0*i,
    -0.295759844214677 + 0.0*i,
    -0.503786536583891 + 0.0*i,
    0.148159082175706 + 0.0*i,
    0.485740788143985 + 0.0*i,
    0.510263181762368 + 0.0*i,
    -0.746513994236852 + 0.0*i,
    -0.210068963500723 + 0.0*i,
    1.19799224753175 + 0.0*i,
    0.467765770051586 + 0.0*i,
    0.248783330248003 + 0.0*i,
    -0.425672155398016 + 0.0*i,
    0.62820401036091 + 0.0*i,
    -0.50046193555722 + 0.0*i,
    -0.652011829302436 + 0.0*i,
    0.615606004665897 + 0.0*i,
    0.267597621710296 + 0.0*i,
    0.204350196731019 + 0.0*i,
    -0.481622226475471 + 0.0*i,
    0.0615516848460226 + 0.0*i,
    0.364100162924024 + 0.0*i,
    0.12140431569075 + 0.0*i,
    0.254106252839016 + 0.0*i,
    0.621759178692377 + 0.0*i,
    -0.0928187358633682 + 0.0*i,
    -0.234219282166393 + 0.0*i,
    0.61201597190388 + 0.0*i,
    -0.302219977194264 + 0.0*i,
    0.467700501687864 + 0.0*i,
    0.0340789297090848 + 0.0*i,
    -0.414084996993801 + 0.0*i,
    -0.0440271290419316 + 0.0*i,
    0.0637278636425399 + 0.0*i,
    0.497637350600392 + 0.0*i,
    0.0217351843182988 + 0.0*i,
    -1.17308438944246 + 0.0*i,
    0.987180601591661 + 0.0*i,
    -0.766441157257006 + 0.0*i,
    0.193376201980757 + 0.0*i,
    0.133741237347515 + 0.0*i,
    0.301973650177332 + 0.0*i,
    -0.133916765856872 + 0.0*i,
    -0.16974695265009 + 0.0*i,
    1.22260591941681 + 0.0*i,
    0.600501141017628 + 0.0*i,
    0.200868189018105 + 0.0*i,
    -0.431649695115043 + 0.0*i,
    0.701886512058293 + 0.0*i,
    0.688862274298837 + 0.0*i,
    0.321860006026224 + 0.0*i,
    -0.433701463427123 + 0.0*i,
    0.131592256483108 + 0.0*i,
    0.0932893226762312 + 0.0*i,
    -0.8996537745482 + 0.0*i,
    -0.0942666826133739 + 0.0*i,
    0.237463136845154 + 0.0*i,
    0.0883596641193702 + 0.0*i,
    0.42964926777628 + 0.0*i,
    0.379321801677387 + 0.0*i,
    0.088743870166348 + 0.0*i,
    -0.500207669903416 + 0.0*i,
    0.338117202697185 + 0.0*i,
    -0.445571676093167 + 0.0*i,
    -0.165600813548316 + 0.0*i,
    0.394673112125114 + 0.0*i,
    -0.939585900373108 + 0.0*i,
    0.111859712722584 + 0.0*i,
    -0.104856408969753 + 0.0*i,
    -0.322268689963041 + 0.0*i,
    0.267294861950112 + 0.0*i,
    0.0490948087329104 + 0.0*i,
    0.447385074218021 + 0.0*i,
    0.79873872045327 + 0.0*i,
    -0.602909172848664 + 0.0*i,
    -0.087149319701709 + 0.0*i,
    -0.518293906742956 + 0.0*i,
    0.126328847068543 + 0.0*i,
    0.425049009816499 + 0.0*i,
    0.401556344679155 + 0.0*i,
    0.385668650130887 + 0.0*i,
    0.322974566331427 + 0.0*i,
    -0.730164926901134 + 0.0*i,
    0.320144859690493 + 0.0*i,
    -0.147203083269214 + 0.0*i,
    -0.178265311165708 + 0.0*i,
    -0.151101622024558 + 0.0*i,
    0.689094196803538 + 0.0*i,
    -0.753414654273902 + 0.0*i,
    0.0636157831081514 + 0.0*i,
    -0.665157211796299 + 0.0*i,
    0.515551999498757 + 0.0*i,
    -0.126572770382372 + 0.0*i,
    -0.18146330810581 + 0.0*i,
    -0.661924202994885 + 0.0*i,
    -0.361550822745816 + 0.0*i,
    0.135524254035187 + 0.0*i,
    -0.380611723007543 + 0.0*i,
    0.952941784160385 + 0.0*i,
    -0.596583514902613 + 0.0*i,
    -0.0559471635754114 + 0.0*i,
    0.420872432943522 + 0.0*i,
    -0.198684756307174 + 0.0*i,
    -0.662267793145489 + 0.0*i,
    -0.693656245252836 + 0.0*i,
    -0.612615663620082 + 0.0*i,
    0.575114471278307 + 0.0*i,
    -1.07547639147233 + 0.0*i,
    -0.274994395013046 + 0.0*i,
    0.237948679758209 + 0.0*i,
    -0.178373503992096 + 0.0*i,
    0.105615249636897 + 0.0*i,
    -0.63720294019732 + 0.0*i,
    -0.66705834536893 + 0.0*i,
    -0.0132891975465933 + 0.0*i,
    -0.236831219907545 + 0.0*i,
    0.311519154063871 + 0.0*i,
    -0.149539834244494 + 0.0*i,
    -0.175143624587878 + 0.0*i,
    0.825261828947419 + 0.0*i,
    -0.119469745925031 + 0.0*i,
    0.56182566096428 + 0.0*i,
    -0.379129544752723 + 0.0*i,
    -0.223617811135655 + 0.0*i,
    0.274076135376341 + 0.0*i,
    0.23466541558563 + 0.0*i,
    0.385014982057096 + 0.0*i,
    0.346329793328106 + 0.0*i,
    0.394840580147967 + 0.0*i,
    0.809225131256877 + 0.0*i,
    0.713517616470485 + 0.0*i,
    -0.224644686735751 + 0.0*i,
    0.730381120388187 + 0.0*i,
    0.975724749181763 + 0.0*i,
    0.328148882125534 + 0.0*i,
    0.227864677400842 + 0.0*i,
    -0.135368037396375 + 0.0*i,
    -0.0607306112789197 + 0.0*i,
    -0.984201445817288 + 0.0*i,
    0.206150216359677 + 0.0*i,
    0.835704341897839 + 0.0*i,
    0.366258928397129 + 0.0*i,
    0.334596219035379 + 0.0*i,
    -0.272591286973134 + 0.0*i,
    -0.282332531688752 + 0.0*i,
    0.566460440887016 + 0.0*i,
    0.808510606318957 + 0.0*i,
    0.109384211522295 + 0.0*i,
    -0.40497627085072 + 0.0*i,
    0.450503247439168 + 0.0*i,
    -0.248174719311014 + 0.0*i,
    0.0651576774048 + 0.0*i,
    0.357285042640467 + 0.0*i,
    1.03798887020514 + 0.0*i,
    0.299975666229776 + 0.0*i,
    0.674075793857925 + 0.0*i,
    0.108308616903039 + 0.0*i,
    -0.332846815886221 + 0.0*i,
    -0.978288011825978 + 0.0*i,
    0.474519744239826 + 0.0*i,
    0.748899484156848 + 0.0*i,
    0.35179067510971 + 0.0*i,
    0.390328272123552 + 0.0*i,
    -0.195222915030446 + 0.0*i,
    -0.0257105444597852 + 0.0*i,
    0.0975381899347472 + 0.0*i,
    -0.520122080668097 + 0.0*i,
    0.0841684730331603 + 0.0*i,
    -0.764517510457751 + 0.0*i,
    -0.398176018029209 + 0.0*i,
    -0.263679533484575 + 0.0*i,
    -0.0299794064128044 + 0.0*i,
    -0.711486294190542 + 0.0*i,
    0.0269647170190661 + 0.0*i,
    0.0286372255389756 + 0.0*i,
    0.149993236269335 + 0.0*i,
    0.580079720191388 + 0.0*i,
    0.534195645183615 + 0.0*i,
    -0.755948538026315 + 0.0*i,
    0.464640081222956 + 0.0*i,
    -0.279271441760644 + 0.0*i,
    -0.991359572708346 + 0.0*i
]);