V:=Matrix(CC,4,123,[
    -0.137426432907535 + 0.0*i,
    -0.466838236447141 + 0.0*i,
    -0.353360308399776 + 0.0*i,
    -1.15354204426298 + 0.0*i,
    0.343826976413508 + 0.0*i,
    -0.705886816246745 + 0.0*i,
    -0.668970672617466 + 0.0*i,
    0.379553737166139 + 0.0*i,
    0.0670999684771293 + 0.0*i,
    -0.532614538416376 + 0.0*i,
    0.476450046196589 + 0.0*i,
    -0.176264920268381 + 0.0*i,
    0.23947211427015 + 0.0*i,
    -0.413606946441078 + 0.0*i,
    0.513279283035865 + 0.0*i,
    -0.0645310664992907 + 0.0*i,
    -0.580137944845717 + 0.0*i,
    0.00445083982869262 + 0.0*i,
    -0.122052514580129 + 0.0*i,
    0.343012980747471 + 0.0*i,
    -0.69419236748291 + 0.0*i,
    -0.141734408173944 + 0.0*i,
    0.305200513389145 + 0.0*i,
    0.466034378934916 + 0.0*i,
    -0.557995711658551 + 0.0*i,
    0.951549492794749 + 0.0*i,
    -0.930367756417907 + 0.0*i,
    0.210382559804295 + 0.0*i,
    -0.809103678317564 + 0.0*i,
    0.10459598164798 + 0.0*i,
    -0.03754503873166 + 0.0*i,
    0.602967406398486 + 0.0*i,
    0.444233553633797 + 0.0*i,
    -0.0824732058806999 + 0.0*i,
    0.0773653108940772 + 0.0*i,
    -0.449333415126971 + 0.0*i,
    -0.166738006377382 + 0.0*i,
    0.434458579330551 + 0.0*i,
    0.391992572511479 + 0.0*i,
    0.00712865437063352 + 0.0*i,
    -0.855465683361153 + 0.0*i,
    -0.459269020566924 + 0.0*i,
    0.1966269224544 + 0.0*i,
    0.316357577655898 + 0.0*i,
    -0.592804054969177 + 0.0*i,
    -0.343473844574008 + 0.0*i,
    -0.436335117987714 + 0.0*i,
    -0.426174269844823 + 0.0*i,
    -0.000197924567265265 + 0.0*i,
    1.30480140914405 + 0.0*i,
    -0.139597215345731 + 0.0*i,
    0.090946222310756 + 0.0*i,
    -0.34081555726117 + 0.0*i,
    0.184522891841838 + 0.0*i,
    0.344035465478758 + 0.0*i,
    0.280411732540056 + 0.0*i,
    -1.08880941669985 + 0.0*i,
    -0.0481882581929709 + 0.0*i,
    0.407699215690919 + 0.0*i,
    -0.287478863730288 + 0.0*i,
    -0.0446572915997065 + 0.0*i,
    -0.423303491641848 + 0.0*i,
    0.345285639090224 + 0.0*i,
    0.389922836981035 + 0.0*i,
    0.519338738136971 + 0.0*i,
    -0.0521410011055355 + 0.0*i,
    0.709814161154592 + 0.0*i,
    -0.0516998147469358 + 0.0*i,
    1.28869832529186 + 0.0*i,
    0.213793533726672 + 0.0*i,
    0.59793757557876 + 0.0*i,
    -0.315032413409433 + 0.0*i,
    0.390430632999721 + 0.0*i,
    -0.254979826506775 + 0.0*i,
    0.77033277896039 + 0.0*i,
    -0.616007563961909 + 0.0*i,
    0.116970268726625 + 0.0*i,
    -0.274201372626532 + 0.0*i,
    -0.588189235014463 + 0.0*i,
    -0.668285072002145 + 0.0*i,
    -0.0739824917591614 + 0.0*i,
    -0.51937962825335 + 0.0*i,
    0.113055146344862 + 0.0*i,
    -0.985610955970828 + 0.0*i,
    -0.990658376013779 + 0.0*i,
    0.195351259874039 + 0.0*i,
    0.880249010713536 + 0.0*i,
    0.234208273512127 + 0.0*i,
    0.560489915263217 + 0.0*i,
    0.0162935995235621 + 0.0*i,
    0.881106327948637 + 0.0*i,
    -0.368439332869078 + 0.0*i,
    0.825743359623822 + 0.0*i,
    0.497510023533575 + 0.0*i,
    0.281204900294525 + 0.0*i,
    -0.294103778585073 + 0.0*i,
    0.113978864317351 + 0.0*i,
    0.339338290042175 + 0.0*i,
    0.164154312656725 + 0.0*i,
    0.0536253371724164 + 0.0*i,
    0.357348150015655 + 0.0*i,
    0.00147900506634353 + 0.0*i,
    0.0741496070982655 + 0.0*i,
    0.288851185994293 + 0.0*i,
    0.0626867419259606 + 0.0*i,
    -0.0899015767671322 + 0.0*i,
    -0.639913803511409 + 0.0*i,
    0.476786618837126 + 0.0*i,
    -0.117672481718162 + 0.0*i,
    0.15814892588038 + 0.0*i,
    -0.736056137298241 + 0.0*i,
    -0.151832071774806 + 0.0*i,
    -0.201618404365326 + 0.0*i,
    0.33508033676238 + 0.0*i,
    -0.312134674829377 + 0.0*i,
    -0.387064285755609 + 0.0*i,
    -0.447481650312366 + 0.0*i,
    -1.1359891454509 + 0.0*i,
    0.590805819807923 + 0.0*i,
    -0.142393623363049 + 0.0*i,
    -0.376723826402952 + 0.0*i,
    0.710205712332649 + 0.0*i,
    -0.5889717681086 + 0.0*i,
    0.118012237192865 + 0.0*i,
    -0.0437188008096215 + 0.0*i,
    0.134531458086427 + 0.0*i,
    0.502869467053623 + 0.0*i,
    0.586156627227791 + 0.0*i,
    0.405997632855073 + 0.0*i,
    -0.0784871829923848 + 0.0*i,
    -0.491279749293892 + 0.0*i,
    0.835801915670778 + 0.0*i,
    -0.641458240559797 + 0.0*i,
    0.100866106099676 + 0.0*i,
    0.352831262489781 + 0.0*i,
    -0.151322072566661 + 0.0*i,
    -0.459139879721364 + 0.0*i,
    -1.17727640834607 + 0.0*i,
    -1.14836297690743 + 0.0*i,
    0.112403216238436 + 0.0*i,
    0.362436926459999 + 0.0*i,
    -0.816259658708805 + 0.0*i,
    -0.267279724108936 + 0.0*i,
    -0.157526783545417 + 0.0*i,
    0.42531902525034 + 0.0*i,
    0.279107721155259 + 0.0*i,
    0.572977106077688 + 0.0*i,
    -0.724187246130446 + 0.0*i,
    0.0327727972137305 + 0.0*i,
    -0.371085191487822 + 0.0*i,
    -0.101815524167898 + 0.0*i,
    -1.03073001068977 + 0.0*i,
    0.0577855011406548 + 0.0*i,
    -1.2358552049578 + 0.0*i,
    0.916504606348166 + 0.0*i,
    -0.158359372668053 + 0.0*i,
    0.568917725637183 + 0.0*i,
    0.306910139424774 + 0.0*i,
    0.306961242454948 + 0.0*i,
    -0.949316406618872 + 0.0*i,
    -0.579958273880629 + 0.0*i,
    -0.052926518297794 + 0.0*i,
    -0.216227338249385 + 0.0*i,
    -0.397902343521789 + 0.0*i,
    -0.496901852536616 + 0.0*i,
    0.135569997663611 + 0.0*i,
    1.43132008744957 + 0.0*i,
    0.172919904211299 + 0.0*i,
    0.731191824369289 + 0.0*i,
    1.18259073058335 + 0.0*i,
    0.254419129556173 + 0.0*i,
    -0.16978256215082 + 0.0*i,
    -0.399887132660681 + 0.0*i,
    -0.109535410881908 + 0.0*i,
    -0.428217943299798 + 0.0*i,
    0.804326455835897 + 0.0*i,
    -0.461418629856255 + 0.0*i,
    1.22444126614097 + 0.0*i,
    -0.0758434557488823 + 0.0*i,
    -0.103440901870859 + 0.0*i,
    -0.196569728760061 + 0.0*i,
    0.205501668579282 + 0.0*i,
    0.117616594709391 + 0.0*i,
    0.376511904732716 + 0.0*i,
    0.00612020556919286 + 0.0*i,
    0.666601421662539 + 0.0*i,
    0.377611257893878 + 0.0*i,
    -0.304773296973368 + 0.0*i,
    0.116948446092668 + 0.0*i,
    0.0804806179330215 + 0.0*i,
    -0.61920106768606 + 0.0*i,
    0.374267249720497 + 0.0*i,
    0.304251758157849 + 0.0*i,
    0.301925867124349 + 0.0*i,
    -0.164918721496733 + 0.0*i,
    -0.868324008989359 + 0.0*i,
    -0.193717085191564 + 0.0*i,
    0.474171937933711 + 0.0*i,
    -0.741718054829005 + 0.0*i,
    0.772376637232092 + 0.0*i,
    -0.0318347198470649 + 0.0*i,
    -0.355603073368447 + 0.0*i,
    0.13101224361826 + 0.0*i,
    0.00897678309036411 + 0.0*i,
    0.985952699121594 + 0.0*i,
    0.460548415374119 + 0.0*i,
    0.053766769240523 + 0.0*i,
    0.422149751232869 + 0.0*i,
    -0.572149535454057 + 0.0*i,
    0.41561564278486 + 0.0*i,
    0.563700366203038 + 0.0*i,
    -0.236334625889157 + 0.0*i,
    0.659473764001289 + 0.0*i,
    0.445495046848202 + 0.0*i,
    -0.188766467409618 + 0.0*i,
    0.0354582596046405 + 0.0*i,
    0.302461233263603 + 0.0*i,
    0.904741288093095 + 0.0*i,
    -0.28721057591301 + 0.0*i,
    -0.0930704308568107 + 0.0*i,
    -0.0927619673737961 + 0.0*i,
    -0.756265871256949 + 0.0*i,
    0.77608528987843 + 0.0*i,
    0.284789946486719 + 0.0*i,
    0.077693373580644 + 0.0*i,
    0.314950490283396 + 0.0*i,
    -0.378856564966192 + 0.0*i,
    0.469882332784089 + 0.0*i,
    0.478174567967281 + 0.0*i,
    -0.481194409102289 + 0.0*i,
    0.35273879014738 + 0.0*i,
    -0.26364055323559 + 0.0*i,
    0.078569692380433 + 0.0*i,
    -0.453676934422493 + 0.0*i,
    0.529789633911866 + 0.0*i,
    -0.635388013888858 + 0.0*i,
    -0.888785202329404 + 0.0*i,
    -0.439953716349175 + 0.0*i,
    -0.385147338023841 + 0.0*i,
    0.277590701584425 + 0.0*i,
    0.453433547333132 + 0.0*i,
    -0.135068609091202 + 0.0*i,
    0.49896624802824 + 0.0*i,
    0.102996968989823 + 0.0*i,
    0.136008769769421 + 0.0*i,
    0.692450738689052 + 0.0*i,
    -1.10083438869622 + 0.0*i,
    0.410456253253022 + 0.0*i,
    -0.14169835629847 + 0.0*i,
    0.37067294922728 + 0.0*i,
    0.198707159508773 + 0.0*i,
    0.229854835755658 + 0.0*i,
    -0.221678712172204 + 0.0*i,
    -0.0672522534849434 + 0.0*i,
    0.0605664544689427 + 0.0*i,
    -0.0829688154916502 + 0.0*i,
    0.556199145794868 + 0.0*i,
    -0.504219581554465 + 0.0*i,
    -0.332312561903718 + 0.0*i,
    0.369950636184367 + 0.0*i,
    0.559381364475627 + 0.0*i,
    1.08573209691514 + 0.0*i,
    0.250472730942326 + 0.0*i,
    -0.416297565566233 + 0.0*i,
    -0.366803058324653 + 0.0*i,
    0.742518278172202 + 0.0*i,
    -0.706676274554698 + 0.0*i,
    0.596797700571241 + 0.0*i,
    0.19505560060928 + 0.0*i,
    0.022158136000507 + 0.0*i,
    0.650728667110485 + 0.0*i,
    -0.443057098016746 + 0.0*i,
    0.576977372064157 + 0.0*i,
    -0.298238437885436 + 0.0*i,
    0.138327449830878 + 0.0*i,
    -0.188192353843514 + 0.0*i,
    0.787569017813118 + 0.0*i,
    -1.26332030679943 + 0.0*i,
    -0.129761534264795 + 0.0*i,
    -0.513718164335283 + 0.0*i,
    0.582001198881805 + 0.0*i,
    -0.0395726503891103 + 0.0*i,
    0.355827378347019 + 0.0*i,
    0.304288759440998 + 0.0*i,
    0.372543589070338 + 0.0*i,
    0.459606329389628 + 0.0*i,
    -0.377272584791546 + 0.0*i,
    0.16481775084484 + 0.0*i,
    0.43670468721648 + 0.0*i,
    0.00195920583756362 + 0.0*i,
    0.193611682640867 + 0.0*i,
    0.109410275791546 + 0.0*i,
    -0.222149637146364 + 0.0*i,
    0.502071762149474 + 0.0*i,
    -1.29965811518211 + 0.0*i,
    -0.347415822140133 + 0.0*i,
    -0.169372580437875 + 0.0*i,
    -0.371756186494889 + 0.0*i,
    -0.350312330994472 + 0.0*i,
    -0.161173634621156 + 0.0*i,
    0.450802107847053 + 0.0*i,
    0.476050826090209 + 0.0*i,
    -0.703870170887405 + 0.0*i,
    -0.279159247643479 + 0.0*i,
    0.101062392930473 + 0.0*i,
    -0.0687285429686198 + 0.0*i,
    -0.0897626625655421 + 0.0*i,
    -1.17993667202347 + 0.0*i,
    -0.178422896762833 + 0.0*i,
    -0.0933410960078638 + 0.0*i,
    -0.380226460336728 + 0.0*i,
    -0.147022335920434 + 0.0*i,
    0.512946344043103 + 0.0*i,
    0.263992531778024 + 0.0*i,
    -0.712469123427874 + 0.0*i,
    -0.775910166937883 + 0.0*i,
    0.488327688730899 + 0.0*i,
    -0.136006908698637 + 0.0*i,
    -0.296791347767477 + 0.0*i,
    -0.055490245156616 + 0.0*i,
    -0.194862399694598 + 0.0*i,
    -0.677875362427401 + 0.0*i,
    0.0183403669692001 + 0.0*i,
    -0.361258199453307 + 0.0*i,
    -0.866645439624521 + 0.0*i,
    0.854300577132014 + 0.0*i,
    -0.026127940149308 + 0.0*i,
    -0.551744688274272 + 0.0*i,
    -0.551483415330012 + 0.0*i,
    0.485763978239543 + 0.0*i,
    0.474721643722589 + 0.0*i,
    0.672620784033687 + 0.0*i,
    -0.330325727065709 + 0.0*i,
    0.579416244554524 + 0.0*i,
    -0.62109943194313 + 0.0*i,
    1.27665015178271 + 0.0*i,
    -0.368071373427903 + 0.0*i,
    -0.694991169311404 + 0.0*i,
    -0.542182456185571 + 0.0*i,
    -0.323055132052385 + 0.0*i,
    -0.481369128110219 + 0.0*i,
    -0.244046101115 + 0.0*i,
    0.251675009388075 + 0.0*i,
    -0.128170661372736 + 0.0*i,
    0.52300665115077 + 0.0*i,
    -0.20416600779154 + 0.0*i,
    0.30900334723134 + 0.0*i,
    -0.434806002161667 + 0.0*i,
    0.480367227029614 + 0.0*i,
    0.256302419961499 + 0.0*i,
    -0.688831908851858 + 0.0*i,
    -0.264639536546325 + 0.0*i,
    0.486060946620475 + 0.0*i,
    -0.0727917200469153 + 0.0*i,
    -0.528104938389617 + 0.0*i,
    0.302184708096897 + 0.0*i,
    -0.541914725400611 + 0.0*i,
    -0.189323053658779 + 0.0*i,
    -0.235583210591836 + 0.0*i,
    0.391909035235693 + 0.0*i,
    -0.26159891947613 + 0.0*i,
    -0.221644976671537 + 0.0*i,
    -0.522379874827031 + 0.0*i,
    0.382697469588981 + 0.0*i,
    0.662986155861278 + 0.0*i,
    0.100861521011817 + 0.0*i,
    -0.426988662726127 + 0.0*i,
    0.215076319178909 + 0.0*i,
    -0.0475988938592033 + 0.0*i,
    0.132974921852209 + 0.0*i,
    -0.108524409794916 + 0.0*i,
    0.412089157989506 + 0.0*i,
    -0.609914176581537 + 0.0*i,
    0.0776425383064265 + 0.0*i,
    0.479467051150498 + 0.0*i,
    0.319360259097149 + 0.0*i,
    -0.530900962455039 + 0.0*i,
    -1.00393033922611 + 0.0*i,
    0.847577094590187 + 0.0*i,
    -0.474444315950688 + 0.0*i,
    0.304781295670506 + 0.0*i,
    0.138658469453099 + 0.0*i,
    -0.131171793096116 + 0.0*i,
    -0.137718690996606 + 0.0*i,
    -0.539297741407308 + 0.0*i,
    0.428062975819142 + 0.0*i,
    -0.0571672189972052 + 0.0*i,
    0.276177509320398 + 0.0*i,
    -0.194761043242131 + 0.0*i,
    0.20020371692245 + 0.0*i,
    -0.615177929512748 + 0.0*i,
    0.66953114089665 + 0.0*i,
    -0.888463729532591 + 0.0*i,
    -0.480474363492871 + 0.0*i,
    -0.850621380789614 + 0.0*i,
    0.192645771669414 + 0.0*i,
    0.478411174535179 + 0.0*i,
    -0.59380098555628 + 0.0*i,
    0.236129860024123 + 0.0*i,
    -0.368683236300154 + 0.0*i,
    -0.72857673424362 + 0.0*i,
    0.607733903069803 + 0.0*i,
    -0.0495620022828982 + 0.0*i,
    -0.0840905713555915 + 0.0*i,
    -0.0426226383996561 + 0.0*i,
    -0.225078900987546 + 0.0*i,
    -0.764028946306515 + 0.0*i,
    0.373688122863185 + 0.0*i,
    0.0714547350017982 + 0.0*i,
    0.150889792737547 + 0.0*i,
    -0.23714819255504 + 0.0*i,
    0.0100451789540297 + 0.0*i,
    -0.272811751394225 + 0.0*i,
    0.419333005279781 + 0.0*i,
    -0.183502362656245 + 0.0*i,
    -0.440671997120243 + 0.0*i,
    -1.01626757121527 + 0.0*i,
    -0.367144469590834 + 0.0*i,
    -0.0601018091179059 + 0.0*i,
    -0.601533266674924 + 0.0*i,
    -0.129488618230141 + 0.0*i,
    0.442922716322886 + 0.0*i,
    0.23986896802799 + 0.0*i,
    0.289603140675874 + 0.0*i,
    0.497561534277088 + 0.0*i,
    -0.358351861980703 + 0.0*i,
    -0.025336750732979 + 0.0*i,
    -0.742185858974805 + 0.0*i,
    0.302184762560312 + 0.0*i,
    0.993649935569668 + 0.0*i,
    -0.718490781741714 + 0.0*i,
    -0.0321315017992598 + 0.0*i,
    -0.254956728628868 + 0.0*i,
    0.216703214878603 + 0.0*i,
    0.339275726566116 + 0.0*i,
    0.33583659689987 + 0.0*i,
    0.0110598092516109 + 0.0*i,
    -0.379829913916614 + 0.0*i,
    0.747256203029102 + 0.0*i,
    -0.335783183714684 + 0.0*i,
    -0.0523168328951222 + 0.0*i,
    0.32709898484807 + 0.0*i,
    -0.853218854543896 + 0.0*i,
    -0.907182882406257 + 0.0*i,
    -0.932281102025195 + 0.0*i,
    0.00388665128793828 + 0.0*i,
    0.896066794598753 + 0.0*i,
    0.327921447649037 + 0.0*i,
    0.562378747472699 + 0.0*i,
    1.31802572490606 + 0.0*i,
    -0.577330952341054 + 0.0*i,
    -0.293770466972382 + 0.0*i,
    0.879100284934308 + 0.0*i,
    0.0613211442295041 + 0.0*i,
    0.0436543813642015 + 0.0*i,
    -0.454558645706233 + 0.0*i,
    0.231125842692035 + 0.0*i,
    -0.0555134164039992 + 0.0*i,
    0.865670804154773 + 0.0*i,
    0.326687493157222 + 0.0*i,
    -0.988454790581259 + 0.0*i,
    -0.528243925535668 + 0.0*i,
    -0.260710995490448 + 0.0*i,
    -0.160768014339919 + 0.0*i,
    0.618096827145457 + 0.0*i,
    -0.15697697145115 + 0.0*i,
    -0.055396827688226 + 0.0*i,
    -0.642023942135336 + 0.0*i,
    -0.827237295059589 + 0.0*i,
    -0.0479431868512615 + 0.0*i,
    0.592776987006948 + 0.0*i,
    0.756769467867152 + 0.0*i,
    0.284636542797109 + 0.0*i,
    -0.776609813788056 + 0.0*i,
    0.506152997260734 + 0.0*i,
    -0.510100846624432 + 0.0*i,
    0.096483719189984 + 0.0*i,
    -0.0581728629516826 + 0.0*i,
    0.0733528190298489 + 0.0*i,
    0.243844039641896 + 0.0*i,
    0.880036500542378 + 0.0*i,
    -0.0732058756631448 + 0.0*i,
    -0.552654879559867 + 0.0*i,
    -0.771578751254951 + 0.0*i,
    -0.73692498681117 + 0.0*i,
    0.146612929400833 + 0.0*i,
    0.0289997273169141 + 0.0*i,
    -0.124057878329107 + 0.0*i,
    -0.468700286219201 + 0.0*i,
    -0.085482451147242 + 0.0*i,
    0.115251981964418 + 0.0*i,
    -0.0326161243487582 + 0.0*i
]);