V:=Matrix(CC,4,92,[
    0.189531845491499 + 0.0*i,
    0.630758114901089 + 0.0*i,
    1.2434364546025 + 0.0*i,
    -1.18797755934648 + 0.0*i,
    -0.115367502687268 + 0.0*i,
    -0.936754405434348 + 0.0*i,
    -0.629309937576466 + 0.0*i,
    -0.311342907594289 + 0.0*i,
    0.82905098538234 + 0.0*i,
    -0.0134422005231558 + 0.0*i,
    0.00365015394197303 + 0.0*i,
    0.0597437529084562 + 0.0*i,
    0.641152517171606 + 0.0*i,
    0.45233612382829 + 0.0*i,
    -0.373157251346382 + 0.0*i,
    -0.234136775981679 + 0.0*i,
    0.700841327760798 + 0.0*i,
    0.074037525279546 + 0.0*i,
    -0.639598460524502 + 0.0*i,
    0.752807380861639 + 0.0*i,
    0.391471687658418 + 0.0*i,
    -0.267456937134337 + 0.0*i,
    -0.550790225384541 + 0.0*i,
    0.797156273289637 + 0.0*i,
    -0.0175354541521503 + 0.0*i,
    -0.187941415949902 + 0.0*i,
    0.501502033968349 + 0.0*i,
    0.208274481889282 + 0.0*i,
    -0.157924876400548 + 0.0*i,
    0.0870425455106218 + 0.0*i,
    0.0777136130797696 + 0.0*i,
    -0.266739359425711 + 0.0*i,
    -0.553420595524028 + 0.0*i,
    0.553993956703075 + 0.0*i,
    -0.657520698984545 + 0.0*i,
    -0.962882067010572 + 0.0*i,
    0.587256062785142 + 0.0*i,
    -0.587478884323385 + 0.0*i,
    0.0744763779268341 + 0.0*i,
    0.396767796691758 + 0.0*i,
    0.00547919608015165 + 0.0*i,
    0.184907320277392 + 0.0*i,
    -0.187055687381358 + 0.0*i,
    0.208501920972764 + 0.0*i,
    0.153357062755741 + 0.0*i,
    0.236056261202608 + 0.0*i,
    0.395573412600593 + 0.0*i,
    1.12979609308278 + 0.0*i,
    0.398599388356956 + 0.0*i,
    0.268544082809268 + 0.0*i,
    -1.11699475342157 + 0.0*i,
    0.014706086559277 + 0.0*i,
    -0.620676601532788 + 0.0*i,
    -0.0885953912482646 + 0.0*i,
    -0.399221300363924 + 0.0*i,
    1.45302394312601 + 0.0*i,
    -0.728390651782014 + 0.0*i,
    -0.533736689813223 + 0.0*i,
    -0.383124791951507 + 0.0*i,
    -0.323727463972652 + 0.0*i,
    -0.0455317216873146 + 0.0*i,
    -0.651467596281807 + 0.0*i,
    0.492611150598406 + 0.0*i,
    -0.92279464026846 + 0.0*i,
    -0.434376152264487 + 0.0*i,
    -0.657274844644895 + 0.0*i,
    -0.478580249568025 + 0.0*i,
    -0.0565244772169919 + 0.0*i,
    0.00682776212891476 + 0.0*i,
    -0.451577791161728 + 0.0*i,
    -0.726656070759883 + 0.0*i,
    -0.36346969768089 + 0.0*i,
    -0.453399520947826 + 0.0*i,
    -0.766538559846118 + 0.0*i,
    -0.147170498621941 + 0.0*i,
    -0.390970196632021 + 0.0*i,
    -0.104563848120313 + 0.0*i,
    0.478847048278515 + 0.0*i,
    0.144256561352348 + 0.0*i,
    -0.492191501801024 + 0.0*i,
    -0.146699801885553 + 0.0*i,
    -0.329312582347796 + 0.0*i,
    -0.12478776998604 + 0.0*i,
    0.754097784918472 + 0.0*i,
    0.42924082035492 + 0.0*i,
    -0.755172420314107 + 0.0*i,
    0.106047122666781 + 0.0*i,
    -0.198752747966771 + 0.0*i,
    0.661372765203481 + 0.0*i,
    -0.10294582326114 + 0.0*i,
    0.343717082990811 + 0.0*i,
    -0.976914452765931 + 0.0*i,
    0.504439497766524 + 0.0*i,
    -0.0656696127556152 + 0.0*i,
    -0.305017648300411 + 0.0*i,
    -0.176817540116688 + 0.0*i,
    0.55350444225907 + 0.0*i,
    -0.00262409796290707 + 0.0*i,
    0.0749338097277366 + 0.0*i,
    0.821712851635858 + 0.0*i,
    0.23855759283018 + 0.0*i,
    -0.243472051392101 + 0.0*i,
    -0.173449456065299 + 0.0*i,
    -0.759955566497002 + 0.0*i,
    0.845766051448799 + 0.0*i,
    0.334680992021561 + 0.0*i,
    -0.713928013215433 + 0.0*i,
    0.926947016918368 + 0.0*i,
    0.118304893004741 + 0.0*i,
    0.40123480327898 + 0.0*i,
    1.12989569302244 + 0.0*i,
    -0.197638413069196 + 0.0*i,
    -0.798833741488082 + 0.0*i,
    0.647106406829698 + 0.0*i,
    0.0187026149001077 + 0.0*i,
    0.638951411632594 + 0.0*i,
    -1.14829158348789 + 0.0*i,
    0.656362729875894 + 0.0*i,
    -0.80983411642725 + 0.0*i,
    0.259017160456685 + 0.0*i,
    0.193150053995412 + 0.0*i,
    0.523704402534701 + 0.0*i,
    0.121826431008176 + 0.0*i,
    -0.34758827476651 + 0.0*i,
    0.172706045516578 + 0.0*i,
    -0.0579165099612465 + 0.0*i,
    -0.322096745206614 + 0.0*i,
    -1.22904420164025 + 0.0*i,
    0.556465302617337 + 0.0*i,
    0.484160144675036 + 0.0*i,
    0.559205456348986 + 0.0*i,
    0.412961605229644 + 0.0*i,
    -0.323716962617457 + 0.0*i,
    -0.787349262084723 + 0.0*i,
    0.31372281654177 + 0.0*i,
    -0.403839289818834 + 0.0*i,
    0.518113588497226 + 0.0*i,
    -0.303371424320075 + 0.0*i,
    -0.241062099814926 + 0.0*i,
    0.302159820225624 + 0.0*i,
    0.0174519174573074 + 0.0*i,
    0.343681331767997 + 0.0*i,
    -0.514582433236702 + 0.0*i,
    0.0905569332073463 + 0.0*i,
    -0.573010975724003 + 0.0*i,
    -0.0902104928238469 + 0.0*i,
    -0.205491812716632 + 0.0*i,
    -0.0285715090446081 + 0.0*i,
    -0.289301436803305 + 0.0*i,
    -0.0887601757887276 + 0.0*i,
    -0.263058183141221 + 0.0*i,
    0.453679263593397 + 0.0*i,
    0.144663707107137 + 0.0*i,
    0.200906856589666 + 0.0*i,
    -1.00800103972009 + 0.0*i,
    0.10768164432474 + 0.0*i,
    -0.732038160869348 + 0.0*i,
    -0.574183018402353 + 0.0*i,
    -0.136968315523129 + 0.0*i,
    -0.988173721984174 + 0.0*i,
    -0.288490015431773 + 0.0*i,
    -0.104691052131496 + 0.0*i,
    0.252607385912391 + 0.0*i,
    -0.543451039719037 + 0.0*i,
    0.419351287483567 + 0.0*i,
    0.0264649196289827 + 0.0*i,
    -0.53177597601448 + 0.0*i,
    -0.100715589572208 + 0.0*i,
    0.3667441568658 + 0.0*i,
    0.335156452595954 + 0.0*i,
    -0.233183211205481 + 0.0*i,
    -0.768697476151684 + 0.0*i,
    -0.187633933542671 + 0.0*i,
    -0.156720529326038 + 0.0*i,
    1.22637732569197 + 0.0*i,
    -0.109126654666521 + 0.0*i,
    0.25736847336758 + 0.0*i,
    -0.0395686669655103 + 0.0*i,
    -0.506805754250806 + 0.0*i,
    -0.350371674328525 + 0.0*i,
    -0.331908575031248 + 0.0*i,
    0.691833323165663 + 0.0*i,
    -0.787200985655981 + 0.0*i,
    -0.0852224858608818 + 0.0*i,
    1.21075201765635 + 0.0*i,
    -0.613843394142925 + 0.0*i,
    0.038697894016852 + 0.0*i,
    -0.340424352530993 + 0.0*i,
    -0.101517435738924 + 0.0*i,
    -0.0361985988336478 + 0.0*i,
    0.541179334353181 + 0.0*i,
    -0.227930892469224 + 0.0*i,
    -0.178321027830203 + 0.0*i,
    0.313735754662293 + 0.0*i,
    0.196747875634813 + 0.0*i,
    0.213580555761786 + 0.0*i,
    0.408311759369199 + 0.0*i,
    -0.0723965293003222 + 0.0*i,
    0.0736033175035493 + 0.0*i,
    -0.050092324734288 + 0.0*i,
    0.408730603412622 + 0.0*i,
    0.65254070624798 + 0.0*i,
    0.673743158166544 + 0.0*i,
    -0.659889020522256 + 0.0*i,
    0.0841084204874666 + 0.0*i,
    -0.306473464463622 + 0.0*i,
    -0.133959798663862 + 0.0*i,
    0.0962362781223379 + 0.0*i,
    0.797879412957019 + 0.0*i,
    0.914588545380204 + 0.0*i,
    -0.185703373236207 + 0.0*i,
    0.786074774573359 + 0.0*i,
    0.0875053443134262 + 0.0*i,
    -0.288359243458655 + 0.0*i,
    -0.400403775669071 + 0.0*i,
    -0.0780365853380283 + 0.0*i,
    0.716008430540939 + 0.0*i,
    0.185633595892106 + 0.0*i,
    -0.377433140423255 + 0.0*i,
    0.400933700599731 + 0.0*i,
    -0.577196157572124 + 0.0*i,
    -0.233459158484389 + 0.0*i,
    -0.00684596022762006 + 0.0*i,
    0.213489445313365 + 0.0*i,
    -0.0765323787271441 + 0.0*i,
    0.173039876867216 + 0.0*i,
    -0.264698490729514 + 0.0*i,
    -0.627528158428311 + 0.0*i,
    -0.505391958681029 + 0.0*i,
    -0.438914471657123 + 0.0*i,
    -0.0957957339013176 + 0.0*i,
    -0.505216443002255 + 0.0*i,
    -0.32537823344703 + 0.0*i,
    -0.374307886953735 + 0.0*i,
    -0.360331550129472 + 0.0*i,
    0.21587971044583 + 0.0*i,
    -0.132974433402798 + 0.0*i,
    0.381036514469925 + 0.0*i,
    -1.33288536797006 + 0.0*i,
    0.297874537851771 + 0.0*i,
    0.0863135275800502 + 0.0*i,
    0.131186701008433 + 0.0*i,
    -0.611527257995515 + 0.0*i,
    -0.390696826800399 + 0.0*i,
    -0.33918946212333 + 0.0*i,
    -0.454961591727786 + 0.0*i,
    -0.163709779971095 + 0.0*i,
    0.0514181273426217 + 0.0*i,
    0.579598996919178 + 0.0*i,
    0.123460892747938 + 0.0*i,
    0.41143116075815 + 0.0*i,
    -0.359369002587283 + 0.0*i,
    0.877808196643758 + 0.0*i,
    1.2138557858943 + 0.0*i,
    0.513484804924981 + 0.0*i,
    -0.443947894498135 + 0.0*i,
    -0.412536787393577 + 0.0*i,
    -0.366740178719432 + 0.0*i,
    -0.111722788438813 + 0.0*i,
    0.22950392464977 + 0.0*i,
    0.193928273025394 + 0.0*i,
    0.991099744425335 + 0.0*i,
    0.181268960729923 + 0.0*i,
    0.255758451108534 + 0.0*i,
    0.759474410467519 + 0.0*i,
    -0.0379271229336757 + 0.0*i,
    0.0746554659278158 + 0.0*i,
    -0.340608404079145 + 0.0*i,
    0.360774931800271 + 0.0*i,
    0.111203616218217 + 0.0*i,
    -0.241050709304635 + 0.0*i,
    -0.417655590309482 + 0.0*i,
    -0.211550607925876 + 0.0*i,
    0.868912557248934 + 0.0*i,
    0.760035120607577 + 0.0*i,
    0.536662256099145 + 0.0*i,
    0.234114465877918 + 0.0*i,
    0.0911444068098753 + 0.0*i,
    -0.15193688628363 + 0.0*i,
    0.0507594839318527 + 0.0*i,
    -0.0913185290733743 + 0.0*i,
    0.756389657798004 + 0.0*i,
    -0.276990271678718 + 0.0*i,
    -0.817088393311222 + 0.0*i,
    -0.0658047788501989 + 0.0*i,
    0.581040467386043 + 0.0*i,
    -0.283641087639316 + 0.0*i,
    0.434212436143207 + 0.0*i,
    0.737503629846855 + 0.0*i,
    0.0526486385772394 + 0.0*i,
    0.690366503507017 + 0.0*i,
    -0.106981959255135 + 0.0*i,
    -0.19136064968371 + 0.0*i,
    -0.159994660346714 + 0.0*i,
    0.298814456812221 + 0.0*i,
    0.213890398534248 + 0.0*i,
    -0.0517610001673287 + 0.0*i,
    -0.38932583175816 + 0.0*i,
    -0.083485767932219 + 0.0*i,
    0.840147252925645 + 0.0*i,
    -0.293822607701006 + 0.0*i,
    -0.957205298330775 + 0.0*i,
    0.395565206733102 + 0.0*i,
    -0.367358417113717 + 0.0*i,
    0.591964999335627 + 0.0*i,
    0.641291591762242 + 0.0*i,
    0.0850307004068248 + 0.0*i,
    0.353098655737184 + 0.0*i,
    -0.015533547562399 + 0.0*i,
    -1.04381640852817 + 0.0*i,
    -0.601902060499455 + 0.0*i,
    0.241039905118819 + 0.0*i,
    0.611624229056674 + 0.0*i,
    0.274805654477798 + 0.0*i,
    -0.887148449822426 + 0.0*i,
    -0.382948345870586 + 0.0*i,
    0.289744958447425 + 0.0*i,
    0.512756662685185 + 0.0*i,
    -0.909772303646257 + 0.0*i,
    -1.38792840837358 + 0.0*i,
    -0.666295569650214 + 0.0*i,
    -0.614543907405702 + 0.0*i,
    -0.35864041865371 + 0.0*i,
    -0.372262978557788 + 0.0*i,
    -0.624706858574766 + 0.0*i,
    -0.231224201434976 + 0.0*i,
    0.318690871910075 + 0.0*i,
    -0.0524839882506131 + 0.0*i,
    0.116923032441922 + 0.0*i,
    -0.103726601249391 + 0.0*i,
    0.297821152577957 + 0.0*i,
    -0.457062180010915 + 0.0*i,
    0.0460068625346897 + 0.0*i,
    -0.454543794594649 + 0.0*i,
    -0.0487036570984031 + 0.0*i,
    0.315032491861695 + 0.0*i,
    -0.333310898421319 + 0.0*i,
    -1.10654683355291 + 0.0*i,
    0.102110483665584 + 0.0*i,
    0.09963129561029 + 0.0*i,
    -0.124657820859612 + 0.0*i,
    -0.0109898912162159 + 0.0*i,
    0.185793205901759 + 0.0*i,
    0.319915934323382 + 0.0*i,
    -0.303728927543857 + 0.0*i,
    0.538429014004957 + 0.0*i,
    -0.367812399012586 + 0.0*i,
    -1.05845454424641 + 0.0*i,
    0.919203746673063 + 0.0*i,
    -0.0407496468021933 + 0.0*i,
    0.698951579933512 + 0.0*i,
    0.266838809465374 + 0.0*i,
    0.4856139312653 + 0.0*i,
    -0.0487319494697083 + 0.0*i,
    -0.150601968413742 + 0.0*i,
    0.205097639642936 + 0.0*i,
    0.17536916771228 + 0.0*i,
    -0.509081087972908 + 0.0*i,
    0.163810285838065 + 0.0*i,
    0.119285842274739 + 0.0*i,
    -0.0823768544245262 + 0.0*i,
    0.0535533988912552 + 0.0*i,
    -0.214603737788029 + 0.0*i,
    0.686520437446777 + 0.0*i,
    -0.591392733706689 + 0.0*i,
    -0.0434103944409991 + 0.0*i,
    0.565601660235676 + 0.0*i,
    -0.815664319377269 + 0.0*i
]);