V:=Matrix(CC,4,73,[
    0.273617440253248 + 0.0*i,
    0.26692913008564 + 0.0*i,
    0.151382065672037 + 0.0*i,
    0.985977734245045 + 0.0*i,
    -0.347089646054457 + 0.0*i,
    0.299562468329145 + 0.0*i,
    0.164750175917404 + 0.0*i,
    -0.265260242149243 + 0.0*i,
    -0.777926884518385 + 0.0*i,
    -0.0271550332200421 + 0.0*i,
    0.471402417027431 + 0.0*i,
    0.0981178876793891 + 0.0*i,
    -0.0459428787325933 + 0.0*i,
    0.28082193585522 + 0.0*i,
    -0.124705683927547 + 0.0*i,
    -0.0303099825788547 + 0.0*i,
    -0.832610492362784 + 0.0*i,
    -0.306341679778244 + 0.0*i,
    -0.688713418179919 + 0.0*i,
    0.942766930294901 + 0.0*i,
    -0.132072109495918 + 0.0*i,
    0.117968482304712 + 0.0*i,
    -0.191755706920563 + 0.0*i,
    0.468437975073572 + 0.0*i,
    -0.356622694551656 + 0.0*i,
    -0.00339825970547486 + 0.0*i,
    -0.180900273298179 + 0.0*i,
    0.200713257795968 + 0.0*i,
    0.853572700708275 + 0.0*i,
    -0.674163050630879 + 0.0*i,
    -0.432743196366323 + 0.0*i,
    0.708746813853966 + 0.0*i,
    -0.8615056155815 + 0.0*i,
    0.615232843641437 + 0.0*i,
    -0.539773485219867 + 0.0*i,
    0.245369635923012 + 0.0*i,
    -0.219669949654972 + 0.0*i,
    -0.119468817353792 + 0.0*i,
    0.801442448238638 + 0.0*i,
    0.222498862457757 + 0.0*i,
    0.47235710008203 + 0.0*i,
    0.791918937358287 + 0.0*i,
    -0.456577537059271 + 0.0*i,
    0.984986366629358 + 0.0*i,
    -0.55097445217413 + 0.0*i,
    0.444988374113933 + 0.0*i,
    -0.827525522675799 + 0.0*i,
    -0.0639505177686487 + 0.0*i,
    -0.504844496653126 + 0.0*i,
    0.412474663526915 + 0.0*i,
    -0.436551330964786 + 0.0*i,
    -0.309245846058745 + 0.0*i,
    0.152765135240464 + 0.0*i,
    0.322150982079404 + 0.0*i,
    -0.234711218724522 + 0.0*i,
    0.0683908763384649 + 0.0*i,
    -0.0126114835659661 + 0.0*i,
    0.473680681037638 + 0.0*i,
    -0.418348135163352 + 0.0*i,
    -0.368328167950107 + 0.0*i,
    0.448661622618931 + 0.0*i,
    1.19706314981223 + 0.0*i,
    0.511804032733077 + 0.0*i,
    -0.759662240246525 + 0.0*i,
    0.740546349898035 + 0.0*i,
    0.785615260026235 + 0.0*i,
    -0.186199167788022 + 0.0*i,
    -0.0243368885012528 + 0.0*i,
    -0.392158133050073 + 0.0*i,
    0.261860541021448 + 0.0*i,
    -0.823854133830012 + 0.0*i,
    -0.690839759579949 + 0.0*i,
    0.0410866194584079 + 0.0*i,
    0.351348456692033 + 0.0*i,
    0.143076286786132 + 0.0*i,
    -0.445739850024243 + 0.0*i,
    0.0838767483125798 + 0.0*i,
    -0.181208655582432 + 0.0*i,
    0.0221292811512736 + 0.0*i,
    -0.543579960597305 + 0.0*i,
    0.194897435659927 + 0.0*i,
    -0.16013069948 + 0.0*i,
    0.503155436441018 + 0.0*i,
    -0.627609791171238 + 0.0*i,
    -0.643045592433116 + 0.0*i,
    -0.17942984891547 + 0.0*i,
    -0.26888842096211 + 0.0*i,
    0.0814738991030159 + 0.0*i,
    1.22518540423406 + 0.0*i,
    -0.12969499693825 + 0.0*i,
    0.313540653639546 + 0.0*i,
    -0.787004836688528 + 0.0*i,
    0.18452498882501 + 0.0*i,
    -0.331238001471625 + 0.0*i,
    0.192393398579042 + 0.0*i,
    -0.833437350508942 + 0.0*i,
    -0.814486417043255 + 0.0*i,
    -0.229023873500317 + 0.0*i,
    -0.0920814943853019 + 0.0*i,
    0.713877611304359 + 0.0*i,
    0.634868672751598 + 0.0*i,
    0.516665965694061 + 0.0*i,
    0.542377303519113 + 0.0*i,
    -0.316041694450702 + 0.0*i,
    -0.227592718757524 + 0.0*i,
    0.0659337584684052 + 0.0*i,
    -0.123135154232756 + 0.0*i,
    0.827995388211939 + 0.0*i,
    0.760814651189865 + 0.0*i,
    -0.665113325132312 + 0.0*i,
    -0.70299497759334 + 0.0*i,
    0.402778254094191 + 0.0*i,
    -0.225172866722349 + 0.0*i,
    -0.561888425388695 + 0.0*i,
    -0.64373174644484 + 0.0*i,
    0.640956765740199 + 0.0*i,
    0.285753494398659 + 0.0*i,
    0.171006796600454 + 0.0*i,
    1.0925748284652 + 0.0*i,
    0.659437130628723 + 0.0*i,
    0.952159657057844 + 0.0*i,
    -0.439612932147899 + 0.0*i,
    0.55055819030573 + 0.0*i,
    0.114239299829295 + 0.0*i,
    0.0663407518740274 + 0.0*i,
    -0.702932791481778 + 0.0*i,
    -0.471982608812338 + 0.0*i,
    -0.459538073905197 + 0.0*i,
    0.123988302239084 + 0.0*i,
    -0.488756589011002 + 0.0*i,
    -0.330308083910437 + 0.0*i,
    -0.0657306642358167 + 0.0*i,
    0.322911705497138 + 0.0*i,
    0.75871934120394 + 0.0*i,
    -0.356108616110953 + 0.0*i,
    0.00528833225632554 + 0.0*i,
    0.0627740685320896 + 0.0*i,
    -0.628117320144948 + 0.0*i,
    -0.258000640032297 + 0.0*i,
    0.573539716657636 + 0.0*i,
    -0.396006824852865 + 0.0*i,
    -0.51478707101475 + 0.0*i,
    0.830655478237129 + 0.0*i,
    -0.558735735683976 + 0.0*i,
    -0.131939893410237 + 0.0*i,
    -0.232981043459494 + 0.0*i,
    0.0195957082772677 + 0.0*i,
    -0.227996584908368 + 0.0*i,
    1.11893371549978 + 0.0*i,
    -0.0543314341467969 + 0.0*i,
    0.546953566359307 + 0.0*i,
    0.549525559125148 + 0.0*i,
    -0.276855754700022 + 0.0*i,
    0.00861838900265407 + 0.0*i,
    -0.289691219695343 + 0.0*i,
    0.0905691127449723 + 0.0*i,
    -0.460608084265357 + 0.0*i,
    0.124192568323016 + 0.0*i,
    0.89657234424354 + 0.0*i,
    0.333551746424508 + 0.0*i,
    -0.80851156179281 + 0.0*i,
    0.25578658190216 + 0.0*i,
    -0.0779755283442173 + 0.0*i,
    0.422027525896737 + 0.0*i,
    -0.0231309885073298 + 0.0*i,
    0.0200628492813057 + 0.0*i,
    0.493013006352639 + 0.0*i,
    -0.514928655411853 + 0.0*i,
    0.0933826526894097 + 0.0*i,
    0.250873264014421 + 0.0*i,
    -1.04982937284051 + 0.0*i,
    -0.799314568947882 + 0.0*i,
    0.828741345846099 + 0.0*i,
    0.84697448681104 + 0.0*i,
    0.731638457357034 + 0.0*i,
    0.242165305407339 + 0.0*i,
    0.545256022818613 + 0.0*i,
    0.885874892477065 + 0.0*i,
    0.786347443502287 + 0.0*i,
    0.10978431728477 + 0.0*i,
    -0.131138491047616 + 0.0*i,
    0.804399606487517 + 0.0*i,
    0.166743645213868 + 0.0*i,
    0.706149020597908 + 0.0*i,
    0.135094294407377 + 0.0*i,
    0.289754195108642 + 0.0*i,
    0.117512777956708 + 0.0*i,
    0.218257174407387 + 0.0*i,
    0.379134864347641 + 0.0*i,
    -0.451319017039044 + 0.0*i,
    -0.0467164422160543 + 0.0*i,
    -0.202495953225899 + 0.0*i,
    0.573509041939668 + 0.0*i,
    -0.619108343624498 + 0.0*i,
    0.412387871210813 + 0.0*i,
    -0.549262345877623 + 0.0*i,
    0.82036434537776 + 0.0*i,
    -0.994059281554315 + 0.0*i,
    -0.448174407721035 + 0.0*i,
    -0.480603685097305 + 0.0*i,
    0.877573068917577 + 0.0*i,
    -0.552603983251495 + 0.0*i,
    0.316939090309376 + 0.0*i,
    0.859414765551796 + 0.0*i,
    0.0585963780457758 + 0.0*i,
    -0.154316176284134 + 0.0*i,
    -0.245137157201998 + 0.0*i,
    0.0515069020322564 + 0.0*i,
    -1.03563369734916 + 0.0*i,
    0.13200860637191 + 0.0*i,
    0.435849911682497 + 0.0*i,
    -0.313758250715639 + 0.0*i,
    -0.0597387325733519 + 0.0*i,
    -0.0266943985122181 + 0.0*i,
    0.353933697146734 + 0.0*i,
    0.0618385832961312 + 0.0*i,
    0.121602980430325 + 0.0*i,
    0.235620963396862 + 0.0*i,
    -0.681808847388874 + 0.0*i,
    -0.50424088305333 + 0.0*i,
    -0.833519295539056 + 0.0*i,
    0.400736574036654 + 0.0*i,
    -0.36322522599209 + 0.0*i,
    -0.41463646778116 + 0.0*i,
    -0.352635078117955 + 0.0*i,
    -0.0118643756981881 + 0.0*i,
    0.173441989160816 + 0.0*i,
    -0.0328128066744455 + 0.0*i,
    0.679260229137085 + 0.0*i,
    -0.401176824285608 + 0.0*i,
    0.206610934506012 + 0.0*i,
    -0.0302942628588616 + 0.0*i,
    -0.695003036187166 + 0.0*i,
    1.20228542486257 + 0.0*i,
    -0.0329101207585322 + 0.0*i,
    -1.02257137247953 + 0.0*i,
    -0.0726086140475125 + 0.0*i,
    0.104898630562207 + 0.0*i,
    0.0532027152080379 + 0.0*i,
    -0.0877804791019044 + 0.0*i,
    -0.600830024882987 + 0.0*i,
    0.314999296759323 + 0.0*i,
    -0.683549526356578 + 0.0*i,
    0.0435487897596843 + 0.0*i,
    0.150668510142278 + 0.0*i,
    -0.196131549739408 + 0.0*i,
    0.0189492588023094 + 0.0*i,
    -0.0853336421670568 + 0.0*i,
    0.350945941602841 + 0.0*i,
    -0.204999714459826 + 0.0*i,
    -0.563985657110678 + 0.0*i,
    0.453989436165438 + 0.0*i,
    0.163890006229245 + 0.0*i,
    0.230590781078491 + 0.0*i,
    0.56858348968763 + 0.0*i,
    0.690240689415093 + 0.0*i,
    -0.453147857569473 + 0.0*i,
    0.0471973082577518 + 0.0*i,
    0.298733741473645 + 0.0*i,
    -0.0660634207085727 + 0.0*i,
    -0.170441346158608 + 0.0*i,
    0.492570167071039 + 0.0*i,
    0.104900016643084 + 0.0*i,
    0.296839323077785 + 0.0*i,
    0.540963279261227 + 0.0*i,
    -0.506241955955314 + 0.0*i,
    0.121903604758017 + 0.0*i,
    0.286974910659931 + 0.0*i,
    -0.461735224426619 + 0.0*i,
    0.05553161229591 + 0.0*i,
    -0.594387626338452 + 0.0*i,
    0.852761905486304 + 0.0*i,
    -0.193175125358338 + 0.0*i,
    0.437698578688168 + 0.0*i,
    -0.378428920993318 + 0.0*i,
    -0.531483767292959 + 0.0*i,
    0.354069594779178 + 0.0*i,
    0.451047296174813 + 0.0*i,
    0.373146989954623 + 0.0*i,
    -0.245451701434016 + 0.0*i,
    -0.0148472487774391 + 0.0*i,
    0.463404535453612 + 0.0*i,
    0.263359319688434 + 0.0*i,
    0.701113576334819 + 0.0*i,
    -0.260261337339945 + 0.0*i,
    -0.269856584914747 + 0.0*i,
    0.496782912137325 + 0.0*i,
    -0.192533142304838 + 0.0*i,
    -0.857967096357197 + 0.0*i,
    -0.440255915992918 + 0.0*i,
    0.992675096367137 + 0.0*i,
    -1.31292688093446 + 0.0*i
]);