V:=Matrix(CC,9,23,[
    -0.154291139672657 + 0.0*i,
    -0.297943623952668 + 0.0*i,
    -0.180288673199559 + 0.0*i,
    0.184342947147235 + 0.0*i,
    0.314030365458472 + 0.0*i,
    0.474314724841274 + 0.0*i,
    0.318912909420825 + 0.0*i,
    -0.229475802380048 + 0.0*i,
    -0.00617718456565186 + 0.0*i,
    -0.0928486523348562 + 0.0*i,
    -0.0329479251990187 + 0.0*i,
    0.306340306031526 + 0.0*i,
    0.37285028272849 + 0.0*i,
    -0.150348750946834 + 0.0*i,
    -0.0943489099151893 + 0.0*i,
    -0.46392301811233 + 0.0*i,
    -0.287380980973734 + 0.0*i,
    0.196444545283047 + 0.0*i,
    0.422969695532642 + 0.0*i,
    -0.408389694647688 + 0.0*i,
    0.416251077983383 + 0.0*i,
    -0.3575410591822 + 0.0*i,
    -0.50978639916589 + 0.0*i,
    0.34489078847502 + 0.0*i,
    0.247233951764965 + 0.0*i,
    0.117955148750707 + 0.0*i,
    -0.0588615698573466 + 0.0*i,
    -0.173412317492124 + 0.0*i,
    0.199313270515034 + 0.0*i,
    -0.485459094504097 + 0.0*i,
    -0.399036426305682 + 0.0*i,
    -0.794649451627248 + 0.0*i,
    0.441437666139513 + 0.0*i,
    -0.1452809295878 + 0.0*i,
    0.127075908170863 + 0.0*i,
    0.302399405103761 + 0.0*i,
    -0.196965506446399 + 0.0*i,
    -0.237365711709582 + 0.0*i,
    -0.508547987457436 + 0.0*i,
    0.338529435754521 + 0.0*i,
    0.00695274586552964 + 0.0*i,
    0.352095791690662 + 0.0*i,
    0.179189736721299 + 0.0*i,
    -0.0523550003151086 + 0.0*i,
    0.769887139442824 + 0.0*i,
    -0.202904487062574 + 0.0*i,
    -0.11979497601181 + 0.0*i,
    -0.382967766630618 + 0.0*i,
    -0.578320365624983 + 0.0*i,
    0.521799816313308 + 0.0*i,
    -0.396216401890318 + 0.0*i,
    0.39186764994026 + 0.0*i,
    -0.675401313621433 + 0.0*i,
    0.328301304969665 + 0.0*i,
    -0.259585862947033 + 0.0*i,
    -0.479823362026456 + 0.0*i,
    0.474409700115879 + 0.0*i,
    -0.425806928736609 + 0.0*i,
    -0.0825977700413165 + 0.0*i,
    -0.333850807676839 + 0.0*i,
    -0.395413259942001 + 0.0*i,
    0.0477419209731279 + 0.0*i,
    0.00182140636017254 + 0.0*i,
    -0.236539597189986 + 0.0*i,
    0.198835410392302 + 0.0*i,
    -0.362833095555312 + 0.0*i,
    0.527788997390187 + 0.0*i,
    -0.32595654116151 + 0.0*i,
    0.588477061870512 + 0.0*i,
    0.317641128496323 + 0.0*i,
    0.00116976342566636 + 0.0*i,
    -0.0198774016690833 + 0.0*i,
    -0.376246168589371 + 0.0*i,
    0.405737614549047 + 0.0*i,
    0.454603301997227 + 0.0*i,
    0.0342375873347246 + 0.0*i,
    -0.135710383805027 + 0.0*i,
    -0.123604971652315 + 0.0*i,
    0.497105617115057 + 0.0*i,
    -0.34163627506457 + 0.0*i,
    -0.210788541604058 + 0.0*i,
    0.00338064981829255 + 0.0*i,
    0.482521176968327 + 0.0*i,
    -0.18464762606229 + 0.0*i,
    -0.098178559490839 + 0.0*i,
    -0.491523169453281 + 0.0*i,
    -0.166201268120829 + 0.0*i,
    -0.200442178246679 + 0.0*i,
    -0.189628322677634 + 0.0*i,
    -0.585939573681363 + 0.0*i,
    -0.0135926212381438 + 0.0*i,
    0.248809095021887 + 0.0*i,
    -0.660951222454323 + 0.0*i,
    -0.00647609350547543 + 0.0*i,
    -0.0372848414269357 + 0.0*i,
    -0.652295743540846 + 0.0*i,
    0.395829077751921 + 0.0*i,
    0.337351496758664 + 0.0*i,
    -0.216002608526916 + 0.0*i,
    0.446870292036556 + 0.0*i,
    0.345426353799049 + 0.0*i,
    -0.3663350067317 + 0.0*i,
    -0.256279665506333 + 0.0*i,
    0.150826713026839 + 0.0*i,
    0.294357108364997 + 0.0*i,
    0.430292990035193 + 0.0*i,
    0.133547719997202 + 0.0*i,
    0.0546320539441658 + 0.0*i,
    -0.249660414473858 + 0.0*i,
    -0.750389580288127 + 0.0*i,
    0.0529947782911221 + 0.0*i,
    -0.306564150010954 + 0.0*i,
    0.350558667475886 + 0.0*i,
    0.163912512562588 + 0.0*i,
    0.188863780217309 + 0.0*i,
    0.134169986796209 + 0.0*i,
    0.108016953604109 + 0.0*i,
    -0.602813820751866 + 0.0*i,
    -0.228440562139282 + 0.0*i,
    0.534946763281412 + 0.0*i,
    0.198314621918048 + 0.0*i,
    -0.199751785516124 + 0.0*i,
    0.446429186106983 + 0.0*i,
    -0.18188588038456 + 0.0*i,
    0.218080673526008 + 0.0*i,
    0.207224330205554 + 0.0*i,
    0.0794877451854844 + 0.0*i,
    0.119531801338249 + 0.0*i,
    -0.0664105964248565 + 0.0*i,
    0.69856526800002 + 0.0*i,
    0.43291233704721 + 0.0*i,
    0.143743750271571 + 0.0*i,
    0.44332109195605 + 0.0*i,
    0.370876118202999 + 0.0*i,
    0.363108345320522 + 0.0*i,
    -0.100669480581471 + 0.0*i,
    0.0515189528450841 + 0.0*i,
    -0.131345864086414 + 0.0*i,
    -0.474506982743083 + 0.0*i,
    0.173337477475117 + 0.0*i,
    -0.460200935132757 + 0.0*i,
    0.213988979724757 + 0.0*i,
    -0.405086814332911 + 0.0*i,
    -0.416662838351919 + 0.0*i,
    -0.0422339989202968 + 0.0*i,
    0.213576195943327 + 0.0*i,
    -0.206546827980364 + 0.0*i,
    -0.0916921628427432 + 0.0*i,
    -0.36217537451961 + 0.0*i,
    -0.000623530072086973 + 0.0*i,
    0.163922567596429 + 0.0*i,
    0.485039444919737 + 0.0*i,
    -0.187325899714164 + 0.0*i,
    -0.557355717949833 + 0.0*i,
    -0.649573588861246 + 0.0*i,
    -0.102898109363987 + 0.0*i,
    0.351100614980374 + 0.0*i,
    0.27244733950832 + 0.0*i,
    0.0632353850101743 + 0.0*i,
    0.114391770844567 + 0.0*i,
    0.133644733284693 + 0.0*i,
    -0.354426241636488 + 0.0*i,
    0.446714318744894 + 0.0*i,
    -0.049124263002901 + 0.0*i,
    -0.187936832258438 + 0.0*i,
    -0.438886255598728 + 0.0*i,
    0.422035125312742 + 0.0*i,
    0.171390341345279 + 0.0*i,
    -0.153943330259375 + 0.0*i,
    0.0622225647128294 + 0.0*i,
    0.323696640649978 + 0.0*i,
    0.362124858890591 + 0.0*i,
    -0.53793402297183 + 0.0*i,
    -0.634182943121602 + 0.0*i,
    -0.0450797181439448 + 0.0*i,
    0.0689197291077898 + 0.0*i,
    0.167292167212122 + 0.0*i,
    -0.228978665611823 + 0.0*i,
    -0.243259127831849 + 0.0*i,
    0.0827901874223586 + 0.0*i,
    0.295792106775908 + 0.0*i,
    0.0606289672458956 + 0.0*i,
    0.204194548014617 + 0.0*i,
    -0.0916710880027988 + 0.0*i,
    0.0903522881325975 + 0.0*i,
    0.718698877106081 + 0.0*i,
    -0.0662346324361609 + 0.0*i,
    -0.246722346444345 + 0.0*i,
    -0.115745671931621 + 0.0*i,
    0.0218411694648584 + 0.0*i,
    0.116248990414796 + 0.0*i,
    0.296815476277991 + 0.0*i,
    0.151969773375546 + 0.0*i,
    -0.263254337220619 + 0.0*i,
    0.323100664507647 + 0.0*i,
    0.396408473745666 + 0.0*i,
    -0.282373341967707 + 0.0*i,
    0.478912609107004 + 0.0*i,
    -0.517863384092071 + 0.0*i,
    0.179926281379878 + 0.0*i,
    0.149225119710569 + 0.0*i,
    0.419673264875272 + 0.0*i,
    -0.395650572805245 + 0.0*i,
    -0.559094972378961 + 0.0*i,
    0.383118226135156 + 0.0*i,
    -0.374735706669748 + 0.0*i,
    -0.137190475740467 + 0.0*i
]);