V:=Matrix(CC,4,89,[
    0.402992422573746 + 0.0*i,
    -0.0434824091651465 + 0.0*i,
    0.358780916823091 + 0.0*i,
    0.874438322116923 + 0.0*i,
    -0.104988538178235 + 0.0*i,
    -0.285288658230183 + 0.0*i,
    0.469801969020802 + 0.0*i,
    0.246192274433646 + 0.0*i,
    0.219113079982171 + 0.0*i,
    1.10779318328261 + 0.0*i,
    0.566703012163528 + 0.0*i,
    -0.0361770958590128 + 0.0*i,
    0.495277533175412 + 0.0*i,
    -0.045022105767806 + 0.0*i,
    0.00383619192580667 + 0.0*i,
    0.198648567783755 + 0.0*i,
    0.130847558268726 + 0.0*i,
    -0.0804195177115001 + 0.0*i,
    0.845094374661194 + 0.0*i,
    0.298382616978115 + 0.0*i,
    -0.293568540568871 + 0.0*i,
    -0.517875699688439 + 0.0*i,
    0.661512096758602 + 0.0*i,
    -0.146823892135914 + 0.0*i,
    0.302070589361882 + 0.0*i,
    0.245299287080078 + 0.0*i,
    0.271699257727038 + 0.0*i,
    0.20360360250895 + 0.0*i,
    0.592891581613223 + 0.0*i,
    0.578800319542 + 0.0*i,
    0.201247201416982 + 0.0*i,
    0.302280996365161 + 0.0*i,
    0.351584118400357 + 0.0*i,
    0.529564182639248 + 0.0*i,
    0.0427481278553073 + 0.0*i,
    -0.615694730053906 + 0.0*i,
    0.482039467701056 + 0.0*i,
    0.259130437228068 + 0.0*i,
    1.01119672330618 + 0.0*i,
    -0.591089464391864 + 0.0*i,
    -0.70395247880876 + 0.0*i,
    -0.24310559719533 + 0.0*i,
    0.0767822137501426 + 0.0*i,
    -0.866109887938343 + 0.0*i,
    0.536857263915719 + 0.0*i,
    0.552465076473645 + 0.0*i,
    -0.46589477999271 + 0.0*i,
    -0.257187339822388 + 0.0*i,
    0.50368071890241 + 0.0*i,
    -0.882455654432333 + 0.0*i,
    0.0930007241906988 + 0.0*i,
    0.0112315997294818 + 0.0*i,
    0.153408836264358 + 0.0*i,
    -0.391208418366975 + 0.0*i,
    0.569334066831362 + 0.0*i,
    -0.199740630581628 + 0.0*i,
    -0.558660656175975 + 0.0*i,
    0.39444672911746 + 0.0*i,
    -0.567687820226245 + 0.0*i,
    -0.0255971900121759 + 0.0*i,
    -0.205426428769162 + 0.0*i,
    0.0961909819593769 + 0.0*i,
    0.16723429623061 + 0.0*i,
    1.22821022364749 + 0.0*i,
    0.351031737560358 + 0.0*i,
    -0.680115212291897 + 0.0*i,
    -0.128270126193652 + 0.0*i,
    -0.0779433104287215 + 0.0*i,
    0.267272730649023 + 0.0*i,
    0.725467333702532 + 0.0*i,
    -0.0710951004056326 + 0.0*i,
    -0.454002464804831 + 0.0*i,
    -0.0167295401906268 + 0.0*i,
    -0.125866902263777 + 0.0*i,
    -0.590229799233808 + 0.0*i,
    -0.743628576720721 + 0.0*i,
    -0.0855569787810522 + 0.0*i,
    -0.175957037248246 + 0.0*i,
    0.00769956030302017 + 0.0*i,
    -0.365034298546485 + 0.0*i,
    -0.210756605213657 + 0.0*i,
    -0.235449867396793 + 0.0*i,
    -0.374702067479229 + 0.0*i,
    -0.0479287105467865 + 0.0*i,
    0.294170582123043 + 0.0*i,
    0.677784864063375 + 0.0*i,
    0.836279875651477 + 0.0*i,
    0.402554705438423 + 0.0*i,
    -0.0974952376565145 + 0.0*i,
    1.00710095305108 + 0.0*i,
    0.672471036617678 + 0.0*i,
    0.401269296790297 + 0.0*i,
    0.0485257397557109 + 0.0*i,
    0.106614779490174 + 0.0*i,
    0.456639143629781 + 0.0*i,
    0.939379008337235 + 0.0*i,
    -0.0181337351916158 + 0.0*i,
    -0.0859919783171607 + 0.0*i,
    -0.16911069386563 + 0.0*i,
    0.914377352128903 + 0.0*i,
    -0.995306680856113 + 0.0*i,
    0.0424875809430222 + 0.0*i,
    -0.110864946500858 + 0.0*i,
    -0.447864821847594 + 0.0*i,
    -0.481530052505033 + 0.0*i,
    -0.183556400982448 + 0.0*i,
    -0.555351826047411 + 0.0*i,
    -0.237860413224313 + 0.0*i,
    0.314783025420751 + 0.0*i,
    -0.472794559923798 + 0.0*i,
    0.162791501133258 + 0.0*i,
    0.115424282212835 + 0.0*i,
    -0.331573528822262 + 0.0*i,
    -0.627360797503944 + 0.0*i,
    0.210822897297064 + 0.0*i,
    -0.27320930734907 + 0.0*i,
    -0.901919517796165 + 0.0*i,
    0.901638629025507 + 0.0*i,
    -0.768958055156952 + 0.0*i,
    -1.06069409693033 + 0.0*i,
    -0.553244291769039 + 0.0*i,
    -0.130066731998157 + 0.0*i,
    -0.746737035640308 + 0.0*i,
    -0.231742326761576 + 0.0*i,
    -0.491431297336878 + 0.0*i,
    0.764836541501914 + 0.0*i,
    -0.0327896007711475 + 0.0*i,
    0.655973255967203 + 0.0*i,
    -0.772263063213038 + 0.0*i,
    0.0869674987132887 + 0.0*i,
    -0.945519817247859 + 0.0*i,
    -1.21095909650336 + 0.0*i,
    0.0473609668454867 + 0.0*i,
    -0.00166642919234633 + 0.0*i,
    1.0473071350697 + 0.0*i,
    -0.134569955457435 + 0.0*i,
    -0.0157103736691961 + 0.0*i,
    0.412409204236742 + 0.0*i,
    0.966026175112812 + 0.0*i,
    0.123608501617066 + 0.0*i,
    -0.727852567960634 + 0.0*i,
    -0.191986216848332 + 0.0*i,
    -0.635005020446711 + 0.0*i,
    0.0855317928810456 + 0.0*i,
    0.0272164158925688 + 0.0*i,
    -0.460551818605904 + 0.0*i,
    0.0647426788172865 + 0.0*i,
    0.777181174381153 + 0.0*i,
    -0.829664772294903 + 0.0*i,
    0.902948468792905 + 0.0*i,
    0.263285828401263 + 0.0*i,
    -0.210965563981964 + 0.0*i,
    0.0495008978359912 + 0.0*i,
    -0.0153188332814053 + 0.0*i,
    0.741254667666709 + 0.0*i,
    0.915169195185989 + 0.0*i,
    0.751375859035375 + 0.0*i,
    -0.0846154765257488 + 0.0*i,
    -0.233423709704558 + 0.0*i,
    0.246404208650739 + 0.0*i,
    0.0107424915790677 + 0.0*i,
    0.132497805950446 + 0.0*i,
    -0.584491795718752 + 0.0*i,
    0.41923884385149 + 0.0*i,
    -0.134180586697634 + 0.0*i,
    0.463599152077792 + 0.0*i,
    0.266525321779744 + 0.0*i,
    -0.588652832725067 + 0.0*i,
    0.386147499378459 + 0.0*i,
    -0.596340584692297 + 0.0*i,
    0.453519239322569 + 0.0*i,
    0.163571165481741 + 0.0*i,
    -0.532535335752158 + 0.0*i,
    0.472356799007952 + 0.0*i,
    -0.799756441637768 + 0.0*i,
    0.448257205128495 + 0.0*i,
    0.347455138493881 + 0.0*i,
    -0.844481686911455 + 0.0*i,
    0.067147590537115 + 0.0*i,
    -0.502059513477156 + 0.0*i,
    0.710956333504216 + 0.0*i,
    -0.257755214598132 + 0.0*i,
    -0.0318305809048528 + 0.0*i,
    0.610066940162487 + 0.0*i,
    -0.24906370132603 + 0.0*i,
    -0.92390333836946 + 0.0*i,
    -0.0911880415831787 + 0.0*i,
    0.344014709846765 + 0.0*i,
    -0.249085693235446 + 0.0*i,
    -0.475215266033306 + 0.0*i,
    -0.318203291793136 + 0.0*i,
    -0.118571998743134 + 0.0*i,
    1.09755397977807 + 0.0*i,
    -0.00720368651812094 + 0.0*i,
    0.110123338776671 + 0.0*i,
    0.614319320445988 + 0.0*i,
    -0.749568205479746 + 0.0*i,
    0.257848503064224 + 0.0*i,
    0.840695362112504 + 0.0*i,
    0.886037563869891 + 0.0*i,
    0.263112693027014 + 0.0*i,
    0.577992021527403 + 0.0*i,
    -0.318749232769145 + 0.0*i,
    -0.0915012124602842 + 0.0*i,
    1.12570368218143 + 0.0*i,
    -0.445981402366823 + 0.0*i,
    0.691893885133405 + 0.0*i,
    0.186972276194508 + 0.0*i,
    -0.547592947125532 + 0.0*i,
    -0.387234896827722 + 0.0*i,
    -1.00544473849916 + 0.0*i,
    -0.0170021445477205 + 0.0*i,
    1.00825532234064 + 0.0*i,
    -0.603617962177161 + 0.0*i,
    -0.465323219279977 + 0.0*i,
    0.231423863067946 + 0.0*i,
    0.290691580654467 + 0.0*i,
    0.205696599909742 + 0.0*i,
    0.0370556537884208 + 0.0*i,
    0.0914669561920774 + 0.0*i,
    0.957977705606204 + 0.0*i,
    0.0925872388777643 + 0.0*i,
    0.0029865274636446 + 0.0*i,
    0.210841371901601 + 0.0*i,
    -0.501770307724986 + 0.0*i,
    0.285612261231749 + 0.0*i,
    0.47714972993868 + 0.0*i,
    -0.320952582461651 + 0.0*i,
    0.527614259684694 + 0.0*i,
    0.184314916694478 + 0.0*i,
    -0.261802671082477 + 0.0*i,
    -0.350906554258059 + 0.0*i,
    0.366477221551064 + 0.0*i,
    0.729232411099383 + 0.0*i,
    -0.0490245881312623 + 0.0*i,
    -0.0984459319562672 + 0.0*i,
    -0.548728999937066 + 0.0*i,
    -0.272036191816864 + 0.0*i,
    -0.106275053511843 + 0.0*i,
    0.00915364656512798 + 0.0*i,
    0.681736027620025 + 0.0*i,
    -0.647870631120424 + 0.0*i,
    0.351412385492327 + 0.0*i,
    0.545734301294128 + 0.0*i,
    0.0667580574713783 + 0.0*i,
    -0.490120228684923 + 0.0*i,
    -0.0265800664829617 + 0.0*i,
    -0.0675966708332659 + 0.0*i,
    0.170217403303024 + 0.0*i,
    0.239681979295656 + 0.0*i,
    -0.658051705034565 + 0.0*i,
    0.362423310421011 + 0.0*i,
    -0.279866765721105 + 0.0*i,
    0.620499794024835 + 0.0*i,
    0.026029524013768 + 0.0*i,
    0.51746945727794 + 0.0*i,
    -0.284893212075721 + 0.0*i,
    0.635783737853586 + 0.0*i,
    -0.980497196504543 + 0.0*i,
    0.0989514551758703 + 0.0*i,
    0.00869270748248408 + 0.0*i,
    0.340793092234158 + 0.0*i,
    0.874120299316041 + 0.0*i,
    0.0341017853262787 + 0.0*i,
    -0.0117628210123742 + 0.0*i,
    -0.489853225571347 + 0.0*i,
    0.131976669585724 + 0.0*i,
    -0.44977062063674 + 0.0*i,
    0.603180254293307 + 0.0*i,
    0.237755702005564 + 0.0*i,
    -0.180934783992606 + 0.0*i,
    0.168239537050894 + 0.0*i,
    -0.769129070117924 + 0.0*i,
    -0.492431434416889 + 0.0*i,
    -0.0511183795432213 + 0.0*i,
    0.318108227327891 + 0.0*i,
    -0.903123508453728 + 0.0*i,
    0.247883246162936 + 0.0*i,
    -0.657440667035178 + 0.0*i,
    -0.43739986335279 + 0.0*i,
    0.075378651193272 + 0.0*i,
    -0.136563088986444 + 0.0*i,
    0.303391782314101 + 0.0*i,
    0.718630131319396 + 0.0*i,
    -0.576481099974392 + 0.0*i,
    0.067352703755194 + 0.0*i,
    -0.00997380118333455 + 0.0*i,
    -0.901904009033199 + 0.0*i,
    0.0195126783905243 + 0.0*i,
    0.244083431827025 + 0.0*i,
    0.253883930711377 + 0.0*i,
    0.00575156150290719 + 0.0*i,
    0.396372194412355 + 0.0*i,
    0.69733212139045 + 0.0*i,
    0.158391230387728 + 0.0*i,
    0.187355681110068 + 0.0*i,
    -0.546329190824548 + 0.0*i,
    0.377969723594193 + 0.0*i,
    0.905896761551377 + 0.0*i,
    0.372342913171936 + 0.0*i,
    0.245528921762028 + 0.0*i,
    -0.489816141343486 + 0.0*i,
    0.415644417592077 + 0.0*i,
    0.268782928914232 + 0.0*i,
    0.633242342501877 + 0.0*i,
    0.680844375609248 + 0.0*i,
    -0.0136583012702089 + 0.0*i,
    -0.735830685385772 + 0.0*i,
    -0.615590729814069 + 0.0*i,
    0.0593091949130694 + 0.0*i,
    -0.121179469328797 + 0.0*i,
    0.00710260513420795 + 0.0*i,
    -0.783722438038695 + 0.0*i,
    -0.350778509289233 + 0.0*i,
    0.487087026877778 + 0.0*i,
    -0.676203641449312 + 0.0*i,
    -0.0160369066190925 + 0.0*i,
    0.0584578439869763 + 0.0*i,
    -0.32534648908006 + 0.0*i,
    0.0342539780144098 + 0.0*i,
    0.455004748160966 + 0.0*i,
    0.0151198182380513 + 0.0*i,
    0.159837109724061 + 0.0*i,
    0.154941214610419 + 0.0*i,
    0.631535550479198 + 0.0*i,
    -0.617543358246831 + 0.0*i,
    0.478579175860576 + 0.0*i,
    -0.171523740066052 + 0.0*i,
    0.246808830249036 + 0.0*i,
    0.444799308668738 + 0.0*i,
    0.0318169540716665 + 0.0*i,
    -0.964408450797565 + 0.0*i,
    0.682409047610516 + 0.0*i,
    -0.740099776003734 + 0.0*i,
    0.495605221736925 + 0.0*i,
    -1.293790416007 + 0.0*i,
    -0.276300761484596 + 0.0*i,
    -0.508871086731047 + 0.0*i,
    0.333254972212496 + 0.0*i,
    1.146820509453 + 0.0*i,
    -0.269404973596596 + 0.0*i,
    -0.115187026313582 + 0.0*i,
    -1.13249056826302 + 0.0*i,
    0.028688446650895 + 0.0*i,
    0.241897339311449 + 0.0*i,
    -0.226166633450458 + 0.0*i,
    0.115947904812796 + 0.0*i,
    -0.318296689938888 + 0.0*i,
    0.243954792329344 + 0.0*i,
    -0.0725631711003332 + 0.0*i,
    -0.657426753983574 + 0.0*i,
    -0.610966247600847 + 0.0*i,
    0.0740605175149674 + 0.0*i,
    1.33705177733165 + 0.0*i,
    0.29821134918066 + 0.0*i,
    0.20122762373608 + 0.0*i
]);