V:=Matrix(CC,4,56,[
    0.703715876566246 + 0.0*i,
    0.377471289207645 + 0.0*i,
    0.81782505989574 + 0.0*i,
    -0.0693906991822478 + 0.0*i,
    0.823999776155588 + 0.0*i,
    0.998579862862403 + 0.0*i,
    -0.489250450800193 + 0.0*i,
    0.37235893664939 + 0.0*i,
    0.432036156588116 + 0.0*i,
    0.414465181970984 + 0.0*i,
    -0.278009326005422 + 0.0*i,
    -0.32095727055654 + 0.0*i,
    -0.0943674761556318 + 0.0*i,
    -0.64664067239137 + 0.0*i,
    -0.0799997992085907 + 0.0*i,
    -1.03084848256134 + 0.0*i,
    0.485484749912675 + 0.0*i,
    0.0564030227126363 + 0.0*i,
    -0.321071282515298 + 0.0*i,
    0.357081088989206 + 0.0*i,
    -0.764139396978525 + 0.0*i,
    0.0010992548005845 + 0.0*i,
    -1.07509011288354 + 0.0*i,
    0.325662895237013 + 0.0*i,
    -0.684971513898706 + 0.0*i,
    0.202175547192011 + 0.0*i,
    -0.651440446640855 + 0.0*i,
    -0.45784197770338 + 0.0*i,
    -0.26836807840204 + 0.0*i,
    0.0597955087199094 + 0.0*i,
    -0.201846938070049 + 0.0*i,
    0.473185348397005 + 0.0*i,
    -0.218645336716404 + 0.0*i,
    -0.189236786367248 + 0.0*i,
    -0.18407057417588 + 0.0*i,
    0.0786460473991952 + 0.0*i,
    0.409052197964448 + 0.0*i,
    0.342547478332777 + 0.0*i,
    -0.624966056934199 + 0.0*i,
    -0.864707663607185 + 0.0*i,
    -0.687801979972223 + 0.0*i,
    0.395647294858973 + 0.0*i,
    -1.38528221452103 + 0.0*i,
    -0.354357777057959 + 0.0*i,
    0.171431892770023 + 0.0*i,
    0.206314000142798 + 0.0*i,
    -0.36430482549988 + 0.0*i,
    -0.0281859401113877 + 0.0*i,
    -0.0868531340862483 + 0.0*i,
    0.0658919718930404 + 0.0*i,
    0.643599655946799 + 0.0*i,
    -0.275231459447274 + 0.0*i,
    -0.252041270411259 + 0.0*i,
    -1.02214958683627 + 0.0*i,
    1.03186443572778 + 0.0*i,
    -0.101754871037861 + 0.0*i,
    0.394834977263552 + 0.0*i,
    0.332448950595947 + 0.0*i,
    -0.18279053126954 + 0.0*i,
    -0.455945415508964 + 0.0*i,
    0.54972167387296 + 0.0*i,
    0.123120413530354 + 0.0*i,
    0.387681307430692 + 0.0*i,
    -0.0323471004725059 + 0.0*i,
    0.759092520781197 + 0.0*i,
    -0.210334843735128 + 0.0*i,
    0.225069347719949 + 0.0*i,
    0.564168951533764 + 0.0*i,
    -0.404644503605866 + 0.0*i,
    0.143590037062496 + 0.0*i,
    -0.360135990245338 + 0.0*i,
    0.461075812123971 + 0.0*i,
    0.622476400717327 + 0.0*i,
    0.335976170135954 + 0.0*i,
    -0.736192113320947 + 0.0*i,
    -0.118482141674094 + 0.0*i,
    -0.331959352552848 + 0.0*i,
    -1.10569497768186 + 0.0*i,
    0.306070117733098 + 0.0*i,
    -0.713925547176652 + 0.0*i,
    -0.23421121620894 + 0.0*i,
    -0.11725812192722 + 0.0*i,
    0.960788694618198 + 0.0*i,
    -0.192314693023493 + 0.0*i,
    -0.420276494491296 + 0.0*i,
    -0.374782503330336 + 0.0*i,
    0.00114438372779629 + 0.0*i,
    0.962179433103294 + 0.0*i,
    0.588025282829286 + 0.0*i,
    0.0197146241600799 + 0.0*i,
    -0.284014784533867 + 0.0*i,
    0.0663006392809095 + 0.0*i,
    -0.547899241368253 + 0.0*i,
    -0.362839096957993 + 0.0*i,
    0.764995885718904 + 0.0*i,
    -0.0990745974195825 + 0.0*i,
    -0.0305593462639207 + 0.0*i,
    -0.24965545625195 + 0.0*i,
    0.184099242417342 + 0.0*i,
    -0.74512047319387 + 0.0*i,
    -0.226557494853183 + 0.0*i,
    0.221006903028488 + 0.0*i,
    -0.120486902285284 + 0.0*i,
    -0.0262896820555188 + 0.0*i,
    -0.445402764747423 + 0.0*i,
    0.0715139466993921 + 0.0*i,
    -0.568041240431002 + 0.0*i,
    -0.734264941855958 + 0.0*i,
    -0.334074632099582 + 0.0*i,
    0.230937159269318 + 0.0*i,
    0.740371381881169 + 0.0*i,
    -0.0708457399684413 + 0.0*i,
    0.11200133063558 + 0.0*i,
    0.0324689188590426 + 0.0*i,
    0.877670705513369 + 0.0*i,
    -0.903904347640323 + 0.0*i,
    -0.445495390455062 + 0.0*i,
    0.626071517798671 + 0.0*i,
    0.676589623646398 + 0.0*i,
    -0.0601461009031143 + 0.0*i,
    0.347726172682417 + 0.0*i,
    0.558343895907229 + 0.0*i,
    -0.513223240477532 + 0.0*i,
    0.129036376369831 + 0.0*i,
    0.641208647535048 + 0.0*i,
    -0.0477905509413097 + 0.0*i,
    0.238701231672263 + 0.0*i,
    0.641435733003334 + 0.0*i,
    0.525197278962613 + 0.0*i,
    0.703959353671582 + 0.0*i,
    -1.19892306995593 + 0.0*i,
    0.262132129445598 + 0.0*i,
    0.368022119092284 + 0.0*i,
    0.308802821371015 + 0.0*i,
    -0.216519228911787 + 0.0*i,
    -0.3568524392257 + 0.0*i,
    0.497510653043019 + 0.0*i,
    0.408853049517806 + 0.0*i,
    -0.14412801507435 + 0.0*i,
    -0.208049002662109 + 0.0*i,
    -0.594472799722776 + 0.0*i,
    -0.0239242569132296 + 0.0*i,
    0.170076178246411 + 0.0*i,
    0.418014919812777 + 0.0*i,
    0.218706114280637 + 0.0*i,
    -0.105507275950369 + 0.0*i,
    0.273596771058951 + 0.0*i,
    -0.0428396288276647 + 0.0*i,
    0.281700334546499 + 0.0*i,
    1.22661393099492 + 0.0*i,
    0.781924295576345 + 0.0*i,
    -0.278033260383597 + 0.0*i,
    -0.693504407181699 + 0.0*i,
    -0.0584457324479321 + 0.0*i,
    0.0686640762748788 + 0.0*i,
    -0.775286429482594 + 0.0*i,
    1.06971131739948 + 0.0*i,
    -0.102459512570586 + 0.0*i,
    0.16338346564981 + 0.0*i,
    0.413595108281626 + 0.0*i,
    -0.345213062493816 + 0.0*i,
    0.137591169888238 + 0.0*i,
    -0.170434459392122 + 0.0*i,
    -0.243062058026592 + 0.0*i,
    0.0390702101576706 + 0.0*i,
    -0.340910918034808 + 0.0*i,
    0.281619632583318 + 0.0*i,
    0.859314997177452 + 0.0*i,
    -0.629838978363635 + 0.0*i,
    0.52012554710477 + 0.0*i,
    0.132615967177237 + 0.0*i,
    0.355126038586592 + 0.0*i,
    0.386627362602748 + 0.0*i,
    -0.370286424026076 + 0.0*i,
    -0.758876068880096 + 0.0*i,
    0.0917054787329736 + 0.0*i,
    -0.142876636128091 + 0.0*i,
    -0.488421156755764 + 0.0*i,
    0.0706789922798468 + 0.0*i,
    0.094243437195603 + 0.0*i,
    -0.0516840488613954 + 0.0*i,
    -0.00203287070506193 + 0.0*i,
    0.486871430533606 + 0.0*i,
    0.902617460176154 + 0.0*i,
    -0.998826869204984 + 0.0*i,
    -0.514742599173545 + 0.0*i,
    0.18276201281943 + 0.0*i,
    0.0548390126205487 + 0.0*i,
    0.779673787500036 + 0.0*i,
    -0.788686543876332 + 0.0*i,
    -0.0814475361396259 + 0.0*i,
    -0.148128675976839 + 0.0*i,
    -0.579895679092906 + 0.0*i,
    0.688327774066731 + 0.0*i,
    0.663801337751128 + 0.0*i,
    -0.301350894687465 + 0.0*i,
    0.100548614358165 + 0.0*i,
    0.341745459530207 + 0.0*i,
    0.00498193039424622 + 0.0*i,
    -0.202360649892401 + 0.0*i,
    0.796715653635218 + 0.0*i,
    -1.04598641536278 + 0.0*i,
    0.569035305716196 + 0.0*i,
    0.132838845337349 + 0.0*i,
    -0.444067743775947 + 0.0*i,
    0.262949455336282 + 0.0*i,
    0.864664424398527 + 0.0*i,
    -0.181717065297314 + 0.0*i,
    0.0463689218770815 + 0.0*i,
    0.631254535823986 + 0.0*i,
    -0.443298577467634 + 0.0*i,
    -0.0340613971117423 + 0.0*i,
    0.396783487151944 + 0.0*i,
    -0.559838261501889 + 0.0*i,
    -0.804128360485117 + 0.0*i,
    0.387967172024206 + 0.0*i,
    -0.0041843297726765 + 0.0*i,
    0.0536659086605151 + 0.0*i,
    -0.848820434691627 + 0.0*i,
    -0.769817202997742 + 0.0*i,
    0.0293632201718697 + 0.0*i,
    -0.465286180984997 + 0.0*i,
    -0.497967242418194 + 0.0*i,
    -0.320668193421873 + 0.0*i
]);