V:=Matrix(CC,4,23,[
    -0.289761826223821 + 0.0*i,
    0.614152193436711 + 0.0*i,
    0.390716050852613 + 0.0*i,
    -0.448716494060246 + 0.0*i,
    -0.467846431639791 + 0.0*i,
    -0.323961680448382 + 0.0*i,
    0.662829084603801 + 0.0*i,
    0.218436244558819 + 0.0*i,
    0.840471585439413 + 0.0*i,
    0.0747231520387555 + 0.0*i,
    0.746061801895526 + 0.0*i,
    0.16776497395743 + 0.0*i,
    0.484989699826155 + 0.0*i,
    -0.602993464253871 + 0.0*i,
    -0.138869183165879 + 0.0*i,
    -0.935513503734771 + 0.0*i,
    -0.343211948063736 + 0.0*i,
    0.205272371899331 + 0.0*i,
    0.189021616090473 + 0.0*i,
    -0.850325747861962 + 0.0*i,
    0.525703919098161 + 0.0*i,
    0.0693861638324985 + 0.0*i,
    0.103551228667455 + 0.0*i,
    0.23373717914735 + 0.0*i,
    -0.586114467369977 + 0.0*i,
    0.125333371233052 + 0.0*i,
    -0.645070578629277 + 0.0*i,
    -0.0729689398499307 + 0.0*i,
    0.4167622211271 + 0.0*i,
    -0.637849551343921 + 0.0*i,
    0.0069991796156835 + 0.0*i,
    -0.120617732557721 + 0.0*i,
    0.521885427026422 + 0.0*i,
    -0.372331758174224 + 0.0*i,
    0.819094005131761 + 0.0*i,
    0.498292254072888 + 0.0*i,
    -0.77581494917418 + 0.0*i,
    0.172775904346356 + 0.0*i,
    0.0045779720310834 + 0.0*i,
    -0.109515453141528 + 0.0*i,
    -0.586881442932658 + 0.0*i,
    -0.662830126086245 + 0.0*i,
    -0.34059074003594 + 0.0*i,
    0.288579904394714 + 0.0*i,
    -0.764842468433998 + 0.0*i,
    -0.981948539843229 + 0.0*i,
    -0.0246419215528862 + 0.0*i,
    0.0700802442950742 + 0.0*i,
    0.241427040308082 + 0.0*i,
    -0.586101501518675 + 0.0*i,
    0.667604558161813 + 0.0*i,
    -0.722747783737776 + 0.0*i,
    0.0548464128778895 + 0.0*i,
    0.889019590623078 + 0.0*i,
    0.527341380435456 + 0.0*i,
    -0.21250375550871 + 0.0*i,
    -0.534738245215389 + 0.0*i,
    -0.226619929568932 + 0.0*i,
    -0.697935200999524 + 0.0*i,
    0.0649668631977262 + 0.0*i,
    0.963626933413998 + 0.0*i,
    0.176468043210592 + 0.0*i,
    0.548057744976613 + 0.0*i,
    -0.57725495616861 + 0.0*i,
    0.659819493570225 + 0.0*i,
    0.0528361599990733 + 0.0*i,
    0.510592724208101 + 0.0*i,
    -0.49180016186625 + 0.0*i,
    0.0267261174654948 + 0.0*i,
    0.915487141275562 + 0.0*i,
    0.523173683222075 + 0.0*i,
    0.872221391540739 + 0.0*i,
    -0.174447315527431 + 0.0*i,
    0.54104619662507 + 0.0*i,
    0.415809703497483 + 0.0*i,
    -0.344035403956074 + 0.0*i,
    0.40470057219276 + 0.0*i,
    0.0478809460502153 + 0.0*i,
    -0.832844670884354 + 0.0*i,
    0.15183056420841 + 0.0*i,
    0.557770304917505 + 0.0*i,
    0.0220974778373755 + 0.0*i,
    0.285253461363245 + 0.0*i,
    -0.231404287555789 + 0.0*i,
    0.329244623909693 + 0.0*i,
    -0.744349983806344 + 0.0*i,
    -0.50964184203554 + 0.0*i,
    0.244609334014019 + 0.0*i,
    -0.42776268106755 + 0.0*i,
    -0.648495352173311 + 0.0*i,
    0.402540849838203 + 0.0*i,
    -0.131895145520047 + 0.0*i
]);