V:=Matrix(CC,4,31,[
    -0.306984564602689 + 0.0*i,
    -0.061569350605204 + 0.0*i,
    -0.600676610695645 + 0.0*i,
    -0.402228529291149 + 0.0*i,
    -0.434250095392187 + 0.0*i,
    -0.435525763574214 + 0.0*i,
    -0.226377732457029 + 0.0*i,
    -0.903159043233283 + 0.0*i,
    -0.119956468097023 + 0.0*i,
    0.365811038659467 + 0.0*i,
    0.753208997010215 + 0.0*i,
    0.360391852781405 + 0.0*i,
    0.787518665911232 + 0.0*i,
    -0.0142579158524876 + 0.0*i,
    -0.333396730471663 + 0.0*i,
    -0.921239457861581 + 0.0*i,
    -0.174393977515441 + 0.0*i,
    -0.0782725912945171 + 0.0*i,
    -0.245253070363904 + 0.0*i,
    0.574504108179801 + 0.0*i,
    -0.687479391326844 + 0.0*i,
    0.293439191117932 + 0.0*i,
    -0.0199949421050136 + 0.0*i,
    -0.526510639070116 + 0.0*i,
    -0.565012094478992 + 0.0*i,
    0.250896289989235 + 0.0*i,
    -0.163603968422978 + 0.0*i,
    0.170146001321039 + 0.0*i,
    -0.030995643787285 + 0.0*i,
    -0.955415816048245 + 0.0*i,
    0.623521554277186 + 0.0*i,
    -0.688946267500098 + 0.0*i,
    -0.130032551785998 + 0.0*i,
    0.805714027753708 + 0.0*i,
    -0.19505144833267 + 0.0*i,
    -0.116909223851623 + 0.0*i,
    -0.823642728371093 + 0.0*i,
    -0.847437512768351 + 0.0*i,
    -0.357812627368781 + 0.0*i,
    -0.404659448192582 + 0.0*i,
    -0.511350152511411 + 0.0*i,
    0.643829113623466 + 0.0*i,
    -0.15237995324046 + 0.0*i,
    -0.289956120599487 + 0.0*i,
    0.694004894097392 + 0.0*i,
    0.498832180445917 + 0.0*i,
    0.487984500673046 + 0.0*i,
    0.110682528861314 + 0.0*i,
    0.237040782699006 + 0.0*i,
    0.428614135590677 + 0.0*i,
    -0.01574282447046 + 0.0*i,
    -0.137393490539652 + 0.0*i,
    0.266020767575895 + 0.0*i,
    0.61007203356063 + 0.0*i,
    -0.327342574314448 + 0.0*i,
    0.381396561745967 + 0.0*i,
    -0.646234059941145 + 0.0*i,
    -0.102310719530396 + 0.0*i,
    0.568145164466707 + 0.0*i,
    1.00462088243283 + 0.0*i,
    -0.0322517940295197 + 0.0*i,
    0.455084758814844 + 0.0*i,
    0.043156192499775 + 0.0*i,
    0.711604230193472 + 0.0*i,
    0.190901950073463 + 0.0*i,
    0.949200443468637 + 0.0*i,
    -0.952654477504041 + 0.0*i,
    -0.262755046198253 + 0.0*i,
    -0.348562326794914 + 0.0*i,
    -0.38880641775949 + 0.0*i,
    -0.795472623284027 + 0.0*i,
    0.452267602728239 + 0.0*i,
    -0.310989143622956 + 0.0*i,
    -0.709283168769235 + 0.0*i,
    -0.519474770688219 + 0.0*i,
    0.436983006119956 + 0.0*i,
    -0.611821326224459 + 0.0*i,
    -0.33090961698083 + 0.0*i,
    0.103822487189481 + 0.0*i,
    0.505309375166111 + 0.0*i,
    -0.796836165895227 + 0.0*i,
    0.525889480144055 + 0.0*i,
    -0.204363463731073 + 0.0*i,
    -0.522701321147443 + 0.0*i,
    0.0548293410364049 + 0.0*i,
    -0.153914956672691 + 0.0*i,
    0.326461162886788 + 0.0*i,
    -0.762148420404906 + 0.0*i,
    -0.478445868402349 + 0.0*i,
    -0.527523662498103 + 0.0*i,
    -0.350138717131066 + 0.0*i,
    0.30831007052045 + 0.0*i,
    -0.517291015859824 + 0.0*i,
    0.600633839854685 + 0.0*i,
    -0.527723251549791 + 0.0*i,
    0.394628207499132 + 0.0*i,
    0.00889505131055093 + 0.0*i,
    0.115249313920211 + 0.0*i,
    -0.378027724859807 + 0.0*i,
    0.344260015242471 + 0.0*i,
    0.0140861719096388 + 0.0*i,
    -0.532271564450352 + 0.0*i,
    0.638623055932496 + 0.0*i,
    0.071522195911518 + 0.0*i,
    -0.398908489576787 + 0.0*i,
    0.147388236767436 + 0.0*i,
    0.00452007265674523 + 0.0*i,
    0.455501365683659 + 0.0*i,
    -0.0579759152292339 + 0.0*i,
    0.973688678429263 + 0.0*i,
    0.239481634740109 + 0.0*i,
    -0.344118091732655 + 0.0*i,
    -0.500743774896392 + 0.0*i,
    -0.775922814399904 + 0.0*i,
    -0.776650833653746 + 0.0*i,
    0.808601627311725 + 0.0*i,
    0.71600905196389 + 0.0*i,
    -0.762374848405463 + 0.0*i,
    0.258906301357252 + 0.0*i,
    0.849792108713623 + 0.0*i,
    0.572625462587587 + 0.0*i,
    -0.0912661081557438 + 0.0*i,
    0.374874162517272 + 0.0*i,
    0.331518757929519 + 0.0*i
]);