V:=Matrix(CC,7,58,[
    0.35071843254151 + 0.0*i,
    0.41885377699709 + 0.0*i,
    -0.685679461293843 + 0.0*i,
    0.337397349953911 + 0.0*i,
    0.392293477558462 + 0.0*i,
    0.544334533998629 + 0.0*i,
    -0.466948259399946 + 0.0*i,
    -0.0217213953054962 + 0.0*i,
    -0.156697526843823 + 0.0*i,
    0.249835729160757 + 0.0*i,
    -0.467047444275049 + 0.0*i,
    -0.226121931675381 + 0.0*i,
    -0.490687577578681 + 0.0*i,
    -0.30453958451063 + 0.0*i,
    0.224445592109832 + 0.0*i,
    0.375843406780287 + 0.0*i,
    0.453821560664153 + 0.0*i,
    0.871788899550684 + 0.0*i,
    -0.516740751113355 + 0.0*i,
    -0.346686572260281 + 0.0*i,
    0.0695112153168173 + 0.0*i,
    0.530357044595786 + 0.0*i,
    0.20732963001769 + 0.0*i,
    -0.198454978251518 + 0.0*i,
    -0.302821186064071 + 0.0*i,
    -0.296512063184064 + 0.0*i,
    0.077478183539536 + 0.0*i,
    0.692246943804823 + 0.0*i,
    0.647600543885262 + 0.0*i,
    -0.0699394582064055 + 0.0*i,
    -0.402384919247551 + 0.0*i,
    -0.0839030971947535 + 0.0*i,
    0.0864171789023672 + 0.0*i,
    -0.307419669521308 + 0.0*i,
    0.634139565831486 + 0.0*i,
    -0.73130505322742 + 0.0*i,
    0.437251376383177 + 0.0*i,
    -0.455341818612845 + 0.0*i,
    0.738342637404149 + 0.0*i,
    -0.182995031877862 + 0.0*i,
    0.326076582654806 + 0.0*i,
    0.153817097005892 + 0.0*i,
    -0.163610365355496 + 0.0*i,
    0.730849640500279 + 0.0*i,
    0.484003194716813 + 0.0*i,
    -0.298344700195504 + 0.0*i,
    0.472344327653658 + 0.0*i,
    0.147044372408953 + 0.0*i,
    0.553355095451098 + 0.0*i,
    -0.00469139465501054 + 0.0*i,
    0.344942428738786 + 0.0*i,
    -0.143992376937673 + 0.0*i,
    -0.0426656949195782 + 0.0*i,
    0.110080496003258 + 0.0*i,
    -0.380984223129143 + 0.0*i,
    0.0271698039973397 + 0.0*i,
    0.106829764106493 + 0.0*i,
    -0.0818203722035189 + 0.0*i,
    -0.153207636440409 + 0.0*i,
    -0.272366122843751 + 0.0*i,
    0.245850323257767 + 0.0*i,
    0.630693584410905 + 0.0*i,
    0.0904345670608738 + 0.0*i,
    -0.300780494164703 + 0.0*i,
    0.80265786439462 + 0.0*i,
    -0.0860473679513501 + 0.0*i,
    0.607579024023747 + 0.0*i,
    0.485814630030324 + 0.0*i,
    -0.127528012216428 + 0.0*i,
    -0.659882712389804 + 0.0*i,
    -0.353798549895557 + 0.0*i,
    0.380786223987302 + 0.0*i,
    -0.288455979068823 + 0.0*i,
    0.488455476231358 + 0.0*i,
    0.0391172344414913 + 0.0*i,
    0.0265444069087561 + 0.0*i,
    0.23921361461472 + 0.0*i,
    -0.190635586813266 + 0.0*i,
    0.474851626824148 + 0.0*i,
    -0.175523756334928 + 0.0*i,
    -0.136403011116091 + 0.0*i,
    -0.256378639163814 + 0.0*i,
    -0.400469363994135 + 0.0*i,
    0.196223036803533 + 0.0*i,
    -0.360754309906444 + 0.0*i,
    0.449272665322068 + 0.0*i,
    0.00271788756066683 + 0.0*i,
    0.509689865314686 + 0.0*i,
    0.631466313811928 + 0.0*i,
    0.215278031648703 + 0.0*i,
    0.284699700182801 + 0.0*i,
    0.363170879112626 + 0.0*i,
    -0.126016728613163 + 0.0*i,
    0.137606951197917 + 0.0*i,
    -0.00402491727911489 + 0.0*i,
    -0.53708046278461 + 0.0*i,
    0.413361400879886 + 0.0*i,
    -0.0471847776393127 + 0.0*i,
    -0.358728741772309 + 0.0*i,
    0.821860990245527 + 0.0*i,
    -0.551784174939955 + 0.0*i,
    -0.147005541774953 + 0.0*i,
    0.095124862428075 + 0.0*i,
    0.598234731744346 + 0.0*i,
    0.09843996115683 + 0.0*i,
    -0.571727653809452 + 0.0*i,
    0.409051038910268 + 0.0*i,
    -0.0196219262424969 + 0.0*i,
    -0.510089876090613 + 0.0*i,
    0.153585464027817 + 0.0*i,
    0.531959358586035 + 0.0*i,
    -0.118169669244853 + 0.0*i,
    0.172981135403696 + 0.0*i,
    0.0342511229079582 + 0.0*i,
    0.374649271569753 + 0.0*i,
    0.0972486682024374 + 0.0*i,
    -0.116057226691986 + 0.0*i,
    0.172138321879777 + 0.0*i,
    -0.0113578769169763 + 0.0*i,
    0.349926696313061 + 0.0*i,
    -0.147526679640327 + 0.0*i,
    -0.346883737458631 + 0.0*i,
    -0.120598918787333 + 0.0*i,
    0.611280632800303 + 0.0*i,
    0.123437654926283 + 0.0*i,
    0.138410429132463 + 0.0*i,
    0.250429158363717 + 0.0*i,
    -0.136745290919075 + 0.0*i,
    0.371054687605133 + 0.0*i,
    0.13257176684286 + 0.0*i,
    0.175635998137534 + 0.0*i,
    -0.202953943814594 + 0.0*i,
    -0.148641343510246 + 0.0*i,
    0.0658851042105808 + 0.0*i,
    0.311790918242497 + 0.0*i,
    0.239402599574518 + 0.0*i,
    0.360820450616041 + 0.0*i,
    -0.331176046887079 + 0.0*i,
    -0.316621504123181 + 0.0*i,
    -0.11466812667409 + 0.0*i,
    -0.248632598461847 + 0.0*i,
    0.401949790635298 + 0.0*i,
    0.342444253323965 + 0.0*i,
    -0.0870617083586637 + 0.0*i,
    0.124251863545473 + 0.0*i,
    0.738775214201427 + 0.0*i,
    -0.0632546875071759 + 0.0*i,
    -0.515353258681219 + 0.0*i,
    0.310683940232676 + 0.0*i,
    -0.741871783910728 + 0.0*i,
    0.481660801444234 + 0.0*i,
    0.198060349893081 + 0.0*i,
    -0.713501633810579 + 0.0*i,
    0.340096747635744 + 0.0*i,
    0.298103889719935 + 0.0*i,
    0.761108729549658 + 0.0*i,
    0.0647278039331559 + 0.0*i,
    -0.479276664847391 + 0.0*i,
    0.367934293459315 + 0.0*i,
    0.128544950817479 + 0.0*i,
    0.472794908651259 + 0.0*i,
    0.422084703905924 + 0.0*i,
    -0.54434925798623 + 0.0*i,
    -0.357680617160185 + 0.0*i,
    0.567452064417863 + 0.0*i,
    -0.0495320558161389 + 0.0*i,
    0.0858511500020819 + 0.0*i,
    -0.677807739720249 + 0.0*i,
    -0.590044631947065 + 0.0*i,
    0.539021630059977 + 0.0*i,
    -0.623396536938076 + 0.0*i,
    0.533780724041292 + 0.0*i,
    -0.0422343808526447 + 0.0*i,
    -0.584803053039741 + 0.0*i,
    -0.112658752031657 + 0.0*i,
    0.447667951338402 + 0.0*i,
    -0.358677537679789 + 0.0*i,
    0.199797516616012 + 0.0*i,
    0.272179342554283 + 0.0*i,
    -0.116786740955383 + 0.0*i,
    0.27130590713834 + 0.0*i,
    0.512789829537887 + 0.0*i,
    0.323116510909652 + 0.0*i,
    0.503138764562045 + 0.0*i,
    0.141282408520409 + 0.0*i,
    0.364924323396564 + 0.0*i,
    -0.36378077850631 + 0.0*i,
    0.18840040992025 + 0.0*i,
    -0.655473026639671 + 0.0*i,
    -0.179533640620881 + 0.0*i,
    0.125962071485797 + 0.0*i,
    -0.276215706165279 + 0.0*i,
    -0.0315876457155965 + 0.0*i,
    -0.457983729967015 + 0.0*i,
    -0.180478741925176 + 0.0*i,
    0.738095995162049 + 0.0*i,
    0.149510265615893 + 0.0*i,
    0.0782155184401971 + 0.0*i,
    0.558116803119921 + 0.0*i,
    0.650303168718892 + 0.0*i,
    0.146440485926338 + 0.0*i,
    -0.0359074999103032 + 0.0*i,
    -0.157909425158426 + 0.0*i,
    -0.3475312642467 + 0.0*i,
    -0.445615644643802 + 0.0*i,
    -0.532514184992768 + 0.0*i,
    -0.671605380310379 + 0.0*i,
    0.195131253676252 + 0.0*i,
    0.569482360488827 + 0.0*i,
    -0.342336314278313 + 0.0*i,
    0.134589622259614 + 0.0*i,
    0.399329773005591 + 0.0*i,
    0.00501665649705281 + 0.0*i,
    0.41806402182776 + 0.0*i,
    -0.393156523970537 + 0.0*i,
    -0.184930366783581 + 0.0*i,
    -0.338498393851563 + 0.0*i,
    -0.682768926406747 + 0.0*i,
    0.210307241374083 + 0.0*i,
    -0.180911170410097 + 0.0*i,
    -0.392003158792084 + 0.0*i,
    -0.555748282756291 + 0.0*i,
    0.126794244868753 + 0.0*i,
    -0.884108874356993 + 0.0*i,
    -0.0203345035149752 + 0.0*i,
    0.412984191045477 + 0.0*i,
    0.318700280011342 + 0.0*i,
    0.638688795605751 + 0.0*i,
    0.22456639076595 + 0.0*i,
    -0.376839680511786 + 0.0*i,
    -0.497601440138301 + 0.0*i,
    0.078795927833517 + 0.0*i,
    -0.76080547646968 + 0.0*i,
    -0.321873582219197 + 0.0*i,
    0.158364158357508 + 0.0*i,
    -0.223049562564515 + 0.0*i,
    0.526917801729873 + 0.0*i,
    -0.167650504810915 + 0.0*i,
    -0.0459377751485527 + 0.0*i,
    0.209733136129982 + 0.0*i,
    -0.132722441547537 + 0.0*i,
    0.508175304363863 + 0.0*i,
    -0.0051947026107636 + 0.0*i,
    0.531297565629601 + 0.0*i,
    -0.278478027053408 + 0.0*i,
    -0.774381237718504 + 0.0*i,
    0.529524711685494 + 0.0*i,
    0.188949598457292 + 0.0*i,
    0.443820175656161 + 0.0*i,
    0.152730026032214 + 0.0*i,
    -0.608604442097218 + 0.0*i,
    0.218282721942349 + 0.0*i,
    0.24603356449445 + 0.0*i,
    0.0217526294270565 + 0.0*i,
    0.303126920565255 + 0.0*i,
    0.750057079244812 + 0.0*i,
    -0.54634661279315 + 0.0*i,
    0.135130688396707 + 0.0*i,
    0.296528685495948 + 0.0*i,
    -0.48285838132439 + 0.0*i,
    -0.279779305125549 + 0.0*i,
    -0.190628825402693 + 0.0*i,
    -0.0618320322516581 + 0.0*i,
    -0.547880009528837 + 0.0*i,
    -0.291956438990624 + 0.0*i,
    -0.408044357746881 + 0.0*i,
    0.0193924246864439 + 0.0*i,
    -0.0996490960836227 + 0.0*i,
    -0.455188066625325 + 0.0*i,
    0.255297961893698 + 0.0*i,
    0.111519018127278 + 0.0*i,
    -0.0980605746424147 + 0.0*i,
    -0.516446703443756 + 0.0*i,
    0.0654958927499649 + 0.0*i,
    -0.495692564126746 + 0.0*i,
    -0.0325057317256122 + 0.0*i,
    0.558945693460983 + 0.0*i,
    0.54129142813628 + 0.0*i,
    -0.111386104940211 + 0.0*i,
    0.282585226446112 + 0.0*i,
    0.124840181704522 + 0.0*i,
    -0.446523559237121 + 0.0*i,
    -0.449406219063004 + 0.0*i,
    0.173782002132054 + 0.0*i,
    0.157027641012029 + 0.0*i,
    -0.233324521405942 + 0.0*i,
    -0.0834684686302349 + 0.0*i,
    -0.448575935874136 + 0.0*i,
    0.481404002572323 + 0.0*i,
    -0.66895189695249 + 0.0*i,
    0.402866737485354 + 0.0*i,
    0.605637286487486 + 0.0*i,
    0.298440493648381 + 0.0*i,
    0.214661242030344 + 0.0*i,
    -0.445738002249922 + 0.0*i,
    0.201473422758153 + 0.0*i,
    0.207425733135716 + 0.0*i,
    0.148252664857471 + 0.0*i,
    -0.686717419900266 + 0.0*i,
    0.0412155787173396 + 0.0*i,
    -0.771045611367532 + 0.0*i,
    -0.2647265099842 + 0.0*i,
    0.459644289896197 + 0.0*i,
    0.0907049639179449 + 0.0*i,
    -0.36045147547611 + 0.0*i,
    0.0428796227975399 + 0.0*i,
    -0.321935144500158 + 0.0*i,
    -0.219763418133456 + 0.0*i,
    -0.248229715852519 + 0.0*i,
    -0.554664833514421 + 0.0*i,
    0.683280216077243 + 0.0*i,
    0.0596213128470319 + 0.0*i,
    0.588189875083483 + 0.0*i,
    0.554735442217919 + 0.0*i,
    0.143035593553508 + 0.0*i,
    0.583346149342866 + 0.0*i,
    -0.706716175609531 + 0.0*i,
    -0.1567065323718 + 0.0*i,
    -0.123095393223071 + 0.0*i,
    -0.170151706815061 + 0.0*i,
    0.394515682549614 + 0.0*i,
    -0.0180329685242799 + 0.0*i,
    -0.548527965309484 + 0.0*i,
    -0.0334582577210481 + 0.0*i,
    0.111264111524858 + 0.0*i,
    0.444886620024848 + 0.0*i,
    -0.122204403574702 + 0.0*i,
    0.0645907943106593 + 0.0*i,
    0.43196076654302 + 0.0*i,
    -0.314408038958893 + 0.0*i,
    -0.18877259674933 + 0.0*i,
    -0.166689851021644 + 0.0*i,
    0.250527191265623 + 0.0*i,
    0.397188756722434 + 0.0*i,
    0.413254336379722 + 0.0*i,
    -0.147206547919857 + 0.0*i,
    0.267080676609546 + 0.0*i,
    0.113821481124522 + 0.0*i,
    -0.644868016303152 + 0.0*i,
    0.117174654710555 + 0.0*i,
    -0.582708346821154 + 0.0*i,
    -0.23307070074467 + 0.0*i,
    0.469500890161847 + 0.0*i,
    -0.391179425321095 + 0.0*i,
    0.360145492235875 + 0.0*i,
    0.682692027874914 + 0.0*i,
    0.250924566479756 + 0.0*i,
    -0.265976845746765 + 0.0*i,
    0.212195032738858 + 0.0*i,
    -0.286475083745448 + 0.0*i,
    0.117777645298123 + 0.0*i,
    0.527131752983407 + 0.0*i,
    0.391838274237583 + 0.0*i,
    -0.55953558001069 + 0.0*i,
    0.0075077323045426 + 0.0*i,
    0.421033930856659 + 0.0*i,
    -0.0887287520790529 + 0.0*i,
    -0.529086277144253 + 0.0*i,
    -0.275549630768776 + 0.0*i,
    0.279924942072332 + 0.0*i,
    0.413489528024934 + 0.0*i,
    -0.488115716109301 + 0.0*i,
    -0.258470634384063 + 0.0*i,
    0.704289215473813 + 0.0*i,
    -0.0261929841756355 + 0.0*i,
    0.0347760211055013 + 0.0*i,
    -0.180534559437366 + 0.0*i,
    -0.435694700457846 + 0.0*i,
    0.385629552195085 + 0.0*i,
    0.536660590967226 + 0.0*i,
    -0.617586368946766 + 0.0*i,
    -0.0246196001675946 + 0.0*i,
    -0.275891738220658 + 0.0*i,
    0.110428064130963 + 0.0*i,
    0.457726581694817 + 0.0*i,
    0.286438776563618 + 0.0*i,
    -0.981944681626136 + 0.0*i,
    -0.152423123343161 + 0.0*i,
    0.227932731960933 + 0.0*i,
    -0.145057506584016 + 0.0*i,
    0.00384815428233471 + 0.0*i,
    0.129692039433151 + 0.0*i,
    -0.144166182329411 + 0.0*i,
    -0.05869111216988 + 0.0*i,
    -0.153178273800768 + 0.0*i,
    -0.0608548004202859 + 0.0*i,
    -0.150653100161603 + 0.0*i,
    -0.0532057978424907 + 0.0*i,
    0.477428136888629 + 0.0*i,
    -0.02619143449988 + 0.0*i,
    -0.25939819261285 + 0.0*i,
    0.0663370454414689 + 0.0*i,
    0.0462666188963193 + 0.0*i,
    -0.267738805434411 + 0.0*i,
    -0.0960623698546641 + 0.0*i,
    -0.320568391171115 + 0.0*i,
    0.0040889482626268 + 0.0*i,
    0.000100407348190929 + 0.0*i,
    0.0485538289615936 + 0.0*i,
    -0.632867675030958 + 0.0*i,
    0.0562930858694344 + 0.0*i,
    -0.12878713467177 + 0.0*i,
    -0.340569604889804 + 0.0*i,
    -0.156818367867007 + 0.0*i,
    -0.594070690130241 + 0.0*i,
    0.0765686823700706 + 0.0*i
]);