V:=Matrix(CC,4,86,[
    -0.15520188865402 + 0.0*i,
    0.370364222220445 + 0.0*i,
    -0.13794233490337 + 0.0*i,
    -0.321490380480401 + 0.0*i,
    -0.197436377537446 + 0.0*i,
    0.897915106220294 + 0.0*i,
    -0.155388421953329 + 0.0*i,
    -0.210618288992896 + 0.0*i,
    -0.404172545079795 + 0.0*i,
    0.43794991604182 + 0.0*i,
    -0.223184429786649 + 0.0*i,
    -0.0560805929098036 + 0.0*i,
    0.187105790672536 + 0.0*i,
    -0.144268116482504 + 0.0*i,
    -0.0333737402393885 + 0.0*i,
    0.032649024874726 + 0.0*i,
    1.02428731509872 + 0.0*i,
    0.194409219333897 + 0.0*i,
    -0.339255851235075 + 0.0*i,
    -0.994158737911683 + 0.0*i,
    -1.00446997186827 + 0.0*i,
    0.997120959880428 + 0.0*i,
    -0.766843508229948 + 0.0*i,
    -0.43970709687105 + 0.0*i,
    0.0207945149599518 + 0.0*i,
    -0.245610219460694 + 0.0*i,
    0.396378533325425 + 0.0*i,
    0.236029947019496 + 0.0*i,
    0.0814072842195437 + 0.0*i,
    -0.438951222119086 + 0.0*i,
    -0.27743058252108 + 0.0*i,
    0.230145721942316 + 0.0*i,
    -0.756649188119104 + 0.0*i,
    -0.477831513548534 + 0.0*i,
    0.0521965441323944 + 0.0*i,
    -0.262655895356156 + 0.0*i,
    -0.0865573641910693 + 0.0*i,
    -0.0461167352591037 + 0.0*i,
    0.15490081295422 + 0.0*i,
    -0.088887707778878 + 0.0*i,
    -0.524022391632973 + 0.0*i,
    0.458388935632202 + 0.0*i,
    -0.697525267708173 + 0.0*i,
    0.268504838319111 + 0.0*i,
    -0.406388182072263 + 0.0*i,
    -0.945479681234528 + 0.0*i,
    -0.325746600731907 + 0.0*i,
    -0.100097018370951 + 0.0*i,
    0.222417491344449 + 0.0*i,
    -0.141027595140604 + 0.0*i,
    -0.243091021309318 + 0.0*i,
    0.860892357794499 + 0.0*i,
    -0.527790853153772 + 0.0*i,
    0.75125677624012 + 0.0*i,
    0.235405195925872 + 0.0*i,
    0.128655407142345 + 0.0*i,
    0.793636151468883 + 0.0*i,
    -0.175353153599443 + 0.0*i,
    -0.525545145256398 + 0.0*i,
    1.06366488409834 + 0.0*i,
    -0.855012196517605 + 0.0*i,
    -0.913725555567317 + 0.0*i,
    -0.514787762169131 + 0.0*i,
    -0.557692715746343 + 0.0*i,
    0.441033225010756 + 0.0*i,
    -0.98437771252761 + 0.0*i,
    0.568402180357803 + 0.0*i,
    0.38555159568416 + 0.0*i,
    -0.873247858994924 + 0.0*i,
    -0.696838525778872 + 0.0*i,
    -0.328683083278631 + 0.0*i,
    -0.621019859320713 + 0.0*i,
    -0.233992554122701 + 0.0*i,
    -0.132802611018607 + 0.0*i,
    -0.460681192561975 + 0.0*i,
    -0.356931261722208 + 0.0*i,
    0.169831986962823 + 0.0*i,
    -0.177203086867668 + 0.0*i,
    -0.344159053385668 + 0.0*i,
    -0.0361896980638065 + 0.0*i,
    0.626928729140035 + 0.0*i,
    -0.376332844750075 + 0.0*i,
    0.36612465114972 + 0.0*i,
    0.112015991988721 + 0.0*i,
    0.847954814716204 + 0.0*i,
    -0.0637200700240858 + 0.0*i,
    0.89591675266562 + 0.0*i,
    -0.0432989401560773 + 0.0*i,
    0.266658441788725 + 0.0*i,
    0.969915982911959 + 0.0*i,
    0.295477048856469 + 0.0*i,
    0.503871344060748 + 0.0*i,
    0.127303175331119 + 0.0*i,
    -0.588937505285922 + 0.0*i,
    -0.117786233184986 + 0.0*i,
    1.03468179166386 + 0.0*i,
    0.476275114426211 + 0.0*i,
    0.357298647745868 + 0.0*i,
    0.383942641262659 + 0.0*i,
    0.049532231455809 + 0.0*i,
    -0.495888961131429 + 0.0*i,
    0.152459749408849 + 0.0*i,
    0.558996765033273 + 0.0*i,
    0.347192930330953 + 0.0*i,
    0.892351929509739 + 0.0*i,
    0.211144011730166 + 0.0*i,
    -0.186054183004182 + 0.0*i,
    -0.0437533962468414 + 0.0*i,
    0.246183175434791 + 0.0*i,
    -0.161748347361718 + 0.0*i,
    0.139165371789404 + 0.0*i,
    0.00854051946572529 + 0.0*i,
    -0.643612639125482 + 0.0*i,
    -0.603071982273855 + 0.0*i,
    0.472637196663077 + 0.0*i,
    0.137799051528794 + 0.0*i,
    -0.464289383092997 + 0.0*i,
    -0.285971511364549 + 0.0*i,
    -0.215054169478547 + 0.0*i,
    1.12996944707095 + 0.0*i,
    -0.128411013614631 + 0.0*i,
    -0.13021842510873 + 0.0*i,
    -0.172928209723864 + 0.0*i,
    -0.160865614371153 + 0.0*i,
    -0.114664393740859 + 0.0*i,
    -0.22037419289185 + 0.0*i,
    -0.379350992349044 + 0.0*i,
    0.589767371050386 + 0.0*i,
    0.134344791396265 + 0.0*i,
    0.580376695009299 + 0.0*i,
    0.741014162306832 + 0.0*i,
    0.465640396370844 + 0.0*i,
    -0.346168144632454 + 0.0*i,
    0.394140213671971 + 0.0*i,
    -0.428985103029695 + 0.0*i,
    0.699387959055543 + 0.0*i,
    0.42667968368586 + 0.0*i,
    -0.392997243250366 + 0.0*i,
    0.580009058560245 + 0.0*i,
    -0.423672271987646 + 0.0*i,
    -0.232551892450111 + 0.0*i,
    -0.492685277600099 + 0.0*i,
    -0.638172491567464 + 0.0*i,
    0.421034033677666 + 0.0*i,
    -0.653916744329477 + 0.0*i,
    -0.118234512343684 + 0.0*i,
    -0.169255420405755 + 0.0*i,
    0.600045976655238 + 0.0*i,
    -0.0456733873422296 + 0.0*i,
    -0.857494874326273 + 0.0*i,
    0.0990973417948951 + 0.0*i,
    -0.481359574431022 + 0.0*i,
    -0.0459281558093894 + 0.0*i,
    1.23736285255695 + 0.0*i,
    0.427434328876656 + 0.0*i,
    0.238283976286515 + 0.0*i,
    0.364881502873161 + 0.0*i,
    -0.616457555778904 + 0.0*i,
    -0.440389231198409 + 0.0*i,
    -1.07480763158711 + 0.0*i,
    -0.690850496745104 + 0.0*i,
    -0.475881966120539 + 0.0*i,
    -0.252715592964316 + 0.0*i,
    -0.533110541321409 + 0.0*i,
    -0.227563223234615 + 0.0*i,
    -0.646967447294162 + 0.0*i,
    -0.00564431710232331 + 0.0*i,
    0.34454529902552 + 0.0*i,
    0.329263807232291 + 0.0*i,
    1.38169073444109 + 0.0*i,
    -0.157969527438534 + 0.0*i,
    -0.0797749479701974 + 0.0*i,
    0.284523996806676 + 0.0*i,
    -0.128746506990515 + 0.0*i,
    0.581694590715656 + 0.0*i,
    -0.0464363552637812 + 0.0*i,
    -0.642178263768342 + 0.0*i,
    -0.312821529101251 + 0.0*i,
    0.106930844172649 + 0.0*i,
    -0.00955783068120454 + 0.0*i,
    -0.464766989653828 + 0.0*i,
    -0.87587969502176 + 0.0*i,
    -0.157553221694225 + 0.0*i,
    -0.331682757542781 + 0.0*i,
    -0.708768631856134 + 0.0*i,
    1.31245572650729 + 0.0*i,
    -0.119801631326 + 0.0*i,
    0.205854350723844 + 0.0*i,
    0.300707623678665 + 0.0*i,
    0.497630048773939 + 0.0*i,
    0.348468680666798 + 0.0*i,
    0.243342686197622 + 0.0*i,
    0.535239031506409 + 0.0*i,
    -0.524067498036644 + 0.0*i,
    -0.404047993151324 + 0.0*i,
    0.394752936622323 + 0.0*i,
    -0.633512078226728 + 0.0*i,
    -0.315080309624778 + 0.0*i,
    -0.431111987133491 + 0.0*i,
    -0.780988474808321 + 0.0*i,
    -1.02385248901307 + 0.0*i,
    -0.889200420811748 + 0.0*i,
    0.455468071192871 + 0.0*i,
    0.315137635117556 + 0.0*i,
    -0.235404611187239 + 0.0*i,
    -0.143439920671722 + 0.0*i,
    -0.229113965076084 + 0.0*i,
    0.44552904004023 + 0.0*i,
    -0.691273142572876 + 0.0*i,
    -0.212669838821236 + 0.0*i,
    -0.362190370533793 + 0.0*i,
    -0.233348076130121 + 0.0*i,
    -0.456098886983143 + 0.0*i,
    0.172549447368543 + 0.0*i,
    -0.37678986465035 + 0.0*i,
    0.11009456001027 + 0.0*i,
    -0.1899435416397 + 0.0*i,
    -0.590388977594935 + 0.0*i,
    -0.199239354311501 + 0.0*i,
    0.557700717657487 + 0.0*i,
    -0.430823346878932 + 0.0*i,
    0.337515726461691 + 0.0*i,
    -0.342461985441915 + 0.0*i,
    0.666733629173669 + 0.0*i,
    0.628065964537137 + 0.0*i,
    -0.41722046052123 + 0.0*i,
    -0.617890911425527 + 0.0*i,
    0.133139706010402 + 0.0*i,
    0.370002401062409 + 0.0*i,
    0.0260693919181037 + 0.0*i,
    -0.439891751841987 + 0.0*i,
    -0.109040370281467 + 0.0*i,
    -0.107828404985753 + 0.0*i,
    -0.17874415514314 + 0.0*i,
    -0.594260255187333 + 0.0*i,
    -1.02351393788917 + 0.0*i,
    -0.402550484491464 + 0.0*i,
    0.304104378917576 + 0.0*i,
    -0.273325363975073 + 0.0*i,
    0.209735069264434 + 0.0*i,
    0.188007290222157 + 0.0*i,
    -0.475631810834764 + 0.0*i,
    -0.620000595667172 + 0.0*i,
    0.810366352990395 + 0.0*i,
    -0.227692886128959 + 0.0*i,
    -0.192677185456552 + 0.0*i,
    -0.354822186891875 + 0.0*i,
    0.798364396776146 + 0.0*i,
    0.167894079465044 + 0.0*i,
    0.192119189998447 + 0.0*i,
    -0.345259867674082 + 0.0*i,
    -0.0523220513682798 + 0.0*i,
    0.546243535862376 + 0.0*i,
    -0.603388428984959 + 0.0*i,
    -0.524972372294216 + 0.0*i,
    -0.420504124576055 + 0.0*i,
    -1.31689121264478 + 0.0*i,
    0.375235914247361 + 0.0*i,
    -0.0172959216238983 + 0.0*i,
    0.606450734485647 + 0.0*i,
    -0.417912591823596 + 0.0*i,
    -0.0892808155480926 + 0.0*i,
    -0.358226450922103 + 0.0*i,
    -0.219893612526653 + 0.0*i,
    -0.295445525946954 + 0.0*i,
    0.63320526156328 + 0.0*i,
    0.39482731864565 + 0.0*i,
    0.599364279408533 + 0.0*i,
    0.608538768572911 + 0.0*i,
    0.584208016910305 + 0.0*i,
    -0.11387064425909 + 0.0*i,
    0.106909243685525 + 0.0*i,
    0.580360216481404 + 0.0*i,
    0.266405871080306 + 0.0*i,
    0.802998805194447 + 0.0*i,
    0.258387277225066 + 0.0*i,
    0.082095207532172 + 0.0*i,
    0.277074429453126 + 0.0*i,
    0.432069380103532 + 0.0*i,
    0.00538007307800994 + 0.0*i,
    0.270299631012122 + 0.0*i,
    0.14332341349682 + 0.0*i,
    -0.606464700825052 + 0.0*i,
    -0.776222782571786 + 0.0*i,
    -0.21276323155439 + 0.0*i,
    -0.48587538683704 + 0.0*i,
    0.266651487927757 + 0.0*i,
    -0.313809926677287 + 0.0*i,
    -1.12579245025929 + 0.0*i,
    0.415232644758389 + 0.0*i,
    0.31026254940866 + 0.0*i,
    0.133396113230661 + 0.0*i,
    -0.40415371178904 + 0.0*i,
    -0.705443956599739 + 0.0*i,
    -0.641257665512065 + 0.0*i,
    0.254713370714206 + 0.0*i,
    -0.460372745887235 + 0.0*i,
    -0.163723814561081 + 0.0*i,
    0.00576733203158475 + 0.0*i,
    -0.681938046981653 + 0.0*i,
    0.37559399427574 + 0.0*i,
    0.863485399128998 + 0.0*i,
    0.711488792742385 + 0.0*i,
    -0.684872542589635 + 0.0*i,
    0.39216985000229 + 0.0*i,
    -0.2492833721574 + 0.0*i,
    -1.2123180412805 + 0.0*i,
    -0.00411177639670493 + 0.0*i,
    -0.322730558434035 + 0.0*i,
    -0.0385883050791949 + 0.0*i,
    -1.23027706386794 + 0.0*i,
    -0.3278007953684 + 0.0*i,
    0.112250146409516 + 0.0*i,
    0.554199713129067 + 0.0*i,
    0.0881514027241927 + 0.0*i,
    -0.385804370579815 + 0.0*i,
    -0.395783284510843 + 0.0*i,
    0.161304875227477 + 0.0*i,
    1.0083642859509 + 0.0*i,
    -0.371144375290391 + 0.0*i,
    -0.849170678730106 + 0.0*i,
    0.425480631877508 + 0.0*i,
    -0.650474013274101 + 0.0*i,
    -0.550063884646401 + 0.0*i,
    -0.261305667658219 + 0.0*i,
    0.759197254115443 + 0.0*i,
    0.166477395838566 + 0.0*i,
    0.553212456776792 + 0.0*i,
    0.100280467053749 + 0.0*i,
    0.343980893144297 + 0.0*i,
    -0.123185576899754 + 0.0*i,
    -0.0871984605566806 + 0.0*i,
    -0.0423815741339118 + 0.0*i,
    0.577634347993211 + 0.0*i,
    0.404729558444049 + 0.0*i,
    0.882827237820962 + 0.0*i,
    0.825460661612804 + 0.0*i,
    0.604543527127082 + 0.0*i,
    0.210173962975602 + 0.0*i,
    0.525343727282982 + 0.0*i,
    -0.114407874066599 + 0.0*i,
    -0.202324671422836 + 0.0*i,
    -0.0261230856718385 + 0.0*i,
    -0.49568704781583 + 0.0*i
]);