V:=Matrix(CC,4,56,[
    -0.139517211907451 + 0.0*i,
    -0.823947643913155 + 0.0*i,
    -0.962880984007057 + 0.0*i,
    0.624746005594256 + 0.0*i,
    -0.60875559267661 + 0.0*i,
    0.233321507261924 + 0.0*i,
    0.144803373437717 + 0.0*i,
    -0.353488189937207 + 0.0*i,
    -0.545564498506628 + 0.0*i,
    -0.00867675817998681 + 0.0*i,
    0.541005783249127 + 0.0*i,
    -0.0753490143790209 + 0.0*i,
    0.123566932965802 + 0.0*i,
    -0.112220205416091 + 0.0*i,
    -0.121376370010087 + 0.0*i,
    -0.75053302416461 + 0.0*i,
    -0.23034716699893 + 0.0*i,
    0.529783301485873 + 0.0*i,
    -0.511503639300356 + 0.0*i,
    0.202389378702191 + 0.0*i,
    -0.814616067634574 + 0.0*i,
    -0.711980795039252 + 0.0*i,
    0.00472071799013241 + 0.0*i,
    -0.00805628446884274 + 0.0*i,
    0.390335946505895 + 0.0*i,
    -0.382255696817672 + 0.0*i,
    -0.751983633227862 + 0.0*i,
    -0.320060029526007 + 0.0*i,
    -0.291527831432159 + 0.0*i,
    0.0117999800666847 + 0.0*i,
    1.25841021894408 + 0.0*i,
    0.0113312927810312 + 0.0*i,
    0.316876544966475 + 0.0*i,
    0.00234719615510988 + 0.0*i,
    -0.523812331282603 + 0.0*i,
    -0.355307555000666 + 0.0*i,
    0.521112170457537 + 0.0*i,
    0.603060334820126 + 0.0*i,
    -0.930483153946623 + 0.0*i,
    0.763709803787521 + 0.0*i,
    -0.670696622960553 + 0.0*i,
    -0.087120830480004 + 0.0*i,
    0.709101718638539 + 0.0*i,
    -0.0615624408354357 + 0.0*i,
    0.00492210674178537 + 0.0*i,
    -0.740524828673784 + 0.0*i,
    -0.163848857646575 + 0.0*i,
    0.307564277897198 + 0.0*i,
    0.684216949463712 + 0.0*i,
    0.622944264237889 + 0.0*i,
    -0.0644252532841657 + 0.0*i,
    -0.343854986308363 + 0.0*i,
    -0.256586576038717 + 0.0*i,
    0.0547269190749753 + 0.0*i,
    0.287837127083582 + 0.0*i,
    0.690199659538133 + 0.0*i,
    1.05437043644486 + 0.0*i,
    -0.638771552391582 + 0.0*i,
    0.0169503279097316 + 0.0*i,
    0.358631445950934 + 0.0*i,
    0.0283873863232208 + 0.0*i,
    -0.0506127578403564 + 0.0*i,
    -0.259515623873451 + 0.0*i,
    -0.166558872361103 + 0.0*i,
    0.192972112721155 + 0.0*i,
    -0.414147106860049 + 0.0*i,
    -0.705946118144456 + 0.0*i,
    0.00920309356654346 + 0.0*i,
    -0.415791050226038 + 0.0*i,
    -0.371843158522015 + 0.0*i,
    0.561345697914719 + 0.0*i,
    -0.013478153324462 + 0.0*i,
    -0.363930390822245 + 0.0*i,
    -0.172358784075761 + 0.0*i,
    0.805737992874838 + 0.0*i,
    -0.497880782865596 + 0.0*i,
    -0.0944440114921594 + 0.0*i,
    -0.201377483094993 + 0.0*i,
    -0.449330338427564 + 0.0*i,
    -0.623795950227102 + 0.0*i,
    -0.379056587690229 + 0.0*i,
    0.51417645623129 + 0.0*i,
    0.121271066694982 + 0.0*i,
    -0.277543517375835 + 0.0*i,
    0.150484986349449 + 0.0*i,
    -0.413023993135227 + 0.0*i,
    -0.303085577107656 + 0.0*i,
    -0.705080787971128 + 0.0*i,
    -0.259608294244138 + 0.0*i,
    -0.14996103432437 + 0.0*i,
    -0.692782426147362 + 0.0*i,
    -0.268000804412242 + 0.0*i,
    0.508709340116443 + 0.0*i,
    0.210975212740756 + 0.0*i,
    0.00963202979387399 + 0.0*i,
    -0.310489526632056 + 0.0*i,
    0.213991441020111 + 0.0*i,
    0.381316095052991 + 0.0*i,
    -0.380483161525213 + 0.0*i,
    -0.145949931814406 + 0.0*i,
    1.13453831389503 + 0.0*i,
    -1.05281543893667 + 0.0*i,
    0.308226359202169 + 0.0*i,
    -0.0921684251154371 + 0.0*i,
    0.170452472217728 + 0.0*i,
    -1.11977983314742 + 0.0*i,
    -0.195609862168254 + 0.0*i,
    -0.14753196538034 + 0.0*i,
    0.273657206987641 + 0.0*i,
    0.119408633232879 + 0.0*i,
    -0.17318824486263 + 0.0*i,
    0.376617400607427 + 0.0*i,
    0.349992133482504 + 0.0*i,
    0.81727581570578 + 0.0*i,
    0.508331269025665 + 0.0*i,
    0.243194726472553 + 0.0*i,
    -0.371290271437928 + 0.0*i,
    -0.32129010177945 + 0.0*i,
    1.12067722853764 + 0.0*i,
    -0.468454300763917 + 0.0*i,
    -0.605470357283801 + 0.0*i,
    -0.257533145339224 + 0.0*i,
    0.0641532476656821 + 0.0*i,
    -1.03589971895898 + 0.0*i,
    -0.79168172190495 + 0.0*i,
    -0.33750233320571 + 0.0*i,
    0.714150724424837 + 0.0*i,
    -0.0951655346295422 + 0.0*i,
    -0.0402521312077296 + 0.0*i,
    0.319637557517393 + 0.0*i,
    0.693515095433124 + 0.0*i,
    -0.330758931510807 + 0.0*i,
    0.0244083749043594 + 0.0*i,
    0.115368627363722 + 0.0*i,
    -0.145428291061584 + 0.0*i,
    0.82236499836461 + 0.0*i,
    -0.801763775486785 + 0.0*i,
    -0.929854196968381 + 0.0*i,
    0.123346047424846 + 0.0*i,
    0.0927289591689309 + 0.0*i,
    0.708237580508163 + 0.0*i,
    0.106842279087865 + 0.0*i,
    -0.142950472484068 + 0.0*i,
    0.425819313210293 + 0.0*i,
    -0.346722222415235 + 0.0*i,
    0.191820784809377 + 0.0*i,
    0.601568885711676 + 0.0*i,
    -0.429909613500722 + 0.0*i,
    -0.494619805207006 + 0.0*i,
    0.183804590767196 + 0.0*i,
    -0.858352470108821 + 0.0*i,
    0.586167631446935 + 0.0*i,
    -0.45910898419405 + 0.0*i,
    1.19213898961197 + 0.0*i,
    -0.61807883884548 + 0.0*i,
    -0.428854581086201 + 0.0*i,
    -0.424007831068489 + 0.0*i,
    -0.429037215671738 + 0.0*i,
    0.413325375479445 + 0.0*i,
    0.302676628484929 + 0.0*i,
    -0.12987972472546 + 0.0*i,
    0.153526020774753 + 0.0*i,
    -0.202874273248677 + 0.0*i,
    0.225149458556429 + 0.0*i,
    0.00392823740065786 + 0.0*i,
    0.358324333281267 + 0.0*i,
    0.121370090199066 + 0.0*i,
    0.457138353159212 + 0.0*i,
    -0.65316886945353 + 0.0*i,
    0.576694770965722 + 0.0*i,
    -0.241780656684675 + 0.0*i,
    -0.809744658995809 + 0.0*i,
    -0.071013802774889 + 0.0*i,
    -0.111034495291717 + 0.0*i,
    -0.498554198620614 + 0.0*i,
    -0.491137411342431 + 0.0*i,
    -0.443320371864182 + 0.0*i,
    0.126896172290927 + 0.0*i,
    -0.87810662767039 + 0.0*i,
    -0.0709684489712126 + 0.0*i,
    0.901605241082781 + 0.0*i,
    -0.313937735476024 + 0.0*i,
    0.817475854968058 + 0.0*i,
    0.694272201192013 + 0.0*i,
    -0.612492924985773 + 0.0*i,
    0.718937661201361 + 0.0*i,
    0.253605903469994 + 0.0*i,
    0.0347175911020716 + 0.0*i,
    -0.699922291610421 + 0.0*i,
    0.20024208650793 + 0.0*i,
    -0.225585240769134 + 0.0*i,
    -0.139688802037889 + 0.0*i,
    0.150663560336228 + 0.0*i,
    -0.658512982355664 + 0.0*i,
    -0.816946526448077 + 0.0*i,
    0.499810868897077 + 0.0*i,
    -0.132307612407954 + 0.0*i,
    1.19547512162329 + 0.0*i,
    0.0389780883069342 + 0.0*i,
    -0.666169028957494 + 0.0*i,
    0.132545857498449 + 0.0*i,
    0.50275663595119 + 0.0*i,
    -0.454209350084845 + 0.0*i,
    -0.995960912570978 + 0.0*i,
    0.869438573557361 + 0.0*i,
    -0.251576599708968 + 0.0*i,
    0.149132156945602 + 0.0*i,
    0.350497177309566 + 0.0*i,
    0.724239048004261 + 0.0*i,
    0.0103933355038409 + 0.0*i,
    -0.306318307531026 + 0.0*i,
    -0.770165044863749 + 0.0*i,
    0.0915722557386578 + 0.0*i,
    -0.179404931765384 + 0.0*i,
    0.639981217661491 + 0.0*i,
    -0.0377461855841973 + 0.0*i,
    -0.220030584259212 + 0.0*i,
    0.0783671044010204 + 0.0*i,
    0.219911966905067 + 0.0*i,
    -0.121042840827738 + 0.0*i,
    1.00153630694002 + 0.0*i,
    0.451156237424658 + 0.0*i,
    0.276200792626228 + 0.0*i,
    -0.641115221521212 + 0.0*i
]);