V:=Matrix(CC,4,87,[
    0.566226543106741 + 0.0*i,
    -0.327702156543207 + 0.0*i,
    1.18905709266753 + 0.0*i,
    -0.31238803228462 + 0.0*i,
    0.266217701992422 + 0.0*i,
    0.401248108560361 + 0.0*i,
    -0.221600211791236 + 0.0*i,
    0.534712248662968 + 0.0*i,
    0.306355184805164 + 0.0*i,
    -0.501401978079682 + 0.0*i,
    0.793351305004968 + 0.0*i,
    1.18389079647725 + 0.0*i,
    -0.423372582226069 + 0.0*i,
    -0.990631170919315 + 0.0*i,
    -0.506049624855385 + 0.0*i,
    0.166053437256351 + 0.0*i,
    0.280914305292787 + 0.0*i,
    0.252032850102228 + 0.0*i,
    -0.0668444248623405 + 0.0*i,
    -0.57376499650709 + 0.0*i,
    -0.0283466516772456 + 0.0*i,
    -0.250677314589121 + 0.0*i,
    -0.700220229576799 + 0.0*i,
    -0.665857015497794 + 0.0*i,
    -0.381699670122951 + 0.0*i,
    -0.244492352216113 + 0.0*i,
    0.286591546985675 + 0.0*i,
    0.304323051511896 + 0.0*i,
    0.336442987142363 + 0.0*i,
    1.08803805293073 + 0.0*i,
    -0.882613206706449 + 0.0*i,
    -0.261628387192712 + 0.0*i,
    -0.414538996387148 + 0.0*i,
    -0.435098935337265 + 0.0*i,
    0.107253285885814 + 0.0*i,
    0.263682144976592 + 0.0*i,
    -0.342574681154823 + 0.0*i,
    0.270720228518158 + 0.0*i,
    -0.877519749340356 + 0.0*i,
    0.0164490718390538 + 0.0*i,
    -0.12295759417738 + 0.0*i,
    -0.38862797439121 + 0.0*i,
    -1.06007669211938 + 0.0*i,
    -1.04419239212201 + 0.0*i,
    0.0756356320934925 + 0.0*i,
    0.151768305390942 + 0.0*i,
    -0.457993425294321 + 0.0*i,
    -0.463580900847976 + 0.0*i,
    -0.452236114119208 + 0.0*i,
    0.310609535365561 + 0.0*i,
    0.476305748424707 + 0.0*i,
    -0.604524956184359 + 0.0*i,
    0.149000944669418 + 0.0*i,
    -0.373912988993222 + 0.0*i,
    0.295545037592353 + 0.0*i,
    -0.303180507679338 + 0.0*i,
    -0.687351044587971 + 0.0*i,
    -0.249614564092692 + 0.0*i,
    0.464904886067846 + 0.0*i,
    0.179474309152677 + 0.0*i,
    -0.0639819784369692 + 0.0*i,
    0.00511315033845029 + 0.0*i,
    -0.00661834162800359 + 0.0*i,
    0.161051064181964 + 0.0*i,
    -0.0405250452162577 + 0.0*i,
    -0.84411127607599 + 0.0*i,
    0.737027193915939 + 0.0*i,
    -0.30499665746941 + 0.0*i,
    -0.777925300194752 + 0.0*i,
    -0.201469449507441 + 0.0*i,
    0.0570198606548596 + 0.0*i,
    0.478894339708302 + 0.0*i,
    0.072009228660991 + 0.0*i,
    0.159210074055654 + 0.0*i,
    0.953364935116135 + 0.0*i,
    -0.089149059490244 + 0.0*i,
    -0.80537035877214 + 0.0*i,
    0.397171550166483 + 0.0*i,
    -0.449690129026603 + 0.0*i,
    0.395516492278982 + 0.0*i,
    0.00705945804870058 + 0.0*i,
    0.262163451168007 + 0.0*i,
    -0.0638902677896593 + 0.0*i,
    0.18938015906127 + 0.0*i,
    0.722255706542802 + 0.0*i,
    -0.707453196987107 + 0.0*i,
    -0.682455761081837 + 0.0*i,
    0.240350125422951 + 0.0*i,
    -0.338142029502886 + 0.0*i,
    0.157844669935211 + 0.0*i,
    0.329917883805977 + 0.0*i,
    -0.18124830343712 + 0.0*i,
    0.636363251886122 + 0.0*i,
    -0.434042079399218 + 0.0*i,
    -0.269298899159315 + 0.0*i,
    0.333755315029276 + 0.0*i,
    -0.228233322485297 + 0.0*i,
    -0.994504227816878 + 0.0*i,
    -0.234854368127517 + 0.0*i,
    0.686864576008519 + 0.0*i,
    -0.308317561553929 + 0.0*i,
    0.891974738039191 + 0.0*i,
    0.119857123536362 + 0.0*i,
    0.215991588757592 + 0.0*i,
    0.492376576251402 + 0.0*i,
    -0.160835656656892 + 0.0*i,
    1.215418635612 + 0.0*i,
    -0.274668024326927 + 0.0*i,
    -0.632730826835779 + 0.0*i,
    -0.725051078978546 + 0.0*i,
    -0.113296438334482 + 0.0*i,
    -0.176079428849262 + 0.0*i,
    -0.486806405023702 + 0.0*i,
    -0.374745324496783 + 0.0*i,
    -0.248041245582899 + 0.0*i,
    -0.146863593961887 + 0.0*i,
    0.0176658594788362 + 0.0*i,
    -0.255703107389517 + 0.0*i,
    0.15030322655879 + 0.0*i,
    -0.623393419773185 + 0.0*i,
    -0.697354816900459 + 0.0*i,
    0.467925240286392 + 0.0*i,
    0.0552632817855701 + 0.0*i,
    0.400334748631022 + 0.0*i,
    -1.01804855448796 + 0.0*i,
    0.256088956842179 + 0.0*i,
    0.0116718562852741 + 0.0*i,
    -0.99647493478379 + 0.0*i,
    -0.294493200331661 + 0.0*i,
    0.373361561428474 + 0.0*i,
    -0.246840363395173 + 0.0*i,
    0.396473489132979 + 0.0*i,
    0.0926835929907871 + 0.0*i,
    0.190922112707469 + 0.0*i,
    0.438767418950532 + 0.0*i,
    -0.227655205918943 + 0.0*i,
    0.290790004188283 + 0.0*i,
    0.270546520556001 + 0.0*i,
    -0.405168410119634 + 0.0*i,
    -0.118272129146419 + 0.0*i,
    -0.80011036809226 + 0.0*i,
    0.678294426085033 + 0.0*i,
    -1.10487108922832 + 0.0*i,
    -0.0169007905092221 + 0.0*i,
    0.56806926915842 + 0.0*i,
    -0.345280268727727 + 0.0*i,
    -0.0611824311510573 + 0.0*i,
    0.647404644644826 + 0.0*i,
    -0.0916136026920998 + 0.0*i,
    0.38335002668698 + 0.0*i,
    0.0831891526058005 + 0.0*i,
    -0.241530412550201 + 0.0*i,
    -0.746347108810669 + 0.0*i,
    0.0137271110269173 + 0.0*i,
    -0.718540764386463 + 0.0*i,
    -0.031964639743179 + 0.0*i,
    0.456763736066459 + 0.0*i,
    0.226122244143895 + 0.0*i,
    0.351902620429622 + 0.0*i,
    1.10760129250066 + 0.0*i,
    0.00117943204777634 + 0.0*i,
    -0.277613635361931 + 0.0*i,
    0.0154240135332775 + 0.0*i,
    0.0806960960590708 + 0.0*i,
    0.483081403358319 + 0.0*i,
    0.116188244095902 + 0.0*i,
    -0.0270495270385673 + 0.0*i,
    -0.114245462740089 + 0.0*i,
    -0.238365554039817 + 0.0*i,
    -0.41094022765118 + 0.0*i,
    -0.203702447160066 + 0.0*i,
    -0.721435661608532 + 0.0*i,
    0.450965217865962 + 0.0*i,
    -0.00357139118372704 + 0.0*i,
    0.0215760952603154 + 0.0*i,
    -0.371429892223152 + 0.0*i,
    -0.800091640808656 + 0.0*i,
    0.769175998729408 + 0.0*i,
    0.722962688696397 + 0.0*i,
    -0.336605681787354 + 0.0*i,
    -0.394595610482546 + 0.0*i,
    -0.708421296574701 + 0.0*i,
    -0.12961587368782 + 0.0*i,
    0.1639829183947 + 0.0*i,
    -0.125546642806485 + 0.0*i,
    -0.406151681637335 + 0.0*i,
    -0.0043431495808052 + 0.0*i,
    -0.827304775805313 + 0.0*i,
    0.43919557821216 + 0.0*i,
    -0.123284033097216 + 0.0*i,
    -0.0579182272201028 + 0.0*i,
    0.509281037172223 + 0.0*i,
    0.333391899474504 + 0.0*i,
    0.175689409240008 + 0.0*i,
    0.39207232086144 + 0.0*i,
    0.733382454666441 + 0.0*i,
    0.39361864509639 + 0.0*i,
    0.639677101130147 + 0.0*i,
    -0.36565044225095 + 0.0*i,
    0.183690139070874 + 0.0*i,
    0.0555759693427715 + 0.0*i,
    -0.789748929356372 + 0.0*i,
    0.107797203046268 + 0.0*i,
    -0.494873312722603 + 0.0*i,
    -0.374939976879414 + 0.0*i,
    -0.34329556251184 + 0.0*i,
    0.258528447610964 + 0.0*i,
    0.45937500027201 + 0.0*i,
    0.786054096851292 + 0.0*i,
    0.0828004935148397 + 0.0*i,
    -1.23828258024201 + 0.0*i,
    -0.0854424632832402 + 0.0*i,
    -0.375745494862457 + 0.0*i,
    0.893367840732098 + 0.0*i,
    -0.414986435278536 + 0.0*i,
    -0.188222086563915 + 0.0*i,
    -0.708791156551131 + 0.0*i,
    -0.508575502420073 + 0.0*i,
    0.811047555058322 + 0.0*i,
    -0.0801134589747787 + 0.0*i,
    -0.113139931731078 + 0.0*i,
    -0.241846161878257 + 0.0*i,
    0.341126820630676 + 0.0*i,
    -0.374579201434215 + 0.0*i,
    -0.295217464700198 + 0.0*i,
    -0.0584360043126555 + 0.0*i,
    0.286892912274837 + 0.0*i,
    0.898782006672676 + 0.0*i,
    0.261360438007702 + 0.0*i,
    -0.074737407199521 + 0.0*i,
    0.152332239139915 + 0.0*i,
    0.913653791785373 + 0.0*i,
    0.202847855555046 + 0.0*i,
    0.172157659038905 + 0.0*i,
    -1.00729741350456 + 0.0*i,
    0.646009487230626 + 0.0*i,
    0.61807053877169 + 0.0*i,
    -0.770318619529941 + 0.0*i,
    0.528737157737448 + 0.0*i,
    0.31338284230624 + 0.0*i,
    -0.442329943210619 + 0.0*i,
    -1.26458898132518 + 0.0*i,
    -0.581320499223374 + 0.0*i,
    -0.250930882833338 + 0.0*i,
    -0.956173389700404 + 0.0*i,
    -0.645189217083089 + 0.0*i,
    -0.0360909693337711 + 0.0*i,
    0.169829515202571 + 0.0*i,
    -0.470777848173121 + 0.0*i,
    -0.272581141700727 + 0.0*i,
    -0.0461560464524627 + 0.0*i,
    0.199212332158129 + 0.0*i,
    0.772451548402187 + 0.0*i,
    -0.132349097577737 + 0.0*i,
    0.350981273635348 + 0.0*i,
    0.390991732812775 + 0.0*i,
    0.453891456407033 + 0.0*i,
    -0.74272765272344 + 0.0*i,
    0.184120910403053 + 0.0*i,
    0.052544395588753 + 0.0*i,
    -0.0794916790808491 + 0.0*i,
    1.00476232405221 + 0.0*i,
    -0.245356012464821 + 0.0*i,
    -0.054662817844383 + 0.0*i,
    -0.0489252621365541 + 0.0*i,
    0.303223603417712 + 0.0*i,
    -0.0832628892821695 + 0.0*i,
    1.46309398752637 + 0.0*i,
    0.433473840132011 + 0.0*i,
    -1.00135158585011 + 0.0*i,
    0.368386132766512 + 0.0*i,
    -0.237560162247984 + 0.0*i,
    -0.0283918594063724 + 0.0*i,
    0.0379775821345462 + 0.0*i,
    0.589624110490635 + 0.0*i,
    0.624485512171012 + 0.0*i,
    0.20901172631238 + 0.0*i,
    0.334970551641252 + 0.0*i,
    0.732142652246582 + 0.0*i,
    -0.0299325226183355 + 0.0*i,
    -0.345971682325954 + 0.0*i,
    0.529036716777843 + 0.0*i,
    0.0330669257889331 + 0.0*i,
    -0.705007762573095 + 0.0*i,
    0.049592406590387 + 0.0*i,
    -0.482716328710614 + 0.0*i,
    -0.300069775147854 + 0.0*i,
    0.110009324964822 + 0.0*i,
    -0.221092671092576 + 0.0*i,
    0.386943906952101 + 0.0*i,
    0.559716455933508 + 0.0*i,
    -0.0118141186035247 + 0.0*i,
    -0.741294782788694 + 0.0*i,
    0.592431104163002 + 0.0*i,
    -0.984636553850807 + 0.0*i,
    -0.721448136626482 + 0.0*i,
    -0.652191721073098 + 0.0*i,
    0.577253621966241 + 0.0*i,
    0.673516246583943 + 0.0*i,
    0.903744539152762 + 0.0*i,
    0.31285096427248 + 0.0*i,
    -0.58630150907059 + 0.0*i,
    -0.694378934673388 + 0.0*i,
    -0.482805707366262 + 0.0*i,
    -0.0509330512781528 + 0.0*i,
    0.658785814988483 + 0.0*i,
    -0.436748483791732 + 0.0*i,
    -0.0529623201605703 + 0.0*i,
    -0.903047228649167 + 0.0*i,
    -0.426361958650771 + 0.0*i,
    -0.470173658851192 + 0.0*i,
    -0.169582627186845 + 0.0*i,
    -0.283261101839329 + 0.0*i,
    0.250502352632769 + 0.0*i,
    0.223641244231764 + 0.0*i,
    -0.325637559824027 + 0.0*i,
    -0.183645204342514 + 0.0*i,
    0.234726021711104 + 0.0*i,
    0.275318187430786 + 0.0*i,
    -0.331817515767302 + 0.0*i,
    0.299045416299006 + 0.0*i,
    -0.133460700351142 + 0.0*i,
    0.47537008204861 + 0.0*i,
    0.194422395529098 + 0.0*i,
    0.435439064377343 + 0.0*i,
    0.664876982890143 + 0.0*i,
    -0.0352775675477161 + 0.0*i,
    -0.925062450544691 + 0.0*i,
    0.216594190423464 + 0.0*i,
    -0.674056332244579 + 0.0*i,
    -0.471478117169734 + 0.0*i,
    -0.71164363259932 + 0.0*i,
    -0.402255159105346 + 0.0*i,
    0.253346487583293 + 0.0*i,
    -0.346116216841253 + 0.0*i,
    0.135990640321205 + 0.0*i,
    0.182742500598202 + 0.0*i,
    0.228424477835997 + 0.0*i,
    0.782701285265727 + 0.0*i,
    -0.197258450687595 + 0.0*i,
    -0.384479804425584 + 0.0*i,
    0.86721581705893 + 0.0*i,
    0.882552145965242 + 0.0*i,
    0.424541590383859 + 0.0*i,
    -0.832203203452392 + 0.0*i,
    0.601722266180464 + 0.0*i,
    0.119398367626725 + 0.0*i,
    0.396512694453028 + 0.0*i
]);