V:=Matrix(CC,4,46,[
    -0.0438266962670505 + 0.0*i,
    -0.278686149317663 + 0.0*i,
    -0.0603945219387001 + 0.0*i,
    -0.490261797719343 + 0.0*i,
    -0.702906116772202 + 0.0*i,
    0.573732648775389 + 0.0*i,
    -0.686620266747989 + 0.0*i,
    -0.836299425762159 + 0.0*i,
    0.197949493589402 + 0.0*i,
    -0.291502003721244 + 0.0*i,
    -0.0996555332820393 + 0.0*i,
    0.694945102841382 + 0.0*i,
    -0.428492376069637 + 0.0*i,
    -0.333463038142156 + 0.0*i,
    -0.366052931131359 + 0.0*i,
    -0.834705789847679 + 0.0*i,
    0.818462284293627 + 0.0*i,
    0.720734632784295 + 0.0*i,
    0.231019797661602 + 0.0*i,
    -0.778226344801863 + 0.0*i,
    0.382498306371045 + 0.0*i,
    0.819936951242023 + 0.0*i,
    0.624483284456485 + 0.0*i,
    -0.144445735672417 + 0.0*i,
    0.39772378291395 + 0.0*i,
    0.493664260219233 + 0.0*i,
    -0.0235978740545721 + 0.0*i,
    -0.990636219772425 + 0.0*i,
    0.477735215997958 + 0.0*i,
    -0.437425093027308 + 0.0*i,
    -0.761584683988222 + 0.0*i,
    -0.0680882569422554 + 0.0*i,
    0.0173111831294816 + 0.0*i,
    -0.309507460737429 + 0.0*i,
    0.734236465283313 + 0.0*i,
    0.0530930366309766 + 0.0*i,
    0.369246937235645 + 0.0*i,
    0.326859573067812 + 0.0*i,
    -0.296302689209157 + 0.0*i,
    0.623864679783527 + 0.0*i,
    -0.196858027797439 + 0.0*i,
    -0.263264422526358 + 0.0*i,
    -0.526938751937081 + 0.0*i,
    -0.253795330830126 + 0.0*i,
    -0.26334648854427 + 0.0*i,
    -0.0947289518732699 + 0.0*i,
    0.84844777175714 + 0.0*i,
    -0.803064511039461 + 0.0*i,
    0.203018514133138 + 0.0*i,
    -0.489559967046923 + 0.0*i,
    0.654006593467962 + 0.0*i,
    0.526899265850906 + 0.0*i,
    0.100281749184338 + 0.0*i,
    -0.313070850446766 + 0.0*i,
    -0.736156555028552 + 0.0*i,
    -0.850072468020953 + 0.0*i,
    0.185620355811318 + 0.0*i,
    0.434481127212335 + 0.0*i,
    0.517628606552528 + 0.0*i,
    0.159971696998669 + 0.0*i,
    0.651308589561511 + 0.0*i,
    0.0852878076625573 + 0.0*i,
    0.522234506866743 + 0.0*i,
    -0.520751322602198 + 0.0*i,
    -0.75401310870375 + 0.0*i,
    0.106519803783462 + 0.0*i,
    -0.176897784671042 + 0.0*i,
    0.416716837278925 + 0.0*i,
    -0.519095963690917 + 0.0*i,
    -0.833888853938017 + 0.0*i,
    -0.118979100376835 + 0.0*i,
    0.329414491467075 + 0.0*i,
    0.475064113683672 + 0.0*i,
    0.143017857741238 + 0.0*i,
    0.86248484131399 + 0.0*i,
    -0.19510315943648 + 0.0*i,
    0.0148571431410025 + 0.0*i,
    0.747622417276511 + 0.0*i,
    -0.0768178615879727 + 0.0*i,
    -0.285287579598682 + 0.0*i,
    -0.0879521073630221 + 0.0*i,
    0.405152726280298 + 0.0*i,
    -0.4309437783923 + 0.0*i,
    0.533954560434299 + 0.0*i,
    -0.48274603654318 + 0.0*i,
    -0.602423673739367 + 0.0*i,
    -0.236852409502405 + 0.0*i,
    0.216351719215749 + 0.0*i,
    0.0285711854240087 + 0.0*i,
    -0.424220242433387 + 0.0*i,
    0.968999863735899 + 0.0*i,
    0.433585027189485 + 0.0*i,
    -0.366966891219174 + 0.0*i,
    -0.282548967513942 + 0.0*i,
    0.106151157205354 + 0.0*i,
    -0.118844776279595 + 0.0*i,
    -0.242099777130203 + 0.0*i,
    0.584321544281465 + 0.0*i,
    0.733438714358501 + 0.0*i,
    -0.226454466756825 + 0.0*i,
    0.598394946270144 + 0.0*i,
    0.329862673284416 + 0.0*i,
    -0.660309222325522 + 0.0*i,
    -0.44341985795451 + 0.0*i,
    -0.216320976677618 + 0.0*i,
    0.60638046870362 + 0.0*i,
    0.624719946978553 + 0.0*i,
    -0.496767603211783 + 0.0*i,
    0.081644474941123 + 0.0*i,
    -0.25391428525885 + 0.0*i,
    -0.000722868872005065 + 0.0*i,
    -0.483555388695482 + 0.0*i,
    0.370443907846105 + 0.0*i,
    -0.364812848899606 + 0.0*i,
    0.371804924770862 + 0.0*i,
    -0.50086002139175 + 0.0*i,
    0.868776562149609 + 0.0*i,
    0.757523717626954 + 0.0*i,
    0.646337639900859 + 0.0*i,
    0.1225906443792 + 0.0*i,
    -0.0229070045949241 + 0.0*i,
    -0.347177455313191 + 0.0*i,
    0.068601335746684 + 0.0*i,
    0.29074505184345 + 0.0*i,
    -0.973352617203038 + 0.0*i,
    -0.635074626781781 + 0.0*i,
    -0.128368253503622 + 0.0*i,
    -0.60078436111759 + 0.0*i,
    0.795078908030311 + 0.0*i,
    -0.76734635514973 + 0.0*i,
    0.362435693905008 + 0.0*i,
    -0.37248783560265 + 0.0*i,
    0.890368173194724 + 0.0*i,
    0.273563701256035 + 0.0*i,
    0.679423106986572 + 0.0*i,
    0.125868336586151 + 0.0*i,
    0.0545376086667623 + 0.0*i,
    0.868617978458362 + 0.0*i,
    0.379303160461209 + 0.0*i,
    0.45192862915614 + 0.0*i,
    0.980841877967905 + 0.0*i,
    -0.699547241581955 + 0.0*i,
    0.1466786339257 + 0.0*i,
    0.184135427453644 + 0.0*i,
    0.0867009425014128 + 0.0*i,
    -0.261928516462566 + 0.0*i,
    0.216777805231906 + 0.0*i,
    0.276495416332306 + 0.0*i,
    0.721267211531698 + 0.0*i,
    -0.42564337813232 + 0.0*i,
    0.707791159691833 + 0.0*i,
    0.711231306621944 + 0.0*i,
    -0.190439897475597 + 0.0*i,
    -0.194702526151306 + 0.0*i,
    -0.356529025811743 + 0.0*i,
    0.376554358408851 + 0.0*i,
    0.624365809225628 + 0.0*i,
    0.379673523597619 + 0.0*i,
    0.821518911445319 + 0.0*i,
    0.264944688975654 + 0.0*i,
    0.417852432773727 + 0.0*i,
    -0.0770199383473553 + 0.0*i,
    0.274483600142154 + 0.0*i,
    -0.266643367907741 + 0.0*i,
    -0.577293802715552 + 0.0*i,
    0.0485899556927399 + 0.0*i,
    0.2060729871972 + 0.0*i,
    0.803187567019463 + 0.0*i,
    -0.646076411192422 + 0.0*i,
    0.608273675839796 + 0.0*i,
    0.214370119919969 + 0.0*i,
    -0.637160529710627 + 0.0*i,
    -0.65912861898043 + 0.0*i,
    -0.672599551340291 + 0.0*i,
    -0.248431956456535 + 0.0*i,
    0.17985242143702 + 0.0*i,
    -0.73239430072869 + 0.0*i,
    -0.335080190310693 + 0.0*i,
    0.281892191292118 + 0.0*i,
    -0.905216134763788 + 0.0*i,
    -0.511256850003286 + 0.0*i,
    0.845027104060113 + 0.0*i,
    -0.0224363326373041 + 0.0*i,
    0.241786765635814 + 0.0*i
]);