V:=Matrix(CC,4,96,[
    -0.207917856266544 + 0.0*i,
    1.48986522345007 + 0.0*i,
    0.200963931020711 + 0.0*i,
    -0.107673405135042 + 0.0*i,
    0.296076459335423 + 0.0*i,
    0.805164703633413 + 0.0*i,
    0.200364573683689 + 0.0*i,
    0.175252232401139 + 0.0*i,
    0.60796862954989 + 0.0*i,
    -0.499303706338993 + 0.0*i,
    0.104286622246088 + 0.0*i,
    0.577811996173897 + 0.0*i,
    -0.390625224868784 + 0.0*i,
    0.456717457140781 + 0.0*i,
    -0.491974746210066 + 0.0*i,
    0.363604529016844 + 0.0*i,
    0.331982340882268 + 0.0*i,
    0.732482125002864 + 0.0*i,
    0.0273523492050077 + 0.0*i,
    0.0222039276404325 + 0.0*i,
    -0.196400846012429 + 0.0*i,
    0.247629089002639 + 0.0*i,
    0.298178794765705 + 0.0*i,
    -0.144417274569213 + 0.0*i,
    0.37180654819336 + 0.0*i,
    -0.033045906718057 + 0.0*i,
    0.149822975574031 + 0.0*i,
    0.279482469806103 + 0.0*i,
    0.0780243601560339 + 0.0*i,
    0.314997611302196 + 0.0*i,
    0.033148974802704 + 0.0*i,
    0.61121531778927 + 0.0*i,
    0.566541802810514 + 0.0*i,
    -1.20888551608254 + 0.0*i,
    -0.522350090927774 + 0.0*i,
    0.350675080902945 + 0.0*i,
    -0.381653508138116 + 0.0*i,
    0.833014292607655 + 0.0*i,
    -0.122557247549877 + 0.0*i,
    0.215101870990111 + 0.0*i,
    0.326263195292497 + 0.0*i,
    -0.063863620982048 + 0.0*i,
    0.203355359762263 + 0.0*i,
    -0.243235173024829 + 0.0*i,
    -0.0521624501939658 + 0.0*i,
    -0.146905988739574 + 0.0*i,
    0.72176823001595 + 0.0*i,
    -0.458343860224605 + 0.0*i,
    -0.882106189770169 + 0.0*i,
    0.61133248298937 + 0.0*i,
    0.0401574312256237 + 0.0*i,
    0.0258402299706176 + 0.0*i,
    -0.0851184205673071 + 0.0*i,
    0.488253028066326 + 0.0*i,
    -0.938933031982057 + 0.0*i,
    1.0309926360822 + 0.0*i,
    0.313893767657509 + 0.0*i,
    -0.721479113887222 + 0.0*i,
    -0.606593455670801 + 0.0*i,
    0.15876780288543 + 0.0*i,
    0.472650316178969 + 0.0*i,
    0.095203388247076 + 0.0*i,
    -0.265062217540051 + 0.0*i,
    -0.371206098095425 + 0.0*i,
    -0.0815147948013842 + 0.0*i,
    0.732144415732919 + 0.0*i,
    -0.647293857769488 + 0.0*i,
    0.404258066840263 + 0.0*i,
    0.128461716244093 + 0.0*i,
    0.398580322893449 + 0.0*i,
    0.519742180723419 + 0.0*i,
    0.131153380950557 + 0.0*i,
    0.4254326130601 + 0.0*i,
    -0.529317995954862 + 0.0*i,
    0.0689145580774186 + 0.0*i,
    0.0886755960330152 + 0.0*i,
    0.848365839757679 + 0.0*i,
    -0.358213906011555 + 0.0*i,
    0.218169244072709 + 0.0*i,
    -0.610009821875315 + 0.0*i,
    0.545536019223148 + 0.0*i,
    1.07647820996823 + 0.0*i,
    -0.860366886727893 + 0.0*i,
    0.313588834038217 + 0.0*i,
    0.119449218128117 + 0.0*i,
    -0.0637897905164336 + 0.0*i,
    -0.682160710425143 + 0.0*i,
    -0.188319830370482 + 0.0*i,
    0.317923896350109 + 0.0*i,
    1.07036588555824 + 0.0*i,
    -0.765079527416641 + 0.0*i,
    -0.536446740552903 + 0.0*i,
    -0.0973072788459591 + 0.0*i,
    -0.0294439245885473 + 0.0*i,
    -0.556205733741316 + 0.0*i,
    0.116893334074742 + 0.0*i,
    1.28886834515825 + 0.0*i,
    0.00479907585533184 + 0.0*i,
    -0.504725071729904 + 0.0*i,
    -0.0894658739042351 + 0.0*i,
    -0.163769386485089 + 0.0*i,
    -0.226795981023849 + 0.0*i,
    -0.536126222665035 + 0.0*i,
    -0.131878804935754 + 0.0*i,
    -0.31225286141921 + 0.0*i,
    0.219411657090913 + 0.0*i,
    0.927217873808704 + 0.0*i,
    0.150946872992049 + 0.0*i,
    0.236498723061695 + 0.0*i,
    0.370416418299265 + 0.0*i,
    -0.326312392777065 + 0.0*i,
    -0.0265851244845667 + 0.0*i,
    0.00683404034712709 + 0.0*i,
    0.236712274893145 + 0.0*i,
    0.263384339413311 + 0.0*i,
    0.704845246219219 + 0.0*i,
    -1.13318537605049 + 0.0*i,
    -0.0529956445341615 + 0.0*i,
    0.0668526760032789 + 0.0*i,
    -1.05536634959982 + 0.0*i,
    -0.9548641562051 + 0.0*i,
    -0.392753322774894 + 0.0*i,
    -0.396541458263147 + 0.0*i,
    0.356449856122632 + 0.0*i,
    0.073614335568611 + 0.0*i,
    0.0280028030860708 + 0.0*i,
    -0.961595029256911 + 0.0*i,
    -0.262559581902388 + 0.0*i,
    -0.0826094446406172 + 0.0*i,
    0.428968284355654 + 0.0*i,
    0.98889664509336 + 0.0*i,
    0.175512775159034 + 0.0*i,
    -0.546775308586064 + 0.0*i,
    0.666601478982136 + 0.0*i,
    -0.275181994008087 + 0.0*i,
    -0.104212926611264 + 0.0*i,
    -0.46880291718295 + 0.0*i,
    0.572892561333396 + 0.0*i,
    -0.689120322895067 + 0.0*i,
    -0.377827921546817 + 0.0*i,
    -0.173112676689228 + 0.0*i,
    -0.64615131252708 + 0.0*i,
    0.382014085103027 + 0.0*i,
    0.511883398810231 + 0.0*i,
    -0.495844119887851 + 0.0*i,
    0.533231297586506 + 0.0*i,
    0.0561718508155829 + 0.0*i,
    -0.0785146111528299 + 0.0*i,
    -0.234175844416899 + 0.0*i,
    0.000190316274849545 + 0.0*i,
    0.450262084040172 + 0.0*i,
    0.866534092174854 + 0.0*i,
    0.15620430518715 + 0.0*i,
    0.0729791971282037 + 0.0*i,
    -0.50564415915045 + 0.0*i,
    0.152234700450348 + 0.0*i,
    -0.510660846390271 + 0.0*i,
    -0.0275845583342551 + 0.0*i,
    -0.246585084439796 + 0.0*i,
    -0.385371336684136 + 0.0*i,
    0.445209807204059 + 0.0*i,
    0.000191753535818875 + 0.0*i,
    0.183463876547749 + 0.0*i,
    0.175862923264038 + 0.0*i,
    0.923560069379483 + 0.0*i,
    -0.0725491377726224 + 0.0*i,
    -0.46904490522921 + 0.0*i,
    0.440373213348077 + 0.0*i,
    0.570450609846458 + 0.0*i,
    -0.382632072869932 + 0.0*i,
    -0.189465960767573 + 0.0*i,
    0.070494154796167 + 0.0*i,
    0.587505501533653 + 0.0*i,
    -0.0503691102577768 + 0.0*i,
    0.0653350472721204 + 0.0*i,
    -0.0197105647041941 + 0.0*i,
    0.383185106677097 + 0.0*i,
    0.634052697406742 + 0.0*i,
    -0.0783754825196698 + 0.0*i,
    0.849625097795653 + 0.0*i,
    1.16103262411666 + 0.0*i,
    0.809799216735499 + 0.0*i,
    -0.340376093450657 + 0.0*i,
    -0.771217329365415 + 0.0*i,
    0.338114637946709 + 0.0*i,
    -0.0228073190084966 + 0.0*i,
    -0.384798368188794 + 0.0*i,
    0.0258740965770169 + 0.0*i,
    0.0384997752150507 + 0.0*i,
    -0.679017255556859 + 0.0*i,
    -0.66217329113405 + 0.0*i,
    -0.474380875895795 + 0.0*i,
    -0.229917934327569 + 0.0*i,
    -0.459734277455101 + 0.0*i,
    0.781446868892303 + 0.0*i,
    -0.153928687096462 + 0.0*i,
    -0.765443874246502 + 0.0*i,
    -0.789448819816756 + 0.0*i,
    0.847152930575156 + 0.0*i,
    -0.741228198502028 + 0.0*i,
    0.660844158070962 + 0.0*i,
    -0.488419617556602 + 0.0*i,
    0.5212477609417 + 0.0*i,
    -0.658084849965492 + 0.0*i,
    0.0116698594748386 + 0.0*i,
    0.0489971837104474 + 0.0*i,
    0.0941708579626048 + 0.0*i,
    0.602840511224415 + 0.0*i,
    0.847914438127184 + 0.0*i,
    0.981773450060703 + 0.0*i,
    0.976767215619092 + 0.0*i,
    0.542189305170843 + 0.0*i,
    -1.08957751495022 + 0.0*i,
    1.14280026702301 + 0.0*i,
    -0.545501104611059 + 0.0*i,
    0.0941816311809201 + 0.0*i,
    -0.647545434252526 + 0.0*i,
    -0.32671902187917 + 0.0*i,
    0.205531653008885 + 0.0*i,
    -0.440217136295235 + 0.0*i,
    -0.170068743127919 + 0.0*i,
    0.124588707911942 + 0.0*i,
    0.339052952604757 + 0.0*i,
    0.618012151588056 + 0.0*i,
    0.32554618653263 + 0.0*i,
    -0.377844630575311 + 0.0*i,
    0.218810352970872 + 0.0*i,
    0.507448009643709 + 0.0*i,
    -0.324675603809148 + 0.0*i,
    -0.389586959790528 + 0.0*i,
    0.623490562687361 + 0.0*i,
    0.359834061968198 + 0.0*i,
    -0.427856222530886 + 0.0*i,
    0.137739169722063 + 0.0*i,
    -0.0602619142606836 + 0.0*i,
    0.326601403006144 + 0.0*i,
    0.503551957119602 + 0.0*i,
    0.237335941113948 + 0.0*i,
    -0.429320495960696 + 0.0*i,
    -0.64133036780318 + 0.0*i,
    0.239387198620077 + 0.0*i,
    -0.420032886385497 + 0.0*i,
    -0.773580362306008 + 0.0*i,
    -1.2965201623166 + 0.0*i,
    0.178980699884665 + 0.0*i,
    0.279881418976597 + 0.0*i,
    -0.580968400576759 + 0.0*i,
    0.520176299310065 + 0.0*i,
    0.403868241071988 + 0.0*i,
    -0.152798819121677 + 0.0*i,
    -0.219996752025338 + 0.0*i,
    0.339151768682961 + 0.0*i,
    0.201147189219652 + 0.0*i,
    -0.150309030169046 + 0.0*i,
    0.0051818663599782 + 0.0*i,
    0.0215766119544871 + 0.0*i,
    0.4391434474083 + 0.0*i,
    0.309417852891423 + 0.0*i,
    0.453705879696926 + 0.0*i,
    0.2001952860056 + 0.0*i,
    0.455698447024834 + 0.0*i,
    -0.589123252802207 + 0.0*i,
    0.311150166849169 + 0.0*i,
    0.344107935873407 + 0.0*i,
    -0.582957995553135 + 0.0*i,
    0.102435600024431 + 0.0*i,
    -0.263580053169668 + 0.0*i,
    -0.569043047521188 + 0.0*i,
    -0.074765896994643 + 0.0*i,
    0.495918536223072 + 0.0*i,
    -0.046879845485075 + 0.0*i,
    -0.200915243551806 + 0.0*i,
    0.144033351318325 + 0.0*i,
    0.371326038056964 + 0.0*i,
    -0.746542762461815 + 0.0*i,
    -1.17490909585576 + 0.0*i,
    -1.00546743043341 + 0.0*i,
    0.14233946858268 + 0.0*i,
    0.643830879184488 + 0.0*i,
    0.654746330829753 + 0.0*i,
    0.519926507078257 + 0.0*i,
    0.466140606891033 + 0.0*i,
    -0.19199400986143 + 0.0*i,
    0.745083338820336 + 0.0*i,
    0.786032603910234 + 0.0*i,
    0.308507784971345 + 0.0*i,
    0.0616118779010556 + 0.0*i,
    0.277604521985908 + 0.0*i,
    0.835596951008523 + 0.0*i,
    -0.707593602989826 + 0.0*i,
    -0.4322899905227 + 0.0*i,
    0.436415362266144 + 0.0*i,
    -0.14210959607664 + 0.0*i,
    0.31534464297182 + 0.0*i,
    0.14162060518954 + 0.0*i,
    0.199175945840051 + 0.0*i,
    0.704796393582796 + 0.0*i,
    0.23387614260355 + 0.0*i,
    -0.251718428363729 + 0.0*i,
    0.0442950286376469 + 0.0*i,
    -0.580058692445349 + 0.0*i,
    0.620983389347231 + 0.0*i,
    -0.00243459719042091 + 0.0*i,
    1.15325628745347 + 0.0*i,
    -0.445130428330313 + 0.0*i,
    -0.540389749239011 + 0.0*i,
    -0.824319765963049 + 0.0*i,
    -0.402013554892491 + 0.0*i,
    -0.236238367631038 + 0.0*i,
    0.0711984263951529 + 0.0*i,
    -0.148223851106158 + 0.0*i,
    -0.112077670268561 + 0.0*i,
    0.689950666052197 + 0.0*i,
    0.983706441128285 + 0.0*i,
    -0.0643019258947972 + 0.0*i,
    0.0213450879711003 + 0.0*i,
    0.137668653136242 + 0.0*i,
    -0.285444245772777 + 0.0*i,
    0.745305779558496 + 0.0*i,
    -0.099446885574636 + 0.0*i,
    0.228454212867093 + 0.0*i,
    0.0172708852352249 + 0.0*i,
    -0.44762401732202 + 0.0*i,
    -0.451486419357936 + 0.0*i,
    0.44374863290277 + 0.0*i,
    -0.226009975308867 + 0.0*i,
    -0.369703618985211 + 0.0*i,
    -0.185569319660055 + 0.0*i,
    -0.244585704502231 + 0.0*i,
    0.1003787134026 + 0.0*i,
    0.323324810385607 + 0.0*i,
    -0.273188614974508 + 0.0*i,
    0.544263721604565 + 0.0*i,
    -0.178242346597129 + 0.0*i,
    -0.230735082150256 + 0.0*i,
    0.459212734224531 + 0.0*i,
    -0.736934801685737 + 0.0*i,
    -0.081364290786306 + 0.0*i,
    -0.819954942028818 + 0.0*i,
    -0.159527939785377 + 0.0*i,
    0.170075105020929 + 0.0*i,
    -0.256248310286433 + 0.0*i,
    0.0130183618179396 + 0.0*i,
    -0.494627012175222 + 0.0*i,
    0.460721919581225 + 0.0*i,
    0.931790297797776 + 0.0*i,
    0.367929477379402 + 0.0*i,
    -0.210476435023142 + 0.0*i,
    -0.0719512493659011 + 0.0*i,
    -1.5077118764313 + 0.0*i,
    -0.534888305614135 + 0.0*i,
    0.136823393003966 + 0.0*i,
    -0.785564550342926 + 0.0*i,
    0.184977793247334 + 0.0*i,
    -0.751189037977383 + 0.0*i,
    0.315721010132355 + 0.0*i,
    -0.816277049746673 + 0.0*i,
    -0.913957801312852 + 0.0*i,
    0.332539336567808 + 0.0*i,
    -0.743174247928149 + 0.0*i,
    0.223588453517082 + 0.0*i,
    0.368839487369806 + 0.0*i,
    0.210040578538653 + 0.0*i,
    0.439100284537519 + 0.0*i,
    -0.651347922237755 + 0.0*i,
    -0.304428583882405 + 0.0*i,
    0.275250031611963 + 0.0*i,
    -0.617472946708808 + 0.0*i,
    0.679264257933112 + 0.0*i,
    0.360651818908286 + 0.0*i,
    -0.402248942737771 + 0.0*i,
    -0.503448590422108 + 0.0*i,
    0.0170539193841508 + 0.0*i,
    -0.32337648407959 + 0.0*i,
    0.288647537990036 + 0.0*i,
    -0.29408478285751 + 0.0*i,
    -0.0211277606140814 + 0.0*i,
    0.0701355563525892 + 0.0*i,
    0.261524850080202 + 0.0*i,
    -0.262406379987724 + 0.0*i,
    0.781352261371664 + 0.0*i,
    0.648790601489788 + 0.0*i,
    -0.00216059479393869 + 0.0*i,
    -0.0581684082324014 + 0.0*i
]);