V:=Matrix(CC,4,32,[
    -0.269095899244307 + 0.0*i,
    0.398198166925679 + 0.0*i,
    0.188416402985089 + 0.0*i,
    -0.573924267327426 + 0.0*i,
    -0.180185927739388 + 0.0*i,
    -0.225493373619794 + 0.0*i,
    0.262678041622998 + 0.0*i,
    0.190732919523378 + 0.0*i,
    0.589580330666228 + 0.0*i,
    0.457623006306748 + 0.0*i,
    -0.219754635891888 + 0.0*i,
    -1.03014851997395 + 0.0*i,
    -0.37769187805121 + 0.0*i,
    -0.392132314582472 + 0.0*i,
    0.187351090548856 + 0.0*i,
    0.159829603605092 + 0.0*i,
    -0.799880086183162 + 0.0*i,
    0.442718485666307 + 0.0*i,
    0.102834269206348 + 0.0*i,
    -1.02634438448341 + 0.0*i,
    0.0194460588273493 + 0.0*i,
    -0.00916495019340823 + 0.0*i,
    0.259476011644863 + 0.0*i,
    0.228794311339166 + 0.0*i,
    -0.655294878195627 + 0.0*i,
    0.646820144907138 + 0.0*i,
    -0.53281991631523 + 0.0*i,
    0.439408498873543 + 0.0*i,
    -0.0995815230558005 + 0.0*i,
    -0.314210130886021 + 0.0*i,
    -0.509621994711426 + 0.0*i,
    0.5645511442471 + 0.0*i,
    0.680376283675342 + 0.0*i,
    -0.222826456140536 + 0.0*i,
    -0.662317034202832 + 0.0*i,
    -0.593419053975478 + 0.0*i,
    -0.198417709148202 + 0.0*i,
    1.30133042831087 + 0.0*i,
    0.21377721066517 + 0.0*i,
    0.295005769535916 + 0.0*i,
    -0.529390361219865 + 0.0*i,
    0.073536886064055 + 0.0*i,
    0.306672650418517 + 0.0*i,
    0.422391949285262 + 0.0*i,
    -0.0400726222175228 + 0.0*i,
    0.271500749515201 + 0.0*i,
    -0.136030333259878 + 0.0*i,
    -0.472122190245232 + 0.0*i,
    0.909102435215748 + 0.0*i,
    0.438107839450834 + 0.0*i,
    -1.02026474368052 + 0.0*i,
    -0.500354918786505 + 0.0*i,
    0.212854408528818 + 0.0*i,
    0.142808073838263 + 0.0*i,
    0.240765649329919 + 0.0*i,
    0.218851209406484 + 0.0*i,
    0.534814025057326 + 0.0*i,
    -0.219117026703743 + 0.0*i,
    -0.947695755303418 + 0.0*i,
    0.306339544512853 + 0.0*i,
    -0.415693949875089 + 0.0*i,
    -0.46739554540704 + 0.0*i,
    -0.25496202549533 + 0.0*i,
    0.0403439441136909 + 0.0*i,
    0.247093894985679 + 0.0*i,
    -0.291952740321858 + 0.0*i,
    -0.553511508584114 + 0.0*i,
    -0.219334077445853 + 0.0*i,
    0.237080944796215 + 0.0*i,
    0.356957320387639 + 0.0*i,
    -0.0400055574629749 + 0.0*i,
    1.1822478106775 + 0.0*i,
    -0.296721522063879 + 0.0*i,
    0.36961436088395 + 0.0*i,
    -0.248077887735999 + 0.0*i,
    -0.696793444301071 + 0.0*i,
    -0.708252798761351 + 0.0*i,
    -0.168882835760412 + 0.0*i,
    -0.700452082780404 + 0.0*i,
    -0.133623391881166 + 0.0*i,
    0.425311927161693 + 0.0*i,
    -0.130953333621964 + 0.0*i,
    -0.204402152298379 + 0.0*i,
    -0.202026824355953 + 0.0*i,
    0.527128366517844 + 0.0*i,
    0.452619540216187 + 0.0*i,
    -1.18761015420032 + 0.0*i,
    0.0274048534086402 + 0.0*i,
    -0.326151035900188 + 0.0*i,
    -0.107666525429035 + 0.0*i,
    -0.894562947843694 + 0.0*i,
    0.287643900827099 + 0.0*i,
    -0.421174105035572 + 0.0*i,
    -0.18093830373939 + 0.0*i,
    0.376110541568602 + 0.0*i,
    0.989199025891896 + 0.0*i,
    -0.533218763343663 + 0.0*i,
    -0.322461160362146 + 0.0*i,
    -0.494250355997507 + 0.0*i,
    -0.764800751015875 + 0.0*i,
    0.982237872400739 + 0.0*i,
    -0.618296106182186 + 0.0*i,
    -0.729581331943325 + 0.0*i,
    -0.14348026957541 + 0.0*i,
    -0.372150628126062 + 0.0*i,
    -0.0774304603870098 + 0.0*i,
    0.642681434943552 + 0.0*i,
    -0.0540355303771298 + 0.0*i,
    0.368457216302435 + 0.0*i,
    -0.00871646867710456 + 0.0*i,
    -0.248393009364564 + 0.0*i,
    0.0778649271486842 + 0.0*i,
    0.63365823230032 + 0.0*i,
    1.23139207461386 + 0.0*i,
    -0.229095500543081 + 0.0*i,
    -0.0776967243268873 + 0.0*i,
    0.139829621184926 + 0.0*i,
    0.836602701119912 + 0.0*i,
    -0.0512100884469037 + 0.0*i,
    0.100910556495204 + 0.0*i,
    -0.164752943072501 + 0.0*i,
    -0.9040964631615 + 0.0*i,
    0.291801930794187 + 0.0*i,
    0.518209407725014 + 0.0*i,
    -0.175059193854792 + 0.0*i,
    -0.235027631742943 + 0.0*i,
    0.70412418854865 + 0.0*i,
    0.285437633330471 + 0.0*i
]);