V:=Matrix(CC,4,52,[
    -0.0699733944692471 + 0.0*i,
    -0.106123445895323 + 0.0*i,
    -0.535252078279203 + 0.0*i,
    0.0586053517329255 + 0.0*i,
    0.175379098751843 + 0.0*i,
    -0.970608146747002 + 0.0*i,
    -0.579645978287714 + 0.0*i,
    -0.208791472616442 + 0.0*i,
    1.04369214316448 + 0.0*i,
    0.249293691516902 + 0.0*i,
    -0.750479922132642 + 0.0*i,
    -0.074888663059206 + 0.0*i,
    -0.903666822114784 + 0.0*i,
    0.799884521860954 + 0.0*i,
    0.522809437183412 + 0.0*i,
    0.631907920022874 + 0.0*i,
    -0.202632341821141 + 0.0*i,
    0.709722456624586 + 0.0*i,
    -0.272104130745766 + 0.0*i,
    -0.0293702799389763 + 0.0*i,
    -0.472885868980672 + 0.0*i,
    -0.357509308493372 + 0.0*i,
    -0.315231473372608 + 0.0*i,
    -0.183186484264975 + 0.0*i,
    -0.05582475713231 + 0.0*i,
    -0.196223646279697 + 0.0*i,
    0.29647577374641 + 0.0*i,
    -0.270781111738021 + 0.0*i,
    0.306782798814095 + 0.0*i,
    0.163609558874228 + 0.0*i,
    -0.114869157037603 + 0.0*i,
    -0.22249922512474 + 0.0*i,
    -0.137260875113679 + 0.0*i,
    0.0590347073403358 + 0.0*i,
    -0.180316463838419 + 0.0*i,
    0.618438913971916 + 0.0*i,
    -0.971647703963088 + 0.0*i,
    0.00823367746449526 + 0.0*i,
    -0.143026647884655 + 0.0*i,
    -0.37173298893379 + 0.0*i,
    0.0264398570442502 + 0.0*i,
    0.916360602137478 + 0.0*i,
    -0.355270967836491 + 0.0*i,
    -0.400783920743033 + 0.0*i,
    0.570064591025348 + 0.0*i,
    -0.972483466860286 + 0.0*i,
    0.41112496153638 + 0.0*i,
    -0.706037783510967 + 0.0*i,
    -0.203208680480367 + 0.0*i,
    -0.130679707738409 + 0.0*i,
    0.50339874032479 + 0.0*i,
    -0.210614475572178 + 0.0*i,
    -0.851198684174321 + 0.0*i,
    -0.408008537590909 + 0.0*i,
    -0.929767169946853 + 0.0*i,
    -0.405747752633607 + 0.0*i,
    0.00217245730158006 + 0.0*i,
    -0.0350685688931944 + 0.0*i,
    -0.425129911384936 + 0.0*i,
    0.489439166115684 + 0.0*i,
    -0.559657985374799 + 0.0*i,
    0.875629796500608 + 0.0*i,
    0.664783448481945 + 0.0*i,
    -0.481739278969235 + 0.0*i,
    -0.542978174286098 + 0.0*i,
    -0.398864612531459 + 0.0*i,
    -0.329534318936374 + 0.0*i,
    -0.176738686312783 + 0.0*i,
    0.046804481040727 + 0.0*i,
    -0.260548988683206 + 0.0*i,
    0.101467138514771 + 0.0*i,
    0.278832025557116 + 0.0*i,
    0.0655931239421008 + 0.0*i,
    -0.181669763384174 + 0.0*i,
    0.935395243881258 + 0.0*i,
    -0.408191377783336 + 0.0*i,
    -0.373190279046119 + 0.0*i,
    -0.0522683643212488 + 0.0*i,
    0.67736830629529 + 0.0*i,
    -0.926932438306701 + 0.0*i,
    0.506845388307977 + 0.0*i,
    0.32672392220008 + 0.0*i,
    -0.6995250726167 + 0.0*i,
    0.0188591569844583 + 0.0*i,
    -0.446223811348577 + 0.0*i,
    0.546146975550592 + 0.0*i,
    -0.478301491753575 + 0.0*i,
    0.47855970618943 + 0.0*i,
    -0.124506917096504 + 0.0*i,
    0.904457964759574 + 0.0*i,
    -0.482212807634128 + 0.0*i,
    0.712468154923194 + 0.0*i,
    -0.663163374072259 + 0.0*i,
    0.465125049205295 + 0.0*i,
    0.633597826654918 + 0.0*i,
    0.625786784985746 + 0.0*i,
    -0.95264809910956 + 0.0*i,
    0.308898142926797 + 0.0*i,
    -0.103607197325813 + 0.0*i,
    0.17047460611884 + 0.0*i,
    -0.600471103193774 + 0.0*i,
    -0.807999482671323 + 0.0*i,
    -0.128532529037833 + 0.0*i,
    0.814486796082895 + 0.0*i,
    0.252900546510195 + 0.0*i,
    -0.262074722308032 + 0.0*i,
    0.34533816104158 + 0.0*i,
    0.403467258339664 + 0.0*i,
    -0.0570799191537017 + 0.0*i,
    0.714177219197597 + 0.0*i,
    -0.400020311704426 + 0.0*i,
    -0.175414763651035 + 0.0*i,
    -0.0207848090128642 + 0.0*i,
    0.358300086523116 + 0.0*i,
    0.293286933185299 + 0.0*i,
    0.900621393995134 + 0.0*i,
    -0.530135234061989 + 0.0*i,
    0.303265295871064 + 0.0*i,
    -0.700657241223505 + 0.0*i,
    0.0553484157358889 + 0.0*i,
    -0.0336636572147174 + 0.0*i,
    -0.148648551682377 + 0.0*i,
    -0.861810177899549 + 0.0*i,
    0.550576856624178 + 0.0*i,
    -0.621159414496329 + 0.0*i,
    0.613680133270052 + 0.0*i,
    0.483316145835427 + 0.0*i,
    0.656218295954281 + 0.0*i,
    0.998011423812902 + 0.0*i,
    -0.133422901251735 + 0.0*i,
    -0.366580403609132 + 0.0*i,
    -0.208310050518432 + 0.0*i,
    0.695918755124389 + 0.0*i,
    1.13467775146968 + 0.0*i,
    -0.346497933347502 + 0.0*i,
    0.66105723356068 + 0.0*i,
    0.42663987831094 + 0.0*i,
    0.121560918596311 + 0.0*i,
    -0.0356340473093073 + 0.0*i,
    -0.560480892184018 + 0.0*i,
    0.377945283961301 + 0.0*i,
    -0.121434318443686 + 0.0*i,
    0.244210127538163 + 0.0*i,
    0.865440753089351 + 0.0*i,
    -0.122237365725694 + 0.0*i,
    0.0458825994236117 + 0.0*i,
    -0.614190965447686 + 0.0*i,
    0.280666716432316 + 0.0*i,
    0.337336873866859 + 0.0*i,
    -0.453976303245514 + 0.0*i,
    -0.657208396420579 + 0.0*i,
    0.201286370286218 + 0.0*i,
    -0.302741004739754 + 0.0*i,
    -0.461818343326264 + 0.0*i,
    0.838391732558045 + 0.0*i,
    -0.478972652218841 + 0.0*i,
    0.453820488270434 + 0.0*i,
    0.629660577113152 + 0.0*i,
    -0.284135715270582 + 0.0*i,
    -0.416391280885508 + 0.0*i,
    0.585160083722502 + 0.0*i,
    0.129055008152537 + 0.0*i,
    0.477857835977128 + 0.0*i,
    -0.261422980811414 + 0.0*i,
    -0.156340556412612 + 0.0*i,
    -0.10441377738187 + 0.0*i,
    -0.194609421341592 + 0.0*i,
    -0.17591215698592 + 0.0*i,
    -0.332337888058043 + 0.0*i,
    0.466549851304337 + 0.0*i,
    0.612547793731352 + 0.0*i,
    1.00807289747484 + 0.0*i,
    0.582069869557578 + 0.0*i,
    -0.824275473178356 + 0.0*i,
    0.616064959911905 + 0.0*i,
    0.205200919492588 + 0.0*i,
    -0.193578018882665 + 0.0*i,
    -0.0422147971566674 + 0.0*i,
    0.251097319359016 + 0.0*i,
    0.231344259185231 + 0.0*i,
    -0.235129131991312 + 0.0*i,
    -0.0145550752159029 + 0.0*i,
    -0.65274987061117 + 0.0*i,
    7.13176426656145e-05 + 0.0*i,
    -0.402634545148429 + 0.0*i,
    0.214345363531403 + 0.0*i,
    -0.842300943903321 + 0.0*i,
    0.951915841408077 + 0.0*i,
    -1.09515368335174 + 0.0*i,
    -0.0188315887239355 + 0.0*i,
    -0.198274950804318 + 0.0*i,
    -0.290476732179443 + 0.0*i,
    -0.654872024132016 + 0.0*i,
    0.018973963312285 + 0.0*i,
    0.573273008780358 + 0.0*i,
    0.303200809448517 + 0.0*i,
    0.45338590519274 + 0.0*i,
    -0.497451479711866 + 0.0*i,
    -0.623165091440996 + 0.0*i,
    -0.495333998161527 + 0.0*i,
    -0.311059919242355 + 0.0*i,
    0.390578408010586 + 0.0*i,
    0.424376879765294 + 0.0*i,
    0.0993083716923616 + 0.0*i,
    0.979591836722215 + 0.0*i,
    0.0523778607847089 + 0.0*i,
    0.407496528004622 + 0.0*i,
    -0.112359837546368 + 0.0*i
]);