V:=Matrix(CC,4,72,[
    1.02993767898924 + 0.0*i,
    0.429871156525781 + 0.0*i,
    0.578497862244279 + 0.0*i,
    0.158636777321451 + 0.0*i,
    -0.969045313623035 + 0.0*i,
    -0.71492073758994 + 0.0*i,
    0.579408269100355 + 0.0*i,
    0.046603045514858 + 0.0*i,
    -0.141427107109047 + 0.0*i,
    0.409586602197944 + 0.0*i,
    -0.0791788796846659 + 0.0*i,
    -0.199571560631611 + 0.0*i,
    0.244511070566299 + 0.0*i,
    0.236086063794817 + 0.0*i,
    0.0144844546390547 + 0.0*i,
    -0.119702156050455 + 0.0*i,
    -0.00625701486502895 + 0.0*i,
    0.454698877211876 + 0.0*i,
    -0.213872509329621 + 0.0*i,
    -0.269504425908305 + 0.0*i,
    -0.763664440696744 + 0.0*i,
    0.761448763069814 + 0.0*i,
    -1.06676246173889 + 0.0*i,
    -0.441809207772239 + 0.0*i,
    0.309164368352947 + 0.0*i,
    0.408180667071209 + 0.0*i,
    -0.148512955931295 + 0.0*i,
    0.0830423225331885 + 0.0*i,
    -0.343169720193054 + 0.0*i,
    -0.649086952880039 + 0.0*i,
    -0.300666300865175 + 0.0*i,
    -0.601103108853915 + 0.0*i,
    -0.099619317322741 + 0.0*i,
    0.180934912917885 + 0.0*i,
    -0.664126003211259 + 0.0*i,
    0.442996614837071 + 0.0*i,
    -0.422617302974511 + 0.0*i,
    -0.664918489504573 + 0.0*i,
    0.39696846909375 + 0.0*i,
    0.696028951152072 + 0.0*i,
    -0.631480570707893 + 0.0*i,
    0.351867338367413 + 0.0*i,
    0.423641276576791 + 0.0*i,
    0.355521244447964 + 0.0*i,
    -0.23775471145086 + 0.0*i,
    -0.32145230228794 + 0.0*i,
    0.673585492854701 + 0.0*i,
    0.163757205448161 + 0.0*i,
    0.497102237609138 + 0.0*i,
    -0.0823349116940083 + 0.0*i,
    -0.445726680544442 + 0.0*i,
    1.12462086937771 + 0.0*i,
    -0.205391379095959 + 0.0*i,
    0.394143426105255 + 0.0*i,
    -0.801857720928867 + 0.0*i,
    -0.969000180927194 + 0.0*i,
    -0.0814743288953474 + 0.0*i,
    0.115788203689075 + 0.0*i,
    -0.135508334599979 + 0.0*i,
    -0.180963073784281 + 0.0*i,
    -1.05734094603784 + 0.0*i,
    0.158384604975171 + 0.0*i,
    0.531993280931708 + 0.0*i,
    0.296432598570172 + 0.0*i,
    -0.100378661766975 + 0.0*i,
    -0.766057281976108 + 0.0*i,
    0.953980075262988 + 0.0*i,
    0.75880254200793 + 0.0*i,
    -1.0652004590244 + 0.0*i,
    0.452626791233344 + 0.0*i,
    -0.33819838001324 + 0.0*i,
    0.145829547739939 + 0.0*i,
    -0.680962741377222 + 0.0*i,
    -0.501001363332087 + 0.0*i,
    -0.619511741103919 + 0.0*i,
    0.957105291810333 + 0.0*i,
    0.0224427758922781 + 0.0*i,
    0.483760005531427 + 0.0*i,
    0.0135081509728422 + 0.0*i,
    -0.210002992823899 + 0.0*i,
    0.63111885262145 + 0.0*i,
    -0.789500046316573 + 0.0*i,
    -0.0824245619272719 + 0.0*i,
    -0.347453090596395 + 0.0*i,
    0.304997500392634 + 0.0*i,
    -0.175073947673901 + 0.0*i,
    0.07591237805442 + 0.0*i,
    -0.36080013675482 + 0.0*i,
    -0.742149014874513 + 0.0*i,
    0.723698651076737 + 0.0*i,
    0.187781272489808 + 0.0*i,
    0.273512424711807 + 0.0*i,
    -0.400453654502966 + 0.0*i,
    0.185755991313205 + 0.0*i,
    0.035125681759736 + 0.0*i,
    0.352499094140933 + 0.0*i,
    0.0190064156807218 + 0.0*i,
    -0.811829609040807 + 0.0*i,
    0.0897139142503652 + 0.0*i,
    -0.178510357374935 + 0.0*i,
    0.362037349336144 + 0.0*i,
    -0.102087136752099 + 0.0*i,
    -0.449480697505616 + 0.0*i,
    -0.22290811845374 + 0.0*i,
    -0.132660922156399 + 0.0*i,
    1.29065638115446 + 0.0*i,
    -0.767877815079328 + 0.0*i,
    -0.406786092407197 + 0.0*i,
    0.212658724718033 + 0.0*i,
    0.184498018224896 + 0.0*i,
    -0.445618169554788 + 0.0*i,
    -0.165462796738665 + 0.0*i,
    -0.415540753280354 + 0.0*i,
    -0.581028796727189 + 0.0*i,
    -0.28860860707662 + 0.0*i,
    -0.900012264212053 + 0.0*i,
    -0.308233829621458 + 0.0*i,
    -0.491311316800633 + 0.0*i,
    -0.348249501106287 + 0.0*i,
    -0.0603775359717252 + 0.0*i,
    -0.337103280573418 + 0.0*i,
    -0.179516706459648 + 0.0*i,
    -0.79136944845995 + 0.0*i,
    -0.00691566190260683 + 0.0*i,
    0.647739650766597 + 0.0*i,
    0.122808073785774 + 0.0*i,
    -1.05182674871896 + 0.0*i,
    -0.15893030044037 + 0.0*i,
    -0.467738682825184 + 0.0*i,
    -0.411491180909339 + 0.0*i,
    0.222005672151414 + 0.0*i,
    0.298104677440525 + 0.0*i,
    -0.262776300757525 + 0.0*i,
    0.127557521052237 + 0.0*i,
    0.480442765188016 + 0.0*i,
    0.84984950729984 + 0.0*i,
    -0.376030216648759 + 0.0*i,
    -0.0407204438414422 + 0.0*i,
    -0.307088042967894 + 0.0*i,
    -0.700029205591031 + 0.0*i,
    -0.128919974321688 + 0.0*i,
    -0.065756321879242 + 0.0*i,
    0.603135230753804 + 0.0*i,
    -1.13285186857486 + 0.0*i,
    -0.190332774117594 + 0.0*i,
    -0.196215392751463 + 0.0*i,
    -0.0896351247108064 + 0.0*i,
    0.453026269479512 + 0.0*i,
    -0.0382767039934362 + 0.0*i,
    -0.80073620387663 + 0.0*i,
    0.755776207680407 + 0.0*i,
    0.450857792993058 + 0.0*i,
    -0.389257807469686 + 0.0*i,
    0.345701725674876 + 0.0*i,
    -0.207813628953612 + 0.0*i,
    0.422568329372098 + 0.0*i,
    -0.090795916185975 + 0.0*i,
    0.27341165788609 + 0.0*i,
    0.830278131518107 + 0.0*i,
    -0.589431269073982 + 0.0*i,
    -0.231764060467261 + 0.0*i,
    -0.257257815842353 + 0.0*i,
    0.0254056984176374 + 0.0*i,
    0.801168219966019 + 0.0*i,
    -0.435333373568879 + 0.0*i,
    -0.0114530580457821 + 0.0*i,
    -0.311921977138327 + 0.0*i,
    -0.179716549644965 + 0.0*i,
    0.0173395606179059 + 0.0*i,
    -0.687569644010269 + 0.0*i,
    0.12307458808634 + 0.0*i,
    0.555781035890498 + 0.0*i,
    -0.593808606857384 + 0.0*i,
    0.250528716292628 + 0.0*i,
    0.0932032999865091 + 0.0*i,
    0.0492763216460714 + 0.0*i,
    0.86516155694597 + 0.0*i,
    -0.0642344966147732 + 0.0*i,
    -0.630461132497749 + 0.0*i,
    0.186448540734313 + 0.0*i,
    0.36964544386491 + 0.0*i,
    0.205488605314333 + 0.0*i,
    -1.11210699337489 + 0.0*i,
    0.759376068417002 + 0.0*i,
    0.0731407404828157 + 0.0*i,
    0.539955842022627 + 0.0*i,
    -0.544497431351155 + 0.0*i,
    0.0125147199163497 + 0.0*i,
    -0.145979009512805 + 0.0*i,
    -0.885314978094915 + 0.0*i,
    -0.819658397386468 + 0.0*i,
    0.035989390006328 + 0.0*i,
    -0.247802625379037 + 0.0*i,
    0.286869591540786 + 0.0*i,
    1.11751336741814 + 0.0*i,
    -0.548760363088453 + 0.0*i,
    0.577604915467128 + 0.0*i,
    1.41882357273138 + 0.0*i,
    0.0415896960596635 + 0.0*i,
    0.306160508005953 + 0.0*i,
    -0.236439597312644 + 0.0*i,
    -0.341977452355195 + 0.0*i,
    -0.0345345642209385 + 0.0*i,
    -0.559453976574357 + 0.0*i,
    0.0696032865508938 + 0.0*i,
    -0.503569826538757 + 0.0*i,
    -0.124149718466288 + 0.0*i,
    -0.280632945284767 + 0.0*i,
    -0.558248364346187 + 0.0*i,
    -0.447806032625187 + 0.0*i,
    0.0143179262871469 + 0.0*i,
    0.532963311893641 + 0.0*i,
    -0.0946592030500195 + 0.0*i,
    -0.00219474033205845 + 0.0*i,
    -0.393630859720028 + 0.0*i,
    0.0389409385663273 + 0.0*i,
    -0.284653731371683 + 0.0*i,
    0.364503714268274 + 0.0*i,
    0.223702751644561 + 0.0*i,
    0.344269532233412 + 0.0*i,
    -0.482080930243567 + 0.0*i,
    0.581136477307173 + 0.0*i,
    0.508845441068518 + 0.0*i,
    -0.352416450894893 + 0.0*i,
    -0.44089275046769 + 0.0*i,
    -0.0303373509329252 + 0.0*i,
    -0.0297826893183579 + 0.0*i,
    -0.0240791579835432 + 0.0*i,
    -0.191621505718486 + 0.0*i,
    -0.583858627109982 + 0.0*i,
    0.936689124305537 + 0.0*i,
    -0.291264663041362 + 0.0*i,
    0.284616921460433 + 0.0*i,
    -0.876468507885947 + 0.0*i,
    -0.324300165877432 + 0.0*i,
    0.338857236958639 + 0.0*i,
    -0.294299826245574 + 0.0*i,
    -0.0720559930394332 + 0.0*i,
    -0.0274535080293846 + 0.0*i,
    0.135759955923158 + 0.0*i,
    0.493512564417675 + 0.0*i,
    0.67204363688532 + 0.0*i,
    -0.129939129462392 + 0.0*i,
    0.306574845001087 + 0.0*i,
    -0.603886707338425 + 0.0*i,
    0.429912983787121 + 0.0*i,
    0.340230657843155 + 0.0*i,
    -0.227905277825988 + 0.0*i,
    -0.959175604563615 + 0.0*i,
    0.0977696611706023 + 0.0*i,
    0.618912664297963 + 0.0*i,
    1.18404475954544 + 0.0*i,
    -0.597821439189093 + 0.0*i,
    -0.705623963007801 + 0.0*i,
    0.0665577721013516 + 0.0*i,
    0.238510500793006 + 0.0*i,
    0.486658780634463 + 0.0*i,
    0.0663556290793255 + 0.0*i,
    -0.464403093671274 + 0.0*i,
    -0.212780271299183 + 0.0*i,
    0.126391580744988 + 0.0*i,
    -0.434733747772135 + 0.0*i,
    -0.389929325080614 + 0.0*i,
    -0.188638145829644 + 0.0*i,
    -0.720924146907569 + 0.0*i,
    -0.297600831243221 + 0.0*i,
    0.159695104557183 + 0.0*i,
    0.385057144507666 + 0.0*i,
    0.292007550682342 + 0.0*i,
    -0.112997338038462 + 0.0*i,
    -0.45936420806748 + 0.0*i,
    0.402055057858239 + 0.0*i,
    -0.906345289922181 + 0.0*i,
    -0.248483750123385 + 0.0*i,
    0.658308774161398 + 0.0*i,
    -0.662647249900787 + 0.0*i,
    -0.0488076261307546 + 0.0*i,
    0.832160286163517 + 0.0*i,
    0.910567498739209 + 0.0*i,
    0.840006111298408 + 0.0*i,
    -0.371044316209787 + 0.0*i,
    0.343138742263989 + 0.0*i,
    -0.441738297699149 + 0.0*i,
    0.391071565978866 + 0.0*i,
    0.234650098390931 + 0.0*i,
    -1.27937016651101 + 0.0*i,
    0.364388882635012 + 0.0*i,
    0.551412875649108 + 0.0*i
]);