V:=Matrix(CC,4,85,[
    0.0654374043443907 + 0.0*i,
    -0.352074139671754 + 0.0*i,
    -0.568544058355326 + 0.0*i,
    0.313020271718455 + 0.0*i,
    -1.01945676042878 + 0.0*i,
    -0.201438496256863 + 0.0*i,
    -0.173150767520211 + 0.0*i,
    0.696017652985637 + 0.0*i,
    1.01587674964791 + 0.0*i,
    -0.302480671837744 + 0.0*i,
    -0.592506766446315 + 0.0*i,
    -0.488732663687445 + 0.0*i,
    0.808366752470552 + 0.0*i,
    -0.0397343502031982 + 0.0*i,
    -1.11117933552927 + 0.0*i,
    0.364547357614824 + 0.0*i,
    -0.646090938958558 + 0.0*i,
    0.197159808463417 + 0.0*i,
    -0.187216515827862 + 0.0*i,
    -0.0597750469228112 + 0.0*i,
    -0.657885205883165 + 0.0*i,
    0.176329215271179 + 0.0*i,
    0.497133875999382 + 0.0*i,
    -0.149332877488455 + 0.0*i,
    -0.664706040181361 + 0.0*i,
    0.214189840598587 + 0.0*i,
    0.295540779105757 + 0.0*i,
    -0.158766831783606 + 0.0*i,
    0.00234283296015218 + 0.0*i,
    -0.0651678652004398 + 0.0*i,
    -0.226171608779083 + 0.0*i,
    -0.574484663252603 + 0.0*i,
    -0.142247499993322 + 0.0*i,
    0.649304496769005 + 0.0*i,
    -0.101339008195067 + 0.0*i,
    0.512894360070104 + 0.0*i,
    0.219551490670465 + 0.0*i,
    -0.901787533205949 + 0.0*i,
    -0.6342739821917 + 0.0*i,
    0.16373848107586 + 0.0*i,
    0.0661077296752597 + 0.0*i,
    -0.336843263131963 + 0.0*i,
    -0.676915972430064 + 0.0*i,
    0.0264581329264931 + 0.0*i,
    -0.39815230570255 + 0.0*i,
    0.227435517148245 + 0.0*i,
    0.277057995655676 + 0.0*i,
    -0.0859172300634072 + 0.0*i,
    -0.0453466811577696 + 0.0*i,
    -0.549342512188238 + 0.0*i,
    -0.459468145563751 + 0.0*i,
    0.362277235219966 + 0.0*i,
    -0.850206712102217 + 0.0*i,
    0.888960797148873 + 0.0*i,
    0.0855350266324899 + 0.0*i,
    0.223379257476667 + 0.0*i,
    0.0224923468500837 + 0.0*i,
    0.96948060897144 + 0.0*i,
    0.175918071576846 + 0.0*i,
    -0.518142031954149 + 0.0*i,
    -0.0802105278168723 + 0.0*i,
    -0.606171276917459 + 0.0*i,
    0.769018567620129 + 0.0*i,
    0.103377348438577 + 0.0*i,
    0.805569301605998 + 0.0*i,
    -0.426949883828829 + 0.0*i,
    -0.383334355562621 + 0.0*i,
    -0.0985658568434617 + 0.0*i,
    0.927530822826965 + 0.0*i,
    0.936145360009046 + 0.0*i,
    0.196717624501387 + 0.0*i,
    -0.337674743750374 + 0.0*i,
    0.716716610969946 + 0.0*i,
    0.0364190209507001 + 0.0*i,
    -0.863721801655082 + 0.0*i,
    0.292650288528432 + 0.0*i,
    -0.0605147777028406 + 0.0*i,
    0.438180119539106 + 0.0*i,
    -0.667775392326982 + 0.0*i,
    0.759115275066292 + 0.0*i,
    0.491414943774907 + 0.0*i,
    0.143190163735206 + 0.0*i,
    -0.76514734568569 + 0.0*i,
    0.223823977391157 + 0.0*i,
    0.163463702623231 + 0.0*i,
    -0.149944335763679 + 0.0*i,
    -1.00858081683597 + 0.0*i,
    -0.805534269148112 + 0.0*i,
    0.110543759556724 + 0.0*i,
    0.08088964884416 + 0.0*i,
    -0.65135543244101 + 0.0*i,
    -1.09638426817631 + 0.0*i,
    -0.0561984799881606 + 0.0*i,
    0.587439410741675 + 0.0*i,
    -0.158218040636732 + 0.0*i,
    0.645993868109559 + 0.0*i,
    -0.133383485553646 + 0.0*i,
    0.18279038060309 + 0.0*i,
    0.213071738203611 + 0.0*i,
    0.20648287545829 + 0.0*i,
    -0.448144823661153 + 0.0*i,
    0.12072223211514 + 0.0*i,
    -0.832772549446116 + 0.0*i,
    0.238880312291888 + 0.0*i,
    -0.310996801129707 + 0.0*i,
    -0.317822995034428 + 0.0*i,
    -0.479605952974521 + 0.0*i,
    -0.0762431634372709 + 0.0*i,
    0.17151802009552 + 0.0*i,
    -0.704027944371583 + 0.0*i,
    0.433642308064018 + 0.0*i,
    -0.718238655326429 + 0.0*i,
    1.17633379035234 + 0.0*i,
    0.0303460479191237 + 0.0*i,
    0.330387976699177 + 0.0*i,
    0.04787992594425 + 0.0*i,
    0.938047867706626 + 0.0*i,
    0.106521685351511 + 0.0*i,
    0.205557869764187 + 0.0*i,
    -0.455128628531466 + 0.0*i,
    -0.46616126369298 + 0.0*i,
    -0.586271029738974 + 0.0*i,
    0.472247622155069 + 0.0*i,
    0.209357890283102 + 0.0*i,
    -0.386893291961951 + 0.0*i,
    -0.286215493153337 + 0.0*i,
    -0.982759810153155 + 0.0*i,
    0.188456216024698 + 0.0*i,
    -0.618313757673017 + 0.0*i,
    0.253543871829419 + 0.0*i,
    -1.04471178851733 + 0.0*i,
    0.591553002777133 + 0.0*i,
    0.802640619105494 + 0.0*i,
    0.0499405495892198 + 0.0*i,
    0.110309613865752 + 0.0*i,
    0.349617450342591 + 0.0*i,
    -0.927625250207993 + 0.0*i,
    -0.363148241221138 + 0.0*i,
    0.453673241711355 + 0.0*i,
    0.343411639208019 + 0.0*i,
    -0.294149786163848 + 0.0*i,
    0.044193619076482 + 0.0*i,
    -0.0787302811121615 + 0.0*i,
    0.87079758043431 + 0.0*i,
    -0.368295791441086 + 0.0*i,
    -0.272580025396487 + 0.0*i,
    -0.522100559075695 + 0.0*i,
    -0.430109436674865 + 0.0*i,
    0.1694774902274 + 0.0*i,
    0.368468160943416 + 0.0*i,
    0.991718584126477 + 0.0*i,
    -0.854826654064444 + 0.0*i,
    -0.502634023107059 + 0.0*i,
    -0.0532910724715294 + 0.0*i,
    -0.472725886412859 + 0.0*i,
    -0.519721845664497 + 0.0*i,
    -0.0433979310547617 + 0.0*i,
    0.597215687712577 + 0.0*i,
    0.0579854441068761 + 0.0*i,
    -0.230122198009095 + 0.0*i,
    -0.189762874186869 + 0.0*i,
    0.850331806089197 + 0.0*i,
    0.473919974230977 + 0.0*i,
    0.458895397004164 + 0.0*i,
    0.472312419138464 + 0.0*i,
    0.228703165928964 + 0.0*i,
    0.588156810606812 + 0.0*i,
    -0.621063896342765 + 0.0*i,
    -0.288931928956284 + 0.0*i,
    0.260980453369643 + 0.0*i,
    0.0547099674677422 + 0.0*i,
    -0.168689544784026 + 0.0*i,
    0.0418227313046174 + 0.0*i,
    0.390336815839711 + 0.0*i,
    -0.443027650870393 + 0.0*i,
    -0.399498406474176 + 0.0*i,
    0.144989710960587 + 0.0*i,
    -0.26522600320645 + 0.0*i,
    -0.124900519575104 + 0.0*i,
    -1.17616293535339 + 0.0*i,
    0.613676089566474 + 0.0*i,
    0.531279572359187 + 0.0*i,
    -0.41495007751108 + 0.0*i,
    -0.475374680724019 + 0.0*i,
    0.223472875008148 + 0.0*i,
    -0.950917210390383 + 0.0*i,
    0.77848097173811 + 0.0*i,
    0.114635289131074 + 0.0*i,
    -0.0714456732504622 + 0.0*i,
    0.167707788120168 + 0.0*i,
    -0.108983947117713 + 0.0*i,
    -0.81736733520099 + 0.0*i,
    1.02826822321261 + 0.0*i,
    0.345930672942 + 0.0*i,
    -0.441362997481781 + 0.0*i,
    0.28099830635752 + 0.0*i,
    -0.333897047637015 + 0.0*i,
    -1.13056809270847 + 0.0*i,
    -0.040528968475825 + 0.0*i,
    -0.0720344045338008 + 0.0*i,
    0.478609724678777 + 0.0*i,
    -0.0287828551824718 + 0.0*i,
    -0.0599787257158438 + 0.0*i,
    -0.143871187640259 + 0.0*i,
    -0.462266718622955 + 0.0*i,
    0.825114013439634 + 0.0*i,
    0.484485445406693 + 0.0*i,
    0.618430750452204 + 0.0*i,
    -0.325123748838443 + 0.0*i,
    -0.432055819498326 + 0.0*i,
    0.52223370584702 + 0.0*i,
    -0.201281442149601 + 0.0*i,
    -0.335116006574702 + 0.0*i,
    0.402237695890898 + 0.0*i,
    0.220904857442496 + 0.0*i,
    -0.0705763173737851 + 0.0*i,
    0.94233622633629 + 0.0*i,
    0.160158622349335 + 0.0*i,
    -0.507834234120789 + 0.0*i,
    0.543122952957626 + 0.0*i,
    0.32211261693355 + 0.0*i,
    0.352025746566797 + 0.0*i,
    -0.606772183004247 + 0.0*i,
    0.425277893774423 + 0.0*i,
    -0.132932180845431 + 0.0*i,
    -0.625127806116745 + 0.0*i,
    0.841329249459839 + 0.0*i,
    -0.579184465397064 + 0.0*i,
    0.677105547404472 + 0.0*i,
    0.554816931995413 + 0.0*i,
    -0.133368876970524 + 0.0*i,
    0.902193601357132 + 0.0*i,
    -0.444657337215142 + 0.0*i,
    0.699098544154032 + 0.0*i,
    0.262414838523271 + 0.0*i,
    0.465029816196568 + 0.0*i,
    -0.172739684109407 + 0.0*i,
    0.475573385650776 + 0.0*i,
    0.62663749943291 + 0.0*i,
    0.321554106829968 + 0.0*i,
    0.576836187148375 + 0.0*i,
    -0.280729867667608 + 0.0*i,
    0.428921905234842 + 0.0*i,
    1.01158815939095 + 0.0*i,
    -0.128168932906644 + 0.0*i,
    -0.230211330940599 + 0.0*i,
    0.693143061055199 + 0.0*i,
    -0.436293934651762 + 0.0*i,
    -0.181307968845295 + 0.0*i,
    -0.176854362659888 + 0.0*i,
    0.0608707791545871 + 0.0*i,
    0.469474056930665 + 0.0*i,
    0.624983517920171 + 0.0*i,
    0.42335612971592 + 0.0*i,
    -0.361389623292261 + 0.0*i,
    0.539313629213185 + 0.0*i,
    0.143186570989176 + 0.0*i,
    -0.221487546695999 + 0.0*i,
    0.154224685159158 + 0.0*i,
    0.697608050657373 + 0.0*i,
    -0.26690520852739 + 0.0*i,
    0.0316369168312145 + 0.0*i,
    -0.892456380313214 + 0.0*i,
    -0.169434138167721 + 0.0*i,
    0.550010922528328 + 0.0*i,
    -0.57569347766806 + 0.0*i,
    0.153011412613122 + 0.0*i,
    0.288389762097501 + 0.0*i,
    -0.681029291087024 + 0.0*i,
    -0.125626107316801 + 0.0*i,
    -0.489806755470503 + 0.0*i,
    -0.757467205057054 + 0.0*i,
    0.0720898151326244 + 0.0*i,
    0.0750385906183889 + 0.0*i,
    -0.0642966513488394 + 0.0*i,
    -0.56850300601565 + 0.0*i,
    0.395650514244957 + 0.0*i,
    0.196071984360224 + 0.0*i,
    0.0324617916044194 + 0.0*i,
    0.458394455691487 + 0.0*i,
    0.542370062565699 + 0.0*i,
    -0.190015570394854 + 0.0*i,
    0.334272112976765 + 0.0*i,
    0.379154333344285 + 0.0*i,
    -1.0081840107188 + 0.0*i,
    -0.781255771806047 + 0.0*i,
    -0.0430144593826058 + 0.0*i,
    -0.584102509790634 + 0.0*i,
    -0.249506140488692 + 0.0*i,
    0.866573666748673 + 0.0*i,
    0.449306718069013 + 0.0*i,
    0.0874907997772313 + 0.0*i,
    0.127960858334816 + 0.0*i,
    -0.445810656074301 + 0.0*i,
    0.337478474061979 + 0.0*i,
    -0.810089810621652 + 0.0*i,
    0.375812444303195 + 0.0*i,
    0.495298535456612 + 0.0*i,
    0.326581553385758 + 0.0*i,
    0.21903759431072 + 0.0*i,
    0.665639182268793 + 0.0*i,
    0.0784375822653983 + 0.0*i,
    -0.370950583954732 + 0.0*i,
    -0.0549612011026998 + 0.0*i,
    0.216413300038326 + 0.0*i,
    -0.536209131480016 + 0.0*i,
    0.344755207664882 + 0.0*i,
    -0.245427440770359 + 0.0*i,
    0.826282453302902 + 0.0*i,
    1.36781947607127 + 0.0*i,
    0.313344741328485 + 0.0*i,
    0.197481702090305 + 0.0*i,
    -0.346520943896166 + 0.0*i,
    0.122180809970031 + 0.0*i,
    -0.488904069383883 + 0.0*i,
    0.497832613421989 + 0.0*i,
    0.35213440441613 + 0.0*i,
    0.457644822732068 + 0.0*i,
    0.00945268498981321 + 0.0*i,
    0.273447829603182 + 0.0*i,
    0.482889137593589 + 0.0*i,
    0.20775083038785 + 0.0*i,
    1.11386193066474 + 0.0*i,
    0.0835746317083731 + 0.0*i,
    0.630232295503383 + 0.0*i,
    -0.0938268913126726 + 0.0*i,
    0.137763582192184 + 0.0*i,
    0.040954497650207 + 0.0*i,
    0.800908622883367 + 0.0*i,
    0.502990604713127 + 0.0*i,
    -0.435111040344775 + 0.0*i,
    0.129702272703352 + 0.0*i,
    -0.462308398327061 + 0.0*i,
    0.350079515268738 + 0.0*i,
    -0.693970326346657 + 0.0*i,
    0.575178239967037 + 0.0*i,
    -0.448579657137488 + 0.0*i,
    -0.114294840548374 + 0.0*i,
    0.240776445386999 + 0.0*i,
    0.711345502266624 + 0.0*i
]);