V:=Matrix(CC,9,42,[
    -0.0522931989566366 + 0.0*i,
    -0.205460923159397 + 0.0*i,
    0.442144028077438 + 0.0*i,
    0.187397090193423 + 0.0*i,
    -0.426528159716366 + 0.0*i,
    0.206748157485457 + 0.0*i,
    -0.376156759600005 + 0.0*i,
    0.145033045346895 + 0.0*i,
    -0.390759810052879 + 0.0*i,
    0.0218946244603137 + 0.0*i,
    0.383030912452066 + 0.0*i,
    0.721380068667115 + 0.0*i,
    -0.403566877927616 + 0.0*i,
    -0.212981734219907 + 0.0*i,
    -0.110688898420697 + 0.0*i,
    0.232787736285346 + 0.0*i,
    -0.0677595516075093 + 0.0*i,
    0.119748975926589 + 0.0*i,
    0.301569867557202 + 0.0*i,
    0.460044812573172 + 0.0*i,
    -0.0474651931283362 + 0.0*i,
    0.408677412026585 + 0.0*i,
    -0.461274216368537 + 0.0*i,
    0.350989374319766 + 0.0*i,
    -0.163111063865478 + 0.0*i,
    -0.0401189627940636 + 0.0*i,
    -0.096165967015044 + 0.0*i,
    0.265579514204478 + 0.0*i,
    0.0996385587729556 + 0.0*i,
    0.170783421284118 + 0.0*i,
    -0.479122933653152 + 0.0*i,
    -0.153881813625539 + 0.0*i,
    0.443082880412489 + 0.0*i,
    -0.521699472096506 + 0.0*i,
    -0.0858933719105835 + 0.0*i,
    -0.415882936751813 + 0.0*i,
    -0.569675370450855 + 0.0*i,
    0.0342719357530099 + 0.0*i,
    0.250142062302571 + 0.0*i,
    0.55866050415414 + 0.0*i,
    0.135892002235454 + 0.0*i,
    0.41719627778226 + 0.0*i,
    -0.227275090386684 + 0.0*i,
    -0.0249200354318856 + 0.0*i,
    -0.140589322721945 + 0.0*i,
    -0.100697378114212 + 0.0*i,
    0.247229478381299 + 0.0*i,
    0.142770766964058 + 0.0*i,
    0.656040029495576 + 0.0*i,
    0.486982429532429 + 0.0*i,
    0.0455621717383797 + 0.0*i,
    -0.366126847871992 + 0.0*i,
    0.110441573701165 + 0.0*i,
    -0.143453803942298 + 0.0*i,
    -0.0265069734472836 + 0.0*i,
    0.114586723346674 + 0.0*i,
    -0.429958736925981 + 0.0*i,
    -0.322298172011975 + 0.0*i,
    0.0996899344801802 + 0.0*i,
    -0.485655557699728 + 0.0*i,
    0.487947401123092 + 0.0*i,
    -0.0160971886573315 + 0.0*i,
    -0.20981749068596 + 0.0*i,
    -0.371365692705043 + 0.0*i,
    -0.228086379905293 + 0.0*i,
    -0.572084736124675 + 0.0*i,
    -0.612710543390959 + 0.0*i,
    0.23939160190925 + 0.0*i,
    0.0307511404719611 + 0.0*i,
    0.237586185663192 + 0.0*i,
    0.803733219270261 + 0.0*i,
    0.0956799641506986 + 0.0*i,
    -0.352223987486629 + 0.0*i,
    0.15610137380334 + 0.0*i,
    0.550569097184855 + 0.0*i,
    -0.190475325958234 + 0.0*i,
    -0.283245833645527 + 0.0*i,
    -0.387993417402939 + 0.0*i,
    -0.0590300724383479 + 0.0*i,
    0.101940198404195 + 0.0*i,
    -0.0978233547747455 + 0.0*i,
    -0.37680059342928 + 0.0*i,
    -0.281220936220995 + 0.0*i,
    -0.355523028574028 + 0.0*i,
    -0.523335801947474 + 0.0*i,
    -0.14930428626152 + 0.0*i,
    0.0182006634136715 + 0.0*i,
    -0.653135859915096 + 0.0*i,
    -0.287180329994521 + 0.0*i,
    -0.39568288251322 + 0.0*i,
    -0.164383958660877 + 0.0*i,
    -0.334935747973092 + 0.0*i,
    -0.117403577588786 + 0.0*i,
    -0.344374289201897 + 0.0*i,
    0.15508145634517 + 0.0*i,
    -0.0213536027796903 + 0.0*i,
    0.00445006833672378 + 0.0*i,
    -0.0530003250467284 + 0.0*i,
    0.14636633113225 + 0.0*i,
    -0.480561204405468 + 0.0*i,
    0.105199909593046 + 0.0*i,
    0.295554309904487 + 0.0*i,
    -0.162132191056064 + 0.0*i,
    0.813475741748891 + 0.0*i,
    -0.292294402549176 + 0.0*i,
    -0.505792490311606 + 0.0*i,
    0.671428644596209 + 0.0*i,
    0.160946371963013 + 0.0*i,
    -0.468194306597369 + 0.0*i,
    -0.465209414503471 + 0.0*i,
    0.208057722057277 + 0.0*i,
    -0.519497932762691 + 0.0*i,
    0.128248358971069 + 0.0*i,
    0.134896649866869 + 0.0*i,
    -0.121540779370113 + 0.0*i,
    -0.474655371604396 + 0.0*i,
    -0.0473153922871481 + 0.0*i,
    -0.149154540846462 + 0.0*i,
    -0.335750464452656 + 0.0*i,
    0.26563021655816 + 0.0*i,
    -0.346529763644159 + 0.0*i,
    -0.27729612133214 + 0.0*i,
    -0.00028746438477912 + 0.0*i,
    -0.127348842826494 + 0.0*i,
    -0.324593472882117 + 0.0*i,
    -0.288606111985713 + 0.0*i,
    -0.0943730152925305 + 0.0*i,
    0.0079357743211894 + 0.0*i,
    -0.35280599309089 + 0.0*i,
    -0.145983483036364 + 0.0*i,
    -0.665489496540595 + 0.0*i,
    0.142017204037536 + 0.0*i,
    0.260222797190438 + 0.0*i,
    0.253727149332172 + 0.0*i,
    -0.349127963189089 + 0.0*i,
    -0.0149097681537875 + 0.0*i,
    0.304285844025647 + 0.0*i,
    -0.0145176616389508 + 0.0*i,
    0.523990005029851 + 0.0*i,
    0.0615758029828308 + 0.0*i,
    -0.330557487565782 + 0.0*i,
    0.174923761733801 + 0.0*i,
    -0.295009557692449 + 0.0*i,
    0.0815604993720984 + 0.0*i,
    -0.39101312476043 + 0.0*i,
    -0.215993274041018 + 0.0*i,
    -0.672462872723624 + 0.0*i,
    0.529070607556888 + 0.0*i,
    0.289362577818263 + 0.0*i,
    0.293310214902013 + 0.0*i,
    -0.391894739131252 + 0.0*i,
    -0.124364560306796 + 0.0*i,
    -0.362130681564688 + 0.0*i,
    0.236544362852044 + 0.0*i,
    -0.138524921604413 + 0.0*i,
    -0.712142632379509 + 0.0*i,
    0.152944037305334 + 0.0*i,
    0.178935361771965 + 0.0*i,
    -0.464817278092144 + 0.0*i,
    -0.0197346850881703 + 0.0*i,
    -0.0196744823091545 + 0.0*i,
    -0.514591991724253 + 0.0*i,
    -0.0865723213734981 + 0.0*i,
    -0.0433627246528075 + 0.0*i,
    0.408683032058618 + 0.0*i,
    -0.390942296787064 + 0.0*i,
    -0.316433654695088 + 0.0*i,
    -0.0332094803297672 + 0.0*i,
    0.38109471203743 + 0.0*i,
    0.354916361125879 + 0.0*i,
    -0.199234490469696 + 0.0*i,
    -0.5122894744342 + 0.0*i,
    -0.274198441160305 + 0.0*i,
    -0.181792337027805 + 0.0*i,
    -0.303911783841032 + 0.0*i,
    -0.000463896300127015 + 0.0*i,
    0.158401822033413 + 0.0*i,
    -0.423981230757519 + 0.0*i,
    -0.0325298671769339 + 0.0*i,
    -0.0483838718090219 + 0.0*i,
    0.598341940208719 + 0.0*i,
    -0.226471285969509 + 0.0*i,
    -0.380225514861334 + 0.0*i,
    -0.0750629914413958 + 0.0*i,
    0.11242015537337 + 0.0*i,
    0.210138016094145 + 0.0*i,
    0.00825546772952233 + 0.0*i,
    -0.0432676815731017 + 0.0*i,
    0.148721845929026 + 0.0*i,
    0.118684312331754 + 0.0*i,
    -0.152844025424598 + 0.0*i,
    -0.632463523439949 + 0.0*i,
    -0.157039970470089 + 0.0*i,
    0.265210104279713 + 0.0*i,
    -0.50172747641318 + 0.0*i,
    0.402365436488124 + 0.0*i,
    -0.114910081966857 + 0.0*i,
    0.243254792041694 + 0.0*i,
    -0.308357242257315 + 0.0*i,
    -0.490818790208831 + 0.0*i,
    -0.124458793813331 + 0.0*i,
    -0.713069722840982 + 0.0*i,
    0.7609392785175 + 0.0*i,
    0.451591531804067 + 0.0*i,
    0.075008443945087 + 0.0*i,
    -0.538110322936025 + 0.0*i,
    -0.0251194183015788 + 0.0*i,
    0.204877826400343 + 0.0*i,
    0.334072753964692 + 0.0*i,
    -0.121726182674309 + 0.0*i,
    0.365390150208716 + 0.0*i,
    0.599087052562113 + 0.0*i,
    0.382013286947923 + 0.0*i,
    -0.307003171071677 + 0.0*i,
    0.130234709052393 + 0.0*i,
    -0.135875086706292 + 0.0*i,
    -0.361186470040534 + 0.0*i,
    0.0738659302297242 + 0.0*i,
    0.642693584683989 + 0.0*i,
    0.280869450120423 + 0.0*i,
    0.756678400759267 + 0.0*i,
    -0.158442700245289 + 0.0*i,
    -0.236516001048877 + 0.0*i,
    -0.69065586416425 + 0.0*i,
    0.291204039402381 + 0.0*i,
    0.215053754962426 + 0.0*i,
    -0.451002404555188 + 0.0*i,
    -0.0709998649426262 + 0.0*i,
    0.227575974119233 + 0.0*i,
    0.0925318886374927 + 0.0*i,
    -0.286779372129183 + 0.0*i,
    0.158406660835946 + 0.0*i,
    -0.310435743183298 + 0.0*i,
    0.0846746682087792 + 0.0*i,
    0.218471905959009 + 0.0*i,
    0.0138195201045382 + 0.0*i,
    -0.0597436088464185 + 0.0*i,
    -0.50753045643397 + 0.0*i,
    0.437437767358737 + 0.0*i,
    0.0763841162644247 + 0.0*i,
    -0.0217960876160192 + 0.0*i,
    0.617819509972982 + 0.0*i,
    -0.491503425014474 + 0.0*i,
    -0.159458657163306 + 0.0*i,
    -0.00603948715398301 + 0.0*i,
    0.087621119235675 + 0.0*i,
    -0.0744695741261133 + 0.0*i,
    -0.0739623144125809 + 0.0*i,
    0.0790452099035944 + 0.0*i,
    -0.242692095393424 + 0.0*i,
    -0.326895949123416 + 0.0*i,
    -0.493528450683222 + 0.0*i,
    -0.293916858015983 + 0.0*i,
    -0.484514992351589 + 0.0*i,
    -0.643284767380568 + 0.0*i,
    -0.169767610202936 + 0.0*i,
    -0.372852182863507 + 0.0*i,
    0.531576723672122 + 0.0*i,
    -0.0513527121604474 + 0.0*i,
    -0.708324448989587 + 0.0*i,
    0.42877800764816 + 0.0*i,
    -0.289443724224403 + 0.0*i,
    -0.0295192418687551 + 0.0*i,
    -0.170944820522343 + 0.0*i,
    -0.357841385626535 + 0.0*i,
    -0.283356043831387 + 0.0*i,
    0.0503588991186574 + 0.0*i,
    0.639885020773553 + 0.0*i,
    -0.442123067166845 + 0.0*i,
    -0.207397655952431 + 0.0*i,
    0.187080579771686 + 0.0*i,
    0.00515404797960649 + 0.0*i,
    0.277779300486877 + 0.0*i,
    -0.273712462572783 + 0.0*i,
    -0.0228527213348151 + 0.0*i,
    0.0616916231040763 + 0.0*i,
    0.0534783208170284 + 0.0*i,
    -0.370662652694226 + 0.0*i,
    -0.018582618309071 + 0.0*i,
    0.142166035562892 + 0.0*i,
    0.0160103187971787 + 0.0*i,
    0.0802180494508057 + 0.0*i,
    -0.669414313430508 + 0.0*i,
    -0.0263438400058577 + 0.0*i,
    -0.133854513279765 + 0.0*i,
    0.340731618357409 + 0.0*i,
    0.3598447634401 + 0.0*i,
    -0.199582856781154 + 0.0*i,
    0.354466413597214 + 0.0*i,
    -0.358893371315002 + 0.0*i,
    -0.102665622442494 + 0.0*i,
    0.142974890798176 + 0.0*i,
    -0.62533843587976 + 0.0*i,
    0.296273926673159 + 0.0*i,
    0.497850637802921 + 0.0*i,
    -0.455013142633377 + 0.0*i,
    0.13495539673497 + 0.0*i,
    0.337802450641272 + 0.0*i,
    0.0147075743836582 + 0.0*i,
    -0.1114994240032 + 0.0*i,
    0.207646807688327 + 0.0*i,
    0.0872701939159115 + 0.0*i,
    -0.0466272059438499 + 0.0*i,
    -0.232818918956742 + 0.0*i,
    0.166599655518732 + 0.0*i,
    0.342877362713281 + 0.0*i,
    0.14052281775086 + 0.0*i,
    -0.133947502283321 + 0.0*i,
    0.631426461379021 + 0.0*i,
    0.265438821008201 + 0.0*i,
    0.683348118635919 + 0.0*i,
    -0.307162410503548 + 0.0*i,
    0.614864067404802 + 0.0*i,
    0.251122077831913 + 0.0*i,
    0.133814336780499 + 0.0*i,
    -0.130535457812456 + 0.0*i,
    0.273342874176993 + 0.0*i,
    0.0020606904459562 + 0.0*i,
    -0.204582471709445 + 0.0*i,
    0.114562961591284 + 0.0*i,
    0.252585931191184 + 0.0*i,
    0.325617148857317 + 0.0*i,
    -0.275322385112926 + 0.0*i,
    -0.44567565613866 + 0.0*i,
    0.157514878750788 + 0.0*i,
    0.160233250154292 + 0.0*i,
    -0.0954048500276232 + 0.0*i,
    -0.112620448205047 + 0.0*i,
    -0.219929266742189 + 0.0*i,
    0.19310383087595 + 0.0*i,
    0.591271735542227 + 0.0*i,
    -0.614798173986108 + 0.0*i,
    0.754372041241059 + 0.0*i,
    0.317066050475065 + 0.0*i,
    -0.276977677816168 + 0.0*i,
    -0.500065467066745 + 0.0*i,
    -0.219766461375325 + 0.0*i,
    0.0575584353893452 + 0.0*i,
    0.223776180190589 + 0.0*i,
    0.0489542627635856 + 0.0*i,
    -0.0802363361038577 + 0.0*i,
    0.653204737483151 + 0.0*i,
    0.263270359729478 + 0.0*i,
    -0.217002374915969 + 0.0*i,
    -0.29534508414783 + 0.0*i,
    -0.588964380533466 + 0.0*i,
    -0.363159598023355 + 0.0*i,
    -0.536283353179521 + 0.0*i,
    0.102091678964784 + 0.0*i,
    -0.549085528555295 + 0.0*i,
    -0.207727811816675 + 0.0*i,
    -0.212216980219774 + 0.0*i,
    -0.0447134871543559 + 0.0*i,
    0.673040377018709 + 0.0*i,
    0.112312485470127 + 0.0*i,
    0.118212965308897 + 0.0*i,
    -0.469388807498825 + 0.0*i,
    0.185492339679317 + 0.0*i,
    0.109095978437289 + 0.0*i,
    0.192072122692073 + 0.0*i,
    0.323606451106914 + 0.0*i,
    0.696425176004715 + 0.0*i,
    0.704421103073868 + 0.0*i,
    -0.0640481590103666 + 0.0*i,
    0.177478161438149 + 0.0*i,
    0.387353947537527 + 0.0*i,
    0.214351418444856 + 0.0*i,
    0.217693737769908 + 0.0*i,
    0.00230326913633705 + 0.0*i,
    -0.109550258655527 + 0.0*i,
    0.205683644174494 + 0.0*i,
    0.21957096388945 + 0.0*i,
    0.254027503291683 + 0.0*i,
    0.326039278542084 + 0.0*i,
    0.400177371649923 + 0.0*i,
    0.379668231987048 + 0.0*i,
    -0.111603698585013 + 0.0*i,
    -0.122688469732935 + 0.0*i
]);