V:=Matrix(CC,9,42,[
    -0.505275527745031 + 0.0*i,
    -0.286257819568997 + 0.0*i,
    0.210724083597212 + 0.0*i,
    -0.524090109727753 + 0.0*i,
    0.0985472173297826 + 0.0*i,
    0.676628724689294 + 0.0*i,
    0.134670520168625 + 0.0*i,
    -0.00277021441870311 + 0.0*i,
    -0.43831392195864 + 0.0*i,
    -0.237912307001267 + 0.0*i,
    -0.119212355288537 + 0.0*i,
    -0.413382038980213 + 0.0*i,
    0.160910374972824 + 0.0*i,
    -0.191735480031914 + 0.0*i,
    -0.227997178592735 + 0.0*i,
    -0.71607863485433 + 0.0*i,
    0.157757634466936 + 0.0*i,
    0.284581680879615 + 0.0*i,
    -0.134153566664951 + 0.0*i,
    0.242065324882473 + 0.0*i,
    0.18678369581025 + 0.0*i,
    -0.00647032881703652 + 0.0*i,
    -0.130088171032518 + 0.0*i,
    -0.0310193810261568 + 0.0*i,
    -0.369767078662803 + 0.0*i,
    0.314637549413455 + 0.0*i,
    -0.0302419362960949 + 0.0*i,
    -0.411804327651944 + 0.0*i,
    -0.11159170682313 + 0.0*i,
    0.322094218771532 + 0.0*i,
    -0.46582880295174 + 0.0*i,
    -0.485800550314183 + 0.0*i,
    0.0711891295215098 + 0.0*i,
    0.709535229251929 + 0.0*i,
    0.261444802857955 + 0.0*i,
    -0.228110881444078 + 0.0*i,
    0.314685066491498 + 0.0*i,
    0.410906704570267 + 0.0*i,
    0.0856636652648769 + 0.0*i,
    0.103214606248794 + 0.0*i,
    0.0986937567486069 + 0.0*i,
    0.11690910906993 + 0.0*i,
    0.377200904194508 + 0.0*i,
    -0.493383615257563 + 0.0*i,
    0.00630827712389574 + 0.0*i,
    0.495237955073716 + 0.0*i,
    0.298026646523939 + 0.0*i,
    -0.114213228029079 + 0.0*i,
    0.0870359458495406 + 0.0*i,
    -0.103549168485916 + 0.0*i,
    -0.138232860812657 + 0.0*i,
    0.0247770031515567 + 0.0*i,
    0.604632020421615 + 0.0*i,
    -0.190350564340334 + 0.0*i,
    0.198209404074798 + 0.0*i,
    -0.370501393186012 + 0.0*i,
    -0.532375230575705 + 0.0*i,
    0.0128062164666378 + 0.0*i,
    0.0768704787626524 + 0.0*i,
    0.701459332352713 + 0.0*i,
    0.12025842002597 + 0.0*i,
    -0.0398401229759332 + 0.0*i,
    0.220664952068155 + 0.0*i,
    0.635642784457215 + 0.0*i,
    0.106709852686404 + 0.0*i,
    -0.498963256414874 + 0.0*i,
    0.490299206761714 + 0.0*i,
    -0.226245270855077 + 0.0*i,
    0.510045040905845 + 0.0*i,
    -0.0410925480412648 + 0.0*i,
    -0.118641838080429 + 0.0*i,
    -0.239028052400079 + 0.0*i,
    -0.570309047370251 + 0.0*i,
    0.456219281742429 + 0.0*i,
    0.0194001475554064 + 0.0*i,
    0.326656554516946 + 0.0*i,
    0.312968409324666 + 0.0*i,
    0.0349631576632107 + 0.0*i,
    0.536679636126964 + 0.0*i,
    -0.538559062232485 + 0.0*i,
    -0.105579395585929 + 0.0*i,
    0.197458076494628 + 0.0*i,
    0.215562785355102 + 0.0*i,
    -0.00717865887115895 + 0.0*i,
    -0.580853474677671 + 0.0*i,
    0.466470359715856 + 0.0*i,
    -0.0524117835726774 + 0.0*i,
    0.260812865042819 + 0.0*i,
    -0.39929325024555 + 0.0*i,
    0.189859826973288 + 0.0*i,
    0.185932299544633 + 0.0*i,
    -0.310268284620775 + 0.0*i,
    0.659729634053928 + 0.0*i,
    0.409519572699859 + 0.0*i,
    0.161189575546973 + 0.0*i,
    0.625064060351469 + 0.0*i,
    0.313887231341553 + 0.0*i,
    0.143981961784085 + 0.0*i,
    -0.454565453937417 + 0.0*i,
    -0.0576268482710163 + 0.0*i,
    0.331633019276276 + 0.0*i,
    0.279595029435413 + 0.0*i,
    -0.194705424459597 + 0.0*i,
    -0.187965666370035 + 0.0*i,
    0.128578804340927 + 0.0*i,
    -0.200077575566985 + 0.0*i,
    0.655851893034348 + 0.0*i,
    -0.498468579780417 + 0.0*i,
    -0.213044671528489 + 0.0*i,
    0.44367247345283 + 0.0*i,
    -0.232163085544208 + 0.0*i,
    -0.237019600680201 + 0.0*i,
    -0.339940418976286 + 0.0*i,
    0.115257284772668 + 0.0*i,
    0.0117116959077459 + 0.0*i,
    0.183715634593853 + 0.0*i,
    -0.373047764213056 + 0.0*i,
    0.174141987233334 + 0.0*i,
    0.151286276794542 + 0.0*i,
    -0.329747320390579 + 0.0*i,
    -0.364524178489145 + 0.0*i,
    -0.197121216177128 + 0.0*i,
    -0.631830465294198 + 0.0*i,
    0.0419111831224627 + 0.0*i,
    0.139834761756736 + 0.0*i,
    0.267262565838776 + 0.0*i,
    -0.208179536230296 + 0.0*i,
    0.172430274392486 + 0.0*i,
    0.231828950669792 + 0.0*i,
    -0.464823101591251 + 0.0*i,
    -0.10927228280945 + 0.0*i,
    -0.275309885652012 + 0.0*i,
    -0.219020057473566 + 0.0*i,
    0.346999202809648 + 0.0*i,
    0.0803389636021979 + 0.0*i,
    -0.287859139650195 + 0.0*i,
    0.471378604128933 + 0.0*i,
    -0.28689868421323 + 0.0*i,
    0.407870926072729 + 0.0*i,
    -0.496245667301505 + 0.0*i,
    0.0313020353052202 + 0.0*i,
    0.436204288983971 + 0.0*i,
    -0.26097961695162 + 0.0*i,
    -0.11036712895807 + 0.0*i,
    -0.164697254037826 + 0.0*i,
    0.0312990415069968 + 0.0*i,
    -0.596689441664788 + 0.0*i,
    0.261828885430426 + 0.0*i,
    0.640546640554633 + 0.0*i,
    -0.0506340658415579 + 0.0*i,
    -0.334769042250854 + 0.0*i,
    0.243046324722787 + 0.0*i,
    0.495934918757515 + 0.0*i,
    0.02239696874659 + 0.0*i,
    0.453318640579655 + 0.0*i,
    -0.189442841441555 + 0.0*i,
    0.110381985666499 + 0.0*i,
    -0.0666368364127076 + 0.0*i,
    -0.0672492984154491 + 0.0*i,
    0.300027998654179 + 0.0*i,
    -0.700096333686682 + 0.0*i,
    -0.0217945983148214 + 0.0*i,
    -0.0723719721653873 + 0.0*i,
    -0.168591688665363 + 0.0*i,
    0.159249515779747 + 0.0*i,
    -0.606386400989377 + 0.0*i,
    0.699855057372211 + 0.0*i,
    0.264427521663335 + 0.0*i,
    0.121899831588138 + 0.0*i,
    -0.0362257023056443 + 0.0*i,
    0.188325696856979 + 0.0*i,
    -0.374927993335899 + 0.0*i,
    0.152640343214744 + 0.0*i,
    0.52271565225922 + 0.0*i,
    0.180441219508972 + 0.0*i,
    -0.24985311507411 + 0.0*i,
    -0.085025822738385 + 0.0*i,
    0.271324958800342 + 0.0*i,
    -0.356331901650569 + 0.0*i,
    -0.0343646862989692 + 0.0*i,
    0.244441568426666 + 0.0*i,
    0.167451849620641 + 0.0*i,
    0.232568958723224 + 0.0*i,
    0.121000406331742 + 0.0*i,
    0.453306213706421 + 0.0*i,
    0.0670518597889043 + 0.0*i,
    -0.447970821550055 + 0.0*i,
    0.515309346486654 + 0.0*i,
    -0.166535854861446 + 0.0*i,
    0.518363973321769 + 0.0*i,
    0.244332975371437 + 0.0*i,
    0.048079248712559 + 0.0*i,
    -0.245623416562279 + 0.0*i,
    -0.46798319840414 + 0.0*i,
    0.384025990951325 + 0.0*i,
    0.46825553735807 + 0.0*i,
    0.449501995880534 + 0.0*i,
    0.400793329609339 + 0.0*i,
    0.247299097181677 + 0.0*i,
    0.571878886612445 + 0.0*i,
    -0.704144971864101 + 0.0*i,
    0.293354541613466 + 0.0*i,
    0.0121814939820934 + 0.0*i,
    -0.00166591149184426 + 0.0*i,
    -0.610543385832468 + 0.0*i,
    -0.0547818833201434 + 0.0*i,
    -0.0428589961790235 + 0.0*i,
    0.444494109217731 + 0.0*i,
    -0.00808302992821813 + 0.0*i,
    -0.338471224584128 + 0.0*i,
    0.388419302190583 + 0.0*i,
    -0.0276856254596247 + 0.0*i,
    -0.157988325146111 + 0.0*i,
    0.0588803446210421 + 0.0*i,
    0.00259215933372299 + 0.0*i,
    0.231994886301999 + 0.0*i,
    -0.658361440736952 + 0.0*i,
    -0.0241985014266197 + 0.0*i,
    0.459806862218561 + 0.0*i,
    -0.0252036789422119 + 0.0*i,
    0.17092391503137 + 0.0*i,
    -0.523435113224989 + 0.0*i,
    -0.0320589549158261 + 0.0*i,
    0.670827639870239 + 0.0*i,
    0.352983960766583 + 0.0*i,
    -0.0168802375215212 + 0.0*i,
    -0.235148600039107 + 0.0*i,
    0.536729725737407 + 0.0*i,
    -0.600375460433025 + 0.0*i,
    0.432600133347248 + 0.0*i,
    0.389539732449629 + 0.0*i,
    0.127675751919622 + 0.0*i,
    -0.0659527214544334 + 0.0*i,
    0.415111230744572 + 0.0*i,
    -0.065651900579647 + 0.0*i,
    0.561225983457402 + 0.0*i,
    -0.029279868347883 + 0.0*i,
    -0.101447388872224 + 0.0*i,
    -0.306385645861624 + 0.0*i,
    -0.56275029552037 + 0.0*i,
    -0.130838197328092 + 0.0*i,
    0.194750675204266 + 0.0*i,
    0.269365921353489 + 0.0*i,
    -0.169654083532639 + 0.0*i,
    -0.391348133821227 + 0.0*i,
    -0.550058436474751 + 0.0*i,
    -0.0705386606477203 + 0.0*i,
    -0.078016676381689 + 0.0*i,
    -0.20940718924136 + 0.0*i,
    0.174428684163652 + 0.0*i,
    0.228759266544647 + 0.0*i,
    -0.461780309531469 + 0.0*i,
    -0.175388610468192 + 0.0*i,
    0.0208760401357834 + 0.0*i,
    -0.119147747033609 + 0.0*i,
    -0.190371293511817 + 0.0*i,
    0.109695058215089 + 0.0*i,
    0.220952933961239 + 0.0*i,
    -0.00870077877947763 + 0.0*i,
    -0.66700802281024 + 0.0*i,
    0.305601863948094 + 0.0*i,
    -0.391246255844494 + 0.0*i,
    -0.286661618373894 + 0.0*i,
    0.0695565893071857 + 0.0*i,
    0.429767693742543 + 0.0*i,
    -0.239161754677173 + 0.0*i,
    0.0507132132966275 + 0.0*i,
    0.35387519981965 + 0.0*i,
    -0.241018582354637 + 0.0*i,
    0.147250924167179 + 0.0*i,
    -0.0195303791577055 + 0.0*i,
    -0.394246667924959 + 0.0*i,
    -0.139049492364804 + 0.0*i,
    0.138475493963659 + 0.0*i,
    -0.182738291839191 + 0.0*i,
    -0.0178943599062593 + 0.0*i,
    0.296615493265057 + 0.0*i,
    -0.242519389761002 + 0.0*i,
    -0.294672862317483 + 0.0*i,
    -0.671089128776451 + 0.0*i,
    -0.17699578454439 + 0.0*i,
    -0.304202322087604 + 0.0*i,
    0.467570370418385 + 0.0*i,
    0.0824700279059266 + 0.0*i,
    -0.445803053103245 + 0.0*i,
    0.0768127073157299 + 0.0*i,
    0.355678301560219 + 0.0*i,
    -0.378673620611175 + 0.0*i,
    0.256732780381091 + 0.0*i,
    0.169320488127705 + 0.0*i,
    0.632118437358624 + 0.0*i,
    -0.14460121407401 + 0.0*i,
    0.546666184525429 + 0.0*i,
    -0.651473926926655 + 0.0*i,
    -0.0380199669477043 + 0.0*i,
    -0.534939871918118 + 0.0*i,
    -0.341230226910824 + 0.0*i,
    0.106651743180713 + 0.0*i,
    -0.681718047457414 + 0.0*i,
    0.167087247308491 + 0.0*i,
    -0.63809612631624 + 0.0*i,
    0.269767839213821 + 0.0*i,
    0.1389884910998 + 0.0*i,
    -0.422907713487239 + 0.0*i,
    0.438935830875427 + 0.0*i,
    0.172437614003919 + 0.0*i,
    0.648679188185601 + 0.0*i,
    -0.00554883337917956 + 0.0*i,
    -0.101552036667285 + 0.0*i,
    0.13258731585072 + 0.0*i,
    0.593761507142889 + 0.0*i,
    0.0136968523915736 + 0.0*i,
    0.566765151486505 + 0.0*i,
    0.405558244978715 + 0.0*i,
    0.533178027331224 + 0.0*i,
    0.0874152252437315 + 0.0*i,
    -0.0559920467286262 + 0.0*i,
    -0.122951882815671 + 0.0*i,
    -0.0571596581193593 + 0.0*i,
    -0.0814186884701065 + 0.0*i,
    -0.0453370142527673 + 0.0*i,
    -0.245638690269967 + 0.0*i,
    0.559854009698465 + 0.0*i,
    0.177914683925862 + 0.0*i,
    0.164217015886194 + 0.0*i,
    0.276297167981381 + 0.0*i,
    0.113869822847777 + 0.0*i,
    -0.307746101959745 + 0.0*i,
    0.135376728632136 + 0.0*i,
    0.0123536408700136 + 0.0*i,
    -0.22355814152235 + 0.0*i,
    0.631799364631951 + 0.0*i,
    -0.0318355809048315 + 0.0*i,
    -0.380681770285406 + 0.0*i,
    -0.266606223371165 + 0.0*i,
    -0.271767199087613 + 0.0*i,
    0.102442594834989 + 0.0*i,
    -0.358007941139096 + 0.0*i,
    -0.835936151325187 + 0.0*i,
    0.144934544928538 + 0.0*i,
    0.507209910859189 + 0.0*i,
    -0.0132639777421461 + 0.0*i,
    -0.0880712738293992 + 0.0*i,
    -0.505306340433493 + 0.0*i,
    0.0798932325671482 + 0.0*i,
    0.544961178116244 + 0.0*i,
    0.0102839546821661 + 0.0*i,
    0.0443098316913068 + 0.0*i,
    0.0417741731257697 + 0.0*i,
    0.105377857846864 + 0.0*i,
    -0.500545946962464 + 0.0*i,
    -0.354364975229398 + 0.0*i,
    0.345199473458368 + 0.0*i,
    0.104539172865117 + 0.0*i,
    -0.136759039633014 + 0.0*i,
    -0.337186904749882 + 0.0*i,
    -0.219681716890637 + 0.0*i,
    -0.427060598258776 + 0.0*i,
    0.11950109817845 + 0.0*i,
    0.540666920427129 + 0.0*i,
    -0.570299010404261 + 0.0*i,
    0.0243955681590623 + 0.0*i,
    0.427338992757298 + 0.0*i,
    -0.173595689270222 + 0.0*i,
    -0.00121635360898413 + 0.0*i,
    -0.445262127197566 + 0.0*i,
    0.33544451576598 + 0.0*i,
    0.273576381091051 + 0.0*i,
    0.311328070941896 + 0.0*i,
    0.200024467883422 + 0.0*i,
    -0.129202441907455 + 0.0*i,
    0.635470932743874 + 0.0*i,
    0.110410300549287 + 0.0*i,
    0.167529675544158 + 0.0*i,
    0.314238018005909 + 0.0*i,
    -0.431827309142552 + 0.0*i,
    -0.0766985358691567 + 0.0*i,
    0.0831440109205666 + 0.0*i
]);