V:=Matrix(CC,7,57,[
    -0.221272818368694 + 0.0*i,
    0.307316819866894 + 0.0*i,
    0.0493812561848305 + 0.0*i,
    0.819765544569869 + 0.0*i,
    0.465783476387388 + 0.0*i,
    0.365459312185926 + 0.0*i,
    0.505464854387539 + 0.0*i,
    -0.515847653128105 + 0.0*i,
    0.121278154413334 + 0.0*i,
    -0.291317281099585 + 0.0*i,
    -0.0788130026219488 + 0.0*i,
    0.719034474665934 + 0.0*i,
    -0.266584290544834 + 0.0*i,
    -0.00368111166604292 + 0.0*i,
    -0.0849391992751629 + 0.0*i,
    0.0551573159303954 + 0.0*i,
    0.0594057130495606 + 0.0*i,
    -0.647345317248558 + 0.0*i,
    -0.49953879822126 + 0.0*i,
    0.51275253948136 + 0.0*i,
    0.412123692362495 + 0.0*i,
    0.23350745362135 + 0.0*i,
    0.258160685751101 + 0.0*i,
    0.523792338531049 + 0.0*i,
    -0.577092066845117 + 0.0*i,
    0.0307776899053862 + 0.0*i,
    -0.197930807307698 + 0.0*i,
    -0.880727780510498 + 0.0*i,
    0.0968537590778914 + 0.0*i,
    -0.279953120611179 + 0.0*i,
    0.370841540063823 + 0.0*i,
    -0.319883509925926 + 0.0*i,
    -0.257928733785219 + 0.0*i,
    -0.185972714948964 + 0.0*i,
    0.00387853275353373 + 0.0*i,
    -0.0933094179022079 + 0.0*i,
    -0.542307735324651 + 0.0*i,
    0.102824793413456 + 0.0*i,
    0.249266837968879 + 0.0*i,
    0.220452234868866 + 0.0*i,
    0.161880557854153 + 0.0*i,
    -0.109201054830791 + 0.0*i,
    -0.189257287836487 + 0.0*i,
    0.1973526116474 + 0.0*i,
    0.0321682358875292 + 0.0*i,
    -0.0865215646999649 + 0.0*i,
    -0.213540718682076 + 0.0*i,
    -0.250238850682479 + 0.0*i,
    0.11492995302904 + 0.0*i,
    0.394542605508342 + 0.0*i,
    0.259512289684696 + 0.0*i,
    -0.162832454299663 + 0.0*i,
    0.587111651835233 + 0.0*i,
    -0.399893008827368 + 0.0*i,
    0.613034705004614 + 0.0*i,
    0.498320396060847 + 0.0*i,
    0.375305237396263 + 0.0*i,
    -0.43410327184549 + 0.0*i,
    -0.117566066570615 + 0.0*i,
    0.115477627906365 + 0.0*i,
    0.591320125308049 + 0.0*i,
    0.886530288665117 + 0.0*i,
    0.178661137979052 + 0.0*i,
    0.126584114250763 + 0.0*i,
    -0.253770026742251 + 0.0*i,
    0.199693318605582 + 0.0*i,
    -0.445394663890556 + 0.0*i,
    0.225800281406326 + 0.0*i,
    -0.421981833352424 + 0.0*i,
    -0.517574505923168 + 0.0*i,
    -0.00559605038572667 + 0.0*i,
    0.0878631047729599 + 0.0*i,
    -0.0552413416588219 + 0.0*i,
    -0.259283635380981 + 0.0*i,
    0.205654344661072 + 0.0*i,
    -0.000483705842397266 + 0.0*i,
    0.468296270213005 + 0.0*i,
    0.578276740077345 + 0.0*i,
    -0.0543310537356039 + 0.0*i,
    0.730796772797492 + 0.0*i,
    0.305620211234399 + 0.0*i,
    -0.0901878984326221 + 0.0*i,
    0.409911960128901 + 0.0*i,
    0.522210454523 + 0.0*i,
    0.395501877159249 + 0.0*i,
    -0.221072215225642 + 0.0*i,
    -0.328769824347059 + 0.0*i,
    0.10069546313621 + 0.0*i,
    0.200268245809394 + 0.0*i,
    -0.022243076777752 + 0.0*i,
    0.406231062666205 + 0.0*i,
    -0.435403805316883 + 0.0*i,
    -0.0389349223007997 + 0.0*i,
    -0.298608215174537 + 0.0*i,
    0.112515893400965 + 0.0*i,
    -0.189504372468881 + 0.0*i,
    -0.162951504609191 + 0.0*i,
    -0.388705460458741 + 0.0*i,
    -0.464551952162712 + 0.0*i,
    0.0957469492483232 + 0.0*i,
    -0.0937062203164735 + 0.0*i,
    -0.0139495622120531 + 0.0*i,
    0.520831261389552 + 0.0*i,
    0.308313616117969 + 0.0*i,
    -0.00232076821711321 + 0.0*i,
    -0.0804167531880282 + 0.0*i,
    0.112990894764489 + 0.0*i,
    -0.248904482451645 + 0.0*i,
    0.237233296240358 + 0.0*i,
    -0.183765369298629 + 0.0*i,
    0.550864230320952 + 0.0*i,
    -0.385397247308066 + 0.0*i,
    -0.0920409991632381 + 0.0*i,
    -0.00382118695237938 + 0.0*i,
    0.403806810482674 + 0.0*i,
    0.296681268329262 + 0.0*i,
    0.306853371605055 + 0.0*i,
    0.77120570280634 + 0.0*i,
    -0.00850495783291646 + 0.0*i,
    -0.0380709000827033 + 0.0*i,
    0.419077004734425 + 0.0*i,
    -0.200080236678002 + 0.0*i,
    0.195505354821402 + 0.0*i,
    -0.186342549505437 + 0.0*i,
    0.411621298849497 + 0.0*i,
    0.058762909750732 + 0.0*i,
    0.465221513476204 + 0.0*i,
    -0.155848408707271 + 0.0*i,
    -0.620245539399587 + 0.0*i,
    -0.285294489742285 + 0.0*i,
    -0.0878233898367657 + 0.0*i,
    0.272651877172821 + 0.0*i,
    -0.822805821711663 + 0.0*i,
    -0.0546506022135973 + 0.0*i,
    1.02227666888278 + 0.0*i,
    -0.394861121541153 + 0.0*i,
    0.322277768293178 + 0.0*i,
    -0.257240899207654 + 0.0*i,
    0.169813049990722 + 0.0*i,
    0.0129800086503145 + 0.0*i,
    0.130640925794345 + 0.0*i,
    -0.0283526130743709 + 0.0*i,
    -0.426313593784082 + 0.0*i,
    -0.804773538674359 + 0.0*i,
    -0.37704198530336 + 0.0*i,
    0.834627372021725 + 0.0*i,
    0.281546121694956 + 0.0*i,
    -0.0646071756921018 + 0.0*i,
    0.0948882098763269 + 0.0*i,
    0.66738780394717 + 0.0*i,
    0.494315733549744 + 0.0*i,
    0.562146727307039 + 0.0*i,
    -0.190855540357329 + 0.0*i,
    -0.875410507517204 + 0.0*i,
    -0.0821537593048771 + 0.0*i,
    -0.76672733090197 + 0.0*i,
    -0.0440706637083764 + 0.0*i,
    -0.124963669360074 + 0.0*i,
    -0.0501825938920546 + 0.0*i,
    -0.269249128670495 + 0.0*i,
    0.0802415209124496 + 0.0*i,
    -0.530164233519588 + 0.0*i,
    -0.152838155994317 + 0.0*i,
    -0.14527579961893 + 0.0*i,
    -0.367480647143065 + 0.0*i,
    0.235692051210756 + 0.0*i,
    -0.66597554778624 + 0.0*i,
    -0.590299023986955 + 0.0*i,
    0.0391752964596958 + 0.0*i,
    -0.0117926122684888 + 0.0*i,
    -0.616922302339666 + 0.0*i,
    -0.1019146649369 + 0.0*i,
    0.3940715098352 + 0.0*i,
    0.0854467414727203 + 0.0*i,
    -0.822954938146571 + 0.0*i,
    -0.783476415805394 + 0.0*i,
    -0.0857719505252469 + 0.0*i,
    -0.0402134232333004 + 0.0*i,
    -0.624088522931415 + 0.0*i,
    -0.574043496473523 + 0.0*i,
    -0.0735163550013487 + 0.0*i,
    0.0747593042400784 + 0.0*i,
    0.129980910171758 + 0.0*i,
    0.201047287586457 + 0.0*i,
    0.307984828571879 + 0.0*i,
    0.305247541641982 + 0.0*i,
    -0.271235364892144 + 0.0*i,
    -0.175737456269392 + 0.0*i,
    0.180399360941891 + 0.0*i,
    -0.0374652387863019 + 0.0*i,
    -0.659252765095415 + 0.0*i,
    0.244903666045762 + 0.0*i,
    -0.516503916955489 + 0.0*i,
    0.00589231755097111 + 0.0*i,
    0.243706143098632 + 0.0*i,
    -0.114325286093401 + 0.0*i,
    -0.389925413935882 + 0.0*i,
    0.126809587731356 + 0.0*i,
    -0.146218460232437 + 0.0*i,
    0.0685890880385921 + 0.0*i,
    -0.603687170057531 + 0.0*i,
    -0.359975086375936 + 0.0*i,
    0.821770553122126 + 0.0*i,
    0.244512377746218 + 0.0*i,
    -0.225704776032438 + 0.0*i,
    0.313490905223506 + 0.0*i,
    0.184392872423601 + 0.0*i,
    -0.945299182398549 + 0.0*i,
    -0.218448995670757 + 0.0*i,
    -0.373685129553499 + 0.0*i,
    0.205346177245038 + 0.0*i,
    -0.429467708480657 + 0.0*i,
    0.298860034410519 + 0.0*i,
    -0.255172719230782 + 0.0*i,
    0.533035201203914 + 0.0*i,
    -0.00211074939849894 + 0.0*i,
    -0.057966206600069 + 0.0*i,
    0.984854569550591 + 0.0*i,
    0.105064683988621 + 0.0*i,
    -0.386592715728895 + 0.0*i,
    0.098359458576281 + 0.0*i,
    0.330225385276723 + 0.0*i,
    -0.377447637776103 + 0.0*i,
    -0.136075818841725 + 0.0*i,
    0.0834695564034187 + 0.0*i,
    -0.15279659562097 + 0.0*i,
    -0.571791362395069 + 0.0*i,
    0.219050282302871 + 0.0*i,
    -0.405224369028291 + 0.0*i,
    0.0461880938147827 + 0.0*i,
    0.0158678471569547 + 0.0*i,
    0.394135009856301 + 0.0*i,
    -0.0322260652816847 + 0.0*i,
    -0.0353211745119897 + 0.0*i,
    -0.521988295595603 + 0.0*i,
    0.0360827188912707 + 0.0*i,
    -0.026911402718584 + 0.0*i,
    -0.561338999103286 + 0.0*i,
    -0.201349991220966 + 0.0*i,
    0.606529236928334 + 0.0*i,
    -0.0124815260452462 + 0.0*i,
    0.176335071826104 + 0.0*i,
    0.424603701221331 + 0.0*i,
    0.160456518215795 + 0.0*i,
    0.129717001624183 + 0.0*i,
    0.884263633033285 + 0.0*i,
    0.409541740643781 + 0.0*i,
    -0.029603305596309 + 0.0*i,
    -0.336127722284075 + 0.0*i,
    -0.151574958944672 + 0.0*i,
    -0.115777392832295 + 0.0*i,
    0.0183295432709483 + 0.0*i,
    -0.0908080977651534 + 0.0*i,
    -0.0773336868043839 + 0.0*i,
    -0.257105484141165 + 0.0*i,
    0.113081548546574 + 0.0*i,
    0.0873368726311351 + 0.0*i,
    -0.0834245888258491 + 0.0*i,
    -0.699054303216842 + 0.0*i,
    0.0482827233905938 + 0.0*i,
    0.439598202053552 + 0.0*i,
    0.393243031581389 + 0.0*i,
    0.546679329124025 + 0.0*i,
    -0.179979286312573 + 0.0*i,
    -0.108225483525119 + 0.0*i,
    0.0181015766160945 + 0.0*i,
    0.0462667561117009 + 0.0*i,
    -0.0765826016200912 + 0.0*i,
    -0.130471279384985 + 0.0*i,
    0.267012951944804 + 0.0*i,
    -0.0291475575274913 + 0.0*i,
    -0.266128061781891 + 0.0*i,
    0.569662495367826 + 0.0*i,
    -0.604876803628851 + 0.0*i,
    -0.0763356016074465 + 0.0*i,
    0.184336240721601 + 0.0*i,
    -0.107200108373969 + 0.0*i,
    -0.408246962748251 + 0.0*i,
    -0.577907810231642 + 0.0*i,
    -0.390771930642983 + 0.0*i,
    0.591674066498629 + 0.0*i,
    -0.139521679286725 + 0.0*i,
    -0.0515261477327661 + 0.0*i,
    0.179835899642256 + 0.0*i,
    -0.49220109721589 + 0.0*i,
    0.424777411733411 + 0.0*i,
    -0.148088696308724 + 0.0*i,
    -0.816124712346912 + 0.0*i,
    0.119279006304922 + 0.0*i,
    0.230131397428299 + 0.0*i,
    -0.174890467572775 + 0.0*i,
    -0.261985425223954 + 0.0*i,
    0.029678699694224 + 0.0*i,
    0.692347727079483 + 0.0*i,
    0.0264862689296802 + 0.0*i,
    -0.798317128643795 + 0.0*i,
    0.370771165209584 + 0.0*i,
    0.701917503848484 + 0.0*i,
    0.373363043655324 + 0.0*i,
    -0.402052743037429 + 0.0*i,
    -0.460433999290398 + 0.0*i,
    0.169620231874309 + 0.0*i,
    0.504522252100364 + 0.0*i,
    0.336006171919427 + 0.0*i,
    -0.139297544699767 + 0.0*i,
    0.0959715266400806 + 0.0*i,
    -0.169520487092719 + 0.0*i,
    -0.634291607601616 + 0.0*i,
    -0.35867287244318 + 0.0*i,
    0.353988217903385 + 0.0*i,
    0.711614305073247 + 0.0*i,
    0.359238865151798 + 0.0*i,
    -0.536800577517588 + 0.0*i,
    0.879257598769191 + 0.0*i,
    0.0286072734837756 + 0.0*i,
    -0.0953310954840466 + 0.0*i,
    0.144482711471721 + 0.0*i,
    -0.370535798656907 + 0.0*i,
    0.49641787316992 + 0.0*i,
    -0.791513550662531 + 0.0*i,
    0.358786164532626 + 0.0*i,
    -0.102807187965136 + 0.0*i,
    -0.216204531177199 + 0.0*i,
    -0.11095910120587 + 0.0*i,
    -0.0469552118219518 + 0.0*i,
    0.419073361861163 + 0.0*i,
    0.327629587553957 + 0.0*i,
    0.288493596592121 + 0.0*i,
    -0.66591032760349 + 0.0*i,
    0.322619746109629 + 0.0*i,
    0.0959345417896615 + 0.0*i,
    -0.131415786327177 + 0.0*i,
    -0.164799114628128 + 0.0*i,
    0.539272794886968 + 0.0*i,
    -0.549046752906262 + 0.0*i,
    -0.2402148140617 + 0.0*i,
    0.66237003486439 + 0.0*i,
    0.270255325341967 + 0.0*i,
    0.0486282135627573 + 0.0*i,
    -0.080811516912739 + 0.0*i,
    0.245760857393651 + 0.0*i,
    -0.104217522187523 + 0.0*i,
    -0.555644375727387 + 0.0*i,
    0.426145577992086 + 0.0*i,
    -0.35685258972616 + 0.0*i,
    0.186682262013723 + 0.0*i,
    0.0813826792389115 + 0.0*i,
    -0.732156904796506 + 0.0*i,
    -0.0916226141601853 + 0.0*i,
    0.242678004268477 + 0.0*i,
    -0.0857377980861291 + 0.0*i,
    -0.865514944514765 + 0.0*i,
    -0.206941910290682 + 0.0*i,
    -0.439602451567592 + 0.0*i,
    -0.0338681964660962 + 0.0*i,
    -0.275622030153007 + 0.0*i,
    -0.189267763630232 + 0.0*i,
    0.000979046966889003 + 0.0*i,
    0.420261562180375 + 0.0*i,
    0.116898892410442 + 0.0*i,
    0.844727978624775 + 0.0*i,
    0.526034392058774 + 0.0*i,
    -0.386448002279999 + 0.0*i,
    0.318631493530774 + 0.0*i,
    0.213165671269954 + 0.0*i,
    0.0824650009224304 + 0.0*i,
    0.128290701979835 + 0.0*i,
    0.176482784276774 + 0.0*i,
    -0.326924723349724 + 0.0*i,
    0.572227313461603 + 0.0*i,
    0.264023657592611 + 0.0*i,
    0.388992769297094 + 0.0*i,
    0.319449699595207 + 0.0*i,
    0.033304090472745 + 0.0*i,
    0.0129601894056935 + 0.0*i,
    -0.044279304885005 + 0.0*i,
    -0.20441498995333 + 0.0*i,
    0.485950270061119 + 0.0*i,
    0.395536249151787 + 0.0*i,
    0.0214441911793305 + 0.0*i,
    0.709678984590676 + 0.0*i,
    -0.231654401752921 + 0.0*i,
    -0.266954265585309 + 0.0*i,
    -0.052778121621228 + 0.0*i,
    -0.39363028204066 + 0.0*i,
    0.663930343624199 + 0.0*i,
    -0.177328337408582 + 0.0*i,
    0.716738391811608 + 0.0*i,
    0.111016550049383 + 0.0*i,
    -0.186508918213243 + 0.0*i,
    0.170724363053736 + 0.0*i,
    0.047237008986025 + 0.0*i,
    0.90661939084215 + 0.0*i,
    -0.367119189617533 + 0.0*i,
    0.198290841682453 + 0.0*i,
    0.573486745870402 + 0.0*i,
    -0.037021153461315 + 0.0*i,
    0.481299059154045 + 0.0*i,
    -0.232029005500299 + 0.0*i
]);