V:=Matrix(CC,4,77,[
    -0.961322851867414 + 0.0*i,
    0.588056511246837 + 0.0*i,
    0.563181491630357 + 0.0*i,
    0.820677672227945 + 0.0*i,
    0.121210709628256 + 0.0*i,
    0.36256005883982 + 0.0*i,
    0.427552713742304 + 0.0*i,
    0.280353668306474 + 0.0*i,
    0.717086179812443 + 0.0*i,
    0.0851240689705916 + 0.0*i,
    -0.563750692150385 + 0.0*i,
    1.3350846594084 + 0.0*i,
    0.359935169881922 + 0.0*i,
    1.15002902885771 + 0.0*i,
    -0.938106410159073 + 0.0*i,
    0.345047165097452 + 0.0*i,
    0.235406869000041 + 0.0*i,
    -0.0660501254284636 + 0.0*i,
    0.233094749573646 + 0.0*i,
    0.0952690009953565 + 0.0*i,
    0.811927384624854 + 0.0*i,
    0.399886795620379 + 0.0*i,
    0.689083158926962 + 0.0*i,
    0.181295552784269 + 0.0*i,
    -0.407432430120126 + 0.0*i,
    0.0539751125014354 + 0.0*i,
    0.753065541684396 + 0.0*i,
    -0.865179159924806 + 0.0*i,
    0.118388499710011 + 0.0*i,
    -0.482219837814663 + 0.0*i,
    -0.00656043201567681 + 0.0*i,
    0.434408799376927 + 0.0*i,
    0.0748272990700262 + 0.0*i,
    -0.499510964259505 + 0.0*i,
    0.217928453479987 + 0.0*i,
    0.24284606804311 + 0.0*i,
    0.0800216075801112 + 0.0*i,
    0.0414230135903976 + 0.0*i,
    0.407811744726495 + 0.0*i,
    0.613202815729155 + 0.0*i,
    -0.324584490217835 + 0.0*i,
    -0.521777952942224 + 0.0*i,
    0.0204840323518176 + 0.0*i,
    0.647248056672013 + 0.0*i,
    0.17988216391796 + 0.0*i,
    0.196610106366912 + 0.0*i,
    0.359000472341916 + 0.0*i,
    0.231685646818725 + 0.0*i,
    -0.890314114996907 + 0.0*i,
    0.228407589746329 + 0.0*i,
    -0.488356427630417 + 0.0*i,
    0.284132346327027 + 0.0*i,
    -0.815128261940309 + 0.0*i,
    0.849891105355824 + 0.0*i,
    -0.64154715358415 + 0.0*i,
    -0.241615834592504 + 0.0*i,
    0.385583871246319 + 0.0*i,
    1.00093820577349 + 0.0*i,
    -0.118519536589332 + 0.0*i,
    0.165250870051739 + 0.0*i,
    -0.470375082551351 + 0.0*i,
    -0.235457451793018 + 0.0*i,
    0.610074237839249 + 0.0*i,
    -0.372381106120678 + 0.0*i,
    -0.338796528550524 + 0.0*i,
    0.994088102822717 + 0.0*i,
    -0.369244557131163 + 0.0*i,
    -0.43664943911809 + 0.0*i,
    0.472442863098509 + 0.0*i,
    -0.83007551225572 + 0.0*i,
    -0.265870250276109 + 0.0*i,
    0.657825820423829 + 0.0*i,
    0.19776488822004 + 0.0*i,
    -0.266531140893532 + 0.0*i,
    -0.0861741854540532 + 0.0*i,
    0.341741942475493 + 0.0*i,
    -0.011153752209325 + 0.0*i,
    0.650479709950907 + 0.0*i,
    -0.416227978302783 + 0.0*i,
    -0.175422459847965 + 0.0*i,
    0.653435847009347 + 0.0*i,
    0.883854795474431 + 0.0*i,
    -0.294929187677507 + 0.0*i,
    0.706918450903889 + 0.0*i,
    -0.182201436873513 + 0.0*i,
    0.55352328493316 + 0.0*i,
    0.365348569038232 + 0.0*i,
    -0.141260323085073 + 0.0*i,
    0.296036521049676 + 0.0*i,
    -0.0732525912177459 + 0.0*i,
    -0.00675496124180842 + 0.0*i,
    0.0027515368197718 + 0.0*i,
    0.00499104992776019 + 0.0*i,
    0.171486227088317 + 0.0*i,
    0.385034735040636 + 0.0*i,
    0.529772273224559 + 0.0*i,
    0.222059202025917 + 0.0*i,
    -0.788156536869369 + 0.0*i,
    -0.0625844516358639 + 0.0*i,
    -0.401237966223182 + 0.0*i,
    -0.489507822006274 + 0.0*i,
    0.354326873503274 + 0.0*i,
    0.672852172930353 + 0.0*i,
    -0.931019820920012 + 0.0*i,
    0.770619368534721 + 0.0*i,
    0.489044698654996 + 0.0*i,
    1.06794505629131 + 0.0*i,
    -0.111061434578076 + 0.0*i,
    0.682790387911764 + 0.0*i,
    -0.542074995312226 + 0.0*i,
    0.778575046515577 + 0.0*i,
    0.277528183642718 + 0.0*i,
    -0.729406203650361 + 0.0*i,
    -0.266753808635425 + 0.0*i,
    -0.413847606394172 + 0.0*i,
    -0.607087927389984 + 0.0*i,
    -0.122352220645469 + 0.0*i,
    0.131684867281839 + 0.0*i,
    -0.207020572545291 + 0.0*i,
    0.747747628715425 + 0.0*i,
    -0.63223600214041 + 0.0*i,
    -0.122122473145598 + 0.0*i,
    1.42334599988661 + 0.0*i,
    -0.459931578988678 + 0.0*i,
    0.350738652194322 + 0.0*i,
    0.166597913715861 + 0.0*i,
    -0.0595438180456582 + 0.0*i,
    0.302882143429925 + 0.0*i,
    -0.685836893626068 + 0.0*i,
    0.205461358950277 + 0.0*i,
    -0.212242561471685 + 0.0*i,
    -0.222473516822571 + 0.0*i,
    -0.417382631466355 + 0.0*i,
    -0.0682954472717048 + 0.0*i,
    0.662934004222246 + 0.0*i,
    -0.856738160441026 + 0.0*i,
    0.200066381997739 + 0.0*i,
    -1.07468809010264 + 0.0*i,
    0.685039038189142 + 0.0*i,
    0.94921931082907 + 0.0*i,
    -0.40004055691925 + 0.0*i,
    -0.195794427838853 + 0.0*i,
    -0.78382103117418 + 0.0*i,
    -0.132596018523556 + 0.0*i,
    -0.27699597187142 + 0.0*i,
    0.4639656877984 + 0.0*i,
    0.696717312965232 + 0.0*i,
    -0.0828086315121916 + 0.0*i,
    0.0952316814484028 + 0.0*i,
    -0.248533609622799 + 0.0*i,
    -0.304926269693065 + 0.0*i,
    0.531319881968757 + 0.0*i,
    -0.251344159503989 + 0.0*i,
    0.171256073542306 + 0.0*i,
    0.776751892278338 + 0.0*i,
    0.132870233183669 + 0.0*i,
    0.319809635354093 + 0.0*i,
    0.371539466860035 + 0.0*i,
    1.14448184799569 + 0.0*i,
    -0.448443682764858 + 0.0*i,
    0.045002472115861 + 0.0*i,
    -0.0299542354934453 + 0.0*i,
    -0.367596463482122 + 0.0*i,
    -0.19997021480672 + 0.0*i,
    1.32153129157252 + 0.0*i,
    0.366562170767879 + 0.0*i,
    -0.599716522611081 + 0.0*i,
    -0.466228267447733 + 0.0*i,
    -0.73266862522114 + 0.0*i,
    0.0504053144143796 + 0.0*i,
    0.444049723772897 + 0.0*i,
    0.327831059723884 + 0.0*i,
    0.21528678750068 + 0.0*i,
    1.381161616715 + 0.0*i,
    0.0511425266401586 + 0.0*i,
    -0.197477904110672 + 0.0*i,
    0.33589313351056 + 0.0*i,
    -0.213448280262596 + 0.0*i,
    0.038120938490061 + 0.0*i,
    -0.0874016581094292 + 0.0*i,
    1.0274787752349 + 0.0*i,
    0.112335212378346 + 0.0*i,
    -0.483677961786915 + 0.0*i,
    0.0551295144705651 + 0.0*i,
    0.344173770522442 + 0.0*i,
    -0.605026784178132 + 0.0*i,
    0.318590764077345 + 0.0*i,
    -0.0374866231033594 + 0.0*i,
    -0.265075497103159 + 0.0*i,
    -0.289662608658851 + 0.0*i,
    0.0799818350230849 + 0.0*i,
    0.615755614970355 + 0.0*i,
    0.39116945425605 + 0.0*i,
    -0.453582618712033 + 0.0*i,
    0.133225290846386 + 0.0*i,
    0.23704779046971 + 0.0*i,
    -0.772720003932739 + 0.0*i,
    -0.503115456833656 + 0.0*i,
    0.716807116645748 + 0.0*i,
    -0.295378022511899 + 0.0*i,
    0.207023347011054 + 0.0*i,
    -0.291137393602462 + 0.0*i,
    -0.343963096717041 + 0.0*i,
    0.24074814857766 + 0.0*i,
    -0.252918250026551 + 0.0*i,
    0.867560630526621 + 0.0*i,
    -0.278588132003853 + 0.0*i,
    0.633914918499834 + 0.0*i,
    -0.785815454435114 + 0.0*i,
    -0.00465985263962709 + 0.0*i,
    -0.634615677525575 + 0.0*i,
    -0.523731511935779 + 0.0*i,
    -0.42528066897394 + 0.0*i,
    0.356316705101397 + 0.0*i,
    -0.387767895206334 + 0.0*i,
    -0.709553754918284 + 0.0*i,
    0.317686041548448 + 0.0*i,
    0.603534427660224 + 0.0*i,
    -0.375246894710246 + 0.0*i,
    0.32892953801245 + 0.0*i,
    -0.135207825960316 + 0.0*i,
    0.1328730663337 + 0.0*i,
    0.318888271529009 + 0.0*i,
    0.0351168793682844 + 0.0*i,
    0.234322848810939 + 0.0*i,
    0.0312546766668643 + 0.0*i,
    0.0456374095694749 + 0.0*i,
    0.376168035483076 + 0.0*i,
    0.0086313102189822 + 0.0*i,
    -0.310897611729466 + 0.0*i,
    0.426821386353644 + 0.0*i,
    0.511031551006186 + 0.0*i,
    0.00334293209315587 + 0.0*i,
    0.0702510103510787 + 0.0*i,
    0.176581477927494 + 0.0*i,
    -0.378808305443709 + 0.0*i,
    -0.138814461773482 + 0.0*i,
    -0.207550614841999 + 0.0*i,
    0.179471588846694 + 0.0*i,
    0.859469267300244 + 0.0*i,
    -0.156666347028126 + 0.0*i,
    -0.150188671535608 + 0.0*i,
    -0.30612848209623 + 0.0*i,
    0.214659914032904 + 0.0*i,
    0.537388839618426 + 0.0*i,
    -0.885174054457463 + 0.0*i,
    -0.0928702589373112 + 0.0*i,
    0.151136453374134 + 0.0*i,
    0.0476805566719284 + 0.0*i,
    -0.280458188402164 + 0.0*i,
    0.287329062020269 + 0.0*i,
    0.0867013180883347 + 0.0*i,
    0.639735009536791 + 0.0*i,
    0.00184174332363304 + 0.0*i,
    -0.258968686368562 + 0.0*i,
    0.475077217883084 + 0.0*i,
    0.259950232767962 + 0.0*i,
    0.0543466236580281 + 0.0*i,
    -0.336773352434775 + 0.0*i,
    0.271295705351382 + 0.0*i,
    -0.214283081598597 + 0.0*i,
    0.432677326184404 + 0.0*i,
    -0.154525835271715 + 0.0*i,
    -0.181755074573086 + 0.0*i,
    -1.12531985833406 + 0.0*i,
    -0.493089937146059 + 0.0*i,
    -1.14490856210721 + 0.0*i,
    -0.115095166841602 + 0.0*i,
    -0.0964335239221779 + 0.0*i,
    -0.316578946258993 + 0.0*i,
    -0.216746518993311 + 0.0*i,
    0.36676401684845 + 0.0*i,
    0.177690963486452 + 0.0*i,
    -0.675184716708113 + 0.0*i,
    0.508089972045975 + 0.0*i,
    -0.237042518606987 + 0.0*i,
    0.128984104569586 + 0.0*i,
    -0.359536071521321 + 0.0*i,
    1.08779315700674 + 0.0*i,
    0.486829626886482 + 0.0*i,
    -0.229142067788237 + 0.0*i,
    0.0284332096622227 + 0.0*i,
    -0.44777904788454 + 0.0*i,
    0.5269510676683 + 0.0*i,
    -0.140048757719135 + 0.0*i,
    0.99961038249344 + 0.0*i,
    -0.101322236600189 + 0.0*i,
    0.890233396235559 + 0.0*i,
    -0.299605397639662 + 0.0*i,
    -0.319064537316137 + 0.0*i,
    0.388517187810139 + 0.0*i,
    0.600947169666846 + 0.0*i,
    0.694143448438013 + 0.0*i,
    0.814116533580184 + 0.0*i,
    1.14402594021399 + 0.0*i,
    -0.0607095966529479 + 0.0*i,
    -0.309512026603664 + 0.0*i,
    0.0163634989810846 + 0.0*i,
    0.372109987319905 + 0.0*i,
    -0.0496590844114446 + 0.0*i,
    -0.273908019173164 + 0.0*i,
    1.2811466660482 + 0.0*i,
    0.0132732514189725 + 0.0*i,
    -0.26986116753801 + 0.0*i,
    0.3260509047447 + 0.0*i,
    0.108749648269195 + 0.0*i,
    0.571852777600402 + 0.0*i,
    -0.307421576798861 + 0.0*i
]);