V:=Matrix(CC,4,53,[
    0.350307994972705 + 0.0*i,
    0.177177107850634 + 0.0*i,
    0.0657296054838311 + 0.0*i,
    0.158392542953945 + 0.0*i,
    -0.57517764088411 + 0.0*i,
    -1.21722375777269 + 0.0*i,
    0.223299203509586 + 0.0*i,
    -0.192956698597056 + 0.0*i,
    0.316212579296396 + 0.0*i,
    0.496448117049093 + 0.0*i,
    0.290933191256988 + 0.0*i,
    -0.294452069727492 + 0.0*i,
    0.181255197650142 + 0.0*i,
    -0.0234435940215709 + 0.0*i,
    -0.658342559904334 + 0.0*i,
    -0.31422649309118 + 0.0*i,
    0.386826000535125 + 0.0*i,
    0.711827367129663 + 0.0*i,
    -0.0626290173216736 + 0.0*i,
    0.22009422913191 + 0.0*i,
    0.0135427860887184 + 0.0*i,
    0.594137670914873 + 0.0*i,
    0.815457353529502 + 0.0*i,
    0.358886809581626 + 0.0*i,
    0.172184455982511 + 0.0*i,
    -0.0137114943712056 + 0.0*i,
    0.0559588026913728 + 0.0*i,
    0.516133397242545 + 0.0*i,
    -0.0723911656121722 + 0.0*i,
    -0.164422514239572 + 0.0*i,
    0.255642997598379 + 0.0*i,
    -0.0109435537108044 + 0.0*i,
    -0.166059779889706 + 0.0*i,
    0.137558370261687 + 0.0*i,
    -0.422234530156801 + 0.0*i,
    -0.0785329239754414 + 0.0*i,
    -0.26683005559266 + 0.0*i,
    -0.0583592506107044 + 0.0*i,
    -0.0579666667957005 + 0.0*i,
    -0.941461570242459 + 0.0*i,
    0.218626645423309 + 0.0*i,
    0.576655677123801 + 0.0*i,
    0.307418727165324 + 0.0*i,
    -0.316321393943323 + 0.0*i,
    0.319535240319025 + 0.0*i,
    -1.28005652177399 + 0.0*i,
    -0.0886493931745024 + 0.0*i,
    -0.14268891847119 + 0.0*i,
    -0.793506743891053 + 0.0*i,
    -0.918302770816459 + 0.0*i,
    0.351900505951909 + 0.0*i,
    -0.449165561835774 + 0.0*i,
    0.288125580721101 + 0.0*i,
    -0.419544203921433 + 0.0*i,
    0.286665932327531 + 0.0*i,
    -0.472189384135336 + 0.0*i,
    -0.469813352965087 + 0.0*i,
    -0.325180121010813 + 0.0*i,
    -0.214240259435146 + 0.0*i,
    0.935327590004335 + 0.0*i,
    0.909300948316185 + 0.0*i,
    0.252005766577374 + 0.0*i,
    1.02733079618942 + 0.0*i,
    -0.326638438453745 + 0.0*i,
    0.560517002395237 + 0.0*i,
    -0.630644793856567 + 0.0*i,
    0.870046268687685 + 0.0*i,
    -0.47272732626867 + 0.0*i,
    -0.53681821733788 + 0.0*i,
    0.265545280005879 + 0.0*i,
    -0.261589613254283 + 0.0*i,
    -0.217900978605275 + 0.0*i,
    -0.332270014889088 + 0.0*i,
    -0.225479624186635 + 0.0*i,
    0.219426739868851 + 0.0*i,
    0.0649076883463337 + 0.0*i,
    0.217818202986176 + 0.0*i,
    -0.669741527654033 + 0.0*i,
    0.262985320870697 + 0.0*i,
    0.485645110809762 + 0.0*i,
    -0.291983575088198 + 0.0*i,
    0.553657602890377 + 0.0*i,
    0.362177968125332 + 0.0*i,
    -0.36551496723359 + 0.0*i,
    0.243848334178818 + 0.0*i,
    0.053116137258413 + 0.0*i,
    -0.218502650751343 + 0.0*i,
    -0.379406958886303 + 0.0*i,
    -0.663726359795296 + 0.0*i,
    0.307980644580722 + 0.0*i,
    -0.88175180592401 + 0.0*i,
    -0.097443456875202 + 0.0*i,
    0.568038646062087 + 0.0*i,
    0.200334666148515 + 0.0*i,
    0.231781872515468 + 0.0*i,
    0.344639143303821 + 0.0*i,
    0.421556758302079 + 0.0*i,
    -0.130014093995734 + 0.0*i,
    0.0297643150619801 + 0.0*i,
    -0.062104723286839 + 0.0*i,
    -0.875856583984367 + 0.0*i,
    -0.0303997971835136 + 0.0*i,
    0.775120716333072 + 0.0*i,
    -0.309448447288281 + 0.0*i,
    0.798426058578164 + 0.0*i,
    -0.639999571266997 + 0.0*i,
    -0.0384763216883003 + 0.0*i,
    -1.26480667878696 + 0.0*i,
    -0.0873021568729166 + 0.0*i,
    0.174137334147099 + 0.0*i,
    -0.385999151813859 + 0.0*i,
    -0.987366588268351 + 0.0*i,
    -0.539406677623672 + 0.0*i,
    0.556223032403738 + 0.0*i,
    0.452556232870308 + 0.0*i,
    0.30998831106965 + 0.0*i,
    -0.54459382623215 + 0.0*i,
    0.274610335280969 + 0.0*i,
    0.523893606247114 + 0.0*i,
    0.0877172300139761 + 0.0*i,
    -0.802729283437881 + 0.0*i,
    0.332966928976078 + 0.0*i,
    -0.0169902208871772 + 0.0*i,
    0.0071539012250038 + 0.0*i,
    0.143567101853072 + 0.0*i,
    0.775919875675412 + 0.0*i,
    0.397488909090084 + 0.0*i,
    -0.451365766944708 + 0.0*i,
    0.79788303394343 + 0.0*i,
    -0.125312315935507 + 0.0*i,
    1.00823678373395 + 0.0*i,
    0.461790474067763 + 0.0*i,
    0.528752494079068 + 0.0*i,
    0.182911243698609 + 0.0*i,
    0.131801636432778 + 0.0*i,
    0.667427234772901 + 0.0*i,
    0.0908459390219621 + 0.0*i,
    -0.162290711150507 + 0.0*i,
    -0.352493392085824 + 0.0*i,
    -0.603070714149809 + 0.0*i,
    -0.225378429003775 + 0.0*i,
    -0.0613060016962558 + 0.0*i,
    0.124745016935968 + 0.0*i,
    -0.255900047058119 + 0.0*i,
    0.497470968595823 + 0.0*i,
    0.620520001134243 + 0.0*i,
    -0.324748986469943 + 0.0*i,
    -0.173367805018164 + 0.0*i,
    0.0411172538146086 + 0.0*i,
    0.532235176697669 + 0.0*i,
    0.34034046048866 + 0.0*i,
    -0.323151800933456 + 0.0*i,
    -0.34563230282193 + 0.0*i,
    0.0353991454902985 + 0.0*i,
    -0.790403998444928 + 0.0*i,
    -0.635517495647787 + 0.0*i,
    -0.558958129110316 + 0.0*i,
    -0.443949090593326 + 0.0*i,
    0.593934468966144 + 0.0*i,
    -0.115370415076051 + 0.0*i,
    0.222019336716725 + 0.0*i,
    -0.659706256525305 + 0.0*i,
    -0.849488672181916 + 0.0*i,
    0.0720308539457653 + 0.0*i,
    0.358722595136408 + 0.0*i,
    -0.210308889387646 + 0.0*i,
    0.360318915710258 + 0.0*i,
    0.437021839583443 + 0.0*i,
    0.747571365401588 + 0.0*i,
    1.32961856106601 + 0.0*i,
    -0.656009489162887 + 0.0*i,
    -0.130388005187941 + 0.0*i,
    -0.0943863375652021 + 0.0*i,
    -0.212466637148635 + 0.0*i,
    -0.633167478732061 + 0.0*i,
    -0.89573582845653 + 0.0*i,
    -0.168868837069336 + 0.0*i,
    0.241649004701589 + 0.0*i,
    -0.036601916656044 + 0.0*i,
    0.499600610276124 + 0.0*i,
    0.29243974884743 + 0.0*i,
    -0.626520357000456 + 0.0*i,
    -0.317348946483761 + 0.0*i,
    -0.138929719847284 + 0.0*i,
    0.65290513118919 + 0.0*i,
    0.162938185920041 + 0.0*i,
    0.418388411879223 + 0.0*i,
    -0.761580133053456 + 0.0*i,
    0.068870047957977 + 0.0*i,
    -0.254161478747853 + 0.0*i,
    1.09729986043978 + 0.0*i,
    -0.461875218050982 + 0.0*i,
    -0.477400888102807 + 0.0*i,
    0.829468242597452 + 0.0*i,
    0.255601801530743 + 0.0*i,
    0.040083213344024 + 0.0*i,
    -1.16140935176376 + 0.0*i,
    -0.0962111705991296 + 0.0*i,
    0.570472405584783 + 0.0*i,
    0.830504683041942 + 0.0*i,
    -0.0316385499131031 + 0.0*i,
    0.406979708593956 + 0.0*i,
    -0.365364516901355 + 0.0*i,
    -0.550905100412347 + 0.0*i,
    -0.440909142716943 + 0.0*i,
    0.0892634007005951 + 0.0*i,
    -0.283088980758814 + 0.0*i,
    -0.756556092869405 + 0.0*i,
    -1.23734958068892 + 0.0*i,
    0.11568828076787 + 0.0*i,
    -0.69433197101989 + 0.0*i,
    0.915276780857493 + 0.0*i
]);