V:=Matrix(CC,4,43,[
    0.264174950183922 + 0.0*i,
    -0.542879254955518 + 0.0*i,
    -0.0326528362865268 + 0.0*i,
    0.877407058424911 + 0.0*i,
    0.0532091690685566 + 0.0*i,
    -0.491889728350676 + 0.0*i,
    0.303058770915511 + 0.0*i,
    -0.266220975755584 + 0.0*i,
    -0.438979342990745 + 0.0*i,
    0.683294206207436 + 0.0*i,
    -0.362725679829233 + 0.0*i,
    0.4430796762603 + 0.0*i,
    0.381641544497157 + 0.0*i,
    0.813425724551815 + 0.0*i,
    -0.810926322146196 + 0.0*i,
    -0.168670869685735 + 0.0*i,
    0.174544584620182 + 0.0*i,
    -0.550229273319423 + 0.0*i,
    -0.628323307721147 + 0.0*i,
    -0.160977014496851 + 0.0*i,
    0.362541263008777 + 0.0*i,
    0.807056479472551 + 0.0*i,
    -0.340303800099467 + 0.0*i,
    -0.334652835517904 + 0.0*i,
    -0.101647596456441 + 0.0*i,
    0.616717142306413 + 0.0*i,
    0.725975020872906 + 0.0*i,
    -0.503200318541046 + 0.0*i,
    -0.254966262172524 + 0.0*i,
    0.287177737962605 + 0.0*i,
    0.415200664921168 + 0.0*i,
    0.482082829803034 + 0.0*i,
    -0.34403507373446 + 0.0*i,
    -0.806231451434757 + 0.0*i,
    -0.124217452733887 + 0.0*i,
    -1.20528254758971 + 0.0*i,
    0.138216884977918 + 0.0*i,
    -0.849509087196809 + 0.0*i,
    0.370260275537921 + 0.0*i,
    -0.796911015503058 + 0.0*i,
    0.396583755055241 + 0.0*i,
    0.16437362836378 + 0.0*i,
    -0.0640430283167196 + 0.0*i,
    -0.811706414849625 + 0.0*i,
    0.0605047800715227 + 0.0*i,
    0.261178950858002 + 0.0*i,
    0.201717847995659 + 0.0*i,
    0.525142363612703 + 0.0*i,
    -0.0495428007906598 + 0.0*i,
    0.627457866038347 + 0.0*i,
    0.328559182384294 + 0.0*i,
    -0.625386718451979 + 0.0*i,
    0.0219365223041899 + 0.0*i,
    0.0369522491458745 + 0.0*i,
    -0.0718910823589259 + 0.0*i,
    1.06167021250889 + 0.0*i,
    -0.659712150256911 + 0.0*i,
    0.219554563415966 + 0.0*i,
    -0.594174933650917 + 0.0*i,
    -0.564768245308714 + 0.0*i,
    -0.726419399678988 + 0.0*i,
    -0.354064365694558 + 0.0*i,
    1.03518047497458 + 0.0*i,
    -0.838802971273261 + 0.0*i,
    -0.345392536512387 + 0.0*i,
    -0.0481945013081725 + 0.0*i,
    -0.248434383370697 + 0.0*i,
    0.0966748013580793 + 0.0*i,
    0.723116501920959 + 0.0*i,
    -0.192834302289633 + 0.0*i,
    0.132956485909281 + 0.0*i,
    0.337583265304591 + 0.0*i,
    -0.797199331941715 + 0.0*i,
    0.453624522816165 + 0.0*i,
    -0.215371273255589 + 0.0*i,
    -0.240791289700771 + 0.0*i,
    0.636738547517206 + 0.0*i,
    0.568954058065629 + 0.0*i,
    -0.338629843405887 + 0.0*i,
    0.142561115822141 + 0.0*i,
    0.527521048871118 + 0.0*i,
    -0.220609291885181 + 0.0*i,
    -0.0147744086783874 + 0.0*i,
    0.301252716106121 + 0.0*i,
    0.792138467460465 + 0.0*i,
    0.891379421148522 + 0.0*i,
    -0.129370533820497 + 0.0*i,
    -0.404639563667962 + 0.0*i,
    -0.212541827059231 + 0.0*i,
    0.660871905779309 + 0.0*i,
    0.31182409189723 + 0.0*i,
    0.21056571035919 + 0.0*i,
    0.653832128673503 + 0.0*i,
    -1.00292647218647 + 0.0*i,
    -0.337993183389685 + 0.0*i,
    0.833794277642455 + 0.0*i,
    -0.0395542341241423 + 0.0*i,
    -0.683317570748254 + 0.0*i,
    0.0946212654595896 + 0.0*i,
    -0.436090223510175 + 0.0*i,
    0.314939047086576 + 0.0*i,
    -0.310001529076635 + 0.0*i,
    0.244815168474781 + 0.0*i,
    -0.34124858430104 + 0.0*i,
    -0.0910794042446794 + 0.0*i,
    0.0499034897192344 + 0.0*i,
    -0.408159832378727 + 0.0*i,
    0.0128460683104568 + 0.0*i,
    0.515351266642893 + 0.0*i,
    0.344087800057675 + 0.0*i,
    0.890158927160671 + 0.0*i,
    -0.625433580218138 + 0.0*i,
    -0.545841130393743 + 0.0*i,
    -0.268700897823727 + 0.0*i,
    -0.291787185080951 + 0.0*i,
    0.43709750077778 + 0.0*i,
    0.750960164718423 + 0.0*i,
    0.551549743966751 + 0.0*i,
    0.977716319625705 + 0.0*i,
    -0.282007442323288 + 0.0*i,
    0.985773750275907 + 0.0*i,
    0.0330913733793986 + 0.0*i,
    -0.0877601928250827 + 0.0*i,
    -0.357150991059594 + 0.0*i,
    0.564460544115108 + 0.0*i,
    0.678199035670563 + 0.0*i,
    0.282335994300155 + 0.0*i,
    -0.53003597083621 + 0.0*i,
    -0.528696732243267 + 0.0*i,
    0.773149022683135 + 0.0*i,
    0.9718143924899 + 0.0*i,
    -0.122504167163614 + 0.0*i,
    -0.202566298421086 + 0.0*i,
    -0.401297340859506 + 0.0*i,
    0.179680326211457 + 0.0*i,
    0.383951422372351 + 0.0*i,
    0.327025683250078 + 0.0*i,
    0.690199494783514 + 0.0*i,
    0.104228518971253 + 0.0*i,
    -0.0596961008997043 + 0.0*i,
    0.875495879317603 + 0.0*i,
    0.163652698952714 + 0.0*i,
    0.207001502430542 + 0.0*i,
    -0.21015379625989 + 0.0*i,
    0.310139294168983 + 0.0*i,
    -0.210449033085247 + 0.0*i,
    0.271524745880631 + 0.0*i,
    -0.973561390952444 + 0.0*i,
    -0.0234994413019219 + 0.0*i,
    -0.711670928722201 + 0.0*i,
    -0.0206503024656732 + 0.0*i,
    -0.120605089218174 + 0.0*i,
    1.06445878811264 + 0.0*i,
    0.61596802192934 + 0.0*i,
    -0.114633441442973 + 0.0*i,
    -0.32960826651452 + 0.0*i,
    0.175850893491769 + 0.0*i,
    0.187604621186275 + 0.0*i,
    0.140983048918685 + 0.0*i,
    0.193339084800503 + 0.0*i,
    0.691624625284879 + 0.0*i,
    0.0738750665342933 + 0.0*i,
    0.476381113689108 + 0.0*i,
    -0.231024901352363 + 0.0*i,
    -0.0150374003495093 + 0.0*i,
    -0.374219294693249 + 0.0*i,
    -0.312957486380355 + 0.0*i,
    0.682066616574689 + 0.0*i,
    0.288091832995751 + 0.0*i,
    0.684919124989822 + 0.0*i,
    0.675503086554785 + 0.0*i,
    -0.337231284782637 + 0.0*i
]);