V:=Matrix(CC,4,40,[
    0.0642895596974237 + 0.0*i,
    -0.886516182052407 + 0.0*i,
    0.3462049935241 + 0.0*i,
    -0.23061698311812 + 0.0*i,
    0.59684141476885 + 0.0*i,
    0.771184840060835 + 0.0*i,
    -0.552535453889562 + 0.0*i,
    -0.430365096804896 + 0.0*i,
    0.349058431977923 + 0.0*i,
    -0.312887341921796 + 0.0*i,
    0.37238932599443 + 0.0*i,
    0.443591164733174 + 0.0*i,
    0.320497573286086 + 0.0*i,
    -0.0745468086303782 + 0.0*i,
    -0.167665900561592 + 0.0*i,
    0.52178345302309 + 0.0*i,
    -0.321136142290514 + 0.0*i,
    0.805198067619592 + 0.0*i,
    -0.289481579985979 + 0.0*i,
    0.153748088247901 + 0.0*i,
    0.273206249687448 + 0.0*i,
    0.712410859610335 + 0.0*i,
    -0.57413219932126 + 0.0*i,
    0.70832936341594 + 0.0*i,
    -0.229316246627517 + 0.0*i,
    -0.542239683272428 + 0.0*i,
    0.118069072387532 + 0.0*i,
    0.139925077793205 + 0.0*i,
    -0.816893875903174 + 0.0*i,
    -0.780954907264048 + 0.0*i,
    -0.776450298619419 + 0.0*i,
    0.603180614461303 + 0.0*i,
    -0.0344939749117555 + 0.0*i,
    0.2093951691931 + 0.0*i,
    -0.297618852151784 + 0.0*i,
    -0.0679447734479818 + 0.0*i,
    -0.418053235565143 + 0.0*i,
    0.711234088911427 + 0.0*i,
    -0.319401824539658 + 0.0*i,
    -0.0169836651959302 + 0.0*i,
    -0.984418667163412 + 0.0*i,
    -0.484812552265976 + 0.0*i,
    -0.169228917233686 + 0.0*i,
    -0.0458900725423716 + 0.0*i,
    0.344784139260426 + 0.0*i,
    0.165655484357595 + 0.0*i,
    0.520629499596367 + 0.0*i,
    -0.902841409205519 + 0.0*i,
    0.705400402187163 + 0.0*i,
    0.0873002754626174 + 0.0*i,
    -0.652427033371712 + 0.0*i,
    0.104037937866328 + 0.0*i,
    -0.0652632306184122 + 0.0*i,
    0.0983334837924327 + 0.0*i,
    -0.0323126678568316 + 0.0*i,
    -0.410025625490944 + 0.0*i,
    -0.353923551998351 + 0.0*i,
    -0.045202500822804 + 0.0*i,
    -0.575573080527113 + 0.0*i,
    -0.117715782732088 + 0.0*i,
    1.18711444241949 + 0.0*i,
    -0.182968043642547 + 0.0*i,
    0.048849227938998 + 0.0*i,
    -0.68389651272966 + 0.0*i,
    -0.741069487853891 + 0.0*i,
    0.840570185583231 + 0.0*i,
    0.372296492657428 + 0.0*i,
    -0.392167853184265 + 0.0*i,
    -0.99215343240909 + 0.0*i,
    -0.843738846162935 + 0.0*i,
    -0.30088054424245 + 0.0*i,
    -0.468172134910433 + 0.0*i,
    0.937317391868142 + 0.0*i,
    -0.174662413406889 + 0.0*i,
    0.457170900105602 + 0.0*i,
    0.666684947472062 + 0.0*i,
    -1.18998855163002 + 0.0*i,
    -0.160578064183914 + 0.0*i,
    0.18293505939733 + 0.0*i,
    -1.06560022190782 + 0.0*i,
    -0.544346524987369 + 0.0*i,
    0.441797269894993 + 0.0*i,
    -0.0770355929884352 + 0.0*i,
    -0.428641354737455 + 0.0*i,
    0.197084434518022 + 0.0*i,
    -1.39294226141103 + 0.0*i,
    1.00423972275783 + 0.0*i,
    -0.324439571791726 + 0.0*i,
    -0.330487533119702 + 0.0*i,
    0.817414948419072 + 0.0*i,
    -0.0835165075977966 + 0.0*i,
    0.291755803186175 + 0.0*i,
    0.406053836430241 + 0.0*i,
    0.679204018362105 + 0.0*i,
    -0.512966424764674 + 0.0*i,
    0.894758802882625 + 0.0*i,
    -0.183728123164144 + 0.0*i,
    -0.626437224084815 + 0.0*i,
    0.35498451899408 + 0.0*i,
    0.216594218191596 + 0.0*i,
    -0.564270548326035 + 0.0*i,
    0.116149261785518 + 0.0*i,
    0.569024154148141 + 0.0*i,
    0.408346628065407 + 0.0*i,
    -0.385147752042063 + 0.0*i,
    0.65851014833444 + 0.0*i,
    -0.846082038479741 + 0.0*i,
    -0.428221241649603 + 0.0*i,
    -0.669672894272783 + 0.0*i,
    0.200197690494677 + 0.0*i,
    0.567373289390928 + 0.0*i,
    0.0763468779756675 + 0.0*i,
    0.951682449840375 + 0.0*i,
    -0.709930645844549 + 0.0*i,
    -0.700029849606885 + 0.0*i,
    0.40215678251382 + 0.0*i,
    -0.171346974139196 + 0.0*i,
    -0.300857517988509 + 0.0*i,
    0.135102936740175 + 0.0*i,
    -0.0578671672425601 + 0.0*i,
    -0.619676314763595 + 0.0*i,
    -0.123247141430072 + 0.0*i,
    -0.0930120503662317 + 0.0*i,
    0.270256109590572 + 0.0*i,
    0.428512226100626 + 0.0*i,
    -0.243965591334393 + 0.0*i,
    0.712162424791056 + 0.0*i,
    0.285944274440307 + 0.0*i,
    -0.446775037090596 + 0.0*i,
    0.439500716268516 + 0.0*i,
    -0.115870929800579 + 0.0*i,
    0.50616424254909 + 0.0*i,
    0.00583712201053853 + 0.0*i,
    0.338672778872006 + 0.0*i,
    0.111622759269608 + 0.0*i,
    -0.308264362053809 + 0.0*i,
    0.0519300774082722 + 0.0*i,
    0.992653539183425 + 0.0*i,
    -0.124488699202512 + 0.0*i,
    0.070258576751484 + 0.0*i,
    0.408644564462956 + 0.0*i,
    0.0350628330181181 + 0.0*i,
    0.0521377903841064 + 0.0*i,
    -0.00928905194433633 + 0.0*i,
    -0.159621143991327 + 0.0*i,
    -0.00148876455369205 + 0.0*i,
    0.0535868687628588 + 0.0*i,
    0.294006834612793 + 0.0*i,
    0.150262086646488 + 0.0*i,
    0.0618856002209226 + 0.0*i,
    0.235776494288192 + 0.0*i,
    -0.415179536421849 + 0.0*i,
    0.578671432742262 + 0.0*i,
    0.0123618849527453 + 0.0*i,
    -0.459304963490215 + 0.0*i,
    -0.127993835356289 + 0.0*i,
    0.206839982999014 + 0.0*i,
    -0.401695755169406 + 0.0*i,
    0.136479147859962 + 0.0*i,
    -0.567680921850417 + 0.0*i
]);