V:=Matrix(CC,4,77,[
    -0.180121626324228 + 0.0*i,
    0.271688372459937 + 0.0*i,
    0.273096907725759 + 0.0*i,
    -0.118051961663455 + 0.0*i,
    0.347491968259607 + 0.0*i,
    -0.069370295453659 + 0.0*i,
    0.0120599554697253 + 0.0*i,
    -0.0115558782271533 + 0.0*i,
    -0.192637234466948 + 0.0*i,
    0.177673346565911 + 0.0*i,
    0.3453759424144 + 0.0*i,
    -0.138165897249602 + 0.0*i,
    -0.285738333814952 + 0.0*i,
    0.0410946132285725 + 0.0*i,
    -0.340597362698644 + 0.0*i,
    -0.259501883065554 + 0.0*i,
    -0.168055302754447 + 0.0*i,
    0.0975859359818165 + 0.0*i,
    -0.0984353924895312 + 0.0*i,
    -0.43704622739779 + 0.0*i,
    -0.188302792835973 + 0.0*i,
    -0.403879112305744 + 0.0*i,
    0.0690883943499442 + 0.0*i,
    0.172140255562205 + 0.0*i,
    -0.0240972880744045 + 0.0*i,
    0.2022427424428 + 0.0*i,
    -0.20537137262194 + 0.0*i,
    0.159444563864584 + 0.0*i,
    0.148869705127547 + 0.0*i,
    0.0617496006481582 + 0.0*i,
    -0.0451774078472299 + 0.0*i,
    0.00635723881248392 + 0.0*i,
    0.00251628096421104 + 0.0*i,
    -0.341255815216847 + 0.0*i,
    0.377901109819293 + 0.0*i,
    0.0615774523646875 + 0.0*i,
    0.322718374909253 + 0.0*i,
    -0.310127975870023 + 0.0*i,
    -0.350818380094307 + 0.0*i,
    0.163468894240618 + 0.0*i,
    -0.0153605289710576 + 0.0*i,
    -0.149508414166368 + 0.0*i,
    0.0502044824022916 + 0.0*i,
    0.221654356332238 + 0.0*i,
    0.245822608602859 + 0.0*i,
    0.0599159399356533 + 0.0*i,
    0.0866897817913309 + 0.0*i,
    0.362684506165066 + 0.0*i,
    -0.0293874873605268 + 0.0*i,
    -0.382743632424774 + 0.0*i,
    -0.287374948061568 + 0.0*i,
    -0.234833345713586 + 0.0*i,
    -0.364023996285681 + 0.0*i,
    0.059339780448339 + 0.0*i,
    -0.0641291459115435 + 0.0*i,
    -0.221943616248932 + 0.0*i,
    -0.138385886961002 + 0.0*i,
    -0.148577700036317 + 0.0*i,
    0.205163180497945 + 0.0*i,
    -0.246475069835665 + 0.0*i,
    -0.275078594669455 + 0.0*i,
    -0.176990889934086 + 0.0*i,
    0.0691035673451252 + 0.0*i,
    0.142914033845939 + 0.0*i,
    -0.235178341586426 + 0.0*i,
    -0.113654542004727 + 0.0*i,
    0.432345121465169 + 0.0*i,
    0.177365481000855 + 0.0*i,
    0.306234232714499 + 0.0*i,
    0.187778719849339 + 0.0*i,
    -0.00653482224325439 + 0.0*i,
    0.14941308304629 + 0.0*i,
    0.344865334720602 + 0.0*i,
    0.417645745656596 + 0.0*i,
    0.0200546834731703 + 0.0*i,
    0.296977606274524 + 0.0*i,
    -0.197940269881026 + 0.0*i,
    0.266291105340102 + 0.0*i,
    -0.191579759656849 + 0.0*i,
    0.269851135358198 + 0.0*i,
    0.0597799467547808 + 0.0*i,
    -0.0904635119573097 + 0.0*i,
    -0.375858837762805 + 0.0*i,
    -0.244600753202151 + 0.0*i,
    0.322612107703035 + 0.0*i,
    0.30668372584654 + 0.0*i,
    0.0206543706532961 + 0.0*i,
    0.220794065027768 + 0.0*i,
    -0.171436001086296 + 0.0*i,
    0.247590606597959 + 0.0*i,
    0.358940748649963 + 0.0*i,
    0.0133757068459155 + 0.0*i,
    -0.0187241915281999 + 0.0*i,
    -0.199784923777826 + 0.0*i,
    0.0898581252402708 + 0.0*i,
    0.427982205234787 + 0.0*i,
    -0.00748407822316515 + 0.0*i,
    0.216776637823332 + 0.0*i,
    0.168482880147139 + 0.0*i,
    -0.239365501942232 + 0.0*i,
    0.361373094151206 + 0.0*i,
    0.0207290220525567 + 0.0*i,
    0.191107630187124 + 0.0*i,
    0.131800433706178 + 0.0*i,
    0.242209002316408 + 0.0*i,
    0.32975078750182 + 0.0*i,
    -0.0778735995475092 + 0.0*i,
    0.269328700040643 + 0.0*i,
    0.22440598461594 + 0.0*i,
    0.126055099311928 + 0.0*i,
    -0.194270782688034 + 0.0*i,
    -0.214467309509218 + 0.0*i,
    -0.309062868373489 + 0.0*i,
    0.0379189962688246 + 0.0*i,
    -0.157440541396343 + 0.0*i,
    -0.152001312751945 + 0.0*i,
    0.09237952983724 + 0.0*i,
    -0.0801025909087221 + 0.0*i,
    -0.169920066072554 + 0.0*i,
    0.377631154945531 + 0.0*i,
    0.175440352839198 + 0.0*i,
    0.0418644917546046 + 0.0*i,
    -0.091509600458096 + 0.0*i,
    -0.399817895161732 + 0.0*i,
    -0.198837988823155 + 0.0*i,
    0.362681540552896 + 0.0*i,
    -0.237025694688675 + 0.0*i,
    0.175537215514204 + 0.0*i,
    0.102460043342937 + 0.0*i,
    -0.0265597489182169 + 0.0*i,
    0.210994895838249 + 0.0*i,
    0.188018097792113 + 0.0*i,
    0.184042072397699 + 0.0*i,
    0.06919126184458 + 0.0*i,
    0.0531317651000172 + 0.0*i,
    0.399341315603749 + 0.0*i,
    0.336658852504034 + 0.0*i,
    0.348026897939236 + 0.0*i,
    0.385611120689263 + 0.0*i,
    0.450724149414248 + 0.0*i,
    -0.190964305696715 + 0.0*i,
    -0.346901883939477 + 0.0*i,
    -0.218658403740359 + 0.0*i,
    0.0502608904687142 + 0.0*i,
    0.354963182233967 + 0.0*i,
    0.254889669949107 + 0.0*i,
    -0.331570751744838 + 0.0*i,
    0.0861701677058755 + 0.0*i,
    0.0460983828703792 + 0.0*i,
    -0.103750515031775 + 0.0*i,
    0.00705656878366155 + 0.0*i,
    -0.0870106830230589 + 0.0*i,
    0.060488821485973 + 0.0*i,
    -0.00759884413706614 + 0.0*i,
    -0.0928028626396147 + 0.0*i,
    0.256569218558923 + 0.0*i,
    -0.153119676793771 + 0.0*i,
    0.324687531584809 + 0.0*i,
    0.0599657053245003 + 0.0*i,
    0.152426795752815 + 0.0*i,
    0.27045447783123 + 0.0*i,
    0.133146931617944 + 0.0*i,
    0.242764131052744 + 0.0*i,
    0.409243513263187 + 0.0*i,
    -0.0081217239913554 + 0.0*i,
    -0.314793149143271 + 0.0*i,
    0.23505678912023 + 0.0*i,
    -0.286530486838211 + 0.0*i,
    -0.119409194256374 + 0.0*i,
    -0.352168445015313 + 0.0*i,
    0.364624563353086 + 0.0*i,
    -0.0136080432079852 + 0.0*i,
    0.108071185016669 + 0.0*i,
    0.0700499189491701 + 0.0*i,
    -0.349710477551485 + 0.0*i,
    0.0894084569655579 + 0.0*i,
    -0.212480499830147 + 0.0*i,
    0.152406720911977 + 0.0*i,
    -0.364266112112882 + 0.0*i,
    -0.290895704270712 + 0.0*i,
    -0.279088827032602 + 0.0*i,
    0.350821074583504 + 0.0*i,
    0.0720725935746353 + 0.0*i,
    -0.323832124092696 + 0.0*i,
    -0.317604996071544 + 0.0*i,
    0.0733436285618771 + 0.0*i,
    -0.43210786836991 + 0.0*i,
    -0.199219442928204 + 0.0*i,
    0.0333398877947628 + 0.0*i,
    -0.304444697258577 + 0.0*i,
    0.262095424412453 + 0.0*i,
    -0.0622720062159449 + 0.0*i,
    0.250915179230305 + 0.0*i,
    -0.328282264341437 + 0.0*i,
    0.145303554271377 + 0.0*i,
    -0.309386066844229 + 0.0*i,
    0.229866880443849 + 0.0*i,
    0.114516955117886 + 0.0*i,
    -0.117617193796304 + 0.0*i,
    0.409407744244163 + 0.0*i,
    -0.0388467277999203 + 0.0*i,
    0.174736209625261 + 0.0*i,
    -0.0803689557573696 + 0.0*i,
    0.0142192496726253 + 0.0*i,
    0.120998070937237 + 0.0*i,
    0.356469946318819 + 0.0*i,
    0.219042484951109 + 0.0*i,
    -0.197845725226721 + 0.0*i,
    0.394115222746454 + 0.0*i,
    0.180352725268136 + 0.0*i,
    -0.259855285747881 + 0.0*i,
    -0.00255247812546146 + 0.0*i,
    0.0387450823679226 + 0.0*i,
    0.00871789806293713 + 0.0*i,
    0.0333892426388002 + 0.0*i,
    -0.167749202740337 + 0.0*i,
    -0.0490717511522429 + 0.0*i,
    0.0570390245937243 + 0.0*i,
    0.163699143528524 + 0.0*i,
    0.0670880131715349 + 0.0*i,
    0.00362915084104334 + 0.0*i,
    -0.0855071835810007 + 0.0*i,
    0.192716249889971 + 0.0*i,
    0.18456261365774 + 0.0*i,
    0.141017441526287 + 0.0*i,
    0.168327808475987 + 0.0*i,
    -0.258470759279141 + 0.0*i,
    0.184720388435547 + 0.0*i,
    -0.433686344116394 + 0.0*i,
    -0.151663106731133 + 0.0*i,
    0.399404907390308 + 0.0*i,
    -0.318650664618546 + 0.0*i,
    0.171129148986917 + 0.0*i,
    -0.194384153960368 + 0.0*i,
    -0.309686881085256 + 0.0*i,
    -0.286566297717591 + 0.0*i,
    0.193655625120534 + 0.0*i,
    -0.264734514650535 + 0.0*i,
    0.295729316662253 + 0.0*i,
    -0.124642815667423 + 0.0*i,
    -0.0732853741548301 + 0.0*i,
    0.207206583474523 + 0.0*i,
    0.25372832230421 + 0.0*i,
    0.0841382192674098 + 0.0*i,
    0.0710061315977135 + 0.0*i,
    -0.28357237760136 + 0.0*i,
    -0.114728469797805 + 0.0*i,
    0.0722132595330657 + 0.0*i,
    -0.425971407831641 + 0.0*i,
    0.0750876126627251 + 0.0*i,
    -0.11461753383211 + 0.0*i,
    0.0379855789367804 + 0.0*i,
    0.088134760150305 + 0.0*i,
    0.306673006672121 + 0.0*i,
    0.154179927533086 + 0.0*i,
    0.268502662229113 + 0.0*i,
    0.20901402201681 + 0.0*i,
    0.258676037565298 + 0.0*i,
    0.0109122425859468 + 0.0*i,
    -0.269405923566723 + 0.0*i,
    -0.299478531489478 + 0.0*i,
    -0.16405156183586 + 0.0*i,
    -0.378025395723851 + 0.0*i,
    0.0787551864388185 + 0.0*i,
    -0.103591855471137 + 0.0*i,
    0.12806409212082 + 0.0*i,
    -0.138128040137598 + 0.0*i,
    -0.178425618237805 + 0.0*i,
    0.284342830829318 + 0.0*i,
    -0.0501825631125457 + 0.0*i,
    -0.244183120871001 + 0.0*i,
    -0.42157536005024 + 0.0*i,
    -0.244833085738894 + 0.0*i,
    -0.0993392290992514 + 0.0*i,
    0.337340354695557 + 0.0*i,
    -0.362636170771919 + 0.0*i,
    0.155116341776149 + 0.0*i,
    0.192866692449764 + 0.0*i,
    -0.0744919042749278 + 0.0*i,
    0.241399105230806 + 0.0*i,
    0.0326547112313797 + 0.0*i,
    -0.282743311679809 + 0.0*i,
    0.111964067251402 + 0.0*i,
    0.16485327534663 + 0.0*i,
    -0.351515771133604 + 0.0*i,
    -0.108281077198519 + 0.0*i,
    0.304973955684305 + 0.0*i,
    -0.343982655773599 + 0.0*i,
    -0.429090524259284 + 0.0*i,
    -0.041136924825659 + 0.0*i,
    0.183758498823758 + 0.0*i,
    -0.0543544220314106 + 0.0*i,
    -0.0536005798899346 + 0.0*i,
    0.0306490922036537 + 0.0*i,
    -0.38529186878197 + 0.0*i,
    -0.0278439577539534 + 0.0*i,
    -0.367530459471042 + 0.0*i,
    -0.116031806649905 + 0.0*i,
    0.20230264195954 + 0.0*i,
    -0.106338929635494 + 0.0*i,
    -0.150625316778466 + 0.0*i,
    0.424917945102056 + 0.0*i,
    -0.385401198559682 + 0.0*i,
    0.107853061683482 + 0.0*i,
    0.0312956608123103 + 0.0*i,
    -0.0839124683215548 + 0.0*i,
    0.309924064780116 + 0.0*i,
    -0.0678459375790107 + 0.0*i
]);