V:=Matrix(CC,9,43,[
    0.821253459691441 + 0.0*i,
    0.527644802625162 + 0.0*i,
    0.234345609176678 + 0.0*i,
    -0.154695055483625 + 0.0*i,
    0.389856851147413 + 0.0*i,
    0.0106679996899942 + 0.0*i,
    0.333354179193587 + 0.0*i,
    0.394584664642992 + 0.0*i,
    -0.215957668359344 + 0.0*i,
    -0.207593875464389 + 0.0*i,
    0.327235760746774 + 0.0*i,
    -0.272875889816722 + 0.0*i,
    -0.0753630155142842 + 0.0*i,
    -0.277474194413917 + 0.0*i,
    -0.0287082576892071 + 0.0*i,
    -0.341897830819044 + 0.0*i,
    -0.58465523886211 + 0.0*i,
    0.232087788836186 + 0.0*i,
    0.149691210825527 + 0.0*i,
    0.0240802952549461 + 0.0*i,
    0.275781058110472 + 0.0*i,
    0.642937229511639 + 0.0*i,
    0.0826328242241264 + 0.0*i,
    0.277296993988739 + 0.0*i,
    0.392031005538342 + 0.0*i,
    0.167287984312034 + 0.0*i,
    -0.339957697466713 + 0.0*i,
    -0.138891084047386 + 0.0*i,
    -0.0393835360469797 + 0.0*i,
    0.148921140604383 + 0.0*i,
    -0.326653660140529 + 0.0*i,
    0.525096859597691 + 0.0*i,
    0.103305703001312 + 0.0*i,
    -0.0275103358681944 + 0.0*i,
    0.214999897376777 + 0.0*i,
    -0.0993362095463642 + 0.0*i,
    0.403276643736964 + 0.0*i,
    -0.600029885426158 + 0.0*i,
    0.106258799959848 + 0.0*i,
    0.417634898913103 + 0.0*i,
    -0.164368592401251 + 0.0*i,
    0.284405242252615 + 0.0*i,
    0.435708423481537 + 0.0*i,
    0.063098618196524 + 0.0*i,
    0.58533538751349 + 0.0*i,
    -0.0104329159934805 + 0.0*i,
    0.38388606579959 + 0.0*i,
    -0.207245481702513 + 0.0*i,
    0.62768451826259 + 0.0*i,
    -0.19786636028887 + 0.0*i,
    0.23652475955704 + 0.0*i,
    -0.0510928993154948 + 0.0*i,
    -0.515777370237374 + 0.0*i,
    -0.377442151729564 + 0.0*i,
    0.264523804141555 + 0.0*i,
    0.441970570314962 + 0.0*i,
    -0.0597843267093957 + 0.0*i,
    0.365739258329685 + 0.0*i,
    0.0288201754736052 + 0.0*i,
    -0.472675777227999 + 0.0*i,
    -0.387976505049473 + 0.0*i,
    -0.259794049148477 + 0.0*i,
    -0.180067546190189 + 0.0*i,
    0.539331412999894 + 0.0*i,
    -0.122621872484635 + 0.0*i,
    0.595048196052525 + 0.0*i,
    -0.0826276882325889 + 0.0*i,
    -0.791979958824879 + 0.0*i,
    -0.442365815577636 + 0.0*i,
    -0.246897536819108 + 0.0*i,
    0.00539848050287372 + 0.0*i,
    -0.143284178166584 + 0.0*i,
    0.306779629340069 + 0.0*i,
    -0.228572487869436 + 0.0*i,
    -0.0258778381514592 + 0.0*i,
    0.627988580071015 + 0.0*i,
    0.123027713427842 + 0.0*i,
    0.326116550642245 + 0.0*i,
    0.267929651488679 + 0.0*i,
    -0.0200553530215675 + 0.0*i,
    0.351105405566565 + 0.0*i,
    -0.3081139641625 + 0.0*i,
    0.225576233525676 + 0.0*i,
    -0.0640528431382463 + 0.0*i,
    -0.123809516938315 + 0.0*i,
    -0.022739240184321 + 0.0*i,
    -0.362039796888829 + 0.0*i,
    0.34446147701637 + 0.0*i,
    -0.277250194794811 + 0.0*i,
    -0.449633674692961 + 0.0*i,
    0.33197420681261 + 0.0*i,
    -0.0659789987814521 + 0.0*i,
    -0.061042303525717 + 0.0*i,
    0.102076742048132 + 0.0*i,
    -0.60427057899741 + 0.0*i,
    0.0763098546076344 + 0.0*i,
    -0.507727703897836 + 0.0*i,
    0.310870984786863 + 0.0*i,
    0.141050899303747 + 0.0*i,
    -0.314281385726975 + 0.0*i,
    0.552623024811591 + 0.0*i,
    -0.555939893615672 + 0.0*i,
    -0.152482092238116 + 0.0*i,
    -0.0175590694457534 + 0.0*i,
    0.187450702399234 + 0.0*i,
    0.235653107167292 + 0.0*i,
    -0.570226455342922 + 0.0*i,
    0.147771197069783 + 0.0*i,
    -0.0283717813688414 + 0.0*i,
    0.131756933477071 + 0.0*i,
    -0.0654162358787702 + 0.0*i,
    -0.442693005897056 + 0.0*i,
    0.263682447561745 + 0.0*i,
    -0.0227814165916851 + 0.0*i,
    -0.286199915287885 + 0.0*i,
    0.276708555688267 + 0.0*i,
    -0.0724675361221208 + 0.0*i,
    -0.232647710752443 + 0.0*i,
    -0.369626120081335 + 0.0*i,
    0.781148593434698 + 0.0*i,
    -0.215754868574737 + 0.0*i,
    -0.64045625350628 + 0.0*i,
    0.266000677202894 + 0.0*i,
    -0.410453075697679 + 0.0*i,
    0.0306928775350635 + 0.0*i,
    -0.230018246632653 + 0.0*i,
    -0.238248314412273 + 0.0*i,
    -0.473323298721956 + 0.0*i,
    0.0587141183661671 + 0.0*i,
    0.283055311545698 + 0.0*i,
    -0.153701576603328 + 0.0*i,
    0.132168191553158 + 0.0*i,
    0.100676860272324 + 0.0*i,
    0.610920763773485 + 0.0*i,
    0.392139835894371 + 0.0*i,
    -0.00993534889676549 + 0.0*i,
    0.425313272452375 + 0.0*i,
    -0.23481172673721 + 0.0*i,
    -0.527651620322356 + 0.0*i,
    -0.302750867513465 + 0.0*i,
    0.386608001877434 + 0.0*i,
    -0.245096240932507 + 0.0*i,
    0.312229985761612 + 0.0*i,
    -0.472930460518171 + 0.0*i,
    -0.410685204597542 + 0.0*i,
    0.0668998037300566 + 0.0*i,
    0.206261016976444 + 0.0*i,
    0.114174609073122 + 0.0*i,
    -0.0616704345261012 + 0.0*i,
    -0.00437156811463812 + 0.0*i,
    0.192465698774856 + 0.0*i,
    0.353192751292514 + 0.0*i,
    -0.0969481000142688 + 0.0*i,
    0.249389137782919 + 0.0*i,
    -0.301755518159906 + 0.0*i,
    0.319990596096473 + 0.0*i,
    -0.67804272684261 + 0.0*i,
    0.58365467569622 + 0.0*i,
    0.0377218114882975 + 0.0*i,
    -0.188118455001801 + 0.0*i,
    -0.635951093866656 + 0.0*i,
    -0.154345956957048 + 0.0*i,
    -0.0518706671920356 + 0.0*i,
    -0.494460043525335 + 0.0*i,
    0.187346807575058 + 0.0*i,
    -0.13631491990215 + 0.0*i,
    0.45110738678752 + 0.0*i,
    0.0303902860651277 + 0.0*i,
    -0.358486477453476 + 0.0*i,
    0.409189816809053 + 0.0*i,
    0.220202230815592 + 0.0*i,
    -0.100812714951368 + 0.0*i,
    0.0152528077670424 + 0.0*i,
    0.327452577598741 + 0.0*i,
    -0.00251846396842861 + 0.0*i,
    0.415801970953658 + 0.0*i,
    -0.335231914512109 + 0.0*i,
    0.24543462632956 + 0.0*i,
    -0.375378049113482 + 0.0*i,
    -0.168158407164088 + 0.0*i,
    0.103050960073142 + 0.0*i,
    -0.061478912523121 + 0.0*i,
    -0.034572239395664 + 0.0*i,
    -0.656599912819807 + 0.0*i,
    -0.35483479549791 + 0.0*i,
    0.66157359191177 + 0.0*i,
    -0.0174276893147997 + 0.0*i,
    -0.352664122312182 + 0.0*i,
    0.380009496763761 + 0.0*i,
    -0.183672470002682 + 0.0*i,
    0.511740002109736 + 0.0*i,
    0.0558260084077552 + 0.0*i,
    0.215670617542807 + 0.0*i,
    -0.0250896767738011 + 0.0*i,
    -0.390319889032775 + 0.0*i,
    0.332066900491137 + 0.0*i,
    -0.0204571198627131 + 0.0*i,
    -0.205155548165635 + 0.0*i,
    -0.425492014929399 + 0.0*i,
    -0.555524518114389 + 0.0*i,
    0.066039544494237 + 0.0*i,
    -0.180326985113422 + 0.0*i,
    -0.350214717446712 + 0.0*i,
    -0.0573281277100732 + 0.0*i,
    -0.314412639366597 + 0.0*i,
    -0.220249149740969 + 0.0*i,
    -0.0262875309434218 + 0.0*i,
    -0.291800808543949 + 0.0*i,
    -0.205611015516721 + 0.0*i,
    -0.0723667978463707 + 0.0*i,
    -0.639355282737925 + 0.0*i,
    -0.209788910632375 + 0.0*i,
    -0.385758927305647 + 0.0*i,
    -0.706258117715765 + 0.0*i,
    0.495079057165574 + 0.0*i,
    -0.0735996798780678 + 0.0*i,
    -0.338148136287548 + 0.0*i,
    -0.709874312601433 + 0.0*i,
    -0.46191310338249 + 0.0*i,
    -0.324467691005456 + 0.0*i,
    0.436485689234417 + 0.0*i,
    0.665496198194693 + 0.0*i,
    0.189012625211683 + 0.0*i,
    -0.0935312815642589 + 0.0*i,
    0.0956411558979216 + 0.0*i,
    0.334868616268443 + 0.0*i,
    0.373676831260356 + 0.0*i,
    -0.198343002143553 + 0.0*i,
    0.334698635341339 + 0.0*i,
    0.450253053450442 + 0.0*i,
    -0.45156335225321 + 0.0*i,
    -0.383951417476945 + 0.0*i,
    0.275850918917392 + 0.0*i,
    -0.435386373946975 + 0.0*i,
    -0.793610162136471 + 0.0*i,
    -0.0282749043673632 + 0.0*i,
    -0.276830847148345 + 0.0*i,
    -0.450596979740115 + 0.0*i,
    -0.057681481099523 + 0.0*i,
    0.00429706574110924 + 0.0*i,
    -0.23370900827115 + 0.0*i,
    -0.373969879617099 + 0.0*i,
    0.273955368500136 + 0.0*i,
    0.18106665195749 + 0.0*i,
    -0.0487485873399463 + 0.0*i,
    0.083200725264019 + 0.0*i,
    0.0830103924836988 + 0.0*i,
    0.00523978885216348 + 0.0*i,
    -0.249839274024781 + 0.0*i,
    0.0190301244459743 + 0.0*i,
    0.260475804442758 + 0.0*i,
    0.0235305228325066 + 0.0*i,
    -0.0274722942240752 + 0.0*i,
    -0.0821610835701317 + 0.0*i,
    -0.514155380526846 + 0.0*i,
    -0.173862241277862 + 0.0*i,
    0.0127227335155323 + 0.0*i,
    0.508393860521274 + 0.0*i,
    0.123394295981887 + 0.0*i,
    -0.0603524924823666 + 0.0*i,
    -0.460630068412852 + 0.0*i,
    0.0207528042562204 + 0.0*i,
    -0.0974148990051005 + 0.0*i,
    0.201565885906072 + 0.0*i,
    -0.0237392261900607 + 0.0*i,
    -0.277408329082257 + 0.0*i,
    -0.589583969637242 + 0.0*i,
    0.393743669646638 + 0.0*i,
    0.384067286384884 + 0.0*i,
    -0.171879205380554 + 0.0*i,
    -0.414408623491006 + 0.0*i,
    0.0263094146147457 + 0.0*i,
    -0.191045824721162 + 0.0*i,
    0.20553710594797 + 0.0*i,
    -0.155312237735775 + 0.0*i,
    -0.171422861758049 + 0.0*i,
    -0.39155695637789 + 0.0*i,
    0.404153793065715 + 0.0*i,
    0.157897580924197 + 0.0*i,
    0.126365771506647 + 0.0*i,
    0.394587358620793 + 0.0*i,
    -0.238729608747751 + 0.0*i,
    -0.0523947899708763 + 0.0*i,
    -0.204568332802384 + 0.0*i,
    0.221519939548498 + 0.0*i,
    -0.156833915862322 + 0.0*i,
    -0.569749553315922 + 0.0*i,
    0.0160397860916794 + 0.0*i,
    -0.593459833196477 + 0.0*i,
    -0.256412083479696 + 0.0*i,
    -0.417396726000414 + 0.0*i,
    0.0189925628039531 + 0.0*i,
    0.566808166558133 + 0.0*i,
    0.235740576087593 + 0.0*i,
    -0.821975296456283 + 0.0*i,
    -0.173106072813777 + 0.0*i,
    0.62373307045338 + 0.0*i,
    -0.0261746868070301 + 0.0*i,
    0.218569267900523 + 0.0*i,
    -0.243200782153435 + 0.0*i,
    0.350446846250228 + 0.0*i,
    -0.114213128814914 + 0.0*i,
    0.0635237868860643 + 0.0*i,
    0.359901884682235 + 0.0*i,
    -0.31889935835624 + 0.0*i,
    -0.182425013243187 + 0.0*i,
    -0.0134830878651843 + 0.0*i,
    -0.073744313504646 + 0.0*i,
    0.665242456906533 + 0.0*i,
    -0.198472602195771 + 0.0*i,
    0.310914552382491 + 0.0*i,
    -0.0765986545530973 + 0.0*i,
    -0.110533546259237 + 0.0*i,
    0.410487744148352 + 0.0*i,
    -0.213512954395806 + 0.0*i,
    0.168594321814452 + 0.0*i,
    0.192576666228687 + 0.0*i,
    0.132089061187734 + 0.0*i,
    -0.691031210110943 + 0.0*i,
    -0.508735460411841 + 0.0*i,
    -0.117286348225127 + 0.0*i,
    0.29311772597182 + 0.0*i,
    0.277722940049908 + 0.0*i,
    0.0767337177935142 + 0.0*i,
    0.121643530751217 + 0.0*i,
    0.335956415264947 + 0.0*i,
    -0.377639495902566 + 0.0*i,
    0.520041909558547 + 0.0*i,
    -0.331517928265262 + 0.0*i,
    -0.253541052474764 + 0.0*i,
    -0.738591480818171 + 0.0*i,
    0.468833676271022 + 0.0*i,
    0.439783358436296 + 0.0*i,
    0.0178464512979807 + 0.0*i,
    -0.350740779253559 + 0.0*i,
    -0.132349428523072 + 0.0*i,
    -0.512776748247784 + 0.0*i,
    -0.177852148364233 + 0.0*i,
    0.312403960009548 + 0.0*i,
    -0.299919641877351 + 0.0*i,
    -0.435768194810505 + 0.0*i,
    0.134084473643163 + 0.0*i,
    0.16513950061049 + 0.0*i,
    0.415703453050102 + 0.0*i,
    0.268394832497204 + 0.0*i,
    0.0787908733669383 + 0.0*i,
    0.107016429018567 + 0.0*i,
    0.350409253983002 + 0.0*i,
    0.1064593744636 + 0.0*i,
    0.393339696956535 + 0.0*i,
    0.500827317380938 + 0.0*i,
    0.150059019474807 + 0.0*i,
    -0.357007859228104 + 0.0*i,
    0.383142334647419 + 0.0*i,
    -0.370907704567975 + 0.0*i,
    0.0349207480904002 + 0.0*i,
    -0.456343685684925 + 0.0*i,
    -0.360337549809741 + 0.0*i,
    0.278291196798932 + 0.0*i,
    -0.00992423354188655 + 0.0*i,
    0.261582195825776 + 0.0*i,
    -0.37308292235016 + 0.0*i,
    -0.0305846121676714 + 0.0*i,
    0.316620690435462 + 0.0*i,
    -0.385012680878965 + 0.0*i,
    -0.581363657476466 + 0.0*i,
    -0.0390295777780271 + 0.0*i,
    0.838262870814279 + 0.0*i,
    0.179690303581903 + 0.0*i,
    0.45463074670351 + 0.0*i,
    -0.126347767321689 + 0.0*i,
    -0.105992924127691 + 0.0*i,
    0.366210165316967 + 0.0*i,
    0.47275538773227 + 0.0*i,
    0.306059811707914 + 0.0*i,
    0.00859040754012537 + 0.0*i,
    0.394886025981405 + 0.0*i,
    -0.36814405726962 + 0.0*i,
    0.470430547246186 + 0.0*i,
    0.00968501407890824 + 0.0*i,
    0.0130894172995514 + 0.0*i,
    -0.0915517335728478 + 0.0*i,
    -0.0260296812900734 + 0.0*i,
    -0.304862570977572 + 0.0*i,
    0.710376609319116 + 0.0*i,
    -0.234222244245832 + 0.0*i,
    0.007395610421887 + 0.0*i
]);