V:=Matrix(CC,4,79,[
    0.339655498263156 + 0.0*i,
    0.146463165419058 + 0.0*i,
    -0.0880000039489934 + 0.0*i,
    0.22436761568608 + 0.0*i,
    0.155089846863021 + 0.0*i,
    -0.102678418534097 + 0.0*i,
    -0.251593726952426 + 0.0*i,
    0.0534623091384223 + 0.0*i,
    -0.207274265420868 + 0.0*i,
    0.213892970104063 + 0.0*i,
    -0.240694935813235 + 0.0*i,
    -0.219796484698705 + 0.0*i,
    -0.153564962925202 + 0.0*i,
    -0.0933744951240257 + 0.0*i,
    -0.0999138760532702 + 0.0*i,
    0.384117375386452 + 0.0*i,
    -0.0921626663677838 + 0.0*i,
    0.37406059113815 + 0.0*i,
    0.137759646464815 + 0.0*i,
    0.0634335164488171 + 0.0*i,
    0.276776996567243 + 0.0*i,
    0.307741240786163 + 0.0*i,
    0.0527391276478257 + 0.0*i,
    -0.280149174396953 + 0.0*i,
    0.262211144735899 + 0.0*i,
    -0.23235642903105 + 0.0*i,
    -0.320713686789004 + 0.0*i,
    0.258350991540113 + 0.0*i,
    -0.110520374961646 + 0.0*i,
    0.240766064170695 + 0.0*i,
    0.242187359225619 + 0.0*i,
    -0.226966388722593 + 0.0*i,
    0.0969408922645031 + 0.0*i,
    -0.420790766848258 + 0.0*i,
    0.297167897683916 + 0.0*i,
    0.161678142582045 + 0.0*i,
    0.123769837020221 + 0.0*i,
    0.285970151734972 + 0.0*i,
    0.343299830643621 + 0.0*i,
    -0.284853240946329 + 0.0*i,
    0.0358295424765676 + 0.0*i,
    0.180017248203554 + 0.0*i,
    0.0867977181865517 + 0.0*i,
    0.314775458112934 + 0.0*i,
    -0.0277885200635004 + 0.0*i,
    -0.424593278833607 + 0.0*i,
    -0.340767684103404 + 0.0*i,
    -0.103923028796847 + 0.0*i,
    0.0557891072402124 + 0.0*i,
    0.360721965013135 + 0.0*i,
    -0.159101007101758 + 0.0*i,
    0.356747067036405 + 0.0*i,
    -0.192316538065437 + 0.0*i,
    0.148244136257568 + 0.0*i,
    -0.177511564872134 + 0.0*i,
    0.251306050841305 + 0.0*i,
    0.00620187681919861 + 0.0*i,
    -0.377702917473505 + 0.0*i,
    0.0665954373979336 + 0.0*i,
    -0.119157820849735 + 0.0*i,
    -0.35650766019197 + 0.0*i,
    -0.0313652383880037 + 0.0*i,
    -0.372377936751061 + 0.0*i,
    0.293236387748362 + 0.0*i,
    0.00248021531134927 + 0.0*i,
    -0.184737718556126 + 0.0*i,
    -0.0779972685122761 + 0.0*i,
    -0.0164609463512018 + 0.0*i,
    -0.0986125564911211 + 0.0*i,
    0.155769533129364 + 0.0*i,
    0.0636248503806186 + 0.0*i,
    0.024359430820075 + 0.0*i,
    0.0699041919080638 + 0.0*i,
    -0.101596158108782 + 0.0*i,
    0.158697887859122 + 0.0*i,
    -0.0891668266634113 + 0.0*i,
    -0.14167128513662 + 0.0*i,
    -0.0291883686311697 + 0.0*i,
    -0.242888950763807 + 0.0*i,
    0.23511340832238 + 0.0*i,
    0.0602658716314383 + 0.0*i,
    0.214872918277826 + 0.0*i,
    -0.0763163335318456 + 0.0*i,
    0.0225192222828343 + 0.0*i,
    0.235094511942793 + 0.0*i,
    -0.0252434886118737 + 0.0*i,
    0.294767952781209 + 0.0*i,
    -0.314079018327914 + 0.0*i,
    -0.119970289031134 + 0.0*i,
    0.0293062535115857 + 0.0*i,
    -0.11317046765265 + 0.0*i,
    -0.358423796991975 + 0.0*i,
    0.0632149818557066 + 0.0*i,
    0.138641655379944 + 0.0*i,
    0.00845950697175526 + 0.0*i,
    0.310380480872351 + 0.0*i,
    -0.178054781981602 + 0.0*i,
    0.0825321140589752 + 0.0*i,
    0.397068136588062 + 0.0*i,
    0.223494439288978 + 0.0*i,
    0.178344042956983 + 0.0*i,
    -0.0923277406409921 + 0.0*i,
    0.0731719060666216 + 0.0*i,
    -0.273785691678858 + 0.0*i,
    -0.313735957551361 + 0.0*i,
    -0.29286304919072 + 0.0*i,
    -0.0975224747773236 + 0.0*i,
    0.320843458310994 + 0.0*i,
    -0.0152648760877065 + 0.0*i,
    -0.259296380468922 + 0.0*i,
    0.30200704771133 + 0.0*i,
    0.349891482094602 + 0.0*i,
    0.0855365354792134 + 0.0*i,
    -0.214185018716187 + 0.0*i,
    0.166851371475426 + 0.0*i,
    -0.411880063217053 + 0.0*i,
    0.215624066452685 + 0.0*i,
    0.0491493861959255 + 0.0*i,
    0.231408438684812 + 0.0*i,
    -0.156357157955861 + 0.0*i,
    -0.0655828434158654 + 0.0*i,
    0.346688208771598 + 0.0*i,
    -0.30057681003578 + 0.0*i,
    -0.0359356870173276 + 0.0*i,
    -0.114408713474621 + 0.0*i,
    -0.025721932861443 + 0.0*i,
    -0.190311845928059 + 0.0*i,
    -0.175732446165609 + 0.0*i,
    0.0824325932949623 + 0.0*i,
    0.380596193363363 + 0.0*i,
    0.16244490123198 + 0.0*i,
    -0.373018125759128 + 0.0*i,
    0.237286162466561 + 0.0*i,
    -0.103193929936327 + 0.0*i,
    0.214222301448821 + 0.0*i,
    -0.259456501169216 + 0.0*i,
    0.118259618611025 + 0.0*i,
    -0.0318646848562252 + 0.0*i,
    -0.313233055150749 + 0.0*i,
    -0.0656811215887587 + 0.0*i,
    0.0125208290679217 + 0.0*i,
    0.0550172470454925 + 0.0*i,
    -0.1203042340162 + 0.0*i,
    0.0328065480062265 + 0.0*i,
    -0.155500715571846 + 0.0*i,
    0.283275083581155 + 0.0*i,
    -0.431403162047924 + 0.0*i,
    -0.157063929223874 + 0.0*i,
    0.201337378664899 + 0.0*i,
    -0.306463640913337 + 0.0*i,
    0.163698532004922 + 0.0*i,
    -0.200250104634855 + 0.0*i,
    0.0704534850084362 + 0.0*i,
    0.158184933375729 + 0.0*i,
    -0.355725642209917 + 0.0*i,
    0.380795950992558 + 0.0*i,
    0.382081147334693 + 0.0*i,
    0.160979534549654 + 0.0*i,
    0.136841984522588 + 0.0*i,
    -0.38318296788968 + 0.0*i,
    -0.355151370064054 + 0.0*i,
    0.363003362329909 + 0.0*i,
    0.0973973442987465 + 0.0*i,
    -0.206001668856099 + 0.0*i,
    0.0953080770656948 + 0.0*i,
    -0.220092217256286 + 0.0*i,
    -0.025183289262474 + 0.0*i,
    -0.264016549670428 + 0.0*i,
    -0.311657109273664 + 0.0*i,
    0.264139493685865 + 0.0*i,
    0.189343406831868 + 0.0*i,
    -0.369103818741645 + 0.0*i,
    -0.23981115249512 + 0.0*i,
    0.0701910323121895 + 0.0*i,
    0.21255138175454 + 0.0*i,
    0.0616467112528113 + 0.0*i,
    0.222405256581641 + 0.0*i,
    -0.00671652624224101 + 0.0*i,
    -0.221947854163777 + 0.0*i,
    0.0136054510738613 + 0.0*i,
    -0.317536860548375 + 0.0*i,
    -0.226358737415333 + 0.0*i,
    -0.1023076918381 + 0.0*i,
    0.120752669779025 + 0.0*i,
    0.0116533283681473 + 0.0*i,
    -0.267173117150225 + 0.0*i,
    -0.0617715931379523 + 0.0*i,
    -0.101672844976729 + 0.0*i,
    0.246969678205397 + 0.0*i,
    -0.175717564023967 + 0.0*i,
    0.246701489001511 + 0.0*i,
    0.0668623391083498 + 0.0*i,
    -0.247271578779722 + 0.0*i,
    0.365419281085604 + 0.0*i,
    -0.00595882890857413 + 0.0*i,
    0.229823045813916 + 0.0*i,
    0.261851231757314 + 0.0*i,
    0.0866552867908831 + 0.0*i,
    -0.255723845726385 + 0.0*i,
    -0.389753834444971 + 0.0*i,
    -0.113645492724467 + 0.0*i,
    -0.0123157366644921 + 0.0*i,
    0.359683164358158 + 0.0*i,
    -0.0263200207961444 + 0.0*i,
    0.273540516714128 + 0.0*i,
    0.071880641332161 + 0.0*i,
    -0.132645028396773 + 0.0*i,
    -0.110595589358093 + 0.0*i,
    -0.0857823955704954 + 0.0*i,
    -0.166668188620792 + 0.0*i,
    -0.0770839343532117 + 0.0*i,
    0.184866238638006 + 0.0*i,
    -0.0586052592221525 + 0.0*i,
    0.0061592740432143 + 0.0*i,
    0.332987248748139 + 0.0*i,
    -0.176752038078949 + 0.0*i,
    -0.146027768675499 + 0.0*i,
    -0.090054208008716 + 0.0*i,
    -0.120468202070801 + 0.0*i,
    -0.436048720148827 + 0.0*i,
    0.140460183394551 + 0.0*i,
    0.101439131822683 + 0.0*i,
    -0.206262347394331 + 0.0*i,
    -0.276989722986468 + 0.0*i,
    0.297310092156513 + 0.0*i,
    -0.0200465638710391 + 0.0*i,
    -0.36729356363278 + 0.0*i,
    -0.356302655986248 + 0.0*i,
    -0.0783091123668606 + 0.0*i,
    -0.0277326491343547 + 0.0*i,
    -0.374455907266126 + 0.0*i,
    -0.0331258280450844 + 0.0*i,
    -0.235487522771464 + 0.0*i,
    -0.165279155210736 + 0.0*i,
    0.163661259802051 + 0.0*i,
    -0.199239535779622 + 0.0*i,
    -0.0158466505677165 + 0.0*i,
    0.112107180263577 + 0.0*i,
    -0.139988143707466 + 0.0*i,
    0.111024456527417 + 0.0*i,
    0.0156149470907148 + 0.0*i,
    0.395886226790673 + 0.0*i,
    -0.305323029493456 + 0.0*i,
    -0.337844956793119 + 0.0*i,
    0.236907897163627 + 0.0*i,
    0.181059637283455 + 0.0*i,
    0.249226244662617 + 0.0*i,
    0.191480755376506 + 0.0*i,
    -0.24638081079473 + 0.0*i,
    0.0336040110204224 + 0.0*i,
    -0.207591720965748 + 0.0*i,
    0.324155620072501 + 0.0*i,
    0.189198693901415 + 0.0*i,
    0.209341106383132 + 0.0*i,
    0.119589176613954 + 0.0*i,
    -0.329365428463729 + 0.0*i,
    0.141502396502237 + 0.0*i,
    -0.118431734171825 + 0.0*i,
    0.255294086103651 + 0.0*i,
    -0.274521286630556 + 0.0*i,
    -0.239248901211777 + 0.0*i,
    0.192113573919959 + 0.0*i,
    -0.156146616566862 + 0.0*i,
    0.0459036468302441 + 0.0*i,
    -0.2141315891825 + 0.0*i,
    0.286134631301966 + 0.0*i,
    -0.348879610928138 + 0.0*i,
    0.0893910906111993 + 0.0*i,
    0.149867653451846 + 0.0*i,
    0.0545605998648642 + 0.0*i,
    0.0766791792382402 + 0.0*i,
    -0.000871971403047219 + 0.0*i,
    0.0550162954590467 + 0.0*i,
    -0.0919589535681331 + 0.0*i,
    -0.109904164171395 + 0.0*i,
    0.0500060451912875 + 0.0*i,
    0.224979258919862 + 0.0*i,
    0.304932540053816 + 0.0*i,
    0.0685694082026899 + 0.0*i,
    -0.229840795205287 + 0.0*i,
    -0.0257510467880671 + 0.0*i,
    -0.249009307275765 + 0.0*i,
    -0.00280909889788619 + 0.0*i,
    0.0180479355654643 + 0.0*i,
    -0.375043671880733 + 0.0*i,
    -0.374307966060202 + 0.0*i,
    -0.202635914170369 + 0.0*i,
    -0.13213341813858 + 0.0*i,
    0.0897692583396123 + 0.0*i,
    -0.034536090318005 + 0.0*i,
    -0.261809812061097 + 0.0*i,
    0.370585546485338 + 0.0*i,
    -0.279551765460569 + 0.0*i,
    0.128274254869465 + 0.0*i,
    0.0665578580452606 + 0.0*i,
    0.408299737642843 + 0.0*i,
    -0.270080443419663 + 0.0*i,
    0.210937500974249 + 0.0*i,
    0.0164242404733395 + 0.0*i,
    -0.172090164599808 + 0.0*i,
    -0.284934803642943 + 0.0*i,
    -0.380457856987054 + 0.0*i,
    -0.281417060304204 + 0.0*i,
    -0.131952681638048 + 0.0*i,
    0.0579352921523374 + 0.0*i,
    0.147254619600863 + 0.0*i,
    0.0572736299441882 + 0.0*i,
    0.301350438780833 + 0.0*i,
    -0.403537749535357 + 0.0*i,
    -0.0872561610097654 + 0.0*i,
    0.417439044601303 + 0.0*i,
    -0.298306765478389 + 0.0*i,
    0.163089168538059 + 0.0*i,
    -0.00851064795317987 + 0.0*i,
    0.0408926047239166 + 0.0*i,
    -0.327080383134832 + 0.0*i
]);