V:=Matrix(CC,9,46,[
    -0.248051196379968 + 0.0*i,
    -0.156994130888571 + 0.0*i,
    0.130662020802578 + 0.0*i,
    -0.549378226658478 + 0.0*i,
    0.741863206658957 + 0.0*i,
    0.218823156780874 + 0.0*i,
    0.412513457866196 + 0.0*i,
    -0.00914437451951757 + 0.0*i,
    0.143539711918818 + 0.0*i,
    0.202396540918648 + 0.0*i,
    0.201583850786268 + 0.0*i,
    0.437101064047495 + 0.0*i,
    0.120029021980066 + 0.0*i,
    -0.206985443327481 + 0.0*i,
    -0.119944430821865 + 0.0*i,
    -0.152274723958754 + 0.0*i,
    -0.534392972775745 + 0.0*i,
    0.447607911542248 + 0.0*i,
    -0.777469027060795 + 0.0*i,
    -0.153875359603892 + 0.0*i,
    0.451493901955951 + 0.0*i,
    -0.212895300175646 + 0.0*i,
    -0.566576004235908 + 0.0*i,
    -0.367442035920151 + 0.0*i,
    0.106932992750628 + 0.0*i,
    0.156382692418655 + 0.0*i,
    0.163896297359475 + 0.0*i,
    0.519222665095096 + 0.0*i,
    -0.23537146268889 + 0.0*i,
    -0.264266893126842 + 0.0*i,
    -0.0521732382848684 + 0.0*i,
    -0.502292378990275 + 0.0*i,
    -0.406388857894382 + 0.0*i,
    0.361251471475139 + 0.0*i,
    0.232928737191626 + 0.0*i,
    -0.753459165710406 + 0.0*i,
    -0.706232530700276 + 0.0*i,
    -0.0356810410046942 + 0.0*i,
    0.513311716658575 + 0.0*i,
    0.323014259486805 + 0.0*i,
    0.479489787951989 + 0.0*i,
    -0.392882605196046 + 0.0*i,
    -0.119335365268689 + 0.0*i,
    -0.135496607164537 + 0.0*i,
    -0.249255351985452 + 0.0*i,
    0.39765805219995 + 0.0*i,
    0.236977830162995 + 0.0*i,
    -0.260940043302873 + 0.0*i,
    0.0673772692632633 + 0.0*i,
    0.422975192790477 + 0.0*i,
    0.0318996207274835 + 0.0*i,
    -0.542720793484356 + 0.0*i,
    -0.402024720653877 + 0.0*i,
    -0.0422007828409311 + 0.0*i,
    -0.275480097693261 + 0.0*i,
    0.486855808605478 + 0.0*i,
    0.207573345735771 + 0.0*i,
    0.378340882919293 + 0.0*i,
    -0.323696124159516 + 0.0*i,
    -0.359222336788585 + 0.0*i,
    0.00683252571014951 + 0.0*i,
    0.326323039374431 + 0.0*i,
    -0.309847273403317 + 0.0*i,
    0.077039371661034 + 0.0*i,
    0.0894020640943399 + 0.0*i,
    -0.20065845344874 + 0.0*i,
    0.210450809531497 + 0.0*i,
    -0.0661410083212849 + 0.0*i,
    0.0668600142516934 + 0.0*i,
    -0.0165046709816768 + 0.0*i,
    -0.495238276913866 + 0.0*i,
    -0.264747340672025 + 0.0*i,
    0.0726582937695037 + 0.0*i,
    -0.103318970538767 + 0.0*i,
    0.127681044583413 + 0.0*i,
    0.348636467020473 + 0.0*i,
    0.432307057166316 + 0.0*i,
    -0.156705667518347 + 0.0*i,
    0.133858047070951 + 0.0*i,
    -0.096423841481818 + 0.0*i,
    0.165607317580347 + 0.0*i,
    0.045787394439105 + 0.0*i,
    0.170315500185424 + 0.0*i,
    0.292687972875932 + 0.0*i,
    0.215182378567411 + 0.0*i,
    -0.302387697175738 + 0.0*i,
    -0.553367940409653 + 0.0*i,
    0.220708281285112 + 0.0*i,
    -0.0901397177770798 + 0.0*i,
    0.308441785251172 + 0.0*i,
    -0.398910593178941 + 0.0*i,
    -0.382581810422281 + 0.0*i,
    0.275577245001956 + 0.0*i,
    -0.38799530936094 + 0.0*i,
    -0.165321904905989 + 0.0*i,
    0.482173150347946 + 0.0*i,
    -0.207053972557146 + 0.0*i,
    -0.168804201463042 + 0.0*i,
    -0.236073708551438 + 0.0*i,
    -0.229218361302225 + 0.0*i,
    0.182044462327175 + 0.0*i,
    -0.262891245769285 + 0.0*i,
    0.19954344865183 + 0.0*i,
    0.442850984620482 + 0.0*i,
    -0.284149999457083 + 0.0*i,
    -0.165594868180087 + 0.0*i,
    -0.30306541419683 + 0.0*i,
    0.562136058613622 + 0.0*i,
    0.348356269385664 + 0.0*i,
    0.397347368816494 + 0.0*i,
    0.0948101414091101 + 0.0*i,
    0.0320879223880131 + 0.0*i,
    -0.0232350544297734 + 0.0*i,
    0.602584948636907 + 0.0*i,
    0.161956179649988 + 0.0*i,
    0.117323212156083 + 0.0*i,
    0.112486675486749 + 0.0*i,
    -0.0529961053055823 + 0.0*i,
    0.233309809276245 + 0.0*i,
    -0.101050644500468 + 0.0*i,
    -0.136509949535882 + 0.0*i,
    -0.540296749946468 + 0.0*i,
    0.250375904247654 + 0.0*i,
    0.177402730308045 + 0.0*i,
    0.0254949307795988 + 0.0*i,
    -0.700611624897875 + 0.0*i,
    0.343240995721208 + 0.0*i,
    0.272318573828257 + 0.0*i,
    0.706427998689508 + 0.0*i,
    -0.0545087208046023 + 0.0*i,
    -0.209305103511793 + 0.0*i,
    0.232960679334323 + 0.0*i,
    -0.361063304877239 + 0.0*i,
    -0.322559724375239 + 0.0*i,
    -0.0730074934971687 + 0.0*i,
    0.906466367508907 + 0.0*i,
    -0.493492533948803 + 0.0*i,
    0.0375771589760591 + 0.0*i,
    0.154032624383196 + 0.0*i,
    -0.172661459428502 + 0.0*i,
    -0.0433477962780477 + 0.0*i,
    0.282485973940954 + 0.0*i,
    0.215117622559287 + 0.0*i,
    0.184162994772001 + 0.0*i,
    0.0306099776196629 + 0.0*i,
    1.05126136914998 + 0.0*i,
    0.114664969115806 + 0.0*i,
    0.535376238831148 + 0.0*i,
    -0.184904822924139 + 0.0*i,
    -0.158590728513587 + 0.0*i,
    0.657704277393099 + 0.0*i,
    0.18537912765202 + 0.0*i,
    -0.410458026772978 + 0.0*i,
    -0.325020884588742 + 0.0*i,
    0.410710047477788 + 0.0*i,
    -0.271870244937698 + 0.0*i,
    0.0042053279757065 + 0.0*i,
    -0.21953630625686 + 0.0*i,
    0.398553788830451 + 0.0*i,
    0.520759750111491 + 0.0*i,
    -0.132580246158662 + 0.0*i,
    0.0445565198734895 + 0.0*i,
    0.25507803686264 + 0.0*i,
    -0.451534360079474 + 0.0*i,
    -0.354253888526835 + 0.0*i,
    -0.554397659900527 + 0.0*i,
    0.191396498199832 + 0.0*i,
    -0.503318047911284 + 0.0*i,
    -0.312106633080184 + 0.0*i,
    -0.143715409056976 + 0.0*i,
    -0.0428261699573577 + 0.0*i,
    0.216904759428828 + 0.0*i,
    0.485473163323437 + 0.0*i,
    0.48388534236143 + 0.0*i,
    0.345312892693788 + 0.0*i,
    0.251006640842763 + 0.0*i,
    -0.036348233153971 + 0.0*i,
    -0.166650697958306 + 0.0*i,
    -0.214494308580147 + 0.0*i,
    -0.411636227939481 + 0.0*i,
    -0.162054045165656 + 0.0*i,
    0.359105637168138 + 0.0*i,
    0.571392688557813 + 0.0*i,
    0.20658087620756 + 0.0*i,
    0.585789638679443 + 0.0*i,
    -0.0596647631020542 + 0.0*i,
    -0.406621126712878 + 0.0*i,
    -0.275662904424987 + 0.0*i,
    -0.0975330448981678 + 0.0*i,
    -0.554491068492 + 0.0*i,
    -0.00852952053042628 + 0.0*i,
    0.0085825619186455 + 0.0*i,
    -0.549268441803529 + 0.0*i,
    -0.201449210686489 + 0.0*i,
    0.0505357693056136 + 0.0*i,
    -0.0730168962705768 + 0.0*i,
    -0.0923960688681467 + 0.0*i,
    0.156992431076643 + 0.0*i,
    0.0842439270726388 + 0.0*i,
    -0.73564845772432 + 0.0*i,
    0.112330774365713 + 0.0*i,
    -0.00897043973561129 + 0.0*i,
    0.130458416189984 + 0.0*i,
    0.388316045758902 + 0.0*i,
    0.474987501195437 + 0.0*i,
    0.326243497605775 + 0.0*i,
    -0.0427685381118312 + 0.0*i,
    -0.362198981857271 + 0.0*i,
    0.464300907762762 + 0.0*i,
    -1.15782944017838 + 0.0*i,
    0.1406447806898 + 0.0*i,
    -0.552710408500998 + 0.0*i,
    0.210892697114417 + 0.0*i,
    0.059822233018416 + 0.0*i,
    -0.121352377789096 + 0.0*i,
    -0.246279981777977 + 0.0*i,
    -0.104183724892856 + 0.0*i,
    -0.245729203785118 + 0.0*i,
    -0.732841947069834 + 0.0*i,
    0.0678326498915297 + 0.0*i,
    0.131721058372714 + 0.0*i,
    0.159898912559433 + 0.0*i,
    -0.636175678313575 + 0.0*i,
    0.121074872558178 + 0.0*i,
    -0.202548278286427 + 0.0*i,
    0.0226686019086906 + 0.0*i,
    -0.0125389839859411 + 0.0*i,
    -0.00111293331923252 + 0.0*i,
    -0.301696415067487 + 0.0*i,
    0.131259320528317 + 0.0*i,
    -0.644349134317341 + 0.0*i,
    -0.5415491772738 + 0.0*i,
    -0.211010653181171 + 0.0*i,
    0.553750689020297 + 0.0*i,
    -0.0382424311043373 + 0.0*i,
    -0.0303952928455717 + 0.0*i,
    -0.239923574413994 + 0.0*i,
    -0.168481713834855 + 0.0*i,
    -0.223739754698199 + 0.0*i,
    0.392923307652014 + 0.0*i,
    0.0113190355513179 + 0.0*i,
    -0.328028389136768 + 0.0*i,
    0.554240529198397 + 0.0*i,
    -0.0246738320808253 + 0.0*i,
    0.0687184910102383 + 0.0*i,
    0.113605615713052 + 0.0*i,
    -0.157361387540025 + 0.0*i,
    0.162514059581641 + 0.0*i,
    -0.0351344005891421 + 0.0*i,
    -0.0953046825515534 + 0.0*i,
    -0.15526607448385 + 0.0*i,
    0.455150709651834 + 0.0*i,
    0.0291378912364773 + 0.0*i,
    -0.209703661848798 + 0.0*i,
    0.221123047967233 + 0.0*i,
    -0.00960510211388309 + 0.0*i,
    -0.145759933365376 + 0.0*i,
    -0.297275960328927 + 0.0*i,
    -0.390195903823975 + 0.0*i,
    -0.0430149432943039 + 0.0*i,
    0.478958791962461 + 0.0*i,
    0.360326918193675 + 0.0*i,
    -0.499766094630927 + 0.0*i,
    0.176371100531449 + 0.0*i,
    0.377163731756295 + 0.0*i,
    0.536445691598198 + 0.0*i,
    -0.678788433818575 + 0.0*i,
    0.200824941369573 + 0.0*i,
    0.0781986735424521 + 0.0*i,
    -0.305028746940164 + 0.0*i,
    -0.0231074359040647 + 0.0*i,
    0.180947382393348 + 0.0*i,
    0.130458292250678 + 0.0*i,
    0.304511775153658 + 0.0*i,
    0.0295767292905107 + 0.0*i,
    -0.164973521408366 + 0.0*i,
    0.179879192662822 + 0.0*i,
    0.0955435616938922 + 0.0*i,
    -0.349870130267628 + 0.0*i,
    0.166733158240035 + 0.0*i,
    0.220799607074373 + 0.0*i,
    -0.190423436272482 + 0.0*i,
    0.0488951520230818 + 0.0*i,
    0.251211170747839 + 0.0*i,
    -0.350544533437692 + 0.0*i,
    0.00184126583626004 + 0.0*i,
    -0.163820450215656 + 0.0*i,
    -0.583596144309729 + 0.0*i,
    -0.318183627550933 + 0.0*i,
    -0.0186553929563216 + 0.0*i,
    0.0965277282143018 + 0.0*i,
    -0.383194299706799 + 0.0*i,
    -0.00129182644302186 + 0.0*i,
    -0.131153801243483 + 0.0*i,
    0.336004036456213 + 0.0*i,
    0.562128284290491 + 0.0*i,
    0.28108905324143 + 0.0*i,
    -0.192773039983757 + 0.0*i,
    0.0679793779250315 + 0.0*i,
    0.136472287936729 + 0.0*i,
    -0.12525608659736 + 0.0*i,
    -0.00155719458956181 + 0.0*i,
    0.0714319035699628 + 0.0*i,
    0.331665655741819 + 0.0*i,
    0.364904869915172 + 0.0*i,
    0.0220490173279254 + 0.0*i,
    -0.0553727971669769 + 0.0*i,
    0.409042227075481 + 0.0*i,
    0.0529119456222458 + 0.0*i,
    -0.229415269839871 + 0.0*i,
    0.146094271464067 + 0.0*i,
    -0.516259074598913 + 0.0*i,
    0.0114532571666495 + 0.0*i,
    -0.23955395200801 + 0.0*i,
    -0.230537981018757 + 0.0*i,
    0.35046156636903 + 0.0*i,
    -0.0674149916895287 + 0.0*i,
    0.192591278934871 + 0.0*i,
    0.166064219797362 + 0.0*i,
    0.821273975704645 + 0.0*i,
    0.0358150189766357 + 0.0*i,
    -0.14575109161084 + 0.0*i,
    -0.588279640812839 + 0.0*i,
    0.583238131835452 + 0.0*i,
    -0.122018133042923 + 0.0*i,
    -0.44614743828289 + 0.0*i,
    0.41317537696615 + 0.0*i,
    0.720829341605952 + 0.0*i,
    0.218805205901691 + 0.0*i,
    0.313761607946889 + 0.0*i,
    0.26991748178136 + 0.0*i,
    0.115029963719866 + 0.0*i,
    -0.0843774577343008 + 0.0*i,
    -0.658261978933079 + 0.0*i,
    0.420548142809557 + 0.0*i,
    -0.0867544339642916 + 0.0*i,
    0.0533820191328543 + 0.0*i,
    -0.00286658103318624 + 0.0*i,
    0.190355021797019 + 0.0*i,
    -0.436292769613729 + 0.0*i,
    0.285685420633777 + 0.0*i,
    0.161916456428991 + 0.0*i,
    0.175096649923793 + 0.0*i,
    0.30892803940008 + 0.0*i,
    0.152492762905269 + 0.0*i,
    -0.173532497363885 + 0.0*i,
    -0.29966682481262 + 0.0*i,
    -0.251865884384223 + 0.0*i,
    0.125912574722964 + 0.0*i,
    -0.0318406283844306 + 0.0*i,
    0.155237728610389 + 0.0*i,
    0.0987138408884098 + 0.0*i,
    -0.389783613625352 + 0.0*i,
    0.354687905417569 + 0.0*i,
    -0.0597363058010158 + 0.0*i,
    0.432190285681874 + 0.0*i,
    0.0807826831492452 + 0.0*i,
    0.161344436666188 + 0.0*i,
    -0.0709485016128853 + 0.0*i,
    0.0348085814942967 + 0.0*i,
    -0.154018947416218 + 0.0*i,
    0.131321347799266 + 0.0*i,
    0.120753566432521 + 0.0*i,
    0.947717119141642 + 0.0*i,
    0.178445159888601 + 0.0*i,
    -0.270273320882573 + 0.0*i,
    0.406438910213144 + 0.0*i,
    0.691937445143692 + 0.0*i,
    -0.0885385251083371 + 0.0*i,
    -0.39859894148034 + 0.0*i,
    0.358015549213575 + 0.0*i,
    -0.22981165161044 + 0.0*i,
    0.285774757885462 + 0.0*i,
    -0.166455176773982 + 0.0*i,
    -0.128988416357527 + 0.0*i,
    0.438576413551882 + 0.0*i,
    0.838414494559649 + 0.0*i,
    -0.157515362215661 + 0.0*i,
    -0.171465713151297 + 0.0*i,
    -0.168073753881524 + 0.0*i,
    -0.0738941982960825 + 0.0*i,
    0.129378267699475 + 0.0*i,
    -0.361469865994762 + 0.0*i,
    0.314031713930211 + 0.0*i,
    0.326787043116247 + 0.0*i,
    0.118918567088284 + 0.0*i,
    -0.604572629645262 + 0.0*i,
    0.102123190772529 + 0.0*i,
    -0.129661622555004 + 0.0*i,
    -0.14364544928311 + 0.0*i,
    -0.584363504258503 + 0.0*i,
    -0.162688816413173 + 0.0*i,
    0.204613303138301 + 0.0*i,
    0.379668938646931 + 0.0*i,
    0.102516827061226 + 0.0*i,
    0.767734132058875 + 0.0*i,
    -0.0765548005093965 + 0.0*i,
    0.195383727184316 + 0.0*i,
    -0.790840907606056 + 0.0*i,
    -0.439544128326057 + 0.0*i,
    0.527190761380895 + 0.0*i,
    -0.729593147146123 + 0.0*i,
    0.298383461936216 + 0.0*i,
    0.168779762726574 + 0.0*i,
    -0.599777195634901 + 0.0*i,
    0.0856282928825912 + 0.0*i,
    -0.105087493564438 + 0.0*i,
    -0.159027936454781 + 0.0*i,
    -0.208511241344793 + 0.0*i,
    -0.466155660115834 + 0.0*i,
    -0.401726457357017 + 0.0*i,
    0.2299074996431 + 0.0*i,
    -0.0180752765954334 + 0.0*i,
    -0.0980856572330861 + 0.0*i
]);