V:=Matrix(CC,4,91,[
    -0.298901092913959 + 0.0*i,
    1.01942899551487 + 0.0*i,
    -0.850336413476611 + 0.0*i,
    0.0460871421562134 + 0.0*i,
    -0.61378606030398 + 0.0*i,
    -0.115022733481749 + 0.0*i,
    0.160579805595973 + 0.0*i,
    0.202069303862389 + 0.0*i,
    -0.628282657929144 + 0.0*i,
    0.377635950661068 + 0.0*i,
    0.34427741285592 + 0.0*i,
    -0.496002538626642 + 0.0*i,
    0.0948889053309071 + 0.0*i,
    -0.362311379786208 + 0.0*i,
    0.480705884501728 + 0.0*i,
    -0.190522821428341 + 0.0*i,
    0.1096693605777 + 0.0*i,
    0.470166996040588 + 0.0*i,
    1.09278242766114 + 0.0*i,
    0.653329027432212 + 0.0*i,
    0.111886663862932 + 0.0*i,
    0.7151849628225 + 0.0*i,
    -0.106746116050415 + 0.0*i,
    -0.860438226354695 + 0.0*i,
    -0.589409797513379 + 0.0*i,
    -0.430914983696851 + 0.0*i,
    0.503953444150644 + 0.0*i,
    -0.039978179618101 + 0.0*i,
    0.212583438720531 + 0.0*i,
    0.731562058035784 + 0.0*i,
    0.0153988565397349 + 0.0*i,
    0.752001860652838 + 0.0*i,
    0.121400892051043 + 0.0*i,
    0.10192956766111 + 0.0*i,
    0.110273205403458 + 0.0*i,
    0.146498643552165 + 0.0*i,
    0.832253908641335 + 0.0*i,
    0.0143848602790148 + 0.0*i,
    1.06356749254914 + 0.0*i,
    -0.305662053384572 + 0.0*i,
    0.177674935342933 + 0.0*i,
    -0.0887057300018236 + 0.0*i,
    0.705814777020526 + 0.0*i,
    -0.102621424922486 + 0.0*i,
    0.041435964425186 + 0.0*i,
    0.767896974146573 + 0.0*i,
    -0.590462177222201 + 0.0*i,
    0.745122278031895 + 0.0*i,
    -0.539879063282372 + 0.0*i,
    0.350284488885006 + 0.0*i,
    -1.08189446356502 + 0.0*i,
    -0.19616660935079 + 0.0*i,
    0.712095902026895 + 0.0*i,
    0.219979683262008 + 0.0*i,
    -0.13546462775809 + 0.0*i,
    -0.476501813605435 + 0.0*i,
    0.334502908985801 + 0.0*i,
    0.406831837843873 + 0.0*i,
    0.539574254855881 + 0.0*i,
    -0.567331272244927 + 0.0*i,
    -0.221058700591172 + 0.0*i,
    0.678462069061916 + 0.0*i,
    -0.313043875077088 + 0.0*i,
    0.770656812718997 + 0.0*i,
    -0.470097093502608 + 0.0*i,
    0.187359395520617 + 0.0*i,
    0.674534216599944 + 0.0*i,
    0.138887120459311 + 0.0*i,
    -0.121431661370151 + 0.0*i,
    0.427267480360565 + 0.0*i,
    0.0632658364098393 + 0.0*i,
    -0.20027493716273 + 0.0*i,
    -1.32331245248709 + 0.0*i,
    0.0995244451455346 + 0.0*i,
    -0.152905258971692 + 0.0*i,
    -0.249802089883422 + 0.0*i,
    -0.829572714730242 + 0.0*i,
    -0.404896834204038 + 0.0*i,
    -0.0874561124296566 + 0.0*i,
    0.197790668820057 + 0.0*i,
    0.307038252225987 + 0.0*i,
    0.179476134650428 + 0.0*i,
    0.285885316265436 + 0.0*i,
    1.30845372575185 + 0.0*i,
    1.14997180482511 + 0.0*i,
    -0.798613720595813 + 0.0*i,
    -0.743610191358476 + 0.0*i,
    0.0643769339394667 + 0.0*i,
    -0.0680772224824334 + 0.0*i,
    -0.254020139048714 + 0.0*i,
    -0.523395902484683 + 0.0*i,
    0.0882058197391758 + 0.0*i,
    0.505747524971159 + 0.0*i,
    -0.274243908544236 + 0.0*i,
    0.089616288643317 + 0.0*i,
    -0.734237474251391 + 0.0*i,
    0.247404856427786 + 0.0*i,
    -0.0156336271034321 + 0.0*i,
    -0.0015634305024113 + 0.0*i,
    -0.0143029539190911 + 0.0*i,
    0.116252352398381 + 0.0*i,
    -0.922858017371215 + 0.0*i,
    0.434106600948103 + 0.0*i,
    -0.129807891110522 + 0.0*i,
    0.555269396954001 + 0.0*i,
    0.133279984677447 + 0.0*i,
    0.299617113314674 + 0.0*i,
    0.564205508688555 + 0.0*i,
    0.155310943830797 + 0.0*i,
    -0.0700507520458789 + 0.0*i,
    -0.647976611992077 + 0.0*i,
    0.201832754635199 + 0.0*i,
    0.0664804068136097 + 0.0*i,
    -0.169090345230131 + 0.0*i,
    -0.479196263838435 + 0.0*i,
    0.420361283252296 + 0.0*i,
    0.409357529250828 + 0.0*i,
    -0.268413028310011 + 0.0*i,
    0.56686146163933 + 0.0*i,
    -0.835993835825546 + 0.0*i,
    0.286283161240298 + 0.0*i,
    -0.0371596276724991 + 0.0*i,
    -1.0353647532685 + 0.0*i,
    0.00383290968759778 + 0.0*i,
    -0.460233860003376 + 0.0*i,
    0.496067099629499 + 0.0*i,
    -1.31491712725562 + 0.0*i,
    -0.148212890094038 + 0.0*i,
    -0.183745196972725 + 0.0*i,
    0.936570997227706 + 0.0*i,
    -0.832074973616097 + 0.0*i,
    -0.527400176179568 + 0.0*i,
    0.490184075615696 + 0.0*i,
    -0.894311057129523 + 0.0*i,
    0.726811613461763 + 0.0*i,
    0.510228125064464 + 0.0*i,
    -0.0875647244973072 + 0.0*i,
    -0.0392733833181771 + 0.0*i,
    0.484651409819427 + 0.0*i,
    -0.526300342231349 + 0.0*i,
    0.434669567022313 + 0.0*i,
    0.115689953247726 + 0.0*i,
    0.5303045829367 + 0.0*i,
    -0.343059084295385 + 0.0*i,
    -0.539996088967209 + 0.0*i,
    0.377137211092293 + 0.0*i,
    0.147778503821143 + 0.0*i,
    -0.154211847757738 + 0.0*i,
    -0.309243668777935 + 0.0*i,
    -0.320452805984492 + 0.0*i,
    -1.0216754624291 + 0.0*i,
    0.130592232460593 + 0.0*i,
    0.268128490659547 + 0.0*i,
    0.670214970754532 + 0.0*i,
    0.49753626033365 + 0.0*i,
    0.909088064699865 + 0.0*i,
    0.56259604122948 + 0.0*i,
    0.582474146214007 + 0.0*i,
    0.0731076833548721 + 0.0*i,
    -0.514586697547728 + 0.0*i,
    0.308576581931786 + 0.0*i,
    -0.556617289109741 + 0.0*i,
    0.327873133486653 + 0.0*i,
    0.179081274460281 + 0.0*i,
    -0.430359312468207 + 0.0*i,
    -0.85310310437962 + 0.0*i,
    0.696702988354017 + 0.0*i,
    0.509340172033644 + 0.0*i,
    -1.0395403238986 + 0.0*i,
    0.154311661877771 + 0.0*i,
    0.309172831934381 + 0.0*i,
    -0.276808982654079 + 0.0*i,
    0.172324633655414 + 0.0*i,
    0.075715088618917 + 0.0*i,
    -0.00792968203520387 + 0.0*i,
    -0.354838933832398 + 0.0*i,
    -0.395534469088115 + 0.0*i,
    -0.0556423178542984 + 0.0*i,
    0.0348769829947162 + 0.0*i,
    0.093070492994274 + 0.0*i,
    0.202665584755895 + 0.0*i,
    0.377270987691373 + 0.0*i,
    -0.0794074365457421 + 0.0*i,
    0.674515125283923 + 0.0*i,
    0.166217098621789 + 0.0*i,
    -0.454011112548996 + 0.0*i,
    -0.956338531105172 + 0.0*i,
    -0.239364221032626 + 0.0*i,
    0.565612031281164 + 0.0*i,
    -0.265267193402653 + 0.0*i,
    0.149424204763957 + 0.0*i,
    0.2350334416186 + 0.0*i,
    -0.66119877278441 + 0.0*i,
    -0.989976497797695 + 0.0*i,
    0.2365415774731 + 0.0*i,
    0.329023690907994 + 0.0*i,
    -0.00713445434448185 + 0.0*i,
    -0.411360871043644 + 0.0*i,
    0.554765738449745 + 0.0*i,
    -0.382708252652134 + 0.0*i,
    -0.113639418241731 + 0.0*i,
    -0.24524367106441 + 0.0*i,
    -0.027668826021053 + 0.0*i,
    0.0385571911775432 + 0.0*i,
    -0.470336197917599 + 0.0*i,
    0.411490288830544 + 0.0*i,
    1.42314027667143 + 0.0*i,
    0.345008343875396 + 0.0*i,
    0.839011493459373 + 0.0*i,
    -0.484878410543827 + 0.0*i,
    -0.209636423503785 + 0.0*i,
    0.393102489762392 + 0.0*i,
    -0.104233518678554 + 0.0*i,
    0.21116376438334 + 0.0*i,
    0.314223393053831 + 0.0*i,
    0.326255287936309 + 0.0*i,
    -0.233011661145141 + 0.0*i,
    -0.419575422161687 + 0.0*i,
    0.214195738349324 + 0.0*i,
    0.333395268669521 + 0.0*i,
    -0.0148638951397874 + 0.0*i,
    -0.336568598231613 + 0.0*i,
    0.0530545701160727 + 0.0*i,
    0.728415517012966 + 0.0*i,
    -0.0417109456198048 + 0.0*i,
    -0.447776091481712 + 0.0*i,
    0.0293815060987353 + 0.0*i,
    -0.165021174841291 + 0.0*i,
    1.24575394597505 + 0.0*i,
    -0.244063401027878 + 0.0*i,
    0.30798963824492 + 0.0*i,
    0.252757961614755 + 0.0*i,
    -0.570823359798476 + 0.0*i,
    -0.605997707233587 + 0.0*i,
    0.0416802355810453 + 0.0*i,
    -0.828826547467946 + 0.0*i,
    0.0152384774233489 + 0.0*i,
    0.415751859532812 + 0.0*i,
    1.02107761358647 + 0.0*i,
    0.186510136813015 + 0.0*i,
    0.301549788448463 + 0.0*i,
    -0.176871999121812 + 0.0*i,
    -0.232800003216983 + 0.0*i,
    0.754877099311957 + 0.0*i,
    -0.0635427185277662 + 0.0*i,
    -0.243429090097731 + 0.0*i,
    -0.455389316978712 + 0.0*i,
    0.783163001606081 + 0.0*i,
    0.0382620669379751 + 0.0*i,
    0.107897425853304 + 0.0*i,
    0.181106302279013 + 0.0*i,
    -0.243157641509931 + 0.0*i,
    0.372839399916616 + 0.0*i,
    0.584390010320776 + 0.0*i,
    0.0548528638601249 + 0.0*i,
    0.751971832626338 + 0.0*i,
    0.228192991267286 + 0.0*i,
    0.423525631768276 + 0.0*i,
    0.343619128430569 + 0.0*i,
    1.02777906587929 + 0.0*i,
    0.0463393879274237 + 0.0*i,
    -0.614613836699383 + 0.0*i,
    -0.201566319250355 + 0.0*i,
    -0.525299086387593 + 0.0*i,
    0.443140971668938 + 0.0*i,
    -0.360510587507732 + 0.0*i,
    -0.361018100050791 + 0.0*i,
    -0.63792931166423 + 0.0*i,
    -0.201134960171621 + 0.0*i,
    0.132532209802545 + 0.0*i,
    0.646912777016816 + 0.0*i,
    -0.402263830439475 + 0.0*i,
    0.285968001179465 + 0.0*i,
    1.04825922567302 + 0.0*i,
    0.133179308917081 + 0.0*i,
    0.0358180247925034 + 0.0*i,
    -0.18503333866019 + 0.0*i,
    -0.194991420201423 + 0.0*i,
    -0.350659232999075 + 0.0*i,
    0.754558870135124 + 0.0*i,
    -0.238657571131106 + 0.0*i,
    -0.235718715306565 + 0.0*i,
    0.572090915972875 + 0.0*i,
    -0.794862731710231 + 0.0*i,
    -0.817411429095073 + 0.0*i,
    0.834842057475011 + 0.0*i,
    0.149492766140352 + 0.0*i,
    0.1101220988135 + 0.0*i,
    -1.19433742825972 + 0.0*i,
    -0.128973895602316 + 0.0*i,
    -0.16670132298431 + 0.0*i,
    -0.0496014698465437 + 0.0*i,
    0.0407805749208907 + 0.0*i,
    0.109396844007165 + 0.0*i,
    0.293808333965709 + 0.0*i,
    0.374083081557555 + 0.0*i,
    -0.324119935016796 + 0.0*i,
    -0.646857779279316 + 0.0*i,
    -0.0799083459541335 + 0.0*i,
    -0.164795393944428 + 0.0*i,
    0.133221466250226 + 0.0*i,
    0.426359485106867 + 0.0*i,
    0.555771007528779 + 0.0*i,
    -0.751612743593627 + 0.0*i,
    -0.243655990851939 + 0.0*i,
    0.401155508525462 + 0.0*i,
    0.457539202331819 + 0.0*i,
    -0.131172272281267 + 0.0*i,
    -0.134032649245296 + 0.0*i,
    0.508581325368554 + 0.0*i,
    -0.0502319091382681 + 0.0*i,
    -0.437906151174796 + 0.0*i,
    -0.39580639757078 + 0.0*i,
    0.425368544588802 + 0.0*i,
    0.361405357045282 + 0.0*i,
    0.788983298220084 + 0.0*i,
    0.715342394118843 + 0.0*i,
    -0.0225018011889877 + 0.0*i,
    0.513985951286437 + 0.0*i,
    0.596639788490664 + 0.0*i,
    -0.227875516577306 + 0.0*i,
    -0.268879945219307 + 0.0*i,
    -0.437549472084009 + 0.0*i,
    0.037442301989092 + 0.0*i,
    0.598700002221256 + 0.0*i,
    -0.719380975928283 + 0.0*i,
    -0.17102537098385 + 0.0*i,
    0.321963359060986 + 0.0*i,
    0.0126078956917389 + 0.0*i,
    0.0268550510685583 + 0.0*i,
    0.623303483223677 + 0.0*i,
    -0.372053435139559 + 0.0*i,
    0.600316918230828 + 0.0*i,
    -0.122452499309019 + 0.0*i,
    -0.415725450183116 + 0.0*i,
    -0.494158912764163 + 0.0*i,
    0.382091532298227 + 0.0*i,
    -0.539825568512862 + 0.0*i,
    0.725499713326149 + 0.0*i,
    1.04957765832446 + 0.0*i,
    -0.42613482715329 + 0.0*i,
    0.282533994533585 + 0.0*i,
    -0.598160099197926 + 0.0*i,
    -0.643028509227577 + 0.0*i,
    -0.084200934298682 + 0.0*i,
    -0.45482336549106 + 0.0*i,
    -0.290148915234344 + 0.0*i,
    -0.0792141547845482 + 0.0*i,
    1.31686320996481 + 0.0*i,
    0.646790434223581 + 0.0*i,
    -0.246610933281741 + 0.0*i,
    0.323150349610005 + 0.0*i,
    0.0583134704051866 + 0.0*i,
    1.18792711379158 + 0.0*i,
    0.460390943676088 + 0.0*i,
    0.107307843459456 + 0.0*i,
    -0.776992078405727 + 0.0*i,
    -0.513353770830869 + 0.0*i,
    0.991172465581505 + 0.0*i,
    -0.397652278706478 + 0.0*i,
    -0.208175139430843 + 0.0*i,
    0.539169101296778 + 0.0*i,
    0.445410511588256 + 0.0*i,
    0.152758177963782 + 0.0*i
]);