V:=Matrix(CC,4,47,[
    -0.082085381293453 + 0.0*i,
    0.303238801773067 + 0.0*i,
    -0.483539038695414 + 0.0*i,
    0.160951153874404 + 0.0*i,
    -0.264451781208493 + 0.0*i,
    0.233041257558053 + 0.0*i,
    0.374118048061944 + 0.0*i,
    -0.771533389369988 + 0.0*i,
    0.0417113275962171 + 0.0*i,
    -0.111550420594332 + 0.0*i,
    -0.328089061168166 + 0.0*i,
    -0.509319690007638 + 0.0*i,
    -0.13004943216106 + 0.0*i,
    -0.189397224553319 + 0.0*i,
    -0.202825972014522 + 0.0*i,
    0.85895644156161 + 0.0*i,
    0.740801382923117 + 0.0*i,
    -0.429705284706399 + 0.0*i,
    -0.120755387168824 + 0.0*i,
    -0.377549378888101 + 0.0*i,
    0.309403748958178 + 0.0*i,
    0.471692858394085 + 0.0*i,
    -0.413043595333168 + 0.0*i,
    -0.18110902466641 + 0.0*i,
    0.310670170797225 + 0.0*i,
    -0.548804971560144 + 0.0*i,
    -0.107017166263997 + 0.0*i,
    0.559200798728164 + 0.0*i,
    -0.319623665529203 + 0.0*i,
    -0.420361522046114 + 0.0*i,
    -0.151238511633078 + 0.0*i,
    -0.744255994315396 + 0.0*i,
    0.0547799888823319 + 0.0*i,
    -0.0887629139329221 + 0.0*i,
    -0.480582471279682 + 0.0*i,
    1.35756238916725 + 0.0*i,
    -0.317799285648318 + 0.0*i,
    0.617768605879057 + 0.0*i,
    -0.256068450033059 + 0.0*i,
    0.522765309257898 + 0.0*i,
    -0.217946470734413 + 0.0*i,
    0.292178507997181 + 0.0*i,
    0.428459216714263 + 0.0*i,
    -0.0718100013447162 + 0.0*i,
    0.108137635355123 + 0.0*i,
    0.229245094659046 + 0.0*i,
    0.315692752570221 + 0.0*i,
    -0.116762675185577 + 0.0*i,
    -0.012204253391984 + 0.0*i,
    -0.568791744041188 + 0.0*i,
    -0.965088609140124 + 0.0*i,
    -0.669952566911613 + 0.0*i,
    -0.281365401008964 + 0.0*i,
    0.40662414735886 + 0.0*i,
    0.323940461623655 + 0.0*i,
    0.943598289005978 + 0.0*i,
    0.675540505121491 + 0.0*i,
    -0.565230968658617 + 0.0*i,
    0.519965974859011 + 0.0*i,
    0.298925498464186 + 0.0*i,
    0.365904056956415 + 0.0*i,
    0.242049036952721 + 0.0*i,
    -0.278999399269018 + 0.0*i,
    0.572467502381568 + 0.0*i,
    0.279535125063125 + 0.0*i,
    -0.403066948517285 + 0.0*i,
    -0.222004234329297 + 0.0*i,
    -0.272670498974648 + 0.0*i,
    0.658174840133377 + 0.0*i,
    0.454328105056397 + 0.0*i,
    -0.419729354815831 + 0.0*i,
    0.159774704193761 + 0.0*i,
    -0.0345746865885512 + 0.0*i,
    1.01137055608544 + 0.0*i,
    -0.360498717022872 + 0.0*i,
    -0.868599077324413 + 0.0*i,
    -0.631795839694076 + 0.0*i,
    0.464078425682112 + 0.0*i,
    0.181632964176778 + 0.0*i,
    0.973135818512548 + 0.0*i,
    0.885710655586683 + 0.0*i,
    -0.279818445551787 + 0.0*i,
    -0.0359132073812628 + 0.0*i,
    -0.0867872532287722 + 0.0*i,
    0.204209163647986 + 0.0*i,
    -0.851250418021881 + 0.0*i,
    -0.703012688880745 + 0.0*i,
    -0.471900976683549 + 0.0*i,
    0.25729439430234 + 0.0*i,
    -0.378311920807445 + 0.0*i,
    -0.0717989393702269 + 0.0*i,
    0.308277817551235 + 0.0*i,
    -0.19799673432728 + 0.0*i,
    0.158880241067344 + 0.0*i,
    -0.234208947558149 + 0.0*i,
    -0.363445391722455 + 0.0*i,
    -0.823967074990157 + 0.0*i,
    -0.120259466473004 + 0.0*i,
    -0.381117967666412 + 0.0*i,
    -0.900940233631279 + 0.0*i,
    0.249108431809195 + 0.0*i,
    -0.154602075972562 + 0.0*i,
    0.695405239657193 + 0.0*i,
    -0.46572098310935 + 0.0*i,
    0.0743736490724017 + 0.0*i,
    0.524099250994645 + 0.0*i,
    0.358662515432343 + 0.0*i,
    -0.22923084577695 + 0.0*i,
    0.199253130683644 + 0.0*i,
    -0.0777889446115165 + 0.0*i,
    0.898398069038561 + 0.0*i,
    0.842405988907389 + 0.0*i,
    -0.254782534486557 + 0.0*i,
    -0.361286354296397 + 0.0*i,
    0.465896901932585 + 0.0*i,
    0.910160507456176 + 0.0*i,
    -0.476432008001066 + 0.0*i,
    -0.716984458731139 + 0.0*i,
    1.05456976860821 + 0.0*i,
    -0.343758482023907 + 0.0*i,
    -0.593239209774321 + 0.0*i,
    -0.591234699317275 + 0.0*i,
    -0.460007870209851 + 0.0*i,
    -1.01049757386556 + 0.0*i,
    0.268752509710625 + 0.0*i,
    0.673465581254479 + 0.0*i,
    0.0750311269662188 + 0.0*i,
    0.817902659234754 + 0.0*i,
    0.581731081526846 + 0.0*i,
    0.164852032136161 + 0.0*i,
    -0.642714439936453 + 0.0*i,
    -0.567345528164647 + 0.0*i,
    -0.883591668731831 + 0.0*i,
    0.515348240241732 + 0.0*i,
    -0.614140142737088 + 0.0*i,
    -0.307285031442224 + 0.0*i,
    0.35675393628253 + 0.0*i,
    -0.133243088904422 + 0.0*i,
    0.136474859317139 + 0.0*i,
    0.0325120027450795 + 0.0*i,
    1.28937327236328 + 0.0*i,
    -0.397779811792301 + 0.0*i,
    -0.259918078729804 + 0.0*i,
    0.0523512465435865 + 0.0*i,
    0.594158064567226 + 0.0*i,
    -0.368137092882992 + 0.0*i,
    -0.396419348564692 + 0.0*i,
    -0.422549193841341 + 0.0*i,
    0.151817149597776 + 0.0*i,
    -0.148170422987769 + 0.0*i,
    0.542510932301873 + 0.0*i,
    -0.344150651930992 + 0.0*i,
    -0.546780118088489 + 0.0*i,
    -0.0643932530303586 + 0.0*i,
    0.0168421152561662 + 0.0*i,
    0.686031399966211 + 0.0*i,
    0.270694850053911 + 0.0*i,
    -0.0897136592218197 + 0.0*i,
    0.223869910027203 + 0.0*i,
    -0.0771652270108776 + 0.0*i,
    0.633725686813777 + 0.0*i,
    -0.670083862582863 + 0.0*i,
    0.271572498146284 + 0.0*i,
    0.782089453380459 + 0.0*i,
    -0.277835872187001 + 0.0*i,
    -0.241343251354171 + 0.0*i,
    -0.142062268609195 + 0.0*i,
    -0.665378730072593 + 0.0*i,
    -0.0165528998291658 + 0.0*i,
    0.24030978050871 + 0.0*i,
    0.226007866633806 + 0.0*i,
    0.664031349219379 + 0.0*i,
    0.0999616148565382 + 0.0*i,
    -0.670072666952199 + 0.0*i,
    0.794024815820797 + 0.0*i,
    -0.605183654529621 + 0.0*i,
    0.154920234892838 + 0.0*i,
    -0.572115104594798 + 0.0*i,
    1.07577387667448 + 0.0*i,
    -0.307118647133945 + 0.0*i,
    -0.587470378516559 + 0.0*i,
    -1.06872026578929 + 0.0*i,
    0.0828621612376602 + 0.0*i,
    0.407731544537233 + 0.0*i,
    0.787285138075167 + 0.0*i,
    0.360319550334163 + 0.0*i,
    0.205083983239336 + 0.0*i,
    -0.0456395915833701 + 0.0*i
]);