V:=Matrix(CC,4,93,[
    0.198581653963027 + 0.0*i,
    -0.178434913555183 + 0.0*i,
    0.266158760652228 + 0.0*i,
    0.349478277114073 + 0.0*i,
    0.113637888329101 + 0.0*i,
    -0.304824376486141 + 0.0*i,
    0.121829244468898 + 0.0*i,
    -0.0384146568709485 + 0.0*i,
    -0.254846727814495 + 0.0*i,
    -0.142677111558345 + 0.0*i,
    -0.330770732566896 + 0.0*i,
    0.418002332574149 + 0.0*i,
    -0.0267545625127611 + 0.0*i,
    -0.191482669957696 + 0.0*i,
    0.274583353897222 + 0.0*i,
    -0.374741097178828 + 0.0*i,
    -0.315024244062049 + 0.0*i,
    0.29675629005536 + 0.0*i,
    -0.0691168238752379 + 0.0*i,
    0.134965817192212 + 0.0*i,
    0.195831469743035 + 0.0*i,
    -0.399899326935819 + 0.0*i,
    -0.304280452335752 + 0.0*i,
    0.268980018897309 + 0.0*i,
    0.206387239240061 + 0.0*i,
    0.0731029011854313 + 0.0*i,
    -0.294511280937167 + 0.0*i,
    -0.171102787553066 + 0.0*i,
    0.230742579824155 + 0.0*i,
    0.129130659338117 + 0.0*i,
    0.179586870903264 + 0.0*i,
    -0.0223691367240582 + 0.0*i,
    -0.265083114888867 + 0.0*i,
    0.100597080592311 + 0.0*i,
    0.0100649961031222 + 0.0*i,
    0.338275581339859 + 0.0*i,
    -0.196889858652382 + 0.0*i,
    0.329619366785789 + 0.0*i,
    0.114072280982333 + 0.0*i,
    -0.319581152340866 + 0.0*i,
    -0.198870367753701 + 0.0*i,
    0.201670971792225 + 0.0*i,
    -0.101731134758826 + 0.0*i,
    0.359067738485034 + 0.0*i,
    0.00185080980498983 + 0.0*i,
    0.309372887591446 + 0.0*i,
    -0.0712919013316342 + 0.0*i,
    -0.0430883996844546 + 0.0*i,
    -0.0923814745911746 + 0.0*i,
    0.0695401728657519 + 0.0*i,
    0.00908400236717522 + 0.0*i,
    -0.230680884110716 + 0.0*i,
    0.0153908381093821 + 0.0*i,
    -0.362461183208682 + 0.0*i,
    0.180978721297713 + 0.0*i,
    -0.0637288132871462 + 0.0*i,
    -0.193582013689649 + 0.0*i,
    -0.177926277238424 + 0.0*i,
    0.102117907355605 + 0.0*i,
    0.00395294795688783 + 0.0*i,
    0.306825156546201 + 0.0*i,
    -0.121482417509847 + 0.0*i,
    0.0231439486345755 + 0.0*i,
    0.157401496914959 + 0.0*i,
    0.253251160730854 + 0.0*i,
    0.0474099339664866 + 0.0*i,
    0.0998854355781832 + 0.0*i,
    -0.100224600567232 + 0.0*i,
    0.0076394324830703 + 0.0*i,
    0.222101034179056 + 0.0*i,
    0.157121921634595 + 0.0*i,
    0.228851276288598 + 0.0*i,
    0.0138253918970544 + 0.0*i,
    -0.0713814266439215 + 0.0*i,
    -0.211952348353023 + 0.0*i,
    -0.40436172698222 + 0.0*i,
    0.203188908218337 + 0.0*i,
    0.000955531159600674 + 0.0*i,
    0.165413512027401 + 0.0*i,
    -0.0382682426842172 + 0.0*i,
    -0.0166980250670217 + 0.0*i,
    -0.277698280151475 + 0.0*i,
    0.27481171049816 + 0.0*i,
    -0.0663470446344164 + 0.0*i,
    -0.368184873878966 + 0.0*i,
    -0.187555272991003 + 0.0*i,
    0.112084716345055 + 0.0*i,
    0.349512314969018 + 0.0*i,
    -0.100061693310103 + 0.0*i,
    -0.300240470959599 + 0.0*i,
    -0.198881993422247 + 0.0*i,
    -0.136135479554901 + 0.0*i,
    0.185238608493788 + 0.0*i,
    -0.209268561897542 + 0.0*i,
    0.386143216574002 + 0.0*i,
    -0.266738738960869 + 0.0*i,
    -0.228218906164884 + 0.0*i,
    0.119509165864451 + 0.0*i,
    -0.28199000185942 + 0.0*i,
    -0.0231912251051461 + 0.0*i,
    0.398875058068108 + 0.0*i,
    -0.299357320728869 + 0.0*i,
    -0.326547638958781 + 0.0*i,
    0.220933222898445 + 0.0*i,
    -0.0456562971590695 + 0.0*i,
    -0.384705953117921 + 0.0*i,
    -0.319393876427372 + 0.0*i,
    0.0425978443209034 + 0.0*i,
    -0.0347062829038015 + 0.0*i,
    -0.194813143804211 + 0.0*i,
    0.18875460409116 + 0.0*i,
    0.0722869154691673 + 0.0*i,
    0.399775397838354 + 0.0*i,
    -0.18815441905762 + 0.0*i,
    0.0575346744700389 + 0.0*i,
    -0.127008373861753 + 0.0*i,
    0.0322046818450236 + 0.0*i,
    -0.330287916993222 + 0.0*i,
    -0.252228709646367 + 0.0*i,
    0.145014078157463 + 0.0*i,
    -0.271619033441582 + 0.0*i,
    0.333258375632783 + 0.0*i,
    0.135104341822296 + 0.0*i,
    -0.331838664754831 + 0.0*i,
    0.345808246906754 + 0.0*i,
    0.0705005100455345 + 0.0*i,
    -0.0765301406544278 + 0.0*i,
    -0.0578756141342125 + 0.0*i,
    -0.114477168694292 + 0.0*i,
    -0.0133323488685308 + 0.0*i,
    -0.19643735969829 + 0.0*i,
    -0.257238397568475 + 0.0*i,
    -0.0574861798275608 + 0.0*i,
    0.315832816046957 + 0.0*i,
    0.08883665108368 + 0.0*i,
    -0.138781120684871 + 0.0*i,
    0.00291583226738225 + 0.0*i,
    0.202599179076821 + 0.0*i,
    -0.0135369068481572 + 0.0*i,
    0.0569076527581062 + 0.0*i,
    0.249045397228324 + 0.0*i,
    -0.0626008679379472 + 0.0*i,
    0.216688779199132 + 0.0*i,
    -0.124609480681631 + 0.0*i,
    0.150451103324424 + 0.0*i,
    -0.223206832479998 + 0.0*i,
    -0.107426303404314 + 0.0*i,
    0.0390078101514805 + 0.0*i,
    0.207859363861015 + 0.0*i,
    0.134511487491815 + 0.0*i,
    -0.210099820321618 + 0.0*i,
    -0.323268958467353 + 0.0*i,
    -0.232681549779545 + 0.0*i,
    0.056706526197243 + 0.0*i,
    -0.328798530204559 + 0.0*i,
    0.302093865366444 + 0.0*i,
    -0.135393816182103 + 0.0*i,
    -0.125933684773932 + 0.0*i,
    -0.393833100250871 + 0.0*i,
    0.0342705634497706 + 0.0*i,
    0.0701333322128321 + 0.0*i,
    0.00279243388088769 + 0.0*i,
    -0.0484790572637365 + 0.0*i,
    -0.307456610358774 + 0.0*i,
    -0.136652434426445 + 0.0*i,
    0.130761470207732 + 0.0*i,
    0.0359574167394681 + 0.0*i,
    -0.139885772925682 + 0.0*i,
    -0.134273633344494 + 0.0*i,
    0.081901905258923 + 0.0*i,
    -0.351162724266628 + 0.0*i,
    -0.0655172075570297 + 0.0*i,
    -0.400915934928747 + 0.0*i,
    0.191910967965537 + 0.0*i,
    -0.178133955218458 + 0.0*i,
    -0.2740388751814 + 0.0*i,
    -0.318901023715226 + 0.0*i,
    0.0828239480688446 + 0.0*i,
    -0.159474981948517 + 0.0*i,
    0.273748382594876 + 0.0*i,
    0.186834488193226 + 0.0*i,
    -0.175513030303227 + 0.0*i,
    0.151707604225394 + 0.0*i,
    -0.233798052540407 + 0.0*i,
    0.257278901206512 + 0.0*i,
    0.263120554926974 + 0.0*i,
    0.226908268700627 + 0.0*i,
    0.00553672092907758 + 0.0*i,
    -0.183643184930503 + 0.0*i,
    -0.0257243654754539 + 0.0*i,
    0.0262488340048542 + 0.0*i,
    -0.068387142158728 + 0.0*i,
    0.32690488369774 + 0.0*i,
    -0.0337978798197278 + 0.0*i,
    0.156491771400887 + 0.0*i,
    0.0640655877505352 + 0.0*i,
    -0.147153137680876 + 0.0*i,
    0.03056983674359 + 0.0*i,
    -0.0398246280400082 + 0.0*i,
    -0.186223446795534 + 0.0*i,
    0.0209516248798162 + 0.0*i,
    -0.196481456063236 + 0.0*i,
    0.110791116328858 + 0.0*i,
    -0.0658161928387318 + 0.0*i,
    0.411143176630042 + 0.0*i,
    0.029070028511356 + 0.0*i,
    0.318939075052628 + 0.0*i,
    -0.0011583565436974 + 0.0*i,
    0.269696634396578 + 0.0*i,
    0.214904025906052 + 0.0*i,
    0.0393639330732466 + 0.0*i,
    -0.289035241134307 + 0.0*i,
    0.0898368673509427 + 0.0*i,
    -0.0297486902095944 + 0.0*i,
    -0.0350591801902877 + 0.0*i,
    -0.383928604092162 + 0.0*i,
    0.210169897513979 + 0.0*i,
    -0.169221693337908 + 0.0*i,
    -0.311589544677428 + 0.0*i,
    -0.0421456923045019 + 0.0*i,
    0.363646844232585 + 0.0*i,
    0.194391833515491 + 0.0*i,
    -0.362853931467906 + 0.0*i,
    -0.101022410081109 + 0.0*i,
    0.0294748427338777 + 0.0*i,
    0.199027082648734 + 0.0*i,
    0.149822534258202 + 0.0*i,
    -0.317512546511108 + 0.0*i,
    -0.314122716478863 + 0.0*i,
    -0.167433786494879 + 0.0*i,
    -0.209083023967903 + 0.0*i,
    0.197273089476984 + 0.0*i,
    0.0418911484922772 + 0.0*i,
    -0.0257371793044766 + 0.0*i,
    0.347067213753802 + 0.0*i,
    0.359969268316724 + 0.0*i,
    -0.372825368586542 + 0.0*i,
    -0.0884386079448758 + 0.0*i,
    -0.152463938387778 + 0.0*i,
    -0.092129255596027 + 0.0*i,
    -0.181297647861834 + 0.0*i,
    -0.347156459046672 + 0.0*i,
    0.26112920288722 + 0.0*i,
    0.2581236921098 + 0.0*i,
    0.166862163022738 + 0.0*i,
    0.338785290350331 + 0.0*i,
    0.0195222623175392 + 0.0*i,
    -0.216689317101471 + 0.0*i,
    0.247636540397567 + 0.0*i,
    0.263669985924224 + 0.0*i,
    -0.301389986461812 + 0.0*i,
    -0.165997286563853 + 0.0*i,
    0.163851749375325 + 0.0*i,
    0.280106193915303 + 0.0*i,
    0.212791640747221 + 0.0*i,
    -0.352744252375673 + 0.0*i,
    -0.10251322619385 + 0.0*i,
    -0.137742527093472 + 0.0*i,
    -0.197790659892502 + 0.0*i,
    -0.419009681632044 + 0.0*i,
    -0.327806385972907 + 0.0*i,
    0.0672459299043245 + 0.0*i,
    -0.148281492173333 + 0.0*i,
    -0.0826279876716734 + 0.0*i,
    0.130461556124738 + 0.0*i,
    0.132903988309429 + 0.0*i,
    0.202602555149363 + 0.0*i,
    -0.258247056625441 + 0.0*i,
    0.0876866470447252 + 0.0*i,
    0.263265703566192 + 0.0*i,
    0.195567380823205 + 0.0*i,
    -0.207881750283933 + 0.0*i,
    -0.183420423438061 + 0.0*i,
    0.108939943095347 + 0.0*i,
    0.0403422719532884 + 0.0*i,
    -0.042303278518556 + 0.0*i,
    -0.139097865323106 + 0.0*i,
    0.307347918104562 + 0.0*i,
    -0.243582175551404 + 0.0*i,
    -0.216099568403667 + 0.0*i,
    -0.0481292895984074 + 0.0*i,
    0.0674762462519705 + 0.0*i,
    0.0244822431189683 + 0.0*i,
    -0.387531527378311 + 0.0*i,
    -0.0744648697581217 + 0.0*i,
    -0.245972174548228 + 0.0*i,
    0.0892926104875931 + 0.0*i,
    -0.0549558064635767 + 0.0*i,
    -0.228266425740452 + 0.0*i,
    0.0634217609523001 + 0.0*i,
    -0.0910019612763931 + 0.0*i,
    0.181993100281237 + 0.0*i,
    0.0991054220385227 + 0.0*i,
    0.321984652180139 + 0.0*i,
    0.00325505496960716 + 0.0*i,
    0.17622691421935 + 0.0*i,
    0.225946065748541 + 0.0*i,
    0.0726640857709959 + 0.0*i,
    0.0427911125961179 + 0.0*i,
    0.0646041856984212 + 0.0*i,
    -0.141150754123535 + 0.0*i,
    -0.00055035646417804 + 0.0*i,
    0.24239865858461 + 0.0*i,
    -0.160508578919602 + 0.0*i,
    -0.170449004715193 + 0.0*i,
    -0.257741749348497 + 0.0*i,
    0.278931580448141 + 0.0*i,
    -0.108139270264313 + 0.0*i,
    0.0208897036814282 + 0.0*i,
    6.03664293753897e-05 + 0.0*i,
    0.174517536526301 + 0.0*i,
    0.0807461385960946 + 0.0*i,
    0.407704589245498 + 0.0*i,
    0.210574065506595 + 0.0*i,
    0.124501814144094 + 0.0*i,
    -0.105667408262415 + 0.0*i,
    -0.125619769973335 + 0.0*i,
    -0.319077055444152 + 0.0*i,
    -0.191358571995405 + 0.0*i,
    0.145446607795406 + 0.0*i,
    -0.187846958621506 + 0.0*i,
    -0.234641047451803 + 0.0*i,
    -0.162304247991454 + 0.0*i,
    0.31184857429751 + 0.0*i,
    -0.207829745235543 + 0.0*i,
    0.414103967087759 + 0.0*i,
    -0.343414139247586 + 0.0*i,
    -0.218171424268343 + 0.0*i,
    0.0222301331597432 + 0.0*i,
    0.17010939430743 + 0.0*i,
    -0.311284032129962 + 0.0*i,
    -0.325530695995045 + 0.0*i,
    -0.149667517107351 + 0.0*i,
    0.335129418892178 + 0.0*i,
    0.12130768763676 + 0.0*i,
    -0.242328828979904 + 0.0*i,
    -0.197805834514234 + 0.0*i,
    0.204127737716327 + 0.0*i,
    0.121255663342751 + 0.0*i,
    -0.294314279234275 + 0.0*i,
    -0.107905228120942 + 0.0*i,
    -0.165303669520593 + 0.0*i,
    0.258427353861368 + 0.0*i,
    -0.119721113136519 + 0.0*i,
    -0.00141342952798775 + 0.0*i,
    0.383136108981407 + 0.0*i,
    0.297951039688083 + 0.0*i,
    -0.36407126981395 + 0.0*i,
    0.0767696999257593 + 0.0*i,
    0.232676010736108 + 0.0*i,
    -0.30582094367138 + 0.0*i,
    -0.355264775415397 + 0.0*i,
    0.0307050375826419 + 0.0*i,
    0.107724720898891 + 0.0*i,
    -0.0122391240670052 + 0.0*i,
    -0.331722340690788 + 0.0*i,
    -0.218642948593088 + 0.0*i,
    -0.363965966809638 + 0.0*i,
    0.0593532133176251 + 0.0*i,
    -0.32314018048664 + 0.0*i,
    -0.0719570688850675 + 0.0*i,
    0.150690851419915 + 0.0*i,
    -0.0513709321362247 + 0.0*i,
    -0.0474758532305512 + 0.0*i,
    0.283323446567166 + 0.0*i,
    -0.247768539645706 + 0.0*i,
    -0.129306260145138 + 0.0*i,
    -0.377729607027654 + 0.0*i,
    0.251923599641004 + 0.0*i,
    -0.26606802232383 + 0.0*i,
    -0.0510568574384786 + 0.0*i,
    -0.097466827962999 + 0.0*i
]);