V:=Matrix(CC,4,57,[
    0.0829027036673639 + 0.0*i,
    0.145831017602489 + 0.0*i,
    -0.138111626980993 + 0.0*i,
    -0.05772634769491 + 0.0*i,
    -0.329400688329248 + 0.0*i,
    -0.00156251511078571 + 0.0*i,
    0.237337813865929 + 0.0*i,
    -0.246280103378134 + 0.0*i,
    0.127097583425067 + 0.0*i,
    -0.0895400216276886 + 0.0*i,
    -0.307144780761814 + 0.0*i,
    0.0299598300022823 + 0.0*i,
    0.319889317833006 + 0.0*i,
    0.224764332222864 + 0.0*i,
    0.290138453015985 + 0.0*i,
    0.198359887017001 + 0.0*i,
    -0.0627054924517534 + 0.0*i,
    -0.22587653674028 + 0.0*i,
    -0.0925694971358321 + 0.0*i,
    0.159247897716194 + 0.0*i,
    0.0321449832661526 + 0.0*i,
    -0.049543233689159 + 0.0*i,
    -0.149320507080253 + 0.0*i,
    0.0934246195511385 + 0.0*i,
    0.0567298109890537 + 0.0*i,
    0.367659535586845 + 0.0*i,
    0.220260817897407 + 0.0*i,
    -0.0898069137354133 + 0.0*i,
    0.310755398485912 + 0.0*i,
    0.251102353702452 + 0.0*i,
    0.0277452095418674 + 0.0*i,
    -0.24827295475287 + 0.0*i,
    -0.159260776521211 + 0.0*i,
    -0.0882889596697758 + 0.0*i,
    0.247312522841577 + 0.0*i,
    -0.290513057532279 + 0.0*i,
    -0.0385142100234042 + 0.0*i,
    0.0812776254157748 + 0.0*i,
    -0.216937397514504 + 0.0*i,
    -0.0403633022971491 + 0.0*i,
    -0.29248300435686 + 0.0*i,
    -0.0369998301461889 + 0.0*i,
    0.148399829038015 + 0.0*i,
    0.065890177037719 + 0.0*i,
    -0.107933599027853 + 0.0*i,
    -0.0298797205347647 + 0.0*i,
    0.140814296273867 + 0.0*i,
    -0.132788150647846 + 0.0*i,
    0.117166866394355 + 0.0*i,
    -0.181078053937477 + 0.0*i,
    -0.322095241429185 + 0.0*i,
    -0.25083862013079 + 0.0*i,
    0.182524701663292 + 0.0*i,
    -0.138923806324941 + 0.0*i,
    0.174869165866505 + 0.0*i,
    0.0227733243391428 + 0.0*i,
    0.224017693989144 + 0.0*i,
    -0.0438501473235972 + 0.0*i,
    -0.211584631690477 + 0.0*i,
    -0.229958136191511 + 0.0*i,
    -0.0478306498887967 + 0.0*i,
    0.119849866874038 + 0.0*i,
    -0.0297196401312421 + 0.0*i,
    0.245129391424416 + 0.0*i,
    -0.237252788453046 + 0.0*i,
    -0.198970188415314 + 0.0*i,
    0.346602107486364 + 0.0*i,
    -0.0803625502078101 + 0.0*i,
    0.127477444517182 + 0.0*i,
    -0.12193681495628 + 0.0*i,
    -0.0102265125446106 + 0.0*i,
    0.0422093939775297 + 0.0*i,
    0.192262103292124 + 0.0*i,
    0.349044731958248 + 0.0*i,
    -0.0972953804106394 + 0.0*i,
    0.163992699864054 + 0.0*i,
    -0.250198185187588 + 0.0*i,
    0.118902697375759 + 0.0*i,
    -0.266345140407718 + 0.0*i,
    -0.146807978475487 + 0.0*i,
    0.283262431018636 + 0.0*i,
    -0.308211092464711 + 0.0*i,
    0.0617868572271766 + 0.0*i,
    -0.0523082389594418 + 0.0*i,
    0.178821410717305 + 0.0*i,
    0.0242323397713966 + 0.0*i,
    0.12456396417113 + 0.0*i,
    0.314733557044208 + 0.0*i,
    0.198422332665883 + 0.0*i,
    0.219636294774612 + 0.0*i,
    -0.0611936784591107 + 0.0*i,
    -0.266372408949792 + 0.0*i,
    0.091785019189558 + 0.0*i,
    0.184303480373252 + 0.0*i,
    0.28477305858522 + 0.0*i,
    0.265422109116003 + 0.0*i,
    -0.133532285022704 + 0.0*i,
    -0.192015749256528 + 0.0*i,
    0.0864245046454256 + 0.0*i,
    0.0486493634608716 + 0.0*i,
    0.316887546465461 + 0.0*i,
    -0.201923018495369 + 0.0*i,
    0.0690591843286075 + 0.0*i,
    0.344586255049317 + 0.0*i,
    -0.159169321296058 + 0.0*i,
    -0.228385877640657 + 0.0*i,
    0.0320382542447442 + 0.0*i,
    0.073339377124208 + 0.0*i,
    -0.181797557638356 + 0.0*i,
    -0.132849237213223 + 0.0*i,
    0.00193848223536782 + 0.0*i,
    -0.00828095681583525 + 0.0*i,
    0.197505527958483 + 0.0*i,
    -0.0380469880616295 + 0.0*i,
    -0.168020352837015 + 0.0*i,
    -0.118028565172484 + 0.0*i,
    0.254942595485646 + 0.0*i,
    -0.351114364317254 + 0.0*i,
    0.0696919128695129 + 0.0*i,
    -0.125921800832983 + 0.0*i,
    0.112911596143875 + 0.0*i,
    -0.0325258263972481 + 0.0*i,
    0.150176116710555 + 0.0*i,
    0.108693684897949 + 0.0*i,
    -0.150622618195631 + 0.0*i,
    -0.292407700504046 + 0.0*i,
    0.11957966729172 + 0.0*i,
    0.0329176575333937 + 0.0*i,
    0.02114937239803 + 0.0*i,
    0.065524161688779 + 0.0*i,
    -0.109686926108857 + 0.0*i,
    0.159274274666723 + 0.0*i,
    -0.0647193842465369 + 0.0*i,
    -0.164059864395605 + 0.0*i,
    -0.246657608265301 + 0.0*i,
    0.221093699904864 + 0.0*i,
    0.107147848212245 + 0.0*i,
    -0.111190489544403 + 0.0*i,
    0.00201022596328229 + 0.0*i,
    0.0177600207593558 + 0.0*i,
    0.289360672591192 + 0.0*i,
    0.315337168441788 + 0.0*i,
    -0.205604524083826 + 0.0*i,
    0.227116284008125 + 0.0*i,
    -0.0219895264799323 + 0.0*i,
    0.191793220764208 + 0.0*i,
    -0.203859412729272 + 0.0*i,
    -0.0382444292277849 + 0.0*i,
    0.0467184313115881 + 0.0*i,
    -0.16547455045355 + 0.0*i,
    0.263260306361348 + 0.0*i,
    0.206644493076036 + 0.0*i,
    -0.0213295442609643 + 0.0*i,
    0.0661042649811247 + 0.0*i,
    0.0842536806476425 + 0.0*i,
    -0.354953041682552 + 0.0*i,
    -0.334262642467186 + 0.0*i,
    0.139753623991209 + 0.0*i,
    -0.1378780332887 + 0.0*i,
    0.293127735264571 + 0.0*i,
    -0.0404720552785857 + 0.0*i,
    -0.300157384980318 + 0.0*i,
    0.266436258408132 + 0.0*i,
    0.288086954951761 + 0.0*i,
    0.0726646146720363 + 0.0*i,
    0.165354683373903 + 0.0*i,
    -0.0269160920130459 + 0.0*i,
    -0.226112682365209 + 0.0*i,
    0.238074614275984 + 0.0*i,
    0.163753524472507 + 0.0*i,
    -0.21427960596944 + 0.0*i,
    0.319844837350312 + 0.0*i,
    0.238425581172867 + 0.0*i,
    -0.0524329704448314 + 0.0*i,
    0.10576591138539 + 0.0*i,
    0.0932566968782099 + 0.0*i,
    -0.347567358498454 + 0.0*i,
    0.0477988309431399 + 0.0*i,
    0.137711133931151 + 0.0*i,
    -0.236477892282182 + 0.0*i,
    -0.0394750972520213 + 0.0*i,
    -0.116574846134541 + 0.0*i,
    0.196724634459023 + 0.0*i,
    0.0802947202803617 + 0.0*i,
    0.295108988779861 + 0.0*i,
    -0.229015737462739 + 0.0*i,
    0.242549734784042 + 0.0*i,
    0.00876314945559249 + 0.0*i,
    -0.226377337116545 + 0.0*i,
    -0.317577135113708 + 0.0*i,
    -0.157246361441211 + 0.0*i,
    -0.240659566084506 + 0.0*i,
    0.117982143381348 + 0.0*i,
    0.285867447806164 + 0.0*i,
    0.194834126388971 + 0.0*i,
    -0.188840313045989 + 0.0*i,
    -0.0224535858161155 + 0.0*i,
    0.00668083332077874 + 0.0*i,
    0.0378857539524558 + 0.0*i,
    -0.00209572042441269 + 0.0*i,
    -0.104951343684816 + 0.0*i,
    -0.2045249989667 + 0.0*i,
    -0.0414979884227034 + 0.0*i,
    -0.159846432860871 + 0.0*i,
    0.34646384612437 + 0.0*i,
    -0.0804139508797458 + 0.0*i,
    0.137005379165862 + 0.0*i,
    -0.174849593910981 + 0.0*i,
    -0.0773387454695734 + 0.0*i,
    -0.1306315901278 + 0.0*i,
    -0.341553599983007 + 0.0*i,
    -0.0923405090932373 + 0.0*i,
    -0.064065911360459 + 0.0*i,
    -0.0438284360803071 + 0.0*i,
    0.110008783764618 + 0.0*i,
    0.256584741618879 + 0.0*i,
    0.20352873621587 + 0.0*i,
    -0.00295836224262603 + 0.0*i,
    -0.0914671171282892 + 0.0*i,
    -0.0641014811478273 + 0.0*i,
    -0.145887257091633 + 0.0*i,
    -0.163324634784583 + 0.0*i,
    0.123878061884023 + 0.0*i,
    -0.299456281425652 + 0.0*i,
    0.269036584388546 + 0.0*i,
    0.23168103061307 + 0.0*i,
    0.264239249633313 + 0.0*i,
    -0.213974906872788 + 0.0*i
]);