V:=Matrix(CC,4,57,[
    0.677698299984811 + 0.0*i,
    0.65442968280532 + 0.0*i,
    -0.134800242691137 + 0.0*i,
    0.526292587474739 + 0.0*i,
    -0.543343042587685 + 0.0*i,
    -0.6151986916681 + 0.0*i,
    -0.782280206589117 + 0.0*i,
    0.121877198872471 + 0.0*i,
    0.721254871021545 + 0.0*i,
    0.0130823025092748 + 0.0*i,
    0.806667857615077 + 0.0*i,
    0.323999989868988 + 0.0*i,
    -0.110460465927893 + 0.0*i,
    0.243337076125486 + 0.0*i,
    -0.249912257827244 + 0.0*i,
    -0.526715898458513 + 0.0*i,
    0.0607037967589988 + 0.0*i,
    0.178870140440565 + 0.0*i,
    -0.184851031800431 + 0.0*i,
    -0.0523846792956165 + 0.0*i,
    0.791753241356586 + 0.0*i,
    -0.638037779373893 + 0.0*i,
    0.0652392356556928 + 0.0*i,
    0.669995737055945 + 0.0*i,
    0.644718825749721 + 0.0*i,
    0.345753175693882 + 0.0*i,
    -0.373218177424793 + 0.0*i,
    -0.864396777985586 + 0.0*i,
    0.407775779724372 + 0.0*i,
    -0.700568614435717 + 0.0*i,
    0.616124208050565 + 0.0*i,
    -0.310617239356418 + 0.0*i,
    0.910401246363334 + 0.0*i,
    -0.207801198543308 + 0.0*i,
    -0.0697564189168465 + 0.0*i,
    -0.228310930942788 + 0.0*i,
    0.309090216134772 + 0.0*i,
    0.966524765708444 + 0.0*i,
    -0.36658928445692 + 0.0*i,
    0.00405930713456814 + 0.0*i,
    0.26779844511732 + 0.0*i,
    0.443429275549442 + 0.0*i,
    0.0481787311786219 + 0.0*i,
    0.271761729230013 + 0.0*i,
    -0.467569741305328 + 0.0*i,
    0.274196169507937 + 0.0*i,
    0.614339066073276 + 0.0*i,
    0.870859542472644 + 0.0*i,
    0.475965427465255 + 0.0*i,
    -0.877938849889708 + 0.0*i,
    -0.397513325755044 + 0.0*i,
    -0.543777139699431 + 0.0*i,
    0.53297802356546 + 0.0*i,
    0.477259535901607 + 0.0*i,
    0.168800653387048 + 0.0*i,
    0.170037134706853 + 0.0*i,
    0.278077067524972 + 0.0*i,
    0.434717502980561 + 0.0*i,
    0.0930496142260299 + 0.0*i,
    -0.968771901520361 + 0.0*i,
    -0.496269577599348 + 0.0*i,
    0.521305477030097 + 0.0*i,
    -0.276939033405896 + 0.0*i,
    0.26701353377963 + 0.0*i,
    0.179511498514749 + 0.0*i,
    -0.230937127885168 + 0.0*i,
    -0.704743554862704 + 0.0*i,
    0.324310759864377 + 0.0*i,
    0.122741714261957 + 0.0*i,
    0.367185257981729 + 0.0*i,
    -0.294036741233214 + 0.0*i,
    -0.73554579836513 + 0.0*i,
    0.173834151315598 + 0.0*i,
    -0.238809171880978 + 0.0*i,
    -0.846519397493582 + 0.0*i,
    -0.240170292135513 + 0.0*i,
    -0.295528032176082 + 0.0*i,
    0.338330420816217 + 0.0*i,
    -0.730655934050968 + 0.0*i,
    -0.665566235632727 + 0.0*i,
    -0.719377024930152 + 0.0*i,
    0.71287030191358 + 0.0*i,
    -0.228901649994153 + 0.0*i,
    0.109094084674637 + 0.0*i,
    0.393725312098516 + 0.0*i,
    0.084424556893337 + 0.0*i,
    -0.0398976437421366 + 0.0*i,
    0.274938617920453 + 0.0*i,
    -0.792321389384608 + 0.0*i,
    -0.149878382707915 + 0.0*i,
    0.662381744756833 + 0.0*i,
    -0.946346715327933 + 0.0*i,
    0.722166973246557 + 0.0*i,
    0.682825394146436 + 0.0*i,
    0.233002057141641 + 0.0*i,
    0.894877923217816 + 0.0*i,
    -0.719744168446523 + 0.0*i,
    -0.262406018593268 + 0.0*i,
    -0.767294209369152 + 0.0*i,
    0.42880354372211 + 0.0*i,
    0.0675238713087163 + 0.0*i,
    -0.527920535424478 + 0.0*i,
    0.361211006789238 + 0.0*i,
    0.0593498788669693 + 0.0*i,
    -0.327713866939668 + 0.0*i,
    0.616962351494099 + 0.0*i,
    -0.103195658984629 + 0.0*i,
    -0.64970905086624 + 0.0*i,
    0.372568664732209 + 0.0*i,
    -0.47951642109191 + 0.0*i,
    -0.661858158492213 + 0.0*i,
    0.36327176558645 + 0.0*i,
    0.332944909347576 + 0.0*i,
    -0.197330791197303 + 0.0*i,
    -0.275201799676645 + 0.0*i,
    0.360683237874462 + 0.0*i,
    0.0560942815573832 + 0.0*i,
    -0.15577150873458 + 0.0*i,
    -0.398665641512854 + 0.0*i,
    0.698642003566865 + 0.0*i,
    0.555380417355484 + 0.0*i,
    0.673050053366841 + 0.0*i,
    -0.284273427896506 + 0.0*i,
    0.551543462364242 + 0.0*i,
    0.343064020151842 + 0.0*i,
    0.724693034067017 + 0.0*i,
    -0.319918957680195 + 0.0*i,
    -0.582353649657095 + 0.0*i,
    0.629523453586845 + 0.0*i,
    0.564114928804637 + 0.0*i,
    0.898654660669078 + 0.0*i,
    0.0495024431750527 + 0.0*i,
    -0.308729107796053 + 0.0*i,
    0.946203598993483 + 0.0*i,
    -0.202530156153978 + 0.0*i,
    0.235183710644261 + 0.0*i,
    -0.579093826393456 + 0.0*i,
    -0.0370352074729292 + 0.0*i,
    0.272471314045923 + 0.0*i,
    -0.852594681138657 + 0.0*i,
    -0.82618490794601 + 0.0*i,
    -0.0528034726706237 + 0.0*i,
    -0.158923629546387 + 0.0*i,
    -0.113069064077783 + 0.0*i,
    -0.687477547611163 + 0.0*i,
    0.271411008710854 + 0.0*i,
    -0.250522117597214 + 0.0*i,
    0.0810578911314298 + 0.0*i,
    -0.284832460170011 + 0.0*i,
    -0.576611849445689 + 0.0*i,
    -0.0527470918580615 + 0.0*i,
    -0.10530035893229 + 0.0*i,
    -0.228828585752131 + 0.0*i,
    -0.633637569929782 + 0.0*i,
    0.236267634328312 + 0.0*i,
    -0.295989158334293 + 0.0*i,
    0.208867625904636 + 0.0*i,
    -0.191553764747232 + 0.0*i,
    -0.656142603620224 + 0.0*i,
    -0.601221193890807 + 0.0*i,
    0.774607952369731 + 0.0*i,
    0.312134366024678 + 0.0*i,
    0.158221706411904 + 0.0*i,
    -0.409020376601169 + 0.0*i,
    -0.452137390385818 + 0.0*i,
    -0.46181024276128 + 0.0*i,
    0.695402096012894 + 0.0*i,
    -0.564250074356226 + 0.0*i,
    0.915836131636047 + 0.0*i,
    -0.624688655279444 + 0.0*i,
    -0.90276895454053 + 0.0*i,
    0.52536623059993 + 0.0*i,
    -0.658005441825605 + 0.0*i,
    -0.20040790645979 + 0.0*i,
    0.672657309322556 + 0.0*i,
    0.523530938882436 + 0.0*i,
    -0.238190454044955 + 0.0*i,
    0.0910716376016816 + 0.0*i,
    -0.707053884763306 + 0.0*i,
    -0.587918423068893 + 0.0*i,
    -0.446055136013249 + 0.0*i,
    0.355551088599301 + 0.0*i,
    0.595632843721426 + 0.0*i,
    -0.86638636433447 + 0.0*i,
    -0.717769941498467 + 0.0*i,
    0.014712691092517 + 0.0*i,
    -0.611658726126888 + 0.0*i,
    0.362911875449548 + 0.0*i,
    0.4989588065618 + 0.0*i,
    -0.901573438393851 + 0.0*i,
    -0.120903998383051 + 0.0*i,
    -0.466519953485278 + 0.0*i,
    -0.0611418054634981 + 0.0*i,
    0.466278638101434 + 0.0*i,
    0.179529389618922 + 0.0*i,
    -0.0437372998209751 + 0.0*i,
    -0.31802686336475 + 0.0*i,
    0.407707211870188 + 0.0*i,
    0.30823754167036 + 0.0*i,
    -0.895172993133365 + 0.0*i,
    -0.703439536307151 + 0.0*i,
    -0.268652820868489 + 0.0*i,
    0.449532880764911 + 0.0*i,
    0.293163281485857 + 0.0*i,
    0.715191376054118 + 0.0*i,
    0.135765997368374 + 0.0*i,
    -0.306378453293907 + 0.0*i,
    0.659871550908994 + 0.0*i,
    -0.0212544830267009 + 0.0*i,
    0.111549439269822 + 0.0*i,
    -0.283646406616214 + 0.0*i,
    -0.896440003105438 + 0.0*i,
    -0.356399343437698 + 0.0*i,
    -0.877599365087703 + 0.0*i,
    0.940687644513608 + 0.0*i,
    0.268617439879236 + 0.0*i,
    -0.657933237660169 + 0.0*i,
    0.138013129448843 + 0.0*i,
    0.19177960331109 + 0.0*i,
    -0.60644889340883 + 0.0*i,
    0.226442847858137 + 0.0*i,
    -0.464147697704896 + 0.0*i,
    -0.593489942695521 + 0.0*i,
    -0.0491360678151615 + 0.0*i,
    0.125654156386776 + 0.0*i,
    0.0280025665561262 + 0.0*i,
    0.685564835829098 + 0.0*i,
    0.262186799972762 + 0.0*i
]);