V:=Matrix(CC,4,83,[
    -0.446163905376833 + 0.0*i,
    -0.782990393654208 + 0.0*i,
    0.906013615738859 + 0.0*i,
    -0.803593868098443 + 0.0*i,
    -0.325221285144326 + 0.0*i,
    -0.622106226733043 + 0.0*i,
    0.240815378060283 + 0.0*i,
    0.340956728157153 + 0.0*i,
    0.477451976158382 + 0.0*i,
    0.126461314638326 + 0.0*i,
    0.379933996521555 + 0.0*i,
    -0.437757743172592 + 0.0*i,
    0.156767954029113 + 0.0*i,
    -0.623133828725533 + 0.0*i,
    0.163248170950181 + 0.0*i,
    -0.0761561188236811 + 0.0*i,
    0.565587174038677 + 0.0*i,
    -0.321909587561379 + 0.0*i,
    -0.93642744015835 + 0.0*i,
    1.20142039772044 + 0.0*i,
    0.390979272522307 + 0.0*i,
    -0.584003060363932 + 0.0*i,
    -1.03835451187228 + 0.0*i,
    0.0398609170595847 + 0.0*i,
    -0.262649883924837 + 0.0*i,
    0.885780704344154 + 0.0*i,
    -0.708098739283968 + 0.0*i,
    -0.704904890866865 + 0.0*i,
    0.466457990104845 + 0.0*i,
    0.0546164215804896 + 0.0*i,
    -0.242396740089905 + 0.0*i,
    0.752630000484418 + 0.0*i,
    -0.20068315101439 + 0.0*i,
    -0.143244092876454 + 0.0*i,
    -0.662639467153086 + 0.0*i,
    0.0797735737948453 + 0.0*i,
    -0.965471942477802 + 0.0*i,
    -0.0963625672004113 + 0.0*i,
    -0.67315466267529 + 0.0*i,
    -0.187554880658163 + 0.0*i,
    -0.906883389824663 + 0.0*i,
    -0.560045867458774 + 0.0*i,
    0.120263590270291 + 0.0*i,
    -0.779353762355432 + 0.0*i,
    0.0721348130637459 + 0.0*i,
    0.275131848714437 + 0.0*i,
    -0.0663854171465352 + 0.0*i,
    -0.9616433564435 + 0.0*i,
    0.0426372159124538 + 0.0*i,
    -0.734268281461842 + 0.0*i,
    0.280856453281868 + 0.0*i,
    -0.51708412106561 + 0.0*i,
    -0.209495237080585 + 0.0*i,
    -0.252087687272046 + 0.0*i,
    -0.971898667591207 + 0.0*i,
    -0.707606008534498 + 0.0*i,
    -0.590532349826633 + 0.0*i,
    0.863924385739493 + 0.0*i,
    0.307344260769608 + 0.0*i,
    0.157566653000027 + 0.0*i,
    0.307896292647143 + 0.0*i,
    -0.450436601101306 + 0.0*i,
    -0.518634247020699 + 0.0*i,
    -0.26746548015455 + 0.0*i,
    -0.11482582734436 + 0.0*i,
    -0.205137474787372 + 0.0*i,
    -0.280610591448217 + 0.0*i,
    -0.766788057313449 + 0.0*i,
    0.812213830538225 + 0.0*i,
    -0.343395436240362 + 0.0*i,
    0.329615503208287 + 0.0*i,
    0.619065925386569 + 0.0*i,
    -0.196790761841428 + 0.0*i,
    0.714839323664695 + 0.0*i,
    0.52262570943522 + 0.0*i,
    -0.312777849619864 + 0.0*i,
    0.447811011780621 + 0.0*i,
    0.645105763083406 + 0.0*i,
    -0.617024884899939 + 0.0*i,
    0.579710589262556 + 0.0*i,
    0.612459533597885 + 0.0*i,
    0.494664723369743 + 0.0*i,
    0.784966453627509 + 0.0*i,
    0.0868944696307274 + 0.0*i,
    -0.700349798864694 + 0.0*i,
    -0.221163740476901 + 0.0*i,
    -0.0478863422166848 + 0.0*i,
    -0.288816178950385 + 0.0*i,
    -0.0401731979688905 + 0.0*i,
    -0.765340992362593 + 0.0*i,
    0.133279038427645 + 0.0*i,
    -0.367298683094009 + 0.0*i,
    0.1504005742864 + 0.0*i,
    0.500425591275903 + 0.0*i,
    -0.201020556918105 + 0.0*i,
    0.400861737211204 + 0.0*i,
    -0.555446104530447 + 0.0*i,
    0.23896945649439 + 0.0*i,
    0.355760963035308 + 0.0*i,
    -0.566474159291764 + 0.0*i,
    0.199920453375406 + 0.0*i,
    0.383080859268668 + 0.0*i,
    -0.134593465332108 + 0.0*i,
    -0.597007976911045 + 0.0*i,
    0.335918911179367 + 0.0*i,
    0.190949367871104 + 0.0*i,
    0.317644416509128 + 0.0*i,
    0.750677092928357 + 0.0*i,
    0.406941934877212 + 0.0*i,
    -0.00342464791755278 + 0.0*i,
    -0.161609158557118 + 0.0*i,
    0.84099021843174 + 0.0*i,
    0.685953403673019 + 0.0*i,
    0.17170052871948 + 0.0*i,
    -0.209216623819315 + 0.0*i,
    -0.837369716167309 + 0.0*i,
    0.813633863666792 + 0.0*i,
    -0.204835037974387 + 0.0*i,
    0.748006437219097 + 0.0*i,
    0.188565314632363 + 0.0*i,
    -0.240687054095195 + 0.0*i,
    -0.321630740588787 + 0.0*i,
    -0.186520567115484 + 0.0*i,
    -0.217509797936431 + 0.0*i,
    0.0291043090059891 + 0.0*i,
    0.190905127204253 + 0.0*i,
    -0.828126353432709 + 0.0*i,
    0.291859987752527 + 0.0*i,
    0.893491421403044 + 0.0*i,
    -0.0367330320085985 + 0.0*i,
    0.193827000383476 + 0.0*i,
    0.0970096261513022 + 0.0*i,
    -0.133838173595389 + 0.0*i,
    -0.0989561060386134 + 0.0*i,
    -0.0978833361725119 + 0.0*i,
    0.128843543424618 + 0.0*i,
    0.522941970677836 + 0.0*i,
    -0.335731210414246 + 0.0*i,
    0.440426607584704 + 0.0*i,
    -0.53603845192992 + 0.0*i,
    -0.234106841487581 + 0.0*i,
    -0.152500851851664 + 0.0*i,
    0.276724259609138 + 0.0*i,
    -0.726197495235097 + 0.0*i,
    0.738047281261452 + 0.0*i,
    0.85318447288448 + 0.0*i,
    0.220742912192915 + 0.0*i,
    0.434827394015756 + 0.0*i,
    -1.01442569803434 + 0.0*i,
    -0.150691270347656 + 0.0*i,
    0.8345025712546 + 0.0*i,
    -0.199630118362203 + 0.0*i,
    0.161301897979902 + 0.0*i,
    -0.139671553917352 + 0.0*i,
    0.0877254901177264 + 0.0*i,
    0.465820673456345 + 0.0*i,
    -0.573602572927714 + 0.0*i,
    0.46519501241664 + 0.0*i,
    0.00237249252339778 + 0.0*i,
    -0.265075858110228 + 0.0*i,
    0.791854021291139 + 0.0*i,
    0.498095332752526 + 0.0*i,
    0.264928632420895 + 0.0*i,
    -0.415298484223683 + 0.0*i,
    -1.35785373156856 + 0.0*i,
    -0.368227142170731 + 0.0*i,
    -0.811983540693805 + 0.0*i,
    -0.0704181138625209 + 0.0*i,
    0.661859444348393 + 0.0*i,
    -0.227640820440715 + 0.0*i,
    0.0684723225081325 + 0.0*i,
    -0.12113053448507 + 0.0*i,
    -0.479039244371825 + 0.0*i,
    0.0624668127336831 + 0.0*i,
    -0.358114272450489 + 0.0*i,
    -0.291709615901207 + 0.0*i,
    0.365027348755389 + 0.0*i,
    0.0687669785025546 + 0.0*i,
    0.312559395989475 + 0.0*i,
    0.0527006993701969 + 0.0*i,
    -0.167039413721905 + 0.0*i,
    -0.885455021847571 + 0.0*i,
    0.0190546686978562 + 0.0*i,
    -0.505053250830037 + 0.0*i,
    0.578428436660374 + 0.0*i,
    0.22840848065278 + 0.0*i,
    0.721811969218286 + 0.0*i,
    0.206500064091944 + 0.0*i,
    0.398033733468429 + 0.0*i,
    -0.563933508802154 + 0.0*i,
    -0.49179538117402 + 0.0*i,
    -0.0746084836523812 + 0.0*i,
    -1.03856951342294 + 0.0*i,
    0.360765106548418 + 0.0*i,
    0.537616198001158 + 0.0*i,
    0.547617498365461 + 0.0*i,
    -0.298877398783759 + 0.0*i,
    -0.522261587130654 + 0.0*i,
    -0.753622367805453 + 0.0*i,
    -0.0990920727335689 + 0.0*i,
    0.592315466409263 + 0.0*i,
    0.129485090662631 + 0.0*i,
    -0.162111586492655 + 0.0*i,
    -0.368930956480532 + 0.0*i,
    1.07139485521573 + 0.0*i,
    -0.0220441895227326 + 0.0*i,
    0.636500579989057 + 0.0*i,
    0.758339371744277 + 0.0*i,
    0.28714923381528 + 0.0*i,
    0.0868707853533509 + 0.0*i,
    -0.151068991619902 + 0.0*i,
    -0.0772547419387469 + 0.0*i,
    0.91815064840012 + 0.0*i,
    -0.303177338177532 + 0.0*i,
    0.111473351846342 + 0.0*i,
    -0.409075711814627 + 0.0*i,
    0.199951203324077 + 0.0*i,
    -0.108308880220355 + 0.0*i,
    0.563659817332998 + 0.0*i,
    -0.344348586386347 + 0.0*i,
    0.210167828779378 + 0.0*i,
    0.686838353716215 + 0.0*i,
    -0.238202549036099 + 0.0*i,
    0.395464685239577 + 0.0*i,
    -0.738183601040407 + 0.0*i,
    0.146163090389159 + 0.0*i,
    -0.272790723828745 + 0.0*i,
    0.00143569176928792 + 0.0*i,
    -0.31955609636485 + 0.0*i,
    0.432254851155087 + 0.0*i,
    0.0296975632870871 + 0.0*i,
    -0.681375008526113 + 0.0*i,
    -1.28649479414358 + 0.0*i,
    0.312583044541034 + 0.0*i,
    0.281421330377713 + 0.0*i,
    -1.00234976073816 + 0.0*i,
    -0.000454945257564765 + 0.0*i,
    -0.847475530178828 + 0.0*i,
    0.0922408262627343 + 0.0*i,
    -0.272871565362638 + 0.0*i,
    0.373865870763007 + 0.0*i,
    0.0449145883928111 + 0.0*i,
    -0.971900648649165 + 0.0*i,
    0.37150462290716 + 0.0*i,
    0.125713685191937 + 0.0*i,
    0.117513973174234 + 0.0*i,
    0.451593554288113 + 0.0*i,
    0.0470151115895662 + 0.0*i,
    0.522980599121628 + 0.0*i,
    -0.836412871714325 + 0.0*i,
    0.512064561409422 + 0.0*i,
    0.312947779912928 + 0.0*i,
    -1.00727207208387 + 0.0*i,
    -0.118686110754407 + 0.0*i,
    -0.0282491374109447 + 0.0*i,
    0.678073636419557 + 0.0*i,
    -0.0830149188110047 + 0.0*i,
    0.115389065166314 + 0.0*i,
    -0.453537817568712 + 0.0*i,
    0.538910858310648 + 0.0*i,
    1.10079927872599 + 0.0*i,
    -0.581650819739315 + 0.0*i,
    -0.507639671543198 + 0.0*i,
    0.352404694014472 + 0.0*i,
    0.236291953953077 + 0.0*i,
    -0.0932353016499654 + 0.0*i,
    0.00428762690211442 + 0.0*i,
    -0.531880091918738 + 0.0*i,
    0.0477022953935451 + 0.0*i,
    0.631865591415252 + 0.0*i,
    -0.246949170170772 + 0.0*i,
    0.680443233681508 + 0.0*i,
    -0.258395814007493 + 0.0*i,
    1.02968162218187 + 0.0*i,
    -0.388420351738993 + 0.0*i,
    0.92578748024212 + 0.0*i,
    -0.250302039638 + 0.0*i,
    0.565051482525822 + 0.0*i,
    0.0773133322536417 + 0.0*i,
    -0.436810606773818 + 0.0*i,
    -0.241703000444903 + 0.0*i,
    0.533656903092022 + 0.0*i,
    0.0230542241175787 + 0.0*i,
    -0.754345201014644 + 0.0*i,
    0.541910952486842 + 0.0*i,
    0.437791758140767 + 0.0*i,
    -0.842856872722483 + 0.0*i,
    0.220144324052496 + 0.0*i,
    0.213814180243901 + 0.0*i,
    -0.0323558508538771 + 0.0*i,
    -0.577405551680963 + 0.0*i,
    0.730909941667808 + 0.0*i,
    -0.187272934236345 + 0.0*i,
    0.946168004491333 + 0.0*i,
    -1.01767842153159 + 0.0*i,
    0.072299913735163 + 0.0*i,
    -0.382714452456627 + 0.0*i,
    0.0797382225939824 + 0.0*i,
    0.378781717071852 + 0.0*i,
    0.0542935702084664 + 0.0*i,
    -0.00730074930726898 + 0.0*i,
    0.21827965114712 + 0.0*i,
    -0.555732661767019 + 0.0*i,
    0.126559885055344 + 0.0*i,
    0.113728678331705 + 0.0*i,
    0.643606372064164 + 0.0*i,
    -0.511578974186309 + 0.0*i,
    -0.720074402578118 + 0.0*i,
    -0.508092681400402 + 0.0*i,
    0.393920375795846 + 0.0*i,
    -0.0779877973139096 + 0.0*i,
    -0.575463774215248 + 0.0*i,
    -1.1457340049298 + 0.0*i,
    0.32171790058757 + 0.0*i,
    -0.347525761514777 + 0.0*i,
    -0.228532524603691 + 0.0*i,
    -0.0654072260088702 + 0.0*i,
    -0.178045594509557 + 0.0*i,
    0.519367473068117 + 0.0*i,
    0.141789529802661 + 0.0*i,
    0.398841840249361 + 0.0*i,
    -0.246615284903876 + 0.0*i,
    -0.356274894620837 + 0.0*i,
    -0.36006489859369 + 0.0*i,
    -0.035054616791875 + 0.0*i,
    -0.620325087717748 + 0.0*i,
    0.438747069339635 + 0.0*i,
    -0.458911638297208 + 0.0*i,
    0.0110392351972683 + 0.0*i,
    -0.146782750026317 + 0.0*i,
    -0.216331476324581 + 0.0*i,
    0.394629948494451 + 0.0*i
]);