V:=Matrix(CC,4,31,[
    -0.408966374356774 + 0.0*i,
    -0.780294092333269 + 0.0*i,
    -0.10334070327189 + 0.0*i,
    0.64589297968545 + 0.0*i,
    -0.0483776845562908 + 0.0*i,
    -0.406749075122751 + 0.0*i,
    0.632989503320215 + 0.0*i,
    -0.237727407060128 + 0.0*i,
    -0.404374710304385 + 0.0*i,
    -0.12986059171716 + 0.0*i,
    -0.432236292097451 + 0.0*i,
    0.909591035868683 + 0.0*i,
    -0.332774449079641 + 0.0*i,
    0.116621668475651 + 0.0*i,
    0.422749956428339 + 0.0*i,
    0.739030814631959 + 0.0*i,
    -0.681016364395305 + 0.0*i,
    0.168055781148352 + 0.0*i,
    -0.139693174839031 + 0.0*i,
    -0.680225146376982 + 0.0*i,
    0.621841125156792 + 0.0*i,
    -0.588593333357159 + 0.0*i,
    0.189567810885531 + 0.0*i,
    -0.0791761530983828 + 0.0*i,
    0.180651248763118 + 0.0*i,
    -0.498679718333934 + 0.0*i,
    0.969659283699493 + 0.0*i,
    0.333119198235851 + 0.0*i,
    -0.203787819985102 + 0.0*i,
    -0.528764381441288 + 0.0*i,
    0.722939937038507 + 0.0*i,
    -0.921662659542949 + 0.0*i,
    -0.319307514125082 + 0.0*i,
    -0.740117889328529 + 0.0*i,
    -0.345663126795849 + 0.0*i,
    -0.220146632746198 + 0.0*i,
    -0.260562663412827 + 0.0*i,
    0.223609987274287 + 0.0*i,
    0.806566141587641 + 0.0*i,
    -0.554285579756979 + 0.0*i,
    0.698468771349293 + 0.0*i,
    -0.668943937580492 + 0.0*i,
    0.490603781142423 + 0.0*i,
    0.947569754884131 + 0.0*i,
    -0.515731812936882 + 0.0*i,
    0.106913329750645 + 0.0*i,
    -0.508405907327898 + 0.0*i,
    0.0138848374089556 + 0.0*i,
    0.218359212126577 + 0.0*i,
    0.0847828541618743 + 0.0*i,
    -0.327796973601052 + 0.0*i,
    -0.385289121724885 + 0.0*i,
    0.478356018152341 + 0.0*i,
    0.78392913737398 + 0.0*i,
    0.697460251900671 + 0.0*i,
    -0.166876673604837 + 0.0*i,
    -0.540454642018725 + 0.0*i,
    -0.212850785733272 + 0.0*i,
    -0.225297867752662 + 0.0*i,
    0.0907565811171963 + 0.0*i,
    0.639280096597966 + 0.0*i,
    0.126059181543299 + 0.0*i,
    -0.146304657635011 + 0.0*i,
    0.341780926036284 + 0.0*i,
    -0.622446657707041 + 0.0*i,
    -0.244308426740579 + 0.0*i,
    0.644300535127031 + 0.0*i,
    0.797922793553257 + 0.0*i,
    0.74638536331868 + 0.0*i,
    -0.404325701625184 + 0.0*i,
    -0.443988740943485 + 0.0*i,
    -0.0581919582748262 + 0.0*i,
    0.578798430686873 + 0.0*i,
    0.103907708069376 + 0.0*i,
    0.0789062580909009 + 0.0*i,
    -0.759143532863643 + 0.0*i,
    0.0614932999350556 + 0.0*i,
    0.481402713890308 + 0.0*i,
    0.599559613186555 + 0.0*i,
    0.314862789260027 + 0.0*i,
    0.928613003959157 + 0.0*i,
    -0.357411766367182 + 0.0*i,
    -0.611924214768851 + 0.0*i,
    -0.355840899443995 + 0.0*i,
    -0.0667283303288084 + 0.0*i,
    -0.676364648676864 + 0.0*i,
    0.575260591616259 + 0.0*i,
    0.399748391454434 + 0.0*i,
    -0.0538842772502125 + 0.0*i,
    -0.245383046241906 + 0.0*i,
    -0.951028948792486 + 0.0*i,
    0.345615383695173 + 0.0*i,
    0.189264830890059 + 0.0*i,
    -0.0777730251056137 + 0.0*i,
    0.437179000215201 + 0.0*i,
    0.310220572798338 + 0.0*i,
    -0.630769050088816 + 0.0*i,
    0.796958656174468 + 0.0*i,
    0.191509340072408 + 0.0*i,
    -0.0111932007310202 + 0.0*i,
    -0.235353539036983 + 0.0*i,
    -0.494579761636676 + 0.0*i,
    0.709109646152048 + 0.0*i,
    0.0134435011866373 + 0.0*i,
    0.193572167754657 + 0.0*i,
    0.106199842194048 + 0.0*i,
    -0.39216615274869 + 0.0*i,
    -0.852359668170906 + 0.0*i,
    -0.184095467916197 + 0.0*i,
    -0.406233739869657 + 0.0*i,
    0.888417187164356 + 0.0*i,
    -0.383226498093138 + 0.0*i,
    0.574376960408097 + 0.0*i,
    -0.0975924108187032 + 0.0*i,
    -0.551983302464276 + 0.0*i,
    -0.62876110328781 + 0.0*i,
    0.22453202789639 + 0.0*i,
    -0.772944853852732 + 0.0*i,
    -0.546566465592485 + 0.0*i,
    0.0101417583509964 + 0.0*i,
    0.894876212258667 + 0.0*i,
    -0.24490035596939 + 0.0*i,
    -0.432724488872503 + 0.0*i,
    0.589318159236875 + 0.0*i
]);