V:=Matrix(CC,4,92,[
    -0.445871035506978 + 0.0*i,
    1.08347135250054 + 0.0*i,
    0.495444575169141 + 0.0*i,
    -0.554346995821219 + 0.0*i,
    0.155370243690845 + 0.0*i,
    -0.0945886287973649 + 0.0*i,
    0.0026015925567476 + 0.0*i,
    0.0676052167722454 + 0.0*i,
    0.251833341992158 + 0.0*i,
    -0.145942754243143 + 0.0*i,
    0.0407386544031248 + 0.0*i,
    0.346334968250702 + 0.0*i,
    0.258121678886881 + 0.0*i,
    0.38556298265823 + 0.0*i,
    -0.529290670835565 + 0.0*i,
    0.580890460892147 + 0.0*i,
    0.10255129066803 + 0.0*i,
    0.608400956329732 + 0.0*i,
    -0.263190819383477 + 0.0*i,
    0.724060129652629 + 0.0*i,
    1.16033785290129 + 0.0*i,
    -0.707029566678303 + 0.0*i,
    -0.732779589981389 + 0.0*i,
    -0.835749751478434 + 0.0*i,
    0.019043166606739 + 0.0*i,
    0.679343354916935 + 0.0*i,
    -0.261532510090856 + 0.0*i,
    -0.80201505691543 + 0.0*i,
    -0.245077715154647 + 0.0*i,
    -0.933770371540387 + 0.0*i,
    -0.201606643432477 + 0.0*i,
    0.552949817152883 + 0.0*i,
    0.142161874756203 + 0.0*i,
    0.251542354013947 + 0.0*i,
    -0.431635246356625 + 0.0*i,
    -0.438260733540488 + 0.0*i,
    -0.496434098914317 + 0.0*i,
    -0.77266488818572 + 0.0*i,
    0.795266115341524 + 0.0*i,
    0.277546813477512 + 0.0*i,
    0.19637654305871 + 0.0*i,
    -0.322097441451488 + 0.0*i,
    -1.71430963892789 + 0.0*i,
    0.439418721069905 + 0.0*i,
    1.17185928434673 + 0.0*i,
    0.105948604083167 + 0.0*i,
    -0.0438005039859505 + 0.0*i,
    -0.49256969696479 + 0.0*i,
    -0.148691336465769 + 0.0*i,
    -0.334354864413113 + 0.0*i,
    0.481307516666722 + 0.0*i,
    0.71117441839098 + 0.0*i,
    0.0407921119353771 + 0.0*i,
    0.069124494327767 + 0.0*i,
    0.623902101284481 + 0.0*i,
    0.954156365769755 + 0.0*i,
    -0.506795811555497 + 0.0*i,
    0.489303934237974 + 0.0*i,
    -0.155796687386792 + 0.0*i,
    0.222712154260645 + 0.0*i,
    -0.307914055086201 + 0.0*i,
    0.226691765261855 + 0.0*i,
    0.256815568268108 + 0.0*i,
    -0.177434265128557 + 0.0*i,
    0.194470769485959 + 0.0*i,
    0.276776105467246 + 0.0*i,
    -0.346320684618538 + 0.0*i,
    -1.05078943020574 + 0.0*i,
    -0.292940329443501 + 0.0*i,
    -0.0146101439705911 + 0.0*i,
    -0.541882658991693 + 0.0*i,
    0.609912912476818 + 0.0*i,
    0.624053829377764 + 0.0*i,
    0.051824919431342 + 0.0*i,
    0.279064421690657 + 0.0*i,
    -0.828242515860499 + 0.0*i,
    0.611125413022918 + 0.0*i,
    0.845418758210283 + 0.0*i,
    -0.400358337568633 + 0.0*i,
    -0.627731231104154 + 0.0*i,
    0.294391712466494 + 0.0*i,
    0.855670230888924 + 0.0*i,
    0.30973857238381 + 0.0*i,
    0.323109357482443 + 0.0*i,
    -0.317129458104158 + 0.0*i,
    -0.330619380299016 + 0.0*i,
    -0.62322518255865 + 0.0*i,
    -0.166717612701006 + 0.0*i,
    0.391697137823707 + 0.0*i,
    -0.711076540364425 + 0.0*i,
    -0.621896386488718 + 0.0*i,
    -0.372538383814393 + 0.0*i,
    -0.768361735329113 + 0.0*i,
    0.287601791067988 + 0.0*i,
    -0.48474034385153 + 0.0*i,
    0.355053712890289 + 0.0*i,
    -0.261656930508716 + 0.0*i,
    0.782729544387069 + 0.0*i,
    -0.0236124224854962 + 0.0*i,
    -0.0837631436776918 + 0.0*i,
    0.690964012794903 + 0.0*i,
    1.23202905793324 + 0.0*i,
    0.247319110873999 + 0.0*i,
    0.403131232866883 + 0.0*i,
    0.353696564098121 + 0.0*i,
    -0.204519747818566 + 0.0*i,
    0.627071077692985 + 0.0*i,
    -0.734359693454806 + 0.0*i,
    -0.322879223244895 + 0.0*i,
    0.100318111885254 + 0.0*i,
    -0.234112781538477 + 0.0*i,
    -0.898529613574572 + 0.0*i,
    0.295516008581635 + 0.0*i,
    -0.044044446137014 + 0.0*i,
    -0.138248581082285 + 0.0*i,
    -0.239974712810714 + 0.0*i,
    0.464650595424224 + 0.0*i,
    -0.304177880340946 + 0.0*i,
    1.08433984923271 + 0.0*i,
    0.227319838663346 + 0.0*i,
    -0.272835196535592 + 0.0*i,
    -0.445561933737459 + 0.0*i,
    0.455338690654271 + 0.0*i,
    -0.969160791007785 + 0.0*i,
    -0.803077133910982 + 0.0*i,
    1.07755187052585 + 0.0*i,
    -0.00339666567747156 + 0.0*i,
    -0.0470770950369994 + 0.0*i,
    0.381512225280028 + 0.0*i,
    0.400124452632464 + 0.0*i,
    0.537451611393226 + 0.0*i,
    0.324019748545037 + 0.0*i,
    -0.24013641476516 + 0.0*i,
    0.331206833130679 + 0.0*i,
    -0.0949864295758334 + 0.0*i,
    -0.604395102518351 + 0.0*i,
    -0.93846548017131 + 0.0*i,
    -0.0910365992037051 + 0.0*i,
    0.283960325295767 + 0.0*i,
    -0.0257655720497535 + 0.0*i,
    -0.524630032305622 + 0.0*i,
    0.171734682140157 + 0.0*i,
    -0.282765793432371 + 0.0*i,
    0.352186122436218 + 0.0*i,
    0.184728329915869 + 0.0*i,
    0.516012033427552 + 0.0*i,
    0.468194467231565 + 0.0*i,
    -0.170578233418787 + 0.0*i,
    0.126252126440565 + 0.0*i,
    -0.032176718844853 + 0.0*i,
    -0.751471807370378 + 0.0*i,
    0.295563647494906 + 0.0*i,
    -0.62006353096335 + 0.0*i,
    -0.24124798524702 + 0.0*i,
    0.0396395451764934 + 0.0*i,
    -0.0881671934590865 + 0.0*i,
    0.149050314019286 + 0.0*i,
    0.391937066092148 + 0.0*i,
    0.0626284964117001 + 0.0*i,
    0.0571301303829392 + 0.0*i,
    -0.0498092817599616 + 0.0*i,
    0.388426712548817 + 0.0*i,
    -0.0644920406770707 + 0.0*i,
    -0.932444024985815 + 0.0*i,
    1.19307975990887 + 0.0*i,
    -0.204386813663251 + 0.0*i,
    -0.208483153667439 + 0.0*i,
    0.317413038125337 + 0.0*i,
    0.76409408762922 + 0.0*i,
    0.954034852289982 + 0.0*i,
    -0.0154498499194005 + 0.0*i,
    0.7106249067146 + 0.0*i,
    -0.289613382290729 + 0.0*i,
    0.882248321203782 + 0.0*i,
    -0.0465889163695463 + 0.0*i,
    -0.0993751071809397 + 0.0*i,
    -0.166768997578093 + 0.0*i,
    -0.718984798560485 + 0.0*i,
    -0.272943079860952 + 0.0*i,
    -0.0573696350601798 + 0.0*i,
    -0.563938883819753 + 0.0*i,
    -0.518819022937639 + 0.0*i,
    -0.094936654069862 + 0.0*i,
    0.219496875653286 + 0.0*i,
    -0.549641375175602 + 0.0*i,
    -1.10655959307451 + 0.0*i,
    -0.319181269789763 + 0.0*i,
    -0.138435101610474 + 0.0*i,
    -0.395230602268909 + 0.0*i,
    -0.41930768780355 + 0.0*i,
    -0.140468660851605 + 0.0*i,
    -0.615055941738148 + 0.0*i,
    0.450397075876484 + 0.0*i,
    0.278423486839814 + 0.0*i,
    1.11677189489627 + 0.0*i,
    -0.39498249005329 + 0.0*i,
    0.0555436427401108 + 0.0*i,
    -0.192056004400261 + 0.0*i,
    0.750400550600789 + 0.0*i,
    -0.410433363944933 + 0.0*i,
    0.231882654764411 + 0.0*i,
    -0.733003450731825 + 0.0*i,
    -0.38203787780985 + 0.0*i,
    0.781868441104273 + 0.0*i,
    -0.339588979925922 + 0.0*i,
    -0.726924490884241 + 0.0*i,
    0.239225198007817 + 0.0*i,
    -0.0745729138419783 + 0.0*i,
    -0.805376399350068 + 0.0*i,
    0.122153398248579 + 0.0*i,
    -0.00823865223802158 + 0.0*i,
    -0.0713209206529722 + 0.0*i,
    -0.313796121650055 + 0.0*i,
    -0.0225363255317847 + 0.0*i,
    -0.264262291122311 + 0.0*i,
    0.543688922458803 + 0.0*i,
    -0.144848632412408 + 0.0*i,
    0.138152858219362 + 0.0*i,
    0.453261467132731 + 0.0*i,
    -0.355786625460763 + 0.0*i,
    -0.0366668251777991 + 0.0*i,
    -0.890178151121541 + 0.0*i,
    0.0973062021426274 + 0.0*i,
    -0.230394765987716 + 0.0*i,
    0.218843948706873 + 0.0*i,
    -1.25205938712895 + 0.0*i,
    -0.290282957845289 + 0.0*i,
    0.74416442985378 + 0.0*i,
    -0.12828019583355 + 0.0*i,
    1.06868850289097 + 0.0*i,
    -0.820235136241905 + 0.0*i,
    0.183393854490919 + 0.0*i,
    0.358628293745317 + 0.0*i,
    -0.176383404786075 + 0.0*i,
    0.0507323522146127 + 0.0*i,
    0.153593239203652 + 0.0*i,
    -0.190509654129288 + 0.0*i,
    -0.509267684053013 + 0.0*i,
    -0.0762977354042008 + 0.0*i,
    -0.209097047991858 + 0.0*i,
    0.132559884217027 + 0.0*i,
    -0.242041562330923 + 0.0*i,
    -0.0297953189354308 + 0.0*i,
    -0.00802527640753443 + 0.0*i,
    -0.201609538895139 + 0.0*i,
    -0.57391525621055 + 0.0*i,
    0.206192548340512 + 0.0*i,
    0.122872677302233 + 0.0*i,
    0.274366751297991 + 0.0*i,
    -0.880324183030423 + 0.0*i,
    0.172811568544595 + 0.0*i,
    0.140102965791713 + 0.0*i,
    0.0361101220356502 + 0.0*i,
    -0.314911455527375 + 0.0*i,
    0.5620687168527 + 0.0*i,
    -1.12321802265599 + 0.0*i,
    0.136205768582087 + 0.0*i,
    -0.685502360686247 + 0.0*i,
    0.284489557501935 + 0.0*i,
    -0.204103806528929 + 0.0*i,
    1.134546280424 + 0.0*i,
    -0.504491898905591 + 0.0*i,
    -0.625410983830843 + 0.0*i,
    0.333112990442087 + 0.0*i,
    0.381947121043891 + 0.0*i,
    -0.607505152364606 + 0.0*i,
    -0.22150576561638 + 0.0*i,
    -0.360638490796894 + 0.0*i,
    0.596552054717748 + 0.0*i,
    -0.699354317851114 + 0.0*i,
    0.490287531483769 + 0.0*i,
    0.0465388958063124 + 0.0*i,
    0.149652757655263 + 0.0*i,
    -0.142531477001966 + 0.0*i,
    0.384684471626466 + 0.0*i,
    0.0779834197931164 + 0.0*i,
    -1.25162377891254 + 0.0*i,
    -0.0336287626535364 + 0.0*i,
    0.583481788371168 + 0.0*i,
    0.368635413136034 + 0.0*i,
    0.0127611035479048 + 0.0*i,
    0.503735199437817 + 0.0*i,
    0.4067548597246 + 0.0*i,
    -0.0881718531724025 + 0.0*i,
    -0.458225391332466 + 0.0*i,
    -0.324328275308801 + 0.0*i,
    -0.87830208123124 + 0.0*i,
    -0.548775520537027 + 0.0*i,
    -0.076894597168699 + 0.0*i,
    -0.116743108550746 + 0.0*i,
    -0.354871501040175 + 0.0*i,
    -0.789281086261423 + 0.0*i,
    -0.730703343648022 + 0.0*i,
    -1.07843288936941 + 0.0*i,
    0.464456382306865 + 0.0*i,
    0.00926435640854171 + 0.0*i,
    -0.444772307545583 + 0.0*i,
    0.341280905390991 + 0.0*i,
    -0.41189675966313 + 0.0*i,
    -0.214833462886543 + 0.0*i,
    0.207727775702204 + 0.0*i,
    -0.29096048726227 + 0.0*i,
    0.613772253660362 + 0.0*i,
    -0.272441251303883 + 0.0*i,
    0.880512929442506 + 0.0*i,
    0.646075211125214 + 0.0*i,
    0.044925939948535 + 0.0*i,
    0.22387291065144 + 0.0*i,
    -0.0730155451549406 + 0.0*i,
    -0.239012292017428 + 0.0*i,
    -0.0147693039257933 + 0.0*i,
    0.0701475051122566 + 0.0*i,
    -1.4962662069201 + 0.0*i,
    0.0803909427914973 + 0.0*i,
    -0.023133275525291 + 0.0*i,
    -0.701958994251991 + 0.0*i,
    0.169516781166772 + 0.0*i,
    -0.6691404558509 + 0.0*i,
    -0.178880281886492 + 0.0*i,
    -0.788158613032334 + 0.0*i,
    -0.0436626874803798 + 0.0*i,
    -0.179194573230173 + 0.0*i,
    0.513640743649492 + 0.0*i,
    -0.216471477830018 + 0.0*i,
    -0.531155658067067 + 0.0*i,
    -0.0857962338668777 + 0.0*i,
    0.31937513014304 + 0.0*i,
    -0.79598679279009 + 0.0*i,
    0.332373785536769 + 0.0*i,
    -0.232888695663016 + 0.0*i,
    0.333665475135744 + 0.0*i,
    0.750386069941497 + 0.0*i,
    0.886862431546305 + 0.0*i,
    -0.119651863926592 + 0.0*i,
    -0.410359093833311 + 0.0*i,
    -0.547412254666797 + 0.0*i,
    0.210159867652293 + 0.0*i,
    -0.191371499842793 + 0.0*i,
    0.718913303724639 + 0.0*i,
    -0.208770640201763 + 0.0*i,
    0.0913215610804645 + 0.0*i,
    -0.235749756642868 + 0.0*i,
    -0.577386512830744 + 0.0*i,
    0.165715458702679 + 0.0*i,
    0.117376081979053 + 0.0*i,
    -0.466231988005993 + 0.0*i,
    -0.0313679846470877 + 0.0*i,
    -0.137893382691253 + 0.0*i,
    -0.130943206394436 + 0.0*i,
    -0.0883060838913242 + 0.0*i,
    -0.134797792843732 + 0.0*i,
    0.335739493655645 + 0.0*i,
    0.332792250958435 + 0.0*i,
    -0.817494582787455 + 0.0*i,
    0.412177964616535 + 0.0*i,
    -0.270543496707718 + 0.0*i,
    -0.248009557420978 + 0.0*i,
    0.606552682695149 + 0.0*i,
    0.479878594966433 + 0.0*i,
    -0.0991901788301233 + 0.0*i,
    -0.601932883357024 + 0.0*i,
    0.70640434935534 + 0.0*i,
    0.378946875914791 + 0.0*i,
    0.212083889847312 + 0.0*i,
    0.29175509670481 + 0.0*i,
    0.408521669512934 + 0.0*i,
    -0.335248623331771 + 0.0*i,
    0.252579565964925 + 0.0*i
]);