V:=Matrix(CC,9,24,[
    -0.185159225583328 + 0.0*i,
    0.166270522157685 + 0.0*i,
    0.460974540679953 + 0.0*i,
    0.32267700963011 + 0.0*i,
    -0.526112512437253 + 0.0*i,
    -0.158057608203669 + 0.0*i,
    0.448295406885744 + 0.0*i,
    0.238622335064109 + 0.0*i,
    0.0254967642399314 + 0.0*i,
    0.116727558523373 + 0.0*i,
    0.570039197521054 + 0.0*i,
    0.0118431411345201 + 0.0*i,
    -0.00350509959122203 + 0.0*i,
    0.644160655013009 + 0.0*i,
    -0.724837180674121 + 0.0*i,
    -0.00692326296682197 + 0.0*i,
    -0.422059140679893 + 0.0*i,
    -0.070184611824113 + 0.0*i,
    0.190110510736367 + 0.0*i,
    0.0456115826260936 + 0.0*i,
    -0.194675484428581 + 0.0*i,
    0.378036617081317 + 0.0*i,
    0.294908807266085 + 0.0*i,
    -0.185558146928082 + 0.0*i,
    0.324520487463806 + 0.0*i,
    -0.420581494264865 + 0.0*i,
    -0.156789833622027 + 0.0*i,
    0.193451075616315 + 0.0*i,
    -0.0479881585659458 + 0.0*i,
    0.011803760595518 + 0.0*i,
    0.0678608789502111 + 0.0*i,
    0.021776516896079 + 0.0*i,
    0.369722682685544 + 0.0*i,
    0.566670039429679 + 0.0*i,
    -0.159741054320136 + 0.0*i,
    0.269526752772554 + 0.0*i,
    0.0753235055657503 + 0.0*i,
    -0.310921513000657 + 0.0*i,
    -0.493036270159976 + 0.0*i,
    0.0917897549438072 + 0.0*i,
    0.387801796213646 + 0.0*i,
    0.0769097311473326 + 0.0*i,
    0.5384811272808 + 0.0*i,
    0.60799447441977 + 0.0*i,
    0.146609602367409 + 0.0*i,
    0.41091910008526 + 0.0*i,
    -0.178842018531114 + 0.0*i,
    0.610020828640069 + 0.0*i,
    0.319928999991819 + 0.0*i,
    -0.31659515532235 + 0.0*i,
    0.197757092399674 + 0.0*i,
    -0.100558828618798 + 0.0*i,
    0.297196764582666 + 0.0*i,
    0.168256285948937 + 0.0*i,
    -0.238247278255902 + 0.0*i,
    0.141097532336476 + 0.0*i,
    0.0896894713350824 + 0.0*i,
    0.38315780210858 + 0.0*i,
    0.463439000426089 + 0.0*i,
    0.0142391056975241 + 0.0*i,
    0.408074071340064 + 0.0*i,
    -0.23893510546308 + 0.0*i,
    -0.219113842164057 + 0.0*i,
    0.888023649178435 + 0.0*i,
    -0.333101495523113 + 0.0*i,
    -0.289662628935377 + 0.0*i,
    -0.461756884034417 + 0.0*i,
    -0.301660791489614 + 0.0*i,
    -0.115445972612936 + 0.0*i,
    0.0484325160563912 + 0.0*i,
    -0.515254287262726 + 0.0*i,
    -0.226405170812577 + 0.0*i,
    0.188968649193752 + 0.0*i,
    -0.185999259006068 + 0.0*i,
    0.274211234041347 + 0.0*i,
    0.318478684001603 + 0.0*i,
    -0.285224791333007 + 0.0*i,
    0.127129850387354 + 0.0*i,
    -0.572945189979395 + 0.0*i,
    0.131092791158272 + 0.0*i,
    -0.657517417105556 + 0.0*i,
    0.162134981546248 + 0.0*i,
    0.148771832063721 + 0.0*i,
    0.186668044874502 + 0.0*i,
    0.241028344006217 + 0.0*i,
    -0.131962660994258 + 0.0*i,
    -0.100681968423158 + 0.0*i,
    -0.109577595243839 + 0.0*i,
    -0.0684795231415799 + 0.0*i,
    0.537546282701445 + 0.0*i,
    -0.0294857270362664 + 0.0*i,
    -0.413873047895122 + 0.0*i,
    0.119067939773738 + 0.0*i,
    -0.429706827243459 + 0.0*i,
    0.506117197919042 + 0.0*i,
    0.650907023920062 + 0.0*i,
    -0.155008000256797 + 0.0*i,
    0.0257369733628401 + 0.0*i,
    0.384819764145526 + 0.0*i,
    0.199865252631258 + 0.0*i,
    0.0757390754361428 + 0.0*i,
    0.33936202445319 + 0.0*i,
    -0.319892066329836 + 0.0*i,
    -0.62264108892934 + 0.0*i,
    0.521609884131279 + 0.0*i,
    0.23119581267209 + 0.0*i,
    -0.262667560373053 + 0.0*i,
    -0.282295978614688 + 0.0*i,
    -0.489835519153211 + 0.0*i,
    -0.384254798901901 + 0.0*i,
    -0.0337579644972117 + 0.0*i,
    0.26798315617341 + 0.0*i,
    -0.386906241417026 + 0.0*i,
    0.269324305878863 + 0.0*i,
    0.434516397277143 + 0.0*i,
    -0.319035240966389 + 0.0*i,
    -0.480799881980074 + 0.0*i,
    0.0232691170090184 + 0.0*i,
    0.408873553609521 + 0.0*i,
    -0.188784171458807 + 0.0*i,
    0.459896811598447 + 0.0*i,
    0.65589639376381 + 0.0*i,
    0.173962053207621 + 0.0*i,
    -0.291231442813765 + 0.0*i,
    0.64899218837688 + 0.0*i,
    -0.100331584502598 + 0.0*i,
    -0.298564596193106 + 0.0*i,
    0.470812258921502 + 0.0*i,
    -0.056019575605384 + 0.0*i,
    0.31229491024062 + 0.0*i,
    -0.321614886379973 + 0.0*i,
    -0.0418212851640343 + 0.0*i,
    -0.406439874547298 + 0.0*i,
    0.244564008701287 + 0.0*i,
    -0.175760163575334 + 0.0*i,
    -0.056207618227192 + 0.0*i,
    -0.442033524310972 + 0.0*i,
    -0.340901900548819 + 0.0*i,
    0.0305036419486845 + 0.0*i,
    0.494088826509039 + 0.0*i,
    0.112854746050452 + 0.0*i,
    -0.28990483091197 + 0.0*i,
    0.176558629628771 + 0.0*i,
    0.147234276793444 + 0.0*i,
    -0.253325539327772 + 0.0*i,
    -0.271048822324576 + 0.0*i,
    0.11395765586809 + 0.0*i,
    -0.488595933025584 + 0.0*i,
    -0.0874584304153666 + 0.0*i,
    0.388586547973807 + 0.0*i,
    -0.420387566531347 + 0.0*i,
    -0.435285867162978 + 0.0*i,
    -0.0618515463551834 + 0.0*i,
    -0.233492999243327 + 0.0*i,
    -0.180787685772717 + 0.0*i,
    0.831695639522085 + 0.0*i,
    -0.223207493257998 + 0.0*i,
    0.440670631524676 + 0.0*i,
    -0.105247432475372 + 0.0*i,
    0.263704682917796 + 0.0*i,
    -0.00615056872127279 + 0.0*i,
    -0.166287916497421 + 0.0*i,
    -0.366860028590312 + 0.0*i,
    0.113690142893864 + 0.0*i,
    0.338262494621796 + 0.0*i,
    0.392100536341162 + 0.0*i,
    0.299244718821506 + 0.0*i,
    -0.00515139351112871 + 0.0*i,
    -0.517458021468735 + 0.0*i,
    -0.27836721920705 + 0.0*i,
    -0.674450353835518 + 0.0*i,
    0.614876877383758 + 0.0*i,
    0.255141813687265 + 0.0*i,
    0.672967015680595 + 0.0*i,
    0.0739201759456981 + 0.0*i,
    0.319174003538548 + 0.0*i,
    0.388237099524079 + 0.0*i,
    -0.00802892488774407 + 0.0*i,
    0.00181703843877348 + 0.0*i,
    -0.0898891998345921 + 0.0*i,
    0.0978278745316852 + 0.0*i,
    0.0109897163227146 + 0.0*i,
    -0.136822002248133 + 0.0*i,
    -0.155239485911134 + 0.0*i,
    -0.445400610439689 + 0.0*i,
    -0.220771403506356 + 0.0*i,
    -0.352071319695975 + 0.0*i,
    -0.00192685724069841 + 0.0*i,
    0.112763131982356 + 0.0*i,
    -0.34363607846087 + 0.0*i,
    0.124688604507709 + 0.0*i,
    0.222886848055685 + 0.0*i,
    -0.405693704357816 + 0.0*i,
    -0.26782727530451 + 0.0*i,
    0.0617068241381596 + 0.0*i,
    -0.0319897504110718 + 0.0*i,
    0.205012624413568 + 0.0*i,
    -0.434307659372223 + 0.0*i,
    -0.200158427368119 + 0.0*i,
    0.0960979451051798 + 0.0*i,
    0.02304235267901 + 0.0*i,
    0.539748100572023 + 0.0*i,
    0.453812032644591 + 0.0*i,
    -0.332505265076454 + 0.0*i,
    -0.557473475859768 + 0.0*i,
    0.125868518949909 + 0.0*i,
    0.338485091889242 + 0.0*i,
    -0.144659281304276 + 0.0*i,
    -0.137919881050877 + 0.0*i,
    0.586029987766786 + 0.0*i,
    -0.112532644542987 + 0.0*i,
    0.0420723438175945 + 0.0*i,
    0.737055515516083 + 0.0*i,
    0.3743699442688 + 0.0*i,
    -0.236618490203741 + 0.0*i,
    -0.110115663354482 + 0.0*i
]);