V:=Matrix(CC,4,54,[
    -0.31610792113563 + 0.0*i,
    1.04188422752168 + 0.0*i,
    0.730088983010829 + 0.0*i,
    0.437843900709782 + 0.0*i,
    0.0993914842771526 + 0.0*i,
    0.260886906635554 + 0.0*i,
    0.0995963414873243 + 0.0*i,
    -0.762722884608829 + 0.0*i,
    0.635943622015415 + 0.0*i,
    -0.231934905669607 + 0.0*i,
    0.102114463440807 + 0.0*i,
    0.375944452065132 + 0.0*i,
    0.0622664265743503 + 0.0*i,
    0.225464430905295 + 0.0*i,
    -0.841594974734093 + 0.0*i,
    0.786506095820245 + 0.0*i,
    0.845733123283748 + 0.0*i,
    -0.455609908762199 + 0.0*i,
    -0.0279288733433642 + 0.0*i,
    0.12794065282053 + 0.0*i,
    0.114528705705185 + 0.0*i,
    0.726881267287547 + 0.0*i,
    -0.257049511625956 + 0.0*i,
    -0.723003942318736 + 0.0*i,
    0.712014341967871 + 0.0*i,
    0.222865779584828 + 0.0*i,
    -0.750532749361177 + 0.0*i,
    -0.2986245377902 + 0.0*i,
    0.578539320678618 + 0.0*i,
    -0.437469034724493 + 0.0*i,
    -0.236799030419355 + 0.0*i,
    -0.299047955873339 + 0.0*i,
    -0.102368334305622 + 0.0*i,
    -0.109295083240095 + 0.0*i,
    1.02050797713161 + 0.0*i,
    -0.0822466147121322 + 0.0*i,
    0.116256815470717 + 0.0*i,
    0.58459397247427 + 0.0*i,
    0.592130174690847 + 0.0*i,
    -0.031584438151117 + 0.0*i,
    -0.178903838390988 + 0.0*i,
    -0.353366424125755 + 0.0*i,
    0.730091850805253 + 0.0*i,
    -0.252703216587932 + 0.0*i,
    0.57532201105549 + 0.0*i,
    -0.236926537845477 + 0.0*i,
    -0.100921784001029 + 0.0*i,
    -0.596896773520741 + 0.0*i,
    -0.681257421008289 + 0.0*i,
    -0.105683364717027 + 0.0*i,
    -0.113655970300433 + 0.0*i,
    -1.1142321288695 + 0.0*i,
    -0.493916501859384 + 0.0*i,
    -0.078343727118166 + 0.0*i,
    -0.483867938677743 + 0.0*i,
    -0.237483900064087 + 0.0*i,
    0.769085433928074 + 0.0*i,
    0.3166710082119 + 0.0*i,
    -0.561055120484 + 0.0*i,
    0.893750174061486 + 0.0*i,
    -0.377056605880375 + 0.0*i,
    0.0274053320169609 + 0.0*i,
    -0.160133130052811 + 0.0*i,
    -0.380419217992285 + 0.0*i,
    -0.640773192789859 + 0.0*i,
    -0.702838034152816 + 0.0*i,
    -0.877225788912499 + 0.0*i,
    -0.685147095178597 + 0.0*i,
    -0.322428698469886 + 0.0*i,
    0.00944280538634336 + 0.0*i,
    -0.604222375888516 + 0.0*i,
    -0.150617294441407 + 0.0*i,
    -0.291993009055944 + 0.0*i,
    -0.933688637269491 + 0.0*i,
    -0.303222490603406 + 0.0*i,
    0.404794716798793 + 0.0*i,
    -0.15031461833515 + 0.0*i,
    -0.64611686760129 + 0.0*i,
    -0.177729959980681 + 0.0*i,
    0.394559578310577 + 0.0*i,
    0.168225053986873 + 0.0*i,
    0.392007959528779 + 0.0*i,
    -0.183409252660482 + 0.0*i,
    0.0792167500845894 + 0.0*i,
    -0.44200824226725 + 0.0*i,
    -0.517676981661178 + 0.0*i,
    0.0426798386090389 + 0.0*i,
    -0.0432750694248858 + 0.0*i,
    -0.644376768850103 + 0.0*i,
    -0.502621822081621 + 0.0*i,
    0.273450178749244 + 0.0*i,
    -0.600181729872052 + 0.0*i,
    -0.232230087021989 + 0.0*i,
    0.0814153238779018 + 0.0*i,
    -0.0687084678095381 + 0.0*i,
    -0.5140525866456 + 0.0*i,
    0.448501624159222 + 0.0*i,
    0.609094789921642 + 0.0*i,
    0.0029890545958526 + 0.0*i,
    -0.236555359964945 + 0.0*i,
    0.0820410217141163 + 0.0*i,
    0.685082093367634 + 0.0*i,
    0.370322659738473 + 0.0*i,
    1.10610330513238 + 0.0*i,
    0.192065654787411 + 0.0*i,
    -0.156047328082298 + 0.0*i,
    -0.989283987675802 + 0.0*i,
    0.0538251121752436 + 0.0*i,
    -0.369373377580022 + 0.0*i,
    -0.245133885468867 + 0.0*i,
    0.387642705354386 + 0.0*i,
    -0.600978538314793 + 0.0*i,
    0.424837515401159 + 0.0*i,
    -0.555861830544871 + 0.0*i,
    -0.745268619348794 + 0.0*i,
    0.072913970997652 + 0.0*i,
    0.247309605644429 + 0.0*i,
    -0.519686415835354 + 0.0*i,
    0.130111688522726 + 0.0*i,
    0.888032610010038 + 0.0*i,
    0.0102052995079285 + 0.0*i,
    0.0564184533533691 + 0.0*i,
    0.235100530622406 + 0.0*i,
    0.792293251563043 + 0.0*i,
    0.251021052148872 + 0.0*i,
    -0.441546847128365 + 0.0*i,
    0.457271306039251 + 0.0*i,
    0.160425673401817 + 0.0*i,
    -0.494210662449945 + 0.0*i,
    -0.368338008618021 + 0.0*i,
    -0.382745796422556 + 0.0*i,
    -0.433985292026927 + 0.0*i,
    -0.851430206590089 + 0.0*i,
    0.4274106396299 + 0.0*i,
    -0.570321526775543 + 0.0*i,
    0.434816882981366 + 0.0*i,
    -0.351241874817575 + 0.0*i,
    -0.0181476177042224 + 0.0*i,
    -0.305298087675725 + 0.0*i,
    0.541887035120056 + 0.0*i,
    -0.867757181937518 + 0.0*i,
    0.967618232763055 + 0.0*i,
    -0.0994630147879057 + 0.0*i,
    -0.105483773742964 + 0.0*i,
    0.677234162813466 + 0.0*i,
    -0.233956331073285 + 0.0*i,
    -0.609957409977403 + 0.0*i,
    0.108983789903379 + 0.0*i,
    -0.346105296618973 + 0.0*i,
    -0.385989852941191 + 0.0*i,
    -0.377129910605792 + 0.0*i,
    -0.810242088917407 + 0.0*i,
    -0.631195684932967 + 0.0*i,
    -0.991897313418765 + 0.0*i,
    0.43581839357511 + 0.0*i,
    -0.0130735823638211 + 0.0*i,
    -0.241143593290443 + 0.0*i,
    0.715636289798396 + 0.0*i,
    0.452762543037835 + 0.0*i,
    -0.0808551119118531 + 0.0*i,
    0.31328144689907 + 0.0*i,
    0.977650762283588 + 0.0*i,
    0.257364317278414 + 0.0*i,
    0.355370610038597 + 0.0*i,
    -0.485812984818342 + 0.0*i,
    0.652208189832272 + 0.0*i,
    0.618777652504509 + 0.0*i,
    -0.239808496697711 + 0.0*i,
    -0.838333640304283 + 0.0*i,
    0.511980584768869 + 0.0*i,
    0.826828569795286 + 0.0*i,
    0.340826130451224 + 0.0*i,
    0.633720779976569 + 0.0*i,
    -0.366779200395607 + 0.0*i,
    0.67283385953232 + 0.0*i,
    0.548060421710165 + 0.0*i,
    -0.31382177408639 + 0.0*i,
    0.0201478323596901 + 0.0*i,
    0.251315102139545 + 0.0*i,
    0.934476398871341 + 0.0*i,
    -0.0198951183277141 + 0.0*i,
    -0.842164451794992 + 0.0*i,
    -0.309684218448212 + 0.0*i,
    0.303719437969432 + 0.0*i,
    -0.165005552119311 + 0.0*i,
    -0.557935802279874 + 0.0*i,
    -0.166168005434205 + 0.0*i,
    0.671443228259956 + 0.0*i,
    0.0965282089303477 + 0.0*i,
    -0.339800634185792 + 0.0*i,
    -0.891645714959996 + 0.0*i,
    -1.03912120592513 + 0.0*i,
    -0.22904647813575 + 0.0*i,
    -0.527319597004132 + 0.0*i,
    -0.785196053942791 + 0.0*i,
    0.19402252835156 + 0.0*i,
    -0.601312519081493 + 0.0*i,
    -0.299263629658009 + 0.0*i,
    -0.236348015649194 + 0.0*i,
    0.342564924008138 + 0.0*i,
    0.543954453342741 + 0.0*i,
    1.06441692206747 + 0.0*i,
    -0.00564067936173898 + 0.0*i,
    -0.538296648115318 + 0.0*i,
    -0.603777124513413 + 0.0*i,
    -0.425551507983689 + 0.0*i,
    -0.20440239960002 + 0.0*i,
    0.045199213094508 + 0.0*i,
    -0.47369657123719 + 0.0*i,
    -0.291631439162497 + 0.0*i,
    -0.0154157930929108 + 0.0*i,
    -0.0278970999713486 + 0.0*i,
    0.118707208996143 + 0.0*i,
    0.120187859484764 + 0.0*i,
    -0.150696942149492 + 0.0*i,
    -0.71978946386667 + 0.0*i
]);