V:=Matrix(CC,4,55,[
    -0.403045501938724 + 0.0*i,
    0.135681483041644 + 0.0*i,
    0.723795348225931 + 0.0*i,
    0.27502270637803 + 0.0*i,
    -0.753957834016799 + 0.0*i,
    0.705298352266046 + 0.0*i,
    0.733348807400906 + 0.0*i,
    -0.553908572248793 + 0.0*i,
    -0.165875066979631 + 0.0*i,
    0.213489206451585 + 0.0*i,
    0.537853276941291 + 0.0*i,
    -0.411093179376515 + 0.0*i,
    -0.354212806470334 + 0.0*i,
    -0.0341814062636732 + 0.0*i,
    -0.173055412785738 + 0.0*i,
    -0.166207569308602 + 0.0*i,
    -0.0773501095017549 + 0.0*i,
    -0.936389535803792 + 0.0*i,
    0.283869724624585 + 0.0*i,
    0.610710726375473 + 0.0*i,
    -0.312552760288554 + 0.0*i,
    -0.506154336927456 + 0.0*i,
    -0.485554580909378 + 0.0*i,
    0.754204082448913 + 0.0*i,
    0.355919238373056 + 0.0*i,
    0.173245232864984 + 0.0*i,
    -1.15993354365743 + 0.0*i,
    0.119727491182176 + 0.0*i,
    0.0620808961774649 + 0.0*i,
    0.0749966127684999 + 0.0*i,
    -0.407385458730105 + 0.0*i,
    0.0417351579898435 + 0.0*i,
    -0.310510767797193 + 0.0*i,
    0.072879493230972 + 0.0*i,
    -0.018822416446053 + 0.0*i,
    -1.19422927751021 + 0.0*i,
    -0.735204805310269 + 0.0*i,
    0.541028081285339 + 0.0*i,
    -0.742016927263967 + 0.0*i,
    -0.221147353496118 + 0.0*i,
    0.359710853642078 + 0.0*i,
    0.30746267749607 + 0.0*i,
    -0.442988014838173 + 0.0*i,
    -0.0694352405986901 + 0.0*i,
    0.307557686952409 + 0.0*i,
    0.578092015987753 + 0.0*i,
    -0.633855317251249 + 0.0*i,
    -0.555835018951291 + 0.0*i,
    -0.0977596059509364 + 0.0*i,
    0.385090074562636 + 0.0*i,
    -0.408647716706473 + 0.0*i,
    1.12617390720064 + 0.0*i,
    -0.228935405634114 + 0.0*i,
    -1.18018771494493 + 0.0*i,
    -0.289161190490201 + 0.0*i,
    0.719699927753216 + 0.0*i,
    -1.33845620777308 + 0.0*i,
    0.198342146900137 + 0.0*i,
    0.78413950337873 + 0.0*i,
    0.169268984060207 + 0.0*i,
    0.308043491035528 + 0.0*i,
    -0.532199116335659 + 0.0*i,
    -0.540346214721661 + 0.0*i,
    0.0958935174264165 + 0.0*i,
    0.14767846956915 + 0.0*i,
    0.421926247804589 + 0.0*i,
    -0.287191413245004 + 0.0*i,
    -0.15166319123284 + 0.0*i,
    0.369093608164077 + 0.0*i,
    0.176382480595806 + 0.0*i,
    0.239231345285121 + 0.0*i,
    -0.273172524584428 + 0.0*i,
    -0.353768866557506 + 0.0*i,
    0.112191869980596 + 0.0*i,
    -0.60639666456481 + 0.0*i,
    0.198059707840428 + 0.0*i,
    0.601905225746643 + 0.0*i,
    -0.423448968156225 + 0.0*i,
    -0.20526757097547 + 0.0*i,
    0.231101039766691 + 0.0*i,
    0.833094768963066 + 0.0*i,
    0.448846115968819 + 0.0*i,
    -0.321798941186113 + 0.0*i,
    0.0941380628092069 + 0.0*i,
    0.749117691412064 + 0.0*i,
    -0.169808454261202 + 0.0*i,
    -0.911468820327577 + 0.0*i,
    0.395468091500446 + 0.0*i,
    0.429569380066316 + 0.0*i,
    0.019110473787675 + 0.0*i,
    -0.0787182991361121 + 0.0*i,
    -0.349302019954907 + 0.0*i,
    1.20601961675799 + 0.0*i,
    1.1072559782151 + 0.0*i,
    -0.502942582489768 + 0.0*i,
    -0.694408749355274 + 0.0*i,
    -0.0489349975971446 + 0.0*i,
    -0.503556124536633 + 0.0*i,
    -0.540506597515876 + 0.0*i,
    -0.738205519628979 + 0.0*i,
    0.545213565224015 + 0.0*i,
    -0.110163963082628 + 0.0*i,
    -0.0766217742605726 + 0.0*i,
    -0.163963440106551 + 0.0*i,
    -0.291352584657854 + 0.0*i,
    0.768531388564289 + 0.0*i,
    -0.723217458240866 + 0.0*i,
    0.0304001213634972 + 0.0*i,
    0.575017746549994 + 0.0*i,
    0.101521448345736 + 0.0*i,
    0.170010603387161 + 0.0*i,
    0.406288240538968 + 0.0*i,
    -0.0238461918424491 + 0.0*i,
    -0.161744545433975 + 0.0*i,
    0.0388331342672597 + 0.0*i,
    -0.222025800981434 + 0.0*i,
    0.235743494909431 + 0.0*i,
    0.713215392898833 + 0.0*i,
    -0.153890860123051 + 0.0*i,
    -0.763584589827841 + 0.0*i,
    -0.378354325126617 + 0.0*i,
    -0.561734216738065 + 0.0*i,
    1.17711187071411 + 0.0*i,
    0.123923353387243 + 0.0*i,
    -0.254812263089919 + 0.0*i,
    0.835861793936128 + 0.0*i,
    0.20605403728688 + 0.0*i,
    0.018146126608426 + 0.0*i,
    0.963095240509248 + 0.0*i,
    0.515183110991452 + 0.0*i,
    -1.21303402911142 + 0.0*i,
    0.220236899546995 + 0.0*i,
    -0.129384754290097 + 0.0*i,
    -0.334471864846977 + 0.0*i,
    0.395860443550307 + 0.0*i,
    -0.188985152753903 + 0.0*i,
    0.545012912802074 + 0.0*i,
    -0.135371934677066 + 0.0*i,
    0.755165402464043 + 0.0*i,
    0.0694155387772794 + 0.0*i,
    -0.104978131172439 + 0.0*i,
    0.498253750841832 + 0.0*i,
    -0.357912583658297 + 0.0*i,
    0.026186666954332 + 0.0*i,
    -0.272996349620807 + 0.0*i,
    -0.516838130032571 + 0.0*i,
    -0.049639640405784 + 0.0*i,
    0.246239474968994 + 0.0*i,
    -0.703715973189249 + 0.0*i,
    -0.106847462324916 + 0.0*i,
    0.65271271230243 + 0.0*i,
    -0.692303514320218 + 0.0*i,
    -0.416675625135386 + 0.0*i,
    -0.354407575056651 + 0.0*i,
    0.293439381751324 + 0.0*i,
    -0.0787675242609874 + 0.0*i,
    -0.352661229005537 + 0.0*i,
    -0.509416384626406 + 0.0*i,
    -0.165088950395577 + 0.0*i,
    -0.0454954544408675 + 0.0*i,
    -0.0952910222933786 + 0.0*i,
    -0.475705450203853 + 0.0*i,
    0.919194096338468 + 0.0*i,
    0.0567216042664166 + 0.0*i,
    -0.509417225098166 + 0.0*i,
    0.636623335882422 + 0.0*i,
    0.243539267978593 + 0.0*i,
    0.0549365484478203 + 0.0*i,
    -0.516645688724588 + 0.0*i,
    -0.591449407719566 + 0.0*i,
    0.0941189589799284 + 0.0*i,
    -0.186064918134002 + 0.0*i,
    0.666601017204362 + 0.0*i,
    0.0802767935140831 + 0.0*i,
    0.143184879034136 + 0.0*i,
    -0.296764519346538 + 0.0*i,
    -0.0570538466336156 + 0.0*i,
    -0.334611665247832 + 0.0*i,
    0.406208133431192 + 0.0*i,
    -0.186398397633809 + 0.0*i,
    -0.88669222988614 + 0.0*i,
    -0.0414365502137301 + 0.0*i,
    0.0203797973959951 + 0.0*i,
    -0.330412605162211 + 0.0*i,
    -0.522602841306222 + 0.0*i,
    0.381794537211874 + 0.0*i,
    0.943990593826406 + 0.0*i,
    -0.642340225351934 + 0.0*i,
    0.299837501818562 + 0.0*i,
    0.818295180813461 + 0.0*i,
    0.252597659494766 + 0.0*i,
    0.0374255665279527 + 0.0*i,
    0.116584588391416 + 0.0*i,
    -0.398478461435214 + 0.0*i,
    0.526713419483162 + 0.0*i,
    0.207311346450586 + 0.0*i,
    -0.487359388195489 + 0.0*i,
    0.815958499720328 + 0.0*i,
    0.47439171163571 + 0.0*i,
    0.120890991466841 + 0.0*i,
    -0.628296375407054 + 0.0*i,
    0.457701801389922 + 0.0*i,
    0.113377169684499 + 0.0*i,
    0.345323855344533 + 0.0*i,
    -0.344128239467418 + 0.0*i,
    0.00754729583608423 + 0.0*i,
    0.818150399440091 + 0.0*i,
    0.314533142705144 + 0.0*i,
    0.693432593411459 + 0.0*i,
    -0.177998104987112 + 0.0*i,
    0.122211955854718 + 0.0*i,
    0.455859379630322 + 0.0*i,
    -0.120013406702153 + 0.0*i,
    0.504479807068121 + 0.0*i,
    0.789576947923019 + 0.0*i,
    -0.210813251282096 + 0.0*i,
    0.422890440942266 + 0.0*i,
    -0.311602235983531 + 0.0*i,
    -1.40329871895269 + 0.0*i,
    -0.0392180799379275 + 0.0*i
]);