V:=Matrix(CC,4,93,[
    -0.300542519249985 + 0.0*i,
    -0.180176148481097 + 0.0*i,
    0.735562837950844 + 0.0*i,
    1.06042481115809 + 0.0*i,
    0.667703007325216 + 0.0*i,
    0.0601928581977071 + 0.0*i,
    0.0784181137222111 + 0.0*i,
    0.344996804543208 + 0.0*i,
    -1.27971474185512 + 0.0*i,
    -0.416644613959631 + 0.0*i,
    -0.54138237333873 + 0.0*i,
    0.0392453670285183 + 0.0*i,
    0.246519156095829 + 0.0*i,
    0.395282051040311 + 0.0*i,
    -0.405397199824019 + 0.0*i,
    0.301892727393779 + 0.0*i,
    0.0484216372731225 + 0.0*i,
    0.371881267942243 + 0.0*i,
    -0.597888917147102 + 0.0*i,
    -0.267300128587154 + 0.0*i,
    -0.645155336041443 + 0.0*i,
    -0.473290077650476 + 0.0*i,
    -0.306569015330486 + 0.0*i,
    -0.219914719842455 + 0.0*i,
    -0.480180340695348 + 0.0*i,
    -0.0342651112571457 + 0.0*i,
    -0.979209788514795 + 0.0*i,
    -0.0716355301813464 + 0.0*i,
    -0.327344489703099 + 0.0*i,
    0.370887928148424 + 0.0*i,
    0.248571531014677 + 0.0*i,
    -0.21305792529586 + 0.0*i,
    0.307275036693886 + 0.0*i,
    1.08144786224904 + 0.0*i,
    -0.283288330255195 + 0.0*i,
    0.591923245356948 + 0.0*i,
    0.205681086876367 + 0.0*i,
    0.00547782115061087 + 0.0*i,
    0.271170571582026 + 0.0*i,
    -0.0643306255795904 + 0.0*i,
    0.161591739117408 + 0.0*i,
    0.101153342845883 + 0.0*i,
    1.14821250931126 + 0.0*i,
    0.357276460033516 + 0.0*i,
    0.217267600476046 + 0.0*i,
    -0.217708584325869 + 0.0*i,
    -0.118763856755964 + 0.0*i,
    -0.43665702796498 + 0.0*i,
    0.169884620528695 + 0.0*i,
    -0.664580541911516 + 0.0*i,
    -0.767589497078877 + 0.0*i,
    0.658199130831012 + 0.0*i,
    0.125884082749241 + 0.0*i,
    0.191281058098008 + 0.0*i,
    -0.461573240874517 + 0.0*i,
    0.0871407444129212 + 0.0*i,
    -0.374392884651587 + 0.0*i,
    0.0724808907464441 + 0.0*i,
    -0.26289337468212 + 0.0*i,
    0.738702873478071 + 0.0*i,
    -0.337198879319683 + 0.0*i,
    -0.622677089423722 + 0.0*i,
    -0.388955593083636 + 0.0*i,
    -0.0972212624079763 + 0.0*i,
    0.603514288300591 + 0.0*i,
    0.349176347454879 + 0.0*i,
    -0.233569338819522 + 0.0*i,
    -0.200796910740274 + 0.0*i,
    0.332948164361268 + 0.0*i,
    1.02193710328533 + 0.0*i,
    -0.468280794820153 + 0.0*i,
    -0.248199729311275 + 0.0*i,
    -0.412669321101873 + 0.0*i,
    -0.0320534305560801 + 0.0*i,
    -0.222027257379772 + 0.0*i,
    0.272857134039254 + 0.0*i,
    0.269602468288023 + 0.0*i,
    0.270833026599038 + 0.0*i,
    0.589882104543498 + 0.0*i,
    0.519158253432452 + 0.0*i,
    -0.236380543745867 + 0.0*i,
    0.0799358763823875 + 0.0*i,
    -0.167925240349336 + 0.0*i,
    -1.32532488251931 + 0.0*i,
    0.306751088865833 + 0.0*i,
    -0.0984859186715959 + 0.0*i,
    -0.457441806795082 + 0.0*i,
    0.497366349783021 + 0.0*i,
    0.315452479614125 + 0.0*i,
    -0.112795255047806 + 0.0*i,
    -0.0344541034908984 + 0.0*i,
    -0.252259136187718 + 0.0*i,
    -0.914137540504906 + 0.0*i,
    -0.523507362432334 + 0.0*i,
    -1.01102457069102 + 0.0*i,
    0.311215045013339 + 0.0*i,
    0.202266364153904 + 0.0*i,
    -0.816026016484406 + 0.0*i,
    -0.600536856811262 + 0.0*i,
    -0.876547626735965 + 0.0*i,
    -0.809574475837897 + 0.0*i,
    0.911694352303658 + 0.0*i,
    0.0621460257232824 + 0.0*i,
    0.480639131486507 + 0.0*i,
    -0.390181765498639 + 0.0*i,
    -0.462517757370308 + 0.0*i,
    -0.607055618320961 + 0.0*i,
    -0.0413609000943801 + 0.0*i,
    0.351091834298748 + 0.0*i,
    0.228533377717114 + 0.0*i,
    -0.315869187634629 + 0.0*i,
    -0.0834695090979466 + 0.0*i,
    0.288268459012553 + 0.0*i,
    0.183604410665875 + 0.0*i,
    -0.482280731022228 + 0.0*i,
    0.0436512347275816 + 0.0*i,
    1.13998989924364 + 0.0*i,
    -0.433949234815525 + 0.0*i,
    -0.239743628920015 + 0.0*i,
    -1.13986386745581 + 0.0*i,
    0.410849382413336 + 0.0*i,
    -0.230306230321038 + 0.0*i,
    -0.473128515016374 + 0.0*i,
    0.121297498537375 + 0.0*i,
    1.45263738130522 + 0.0*i,
    -0.0560006417958725 + 0.0*i,
    0.100805418883631 + 0.0*i,
    -0.499664024386406 + 0.0*i,
    0.134916546359727 + 0.0*i,
    -0.250492479195486 + 0.0*i,
    0.310168047443533 + 0.0*i,
    0.106732730238723 + 0.0*i,
    -0.688813257541707 + 0.0*i,
    0.420757614107669 + 0.0*i,
    -0.340186148634862 + 0.0*i,
    0.303989015777177 + 0.0*i,
    -0.295202548470059 + 0.0*i,
    0.0271641971662248 + 0.0*i,
    -0.34795563422564 + 0.0*i,
    -1.017263857967 + 0.0*i,
    -0.235106414955599 + 0.0*i,
    -0.00796923436782082 + 0.0*i,
    -0.289420264992766 + 0.0*i,
    -0.346883327951215 + 0.0*i,
    0.0722021721498846 + 0.0*i,
    0.155471031762898 + 0.0*i,
    -0.351461602534572 + 0.0*i,
    0.655955722324319 + 0.0*i,
    -0.372974812634332 + 0.0*i,
    0.935185222699471 + 0.0*i,
    0.0354795905577137 + 0.0*i,
    0.301982699498684 + 0.0*i,
    -0.068425263259115 + 0.0*i,
    -0.05378635064178 + 0.0*i,
    -0.264418208023968 + 0.0*i,
    0.0892118790782108 + 0.0*i,
    0.0409520795707403 + 0.0*i,
    -0.253878515992318 + 0.0*i,
    -0.158435594896444 + 0.0*i,
    0.140632589655079 + 0.0*i,
    -0.441987216301177 + 0.0*i,
    0.805728641861848 + 0.0*i,
    -0.48315847707409 + 0.0*i,
    0.799893606674731 + 0.0*i,
    -0.0884479217990383 + 0.0*i,
    -0.766891786688821 + 0.0*i,
    0.706213506310979 + 0.0*i,
    0.070965511304728 + 0.0*i,
    -0.340422484505525 + 0.0*i,
    0.182504195701613 + 0.0*i,
    0.170657815795343 + 0.0*i,
    -0.373208260875388 + 0.0*i,
    -0.0398503922845337 + 0.0*i,
    -0.592109764303194 + 0.0*i,
    -0.474575885920994 + 0.0*i,
    1.04830164826154 + 0.0*i,
    -0.774787019878113 + 0.0*i,
    0.118931886508621 + 0.0*i,
    0.466384932150235 + 0.0*i,
    0.287480900447809 + 0.0*i,
    -0.310611998095459 + 0.0*i,
    0.162568640801354 + 0.0*i,
    0.0855559126903861 + 0.0*i,
    -1.08612947340269 + 0.0*i,
    0.143363517893795 + 0.0*i,
    0.839811789295599 + 0.0*i,
    0.905767574735555 + 0.0*i,
    0.647251967887805 + 0.0*i,
    -0.720691924408869 + 0.0*i,
    0.994794149235791 + 0.0*i,
    0.584125269926607 + 0.0*i,
    -0.229059188901582 + 0.0*i,
    0.689022829303997 + 0.0*i,
    0.23036882003146 + 0.0*i,
    0.326557794313072 + 0.0*i,
    -0.126990359574682 + 0.0*i,
    -0.205263216111176 + 0.0*i,
    -0.908683436800207 + 0.0*i,
    -0.306312625002603 + 0.0*i,
    -0.386069580474962 + 0.0*i,
    -0.36786374254127 + 0.0*i,
    0.569701079245906 + 0.0*i,
    0.236026507815062 + 0.0*i,
    0.44239457211056 + 0.0*i,
    0.242583811276602 + 0.0*i,
    -0.0942216791712693 + 0.0*i,
    0.0725697093259274 + 0.0*i,
    -0.0575418997585666 + 0.0*i,
    -0.13937963573073 + 0.0*i,
    0.741476425079125 + 0.0*i,
    0.18515863347149 + 0.0*i,
    0.180973731780094 + 0.0*i,
    0.115421051906156 + 0.0*i,
    0.561844467806266 + 0.0*i,
    0.32995262461711 + 0.0*i,
    -0.407740847455929 + 0.0*i,
    -0.969019846925332 + 0.0*i,
    0.36452560235483 + 0.0*i,
    -0.278694538155372 + 0.0*i,
    0.484799110146752 + 0.0*i,
    0.763999757353483 + 0.0*i,
    -1.10115195067053 + 0.0*i,
    -0.758861106665358 + 0.0*i,
    -0.197991949633412 + 0.0*i,
    -0.156749894770553 + 0.0*i,
    1.16448497701204 + 0.0*i,
    0.799721586439999 + 0.0*i,
    0.496928109343702 + 0.0*i,
    -0.482742346751143 + 0.0*i,
    -0.800773668304471 + 0.0*i,
    0.3362960652368 + 0.0*i,
    0.508819885842893 + 0.0*i,
    0.352502477408251 + 0.0*i,
    -0.205197559041884 + 0.0*i,
    0.482270099984278 + 0.0*i,
    0.454580982266447 + 0.0*i,
    0.779415378298565 + 0.0*i,
    0.000770264570945221 + 0.0*i,
    -0.171516029067937 + 0.0*i,
    0.115484637521777 + 0.0*i,
    -0.451312783787346 + 0.0*i,
    -0.0329648530536173 + 0.0*i,
    -0.509638891510447 + 0.0*i,
    0.906034232746122 + 0.0*i,
    0.315206346060436 + 0.0*i,
    -0.962369552658362 + 0.0*i,
    0.0121654126158094 + 0.0*i,
    -1.12345883107764 + 0.0*i,
    -0.239494238298265 + 0.0*i,
    0.47827953593115 + 0.0*i,
    0.0209837593576218 + 0.0*i,
    -0.77330888123413 + 0.0*i,
    -0.117208908512136 + 0.0*i,
    0.297440962571907 + 0.0*i,
    0.542478757103901 + 0.0*i,
    0.180538109248405 + 0.0*i,
    -0.361784093198621 + 0.0*i,
    0.331245895894261 + 0.0*i,
    0.199160181245134 + 0.0*i,
    0.528590561303049 + 0.0*i,
    -0.515044780026309 + 0.0*i,
    -0.389086248018029 + 0.0*i,
    0.753646657247895 + 0.0*i,
    0.0339980769998514 + 0.0*i,
    -0.314836375207794 + 0.0*i,
    0.379149954659157 + 0.0*i,
    0.0133433658050985 + 0.0*i,
    -0.114065878195498 + 0.0*i,
    0.122128616322705 + 0.0*i,
    -0.28327984608178 + 0.0*i,
    0.205345618631224 + 0.0*i,
    -0.146864632519767 + 0.0*i,
    -0.247838830546694 + 0.0*i,
    -0.306835510498824 + 0.0*i,
    -0.391387931659001 + 0.0*i,
    -0.602047189570925 + 0.0*i,
    -1.17987314255625 + 0.0*i,
    0.317271736066379 + 0.0*i,
    0.842060997572991 + 0.0*i,
    -0.556755169148502 + 0.0*i,
    -0.102283894967546 + 0.0*i,
    -0.224380232003402 + 0.0*i,
    0.532610620128132 + 0.0*i,
    0.606496213618102 + 0.0*i,
    -0.192123460247227 + 0.0*i,
    0.42634478391394 + 0.0*i,
    0.597822807313292 + 0.0*i,
    0.554431819329825 + 0.0*i,
    0.162857304245436 + 0.0*i,
    -0.298960158898351 + 0.0*i,
    0.902396829949058 + 0.0*i,
    0.306190247609215 + 0.0*i,
    -0.260092582747639 + 0.0*i,
    -0.115286416074593 + 0.0*i,
    0.0391128581919475 + 0.0*i,
    -0.228374617289788 + 0.0*i,
    -0.453240757124233 + 0.0*i,
    0.27387769010537 + 0.0*i,
    0.157648396747159 + 0.0*i,
    -0.618337786538997 + 0.0*i,
    -0.264522634161946 + 0.0*i,
    -0.340162149853181 + 0.0*i,
    -0.571602756286291 + 0.0*i,
    -0.138254434326667 + 0.0*i,
    -0.594015546003303 + 0.0*i,
    0.346913517236597 + 0.0*i,
    0.699503258644853 + 0.0*i,
    -0.485346979813699 + 0.0*i,
    0.334062627219525 + 0.0*i,
    -0.0199800673498315 + 0.0*i,
    -0.140920532247636 + 0.0*i,
    1.02994367999908 + 0.0*i,
    -0.858112834557992 + 0.0*i,
    1.03002273621604 + 0.0*i,
    -0.431022077873166 + 0.0*i,
    0.375031278691275 + 0.0*i,
    1.23669943668439 + 0.0*i,
    -0.0510639211317496 + 0.0*i,
    -0.409063352163476 + 0.0*i,
    0.697833693689439 + 0.0*i,
    1.00492948108306 + 0.0*i,
    0.563887440224411 + 0.0*i,
    0.498681743245499 + 0.0*i,
    -0.351360157737879 + 0.0*i,
    0.251049651018246 + 0.0*i,
    0.245772623118455 + 0.0*i,
    0.775346899052922 + 0.0*i,
    0.842491877796026 + 0.0*i,
    -0.279192459730966 + 0.0*i,
    0.501384646579702 + 0.0*i,
    0.252986486418458 + 0.0*i,
    -0.0712328007998319 + 0.0*i,
    -0.196600617867671 + 0.0*i,
    -0.515225317058223 + 0.0*i,
    -0.132307655941234 + 0.0*i,
    0.0730574334256821 + 0.0*i,
    -0.279578914921356 + 0.0*i,
    0.251202262793897 + 0.0*i,
    0.356806829185562 + 0.0*i,
    0.26590365262895 + 0.0*i,
    0.421380453980372 + 0.0*i,
    1.19349046671339 + 0.0*i,
    -0.077751716298524 + 0.0*i,
    1.13756386515032 + 0.0*i,
    -0.267829611488242 + 0.0*i,
    -0.640139894460517 + 0.0*i,
    0.0422546708737975 + 0.0*i,
    0.251967926122335 + 0.0*i,
    0.225986148696192 + 0.0*i,
    -0.109782219074369 + 0.0*i,
    0.713390362705205 + 0.0*i,
    -0.964480139775423 + 0.0*i,
    -0.0531190282981968 + 0.0*i,
    -0.208690095869256 + 0.0*i,
    0.118191622196951 + 0.0*i,
    1.08507748404693 + 0.0*i,
    -0.214299990197548 + 0.0*i,
    -0.386270536545666 + 0.0*i,
    0.160284346745168 + 0.0*i,
    -0.436656089393276 + 0.0*i,
    0.00853533733014613 + 0.0*i,
    0.461305948031085 + 0.0*i,
    -0.162612178357539 + 0.0*i,
    0.269841414708842 + 0.0*i,
    -0.305032717226217 + 0.0*i,
    0.103943058867522 + 0.0*i,
    -0.0733222995486304 + 0.0*i,
    -0.073979222496566 + 0.0*i,
    0.0624096205853468 + 0.0*i,
    -0.120047128368132 + 0.0*i,
    0.150444210596703 + 0.0*i,
    -0.461168246472981 + 0.0*i
]);