V:=Matrix(CC,4,51,[
    0.45880522778576 + 0.0*i,
    -0.849845346075264 + 0.0*i,
    0.242093002445267 + 0.0*i,
    0.473970871843143 + 0.0*i,
    -0.711867673435587 + 0.0*i,
    0.0827630743384457 + 0.0*i,
    -0.268901165349136 + 0.0*i,
    -0.0187815846530075 + 0.0*i,
    0.327646443042838 + 0.0*i,
    0.244850012609383 + 0.0*i,
    0.477072553099885 + 0.0*i,
    -0.641591801973018 + 0.0*i,
    -0.800238384645239 + 0.0*i,
    -0.112199176849105 + 0.0*i,
    0.825170273660397 + 0.0*i,
    -0.750111255003978 + 0.0*i,
    0.12509063355347 + 0.0*i,
    0.6565089322331 + 0.0*i,
    -0.166536391822778 + 0.0*i,
    -0.128790450405122 + 0.0*i,
    0.593747772322365 + 0.0*i,
    -0.317455823928374 + 0.0*i,
    0.29657402596349 + 0.0*i,
    -0.450330177104239 + 0.0*i,
    -0.275667622527989 + 0.0*i,
    0.85475723903586 + 0.0*i,
    0.355976517284513 + 0.0*i,
    -0.437877580088991 + 0.0*i,
    0.00949543668079661 + 0.0*i,
    0.422774451828986 + 0.0*i,
    0.0682852069940015 + 0.0*i,
    -0.723035535407721 + 0.0*i,
    -0.676967211510607 + 0.0*i,
    0.984402129441974 + 0.0*i,
    0.36996769918854 + 0.0*i,
    0.446870008413767 + 0.0*i,
    0.466243142478789 + 0.0*i,
    0.6395087298964 + 0.0*i,
    0.0770346648640118 + 0.0*i,
    -0.266708812837231 + 0.0*i,
    -0.32308212374097 + 0.0*i,
    -0.730055012783547 + 0.0*i,
    -0.078031946444938 + 0.0*i,
    -0.315250204800182 + 0.0*i,
    -0.265091331855045 + 0.0*i,
    -0.841083224733926 + 0.0*i,
    -0.0187268001516525 + 0.0*i,
    -0.836679978712984 + 0.0*i,
    -0.351031665240011 + 0.0*i,
    0.401752878852695 + 0.0*i,
    0.655649664613284 + 0.0*i,
    -0.761934738280624 + 0.0*i,
    0.381482588259214 + 0.0*i,
    0.326727513020735 + 0.0*i,
    -0.463991753424845 + 0.0*i,
    0.121783350529036 + 0.0*i,
    -0.234932891504795 + 0.0*i,
    -0.660882374917371 + 0.0*i,
    -0.361873124715029 + 0.0*i,
    -0.822622330332633 + 0.0*i,
    0.143415755183853 + 0.0*i,
    -0.160074076547567 + 0.0*i,
    -0.465031775643307 + 0.0*i,
    -0.509589079580677 + 0.0*i,
    -0.115042158802667 + 0.0*i,
    0.028577846847474 + 0.0*i,
    -0.0114392799720568 + 0.0*i,
    -0.202323744894892 + 0.0*i,
    -0.582815741735457 + 0.0*i,
    -0.638455021996406 + 0.0*i,
    0.706080621151217 + 0.0*i,
    0.57720654356544 + 0.0*i,
    0.544166583058145 + 0.0*i,
    -0.534454586308253 + 0.0*i,
    -0.622490158589013 + 0.0*i,
    -0.781274948998573 + 0.0*i,
    -0.107554092794547 + 0.0*i,
    0.0996535583017402 + 0.0*i,
    -0.911674767673087 + 0.0*i,
    0.945936162169468 + 0.0*i,
    0.0304979207600427 + 0.0*i,
    0.444542120541331 + 0.0*i,
    0.548393577560778 + 0.0*i,
    0.00615304257885508 + 0.0*i,
    -0.0260638279046995 + 0.0*i,
    -0.910257465285009 + 0.0*i,
    0.098787026056751 + 0.0*i,
    0.493877143899757 + 0.0*i,
    -0.323958436281725 + 0.0*i,
    0.845754972357257 + 0.0*i,
    0.516315927694902 + 0.0*i,
    0.0887373627870819 + 0.0*i,
    0.576589623340525 + 0.0*i,
    -0.846491952855874 + 0.0*i,
    0.388547292595241 + 0.0*i,
    0.602493705797423 + 0.0*i,
    -0.126784394635709 + 0.0*i,
    -0.288336443721565 + 0.0*i,
    -0.4467545767066 + 0.0*i,
    -0.489458869259403 + 0.0*i,
    0.248344691151382 + 0.0*i,
    0.484157561715614 + 0.0*i,
    -0.181118155906915 + 0.0*i,
    0.0461744390513878 + 0.0*i,
    0.839928298418616 + 0.0*i,
    -0.0383009083063498 + 0.0*i,
    -0.718308064707466 + 0.0*i,
    0.552560974384603 + 0.0*i,
    -0.255015845489098 + 0.0*i,
    -0.431339069589538 + 0.0*i,
    0.435346024963373 + 0.0*i,
    -0.0455142213482929 + 0.0*i,
    -0.72637921720722 + 0.0*i,
    0.137129174930559 + 0.0*i,
    0.323479824790944 + 0.0*i,
    -0.942903064193088 + 0.0*i,
    -0.562371366483317 + 0.0*i,
    -0.327245695773883 + 0.0*i,
    0.945829179915117 + 0.0*i,
    0.304017558848496 + 0.0*i,
    0.611160266105359 + 0.0*i,
    0.586723596883412 + 0.0*i,
    -0.303852818070452 + 0.0*i,
    -0.597526071837366 + 0.0*i,
    0.101645071269628 + 0.0*i,
    -0.295669230564794 + 0.0*i,
    0.52988370800479 + 0.0*i,
    -0.227328158947107 + 0.0*i,
    -0.696147550178607 + 0.0*i,
    -0.0676551705484207 + 0.0*i,
    -0.100044176490984 + 0.0*i,
    -0.0281051917596295 + 0.0*i,
    -0.230479421442268 + 0.0*i,
    0.438944955343844 + 0.0*i,
    -0.506417552355485 + 0.0*i,
    0.12115738334876 + 0.0*i,
    -0.126183123267936 + 0.0*i,
    -0.282413425777158 + 0.0*i,
    0.725165694615722 + 0.0*i,
    -0.387130816301215 + 0.0*i,
    0.516722570942364 + 0.0*i,
    -0.775977592375257 + 0.0*i,
    -0.547879758013874 + 0.0*i,
    -0.276517346029536 + 0.0*i,
    0.234182408264542 + 0.0*i,
    0.878535922244086 + 0.0*i,
    0.500062967129657 + 0.0*i,
    0.105599853671888 + 0.0*i,
    -0.402849061995182 + 0.0*i,
    -0.261356155148544 + 0.0*i,
    0.661411994088676 + 0.0*i,
    -0.882407171581518 + 0.0*i,
    0.417072504992149 + 0.0*i,
    -0.366059726233615 + 0.0*i,
    -0.230584640480903 + 0.0*i,
    -0.401123868130716 + 0.0*i,
    -0.752245637372253 + 0.0*i,
    0.0606766078833855 + 0.0*i,
    0.783780615078343 + 0.0*i,
    0.634228593256523 + 0.0*i,
    -0.832089025235682 + 0.0*i,
    0.0559613845867653 + 0.0*i,
    -0.958392148617711 + 0.0*i,
    -0.520231960199858 + 0.0*i,
    0.565730244378217 + 0.0*i,
    0.110322137260554 + 0.0*i,
    -0.376048041710253 + 0.0*i,
    0.0707190209570168 + 0.0*i,
    0.573182632593082 + 0.0*i,
    -0.20757738612248 + 0.0*i,
    0.3786224702106 + 0.0*i,
    -0.387012372299109 + 0.0*i,
    0.386767963455358 + 0.0*i,
    0.462575346314076 + 0.0*i,
    0.48564945304759 + 0.0*i,
    0.780821677033519 + 0.0*i,
    -0.591281657025306 + 0.0*i,
    0.0041590884689939 + 0.0*i,
    -0.452289389498782 + 0.0*i,
    0.644201418163727 + 0.0*i,
    0.0363858213007295 + 0.0*i,
    0.395596508329194 + 0.0*i,
    0.913017019254738 + 0.0*i,
    0.864378553601231 + 0.0*i,
    0.0674566901196347 + 0.0*i,
    -0.584829285403537 + 0.0*i,
    -0.0237254700853102 + 0.0*i,
    0.215665931556071 + 0.0*i,
    -0.762580632780392 + 0.0*i,
    0.148636420887968 + 0.0*i,
    0.566504942261404 + 0.0*i,
    -0.125453229558133 + 0.0*i,
    -0.290542197346434 + 0.0*i,
    0.743840126624384 + 0.0*i,
    0.244616898002113 + 0.0*i,
    0.502455223914814 + 0.0*i,
    -0.109164678408544 + 0.0*i,
    -0.511481530475882 + 0.0*i,
    -0.501611324991169 + 0.0*i,
    0.856320789715591 + 0.0*i,
    -0.105411978167099 + 0.0*i,
    0.484330944342976 + 0.0*i,
    0.0183537008889407 + 0.0*i,
    -0.376020137177072 + 0.0*i
]);