V:=Matrix(CC,4,80,[
    -0.705366106243676 + 0.0*i,
    1.13552160769067 + 0.0*i,
    0.0332875115551439 + 0.0*i,
    0.569918218650867 + 0.0*i,
    -0.0767360743771957 + 0.0*i,
    -0.145572704977503 + 0.0*i,
    -0.0319793986514608 + 0.0*i,
    -0.074512768983167 + 0.0*i,
    0.222619202668557 + 0.0*i,
    -0.302690631628784 + 0.0*i,
    0.743556658591383 + 0.0*i,
    -0.0232546251080734 + 0.0*i,
    -0.498654678232401 + 0.0*i,
    0.560807856841712 + 0.0*i,
    -1.20843799805052 + 0.0*i,
    -1.0090364968201 + 0.0*i,
    0.307125405706422 + 0.0*i,
    -0.633655152372781 + 0.0*i,
    0.41009387658866 + 0.0*i,
    -0.17487342748655 + 0.0*i,
    -0.0959681646137933 + 0.0*i,
    -0.329361746445161 + 0.0*i,
    -0.127278492744882 + 0.0*i,
    -0.557006239196493 + 0.0*i,
    0.521593744814615 + 0.0*i,
    0.598365600270726 + 0.0*i,
    1.21039882051847 + 0.0*i,
    -0.0488001250781242 + 0.0*i,
    1.05593912515562 + 0.0*i,
    -0.0111501369931196 + 0.0*i,
    -0.517136838902285 + 0.0*i,
    0.0869324303576091 + 0.0*i,
    0.522791601411727 + 0.0*i,
    0.0415233154275523 + 0.0*i,
    0.386722149643726 + 0.0*i,
    -0.12185697914344 + 0.0*i,
    0.471015817647721 + 0.0*i,
    0.0205563186426601 + 0.0*i,
    -0.268906342393764 + 0.0*i,
    0.582482293404702 + 0.0*i,
    -0.242562984075439 + 0.0*i,
    0.354513295907748 + 0.0*i,
    0.45709320869006 + 0.0*i,
    -0.362929660176643 + 0.0*i,
    0.750994881732414 + 0.0*i,
    -0.512926376518548 + 0.0*i,
    -0.0915045576271672 + 0.0*i,
    0.145256408260426 + 0.0*i,
    -0.0903718260040499 + 0.0*i,
    0.482885448830938 + 0.0*i,
    -0.361595736942141 + 0.0*i,
    -0.0408567351185176 + 0.0*i,
    0.583974795247206 + 0.0*i,
    0.0128938843941783 + 0.0*i,
    0.198630604198323 + 0.0*i,
    0.264159662466764 + 0.0*i,
    0.294488851427386 + 0.0*i,
    0.0773391898682576 + 0.0*i,
    0.0221208305108415 + 0.0*i,
    -0.318002354817141 + 0.0*i,
    -0.223623258267265 + 0.0*i,
    -0.154500511264767 + 0.0*i,
    0.108528275416557 + 0.0*i,
    0.247372096326269 + 0.0*i,
    -0.160009053312104 + 0.0*i,
    0.15422567513131 + 0.0*i,
    -0.877550120610274 + 0.0*i,
    -0.36818449670283 + 0.0*i,
    -0.369613300499778 + 0.0*i,
    -0.699513780463537 + 0.0*i,
    -0.0943858688554469 + 0.0*i,
    0.735729790680065 + 0.0*i,
    -0.059776991980524 + 0.0*i,
    0.0267315949102971 + 0.0*i,
    -0.0849386499194304 + 0.0*i,
    0.0223952878656792 + 0.0*i,
    0.374867649719912 + 0.0*i,
    -0.277648317395782 + 0.0*i,
    -0.0706541969649801 + 0.0*i,
    -0.157318902209659 + 0.0*i,
    0.511847769861737 + 0.0*i,
    0.522402921657714 + 0.0*i,
    0.270844004399337 + 0.0*i,
    -0.77233558080758 + 0.0*i,
    0.232208875105789 + 0.0*i,
    -0.565139455032769 + 0.0*i,
    0.788360190369942 + 0.0*i,
    -0.101780575470017 + 0.0*i,
    0.0197374465535532 + 0.0*i,
    0.362575786802007 + 0.0*i,
    -0.0812912134444357 + 0.0*i,
    -0.20357682238415 + 0.0*i,
    0.498642374303648 + 0.0*i,
    0.284366974308872 + 0.0*i,
    0.255233405530319 + 0.0*i,
    -0.0428344659349846 + 0.0*i,
    -0.59745115808653 + 0.0*i,
    1.08187589408189 + 0.0*i,
    -0.0936698910797879 + 0.0*i,
    0.113716877226607 + 0.0*i,
    0.174227296514742 + 0.0*i,
    -0.14611698116976 + 0.0*i,
    0.26875250335886 + 0.0*i,
    0.0989004898247746 + 0.0*i,
    -0.162934925819475 + 0.0*i,
    0.475289362757145 + 0.0*i,
    -0.965351419858332 + 0.0*i,
    -0.638536008743495 + 0.0*i,
    0.351256611303274 + 0.0*i,
    0.559179106568189 + 0.0*i,
    0.375953825718895 + 0.0*i,
    0.0944197735699224 + 0.0*i,
    -0.424276055787082 + 0.0*i,
    0.200786878124488 + 0.0*i,
    1.18392567312948 + 0.0*i,
    0.4863340236299 + 0.0*i,
    0.314467041654201 + 0.0*i,
    -0.411869278056116 + 0.0*i,
    0.569661459843194 + 0.0*i,
    0.3722128912836 + 0.0*i,
    0.424684146270832 + 0.0*i,
    1.11957369291538 + 0.0*i,
    0.111201146311968 + 0.0*i,
    0.398480149916326 + 0.0*i,
    0.803763697724257 + 0.0*i,
    -0.334579955772393 + 0.0*i,
    0.815551257382931 + 0.0*i,
    0.164640203551776 + 0.0*i,
    0.885019448410454 + 0.0*i,
    -0.0736532336469664 + 0.0*i,
    0.807148555626545 + 0.0*i,
    -0.112673004256683 + 0.0*i,
    0.369160830371879 + 0.0*i,
    -0.301041387162765 + 0.0*i,
    -0.194945794530815 + 0.0*i,
    0.0899529730092389 + 0.0*i,
    -0.112927261897796 + 0.0*i,
    -0.542395793155775 + 0.0*i,
    0.311705368611393 + 0.0*i,
    0.200726979289726 + 0.0*i,
    -0.723289613045522 + 0.0*i,
    0.228615171557555 + 0.0*i,
    0.119721524187366 + 0.0*i,
    -1.21643264226248 + 0.0*i,
    -0.00808527187112866 + 0.0*i,
    -0.436151595661244 + 0.0*i,
    -0.243714248392266 + 0.0*i,
    0.347544014264621 + 0.0*i,
    0.0318366964200386 + 0.0*i,
    -0.889337622164809 + 0.0*i,
    0.0958909747540032 + 0.0*i,
    0.052676449857094 + 0.0*i,
    -0.15762406451234 + 0.0*i,
    -0.265120920134358 + 0.0*i,
    0.434912550140061 + 0.0*i,
    -0.16737500039617 + 0.0*i,
    0.35767450004032 + 0.0*i,
    0.352201027570462 + 0.0*i,
    0.179321532956884 + 0.0*i,
    0.158289637603344 + 0.0*i,
    -0.710842691520202 + 0.0*i,
    0.525136717247971 + 0.0*i,
    0.60990939764767 + 0.0*i,
    -0.269088684795384 + 0.0*i,
    0.610162144590083 + 0.0*i,
    0.0563604724794157 + 0.0*i,
    -0.19034375527723 + 0.0*i,
    -0.0233913841628474 + 0.0*i,
    -1.31186688206476 + 0.0*i,
    -0.79768433301237 + 0.0*i,
    0.606115705543216 + 0.0*i,
    0.14983205190122 + 0.0*i,
    -0.238754648788761 + 0.0*i,
    1.14316879817042 + 0.0*i,
    0.467992308719483 + 0.0*i,
    0.307259018945316 + 0.0*i,
    -0.122196265416319 + 0.0*i,
    0.366134250237385 + 0.0*i,
    0.208494759829516 + 0.0*i,
    -0.925188084518522 + 0.0*i,
    -0.0464863088898788 + 0.0*i,
    0.872948383899369 + 0.0*i,
    0.406619877201015 + 0.0*i,
    0.909839974305048 + 0.0*i,
    -0.123212574635296 + 0.0*i,
    -0.530210529638175 + 0.0*i,
    -0.369319707911275 + 0.0*i,
    -0.282726738117719 + 0.0*i,
    0.343654245022269 + 0.0*i,
    -0.127465380566604 + 0.0*i,
    -0.877156495138862 + 0.0*i,
    0.0134865372306342 + 0.0*i,
    0.428881848289728 + 0.0*i,
    0.2577594466045 + 0.0*i,
    0.2451677475612 + 0.0*i,
    -0.778975182971603 + 0.0*i,
    -0.0456300362155834 + 0.0*i,
    0.149092107641268 + 0.0*i,
    0.224733900941821 + 0.0*i,
    -0.615851288145915 + 0.0*i,
    -0.336235135073918 + 0.0*i,
    0.0846761751261496 + 0.0*i,
    -0.32494050690756 + 0.0*i,
    -0.382672118278697 + 0.0*i,
    -0.397507144007204 + 0.0*i,
    0.319475697427557 + 0.0*i,
    0.245850102638998 + 0.0*i,
    -0.0974174794525162 + 0.0*i,
    0.137821343890882 + 0.0*i,
    -0.0125070359673376 + 0.0*i,
    -0.574455849644609 + 0.0*i,
    0.07560200622252 + 0.0*i,
    0.212268005683028 + 0.0*i,
    0.181095783819824 + 0.0*i,
    0.49506247717398 + 0.0*i,
    -0.504822217146774 + 0.0*i,
    0.335846830716961 + 0.0*i,
    0.487339730925389 + 0.0*i,
    0.341060293201713 + 0.0*i,
    0.955547516439224 + 0.0*i,
    -0.404278166786438 + 0.0*i,
    -0.111367620804652 + 0.0*i,
    -0.128781379819894 + 0.0*i,
    0.489047573583521 + 0.0*i,
    -0.433294500157379 + 0.0*i,
    -1.20756683565422 + 0.0*i,
    -0.495854831086746 + 0.0*i,
    -1.02965404702999 + 0.0*i,
    0.407622702658128 + 0.0*i,
    0.828797253843517 + 0.0*i,
    -0.54601566398465 + 0.0*i,
    -0.238083604528395 + 0.0*i,
    0.289673264296127 + 0.0*i,
    -0.510181368055634 + 0.0*i,
    0.116020458358481 + 0.0*i,
    0.304019181243489 + 0.0*i,
    -0.114715155481348 + 0.0*i,
    -0.627470610641995 + 0.0*i,
    -1.00700687837711 + 0.0*i,
    -0.808525141046968 + 0.0*i,
    0.516139760121789 + 0.0*i,
    -0.659700088518983 + 0.0*i,
    0.705056726440632 + 0.0*i,
    -0.487806591335255 + 0.0*i,
    -0.465546384221446 + 0.0*i,
    1.08348793056154 + 0.0*i,
    0.412880094220647 + 0.0*i,
    -0.15308186146611 + 0.0*i,
    -0.011076787372061 + 0.0*i,
    -0.512022339170855 + 0.0*i,
    -0.0671134179782798 + 0.0*i,
    0.5337300449556 + 0.0*i,
    0.695402382443958 + 0.0*i,
    0.22057445363366 + 0.0*i,
    0.47115255110119 + 0.0*i,
    -0.886439410311926 + 0.0*i,
    -1.05793551754904 + 0.0*i,
    -0.236844793039583 + 0.0*i,
    0.738451904859371 + 0.0*i,
    -0.779009939345488 + 0.0*i,
    -0.352159564164684 + 0.0*i,
    -0.384667510287566 + 0.0*i,
    -0.35666824447524 + 0.0*i,
    -0.211073015218068 + 0.0*i,
    -0.656838663586306 + 0.0*i,
    -0.689129184066441 + 0.0*i,
    -0.0915163273700963 + 0.0*i,
    0.189561047602426 + 0.0*i,
    0.726416492201439 + 0.0*i,
    -0.400548673258074 + 0.0*i,
    0.126510541355639 + 0.0*i,
    -0.0187835867307515 + 0.0*i,
    0.397202560303772 + 0.0*i,
    -0.0839423135937265 + 0.0*i,
    0.383621536546084 + 0.0*i,
    0.221066668708979 + 0.0*i,
    -0.552303326227734 + 0.0*i,
    -0.0134272271605617 + 0.0*i,
    -0.602772739282608 + 0.0*i,
    -0.150112740194561 + 0.0*i,
    0.237690861564868 + 0.0*i,
    -0.22908425349086 + 0.0*i,
    0.73951263854189 + 0.0*i,
    -0.553541682198458 + 0.0*i,
    -0.336632073587028 + 0.0*i,
    0.709137322249837 + 0.0*i,
    -0.0342648020984912 + 0.0*i,
    -0.47969510719349 + 0.0*i,
    0.685785260802749 + 0.0*i,
    -0.408482602125609 + 0.0*i,
    0.640476617016812 + 0.0*i,
    0.194562715092741 + 0.0*i,
    0.254236908588729 + 0.0*i,
    0.149601222697353 + 0.0*i,
    0.30096630866161 + 0.0*i,
    0.0839125050103633 + 0.0*i,
    0.606319443936279 + 0.0*i,
    -0.256174649084914 + 0.0*i,
    0.262016872150234 + 0.0*i,
    0.635524997903541 + 0.0*i,
    0.477651726114797 + 0.0*i,
    -0.83324510353893 + 0.0*i,
    -1.03691106853672 + 0.0*i,
    0.58856169691988 + 0.0*i,
    -1.17296224092951 + 0.0*i,
    0.545600219440719 + 0.0*i,
    0.150272465510592 + 0.0*i,
    -0.103776199569853 + 0.0*i,
    0.666475883226507 + 0.0*i,
    -0.44473644527115 + 0.0*i,
    0.89298275087924 + 0.0*i,
    0.764927511533863 + 0.0*i,
    -1.12953439256177 + 0.0*i,
    0.347030148770015 + 0.0*i,
    -0.530020563685612 + 0.0*i,
    -0.00949237557809677 + 0.0*i,
    0.853347773482953 + 0.0*i,
    0.328343953157357 + 0.0*i,
    0.157513297301486 + 0.0*i,
    0.41795287318987 + 0.0*i
]);