V:=Matrix(CC,4,48,[
    -0.671656009238381 + 0.0*i,
    0.234037926957781 + 0.0*i,
    -0.088940190419677 + 0.0*i,
    -0.243771625381688 + 0.0*i,
    -0.495597700823079 + 0.0*i,
    -0.74570591658215 + 0.0*i,
    -0.263206400629098 + 0.0*i,
    0.339177373014369 + 0.0*i,
    -0.280553194480942 + 0.0*i,
    -0.690766161426677 + 0.0*i,
    0.160544734925383 + 0.0*i,
    -0.951016684110697 + 0.0*i,
    -0.809912038441137 + 0.0*i,
    0.198579258768599 + 0.0*i,
    0.103611964841163 + 0.0*i,
    -0.353131108147207 + 0.0*i,
    -0.362293098910659 + 0.0*i,
    -0.0731555701420346 + 0.0*i,
    0.56271721845407 + 0.0*i,
    -0.193856747282861 + 0.0*i,
    0.142939058202856 + 0.0*i,
    -0.861158096900379 + 0.0*i,
    -0.20871720350728 + 0.0*i,
    0.0354893838303133 + 0.0*i,
    0.153232319437816 + 0.0*i,
    0.697533004313612 + 0.0*i,
    -0.623399073562054 + 0.0*i,
    0.655147222488297 + 0.0*i,
    0.742575830659698 + 0.0*i,
    -0.114357423005774 + 0.0*i,
    1.04387458931768 + 0.0*i,
    0.0257032354852053 + 0.0*i,
    -0.435371376645527 + 0.0*i,
    0.780496496112657 + 0.0*i,
    -0.709628352572281 + 0.0*i,
    -0.298184027308967 + 0.0*i,
    -0.00810341863411212 + 0.0*i,
    0.276066520042082 + 0.0*i,
    0.481702995284878 + 0.0*i,
    -0.0254416078743244 + 0.0*i,
    -0.781116076847032 + 0.0*i,
    0.584767231262158 + 0.0*i,
    -0.910903003926944 + 0.0*i,
    0.186176086923212 + 0.0*i,
    0.257199618174243 + 0.0*i,
    -0.0542818974475772 + 0.0*i,
    0.58236215467358 + 0.0*i,
    0.29498524274051 + 0.0*i,
    -0.252916542840821 + 0.0*i,
    0.140268361276878 + 0.0*i,
    0.155342875264517 + 0.0*i,
    0.181576624558787 + 0.0*i,
    -0.567115502747028 + 0.0*i,
    0.147138959308917 + 0.0*i,
    -0.396065365099051 + 0.0*i,
    0.942620435616739 + 0.0*i,
    -0.337716917313087 + 0.0*i,
    0.112385345441681 + 0.0*i,
    0.731061117285788 + 0.0*i,
    0.147982162076973 + 0.0*i,
    0.521621140722161 + 0.0*i,
    -0.517792346901865 + 0.0*i,
    0.407747869631754 + 0.0*i,
    -0.520885932756051 + 0.0*i,
    0.454736957680492 + 0.0*i,
    -0.4138106533875 + 0.0*i,
    0.460304972547473 + 0.0*i,
    0.803511196485986 + 0.0*i,
    -0.298502931823193 + 0.0*i,
    -0.0320096243319543 + 0.0*i,
    0.0714543897091801 + 0.0*i,
    0.283914674460537 + 0.0*i,
    0.457845094036263 + 0.0*i,
    0.281359285390865 + 0.0*i,
    -0.743833976032752 + 0.0*i,
    0.173309792016992 + 0.0*i,
    0.721198555039685 + 0.0*i,
    -0.331102429427697 + 0.0*i,
    -0.107825056596653 + 0.0*i,
    -0.213549384228264 + 0.0*i,
    0.843052248900724 + 0.0*i,
    -0.351190272779652 + 0.0*i,
    -0.0910203128701731 + 0.0*i,
    0.678240043330055 + 0.0*i,
    1.10843973238336 + 0.0*i,
    0.529925329622823 + 0.0*i,
    -0.44266376646493 + 0.0*i,
    0.439458910264826 + 0.0*i,
    -0.2681608934066 + 0.0*i,
    -0.820015222474687 + 0.0*i,
    -0.496531981320734 + 0.0*i,
    -0.275965961273735 + 0.0*i,
    -0.358843123499638 + 0.0*i,
    0.555281660037042 + 0.0*i,
    -0.743144933835919 + 0.0*i,
    -0.646065909404853 + 0.0*i,
    -0.491755714336588 + 0.0*i,
    0.40143931279497 + 0.0*i,
    0.994587331812435 + 0.0*i,
    0.424421928558907 + 0.0*i,
    -0.630407606458579 + 0.0*i,
    0.239480628480072 + 0.0*i,
    -0.123334835986919 + 0.0*i,
    -0.410623653001192 + 0.0*i,
    -0.423031268979209 + 0.0*i,
    -1.00451350151095 + 0.0*i,
    0.735424348922844 + 0.0*i,
    -0.243709349735334 + 0.0*i,
    0.570785618335208 + 0.0*i,
    0.815963883437454 + 0.0*i,
    0.258420978186934 + 0.0*i,
    0.467368076545777 + 0.0*i,
    -0.0800371590876577 + 0.0*i,
    -0.225740928687637 + 0.0*i,
    0.121177307928156 + 0.0*i,
    0.409037677267931 + 0.0*i,
    -0.231316827845673 + 0.0*i,
    0.482484043148872 + 0.0*i,
    0.0554463785395673 + 0.0*i,
    -0.149189473680083 + 0.0*i,
    -0.408293866941859 + 0.0*i,
    -0.839949157000002 + 0.0*i,
    0.291037819549098 + 0.0*i,
    0.482942664373502 + 0.0*i,
    0.297098866916546 + 0.0*i,
    0.995213752426166 + 0.0*i,
    0.0699716868886636 + 0.0*i,
    -0.965537986351227 + 0.0*i,
    -0.143151925461575 + 0.0*i,
    0.357934452689828 + 0.0*i,
    -0.398983892741813 + 0.0*i,
    0.650792961336701 + 0.0*i,
    -0.0149676324398265 + 0.0*i,
    0.411185880414874 + 0.0*i,
    0.11999156593937 + 0.0*i,
    0.694404885352475 + 0.0*i,
    0.0103451732119076 + 0.0*i,
    0.449385797421518 + 0.0*i,
    0.144316203070277 + 0.0*i,
    0.121514872726245 + 0.0*i,
    0.455557720423828 + 0.0*i,
    0.502587869107932 + 0.0*i,
    -0.23490937800829 + 0.0*i,
    -0.290659637015322 + 0.0*i,
    -0.505944636177255 + 0.0*i,
    -0.992650054432954 + 0.0*i,
    0.45503565015215 + 0.0*i,
    0.929715962738447 + 0.0*i,
    0.381442046619872 + 0.0*i,
    0.736193140559202 + 0.0*i,
    -0.939926480494746 + 0.0*i,
    0.452544617771065 + 0.0*i,
    0.483335695914729 + 0.0*i,
    0.08689376453473 + 0.0*i,
    0.0972073818752226 + 0.0*i,
    0.381926953629172 + 0.0*i,
    0.0402637713680051 + 0.0*i,
    0.52678687415887 + 0.0*i,
    0.163280282962493 + 0.0*i,
    0.744006649892837 + 0.0*i,
    -0.987840039697541 + 0.0*i,
    -0.779594514170359 + 0.0*i,
    -0.72601912232677 + 0.0*i,
    0.243300417881399 + 0.0*i,
    0.642949690039958 + 0.0*i,
    -0.806806322819487 + 0.0*i,
    -0.412976671734346 + 0.0*i,
    -0.744635282871411 + 0.0*i,
    -0.220571908358175 + 0.0*i,
    -0.141131987281868 + 0.0*i,
    0.237560708283216 + 0.0*i,
    -0.401285025278415 + 0.0*i,
    0.230171114274324 + 0.0*i,
    -0.349299884323125 + 0.0*i,
    0.148111164291726 + 0.0*i,
    0.111267821786702 + 0.0*i,
    0.517506851325068 + 0.0*i,
    0.490936210880587 + 0.0*i,
    -0.185429446612939 + 0.0*i,
    -0.47229587055457 + 0.0*i,
    -0.308766393833997 + 0.0*i,
    0.542938102494036 + 0.0*i,
    0.371469792217993 + 0.0*i,
    -0.432071480267698 + 0.0*i,
    -0.10846703973421 + 0.0*i,
    0.0191839496658586 + 0.0*i,
    0.157283115065758 + 0.0*i,
    -0.15039456042205 + 0.0*i,
    -0.908998726399005 + 0.0*i,
    0.417357317089568 + 0.0*i,
    0.0879145508672835 + 0.0*i,
    -0.61710115077069 + 0.0*i
]);