V:=Matrix(CC,4,31,[
    0.00303212749612678 + 0.0*i,
    0.277772028593459 + 0.0*i,
    0.231541859255641 + 0.0*i,
    -0.606879209260614 + 0.0*i,
    -0.551203247876986 + 0.0*i,
    0.373109239499067 + 0.0*i,
    -0.216969772918685 + 0.0*i,
    0.13168585912475 + 0.0*i,
    0.584050198990757 + 0.0*i,
    -0.119306518045071 + 0.0*i,
    -0.428889137158167 + 0.0*i,
    0.715837776004886 + 0.0*i,
    -0.796425498296511 + 0.0*i,
    -0.399587632908819 + 0.0*i,
    -0.581699695101806 + 0.0*i,
    0.44017395105063 + 0.0*i,
    -0.174807952540337 + 0.0*i,
    0.047581118391509 + 0.0*i,
    0.167705124784766 + 0.0*i,
    0.0463572831916071 + 0.0*i,
    -0.949432764077782 + 0.0*i,
    -0.310293920136849 + 0.0*i,
    -0.723144966672438 + 0.0*i,
    -0.00584497305485764 + 0.0*i,
    0.626342510031629 + 0.0*i,
    0.0971258624077224 + 0.0*i,
    0.651191099204297 + 0.0*i,
    0.643877638161315 + 0.0*i,
    -0.578648066132907 + 0.0*i,
    0.651144844280736 + 0.0*i,
    0.959847240002816 + 0.0*i,
    -0.99481281672571 + 0.0*i,
    0.761934225499828 + 0.0*i,
    -0.115975059515249 + 0.0*i,
    0.67731980936846 + 0.0*i,
    -0.213961494292122 + 0.0*i,
    -0.416624698019121 + 0.0*i,
    -0.353097944374256 + 0.0*i,
    -0.479134163282615 + 0.0*i,
    -0.103821508507146 + 0.0*i,
    0.869181167442684 + 0.0*i,
    -0.219630378160869 + 0.0*i,
    0.588341430305245 + 0.0*i,
    0.128129013208117 + 0.0*i,
    0.844812831773824 + 0.0*i,
    0.446224403360469 + 0.0*i,
    0.854909576715011 + 0.0*i,
    0.441337703493521 + 0.0*i,
    0.271205588645792 + 0.0*i,
    0.674214313481032 + 0.0*i,
    -0.241198229841375 + 0.0*i,
    0.227384848692431 + 0.0*i,
    -0.252709788408333 + 0.0*i,
    -0.512164972926519 + 0.0*i,
    0.235842909078477 + 0.0*i,
    0.159191351250617 + 0.0*i,
    0.576258927135143 + 0.0*i,
    -0.259852363690681 + 0.0*i,
    -0.561146926861177 + 0.0*i,
    0.0204667758006511 + 0.0*i,
    -0.171200575765022 + 0.0*i,
    0.316745560025219 + 0.0*i,
    0.315448469749531 + 0.0*i,
    0.622842028693381 + 0.0*i,
    0.264675756139143 + 0.0*i,
    -0.333765219558839 + 0.0*i,
    0.525758283931758 + 0.0*i,
    0.783742527853754 + 0.0*i,
    0.807582086551214 + 0.0*i,
    0.424674676356668 + 0.0*i,
    0.726294282990286 + 0.0*i,
    0.331248663815385 + 0.0*i,
    0.813458517409723 + 0.0*i,
    0.392815169090984 + 0.0*i,
    -0.125708262844504 + 0.0*i,
    0.205985724881433 + 0.0*i,
    -0.241703733853174 + 0.0*i,
    -0.281582427650217 + 0.0*i,
    -0.741776818307814 + 0.0*i,
    0.466055108728351 + 0.0*i,
    -0.167031095654327 + 0.0*i,
    -0.440906189443815 + 0.0*i,
    -0.175553999084514 + 0.0*i,
    -0.824696874414933 + 0.0*i,
    -0.0830777492686487 + 0.0*i,
    0.998780128989339 + 0.0*i,
    0.235913817210983 + 0.0*i,
    -0.159825529713745 + 0.0*i,
    0.00998007920640178 + 0.0*i,
    -0.571581142690594 + 0.0*i,
    0.0520638242418829 + 0.0*i,
    -0.667732063526654 + 0.0*i,
    -0.3370095557724 + 0.0*i,
    0.0307412696237691 + 0.0*i,
    0.267045216256579 + 0.0*i,
    -0.771378360816781 + 0.0*i,
    -0.0603726636894651 + 0.0*i,
    -0.36431804855221 + 0.0*i,
    -0.111467923109278 + 0.0*i,
    0.517865403682541 + 0.0*i,
    -0.804886302006079 + 0.0*i,
    0.445201135316462 + 0.0*i,
    -0.414286399923967 + 0.0*i,
    -0.421041463029845 + 0.0*i,
    -0.231339823192129 + 0.0*i,
    0.475677485185392 + 0.0*i,
    0.42254701649404 + 0.0*i,
    0.25511958563492 + 0.0*i,
    -0.235455260100187 + 0.0*i,
    0.120633459473821 + 0.0*i,
    0.908930983263189 + 0.0*i,
    0.654133410995214 + 0.0*i,
    0.856068267525056 + 0.0*i,
    -0.0878358335556856 + 0.0*i,
    0.466704598335013 + 0.0*i,
    -0.536946235454563 + 0.0*i,
    0.0764945523244817 + 0.0*i,
    -0.537191330649062 + 0.0*i,
    -0.875655424119855 + 0.0*i,
    0.793155815145421 + 0.0*i,
    0.208078526905614 + 0.0*i,
    0.764372085787651 + 0.0*i,
    -0.426666613691066 + 0.0*i,
    -0.0174371876630597 + 0.0*i
]);