V:=Matrix(CC,4,83,[
    -0.478358000094148 + 0.0*i,
    0.535448121276879 + 0.0*i,
    -0.0756232768158964 + 0.0*i,
    -0.337797177012709 + 0.0*i,
    0.191841092932052 + 0.0*i,
    -0.618115785312407 + 0.0*i,
    0.528225042521697 + 0.0*i,
    0.582391033123258 + 0.0*i,
    0.00180315295326389 + 0.0*i,
    0.421412099906175 + 0.0*i,
    0.0756979333314577 + 0.0*i,
    0.954109016813526 + 0.0*i,
    0.413359500508609 + 0.0*i,
    0.154933256222148 + 0.0*i,
    -0.327582953193901 + 0.0*i,
    0.105635243950584 + 0.0*i,
    -0.920930966167928 + 0.0*i,
    0.486370450913541 + 0.0*i,
    0.0164879808470391 + 0.0*i,
    1.07915341471398 + 0.0*i,
    -0.744603265991685 + 0.0*i,
    -0.111355067922268 + 0.0*i,
    -0.462091625091981 + 0.0*i,
    -0.281328475194384 + 0.0*i,
    0.345418893279941 + 0.0*i,
    -0.268110810731984 + 0.0*i,
    0.099794548967732 + 0.0*i,
    -0.700043510864802 + 0.0*i,
    0.829808138008101 + 0.0*i,
    0.0483308537387783 + 0.0*i,
    0.488483508633145 + 0.0*i,
    0.387666641700499 + 0.0*i,
    1.18819241196952 + 0.0*i,
    -0.401496016060159 + 0.0*i,
    -0.305255261708931 + 0.0*i,
    -0.26049823153463 + 0.0*i,
    0.167254090582411 + 0.0*i,
    0.0421216420399154 + 0.0*i,
    0.0883635782741455 + 0.0*i,
    0.141319154770938 + 0.0*i,
    0.278646447206825 + 0.0*i,
    0.312108316242096 + 0.0*i,
    0.206440086685579 + 0.0*i,
    0.038145222164743 + 0.0*i,
    0.438437435988204 + 0.0*i,
    -0.182070395801297 + 0.0*i,
    0.347405494287984 + 0.0*i,
    0.350856082904534 + 0.0*i,
    1.16795967789258 + 0.0*i,
    -0.975894451991412 + 0.0*i,
    -0.36467117157229 + 0.0*i,
    -0.563202041267929 + 0.0*i,
    0.324045102735701 + 0.0*i,
    -0.618227219505992 + 0.0*i,
    -0.18648764482589 + 0.0*i,
    0.411744068356573 + 0.0*i,
    -0.240225205076249 + 0.0*i,
    -0.174428358520661 + 0.0*i,
    -0.349726471994539 + 0.0*i,
    -0.848733692136979 + 0.0*i,
    0.617422194017879 + 0.0*i,
    0.539926167896123 + 0.0*i,
    -0.0223589235257429 + 0.0*i,
    -0.527395441248333 + 0.0*i,
    0.827439516780232 + 0.0*i,
    0.702112183124751 + 0.0*i,
    0.12061664092613 + 0.0*i,
    -1.12283922787133 + 0.0*i,
    -0.172041764082165 + 0.0*i,
    -0.392843346893651 + 0.0*i,
    -0.546963579860253 + 0.0*i,
    0.34519790441278 + 0.0*i,
    0.881771401556258 + 0.0*i,
    0.410051525050798 + 0.0*i,
    -0.256368100651614 + 0.0*i,
    -0.645855491646738 + 0.0*i,
    -0.588291321553073 + 0.0*i,
    -0.518013286066924 + 0.0*i,
    0.240472744049729 + 0.0*i,
    -0.0948408983126669 + 0.0*i,
    -0.243656118705581 + 0.0*i,
    0.00899343133053421 + 0.0*i,
    -0.0510590095514889 + 0.0*i,
    0.060946315079129 + 0.0*i,
    0.566199864785638 + 0.0*i,
    0.846587032401073 + 0.0*i,
    -0.166541824042365 + 0.0*i,
    0.461547884645919 + 0.0*i,
    0.348681987250208 + 0.0*i,
    0.257472521841585 + 0.0*i,
    0.0176176203818119 + 0.0*i,
    -0.297744406256124 + 0.0*i,
    0.958702147836972 + 0.0*i,
    0.153788862235594 + 0.0*i,
    0.285190664267057 + 0.0*i,
    0.327320288625731 + 0.0*i,
    0.126015198841125 + 0.0*i,
    0.655526729173109 + 0.0*i,
    -0.780690127546403 + 0.0*i,
    -0.278573113103613 + 0.0*i,
    0.27027093413772 + 0.0*i,
    -0.635145609967898 + 0.0*i,
    0.774182837113252 + 0.0*i,
    0.502034608051333 + 0.0*i,
    -0.190490954939282 + 0.0*i,
    -0.944154132946785 + 0.0*i,
    0.238814375322859 + 0.0*i,
    0.582704763136742 + 0.0*i,
    0.848140618620241 + 0.0*i,
    0.422417628312842 + 0.0*i,
    -0.875555732261479 + 0.0*i,
    0.578152793171763 + 0.0*i,
    0.476402418224776 + 0.0*i,
    -0.129050130125289 + 0.0*i,
    0.474662552746056 + 0.0*i,
    -0.143012645771137 + 0.0*i,
    -0.686012631953948 + 0.0*i,
    -0.522147479236775 + 0.0*i,
    0.468648695978475 + 0.0*i,
    0.420476337231789 + 0.0*i,
    -0.149204427071758 + 0.0*i,
    0.288717524558964 + 0.0*i,
    0.214491192709663 + 0.0*i,
    0.231024641346227 + 0.0*i,
    -0.911718192870973 + 0.0*i,
    0.745428281160266 + 0.0*i,
    0.660201367143717 + 0.0*i,
    0.579269780598038 + 0.0*i,
    0.291419751378481 + 0.0*i,
    -0.298647507772593 + 0.0*i,
    0.548783028569064 + 0.0*i,
    -0.516447420297652 + 0.0*i,
    0.702154364932199 + 0.0*i,
    -1.17065045639396 + 0.0*i,
    0.0575865438859622 + 0.0*i,
    0.155394703073339 + 0.0*i,
    -0.14860540854203 + 0.0*i,
    -0.568822441500225 + 0.0*i,
    -0.628330776865191 + 0.0*i,
    0.148227471422758 + 0.0*i,
    0.27565011733933 + 0.0*i,
    -0.347844314501174 + 0.0*i,
    -0.184944807732321 + 0.0*i,
    -0.189810865953677 + 0.0*i,
    -0.0857434253841974 + 0.0*i,
    -0.348332792463663 + 0.0*i,
    -0.208361791235715 + 0.0*i,
    0.442376114886198 + 0.0*i,
    -0.531053065660526 + 0.0*i,
    -0.128385048805467 + 0.0*i,
    0.580095358993198 + 0.0*i,
    -0.263119758721637 + 0.0*i,
    -0.436718516764049 + 0.0*i,
    0.559832708129813 + 0.0*i,
    0.0367202523451621 + 0.0*i,
    -0.289151895671874 + 0.0*i,
    -0.539005001799286 + 0.0*i,
    -0.496568800201083 + 0.0*i,
    -0.316004402193282 + 0.0*i,
    0.0413243440936161 + 0.0*i,
    0.146768199202858 + 0.0*i,
    -0.11237377048202 + 0.0*i,
    -0.0972498743145351 + 0.0*i,
    0.543302639157463 + 0.0*i,
    -0.440256665647927 + 0.0*i,
    -0.143844249797227 + 0.0*i,
    0.0572302261882144 + 0.0*i,
    0.494674181986686 + 0.0*i,
    -0.693512068545347 + 0.0*i,
    -0.842969969104963 + 0.0*i,
    -0.057860550559634 + 0.0*i,
    0.423234339214133 + 0.0*i,
    -0.130817335105097 + 0.0*i,
    0.779436097492444 + 0.0*i,
    -0.0984390769930567 + 0.0*i,
    -0.00318370109543307 + 0.0*i,
    -0.531750479034064 + 0.0*i,
    0.539337976497222 + 0.0*i,
    0.012821633396533 + 0.0*i,
    0.0206448765454171 + 0.0*i,
    0.193020282619467 + 0.0*i,
    -0.0398466486321411 + 0.0*i,
    -0.11647527505248 + 0.0*i,
    1.02768987286963 + 0.0*i,
    -0.98556997796508 + 0.0*i,
    -0.49225793983385 + 0.0*i,
    -0.256428648253047 + 0.0*i,
    -0.0348850715312365 + 0.0*i,
    -0.528796916971604 + 0.0*i,
    0.0139326050667106 + 0.0*i,
    -0.0549158901479989 + 0.0*i,
    0.468695668769679 + 0.0*i,
    -0.42547931056555 + 0.0*i,
    -0.162286514707062 + 0.0*i,
    0.460295981829906 + 0.0*i,
    -0.182542572430471 + 0.0*i,
    -0.993879020296869 + 0.0*i,
    0.709977696388189 + 0.0*i,
    0.487167722884133 + 0.0*i,
    -0.405926205959324 + 0.0*i,
    0.708254938580198 + 0.0*i,
    -0.384277109731322 + 0.0*i,
    -0.0481122862816768 + 0.0*i,
    0.0666278412838457 + 0.0*i,
    0.117956956459253 + 0.0*i,
    0.570436997939478 + 0.0*i,
    0.0922667035255728 + 0.0*i,
    -0.45013047039736 + 0.0*i,
    -0.330053347021894 + 0.0*i,
    -1.56983313199582 + 0.0*i,
    0.70341752603937 + 0.0*i,
    0.66125376135338 + 0.0*i,
    -0.767876390887826 + 0.0*i,
    -0.198454163418689 + 0.0*i,
    0.463028186559408 + 0.0*i,
    0.602772465631204 + 0.0*i,
    -0.253979108039271 + 0.0*i,
    -0.535269896365836 + 0.0*i,
    0.0681303391161963 + 0.0*i,
    -0.172726168363626 + 0.0*i,
    -0.164278330488021 + 0.0*i,
    0.418512562181568 + 0.0*i,
    0.374251177724475 + 0.0*i,
    -0.124579253786253 + 0.0*i,
    -0.0981980581762602 + 0.0*i,
    0.667308525094588 + 0.0*i,
    0.0515425006939795 + 0.0*i,
    0.403921836344817 + 0.0*i,
    -0.377649158613421 + 0.0*i,
    -0.684251042676453 + 0.0*i,
    -0.404023530526641 + 0.0*i,
    0.123713504638495 + 0.0*i,
    -0.0543281325708052 + 0.0*i,
    0.203365299333219 + 0.0*i,
    -0.762900541171824 + 0.0*i,
    -0.600437526464405 + 0.0*i,
    0.734919635097452 + 0.0*i,
    0.320310852686097 + 0.0*i,
    0.625708713775377 + 0.0*i,
    -0.553492291546427 + 0.0*i,
    0.153128082808313 + 0.0*i,
    -0.0284027036959947 + 0.0*i,
    -0.474801681838069 + 0.0*i,
    0.313536588727193 + 0.0*i,
    -0.770757946974605 + 0.0*i,
    -0.343831799001917 + 0.0*i,
    0.614343229969642 + 0.0*i,
    0.23361816483126 + 0.0*i,
    0.350654942241135 + 0.0*i,
    -0.377441785013539 + 0.0*i,
    0.713862325914516 + 0.0*i,
    0.806741253864518 + 0.0*i,
    -0.611440597217477 + 0.0*i,
    0.424158453943406 + 0.0*i,
    0.107274074621359 + 0.0*i,
    0.340599807755657 + 0.0*i,
    0.672934654696917 + 0.0*i,
    0.266109247382282 + 0.0*i,
    0.712488575756424 + 0.0*i,
    -0.692965225311219 + 0.0*i,
    0.16156390415361 + 0.0*i,
    0.130173336098976 + 0.0*i,
    -0.867220322517376 + 0.0*i,
    -0.176570390407636 + 0.0*i,
    0.464621805520076 + 0.0*i,
    0.624386596845645 + 0.0*i,
    0.267874310462018 + 0.0*i,
    0.108553420220581 + 0.0*i,
    0.0342622270237452 + 0.0*i,
    0.485072417519491 + 0.0*i,
    -0.446758422097685 + 0.0*i,
    -0.34746046144643 + 0.0*i,
    0.555936663044343 + 0.0*i,
    0.517893142835565 + 0.0*i,
    -1.06198779944978 + 0.0*i,
    0.0205227212146402 + 0.0*i,
    0.159987481338107 + 0.0*i,
    0.0236704275842479 + 0.0*i,
    -0.519579090940303 + 0.0*i,
    -0.149352871832019 + 0.0*i,
    -0.18622418771337 + 0.0*i,
    -0.663688407113651 + 0.0*i,
    -0.616271785327041 + 0.0*i,
    1.02535871870273 + 0.0*i,
    0.0849414876307872 + 0.0*i,
    0.878772448195215 + 0.0*i,
    -0.375190407228251 + 0.0*i,
    0.76293644480235 + 0.0*i,
    0.761485999027647 + 0.0*i,
    -0.419318463949337 + 0.0*i,
    0.334548133961478 + 0.0*i,
    0.180387841011559 + 0.0*i,
    -0.130082008899564 + 0.0*i,
    -0.0476850290242741 + 0.0*i,
    -0.181120786455419 + 0.0*i,
    0.62485721799274 + 0.0*i,
    0.892055887644943 + 0.0*i,
    -0.0754350788962145 + 0.0*i,
    -0.201844074624837 + 0.0*i,
    0.387697627668764 + 0.0*i,
    0.183046494949202 + 0.0*i,
    0.388563707150338 + 0.0*i,
    0.550844407029325 + 0.0*i,
    0.162342828788128 + 0.0*i,
    0.539577899372528 + 0.0*i,
    0.00222280208954578 + 0.0*i,
    0.141478647608247 + 0.0*i,
    -0.133594396259381 + 0.0*i,
    0.0548903642894673 + 0.0*i,
    0.230565574736832 + 0.0*i,
    0.0558366135069828 + 0.0*i,
    0.302199467980903 + 0.0*i,
    0.0910341383238433 + 0.0*i,
    -0.830572047719604 + 0.0*i,
    0.145705591468142 + 0.0*i,
    0.78492441719649 + 0.0*i,
    0.446091454923462 + 0.0*i,
    0.801026719677734 + 0.0*i,
    0.126564608340402 + 0.0*i,
    -0.0831728721802111 + 0.0*i,
    -0.148828877363491 + 0.0*i,
    0.694069694154388 + 0.0*i,
    0.503070526152255 + 0.0*i,
    -0.381733210270626 + 0.0*i,
    0.295132043525425 + 0.0*i,
    -0.0491794825422393 + 0.0*i,
    0.872743292969509 + 0.0*i,
    -0.146327032301726 + 0.0*i,
    1.42582558919766 + 0.0*i,
    -0.889330273642974 + 0.0*i,
    -0.567393220784292 + 0.0*i,
    -1.21605577524027 + 0.0*i
]);