V:=Matrix(CC,9,24,[
    -0.577653861810992 + 0.0*i,
    0.637041248363403 + 0.0*i,
    -0.000280723162274686 + 0.0*i,
    -0.0401502213062764 + 0.0*i,
    -0.542045103112267 + 0.0*i,
    -0.427710510307336 + 0.0*i,
    0.125866481193134 + 0.0*i,
    0.395294880341541 + 0.0*i,
    0.357412370867868 + 0.0*i,
    -0.252840355163996 + 0.0*i,
    0.0937598975250821 + 0.0*i,
    -0.0681973430627194 + 0.0*i,
    0.220085806416897 + 0.0*i,
    0.183675043333935 + 0.0*i,
    -0.14615855291677 + 0.0*i,
    0.461489610396728 + 0.0*i,
    0.21066760940882 + 0.0*i,
    0.23424653961611 + 0.0*i,
    -0.721094352705784 + 0.0*i,
    -0.276318248122432 + 0.0*i,
    -0.157282489736883 + 0.0*i,
    0.0907924409993626 + 0.0*i,
    0.267774254558918 + 0.0*i,
    0.298516976550525 + 0.0*i,
    0.250744537110554 + 0.0*i,
    0.425733603627003 + 0.0*i,
    0.0661270549747418 + 0.0*i,
    0.054909925955699 + 0.0*i,
    -0.175897774188937 + 0.0*i,
    -0.0448563356692886 + 0.0*i,
    0.209938757034369 + 0.0*i,
    -0.46365115031943 + 0.0*i,
    0.315939377088254 + 0.0*i,
    -0.0649637722724755 + 0.0*i,
    0.399155173170386 + 0.0*i,
    0.551848938403112 + 0.0*i,
    -0.404257616385519 + 0.0*i,
    -0.113503199501187 + 0.0*i,
    -0.340423833685935 + 0.0*i,
    -0.54398869210461 + 0.0*i,
    0.459661369234618 + 0.0*i,
    0.121354445743657 + 0.0*i,
    0.318119097104613 + 0.0*i,
    -0.441545429601699 + 0.0*i,
    -0.00108798446401277 + 0.0*i,
    0.259702869598954 + 0.0*i,
    0.287032184116508 + 0.0*i,
    0.0472608218044734 + 0.0*i,
    0.445315759533302 + 0.0*i,
    -0.114840293404574 + 0.0*i,
    0.680115997526842 + 0.0*i,
    0.575284465070736 + 0.0*i,
    -0.404553497144963 + 0.0*i,
    -0.596202831246303 + 0.0*i,
    0.0665975617085873 + 0.0*i,
    -0.11621757108181 + 0.0*i,
    -0.210857208975421 + 0.0*i,
    0.0235774219233644 + 0.0*i,
    0.251710205808946 + 0.0*i,
    -0.182904309582704 + 0.0*i,
    -0.41036800566912 + 0.0*i,
    0.113702631000177 + 0.0*i,
    0.546884453273714 + 0.0*i,
    0.0520149422878362 + 0.0*i,
    -0.543352433513645 + 0.0*i,
    -0.084340096981027 + 0.0*i,
    -0.160168950725787 + 0.0*i,
    -0.33391153917116 + 0.0*i,
    -0.199653320841004 + 0.0*i,
    0.2665239810266 + 0.0*i,
    -0.084746491523893 + 0.0*i,
    0.140740578308228 + 0.0*i,
    0.00316300209025545 + 0.0*i,
    -0.132867228792845 + 0.0*i,
    -0.0372050863032872 + 0.0*i,
    -0.189503530447328 + 0.0*i,
    0.336210249952041 + 0.0*i,
    -0.125583546314722 + 0.0*i,
    0.144527452308187 + 0.0*i,
    -0.481890716402136 + 0.0*i,
    0.289520565973242 + 0.0*i,
    -0.425672839735422 + 0.0*i,
    -0.675673360656226 + 0.0*i,
    -0.00101034550764815 + 0.0*i,
    0.172810893735284 + 0.0*i,
    0.367078102916287 + 0.0*i,
    0.45060471618158 + 0.0*i,
    -0.0733075557545509 + 0.0*i,
    0.381143940151357 + 0.0*i,
    -0.322121152808168 + 0.0*i,
    -0.174294664839955 + 0.0*i,
    -0.685098052647189 + 0.0*i,
    0.0781903015770363 + 0.0*i,
    0.305468144262409 + 0.0*i,
    -0.498570851750685 + 0.0*i,
    -0.0504935139708112 + 0.0*i,
    -0.492873849327275 + 0.0*i,
    0.340858334859165 + 0.0*i,
    -0.168362379279198 + 0.0*i,
    0.131329936257947 + 0.0*i,
    -0.310145095454087 + 0.0*i,
    0.509198757921584 + 0.0*i,
    0.151331541802208 + 0.0*i,
    0.0684978172983909 + 0.0*i,
    -0.506795210318668 + 0.0*i,
    0.0977234428076229 + 0.0*i,
    -0.11238588926482 + 0.0*i,
    -0.312973817153128 + 0.0*i,
    -0.706102198753785 + 0.0*i,
    -0.0620339617129716 + 0.0*i,
    0.0573860645128687 + 0.0*i,
    -0.019713421250267 + 0.0*i,
    -0.0466722689564819 + 0.0*i,
    0.0703307073255229 + 0.0*i,
    0.131950846516391 + 0.0*i,
    -0.281035389811946 + 0.0*i,
    0.672325418108635 + 0.0*i,
    0.102382576770607 + 0.0*i,
    -0.547174779683656 + 0.0*i,
    0.0012506048736093 + 0.0*i,
    0.281978096060638 + 0.0*i,
    0.250827707910076 + 0.0*i,
    -0.671299344849944 + 0.0*i,
    0.164252629844699 + 0.0*i,
    -0.0312642976937283 + 0.0*i,
    -0.320260407149442 + 0.0*i,
    0.00467047542020337 + 0.0*i,
    0.455033032107035 + 0.0*i,
    -0.497544484967114 + 0.0*i,
    0.258973755747341 + 0.0*i,
    0.202312583699904 + 0.0*i,
    0.439582097011042 + 0.0*i,
    0.214576244404736 + 0.0*i,
    0.655155378886616 + 0.0*i,
    -0.13962653525034 + 0.0*i,
    0.258387284419174 + 0.0*i,
    -0.0526386316151991 + 0.0*i,
    -0.652911827930593 + 0.0*i,
    0.28205053960656 + 0.0*i,
    -0.0152670884748989 + 0.0*i,
    0.235141986192588 + 0.0*i,
    0.483942511042966 + 0.0*i,
    0.0388415049212501 + 0.0*i,
    -0.114296998702597 + 0.0*i,
    -0.0461929796085776 + 0.0*i,
    -0.331896515674817 + 0.0*i,
    0.215901796528642 + 0.0*i,
    0.28986917557918 + 0.0*i,
    -0.441520809479095 + 0.0*i,
    0.054532381980394 + 0.0*i,
    -0.677674184192582 + 0.0*i,
    0.252390483564441 + 0.0*i,
    -0.141918328984948 + 0.0*i,
    -0.643817732746081 + 0.0*i,
    -0.344766562913391 + 0.0*i,
    -0.0556899528839653 + 0.0*i,
    0.203783493434433 + 0.0*i,
    -0.0351714469024815 + 0.0*i,
    -0.500402571381605 + 0.0*i,
    -0.586473960118445 + 0.0*i,
    0.12897600332562 + 0.0*i,
    -0.540220144174749 + 0.0*i,
    -0.0691342524850992 + 0.0*i,
    -0.118594335860907 + 0.0*i,
    0.0740642862095631 + 0.0*i,
    -0.09538687928292 + 0.0*i,
    0.0353723913178155 + 0.0*i,
    0.516870790034925 + 0.0*i,
    0.270537487112987 + 0.0*i,
    0.103410321474177 + 0.0*i,
    -0.00594182338079319 + 0.0*i,
    0.0867644533593091 + 0.0*i,
    -0.224619503391159 + 0.0*i,
    0.280222009135115 + 0.0*i,
    -0.652389688731485 + 0.0*i,
    -0.108512462038184 + 0.0*i,
    -0.304475514896764 + 0.0*i,
    0.0587516853471763 + 0.0*i,
    -0.084646147683279 + 0.0*i,
    -0.420412995542894 + 0.0*i,
    -0.0710914620069797 + 0.0*i,
    0.511797732146993 + 0.0*i,
    0.123949888450615 + 0.0*i,
    0.0393048362565277 + 0.0*i,
    0.530492327970919 + 0.0*i,
    0.307595052880425 + 0.0*i,
    -0.319899623236821 + 0.0*i,
    0.109762165179773 + 0.0*i,
    -0.382722786193701 + 0.0*i,
    0.163446794141933 + 0.0*i,
    0.365559737540598 + 0.0*i,
    -0.748472697321981 + 0.0*i,
    -0.0918642588670499 + 0.0*i,
    -0.28534588155584 + 0.0*i,
    -0.072534029094083 + 0.0*i,
    -0.700797911704992 + 0.0*i,
    -0.235660554128159 + 0.0*i,
    0.00752311166702118 + 0.0*i,
    0.0854795908276097 + 0.0*i,
    -0.308093438987401 + 0.0*i,
    -0.163391541562232 + 0.0*i,
    -0.504927626559832 + 0.0*i,
    0.364324253621778 + 0.0*i,
    -0.432078111658693 + 0.0*i,
    0.00150756359337295 + 0.0*i,
    -0.330961222187728 + 0.0*i,
    -0.269083967692846 + 0.0*i,
    0.267687351805166 + 0.0*i,
    -0.0336017168986766 + 0.0*i,
    -0.0417625417472949 + 0.0*i,
    0.34473079870862 + 0.0*i,
    0.207708715953629 + 0.0*i,
    -0.518950438675405 + 0.0*i,
    0.69315261772955 + 0.0*i,
    -0.392568021038588 + 0.0*i,
    -0.213043822404771 + 0.0*i
]);