V:=Matrix(CC,4,30,[
    0.504010672914081 + 0.0*i,
    0.923926874057615 + 0.0*i,
    -0.470075096984218 + 0.0*i,
    0.544252752327712 + 0.0*i,
    -0.64154268578783 + 0.0*i,
    -0.693390788043359 + 0.0*i,
    -0.549279442965872 + 0.0*i,
    0.32077687912965 + 0.0*i,
    0.426364084818085 + 0.0*i,
    -0.48044270809227 + 0.0*i,
    0.867838890005895 + 0.0*i,
    0.048286942057498 + 0.0*i,
    0.702755528204304 + 0.0*i,
    -0.00572081209215515 + 0.0*i,
    0.0610312148305407 + 0.0*i,
    0.0714385127499096 + 0.0*i,
    -0.686345535324963 + 0.0*i,
    -0.29294804475179 + 0.0*i,
    -0.315618402355922 + 0.0*i,
    -0.153201617124522 + 0.0*i,
    -0.426568081899194 + 0.0*i,
    -0.950750046877654 + 0.0*i,
    -0.193991099079782 + 0.0*i,
    0.202083131640659 + 0.0*i,
    -0.50770663166934 + 0.0*i,
    0.285125508708951 + 0.0*i,
    0.227601119621382 + 0.0*i,
    0.253364099760833 + 0.0*i,
    0.12843367849374 + 0.0*i,
    -0.722630509334549 + 0.0*i,
    -0.273804867250277 + 0.0*i,
    0.390963379959105 + 0.0*i,
    -0.662362896643196 + 0.0*i,
    -0.297786542970787 + 0.0*i,
    -0.33809405641292 + 0.0*i,
    -0.400980511552126 + 0.0*i,
    0.0935376855209625 + 0.0*i,
    0.564701803238341 + 0.0*i,
    -0.704857029411166 + 0.0*i,
    0.836796102921117 + 0.0*i,
    -0.219614329953991 + 0.0*i,
    0.595501229934855 + 0.0*i,
    0.367871811502392 + 0.0*i,
    -0.0763604454265171 + 0.0*i,
    -0.592816267893069 + 0.0*i,
    0.644318976307566 + 0.0*i,
    0.25615438918415 + 0.0*i,
    0.825371784128244 + 0.0*i,
    -0.575181610452903 + 0.0*i,
    0.081271403446767 + 0.0*i,
    -0.559390240140563 + 0.0*i,
    0.0345167003988427 + 0.0*i,
    -0.17871784545285 + 0.0*i,
    0.0662101253099522 + 0.0*i,
    -0.535719079569223 + 0.0*i,
    -0.0928314622568428 + 0.0*i,
    -0.171363023596036 + 0.0*i,
    1.04333125624827 + 0.0*i,
    0.418008830551629 + 0.0*i,
    0.62963072414895 + 0.0*i,
    0.73297058494149 + 0.0*i,
    -0.235035631905366 + 0.0*i,
    -0.542800634128703 + 0.0*i,
    0.457202697538774 + 0.0*i,
    -0.028894732869762 + 0.0*i,
    -0.135436356353047 + 0.0*i,
    0.526409591494805 + 0.0*i,
    0.706993686770867 + 0.0*i,
    0.0722077917962268 + 0.0*i,
    -0.466107919042976 + 0.0*i,
    -0.367511094530033 + 0.0*i,
    -0.310314596183048 + 0.0*i,
    0.0783567798700223 + 0.0*i,
    -0.471192507466744 + 0.0*i,
    0.0518624927884001 + 0.0*i,
    0.602019008404067 + 0.0*i,
    -0.353711447588463 + 0.0*i,
    0.331552579890817 + 0.0*i,
    0.662100574647575 + 0.0*i,
    0.51946292802792 + 0.0*i,
    0.775702325851663 + 0.0*i,
    -0.445636126380782 + 0.0*i,
    -0.561727760452452 + 0.0*i,
    -0.0139533873491666 + 0.0*i,
    -0.161611124417537 + 0.0*i,
    0.917340368823509 + 0.0*i,
    -1.04566424079075 + 0.0*i,
    -0.0750648763719224 + 0.0*i,
    -0.358423867970575 + 0.0*i,
    0.455694134209887 + 0.0*i,
    -0.185599204820234 + 0.0*i,
    -0.057643493438473 + 0.0*i,
    -0.0199587305753768 + 0.0*i,
    -0.616420564697007 + 0.0*i,
    -0.135640935562994 + 0.0*i,
    -0.562293000161655 + 0.0*i,
    0.725820508079944 + 0.0*i,
    -0.304968612463861 + 0.0*i,
    -0.543680801911691 + 0.0*i,
    -0.125526181579187 + 0.0*i,
    0.43906195407892 + 0.0*i,
    -0.810816123955528 + 0.0*i,
    -0.702360910809785 + 0.0*i,
    -0.701781691112614 + 0.0*i,
    -0.74125758795336 + 0.0*i,
    0.555542232805008 + 0.0*i,
    -0.63740474815551 + 0.0*i,
    -0.521614412849749 + 0.0*i,
    -0.544529839056611 + 0.0*i,
    -0.732569361339487 + 0.0*i,
    0.242996498149496 + 0.0*i,
    0.0629855189680248 + 0.0*i,
    0.776911765523335 + 0.0*i,
    1.01852253814653 + 0.0*i,
    -0.395260004009281 + 0.0*i,
    0.420199025432239 + 0.0*i,
    0.112609722152107 + 0.0*i,
    0.0473476755722017 + 0.0*i,
    0.122572922972636 + 0.0*i,
    0.162899966984635 + 0.0*i
]);