V:=Matrix(CC,8,48,[
    0.107353209512195 + 0.0*i,
    -0.115424226923616 + 0.0*i,
    0.227580832054986 + 0.0*i,
    -0.219480008074273 + 0.0*i,
    -0.358014243946641 + 0.0*i,
    0.105248022606549 + 0.0*i,
    -0.267229050769016 + 0.0*i,
    0.0833023024076673 + 0.0*i,
    0.0690646941857162 + 0.0*i,
    0.67818429217405 + 0.0*i,
    -0.0791266386708074 + 0.0*i,
    0.0279622707988759 + 0.0*i,
    -0.062124179691914 + 0.0*i,
    0.511824246764017 + 0.0*i,
    0.0441838577887262 + 0.0*i,
    -0.209721998223762 + 0.0*i,
    0.434316651044479 + 0.0*i,
    0.541104012160454 + 0.0*i,
    0.0252612123607918 + 0.0*i,
    -0.214259392341387 + 0.0*i,
    0.0691105211489831 + 0.0*i,
    0.409179549190625 + 0.0*i,
    -0.482953875576733 + 0.0*i,
    -0.000684837878579704 + 0.0*i,
    0.108416106367956 + 0.0*i,
    0.253069888797923 + 0.0*i,
    -0.260403165848332 + 0.0*i,
    0.51179140686861 + 0.0*i,
    -0.16129898905749 + 0.0*i,
    -0.182737856291221 + 0.0*i,
    -0.21483103555806 + 0.0*i,
    -0.0785648248343996 + 0.0*i,
    -0.330196707338811 + 0.0*i,
    -0.14374529155915 + 0.0*i,
    -0.307733916913118 + 0.0*i,
    -0.246710450800124 + 0.0*i,
    -0.104471538434397 + 0.0*i,
    -0.623417713491945 + 0.0*i,
    -0.221368469721228 + 0.0*i,
    -0.000921804597966234 + 0.0*i,
    0.604469262954138 + 0.0*i,
    -0.13257348994704 + 0.0*i,
    -0.362843084468229 + 0.0*i,
    0.0554553215632696 + 0.0*i,
    -0.623314392752322 + 0.0*i,
    0.373795323901443 + 0.0*i,
    0.3556557189065 + 0.0*i,
    0.130488070481267 + 0.0*i,
    -0.0576027879567811 + 0.0*i,
    0.706695585976007 + 0.0*i,
    0.0127759315015674 + 0.0*i,
    -0.0926086083287507 + 0.0*i,
    0.45237431214108 + 0.0*i,
    -0.561287028101007 + 0.0*i,
    -0.0417515276496129 + 0.0*i,
    0.572346049618095 + 0.0*i,
    0.0330107789523639 + 0.0*i,
    -0.212403547960613 + 0.0*i,
    0.503816447054764 + 0.0*i,
    -0.181114948115408 + 0.0*i,
    0.200871924181548 + 0.0*i,
    -0.118574542616949 + 0.0*i,
    0.0965629730525819 + 0.0*i,
    -0.142354376240486 + 0.0*i,
    0.358058847581125 + 0.0*i,
    -0.0578222855386783 + 0.0*i,
    0.223846331216623 + 0.0*i,
    0.676228938194872 + 0.0*i,
    -0.23184049516492 + 0.0*i,
    -0.0571606138811588 + 0.0*i,
    0.13401601872581 + 0.0*i,
    -0.594984577519046 + 0.0*i,
    0.186628058184876 + 0.0*i,
    0.0132343608655166 + 0.0*i,
    -0.311240137453722 + 0.0*i,
    0.244522373938096 + 0.0*i,
    0.610523774189874 + 0.0*i,
    0.353670796917988 + 0.0*i,
    0.0803495312805274 + 0.0*i,
    -0.669621039315869 + 0.0*i,
    -0.0723784505450128 + 0.0*i,
    -0.874811735147638 + 0.0*i,
    -0.379982891342933 + 0.0*i,
    -0.488304834170826 + 0.0*i,
    0.357325547762478 + 0.0*i,
    0.544227274295685 + 0.0*i,
    1.01373872182502 + 0.0*i,
    -0.32475633679211 + 0.0*i,
    0.13022050482211 + 0.0*i,
    0.497106799559335 + 0.0*i,
    -0.2521869956874 + 0.0*i,
    -0.400476661659163 + 0.0*i,
    -0.161412228939486 + 0.0*i,
    0.00834311116472591 + 0.0*i,
    0.190215504469043 + 0.0*i,
    -0.204648661404342 + 0.0*i,
    0.303579627413668 + 0.0*i,
    0.514239037378136 + 0.0*i,
    -0.16385097323738 + 0.0*i,
    -0.0695266762811181 + 0.0*i,
    -0.287914899401648 + 0.0*i,
    0.368978897266797 + 0.0*i,
    -0.209459775962676 + 0.0*i,
    -0.230642880591544 + 0.0*i,
    -0.671881278197227 + 0.0*i,
    -0.766487027139785 + 0.0*i,
    0.362892482380505 + 0.0*i,
    -0.0574657086383057 + 0.0*i,
    0.167417386507575 + 0.0*i,
    -0.129208911412359 + 0.0*i,
    0.245574401008021 + 0.0*i,
    -0.166484810963794 + 0.0*i,
    0.298103832920288 + 0.0*i,
    -0.247965395611959 + 0.0*i,
    0.178318832368271 + 0.0*i,
    -0.268078622962694 + 0.0*i,
    -0.236807420384949 + 0.0*i,
    0.509410214624145 + 0.0*i,
    0.421090668899117 + 0.0*i,
    0.426519487884829 + 0.0*i,
    0.643955536535391 + 0.0*i,
    -0.511128019522029 + 0.0*i,
    0.247364962774029 + 0.0*i,
    0.335611591172642 + 0.0*i,
    0.666758723530418 + 0.0*i,
    0.543368931129686 + 0.0*i,
    -0.0556385732916441 + 0.0*i,
    0.101773750234922 + 0.0*i,
    -0.0323495713041698 + 0.0*i,
    0.372772269920586 + 0.0*i,
    -0.290782355069481 + 0.0*i,
    -0.441648886486644 + 0.0*i,
    0.464188625260113 + 0.0*i,
    -0.0810447241499574 + 0.0*i,
    0.0265495277928031 + 0.0*i,
    -0.221353129602368 + 0.0*i,
    -0.12097474347089 + 0.0*i,
    -0.161694318166795 + 0.0*i,
    0.0230200485993778 + 0.0*i,
    -0.0348840050473423 + 0.0*i,
    0.275001362169363 + 0.0*i,
    0.264906338678318 + 0.0*i,
    -0.0528131903495663 + 0.0*i,
    0.54564259925159 + 0.0*i,
    0.0142759055032794 + 0.0*i,
    0.0682937751997864 + 0.0*i,
    -0.00239341943152127 + 0.0*i,
    -0.0486482000464652 + 0.0*i,
    0.450943759928506 + 0.0*i,
    -0.62923739343139 + 0.0*i,
    0.0802750969742519 + 0.0*i,
    0.0766372158672851 + 0.0*i,
    0.334560992668887 + 0.0*i,
    -0.321535661066455 + 0.0*i,
    0.153335824729816 + 0.0*i,
    -0.40042985539487 + 0.0*i,
    0.788742786156493 + 0.0*i,
    0.0358821476959251 + 0.0*i,
    0.226943787994847 + 0.0*i,
    0.102774499765575 + 0.0*i,
    -0.0402357041021432 + 0.0*i,
    -0.255827930697863 + 0.0*i,
    -0.466016582852571 + 0.0*i,
    -0.379684578676568 + 0.0*i,
    -0.311789004026124 + 0.0*i,
    -0.0340600518816531 + 0.0*i,
    -0.0124981531569257 + 0.0*i,
    0.379717409201252 + 0.0*i,
    0.668356648160531 + 0.0*i,
    0.261882384369532 + 0.0*i,
    -0.354209607840084 + 0.0*i,
    0.130696289760828 + 0.0*i,
    0.561758585332368 + 0.0*i,
    -0.066870877310769 + 0.0*i,
    -0.505501250447554 + 0.0*i,
    0.756136437156478 + 0.0*i,
    0.113500737898694 + 0.0*i,
    -0.431230715949147 + 0.0*i,
    0.2211655827707 + 0.0*i,
    0.185144300672913 + 0.0*i,
    0.376009149853439 + 0.0*i,
    0.419380891392958 + 0.0*i,
    0.092193554415486 + 0.0*i,
    -0.310900637766089 + 0.0*i,
    -0.495691031777753 + 0.0*i,
    -0.0658575369568637 + 0.0*i,
    0.576745709567608 + 0.0*i,
    0.541058945408778 + 0.0*i,
    -0.0380819545670326 + 0.0*i,
    -0.422595176051056 + 0.0*i,
    -0.535732389365156 + 0.0*i,
    0.632090809733801 + 0.0*i,
    -0.347345774621081 + 0.0*i,
    -0.222003990411095 + 0.0*i,
    0.0365571070259113 + 0.0*i,
    0.049555096400218 + 0.0*i,
    0.224523037827952 + 0.0*i,
    0.0448725389361356 + 0.0*i,
    -0.116518900089371 + 0.0*i,
    -0.204316817997884 + 0.0*i,
    -0.508318082215275 + 0.0*i,
    -0.209208264777852 + 0.0*i,
    -0.530657550733367 + 0.0*i,
    0.20767304286418 + 0.0*i,
    -0.338261856335724 + 0.0*i,
    0.285350477967964 + 0.0*i,
    -0.539767236200035 + 0.0*i,
    -0.0584945372079983 + 0.0*i,
    -0.319092217139681 + 0.0*i,
    0.798120646352322 + 0.0*i,
    0.307476868783286 + 0.0*i,
    -0.207788335886979 + 0.0*i,
    -0.00266895896243628 + 0.0*i,
    -0.482613906967376 + 0.0*i,
    0.731190227795274 + 0.0*i,
    -0.336019188869557 + 0.0*i,
    -0.111643456644973 + 0.0*i,
    0.0808928546718435 + 0.0*i,
    -0.0568403408665714 + 0.0*i,
    -0.171400109812482 + 0.0*i,
    0.834101036111706 + 0.0*i,
    -0.210894225349811 + 0.0*i,
    0.076621641635263 + 0.0*i,
    0.521884425228213 + 0.0*i,
    0.776744068703793 + 0.0*i,
    0.0928020618204518 + 0.0*i,
    0.441962120086691 + 0.0*i,
    0.425381140180496 + 0.0*i,
    -0.331032627178578 + 0.0*i,
    -0.306867587300377 + 0.0*i,
    0.551866932612846 + 0.0*i,
    -0.355654542959405 + 0.0*i,
    -0.351868399597234 + 0.0*i,
    -0.0997869893754544 + 0.0*i,
    -0.0854119600846252 + 0.0*i,
    0.137519339901373 + 0.0*i,
    -0.132213197165692 + 0.0*i,
    -0.379281085946736 + 0.0*i,
    -0.739308937296114 + 0.0*i,
    -0.583097776940365 + 0.0*i,
    0.355422056272996 + 0.0*i,
    -0.108484853573023 + 0.0*i,
    0.289633956305208 + 0.0*i,
    -0.22172170159359 + 0.0*i,
    0.0926494467478335 + 0.0*i,
    0.0176460567028257 + 0.0*i,
    -0.0435608330770264 + 0.0*i,
    -0.0191724099116886 + 0.0*i,
    -0.100877841909685 + 0.0*i,
    -0.102307900544021 + 0.0*i,
    0.0194223703055078 + 0.0*i,
    -0.772073072316234 + 0.0*i,
    -0.0906114486595384 + 0.0*i,
    -0.135200168788648 + 0.0*i,
    0.49690642491972 + 0.0*i,
    -0.136959241785985 + 0.0*i,
    0.52089941337265 + 0.0*i,
    0.852963845318754 + 0.0*i,
    0.725015713447621 + 0.0*i,
    0.080418075221435 + 0.0*i,
    -0.300738767641172 + 0.0*i,
    -0.171593418359159 + 0.0*i,
    0.152735779458051 + 0.0*i,
    -0.45305988181096 + 0.0*i,
    -0.391688295783684 + 0.0*i,
    -0.149792587456279 + 0.0*i,
    0.192770300373787 + 0.0*i,
    -0.00840464170155474 + 0.0*i,
    -0.4737873172482 + 0.0*i,
    -0.0194111842720544 + 0.0*i,
    -0.241600545120356 + 0.0*i,
    -0.416712059549427 + 0.0*i,
    0.375304988778538 + 0.0*i,
    -0.331204712169611 + 0.0*i,
    -0.12830036867316 + 0.0*i,
    0.399702234831327 + 0.0*i,
    0.254751990996574 + 0.0*i,
    -0.176216806749531 + 0.0*i,
    0.245278088556487 + 0.0*i,
    -0.0891612404374895 + 0.0*i,
    0.010858759680667 + 0.0*i,
    -0.316925551534565 + 0.0*i,
    0.146529003966501 + 0.0*i,
    0.227680422141524 + 0.0*i,
    0.312313918194142 + 0.0*i,
    0.0136845539370425 + 0.0*i,
    0.103133374786991 + 0.0*i,
    0.570045746964609 + 0.0*i,
    0.522844129680632 + 0.0*i,
    -0.246533746559939 + 0.0*i,
    0.423943218269319 + 0.0*i,
    -0.322818539523184 + 0.0*i,
    0.591893772250711 + 0.0*i,
    -0.499849735414525 + 0.0*i,
    0.323783982198364 + 0.0*i,
    0.367481341131465 + 0.0*i,
    0.0527685159609577 + 0.0*i,
    0.201311716406072 + 0.0*i,
    -0.21308037301601 + 0.0*i,
    0.467921435271717 + 0.0*i,
    -0.392226416207448 + 0.0*i,
    -0.427108977689138 + 0.0*i,
    0.272161772736166 + 0.0*i,
    -0.533413407444296 + 0.0*i,
    -0.345337679880974 + 0.0*i,
    0.179374401452603 + 0.0*i,
    -0.0112224530626539 + 0.0*i,
    0.00599634456673739 + 0.0*i,
    0.140099562873483 + 0.0*i,
    0.0161474933451455 + 0.0*i,
    -0.586441388343933 + 0.0*i,
    -0.0374588200008807 + 0.0*i,
    0.149435291332738 + 0.0*i,
    0.29103081518291 + 0.0*i,
    -0.466477570130893 + 0.0*i,
    0.0948780360669502 + 0.0*i,
    -0.31959717375794 + 0.0*i,
    -0.265049374017535 + 0.0*i,
    0.0411145241530856 + 0.0*i,
    0.110552496620821 + 0.0*i,
    0.536308918351403 + 0.0*i,
    -0.338271708812505 + 0.0*i,
    -0.291889749607206 + 0.0*i,
    0.777128737105779 + 0.0*i,
    0.499216135088206 + 0.0*i,
    0.108846753994374 + 0.0*i,
    0.248453016457359 + 0.0*i,
    -0.201168578533575 + 0.0*i,
    0.26282474514863 + 0.0*i,
    0.110844615917253 + 0.0*i,
    -0.203380713085839 + 0.0*i,
    0.0764344222503036 + 0.0*i,
    0.1212948567192 + 0.0*i,
    0.14713782493768 + 0.0*i,
    0.189014995856483 + 0.0*i,
    0.457599149148484 + 0.0*i,
    0.292946709459522 + 0.0*i,
    -0.0385556115667261 + 0.0*i,
    -0.575498673214384 + 0.0*i,
    -0.757619947941919 + 0.0*i,
    0.40857349876957 + 0.0*i,
    0.130022565604261 + 0.0*i,
    0.124247776322378 + 0.0*i,
    -0.11609164184822 + 0.0*i,
    -0.328537984748228 + 0.0*i,
    0.229628321363711 + 0.0*i,
    0.0284387664724301 + 0.0*i,
    0.192095413085764 + 0.0*i,
    0.33262931337801 + 0.0*i,
    -0.0673027056450766 + 0.0*i,
    0.125669558566166 + 0.0*i,
    0.201716061518345 + 0.0*i,
    -0.0367334613073607 + 0.0*i,
    -0.325801743303624 + 0.0*i,
    0.5084125261442 + 0.0*i,
    -0.244223341980906 + 0.0*i,
    -0.217614727944353 + 0.0*i,
    -0.0254630863551433 + 0.0*i,
    -0.145642149174728 + 0.0*i,
    -0.295001710571389 + 0.0*i,
    0.399737680917429 + 0.0*i,
    0.64556622856852 + 0.0*i,
    0.153790117729229 + 0.0*i,
    0.586501520522258 + 0.0*i,
    0.148182635143278 + 0.0*i,
    -0.250889314411063 + 0.0*i,
    -0.530373968942112 + 0.0*i,
    -0.0747223777480264 + 0.0*i,
    0.330470830602049 + 0.0*i,
    -0.0274004220679284 + 0.0*i,
    -0.428934425154892 + 0.0*i,
    0.384172009410814 + 0.0*i,
    -0.417077890071645 + 0.0*i,
    0.32584358035001 + 0.0*i,
    -0.881993241591293 + 0.0*i,
    0.239045244183006 + 0.0*i,
    0.306954018604294 + 0.0*i,
    0.293762715733416 + 0.0*i,
    -0.0336018951969157 + 0.0*i,
    0.531917254850433 + 0.0*i,
    0.3740954481853 + 0.0*i,
    -0.147715315997236 + 0.0*i,
    0.239063417724566 + 0.0*i,
    -0.887336453619125 + 0.0*i
]);