V:=Matrix(CC,8,57,[
    0.0282989622643343 + 0.0*i,
    0.56026908884272 + 0.0*i,
    -0.247968344973598 + 0.0*i,
    0.280917872534795 + 0.0*i,
    0.495680138984245 + 0.0*i,
    0.0528332391721687 + 0.0*i,
    0.430335657018424 + 0.0*i,
    -0.80698747942795 + 0.0*i,
    -0.0525519652719811 + 0.0*i,
    0.628186203733956 + 0.0*i,
    0.060762784788692 + 0.0*i,
    -0.501650330109368 + 0.0*i,
    -0.50786516614838 + 0.0*i,
    0.40790638554568 + 0.0*i,
    -0.28606876796083 + 0.0*i,
    -0.034301126918193 + 0.0*i,
    0.114108787755711 + 0.0*i,
    -0.322934202187776 + 0.0*i,
    0.563397242654376 + 0.0*i,
    0.387882861172897 + 0.0*i,
    -0.330314032131291 + 0.0*i,
    0.0847177257605445 + 0.0*i,
    -0.0864002000683322 + 0.0*i,
    0.32381064845258 + 0.0*i,
    0.145350294302182 + 0.0*i,
    0.0652816833748719 + 0.0*i,
    -0.684932538634565 + 0.0*i,
    -0.0323062769498548 + 0.0*i,
    0.317396394170523 + 0.0*i,
    0.971611608581368 + 0.0*i,
    0.203219540802407 + 0.0*i,
    0.628545029059709 + 0.0*i,
    -0.133196497804317 + 0.0*i,
    0.367532627440764 + 0.0*i,
    0.121577638545679 + 0.0*i,
    -0.0114114500792461 + 0.0*i,
    -0.205950542119442 + 0.0*i,
    -0.0805830104003827 + 0.0*i,
    -0.16532161182456 + 0.0*i,
    -0.392149100054227 + 0.0*i,
    -0.0615810874663457 + 0.0*i,
    0.30365368670513 + 0.0*i,
    0.374484682797174 + 0.0*i,
    -0.120473253334993 + 0.0*i,
    -0.165090773860084 + 0.0*i,
    -0.0519299104988537 + 0.0*i,
    -0.38617985223038 + 0.0*i,
    0.239262574898935 + 0.0*i,
    -0.0348577277111126 + 0.0*i,
    -0.0291396638302741 + 0.0*i,
    0.589515513062525 + 0.0*i,
    0.0225508927484356 + 0.0*i,
    -0.351176085720675 + 0.0*i,
    -0.326009246933394 + 0.0*i,
    -0.28626924217082 + 0.0*i,
    -0.0503632170309824 + 0.0*i,
    -0.356515998614316 + 0.0*i,
    0.379719826888374 + 0.0*i,
    -0.418544220264156 + 0.0*i,
    0.0476376893615301 + 0.0*i,
    -0.217397624172027 + 0.0*i,
    0.341034525709056 + 0.0*i,
    0.134777631186572 + 0.0*i,
    -0.344506848890789 + 0.0*i,
    0.172185350577312 + 0.0*i,
    -0.0771675620108513 + 0.0*i,
    0.536117839726575 + 0.0*i,
    -0.547371232603087 + 0.0*i,
    -0.473440819966168 + 0.0*i,
    0.464553572446767 + 0.0*i,
    0.31267649871074 + 0.0*i,
    -0.489706588704105 + 0.0*i,
    -0.210769719511952 + 0.0*i,
    -0.156658211490523 + 0.0*i,
    -0.398967760054019 + 0.0*i,
    -0.122224121138627 + 0.0*i,
    0.558335234651302 + 0.0*i,
    -0.0982942869291148 + 0.0*i,
    0.0415379452800489 + 0.0*i,
    -0.122707876915834 + 0.0*i,
    0.124416958578585 + 0.0*i,
    -0.292243102020534 + 0.0*i,
    0.546821060896418 + 0.0*i,
    -0.631706880029414 + 0.0*i,
    -0.621432370680392 + 0.0*i,
    0.745307595777061 + 0.0*i,
    -0.690527531693621 + 0.0*i,
    -0.190177199364164 + 0.0*i,
    0.369030722336229 + 0.0*i,
    0.394533366036152 + 0.0*i,
    0.354293051148321 + 0.0*i,
    0.121437503557916 + 0.0*i,
    -0.104982793354202 + 0.0*i,
    -0.864087093812746 + 0.0*i,
    -0.161746933160776 + 0.0*i,
    -0.14006450343016 + 0.0*i,
    -0.182658327868232 + 0.0*i,
    0.510823303225837 + 0.0*i,
    -0.294033144769627 + 0.0*i,
    -0.167692590320396 + 0.0*i,
    -0.180860692899273 + 0.0*i,
    -0.225502614394387 + 0.0*i,
    0.0155015319245916 + 0.0*i,
    0.499689454632173 + 0.0*i,
    0.167176167033817 + 0.0*i,
    -0.0433623049967622 + 0.0*i,
    -0.132965697861296 + 0.0*i,
    -0.247748188697256 + 0.0*i,
    -0.433137909699768 + 0.0*i,
    0.324238058155927 + 0.0*i,
    -0.38955129009315 + 0.0*i,
    0.00862741915175645 + 0.0*i,
    -0.0491595697876828 + 0.0*i,
    0.477619976396662 + 0.0*i,
    0.164262163260875 + 0.0*i,
    0.447470519253793 + 0.0*i,
    -0.255808102685807 + 0.0*i,
    -0.0603351383203275 + 0.0*i,
    -0.0407097173352619 + 0.0*i,
    -0.138342714102239 + 0.0*i,
    0.430484179477566 + 0.0*i,
    -0.00698450985002474 + 0.0*i,
    0.144195334850882 + 0.0*i,
    -0.0798172661194952 + 0.0*i,
    0.16527508617709 + 0.0*i,
    0.369739203608289 + 0.0*i,
    0.0928028164393825 + 0.0*i,
    -0.0909411745687902 + 0.0*i,
    -0.170610888210788 + 0.0*i,
    -0.100602694201178 + 0.0*i,
    0.105760737604006 + 0.0*i,
    0.141711069625838 + 0.0*i,
    0.341299347422887 + 0.0*i,
    0.650503843951463 + 0.0*i,
    0.583538177127405 + 0.0*i,
    -0.0895354075839164 + 0.0*i,
    0.0290322682837444 + 0.0*i,
    -0.454988565189822 + 0.0*i,
    0.0691036711674767 + 0.0*i,
    -0.144543150249251 + 0.0*i,
    -0.0664532479031185 + 0.0*i,
    0.0762331286672283 + 0.0*i,
    0.0567184778180755 + 0.0*i,
    0.0929316334789977 + 0.0*i,
    -0.649021171122651 + 0.0*i,
    -0.354732416995513 + 0.0*i,
    0.0722547888112379 + 0.0*i,
    -0.360608306876259 + 0.0*i,
    -0.148058153009217 + 0.0*i,
    0.33551639170178 + 0.0*i,
    0.598274599364491 + 0.0*i,
    -0.00789706855499257 + 0.0*i,
    0.0702897904856721 + 0.0*i,
    -0.349813561419942 + 0.0*i,
    0.326847174752865 + 0.0*i,
    0.448199963845912 + 0.0*i,
    0.24119384943412 + 0.0*i,
    -0.160684255240676 + 0.0*i,
    0.237285469485534 + 0.0*i,
    -0.101962914885918 + 0.0*i,
    -0.175793208549629 + 0.0*i,
    0.545512777042065 + 0.0*i,
    -0.00171866579980366 + 0.0*i,
    0.222813835378988 + 0.0*i,
    -0.0775939705696853 + 0.0*i,
    -0.2167729093075 + 0.0*i,
    0.0418574130164815 + 0.0*i,
    0.0594736241529701 + 0.0*i,
    -0.193875139455854 + 0.0*i,
    -0.185595455668556 + 0.0*i,
    -0.243545163390001 + 0.0*i,
    0.311532143648949 + 0.0*i,
    0.1974456054908 + 0.0*i,
    -0.0635860891902147 + 0.0*i,
    -0.143335965043253 + 0.0*i,
    -0.529150495714274 + 0.0*i,
    -0.483320473694259 + 0.0*i,
    -0.186988807475716 + 0.0*i,
    -0.0582450962068474 + 0.0*i,
    0.167369003885499 + 0.0*i,
    -0.0279800976627419 + 0.0*i,
    -0.460508233447825 + 0.0*i,
    -0.318145681852512 + 0.0*i,
    -0.102196825553671 + 0.0*i,
    -0.366725455139121 + 0.0*i,
    0.751509464299414 + 0.0*i,
    0.647164837916132 + 0.0*i,
    -0.591027192314648 + 0.0*i,
    -0.389646676494536 + 0.0*i,
    -0.209491357738084 + 0.0*i,
    -0.215412402849175 + 0.0*i,
    0.419044646277777 + 0.0*i,
    0.537675521158124 + 0.0*i,
    -0.604510973246652 + 0.0*i,
    0.191026997914805 + 0.0*i,
    0.0540910483585559 + 0.0*i,
    0.374604631489315 + 0.0*i,
    -0.074456965713227 + 0.0*i,
    -0.212429609144481 + 0.0*i,
    -0.619184565358554 + 0.0*i,
    -0.238926364327341 + 0.0*i,
    0.851946691861386 + 0.0*i,
    0.121685540788759 + 0.0*i,
    -0.0334410904465741 + 0.0*i,
    0.768913486516876 + 0.0*i,
    -0.268680988624247 + 0.0*i,
    -0.158735076590537 + 0.0*i,
    0.254363715722437 + 0.0*i,
    -0.00265198394286411 + 0.0*i,
    -0.807680461944815 + 0.0*i,
    0.146929273052013 + 0.0*i,
    0.238442896762786 + 0.0*i,
    -0.228381200646645 + 0.0*i,
    0.180447474200101 + 0.0*i,
    0.115815773597955 + 0.0*i,
    -0.0923594877630043 + 0.0*i,
    0.0102350088151577 + 0.0*i,
    0.064838122402307 + 0.0*i,
    -0.077671427072478 + 0.0*i,
    0.332602340634554 + 0.0*i,
    -0.525244713000831 + 0.0*i,
    0.186393048266541 + 0.0*i,
    -0.870453056719554 + 0.0*i,
    -0.181215477827724 + 0.0*i,
    -0.202933059180108 + 0.0*i,
    -0.168400323159451 + 0.0*i,
    0.175353260230365 + 0.0*i,
    0.0815666387578713 + 0.0*i,
    -0.368072735689037 + 0.0*i,
    0.663698651150318 + 0.0*i,
    0.468870162991798 + 0.0*i,
    0.0333923664553367 + 0.0*i,
    0.301897834674044 + 0.0*i,
    0.369179678156859 + 0.0*i,
    0.497089761167351 + 0.0*i,
    -0.16713482447214 + 0.0*i,
    -0.450800093418182 + 0.0*i,
    0.101033226495638 + 0.0*i,
    -0.259482655805255 + 0.0*i,
    0.0557495779244071 + 0.0*i,
    -0.242621221202473 + 0.0*i,
    -0.225938556389434 + 0.0*i,
    0.331311594053792 + 0.0*i,
    -0.00811383370136907 + 0.0*i,
    -0.120462257739119 + 0.0*i,
    -0.127679497700444 + 0.0*i,
    -0.0688848767811856 + 0.0*i,
    -0.339055650329327 + 0.0*i,
    -0.000564252629308288 + 0.0*i,
    0.25481881393931 + 0.0*i,
    0.0573721036510003 + 0.0*i,
    0.14641135506126 + 0.0*i,
    0.31850207615934 + 0.0*i,
    0.241334694340513 + 0.0*i,
    -0.222274402260006 + 0.0*i,
    -0.0551742535335502 + 0.0*i,
    -0.333260689705078 + 0.0*i,
    -0.146931857954483 + 0.0*i,
    0.347033199875886 + 0.0*i,
    -0.171973073354883 + 0.0*i,
    -0.458953148132793 + 0.0*i,
    -0.308697658133644 + 0.0*i,
    -0.653771575538408 + 0.0*i,
    -0.368454825495458 + 0.0*i,
    0.35931964269802 + 0.0*i,
    -0.349334478393265 + 0.0*i,
    0.571085755142045 + 0.0*i,
    -0.0482872939842769 + 0.0*i,
    -0.270505917939287 + 0.0*i,
    0.4769179016401 + 0.0*i,
    0.249202956592783 + 0.0*i,
    -0.398205071905869 + 0.0*i,
    -0.134403628245365 + 0.0*i,
    -0.359748870565069 + 0.0*i,
    0.711429835324459 + 0.0*i,
    -0.176544142254541 + 0.0*i,
    -0.10685086642924 + 0.0*i,
    0.561152699482014 + 0.0*i,
    0.0189026317114044 + 0.0*i,
    0.244122979449505 + 0.0*i,
    0.179386682525163 + 0.0*i,
    -0.833392226538858 + 0.0*i,
    -0.284222842811947 + 0.0*i,
    0.213802704673396 + 0.0*i,
    -0.433481015559249 + 0.0*i,
    -0.203522316965743 + 0.0*i,
    0.323633882137048 + 0.0*i,
    -0.000180000228969534 + 0.0*i,
    -0.126040683453778 + 0.0*i,
    -0.146081417244216 + 0.0*i,
    0.139633385504969 + 0.0*i,
    -0.884637176876874 + 0.0*i,
    -0.237300322296113 + 0.0*i,
    -0.523109871566022 + 0.0*i,
    0.487907855144421 + 0.0*i,
    -0.217502731448591 + 0.0*i,
    0.414179192071554 + 0.0*i,
    -0.302093029428109 + 0.0*i,
    -0.255838988966242 + 0.0*i,
    -0.527271508248258 + 0.0*i,
    0.416511943164098 + 0.0*i,
    0.237066857489384 + 0.0*i,
    -0.145891704938148 + 0.0*i,
    -0.183989397306133 + 0.0*i,
    -0.426347436825387 + 0.0*i,
    -0.71581057000314 + 0.0*i,
    0.0232312072048518 + 0.0*i,
    -0.106124360157605 + 0.0*i,
    -0.00328577965117813 + 0.0*i,
    -0.157655866490989 + 0.0*i,
    -0.53882901142004 + 0.0*i,
    -0.101660504076123 + 0.0*i,
    -0.431513505665649 + 0.0*i,
    0.0240006211042233 + 0.0*i,
    0.59014355828844 + 0.0*i,
    0.164594545589683 + 0.0*i,
    -0.787146530087997 + 0.0*i,
    0.277429702343868 + 0.0*i,
    -0.871074854889295 + 0.0*i,
    0.673535267336539 + 0.0*i,
    -0.449145764285098 + 0.0*i,
    -0.207147857132485 + 0.0*i,
    -0.0609967262963153 + 0.0*i,
    0.0226987729232631 + 0.0*i,
    -0.041040701731467 + 0.0*i,
    -0.0470574503076704 + 0.0*i,
    -0.0574521664379424 + 0.0*i,
    -0.310137729896027 + 0.0*i,
    0.506663411718214 + 0.0*i,
    -0.503693734303288 + 0.0*i,
    -0.41291288271554 + 0.0*i,
    0.0626027146749847 + 0.0*i,
    -0.165665336793863 + 0.0*i,
    0.41422220639685 + 0.0*i,
    -0.0484409072696363 + 0.0*i,
    0.0816672110218361 + 0.0*i,
    0.113017016131523 + 0.0*i,
    0.121668616906326 + 0.0*i,
    0.128579957512792 + 0.0*i,
    -0.696642790462068 + 0.0*i,
    -0.402140674898356 + 0.0*i,
    0.45622648428445 + 0.0*i,
    0.21473698538836 + 0.0*i,
    0.0539858922297623 + 0.0*i,
    0.703945790509059 + 0.0*i,
    -0.538295817806417 + 0.0*i,
    0.724589993100561 + 0.0*i,
    0.153335760472685 + 0.0*i,
    0.128790608077075 + 0.0*i,
    0.238327870668001 + 0.0*i,
    -0.421097460295704 + 0.0*i,
    -0.317078082798569 + 0.0*i,
    0.274003124396722 + 0.0*i,
    -0.624945364174933 + 0.0*i,
    -0.529910513298696 + 0.0*i,
    0.964005272233435 + 0.0*i,
    -0.220768436735651 + 0.0*i,
    0.577438645328919 + 0.0*i,
    0.121434755307092 + 0.0*i,
    -0.352617406112107 + 0.0*i,
    -0.246916246502181 + 0.0*i,
    0.784155558126811 + 0.0*i,
    0.219344769733088 + 0.0*i,
    -0.509891707702512 + 0.0*i,
    -0.178807059385009 + 0.0*i,
    -0.172935679820021 + 0.0*i,
    -0.210967805887862 + 0.0*i,
    0.226080054643822 + 0.0*i,
    0.157776485171489 + 0.0*i,
    0.154934419888307 + 0.0*i,
    -0.0202286504692336 + 0.0*i,
    0.0605251015786991 + 0.0*i,
    -0.76532305803791 + 0.0*i,
    -0.406202098023531 + 0.0*i,
    -0.309805846256631 + 0.0*i,
    -0.0670639315863766 + 0.0*i,
    -0.00917514591894987 + 0.0*i,
    0.0802106519006449 + 0.0*i,
    -0.0325222488674526 + 0.0*i,
    -0.252264636604712 + 0.0*i,
    -0.0651112603137901 + 0.0*i,
    0.471126686558521 + 0.0*i,
    0.373799718444616 + 0.0*i,
    0.234442319142676 + 0.0*i,
    -0.389142737334889 + 0.0*i,
    0.600016366470691 + 0.0*i,
    -0.522732784410656 + 0.0*i,
    -0.185598293807433 + 0.0*i,
    -0.725443967683546 + 0.0*i,
    0.520632012404337 + 0.0*i,
    -0.0505067338859987 + 0.0*i,
    -0.2143489207142 + 0.0*i,
    -0.753863228122885 + 0.0*i,
    -0.216386648806595 + 0.0*i,
    0.207483935564293 + 0.0*i,
    -0.174348449041891 + 0.0*i,
    0.174120301908538 + 0.0*i,
    -0.0130612605089021 + 0.0*i,
    -0.222819693648885 + 0.0*i,
    0.281927272620668 + 0.0*i,
    -0.335568149049472 + 0.0*i,
    -0.393033126094072 + 0.0*i,
    0.600138373344085 + 0.0*i,
    0.204962825449325 + 0.0*i,
    -0.385269478310992 + 0.0*i,
    -0.0235007325744025 + 0.0*i,
    -0.806376372351838 + 0.0*i,
    0.409042278525727 + 0.0*i,
    0.382131614880729 + 0.0*i,
    -0.270233068141849 + 0.0*i,
    -0.508997497750789 + 0.0*i,
    -0.0689615196977572 + 0.0*i,
    0.027011303736474 + 0.0*i,
    0.53410975664326 + 0.0*i,
    0.193623115592412 + 0.0*i,
    -0.649126274977303 + 0.0*i,
    -0.399940515416346 + 0.0*i,
    -0.698111007934619 + 0.0*i,
    -0.0302596026313844 + 0.0*i,
    -0.0396804697438311 + 0.0*i,
    0.0214078449587727 + 0.0*i,
    -0.128298116326208 + 0.0*i,
    0.305307891496094 + 0.0*i,
    -0.28142949953855 + 0.0*i,
    0.221574413147491 + 0.0*i,
    0.210511040847157 + 0.0*i,
    -0.18557364662356 + 0.0*i,
    -0.0618222456373935 + 0.0*i,
    -0.128965870798302 + 0.0*i,
    -0.21644891950158 + 0.0*i,
    0.360160743072302 + 0.0*i,
    -0.449012694259431 + 0.0*i,
    0.0690682120975166 + 0.0*i,
    -0.389214197219307 + 0.0*i,
    -0.230764666555766 + 0.0*i,
    -0.0807599260284517 + 0.0*i,
    -0.164599588218189 + 0.0*i,
    0.273444157504996 + 0.0*i,
    0.220497509899835 + 0.0*i,
    -0.573083455645796 + 0.0*i,
    0.489811131829326 + 0.0*i,
    0.359355187194953 + 0.0*i,
    0.496689065399217 + 0.0*i,
    0.185784842446434 + 0.0*i,
    0.171617494255688 + 0.0*i,
    0.149603066299738 + 0.0*i,
    -0.143113457858774 + 0.0*i,
    -0.34543456287172 + 0.0*i,
    -0.172235844696063 + 0.0*i,
    0.259408818525871 + 0.0*i,
    -0.241456786553748 + 0.0*i,
    -0.129816929849524 + 0.0*i,
    -0.1646028463607 + 0.0*i,
    -0.538219450370491 + 0.0*i,
    -0.0265302532013563 + 0.0*i,
    0.165144311931053 + 0.0*i
]);