V:=Matrix(CC,4,60,[
    0.144290618111477 + 0.0*i,
    -0.0109156318706985 + 0.0*i,
    -0.307550675888083 + 0.0*i,
    -0.187115974572701 + 0.0*i,
    0.744717620985926 + 0.0*i,
    0.297666995746875 + 0.0*i,
    0.450011421475702 + 0.0*i,
    0.691433381709562 + 0.0*i,
    -0.420583099475147 + 0.0*i,
    0.66875129134662 + 0.0*i,
    0.0641998712207813 + 0.0*i,
    0.390628937485732 + 0.0*i,
    -0.0367003934209059 + 0.0*i,
    0.676805098498253 + 0.0*i,
    -0.0465380077669844 + 0.0*i,
    -0.698179613303912 + 0.0*i,
    -0.52446067276375 + 0.0*i,
    0.122916103440539 + 0.0*i,
    -0.648043028009768 + 0.0*i,
    -0.97447209428383 + 0.0*i,
    -0.123582355091206 + 0.0*i,
    0.294706199458546 + 0.0*i,
    0.37175054681605 + 0.0*i,
    0.152344425630706 + 0.0*i,
    -0.374045091564783 + 0.0*i,
    0.163260057325932 + 0.0*i,
    0.438244962720235 + 0.0*i,
    -0.155206250343567 + 0.0*i,
    0.755633252834826 + 0.0*i,
    0.590589388305389 + 0.0*i,
    -0.216544296677285 + 0.0*i,
    -0.457966257064344 + 0.0*i,
    0.20979806516441 + 0.0*i,
    0.553888995011892 + 0.0*i,
    0.354088683468718 + 0.0*i,
    -0.460927053408444 + 0.0*i,
    -0.0862157100893988 + 0.0*i,
    0.536227131332808 + 0.0*i,
    0.821095716809844 + 0.0*i,
    0.0476160252382194 + 0.0*i,
    -0.907977678483902 + 0.0*i,
    0.494666650496787 + 0.0*i,
    -0.637127396069338 + 0.0*i,
    0.248168191892576 + 0.0*i,
    -0.383882705710182 + 0.0*i,
    0.140577967016226 + 0.0*i,
    0.0929619414605046 + 0.0*i,
    0.230506328486784 + 0.0*i,
    0.326429066238799 + 0.0*i,
    -0.832011348739626 + 0.0*i,
    -0.583843156739477 + 0.0*i,
    0.33734469826044 + 0.0*i,
    -0.447050625057032 + 0.0*i,
    0.792333646366306 + 0.0*i,
    -0.878549356338458 + 0.0*i,
    0.885295588043017 + 0.0*i,
    -0.10759022486052 + 0.0*i,
    0.513545040834341 + 0.0*i,
    -0.600427002445557 + 0.0*i,
    -0.784395323362989 + 0.0*i,
    0.26267848822801 + 0.0*i,
    0.964163414369926 + 0.0*i,
    0.178988311036608 + 0.0*i,
    -0.258714407400427 + 0.0*i,
    0.47074250350233 + 0.0*i,
    -0.210544689314904 + 0.0*i,
    0.311951925572022 + 0.0*i,
    0.142146500852345 + 0.0*i,
    -0.683737129527287 + 0.0*i,
    -0.081954056071476 + 0.0*i,
    -0.635567411507252 + 0.0*i,
    -0.27475094888028 + 0.0*i,
    -0.362602317812595 + 0.0*i,
    0.177864070627238 + 0.0*i,
    -0.924481763659795 + 0.0*i,
    0.453739260052085 + 0.0*i,
    0.344632544585472 + 0.0*i,
    0.894281818985624 + 0.0*i,
    0.393497081311923 + 0.0*i,
    0.0326806187936523 + 0.0*i,
    0.0488645371155102 + 0.0*i,
    0.158790578123729 + 0.0*i,
    -0.814555722743714 + 0.0*i,
    0.522496614898166 + 0.0*i,
    0.240744634034601 + 0.0*i,
    -0.441666799375804 + 0.0*i,
    -0.876312045530053 + 0.0*i,
    0.701484926050573 + 0.0*i,
    -0.493420910785068 + 0.0*i,
    -0.353815430624891 + 0.0*i,
    0.11307079659837 + 0.0*i,
    0.282876221602686 + 0.0*i,
    0.482814964198582 + 0.0*i,
    -0.716417748272913 + 0.0*i,
    0.745493452352734 + 0.0*i,
    0.652211488765207 + 0.0*i,
    -0.531679501268239 + 0.0*i,
    0.843631426872625 + 0.0*i,
    0.440542558798811 + 0.0*i,
    -0.601561096595305 + 0.0*i,
    -0.0290757040318335 + 0.0*i,
    0.0797260963768258 + 0.0*i,
    -0.570666332902085 + 0.0*i,
    -0.765691185494039 + 0.0*i,
    -0.321134812093319 + 0.0*i,
    -0.665767356038111 + 0.0*i,
    -0.0642062595942906 + 0.0*i,
    0.794357989529347 + 0.0*i,
    0.360816462574516 + 0.0*i,
    0.523620855419616 + 0.0*i,
    -0.24207033010708 + 0.0*i,
    -0.603346951672284 + 0.0*i,
    -0.681287192933265 + 0.0*i,
    -0.130818592996774 + 0.0*i,
    -0.400860908084687 + 0.0*i,
    -0.195024852603332 + 0.0*i,
    0.0999238294895102 + 0.0*i,
    0.619530870123221 + 0.0*i,
    -0.208064015446799 + 0.0*i,
    -0.0779402411207966 + 0.0*i,
    0.335448742181812 + 0.0*i,
    0.138577074125398 + 0.0*i,
    -0.907840362147635 + 0.0*i,
    0.347749443911338 + 0.0*i,
    -0.25658640523014 + 0.0*i,
    -0.029364727633311 + 0.0*i,
    0.681603966464217 + 0.0*i,
    0.176968714459926 + 0.0*i,
    -0.195018022277693 + 0.0*i,
    -0.395262571429746 + 0.0*i,
    -0.572132194101825 + 0.0*i,
    -0.816516989537719 + 0.0*i,
    -0.925889669984238 + 0.0*i,
    -0.0197426194963605 + 0.0*i,
    0.347909777944656 + 0.0*i,
    -0.0913233724876205 + 0.0*i,
    0.730711313654837 + 0.0*i,
    0.224382749998628 + 0.0*i,
    -0.195277448057974 + 0.0*i,
    0.0491073472604323 + 0.0*i,
    -0.925988761959879 + 0.0*i,
    -0.938190371832656 + 0.0*i,
    0.335708168025296 + 0.0*i,
    0.710968694113968 + 0.0*i,
    -0.542927800386121 + 0.0*i,
    0.572391620020831 + 0.0*i,
    -0.0292043935650953 + 0.0*i,
    -0.196871668042068 + 0.0*i,
    -0.39516347957366 + 0.0*i,
    0.681764300486805 + 0.0*i,
    -0.138836499927665 + 0.0*i,
    0.365798751784332 + 0.0*i,
    0.224481841939031 + 0.0*i,
    -0.24412536964282 + 0.0*i,
    0.559930584302029 + 0.0*i,
    -0.543026892137681 + 0.0*i,
    0.701506919908839 + 0.0*i,
    -0.0199029536379475 + 0.0*i,
    0.315706122665698 + 0.0*i,
    0.787312595901175 + 0.0*i,
    -0.315805214342999 + 0.0*i,
    0.560090918007321 + 0.0*i,
    -0.333854522435644 + 0.0*i,
    -0.590280593988466 + 0.0*i,
    0.730871647696573 + 0.0*i,
    0.000160334092855484 + 0.0*i,
    -0.787152261918946 + 0.0*i,
    -0.366058177793567 + 0.0*i,
    -0.244384795416213 + 0.0*i,
    -0.177129048463886 + 0.0*i,
    -0.767409642406198 + 0.0*i,
    -0.382961869653411 + 0.0*i,
    0.227221677848109 + 0.0*i,
    0.530726190420153 + 0.0*i,
    0.170780729578159 + 0.0*i,
    -0.256426071246733 + 0.0*i,
    0.590440927801287 + 0.0*i,
    -0.592134239479287 + 0.0*i,
    0.592035147536794 + 0.0*i,
    0.610183547386301 + 0.0*i,
    -0.893114981800158 + 0.0*i,
    -0.225978215539096 + 0.0*i,
    0.221814433995394 + 0.0*i,
    -0.881546817657752 + 0.0*i,
    -0.39744254558426 + 0.0*i,
    -0.930700277326349 + 0.0*i,
    -0.485377945083593 + 0.0*i,
    -0.685854448885122 + 0.0*i,
    0.563543578730662 + 0.0*i,
    -0.624357864243262 + 0.0*i,
    0.514390118915049 + 0.0*i,
    -0.324377796842531 + 0.0*i,
    0.0995035640374924 + 0.0*i,
    0.714079449362675 + 0.0*i,
    -0.148749685391452 + 0.0*i,
    0.54619223089648 + 0.0*i,
    -0.2687571171775 + 0.0*i,
    0.367156698495086 + 0.0*i,
    -0.622147088016085 + 0.0*i,
    0.216620827859173 + 0.0*i,
    -0.353389970495216 + 0.0*i,
    0.0879353995859099 + 0.0*i,
    0.292575684923634 + 0.0*i,
    0.445322332012541 + 0.0*i,
    0.712293264202131 + 0.0*i,
    0.671300547699013 + 0.0*i,
    -0.197903145264972 + 0.0*i,
    0.66713676611355 + 0.0*i,
    -0.171464329880974 + 0.0*i,
    0.247419186916713 + 0.0*i,
    -0.959712451112825 + 0.0*i,
    -0.759235947407186 + 0.0*i,
    0.820050233119199 + 0.0*i,
    0.346922750855347 + 0.0*i,
    -0.0730647486944257 + 0.0*i,
    0.259399729711064 + 0.0*i,
    -0.466660262487552 + 0.0*i,
    -0.0187176828675801 + 0.0*i,
    -0.179035532325056 + 0.0*i,
    0.126474651764376 + 0.0*i,
    -0.273858002263598 + 0.0*i,
    0.659732383628786 + 0.0*i,
    -0.396168872476448 + 0.0*i,
    -0.060814285740495 + 0.0*i,
    0.464040014774283 + 0.0*i,
    0.73279713230647 + 0.0*i,
    0.606322480388689 + 0.0*i,
    -0.426454719130754 + 0.0*i,
    -0.8387679159452 + 0.0*i,
    -0.0469426834381658 + 0.0*i,
    -0.107756968926945 + 0.0*i,
    -0.612789700349883 + 0.0*i,
    -0.533257731774345 + 0.0*i,
    -0.270967893604262 + 0.0*i,
    -0.195692368914969 + 0.0*i,
    0.335354586435885 + 0.0*i,
    0.793611417881427 + 0.0*i,
    0.0427789017519833 + 0.0*i,
    -0.495672436485513 + 0.0*i,
    0.0795319684112958 + 0.0*i
]);