V:=Matrix(CC,4,88,[
    -0.120657309676877 + 0.0*i,
    -0.273664164306264 + 0.0*i,
    -0.25766636913776 + 0.0*i,
    0.302229869012343 + 0.0*i,
    0.383663802070484 + 0.0*i,
    0.246812096678352 + 0.0*i,
    -0.283842838933089 + 0.0*i,
    -0.165989444553492 + 0.0*i,
    0.116359656358722 + 0.0*i,
    -0.352426474537997 + 0.0*i,
    0.0933384603188529 + 0.0*i,
    -0.0213135716642319 + 0.0*i,
    -0.147436862636336 + 0.0*i,
    0.21020845691709 + 0.0*i,
    -0.101228204404517 + 0.0*i,
    -0.387361494236604 + 0.0*i,
    -0.0455687695510443 + 0.0*i,
    -0.0530925141078381 + 0.0*i,
    -0.0870424834719546 + 0.0*i,
    -0.0649108300376176 + 0.0*i,
    -0.0801782623147265 + 0.0*i,
    0.23818292574741 + 0.0*i,
    -0.0562364828012178 + 0.0*i,
    0.025432798903484 + 0.0*i,
    0.214030695692431 + 0.0*i,
    0.382533197258511 + 0.0*i,
    0.254615126231867 + 0.0*i,
    -0.0752000930416428 + 0.0*i,
    0.0710683329570672 + 0.0*i,
    0.233211323512958 + 0.0*i,
    -0.19683024037653 + 0.0*i,
    0.369805188131108 + 0.0*i,
    -0.0131188189641522 + 0.0*i,
    0.276764797303895 + 0.0*i,
    0.33833173923706 + 0.0*i,
    -0.0810314476358795 + 0.0*i,
    -0.253193202389998 + 0.0*i,
    0.370163298842175 + 0.0*i,
    -0.171370749518105 + 0.0*i,
    0.029077830576203 + 0.0*i,
    -0.0486696161171391 + 0.0*i,
    -0.395975810763572 + 0.0*i,
    -0.0343084561461779 + 0.0*i,
    -0.18258579270051 + 0.0*i,
    -0.0240947735384089 + 0.0*i,
    -0.0575927703056438 + 0.0*i,
    0.0913381824329616 + 0.0*i,
    -0.235162291679133 + 0.0*i,
    -0.303455624178093 + 0.0*i,
    -0.147886663952722 + 0.0*i,
    0.27859795817263 + 0.0*i,
    -0.309300429730206 + 0.0*i,
    -0.0434009686470242 + 0.0*i,
    -0.104082855292419 + 0.0*i,
    0.0842443307021384 + 0.0*i,
    0.0907032552672485 + 0.0*i,
    0.0845668875917161 + 0.0*i,
    -0.112388936449792 + 0.0*i,
    0.0555151855922515 + 0.0*i,
    -0.276423974299476 + 0.0*i,
    -0.0465545076262026 + 0.0*i,
    0.121650880212978 + 0.0*i,
    -0.0996457197867288 + 0.0*i,
    0.189217774542697 + 0.0*i,
    -0.117372331455215 + 0.0*i,
    -0.138400418550095 + 0.0*i,
    -0.174098586248076 + 0.0*i,
    0.143504219306307 + 0.0*i,
    0.257158218467703 + 0.0*i,
    0.157798540353614 + 0.0*i,
    -0.0973593497409636 + 0.0*i,
    0.226199296578013 + 0.0*i,
    0.218595341418173 + 0.0*i,
    0.229206356412871 + 0.0*i,
    -0.0808247859591604 + 0.0*i,
    0.155121366222931 + 0.0*i,
    -0.242544144995905 + 0.0*i,
    -0.275082125601465 + 0.0*i,
    0.360084500375057 + 0.0*i,
    -0.190830460585152 + 0.0*i,
    -0.304368541724827 + 0.0*i,
    0.16564045538199 + 0.0*i,
    0.046955712040049 + 0.0*i,
    0.305787433599421 + 0.0*i,
    -0.104333721518229 + 0.0*i,
    0.142583483207037 + 0.0*i,
    -0.324498213130477 + 0.0*i,
    -0.28235626834028 + 0.0*i,
    0.220968790214691 + 0.0*i,
    -0.0968053214317988 + 0.0*i,
    0.0993081182086095 + 0.0*i,
    0.128304208007132 + 0.0*i,
    -0.110536731939541 + 0.0*i,
    -0.254295781739756 + 0.0*i,
    0.0568825707438022 + 0.0*i,
    -0.261693240529006 + 0.0*i,
    0.160227645598521 + 0.0*i,
    0.0750169247345209 + 0.0*i,
    0.0341330389135489 + 0.0*i,
    0.2700579492138 + 0.0*i,
    -0.355200168815252 + 0.0*i,
    -0.233945438592422 + 0.0*i,
    -0.151492348517117 + 0.0*i,
    0.0875377906347597 + 0.0*i,
    -0.335191309262497 + 0.0*i,
    -0.177714122445599 + 0.0*i,
    0.366806840578072 + 0.0*i,
    0.125952832971476 + 0.0*i,
    -0.289956422484414 + 0.0*i,
    0.278345300270481 + 0.0*i,
    0.0194698594966784 + 0.0*i,
    0.110448291276292 + 0.0*i,
    -0.0867915898993422 + 0.0*i,
    0.136401031997279 + 0.0*i,
    -0.0763732633626167 + 0.0*i,
    0.0058961997044715 + 0.0*i,
    0.264232465620877 + 0.0*i,
    -0.234048847771295 + 0.0*i,
    0.135458811047944 + 0.0*i,
    0.100235219256235 + 0.0*i,
    0.41423401337082 + 0.0*i,
    -0.0341616964632268 + 0.0*i,
    -0.211608902204316 + 0.0*i,
    0.220829378114466 + 0.0*i,
    -0.228319948384144 + 0.0*i,
    0.0618590696982506 + 0.0*i,
    -0.00516756622812693 + 0.0*i,
    -0.278105532342538 + 0.0*i,
    0.191203182353605 + 0.0*i,
    -0.0462322416667112 + 0.0*i,
    -0.350570819200711 + 0.0*i,
    -0.061036805138289 + 0.0*i,
    -0.345621662642874 + 0.0*i,
    0.0209455073487526 + 0.0*i,
    -0.0575137383047141 + 0.0*i,
    -0.202884324031366 + 0.0*i,
    -0.0546493223166925 + 0.0*i,
    -0.227720534835512 + 0.0*i,
    -0.235157148550426 + 0.0*i,
    0.243820376955729 + 0.0*i,
    0.198639675733369 + 0.0*i,
    0.208059305215634 + 0.0*i,
    -0.0626331759368779 + 0.0*i,
    0.0962421999754053 + 0.0*i,
    -0.226525797995332 + 0.0*i,
    -0.11155303765139 + 0.0*i,
    -0.368478791507754 + 0.0*i,
    -0.195930619096015 + 0.0*i,
    0.0796990297646974 + 0.0*i,
    0.368721890386849 + 0.0*i,
    0.00966436201794963 + 0.0*i,
    -0.072394253066312 + 0.0*i,
    0.358190539342478 + 0.0*i,
    -0.174274379166494 + 0.0*i,
    -0.369244568546317 + 0.0*i,
    0.129230939543963 + 0.0*i,
    0.0396796851687507 + 0.0*i,
    -0.322358185174619 + 0.0*i,
    -0.0295043122470315 + 0.0*i,
    0.290726435014766 + 0.0*i,
    0.118254981584205 + 0.0*i,
    -0.347042581490432 + 0.0*i,
    -0.27170839103719 + 0.0*i,
    0.155450987247961 + 0.0*i,
    0.18113925157517 + 0.0*i,
    0.143223062611309 + 0.0*i,
    -0.0811829064262236 + 0.0*i,
    0.275946430040443 + 0.0*i,
    -0.220145610944741 + 0.0*i,
    -0.0117362576964289 + 0.0*i,
    -0.196501843616172 + 0.0*i,
    0.0809954029154411 + 0.0*i,
    0.081174658721462 + 0.0*i,
    -0.337304707224294 + 0.0*i,
    -0.262358086474414 + 0.0*i,
    -0.00852358446551861 + 0.0*i,
    -0.201636314024222 + 0.0*i,
    0.213947346853605 + 0.0*i,
    0.278679455663694 + 0.0*i,
    -0.0661547153629 + 0.0*i,
    0.109327174097685 + 0.0*i,
    0.0671996403969752 + 0.0*i,
    -0.143718383329383 + 0.0*i,
    0.209771769041048 + 0.0*i,
    -0.07483356333239 + 0.0*i,
    0.0662447655068356 + 0.0*i,
    -0.39300084172021 + 0.0*i,
    0.243156828137209 + 0.0*i,
    -0.0994321263372458 + 0.0*i,
    -0.160288685667834 + 0.0*i,
    -0.367336063669157 + 0.0*i,
    -0.00948721555354218 + 0.0*i,
    0.23406802308161 + 0.0*i,
    0.256335799928582 + 0.0*i,
    0.0313519176772925 + 0.0*i,
    0.390812741404139 + 0.0*i,
    -0.0132800803980023 + 0.0*i,
    -0.108269444199348 + 0.0*i,
    -0.164247163280651 + 0.0*i,
    0.334159034764354 + 0.0*i,
    -0.0321914232039008 + 0.0*i,
    -0.0168739238849949 + 0.0*i,
    -0.161777239415223 + 0.0*i,
    0.18462764635865 + 0.0*i,
    0.295363160823644 + 0.0*i,
    0.0365722205635577 + 0.0*i,
    0.328860795234779 + 0.0*i,
    0.0961015969666377 + 0.0*i,
    -0.0340522450050141 + 0.0*i,
    0.180247527177364 + 0.0*i,
    -0.0735822364835145 + 0.0*i,
    -0.119248435612039 + 0.0*i,
    -0.234826231079415 + 0.0*i,
    0.175705460850811 + 0.0*i,
    -0.312172830660318 + 0.0*i,
    -0.284155902211142 + 0.0*i,
    0.0110963703835651 + 0.0*i,
    0.096685755627987 + 0.0*i,
    0.165906062139406 + 0.0*i,
    -0.354305360983526 + 0.0*i,
    0.0598292728172975 + 0.0*i,
    -0.031255526496653 + 0.0*i,
    0.338189159004192 + 0.0*i,
    -0.236936189057049 + 0.0*i,
    0.0439313757232963 + 0.0*i,
    0.317098539134564 + 0.0*i,
    -0.14530928252111 + 0.0*i,
    -0.101194498684355 + 0.0*i,
    0.118561388851125 + 0.0*i,
    0.206054618853461 + 0.0*i,
    0.402590337621275 + 0.0*i,
    0.195099513675213 + 0.0*i,
    0.339064668473582 + 0.0*i,
    0.36221840041007 + 0.0*i,
    -0.16054246365149 + 0.0*i,
    -0.0855062989789349 + 0.0*i,
    0.316387701520239 + 0.0*i,
    0.146680827973019 + 0.0*i,
    -0.15845330885743 + 0.0*i,
    0.00662326650641341 + 0.0*i,
    0.0829756327900665 + 0.0*i,
    0.197083264669883 + 0.0*i,
    0.0745588770858879 + 0.0*i,
    -0.00264163368559255 + 0.0*i,
    -0.325435908038899 + 0.0*i,
    0.189409903944287 + 0.0*i,
    0.342587854120009 + 0.0*i,
    -0.0132163775314011 + 0.0*i,
    0.0822653062544421 + 0.0*i,
    -0.0190523181156946 + 0.0*i,
    -0.148279414795196 + 0.0*i,
    0.230547585657583 + 0.0*i,
    -0.25491749510291 + 0.0*i,
    -0.26912068611344 + 0.0*i,
    -0.189434213587545 + 0.0*i,
    0.245206884954727 + 0.0*i,
    0.18694416441599 + 0.0*i,
    -0.204979361799133 + 0.0*i,
    0.316572432615149 + 0.0*i,
    -0.224033967635284 + 0.0*i,
    -0.239328317122285 + 0.0*i,
    0.160992832658836 + 0.0*i,
    -0.0472015210604265 + 0.0*i,
    -0.295015477200545 + 0.0*i,
    -0.264412371684522 + 0.0*i,
    0.196556972187241 + 0.0*i,
    0.148027474417732 + 0.0*i,
    -0.231697716238523 + 0.0*i,
    -0.0659309020287508 + 0.0*i,
    -0.218311361932125 + 0.0*i,
    0.266429501645414 + 0.0*i,
    0.169617218308008 + 0.0*i,
    -0.359932349720272 + 0.0*i,
    0.199350129762748 + 0.0*i,
    0.0328305548244202 + 0.0*i,
    0.198600291108373 + 0.0*i,
    -0.138392906182489 + 0.0*i,
    -0.219941795176562 + 0.0*i,
    0.0584891923414699 + 0.0*i,
    -0.139140924415022 + 0.0*i,
    0.0569654736522324 + 0.0*i,
    0.268240565169476 + 0.0*i,
    0.180937842287925 + 0.0*i,
    0.0702085513128904 + 0.0*i,
    -0.280580736533402 + 0.0*i,
    0.171987713167603 + 0.0*i,
    -0.384668630871673 + 0.0*i,
    -0.209775556154209 + 0.0*i,
    -0.342614118565992 + 0.0*i,
    0.0880667482731912 + 0.0*i,
    0.272597358569537 + 0.0*i,
    -0.366403303738459 + 0.0*i,
    0.077797000758173 + 0.0*i,
    0.254797838512468 + 0.0*i,
    -0.11204128375377 + 0.0*i,
    -0.139834550591391 + 0.0*i,
    -0.0116069587710798 + 0.0*i,
    0.263234104924686 + 0.0*i,
    -0.0643199316098298 + 0.0*i,
    0.329153247585119 + 0.0*i,
    -0.056320867660617 + 0.0*i,
    0.0761257440255024 + 0.0*i,
    0.19932595004875 + 0.0*i,
    0.111594276461239 + 0.0*i,
    -0.370994601705868 + 0.0*i,
    0.0526943863186906 + 0.0*i,
    -0.161222044506122 + 0.0*i,
    -0.111585311271294 + 0.0*i,
    0.232821341053782 + 0.0*i,
    0.412335131606926 + 0.0*i,
    0.217679667353194 + 0.0*i,
    0.15968214770084 + 0.0*i,
    -0.269141677783374 + 0.0*i,
    -0.0705113505983417 + 0.0*i,
    0.141332252952072 + 0.0*i,
    -0.0688632557868236 + 0.0*i,
    0.346441220865394 + 0.0*i,
    -0.277592369255508 + 0.0*i,
    -0.0412595991300609 + 0.0*i,
    -0.331464413554752 + 0.0*i,
    0.0670669051273644 + 0.0*i,
    0.138473676552259 + 0.0*i,
    -0.0267818370395174 + 0.0*i,
    -0.222823225150934 + 0.0*i,
    0.25175981454766 + 0.0*i,
    -0.077500455319375 + 0.0*i,
    0.194522887531378 + 0.0*i,
    0.352342950539287 + 0.0*i,
    -0.164430148196142 + 0.0*i,
    -0.294575948954298 + 0.0*i,
    0.00121172809097505 + 0.0*i,
    0.372062134107614 + 0.0*i,
    -0.0140366373448481 + 0.0*i,
    -0.0907496980294334 + 0.0*i,
    -0.218896324641579 + 0.0*i,
    -0.196173451333777 + 0.0*i,
    -0.318838606550259 + 0.0*i,
    -0.0104163625218924 + 0.0*i,
    0.264933345371002 + 0.0*i,
    0.276289083307776 + 0.0*i,
    0.118644070871363 + 0.0*i,
    -0.0913591372406979 + 0.0*i,
    0.0360741140171277 + 0.0*i,
    0.0368949145561893 + 0.0*i,
    0.0259968641896224 + 0.0*i,
    -0.323827912199724 + 0.0*i,
    -0.184038009543496 + 0.0*i,
    0.168686341285851 + 0.0*i,
    0.304039487202779 + 0.0*i,
    0.107851934040484 + 0.0*i,
    0.0160164432110642 + 0.0*i,
    0.0691453159185447 + 0.0*i
]);