V:=Matrix(CC,4,88,[
    -0.51780447094517 + 0.0*i,
    0.326618399518006 + 0.0*i,
    -0.497472346194714 + 0.0*i,
    0.155802957732061 + 0.0*i,
    -0.71736106222069 + 0.0*i,
    0.145070207085816 + 0.0*i,
    0.222260384022687 + 0.0*i,
    -0.725581931753027 + 0.0*i,
    0.0157513151262297 + 0.0*i,
    0.0978902751744197 + 0.0*i,
    -0.832775712398514 + 0.0*i,
    -1.09643098239647 + 0.0*i,
    0.314443702217994 + 0.0*i,
    -0.0353472674320918 + 0.0*i,
    -0.4569120698705 + 0.0*i,
    -0.363193112388795 + 0.0*i,
    0.205965526312834 + 0.0*i,
    -0.201304519333111 + 0.0*i,
    0.292864005460161 + 0.0*i,
    0.214381500280529 + 0.0*i,
    -0.494853895602745 + 0.0*i,
    -0.359581930459155 + 0.0*i,
    0.241780074385226 + 0.0*i,
    -0.921373858148518 + 0.0*i,
    -0.2136382363733 + 0.0*i,
    0.548346874737006 + 0.0*i,
    -0.230235571122295 + 0.0*i,
    0.558237243073899 + 0.0*i,
    0.598439095974726 + 0.0*i,
    -0.522662683609167 + 0.0*i,
    -0.0218581641355237 + 0.0*i,
    -0.0234970668039417 + 0.0*i,
    -0.484351342546971 + 0.0*i,
    -1.21264815484631 + 0.0*i,
    -0.250894283129303 + 0.0*i,
    0.988570510025199 + 0.0*i,
    -0.0726310679339106 + 0.0*i,
    0.367994734539524 + 0.0*i,
    0.579366851459247 + 0.0*i,
    -0.853112814572267 + 0.0*i,
    0.374992190339253 + 0.0*i,
    0.56236431547812 + 0.0*i,
    0.24997376686098 + 0.0*i,
    0.422739080178738 + 0.0*i,
    -0.421460805487838 + 0.0*i,
    0.632242015733682 + 0.0*i,
    -0.226995462789445 + 0.0*i,
    0.489192841059895 + 0.0*i,
    0.270646649421412 + 0.0*i,
    0.478104166904844 + 0.0*i,
    0.428437637375439 + 0.0*i,
    0.36400059775255 + 0.0*i,
    0.244456635282834 + 0.0*i,
    -0.598965476380879 + 0.0*i,
    0.516044700308085 + 0.0*i,
    0.290182412631518 + 0.0*i,
    0.209512465160927 + 0.0*i,
    -0.436596913121647 + 0.0*i,
    0.0958075554410803 + 0.0*i,
    0.459899449159661 + 0.0*i,
    0.239305263372186 + 0.0*i,
    1.01612774901679 + 0.0*i,
    -0.459373321775207 + 0.0*i,
    -0.345438696777865 + 0.0*i,
    -0.161440265754388 + 0.0*i,
    -0.0455119108954549 + 0.0*i,
    0.758876199698874 + 0.0*i,
    0.800459531953758 + 0.0*i,
    -0.634275662336673 + 0.0*i,
    0.423094360462996 + 0.0*i,
    0.174413505643386 + 0.0*i,
    0.557646587325666 + 0.0*i,
    -0.0456239710843904 + 0.0*i,
    -0.874684364157568 + 0.0*i,
    -0.501178906244207 + 0.0*i,
    0.01212500444205 + 0.0*i,
    0.840358762289616 + 0.0*i,
    -0.0476668255750993 + 0.0*i,
    0.225200294074553 + 0.0*i,
    -1.19909542761666 + 0.0*i,
    -0.0220514316401388 + 0.0*i,
    -0.111999127200488 + 0.0*i,
    0.182907312365445 + 0.0*i,
    0.660031569121527 + 0.0*i,
    -0.0997641580151949 + 0.0*i,
    -0.237315894176851 + 0.0*i,
    0.0947165888095446 + 0.0*i,
    -0.0879154828054176 + 0.0*i,
    -0.0831636788771647 + 0.0*i,
    -1.08799431667864 + 0.0*i,
    -0.112847900113269 + 0.0*i,
    0.115758759279445 + 0.0*i,
    -0.355034412311917 + 0.0*i,
    -0.136584214186286 + 0.0*i,
    -0.630440572434034 + 0.0*i,
    -0.115579309920152 + 0.0*i,
    0.0756416780753554 + 0.0*i,
    -0.84061581896761 + 0.0*i,
    -0.515383520163906 + 0.0*i,
    -0.0624336669823731 + 0.0*i,
    0.102742522630995 + 0.0*i,
    0.310085867570685 + 0.0*i,
    -0.0568897040602427 + 0.0*i,
    -0.683606070547661 + 0.0*i,
    -0.51803950226611 + 0.0*i,
    0.664723671228963 + 0.0*i,
    0.107019638768747 + 0.0*i,
    0.265310226728276 + 0.0*i,
    0.0435982980074983 + 0.0*i,
    0.0467776146848479 + 0.0*i,
    -0.587206932520977 + 0.0*i,
    -0.210586495653176 + 0.0*i,
    0.912936961790415 + 0.0*i,
    0.129265207682957 + 0.0*i,
    0.350654629675646 + 0.0*i,
    0.0645521580756994 + 0.0*i,
    -0.18665522217591 + 0.0*i,
    0.47869667129907 + 0.0*i,
    0.0871953122137651 + 0.0*i,
    0.0279869083970818 + 0.0*i,
    -0.535891965357518 + 0.0*i,
    -0.30247104463625 + 0.0*i,
    -0.677897920912912 + 0.0*i,
    0.859130374069449 + 0.0*i,
    -1.15332301519839 + 0.0*i,
    0.544886409744152 + 0.0*i,
    -0.915515110126258 + 0.0*i,
    -0.186039697260066 + 0.0*i,
    -0.0185714831702018 + 0.0*i,
    0.0575680361365084 + 0.0*i,
    -0.0388165056146845 + 0.0*i,
    0.46325875798935 + 0.0*i,
    0.104535638000647 + 0.0*i,
    0.594093578594674 + 0.0*i,
    -0.398545156312474 + 0.0*i,
    -0.0777582928193307 + 0.0*i,
    -0.0693438584422972 + 0.0*i,
    -0.0661664135183192 + 0.0*i,
    -0.0893786450987565 + 0.0*i,
    0.222802157123082 + 0.0*i,
    -0.0427928392858282 + 0.0*i,
    0.745658710342302 + 0.0*i,
    -0.448588459953326 + 0.0*i,
    -0.883801712134863 + 0.0*i,
    0.160192758023456 + 0.0*i,
    0.346979255177292 + 0.0*i,
    -0.482115093890077 + 0.0*i,
    0.0221137678337333 + 0.0*i,
    -0.136897959820511 + 0.0*i,
    -0.662821461708838 + 0.0*i,
    0.759949568887942 + 0.0*i,
    0.606987363299249 + 0.0*i,
    -0.0790520523050036 + 0.0*i,
    -0.854056163839874 + 0.0*i,
    0.945775753687271 + 0.0*i,
    -0.290031108232013 + 0.0*i,
    -0.821496557850303 + 0.0*i,
    0.349290240407855 + 0.0*i,
    0.199697314084014 + 0.0*i,
    0.557189806481664 + 0.0*i,
    -0.622505732926311 + 0.0*i,
    0.422106828196799 + 0.0*i,
    -0.617436965315933 + 0.0*i,
    -0.11483557332555 + 0.0*i,
    -0.288800609622974 + 0.0*i,
    0.0535957617694867 + 0.0*i,
    0.546387842796202 + 0.0*i,
    0.566254207977994 + 0.0*i,
    -0.419480747372683 + 0.0*i,
    -0.213100784287098 + 0.0*i,
    0.0196136070783485 + 0.0*i,
    0.658570996130888 + 0.0*i,
    0.879455736799627 + 0.0*i,
    -0.361832928869497 + 0.0*i,
    0.0225016506120274 + 0.0*i,
    -0.125798833457883 + 0.0*i,
    -0.217951046313814 + 0.0*i,
    0.383372505382117 + 0.0*i,
    0.283507508850818 + 0.0*i,
    -0.939874460016052 + 0.0*i,
    0.371959693505488 + 0.0*i,
    -0.359898508471921 + 0.0*i,
    -0.309508645921673 + 0.0*i,
    -0.547659850060714 + 0.0*i,
    -0.417685114798409 + 0.0*i,
    -0.817640238678404 + 0.0*i,
    -0.604499314767479 + 0.0*i,
    0.413875140208721 + 0.0*i,
    -0.190401075346156 + 0.0*i,
    0.11763411317886 + 0.0*i,
    -0.046914362293143 + 0.0*i,
    0.888205968961889 + 0.0*i,
    0.939980037043928 + 0.0*i,
    -0.77949925114334 + 0.0*i,
    -0.0805897758361259 + 0.0*i,
    0.104410482893869 + 0.0*i,
    0.890282910700465 + 0.0*i,
    0.176073592917125 + 0.0*i,
    -0.215309090638232 + 0.0*i,
    -0.985995019926573 + 0.0*i,
    -0.63039015120318 + 0.0*i,
    0.268793488181036 + 0.0*i,
    -0.0757923563646833 + 0.0*i,
    0.0990415485428509 + 0.0*i,
    -0.0988313458676195 + 0.0*i,
    -0.0071341321993697 + 0.0*i,
    0.0379149687816827 + 0.0*i,
    0.336200626499711 + 0.0*i,
    -0.282295517024467 + 0.0*i,
    0.831010925165729 + 0.0*i,
    0.642927157297549 + 0.0*i,
    -0.294152070478158 + 0.0*i,
    -0.643259819591588 + 0.0*i,
    0.439375031212109 + 0.0*i,
    -0.310823241667644 + 0.0*i,
    -0.388176860139059 + 0.0*i,
    -0.63763722302746 + 0.0*i,
    0.914420905249716 + 0.0*i,
    -0.525026838328584 + 0.0*i,
    -0.578283481396425 + 0.0*i,
    0.278396279909936 + 0.0*i,
    -0.2762928791389 + 0.0*i,
    0.951604128208672 + 0.0*i,
    0.452854054462988 + 0.0*i,
    -0.622315789936831 + 0.0*i,
    -0.0506108709979051 + 0.0*i,
    -0.0469490345426784 + 0.0*i,
    0.247476199305444 + 0.0*i,
    -0.416287730423623 + 0.0*i,
    1.0332793258649 + 0.0*i,
    0.23090801073028 + 0.0*i,
    0.447583816965498 + 0.0*i,
    -0.163920906988843 + 0.0*i,
    0.510509441572993 + 0.0*i,
    0.0643984663535611 + 0.0*i,
    0.459606684000616 + 0.0*i,
    -1.20339902166195 + 0.0*i,
    0.00740689216905606 + 0.0*i,
    -0.0673466216895181 + 0.0*i,
    0.25485683323165 + 0.0*i,
    -0.0743566007780035 + 0.0*i,
    -0.449335234387205 + 0.0*i,
    -0.189311451320582 + 0.0*i,
    -0.0888072746265191 + 0.0*i,
    0.183191679911061 + 0.0*i,
    -0.916567892520885 + 0.0*i,
    0.103609959145313 + 0.0*i,
    0.00339061086446978 + 0.0*i,
    -0.930833788991927 + 0.0*i,
    -1.07707091493846 + 0.0*i,
    -0.0928728643825523 + 0.0*i,
    0.126445435800589 + 0.0*i,
    0.517898454660353 + 0.0*i,
    -0.0851878489061842 + 0.0*i,
    0.347220064154754 + 0.0*i,
    -0.0112498060276348 + 0.0*i,
    -0.0680416909389069 + 0.0*i,
    0.216356063031758 + 0.0*i,
    0.232788307762067 + 0.0*i,
    -0.277459653985054 + 0.0*i,
    -0.538930035834413 + 0.0*i,
    0.56865230142026 + 0.0*i,
    -0.460565605707321 + 0.0*i,
    0.20515571710584 + 0.0*i,
    0.358142540662528 + 0.0*i,
    0.126777601907301 + 0.0*i,
    -0.210418375798369 + 0.0*i,
    0.0393585079282879 + 0.0*i,
    0.567279963470478 + 0.0*i,
    -0.284298788703833 + 0.0*i,
    -0.793698519345435 + 0.0*i,
    0.213530161047985 + 0.0*i,
    -0.639475518395242 + 0.0*i,
    0.460464912072664 + 0.0*i,
    -0.780035294994677 + 0.0*i,
    0.947744894106709 + 0.0*i,
    0.147075089149184 + 0.0*i,
    -0.280656750938606 + 0.0*i,
    0.575765197507539 + 0.0*i,
    -0.41386585754027 + 0.0*i,
    -0.123194815276625 + 0.0*i,
    0.0217879200916699 + 0.0*i,
    0.541355987272494 + 0.0*i,
    0.901141267290658 + 0.0*i,
    0.188118369991279 + 0.0*i,
    0.580614200433587 + 0.0*i,
    -0.276481172225009 + 0.0*i,
    -0.0164064706036696 + 0.0*i,
    0.152801188987292 + 0.0*i,
    0.224747020501249 + 0.0*i,
    0.581474116831858 + 0.0*i,
    -0.386891240497593 + 0.0*i,
    0.525036679884639 + 0.0*i,
    -0.777610985340311 + 0.0*i,
    0.719333522874493 + 0.0*i,
    0.696814571947343 + 0.0*i,
    -0.0393978389650997 + 0.0*i,
    0.0904961942251628 + 0.0*i,
    -0.445483062895274 + 0.0*i,
    0.525618629687865 + 0.0*i,
    -0.0979217884446514 + 0.0*i,
    0.546186497528878 + 0.0*i,
    -0.18703305661562 + 0.0*i,
    0.838007746690862 + 0.0*i,
    0.324260162442009 + 0.0*i,
    0.637272519450358 + 0.0*i,
    0.492352473139099 + 0.0*i,
    -0.539050306814601 + 0.0*i,
    0.305336868760037 + 0.0*i,
    0.528803902314285 + 0.0*i,
    -0.132176160131063 + 0.0*i,
    0.985792890833297 + 0.0*i,
    -0.475066469969866 + 0.0*i,
    -0.704381584180382 + 0.0*i,
    -0.188729174134909 + 0.0*i,
    -0.312677002729329 + 0.0*i,
    -0.512921910548255 + 0.0*i,
    0.0705281419326804 + 0.0*i,
    -0.734970895214594 + 0.0*i,
    -0.801442391107161 + 0.0*i,
    -0.0845784074549919 + 0.0*i,
    0.0342945271969314 + 0.0*i,
    0.0868946024298625 + 0.0*i,
    0.677201993305304 + 0.0*i,
    0.456443420307086 + 0.0*i,
    0.68952567584443 + 0.0*i,
    -0.387797894408836 + 0.0*i,
    0.970841599946885 + 0.0*i,
    -0.440006081853085 + 0.0*i,
    0.567172700764973 + 0.0*i,
    -0.259141600865881 + 0.0*i,
    0.406979980328274 + 0.0*i,
    0.030548015671121 + 0.0*i,
    -0.245891952170664 + 0.0*i,
    -0.264336537475913 + 0.0*i,
    -0.42368093818999 + 0.0*i,
    -0.028982773234504 + 0.0*i,
    0.393630717437477 + 0.0*i,
    0.271362062771107 + 0.0*i,
    0.396593881288126 + 0.0*i,
    -0.15207567782363 + 0.0*i,
    -1.28394651581846 + 0.0*i,
    -0.297006483217162 + 0.0*i,
    -0.0269418707690543 + 0.0*i,
    -1.32554783333614 + 0.0*i,
    -0.390195304015913 + 0.0*i,
    0.39273834826669 + 0.0*i,
    -1.39192389252449 + 0.0*i,
    -0.572589933622358 + 0.0*i,
    0.291815190344468 + 0.0*i,
    0.490779620830273 + 0.0*i,
    0.176168040539871 + 0.0*i
]);