V:=Matrix(CC,9,43,[
    -0.367187483217684 + 0.0*i,
    0.490167864083596 + 0.0*i,
    -0.288667531391368 + 0.0*i,
    -0.159371344984827 + 0.0*i,
    0.0721573563672225 + 0.0*i,
    0.099087535921336 + 0.0*i,
    -0.438310238874641 + 0.0*i,
    -0.00383552010003552 + 0.0*i,
    -0.354796548525098 + 0.0*i,
    0.0293137438201608 + 0.0*i,
    -0.260713699983717 + 0.0*i,
    0.0632781159305974 + 0.0*i,
    0.536002630852133 + 0.0*i,
    0.446976870840146 + 0.0*i,
    -0.0127975363447255 + 0.0*i,
    0.115439041040438 + 0.0*i,
    0.346052158565052 + 0.0*i,
    -0.261318757768939 + 0.0*i,
    -0.369968250154691 + 0.0*i,
    -0.230272314195479 + 0.0*i,
    -0.376611790386883 + 0.0*i,
    -0.240588677617334 + 0.0*i,
    0.185814198309789 + 0.0*i,
    0.404022968541747 + 0.0*i,
    0.357522732028868 + 0.0*i,
    -0.0400545255473806 + 0.0*i,
    -0.116037107542107 + 0.0*i,
    0.659798983985309 + 0.0*i,
    0.127711708157215 + 0.0*i,
    0.294955895622699 + 0.0*i,
    0.0779526724901245 + 0.0*i,
    0.390052621368528 + 0.0*i,
    -0.479373381042471 + 0.0*i,
    -0.0582746669748342 + 0.0*i,
    0.00190398430009965 + 0.0*i,
    0.363421317179948 + 0.0*i,
    -0.656815129743087 + 0.0*i,
    -0.755821275864524 + 0.0*i,
    0.437375336104914 + 0.0*i,
    0.0761583680868963 + 0.0*i,
    -0.206384735534959 + 0.0*i,
    0.082795581235975 + 0.0*i,
    0.451296346777576 + 0.0*i,
    0.252018050579991 + 0.0*i,
    -0.580799745297679 + 0.0*i,
    -0.533979748101502 + 0.0*i,
    -0.174046066674283 + 0.0*i,
    -0.37742677550468 + 0.0*i,
    0.341380208391705 + 0.0*i,
    -0.2440259599481 + 0.0*i,
    -0.220533784637542 + 0.0*i,
    -0.0465295110436643 + 0.0*i,
    0.125446585166898 + 0.0*i,
    0.0894304833910593 + 0.0*i,
    0.0421038746697149 + 0.0*i,
    0.30251460542587 + 0.0*i,
    -0.371706456565726 + 0.0*i,
    0.364652832138261 + 0.0*i,
    -0.345009465969606 + 0.0*i,
    -0.389142724684656 + 0.0*i,
    -0.624192999251497 + 0.0*i,
    0.174548726602476 + 0.0*i,
    -0.317859197237451 + 0.0*i,
    0.529074460049611 + 0.0*i,
    0.364004690639656 + 0.0*i,
    -0.155766975438099 + 0.0*i,
    -0.392273514493788 + 0.0*i,
    0.0510965102089647 + 0.0*i,
    0.38495839735132 + 0.0*i,
    -0.328988759954509 + 0.0*i,
    -0.222328301626979 + 0.0*i,
    -0.585663133166188 + 0.0*i,
    0.365859367055239 + 0.0*i,
    -0.0340705163354373 + 0.0*i,
    -0.0668811662502741 + 0.0*i,
    -0.00718706598672238 + 0.0*i,
    -0.500104734461015 + 0.0*i,
    -0.0712180923929568 + 0.0*i,
    0.100605882354654 + 0.0*i,
    0.141630350231435 + 0.0*i,
    -0.435324312963274 + 0.0*i,
    0.311527059960456 + 0.0*i,
    -0.313370355857278 + 0.0*i,
    0.191424243828054 + 0.0*i,
    0.499761144929768 + 0.0*i,
    0.40517856499826 + 0.0*i,
    0.296959612157196 + 0.0*i,
    -0.203473538860396 + 0.0*i,
    0.219601174355082 + 0.0*i,
    -0.0460925685491121 + 0.0*i,
    -0.410808834479447 + 0.0*i,
    0.0865900631987364 + 0.0*i,
    0.758579156270477 + 0.0*i,
    -0.0949455234469075 + 0.0*i,
    0.22162335984586 + 0.0*i,
    0.366370889662703 + 0.0*i,
    -0.616191915538245 + 0.0*i,
    -0.0781964096573809 + 0.0*i,
    0.176116257057583 + 0.0*i,
    -0.114379946436231 + 0.0*i,
    -0.204638524924142 + 0.0*i,
    -0.367299035738391 + 0.0*i,
    0.621547313050732 + 0.0*i,
    -0.605935525498358 + 0.0*i,
    0.299488959646432 + 0.0*i,
    -0.00356138760292281 + 0.0*i,
    0.122427324729763 + 0.0*i,
    0.394208675169693 + 0.0*i,
    -0.857446570275702 + 0.0*i,
    0.505362880236582 + 0.0*i,
    0.0842476568167765 + 0.0*i,
    -0.0281215516044316 + 0.0*i,
    0.417930794432347 + 0.0*i,
    0.252218473905769 + 0.0*i,
    -0.00440076495193987 + 0.0*i,
    -0.328794030341434 + 0.0*i,
    -0.100020878305271 + 0.0*i,
    -0.177873506887556 + 0.0*i,
    -0.254337891917132 + 0.0*i,
    -0.274992364159558 + 0.0*i,
    0.134480048818495 + 0.0*i,
    0.267108189699599 + 0.0*i,
    -0.228998210169242 + 0.0*i,
    0.117285569085533 + 0.0*i,
    0.123125765985288 + 0.0*i,
    0.237110546561909 + 0.0*i,
    0.465986865726925 + 0.0*i,
    -0.377168081942665 + 0.0*i,
    0.0781133128623681 + 0.0*i,
    -0.200123494587691 + 0.0*i,
    0.221242139701075 + 0.0*i,
    0.431998821521802 + 0.0*i,
    0.130005425425488 + 0.0*i,
    0.285419985630996 + 0.0*i,
    0.543596038337023 + 0.0*i,
    0.293141567926674 + 0.0*i,
    0.291959944636697 + 0.0*i,
    0.446550276203131 + 0.0*i,
    -0.761824332523592 + 0.0*i,
    0.0169640355687691 + 0.0*i,
    -0.0340197986123849 + 0.0*i,
    0.0889712815922207 + 0.0*i,
    0.275598126722272 + 0.0*i,
    -0.213816440594079 + 0.0*i,
    -0.109074607128662 + 0.0*i,
    -0.245223107887442 + 0.0*i,
    -0.0531989447039648 + 0.0*i,
    0.0983747249142583 + 0.0*i,
    -0.533521254630573 + 0.0*i,
    -0.115779473128799 + 0.0*i,
    0.591148814428207 + 0.0*i,
    0.0439865627463661 + 0.0*i,
    -0.178324879855567 + 0.0*i,
    -0.254504917793817 + 0.0*i,
    -0.0201500138234471 + 0.0*i,
    -0.128061023534154 + 0.0*i,
    0.461835723303852 + 0.0*i,
    0.0146542396113351 + 0.0*i,
    0.106046458208203 + 0.0*i,
    -0.455110994619762 + 0.0*i,
    -0.255154835815359 + 0.0*i,
    -0.570633249298463 + 0.0*i,
    -0.367307217688079 + 0.0*i,
    -0.53421485360153 + 0.0*i,
    -0.109469630470856 + 0.0*i,
    0.330246024780609 + 0.0*i,
    0.131456305584803 + 0.0*i,
    -0.521726669690409 + 0.0*i,
    0.323982123113837 + 0.0*i,
    -0.545844834168978 + 0.0*i,
    0.269525500322322 + 0.0*i,
    0.0880493069751628 + 0.0*i,
    0.259005269631601 + 0.0*i,
    -0.208157463822836 + 0.0*i,
    -0.123631909635888 + 0.0*i,
    0.51885852409477 + 0.0*i,
    0.257889586048048 + 0.0*i,
    0.208137020823796 + 0.0*i,
    -0.00396025896960103 + 0.0*i,
    -0.536225475660877 + 0.0*i,
    -0.214066835192919 + 0.0*i,
    0.302090047844382 + 0.0*i,
    0.289440109929847 + 0.0*i,
    -0.307299780377902 + 0.0*i,
    0.2858684412275 + 0.0*i,
    -0.191012777574744 + 0.0*i,
    -0.171915179335028 + 0.0*i,
    0.533672560687894 + 0.0*i,
    0.153261296304877 + 0.0*i,
    -0.174456791778196 + 0.0*i,
    -0.219639368176471 + 0.0*i,
    -0.339383007514936 + 0.0*i,
    0.156646188762281 + 0.0*i,
    0.0249761732917528 + 0.0*i,
    0.0474973495129571 + 0.0*i,
    0.0170462063304249 + 0.0*i,
    0.827152350572283 + 0.0*i,
    -0.219928993934559 + 0.0*i,
    0.247414636176963 + 0.0*i,
    0.378839608221816 + 0.0*i,
    -0.376296894051158 + 0.0*i,
    -0.670396776006893 + 0.0*i,
    -0.260720210509269 + 0.0*i,
    0.162193314669899 + 0.0*i,
    0.352353863118027 + 0.0*i,
    0.591328681963124 + 0.0*i,
    -0.156675873510722 + 0.0*i,
    -0.299624242712113 + 0.0*i,
    0.614617106293842 + 0.0*i,
    -0.103530759190332 + 0.0*i,
    -0.322226150338223 + 0.0*i,
    0.338855757263522 + 0.0*i,
    -0.489614427712255 + 0.0*i,
    -0.0199559765196786 + 0.0*i,
    0.531284666598754 + 0.0*i,
    -0.530427951417296 + 0.0*i,
    -0.159968269362277 + 0.0*i,
    0.519300776174114 + 0.0*i,
    -0.0355012386793562 + 0.0*i,
    0.145970775156865 + 0.0*i,
    0.543899641522937 + 0.0*i,
    -0.11327994495621 + 0.0*i,
    -0.133697399803344 + 0.0*i,
    -0.55356978914191 + 0.0*i,
    0.320793207729789 + 0.0*i,
    -0.598641463731315 + 0.0*i,
    0.0775291781957956 + 0.0*i,
    0.380824427481255 + 0.0*i,
    0.454183957580931 + 0.0*i,
    0.64908636645013 + 0.0*i,
    0.442820686826198 + 0.0*i,
    -0.0731217386312831 + 0.0*i,
    0.185396307114336 + 0.0*i,
    0.453789821402156 + 0.0*i,
    0.647902545086753 + 0.0*i,
    -0.0206740265997658 + 0.0*i,
    0.226825375689785 + 0.0*i,
    -0.255906788268457 + 0.0*i,
    0.115216243710794 + 0.0*i,
    -0.249310979309783 + 0.0*i,
    -0.641699062420481 + 0.0*i,
    -0.422023893800359 + 0.0*i,
    0.169657771381539 + 0.0*i,
    -0.392668295935155 + 0.0*i,
    0.00548662106811466 + 0.0*i,
    0.0342567769259695 + 0.0*i,
    -0.341111380459788 + 0.0*i,
    0.0919197800826062 + 0.0*i,
    -0.264768337226185 + 0.0*i,
    -0.0163249102460454 + 0.0*i,
    -0.732732600196758 + 0.0*i,
    -0.0221002513741058 + 0.0*i,
    -0.17756194239032 + 0.0*i,
    -0.117279034041556 + 0.0*i,
    -0.504801779708332 + 0.0*i,
    -0.0902205606204313 + 0.0*i,
    -0.21465429007965 + 0.0*i,
    -0.211781952892541 + 0.0*i,
    -0.446164493331545 + 0.0*i,
    -0.11375458667663 + 0.0*i,
    0.255148824601215 + 0.0*i,
    -0.566221490036417 + 0.0*i,
    0.00810589107514004 + 0.0*i,
    -0.017785387724615 + 0.0*i,
    0.160476911469097 + 0.0*i,
    0.438840122648592 + 0.0*i,
    -0.295498273176606 + 0.0*i,
    0.0896322221064877 + 0.0*i,
    0.0988343851774651 + 0.0*i,
    0.59552660707958 + 0.0*i,
    -0.436122450719124 + 0.0*i,
    -0.168615167963837 + 0.0*i,
    -0.454335892056463 + 0.0*i,
    -0.0776011288573307 + 0.0*i,
    0.0187625090983937 + 0.0*i,
    0.0191843653705954 + 0.0*i,
    -0.450565945704239 + 0.0*i,
    -0.162200823188141 + 0.0*i,
    -0.477316022328692 + 0.0*i,
    0.0348762948952114 + 0.0*i,
    -0.246486041725843 + 0.0*i,
    0.089403171281485 + 0.0*i,
    -0.0296465793904754 + 0.0*i,
    0.621818319450515 + 0.0*i,
    -0.15324400807085 + 0.0*i,
    0.147716516152199 + 0.0*i,
    -0.499076211539332 + 0.0*i,
    -0.237726575317442 + 0.0*i,
    -0.284064307527413 + 0.0*i,
    -0.309598422519091 + 0.0*i,
    0.114482372572131 + 0.0*i,
    0.164759694216467 + 0.0*i,
    -0.793657114144786 + 0.0*i,
    -0.164477326820971 + 0.0*i,
    -0.0590226390899898 + 0.0*i,
    -0.156780472889503 + 0.0*i,
    -0.0659298476612132 + 0.0*i,
    -0.416202630616632 + 0.0*i,
    0.00817489367962222 + 0.0*i,
    -0.572750961765467 + 0.0*i,
    0.0488026372820216 + 0.0*i,
    0.177691428585892 + 0.0*i,
    -0.220011273273377 + 0.0*i,
    -0.127796939318881 + 0.0*i,
    0.275539340036266 + 0.0*i,
    0.595302152977505 + 0.0*i,
    0.383728848264719 + 0.0*i,
    -0.191104167723487 + 0.0*i,
    0.467789891220397 + 0.0*i,
    0.00746501665408027 + 0.0*i,
    -0.208354235210804 + 0.0*i,
    0.299969730780314 + 0.0*i,
    0.421200266288181 + 0.0*i,
    -0.157264329008286 + 0.0*i,
    0.425563189184182 + 0.0*i,
    -0.103063584697365 + 0.0*i,
    -0.488090279948892 + 0.0*i,
    -0.513852268579287 + 0.0*i,
    0.0691948263429461 + 0.0*i,
    -0.0426453998014959 + 0.0*i,
    0.0509580808619186 + 0.0*i,
    0.43180075028559 + 0.0*i,
    -0.504889772468742 + 0.0*i,
    -0.255030569327268 + 0.0*i,
    0.62123316220131 + 0.0*i,
    0.143077183707863 + 0.0*i,
    -0.0700433348360044 + 0.0*i,
    0.465525850755881 + 0.0*i,
    -0.0154374645119162 + 0.0*i,
    0.331171191913414 + 0.0*i,
    0.186738207998897 + 0.0*i,
    0.278805591973914 + 0.0*i,
    -0.626826069669592 + 0.0*i,
    0.353116266104462 + 0.0*i,
    0.00365362034450418 + 0.0*i,
    0.120010110902909 + 0.0*i,
    -0.29636812822822 + 0.0*i,
    -0.0278256726721818 + 0.0*i,
    0.0938445381562257 + 0.0*i,
    0.535932879858126 + 0.0*i,
    -0.31596392120731 + 0.0*i,
    -0.0634313398606122 + 0.0*i,
    -0.122086550030758 + 0.0*i,
    0.259967510825119 + 0.0*i,
    -0.301509500286574 + 0.0*i,
    0.467863360703267 + 0.0*i,
    -0.0463804934090236 + 0.0*i,
    -0.506417712334631 + 0.0*i,
    0.38315365380417 + 0.0*i,
    0.32666385606587 + 0.0*i,
    -0.0638787411674206 + 0.0*i,
    0.398356638265639 + 0.0*i,
    0.451590867881503 + 0.0*i,
    0.187606216064071 + 0.0*i,
    0.0471571855328393 + 0.0*i,
    -0.615777395864263 + 0.0*i,
    0.0163617053382508 + 0.0*i,
    -0.348127653914463 + 0.0*i,
    0.354691436584127 + 0.0*i,
    0.124656360310882 + 0.0*i,
    0.0849888312283551 + 0.0*i,
    -0.295483735628466 + 0.0*i,
    -0.538702179452501 + 0.0*i,
    0.000623553043120196 + 0.0*i,
    0.357896582498444 + 0.0*i,
    0.0217139044188318 + 0.0*i,
    0.0896135857124618 + 0.0*i,
    -0.0450977644269967 + 0.0*i,
    0.196704254707834 + 0.0*i,
    0.0259007547546572 + 0.0*i,
    0.478656645189883 + 0.0*i,
    0.144555590944131 + 0.0*i,
    -0.0843557697942648 + 0.0*i,
    -0.243780847054079 + 0.0*i,
    -0.75049225641461 + 0.0*i,
    0.00243898614556632 + 0.0*i,
    0.365620123585402 + 0.0*i,
    -0.318926990675123 + 0.0*i,
    0.193366155968265 + 0.0*i,
    0.219261729712531 + 0.0*i,
    0.100752279154206 + 0.0*i,
    -0.381957196791266 + 0.0*i,
    0.0315976283848216 + 0.0*i,
    -0.323254976958396 + 0.0*i,
    0.402934665245837 + 0.0*i,
    -0.391825886894582 + 0.0*i,
    -0.481407826764561 + 0.0*i
]);