V:=Matrix(CC,4,54,[
    0.230369038257731 + 0.0*i,
    0.607999024738042 + 0.0*i,
    -0.0439130975387068 + 0.0*i,
    -0.114842688386168 + 0.0*i,
    0.903839974836815 + 0.0*i,
    0.919730137183627 + 0.0*i,
    -0.334741295882015 + 0.0*i,
    -0.254871291030434 + 0.0*i,
    0.781931949178927 + 0.0*i,
    -0.507913540463173 + 0.0*i,
    -0.189340289678286 + 0.0*i,
    0.418837832661467 + 0.0*i,
    -0.703869204480039 + 0.0*i,
    -0.299541846690565 + 0.0*i,
    0.446093464942621 + 0.0*i,
    -0.929945016488184 + 0.0*i,
    -0.157516495536746 + 0.0*i,
    0.141634854442334 + 0.0*i,
    0.747118521262931 + 0.0*i,
    0.237929902448053 + 0.0*i,
    -0.818320040437199 + 0.0*i,
    -0.339268806428917 + 0.0*i,
    -0.72071750932709 + 0.0*i,
    -0.170783521272744 + 0.0*i,
    0.388422420292746 + 0.0*i,
    -0.507860066928169 + 0.0*i,
    0.793632321881933 + 0.0*i,
    0.176273437990688 + 0.0*i,
    -0.0784788440249358 + 0.0*i,
    -0.520500448392707 + 0.0*i,
    -0.926263427365137 + 0.0*i,
    0.446023951100177 + 0.0*i,
    -0.250507566686543 + 0.0*i,
    -0.784346821155334 + 0.0*i,
    -0.614033508180291 + 0.0*i,
    -0.729813905643742 + 0.0*i,
    -0.187935676695321 + 0.0*i,
    -0.120641495632026 + 0.0*i,
    0.664316851014756 + 0.0*i,
    0.0011086632452552 + 0.0*i,
    -0.0327322015568947 + 0.0*i,
    0.817870188333932 + 0.0*i,
    0.33437374016787 + 0.0*i,
    -0.267289004004468 + 0.0*i,
    -0.162292507056669 + 0.0*i,
    0.118283554139057 + 0.0*i,
    1.15487613024487 + 0.0*i,
    -0.699011951671771 + 0.0*i,
    -0.482963447606447 + 0.0*i,
    0.189285848847111 + 0.0*i,
    0.198143266362752 + 0.0*i,
    0.419300763029026 + 0.0*i,
    -0.113212870505999 + 0.0*i,
    -0.458393102833212 + 0.0*i,
    -0.242244258506512 + 0.0*i,
    0.910912410929431 + 0.0*i,
    -0.0355792683419708 + 0.0*i,
    -0.198982676685257 + 0.0*i,
    -0.0132678311931414 + 0.0*i,
    0.678028133645574 + 0.0*i,
    0.034030247738778 + 0.0*i,
    0.887075143148155 + 0.0*i,
    -0.134558543911831 + 0.0*i,
    -0.10272585167066 + 0.0*i,
    0.489384198342084 + 0.0*i,
    -0.748011148363524 + 0.0*i,
    0.789610866723769 + 0.0*i,
    -0.661123200837719 + 0.0*i,
    0.31183894185162 + 0.0*i,
    0.320152752308237 + 0.0*i,
    -0.750470261791487 + 0.0*i,
    0.25088176231208 + 0.0*i,
    0.515848748271085 + 0.0*i,
    0.0931707299625261 + 0.0*i,
    0.484055869183627 + 0.0*i,
    -0.491012522300345 + 0.0*i,
    0.604020351476161 + 0.0*i,
    -0.685203632304008 + 0.0*i,
    0.213531249002489 + 0.0*i,
    0.748552284588771 + 0.0*i,
    0.0605984262478206 + 0.0*i,
    0.258621630375001 + 0.0*i,
    -0.551021800576923 + 0.0*i,
    0.743119100970797 + 0.0*i,
    0.223071597708418 + 0.0*i,
    0.088907921616488 + 0.0*i,
    -0.0734881813424662 + 0.0*i,
    -0.241771315971014 + 0.0*i,
    -0.178624405715642 + 0.0*i,
    -0.594718911364589 + 0.0*i,
    -0.265872041181871 + 0.0*i,
    0.285340976221979 + 0.0*i,
    0.215991860785488 + 0.0*i,
    0.0831326341046178 + 0.0*i,
    1.20380541516318 + 0.0*i,
    -0.617157597139251 + 0.0*i,
    0.280991419006208 + 0.0*i,
    -0.860957109466935 + 0.0*i,
    -0.194529641920876 + 0.0*i,
    0.848966074721111 + 0.0*i,
    -0.00628779922232979 + 0.0*i,
    -0.211966344420715 + 0.0*i,
    -0.767654221037666 + 0.0*i,
    -0.679628421773108 + 0.0*i,
    -0.592795211935287 + 0.0*i,
    0.634532299741268 + 0.0*i,
    0.156663006170667 + 0.0*i,
    0.673556743840249 + 0.0*i,
    0.217948733894686 + 0.0*i,
    -0.521554958675305 + 0.0*i,
    -0.624005455323683 + 0.0*i,
    0.963481332080915 + 0.0*i,
    0.162178815383907 + 0.0*i,
    0.346582179501019 + 0.0*i,
    -0.574615570971719 + 0.0*i,
    -0.701963080155679 + 0.0*i,
    0.181579262299082 + 0.0*i,
    -0.440659154152185 + 0.0*i,
    0.0114551615829693 + 0.0*i,
    0.485784747571727 + 0.0*i,
    -0.0517129949773787 + 0.0*i,
    -0.666749546815054 + 0.0*i,
    -0.128343683328204 + 0.0*i,
    -0.623811291973815 + 0.0*i,
    -0.271182966131824 + 0.0*i,
    1.31643955790226 + 0.0*i,
    -0.709340359523494 + 0.0*i,
    -0.189209238920577 + 0.0*i,
    0.642976449313902 + 0.0*i,
    -0.314964995807831 + 0.0*i,
    0.13350306337759 + 0.0*i,
    -0.467562877693953 + 0.0*i,
    0.630120009556343 + 0.0*i,
    0.609950707744196 + 0.0*i,
    -0.813722064715791 + 0.0*i,
    -0.286601329373689 + 0.0*i,
    0.243826097442095 + 0.0*i,
    0.344910566597353 + 0.0*i,
    -0.642965977817315 + 0.0*i,
    -0.719832486736323 + 0.0*i,
    -0.265724076219492 + 0.0*i,
    0.389563486103972 + 0.0*i,
    0.323898277950533 + 0.0*i,
    0.0870291168185348 + 0.0*i,
    0.21044930055806 + 0.0*i,
    -0.0438109311088516 + 0.0*i,
    0.638186130537264 + 0.0*i,
    -0.293638811528298 + 0.0*i,
    0.0663606084097597 + 0.0*i,
    0.23868416825462 + 0.0*i,
    -0.120169222326984 + 0.0*i,
    0.391489643410325 + 0.0*i,
    0.231052467358472 + 0.0*i,
    0.135869289729727 + 0.0*i,
    -0.0606500039784659 + 0.0*i,
    0.181443979176459 + 0.0*i,
    -0.103632520443117 + 0.0*i,
    -0.655458296891025 + 0.0*i,
    0.967139109707419 + 0.0*i,
    0.608707159739184 + 0.0*i,
    0.171030067642077 + 0.0*i,
    -0.050827966351541 + 0.0*i,
    0.424082481282676 + 0.0*i,
    -0.369994385023965 + 0.0*i,
    0.407963376313287 + 0.0*i,
    -0.73226308388587 + 0.0*i,
    -0.371897965136304 + 0.0*i,
    -0.144980083745315 + 0.0*i,
    0.290619517899223 + 0.0*i,
    0.529303777094494 + 0.0*i,
    0.209267965171556 + 0.0*i,
    0.0221420375187038 + 0.0*i,
    0.214171494979909 + 0.0*i,
    0.191181500167986 + 0.0*i,
    0.0760002689082553 + 0.0*i,
    0.904591181307022 + 0.0*i,
    0.617339954441523 + 0.0*i,
    -0.168190220897366 + 0.0*i,
    -0.650953755829982 + 0.0*i,
    0.189198745539658 + 0.0*i,
    0.170832010776297 + 0.0*i,
    -0.316961720241204 + 0.0*i,
    -0.343661315426627 + 0.0*i,
    -0.0502008973010174 + 0.0*i,
    -0.999704908028864 + 0.0*i,
    -0.281301974650263 + 0.0*i,
    -0.276124455031252 + 0.0*i,
    0.0713024270898371 + 0.0*i,
    0.11154313075707 + 0.0*i,
    0.441688379792106 + 0.0*i,
    -0.0490091637637543 + 0.0*i,
    0.702477479531996 + 0.0*i,
    0.550144565711763 + 0.0*i,
    -0.944633916652727 + 0.0*i,
    0.0565073869121609 + 0.0*i,
    -0.080397635095664 + 0.0*i,
    -0.444678626117932 + 0.0*i,
    -0.593922343500916 + 0.0*i,
    0.130132184998528 + 0.0*i,
    1.19345525094465 + 0.0*i,
    0.747259685409495 + 0.0*i,
    0.792546264436305 + 0.0*i,
    -0.200309452450134 + 0.0*i,
    0.0624303758986597 + 0.0*i,
    -0.81121472277114 + 0.0*i,
    0.107015695862172 + 0.0*i,
    0.298234367826375 + 0.0*i,
    0.285784740276729 + 0.0*i,
    -0.449784389450213 + 0.0*i,
    -0.731270518775086 + 0.0*i,
    -0.285424461122108 + 0.0*i,
    -0.0743527221842775 + 0.0*i,
    0.56346767365582 + 0.0*i,
    0.0282110579134468 + 0.0*i,
    -0.335431422415027 + 0.0*i,
    -0.0809285396423452 + 0.0*i
]);