V:=Matrix(CC,4,119,[
    -0.474659904612552 + 0.0*i,
    0.485153672803784 + 0.0*i,
    -0.208536186556632 + 0.0*i,
    -0.184983583265394 + 0.0*i,
    0.199952864183896 + 0.0*i,
    1.02339880606139 + 0.0*i,
    -0.672924673374532 + 0.0*i,
    -0.416199119981095 + 0.0*i,
    1.13672944021572 + 0.0*i,
    0.520965967770439 + 0.0*i,
    -0.359656461213931 + 0.0*i,
    0.658578768296455 + 0.0*i,
    0.449379960032277 + 0.0*i,
    0.501298828769106 + 0.0*i,
    -0.735831485880318 + 0.0*i,
    -0.761706782253749 + 0.0*i,
    0.284604074060985 + 0.0*i,
    0.599574045765012 + 0.0*i,
    0.0969275504490014 + 0.0*i,
    0.616111042623991 + 0.0*i,
    0.188566818035182 + 0.0*i,
    -0.0121132583560317 + 0.0*i,
    0.67599314896205 + 0.0*i,
    0.726738449090889 + 0.0*i,
    -0.298068939122166 + 0.0*i,
    -0.600881887772646 + 0.0*i,
    0.167354544758725 + 0.0*i,
    0.587116666529509 + 0.0*i,
    0.0390809175681342 + 0.0*i,
    -0.0537198161382683 + 0.0*i,
    0.265879874298542 + 0.0*i,
    1.39177760617384 + 0.0*i,
    -0.512934353469623 + 0.0*i,
    -0.726460323130927 + 0.0*i,
    0.0871065609870517 + 0.0*i,
    0.737803044397831 + 0.0*i,
    -0.342503111825476 + 0.0*i,
    -0.551839338024919 + 0.0*i,
    0.0720802983690588 + 0.0*i,
    0.499106502629732 + 0.0*i,
    -0.0236190425212489 + 0.0*i,
    -0.530210417421198 + 0.0*i,
    -0.0150316595113614 + 0.0*i,
    -0.222317406541516 + 0.0*i,
    0.129932594807334 + 0.0*i,
    -0.708442902875153 + 0.0*i,
    -0.31177609974544 + 0.0*i,
    0.118463270808532 + 0.0*i,
    -0.0483838075083514 + 0.0*i,
    -0.566747622885291 + 0.0*i,
    -0.38956932686593 + 0.0*i,
    -0.0636604560172078 + 0.0*i,
    0.26658822226076 + 0.0*i,
    0.130444945927639 + 0.0*i,
    -0.329451149915933 + 0.0*i,
    -0.887564421407831 + 0.0*i,
    -0.97819557303967 + 0.0*i,
    -0.243448998588349 + 0.0*i,
    -0.190661189782326 + 0.0*i,
    0.62681424308982 + 0.0*i,
    -0.153439421211921 + 0.0*i,
    0.718053037108904 + 0.0*i,
    0.189389534100194 + 0.0*i,
    0.461137785862964 + 0.0*i,
    0.572257409337709 + 0.0*i,
    -0.616368415288791 + 0.0*i,
    -0.271291398435088 + 0.0*i,
    0.639790279084881 + 0.0*i,
    0.201385330207873 + 0.0*i,
    0.708454285533674 + 0.0*i,
    0.561402493204764 + 0.0*i,
    0.752258668640071 + 0.0*i,
    0.276977304715745 + 0.0*i,
    0.503692420193871 + 0.0*i,
    -0.82465657359789 + 0.0*i,
    -0.480822176069604 + 0.0*i,
    -0.149545847128454 + 0.0*i,
    0.576284202010325 + 0.0*i,
    0.507408475903734 + 0.0*i,
    -1.02932195020449 + 0.0*i,
    0.774598254701276 + 0.0*i,
    -0.350674229927218 + 0.0*i,
    -0.271442587278881 + 0.0*i,
    0.244615594930249 + 0.0*i,
    0.36651375194442 + 0.0*i,
    0.303781417955659 + 0.0*i,
    0.154075376535168 + 0.0*i,
    -0.0228115929553606 + 0.0*i,
    -0.691895455861875 + 0.0*i,
    0.632825616720733 + 0.0*i,
    0.098251853426893 + 0.0*i,
    0.433632191024821 + 0.0*i,
    0.604699663618111 + 0.0*i,
    -0.504662735789604 + 0.0*i,
    -0.461377184214519 + 0.0*i,
    -0.647387008613064 + 0.0*i,
    0.402438084428989 + 0.0*i,
    1.16639916538193 + 0.0*i,
    -0.789045048946024 + 0.0*i,
    0.350997737233614 + 0.0*i,
    -0.51856358994488 + 0.0*i,
    -0.176519618197168 + 0.0*i,
    -0.152083695748891 + 0.0*i,
    0.86964027799983 + 0.0*i,
    -0.275999472173889 + 0.0*i,
    0.0970903716490119 + 0.0*i,
    0.605710766298029 + 0.0*i,
    0.185444522032534 + 0.0*i,
    0.198547975841079 + 0.0*i,
    0.59269566816531 + 0.0*i,
    -0.590707069169262 + 0.0*i,
    1.12380090162672 + 0.0*i,
    -0.0840401706765447 + 0.0*i,
    -0.496578789583214 + 0.0*i,
    0.877501265842769 + 0.0*i,
    0.114404313928757 + 0.0*i,
    -0.63464866025073 + 0.0*i,
    0.28979711779244 + 0.0*i,
    0.585236202292334 + 0.0*i,
    0.300831751033213 + 0.0*i,
    0.310141050728444 + 0.0*i,
    -0.326580529742463 + 0.0*i,
    0.533674058926744 + 0.0*i,
    -0.314637892333706 + 0.0*i,
    -0.160379163383095 + 0.0*i,
    -0.583426566568875 + 0.0*i,
    -0.444102532756691 + 0.0*i,
    0.586020174806317 + 0.0*i,
    -1.00480107768322 + 0.0*i,
    -0.420420430806808 + 0.0*i,
    1.47736634576051 + 0.0*i,
    -0.531630199462473 + 0.0*i,
    -0.0506221249911736 + 0.0*i,
    0.162451325431862 + 0.0*i,
    0.0952543314096873 + 0.0*i,
    -0.0365858031680951 + 0.0*i,
    -0.356429260534348 + 0.0*i,
    -0.301947427777562 + 0.0*i,
    0.787040757778362 + 0.0*i,
    0.0473058350109272 + 0.0*i,
    -0.473241500312699 + 0.0*i,
    0.0995776096742168 + 0.0*i,
    0.10635211173894 + 0.0*i,
    -0.103862457008878 + 0.0*i,
    0.221996380055604 + 0.0*i,
    0.357838874985623 + 0.0*i,
    1.51747155103917 + 0.0*i,
    -0.23280900482113 + 0.0*i,
    -0.137448369754852 + 0.0*i,
    -0.281287671940899 + 0.0*i,
    -0.714631958876956 + 0.0*i,
    -0.348927089913777 + 0.0*i,
    -0.404672589349865 + 0.0*i,
    -0.0684156968326424 + 0.0*i,
    0.180328050028891 + 0.0*i,
    -0.108942989720964 + 0.0*i,
    0.124183916008518 + 0.0*i,
    0.108584522166207 + 0.0*i,
    -0.111220493811822 + 0.0*i,
    0.39061633404766 + 0.0*i,
    -0.896427774401204 + 0.0*i,
    0.0114794038268972 + 0.0*i,
    0.0112760954810032 + 0.0*i,
    -0.613012161073283 + 0.0*i,
    -0.217541849944137 + 0.0*i,
    -0.289371871233691 + 0.0*i,
    -0.280523427596922 + 0.0*i,
    -0.886136736507848 + 0.0*i,
    1.03453750981821 + 0.0*i,
    0.574484694087123 + 0.0*i,
    -0.82116521100932 + 0.0*i,
    -0.295414249028877 + 0.0*i,
    -0.445366096568913 + 0.0*i,
    -0.842530010131009 + 0.0*i,
    -0.686644990131933 + 0.0*i,
    -0.599502882605225 + 0.0*i,
    0.712797365267864 + 0.0*i,
    0.165804389783374 + 0.0*i,
    -0.206595377417317 + 0.0*i,
    0.209350574415279 + 0.0*i,
    0.204216618655904 + 0.0*i,
    -0.362510079923329 + 0.0*i,
    0.017349447446476 + 0.0*i,
    0.674878320637867 + 0.0*i,
    -0.205897049813174 + 0.0*i,
    0.054296915335316 + 0.0*i,
    0.37245277242103 + 0.0*i,
    0.545740342520529 + 0.0*i,
    -0.0434819400156004 + 0.0*i,
    -1.1339770031766 + 0.0*i,
    0.0656838093362714 + 0.0*i,
    -0.189656156758309 + 0.0*i,
    -0.493953803430727 + 0.0*i,
    -1.42580297097048 + 0.0*i,
    -0.235838215517947 + 0.0*i,
    -0.524436444380174 + 0.0*i,
    -0.40525744643449 + 0.0*i,
    -1.17215095862839 + 0.0*i,
    0.0901608630176548 + 0.0*i,
    -0.326971393432686 + 0.0*i,
    -0.0506449397471708 + 0.0*i,
    0.30485664296404 + 0.0*i,
    -0.679202176015734 + 0.0*i,
    0.865621144929482 + 0.0*i,
    -0.796314472705439 + 0.0*i,
    0.175459613763344 + 0.0*i,
    0.228292626002209 + 0.0*i,
    0.406764224326321 + 0.0*i,
    0.763035728865872 + 0.0*i,
    -0.650909709940108 + 0.0*i,
    -0.482782288801695 + 0.0*i,
    0.244158528091415 + 0.0*i,
    0.291229244214201 + 0.0*i,
    -0.673443059069624 + 0.0*i,
    0.344200824552318 + 0.0*i,
    -0.619436599929311 + 0.0*i,
    -0.382220985704179 + 0.0*i,
    -0.103013564217067 + 0.0*i,
    -0.29249019990578 + 0.0*i,
    0.191079322582849 + 0.0*i,
    0.0524773543874443 + 0.0*i,
    0.593811501136329 + 0.0*i,
    0.845726102661271 + 0.0*i,
    -0.0199606362393824 + 0.0*i,
    0.336519933410809 + 0.0*i,
    1.02966238286081 + 0.0*i,
    -0.18827043166728 + 0.0*i,
    0.290319767566006 + 0.0*i,
    0.421812563819059 + 0.0*i,
    -0.573378919097399 + 0.0*i,
    -0.580635934919244 + 0.0*i,
    -0.256472538199374 + 0.0*i,
    0.46998405267275 + 0.0*i,
    0.289562186226042 + 0.0*i,
    -0.675896774210373 + 0.0*i,
    -0.709949475071501 + 0.0*i,
    -0.242826728745006 + 0.0*i,
    0.0136335304533482 + 0.0*i,
    -0.138607254324389 + 0.0*i,
    0.323710197517477 + 0.0*i,
    -0.163940508615848 + 0.0*i,
    -0.429073535009676 + 0.0*i,
    0.0844958067135743 + 0.0*i,
    -1.02353151718202 + 0.0*i,
    -0.861371818889398 + 0.0*i,
    -0.129437675641552 + 0.0*i,
    0.045603567163261 + 0.0*i,
    0.224788024822501 + 0.0*i,
    0.336576350473252 + 0.0*i,
    -0.0626668603088814 + 0.0*i,
    0.159844719571175 + 0.0*i,
    0.21533344298826 + 0.0*i,
    -0.240247766908556 + 0.0*i,
    0.282309741946797 + 0.0*i,
    0.332773329083205 + 0.0*i,
    -0.126931056796796 + 0.0*i,
    -0.360130399340703 + 0.0*i,
    -0.449186210145694 + 0.0*i,
    0.356123300549774 + 0.0*i,
    -0.616188543084298 + 0.0*i,
    0.252615703840411 + 0.0*i,
    0.504032541614116 + 0.0*i,
    0.00353651490267154 + 0.0*i,
    0.112200168976062 + 0.0*i,
    0.672891027253026 + 0.0*i,
    0.406213519517618 + 0.0*i,
    -0.28787938998302 + 0.0*i,
    -0.0128017418177883 + 0.0*i,
    0.0883323394297686 + 0.0*i,
    -0.239456221417244 + 0.0*i,
    0.0825479787717468 + 0.0*i,
    0.082988217209265 + 0.0*i,
    0.391706482427721 + 0.0*i,
    0.0547091832011534 + 0.0*i,
    -0.864429337695003 + 0.0*i,
    -0.0869753109337568 + 0.0*i,
    -0.30138998856177 + 0.0*i,
    -0.0605204152883407 + 0.0*i,
    0.056465127657105 + 0.0*i,
    -0.320205412687227 + 0.0*i,
    0.00439200768081554 + 0.0*i,
    -0.363167415880791 + 0.0*i,
    -0.344375026474239 + 0.0*i,
    -0.518306388124164 + 0.0*i,
    -0.565538656550511 + 0.0*i,
    -0.111410745583582 + 0.0*i,
    -0.840291792443467 + 0.0*i,
    -0.0288889450241998 + 0.0*i,
    -0.614263751680058 + 0.0*i,
    -0.552008158836501 + 0.0*i,
    -0.0877221365660181 + 0.0*i,
    0.379697603691053 + 0.0*i,
    -0.0440768613249107 + 0.0*i,
    0.244019557690559 + 0.0*i,
    0.585594463718021 + 0.0*i,
    -0.41058014208263 + 0.0*i,
    0.363145360181276 + 0.0*i,
    0.255628308624678 + 0.0*i,
    0.375772301163007 + 0.0*i,
    -0.0288674372503758 + 0.0*i,
    0.517889181763573 + 0.0*i,
    0.236729489014692 + 0.0*i,
    0.320471416754165 + 0.0*i,
    -0.142266588535109 + 0.0*i,
    0.129034788733783 + 0.0*i,
    -0.490501310415049 + 0.0*i,
    0.0679753206483185 + 0.0*i,
    -0.0246204338477763 + 0.0*i,
    0.0747406770527038 + 0.0*i,
    -0.770877422038843 + 0.0*i,
    -0.372604467786325 + 0.0*i,
    0.360815227473699 + 0.0*i,
    0.775432536042403 + 0.0*i,
    0.244628673322397 + 0.0*i,
    1.07884256855791 + 0.0*i,
    -0.224242268269558 + 0.0*i,
    -0.673328059221325 + 0.0*i,
    -0.540174898182582 + 0.0*i,
    -0.321262831944942 + 0.0*i,
    0.114295250588031 + 0.0*i,
    0.469921139848547 + 0.0*i,
    -1.02085519976946 + 0.0*i,
    -1.0709476672973 + 0.0*i,
    0.485044225898847 + 0.0*i,
    0.401655175080737 + 0.0*i,
    -0.0416837048513422 + 0.0*i,
    -0.285601153067342 + 0.0*i,
    -0.498187905908681 + 0.0*i,
    -0.596351979922744 + 0.0*i,
    -0.0747494887501756 + 0.0*i,
    -0.0273400929200935 + 0.0*i,
    -0.692724873064556 + 0.0*i,
    -0.457478655628418 + 0.0*i,
    0.406770154114758 + 0.0*i,
    -0.0531083090093516 + 0.0*i,
    0.093238867984214 + 0.0*i,
    -0.336424240377217 + 0.0*i,
    -0.489423370920383 + 0.0*i,
    0.538077272795071 + 0.0*i,
    -0.41819301564117 + 0.0*i,
    -0.666865780385112 + 0.0*i,
    0.487883629103078 + 0.0*i,
    -0.407071808875869 + 0.0*i,
    -0.572846353750919 + 0.0*i,
    0.204332340983594 + 0.0*i,
    -0.62643444299385 + 0.0*i,
    0.142904057690624 + 0.0*i,
    0.999048604996208 + 0.0*i,
    0.127941182463989 + 0.0*i,
    0.00995529109556542 + 0.0*i,
    0.480828226830211 + 0.0*i,
    -0.355393540290343 + 0.0*i,
    0.788080700309132 + 0.0*i,
    -1.05074017068082 + 0.0*i,
    0.644012623470541 + 0.0*i,
    -0.82428640429073 + 0.0*i,
    -0.319115204274713 + 0.0*i,
    -0.392889354765192 + 0.0*i,
    0.00802978303127319 + 0.0*i,
    -0.581726591198778 + 0.0*i,
    -0.165695970191518 + 0.0*i,
    -0.185923985683432 + 0.0*i,
    -0.623176547268219 + 0.0*i,
    -0.880979336333061 + 0.0*i,
    0.455970072557973 + 0.0*i,
    -0.991503945286752 + 0.0*i,
    -0.137669727524986 + 0.0*i,
    0.503284633460985 + 0.0*i,
    -0.111768799567498 + 0.0*i,
    -0.0462601965804955 + 0.0*i,
    0.256049253830896 + 0.0*i,
    0.201823546010028 + 0.0*i,
    -0.229234935823745 + 0.0*i,
    -0.633099696150808 + 0.0*i,
    -0.26448311349149 + 0.0*i,
    -0.190471532724305 + 0.0*i,
    0.860805042459054 + 0.0*i,
    -0.0411750525927881 + 0.0*i,
    0.0335331532877845 + 0.0*i,
    0.291537770996534 + 0.0*i,
    -0.143426135953659 + 0.0*i,
    -0.447789418205437 + 0.0*i,
    0.184570088769457 + 0.0*i,
    -0.679613001165326 + 0.0*i,
    -0.107395403012075 + 0.0*i,
    0.69492657585718 + 0.0*i,
    0.908342335896633 + 0.0*i,
    -0.735543008289412 + 0.0*i,
    -0.170649737072024 + 0.0*i,
    -0.757783694035888 + 0.0*i,
    0.461318173232842 + 0.0*i,
    0.409946050257516 + 0.0*i,
    -0.227922559976719 + 0.0*i,
    0.206637551322326 + 0.0*i,
    0.109528203320647 + 0.0*i,
    0.564112708416328 + 0.0*i,
    -0.437341942290194 + 0.0*i,
    0.477246392482137 + 0.0*i,
    0.671893750021835 + 0.0*i,
    0.151394224303405 + 0.0*i,
    -1.00946718960325 + 0.0*i,
    0.561437038898321 + 0.0*i,
    0.301538115622149 + 0.0*i,
    0.563384058201952 + 0.0*i,
    0.906216339243551 + 0.0*i,
    -0.472944206769431 + 0.0*i,
    0.0995519742857882 + 0.0*i,
    0.362182046490998 + 0.0*i,
    -0.210824603500007 + 0.0*i,
    -0.118525852314332 + 0.0*i,
    -0.0665616983033494 + 0.0*i,
    -0.41363295313821 + 0.0*i,
    0.235321622537389 + 0.0*i,
    -0.618718443137987 + 0.0*i,
    0.621384796788741 + 0.0*i,
    -0.318073974153688 + 0.0*i,
    -0.353345841861457 + 0.0*i,
    1.0068129997193 + 0.0*i,
    0.298785670137552 + 0.0*i,
    -0.182398672901223 + 0.0*i,
    -0.644366686286749 + 0.0*i,
    0.0361042263122049 + 0.0*i,
    1.23505302194807 + 0.0*i,
    -0.904774920665745 + 0.0*i,
    0.093562794988437 + 0.0*i,
    0.160200893845641 + 0.0*i,
    -0.138557722691029 + 0.0*i,
    0.58028287603341 + 0.0*i,
    -0.679627702514439 + 0.0*i,
    -0.230222203479432 + 0.0*i,
    -0.564878361201599 + 0.0*i,
    0.0662218553795503 + 0.0*i,
    -0.345431691803161 + 0.0*i,
    0.0744700339621219 + 0.0*i,
    -0.13218121063898 + 0.0*i,
    0.455661330995845 + 0.0*i,
    -0.541412487471573 + 0.0*i,
    0.180710144526157 + 0.0*i,
    -0.200668496768111 + 0.0*i,
    0.185494146161659 + 0.0*i,
    0.399854501709155 + 0.0*i,
    -0.131504087234013 + 0.0*i,
    -0.398730955816096 + 0.0*i,
    -0.408985221346542 + 0.0*i,
    0.411640384841828 + 0.0*i,
    0.083464585002394 + 0.0*i,
    0.665641368685008 + 0.0*i,
    -0.323477880329432 + 0.0*i,
    0.245090059902295 + 0.0*i,
    0.606475462919803 + 0.0*i,
    -0.349410481522079 + 0.0*i,
    0.639341084484974 + 0.0*i,
    -0.663421161926025 + 0.0*i,
    0.771328022023681 + 0.0*i,
    0.0349078256099077 + 0.0*i,
    0.445736345505584 + 0.0*i,
    -0.486141246828507 + 0.0*i,
    0.315969832880499 + 0.0*i,
    1.01191947535896 + 0.0*i,
    -0.0112051525926851 + 0.0*i,
    0.113109255834992 + 0.0*i,
    -0.762863256160616 + 0.0*i,
    -0.297395967451088 + 0.0*i,
    0.65410913516497 + 0.0*i,
    -0.620109711050982 + 0.0*i,
    0.250229616417449 + 0.0*i,
    -0.406584487984898 + 0.0*i,
    -0.442588722072034 + 0.0*i,
    -0.701756942687517 + 0.0*i,
    -0.61134224034777 + 0.0*i,
    0.100186474558215 + 0.0*i,
    0.371271794974028 + 0.0*i,
    -0.0528229702304522 + 0.0*i,
    0.312442167833206 + 0.0*i,
    0.302659950375009 + 0.0*i,
    -0.407393793866226 + 0.0*i
]);