V:=Matrix(CC,4,56,[
    -0.324330895338446 + 0.0*i,
    -0.624157017532989 + 0.0*i,
    0.128053849925234 + 0.0*i,
    -0.225983647500801 + 0.0*i,
    -0.261531937166397 + 0.0*i,
    -0.84821129185576 + 0.0*i,
    -0.752693978709032 + 0.0*i,
    -1.2453730747248 + 0.0*i,
    0.0775727435904707 + 0.0*i,
    -0.597013471408081 + 0.0*i,
    0.13882808976191 + 0.0*i,
    -0.203670582841461 + 0.0*i,
    -0.134477648922833 + 0.0*i,
    0.468464369279301 + 0.0*i,
    0.0395775845764443 + 0.0*i,
    -0.368091046752641 + 0.0*i,
    -0.21437775415697 + 0.0*i,
    0.115277963485353 + 0.0*i,
    -0.672135466567787 + 0.0*i,
    -0.858431993241944 + 0.0*i,
    0.216421328058693 + 0.0*i,
    -0.0495713376855006 + 0.0*i,
    1.010804311223 + 0.0*i,
    0.00790329503787934 + 0.0*i,
    -0.632222897759745 + 0.0*i,
    0.435640599900995 + 0.0*i,
    0.193770964181663 + 0.0*i,
    0.399497965854097 + 0.0*i,
    -0.470109831556202 + 0.0*i,
    -0.16792036287739 + 0.0*i,
    0.0977075855778465 + 0.0*i,
    0.404516726725874 + 0.0*i,
    0.736966793899954 + 0.0*i,
    0.0680389119681285 + 0.0*i,
    -0.16252668585055 + 0.0*i,
    -0.645608572537856 + 0.0*i,
    0.231706881055323 + 0.0*i,
    0.0168491743204761 + 0.0*i,
    -0.311563334501933 + 0.0*i,
    -0.346322242424575 + 0.0*i,
    0.534343352633249 + 0.0*i,
    -0.0582234392638519 + 0.0*i,
    0.966506889492933 + 0.0*i,
    -0.106182067209046 + 0.0*i,
    -0.567764786509729 + 0.0*i,
    0.570160911032443 + 0.0*i,
    0.990192065412222 + 0.0*i,
    -0.410626216097822 + 0.0*i,
    0.000913465020669606 + 0.0*i,
    0.393591086759098 + 0.0*i,
    -0.228487575820155 + 0.0*i,
    -0.916266623979985 + 0.0*i,
    0.0497139678918101 + 0.0*i,
    0.761348211759706 + 0.0*i,
    0.451570443894125 + 0.0*i,
    0.303238514894605 + 0.0*i,
    -0.432221667553797 + 0.0*i,
    -0.946776232062373 + 0.0*i,
    -0.729409072512245 + 0.0*i,
    0.0651447177541225 + 0.0*i,
    0.236215613256494 + 0.0*i,
    -1.087357253314 + 0.0*i,
    -0.122494127797469 + 0.0*i,
    0.502725143635143 + 0.0*i,
    0.0289049768113159 + 0.0*i,
    0.460461970197158 + 0.0*i,
    0.156748505288192 + 0.0*i,
    -0.916605410172221 + 0.0*i,
    0.124486805576646 + 0.0*i,
    0.0344914289440982 + 0.0*i,
    1.06925530949408 + 0.0*i,
    -0.0577154533265618 + 0.0*i,
    -0.0231661579249951 + 0.0*i,
    0.36216298578829 + 0.0*i,
    0.440623130899095 + 0.0*i,
    0.142304542808233 + 0.0*i,
    0.205505150148528 + 0.0*i,
    0.0401601110178029 + 0.0*i,
    0.111753151643131 + 0.0*i,
    0.0939884837807819 + 0.0*i,
    0.503773301934609 + 0.0*i,
    0.181216226410071 + 0.0*i,
    0.108729010114533 + 0.0*i,
    -0.147311501063867 + 0.0*i,
    -0.097952679816758 + 0.0*i,
    0.115161147146345 + 0.0*i,
    -0.888398670566878 + 0.0*i,
    -0.549739938745273 + 0.0*i,
    -0.260257385354844 + 0.0*i,
    0.0343859536743987 + 0.0*i,
    -0.0469466862885662 + 0.0*i,
    -0.150364798017491 + 0.0*i,
    -0.509303366823043 + 0.0*i,
    0.586930801894748 + 0.0*i,
    -0.038456581235515 + 0.0*i,
    0.81542091639346 + 0.0*i,
    -1.02369313419414 + 0.0*i,
    0.0843387534271514 + 0.0*i,
    0.367179951646046 + 0.0*i,
    0.242917724529139 + 0.0*i,
    -0.743922663471486 + 0.0*i,
    -0.371208957344425 + 0.0*i,
    0.528662647395102 + 0.0*i,
    0.0237691043912026 + 0.0*i,
    0.492658633143691 + 0.0*i,
    0.381254672462624 + 0.0*i,
    0.47376242859661 + 0.0*i,
    -0.333540538336727 + 0.0*i,
    0.505239537181627 + 0.0*i,
    -0.409311957729398 + 0.0*i,
    1.1879806598808 + 0.0*i,
    -0.498921528149259 + 0.0*i,
    -0.368592617857093 + 0.0*i,
    0.0117083027436011 + 0.0*i,
    -0.120507225291017 + 0.0*i,
    0.788242673974031 + 0.0*i,
    -0.37495723980709 + 0.0*i,
    -0.641426275613077 + 0.0*i,
    0.233709332189409 + 0.0*i,
    0.565907478550911 + 0.0*i,
    0.584797040642394 + 0.0*i,
    0.159371160897635 + 0.0*i,
    -0.0698610450508635 + 0.0*i,
    0.242283524189112 + 0.0*i,
    -0.347056753195763 + 0.0*i,
    0.240528526141971 + 0.0*i,
    -0.140239260968624 + 0.0*i,
    0.924738002040909 + 0.0*i,
    -0.538059586844054 + 0.0*i,
    1.00058949192163 + 0.0*i,
    0.483923993974399 + 0.0*i,
    0.844714187153864 + 0.0*i,
    -0.409180306670669 + 0.0*i,
    -0.639452934075505 + 0.0*i,
    -0.424632858861006 + 0.0*i,
    0.0705216644539644 + 0.0*i,
    -0.28140367486004 + 0.0*i,
    -0.567640678516546 + 0.0*i,
    0.213693579193111 + 0.0*i,
    0.530463292656632 + 0.0*i,
    -0.235420016426067 + 0.0*i,
    -0.390459363841486 + 0.0*i,
    0.169365085560319 + 0.0*i,
    -0.254172927197859 + 0.0*i,
    -0.450264966639328 + 0.0*i,
    0.365667158093257 + 0.0*i,
    0.143016617079913 + 0.0*i,
    -1.01836465941198 + 0.0*i,
    -0.0232976250315791 + 0.0*i,
    0.264352991608937 + 0.0*i,
    -0.304325867936091 + 0.0*i,
    0.302385334432642 + 0.0*i,
    -0.256567712099487 + 0.0*i,
    -0.743268594479889 + 0.0*i,
    -0.344078443491154 + 0.0*i,
    -0.270762633869673 + 0.0*i,
    0.269120167604249 + 0.0*i,
    -0.329153305700469 + 0.0*i,
    0.401133222273445 + 0.0*i,
    0.52155896020982 + 0.0*i,
    -1.12175282076448 + 0.0*i,
    -0.0859950364597488 + 0.0*i,
    -0.0837215259205083 + 0.0*i,
    0.00157113462958061 + 0.0*i,
    0.627962329297787 + 0.0*i,
    -0.295003307777539 + 0.0*i,
    -0.152666660947744 + 0.0*i,
    -0.401584573502787 + 0.0*i,
    0.940177704769445 + 0.0*i,
    0.189550194935652 + 0.0*i,
    -0.571009928730195 + 0.0*i,
    0.13524825591759 + 0.0*i,
    -0.0636227361838935 + 0.0*i,
    0.126761837485942 + 0.0*i,
    -0.345822944855778 + 0.0*i,
    1.18412936380295 + 0.0*i,
    0.359478478623257 + 0.0*i,
    0.582954796527393 + 0.0*i,
    0.149995019103848 + 0.0*i,
    -0.61504557126418 + 0.0*i,
    -0.377197784281879 + 0.0*i,
    -0.864835077450516 + 0.0*i,
    0.376200662631527 + 0.0*i,
    0.741458790210383 + 0.0*i,
    -0.295597675100278 + 0.0*i,
    0.228055615675745 + 0.0*i,
    0.691797093523041 + 0.0*i,
    0.0713205766879945 + 0.0*i,
    -0.832049017112859 + 0.0*i,
    -0.53306696508421 + 0.0*i,
    -0.216340796507647 + 0.0*i,
    -0.307208235241433 + 0.0*i,
    -0.321049526599971 + 0.0*i,
    -0.492992262113894 + 0.0*i,
    0.617031344321145 + 0.0*i,
    -0.785982273217019 + 0.0*i,
    -0.35962400114799 + 0.0*i,
    0.0695387534159182 + 0.0*i,
    0.465378581792328 + 0.0*i,
    -0.251274444197829 + 0.0*i,
    -0.221147450608047 + 0.0*i,
    -0.0638396898294557 + 0.0*i,
    0.0994738584424365 + 0.0*i,
    -0.419667237952079 + 0.0*i,
    -0.484542841269937 + 0.0*i,
    1.7166393020717 + 0.0*i,
    -0.297239898578599 + 0.0*i,
    1.09520221285849 + 0.0*i,
    0.289415675084122 + 0.0*i,
    -0.167363226536376 + 0.0*i,
    0.377002868081125 + 0.0*i,
    0.376330729954137 + 0.0*i,
    0.430262558769683 + 0.0*i,
    0.868341211345584 + 0.0*i,
    -0.175639016612995 + 0.0*i,
    -0.23811239320908 + 0.0*i,
    -0.691831787974865 + 0.0*i,
    -0.382440419905312 + 0.0*i,
    0.578968686214059 + 0.0*i,
    -0.183403170836125 + 0.0*i,
    -0.424770613670725 + 0.0*i,
    0.251152358435056 + 0.0*i,
    0.108030327029091 + 0.0*i,
    0.163331064072669 + 0.0*i
]);