V:=Matrix(CC,4,25,[
    0.401015725071722 + 0.0*i,
    0.399104622884844 + 0.0*i,
    -0.59894903421303 + 0.0*i,
    -0.27074956864213 + 0.0*i,
    0.480199742918081 + 0.0*i,
    -0.926850965674605 + 0.0*i,
    -0.037251905346458 + 0.0*i,
    0.374383874651276 + 0.0*i,
    -0.754531808480632 + 0.0*i,
    -0.0390811489730576 + 0.0*i,
    -0.0968160174549359 + 0.0*i,
    -0.200619005396974 + 0.0*i,
    0.944912819168702 + 0.0*i,
    -0.0471555154421814 + 0.0*i,
    0.784280161585464 + 0.0*i,
    -0.1161803784787 + 0.0*i,
    0.274433387809508 + 0.0*i,
    0.149019181762651 + 0.0*i,
    -0.803469690171516 + 0.0*i,
    -0.521477799263682 + 0.0*i,
    -0.587693490951015 + 0.0*i,
    -0.534493039684557 + 0.0*i,
    -0.785152914498774 + 0.0*i,
    0.244821906804222 + 0.0*i,
    0.222366508199513 + 0.0*i,
    0.167253436303125 + 0.0*i,
    0.550664302089876 + 0.0*i,
    0.625832787739272 + 0.0*i,
    -0.343187131984892 + 0.0*i,
    0.474357416917546 + 0.0*i,
    -0.376315117824898 + 0.0*i,
    0.777447951123629 + 0.0*i,
    -0.309807718519331 + 0.0*i,
    -0.0499716848698254 + 0.0*i,
    -0.0342541299913795 + 0.0*i,
    0.697386824644204 + 0.0*i,
    -0.730745997603997 + 0.0*i,
    -0.0384448388523402 + 0.0*i,
    -0.134500426919167 + 0.0*i,
    -0.185409948474135 + 0.0*i,
    -0.932166768401947 + 0.0*i,
    -0.765868828221363 + 0.0*i,
    -0.468682885311821 + 0.0*i,
    0.545490130020001 + 0.0*i,
    0.312593669439844 + 0.0*i,
    -0.783603873465811 + 0.0*i,
    0.164185716736534 + 0.0*i,
    -0.109553482133976 + 0.0*i,
    0.126209219374376 + 0.0*i,
    -0.149187389356813 + 0.0*i,
    -0.558709973788194 + 0.0*i,
    0.656888944350684 + 0.0*i,
    -0.3712303364081 + 0.0*i,
    -0.349723013756999 + 0.0*i,
    -0.576655621306382 + 0.0*i,
    -0.0526892418940283 + 0.0*i,
    0.0913858599212878 + 0.0*i,
    -0.843956353421478 + 0.0*i,
    -0.165777749693566 + 0.0*i,
    0.61875729307015 + 0.0*i,
    -0.672477682214898 + 0.0*i,
    0.505263612001912 + 0.0*i,
    0.023850718919404 + 0.0*i,
    -0.899537539556287 + 0.0*i,
    0.552669131389385 + 0.0*i,
    0.0983917435279422 + 0.0*i,
    -0.482877818513578 + 0.0*i,
    0.273290664235509 + 0.0*i,
    0.204313628761175 + 0.0*i,
    -0.556392289304717 + 0.0*i,
    -0.117488728932419 + 0.0*i,
    0.226197688756344 + 0.0*i,
    0.583737180163074 + 0.0*i,
    0.0331833725137037 + 0.0*i,
    0.984961877388652 + 0.0*i,
    -0.695050147238276 + 0.0*i,
    -0.435767525899163 + 0.0*i,
    0.274694215516875 + 0.0*i,
    -0.823434062862578 + 0.0*i,
    0.44067654117023 + 0.0*i,
    -0.399691708342014 + 0.0*i,
    -0.637925230279771 + 0.0*i,
    0.226904906565282 + 0.0*i,
    0.622767180924727 + 0.0*i,
    -0.782300132552436 + 0.0*i,
    0.141758153071533 + 0.0*i,
    0.389956237233566 + 0.0*i,
    -0.150899296213553 + 0.0*i,
    -0.405703235165475 + 0.0*i,
    -0.000911543943114333 + 0.0*i,
    -0.311873822265496 + 0.0*i,
    -0.360003064848954 + 0.0*i,
    -0.819939303547583 + 0.0*i,
    -0.13533418280001 + 0.0*i,
    -0.55387116077462 + 0.0*i,
    0.162146456622672 + 0.0*i,
    -0.784293709743966 + 0.0*i,
    0.128696359259558 + 0.0*i,
    -0.944623987982657 + 0.0*i,
    -0.204924022168832 + 0.0*i
]);