V:=Matrix(CC,4,93,[
    -0.181847838809161 + 0.0*i,
    -0.341865820711833 + 0.0*i,
    -0.331487685031598 + 0.0*i,
    -0.727952323897114 + 0.0*i,
    0.0720074602454271 + 0.0*i,
    0.73656285594465 + 0.0*i,
    0.208933650026697 + 0.0*i,
    -0.750889858032466 + 0.0*i,
    -0.282934154085928 + 0.0*i,
    -1.24268745186529 + 0.0*i,
    -0.437628646376724 + 0.0*i,
    0.50145942417849 + 0.0*i,
    0.980486807707522 + 0.0*i,
    0.30301933456742 + 0.0*i,
    -0.682554451314128 + 0.0*i,
    0.064121309553547 + 0.0*i,
    0.345779916125302 + 0.0*i,
    0.799010475657876 + 0.0*i,
    0.0217336145387059 + 0.0*i,
    0.120583224280136 + 0.0*i,
    0.883704061358601 + 0.0*i,
    0.754397273258598 + 0.0*i,
    0.276564896735396 + 0.0*i,
    -0.386579798860085 + 0.0*i,
    0.291666628830601 + 0.0*i,
    0.924563327421921 + 0.0*i,
    -0.265332421508043 + 0.0*i,
    0.487854813454753 + 0.0*i,
    -0.286581969866752 + 0.0*i,
    -0.765375405458324 + 0.0*i,
    -0.484051687393786 + 0.0*i,
    -0.216491607586661 + 0.0*i,
    -0.10239016835379 + 0.0*i,
    0.0920831084563596 + 0.0*i,
    0.510212191709929 + 0.0*i,
    -0.375454238951794 + 0.0*i,
    0.321567292874806 + 0.0*i,
    -0.315575735969165 + 0.0*i,
    -0.334364076735347 + 0.0*i,
    -0.053359495509787 + 0.0*i,
    0.477683577014491 + 0.0*i,
    0.300304263671929 + 0.0*i,
    -0.302444858726007 + 0.0*i,
    0.0129433089930372 + 0.0*i,
    0.423988690628853 + 0.0*i,
    -0.412233343038448 + 0.0*i,
    0.614390252355818 + 0.0*i,
    -0.39829552934476 + 0.0*i,
    -0.423473401659653 + 0.0*i,
    0.112747128943586 + 0.0*i,
    -0.13133248294752 + 0.0*i,
    -0.290841230321156 + 0.0*i,
    -0.30391883818578 + 0.0*i,
    0.0437124076326201 + 0.0*i,
    0.0834101938799565 + 0.0*i,
    -0.140622058605267 + 0.0*i,
    -1.06915958293438 + 0.0*i,
    -0.269363698676705 + 0.0*i,
    0.0423259716480536 + 0.0*i,
    0.296626013865535 + 0.0*i,
    -0.722557307252448 + 0.0*i,
    0.334014618731032 + 0.0*i,
    -0.304954439616305 + 0.0*i,
    0.183830478634748 + 0.0*i,
    0.372428608982091 + 0.0*i,
    0.517439512529784 + 0.0*i,
    0.592713767844667 + 0.0*i,
    0.683207940172897 + 0.0*i,
    0.700325543365597 + 0.0*i,
    0.0785484009950887 + 0.0*i,
    0.343359156927955 + 0.0*i,
    0.883703079151275 + 0.0*i,
    0.44367929766422 + 0.0*i,
    0.187390265311334 + 0.0*i,
    0.447659573905751 + 0.0*i,
    0.373631266010761 + 0.0*i,
    0.0780940511558268 + 0.0*i,
    -0.955820521375601 + 0.0*i,
    0.278217637952878 + 0.0*i,
    0.435442071625638 + 0.0*i,
    -0.817471323619485 + 0.0*i,
    -0.941866110425497 + 0.0*i,
    -0.984672480517446 + 0.0*i,
    -0.24907166518637 + 0.0*i,
    -0.491130495831896 + 0.0*i,
    -0.271318687640794 + 0.0*i,
    -0.214119463648452 + 0.0*i,
    -0.062715474460813 + 0.0*i,
    -0.170433343914756 + 0.0*i,
    0.101165326163995 + 0.0*i,
    -0.0857495253962485 + 0.0*i,
    0.930551825044857 + 0.0*i,
    0.106512052072533 + 0.0*i,
    -0.384172185688867 + 0.0*i,
    -0.0268765589657403 + 0.0*i,
    0.488806513205708 + 0.0*i,
    -0.0291249796154987 + 0.0*i,
    0.81933592968219 + 0.0*i,
    0.105621981644377 + 0.0*i,
    -0.513307332642762 + 0.0*i,
    -0.0102219116246579 + 0.0*i,
    0.115826738008211 + 0.0*i,
    0.0847797332166978 + 0.0*i,
    0.0335964665026347 + 0.0*i,
    0.000392293710232757 + 0.0*i,
    0.338415649751027 + 0.0*i,
    -0.3130884036444 + 0.0*i,
    -0.258715330831165 + 0.0*i,
    0.69304928019389 + 0.0*i,
    -0.289478200567914 + 0.0*i,
    1.08634248694574 + 0.0*i,
    0.240341411364714 + 0.0*i,
    0.280543642116703 + 0.0*i,
    -0.246825656300388 + 0.0*i,
    0.225021572975605 + 0.0*i,
    0.539633657609317 + 0.0*i,
    0.44582306238504 + 0.0*i,
    -0.354143559929661 + 0.0*i,
    -0.371847062081947 + 0.0*i,
    0.698962622959409 + 0.0*i,
    -0.688516952403641 + 0.0*i,
    -0.639908548383896 + 0.0*i,
    -0.963862289097312 + 0.0*i,
    0.17523129418828 + 0.0*i,
    -0.558876564062533 + 0.0*i,
    -0.460827882092361 + 0.0*i,
    0.086396734117955 + 0.0*i,
    -0.679530643914134 + 0.0*i,
    -0.0305730912174629 + 0.0*i,
    0.628800731160448 + 0.0*i,
    0.231107371070624 + 0.0*i,
    -1.05039493972142 + 0.0*i,
    -0.341553070291871 + 0.0*i,
    0.512988045723687 + 0.0*i,
    -0.619150323765754 + 0.0*i,
    0.850148721910336 + 0.0*i,
    -0.297777061671181 + 0.0*i,
    0.108624529100647 + 0.0*i,
    0.570692063112895 + 0.0*i,
    -0.586600206204825 + 0.0*i,
    0.0915638414105003 + 0.0*i,
    -0.175864977950878 + 0.0*i,
    -0.510646261353411 + 0.0*i,
    -1.07650131324002 + 0.0*i,
    0.368975991209867 + 0.0*i,
    0.0520078593597392 + 0.0*i,
    -0.558002968765558 + 0.0*i,
    -0.476285693739649 + 0.0*i,
    0.295203157960846 + 0.0*i,
    0.109919663800555 + 0.0*i,
    -0.705193452722147 + 0.0*i,
    -0.257965927026162 + 0.0*i,
    -0.69471143403645 + 0.0*i,
    0.536900677031305 + 0.0*i,
    -0.747631850276164 + 0.0*i,
    1.0170553530501 + 0.0*i,
    -0.353475126608502 + 0.0*i,
    -0.150677577690934 + 0.0*i,
    0.396260514811239 + 0.0*i,
    -0.103510826572967 + 0.0*i,
    0.354463727590114 + 0.0*i,
    0.0576363168521686 + 0.0*i,
    0.298503959895816 + 0.0*i,
    0.162578492807889 + 0.0*i,
    0.33943715754125 + 0.0*i,
    0.639554439843418 + 0.0*i,
    -0.736605828884962 + 0.0*i,
    -0.992916223820114 + 0.0*i,
    -0.729290295936524 + 0.0*i,
    -0.222373224627408 + 0.0*i,
    0.141614818257605 + 0.0*i,
    -0.0299219381835755 + 0.0*i,
    -0.157705846772128 + 0.0*i,
    0.999737222248005 + 0.0*i,
    0.171330535270345 + 0.0*i,
    -0.262161417074598 + 0.0*i,
    0.778612179419354 + 0.0*i,
    0.410571314726691 + 0.0*i,
    0.460257779963884 + 0.0*i,
    1.18900196116904 + 0.0*i,
    -0.242919279639101 + 0.0*i,
    -0.727958076229808 + 0.0*i,
    0.00770915571948106 + 0.0*i,
    0.254366846703414 + 0.0*i,
    0.158325769568873 + 0.0*i,
    0.995272011427886 + 0.0*i,
    0.341263575258664 + 0.0*i,
    0.516642585691629 + 0.0*i,
    0.104763285559017 + 0.0*i,
    0.351817636153556 + 0.0*i,
    -0.768477765458466 + 0.0*i,
    0.398825581179811 + 0.0*i,
    -0.286079206294342 + 0.0*i,
    0.311858721521503 + 0.0*i,
    0.0665680832357989 + 0.0*i,
    -0.377780768162846 + 0.0*i,
    0.242070663878288 + 0.0*i,
    0.986540354147151 + 0.0*i,
    -0.571616558739722 + 0.0*i,
    -0.761994922650075 + 0.0*i,
    1.06350501173344 + 0.0*i,
    -0.108911675633376 + 0.0*i,
    -0.402340661845795 + 0.0*i,
    -0.501211043574045 + 0.0*i,
    -0.0913813445316251 + 0.0*i,
    -0.720612174722336 + 0.0*i,
    -0.302252172037552 + 0.0*i,
    0.160281931705534 + 0.0*i,
    0.980496032989174 + 0.0*i,
    -0.245426754434856 + 0.0*i,
    0.0461615865421572 + 0.0*i,
    0.0622640378167885 + 0.0*i,
    0.035259787564419 + 0.0*i,
    -0.367102505512505 + 0.0*i,
    0.334885321641309 + 0.0*i,
    0.224551270310522 + 0.0*i,
    0.618507675424158 + 0.0*i,
    0.584502662612741 + 0.0*i,
    -0.202888830803467 + 0.0*i,
    -0.971781416832836 + 0.0*i,
    -0.969052217965036 + 0.0*i,
    -0.615361039070908 + 0.0*i,
    0.173054791955805 + 0.0*i,
    -0.651683821719153 + 0.0*i,
    -0.471208285154648 + 0.0*i,
    -0.628111698295354 + 0.0*i,
    -0.20110652329705 + 0.0*i,
    0.481655871080391 + 0.0*i,
    0.0811916328733155 + 0.0*i,
    -0.0175124773127474 + 0.0*i,
    -0.170546170612591 + 0.0*i,
    0.717950569857396 + 0.0*i,
    -0.643141857344898 + 0.0*i,
    0.265654473369935 + 0.0*i,
    -0.62848517333474 + 0.0*i,
    0.065573901858303 + 0.0*i,
    0.434284366032042 + 0.0*i,
    0.28923758950518 + 0.0*i,
    -0.422539159902943 + 0.0*i,
    0.2348674776788 + 0.0*i,
    -0.0611566927770169 + 0.0*i,
    -0.428912317029552 + 0.0*i,
    0.0813558874802581 + 0.0*i,
    0.521847862959667 + 0.0*i,
    0.388476929019244 + 0.0*i,
    -0.65070322375445 + 0.0*i,
    -0.880984895312403 + 0.0*i,
    0.738041189848161 + 0.0*i,
    0.721830897811419 + 0.0*i,
    0.21247722454559 + 0.0*i,
    -0.0586967254446044 + 0.0*i,
    0.489613141715625 + 0.0*i,
    0.0635229957344042 + 0.0*i,
    -0.534493897620295 + 0.0*i,
    -0.625871715287696 + 0.0*i,
    -0.189882802426956 + 0.0*i,
    0.642949611619897 + 0.0*i,
    0.362197185796601 + 0.0*i,
    -0.424272750764127 + 0.0*i,
    0.51919634314384 + 0.0*i,
    -0.196285951315092 + 0.0*i,
    0.195206008875939 + 0.0*i,
    -0.680895736883858 + 0.0*i,
    -0.325319502691485 + 0.0*i,
    0.448155114494366 + 0.0*i,
    -0.987699711337928 + 0.0*i,
    -0.222095819761978 + 0.0*i,
    1.06202963963766 + 0.0*i,
    0.3290122571989 + 0.0*i,
    -0.317499159735001 + 0.0*i,
    -0.474812844674621 + 0.0*i,
    -0.507757047587571 + 0.0*i,
    0.646294456720919 + 0.0*i,
    0.335982201269421 + 0.0*i,
    0.0280205729796934 + 0.0*i,
    -0.684789789336156 + 0.0*i,
    0.507894627683341 + 0.0*i,
    -0.120487307452301 + 0.0*i,
    0.786661339894191 + 0.0*i,
    0.184314040045305 + 0.0*i,
    -0.249007225012719 + 0.0*i,
    -0.430617387689934 + 0.0*i,
    -0.1370887289309 + 0.0*i,
    -0.739135498025797 + 0.0*i,
    0.774318898220155 + 0.0*i,
    0.515463527336693 + 0.0*i,
    0.319246086872635 + 0.0*i,
    -0.478922110260311 + 0.0*i,
    0.505791673870475 + 0.0*i,
    0.245618711249207 + 0.0*i,
    -0.546010997748858 + 0.0*i,
    0.200283678149444 + 0.0*i,
    0.269929662489485 + 0.0*i,
    -0.192563832490013 + 0.0*i,
    -0.129157050475578 + 0.0*i,
    -0.0987401064488052 + 0.0*i,
    -0.479432821637764 + 0.0*i,
    0.279141031633362 + 0.0*i,
    -0.170044961600103 + 0.0*i,
    0.296265806122585 + 0.0*i,
    -0.309245829494658 + 0.0*i,
    -0.126044920734079 + 0.0*i,
    0.234268475189783 + 0.0*i,
    0.122372664385097 + 0.0*i,
    -0.421056931992739 + 0.0*i,
    -0.768418423690288 + 0.0*i,
    -0.437447798107771 + 0.0*i,
    -0.493603827844098 + 0.0*i,
    0.0673531313155114 + 0.0*i,
    -0.195988891223045 + 0.0*i,
    -0.581565701401497 + 0.0*i,
    -0.862342326201422 + 0.0*i,
    0.566745021445124 + 0.0*i,
    0.024789592856343 + 0.0*i,
    0.70486557550412 + 0.0*i,
    0.258988537149446 + 0.0*i,
    0.750820363434914 + 0.0*i,
    -0.462496166021749 + 0.0*i,
    -0.547177261102785 + 0.0*i,
    -0.300855371142646 + 0.0*i,
    -0.252066627527717 + 0.0*i,
    -0.256051665360879 + 0.0*i,
    -0.0708744680631287 + 0.0*i,
    -0.711242057751662 + 0.0*i,
    -0.484254173699853 + 0.0*i,
    0.30544282374131 + 0.0*i,
    -0.608910897505688 + 0.0*i,
    -0.0555895324893337 + 0.0*i,
    0.15460801993215 + 0.0*i,
    0.128741787452437 + 0.0*i,
    0.125500441937666 + 0.0*i,
    -0.836673212812829 + 0.0*i,
    -0.0446047434792859 + 0.0*i,
    -0.120997148536551 + 0.0*i,
    -0.479505959885116 + 0.0*i,
    -0.338433608992379 + 0.0*i,
    -0.165619893586217 + 0.0*i,
    -0.975609141002848 + 0.0*i,
    -0.17997626955163 + 0.0*i,
    0.279946963503356 + 0.0*i,
    -0.671815929093588 + 0.0*i,
    -0.68458700808487 + 0.0*i,
    0.710816871663664 + 0.0*i,
    0.267882683785259 + 0.0*i,
    -0.185460671307735 + 0.0*i,
    -0.70470112094787 + 0.0*i,
    -0.754098439700793 + 0.0*i,
    0.586686745759863 + 0.0*i,
    -0.407775085099075 + 0.0*i,
    -0.5113566107075 + 0.0*i,
    -0.79980139396375 + 0.0*i,
    0.938514483310769 + 0.0*i,
    0.418677562643623 + 0.0*i,
    0.242280833557974 + 0.0*i,
    -0.153996583711605 + 0.0*i,
    0.39882508661254 + 0.0*i,
    0.18218813083618 + 0.0*i,
    -0.0379312888716673 + 0.0*i,
    -0.213481934944978 + 0.0*i,
    0.0372376658423644 + 0.0*i,
    0.301112709839998 + 0.0*i,
    0.460821565956813 + 0.0*i,
    -0.521645140027823 + 0.0*i,
    -0.103351724632917 + 0.0*i,
    0.0404272468465272 + 0.0*i,
    0.720788008110672 + 0.0*i,
    -0.787242324005004 + 0.0*i,
    0.580529827406229 + 0.0*i,
    -0.731461264359673 + 0.0*i,
    0.214576910740943 + 0.0*i,
    0.926641272830949 + 0.0*i,
    -0.981803078968445 + 0.0*i
]);