V:=Matrix(CC,4,75,[
    0.59463808786241 + 0.0*i,
    0.915003626915676 + 0.0*i,
    0.426589489963791 + 0.0*i,
    -0.146546515980205 + 0.0*i,
    -0.237645673472463 + 0.0*i,
    0.914542143608156 + 0.0*i,
    0.477765341249344 + 0.0*i,
    -0.0896082641204092 + 0.0*i,
    0.561205150641374 + 0.0*i,
    -0.322949385371851 + 0.0*i,
    0.198904294717059 + 0.0*i,
    0.214244077611726 + 0.0*i,
    0.323011097239353 + 0.0*i,
    -0.429149208526098 + 0.0*i,
    0.372489903204086 + 0.0*i,
    -0.657555467750618 + 0.0*i,
    -0.286401330870813 + 0.0*i,
    0.578772149147181 + 0.0*i,
    0.088812221155116 + 0.0*i,
    0.201841526367596 + 0.0*i,
    0.552847450880106 + 0.0*i,
    0.670226000887487 + 0.0*i,
    0.144299125418312 + 0.0*i,
    0.0637709556651504 + 0.0*i,
    1.23475261939472 + 0.0*i,
    -0.66955377604667 + 0.0*i,
    -0.584905875412732 + 0.0*i,
    0.227800729964842 + 0.0*i,
    -0.522189020919315 + 0.0*i,
    -0.782946531819917 + 0.0*i,
    -0.532320391958801 + 0.0*i,
    -0.156341539779678 + 0.0*i,
    -0.354625924091605 + 0.0*i,
    -0.119951827886038 + 0.0*i,
    0.456237571543565 + 0.0*i,
    0.0480398443739903 + 0.0*i,
    -0.327628443507784 + 0.0*i,
    0.0914603740866646 + 0.0*i,
    0.82308229500602 + 0.0*i,
    0.609869834435913 + 0.0*i,
    0.170449443522332 + 0.0*i,
    -0.406716415279354 + 0.0*i,
    -0.158235252587529 + 0.0*i,
    -0.142820599808515 + 0.0*i,
    0.330972361042477 + 0.0*i,
    0.347554290126631 + 0.0*i,
    0.735999820134866 + 0.0*i,
    -0.653138128699561 + 0.0*i,
    0.474831694875083 + 0.0*i,
    -0.268198825244073 + 0.0*i,
    -0.976656721319351 + 0.0*i,
    0.487704203979458 + 0.0*i,
    0.567748714081278 + 0.0*i,
    0.134979454067362 + 0.0*i,
    -0.312280057561264 + 0.0*i,
    0.145089914583668 + 0.0*i,
    0.34120989487593 + 0.0*i,
    0.769044212144205 + 0.0*i,
    0.457657819760745 + 0.0*i,
    0.0488835678983236 + 0.0*i,
    0.193953296486248 + 0.0*i,
    0.0943732438512042 + 0.0*i,
    -0.88510007147744 + 0.0*i,
    -1.15718998756069 + 0.0*i,
    -0.279025030244236 + 0.0*i,
    -0.426269538153243 + 0.0*i,
    0.100367361961389 + 0.0*i,
    -0.531735639936239 + 0.0*i,
    -0.0572675788421908 + 0.0*i,
    -0.474807999116164 + 0.0*i,
    -0.40349831667718 + 0.0*i,
    -0.0230812543681154 + 0.0*i,
    0.145282888796463 + 0.0*i,
    -0.314570384745631 + 0.0*i,
    0.986730933670421 + 0.0*i,
    -0.594679335346862 + 0.0*i,
    0.535852431923643 + 0.0*i,
    0.163955831053963 + 0.0*i,
    -0.244638949347789 + 0.0*i,
    0.259067792793943 + 0.0*i,
    0.225706360137536 + 0.0*i,
    0.43815941938599 + 0.0*i,
    -0.101132858088353 + 0.0*i,
    0.632848373774597 + 0.0*i,
    -0.419370221547885 + 0.0*i,
    -0.0809460375581747 + 0.0*i,
    -0.649633189486448 + 0.0*i,
    0.177664042638674 + 0.0*i,
    -0.130845080678202 + 0.0*i,
    0.718462896558653 + 0.0*i,
    -0.652064516730697 + 0.0*i,
    -0.552930947533286 + 0.0*i,
    -0.873486096524645 + 0.0*i,
    -0.287609252085498 + 0.0*i,
    -1.25041907016647 + 0.0*i,
    1.16561939149494 + 0.0*i,
    -0.152526214863743 + 0.0*i,
    -0.378221500060603 + 0.0*i,
    0.224639400069474 + 0.0*i,
    -0.00080796810116376 + 0.0*i,
    0.307739993484826 + 0.0*i,
    0.515945744771676 + 0.0*i,
    0.0623964819368222 + 0.0*i,
    0.322772508138361 + 0.0*i,
    0.292452816997188 + 0.0*i,
    -0.926466633390663 + 0.0*i,
    -0.397446042241737 + 0.0*i,
    -0.0448849584134194 + 0.0*i,
    0.587404337088672 + 0.0*i,
    0.522220792800497 + 0.0*i,
    0.0322437218404872 + 0.0*i,
    -0.249171422785538 + 0.0*i,
    -0.315342296021417 + 0.0*i,
    0.319154062164341 + 0.0*i,
    0.26137633377302 + 0.0*i,
    0.451555797690379 + 0.0*i,
    0.463713404856355 + 0.0*i,
    -0.302944051487389 + 0.0*i,
    0.338969108072058 + 0.0*i,
    0.291528457271642 + 0.0*i,
    -0.730151506822878 + 0.0*i,
    -0.99941951883782 + 0.0*i,
    0.287075924416526 + 0.0*i,
    0.406659662453532 + 0.0*i,
    0.211109846228876 + 0.0*i,
    0.530165454048158 + 0.0*i,
    -0.903006046964592 + 0.0*i,
    0.0616519528633076 + 0.0*i,
    0.218896245191007 + 0.0*i,
    0.326429057153161 + 0.0*i,
    0.970108181696513 + 0.0*i,
    -0.351151112131251 + 0.0*i,
    -0.0133338986438768 + 0.0*i,
    -0.0115097902595472 + 0.0*i,
    -0.308641812255349 + 0.0*i,
    -0.0744029100235189 + 0.0*i,
    0.513129380151691 + 0.0*i,
    -0.650620546213853 + 0.0*i,
    0.362222191411588 + 0.0*i,
    -0.0250799029394034 + 0.0*i,
    0.223184379953173 + 0.0*i,
    -0.548945348837446 + 0.0*i,
    0.153538804611615 + 0.0*i,
    0.863356896807384 + 0.0*i,
    0.139288883098717 + 0.0*i,
    -0.360801089570959 + 0.0*i,
    -0.187477059639138 + 0.0*i,
    0.0768957326206071 + 0.0*i,
    0.27673416846389 + 0.0*i,
    -0.0325491068315563 + 0.0*i,
    0.267778865010128 + 0.0*i,
    0.701624847882369 + 0.0*i,
    0.722338317069138 + 0.0*i,
    -0.30513605883155 + 0.0*i,
    0.311632881094138 + 0.0*i,
    0.467728619666678 + 0.0*i,
    -0.80252998578541 + 0.0*i,
    0.383208157758381 + 0.0*i,
    -0.965868301724181 + 0.0*i,
    -0.393493296159344 + 0.0*i,
    -0.391582040999963 + 0.0*i,
    -0.142465054402813 + 0.0*i,
    -0.781641674763042 + 0.0*i,
    0.0397207492787012 + 0.0*i,
    0.246760591832071 + 0.0*i,
    -0.221295206732336 + 0.0*i,
    0.567000194889191 + 0.0*i,
    0.740338101260234 + 0.0*i,
    0.264648687766154 + 0.0*i,
    -0.0200176752511177 + 0.0*i,
    0.196106103383327 + 0.0*i,
    0.209727787140878 + 0.0*i,
    0.150650234003839 + 0.0*i,
    -0.563884402202318 + 0.0*i,
    0.0869966948983297 + 0.0*i,
    0.463279480533331 + 0.0*i,
    -0.551411340600519 + 0.0*i,
    -0.812597989514698 + 0.0*i,
    0.524696465383391 + 0.0*i,
    0.656224424568404 + 0.0*i,
    -0.0899499803110019 + 0.0*i,
    0.305392953315908 + 0.0*i,
    -0.80901342472963 + 0.0*i,
    0.684484064314859 + 0.0*i,
    0.312492747453364 + 0.0*i,
    0.897119863954513 + 0.0*i,
    -0.619292857281828 + 0.0*i,
    0.634291756373358 + 0.0*i,
    0.193751163351178 + 0.0*i,
    0.496484747609631 + 0.0*i,
    -0.403080418647598 + 0.0*i,
    -0.824117213241987 + 0.0*i,
    -0.307305285079765 + 0.0*i,
    -0.624010068195724 + 0.0*i,
    0.0713717936680691 + 0.0*i,
    -0.350579985327278 + 0.0*i,
    -0.116818114850121 + 0.0*i,
    -0.755464477602224 + 0.0*i,
    0.166828721450217 + 0.0*i,
    -0.0116083787559851 + 0.0*i,
    -0.0669342456645382 + 0.0*i,
    0.214715126180051 + 0.0*i,
    0.457375075045705 + 0.0*i,
    -1.19994561056775 + 0.0*i,
    -0.661454285940178 + 0.0*i,
    -0.15131594855563 + 0.0*i,
    0.0500180202848333 + 0.0*i,
    0.811999693838619 + 0.0*i,
    -0.143246925275769 + 0.0*i,
    0.194795685310333 + 0.0*i,
    0.260916948022191 + 0.0*i,
    1.16273395111433 + 0.0*i,
    0.551112954537781 + 0.0*i,
    0.772484921861893 + 0.0*i,
    0.63056877727949 + 0.0*i,
    0.541576486331392 + 0.0*i,
    -0.398113956160222 + 0.0*i,
    -0.350504813634826 + 0.0*i,
    0.964114234337551 + 0.0*i,
    0.141184965542088 + 0.0*i,
    0.41617467874289 + 0.0*i,
    -0.376331941420552 + 0.0*i,
    0.715436371484207 + 0.0*i,
    0.00410647749775292 + 0.0*i,
    0.0287804975664867 + 0.0*i,
    0.0127917404949764 + 0.0*i,
    0.0351982643553353 + 0.0*i,
    -0.683664866526238 + 0.0*i,
    1.00716701644396 + 0.0*i,
    1.06707890804857 + 0.0*i,
    -0.417141571222148 + 0.0*i,
    0.0167908986892601 + 0.0*i,
    -0.256049287046488 + 0.0*i,
    -0.24546683144398 + 0.0*i,
    -0.451323647406309 + 0.0*i,
    -0.0765830093404564 + 0.0*i,
    -0.483501699288326 + 0.0*i,
    -0.855342443726102 + 0.0*i,
    0.0197554050637468 + 0.0*i,
    -0.28274986706814 + 0.0*i,
    0.866251761355968 + 0.0*i,
    1.14689172047649 + 0.0*i,
    -0.0135396099998706 + 0.0*i,
    -0.134570286544339 + 0.0*i,
    0.483160573793423 + 0.0*i,
    0.0926863442212641 + 0.0*i,
    0.240636769865947 + 0.0*i,
    0.013076640446948 + 0.0*i,
    -0.273212623803512 + 0.0*i,
    0.46211487034107 + 0.0*i,
    0.228117535892979 + 0.0*i,
    0.286797139212518 + 0.0*i,
    0.262574835226289 + 0.0*i,
    -0.575532505130548 + 0.0*i,
    -0.585500222308102 + 0.0*i,
    -0.157994876488391 + 0.0*i,
    -0.581598032744852 + 0.0*i,
    0.331476611809144 + 0.0*i,
    -0.716552565181868 + 0.0*i,
    0.0619034716497655 + 0.0*i,
    -0.228680586064392 + 0.0*i,
    -0.0584662653788669 + 0.0*i,
    0.381399318248909 + 0.0*i,
    0.0706630949344829 + 0.0*i,
    1.1520392536063 + 0.0*i,
    0.400249203014844 + 0.0*i,
    0.476027568892229 + 0.0*i,
    -0.509699511213627 + 0.0*i,
    0.823571904010494 + 0.0*i,
    0.0649007290012573 + 0.0*i,
    -0.166969674754433 + 0.0*i,
    0.0454007750878234 + 0.0*i,
    -0.240518601647879 + 0.0*i,
    -0.630874305637305 + 0.0*i,
    -0.517067019107707 + 0.0*i,
    -0.427090074515675 + 0.0*i,
    -0.833390915376929 + 0.0*i,
    -0.143046390363881 + 0.0*i,
    0.366619779883305 + 0.0*i,
    -0.24718142832835 + 0.0*i,
    0.76147245781971 + 0.0*i,
    -0.750351829265456 + 0.0*i,
    -0.399899577978339 + 0.0*i,
    -0.0540746706310446 + 0.0*i,
    -0.588346195393885 + 0.0*i,
    -0.0838600570484897 + 0.0*i,
    0.497862759486181 + 0.0*i,
    -0.517959666369039 + 0.0*i,
    0.441961898088981 + 0.0*i,
    -0.424083529166131 + 0.0*i,
    -0.355767767548611 + 0.0*i,
    -0.183966216982203 + 0.0*i,
    -0.0209421231975159 + 0.0*i,
    -0.187648836679295 + 0.0*i,
    -0.812096460952304 + 0.0*i,
    -0.832460061796974 + 0.0*i,
    -0.314311023614696 + 0.0*i,
    -0.580425867500804 + 0.0*i,
    0.18500058952669 + 0.0*i,
    -0.725518504371723 + 0.0*i
]);