V:=Matrix(CC,4,55,[
    -0.0506521200520509 + 0.0*i,
    0.586930937945278 + 0.0*i,
    -0.661223390427625 + 0.0*i,
    0.154099493642705 + 0.0*i,
    -0.283642018875107 + 0.0*i,
    -0.115701786593827 + 0.0*i,
    -0.870668857081351 + 0.0*i,
    0.203579774639838 + 0.0*i,
    0.308198882115885 + 0.0*i,
    0.427536618552616 + 0.0*i,
    0.499746872149269 + 0.0*i,
    0.359976967223553 + 0.0*i,
    -0.453442321118926 + 0.0*i,
    -0.665206794232664 + 0.0*i,
    0.195439219253412 + 0.0*i,
    0.281243630652455 + 0.0*i,
    -0.510965027623671 + 0.0*i,
    -1.16523090040624 + 0.0*i,
    0.123463519731741 + 0.0*i,
    0.0520863722865873 + 0.0*i,
    -0.0369515129885264 + 0.0*i,
    0.0992365121097192 + 0.0*i,
    -0.764994538380288 + 0.0*i,
    0.0794537894445635 + 0.0*i,
    0.251811669387384 + 0.0*i,
    -0.20805276202407 + 0.0*i,
    -1.10403832237701 + 0.0*i,
    -0.0466736112500524 + 0.0*i,
    0.164830496563127 + 0.0*i,
    0.940558027911985 + 0.0*i,
    -0.879364137068009 + 0.0*i,
    0.14073458071627 + 0.0*i,
    -0.297326764734432 + 0.0*i,
    -0.520390656654299 + 0.0*i,
    -0.525079374518099 + 0.0*i,
    0.677461806591544 + 0.0*i,
    -0.122875043701399 + 0.0*i,
    0.214426335688795 + 0.0*i,
    -0.698044178957905 + 0.0*i,
    0.187226476682111 + 0.0*i,
    -0.69847980260589 + 0.0*i,
    0.22483176102597 + 0.0*i,
    0.0782060474528792 + 0.0*i,
    0.120093905232505 + 0.0*i,
    0.0589975317105813 + 0.0*i,
    -0.737204388329106 + 0.0*i,
    0.407332075341632 + 0.0*i,
    -0.502740810158194 + 0.0*i,
    0.520603442214445 + 0.0*i,
    -0.246298769470976 + 0.0*i,
    -0.0306690037627385 + 0.0*i,
    0.409232914370046 + 0.0*i,
    0.634963071106421 + 0.0*i,
    0.546597881010744 + 0.0*i,
    0.311711604567619 + 0.0*i,
    -0.0333827866514491 + 0.0*i,
    -0.53985258558206 + 0.0*i,
    -0.32778425624405 + 0.0*i,
    -0.038010486635011 + 0.0*i,
    -0.446002385668821 + 0.0*i,
    -0.675657302327454 + 0.0*i,
    -0.247856128894142 + 0.0*i,
    -0.639605903898661 + 0.0*i,
    -0.116791535650057 + 0.0*i,
    -0.00113700512677417 + 0.0*i,
    0.849295292564235 + 0.0*i,
    0.151735878041644 + 0.0*i,
    0.756744201256088 + 0.0*i,
    0.17086336140589 + 0.0*i,
    -0.356520160717445 + 0.0*i,
    0.51732361766859 + 0.0*i,
    -0.321357701787778 + 0.0*i,
    0.094618889938314 + 0.0*i,
    1.18962717116355 + 0.0*i,
    0.210690235268665 + 0.0*i,
    0.0388026950891942 + 0.0*i,
    0.181801446430436 + 0.0*i,
    -0.206313765249217 + 0.0*i,
    0.724972033699215 + 0.0*i,
    -0.0382636686650299 + 0.0*i,
    -0.050691932334872 + 0.0*i,
    0.217480425959851 + 0.0*i,
    0.601115853854699 + 0.0*i,
    -0.459203534064431 + 0.0*i,
    0.100774300885624 + 0.0*i,
    -0.77622002005105 + 0.0*i,
    -0.505760548237111 + 0.0*i,
    -0.0997601571795146 + 0.0*i,
    0.853338733910647 + 0.0*i,
    0.255337209932452 + 0.0*i,
    -0.757789125852614 + 0.0*i,
    0.80352664523505 + 0.0*i,
    0.146690205127611 + 0.0*i,
    -0.351327624906465 + 0.0*i,
    -0.579634868701365 + 0.0*i,
    0.0848906815411646 + 0.0*i,
    -0.877889031287475 + 0.0*i,
    0.20395397247502 + 0.0*i,
    -0.956001940753165 + 0.0*i,
    0.749226771459923 + 0.0*i,
    0.486415179075804 + 0.0*i,
    -0.248983601959751 + 0.0*i,
    -0.353297185961034 + 0.0*i,
    -0.669165717501316 + 0.0*i,
    -0.28029320064135 + 0.0*i,
    -0.78374596883916 + 0.0*i,
    0.937581848197638 + 0.0*i,
    0.62302865246866 + 0.0*i,
    0.15234244792554 + 0.0*i,
    0.486039908939298 + 0.0*i,
    -0.181764085362087 + 0.0*i,
    -0.676214498971512 + 0.0*i,
    -0.409425410145405 + 0.0*i,
    0.268931949923477 + 0.0*i,
    0.330628831283609 + 0.0*i,
    0.687665037665941 + 0.0*i,
    -0.334202296674624 + 0.0*i,
    -0.0694185944552238 + 0.0*i,
    -0.213384453518255 + 0.0*i,
    -0.322149016348367 + 0.0*i,
    0.475261027200533 + 0.0*i,
    -0.898547199747257 + 0.0*i,
    0.956571738526865 + 0.0*i,
    -0.653437027282188 + 0.0*i,
    -0.42123379712224 + 0.0*i,
    0.86872539350143 + 0.0*i,
    0.208965553268573 + 0.0*i,
    0.255984285027316 + 0.0*i,
    0.150958900407158 + 0.0*i,
    0.416233703521263 + 0.0*i,
    0.99471060212392 + 0.0*i,
    -0.880089343854412 + 0.0*i,
    0.491201259085297 + 0.0*i,
    -0.0211109590736389 + 0.0*i,
    0.304533356599454 + 0.0*i,
    -0.734809837821271 + 0.0*i,
    -0.360102375851653 + 0.0*i,
    0.0836900917419568 + 0.0*i,
    0.0635525929208639 + 0.0*i,
    0.0117594556846016 + 0.0*i,
    0.0350615451556038 + 0.0*i,
    -0.615969340047638 + 0.0*i,
    -0.808333110286194 + 0.0*i,
    0.0575832344420927 + 0.0*i,
    0.496344911284752 + 0.0*i,
    -0.028382775093076 + 0.0*i,
    -0.426315245047952 + 0.0*i,
    0.124643480234301 + 0.0*i,
    0.744744777073692 + 0.0*i,
    0.0182832750883941 + 0.0*i,
    0.427113193547643 + 0.0*i,
    0.43297162016192 + 0.0*i,
    0.281537615161877 + 0.0*i,
    -0.130251340614808 + 0.0*i,
    0.077531789056742 + 0.0*i,
    -0.553822227224606 + 0.0*i,
    1.0483516599874 + 0.0*i,
    -0.826677252735748 + 0.0*i,
    0.166513179843329 + 0.0*i,
    0.189337386903608 + 0.0*i,
    0.805986068820958 + 0.0*i,
    -0.542507116405202 + 0.0*i,
    0.448023062298817 + 0.0*i,
    -0.81494493096016 + 0.0*i,
    0.111956329224724 + 0.0*i,
    -0.0131403856052053 + 0.0*i,
    0.336707209494272 + 0.0*i,
    0.832730317484525 + 0.0*i,
    -0.666502231440861 + 0.0*i,
    -0.473635883797932 + 0.0*i,
    0.84399992481989 + 0.0*i,
    0.106505769951741 + 0.0*i,
    -0.338825376412101 + 0.0*i,
    -0.931052278566636 + 0.0*i,
    0.249324399936022 + 0.0*i,
    -0.420979943026844 + 0.0*i,
    -0.264457483452679 + 0.0*i,
    0.227417043401964 + 0.0*i,
    0.468005539302462 + 0.0*i,
    -0.429327274778528 + 0.0*i,
    -0.245777671871978 + 0.0*i,
    -0.0521446707051598 + 0.0*i,
    0.527353612371659 + 0.0*i,
    -0.172888640007792 + 0.0*i,
    -0.498571628861136 + 0.0*i,
    -0.711736084408118 + 0.0*i,
    0.00458311002589944 + 0.0*i,
    -0.419583826385909 + 0.0*i,
    0.348228953637513 + 0.0*i,
    0.254031706621143 + 0.0*i,
    0.224017530246852 + 0.0*i,
    -0.375923701135931 + 0.0*i,
    0.263804893315184 + 0.0*i,
    1.19653865352216 + 0.0*i,
    0.210049684619282 + 0.0*i,
    0.0395545883774917 + 0.0*i,
    0.375858168180805 + 0.0*i,
    -0.185695221828591 + 0.0*i,
    -0.0353777597746518 + 0.0*i,
    0.881089320537121 + 0.0*i,
    0.563514335307012 + 0.0*i,
    -0.191960099165727 + 0.0*i,
    -0.420987073289845 + 0.0*i,
    0.164164336100978 + 0.0*i,
    -0.417702232989852 + 0.0*i,
    -0.81776054322395 + 0.0*i,
    0.0717396761860221 + 0.0*i,
    0.495994815958079 + 0.0*i,
    -0.424050666926662 + 0.0*i,
    0.308317731569059 + 0.0*i,
    0.168168489100056 + 0.0*i,
    0.276321776647809 + 0.0*i,
    -0.426629713570435 + 0.0*i,
    -0.790847927577293 + 0.0*i,
    0.0676092126090763 + 0.0*i,
    -0.500192084198982 + 0.0*i,
    0.343795742137933 + 0.0*i,
    0.574092923793624 + 0.0*i,
    -0.213471461679528 + 0.0*i,
    1.0480179045082 + 0.0*i
]);