V:=Matrix(CC,4,31,[
    -0.363466709287603 + 0.0*i,
    -0.0438398140595386 + 0.0*i,
    0.170108198621094 + 0.0*i,
    0.0635926452088737 + 0.0*i,
    0.0659810369728426 + 0.0*i,
    -0.17304997930493 + 0.0*i,
    0.282635655328648 + 0.0*i,
    0.311701897743532 + 0.0*i,
    -0.098203586110806 + 0.0*i,
    -0.0550549410456855 + 0.0*i,
    0.186298472137214 + 0.0*i,
    -0.179351570029408 + 0.0*i,
    -0.258558293587006 + 0.0*i,
    -0.211740235854338 + 0.0*i,
    -0.0389246208688087 + 0.0*i,
    0.233750042383239 + 0.0*i,
    0.103912435451473 + 0.0*i,
    0.233002225011493 + 0.0*i,
    -0.300499665306965 + 0.0*i,
    0.274842697948225 + 0.0*i,
    0.0373025777771085 + 0.0*i,
    0.230110401137272 + 0.0*i,
    -0.0091354352053448 + 0.0*i,
    0.0271651582482277 + 0.0*i,
    0.0538693397231692 + 0.0*i,
    0.211960578274385 + 0.0*i,
    -0.0924730523058028 + 0.0*i,
    -0.221057256024412 + 0.0*i,
    0.150354978353811 + 0.0*i,
    0.00156372464381985 + 0.0*i,
    0.0959873890650743 + 0.0*i,
    0.0303403985051454 + 0.0*i,
    0.0534580900731673 + 0.0*i,
    -0.243239599904135 + 0.0*i,
    0.162091352761249 + 0.0*i,
    -0.0569388085470707 + 0.0*i,
    -0.266157316088916 + 0.0*i,
    -0.172466700499413 + 0.0*i,
    -0.0212372850475697 + 0.0*i,
    0.0287668254613463 + 0.0*i,
    -0.178160821374671 + 0.0*i,
    -0.301136661992516 + 0.0*i,
    0.155463876126739 + 0.0*i,
    -0.17252196294571 + 0.0*i,
    -0.12098601009417 + 0.0*i,
    0.160253232428262 + 0.0*i,
    0.281676145571909 + 0.0*i,
    0.112271952716315 + 0.0*i,
    -0.250192422997975 + 0.0*i,
    -0.101556131173908 + 0.0*i,
    -0.123668707683111 + 0.0*i,
    -0.319030681652153 + 0.0*i,
    -0.209018859182536 + 0.0*i,
    -0.233586949733965 + 0.0*i,
    -0.357665447292147 + 0.0*i,
    -0.327849934203894 + 0.0*i,
    -0.0793759625870188 + 0.0*i,
    0.276873472934804 + 0.0*i,
    -0.154213981314273 + 0.0*i,
    0.0767103160550402 + 0.0*i,
    0.278932003829487 + 0.0*i,
    0.330569281613951 + 0.0*i,
    0.0595819321556994 + 0.0*i,
    -0.361905922333727 + 0.0*i,
    0.211826577360647 + 0.0*i,
    0.0443754559834677 + 0.0*i,
    0.202415620911671 + 0.0*i,
    0.00194281869542003 + 0.0*i,
    -0.117025253417161 + 0.0*i,
    0.187031347826269 + 0.0*i,
    0.0310288286027787 + 0.0*i,
    -0.300160947466228 + 0.0*i,
    -0.0268227535983432 + 0.0*i,
    0.0692726705852716 + 0.0*i,
    0.194476414192424 + 0.0*i,
    0.20124233577334 + 0.0*i,
    0.291757916851469 + 0.0*i,
    0.000344371480840444 + 0.0*i,
    -0.30535796922963 + 0.0*i,
    -0.0114135976835041 + 0.0*i,
    0.0154043158033201 + 0.0*i,
    0.166089060958096 + 0.0*i,
    0.116136763067694 + 0.0*i,
    -0.0871778768158439 + 0.0*i,
    0.128176173138652 + 0.0*i,
    0.0449977502069451 + 0.0*i,
    -0.0124580832020703 + 0.0*i,
    -0.292343173366606 + 0.0*i,
    0.210666385755187 + 0.0*i,
    -0.252692799298796 + 0.0*i,
    0.198237019462719 + 0.0*i,
    0.119743159293983 + 0.0*i,
    0.0751711661587877 + 0.0*i,
    0.0159119880961116 + 0.0*i,
    0.0497313832032906 + 0.0*i,
    -0.0748646375446583 + 0.0*i,
    0.16175708776994 + 0.0*i,
    0.312456646566996 + 0.0*i,
    0.172547452505604 + 0.0*i,
    0.0773647954200328 + 0.0*i,
    -0.0529787966169154 + 0.0*i,
    0.355910335479779 + 0.0*i,
    0.0952278022907756 + 0.0*i,
    0.000422889897363023 + 0.0*i,
    -0.301992150488196 + 0.0*i,
    0.033664312060237 + 0.0*i,
    -0.194958691235375 + 0.0*i,
    0.161578862800373 + 0.0*i,
    0.0628491673347765 + 0.0*i,
    -0.141773492141726 + 0.0*i,
    0.0764057546548881 + 0.0*i,
    0.189378343352585 + 0.0*i,
    0.171650499712848 + 0.0*i,
    0.185011008325053 + 0.0*i,
    -0.184331639895481 + 0.0*i,
    -0.302425386575662 + 0.0*i,
    0.0438436220730166 + 0.0*i,
    -0.153955524779951 + 0.0*i,
    0.0268080474888404 + 0.0*i,
    -0.0468969874276169 + 0.0*i,
    -0.0440864376203688 + 0.0*i,
    -0.264672795235404 + 0.0*i,
    -0.204134293403731 + 0.0*i,
    -0.0644579868839369 + 0.0*i
]);