V:=Matrix(CC,8,25,[
    -0.246268761744694 + 0.0*i,
    -0.511294731002917 + 0.0*i,
    -0.313104770164225 + 0.0*i,
    0.302907517932878 + 0.0*i,
    0.0663791289525303 + 0.0*i,
    -0.500383324843012 + 0.0*i,
    -0.449257636703066 + 0.0*i,
    -0.365976704785412 + 0.0*i,
    0.22668362048431 + 0.0*i,
    -0.266731951873296 + 0.0*i,
    0.245259756931971 + 0.0*i,
    -0.580121822092438 + 0.0*i,
    0.0547085763304531 + 0.0*i,
    -0.213309079860109 + 0.0*i,
    -0.084479320270213 + 0.0*i,
    -0.254675088345339 + 0.0*i,
    -0.231335363238405 + 0.0*i,
    -0.243377234989034 + 0.0*i,
    -0.383159016231941 + 0.0*i,
    0.658031167975621 + 0.0*i,
    0.380288803158124 + 0.0*i,
    -0.490866091293338 + 0.0*i,
    0.0243114584473478 + 0.0*i,
    0.265706244326505 + 0.0*i,
    0.107460174740382 + 0.0*i,
    0.232131800445469 + 0.0*i,
    -0.239486811571173 + 0.0*i,
    -0.552594408950176 + 0.0*i,
    -0.452176657988825 + 0.0*i,
    0.151563558634448 + 0.0*i,
    -0.0584328331392585 + 0.0*i,
    0.476230638962315 + 0.0*i,
    -0.652223087922262 + 0.0*i,
    0.136439342960801 + 0.0*i,
    0.165811417798409 + 0.0*i,
    0.159759142126718 + 0.0*i,
    -0.226711964213143 + 0.0*i,
    -0.29205284190118 + 0.0*i,
    -0.436898982169269 + 0.0*i,
    -0.0142957424740649 + 0.0*i,
    0.530210287432711 + 0.0*i,
    0.414153167226615 + 0.0*i,
    0.0305099818319754 + 0.0*i,
    0.19671735697077 + 0.0*i,
    -0.206877501620344 + 0.0*i,
    0.0439513209635028 + 0.0*i,
    -0.228143628585334 + 0.0*i,
    -0.234514385947265 + 0.0*i,
    -0.425806452948875 + 0.0*i,
    0.638362639239194 + 0.0*i,
    0.31267158459451 + 0.0*i,
    0.518379910061863 + 0.0*i,
    0.165231857027119 + 0.0*i,
    0.124826596618233 + 0.0*i,
    -0.713259839672433 + 0.0*i,
    -0.0696058325601877 + 0.0*i,
    -0.427965093221647 + 0.0*i,
    -0.279945156237675 + 0.0*i,
    0.25073120036488 + 0.0*i,
    -0.434403119436216 + 0.0*i,
    -0.565772247893817 + 0.0*i,
    -0.235644811498853 + 0.0*i,
    -0.310393558204195 + 0.0*i,
    -0.180758209111091 + 0.0*i,
    0.125541317421595 + 0.0*i,
    0.427802241039235 + 0.0*i,
    -0.264147855049169 + 0.0*i,
    -0.0105761856834891 + 0.0*i,
    0.488924370424356 + 0.0*i,
    -0.0972030107887941 + 0.0*i,
    0.23106974734462 + 0.0*i,
    -0.357935348502218 + 0.0*i,
    0.364659567798917 + 0.0*i,
    -0.61300087547401 + 0.0*i,
    -0.40070905183371 + 0.0*i,
    -0.0708973354700762 + 0.0*i,
    -0.0781178429486641 + 0.0*i,
    0.0811718925537602 + 0.0*i,
    0.0237140252036764 + 0.0*i,
    -0.36478486015457 + 0.0*i,
    -0.108508625333829 + 0.0*i,
    0.245557168917538 + 0.0*i,
    -0.500128301127374 + 0.0*i,
    0.295049347633202 + 0.0*i,
    0.106657551909311 + 0.0*i,
    0.501018639216487 + 0.0*i,
    0.178612136794854 + 0.0*i,
    0.440419992961663 + 0.0*i,
    0.418612733670926 + 0.0*i,
    -0.822969060387001 + 0.0*i,
    0.316733906568233 + 0.0*i,
    -0.105890794365699 + 0.0*i,
    -0.518926828137856 + 0.0*i,
    -0.015702069354089 + 0.0*i,
    -0.640436731280967 + 0.0*i,
    0.202509759947136 + 0.0*i,
    0.104207349472978 + 0.0*i,
    0.288044485343181 + 0.0*i,
    0.279000649024641 + 0.0*i,
    -0.377766815484273 + 0.0*i,
    -0.401360861914068 + 0.0*i,
    -0.2669645221841 + 0.0*i,
    -0.290206799267962 + 0.0*i,
    0.410883037296447 + 0.0*i,
    -0.35737577768002 + 0.0*i,
    0.374216134336178 + 0.0*i,
    0.518457198101994 + 0.0*i,
    0.0550099898815027 + 0.0*i,
    -0.329897837192533 + 0.0*i,
    -0.176671837330071 + 0.0*i,
    0.136681718270583 + 0.0*i,
    -0.505283205239975 + 0.0*i,
    -0.378359047497817 + 0.0*i,
    0.637824260042415 + 0.0*i,
    0.0947047393151669 + 0.0*i,
    -0.10995289957946 + 0.0*i,
    0.240161006435888 + 0.0*i,
    0.496704577137357 + 0.0*i,
    0.634496414962055 + 0.0*i,
    0.139263494146171 + 0.0*i,
    0.660801936279068 + 0.0*i,
    0.156222904846547 + 0.0*i,
    0.0280481786887508 + 0.0*i,
    0.168515712810999 + 0.0*i,
    -0.0498490850079608 + 0.0*i,
    -0.545056534426059 + 0.0*i,
    0.397954032963533 + 0.0*i,
    -0.0895513294814164 + 0.0*i,
    0.428974583824938 + 0.0*i,
    -0.211919934942344 + 0.0*i,
    0.261271376496312 + 0.0*i,
    0.12406801321922 + 0.0*i,
    0.330677321220602 + 0.0*i,
    0.510359655098978 + 0.0*i,
    0.777929010801183 + 0.0*i,
    0.0382823127679966 + 0.0*i,
    0.065684666109483 + 0.0*i,
    -0.689360125569804 + 0.0*i,
    -0.312685020656575 + 0.0*i,
    -0.150950313786269 + 0.0*i,
    0.328363164159012 + 0.0*i,
    -0.692084150201073 + 0.0*i,
    -0.168557688051651 + 0.0*i,
    -0.193384522463985 + 0.0*i,
    0.105893435048999 + 0.0*i,
    0.0966824800522061 + 0.0*i,
    -0.10982750737219 + 0.0*i,
    -0.380217524087011 + 0.0*i,
    0.163151307673969 + 0.0*i,
    0.192060698885945 + 0.0*i,
    -0.564814398732181 + 0.0*i,
    -0.277578869244221 + 0.0*i,
    0.69769871475761 + 0.0*i,
    -0.383382373045397 + 0.0*i,
    -0.37874826583055 + 0.0*i,
    0.3652295017852 + 0.0*i,
    0.00750083393577668 + 0.0*i,
    -0.0200024492753063 + 0.0*i,
    0.397514852788429 + 0.0*i,
    -0.197355213681634 + 0.0*i,
    0.0483963326457305 + 0.0*i,
    -0.237531202067278 + 0.0*i,
    0.00204836970442813 + 0.0*i,
    0.224558961891833 + 0.0*i,
    -0.302186720889787 + 0.0*i,
    -0.287852943892435 + 0.0*i,
    0.0680777930211095 + 0.0*i,
    0.574563417072992 + 0.0*i,
    -0.348889886651998 + 0.0*i,
    -0.130724229396005 + 0.0*i,
    -0.165657946909862 + 0.0*i,
    -0.609217548936354 + 0.0*i,
    -0.0438527527353404 + 0.0*i,
    -0.398913230436952 + 0.0*i,
    0.424428412740569 + 0.0*i,
    -0.0505914889167817 + 0.0*i,
    -0.302865559368539 + 0.0*i,
    0.0991867894941635 + 0.0*i,
    -0.448562463489109 + 0.0*i,
    -0.00711042082996819 + 0.0*i,
    -0.617949975787099 + 0.0*i,
    0.228727649748519 + 0.0*i,
    0.103694116780092 + 0.0*i,
    -0.503778360726368 + 0.0*i,
    -0.168127410091715 + 0.0*i,
    -0.568861313742947 + 0.0*i,
    0.454166837869896 + 0.0*i,
    -0.0237493452987395 + 0.0*i,
    0.00052209071759474 + 0.0*i,
    -0.427017927970361 + 0.0*i,
    0.414537785624052 + 0.0*i,
    -0.378646869427333 + 0.0*i,
    0.261875667946544 + 0.0*i,
    -0.100757302982395 + 0.0*i,
    0.234144309296372 + 0.0*i,
    0.533155817497482 + 0.0*i,
    -0.39450064541131 + 0.0*i,
    -0.751299460884053 + 0.0*i,
    0.27358455561219 + 0.0*i,
    -0.243730990913892 + 0.0*i
]);