V:=Matrix(CC,4,76,[
    0.538899358028424 + 0.0*i,
    -0.0422254311982905 + 0.0*i,
    -0.0917976841494981 + 0.0*i,
    -0.260507439698548 + 0.0*i,
    0.401750187651317 + 0.0*i,
    0.404928553009638 + 0.0*i,
    -0.103570760046902 + 0.0*i,
    -0.260798198708858 + 0.0*i,
    -0.0817443354596412 + 0.0*i,
    0.0198875357129651 + 0.0*i,
    0.00669980555706722 + 0.0*i,
    0.769706178153445 + 0.0*i,
    0.487431373150247 + 0.0*i,
    -0.209754656312715 + 0.0*i,
    0.842736049552287 + 0.0*i,
    0.101338213464654 + 0.0*i,
    0.39814537886253 + 0.0*i,
    -0.584878482172476 + 0.0*i,
    0.809792978731525 + 0.0*i,
    -0.214045469540736 + 0.0*i,
    0.124933751674943 + 0.0*i,
    0.433350068658748 + 0.0*i,
    -0.331091733010997 + 0.0*i,
    1.06145150067486 + 0.0*i,
    -0.114160588521339 + 0.0*i,
    -0.116622449252629 + 0.0*i,
    -0.183815129068365 + 0.0*i,
    -0.354640356926745 + 0.0*i,
    0.179257810016879 + 0.0*i,
    0.516124475656678 + 0.0*i,
    1.19912240765873 + 0.0*i,
    -0.230254624042625 + 0.0*i,
    -0.00448196381900612 + 0.0*i,
    0.254144613754361 + 0.0*i,
    -0.373635576611758 + 0.0*i,
    0.861611874578031 + 0.0*i,
    -0.0614025303639733 + 0.0*i,
    0.198938818758882 + 0.0*i,
    -1.22883671185975 + 0.0*i,
    -0.746439951982713 + 0.0*i,
    -0.00663134195771279 + 0.0*i,
    -0.149212316012497 + 0.0*i,
    0.514622062525505 + 0.0*i,
    -0.469684008094923 + 0.0*i,
    -0.274737335055407 + 0.0*i,
    -0.547336150418511 + 0.0*i,
    -0.0394350230215766 + 0.0*i,
    0.6173790709523 + 0.0*i,
    0.961480719013865 + 0.0*i,
    -0.43874166097328 + 0.0*i,
    -0.202462177610478 + 0.0*i,
    0.770709134848574 + 0.0*i,
    0.554853900827376 + 0.0*i,
    0.257560415556438 + 0.0*i,
    0.130385822344419 + 0.0*i,
    0.251207542380534 + 0.0*i,
    -0.466801818764028 + 0.0*i,
    -0.248452703634234 + 0.0*i,
    -0.412199906914781 + 0.0*i,
    0.411080617457256 + 0.0*i,
    0.206210254510177 + 0.0*i,
    0.260320465983106 + 0.0*i,
    -0.53947012788034 + 0.0*i,
    -0.360046552608898 + 0.0*i,
    0.432213209897447 + 0.0*i,
    -0.168167583513185 + 0.0*i,
    0.33307627468076 + 0.0*i,
    0.546487423464107 + 0.0*i,
    -0.242651999825767 + 0.0*i,
    0.555034783330921 + 0.0*i,
    0.0346298731202425 + 0.0*i,
    -0.427861029691547 + 0.0*i,
    0.408731130988417 + 0.0*i,
    -0.315622740383004 + 0.0*i,
    0.278899242377037 + 0.0*i,
    0.829460724720477 + 0.0*i,
    -0.087275575747586 + 0.0*i,
    -0.874585297050361 + 0.0*i,
    0.110525052883599 + 0.0*i,
    0.0132151389917367 + 0.0*i,
    -0.504548543393435 + 0.0*i,
    0.410014723720042 + 0.0*i,
    -0.0573228537381309 + 0.0*i,
    0.248797022567901 + 0.0*i,
    0.636761201156444 + 0.0*i,
    -0.451150586145262 + 0.0*i,
    0.364209200452243 + 0.0*i,
    0.108429512422078 + 0.0*i,
    -0.488442733480502 + 0.0*i,
    0.376789803147106 + 0.0*i,
    -0.0205714793113247 + 0.0*i,
    -0.31241336916113 + 0.0*i,
    0.324992167725368 + 0.0*i,
    -0.34343177367157 + 0.0*i,
    -0.402633175548151 + 0.0*i,
    0.133071565511273 + 0.0*i,
    -0.868993704047289 + 0.0*i,
    -0.0255418843163764 + 0.0*i,
    0.178511115421757 + 0.0*i,
    -0.679603111552371 + 0.0*i,
    0.588858728354386 + 0.0*i,
    1.18422866896046 + 0.0*i,
    0.234884952394017 + 0.0*i,
    0.730776211389767 + 0.0*i,
    0.945432804243901 + 0.0*i,
    0.493483704690395 + 0.0*i,
    0.600165691252131 + 0.0*i,
    -0.404832223572817 + 0.0*i,
    -0.35580888942505 + 0.0*i,
    0.567816443987015 + 0.0*i,
    0.963355503426335 + 0.0*i,
    0.0167517129426299 + 0.0*i,
    0.664015614164827 + 0.0*i,
    -0.491012647510928 + 0.0*i,
    0.105930642711367 + 0.0*i,
    -0.323631483208668 + 0.0*i,
    -0.156356615147004 + 0.0*i,
    -0.115909669083375 + 0.0*i,
    0.0341483771764718 + 0.0*i,
    0.66666564474483 + 0.0*i,
    0.0586405019989862 + 0.0*i,
    1.04065782184605 + 0.0*i,
    0.681529527184177 + 0.0*i,
    -0.692851981275763 + 0.0*i,
    -0.136393359246707 + 0.0*i,
    0.342962884070698 + 0.0*i,
    -0.215019274402969 + 0.0*i,
    1.02798743746291 + 0.0*i,
    0.570952994383768 + 0.0*i,
    1.06494290991972 + 0.0*i,
    0.560695750482409 + 0.0*i,
    0.103479999987067 + 0.0*i,
    0.192512952285899 + 0.0*i,
    -1.10275136437487 + 0.0*i,
    -0.333921695393056 + 0.0*i,
    -0.624379967339322 + 0.0*i,
    0.500547472235701 + 0.0*i,
    0.567593502475668 + 0.0*i,
    0.922022520031587 + 0.0*i,
    -0.0846883867627134 + 0.0*i,
    0.31532139319118 + 0.0*i,
    0.284451195045711 + 0.0*i,
    -0.00740827036603162 + 0.0*i,
    -0.635273947663245 + 0.0*i,
    0.682816594313105 + 0.0*i,
    0.0822747446781047 + 0.0*i,
    -0.233359328319302 + 0.0*i,
    -0.470762539672203 + 0.0*i,
    0.816994927772295 + 0.0*i,
    0.71443515245978 + 0.0*i,
    -0.461610963786877 + 0.0*i,
    -0.356299901820739 + 0.0*i,
    0.00169416919615904 + 0.0*i,
    0.0133045092306463 + 0.0*i,
    0.473942687756514 + 0.0*i,
    -0.277185485920949 + 0.0*i,
    -0.285174677010536 + 0.0*i,
    0.391385990650905 + 0.0*i,
    -0.17556840112323 + 0.0*i,
    -0.669262831780787 + 0.0*i,
    0.318235711013501 + 0.0*i,
    0.0453541782864423 + 0.0*i,
    0.729869608432329 + 0.0*i,
    0.271181696813283 + 0.0*i,
    0.514571917291821 + 0.0*i,
    -0.701979901097843 + 0.0*i,
    -1.19936804144163 + 0.0*i,
    -0.652872737327982 + 0.0*i,
    0.143277304037486 + 0.0*i,
    0.0714139758266535 + 0.0*i,
    0.934088840977556 + 0.0*i,
    0.671351664239147 + 0.0*i,
    -0.803519747945372 + 0.0*i,
    0.411435435481103 + 0.0*i,
    0.470341590006345 + 0.0*i,
    -0.0288183444800486 + 0.0*i,
    0.200740338987024 + 0.0*i,
    -0.226905281075134 + 0.0*i,
    0.645017387187217 + 0.0*i,
    0.106393920593025 + 0.0*i,
    -0.488489615782932 + 0.0*i,
    -0.0766560637661294 + 0.0*i,
    0.442219844317625 + 0.0*i,
    0.103005313452633 + 0.0*i,
    0.815081591898943 + 0.0*i,
    0.137802139938859 + 0.0*i,
    0.356108740482825 + 0.0*i,
    0.264301981230408 + 0.0*i,
    -0.543660456142274 + 0.0*i,
    -0.0892619980100802 + 0.0*i,
    0.225818402556904 + 0.0*i,
    0.588142057954194 + 0.0*i,
    0.145696464309872 + 0.0*i,
    0.285292665409773 + 0.0*i,
    -0.134554683121056 + 0.0*i,
    0.0132959860422434 + 0.0*i,
    0.658527792935673 + 0.0*i,
    0.404045000138243 + 0.0*i,
    0.618718831729868 + 0.0*i,
    -0.163582678674712 + 0.0*i,
    -0.20898911764182 + 0.0*i,
    0.528084192564826 + 0.0*i,
    0.171291081025659 + 0.0*i,
    -0.196438716285054 + 0.0*i,
    -0.245132632667763 + 0.0*i,
    0.28301723029907 + 0.0*i,
    -0.0430211103604238 + 0.0*i,
    -0.551094858844449 + 0.0*i,
    -0.111329642099751 + 0.0*i,
    -0.17627721594128 + 0.0*i,
    0.0449826048216668 + 0.0*i,
    0.682853982586372 + 0.0*i,
    1.14264402986514 + 0.0*i,
    -0.289415531697153 + 0.0*i,
    0.421618807114451 + 0.0*i,
    0.231502722550144 + 0.0*i,
    1.23723589386145 + 0.0*i,
    -0.342403389156003 + 0.0*i,
    -0.670739672304403 + 0.0*i,
    0.516612787447974 + 0.0*i,
    -0.00940766666171576 + 0.0*i,
    0.186836414554563 + 0.0*i,
    -0.268916116138082 + 0.0*i,
    0.0351870599128784 + 0.0*i,
    -1.0166548633611 + 0.0*i,
    -0.71592725827292 + 0.0*i,
    0.143622948844403 + 0.0*i,
    0.66401377725002 + 0.0*i,
    -0.310920376534407 + 0.0*i,
    0.651421195313762 + 0.0*i,
    0.234340073858215 + 0.0*i,
    0.591422211500131 + 0.0*i,
    0.384506500428695 + 0.0*i,
    0.27023094569788 + 0.0*i,
    -0.0312980932275329 + 0.0*i,
    0.293729258119391 + 0.0*i,
    -0.230977992267139 + 0.0*i,
    -0.459157925788289 + 0.0*i,
    0.165985926875294 + 0.0*i,
    0.362943782577203 + 0.0*i,
    -0.0535615368544354 + 0.0*i,
    0.260125197691579 + 0.0*i,
    0.249635365983293 + 0.0*i,
    -0.23685011320992 + 0.0*i,
    -0.0121251349372504 + 0.0*i,
    0.022252017010724 + 0.0*i,
    -0.551838348587859 + 0.0*i,
    0.459905592523964 + 0.0*i,
    -0.0748460550218543 + 0.0*i,
    0.369434675206474 + 0.0*i,
    0.502004309678509 + 0.0*i,
    -0.154658454748727 + 0.0*i,
    -0.200756879146078 + 0.0*i,
    0.611802738612122 + 0.0*i,
    0.330422965151272 + 0.0*i,
    0.076634809045883 + 0.0*i,
    -0.536220428351397 + 0.0*i,
    0.102778094211929 + 0.0*i,
    -0.302364927041685 + 0.0*i,
    -0.475093369899254 + 0.0*i,
    -1.11090210295365 + 0.0*i,
    -1.26424569464805 + 0.0*i,
    1.06024785313502 + 0.0*i,
    0.939245365799529 + 0.0*i,
    0.345511647230602 + 0.0*i,
    0.235318419558218 + 0.0*i,
    -0.230017173467586 + 0.0*i,
    0.953814656108529 + 0.0*i,
    -0.311849010064433 + 0.0*i,
    0.276639972016351 + 0.0*i,
    -0.580945104639044 + 0.0*i,
    0.635972008508672 + 0.0*i,
    0.524281289426128 + 0.0*i,
    -0.517754626418344 + 0.0*i,
    0.299370436055318 + 0.0*i,
    0.431069648266813 + 0.0*i,
    -0.651515405822048 + 0.0*i,
    -1.18875358750851 + 0.0*i,
    0.091336982820087 + 0.0*i,
    0.136141378931301 + 0.0*i,
    0.105232755348768 + 0.0*i,
    0.186668946307427 + 0.0*i,
    0.622183356983022 + 0.0*i,
    -0.571895775947523 + 0.0*i,
    0.264565790291922 + 0.0*i,
    0.32276933490392 + 0.0*i,
    0.619743353741429 + 0.0*i,
    0.0695961630219007 + 0.0*i,
    -0.558839084526239 + 0.0*i,
    0.570040225048873 + 0.0*i,
    -0.247833850608293 + 0.0*i,
    -0.118282437422017 + 0.0*i,
    0.628155468784989 + 0.0*i,
    -0.346644210637264 + 0.0*i,
    -0.620506186606749 + 0.0*i,
    0.555949659377476 + 0.0*i,
    -0.195899299251003 + 0.0*i,
    0.759970655144242 + 0.0*i,
    -0.541429857602208 + 0.0*i,
    -1.14225459802686 + 0.0*i,
    -0.0118849391125899 + 0.0*i,
    -0.503840399261514 + 0.0*i,
    -0.19558710835624 + 0.0*i,
    0.321056846703722 + 0.0*i
]);