V:=Matrix(CC,4,60,[
    0.276726893778492 + 0.0*i,
    -0.780647348690268 + 0.0*i,
    -0.416871332407283 + 0.0*i,
    -0.843273471036087 + 0.0*i,
    -0.262269946222432 + 0.0*i,
    -0.237945633222547 + 0.0*i,
    -0.657695338789957 + 0.0*i,
    -0.47215485227606 + 0.0*i,
    0.27969230295113 + 0.0*i,
    -0.362329221531852 + 0.0*i,
    0.382989716674117 + 0.0*i,
    0.234067242387817 + 0.0*i,
    -0.601974976821129 + 0.0*i,
    -0.612779222005439 + 0.0*i,
    0.269774480663797 + 0.0*i,
    -0.645881398635609 + 0.0*i,
    0.149353071158425 + 0.0*i,
    0.0481801747595564 + 0.0*i,
    -0.382538194661799 + 0.0*i,
    -0.591972264973939 + 0.0*i,
    0.488862542076376 + 0.0*i,
    0.0662564731282508 + 0.0*i,
    -0.035368585394405 + 0.0*i,
    -0.55983888512191 + 0.0*i,
    0.648258329815685 + 0.0*i,
    -0.532208155862466 + 0.0*i,
    0.247154819546865 + 0.0*i,
    -0.268690023508536 + 0.0*i,
    -0.102325539752777 + 0.0*i,
    -0.363326104130155 + 0.0*i,
    -0.370532350730501 + 0.0*i,
    0.135236382350962 + 0.0*i,
    -1.23773353918615 + 0.0*i,
    -0.411752712561024 + 0.0*i,
    -0.826194350908101 + 0.0*i,
    -0.29541239110719 + 0.0*i,
    0.469634237744726 + 0.0*i,
    -0.257597421823038 + 0.0*i,
    0.428285596325761 + 0.0*i,
    -0.222814414135239 + 0.0*i,
    0.68201593480395 + 0.0*i,
    0.0483023296750722 + 0.0*i,
    -0.893269807870118 + 0.0*i,
    0.13015674623103 + 0.0*i,
    0.0847297653469453 + 0.0*i,
    -0.147732537355731 + 0.0*i,
    0.398918877025483 + 0.0*i,
    0.408341280016901 + 0.0*i,
    -0.282198596952472 + 0.0*i,
    -1.15492822456914 + 0.0*i,
    -0.113977367035607 + 0.0*i,
    0.00550532277787717 + 0.0*i,
    0.314760648800773 + 0.0*i,
    0.489027676764069 + 0.0*i,
    0.00921179838066513 + 0.0*i,
    0.0711094285856418 + 0.0*i,
    -0.0900622053680941 + 0.0*i,
    0.00475508645140114 + 0.0*i,
    -1.01877707081379 + 0.0*i,
    0.918548344617528 + 0.0*i,
    -1.130695925649 + 0.0*i,
    0.43721436626376 + 0.0*i,
    -0.80273484528851 + 0.0*i,
    0.174355573438681 + 0.0*i,
    0.0522113589004049 + 0.0*i,
    -0.460766411330601 + 0.0*i,
    -0.17159445576239 + 0.0*i,
    -0.392191727838364 + 0.0*i,
    -0.927764032737747 + 0.0*i,
    0.234967014189914 + 0.0*i,
    -0.367603497149837 + 0.0*i,
    0.625825600170993 + 0.0*i,
    -0.0832470388407882 + 0.0*i,
    0.261345325187923 + 0.0*i,
    0.158175177029382 + 0.0*i,
    -0.103001659333245 + 0.0*i,
    -0.627209984799141 + 0.0*i,
    0.12762366425372 + 0.0*i,
    -0.478058765089639 + 0.0*i,
    -0.232043482034192 + 0.0*i,
    -0.101442450040454 + 0.0*i,
    -0.43996923716459 + 0.0*i,
    -0.0433231596466107 + 0.0*i,
    0.148423503877202 + 0.0*i,
    0.485985076587858 + 0.0*i,
    -0.972378124993173 + 0.0*i,
    -0.22001561336083 + 0.0*i,
    -0.552589009736712 + 0.0*i,
    0.136664530970949 + 0.0*i,
    -0.662717903925384 + 0.0*i,
    -0.0547650353936151 + 0.0*i,
    -0.839336162554723 + 0.0*i,
    0.17480613514007 + 0.0*i,
    0.701413547946905 + 0.0*i,
    -0.274788083515763 + 0.0*i,
    0.163399690302205 + 0.0*i,
    -0.626891593454692 + 0.0*i,
    -0.342338718473227 + 0.0*i,
    0.417696805355888 + 0.0*i,
    -0.255763583875491 + 0.0*i,
    -0.0559061821137709 + 0.0*i,
    0.718089482531705 + 0.0*i,
    -0.991224113280691 + 0.0*i,
    0.628246786953122 + 0.0*i,
    -0.047778376190012 + 0.0*i,
    -0.319613675497945 + 0.0*i,
    -0.57482180830587 + 0.0*i,
    -0.854806429477508 + 0.0*i,
    0.209338786489645 + 0.0*i,
    -0.204543316026174 + 0.0*i,
    -0.149128129320487 + 0.0*i,
    -0.386863588036434 + 0.0*i,
    -0.608129819669911 + 0.0*i,
    -0.105342855767321 + 0.0*i,
    0.220325020930971 + 0.0*i,
    0.772152766138707 + 0.0*i,
    -0.436383131786447 + 0.0*i,
    0.706560098988695 + 0.0*i,
    0.658414439718984 + 0.0*i,
    0.00846704821009475 + 0.0*i,
    0.17592444453686 + 0.0*i,
    0.347164635354531 + 0.0*i,
    0.508972329166067 + 0.0*i,
    -0.106210891283721 + 0.0*i,
    -0.0576887791239539 + 0.0*i,
    0.0881125320213084 + 0.0*i,
    -0.0146069883565817 + 0.0*i,
    -0.873592390362172 + 0.0*i,
    -0.654801472436259 + 0.0*i,
    0.0561186244952191 + 0.0*i,
    0.218616448547261 + 0.0*i,
    0.770806060760894 + 0.0*i,
    -0.437788541123169 + 0.0*i,
    0.0165022988163302 + 0.0*i,
    -0.967857662958019 + 0.0*i,
    0.386202795807002 + 0.0*i,
    -0.211158403283938 + 0.0*i,
    0.308447627008433 + 0.0*i,
    0.811083904672307 + 0.0*i,
    0.506872540385509 + 0.0*i,
    -1.00870223993064 + 0.0*i,
    0.561975727198441 + 0.0*i,
    -1.0073069944461 + 0.0*i,
    0.404244988654901 + 0.0*i,
    -0.598245895014033 + 0.0*i,
    0.590608981319521 + 0.0*i,
    -0.581755263907484 + 0.0*i,
    -0.462487853134094 + 0.0*i,
    0.0981297237630606 + 0.0*i,
    -0.737038226801922 + 0.0*i,
    0.920008820702954 + 0.0*i,
    -0.208852873703287 + 0.0*i,
    0.292705642842264 + 0.0*i,
    0.0427896668429262 + 0.0*i,
    0.154005654704067 + 0.0*i,
    -0.593946419614786 + 0.0*i,
    0.288864015199249 + 0.0*i,
    -0.771318490295321 + 0.0*i,
    -0.141555766343846 + 0.0*i,
    -0.367744345602233 + 0.0*i,
    -0.309754542044129 + 0.0*i,
    0.553972314231388 + 0.0*i,
    -0.0966052545351848 + 0.0*i,
    -0.449239605870848 + 0.0*i,
    0.134631083358378 + 0.0*i,
    -0.136117910982105 + 0.0*i,
    0.278044395449693 + 0.0*i,
    -0.635288169032385 + 0.0*i,
    -0.284319285558033 + 0.0*i,
    0.09462730936165 + 0.0*i,
    -0.331392784064829 + 0.0*i,
    -0.00972360527665833 + 0.0*i,
    0.772611246177698 + 0.0*i,
    0.308448104983637 + 0.0*i,
    0.869421811566783 + 0.0*i,
    0.31412788985721 + 0.0*i,
    -0.585179227894682 + 0.0*i,
    -1.02025365134292 + 0.0*i,
    -0.533007883936679 + 0.0*i,
    0.773765767275406 + 0.0*i,
    -0.301929804756266 + 0.0*i,
    -0.460350074039825 + 0.0*i,
    -0.416384171253856 + 0.0*i,
    0.324657005048206 + 0.0*i,
    0.684770104158839 + 0.0*i,
    -0.0354892932031296 + 0.0*i,
    0.525986961906126 + 0.0*i,
    0.239878942600794 + 0.0*i,
    -0.37254757448475 + 0.0*i,
    0.0449821596984671 + 0.0*i,
    0.806266823321207 + 0.0*i,
    0.888037226232697 + 0.0*i,
    -0.328890711888895 + 0.0*i,
    1.20518013486035 + 0.0*i,
    0.156116065484621 + 0.0*i,
    0.577418493766919 + 0.0*i,
    0.432526919606376 + 0.0*i,
    -0.490621930820862 + 0.0*i,
    -0.0294178885718033 + 0.0*i,
    0.18030634147677 + 0.0*i,
    -0.445759036614832 + 0.0*i,
    -0.763490034554433 + 0.0*i,
    0.814284457210258 + 0.0*i,
    -0.273374828874533 + 0.0*i,
    0.334157883747793 + 0.0*i,
    0.513520978584663 + 0.0*i,
    0.0313565117154371 + 0.0*i,
    -0.953701182744247 + 0.0*i,
    0.137494217352963 + 0.0*i,
    -0.264197615033299 + 0.0*i,
    -0.277384743400188 + 0.0*i,
    0.186287043644539 + 0.0*i,
    0.172755602931554 + 0.0*i,
    -0.276299137636672 + 0.0*i,
    0.443885951778598 + 0.0*i,
    -0.64732202150177 + 0.0*i,
    0.433838484670289 + 0.0*i,
    -0.376839326244254 + 0.0*i,
    -0.602465610178662 + 0.0*i,
    -0.290480505692423 + 0.0*i,
    0.736276033334867 + 0.0*i,
    -0.916855511630407 + 0.0*i,
    0.211273905770558 + 0.0*i,
    0.548580471463956 + 0.0*i,
    0.581875505053264 + 0.0*i,
    0.612705657238776 + 0.0*i,
    -0.470034433766957 + 0.0*i,
    0.149700552307845 + 0.0*i,
    0.0844873927388266 + 0.0*i,
    -0.260679195947345 + 0.0*i,
    0.0230030205000346 + 0.0*i,
    0.499038081917024 + 0.0*i,
    0.11810414420584 + 0.0*i,
    0.886567873261054 + 0.0*i,
    0.456174866453411 + 0.0*i,
    -0.764934961034583 + 0.0*i,
    -0.368077172867701 + 0.0*i,
    -0.291147681679693 + 0.0*i,
    0.04353815427478 + 0.0*i,
    -0.115033460998921 + 0.0*i
]);